8.08/8.18	c 7860 173 0 0 0 0 0 0
8.08/8.18	c 536870912 ~x7891+268435456 ~x7890+134217728 ~x7889+67108864 ~x7888+33554432 ~x7887+16777216 ~x7886+8388608 ~x7885+4194304 ~x7884+2097152 ~x7883+1048576 ~x7882+524288 ~x7881+262144 ~x7880+131072 ~x7879+65536 ~x7878+32768 ~x7877+16384 ~x7876+8192 ~x7875+4096 ~x7874+2048 ~x7873+1024 ~x7872+512 ~x7871+256 ~x7870+128 ~x7869+64 ~x7868+32 ~x7867+16 ~x7866+8 ~x7865+4 ~x7864+2 ~x7863+1 ~x7862+536870912 x61+268435456 x60+134217728 x59+67108864 x58+33554432 x57+16777216 x56+8388608 x55+4194304 x54+2097152 x53+1048576 x52+524288 x51+262144 x50+131072 x49+65536 x48+32768 x47+16384 x46+8192 x45+4096 x44+2048 x43+1024 x42+512 x41+256 x40+128 x39+64 x38+32 x37+16 x36+8 x35+4 x34+2 x33+1 x32+536870912 ~x31+268435456 ~x30+134217728 ~x29+67108864 ~x28+33554432 ~x27+16777216 ~x26+8388608 ~x25+4194304 ~x24+2097152 ~x23+1048576 ~x22+524288 ~x21+262144 ~x20+131072 ~x19+65536 ~x18+32768 ~x17+16384 ~x16+8192 ~x15+4096 ~x14+2048 ~x13+1024 ~x12+512 ~x11+256 ~x10+128 ~x9+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=2146869246
8.88/8.92	c 536870912 ~x39634+268435456 ~x39633+134217728 ~x39632+67108864 ~x39631+33554432 ~x39630+16777216 ~x39629+8388608 ~x39628+4194304 ~x39627+2097152 ~x39626+1048576 ~x39625+524288 ~x39624+262144 ~x39623+131072 ~x39622+65536 ~x39621+32768 ~x39620+16384 ~x39619+8192 ~x39618+4096 ~x39617+2048 ~x39616+1024 ~x39615+512 ~x39614+256 ~x39613+128 ~x39612+64 ~x39611+32 ~x39610+16 ~x39609+8 ~x39608+4 ~x39607+2 ~x39606+1 ~x39605+536870912 x121+268435456 x120+134217728 x119+67108864 x118+33554432 x117+16777216 x116+8388608 x115+4194304 x114+2097152 x113+1048576 x112+524288 x111+262144 x110+131072 x109+65536 x108+32768 x107+16384 x106+8192 x105+4096 x104+2048 x103+1024 x102+512 x101+256 x100+128 x99+64 x98+32 x97+16 x96+8 x95+4 x94+2 x93+1 x92+536870912 ~x91+268435456 ~x90+134217728 ~x89+67108864 ~x88+33554432 ~x87+16777216 ~x86+8388608 ~x85+4194304 ~x84+2097152 ~x83+1048576 ~x82+524288 ~x81+262144 ~x80+131072 ~x79+65536 ~x78+32768 ~x77+16384 ~x76+8192 ~x75+4096 ~x74+2048 ~x73+1024 ~x72+512 ~x71+256 ~x70+128 ~x69+64 ~x68+32 ~x67+16 ~x66+8 ~x65+4 ~x64+2 ~x63+1 ~x62-0=2146131966
9.68/9.73	c 536870912 ~x71377+268435456 ~x71376+134217728 ~x71375+67108864 ~x71374+33554432 ~x71373+16777216 ~x71372+8388608 ~x71371+4194304 ~x71370+2097152 ~x71369+1048576 ~x71368+524288 ~x71367+262144 ~x71366+131072 ~x71365+65536 ~x71364+32768 ~x71363+16384 ~x71362+8192 ~x71361+4096 ~x71360+2048 ~x71359+1024 ~x71358+512 ~x71357+256 ~x71356+128 ~x71355+64 ~x71354+32 ~x71353+16 ~x71352+8 ~x71351+4 ~x71350+2 ~x71349+1 ~x71348+536870912 x271+268435456 x270+134217728 x269+67108864 x268+33554432 x267+16777216 x266+8388608 x265+4194304 x264+2097152 x263+1048576 x262+524288 x261+262144 x260+131072 x259+65536 x258+32768 x257+16384 x256+8192 x255+4096 x254+2048 x253+1024 x252+512 x251+256 x250+128 x249+64 x248+32 x247+16 x246+8 x245+4 x244+2 x243+1 x242+536870912 ~x241+268435456 ~x240+134217728 ~x239+67108864 ~x238+33554432 ~x237+16777216 ~x236+8388608 ~x235+4194304 ~x234+2097152 ~x233+1048576 ~x232+524288 ~x231+262144 ~x230+131072 ~x229+65536 ~x228+32768 ~x227+16384 ~x226+8192 ~x225+4096 ~x224+2048 ~x223+1024 ~x222+512 ~x221+256 ~x220+128 ~x219+64 ~x218+32 ~x217+16 ~x216+8 ~x215+4 ~x214+2 ~x213+1 ~x212-0=2146725886
10.38/10.49	c 536870912 ~x103120+268435456 ~x103119+134217728 ~x103118+67108864 ~x103117+33554432 ~x103116+16777216 ~x103115+8388608 ~x103114+4194304 ~x103113+2097152 ~x103112+1048576 ~x103111+524288 ~x103110+262144 ~x103109+131072 ~x103108+65536 ~x103107+32768 ~x103106+16384 ~x103105+8192 ~x103104+4096 ~x103103+2048 ~x103102+1024 ~x103101+512 ~x103100+256 ~x103099+128 ~x103098+64 ~x103097+32 ~x103096+16 ~x103095+8 ~x103094+4 ~x103093+2 ~x103092+1 ~x103091+536870912 x421+268435456 x420+134217728 x419+67108864 x418+33554432 x417+16777216 x416+8388608 x415+4194304 x414+2097152 x413+1048576 x412+524288 x411+262144 x410+131072 x409+65536 x408+32768 x407+16384 x406+8192 x405+4096 x404+2048 x403+1024 x402+512 x401+256 x400+128 x399+64 x398+32 x397+16 x396+8 x395+4 x394+2 x393+1 x392+536870912 ~x391+268435456 ~x390+134217728 ~x389+67108864 ~x388+33554432 ~x387+16777216 ~x386+8388608 ~x385+4194304 ~x384+2097152 ~x383+1048576 ~x382+524288 ~x381+262144 ~x380+131072 ~x379+65536 ~x378+32768 ~x377+16384 ~x376+8192 ~x375+4096 ~x374+2048 ~x373+1024 ~x372+512 ~x371+256 ~x370+128 ~x369+64 ~x368+32 ~x367+16 ~x366+8 ~x365+4 ~x364+2 ~x363+1 ~x362-0=2137509886
11.18/11.22	c 536870912 ~x134863+268435456 ~x134862+134217728 ~x134861+67108864 ~x134860+33554432 ~x134859+16777216 ~x134858+8388608 ~x134857+4194304 ~x134856+2097152 ~x134855+1048576 ~x134854+524288 ~x134853+262144 ~x134852+131072 ~x134851+65536 ~x134850+32768 ~x134849+16384 ~x134848+8192 ~x134847+4096 ~x134846+2048 ~x134845+1024 ~x134844+512 ~x134843+256 ~x134842+128 ~x134841+64 ~x134840+32 ~x134839+16 ~x134838+8 ~x134837+4 ~x134836+2 ~x134835+1 ~x134834+536870912 x481+268435456 x480+134217728 x479+67108864 x478+33554432 x477+16777216 x476+8388608 x475+4194304 x474+2097152 x473+1048576 x472+524288 x471+262144 x470+131072 x469+65536 x468+32768 x467+16384 x466+8192 x465+4096 x464+2048 x463+1024 x462+512 x461+256 x460+128 x459+64 x458+32 x457+16 x456+8 x455+4 x454+2 x453+1 x452+536870912 ~x451+268435456 ~x450+134217728 ~x449+67108864 ~x448+33554432 ~x447+16777216 ~x446+8388608 ~x445+4194304 ~x444+2097152 ~x443+1048576 ~x442+524288 ~x441+262144 ~x440+131072 ~x439+65536 ~x438+32768 ~x437+16384 ~x436+8192 ~x435+4096 ~x434+2048 ~x433+1024 ~x432+512 ~x431+256 ~x430+128 ~x429+64 ~x428+32 ~x427+16 ~x426+8 ~x425+4 ~x424+2 ~x423+1 ~x422-0=2146766846
11.88/11.95	c 536870912 ~x166606+268435456 ~x166605+134217728 ~x166604+67108864 ~x166603+33554432 ~x166602+16777216 ~x166601+8388608 ~x166600+4194304 ~x166599+2097152 ~x166598+1048576 ~x166597+524288 ~x166596+262144 ~x166595+131072 ~x166594+65536 ~x166593+32768 ~x166592+16384 ~x166591+8192 ~x166590+4096 ~x166589+2048 ~x166588+1024 ~x166587+512 ~x166586+256 ~x166585+128 ~x166584+64 ~x166583+32 ~x166582+16 ~x166581+8 ~x166580+4 ~x166579+2 ~x166578+1 ~x166577+536870912 x541+268435456 x540+134217728 x539+67108864 x538+33554432 x537+16777216 x536+8388608 x535+4194304 x534+2097152 x533+1048576 x532+524288 x531+262144 x530+131072 x529+65536 x528+32768 x527+16384 x526+8192 x525+4096 x524+2048 x523+1024 x522+512 x521+256 x520+128 x519+64 x518+32 x517+16 x516+8 x515+4 x514+2 x513+1 x512+536870912 ~x511+268435456 ~x510+134217728 ~x509+67108864 ~x508+33554432 ~x507+16777216 ~x506+8388608 ~x505+4194304 ~x504+2097152 ~x503+1048576 ~x502+524288 ~x501+262144 ~x500+131072 ~x499+65536 ~x498+32768 ~x497+16384 ~x496+8192 ~x495+4096 ~x494+2048 ~x493+1024 ~x492+512 ~x491+256 ~x490+128 ~x489+64 ~x488+32 ~x487+16 ~x486+8 ~x485+4 ~x484+2 ~x483+1 ~x482-0=2147217406
12.58/12.68	c 536870912 ~x198349+268435456 ~x198348+134217728 ~x198347+67108864 ~x198346+33554432 ~x198345+16777216 ~x198344+8388608 ~x198343+4194304 ~x198342+2097152 ~x198341+1048576 ~x198340+524288 ~x198339+262144 ~x198338+131072 ~x198337+65536 ~x198336+32768 ~x198335+16384 ~x198334+8192 ~x198333+4096 ~x198332+2048 ~x198331+1024 ~x198330+512 ~x198329+256 ~x198328+128 ~x198327+64 ~x198326+32 ~x198325+16 ~x198324+8 ~x198323+4 ~x198322+2 ~x198321+1 ~x198320+536870912 x601+268435456 x600+134217728 x599+67108864 x598+33554432 x597+16777216 x596+8388608 x595+4194304 x594+2097152 x593+1048576 x592+524288 x591+262144 x590+131072 x589+65536 x588+32768 x587+16384 x586+8192 x585+4096 x584+2048 x583+1024 x582+512 x581+256 x580+128 x579+64 x578+32 x577+16 x576+8 x575+4 x574+2 x573+1 x572+536870912 ~x571+268435456 ~x570+134217728 ~x569+67108864 ~x568+33554432 ~x567+16777216 ~x566+8388608 ~x565+4194304 ~x564+2097152 ~x563+1048576 ~x562+524288 ~x561+262144 ~x560+131072 ~x559+65536 ~x558+32768 ~x557+16384 ~x556+8192 ~x555+4096 ~x554+2048 ~x553+1024 ~x552+512 ~x551+256 ~x550+128 ~x549+64 ~x548+32 ~x547+16 ~x546+8 ~x545+4 ~x544+2 ~x543+1 ~x542-0=2145374206
13.38/13.41	c 536870912 ~x230092+268435456 ~x230091+134217728 ~x230090+67108864 ~x230089+33554432 ~x230088+16777216 ~x230087+8388608 ~x230086+4194304 ~x230085+2097152 ~x230084+1048576 ~x230083+524288 ~x230082+262144 ~x230081+131072 ~x230080+65536 ~x230079+32768 ~x230078+16384 ~x230077+8192 ~x230076+4096 ~x230075+2048 ~x230074+1024 ~x230073+512 ~x230072+256 ~x230071+128 ~x230070+64 ~x230069+32 ~x230068+16 ~x230067+8 ~x230066+4 ~x230065+2 ~x230064+1 ~x230063+536870912 x661+268435456 x660+134217728 x659+67108864 x658+33554432 x657+16777216 x656+8388608 x655+4194304 x654+2097152 x653+1048576 x652+524288 x651+262144 x650+131072 x649+65536 x648+32768 x647+16384 x646+8192 x645+4096 x644+2048 x643+1024 x642+512 x641+256 x640+128 x639+64 x638+32 x637+16 x636+8 x635+4 x634+2 x633+1 x632+536870912 ~x631+268435456 ~x630+134217728 ~x629+67108864 ~x628+33554432 ~x627+16777216 ~x626+8388608 ~x625+4194304 ~x624+2097152 ~x623+1048576 ~x622+524288 ~x621+262144 ~x620+131072 ~x619+65536 ~x618+32768 ~x617+16384 ~x616+8192 ~x615+4096 ~x614+2048 ~x613+1024 ~x612+512 ~x611+256 ~x610+128 ~x609+64 ~x608+32 ~x607+16 ~x606+8 ~x605+4 ~x604+2 ~x603+1 ~x602-0=2146050046
14.08/14.14	c 536870912 ~x261835+268435456 ~x261834+134217728 ~x261833+67108864 ~x261832+33554432 ~x261831+16777216 ~x261830+8388608 ~x261829+4194304 ~x261828+2097152 ~x261827+1048576 ~x261826+524288 ~x261825+262144 ~x261824+131072 ~x261823+65536 ~x261822+32768 ~x261821+16384 ~x261820+8192 ~x261819+4096 ~x261818+2048 ~x261817+1024 ~x261816+512 ~x261815+256 ~x261814+128 ~x261813+64 ~x261812+32 ~x261811+16 ~x261810+8 ~x261809+4 ~x261808+2 ~x261807+1 ~x261806+536870912 x721+268435456 x720+134217728 x719+67108864 x718+33554432 x717+16777216 x716+8388608 x715+4194304 x714+2097152 x713+1048576 x712+524288 x711+262144 x710+131072 x709+65536 x708+32768 x707+16384 x706+8192 x705+4096 x704+2048 x703+1024 x702+512 x701+256 x700+128 x699+64 x698+32 x697+16 x696+8 x695+4 x694+2 x693+1 x692+536870912 ~x691+268435456 ~x690+134217728 ~x689+67108864 ~x688+33554432 ~x687+16777216 ~x686+8388608 ~x685+4194304 ~x684+2097152 ~x683+1048576 ~x682+524288 ~x681+262144 ~x680+131072 ~x679+65536 ~x678+32768 ~x677+16384 ~x676+8192 ~x675+4096 ~x674+2048 ~x673+1024 ~x672+512 ~x671+256 ~x670+128 ~x669+64 ~x668+32 ~x667+16 ~x666+8 ~x665+4 ~x664+2 ~x663+1 ~x662-0=2146562046
14.78/14.87	c 536870912 ~x293578+268435456 ~x293577+134217728 ~x293576+67108864 ~x293575+33554432 ~x293574+16777216 ~x293573+8388608 ~x293572+4194304 ~x293571+2097152 ~x293570+1048576 ~x293569+524288 ~x293568+262144 ~x293567+131072 ~x293566+65536 ~x293565+32768 ~x293564+16384 ~x293563+8192 ~x293562+4096 ~x293561+2048 ~x293560+1024 ~x293559+512 ~x293558+256 ~x293557+128 ~x293556+64 ~x293555+32 ~x293554+16 ~x293553+8 ~x293552+4 ~x293551+2 ~x293550+1 ~x293549+536870912 x781+268435456 x780+134217728 x779+67108864 x778+33554432 x777+16777216 x776+8388608 x775+4194304 x774+2097152 x773+1048576 x772+524288 x771+262144 x770+131072 x769+65536 x768+32768 x767+16384 x766+8192 x765+4096 x764+2048 x763+1024 x762+512 x761+256 x760+128 x759+64 x758+32 x757+16 x756+8 x755+4 x754+2 x753+1 x752+536870912 ~x751+268435456 ~x750+134217728 ~x749+67108864 ~x748+33554432 ~x747+16777216 ~x746+8388608 ~x745+4194304 ~x744+2097152 ~x743+1048576 ~x742+524288 ~x741+262144 ~x740+131072 ~x739+65536 ~x738+32768 ~x737+16384 ~x736+8192 ~x735+4096 ~x734+2048 ~x733+1024 ~x732+512 ~x731+256 ~x730+128 ~x729+64 ~x728+32 ~x727+16 ~x726+8 ~x725+4 ~x724+2 ~x723+1 ~x722-0=2146705406
15.48/15.59	c 536870912 ~x325321+268435456 ~x325320+134217728 ~x325319+67108864 ~x325318+33554432 ~x325317+16777216 ~x325316+8388608 ~x325315+4194304 ~x325314+2097152 ~x325313+1048576 ~x325312+524288 ~x325311+262144 ~x325310+131072 ~x325309+65536 ~x325308+32768 ~x325307+16384 ~x325306+8192 ~x325305+4096 ~x325304+2048 ~x325303+1024 ~x325302+512 ~x325301+256 ~x325300+128 ~x325299+64 ~x325298+32 ~x325297+16 ~x325296+8 ~x325295+4 ~x325294+2 ~x325293+1 ~x325292+536870912 x871+268435456 x870+134217728 x869+67108864 x868+33554432 x867+16777216 x866+8388608 x865+4194304 x864+2097152 x863+1048576 x862+524288 x861+262144 x860+131072 x859+65536 x858+32768 x857+16384 x856+8192 x855+4096 x854+2048 x853+1024 x852+512 x851+256 x850+128 x849+64 x848+32 x847+16 x846+8 x845+4 x844+2 x843+1 x842+536870912 ~x841+268435456 ~x840+134217728 ~x839+67108864 ~x838+33554432 ~x837+16777216 ~x836+8388608 ~x835+4194304 ~x834+2097152 ~x833+1048576 ~x832+524288 ~x831+262144 ~x830+131072 ~x829+65536 ~x828+32768 ~x827+16384 ~x826+8192 ~x825+4096 ~x824+2048 ~x823+1024 ~x822+512 ~x821+256 ~x820+128 ~x819+64 ~x818+32 ~x817+16 ~x816+8 ~x815+4 ~x814+2 ~x813+1 ~x812-0=2147033086
16.28/16.33	c 536870912 ~x357064+268435456 ~x357063+134217728 ~x357062+67108864 ~x357061+33554432 ~x357060+16777216 ~x357059+8388608 ~x357058+4194304 ~x357057+2097152 ~x357056+1048576 ~x357055+524288 ~x357054+262144 ~x357053+131072 ~x357052+65536 ~x357051+32768 ~x357050+16384 ~x357049+8192 ~x357048+4096 ~x357047+2048 ~x357046+1024 ~x357045+512 ~x357044+256 ~x357043+128 ~x357042+64 ~x357041+32 ~x357040+16 ~x357039+8 ~x357038+4 ~x357037+2 ~x357036+1 ~x357035+536870912 x991+268435456 x990+134217728 x989+67108864 x988+33554432 x987+16777216 x986+8388608 x985+4194304 x984+2097152 x983+1048576 x982+524288 x981+262144 x980+131072 x979+65536 x978+32768 x977+16384 x976+8192 x975+4096 x974+2048 x973+1024 x972+512 x971+256 x970+128 x969+64 x968+32 x967+16 x966+8 x965+4 x964+2 x963+1 x962+536870912 ~x961+268435456 ~x960+134217728 ~x959+67108864 ~x958+33554432 ~x957+16777216 ~x956+8388608 ~x955+4194304 ~x954+2097152 ~x953+1048576 ~x952+524288 ~x951+262144 ~x950+131072 ~x949+65536 ~x948+32768 ~x947+16384 ~x946+8192 ~x945+4096 ~x944+2048 ~x943+1024 ~x942+512 ~x941+256 ~x940+128 ~x939+64 ~x938+32 ~x937+16 ~x936+8 ~x935+4 ~x934+2 ~x933+1 ~x932-0=2146193406
16.98/17.05	c 536870912 ~x388807+268435456 ~x388806+134217728 ~x388805+67108864 ~x388804+33554432 ~x388803+16777216 ~x388802+8388608 ~x388801+4194304 ~x388800+2097152 ~x388799+1048576 ~x388798+524288 ~x388797+262144 ~x388796+131072 ~x388795+65536 ~x388794+32768 ~x388793+16384 ~x388792+8192 ~x388791+4096 ~x388790+2048 ~x388789+1024 ~x388788+512 ~x388787+256 ~x388786+128 ~x388785+64 ~x388784+32 ~x388783+16 ~x388782+8 ~x388781+4 ~x388780+2 ~x388779+1 ~x388778+536870912 x1051+268435456 x1050+134217728 x1049+67108864 x1048+33554432 x1047+16777216 x1046+8388608 x1045+4194304 x1044+2097152 x1043+1048576 x1042+524288 x1041+262144 x1040+131072 x1039+65536 x1038+32768 x1037+16384 x1036+8192 x1035+4096 x1034+2048 x1033+1024 x1032+512 x1031+256 x1030+128 x1029+64 x1028+32 x1027+16 x1026+8 x1025+4 x1024+2 x1023+1 x1022+536870912 ~x1021+268435456 ~x1020+134217728 ~x1019+67108864 ~x1018+33554432 ~x1017+16777216 ~x1016+8388608 ~x1015+4194304 ~x1014+2097152 ~x1013+1048576 ~x1012+524288 ~x1011+262144 ~x1010+131072 ~x1009+65536 ~x1008+32768 ~x1007+16384 ~x1006+8192 ~x1005+4096 ~x1004+2048 ~x1003+1024 ~x1002+512 ~x1001+256 ~x1000+128 ~x999+64 ~x998+32 ~x997+16 ~x996+8 ~x995+4 ~x994+2 ~x993+1 ~x992-0=2144534526
17.67/17.79	c 536870912 ~x420550+268435456 ~x420549+134217728 ~x420548+67108864 ~x420547+33554432 ~x420546+16777216 ~x420545+8388608 ~x420544+4194304 ~x420543+2097152 ~x420542+1048576 ~x420541+524288 ~x420540+262144 ~x420539+131072 ~x420538+65536 ~x420537+32768 ~x420536+16384 ~x420535+8192 ~x420534+4096 ~x420533+2048 ~x420532+1024 ~x420531+512 ~x420530+256 ~x420529+128 ~x420528+64 ~x420527+32 ~x420526+16 ~x420525+8 ~x420524+4 ~x420523+2 ~x420522+1 ~x420521+536870912 x1111+268435456 x1110+134217728 x1109+67108864 x1108+33554432 x1107+16777216 x1106+8388608 x1105+4194304 x1104+2097152 x1103+1048576 x1102+524288 x1101+262144 x1100+131072 x1099+65536 x1098+32768 x1097+16384 x1096+8192 x1095+4096 x1094+2048 x1093+1024 x1092+512 x1091+256 x1090+128 x1089+64 x1088+32 x1087+16 x1086+8 x1085+4 x1084+2 x1083+1 x1082+536870912 ~x1081+268435456 ~x1080+134217728 ~x1079+67108864 ~x1078+33554432 ~x1077+16777216 ~x1076+8388608 ~x1075+4194304 ~x1074+2097152 ~x1073+1048576 ~x1072+524288 ~x1071+262144 ~x1070+131072 ~x1069+65536 ~x1068+32768 ~x1067+16384 ~x1066+8192 ~x1065+4096 ~x1064+2048 ~x1063+1024 ~x1062+512 ~x1061+256 ~x1060+128 ~x1059+64 ~x1058+32 ~x1057+16 ~x1056+8 ~x1055+4 ~x1054+2 ~x1053+1 ~x1052-0=2146336766
18.47/18.51	c 536870912 ~x452293+268435456 ~x452292+134217728 ~x452291+67108864 ~x452290+33554432 ~x452289+16777216 ~x452288+8388608 ~x452287+4194304 ~x452286+2097152 ~x452285+1048576 ~x452284+524288 ~x452283+262144 ~x452282+131072 ~x452281+65536 ~x452280+32768 ~x452279+16384 ~x452278+8192 ~x452277+4096 ~x452276+2048 ~x452275+1024 ~x452274+512 ~x452273+256 ~x452272+128 ~x452271+64 ~x452270+32 ~x452269+16 ~x452268+8 ~x452267+4 ~x452266+2 ~x452265+1 ~x452264+536870912 x1201+268435456 x1200+134217728 x1199+67108864 x1198+33554432 x1197+16777216 x1196+8388608 x1195+4194304 x1194+2097152 x1193+1048576 x1192+524288 x1191+262144 x1190+131072 x1189+65536 x1188+32768 x1187+16384 x1186+8192 x1185+4096 x1184+2048 x1183+1024 x1182+512 x1181+256 x1180+128 x1179+64 x1178+32 x1177+16 x1176+8 x1175+4 x1174+2 x1173+1 x1172+536870912 ~x1171+268435456 ~x1170+134217728 ~x1169+67108864 ~x1168+33554432 ~x1167+16777216 ~x1166+8388608 ~x1165+4194304 ~x1164+2097152 ~x1163+1048576 ~x1162+524288 ~x1161+262144 ~x1160+131072 ~x1159+65536 ~x1158+32768 ~x1157+16384 ~x1156+8192 ~x1155+4096 ~x1154+2048 ~x1153+1024 ~x1152+512 ~x1151+256 ~x1150+128 ~x1149+64 ~x1148+32 ~x1147+16 ~x1146+8 ~x1145+4 ~x1144+2 ~x1143+1 ~x1142-0=2144862206
19.17/19.24	c 536870912 ~x484036+268435456 ~x484035+134217728 ~x484034+67108864 ~x484033+33554432 ~x484032+16777216 ~x484031+8388608 ~x484030+4194304 ~x484029+2097152 ~x484028+1048576 ~x484027+524288 ~x484026+262144 ~x484025+131072 ~x484024+65536 ~x484023+32768 ~x484022+16384 ~x484021+8192 ~x484020+4096 ~x484019+2048 ~x484018+1024 ~x484017+512 ~x484016+256 ~x484015+128 ~x484014+64 ~x484013+32 ~x484012+16 ~x484011+8 ~x484010+4 ~x484009+2 ~x484008+1 ~x484007+536870912 x1261+268435456 x1260+134217728 x1259+67108864 x1258+33554432 x1257+16777216 x1256+8388608 x1255+4194304 x1254+2097152 x1253+1048576 x1252+524288 x1251+262144 x1250+131072 x1249+65536 x1248+32768 x1247+16384 x1246+8192 x1245+4096 x1244+2048 x1243+1024 x1242+512 x1241+256 x1240+128 x1239+64 x1238+32 x1237+16 x1236+8 x1235+4 x1234+2 x1233+1 x1232+536870912 ~x1231+268435456 ~x1230+134217728 ~x1229+67108864 ~x1228+33554432 ~x1227+16777216 ~x1226+8388608 ~x1225+4194304 ~x1224+2097152 ~x1223+1048576 ~x1222+524288 ~x1221+262144 ~x1220+131072 ~x1219+65536 ~x1218+32768 ~x1217+16384 ~x1216+8192 ~x1215+4096 ~x1214+2048 ~x1213+1024 ~x1212+512 ~x1211+256 ~x1210+128 ~x1209+64 ~x1208+32 ~x1207+16 ~x1206+8 ~x1205+4 ~x1204+2 ~x1203+1 ~x1202-0=2146725886
19.87/19.97	c 536870912 ~x515779+268435456 ~x515778+134217728 ~x515777+67108864 ~x515776+33554432 ~x515775+16777216 ~x515774+8388608 ~x515773+4194304 ~x515772+2097152 ~x515771+1048576 ~x515770+524288 ~x515769+262144 ~x515768+131072 ~x515767+65536 ~x515766+32768 ~x515765+16384 ~x515764+8192 ~x515763+4096 ~x515762+2048 ~x515761+1024 ~x515760+512 ~x515759+256 ~x515758+128 ~x515757+64 ~x515756+32 ~x515755+16 ~x515754+8 ~x515753+4 ~x515752+2 ~x515751+1 ~x515750+536870912 x1351+268435456 x1350+134217728 x1349+67108864 x1348+33554432 x1347+16777216 x1346+8388608 x1345+4194304 x1344+2097152 x1343+1048576 x1342+524288 x1341+262144 x1340+131072 x1339+65536 x1338+32768 x1337+16384 x1336+8192 x1335+4096 x1334+2048 x1333+1024 x1332+512 x1331+256 x1330+128 x1329+64 x1328+32 x1327+16 x1326+8 x1325+4 x1324+2 x1323+1 x1322+536870912 ~x1321+268435456 ~x1320+134217728 ~x1319+67108864 ~x1318+33554432 ~x1317+16777216 ~x1316+8388608 ~x1315+4194304 ~x1314+2097152 ~x1313+1048576 ~x1312+524288 ~x1311+262144 ~x1310+131072 ~x1309+65536 ~x1308+32768 ~x1307+16384 ~x1306+8192 ~x1305+4096 ~x1304+2048 ~x1303+1024 ~x1302+512 ~x1301+256 ~x1300+128 ~x1299+64 ~x1298+32 ~x1297+16 ~x1296+8 ~x1295+4 ~x1294+2 ~x1293+1 ~x1292-0=2146459646
20.67/20.70	c 536870912 ~x547522+268435456 ~x547521+134217728 ~x547520+67108864 ~x547519+33554432 ~x547518+16777216 ~x547517+8388608 ~x547516+4194304 ~x547515+2097152 ~x547514+1048576 ~x547513+524288 ~x547512+262144 ~x547511+131072 ~x547510+65536 ~x547509+32768 ~x547508+16384 ~x547507+8192 ~x547506+4096 ~x547505+2048 ~x547504+1024 ~x547503+512 ~x547502+256 ~x547501+128 ~x547500+64 ~x547499+32 ~x547498+16 ~x547497+8 ~x547496+4 ~x547495+2 ~x547494+1 ~x547493+536870912 x1411+268435456 x1410+134217728 x1409+67108864 x1408+33554432 x1407+16777216 x1406+8388608 x1405+4194304 x1404+2097152 x1403+1048576 x1402+524288 x1401+262144 x1400+131072 x1399+65536 x1398+32768 x1397+16384 x1396+8192 x1395+4096 x1394+2048 x1393+1024 x1392+512 x1391+256 x1390+128 x1389+64 x1388+32 x1387+16 x1386+8 x1385+4 x1384+2 x1383+1 x1382+536870912 ~x1381+268435456 ~x1380+134217728 ~x1379+67108864 ~x1378+33554432 ~x1377+16777216 ~x1376+8388608 ~x1375+4194304 ~x1374+2097152 ~x1373+1048576 ~x1372+524288 ~x1371+262144 ~x1370+131072 ~x1369+65536 ~x1368+32768 ~x1367+16384 ~x1366+8192 ~x1365+4096 ~x1364+2048 ~x1363+1024 ~x1362+512 ~x1361+256 ~x1360+128 ~x1359+64 ~x1358+32 ~x1357+16 ~x1356+8 ~x1355+4 ~x1354+2 ~x1353+1 ~x1352-0=2146992126
21.37/21.43	c 536870912 ~x579265+268435456 ~x579264+134217728 ~x579263+67108864 ~x579262+33554432 ~x579261+16777216 ~x579260+8388608 ~x579259+4194304 ~x579258+2097152 ~x579257+1048576 ~x579256+524288 ~x579255+262144 ~x579254+131072 ~x579253+65536 ~x579252+32768 ~x579251+16384 ~x579250+8192 ~x579249+4096 ~x579248+2048 ~x579247+1024 ~x579246+512 ~x579245+256 ~x579244+128 ~x579243+64 ~x579242+32 ~x579241+16 ~x579240+8 ~x579239+4 ~x579238+2 ~x579237+1 ~x579236+536870912 x1471+268435456 x1470+134217728 x1469+67108864 x1468+33554432 x1467+16777216 x1466+8388608 x1465+4194304 x1464+2097152 x1463+1048576 x1462+524288 x1461+262144 x1460+131072 x1459+65536 x1458+32768 x1457+16384 x1456+8192 x1455+4096 x1454+2048 x1453+1024 x1452+512 x1451+256 x1450+128 x1449+64 x1448+32 x1447+16 x1446+8 x1445+4 x1444+2 x1443+1 x1442+536870912 ~x1441+268435456 ~x1440+134217728 ~x1439+67108864 ~x1438+33554432 ~x1437+16777216 ~x1436+8388608 ~x1435+4194304 ~x1434+2097152 ~x1433+1048576 ~x1432+524288 ~x1431+262144 ~x1430+131072 ~x1429+65536 ~x1428+32768 ~x1427+16384 ~x1426+8192 ~x1425+4096 ~x1424+2048 ~x1423+1024 ~x1422+512 ~x1421+256 ~x1420+128 ~x1419+64 ~x1418+32 ~x1417+16 ~x1416+8 ~x1415+4 ~x1414+2 ~x1413+1 ~x1412-0=2145148926
22.08/22.15	c 536870912 ~x611008+268435456 ~x611007+134217728 ~x611006+67108864 ~x611005+33554432 ~x611004+16777216 ~x611003+8388608 ~x611002+4194304 ~x611001+2097152 ~x611000+1048576 ~x610999+524288 ~x610998+262144 ~x610997+131072 ~x610996+65536 ~x610995+32768 ~x610994+16384 ~x610993+8192 ~x610992+4096 ~x610991+2048 ~x610990+1024 ~x610989+512 ~x610988+256 ~x610987+128 ~x610986+64 ~x610985+32 ~x610984+16 ~x610983+8 ~x610982+4 ~x610981+2 ~x610980+1 ~x610979+536870912 x1531+268435456 x1530+134217728 x1529+67108864 x1528+33554432 x1527+16777216 x1526+8388608 x1525+4194304 x1524+2097152 x1523+1048576 x1522+524288 x1521+262144 x1520+131072 x1519+65536 x1518+32768 x1517+16384 x1516+8192 x1515+4096 x1514+2048 x1513+1024 x1512+512 x1511+256 x1510+128 x1509+64 x1508+32 x1507+16 x1506+8 x1505+4 x1504+2 x1503+1 x1502+536870912 ~x1501+268435456 ~x1500+134217728 ~x1499+67108864 ~x1498+33554432 ~x1497+16777216 ~x1496+8388608 ~x1495+4194304 ~x1494+2097152 ~x1493+1048576 ~x1492+524288 ~x1491+262144 ~x1490+131072 ~x1489+65536 ~x1488+32768 ~x1487+16384 ~x1486+8192 ~x1485+4096 ~x1484+2048 ~x1483+1024 ~x1482+512 ~x1481+256 ~x1480+128 ~x1479+64 ~x1478+32 ~x1477+16 ~x1476+8 ~x1475+4 ~x1474+2 ~x1473+1 ~x1472-0=2146521086
22.78/22.88	c 536870912 ~x642751+268435456 ~x642750+134217728 ~x642749+67108864 ~x642748+33554432 ~x642747+16777216 ~x642746+8388608 ~x642745+4194304 ~x642744+2097152 ~x642743+1048576 ~x642742+524288 ~x642741+262144 ~x642740+131072 ~x642739+65536 ~x642738+32768 ~x642737+16384 ~x642736+8192 ~x642735+4096 ~x642734+2048 ~x642733+1024 ~x642732+512 ~x642731+256 ~x642730+128 ~x642729+64 ~x642728+32 ~x642727+16 ~x642726+8 ~x642725+4 ~x642724+2 ~x642723+1 ~x642722+536870912 x1591+268435456 x1590+134217728 x1589+67108864 x1588+33554432 x1587+16777216 x1586+8388608 x1585+4194304 x1584+2097152 x1583+1048576 x1582+524288 x1581+262144 x1580+131072 x1579+65536 x1578+32768 x1577+16384 x1576+8192 x1575+4096 x1574+2048 x1573+1024 x1572+512 x1571+256 x1570+128 x1569+64 x1568+32 x1567+16 x1566+8 x1565+4 x1564+2 x1563+1 x1562+536870912 ~x1561+268435456 ~x1560+134217728 ~x1559+67108864 ~x1558+33554432 ~x1557+16777216 ~x1556+8388608 ~x1555+4194304 ~x1554+2097152 ~x1553+1048576 ~x1552+524288 ~x1551+262144 ~x1550+131072 ~x1549+65536 ~x1548+32768 ~x1547+16384 ~x1546+8192 ~x1545+4096 ~x1544+2048 ~x1543+1024 ~x1542+512 ~x1541+256 ~x1540+128 ~x1539+64 ~x1538+32 ~x1537+16 ~x1536+8 ~x1535+4 ~x1534+2 ~x1533+1 ~x1532-0=2141421566
23.58/23.62	c 536870912 ~x674494+268435456 ~x674493+134217728 ~x674492+67108864 ~x674491+33554432 ~x674490+16777216 ~x674489+8388608 ~x674488+4194304 ~x674487+2097152 ~x674486+1048576 ~x674485+524288 ~x674484+262144 ~x674483+131072 ~x674482+65536 ~x674481+32768 ~x674480+16384 ~x674479+8192 ~x674478+4096 ~x674477+2048 ~x674476+1024 ~x674475+512 ~x674474+256 ~x674473+128 ~x674472+64 ~x674471+32 ~x674470+16 ~x674469+8 ~x674468+4 ~x674467+2 ~x674466+1 ~x674465+536870912 x1711+268435456 x1710+134217728 x1709+67108864 x1708+33554432 x1707+16777216 x1706+8388608 x1705+4194304 x1704+2097152 x1703+1048576 x1702+524288 x1701+262144 x1700+131072 x1699+65536 x1698+32768 x1697+16384 x1696+8192 x1695+4096 x1694+2048 x1693+1024 x1692+512 x1691+256 x1690+128 x1689+64 x1688+32 x1687+16 x1686+8 x1685+4 x1684+2 x1683+1 x1682+536870912 ~x1681+268435456 ~x1680+134217728 ~x1679+67108864 ~x1678+33554432 ~x1677+16777216 ~x1676+8388608 ~x1675+4194304 ~x1674+2097152 ~x1673+1048576 ~x1672+524288 ~x1671+262144 ~x1670+131072 ~x1669+65536 ~x1668+32768 ~x1667+16384 ~x1666+8192 ~x1665+4096 ~x1664+2048 ~x1663+1024 ~x1662+512 ~x1661+256 ~x1660+128 ~x1659+64 ~x1658+32 ~x1657+16 ~x1656+8 ~x1655+4 ~x1654+2 ~x1653+1 ~x1652-0=2147217406
24.27/24.34	c 536870912 ~x706237+268435456 ~x706236+134217728 ~x706235+67108864 ~x706234+33554432 ~x706233+16777216 ~x706232+8388608 ~x706231+4194304 ~x706230+2097152 ~x706229+1048576 ~x706228+524288 ~x706227+262144 ~x706226+131072 ~x706225+65536 ~x706224+32768 ~x706223+16384 ~x706222+8192 ~x706221+4096 ~x706220+2048 ~x706219+1024 ~x706218+512 ~x706217+256 ~x706216+128 ~x706215+64 ~x706214+32 ~x706213+16 ~x706212+8 ~x706211+4 ~x706210+2 ~x706209+1 ~x706208+536870912 x1831+268435456 x1830+134217728 x1829+67108864 x1828+33554432 x1827+16777216 x1826+8388608 x1825+4194304 x1824+2097152 x1823+1048576 x1822+524288 x1821+262144 x1820+131072 x1819+65536 x1818+32768 x1817+16384 x1816+8192 x1815+4096 x1814+2048 x1813+1024 x1812+512 x1811+256 x1810+128 x1809+64 x1808+32 x1807+16 x1806+8 x1805+4 x1804+2 x1803+1 x1802+536870912 ~x1801+268435456 ~x1800+134217728 ~x1799+67108864 ~x1798+33554432 ~x1797+16777216 ~x1796+8388608 ~x1795+4194304 ~x1794+2097152 ~x1793+1048576 ~x1792+524288 ~x1791+262144 ~x1790+131072 ~x1789+65536 ~x1788+32768 ~x1787+16384 ~x1786+8192 ~x1785+4096 ~x1784+2048 ~x1783+1024 ~x1782+512 ~x1781+256 ~x1780+128 ~x1779+64 ~x1778+32 ~x1777+16 ~x1776+8 ~x1775+4 ~x1774+2 ~x1773+1 ~x1772-0=2146275326
24.97/25.07	c 536870912 ~x737980+268435456 ~x737979+134217728 ~x737978+67108864 ~x737977+33554432 ~x737976+16777216 ~x737975+8388608 ~x737974+4194304 ~x737973+2097152 ~x737972+1048576 ~x737971+524288 ~x737970+262144 ~x737969+131072 ~x737968+65536 ~x737967+32768 ~x737966+16384 ~x737965+8192 ~x737964+4096 ~x737963+2048 ~x737962+1024 ~x737961+512 ~x737960+256 ~x737959+128 ~x737958+64 ~x737957+32 ~x737956+16 ~x737955+8 ~x737954+4 ~x737953+2 ~x737952+1 ~x737951+536870912 x1921+268435456 x1920+134217728 x1919+67108864 x1918+33554432 x1917+16777216 x1916+8388608 x1915+4194304 x1914+2097152 x1913+1048576 x1912+524288 x1911+262144 x1910+131072 x1909+65536 x1908+32768 x1907+16384 x1906+8192 x1905+4096 x1904+2048 x1903+1024 x1902+512 x1901+256 x1900+128 x1899+64 x1898+32 x1897+16 x1896+8 x1895+4 x1894+2 x1893+1 x1892+536870912 ~x1891+268435456 ~x1890+134217728 ~x1889+67108864 ~x1888+33554432 ~x1887+16777216 ~x1886+8388608 ~x1885+4194304 ~x1884+2097152 ~x1883+1048576 ~x1882+524288 ~x1881+262144 ~x1880+131072 ~x1879+65536 ~x1878+32768 ~x1877+16384 ~x1876+8192 ~x1875+4096 ~x1874+2048 ~x1873+1024 ~x1872+512 ~x1871+256 ~x1870+128 ~x1869+64 ~x1868+32 ~x1867+16 ~x1866+8 ~x1865+4 ~x1864+2 ~x1863+1 ~x1862-0=2135748606
25.77/25.80	c 536870912 ~x769723+268435456 ~x769722+134217728 ~x769721+67108864 ~x769720+33554432 ~x769719+16777216 ~x769718+8388608 ~x769717+4194304 ~x769716+2097152 ~x769715+1048576 ~x769714+524288 ~x769713+262144 ~x769712+131072 ~x769711+65536 ~x769710+32768 ~x769709+16384 ~x769708+8192 ~x769707+4096 ~x769706+2048 ~x769705+1024 ~x769704+512 ~x769703+256 ~x769702+128 ~x769701+64 ~x769700+32 ~x769699+16 ~x769698+8 ~x769697+4 ~x769696+2 ~x769695+1 ~x769694+536870912 x1981+268435456 x1980+134217728 x1979+67108864 x1978+33554432 x1977+16777216 x1976+8388608 x1975+4194304 x1974+2097152 x1973+1048576 x1972+524288 x1971+262144 x1970+131072 x1969+65536 x1968+32768 x1967+16384 x1966+8192 x1965+4096 x1964+2048 x1963+1024 x1962+512 x1961+256 x1960+128 x1959+64 x1958+32 x1957+16 x1956+8 x1955+4 x1954+2 x1953+1 x1952+536870912 ~x1951+268435456 ~x1950+134217728 ~x1949+67108864 ~x1948+33554432 ~x1947+16777216 ~x1946+8388608 ~x1945+4194304 ~x1944+2097152 ~x1943+1048576 ~x1942+524288 ~x1941+262144 ~x1940+131072 ~x1939+65536 ~x1938+32768 ~x1937+16384 ~x1936+8192 ~x1935+4096 ~x1934+2048 ~x1933+1024 ~x1932+512 ~x1931+256 ~x1930+128 ~x1929+64 ~x1928+32 ~x1927+16 ~x1926+8 ~x1925+4 ~x1924+2 ~x1923+1 ~x1922-0=2146848766
26.47/26.53	c 536870912 ~x801466+268435456 ~x801465+134217728 ~x801464+67108864 ~x801463+33554432 ~x801462+16777216 ~x801461+8388608 ~x801460+4194304 ~x801459+2097152 ~x801458+1048576 ~x801457+524288 ~x801456+262144 ~x801455+131072 ~x801454+65536 ~x801453+32768 ~x801452+16384 ~x801451+8192 ~x801450+4096 ~x801449+2048 ~x801448+1024 ~x801447+512 ~x801446+256 ~x801445+128 ~x801444+64 ~x801443+32 ~x801442+16 ~x801441+8 ~x801440+4 ~x801439+2 ~x801438+1 ~x801437+536870912 x2071+268435456 x2070+134217728 x2069+67108864 x2068+33554432 x2067+16777216 x2066+8388608 x2065+4194304 x2064+2097152 x2063+1048576 x2062+524288 x2061+262144 x2060+131072 x2059+65536 x2058+32768 x2057+16384 x2056+8192 x2055+4096 x2054+2048 x2053+1024 x2052+512 x2051+256 x2050+128 x2049+64 x2048+32 x2047+16 x2046+8 x2045+4 x2044+2 x2043+1 x2042+536870912 ~x2041+268435456 ~x2040+134217728 ~x2039+67108864 ~x2038+33554432 ~x2037+16777216 ~x2036+8388608 ~x2035+4194304 ~x2034+2097152 ~x2033+1048576 ~x2032+524288 ~x2031+262144 ~x2030+131072 ~x2029+65536 ~x2028+32768 ~x2027+16384 ~x2026+8192 ~x2025+4096 ~x2024+2048 ~x2023+1024 ~x2022+512 ~x2021+256 ~x2020+128 ~x2019+64 ~x2018+32 ~x2017+16 ~x2016+8 ~x2015+4 ~x2014+2 ~x2013+1 ~x2012-0=2121207806
27.17/27.27	c 536870912 ~x833209+268435456 ~x833208+134217728 ~x833207+67108864 ~x833206+33554432 ~x833205+16777216 ~x833204+8388608 ~x833203+4194304 ~x833202+2097152 ~x833201+1048576 ~x833200+524288 ~x833199+262144 ~x833198+131072 ~x833197+65536 ~x833196+32768 ~x833195+16384 ~x833194+8192 ~x833193+4096 ~x833192+2048 ~x833191+1024 ~x833190+512 ~x833189+256 ~x833188+128 ~x833187+64 ~x833186+32 ~x833185+16 ~x833184+8 ~x833183+4 ~x833182+2 ~x833181+1 ~x833180+536870912 x2161+268435456 x2160+134217728 x2159+67108864 x2158+33554432 x2157+16777216 x2156+8388608 x2155+4194304 x2154+2097152 x2153+1048576 x2152+524288 x2151+262144 x2150+131072 x2149+65536 x2148+32768 x2147+16384 x2146+8192 x2145+4096 x2144+2048 x2143+1024 x2142+512 x2141+256 x2140+128 x2139+64 x2138+32 x2137+16 x2136+8 x2135+4 x2134+2 x2133+1 x2132+536870912 ~x2131+268435456 ~x2130+134217728 ~x2129+67108864 ~x2128+33554432 ~x2127+16777216 ~x2126+8388608 ~x2125+4194304 ~x2124+2097152 ~x2123+1048576 ~x2122+524288 ~x2121+262144 ~x2120+131072 ~x2119+65536 ~x2118+32768 ~x2117+16384 ~x2116+8192 ~x2115+4096 ~x2114+2048 ~x2113+1024 ~x2112+512 ~x2111+256 ~x2110+128 ~x2109+64 ~x2108+32 ~x2107+16 ~x2106+8 ~x2105+4 ~x2104+2 ~x2103+1 ~x2102-0=2144452606
27.97/28.00	c 536870912 ~x864952+268435456 ~x864951+134217728 ~x864950+67108864 ~x864949+33554432 ~x864948+16777216 ~x864947+8388608 ~x864946+4194304 ~x864945+2097152 ~x864944+1048576 ~x864943+524288 ~x864942+262144 ~x864941+131072 ~x864940+65536 ~x864939+32768 ~x864938+16384 ~x864937+8192 ~x864936+4096 ~x864935+2048 ~x864934+1024 ~x864933+512 ~x864932+256 ~x864931+128 ~x864930+64 ~x864929+32 ~x864928+16 ~x864927+8 ~x864926+4 ~x864925+2 ~x864924+1 ~x864923+536870912 x2221+268435456 x2220+134217728 x2219+67108864 x2218+33554432 x2217+16777216 x2216+8388608 x2215+4194304 x2214+2097152 x2213+1048576 x2212+524288 x2211+262144 x2210+131072 x2209+65536 x2208+32768 x2207+16384 x2206+8192 x2205+4096 x2204+2048 x2203+1024 x2202+512 x2201+256 x2200+128 x2199+64 x2198+32 x2197+16 x2196+8 x2195+4 x2194+2 x2193+1 x2192+536870912 ~x2191+268435456 ~x2190+134217728 ~x2189+67108864 ~x2188+33554432 ~x2187+16777216 ~x2186+8388608 ~x2185+4194304 ~x2184+2097152 ~x2183+1048576 ~x2182+524288 ~x2181+262144 ~x2180+131072 ~x2179+65536 ~x2178+32768 ~x2177+16384 ~x2176+8192 ~x2175+4096 ~x2174+2048 ~x2173+1024 ~x2172+512 ~x2171+256 ~x2170+128 ~x2169+64 ~x2168+32 ~x2167+16 ~x2166+8 ~x2165+4 ~x2164+2 ~x2163+1 ~x2162-0=2146828286
28.67/28.72	c 536870912 ~x896695+268435456 ~x896694+134217728 ~x896693+67108864 ~x896692+33554432 ~x896691+16777216 ~x896690+8388608 ~x896689+4194304 ~x896688+2097152 ~x896687+1048576 ~x896686+524288 ~x896685+262144 ~x896684+131072 ~x896683+65536 ~x896682+32768 ~x896681+16384 ~x896680+8192 ~x896679+4096 ~x896678+2048 ~x896677+1024 ~x896676+512 ~x896675+256 ~x896674+128 ~x896673+64 ~x896672+32 ~x896671+16 ~x896670+8 ~x896669+4 ~x896668+2 ~x896667+1 ~x896666+536870912 x2341+268435456 x2340+134217728 x2339+67108864 x2338+33554432 x2337+16777216 x2336+8388608 x2335+4194304 x2334+2097152 x2333+1048576 x2332+524288 x2331+262144 x2330+131072 x2329+65536 x2328+32768 x2327+16384 x2326+8192 x2325+4096 x2324+2048 x2323+1024 x2322+512 x2321+256 x2320+128 x2319+64 x2318+32 x2317+16 x2316+8 x2315+4 x2314+2 x2313+1 x2312+536870912 ~x2311+268435456 ~x2310+134217728 ~x2309+67108864 ~x2308+33554432 ~x2307+16777216 ~x2306+8388608 ~x2305+4194304 ~x2304+2097152 ~x2303+1048576 ~x2302+524288 ~x2301+262144 ~x2300+131072 ~x2299+65536 ~x2298+32768 ~x2297+16384 ~x2296+8192 ~x2295+4096 ~x2294+2048 ~x2293+1024 ~x2292+512 ~x2291+256 ~x2290+128 ~x2289+64 ~x2288+32 ~x2287+16 ~x2286+8 ~x2285+4 ~x2284+2 ~x2283+1 ~x2282-0=2147053566
29.37/29.45	c 536870912 ~x928438+268435456 ~x928437+134217728 ~x928436+67108864 ~x928435+33554432 ~x928434+16777216 ~x928433+8388608 ~x928432+4194304 ~x928431+2097152 ~x928430+1048576 ~x928429+524288 ~x928428+262144 ~x928427+131072 ~x928426+65536 ~x928425+32768 ~x928424+16384 ~x928423+8192 ~x928422+4096 ~x928421+2048 ~x928420+1024 ~x928419+512 ~x928418+256 ~x928417+128 ~x928416+64 ~x928415+32 ~x928414+16 ~x928413+8 ~x928412+4 ~x928411+2 ~x928410+1 ~x928409+536870912 x2581+268435456 x2580+134217728 x2579+67108864 x2578+33554432 x2577+16777216 x2576+8388608 x2575+4194304 x2574+2097152 x2573+1048576 x2572+524288 x2571+262144 x2570+131072 x2569+65536 x2568+32768 x2567+16384 x2566+8192 x2565+4096 x2564+2048 x2563+1024 x2562+512 x2561+256 x2560+128 x2559+64 x2558+32 x2557+16 x2556+8 x2555+4 x2554+2 x2553+1 x2552+536870912 ~x2551+268435456 ~x2550+134217728 ~x2549+67108864 ~x2548+33554432 ~x2547+16777216 ~x2546+8388608 ~x2545+4194304 ~x2544+2097152 ~x2543+1048576 ~x2542+524288 ~x2541+262144 ~x2540+131072 ~x2539+65536 ~x2538+32768 ~x2537+16384 ~x2536+8192 ~x2535+4096 ~x2534+2048 ~x2533+1024 ~x2532+512 ~x2531+256 ~x2530+128 ~x2529+64 ~x2528+32 ~x2527+16 ~x2526+8 ~x2525+4 ~x2524+2 ~x2523+1 ~x2522-0=2147340286
30.07/30.18	c 536870912 ~x960181+268435456 ~x960180+134217728 ~x960179+67108864 ~x960178+33554432 ~x960177+16777216 ~x960176+8388608 ~x960175+4194304 ~x960174+2097152 ~x960173+1048576 ~x960172+524288 ~x960171+262144 ~x960170+131072 ~x960169+65536 ~x960168+32768 ~x960167+16384 ~x960166+8192 ~x960165+4096 ~x960164+2048 ~x960163+1024 ~x960162+512 ~x960161+256 ~x960160+128 ~x960159+64 ~x960158+32 ~x960157+16 ~x960156+8 ~x960155+4 ~x960154+2 ~x960153+1 ~x960152+536870912 x2641+268435456 x2640+134217728 x2639+67108864 x2638+33554432 x2637+16777216 x2636+8388608 x2635+4194304 x2634+2097152 x2633+1048576 x2632+524288 x2631+262144 x2630+131072 x2629+65536 x2628+32768 x2627+16384 x2626+8192 x2625+4096 x2624+2048 x2623+1024 x2622+512 x2621+256 x2620+128 x2619+64 x2618+32 x2617+16 x2616+8 x2615+4 x2614+2 x2613+1 x2612+536870912 ~x2611+268435456 ~x2610+134217728 ~x2609+67108864 ~x2608+33554432 ~x2607+16777216 ~x2606+8388608 ~x2605+4194304 ~x2604+2097152 ~x2603+1048576 ~x2602+524288 ~x2601+262144 ~x2600+131072 ~x2599+65536 ~x2598+32768 ~x2597+16384 ~x2596+8192 ~x2595+4096 ~x2594+2048 ~x2593+1024 ~x2592+512 ~x2591+256 ~x2590+128 ~x2589+64 ~x2588+32 ~x2587+16 ~x2586+8 ~x2585+4 ~x2584+2 ~x2583+1 ~x2582-0=2140909566
30.87/30.91	c 536870912 ~x991924+268435456 ~x991923+134217728 ~x991922+67108864 ~x991921+33554432 ~x991920+16777216 ~x991919+8388608 ~x991918+4194304 ~x991917+2097152 ~x991916+1048576 ~x991915+524288 ~x991914+262144 ~x991913+131072 ~x991912+65536 ~x991911+32768 ~x991910+16384 ~x991909+8192 ~x991908+4096 ~x991907+2048 ~x991906+1024 ~x991905+512 ~x991904+256 ~x991903+128 ~x991902+64 ~x991901+32 ~x991900+16 ~x991899+8 ~x991898+4 ~x991897+2 ~x991896+1 ~x991895+536870912 x2731+268435456 x2730+134217728 x2729+67108864 x2728+33554432 x2727+16777216 x2726+8388608 x2725+4194304 x2724+2097152 x2723+1048576 x2722+524288 x2721+262144 x2720+131072 x2719+65536 x2718+32768 x2717+16384 x2716+8192 x2715+4096 x2714+2048 x2713+1024 x2712+512 x2711+256 x2710+128 x2709+64 x2708+32 x2707+16 x2706+8 x2705+4 x2704+2 x2703+1 x2702+536870912 ~x2701+268435456 ~x2700+134217728 ~x2699+67108864 ~x2698+33554432 ~x2697+16777216 ~x2696+8388608 ~x2695+4194304 ~x2694+2097152 ~x2693+1048576 ~x2692+524288 ~x2691+262144 ~x2690+131072 ~x2689+65536 ~x2688+32768 ~x2687+16384 ~x2686+8192 ~x2685+4096 ~x2684+2048 ~x2683+1024 ~x2682+512 ~x2681+256 ~x2680+128 ~x2679+64 ~x2678+32 ~x2677+16 ~x2676+8 ~x2675+4 ~x2674+2 ~x2673+1 ~x2672-0=2146377726
31.56/31.65	c 536870912 ~x1023667+268435456 ~x1023666+134217728 ~x1023665+67108864 ~x1023664+33554432 ~x1023663+16777216 ~x1023662+8388608 ~x1023661+4194304 ~x1023660+2097152 ~x1023659+1048576 ~x1023658+524288 ~x1023657+262144 ~x1023656+131072 ~x1023655+65536 ~x1023654+32768 ~x1023653+16384 ~x1023652+8192 ~x1023651+4096 ~x1023650+2048 ~x1023649+1024 ~x1023648+512 ~x1023647+256 ~x1023646+128 ~x1023645+64 ~x1023644+32 ~x1023643+16 ~x1023642+8 ~x1023641+4 ~x1023640+2 ~x1023639+1 ~x1023638+536870912 x2821+268435456 x2820+134217728 x2819+67108864 x2818+33554432 x2817+16777216 x2816+8388608 x2815+4194304 x2814+2097152 x2813+1048576 x2812+524288 x2811+262144 x2810+131072 x2809+65536 x2808+32768 x2807+16384 x2806+8192 x2805+4096 x2804+2048 x2803+1024 x2802+512 x2801+256 x2800+128 x2799+64 x2798+32 x2797+16 x2796+8 x2795+4 x2794+2 x2793+1 x2792+536870912 ~x2791+268435456 ~x2790+134217728 ~x2789+67108864 ~x2788+33554432 ~x2787+16777216 ~x2786+8388608 ~x2785+4194304 ~x2784+2097152 ~x2783+1048576 ~x2782+

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-2674751-1276799976/watcher-2674751-1276799976 -o /tmp/evaluation-result-2674751-1276799976/solver-2674751-1276799976 -C 1800 -W 2000 -M 1800 run HOME/instance-2674751-1276799976.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: 1.13 1.10 1.01 3/106 19197
/proc/meminfo: memFree=1884912/2059040 swapFree=4139188/4192956
[pid=19197] ppid=19195 vsize=8700 CPUtime=0
/proc/19197/stat : 19197 (run) S 19195 19197 19048 0 -1 4202496 389 134 0 0 0 0 0 0 20 0 1 0 55601255 8908800 250 1992294400 4194304 4922060 140734784580464 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19197/statm: 2175 250 211 178 0 68 0

