Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| MinisatID 2.5.2-gmp (fixed) | ? (TO) | 1546374350668490 | 1800.05 | 1800.01 |
| Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-bell3b.opb |
| MD5SUM | 2982ffe422921e9a65d384b08247e6aa |
| Bench Category | OPT-BIGINT (optimisation, big integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 1265128350646840 |
| Best CPU time to get the best result obtained on this benchmark | 1800.15 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 1351353706341500 |
| Optimality of the best value was proved | NO |
| Number of variables | 2283 |
| Total number of constraints | 151 |
| Number of constraints which are clauses | 22 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 129 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 195 |
| Number of terms in the objective function | 1780 |
| 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 | 1076758128151185266 |
| 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 | 1076758128151185266 |
| 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. 64.59/64.60 o 4274310251123200 64.59/64.60 o 4273598905053640 64.59/64.60 o 4273598899213640 64.59/64.60 o 4273598897753640 64.59/64.60 o 4273598883153640 64.59/64.60 o 4273598882058640 64.59/64.60 o 4273598879868640 64.59/64.60 o 4273598862348640 64.59/64.60 o 4273598853588640 64.59/64.60 o 4273598783508640 64.59/64.60 o 4273598750001640 64.59/64.60 o 4273598469681640 64.59/64.60 o 4273597909041640 64.59/64.60 o 4273597768881640 64.59/64.60 o 4273597488561640 64.59/64.60 o 4273582538161640 64.59/64.60 o 4273522736561640 64.59/64.60 o 4273492835761640 64.59/64.60 o 4272468835761640 64.59/64.60 o 4268372835761640 64.59/64.60 o 4268364164529640 64.59/64.60 o 4268363417009640 64.59/64.60 o 4268351456689640 64.59/64.60 o 4268351453769640 64.59/64.60 o 4268351442089640 64.59/64.60 o 4267327442089640 64.59/64.60 o 4267105458550440 64.59/64.60 o 4265057458550440 64.59/64.60 o 4265022773622440 64.59/64.60 o 4265019783542440 64.59/64.60 o 4265019777702440 64.59/64.60 o 4260923777702440 64.59/64.60 o 4256827777702440 64.59/64.60 o 4244949377702440 64.59/64.60 o 4244470964902440 64.59/64.60 o 4244466629286440 64.59/64.60 o 3982322629286440 64.59/64.60 o 3916786629286440 64.59/64.60 o 3910847429286440 64.59/64.60 o 3910847055526440 64.59/64.60 o 3910846962086440 64.59/64.60 o 3909507406246440 64.59/64.60 o 3901315406246440 64.59/64.60 o 3856877142122240 64.59/64.60 o 3856875647082240 64.59/64.60 o 3824107647082240 64.59/64.60 o 3823996655312640 64.59/64.60 o 3823552688234240 64.59/64.60 o 3822528688234240 64.59/64.60 o 3822500940291840 64.59/64.60 o 3820452940291840 64.59/64.60 o 3820450772483840 64.59/64.60 o 3818402772483840 64.59/64.60 o 3818402585603840 64.59/64.60 o 3802018585603840 64.59/64.60 o 3793826585603840 64.59/64.60 o 3785634585603840 64.59/64.60 o 3781231385603840 64.59/64.60 o 3781175889719040 64.59/64.60 o 3781175842999040 64.59/64.60 o 3748407842999040 64.59/64.60 o 3746359842999040 64.59/64.60 o 3746359819639040 64.59/64.60 o 3746345945667840 64.59/64.60 o 3745321945667840 64.59/64.60 o 3745298025027840 64.59/64.60 o 3679762025027840 64.59/64.60 o 3679761636317440 64.59/64.60 o 3679749197584640 64.59/64.60 o 3679749100407040 64.59/64.60 o 3679742881040640 64.59/64.60 o 3679643371178240 64.59/64.60 o 3679643176823040 64.59/64.60 o 3679643128234240 64.59/64.60 o 3678619128234240 64.59/64.60 o 3678427763114240 64.59/64.60 o 3674331763114240 64.59/64.60 o 3672283763114240 64.59/64.60 o 3672283646314240 64.59/64.60 o 3672276171114240 64.59/64.60 o 3672276112714240 64.59/64.60 o 3672272375114240 64.59/64.60 o 3672242474314240 64.59/64.60 o 3672240605514240 64.59/64.60 o 3672225655114240 64.59/64.60 o 3672224720714240 64.59/64.60 o 3672224253514240 64.59/64.60 o 3672224019914240 64.59/64.60 o 3672104416714240 64.59/64.60 o 3671865210314240 64.59/64.60 o 3655481210314240 64.59/64.60 o 3655242031946240 64.59/64.60 o 3655212131146240 64.59/64.60 o 3655152329546240 64.59/64.60 o 3655144854346240 64.59/64.60 o 3655129903946240 64.59/64.60 o 3655126166346240 64.59/64.60 o 3622379107126240 64.59/64.60 o 3622075450583750 64.59/64.60 o 3622075421383750 64.59/64.60 o 3622073477831750 64.59/64.60 o 3622073474035750 64.59/64.60 o 3622073444835750 64.59/64.60 o 3622073363075750 64.59/64.60 o 3622073342635750 64.59/64.60 o 3622072034475750 64.59/64.60 o 3622071380395750 64.59/64.60 o 3622071375285750 64.59/64.60 o 3622071048245750 64.59/64.60 o 3622069926965750 64.59/64.60 o 3622067684405750 64.59/64.60 o 3622066750005750 64.59/64.60 o 3622066282805750 64.59/64.60 o 3622066166005750 64.59/64.60 o 3622066107605750 64.59/64.60 o 3622065874005750 64.59/64.60 o 3622064005205750 64.59/64.60 o 3622064003928250 64.59/64.60 o 3622063994365250 64.59/64.60 o 3622063975239250 64.59/64.60 o 3622062751175250 64.59/64.60 o 3622062139143250 64.59/64.60 o 3622054663943250 64.59/64.60 o 3622036723463250 64.59/64.60 o 3622036641703250 64.59/64.60 o 3622035333543250 64.59/64.60 o 3622035292663250 64.59/64.60 o 3622035129143250 64.59/64.60 o 3622034475063250 64.59/64.60 o 3622034148023250 64.59/64.60 o 3622034127583250 64.59/64.60 o 3622031511263250 64.59/64.60 o 3622031501043250 64.59/64.60 o 3622030006003250 64.59/64.60 o 3622024025843250 64.59/64.60 o 3621306406643250 64.59/64.60 o 3615367206643250 64.59/64.60 o 3603488806643250 64.59/64.60 o 3508461606643250 64.59/64.60 o 3459309606643250 64.59/64.60 o 3197165606643250 64.59/64.60 o 3141672177753790 64.59/64.60 o 3141672148553790 64.59/64.60 o 3141672141253790 64.59/64.60 o 3141672126653790 64.59/64.60 o 3141672044893790 64.59/64.60 o 3141671881373790 64.59/64.60 o 3141671879855390 64.59/64.60 o 3141671873781790 64.59/64.60 o 3141671849487390 64.59/64.60 o 3141671837340190 64.59/64.60 o 3141671834303390 64.59/64.60 o 3141671507263390 64.59/64.60 o 3141671040063390 64.59/64.60 o 3141670806463390 64.59/64.60 o 3141670794783390 64.59/64.60 o 3141670380844190 64.59/64.60 o 3141670173874590 64.59/64.60 o 3141670070389790 64.59/64.60 o 3141670018647390 64.59/64.60 o 3141669964452190 64.59/64.60 o 3141669441188190 64.59/64.60 o 3141669310372190 64.59/64.60 o 3141669048740190 64.59/64.60 o 3141668983332190 64.59/64.60 o 3141668950628190 64.59/64.60 o 3141668857188190 64.59/64.60 o 3141664372068190 64.59/64.60 o 3141643441508190 64.59/64.60 o 3139432024038190 64.59/64.60 o 3139135801318190 64.59/64.60 o 3137087801318190 64.59/64.60 o 3104334751718190 64.59/64.60 o 3104329519078190 64.59/64.60 o 3104052039654190 64.59/64.60 o 3087668039654190 64.59/64.60 o 3085620039654190 64.59/64.60 o 3085614059494190 64.59/64.60 o 3083566059494190 64.59/64.60 o 3083518218214190 64.59/64.60 o 3083374694374190 64.59/64.60 o 3083374320614190 64.59/64.60 o 3078971120614190 64.59/64.60 o 3078970373094190 64.59/64.60 o 3054065382374190 64.59/64.60 o 3054007972838190 64.59/64.60 o 3054007785958190 64.59/64.60 o 3054004795878190 64.59/64.60 o 3054003599846190 64.59/64.60 o 3037619599846190 64.59/64.60 o 3037616609766190 64.59/64.60 o 3033213409766190 64.59/64.60 o 3033213260262190 64.59/64.60 o 2938186060262190 64.59/64.60 o 2938186060152690 64.59/64.60 o 2938186053144690 64.59/64.60 o 2938186025112690 64.59/64.60 o 2937994659992690 64.59/64.60 o 2937994005912690 64.59/64.60 o 2905226005912690 64.59/64.60 o 2888842005912690 64.59/64.60 o 2880650005912690 64.59/64.60 o 2815114005912690 64.59/64.60 o 2815113912472690 64.59/64.60 o 2815113911596690 64.59/64.60 o 2815110323500690 64.59/64.60 o 2803231923500690 64.59/64.60 o 2803231922770690 64.59/64.60 o 2786847922770690 64.59/64.60 o 2782444722770690 64.59/64.60 o 2782444722551690 64.59/64.60 o 2782444708535690 64.59/64.60 o 2782444701527690 64.59/64.60 o 2782444608087690 64.59/64.60 o 2782444444567690 64.59/64.60 o 2782444441063690 337.90/337.91 o 2781870345703690 337.90/337.91 o 2781786623463690 337.90/337.91 o 2775847423463690 337.90/337.91 o 2775847423025690 337.90/337.91 o 2775841442865690 337.90/337.91 o 2775841441113690 337.90/337.91 o 2767649441113690 337.90/337.91 o 2755566259071690 337.90/337.91 o 2755564764031690 337.90/337.91 o 2749523164031690 337.90/337.91 o 2749523163301690 337.90/337.91 o 2748499163301690 337.90/337.91 o 2722241829029690 337.90/337.91 o 2722241156261690 337.90/337.91 o 2714049156261690 337.90/337.91 o 2713025156261690 337.90/337.91 o 2708929156261690 337.90/337.91 o 2708929039461690 337.90/337.91 o 2708929032161690 337.90/337.91 o 2708929017561690 337.90/337.91 o 2708928550361690 337.90/337.91 o 2704832550361690 337.90/337.91 o 2704832521161690 337.90/337.91 o 2704832462761690 337.90/337.91 o 2704832229161690 337.90/337.91 o 2700736229161690 337.90/337.91 o 2698688229161690 337.90/337.91 o 2694592229161690 337.90/337.91 o 2693568229161690 337.90/337.91 o 2693558436649690 337.90/337.91 o 2660790436649690 337.90/337.91 o 2659223635614815 337.90/337.91 o 2659223634729690 337.90/337.91 o 2397079634729690 337.90/337.91 o 2396475290121690 337.90/337.91 o 2396445389321690 337.90/337.91 o 2396445062281690 337.90/337.91 o 2396430111881690 337.90/337.91 o 2396424729737690 337.90/337.91 o 2396394810760690 337.90/337.91 o 2396394586504690 337.90/337.91 o 2388202586504690 337.90/337.91 o 2388187636104690 337.90/337.91 o 2386139636104690 337.90/337.91 o 2320618586504690 337.90/337.91 o 2289104150447090 337.90/337.91 o 2289104028040690 337.90/337.91 o 2288080028040690 337.90/337.91 o 2283984028040690 337.90/337.91 o 2283983093640690 337.90/337.91 o 2283965153160690 337.90/337.91 o 2283696045960690 337.90/337.91 o 2283689108975090 337.90/337.91 o 2283688892194290 337.90/337.91 o 2283577900424690 337.90/337.91 o 2283577466863090 337.90/337.91 o 2283549718920690 337.90/337.91 o 2283547984674290 337.90/337.91 o 2283534110703090 337.90/337.91 o 2283533243579890 337.90/337.91 o 2283477747695090 337.90/337.91 o 2283474279202290 337.90/337.91 o 2283474170811890 337.90/337.91 o 2282900188601890 337.90/337.91 o 2282898319801890 337.90/337.91 o 2282894582201890 337.90/337.91 o 2282887107001890 337.90/337.91 o 2282872156601890 337.90/337.91 o 2282842255801890 337.90/337.91 o 2282782454201890 337.90/337.91 o 2282662851001890 337.90/337.91 o 2282662846621890 337.90/337.91 o 2282662846183890 337.90/337.91 o 2282662844431890 337.90/337.91 o 2277082044045815 337.90/337.91 o 2276058044045815 337.90/337.91 o 2259674044045815 337.90/337.91 o 2194138044045815 337.90/337.91 o 2192090044045815 337.90/337.91 o 2192077336205815 337.90/337.91 o 2144777642384800 337.90/337.91 o 2144777641946800 337.90/337.91 o 2144777631434800 337.90/337.91 o 2144777628149800 337.90/337.91 o 2144777627985550 337.90/337.91 o 2144777625065550 337.90/337.91 o 2144777624737050 337.90/337.91 o 2144777623423050 337.90/337.91 o 2144777611743050 337.90/337.91 o 2144777610283050 337.90/337.91 o 2144777607947050 337.90/337.91 o 2144777606304550 337.90/337.91 o 2144777603676550 337.90/337.91 o 2144777598420550 337.90/337.91 o 2144777597763550 337.90/337.91 o 2144777597033550 337.90/337.91 o 2144777583893550 337.90/337.91 o 2144777579221550 337.90/337.91 o 2144777571045550 337.90/337.91 o 2144777565205550 337.90/337.91 o 2144777541845550 337.90/337.91 o 2144777538925550 337.90/337.91 o 2144777515565550 337.90/337.91 o 2144777503885550 337.90/337.91 o 2144777498045550 337.90/337.91 o 2144777497169550 337.90/337.91 o 2144777461764550 337.90/337.91 o 2144777460917750 337.90/337.91 o 2144777460735250 337.90/337.91 o 2144777460370250 337.90/337.91 o 2144777459640250 337.90/337.91 o 2144777459428550 337.90/337.91 o 2144777449208550 337.90/337.91 o 2144777428768550 337.90/337.91 o 2144777421687550 337.90/337.91 o 2144777410007550 337.90/337.91 o 2144777407087550 337.90/337.91 o 2144777401247550 337.90/337.91 o 2144777399787550 337.90/337.91 o 2144777376427550 337.90/337.91 o 2144777339051550 337.90/337.91 o 2144777332043550 337.90/337.91 o 2144777304011550 337.90/337.91 o 2144777289995550 337.90/337.91 o 2144777286491550 337.90/337.91 o 2144777251451550 337.90/337.91 o 2144777158011550 337.90/337.91 o 2144776634747550 337.90/337.91 o 2144757498235550 337.90/337.91 o 2143733498235550 337.90/337.91 o 2138818298235550 337.90/337.91 o 2138530901895550 337.90/337.91 o 2126447701895550 337.90/337.91 o 2126447691675550 337.90/337.91 o 2126447609915550 337.90/337.91 o 2126440882235550 337.90/337.91 o 2120399282235550 337.90/337.91 o 2109032882235550 337.90/337.91 o 2109032695355550 337.90/337.91 o 2108984854075550 337.90/337.91 o 2108745647675550 337.90/337.91 o 2108554282555550 337.90/337.91 o 2051462548795550 337.90/337.91 o 2049414548795550 337.90/337.91 o 2037331348795550 337.90/337.91 o 1989817748795550 337.90/337.91 o 1988793748795550 337.90/337.91 o 1984697748795550 337.90/337.91 o 1984686984507550 337.90/337.91 o 1968302984507550 337.90/337.91 o 1951918984507550 337.90/337.91 o 1951918963483550 337.90/337.91 o 1919150963483550 337.90/337.91 o 1919064849179550 337.90/337.91 o 1898125900571550 337.90/337.91 o 1898082843419550 337.90/337.91 o 1898082759323550 337.90/337.91 o 1898061230747550 337.90/337.91 o 1897755046555550 337.90/337.91 o 1891966934894550 337.90/337.91 o 1891966561134550 337.90/337.91 o 1891966514414550 337.90/337.91 o 1891965019374550 337.90/337.91 o 1891964271854550 337.90/337.91 o 1891961281774550 337.90/337.91 o 1891961188334550 337.90/337.91 o 1891961001454550 337.90/337.91 o 1887865001454550 337.90/337.91 o 1879673001454550 337.90/337.91 o 1875269801454550 337.90/337.91 o 1875269782766550 337.90/337.91 o 1875269745390550 337.90/337.91 o 1875269743054550 337.90/337.91 o 1871173743054550 337.90/337.91 o 1842501743054550 337.90/337.91 o 1830537624424125 337.90/337.91 o 1830537618350525 337.90/337.91 o 1830537594990525 337.90/337.91 o 1830537536590525 337.90/337.91 o 1830537428200125 337.90/337.91 o 1830537416520125 337.90/337.91 o 1830537403380125 337.90/337.91 o 1830537356660125 337.90/337.91 o 1830537353375125 337.90/337.91 o 1830537346367125 337.90/337.91 o 1830537345607925 337.90/337.91 o 1830537341957925 337.90/337.91 o 1830537314860325 337.90/337.91 o 1830537221420325 337.90/337.91 o 1830537220996925 337.90/337.91 o 1830537215156925 337.90/337.91 o 1830537212236925 337.90/337.91 o 1830537118796925 337.90/337.91 o 1830537115760125 337.90/337.91 o 1830537108985725 337.90/337.91 o 1830537103145725 337.90/337.91 o 1830537090998525 337.90/337.91 o 1830537079318525 337.90/337.91 o 1830537072310525 337.90/337.91 o 1830537066470525 337.90/337.91 o 1830537063083325 337.90/337.91 o 1830537061564925 337.90/337.91 o 1830537059739925 337.90/337.91 o 1830537048059925 337.90/337.91 o 1830537007179925 337.90/337.91 o 1830537000712125 337.90/337.91 o 1830536999252125 337.90/337.91 o 1830536945056925 337.90/337.91 o 1830536898336925 337.90/337.91 o 1830536888773925 337.90/337.91 o 1830536882933925 337.90/337.91 o 1830536859573925 337.90/337.91 o 1830536856069925 337.90/337.91 o 1830536849499925 337.90/337.91 o 1830536732699925 337.90/337.91 o 1830536635522325 709.00/709.03 o 1830536633905375 709.00/709.03 o 1830536540465375 709.00/709.03 o 1830536526449375 709.00/709.03 o 1830536477860575 709.00/709.03 o 1830536464311775 709.00/709.03 o 1830536452631775 709.00/709.03 o 1830536449127775 709.00/709.03 o 1830536390727775 709.00/709.03 o 1830536388829775 709.00/709.03 o 1830536337087375 709.00/709.03 o 1830536311216175 709.00/709.03 o 1830536305376175 709.00/709.03 o 1830536281081775 709.00/709.03 o 1830536279388175 709.00/709.03 o 1830536251356175 709.00/709.03 o 1830536195292175 709.00/709.03 o 1830536181276175 709.00/709.03 o 1830536153244175 709.00/709.03 o 1830536041116175 709.00/709.03 o 1830535985052175 709.00/709.03 o 1830535551490575 709.00/709.03 o 1814459377128525 709.00/709.03 o 1814459377000775 709.00/709.03 o 1814459376044475 709.00/709.03 o 1814459374292475 709.00/709.03 o 1814459373014975 709.00/709.03 o 1814459371102375 709.00/709.03 o 1814459370664375 709.00/709.03 o 1814459361813125 709.00/709.03 o 1814459360937125 709.00/709.03 o 1814459357433125 709.00/709.03 o 1814459355243125 709.00/709.03 o 1814459355024125 709.00/709.03 o 1814459316772125 709.00/709.03 o 1814459309764125 709.00/709.03 o 1814459295748125 709.00/709.03 o 1814459237348125 709.00/709.03 o 1814459178948125 709.00/709.03 o 1814459149748125 709.00/709.03 o 1814459135148125 709.00/709.03 o 1814459105948125 709.00/709.03 o 1814459098648125 709.00/709.03 o 1814459091348125 709.00/709.03 o 1814459021268125 709.00/709.03 o 1814459020173125 709.00/709.03 o 1814459002653125 709.00/709.03 o 1814458993893125 709.00/709.03 o 1814458989513125 709.00/709.03 o 1814458954473125 709.00/709.03 o 1814458919433125 709.00/709.03 o 1814458915053125 709.00/709.03 o 1814458906293125 709.00/709.03 o 1814458904103125 709.00/709.03 o 1814458886583125 709.00/709.03 o 1814458853879125 709.00/709.03 o 1814458845703125 709.00/709.03 o 1814458841615125 709.00/709.03 o 1814458841104125 709.00/709.03 o 1814458824752125 709.00/709.03 o 1814458824496625 709.00/709.03 o 1814458759088625 709.00/709.03 o 1814458756752625 709.00/709.03 o 1814458756168625 709.00/709.03 o 1814458755000625 709.00/709.03 o 1814458745656625 709.00/709.03 o 1814458740984625 709.00/709.03 o 1814458740400625 709.00/709.03 o 1814458739232625 709.00/709.03 o 1814458738940625 709.00/709.03 o 1814458738794625 709.00/709.03 o 1814458736458625 709.00/709.03 o 1814458732808625 709.00/709.03 o 1814458730983625 709.00/709.03 o 1814458725143625 709.00/709.03 o 1814458724979375 709.00/709.03 o 1814458722351375 709.00/709.03 o 1814458721694375 709.00/709.03 o 1814458711182375 709.00/709.03 o 1814458709868375 709.00/709.03 o 1814458704612375 709.00/709.03 o 1814458704283875 709.00/709.03 o 1814458662235875 709.00/709.03 o 1814458641211875 709.00/709.03 o 1814458571131875 709.00/709.03 o 1814456179067875 709.00/709.03 o 1814450198907875 709.00/709.03 o 1814440630651875 709.00/709.03 o 1814422690171875 709.00/709.03 o 1814415513979875 709.00/709.03 o 1814397573499875 709.00/709.03 o 1814383221115875 709.00/709.03 o 1814364084603875 709.00/709.03 o 1814325811579875 709.00/709.03 o 1814325796979875 709.00/709.03 o 1814325790409875 709.00/709.03 o 1814325783109875 709.00/709.03 o 1814324736581875 709.00/709.03 o 1814323241541875 709.00/709.03 o 1814323007941875 709.00/709.03 o 1814320914885875 709.00/709.03 o 1814320541125875 709.00/709.03 o 1814320400965875 709.00/709.03 o 1814320391621875 709.00/709.03 o 1814320354245875 709.00/709.03 o 1814320335557875 709.00/709.03 o 1814320330885875 709.00/709.03 o 1814319732869875 709.00/709.03 o 1814310164613875 709.00/709.03 o 1814309865605875 709.00/709.03 o 1814307473541875 709.00/709.03 o 1814306277509875 709.00/709.03 o 1814305081477875 709.00/709.03 o 1814304483461875 709.00/709.03 o 1814299699333875 709.00/709.03 o 1814299680645875 709.00/709.03 o 1814299643269875 709.00/709.03 o 1814299568517875 709.00/709.03 o 1814299493765875 709.00/709.03 o 1814299344261875 709.00/709.03 o 1814299194757875 709.00/709.03 o 1814298895749875 709.00/709.03 o 1814298615429875 709.00/709.03 o 1814298166917875 709.00/709.03 o 1814298110853875 709.00/709.03 o 1814298082821875 709.00/709.03 o 1814297970693875 709.00/709.03 o 1814297746437875 709.00/709.03 o 1814295952389875 709.00/709.03 o 1814292364293875 709.00/709.03 o 1814291467269875 709.00/709.03 o 1814261566469875 709.00/709.03 o 1814261548767375 709.00/709.03 o 1814261513362375 709.00/709.03 o 1814261490002375 709.00/709.03 o 1797877490002375 709.00/709.03 o 1797877489892875 709.00/709.03 o 1797877486388875 709.00/709.03 o 1797877479380875 709.00/709.03 o 1797877423316875 709.00/709.03 o 1797877409300875 709.00/709.03 o 1797877297172875 709.00/709.03 o 1797877269140875 709.00/709.03 o 1797877044884875 709.00/709.03 o 1797877044446875 709.00/709.03 o 1797877042694875 709.00/709.03 o 1797877041818875 709.00/709.03 o 1797877041599875 709.00/709.03 o 1797781359039875 709.00/709.03 o 1793685359039875 709.00/709.03 o 1789589359039875 709.00/709.03 o 1773205359039875 709.00/709.03 o 1772439898559875 709.00/709.03 o 1770391898559875 709.00/709.03 o 1766295898559875 709.00/709.03 o 1766104533439875 709.00/709.03 o 1758103898559875 709.00/709.03 o 1757147072959875 709.00/709.03 o 1757027469759875 709.00/709.03 o 1756788263359875 709.00/709.03 o 1756773312959875 709.00/709.03 o 1756743412159875 709.00/709.03 o 1756169316799875 709.00/709.03 o 1756109515199875 709.00/709.03 o 1754961324479875 709.00/709.03 o 1754482911679875 709.00/709.03 o 1738098911679875 709.00/709.03 o 1736050911679875 709.00/709.03 o 1731954911679875 709.00/709.03 o 1730930911679875 709.00/709.03 o 1729937186239875 709.00/709.03 o 1728922343104375 709.00/709.03 o 1726332147552375 709.00/709.03 o 1725310531236675 709.00/709.03 o 1725310531024975 709.00/709.03 o 1725310493648975 709.00/709.03 o 1725310483428975 709.00/709.03 o 1725310478756975 709.00/709.03 o 1725310458316975 709.00/709.03 o 1725310458127175 709.00/709.03 o 1725310403931975 709.00/709.03 o 1725310347867975 709.00/709.03 o 1725310342757975 709.00/709.03 o 1725310339370775 709.00/709.03 o 1725310330026775 709.00/709.03 o 1725310318346775 709.00/709.03 o 1725310317762775 709.00/709.03 o 1725310252354775 709.00/709.03 o 1725310251186775 709.00/709.03 o 1725310232498775 709.00/709.03 o 1725310183909975 709.00/709.03 o 1725310183398975 709.00/709.03 o 1725310156301375 709.00/709.03 o 1725310153965375 709.00/709.03 o 1725309990445375 709.00/709.03 o 1725309989636900 709.00/709.03 o 1725309983796900 709.00/709.03 o 1725309983417300 709.00/709.03 o 1725309609657300 709.00/709.03 o 1725309568777300 709.00/709.03 o 1725309456649300 709.00/709.03 o 1725309449874900 709.00/709.03 o 1725309341484500 709.00/709.03 o 1725309341061100 709.00/709.03 o 1725309259301100 709.00/709.03 o 1725309257607500 709.00/709.03 o 1725309234247500 709.00/709.03 o 1725309039892300 709.00/709.03 o 1725308853012300 709.00/709.03 o 1725308852756800 709.00/709.03 o 1725308850712800 709.00/709.03 o 1725308837572800 709.00/709.03 o 1725308835747800 709.00/709.03 o 1725308834901000 709.00/709.03 o 1725308610645000 709.00/709.03 o 172530860760>>> Terminate signal received 1800.04/1800.00 8200 1800.04/1800.00 o 1725308510430600 1800.04/1800.00 o 1725308496881800 1800.04/1800.00 o 1725308048369800 1800.04/1800.00 o 1725303862257800 1800.04/1800.00 o 1725285921777800 1800.04/1800.00 o 1725283828721800 1800.04/1800.00 o 1725169009649800 1800.04/1800.00 o 1725154657265800 1800.04/1800.00 o 1725152863217800 1800.04/1800.00 o 1725151069169800 1800.04/1800.00 o 1725150172145800 1800.04/1800.00 o 1725146584049800 1800.04/1800.00 o 1725139407857800 1800.04/1800.00 o 1725121467377800 1800.04/1800.00 o 1725116982257800 1800.04/1800.00 o 1725059572721800 1800.04/1800.00 o 1725045220337800 1800.04/1800.00 o 1725016515569800 1800.04/1800.00 o 1725013405886600 1800.04/1800.00 o 1725006468901000 1800.04/1800.00 o 1724978720958600 1800.04/1800.00 o 1724964846987400 1800.04/1800.00 o 1724963800459400 1800.04/1800.00 o 1724078217419400 1800.04/1800.00 o 1712019658955400 1800.04/1800.00 o 1710995658955400 1800.04/1800.00 o 1694611658955400 1800.04/1800.00 o 1690208458955400 1800.04/1800.00 o 1666451658955400 1800.04/1800.00 o 1656257272011400 1800.04/1800.00 o 1656244833278600 1800.04/1800.00 o 1656238613912200 1800.04/1800.00 o 1656188858981000 1800.04/1800.00 o 1656163981515400 1800.04/1800.00 o 1656130492619400 1800.04/1800.00 o 1655996537035400 1800.04/1800.00 o 1655728625867400 1800.04/1800.00 o 1649789425867400 1800.04/1800.00 o 1648800141961440 1800.04/1800.00 o 1648800136121440 1800.04/1800.00 o 1648800135610440 1800.04/1800.00 o 1648800118090440 1800.04/1800.00 o 1648800117834940 1800.04/1800.00 o 1648800113746940 1800.04/1800.00 o 1648800108490940 1800.04/1800.00 o 1648800101190940 1800.04/1800.00 o 1648800098270940 1800.04/1800.00 o 1648800096445940 1800.04/1800.00 o 1648800084765940 1800.04/1800.00 o 1648800070165940 1800.04/1800.00 o 1648800061314690 1800.04/1800.00 o 1648800060657690 1800.04/1800.00 o 1648800059635690 1800.04/1800.00 o 1648800057080690 1800.04/1800.00 o 1648800055766690 1800.04/1800.00 o 1648800047590690 1800.04/1800.00 o 1648800045546690 1800.04/1800.00 o 1648800039706690 1800.04/1800.00 o 1648799730376770 1800.04/1800.00 o 1648799240751170 1800.04/1800.00 o 1648798773551170 1800.04/1800.00 o 1648798656751170 1800.04/1800.00 o 1648798423151170 1800.04/1800.00 o 1648798393951170 1800.04/1800.00 o 1648798384388170 1800.04/1800.00 o 1648798343508170 1800.04/1800.00 o 1648798340471370 1800.04/1800.00 o 1648798316176970 1800.04/1800.00 o 1648797927466570 1800.04/1800.00 o 1648796372624970 1800.04/1800.00 o 1648795595204170 1800.04/1800.00 o 1648795546615370 1800.04/1800.00 o 1648795352260170 1800.04/1800.00 o 1648795255082570 1800.04/1800.00 o 1648795242935370 1800.04/1800.00 o 1647838417335370 1800.04/1800.00 o 1645790417335370 1800.04/1800.00 o 1629406417335370 1800.04/1800.00 o 1625310417335370 1800.04/1800.00 o 1625310411860370 1800.04/1800.00 o 1621214411860370 1800.04/1800.00 o 1617118411860370 1800.04/1800.00 o 1603215679154040 1800.04/1800.00 o 1603215678197740 1800.04/1800.00 o 1603215676153740 1800.04/1800.00 o 1603215674401740 1800.04/1800.00 o 1603215672489140 1800.04/1800.00 o 1603215669569140 1800.04/1800.00 o 1603215668474140 1800.04/1800.00 o 1603215661466140 1800.04/1800.00 o 1603215633434140 1800.04/1800.00 o 1603215631244140 1800.04/1800.00 o 1603215621900140 1800.04/1800.00 o 1603215607884140 1800.04/1800.00 o 1603215584524140 1800.04/1800.00 o 1603215582334140 1800.04/1800.00 o 1603215580509140 1800.04/1800.00 o 1603215577005140 1800.04/1800.00 o 1603215573355140 1800.04/1800.00 o 1603215555835140 1800.04/1800.00 o 1603215552601240 1800.04/1800.00 o 1603215546133440 1800.04/1800.00 o 1603215528430940 1800.04/1800.00 o 1603215519579690 1800.04/1800.00 o 1603215515754490 1800.04/1800.00 o 1603215508104090 1800.04/1800.00 o 1603215477502490 1800.04/1800.00 o 1603215462201690 1800.04/1800.00 o 1603215436330490 1800.04/1800.00 o 1603215430490490 1800.04/1800.00 o 1603215426110490 1800.04/1800.00 o 1603215417934490 1800.04/1800.00 o 1603215399246490 1800.04/1800.00 o 1603215396326490 1800.04/1800.00 o 1603215384646490 1800.04/1800.00 o 1603215361286490 1800.04/1800.00 o 1603215355446490 1800.04/1800.00 o 1603215343766490 1800.04/1800.00 o 1603215337926490 1800.04/1800.00 o 1603215335006490 1800.04/1800.00 o 1603215311646490 1800.04/1800.00 o 1603215310186490 1800.04/1800.00 o 1603215309456490 1800.04/1800.00 o 1603215307996490 1800.04/1800.00 o 1603215306536490 1800.04/1800.00 o 1603215305660490 1800.04/1800.00 o 1603215303908490 1800.04/1800.00 o 1603215300404490 1800.04/1800.00 o 1603215286388490 1800.04/1800.00 o 1603215279380490 1800.04/1800.00 o 1603215251348490 1800.04/1800.00 o 1603215181268490 1800.04/1800.00 o 1603215163748490 1800.04/1800.00 o 1603215128708490 1800.04/1800.00 o 1603204663428490 1800.04/1800.00 o 1603204654668490 1800.04/1800.00 o 1603204374348490 1800.04/1800.00 o 1603203253068490 1800.04/1800.00 o 1603202692428490 1800.04/1800.00 o 1603202622348490 1800.04/1800.00 o 1603202482188490 1800.04/1800.00 o 1603200239628490 1800.04/1800.00 o 1603200222692490 1800.04/1800.00 o 1603200188820490 1800.04/1800.00 o 1603200180352490 1800.04/1800.00 o 1603200176118490 1800.04/1800.00 o 1603198441872090 1800.04/1800.00 o 1603194973379290 1800.04/1800.00 o 1603194756598490 1800.04/1800.00 o 1598503557903590 1800.04/1800.00 o 1594100357903590 1800.04/1800.00 o 1592052357903590 1800.04/1800.00 o 1591861025487590 1800.04/1800.00 o 1590837025487590 1800.04/1800.00 o 1590774353410790 1800.04/1800.00 o 1590766519401190 1800.04/1800.00 o 1590383789161190 1800.04/1800.00 o 1590383788905690 1800.04/1800.00 o 1590230696809690 1800.04/1800.00 o 1590191526761690 1800.04/1800.00 o 1590171941737690 1800.04/1800.00 o 1590171418473690 1800.04/1800.00 o 1590171380221690 1800.04/1800.00 o 1590014700029690 1800.04/1800.00 o 1589942190589690 1800.04/1800.00 o 1584002990589690 1800.04/1800.00 o 1584002977654090 1800.04/1800.00 o 1582978977654090 1800.04/1800.00 o 1580930977654090 1800.04/1800.00 o 1579906977654090 1800.04/1800.00 o 1571714977654090 1800.04/1800.00 o 1570540191974090 1800.04/1800.00 o 1566444191974090 1800.04/1800.00 o 1558252191974090 1800.04/1800.00 o 1546551722214090 1800.04/1800.00 o 1546517037286090 1800.04/1800.00 o 1546499694822090 1800.04/1800.00 o 1546374350668490 1800.04/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 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 x1750 x1751 x1752 x1753 x1754 x1755 x1756 x1757 x1758 x1759 x1760 x1761 x1762 x1763 x1764 -x1765 x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 x1795 x1796 x1797 x1798 -x1799 -x1800 x1801 -x1802 x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 x1840 x1841 x1842 x1843 x1844 x1845 x1846 x1847 x1848 x1849 x1850 x1851 x1852 x1853 x1854 x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 x1903 x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 x1926 x1927 x1928 x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 x1944 x1945 x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 x1954 x1955 x1956 -x1957 -x1958 -x1959 x1960 -x1961 -x1962 -x1963 x1964 x1965 -x1966 x1967 x1968 x1969 -x1970 x1971 x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 x1989 -x1990 -x1991 x1992 x1993 x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 x2042 x2043 x2044 -x2045 -x2046 -x2047 -x2048 -x2049 x2050 -x2051 x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 x2136 x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 x2215 x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283
OK 1546374350668490
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-3497049-1307927481/watcher-3497049-1307927481 -o /var/tmp/evaluation-result-3497049-1307927481/solver-3497049-1307927481 -C 1800 -W 1900 -M 15500 HOME/minisatid-gmp HOME/instance-3497049-1307927481.opb --verbosity=0 --format=opb --randomseed=562795059 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.98 1.99 1.95 3/177 12460 /proc/meminfo: memFree=1561888/32951124 swapFree=67054712/67111528 [pid=12460] ppid=12458 vsize=8248 CPUtime=0 cores=1,3,5,7 /proc/12460/stat : 12460 (minisatid-gmp) R 12458 12460 11494 0 -1 4202496 500 0 0 0 0 0 0 0 24 0 1 0 982978720 8445952 454 33554432000 4194304 6957856 140737112680064 18446744073709551615 5925517 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/12460/statm: 2062 456 231 675 0 1378 0 [startup+0.0543221 s] /proc/loadavg: 1.98 1.99 1.95 3/177 12460 /proc/meminfo: memFree=1561888/32951124 swapFree=67054712/67111528 [pid=12460] ppid=12458 vsize=12540 CPUtime=0.05 cores=1,3,5,7 /proc/12460/stat : 12460 (minisatid-gmp) R 12458 12460 11494 0 -1 4202496 1705 0 0 0 5 0 0 0 24 0 1 0 982978720 12840960 1571 33554432000 4194304 6957856 140737112680064 18446744073709551615 4783915 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/12460/statm: 3135 1571 272 675 0 2451 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 12540 [startup+0.100325 s] /proc/loadavg: 1.98 1.99 1.95 3/177 12460 /proc/meminfo: memFree=1561888/32951124 swapFree=67054712/67111528 [pid=12460] ppid=12458 vsize=8184 CPUtime=0.09 cores=1,3,5,7 /proc/12460/stat : 12460 (minisatid-gmp) R 12458 12460 11494 0 -1 4202496 1718 0 0 0 9 0 0 0 24 0 1 0 982978720 8380416 1583 33554432000 4194304 6957856 140737112680064 18446744073709551615 5387648 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/12460/statm: 2046 1583 274 675 0 1362 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 8184 [startup+0.30029 s] /proc/loadavg: 1.98 1.99 1.95 3/177 12460 /proc/meminfo: memFree=1561888/32951124 swapFree=67054712/67111528 [pid=12460] ppid=12458 vsize=8184 CPUtime=0.29 cores=1,3,5,7 /proc/12460/stat : 12460 (minisatid-gmp) R 12458 12460 11494 0 -1 4202496 1730 0 0 0 29 0 0 0 25 0 1 0 982978720 8380416 1595 33554432000 4194304 6957856 140737112680064 18446744073709551615 5933964 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/12460/statm: 2046 1595 283 675 0 1362 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8184 [startup+0.700221 s] /proc/loadavg: 1.98 1.99 1.95 3/177 12460 /proc/meminfo: memFree=1561888/32951124 swapFree=67054712/67111528 [pid=12460] ppid=12458 vsize=8380 CPUtime=0.69 cores=1,3,5,7 /proc/12460/stat : 12460 (minisatid-gmp) R 12458 12460 11494 0 -1 4202496 1774 0 0 0 69 0 0 0 25 0 1 0 982978720 8581120 1638 33554432000 4194304 6957856 140737112680064 18446744073709551615 5934062 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/12460/statm: 2095 1638 286 675 0 1411 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8380 [startup+1.50108 s] /proc/loadavg: 1.98 1.99 1.95 3/178 12462 /proc/meminfo: memFree=1555580/32951124 swapFree=67054712/67111528 [pid=12460] ppid=12458 vsize=9056 CPUtime=1.49 cores=1,3,5,7 /proc/12460/stat : 12460 (minisatid-gmp) R 12458 12460 11494 0 -1 4202496 1840 0 0 0 149 0 0 0 25 0 1 0 982978720 9273344 1701 33554432000 4194304 6957856 140737112680064 18446744073709551615 5314160 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/12460/statm: 2264 1701 286 675 0 1580 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9056 [startup+3.1008 s] /proc/loadavg: 1.98 1.99 1.95 3/178 12462 /proc/meminfo: memFree=1555108/32951124 swapFree=67054712/67111528 [pid=12460] ppid=12458 vsize=9056 CPUtime=3.09 cores=1,3,5,7 /proc/12460/stat : 12460 (minisatid-gmp) R 12458 12460 11494 0 -1 4202496 1870 0 0 0 309 0 0 0 25 0 1 0 982978720 9273344 1731 33554432000 4194304 6957856 140737112680064 18446744073709551615 5922034 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/12460/statm: 2264 1731 286 675 0 1580 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 9056 [startup+6.30024 s] /proc/loadavg: 2.06 2.01 1.96 3/178 12462 /proc/meminfo: memFree=1554752/32951124 swapFree=67054712/67111528 [pid=12460] ppid=12458 vsize=9056 CPUtime=6.29 cores=1,3,5,7 /proc/12460/stat : 12460 (minisatid-gmp) R 12458 12460 11494 0 -1 4202496 1893 0 0 0 629 0 0 0 25 0 1 0 982978720 9273344 1752 33554432000 4194304 6957856 140737112680064 18446744073709551615 4838132 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/12460/statm: 2264 1752 286 675 0 1580 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 9056 [startup+12.7001 s] /proc/loadavg: 2.05 2.01 1.96 3/178 12462 /proc/meminfo: memFree=1552976/32951124 swapFree=67054712/67111528 [pid=12460] ppid=12458 vsize=10464 CPUtime=12.69 cores=1,3,5,7 /proc/12460/stat : 12460 (minisatid-gmp) R 12458 12460 11494 0 -1 4202496 2242 0 0 0 1269 0 0 0 25 0 1 0 982978720 10715136 2100 33554432000 4194304 6957856 140737112680064 18446744073709551615 5311800 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/12460/statm: 2616 2100 287 675 0 1932 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 10464 [startup+25.5009 s] /proc/loadavg: 2.04 2.00 1.96 3/178 12462 /proc/meminfo: memFree=1552964/32951124 swapFree=67054712/67111528 [pid=12460] ppid=12458 vsize=10800 CPUtime=25.49 cores=1,3,5,7 /proc/12460/stat : 12460 (minisatid-gmp) R 12458 12460 11494 0 -1 4202496 2321 0 0 0 2549 0 0 0 25 0 1 0 982978720 11059200 2177 33554432000 4194304 6957856 140737112680064 18446744073709551615 5316205 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/12460/statm: 2700 2177 287 675 0 2016 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 10800 [startup+51.1004 s] /proc/loadavg: 2.03 2.00 1.96 3/178 12463 /proc/meminfo: memFree=1548224/32951124 swapFree=67054712/67111528 [pid=12460] ppid=12458 vsize=15352 CPUtime=51.09 cores=1,3,5,7 /proc/12460/stat : 12460 (minisatid-gmp) R 12458 12460 11494 0 -1 4202496 3528 0 0 0 5109 0 0 0 25 0 1 0 982978720 15720448 3369 33554432000 4194304 6957856 140737112680064 18446744073709551615 5918018 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/12460/statm: 3838 3369 287 675 0 3154 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 15352 [startup+102.306 s] /proc/loadavg: 2.01 2.00 1.96 3/178 12464 /proc/meminfo: memFree=1536652/32951124 swapFree=67054712/67111528 [pid=12460] ppid=12458 vsize=30196 CPUtime=102.3 cores=1,3,5,7 /proc/12460/stat : 12460 (minisatid-gmp) R 12458 12460 11494 0 -1 4202496 10001 0 0 0 10229 1 0 0 25 0 1 0 982978720 30920704 4430 33554432000 4194304 6957856 140737112680064 18446744073709551615 5385212 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/12460/statm: 7549 4430 288 675 0 6865 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 30196 [startup+162.301 s] /proc/loadavg: 2.04 2.01 1.96 3/178 12466 /proc/meminfo: memFree=1521488/32951124 swapFree=67054712/67111528 [pid=12460] ppid=12458 vsize=34660 CPUtime=162.3 cores=1,3,5,7 /proc/12460/stat : 12460 (minisatid-gmp) R 12458 12460 11494 0 -1 4202496 12907 0 0 0 16228 2 0 0 25 0 1 0 982978720 35491840 7320 33554432000 4194304 6957856 140737112680064 18446744073709551615 5932608 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/12460/statm: 8665 7320 288 675 0 7981 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 34660 [startup+222.3 s] /proc/loadavg: 2.01 2.01 1.96 3/178 12467 /proc/meminfo: memFree=1470968/32951124 swapFree=67054712/67111528 [pid=12460] ppid=12458 vsize=49000 CPUtime=222.29 cores=1,3,5,7 /proc/12460/stat : 12460 (minisatid-gmp) R 12458 12460 11494 0 -1 4202496 16545 0 0 0 22227 2 0 0 25 0 1 0 982978720 50176000 10940 33554432000 4194304 6957856 140737112680064 18446744073709551615 5918152 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/12460/statm: 12250 10940 288 675 0 11566 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 49000 [startup+282.301 s] /proc/loadavg: 2.00 2.00 1.96 3/178 12469 /proc/meminfo: memFree=1467836/32951124 swapFree=67054712/67111528 [pid=12460] ppid=12458 vsize=49000 CPUtime=282.29 cores=1,3,5,7 /proc/12460/stat : 12460 (minisatid-gmp) R 12458 12460 11494 0 -1 4202496 17336 0 0 0 28227 2 0 0 25 0 1 0 982978720 50176000 11724 33554432000 4194304 6957856 140737112680064 18446744073709551615 5918015 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/12460/statm: 12250 11724 288 675 0 11566 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 49000 [startup+342.3 s] /proc/loadavg: 2.00 2.00 1.96 3/178 12471 /proc/meminfo: memFree=1463708/32951124 swapFree=67054712/67111528 [pid=12460] ppid=12458 vsize=79348 CPUtime=342.3 cores=1,3,5,7 /proc/12460/stat : 12460 (minisatid-gmp) R 12458 12460 11494 0 -1 4202496 23170 0 0 0 34227 3 0 0 25 0 1 0 982978720 81252352 12175 33554432000 4194304 6957856 140737112680064 18446744073709551615 5932649 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/12460/statm: 19837 12175 288 675 0 19153 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 79348 [startup+402.301 s] /proc/loadavg: 2.06 2.02 1.97 3/178 12472 /proc/meminfo: memFree=1459452/32951124 swapFree=67054712/67111528 [pid=12460] ppid=12458 vsize=79348 CPUtime=402.3 cores=1,3,5,7 /proc/12460/stat : 12460 (minisatid-gmp) R 12458 12460 11494 0 -1 4202496 23767 0 0 0 40227 3 0 0 25 0 1 0 982978720 81252352 12768 33554432000 4194304 6957856 140737112680064 18446744073709551615 5311744 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/12460/statm: 19837 12768 288 675 0 19153 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 79348 [startup+462.3 s] /proc/loadavg: 2.02 2.01 1.97 3/178 12474 /proc/meminfo: memFree=1462632/32951124 swapFree=67054712/67111528 [pid=12460] ppid=12458 vsize=79348 CPUtime=462.3 cores=1,3,5,7 /proc/12460/stat : 12460 (minisatid-gmp) R 12458 12460 11494 0 -1 4202496 23767 0 0 0 46227 3 0 0 25 0 1 0 982978720 81252352 12768 33554432000 4194304 6957856 140737112680064 18446744073709551615 4838132 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/12460/statm: 19837 12768 288 675 0 19153 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 79348 [startup+522.301 s] /proc/loadavg: 2.01 2.00 1.97 3/178 12475 /proc/meminfo: memFree=1443380/32951124 swapFree=67054712/67111528 [pid=12460] ppid=12458 vsize=79348 CPUtime=522.3 cores=1,3,5,7 /proc/12460/stat : 12460 (minisatid-gmp) R 12458 12460 11494 0 -1 4202496 23806 0 0 0 52227 3 0 0 25 0 1 0 982978720 81252352 12806 33554432000 4194304 6957856 140737112680064 18446744073709551615 4838329 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/12460/statm: 19837 12806 288 675 0 19153 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 79348 [startup+582.3 s] /proc/loadavg: 2.00 2.00 1.97 3/178 12477 /proc/meminfo: memFree=1420776/32951124 swapFree=67054712/67111528 [pid=12460] ppid=12458 vsize=79348 CPUtime=582.3 cores=1,3,5,7 /proc/12460/stat : 12460 (minisatid-gmp) R 12458 12460 11494 0 -1 4202496 23806 0 0 0 58227 3 0 0 25 0 1 0 982978720 81252352 12806 33554432000 4194304 6957856 140737112680064 18446744073709551615 4870048 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/12460/statm: 19837 12806 288 675 0 19153 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 79348 [startup+642.301 s] ################ # More data... # ################ [startup+822.3 s] /proc/loadavg: 2.00 2.00 1.97 3/178 12483 /proc/meminfo: memFree=1383652/32951124 swapFree=67054712/67111528 [pid=12460] ppid=12458 vsize=79348 CPUtime=822.3 cores=1,3,5,7 /proc/12460/stat : 12460 (minisatid-gmp) R 12458 12460 11494 0 -1 4202496 33421 0 0 0 82226 4 0 0 25 0 1 0 982978720 81252352 14700 33554432000 4194304 6957856 140737112680064 18446744073709551615 5934678 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/12460/statm: 19837 14700 288 675 0 19153 0 Current children cumulated CPU time (s) 822.3 Current children cumulated vsize (KiB) 79348 [startup+882.301 s] /proc/loadavg: 2.00 2.00 1.97 3/178 12485 /proc/meminfo: memFree=1382632/32951124 swapFree=67054712/67111528 [pid=12460] ppid=12458 vsize=79348 CPUtime=882.31 cores=1,3,5,7 /proc/12460/stat : 12460 (minisatid-gmp) R 12458 12460 11494 0 -1 4202496 33421 0 0 0 88227 4 0 0 25 0 1 0 982978720 81252352 14700 33554432000 4194304 6957856 140737112680064 18446744073709551615 5932588 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/12460/statm: 19837 14700 288 675 0 19153 0 Current children cumulated CPU time (s) 882.31 Current children cumulated vsize (KiB) 79348 [startup+942.3 s] /proc/loadavg: 2.00 2.00 1.97 3/178 12487 /proc/meminfo: memFree=1381108/32951124 swapFree=67054712/67111528 [pid=12460] ppid=12458 vsize=79348 CPUtime=942.31 cores=1,3,5,7 /proc/12460/stat : 12460 (minisatid-gmp) R 12458 12460 11494 0 -1 4202496 33421 0 0 0 94227 4 0 0 25 0 1 0 982978720 81252352 14700 33554432000 4194304 6957856 140737112680064 18446744073709551615 5917999 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/12460/statm: 19837 14700 288 675 0 19153 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 79348 [startup+1002.3 s] /proc/loadavg: 2.00 2.00 1.97 3/178 12488 /proc/meminfo: memFree=1367808/32951124 swapFree=67054712/67111528 [pid=12460] ppid=12458 vsize=79348 CPUtime=1002.31 cores=1,3,5,7 /proc/12460/stat : 12460 (minisatid-gmp) R 12458 12460 11494 0 -1 4202496 33421 0 0 0 100227 4 0 0 25 0 1 0 982978720 81252352 14700 33554432000 4194304 6957856 140737112680064 18446744073709551615 5312950 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/12460/statm: 19837 14700 288 675 0 19153 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 79348 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 1.97 3/178 12490 /proc/meminfo: memFree=1346692/32951124 swapFree=67054712/67111528 [pid=12460] ppid=12458 vsize=79348 CPUtime=1062.31 cores=1,3,5,7 /proc/12460/stat : 12460 (minisatid-gmp) R 12458 12460 11494 0 -1 4202496 41556 0 0 0 106226 5 0 0 25 0 1 0 982978720 81252352 14700 33554432000 4194304 6957856 140737112680064 18446744073709551615 4638554 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/12460/statm: 19837 14700 288 675 0 19153 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 79348 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 1.97 3/178 12491 /proc/meminfo: memFree=1346764/32951124 swapFree=67054712/67111528 [pid=12460] ppid=12458 vsize=79348 CPUtime=1122.31 cores=1,3,5,7 /proc/12460/stat : 12460 (minisatid-gmp) R 12458 12460 11494 0 -1 4202496 41556 0 0 0 112226 5 0 0 25 0 1 0 982978720 81252352 14700 33554432000 4194304 6957856 140737112680064 18446744073709551615 5924223 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/12460/statm: 19837 14700 288 675 0 19153 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 79348 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 1.97 3/178 12493 /proc/meminfo: memFree=1331728/32951124 swapFree=67054712/67111528 [pid=12460] ppid=12458 vsize=79348 CPUtime=1182.32 cores=1,3,5,7 /proc/12460/stat : 12460 (minisatid-gmp) R 12458 12460 11494 0 -1 4202496 45431 0 0 0 118226 6 0 0 25 0 1 0 982978720 81252352 18537 33554432000 4194304 6957856 140737112680064 18446744073709551615 5922145 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/12460/statm: 19837 18537 288 675 0 19153 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 79348 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 1.97 3/178 12495 /proc/meminfo: memFree=1328472/32951124 swapFree=67054712/67111528 [pid=12460] ppid=12458 vsize=79348 CPUtime=1242.32 cores=1,3,5,7 /proc/12460/stat : 12460 (minisatid-gmp) R 12458 12460 11494 0 -1 4202496 46267 0 0 0 124226 6 0 0 25 0 1 0 982978720 81252352 19368 33554432000 4194304 6957856 140737112680064 18446744073709551615 5316142 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/12460/statm: 19837 19368 288 675 0 19153 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 79348 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 1.97 3/178 12496 /proc/meminfo: memFree=1328060/32951124 swapFree=67054712/67111528 [pid=12460] ppid=12458 vsize=79348 CPUtime=1302.32 cores=1,3,5,7 /proc/12460/stat : 12460 (minisatid-gmp) R 12458 12460 11494 0 -1 4202496 46267 0 0 0 130226 6 0 0 25 0 1 0 982978720 81252352 19368 33554432000 4194304 6957856 140737112680064 18446744073709551615 5917991 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/12460/statm: 19837 19368 288 675 0 19153 0 Current children cumulated CPU time (s) 1302.32 Current children cumulated vsize (KiB) 79348 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 1.97 3/178 12498 /proc/meminfo: memFree=1327896/32951124 swapFree=67054712/67111528 [pid=12460] ppid=12458 vsize=79348 CPUtime=1362.32 cores=1,3,5,7 /proc/12460/stat : 12460 (minisatid-gmp) R 12458 12460 11494 0 -1 4202496 54201 0 0 0 136225 7 0 0 25 0 1 0 982978720 81252352 19368 33554432000 4194304 6957856 140737112680064 18446744073709551615 5922108 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/12460/statm: 19837 19368 288 675 0 19153 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 79348 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 1.97 3/178 12499 /proc/meminfo: memFree=1306636/32951124 swapFree=67054712/67111528 [pid=12460] ppid=12458 vsize=79348 CPUtime=1422.33 cores=1,3,5,7 /proc/12460/stat : 12460 (minisatid-gmp) R 12458 12460 11494 0 -1 4202496 63627 0 0 0 142224 9 0 0 25 0 1 0 982978720 81252352 19368 33554432000 4194304 6957856 140737112680064 18446744073709551615 5922126 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/12460/statm: 19837 19368 288 675 0 19153 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 79348 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 1.97 3/178 12501 /proc/meminfo: memFree=1306596/32951124 swapFree=67054712/67111528 [pid=12460] ppid=12458 vsize=79348 CPUtime=1482.32 cores=1,3,5,7 /proc/12460/stat : 12460 (minisatid-gmp) R 12458 12460 11494 0 -1 4202496 80629 0 0 0 148221 11 0 0 25 0 1 0 982978720 81252352 19368 33554432000 4194304 6957856 140737112680064 18446744073709551615 5312991 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/12460/statm: 19837 19368 288 675 0 19153 0 Current children cumulated CPU time (s) 1482.32 Current children cumulated vsize (KiB) 79348 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 1.97 3/178 12503 /proc/meminfo: memFree=1269476/32951124 swapFree=67054712/67111528 [pid=12460] ppid=12458 vsize=128668 CPUtime=1542.33 cores=1,3,5,7 /proc/12460/stat : 12460 (minisatid-gmp) R 12458 12460 11494 0 -1 4202496 107815 0 0 0 154218 15 0 0 25 0 1 0 982978720 131756032 27058 33554432000 4194304 6957856 140737112680064 18446744073709551615 5922264 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/12460/statm: 32167 27058 288 675 0 31483 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 128668 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 1.97 3/178 12504 /proc/meminfo: memFree=1234104/32951124 swapFree=67054712/67111528 [pid=12460] ppid=12458 vsize=159488 CPUtime=1602.33 cores=1,3,5,7 /proc/12460/stat : 12460 (minisatid-gmp) R 12458 12460 11494 0 -1 4202496 136411 0 0 0 160215 18 0 0 25 0 1 0 982978720 163315712 34893 33554432000 4194304 6957856 140737112680064 18446744073709551615 5934368 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/12460/statm: 39872 34893 288 675 0 39188 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 159488 [startup+1662.3 s] /proc/loadavg: 2.12 2.03 1.98 3/178 12548 /proc/meminfo: memFree=1587688/32951124 swapFree=67054712/67111528 [pid=12460] ppid=12458 vsize=79348 CPUtime=1662.33 cores=1,3,5,7 /proc/12460/stat : 12460 (minisatid-gmp) R 12458 12460 11494 0 -1 4202496 162755 0 0 0 166211 22 0 0 25 0 1 0 982978720 81252352 19368 33554432000 4194304 6957856 140737112680064 18446744073709551615 5319469 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/12460/statm: 19837 19368 288 675 0 19153 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 79348 [startup+1722.3 s] /proc/loadavg: 2.04 2.02 1.98 3/178 12549 /proc/meminfo: memFree=1587724/32951124 swapFree=67054712/67111528 [pid=12460] ppid=12458 vsize=79348 CPUtime=1722.33 cores=1,3,5,7 /proc/12460/stat : 12460 (minisatid-gmp) R 12458 12460 11494 0 -1 4202496 162755 0 0 0 172211 22 0 0 25 0 1 0 982978720 81252352 19368 33554432000 4194304 6957856 140737112680064 18446744073709551615 4838132 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/12460/statm: 19837 19368 288 675 0 19153 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 79348 [startup+1782.3 s] /proc/loadavg: 2.01 2.02 1.98 3/178 12551 /proc/meminfo: memFree=1586572/32951124 swapFree=67054712/67111528 [pid=12460] ppid=12458 vsize=79348 CPUtime=1782.33 cores=1,3,5,7 /proc/12460/stat : 12460 (minisatid-gmp) R 12458 12460 11494 0 -1 4202496 179366 0 0 0 178209 24 0 0 25 0 1 0 982978720 81252352 19368 33554432000 4194304 6957856 140737112680064 18446744073709551615 5929265 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/12460/statm: 19837 19368 288 675 0 19153 0 Current children cumulated CPU time (s) 1782.33 Current children cumulated vsize (KiB) 79348 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.01 2.02 1.98 3/178 12551 /proc/meminfo: memFree=1586564/32951124 swapFree=67054712/67111528 [pid=12460] ppid=12458 vsize=79348 CPUtime=1800.04 cores=1,3,5,7 /proc/12460/stat : 12460 (minisatid-gmp) R 12458 12460 11494 0 -1 4202496 188761 0 0 0 179979 25 0 0 25 0 1 0 982978720 81252352 19368 33554432000 4194304 6957856 140737112680064 18446744073709551615 5918075 0 0 4096 17571 0 0 0 17 1 0 0 0 /proc/12460/statm: 19837 19368 288 675 0 19153 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 79348 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.05 CPU user time (s): 1799.79 CPU system time (s): 0.25696 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 159488 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.79 system time used= 0.25696 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 188764 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= 3452 runsolver used 2.35764 second user time and 5.83711 second system time The end
Begin job on node119 at 2011-06-13 03:11:21 IDJOB=3497049 IDBENCH=2490 IDSOLVER=1990 FILE ID=node119/3497049-1307927481 RUNJOBID= node119-1307919796-11513 PBS_JOBID= 13559660 Free space on /var/tmp= 2880 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-bell3b.opb COMMAND LINE= HOME/minisatid-gmp BENCHNAME --verbosity=0 --format=opb --randomseed=RANDOMSEED RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3497049-1307927481/watcher-3497049-1307927481 -o /var/tmp/evaluation-result-3497049-1307927481/solver-3497049-1307927481 -C 1800 -W 1900 -M 15500 HOME/minisatid-gmp HOME/instance-3497049-1307927481.opb --verbosity=0 --format=opb --randomseed=562795059 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 2982ffe422921e9a65d384b08247e6aa RANDOM SEED=562795059 node119.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.815 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.63 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.815 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 : 5332.83 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.815 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.815 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.83 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.815 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.67 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.815 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.83 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.815 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.815 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.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 1562316 kB Buffers: 77252 kB Cached: 30225500 kB SwapCached: 10968 kB Active: 15469148 kB Inactive: 14976920 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 1562316 kB SwapTotal: 67111528 kB SwapFree: 67054712 kB Dirty: 3120 kB Writeback: 0 kB AnonPages: 141148 kB Mapped: 14356 kB Slab: 879144 kB PageTables: 4980 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 336216 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= 2876 MiB End job on node119 at 2011-06-13 03:41:23