Trace number 2674755

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-13UNSAT 33.2199 33.2412

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-stocfor1.opb
MD5SUM323b3a265759dd86c0c933d2225addd0
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark1.07784
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables3330
Total number of constraints117
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints117
Minimum length of a constraint30
Maximum length of a constraint240
Number of terms in the objective function 810
Biggest coefficient in the objective function 159153234378752000
Number of bits for the biggest coefficient in the objective function 58
Sum of the numbers in the objective function 3935910692489746509
Number of bits of the sum of numbers in the objective function 62
Biggest number in a constraint 159153234378752000
Number of bits of the biggest number in a constraint 58
Biggest sum of numbers in a constraint 3935910692489746509
Number of bits of the biggest sum of numbers62
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.89	c 3330 117 0 0 0 0 0 0
0.00/0.89	c 536870912 ~x3361+268435456 ~x3360+134217728 ~x3359+67108864 ~x3358+33554432 ~x3357+16777216 ~x3356+8388608 ~x3355+4194304 ~x3354+2097152 ~x3353+1048576 ~x3352+524288 ~x3351+262144 ~x3350+131072 ~x3349+65536 ~x3348+32768 ~x3347+16384 ~x3346+8192 ~x3345+4096 ~x3344+2048 ~x3343+1024 ~x3342+512 ~x3341+256 ~x3340+128 ~x3339+64 ~x3338+32 ~x3337+16 ~x3336+8 ~x3335+4 ~x3334+2 ~x3333+1 ~x3332+536870912 x2101+268435456 x2100+134217728 x2099+67108864 x2098+33554432 x2097+16777216 x2096+8388608 x2095+4194304 x2094+2097152 x2093+1048576 x2092+524288 x2091+262144 x2090+131072 x2089+65536 x2088+32768 x2087+16384 x2086+8192 x2085+4096 x2084+2048 x2083+1024 x2082+512 x2081+256 x2080+128 x2079+64 x2078+32 x2077+16 x2076+8 x2075+4 x2074+2 x2073+1 x2072+536870912 ~x241+268435456 ~x240+134217728 ~x239+67108864 ~x238+33554432 ~x237+16777216 ~x236+8388608 ~x235+4194304 ~x234+2097152 ~x233+1048576 ~x232+524288 ~x231+262144 ~x230+131072 ~x229+65536 ~x228+32768 ~x227+16384 ~x226+8192 ~x225+4096 ~x224+2048 ~x223+1024 ~x222+512 ~x221+256 ~x220+128 ~x219+64 ~x218+32 ~x217+16 ~x216+8 ~x215+4 ~x214+2 ~x213+1 ~x212-0=2147483646
1.58/1.61	c 536870912 ~x35104+268435456 ~x35103+134217728 ~x35102+67108864 ~x35101+33554432 ~x35100+16777216 ~x35099+8388608 ~x35098+4194304 ~x35097+2097152 ~x35096+1048576 ~x35095+524288 ~x35094+262144 ~x35093+131072 ~x35092+65536 ~x35091+32768 ~x35090+16384 ~x35089+8192 ~x35088+4096 ~x35087+2048 ~x35086+1024 ~x35085+512 ~x35084+256 ~x35083+128 ~x35082+64 ~x35081+32 ~x35080+16 ~x35079+8 ~x35078+4 ~x35077+2 ~x35076+1 ~x35075+536870912 x2131+268435456 x2130+134217728 x2129+67108864 x2128+33554432 x2127+16777216 x2126+8388608 x2125+4194304 x2124+2097152 x2123+1048576 x2122+524288 x2121+262144 x2120+131072 x2119+65536 x2118+32768 x2117+16384 x2116+8192 x2115+4096 x2114+2048 x2113+1024 x2112+512 x2111+256 x2110+128 x2109+64 x2108+32 x2107+16 x2106+8 x2105+4 x2104+2 x2103+1 x2102+536870912 ~x271+268435456 ~x270+134217728 ~x269+67108864 ~x268+33554432 ~x267+16777216 ~x266+8388608 ~x265+4194304 ~x264+2097152 ~x263+1048576 ~x262+524288 ~x261+262144 ~x260+131072 ~x259+65536 ~x258+32768 ~x257+16384 ~x256+8192 ~x255+4096 ~x254+2048 ~x253+1024 ~x252+512 ~x251+256 ~x250+128 ~x249+64 ~x248+32 ~x247+16 ~x246+8 ~x245+4 ~x244+2 ~x243+1 ~x242-0=2147483646
2.28/2.33	c 536870912 ~x66847+268435456 ~x66846+134217728 ~x66845+67108864 ~x66844+33554432 ~x66843+16777216 ~x66842+8388608 ~x66841+4194304 ~x66840+2097152 ~x66839+1048576 ~x66838+524288 ~x66837+262144 ~x66836+131072 ~x66835+65536 ~x66834+32768 ~x66833+16384 ~x66832+8192 ~x66831+4096 ~x66830+2048 ~x66829+1024 ~x66828+512 ~x66827+256 ~x66826+128 ~x66825+64 ~x66824+32 ~x66823+16 ~x66822+8 ~x66821+4 ~x66820+2 ~x66819+1 ~x66818+536870912 x2161+268435456 x2160+134217728 x2159+67108864 x2158+33554432 x2157+16777216 x2156+8388608 x2155+4194304 x2154+2097152 x2153+1048576 x2152+524288 x2151+262144 x2150+131072 x2149+65536 x2148+32768 x2147+16384 x2146+8192 x2145+4096 x2144+2048 x2143+1024 x2142+512 x2141+256 x2140+128 x2139+64 x2138+32 x2137+16 x2136+8 x2135+4 x2134+2 x2133+1 x2132+536870912 ~x301+268435456 ~x300+134217728 ~x299+67108864 ~x298+33554432 ~x297+16777216 ~x296+8388608 ~x295+4194304 ~x294+2097152 ~x293+1048576 ~x292+524288 ~x291+262144 ~x290+131072 ~x289+65536 ~x288+32768 ~x287+16384 ~x286+8192 ~x285+4096 ~x284+2048 ~x283+1024 ~x282+512 ~x281+256 ~x280+128 ~x279+64 ~x278+32 ~x277+16 ~x276+8 ~x275+4 ~x274+2 ~x273+1 ~x272-0=2147483646
2.99/3.07	c 536870912 ~x98590+268435456 ~x98589+134217728 ~x98588+67108864 ~x98587+33554432 ~x98586+16777216 ~x98585+8388608 ~x98584+4194304 ~x98583+2097152 ~x98582+1048576 ~x98581+524288 ~x98580+262144 ~x98579+131072 ~x98578+65536 ~x98577+32768 ~x98576+16384 ~x98575+8192 ~x98574+4096 ~x98573+2048 ~x98572+1024 ~x98571+512 ~x98570+256 ~x98569+128 ~x98568+64 ~x98567+32 ~x98566+16 ~x98565+8 ~x98564+4 ~x98563+2 ~x98562+1 ~x98561+536870912 x2191+268435456 x2190+134217728 x2189+67108864 x2188+33554432 x2187+16777216 x2186+8388608 x2185+4194304 x2184+2097152 x2183+1048576 x2182+524288 x2181+262144 x2180+131072 x2179+65536 x2178+32768 x2177+16384 x2176+8192 x2175+4096 x2174+2048 x2173+1024 x2172+512 x2171+256 x2170+128 x2169+64 x2168+32 x2167+16 x2166+8 x2165+4 x2164+2 x2163+1 x2162+536870912 ~x331+268435456 ~x330+134217728 ~x329+67108864 ~x328+33554432 ~x327+16777216 ~x326+8388608 ~x325+4194304 ~x324+2097152 ~x323+1048576 ~x322+524288 ~x321+262144 ~x320+131072 ~x319+65536 ~x318+32768 ~x317+16384 ~x316+8192 ~x315+4096 ~x314+2048 ~x313+1024 ~x312+512 ~x311+256 ~x310+128 ~x309+64 ~x308+32 ~x307+16 ~x306+8 ~x305+4 ~x304+2 ~x303+1 ~x302-0=2147483646
3.78/3.81	c 536870912 ~x130333+268435456 ~x130332+134217728 ~x130331+67108864 ~x130330+33554432 ~x130329+16777216 ~x130328+8388608 ~x130327+4194304 ~x130326+2097152 ~x130325+1048576 ~x130324+524288 ~x130323+262144 ~x130322+131072 ~x130321+65536 ~x130320+32768 ~x130319+16384 ~x130318+8192 ~x130317+4096 ~x130316+2048 ~x130315+1024 ~x130314+512 ~x130313+256 ~x130312+128 ~x130311+64 ~x130310+32 ~x130309+16 ~x130308+8 ~x130307+4 ~x130306+2 ~x130305+1 ~x130304+536870912 x2221+268435456 x2220+134217728 x2219+67108864 x2218+33554432 x2217+16777216 x2216+8388608 x2215+4194304 x2214+2097152 x2213+1048576 x2212+524288 x2211+262144 x2210+131072 x2209+65536 x2208+32768 x2207+16384 x2206+8192 x2205+4096 x2204+2048 x2203+1024 x2202+512 x2201+256 x2200+128 x2199+64 x2198+32 x2197+16 x2196+8 x2195+4 x2194+2 x2193+1 x2192+536870912 ~x361+268435456 ~x360+134217728 ~x359+67108864 ~x358+33554432 ~x357+16777216 ~x356+8388608 ~x355+4194304 ~x354+2097152 ~x353+1048576 ~x352+524288 ~x351+262144 ~x350+131072 ~x349+65536 ~x348+32768 ~x347+16384 ~x346+8192 ~x345+4096 ~x344+2048 ~x343+1024 ~x342+512 ~x341+256 ~x340+128 ~x339+64 ~x338+32 ~x337+16 ~x336+8 ~x335+4 ~x334+2 ~x333+1 ~x332-0=2147483646
4.49/4.55	c 536870912 ~x162076+268435456 ~x162075+134217728 ~x162074+67108864 ~x162073+33554432 ~x162072+16777216 ~x162071+8388608 ~x162070+4194304 ~x162069+2097152 ~x162068+1048576 ~x162067+524288 ~x162066+262144 ~x162065+131072 ~x162064+65536 ~x162063+32768 ~x162062+16384 ~x162061+8192 ~x162060+4096 ~x162059+2048 ~x162058+1024 ~x162057+512 ~x162056+256 ~x162055+128 ~x162054+64 ~x162053+32 ~x162052+16 ~x162051+8 ~x162050+4 ~x162049+2 ~x162048+1 ~x162047+536870912 x2251+268435456 x2250+134217728 x2249+67108864 x2248+33554432 x2247+16777216 x2246+8388608 x2245+4194304 x2244+2097152 x2243+1048576 x2242+524288 x2241+262144 x2240+131072 x2239+65536 x2238+32768 x2237+16384 x2236+8192 x2235+4096 x2234+2048 x2233+1024 x2232+512 x2231+256 x2230+128 x2229+64 x2228+32 x2227+16 x2226+8 x2225+4 x2224+2 x2223+1 x2222+536870912 ~x391+268435456 ~x390+134217728 ~x389+67108864 ~x388+33554432 ~x387+16777216 ~x386+8388608 ~x385+4194304 ~x384+2097152 ~x383+1048576 ~x382+524288 ~x381+262144 ~x380+131072 ~x379+65536 ~x378+32768 ~x377+16384 ~x376+8192 ~x375+4096 ~x374+2048 ~x373+1024 ~x372+512 ~x371+256 ~x370+128 ~x369+64 ~x368+32 ~x367+16 ~x366+8 ~x365+4 ~x364+2 ~x363+1 ~x362-0=2147483646
5.18/5.27	c 536870912 ~x193819+268435456 ~x193818+134217728 ~x193817+67108864 ~x193816+33554432 ~x193815+16777216 ~x193814+8388608 ~x193813+4194304 ~x193812+2097152 ~x193811+1048576 ~x193810+524288 ~x193809+262144 ~x193808+131072 ~x193807+65536 ~x193806+32768 ~x193805+16384 ~x193804+8192 ~x193803+4096 ~x193802+2048 ~x193801+1024 ~x193800+512 ~x193799+256 ~x193798+128 ~x193797+64 ~x193796+32 ~x193795+16 ~x193794+8 ~x193793+4 ~x193792+2 ~x193791+1 ~x193790+536870912 x2281+268435456 x2280+134217728 x2279+67108864 x2278+33554432 x2277+16777216 x2276+8388608 x2275+4194304 x2274+2097152 x2273+1048576 x2272+524288 x2271+262144 x2270+131072 x2269+65536 x2268+32768 x2267+16384 x2266+8192 x2265+4096 x2264+2048 x2263+1024 x2262+512 x2261+256 x2260+128 x2259+64 x2258+32 x2257+16 x2256+8 x2255+4 x2254+2 x2253+1 x2252+536870912 ~x421+268435456 ~x420+134217728 ~x419+67108864 ~x418+33554432 ~x417+16777216 ~x416+8388608 ~x415+4194304 ~x414+2097152 ~x413+1048576 ~x412+524288 ~x411+262144 ~x410+131072 ~x409+65536 ~x408+32768 ~x407+16384 ~x406+8192 ~x405+4096 ~x404+2048 ~x403+1024 ~x402+512 ~x401+256 ~x400+128 ~x399+64 ~x398+32 ~x397+16 ~x396+8 ~x395+4 ~x394+2 ~x393+1 ~x392-0=2147483646
5.89/5.99	c 536870912 ~x225562+268435456 ~x225561+134217728 ~x225560+67108864 ~x225559+33554432 ~x225558+16777216 ~x225557+8388608 ~x225556+4194304 ~x225555+2097152 ~x225554+1048576 ~x225553+524288 ~x225552+262144 ~x225551+131072 ~x225550+65536 ~x225549+32768 ~x225548+16384 ~x225547+8192 ~x225546+4096 ~x225545+2048 ~x225544+1024 ~x225543+512 ~x225542+256 ~x225541+128 ~x225540+64 ~x225539+32 ~x225538+16 ~x225537+8 ~x225536+4 ~x225535+2 ~x225534+1 ~x225533+536870912 x2311+268435456 x2310+134217728 x2309+67108864 x2308+33554432 x2307+16777216 x2306+8388608 x2305+4194304 x2304+2097152 x2303+1048576 x2302+524288 x2301+262144 x2300+131072 x2299+65536 x2298+32768 x2297+16384 x2296+8192 x2295+4096 x2294+2048 x2293+1024 x2292+512 x2291+256 x2290+128 x2289+64 x2288+32 x2287+16 x2286+8 x2285+4 x2284+2 x2283+1 x2282+536870912 ~x451+268435456 ~x450+134217728 ~x449+67108864 ~x448+33554432 ~x447+16777216 ~x446+8388608 ~x445+4194304 ~x444+2097152 ~x443+1048576 ~x442+524288 ~x441+262144 ~x440+131072 ~x439+65536 ~x438+32768 ~x437+16384 ~x436+8192 ~x435+4096 ~x434+2048 ~x433+1024 ~x432+512 ~x431+256 ~x430+128 ~x429+64 ~x428+32 ~x427+16 ~x426+8 ~x425+4 ~x424+2 ~x423+1 ~x422-0=2147483646
6.68/6.72	c 536870912 ~x257305+268435456 ~x257304+134217728 ~x257303+67108864 ~x257302+33554432 ~x257301+16777216 ~x257300+8388608 ~x257299+4194304 ~x257298+2097152 ~x257297+1048576 ~x257296+524288 ~x257295+262144 ~x257294+131072 ~x257293+65536 ~x257292+32768 ~x257291+16384 ~x257290+8192 ~x257289+4096 ~x257288+2048 ~x257287+1024 ~x257286+512 ~x257285+256 ~x257284+128 ~x257283+64 ~x257282+32 ~x257281+16 ~x257280+8 ~x257279+4 ~x257278+2 ~x257277+1 ~x257276+536870912 x2341+268435456 x2340+134217728 x2339+67108864 x2338+33554432 x2337+16777216 x2336+8388608 x2335+4194304 x2334+2097152 x2333+1048576 x2332+524288 x2331+262144 x2330+131072 x2329+65536 x2328+32768 x2327+16384 x2326+8192 x2325+4096 x2324+2048 x2323+1024 x2322+512 x2321+256 x2320+128 x2319+64 x2318+32 x2317+16 x2316+8 x2315+4 x2314+2 x2313+1 x2312+536870912 ~x481+268435456 ~x480+134217728 ~x479+67108864 ~x478+33554432 ~x477+16777216 ~x476+8388608 ~x475+4194304 ~x474+2097152 ~x473+1048576 ~x472+524288 ~x471+262144 ~x470+131072 ~x469+65536 ~x468+32768 ~x467+16384 ~x466+8192 ~x465+4096 ~x464+2048 ~x463+1024 ~x462+512 ~x461+256 ~x460+128 ~x459+64 ~x458+32 ~x457+16 ~x456+8 ~x455+4 ~x454+2 ~x453+1 ~x452-0=2147483646
7.38/7.44	c 536870912 ~x289048+268435456 ~x289047+134217728 ~x289046+67108864 ~x289045+33554432 ~x289044+16777216 ~x289043+8388608 ~x289042+4194304 ~x289041+2097152 ~x289040+1048576 ~x289039+524288 ~x289038+262144 ~x289037+131072 ~x289036+65536 ~x289035+32768 ~x289034+16384 ~x289033+8192 ~x289032+4096 ~x289031+2048 ~x289030+1024 ~x289029+512 ~x289028+256 ~x289027+128 ~x289026+64 ~x289025+32 ~x289024+16 ~x289023+8 ~x289022+4 ~x289021+2 ~x289020+1 ~x289019+536870912 x2371+268435456 x2370+134217728 x2369+67108864 x2368+33554432 x2367+16777216 x2366+8388608 x2365+4194304 x2364+2097152 x2363+1048576 x2362+524288 x2361+262144 x2360+131072 x2359+65536 x2358+32768 x2357+16384 x2356+8192 x2355+4096 x2354+2048 x2353+1024 x2352+512 x2351+256 x2350+128 x2349+64 x2348+32 x2347+16 x2346+8 x2345+4 x2344+2 x2343+1 x2342+536870912 ~x511+268435456 ~x510+134217728 ~x509+67108864 ~x508+33554432 ~x507+16777216 ~x506+8388608 ~x505+4194304 ~x504+2097152 ~x503+1048576 ~x502+524288 ~x501+262144 ~x500+131072 ~x499+65536 ~x498+32768 ~x497+16384 ~x496+8192 ~x495+4096 ~x494+2048 ~x493+1024 ~x492+512 ~x491+256 ~x490+128 ~x489+64 ~x488+32 ~x487+16 ~x486+8 ~x485+4 ~x484+2 ~x483+1 ~x482-0=2147483646
8.08/8.16	c 536870912 ~x320791+268435456 ~x320790+134217728 ~x320789+67108864 ~x320788+33554432 ~x320787+16777216 ~x320786+8388608 ~x320785+4194304 ~x320784+2097152 ~x320783+1048576 ~x320782+524288 ~x320781+262144 ~x320780+131072 ~x320779+65536 ~x320778+32768 ~x320777+16384 ~x320776+8192 ~x320775+4096 ~x320774+2048 ~x320773+1024 ~x320772+512 ~x320771+256 ~x320770+128 ~x320769+64 ~x320768+32 ~x320767+16 ~x320766+8 ~x320765+4 ~x320764+2 ~x320763+1 ~x320762+536870912 x2401+268435456 x2400+134217728 x2399+67108864 x2398+33554432 x2397+16777216 x2396+8388608 x2395+4194304 x2394+2097152 x2393+1048576 x2392+524288 x2391+262144 x2390+131072 x2389+65536 x2388+32768 x2387+16384 x2386+8192 x2385+4096 x2384+2048 x2383+1024 x2382+512 x2381+256 x2380+128 x2379+64 x2378+32 x2377+16 x2376+8 x2375+4 x2374+2 x2373+1 x2372+536870912 ~x541+268435456 ~x540+134217728 ~x539+67108864 ~x538+33554432 ~x537+16777216 ~x536+8388608 ~x535+4194304 ~x534+2097152 ~x533+1048576 ~x532+524288 ~x531+262144 ~x530+131072 ~x529+65536 ~x528+32768 ~x527+16384 ~x526+8192 ~x525+4096 ~x524+2048 ~x523+1024 ~x522+512 ~x521+256 ~x520+128 ~x519+64 ~x518+32 ~x517+16 ~x516+8 ~x515+4 ~x514+2 ~x513+1 ~x512-0=2147483646
8.78/8.88	c 536870912 ~x352534+268435456 ~x352533+134217728 ~x352532+67108864 ~x352531+33554432 ~x352530+16777216 ~x352529+8388608 ~x352528+4194304 ~x352527+2097152 ~x352526+1048576 ~x352525+524288 ~x352524+262144 ~x352523+131072 ~x352522+65536 ~x352521+32768 ~x352520+16384 ~x352519+8192 ~x352518+4096 ~x352517+2048 ~x352516+1024 ~x352515+512 ~x352514+256 ~x352513+128 ~x352512+64 ~x352511+32 ~x352510+16 ~x352509+8 ~x352508+4 ~x352507+2 ~x352506+1 ~x352505+536870912 x2431+268435456 x2430+134217728 x2429+67108864 x2428+33554432 x2427+16777216 x2426+8388608 x2425+4194304 x2424+2097152 x2423+1048576 x2422+524288 x2421+262144 x2420+131072 x2419+65536 x2418+32768 x2417+16384 x2416+8192 x2415+4096 x2414+2048 x2413+1024 x2412+512 x2411+256 x2410+128 x2409+64 x2408+32 x2407+16 x2406+8 x2405+4 x2404+2 x2403+1 x2402+536870912 ~x571+268435456 ~x570+134217728 ~x569+67108864 ~x568+33554432 ~x567+16777216 ~x566+8388608 ~x565+4194304 ~x564+2097152 ~x563+1048576 ~x562+524288 ~x561+262144 ~x560+131072 ~x559+65536 ~x558+32768 ~x557+16384 ~x556+8192 ~x555+4096 ~x554+2048 ~x553+1024 ~x552+512 ~x551+256 ~x550+128 ~x549+64 ~x548+32 ~x547+16 ~x546+8 ~x545+4 ~x544+2 ~x543+1 ~x542-0=2147483646
9.57/9.60	c 536870912 ~x384277+268435456 ~x384276+134217728 ~x384275+67108864 ~x384274+33554432 ~x384273+16777216 ~x384272+8388608 ~x384271+4194304 ~x384270+2097152 ~x384269+1048576 ~x384268+524288 ~x384267+262144 ~x384266+131072 ~x384265+65536 ~x384264+32768 ~x384263+16384 ~x384262+8192 ~x384261+4096 ~x384260+2048 ~x384259+1024 ~x384258+512 ~x384257+256 ~x384256+128 ~x384255+64 ~x384254+32 ~x384253+16 ~x384252+8 ~x384251+4 ~x384250+2 ~x384249+1 ~x384248+536870912 x2461+268435456 x2460+134217728 x2459+67108864 x2458+33554432 x2457+16777216 x2456+8388608 x2455+4194304 x2454+2097152 x2453+1048576 x2452+524288 x2451+262144 x2450+131072 x2449+65536 x2448+32768 x2447+16384 x2446+8192 x2445+4096 x2444+2048 x2443+1024 x2442+512 x2441+256 x2440+128 x2439+64 x2438+32 x2437+16 x2436+8 x2435+4 x2434+2 x2433+1 x2432+536870912 ~x601+268435456 ~x600+134217728 ~x599+67108864 ~x598+33554432 ~x597+16777216 ~x596+8388608 ~x595+4194304 ~x594+2097152 ~x593+1048576 ~x592+524288 ~x591+262144 ~x590+131072 ~x589+65536 ~x588+32768 ~x587+16384 ~x586+8192 ~x585+4096 ~x584+2048 ~x583+1024 ~x582+512 ~x581+256 ~x580+128 ~x579+64 ~x578+32 ~x577+16 ~x576+8 ~x575+4 ~x574+2 ~x573+1 ~x572-0=2147483646
10.28/10.32	c 536870912 ~x416020+268435456 ~x416019+134217728 ~x416018+67108864 ~x416017+33554432 ~x416016+16777216 ~x416015+8388608 ~x416014+4194304 ~x416013+2097152 ~x416012+1048576 ~x416011+524288 ~x416010+262144 ~x416009+131072 ~x416008+65536 ~x416007+32768 ~x416006+16384 ~x416005+8192 ~x416004+4096 ~x416003+2048 ~x416002+1024 ~x416001+512 ~x416000+256 ~x415999+128 ~x415998+64 ~x415997+32 ~x415996+16 ~x415995+8 ~x415994+4 ~x415993+2 ~x415992+1 ~x415991+536870912 x2491+268435456 x2490+134217728 x2489+67108864 x2488+33554432 x2487+16777216 x2486+8388608 x2485+4194304 x2484+2097152 x2483+1048576 x2482+524288 x2481+262144 x2480+131072 x2479+65536 x2478+32768 x2477+16384 x2476+8192 x2475+4096 x2474+2048 x2473+1024 x2472+512 x2471+256 x2470+128 x2469+64 x2468+32 x2467+16 x2466+8 x2465+4 x2464+2 x2463+1 x2462+536870912 ~x631+268435456 ~x630+134217728 ~x629+67108864 ~x628+33554432 ~x627+16777216 ~x626+8388608 ~x625+4194304 ~x624+2097152 ~x623+1048576 ~x622+524288 ~x621+262144 ~x620+131072 ~x619+65536 ~x618+32768 ~x617+16384 ~x616+8192 ~x615+4096 ~x614+2048 ~x613+1024 ~x612+512 ~x611+256 ~x610+128 ~x609+64 ~x608+32 ~x607+16 ~x606+8 ~x605+4 ~x604+2 ~x603+1 ~x602-0=2147483646
10.98/11.04	c 536870912 ~x447763+268435456 ~x447762+134217728 ~x447761+67108864 ~x447760+33554432 ~x447759+16777216 ~x447758+8388608 ~x447757+4194304 ~x447756+2097152 ~x447755+1048576 ~x447754+524288 ~x447753+262144 ~x447752+131072 ~x447751+65536 ~x447750+32768 ~x447749+16384 ~x447748+8192 ~x447747+4096 ~x447746+2048 ~x447745+1024 ~x447744+512 ~x447743+256 ~x447742+128 ~x447741+64 ~x447740+32 ~x447739+16 ~x447738+8 ~x447737+4 ~x447736+2 ~x447735+1 ~x447734+536870912 x2521+268435456 x2520+134217728 x2519+67108864 x2518+33554432 x2517+16777216 x2516+8388608 x2515+4194304 x2514+2097152 x2513+1048576 x2512+524288 x2511+262144 x2510+131072 x2509+65536 x2508+32768 x2507+16384 x2506+8192 x2505+4096 x2504+2048 x2503+1024 x2502+512 x2501+256 x2500+128 x2499+64 x2498+32 x2497+16 x2496+8 x2495+4 x2494+2 x2493+1 x2492+536870912 ~x661+268435456 ~x660+134217728 ~x659+67108864 ~x658+33554432 ~x657+16777216 ~x656+8388608 ~x655+4194304 ~x654+2097152 ~x653+1048576 ~x652+524288 ~x651+262144 ~x650+131072 ~x649+65536 ~x648+32768 ~x647+16384 ~x646+8192 ~x645+4096 ~x644+2048 ~x643+1024 ~x642+512 ~x641+256 ~x640+128 ~x639+64 ~x638+32 ~x637+16 ~x636+8 ~x635+4 ~x634+2 ~x633+1 ~x632-0=2147483646
11.68/11.76	c 536870912 ~x479506+268435456 ~x479505+134217728 ~x479504+67108864 ~x479503+33554432 ~x479502+16777216 ~x479501+8388608 ~x479500+4194304 ~x479499+2097152 ~x479498+1048576 ~x479497+524288 ~x479496+262144 ~x479495+131072 ~x479494+65536 ~x479493+32768 ~x479492+16384 ~x479491+8192 ~x479490+4096 ~x479489+2048 ~x479488+1024 ~x479487+512 ~x479486+256 ~x479485+128 ~x479484+64 ~x479483+32 ~x479482+16 ~x479481+8 ~x479480+4 ~x479479+2 ~x479478+1 ~x479477+536870912 x2551+268435456 x2550+134217728 x2549+67108864 x2548+33554432 x2547+16777216 x2546+8388608 x2545+4194304 x2544+2097152 x2543+1048576 x2542+524288 x2541+262144 x2540+131072 x2539+65536 x2538+32768 x2537+16384 x2536+8192 x2535+4096 x2534+2048 x2533+1024 x2532+512 x2531+256 x2530+128 x2529+64 x2528+32 x2527+16 x2526+8 x2525+4 x2524+2 x2523+1 x2522+536870912 ~x691+268435456 ~x690+134217728 ~x689+67108864 ~x688+33554432 ~x687+16777216 ~x686+8388608 ~x685+4194304 ~x684+2097152 ~x683+1048576 ~x682+524288 ~x681+262144 ~x680+131072 ~x679+65536 ~x678+32768 ~x677+16384 ~x676+8192 ~x675+4096 ~x674+2048 ~x673+1024 ~x672+512 ~x671+256 ~x670+128 ~x669+64 ~x668+32 ~x667+16 ~x666+8 ~x665+4 ~x664+2 ~x663+1 ~x662-0=2147483646
12.37/12.48	c 536870912 ~x511249+268435456 ~x511248+134217728 ~x511247+67108864 ~x511246+33554432 ~x511245+16777216 ~x511244+8388608 ~x511243+4194304 ~x511242+2097152 ~x511241+1048576 ~x511240+524288 ~x511239+262144 ~x511238+131072 ~x511237+65536 ~x511236+32768 ~x511235+16384 ~x511234+8192 ~x511233+4096 ~x511232+2048 ~x511231+1024 ~x511230+512 ~x511229+256 ~x511228+128 ~x511227+64 ~x511226+32 ~x511225+16 ~x511224+8 ~x511223+4 ~x511222+2 ~x511221+1 ~x511220+536870912 x2581+268435456 x2580+134217728 x2579+67108864 x2578+33554432 x2577+16777216 x2576+8388608 x2575+4194304 x2574+2097152 x2573+1048576 x2572+524288 x2571+262144 x2570+131072 x2569+65536 x2568+32768 x2567+16384 x2566+8192 x2565+4096 x2564+2048 x2563+1024 x2562+512 x2561+256 x2560+128 x2559+64 x2558+32 x2557+16 x2556+8 x2555+4 x2554+2 x2553+1 x2552+536870912 ~x721+268435456 ~x720+134217728 ~x719+67108864 ~x718+33554432 ~x717+16777216 ~x716+8388608 ~x715+4194304 ~x714+2097152 ~x713+1048576 ~x712+524288 ~x711+262144 ~x710+131072 ~x709+65536 ~x708+32768 ~x707+16384 ~x706+8192 ~x705+4096 ~x704+2048 ~x703+1024 ~x702+512 ~x701+256 ~x700+128 ~x699+64 ~x698+32 ~x697+16 ~x696+8 ~x695+4 ~x694+2 ~x693+1 ~x692-0=2147483646
13.18/13.20	c 536870912 ~x542992+268435456 ~x542991+134217728 ~x542990+67108864 ~x542989+33554432 ~x542988+16777216 ~x542987+8388608 ~x542986+4194304 ~x542985+2097152 ~x542984+1048576 ~x542983+524288 ~x542982+262144 ~x542981+131072 ~x542980+65536 ~x542979+32768 ~x542978+16384 ~x542977+8192 ~x542976+4096 ~x542975+2048 ~x542974+1024 ~x542973+512 ~x542972+256 ~x542971+128 ~x542970+64 ~x542969+32 ~x542968+16 ~x542967+8 ~x542966+4 ~x542965+2 ~x542964+1 ~x542963+536870912 x2611+268435456 x2610+134217728 x2609+67108864 x2608+33554432 x2607+16777216 x2606+8388608 x2605+4194304 x2604+2097152 x2603+1048576 x2602+524288 x2601+262144 x2600+131072 x2599+65536 x2598+32768 x2597+16384 x2596+8192 x2595+4096 x2594+2048 x2593+1024 x2592+512 x2591+256 x2590+128 x2589+64 x2588+32 x2587+16 x2586+8 x2585+4 x2584+2 x2583+1 x2582+536870912 ~x751+268435456 ~x750+134217728 ~x749+67108864 ~x748+33554432 ~x747+16777216 ~x746+8388608 ~x745+4194304 ~x744+2097152 ~x743+1048576 ~x742+524288 ~x741+262144 ~x740+131072 ~x739+65536 ~x738+32768 ~x737+16384 ~x736+8192 ~x735+4096 ~x734+2048 ~x733+1024 ~x732+512 ~x731+256 ~x730+128 ~x729+64 ~x728+32 ~x727+16 ~x726+8 ~x725+4 ~x724+2 ~x723+1 ~x722-0=2147483646
13.88/13.93	c 536870912 ~x574735+268435456 ~x574734+134217728 ~x574733+67108864 ~x574732+33554432 ~x574731+16777216 ~x574730+8388608 ~x574729+4194304 ~x574728+2097152 ~x574727+1048576 ~x574726+524288 ~x574725+262144 ~x574724+131072 ~x574723+65536 ~x574722+32768 ~x574721+16384 ~x574720+8192 ~x574719+4096 ~x574718+2048 ~x574717+1024 ~x574716+512 ~x574715+256 ~x574714+128 ~x574713+64 ~x574712+32 ~x574711+16 ~x574710+8 ~x574709+4 ~x574708+2 ~x574707+1 ~x574706+536870912 x2641+268435456 x2640+134217728 x2639+67108864 x2638+33554432 x2637+16777216 x2636+8388608 x2635+4194304 x2634+2097152 x2633+1048576 x2632+524288 x2631+262144 x2630+131072 x2629+65536 x2628+32768 x2627+16384 x2626+8192 x2625+4096 x2624+2048 x2623+1024 x2622+512 x2621+256 x2620+128 x2619+64 x2618+32 x2617+16 x2616+8 x2615+4 x2614+2 x2613+1 x2612+536870912 ~x781+268435456 ~x780+134217728 ~x779+67108864 ~x778+33554432 ~x777+16777216 ~x776+8388608 ~x775+4194304 ~x774+2097152 ~x773+1048576 ~x772+524288 ~x771+262144 ~x770+131072 ~x769+65536 ~x768+32768 ~x767+16384 ~x766+8192 ~x765+4096 ~x764+2048 ~x763+1024 ~x762+512 ~x761+256 ~x760+128 ~x759+64 ~x758+32 ~x757+16 ~x756+8 ~x755+4 ~x754+2 ~x753+1 ~x752-0=2147483646
14.58/14.64	c 536870912 ~x606478+268435456 ~x606477+134217728 ~x606476+67108864 ~x606475+33554432 ~x606474+16777216 ~x606473+8388608 ~x606472+4194304 ~x606471+2097152 ~x606470+1048576 ~x606469+524288 ~x606468+262144 ~x606467+131072 ~x606466+65536 ~x606465+32768 ~x606464+16384 ~x606463+8192 ~x606462+4096 ~x606461+2048 ~x606460+1024 ~x606459+512 ~x606458+256 ~x606457+128 ~x606456+64 ~x606455+32 ~x606454+16 ~x606453+8 ~x606452+4 ~x606451+2 ~x606450+1 ~x606449+536870912 x2671+268435456 x2670+134217728 x2669+67108864 x2668+33554432 x2667+16777216 x2666+8388608 x2665+4194304 x2664+2097152 x2663+1048576 x2662+524288 x2661+262144 x2660+131072 x2659+65536 x2658+32768 x2657+16384 x2656+8192 x2655+4096 x2654+2048 x2653+1024 x2652+512 x2651+256 x2650+128 x2649+64 x2648+32 x2647+16 x2646+8 x2645+4 x2644+2 x2643+1 x2642+536870912 ~x811+268435456 ~x810+134217728 ~x809+67108864 ~x808+33554432 ~x807+16777216 ~x806+8388608 ~x805+4194304 ~x804+2097152 ~x803+1048576 ~x802+524288 ~x801+262144 ~x800+131072 ~x799+65536 ~x798+32768 ~x797+16384 ~x796+8192 ~x795+4096 ~x794+2048 ~x793+1024 ~x792+512 ~x791+256 ~x790+128 ~x789+64 ~x788+32 ~x787+16 ~x786+8 ~x785+4 ~x784+2 ~x783+1 ~x782-0=2147483646
15.28/15.36	c 536870912 ~x638221+268435456 ~x638220+134217728 ~x638219+67108864 ~x638218+33554432 ~x638217+16777216 ~x638216+8388608 ~x638215+4194304 ~x638214+2097152 ~x638213+1048576 ~x638212+524288 ~x638211+262144 ~x638210+131072 ~x638209+65536 ~x638208+32768 ~x638207+16384 ~x638206+8192 ~x638205+4096 ~x638204+2048 ~x638203+1024 ~x638202+512 ~x638201+256 ~x638200+128 ~x638199+64 ~x638198+32 ~x638197+16 ~x638196+8 ~x638195+4 ~x638194+2 ~x638193+1 ~x638192+536870912 x2701+268435456 x2700+134217728 x2699+67108864 x2698+33554432 x2697+16777216 x2696+8388608 x2695+4194304 x2694+2097152 x2693+1048576 x2692+524288 x2691+262144 x2690+131072 x2689+65536 x2688+32768 x2687+16384 x2686+8192 x2685+4096 x2684+2048 x2683+1024 x2682+512 x2681+256 x2680+128 x2679+64 x2678+32 x2677+16 x2676+8 x2675+4 x2674+2 x2673+1 x2672+536870912 ~x841+268435456 ~x840+134217728 ~x839+67108864 ~x838+33554432 ~x837+16777216 ~x836+8388608 ~x835+4194304 ~x834+2097152 ~x833+1048576 ~x832+524288 ~x831+262144 ~x830+131072 ~x829+65536 ~x828+32768 ~x827+16384 ~x826+8192 ~x825+4096 ~x824+2048 ~x823+1024 ~x822+512 ~x821+256 ~x820+128 ~x819+64 ~x818+32 ~x817+16 ~x816+8 ~x815+4 ~x814+2 ~x813+1 ~x812-0=2147483646
15.98/16.09	c 536870912 ~x669964+268435456 ~x669963+134217728 ~x669962+67108864 ~x669961+33554432 ~x669960+16777216 ~x669959+8388608 ~x669958+4194304 ~x669957+2097152 ~x669956+1048576 ~x669955+524288 ~x669954+262144 ~x669953+131072 ~x669952+65536 ~x669951+32768 ~x669950+16384 ~x669949+8192 ~x669948+4096 ~x669947+2048 ~x669946+1024 ~x669945+512 ~x669944+256 ~x669943+128 ~x669942+64 ~x669941+32 ~x669940+16 ~x669939+8 ~x669938+4 ~x669937+2 ~x669936+1 ~x669935+536870912 x2731+268435456 x2730+134217728 x2729+67108864 x2728+33554432 x2727+16777216 x2726+8388608 x2725+4194304 x2724+2097152 x2723+1048576 x2722+524288 x2721+262144 x2720+131072 x2719+65536 x2718+32768 x2717+16384 x2716+8192 x2715+4096 x2714+2048 x2713+1024 x2712+512 x2711+256 x2710+128 x2709+64 x2708+32 x2707+16 x2706+8 x2705+4 x2704+2 x2703+1 x2702+536870912 ~x871+268435456 ~x870+134217728 ~x869+67108864 ~x868+33554432 ~x867+16777216 ~x866+8388608 ~x865+4194304 ~x864+2097152 ~x863+1048576 ~x862+524288 ~x861+262144 ~x860+131072 ~x859+65536 ~x858+32768 ~x857+16384 ~x856+8192 ~x855+4096 ~x854+2048 ~x853+1024 ~x852+512 ~x851+256 ~x850+128 ~x849+64 ~x848+32 ~x847+16 ~x846+8 ~x845+4 ~x844+2 ~x843+1 ~x842-0=2147483646
16.77/16.81	c 536870912 ~x701707+268435456 ~x701706+134217728 ~x701705+67108864 ~x701704+33554432 ~x701703+16777216 ~x701702+8388608 ~x701701+4194304 ~x701700+2097152 ~x701699+1048576 ~x701698+524288 ~x701697+262144 ~x701696+131072 ~x701695+65536 ~x701694+32768 ~x701693+16384 ~x701692+8192 ~x701691+4096 ~x701690+2048 ~x701689+1024 ~x701688+512 ~x701687+256 ~x701686+128 ~x701685+64 ~x701684+32 ~x701683+16 ~x701682+8 ~x701681+4 ~x701680+2 ~x701679+1 ~x701678+536870912 x2761+268435456 x2760+134217728 x2759+67108864 x2758+33554432 x2757+16777216 x2756+8388608 x2755+4194304 x2754+2097152 x2753+1048576 x2752+524288 x2751+262144 x2750+131072 x2749+65536 x2748+32768 x2747+16384 x2746+8192 x2745+4096 x2744+2048 x2743+1024 x2742+512 x2741+256 x2740+128 x2739+64 x2738+32 x2737+16 x2736+8 x2735+4 x2734+2 x2733+1 x2732+536870912 ~x901+268435456 ~x900+134217728 ~x899+67108864 ~x898+33554432 ~x897+16777216 ~x896+8388608 ~x895+4194304 ~x894+2097152 ~x893+1048576 ~x892+524288 ~x891+262144 ~x890+131072 ~x889+65536 ~x888+32768 ~x887+16384 ~x886+8192 ~x885+4096 ~x884+2048 ~x883+1024 ~x882+512 ~x881+256 ~x880+128 ~x879+64 ~x878+32 ~x877+16 ~x876+8 ~x875+4 ~x874+2 ~x873+1 ~x872-0=2147483646
17.48/17.53	c 536870912 ~x733450+268435456 ~x733449+134217728 ~x733448+67108864 ~x733447+33554432 ~x733446+16777216 ~x733445+8388608 ~x733444+4194304 ~x733443+2097152 ~x733442+1048576 ~x733441+524288 ~x733440+262144 ~x733439+131072 ~x733438+65536 ~x733437+32768 ~x733436+16384 ~x733435+8192 ~x733434+4096 ~x733433+2048 ~x733432+1024 ~x733431+512 ~x733430+256 ~x733429+128 ~x733428+64 ~x733427+32 ~x733426+16 ~x733425+8 ~x733424+4 ~x733423+2 ~x733422+1 ~x733421+536870912 x2791+268435456 x2790+134217728 x2789+67108864 x2788+33554432 x2787+16777216 x2786+8388608 x2785+4194304 x2784+2097152 x2783+1048576 x2782+524288 x2781+262144 x2780+131072 x2779+65536 x2778+32768 x2777+16384 x2776+8192 x2775+4096 x2774+2048 x2773+1024 x2772+512 x2771+256 x2770+128 x2769+64 x2768+32 x2767+16 x2766+8 x2765+4 x2764+2 x2763+1 x2762+536870912 ~x931+268435456 ~x930+134217728 ~x929+67108864 ~x928+33554432 ~x927+16777216 ~x926+8388608 ~x925+4194304 ~x924+2097152 ~x923+1048576 ~x922+524288 ~x921+262144 ~x920+131072 ~x919+65536 ~x918+32768 ~x917+16384 ~x916+8192 ~x915+4096 ~x914+2048 ~x913+1024 ~x912+512 ~x911+256 ~x910+128 ~x909+64 ~x908+32 ~x907+16 ~x906+8 ~x905+4 ~x904+2 ~x903+1 ~x902-0=2147483646
18.18/18.25	c 536870912 ~x765193+268435456 ~x765192+134217728 ~x765191+67108864 ~x765190+33554432 ~x765189+16777216 ~x765188+8388608 ~x765187+4194304 ~x765186+2097152 ~x765185+1048576 ~x765184+524288 ~x765183+262144 ~x765182+131072 ~x765181+65536 ~x765180+32768 ~x765179+16384 ~x765178+8192 ~x765177+4096 ~x765176+2048 ~x765175+1024 ~x765174+512 ~x765173+256 ~x765172+128 ~x765171+64 ~x765170+32 ~x765169+16 ~x765168+8 ~x765167+4 ~x765166+2 ~x765165+1 ~x765164+536870912 x2821+268435456 x2820+134217728 x2819+67108864 x2818+33554432 x2817+16777216 x2816+8388608 x2815+4194304 x2814+2097152 x2813+1048576 x2812+524288 x2811+262144 x2810+131072 x2809+65536 x2808+32768 x2807+16384 x2806+8192 x2805+4096 x2804+2048 x2803+1024 x2802+512 x2801+256 x2800+128 x2799+64 x2798+32 x2797+16 x2796+8 x2795+4 x2794+2 x2793+1 x2792+536870912 ~x961+268435456 ~x960+134217728 ~x959+67108864 ~x958+33554432 ~x957+16777216 ~x956+8388608 ~x955+4194304 ~x954+2097152 ~x953+1048576 ~x952+524288 ~x951+262144 ~x950+131072 ~x949+65536 ~x948+32768 ~x947+16384 ~x946+8192 ~x945+4096 ~x944+2048 ~x943+1024 ~x942+512 ~x941+256 ~x940+128 ~x939+64 ~x938+32 ~x937+16 ~x936+8 ~x935+4 ~x934+2 ~x933+1 ~x932-0=2147483646
18.88/18.97	c 536870912 ~x796936+268435456 ~x796935+134217728 ~x796934+67108864 ~x796933+33554432 ~x796932+16777216 ~x796931+8388608 ~x796930+4194304 ~x796929+2097152 ~x796928+1048576 ~x796927+524288 ~x796926+262144 ~x796925+131072 ~x796924+65536 ~x796923+32768 ~x796922+16384 ~x796921+8192 ~x796920+4096 ~x796919+2048 ~x796918+1024 ~x796917+512 ~x796916+256 ~x796915+128 ~x796914+64 ~x796913+32 ~x796912+16 ~x796911+8 ~x796910+4 ~x796909+2 ~x796908+1 ~x796907+536870912 x2851+268435456 x2850+134217728 x2849+67108864 x2848+33554432 x2847+16777216 x2846+8388608 x2845+4194304 x2844+2097152 x2843+1048576 x2842+524288 x2841+262144 x2840+131072 x2839+65536 x2838+32768 x2837+16384 x2836+8192 x2835+4096 x2834+2048 x2833+1024 x2832+512 x2831+256 x2830+128 x2829+64 x2828+32 x2827+16 x2826+8 x2825+4 x2824+2 x2823+1 x2822+536870912 ~x991+268435456 ~x990+134217728 ~x989+67108864 ~x988+33554432 ~x987+16777216 ~x986+8388608 ~x985+4194304 ~x984+2097152 ~x983+1048576 ~x982+524288 ~x981+262144 ~x980+131072 ~x979+65536 ~x978+32768 ~x977+16384 ~x976+8192 ~x975+4096 ~x974+2048 ~x973+1024 ~x972+512 ~x971+256 ~x970+128 ~x969+64 ~x968+32 ~x967+16 ~x966+8 ~x965+4 ~x964+2 ~x963+1 ~x962-0=2147483646
19.58/19.70	c 536870912 ~x828679+268435456 ~x828678+134217728 ~x828677+67108864 ~x828676+33554432 ~x828675+16777216 ~x828674+8388608 ~x828673+4194304 ~x828672+2097152 ~x828671+1048576 ~x828670+524288 ~x828669+262144 ~x828668+131072 ~x828667+65536 ~x828666+32768 ~x828665+16384 ~x828664+8192 ~x828663+4096 ~x828662+2048 ~x828661+1024 ~x828660+512 ~x828659+256 ~x828658+128 ~x828657+64 ~x828656+32 ~x828655+16 ~x828654+8 ~x828653+4 ~x828652+2 ~x828651+1 ~x828650+536870912 x2881+268435456 x2880+134217728 x2879+67108864 x2878+33554432 x2877+16777216 x2876+8388608 x2875+4194304 x2874+2097152 x2873+1048576 x2872+524288 x2871+262144 x2870+131072 x2869+65536 x2868+32768 x2867+16384 x2866+8192 x2865+4096 x2864+2048 x2863+1024 x2862+512 x2861+256 x2860+128 x2859+64 x2858+32 x2857+16 x2856+8 x2855+4 x2854+2 x2853+1 x2852+536870912 ~x1021+268435456 ~x1020+134217728 ~x1019+67108864 ~x1018+33554432 ~x1017+16777216 ~x1016+8388608 ~x1015+4194304 ~x1014+2097152 ~x1013+1048576 ~x1012+524288 ~x1011+262144 ~x1010+131072 ~x1009+65536 ~x1008+32768 ~x1007+16384 ~x1006+8192 ~x1005+4096 ~x1004+2048 ~x1003+1024 ~x1002+512 ~x1001+256 ~x1000+128 ~x999+64 ~x998+32 ~x997+16 ~x996+8 ~x995+4 ~x994+2 ~x993+1 ~x992-0=2147483646
20.37/20.42	c 536870912 ~x860422+268435456 ~x860421+134217728 ~x860420+67108864 ~x860419+33554432 ~x860418+16777216 ~x860417+8388608 ~x860416+4194304 ~x860415+2097152 ~x860414+1048576 ~x860413+524288 ~x860412+262144 ~x860411+131072 ~x860410+65536 ~x860409+32768 ~x860408+16384 ~x860407+8192 ~x860406+4096 ~x860405+2048 ~x860404+1024 ~x860403+512 ~x860402+256 ~x860401+128 ~x860400+64 ~x860399+32 ~x860398+16 ~x860397+8 ~x860396+4 ~x860395+2 ~x860394+1 ~x860393+536870912 x2911+268435456 x2910+134217728 x2909+67108864 x2908+33554432 x2907+16777216 x2906+8388608 x2905+4194304 x2904+2097152 x2903+1048576 x2902+524288 x2901+262144 x2900+131072 x2899+65536 x2898+32768 x2897+16384 x2896+8192 x2895+4096 x2894+2048 x2893+1024 x2892+512 x2891+256 x2890+128 x2889+64 x2888+32 x2887+16 x2886+8 x2885+4 x2884+2 x2883+1 x2882+536870912 ~x1051+268435456 ~x1050+134217728 ~x1049+67108864 ~x1048+33554432 ~x1047+16777216 ~x1046+8388608 ~x1045+4194304 ~x1044+2097152 ~x1043+1048576 ~x1042+524288 ~x1041+262144 ~x1040+131072 ~x1039+65536 ~x1038+32768 ~x1037+16384 ~x1036+8192 ~x1035+4096 ~x1034+2048 ~x1033+1024 ~x1032+512 ~x1031+256 ~x1030+128 ~x1029+64 ~x1028+32 ~x1027+16 ~x1026+8 ~x1025+4 ~x1024+2 ~x1023+1 ~x1022-0=2147483646
21.08/21.14	c 536870912 ~x892165+268435456 ~x892164+134217728 ~x892163+67108864 ~x892162+33554432 ~x892161+16777216 ~x892160+8388608 ~x892159+4194304 ~x892158+2097152 ~x892157+1048576 ~x892156+524288 ~x892155+262144 ~x892154+131072 ~x892153+65536 ~x892152+32768 ~x892151+16384 ~x892150+8192 ~x892149+4096 ~x892148+2048 ~x892147+1024 ~x892146+512 ~x892145+256 ~x892144+128 ~x892143+64 ~x892142+32 ~x892141+16 ~x892140+8 ~x892139+4 ~x892138+2 ~x892137+1 ~x892136+536870912 x2941+268435456 x2940+134217728 x2939+67108864 x2938+33554432 x2937+16777216 x2936+8388608 x2935+4194304 x2934+2097152 x2933+1048576 x2932+524288 x2931+262144 x2930+131072 x2929+65536 x2928+32768 x2927+16384 x2926+8192 x2925+4096 x2924+2048 x2923+1024 x2922+512 x2921+256 x2920+128 x2919+64 x2918+32 x2917+16 x2916+8 x2915+4 x2914+2 x2913+1 x2912+536870912 ~x1081+268435456 ~x1080+134217728 ~x1079+67108864 ~x1078+33554432 ~x1077+16777216 ~x1076+8388608 ~x1075+4194304 ~x1074+2097152 ~x1073+1048576 ~x1072+524288 ~x1071+262144 ~x1070+131072 ~x1069+65536 ~x1068+32768 ~x1067+16384 ~x1066+8192 ~x1065+4096 ~x1064+2048 ~x1063+1024 ~x1062+512 ~x1061+256 ~x1060+128 ~x1059+64 ~x1058+32 ~x1057+16 ~x1056+8 ~x1055+4 ~x1054+2 ~x1053+1 ~x1052-0=2147483646
21.77/21.86	c 536870912 ~x923908+268435456 ~x923907+134217728 ~x923906+67108864 ~x923905+33554432 ~x923904+16777216 ~x923903+8388608 ~x923902+4194304 ~x923901+2097152 ~x923900+1048576 ~x923899+524288 ~x923898+262144 ~x923897+131072 ~x923896+65536 ~x923895+32768 ~x923894+16384 ~x923893+8192 ~x923892+4096 ~x923891+2048 ~x923890+1024 ~x923889+512 ~x923888+256 ~x923887+128 ~x923886+64 ~x923885+32 ~x923884+16 ~x923883+8 ~x923882+4 ~x923881+2 ~x923880+1 ~x923879+536870912 x2971+268435456 x2970+134217728 x2969+67108864 x2968+33554432 x2967+16777216 x2966+8388608 x2965+4194304 x2964+2097152 x2963+1048576 x2962+524288 x2961+262144 x2960+131072 x2959+65536 x2958+32768 x2957+16384 x2956+8192 x2955+4096 x2954+2048 x2953+1024 x2952+512 x2951+256 x2950+128 x2949+64 x2948+32 x2947+16 x2946+8 x2945+4 x2944+2 x2943+1 x2942+536870912 ~x1111+268435456 ~x1110+134217728 ~x1109+67108864 ~x1108+33554432 ~x1107+16777216 ~x1106+8388608 ~x1105+4194304 ~x1104+2097152 ~x1103+1048576 ~x1102+524288 ~x1101+262144 ~x1100+131072 ~x1099+65536 ~x1098+32768 ~x1097+16384 ~x1096+8192 ~x1095+4096 ~x1094+2048 ~x1093+1024 ~x1092+512 ~x1091+256 ~x1090+128 ~x1089+64 ~x1088+32 ~x1087+16 ~x1086+8 ~x1085+4 ~x1084+2 ~x1083+1 ~x1082-0=2147483646
22.47/22.57	c 536870912 ~x955651+268435456 ~x955650+134217728 ~x955649+67108864 ~x955648+33554432 ~x955647+16777216 ~x955646+8388608 ~x955645+4194304 ~x955644+2097152 ~x955643+1048576 ~x955642+524288 ~x955641+262144 ~x955640+131072 ~x955639+65536 ~x955638+32768 ~x955637+16384 ~x955636+8192 ~x955635+4096 ~x955634+2048 ~x955633+1024 ~x955632+512 ~x955631+256 ~x955630+128 ~x955629+64 ~x955628+32 ~x955627+16 ~x955626+8 ~x955625+4 ~x955624+2 ~x955623+1 ~x955622+536870912 x3001+268435456 x3000+134217728 x2999+67108864 x2998+33554432 x2997+16777216 x2996+8388608 x2995+4194304 x2994+2097152 x2993+1048576 x2992+524288 x2991+262144 x2990+131072 x2989+65536 x2988+32768 x2987+16384 x2986+8192 x2985+4096 x2984+2048 x2983+1024 x2982+512 x2981+256 x2980+128 x2979+64 x2978+32 x2977+16 x2976+8 x2975+4 x2974+2 x2973+1 x2972+536870912 ~x1141+268435456 ~x1140+134217728 ~x1139+67108864 ~x1138+33554432 ~x1137+16777216 ~x1136+8388608 ~x1135+4194304 ~x1134+2097152 ~x1133+1048576 ~x1132+524288 ~x1131+262144 ~x1130+131072 ~x1129+65536 ~x1128+32768 ~x1127+16384 ~x1126+8192 ~x1125+4096 ~x1124+2048 ~x1123+1024 ~x1122+512 ~x1121+256 ~x1120+128 ~x1119+64 ~x1118+32 ~x1117+16 ~x1116+8 ~x1115+4 ~x1114+2 ~x1113+1 ~x1112-0=2147483646
23.17/23.29	c 536870912 ~x987394+268435456 ~x987393+134217728 ~x987392+67108864 ~x987391+33554432 ~x987390+16777216 ~x987389+8388608 ~x987388+4194304 ~x987387+2097152 ~x987386+1048576 ~x987385+524288 ~x987384+262144 ~x987383+131072 ~x987382+65536 ~x987381+32768 ~x987380+16384 ~x987379+8192 ~x987378+4096 ~x987377+2048 ~x987376+1024 ~x987375+512 ~x987374+256 ~x987373+128 ~x987372+64 ~x987371+32 ~x987370+16 ~x987369+8 ~x987368+4 ~x987367+2 ~x987366+1 ~x987365+536870912 x3031+268435456 x3030+134217728 x3029+67108864 x3028+33554432 x3027+16777216 x3026+8388608 x3025+4194304 x3024+2097152 x3023+1048576 x3022+524288 x3021+262144 x3020+131072 x3019+65536 x3018+32768 x3017+16384 x3016+8192 x3015+4096 x3014+2048 x3013+1024 x3012+512 x3011+256 x3010+128 x3009+64 x3008+32 x3007+16 x3006+8 x3005+4 x3004+2 x3003+1 x3002+536870912 ~x1171+268435456 ~x1170+134217728 ~x1169+67108864 ~x1168+33554432 ~x1167+16777216 ~x1166+8388608 ~x1165+4194304 ~x1164+2097152 ~x1163+1048576 ~x1162+524288 ~x1161+262144 ~x1160+131072 ~x1159+65536 ~x1158+32768 ~x1157+16384 ~x1156+8192 ~x1155+4096 ~x1154+2048 ~x1153+1024 ~x1152+512 ~x1151+256 ~x1150+128 ~x1149+64 ~x1148+32 ~x1147+16 ~x1146+8 ~x1145+4 ~x1144+2 ~x1143+1 ~x1142-0=2147483646
23.97/24.03	c 536870912 ~x1019137+268435456 ~x1019136+134217728 ~x1019135+67108864 ~x1019134+33554432 ~x1019133+16777216 ~x1019132+8388608 ~x1019131+4194304 ~x1019130+2097152 ~x1019129+1048576 ~x1019128+524288 ~x1019127+262144 ~x1019126+131072 ~x1019125+65536 ~x1019124+32768 ~x1019123+16384 ~x1019122+8192 ~x1019121+4096 ~x1019120+2048 ~x1019119+1024 ~x1019118+512 ~x1019117+256 ~x1019116+128 ~x1019115+64 ~x1019114+32 ~x1019113+16 ~x1019112+8 ~x1019111+4 ~x1019110+2 ~x1019109+1 ~x1019108+536870912 x3061+268435456 x3060+134217728 x3059+67108864 x3058+33554432 x3057+16777216 x3056+8388608 x3055+4194304 x3054+2097152 x3053+1048576 x3052+524288 x3051+262144 x3050+131072 x3049+65536 x3048+32768 x3047+16384 x3046+8192 x3045+4096 x3044+2048 x3043+1024 x3042+512 x3041+256 x3040+128 x3039+64 x3038+32 x3037+16 x3036+8 x3035+4 x3034+2 x3033+1 x3032+536870912 ~x1201+268435456 ~x1200+134217728 ~x1199+67108864 ~x1198+33554432 ~x1197+16777216 ~x1196+8388608 ~x1195+4194304 ~x1194+2097152 ~x1193+1048576 ~x1192+524288 ~x1191+262144 ~x1190+131072 ~x1189+65536 ~x1188+32768 ~x1187+16384 ~x1186+8192 ~x1185+4096 ~x1184+2048 ~x1183+1024 ~x1182+512 ~x1181+256 ~x1180+128 ~x1179+64 ~x1178+32 ~x1177+16 ~x1176+8 ~x1175+4 ~x1174+2 ~x1173+1 ~x1172-0=2147483646
24.67/24.74	c 536870912 ~x1050880+268435456 ~x1050879+134217728 ~x1050878+67108864 ~x1050877+33554432 ~x1050876+16777216 ~x1050875+8388608 ~x1050874+4194304 ~x1050873+2097152 ~x1050872+1048576 ~x1050871+524288 ~x1050870+262144 ~x1050869+131072 ~x1050868+65536 ~x1050867+32768 ~x1050866+16384 ~x1050865+8192 ~x1050864+4096 ~x1050863+2048 ~x1050862+1024 ~x1050861+512 ~x1050860+256 ~x1050859+128 ~x1050858+64 ~x1050857+32 ~x1050856+16 ~x1050855+8 ~x1050854+4 ~x1050853+2 ~x1050852+1 ~x1050851+536870912 x3091+268435456 x3090+134217728 x3089+67108864 x3088+33554432 x3087+16777216 x3086+8388608 x3085+4194304 x3084+2097152 x3083+1048576 x3082+524288 x3081+262144 x3080+131072 x3079+65536 x3078+32768 x3077+16384 x3076+8192 x3075+4096 x3074+2048 x3073+1024 x3072+512 x3071+256 x3070+128 x3069+64 x3068+32 x3067+16 x3066+8 x3065+4 x3064+2 x3063+1 x3062+536870912 ~x1231+268435456 ~x1230+134217728 ~x1229+67108864 ~x1228+33554432 ~x1227+16777216 ~x1226+8388608 ~x1225+4194304 ~x1224+2097152 ~x1223+1048576 ~x1222+524288 ~x1221+262144 ~x1220+131072 ~x1219+65536 ~x1218+32768 ~x1217+16384 ~x1216+8192 ~x1215+4096 ~x1214+2048 ~x1213+1024 ~x1212+512 ~x1211+256 ~x1210+128 ~x1209+64 ~x1208+32 ~x1207+16 ~x1206+8 ~x1205+4 ~x1204+2 ~x1203+1 ~x1202-0=2147483646
25.37/25.46	c 536870912 ~x1082623+268435456 ~x1082622+134217728 ~x1082621+67108864 ~x1082620+33554432 ~x1082619+16777216 ~x1082618+8388608 ~x1082617+4194304 ~x1082616+2097152 ~x1082615+1048576 ~x1082614+524288 ~x1082613+262144 ~x1082612+131072 ~x1082611+65536 ~x1082610+32768 ~x1082609+16384 ~x1082608+8192 ~x1082607+4096 ~x1082606+2048 ~x1082605+1024 ~x1082604+512 ~x1082603+256 ~x1082602+128 ~x1082601+64 ~x1082600+32 ~x1082599+16 ~x1082598+8 ~x1082597+4 ~x1082596+2 ~x1082595+1 ~x1082594+536870912 x3121+268435456 x3120+134217728 x3119+67108864 x3118+33554432 x3117+16777216 x3116+8388608 x3115+4194304 x3114+2097152 x3113+1048576 x3112+524288 x3111+262144 x3110+131072 x3109+65536 x3108+32768 x3107+16384 x3106+8192 x3105+4096 x3104+2048 x3103+1024 x3102+512 x3101+256 x3100+128 x3099+64 x3098+32 x3097+16 x3096+8 x3095+4 x3094+2 x3093+1 x3092+536870912 ~x1261+268435456 ~x1260+134217728 ~x1259+67108864 ~x1258+33554432 ~x1257+16777216 ~x1256+8388608 ~x1255+4194304 ~x1254+2097152 ~x1253+1048576 ~x1252+524288 ~x1251+262144 ~x1250+131072 ~x1249+65536 ~x1248+32768 ~x1247+16384 ~x1246+8192 ~x1245+4096 ~x1244+2048 ~x1243+1024 ~x1242+512 ~x1241+256 ~x1240+128 ~x1239+64 ~x1238+32 ~x1237+16 ~x1236+8 ~x1235+4 ~x1234+2 ~x1233+1 ~x1232-0=2147483646
26.07/26.18	c 536870912 ~x1114366+268435456 ~x1114365+134217728 ~x1114364+67108864 ~x1114363+33554432 ~x1114362+16777216 ~x1114361+8388608 ~x1114360+4194304 ~x1114359+2097152 ~x1114358+1048576 ~x1114357+524288 ~x1114356+262144 ~x1114355+131072 ~x1114354+65536 ~x1114353+32768 ~x1114352+16384 ~x1114351+8192 ~x1114350+4096 ~x1114349+2048 ~x1114348+1024 ~x1114347+512 ~x1114346+256 ~x1114345+128 ~x1114344+64 ~x1114343+32 ~x1114342+16 ~x1114341+8 ~x1114340+4 ~x1114339+2 ~x1114338+1 ~x1114337+536870912 x3151+268435456 x3150+134217728 x3149+67108864 x3148+33554432 x3147+16777216 x3146+8388608 x3145+4194304 x3144+2097152 x3143+1048576 x3142+524288 x3141+262144 x3140+131072 x3139+65536 x3138+32768 x3137+16384 x3136+8192 x3135+4096 x3134+2048 x3133+1024 x3132+512 x3131+256 x3130+128 x3129+64 x3128+32 x3127+16 x3126+8 x3125+4 x3124+2 x3123+1 x3122+536870912 ~x1291+268435456 ~x1290+134217728 ~x1289+67108864 ~x1288+33554432 ~x1287+16777216 ~x1286+8388608 ~x1285+4194304 ~x1284+2097152 ~x1283+1048576 ~x1282+524288 ~x1281+262144 ~x1280+131072 ~x1279+65536 ~x1278+32768 ~x1277+16384 ~x1276+8192 ~x1275+4096 ~x1274+2048 ~x1273+1024 ~x1272+512 ~x1271+256 ~x1270+128 ~x1269+64 ~x1268+32 ~x1267+16 ~x1266+8 ~x1265+4 ~x1264+2 ~x1263+1 ~x1262-0=2147483646
26.87/26.90	c 536870912 ~x1146109+268435456 ~x1146108+134217728 ~x1146107+67108864 ~x1146106+33554432 ~x1146105+16777216 ~x1146104+8388608 ~x1146103+4194304 ~x1146102+2097152 ~x1146101+1048576 ~x1146100+524288 ~x1146099+262144 ~x1146098+131072 ~x1146097+65536 ~x1146096+32768 ~x1146095+16384 ~x1146094+8192 ~x1146093+4096 ~x1146092+2048 ~x1146091+1024 ~x1146090+512 ~x1146089+256 ~x1146088+128 ~x1146087+64 ~x1146086+32 ~x1146085+16 ~x1146084+8 ~x1146083+4 ~x1146082+2 ~x1146081+1 ~x1146080+536870912 x3181+268435456 x3180+134217728 x3179+67108864 x3178+33554432 x3177+16777216 x3176+8388608 x3175+4194304 x3174+2097152 x3173+1048576 x3172+524288 x3171+262144 x3170+131072 x3169+65536 x3168+32768 x3167+16384 x3166+8192 x3165+4096 x3164+2048 x3163+1024 x3162+512 x3161+256 x3160+128 x3159+64 x3158+32 x3157+16 x3156+8 x3155+4 x3154+2 x3153+1 x3152+536870912 ~x1321+268435456 ~x1320+134217728 ~x1319+67108864 ~x1318+33554432 ~x1317+16777216 ~x1316+8388608 ~x1315+4194304 ~x1314+2097152 ~x1313+1048576 ~x1312+524288 ~x1311+262144 ~x1310+131072 ~x1309+65536 ~x1308+32768 ~x1307+16384 ~x1306+8192 ~x1305+4096 ~x1304+2048 ~x1303+1024 ~x1302+512 ~x1301+256 ~x1300+128 ~x1299+64 ~x1298+32 ~x1297+16 ~x1296+8 ~x1295+4 ~x1294+2 ~x1293+1 ~x1292-0=2147483646
27.57/27.62	c 536870912 ~x1177852+268435456 ~x1177851+134217728 ~x1177850+67108864 ~x1177849+33554432 ~x1177848+16777216 ~x1177847+8388608 ~x1177846+4194304 ~x1177845+2097152 ~x1177844+1048576 ~x1177843+524288 ~x1177842+262144 ~x1177841+131072 ~x1177840+65536 ~x1177839+32768 ~x1177838+16384 ~x1177837+8192 ~x1177836+4096 ~x1177835+2048 ~x1177834+1024 ~x1177833+512 ~x1177832+256 ~x1177831+128 ~x1177830+64 ~x1177829+32 ~x1177828+16 ~x1177827+8 ~x1177826+4 ~x1177825+2 ~x1177824+1 ~x1177823+536870912 x3211+268435456 x3210+134217728 x3209+67108864 x3208+33554432 x3207+16777216 x3206+8388608 x3205+4194304 x3204+2097152 x3203+1048576 x3202+524288 x3201+262144 x3200+131072 x3199+65536 x3198+32768 x3197+16384 x3196+8192 x3195+4096 x3194+2048 x3193+1024 x3192+512 x3191+256 x3190+128 x3189+64 x3188+32 x3187+16 x3186+8 x3185+4 x3184+2 x3183+1 x3182+536870912 ~x1351+268435456 ~x1350+134217728 ~x1349+67108864 ~x1348+33554432 ~x1347+16777216 ~x1346+8388608 ~x1345+4194304 ~x1344+2097152 ~x1343+1048576 ~x1342+524288 ~x1341+262144 ~x1340+131072 ~x1339+65536 ~x1338+32768 ~x1337+16384 ~x1336+8192 ~x1335+4096 ~x1334+2048 ~x1333+1024 ~x1332+512 ~x1331+256 ~x1330+128 ~x1329+64 ~x1328+32 ~x1327+16 ~x1326+8 ~x1325+4 ~x1324+2 ~x1323+1 ~x1322-0=2147483646
28.27/28.34	c 536870912 ~x1209595+268435456 ~x1209594+134217728 ~x1209593+67108864 ~x1209592+33554432 ~x1209591+16777216 ~x1209590+8388608 ~x1209589+4194304 ~x1209588+2097152 ~x1209587+1048576 ~x1209586+524288 ~x1209585+262144 ~x1209584+131072 ~x1209583+65536 ~x1209582+32768 ~x1209581+16384 ~x1209580+8192 ~x1209579+4096 ~x1209578+2048 ~x1209577+1024 ~x1209576+512 ~x1209575+256 ~x1209574+128 ~x1209573+64 ~x1209572+32 ~x1209571+16 ~x1209570+8 ~x1209569+4 ~x1209568+2 ~x1209567+1 ~x1209566+536870912 x3241+268435456 x3240+134217728 x3239+67108864 x3238+33554432 x3237+16777216 x3236+8388608 x3235+4194304 x3234+2097152 x3233+1048576 x3232+524288 x3231+262144 x3230+131072 x3229+65536 x3228+32768 x3227+16384 x3226+8192 x3225+4096 x3224+2048 x3223+1024 x3222+512 x3221+256 x3220+128 x3219+64 x3218+32 x3217+16 x3216+8 x3215+4 x3214+2 x3213+1 x3212+536870912 ~x1381+268435456 ~x1380+134217728 ~x1379+67108864 ~x1378+33554432 ~x1377+16777216 ~x1376+8388608 ~x1375+4194304 ~x1374+2097152 ~x1373+1048576 ~x1372+524288 ~x1371+262144 ~x1370+131072 ~x1369+65536 ~x1368+32768 ~x1367+16384 ~x1366+8192 ~x1365+4096 ~x1364+2048 ~x1363+1024 ~x1362+512 ~x1361+256 ~x1360+128 ~x1359+64 ~x1358+32 ~x1357+16 ~x1356+8 ~x1355+4 ~x1354+2 ~x1353+1 ~x1352-0=2147483646
28.97/29.06	c 536870912 ~x1241338+268435456 ~x1241337+134217728 ~x1241336+67108864 ~x1241335+33554432 ~x1241334+16777216 ~x1241333+8388608 ~x1241332+4194304 ~x1241331+2097152 ~x1241330+1048576 ~x1241329+524288 ~x1241328+262144 ~x1241327+131072 ~x1241326+65536 ~x1241325+32768 ~x1241324+16384 ~x1241323+8192 ~x1241322+4096 ~x1241321+2048 ~x1241320+1024 ~x1241319+512 ~x1241318+256 ~x1241317+128 ~x1241316+64 ~x1241315+32 ~x1241314+16 ~x1241313+8 ~x1241312+4 ~x1241311+2 ~x1241310+1 ~x1241309+536870912 x3271+268435456 x3270+134217728 x3269+67108864 x3268+33554432 x3267+16777216 x3266+8388608 x3265+4194304 x3264+2097152 x3263+1048576 x3262+524288 x3261+262144 x3260+131072 x3259+65536 x3258+32768 x3257+16384 x3256+8192 x3255+4096 x3254+2048 x3253+1024 x3252+512 x3251+256 x3250+128 x3249+64 x3248+32 x3247+16 x3246+8 x3245+4 x3244+2 x3243+1 x3242+536870912 ~x1411+268435456 ~x1410+134217728 ~x1409+67108864 ~x1408+33554432 ~x1407+16777216 ~x1406+8388608 ~x1405+4194304 ~x1404+2097152 ~x1403+1048576 ~x1402+524288 ~x1401+262144 ~x1400+131072 ~x1399+65536 ~x1398+32768 ~x1397+16384 ~x1396+8192 ~x1395+4096 ~x1394+2048 ~x1393+1024 ~x1392+512 ~x1391+256 ~x1390+128 ~x1389+64 ~x1388+32 ~x1387+16 ~x1386+8 ~x1385+4 ~x1384+2 ~x1383+1 ~x1382-0=2147483646
29.77/29.80	c 536870912 ~x1273081+268435456 ~x1273080+134217728 ~x1273079+67108864 ~x1273078+33554432 ~x1273077+16777216 ~x1273076+8388608 ~x1273075+4194304 ~x1273074+2097152 ~x1273073+1048576 ~x1273072+524288 ~x1273071+262144 ~x1273070+131072 ~x1273069+65536 ~x1273068+32768 ~x1273067+16384 ~x1273066+8192 ~x1273065+4096 ~x1273064+2048 ~x1273063+1024 ~x1273062+512 ~x1273061+256 ~x1273060+128 ~x1273059+64 ~x1273058+32 ~x1273057+16 ~x1273056+8 ~x1273055+4 ~x1273054+2 ~x1273053+1 ~x1273052+536870912 x3301+268435456 x3300+134217728 x3299+67108864 x3298+33554432 x3297+16777216 x3296+8388608 x3295+4194304 x3294+2097152 x3293+1048576 x3292+524288 x3291+262144 x3290+131072 x3289+65536 x3288+32768 x3287+16384 x3286+8192 x3285+4096 x3284+2048 x3283+1024 x3282+512 x3281+256 x3280+128 x3279+64 x3278+32 x3277+16 x3276+8 x3275+4 x3274+2 x3273+1 x3272+536870912 ~x1441+268435456 ~x1440+134217728 ~x1439+67108864 ~x1438+33554432 ~x1437+16777216 ~x1436+8388608 ~x1435+4194304 ~x1434+2097152 ~x1433+1048576 ~x1432+524288 ~x1431+262144 ~x1430+131072 ~x1429+65536 ~x1428+32768 ~x1427+16384 ~x1426+8192 ~x1425+4096 ~x1424+2048 ~x1423+1024 ~x1422+512 ~x1421+256 ~x1420+128 ~x1419+64 ~x1418+32 ~x1417+16 ~x1416+8 ~x1415+4 ~x1414+2 ~x1413+1 ~x1412-0=2147483646
30.47/30.51	c 536870912 ~x1304824+268435456 ~x1304823+134217728 ~x1304822+67108864 ~x1304821+33554432 ~x1304820+16777216 ~x1304819+8388608 ~x1304818+4194304 ~x1304817+2097152 ~x1304816+1048576 ~x1304815+524288 ~x1304814+262144 ~x1304813+131072 ~x1304812+65536 ~x1304811+32768 ~x1304810+16384 ~x1304809+8192 ~x1304808+4096 ~x1304807+2048 ~x1304806+1024 ~x1304805+512 ~x1304804+256 ~x1304803+128 ~x1304802+64 ~x1304801+32 ~x1304800+16 ~x1304799+8 ~x1304798+4 ~x1304797+2 ~x1304796+1 ~x1304795+536870912 x3331+268435456 x3330+134217728 x3329+67108864 x3328+33554432 x3327+16777216 x3326+8388608 x3325+4194304 x3324+2097152 x3323+1048576 x3322+524288 x3321+262144 x3320+131072 x3319+65536 x3318+32768 x3317+16384 x3316+8192 x3315+4096 x3314+2048 x3313+1024 x3312+512 x3311+256 x3310+128 x3309+64 x3308+32 x3307+16 x3306+8 x3305+4 x3304+2 x3303+1 x3302+536870912 ~x1471+268435456 ~x1470+134217728 ~x1469+67108864 ~x1468+33554432 ~x1467+16777216 ~x1466+8388608 ~x1465+4194304 ~x1464+2097152 ~x1463+1048576 ~x1462+524288 ~x1461+262144 ~x1460+131072 ~x1459+65536 ~x1458+32768 ~x1457+16384 ~x1456+8192 ~x1455+4096 ~x1454+2048 ~x1453+1024 ~x1452+512 ~x1451+256 ~x1450+128 ~x1449+64 ~x1448+32 ~x1447+16 ~x1446+8 ~x1445+4 ~x1444+2 ~x1443+1 ~x1442-0=2147483646
33.16/33.21	s UNSATISFIABLE

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-2674755-1276800007/watcher-2674755-1276800007 -o /tmp/evaluation-result-2674755-1276800007/solver-2674755-1276800007 -C 1800 -W 2000 -M 1800 run HOME/instance-2674755-1276800007.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.91 0.95 0.98 3/106 22575
/proc/meminfo: memFree=1875380/2059040 swapFree=4140524/4192956
[pid=22575] ppid=22573 vsize=8700 CPUtime=0
/proc/22575/stat : 22575 (run) S 22573 22575 22270 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 21292615 8908800 250 1992294400 4194304 4922060 140733507803776 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22575/statm: 2175 250 211 178 0 68 0