[startup+0.029119 s]
/proc/loadavg: 1.13 1.10 1.01 3/106 19197
/proc/meminfo: memFree=1884912/2059040 swapFree=4139188/4192956
[pid=19197] ppid=19195 vsize=8700 CPUtime=0
/proc/19197/stat : 19197 (run) S 19195 19197 19048 0 -1 4202496 389 134 0 0 0 0 0 0 20 0 1 0 55601255 8908800 250 1992294400 4194304 4922060 140734784580464 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19197/statm: 2175 250 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.101126 s]
/proc/loadavg: 1.13 1.10 1.01 3/106 19197
/proc/meminfo: memFree=1884912/2059040 swapFree=4139188/4192956
[pid=19197] ppid=19195 vsize=8700 CPUtime=0
/proc/19197/stat : 19197 (run) S 19195 19197 19048 0 -1 4202496 389 134 0 0 0 0 0 0 20 0 1 0 55601255 8908800 250 1992294400 4194304 4922060 140734784580464 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19197/statm: 2175 250 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.301149 s]
/proc/loadavg: 1.13 1.10 1.01 3/106 19197
/proc/meminfo: memFree=1884912/2059040 swapFree=4139188/4192956
[pid=19197] ppid=19195 vsize=8700 CPUtime=0
/proc/19197/stat : 19197 (run) S 19195 19197 19048 0 -1 4202496 389 134 0 0 0 0 0 0 20 0 1 0 55601255 8908800 250 1992294400 4194304 4922060 140734784580464 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19197/statm: 2175 250 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.701194 s]
/proc/loadavg: 1.13 1.10 1.01 3/106 19197
/proc/meminfo: memFree=1884912/2059040 swapFree=4139188/4192956
[pid=19197] ppid=19195 vsize=8700 CPUtime=0
/proc/19197/stat : 19197 (run) S 19195 19197 19048 0 -1 4202496 389 134 0 0 0 0 0 0 20 0 1 0 55601255 8908800 250 1992294400 4194304 4922060 140734784580464 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19197/statm: 2175 250 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50129 s]
/proc/loadavg: 1.13 1.10 1.01 2/108 19200
/proc/meminfo: memFree=1750108/2059040 swapFree=4139188/4192956
[pid=19197] ppid=19195 vsize=8700 CPUtime=0
/proc/19197/stat : 19197 (run) S 19195 19197 19048 0 -1 4202496 389 134 0 0 0 0 0 0 20 0 1 0 55601255 8908800 250 1992294400 4194304 4922060 140734784580464 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19197/statm: 2175 250 211 178 0 68 0
[pid=19199] ppid=19197 vsize=226276 CPUtime=1.48
/proc/19199/stat : 19199 (PBPASSolver) R 19197 19197 19048 0 -1 4202496 56689 0 0 0 57 91 0 0 25 0 1 0 55601255 231706624 55955 1992294400 134512640 134902295 4291063744 18446744073709551615 4294960144 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/19199/statm: 56569 55955 256 96 0 55781 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 234976

