Trace number 2674732

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) 64.86 64.9216

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-stair.opb
MD5SUM93ec90d2ad0b276483c19ced945be9c0
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark11.2783
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables11454
Total number of constraints362
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 constraints362
Minimum length of a constraint13
Maximum length of a constraint810
Number of terms in the objective function 30
Biggest coefficient in the objective function 536870912
Number of bits for the biggest coefficient in the objective function 30
Sum of the numbers in the objective function 1073741823
Number of bits of the sum of numbers in the objective function 30
Biggest number in a constraint 528959045369856
Number of bits of the biggest number in a constraint 49
Biggest sum of numbers in a constraint 3702118998041541
Number of bits of the biggest sum of numbers52
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

6.28/6.35	c 11454 362 0 0 0 0 0 0
6.28/6.35	c 2048 ~x11467+1024 ~x11466+512 ~x11465+256 ~x11464+128 ~x11463+64 ~x11462+32 ~x11461+16 ~x11460+8 ~x11459+4 ~x11458+2 ~x11457+1 ~x11456+2048 ~x943+1024 ~x942+512 ~x941+256 ~x940+128 ~x939+64 ~x938+32 ~x937+16 ~x936+8 ~x935+4 ~x934+2 ~x933+1 ~x932-0=7166
6.38/6.43	c 2048 ~x13699+1024 ~x13698+512 ~x13697+256 ~x13696+128 ~x13695+64 ~x13694+32 ~x13693+16 ~x13692+8 ~x13691+4 ~x13690+2 ~x13689+1 ~x13688+2048 ~x956+1024 ~x955+512 ~x954+256 ~x953+128 ~x952+64 ~x951+32 ~x950+16 ~x949+8 ~x948+4 ~x947+2 ~x946+1 ~x945-0=6654
6.38/6.49	c 2048 ~x15931+1024 ~x15930+512 ~x15929+256 ~x15928+128 ~x15927+64 ~x15926+32 ~x15925+16 ~x15924+8 ~x15923+4 ~x15922+2 ~x15921+1 ~x15920+2048 ~x969+1024 ~x968+512 ~x967+256 ~x966+128 ~x965+64 ~x964+32 ~x963+16 ~x962+8 ~x961+4 ~x960+2 ~x959+1 ~x958-0=6654
6.49/6.54	c 2048 ~x18163+1024 ~x18162+512 ~x18161+256 ~x18160+128 ~x18159+64 ~x18158+32 ~x18157+16 ~x18156+8 ~x18155+4 ~x18154+2 ~x18153+1 ~x18152+2048 ~x982+1024 ~x981+512 ~x980+256 ~x979+128 ~x978+64 ~x977+32 ~x976+16 ~x975+8 ~x974+4 ~x973+2 ~x972+1 ~x971-0=6654
6.60/6.61	c 2048 ~x20395+1024 ~x20394+512 ~x20393+256 ~x20392+128 ~x20391+64 ~x20390+32 ~x20389+16 ~x20388+8 ~x20387+4 ~x20386+2 ~x20385+1 ~x20384+2048 ~x995+1024 ~x994+512 ~x993+256 ~x992+128 ~x991+64 ~x990+32 ~x989+16 ~x988+8 ~x987+4 ~x986+2 ~x985+1 ~x984-0=6654
6.69/6.72	c 2048 ~x22627+1024 ~x22626+512 ~x22625+256 ~x22624+128 ~x22623+64 ~x22622+32 ~x22621+16 ~x22620+8 ~x22619+4 ~x22618+2 ~x22617+1 ~x22616+2048 ~x1008+1024 ~x1007+512 ~x1006+256 ~x1005+128 ~x1004+64 ~x1003+32 ~x1002+16 ~x1001+8 ~x1000+4 ~x999+2 ~x998+1 ~x997-0=7166
6.78/6.82	c 140737488355328 ~x24895+70368744177664 ~x24894+35184372088832 ~x24893+17592186044416 ~x24892+8796093022208 ~x24891+4398046511104 ~x24890+2199023255552 ~x24889+1099511627776 ~x24888+549755813888 ~x24887+274877906944 ~x24886+137438953472 ~x24885+68719476736 ~x24884+34359738368 ~x24883+17179869184 ~x24882+8589934592 ~x24881+4294967296 ~x24880+2147483648 ~x24879+1073741824 ~x24878+536870912 ~x24877+268435456 ~x24876+134217728 ~x24875+67108864 ~x24874+33554432 ~x24873+16777216 ~x24872+8388608 ~x24871+4194304 ~x24870+2097152 ~x24869+1048576 ~x24868+524288 ~x24867+262144 ~x24866+131072 ~x24865+65536 ~x24864+32768 ~x24863+16384 ~x24862+8192 ~x24861+4096 ~x24860+2048 ~x24859+1024 ~x24858+512 ~x24857+256 ~x24856+128 ~x24855+64 ~x24854+32 ~x24853+16 ~x24852+8 ~x24851+4 ~x24850+2 ~x24849+1 ~x24848+16106127360 ~x10945+8053063680 ~x10944+4026531840 ~x10943+2013265920 ~x10942+1006632960 ~x10941+503316480 ~x10940+251658240 ~x10939+125829120 ~x10938+62914560 ~x10937+31457280 ~x10936+15728640 ~x10935+7864320 ~x10934+3932160 ~x10933+1966080 ~x10932+983040 ~x10931+491520 ~x10930+245760 ~x10929+122880 ~x10928+61440 ~x10927+30720 ~x10926+15360 ~x10925+7680 ~x10924+3840 ~x10923+1920 ~x10922+960 ~x10921+480 ~x10920+240 ~x10919+120 ~x10918+60 ~x10917+30 ~x10916+3221225472 ~x10585+1610612736 ~x10584+805306368 ~x10583+402653184 ~x10582+201326592 ~x10581+100663296 ~x10580+50331648 ~x10579+25165824 ~x10578+12582912 ~x10577+6291456 ~x10576+3145728 ~x10575+1572864 ~x10574+786432 ~x10573+393216 ~x10572+196608 ~x10571+98304 ~x10570+49152 ~x10569+24576 ~x10568+12288 ~x10567+6144 ~x10566+3072 ~x10565+1536 ~x10564+768 ~x10563+384 ~x10562+192 ~x10561+96 ~x10560+48 ~x10559+24 ~x10558+12 ~x10557+6 ~x10556+8053063680 ~x10225+4026531840 ~x10224+2013265920 ~x10223+1006632960 ~x10222+503316480 ~x10221+251658240 ~x10220+125829120 ~x10219+62914560 ~x10218+31457280 ~x10217+15728640 ~x10216+7864320 ~x10215+3932160 ~x10214+1966080 ~x10213+983040 ~x10212+491520 ~x10211+245760 ~x10210+122880 ~x10209+61440 ~x10208+30720 ~x10207+15360 ~x10206+7680 ~x10205+3840 ~x10204+1920 ~x10203+960 ~x10202+480 ~x10201+240 ~x10200+120 ~x10199+60 ~x10198+30 ~x10197+15 ~x10196+74625056768 ~x10045+37312528384 ~x10044+18656264192 ~x10043+9328132096 ~x10042+4664066048 ~x10041+2332033024 ~x10040+1166016512 ~x10039+583008256 ~x10038+291504128 ~x10037+145752064 ~x10036+72876032 ~x10035+36438016 ~x10034+18219008 ~x10033+9109504 ~x10032+4554752 ~x10031+2277376 ~x10030+1138688 ~x10029+569344 ~x10028+284672 ~x10027+142336 ~x10026+71168 ~x10025+35584 ~x10024+17792 ~x10023+8896 ~x10022+4448 ~x10021+2224 ~x10020+1112 ~x10019+556 ~x10018+278 ~x10017+139 ~x10016+15032385536 ~x9865+7516192768 ~x9864+3758096384 ~x9863+1879048192 ~x9862+939524096 ~x9861+469762048 ~x9860+234881024 ~x9859+117440512 ~x9858+58720256 ~x9857+29360128 ~x9856+14680064 ~x9855+7340032 ~x9854+3670016 ~x9853+1835008 ~x9852+917504 ~x9851+458752 ~x9850+229376 ~x9849+114688 ~x9848+57344 ~x9847+28672 ~x9846+14336 ~x9845+7168 ~x9844+3584 ~x9843+1792 ~x9842+896 ~x9841+448 ~x9840+224 ~x9839+112 ~x9838+56 ~x9837+28 ~x9836+13958643712 ~x9685+6979321856 ~x9684+3489660928 ~x9683+1744830464 ~x9682+872415232 ~x9681+436207616 ~x9680+218103808 ~x9679+109051904 ~x9678+54525952 ~x9677+27262976 ~x9676+13631488 ~x9675+6815744 ~x9674+3407872 ~x9673+1703936 ~x9672+851968 ~x9671+425984 ~x9670+212992 ~x9669+106496 ~x9668+53248 ~x9667+26624 ~x9666+13312 ~x9665+6656 ~x9664+3328 ~x9663+1664 ~x9662+832 ~x9661+416 ~x9660+208 ~x9659+104 ~x9658+52 ~x9657+26 ~x9656+1379221372928 ~x9505+689610686464 ~x9504+344805343232 ~x9503+172402671616 ~x9502+86201335808 ~x9501+43100667904 ~x9500+21550333952 ~x9499+10775166976 ~x9498+5387583488 ~x9497+2693791744 ~x9496+1346895872 ~x9495+673447936 ~x9494+336723968 ~x9493+168361984 ~x9492+84180992 ~x9491+42090496 ~x9490+21045248 ~x9489+10522624 ~x9488+5261312 ~x9487+2630656 ~x9486+1315328 ~x9485+657664 ~x9484+328832 ~x9483+164416 ~x9482+82208 ~x9481+41104 ~x9480+20552 ~x9479+10276 ~x9478+5138 ~x9477+2569 ~x9476+1905891737600 ~x9145+952945868800 ~x9144+476472934400 ~x9143+238236467200 ~x9142+119118233600 ~x9141+59559116800 ~x9140+29779558400 ~x9139+14889779200 ~x9138+7444889600 ~x9137+3722444800 ~x9136+1861222400 ~x9135+930611200 ~x9134+465305600 ~x9133+232652800 ~x9132+116326400 ~x9131+58163200 ~x9130+29081600 ~x9129+14540800 ~x9128+7270400 ~x9127+3635200 ~x9126+1817600 ~x9125+908800 ~x9124+454400 ~x9123+227200 ~x9122+113600 ~x9121+56800 ~x9120+28400 ~x9119+14200 ~x9118+7100 ~x9117+3550 ~x9116+11737071878144 ~x8965+5868535939072 ~x8964+2934267969536 ~x8963+1467133984768 ~x8962+733566992384 ~x8961+366783496192 ~x8960+183391748096 ~x8959+91695874048 ~x8958+45847937024 ~x8957+22923968512 ~x8956+11461984256 ~x8955+5730992128 ~x8954+2865496064 ~x8953+1432748032 ~x8952+716374016 ~x8951+358187008 ~x8950+179093504 ~x8949+89546752 ~x8948+44773376 ~x8947+22386688 ~x8946+11193344 ~x8945+5596672 ~x8944+2798336 ~x8943+1399168 ~x8942+699584 ~x8941+349792 ~x8940+174896 ~x8939+87448 ~x8938+43724 ~x8937+21862 ~x8936+94489280512 ~x8605+47244640256 ~x8604+23622320128 ~x8603+11811160064 ~x8602+5905580032 ~x8601+2952790016 ~x8600+1476395008 ~x8599+738197504 ~x8598+369098752 ~x8597+184549376 ~x8596+92274688 ~x8595+46137344 ~x8594+23068672 ~x8593+11534336 ~x8592+5767168 ~x8591+2883584 ~x8590+1441792 ~x8589+720896 ~x8588+360448 ~x8587+180224 ~x8586+90112 ~x8585+45056 ~x8584+22528 ~x8583+11264 ~x8582+5632 ~x8581+2816 ~x8580+1408 ~x8579+704 ~x8578+352 ~x8577+176 ~x8576+50979114319872 x8425+25489557159936 x8424+12744778579968 x8423+6372389289984 x8422+3186194644992 x8421+1593097322496 x8420+796548661248 x8419+398274330624 x8418+199137165312 x8417+99568582656 x8416+49784291328 x8415+24892145664 x8414+12446072832 x8413+6223036416 x8412+3111518208 x8411+1555759104 x8410+777879552 x8409+388939776 x8408+194469888 x8407+97234944 x8406+48617472 x8405+24308736 x8404+12154368 x8403+6077184 x8402+3038592 x8401+1519296 x8400+759648 x8399+379824 x8398+189912 x8397+94956 x8396+47172699553792 ~x5305+23586349776896 ~x5304+11793174888448 ~x5303+5896587444224 ~x5302+2948293722112 ~x5301+1474146861056 ~x5300+737073430528 ~x5299+368536715264 ~x5298+184268357632 ~x5297+92134178816 ~x5296+46067089408 ~x5295+23033544704 ~x5294+11516772352 ~x5293+5758386176 ~x5292+2879193088 ~x5291+1439596544 ~x5290+719798272 ~x5289+359899136 ~x5288+179949568 ~x5287+89974784 ~x5286+44987392 ~x5285+22493696 ~x5284+11246848 ~x5283+5623424 ~x5282+2811712 ~x5281+1405856 ~x5280+702928 ~x5279+351464 ~x5278+175732 ~x5277+87866 ~x5276+21655761977344 ~x1429+10827880988672 ~x1428+5413940494336 ~x1427+2706970247168 ~x1426+1353485123584 ~x1425+676742561792 ~x1424+338371280896 ~x1423+169185640448 ~x1422+84592820224 ~x1421+42296410112 ~x1420+21148205056 ~x1419+10574102528 ~x1418+5287051264 ~x1417+2643525632 ~x1416+1321762816 ~x1415+660881408 ~x1414+330440704 ~x1413+165220352 ~x1412+82610176 ~x1411+41305088 ~x1410+20652544 ~x1409+10326272 ~x1408+5163136 ~x1407+2581568 ~x1406+1290784 ~x1405+645392 ~x1404+322696 ~x1403+161348 ~x1402+80674 ~x1401+40337 ~x1400-0=449627658526787
13.88/13.92	c 140737488355328 ~x339968+70368744177664 ~x339967+35184372088832 ~x339966+17592186044416 ~x339965+8796093022208 ~x339964+4398046511104 ~x339963+2199023255552 ~x339962+1099511627776 ~x339961+549755813888 ~x339960+274877906944 ~x339959+137438953472 ~x339958+68719476736 ~x339957+34359738368 ~x339956+17179869184 ~x339955+8589934592 ~x339954+4294967296 ~x339953+2147483648 ~x339952+1073741824 ~x339951+536870912 ~x339950+268435456 ~x339949+134217728 ~x339948+67108864 ~x339947+33554432 ~x339946+16777216 ~x339945+8388608 ~x339944+4194304 ~x339943+2097152 ~x339942+1048576 ~x339941+524288 ~x339940+262144 ~x339939+131072 ~x339938+65536 ~x339937+32768 ~x339936+16384 ~x339935+8192 ~x339934+4096 ~x339933+2048 ~x339932+1024 ~x339931+512 ~x339930+256 ~x339929+128 ~x339928+64 ~x339927+32 ~x339926+16 ~x339925+8 ~x339924+4 ~x339923+2 ~x339922+1 ~x339921+14495514624 ~x10975+7247757312 ~x10974+3623878656 ~x10973+1811939328 ~x10972+905969664 ~x10971+452984832 ~x10970+226492416 ~x10969+113246208 ~x10968+56623104 ~x10967+28311552 ~x10966+14155776 ~x10965+7077888 ~x10964+3538944 ~x10963+1769472 ~x10962+884736 ~x10961+442368 ~x10960+221184 ~x10959+110592 ~x10958+55296 ~x10957+27648 ~x10956+13824 ~x10955+6912 ~x10954+3456 ~x10953+1728 ~x10952+864 ~x10951+432 ~x10950+216 ~x10949+108 ~x10948+54 ~x10947+27 ~x10946+3221225472 ~x10615+1610612736 ~x10614+805306368 ~x10613+402653184 ~x10612+201326592 ~x10611+100663296 ~x10610+50331648 ~x10609+25165824 ~x10608+12582912 ~x10607+6291456 ~x10606+3145728 ~x10605+1572864 ~x10604+786432 ~x10603+393216 ~x10602+196608 ~x10601+98304 ~x10600+49152 ~x10599+24576 ~x10598+12288 ~x10597+6144 ~x10596+3072 ~x10595+1536 ~x10594+768 ~x10593+384 ~x10592+192 ~x10591+96 ~x10590+48 ~x10589+24 ~x10588+12 ~x10587+6 ~x10586+7516192768 ~x10255+3758096384 ~x10254+1879048192 ~x10253+939524096 ~x10252+469762048 ~x10251+234881024 ~x10250+117440512 ~x10249+58720256 ~x10248+29360128 ~x10247+14680064 ~x10246+7340032 ~x10245+3670016 ~x10244+1835008 ~x10243+917504 ~x10242+458752 ~x10241+229376 ~x10240+114688 ~x10239+57344 ~x10238+28672 ~x10237+14336 ~x10236+7168 ~x10235+3584 ~x10234+1792 ~x10233+896 ~x10232+448 ~x10231+224 ~x10230+112 ~x10229+56 ~x10228+28 ~x10227+14 ~x10226+69256347648 ~x10075+34628173824 ~x10074+17314086912 ~x10073+8657043456 ~x10072+4328521728 ~x10071+2164260864 ~x10070+1082130432 ~x10069+541065216 ~x10068+270532608 ~x10067+135266304 ~x10066+67633152 ~x10065+33816576 ~x10064+16908288 ~x10063+8454144 ~x10062+4227072 ~x10061+2113536 ~x10060+1056768 ~x10059+528384 ~x10058+264192 ~x10057+132096 ~x10056+66048 ~x10055+33024 ~x10054+16512 ~x10053+8256 ~x10052+4128 ~x10051+2064 ~x10050+1032 ~x10049+516 ~x10048+258 ~x10047+129 ~x10046+13958643712 ~x9895+6979321856 ~x9894+3489660928 ~x9893+1744830464 ~x9892+872415232 ~x9891+436207616 ~x9890+218103808 ~x9889+109051904 ~x9888+54525952 ~x9887+27262976 ~x9886+13631488 ~x9885+6815744 ~x9884+3407872 ~x9883+1703936 ~x9882+851968 ~x9881+425984 ~x9880+212992 ~x9879+106496 ~x9878+53248 ~x9877+26624 ~x9876+13312 ~x9875+6656 ~x9874+3328 ~x9873+1664 ~x9872+832 ~x9871+416 ~x9870+208 ~x9869+104 ~x9868+52 ~x9867+26 ~x9866+12884901888 ~x9715+6442450944 ~x9714+3221225472 ~x9713+1610612736 ~x9712+805306368 ~x9711+402653184 ~x9710+201326592 ~x9709+100663296 ~x9708+50331648 ~x9707+25165824 ~x9706+12582912 ~x9705+6291456 ~x9704+3145728 ~x9703+1572864 ~x9702+786432 ~x9701+393216 ~x9700+196608 ~x9699+98304 ~x9698+49152 ~x9697+24576 ~x9696+12288 ~x9695+6144 ~x9694+3072 ~x9693+1536 ~x9692+768 ~x9691+384 ~x9690+192 ~x9689+96 ~x9688+48 ~x9687+24 ~x9686+1347009118208 ~x9535+673504559104 ~x9534+336752279552 ~x9533+168376139776 ~x9532+84188069888 ~x9531+42094034944 ~x9530+21047017472 ~x9529+10523508736 ~x9528+5261754368 ~x9527+2630877184 ~x9526+1315438592 ~x9525+657719296 ~x9524+328859648 ~x9523+164429824 ~x9522+82214912 ~x9521+41107456 ~x9520+20553728 ~x9519+10276864 ~x9518+5138432 ~x9517+2569216 ~x9516+1284608 ~x9515+642304 ~x9514+321152 ~x9513+160576 ~x9512+80288 ~x9511+40144 ~x9510+20072 ~x9509+10036 ~x9508+5018 ~x9507+2509 ~x9506+1924145348608 ~x9355+962072674304 ~x9354+481036337152 ~x9353+240518168576 ~x9352+120259084288 ~x9351+60129542144 ~x9350+30064771072 ~x9349+15032385536 ~x9348+7516192768 ~x9347+3758096384 ~x9346+1879048192 ~x9345+939524096 ~x9344+469762048 ~x9343+234881024 ~x9342+117440512 ~x9341+58720256 ~x9340+29360128 ~x9339+14680064 ~x9338+7340032 ~x9337+3670016 ~x9336+1835008 ~x9335+917504 ~x9334+458752 ~x9333+229376 ~x9332+114688 ~x9331+57344 ~x9330+28672 ~x9329+14336 ~x9328+7168 ~x9327+3584 ~x9326+11044508401664 ~x8995+5522254200832 ~x8994+2761127100416 ~x8993+1380563550208 ~x8992+690281775104 ~x8991+345140887552 ~x8990+172570443776 ~x8989+86285221888 ~x8988+43142610944 ~x8987+21571305472 ~x8986+10785652736 ~x8985+5392826368 ~x8984+2696413184 ~x8983+1348206592 ~x8982+674103296 ~x8981+337051648 ~x8980+168525824 ~x8979+84262912 ~x8978+42131456 ~x8977+21065728 ~x8976+10532864 ~x8975+5266432 ~x8974+2633216 ~x8973+1316608 ~x8972+658304 ~x8971+329152 ~x8970+164576 ~x8969+82288 ~x8968+41144 ~x8967+20572 ~x8966+88046829568 ~x8635+44023414784 ~x8634+22011707392 ~x8633+11005853696 ~x8632+5502926848 ~x8631+2751463424 ~x8630+1375731712 ~x8629+687865856 ~x8628+343932928 ~x8627+171966464 ~x8626+85983232 ~x8625+42991616 ~x8624+21495808 ~x8623+10747904 ~x8622+5373952 ~x8621+2686976 ~x8620+1343488 ~x8619+671744 ~x8618+335872 ~x8617+167936 ~x8616+83968 ~x8615+41984 ~x8614+20992 ~x8613+10496 ~x8612+5248 ~x8611+2624 ~x8610+1312 ~x8609+656 ~x8608+328 ~x8607+164 ~x8606+51139101851648 x8455+25569550925824 x8454+12784775462912 x8453+6392387731456 x8452+3196193865728 x8451+1598096932864 x8450+799048466432 x8449+399524233216 x8448+199762116608 x8447+99881058304 x8446+49940529152 x8445+24970264576 x8444+12485132288 x8443+6242566144 x8442+3121283072 x8441+1560641536 x8440+780320768 x8439+390160384 x8438+195080192 x8437+97540096 x8436+48770048 x8435+24385024 x8434+12192512 x8433+6096256 x8432+3048128 x8431+1524064 x8430+762032 x8429+381016 x8428+190508 x8427+95254 x8426+44387950133248 ~x5335+22193975066624 ~x5334+11096987533312 ~x5333+5548493766656 ~x5332+2774246883328 ~x5331+1387123441664 ~x5330+693561720832 ~x5329+346780860416 ~x5328+173390430208 ~x5327+86695215104 ~x5326+43347607552 ~x5325+21673803776 ~x5324+10836901888 ~x5323+5418450944 ~x5322+2709225472 ~x5321+1354612736 ~x5320+677306368 ~x5319+338653184 ~x5318+169326592 ~x5317+84663296 ~x5316+42331648 ~x5315+21165824 ~x5314+10582912 ~x5313+5291456 ~x5312+2645728 ~x5311+1322864 ~x5310+661432 ~x5309+330716 ~x5308+165358 ~x5307+82679 ~x5306+20922396311552 ~x1459+10461198155776 ~x1458+5230599077888 ~x1457+2615299538944 ~x1456+1307649769472 ~x1455+653824884736 ~x1454+326912442368 ~x1453+163456221184 ~x1452+81728110592 ~x1451+40864055296 ~x1450+20432027648 ~x1449+10216013824 ~x1448+5108006912 ~x1447+2554003456 ~x1446+1277001728 ~x1445+638500864 ~x1444+319250432 ~x1443+159625216 ~x1442+79812608 ~x1441+39906304 ~x1440+19953152 ~x1439+9976576 ~x1438+4988288 ~x1437+2494144 ~x1436+1247072 ~x1435+623536 ~x1434+311768 ~x1433+155884 ~x1432+77942 ~x1431+38971 ~x1430-0=441146164099870
21.18/21.21	c 140737488355328 ~x657561+70368744177664 ~x657560+35184372088832 ~x657559+17592186044416 ~x657558+8796093022208 ~x657557+4398046511104 ~x657556+2199023255552 ~x657555+1099511627776 ~x657554+549755813888 ~x657553+274877906944 ~x657552+137438953472 ~x657551+68719476736 ~x657550+34359738368 ~x657549+17179869184 ~x657548+8589934592 ~x657547+4294967296 ~x657546+2147483648 ~x657545+1073741824 ~x657544+536870912 ~x657543+268435456 ~x657542+134217728 ~x657541+67108864 ~x657540+33554432 ~x657539+16777216 ~x657538+8388608 ~x657537+4194304 ~x657536+2097152 ~x657535+1048576 ~x657534+524288 ~x657533+262144 ~x657532+131072 ~x657531+65536 ~x657530+32768 ~x657529+16384 ~x657528+8192 ~x657527+4096 ~x657526+2048 ~x657525+1024 ~x657524+512 ~x657523+256 ~x657522+128 ~x657521+64 ~x657520+32 ~x657519+16 ~x657518+8 ~x657517+4 ~x657516+2 ~x657515+1 ~x657514+13421772800 ~x11005+6710886400 ~x11004+3355443200 ~x11003+1677721600 ~x11002+838860800 ~x11001+419430400 ~x11000+209715200 ~x10999+104857600 ~x10998+52428800 ~x10997+26214400 ~x10996+13107200 ~x10995+6553600 ~x10994+3276800 ~x10993+1638400 ~x10992+819200 ~x10991+409600 ~x10990+204800 ~x10989+102400 ~x10988+51200 ~x10987+25600 ~x10986+12800 ~x10985+6400 ~x10984+3200 ~x10983+1600 ~x10982+800 ~x10981+400 ~x10980+200 ~x10979+100 ~x10978+50 ~x10977+25 ~x10976+2684354560 ~x10645+1342177280 ~x10644+671088640 ~x10643+335544320 ~x10642+167772160 ~x10641+83886080 ~x10640+41943040 ~x10639+20971520 ~x10638+10485760 ~x10637+5242880 ~x10636+2621440 ~x10635+1310720 ~x10634+655360 ~x10633+327680 ~x10632+163840 ~x10631+81920 ~x10630+40960 ~x10629+20480 ~x10628+10240 ~x10627+5120 ~x10626+2560 ~x10625+1280 ~x10624+640 ~x10623+320 ~x10622+160 ~x10621+80 ~x10620+40 ~x10619+20 ~x10618+10 ~x10617+5 ~x10616+6979321856 ~x10285+3489660928 ~x10284+1744830464 ~x10283+872415232 ~x10282+436207616 ~x10281+218103808 ~x10280+109051904 ~x10279+54525952 ~x10278+27262976 ~x10277+13631488 ~x10276+6815744 ~x10275+3407872 ~x10274+1703936 ~x10273+851968 ~x10272+425984 ~x10271+212992 ~x10270+106496 ~x10269+53248 ~x10268+26624 ~x10267+13312 ~x10266+6656 ~x10265+3328 ~x10264+1664 ~x10263+832 ~x10262+416 ~x10261+208 ~x10260+104 ~x10259+52 ~x10258+26 ~x10257+13 ~x10256+12884901888 ~x9925+6442450944 ~x9924+3221225472 ~x9923+1610612736 ~x9922+805306368 ~x9921+402653184 ~x9920+201326592 ~x9919+100663296 ~x9918+50331648 ~x9917+25165824 ~x9916+12582912 ~x9915+6291456 ~x9914+3145728 ~x9913+1572864 ~x9912+786432 ~x9911+393216 ~x9910+196608 ~x9909+98304 ~x9908+49152 ~x9907+24576 ~x9906+12288 ~x9905+6144 ~x9904+3072 ~x9903+1536 ~x9902+768 ~x9901+384 ~x9900+192 ~x9899+96 ~x9898+48 ~x9897+24 ~x9896+1253593579520 ~x9565+626796789760 ~x9564+313398394880 ~x9563+156699197440 ~x9562+78349598720 ~x9561+39174799360 ~x9560+19587399680 ~x9559+9793699840 ~x9558+4896849920 ~x9557+2448424960 ~x9556+1224212480 ~x9555+612106240 ~x9554+306053120 ~x9553+153026560 ~x9552+76513280 ~x9551+38256640 ~x9550+19128320 ~x9549+9564160 ~x9548+4782080 ~x9547+2391040 ~x9546+1195520 ~x9545+597760 ~x9544+298880 ~x9543+149440 ~x9542+74720 ~x9541+37360 ~x9540+18680 ~x9539+9340 ~x9538+4670 ~x9537+2335 ~x9536+10392210243584 ~x9025+5196105121792 ~x9024+2598052560896 ~x9023+1299026280448 ~x9022+649513140224 ~x9021+324756570112 ~x9020+162378285056 ~x9019+81189142528 ~x9018+40594571264 ~x9017+20297285632 ~x9016+10148642816 ~x9015+5074321408 ~x9014+2537160704 ~x9013+1268580352 ~x9012+634290176 ~x9011+317145088 ~x9010+158572544 ~x9009+79286272 ~x9008+39643136 ~x9007+19821568 ~x9006+9910784 ~x9005+4955392 ~x9004+2477696 ~x9003+1238848 ~x9002+619424 ~x9001+309712 ~x9000+154856 ~x8999+77428 ~x8998+38714 ~x8997+19357 ~x8996+3758096384 ~x8845+1879048192 ~x8844+939524096 ~x8843+469762048 ~x8842+234881024 ~x8841+117440512 ~x8840+58720256 ~x8839+29360128 ~x8838+14680064 ~x8837+7340032 ~x8836+3670016 ~x8835+1835008 ~x8834+917504 ~x8833+458752 ~x8832+229376 ~x8831+114688 ~x8830+57344 ~x8829+28672 ~x8828+14336 ~x8827+7168 ~x8826+3584 ~x8825+1792 ~x8824+896 ~x8823+448 ~x8822+224 ~x8821+112 ~x8820+56 ~x8819+28 ~x8818+14 ~x8817+7 ~x8816+81604378624 ~x8665+40802189312 ~x8664+20401094656 ~x8663+10200547328 ~x8662+5100273664 ~x8661+2550136832 ~x8660+1275068416 ~x8659+637534208 ~x8658+318767104 ~x8657+159383552 ~x8656+79691776 ~x8655+39845888 ~x8654+19922944 ~x8653+9961472 ~x8652+4980736 ~x8651+2490368 ~x8650+1245184 ~x8649+622592 ~x8648+311296 ~x8647+155648 ~x8646+77824 ~x8645+38912 ~x8644+19456 ~x8643+9728 ~x8642+4864 ~x8641+2432 ~x8640+1216 ~x8639+608 ~x8638+304 ~x8637+152 ~x8636+51289425707008 x8485+25644712853504 x8484+12822356426752 x8483+6411178213376 x8482+3205589106688 x8481+1602794553344 x8480+801397276672 x8479+400698638336 x8478+200349319168 x8477+100174659584 x8476+50087329792 x8475+25043664896 x8474+12521832448 x8473+6260916224 x8472+3130458112 x8471+1565229056 x8470+782614528 x8469+391307264 x8468+195653632 x8467+97826816 x8466+48913408 x8465+24456704 x8464+12228352 x8463+6114176 x8462+3057088 x8461+1528544 x8460+764272 x8459+382136 x8458+191068 x8457+95534 x8456+41768020082688 ~x5365+20884010041344 ~x5364+10442005020672 ~x5363+5221002510336 ~x5362+2610501255168 ~x5361+1305250627584 ~x5360+652625313792 ~x5359+326312656896 ~x5358+163156328448 ~x5357+81578164224 ~x5356+40789082112 ~x5355+20394541056 ~x5354+10197270528 ~x5353+5098635264 ~x5352+2549317632 ~x5351+1274658816 ~x5350+637329408 ~x5349+318664704 ~x5348+159332352 ~x5347+79666176 ~x5346+39833088 ~x5345+19916544 ~x5344+9958272 ~x5343+4979136 ~x5342+2489568 ~x5341+1244784 ~x5340+622392 ~x5339+311196 ~x5338+155598 ~x5337+77799 ~x5336+20161650229248 ~x1489+10080825114624 ~x1488+5040412557312 ~x1487+2520206278656 ~x1486+1260103139328 ~x1485+630051569664 ~x1484+315025784832 ~x1483+157512892416 ~x1482+78756446208 ~x1481+39378223104 ~x1480+19689111552 ~x1479+9844555776 ~x1478+4922277888 ~x1477+2461138944 ~x1476+1230569472 ~x1475+615284736 ~x1474+307642368 ~x1473+153821184 ~x1472+76910592 ~x1471+38455296 ~x1470+19227648 ~x1469+9613824 ~x1468+4806912 ~x1467+2403456 ~x1466+1201728 ~x1465+600864 ~x1464+300432 ~x1463+150216 ~x1462+75108 ~x1461+37554 ~x1460-0=428869114421192
27.28/27.33	c 140737488355328 ~x929974+70368744177664 ~x929973+35184372088832 ~x929972+17592186044416 ~x929971+8796093022208 ~x929970+4398046511104 ~x929969+2199023255552 ~x929968+1099511627776 ~x929967+549755813888 ~x929966+274877906944 ~x929965+137438953472 ~x929964+68719476736 ~x929963+34359738368 ~x929962+17179869184 ~x929961+8589934592 ~x929960+4294967296 ~x929959+2147483648 ~x929958+1073741824 ~x929957+536870912 ~x929956+268435456 ~x929955+134217728 ~x929954+67108864 ~x929953+33554432 ~x929952+16777216 ~x929951+8388608 ~x929950+4194304 ~x929949+2097152 ~x929948+1048576 ~x929947+524288 ~x929946+262144 ~x929945+131072 ~x929944+65536 ~x929943+32768 ~x929942+16384 ~x929941+8192 ~x929940+4096 ~x929939+2048 ~x929938+1024 ~x929937+512 ~x929936+256 ~x929935+128 ~x929934+64 ~x929933+32 ~x929932+16 ~x929931+8 ~x929930+4 ~x929929+2 ~x929928+1 ~x929927+12884901888 ~x11035+6442450944 ~x11034+3221225472 ~x11033+1610612736 ~x11032+805306368 ~x11031+402653184 ~x11030+201326592 ~x11029+100663296 ~x11028+50331648 ~x11027+25165824 ~x11026+12582912 ~x11025+6291456 ~x11024+3145728 ~x11023+1572864 ~x11022+786432 ~x11021+393216 ~x11020+196608 ~x11019+98304 ~x11018+49152 ~x11017+24576 ~x11016+12288 ~x11015+6144 ~x11014+3072 ~x11013+1536 ~x11012+768 ~x11011+384 ~x11010+192 ~x11009+96 ~x11008+48 ~x11007+24 ~x11006+2684354560 ~x10675+1342177280 ~x10674+671088640 ~x10673+335544320 ~x10672+167772160 ~x10671+83886080 ~x10670+41943040 ~x10669+20971520 ~x10668+10485760 ~x10667+5242880 ~x10666+2621440 ~x10665+1310720 ~x10664+655360 ~x10663+327680 ~x10662+163840 ~x10661+81920 ~x10660+40960 ~x10659+20480 ~x10658+10240 ~x10657+5120 ~x10656+2560 ~x10655+1280 ~x10654+640 ~x10653+320 ~x10652+160 ~x10651+80 ~x10650+40 ~x10649+20 ~x10648+10 ~x10647+5 ~x10646+6442450944 ~x10315+3221225472 ~x10314+1610612736 ~x10313+805306368 ~x10312+402653184 ~x10311+201326592 ~x10310+100663296 ~x10309+50331648 ~x10308+25165824 ~x10307+12582912 ~x10306+6291456 ~x10305+3145728 ~x10304+1572864 ~x10303+786432 ~x10302+393216 ~x10301+196608 ~x10300+98304 ~x10299+49152 ~x10298+24576 ~x10297+12288 ~x10296+6144 ~x10295+3072 ~x10294+1536 ~x10293+768 ~x10292+384 ~x10291+192 ~x10290+96 ~x10289+48 ~x10288+24 ~x10287+12 ~x10286+11811160064 ~x9775+5905580032 ~x9774+2952790016 ~x9773+1476395008 ~x9772+738197504 ~x9771+369098752 ~x9770+184549376 ~x9769+92274688 ~x9768+46137344 ~x9767+23068672 ~x9766+11534336 ~x9765+5767168 ~x9764+2883584 ~x9763+1441792 ~x9762+720896 ~x9761+360448 ~x9760+180224 ~x9759+90112 ~x9758+45056 ~x9757+22528 ~x9756+11264 ~x9755+5632 ~x9754+2816 ~x9753+1408 ~x9752+704 ~x9751+352 ~x9750+176 ~x9749+88 ~x9748+44 ~x9747+22 ~x9746+1166620491776 ~x9595+583310245888 ~x9594+291655122944 ~x9593+145827561472 ~x9592+72913780736 ~x9591+36456890368 ~x9590+18228445184 ~x9589+9114222592 ~x9588+4557111296 ~x9587+2278555648 ~x9586+1139277824 ~x9585+569638912 ~x9584+284819456 ~x9583+142409728 ~x9582+71204864 ~x9581+35602432 ~x9580+17801216 ~x9579+8900608 ~x9578+4450304 ~x9577+2225152 ~x9576+1112576 ~x9575+556288 ~x9574+278144 ~x9573+139072 ~x9572+69536 ~x9571+34768 ~x9570+17384 ~x9569+8692 ~x9568+4346 ~x9567+2173 ~x9566+1586453544960 ~x9235+793226772480 ~x9234+396613386240 ~x9233+198306693120 ~x9232+99153346560 ~x9231+49576673280 ~x9230+24788336640 ~x9229+12394168320 ~x9228+6197084160 ~x9227+3098542080 ~x9226+1549271040 ~x9225+774635520 ~x9224+387317760 ~x9223+193658880 ~x9222+96829440 ~x9221+48414720 ~x9220+24207360 ~x9219+12103680 ~x9218+6051840 ~x9217+3025920 ~x9216+1512960 ~x9215+756480 ~x9214+378240 ~x9213+189120 ~x9212+94560 ~x9211+47280 ~x9210+23640 ~x9209+11820 ~x9208+5910 ~x9207+2955 ~x9206+9779103662080 ~x9055+4889551831040 ~x9054+2444775915520 ~x9053+1222387957760 ~x9052+611193978880 ~x9051+305596989440 ~x9050+152798494720 ~x9049+76399247360 ~x9048+38199623680 ~x9047+19099811840 ~x9046+9549905920 ~x9045+4774952960 ~x9044+2387476480 ~x9043+1193738240 ~x9042+596869120 ~x9041+298434560 ~x9040+149217280 ~x9039+74608640 ~x9038+37304320 ~x9037+18652160 ~x9036+9326080 ~x9035+4663040 ~x9034+2331520 ~x9033+1165760 ~x9032+582880 ~x9031+291440 ~x9030+145720 ~x9029+72860 ~x9028+36430 ~x9027+18215 ~x9026+3758096384 ~x8875+1879048192 ~x8874+939524096 ~x8873+469762048 ~x8872+234881024 ~x8871+117440512 ~x8870+58720256 ~x8869+29360128 ~x8868+14680064 ~x8867+7340032 ~x8866+3670016 ~x8865+1835008 ~x8864+917504 ~x8863+458752 ~x8862+229376 ~x8861+114688 ~x8860+57344 ~x8859+28672 ~x8858+14336 ~x8857+7168 ~x8856+3584 ~x8855+1792 ~x8854+896 ~x8853+448 ~x8852+224 ~x8851+112 ~x8850+56 ~x8849+28 ~x8848+14 ~x8847+7 ~x8846+76235669504 ~x8695+38117834752 ~x8694+19058917376 ~x8693+9529458688 ~x8692+4764729344 ~x8691+2382364672 ~x8690+1191182336 ~x8689+595591168 ~x8688+297795584 ~x8687+148897792 ~x8686+74448896 ~x8685+37224448 ~x8684+18612224 ~x8683+9306112 ~x8682+4653056 ~x8681+2326528 ~x8680+1163264 ~x8679+581632 ~x8678+290816 ~x8677+145408 ~x8676+72704 ~x8675+36352 ~x8674+18176 ~x8673+9088 ~x8672+4544 ~x8671+2272 ~x8670+1136 ~x8669+568 ~x8668+284 ~x8667+142 ~x8666+51430622756864 x8515+25715311378432 x8514+12857655689216 x8513+6428827844608 x8512+3214413922304 x8511+1607206961152 x8510+803603480576 x8509+401801740288 x8508+200900870144 x8507+100450435072 x8506+50225217536 x8505+25112608768 x8504+12556304384 x8503+6278152192 x8502+3139076096 x8501+1569538048 x8500+784769024 x8499+392384512 x8498+196192256 x8497+98096128 x8496+49048064 x8495+24524032 x8494+12262016 x8493+6131008 x8492+3065504 x8491+1532752 x8490+766376 x8489+383188 x8488+191594 x8487+95797 x8486+39302171983872 ~x5395+19651085991936 ~x5394+9825542995968 ~x5393+4912771497984 ~x5392+2456385748992 ~x5391+1228192874496 ~x5390+614096437248 ~x5389+307048218624 ~x5388+153524109312 ~x5387+76762054656 ~x5386+38381027328 ~x5385+19190513664 ~x5384+9595256832 ~x5383+4797628416 ~x5382+2398814208 ~x5381+1199407104 ~x5380+599703552 ~x5379+299851776 ~x5378+149925888 ~x5377+74962944 ~x5376+37481472 ~x5375+18740736 ~x5374+9370368 ~x5373+4685184 ~x5372+2342592 ~x5371+1171296 ~x5370+585648 ~x5369+292824 ~x5368+146412 ~x5367+73206 ~x5366+19376744955904 ~x1519+9688372477952 ~x1518+4844186238976 ~x1517+2422093119488 ~x1516+1211046559744 ~x1515+605523279872 ~x1514+302761639936 ~x1513+151380819968 ~x1512+75690409984 ~x1511+37845204992 ~x1510+18922602496 ~x1509+9461301248 ~x1508+4730650624 ~x1507+2365325312 ~x1506+1182662656 ~x1505+591331328 ~x1504+295665664 ~x1503+147832832 ~x1502+73916416 ~x1501+36958208 ~x1500+18479104 ~x1499+9239552 ~x1498+4619776 ~x1497+2309888 ~x1496+1154944 ~x1495+577472 ~x1494+288736 ~x1493+144368 ~x1492+72184 ~x1491+36092 ~x1490-0=424125413521674
33.98/34.08	c 70368744177664 ~x1224346+35184372088832 ~x1224345+17592186044416 ~x1224344+8796093022208 ~x1224343+4398046511104 ~x1224342+2199023255552 ~x1224341+1099511627776 ~x1224340+549755813888 ~x1224339+274877906944 ~x1224338+137438953472 ~x1224337+68719476736 ~x1224336+34359738368 ~x1224335+17179869184 ~x1224334+8589934592 ~x1224333+4294967296 ~x1224332+2147483648 ~x1224331+1073741824 ~x1224330+536870912 ~x1224329+268435456 ~x1224328+134217728 ~x1224327+67108864 ~x1224326+33554432 ~x1224325+16777216 ~x1224324+8388608 ~x1224323+4194304 ~x1224322+2097152 ~x1224321+1048576 ~x1224320+524288 ~x1224319+262144 ~x1224318+131072 ~x1224317+65536 ~x1224316+32768 ~x1224315+16384 ~x1224314+8192 ~x1224313+4096 ~x1224312+2048 ~x1224311+1024 ~x1224310+512 ~x1224309+256 ~x1224308+128 ~x1224307+64 ~x1224306+32 ~x1224305+16 ~x1224304+8 ~x1224303+4 ~x1224302+2 ~x1224301+1 ~x1224300+2684354560 ~x10705+1342177280 ~x10704+671088640 ~x10703+335544320 ~x10702+167772160 ~x10701+83886080 ~x10700+41943040 ~x10699+20971520 ~x10698+10485760 ~x10697+5242880 ~x10696+2621440 ~x10695+1310720 ~x10694+655360 ~x10693+327680 ~x10692+163840 ~x10691+81920 ~x10690+40960 ~x10689+20480 ~x10688+10240 ~x10687+5120 ~x10686+2560 ~x10685+1280 ~x10684+640 ~x10683+320 ~x10682+160 ~x10681+80 ~x10680+40 ~x10679+20 ~x10678+10 ~x10677+5 ~x10676+6442450944 ~x10345+3221225472 ~x10344+1610612736 ~x10343+805306368 ~x10342+402653184 ~x10341+201326592 ~x10340+100663296 ~x10339+50331648 ~x10338+25165824 ~x10337+12582912 ~x10336+6291456 ~x10335+3145728 ~x10334+1572864 ~x10333+786432 ~x10332+393216 ~x10331+196608 ~x10330+98304 ~x10329+49152 ~x10328+24576 ~x10327+12288 ~x10326+6144 ~x10325+3072 ~x10324+1536 ~x10323+768 ~x10322+384 ~x10321+192 ~x10320+96 ~x10319+48 ~x10318+24 ~x10317+12 ~x10316+63887638528 ~x10165+31943819264 ~x10164+15971909632 ~x10163+7985954816 ~x10162+3992977408 ~x10161+1996488704 ~x10160+998244352 ~x10159+499122176 ~x10158+249561088 ~x10157+124780544 ~x10156+62390272 ~x10155+31195136 ~x10154+15597568 ~x10153+7798784 ~x10152+3899392 ~x10151+1949696 ~x10150+974848 ~x10149+487424 ~x10148+243712 ~x10147+121856 ~x10146+60928 ~x10145+30464 ~x10144+15232 ~x10143+7616 ~x10142+3808 ~x10141+1904 ~x10140+952 ~x10139+476 ~x10138+238 ~x10137+119 ~x10136+12348030976 ~x9985+6174015488 ~x9984+3087007744 ~x9983+1543503872 ~x9982+771751936 ~x9981+385875968 ~x9980+192937984 ~x9979+96468992 ~x9978+48234496 ~x9977+24117248 ~x9976+12058624 ~x9975+6029312 ~x9974+3014656 ~x9973+1507328 ~x9972+753664 ~x9971+376832 ~x9970+188416 ~x9969+94208 ~x9968+47104 ~x9967+23552 ~x9966+11776 ~x9965+5888 ~x9964+2944 ~x9963+1472 ~x9962+736 ~x9961+368 ~x9960+184 ~x9959+92 ~x9958+46 ~x9957+23 ~x9956+11274289152 ~x9805+5637144576 ~x9804+2818572288 ~x9803+1409286144 ~x9802+704643072 ~x9801+352321536 ~x9800+176160768 ~x9799+88080384 ~x9798+44040192 ~x9797+22020096 ~x9796+11010048 ~x9795+5505024 ~x9794+2752512 ~x9793+1376256 ~x9792+688128 ~x9791+344064 ~x9790+172032 ~x9789+86016 ~x9788+43008 ~x9787+21504 ~x9786+10752 ~x9785+5376 ~x9784+2688 ~x9783+1344 ~x9782+672 ~x9781+336 ~x9780+168 ~x9779+84 ~x9778+42 ~x9777+21 ~x9776+9201967431680 ~x9085+4600983715840 ~x9084+2300491857920 ~x9083+1150245928960 ~x9082+575122964480 ~x9081+287561482240 ~x9080+143780741120 ~x9079+71890370560 ~x9078+35945185280 ~x9077+17972592640 ~x9076+8986296320 ~x9075+4493148160 ~x9074+2246574080 ~x9073+1123287040 ~x9072+561643520 ~x9071+280821760 ~x9070+140410880 ~x9069+70205440 ~x9068+35102720 ~x9067+17551360 ~x9066+8775680 ~x9065+4387840 ~x9064+2193920 ~x9063+1096960 ~x9062+548480 ~x9061+274240 ~x9060+137120 ~x9059+68560 ~x9058+34280 ~x9057+17140 ~x9056+3758096384 ~x8905+1879048192 ~x8904+939524096 ~x8903+469762048 ~x8902+234881024 ~x8901+117440512 ~x8900+58720256 ~x8899+29360128 ~x8898+14680064 ~x8897+7340032 ~x8896+3670016 ~x8895+1835008 ~x8894+917504 ~x8893+458752 ~x8892+229376 ~x8891+114688 ~x8890+57344 ~x8889+28672 ~x8888+14336 ~x8887+7168 ~x8886+3584 ~x8885+1792 ~x8884+896 ~x8883+448 ~x8882+224 ~x8881+112 ~x8880+56 ~x8879+28 ~x8878+14 ~x8877+7 ~x8876+70866960384 ~x8725+35433480192 ~x8724+17716740096 ~x8723+8858370048 ~x8722+4429185024 ~x8721+2214592512 ~x8720+1107296256 ~x8719+553648128 ~x8718+276824064 ~x8717+138412032 ~x8716+69206016 ~x8715+34603008 ~x8714+17301504 ~x8713+8650752 ~x8712+4325376 ~x8711+2162688 ~x8710+1081344 ~x8709+540672 ~x8708+270336 ~x8707+135168 ~x8706+67584 ~x8705+33792 ~x8704+16896 ~x8703+8448 ~x8702+4224 ~x8701+2112 ~x8700+1056 ~x8699+528 ~x8698+264 ~x8697+132 ~x8696+51564303613952 x8545+25782151806976 x8544+12891075903488 x8543+6445537951744 x8542+3222768975872 x8541+1611384487936 x8540+805692243968 x8539+402846121984 x8538+201423060992 x8537+100711530496 x8536+50355765248 x8535+25177882624 x8534+12588941312 x8533+6294470656 x8532+3147235328 x8531+1573617664 x8530+786808832 x8529+393404416 x8528+196702208 x8527+98351104 x8526+49175552 x8525+24587776 x8524+12293888 x8523+6146944 x8522+3073472 x8521+1536736 x8520+768368 x8519+384184 x8518+192092 x8517+96046 x8516+36982352773120 ~x5425+18491176386560 ~x5424+9245588193280 ~x5423+4622794096640 ~x5422+2311397048320 ~x5421+1155698524160 ~x5420+577849262080 ~x5419+288924631040 ~x5418+144462315520 ~x5417+72231157760 ~x5416+36115578880 ~x5415+18057789440 ~x5414+9028894720 ~x5413+4514447360 ~x5412+2257223680 ~x5411+1128611840 ~x5410+564305920 ~x5409+282152960 ~x5408+141076480 ~x5407+70538240 ~x5406+35269120 ~x5405+17634560 ~x5404+8817280 ~x5403+4408640 ~x5402+2204320 ~x5401+1102160 ~x5400+551080 ~x5399+275540 ~x5398+137770 ~x5397+68885 ~x5396+18569291104256 ~x1549+9284645552128 ~x1548+4642322776064 ~x1547+2321161388032 ~x1546+1160580694016 ~x1545+580290347008 ~x1544+290145173504 ~x1543+145072586752 ~x1542+72536293376 ~x1541+36268146688 ~x1540+18134073344 ~x1539+9067036672 ~x1538+4533518336 ~x1537+2266759168 ~x1536+1133379584 ~x1535+566689792 ~x1534+283344896 ~x1533+141672448 ~x1532+70836224 ~x1531+35418112 ~x1530+17709056 ~x1529+8854528 ~x1528+4427264 ~x1527+2213632 ~x1526+1106816 ~x1525+553408 ~x1524+276704 ~x1523+138352 ~x1522+69176 ~x1521+34588 ~x1520+2000917889024 ~x151+1000458944512 ~x150+500229472256 ~x149+250114736128 ~x148+125057368064 ~x147+62528684032 ~x146+31264342016 ~x145+15632171008 ~x144+7816085504 ~x143+3908042752 ~x142+1954021376 ~x141+977010688 ~x140+488505344 ~x139+244252672 ~x138+122126336 ~x137+61063168 ~x136+30531584 ~x135+15265792 ~x134+7632896 ~x133+3816448 ~x132+1908224 ~x131+954112 ~x130+477056 ~x129+238528 ~x128+119264 ~x127+59632 ~x126+29816 ~x125+14908 ~x124+7454 ~x123+3727 ~x122-0=274589701518604
40.67/40.71	c 70368744177664 ~x1519060+35184372088832 ~x1519059+17592186044416 ~x1519058+8796093022208 ~x1519057+4398046511104 ~x1519056+2199023255552 ~x1519055+1099511627776 ~x1519054+549755813888 ~x1519053+274877906944 ~x1519052+137438953472 ~x1519051+68719476736 ~x1519050+34359738368 ~x1519049+17179869184 ~x1519048+8589934592 ~x1519047+4294967296 ~x1519046+2147483648 ~x1519045+1073741824 ~x1519044+536870912 ~x1519043+268435456 ~x1519042+134217728 ~x1519041+67108864 ~x1519040+33554432 ~x1519039+16777216 ~x1519038+8388608 ~x1519037+4194304 ~x1519036+2097152 ~x1519035+1048576 ~x1519034+524288 ~x1519033+262144 ~x1519032+131072 ~x1519031+65536 ~x1519030+32768 ~x1519029+16384 ~x1519028+8192 ~x1519027+4096 ~x1519026+2048 ~x1519025+1024 ~x1519024+512 ~x1519023+256 ~x1519022+128 ~x1519021+64 ~x1519020+32 ~x1519019+16 ~x1519018+8 ~x1519017+4 ~x1519016+2 ~x1519015+1 ~x1519014+11811160064 ~x11095+5905580032 ~x11094+2952790016 ~x11093+1476395008 ~x11092+738197504 ~x11091+369098752 ~x11090+184549376 ~x11089+92274688 ~x11088+46137344 ~x11087+23068672 ~x11086+11534336 ~x11085+5767168 ~x11084+2883584 ~x11083+1441792 ~x11082+720896 ~x11081+360448 ~x11080+180224 ~x11079+90112 ~x11078+45056 ~x11077+22528 ~x11076+11264 ~x11075+5632 ~x11074+2816 ~x11073+1408 ~x11072+704 ~x11071+352 ~x11070+176 ~x11069+88 ~x11068+44 ~x11067+22 ~x11066+2147483648 ~x10735+1073741824 ~x10734+536870912 ~x10733+268435456 ~x10732+134217728 ~x10731+67108864 ~x10730+33554432 ~x10729+16777216 ~x10728+8388608 ~x10727+4194304 ~x10726+2097152 ~x10725+1048576 ~x10724+524288 ~x10723+262144 ~x10722+131072 ~x10721+65536 ~x10720+32768 ~x10719+16384 ~x10718+8192 ~x10717+4096 ~x10716+2048 ~x10715+1024 ~x10714+512 ~x10713+256 ~x10712+128 ~x10711+64 ~x10710+32 ~x10709+16 ~x10708+8 ~x10707+4 ~x10706+5905580032 ~x10375+2952790016 ~x10374+1476395008 ~x10373+738197504 ~x10372+369098752 ~x10371+184549376 ~x10370+92274688 ~x10369+46137344 ~x10368+23068672 ~x10367+11534336 ~x10366+5767168 ~x10365+2883584 ~x10364+1441792 ~x10363+720896 ~x10362+360448 ~x10361+180224 ~x10360+90112 ~x10359+45056 ~x10358+22528 ~x10357+11264 ~x10356+5632 ~x10355+2816 ~x10354+1408 ~x10353+704 ~x10352+352 ~x10351+176 ~x10350+88 ~x10349+44 ~x10348+22 ~x10347+11 ~x10346+59592671232 ~x10195+29796335616 ~x10194+14898167808 ~x10193+7449083904 ~x10192+3724541952 ~x10191+1862270976 ~x10190+931135488 ~x10189+465567744 ~x10188+232783872 ~x10187+116391936 ~x10186+58195968 ~x10185+29097984 ~x10184+14548992 ~x10183+7274496 ~x10182+3637248 ~x10181+1818624 ~x10180+909312 ~x10179+454656 ~x10178+227328 ~x10177+113664 ~x10176+56832 ~x10175+28416 ~x10174+14208 ~x10173+7104 ~x10172+3552 ~x10171+1776 ~x10170+888 ~x10169+444 ~x10168+222 ~x10167+111 ~x10166+11274289152 ~x10015+5637144576 ~x10014+2818572288 ~x10013+1409286144 ~x10012+704643072 ~x10011+352321536 ~x10010+176160768 ~x10009+88080384 ~x10008+44040192 ~x10007+22020096 ~x10006+11010048 ~x10005+5505024 ~x10004+2752512 ~x10003+1376256 ~x10002+688128 ~x10001+344064 ~x10000+172032 ~x9999+86016 ~x9998+43008 ~x9997+21504 ~x9996+10752 ~x9995+5376 ~x9994+2688 ~x9993+1344 ~x9992+672 ~x9991+336 ~x9990+168 ~x9989+84 ~x9988+42 ~x9987+21 ~x9986+10200547328 ~x9835+5100273664 ~x9834+2550136832 ~x9833+1275068416 ~x9832+637534208 ~x9831+318767104 ~x9830+159383552 ~x9829+79691776 ~x9828+39845888 ~x9827+19922944 ~x9826+9961472 ~x9825+4980736 ~x9824+2490368 ~x9823+1245184 ~x9822+622592 ~x9821+311296 ~x9820+155648 ~x9819+77824 ~x9818+38912 ~x9817+19456 ~x9816+9728 ~x9815+4864 ~x9814+2432 ~x9813+1216 ~x9812+608 ~x9811+304 ~x9810+152 ~x9809+76 ~x9808+38 ~x9807+19 ~x9806+8658654068736 ~x9115+4329327034368 ~x9114+2164663517184 ~x9113+1082331758592 ~x9112+541165879296 ~x9111+270582939648 ~x9110+135291469824 ~x9109+67645734912 ~x9108+33822867456 ~x9107+16911433728 ~x9106+8455716864 ~x9105+4227858432 ~x9104+2113929216 ~x9103+1056964608 ~x9102+528482304 ~x9101+264241152 ~x9100+132120576 ~x9099+66060288 ~x9098+33030144 ~x9097+16515072 ~x9096+8257536 ~x9095+4128768 ~x9094+2064384 ~x9093+1032192 ~x9092+516096 ~x9091+258048 ~x9090+129024 ~x9089+64512 ~x9088+32256 ~x9087+16128 ~x9086+3221225472 ~x8935+1610612736 ~x8934+805306368 ~x8933+402653184 ~x8932+201326592 ~x8931+100663296 ~x8930+50331648 ~x8929+25165824 ~x8928+12582912 ~x8927+6291456 ~x8926+3145728 ~x8925+1572864 ~x8924+786432 ~x8923+393216 ~x8922+196608 ~x8921+98304 ~x8920+49152 ~x8919+24576 ~x8918+12288 ~x8917+6144 ~x8916+3072 ~x8915+1536 ~x8914+768 ~x8913+384 ~x8912+192 ~x8911+96 ~x8910+48 ~x8909+24 ~x8908+12 ~x8907+6 ~x8906+51689394536448 x8575+25844697268224 x8574+12922348634112 x8573+6461174317056 x8572+3230587158528 x8571+1615293579264 x8570+807646789632 x8569+403823394816 x8568+201911697408 x8567+100955848704 x8566+50477924352 x8565+25238962176 x8564+12619481088 x8563+6309740544 x8562+3154870272 x8561+1577435136 x8560+788717568 x8559+394358784 x8558+197179392 x8557+98589696 x8556+49294848 x8555+24647424 x8554+12323712 x8553+6161856 x8552+3080928 x8551+1540464 x8550+770232 x8549+385116 x8548+192558 x8547+96279 x8546+34799435644928 ~x5455+17399717822464 ~x5454+8699858911232 ~x5453+4349929455616 ~x5452+2174964727808 ~x5451+1087482363904 ~x5450+543741181952 ~x5449+271870590976 ~x5448+135935295488 ~x5447+67967647744 ~x5446+33983823872 ~x5445+16991911936 ~x5444+8495955968 ~x5443+4247977984 ~x5442+2123988992 ~x5441+1061994496 ~x5440+530997248 ~x5439+265498624 ~x5438+132749312 ~x5437+66374656 ~x5436+33187328 ~x5435+16593664 ~x5434+8296832 ~x5433+4148416 ~x5432+2074208 ~x5431+1037104 ~x5430+518552 ~x5429+259276 ~x5428+129638 ~x5427+64819 ~x5426+17743046770688 ~x1579+8871523385344 ~x1578+4435761692672 ~x1577+2217880846336 ~x1576+1108940423168 ~x1575+554470211584 ~x1574+277235105792 ~x1573+138617552896 ~x1572+69308776448 ~x1571+34654388224 ~x1570+17327194112 ~x1569+8663597056 ~x1568+4331798528 ~x1567+2165899264 ~x1566+1082949632 ~x1565+541474816 ~x1564+270737408 ~x1563+135368704 ~x1562+67684352 ~x1561+33842176 ~x1560+16921088 ~x1559+8460544 ~x1558+4230272 ~x1557+2115136 ~x1556+1057568 ~x1555+528784 ~x1554+264392 ~x1553+132196 ~x1552+66098 ~x1551+33049 ~x1550-0=263348783923697
46.77/46.86	c 8796093022208 ~x1791631+4398046511104 ~x1791630+2199023255552 ~x1791629+1099511627776 ~x1791628+549755813888 ~x1791627+274877906944 ~x1791626+137438953472 ~x1791625+68719476736 ~x1791624+34359738368 ~x1791623+17179869184 ~x1791622+8589934592 ~x1791621+4294967296 ~x1791620+2147483648 ~x1791619+1073741824 ~x1791618+536870912 ~x1791617+268435456 ~x1791616+134217728 ~x1791615+67108864 ~x1791614+33554432 ~x1791613+16777216 ~x1791612+8388608 ~x1791611+4194304 ~x1791610+2097152 ~x1791609+1048576 ~x1791608+524288 ~x1791607+262144 ~x1791606+131072 ~x1791605+65536 ~x1791604+32768 ~x1791603+16384 ~x1791602+8192 ~x1791601+4096 ~x1791600+2048 ~x1791599+1024 ~x1791598+512 ~x1791597+256 ~x1791596+128 ~x1791595+64 ~x1791594+32 ~x1791593+16 ~x1791592+8 ~x1791591+4 ~x1791590+2 ~x1791589+1 ~x1791588+24159191040 ~x10765+12079595520 ~x10764+6039797760 ~x10763+3019898880 ~x10762+1509949440 ~x10761+754974720 ~x10760+377487360 ~x10759+188743680 ~x10758+94371840 ~x10757+47185920 ~x10756+23592960 ~x10755+11796480 ~x10754+5898240 ~x10753+2949120 ~x10752+1474560 ~x10751+737280 ~x10750+368640 ~x10749+184320 ~x10748+92160 ~x10747+46080 ~x10746+23040 ~x10745+11520 ~x10744+5760 ~x10743+2880 ~x10742+1440 ~x10741+720 ~x10740+360 ~x10739+180 ~x10738+90 ~x10737+45 ~x10736+5368709120 ~x10585+2684354560 ~x10584+1342177280 ~x10583+671088640 ~x10582+335544320 ~x10581+167772160 ~x10580+83886080 ~x10579+41943040 ~x10578+20971520 ~x10577+10485760 ~x10576+5242880 ~x10575+2621440 ~x10574+1310720 ~x10573+655360 ~x10572+327680 ~x10571+163840 ~x10570+81920 ~x10569+40960 ~x10568+20480 ~x10567+10240 ~x10566+5120 ~x10565+2560 ~x10564+1280 ~x10563+640 ~x10562+320 ~x10561+160 ~x10560+80 ~x10559+40 ~x10558+20 ~x10557+10 ~x10556+53687091200 ~x10405+26843545600 ~x10404+13421772800 ~x10403+6710886400 ~x10402+3355443200 ~x10401+1677721600 ~x10400+838860800 ~x10399+419430400 ~x10398+209715200 ~x10397+104857600 ~x10396+52428800 ~x10395+26214400 ~x10394+13107200 ~x10393+6553600 ~x10392+3276800 ~x10391+1638400 ~x10390+819200 ~x10389+409600 ~x10388+204800 ~x10387+102400 ~x10386+51200 ~x10385+25600 ~x10384+12800 ~x10383+6400 ~x10382+3200 ~x10381+1600 ~x10380+800 ~x10379+400 ~x10378+200 ~x10377+100 ~x10376+1709933854720 ~x9865+854966927360 ~x9864+427483463680 ~x9863+213741731840 ~x9862+106870865920 ~x9861+53435432960 ~x9860+26717716480 ~x9859+13358858240 ~x9858+6679429120 ~x9857+3339714560 ~x9856+1669857280 ~x9855+834928640 ~x9854+417464320 ~x9853+208732160 ~x9852+104366080 ~x9851+52183040 ~x9850+26091520 ~x9849+13045760 ~x9848+6522880 ~x9847+3261440 ~x9846+1630720 ~x9845+815360 ~x9844+407680 ~x9843+203840 ~x9842+101920 ~x9841+50960 ~x9840+25480 ~x9839+12740 ~x9838+6370 ~x9837+3185 ~x9836+237833814016 ~x9505+118916907008 ~x9504+59458453504 ~x9503+29729226752 ~x9502+14864613376 ~x9501+7432306688 ~x9500+3716153344 ~x9499+1858076672 ~x9498+929038336 ~x9497+464519168 ~x9496+232259584 ~x9495+116129792 ~x9494+58064896 ~x9493+29032448 ~x9492+14516224 ~x9491+7258112 ~x9490+3629056 ~x9489+1814528 ~x9488+907264 ~x9487+453632 ~x9486+226816 ~x9485+113408 ~x9484+56704 ~x9483+28352 ~x9482+14176 ~x9481+7088 ~x9480+3544 ~x9479+1772 ~x9478+886 ~x9477+443 ~x9476+8589934592 ~x9145+4294967296 ~x9144+2147483648 ~x9143+1073741824 ~x9142+536870912 ~x9141+268435456 ~x9140+134217728 ~x9139+67108864 ~x9138+33554432 ~x9137+16777216 ~x9136+8388608 ~x9135+4194304 ~x9134+2097152 ~x9133+1048576 ~x9132+524288 ~x9131+262144 ~x9130+131072 ~x9129+65536 ~x9128+32768 ~x9127+16384 ~x9126+8192 ~x9125+4096 ~x9124+2048 ~x9123+1024 ~x9122+512 ~x9121+256 ~x9120+128 ~x9119+64 ~x9118+32 ~x9117+16 ~x9116+23622320128 ~x8965+11811160064 ~x8964+5905580032 ~x8963+2952790016 ~x8962+1476395008 ~x8961+738197504 ~x8960+369098752 ~x8959+184549376 ~x8958+92274688 ~x8957+46137344 ~x8956+23068672 ~x8955+11534336 ~x8954+5767168 ~x8953+2883584 ~x8952+1441792 ~x8951+720896 ~x8950+360448 ~x8949+180224 ~x8948+90112 ~x8947+45056 ~x8946+22528 ~x8945+11264 ~x8944+5632 ~x8943+2816 ~x8942+1408 ~x8941+704 ~x8940+352 ~x8939+176 ~x8938+88 ~x8937+44 ~x8936+11430652805120 x8603+5715326402560 x8602+2857663201280 x8601+1428831600640 x8600+714415800320 x8599+357207900160 x8598+178603950080 x8597+89301975040 x8596+44650987520 x8595+22325493760 x8594+11162746880 x8593+5581373440 x8592+2790686720 x8591+1395343360 x8590+697671680 x8589+348835840 x8588+174417920 x8587+87208960 x8586+43604480 x8585+21802240 x8584+10901120 x8583+5450560 x8582+2725280 x8581+1362640 x8580+681320 x8579+340660 x8578+170330 x8577+85165 x8576+1073741824 ~x8425+536870912 ~x8424+268435456 ~x8423+134217728 ~x8422+67108864 ~x8421+33554432 ~x8420+16777216 ~x8419+8388608 ~x8418+4194304 ~x8417+2097152 ~x8416+1048576 ~x8415+524288 ~x8414+262144 ~x8413+131072 ~x8412+65536 ~x8411+32768 ~x8410+16384 ~x8409+8192 ~x8408+4096 ~x8407+2048 ~x8406+1024 ~x8405+512 ~x8404+256 ~x8403+128 ~x8402+64 ~x8401+32 ~x8400+16 ~x8399+8 ~x8398+4 ~x8397+2 ~x8396+6088116142080 ~x5515+3044058071040 ~x5514+1522029035520 ~x5513+761014517760 ~x5512+380507258880 ~x5511+190253629440 ~x5510+95126814720 ~x5509+47563407360 ~x5508+23781703680 ~x5507+11890851840 ~x5506+5945425920 ~x5505+2972712960 ~x5504+1486356480 ~x5503+743178240 ~x5502+371589120 ~x5501+185794560 ~x5500+92897280 ~x5499+46448640 ~x5498+23224320 ~x5497+11612160 ~x5496+5806080 ~x5495+2903040 ~x5494+1451520 ~x5493+725760 ~x5492+362880 ~x5491+181440 ~x5490+90720 ~x5489+45360 ~x5488+22680 ~x5487+11340 ~x5486+1073741824 ~x31+536870912 ~x30+268435456 ~x29+134217728 ~x28+67108864 ~x27+33554432 ~x26+16777216 ~x25+8388608 ~x24+4194304 ~x23+2097152 ~x22+1048576 ~x21+524288 ~x20+262144 ~x19+131072 ~x18+65536 ~x17+32768 ~x16+16384 ~x15+8192 ~x14+4096 ~x13+2048 ~x12+1024 ~x11+512 ~x10+256 ~x9+128 ~x8+64 ~x7+32 ~x6+16 ~x5+8 ~x4+4 ~x3+2 ~x2-0=33899307910316
51.96/52.02	c 8796093022208 ~x2021047+4398046511104 ~x2021046+2199023255552 ~x2021045+1099511627776 ~x2021044+549755813888 ~x2021043+274877906944 ~x2021042+137438953472 ~x2021041+68719476736 ~x2021040+34359738368 ~x2021039+17179869184 ~x2021038+8589934592 ~x2021037+4294967296 ~x2021036+2147483648 ~x2021035+1073741824 ~x2021034+536870912 ~x2021033+268435456 ~x2021032+134217728 ~x2021031+67108864 ~x2021030+33554432 ~x2021029+16777216 ~x2021028+8388608 ~x2021027+4194304 ~x2021026+2097152 ~x2021025+1048576 ~x2021024+524288 ~x2021023+262144 ~x2021022+131072 ~x2021021+65536 ~x2021020+32768 ~x2021019+16384 ~x2021018+8192 ~x2021017+4096 ~x2021016+2048 ~x2021015+1024 ~x2021014+512 ~x2021013+256 ~x2021012+128 ~x2021011+64 ~x2021010+32 ~x2021009+16 ~x2021008+8 ~x2021007+4 ~x2021006+2 ~x2021005+1 ~x2021004+21474836480 ~x10795+10737418240 ~x10794+5368709120 ~x10793+2684354560 ~x10792+1342177280 ~x10791+671088640 ~x10790+335544320 ~x10789+167772160 ~x10788+83886080 ~x10787+41943040 ~x10786+20971520 ~x10785+10485760 ~x10784+5242880 ~x10783+2621440 ~x10782+1310720 ~x10781+655360 ~x10780+327680 ~x10779+163840 ~x10778+81920 ~x10777+40960 ~x10776+20480 ~x10775+10240 ~x10774+5120 ~x10773+2560 ~x10772+1280 ~x10771+640 ~x10770+320 ~x10769+160 ~x10768+80 ~x10767+40 ~x10766+4831838208 ~x10615+2415919104 ~x10614+1207959552 ~x10613+603979776 ~x10612+301989888 ~x10611+150994944 ~x10610+75497472 ~x10609+37748736 ~x10608+18874368 ~x10607+9437184 ~x10606+4718592 ~x10605+2359296 ~x10604+1179648 ~x10603+589824 ~x10602+294912 ~x10601+147456 ~x10600+73728 ~x10599+36864 ~x10598+18432 ~x10597+9216 ~x10596+4608 ~x10595+2304 ~x10594+1152 ~x10593+576 ~x10592+288 ~x10591+144 ~x10590+72 ~x10589+36 ~x10588+18 ~x10587+9 ~x10586+47781511168 ~x10435+23890755584 ~x10434+11945377792 ~x10433+5972688896 ~x10432+2986344448 ~x10431+1493172224 ~x10430+746586112 ~x10429+373293056 ~x10428+186646528 ~x10427+93323264 ~x10426+46661632 ~x10425+23330816 ~x10424+11665408 ~x10423+5832704 ~x10422+2916352 ~x10421+1458176 ~x10420+729088 ~x10419+364544 ~x10418+182272 ~x10417+91136 ~x10416+45568 ~x10415+22784 ~x10414+11392 ~x10413+5696 ~x10412+2848 ~x10411+1424 ~x10410+712 ~x10409+356 ~x10408+178 ~x10407+89 ~x10406+1590748512256 ~x9895+795374256128 ~x9894+397687128064 ~x9893+198843564032 ~x9892+99421782016 ~x9891+49710891008 ~x9890+24855445504 ~x9889+12427722752 ~x9888+6213861376 ~x9887+3106930688 ~x9886+1553465344 ~x9885+776732672 ~x9884+388366336 ~x9883+194183168 ~x9882+97091584 ~x9881+48545792 ~x9880+24272896 ~x9879+12136448 ~x9878+6068224 ~x9877+3034112 ~x9876+1517056 ~x9875+758528 ~x9874+379264 ~x9873+189632 ~x9872+94816 ~x9871+47408 ~x9870+23704 ~x9869+11852 ~x9868+5926 ~x9867+2963 ~x9866+212600881152 ~x9535+106300440576 ~x9534+53150220288 ~x9533+26575110144 ~x9532+13287555072 ~x9531+6643777536 ~x9530+3321888768 ~x9529+1660944384 ~x9528+830472192 ~x9527+415236096 ~x9526+207618048 ~x9525+103809024 ~x9524+51904512 ~x9523+25952256 ~x9522+12976128 ~x9521+6488064 ~x9520+3244032 ~x9519+1622016 ~x9518+811008 ~x9517+405504 ~x9516+202752 ~x9515+101376 ~x9514+50688 ~x9513+25344 ~x9512+12672 ~x9511+6336 ~x9510+3168 ~x9509+1584 ~x9508+792 ~x9507+396 ~x9506+271119810560 ~x8815+135559905280 ~x8814+67779952640 ~x8813+33889976320 ~x8812+16944988160 ~x8811+8472494080 ~x8810+4236247040 ~x8809+2118123520 ~x8808+1059061760 ~x8807+529530880 ~x8806+264765440 ~x8805+132382720 ~x8804+66191360 ~x8803+33095680 ~x8802+16547840 ~x8801+8273920 ~x8800+4136960 ~x8799+2068480 ~x8798+1034240 ~x8797+517120 ~x8796+258560 ~x8795+129280 ~x8794+64640 ~x8793+32320 ~x8792+16160 ~x8791+8080 ~x8790+4040 ~x8789+2020 ~x8788+1010 ~x8787+505 ~x8786+11604598980608 x8633+5802299490304 x8632+2901149745152 x8631+1450574872576 x8630+725287436288 x8629+362643718144 x8628+181321859072 x8627+90660929536 x8626+45330464768 x8625+22665232384 x8624+11332616192 x8623+5666308096 x8622+2833154048 x8621+1416577024 x8620+708288512 x8619+354144256 x8618+177072128 x8617+88536064 x8616+44268032 x8615+22134016 x8614+11067008 x8613+5533504 x8612+2766752 x8611+1383376 x8610+691688 x8609+345844 x8608+172922 x8607+86461 x8606+1073741824 ~x8455+536870912 ~x8454+268435456 ~x8453+134217728 ~x8452+67108864 ~x8451+33554432 ~x8450+16777216 ~x8449+8388608 ~x8448+4194304 ~x8447+2097152 ~x8446+1048576 ~x8445+524288 ~x8444+262144 ~x8443+131072 ~x8442+65536 ~x8441+32768 ~x8440+16384 ~x8439+8192 ~x8438+4096 ~x8437+2048 ~x8436+1024 ~x8435+512 ~x8434+256 ~x8433+128 ~x8432+64 ~x8431+32 ~x8430+16 ~x8429+8 ~x8428+4 ~x8427+2 ~x8426+5556613939200 ~x5545+2778306969600 ~x5544+1389153484800 ~x5543+694576742400 ~x5542+347288371200 ~x5541+173644185600 ~x5540+86822092800 ~x5539+43411046400 ~x5538+21705523200 ~x5537+10852761600 ~x5536+5426380800 ~x5535+2713190400 ~x5534+1356595200 ~x5533+678297600 ~x5532+339148800 ~x5531+169574400 ~x5530+84787200 ~x5529+42393600 ~x5528+21196800 ~x5527+10598400 ~x5526+5299200 ~x5525+2649600 ~x5524+1324800 ~x5523+662400 ~x5522+331200 ~x5521+165600 ~x5520+82800 ~x5519+41400 ~x5518+20700 ~x5517+10350 ~x5516+536870912 ~x61+268435456 ~x60+134217728 ~x59+67108864 ~x58+33554432 ~x57+16777216 ~x56+8388608 ~x55+4194304 ~x54+2097152 ~x53+1048576 ~x52+524288 ~x51+262144 ~x50+131072 ~x49+65536 ~x48+32768 ~x47+16384 ~x46+8192 ~x45+4096 ~x44+2048 ~x43+1024 ~x42+512 ~x41+256 ~x40+128 ~x39+64 ~x38+32 ~x37+16 ~x36+8 ~x35+4 ~x34+2 ~x33+1 ~x32-0=33005954713580
56.66/56.75	c 4398046511104 ~x2231832+2199023255552 ~x2231831+1099511627776 ~x2231830+549755813888 ~x2231829+274877906944 ~x2231828+137438953472 ~x2231827+68719476736 ~x2231826+34359738368 ~x2231825+17179869184 ~x2231824+8589934592 ~x2231823+4294967296 ~x2231822+2147483648 ~x2231821+1073741824 ~x2231820+536870912 ~x2231819+268435456 ~x2231818+134217728 ~x2231817+67108864 ~x2231816+33554432 ~x2231815+16777216 ~x2231814+8388608 ~x2231813+4194304 ~x2231812+2097152 ~x2231811+1048576 ~x2231810+524288 ~x2231809+262144 ~x2231808+131072 ~x2231807+65536 ~x2231806+32768 ~x2231805+16384 ~x2231804+8192 ~x2231803+4096 ~x2231802+2048 ~x2231801+1024 ~x2231800+512 ~x2231799+256 ~x2231798+128 ~x2231797+64 ~x2231796+32 ~x2231795+16 ~x2231794+8 ~x2231793+4 ~x2231792+2 ~x2231791+1 ~x2231790+20401094656 ~x10825+10200547328 ~x10824+5100273664 ~x10823+2550136832 ~x10822+1275068416 ~x10821+637534208 ~x10820+318767104 ~x10819+159383552 ~x10818+79691776 ~x10817+39845888 ~x10816+19922944 ~x10815+9961472 ~x10814+4980736 ~x10813+2490368 ~x10812+1245184 ~x10811+622592 ~x10810+311296 ~x10809+155648 ~x10808+77824 ~x10807+38912 ~x10806+19456 ~x10805+9728 ~x10804+4864 ~x10803+2432 ~x10802+1216 ~x10801+608 ~x10800+304 ~x10799+152 ~x10798+76 ~x10797+38 ~x10796+4294967296 ~x10645+2147483648 ~x10644+1073741824 ~x10643+536870912 ~x10642+268435456 ~x10641+134217728 ~x10640+67108864 ~x10639+33554432 ~x10638+16777216 ~x10637+8388608 ~x10636+4194304 ~x10635+2097152 ~x10634+1048576 ~x10633+524288 ~x10632+262144 ~x10631+131072 ~x10630+65536 ~x10629+32768 ~x10628+16384 ~x10627+8192 ~x10626+4096 ~x10625+2048 ~x10624+1024 ~x10623+512 ~x10622+256 ~x10621+128 ~x10620+64 ~x10619+32 ~x10618+16 ~x10617+8 ~x10616+42949672960 ~x10465+21474836480 ~x10464+10737418240 ~x10463+5368709120 ~x10462+2684354560 ~x10461+1342177280 ~x10460+671088640 ~x10459+335544320 ~x10458+167772160 ~x10457+83886080 ~x10456+41943040 ~x10455+20971520 ~x10454+10485760 ~x10453+5242880 ~x10452+2621440 ~x10451+1310720 ~x10450+655360 ~x10449+327680 ~x10448+163840 ~x10447+81920 ~x10446+40960 ~x10445+20480 ~x10444+10240 ~x10443+5120 ~x10442+2560 ~x10441+1280 ~x10440+640 ~x10439+320 ~x10438+160 ~x10437+80 ~x10436+249108103168 ~x10105+124554051584 ~x10104+62277025792 ~x10103+31138512896 ~x10102+15569256448 ~x10101+7784628224 ~x10100+3892314112 ~x10099+1946157056 ~x10098+973078528 ~x10097+486539264 ~x10096+243269632 ~x10095+121634816 ~x10094+60817408 ~x10093+30408704 ~x10092+15204352 ~x10091+7602176 ~x10090+3801088 ~x10089+1900544 ~x10088+950272 ~x10087+475136 ~x10086+237568 ~x10085+118784 ~x10084+59392 ~x10083+29696 ~x10082+14848 ~x10081+7424 ~x10080+3712 ~x10079+1856 ~x10078+928 ~x10077+464 ~x10076+1422707916800 ~x9925+711353958400 ~x9924+355676979200 ~x9923+177838489600 ~x9922+88919244800 ~x9921+44459622400 ~x9920+22229811200 ~x9919+11114905600 ~x9918+5557452800 ~x9917+2778726400 ~x9916+1389363200 ~x9915+694681600 ~x9914+347340800 ~x9913+173670400 ~x9912+86835200 ~x9911+43417600 ~x9910+21708800 ~x9909+10854400 ~x9908+5427200 ~x9907+2713600 ~x9906+1356800 ~x9905+678400 ~x9904+339200 ~x9903+169600 ~x9902+84800 ~x9901+42400 ~x9900+21200 ~x9899+10600 ~x9898+5300 ~x9897+2650 ~x9896+197568495616 ~x9565+98784247808 ~x9564+49392123904 ~x9563+24696061952 ~x9562+12348030976 ~x9561+6174015488 ~x9560+3087007744 ~x9559+1543503872 ~x9558+771751936 ~x9557+385875968 ~x9556+192937984 ~x9555+96468992 ~x9554+48234496 ~x9553+24117248 ~x9552+12058624 ~x9551+6029312 ~x9550+3014656 ~x9549+1507328 ~x9548+753664 ~x9547+376832 ~x9546+188416 ~x9545+94208 ~x9544+47104 ~x9543+23552 ~x9542+11776 ~x9541+5888 ~x9540+2944 ~x9539+1472 ~x9538+736 ~x9537+368 ~x9536+33285996544 ~x9385+16642998272 ~x9384+8321499136 ~x9383+4160749568 ~x9382+2080374784 ~x9381+1040187392 ~x9380+520093696 ~x9379+260046848 ~x9378+130023424 ~x9377+65011712 ~x9376+32505856 ~x9375+16252928 ~x9374+8126464 ~x9373+4063232 ~x9372+2031616 ~x9371+1015808 ~x9370+507904 ~x9369+253952 ~x9368+126976 ~x9367+63488 ~x9366+31744 ~x9365+15872 ~x9364+7936 ~x9363+3968 ~x9362+1984 ~x9361+992 ~x9360+496 ~x9359+248 ~x9358+124 ~x9357+62 ~x9356+7516192768 ~x9205+3758096384 ~x9204+1879048192 ~x9203+939524096 ~x9202+469762048 ~x9201+234881024 ~x9200+117440512 ~x9199+58720256 ~x9198+29360128 ~x9197+14680064 ~x9196+7340032 ~x9195+3670016 ~x9194+1835008 ~x9193+917504 ~x9192+458752 ~x9191+229376 ~x9190+114688 ~x9189+57344 ~x9188+28672 ~x9187+14336 ~x9186+7168 ~x9185+3584 ~x9184+1792 ~x9183+896 ~x9182+448 ~x9181+224 ~x9180+112 ~x9179+56 ~x9178+28 ~x9177+14 ~x9176+19864223744 ~x9025+9932111872 ~x9024+4966055936 ~x9023+2483027968 ~x9022+1241513984 ~x9021+620756992 ~x9020+310378496 ~x9019+155189248 ~x9018+77594624 ~x9017+38797312 ~x9016+19398656 ~x9015+9699328 ~x9014+4849664 ~x9013+2424832 ~x9012+1212416 ~x9011+606208 ~x9010+303104 ~x9009+151552 ~x9008+75776 ~x9007+37888 ~x9006+18944 ~x9005+9472 ~x9004+4736 ~x9003+2368 ~x9002+1184 ~x9001+592 ~x9000+296 ~x8999+148 ~x8998+74 ~x8997+37 ~x8996+242128781312 ~x8845+121064390656 ~x8844+60532195328 ~x8843+30266097664 ~x8842+15133048832 ~x8841+7566524416 ~x8840+3783262208 ~x8839+1891631104 ~x8838+945815552 ~x8837+472907776 ~x8836+236453888 ~x8835+118226944 ~x8834+59113472 ~x8833+29556736 ~x8832+14778368 ~x8831+7389184 ~x8830+3694592 ~x8829+1847296 ~x8828+923648 ~x8827+461824 ~x8826+230912 ~x8825+115456 ~x8824+57728 ~x8823+28864 ~x8822+14432 ~x8821+7216 ~x8820+3608 ~x8819+1804 ~x8818+902 ~x8817+451 ~x8816+2940811083776 x8661+1470405541888 x8660+735202770944 x8659+367601385472 x8658+183800692736 x8657+91900346368 x8656+45950173184 x8655+22975086592 x8654+11487543296 x8653+5743771648 x8652+2871885824 x8651+1435942912 x8650+717971456 x8649+358985728 x8648+179492864 x8647+89746432 x8646+44873216 x8645+22436608 x8644+11218304 x8643+5609152 x8642+2804576 x8641+1402288 x8640+701144 x8639+350572 x8638+175286 x8637+87643 x8636+1073741824 ~x8485+536870912 ~x8484+268435456 ~x8483+134217728 ~x8482+67108864 ~x8481+33554432 ~x8480+16777216 ~x8479+8388608 ~x8478+4194304 ~x8477+2097152 ~x8476+1048576 ~x8475+524288 ~x8474+262144 ~x8473+131072 ~x8472+65536 ~x8471+32768 ~x8470+16384 ~x8469+8192 ~x8468+4096 ~x8467+2048 ~x8466+1024 ~x8465+512 ~x8464+256 ~x8463+128 ~x8462+64 ~x8461+32 ~x8460+16 ~x8459+8 ~x8458+4 ~x8457+2 ~x8456+536870912 ~x91+268435456 ~x90+134217728 ~x89+67108864 ~x88+33554432 ~x87+16777216 ~x86+8388608 ~x85+4194304 ~x84+2097152 ~x83+1048576 ~x82+524288 ~x81+262144 ~x80+131072 ~x79+65536 ~x78+32768 ~x77+16384 ~x76+8192 ~x75+4096 ~x74+2048 ~x73+1024 ~x72+512 ~x71+256 ~x70+128 ~x69+64 ~x68+32 ~x67+16 ~x66+8 ~x65+4 ~x64+2 ~x63+1 ~x62-0=13279272333232
62.56/62.68	c 1099511627776 ~x2494989+549755813888 ~x2494988+274877906944 ~x2494987+137438953472 ~x2494986+68719476736 ~x2494985+34359738368 ~x2494984+17179869184 ~x2494983+8589934592 ~x2494982+4294967296 ~x2494981+2147483648 ~x2494980+1073741824 ~x2494979+536870912 ~x2494978+268435456 ~x2494977+134217728 ~x2494976+67108864 ~x2494975+33554432 ~x2494974+16777216 ~x2494973+8388608 ~x2494972+4194304 ~x2494971+2097152 ~x2494970+1048576 ~x2494969+524288 ~x2494968+262144 ~x2494967+131072 ~x2494966+65536 ~x2494965+32768 ~x2494964+16384 ~x2494963+8192 ~x2494962+4096 ~x2494961+2048 ~x2494960+1024 ~x2494959+512 ~x2494958+256 ~x2494957+128 ~x2494956+64 ~x2494955+32 ~x2494954+16 ~x2494953+8 ~x2494952+4 ~x2494951+2 ~x2494950+1 ~x2494949+3758096384 ~x11035+1879048192 ~x11034+939524096 ~x11033+469762048 ~x11032+234881024 ~x11031+117440512 ~x11030+58720256 ~x11029+29360128 ~x11028+14680064 ~x11027+7340032 ~x11026+3670016 ~x11025+1835008 ~x11024+917504 ~x11023+458752 ~x11022+229376 ~x11021+114688 ~x11020+57344 ~x11019+28672 ~x11018+14336 ~x11017+7168 ~x11016+3584 ~x11015+1792 ~x11014+896 ~x11013+448 ~x11012+224 ~x11011+112 ~x11010+56 ~x11009+28 ~x11008+14 ~x11007+7 ~x11006+18253611008 ~x10855+9126805504 ~x10854+4563402752 ~x10853+2281701376 ~x10852+1140850688 ~x10851+570425344 ~x10850+285212672 ~x10849+142606336 ~x10848+71303168 ~x10847+35651584 ~x10846+17825792 ~x10845+8912896 ~x10844+4456448 ~x10843+2228224 ~x10842+1114112 ~x10841+557056 ~x10840+278528 ~x10839+139264 ~x10838+69632 ~x10837+34816 ~x10836+17408 ~x10835+8704 ~x10834+4352 ~x10833+2176 ~x10832+1088 ~x10831+544 ~x10830+272 ~x10829+136 ~x10828+68 ~x10827+34 ~x10826+231391363072 ~x10135+115695681536 ~x10134+57847840768 ~x10133+28923920384 ~x10132+14461960192 ~x10131+7230980096 ~x10130+3615490048 ~x10129+1807745024 ~x10128+903872512 ~x10127+451936256 ~x10126+225968128 ~x10125+112984064 ~x10124+56492032 ~x10123+28246016 ~x10122+14123008 ~x10121+7061504 ~x10120+3530752 ~x10119+1765376 ~x10118+882688 ~x10117+441344 ~x10116+220672 ~x10115+110336 ~x10114+55168 ~x10113+27584 ~x10112+13792 ~x10111+6896 ~x10110+3448 ~x10109+1724 ~x10108+862 ~x10107+431 ~x10106+176630530048 ~x9595+88315265024 ~x9594+44157632512 ~x9593+22078816256 ~x9592+11039408128 ~x9591+5519704064 ~x9590+2759852032 ~x9589+1379926016 ~x9588+689963008 ~x9587+344981504 ~x9586+172490752 ~x9585+86245376 ~x9584+43122688 ~x9583+21561344 ~x9582+10780672 ~x9581+5390336 ~x9580+2695168 ~x9579+1347584 ~x9578+673792 ~x9577+336896 ~x9576+168448 ~x9575+84224 ~x9574+42112 ~x9573+21056 ~x9572+10528 ~x9571+5264 ~x9570+2632 ~x9569+1316 ~x9568+658 ~x9567+329 ~x9566+6979321856 ~x9235+3489660928 ~x9234+1744830464 ~x9233+872415232 ~x9232+436207616 ~x9231+218103808 ~x9230+109051904 ~x9229+54525952 ~x9228+27262976 ~x9227+13631488 ~x9226+6815744 ~x9225+3407872 ~x9224+1703936 ~x9223+851968 ~x9222+425984 ~x9221+212992 ~x9220+106496 ~x9219+53248 ~x9218+26624 ~x9217+13312 ~x9216+6656 ~x9215+3328 ~x9214+1664 ~x9213+832 ~x9212+416 ~x9211+208 ~x9210+104 ~x9209+52 ~x9208+26 ~x9207+13 ~x9206+17716740096 ~x9055+8858370048 ~x9054+4429185024 ~x9053+2214592512 ~x9052+1107296256 ~x9051+553648128 ~x9050+276824064 ~x9049+138412032 ~x9048+69206016 ~x9047+34603008 ~x9046+17301504 ~x9045+8650752 ~x9044+4325376 ~x9043+2162688 ~x9042+1081344 ~x9041+540672 ~x9040+270336 ~x9039+135168 ~x9038+67584 ~x9037+33792 ~x9036+16896 ~x9035+8448 ~x9034+4224 ~x9033+2112 ~x9032+1056 ~x9031+528 ~x9030+264 ~x9029+132 ~x9028+66 ~x9027+33 ~x9026+224412041216 ~x8875+112206020608 ~x8874+56103010304 ~x8873+28051505152 ~x8872+14025752576 ~x8871+7012876288 ~x8870+3506438144 ~x8869+1753219072 ~x8868+876609536 ~x8867+438304768 ~x8866+219152384 ~x8865+109576192 ~x8864+54788096 ~x8863+27394048 ~x8862+13697024 ~x8861+6848512 ~x8860+3424256 ~x8859+1712128 ~x8858+856064 ~x8857+428032 ~x8856+214016 ~x8855+107008 ~x8854+53504 ~x8853+26752 ~x8852+13376 ~x8851+6688 ~x8850+3344 ~x8849+1672 ~x8848+836 ~x8847+418 ~x8846+744254078976 x8689+372127039488 x8688+186063519744 x8687+93031759872 x8686+46515879936 x8685+23257939968 x8684+11628969984 x8683+5814484992 x8682+2907242496 x8681+1453621248 x8680+726810624 x8679+363405312 x8678+181702656 x8677+90851328 x8676+45425664 x8675+22712832 x8674+11356416 x8673+5678208 x8672+2839104 x8671+1419552 x8670+709776 x8669+354888 x8668+177444 x8667+88722 x8666+1073741824 ~x8515+536870912 ~x8514+268435456 ~x8513+134217728 ~x8512+67108864 ~x8511+33554432 ~x8510+16777216 ~x8509+8388608 ~x8508+4194304 ~x8507+2097152 ~x8506+1048576 ~x8505+524288 ~x8504+262144 ~x8503+131072 ~x8502+65536 ~x8501+32768 ~x8500+16384 ~x8499+8192 ~x8498+4096 ~x8497+2048 ~x8496+1024 ~x8495+512 ~x8494+256 ~x8493+128 ~x8492+64 ~x8491+32 ~x8490+16 ~x8489+8 ~x8488+4 ~x8487+2 ~x8486+536870912 ~x121+268435456 ~x120+134217728 ~x119+67108864 ~x118+33554432 ~x117+16777216 ~x116+8388608 ~x115+4194304 ~x114+2097152 ~x113+1048576 ~x112+524288 ~x111+262144 ~x110+131072 ~x109+65536 ~x108+32768 ~x107+16384 ~x106+8192 ~x105

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-2674732-1276799796/watcher-2674732-1276799796 -o /tmp/evaluation-result-2674732-1276799796/solver-2674732-1276799796 -C 1800 -W 2000 -M 1800 run HOME/instance-2674732-1276799796.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.96 0.96 0.98 3/106 18630
/proc/meminfo: memFree=1874180/2059040 swapFree=4140132/4192956
[pid=18630] ppid=18628 vsize=8700 CPUtime=0
/proc/18630/stat : 18630 (run) S 18628 18630 18449 0 -1 4202496 389 134 0 0 0 0 0 0 17 0 1 0 55583117 8908800 251 1992294400 4194304 4922060 140736919046400 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18630/statm: 2175 251 211 178 0 68 0