[startup+0.051365 s]
/proc/loadavg: 0.91 0.95 0.98 3/106 22575
/proc/meminfo: memFree=1875380/2059040 swapFree=4140524/4192956
[pid=22575] ppid=22573 vsize=8700 CPUtime=0
/proc/22575/stat : 22575 (run) S 22573 22575 22270 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 21292615 8908800 250 1992294400 4194304 4922060 140733507803776 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22575/statm: 2175 250 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.101369 s]
/proc/loadavg: 0.91 0.95 0.98 3/106 22575
/proc/meminfo: memFree=1875380/2059040 swapFree=4140524/4192956
[pid=22575] ppid=22573 vsize=8700 CPUtime=0
/proc/22575/stat : 22575 (run) S 22573 22575 22270 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 21292615 8908800 250 1992294400 4194304 4922060 140733507803776 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22575/statm: 2175 250 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.301387 s]
/proc/loadavg: 0.91 0.95 0.98 3/106 22575
/proc/meminfo: memFree=1875380/2059040 swapFree=4140524/4192956
[pid=22575] ppid=22573 vsize=8700 CPUtime=0
/proc/22575/stat : 22575 (run) S 22573 22575 22270 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 21292615 8908800 250 1992294400 4194304 4922060 140733507803776 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22575/statm: 2175 250 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.701425 s]
/proc/loadavg: 0.91 0.95 0.98 3/106 22575
/proc/meminfo: memFree=1875380/2059040 swapFree=4140524/4192956
[pid=22575] ppid=22573 vsize=8700 CPUtime=0
/proc/22575/stat : 22575 (run) S 22573 22575 22270 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 21292615 8908800 250 1992294400 4194304 4922060 140733507803776 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22575/statm: 2175 250 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.5015 s]
/proc/loadavg: 0.91 0.95 0.98 2/108 22578
/proc/meminfo: memFree=1741940/2059040 swapFree=4140524/4192956
[pid=22575] ppid=22573 vsize=8700 CPUtime=0
/proc/22575/stat : 22575 (run) S 22573 22575 22270 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 21292615 8908800 250 1992294400 4194304 4922060 140733507803776 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22575/statm: 2175 250 211 178 0 68 0
[pid=22577] ppid=22575 vsize=145892 CPUtime=1.48
/proc/22577/stat : 22577 (PBPASSolver) R 22575 22575 22270 0 -1 4202496 37596 0 0 0 93 55 0 0 25 0 1 0 21292616 149393408 35677 1992294400 134512640 134902295 4293554768 18446744073709551615 4392444 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/22577/statm: 36473 35677 262 96 0 35685 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 154592