[startup+3.10147 s]
/proc/loadavg: 1.12 1.10 1.01 2/108 19200
/proc/meminfo: memFree=1574648/2059040 swapFree=4139188/4192956
[pid=19197] ppid=19195 vsize=8700 CPUtime=0
/proc/19197/stat : 19197 (run) S 19195 19197 19048 0 -1 4202496 389 134 0 0 0 0 0 0 20 0 1 0 55601255 8908800 250 1992294400 4194304 4922060 140734784580464 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19197/statm: 2175 250 211 178 0 68 0
[pid=19199] ppid=19197 vsize=448132 CPUtime=3.08
/proc/19199/stat : 19199 (PBPASSolver) R 19197 19197 19048 0 -1 4202496 112967 0 0 0 128 180 0 0 25 0 1 0 55601255 458887168 111465 1992294400 134512640 134902295 4291063744 18446744073709551615 4294960144 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/19199/statm: 112033 111465 256 96 0 111245 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 456832

[startup+6.30184 s]
/proc/loadavg: 1.12 1.10 1.01 2/108 19200
/proc/meminfo: memFree=1152800/2059040 swapFree=4139188/4192956
[pid=19197] ppid=19195 vsize=8700 CPUtime=0
/proc/19197/stat : 19197 (run) S 19195 19197 19048 0 -1 4202496 389 134 0 0 0 0 0 0 20 0 1 0 55601255 8908800 250 1992294400 4194304 4922060 140734784580464 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19197/statm: 2175 250 211 178 0 68 0
[pid=19199] ppid=19197 vsize=824868 CPUtime=6.28
/proc/19199/stat : 19199 (PBPASSolver) R 19197 19197 19048 0 -1 4202496 208344 0 0 0 291 337 0 0 25 0 1 0 55601255 844664832 205594 1992294400 134512640 134902295 4291063744 18446744073709551615 4294960144 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/19199/statm: 206217 205594 256 96 0 205429 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 833568

