Trace number 2673979

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
PBPASSolver 2010-06-13? (MO) 91.18 91.2226

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-kb2.opb
MD5SUM7bb51fb18714f8fdd98e0de4fc62f6d8
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark1800.23
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 0
Optimality of the best value was proved NO
Number of variables1096
Total number of constraints52
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints52
Minimum length of a constraint13
Maximum length of a constraint300
Number of terms in the objective function 48
Biggest coefficient in the objective function 4325376
Number of bits for the biggest coefficient in the objective function 23
Sum of the numbers in the objective function 12058535
Number of bits of the sum of numbers in the objective function 24
Biggest number in a constraint 5715913739337728
Number of bits of the biggest number in a constraint 53
Biggest sum of numbers in a constraint 75299293548900036
Number of bits of the biggest sum of numbers57
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.55	c 1096 52 0 0 0 0 0 0
0.00/0.55	c 4096 ~x1110+2048 ~x1109+1024 ~x1108+512 ~x1107+256 ~x1106+128 ~x1105+64 ~x1104+32 ~x1103+16 ~x1102+8 ~x1101+4 ~x1100+2 ~x1099+1 ~x1098+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-0=14334
0.00/0.62	c 32768 ~x3691+16384 ~x3690+8192 ~x3689+4096 ~x3688+2048 ~x3687+1024 ~x3686+512 ~x3685+256 ~x3684+128 ~x3683+64 ~x3682+32 ~x3681+16 ~x3680+8 ~x3679+4 ~x3678+2 ~x3677+1 ~x3676+32768 ~x631+16384 ~x630+8192 ~x629+4096 ~x628+2048 ~x627+1024 ~x626+512 ~x625+256 ~x624+128 ~x623+64 ~x622+32 ~x621+16 ~x620+8 ~x619+4 ~x618+2 ~x617+1 ~x616-0=122878
0.00/0.72	c 4096 ~x7872+2048 ~x7871+1024 ~x7870+512 ~x7869+256 ~x7868+128 ~x7867+64 ~x7866+32 ~x7865+16 ~x7864+8 ~x7863+4 ~x7862+2 ~x7861+1 ~x7860+4096 ~x646+2048 ~x645+1024 ~x644+512 ~x643+256 ~x642+128 ~x641+64 ~x640+32 ~x639+16 ~x638+8 ~x637+4 ~x636+2 ~x635+1 ~x634-0=14334
0.00/0.78	c 8192 ~x10451+4096 ~x10450+2048 ~x10449+1024 ~x10448+512 ~x10447+256 ~x10446+128 ~x10445+64 ~x10444+32 ~x10443+16 ~x10442+8 ~x10441+4 ~x10440+2 ~x10439+1 ~x10438+8192 ~x661+4096 ~x660+2048 ~x659+1024 ~x658+512 ~x657+256 ~x656+128 ~x655+64 ~x654+32 ~x653+16 ~x652+8 ~x651+4 ~x650+2 ~x649+1 ~x648-0=28670
0.00/0.87	c 4096 ~x13778+2048 ~x13777+1024 ~x13776+512 ~x13775+256 ~x13774+128 ~x13773+64 ~x13772+32 ~x13771+16 ~x13770+8 ~x13769+4 ~x13768+2 ~x13767+1 ~x13766+4096 ~x675+2048 ~x674+1024 ~x673+512 ~x672+256 ~x671+128 ~x670+64 ~x669+32 ~x668+16 ~x667+8 ~x666+4 ~x665+2 ~x664+1 ~x663-0=15358
0.00/0.93	c 2048 ~x16355+1024 ~x16354+512 ~x16353+256 ~x16352+128 ~x16351+64 ~x16350+32 ~x16349+16 ~x16348+8 ~x16347+4 ~x16346+2 ~x16345+1 ~x16344+2048 ~x689+1024 ~x688+512 ~x687+256 ~x686+128 ~x685+64 ~x684+32 ~x683+16 ~x682+8 ~x681+4 ~x680+2 ~x679+1 ~x678-0=8190
0.00/0.99	c 16384 ~x18590+8192 ~x18589+4096 ~x18588+2048 ~x18587+1024 ~x18586+512 ~x18585+256 ~x18584+128 ~x18583+64 ~x18582+32 ~x18581+16 ~x18580+8 ~x18579+4 ~x18578+2 ~x18577+1 ~x18576+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-0=61438
1.00/1.08	c 16384 ~x22461+8192 ~x22460+4096 ~x22459+2048 ~x22458+1024 ~x22457+512 ~x22456+256 ~x22455+128 ~x22454+64 ~x22453+32 ~x22452+16 ~x22451+8 ~x22450+4 ~x22449+2 ~x22448+1 ~x22447+16384 ~x723+8192 ~x722+4096 ~x721+2048 ~x720+1024 ~x719+512 ~x718+256 ~x717+128 ~x716+64 ~x715+32 ~x714+16 ~x713+8 ~x712+4 ~x711+2 ~x710+1 ~x709-0=62462
1.09/1.18	c 2048 ~x26329+1024 ~x26328+512 ~x26327+256 ~x26326+128 ~x26325+64 ~x26324+32 ~x26323+16 ~x26322+8 ~x26321+4 ~x26320+2 ~x26319+1 ~x26318+2048 ~x736+1024 ~x735+512 ~x734+256 ~x733+128 ~x732+64 ~x731+32 ~x730+16 ~x729+8 ~x728+4 ~x727+2 ~x726+1 ~x725-0=7166
14.30/14.34	c 140737488355328 ~x598032+70368744177664 ~x598031+35184372088832 ~x598030+17592186044416 ~x598029+8796093022208 ~x598028+4398046511104 ~x598027+2199023255552 ~x598026+1099511627776 ~x598025+549755813888 ~x598024+274877906944 ~x598023+137438953472 ~x598022+68719476736 ~x598021+34359738368 ~x598020+17179869184 ~x598019+8589934592 ~x598018+4294967296 ~x598017+2147483648 ~x598016+1073741824 ~x598015+536870912 ~x598014+268435456 ~x598013+134217728 ~x598012+67108864 ~x598011+33554432 ~x598010+16777216 ~x598009+8388608 ~x598008+4194304 ~x598007+2097152 ~x598006+1048576 ~x598005+524288 ~x598004+262144 ~x598003+131072 ~x598002+65536 ~x598001+32768 ~x598000+16384 ~x597999+8192 ~x597998+4096 ~x597997+2048 ~x597996+1024 ~x597995+512 ~x597994+256 ~x597993+128 ~x597992+64 ~x597991+32 ~x597990+16 ~x597989+8 ~x597988+4 ~x597987+2 ~x597986+1 ~x597985+53687091200000 ~x947+26843545600000 ~x946+13421772800000 ~x945+6710886400000 ~x944+3355443200000 ~x943+1677721600000 ~x942+838860800000 ~x941+419430400000 ~x940+209715200000 ~x939+104857600000 ~x938+52428800000 ~x937+26214400000 ~x936+13107200000 ~x935+6553600000 ~x934+3276800000 ~x933+1638400000 ~x932+819200000 ~x931+409600000 ~x930+204800000 ~x929+102400000 ~x928+51200000 ~x927+25600000 ~x926+12800000 ~x925+6400000 ~x924+3200000 ~x923+1600000 ~x922+800000 ~x921+400000 ~x920+200000 ~x919+100000 ~x918+56513984987136 ~x856+28256992493568 ~x855+14128496246784 ~x854+7064248123392 ~x853+3532124061696 ~x852+1766062030848 ~x851+883031015424 ~x850+441515507712 ~x849+220757753856 ~x848+110378876928 ~x847+55189438464 ~x846+27594719232 ~x845+13797359616 ~x844+6898679808 ~x843+3449339904 ~x842+1724669952 ~x841+862334976 ~x840+431167488 ~x839+215583744 ~x838+107791872 ~x837+53895936 ~x836+26947968 ~x835+13473984 ~x834+6736992 ~x833+3368496 ~x832+1684248 ~x831+842124 ~x830+421062 ~x829+210531 ~x828+66487167483904 x797+33243583741952 x796+16621791870976 x795+8310895935488 x794+4155447967744 x793+2077723983872 x792+1038861991936 x791+519430995968 x790+259715497984 x789+129857748992 x788+64928874496 x787+32464437248 x786+16232218624 x785+8116109312 x784+4058054656 x783+2029027328 x782+1014513664 x781+507256832 x780+253628416 x779+126814208 x778+63407104 x777+31703552 x776+15851776 x775+7925888 x774+3962944 x773+1981472 x772+990736 x771+495368 x770+247684 x769+123842 x768+303655160905728 x551+151827580452864 x550+75913790226432 x549+37956895113216 x548+18978447556608 x547+9489223778304 x546+4744611889152 x545+2372305944576 x544+1186152972288 x543+593076486144 x542+296538243072 x541+148269121536 x540+74134560768 x539+37067280384 x538+18533640192 x537+9266820096 x536+4633410048 x535+2316705024 x534+1158352512 x533+579176256 x532+289588128 x531+144794064 x530+72397032 x529+36198516 x528+18099258 x527+9049629 x526+307447247929344 x461+153723623964672 x460+76861811982336 x459+38430905991168 x458+19215452995584 x457+9607726497792 x456+4803863248896 x455+2401931624448 x454+1200965812224 x453+600482906112 x452+300241453056 x451+150120726528 x450+75060363264 x449+37530181632 x448+18765090816 x447+9382545408 x446+4691272704 x445+2345636352 x444+1172818176 x443+586409088 x442+293204544 x441+146602272 x440+73301136 x439+36650568 x438+18325284 x437+9162642 x436+329049289261056 x371+164524644630528 x370+82262322315264 x369+41131161157632 x368+20565580578816 x367+10282790289408 x366+5141395144704 x365+2570697572352 x364+1285348786176 x363+642674393088 x362+321337196544 x361+160668598272 x360+80334299136 x359+40167149568 x358+20083574784 x357+10041787392 x356+5020893696 x355+2510446848 x354+1255223424 x353+627611712 x352+313805856 x351+156902928 x350+78451464 x349+39225732 x348+19612866 x347+9806433 x346+287272410808320 x281+143636205404160 x280+71818102702080 x279+35909051351040 x278+17954525675520 x277+8977262837760 x276+4488631418880 x275+2244315709440 x274+1122157854720 x273+561078927360 x272+280539463680 x271+140269731840 x270+70134865920 x269+35067432960 x268+17533716480 x267+8766858240 x266+4383429120 x265+2191714560 x264+1095857280 x263+547928640 x262+273964320 x261+136982160 x260+68491080 x259+34245540 x258+17122770 x257+8561385 x256+281836089507840 x191+140918044753920 x190+70459022376960 x189+35229511188480 x188+17614755594240 x187+8807377797120 x186+4403688898560 x185+2201844449280 x184+1100922224640 x183+550461112320 x182+275230556160 x181+137615278080 x180+68807639040 x179+34403819520 x178+17201909760 x177+8600954880 x176+4300477440 x175+2150238720 x174+1075119360 x173+537559680 x172+268779840 x171+134389920 x170+67194960 x169+33597480 x168+16798740 x167+8399370 x166+67209691136 x105+33604845568 x104+16802422784 x103+8401211392 x102+4200605696 x101+2100302848 x100+1050151424 x99+525075712 x98+262537856 x97+131268928 x96+65634464 x95+32817232 x94+16408616 x93+8204308 x92+332811613503488 x27+166405806751744 x26+83202903375872 x25+41601451687936 x24+20800725843968 x23+10400362921984 x22+5200181460992 x21+2600090730496 x20+1300045365248 x19+650022682624 x18+325011341312 x17+162505670656 x16+81252835328 x15+40626417664 x14+20313208832 x13+10156604416 x12+5078302208 x11+2539151104 x10+1269575552 x9+634787776 x8+317393888 x7+158696944 x6+79348472 x5+39674236 x4+19837118 x3+9918559 x2-0=501877128774396
19.28/19.33	c 281474976710656 ~x817936+140737488355328 ~x817935+70368744177664 ~x817934+35184372088832 ~x817933+17592186044416 ~x817932+8796093022208 ~x817931+4398046511104 ~x817930+2199023255552 ~x817929+1099511627776 ~x817928+549755813888 ~x817927+274877906944 ~x817926+137438953472 ~x817925+68719476736 ~x817924+34359738368 ~x817923+17179869184 ~x817922+8589934592 ~x817921+4294967296 ~x817920+2147483648 ~x817919+1073741824 ~x817918+536870912 ~x817917+268435456 ~x817916+134217728 ~x817915+67108864 ~x817914+33554432 ~x817913+16777216 ~x817912+8388608 ~x817911+4194304 ~x817910+2097152 ~x817909+1048576 ~x817908+524288 ~x817907+262144 ~x817906+131072 ~x817905+65536 ~x817904+32768 ~x817903+16384 ~x817902+8192 ~x817901+4096 ~x817900+2048 ~x817899+1024 ~x817898+512 ~x817897+256 ~x817896+128 ~x817895+64 ~x817894+32 ~x817893+16 ~x817892+8 ~x817891+4 ~x817890+2 ~x817889+1 ~x817888+53687091200000 ~x1007+26843545600000 ~x1006+13421772800000 ~x1005+6710886400000 ~x1004+3355443200000 ~x1003+1677721600000 ~x1002+838860800000 ~x1001+419430400000 ~x1000+209715200000 ~x999+104857600000 ~x998+52428800000 ~x997+26214400000 ~x996+13107200000 ~x995+6553600000 ~x994+3276800000 ~x993+1638400000 ~x992+819200000 ~x991+409600000 ~x990+204800000 ~x989+102400000 ~x988+51200000 ~x987+25600000 ~x986+12800000 ~x985+6400000 ~x984+3200000 ~x983+1600000 ~x982+800000 ~x981+400000 ~x980+200000 ~x979+100000 ~x978+159744866123776 ~x917+79872433061888 ~x916+39936216530944 ~x915+19968108265472 ~x914+9984054132736 ~x913+4992027066368 ~x912+2496013533184 ~x911+1248006766592 ~x910+624003383296 ~x909+312001691648 ~x908+156000845824 ~x907+78000422912 ~x906+39000211456 ~x905+19500105728 ~x904+9750052864 ~x903+4875026432 ~x902+2437513216 ~x901+1218756608 ~x900+609378304 ~x899+304689152 ~x898+152344576 ~x897+76172288 ~x896+38086144 ~x895+19043072 ~x894+9521536 ~x893+4760768 ~x892+2380384 ~x891+1190192 ~x890+595096 ~x889+297548 ~x888+93967441985536 x827+46983720992768 x826+23491860496384 x825+11745930248192 x824+5872965124096 x823+2936482562048 x822+1468241281024 x821+734120640512 x820+367060320256 x819+183530160128 x818+91765080064 x817+45882540032 x816+22941270016 x815+11470635008 x814+5735317504 x813+2867658752 x812+1433829376 x811+716914688 x810+358457344 x809+179228672 x808+89614336 x807+44807168 x806+22403584 x805+11201792 x804+5600896 x803+2800448 x802+1400224 x801+700112 x800+350056 x799+175028 x798+303655160905728 x611+151827580452864 x610+75913790226432 x609+37956895113216 x608+18978447556608 x607+9489223778304 x606+4744611889152 x605+2372305944576 x604+1186152972288 x603+593076486144 x602+296538243072 x601+148269121536 x600+74134560768 x599+37067280384 x598+18533640192 x597+9266820096 x596+4633410048 x595+2316705024 x594+1158352512 x593+579176256 x592+289588128 x591+144794064 x590+72397032 x589+36198516 x588+18099258 x587+9049629 x586+307447247929344 x521+153723623964672 x520+76861811982336 x519+38430905991168 x518+19215452995584 x517+9607726497792 x516+4803863248896 x515+2401931624448 x514+1200965812224 x513+600482906112 x512+300241453056 x511+150120726528 x510+75060363264 x509+37530181632 x508+18765090816 x507+9382545408 x506+4691272704 x505+2345636352 x504+1172818176 x503+586409088 x502+293204544 x501+146602272 x500+73301136 x499+36650568 x498+18325284 x497+9162642 x496+329049289261056 x431+164524644630528 x430+82262322315264 x429+41131161157632 x428+20565580578816 x427+10282790289408 x426+5141395144704 x425+2570697572352 x424+1285348786176 x423+642674393088 x422+321337196544 x421+160668598272 x420+80334299136 x419+40167149568 x418+20083574784 x417+10041787392 x416+5020893696 x415+2510446848 x414+1255223424 x413+627611712 x412+313805856 x411+156902928 x410+78451464 x409+39225732 x408+19612866 x407+9806433 x406+287272410808320 x341+143636205404160 x340+71818102702080 x339+35909051351040 x338+17954525675520 x337+8977262837760 x336+4488631418880 x335+2244315709440 x334+1122157854720 x333+561078927360 x332+280539463680 x331+140269731840 x330+70134865920 x329+35067432960 x328+17533716480 x327+8766858240 x326+4383429120 x325+2191714560 x324+1095857280 x323+547928640 x322+273964320 x321+136982160 x320+68491080 x319+34245540 x318+17122770 x317+8561385 x316+281836089507840 x251+140918044753920 x250+70459022376960 x249+35229511188480 x248+17614755594240 x247+8807377797120 x246+4403688898560 x245+2201844449280 x244+1100922224640 x243+550461112320 x242+275230556160 x241+137615278080 x240+68807639040 x239+34403819520 x238+17201909760 x237+8600954880 x236+4300477440 x235+2150238720 x234+1075119360 x233+537559680 x232+268779840 x231+134389920 x230+67194960 x229+33597480 x228+16798740 x227+8399370 x226+275290894893056 x161+137645447446528 x160+68822723723264 x159+34411361861632 x158+17205680930816 x157+8602840465408 x156+4301420232704 x155+2150710116352 x154+1075355058176 x153+537677529088 x152+268838764544 x151+134419382272 x150+67209691136 x149+33604845568 x148+16802422784 x147+8401211392 x146+4200605696 x145+2100302848 x144+1050151424 x143+525075712 x142+262537856 x141+131268928 x140+65634464 x139+32817232 x138+16408616 x137+8204308 x136+332811613503488 x87+166405806751744 x86+83202903375872 x85+41601451687936 x84+20800725843968 x83+10400362921984 x82+5200181460992 x81+2600090730496 x80+1300045365248 x79+650022682624 x78+325011341312 x77+162505670656 x76+81252835328 x75+40626417664 x74+20313208832 x73+10156604416 x72+5078302208 x71+2539151104 x70+1269575552 x69+634787776 x68+317393888 x67+158696944 x66+79348472 x65+39674236 x64+19837118 x63+9918559 x62-0=989813867671315
24.48/24.52	c 140737488355328 ~x1047997+70368744177664 ~x1047996+35184372088832 ~x1047995+17592186044416 ~x1047994+8796093022208 ~x1047993+4398046511104 ~x1047992+2199023255552 ~x1047991+1099511627776 ~x1047990+549755813888 ~x1047989+274877906944 ~x1047988+137438953472 ~x1047987+68719476736 ~x1047986+34359738368 ~x1047985+17179869184 ~x1047984+8589934592 ~x1047983+4294967296 ~x1047982+2147483648 ~x1047981+1073741824 ~x1047980+536870912 ~x1047979+268435456 ~x1047978+134217728 ~x1047977+67108864 ~x1047976+33554432 ~x1047975+16777216 ~x1047974+8388608 ~x1047973+4194304 ~x1047972+2097152 ~x1047971+1048576 ~x1047970+524288 ~x1047969+262144 ~x1047968+131072 ~x1047967+65536 ~x1047966+32768 ~x1047965+16384 ~x1047964+8192 ~x1047963+4096 ~x1047962+2048 ~x1047961+1024 ~x1047960+512 ~x1047959+256 ~x1047958+128 ~x1047957+64 ~x1047956+32 ~x1047955+16 ~x1047954+8 ~x1047953+4 ~x1047952+2 ~x1047951+1 ~x1047950+53687091200000 ~x947+26843545600000 ~x946+13421772800000 ~x945+6710886400000 ~x944+3355443200000 ~x943+1677721600000 ~x942+838860800000 ~x941+419430400000 ~x940+209715200000 ~x939+104857600000 ~x938+52428800000 ~x937+26214400000 ~x936+13107200000 ~x935+6553600000 ~x934+3276800000 ~x933+1638400000 ~x932+819200000 ~x931+409600000 ~x930+204800000 ~x929+102400000 ~x928+51200000 ~x927+25600000 ~x926+12800000 ~x925+6400000 ~x924+3200000 ~x923+1600000 ~x922+800000 ~x921+400000 ~x920+200000 ~x919+100000 ~x918+36820486193152 ~x856+18410243096576 ~x855+9205121548288 ~x854+4602560774144 ~x853+2301280387072 ~x852+1150640193536 ~x851+575320096768 ~x850+287660048384 ~x849+143830024192 ~x848+71915012096 ~x847+35957506048 ~x846+17978753024 ~x845+8989376512 ~x844+4494688256 ~x843+2247344128 ~x842+1123672064 ~x841+561836032 ~x840+280918016 ~x839+140459008 ~x838+70229504 ~x837+35114752 ~x836+17557376 ~x835+8778688 ~x834+4389344 ~x833+2194672 ~x832+1097336 ~x831+548668 ~x830+274334 ~x829+137167 ~x828+184102699401216 x797+92051349700608 x796+46025674850304 x795+23012837425152 x794+11506418712576 x793+5753209356288 x792+2876604678144 x791+1438302339072 x790+719151169536 x789+359575584768 x788+179787792384 x787+89893896192 x786+44946948096 x785+22473474048 x784+11236737024 x783+5618368512 x782+2809184256 x781+1404592128 x780+702296064 x779+351148032 x778+175574016 x777+87787008 x776+43893504 x775+21946752 x774+10973376 x773+5486688 x772+2743344 x771+1371672 x770+685836 x769+342918 x768+149492242317312 x550+74746121158656 x549+37373060579328 x548+18686530289664 x547+9343265144832 x546+4671632572416 x545+2335816286208 x544+1167908143104 x543+583954071552 x542+291977035776 x541+145988517888 x540+72994258944 x539+36497129472 x538+18248564736 x537+9124282368 x536+4562141184 x535+2281070592 x534+1140535296 x533+570267648 x532+285133824 x531+142566912 x530+71283456 x529+35641728 x528+17820864 x527+8910432 x526+151059435618304 x460+75529717809152 x459+37764858904576 x458+18882429452288 x457+9441214726144 x456+4720607363072 x455+2360303681536 x454+1180151840768 x453+590075920384 x452+295037960192 x451+147518980096 x450+73759490048 x449+36879745024 x448+18439872512 x447+9219936256 x446+4609968128 x445+2304984064 x444+1152492032 x443+576246016 x442+288123008 x441+144061504 x440+72030752 x439+36015376 x438+18007688 x437+9003844 x436+155551535202304 x370+77775767601152 x369+38887883800576 x368+19443941900288 x367+9721970950144 x366+4860985475072 x365+2430492737536 x364+1215246368768 x363+607623184384 x362+303811592192 x361+151905796096 x360+75952898048 x359+37976449024 x358+18988224512 x357+9494112256 x356+4747056128 x355+2373528064 x354+1186764032 x353+593382016 x352+296691008 x351+148345504 x350+74172752 x349+37086376 x348+18543188 x347+9271594 x346+134834944999424 x280+67417472499712 x279+33708736249856 x278+16854368124928 x277+8427184062464 x276+4213592031232 x275+2106796015616 x274+1053398007808 x273+526699003904 x272+263349501952 x271+131674750976 x270+65837375488 x269+32918687744 x268+16459343872 x267+8229671936 x266+4114835968 x265+2057417984 x264+1028708992 x263+514354496 x262+257177248 x261+128588624 x260+64294312 x259+32147156 x258+16073578 x257+8036789 x256+134853131501568 x190+67426565750784 x189+33713282875392 x188+16856641437696 x187+8428320718848 x186+4214160359424 x185+2107080179712 x184+1053540089856 x183+526770044928 x182+263385022464 x181+131692511232 x180+65846255616 x179+32923127808 x178+16461563904 x177+8230781952 x176+4115390976 x175+2057695488 x174+1028847744 x173+514423872 x172+257211936 x171+128605968 x170+64302984 x169+32151492 x168+16075746 x167+8037873 x166+65048854528 x105+32524427264 x104+16262213632 x103+8131106816 x102+4065553408 x101+2032776704 x100+1016388352 x99+508194176 x98+254097088 x97+127048544 x96+63524272 x95+31762136 x94+15881068 x93+7940534 x92+158772324466688 x26+79386162233344 x25+39693081116672 x24+19846540558336 x23+9923270279168 x22+4961635139584 x21+2480817569792 x20+1240408784896 x19+620204392448 x18+310102196224 x17+155051098112 x16+77525549056 x15+38762774528 x14+19381387264 x13+9690693632 x12+4845346816 x11+2422673408 x10+1211336704 x9+605668352 x8+302834176 x7+151417088 x6+75708544 x5+37854272 x4+18927136 x3+9463568 x2-0=462490131259792
29.38/29.46	c 281474976710656 ~x1265579+140737488355328 ~x1265578+70368744177664 ~x1265577+35184372088832 ~x1265576+17592186044416 ~x1265575+8796093022208 ~x1265574+4398046511104 ~x1265573+2199023255552 ~x1265572+1099511627776 ~x1265571+549755813888 ~x1265570+274877906944 ~x1265569+137438953472 ~x1265568+68719476736 ~x1265567+34359738368 ~x1265566+17179869184 ~x1265565+8589934592 ~x1265564+4294967296 ~x1265563+2147483648 ~x1265562+1073741824 ~x1265561+536870912 ~x1265560+268435456 ~x1265559+134217728 ~x1265558+67108864 ~x1265557+33554432 ~x1265556+16777216 ~x1265555+8388608 ~x1265554+4194304 ~x1265553+2097152 ~x1265552+1048576 ~x1265551+524288 ~x1265550+262144 ~x1265549+131072 ~x1265548+65536 ~x1265547+32768 ~x1265546+16384 ~x1265545+8192 ~x1265544+4096 ~x1265543+2048 ~x1265542+1024 ~x1265541+512 ~x1265540+256 ~x1265539+128 ~x1265538+64 ~x1265537+32 ~x1265536+16 ~x1265535+8 ~x1265534+4 ~x1265533+2 ~x1265532+1 ~x1265531+53687091200000 ~x1007+26843545600000 ~x1006+13421772800000 ~x1005+6710886400000 ~x1004+3355443200000 ~x1003+1677721600000 ~x1002+838860800000 ~x1001+419430400000 ~x1000+209715200000 ~x999+104857600000 ~x998+52428800000 ~x997+26214400000 ~x996+13107200000 ~x995+6553600000 ~x994+3276800000 ~x993+1638400000 ~x992+819200000 ~x991+409600000 ~x990+204800000 ~x989+102400000 ~x988+51200000 ~x987+25600000 ~x986+12800000 ~x985+6400000 ~x984+3200000 ~x983+1600000 ~x982+800000 ~x981+400000 ~x980+200000 ~x979+100000 ~x978+118614648684544 ~x917+59307324342272 ~x916+29653662171136 ~x915+14826831085568 ~x914+7413415542784 ~x913+3706707771392 ~x912+1853353885696 ~x911+926676942848 ~x910+463338471424 ~x909+231669235712 ~x908+115834617856 ~x907+57917308928 ~x906+28958654464 ~x905+14479327232 ~x904+7239663616 ~x903+3619831808 ~x902+1809915904 ~x901+904957952 ~x900+452478976 ~x899+226239488 ~x898+113119744 ~x897+56559872 ~x896+28279936 ~x895+14139968 ~x894+7069984 ~x893+3534992 ~x892+1767496 ~x891+883748 ~x890+441874 ~x889+220937 ~x888+237228760498176 x827+118614380249088 x826+59307190124544 x825+29653595062272 x824+14826797531136 x823+7413398765568 x822+3706699382784 x821+1853349691392 x820+926674845696 x819+463337422848 x818+231668711424 x817+115834355712 x816+57917177856 x815+28958588928 x814+14479294464 x813+7239647232 x812+3619823616 x811+1809911808 x810+904955904 x809+452477952 x808+226238976 x807+113119488 x806+56559744 x805+28279872 x804+14139936 x803+7069968 x802+3534984 x801+1767492 x800+883746 x799+441873 x798+299493002051584 x611+149746501025792 x610+74873250512896 x609+37436625256448 x608+18718312628224 x607+9359156314112 x606+4679578157056 x605+2339789078528 x604+1169894539264 x603+584947269632 x602+292473634816 x601+146236817408 x600+73118408704 x599+36559204352 x598+18279602176 x597+9139801088 x596+4569900544 x595+2284950272 x594+1142475136 x593+571237568 x592+285618784 x591+142809392 x590+71404696 x589+35702348 x588+17851174 x587+8925587 x586+302741876375552 x521+151370938187776 x520+75685469093888 x519+37842734546944 x518+18921367273472 x517+9460683636736 x516+4730341818368 x515+2365170909184 x514+1182585454592 x513+591292727296 x512+295646363648 x511+147823181824 x510+73911590912 x509+36955795456 x508+18477897728 x507+9238948864 x506+4619474432 x505+2309737216 x504+1154868608 x503+577434304 x502+288717152 x501+144358576 x500+72179288 x499+36089644 x498+18044822 x497+9022411 x496+313457081581568 x431+156728540790784 x430+78364270395392 x429+39182135197696 x428+19591067598848 x427+9795533799424 x426+4897766899712 x425+2448883449856 x424+1224441724928 x423+612220862464 x422+306110431232 x421+153055215616 x420+76527607808 x419+38263803904 x418+19131901952 x417+9565950976 x416+4782975488 x415+2391487744 x414+1195743872 x413+597871936 x412+298935968 x411+149467984 x410+74733992 x409+37366996 x408+18683498 x407+9341749 x406+271919244902400 x341+135959622451200 x340+67979811225600 x339+33989905612800 x338+16994952806400 x337+8497476403200 x336+4248738201600 x335+2124369100800 x334+1062184550400 x333+531092275200 x332+265546137600 x331+132773068800 x330+66386534400 x329+33193267200 x328+16596633600 x327+8298316800 x326+4149158400 x325+2074579200 x324+1037289600 x323+518644800 x322+259322400 x321+129661200 x320+64830600 x319+32415300 x318+16207650 x317+8103825 x316+271216715759616 x251+135608357879808 x250+67804178939904 x249+33902089469952 x248+16951044734976 x247+8475522367488 x246+4237761183744 x245+2118880591872 x244+1059440295936 x243+529720147968 x242+264860073984 x241+132430036992 x240+66215018496 x239+33107509248 x238+16553754624 x237+8276877312 x236+4138438656 x235+2069219328 x234+1034609664 x233+517304832 x232+258652416 x231+129326208 x230+64663104 x229+32331552 x228+16165776 x227+8082888 x226+267525023596544 x161+133762511798272 x160+66881255899136 x159+33440627949568 x158+16720313974784 x157+8360156987392 x156+4180078493696 x155+2090039246848 x154+1045019623424 x153+522509811712 x152+261254905856 x151+130627452928 x150+65313726464 x149+32656863232 x148+16328431616 x147+8164215808 x146+4082107904 x145+2041053952 x144+1020526976 x143+510263488 x142+255131744 x141+127565872 x140+63782936 x139+31891468 x138+15945734 x137+7972867 x136+319339978817536 x87+159669989408768 x86+79834994704384 x85+39917497352192 x84+19958748676096 x83+9979374338048 x82+4989687169024 x81+2494843584512 x80+1247421792256 x79+623710896128 x78+311855448064 x77+155927724032 x76+77963862016 x75+38981931008 x74+19490965504 x73+9745482752 x72+4872741376 x71+2436370688 x70+1218185344 x69+609092672 x68+304546336 x67+152273168 x66+76136584 x65+38068292 x64+19034146 x63+9517073 x62-0=907553432869462
34.68/34.70	c 140737488355328 ~x1497980+70368744177664 ~x1497979+35184372088832 ~x1497978+17592186044416 ~x1497977+8796093022208 ~x1497976+4398046511104 ~x1497975+2199023255552 ~x1497974+1099511627776 ~x1497973+549755813888 ~x1497972+274877906944 ~x1497971+137438953472 ~x1497970+68719476736 ~x1497969+34359738368 ~x1497968+17179869184 ~x1497967+8589934592 ~x1497966+4294967296 ~x1497965+2147483648 ~x1497964+1073741824 ~x1497963+536870912 ~x1497962+268435456 ~x1497961+134217728 ~x1497960+67108864 ~x1497959+33554432 ~x1497958+16777216 ~x1497957+8388608 ~x1497956+4194304 ~x1497955+2097152 ~x1497954+1048576 ~x1497953+524288 ~x1497952+262144 ~x1497951+131072 ~x1497950+65536 ~x1497949+32768 ~x1497948+16384 ~x1497947+8192 ~x1497946+4096 ~x1497945+2048 ~x1497944+1024 ~x1497943+512 ~x1497942+256 ~x1497941+128 ~x1497940+64 ~x1497939+32 ~x1497938+16 ~x1497937+8 ~x1497936+4 ~x1497935+2 ~x1497934+1 ~x1497933+53687091200000 ~x947+26843545600000 ~x946+13421772800000 ~x945+6710886400000 ~x944+3355443200000 ~x943+1677721600000 ~x942+838860800000 ~x941+419430400000 ~x940+209715200000 ~x939+104857600000 ~x938+52428800000 ~x937+26214400000 ~x936+13107200000 ~x935+6553600000 ~x934+3276800000 ~x933+1638400000 ~x932+819200000 ~x931+409600000 ~x930+204800000 ~x929+102400000 ~x928+51200000 ~x927+25600000 ~x926+12800000 ~x925+6400000 ~x924+3200000 ~x923+1600000 ~x922+800000 ~x921+400000 ~x920+200000 ~x919+100000 ~x918+54352005824512 ~x856+27176002912256 ~x855+13588001456128 ~x854+6794000728064 ~x853+3397000364032 ~x852+1698500182016 ~x851+849250091008 ~x850+424625045504 ~x849+212312522752 ~x848+106156261376 ~x847+53078130688 ~x846+26539065344 ~x845+13269532672 ~x844+6634766336 ~x843+3317383168 ~x842+1658691584 ~x841+829345792 ~x840+414672896 ~x839+207336448 ~x838+103668224 ~x837+51834112 ~x836+25917056 ~x835+12958528 ~x834+6479264 ~x833+3239632 ~x832+1619816 ~x831+809908 ~x830+404954 ~x829+202477 ~x828+83618181414912 x797+41809090707456 x796+20904545353728 x795+10452272676864 x794+5226136338432 x793+2613068169216 x792+1306534084608 x791+653267042304 x790+326633521152 x789+163316760576 x788+81658380288 x787+40829190144 x786+20414595072 x785+10207297536 x784+5103648768 x783+2551824384 x782+1275912192 x781+637956096 x780+318978048 x779+159489024 x778+79744512 x777+39872256 x776+19936128 x775+9968064 x774+4984032 x773+2492016 x772+1246008 x771+623004 x770+311502 x769+155751 x768+302489412829184 x551+151244706414592 x550+75622353207296 x549+37811176603648 x548+18905588301824 x547+9452794150912 x546+4726397075456 x545+2363198537728 x544+1181599268864 x543+590799634432 x542+295399817216 x541+147699908608 x540+73849954304 x539+36924977152 x538+18462488576 x537+9231244288 x536+4615622144 x535+2307811072 x534+1153905536 x533+576952768 x532+288476384 x531+144238192 x530+72119096 x529+36059548 x528+18029774 x527+9014887 x526+306238248189952 x461+153119124094976 x460+76559562047488 x459+38279781023744 x458+19139890511872 x457+9569945255936 x456+4784972627968 x455+2392486313984 x454+1196243156992 x453+598121578496 x452+299060789248 x451+149530394624 x450+74765197312 x449+37382598656 x448+18691299328 x447+9345649664 x446+4672824832 x445+2336412416 x444+1168206208 x443+584103104 x442+292051552 x441+146025776 x440+73012888 x439+36506444 x438+18253222 x437+9126611 x436+162514650267648 x370+81257325133824 x369+40628662566912 x368+20314331283456 x367+10157165641728 x366+5078582820864 x365+2539291410432 x364+1269645705216 x363+634822852608 x362+317411426304 x361+158705713152 x360+79352856576 x359+39676428288 x358+19838214144 x357+9919107072 x356+4959553536 x355+2479776768 x354+1239888384 x353+619944192 x352+309972096 x351+154986048 x350+77493024 x349+38746512 x348+19373256 x347+9686628 x346+283599039365120 x281+141799519682560 x280+70899759841280 x279+35449879920640 x278+17724939960320 x277+8862469980160 x276+4431234990080 x275+2215617495040 x274+1107808747520 x273+553904373760 x272+276952186880 x271+138476093440 x270+69238046720 x269+34619023360 x268+17309511680 x267+8654755840 x266+4327377920 x265+2163688960 x264+1081844480 x263+540922240 x262+270461120 x261+135230560 x260+67615280 x259+33807640 x258+16903820 x257+8451910 x256+279240855519232 x191+139620427759616 x190+69810213879808 x189+34905106939904 x188+17452553469952 x187+8726276734976 x186+4363138367488 x185+2181569183744 x184+1090784591872 x183+545392295936 x182+272696147968 x181+136348073984 x180+68174036992 x179+34087018496 x178+17043509248 x177+8521754624 x176+4260877312 x175+2130438656 x174+1065219328 x173+532609664 x172+266304832 x171+133152416 x170+66576208 x169+33288104 x168+16644052 x167+8322026 x166+66740297728 x105+33370148864 x104+16685074432 x103+8342537216 x102+4171268608 x101+2085634304 x100+1042817152 x99+521408576 x98+260704288 x97+130352144 x96+65176072 x95+32588036 x94+16294018 x93+8147009 x92+164567309090816 x26+82283654545408 x25+41141827272704 x24+20570913636352 x23+10285456818176 x22+5142728409088 x21+2571364204544 x20+1285682102272 x19+642841051136 x18+321420525568 x17+160710262784 x16+80355131392 x15+40177565696 x14+20088782848 x13+10044391424 x12+5022195712 x11+2511097856 x10+1255548928 x9+627774464 x8+313887232 x7+156943616 x6+78471808 x5+39235904 x4+19617952 x3+9808976 x2-0=497553170457202
39.68/39.70	c 281474976710656 ~x1718526+140737488355328 ~x1718525+70368744177664 ~x1718524+35184372088832 ~x1718523+17592186044416 ~x1718522+8796093022208 ~x1718521+4398046511104 ~x1718520+2199023255552 ~x1718519+1099511627776 ~x1718518+549755813888 ~x1718517+274877906944 ~x1718516+137438953472 ~x1718515+68719476736 ~x1718514+34359738368 ~x1718513+17179869184 ~x1718512+8589934592 ~x1718511+4294967296 ~x1718510+2147483648 ~x1718509+1073741824 ~x1718508+536870912 ~x1718507+268435456 ~x1718506+134217728 ~x1718505+67108864 ~x1718504+33554432 ~x1718503+16777216 ~x1718502+8388608 ~x1718501+4194304 ~x1718500+2097152 ~x1718499+1048576 ~x1718498+524288 ~x1718497+262144 ~x1718496+131072 ~x1718495+65536 ~x1718494+32768 ~x1718493+16384 ~x1718492+8192 ~x1718491+4096 ~x1718490+2048 ~x1718489+1024 ~x1718488+512 ~x1718487+256 ~x1718486+128 ~x1718485+64 ~x1718484+32 ~x1718483+16 ~x1718482+8 ~x1718481+4 ~x1718480+2 ~x1718479+1 ~x1718478+53687091200000 ~x1007+26843545600000 ~x1006+13421772800000 ~x1005+6710886400000 ~x1004+3355443200000 ~x1003+1677721600000 ~x1002+838860800000 ~x1001+419430400000 ~x1000+209715200000 ~x999+104857600000 ~x998+52428800000 ~x997+26214400000 ~x996+13107200000 ~x995+6553600000 ~x994+3276800000 ~x993+1638400000 ~x992+819200000 ~x991+409600000 ~x990+204800000 ~x989+102400000 ~x988+51200000 ~x987+25600000 ~x986+12800000 ~x985+6400000 ~x984+3200000 ~x983+1600000 ~x982+800000 ~x981+400000 ~x980+200000 ~x979+100000 ~x978+147387708342272 ~x917+73693854171136 ~x916+36846927085568 ~x915+18423463542784 ~x914+9211731771392 ~x913+4605865885696 ~x912+2302932942848 ~x911+1151466471424 ~x910+575733235712 ~x909+287866617856 ~x908+143933308928 ~x907+71966654464 ~x906+35983327232 ~x905+17991663616 ~x904+8995831808 ~x903+4497915904 ~x902+2248957952 ~x901+1124478976 ~x900+562239488 ~x899+281119744 ~x898+140559872 ~x897+70279936 ~x896+35139968 ~x895+17569984 ~x894+8784992 ~x893+4392496 ~x892+2196248 ~x891+1098124 ~x890+549062 ~x889+274531 ~x888+147387708342272 x827+73693854171136 x826+36846927085568 x825+18423463542784 x824+9211731771392 x823+4605865885696 x822+2302932942848 x821+1151466471424 x820+575733235712 x819+287866617856 x818+143933308928 x817+71966654464 x816+35983327232 x815+17991663616 x814+8995831808 x813+4497915904 x812+2248957952 x811+1124478976 x810+562239488 x809+281119744 x808+140559872 x807+70279936 x806+35139968 x805+17569984 x804+8784992 x803+4392496 x802+2196248 x801+1098124 x800+549062 x799+274531 x798+301472612876288 x611+150736306438144 x610+75368153219072 x609+37684076609536 x608+18842038304768 x607+9421019152384 x606+4710509576192 x605+2355254788096 x604+1177627394048 x603+588813697024 x602+294406848512 x601+147203424256 x600+73601712128 x599+36800856064 x598+18400428032 x597+9200214016 x596+4600107008 x595+2300053504 x594+1150026752 x593+575013376 x592+287506688 x591+143753344 x590+71876672 x589+35938336 x588+17969168 x587+8984584 x586+305147762704384 x521+152573881352192 x520+76286940676096 x519+38143470338048 x518+19071735169024 x517+9535867584512 x516+4767933792256 x515+2383966896128 x514+1191983448064 x513+595991724032 x512+297995862016 x511+148997931008 x510+74498965504 x509+37249482752 x508+18624741376 x507+9312370688 x506+4656185344 x505+2328092672 x504+1164046336 x503+582023168 x502+291011584 x501+145505792 x500+72752896 x499+36376448 x498+18188224 x497+9094112 x496+321674092216320 x431+160837046108160 x430+80418523054080 x429+40209261527040 x428+20104630763520 x427+10052315381760 x426+5026157690880 x425+2513078845440 x424+1256539422720 x423+628269711360 x422+314134855680 x421+157067427840 x420+78533713920 x419+39266856960 x418+19633428480 x417+9816714240 x416+4908357120 x415+2454178560 x414+1227089280 x413+613544640 x412+306772320 x411+153386160 x410+76693080 x409+38346540 x408+19173270 x407+9586635 x406+280127766265856 x341+140063883132928 x340+70031941566464 x339+35015970783232 x338+17507985391616 x337+8753992695808 x336+4376996347904 x335+2188498173952 x334+1094249086976 x333+547124543488 x332+273562271744 x331+136781135872 x330+68390567936 x329+34195283968 x328+17097641984 x327+8548820992 x326+4274410496 x325+2137205248 x324+1068602624 x323+534301312 x322+267150656 x321+133575328 x320+66787664 x319+33393832 x318+16696916 x317+8348458 x316+276821580972032 x251+138410790486016 x250+69205395243008 x249+34602697621504 x248+17301348810752 x247+8650674405376 x246+4325337202688 x245+2162668601344 x244+1081334300672 x243+540667150336 x242+270333575168 x241+135166787584 x240+67583393792 x239+33791696896 x238+16895848448 x237+8447924224 x236+4223962112 x235+2111981056 x234+1055990528 x233+527995264 x232+263997632 x231+131998816 x230+65999408 x229+32999704 x228+16499852 x227+8249926 x226+271591149666304 x161+135795574833152 x160+67897787416576 x159+33948893708288 x158+16974446854144 x157+8487223427072 x156+4243611713536 x155+2121805856768 x154+1060902928384 x153+530451464192 x152+265225732096 x151+132612866048 x150+66306433024 x149+33153216512 x148+16576608256 x147+8288304128 x146+4144152064 x145+2072076032 x144+1036038016 x143+518019008 x142+259009504 x141+129504752 x140+64752376 x139+32376188 x138+16188094 x137+8094047 x136+325847626022912 x87+162923813011456 x86+81461906505728 x85+40730953252864 x84+20365476626432 x83+10182738313216 x82+5091369156608 x81+2545684578304 x80+1272842289152 x79+636421144576 x78+318210572288 x77+159105286144 x76+79552643072 x75+39776321536 x74+19888160768 x73+9944080384 x72+4972040192 x71+2486020096 x70+1243010048 x69+621505024 x68+310752512 x67+155376256 x66+77688128 x65+38844064 x64+19422032 x63+9711016 x62-0=965099552131324
44.87/44.97	c 140737488355328 ~x1950459+70368744177664 ~x1950458+35184372088832 ~x1950457+17592186044416 ~x1950456+8796093022208 ~x1950455+4398046511104 ~x1950454+2199023255552 ~x1950453+1099511627776 ~x1950452+549755813888 ~x1950451+274877906944 ~x1950450+137438953472 ~x1950449+68719476736 ~x1950448+34359738368 ~x1950447+17179869184 ~x1950446+8589934592 ~x1950445+4294967296 ~x1950444+2147483648 ~x1950443+1073741824 ~x1950442+536870912 ~x1950441+268435456 ~x1950440+134217728 ~x1950439+67108864 ~x1950438+33554432 ~x1950437+16777216 ~x1950436+8388608 ~x1950435+4194304 ~x1950434+2097152 ~x1950433+1048576 ~x1950432+524288 ~x1950431+262144 ~x1950430+131072 ~x1950429+65536 ~x1950428+32768 ~x1950427+16384 ~x1950426+8192 ~x1950425+4096 ~x1950424+2048 ~x1950423+1024 ~x1950422+512 ~x1950421+256 ~x1950420+128 ~x1950419+64 ~x1950418+32 ~x1950417+16 ~x1950416+8 ~x1950415+4 ~x1950414+2 ~x1950413+1 ~x1950412+53687091200000 ~x1037+26843545600000 ~x1036+13421772800000 ~x1035+6710886400000 ~x1034+3355443200000 ~x1033+1677721600000 ~x1032+838860800000 ~x1031+419430400000 ~x1030+209715200000 ~x1029+104857600000 ~x1028+52428800000 ~x1027+26214400000 ~x1026+13107200000 ~x1025+6553600000 ~x1024+3276800000 ~x1023+1638400000 ~x1022+819200000 ~x1021+409600000 ~x1020+204800000 ~x1019+102400000 ~x1018+51200000 ~x1017+25600000 ~x1016+12800000 ~x1015+6400000 ~x1014+3200000 ~x1013+1600000 ~x1012+800000 ~x1011+400000 ~x1010+200000 ~x1009+100000 ~x1008+58019371024384 ~x856+29009685512192 ~x855+14504842756096 ~x854+7252421378048 ~x853+3626210689024 ~x852+1813105344512 ~x851+906552672256 ~x850+453276336128 ~x849+226638168064 ~x848+113319084032 ~x847+56659542016 ~x846+28329771008 ~x845+14164885504 ~x844+7082442752 ~x843+3541221376 ~x842+1770610688 ~x841+885305344 ~x840+442652672 ~x839+221326336 ~x838+110663168 ~x837+55331584 ~x836+27665792 ~x835+13832896 ~x834+6916448 ~x833+3458224 ~x832+1729112 ~x831+864556 ~x830+432278 ~x829+216139 ~x828+68258304622592 x797+34129152311296 x796+17064576155648 x795+8532288077824 x794+4266144038912 x793+2133072019456 x792+1066536009728 x791+533268004864 x790+266634002432 x789+133317001216 x788+66658500608 x787+33329250304 x786+16664625152 x785+8332312576 x784+4166156288 x783+2083078144 x782+1041539072 x781+520769536 x780+260384768 x779+130192384 x778+65096192 x777+32548096 x776+16274048 x775+8137024 x774+4068512 x773+2034256 x772+1017128 x771+508564 x770+254282 x769+127141 x768+178622304354304 x550+89311152177152 x549+44655576088576 x548+22327788044288 x547+11163894022144 x546+5581947011072 x545+2790973505536 x544+1395486752768 x543+697743376384 x542+348871688192 x541+174435844096 x540+87217922048 x539+43608961024 x538+21804480512 x537+10902240256 x536+5451120128 x535+2725560064 x534+1362780032 x533+681390016 x532+340695008 x531+170347504 x530+85173752 x529+42586876 x528+21293438 x527+10646719 x526+171996964978688 x460+85998482489344 x459+42999241244672 x458+21499620622336 x457+10749810311168 x456+5374905155584 x455+2687452577792 x454+1343726288896 x453+671863144448 x452+335931572224 x451+167965786112 x450+83982893056 x449+41991446528 x448+20995723264 x447+10497861632 x446+5248930816 x445+2624465408 x444+1312232704 x443+656116352 x442+328058176 x441+164029088 x440+82014544 x439+41007272 x438+20503636 x437+10251818 x436+170562563342336 x370+85281281671168 x369+42640640835584 x368+21320320417792 x367+10660160208896 x366+5330080104448 x365+2665040052224 x364+1332520026112 x363+666260013056 x362+333130006528 x361+166565003264 x360+83282501632 x359+41641250816 x358+20820625408 x357+10410312704 x356+5205156352 x355+2602578176 x354+1301289088 x353+650644544 x352+325322272 x351+162661136 x350+81330568 x349+40665284 x348+20332642 x347+10166321 x346+296843040784384 x281+148421520392192 x280+74210760196096 x279+37105380098048 x278+18552690049024 x277+9276345024512 x276+4638172512256 x275+2319086256128 x274+1159543128064 x273+579771564032 x272+289885782016 x271+144942891008 x270+72471445504 x269+36235722752 x268+18117861376 x267+9058930688 x266+4529465344 x265+2264732672 x264+1132366336 x263+566183168 x262+283091584 x261+141545792 x260+70772896 x259+35386448 x258+17693224 x257+8846612 x256+331002190757888 x191+165501095378944 x190+82750547689472 x189+41375273844736 x188+20687636922368 x187+10343818461184 x186+5171909230592 x185+2585954615296 x184+1292977307648 x183+646488653824 x182+323244326912 x181+161622163456 x180+80811081728 x179+40405540864 x178+20202770432 x177+10101385216 x176+5050692608 x175+2525346304 x174+1262673152 x173+631336576 x172+315668288 x171+157834144 x170+78917072 x169+39458536 x168+19729268 x167+9864634 x166+77841719296 x105+38920859648 x104+19460429824 x103+9730214912 x102+4865107456 x101+2432553728 x100+1216276864 x99+608138432 x98+304069216 x97+152034608 x96+76017304 x95+38008652 x94+19004326 x93+9502163 x92+172902800424960 x26+86451400212480 x25+43225700106240 x24+21612850053120 x23+10806425026560 x22+5403212513280 x21+2701606256640 x20+1350803128320 x19+675401564160 x18+337700782080 x17+168850391040 x16+84425195520 x15+42212597760 x14+21106298880 x13+10553149440 x12+5276574720 x11+2638287360 x10+1319143680 x9+659571840 x8+329785920 x7+164892960 x6+82446480 x5+41223240 x4+20611620 x3+10305810 x2-0=504887900843284
49.78/49.90	c 281474976710656 ~x2169223+140737488355328 ~x2169222+70368744177664 ~x2169221+35184372088832 ~x2169220+17592186044416 ~x2169219+8796093022208 ~x2169218+4398046511104 ~x2169217+2199023255552 ~x2169216+1099511627776 ~x2169215+549755813888 ~x2169214+274877906944 ~x2169213+137438953472 ~x2169212+68719476736 ~x2169211+34359738368 ~x2169210+17179869184 ~x2169209+8589934592 ~x2169208+4294967296 ~x2169207+2147483648 ~x2169206+1073741824 ~x2169205+536870912 ~x2169204+268435456 ~x2169203+134217728 ~x2169202+67108864 ~x2169201+33554432 ~x2169200+16777216 ~x2169199+8388608 ~x2169198+4194304 ~x2169197+2097152 ~x2169196+1048576 ~x2169195+524288 ~x2169194+262144 ~x2169193+131072 ~x2169192+65536 ~x2169191+32768 ~x2169190+16384 ~x2169189+8192 ~x2169188+4096 ~x2169187+2048 ~x2169186+1024 ~x2169185+512 ~x2169184+256 ~x2169183+128 ~x2169182+64 ~x2169181+32 ~x2169180+16 ~x2169179+8 ~x2169178+4 ~x2169177+2 ~x2169176+1 ~x2169175+53687091200000 ~x1097+26843545600000 ~x1096+13421772800000 ~x1095+6710886400000 ~x1094+3355443200000 ~x1093+1677721600000 ~x1092+838860800000 ~x1091+419430400000 ~x1090+209715200000 ~x1089+104857600000 ~x1088+52428800000 ~x1087+26214400000 ~x1086+13107200000 ~x1085+6553600000 ~x1084+3276800000 ~x1083+1638400000 ~x1082+819200000 ~x1081+409600000 ~x1080+204800000 ~x1079+102400000 ~x1078+51200000 ~x1077+25600000 ~x1076+12800000 ~x1075+6400000 ~x1074+3200000 ~x1073+1600000 ~x1072+800000 ~x1071+400000 ~x1070+200000 ~x1069+100000 ~x1068+150036092551168 ~x917+75018046275584 ~x916+37509023137792 ~x915+18754511568896 ~x914+9377255784448 ~x913+4688627892224 ~x912+2344313946112 ~x911+1172156973056 ~x910+586078486528 ~x909+293039243264 ~x908+146519621632 ~x907+73259810816 ~x906+36629905408 ~x905+18314952704 ~x904+9157476352 ~x903+4578738176 ~x902+2289369088 ~x901+1144684544 ~x900+572342272 ~x899+286171136 ~x898+143085568 ~x897+71542784 ~x896+35771392 ~x895+17885696 ~x894+8942848 ~x893+4471424 ~x892+2235712 ~x891+1117856 ~x890+558928 ~x889+279464 ~x888+88256746094592 x827+44128373047296 x826+22064186523648 x825+11032093261824 x824+5516046630912 x823+2758023315456 x822+1379011657728 x821+689505828864 x820+344752914432 x819+172376457216 x818+86188228608 x817+43094114304 x816+21547057152 x815+10773528576 x814+5386764288 x813+2693382144 x812+1346691072 x811+673345536 x810+336672768 x809+168336384 x808+84168192 x807+42084096 x806+21042048 x805+10521024 x804+5260512 x803+2630256 x802+1315128 x801+657564 x800+328782 x799+164391 x798+357244608708608 x611+178622304354304 x610+89311152177152 x609+44655576088576 x608+22327788044288 x607+11163894022144 x606+5581947011072 x605+2790973505536 x604+1395486752768 x603+697743376384 x602+348871688192 x601+174435844096 x600+87217922048 x599+43608961024 x598+21804480512 x597+10902240256 x596+5451120128 x595+2725560064 x594+1362780032 x593+681390016 x592+340695008 x591+170347504 x590+85173752 x589+42586876 x588+21293438 x587+10646719 x586+343993929957376 x521+171996964978688 x520+85998482489344 x519+42999241244672 x518+21499620622336 x517+10749810311168 x516+5374905155584 x515+2687452577792 x514+1343726288896 x513+671863144448 x512+335931572224 x511+167965786112 x510+83982893056 x509+41991446528 x508+20995723264 x507+10497861632 x506+5248930816 x505+2624465408 x504+1312232704 x503+656116352 x502+328058176 x501+164029088 x500+82014544 x499+41007272 x498+20503636 x497+10251818 x496+341125126684672 x431+170562563342336 x430+85281281671168 x429+42640640835584 x428+21320320417792 x427+10660160208896 x426+5330080104448 x425+2665040052224 x424+1332520026112 x423+666260013056 x422+333130006528 x421+166565003264 x420+83282501632 x419+41641250816 x418+20820625408 x417+10410312704 x416+5205156352 x415+2602578176 x414+1301289088 x413+650644544 x412+325322272 x411+162661136 x410+81330568 x409+40665284 x408+20332642 x407+10166321 x406+296843040784384 x341+148421520392192 x340+74210760196096 x339+37105380098048 x338+18552690049024 x337+9276345024512 x336+4638172512256 x335+2319086256128 x334+1159543128064 x333+579771564032 x332+289885782016 x331+144942891008 x330+72471445504 x329+36235722752 x328+18117861376 x327+9058930688 x326+4529465344 x325+2264732672 x324+1132366336 x323+566183168 x322+283091584 x321+141545792 x320+70772896 x319+35386448 x318+17693224 x317+8846612 x316+331002190757888 x251+165501095378944 x250+82750547689472 x249+41375273844736 x248+20687636922368 x247+10343818461184 x246+5171909230592 x245+2585954615296 x244+1292977307648 x243+646488653824 x242+323244326912 x241+161622163456 x240+80811081728 x239+40405540864 x238+20202770432 x237+10101385216 x236+5050692608 x235+2525346304 x234+1262673152 x233+631336576 x232+315668288 x231+157834144 x230+78917072 x229+39458536 x228+19729268 x227+9864634 x226+318839682236416 x161+159419841118208 x160+79709920559104 x159+39854960279552 x158+19927480139776 x157+9963740069888 x156+4981870034944 x155+2490935017472 x154+1245467508736 x153+622733754368 x152+311366877184 x151+155683438592 x150+77841719296 x149+38920859648 x148+19460429824 x147+9730214912 x146+4865107456 x145+2432553728 x144+1216276864 x143+608138432 x142+304069216 x141+152034608 x140+76017304 x139+38008652 x138+19004326 x137+9502163 x136+345805600849920 x87+172902800424960 x86+86451400212480 x85+43225700106240 x84+21612850053120 x83+10806425026560 x82+5403212513280 x81+2701606256640 x80+1350803128320 x79+675401564160 x78+337700782080 x77+168850391040 x76+84425195520 x75+42212597760 x74+21106298880 x73+10553149440 x72+5276574720 x71+2638287360 x70+1319143680 x69+659571840 x68+329785920 x67+164892960 x66+82446480 x65+41223240 x64+20611620 x63+10305810 x62-0=970396320544183
55.08/55.14	c 140737488355328 ~x2401312+70368744177664 ~x2401311+35184372088832 ~x2401310+17592186044416 ~x2401309+8796093022208 ~x2401308+4398046511104 ~x2401307+2199023255552 ~x2401306+1099511627776 ~x2401305+549755813888 ~x2401304+274877906944 ~x2401303+137438953472 ~x2401302+68719476736 ~x2401301+34359738368 ~x2401300+17179869184 ~x2401299+8589934592 ~x2401298+4294967296 ~x2401297+2147483648 ~x2401296+1073741824 ~x2401295+536870912 ~x2401294+268435456 ~x2401293+134217728 ~x2401292+67108864 ~x2401291+33554432 ~x2401290+16777216 ~x2401289+8388608 ~x2401288+4194304 ~x2401287+2097152 ~x2401286+1048576 ~x2401285+524288 ~x2401284+262144 ~x2401283+131072 ~x2401282+65536 ~x2401281+32768 ~x2401280+16384 ~x2401279+8192 ~x2401278+4096 ~x2401277+2048 ~x2401276+1024 ~x2401275+512 ~x2401274+256 ~x2401273+128 ~x2401272+64 ~x2401271+32 ~x2401270+16 ~x2401269+8 ~x2401268+4 ~x2401267+2 ~x2401266+1 ~x2401265+53687091200000 ~x1037+26843545600000 ~x1036+13421772800000 ~x1035+6710886400000 ~x1034+3355443200000 ~x1033+1677721600000 ~x1032+838860800000 ~x1031+419430400000 ~x1030+209715200000 ~x1029+104857600000 ~x1028+52428800000 ~x1027+26214400000 ~x1026+13107200000 ~x1025+6553600000 ~x1024+3276800000 ~x1023+1638400000 ~x1022+819200000 ~x1021+409600000 ~x1020+204800000 ~x1019+102400000 ~x1018+51200000 ~x1017+25600000 ~x1016+12800000 ~x1015+6400000 ~x1014+3200000 ~x1013+1600000 ~x1012+800000 ~x1011+400000 ~x1010+200000 ~x1009+100000 ~x1008+27073594785792 ~x856+13536797392896 ~x855+6768398696448 ~x854+3384199348224 ~x853+1692099674112 ~x852+846049837056 ~x851+423024918528 ~x850+211512459264 ~x849+105756229632 ~x848+52878114816 ~x847+26439057408 ~x846+13219528704 ~x845+6609764352 ~x844+3304882176 ~x843+1652441088 ~x842+826220544 ~x841+413110272 ~x840+206555136 ~x839+103277568 ~x838+51638784 ~x837+25819392 ~x836+12909696 ~x835+6454848 ~x834+3227424 ~x833+1613712 ~x832+806856 ~x831+403428 ~x830+201714 ~x829+100857 ~x828+135368242364416 x797+67684121182208 x796+33842060591104 x795+16921030295552 x794+8460515147776 x793+4230257573888 x792+2115128786944 x791+1057564393472 x790+528782196736 x789+264391098368 x788+132195549184 x787+66097774592 x786+33048887296 x785+16524443648 x784+8262221824 x783+4131110912 x782+2065555456 x781+1032777728 x780+516388864 x779+258194432 x778+129097216 x777+64548608 x776+32274304 x775+16137152 x774+8068576 x773+4034288 x772+2017144 x771+1008572 x770+504286 x769+252143 x768+176960470777856 x550+88480235388928 x549+44240117694464 x548+22120058847232 x547+11060029423616 x546+5530014711808 x545+2765007355904 x544+1382503677952 x543+691251838976 x542+345625919488 x541+172812959744 x540+86406479872 x539+43203239936 x538+21601619968 x537+10800809984 x536+5400404992 x535+2700202496 x534+1350101248 x533+675050624 x532+337525312 x531+168762656 x530+84381328 x529+42190664 x528+21095332 x527+10547666 x526+169740278431744 x460+84870139215872 x459+42435069607936 x458+21217534803968 x457+10608767401984 x456+5304383700992 x455+2652191850496 x454+1326095925248 x453+663047962624 x452+331523981312 x451+165761990656 x450+82880995328 x449+41440497664 x448+20720248832 x447+10360124416 x446+5180062208 x445+2590031104 x444+1295015552 x443+647507776 x442+323753888 x441+161876944 x440+80938472 x439+40469236 x438+20234618 x437+10117309 x436+163292576219136 x370+81646288109568 x369+40823144054784 x368+20411572027392 x367+10205786013696 x366+5102893006848 x365+2551446503424 x364+1275723251712 x363+637861625856 x362+318930812928 x361+159465406464 x360+79732703232 x359+39866351616 x358+19933175808 x357+9966587904 x356+4983293952 x355+2491646976 x354+1245823488 x353+622911744 x352+311455872 x351+155727936 x350+77863968 x349+38931984 x348+19465992 x347+9732996 x346+139049062891520 x280+69524531445760 x279+34762265722880 x278+17381132861440 x277+8690566430720 x276+4345283215360 x275+2172641607680 x274+1086320803840 x273+543160401920 x272+271580200960 x271+135790100480 x270+67895050240 x269+33947525120 x268+16973762560 x267+8486881280 x266+4243440640 x265+2121720320 x264+1060860160 x263+530430080 x262+265215040 x261+132607520 x260+66303760 x259+33151880 x258+16575940 x257+8287970 x256+160026874347520 x190+80013437173760 x189+40006718586880 x188+20003359293440 x187+10001679646720 x186+5000839823360 x185+2500419911680 x184+1250209955840 x183+625104977920 x182+312552488960 x181+156276244480 x180+78138122240 x179+39069061120 x178+19534530560 x177+9767265280 x176+4883632640 x175+2441816320 x174+1220908160 x173+610454080 x172+305227040 x171+152613520 x170+76306760 x169+38153380 x168+19076690 x167+9538345 x166+76099870720 x105+38049935360 x104+19024967680 x103+9512483840 x102+4756241920 x101+2378120960 x100+1189060480 x99+594530240 x98+297265120 x97+148632560 x96+74316280 x95+37158140 x94+18579070 x93+9289535 x92+165595769208832 x26+82797884604416 x25+41398942302208 x24+20699471151104 x23+10349735575552 x22+5174867787776 x21+2587433893888 x20+1293716946944 x19+646858473472 x18+323429236736 x17+161714618368 x16+80857309184 x15+40428654592 x14+20214327296 x13+10107163648 x12+5053581824 x11+2526790912 x10+1263395456 x9+631697728 x8+315848864 x7+157924432 x6+78962216 x5+39481108 x4+19740554 x3+9870277 x2-0=442996348481382
59.97/60.07	c 281474976710656 ~x2618894+140737488355328 ~x2618893+70368744177664 ~x2618892+35184372088832 ~x2618891+17592186044416 ~x2618890+8796093022208 ~x2618889+4398046511104 ~x2618888+2199023255552 ~x2618887+1099511627776 ~x2618886+549755813888 ~x2618885+274877906944 ~x2618884+137438953472 ~x2618883+68719476736 ~x2618882+34359738368 ~x2618881+17179869184 ~x2618880+8589934592 ~x2618879+4294967296 ~x2618878+2147483648 ~x2618877+1073741824 ~x2618876+536870912 ~x2618875+268435456 ~x2618874+134217728 ~x2618873+67108864 ~x2618872+33554432 ~x2618871+16777216 ~x2618870+8388608 ~x2618869+4194304 ~x2618868+2097152 ~x2618867+1048576 ~x2618866+524288 ~x2618865+262144 ~x2618864+131072 ~x2618863+65536 ~x2618862+32768 ~x2618861+16384 ~x2618860+8192 ~x2618859+4096 ~x2618858+2048 ~x2618857+1024 ~x2618856+512 ~x2618855+256 ~x2618854+128 ~x2618853+64 ~x2618852+32 ~x2618851+16 ~x2618850+8 ~x2618849+4 ~x2618848+2 ~x2618847+1 ~x2618846+53687091200000 ~x1097+26843545600000 ~x1096+13421772800000 ~x1095+6710886400000 ~x1094+3355443200000 ~x1093+1677721600000 ~x1092+838860800000 ~x1091+419430400000 ~x1090+209715200000 ~x1089+104857600000 ~x1088+52428800000 ~x1087+26214400000 ~x1086+13107200000 ~x1085+6553600000 ~x1084+3276800000 ~x1083+1638400000 ~x1082+819200000 ~x1081+409600000 ~x1080+204800000 ~x1079+102400000 ~x1078+51200000 ~x1077+25600000 ~x1076+12800000 ~x1075+6400000 ~x1074+3200000 ~x1073+1600000 ~x1072+800000 ~x1071+400000 ~x1070+200000 ~x1069+100000 ~x1068+115950695219200 ~x917+57975347609600 ~x916+28987673804800 ~x915+14493836902400 ~x914+7246918451200 ~x913+3623459225600 ~x912+1811729612800 ~x911+905864806400 ~x910+452932403200 ~x909+226466201600 ~x908+113233100800 ~x907+56616550400 ~x906+28308275200 ~x905+14154137600 ~x904+7077068800 ~x903+3538534400 ~x902+1769267200 ~x901+884633600 ~x900+442316800 ~x899+221158400 ~x898+110579200 ~x897+55289600 ~x896+27644800 ~x895+13822400 ~x894+6911200 ~x893+3455600 ~x892+1727800 ~x891+863900 ~x890+431950 ~x889+215975 ~x888+231900853567488 x827+115950426783744 x826+57975213391872 x825+28987606695936 x824+14493803347968 x823+7246901673984 x822+3623450836992 x821+1811725418496 x820+905862709248 x819+452931354624 x818+226465677312 x817+113232838656 x816+56616419328 x815+28308209664 x814+14154104832 x813+7077052416 x812+3538526208 x811+1769263104 x810+884631552 x809+442315776 x808+221157888 x807+110578944 x806+55289472 x805+27644736 x804+13822368 x803+6911184 x802+3455592 x801+1727796 x800+863898 x799+431949 x798+177140423196672 x610+88570211598336 x609+44285105799168 x608+22142552899584 x607+11071276449792 x606+5535638224896 x605+2767819112448 x604+1383909556224 x603+691954778112 x602+345977389056 x601+172988694528 x600+86494347264 x599+43247173632 x598+21623586816 x597+10811793408 x596+5405896704 x595+2702948352 x594+1351474176 x593+675737088 x592+337868544 x591+168934272 x590+84467136 x589+42233568 x588+21116784 x587+10558392 x586+170001935892480 x520+85000967946240 x519+42500483973120 x518+21250241986560 x517+10625120993280 x516+5312560496640 x515+2656280248320 x514+1328140124160 x513+664070062080 x512+332035031040 x511+166017515520 x510+83008757760 x509+41504378880 x508+20752189440 x507+10376094720 x506+5188047360 x505+2594023680 x504+1297011840 x503+648505920 x502+324252960 x501+162126480 x500+81063240 x499+40531620 x498+20265810 x497+10132905 x496+328393065234432 x431+164196532617216 x430+82098266308608 x429+41049133154304 x428+20524566577152 x427+10262283288576 x426+5131141644288 x425+2565570822144 x424+1282785411072 x423+641392705536 x422+320696352768 x421+160348176384 x420+80174088192 x419+40087044096 x418+20043522048 x417+10021761024 x416+5010880512 x415+2505440256 x414+1252720128 x413+626360064 x412+313180032 x411+156590016 x410+78295008 x409+39147504 x408+19573752 x407+9786876 x406+280561188864000 x341+140280594432000 x340+70140297216000 x339+35070148608000 x338+17535074304000 x337+8767537152000 x336+4383768576000 x335+2191884288000 x334+1095942144000 x333+547971072000 x332+273985536000 x331+136992768000 x330+68496384000 x329+34248192000 x328+17124096000 x327+8562048000 x326+4281024000 x325+2140512000 x324+1070256000 x323+535128000 x322+267564000 x321+133782000 x320+66891000 x319+33445500 x318+16722750 x317+8361375 x316+321480348925952 x251+160740174462976 x250+80370087231488 x249+40185043615744 x248+20092521807872 x247+10046260903936 x246+5023130451968 x245+2511565225984 x244+1255782612992 x243+627891306496 x242+313945653248 x241+156972826624 x240+78486413312 x239+39243206656 x238+19621603328 x237+9810801664 x236+4905400832 x235+2452700416 x234+1226350208 x233+613175104 x232+306587552 x231+153293776 x230+76646888 x229+38323444 x228+19161722 x227+9580861 x226+312597249261568 x161+156298624630784 x160+78149312315392 x159+39074656157696 x158+19537328078848 x157+9768664039424 x156+4884332019712 x155+2442166009856 x154+1221083004928 x153+610541502464 x152+305270751232 x151+152635375616 x150+76317687808 x149+38158843904 x148+19079421952 x147+9539710976 x146+4769855488 x145+2384927744 x144+1192463872 x143+596231936 x142+298115968 x141+149057984 x140+74528992 x139+37264496 x138+18632248 x137+9316124 x136+332827719630848 x87+166413859815424 x86+83206929907712 x85+41603464953856 x84+20801732476928 x83+10400866238464 x82+5200433119232 x81+2600216559616 x80+1300108279808 x79+650054139904 x78+325027069952 x77+162513534976 x76+81256767488 x75+40628383744 x74+20314191872 x73+10157095936 x72+5078547968 x71+2539273984 x70+1269636992 x69+634818496 x68+317409248 x67+158704624 x66+79352312 x65+39676156 x64+19838078 x63+9919039 x62-0=902225525943736
65.07/65.18	c 140737488355328 ~x2844665+70368744177664 ~x2844664+35184372088832 ~x2844663+17592186044416 ~x2844662+8796093022208 ~x2844661+4398046511104 ~x2844660+2199023255552 ~x2844659+1099511627776 ~x2844658+549755813888 ~x2844657+274877906944 ~x2844656+137438953472 ~x2844655+68719476736 ~x2844654+34359738368 ~x2844653+17179869184 ~x2844652+8589934592 ~x2844651+4294967296 ~x2844650+2147483648 ~x2844649+1073741824 ~x2844648+536870912 ~x2844647+268435456 ~x2844646+134217728 ~x2844645+67108864 ~x2844644+33554432 ~x2844643+16777216 ~x2844642+8388608 ~x2844641+4194304 ~x2844640+2097152 ~x2844639+1048576 ~x2844638+524288 ~x2844637+262144 ~x2844636+131072 ~x2844635+65536 ~x2844634+32768 ~x2844633+16384 ~x2844632+8192 ~x2844631+4096 ~x2844630+2048 ~x2844629+1024 ~x2844628+512 ~x2844627+256 ~x2844626+128 ~x2844625+64 ~x2844624+32 ~x2844623+16 ~x2844622+8 ~x2844621+4 ~x2844620+2 ~x2844619+1 ~x2844618+53687091200000 ~x1037+26843545600000 ~x1036+13421772800000 ~x1035+6710886400000 ~x1034+3355443200000 ~x1033+1677721600000 ~x1032+838860800000 ~x1031+419430400000 ~x1030+209715200000 ~x1029+104857600000 ~x1028+52428800000 ~x1027+26214400000 ~x1026+13107200000 ~x1025+6553600000 ~x1024+3276800000 ~x1023+1638400000 ~x1022+819200000 ~x1021+409600000 ~x1020+204800000 ~x1019+102400000 ~x1018+51200000 ~x1017+25600000 ~x1016+12800000 ~x1015+6400000 ~x1014+3200000 ~x1013+1600000 ~x1012+800000 ~x1011+400000 ~x1010+200000 ~x1009+100000 ~x1008+54073638256640 ~x856+27036819128320 ~x855+13518409564160 ~x854+6759204782080 ~x853+3379602391040 ~x852+1689801195520 ~x851+844900597760 ~x850+422450298880 ~x849+211225149440 ~x848+105612574720 ~x847+52806287360 ~x846+26403143680 ~x845+13201571840 ~x844+6600785920 ~x843+3300392960 ~x842+1650196480 ~x841+825098240 ~x840+412549120 ~x839+206274560 ~x838+103137280 ~x837+51568640 ~x836+25784320 ~x835+12892160 ~x834+6446080 ~x833+3223040 ~x832+1611520 ~x831+805760 ~x830+402880 ~x829+201440 ~x828+83190295298048 x797+41595147649024 x796+20797573824512 x795+10398786912256 x794+5199393456128 x793+2599696728064 x792+1299848364032 x791+649924182016 x790+324962091008 x789+162481045504 x788+81240522752 x787+40620261376 x786+20310130688 x785+10155065344 x784+5077532672 x783+2538766336 x782+1269383168 x781+634691584 x780+317345792 x779+158672896 x778+79336448 x777+39668224 x776+19834112 x775+9917056 x774+4958528 x773+2479264 x772+1239632 x771+619816 x770+309908 x769+154954 x768+178206212620288 x550+89103106310144 x549+44551553155072 x548+22275776577536 x547+11137888288768 x546+5568944144384 x545+2784472072192 x544+1392236036096 x543+696118018048 x542+348059009024 x541+174029504512 x540+87014752256 x539+43507376128 x538+21753688064 x537+10876844032 x536+5438422016 x535+2719211008 x534+1359605504 x533+679802752 x532+339901376 x531+169950688 x530+84975344 x529+42487672 x528+21243836 x527+10621918 x526+171486014865408 x460+85743007432704 x459+42871503716352 x458+21435751858176 x457+10717875929088 x456+5358937964544 x455+2679468982272 x454+1339734491136 x453+669867245568 x452+334933622784 x451+167466811392 x450+83733405696 x449+41866702848 x448+20933351424 x447+10466675712 x446+5233337856 x445+2616668928 x444+1308334464 x443+654167232 x442+327083616 x441+163541808 x440+81770904 x439+40885452 x438+20442726 x437+10221363 x436+168862679040000 x370+84431339520000 x369+42215669760000 x368+21107834880000 x367+10553917440000 x366+5276958720000 x365+2638479360000 x364+1319239680000 x363+659619840000 x362+329809920000 x361+164904960000 x360+82452480000 x359+41226240000 x358+20613120000 x357+10306560000 x356+5153280000 x355+2576640000 x354+1288320000 x353+644160000 x352+322080000 x351+161040000 x350+80520000 x349+40260000 x348+20130000 x347+10065000 x346+293040853876736 x281+146520426938368 x280+73260213469184 x279+36630106734592 x278+18315053367296 x277+9157526683648 x276+4578763341824 x275+2289381670912 x274+1144690835456 x273+572345417728 x272+286172708864 x271+143086354432 x270+71543177216 x269+35771588608 x268+17885794304 x267+8942897152 x266+4471448576 x265+2235724288 x264+1117862144 x263+558931072 x262+279465536 x261+139732768 x260+69866384 x259+34933192 x258+17466596 x257+8733298 x256+164382575165440 x190+82191287582720 x189+41095643791360 x188+20547821895680 x187+10273910947840 x186+5136955473920 x185+2568477736960 x184+1284238868480 x183+642119434240 x182+321059717120 x181+160529858560 x180+80264929280 x179+40132464640 x178+20066232320 x177+10033116160 x176+5016558080 x175+2508279040 x174+1254139520 x173+627069760 x172+313534880 x171+156767440 x170+78383720 x169+39191860 x168+19595930 x167+9797965 x166+77472514048 x105+38736257024 x104+19368128512 x103+9684064256 x102+4842032128 x101+2421016064 x100+1210508032 x99+605254016 x98+302627008 x97+151313504 x96+75656752 x95+37828376 x94+18914188 x93+9457094 x92+171164362080256 x26+85582181040128 x25+42791090520064 x24+21395545260032 x23+10697772630016 x22+5348886315008 x21+2674443157504 x20+1337221578752 x19+668610789376 x18+334305394688 x17+167152697344 x16+83576348672 x15+41788174336 x14+20894087168 x13+10447043584 x12+5223521792 x11+2611760896 x10+1305880448 x9+652940224 x8+326470112 x7+163235056 x6+81617528 x5+40808764 x4+20404382 x3+10202191 x2-0=496996435322495
70.07/70.16	c 281474976710656 ~x3062988+140737488355328 ~x3062987+70368744177664 ~x3062986+35184372088832 ~x3062985+17592186044416 ~x3062984+8796093022208 ~x3062983+4398046511104 ~x3062982+2199023255552 ~x3062981+1099511627776 ~x3062980+549755813888 ~x3062979+274877906944 ~x3062978+137438953472 ~x3062977+68719476736 ~x3062976+34359738368 ~x3062975+17179869184 ~x3062974+8589934592 ~x3062973+4294967296 ~x3062972+2147483648 ~x3062971+1073741824 ~x3062970+536870912 ~x3062969+268435456 ~x3062968+134217728 ~x3062967+67108864 ~x3062966+33554432 ~x3062965+16777216 ~x3062964+8388608 ~x3062963+4194304 ~x3062962+2097152 ~x3062961+1048576 ~x3062960+524288 ~x3062959+262144 ~x3062958+131072 ~x3062957+65536 ~x3062956+32768 ~x3062955+16384 ~x3062954+8192 ~x3062953+4096 ~x3062952+2048 ~x3062951+1024 ~x3062950+512 ~x3062949+256 ~x3062948+128 ~x3062947+64 ~x3062946+32 ~x3062945+16 ~x3062944+8 ~x3062943+4 ~x3062942+2 ~x3062941+1 ~x3062940+53687091200000 ~x1097+26843545600000 ~x1096+13421772800000 ~x1095+6710886400000 ~x1094+3355443200000 ~x1093+1677721600000 ~x1092+838860800000 ~x1091+419430400000 ~x1090+209715200000 ~x1089+104857600000 ~x1088+52428800000 ~x1087+26214400000 ~x1086+13107200000 ~x1085+6553600000 ~x1084+3276800000 ~x1083+1638400000 ~x1082+819200000 ~x1081+409600000 ~x1080+204800000 ~x1079+102400000 ~x1078+51200000 ~x1077+25600000 ~x1076+12800000 ~x1075+6400000 ~x1074+3200000 ~x1073+1600000 ~x1072+800000 ~x1071+400000 ~x1070+200000 ~x1069+100000 ~x1068+141033841098752 ~x917+70516920549376 ~x916+35258460274688 ~x915+17629230137344 ~x914+8814615068672 ~x913+4407307534336 ~x912+2203653767168 ~x911+1101826883584 ~x910+550913441792 ~x909+275456720896 ~x908+137728360448 ~x907+68864180224 ~x906+34432090112 ~x905+17216045056 ~x904+8608022528 ~x903+4304011264 ~x902+2152005632 ~x901+1076002816 ~x900+538001408 ~x899+269000704 ~x898+134500352 ~x897+67250176 ~x896+33625088 ~x895+16812544 ~x894+8406272 ~x893+4203136 ~x892+2101568 ~x891+1050784 ~x890+525392 ~x889+262696 ~x888+141033841098752 x827+70516920549376 x826+35258460274688 x825+17629230137344 x824+8814615068672 x823+4407307534336 x822+2203653767168 x821+1101826883584 x820+550913441792 x819+275456720896 x818+137728360448 x817+68864180224 x816+34432090112 x815+17216045056 x814+8608022528 x813+4304011264 x812+2152005632 x811+1076002816 x810+538001408 x809+269000704 x808+134500352 x807+67250176 x806+33625088 x805+16812544 x804+8406272 x803+4203136 x802+2101568 x801+1050784 x800+525392 x799+262696 x798+355683354542080 x611+177841677271040 x610+88920838635520 x609+44460419317760 x608+22230209658880 x607+11115104829440 x606+5557552414720 x605+2778776207360 x604+1389388103680 x603+694694051840 x602+347347025920 x601+173673512960 x600+86836756480 x599+43418378240 x598+21709189120 x597+10854594560 x596+5427297280 x595+2713648640 x594+1356824320 x593+678412160 x592+339206080 x591+169603040 x590+84801520 x589+42400760 x588+21200380 x587+10600190 x586+342045625417728 x521+171022812708864 x520+85511406354432 x519+42755703177216 x518+21377851588608 x517+10688925794304 x516+5344462897152 x515+2672231448576 x514+1336115724288 x513+668057862144 x512+334028931072 x511+167014465536 x510+83507232768 x509+41753616384 x508+20876808192 x507+10438404096 x506+5219202048 x505+2609601024 x504+1304800512 x503+652400256 x502+326200128 x501+163100064 x500+81550032 x499+40775016 x498+20387508 x497+10193754 x496+334798237204480 x431+167399118602240 x430+83699559301120 x429+41849779650560 x428+20924889825280 x427+10462444912640 x426+5231222456320 x425+2615611228160 x424+1307805614080 x423+653902807040 x422+326951403520 x421+163475701760 x420+81737850880 x419+40868925440 x418+20434462720 x417+10217231360 x416+5108615680 x415+2554307840 x414+1277153920 x413+638576960 x412+319288480 x411+159644240 x410+79822120 x409+39911060 x408+19955530 x407+9977765 x406+289390702100480 x341+144695351050240 x340+72347675525120 x339+36173837762560 x338+18086918881280 x337+9043459440640 x336+4521729720320 x335+2260864860160 x334+1130432430080 x333+565216215040 x332+282608107520 x331+141304053760 x330+70652026880 x329+35326013440 x328+17663006720 x327+8831503360 x326+4415751680 x325+2207875840 x324+1103937920 x323+551968960 x322+275984480 x321+137992240 x320+68996120 x319+34498060 x318+17249030 x317+8624515 x316+326624981549056 x251+163312490774528 x250+81656245387264 x249+40828122693632 x248+20414061346816 x247+10207030673408 x246+5103515336704 x245+2551757668352 x244+1275878834176 x243+637939417088 x242+318969708544 x241+159484854272 x240+79742427136 x239+39871213568 x238+19935606784 x237+9967803392 x236+4983901696 x235+2491950848 x234+1245975424 x233+622987712 x232+311493856 x231+155746928 x230+77873464 x229+38936732 x228+19468366 x227+9734183 x226+315907226206208 x161+157953613103104 x160+78976806551552 x159+39488403275776 x158+19744201637888 x157+9872100818944 x156+4936050409472 x155+2468025204736 x154+1234012602368 x153+617006301184 x152+308503150592 x151+154251575296 x150+77125787648 x149+38562893824 x148+19281446912 x147+9640723456 x146+4820361728 x145+2410180864 x144+1205090432 x143+602545216 x142+301272608 x141+150636304 x140+75318152 x139+37659076 x138+18829538 x137+9414769 x136+339196719923200 x87+169598359961600 x86+84799179980800 x85+42399589990400 x84+21199794995200 x83+10599897497600 x82+5299948748800 x81+2649974374400 x80+1324987187200 x79+662493593600 x78+331246796800 x77+165623398400 x76+82811699200 x75+41405849600 x74+20702924800 x73+10351462400 x72+5175731200 x71+2587865600 x70+1293932800 x69+646966400 x68+323483200 x67+161741600 x66+80870800 x65+40435400 x64+20217700 x63+10108850 x62-0=952391817656119
75.27/75.36	c 4398046511104 ~x3295072+2199023255552 ~x3295071+1099511627776 ~x3295070+549755813888 ~x3295069+274877906944 ~x3295068+137438953472 ~x3295067+68719476736 ~x3295066+34359738368 ~x3295065+17179869184 ~x3295064+8589934592 ~x3295063+4294967296 ~x3295062+2147483648 ~x3295061+1073741824 ~x3295060+536870912 ~x3295059+268435456 ~x3295058+134217728 ~x3295057+67108864 ~x3295056+33554432 ~x3295055+16777216 ~x3295054+8388608 ~x3295053+4194304 ~x3295052+2097152 ~x3295051+1048576 ~x3295050+524288 ~x3295049+262144 ~x3295048+131072 ~x3295047+65536 ~x3295046+32768 ~x3295045+16384 ~x3295044+8192 ~x3295043+4096 ~x3295042+2048 ~x3295041+1024 ~x3295040+512 ~x3295039+256 ~x3295038+128 ~x3295037+64 ~x3295036+32 ~x3295035+16 ~x3295034+8 ~x3295033+4 ~x3295032+2 ~x3295031+1 ~x3295030+22011707392 x1037+11005853696 x1036+5502926848 x1035+2751463424 x1034+1375731712 x1033+687865856 x1032+343932928 x1031+171966464 x1030+85983232 x1029+42991616 x1028+21495808 x1027+10747904 x1026+5373952 x1025+2686976 x1024+1343488 x1023+671744 x1022+335872 x1021+167936 x1020+83968 x1019+41984 x1018+20992 x1017+10496 x1016+5248 x1015+2624 x1014+1312 x1013+656 x1012+328 x1011+164 x1010+82 x1009+41 x1008+39191576576 x947+19595788288 x946+9797894144 x945+4898947072 x944+2449473536 x943+1224736768 x942+612368384 x941+306184192 x940+153092096 x939+76546048 x938+38273024 x937+19136512 x936+9568256 x935+4784128 x934+2392064 x933+1196032 x932+598016 x931+299008 x930+149504 x929+74752 x928+37376 x927+18688 x926+9344 x925+4672 x924+2336 x923+1168 x922+584 x921+292 x920+146 x919+73 x918+2886218022912 ~x856+1443109011456 ~x855+721554505728 ~x854+360777252864 ~x853+180388626432 ~x852+90194313216 ~x851+45097156608 ~x850+22548578304 ~x849+11274289152 ~x848+5637144576 ~x847+2818572288 ~x846+1409286144 ~x845+704643072 ~x844+352321536 ~x843+176160768 ~x842+88080384 ~x841+44040192 ~x840+22020096 ~x839+11010048 ~x838+5505024 ~x837+2752512 ~x836+1376256 ~x835+688128 ~x834+344064 ~x833+172032 ~x832+86016 ~x831+43008 ~x830+21504 ~x829+10752 ~x828-0=14568529057279
76.88/76.90	c 549755813888 ~x3362725+274877906944 ~x3362724+137438953472 ~x3362723+68719476736 ~x3362722+34359738368 ~x3362721+17179869184 ~x3362720+8589934592 ~x3362719+4294967296 ~x3362718+2147483648 ~x3362717+1073741824 ~x3362716+536870912 ~x3362715+268435456 ~x3362714+134217728 ~x3362713+67108864 ~x3362712+33554432 ~x3362711+16777216 ~x3362710+8388608 ~x3362709+4194304 ~x3362708+2097152 ~x3362707+1048576 ~x3362706+524288 ~x3362705+262144 ~x3362704+131072 ~x3362703+65536 ~x3362702+32768 ~x3362701+16384 ~x3362700+8192 ~x3362699+4096 ~x3362698+2048 ~x3362697+1024 ~x3362696+512 ~x3362695+256 ~x3362694+128 ~x3362693+64 ~x3362692+32 ~x3362691+16 ~x3362690+8 ~x3362689+4 ~x3362688+2 ~x3362687+1 ~x3362686+4831838208 x1067+2415919104 x1066+1207959552 x1065+603979776 x1064+301989888 x1063+150994944 x1062+75497472 x1061+37748736 x1060+18874368 x1059+9437184 x1058+4718592 x1057+2359296 x1056+1179648 x1055+589824 x1054+294912 x1053+147456 x1052+73728 x1051+36864 x1050+18432 x1049+9216 x1048+4608 x1047+2304 x1046+1152 x1045+576 x1044+288 x1043+144 x1042+72 x1041+36 x1040+18 x1039+9 x1038+15032385536 x977+7516192768 x976+3758096384 x975+1879048192 x974+939524096 x973+469762048 x972+234881024 x971+117440512 x970+58720256 x969+29360128 x968+14680064 x967+7340032 x966+3670016 x965+1835008 x964+917504 x963+458752 x962+229376 x961+114688 x960+57344 x959+28672 x958+14336 x957+7168 x956+3584 x955+1792 x954+896 x953+448 x952+224 x951+112 x950+56 x949+28 x948+435804962816 ~x885+217902481408 ~x884+108951240704 ~x883+54475620352 ~x882+27237810176 ~x881+13618905088 ~x880+6809452544 ~x879+3404726272 ~x878+1702363136 ~x877+851181568 ~x876+425590784 ~x875+212795392 ~x874+106397696 ~x873+53198848 ~x872+26599424 ~x871+13299712 ~x870+6649856 ~x869+3324928 ~x868+1662464 ~x867+831232 ~x866+415616 ~x865+207808 ~x864+103904 ~x863+51952 ~x862+25976 ~x861+12988 ~x860+6494 ~x859+3247 ~x858-0=1971121550160
78.27/78.37	c 8796093022208 ~x3426420+4398046511104 ~x3426419+2199023255552 ~x3426418+1099511627776 ~x3426417+549755813888 ~x3426416+274877906944 ~x3426415+137438953472 ~x3426414+68719476736 ~x3426413+34359738368 ~x3426412+17179869184 ~x3426411+8589934592 ~x3426410+4294967296 ~x3426409+2147483648 ~x3426408+1073741824 ~x3426407+536870912 ~x3426406+268435456 ~x3426405+134217728 ~x3426404+67108864 ~x3426403+33554432 ~x3426402+16777216 ~x3426401+8388608 ~x3426400+4194304 ~x3426399+2097152 ~x3426398+1048576 ~x3426397+524288 ~x3426396+262144 ~x3426395+131072 ~x3426394+65536 ~x3426393+32768 ~x3426392+16384 ~x3426391+8192 ~x3426390+4096 ~x3426389+2048 ~x3426388+1024 ~x3426387+512 ~x3426386+256 ~x3426385+128 ~x3426384+64 ~x3426383+32 ~x3426382+16 ~x3426381+8 ~x3426380+4 ~x3426379+2 ~x3426378+1 ~x3426377+16642998272 x1097+8321499136 x1096+4160749568 x1095+2080374784 x1094+1040187392 x1093+520093696 x1092+260046848 x1091+130023424 x1090+65011712 x1089+32505856 x1088+16252928 x1087+8126464 x1086+4063232 x1085+2031616 x1084+1015808 x1083+507904 x1082+253952 x1081+126976 x1080+63488 x1079+31744 x1078+15872 x1077+7936 x1076+3968 x1075+1984 x1074+992 x1073+496 x1072+248 x1071+124 x1070+62 x1069+31 x1068+43486543872 x1007+21743271936 x1006+10871635968 x1005+5435817984 x1004+2717908992 x1003+1358954496 x1002+679477248 x1001+339738624 x1000+169869312 x999+84934656 x998+42467328 x997+21233664 x996+10616832 x995+5308416 x994+2654208 x993+1327104 x992+663552 x991+331776 x990+165888 x989+82944 x988+41472 x987+20736 x986+10368 x985+5184 x984+2592 x983+1296 x982+648 x981+324 x980+162 x979+81 x978+5288178483200 ~x917+2644089241600 ~x916+1322044620800 ~x915+661022310400 ~x914+330511155200 ~x913+165255577600 ~x912+82627788800 ~x911+41313894400 ~x910+20656947200 ~x909+10328473600 ~x908+5164236800 ~x907+2582118400 ~x906+1291059200 ~x905+645529600 ~x904+322764800 ~x903+161382400 ~x902+80691200 ~x901+40345600 ~x900+20172800 ~x899+10086400 ~x898+5043200 ~x897+2521600 ~x896+1260800 ~x895+630400 ~x894+315200 ~x893+157600 ~x892+78800 ~x891+39400 ~x890+19700 ~x889+9850 ~x888-0=28168543000965
86.17/86.24	c 2199023255552 ~x3771766+1099511627776 ~x3771765+549755813888 ~x3771764+274877906944 ~x3771763+137438953472 ~x3771762+68719476736 ~x3771761+34359738368 ~x3771760+17179869184 ~x3771759+8589934592 ~x3771758+4294967296 ~x3771757+2147483648 ~x3771756+1073741824 ~x3771755+536870912 ~x3771754+268435456 ~x3771753+134217728 ~x3771752+67108864 ~x3771751+33554432 ~x3771750+16777216 ~x3771749+8388608 ~x3771748+4194304 ~x3771747+2097152 ~x3771746+1048576 ~x3771745+524288 ~x3771744+262144 ~x3771743+131072 ~x3771742+65536 ~x3771741+32768 ~x3771740+16384 ~x3771739+8192 ~x3771738+4096 ~x3771737+2048 ~x3771736+1024 ~x3771735+512 ~x3771734+256 ~x3771733+128 ~x3771732+64 ~x3771731+32 ~x3771730+16 ~x3771729+8 ~x3771728+4 ~x3771727+2 ~x3771726+1 ~x3771725+163745628160 x856+81872814080 x855+40936407040 x854+20468203520 x853+10234101760 x852+5117050880 x851+2558525440 x850+1279262720 x849+639631360 x848+319815680 x847+159907840 x846+79953920 x845+39976960 x844+19988480 x843+9994240 x842+4997120 x841+2498560 x840+1249280 x839+624640 x838+312320 x837+156160 x836+78080 x835+39040 x834+19520 x833+9760 x832+4880 x831+2440 x830+1220 x829+610 x828+26843545600 ~x555+13421772800 ~x554+6710886400 ~x553+3355443200 ~x552+1677721600 ~x551+838860800 ~x550+419430400 ~x549+209715200 ~x548+104857600 ~x547+52428800 ~x546+26214400 ~x545+13107200 ~x544+6553600 ~x543+3276800 ~x542+1638400 ~x541+819200 ~x540+409600 ~x539+204800 ~x538+102400 ~x537+51200 ~x536+25600 ~x535+12800 ~x534+6400 ~x533+3200 ~x532+1600 ~x531+800 ~x530+400 ~x529+200 ~x528+100 ~x527+50 ~x526+155155693568 ~x465+77577846784 ~x464+38788923392 ~x463+19394461696 ~x462+9697230848 ~x461+4848615424 ~x460+2424307712 ~x459+1212153856 ~x458+606076928 ~x457+303038464 ~x456+151519232 ~x455+75759616 ~x454+37879808 ~x453+18939904 ~x452+9469952 ~x451+4734976 ~x450+2367488 ~x449+1183744 ~x448+591872 ~x447+295936 ~x446+147968 ~x445+73984 ~x444+36992 ~x443+18496 ~x442+9248 ~x441+4624 ~x440+2312 ~x439+1156 ~x438+578 ~x437+289 ~x436+606664130560 ~x375+303332065280 ~x374+151666032640 ~x373+75833016320 ~x372+37916508160 ~x371+18958254080 ~x370+9479127040 ~x369+4739563520 ~x368+2369781760 ~x367+1184890880 ~x366+592445440 ~x365+296222720 ~x364+148111360 ~x363+74055680 ~x362+37027840 ~x361+18513920 ~x360+9256960 ~x359+4628480 ~x358+2314240 ~x357+1157120 ~x356+578560 ~x355+289280 ~x354+144640 ~x353+72320 ~x352+36160 ~x351+18080 ~x350+9040 ~x349+4520 ~x348+2260 ~x347+1130 ~x346+549218942976 ~x285+274609471488 ~x284+137304735744 ~x283+68652367872 ~x282+34326183936 ~x281+17163091968 ~x280+8581545984 ~x279+4290772992 ~x278+2145386496 ~x277+1072693248 ~x276+536346624 ~x275+268173312 ~x274+134086656 ~x273+67043328 ~x272+33521664 ~x271+16760832 ~x270+8380416 ~x269+4190208 ~x268+2095104 ~x267+1047552 ~x266+523776 ~x265+261888 ~x264+130944 ~x263+65472 ~x262+32736 ~x261+16368 ~x260+8184 ~x259+4092 ~x258+2046 ~x257+1023 ~x256+310848258048 ~x195+155424129024 ~x194+77712064512 ~x193+38856032256 ~x192+19428016128 ~x191+9714008064 ~x190+4857004032 ~x189+2428502016 ~x188+1214251008 ~x187+607125504 ~x186+303562752 ~x185+151781376 ~x184+75890688 ~x183+37945344 ~x182+18972672 ~x181+9486336 ~x180+4743168 ~x179+2371584 ~x178+1185792 ~x177+592896 ~x176+296448 ~x175+148224 ~x174+74112 ~x173+37056 ~x172+18528 ~x171+9264 ~x170+4632 ~x169+2316 ~x168+1158 ~x167+579 ~x166+1277952 x105+638976 x104+319488 x103+159744 x102+79872 x101+39936 x100+19968 x99+9984 x98+4992 x97+2496 x96+1248 x95+624 x94+312 x93+156 x92+270046068736 ~x31+135023034368 ~x30+67511517184 ~x29+33755758592 ~x28+16877879296 ~x27+8438939648 ~x26+4219469824 ~x25+2109734912 ~x24+1054867456 ~x23+527433728 ~x22+263716864 ~x21+131858432 ~x20+65929216 ~x19+32964608 ~x18+16482304 ~x17+8241152 ~x16+4120576 ~x15+2060288 ~x14+1030144 ~x13+515072 ~x12+257536 ~x11+128768 ~x10+64384 ~x9+32192 ~x8+16096 ~x7+8048 ~x6+4024 ~x5+2012 ~x4+1006 ~x3+503 ~x2-0=8235599786505
89.36/89.46	c 34359738368 ~x3912729+17179869184 ~x3912728+8589934592 ~x3912727+4294967296 ~x3912726+2147483648 ~x3912725+1073741824 ~x3912724+536870912 ~x3912723+268435456 ~x3912722+134217728 ~x3912721+67108864 ~x3912720+33554432 ~x3912719+16777216 ~x3912718+8388608 ~x3912717+4194304 ~x3912716+2097152 ~x3912715+1048576 ~x3912714+524288 ~x3912713+262144 ~x3912712+131072 ~x3912711+65536 ~x3912710+32768 ~x3912709+16384 ~x3912708+8192 ~x3912707+4096 ~x3912706+2048 ~x3912705+1024 ~x3912704+512 ~x3912703+256 ~x3912702+128 ~x3912701+64 ~x3912700+32 ~x3912699+16 ~x3912698+8 ~x3912697+4 ~x3912696+2 ~x3912695+1 ~x3912694+81872814080 x885+40936407040 x884+20468203520 x883+10234101760 x882+5117050880 x881+2558525440 x880+1279262720 x879+639631360 x878+319815680 x877+159907840 x876+79953920 x875+39976960 x874+19988480 x873+9994240 x872+4997120 x871+2498560 x870+1249280 x869+624640 x868+312320 x867+156160 x866+78080 x865+39040 x864+19520 x863+9760 x862+4880 x861+2440 x860+1220 x859+610 x858+419430400 ~x579+209715200 ~x578+104857600 ~x577+52428800 ~x576+26214400 ~x575+13107200 ~x574+6553600 ~x573+3276800 ~x572+1638400 ~x571+819200 ~x570+409600 ~x569+204800 ~x568+102400 ~x567+51200 ~x566+25600 ~x565+12800 ~x564+6400 ~x563+3200 ~x562+1600 ~x561+800 ~x560+400 ~x559+200 ~x558+100 ~x557+50 ~x556+2424307712 ~x489+1212153856 ~x488+606076928 ~x487+303038464 ~x486+151519232 ~x485+75759616 ~x484+37879808 ~x483+18939904 ~x482+9469952 ~x481+4734976 ~x480+2367488 ~x479+1183744 ~x478+591872 ~x477+295936 ~x476+147968 ~x475+73984 ~x474+36992 ~x473+18496 ~x472+9248 ~x471+4624 ~x470+2312 ~x469+1156 ~x468+578 ~x467+289 ~x466+9479127040 ~x399+4739563520 ~x398+2369781760 ~x397+1184890880 ~x396+592445440 ~x395+296222720 ~x394+148111360 ~x393+74055680 ~x392+37027840 ~x391+18513920 ~x390+9256960 ~x389+4628480 ~x388+2314240 ~x387+1157120 ~x386+578560 ~x385+289280 ~x384+144640 ~x383+72320 ~x382+36160 ~x381+18080 ~x380+9040 ~x379+4520 ~x378+2260 ~x377+1130 ~x376+8581545984 ~x309+4290772992 ~x308+2145386496 ~x307+1072693248 ~x306+536346624 ~x305+268173312 ~x304+134086656 ~x303+67043328 ~x302+33521664 ~x301+16760832 ~x300+8380416 ~x299+4190208 ~x298+2095104 ~x297+1047552 ~x296+523776 ~x295+261888 ~x294+130944 ~x293+65472 ~x292+32736 ~x291+16368 ~x290+8184 ~x289+4092 ~x288+2046 ~x287+1023 ~x286+4857004032 ~x219+2428502016 ~x218+1214251008 ~x217+607125504 ~x216+303562752 ~x215+151781376 ~x214+75890688 ~x213+37945344 ~x212+18972672 ~x211+9486336 ~x210+4743168 ~x209+2371584 ~x208+1185792 ~x207+592896 ~x206+296448 ~x205+148224 ~x204+74112 ~x203+37056 ~x202+18528 ~x201+9264 ~x200+4632 ~x199+2316 ~x198+1158 ~x197+579 ~x196+1308622848 x129+654311424 x128+327155712 x127+163577856 x126+81788928 x125+40894464 x124+20447232 x123+10223616 x122+5111808 x121+2555904 x120+1277952 x119+638976 x118+319488 x117+159744 x116+79872 x115+39936 x114+19968 x113+9984 x112+4992 x111+2496 x110+1248 x109+624 x108+312 x107+156 x106+4219469824 ~x55+2109734912 ~x54+1054867456 ~x53+527433728 ~x52+263716864 ~x51+131858432 ~x50+65929216 ~x49+32964608 ~x48+16482304 ~x47+8241152 ~x46+4120576 ~x45+2060288 ~x44+1030144 ~x43+515072 ~x42+257536

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2673979-1276799852/watcher-2673979-1276799852 -o /tmp/evaluation-result-2673979-1276799852/solver-2673979-1276799852 -C 1800 -W 2000 -M 1800 run HOME/instance-2673979-1276799852.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.02 0.99 0.99 3/106 23101
/proc/meminfo: memFree=1839084/2059040 swapFree=4140292/4192956
[pid=23101] ppid=23099 vsize=8700 CPUtime=0
/proc/23101/stat : 23101 (run) S 23099 23101 23014 0 -1 4202496 389 135 0 0 0 0 0 0 20 0 1 0 21276858 8908800 251 1992294400 4194304 4922060 140736681740304 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23101/statm: 2175 251 211 178 0 68 0

