Trace number 2674138

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? (TO) 1800.1 1800.62

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-harp2.opb
MD5SUMa22cdb58cc05b8a325a786916e6a7ab8
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-68638685
Best CPU time to get the best result obtained on this benchmark1800.45
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -66737705
Optimality of the best value was proved NO
Number of variables2993
Total number of constraints112
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)73
Number of constraints which are nor clauses,nor cardinality constraints39
Minimum length of a constraint41
Maximum length of a constraint73
Number of terms in the objective function 2993
Biggest coefficient in the objective function 17006200
Number of bits for the biggest coefficient in the objective function 25
Sum of the numbers in the objective function 4415092451
Number of bits of the sum of numbers in the objective function 33
Biggest number in a constraint 4208540000
Number of bits of the biggest number in a constraint 32
Biggest sum of numbers in a constraint 46909379837
Number of bits of the biggest sum of numbers36
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.92	c 2993 112 0 0 0 0 0 0
0.00/0.92	c 8589934592 ~x6276+4294967296 ~x6275+2147483648 ~x6274+1073741824 ~x6273+536870912 ~x6272+268435456 ~x6271+134217728 ~x6270+67108864 ~x6269+33554432 ~x6268+16777216 ~x6267+8388608 ~x6266+4194304 ~x6265+2097152 ~x6264+1048576 ~x6263+524288 ~x6262+262144 ~x6261+131072 ~x6260+65536 ~x6259+32768 ~x6258+16384 ~x6257+8192 ~x6256+4096 ~x6255+2048 ~x6254+1024 ~x6253+512 ~x6252+256 ~x6251+128 ~x6250+64 ~x6249+32 ~x6248+16 ~x6247+8 ~x6246+4 ~x6245+2 ~x6244+1 ~x6243+24293350 ~x2964+559845000 ~x2919+357149500 ~x2872+40472350 ~x2827+184657500 ~x2782+113262500 ~x2736+273347500 ~x2691+45691250 ~x2651+112694000 ~x2645+159071500 ~x2600+94735500 ~x2555+15579300 ~x2509+7010400 ~x2464+6706050 ~x2417+217418500 ~x2372+107414000 ~x2326+97753000 ~x2281+58632000 ~x2236+50302000 ~x2203+30762850 ~x2157+12764 ~x2111+4434645 ~x2066+5864100 ~x2021+79638000 ~x2002+4483340 ~x1975+314048500 ~x1936+8284500 ~x1930+5999150 ~x1884+10920100 ~x1839+8163450 ~x1794+20796450 ~x1748+151715000 ~x1702+64166000 ~x1656+341313500 ~x1611+161004000 ~x1566+70288000 ~x1520+153711000 ~x1481+180211000 ~x1475+108816000 ~x1429+442375500 ~x1384+293408000 ~x1339+713350000 ~x1293+384383500 ~x1247+96270500 ~x1201+34007900 ~x1156+15226200 ~x1109+283470500 ~x1064+29587350 ~x1025+116792500 ~x1019+48959100 ~x973+494986000 ~x928+242252500 ~x882+17570050 ~x837+485058000 ~x791+374739500 ~x745+110358000 ~x700+37856950 ~x654+18880300 ~x609+387841500 ~x570+18682200 ~x564+989760000 ~x518+553020000 ~x473+184576000 ~x427+129262500 ~x382+154471500 ~x335+28694400 ~x290+177918500 ~x245+78823500 ~x199+79921 ~x154+185441500 ~x115+177187000 ~x108+125344500 ~x63+2904425 ~x18-0=28864076528
1.79/1.83	c 17179869184 ~x46488+8589934592 ~x46487+4294967296 ~x46486+2147483648 ~x46485+1073741824 ~x46484+536870912 ~x46483+268435456 ~x46482+134217728 ~x46481+67108864 ~x46480+33554432 ~x46479+16777216 ~x46478+8388608 ~x46477+4194304 ~x46476+2097152 ~x46475+1048576 ~x46474+524288 ~x46473+262144 ~x46472+131072 ~x46471+65536 ~x46470+32768 ~x46469+16384 ~x46468+8192 ~x46467+4096 ~x46466+2048 ~x46465+1024 ~x46464+512 ~x46463+256 ~x46462+128 ~x46461+64 ~x46460+32 ~x46459+16 ~x46458+8 ~x46457+4 ~x46456+2 ~x46455+1 ~x46454+52429900 ~x2965+1189850000 ~x2920+768794000 ~x2874+89590000 ~x2828+421022000 ~x2783+255331000 ~x2737+600359000 ~x2692+99922900 ~x2663+249527000 ~x2646+362572000 ~x2601+216774000 ~x2556+36878700 ~x2510+16092100 ~x2465+14329500 ~x2419+479132000 ~x2373+243305000 ~x2327+232671000 ~x2282+138776000 ~x2237+111851000 ~x2204+68266400 ~x2159+172761000 ~x2113+252716 ~x2112+9826610 ~x2067+13218700 ~x2022+10140300 ~x1976+693278000 ~x1947+20808500 ~x1931+15068200 ~x1885+24644800 ~x1840+18423600 ~x1795+45804900 ~x1749+327615000 ~x1704+139434000 ~x1657+774764000 ~x1612+365223000 ~x1567+161283000 ~x1521+337160000 ~x1492+388966000 ~x1476+237144000 ~x1430+949371000 ~x1385+631246000 ~x1340+1566350000 ~x1294+835491000 ~x1249+214272000 ~x1202+74868600 ~x1157+34051800 ~x1110+610306000 ~x1065+67088000 ~x1036+258420000 ~x1020+107886000 ~x974+1079940000 ~x929+532373000 ~x883+39372900 ~x838+1129750000 ~x793+820905000 ~x746+242652000 ~x701+85980500 ~x655+46165100 ~x610+869971000 ~x581+40122700 ~x565+2227190000 ~x519+1260710000 ~x474+449091000 ~x428+314978000 ~x383+353446000 ~x338+61269600 ~x291+383713000 ~x246+171937000 ~x200+164361 ~x155+415814000 ~x126+413505000 ~x109+285808000 ~x64+6590000 ~x19-0=60343826754
2.89/2.91	c 4294967296 ~x94223+2147483648 ~x94222+1073741824 ~x94221+536870912 ~x94220+268435456 ~x94219+134217728 ~x94218+67108864 ~x94217+33554432 ~x94216+16777216 ~x94215+8388608 ~x94214+4194304 ~x94213+2097152 ~x94212+1048576 ~x94211+524288 ~x94210+262144 ~x94209+131072 ~x94208+65536 ~x94207+32768 ~x94206+16384 ~x94205+8192 ~x94204+4096 ~x94203+2048 ~x94202+1024 ~x94201+512 ~x94200+256 ~x94199+128 ~x94198+64 ~x94197+32 ~x94196+16 ~x94195+8 ~x94194+4 ~x94193+2 ~x94192+1 ~x94191+14068300 ~x2966+315005000 ~x2921+205822250 ~x2875+24558850 ~x2830+118182000 ~x2784+71034250 ~x2738+163505500 ~x2693+27115750 ~x2674+68416250 ~x2647+101750000 ~x2602+61019250 ~x2557+10649700 ~x2511+4540850 ~x2466+3811725 ~x2420+130856500 ~x2375+67945250 ~x2328+67458750 ~x2283+40071750 ~x2238+46561500 ~x2219+30774500 ~x2205+18751775 ~x2160+119976 ~x2115+2695975 ~x2068+3677275 ~x2023+2828475 ~x1977+189614750 ~x1958+6261975 ~x1932+4534525 ~x1886+6862375 ~x1841+5130050 ~x1796+12504250 ~x1750+87950000 ~x1705+37634000 ~x1659+216725000 ~x1613+102109250 ~x1568+45497750 ~x1522+91724500 ~x1503+104377500 ~x1477+64164000 ~x1431+253497500 ~x1386+168919000 ~x1341+426500000 ~x1295+225554000 ~x1250+59000750 ~x1204+20430375 ~x1158+9412775 ~x1111+163417750 ~x1066+18750325 ~x1047+70813500 ~x1021+29463500 ~x975+292477500 ~x930+145060250 ~x884+10901425 ~x839+322345000 ~x794+223082500 ~x748+66146750 ~x702+24061750 ~x656+13642400 ~x611+241064750 ~x592+10720250 ~x566+618715000 ~x520+353845000 ~x475+132257500 ~x429+92857750 ~x384+99487250 ~x339+16287575 ~x293+102897000 ~x247+46556750 ~x201+42220 ~x156+115186250 ~x137+118159250 ~x110+80231750 ~x65+1842785 ~x20-0=15739874047
3.79/3.80	c 17179869184 ~x133205+8589934592 ~x133204+4294967296 ~x133203+2147483648 ~x133202+1073741824 ~x133201+536870912 ~x133200+268435456 ~x133199+134217728 ~x133198+67108864 ~x133197+33554432 ~x133196+16777216 ~x133195+8388608 ~x133194+4194304 ~x133193+2097152 ~x133192+1048576 ~x133191+524288 ~x133190+262144 ~x133189+131072 ~x133188+65536 ~x133187+32768 ~x133186+16384 ~x133185+8192 ~x133184+4096 ~x133183+2048 ~x133182+1024 ~x133181+512 ~x133180+256 ~x133179+128 ~x133178+64 ~x133177+32 ~x133176+16 ~x133175+8 ~x133174+4 ~x133173+2 ~x133172+1 ~x133171+60116400 ~x2967+1330180000 ~x2922+877784000 ~x2876+106881000 ~x2831+524435000 ~x2786+312943000 ~x2739+707686000 ~x2694+117004000 ~x2685+297803000 ~x2648+451429000 ~x2603+271379000 ~x2558+48319000 ~x2512+20234700 ~x2467+16164300 ~x2421+567720000 ~x2376+300257000 ~x2331+306999000 ~x2284+181799000 ~x2239+199732000 ~x2230+134345000 ~x2206+81747700 ~x2161+707091 ~x2116+11741200 ~x2070+16199600 ~x2024+12487500 ~x1978+823640000 ~x1969+29287300 ~x1933+21208100 ~x1887+30254100 ~x1842+22616900 ~x1797+54229000 ~x1751+375985000 ~x1706+161637000 ~x1660+959036000 ~x1615+451652000 ~x1569+202699000 ~x1523+396636000 ~x1514+446054000 ~x1478+276168000 ~x1432+1078610000 ~x1387+720106000 ~x1342+1845640000 ~x1296+968940000 ~x1251+257734000 ~x1205+88574400 ~x1160+41250500 ~x1112+697035000 ~x1067+82914500 ~x1058+308089000 ~x1022+127822000 ~x976+1259870000 ~x931+628109000 ~x885+47838600 ~x840+1449010000 ~x795+963756000 ~x749+286523000 ~x704+106514000 ~x657+62974100 ~x612+1058550000 ~x603+45639300 ~x567+2722530000 ~x521+1570050000 ~x476+608970000 ~x430+427885000 ~x385+442451000 ~x340+69031000 ~x294+439463000 ~x249+200517000 ~x202+173400 ~x157+505676000 ~x148+531769000 ~x111+356046000 ~x66+8152290 ~x21-0=65575147348
4.79/4.88	c 17179869184 ~x180753+8589934592 ~x180752+4294967296 ~x180751+2147483648 ~x180750+1073741824 ~x180749+536870912 ~x180748+268435456 ~x180747+134217728 ~x180746+67108864 ~x180745+33554432 ~x180744+16777216 ~x180743+8388608 ~x180742+4194304 ~x180741+2097152 ~x180740+1048576 ~x180739+524288 ~x180738+262144 ~x180737+131072 ~x180736+65536 ~x180735+32768 ~x180734+16384 ~x180733+8192 ~x180732+4096 ~x180731+2048 ~x180730+1024 ~x180729+512 ~x180728+256 ~x180727+128 ~x180726+64 ~x180725+32 ~x180724+16 ~x180723+8 ~x180722+4 ~x180721+2 ~x180720+1 ~x180719+63959600 ~x2968+1400340000 ~x2923+932279000 ~x2877+115526000 ~x2832+576142000 ~x2787+341749000 ~x2741+125544000 ~x2696+761350000 ~x2695+321942000 ~x2649+495857000 ~x2604+298682000 ~x2559+54039100 ~x2513+22306000 ~x2468+17081800 ~x2422+612014000 ~x2377+328734000 ~x2332+344163000 ~x2286+213217000 ~x2241+203311000 ~x2240+145593000 ~x2207+88488400 ~x2162+934279 ~x2117+12698600 ~x2071+17690000 ~x2026+888821000 ~x1980+13661100 ~x1979+33526800 ~x1934+24278000 ~x1888+33058700 ~x1843+24713600 ~x1798+58441100 ~x1752+400170000 ~x1707+172739000 ~x1661+1051170000 ~x1616+494867000 ~x1571+426374000 ~x1525+223406000 ~x1524+474598000 ~x1479+295681000 ~x1433+1143230000 ~x1388+764536000 ~x1343+1985290000 ~x1297+1035660000 ~x1252+279465000 ~x1206+95427300 ~x1161+44849900 ~x1116+90827800 ~x1069+740400000 ~x1068+332923000 ~x1023+137789000 ~x977+1349840000 ~x932+675977000 ~x886+52071400 ~x841+1608650000 ~x796+1035180000 ~x750+308458000 ~x705+116780000 ~x659+1152830000 ~x614+71378600 ~x613+48397600 ~x568+2970190000 ~x522+1724710000 ~x477+688909000 ~x431+484338000 ~x386+486954000 ~x341+72911800 ~x295+467338000 ~x250+214807000 ~x204+550608000 ~x159+177919 ~x158+590900000 ~x112+391165000 ~x67+8933440 ~x22-0=68190787205
5.89/5.97	c 34359738368 ~x228383+17179869184 ~x228382+8589934592 ~x228381+4294967296 ~x228380+2147483648 ~x228379+1073741824 ~x228378+536870912 ~x228377+268435456 ~x228376+134217728 ~x228375+67108864 ~x228374+33554432 ~x228373+16777216 ~x228372+8388608 ~x228371+4194304 ~x228370+2097152 ~x228369+1048576 ~x228368+524288 ~x228367+262144 ~x228366+131072 ~x228365+65536 ~x228364+32768 ~x228363+16384 ~x228362+8192 ~x228361+4096 ~x228360+2048 ~x228359+1024 ~x228358+512 ~x228357+256 ~x228356+128 ~x228355+64 ~x228354+32 ~x228353+16 ~x228352+8 ~x228351+4 ~x228350+2 ~x228349+1 ~x228348+67802800 ~x2969+1470510000 ~x2924+986774000 ~x2878+124171000 ~x2833+627849000 ~x2788+370555000 ~x2742+134084000 ~x2707+815013000 ~x2697+346080000 ~x2650+540285000 ~x2605+325985000 ~x2560+59759200 ~x2514+24377300 ~x2469+17999200 ~x2423+656308000 ~x2378+357210000 ~x2333+381327000 ~x2287+226702000 ~x2252+224822000 ~x2242+156840000 ~x2208+95229100 ~x2163+1161470 ~x2118+13655900 ~x2072+19180400 ~x2027+954002000 ~x1991+14834700 ~x1981+37766200 ~x1935+27348000 ~x1889+35863300 ~x1844+26810200 ~x1799+62653100 ~x1753+424355000 ~x1708+183841000 ~x1662+1143310000 ~x1617+538082000 ~x1572+456112000 ~x1536+244114000 ~x1526+503141000 ~x1480+315193000 ~x1434+1207850000 ~x1389+808967000 ~x1344+2124940000 ~x1298+1102390000 ~x1253+301196000 ~x1207+102280000 ~x1162+48449300 ~x1117+98741100 ~x1080+783765000 ~x1070+357758000 ~x1024+147757000 ~x978+1439810000 ~x933+723844000 ~x887+56304200 ~x842+1768280000 ~x797+1106610000 ~x751+330394000 ~x706+127047000 ~x660+1247120000 ~x625+79783100 ~x615+51156000 ~x569+3217860000 ~x523+1879380000 ~x478+768848000 ~x432+540791000 ~x387+531456000 ~x342+76792500 ~x296+495214000 ~x251+229097000 ~x205+595539000 ~x170+182439 ~x160+650032000 ~x113+426284000 ~x68+9714580 ~x23-0=105166214824
6.98/7.07	c 17179869184 ~x276360+8589934592 ~x276359+4294967296 ~x276358+2147483648 ~x276357+1073741824 ~x276356+536870912 ~x276355+268435456 ~x276354+134217728 ~x276353+67108864 ~x276352+33554432 ~x276351+16777216 ~x276350+8388608 ~x276349+4194304 ~x276348+2097152 ~x276347+1048576 ~x276346+524288 ~x276345+262144 ~x276344+131072 ~x276343+65536 ~x276342+32768 ~x276341+16384 ~x276340+8192 ~x276339+4096 ~x276338+2048 ~x276337+1024 ~x276336+512 ~x276335+256 ~x276334+128 ~x276333+64 ~x276332+32 ~x276331+16 ~x276330+8 ~x276329+4 ~x276328+2 ~x276327+1 ~x276326+35823050 ~x2970+770335000 ~x2925+520635000 ~x2879+66408500 ~x2834+339778000 ~x2789+199680500 ~x2743+71312500 ~x2718+434338500 ~x2698+185109500 ~x2652+292357000 ~x2606+176644000 ~x2561+32739700 ~x2515+13224300 ~x2470+9458300 ~x2424+350301000 ~x2379+192843000 ~x2334+209245500 ~x2288+120094000 ~x2263+123167000 ~x2243+84043500 ~x2209+50985000 ~x2164+694330 ~x2119+7306600 ~x2073+10335450 ~x2028+509590000 ~x2003+8004100 ~x1982+21002850 ~x1937+15208950 ~x1890+19334000 ~x1845+14453450 ~x1800+33432550 ~x1754+224269500 ~x1709+97471500 ~x1663+617725000 ~x1618+290648500 ~x1573+242925000 ~x1547+132411000 ~x1527+265842500 ~x1482+167352500 ~x1435+636235000 ~x1390+426698500 ~x1345+1132290000 ~x1299+584555000 ~x1254+161463000 ~x1208+54566500 ~x1163+26024350 ~x1118+53327000 ~x1091+413565000 ~x1071+191296000 ~x1026+78862500 ~x979+764890000 ~x934+385856000 ~x888+30268550 ~x843+963955000 ~x798+589015000 ~x752+176164500 ~x707+68656500 ~x661+670705000 ~x636+44093800 ~x616+26957150 ~x571+1732765000 ~x524+1017025000 ~x479+424393500 ~x433+298622000 ~x388+287979500 ~x343+40336600 ~x297+261544500 ~x252+121693500 ~x206+320235000 ~x181+93479 ~x161+354582000 ~x116+230701500 ~x69+5247850 ~x24-0=53890932776
8.09/8.15	c 17179869184 ~x323899+8589934592 ~x323898+4294967296 ~x323897+2147483648 ~x323896+1073741824 ~x323895+536870912 ~x323894+268435456 ~x323893+134217728 ~x323892+67108864 ~x323891+33554432 ~x323890+16777216 ~x323889+8388608 ~x323888+4194304 ~x323887+2097152 ~x323886+1048576 ~x323885+524288 ~x323884+262144 ~x323883+131072 ~x323882+65536 ~x323881+32768 ~x323880+16384 ~x323879+8192 ~x323878+4096 ~x323877+2048 ~x323876+1024 ~x323875+512 ~x323874+256 ~x323873+128 ~x323872+64 ~x323871+32 ~x323870+16 ~x323869+8 ~x323868+4 ~x323867+2 ~x323866+1 ~x323865+37744650 ~x2971+805415000 ~x2926+547880000 ~x2880+70731000 ~x2835+365631000 ~x2790+214083500 ~x2744+75582500 ~x2729+461170500 ~x2699+197178500 ~x2653+314571000 ~x2608+190295500 ~x2562+35599750 ~x2516+14259950 ~x2471+9917000 ~x2425+372448000 ~x2380+207081500 ~x2335+227827500 ~x2289+126836500 ~x2274+133923000 ~x2244+89667000 ~x2210+54355000 ~x2165+807920 ~x2120+7785250 ~x2074+11080650 ~x2029+542180000 ~x2014+8590900 ~x1983+23122550 ~x1938+16743900 ~x1893+20736300 ~x1846+15501750 ~x1801+35538600 ~x1755+236362000 ~x1710+103022000 ~x1664+663790000 ~x1619+312255500 ~x1574+257794000 ~x1559+142764500 ~x1528+280114500 ~x1483+177109000 ~x1437+668545000 ~x1391+448913500 ~x1346+1202115000 ~x1300+617920000 ~x1255+172328500 ~x1209+57993000 ~x1164+27824050 ~x1119+57284000 ~x1102+435247500 ~x1072+203713500 ~x1027+83846500 ~x981+809870000 ~x935+409790000 ~x889+32384950 ~x844+1043770000 ~x799+624730000 ~x753+187132500 ~x708+73790000 ~x662+717850000 ~x647+48296050 ~x617+28336300 ~x572+1856600000 ~x526+1094355000 ~x480+464363500 ~x434+326849000 ~x389+310230500 ~x344+42277000 ~x298+275482000 ~x253+128838000 ~x207+342700500 ~x192+95739 ~x162+384148000 ~x117+248261000 ~x71+5638450 ~x25-0=55198755076
9.19/9.24	c 34359738368 ~x371556+17179869184 ~x371555+8589934592 ~x371554+4294967296 ~x371553+2147483648 ~x371552+1073741824 ~x371551+536870912 ~x371550+268435456 ~x371549+134217728 ~x371548+67108864 ~x371547+33554432 ~x371546+16777216 ~x371545+8388608 ~x371544+4194304 ~x371543+2097152 ~x371542+1048576 ~x371541+524288 ~x371540+262144 ~x371539+131072 ~x371538+65536 ~x371537+32768 ~x371536+16384 ~x371535+8192 ~x371534+4096 ~x371533+2048 ~x371532+1024 ~x371531+512 ~x371530+256 ~x371529+128 ~x371528+64 ~x371527+32 ~x371526+16 ~x371525+8 ~x371524+4 ~x371523+2 ~x371522+1 ~x371521+79332500 ~x2972+1681000000 ~x2927+1150260000 ~x2881+150107000 ~x2836+782969000 ~x2791+456973000 ~x2745+159706000 ~x2740+976004000 ~x2700+418495000 ~x2654+673570000 ~x2609+407894000 ~x2564+76919600 ~x2517+30591200 ~x2472+20751400 ~x2426+789190000 ~x2381+442639000 ~x2336+492819000 ~x2290+267159000 ~x2285+289357000 ~x2245+190581000 ~x2211+115451000 ~x2166+1843030 ~x2121+16527800 ~x2075+23651800 ~x2030+1149550000 ~x2025+18355400 ~x1984+50484600 ~x1939+36557800 ~x1894+44277200 ~x1848+33100200 ~x1802+75289200 ~x1756+496909000 ~x1711+217146000 ~x1665+1419720000 ~x1620+667726000 ~x1575+545326000 ~x1570+306237000 ~x1529+588773000 ~x1484+373730000 ~x1438+1401710000 ~x1393+942257000 ~x1347+2543880000 ~x1301+1302560000 ~x1256+366388000 ~x1210+122839000 ~x1165+59247500 ~x1120+122481000 ~x1115+913859000 ~x1073+432262000 ~x1028+177661000 ~x982+1709710000 ~x937+867448000 ~x890+69002700 ~x845+2247170000 ~x800+1320880000 ~x754+396201000 ~x709+157846000 ~x663+1529990000 ~x658+104997000 ~x618+59430900 ~x573+3960870000 ~x527+2343380000 ~x482+1008670000 ~x435+710151000 ~x390+664964000 ~x345+88434700 ~x299+578839000 ~x254+271966000 ~x208+730332000 ~x203+195997 ~x163+827427000 ~x118+531641000 ~x72+12058000 ~x27-0=113013198262
10.29/10.34	c 34359738368 ~x419657+17179869184 ~x419656+8589934592 ~x419655+4294967296 ~x419654+2147483648 ~x419653+1073741824 ~x419652+536870912 ~x419651+268435456 ~x419650+134217728 ~x419649+67108864 ~x419648+33554432 ~x419647+16777216 ~x419646+8388608 ~x419645+4194304 ~x419644+2097152 ~x419643+1048576 ~x419642+524288 ~x419641+262144 ~x419640+131072 ~x419639+65536 ~x419638+32768 ~x419637+16384 ~x419636+8192 ~x419635+4096 ~x419634+2048 ~x419633+1024 ~x419632+512 ~x419631+256 ~x419630+128 ~x419629+64 ~x419628+32 ~x419627+16 ~x419626+8 ~x419625+4 ~x419624+2 ~x419623+1 ~x419622+83175700 ~x2974+1751160000 ~x2928+1204750000 ~x2882+158753000 ~x2837+834676000 ~x2792+168246000 ~x2751+485779000 ~x2746+1029670000 ~x2701+442634000 ~x2655+717999000 ~x2610+435197000 ~x2565+82639800 ~x2519+32662500 ~x2473+21668900 ~x2427+833484000 ~x2382+471115000 ~x2337+280644000 ~x2296+529984000 ~x2291+310869000 ~x2246+201828000 ~x2212+122192000 ~x2167+2070220 ~x2122+17485200 ~x2076+1214730000 ~x2036+25142200 ~x2031+19529000 ~x1985+54724000 ~x1940+39627700 ~x1895+47081800 ~x1849+35196900 ~x1804+79501300 ~x1757+521094000 ~x1712+228248000 ~x1666+1511850000 ~x1621+575064000 ~x1581+710941000 ~x1576+326944000 ~x1530+617317000 ~x1485+393242000 ~x1439+1466330000 ~x1394+986687000 ~x1349+2683520000 ~x1302+1369290000 ~x1257+388119000 ~x1211+129692000 ~x1166+130394000 ~x1126+62846800 ~x1121+957224000 ~x1074+457096000 ~x1029+187628000 ~x983+1799680000 ~x938+915316000 ~x893+73235500 ~x846+2406810000 ~x801+1392310000 ~x755+418136000 ~x710+1624270000 ~x670+168113000 ~x664+113401000 ~x619+62189200 ~x574+4208540000 ~x528+2498050000 ~x483+1088610000 ~x437+766604000 ~x391+709466000 ~x346+92315400 ~x300+606715000 ~x255+775263000 ~x214+286256000 ~x209+200517 ~x164+886559000 ~x119+566759000 ~x73+12839200 ~x28-0=115628856572
11.39/11.48	c 16777216 ~x469305+8388608 ~x469304+4194304 ~x469303+2097152 ~x469302+1048576 ~x469301+524288 ~x469300+262144 ~x469299+131072 ~x469298+65536 ~x469297+32768 ~x469296+16384 ~x469295+8192 ~x469294+4096 ~x469293+2048 ~x469292+1024 ~x469291+512 ~x469290+256 ~x469289+128 ~x469288+64 ~x469287+32 ~x469286+16 ~x469285+8 ~x469284+4 ~x469283+2 ~x469282+1 ~x469281+1194700 ~x2976+856027 ~x2931+135542 ~x2886+1000290 ~x2839+2799530 x2794+376154 x2774+824541 ~x2748+815753 x2703+427181 x2657+2140250 x2612+102671 x2567+2325070 x2521+832711 x2476+2183140 ~x2430+1267760 x2384+129999 x2339+1056340 ~x2318+687622 x2293+109665 x2248+240347 x2215+55326 x2170+372024 x2124+32801 ~x2078+823453 x2058+177932 x2033+229651 x1987+2007180 x1942+1453480 x1897+3974510 x1851+2971540 x1806+592145 ~x1760+8203450 ~x1715+2116690 ~x1668+132675 ~x1623+802617 x1603+1537060 ~x1578+6607340 x1532+2546780 x1487+1686100 x1441+2172460 x1396+1667680 x1351+806638 x1305+209294 x1260+2440630 x1213+491185 ~x1168+1253670 x1148+638323 x1123+912715 ~x1076+560595 ~x1031+938002 ~x985+237772 x940+297349 ~x895+2133310 ~x849+24367300 x804+165383 ~x757+27260 ~x712+4145150 x692+191042 x666+405285 x621+4075 x576+1270590 x530+155316 x485+4602280 x439+493570 x394+26142000 x349+112824 ~x302+3198300 ~x257+1627100 x237+1462840 ~x211+101270 ~x166+2576200 x121+740380 ~x75+147001 x30-0=64561245
12.09/12.11	c 67108864 ~x497129+33554432 ~x497128+16777216 ~x497127+8388608 ~x497126+4194304 ~x497125+2097152 ~x497124+1048576 ~x497123+524288 ~x497122+262144 ~x497121+131072 ~x497120+65536 ~x497119+32768 ~x497118+16384 ~x497117+8192 ~x497116+4096 ~x497115+2048 ~x497114+1024 ~x497113+512 ~x497112+256 ~x497111+128 ~x497110+64 ~x497109+32 ~x497108+16 ~x497107+8 ~x497106+4 ~x497105+2 ~x497104+1 ~x497103+1194700 x2977+856027 x2932+135542 x2887+1000290 x2841+2799530 ~x2795+376154 ~x2785+824541 x2749+815753 ~x2704+427181 ~x2658+2140250 ~x2613+102671 ~x2568+2325070 ~x2522+832711 ~x2477+2183140 x2431+1267760 ~x2386+129999 ~x2340+1056340 x2330+687622 ~x2294+109665 ~x2249+240347 ~x2216+55326 ~x2171+372024 ~x2126+32801 x2079+823453 ~x2069+177932 ~x2034+229651 ~x1988+2007180 ~x1943+1453480 ~x1898+3974510 ~x1852+2971540 ~x1807+592145 x1761+8203450 x1716+2116690 x1671+132675 x1624+802617 ~x1614+1537060 x1579+6607340 ~x1533+2546780 ~x1488+1686100 ~x1442+2172460 ~x1397+1667680 ~x1352+806638 ~x1306+209294 ~x1261+2440630 ~x1215+491185 x1169+1253670 ~x1159+638323 ~x1124+912715 x1077+560595 x1032+938002 x986+237772 ~x941+297349 x896+2133310 x850+24367300 ~x805+165383 x759+27260 x713+4145150 ~x703+191042 ~x667+405285 ~x622+4075 ~x577+1270590 ~x531+155316 ~x486+4602280 ~x440+493570 ~x395+26142000 ~x350+112824 x304+3198300 x258+1627100 ~x248+1462840 x212+101270 x167+2576200 ~x122+740380 x76+147001 ~x31-0=245733749
15.39/15.42	c 2147483648 ~x636880+1073741824 ~x636879+536870912 ~x636878+268435456 ~x636877+134217728 ~x636876+67108864 ~x636875+33554432 ~x636874+16777216 ~x636873+8388608 ~x636872+4194304 ~x636871+2097152 ~x636870+1048576 ~x636869+524288 ~x636868+262144 ~x636867+131072 ~x636866+65536 ~x636865+32768 ~x636864+16384 ~x636863+8192 ~x636862+4096 ~x636861+2048 ~x636860+1024 ~x636859+512 ~x636858+256 ~x636857+128 ~x636856+64 ~x636855+32 ~x636854+16 ~x636853+8 ~x636852+4 ~x636851+2 ~x636850+1 ~x636849+752777 x2979+16303600 ~x2934+530314000 ~x2889+256541000 ~x2843+6538010 x2807+8323840 ~x2798+65022100 x2752+15444700 x2706+95920200 ~x2660+22625600 ~x2615+55054700 x2570+39873600 x2524+16890600 x2479+3378090 x2433+5705760 ~x2388+19643200 ~x2352+62767200 ~x2343+24373100 x2297+116672000 x2251+6127950 ~x2173+4904080 ~x2128+63434200 x2091+1882850 x2082+827814 ~x2037+791510 x1990+891504 x1945+19042300 x1900+13789200 x1854+1718620 x1809+1285090 x1763+6211700 ~x1718+100278000 ~x1673+80575100 ~x1636+35077900 ~x1627+91317300 x1582+40996400 x1535+33368400 x1490+120654000 ~x1444+53728500 ~x1399+341940000 ~x1354+213604000 ~x1308+253675000 ~x1263+208282000 ~x1217+57623700 ~x1181+10001800 ~x1172+10451500 ~x1127+217534 ~x1079+202677000 ~x1034+24974600 ~x988+14188700 ~x943+234245000 ~x898+82414600 ~x852+415687 x807+370795000 x761+7296900 x725+149503000 ~x716+36457500 ~x671+10525200 x624+32837200 x579+14194600 ~x533+100898000 x488+193157000 x442+302338000 x397+215682000 x352+64877900 x306+16334000 x270+24790700 ~x261+121685000 ~x215+37610900 ~x169+121878 ~x124+142333000 x78+44310000 x33+45998500 ~x2-0=7806154251
16.28/16.32	c 2147483648 ~x676060+1073741824 ~x676059+536870912 ~x676058+268435456 ~x676057+134217728 ~x676056+67108864 ~x676055+33554432 ~x676054+16777216 ~x676053+8388608 ~x676052+4194304 ~x676051+2097152 ~x676050+1048576 ~x676049+524288 ~x676048+262144 ~x676047+131072 ~x676046+65536 ~x676045+32768 ~x676044+16384 ~x676043+8192 ~x676042+4096 ~x676041+2048 ~x676040+1024 ~x676039+512 ~x676038+256 ~x676037+128 ~x676036+64 ~x676035+32 ~x676034+16 ~x676033+8 ~x676032+4 ~x676031+2 ~x676030+1 ~x676029+596548 x2980+17072300 ~x2935+544347000 ~x2890+267440000 ~x2844+2448210 ~x2818+10052900 ~x2799+54680700 x2753+9683510 x2708+106653000 ~x2661+27453200 ~x2616+46169100 x2571+34413000 x2525+15746500 x2480+2963830 x2434+5889240 ~x2389+21351300 ~x2363+71626000 ~x2344+18677800 x2298+109240000 x2253+8377380 ~x2174+6252210 ~x2129+59131800 x2102+1837410 x2083+1019280 ~x2038+493421 x1992+656785 x1946+18194400 x1901+13175300 x1855+1157700 x1810+865756 x1764+7054110 ~x1719+105115000 ~x1674+93611400 ~x1647+37298300 ~x1628+72890100 x1583+32353400 x1537+29226800 x1491+126363000 ~x1445+57631000 ~x1400+354864000 ~x1355+222490000 ~x1309+281604000 ~x1264+221627000 ~x1218+63571300 ~x1192+14348000 ~x1173+11822100 ~x1128+48695500 ~x1113+937412 ~x1081+211350000 ~x1035+29941500 ~x989+16182300 ~x944+252238000 ~x899+91988200 ~x853+430879 ~x808+338869000 x762+5714240 x736+163789000 ~x717+40844600 ~x672+8471890 x626+31156300 x580+14746300 ~x534+51364500 x489+162224000 x443+286351000 x398+204392000 x353+55977400 x307+2523520 ~x281+25566900 ~x262+127260000 ~x216+40468900 ~x171+122782 ~x125+130507000 x79+37286200 x34-0=8049434318
17.18/17.21	c 2147483648 ~x715219+1073741824 ~x715218+536870912 ~x715217+268435456 ~x715216+134217728 ~x715215+67108864 ~x715214+33554432 ~x715213+16777216 ~x715212+8388608 ~x715211+4194304 ~x715210+2097152 ~x715209+1048576 ~x715208+524288 ~x715207+262144 ~x715206+131072 ~x715205+65536 ~x715204+32768 ~x715203+16384 ~x715202+8192 ~x715201+4096 ~x715200+2048 ~x715199+1024 ~x715198+512 ~x715197+256 ~x715196+128 ~x715195+64 ~x715194+32 ~x715193+16 ~x715192+8 ~x715191+4 ~x715190+2 ~x715189+1 ~x715188+440318 x2981+17840900 ~x2936+558380000 ~x2891+278339000 ~x2845+11434400 ~x2829+11782000 ~x2800+44339400 x2754+3922320 x2709+117386000 ~x2664+32280900 ~x2617+37283400 x2572+28952500 x2526+14602500 x2481+2549570 x2435+6072730 ~x2390+23059400 ~x2374+80484800 ~x2345+12982500 x2299+101807000 x2254+51392600 ~x2218+10626800 ~x2175+7600340 ~x2130+54829500 x2114+1791970 x2084+1210740 ~x2039+195332 x1993+422067 x1948+17346500 x1902+12561300 x1856+596770 x1811+446424 x1765+7896520 ~x1720+109952000 ~x1675+106648000 ~x1658+39518600 ~x1629+54462800 x1584+23710500 x1538+25085300 x1493+132072000 ~x1446+61533500 ~x1401+367788000 ~x1356+231376000 ~x1310+309533000 ~x1265+234972000 ~x1219+69518900 ~x1203+18694200 ~x1174+13192700 ~x1129+1657290 ~x1082+220023000 ~x1037+34908400 ~x990+18175800 ~x945+270232000 ~x900+101562000 ~x854+1277440 ~x809+306942000 x763+4131580 x747+178074000 ~x718+45231700 ~x673+6418580 x627+29475400 x582+15297900 ~x535+1830730 x490+131290000 x444+270363000 x399+193101000 x354+47076900 x308+21381100 ~x292+26343000 ~x263+132835000 ~x217+43326800 ~x172+123686 ~x127+118680000 x80+30262400 x35-0=8316002441
17.98/18.10	c 4294967296 ~x754085+2147483648 ~x754084+1073741824 ~x754083+536870912 ~x754082+268435456 ~x754081+134217728 ~x754080+67108864 ~x754079+33554432 ~x754078+16777216 ~x754077+8388608 ~x754076+4194304 ~x754075+2097152 ~x754074+1048576 ~x754073+524288 ~x754072+262144 ~x754071+131072 ~x754070+65536 ~x754069+32768 ~x754068+16384 ~x754067+8192 ~x754066+4096 ~x754065+2048 ~x754064+1024 ~x754063+512 ~x754062+256 ~x754061+128 ~x754060+64 ~x754059+32 ~x754058+16 ~x754057+8 ~x754056+4 ~x754055+2 ~x754054+1 ~x754053+284089 x2982+18609600 ~x2937+572413000 ~x2892+289238000 ~x2846+20420600 ~x2840+13511000 ~x2801+33998000 x2755+1838880 ~x2710+128118000 ~x2665+37108600 ~x2619+28397700 x2573+23491900 x2527+13458500 x2482+2135310 x2436+6256210 ~x2391+24767500 ~x2385+89343600 ~x2346+54089700 ~x2329+7287250 x2300+94373900 x2255+12876200 ~x2176+8948480 ~x2131+50527200 x2125+1746540 x2085+1402200 ~x2040+102757 ~x1994+187348 x1949+16498600 x1904+11947300 x1857+35846 x1812+27091 x1766+8738930 ~x1721+114789000 ~x1676+119684000 ~x1670+41739000 ~x1630+36035500 x1585+15067500 x1539+20943800 x1494+137781000 ~x1449+65435900 ~x1402+380712000 ~x1357+240262000 ~x1311+337462000 ~x1266+248317000 ~x1220+75466500 ~x1214+23040300 ~x1175+14563300 ~x1130+2377170 ~x1083+228696000 ~x1038+39875400 ~x992+20169400 ~x946+288225000 ~x901+111135000 ~x855+2124010 ~x810+275016000 x764+2548930 x758+192359000 ~x719+49618800 ~x674+4365270 x628+27794500 x583+15849600 ~x537+47703000 ~x491+100357000 x445+254375000 x400+181810000 x355+38176400 x309+40238600 ~x303+27119100 ~x264+138410000 ~x218+46184800 ~x173+124590 ~x128+106854000 x82+23238600 x36-0=12927179318
18.89/18.99	c 4294967296 ~x793269+2147483648 ~x793268+1073741824 ~x793267+536870912 ~x793266+268435456 ~x793265+134217728 ~x793264+67108864 ~x793263+33554432 ~x793262+16777216 ~x793261+8388608 ~x793260+4194304 ~x793259+2097152 ~x793258+1048576 ~x793257+524288 ~x793256+262144 ~x793255+131072 ~x793254+65536 ~x793253+32768 ~x793252+16384 ~x793251+8192 ~x793250+4096 ~x793249+2048 ~x793248+1024 ~x793247+512 ~x793246+256 ~x793245+128 ~x793244+64 ~x793243+32 ~x793242+16 ~x793241+8 ~x793240+4 ~x793239+2 ~x793238+1 ~x793237+127860 x2983+19378200 ~x2938+586445000 ~x2893+29406900 ~x2851+300137000 ~x2847+15240100 ~x2802+23656600 x2756+7600070 ~x2711+138851000 ~x2666+41936300 ~x2620+19512100 x2575+18031300 x2528+12314400 x2483+56786800 ~x2440+1721050 x2437+26475600 ~x2396+6439700 ~x2392+98202500 ~x2347+1591980 x2301+86941100 x2256+15125700 ~x2177+46224800 x2136+10296600 ~x2132+1701100 x2086+1593670 ~x2041+400845 ~x1995+47371 ~x1950+15650700 x1905+11333300 x1859+525079 ~x1813+392242 ~x1767+9581340 ~x1722+132720000 ~x1681+119626000 ~x1677+43959300 ~x1631+17608300 x1586+6424580 x1540+16802300 x1495+143489000 ~x1450+69338400 ~x1404+393636000 ~x1358+249148000 ~x1312+365392000 ~x1267+81414000 ~x1226+261662000 ~x1221+27386500 ~x1176+15933800 ~x1131+3097040 ~x1084+237369000 ~x1039+44842300 ~x993+22162900 ~x948+306219000 ~x902+120709000 ~x856+2970580 ~x811+966269 x769+243089000 x765+206644000 ~x720+54005900 ~x675+2311960 x629+26113600 x584+16401200 ~x538+97236800 ~x493+69423400 x446+238387000 x401+170520000 x356+59096200 ~x314+29275900 x310+27895300 ~x265+143985000 ~x219+49042800 ~x174+125494 ~x129+95027600 x83+16214800 x38-0=13250304122
19.88/19.90	c 4294967296 ~x832669+2147483648 ~x832668+1073741824 ~x832667+536870912 ~x832666+268435456 ~x832665+134217728 ~x832664+67108864 ~x832663+33554432 ~x832662+16777216 ~x832661+8388608 ~x832660+4194304 ~x832659+2097152 ~x832658+1048576 ~x832657+524288 ~x832656+262144 ~x832655+131072 ~x832654+65536 ~x832653+32768 ~x832652+16384 ~x832651+8192 ~x832650+4096 ~x832649+2048 ~x832648+1024 ~x832647+512 ~x832646+256 ~x832645+128 ~x832644+64 ~x832643+32 ~x832642+16 ~x832641+8 ~x832640+4 ~x832639+2 ~x832638+1 ~x832637+28369 ~x2985+20146900 ~x2939+600478000 ~x2894+38393100 ~x2862+311036000 ~x2848+16969200 ~x2803+13315300 x2757+13361300 ~x2712+149584000 ~x2667+46764000 ~x2621+10626400 x2576+59483800 ~x2551+12570700 x2530+11170400 x2484+1306790 x2438+28183600 ~x2407+6623180 ~x2393+107061000 ~x2348+4103290 ~x2302+79508200 x2257+17375100 ~x2178+41922500 x2147+11644700 ~x2133+1655660 x2087+1785130 ~x2042+698934 ~x1996+282089 ~x1951+14802800 x1906+10719300 x1860+1086000 ~x1815+811575 ~x1768+10423700 ~x1723+145756000 ~x1692+124463000 ~x1678+46179600 ~x1632+818964 ~x1587+2218380 ~x1541+12660700 x1496+149198000 ~x1451+73240800 ~x1405+406560000 ~x1360+258034000 ~x1313+393321000 ~x1268+87361600 ~x1237+275007000 ~x1222+31732700 ~x1177+17304400 ~x1132+3816920 ~x1085+246042000 ~x1040+49809200 ~x994+24156500 ~x949+324212000 ~x904+130283000 ~x857+3817140 ~x812+616388 ~x781+211163000 x766+220929000 ~x721+58393000 ~x676+258646 x630+24432700 x585+16952900 ~x539+146770000 ~x494+38490000 x449+222399000 x402+159229000 x357+77953700 ~x325+20375400 x311+28671400 ~x266+149561000 ~x220+51900800 ~x175+126398 ~x130+83201300 x84+9191060 x39-0=13581464348
20.68/20.80	c 4294967296 ~x872270+2147483648 ~x872269+1073741824 ~x872268+536870912 ~x872267+268435456 ~x872266+134217728 ~x872265+67108864 ~x872264+33554432 ~x872263+16777216 ~x872262+8388608 ~x872261+4194304 ~x872260+2097152 ~x872259+1048576 ~x872258+524288 ~x872257+262144 ~x872256+131072 ~x872255+65536 ~x872254+32768 ~x872253+16384 ~x872252+8192 ~x872251+4096 ~x872250+2048 ~x872249+1024 ~x872248+512 ~x872247+256 ~x872246+128 ~x872245+64 ~x872244+32 ~x872243+16 ~x872242+8 ~x872241+4 ~x872240+2 ~x872239+1 ~x872238+184599 ~x2986+20915500 ~x2941+614511000 ~x2895+47379300 ~x2873+321935000 ~x2849+18698200 ~x2804+2973940 x2758+19122500 ~x2713+160317000 ~x2668+62180900 ~x2662+51591700 ~x2622+1740710 x2577+7110140 x2531+10026400 x2486+892534 x2439+29891700 ~x2418+6806660 ~x2394+115920000 ~x2349+9798560 ~x2303+72075400 x2258+19624500 ~x2179+37620200 x2158+12992900 ~x2134+1610220 x2088+1976600 ~x2043+997023 ~x1997+516808 ~x1952+13955000 x1907+10105300 x1861+1646930 ~x1816+1230910 ~x1770+11266200 ~x1724+158792000 ~x1703+129300000 ~x1679+48400000 ~x1633+19246200 ~x1588+10861300 ~x1542+8519200 x1497+154907000 ~x1452+77143300 ~x1406+419484000 ~x1361+266920000 ~x1315+421250000 ~x1269+93309200 ~x1248+288351000 ~x1223+36078900 ~x1178+18675000 ~x1133+4536800 ~x1086+254715000 ~x1041+54776100 ~x995+26150100 ~x950+342206000 ~x905+139856000 ~x859+4663710 ~x813+2199040 ~x792+179236000 x767+235214000 ~x722+62780100 ~x677+1794670 ~x631+22751800 x586+17504600 ~x540+196304000 ~x495+7556660 x450+206411000 x404+147938000 x358+96811300 ~x337+11474900 x312+29447600 ~x267+155136000 ~x221+54758800 ~x176+127301 ~x131+71374900 x85+2167270 x40-0=13941138102
21.68/21.73	c 4294967296 ~x913252+2147483648 ~x913251+1073741824 ~x913250+536870912 ~x913249+268435456 ~x913248+134217728 ~x913247+67108864 ~x913246+33554432 ~x913245+16777216 ~x913244+8388608 ~x913243+4194304 ~x913242+2097152 ~x913241+1048576 ~x913240+524288 ~x913239+262144 ~x913238+131072 ~x913237+65536 ~x913236+32768 ~x913235+16384 ~x913234+8192 ~x913233+4096 ~x913232+2048 ~x913231+1024 ~x913230+512 ~x913229+256 ~x913228+128 ~x913227+64 ~x913226+32 ~x913225+16 ~x913224+8 ~x913223+4 ~x913222+2 ~x913221+1 ~x913220+340828 ~x2987+21684100 ~x2942+628543000 ~x2897+56365500 ~x2885+332834000 ~x2850+20427300 ~x2805+64878000 ~x2773+7367420 ~x2759+24883600 ~x2714+171049000 ~x2669+56419300 ~x2623+7144960 ~x2578+1649560 x2532+8882370 x2487+478274 x2442+31599800 ~x2429+6990150 ~x2395+124779000 ~x2350+15493800 ~x2304+64642600 x2259+21874000 ~x2181+33317800 x2169+14341000 ~x2135+1564790 x2089+2168060 ~x2044+1295110 ~x1998+751527 ~x1953+13107100 x1908+9491320 x1862+2207850 ~x1817+1650240 ~x1771+12108600 ~x1726+171829000 ~x1714+134136000 ~x1680+50620300 ~x1634+37673500 ~x1589+19504300 ~x1543+4377670 x1498+160616000 ~x1453+81045700 ~x1407+432408000 ~x1362+275806000 ~x1316+449180000 ~x1271+99256800 ~x1259+301696000 ~x1224+40425000 ~x1179+20045600 ~x1134+5256680 ~x1087+263388000 ~x1042+59743000 ~x996+28143600 ~x951+360199000 ~x906+149430000 ~x860+5510270 ~x815+3781700 ~x803+147310000 x768+249499000 ~x723+67167200 ~x678+3847980 ~x632+21070900 x587+18056200 ~x541+245838000 ~x496+23376700 ~x451+190423000 x405+136648000 x360+115669000 ~x348+2574370 x313+30223700 ~x268+160711000 ~x222+57616800 ~x177+128205 ~x132+59548600 x86+4856510 ~x41-0=14343815481
22.59/22.62	c 4294967296 ~x952220+2147483648 ~x952219+1073741824 ~x952218+536870912 ~x952217+268435456 ~x952216+134217728 ~x952215+67108864 ~x952214+33554432 ~x952213+16777216 ~x952212+8388608 ~x952211+4194304 ~x952210+2097152 ~x952209+1048576 ~x952208+524288 ~x952207+262144 ~x952206+131072 ~x952205+65536 ~x952204+32768 ~x952203+16384 ~x952202+8192 ~x952201+4096 ~x952200+2048 ~x952199+1024 ~x952198+512 ~x952197+256 ~x952196+128 ~x952195+64 ~x952194+32 ~x952193+16 ~x952192+8 ~x952191+4 ~x952190+2 ~x952189+1 ~x952188+497057 ~x2988+22452800 ~x2943+642576000 ~x2898+65351700 ~x2896+67575100 ~x2884+343733000 ~x2852+22156400 ~x2806+17708800 ~x2760+30644800 ~x2715+181782000 ~x2670+61247000 ~x2624+16030600 ~x2579+3811020 ~x2533+7738340 x2488+64015 x2443+33307900 ~x2441+7173630 ~x2397+133638000 ~x2351+21189100 ~x2305+57209700 x2260+24123400 ~x2182+29015500 x2180+15689200 ~x2137+1519350 x2090+2359520 ~x2045+1593200 ~x1999+986246 ~x1954+12259200 x1909+8877340 x1863+2768780 ~x1818+2069570 ~x1772+12951000 ~x1727+184865000 ~x1725+138973000 ~x1682+52840700 ~x1635+56100700 ~x1590+28147300 ~x1544+236146 x1499+166325000 ~x1454+84948200 ~x1408+445332000 ~x1363+284692000 ~x1317+477109000 ~x1272+105204000 ~x1270+315041000 ~x1227+44771200 ~x1180+21416200 ~x1135+5976550 ~x1088+272061000 ~x1043+64709900 ~x997+30137200 ~x952+378193000 ~x907+159003000 ~x861+6356840 ~x816+5364360 ~x814+115384000 x770+263784000 ~x724+71554300 ~x679+5901290 ~x633+19390000 x588+18607900 ~x542+295372000 ~x497+54310100 ~x452+174436000 x406+125357000 x361+134526000 ~x359+6326140 ~x315+30999900 ~x269+166286000 ~x223+60474800 ~x178+129109 ~x133+47722200 x87+11880300 ~x42-0=14771069403
23.49/23.51	c 4294967296 ~x991509+2147483648 ~x991508+1073741824 ~x991507+536870912 ~x991506+268435456 ~x991505+134217728 ~x991504+67108864 ~x991503+33554432 ~x991502+16777216 ~x991501+8388608 ~x991500+4194304 ~x991499+2097152 ~x991498+1048576 ~x991497+524288 ~x991496+262144 ~x991495+131072 ~x991494+65536 ~x991493+32768 ~x991492+16384 ~x991491+8192 ~x991490+4096 ~x991489+2048 ~x991488+1024 ~x991487+512 ~x991486+256 ~x991485+128 ~x991484+64 ~x991483+32 ~x991482+16 ~x991481+8 ~x991480+4 ~x991479+2 ~x991478+1 ~x991477+653286 ~x2989+23221400 ~x2944+74338000 ~x2907+656609000 ~x2899+354632000 ~x2853+23885400 ~x2808+28050100 ~x2761+36406000 ~x2716+192515000 ~x2671+66074700 ~x2625+24916300 ~x2580+9271600 ~x2534+6594320 x2489+35015900 ~x2452+350245 ~x2444+7357120 ~x2398+142497000 ~x2353+26884400 ~x2306+49776900 x2261+24713200 x2191+26372800 ~x2183+17037300 ~x2138+1473910 x2092+2550990 ~x2046+1891290 ~x2000+1220960 ~x1955+11411300 x1910+8263350 x1864+3329700 ~x1819+2488910 ~x1773+197901000 ~x1736+13793400 ~x1728+143810000 ~x1683+55061000 ~x1637+74528000 ~x1591+36790200 ~x1545+3905380 ~x1500+172033000 ~x1455+88850600 ~x1409+458256000 ~x1364+293578000 ~x1318+111152000 ~x1281+505038000 ~x1273+328386000 ~x1228+49117400 ~x1182+22786700 ~x1136+6696430 ~x1089+280733000 ~x1044+69676900 ~x998+32130700 ~x953+396186000 ~x908+168577000 ~x862+6947020 ~x825+7203400 ~x817+83457000 x771+278070000 ~x726+75941400 ~x680+7954600 ~x634+17709100 x589+19159500 ~x543+344905000 ~x498+85243500 ~x453+158448000 x407+153384000 ~x370+114066000 x362+15226600 ~x316+31776000 ~x271+171861000 ~x224+63332800 ~x179+130013 ~x134+35895900 x88+18904100 ~x43+70272100 ~x3-0=15206801735
24.38/24.42	c 4294967296 ~x1030606+2147483648 ~x1030605+1073741824 ~x1030604+536870912 ~x1030603+268435456 ~x1030602+134217728 ~x1030601+67108864 ~x1030600+33554432 ~x1030599+16777216 ~x1030598+8388608 ~x1030597+4194304 ~x1030596+2097152 ~x1030595+1048576 ~x1030594+524288 ~x1030593+262144 ~x1030592+131072 ~x1030591+65536 ~x1030590+32768 ~x1030589+16384 ~x1030588+8192 ~x1030587+4096 ~x1030586+2048 ~x1030585+1024 ~x1030584+512 ~x1030583+256 ~x1030582+128 ~x1030581+64 ~x1030580+32 ~x1030579+16 ~x1030578+8 ~x1030577+4 ~x1030576+2 ~x1030575+1 ~x1030574+809516 ~x2990+23990100 ~x2945+83324200 ~x2918+670642000 ~x2900+365531000 ~x2854+25614500 ~x2809+38391500 ~x2763+42167200 ~x2717+203248000 ~x2672+70902400 ~x2626+33802000 ~x2581+14732200 ~x2535+5450290 x2490+36724000 ~x2463+764505 ~x2445+7540600 ~x2399+151355000 ~x2354+32579600 ~x2308+42344100 x2262+20410800 x2202+28622300 ~x2184+18385400 ~x2139+1428470 x2093+2742450 ~x2048+2189380 ~x2001+1455680 ~x1956+10563400 x1911+7649360 x1865+3890630 ~x1820+2908240 ~x1774+210937000 ~x1747+14635800 ~x1729+148647000 ~x1684+57281400 ~x1638+92955200 ~x1593+45433200 ~x1546+8046910 ~x1501+177742000 ~x1456+92753100 ~x1410+471180000 ~x1365+302464000 ~x1319+117100000 ~x1292+532967000 ~x1274+341731000 ~x1229+53463600 ~x1183+24157300 ~x1138+7416310 ~x1090+289406000 ~x1045+74643800 ~x999+34124300 ~x954+414180000 ~x909+178150000 ~x863+8529670 ~x836+8049970 ~x818+51530600 x772+292355000 ~x727+80328600 ~x682+10007900 ~x635+16028200 x590+19711200 ~x544+394439000 ~x499+116177000 ~x454+142460000 x408+172241000 ~x381+102776000 x363+24127200 ~x317+32552200 ~x272+177436000 ~x227+66190800 ~x180+130917 ~x135+72969200 ~x114+24069600 x89+25927900 ~x44-0=15642835469
25.28/25.31	c 4294967296 ~x1069718+2147483648 ~x1069717+1073741824 ~x1069716+536870912 ~x1069715+268435456 ~x1069714+134217728 ~x1069713+67108864 ~x1069712+33554432 ~x1069711+16777216 ~x1069710+8388608 ~x1069709+4194304 ~x1069708+2097152 ~x1069707+1048576 ~x1069706+524288 ~x1069705+262144 ~x1069704+131072 ~x1069703+65536 ~x1069702+32768 ~x1069701+16384 ~x1069700+8192 ~x1069699+4096 ~x1069698+2048 ~x1069697+1024 ~x1069696+512 ~x1069695+256 ~x1069694+128 ~x1069693+64 ~x1069692+32 ~x1069691+16 ~x1069690+8 ~x1069689+4 ~x1069688+2 ~x1069687+1 ~x1069686+965745 ~x2991+24758700 ~x2946+92310400 ~x2929+684674000 ~x2901+376430000 ~x2855+27343600 ~x2810+48732800 ~x2764+47928400 ~x2719+213980000 ~x2673+75730100 ~x2627+42687600 ~x2582+20192800 ~x2536+4306260 x2491+38432100 ~x2474+1178760 ~x2446+7724080 ~x2400+160214000 ~x2355+38274900 ~x2309+34911300 x2264+16108500 x2213+30871700 ~x2185+19733600 ~x2140+1383040 x2094+2933920 ~x2049+2487470 ~x2004+1690400 ~x1957+9715510 x1912+7035370 x1866+4451550 ~x1821+3327570 ~x1775+223974000 ~x1758+15478200 ~x1730+153484000 ~x1685+59501700 ~x1639+111383000 ~x1594+54076100 ~x1548+12188400 ~x1502+183451000 ~x1457+96655500 ~x1411+484104000 ~x1366+311350000 ~x1320+123047000 ~x1303+560897000 ~x1275+355076000 ~x1230+57809700 ~x1184+25527900 ~x1139+8136180 ~x1092+298079000 ~x1046+79610700 ~x1000+36117900 ~x955+432173000 ~x910+187724000 ~x864+10112300 ~x847+8896540 ~x819+19604100 x773+306640000 ~x728+84715700 ~x683+12061200 ~x637+14347300 x591+20262900 ~x545+443973000 ~x500+147110000 ~x455+126472000 x409+191099000 ~x392+91485100 x364+33027700 ~x318+33328300 ~x273+183011000 ~x228+75666300 ~x225+69048800 ~x182+131821 ~x136+12243200 x90+32951700 ~x45-0=16078869327
26.18/26.20	c 4294967296 ~x1108839+2147483648 ~x1108838+1073741824 ~x1108837+536870912 ~x1108836+268435456 ~x1108835+134217728 ~x1108834+67108864 ~x1108833+33554432 ~x1108832+16777216 ~x1108831+8388608 ~x1108830+4194304 ~x1108829+2097152 ~x1108828+1048576 ~x1108827+524288 ~x1108826+262144 ~x1108825+131072 ~x1108824+65536 ~x1108823+32768 ~x1108822+16384 ~x1108821+8192 ~x1108820+4096 ~x1108819+2048 ~x1108818+1024 ~x1108817+512 ~x1108816+256 ~x1108815+128 ~x1108814+64 ~x1108813+32 ~x1108812+16 ~x1108811+8 ~x1108810+4 ~x1108809+2 ~x1108808+1 ~x1108807+1121970 ~x2992+25527400 ~x2947+101297000 ~x2940+698707000 ~x2902+387329000 ~x2856+29072600 ~x2811+59074200 ~x2765+53689600 ~x2720+224713000 ~x2675+80557700 ~x2628+51573300 ~x2583+25653300 ~x2537+3162240 x2492+40140200 ~x2485+1593020 ~x2447+7907570 ~x2401+169073000 ~x2356+43970200 ~x2310+27478400 x2265+11806200 x2220+33121100 ~x2186+21081700 ~x2141+1337600 x2095+3125380 ~x2050+2785560 ~x2005+1925120 ~x1959+8867620 x1913+6421380 x1867+5012480 ~x1822+3746910 ~x1776+237010000 ~x1769+16320600 ~x1731+158321000 ~x1686+61722000 ~x1640+129810000 ~x1595+62719100 ~x1549+16330000 ~x1504+189160000 ~x1458+100558000 ~x1412+497028000 ~x1367+320236000 ~x1321+128995000 ~x1314+588826000 ~x1276+368421000 ~x1231+62155900 ~x1185+26898500 ~x1140+8856060 ~x1093+306752000 ~x1048+84577600 ~x1001+38111400 ~x956+450167000 ~x911+197298000 ~x865+11695000 ~x858+9743100 ~x820+12322400 ~x774+320925000 ~x729+89102800 ~x684+14114500 ~x638+12666400 x593+20814500 ~x546+493507000 ~x501+178044000 ~x456+110484000 x410+209957000 ~x403+80194400 x365+78363400 ~x336+41928200 ~x319+34104500 ~x274+188586000 ~x229+71906800 ~x183+132725 ~x138+416859 x91+39975400 ~x46-0=16527228386
26.99/27.09	c 8589934592 ~x1147973+4294967296 ~x1147972+2147483648 ~x1147971+1073741824 ~x1147970+536870912 ~x1147969+268435456 ~x1147968+134217728 ~x1147967+67108864 ~x1147966+33554432 ~x1147965+16777216 ~x1147964+8388608 ~x1147963+4194304 ~x1147962+2097152 ~x1147961+1048576 ~x1147960+524288 ~x1147959+262144 ~x1147958+131072 ~x1147957+65536 ~x1147956+32768 ~x1147955+16384 ~x1147954+8192 ~x1147953+4096 ~x1147952+2048 ~x1147951+1024 ~x1147950+512 ~x1147949+256 ~x1147948+128 ~x1147947+64 ~x1147946+32 ~x1147945+16 ~x1147944+8 ~x1147943+4 ~x1147942+2 ~x1147941+1 ~x1147940+1434430 ~x2993+119269000 ~x2951+27064700 ~x2948+726772000 ~x2903+409127000 ~x2857+32530800 ~x2812+79756900 ~x2766+65212000 ~x2721+246178000 ~x2676+90213100 ~x2630+69344700 ~x2584+36574500 ~x2538+43556300 ~x2496+874182 x2493+2421540 ~x2448+8274540 ~x2402+186791000 ~x2357+55360700 ~x2311+12612800 x2266+3201510 x2221+37620000 ~x2187+23778000 ~x2142+1246720 x2096+3508310 ~x2051+3381730 ~x2006+2394560 ~x1960+7171850 x1915+5193410 x1868+6134330 ~x1823+263082000 ~x1781+4585570 ~x1777+18005400 ~x1732+167995000 ~x1687+66162700 ~x1641+166664000 ~x1596+80005000 ~x1550+24613000 ~x1505+200577000 ~x1460+108363000 ~x1413+522877000 ~x1368+140890000 ~x1325+338008000 ~x1322+644685000 ~x1277+395110000 ~x1232+70848300 ~x1186+29639600 ~x1141+10295800 ~x1094+324098000 ~x1049+94511400 ~x1004+42098500 ~x957+486154000 ~x912+14860300 ~x869+216445000 ~x866+11436200 ~x821+76175300 ~x775+349495000 ~x730+97877000 ~x685+18221200 ~x639+9304620 x594+21917900 ~x548+592574000 ~x502+239910000 ~x457+83757500 ~x447+247672000 ~x414+78508400 x411+57613200 x366+59729200 ~x320+35656800 ~x275+199736000 ~x230+77622800 ~x184+134533 ~x139+23235800 ~x93+54023000 ~x47-0=26076315126
27.98/28.00	c 536870912 ~x1187976+268435456 ~x1187975+134217728 ~x1187974+67108864 ~x1187973+33554432 ~x1187972+16777216 ~x1187971+8388608 ~x1187970+4194304 ~x1187969+2097152 ~x1187968+1048576 ~x1187967+524288 ~x1187966+262144 ~x1187965+131072 ~x1187964+65536 ~x1187963+32768 ~x1187962+16384 ~x1187961+8192 ~x1187960+4096 ~x1187959+2048 ~x1187958+1024 ~x1187957+512 ~x1187956+256 ~x1187955+128 ~x1187954+64 ~x1187953+32 ~x1187952+16 ~x1187951+8 ~x1187950+4 ~x1187949+2 ~x1187948+1 ~x1187947+174689 ~x2994+13724100 ~x2962+2860190 ~x2949+75483800 ~x2904+43092500 ~x2858+3598890 ~x2813+10044000 ~x2767+7673440 ~x2722+26764400 ~x2677+9986850 ~x2631+8711600 ~x2586+4749570 ~x2539+4697250 ~x2507+141387 ~x2494+325006 ~x2449+864150 ~x2403+20450800 ~x2358+6675130 ~x2312+225287 ~x2267+540316 ~x2222+4211880 ~x2188+2647420 ~x2143+115585 x2097+389123 ~x2052+397791 ~x2007+286400 ~x1961+547607 x1916+396543 x1870+725618 ~x1824+28915500 ~x1792+542424 ~x1778+1969020 ~x1733+17766900 ~x1688+7060340 ~x1642+20351900 ~x1597+9729090 ~x1551+3289610 ~x1506+21199500 ~x1461+11616800 ~x1415+54872500 ~x1369+15278500 ~x1337+35578000 ~x1323+70054300 ~x1278+42180000 ~x1233+7954060 ~x1187+3238080 ~x1142+1173560 ~x1095+34144400 ~x1050+10444500 ~x1005+4608560 ~x959+52214100 ~x913+1802560 ~x880+23559200 ~x867+1312940 ~x822+14002800 ~x776+37806600 ~x731+10665100 ~x686+2232780 ~x640+594282 x595+8915170 ~x558+2302120 ~x549+69164200 ~x504+30177700 ~x458+28538700 ~x425+4653260 x412+3503190 x367+7753020 ~x321+3720900 ~x276+21088600 ~x231+8333880 ~x185+13634 ~x140+4688850 ~x94+6807060 ~x49-0=2060250868
28.78/28.86	c 4294967296 ~x1225406+2147483648 ~x1225405+1073741824 ~x1225404+536870912 ~x1225403+268435456 ~x1225402+134217728 ~x1225401+67108864 ~x1225400+33554432 ~x1225399+16777216 ~x1225398+8388608 ~x1225397+4194304 ~x1225396+2097152 ~x1225395+1048576 ~x1225394+524288 ~x1225393+262144 ~x1225392+131072 ~x1225391+65536 ~x1225390+32768 ~x1225389+16384 ~x1225388+8192 ~x1225387+4096 ~x1225386+2048 ~x1225385+1024 ~x1225384+512 ~x1225383+256 ~x1225382+128 ~x1225381+64 ~x1225380+32 ~x1225379+16 ~x1225378+8 ~x1225377+4 ~x1225376+2 ~x1225375+1 ~x1225374+77607000 ~x2973+15069600 ~x2950+391451500 ~x2905+226361500 ~x2859+19723550 ~x2814+60561000 ~x2768+44128400 ~x2723+144554500 ~x2678+54762000 ~x2632+52443500 ~x2587+29208400 ~x2541+25194300 ~x2518+1850960 ~x2495+2039290 ~x2450+4504235 ~x2404+111113000 ~x2359+39070900 ~x2313+8559250 ~x2268+7003900 ~x2223+23308850 ~x2189+14585250 ~x2144+532485 x2098+2137080 ~x2053+2287045 ~x2008+1666715 ~x1962+1890150 x1917+1368725 x1871+4189010 ~x1826+157613500 ~x1803+3131450 ~x1779+10687550 ~x1734+93671500 ~x1689+37522050 ~x1643+120186500 ~x1598+57288500 ~x1552+20589550 ~x1507+111706000 ~x1462+61986500 ~x1416+287286500 ~x1371+82340000 ~x1348+186776000 ~x1324+378201000 ~x1279+224245000 ~x1234+44116500 ~x1188+17560950 ~x1143+6587650 ~x1096+179395000 ~x1051+57189500 ~x1006+25036400 ~x960+279064000 ~x915+10595450 ~x892+127369500 ~x868+7411250 ~x823+101940500 ~x777+203318000 ~x732+57712500 ~x687+47272900 ~x669+13217200 ~x641+1290510 x596+12062250 ~x550+395354500 ~x505+181822000 ~x460+161551000 ~x436+7278450 x413+6225300 x368+47665600 ~x322+19380650 ~x277+111018000 ~x232+44527400 ~x186+69074 ~x141+35270600 ~x95+41059100 ~x50+1029675 ~x5-0=14015144075
29.68/29.77	c 8589934592 ~x1264543+4294967296 ~x1264542+2147483648 ~x1264541+1073741824 ~x1264540+536870912 ~x1264539+268435456 ~x1264538+134217728 ~x1264537+67108864 ~x1264536+33554432 ~x1264535+16777216 ~x1264534+8388608 ~x1264533+4194304 ~x1264532+2097152 ~x1264531+1048576 ~x1264530+524288 ~x1264529+262144 ~x1264528+131072 ~x1264527+65536 ~x1264526+32768 ~x1264525+16384 ~x1264524+8192 ~x1264523+4096 ~x1264522+2048 ~x1264521+1024 ~x1264520+512 ~x1264519+256 ~x1264518+128 ~x1264517+64 ~x1264516+32 ~x1264515+16 ~x1264514+8 ~x1264513+4 ~x1264512+2 ~x1264511+1 ~x1264510+173186000 ~x2984+31676500 ~x2952+810969000 ~x2906+474521000 ~x2860+42905200 ~x2815+141805000 ~x2769+99779200 ~x2724+310575000 ~x2679+119179000 ~x2633+122659000 ~x2588+69338000 ~x2542+53804800 ~x2529+5989980 ~x2497+4907100 ~x2451+9375440 ~x2405+239944000 ~x2360+89532300 ~x2314+31984200 ~x2269+22612500 ~x2224+51116600 ~x2190+31866800 ~x2145+974098 x2099+4657090 ~x2054+5170270 ~x2009+3802870 ~x1963+2084520 x1918+1509480 x1872+9499870 ~x1827+341300000 ~x1814+7101570 ~x1782+23059900 ~x1735+197017000 ~x1690+79484800 ~x1644+277228000 ~x1599+131863000 ~x1553+49462200 ~x1508+234830000 ~x1463+131778000 ~x1417+600421000 ~x1372+176575000 ~x1359+391324000 ~x1326+812260000 ~x1280+475180000 ~x1235+96925300 ~x1189+37863100 ~x1144+14615100 ~x1097+376136000 ~x1052+124313000 ~x1007+54059900 ~x961+594115000 ~x916+24356200 ~x903+273886000 ~x870+16515600 ~x824+99940000 ~x780+267734000 ~x778+435206000 ~x733+124200000 ~x688+30541000 ~x642+780783 ~x597+25227800 ~x551+889777000 ~x506+425511000 ~x461+360817000 ~x448+17418800 ~x415+10130700 ~x369+113132000 ~x323+40313600 ~x278+233186000 ~x233+94770800 ~x187+139956 ~x142+94193900 ~x96+96165700 ~x51+2371810 ~x6-0=29043953422
30.69/30.72	c 8589934592 ~x1306630+4294967296 ~x1306629+2147483648 ~x1306628+1073741824 ~x1306627+536870912 ~x1306626+268435456 ~x1306625+134217728 ~x1306624+67108864 ~x1306623+33554432 ~x1306622+16777216 ~x1306621+8388608 ~x1306620+4194304 ~x1306619+2097152 ~x1306618+1048576 ~x1306617+524288 ~x1306616+262144 ~x1306615+131072 ~x1306614+65536 ~x1306613+32768 ~x1306612+16384 ~x1306611+8192 ~x1306610+4096 ~x1306609+2048 ~x1306608+1024 ~x1306607+512 ~x1306606+256 ~x1306605+128 ~x1306604+64 ~x1306603+32 ~x1306602+16 ~x1306601+8 ~x1306600+4 ~x1306599+2 ~x1306598+1 ~x1306597+33213800 ~x2953+839034000 ~x2908+496319000 ~x2861+46363300 ~x2816+162488000 ~x2770+111302000 ~x2725+332040000 ~x2680+128835000 ~x2634+140430000 ~x2589+80259100 ~x2543+57221000 ~x2540+8278030 ~x2498+5735620 ~x2453+9742410 ~x2406+257661000 ~x2361+100923000 ~x2315+46849800 ~x2270+31217200 ~x2225+55615400 ~x2192+34563000 ~x2146+883223 x2100+5040020 ~x2055+5766440 ~x2010+4272310 ~x1964+388743 x1919+281502 x1873+10621700 ~x1828+367372000 ~x1825+7940240 ~x1783+24744700 ~x1737+206691000 ~x1691+83925500 ~x1645+314082000 ~x1600+149149000 ~x1554+57745200 ~x1509+246247000 ~x1464+139583000 ~x1418+626269000 ~x1373+188471000 ~x1370+409096000 ~x1327+868119000 ~x1282+501869000 ~x1236+105618000 ~x1190+40604200 ~x1145+16054800 ~x1098+393482000 ~x1053+134247000 ~x1008+58047000 ~x962+630102000 ~x917+27521600 ~x914+105334000 ~x891+293033000 ~x871+18208800 ~x826+331587000 ~x779+463776000 ~x734+132974000 ~x689+34647700 ~x643+4142580 ~x598+26331200 ~x552+988844000 ~x507+487377000 ~x462+398532000 ~x459+49394500 ~x416+32712000 ~x371+130933000 ~x324+41865900 ~x279+244336000 ~x234+100487000 ~x188+141764 ~x143+117847000 ~x97+110213000 ~x52+2684270 ~x7+191159000 ~x4-0=30087201267
31.58/31.63	c 8589934592 ~x1346778+4294967296 ~x1346777+2147483648 ~x1346776+1073741824 ~x1346775+536870912 ~x1346774+268435456 ~x1346773+134217728 ~x1346772+67108864 ~x1346771+33554432 ~x1346770+16777216 ~x1346769+8388608 ~x1346768+4194304 ~x1346767+2097152 ~x1346766+1048576 ~x1346765+524288 ~x1346764+262144 ~x1346763+131072 ~x1346762+65536 ~x1346761+32768 ~x1346760+16384 ~x1346759+8192 ~x1346758+4096 ~x1346757+2048 ~x1346756+1024 ~x1346755+512 ~x1346754+256 ~x1346753+128 ~x1346752+64 ~x1346751+32 ~x1346750+16 ~x1346749+8 ~x1346748+4 ~x1346747+2 ~x1346746+1 ~x1346745+34751100 ~x2954+867099000 ~x2909+518117000 ~x2863+49821500 ~x2817+183170000 ~x2771+122824000 ~x2726+353506000 ~x2681+138490000 ~x2635+158201000 ~x2590+60637100 ~x2552+91180300 ~x2544+10566100 ~x2499+6564140 ~x2454+10109400 ~x2408+275379000 ~x2362+112313000 ~x2316+61715500 ~x2271+39821800 ~x2226+60114300 ~x2193+37259300 ~x2148+792348 x2101+5422940 ~x2056+6362620 ~x2011+4741740 ~x1965+1307030 ~x1920+946474 ~x1874+393445000 ~x1836+11743600 ~x1829+8778900 ~x1784+26429500 ~x1738+216365000 ~x1693+88366200 ~x1646+350937000 ~x1601+166435000 ~x1555+66028300 ~x1510+257665000 ~x1465+147387000 ~x1419+200366000 ~x1381+652117000 ~x1374+426868000 ~x1328+923977000 ~x1283+528559000 ~x1238+114310000 ~x1191+43345400 ~x1146+17494600 ~x1099+410828000 ~x1054+144181000 ~x1009+110728000 ~x1002+62034100 ~x963+30686900 ~x925+666089000 ~x918+312181000 ~x872+19901900 ~x827+395440000 ~x782+492347000 ~x735+141748000 ~x690+38754300 ~x644+7504380 ~x599+27434500 ~x553+1087910000 ~x508+436247000 ~x470+549244000 ~x463+81370200 ~x417+55293300 ~x372+148734000 ~x326+43418200 ~x280+255486000 ~x235+106203000 ~x189+143571 ~x144+141499000 ~x98+124261000 ~x53+209131000 ~x15+2996720 ~x8-0=31132702098
32.48/32.55	c 8589934592 ~x1386965+4294967296 ~x1386964+2147483648 ~x1386963+1073741824 ~x1386962+536870912 ~x1386961+268435456 ~x1386960+134217728 ~x1386959+67108864 ~x1386958+33554432 ~x1386957+16777216 ~x1386956+8388608 ~x1386955+4194304 ~x1386954+2097152 ~x1386953+1048576 ~x1386952+524288 ~x1386951+262144 ~x1386950+131072 ~x1386949+65536 ~x1386948+32768 ~x1386947+16384 ~x1386946+8192 ~x1386945+4096 ~x1386944+2048 ~x1386943+1024 ~x1386942+512 ~x1386941+256 ~x1386940+128 ~x1386939+64 ~x1386938+32 ~x1386937+16 ~x1386936+8 ~x1386935+4 ~x1386934+2 ~x1386933+1 ~x1386932+36288400 ~x2955+895165000 ~x2910+539915000 ~x2864+53279600 ~x2819+203853000 ~x2772+134346000 ~x2727+374971000 ~x2682+148145000 ~x2636+175973000 ~x2591+64053300 ~x2563+102101000 ~x2545+12854100 ~x2500+7392660 ~x2455+10476300 ~x2409+293096000 ~x2364+123704000 ~x2317+76581100 ~x2272+48426500 ~x2227+64613100 ~x2194+39955600 ~x2149+701473 x2103+5805870 ~x2057+6958800 ~x2012+5211180 ~x1966+3002810 ~x1921+2174450 ~x1875+419517000 ~x1847+12865400 ~x1830+9617570 ~x1785+28114300 ~x1739+226039000 ~x1694+92806800 ~x1648+387791000 ~x1602+183720000 ~x1556+74311300 ~x1511+269082000 ~x1466+155192000 ~x1420+212261000 ~x1392+677965000 ~x1375+444640000 ~x1329+979836000 ~x1284+555249000 ~x1239+123002000 ~x1193+46086500 ~x1147+116122000 ~x1114+18934300 ~x1100+428174000 ~x1055+154114000 ~x1010+66021200 ~x964+33852200 ~x936+702076000 ~x919+331328000 ~x873+21595000 ~x828+459293000 ~x783+520917000 ~x737+150522000 ~x691+42860900 ~x645+10866200 ~x600+28537800 ~x554+1186980000 ~x509+473962000 ~x481+611111000 ~x464+113346000 ~x418+77874600 ~x373+166535000 ~x327+44970500 ~x282+266637000 ~x236+111919000 ~x190+145379 ~x145+165152000 ~x99+138308000 ~x54+227104000 ~x26+3309180 ~x9-0=32178875082
33.38/33.46	c 8589934592 ~x1427167+4294967296 ~x1427166+2147483648 ~x1427165+1073741824 ~x1427164+536870912 ~x1427163+268435456 ~x1427162+134217728 ~x1427161+67108864 ~x1427160+33554432 ~x1427159+16777216 ~x1427158+8388608 ~x1427157+4194304 ~x1427156+2097152 ~x1427155+1048576 ~x1427154+524288 ~x1427153+262144 ~x1427152+131072 ~x1427151+65536 ~x1427150+32768 ~x1427149+16384 ~x1427148+8192 ~x1427147+4096 ~x1427146+2048 ~x1427145+1024 ~x1427144+512 ~x1427143+256 ~x1427142+128 ~x1427141+64 ~x1427140+32 ~x1427139+16 ~x1427138+8 ~x1427137+4 ~x1427136+2 ~x1427135+1 ~x1427134+37825700 ~x2956+923230000 ~x2911+561713000 ~x2865+56737700 ~x2820+224536000 ~x2775+145869000 ~x2728+396437000 ~x2683+157801000 ~x2637+193744000 ~x2592+67469400 ~x2574+113023000 ~x2546+15142200 ~x2501+8221180 ~x2456+10843300 ~x2410+310814000 ~x2365+135094000 ~x2319+91446800 ~x2273+57031200 ~x2228+69112000 ~x2195+42651800 ~x2150+610598 x2104+6188800 ~x2059+7554980 ~x2013+5680620 ~x1967+4698590 ~x1922+3402430 ~x1876+445589000 ~x1858+13987300 ~x1831+10456200 ~x1786+29799200 ~x1740+235713000 ~x1695+97247500 ~x1649+424646000 ~x1604+201006000 ~x1557+82594400 ~x1512+280500000 ~x1467+162997000 ~x1421+224156000 ~x1403+703814000 ~x1376+462412000 ~x1330+1035690000 ~x1285+581939000 ~x1240+121517000 ~x1225+131695000 ~x1194+48827700 ~x1149+20374100 ~x1101+445520000 ~x1056+164048000 ~x1011+70008400 ~x965+37017500 ~x947+738063000 ~x920+350475000 ~x874+23288200 ~x829+523146000 ~x784+549487000 ~x738+159297000 ~x693+46967500 ~x646+14228000 ~x601+29641100 ~x555+1286050000 ~x510+511677000 ~x492+672978000 ~x465+145322000 ~x419+100456000 ~x374+184336000 ~x328+46522800 ~x283+277787000 ~x238+117635000 ~x191+147187 ~x146+188805000 ~x100+152356000 ~x55+245076000 ~x37+3621640 ~x10-0=33225053610
34.28/34.37	c 8589934592 ~x1467258+4294967296 ~x1467257+2147483648 ~x1467256+1073741824 ~x1467255+536870912 ~x1467254+268435456 ~x1467253+134217728 ~x1467252+67108864 ~x1467251+33554432 ~x1467250+16777216 ~x1467249+8388608 ~x1467248+4194304 ~x1467247+2097152 ~x1467246+1048576 ~x1467245+524288 ~x1467244+262144 ~x1467243+131072 ~x1467242+65536 ~x1467241+32768 ~x1467240+16384 ~x1467239+8192 ~x1467238+4096 ~x1467237+2048 ~x1467236+1024 ~x1467235+512 ~x1467234+256 ~x1467233+128 ~x1467232+64 ~x1467231+32 ~x1467230+16 ~x1467229+8 ~x1467228+4 ~x1467227+2 ~x1467226+1 ~x1467225+39363000 ~x2957+951296000 ~x2912+583511000 ~x2866+60195900 ~x2821+245219000 ~x2776+157391000 ~x2730+417902000 ~x2684+167456000 ~x2638+211515000 ~x2593+70885600 ~x2585+123944000 ~x2547+17430200 ~x2502+9049700 ~x2457+11210300 ~x2411+328532000 ~x2366+146485000 ~x2320+106312000 ~x2275+65635800 ~x2229+73610900 ~x2196+45348100 ~x2151+519723 x2105+6571730 ~x2060+8151150 ~x2015+6150060 ~x1968+6394360 ~x1923+4630400 ~x1877+471662000 ~x1869+15109100 ~x1832+11294900 ~x1787+31484000 ~x1741+245387000 ~x1696+101688000 ~x1650+461500000 ~x1605+218292000 ~x1560+90877400 ~x1513+291917000 ~x1468+170802000 ~x1422+236051000 ~x1414+729662000 ~x1377+126911000 ~x1336+480184000 ~x1331+1091550000 ~x1286+608628000 ~x1241+140387000 ~x1195+51568800 ~x1150+21813800 ~x1103+462866000 ~x1057+173982000 ~x1012+73995500 ~x966+40182800 ~x958+774050000 ~x921+369622000 ~x875+24981300 ~x830+586999000 ~x785+578057000 ~x739+168071000 ~x694+51074200 ~x648+17589800 ~x602+30744500 ~x556+1385110000 ~x511+549393000 ~x503+734844000 ~x466+177297000 ~x420+123037000 ~x375+202137000 ~x329+48075100 ~x284+288937000 ~x239+123351000 ~x193+148995 ~x147+212457000 ~x101+166404000 ~x56+263049000 ~x48+3934100 ~x11-0=34271217678
35.19/35.28	c 17179869184 ~x1507140+8589934592 ~x1507139+4294967296 ~x1507138+2147483648 ~x1507137+1073741824 ~x1507136+536870912 ~x1507135+268435456 ~x1507134+134217728 ~x1507133+67108864 ~x1507132+33554432 ~x1507131+16777216 ~x1507130+8388608 ~x1507129+4194304 ~x1507128+2097152 ~x1507127+1048576 ~x1507126+524288 ~x1507125+262144 ~x1507124+131072 ~x1507123+65536 ~x1507122+32768 ~x1507121+16384 ~x1507120+8192 ~x1507119+4096 ~x1507118+2048 ~x1507117+1024 ~x1507116+512 ~x1507115+256 ~x1507114+128 ~x1507113+64 ~x1507112+32 ~x1507111+16 ~x1507110+8 ~x1507109+4 ~x1507108+2 ~x1507107+1 ~x1507106+40900300 ~x2958+979361000 ~x2913+605309000 ~x2867+63654000 ~x2822+265901000 ~x2777+168913000 ~x2731+439368000 ~x2686+177111000 ~x2639+74301700 ~x2596+229287000 ~x2594+134865000 ~x2548+19718300 ~x2503+9878220 ~x2458+11577200 ~x2412+346249000 ~x2367+157876000 ~x2321+121178000 ~x2276+74240500 ~x2231+78109700 ~x2197+48044400 ~x2152+428848 x2106+6954660 ~x2061+8747330 ~x2016+6619500 ~x1970+8090140 ~x1924+497734000 ~x1880+5858380 ~x1878+16231000 ~x1833+12133600 ~x1788+33168800 ~x1742+255061000 ~x1697+106129000 ~x1651+498355000 ~x1606+235578000 ~x1561+99160500 ~x1515+303335000 ~x1469+132305000 ~x1447+247946000 ~x1425+178607000 ~x1423+755510000 ~x1378+497956000 ~x1332+1147410000 ~x1287+635318000 ~x1242+149079000 ~x1196+54310000 ~x1151+23253600 ~x1104+480211000 ~x1059+183916000 ~x1013+43348100 ~x969+77982600 ~x967+810037000 ~x922+388769000 ~x876+26674400 ~x831+650852000 ~x786+606628000 ~x740+176845000 ~x695+55180800 ~x649+20951600 ~x604+31847800 ~x557+587108000 ~x514+1484180000 ~x512+796711000 ~x467+209273000 ~x421+145618000 ~x376+219938000 ~x330+49627400 ~x285+300087000 ~x240+129067000 ~x194+150803 ~x149+236110000 ~x102+281021000 ~x59+180451000 ~x57+4246560 ~x12-0=52497263260
36.29/36.36	c 8589934592 ~x1554774+4294967296 ~x1554773+2147483648 ~x1554772+1073741824 ~x1554771+536870912 ~x1554770+268435456 ~x1554769+134217728 ~x1554768+67108864 ~x1554767+33554432 ~x1554766+16777216 ~x1554765+8388608 ~x1554764+4194304 ~x1554763+2097152 ~x1554762+1048576 ~x1554761+524288 ~x1554760+262144 ~x1554759+131072 ~x1554758+65536 ~x1554757+32768 ~x1554756+16384 ~x1554755+8192 ~x1554754+4096 ~x1554753+2048 ~x1554752+1024 ~x1554751+512 ~x1554750+256 ~x1554749+128 ~x1554748+64 ~x1554747+32 ~x1554746+16 ~x1554745+8 ~x1554744+4 ~x1554743+2 ~x1554742+1 ~x1554741+21218800 ~x2959+503715000 ~x2914+313553500 ~x2868+33556050 ~x2823+143292000 ~x2778+90218000 ~x2732+230416500 ~x2687+93383500 ~x2641+38858950 ~x2607+123529000 ~x2595+72893000 ~x2549+11003200 ~x2504+5353350 ~x2459+5972100 ~x2413+181983500 ~x2368+84633000 ~x2322+68022000 ~x2277+41422600 ~x2232+41304300 ~x2198+25370300 ~x2153+168986 x2107+3668790 ~x2062+4671755 ~x2017+3544465 ~x1971+4892960 ~x1926+261903500 ~x1892+3543175 ~x1879+8676400 ~x1834+6486100 ~x1789+17426800 ~x1743+132367500 ~x1698+55285000 ~x1652+267604500 ~x1607+126432000 ~x1562+68849500 ~x1558+53722000 ~x1516+157376000 ~x1471+129921000 ~x1436+93206000 ~x1424+390679000 ~x1379+257864000 ~x1333+601635000 ~x1288+331004000 ~x1243+78886000 ~x1197+28525550 ~x1152+12346700 ~x1105+248778500 ~x1060+96925000 ~x1015+23256700 ~x980+40984850 ~x968+423012000 ~x923+203958000 ~x877+14183800 ~x832+357352500 ~x787+317599000 ~x741+92809500 ~x696+29643700 ~x650+12156700 ~x605+16475550 ~x560+312411500 ~x525+791625000 ~x513+429289000 ~x468+120624500 ~x422+84100000 ~x377+118869500 ~x331+25589850 ~x286+155618500 ~x241+67391500 ~x195+76305 ~x150+129881500 ~x104+149496500 ~x70+97249500 ~x58+2279510 ~x13-0=26771723993
37.18/37.29	c 17179869184 ~x1594698+8589934592 ~x1594697+4294967296 ~x1594696+2147483648 ~x1594695+1073741824 ~x1594694+536870912 ~x1594693+268435456 ~x1594692+134217728 ~x1594691+67108864 ~x1594690+33554432 ~x1594689+16777216 ~x1594688+8388608 ~x1594687+4194304 ~x1594686+2097152 ~x1594685+1048576 ~x1594684+524288 ~x1594683+262144 ~x1594682+131072 ~x1594681+65536 ~x1594680+32768 ~x1594679+16384 ~x1594678+8192 ~x1594677+4096 ~x1594676+2048 ~x1594675+1024 ~x1594674+512 ~x1594673+256 ~x1594672+128 ~x1594671+64 ~x1594670+32 ~x1594669+16 ~x1594668+8 ~x1594667+4 ~x1594666+2 ~x1594665+1 ~x1594664+43974800 ~x2960+1035490000 ~x2915+648905000 ~x2869+70570300 ~x2824+307267000 ~x2779+191958000 ~x2733+482299000 ~x2688+196422000 ~x2642+81134100 ~x2618+264829000 ~x2597+156707000 ~x2550+24294400 ~x2505+11535300 ~x2460+12311200 ~x2414+381685000 ~x2369+180657000 ~x2323+150909000 ~x2278+91449800 ~x2233+87107400 ~x2199+53436900 ~x2154+247097 x2108+7720510 ~x2063+9939690 ~x2018+7558370 ~x1972+11481700 ~x1927+549879000 ~x1903+8314330 ~x1881+18474700 ~x1835+13810900 ~x1790+36538400 ~x1744+274409000 ~x1699+143093000 ~x1669+115010000 ~x1653+572064000 ~x1608+270150000 ~x1563+115727000 ~x1517+326170000 ~x1472+271737000 ~x1448+194217000 ~x1426+807206000 ~x1380+533500000 ~x1334+1259130000 ~x1289+688698000 ~x1244+166464000 ~x1198+59792300 ~x1153+26133100 ~x1106+514903000 ~x1061+203784000 ~x1016+49678700 ~x991+85956800 ~x970+882011000 ~x924+427063000 ~x878+30060700 ~x833+778558000 ~x788+663768000 ~x742+194393000 ~x697+63394000 ~x651+27675200 ~x606+34054400 ~x561+662538000 ~x536+1682320000 ~x515+920445000 ~x469+273225000 ~x423+190781000 ~x378+255540000 ~x332+52732000 ~x287+322387000 ~x242+140499000 ~x196+154418 ~x151+283415000 ~x105+316966000 ~x81+208546000 ~x60+4871480 ~x14-0=54589618265
38.27/38.37	c 8589934592 ~x1642347+4294967296 ~x1642346+2147483648 ~x1642345+1073741824 ~x1642344+536870912 ~x1642343+268435456 ~x1642342+134217728 ~x1642341+67108864 ~x1642340+33554432 ~x1642339+16777216 ~x1642338+8388608 ~x1642337+4194304 ~x1642336+2097152 ~x1642335+1048576 ~x1642334+524288 ~x1642333+262144 ~x1642332+131072 ~x1642331+65536 ~x1642330+32768 ~x1642329+16384 ~x1642328+8192 ~x1642327+4096 ~x1642326+2048 ~x1642325+1024 ~x1642324+512 ~x1642323+256 ~x1642322+128 ~x1642321+64 ~x1642320+32 ~x1642319+16 ~x1642318+8 ~x1642317+4 ~x1642316+2 ~x1642315+1 ~x1642314+22756050 ~x2961+531780000 ~x2916+335351500 ~x2870+37014200 ~x2825+163974500 ~x2780+101740500 ~x2734+251882000 ~x2689+103038500 ~x2643+42275100 ~x2629+141300500 ~x2598+83814000 ~x2553+13291250 ~x2506+6181900 ~x2461+6339050 ~x2415+199701000 ~x2370+96023500 ~x2324+82887500 ~x2279+50027500 ~x2234+45803150 ~x2200+28066600 ~x2155+78111 x2109+4051720 ~x2064+5267950 ~x2019+4013905 ~x1973+6588750 ~x1928+287976000 ~x1914+4771155 ~x1882+9798250 ~x1837+7324800 ~x1791+74243500 ~x1780+19111600 ~x1745+142041500 ~x1700+59725500 ~x1654+304459000 ~x1609+143718000 ~x1564+62005000 ~x1518+168793500 ~x1473+141816000 ~x1459+101011000 ~x1427+416527000 ~x1382+275636000 ~x1335+657495000 ~x1290+357693500 ~x1245+87578000 ~x1199+31266700 ~x1154+13786450 ~x1107+266124500 ~x1062+106858500 ~x1017+26422050 ~x1003+44972000 ~x971+458999000 ~x926+223105500 ~x879+15876900 ~x834+421205000 ~x789+346169000 ~x743+101584000 ~x698+33750350 ~x652+15518500 ~x607+17578900 ~x562+350126500 ~x547+890690000 ~x516+491155500 ~x471+152600000 ~x424+106681000 ~x379+136670500 ~x333+27142150 ~x288+166768500 ~x243+73107500 ~x197+78113 ~x152+153534000 ~x106+167469000 ~x92+111297000 ~x61+2591970 ~x16-0=27817893196
39.17/39.27	c 17179869184 ~x1682451+8589934592 ~x1682450+4294967296 ~x1682449+2147483648 ~x1682448+1073741824 ~x1682447+536870912 ~x1682446+268435456 ~x1682445+134217728 ~x1682444+67108864 ~x1682443+33554432 ~x1682442+16777216 ~x1682441+8388608 ~x1682440+4194304 ~x1682439+2097152 ~x1682438+1048576 ~x1682437+524288 ~x1682436+262144 ~x1682435+131072 ~x1682434+65536 ~x1682433+32768 ~x1682432+16384 ~x1682431+8192 ~x1682430+4096 ~x1682429+2048 ~x1682428+1024 ~x1682427+512 ~x1682426+256 ~x1682425+128 ~x1682424+64 ~x1682423+32 ~x1682422+16 ~x1682421+8 ~x1682420+4 ~x1682419+2 ~x1682418+1 ~x1682417+47049400 ~x2963+1091620000 ~x2917+692501000 ~x2871+77486500 ~x2826+348632000 ~x2781+215003000 ~x2735+525230000 ~x2690+215733000 ~x2644+87966400 ~x2640+300372000 ~x2599+178550000 ~x2554+28870500 ~x2508+13192300 ~x2462+13045100 ~x2416+417120000 ~x2371+203438000 ~x2325+180641000 ~x2280+108659000 ~x2235+96105200 ~x2201+58829400 ~x2156+65347 x2110+8486360 ~x2065+11132000 ~x2020+8497240 ~x1974+14873200 ~x1929+602024000 ~x1925+153881000 ~x1891+10770300 ~x1883+20718400 ~x1838+15488200 ~x1793+39908100 ~x1746+293756000 ~x1701+123892000 ~x1655+645773000 ~x1610+304722000 ~x1565+132293000 ~x1519+349005000 ~x1474+295527000 ~x1470+209827000 ~x1428+858902000 ~x1383+569044000 ~x1338+1370850000 ~x1291+742077000 ~x1246+183849000 ~x1200+65274600 ~x1155+29012600 ~x1108+549595000 ~x1063+223651000 ~x1018+56009400 ~x1014+93931100 ~x972+953985000 ~x927+465358000 ~x881+33446900 ~x835+906263000 ~x790+720909000 ~x744+211942000 ~x699+71607300 ~x653+34398800 ~x608+36261100 ~x563+737968000 ~x559+1880450000 ~x517+104

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-2674138-1276800180/watcher-2674138-1276800180 -o /tmp/evaluation-result-2674138-1276800180/solver-2674138-1276800180 -C 1800 -W 2000 -M 1800 run HOME/instance-2674138-1276800180.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.84 0.95 0.97 3/106 21169
/proc/meminfo: memFree=1845516/2059040 swapFree=4136140/4192956
[pid=21169] ppid=21167 vsize=8700 CPUtime=0
/proc/21169/stat : 21169 (run) S 21167 21169 21138 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 55622078 8908800 251 1992294400 4194304 4922060 140734962112976 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21169/statm: 2175 251 211 178 0 68 0

