Trace number 2674141

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
PBPASSolver 2010-06-13? (MO) 35.88 36.0163

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-liu.opb
MD5SUMab83b851ef1a0a843838e278a21b0618
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark8912896
Best CPU time to get the best result obtained on this benchmark1800.24
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1200128
Optimality of the best value was proved NO
Number of variables3097
Total number of constraints2178
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 constraints2178
Minimum length of a constraint60
Maximum length of a constraint63
Number of terms in the objective function 30
Biggest coefficient in the objective function 536870912
Number of bits for the biggest coefficient in the objective function 30
Sum of the numbers in the objective function 1073741823
Number of bits of the sum of numbers in the objective function 30
Biggest number in a constraint 536870912
Number of bits of the biggest number in a constraint 30
Biggest sum of numbers in a constraint 2182184958
Number of bits of the biggest sum of numbers32
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

10.79/10.83	c 3097 2178 0 0 0 0 0 0
10.79/10.83	c 1073741824 ~x3129+536870912 ~x3128+268435456 ~x3127+134217728 ~x3126+67108864 ~x3125+33554432 ~x3124+16777216 ~x3123+8388608 ~x3122+4194304 ~x3121+2097152 ~x3120+1048576 ~x3119+524288 ~x3118+262144 ~x3117+131072 ~x3116+65536 ~x3115+32768 ~x3114+16384 ~x3113+8192 ~x3112+4096 ~x3111+2048 ~x3110+1024 ~x3109+512 ~x3108+256 ~x3107+128 ~x3106+64 ~x3105+32 ~x3104+16 ~x3103+8 ~x3102+4 ~x3101+2 ~x3100+1 ~x3099+8599552 x2134+8599552 x1907+536870912 x1680+268435456 x1679+134217728 x1678+67108864 x1677+33554432 x1676+16777216 x1675+8388608 x1674+4194304 x1673+2097152 x1672+1048576 x1671+524288 x1670+262144 x1669+131072 x1668+65536 x1667+32768 x1666+16384 x1665+8192 x1664+4096 x1663+2048 x1662+1024 x1661+512 x1660+256 x1659+128 x1658+64 x1657+32 x1656+16 x1655+8 x1654+4 x1653+2 x1652+1 x1651+34816 x1424+536870912 ~x1197+268435456 ~x1196+134217728 ~x1195+67108864 ~x1194+33554432 ~x1193+16777216 ~x1192+8388608 ~x1191+4194304 ~x1190+2097152 ~x1189+1048576 ~x1188+524288 ~x1187+262144 ~x1186+131072 ~x1185+65536 ~x1184+32768 ~x1183+16384 ~x1182+8192 ~x1181+4096 ~x1180+2048 ~x1179+1024 ~x1178+512 ~x1177+256 ~x1176+128 ~x1175+64 ~x1174+32 ~x1173+16 ~x1172+8 ~x1171+4 ~x1170+2 ~x1169+1 ~x1168-0=3221346302
11.88/11.95	c 1073741824 ~x36862+536870912 ~x36861+268435456 ~x36860+134217728 ~x36859+67108864 ~x36858+33554432 ~x36857+16777216 ~x36856+8388608 ~x36855+4194304 ~x36854+2097152 ~x36853+1048576 ~x36852+524288 ~x36851+262144 ~x36850+131072 ~x36849+65536 ~x36848+32768 ~x36847+16384 ~x36846+8192 ~x36845+4096 ~x36844+2048 ~x36843+1024 ~x36842+512 ~x36841+256 ~x36840+128 ~x36839+64 ~x36838+32 ~x36837+16 ~x36836+8 ~x36835+4 ~x36834+2 ~x36833+1 ~x36832+536870912 x1197+268435456 x1196+134217728 x1195+67108864 x1194+33554432 x1193+16777216 x1192+8388608 x1191+4194304 x1190+2097152 x1189+1048576 x1188+524288 x1187+262144 x1186+131072 x1185+65536 x1184+32768 x1183+16384 x1182+8192 x1181+4096 x1180+2048 x1179+1024 x1178+512 x1177+256 x1176+128 x1175+64 x1174+32 x1173+16 x1172+8 x1171+4 x1170+2 x1169+1 x1168+438272 x1117+8599552 x1106+8599552 ~x1037+536870912 ~x910+268435456 ~x909+134217728 ~x908+67108864 ~x907+33554432 ~x906+16777216 ~x905+8388608 ~x904+4194304 ~x903+2097152 ~x902+1048576 ~x901+524288 ~x900+262144 ~x899+131072 ~x898+65536 ~x897+32768 ~x896+16384 ~x895+8192 ~x894+4096 ~x893+2048 ~x892+1024 ~x891+512 ~x890+256 ~x889+128 ~x888+64 ~x887+32 ~x886+16 ~x885+8 ~x884+4 ~x883+2 ~x882+1 ~x881-0=3221798910
12.87/12.93	c 1073741824 ~x70595+536870912 ~x70594+268435456 ~x70593+134217728 ~x70592+67108864 ~x70591+33554432 ~x70590+16777216 ~x70589+8388608 ~x70588+4194304 ~x70587+2097152 ~x70586+1048576 ~x70585+524288 ~x70584+262144 ~x70583+131072 ~x70582+65536 ~x70581+32768 ~x70580+16384 ~x70579+8192 ~x70578+4096 ~x70577+2048 ~x70576+1024 ~x70575+512 ~x70574+256 ~x70573+128 ~x70572+64 ~x70571+32 ~x70570+16 ~x70569+8 ~x70568+4 ~x70567+2 ~x70566+1 ~x70565+536870912 x2616+268435456 x2615+134217728 x2614+67108864 x2613+33554432 x2612+16777216 x2611+8388608 x2610+4194304 x2609+2097152 x2608+1048576 x2607+524288 x2606+262144 x2605+131072 x2604+65536 x2603+32768 x2602+16384 x2601+8192 x2600+4096 x2599+2048 x2598+1024 x2597+512 x2596+256 x2595+128 x2594+64 x2593+32 x2592+16 x2591+8 x2590+4 x2589+2 x2588+1 x2587+536870912 ~x598+268435456 ~x597+134217728 ~x596+67108864 ~x595+33554432 ~x594+16777216 ~x593+8388608 ~x592+4194304 ~x591+2097152 ~x590+1048576 ~x589+524288 ~x588+262144 ~x587+131072 ~x586+65536 ~x585+32768 ~x584+16384 ~x583+8192 ~x582+4096 ~x581+2048 ~x580+1024 ~x579+512 ~x578+256 ~x577+128 ~x576+64 ~x575+32 ~x574+16 ~x573+8 ~x572+4 ~x571+2 ~x570+1 ~x569+266240 ~x568+8599552 ~x567+8599552 ~x566-0=3221612542
13.68/13.70	c 1073741824 ~x103857+536870912 ~x103856+268435456 ~x103855+134217728 ~x103854+67108864 ~x103853+33554432 ~x103852+16777216 ~x103851+8388608 ~x103850+4194304 ~x103849+2097152 ~x103848+1048576 ~x103847+524288 ~x103846+262144 ~x103845+131072 ~x103844+65536 ~x103843+32768 ~x103842+16384 ~x103841+8192 ~x103840+4096 ~x103839+2048 ~x103838+1024 ~x103837+512 ~x103836+256 ~x103835+128 ~x103834+64 ~x103833+32 ~x103832+16 ~x103831+8 ~x103830+4 ~x103829+2 ~x103828+1 ~x103827+8599552 ~x2165+8599552 ~x2133+536870912 x1783+268435456 x1782+134217728 x1781+67108864 x1780+33554432 x1779+16777216 x1778+8388608 x1777+4194304 x1776+2097152 x1775+1048576 x1774+524288 x1773+262144 x1772+131072 x1771+65536 x1770+32768 x1769+16384 x1768+8192 x1767+4096 x1766+2048 x1765+1024 x1764+512 x1763+256 x1762+128 x1761+64 x1760+32 x1759+16 x1758+8 x1757+4 x1756+2 x1755+1 x1754+536870912 ~x973+268435456 ~x972+134217728 ~x971+67108864 ~x970+33554432 ~x969+16777216 ~x968+8388608 ~x967+4194304 ~x966+2097152 ~x965+1048576 ~x964+524288 ~x963+262144 ~x962+131072 ~x961+65536 ~x960+32768 ~x959+16384 ~x958+8192 ~x957+4096 ~x956+2048 ~x955+1024 ~x954+512 ~x953+256 ~x952+128 ~x951+64 ~x950+32 ~x949+16 ~x948+8 ~x947+4 ~x946+2 ~x945+1 ~x944+186368 x943-0=3221547006
14.48/14.52	c 1073741824 ~x137446+536870912 ~x137445+268435456 ~x137444+134217728 ~x137443+67108864 ~x137442+33554432 ~x137441+16777216 ~x137440+8388608 ~x137439+4194304 ~x137438+2097152 ~x137437+1048576 ~x137436+524288 ~x137435+262144 ~x137434+131072 ~x137433+65536 ~x137432+32768 ~x137431+16384 ~x137430+8192 ~x137429+4096 ~x137428+2048 ~x137427+1024 ~x137426+512 ~x137425+256 ~x137424+128 ~x137423+64 ~x137422+32 ~x137421+16 ~x137420+8 ~x137419+4 ~x137418+2 ~x137417+1 ~x137416+8599552 x2167+8599552 x2166+34816 ~x1743+536870912 ~x1710+268435456 ~x1709+134217728 ~x1708+67108864 ~x1707+33554432 ~x1706+16777216 ~x1705+8388608 ~x1704+4194304 ~x1703+2097152 ~x1702+1048576 ~x1701+524288 ~x1700+262144 ~x1699+131072 ~x1698+65536 ~x1697+32768 ~x1696+16384 ~x1695+8192 ~x1694+4096 ~x1693+2048 ~x1692+1024 ~x1691+512 ~x1690+256 ~x1689+128 ~x1688+64 ~x1687+32 ~x1686+16 ~x1685+8 ~x1684+4 ~x1683+2 ~x1682+1 ~x1681+536870912 x1003+268435456 x1002+134217728 x1001+67108864 x1000+33554432 x999+16777216 x998+8388608 x997+4194304 x996+2097152 x995+1048576 x994+524288 x993+262144 x992+131072 x991+65536 x990+32768 x989+16384 x988+8192 x987+4096 x986+2048 x985+1024 x984+512 x983+256 x982+128 x981+64 x980+32 x979+16 x978+8 x977+4 x976+2 x975+1 x974-0=3221346302
15.28/15.30	c 1073741824 ~x171179+536870912 ~x171178+268435456 ~x171177+134217728 ~x171176+67108864 ~x171175+33554432 ~x171174+16777216 ~x171173+8388608 ~x171172+4194304 ~x171171+2097152 ~x171170+1048576 ~x171169+524288 ~x171168+262144 ~x171167+131072 ~x171166+65536 ~x171165+32768 ~x171164+16384 ~x171163+8192 ~x171162+4096 ~x171161+2048 ~x171160+1024 ~x171159+512 ~x171158+256 ~x171157+128 ~x171156+64 ~x171155+32 ~x171154+16 ~x171153+8 ~x171152+4 ~x171151+2 ~x171150+1 ~x171149+8599552 x2167+8599552 ~x2166+536870912 x1710+268435456 x1709+134217728 x1708+67108864 x1707+33554432 x1706+16777216 x1705+8388608 x1704+4194304 x1703+2097152 x1702+1048576 x1701+524288 x1700+262144 x1699+131072 x1698+65536 x1697+32768 x1696+16384 x1695+8192 x1694+4096 x1693+2048 x1692+1024 x1691+512 x1690+256 x1689+128 x1688+64 x1687+32 x1686+16 x1685+8 x1684+4 x1683+2 x1682+1 x1681+100352 ~x1006+536870912 ~x1003+268435456 ~x1002+134217728 ~x1001+67108864 ~x1000+33554432 ~x999+16777216 ~x998+8388608 ~x997+4194304 ~x996+2097152 ~x995+1048576 ~x994+524288 ~x993+262144 ~x992+131072 ~x991+65536 ~x990+32768 ~x989+16384 ~x988+8192 ~x987+4096 ~x986+2048 ~x985+1024 ~x984+512 ~x983+256 ~x982+128 ~x981+64 ~x980+32 ~x979+16 ~x978+8 ~x977+4 ~x976+2 ~x975+1 ~x974-0=3221460990
15.98/16.06	c 1073741824 ~x204912+536870912 ~x204911+268435456 ~x204910+134217728 ~x204909+67108864 ~x204908+33554432 ~x204907+16777216 ~x204906+8388608 ~x204905+4194304 ~x204904+2097152 ~x204903+1048576 ~x204902+524288 ~x204901+262144 ~x204900+131072 ~x204899+65536 ~x204898+32768 ~x204897+16384 ~x204896+8192 ~x204895+4096 ~x204894+2048 ~x204893+1024 ~x204892+512 ~x204891+256 ~x204890+128 ~x204889+64 ~x204888+32 ~x204887+16 ~x204886+8 ~x204885+4 ~x204884+2 ~x204883+1 ~x204882+8599552 ~x2167+8599552 x2166+536870912 ~x1783+268435456 ~x1782+134217728 ~x1781+67108864 ~x1780+33554432 ~x1779+16777216 ~x1778+8388608 ~x1777+4194304 ~x1776+2097152 ~x1775+1048576 ~x1774+524288 ~x1773+262144 ~x1772+131072 ~x1771+65536 ~x1770+32768 ~x1769+16384 ~x1768+8192 ~x1767+4096 ~x1766+2048 ~x1765+1024 ~x1764+512 ~x1763+256 ~x1762+128 ~x1761+64 ~x1760+32 ~x1759+16 ~x1758+8 ~x1757+4 ~x1756+2 ~x1755+1 ~x1754+34816 x1743+536870912 x1036+268435456 x1035+134217728 x1034+67108864 x1033+33554432 x1032+16777216 x1031+8388608 x1030+4194304 x1029+2097152 x1028+1048576 x1027+524288 x1026+262144 x1025+131072 x1024+65536 x1023+32768 x1022+16384 x1021+8192 x1020+4096 x1019+2048 x1018+1024 x1017+512 x1016+256 x1015+128 x1014+64 x1013+32 x1012+16 x1011+8 x1010+4 x1009+2 x1008+1 x1007-0=3221346302
16.77/16.83	c 1073741824 ~x238645+536870912 ~x238644+268435456 ~x238643+134217728 ~x238642+67108864 ~x238641+33554432 ~x238640+16777216 ~x238639+8388608 ~x238638+4194304 ~x238637+2097152 ~x238636+1048576 ~x238635+524288 ~x238634+262144 ~x238633+131072 ~x238632+65536 ~x238631+32768 ~x238630+16384 ~x238629+8192 ~x238628+4096 ~x238627+2048 ~x238626+1024 ~x238625+512 ~x238624+256 ~x238623+128 ~x238622+64 ~x238621+32 ~x238620+16 ~x238619+8 ~x238618+4 ~x238617+2 ~x238616+1 ~x238615+8599552 ~x2167+8599552 ~x2166+536870912 x1783+268435456 x1782+134217728 x1781+67108864 x1780+33554432 x1779+16777216 x1778+8388608 x1777+4194304 x1776+2097152 x1775+1048576 x1774+524288 x1773+262144 x1772+131072 x1771+65536 x1770+32768 x1769+16384 x1768+8192 x1767+4096 x1766+2048 x1765+1024 x1764+512 x1763+256 x1762+128 x1761+64 x1760+32 x1759+16 x1758+8 x1757+4 x1756+2 x1755+1 x1754+536870912 ~x1036+268435456 ~x1035+134217728 ~x1034+67108864 ~x1033+33554432 ~x1032+16777216 ~x1031+8388608 ~x1030+4194304 ~x1029+2097152 ~x1028+1048576 ~x1027+524288 ~x1026+262144 ~x1025+131072 ~x1024+65536 ~x1023+32768 ~x1022+16384 ~x1021+8192 ~x1020+4096 ~x1019+2048 ~x1018+1024 ~x1017+512 ~x1016+256 ~x1015+128 ~x1014+64 ~x1013+32 ~x1012+16 ~x1011+8 ~x1010+4 ~x1009+2 ~x1008+1 ~x1007+100352 x1006-0=3221460990
17.58/17.60	c 1073741824 ~x272267+536870912 ~x272266+268435456 ~x272265+134217728 ~x272264+67108864 ~x272263+33554432 ~x272262+16777216 ~x272261+8388608 ~x272260+4194304 ~x272259+2097152 ~x272258+1048576 ~x272257+524288 ~x272256+262144 ~x272255+131072 ~x272254+65536 ~x272253+32768 ~x272252+16384 ~x272251+8192 ~x272250+4096 ~x272249+2048 ~x272248+1024 ~x272247+512 ~x272246+256 ~x272245+128 ~x272244+64 ~x272243+32 ~x272242+16 ~x272241+8 ~x272240+4 ~x272239+2 ~x272238+1 ~x272237+8599552 x2169+8599552 x2168+34816 ~x1743+536870912 ~x1710+268435456 ~x1709+134217728 ~x1708+67108864 ~x1707+33554432 ~x1706+16777216 ~x1705+8388608 ~x1704+4194304 ~x1703+2097152 ~x1702+1048576 ~x1701+524288 ~x1700+262144 ~x1699+131072 ~x1698+65536 ~x1697+32768 ~x1696+16384 ~x1695+8192 ~x1694+4096 ~x1693+2048 ~x1692+1024 ~x1691+512 ~x1690+256 ~x1689+128 ~x1688+64 ~x1687+32 ~x1686+16 ~x1685+8 ~x1684+4 ~x1683+2 ~x1682+1 ~x1681+536870912 x1067+268435456 x1066+134217728 x1065+67108864 x1064+33554432 x1063+16777216 x1062+8388608 x1061+4194304 x1060+2097152 x1059+1048576 x1058+524288 x1057+262144 x1056+131072 x1055+65536 x1054+32768 x1053+16384 x1052+8192 x1051+4096 x1050+2048 x1049+1024 x1048+512 x1047+256 x1046+128 x1045+64 x1044+32 x1043+16 x1042+8 x1041+4 x1040+2 x1039+1 x1038-0=3221346302
18.28/18.37	c 1073741824 ~x306000+536870912 ~x305999+268435456 ~x305998+134217728 ~x305997+67108864 ~x305996+33554432 ~x305995+16777216 ~x305994+8388608 ~x305993+4194304 ~x305992+2097152 ~x305991+1048576 ~x305990+524288 ~x305989+262144 ~x305988+131072 ~x305987+65536 ~x305986+32768 ~x305985+16384 ~x305984+8192 ~x305983+4096 ~x305982+2048 ~x305981+1024 ~x305980+512 ~x305979+256 ~x305978+128 ~x305977+64 ~x305976+32 ~x305975+16 ~x305974+8 ~x305973+4 ~x305972+2 ~x305971+1 ~x305970+8599552 x2169+8599552 ~x2168+536870912 x1710+268435456 x1709+134217728 x1708+67108864 x1707+33554432 x1706+16777216 x1705+8388608 x1704+4194304 x1703+2097152 x1702+1048576 x1701+524288 x1700+262144 x1699+131072 x1698+65536 x1697+32768 x1696+16384 x1695+8192 x1694+4096 x1693+2048 x1692+1024 x1691+512 x1690+256 x1689+128 x1688+64 x1687+32 x1686+16 x1685+8 x1684+4 x1683+2 x1682+1 x1681+43008 x1070+536870912 ~x1067+268435456 ~x1066+134217728 ~x1065+67108864 ~x1064+33554432 ~x1063+16777216 ~x1062+8388608 ~x1061+4194304 ~x1060+2097152 ~x1059+1048576 ~x1058+524288 ~x1057+262144 ~x1056+131072 ~x1055+65536 ~x1054+32768 ~x1053+16384 ~x1052+8192 ~x1051+4096 ~x1050+2048 ~x1049+1024 ~x1048+512 ~x1047+256 ~x1046+128 ~x1045+64 ~x1044+32 ~x1043+16 ~x1042+8 ~x1041+4 ~x1040+2 ~x1039+1 ~x1038-0=3221403646
19.07/19.14	c 1073741824 ~x339733+536870912 ~x339732+268435456 ~x339731+134217728 ~x339730+67108864 ~x339729+33554432 ~x339728+16777216 ~x339727+8388608 ~x339726+4194304 ~x339725+2097152 ~x339724+1048576 ~x339723+524288 ~x339722+262144 ~x339721+131072 ~x339720+65536 ~x339719+32768 ~x339718+16384 ~x339717+8192 ~x339716+4096 ~x339715+2048 ~x339714+1024 ~x339713+512 ~x339712+256 ~x339711+128 ~x339710+64 ~x339709+32 ~x339708+16 ~x339707+8 ~x339706+4 ~x339705+2 ~x339704+1 ~x339703+8599552 ~x2169+8599552 x2168+536870912 ~x1783+268435456 ~x1782+134217728 ~x1781+67108864 ~x1780+33554432 ~x1779+16777216 ~x1778+8388608 ~x1777+4194304 ~x1776+2097152 ~x1775+1048576 ~x1774+524288 ~x1773+262144 ~x1772+131072 ~x1771+65536 ~x1770+32768 ~x1769+16384 ~x1768+8192 ~x1767+4096 ~x1766+2048 ~x1765+1024 ~x1764+512 ~x1763+256 ~x1762+128 ~x1761+64 ~x1760+32 ~x1759+16 ~x1758+8 ~x1757+4 ~x1756+2 ~x1755+1 ~x1754+34816 x1743+536870912 x1100+268435456 x1099+134217728 x1098+67108864 x1097+33554432 x1096+16777216 x1095+8388608 x1094+4194304 x1093+2097152 x1092+1048576 x1091+524288 x1090+262144 x1089+131072 x1088+65536 x1087+32768 x1086+16384 x1085+8192 x1084+4096 x1083+2048 x1082+1024 x1081+512 x1080+256 x1079+128 x1078+64 x1077+32 x1076+16 x1075+8 x1074+4 x1073+2 x1072+1 x1071-0=3221346302
19.88/19.91	c 1073741824 ~x373466+536870912 ~x373465+268435456 ~x373464+134217728 ~x373463+67108864 ~x373462+33554432 ~x373461+16777216 ~x373460+8388608 ~x373459+4194304 ~x373458+2097152 ~x373457+1048576 ~x373456+524288 ~x373455+262144 ~x373454+131072 ~x373453+65536 ~x373452+32768 ~x373451+16384 ~x373450+8192 ~x373449+4096 ~x373448+2048 ~x373447+1024 ~x373446+512 ~x373445+256 ~x373444+128 ~x373443+64 ~x373442+32 ~x373441+16 ~x373440+8 ~x373439+4 ~x373438+2 ~x373437+1 ~x373436+8599552 ~x2169+8599552 ~x2168+536870912 x1783+268435456 x1782+134217728 x1781+67108864 x1780+33554432 x1779+16777216 x1778+8388608 x1777+4194304 x1776+2097152 x1775+1048576 x1774+524288 x1773+262144 x1772+131072 x1771+65536 x1770+32768 x1769+16384 x1768+8192 x1767+4096 x1766+2048 x1765+1024 x1764+512 x1763+256 x1762+128 x1761+64 x1760+32 x1759+16 x1758+8 x1757+4 x1756+2 x1755+1 x1754+536870912 ~x1100+268435456 ~x1099+134217728 ~x1098+67108864 ~x1097+33554432 ~x1096+16777216 ~x1095+8388608 ~x1094+4194304 ~x1093+2097152 ~x1092+1048576 ~x1091+524288 ~x1090+262144 ~x1089+131072 ~x1088+65536 ~x1087+32768 ~x1086+16384 ~x1085+8192 ~x1084+4096 ~x1083+2048 ~x1082+1024 ~x1081+512 ~x1080+256 ~x1079+128 ~x1078+64 ~x1077+32 ~x1076+16 ~x1075+8 ~x1074+4 ~x1073+2 ~x1072+1 ~x1071+43008 ~x1070-0=3221403646
20.57/20.67	c 1073741824 ~x407028+536870912 ~x407027+268435456 ~x407026+134217728 ~x407025+67108864 ~x407024+33554432 ~x407023+16777216 ~x407022+8388608 ~x407021+4194304 ~x407020+2097152 ~x407019+1048576 ~x407018+524288 ~x407017+262144 ~x407016+131072 ~x407015+65536 ~x407014+32768 ~x407013+16384 ~x407012+8192 ~x407011+4096 ~x407010+2048 ~x407009+1024 ~x407008+512 ~x407007+256 ~x407006+128 ~x407005+64 ~x407004+32 ~x407003+16 ~x407002+8 ~x407001+4 ~x407000+2 ~x406999+1 ~x406998+8599552 x2171+8599552 x2170+536870912 x1937+268435456 x1936+134217728 x1935+67108864 x1934+33554432 x1933+16777216 x1932+8388608 x1931+4194304 x1930+2097152 x1929+1048576 x1928+524288 x1927+262144 x1926+131072 x1925+65536 x1924+32768 x1923+16384 x1922+8192 x1921+4096 x1920+2048 x1919+1024 x1918+512 x1917+256 x1916+128 x1915+64 x1914+32 x1913+16 x1912+8 x1911+4 x1910+2 x1909+1 x1908+20480 ~x1856+536870912 ~x1823+268435456 ~x1822+134217728 ~x1821+67108864 ~x1820+33554432 ~x1819+16777216 ~x1818+8388608 ~x1817+4194304 ~x1816+2097152 ~x1815+1048576 ~x1814+524288 ~x1813+262144 ~x1812+131072 ~x1811+65536 ~x1810+32768 ~x1809+16384 ~x1808+8192 ~x1807+4096 ~x1806+2048 ~x1805+1024 ~x1804+512 ~x1803+256 ~x1802+128 ~x1801+64 ~x1800+32 ~x1799+16 ~x1798+8 ~x1797+4 ~x1796+2 ~x1795+1 ~x1794-0=3221432318
21.38/21.44	c 1073741824 ~x440761+536870912 ~x440760+268435456 ~x440759+134217728 ~x440758+67108864 ~x440757+33554432 ~x440756+16777216 ~x440755+8388608 ~x440754+4194304 ~x440753+2097152 ~x440752+1048576 ~x440751+524288 ~x440750+262144 ~x440749+131072 ~x440748+65536 ~x440747+32768 ~x440746+16384 ~x440745+8192 ~x440744+4096 ~x440743+2048 ~x440742+1024 ~x440741+512 ~x440740+256 ~x440739+128 ~x440738+64 ~x440737+32 ~x440736+16 ~x440735+8 ~x440734+4 ~x440733+2 ~x440732+1 ~x440731+34816 x1424+536870912 ~x1197+268435456 ~x1196+134217728 ~x1195+67108864 ~x1194+33554432 ~x1193+16777216 ~x1192+8388608 ~x1191+4194304 ~x1190+2097152 ~x1189+1048576 ~x1188+524288 ~x1187+262144 ~x1186+131072 ~x1185+65536 ~x1184+32768 ~x1183+16384 ~x1182+8192 ~x1181+4096 ~x1180+2048 ~x1179+1024 ~x1178+512 ~x1177+256 ~x1176+128 ~x1175+64 ~x1174+32 ~x1173+16 ~x1172+8 ~x1171+4 ~x1170+2 ~x1169+1 ~x1168+8599552 x631+8599552 x630+536870912 x629+268435456 x628+134217728 x627+67108864 x626+33554432 x625+16777216 x624+8388608 x623+4194304 x622+2097152 x621+1048576 x620+524288 x619+262144 x618+131072 x617+65536 x616+32768 x615+16384 x614+8192 x613+4096 x612+2048 x611+1024 x610+512 x609+256 x608+128 x607+64 x606+32 x605+16 x604+8 x603+4 x602+2 x601+1 x600-0=3221346302
22.18/22.21	c 1073741824 ~x474494+536870912 ~x474493+268435456 ~x474492+134217728 ~x474491+67108864 ~x474490+33554432 ~x474489+16777216 ~x474488+8388608 ~x474487+4194304 ~x474486+2097152 ~x474485+1048576 ~x474484+524288 ~x474483+262144 ~x474482+131072 ~x474481+65536 ~x474480+32768 ~x474479+16384 ~x474478+8192 ~x474477+4096 ~x474476+2048 ~x474475+1024 ~x474474+512 ~x474473+256 ~x474472+128 ~x474471+64 ~x474470+32 ~x474469+16 ~x474468+8 ~x474467+4 ~x474466+2 ~x474465+1 ~x474464+8599552 x2171+8599552 ~x2170+20480 ~x1970+536870912 ~x1937+268435456 ~x1936+134217728 ~x1935+67108864 ~x1934+33554432 ~x1933+16777216 ~x1932+8388608 ~x1931+4194304 ~x1930+2097152 ~x1929+1048576 ~x1928+524288 ~x1927+262144 ~x1926+131072 ~x1925+65536 ~x1924+32768 ~x1923+16384 ~x1922+8192 ~x1921+4096 ~x1920+2048 ~x1919+1024 ~x1918+512 ~x1917+256 ~x1916+128 ~x1915+64 ~x1914+32 ~x1913+16 ~x1912+8 ~x1911+4 ~x1910+2 ~x1909+1 ~x1908+536870912 x1823+268435456 x1822+134217728 x1821+67108864 x1820+33554432 x1819+16777216 x1818+8388608 x1817+4194304 x1816+2097152 x1815+1048576 x1814+524288 x1813+262144 x1812+131072 x1811+65536 x1810+32768 x1809+16384 x1808+8192 x1807+4096 x1806+2048 x1805+1024 x1804+512 x1803+256 x1802+128 x1801+64 x1800+32 x1799+16 x1798+8 x1797+4 x1796+2 x1795+1 x1794-0=3221432318
22.88/22.98	c 1073741824 ~x508227+536870912 ~x508226+268435456 ~x508225+134217728 ~x508224+67108864 ~x508223+33554432 ~x508222+16777216 ~x508221+8388608 ~x508220+4194304 ~x508219+2097152 ~x508218+1048576 ~x508217+524288 ~x508216+262144 ~x508215+131072 ~x508214+65536 ~x508213+32768 ~x508212+16384 ~x508211+8192 ~x508210+4096 ~x508209+2048 ~x508208+1024 ~x508207+512 ~x508206+256 ~x508205+128 ~x508204+64 ~x508203+32 ~x508202+16 ~x508201+8 ~x508200+4 ~x508199+2 ~x508198+1 ~x508197+8599552 ~x2171+8599552 x2170+536870912 x2010+268435456 x2009+134217728 x2008+67108864 x2007+33554432 x2006+16777216 x2005+8388608 x2004+4194304 x2003+2097152 x2002+1048576 x2001+524288 x2000+262144 x1999+131072 x1998+65536 x1997+32768 x1996+16384 x1995+8192 x1994+4096 x1993+2048 x1992+1024 x1991+512 x1990+256 x1989+128 x1988+64 x1987+32 x1986+16 x1985+8 x1984+4 x1983+2 x1982+1 x1981+536870912 ~x1896+268435456 ~x1895+134217728 ~x1894+67108864 ~x1893+33554432 ~x1892+16777216 ~x1891+8388608 ~x1890+4194304 ~x1889+2097152 ~x1888+1048576 ~x1887+524288 ~x1886+262144 ~x1885+131072 ~x1884+65536 ~x1883+32768 ~x1882+16384 ~x1881+8192 ~x1880+4096 ~x1879+2048 ~x1878+1024 ~x1877+512 ~x1876+256 ~x1875+128 ~x1874+64 ~x1873+32 ~x1872+16 ~x1871+8 ~x1870+4 ~x1869+2 ~x1868+1 ~x1867+20480 x1856-0=3221432318
23.67/23.75	c 1073741824 ~x541870+536870912 ~x541869+268435456 ~x541868+134217728 ~x541867+67108864 ~x541866+33554432 ~x541865+16777216 ~x541864+8388608 ~x541863+4194304 ~x541862+2097152 ~x541861+1048576 ~x541860+524288 ~x541859+262144 ~x541858+131072 ~x541857+65536 ~x541856+32768 ~x541855+16384 ~x541854+8192 ~x541853+4096 ~x541852+2048 ~x541851+1024 ~x541850+512 ~x541849+256 ~x541848+128 ~x541847+64 ~x541846+32 ~x541845+16 ~x541844+8 ~x541843+4 ~x541842+2 ~x541841+1 ~x541840+8599552 ~x2171+8599552 ~x2170+536870912 ~x2010+268435456 ~x2009+134217728 ~x2008+67108864 ~x2007+33554432 ~x2006+16777216 ~x2005+8388608 ~x2004+4194304 ~x2003+2097152 ~x2002+1048576 ~x2001+524288 ~x2000+262144 ~x1999+131072 ~x1998+65536 ~x1997+32768 ~x1996+16384 ~x1995+8192 ~x1994+4096 ~x1993+2048 ~x1992+1024 ~x1991+512 ~x1990+256 ~x1989+128 ~x1988+64 ~x1987+32 ~x1986+16 ~x1985+8 ~x1984+4 ~x1983+2 ~x1982+1 ~x1981+20480 x1970+536870912 x1896+268435456 x1895+134217728 x1894+67108864 x1893+33554432 x1892+16777216 x1891+8388608 x1890+4194304 x1889+2097152 x1888+1048576 x1887+524288 x1886+262144 x1885+131072 x1884+65536 x1883+32768 x1882+16384 x1881+8192 x1880+4096 x1879+2048 x1878+1024 x1877+512 x1876+256 x1875+128 x1874+64 x1873+32 x1872+16 x1871+8 x1870+4 x1869+2 x1868+1 x1867-0=3221432318
24.48/24.52	c 1073741824 ~x575603+536870912 ~x575602+268435456 ~x575601+134217728 ~x575600+67108864 ~x575599+33554432 ~x575598+16777216 ~x575597+8388608 ~x575596+4194304 ~x575595+2097152 ~x575594+1048576 ~x575593+524288 ~x575592+262144 ~x575591+131072 ~x575590+65536 ~x575589+32768 ~x575588+16384 ~x575587+8192 ~x575586+4096 ~x575585+2048 ~x575584+1024 ~x575583+512 ~x575582+256 ~x575581+128 ~x575580+64 ~x575579+32 ~x575578+16 ~x575577+8 ~x575576+4 ~x575575+2 ~x575574+1 ~x575573+8599552 x2173+8599552 x2172+536870912 x2050+268435456 x2049+134217728 x2048+67108864 x2047+33554432 x2046+16777216 x2045+8388608 x2044+4194304 x2043+2097152 x2042+1048576 x2041+524288 x2040+262144 x2039+131072 x2038+65536 x2037+32768 x2036+16384 x2035+8192 x2034+4096 x2033+2048 x2032+1024 x2031+512 x2030+256 x2029+128 x2028+64 x2027+32 x2026+16 x2025+8 x2024+4 x2023+2 x2022+1 x2021+20480 ~x1856+536870912 ~x1823+268435456 ~x1822+134217728 ~x1821+67108864 ~x1820+33554432 ~x1819+16777216 ~x1818+8388608 ~x1817+4194304 ~x1816+2097152 ~x1815+1048576 ~x1814+524288 ~x1813+262144 ~x1812+131072 ~x1811+65536 ~x1810+32768 ~x1809+16384 ~x1808+8192 ~x1807+4096 ~x1806+2048 ~x1805+1024 ~x1804+512 ~x1803+256 ~x1802+128 ~x1801+64 ~x1800+32 ~x1799+16 ~x1798+8 ~x1797+4 ~x1796+2 ~x1795+1 ~x1794-0=3221432318
25.28/25.40	c 1073741824 ~x609336+536870912 ~x609335+268435456 ~x609334+134217728 ~x609333+67108864 ~x609332+33554432 ~x609331+16777216 ~x609330+8388608 ~x609329+4194304 ~x609328+2097152 ~x609327+1048576 ~x609326+524288 ~x609325+262144 ~x609324+131072 ~x609323+65536 ~x609322+32768 ~x609321+16384 ~x609320+8192 ~x609319+4096 ~x609318+2048 ~x609317+1024 ~x609316+512 ~x609315+256 ~x609314+128 ~x609313+64 ~x609312+32 ~x609311+16 ~x609310+8 ~x609309+4 ~x609308+2 ~x609307+1 ~x609306+8599552 x2173+8599552 ~x2172+192512 x2083+536870912 ~x2050+268435456 ~x2049+134217728 ~x2048+67108864 ~x2047+33554432 ~x2046+16777216 ~x2045+8388608 ~x2044+4194304 ~x2043+2097152 ~x2042+1048576 ~x2041+524288 ~x2040+262144 ~x2039+131072 ~x2038+65536 ~x2037+32768 ~x2036+16384 ~x2035+8192 ~x2034+4096 ~x2033+2048 ~x2032+1024 ~x2031+512 ~x2030+256 ~x2029+128 ~x2028+64 ~x2027+32 ~x2026+16 ~x2025+8 ~x2024+4 ~x2023+2 ~x2022+1 ~x2021+536870912 x1823+268435456 x1822+134217728 x1821+67108864 x1820+33554432 x1819+16777216 x1818+8388608 x1817+4194304 x1816+2097152 x1815+1048576 x1814+524288 x1813+262144 x1812+131072 x1811+65536 x1810+32768 x1809+16384 x1808+8192 x1807+4096 x1806+2048 x1805+1024 x1804+512 x1803+256 x1802+128 x1801+64 x1800+32 x1799+16 x1798+8 x1797+4 x1796+2 x1795+1 x1794-0=3221604350
26.07/26.22	c 1073741824 ~x643069+536870912 ~x643068+268435456 ~x643067+134217728 ~x643066+67108864 ~x643065+33554432 ~x643064+16777216 ~x643063+8388608 ~x643062+4194304 ~x643061+2097152 ~x643060+1048576 ~x643059+524288 ~x643058+262144 ~x643057+131072 ~x643056+65536 ~x643055+32768 ~x643054+16384 ~x643053+8192 ~x643052+4096 ~x643051+2048 ~x643050+1024 ~x643049+512 ~x643048+256 ~x643047+128 ~x643046+64 ~x643045+32 ~x643044+16 ~x643043+8 ~x643042+4 ~x643041+2 ~x643040+1 ~x643039+8599552 ~x2173+8599552 x2172+536870912 x2123+268435456 x2122+134217728 x2121+67108864 x2120+33554432 x2119+16777216 x2118+8388608 x2117+4194304 x2116+2097152 x2115+1048576 x2114+524288 x2113+262144 x2112+131072 x2111+65536 x2110+32768 x2109+16384 x2108+8192 x2107+4096 x2106+2048 x2105+1024 x2104+512 x2103+256 x2102+128 x2101+64 x2100+32 x2099+16 x2098+8 x2097+4 x2096+2 x2095+1 x2094+536870912 ~x1896+268435456 ~x1895+134217728 ~x1894+67108864 ~x1893+33554432 ~x1892+16777216 ~x1891+8388608 ~x1890+4194304 ~x1889+2097152 ~x1888+1048576 ~x1887+524288 ~x1886+262144 ~x1885+131072 ~x1884+65536 ~x1883+32768 ~x1882+16384 ~x1881+8192 ~x1880+4096 ~x1879+2048 ~x1878+1024 ~x1877+512 ~x1876+256 ~x1875+128 ~x1874+64 ~x1873+32 ~x1872+16 ~x1871+8 ~x1870+4 ~x1869+2 ~x1868+1 ~x1867+20480 x1856-0=3221432318
26.87/27.01	c 1073741824 ~x676712+536870912 ~x676711+268435456 ~x676710+134217728 ~x676709+67108864 ~x676708+33554432 ~x676707+16777216 ~x676706+8388608 ~x676705+4194304 ~x676704+2097152 ~x676703+1048576 ~x676702+524288 ~x676701+262144 ~x676700+131072 ~x676699+65536 ~x676698+32768 ~x676697+16384 ~x676696+8192 ~x676695+4096 ~x676694+2048 ~x676693+1024 ~x676692+512 ~x676691+256 ~x676690+128 ~x676689+64 ~x676688+32 ~x676687+16 ~x676686+8 ~x676685+4 ~x676684+2 ~x676683+1 ~x676682+8599552 ~x2173+8599552 ~x2172+536870912 ~x2123+268435456 ~x2122+134217728 ~x2121+67108864 ~x2120+33554432 ~x2119+16777216 ~x2118+8388608 ~x2117+4194304 ~x2116+2097152 ~x2115+1048576 ~x2114+524288 ~x2113+262144 ~x2112+131072 ~x2111+65536 ~x2110+32768 ~x2109+16384 ~x2108+8192 ~x2107+4096 ~x2106+2048 ~x2105+1024 ~x2104+512 ~x2103+256 ~x2102+128 ~x2101+64 ~x2100+32 ~x2099+16 ~x2098+8 ~x2097+4 ~x2096+2 ~x2095+1 ~x2094+192512 ~x2083+536870912 x1896+268435456 x1895+134217728 x1894+67108864 x1893+33554432 x1892+16777216 x1891+8388608 x1890+4194304 x1889+2097152 x1888+1048576 x1887+524288 x1886+262144 x1885+131072 x1884+65536 x1883+32768 x1882+16384 x1881+8192 x1880+4096 x1879+2048 x1878+1024 x1877+512 x1876+256 x1875+128 x1874+64 x1873+32 x1872+16 x1871+8 x1870+4 x1869+2 x1868+1 x1867-0=3221604350
27.67/27.81	c 1073741824 ~x710445+536870912 ~x710444+268435456 ~x710443+134217728 ~x710442+67108864 ~x710441+33554432 ~x710440+16777216 ~x710439+8388608 ~x710438+4194304 ~x710437+2097152 ~x710436+1048576 ~x710435+524288 ~x710434+262144 ~x710433+131072 ~x710432+65536 ~x710431+32768 ~x710430+16384 ~x710429+8192 ~x710428+4096 ~x710427+2048 ~x710426+1024 ~x710425+512 ~x710424+256 ~x710423+128 ~x710422+64 ~x710421+32 ~x710420+16 ~x710419+8 ~x710418+4 ~x710417+2 ~x710416+1 ~x710415+8599552 x2176+8599552 x2174+536870912 x2164+268435456 x2163+134217728 x2162+67108864 x2161+33554432 x2160+16777216 x2159+8388608 x2158+4194304 x2157+2097152 x2156+1048576 x2155+524288 x2154+262144 x2153+131072 x2152+65536 x2151+32768 x2150+16384 x2149+8192 x2148+4096 x2147+2048 x2146+1024 x2145+512 x2144+256 x2143+128 x2142+64 x2141+32 x2140+16 x2139+8 x2138+4 x2137+2 x2136+1 x2135+20480 ~x1856+536870912 ~x1823+268435456 ~x1822+134217728 ~x1821+67108864 ~x1820+33554432 ~x1819+16777216 ~x1818+8388608 ~x1817+4194304 ~x1816+2097152 ~x1815+1048576 ~x1814+524288 ~x1813+262144 ~x1812+131072 ~x1811+65536 ~x1810+32768 ~x1809+16384 ~x1808+8192 ~x1807+4096 ~x1806+2048 ~x1805+1024 ~x1804+512 ~x1803+256 ~x1802+128 ~x1801+64 ~x1800+32 ~x1799+16 ~x1798+8 ~x1797+4 ~x1796+2 ~x1795+1 ~x1794-0=3221432318
28.48/28.60	c 1073741824 ~x744178+536870912 ~x744177+268435456 ~x744176+134217728 ~x744175+67108864 ~x744174+33554432 ~x744173+16777216 ~x744172+8388608 ~x744171+4194304 ~x744170+2097152 ~x744169+1048576 ~x744168+524288 ~x744167+262144 ~x744166+131072 ~x744165+65536 ~x744164+32768 ~x744163+16384 ~x744162+8192 ~x744161+4096 ~x744160+2048 ~x744159+1024 ~x744158+512 ~x744157+256 ~x744156+128 ~x744155+64 ~x744154+32 ~x744153+16 ~x744152+8 ~x744151+4 ~x744150+2 ~x744149+1 ~x744148+8599552 x2176+8599552 ~x2174+536870912 ~x2164+268435456 ~x2163+134217728 ~x2162+67108864 ~x2161+33554432 ~x2160+16777216 ~x2159+8388608 ~x2158+4194304 ~x2157+2097152 ~x2156+1048576 ~x2155+524288 ~x2154+262144 ~x2153+131072 ~x2152+65536 ~x2151+32768 ~x2150+16384 ~x2149+8192 ~x2148+4096 ~x2147+2048 ~x2146+1024 ~x2145+512 ~x2144+256 ~x2143+128 ~x2142+64 ~x2141+32 ~x2140+16 ~x2139+8 ~x2138+4 ~x2137+2 ~x2136+1 ~x2135+536870912 x1823+268435456 x1822+134217728 x1821+67108864 x1820+33554432 x1819+16777216 x1818+8388608 x1817+4194304 x1816+2097152 x1815+1048576 x1814+524288 x1813+262144 x1812+131072 x1811+65536 x1810+32768 x1809+16384 x1808+8192 x1807+4096 x1806+2048 x1805+1024 x1804+512 x1803+256 x1802+128 x1801+64 x1800+32 x1799+16 x1798+8 x1797+4 x1796+2 x1795+1 x1794-0=3221346302
29.17/29.39	c 1073741824 ~x777524+536870912 ~x777523+268435456 ~x777522+134217728 ~x777521+67108864 ~x777520+33554432 ~x777519+16777216 ~x777518+8388608 ~x777517+4194304 ~x777516+2097152 ~x777515+1048576 ~x777514+524288 ~x777513+262144 ~x777512+131072 ~x777511+65536 ~x777510+32768 ~x777509+16384 ~x777508+8192 ~x777507+4096 ~x777506+2048 ~x777505+1024 ~x777504+512 ~x777503+256 ~x777502+128 ~x777501+64 ~x777500+32 ~x777499+16 ~x777498+8 ~x777497+4 ~x777496+2 ~x777495+1 ~x777494+536870912 x2236+268435456 x2235+134217728 x2234+67108864 x2233+33554432 x2232+16777216 x2231+8388608 x2230+4194304 x2229+2097152 x2228+1048576 x2227+524288 x2226+262144 x2225+131072 x2224+65536 x2223+32768 x2222+16384 x2221+8192 x2220+4096 x2219+2048 x2218+1024 x2217+512 x2216+256 x2215+128 x2214+64 x2213+32 x2212+16 x2211+8 x2210+4 x2209+2 x2208+1 x2207+8599552 ~x2176+8599552 x2174+536870912 ~x1896+268435456 ~x1895+134217728 ~x1894+67108864 ~x1893+33554432 ~x1892+16777216 ~x1891+8388608 ~x1890+4194304 ~x1889+2097152 ~x1888+1048576 ~x1887+524288 ~x1886+262144 ~x1885+131072 ~x1884+65536 ~x1883+32768 ~x1882+16384 ~x1881+8192 ~x1880+4096 ~x1879+2048 ~x1878+1024 ~x1877+512 ~x1876+256 ~x1875+128 ~x1874+64 ~x1873+32 ~x1872+16 ~x1871+8 ~x1870+4 ~x1869+2 ~x1868+1 ~x1867+20480 x1856-0=3221432318
30.08/30.21	c 1073741824 ~x811167+536870912 ~x811166+268435456 ~x811165+134217728 ~x811164+67108864 ~x811163+33554432 ~x811162+16777216 ~x811161+8388608 ~x811160+4194304 ~x811159+2097152 ~x811158+1048576 ~x811157+524288 ~x811156+262144 ~x811155+131072 ~x811154+65536 ~x811153+32768 ~x811152+16384 ~x811151+8192 ~x811150+4096 ~x811149+2048 ~x811148+1024 ~x811147+512 ~x811146+256 ~x811145+128 ~x811144+64 ~x811143+32 ~x811142+16 ~x811141+8 ~x811140+4 ~x811139+2 ~x811138+1 ~x811137+536870912 x1197+268435456 x1196+134217728 x1195+67108864 x1194+33554432 x1193+16777216 x1192+8388608 x1191+4194304 x1190+2097152 x1189+1048576 x1188+524288 x1187+262144 x1186+131072 x1185+65536 x1184+32768 x1183+16384 x1182+8192 x1181+4096 x1180+2048 x1179+1024 x1178+512 x1177+256 x1176+128 x1175+64 x1174+32 x1173+16 x1172+8 x1171+4 x1170+2 x1169+1 x1168+208896 x632+8599552 x631+8599552 ~x630+536870912 ~x629+268435456 ~x628+134217728 ~x627+67108864 ~x626+33554432 ~x625+16777216 ~x624+8388608 ~x623+4194304 ~x622+2097152 ~x621+1048576 ~x620+524288 ~x619+262144 ~x618+131072 ~x617+65536 ~x616+32768 ~x615+16384 ~x614+8192 ~x613+4096 ~x612+2048 ~x611+1024 ~x610+512 ~x609+256 ~x608+128 ~x607+64 ~x606+32 ~x605+16 ~x604+8 ~x603+4 ~x602+2 ~x601+1 ~x600-0=3221569534
30.88/31.00	c 1073741824 ~x844900+536870912 ~x844899+268435456 ~x844898+134217728 ~x844897+67108864 ~x844896+33554432 ~x844895+16777216 ~x844894+8388608 ~x844893+4194304 ~x844892+2097152 ~x844891+1048576 ~x844890+524288 ~x844889+262144 ~x844888+131072 ~x844887+65536 ~x844886+32768 ~x844885+16384 ~x844884+8192 ~x844883+4096 ~x844882+2048 ~x844881+1024 ~x844880+512 ~x844879+256 ~x844878+128 ~x844877+64 ~x844876+32 ~x844875+16 ~x844874+8 ~x844873+4 ~x844872+2 ~x844871+1 ~x844870+536870912 ~x2236+268435456 ~x2235+134217728 ~x2234+67108864 ~x2233+33554432 ~x2232+16777216 ~x2231+8388608 ~x2230+4194304 ~x2229+2097152 ~x2228+1048576 ~x2227+524288 ~x2226+262144 ~x2225+131072 ~x2224+65536 ~x2223+32768 ~x2222+16384 ~x2221+8192 ~x2220+4096 ~x2219+2048 ~x2218+1024 ~x2217+512 ~x2216+256 ~x2215+128 ~x2214+64 ~x2213+32 ~x2212+16 ~x2211+8 ~x2210+4 ~x2209+2 ~x2208+1 ~x2207+8599552 ~x2176+8599552 ~x2174+536870912 x1896+268435456 x1895+134217728 x1894+67108864 x1893+33554432 x1892+16777216 x1891+8388608 x1890+4194304 x1889+2097152 x1888+1048576 x1887+524288 x1886+262144 x1885+131072 x1884+65536 x1883+32768 x1882+16384 x1881+8192 x1880+4096 x1879+2048 x1878+1024 x1877+512 x1876+256 x1875+128 x1874+64 x1873+32 x1872+16 x1871+8 x1870+4 x1869+2 x1868+1 x1867-0=3221346302
31.57/31.79	c 1073741824 ~x878246+536870912 ~x878245+268435456 ~x878244+134217728 ~x878243+67108864 ~x878242+33554432 ~x878241+16777216 ~x878240+8388608 ~x878239+4194304 ~x878238+2097152 ~x878237+1048576 ~x878236+524288 ~x878235+262144 ~x878234+131072 ~x878233+65536 ~x878232+32768 ~x878231+16384 ~x878230+8192 ~x878229+4096 ~x878228+2048 ~x878227+1024 ~x878226+512 ~x878225+256 ~x878224+128 ~x878223+64 ~x878222+32 ~x878221+16 ~x878220+8 ~x878219+4 ~x878218+2 ~x878217+1 ~x878216+536870912 x2276+268435456 x2275+134217728 x2274+67108864 x2273+33554432 x2272+16777216 x2271+8388608 x2270+4194304 x2269+2097152 x2268+1048576 x2267+524288 x2266+262144 x2265+131072 x2264+65536 x2263+32768 x2262+16384 x2261+8192 x2260+4096 x2259+2048 x2258+1024 x2257+512 x2256+256 x2255+128 x2254+64 x2253+32 x2252+16 x2251+8 x2250+4 x2249+2 x2248+1 x2247+8599552 x2178+8599552 x2177+20480 ~x1856+536870912 ~x1823+268435456 ~x1822+134217728 ~x1821+67108864 ~x1820+33554432 ~x1819+16777216 ~x1818+8388608 ~x1817+4194304 ~x1816+2097152 ~x1815+1048576 ~x1814+524288 ~x1813+262144 ~x1812+131072 ~x1811+65536 ~x1810+32768 ~x1809+16384 ~x1808+8192 ~x1807+4096 ~x1806+2048 ~x1805+1024 ~x1804+512 ~x1803+256 ~x1802+128 ~x1801+64 ~x1800+32 ~x1799+16 ~x1798+8 ~x1797+4 ~x1796+2 ~x1795+1 ~x1794-0=3221432318
32.47/32.60	c 1073741824 ~x911979+536870912 ~x911978+268435456 ~x911977+134217728 ~x911976+67108864 ~x911975+33554432 ~x911974+16777216 ~x911973+8388608 ~x911972+4194304 ~x911971+2097152 ~x911970+1048576 ~x911969+524288 ~x911968+262144 ~x911967+131072 ~x911966+65536 ~x911965+32768 ~x911964+16384 ~x911963+8192 ~x911962+4096 ~x911961+2048 ~x911960+1024 ~x911959+512 ~x911958+256 ~x911957+128 ~x911956+64 ~x911955+32 ~x911954+16 ~x911953+8 ~x911952+4 ~x911951+2 ~x911950+1 ~x911949+8192 ~x2309+536870912 ~x2276+268435456 ~x2275+134217728 ~x2274+67108864 ~x2273+33554432 ~x2272+16777216 ~x2271+8388608 ~x2270+4194304 ~x2269+2097152 ~x2268+1048576 ~x2267+524288 ~x2266+262144 ~x2265+131072 ~x2264+65536 ~x2263+32768 ~x2262+16384 ~x2261+8192 ~x2260+4096 ~x2259+2048 ~x2258+1024 ~x2257+512 ~x2256+256 ~x2255+128 ~x2254+64 ~x2253+32 ~x2252+16 ~x2251+8 ~x2250+4 ~x2249+2 ~x2248+1 ~x2247+8599552 x2178+8599552 ~x2177+536870912 x1823+268435456 x1822+134217728 x1821+67108864 x1820+33554432 x1819+16777216 x1818+8388608 x1817+4194304 x1816+2097152 x1815+1048576 x1814+524288 x1813+262144 x1812+131072 x1811+65536 x1810+32768 x1809+16384 x1808+8192 x1807+4096 x1806+2048 x1805+1024 x1804+512 x1803+256 x1802+128 x1801+64 x1800+32 x1799+16 x1798+8 x1797+4 x1796+2 x1795+1 x1794-0=3221354494
33.27/33.41	c 1073741824 ~x945712+536870912 ~x945711+268435456 ~x945710+134217728 ~x945709+67108864 ~x945708+33554432 ~x945707+16777216 ~x945706+8388608 ~x945705+4194304 ~x945704+2097152 ~x945703+1048576 ~x945702+524288 ~x945701+262144 ~x945700+131072 ~x945699+65536 ~x945698+32768 ~x945697+16384 ~x945696+8192 ~x945695+4096 ~x945694+2048 ~x945693+1024 ~x945692+512 ~x945691+256 ~x945690+128 ~x945689+64 ~x945688+32 ~x945687+16 ~x945686+8 ~x945685+4 ~x945684+2 ~x945683+1 ~x945682+536870912 x2349+268435456 x2348+134217728 x2347+67108864 x2346+33554432 x2345+16777216 x2344+8388608 x2343+4194304 x2342+2097152 x2341+1048576 x2340+524288 x2339+262144 x2338+131072 x2337+65536 x2336+32768 x2335+16384 x2334+8192 x2333+4096 x2332+2048 x2331+1024 x2330+512 x2329+256 x2328+128 x2327+64 x2326+32 x2325+16 x2324+8 x2323+4 x2322+2 x2321+1 x2320+8599552 ~x2178+8599552 x2177+536870912 ~x1896+268435456 ~x1895+134217728 ~x1894+67108864 ~x1893+33554432 ~x1892+16777216 ~x1891+8388608 ~x1890+4194304 ~x1889+2097152 ~x1888+1048576 ~x1887+524288 ~x1886+262144 ~x1885+131072 ~x1884+65536 ~x1883+32768 ~x1882+16384 ~x1881+8192 ~x1880+4096 ~x1879+2048 ~x1878+1024 ~x1877+512 ~x1876+256 ~x1875+128 ~x1874+64 ~x1873+32 ~x1872+16 ~x1871+8 ~x1870+4 ~x1869+2 ~x1868+1 ~x1867+20480 x1856-0=3221432318
34.08/34.23	c 1073741824 ~x979355+536870912 ~x979354+268435456 ~x979353+134217728 ~x979352+67108864 ~x979351+33554432 ~x979350+16777216 ~x979349+8388608 ~x979348+4194304 ~x979347+2097152 ~x979346+1048576 ~x979345+524288 ~x979344+262144 ~x979343+131072 ~x979342+65536 ~x979341+32768 ~x979340+16384 ~x979339+8192 ~x979338+4096 ~x979337+2048 ~x979336+1024 ~x979335+512 ~x979334+256 ~x979333+128 ~x979332+64 ~x979331+32 ~x979330+16 ~x979329+8 ~x979328+4 ~x979327+2 ~x979326+1 ~x979325+536870912 ~x2349+268435456 ~x2348+134217728 ~x2347+67108864 ~x2346+33554432 ~x2345+16777216 ~x2344+8388608 ~x2343+4194304 ~x2342+2097152 ~x2341+1048576 ~x2340+524288 ~x2339+262144 ~x2338+131072 ~x2337+65536 ~x2336+32768 ~x2335+16384 ~x2334+8192 ~x2333+4096 ~x2332+2048 ~x2331+1024 ~x2330+512 ~x2329+256 ~x2328+128 ~x2327+64 ~x2326+32 ~x2325+16 ~x2324+8 ~x2323+4 ~x2322+2 ~x2321+1 ~x2320+8192 x2309+8599552 ~x2178+8599552 ~x2177+536870912 x1896+268435456 x1895+134217728 x1894+67108864 x1893+33554432 x1892+16777216 x1891+8388608 x1890+4194304 x1889+2097152 x1888+1048576 x1887+524288 x1886+262144 x1885+131072 x1884+65536 x1883+32768 x1882+16384 x1881+8192 x1880+4096 x1879+2048 x1878+1024 x1877+512 x1876+256 x1875+128 x1874+64 x1873+32 x1872+16 x1871+8 x1870+4 x1869+2 x1868+1 x1867-0=3221354494
34.87/35.09	c 1073741824 ~x1013088+536870912 ~x1013087+268435456 ~x1013086+134217728 ~x1013085+67108864 ~x1013084+33554432 ~x1013083+16777216 ~x1013082+8388608 ~x1013081+4194304 ~x1013080+2097152 ~x1013079+1048576 ~x1013078+524288 ~x1013077+262144 ~x1013076+131072 ~x1013075+65536 ~x1013074+32768 ~x1013073+16384 ~x1013072+8192 ~x1013071+4096 ~x1013070+2048 ~x1013069+1024 ~x1013068+512 ~x1013067+256 ~x1013066+128 ~x1013065+64 ~x1013064+32 ~x1013063+16 ~x1013062+8 ~x1013061+4 ~x1013060+2 ~x1013059+1 ~x1013058+536870912 x2390+268435456 x2389+134217728 x2388+67108864 x2387+33554432 x2386+16777216 x2385+8388608 x2384+4194304 x2383+2097152 x2382+1048576 x2381+524288 x2380+262144 x2379+131072 x2378+65536 x2377+32768 x2376+16384 x2375+8192 x2374+4096 x2373+2048 x2372+1024 x2371+512 x2370+256 x2369+128 x2368+64 x2367+32 x2366+16 x2365+8 x2364+4 x2363+2 x2362+1 x2361+8599552 x2180+8599552 x2179+20480 ~x1856+536870912 ~x1823+268435456 ~x1822+134217728 ~x1821+67108864 ~x1820+33554432 ~x1819+16777216 ~x1818+8388608 ~x1817+4194304 ~x1816+2097152 ~x1815+1048576 ~x1814+524288 ~x1813+262144 ~x1812+131072 ~x1811+65536 ~x1810+32768 ~x1809+16384 ~x1808+8192 ~x1807+4096 ~x1806+2048 ~x1805+1024 ~x1804+512 ~x1803+256 ~x1802+128 ~x1801+64 ~x1800+32 ~x1799+16 ~x1798+8 ~x1797+4 ~x1796+2 ~x1795+1 ~x1794-0=3221432318
35.68/35.89	c 1073741824 ~x1046821+536870912 ~x1046820+268435456 ~x1046819+134217728 ~x1046818+67108864 ~x1046817+33554432 ~x1046816+16777216 ~x1046815+8388608 ~x1046814+4194304 ~x1046813+2097152 ~x1046812+1048576 ~x1046811+524288 ~x1046810+262144 ~x1046809+131072 ~x1046808+65536 ~x1046807+32768 ~x1046806+16384 ~x1046805+8192 ~x1046804+4096 ~x1046803+2048 ~x1046802+1024 ~x1046801+512 ~x1046800+256 ~x1046799+128 ~x1046798+64 ~x1046797+32 ~x1046796+16 ~x1046795+8 ~x1046794+4 ~x1046793+2 ~x1046792+1 ~x1046791+223232 ~x2423+536870912 ~x2390+268435456 ~x2389+134217728 ~x2388+67108864 ~x2387+33554432 ~x2386+16777216 ~x2385+8388608 ~x2384+4194304 ~x2383+2097152 ~x2382+1048576 ~x2381+524288 ~x2380+262144 ~x2379+131072 ~x2378+65536 ~x2377+32768 ~x2376+16384 ~x2375+8192 ~x2374+4096 ~x2373+2048 ~x2372+1024 ~x2371+512 ~x2370+256 ~x2369+128 ~x2368+64 ~x2367+32 ~x2366+16 ~x2365+8 ~x2364+4 ~x2363+2 ~x2362+1 ~x2361+8599552 x2180+8599552 ~x2179+536870912 x1823+268435456 x1822+134217728 x1821+67108864 x1820+33554432 x1819+16777216 x1818+8388608 x1817+4194304 x1816+2097152 x1815+1048576 x1814+524288 x1813+262144 x1812+131072 x1811+65536 x1810+32768 x1809+16384 x1808+8192 x1807+4096 x1806+2048 x1805+1024 x1804+512

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-2674141-1276800491/watcher-2674141-1276800491 -o /tmp/evaluation-result-2674141-1276800491/solver-2674141-1276800491 -C 1800 -W 2000 -M 1800 run HOME/instance-2674141-1276800491.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.92 0.98 0.99 3/106 16467
/proc/meminfo: memFree=1627304/2059040 swapFree=4140468/4192956
[pid=16467] ppid=16465 vsize=8700 CPUtime=0
/proc/16467/stat : 16467 (run) S 16465 16467 16364 0 -1 4202496 389 134 0 0 0 0 0 0 20 0 1 0 55652868 8908800 250 1992294400 4194304 4922060 140734355229600 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/16467/statm: 2175 250 211 178 0 68 0