[startup+0.0794 s]
/proc/loadavg: 1.02 0.99 0.99 3/106 23101
/proc/meminfo: memFree=1839084/2059040 swapFree=4140292/4192956
[pid=23101] ppid=23099 vsize=8700 CPUtime=0
/proc/23101/stat : 23101 (run) S 23099 23101 23014 0 -1 4202496 389 135 0 0 0 0 0 0 20 0 1 0 21276858 8908800 251 1992294400 4194304 4922060 140736681740304 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23101/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.100402 s]
/proc/loadavg: 1.02 0.99 0.99 3/106 23101
/proc/meminfo: memFree=1839084/2059040 swapFree=4140292/4192956
[pid=23101] ppid=23099 vsize=8700 CPUtime=0
/proc/23101/stat : 23101 (run) S 23099 23101 23014 0 -1 4202496 389 135 0 0 0 0 0 0 20 0 1 0 21276858 8908800 251 1992294400 4194304 4922060 140736681740304 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23101/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.300419 s]
/proc/loadavg: 1.02 0.99 0.99 3/106 23101
/proc/meminfo: memFree=1839084/2059040 swapFree=4140292/4192956
[pid=23101] ppid=23099 vsize=8700 CPUtime=0
/proc/23101/stat : 23101 (run) S 23099 23101 23014 0 -1 4202496 389 135 0 0 0 0 0 0 20 0 1 0 21276858 8908800 251 1992294400 4194304 4922060 140736681740304 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23101/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.700454 s]
/proc/loadavg: 1.02 0.99 0.99 3/106 23101
/proc/meminfo: memFree=1839084/2059040 swapFree=4140292/4192956
[pid=23101] ppid=23099 vsize=8700 CPUtime=0
/proc/23101/stat : 23101 (run) S 23099 23101 23014 0 -1 4202496 389 135 0 0 0 0 0 0 20 0 1 0 21276858 8908800 251 1992294400 4194304 4922060 140736681740304 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23101/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50052 s]
/proc/loadavg: 1.02 0.99 0.99 2/108 23104
/proc/meminfo: memFree=1745200/2059040 swapFree=4140292/4192956
[pid=23101] ppid=23099 vsize=8700 CPUtime=0
/proc/23101/stat : 23101 (run) S 23099 23101 23014 0 -1 4202496 389 135 0 0 0 0 0 0 20 0 1 0 21276858 8908800 251 1992294400 4194304 4922060 140736681740304 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23101/statm: 2175 251 211 178 0 68 0
[pid=23103] ppid=23101 vsize=105136 CPUtime=1.49
/proc/23103/stat : 23103 (PBPASSolver) R 23101 23101 23014 0 -1 4202496 25742 0 0 0 111 38 0 0 25 0 1 0 21276858 107659264 25456 1992294400 134512640 134902295 4290524624 18446744073709551615 4160239010 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23103/statm: 26284 25456 262 96 0 25496 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 113836