[startup+0.05122 s]
/proc/loadavg: 0.84 0.95 0.97 3/106 21169
/proc/meminfo: memFree=1845516/2059040 swapFree=4136140/4192956
[pid=21169] ppid=21167 vsize=8700 CPUtime=0
/proc/21169/stat : 21169 (run) S 21167 21169 21138 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 55622078 8908800 251 1992294400 4194304 4922060 140734962112976 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21169/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.101224 s]
/proc/loadavg: 0.84 0.95 0.97 3/106 21169
/proc/meminfo: memFree=1845516/2059040 swapFree=4136140/4192956
[pid=21169] ppid=21167 vsize=8700 CPUtime=0
/proc/21169/stat : 21169 (run) S 21167 21169 21138 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 55622078 8908800 251 1992294400 4194304 4922060 140734962112976 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21169/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.301248 s]
/proc/loadavg: 0.84 0.95 0.97 3/106 21169
/proc/meminfo: memFree=1845516/2059040 swapFree=4136140/4192956
[pid=21169] ppid=21167 vsize=8700 CPUtime=0
/proc/21169/stat : 21169 (run) S 21167 21169 21138 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 55622078 8908800 251 1992294400 4194304 4922060 140734962112976 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21169/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.701295 s]
/proc/loadavg: 0.84 0.95 0.97 3/106 21169
/proc/meminfo: memFree=1845516/2059040 swapFree=4136140/4192956
[pid=21169] ppid=21167 vsize=8700 CPUtime=0
/proc/21169/stat : 21169 (run) S 21167 21169 21138 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 55622078 8908800 251 1992294400 4194304 4922060 140734962112976 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21169/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50139 s]
/proc/loadavg: 0.84 0.95 0.97 2/108 21172
/proc/meminfo: memFree=1749896/2059040 swapFree=4136140/4192956
[pid=21169] ppid=21167 vsize=8700 CPUtime=0
/proc/21169/stat : 21169 (run) S 21167 21169 21138 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 55622078 8908800 251 1992294400 4194304 4922060 140734962112976 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21169/statm: 2175 251 211 178 0 68 0
[pid=21171] ppid=21169 vsize=108400 CPUtime=1.49
/proc/21171/stat : 21171 (PBPASSolver) R 21169 21169 21138 0 -1 4202496 33703 0 0 0 111 38 0 0 25 0 1 0 55622078 111001600 26249 1992294400 134512640 134902295 4292942128 18446744073709551615 4160104809 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/21171/statm: 27100 26249 262 96 0 26312 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 117100