[startup+12.7016 s]
/proc/loadavg: 1.10 1.09 1.01 2/108 19200
/proc/meminfo: memFree=820976/2059040 swapFree=4139188/4192956
[pid=19197] ppid=19195 vsize=8700 CPUtime=0
/proc/19197/stat : 19197 (run) S 19195 19197 19048 0 -1 4202496 389 134 0 0 0 0 0 0 20 0 1 0 55601255 8908800 250 1992294400 4194304 4922060 140734784580464 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19197/statm: 2175 250 211 178 0 68 0
[pid=19199] ppid=19197 vsize=1077316 CPUtime=12.68
/proc/19199/stat : 19199 (PBPASSolver) R 19197 19197 19048 0 -1 4202496 280497 0 0 0 855 413 0 0 25 0 1 0 55601255 1103171584 268339 1992294400 134512640 134902295 4291063744 18446744073709551615 3151356 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/19199/statm: 269329 268339 262 96 0 268541 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1086016

[startup+25.5011 s]
/proc/loadavg: 1.09 1.09 1.01 2/108 19200
/proc/meminfo: memFree=581408/2059040 swapFree=4139188/4192956
[pid=19197] ppid=19195 vsize=8700 CPUtime=0
/proc/19197/stat : 19197 (run) S 19195 19197 19048 0 -1 4202496 389 134 0 0 0 0 0 0 20 0 1 0 55601255 8908800 250 1992294400 4194304 4922060 140734784580464 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19197/statm: 2175 250 211 178 0 68 0
[pid=19199] ppid=19197 vsize=1318284 CPUtime=25.47
/proc/19199/stat : 19199 (PBPASSolver) R 19197 19197 19048 0 -1 4202496 339347 0 0 0 2110 437 0 0 25 0 1 0 55601255 1349922816 326566 1992294400 134512640 134902295 4291063744 18446744073709551615 3151356 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/19199/statm: 329571 326567 262 96 0 328783 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 1326984