[startup+3.10066 s]
/proc/loadavg: 1.02 0.99 0.99 2/108 23104
/proc/meminfo: memFree=1725608/2059040 swapFree=4140292/4192956
[pid=23101] ppid=23099 vsize=8700 CPUtime=0
/proc/23101/stat : 23101 (run) S 23099 23101 23014 0 -1 4202496 389 135 0 0 0 0 0 0 20 0 1 0 21276858 8908800 251 1992294400 4194304 4922060 140736681740304 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23101/statm: 2175 251 211 178 0 68 0
[pid=23103] ppid=23101 vsize=136268 CPUtime=3.09
/proc/23103/stat : 23103 (PBPASSolver) R 23101 23101 23014 0 -1 4202496 33429 0 0 0 268 41 0 0 25 0 1 0 21276858 139538432 32790 1992294400 134512640 134902295 4290524624 18446744073709551615 4160206319 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23103/statm: 34067 32790 262 96 0 33279 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 144968

[startup+6.30194 s]
/proc/loadavg: 1.02 0.99 0.99 2/108 23104
/proc/meminfo: memFree=1668816/2059040 swapFree=4140292/4192956
[pid=23101] ppid=23099 vsize=8700 CPUtime=0
/proc/23101/stat : 23101 (run) S 23099 23101 23014 0 -1 4202496 389 135 0 0 0 0 0 0 20 0 1 0 21276858 8908800 251 1992294400 4194304 4922060 140736681740304 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23101/statm: 2175 251 211 178 0 68 0
[pid=23103] ppid=23101 vsize=188672 CPUtime=6.28
/proc/23103/stat : 23103 (PBPASSolver) R 23101 23101 23014 0 -1 4202496 49804 0 0 0 580 48 0 0 25 0 1 0 21276858 193200128 45195 1992294400 134512640 134902295 4290524624 18446744073709551615 4160205442 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23103/statm: 47168 45195 262 96 0 46380 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 197372