[startup+3.10158 s]
/proc/loadavg: 0.84 0.95 0.97 2/108 21172
/proc/meminfo: memFree=1730800/2059040 swapFree=4136140/4192956
[pid=21169] ppid=21167 vsize=8700 CPUtime=0
/proc/21169/stat : 21169 (run) S 21167 21169 21138 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 55622078 8908800 251 1992294400 4194304 4922060 140734962112976 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21169/statm: 2175 251 211 178 0 68 0
[pid=21171] ppid=21169 vsize=134308 CPUtime=3.09
/proc/21171/stat : 21171 (PBPASSolver) R 21169 21169 21138 0 -1 4202496 41115 0 0 0 269 40 0 0 25 0 1 0 55622078 137531392 32760 1992294400 134512640 134902295 4292942128 18446744073709551615 4621820 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/21171/statm: 33577 32760 262 96 0 32789 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 143008

[startup+6.30095 s]
/proc/loadavg: 0.85 0.95 0.97 2/108 21172
/proc/meminfo: memFree=1676736/2059040 swapFree=4136140/4192956
[pid=21169] ppid=21167 vsize=8700 CPUtime=0
/proc/21169/stat : 21169 (run) S 21167 21169 21138 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 55622078 8908800 251 1992294400 4194304 4922060 140734962112976 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21169/statm: 2175 251 211 178 0 68 0
[pid=21171] ppid=21169 vsize=194040 CPUtime=6.28
/proc/21171/stat : 21171 (PBPASSolver) R 21169 21169 21138 0 -1 4202496 56103 0 0 0 582 46 0 0 25 0 1 0 55622078 198696960 46467 1992294400 134512640 134902295 4292942128 18446744073709551615 4160120271 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/21171/statm: 48510 46467 262 96 0 47722 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 202740

