Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
MinisatID 2.5.2-gmp (fixed) | ? (TO) | 1011153858800445 | 1800.07 | 1800.01 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-bell5.opb |
MD5SUM | da0fa1480f123e186307c547a0028656 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 938830260671609 |
Best CPU time to get the best result obtained on this benchmark | 1800.25 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1037979231691996 |
Optimality of the best value was proved | NO |
Number of variables | 1704 |
Total number of constraints | 118 |
Number of constraints which are clauses | 15 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 103 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 135 |
Number of terms in the objective function | 1268 |
Biggest coefficient in the objective function | 50331648000000000 |
Number of bits for the biggest coefficient in the objective function | 56 |
Sum of the numbers in the objective function | 888722133694353611 |
Number of bits of the sum of numbers in the objective function | 60 |
Biggest number in a constraint | 50331648000000000 |
Number of bits of the biggest number in a constraint | 56 |
Biggest sum of numbers in a constraint | 888722133694353611 |
Number of bits of the biggest sum of numbers | 60 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 >>> IMPORTANT: two aggregates with the same head occurred. Assuming that this head is certainly true. 34.89/34.99 o 3373049031401472 34.89/34.99 o 3169563531108212 34.89/34.99 o 3169532852887412 34.89/34.99 o 3169471496445812 34.89/34.99 o 3168447496445812 34.89/34.99 o 3166399496445812 34.89/34.99 o 3162303496445812 34.89/34.99 o 3161279496445812 34.89/34.99 o 3153087496445812 34.89/34.99 o 3136703496445812 34.89/34.99 o 3134655496445812 34.89/34.99 o 3101887496445812 34.89/34.99 o 3036351496445812 34.89/34.99 o 3032255496445812 34.89/34.99 o 2901183496445812 34.89/34.99 o 2900159496445812 34.89/34.99 o 2898111496445812 34.89/34.99 o 2894015496445812 34.89/34.99 o 2885823496445812 34.89/34.99 o 2872511496445812 34.89/34.99 o 2872404561616756 34.89/34.99 o 2871376930922356 34.89/34.99 o 2870863115575156 34.89/34.99 o 2870606207901556 34.89/34.99 o 2870477754064756 34.89/34.99 o 2608333754064756 34.89/34.99 o 2606278492675956 34.89/34.99 o 2605254492675956 34.89/34.99 o 2603206492675956 34.89/34.99 o 2603070192869236 34.89/34.99 o 2601979794415476 34.89/34.99 o 2601979791383786 34.89/34.99 o 2601979779257026 34.89/34.99 o 2601979773193646 34.89/34.99 o 2601979724686606 34.89/34.99 o 2601976620236046 34.89/34.99 o 2601975068010766 34.89/34.99 o 2601974291898126 34.89/34.99 o 2601973903841806 34.89/34.99 o 2601973709813646 34.89/34.99 o 2601973612799566 34.89/34.99 o 2601973588546046 34.89/34.99 o 2601973588358801 34.89/34.99 o 2601973587984311 34.89/34.99 o 2601973585429311 34.89/34.99 o 2601973575209311 34.89/34.99 o 2601889852969311 34.89/34.99 o 2601722408489311 34.89/34.99 o 2601722388049311 34.89/34.99 o 2601722347169311 34.89/34.99 o 2601722346913811 34.89/34.99 o 2601722346402811 34.89/34.99 o 2601722345672811 34.89/34.99 o 2601722339832811 34.89/34.99 o 2601722338372811 34.89/34.99 o 2601722338190311 34.89/34.99 o 2601078394561511 34.89/34.99 o 2600054394561511 34.89/34.99 o 2599893408654311 34.89/34.99 o 2599732422747111 34.89/34.99 o 2597671803134951 34.89/34.99 o 2591489944298471 34.89/34.99 o 2591474605188071 34.89/34.99 o 2331124789724798 34.89/34.99 o 2331124779672698 34.89/34.99 o 2331124771496698 34.89/34.99 o 2331124751392498 34.89/34.99 o 2331122178054898 34.89/34.99 o 2200050178054898 34.89/34.99 o 2195646978054898 34.89/34.99 o 2193071203539698 34.89/34.99 o 2187919654509298 34.89/34.99 o 2187839161555698 34.89/34.99 o 2092774391706998 34.89/34.99 o 2092774386680948 34.89/34.99 o 2092774382760848 34.89/34.99 o 2092766354396048 34.89/34.99 o 2092750297666448 34.89/34.99 o 2092750281986048 34.89/34.99 o 2092750274145848 34.89/34.99 o 2092453122387512 34.89/34.99 o 2091470110432519 34.89/34.99 o 2091470106140119 34.89/34.99 o 2091470088970519 34.89/34.99 o 2091469814256919 34.89/34.99 o 2091469802921479 34.89/34.99 o 2091469757579719 34.89/34.99 o 2091469751911999 34.89/34.99 o 2091469661228479 34.89/34.99 o 2091464514553279 34.89/34.99 o 2090440514553279 34.89/34.99 o 2089416514553279 34.89/34.99 o 2073032514553279 34.89/34.99 o 2071978475472319 34.89/34.99 o 2067882475472319 34.89/34.99 o 2067355455931839 34.89/34.99 o 2061313855931839 34.89/34.99 o 2028934350210672 34.89/34.99 o 2028934315871472 34.89/34.99 o 2028934308031272 34.89/34.99 o 2028934304111172 34.89/34.99 o 2028934303923927 34.89/34.99 o 2028934122556887 34.89/34.99 o 2028934031873367 34.89/34.99 o 2028934031727367 34.89/34.99 o 2028934031435367 34.89/34.99 o 2028934031362367 34.89/34.99 o 2028934030778367 34.89/34.99 o 2028934028442367 34.89/34.99 o 2028934019098367 34.89/34.99 o 2028934000410367 34.89/34.99 o 2028933995738367 34.89/34.99 o 2028933994570367 34.89/34.99 o 2028933840861567 34.89/34.99 o 2028933837598175 34.89/34.99 o 2028933821876895 34.89/34.99 o 2028933802663295 34.89/34.99 o 2028933790118975 34.89/34.99 o 2028933559602495 34.89/34.99 o 2028933559548840 34.89/34.99 o 2028933252131240 34.89/34.99 o 2028933220688680 34.89/34.99 o 2028933216758360 34.89/34.99 o 2028933216651050 34.89/34.99 o 2028933161708330 34.89/34.99 o 2028933111531050 34.89/34.99 o 2028933034676650 34.89/34.99 o 2028933034284640 34.89/34.99 o 2028933032567680 34.89/34.99 o 2028933030557260 34.89/34.99 o 2028932967672140 34.89/34.99 o 2028932965117140 34.89/34.99 o 2028932937645780 34.89/34.99 o 2028932937216540 34.89/34.99 o 2028932935648500 34.89/34.99 o 2028932809878260 34.89/34.99 o 2028932806742180 34.89/34.99 o 2028932805883700 34.89/34.99 o 2028932780795060 34.89/34.99 o 2028932773927220 34.89/34.99 o 2028932673572660 34.89/34.99 o 2028932669551820 34.89/34.99 o 2028932661691180 34.89/34.99 o 2028932659234730 34.89/34.99 o 2028932649627930 34.89/34.99 o 2028932644824530 34.89/34.99 o 2028932643690986 34.89/34.99 o 2028932629955306 34.89/34.99 o 2028932591528106 34.89/34.99 o 2028932371757226 34.89/34.99 o 2028932370973206 34.89/34.99 o 2028932364701046 34.89/34.99 o 2028932163991926 34.89/34.99 o 2028932160558006 34.89/34.99 o 2028932160343386 34.89/34.99 o 2028932159776614 34.89/34.99 o 2028931950919526 34.89/34.99 o 2028931944392742 34.89/34.99 o 2028931931339174 34.89/34.99 o 2028931826910630 34.89/34.99 o 2028931774696358 34.89/34.99 o 2028931748589222 34.89/34.99 o 2028931497048742 34.89/34.99 o 2028930993967782 34.89/34.99 o 2028929736265382 34.89/34.99 o 2028927220860582 34.89/34.99 o 2028922190050982 34.89/34.99 o 2028918165403302 34.89/34.99 o 2028917159241382 34.89/34.99 o 2028915146917542 34.89/34.99 o 2028657569466022 34.89/34.99 o 2028657054798502 34.89/34.99 o 2028657022631782 34.89/34.99 o 2022513022631782 34.89/34.99 o 2022508905291622 34.89/34.99 o 2021484905291622 34.89/34.99 o 2021466333306726 34.89/34.99 o 2021353810616166 34.89/34.99 o 2020917142219346 34.89/34.99 o 2019893142219346 34.89/34.99 o 2019892852032082 34.89/34.99 o 2019892787698642 34.89/34.99 o 2019884553018322 34.89/34.99 o 2011692553018322 34.89/34.99 o 2003500553018322 34.89/34.99 o 2003467614297042 34.89/34.99 o 2002413575216082 34.89/34.99 o 1986029575216082 34.89/34.99 o 1985005575216082 34.89/34.99 o 1985004994841554 34.89/34.99 o 1982956994841554 34.89/34.99 o 1980908994841554 34.89/34.99 o 1980908737507794 34.89/34.99 o 1976812737507794 34.89/34.99 o 1976812721424434 34.89/34.99 o 1976549211654194 34.89/34.99 o 1976549203612514 34.89/34.99 o 1972453203612514 34.89/34.99 o 1972453058518882 34.89/34.99 o 1972321303633762 34.89/34.99 o 1970273303633762 34.89/34.99 o 1958394903633762 34.89/34.99 o 1958384842014562 34.89/34.99 o 1892971554897762 34.89/34.99 o 1860203554897762 34.89/34.99 o 1843819554897762 34.89/34.99 o 1835627554897762 34.89/34.99 o 1831531554897762 34.89/34.99 o 1829483554897762 34.89/34.99 o 1829434469744482 34.89/34.99 o 1829167132671842 34.89/34.99 o 1829158778388322 34.89/34.99 o 1828624104243042 34.89/34.99 o 1828607395676002 34.89/34.99 o 1826563581788002 34.89/34.99 o 1826563507036002 107.59/107.64 o 1826563469660002 107.59/107.64 o 1826563466740002 107.59/107.64 o 1826563460900002 107.59/107.64 o 1826563460170002 107.59/107.64 o 1826563273290002 107.59/107.64 o 1826563249930002 107.59/107.64 o 1826562928262802 107.59/107.64 o 1826562927897802 107.59/107.64 o 1826562881177802 107.59/107.64 o 1826562869497802 107.59/107.64 o 1826562776057802 107.59/107.64 o 1826562774597802 107.59/107.64 o 1826562754493602 107.59/107.64 o 1824514754493602 107.59/107.64 o 1824514754457102 107.59/107.64 o 1824514730489742 107.59/107.64 o 1824514682555022 107.59/107.64 o 1824514490816142 107.59/107.64 o 1824514478832462 107.59/107.64 o 1824514475836542 107.59/107.64 o 1824514469844702 107.59/107.64 o 1824514373975262 107.59/107.64 o 1824513990497502 107.59/107.64 o 1824513989748522 107.59/107.64 o 1824513989374032 107.59/107.64 o 1824513987876072 107.59/107.64 o 1824501716587752 107.59/107.64 o 1820405716587752 107.59/107.64 o 1820382501606632 107.59/107.64 o 1820275566777576 107.59/107.64 o 1820061697119464 107.59/107.64 o 1820008229704936 107.59/107.64 o 1819580490388712 107.59/107.64 o 1818556490388712 107.59/107.64 o 1818556359572712 107.59/107.64 o 1818556355484712 107.59/107.64 o 1818556339132712 107.59/107.64 o 1818555292604712 107.59/107.64 o 1818555259900712 107.59/107.64 o 1818552643580712 107.59/107.64 o 1818550027260712 107.59/107.64 o 1818549765628712 107.59/107.64 o 1818549757452712 107.59/107.64 o 1818549692044712 107.59/107.64 o 1810357692044712 107.59/107.64 o 1806261692044712 107.59/107.64 o 1805237692044712 107.59/107.64 o 1478792623619562 107.59/107.64 o 1478792592877802 107.59/107.64 o 1478792590956442 107.59/107.64 o 1478792583271002 107.59/107.64 o 1478792521787482 107.59/107.64 o 1478792506416602 107.59/107.64 o 1478792505936262 107.59/107.64 o 1478792504975582 107.59/107.64 o 1478792503762906 107.59/107.64 o 1478792501337554 107.59/107.64 o 1478792481934738 107.59/107.64 o 1478792477084034 107.59/107.64 o 1478792438278402 107.59/107.64 o 1478792428576994 107.59/107.64 o 1478792427970656 107.59/107.64 o 1478791913303136 107.59/107.64 o 1478791831543136 107.59/107.64 o 1478791829188448 107.59/107.64 o 1478791733506253 107.59/107.64 o 1477532551016653 107.59/107.64 o 1477217755394253 107.59/107.64 o 1476193755394253 107.59/107.64 o 1474145755394253 107.59/107.64 o 1470049755394253 107.59/107.64 o 1468278514708685 107.59/107.64 o 1467661247377613 107.59/107.64 o 1465646555394253 107.59/107.64 o 1465249185722573 107.59/107.64 o 1464686572269773 107.59/107.64 o 1464563500576973 107.59/107.64 o 1464559105159373 107.59/107.64 o 1431808686293223 107.59/107.64 o 1431806488584423 107.59/107.64 o 1431805939157223 107.59/107.64 o 1431804840302823 107.59/107.64 o 1431804565589223 107.59/107.64 o 1431804531250023 107.59/107.64 o 1431804393893223 107.59/107.64 o 1431804325214823 107.59/107.64 o 1431804323068623 107.59/107.64 o 1431804318776223 107.59/107.64 o 1431804310191423 107.59/107.64 o 1431804293021823 107.59/107.64 o 1431804291948723 107.59/107.64 o 1431804291412173 107.59/107.64 o 1430780291412173 107.59/107.64 o 1426684291412173 107.59/107.64 o 1426684171575373 107.59/107.64 o 1426684111656973 107.59/107.64 o 1426684107912073 107.59/107.64 o 1426684077952873 107.59/107.64 o 1426684070463073 107.59/107.64 o 1426684068590623 107.59/107.64 o 1426682151201823 107.59/107.64 o 1426674481646623 107.59/107.64 o 1426670646869023 107.59/107.64 o 1426655307758623 107.59/107.64 o 1426654828411423 107.59/107.64 o 1426654588737823 107.59/107.64 o 1426604917528863 107.59/107.64 o 1426580081924383 107.59/107.64 o 1424581750101653 107.59/107.64 o 1424581362045333 107.59/107.64 o 1424580585932693 107.59/107.64 o 1424580391904533 107.59/107.64 o 1424580294890453 107.59/107.64 o 1424580246383413 107.59/107.64 o 1424580222129893 107.59/107.64 o 1424580210003133 107.59/107.64 o 1424580203939753 107.59/107.64 o 1424580200908063 107.59/107.64 o 1424577096457503 107.59/107.64 o 1424564678655263 107.59/107.64 o 1424558469754143 107.59/107.64 o 1424556917528863 107.59/107.64 o 1420460917528863 107.59/107.64 o 1419437949879533 107.59/107.64 o 1417389949879533 107.59/107.64 o 1417253580621545 107.59/107.64 o 1417253528407273 107.59/107.64 o 1417251044846825 107.59/107.64 o 1417250835989737 107.59/107.64 o 1417249606319337 107.59/107.64 o 1417242108693737 107.59/107.64 o 1417218893712617 107.59/107.64 o 1417218891702197 107.59/107.64 o 1417200319717301 107.59/107.64 o 1417200306663733 107.59/107.64 o 1417197985165621 107.59/107.64 o 1417192181420341 107.59/107.64 o 1417187538424117 107.59/107.64 o 1417185986198837 107.59/107.64 o 1417183084326197 107.59/107.64 o 1417182892587317 107.59/107.64 o 1417182866480181 107.59/107.64 o 1417182483002421 107.59/107.64 o 1417178734189621 107.59/107.64 o 1417178730528671 107.59/107.64 o 1417177963573151 107.59/107.64 o 1417177545858975 107.59/107.64 o 1417177545671730 107.59/107.64 o 1417177441243186 107.59/107.64 o 1417176665130546 107.59/107.64 o 1417176664948046 107.59/107.64 o 1417176659108046 107.59/107.64 o 1417176472228046 107.59/107.64 o 1417176425508046 107.59/107.64 o 1417176332068046 107.59/107.64 o 1417176331703046 107.59/107.64 o 1417176330243046 107.59/107.64 o 1417175582723046 107.59/107.64 o 1417175571043046 107.59/107.64 o 1417175568123046 107.59/107.64 o 1417175194363046 107.59/107.64 o 1417169961723046 107.59/107.64 o 1417159496443046 107.59/107.64 o 1417145449047206 107.59/107.64 o 1417142458967206 107.59/107.64 o 1417142378550406 107.59/107.64 o 1417140221955206 107.59/107.64 o 1417137231875206 107.59/107.64 o 1417135697964166 107.59/107.64 o 1417135296545926 107.59/107.64 o 1417135286493826 107.59/107.64 o 1417115122702101 107.59/107.64 o 1417073261582101 107.59/107.64 o 1417048719005461 107.59/107.64 o 1417040200267541 107.59/107.64 o 1417037626929941 107.59/107.64 o 1417036340261141 107.59/107.64 o 1417035696926741 107.59/107.64 o 1417035375259541 107.59/107.64 o 1417035335051141 107.59/107.64 o 1417035174217541 107.59/107.64 o 1417035154113341 107.59/107.64 o 1416011154113341 107.59/107.64 o 1414987154113341 107.59/107.64 o 1412939154113341 107.59/107.64 o 1405145018603339 107.59/107.64 o 1405145018243157 107.59/107.64 o 1405145012480245 107.59/107.64 o 1405144997500645 107.59/107.64 o 1405144981417285 107.59/107.64 o 1405144969891461 107.59/107.64 o 1405144968174501 107.59/107.64 o 1405144967671896 107.59/107.64 o 1405144966666686 107.59/107.64 o 1405144963785230 107.59/107.64 o 1405144959764390 107.59/107.64 o 1405144957753970 107.59/107.64 o 1405144949577970 107.59/107.64 o 1405144948857606 107.59/107.64 o 1405144940815926 107.59/107.64 o 1405144939375198 107.59/107.64 o 1405144916704318 107.59/107.64 o 1405144905368878 107.59/107.64 o 1405144899377038 107.59/107.64 o 1405144896381118 107.59/107.64 o 1405144884397438 107.59/107.64 o 1405144844189038 107.59/107.64 o 1405144650160878 107.59/107.64 o 1405144262104558 107.59/107.64 o 1405143987390958 107.59/107.64 o 1405143890376878 107.59/107.64 o 1405143841869838 107.59/107.64 o 1405143094349838 107.59/107.64 o 1405137193127950 107.59/107.64 o 1405134242517006 107.59/107.64 o 1405133000736782 196.70/196.77 o 1405124481998862 196.70/196.77 o 1405107444523022 196.70/196.77 o 1405102477402126 196.70/196.77 o 1405101235621902 196.70/196.77 o 1405076693045262 196.70/196.77 o 1405064890601486 196.70/196.77 o 1405041285713934 196.70/196.77 o 1402993285713934 196.70/196.77 o 1401969285713934 196.70/196.77 o 1397873285713934 196.70/196.77 o 1393777285713934 196.70/196.77 o 1393706959032334 196.70/196.77 o 1385514959032334 196.70/196.77 o 1383466959032334 196.70/196.77 o 1381418959032334 196.70/196.77 o 1379370959032334 196.70/196.77 o 1375274959032334 196.70/196.77 o 1374015776542734 196.70/196.77 o 1373917606236174 196.70/196.77 o 1372114236940302 196.70/196.77 o 1370069227020302 196.70/196.77 o 1370066236940302 196.70/196.77 o 1369042236940302 196.70/196.77 o 1366997227020302 196.70/196.77 o 1366994236940302 196.70/196.77 o 1358802236940302 196.70/196.77 o 1347450233561102 196.70/196.77 o 1347447243481102 196.70/196.77 o 1343351243481102 196.70/196.77 o 1335159243481102 196.70/196.77 o 1334970404380686 196.70/196.77 o 1334045746798606 196.70/196.77 o 1334042642348046 196.70/196.77 o 1334030224545806 196.70/196.77 o 1333996735649806 196.70/196.77 o 1333979991201806 196.70/196.77 o 1333645102241806 196.70/196.77 o 1333561380001806 196.70/196.77 o 1333477657761806 196.70/196.77 o 1327436057761806 196.70/196.77 o 1261900057761806 196.70/196.77 o 1253708057761806 196.70/196.77 o 1253567404398606 196.70/196.77 o 1253565206689806 196.70/196.77 o 1253564657262606 196.70/196.77 o 1253563558408206 196.70/196.77 o 1253559162990606 196.70/196.77 o 1253541581320206 196.70/196.77 o 1253532790485006 196.70/196.77 o 1253497627144206 196.70/196.77 o 1204307833135530 196.70/196.77 o 1204302029390250 196.70/196.77 o 1204290421899690 196.70/196.77 o 1204251615922500 196.70/196.77 o 1204251615138480 196.70/196.77 o 1204251605086380 196.70/196.77 o 1204251600060330 196.70/196.77 o 1204251592374890 196.70/196.77 o 1204251591197546 196.70/196.77 o 1204251589137194 196.70/196.77 o 1204251587215834 196.70/196.77 o 1204251583853454 196.70/196.77 o 1204251576013254 196.70/196.77 o 1204251575521964 196.70/196.77 o 1204251572490274 196.70/196.77 o 1204251566426894 196.70/196.77 o 1204251563871894 196.70/196.77 o 1204251551745134 196.70/196.77 o 1204251551562634 196.70/196.77 o 1204251549106184 196.70/196.77 o 1204251544193284 196.70/196.77 o 1204251540532334 196.70/196.77 o 1204251533210434 196.70/196.77 o 1204251503922834 196.70/196.77 o 1204251489279034 196.70/196.77 o 1204251372128634 196.70/196.77 o 1204251313553434 196.70/196.77 o 1204243815927834 196.70/196.77 o 1204241941521434 196.70/196.77 o 1204241472919834 196.70/196.77 o 1204241238619034 196.70/196.77 o 1204240301415834 196.70/196.77 o 1204236552603034 196.70/196.77 o 1204221557351834 196.70/196.77 o 1203965758345114 196.70/196.77 o 1203964955508634 196.70/196.77 o 1203964120080282 196.70/196.77 o 1203964113553498 196.70/196.77 o 1203963867619418 196.70/196.77 o 1203963852248538 196.70/196.77 o 1203963821506778 196.70/196.77 o 1203963760023258 196.70/196.77 o 1203963637056218 196.70/196.77 o 1203963582113498 196.70/196.77 o 1203963581633158 196.70/196.77 o 1203962597896838 196.70/196.77 o 1203962106028678 196.70/196.77 o 1203961666486918 196.70/196.77 o 1203961665504338 196.70/196.77 o 1203961634061778 196.70/196.77 o 1203961624643026 196.70/196.77 o 1203961607473426 196.70/196.77 o 1203961510459346 196.70/196.77 o 1203961486205826 196.70/196.77 o 1203961098149506 196.70/196.77 o 1203961049642466 196.70/196.77 o 1203961037515706 196.70/196.77 o 1203960843487546 196.70/196.77 o 1203960067374906 196.70/196.77 o 1203954039373626 196.70/196.77 o 1203715522058586 196.70/196.77 o 1203625550551386 196.70/196.77 o 1203625526297866 196.70/196.77 o 1203618149770506 196.70/196.77 o 1203618143077866 196.70/196.77 o 1203618128098266 196.70/196.77 o 1203617625017306 196.70/196.77 o 1203617617527506 196.70/196.77 o 1203617615655056 196.70/196.77 o 1203612793254032 196.70/196.77 o 1203604923363472 196.70/196.77 o 1203595086000272 196.70/196.77 o 1203469167751312 196.70/196.77 o 1202965494755472 196.70/196.77 o 1202451679408272 196.70/196.77 o 1202442034606224 196.70/196.77 o 1202190198108304 196.70/196.77 o 1200142198108304 196.70/196.77 o 1196046198108304 196.70/196.77 o 1195635145830544 196.70/196.77 o 1189695945830544 196.70/196.77 o 1189632986706064 196.70/196.77 o 1188810882150544 196.70/196.77 o 1182769282150544 196.70/196.77 o 1182737802588304 196.70/196.77 o 1182722062807184 196.70/196.77 o 1181698062807184 196.70/196.77 o 1181549486928016 196.70/196.77 o 1168558690694053 196.70/196.77 o 1168558663222693 196.70/196.77 o 1168558649487013 196.70/196.77 o 1168558647770053 196.70/196.77 o 1168558644336133 196.70/196.77 o 1168558637468293 196.70/196.77 o 1168557142428293 196.70/196.77 o 1168555647388293 196.70/196.77 o 1168541928901253 196.70/196.77 o 1168538938821253 196.70/196.77 o 1168533574617733 196.70/196.77 o 1168530584537733 196.70/196.77 o 1168484061621381 196.70/196.77 o 1168483055459461 196.70/196.77 o 1168479030811781 196.70/196.77 o 1168446833630341 196.70/196.77 o 1167422833630341 196.70/196.77 o 1166398833630341 196.70/196.77 o 1165374833630341 196.70/196.77 o 1165370716290181 196.70/196.77 o 1165362481609861 196.70/196.77 o 1165346012249221 196.70/196.77 o 1165188614438021 196.70/196.77 o 1165149264985221 196.70/196.77 o 1165070566079621 196.70/196.77 o 1165054467488901 196.70/196.77 o 1165052455165061 196.70/196.77 o 1165044405869701 196.70/196.77 o 1162996405869701 196.70/196.77 o 1162930528427141 196.70/196.77 o 1162798773542021 196.70/196.77 o 1162765834820741 196.70/196.77 o 1162637046094981 196.70/196.77 o 1161613046094981 196.70/196.77 o 1161548651732101 196.70/196.77 o 1159501453889681 196.70/196.77 o 1143117453889681 196.70/196.77 o 1137075853889681 196.70/196.77 o 1132672653889681 196.70/196.77 o 1132672459861521 196.70/196.77 o 1132622788652561 196.70/196.77 o 1132622400596241 196.70/196.77 o 1132621624483601 196.70/196.77 o 1132621600230081 196.70/196.77 o 1132620048004801 196.70/196.77 o 1124428048004801 196.70/196.77 o 1122380048004801 196.70/196.77 o 1117749454301842 196.70/196.77 o 1117748851501714 196.70/196.77 o 1117748550101650 196.70/196.77 o 1117747344501394 196.70/196.77 o 1117747135644306 196.70/196.77 o 1117744145564306 196.70/196.77 o 1117744129480946 196.70/196.77 o 1117744125460106 196.70/196.77 o 1117744123449686 196.70/196.77 o 1117744115408006 196.70/196.77 o 1117743858074246 196.70/196.77 o 1117743829259686 196.70/196.77 o 1117743368226726 196.70/196.77 o 1117743310597606 196.70/196.77 o 1117743296190326 196.70/196.77 o 1117743288986686 196.70/196.77 o 1117742453558334 196.70/196.77 o 1117742450614974 196.70/196.77 o 1117741712962238 196.70/196.77 o 1117738441835304 196.70/196.77 o 1117738426154904 196.70/196.77 o 1117736419063704 196.70/196.77 o 1117736168177304 196.70/196.77 o 1117735666404504 196.70/196.77 o 1117734662858904 196.70/196.77 o 1117734631498104 196.70/196.77 o 1117734568776504 196.70/196.77 o 1117734443333304 196.70/196.77 o 1117733413998264 196.70/196.77 o 1117731355328184 511.41/511.42 o 1117727237988024 511.41/511.42 o 1117727233184624 511.41/511.42 o 1117727223577824 511.41/511.42 o 1117725993907424 511.41/511.42 o 1117725686489824 511.41/511.42 o 1117725071654624 511.41/511.42 o 1117724994800224 511.41/511.42 o 1117724841091424 511.41/511.42 o 1117724802664224 511.41/511.42 o 1117722343323424 511.41/511.42 o 1117717424641824 511.41/511.42 o 1117717049760544 511.41/511.42 o 1117716299997984 511.41/511.42 o 1117713088652064 511.41/511.42 o 1117712901211424 511.41/511.42 o 1117706903110944 511.41/511.42 o 1117706809390624 511.41/511.42 o 1117705309865504 511.41/511.42 o 1117704265580064 511.41/511.42 o 1117703221294624 511.41/511.42 o 1117694986614304 511.41/511.42 o 1117694406239776 511.41/511.42 o 1117694116052512 511.41/511.42 o 1117691794554400 511.41/511.42 o 1117687151558176 511.41/511.42 o 1117677865565728 511.41/511.42 o 1117657742327328 511.41/511.42 o 1117617495850528 511.41/511.42 o 1117614391399968 511.41/511.42 o 1117608182498848 511.41/511.42 o 1117595764696608 511.41/511.42 o 1117571652691488 511.41/511.42 o 1117570927223328 511.41/511.42 o 1116546927223328 511.41/511.42 o 1116540899222048 511.41/511.42 o 1116528843219488 511.41/511.42 o 1111948273674784 511.41/511.42 o 1111947644823584 511.41/511.42 o 1111947330397984 511.41/511.42 o 1111947173185184 511.41/511.42 o 1111947094578784 511.41/511.42 o 1111947055275584 511.41/511.42 o 1111947040536884 511.41/511.42 o 1111947038080434 511.41/511.42 o 1111154811685424 511.41/511.42 o 1111153553983024 511.41/511.42 o 1109137663522124 511.41/511.42 o 1109136659976524 511.41/511.42 o 1109131755451084 511.41/511.42 o 1108521386877832 511.41/511.42 o 1108521386517650 511.41/511.42 o 1108521385797286 511.41/511.42 o 1108521385651286 511.41/511.42 o 1108521384517742 511.41/511.42 o 1108521381962742 511.41/511.42 o 1108521378301792 511.41/511.42 o 1108521373191792 511.41/511.42 o 1108521372897456 511.41/511.42 o 1108521372165266 511.41/511.42 o 1108521371799171 511.41/511.42 o 1108521371210499 511.41/511.42 o 1108521368267139 511.41/511.42 o 1108521366802759 511.41/511.42 o 1108521365625415 511.41/511.42 o 1108521363270727 511.41/511.42 o 1108521353851975 511.41/511.42 o 1108521349142599 511.41/511.42 o 1108521330305095 511.41/511.42 o 1108521325770919 511.41/511.42 o 1108521323503831 511.41/511.42 o 1108521286127831 511.41/511.42 o 1108521267439831 511.41/511.42 o 1108521258371479 511.41/511.42 o 1108521240234775 511.41/511.42 o 1108521203961367 511.41/511.42 o 1108521202501367 511.41/511.42 o 1108521200580007 511.41/511.42 o 1108521199850007 511.41/511.42 o 1108521194010007 511.41/511.42 o 1108521186324567 511.41/511.42 o 1108521185363887 511.41/511.42 o 1108521182443887 511.41/511.42 o 1108521178601167 511.41/511.42 o 1108521163230287 511.41/511.42 o 1108521132488527 511.41/511.42 o 1108521132306027 511.41/511.42 o 1108521131825687 511.41/511.42 o 1108521131643187 511.41/511.42 o 1108521014492787 511.41/511.42 o 1108509075640627 511.41/511.42 o 1108508981453107 511.41/511.42 o 1108508957906227 511.41/511.42 o 1108508910812467 511.41/511.42 o 1108508722437427 511.41/511.42 o 1108508345687347 511.41/511.42 o 1108507592187187 511.41/511.42 o 1108506085186867 511.41/511.42 o 1108503071186227 511.41/511.42 o 1108497043184947 511.41/511.42 o 1108497031411507 511.41/511.42 o 1108497025524787 511.41/511.42 o 1108479443854387 511.41/511.42 o 1108479443489460 511.41/511.42 o 1108479442528780 511.41/511.42 o 1108479442048440 511.41/511.42 o 1108479441754104 511.41/511.42 o 1108479438810744 511.41/511.42 o 1108479434968024 511.41/511.42 o 1108479427282584 511.41/511.42 o 1108479411911704 511.41/511.42 o 1108479400138264 511.41/511.42 o 1108475494974064 511.41/511.42 o 1108475494199388 511.41/511.42 o 1108475493424712 511.41/511.42 o 1108475489148664 511.41/511.42 o 1108475485856218 511.41/511.42 o 1108475485714525 511.41/511.42 o 1108475484439288 511.41/511.42 o 1108472746739560 511.41/511.42 o 1108472746456174 511.41/511.42 o 1108472746314481 511.41/511.42 o 1108472744897551 511.41/511.42 o 1108472743764007 511.41/511.42 o 1108472739229831 511.41/511.42 o 1108472401987862 511.41/511.42 o 1108472399437388 511.41/511.42 o 1108472284179148 511.41/511.42 o 1108472053662668 511.41/511.42 o 1108472046459028 511.41/511.42 o 1108472042857208 511.41/511.42 o 1108468113437955 511.41/511.42 o 1108468112021025 511.41/511.42 o 1108468111737639 511.41/511.42 o 1108468109411056 511.41/511.42 o 1108468108560898 511.41/511.42 o 1108468108419205 511.41/511.42 o 1108468108277512 511.41/511.42 o 1108468108135819 511.41/511.42 o 1107342881230219 511.41/511.42 o 1097469105704331 511.41/511.42 o 1097463873064331 511.41/511.42 o 1097453407784331 511.41/511.42 o 1097430932848011 511.41/511.42 o 1097427244584331 511.41/511.42 o 1095352777864971 511.41/511.42 o 1095352777276299 511.41/511.42 o 1095352774921611 511.41/511.42 o 1095288548003211 511.41/511.42 o 1095272492690541 511.41/511.42 o 1095272491698690 511.41/511.42 o 1095272491556997 511.41/511.42 o 1095272491415304 511.41/511.42 o 1095272491273611 511.41/511.42 o 1094248491273611 511.41/511.42 o 1094248486601611 511.41/511.42 o 1092200486601611 511.41/511.42 o 1091176486601611 511.41/511.42 o 1086773286601611 511.41/511.42 o 1086238612456331 511.41/511.42 o 1086230258172811 511.41/511.42 o 1085618055354543 511.41/511.42 o 1085615056304303 511.41/511.42 o 1085609823664303 511.41/511.42 o 1085603046647983 511.41/511.42 o 1085599358384303 511.41/511.42 o 1085599355735279 511.41/511.42 o 1085599350437231 511.41/511.42 o 1085599332607419 511.41/511.42 o 1085598463462557 511.41/511.42 o 1085505938236653 511.41/511.42 o 1085456853083373 511.41/511.42 o 1085456384481773 511.41/511.42 o 1085455447278573 511.41/511.42 o 1085453572872173 511.41/511.42 o 1085449824059373 511.41/511.42 o 1085442326433773 511.41/511.42 o 1085442297146173 511.41/511.42 o 1085442238570973 511.41/511.42 o 1085427243319773 511.41/511.42 o 1085426932874717 511.41/511.42 o 1085419897131421 511.41/511.42 o 1085419897113171 511.41/511.42 o 1085419893092331 511.41/511.42 o 1085419889249611 511.41/511.42 o 1085419889213111 511.41/511.42 o 1085419888852929 511.41/511.42 o 1085419882861089 511.41/511.42 o 1085419879865169 511.41/511.42 o 1085419876983713 511.41/511.42 o 1085419874428713 511.41/511.42 o 1085419864208713 511.41/511.42 o 1085419859098713 511.41/511.42 o 1085419838658713 511.41/511.42 o 1085419815607065 511.41/511.42 o 1085419814394389 511.41/511.42 o 1085419813217045 511.41/511.42 o 1085419808507669 511.41/511.42 o 1085419807901331 511.41/511.42 o 1085419788498515 511.41/511.42 o 1085419778797107 511.41/511.42 o 1085419773946403 511.41/511.42 o 1085419696335139 511.41/511.42 o 1085419657529507 511.41/511.42 o 1085419619854499 511.41/511.42 o 1085419558370979 511.41/511.42 o 1085419526204259 511.41/511.42 o 1085419332176099 511.41/511.42 o 1085418944119779 511.41/511.42 o 1085418847105699 511.41/511.42 o 1085418070993059 511.41/511.42 o 1085418046739539 511.41/511.42 o 1085418034612779 511.41/511.42 o 1085418028549399 511.41/511.42 o 1085418025517709 511.41/511.42 o 1085418023645259 511.41/511.42 o 1085418022228329 1517.24/1517.25 o 1085418006857449 1517.24/1517.25 o 1085417998815769 1517.24/1517.25 o 1083369998815769 1517.24/1517.25 o 1083357153432089 1517.24/1517.25 o 1083305771897369 1517.24/1517.25 o 1074478439751061 1517.24/1517.25 o 1074478439343137 1517.24/1517.25 o 1074478379424737 1517.24/1517.25 o 1074478377459577 1517.24/1517.25 o 1074478375827881 1517.24/1517.25 o 1074478345086121 1517.24/1517.25 o 1074478337764221 1517.24/1517.25 o 1074478336781641 1517.24/1517.25 o 1074478259170377 1517.24/1517.25 o 1074478251680577 1517.24/1517.25 o 1074478241979169 1517.24/1517.25 o 1074478232560417 1517.24/1517.25 o 1074478213157601 1517.24/1517.25 o 1074478198750321 1517.24/1517.25 o 1074478184106521 1517.24/1517.25 o 1074478180361621 1517.24/1517.25 o 1074478176759801 1517.24/1517.25 o 1074478176268511 1517.24/1517.25 o 1074478173005119 1517.24/1517.25 o 1074478157634239 1517.24/1517.25 o 1074478153703919 1517.24/1517.25 o 1074478138724319 1517.24/1517.25 o 1074478099918687 1517.24/1517.25 o 1074478099673042 1517.24/1517.25 o 1074478054331282 1517.24/1517.25 o 1074478042995842 1517.24/1517.25 o 1074478039334892 1517.24/1517.25 o 1074477977851372 1517.24/1517.25 o 1074477977647410 1517.24/1517.25 o 1074477948359810 1517.24/1517.25 o 1074477941156170 1517.24/1517.25 o 1074477882580970 1517.24/1517.25 o 1074477852621770 1517.24/1517.25 o 1074477851805922 1517.24/1517.25 o 1074477829135042 1517.24/1517.25 o 1074477813413762 1517.24/1517.25 o 1074477750528642 1517.24/1517.25 o 1074477719086082 1517.24/1517.25 o 1074477711225442 1517.24/1517.25 o 1074477619018850 1517.24/1517.25 o 1074477607493026 1517.24/1517.25 o 1074477584441378 1517.24/1517.25 o 1074477538338082 1517.24/1517.25 o 1074477353924898 1517.24/1517.25 o 1074476874577698 1517.24/1517.25 o 1074476754740898 1517.24/1517.25 o 1074476515067298 1517.24/1517.25 o 1074476510154398 1517.24/1517.25 o 1074476490502798 1517.24/1517.25 o 1074476451199598 1517.24/1517.25 o 1074476441373798 1517.24/1517.25 o 1074476072547430 1517.24/1517.25 o 1074475993941030 1517.24/1517.25 o 1074455407240230 1517.24/1517.25 o 1074455033480230 1517.24/1517.25 o 1074454285960230 1517.24/1517.25 o 1074453771292710 1517.24/1517.25 o 1074453755209350 1517.24/1517.25 o 1074453497875590 1517.24/1517.25 o 1074453433542150 1517.24/1517.25 o 1074453304875270 1517.24/1517.25 o 1074453272708550 1517.24/1517.25 o 1074453085828550 1517.24/1517.25 o 1074452992388550 1517.24/1517.25 o 1074394007827910 1517.24/1517.25 o 1074390903377350 1517.24/1517.25 o 1074378485575110 1517.24/1517.25 o 1072338510019810 1517.24/1517.25 o 1070290510019810 1517.24/1517.25 o 1066194510019810 1517.24/1517.25 o 1065972173651170 1517.24/1517.25 o 1065970116991510 1517.24/1517.25 o 1065970115483695 1517.24/1517.25 o 1064966701681890 1517.24/1517.25 o 1064958831791330 1517.24/1517.25 o 1064954896846050 1517.24/1517.25 o 1064924218625250 1517.24/1517.25 o 1064924213599200 1517.24/1517.25 o 1064924166879200 1517.24/1517.25 o 1064924143519200 1517.24/1517.25 o 1064924131839200 1517.24/1517.25 o 1064924128919200 1517.24/1517.25 o 1064924123079200 1517.24/1517.25 o 1064924121619200 1517.24/1517.25 o 1064924121436700 1517.24/1517.25 o 1064924111384600 1517.24/1517.25 o 1064922824715800 1517.24/1517.25 o 1064922503048600 1517.24/1517.25 o 1064921859714200 1517.24/1517.25 o 1064921819505800 1517.24/1517.25 o 1064921739089000 1517.24/1517.25 o 1064921578255400 1517.24/1517.25 o 1064919004917800 1517.24/1517.25 o 1064913858242600 1517.24/1517.25 o 1064903564892200 1517.24/1517.25 o 1064903544788000 1517.24/1517.25 o 1064903520820640 1517.24/1517.25 o 1064903472885920 1517.24/1517.25 o 1064903466894080 1517.24/1517.25 o 1064903454910400 1517.24/1517.25 o 1064898834238154 1517.24/1517.25 o 1064898833454134 1517.24/1517.25 o 1064898832847796 1517.24/1517.25 o 1064898829919036 1517.24/1517.25 o 1064898829186846 1517.24/1517.25 o 1064898827722466 1517.24/1517.25 o 1064898827539966 1517.24/1517.25 o 1064898818121214 1517.24/1517.25 o 1064898817691974 1517.24/1517.25 o 1064898790220614 1517.24/1517.25 o 1064898783352774 1517.24/1517.25 o 1064898783245464 1517.24/1517.25 o 1064898779811544 1517.24/1517.25 o 1064898766075864 1517.24/1517.25 o 1064898656190424 1517.24/1517.25 o 1064898655975804 1517.24/1517.25 o 1064898654258844 1517.24/1517.25 o 1064898653400364 1517.24/1517.25 o 1064898649480264 1517.24/1517.25 o 1064898647607814 1517.24/1517.25 o 1064898632236934 1517.24/1517.25 o 1064898624396734 1517.24/1517.25 o 1064898608716334 1517.24/1517.25 o 1064898577355534 1517.24/1517.25 o 1064898575857574 1517.24/1517.25 o 1064898450414374 1517.24/1517.25 o 1064898199527974 1517.24/1517.25 o 1064898194615074 1517.24/1517.25 o 1064898192158624 1517.24/1517.25 o 1064898182332824 1517.24/1517.25 o 1064898162681224 1517.24/1517.25 o 1064898123378024 1517.24/1517.25 o 1064898044771624 1517.24/1517.25 o 1064897441971496 1517.24/1517.25 o 1064896458235176 1517.24/1517.25 o 1064894047034664 1517.24/1517.25 o 1064878307253544 1517.24/1517.25 o 1064874618989864 1517.24/1517.25 o 1064870684044584 1517.24/1517.25 o 1064866669862184 1517.24/1517.25 o 1064866208829224 1517.24/1517.25 o 1064865286763304 1517.24/1517.25 o 1064863442631464 1517.24/1517.25 o 1064863427071368 1517.24/1517.25 o 1064863311813128 1517.24/1517.25 o 1064863308211308 1517.24/1517.25 o 1064863301007668 1517.24/1517.25 o 1064863286600388 1517.24/1517.25 o 1064857258599108 1517.24/1517.25 o 1064845202596548 1517.24/1517.25 o 1064835140977348 1517.24/1517.25 o 1064832126976708 1517.24/1517.25 o 1064830619976388 1517.24/1517.25 o 1064829866476228 1517.24/1517.25 o 1064829865939678 1517.24/1517.25 o 1064829489189598 1517.24/1517.25 o 1064829300814558 1517.24/1517.25 o 1064829206627038 1517.24/1517.25 o 1064829183080158 1517.24/1517.25 o 1064829171306718 1517.24/1517.25 o 1064829165419998 1517.24/1517.25 o 1064829162476638 1517.24/1517.25 o 1064817360032862 1517.24/1517.25 o 1064158585607262 1517.24/1517.25 o 1064117412205662 1517.24/1517.25 o 1064098840220766 1517.24/1517.25 o 1064098102568030 1517.24/1517.25 o 1064096627262558 1517.24/1517.25 o 1062048627262558 1517.24/1517.25 o 1062045676651614 1517.24/1517.25 o 1049962476651614 1517.24/1517.25 o 1049956575429726 1517.24/1517.25 o 1049919431459934 1517.24/1517.25 o 1049868049925214 1517.24/1517.25 o 1049862903250014 1517.24/1517.25 o 1033478903250014 1517.24/1517.25 o 1033396556446814 1517.24/1517.25 o 1033396512296414 1517.24/1517.25 o 1033396511128414 1517.24/1517.25 o 1033289513414238 1517.24/1517.25 o 1031078395627636 1517.24/1517.25 o 1031078395198396 1517.24/1517.25 o 1031078394942896 1517.24/1517.25 o 1031078394728276 1517.24/1517.25 o 1031078394620966 1517.24/1517.25 o 1031078394109966 1517.24/1517.25 o 1031078393607361 1517.24/1517.25 o 1031078393553706 1517.24/1517.25 o 1031078389951886 1517.24/1517.25 o 1031078379899786 1517.24/1517.25 o 1031078378826686 1517.24/1517.25 o 1031078315941566 1517.24/1517.25 o 1031078292394686 1517.24/1517.25 o 1031078280621246 1517.24/1517.25 o 1031078215353406 1517.24/1517.25 o 1031078209466686 1517.24/1517.25 o 1031078206523326 1517.24/1517.25 o 1031078159429566 1517.24/1517.25 o 1031077782679486 1517.24/1517.25 o 1031077688491966 1517.24/1517.25 o 1031077500116926 1517.24/1517.25 o 1031077449939646 1517.24/1517.25 o 1031077437395326 1517.24/1517.25 o 1031077412306686 1517.24/1517.25 o 1031075905306366 1517.24/1517.25 o 1031075151806206 1517.24/1517.25 o 1031072137805566 1517.24/1517.25 o 1031071937096446 1517.24/1517.25 o 1031071535678206 1517.24/1517.25 o 1031071531598966 1749.25/1749.24 o 1031070728762486 1749.25/1749.24 o 1031069123089526 1749.25/1749.24 o 1031069121672596 1749.25/1749.24 o 1031069118838736 1749.25/1749.24 o 1031069113171016 1749.25/1749.24 o 1031069067829256 1749.25/1749.24 o 1031069045158376 1749.25/1749.24 o 1031069033822936 1749.25/1749.24 o 1031068671088856 1749.25/1749.24 o 1031067945620696 1749.25/1749.24 o 1031067854937176 1749.25/1749.24 o 1031067673570136 1749.25/1749.24 o 1031066926050136 1749.25/1749.24 o 1031066552290136 1749.25/1749.24 o 1031066458850136 1749.25/1749.24 o 1031066271970136 1749.25/1749.24 o 1030460940042986 1749.25/1749.24 o 1030440444838634 1749.25/1749.24 o 1030416332833514 1749.25/1749.24 o 1030416332296964 1749.25/1749.24 o 1030416329741964 1749.25/1749.24 o 1030416312572364 1749.25/1749.24 o 1030416308279964 1749.25/1749.24 o 1030416299695164 1749.25/1749.24 o 1030416298622064 1749.25/1749.24 o 1030416296475864 1749.25/1749.24 o 1030415747048664 1749.25/1749.24 o 1030415472335064 1749.25/1749.24 o 1030415334978264 1749.25/1749.24 o 1030415266299864 1749.25/1749.24 o 1030415231960664 1749.25/1749.24 o 1028879231960664 1749.25/1749.24 o 1020711343965784 1749.25/1749.24 o 1020687231960664 1749.25/1749.24 o 1020336779451608 1749.25/1749.24 o 1020336776508248 1749.25/1749.24 o 1020331954107224 1749.25/1749.24 o 1020331948220504 1749.25/1749.24 o 1020331571470424 1749.25/1749.24 o 1020331383095384 1749.25/1749.24 o 1020331288907864 1749.25/1749.24 o 1020331277134424 1749.25/1749.24 o 1020328263133784 1749.25/1749.24 o 1020328239586904 1749.25/1749.24 o 1020322211585624 1749.25/1749.24 o 1020322164491864 1749.25/1749.24 o 1020320657491544 1749.25/1749.24 o 1020319903991384 1749.25/1749.24 o 1015916703991384 1749.25/1749.24 o 1015876457514584 1749.25/1749.24 o 1015876205728459 1749.25/1749.24 o 1015876201798139 1749.25/1749.24 o 1015875950257659 1749.25/1749.24 o 1015875887372539 1749.25/1749.24 o 1015875761602299 1749.25/1749.24 o 1015875761111009 1749.25/1749.24 o 1015875258030049 1749.25/1749.24 o 1015874889203681 1749.25/1749.24 o 1015863086759905 1749.25/1749.24 o 1015863085754695 1749.25/1749.24 o 1015858968414535 1749.25/1749.24 o 1015842499053895 1749.25/1749.24 o 1015842406847303 1749.25/1749.24 o 1015842398805623 1749.25/1749.24 o 1015578889035383 1749.25/1749.24 o 1015578885014543 1749.25/1749.24 o 1015447130129423 1749.25/1749.24 o 1015446100794383 1749.25/1749.24 o 1015445972127503 1749.25/1749.24 o 1015422367239951 1749.25/1749.24 o 1015419416629007 1749.25/1749.24 o 1015324997078799 1749.25/1749.24 o 1015324739745039 1749.25/1749.24 o 1015324225077519 1749.25/1749.24 o 1015324208994159 1749.25/1749.24 o 1015323471341423 1749.25/1749.24 o 1015323470981241 1749.25/1749.24 o 1015321995675769 1749.25/1749.24 o 1015321993665349 1749.25/1749.24 o 1015319934995269 1749.25/1749.24 o 1015286996273989 1749.25/1749.24 o 1015240892977989 1749.25/1749.24 o 1015175015535429 1749.25/1749.24 o 1015172500130629 1749.25/1749.24 o 1015172189685573 1749.25/1749.24 o 1015171568795461 1749.25/1749.24 o 1015169085235013 1749.25/1749.24 o 1015167843454789 1749.25/1749.24 o 1015128106487621 1749.25/1749.24 o 1014979530608453 1749.25/1749.24 o 1014977209110341 1749.25/1749.24 o 1014958637125445 1749.25/1749.24 o 1014921493155653 1749.25/1749.24 o 1014920332406597 1749.25/1749.24 o 1014913299738437 1749.25/1749.24 o 1014913009551173 1749.25/1749.24 o 1014912973277765 1749.25/1749.24 o 1014912392903237 1749.25/1749.24 o 1014907749907013 1749.25/1749.24 o 1014898463914565 1749.25/1749.24 o 1014898391367749 1749.25/1749.24 o 1014898246274117 1749.25/1749.24 o 1014897785241157 1749.25/1749.24 o 1014231872657256 1749.25/1749.24 o 1014231621116776 1749.25/1749.24 o 1014231558231656 1749.25/1749.24 o 1014231432461416 1749.25/1749.24 o 1014231353855016 1749.25/1749.24 o 1014231350253196 1749.25/1749.24 o 1014231119736716 1749.25/1749.24 o 1014231090922156 1749.25/1749.24 o 1014231033293036 1749.25/1749.24 o 1014230918034796 1749.25/1749.24 o 1014230903627516 1749.25/1749.24 o 1014230896423876 1749.25/1749.24 o 1014230765888196 1749.25/1749.24 o 1014230700620356 1749.25/1749.24 o 1014230543407556 1749.25/1749.24 o 1014229914556356 1749.25/1749.24 o 1014229897386756 1749.25/1749.24 o 1014229895032068 1749.25/1749.24 o 1014229893854724 1749.25/1749.24 o 1014229818504708 1749.25/1749.24 o 1014229809085956 1749.25/1749.24 o 1014229658385924 1749.25/1749.24 o 1014229620710916 1749.25/1749.24 o 1014229601873412 1749.25/1749.24 o 1014229464516612 1749.25/1749.24 o 1014229189803012 1749.25/1749.24 o 1014229155463812 1749.25/1749.24 o 1014229086785412 1749.25/1749.24 o 1014228537358212 1749.25/1749.24 o 1014224351246212 1749.25/1749.24 o 1014221867685764 1749.25/1749.24 o 1014216900564868 1749.25/1749.24 o 1014206966323076 1749.25/1749.24 o 1014199515641732 1749.25/1749.24 o 1014199433881732 1749.25/1749.24 o 1014199270361732 1749.25/1749.24 o 1014198616281732 1749.25/1749.24 o 1014198289241732 1749.25/1749.24 o 1014196981081732 1749.25/1749.24 o 1014194030470788 1749.25/1749.24 o 1014191414150788 1749.25/1749.24 o 1014190535067268 1749.25/1749.24 o 1014190514627268 1749.25/1749.24 o 1014190504407268 1749.25/1749.24 o 1014190463527268 1749.25/1749.24 o 1014190460972268 1749.25/1749.24 o 1013166460972268 1749.25/1749.24 o 1011186260600301 1749.25/1749.24 o 1011186258143851 1749.25/1749.24 o 1011186218840651 1749.25/1749.24 o 1011186218256651 1749.25/1749.24 o 1011186218183651 1749.25/1749.24 o 1011186212191811 1749.25/1749.24 o 1011186209248451 1749.25/1749.24 o 1011186205169211 1749.25/1749.24 o 1011186204186631 1749.25/1749.24 o 1011186203892295 1749.25/1749.24 o 1011186202714951 1749.25/1749.24 o 1011186202126279 1749.25/1749.24 o 1011186192707527 1749.25/1749.24 o 1011186187998151 1749.25/1749.24 o 1011186185643463 1749.25/1749.24 o 1011186166805959 1749.25/1749.24 o 1011186129130951 1749.25/1749.24 o 1011185827730887 1749.25/1749.24 o 1011185677030855 1749.25/1749.24 o 1011185074230727 1749.25/1749.24 o 1011183868630471 1749.25/1749.24 o 1011183346487751 1749.25/1749.24 o 1011183281219911 1749.25/1749.24 o 1011183020148551 1749.25/1749.24 o 1011182889612871 1749.25/1749.24 o 1011182858170311 1749.25/1749.24 o 1011182842449031 1749.25/1749.24 o 1011182716678791 1749.25/1749.24 o 1011182653793671 1749.25/1749.24 o 1011182645933031 1749.25/1749.24 o 1011182632879463 1749.25/1749.24 o 1011182528450919 1749.25/1749.24 o 1011182521924135 1749.25/1749.24 o 1011182495816999 1749.25/1749.24 o 1011182443602727 1749.25/1749.24 o 1011181940521767 1749.25/1749.24 o 1011179928197927 1749.25/1749.24 o 1011178922036007 1749.25/1749.24 o 1011178670495527 1749.25/1749.24 o 1011174645847847 1749.25/1749.24 o 1011171631847207 1749.25/1749.24 o 1011165603845927 1749.25/1749.24 o 1011165531299111 1749.25/1749.24 o 1011165495025703 1749.25/1749.24 o 1011165476888999 1749.25/1749.24 o 1011163969888679 1749.25/1749.24 o 1011163216388519 1749.25/1749.24 o 1011162490920359 1749.25/1749.24 o 1011161039984039 1749.25/1749.24 o 1011158138111399 1749.25/1749.24 o 1011156467254695 1749.25/1749.24 o 1011156444583815 1749.25/1749.24 o 1011156353900295 1749.25/1749.24 o 1011156308558535 1749.25/1749.24 o 1011155945824455 1749.25/1749.24 o 1011155764457415 1749.25/1749.24 o 1011155387707335 1749.25/1749.24 o 1011155199332295 1749.25/1749.24 o 1011155105144775 1749.25/1749.24 o 1011155058051015 1749.25/1749.24 o 1011155034504135 1749.25/1749.24 o 1011155001800135 1749.25/1749.24 o 1011154998664055 1749.25/1749.24 o 1011154984256775 1749.25/1749.24 o 1011154980654955 1749.25/1749.24 o 1011154>>> Terminate signal received 1800.06/1800.00 979238025 1800.06/1800.00 o 1011154973570305 1800.06/1800.00 o 1011154970736445 1800.06/1800.00 o 1011154316656445 1800.06/1800.00 o 1011154251248445 1800.06/1800.00 o 1011154120432445 1800.06/1800.00 o 1011153858800445 1800.06/1800.00 v -x1 -x2 -x3 x4 -x5 x6 x7 x8 x9 x10 x11 x12 x13 -x14 x15 x16 x17 x18 x19 x20 x21 x22 x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 x35 x36 x37 x38 x39 -x40 x41 -x42 x43 -x44 x45 -x46 x47 -x48 -x49 -x50 x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 x61 x62 x63 x64 x65 x66 x67 x68 x69 x70 x71 -x72 -x73 x74 x75 x76 -x77 x78 x79 -x80 x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 x109 -x110 x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 x131 x132 x133 x134 x135 x136 x137 x138 x139 x140 x141 x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 x151 x152 x153 x154 x155 x156 x157 -x158 -x159 -x160 -x161 x162 x163 x164 -x165 -x166 x167 x168 -x169 x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 x193 x194 x195 x196 -x197 x198 -x199 x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 x250 x251 x252 x253 x254 x255 x256 -x257 x258 x259 x260 x261 x262 x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 x283 x284 x285 x286 x287 x288 x289 x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 x302 x303 -x304 x305 x306 x307 x308 x309 x310 x311 x312 x313 x314 x315 x316 x317 x318 x319 x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 x367 x368 x369 x370 x371 x372 x373 x374 -x375 x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 x406 -x407 -x408 -x409 x410 -x411 -x412 x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 x439 x440 x441 -x442 x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 x466 x467 x468 x469 x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 x496 x497 x498 -x499 x500 x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 x520 -x521 x522 -x523 -x524 -x525 -x526 x527 -x528 x529 x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 x554 x555 -x556 x557 x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 x642 x643 -x644 x645 -x646 x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 x704 x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 x731 x732 x733 -x734 x735 x736 x737 x738 x739 x740 x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 x761 -x762 x763 x764 x765 x766 x767 x768 x769 x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 x781 x782 x783 x784 x785 x786 x787 x788 x789 x790 x791 x792 x793 x794 x795 x796 -x797 x798 x799 x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 x873 -x874 x875 x876 x877 x878 x879 x880 x881 -x882 x883 x884 -x885 x886 x887 x888 x889 -x890 -x891 -x892 -x893 x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 x919 -x920 -x921 x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 x944 x945 x946 x947 x948 x949 x950 x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 x961 -x962 -x963 -x964 x965 x966 -x967 x968 x969 x970 x971 x972 -x973 x974 x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 x984 -x985 -x986 x987 -x988 x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 x1004 -x1005 x1006 x1007 x1008 -x1009 x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 x1025 x1026 x1027 x1028 x1029 x1030 x1031 x1032 x1033 x1034 x1035 -x1036 x1037 -x1038 -x1039 x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 x1064 x1065 -x1066 x1067 x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 x1125 x1126 x1127 -x1128 -x1129 x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 x1142 -x1143 -x1144 -x1145 -x1146 -x1147 x1148 x1149 x1150 x1151 x1152 x1153 -x1154 -x1155 -x1156 x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 x1184 x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 x1202 x1203 x1204 x1205 x1206 x1207 x1208 x1209 x1210 x1211 x1212 -x1213 x1214 x1215 -x1216 x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 x1231 x1232 x1233 x1234 x1235 x1236 x1237 x1238 x1239 x1240 x1241 -x1242 x1243 -x1244 x1245 x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 x1261 x1262 x1263 x1264 x1265 x1266 x1267 x1268 x1269 -x1270 x1271 -x1272 x1273 x1274 x1275 x1276 x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 x1295 x1296 x1297 x1298 x1299 x1300 x1301 x1302 x1303 -x1304 x1305 -x1306 x1307 x1308 x1309 -x1310 x1311 -x1312 x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 x1351 x1352 -x1353 -x1354 x1355 x1356 x1357 x1358 x1359 x1360 x1361 -x1362 x1363 x1364 -x1365 -x1366 x1367 x1368 -x1369 -x1370 -x1371 -x1372 -x1373 x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 x1396 x1397 x1398 x1399 x1400 x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 x1411 x1412 x1413 x1414 x1415 -x1416 -x1417 -x1418 -x1419 -x1420 x1421 x1422 -x1423 x1424 x1425 -x1426 -x1427 x1428 -x1429 -x1430 x1431 -x1432 -x1433 -x1434 x1435 -x1436 x1437 -x1438 -x1439 -x1440 -x1441 -x1442 x1443 -x1444 x1445 x1446 -x1447 -x1448 x1449 x1450 -x1451 -x1452 -x1453 -x1454 -x1455 x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 x1473 x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 x1484 x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 x1493 -x1494 -x1495 x1496 -x1497 x1498 x1499 x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 x1514 x1515 x1516 x1517 -x1518 x1519 -x1520 x1521 -x1522 -x1523 -x1524 x1525 -x1526 x1527 -x1528 x1529 -x1530 -x1531 -x1532 x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 x1649 x1650 -x1651 x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704
OK 1011153858800445
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3497047-1307927429/watcher-3497047-1307927429 -o /var/tmp/evaluation-result-3497047-1307927429/solver-3497047-1307927429 -C 1800 -W 1900 -M 15500 HOME/minisatid-gmp HOME/instance-3497047-1307927429.opb --verbosity=0 --format=opb --randomseed=1391360607 running on 4 cores: 1,3,5,7 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): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.99 2.00 1.95 3/177 13690 /proc/meminfo: memFree=3313628/32950928 swapFree=67054844/67111528 [pid=13690] ppid=13688 vsize=8104 CPUtime=0 cores=1,3,5,7 /proc/13690/stat : 13690 (minisatid-gmp) R 13688 13690 12954 0 -1 4202496 507 0 0 0 0 0 0 0 19 0 1 0 982973630 8298496 460 33554432000 4194304 6957856 140734109090960 18446744073709551615 6085472 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/13690/statm: 2026 460 250 675 0 1342 0 [startup+0.037411 s] /proc/loadavg: 1.99 2.00 1.95 3/177 13690 /proc/meminfo: memFree=3313628/32950928 swapFree=67054844/67111528 [pid=13690] ppid=13688 vsize=11132 CPUtime=0.03 cores=1,3,5,7 /proc/13690/stat : 13690 (minisatid-gmp) R 13688 13690 12954 0 -1 4202496 1313 0 0 0 3 0 0 0 19 0 1 0 982973630 11399168 1240 33554432000 4194304 6957856 140734109090960 18446744073709551615 5307360 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/13690/statm: 2783 1240 267 675 0 2099 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 11132 [startup+0.100399 s] /proc/loadavg: 1.99 2.00 1.95 3/177 13690 /proc/meminfo: memFree=3313628/32950928 swapFree=67054844/67111528 [pid=13690] ppid=13688 vsize=6912 CPUtime=0.09 cores=1,3,5,7 /proc/13690/stat : 13690 (minisatid-gmp) R 13688 13690 12954 0 -1 4202496 1335 0 0 0 9 0 0 0 19 0 1 0 982973630 7077888 1261 33554432000 4194304 6957856 140734109090960 18446744073709551615 4756996 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/13690/statm: 1728 1261 274 675 0 1044 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6912 [startup+0.300359 s] /proc/loadavg: 1.99 2.00 1.95 3/177 13690 /proc/meminfo: memFree=3313628/32950928 swapFree=67054844/67111528 [pid=13690] ppid=13688 vsize=6912 CPUtime=0.29 cores=1,3,5,7 /proc/13690/stat : 13690 (minisatid-gmp) R 13688 13690 12954 0 -1 4202496 1356 0 0 0 29 0 0 0 20 0 1 0 982973630 7077888 1282 33554432000 4194304 6957856 140734109090960 18446744073709551615 4614625 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/13690/statm: 1728 1282 283 675 0 1044 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6912 [startup+0.700295 s] /proc/loadavg: 1.99 2.00 1.95 3/177 13690 /proc/meminfo: memFree=3313628/32950928 swapFree=67054844/67111528 [pid=13690] ppid=13688 vsize=7072 CPUtime=0.69 cores=1,3,5,7 /proc/13690/stat : 13690 (minisatid-gmp) R 13688 13690 12954 0 -1 4202496 1391 0 0 0 69 0 0 0 21 0 1 0 982973630 7241728 1316 33554432000 4194304 6957856 140734109090960 18446744073709551615 5932705 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/13690/statm: 1768 1316 286 675 0 1084 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7072 [startup+1.50015 s] /proc/loadavg: 1.99 2.00 1.95 3/178 13691 /proc/meminfo: memFree=3307936/32950928 swapFree=67054844/67111528 [pid=13690] ppid=13688 vsize=7400 CPUtime=1.49 cores=1,3,5,7 /proc/13690/stat : 13690 (minisatid-gmp) R 13688 13690 12954 0 -1 4202496 1409 0 0 0 149 0 0 0 23 0 1 0 982973630 7577600 1333 33554432000 4194304 6957856 140734109090960 18446744073709551615 5918108 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/13690/statm: 1850 1333 286 675 0 1166 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7400 [startup+3.10083 s] /proc/loadavg: 1.99 2.00 1.95 3/178 13691 /proc/meminfo: memFree=3306572/32950928 swapFree=67054844/67111528 [pid=13690] ppid=13688 vsize=7400 CPUtime=3.09 cores=1,3,5,7 /proc/13690/stat : 13690 (minisatid-gmp) R 13688 13690 12954 0 -1 4202496 1450 0 0 0 309 0 0 0 25 0 1 0 982973630 7577600 1374 33554432000 4194304 6957856 140734109090960 18446744073709551615 5918152 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/13690/statm: 1850 1374 286 675 0 1166 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 7400 [startup+6.30023 s] /proc/loadavg: 1.99 2.00 1.95 3/178 13691 /proc/meminfo: memFree=3305844/32950928 swapFree=67054844/67111528 [pid=13690] ppid=13688 vsize=8604 CPUtime=6.29 cores=1,3,5,7 /proc/13690/stat : 13690 (minisatid-gmp) R 13688 13690 12954 0 -1 4202496 1627 0 0 0 629 0 0 0 25 0 1 0 982973630 8810496 1550 33554432000 4194304 6957856 140734109090960 18446744073709551615 5922052 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/13690/statm: 2151 1550 286 675 0 1467 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 8604 [startup+12.701 s] /proc/loadavg: 1.99 2.00 1.95 3/178 13691 /proc/meminfo: memFree=3302196/32950928 swapFree=67054844/67111528 [pid=13690] ppid=13688 vsize=12968 CPUtime=12.7 cores=1,3,5,7 /proc/13690/stat : 13690 (minisatid-gmp) R 13688 13690 12954 0 -1 4202496 2822 0 0 0 1270 0 0 0 25 0 1 0 982973630 13279232 2740 33554432000 4194304 6957856 140734109090960 18446744073709551615 5319213 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/13690/statm: 3242 2740 286 675 0 2558 0 Current children cumulated CPU time (s) 12.7 Current children cumulated vsize (KiB) 12968 [startup+25.5006 s] /proc/loadavg: 1.99 2.00 1.95 3/178 13692 /proc/meminfo: memFree=3297612/32950928 swapFree=67054844/67111528 [pid=13690] ppid=13688 vsize=15672 CPUtime=25.49 cores=1,3,5,7 /proc/13690/stat : 13690 (minisatid-gmp) R 13688 13690 12954 0 -1 4202496 5394 0 0 0 2549 0 0 0 25 0 1 0 982973630 16048128 3432 33554432000 4194304 6957856 140734109090960 18446744073709551615 4838129 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/13690/statm: 3918 3432 288 675 0 3234 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 15672 [startup+51.1008 s] /proc/loadavg: 1.99 2.00 1.95 3/178 13692 /proc/meminfo: memFree=3284680/32950928 swapFree=67054844/67111528 [pid=13690] ppid=13688 vsize=15672 CPUtime=51.09 cores=1,3,5,7 /proc/13690/stat : 13690 (minisatid-gmp) R 13688 13690 12954 0 -1 4202496 5394 0 0 0 5109 0 0 0 25 0 1 0 982973630 16048128 3432 33554432000 4194304 6957856 140734109090960 18446744073709551615 5917968 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/13690/statm: 3918 3432 288 675 0 3234 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 15672 [startup+102.306 s] /proc/loadavg: 1.99 2.00 1.95 3/178 13694 /proc/meminfo: memFree=3278300/32950928 swapFree=67054844/67111528 [pid=13690] ppid=13688 vsize=25756 CPUtime=102.3 cores=1,3,5,7 /proc/13690/stat : 13690 (minisatid-gmp) R 13688 13690 12954 0 -1 4202496 16083 0 0 0 10229 1 0 0 25 0 1 0 982973630 26374144 4314 33554432000 4194304 6957856 140734109090960 18446744073709551615 5922662 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/13690/statm: 6439 4314 288 675 0 5755 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 25756 [startup+162.301 s] /proc/loadavg: 1.99 2.00 1.95 2/176 13696 /proc/meminfo: memFree=3606852/32950928 swapFree=67054844/67111528 [pid=13690] ppid=13688 vsize=37356 CPUtime=162.3 cores=1,3,5,7 /proc/13690/stat : 13690 (minisatid-gmp) R 13688 13690 12954 0 -1 4202496 20652 0 0 0 16228 2 0 0 25 0 1 0 982973630 38252544 8849 33554432000 4194304 6957856 140734109090960 18446744073709551615 4851190 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/13690/statm: 9339 8849 288 675 0 8655 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 37356 [startup+222.301 s] /proc/loadavg: 1.99 2.00 1.95 3/178 13736 /proc/meminfo: memFree=616180/32950928 swapFree=67054844/67111528 [pid=13690] ppid=13688 vsize=37356 CPUtime=222.3 cores=1,3,5,7 /proc/13690/stat : 13690 (minisatid-gmp) R 13688 13690 12954 0 -1 4202496 27826 0 0 0 22227 3 0 0 25 0 1 0 982973630 38252544 8875 33554432000 4194304 6957856 140734109090960 18446744073709551615 5934014 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/13690/statm: 9339 8875 288 675 0 8655 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 37356 [startup+282.3 s] /proc/loadavg: 2.04 2.01 1.96 3/178 13738 /proc/meminfo: memFree=608364/32950928 swapFree=67054844/67111528 [pid=13690] ppid=13688 vsize=44828 CPUtime=282.3 cores=1,3,5,7 /proc/13690/stat : 13690 (minisatid-gmp) R 13688 13690 12954 0 -1 4202496 28658 0 0 0 28227 3 0 0 25 0 1 0 982973630 45903872 9701 33554432000 4194304 6957856 140734109090960 18446744073709551615 5918022 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/13690/statm: 11207 9701 288 675 0 10523 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 44828 [startup+342.301 s] /proc/loadavg: 2.01 2.01 1.96 3/178 13739 /proc/meminfo: memFree=598228/32950928 swapFree=67054844/67111528 [pid=13690] ppid=13688 vsize=44828 CPUtime=342.3 cores=1,3,5,7 /proc/13690/stat : 13690 (minisatid-gmp) R 13688 13690 12954 0 -1 4202496 28658 0 0 0 34227 3 0 0 25 0 1 0 982973630 45903872 9701 33554432000 4194304 6957856 140734109090960 18446744073709551615 4838327 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/13690/statm: 11207 9701 288 675 0 10523 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 44828 [startup+402.301 s] /proc/loadavg: 2.00 2.00 1.96 3/178 13741 /proc/meminfo: memFree=578624/32950928 swapFree=67054844/67111528 [pid=13690] ppid=13688 vsize=75176 CPUtime=402.3 cores=1,3,5,7 /proc/13690/stat : 13690 (minisatid-gmp) R 13688 13690 12954 0 -1 4202496 29828 0 0 0 40227 3 0 0 25 0 1 0 982973630 76980224 10859 33554432000 4194304 6957856 140734109090960 18446744073709551615 4838442 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/13690/statm: 18794 10859 288 675 0 18110 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 75176 [startup+462.3 s] /proc/loadavg: 2.00 2.00 1.96 3/178 13742 /proc/meminfo: memFree=573912/32950928 swapFree=67054844/67111528 [pid=13690] ppid=13688 vsize=75176 CPUtime=462.3 cores=1,3,5,7 /proc/13690/stat : 13690 (minisatid-gmp) R 13688 13690 12954 0 -1 4202496 29828 0 0 0 46227 3 0 0 25 0 1 0 982973630 76980224 10859 33554432000 4194304 6957856 140734109090960 18446744073709551615 5922131 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/13690/statm: 18794 10859 288 675 0 18110 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 75176 [startup+522.301 s] /proc/loadavg: 2.00 2.00 1.96 3/178 13744 /proc/meminfo: memFree=558448/32950928 swapFree=67054844/67111528 [pid=13690] ppid=13688 vsize=75176 CPUtime=522.31 cores=1,3,5,7 /proc/13690/stat : 13690 (minisatid-gmp) R 13688 13690 12954 0 -1 4202496 29896 0 0 0 52228 3 0 0 25 0 1 0 982973630 76980224 10927 33554432000 4194304 6957856 140734109090960 18446744073709551615 5312960 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/13690/statm: 18794 10927 288 675 0 18110 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 75176 [startup+582.301 s] /proc/loadavg: 2.00 2.00 1.96 3/178 13746 /proc/meminfo: memFree=539332/32950928 swapFree=67054844/67111528 [pid=13690] ppid=13688 vsize=75176 CPUtime=582.31 cores=1,3,5,7 /proc/13690/stat : 13690 (minisatid-gmp) R 13688 13690 12954 0 -1 4202496 34184 0 0 0 58227 4 0 0 25 0 1 0 982973630 76980224 15192 33554432000 4194304 6957856 140734109090960 18446744073709551615 5922173 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/13690/statm: 18794 15192 288 675 0 18110 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 75176 [startup+642.3 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 2.06 2.02 1.96 3/178 13752 /proc/meminfo: memFree=515240/32950928 swapFree=67054844/67111528 [pid=13690] ppid=13688 vsize=75176 CPUtime=822.32 cores=1,3,5,7 /proc/13690/stat : 13690 (minisatid-gmp) R 13688 13690 12954 0 -1 4202496 45052 0 0 0 82227 5 0 0 25 0 1 0 982973630 76980224 18333 33554432000 4194304 6957856 140734109090960 18446744073709551615 5922108 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/13690/statm: 18794 18333 288 675 0 18110 0 Current children cumulated CPU time (s) 822.32 Current children cumulated vsize (KiB) 75176 [startup+882.3 s] /proc/loadavg: 2.02 2.01 1.96 3/178 13754 /proc/meminfo: memFree=507108/32950928 swapFree=67054844/67111528 [pid=13690] ppid=13688 vsize=75176 CPUtime=882.32 cores=1,3,5,7 /proc/13690/stat : 13690 (minisatid-gmp) R 13688 13690 12954 0 -1 4202496 45052 0 0 0 88227 5 0 0 25 0 1 0 982973630 76980224 18333 33554432000 4194304 6957856 140734109090960 18446744073709551615 4840644 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/13690/statm: 18794 18333 288 675 0 18110 0 Current children cumulated CPU time (s) 882.32 Current children cumulated vsize (KiB) 75176 [startup+942.301 s] /proc/loadavg: 2.01 2.00 1.96 3/178 13755 /proc/meminfo: memFree=515112/32950928 swapFree=67054844/67111528 [pid=13690] ppid=13688 vsize=75176 CPUtime=942.32 cores=1,3,5,7 /proc/13690/stat : 13690 (minisatid-gmp) R 13688 13690 12954 0 -1 4202496 45052 0 0 0 94227 5 0 0 25 0 1 0 982973630 76980224 18333 33554432000 4194304 6957856 140734109090960 18446744073709551615 5385219 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/13690/statm: 18794 18333 288 675 0 18110 0 Current children cumulated CPU time (s) 942.32 Current children cumulated vsize (KiB) 75176 [startup+1002.3 s] /proc/loadavg: 2.00 2.00 1.96 3/178 13757 /proc/meminfo: memFree=508328/32950928 swapFree=67054844/67111528 [pid=13690] ppid=13688 vsize=75176 CPUtime=1002.32 cores=1,3,5,7 /proc/13690/stat : 13690 (minisatid-gmp) R 13688 13690 12954 0 -1 4202496 45052 0 0 0 100227 5 0 0 25 0 1 0 982973630 76980224 18333 33554432000 4194304 6957856 140734109090960 18446744073709551615 5934014 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/13690/statm: 18794 18333 288 675 0 18110 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 75176 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 1.96 3/178 13758 /proc/meminfo: memFree=507344/32950928 swapFree=67054844/67111528 [pid=13690] ppid=13688 vsize=75176 CPUtime=1062.33 cores=1,3,5,7 /proc/13690/stat : 13690 (minisatid-gmp) R 13688 13690 12954 0 -1 4202496 45052 0 0 0 106228 5 0 0 25 0 1 0 982973630 76980224 18333 33554432000 4194304 6957856 140734109090960 18446744073709551615 5387536 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/13690/statm: 18794 18333 288 675 0 18110 0 Current children cumulated CPU time (s) 1062.33 Current children cumulated vsize (KiB) 75176 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 1.96 3/178 13760 /proc/meminfo: memFree=504768/32950928 swapFree=67054844/67111528 [pid=13690] ppid=13688 vsize=75176 CPUtime=1122.33 cores=1,3,5,7 /proc/13690/stat : 13690 (minisatid-gmp) R 13688 13690 12954 0 -1 4202496 45052 0 0 0 112228 5 0 0 25 0 1 0 982973630 76980224 18333 33554432000 4194304 6957856 140734109090960 18446744073709551615 5918180 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/13690/statm: 18794 18333 288 675 0 18110 0 Current children cumulated CPU time (s) 1122.33 Current children cumulated vsize (KiB) 75176 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 1.96 3/178 13762 /proc/meminfo: memFree=494500/32950928 swapFree=67054844/67111528 [pid=13690] ppid=13688 vsize=75176 CPUtime=1182.33 cores=1,3,5,7 /proc/13690/stat : 13690 (minisatid-gmp) R 13688 13690 12954 0 -1 4202496 53423 0 0 0 118227 6 0 0 25 0 1 0 982973630 76980224 18333 33554432000 4194304 6957856 140734109090960 18446744073709551615 5311856 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/13690/statm: 18794 18333 288 675 0 18110 0 Current children cumulated CPU time (s) 1182.33 Current children cumulated vsize (KiB) 75176 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 1.96 3/178 13763 /proc/meminfo: memFree=492732/32950928 swapFree=67054844/67111528 [pid=13690] ppid=13688 vsize=75176 CPUtime=1242.33 cores=1,3,5,7 /proc/13690/stat : 13690 (minisatid-gmp) R 13688 13690 12954 0 -1 4202496 53423 0 0 0 124227 6 0 0 25 0 1 0 982973630 76980224 18333 33554432000 4194304 6957856 140734109090960 18446744073709551615 5922131 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/13690/statm: 18794 18333 288 675 0 18110 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 75176 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 1.96 3/178 13765 /proc/meminfo: memFree=492172/32950928 swapFree=67054844/67111528 [pid=13690] ppid=13688 vsize=75176 CPUtime=1302.34 cores=1,3,5,7 /proc/13690/stat : 13690 (minisatid-gmp) R 13688 13690 12954 0 -1 4202496 53423 0 0 0 130228 6 0 0 25 0 1 0 982973630 76980224 18333 33554432000 4194304 6957856 140734109090960 18446744073709551615 5932566 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/13690/statm: 18794 18333 288 675 0 18110 0 Current children cumulated CPU time (s) 1302.34 Current children cumulated vsize (KiB) 75176 [startup+1362.3 s] /proc/loadavg: 2.04 2.01 1.97 3/178 13766 /proc/meminfo: memFree=492156/32950928 swapFree=67054844/67111528 [pid=13690] ppid=13688 vsize=75176 CPUtime=1362.34 cores=1,3,5,7 /proc/13690/stat : 13690 (minisatid-gmp) R 13688 13690 12954 0 -1 4202496 53423 0 0 0 136228 6 0 0 25 0 1 0 982973630 76980224 18333 33554432000 4194304 6957856 140734109090960 18446744073709551615 4863173 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/13690/statm: 18794 18333 288 675 0 18110 0 Current children cumulated CPU time (s) 1362.34 Current children cumulated vsize (KiB) 75176 [startup+1422.31 s] /proc/loadavg: 2.01 2.01 1.97 3/178 13768 /proc/meminfo: memFree=486304/32950928 swapFree=67054844/67111528 [pid=13690] ppid=13688 vsize=75176 CPUtime=1422.35 cores=1,3,5,7 /proc/13690/stat : 13690 (minisatid-gmp) R 13688 13690 12954 0 -1 4202496 53423 0 0 0 142229 6 0 0 25 0 1 0 982973630 76980224 18333 33554432000 4194304 6957856 140734109090960 18446744073709551615 5934082 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/13690/statm: 18794 18333 288 675 0 18110 0 Current children cumulated CPU time (s) 1422.35 Current children cumulated vsize (KiB) 75176 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 1.97 3/178 13770 /proc/meminfo: memFree=484248/32950928 swapFree=67054844/67111528 [pid=13690] ppid=13688 vsize=75176 CPUtime=1482.34 cores=1,3,5,7 /proc/13690/stat : 13690 (minisatid-gmp) R 13688 13690 12954 0 -1 4202496 53423 0 0 0 148228 6 0 0 25 0 1 0 982973630 76980224 18333 33554432000 4194304 6957856 140734109090960 18446744073709551615 4870304 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/13690/statm: 18794 18333 288 675 0 18110 0 Current children cumulated CPU time (s) 1482.34 Current children cumulated vsize (KiB) 75176 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 1.97 3/178 13771 /proc/meminfo: memFree=482140/32950928 swapFree=67054844/67111528 [pid=13690] ppid=13688 vsize=75176 CPUtime=1542.35 cores=1,3,5,7 /proc/13690/stat : 13690 (minisatid-gmp) R 13688 13690 12954 0 -1 4202496 53423 0 0 0 154229 6 0 0 25 0 1 0 982973630 76980224 18333 33554432000 4194304 6957856 140734109090960 18446744073709551615 5917978 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/13690/statm: 18794 18333 288 675 0 18110 0 Current children cumulated CPU time (s) 1542.35 Current children cumulated vsize (KiB) 75176 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 1.97 3/178 13773 /proc/meminfo: memFree=481396/32950928 swapFree=67054844/67111528 [pid=13690] ppid=13688 vsize=75176 CPUtime=1602.35 cores=1,3,5,7 /proc/13690/stat : 13690 (minisatid-gmp) R 13688 13690 12954 0 -1 4202496 53423 0 0 0 160229 6 0 0 25 0 1 0 982973630 76980224 18333 33554432000 4194304 6957856 140734109090960 18446744073709551615 5922039 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/13690/statm: 18794 18333 288 675 0 18110 0 Current children cumulated CPU time (s) 1602.35 Current children cumulated vsize (KiB) 75176 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 1.97 3/178 13774 /proc/meminfo: memFree=481612/32950928 swapFree=67054844/67111528 [pid=13690] ppid=13688 vsize=75176 CPUtime=1662.35 cores=1,3,5,7 /proc/13690/stat : 13690 (minisatid-gmp) R 13688 13690 12954 0 -1 4202496 53423 0 0 0 166229 6 0 0 25 0 1 0 982973630 76980224 18333 33554432000 4194304 6957856 140734109090960 18446744073709551615 5313097 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/13690/statm: 18794 18333 288 675 0 18110 0 Current children cumulated CPU time (s) 1662.35 Current children cumulated vsize (KiB) 75176 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 1.97 3/178 13779 /proc/meminfo: memFree=481404/32950928 swapFree=67054844/67111528 [pid=13690] ppid=13688 vsize=75176 CPUtime=1722.35 cores=1,3,5,7 /proc/13690/stat : 13690 (minisatid-gmp) R 13688 13690 12954 0 -1 4202496 53423 0 0 0 172229 6 0 0 25 0 1 0 982973630 76980224 18333 33554432000 4194304 6957856 140734109090960 18446744073709551615 5934933 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/13690/statm: 18794 18333 288 675 0 18110 0 Current children cumulated CPU time (s) 1722.35 Current children cumulated vsize (KiB) 75176 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 1.97 3/178 13781 /proc/meminfo: memFree=481496/32950928 swapFree=67054844/67111528 [pid=13690] ppid=13688 vsize=75176 CPUtime=1782.35 cores=1,3,5,7 /proc/13690/stat : 13690 (minisatid-gmp) R 13688 13690 12954 0 -1 4202496 53423 0 0 0 178229 6 0 0 25 0 1 0 982973630 76980224 18333 33554432000 4194304 6957856 140734109090960 18446744073709551615 5922026 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/13690/statm: 18794 18333 288 675 0 18110 0 Current children cumulated CPU time (s) 1782.35 Current children cumulated vsize (KiB) 75176 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.00 1.97 5/178 13781 /proc/meminfo: memFree=481076/32950928 swapFree=67054844/67111528 [pid=13690] ppid=13688 vsize=75176 CPUtime=1800.06 cores=1,3,5,7 /proc/13690/stat : 13690 (minisatid-gmp) R 13688 13690 12954 0 -1 4202496 53423 0 0 0 180000 6 0 0 25 0 1 0 982973630 76980224 18333 33554432000 4194304 6957856 140734109090960 18446744073709551615 4866304 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/13690/statm: 18794 18333 288 675 0 18110 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 75176 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 10 Real time (s): 1800.01 CPU time (s): 1800.07 CPU user time (s): 1800.01 CPU system time (s): 0.068989 CPU usage (%): 100.004 Max. virtual memory (cumulated for all children) (KiB): 124496 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.01 system time used= 0.068989 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 53426 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4 involuntary context switches= 6166 runsolver used 2.57461 second user time and 5.62614 second system time The end
Begin job on node114 at 2011-06-13 03:10:29 IDJOB=3497047 IDBENCH=2479 IDSOLVER=1990 FILE ID=node114/3497047-1307927429 RUNJOBID= node114-1307919798-12973 PBS_JOBID= 13559665 Free space on /var/tmp= 2876 MiB SOLVER NAME= MinisatID 2.5.2-gmp BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-bell5.opb COMMAND LINE= HOME/minisatid-gmp BENCHNAME --verbosity=0 --format=opb --randomseed=RANDOMSEED RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3497047-1307927429/watcher-3497047-1307927429 -o /var/tmp/evaluation-result-3497047-1307927429/solver-3497047-1307927429 -C 1800 -W 1900 -M 15500 HOME/minisatid-gmp HOME/instance-3497047-1307927429.opb --verbosity=0 --format=opb --randomseed=1391360607 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= da0fa1480f123e186307c547a0028656 RANDOM SEED=1391360607 node114.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 : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.848 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.848 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.15 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.848 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.848 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.73 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.848 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.848 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.848 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.848 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 3314188 kB Buffers: 75204 kB Cached: 28307956 kB SwapCached: 10300 kB Active: 13229348 kB Inactive: 15502392 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 3314188 kB SwapTotal: 67111528 kB SwapFree: 67054844 kB Dirty: 3136 kB Writeback: 0 kB AnonPages: 346220 kB Mapped: 13968 kB Slab: 839848 kB PageTables: 4968 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 554076 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /var/tmp at the end= 2800 MiB End job on node114 at 2011-06-13 03:40:32