[startup+3.10165 s]
/proc/loadavg: 0.91 0.95 0.98 2/108 22578
/proc/meminfo: memFree=1722720/2059040 swapFree=4140524/4192956
[pid=22575] ppid=22573 vsize=8700 CPUtime=0
/proc/22575/stat : 22575 (run) S 22573 22575 22270 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 21292615 8908800 250 1992294400 4194304 4922060 140733507803776 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22575/statm: 2175 250 211 178 0 68 0
[pid=22577] ppid=22575 vsize=171920 CPUtime=3.08
/proc/22577/stat : 22577 (PBPASSolver) R 22575 22575 22270 0 -1 4202496 45725 0 0 0 250 58 0 0 25 0 1 0 21292616 176046080 42031 1992294400 134512640 134902295 4293554768 18446744073709551615 134520305 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/22577/statm: 42980 42031 262 96 0 42192 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 180620

[startup+6.30094 s]
/proc/loadavg: 0.92 0.95 0.98 2/108 22578
/proc/meminfo: memFree=1667912/2059040 swapFree=4140524/4192956
[pid=22575] ppid=22573 vsize=8700 CPUtime=0
/proc/22575/stat : 22575 (run) S 22573 22575 22270 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 21292615 8908800 250 1992294400 4194304 4922060 140733507803776 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22575/statm: 2175 250 211 178 0 68 0
[pid=22577] ppid=22575 vsize=230816 CPUtime=6.28
/proc/22577/stat : 22577 (PBPASSolver) R 22575 22575 22270 0 -1 4202496 61346 0 0 0 563 65 0 0 25 0 1 0 21292616 236355584 55549 1992294400 134512640 134902295 4293554768 18446744073709551615 4159698259 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/22577/statm: 57704 55550 262 96 0 56916 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 239516