[startup+12.7017 s]
/proc/loadavg: 0.87 0.95 0.97 2/108 21172
/proc/meminfo: memFree=1559184/2059040 swapFree=4136140/4192956
[pid=21169] ppid=21167 vsize=8700 CPUtime=0
/proc/21169/stat : 21169 (run) S 21167 21169 21138 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 55622078 8908800 251 1992294400 4194304 4922060 140734962112976 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21169/statm: 2175 251 211 178 0 68 0
[pid=21171] ppid=21169 vsize=311764 CPUtime=12.68
/proc/21171/stat : 21171 (PBPASSolver) R 21169 21169 21138 0 -1 4202496 86872 0 0 0 1210 58 0 0 25 0 1 0 55622078 319246336 75812 1992294400 134512640 134902295 4292942128 18446744073709551615 134793753 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/21171/statm: 77941 75812 262 96 0 77153 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 320464

[startup+25.5012 s]
/proc/loadavg: 0.89 0.95 0.97 2/108 21172
/proc/meminfo: memFree=1328172/2059040 swapFree=4136140/4192956
[pid=21169] ppid=21167 vsize=8700 CPUtime=0
/proc/21169/stat : 21169 (run) S 21167 21169 21138 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 55622078 8908800 251 1992294400 4194304 4922060 140734962112976 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21169/statm: 2175 251 211 178 0 68 0
[pid=21171] ppid=21169 vsize=542512 CPUtime=25.49
/proc/21171/stat : 21171 (PBPASSolver) R 21169 21169 21138 0 -1 4202496 146706 0 0 0 2462 87 0 0 25 0 1 0 55622078 555532288 130282 1992294400 134512640 134902295 4292942128 18446744073709551615 134588032 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/21171/statm: 135628 130282 262 96 0 134840 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 551212