[startup+0.108046 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 16467
/proc/meminfo: memFree=1627304/2059040 swapFree=4140468/4192956
[pid=16467] ppid=16465 vsize=8700 CPUtime=0
/proc/16467/stat : 16467 (run) S 16465 16467 16364 0 -1 4202496 389 134 0 0 0 0 0 0 20 0 1 0 55652868 8908800 250 1992294400 4194304 4922060 140734355229600 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/16467/statm: 2175 250 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.202049 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 16467
/proc/meminfo: memFree=1627304/2059040 swapFree=4140468/4192956
[pid=16467] ppid=16465 vsize=8700 CPUtime=0
/proc/16467/stat : 16467 (run) S 16465 16467 16364 0 -1 4202496 389 134 0 0 0 0 0 0 20 0 1 0 55652868 8908800 250 1992294400 4194304 4922060 140734355229600 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/16467/statm: 2175 250 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.30106 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 16467
/proc/meminfo: memFree=1627304/2059040 swapFree=4140468/4192956
[pid=16467] ppid=16465 vsize=8700 CPUtime=0
/proc/16467/stat : 16467 (run) S 16465 16467 16364 0 -1 4202496 389 134 0 0 0 0 0 0 20 0 1 0 55652868 8908800 250 1992294400 4194304 4922060 140734355229600 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/16467/statm: 2175 250 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.701104 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 16467
/proc/meminfo: memFree=1627304/2059040 swapFree=4140468/4192956
[pid=16467] ppid=16465 vsize=8700 CPUtime=0
/proc/16467/stat : 16467 (run) S 16465 16467 16364 0 -1 4202496 389 134 0 0 0 0 0 0 20 0 1 0 55652868 8908800 250 1992294400 4194304 4922060 140734355229600 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/16467/statm: 2175 250 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50119 s]
/proc/loadavg: 0.92 0.98 0.99 2/108 16470
/proc/meminfo: memFree=1445752/2059040 swapFree=4140468/4192956
[pid=16467] ppid=16465 vsize=8700 CPUtime=0
/proc/16467/stat : 16467 (run) S 16465 16467 16364 0 -1 4202496 389 134 0 0 0 0 0 0 20 0 1 0 55652868 8908800 250 1992294400 4194304 4922060 140734355229600 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/16467/statm: 2175 250 211 178 0 68 0
[pid=16469] ppid=16467 vsize=246660 CPUtime=1.48
/proc/16469/stat : 16469 (PBPASSolver) R 16467 16467 16364 0 -1 4202496 61168 0 0 0 59 89 0 0 19 0 1 0 55652869 252579840 61106 1992294400 134512640 134902295 4291437456 18446744073709551615 4294960144 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/16469/statm: 61665 61106 256 96 0 60877 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 255360