[startup+0.0874389 s]
/proc/loadavg: 0.96 0.96 0.98 3/106 18630
/proc/meminfo: memFree=1874180/2059040 swapFree=4140132/4192956
[pid=18630] ppid=18628 vsize=8700 CPUtime=0
/proc/18630/stat : 18630 (run) S 18628 18630 18449 0 -1 4202496 389 134 0 0 0 0 0 0 17 0 1 0 55583117 8908800 251 1992294400 4194304 4922060 140736919046400 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18630/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.101383 s]
/proc/loadavg: 0.96 0.96 0.98 3/106 18630
/proc/meminfo: memFree=1874180/2059040 swapFree=4140132/4192956
[pid=18630] ppid=18628 vsize=8700 CPUtime=0
/proc/18630/stat : 18630 (run) S 18628 18630 18449 0 -1 4202496 389 134 0 0 0 0 0 0 17 0 1 0 55583117 8908800 251 1992294400 4194304 4922060 140736919046400 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18630/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.30142 s]
/proc/loadavg: 0.96 0.96 0.98 3/106 18630
/proc/meminfo: memFree=1874180/2059040 swapFree=4140132/4192956
[pid=18630] ppid=18628 vsize=8700 CPUtime=0
/proc/18630/stat : 18630 (run) S 18628 18630 18449 0 -1 4202496 389 134 0 0 0 0 0 0 17 0 1 0 55583117 8908800 251 1992294400 4194304 4922060 140736919046400 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18630/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.701494 s]
/proc/loadavg: 0.96 0.96 0.98 3/106 18630
/proc/meminfo: memFree=1874180/2059040 swapFree=4140132/4192956
[pid=18630] ppid=18628 vsize=8700 CPUtime=0
/proc/18630/stat : 18630 (run) S 18628 18630 18449 0 -1 4202496 389 134 0 0 0 0 0 0 17 0 1 0 55583117 8908800 251 1992294400 4194304 4922060 140736919046400 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18630/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50064 s]
/proc/loadavg: 0.96 0.96 0.98 2/108 18633
/proc/meminfo: memFree=1726108/2059040 swapFree=4140132/4192956
[pid=18630] ppid=18628 vsize=8700 CPUtime=0
/proc/18630/stat : 18630 (run) S 18628 18630 18449 0 -1 4202496 389 134 0 0 0 0 0 0 17 0 1 0 55583117 8908800 251 1992294400 4194304 4922060 140736919046400 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18630/statm: 2175 251 211 178 0 68 0
[pid=18632] ppid=18630 vsize=220132 CPUtime=1.49
/proc/18632/stat : 18632 (PBPASSolver) R 18630 18630 18449 0 -1 4202496 54429 0 0 0 55 94 0 0 23 0 1 0 55583118 225415168 54367 1992294400 134512640 134902295 4293651424 18446744073709551615 4294960144 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/18632/statm: 55033 54367 256 96 0 54245 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 228832