[startup+51.1012 s]
/proc/loadavg: 0.93 0.96 0.97 2/108 21174
/proc/meminfo: memFree=1044832/2059040 swapFree=4136140/4192956
[pid=21169] ppid=21167 vsize=8700 CPUtime=0
/proc/21169/stat : 21169 (run) S 21167 21169 21138 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 55622078 8908800 251 1992294400 4194304 4922060 140734962112976 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21169/statm: 2175 251 211 178 0 68 0
[pid=21171] ppid=21169 vsize=823180 CPUtime=51.07
/proc/21171/stat : 21171 (PBPASSolver) R 21169 21169 21138 0 -1 4202496 217756 0 0 0 4989 118 0 0 25 0 1 0 55622078 842936320 199841 1992294400 134512640 134902295 4292942128 18446744073709551615 4160099104 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/21171/statm: 205795 199841 269 96 0 205007 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 831880

[startup+102.308 s]
/proc/loadavg: 0.97 0.96 0.97 2/108 21174
/proc/meminfo: memFree=1033176/2059040 swapFree=4136140/4192956
[pid=21169] ppid=21167 vsize=8700 CPUtime=0
/proc/21169/stat : 21169 (run) S 21167 21169 21138 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 55622078 8908800 251 1992294400 4194304 4922060 140734962112976 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21169/statm: 2175 251 211 178 0 68 0
[pid=21171] ppid=21169 vsize=834404 CPUtime=102.27
/proc/21171/stat : 21171 (PBPASSolver) R 21169 21169 21138 0 -1 4202496 220583 0 0 0 10106 121 0 0 25 0 1 0 55622078 854429696 202668 1992294400 134512640 134902295 4292942128 18446744073709551615 4160117938 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/21171/statm: 208601 202668 269 96 0 207813 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 843104

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/108 21176
/proc/meminfo: memFree=1024124/2059040 swapFree=4136140/4192956
[pid=21169] ppid=21167 vsize=8700 CPUtime=0
/proc/21169/stat : 21169 (run) S 21167 21169 21138 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 55622078 8908800 251 1992294400 4194304 4922060 140734962112976 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21169/statm: 2175 251 211 178 0 68 0
[pid=21171] ppid=21169 vsize=843624 CPUtime=162.24
/proc/21171/stat : 21171 (PBPASSolver) R 21169 21169 21138 0 -1 4202496 222860 0 0 0 16101 123 0 0 25 0 1 0 55622078 863870976 204945 1992294400 134512640 134902295 4292942128 18446744073709551615 4160119749 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/21171/statm: 210906 204945 269 96 0 210118 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 852324

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/108 21178
/proc/meminfo: memFree=1017676/2059040 swapFree=4136140/4192956
[pid=21169] ppid=21167 vsize=8700 CPUtime=0
/proc/21169/stat : 21169 (run) S 21167 21169 21138 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 55622078 8908800 251 1992294400 4194304 4922060 140734962112976 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21169/statm: 2175 251 211 178 0 68 0
[pid=21171] ppid=21169 vsize=849948 CPUtime=222.22
/proc/21171/stat : 21171 (PBPASSolver) R 21169 21169 21138 0 -1 4202496 224431 0 0 0 22097 125 0 0 25 0 1 0 55622078 870346752 206516 1992294400 134512640 134902295 4292942128 18446744073709551615 4160117039 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/21171/statm: 212487 206516 269 96 0 211699 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 858648

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/108 21180
/proc/meminfo: memFree=1011972/2059040 swapFree=4136140/4192956
[pid=21169] ppid=21167 vsize=8700 CPUtime=0
/proc/21169/stat : 21169 (run) S 21167 21169 21138 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 55622078 8908800 251 1992294400 4194304 4922060 140734962112976 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21169/statm: 2175 251 211 178 0 68 0
[pid=21171] ppid=21169 vsize=855500 CPUtime=282.21
/proc/21171/stat : 21171 (PBPASSolver) R 21169 21169 21138 0 -1 4202496 225833 0 0 0 28094 127 0 0 25 0 1 0 55622078 876032000 207918 1992294400 134512640 134902295 4292942128 18446744073709551615 4160106153 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/21171/statm: 213875 207918 269 96 0 213087 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 864200

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/108 21182
/proc/meminfo: memFree=996596/2059040 swapFree=4136140/4192956
[pid=21169] ppid=21167 vsize=8700 CPUtime=0
/proc/21169/stat : 21169 (run) S 21167 21169 21138 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 55622078 8908800 251 1992294400 4194304 4922060 140734962112976 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21169/statm: 2175 251 211 178 0 68 0
[pid=21171] ppid=21169 vsize=870992 CPUtime=342.19
/proc/21171/stat : 21171 (PBPASSolver) R 21169 21169 21138 0 -1 4202496 229674 0 0 0 34089 130 0 0 25 0 1 0 55622078 891895808 211759 1992294400 134512640 134902295 4292942128 18446744073709551615 4160107769 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/21171/statm: 217748 211759 269 96 0 216960 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 879692

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/108 21182
/proc/meminfo: memFree=982336/2059040 swapFree=4136140/4192956
[pid=21169] ppid=21167 vsize=8700 CPUtime=0
/proc/21169/stat : 21169 (run) S 21167 21169 21138 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 55622078 8908800 251 1992294400 4194304 4922060 140734962112976 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21169/statm: 2175 251 211 178 0 68 0
[pid=21171] ppid=21169 vsize=885124 CPUtime=402.18
/proc/21171/stat : 21171 (PBPASSolver) R 21169 21169 21138 0 -1 4202496 233227 0 0 0 40085 133 0 0 25 0 1 0 55622078 906366976 215312 1992294400 134512640 134902295 4292942128 18446744073709551615 4160117982 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/21171/statm: 221281 215312 269 96 0 220493 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 893824