[startup+3.10037 s]
/proc/loadavg: 0.92 0.98 0.99 2/108 16470
/proc/meminfo: memFree=1277484/2059040 swapFree=4140468/4192956
[pid=16467] ppid=16465 vsize=8700 CPUtime=0
/proc/16467/stat : 16467 (run) S 16465 16467 16364 0 -1 4202496 389 134 0 0 0 0 0 0 20 0 1 0 55652868 8908800 250 1992294400 4194304 4922060 140734355229600 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/16467/statm: 2175 250 211 178 0 68 0
[pid=16469] ppid=16467 vsize=480932 CPUtime=3.08
/proc/16469/stat : 16469 (PBPASSolver) R 16467 16467 16364 0 -1 4202496 119674 0 0 0 134 174 0 0 24 0 1 0 55652869 492474368 119612 1992294400 134512640 134902295 4291437456 18446744073709551615 4294960144 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/16469/statm: 120233 119612 256 96 0 119445 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 489632

[startup+6.30073 s]
/proc/loadavg: 0.93 0.98 0.99 2/108 16470
/proc/meminfo: memFree=827984/2059040 swapFree=4140468/4192956
[pid=16467] ppid=16465 vsize=8700 CPUtime=0
/proc/16467/stat : 16467 (run) S 16465 16467 16364 0 -1 4202496 389 134 0 0 0 0 0 0 20 0 1 0 55652868 8908800 250 1992294400 4194304 4922060 140734355229600 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/16467/statm: 2175 250 211 178 0 68 0
[pid=16469] ppid=16467 vsize=899652 CPUtime=6.29
/proc/16469/stat : 16469 (PBPASSolver) R 16467 16467 16364 0 -1 4202496 224414 0 0 0 300 329 0 0 25 0 1 0 55652869 921243648 224352 1992294400 134512640 134902295 4291437456 18446744073709551615 134588399 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/16469/statm: 224977 224355 256 96 0 224189 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 908352