[startup+12.7015 s]
/proc/loadavg: 0.92 0.95 0.98 2/108 22578
/proc/meminfo: memFree=1554452/2059040 swapFree=4140524/4192956
[pid=22575] ppid=22573 vsize=8700 CPUtime=0
/proc/22575/stat : 22575 (run) S 22573 22575 22270 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 21292615 8908800 250 1992294400 4194304 4922060 140733507803776 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22575/statm: 2175 250 211 178 0 68 0
[pid=22577] ppid=22575 vsize=346820 CPUtime=12.68
/proc/22577/stat : 22577 (PBPASSolver) R 22575 22575 22270 0 -1 4202496 92770 0 0 0 1193 75 0 0 25 0 1 0 21292616 355143680 84462 1992294400 134512640 134902295 4293554768 18446744073709551615 4159703955 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/22577/statm: 86705 84462 262 96 0 85917 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 355520

[startup+25.5007 s]
/proc/loadavg: 0.94 0.95 0.98 2/108 22580
/proc/meminfo: memFree=1314636/2059040 swapFree=4140524/4192956
[pid=22575] ppid=22573 vsize=8700 CPUtime=0
/proc/22575/stat : 22575 (run) S 22573 22575 22270 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 21292615 8908800 250 1992294400 4194304 4922060 140733507803776 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22575/statm: 2175 250 211 178 0 68 0
[pid=22577] ppid=22575 vsize=585716 CPUtime=25.47
/proc/22577/stat : 22577 (PBPASSolver) R 22575 22575 22270 0 -1 4202496 153957 0 0 0 2446 101 0 0 25 0 1 0 21292616 599773184 141131 1992294400 134512640 134902295 4293554768 18446744073709551615 4392444 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/22577/statm: 146429 141131 262 96 0 145641 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 594416

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