[startup+3.10094 s]
/proc/loadavg: 0.97 0.96 0.98 2/108 18633
/proc/meminfo: memFree=1579912/2059040 swapFree=4140132/4192956
[pid=18630] ppid=18628 vsize=8700 CPUtime=0
/proc/18630/stat : 18630 (run) S 18628 18630 18449 0 -1 4202496 389 134 0 0 0 0 0 0 17 0 1 0 55583117 8908800 251 1992294400 4194304 4922060 140736919046400 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18630/statm: 2175 251 211 178 0 68 0
[pid=18632] ppid=18630 vsize=429316 CPUtime=3.08
/proc/18632/stat : 18632 (PBPASSolver) R 18630 18630 18449 0 -1 4202496 106754 0 0 0 129 179 0 0 25 0 1 0 55583118 439619584 106692 1992294400 134512640 134902295 4293651424 18446744073709551615 134520305 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/18632/statm: 107329 106692 256 96 0 106541 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 438016

[startup+6.30053 s]
/proc/loadavg: 0.97 0.96 0.98 2/108 18633
/proc/meminfo: memFree=1173564/2059040 swapFree=4140132/4192956
[pid=18630] ppid=18628 vsize=8700 CPUtime=0
/proc/18630/stat : 18630 (run) S 18628 18630 18449 0 -1 4202496 389 134 0 0 0 0 0 0 17 0 1 0 55583117 8908800 251 1992294400 4194304 4922060 140736919046400 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18630/statm: 2175 251 211 178 0 68 0
[pid=18632] ppid=18630 vsize=803172 CPUtime=6.28
/proc/18632/stat : 18632 (PBPASSolver) R 18630 18630 18449 0 -1 4202496 200148 0 0 0 300 328 0 0 25 0 1 0 55583118 822448128 200086 1992294400 134512640 134902295 4293651424 18446744073709551615 4294960144 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/18632/statm: 200793 200086 256 96 0 200005 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 811872