[startup+12.7004 s]
/proc/loadavg: 0.93 0.98 0.99 2/108 16470
/proc/meminfo: memFree=214192/2059040 swapFree=4140468/4192956
[pid=16467] ppid=16465 vsize=8700 CPUtime=0
/proc/16467/stat : 16467 (run) S 16465 16467 16364 0 -1 4202496 389 134 0 0 0 0 0 0 20 0 1 0 55652868 8908800 250 1992294400 4194304 4922060 140734355229600 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/16467/statm: 2175 250 211 178 0 68 0
[pid=16469] ppid=16467 vsize=1423804 CPUtime=12.68
/proc/16469/stat : 16469 (PBPASSolver) R 16467 16467 16364 0 -1 4202496 355682 0 0 0 748 520 0 0 25 0 1 0 55652869 1457975296 355196 1992294400 134512640 134902295 4291437456 18446744073709551615 134520276 0 0 4096 17608 0 0 0 17 1 0 0 0
/proc/16469/statm: 355951 355197 262 96 0 355163 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1432504

[startup+25.5019 s]
/proc/loadavg: 0.95 0.98 0.99 2/108 16470
/proc/meminfo: memFree=9656/2059040 swapFree=4140468/4192956
[pid=16467] ppid=16465 vsize=8700 CPUtime=0
/proc/16467/stat : 16467 (run) S 16465 16467 16364 0 -1 4202496 389 134 0 0 0 0 0 0 20 0 1 0 55652868 8908800 250 1992294400 4194304 4922060 140734355229600 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/16467/statm: 2175 250 211 178 0 68 0
[pid=16469] ppid=16467 vsize=1656796 CPUtime=25.37
/proc/16469/stat : 16469 (PBPASSolver) R 16467 16467 16364 0 -1 4202496 416626 0 0 0 1991 546 0 0 25 0 1 0 55652869 1696559104 411352 1992294400 134512640 134902295 4291437456 18446744073709551615 134813648 0 0 4096 17608 0 0 0 17 1 0 0 10
/proc/16469/statm: 414199 411352 262 96 0 413411 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 1665496



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+36.002 s]
/proc/loadavg: 0.95 0.98 0.99 2/108 16470
/proc/meminfo: memFree=9712/2059040 swapFree=4139848/4192956
[pid=16467] ppid=16465 vsize=8700 CPUtime=0
/proc/16467/stat : 16467 (run) S 16465 16467 16364 0 -1 4202496 389 134 0 0 0 0 0 0 20 0 1 0 55652868 8908800 250 1992294400 4194304 4922060 140734355229600 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/16467/statm: 2175 250 211 178 0 68 0
[pid=16469] ppid=16467 vsize=1848972 CPUtime=35.88
/proc/16469/stat : 16469 (PBPASSolver) R 16467 16467 16364 0 -1 4202496 465939 0 0 0 3015 573 0 0 25 0 1 0 55652869 1893347328 456299 1992294400 134512640 134902295 4291437456 18446744073709551615 134631258 0 0 4096 17608 0 0 0 17 1 0 0 10
/proc/16469/statm: 462243 456299 262 96 0 461455 0
Current children cumulated CPU time (s) 35.88
Current children cumulated vsize (KiB) 1857672

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

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