[startup+12.7015 s]
/proc/loadavg: 1.02 0.99 0.99 2/108 23104
/proc/meminfo: memFree=1560564/2059040 swapFree=4140292/4192956
[pid=23101] ppid=23099 vsize=8700 CPUtime=0
/proc/23101/stat : 23101 (run) S 23099 23101 23014 0 -1 4202496 389 135 0 0 0 0 0 0 20 0 1 0 21276858 8908800 251 1992294400 4194304 4922060 140736681740304 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23101/statm: 2175 251 211 178 0 68 0
[pid=23103] ppid=23101 vsize=313296 CPUtime=12.68
/proc/23103/stat : 23103 (PBPASSolver) R 23101 23101 23014 0 -1 4202496 82659 0 0 0 1206 62 0 0 25 0 1 0 21276858 320815104 73912 1992294400 134512640 134902295 4290524624 18446744073709551615 134520305 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23103/statm: 78324 73912 262 96 0 77536 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 321996

[startup+25.5006 s]
/proc/loadavg: 1.01 0.99 0.99 2/108 23106
/proc/meminfo: memFree=1338604/2059040 swapFree=4140292/4192956
[pid=23101] ppid=23099 vsize=8700 CPUtime=0
/proc/23101/stat : 23101 (run) S 23099 23101 23014 0 -1 4202496 389 135 0 0 0 0 0 0 20 0 1 0 21276858 8908800 251 1992294400 4194304 4922060 140736681740304 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23101/statm: 2175 251 211 178 0 68 0
[pid=23103] ppid=23101 vsize=525912 CPUtime=25.48
/proc/23103/stat : 23103 (PBPASSolver) R 23101 23101 23014 0 -1 4202496 142646 0 0 0 2459 89 0 0 25 0 1 0 21276858 538533888 126301 1992294400 134512640 134902295 4290524624 18446744073709551615 4160236471 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23103/statm: 131478 126301 262 96 0 130690 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 534612

