Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBPASSolver 2010-06-13 | ? (TO) | 1800.09 | 1800.62 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_17.opb.PB06.opb |
MD5SUM | 90154dd1b8a90675a35ad37cbef52f77 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 194 |
Best CPU time to get the best result obtained on this benchmark | 1800.11 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 189 |
Optimality of the best value was proved | NO |
Number of variables | 481 |
Total number of constraints | 481 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 481 |
Minimum length of a constraint | 3 |
Maximum length of a constraint | 19 |
Number of terms in the objective function | 481 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 481 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 30 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 481 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.30 c 481 481 0 0 0 0 0 0 0.00/0.30 c 16 ~x487+8 ~x486+4 ~x485+2 ~x484+1 ~x483+6 x466+17 x394+18 x379+15 x362+7 x328+10 x163+15 x75-0=61 0.00/0.30 c 16 ~x860+8 ~x859+4 ~x858+2 ~x857+1 ~x856+16 x312+6 x259+18 x249+8 x245+8 x242+2 x36+9 x18-0=61 0.00/0.30 c 16 ~x1227+8 ~x1226+4 ~x1225+2 ~x1224+1 ~x1223+8 x462+7 x408+17 x343+5 x288+17 x202+5 x93-0=61 0.00/0.32 c 16 ~x1528+8 ~x1527+4 ~x1526+2 ~x1525+1 ~x1524+1 x465+7 x375+7 x314+15 x230+11 x222+1 x199+11 x188+13 x182-0=61 0.00/0.32 c 16 ~x1949+8 ~x1948+4 ~x1947+2 ~x1946+1 ~x1945+18 x448+10 x372+10 x364+1 x350+7 x292+14 x252+6 x212+9 x148+19 x116+18 x83+9 x15-0=61 0.00/0.34 c 16 ~x2556+8 ~x2555+4 ~x2554+2 ~x2553+1 ~x2552+2 x377+18 x326+8 x158+2 x124+11 x15-0=61 0.00/0.34 c 16 ~x2845+8 ~x2844+4 ~x2843+2 ~x2842+1 ~x2841+9 x446+6 x444+3 x443+2 x340+3 x259+2 x192+12 x168+6 x147+16 x41-0=61 0.00/0.37 c 16 ~x3302+8 ~x3301+4 ~x3300+2 ~x3299+1 ~x3298+15 x452+12 x413+2 x365+1 x360+10 x321+8 x292+1 x264+14 x261+15 x216+9 x195-0=61 0.00/0.37 c 16 ~x3840+8 ~x3839+4 ~x3838+2 ~x3837+1 ~x3836+12 x395+16 x394+9 x365+18 x352+5 x300+18 x274+8 x254+17 x191+18 x173+10 x143-0=61 0.00/0.41 c 16 ~x4381+8 ~x4380+4 ~x4379+2 ~x4378+1 ~x4377+19 x325+19 x312+6 x257+2 x174+18 x98+5 x95+9 x57+18 x45-0=60 0.00/0.41 c 16 ~x4835+8 ~x4834+4 ~x4833+2 ~x4832+1 ~x4831+7 x438+5 x422+2 x413+17 x411+12 x334+13 x303+7 x285+2 x226+10 x98+8 x87-0=61 0.00/0.41 c 16 ~x5394+8 ~x5393+4 ~x5392+2 ~x5391+1 ~x5390+7 x372+12 x303+18 x190-0=61 0.00/0.44 c 16 ~x5566+8 ~x5565+4 ~x5564+2 ~x5563+1 ~x5562+12 x452+16 x442+11 x430+3 x423+4 x421+16 x418+19 x397+8 x382+15 x380+14 x287+5 x268+9 x156+19 x155+16 x141+17 x127-0=61 0.00/0.44 c 16 ~x6457+8 ~x6456+4 ~x6455+2 ~x6454+1 ~x6453+14 x439+8 x395+4 x385+19 x376+5 x355+9 x46+11 x7+9 x6-0=56 0.00/0.46 c 16 ~x6911+8 ~x6910+4 ~x6909+2 ~x6908+1 ~x6907+4 x425+17 x350+10 x215+7 x90+6 x56-0=61 0.00/0.46 c 16 ~x7167+8 ~x7166+4 ~x7165+2 ~x7164+1 ~x7163+16 x468+7 x454+12 x448+18 x323+12 x302+11 x26+8 x20-0=61 0.00/0.50 c 16 ~x7594+8 ~x7593+4 ~x7592+2 ~x7591+1 ~x7590+5 x449+19 x385+8 x262+5 x252+1 x206+5 x176+11 x161+18 x154+16 x138+11 x112+1 x110+10 x58+9 x3-0=61 0.00/0.50 c 16 ~x8309+8 ~x8308+4 ~x8307+2 ~x8306+1 ~x8305+7 x435+9 x417+9 x336+17 x322+1 x111+11 x77-0=61 0.00/0.51 c 16 ~x8634+8 ~x8633+4 ~x8632+2 ~x8631+1 ~x8630+17 x388+16 x299+2 x296+17 x295+18 x260+7 x210+11 x141+9 x56+8 x17-0=61 0.00/0.51 c 16 ~x9160+8 ~x9159+4 ~x9158+2 ~x9157+1 ~x9156+19 x469+10 x452+8 x426+14 x366+13 x347+4 x282+12 x219+1 x187+11 x159+7 x105+1 x30+4 x25-0=61 0.00/0.54 c 16 ~x9824+8 ~x9823+4 ~x9822+2 ~x9821+1 ~x9820+17 x453+4 x250+7 x139+11 x74+1 x53+13 x43-0=61 0.00/0.54 c 16 ~x10149+8 ~x10148+4 ~x10147+2 ~x10146+1 ~x10145+18 x438+18 x333+5 x328+19 x209+4 x115+3 x103+17 x72-0=61 0.00/0.54 c 16 ~x10561+8 ~x10560+4 ~x10559+2 ~x10558+1 ~x10557+17 x335+1 x309+18 x302+16 x174+3 x86+10 x33-0=61 0.00/0.57 c 16 ~x10874+8 ~x10873+4 ~x10872+2 ~x10871+1 ~x10870+12 x359+7 x272+1 x256+13 x254+14 x253+11 x242+12 x161+7 x149+5 x116+19 x26+4 x21-0=61 0.00/0.57 c 16 ~x11481+8 ~x11480+4 ~x11479+2 ~x11478+1 ~x11477+5 x474+8 x448+14 x442+13 x441+12 x395+12 x377+17 x341+6 x282+13 x260+7 x195+12 x150+4 x131+19 x25+11 x17-0=61 0.00/0.60 c 16 ~x12259+8 ~x12258+4 ~x12257+2 ~x12256+1 ~x12255+4 x476+9 x422+3 x399+8 x312+2 x227+17 x132+10 x121+11 x36-0=61 0.00/0.60 c 16 ~x12662+8 ~x12661+4 ~x12660+2 ~x12659+1 ~x12658+6 x406+6 x373+12 x364+3 x342+2 x200+10 x164+1 x139+1 x68+5 x53-0=61 0.00/0.62 c 16 ~x13104+8 ~x13103+4 ~x13102+2 ~x13101+1 ~x13100+19 x458+13 x247+12 x194+1 x164-0=61 0.00/0.62 c 16 ~x13339+8 ~x13338+4 ~x13337+2 ~x13336+1 ~x13335+8 x437+3 x398+15 x358+16 x304+1 x299+14 x292+6 x223+2 x214+4 x194+19 x179+6 x93+1 x21-0=61 0.00/0.65 c 16 ~x14006+8 ~x14005+4 ~x14004+2 ~x14003+1 ~x14002+4 x436+1 x377+18 x303+10 x240+1 x233+1 x159+14 x131+1 x105+1 x104+3 x95-0=61 0.00/0.65 c 16 ~x14508+8 ~x14507+4 ~x14506+2 ~x14505+1 ~x14504+1 x446+1 x434+19 x419+10 x268+8 x103+15 x102-0=54 0.00/0.67 c 16 ~x14809+8 ~x14808+4 ~x14807+2 ~x14806+1 ~x14805+4 x445+4 x429+7 x426+2 x392+17 x374+15 x345+4 x286+6 x177+5 x128+10 x24-0=61 0.00/0.67 c 16 ~x15356+8 ~x15355+4 ~x15354+2 ~x15353+1 ~x15352+11 x395+1 x366+17 x363+13 x103+16 x65+6 x45-0=61 0.00/0.70 c 16 ~x15675+8 ~x15674+4 ~x15673+2 ~x15672+1 ~x15671+17 x457+11 x368+13 x180+17 x36-0=61 0.00/0.70 c 16 ~x15907+8 ~x15906+4 ~x15905+2 ~x15904+1 ~x15903+18 x362+5 x350+14 x316+10 x250+4 x230+17 x134+17 x35+11 x27+2 x3-0=61 0.00/0.70 c 8 ~x16432+4 ~x16431+2 ~x16430+1 ~x16429+6 x403+5 x392+3 x383+2 x218+6 x134-0=30 0.00/0.72 c 16 ~x16667+8 ~x16666+4 ~x16665+2 ~x16664+1 ~x16663+12 x341+3 x287+15 x251+18 x216+16 x52-0=61 0.00/0.72 c 16 ~x16941+8 ~x16940+4 ~x16939+2 ~x16938+1 ~x16937+12 x414+13 x400+5 x312+4 x246+4 x177+15 x77+4 x40-0=48 0.00/0.72 c 8 ~x17289+4 ~x17288+2 ~x17287+1 ~x17286+8 x471+2 x427+2 x350+7 x339+8 x236+5 x203+7 x181+3 x169+3 x71+2 x39-0=30 0.00/0.74 c 16 ~x17740+8 ~x17739+4 ~x17738+2 ~x17737+1 ~x17736+11 x330+6 x325+18 x252+5 x149+11 x122+16 x8-0=61 0.00/0.74 c 8 ~x18058+4 ~x18057+2 ~x18056+1 ~x18055+5 x468+4 x350+7 x265+3 x164+1 x151-0=30 0.00/0.77 c 16 ~x18284+8 ~x18283+4 ~x18282+2 ~x18281+1 ~x18280+5 x422+11 x407+12 x235+13 x22-0=61 0.00/0.77 c 16 ~x18522+8 ~x18521+4 ~x18520+2 ~x18519+1 ~x18518+2 x476+1 x423+13 x402+2 x315+8 x256+5 x161+17 x108+14 x45-0=53 0.00/0.77 c 16 ~x18925+8 ~x18924+4 ~x18923+2 ~x18922+1 ~x18921+3 x412+2 x405+1 x401+14 x344+7 x325+12 x260+1 x245+8 x72+19 x58+14 x44+6 x34+18 x11-0=61 0.00/0.79 c 16 ~x19580+8 ~x19579+4 ~x19578+2 ~x19577+1 ~x19576+1 x323+10 x318+16 x267+19 x124+9 x15-0=61 0.00/0.79 c 16 ~x19839+8 ~x19838+4 ~x19837+2 ~x19836+1 ~x19835+17 x431+1 x324+18 x123+8 x117+13 x110+3 x80-0=61 0.00/0.81 c 16 ~x20158+8 ~x20157+4 ~x20156+2 ~x20155+1 ~x20154+2 x471+7 x457+9 x451+8 x313+11 x301+15 x292+6 x267+6 x132-0=61 0.00/0.81 c 16 ~x20540+8 ~x20539+4 ~x20538+2 ~x20537+1 ~x20536+19 x465+16 x434+13 x431+4 x279+14 x275+6 x272+2 x256+6 x236+16 x193+16 x159+4 x133+12 x107+14 x101+16 x84+3 x57-0=61 0.00/0.85 c 16 ~x21357+8 ~x21356+4 ~x21355+2 ~x21354+1 ~x21353+6 x462+18 x460+17 x426+1 x375+1 x291+17 x188+14 x153+7 x139+15 x117+3 x106-0=61 0.00/0.85 c 16 ~x21892+8 ~x21891+4 ~x21890+2 ~x21889+1 ~x21888+5 x455+19 x450+10 x348+1 x323+7 x254+16 x234+18 x222-0=61 0.00/0.87 c 16 ~x22301+8 ~x22300+4 ~x22299+2 ~x22298+1 ~x22297+5 x478+15 x444+7 x393+4 x350+5 x326+8 x270+19 x251+1 x242+7 x205+4 x200+16 x38-0=61 0.00/0.87 c 16 ~x22917+8 ~x22916+4 ~x22915+2 ~x22914+1 ~x22913+6 x456+13 x405+7 x364+9 x362+10 x317+18 x172+5 x28+1 x22-0=57 0.00/0.89 c 16 ~x23329+8 ~x23328+4 ~x23327+2 ~x23326+1 ~x23325+19 x384+6 x336+18 x317+18 x216+18 x177+9 x163+3 x55-0=61 0.00/0.89 c 16 ~x23720+8 ~x23719+4 ~x23718+2 ~x23717+1 ~x23716+14 x434+13 x418+13 x371+19 x351+2 x256+1 x183+3 x54-0=61 0.00/0.92 c 16 ~x24093+8 ~x24092+4 ~x24091+2 ~x24090+1 ~x24089+1 x306+1 x268+16 x240+9 x218+6 x155+3 x135+12 x118+15 x101+13 x78+9 x20+6 x16-0=60 0.00/0.92 c 16 ~x24685+8 ~x24684+4 ~x24683+2 ~x24682+1 ~x24681+5 x436+14 x409+10 x382+8 x381+10 x284+13 x279+1 x216+2 x208+14 x164+3 x49+9 x11-0=61 0.00/0.95 c 16 ~x25292+8 ~x25291+4 ~x25290+2 ~x25289+1 ~x25288+12 x450+1 x376+1 x367+19 x279+18 x224+5 x200+2 x181+3 x169+19 x45+10 x18-0=61 0.00/0.95 c 16 ~x25857+8 ~x25856+4 ~x25855+2 ~x25854+1 ~x25853+1 x442+11 x415+12 x297+7 x104-0=61 0.00/0.97 c 16 ~x26078+8 ~x26077+4 ~x26076+2 ~x26075+1 ~x26074+18 x450+13 x437+2 x419+1 x356+15 x347+3 x344+13 x209+1 x63-0=61 0.00/0.97 c 16 ~x26496+8 ~x26495+4 ~x26494+2 ~x26493+1 ~x26492+15 x361+5 x161+1 x118+3 x72-0=47 0.00/0.97 c 8 ~x26727+4 ~x26726+2 ~x26725+1 ~x26724+10 x342+2 x324+7 x294+1 x156+1 x136+1 x61-0=27 0.00/0.99 c 16 ~x26986+8 ~x26985+4 ~x26984+2 ~x26983+1 ~x26982+13 x311+7 x300+3 x286+9 x260+8 x176+18 x81-0=61 0.00/0.99 c 16 ~x27305+8 ~x27304+4 ~x27303+2 ~x27302+1 ~x27301+2 x476+16 x448+15 x357+1 x301+14 x220+8 x212+13 x166+1 x120+6 x86+16 x34-0=61 0.99/1.02 c 16 ~x27864+8 ~x27863+4 ~x27862+2 ~x27861+1 ~x27860+8 x480+4 x476+3 x424+15 x414+9 x363+3 x333+17 x245+1 x223-0=50 0.99/1.02 c 16 ~x28282+8 ~x28281+4 ~x28280+2 ~x28279+1 ~x28278+13 x370+1 x292+1 x287+16 x256+18 x234+7 x229+9 x121+1 x104-0=50 0.99/1.05 c 16 ~x28691+8 ~x28690+4 ~x28689+2 ~x28688+1 ~x28687+11 x423+16 x413+11 x389+12 x379+7 x316+1 x254+12 x227+15 x193+6 x176+7 x139+8 x90+1 x28-0=61 0.99/1.05 c 16 ~x29346+8 ~x29345+4 ~x29344+2 ~x29343+1 ~x29342+16 x444+18 x392+11 x254+3 x239+16 x147-0=61 0.99/1.07 c 16 ~x29629+8 ~x29628+4 ~x29627+2 ~x29626+1 ~x29625+10 x462+19 x343+14 x264+17 x193+14 x79-0=61 0.99/1.07 c 16 ~x29918+8 ~x29917+4 ~x29916+2 ~x29915+1 ~x29914+8 x381+7 x333+13 x259+6 x85+6 x40-0=61 0.99/1.07 c 16 ~x30162+8 ~x30161+4 ~x30160+2 ~x30159+1 ~x30158+18 x425+19 x279+10 x232+4 x147+3 x62+8 x45+17 x23-0=61 0.99/1.10 c 16 ~x30577+8 ~x30576+4 ~x30575+2 ~x30574+1 ~x30573+7 x467+6 x410+11 x353+1 x316+19 x304+10 x150+15 x108-0=61 0.99/1.10 c 16 ~x30920+8 ~x30919+4 ~x30918+2 ~x30917+1 ~x30916+17 x475+9 x357+9 x324+17 x114+11 x22-0=61 0.99/1.10 c 16 ~x31203+8 ~x31202+4 ~x31201+2 ~x31200+1 ~x31199+8 x473+5 x319+15 x264+10 x239+16 x99+15 x2-0=61 1.09/1.12 c 16 ~x31492+8 ~x31491+4 ~x31490+2 ~x31489+1 ~x31488+4 x444+14 x437+9 x430+8 x427+17 x391+5 x232+13 x113+2 x111-0=61 1.09/1.12 c 16 ~x31901+8 ~x31900+4 ~x31899+2 ~x31898+1 ~x31897+9 x402+9 x398+1 x392+2 x282+9 x280+10 x228+8 x198+15 x39+11 x19-0=61 1.09/1.15 c 16 ~x32415+8 ~x32414+4 ~x32413+2 ~x32412+1 ~x32411+16 x476+16 x447+17 x255+17 x238+3 x216+1 x140+13 x56-0=61 1.09/1.15 c 16 ~x32839+8 ~x32838+4 ~x32837+2 ~x32836+1 ~x32835+18 x475+4 x459+2 x436+10 x158+12 x137+1 x98+14 x70-0=61 1.09/1.18 c 16 ~x33197+8 ~x33196+4 ~x33195+2 ~x33194+1 ~x33193+14 x453+7 x445+16 x378+7 x347+2 x224+2 x206+3 x47-0=61 1.09/1.18 c 8 ~x33542+4 ~x33541+2 ~x33540+1 ~x33539+7 x480+5 x362+3 x353+5 x154+3 x127+5 x90+9 x64-0=30 1.09/1.18 c 16 ~x33843+8 ~x33842+4 ~x33841+2 ~x33840+1 ~x33839+12 x431+19 x415+17 x361+2 x283+10 x250+12 x162+13 x89-0=51 1.19/1.20 c 16 ~x34258+8 ~x34257+4 ~x34256+2 ~x34255+1 ~x34254+19 x404+13 x388+1 x372+13 x259+13 x243+14 x226+18 x6-0=61 1.19/1.20 c 16 ~x34658+8 ~x34657+4 ~x34656+2 ~x34655+1 ~x34654+18 x286+4 x257+18 x256+13 x226+10 x214+15 x198+16 x49-0=61 1.19/1.23 c 16 ~x35064+8 ~x35063+4 ~x35062+2 ~x35061+1 ~x35060+15 x466+14 x464+1 x452+13 x435+6 x411+16 x336+11 x307+7 x249+1 x246+6 x71-0=61 1.19/1.23 c 16 ~x35617+8 ~x35616+4 ~x35615+2 ~x35614+1 ~x35613+19 x257+5 x93+6 x65+3 x24-0=61 1.19/1.25 c 16 ~x35846+8 ~x35845+4 ~x35844+2 ~x35843+1 ~x35842+17 x378+11 x321+15 x314+1 x241+13 x237+17 x197+11 x177+8 x12-0=61 1.19/1.25 c 16 ~x36318+8 ~x36317+4 ~x36316+2 ~x36315+1 ~x36314+19 x436+6 x382+1 x212+19 x172+7 x139+13 x137+1 x107+9 x103+16 x93+4 x91-0=61 1.19/1.28 c 16 ~x36883+8 ~x36882+4 ~x36881+2 ~x36880+1 ~x36879+5 x481+1 x464+6 x435+1 x413+18 x311+8 x299+10 x280+12 x155+4 x118+13 x82-0=61 1.19/1.28 c 16 ~x37466+8 ~x37465+4 ~x37464+2 ~x37463+1 ~x37462+8 x355+16 x323+3 x254+17 x248+19 x218+9 x215+8 x196+19 x143+10 x81+8 x68+7 x16-0=61 1.28/1.31 c 16 ~x38073+8 ~x38072+4 ~x38071+2 ~x38070+1 ~x38069+7 x464+5 x438+13 x285+2 x279+4 x88-0=61 1.28/1.31 c 16 ~x38362+8 ~x38361+4 ~x38360+2 ~x38359+1 ~x38358+6 x443+2 x431+14 x427+5 x293+7 x244+8 x185-0=61 1.28/1.31 c 16 ~x38660+8 ~x38659+4 ~x38658+2 ~x38657+1 ~x38656+4 x476+5 x400+8 x394+14 x189+16 x88+5 x86+6 x30+5 x4-0=61 1.28/1.33 c 16 ~x39051+8 ~x39050+4 ~x39049+2 ~x39048+1 ~x39047+8 x406+6 x404+5 x369+3 x316+3 x198+19 x139+2 x112+13 x100-0=61 1.28/1.33 c 16 ~x39469+8 ~x39468+4 ~x39467+2 ~x39466+1 ~x39465+19 x441+17 x378+1 x323+11 x287+13 x273+4 x155+3 x31+5 x11-0=61 1.28/1.36 c 16 ~x39875+8 ~x39874+4 ~x39873+2 ~x39872+1 ~x39871+19 x449+19 x411+15 x400+1 x297+5 x288+11 x285+8 x271+1 x242+16 x222-0=61 1.28/1.36 c 16 ~x40395+8 ~x40394+4 ~x40393+2 ~x40392+1 ~x40391+13 x457+3 x327+10 x288+15 x271+6 x269+10 x216+11 x205+4 x170+5 x164+1 x114-0=58 1.28/1.39 c 16 ~x40960+8 ~x40959+4 ~x40958+2 ~x40957+1 ~x40956+19 x418+9 x380+1 x286+4 x275+17 x216+14 x206+19 x203+16 x123+17 x107+1 x79+10 x12+18 x11-0=61 1.28/1.39 c 16 ~x41612+8 ~x41611+4 ~x41610+2 ~x41609+1 ~x41608+8 x434+16 x394+4 x371+16 x295+8 x214+5 x200+6 x141+16 x75-0=61 1.38/1.42 c 16 ~x42072+8 ~x42071+4 ~x42070+2 ~x42069+1 ~x42068+1 x453+11 x440+5 x438+11 x201+16 x186+6 x168+17 x112+13 x94-0=61 1.38/1.42 c 16 ~x42547+8 ~x42546+4 ~x42545+2 ~x42544+1 ~x42543+16 x454+1 x446+16 x427+1 x282+5 x205+11 x198+15 x56+14 x49-0=61 1.38/1.44 c 16 ~x42983+8 ~x42982+4 ~x42981+2 ~x42980+1 ~x42979+6 x422+1 x399+13 x278+5 x112+15 x32-0=61 1.38/1.44 c 16 ~x43233+8 ~x43232+4 ~x43231+2 ~x43230+1 ~x43229+14 x468+13 x272+9 x206+11 x192+12 x119+9 x88+13 x34+8 x32+3 x23-0=61 1.38/1.47 c 16 ~x43750+8 ~x43749+4 ~x43748+2 ~x43747+1 ~x43746+3 x457+16 x370+17 x323+1 x254+3 x185+13 x150+1 x67+7 x59+1 x31-0=61 1.38/1.47 c 16 ~x44192+8 ~x44191+4 ~x44190+2 ~x44189+1 ~x44188+6 x426+3 x412+8 x408+15 x367+1 x325+10 x310+1 x31+7 x21-0=61 1.38/1.47 c 16 ~x44592+8 ~x44591+4 ~x44590+2 ~x44589+1 ~x44588+16 x376+1 x306+14 x233+13 x174+17 x124+15 x63+3 x50-0=61 1.48/1.50 c 16 ~x44989+8 ~x44988+4 ~x44987+2 ~x44986+1 ~x44985+10 x433+10 x387+5 x344+7 x167+18 x162+19 x157+17 x98+1 x88+12 x49-0=61 1.48/1.50 c 16 ~x45512+8 ~x45511+4 ~x45510+2 ~x45509+1 ~x45508+13 x479+1 x461+14 x428+13 x363+12 x298+1 x285+6 x214+17 x138+4 x136+15 x73+17 x44-0=61 1.48/1.52 c 16 ~x46125+8 ~x46124+4 ~x46123+2 ~x46122+1 ~x46121+13 x482+5 x452+11 x442+1 x114-0=61 1.48/1.52 c 16 ~x46360+8 ~x46359+4 ~x46358+2 ~x46357+1 ~x46356+7 x420+11 x252+9 x114+13 x47+1 x18-0=61 1.48/1.55 c 16 ~x46640+8 ~x46639+4 ~x46638+2 ~x46637+1 ~x46636+7 x431+4 x412+12 x394+14 x343+17 x188+13 x150+18 x134+4 x133+19 x129+2 x76+1 x19-0=61 1.48/1.55 c 16 ~x47271+8 ~x47270+4 ~x47269+2 ~x47268+1 ~x47267+9 x446+17 x416+4 x320+3 x209+9 x165+4 x144+14 x119+5 x102+17 x100+2 x94+11 x18-0=61 1.48/1.57 c 16 ~x47902+8 ~x47901+4 ~x47900+2 ~x47899+1 ~x47898+12 x455+6 x449+2 x415+1 x186+13 x76-0=61 1.48/1.57 c 16 ~x48179+8 ~x48178+4 ~x48177+2 ~x48176+1 ~x48175+4 x462+17 x429+14 x350+5 x168+18 x153+16 x147+14 x134+10 x123+9 x110+1 x109+1 x97+17 x74-0=61 1.59/1.60 c 16 ~x48861+8 ~x48860+4 ~x48859+2 ~x48858+1 ~x48857+8 x463+5 x444+12 x267+7 x238+19 x224+5 x169+4 x23-0=61 1.59/1.60 c 16 ~x49213+8 ~x49212+4 ~x49211+2 ~x49210+1 ~x49209+4 x441+3 x402+14 x401+6 x384+1 x342+19 x191+12 x135+5 x25+19 x6-0=61 1.59/1.64 c 16 ~x49718+8 ~x49717+4 ~x49716+2 ~x49715+1 ~x49714+5 x423+14 x417+1 x405+1 x402+13 x260+2 x155+13 x150+8 x146+10 x140+15 x50+8 x47-0=61 1.59/1.64 c 16 ~x50316+8 ~x50315+4 ~x50314+2 ~x50313+1 ~x50312+1 x431+18 x294+5 x189+3 x184+4 x89+1 x62+12 x56-0=60 1.59/1.64 c 16 ~x50689+8 ~x50688+4 ~x50687+2 ~x50686+1 ~x50685+1 x422+4 x382+9 x284+14 x112+12 x103-0=61 1.59/1.66 c 16 ~x50945+8 ~x50944+4 ~x50943+2 ~x50942+1 ~x50941+1 x461+12 x446+19 x406+7 x400+16 x363+10 x316+7 x302+9 x285+1 x65-0=61 1.59/1.66 c 16 ~x51462+8 ~x51461+4 ~x51460+2 ~x51459+1 ~x51458+15 x338+1 x264+1 x140+9 x67+10 x27-0=61 1.59/1.68 c 16 ~x51727+8 ~x51726+4 ~x51725+2 ~x51724+1 ~x51723+6 x398+8 x331+7 x321+7 x306+10 x248+7 x244+11 x41-0=61 1.59/1.68 c 16 ~x52055+8 ~x52054+4 ~x52053+2 ~x52052+1 ~x52051+15 x321+10 x267+9 x261+2 x253+12 x216+15 x196+17 x162+10 x114+16 x98+18 x47-0=61 1.68/1.72 c 16 ~x52617+8 ~x52616+4 ~x52615+2 ~x52614+1 ~x52613+9 x465+6 x418+14 x402+7 x348+6 x321+16 x320+9 x292+1 x270+6 x250+5 x229+10 x206+11 x203+6 x133+4 x129+17 x106+19 x46+2 x7-0=61 1.68/1.72 c 16 ~x53545+8 ~x53544+4 ~x53543+2 ~x53542+1 ~x53541+2 x473+2 x456+19 x442+19 x352+4 x315+13 x283+8 x279+2 x266+7 x168-0=61 1.68/1.75 c 16 ~x54047+8 ~x54046+4 ~x54045+2 ~x54044+1 ~x54043+18 x464+6 x449+16 x307+1 x248+8 x246+7 x244+6 x219-0=61 1.68/1.75 c 16 ~x54390+8 ~x54389+4 ~x54388+2 ~x54387+1 ~x54386+1 x299+13 x292+7 x285+15 x271+16 x213+1 x139+6 x81+19 x63+17 x14-0=60 1.68/1.77 c 16 ~x54922+8 ~x54921+4 ~x54920+2 ~x54919+1 ~x54918+4 x353+18 x304+17 x300+10 x285+14 x246+1 x233+15 x232+5 x33-0=61 1.68/1.77 c 16 ~x55355+8 ~x55354+4 ~x55353+2 ~x55352+1 ~x55351+14 x381+16 x379+2 x326+19 x300+9 x218+18 x204+4 x124+19 x111-0=61 1.79/1.80 c 16 ~x55830+8 ~x55829+4 ~x55828+2 ~x55827+1 ~x55826+4 x407+11 x339+9 x251+12 x212+5 x177+5 x147-0=61 1.79/1.80 c 16 ~x56122+8 ~x56121+4 ~x56120+2 ~x56119+1 ~x56118+6 x459+4 x309+1 x305+3 x188+14 x31+4 x26-0=61 1.79/1.80 c 16 ~x56426+8 ~x56425+4 ~x56424+2 ~x56423+1 ~x56422+3 x363+4 x246+8 x240+13 x218+7 x197+18 x175+11 x161+6 x48+17 x27-0=61 1.79/1.83 c 16 ~x56943+8 ~x56942+4 ~x56941+2 ~x56940+1 ~x56939+6 x428+11 x396+14 x382+17 x328+11 x308+12 x280+17 x273+4 x165+6 x124+4 x111+4 x49-0=61 1.79/1.83 c 16 ~x57547+8 ~x57546+4 ~x57545+2 ~x57544+1 ~x57543+3 x444+7 x419+18 x221+14 x114+18 x111+12 x37+17 x36-0=61 1.79/1.86 c 16 ~x57959+8 ~x57958+4 ~x57957+2 ~x57956+1 ~x57955+2 x439+4 x353+5 x240+2 x224+15 x193+10 x189+12 x116+3 x56-0=61 1.79/1.86 c 16 ~x58344+8 ~x58343+4 ~x58342+2 ~x58341+1 ~x58340+15 x441+5 x425+8 x414+2 x300+8 x257+5 x242+18 x235+4 x217+19 x193+4 x108+1 x63-0=61 1.79/1.88 c 16 ~x58972+8 ~x58971+4 ~x58970+2 ~x58969+1 ~x58968+18 x414+9 x399+10 x383+13 x88+12 x79-0=61 1.79/1.88 c 16 ~x59246+8 ~x59245+4 ~x59244+2 ~x59243+1 ~x59242+3 x475+3 x356+16 x328+1 x320+19 x208+15 x204+17 x108+16 x18-0=61 1.89/1.91 c 16 ~x59721+8 ~x59720+4 ~x59719+2 ~x59718+1 ~x59717+19 x459+14 x452+16 x450+14 x247+9 x163+1 x127+19 x94+7 x88+7 x68+7 x50+1 x28+7 x22-0=61 1.89/1.91 c 16 ~x60337+8 ~x60336+4 ~x60335+2 ~x60334+1 ~x60333+9 x337+6 x300+8 x239+5 x218+11 x177+1 x121+10 x117+1 x78-0=61 1.89/1.93 c 16 ~x60740+8 ~x60739+4 ~x60738+2 ~x60737+1 ~x60736+17 x427+13 x354+3 x253+1 x150+6 x99+11 x20+16 x14-0=61 1.89/1.93 c 16 ~x61113+8 ~x61112+4 ~x61111+2 ~x61110+1 ~x61109+15 x428+19 x415+3 x414+11 x314+4 x311+8 x303+1 x223+8 x183-0=61 1.89/1.96 c 16 ~x61525+8 ~x61524+4 ~x61523+2 ~x61522+1 ~x61521+13 x329+11 x243+19 x90+10 x10-0=60 1.89/1.96 c 16 ~x61751+8 ~x61750+4 ~x61749+2 ~x61748+1 ~x61747+12 x473+6 x466+14 x460+8 x416+1 x161+4 x112-0=61 1.89/1.96 c 16 ~x62076+8 ~x62075+4 ~x62074+2 ~x62073+1 ~x62072+13 x402+2 x383+1 x371+6 x156+18 x155-0=61 1.89/1.98 c 16 ~x62350+8 ~x62349+4 ~x62348+2 ~x62347+1 ~x62346+13 x472+10 x444+10 x423+5 x409+3 x363+10 x309+16 x211+8 x117-0=61 1.89/1.98 c 16 ~x62819+8 ~x62818+4 ~x62817+2 ~x62816+1 ~x62815+10 x450+12 x425+4 x416+1 x378+17 x310+1 x198+5 x130+16 x114+4 x72+16 x69+6 x8-0=61 1.98/2.01 c 16 ~x63429+8 ~x63428+4 ~x63427+2 ~x63426+1 ~x63425+3 x464+8 x333+2 x314+17 x276+2 x244+7 x216+8 x184+13 x163+16 x161+9 x6-0=60 1.98/2.01 c 8 ~x63996+4 ~x63995+2 ~x63994+1 ~x63993+14 x472+12 x443+6 x387+1 x318+5 x41+7 x25-0=30 1.98/2.04 c 16 ~x64252+8 ~x64251+4 ~x64250+2 ~x64249+1 ~x64248+16 x382+8 x351+17 x344+11 x215+1 x141+13 x117+13 x111+13 x104+10 x73+12 x26-0=61 1.98/2.04 c 16 ~x64808+8 ~x64807+4 ~x64806+2 ~x64805+1 ~x64804+11 x474+15 x467+1 x444+2 x261+1 x249+9 x223+2 x42-0=61 1.98/2.07 c 16 ~x65178+8 ~x65177+4 ~x65176+2 ~x65175+1 ~x65174+14 x427+3 x318+7 x285+13 x284-0=61 1.98/2.07 c 16 ~x65389+8 ~x65388+4 ~x65387+2 ~x65386+1 ~x65385+8 x382+5 x275+7 x250+18 x114+14 x50-0=61 1.98/2.07 c 8 ~x65641+4 ~x65640+2 ~x65639+1 ~x65638+7 x366+5 x81+9 x18-0=30 1.98/2.07 c 16 ~x65764+8 ~x65763+4 ~x65762+2 ~x65761+1 ~x65760+7 x398+8 x377+9 x340+9 x234+19 x205+18 x145+2 x117+4 x95+12 x89+6 x56+19 x14-0=61 1.98/2.08 c 16 ~x66386+8 ~x66385+4 ~x66384+2 ~x66383+1 ~x66382+2 x456+12 x409+18 x401+2 x299+1 x294+13 x285+7 x235+8 x214+7 x185+6 x145+1 x63+9 x14-0=61 2.09/2.12 c 16 ~x67038+8 ~x67037+4 ~x67036+2 ~x67035+1 ~x67034+16 x393+1 x331+14 x306+2 x279+5 x173+18 x165+19 x107-0=61 2.09/2.12 c 16 ~x67450+8 ~x67449+4 ~x67448+2 ~x67447+1 ~x67446+8 x402+5 x159+10 x79+8 x7-0=61 2.09/2.12 c 16 ~x67673+8 ~x67672+4 ~x67671+2 ~x67670+1 ~x67669+8 x447+11 x390+11 x387+13 x350+5 x158+16 x49+1 x31+11 x21-0=61 2.09/2.14 c 16 ~x68145+8 ~x68144+4 ~x68143+2 ~x68142+1 ~x68141+1 x399+9 x314+14 x201+8 x171-0=61 2.09/2.14 c 16 ~x68365+8 ~x68364+4 ~x68363+2 ~x68362+1 ~x68361+11 x466+2 x358+9 x326+6 x292+16 x148+1 x144+11 x132+5 x62+5 x44+12 x25+11 x18-0=61 2.09/2.18 c 16 ~x68981+8 ~x68980+4 ~x68979+2 ~x68978+1 ~x68977+12 x377+6 x230+17 x123+18 x107+12 x82-0=61 2.09/2.18 c 16 ~x69243+8 ~x69242+4 ~x69241+2 ~x69240+1 ~x69239+16 x438+14 x378+12 x254+10 x207+13 x148+9 x139+9 x54+10 x2-0=61 2.19/2.20 c 16 ~x69694+8 ~x69693+4 ~x69692+2 ~x69691+1 ~x69690+12 x455+15 x445+6 x348+10 x346+16 x213+6 x211+5 x97+14 x57+6 x42+1 x29+10 x28-0=61 2.19/2.20 c 16 ~x70298+8 ~x70297+4 ~x70296+2 ~x70295+1 ~x70294+9 x471+5 x458+11 x255+14 x245+13 x184+18 x157+4 x133+9 x112-0=61 2.19/2.20 c 16 ~x70764+8 ~x70763+4 ~x70762+2 ~x70761+1 ~x70760+9 x456+6 x368+10 x356+5 x341+13 x174+13 x65-0=59 2.19/2.23 c 16 ~x71074+8 ~x71073+4 ~x71072+2 ~x71071+1 ~x71070+5 x418+14 x405+16 x301+11 x291+7 x290+19 x172+18 x171+7 x107-0=61 2.19/2.23 c 16 ~x71519+8 ~x71518+4 ~x71517+2 ~x71516+1 ~x71515+3 x482+3 x476+17 x410+14 x356+1 x335+6 x295+9 x287+7 x125+5 x114+6 x100+12 x8-0=61 2.19/2.26 c 16 ~x72126+8 ~x72125+4 ~x72124+2 ~x72123+1 ~x72122+5 x477+18 x372+1 x344+6 x327+1 x238+16 x207+16 x194+5 x115+3 x58+6 x40-0=57 2.19/2.26 c 16 ~x72691+8 ~x72690+4 ~x72689+2 ~x72688+1 ~x72687+7 x449+4 x421+1 x393+1 x363+7 x344+13 x314+1 x258+10 x220+4 x97-0=61 2.19/2.28 c 16 ~x73139+8 ~x73138+4 ~x73137+2 ~x73136+1 ~x73135+18 x353+10 x330+5 x217+1 x199+15 x176+7 x174+18 x167+8 x160-0=61 2.19/2.28 c 16 ~x73590+8 ~x73589+4 ~x73588+2 ~x73587+1 ~x73586+11 x401+2 x319+15 x198+17 x192+19 x167+19 x88+18 x53-0=61 2.29/2.30 c 16 ~x74005+8 ~x74004+4 ~x74003+2 ~x74002+1 ~x74001+18 x326+13 x295+3 x198+5 x157+18 x10-0=54 2.29/2.30 c 16 ~x74267+8 ~x74266+4 ~x74265+2 ~x74264+1 ~x74263+12 x464+12 x446+14 x444+10 x367+3 x352+3 x186+7 x171+13 x166+13 x106+16 x24+2 x11-0=61 2.29/2.33 c 16 ~x74889+8 ~x74888+4 ~x74887+2 ~x74886+1 ~x74885+8 x465+1 x452+10 x415+1 x387+1 x343+2 x262+6 x237+18 x132-0=61 2.29/2.33 c 16 ~x75301+8 ~x75300+4 ~x75299+2 ~x75298+1 ~x75297+1 x472+12 x449+6 x402+13 x213+17 x209+18 x181+15 x171+6 x68+8 x64+5 x18-0=61 2.29/2.36 c 16 ~x75860+8 ~x75859+4 ~x75858+2 ~x75857+1 ~x75856+13 x477+4 x411+1 x242+2 x236+17 x225+9 x222+11 x140+5 x130+11 x87+18 x54+4 x39+6 x33-0=61 2.29/2.36 c 16 ~x76515+8 ~x76514+4 ~x76513+2 ~x76512+1 ~x76511+3 x482+12 x431+18 x333+16 x227+18 x191-0=61 2.29/2.39 c 16 ~x76786+8 ~x76785+4 ~x76784+2 ~x76783+1 ~x76782+7 x479+6 x299+7 x282+7 x218+19 x30-0=61 2.29/2.39 c 16 ~x77030+8 ~x77029+4 ~x77028+2 ~x77027+1 ~x77026+6 x465+15 x402+2 x350+2 x311+7 x302+5 x225+15 x223+12 x191+13 x35-0=61 2.29/2.39 c 16 ~x77532+8 ~x77531+4 ~x77530+2 ~x77529+1 ~x77528+3 x465+12 x282+1 x240+18 x176+2 x58+14 x40-0=61 2.38/2.41 c 16 ~x77848+8 ~x77847+4 ~x77846+2 ~x77845+1 ~x77844+19 x464+6 x412+16 x411+7 x358+3 x311+5 x273+3 x262+5 x254+15 x232+13 x5-0=61 2.38/2.41 c 16 ~x78389+8 ~x78388+4 ~x78387+2 ~x78386+1 ~x78385+17 x482+4 x409+1 x326+3 x294+6 x254+13 x211+11 x204+8 x142+1 x55-0=61 2.38/2.44 c 16 ~x78852+8 ~x78851+4 ~x78850+2 ~x78849+1 ~x78848+10 x316+10 x301+15 x237+2 x215+13 x165+8 x148+3 x118-0=61 2.38/2.44 c 16 ~x79216+8 ~x79215+4 ~x79214+2 ~x79213+1 ~x79212+9 x423+9 x422+8 x358+16 x357+15 x303+6 x286+7 x156+3 x104+8 x92-0=61 2.38/2.47 c 16 ~x79724+8 ~x79723+4 ~x79722+2 ~x79721+1 ~x79720+18 x461+19 x395+19 x388+6 x366+11 x291+18 x201+5 x187+3 x174+1 x113+16 x100-0=61 2.38/2.47 c 16 ~x80301+8 ~x80300+4 ~x80299+2 ~x80298+1 ~x80297+18 x454+10 x380+2 x304+8 x303+11 x260+18 x230+5 x186+1 x21-0=61 2.38/2.49 c 16 ~x80716+8 ~x80715+4 ~x80714+2 ~x80713+1 ~x80712+7 x471+18 x339+13 x313+14 x311+17 x304+1 x197+3 x131+17 x111+17 x50+11 x5-0=61 2.38/2.49 c 16 ~x81281+8 ~x81280+4 ~x81279+2 ~x81278+1 ~x81277+12 x470+9 x375+1 x345+12 x268+18 x259+10 x237+2 x227+8 x203+10 x135+5 x118+14 x93-0=61 2.48/2.52 c 8 ~x81875+4 ~x81874+2 ~x81873+1 ~x81872+8 x274+9 x226+1 x208+9 x13-0=30 2.48/2.52 c 16 ~x82056+8 ~x82055+4 ~x82054+2 ~x82053+1 ~x82052+19 x472+13 x470+2 x455+7 x447+18 x391+1 x291+1 x282+10 x266+11 x220+1 x201+12 x180+18 x178+19 x116+17 x10-0=61 2.48/2.55 c 16 ~x82840+8 ~x82839+4 ~x82838+2 ~x82837+1 ~x82836+13 x467+5 x402+1 x372+11 x366+17 x172+11 x103+2 x8-0=61 2.48/2.55 c 16 ~x83216+8 ~x83215+4 ~x83214+2 ~x83213+1 ~x83212+10 x390+14 x341+15 x135+17 x70+15 x68+16 x49-0=49 2.48/2.58 c 16 ~x83577+8 ~x83576+4 ~x83575+2 ~x83574+1 ~x83573+1 x284+9 x261+4 x206+16 x169+4 x30+12 x29-0=61 2.48/2.58 c 16 ~x83899+8 ~x83898+4 ~x83897+2 ~x83896+1 ~x83895+6 x391+6 x266+15 x255+1 x204+7 x26+9 x9-0=61 2.48/2.58 c 16 ~x84203+8 ~x84202+4 ~x84201+2 ~x84200+1 ~x84199+16 x412+14 x384+19 x358+12 x322+2 x309+10 x290+7 x249+15 x123+8 x90-0=61 2.58/2.60 c 16 ~x84690+8 ~x84689+4 ~x84688+2 ~x84687+1 ~x84686+1 x355+11 x341+2 x318+13 x303+5 x233+1 x188+7 x132+17 x87-0=61 2.58/2.60 c 16 ~x85096+8 ~x85095+4 ~x85094+2 ~x85093+1 ~x85092+12 x450+4 x428+11 x341+16 x252+9 x211+3 x173+15 x172+1 x147+11 x101+3 x94+15 x84+8 x77-0=61 2.58/2.63 c 16 ~x85754+8 ~x85753+4 ~x85752+2 ~x85751+1 ~x85750+15 x445+19 x424+10 x388+4 x379+12 x377+7 x278+6 x242+1 x171+1 x5-0=61 2.58/2.63 c 16 ~x86256+8 ~x86255+4 ~x86254+2 ~x86253+1 ~x86252+19 x480+10 x412+15 x400+5 x99+5 x58+4 x52+2 x28-0=61 2.58/2.66 c 16 ~x86614+8 ~x86613+4 ~x86612+2 ~x86611+1 ~x86610+1 x474+5 x447+5 x421+10 x369+16 x315+1 x254+9 x212+1 x191+18 x186+14 x160+11 x100-0=61 2.58/2.66 c 16 ~x87221+8 ~x87220+4 ~x87219+2 ~x87218+1 ~x87217+8 x419+12 x403+9 x378+8 x283+17 x4-0=61 2.58/2.68 c 16 ~x87507+8 ~x87506+4 ~x87505+2 ~x87504+1 ~x87503+13 x435+19 x340+7 x321+10 x306+8 x266+4 x235+8 x189+11 x124+19 x98+10 x40-0=61 2.58/2.68 c 16 ~x88069+8 ~x88068+4 ~x88067+2 ~x88066+1 ~x88065+7 x285+10 x283+1 x195+11 x183+15 x138+18 x129-0=60 2.68/2.71 c 16 ~x88376+8 ~x88375+4 ~x88374+2 ~x88373+1 ~x88372+1 x463+13 x234+11 x221+19 x155+5 x101+11 x97+7 x52-0=59 2.68/2.71 c 16 ~x88728+8 ~x88727+4 ~x88726+2 ~x88725+1 ~x88724+9 x358+11 x294+4 x194+10 x124+9 x103+14 x98+2 x80+1 x18-0=61 2.68/2.71 c 16 ~x89140+8 ~x89139+4 ~x89138+2 ~x89137+1 ~x89136+16 x391+13 x362+7 x229+16 x169+10 x163-0=61 2.68/2.73 c 16 ~x89408+8 ~x89407+4 ~x89406+2 ~x89405+1 ~x89404+12 x443+4 x388+2 x348+16 x319+2 x190+19 x138+2 x57-0=61 2.68/2.73 c 16 ~x89766+8 ~x89765+4 ~x89764+2 ~x89763+1 ~x89762+1 x459+17 x176+3 x112+13 x61+19 x23-0=61 2.68/2.76 c 16 ~x90055+8 ~x90054+4 ~x90053+2 ~x90052+1 ~x90051+10 x462+19 x387+1 x322+1 x316+9 x271+7 x20-0=61 2.68/2.76 c 16 ~x90362+8 ~x90361+4 ~x90360+2 ~x90359+1 ~x90358+16 x420+12 x362+5 x305+12 x258+12 x241+9 x198+13 x183+6 x164+16 x146-0=61 2.68/2.76 c 16 ~x90876+8 ~x90875+4 ~x90874+2 ~x90873+1 ~x90872+15 x475+2 x361+9 x201+12 x130+1 x88+8 x65+6 x6-0=57 2.68/2.79 c 16 ~x91234+8 ~x91233+4 ~x91232+2 ~x91231+1 ~x91230+12 x478+18 x420+7 x280+3 x279+13 x176+16 x164+16 x127-0=61 2.68/2.79 c 16 ~x91649+8 ~x91648+4 ~x91647+2 ~x91646+1 ~x91645+7 x481+11 x247+10 x240+8 x156+6 x108+8 x99+10 x84+2 x30-0=61 2.79/2.81 c 16 ~x92061+8 ~x92060+4 ~x92059+2 ~x92058+1 ~x92057+6 x480+2 x468+13 x465+10 x384+1 x277+6 x273+1 x246+2 x184+11 x150+9 x90+10 x16-0=61 2.79/2.81 c 16 ~x92599+8 ~x92598+4 ~x92597+2 ~x92596+1 ~x92595+9 x444+18 x410+3 x391+7 x148+12 x123+17 x98+10 x97+3 x78+1 x57+18 x54+18 x38+15 x9-0=57 2.79/2.84 c 16 ~x93242+8 ~x93241+4 ~x93240+2 ~x93239+1 ~x93238+18 x467+7 x335+14 x327+6 x299+18 x283+5 x171+17 x149+4 x136-0=61 2.79/2.84 c 16 ~x93711+8 ~x93710+4 ~x93709+2 ~x93708+1 ~x93707+9 x409+7 x179+5 x140+13 x132+9 x129+19 x90+9 x56+4 x37-0=61 2.79/2.87 c 16 ~x94171+8 ~x94170+4 ~x94169+2 ~x94168+1 ~x94167+17 x481+10 x397+14 x345+2 x328+13 x304+17 x286+6 x126+12 x21-0=61 2.79/2.87 c 16 ~x94634+8 ~x94633+4 ~x94632+2 ~x94631+1 ~x94630+1 x450+5 x440+2 x385+11 x191+10 x170+14 x65-0=61 2.89/2.90 c 16 ~x94932+8 ~x94931+4 ~x94930+2 ~x94929+1 ~x94928+5 x299+11 x224+11 x205-0=49 2.89/2.90 c 16 ~x95113+8 ~x95112+4 ~x95111+2 ~x95110+1 ~x95109+1 x431+1 x419+16 x361+10 x326+15 x320+13 x299+18 x244+9 x177+16 x96+18 x51+11 x5-0=61 2.89/2.90 c 16 ~x95738+8 ~x95737+4 ~x95736+2 ~x95735+1 ~x95734+10 x368+8 x351+11 x325+15 x180+9 x151+1 x142+1 x66+6 x30-0=61 2.89/2.92 c 16 ~x96135+8 ~x96134+4 ~x96133+2 ~x96132+1 ~x96131+14 x406+4 x391+2 x378+15 x363+11 x249+11 x221+2 x135+19 x115+2 x80+18 x58-0=61 2.89/2.92 c 16 ~x96694+8 ~x96693+4 ~x96692+2 ~x96691+1 ~x96690+1 x464+2 x394+15 x339+9 x275+1 x235+5 x180+17 x177-0=61 2.89/2.95 c 16 ~x97064+8 ~x97063+4 ~x97062+2 ~x97061+1 ~x97060+2 x448+2 x403+17 x385+19 x316+19 x232+18 x190+13 x84+14 x83+2 x12-0=61 2.89/2.95 c 16 ~x97575+8 ~x97574+4 ~x97573+2 ~x97572+1 ~x97571+6 x345+3 x323+2 x189+16 x178+12 x68+2 x27-0=61 2.89/2.96 c 16 ~x97885+8 ~x97884+4 ~x97883+2 ~x97882+1 ~x97881+15 x371+2 x263+3 x252+10 x77-0=61 2.89/2.96 c 16 ~x98099+8 ~x98098+4 ~x98097+2 ~x98096+1 ~x98095+10 x470+6 x434+12 x382+9 x381+5 x358+12 x308+13 x293+8 x280+7 x207+5 x124+7 x67-0=61 2.99/3.00 c 16 ~x98679+8 ~x98678+4 ~x98677+2 ~x98676+1 ~x98675+17 x478+1 x413+6 x368+2 x316+10 x269+18 x187+6 x162+4 x36+15 x5-0=57 2.99/3.00 c 16 ~x99181+8 ~x99180+4 ~x99179+2 ~x99178+1 ~x99177+19 x474+13 x384+1 x354+18 x279+3 x259+14 x60-0=61 2.99/3.00 c 16 ~x99482+8 ~x99481+4 ~x99480+2 ~x99479+1 ~x99478+4 x429+4 x394+19 x226+15 x182+15 x128+5 x76+10 x72-0=61 2.99/3.02 c 16 ~x99807+8 ~x99806+4 ~x99805+2 ~x99804+1 ~x99803+1 x442+9 x378+11 x357+5 x321+5 x197+1 x128+14 x106+1 x31-0=61 2.99/3.02 c 16 ~x100195+8 ~x100194+4 ~x100193+2 ~x100192+1 ~x100191+2 x395+16 x380+17 x243+13 x205+9 x155+18 x67+16 x51-0=61 2.99/3.05 c 16 ~x100607+8 ~x100606+4 ~x100605+2 ~x100604+1 ~x100603+3 x380+17 x367+7 x267+1 x225+4 x203+7 x156+18 x136+12 x43-0=61 2.99/3.05 c 16 ~x101001+8 ~x101000+4 ~x100999+2 ~x100998+1 ~x100997+12 x451+17 x404+11 x287+3 x268+2 x177+6 x49+16 x40-0=61 2.99/3.07 c 16 ~x101371+8 ~x101370+4 ~x101369+2 ~x101368+1 ~x101367+5 x297+7 x278+7 x262+6 x258+10 x189+15 x184+6 x175+13 x87-0=61 2.99/3.07 c 16 ~x101771+8 ~x101770+4 ~x101769+2 ~x101768+1 ~x101767+14 x348+7 x341+1 x293+1 x169+7 x115+17 x78-0=61 2.99/3.09 c 16 ~x102078+8 ~x102077+4 ~x102076+2 ~x102075+1 ~x102074+3 x427+11 x317+14 x316+1 x314+17 x302+8 x140+10 x75+3 x69-0=61 2.99/3.09 c 16 ~x102469+8 ~x102468+4 ~x102467+2 ~x102466+1 ~x102465+16 x480+10 x349+7 x308+10 x214+1 x181+5 x135+8 x132+16 x56+10 x31-0=59 3.08/3.11 c 16 ~x102977+8 ~x102976+4 ~x102975+2 ~x102974+1 ~x102973+5 x327+3 x323+5 x311+6 x302+15 x262+12 x211+1 x87-0=61 3.08/3.11 c 16 ~x103335+8 ~x103334+4 ~x103333+2 ~x103332+1 ~x103331+3 x445+11 x442+1 x397+1 x358+18 x335+10 x316+18 x257+14 x246+6 x199+1 x177+5 x136+1 x96+1 x52+11 x25+8 x3-0=61 3.08/3.15 c 16 ~x104167+8 ~x104166+4 ~x104165+2 ~x104164+1 ~x104163+12 x479+14 x418+8 x380+13 x366+7 x324+16 x315+17 x234+11 x143+13 x83-0=61 3.08/3.15 c 16 ~x104693+8 ~x104692+4 ~x104691+2 ~x104690+1 ~x104689+18 x222+2 x148+7 x126+7 x122+7 x92-0=61 3.08/3.17 c 16 ~x104922+8 ~x104921+4 ~x104920+2 ~x104919+1 ~x104918+7 x480+5 x435+6 x416+12 x401+8 x375+14 x165+17 x66+1 x45+8 x3-0=61 3.08/3.17 c 16 ~x105442+8 ~x105441+4 ~x105440+2 ~x105439+1 ~x105438+15 x478+13 x406+14 x386+9 x373+1 x283+14 x242+1 x215+4 x132+14 x128+8 x126+1 x85+4 x39-0=61 3.19/3.20 c 8 ~x106114+4 ~x106113+2 ~x106112+1 ~x106111+2 x455+6 x453+8 x336+8 x267+11 x214-0=28 3.19/3.20 c 16 ~x106355+8 ~x106354+4 ~x106353+2 ~x106352+1 ~x106351+6 x445+3 x434+2 x403+15 x382+1 x126+10 x122+17 x90-0=61 3.19/3.20 c 16 ~x106713+8 ~x106712+4 ~x106711+2 ~x106710+1 ~x106709+5 x395+8 x373+7 x362+15 x340+4 x336+3 x326+4 x309+15 x290+2 x250+11 x224+7 x196+1 x151+7 x85+18 x3-0=59 3.19/3.22 c 16 ~x107458+8 ~x107457+4 ~x107456+2 ~x107455+1 ~x107454+5 x449+7 x365+1 x363+18 x281+2 x249+7 x153+6 x124+10 x82+10 x36+4 x22-0=61 3.19/3.25 c 16 ~x107933+8 ~x107932+4 ~x107931+2 ~x107930+1 ~x107929+12 x468+11 x458+4 x456+10 x377+18 x272+9 x130+19 x52+15 x38-0=61 3.19/3.25 c 16 ~x108384+8 ~x108383+4 ~x108382+2 ~x108381+1 ~x108380+17 x334+3 x228+16 x198+11 x110+18 x41+5 x18+14 x6-0=61 3.19/3.27 c 16 ~x108781+8 ~x108780+4 ~x108779+2 ~x108778+1 ~x108777+16 x429+9 x275+3 x141+2 x123+14 x25-0=61 3.19/3.27 c 16 ~x109043+8 ~x109042+4 ~x109041+2 ~x109040+1 ~x109039+16 x482+17 x462+1 x201+6 x183+5 x182+12 x163+1 x104+3 x90+11 x69+1 x68+7 x51+13 x25+8 x10-0=61 3.29/3.31 c 16 ~x109746+8 ~x109745+4 ~x109744+2 ~x109743+1 ~x109742+11 x419+10 x346+1 x314+12 x284+15 x195+11 x165+17 x78-0=61 3.29/3.31 c 16 ~x110164+8 ~x110163+4 ~x110162+2 ~x110161+1 ~x110160+16 x370+18 x309+18 x84+16 x67+2 x55+2 x49+8 x44+1 x25-0=51 3.29/3.31 c 16 ~x110636+8 ~x110635+4 ~x110634+2 ~x110633+1 ~x110632+18 x467+14 x362+18 x242+8 x136+19 x86+4 x84+6 x11-0=57 3.29/3.33 c 16 ~x111048+8 ~x111047+4 ~x111046+2 ~x111045+1 ~x111044+6 x426+1 x352+8 x323+6 x237+12 x211+1 x170-0=61 3.29/3.33 c 16 ~x111367+8 ~x111366+4 ~x111365+2 ~x111364+1 ~x111363+14 x449+15 x391+11 x308+3 x231+18 x189+13 x83+13 x71+18 x62+3 x8+6 x3-0=57 3.29/3.37 c 16 ~x111923+8 ~x111922+4 ~x111921+2 ~x111920+1 ~x111919+12 x419+15 x417+5 x392+7 x370+15 x356+1 x342+11 x187+13 x117+9 x64+12 x45+13 x26+18 x20-0=61 3.29/3.37 c 16 ~x112587+8 ~x112586+4 ~x112585+2 ~x112584+1 ~x112583+13 x394+3 x329+16 x303+9 x194+2 x151+9 x123+14 x9-0=61 3.29/3.39 c 16 ~x112924+8 ~x112923+4 ~x112922+2 ~x112921+1 ~x112920+7 x402+17 x346+9 x330+11 x328+14 x322+3 x275+15 x241+7 x237+3 x182+2 x175+8 x18-0=61 3.29/3.39 c 16 ~x113546+8 ~x113545+4 ~x113544+2 ~x113543+1 ~x113542+7 x355+8 x313+15 x273+2 x228+19 x67-0=61 3.39/3.41 c 16 ~x113826+8 ~x113825+4 ~x113824+2 ~x113823+1 ~x113822+2 x290+1 x121+15 x75+14 x70+1 x9-0=61 3.39/3.41 c 16 ~x114073+8 ~x114072+4 ~x114071+2 ~x114070+1 ~x114069+8 x453+9 x449+14 x433+19 x381+5 x352+12 x341+5 x280+10 x278+1 x269+14 x42-0=61 3.39/3.44 c 16 ~x114620+8 ~x114619+4 ~x114618+2 ~x114617+1 ~x114616+2 x343+19 x320+9 x309+15 x269+8 x203+6 x195+10 x191+2 x125-0=61 3.39/3.44 c 16 ~x115035+8 ~x115034+4 ~x115033+2 ~x115032+1 ~x115031+3 x482+10 x464+2 x436+16 x282+5 x274+8 x247+7 x235+10 x123+12 x115+6 x48+16 x46-0=61 3.39/3.46 c 16 ~x115645+8 ~x115644+4 ~x115643+2 ~x115642+1 ~x115641+7 x310+5 x296+9 x273+3 x236+12 x189+1 x56+10 x32+5 x14-0=51 3.39/3.46 c 16 ~x116045+8 ~x116044+4 ~x116043+2 ~x116042+1 ~x116041+2 x467+2 x433+17 x407+17 x375+14 x360+15 x266+1 x265+10 x230+6 x97-0=61 3.39/3.49 c 16 ~x116541+8 ~x116540+4 ~x116539+2 ~x116538+1 ~x116537+1 x447+19 x372+4 x362+1 x124+8 x52-0=61 3.39/3.49 c 16 ~x116824+8 ~x116823+4 ~x116822+2 ~x116821+1 ~x116820+14 x446+5 x378+7 x308+2 x278+12 x273+9 x210+15 x127+15 x97+8 x96-0=61 3.49/3.51 c 16 ~x117308+8 ~x117307+4 ~x117306+2 ~x117305+1 ~x117304+8 x474+7 x449+19 x417+3 x412+12 x350+18 x251+13 x103+6 x49+7 x25-0=61 3.49/3.51 c 16 ~x117813+8 ~x117812+4 ~x117811+2 ~x117810+1 ~x117809+12 x458+2 x371+12 x271+9 x268+15 x263+6 x215+5 x182+17 x133+13 x95-0=61 3.49/3.55 c 16 ~x118336+8 ~x118335+4 ~x118334+2 ~x118333+1 ~x118332+13 x451+18 x388+11 x370+5 x267+16 x190+18 x10-0=61 3.49/3.55 c 16 ~x118694+8 ~x118693+4 ~x118692+2 ~x118691+1 ~x118690+2 x420+17 x318+3 x262+9 x253+9 x225+5 x153+4 x98+14 x49-0=61 3.49/3.55 c 16 ~x119079+8 ~x119078+4 ~x119077+2 ~x119076+1 ~x119075+17 x448+18 x417+6 x389+17 x148-0=54 3.49/3.56 c 16 ~x119308+8 ~x119307+4 ~x119306+2 ~x119305+1 ~x119304+13 x296+17 x279+1 x215-0=61 3.49/3.56 c 16 ~x119504+8 ~x119503+4 ~x119502+2 ~x119501+1 ~x119500+19 x394+17 x285+2 x271+10 x265+7 x237+7 x199+13 x102-0=61 3.49/3.59 c 16 ~x119895+8 ~x119894+4 ~x119893+2 ~x119892+1 ~x119891+16 x355+12 x298+17 x277+18 x231+3 x213+2 x157+8 x125+2 x91+19 x72+19 x58+13 x57+4 x49-0=61 3.49/3.59 c 16 ~x120577+8 ~x120576+4 ~x120575+2 ~x120574+1 ~x120573+6 x445+15 x373+9 x329+3 x299+5 x265+8 x229+7 x213+12 x133+10 x89+9 x77-0=61 3.59/3.61 c 16 ~x121130+8 ~x121129+4 ~x121128+2 ~x121127+1 ~x121126+11 x376+16 x329+6 x325+18 x250-0=61 3.59/3.61 c 16 ~x121362+8 ~x121361+4 ~x121360+2 ~x121359+1 ~x121358+5 x460+9 x451+13 x442+4 x440+11 x429+18 x397+4 x321+16 x267+1 x191+12 x181+7 x179+1 x101+2 x77+6 x26+4 x21-0=61 3.59/3.65 c 16 ~x122185+8 ~x122184+4 ~x122183+2 ~x122182+1 ~x122181+14 x413+13 x405+14 x396+1 x246+18 x217+10 x204+8 x202+13 x125+2 x82-0=61 3.59/3.65 c 16 ~x122699+8 ~x122698+4 ~x122697+2 ~x122696+1 ~x122695+14 x400+11 x349+19 x285+12 x255+1 x194+13 x152+9 x119+10 x57-0=61 3.59/3.66 c 16 ~x123162+8 ~x123161+4 ~x123160+2 ~x123159+1 ~x123158+11 x462+3 x456+11 x421+11 x418+12 x409+15 x314+19 x284+17 x278+7 x204+13 x156+7 x152+10 x128+7 x127+9 x120+1 x108+11 x96+13 x91+7 x12-0=61 3.68/3.71 c 16 ~x124197+8 ~x124196+4 ~x124195+2 ~x124194+1 ~x124193+16 x357+17 x219+6 x185+1 x98+18 x84+3 x64+4 x33-0=61 3.68/3.71 c 16 ~x124555+8 ~x124554+4 ~x124553+2 ~x124552+1 ~x124551+16 x443+18 x402+1 x366+13 x360+11 x236+9 x168+11 x95+1 x67+3 x38+14 x14-0=61 3.68/3.71 c 16 ~x125108+8 ~x125107+4 ~x125106+2 ~x125105+1 ~x125104+7 x415+13 x359+4 x348+14 x290+10 x97+5 x96+5 x4-0=61 3.68/3.73 c 16 ~x125433+8 ~x125432+4 ~x125431+2 ~x125430+1 ~x125429+3 x465+13 x383+14 x376-0=48 3.68/3.73 c 16 ~x125611+8 ~x125610+4 ~x125609+2 ~x125608+1 ~x125607+14 x288+2 x264+15 x249+10 x196+7 x167-0=61 3.68/3.75 c 16 ~x125861+8 ~x125860+4 ~x125859+2 ~x125858+1 ~x125857+10 x427+15 x320+6 x310+1 x191+11 x186+11 x167+1 x50-0=61 3.68/3.75 c 16 ~x126228+8 ~x126227+4 ~x126226+2 ~x126225+1 ~x126224+9 x444+6 x161+13 x127+9 x124+1 x67+15 x48+14 x30+8 x9+7 x6-0=61 3.68/3.77 c 16 ~x126709+8 ~x126708+4 ~x126707+2 ~x126706+1 ~x126705+15 x476+13 x434+16 x432+8 x425+19 x386+4 x357+1 x238+13 x229+5 x92-0=61 3.68/3.77 c 16 ~x127223+8 ~x127222+4 ~x127221+2 ~x127220+1 ~x127219+5 x413+11 x206+3 x183+1 x156+18 x118+7 x63-0=61 3.78/3.81 c 16 ~x127524+8 ~x127523+4 ~x127522+2 ~x127521+1 ~x127520+15 x446+15 x385+18 x369+17 x312+13 x173+6 x168+16 x99+17 x20-0=61 3.78/3.81 c 16 ~x128005+8 ~x128004+4 ~x128003+2 ~x128002+1 ~x128001+8 x482+6 x445+16 x419+17 x333+14 x320+2 x314+13 x277+5 x268+2 x20-0=61 3.78/3.81 c 16 ~x128513+8 ~x128512+4 ~x128511+2 ~x128510+1 ~x128509+5 x459+12 x456+4 x428+7 x325+4 x324+5 x237+1 x96+12 x59-0=61 3.78/3.83 c 16 ~x128925+8 ~x128924+4 ~x128923+2 ~x128922+1 ~x128921+5 x426+5 x397+12 x279+12 x108-0=61 3.78/3.83 c 16 ~x129124+8 ~x129123+4 ~x129122+2 ~x129121+1 ~x129120+1 x469+11 x468+10 x412+3 x392+3 x280+13 x222+5 x221+6 x217+6 x179+2 x156+1 x127+8 x89+1 x30+16 x20-0=61 3.78/3.86 c 16 ~x129896+8 ~x129895+4 ~x129894+2 ~x129893+1 ~x129892+7 x456+13 x344+6 x140+2 x136+19 x129+17 x128+7 x64+5 x10-0=61 3.78/3.86 c 16 ~x130338+8 ~x130337+4 ~x130336+2 ~x130335+1 ~x130334+7 x438+5 x364+17 x339+8 x330+5 x302+10 x184+16 x167+1 x65+11 x48-0=61 3.78/3.89 c 16 ~x130858+8 ~x130857+4 ~x130856+2 ~x130855+1 ~x130854+7 x422+12 x406+2 x359+6 x303+5 x301+6 x241+17 x239+7 x180+7 x120+18 x24+12 x17-0=61 3.78/3.89 c 8 ~x131446+4 ~x131445+2 ~x131444+1 ~x131443+10 x441+9 x326+6 x302+8 x187+8 x142+12 x13-0=28 3.88/3.91 c 16 ~x131714+8 ~x131713+4 ~x131712+2 ~x131711+1 ~x131710+18 x406+13 x219+17 x188+2 x187+18 x128+19 x73+16 x30-0=61 3.88/3.91 c 16 ~x132126+8 ~x132125+4 ~x132124+2 ~x132123+1 ~x132122+16 x424+13 x365+1 x326+18 x320+5 x211+1 x131-0=61 3.88/3.93 c 16 ~x132451+8 ~x132450+4 ~x132449+2 ~x132448+1 ~x132447+9 x420+4 x389+10 x203+14 x157+7 x122+1 x106+1 x56-0=61 3.88/3.93 c 16 ~x132797+8 ~x132796+4 ~x132795+2 ~x132794+1 ~x132793+4 x426+15 x312+16 x126+11 x85-0=61 3.88/3.94 c 16 ~x133029+8 ~x133028+4 ~x133027+2 ~x133026+1 ~x133025+11 x477+9 x439+7 x271+11 x259+7 x240+12 x229+11 x133-0=61 3.88/3.94 c 16 ~x133390+8 ~x133389+4 ~x133388+2 ~x133387+1 ~x133386+14 x413+2 x399+11 x372+9 x266+18 x256+4 x249+2 x196+10 x146+4 x131+1 x24-0=53 3.88/3.98 c 16 ~x133958+8 ~x133957+4 ~x133956+2 ~x133955+1 ~x133954+13 x464+6 x291+7 x268+17 x147+10 x105-0=61 3.88/3.98 c 16 ~x134211+8 ~x134210+4 ~x134209+2 ~x134208+1 ~x134207+1 x443+8 x401+16 x351+18 x327+5 x241+14 x188+3 x182+2 x180+4 x142+18 x89+13 x64-0=61 3.88/3.98 c 16 ~x134833+8 ~x134832+4 ~x134831+2 ~x134830+1 ~x134829+7 x472+4 x345+8 x340+17 x331+15 x307+17 x295+5 x39+8 x27+19 x11+16 x3-0=61 3.98/4.01 c 16 ~x135404+8 ~x135403+4 ~x135402+2 ~x135401+1 ~x135400+8 x263+13 x188+8 x48-0=60 3.98/4.01 c 16 ~x135579+8 ~x135578+4 ~x135577+2 ~x135576+1 ~x135575+4 x473+9 x433+15 x430+2 x296+15 x285+1 x255+1 x239+13 x170+9 x160+2 x148+11 x142+15 x87+7 x5-0=61 3.98/4.03 c 8 ~x136284+4 ~x136283+2 ~x136282+1 ~x136281+2 x358+8 x243+8 x201+2 x125+1 x44-0=30 3.98/4.03 c 16 ~x136519+8 ~x136518+4 ~x136517+2 ~x136516+1 ~x136515+5 x402+16 x392+10 x242+14 x239+2 x230+19 x226+1 x210+10 x184+10 x120+3 x94+1 x73+7 x68+14 x36-0=61 3.98/4.06 c 16 ~x137207+8 ~x137206+4 ~x137205+2 ~x137204+1 ~x137203+15 x411+11 x358+12 x348+11 x239+18 x54+10 x53-0=61 3.98/4.06 c 16 ~x137553+8 ~x137552+4 ~x137551+2 ~x137550+1 ~x137549+17 x275+2 x197+3 x152+1 x149+10 x46-0=61 3.98/4.08 c 16 ~x137824+8 ~x137823+4 ~x137822+2 ~x137821+1 ~x137820+10 x403+12 x393+9 x338+16 x208+2 x172+5 x75-0=61 3.98/4.08 c 16 ~x138125+8 ~x138124+4 ~x138123+2 ~x138122+1 ~x138121+5 x440+6 x396+18 x305+14 x296+15 x291+19 x266+15 x222+1 x138+16 x124+4 x112-0=61 4.09/4.11 c 16 ~x138693+8 ~x138692+4 ~x138691+2 ~x138690+1 ~x138689+15 x357+6 x332+4 x282+5 x233+7 x203+6 x124+15 x123+7 x122+11 x87+10 x9-0=61 4.09/4.11 c 16 ~x139237+8 ~x139236+4 ~x139235+2 ~x139234+1 ~x139233+14 x472+8 x413+17 x344+16 x329+14 x262+1 x210+12 x196+17 x19-0=61 4.09/4.14 c 16 ~x139712+8 ~x139711+4 ~x139710+2 ~x139709+1 ~x139708+16 x444+16 x382+15 x331+8 x258+3 x241+3 x227+17 x104+1 x95+16 x90+1 x51+1 x46+18 x17-0=61 4.09/4.14 c 16 ~x140385+8 ~x140384+4 ~x140383+2 ~x140382+1 ~x140381+16 x459+1 x449+8 x396+4 x297+7 x243+9 x74+2 x63+1 x47-0=61 4.09/4.16 c 16 ~x140803+8 ~x140802+4 ~x140801+2 ~x140800+1 ~x140799+7 x297+6 x281+11 x223+1 x105+7 x45+6 x41+19 x11-0=61 4.09/4.16 c 16 ~x141161+8 ~x141160+4 ~x141159+2 ~x141158+1 ~x141157+1 x453+9 x360+1 x305+9 x303+3 x249+10 x222+1 x183+18 x173+9 x161+2 x129+5 x52+18 x7-0=61 4.09/4.19 c 16 ~x141816+8 ~x141815+4 ~x141814+2 ~x141813+1 ~x141812+18 x311+5 x241+14 x217+6 x169+3 x97-0=61 4.09/4.19 c 16 ~x142084+8 ~x142083+4 ~x142082+2 ~x142081+1 ~x142080+12 x472+12 x407+1 x338+13 x337+11 x262+2 x219+16 x138+17 x133+5 x23+7 x2-0=61 4.18/4.22 c 16 ~x142628+8 ~x142627+4 ~x142626+2 ~x142625+1 ~x142624+7 x376+16 x322+16 x281+9 x280+3 x261+13 x143-0=61 4.18/4.22 c 16 ~x142953+8 ~x142952+4 ~x142951+2 ~x142950+1 ~x142949+7 x463+8 x425+8 x301+9 x262+10 x171+11 x41-0=61 4.18/4.22 c 16 ~x143269+8 ~x143268+4 ~x143267+2 ~x143266+1 ~x143265+16 x444+7 x420+8 x364+15 x323+17 x312+1 x157+8 x122-0=55 4.18/4.24 c 16 ~x143642+8 ~x143641+4 ~x143640+2 ~x143639+1 ~x143638+19 x392+15 x366+6 x321-0=55 4.18/4.24 c 16 ~x143802+8 ~x143801+4 ~x143800+2 ~x143799+1 ~x143798+14 x388+17 x296+18 x178+8 x148+7 x71+3 x66+18 x23-0=61 4.18/4.26 c 16 ~x144187+8 ~x144186+4 ~x144185+2 ~x144184+1 ~x144183+13 x474+15 x423+3 x403+11 x352+9 x342+17 x252+12 x12-0=61 4.18/4.26 c 16 ~x144596+8 ~x144595+4 ~x144594+2 ~x144593+1 ~x144592+3 x444+18 x242+7 x217+1 x168+17 x24-0=61 4.18/4.28 c 16 ~x144867+8 ~x144866+4 ~x144865+2 ~x144864+1 ~x144863+4 x475+3 x467+14 x463+3 x437+4 x249+8 x247+16 x85+6 x54+9 x19-0=61 4.18/4.28 c 16 ~x145315+8 ~x145314+4 ~x145313+2 ~x145312+1 ~x145311+17 x396+13 x328+9 x140-0=61 4.18/4.28 c 16 ~x145508+8 ~x145507+4 ~x145506+2 ~x145505+1 ~x145504+18 x441+15 x414+1 x372+13 x370+1 x328+9 x319+15 x121-0=61 4.29/4.30 c 16 ~x145851+8 ~x145850+4 ~x145849+2 ~x145848+1 ~x145847+18 x440+17 x301+15 x225+18 x188+11 x130+14 x40-0=61 4.29/4.30 c 16 ~x146194+8 ~x146193+4 ~x146192+2 ~x146191+1 ~x146190+8 x312+15 x249+19 x203+9 x155+2 x8-0=61 4.29/4.33 c 16 ~x146468+8 ~x146467+4 ~x146466+2 ~x146465+1 ~x146464+1 x472+7 x395+19 x388+5 x372+17 x363+12 x265+7 x238+11 x198+11 x197+14 x193+5 x166+12 x38+17 x26-0=61 4.29/4.33 c 16 ~x147180+8 ~x147179+4 ~x147178+2 ~x147177+1 ~x147176+18 x468+13 x441+9 x334+1 x260+1 x116+10 x63+3 x28-0=61 4.29/4.35 c 16 ~x147535+8 ~x147534+4 ~x147533+2 ~x147532+1 ~x147531+11 x358+17 x346+2 x266+1 x175+14 x111+19 x70+17 x4-0=61 4.29/4.35 c 16 ~x147956+8 ~x147955+4 ~x147954+2 ~x147953+1 ~x147952+2 x454+10 x431+8 x420+14 x418+3 x358+17 x322+13 x300+7 x170+1 x169+17 x150+5 x107+3 x61+14 x45-0=61 4.29/4.38 c 16 ~x148662+8 ~x148661+4 ~x148660+2 ~x148659+1 ~x148658+16 x412+12 x408+12 x390+4 x312+6 x227+14 x219+1 x189+15 x33-0=61 4.29/4.38 c 16 ~x149095+8 ~x149094+4 ~x149093+2 ~x149092+1 ~x149091+17 x343+17 x262+10 x255+10 x164-0=61 4.39/4.41 c 16 ~x149294+8 ~x149293+4 ~x149292+2 ~x149291+1 ~x149290+4 x377+16 x364+7 x80+15 x61+13 x21-0=61 4.39/4.41 c 8 ~x149546+4 ~x149545+2 ~x149544+1 ~x149543+2 x415+4 x288+2 x208+6 x164+7 x124+10 x51-0=27 4.39/4.41 c 16 ~x149808+8 ~x149807+4 ~x149806+2 ~x149805+1 ~x149804+12 x476+17 x473+6 x467+12 x387+12 x376+11 x366+11 x284+10 x240-0=55 4.39/4.44 c 16 ~x150259+8 ~x150258+4 ~x150257+2 ~x150256+1 ~x150255+1 x416+9 x394+12 x389+12 x272+2 x180+13 x159+14 x114+4 x52+8 x42+4 x40+5 x36+17 x16+1 x6-0=61 4.39/4.44 c 16 ~x150992+8 ~x150991+4 ~x150990+2 ~x150989+1 ~x150988+1 x438+16 x363+16 x311+8 x223+8 x150+19 x55-0=61 4.39/4.46 c 16 ~x151320+8 ~x151319+4 ~x151318+2 ~x151317+1 ~x151316+2 x459+11 x407+11 x334+5 x265+1 x258+3 x174+19 x125+18 x10-0=61 4.39/4.46 c 16 ~x151732+8 ~x151731+4 ~x151730+2 ~x151729+1 ~x151728+7 x475+11 x464+11 x458+18 x171+4 x135+4 x128+6 x81+11 x73-0=61 4.39/4.48 c 16 ~x152138+8 ~x152137+4 ~x152136+2 ~x152135+1 ~x152134+10 x461+18 x459+17 x401+1 x231+13 x141-0=61 4.39/4.48 c 16 ~x152421+8 ~x152420+4 ~x152419+2 ~x152418+1 ~x152417+14 x465+1 x441+9 x410+16 x279+7 x263+1 x197+8 x90+5 x15-0=61 4.49/4.50 c 16 ~x152821+8 ~x152820+4 ~x152819+2 ~x152818+1 ~x152817+5 x436+19 x385+15 x260+14 x168+10 x166+3 x138+1 x61-0=61 4.49/4.50 c 16 ~x153182+8 ~x153181+4 ~x153180+2 ~x153179+1 ~x153178+18 x452+17 x413+5 x369+15 x321+4 x293+16 x286+11 x233+16 x185+9 x74+15 x65-0=60 4.49/4.53 c 16 ~x153732+8 ~x153731+4 ~x153730+2 ~x153729+1 ~x153728+18 x477+1 x407+3 x344+11 x343+11 x317+4 x315+1 x242+5 x229+9 x206+19 x196+8 x185+7 x182+2 x161+15 x30-0=61 4.49/4.53 c 16 ~x154480+8 ~x154479+4 ~x154478+2 ~x154477+1 ~x154476+13 x442+2 x302+13 x288+12 x25-0=49 4.49/4.55 c 16 ~x154709+8 ~x154708+4 ~x154707+2 ~x154706+1 ~x154705+18 x462+2 x401+6 x380+9 x326+13 x287+14 x269+1 x9-0=61 4.49/4.55 c 16 ~x155058+8 ~x155057+4 ~x155056+2 ~x155055+1 ~x155054+9 x473+8 x446+6 x403+19 x399+13 x381+1 x369+16 x222+2 x212+17 x82+15 x62-0=61 4.49/4.58 c 16 ~x155620+8 ~x155619+4 ~x155618+2 ~x155617+1 ~x155616+10 x473+4 x270+14 x257+7 x249+12 x211+13 x207+10 x81+9 x53+18 x36+15 x2-0=61 4.49/4.58 c 16 ~x156170+8 ~x156169+4 ~x156168+2 ~x156167+1 ~x156166+3 x426+17 x395+4 x380+16 x351+17 x341+1 x250+15 x224+1 x170+3 x146+3 x132+16 x120+13 x108+9 x66+17 x34-0=61 4.58/4.61 c 16 ~x156954+8 ~x156953+4 ~x156952+2 ~x156951+1 ~x156950+16 x347+8 x331+5 x301+7 x53+12 x28+10 x6-0=61 4.58/4.61 c 16 ~x157246+8 ~x157245+4 ~x157244+2 ~x157243+1 ~x157242+10 x480+9 x454+13 x305+7 x250+9 x10+2 x9-0=61 4.58/4.63 c 16 ~x157559+8 ~x157558+4 ~x157557+2 ~x157556+1 ~x157555+12 x459+11 x349+15 x332+1 x287+13 x243+11 x192+6 x186+14 x154+1 x34+14 x21-0=61 4.58/4.63 c 16 ~x158094+8 ~x158093+4 ~x158092+2 ~x158091+1 ~x158090+15 x398+4 x384+17 x235+10 x174+15 x105+1 x58-0=61 4.58/4.66 c 16 ~x158401+8 ~x158400+4 ~x158399+2 ~x158398+1 ~x158397+4 x451+2 x395+6 x230+10 x223+6 x166+11 x35-0=61 4.58/4.66 c 16 ~x158714+8 ~x158713+4 ~x158712+2 ~x158711+1 ~x158710+1 x361+5 x357+18 x295+10 x201+5 x94-0=61 4.58/4.66 c 16 ~x158967+8 ~x158966+4 ~x158965+2 ~x158964+1 ~x158963+13 x473+6 x429+2 x387+13 x338+11 x274+7 x260+16 x256+16 x104+13 x67-0=61 4.58/4.69 c 16 ~x159493+8 ~x159492+4 ~x159491+2 ~x159490+1 ~x159489+10 x445+17 x421+6 x405+2 x273+15 x228+1 x145+4 x99+13 x55-0=61 4.58/4.69 c 16 ~x159914+8 ~x159913+4 ~x159912+2 ~x159911+1 ~x159910+17 x386+5 x341+1 x338+11 x309+19 x270+1 x192+18 x169+1 x83+7 x13+10 x6-0=61 4.68/4.71 c 16 ~x160461+8 ~x160460+4 ~x160459+2 ~x160458+1 ~x160457+9 x439+6 x392+15 x280+8 x249+9 x246+6 x28-0=61 4.68/4.71 c 16 ~x160762+8 ~x160761+4 ~x160760+2 ~x160759+1 ~x160758+3 x458+6 x412+1 x396+16 x392+17 x33-0=61 4.68/4.73 c 16 ~x161051+8 ~x161050+4 ~x161049+2 ~x161048+1 ~x161047+17 x269+8 x245+9 x189+1 x50+7 x5-0=61 4.68/4.73 c 16 ~x161316+8 ~x161315+4 ~x161314+2 ~x161313+1 ~x161312+17 x424+13 x422+12 x349+7 x329+14 x289+11 x281+16 x106+1 x58+19 x15-0=61 4.68/4.76 c 16 ~x161839+8 ~x161838+4 ~x161837+2 ~x161836+1 ~x161835+12 x478+12 x457+4 x405+4 x347+10 x251+12 x199+12 x162+8 x155+1 x31+12 x26+2 x7-0=61 4.68/4.76 c 16 ~x162455+8 ~x162454+4 ~x162453+2 ~x162452+1 ~x162451+5 x271+9 x233+2 x224+9 x202+14 x163+1 x147+17 x95+17 x87+16 x80-0=61 4.68/4.78 c 16 ~x162981+8 ~x162980+4 ~x162979+2 ~x162978+1 ~x162977+4 x469+7 x435+16 x409+4 x199+16 x129+12 x68+18 x2-0=61 4.68/4.78 c 16 ~x163375+8 ~x163374+4 ~x163373+2 ~x163372+1 ~x163371+9 x394+4 x363+6 x360+8 x243+3 x235+16 x234+10 x187+9 x98+15 x14-0=61 4.78/4.81 c 16 ~x163871+8 ~x163870+4 ~x163869+2 ~x163868+1 ~x163867+5 x382+13 x361+19 x265+9 x229+14 x129+8 x71+8 x57-0=61 4.78/4.81 c 16 ~x164268+8 ~x164267+4 ~x164266+2 ~x164265+1 ~x164264+6 x414+5 x388+5 x381+16 x323+15 x248+12 x229+8 x153+16 x150+14 x133+4 x119+6 x88+10 x57+8 x14-0=61 4.78/4.85 c 16 ~x164968+8 ~x164967+4 ~x164966+2 ~x164965+1 ~x164964+6 x441+16 x420+13 x289+2 x145+10 x137+6 x37-0=61 4.78/4.85 c 16 ~x165287+8 ~x165286+4 ~x165285+2 ~x165284+1 ~x165283+17 x472+17 x445+4 x367+13 x231+10 x215+14 x196+6 x116+19 x54-0=61 4.78/4.87 c 16 ~x165747+8 ~x165746+4 ~x165745+2 ~x165744+1 ~x165743+1 x443+5 x400+17 x397+19 x356+15 x295+17 x226+2 x220+19 x18+4 x15-0=59 4.78/4.87 c 16 ~x166267+8 ~x166266+4 ~x166265+2 ~x166264+1 ~x166263+17 x372+19 x293+14 x246-0=61 4.78/4.87 c 16 ~x166445+8 ~x166444+4 ~x166443+2 ~x166442+1 ~x166441+9 x441+15 x414+2 x370+12 x349+19 x210+1 x175+11 x159+6 x149+10 x107-0=61 4.88/4.90 c 16 ~x166944+8 ~x166943+4 ~x166942+2 ~x166941+1 ~x166940+9 x453+15 x444+4 x424+5 x382+19 x341+14 x333+18 x274+4 x208+10 x199+19 x186+13 x83+17 x20-0=61 4.88/4.90 c 16 ~x167626+8 ~x167625+4 ~x167624+2 ~x167623+1 ~x167622+12 x350+4 x306+6 x276+11 x68-0=61 4.88/4.91 c 16 ~x167855+8 ~x167854+4 ~x167853+2 ~x167852+1 ~x167851+8 x468+12 x345+10 x193+11 x159-0=61 4.88/4.91 c 16 ~x168084+8 ~x168083+4 ~x168082+2 ~x168081+1 ~x168080+14 x433+15 x259+4 x224+3 x216+16 x207+6 x195+18 x191+17 x76-0=61 4.88/4.94 c 16 ~x168547+8 ~x168546+4 ~x168545+2 ~x168544+1 ~x168543+16 x374+6 x373+19 x332+16 x316+3 x299+5 x260+1 x77+18 x69+10 x37+2 x33-0=61 4.88/4.94 c 16 ~x169106+8 ~x169105+4 ~x169104+2 ~x169103+1 ~x169102+15 x397+12 x319+1 x170+16 x157+7 x52-0=61 4.88/4.97 c 16 ~x169374+8 ~x169373+4 ~x169372+2 ~x169371+1 ~x169370+1 x450+17 x431+18 x395+9 x380+9 x350+19 x278+13 x261+4 x232+2 x225+12 x111+16 x99+8 x93+16 x10+17 x2-0=61 4.88/4.97 c 16 ~x170161+8 ~x170160+4 ~x170159+2 ~x170158+1 ~x170157+18 x394+2 x368+17 x363+7 x341+5 x249+2 x234+19 x186+11 x34+12 x26+8 x15+12 x10-0=61 4.98/5.00 c 16 ~x170768+8 ~x170767+4 ~x170766+2 ~x170765+1 ~x170764+12 x465+12 x421+1 x374+17 x337+8 x324+6 x320+14 x283+11 x133-0=61 4.98/5.00 c 16 ~x171225+8 ~x171224+4 ~x171223+2 ~x171222+1 ~x171221+12 x461+3 x458+6 x425+15 x424+15 x393+17 x385+5 x298+18 x282+1 x242+10 x219+19 x14-0=61 4.98/5.03 c 16 ~x171847+8 ~x171846+4 ~x171845+2 ~x171844+1 ~x171843+12 x475+14 x420+15 x367+7 x155+6 x122+9 x77+3 x30-0=61 4.98/5.03 c 16 ~x172205+8 ~x172204+4 ~x172203+2 ~x172202+1 ~x172201+19 x361+2 x309+1 x160+9 x137+1 x102+3 x27-0=61 4.98/5.05 c 16 ~x172530+8 ~x172529+4 ~x172528+2 ~x172527+1 ~x172526+7 x454+5 x385+14 x284+15 x200+7 x120+15 x96+5 x93+13 x39-0=61 4.98/5.05 c 16 ~x172966+8 ~x172965+4 ~x172964+2 ~x172963+1 ~x172962+2 x360+17 x354+8 x311+12 x245+11 x172+18 x156+14 x116+1 x45-0=57 4.98/5.08 c 16 ~x173423+8 ~x173422+4 ~x173421+2 ~x173420+1 ~x173419+3 x465+9 x433+6 x425+2 x404+5 x316+18 x287+7 x262+5 x192+15 x180+6 x176+8 x158+13 x145+14 x124+1 x117+3 x116+9 x77+13 x44-0=61 4.98/5.08 c 16 ~x174357+8 ~x174356+4 ~x174355+2 ~x174354+1 ~x174353+3 x424+6 x361+3 x334+10 x319+2 x248+2 x226+12 x202+12 x37-0=54 5.08/5.10 c 16 ~x174745+8 ~x174744+4 ~x174743+2 ~x174742+1 ~x174741+14 x451+2 x402+17 x236+6 x94+19 x83-0=61 5.08/5.10 c 16 ~x175028+8 ~x175027+4 ~x175026+2 ~x175025+1 ~x175024+4 x377+6 x371+13 x283+14 x167+1 x117+13 x53+2 x45-0=61 5.08/5.13 c 16 ~x175389+8 ~x175388+4 ~x175387+2 ~x175386+1 ~x175385+18 x304+12 x302+13 x246+14 x224+19 x120+8 x94+6 x28-0=58 5.08/5.13 c 16 ~x175789+8 ~x175788+4 ~x175787+2 ~x175786+1 ~x175785+3 x481+6 x437+8 x414+1 x358+11 x352+12 x328+17 x269+4 x130+11 x43-0=61 5.08/5.16 c 16 ~x176243+8 ~x176242+4 ~x176241+2 ~x176240+1 ~x176239+4 x450+12 x345+8 x105+7 x4-0=61 5.08/5.16 c 16 ~x176463+8 ~x176462+4 ~x176461+2 ~x176460+1 ~x176459+10 x465+16 x379+12 x285+9 x218+4 x183+12 x156+5 x146+14 x57-0=61 5.08/5.16 c 16 ~x176902+8 ~x176901+4 ~x176900+2 ~x176899+1 ~x176898+16 x416+9 x355+18 x216+17 x168+6 x73-0=56 5.08/5.18 c 16 ~x177173+8 ~x177172+4 ~x177171+2 ~x177170+1 ~x177169+12 x450+15 x317+16 x182+4 x177+19 x96+6 x85+17 x12-0=61 5.08/5.18 c 16 ~x177600+8 ~x177599+4 ~x177598+2 ~x177597+1 ~x177596+10 x468+13 x458+6 x374+16 x345+10 x299+3 x272+10 x200+16 x196+6 x182+4 x111+3 x105+3 x45-0=61 5.19/5.21 c 16 ~x178252+8 ~x178251+4 ~x178250+2 ~x178249+1 ~x178248+7 x470+3 x457+17 x357+8 x322+14 x309+5 x294+14 x283+1 x230+1 x89+16 x68+2 x12+12 x9-0=61 5.19/5.21 c 16 ~x178907+8 ~x178906+4 ~x178905+2 ~x178904+1 ~x178903+6 x464+1 x452+8 x407+15 x387+6 x382+15 x338+3 x142+18 x137+8 x136+15 x66+12 x39-0=61 5.19/5.24 c 16 ~x179490+8 ~x179489+4 ~x179488+2 ~x179487+1 ~x179486+1 x435+15 x429+2 x348+7 x288+10 x175+19 x142+2 x113+19 x82+11 x59-0=58 5.19/5.26 c 16 ~x180010+8 ~x180009+4 ~x180008+2 ~x180007+1 ~x180006+16 x410+1 x350+6 x245+4 x147+8 x144+17 x112-0=61 5.19/5.26 c 16 ~x180335+8 ~x180334+4 ~x180333+2 ~x180332+1 ~x180331+19 x441+18 x276+19 x272+15 x260+14 x117+9 x19-0=57 5.19/5.26 c 16 ~x180675+8 ~x180674+4 ~x180673+2 ~x180672+1 ~x180671+7 x433+14 x344+17 x303+11 x285+14 x243+5 x167+6 x124+19 x98+13 x55+16 x14-0=61 5.19/5.29 c 16 ~x181252+8 ~x181251+4 ~x181250+2 ~x181249+1 ~x181248+16 x296+12 x260+11 x255+1 x222+8 x202+7 x134+2 x61+19 x32-0=61 5.19/5.29 c 16 ~x181715+8 ~x181714+4 ~x181713+2 ~x181712+1 ~x181711+14 x398+16 x383+8 x344+7 x331+9 x306+2 x275+18 x213+16 x211+7 x110-0=61 5.28/5.31 c 16 ~x182217+8 ~x182216+4 ~x182215+2 ~x182214+1 ~x182213+19 x481+18 x469+1 x436+12 x396+17 x371+11 x285+5 x201+4 x170+4 x14-0=61 5.28/5.31 c 16 ~x182725+8 ~x182724+4 ~x182723+2 ~x182722+1 ~x182721+13 x376+7 x302+19 x289+9 x185+1 x119+6 x102+5 x43+9 x27+5 x12-0=61 5.28/5.34 c 16 ~x183215+8 ~x183214+4 ~x183213+2 ~x183212+1 ~x183211+15 x334+9 x185+10 x146+5 x117+11 x68+1 x44+3 x14-0=61 5.28/5.34 c 16 ~x183582+8 ~x183581+4 ~x183580+2 ~x183579+1 ~x183578+11 x455+3 x403+15 x397+4 x388+17 x376+16 x305+19 x199+3 x66-0=61 5.28/5.37 c 16 ~x184051+8 ~x184050+4 ~x184049+2 ~x184048+1 ~x184047+3 x482+5 x466+6 x402+6 x397+8 x330+8 x293+12 x147+5 x136+18 x72+4 x16-0=59 5.28/5.37 c 16 ~x184616+8 ~x184615+4 ~x184614+2 ~x184613+1 ~x184612+19 x466+18 x437+3 x363+4 x307+5 x298+6 x258+6 x105+17 x50+7 x33+8 x21-0=61 5.28/5.39 c 16 ~x185172+8 ~x185171+4 ~x185170+2 ~x185169+1 ~x185168+16 x438+1 x428+10 x291+3 x239+14 x152+17 x141+16 x101+14 x92+8 x76+4 x40-0=61 5.28/5.39 c 16 ~x185734+8 ~x185733+4 ~x185732+2 ~x185731+1 ~x185730+1 x427+4 x297+4 x198+15 x142+6 x133+14 x108-0=61 5.39/5.41 c 16 ~x186026+8 ~x186025+4 ~x186024+2 ~x186023+1 ~x186022+15 x415+6 x370+11 x282+16 x253+4 x232+17 x114+4 x33-0=61 5.39/5.41 c 16 ~x186393+8 ~x186392+4 ~x186391+2 ~x186390+1 ~x186389+9 x480+16 x459+15 x314+9 x76+11 x14-0=51 5.39/5.44 c 16 ~x186664+8 ~x186663+4 ~x186662+2 ~x186661+1 ~x186660+11 x447+17 x394+10 x344+1 x222+12 x178+1 x118+7 x111+2 x92+12 x82+13 x49+17 x47-0=61 5.39/5.44 c 16 ~x187292+8 ~x187291+4 ~x187290+2 ~x187289+1 ~x187288+15 x456+16 x293-0=61 5.39/5.44 c 16 ~x187425+8 ~x187424+4 ~x187423+2 ~x187422+1 ~x187421+9 x450+7 x418+9 x402+14 x391+9 x314+2 x269+14 x265+10 x107-0=61 5.39/5.47 c 16 ~x187852+8 ~x187851+4 ~x187850+2 ~x187849+1 ~x187848+6 x448+13 x293+3 x248+6 x229+8 x99+14 x55+16 x49+1 x32-0=61 5.39/5.47 c 16 ~x188252+8 ~x188251+4 ~x188250+2 ~x188249+1 ~x188248+15 x478+1 x415+7 x379+5 x245+13 x203+6 x89+13 x85+7 x19-0=61 5.39/5.49 c 16 ~x188637+8 ~x188636+4 ~x188635+2 ~x188634+1 ~x188633+1 x421+5 x356+2 x267+19 x88+2 x79+5 x57+4 x31-0=61 5.39/5.49 c 16 ~x188998+8 ~x188997+4 ~x188996+2 ~x188995+1 ~x188994+18 x426+6 x407+3 x336+14 x76+13 x61+8 x30-0=61 5.49/5.51 c 16 ~x189311+8 ~x189310+4 ~x189309+2 ~x189308+1 ~x189307+5 x465+11 x463+16 x427+1 x351+7 x301+16 x163+5 x100+5 x91+18 x23+7 x12-0=61 5.49/5.51 c 16 ~x189846+8 ~x189845+4 ~x189844+2 ~x189843+1 ~x189842+14 x470+9 x373+9 x308+2 x135+14 x15-0=61 5.49/5.53 c 16 ~x190096+8 ~x190095+4 ~x190094+2 ~x190093+1 ~x190092+18 x339+5 x320+4 x282+5 x220+11 x100+5 x60-0=61 5.49/5.53 c 16 ~x190394+8 ~x190393+4 ~x190392+2 ~x190391+1 ~x190390+19 x481+19 x417+9 x387+6 x383+1 x355+13 x342+18 x338+10 x303+15 x136+4 x116+19 x95+13 x26-0=61 5.49/5.56 c 16 ~x191079+8 ~x191078+4 ~x191077+2 ~x191076+1 ~x191075+7 x451+13 x359+13 x282+11 x242+1 x233+19 x125+11 x109+1 x59+14 x26+16 x14-0=61 5.49/5.56 c 16 ~x191635+8 ~x191634+4 ~x191633+2 ~x191632+1 ~x191631+1 x385+1 x311+16 x287+12 x208+12 x149+6 x92+3 x8-0=61 5.49/5.59 c 16 ~x191990+8 ~x191989+4 ~x191988+2 ~x191987+1 ~x191986+15 x388+3 x335+16 x331+16 x323+9 x292+9 x216+14 x174+1 x151+10 x146+3 x134+5 x115+4 x76+16 x69+15 x52+6 x8-0=61 5.49/5.59 c 16 ~x192786+8 ~x192785+4 ~x192784+2 ~x192783+1 ~x192782+17 x384+10 x371+6 x296+6 x280+6 x248+3 x242+15 x199+15 x164+7 x80+4 x33-0=54 5.58/5.62 c 16 ~x193342+8 ~x193341+4 ~x193340+2 ~x193339+1 ~x193338+8 x361+14 x303+15 x295+14 x271+12 x174+12 x120+9 x112+1 x101+1 x32+9 x8-0=60 5.58/5.62 c 16 ~x193907+8 ~x193906+4 ~x193905+2 ~x193904+1 ~x193903+11 x431+1 x270+5 x201+7 x191+8 x159+16 x78-0=61 5.58/5.64 c 16 ~x194229+8 ~x194228+4 ~x194227+2 ~x194226+1 ~x194225+2 x456+6 x434+17 x276+2 x226+16 x65+8 x26+12 x17+18 x6-0=61 5.58/5.64 c 16 ~x194677+8 ~x194676+4 ~x194675+2 ~x194674+1 ~x194673+1 x324+7 x272+9 x265+14 x259+5 x250+12 x176+7 x170+6 x126+6 x113+19 x96+5 x18-0=61 5.58/5.68 c 16 ~x195287+8 ~x195286+4 ~x195285+2 ~x195284+1 ~x195283+9 x433+12 x411+4 x408+1 x394+1 x220+12 x198+10 x147+16 x139+18 x61+12 x58+19 x51-0=60 5.58/5.68 c 16 ~x195903+8 ~x195902+4 ~x195901+2 ~x195900+1 ~x195899+7 x442+14 x404+4 x368+9 x282+13 x274+12 x236+9 x48-0=61 5.69/5.70 c 16 ~x196261+8 ~x196260+4 ~x196259+2 ~x196258+1 ~x196257+2 x478+1 x414+18 x357+1 x175+14 x139+5 x109+1 x85+10 x21+12 x14+15 x9-0=61 5.69/5.70 c 16 ~x196808+8 ~x196807+4 ~x196806+2 ~x196805+1 ~x196804+9 x388+1 x326+8 x265+6 x247+1 x100+14 x80+17 x22-0=61 5.69/5.72 c 16 ~x197169+8 ~x197168+4 ~x197167+2 ~x197166+1 ~x197165+7 x400+9 x365+2 x344+18 x187+16 x101+7 x17-0=61 5.69/5.72 c 16 ~x197473+8 ~x197472+4 ~x197471+2 ~x197470+1 ~x197469+11 x424+2 x247+2 x191+12 x164+12 x113+5 x51-0=61 5.69/5.75 c 16 ~x197762+8 ~x197761+4 ~x197760+2 ~x197759+1 ~x197758+2 x448+15 x432+7 x300+12 x297+3 x285+4 x251+9 x166+2 x156+2 x125+6 x53-0=61 5.69/5.75 c 16 ~x198267+8 ~x198266+4 ~x198265+2 ~x198264+1 ~x198263+3 x413+12 x377+3 x104+13 x97+7 x48+17 x35-0=61 5.69/5.75 c 16 ~x198574+8 ~x198573+4 ~x198572+2 ~x198571+1 ~x198570+11 x482+19 x471+13 x467+14 x460+13 x412+3 x397+3 x374+11 x353+12 x273+11 x251+5 x165+19 x29-0=60 5.69/5.77 c 16 ~x199235+8 ~x199234+4 ~x199233+2 ~x199232+1 ~x199231+16 x430+12 x366+18 x354+2 x352+16 x324+5 x297+1 x209+19 x139+6 x131+4 x79-0=61 5.79/5.80 c 16 ~x199803+8 ~x199802+4 ~x199801+2 ~x199800+1 ~x199799+14 x458+5 x282+14 x144+18 x50-0=61 5.79/5.80 c 16 ~x200014+8 ~x200013+4 ~x200012+2 ~x200011+1 ~x200010+12 x397+10 x354+18 x186+1 x120+1 x108-0=61 5.79/5.80 c 16 ~x200294+8 ~x200293+4 ~x200292+2 ~x200291+1 ~x200290+18 x360+11 x285+17 x254+10 x210+4 x114+10 x70+6 x50+8 x4-0=61 5.79/5.82 c 16 ~x200748+8 ~x200747+4 ~x200746+2 ~x200745+1 ~x200744+11 x438+14 x336+7 x330+1 x205+8 x115-0=61 5.79/5.82 c 16 ~x201007+8 ~x201006+4 ~x201005+2 ~x201004+1 ~x201003+6 x414+11 x353+13 x310+10 x267+1 x225+19 x182+12 x174+3 x148+18 x126+7 x91+1 x89+14 x85-0=57 5.79/5.85 c 16 ~x201647+8 ~x201646+4 ~x201645+2 ~x201644+1 ~x201643+5 x438+10 x409+3 x402+12 x396+14 x355+3 x289+13 x215+3 x181+6 x180+8 x175+9 x124+19 x49+1 x5-0=61 5.79/5.85 c 16 ~x202374+8 ~x202373+4 ~x202372+2 ~x202371+1 ~x202370+19 x426+5 x425+11 x161+6 x144+15 x85+6 x2-0=60 5.79/5.88 c 16 ~x202660+8 ~x202659+4 ~x202658+2 ~x202657+1 ~x202656+13 x458+6 x349+3 x336+2 x269+18 x257+18 x217+13 x192+15 x151+7 x73-0=61 5.79/5.88 c 16 ~x203150+8 ~x203149+4 ~x203148+2 ~x203147+1 ~x203146+10 x412+8 x390+18 x342+11 x299+12 x251+2 x215+14 x103+10 x42+16 x17-0=61 5.89/5.90 c 16 ~x203637+8 ~x203636+4 ~x203635+2 ~x203634+1 ~x203633+18 x421+4 x379+1 x299+19 x21-0=61 5.89/5.90 c 16 ~x203875+8 ~x203874+4 ~x203873+2 ~x203872+1 ~x203871+14 x439+7 x413+10 x229+13 x191+12 x189-0=61 5.89/5.91 c 16 ~x204146+8 ~x204145+4 ~x204144+2 ~x204143+1 ~x204142+19 x458+7 x188+9 x165+2 x48+16 x40-0=61 5.89/5.91 c 16 ~x204408+8 ~x204407+4 ~x204406+2 ~x204405+1 ~x204404+17 x384+1 x341+12 x328+14 x322+7 x312+19 x191+1 x176+14 x149+13 x146-0=61 5.89/5.95 c 16 ~x204904+8 ~x204903+4 ~x204902+2 ~x204901+1 ~x204900+13 x370+10 x362+9 x361+17 x349+4 x314+12 x144+2 x125+8 x75-0=61 5.89/5.95 c 16 ~x205364+8 ~x205363+4 ~x205362+2 ~x205361+1 ~x205360+13 x334+8 x272+19 x231+1 x201+11 x151+5 x26-0=61 5.89/5.95 c 16 ~x205680+8 ~x205679+4 ~x205678+2 ~x205677+1 ~x205676+12 x398+7 x353+4 x336+15 x212+3 x138+18 x79+17 x74-0=61 5.89/5.97 c 16 ~x206077+8 ~x206076+4 ~x206075+2 ~x206074+1 ~x206073+12 x349+15 x293+3 x168+4 x93+16 x78+4 x66+2 x65+2 x44+4 x27-0=61 5.89/5.97 c 16 ~x206540+8 ~x206539+4 ~x206538+2 ~x206537+1 ~x206536+18 x358+11 x308+13 x177+5 x169-0=60 5.89/5.99 c 16 ~x206772+8 ~x206771+4 ~x206770+2 ~x206769+1 ~x206768+2 x479+2 x452+15 x435+12 x377+15 x246+17 x230+12 x213+5 x52-0=60 5.89/5.99 c 16 ~x207214+8 ~x207213+4 ~x207212+2 ~x207211+1 ~x207210+2 x478+12 x243+7 x179+13 x108-0=61 5.98/6.02 c 16 ~x207434+8 ~x207433+4 ~x207432+2 ~x207431+1 ~x207430+9 x430+10 x365+7 x245+16 x240+6 x215+19 x200+14 x81+8 x66-0=61 5.98/6.02 c 16 ~x207888+8 ~x207887+4 ~x207886+2 ~x207885+1 ~x207884+19 x441+19 x421+3 x407+17 x219+7 x214+5 x89-0=61 5.98/6.02 c 16 ~x208186+8
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2674053-1276793478/watcher-2674053-1276793478 -o /tmp/evaluation-result-2674053-1276793478/solver-2674053-1276793478 -C 1800 -W 2000 -M 1800 run HOME/instance-2674053-1276793478.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/106 13945 /proc/meminfo: memFree=1588084/2059040 swapFree=4140244/4192956 [pid=13945] ppid=13943 vsize=8700 CPUtime=0 /proc/13945/stat : 13945 (run) S 13943 13945 13504 0 -1 4202496 390 134 0 0 0 0 0 0 24 0 1 0 54951737 8908800 251 1992294400 4194304 4922060 140736181952816 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/13945/statm: 2175 251 211 178 0 68 0 [startup+0.0571801 s] /proc/loadavg: 0.92 0.98 0.99 3/106 13945 /proc/meminfo: memFree=1588084/2059040 swapFree=4140244/4192956 [pid=13945] ppid=13943 vsize=8700 CPUtime=0 /proc/13945/stat : 13945 (run) S 13943 13945 13504 0 -1 4202496 390 134 0 0 0 0 0 0 24 0 1 0 54951737 8908800 251 1992294400 4194304 4922060 140736181952816 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/13945/statm: 2175 251 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.101188 s] /proc/loadavg: 0.92 0.98 0.99 3/106 13945 /proc/meminfo: memFree=1588084/2059040 swapFree=4140244/4192956 [pid=13945] ppid=13943 vsize=8700 CPUtime=0 /proc/13945/stat : 13945 (run) S 13943 13945 13504 0 -1 4202496 390 134 0 0 0 0 0 0 24 0 1 0 54951737 8908800 251 1992294400 4194304 4922060 140736181952816 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/13945/statm: 2175 251 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.301191 s] /proc/loadavg: 0.92 0.98 0.99 3/106 13945 /proc/meminfo: memFree=1588084/2059040 swapFree=4140244/4192956 [pid=13945] ppid=13943 vsize=8700 CPUtime=0 /proc/13945/stat : 13945 (run) S 13943 13945 13504 0 -1 4202496 390 134 0 0 0 0 0 0 24 0 1 0 54951737 8908800 251 1992294400 4194304 4922060 140736181952816 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/13945/statm: 2175 251 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.701225 s] /proc/loadavg: 0.92 0.98 0.99 3/106 13945 /proc/meminfo: memFree=1588084/2059040 swapFree=4140244/4192956 [pid=13945] ppid=13943 vsize=8700 CPUtime=0 /proc/13945/stat : 13945 (run) S 13943 13945 13504 0 -1 4202496 390 134 0 0 0 0 0 0 24 0 1 0 54951737 8908800 251 1992294400 4194304 4922060 140736181952816 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/13945/statm: 2175 251 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+1.50128 s] /proc/loadavg: 0.92 0.98 0.99 2/108 13948 /proc/meminfo: memFree=1517388/2059040 swapFree=4140244/4192956 [pid=13945] ppid=13943 vsize=8700 CPUtime=0 /proc/13945/stat : 13945 (run) S 13943 13945 13504 0 -1 4202496 390 134 0 0 0 0 0 0 24 0 1 0 54951737 8908800 251 1992294400 4194304 4922060 140736181952816 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/13945/statm: 2175 251 211 178 0 68 0 [pid=13947] ppid=13945 vsize=80724 CPUtime=1.48 /proc/13947/stat : 13947 (PBPASSolver) R 13945 13945 13504 0 -1 4202496 21490 0 0 0 130 18 0 0 25 0 1 0 54951738 82661376 19471 1992294400 134512640 134902295 4287166448 18446744073709551615 10954236 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/13947/statm: 20181 19471 262 96 0 19393 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 89424 [startup+3.10141 s] /proc/loadavg: 0.92 0.98 0.99 2/108 13948 /proc/meminfo: memFree=1501640/2059040 swapFree=4140244/4192956 [pid=13945] ppid=13943 vsize=8700 CPUtime=0 /proc/13945/stat : 13945 (run) S 13943 13945 13504 0 -1 4202496 390 134 0 0 0 0 0 0 24 0 1 0 54951737 8908800 251 1992294400 4194304 4922060 140736181952816 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/13945/statm: 2175 251 211 178 0 68 0 [pid=13947] ppid=13945 vsize=105144 CPUtime=3.08 /proc/13947/stat : 13947 (PBPASSolver) R 13945 13945 13504 0 -1 4202496 28557 0 0 0 286 22 0 0 25 0 1 0 54951738 107667456 25466 1992294400 134512640 134902295 4287166448 18446744073709551615 10954236 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/13947/statm: 26286 25466 262 96 0 25498 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 113844 [startup+6.30167 s] /proc/loadavg: 0.93 0.98 0.99 2/108 13948 /proc/meminfo: memFree=1450676/2059040 swapFree=4140244/4192956 [pid=13945] ppid=13943 vsize=8700 CPUtime=0 /proc/13945/stat : 13945 (run) S 13943 13945 13504 0 -1 4202496 390 134 0 0 0 0 0 0 24 0 1 0 54951737 8908800 251 1992294400 4194304 4922060 140736181952816 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/13945/statm: 2175 251 211 178 0 68 0 [pid=13947] ppid=13945 vsize=151956 CPUtime=6.28 /proc/13947/stat : 13947 (PBPASSolver) R 13945 13945 13504 0 -1 4202496 41847 0 0 0 600 28 0 0 25 0 1 0 54951738 155602944 36492 1992294400 134512640 134902295 4287166448 18446744073709551615 4159723646 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/13947/statm: 37989 36492 269 96 0 37201 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 160656 [startup+12.7012 s] /proc/loadavg: 0.93 0.98 0.99 2/108 13948 /proc/meminfo: memFree=1441376/2059040 swapFree=4140244/4192956 [pid=13945] ppid=13943 vsize=8700 CPUtime=0 /proc/13945/stat : 13945 (run) S 13943 13945 13504 0 -1 4202496 390 134 0 0 0 0 0 0 24 0 1 0 54951737 8908800 251 1992294400 4194304 4922060 140736181952816 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/13945/statm: 2175 251 211 178 0 68 0 [pid=13947] ppid=13945 vsize=152764 CPUtime=12.68 /proc/13947/stat : 13947 (PBPASSolver) R 13945 13945 13504 0 -1 4202496 42017 0 0 0 1240 28 0 0 25 0 1 0 54951738 156430336 36662 1992294400 134512640 134902295 4287166448 18446744073709551615 4159712089 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/13947/statm: 38191 36662 269 96 0 37403 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 161464 [startup+25.5012 s] /proc/loadavg: 0.95 0.98 0.99 2/108 13948 /proc/meminfo: memFree=1440384/2059040 swapFree=4140244/4192956 [pid=13945] ppid=13943 vsize=8700 CPUtime=0 /proc/13945/stat : 13945 (run) S 13943 13945 13504 0 -1 4202496 390 134 0 0 0 0 0 0 24 0 1 0 54951737 8908800 251 1992294400 4194304 4922060 140736181952816 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/13945/statm: 2175 251 211 178 0 68 0 [pid=13947] ppid=13945 vsize=153688 CPUtime=25.48 /proc/13947/stat : 13947 (PBPASSolver) R 13945 13945 13504 0 -1 4202496 42257 0 0 0 2519 29 0 0 25 0 1 0 54951738 157376512 36902 1992294400 134512640 134902295 4287166448 18446744073709551615 4159731522 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/13947/statm: 38422 36902 269 96 0 37634 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 162388 [startup+51.1003 s] /proc/loadavg: 1.03 1.00 1.00 2/108 13948 /proc/meminfo: memFree=1438896/2059040 swapFree=4140244/4192956 [pid=13945] ppid=13943 vsize=8700 CPUtime=0 /proc/13945/stat : 13945 (run) S 13943 13945 13504 0 -1 4202496 390 134 0 0 0 0 0 0 24 0 1 0 54951737 8908800 251 1992294400 4194304 4922060 140736181952816 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/13945/statm: 2175 251 211 178 0 68 0 [pid=13947] ppid=13945 vsize=155072 CPUtime=51.07 /proc/13947/stat : 13947 (PBPASSolver) R 13945 13945 13504 0 -1 4202496 42620 0 0 0 5078 29 0 0 25 0 1 0 54951738 158793728 37265 1992294400 134512640 134902295 4287166448 18446744073709551615 4159723866 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/13947/statm: 38768 37265 269 96 0 37980 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 163772 [startup+102.308 s] /proc/loadavg: 1.08 1.02 1.00 2/108 13950 /proc/meminfo: memFree=1436168/2059040 swapFree=4140244/4192956 [pid=13945] ppid=13943 vsize=8700 CPUtime=0 /proc/13945/stat : 13945 (run) S 13943 13945 13504 0 -1 4202496 390 134 0 0 0 0 0 0 24 0 1 0 54951737 8908800 251 1992294400 4194304 4922060 140736181952816 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/13945/statm: 2175 251 211 178 0 68 0 [pid=13947] ppid=13945 vsize=157960 CPUtime=102.26 /proc/13947/stat : 13947 (PBPASSolver) R 13945 13945 13504 0 -1 4202496 43276 0 0 0 10196 30 0 0 25 0 1 0 54951738 161751040 37921 1992294400 134512640 134902295 4287166448 18446744073709551615 4159712089 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/13947/statm: 39490 37921 269 96 0 38702 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 166660 [startup+162.3 s] /proc/loadavg: 1.09 1.03 1.00 2/108 13952 /proc/meminfo: memFree=1432820/2059040 swapFree=4140244/4192956 [pid=13945] ppid=13943 vsize=8700 CPUtime=0 /proc/13945/stat : 13945 (run) S 13943 13945 13504 0 -1 4202496 390 134 0 0 0 0 0 0 24 0 1 0 54951737 8908800 251 1992294400 4194304 4922060 140736181952816 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/13945/statm: 2175 251 211 178 0 68 0 [pid=13947] ppid=13945 vsize=161116 CPUtime=162.23 /proc/13947/stat : 13947 (PBPASSolver) R 13945 13945 13504 0 -1 4202496 44067 0 0 0 16192 31 0 0 25 0 1 0 54951738 164982784 38712 1992294400 134512640 134902295 4287166448 18446744073709551615 4159712449 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/13947/statm: 40279 38712 269 96 0 39491 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 169816 [startup+222.301 s] /proc/loadavg: 1.03 1.02 1.00 2/108 13954 /proc/meminfo: memFree=1430092/2059040 swapFree=4140244/4192956 [pid=13945] ppid=13943 vsize=8700 CPUtime=0 /proc/13945/stat : 13945 (run) S 13943 13945 13504 0 -1 4202496 390 134 0 0 0 0 0 0 24 0 1 0 54951737 8908800 251 1992294400 4194304 4922060 140736181952816 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/13945/statm: 2175 251 211 178 0 68 0 [pid=13947] ppid=13945 vsize=163764 CPUtime=222.22 /proc/13947/stat : 13947 (PBPASSolver) R 13945 13945 13504 0 -1 4202496 44767 0 0 0 22190 32 0 0 25 0 1 0 54951738 167694336 39412 1992294400 134512640 134902295 4287166448 18446744073709551615 4159693497 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/13947/statm: 40941 39412 269 96 0 40153 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 172464 [startup+282.301 s] /proc/loadavg: 1.01 1.01 1.00 2/108 13954 /proc/meminfo: memFree=1427364/2059040 swapFree=4140244/4192956 [pid=13945] ppid=13943 vsize=8700 CPUtime=0 /proc/13945/stat : 13945 (run) S 13943 13945 13504 0 -1 4202496 390 134 0 0 0 0 0 0 24 0 1 0 54951737 8908800 251 1992294400 4194304 4922060 140736181952816 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/13945/statm: 2175 251 211 178 0 68 0 [pid=13947] ppid=13945 vsize=166584 CPUtime=282.21 /proc/13947/stat : 13947 (PBPASSolver) R 13945 13945 13504 0 -1 4202496 45431 0 0 0 28188 33 0 0 25 0 1 0 54951738 170582016 40076 1992294400 134512640 134902295 4287166448 18446744073709551615 4159723646 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/13947/statm: 41646 40076 269 96 0 40858 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 175284 [startup+342.301 s] /proc/loadavg: 1.00 1.01 1.00 2/108 13956 /proc/meminfo: memFree=1424884/2059040 swapFree=4140244/4192956 [pid=13945] ppid=13943 vsize=8700 CPUtime=0 /proc/13945/stat : 13945 (run) S 13943 13945 13504 0 -1 4202496 390 134 0 0 0 0 0 0 24 0 1 0 54951737 8908800 251 1992294400 4194304 4922060 140736181952816 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/13945/statm: 2175 251 211 178 0 68 0 [pid=13947] ppid=13945 vsize=168960 CPUtime=342.19 /proc/13947/stat : 13947 (PBPASSolver) R 13945 13945 13504 0 -1 4202496 46047 0 0 0 34186 33 0 0 25 0 1 0 54951738 173015040 40692 1992294400 134512640 134902295 4287166448 18446744073709551615 4159723646 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/13947/statm: 42240 40692 269 96 0 41452 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 177660 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 13958 /proc/meminfo: memFree=1422652/2059040 swapFree=4140244/4192956 [pid=13945] ppid=13943 vsize=8700 CPUtime=0 /proc/13945/stat : 13945 (run) S 13943 13945 13504 0 -1 4202496 390 134 0 0 0 0 0 0 24 0 1 0 54951737 8908800 251 1992294400 4194304 4922060 140736181952816 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/13945/statm: 2175 251 211 178 0 68 0 [pid=13947] ppid=13945 vsize=171204 CPUtime=402.17 /proc/13947/stat : 13947 (PBPASSolver) R 13945 13945 13504 0 -1 4202496 46620 0 0 0 40184 33 0 0 25 0 1 0 54951738 175312896 41265 1992294400 134512640 134902295 4287166448 18446744073709551615 4159705984 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/13947/statm: 42801 41265 269 96 0 42013 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 179904 [startup+462.301 s] ################ # More data... # ################ /proc/13947/statm: 48621 47074 269 96 0 47833 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 203184 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 13987 /proc/meminfo: memFree=1397480/2059040 swapFree=4140244/4192956 [pid=13945] ppid=13943 vsize=8700 CPUtime=0 /proc/13945/stat : 13945 (run) S 13943 13945 13504 0 -1 4202496 390 134 0 0 0 0 0 0 24 0 1 0 54951737 8908800 251 1992294400 4194304 4922060 140736181952816 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/13945/statm: 2175 251 211 178 0 68 0 [pid=13947] ppid=13945 vsize=195672 CPUtime=1181.94 /proc/13947/stat : 13947 (PBPASSolver) R 13945 13945 13504 0 -1 4202496 52767 0 0 0 118152 42 0 0 25 0 1 0 54951738 200368128 47412 1992294400 134512640 134902295 4287166448 18446744073709551615 4159705920 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/13947/statm: 48918 47412 269 96 0 48130 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 204372 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 13989 /proc/meminfo: memFree=1396116/2059040 swapFree=4140244/4192956 [pid=13945] ppid=13943 vsize=8700 CPUtime=0 /proc/13945/stat : 13945 (run) S 13943 13945 13504 0 -1 4202496 390 134 0 0 0 0 0 0 24 0 1 0 54951737 8908800 251 1992294400 4194304 4922060 140736181952816 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/13945/statm: 2175 251 211 178 0 68 0 [pid=13947] ppid=13945 vsize=197140 CPUtime=1241.93 /proc/13947/stat : 13947 (PBPASSolver) R 13945 13945 13504 0 -1 4202496 53133 0 0 0 124150 43 0 0 25 0 1 0 54951738 201871360 47778 1992294400 134512640 134902295 4287166448 18446744073709551615 4159706106 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/13947/statm: 49285 47778 269 96 0 48497 0 Current children cumulated CPU time (s) 1241.93 Current children cumulated vsize (KiB) 205840 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 13991 /proc/meminfo: memFree=1394256/2059040 swapFree=4140244/4192956 [pid=13945] ppid=13943 vsize=8700 CPUtime=0 /proc/13945/stat : 13945 (run) S 13943 13945 13504 0 -1 4202496 390 134 0 0 0 0 0 0 24 0 1 0 54951737 8908800 251 1992294400 4194304 4922060 140736181952816 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/13945/statm: 2175 251 211 178 0 68 0 [pid=13947] ppid=13945 vsize=199468 CPUtime=1301.92 /proc/13947/stat : 13947 (PBPASSolver) R 13945 13945 13504 0 -1 4202496 53567 0 0 0 130149 43 0 0 25 0 1 0 54951738 204255232 48212 1992294400 134512640 134902295 4287166448 18446744073709551615 4159705865 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/13947/statm: 49867 48212 269 96 0 49079 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 208168 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 13996 /proc/meminfo: memFree=1392396/2059040 swapFree=4140244/4192956 [pid=13945] ppid=13943 vsize=8700 CPUtime=0 /proc/13945/stat : 13945 (run) S 13943 13945 13504 0 -1 4202496 390 134 0 0 0 0 0 0 24 0 1 0 54951737 8908800 251 1992294400 4194304 4922060 140736181952816 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/13945/statm: 2175 251 211 178 0 68 0 [pid=13947] ppid=13945 vsize=200788 CPUtime=1361.89 /proc/13947/stat : 13947 (PBPASSolver) R 13945 13945 13504 0 -1 4202496 53912 0 0 0 136145 44 0 0 25 0 1 0 54951738 205606912 48557 1992294400 134512640 134902295 4287166448 18446744073709551615 4159727525 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/13947/statm: 50197 48557 269 96 0 49409 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 209488 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/108 13998 /proc/meminfo: memFree=1390908/2059040 swapFree=4140244/4192956 [pid=13945] ppid=13943 vsize=8700 CPUtime=0 /proc/13945/stat : 13945 (run) S 13943 13945 13504 0 -1 4202496 390 134 0 0 0 0 0 0 24 0 1 0 54951737 8908800 251 1992294400 4194304 4922060 140736181952816 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/13945/statm: 2175 251 211 178 0 68 0 [pid=13947] ppid=13945 vsize=202240 CPUtime=1421.88 /proc/13947/stat : 13947 (PBPASSolver) R 13945 13945 13504 0 -1 4202496 54276 0 0 0 142144 44 0 0 25 0 1 0 54951738 207093760 48921 1992294400 134512640 134902295 4287166448 18446744073709551615 4159693513 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/13947/statm: 50560 48921 269 96 0 49772 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 210940 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 13998 /proc/meminfo: memFree=1389172/2059040 swapFree=4140244/4192956 [pid=13945] ppid=13943 vsize=8700 CPUtime=0 /proc/13945/stat : 13945 (run) S 13943 13945 13504 0 -1 4202496 390 134 0 0 0 0 0 0 24 0 1 0 54951737 8908800 251 1992294400 4194304 4922060 140736181952816 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/13945/statm: 2175 251 211 178 0 68 0 [pid=13947] ppid=13945 vsize=203972 CPUtime=1481.86 /proc/13947/stat : 13947 (PBPASSolver) R 13945 13945 13504 0 -1 4202496 54715 0 0 0 148141 45 0 0 25 0 1 0 54951738 208867328 49360 1992294400 134512640 134902295 4287166448 18446744073709551615 4159693480 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/13947/statm: 50993 49360 269 96 0 50205 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 212672 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 14000 /proc/meminfo: memFree=1387560/2059040 swapFree=4140244/4192956 [pid=13945] ppid=13943 vsize=8700 CPUtime=0 /proc/13945/stat : 13945 (run) S 13943 13945 13504 0 -1 4202496 390 134 0 0 0 0 0 0 24 0 1 0 54951737 8908800 251 1992294400 4194304 4922060 140736181952816 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/13945/statm: 2175 251 211 178 0 68 0 [pid=13947] ppid=13945 vsize=205424 CPUtime=1541.84 /proc/13947/stat : 13947 (PBPASSolver) R 13945 13945 13504 0 -1 4202496 55110 0 0 0 154138 46 0 0 25 0 1 0 54951738 210354176 49755 1992294400 134512640 134902295 4287166448 18446744073709551615 4159712400 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/13947/statm: 51356 49755 269 96 0 50568 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 214124 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 14002 /proc/meminfo: memFree=1385948/2059040 swapFree=4140244/4192956 [pid=13945] ppid=13943 vsize=8700 CPUtime=0 /proc/13945/stat : 13945 (run) S 13943 13945 13504 0 -1 4202496 390 134 0 0 0 0 0 0 24 0 1 0 54951737 8908800 251 1992294400 4194304 4922060 140736181952816 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/13945/statm: 2175 251 211 178 0 68 0 [pid=13947] ppid=13945 vsize=207140 CPUtime=1601.83 /proc/13947/stat : 13947 (PBPASSolver) R 13945 13945 13504 0 -1 4202496 55521 0 0 0 160136 47 0 0 25 0 1 0 54951738 212111360 50166 1992294400 134512640 134902295 4287166448 18446744073709551615 4159728935 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/13947/statm: 51785 50166 269 96 0 50997 0 Current children cumulated CPU time (s) 1601.83 Current children cumulated vsize (KiB) 215840 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 14004 /proc/meminfo: memFree=1384336/2059040 swapFree=4140244/4192956 [pid=13945] ppid=13943 vsize=8700 CPUtime=0 /proc/13945/stat : 13945 (run) S 13943 13945 13504 0 -1 4202496 390 134 0 0 0 0 0 0 24 0 1 0 54951737 8908800 251 1992294400 4194304 4922060 140736181952816 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/13945/statm: 2175 251 211 178 0 68 0 [pid=13947] ppid=13945 vsize=208592 CPUtime=1661.81 /proc/13947/stat : 13947 (PBPASSolver) R 13945 13945 13504 0 -1 4202496 55904 0 0 0 166134 47 0 0 25 0 1 0 54951738 213598208 50549 1992294400 134512640 134902295 4287166448 18446744073709551615 4159712003 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/13947/statm: 52148 50549 269 96 0 51360 0 Current children cumulated CPU time (s) 1661.81 Current children cumulated vsize (KiB) 217292 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 14006 /proc/meminfo: memFree=1382972/2059040 swapFree=4140244/4192956 [pid=13945] ppid=13943 vsize=8700 CPUtime=0 /proc/13945/stat : 13945 (run) S 13943 13945 13504 0 -1 4202496 390 134 0 0 0 0 0 0 24 0 1 0 54951737 8908800 251 1992294400 4194304 4922060 140736181952816 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/13945/statm: 2175 251 211 178 0 68 0 [pid=13947] ppid=13945 vsize=209912 CPUtime=1721.79 /proc/13947/stat : 13947 (PBPASSolver) R 13945 13945 13504 0 -1 4202496 56262 0 0 0 172132 47 0 0 25 0 1 0 54951738 214949888 50907 1992294400 134512640 134902295 4287166448 18446744073709551615 4159706101 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/13947/statm: 52478 50907 269 96 0 51690 0 Current children cumulated CPU time (s) 1721.79 Current children cumulated vsize (KiB) 218612 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 14006 /proc/meminfo: memFree=1381608/2059040 swapFree=4140244/4192956 [pid=13945] ppid=13943 vsize=8700 CPUtime=0 /proc/13945/stat : 13945 (run) S 13943 13945 13504 0 -1 4202496 390 134 0 0 0 0 0 0 24 0 1 0 54951737 8908800 251 1992294400 4194304 4922060 140736181952816 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/13945/statm: 2175 251 211 178 0 68 0 [pid=13947] ppid=13945 vsize=211364 CPUtime=1781.78 /proc/13947/stat : 13947 (PBPASSolver) R 13945 13945 13504 0 -1 4202496 56617 0 0 0 178130 48 0 0 25 0 1 0 54951738 216436736 51262 1992294400 134512640 134902295 4287166448 18446744073709551615 4159723646 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/13947/statm: 52841 51262 269 96 0 52053 0 Current children cumulated CPU time (s) 1781.78 Current children cumulated vsize (KiB) 220064 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/108 14008 /proc/meminfo: memFree=1381236/2059040 swapFree=4140244/4192956 [pid=13945] ppid=13943 vsize=8700 CPUtime=0 /proc/13945/stat : 13945 (run) S 13943 13945 13504 0 -1 4202496 390 134 0 0 0 0 0 0 24 0 1 0 54951737 8908800 251 1992294400 4194304 4922060 140736181952816 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/13945/statm: 2175 251 211 178 0 68 0 [pid=13947] ppid=13945 vsize=211760 CPUtime=1800.09 /proc/13947/stat : 13947 (PBPASSolver) R 13945 13945 13504 0 -1 4202496 56721 0 0 0 179961 48 0 0 25 0 1 0 54951738 216842240 51366 1992294400 134512640 134902295 4287166448 18446744073709551615 4159693442 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/13947/statm: 52940 51366 269 96 0 52152 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 220460 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 13945 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=999 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=2999 # CPU time returned by wait4() is 0.003998 # while last known CPU time is 1800.09 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1800.62 CPU time (s): 1800.09 CPU user time (s): 1799.61 CPU system time (s): 0.48 CPU usage (%): 99.9704 Max. virtual memory (cumulated for all children) (KiB): 220460 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.000999 system time used= 0.002999 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 524 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= 4 involuntary context switches= 4 runsolver used 3.08353 second user time and 8.41572 second system time The end
Begin job on node003 at 2010-06-17 18:51:18 IDJOB=2674053 IDBENCH=1949 IDSOLVER=1174 FILE ID=node003/2674053-1276793478 PBS_JOBID= 11176598 Free space on /tmp= 62524 MiB SOLVER NAME= PBPASSolver 2010-06-13 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_17.opb.PB06.opb COMMAND LINE= run BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2674053-1276793478/watcher-2674053-1276793478 -o /tmp/evaluation-result-2674053-1276793478/solver-2674053-1276793478 -C 1800 -W 2000 -M 1800 run HOME/instance-2674053-1276793478.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 90154dd1b8a90675a35ad37cbef52f77 RANDOM SEED=2091692529 node003.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.251 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 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 syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.50 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.251 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 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 syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1588604 kB Buffers: 146292 kB Cached: 225868 kB SwapCached: 6060 kB Active: 152152 kB Inactive: 233244 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1588604 kB SwapTotal: 4192956 kB SwapFree: 4140244 kB Dirty: 636 kB Writeback: 0 kB AnonPages: 11684 kB Mapped: 13056 kB Slab: 63276 kB PageTables: 4000 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183484 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62524 MiB End job on node003 at 2010-06-17 19:21:21