[startup+36.002 s]
/proc/loadavg: 0.95 0.98 0.99 2/108 16470
/proc/meminfo: memFree=9712/2059040 swapFree=4139848/4192956
[pid=16467] ppid=16465 vsize=8700 CPUtime=0
/proc/16467/stat : 16467 (run) S 16465 16467 16364 0 -1 4202496 389 134 0 0 0 0 0 0 20 0 1 0 55652868 8908800 250 1992294400 4194304 4922060 140734355229600 18446744073709551615 228898479237 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/16467/statm: 2175 250 211 178 0 68 0
[pid=16469] ppid=16467 vsize=1848972 CPUtime=35.88
/proc/16469/stat : 16469 (PBPASSolver) R 16467 16467 16364 0 -1 4202496 465939 0 0 0 3015 573 0 0 25 0 1 0 55652869 1893347328 456299 1992294400 134512640 134902295 4291437456 18446744073709551615 134631258 0 0 4096 17608 0 0 0 17 1 0 0 10
/proc/16469/statm: 462243 456299 262 96 0 461455 0
Current children cumulated CPU time (s) 35.88
Current children cumulated vsize (KiB) 1857672

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 36.0163
CPU time (s): 35.88
CPU user time (s): 30.15
CPU system time (s): 5.73
CPU usage (%): 99.6215
Max. virtual memory (cumulated for all children) (KiB): 1857672

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
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= 3
involuntary context switches= 3

runsolver used 0.065989 second user time and 0.189971 second system time

The end

Launcher Data 

Begin job on node005 at 2010-06-17 20:48:11
IDJOB=2674141
IDBENCH=2507
IDSOLVER=1174
FILE ID=node005/2674141-1276800491
PBS_JOBID= 11176636
Free space on /tmp= 62564 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-liu.opb
COMMAND LINE= run BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2674141-1276800491/watcher-2674141-1276800491 -o /tmp/evaluation-result-2674141-1276800491/solver-2674141-1276800491 -C 1800 -W 2000 -M 1800  run HOME/instance-2674141-1276800491.opb

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

MD5SUM BENCH= ab83b851ef1a0a843838e278a21b0618
RANDOM SEED=1475379924

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1627700 kB
Buffers:        170104 kB
Cached:         162028 kB
SwapCached:       6352 kB
Active:         137212 kB
Inactive:       208624 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1627700 kB
SwapTotal:     4192956 kB
SwapFree:      4140468 kB
Dirty:            2372 kB
Writeback:           0 kB
AnonPages:       11584 kB
Mapped:          13160 kB
Slab:            63636 kB
PageTables:       4024 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181112 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= 62564 MiB
End job on node005 at 2010-06-17 20:48:50