[startup+51.101 s]
/proc/loadavg: 1.06 1.08 1.01 2/108 19200
/proc/meminfo: memFree=122360/2059040 swapFree=4139188/4192956
[pid=19197] ppid=19195 vsize=8700 CPUtime=0
/proc/19197/stat : 19197 (run) S 19195 19197 19048 0 -1 4202496 389 134 0 0 0 0 0 0 20 0 1 0 55601255 8908800 250 1992294400 4194304 4922060 140734784580464 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19197/statm: 2175 250 211 178 0 68 0
[pid=19199] ppid=19197 vsize=1812848 CPUtime=51.06
/proc/19199/stat : 19199 (PBPASSolver) R 19197 19197 19048 0 -1 4202496 458210 0 0 0 4615 491 0 0 25 0 1 0 55601255 1856356352 442343 1992294400 134512640 134902295 4291063744 18446744073709551615 3151356 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/19199/statm: 453212 442343 262 96 0 452424 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 1821548



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+52.6012 s]
/proc/loadavg: 1.05 1.08 1.01 2/108 19200
/proc/meminfo: memFree=64824/2059040 swapFree=4139188/4192956
[pid=19197] ppid=19195 vsize=8700 CPUtime=0
/proc/19197/stat : 19197 (run) S 19195 19197 19048 0 -1 4202496 389 134 0 0 0 0 0 0 20 0 1 0 55601255 8908800 250 1992294400 4194304 4922060 140734784580464 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19197/statm: 2175 250 211 178 0 68 0
[pid=19199] ppid=19197 vsize=1860932 CPUtime=52.56
/proc/19199/stat : 19199 (PBPASSolver) R 19197 19197 19048 0 -1 4202496 470086 0 0 0 4761 495 0 0 25 0 1 0 55601255 1905594368 454219 1992294400 134512640 134902295 4291063744 18446744073709551615 3151356 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/19199/statm: 465233 454219 262 96 0 464445 0
Current children cumulated CPU time (s) 52.56
Current children cumulated vsize (KiB) 1869632

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 19197 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=1999
# CPU time returned by wait4() is 0.002998
# while last known CPU time is 52.56
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 52.6145
CPU time (s): 52.56
CPU user time (s): 47.61
CPU system time (s): 4.95
CPU usage (%): 99.8965
Max. virtual memory (cumulated for all children) (KiB): 1869632

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000999
system time used= 0.001999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 523
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= 3