[startup+28.701 s]
/proc/loadavg: 0.94 0.95 0.98 2/108 22580
/proc/meminfo: memFree=1260448/2059040 swapFree=4140524/4192956
[pid=22575] ppid=22573 vsize=8700 CPUtime=0
/proc/22575/stat : 22575 (run) S 22573 22575 22270 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 21292615 8908800 250 1992294400 4194304 4922060 140733507803776 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22575/statm: 2175 250 211 178 0 68 0
[pid=22577] ppid=22575 vsize=648680 CPUtime=28.67
/proc/22577/stat : 22577 (PBPASSolver) R 22575 22575 22270 0 -1 4202496 167576 0 0 0 2758 109 0 0 25 0 1 0 21292616 664248320 154294 1992294400 134512640 134902295 4293554768 18446744073709551615 4159694577 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/22577/statm: 162170 154294 262 96 0 161382 0
Current children cumulated CPU time (s) 28.67
Current children cumulated vsize (KiB) 657380

[startup+30.3012 s]
/proc/loadavg: 0.94 0.95 0.98 2/108 22580
/proc/meminfo: memFree=1227960/2059040 swapFree=4140524/4192956
[pid=22575] ppid=22573 vsize=8700 CPUtime=0
/proc/22575/stat : 22575 (run) S 22573 22575 22270 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 21292615 8908800 250 1992294400 4194304 4922060 140733507803776 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22575/statm: 2175 250 211 178 0 68 0
[pid=22577] ppid=22575 vsize=687924 CPUtime=30.27
/proc/22577/stat : 22577 (PBPASSolver) R 22575 22575 22270 0 -1 4202496 177985 0 0 0 2915 112 0 0 25 0 1 0 21292616 704434176 164487 1992294400 134512640 134902295 4293554768 18446744073709551615 134588590 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/22577/statm: 171981 164487 262 96 0 171193 0
Current children cumulated CPU time (s) 30.27
Current children cumulated vsize (KiB) 696624