[startup+462.301 s]

################
# More data... #
################

/proc/21171/statm: 239218 233175 269 96 0 238430 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 965572

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/108 21213
/proc/meminfo: memFree=902852/2059040 swapFree=4136140/4192956
[pid=21169] ppid=21167 vsize=8700 CPUtime=0
/proc/21169/stat : 21169 (run) S 21167 21169 21138 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 55622078 8908800 251 1992294400 4194304 4922060 140734962112976 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21169/statm: 2175 251 211 178 0 68 0
[pid=21171] ppid=21169 vsize=963760 CPUtime=1181.95
/proc/21171/stat : 21171 (PBPASSolver) R 21169 21169 21138 0 -1 4202496 252839 0 0 0 118041 154 0 0 25 0 1 0 55622078 986890240 234924 1992294400 134512640 134902295 4292942128 18446744073709551615 4160086768 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/21171/statm: 240940 234924 269 96 0 240152 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 972460

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/108 21215
/proc/meminfo: memFree=893304/2059040 swapFree=4136140/4192956
[pid=21169] ppid=21167 vsize=8700 CPUtime=0
/proc/21169/stat : 21169 (run) S 21167 21169 21138 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 55622078 8908800 251 1992294400 4194304 4922060 140734962112976 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21169/statm: 2175 251 211 178 0 68 0
[pid=21171] ppid=21169 vsize=973144 CPUtime=1241.93
/proc/21171/stat : 21171 (PBPASSolver) R 21169 21169 21138 0 -1 4202496 255190 0 0 0 124036 157 0 0 25 0 1 0 55622078 996499456 237275 1992294400 134512640 134902295 4292942128 18446744073709551615 4160116862 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/21171/statm: 243286 237275 269 96 0 242498 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 981844

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/108 21215
/proc/meminfo: memFree=886112/2059040 swapFree=4136140/4192956
[pid=21169] ppid=21167 vsize=8700 CPUtime=0
/proc/21169/stat : 21169 (run) S 21167 21169 21138 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 55622078 8908800 251 1992294400 4194304 4922060 140734962112976 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21169/statm: 2175 251 211 178 0 68 0
[pid=21171] ppid=21169 vsize=980748 CPUtime=1301.93
/proc/21171/stat : 21171 (PBPASSolver) R 21169 21169 21138 0 -1 4202496 256948 0 0 0 130033 160 0 0 25 0 1 0 55622078 1004285952 239033 1992294400 134512640 134902295 4292942128 18446744073709551615 4160117036 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/21171/statm: 245187 239033 269 96 0 244399 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 989448

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/108 21217
/proc/meminfo: memFree=880160/2059040 swapFree=4136140/4192956
[pid=21169] ppid=21167 vsize=8700 CPUtime=0
/proc/21169/stat : 21169 (run) S 21167 21169 21138 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 55622078 8908800 251 1992294400 4194304 4922060 140734962112976 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21169/statm: 2175 251 211 178 0 68 0
[pid=21171] ppid=21169 vsize=986688 CPUtime=1361.91
/proc/21171/stat : 21171 (PBPASSolver) R 21169 21169 21138 0 -1 4202496 258455 0 0 0 136029 162 0 0 25 0 1 0 55622078 1010368512 240540 1992294400 134512640 134902295 4292942128 18446744073709551615 4160086750 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/21171/statm: 246672 240540 269 96 0 245884 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 995388

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.98 2/108 21219
/proc/meminfo: memFree=874952/2059040 swapFree=4136140/4192956
[pid=21169] ppid=21167 vsize=8700 CPUtime=0
/proc/21169/stat : 21169 (run) S 21167 21169 21138 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 55622078 8908800 251 1992294400 4194304 4922060 140734962112976 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21169/statm: 2175 251 211 178 0 68 0
[pid=21171] ppid=21169 vsize=991844 CPUtime=1421.9
/proc/21171/stat : 21171 (PBPASSolver) R 21169 21169 21138 0 -1 4202496 259737 0 0 0 142027 163 0 0 25 0 1 0 55622078 1015648256 241822 1992294400 134512640 134902295 4292942128 18446744073709551615 4160124642 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/21171/statm: 247961 241822 269 96 0 247173 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 1000544

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/108 21221
/proc/meminfo: memFree=870612/2059040 swapFree=4136140/4192956
[pid=21169] ppid=21167 vsize=8700 CPUtime=0
/proc/21169/stat : 21169 (run) S 21167 21169 21138 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 55622078 8908800 251 1992294400 4194304 4922060 140734962112976 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21169/statm: 2175 251 211 178 0 68 0
[pid=21171] ppid=21169 vsize=996208 CPUtime=1481.87
/proc/21171/stat : 21171 (PBPASSolver) R 21169 21169 21138 0 -1 4202496 260833 0 0 0 148023 164 0 0 25 0 1 0 55622078 1020116992 242918 1992294400 134512640 134902295 4292942128 18446744073709551615 4160116862 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/21171/statm: 249052 242918 269 96 0 248264 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 1004908

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/108 21223
/proc/meminfo: memFree=865652/2059040 swapFree=4136140/4192956
[pid=21169] ppid=21167 vsize=8700 CPUtime=0
/proc/21169/stat : 21169 (run) S 21167 21169 21138 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 55622078 8908800 251 1992294400 4194304 4922060 140734962112976 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21169/statm: 2175 251 211 178 0 68 0
[pid=21171] ppid=21169 vsize=1000996 CPUtime=1541.86
/proc/21171/stat : 21171 (PBPASSolver) R 21169 21169 21138 0 -1 4202496 262043 0 0 0 154021 165 0 0 25 0 1 0 55622078 1025019904 244128 1992294400 134512640 134902295 4292942128 18446744073709551615 4160105652 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/21171/statm: 250249 244128 269 96 0 249461 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 1009696

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/108 21223
/proc/meminfo: memFree=860692/2059040 swapFree=4136140/4192956
[pid=21169] ppid=21167 vsize=8700 CPUtime=0
/proc/21169/stat : 21169 (run) S 21167 21169 21138 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 55622078 8908800 251 1992294400 4194304 4922060 140734962112976 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21169/statm: 2175 251 211 178 0 68 0
[pid=21171] ppid=21169 vsize=1005928 CPUtime=1601.84
/proc/21171/stat : 21171 (PBPASSolver) R 21169 21169 21138 0 -1 4202496 263271 0 0 0 160017 167 0 0 25 0 1 0 55622078 1030070272 245356 1992294400 134512640 134902295 4292942128 18446744073709551615 4160116862 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/21171/statm: 251482 245356 269 96 0 250694 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 1014628

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/108 21225
/proc/meminfo: memFree=856228/2059040 swapFree=4136140/4192956
[pid=21169] ppid=21167 vsize=8700 CPUtime=0
/proc/21169/stat : 21169 (run) S 21167 21169 21138 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 55622078 8908800 251 1992294400 4194304 4922060 140734962112976 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21169/statm: 2175 251 211 178 0 68 0
[pid=21171] ppid=21169 vsize=1010348 CPUtime=1661.82
/proc/21171/stat : 21171 (PBPASSolver) R 21169 21169 21138 0 -1 4202496 264379 0 0 0 166014 168 0 0 25 0 1 0 55622078 1034596352 246464 1992294400 134512640 134902295 4292942128 18446744073709551615 4160105914 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/21171/statm: 252587 246464 269 96 0 251799 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 1019048

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/108 21227
/proc/meminfo: memFree=852012/2059040 swapFree=4136140/4192956
[pid=21169] ppid=21167 vsize=8700 CPUtime=0
/proc/21169/stat : 21169 (run) S 21167 21169 21138 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 55622078 8908800 251 1992294400 4194304 4922060 140734962112976 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21169/statm: 2175 251 211 178 0 68 0
[pid=21171] ppid=21169 vsize=1014572 CPUtime=1721.81
/proc/21171/stat : 21171 (PBPASSolver) R 21169 21169 21138 0 -1 4202496 265423 0 0 0 172010 171 0 0 25 0 1 0 55622078 1038921728 247508 1992294400 134512640 134902295 4292942128 18446744073709551615 4160086724 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/21171/statm: 253643 247508 269 96 0 252855 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 1023272

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/108 21229
/proc/meminfo: memFree=847920/2059040 swapFree=4136140/4192956
[pid=21169] ppid=21167 vsize=8700 CPUtime=0
/proc/21169/stat : 21169 (run) S 21167 21169 21138 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 55622078 8908800 251 1992294400 4194304 4922060 140734962112976 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21169/statm: 2175 251 211 178 0 68 0
[pid=21171] ppid=21169 vsize=1018556 CPUtime=1781.79
/proc/21171/stat : 21171 (PBPASSolver) R 21169 21169 21138 0 -1 4202496 266439 0 0 0 178007 172 0 0 25 0 1 0 55622078 1043001344 248524 1992294400 134512640 134902295 4292942128 18446744073709551615 4160086656 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/21171/statm: 254639 248524 269 96 0 253851 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 1027256



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 0.98 2/108 21229
/proc/meminfo: memFree=846556/2059040 swapFree=4136140/4192956
[pid=21169] ppid=21167 vsize=8700 CPUtime=0
/proc/21169/stat : 21169 (run) S 21167 21169 21138 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 55622078 8908800 251 1992294400 4194304 4922060 140734962112976 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21169/statm: 2175 251 211 178 0 68 0
[pid=21171] ppid=21169 vsize=1019876 CPUtime=1800.1
/proc/21171/stat : 21171 (PBPASSolver) R 21169 21169 21138 0 -1 4202496 266765 0 0 0 179838 172 0 0 25 0 1 0 55622078 1044353024 248850 1992294400 134512640 134902295 4292942128 18446744073709551615 4160086696 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/21171/statm: 254969 248850 269 96 0 254181 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 1028576

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 21169 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=999
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=2999
# CPU time returned by wait4() is 0.003998
# while last known CPU time is 1800.1
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1800.62
CPU time (s): 1800.1
CPU user time (s): 1798.38
CPU system time (s): 1.72
CPU usage (%): 99.971
Max. virtual memory (cumulated for all children) (KiB): 1028576

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= 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= 4