[startup+51.1009 s]
/proc/loadavg: 1.01 0.99 0.99 2/108 23106
/proc/meminfo: memFree=883276/2059040 swapFree=4140292/4192956
[pid=23101] ppid=23099 vsize=8700 CPUtime=0
/proc/23101/stat : 23101 (run) S 23099 23101 23014 0 -1 4202496 389 135 0 0 0 0 0 0 20 0 1 0 21276858 8908800 251 1992294400 4194304 4922060 140736681740304 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23101/statm: 2175 251 211 178 0 68 0
[pid=23103] ppid=23101 vsize=988236 CPUtime=51.07
/proc/23103/stat : 23103 (PBPASSolver) R 23101 23101 23014 0 -1 4202496 262030 0 0 0 4967 140 0 0 25 0 1 0 21276858 1011953664 241045 1992294400 134512640 134902295 4290524624 18446744073709551615 4160244071 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23103/statm: 247059 241045 262 96 0 246271 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 996936



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+91.2014 s]
/proc/loadavg: 1.00 0.99 0.99 2/108 23106
/proc/meminfo: memFree=104184/2059040 swapFree=4140292/4192956
[pid=23101] ppid=23099 vsize=8700 CPUtime=0
/proc/23101/stat : 23101 (run) S 23099 23101 23014 0 -1 4202496 389 135 0 0 0 0 0 0 20 0 1 0 21276858 8908800 251 1992294400 4194304 4922060 140736681740304 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23101/statm: 2175 251 211 178 0 68 0
[pid=23103] ppid=23101 vsize=1849592 CPUtime=91.18
/proc/23103/stat : 23103 (PBPASSolver) R 23101 23101 23014 0 -1 4202496 454010 0 0 0 8893 225 0 0 25 0 1 0 21276858 1893982208 432905 1992294400 134512640 134902295 4290524624 18446744073709551615 134631605 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/23103/statm: 462398 432905 262 96 0 461610 0
Current children cumulated CPU time (s) 91.18
Current children cumulated vsize (KiB) 1858292

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 23101 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 91.18
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 91.2226
CPU time (s): 91.18
CPU user time (s): 88.93
CPU system time (s): 2.25
CPU usage (%): 99.9532
Max. virtual memory (cumulated for all children) (KiB): 1858292

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= 3
involuntary context switches= 3