[startup+12.7007 s]
/proc/loadavg: 0.97 0.96 0.98 2/108 18633
/proc/meminfo: memFree=965616/2059040 swapFree=4140132/4192956
[pid=18630] ppid=18628 vsize=8700 CPUtime=0
/proc/18630/stat : 18630 (run) S 18628 18630 18449 0 -1 4202496 389 134 0 0 0 0 0 0 17 0 1 0 55583117 8908800 251 1992294400 4194304 4922060 140736919046400 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18630/statm: 2175 251 211 178 0 68 0
[pid=18632] ppid=18630 vsize=924924 CPUtime=12.68
/proc/18632/stat : 18632 (PBPASSolver) R 18630 18630 18449 0 -1 4202496 232688 0 0 0 923 345 0 0 25 0 1 0 55583118 947122176 229654 1992294400 134512640 134902295 4293651424 18446744073709551615 4160443604 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/18632/statm: 231231 229654 262 96 0 230443 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 933624

[startup+25.5011 s]
/proc/loadavg: 0.98 0.96 0.98 2/108 18635
/proc/meminfo: memFree=740804/2059040 swapFree=4140132/4192956
[pid=18630] ppid=18628 vsize=8700 CPUtime=0
/proc/18630/stat : 18630 (run) S 18628 18630 18449 0 -1 4202496 389 134 0 0 0 0 0 0 17 0 1 0 55583117 8908800 251 1992294400 4194304 4922060 140736919046400 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18630/statm: 2175 251 211 178 0 68 0
[pid=18632] ppid=18630 vsize=1158548 CPUtime=25.47
/proc/18632/stat : 18632 (PBPASSolver) R 18630 18630 18449 0 -1 4202496 296193 0 0 0 2174 373 0 0 25 0 1 0 55583118 1186353152 284123 1992294400 134512640 134902295 4293651424 18446744073709551615 4160410343 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/18632/statm: 289637 284123 262 96 0 288849 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 1167248