[startup+31.9083 s]
/proc/loadavg: 0.94 0.95 0.98 2/108 22580
/proc/meminfo: memFree=1468892/2059040 swapFree=4140524/4192956
[pid=22575] ppid=22573 vsize=8700 CPUtime=0
/proc/22575/stat : 22575 (run) S 22573 22575 22270 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 21292615 8908800 250 1992294400 4194304 4922060 140733507803776 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22575/statm: 2175 250 211 178 0 68 0
[pid=22577] ppid=22575 vsize=411040 CPUtime=31.87
/proc/22577/stat : 22577 (PBPASSolver) R 22575 22575 22270 0 -1 4202496 181987 0 0 0 3068 119 0 0 25 0 1 0 21292616 420904960 96046 1992294400 134512640 134902295 4293554768 18446744073709551615 134588950 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/22577/statm: 102760 96046 262 96 0 101972 0
Current children cumulated CPU time (s) 31.87
Current children cumulated vsize (KiB) 419740

[startup+32.7004 s]
/proc/loadavg: 0.94 0.95 0.98 2/108 22580
/proc/meminfo: memFree=1468892/2059040 swapFree=4140524/4192956
[pid=22575] ppid=22573 vsize=8700 CPUtime=0
/proc/22575/stat : 22575 (run) S 22573 22575 22270 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 21292615 8908800 250 1992294400 4194304 4922060 140733507803776 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22575/statm: 2175 250 211 178 0 68 0
[pid=22577] ppid=22575 vsize=284448 CPUtime=32.67
/proc/22577/stat : 22577 (PBPASSolver) R 22575 22575 22270 0 -1 4202496 181987 0 0 0 3145 122 0 0 25 0 1 0 21292616 291274752 64398 1992294400 134512640 134902295 4293554768 18446744073709551615 4387493 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/22577/statm: 71112 64398 262 96 0 70324 0
Current children cumulated CPU time (s) 32.67
Current children cumulated vsize (KiB) 293148