runsolver used 0.155976 second user time and 0.448931 second system time

The end

Launcher Data 

Begin job on node050 at 2010-06-17 20:37:32
IDJOB=2673979
IDBENCH=2418
IDSOLVER=1174
FILE ID=node050/2673979-1276799852
PBS_JOBID= 11176674
Free space on /tmp= 62572 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-kb2.opb
COMMAND LINE= run BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2673979-1276799852/watcher-2673979-1276799852 -o /tmp/evaluation-result-2673979-1276799852/solver-2673979-1276799852 -C 1800 -W 2000 -M 1800  run HOME/instance-2673979-1276799852.opb

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

MD5SUM BENCH= 7bb51fb18714f8fdd98e0de4fc62f6d8
RANDOM SEED=311629830

node050.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.215
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.43
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.215
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:       1839604 kB
Buffers:         37120 kB
Cached:          91452 kB
SwapCached:       5808 kB
Active:           7536 kB
Inactive:       133596 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1839604 kB
SwapTotal:     4192956 kB
SwapFree:      4140292 kB
Dirty:             888 kB
Writeback:           0 kB
AnonPages:       11232 kB
Mapped:          12960 kB
Slab:            56264 kB
PageTables:       4040 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181440 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= 62572 MiB
End job on node050 at 2010-06-17 20:39:06