runsolver used 2.79257 second user time and 8.69068 second system time

The end

Launcher Data 

Begin job on node001 at 2010-06-17 20:43:01
IDJOB=2674138
IDBENCH=2493
IDSOLVER=1174
FILE ID=node001/2674138-1276800180
PBS_JOBID= 11176680
Free space on /tmp= 62512 MiB

SOLVER NAME= PBPASSolver 2010-06-13
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-harp2.opb
COMMAND LINE= run BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2674138-1276800180/watcher-2674138-1276800180 -o /tmp/evaluation-result-2674138-1276800180/solver-2674138-1276800180 -C 1800 -W 2000 -M 1800  run HOME/instance-2674138-1276800180.opb

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

MD5SUM BENCH= a22cdb58cc05b8a325a786916e6a7ab8
RANDOM SEED=1520899258

node001.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.202
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.40
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.202
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.46
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1846036 kB
Buffers:         38040 kB
Cached:          83044 kB
SwapCached:       9352 kB
Active:          57068 kB
Inactive:        76320 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1846036 kB
SwapTotal:     4192956 kB
SwapFree:      4136140 kB
Dirty:             876 kB
Writeback:           0 kB
AnonPages:       10908 kB
Mapped:           9236 kB
Slab:            57788 kB
PageTables:       4028 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182472 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= 62512 MiB
End job on node001 at 2010-06-17 21:13:03