[startup+33.1004 s]
/proc/loadavg: 0.94 0.95 0.98 2/108 22580
/proc/meminfo: memFree=1642988/2059040 swapFree=4140524/4192956
[pid=22575] ppid=22573 vsize=8700 CPUtime=0
/proc/22575/stat : 22575 (run) S 22573 22575 22270 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 21292615 8908800 250 1992294400 4194304 4922060 140733507803776 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22575/statm: 2175 250 211 178 0 68 0
[pid=22577] ppid=22575 vsize=253680 CPUtime=33.07
/proc/22577/stat : 22577 (PBPASSolver) R 22575 22575 22270 0 -1 4202496 181987 0 0 0 3185 122 0 0 25 0 1 0 21292616 259768320 57866 1992294400 134512640 134902295 4293554768 18446744073709551615 4389303 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/22577/statm: 63420 57866 262 96 0 62632 0
Current children cumulated CPU time (s) 33.07
Current children cumulated vsize (KiB) 262380

[startup+33.2004 s]
/proc/loadavg: 0.94 0.95 0.98 2/108 22580
/proc/meminfo: memFree=1642988/2059040 swapFree=4140524/4192956
[pid=22575] ppid=22573 vsize=8700 CPUtime=0
/proc/22575/stat : 22575 (run) S 22573 22575 22270 0 -1 4202496 388 134 0 0 0 0 0 0 18 0 1 0 21292615 8908800 250 1992294400 4194304 4922060 140733507803776 18446744073709551615 263058988165 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/22575/statm: 2175 250 211 178 0 68 0
[pid=22577] ppid=22575 vsize=253680 CPUtime=33.16
/proc/22577/stat : 22577 (PBPASSolver) R 22575 22575 22270 0 -1 4202496 181987 0 0 0 3194 122 0 0 25 0 1 0 21292616 259768320 53951 1992294400 134512640 134902295 4293554768 18446744073709551615 4294960144 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/22577/statm: 63420 53770 262 96 0 62632 0
Current children cumulated CPU time (s) 33.16
Current children cumulated vsize (KiB) 262380