[startup+51.1018 s]
/proc/loadavg: 0.98 0.97 0.98 2/108 18635
/proc/meminfo: memFree=308664/2059040 swapFree=4140132/4192956
[pid=18630] ppid=18628 vsize=8700 CPUtime=0
/proc/18630/stat : 18630 (run) S 18628 18630 18449 0 -1 4202496 389 134 0 0 0 0 0 0 17 0 1 0 55583117 8908800 251 1992294400 4194304 4922060 140736919046400 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18630/statm: 2175 251 211 178 0 68 0
[pid=18632] ppid=18630 vsize=1615364 CPUtime=51.06
/proc/18632/stat : 18632 (PBPASSolver) R 18630 18630 18449 0 -1 4202496 420315 0 0 0 4678 428 0 0 25 0 1 0 55583118 1654132736 393216 1992294400 134512640 134902295 4293651424 18446744073709551615 134791434 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/18632/statm: 403841 393216 262 96 0 403053 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 1624064



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+64.9084 s]
/proc/loadavg: 0.99 0.97 0.98 2/108 18635
/proc/meminfo: memFree=71204/2059040 swapFree=4140132/4192956
[pid=18630] ppid=18628 vsize=8700 CPUtime=0
/proc/18630/stat : 18630 (run) S 18628 18630 18449 0 -1 4202496 389 134 0 0 0 0 0 0 17 0 1 0 55583117 8908800 251 1992294400 4194304 4922060 140736919046400 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18630/statm: 2175 251 211 178 0 68 0
[pid=18632] ppid=18630 vsize=1835908 CPUtime=64.86
/proc/18632/stat : 18632 (PBPASSolver) R 18630 18630 18449 0 -1 4202496 484507 0 0 0 6031 455 0 0 25 0 1 0 55583118 1879969792 449912 1992294400 134512640 134902295 4293651424 18446744073709551615 2946556 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/18632/statm: 458977 449912 262 96 0 458189 0
Current children cumulated CPU time (s) 64.86
Current children cumulated vsize (KiB) 1844608

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+64.9084 s]
/proc/loadavg: 0.99 0.97 0.98 2/108 18635
/proc/meminfo: memFree=71204/2059040 swapFree=4140132/4192956
[pid=18630] ppid=18628 vsize=8700 CPUtime=0
/proc/18630/stat : 18630 (run) S 18628 18630 18449 0 -1 4202496 389 134 0 0 0 0 0 0 17 0 1 0 55583117 8908800 251 1992294400 4194304 4922060 140736919046400 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18630/statm: 2175 251 211 178 0 68 0
[pid=18632] ppid=18630 vsize=1835908 CPUtime=64.86
/proc/18632/stat : 18632 (PBPASSolver) R 18630 18630 18449 0 -1 4202496 484507 0 0 0 6031 455 0 0 25 0 1 0 55583118 1879969792 449912 1992294400 134512640 134902295 4293651424 18446744073709551615 2946556 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/18632/statm: 458977 449912 262 96 0 458189 0
Current children cumulated CPU time (s) 64.86
Current children cumulated vsize (KiB) 1844608

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 18630 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=1999
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=1999
# CPU time returned by wait4() is 0.003998
# while last known CPU time is 64.86
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 64.9216
CPU time (s): 64.86
CPU user time (s): 60.31
CPU system time (s): 4.55
CPU usage (%): 99.905
Max. virtual memory (cumulated for all children) (KiB): 1844608

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001999
system time used= 0.001999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 523
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 3