runsolver used 0.107983 second user time and 0.25696 second system time

The end

Begin job on node006 at 2010-06-17 20:39:36
IDJOB=2674751
IDBENCH=2451
IDSOLVER=1174
FILE ID=node006/2674751-1276799976
PBS_JOBID= 11176676
Free space on /tmp= 62500 MiB

SOLVER NAME= PBPASSolver 2010-06-13
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-beaconfd.opb
COMMAND LINE= run BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2674751-1276799976/watcher-2674751-1276799976 -o /tmp/evaluation-result-2674751-1276799976/solver-2674751-1276799976 -C 1800 -W 2000 -M 1800  run HOME/instance-2674751-1276799976.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 82f615abc3129d59c14793e11ecbb793
RANDOM SEED=1179109932

node006.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.204
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.40
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.204
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:       1885556 kB
Buffers:          8980 kB
Cached:          73412 kB
SwapCached:       6100 kB
Active:          28652 kB
Inactive:        66432 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1885556 kB
SwapTotal:     4192956 kB
SwapFree:      4139188 kB
Dirty:            2300 kB
Writeback:           0 kB
AnonPages:       11308 kB
Mapped:          12880 kB
Slab:            56452 kB
PageTables:       4032 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181368 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= 62500 MiB
End job on node006 at 2010-06-17 20:40:31