Child status: 0
Real time (s): 33.2412
CPU time (s): 33.2199
CPU user time (s): 31.9611
CPU system time (s): 1.25881
CPU usage (%): 99.9361
Max. virtual memory (cumulated for all children) (KiB): 708532

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 31.9611
system time used= 1.25881
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 182549
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= 6
involuntary context switches= 605

runsolver used 0.06099 second user time and 0.169974 second system time

The end

Launcher Data 

Begin job on node048 at 2010-06-17 20:40:07
IDJOB=2674755
IDBENCH=2458
IDSOLVER=1174
FILE ID=node048/2674755-1276800007
PBS_JOBID= 11176673
Free space on /tmp= 62452 MiB

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

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

MD5SUM BENCH= 323b3a265759dd86c0c933d2225addd0
RANDOM SEED=576137516

node048.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.212
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.42
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.212
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:       1875900 kB
Buffers:         11232 kB
Cached:          84828 kB
SwapCached:       5276 kB
Active:          69064 kB
Inactive:        39272 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1875900 kB
SwapTotal:     4192956 kB
SwapFree:      4140524 kB
Dirty:             916 kB
Writeback:           0 kB
AnonPages:       10952 kB
Mapped:          13012 kB
Slab:            52980 kB
PageTables:       4028 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   183496 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= 62448 MiB
End job on node048 at 2010-06-17 20:40:41