runsolver used 0.132979 second user time and 0.303953 second system time

The end

Launcher Data 

Begin job on node007 at 2010-06-17 20:36:37
IDJOB=2674732
IDBENCH=2409
IDSOLVER=1174
FILE ID=node007/2674732-1276799796
PBS_JOBID= 11176671
Free space on /tmp= 62484 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-stair.opb
COMMAND LINE= run BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2674732-1276799796/watcher-2674732-1276799796 -o /tmp/evaluation-result-2674732-1276799796/solver-2674732-1276799796 -C 1800 -W 2000 -M 1800  run HOME/instance-2674732-1276799796.opb

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

MD5SUM BENCH= 93ec90d2ad0b276483c19ced945be9c0
RANDOM SEED=1706497291

node007.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.264
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.52
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.264
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.44
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1874576 kB
Buffers:         30752 kB
Cached:          58136 kB
SwapCached:       6616 kB
Active:           9288 kB
Inactive:        93384 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1874576 kB
SwapTotal:     4192956 kB
SwapFree:      4140132 kB
Dirty:            1876 kB
Writeback:           0 kB
AnonPages:       12032 kB
Mapped:          12964 kB
Slab:            59888 kB
PageTables:       4028 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182620 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= 62484 MiB
End job on node007 at 2010-06-17 20:37:44