| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 | UNSAT | 114.248 | 111.339 |
| Name | industrial/babic/hsatv17/ hsat_vc12016.cnf |
| MD5SUM | 240b13662b1715595ba6c034fd886d0b |
| Bench Category | APPLICATION (applications instances) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 1.2928 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 162939 |
| Number of clauses | 456921 |
| Sum of the clauses size | 1177547 |
| Maximum clause length | 3 |
| Minimum clause length | 1 |
| Number of clauses of size 1 | 20880 |
| Number of clauses of size 2 | 151456 |
| Number of clauses of size 3 | 284585 |
| Number of clauses of size 4 | 0 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 0 |
0.00/0.07 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.00/0.07 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.07 c See www.sat4j.org for details. 0.00/0.08 c version 2.3.0.v20110206 0.00/0.08 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.08 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.08 c java.vm.version 19.1-b02 0.00/0.08 c java.vm.vendor Sun Microsystems Inc. 0.00/0.08 c sun.arch.data.model 64 0.00/0.08 c java.version 1.6.0_24 0.00/0.08 c os.name Linux 0.00/0.08 c os.version 2.6.18-164.el5 0.00/0.08 c os.arch amd64 0.00/0.08 c Free memory 5997854704 0.00/0.08 c Max memory 6029312000 0.00/0.08 c Total memory 6029312000 0.00/0.08 c Number of processors 8 0.08/0.10 c Explanation (MUS) enabled solver 0.08/0.10 c QuickXplain (AAAI 2004 version) minimization strategy 0.08/0.10 c --- Begin Solver configuration --- 0.08/0.10 c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@1d73831b 0.08/0.10 c Learn all clauses as in MiniSAT 0.08/0.10 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 0.08/0.10 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT 0.08/0.10 c Expensive reason simplification 0.08/0.10 c Armin Biere (Picosat) restarts strategy 0.08/0.10 c Glucose learned constraints deletion strategy 0.08/0.10 c timeout=2147483647s 0.08/0.10 c DB Simplification allowed=true 0.08/0.10 c --- End Solver configuration --- 0.08/0.10 c solving HOME/instance-3493580-1307800920.cnf 0.08/0.10 c reading problem ... 0.87/0.75 c ... done. Wall clock time 0.648s. 0.87/0.75 c #vars 619885 0.87/0.75 c #constraints 456921 0.87/0.75 c constraints type 0.87/0.75 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 436041 0.87/0.75 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 20880 9.04/8.49 c Unsat detection wall clock time (in seconds) : 8.393 9.04/8.49 c Size of initial unsat subformula: 328 9.04/8.49 c Computing MUS ... 9.04/8.49 c initial unsat core 159598[?] 619883[?] 162964[?] 159597[?] -159598[?] 612716[?] 105516[?] -159597[?] 612712[?] 105515[?] -105516[?] 460368[?] 104392[?] -105515[?] 460364[?] 104391[?] -104392[?] 458654[?] 104390[?] -104391[?] 458651[?] 104030[?] -104391[?] 458650[?] -104249[?] -104390[?] 458646[?] 104250[?] 104249[?] 458459[?] 104266[?] -104250[?] 458457[?] 104265[?] -104266[?] 458456[?] 104264[?] -104265[?] 458454[?] 104263[?] -104264[?] 458452[?] 104262[?] -104263[?] 458450[?] 104261[?] -104262[?] 458448[?] 104260[?] -104261[?] 458446[?] 104259[?] -104260[?] 458444[?] 104251[?] -104259[?] 458442[?] -104241[?] -104251[?] 458440[?] -104047[?] 104241[?] 458438[?] -104079[?] -104240[?] 104047[?] 458434[?] 104240[?] 104079[?] 104047[?] 458433[?] -104240[?] -104239[?] -104235[?] 458432[?] 104235[?] -104240[?] 104239[?] 458431[?] 104240[?] 104239[?] -104235[?] 458430[?] -104079[?] -104235[?] -104236[?] 458428[?] 104235[?] -104079[?] 104236[?] 458427[?] 104236[?] 104079[?] -104235[?] 458426[?] 104239[?] -104237[?] 458424[?] 104237[?] -104239[?] 458423[?] 104236[?] -104237[?] 458421[?] 104237[?] -104235[?] -104236[?] 458420[?] 104111[?] -104236[?] 458419[?] 104235[?] -104233[?] 458413[?] 104233[?] -104231[?] -104232[?] 458409[?] 104232[?] -104110[?] 458407[?] 104231[?] -104229[?] 458402[?] 104229[?] -104227[?] -104228[?] 458398[?] 104228[?] -104109[?] 458396[?] 104227[?] -104225[?] 458391[?] 104225[?] -104223[?] -104224[?] 458387[?] 104224[?] -104108[?] 458385[?] 104223[?] -104221[?] 458380[?] 104221[?] -104219[?] -104220[?] 458376[?] 104220[?] -104107[?] 458374[?] 104219[?] -104217[?] 458369[?] 104217[?] -104215[?] -104216[?] 458365[?] 104216[?] -104106[?] 458363[?] 104215[?] -104213[?] 458358[?] 104213[?] -104211[?] -104212[?] 458354[?] 104212[?] -104105[?] 458352[?] 104211[?] -104209[?] 458347[?] 104209[?] -104207[?] -104208[?] 458343[?] 104208[?] -104104[?] 458341[?] 104207[?] -104205[?] 458336[?] 104205[?] -104203[?] -104204[?] 458332[?] 104204[?] -104103[?] 458330[?] 104203[?] -104201[?] 458325[?] 104201[?] -104199[?] -104200[?] 458321[?] 104200[?] -104102[?] 458319[?] 104199[?] -104197[?] 458314[?] 104197[?] -104195[?] -104196[?] 458310[?] 104196[?] -104101[?] 458308[?] 104195[?] -104193[?] 458303[?] 104193[?] -104191[?] -104192[?] 458299[?] 104192[?] -104100[?] 458297[?] 104191[?] -104189[?] 458292[?] 104189[?] -104187[?] -104188[?] 458288[?] 104188[?] -104099[?] 458286[?] 104187[?] -104185[?] 458281[?] 104185[?] -104183[?] -104184[?] 458277[?] 104184[?] -104098[?] 458275[?] 104183[?] -104181[?] 458270[?] 104181[?] -104179[?] -104180[?] 458266[?] 104180[?] -104097[?] 458264[?] 104179[?] -104177[?] 458259[?] 104177[?] -104175[?] -104176[?] 458255[?] 104176[?] -104096[?] 458253[?] 104175[?] -104173[?] 458248[?] 104173[?] -104171[?] -104172[?] 458244[?] 104172[?] -104095[?] 458242[?] 104171[?] -104169[?] 458237[?] 104169[?] -104167[?] -104168[?] 458233[?] 104168[?] -104094[?] 458231[?] 104167[?] -104165[?] 458226[?] 104165[?] -104163[?] -104164[?] 458222[?] 104164[?] -104093[?] 458220[?] 104163[?] -104161[?] 458215[?] 104161[?] -104159[?] -104160[?] 458211[?] 104160[?] -104092[?] 458209[?] 104159[?] -104157[?] 458204[?] 104157[?] -104155[?] -104156[?] 458200[?] 104156[?] -104091[?] 458198[?] 104155[?] -104153[?] 458193[?] 104153[?] -104151[?] -104152[?] 458189[?] 104152[?] -104090[?] 458187[?] 104151[?] -104149[?] 458182[?] 104149[?] -104147[?] -104148[?] 458178[?] 104148[?] -104089[?] 458176[?] 104147[?] -104145[?] 458171[?] 104145[?] -104143[?] -104144[?] 458167[?] 104144[?] -104088[?] 458165[?] 104143[?] -104141[?] 458160[?] 104141[?] -104139[?] -104140[?] 458156[?] 104140[?] -104087[?] 458154[?] 104139[?] -104137[?] 458149[?] 104137[?] -104135[?] -104136[?] 458145[?] 104136[?] -104086[?] 458143[?] 104135[?] -104133[?] 458138[?] 104133[?] -104131[?] -104132[?] 458134[?] 104132[?] -104085[?] 458132[?] 104131[?] -104129[?] 458127[?] 104129[?] -104127[?] -104128[?] 458123[?] 104128[?] -104084[?] 458121[?] 104127[?] -104125[?] 458116[?] 104125[?] -104123[?] -104124[?] 458112[?] 104124[?] -104083[?] 458110[?] 104123[?] -104121[?] 458105[?] 104121[?] -104119[?] -104120[?] 458101[?] 104120[?] -104082[?] 458099[?] 104119[?] -104117[?] 458094[?] 104117[?] -104116[?] -104115[?] 458090[?] 104116[?] -104081[?] 458088[?] 104115[?] -104114[?] 458085[?] 104115[?] -104113[?] 458084[?] -104112[?] 104113[?] 458081[?] 104114[?] -104080[?] 458079[?] 104080[?] 104112[?] 458077[?] -103827[?] -104111[?] 458076[?] 104110[?] 103826[?] 458073[?] 104109[?] 103825[?] 458071[?] 104108[?] 103824[?] 458069[?] 104107[?] 103823[?] 458067[?] 104106[?] 103822[?] 458065[?] 104105[?] 103821[?] 458063[?] 104104[?] 103820[?] 458061[?] 104103[?] 103819[?] 458059[?] 104102[?] 103818[?] 458057[?] 104101[?] 103817[?] 458055[?] 104100[?] 103816[?] 458053[?] 104099[?] 103815[?] 458051[?] 104098[?] 103814[?] 458049[?] 104097[?] 103813[?] 458047[?] 104096[?] 103812[?] 458045[?] 104095[?] 103811[?] 458043[?] 104094[?] 103810[?] 458041[?] 104093[?] 103809[?] 458039[?] 104092[?] 103808[?] 458037[?] 104091[?] 103807[?] 458035[?] 104090[?] 103806[?] 458033[?] 104089[?] 103805[?] 458031[?] 104088[?] 103804[?] 458029[?] 104087[?] 103803[?] 458027[?] 104086[?] 103802[?] 458025[?] 104085[?] 103801[?] 458023[?] 104084[?] 103800[?] 458021[?] 104083[?] 103799[?] 458019[?] 104082[?] 103798[?] 458017[?] 104081[?] 103797[?] 458015[?] 104046[?] -104030[?] 458011[?] 104045[?] -104046[?] 458010[?] 104044[?] -104045[?] 458008[?] 104043[?] -104044[?] 458006[?] 104042[?] -104043[?] 458004[?] 104041[?] -104042[?] 458002[?] 104040[?] -104041[?] 458000[?] 104039[?] -104040[?] 457998[?] 104031[?] -104039[?] 457996[?] -104022[?] -104031[?] 457994[?] -103828[?] 104022[?] 457992[?] -103860[?] 104021[?] 103828[?] 457988[?] -104021[?] 104020[?] 104016[?] 457985[?] 104016[?] 103860[?] -104017[?] 457979[?] 104018[?] -104020[?] 457977[?] 104016[?] -104018[?] 457976[?] 104017[?] -103892[?] 457972[?] 104014[?] -104016[?] 457966[?] 104012[?] -104014[?] 457965[?] 104013[?] -104014[?] 457964[?] 103891[?] -104013[?] 457962[?] 104010[?] -104012[?] 457955[?] 104008[?] -104010[?] 457954[?] 104009[?] -104010[?] 457953[?] 103890[?] -104009[?] 457951[?] 104006[?] -104008[?] 457944[?] 104004[?] -104006[?] 457943[?] 104005[?] -104006[?] 457942[?] 103889[?] -104005[?] 457940[?] 104002[?] -104004[?] 457933[?] 104000[?] -104002[?] 457932[?] 104001[?] -104002[?] 457931[?] 103888[?] -104001[?] 457929[?] 103998[?] -104000[?] 457922[?] 103996[?] -103998[?] 457921[?] 103997[?] -103998[?] 457920[?] 103887[?] -103997[?] 457918[?] 103994[?] -103996[?] 457911[?] 103992[?] -103994[?] 457910[?] 103993[?] -103994[?] 457909[?] 103886[?] -103993[?] 457907[?] 103990[?] -103992[?] 457900[?] 103988[?] -103990[?] 457899[?] 103989[?] -103990[?] 457898[?] 103885[?] -103989[?] 457896[?] 103986[?] -103988[?] 457889[?] 103984[?] -103986[?] 457888[?] 103985[?] -103986[?] 457887[?] 103884[?] -103985[?] 457885[?] 103982[?] -103984[?] 457878[?] 103980[?] -103982[?] 457877[?] 103981[?] -103982[?] 457876[?] 103883[?] -103981[?] 457874[?] 103978[?] -103980[?] 457867[?] 103976[?] -103978[?] 457866[?] 103977[?] -103978[?] 457865[?] 103882[?] -103977[?] 457863[?] 103974[?] -103976[?] 457856[?] 103972[?] -103974[?] 457855[?] 103973[?] -103974[?] 457854[?] 103881[?] -103973[?] 457852[?] 103970[?] -103972[?] 457845[?] 103968[?] -103970[?] 457844[?] 103969[?] -103970[?] 457843[?] 103880[?] -103969[?] 457841[?] 103966[?] -103968[?] 457834[?] 103964[?] -103966[?] 457833[?] 103965[?] -103966[?] 457832[?] 103879[?] -103965[?] 457830[?] 103962[?] -103964[?] 457823[?] 103960[?] -103962[?] 457822[?] 103961[?] -103962[?] 457821[?] 103878[?] -103961[?] 457819[?] 103958[?] -103960[?] 457812[?] 103956[?] -103958[?] 457811[?] 103957[?] -103958[?] 457810[?] 103877[?] -103957[?] 457808[?] 103954[?] -103956[?] 457801[?] 103952[?] -103954[?] 457800[?] 103953[?] -103954[?] 457799[?] 103876[?] -103953[?] 457797[?] 103950[?] -103952[?] 457790[?] 103948[?] -103950[?] 457789[?] 103949[?] -103950[?] 457788[?] 103875[?] -103949[?] 457786[?] 103946[?] -103948[?] 457779[?] 103944[?] -103946[?] 457778[?] 103945[?] -103946[?] 457777[?] 103874[?] -103945[?] 457775[?] 103942[?] -103944[?] 457768[?] 103940[?] -103942[?] 457767[?] 103941[?] -103942[?] 457766[?] 103873[?] -103941[?] 457764[?] 103938[?] -103940[?] 457757[?] 103936[?] -103938[?] 457756[?] 103937[?] -103938[?] 457755[?] 103872[?] -103937[?] 457753[?] 103934[?] -103936[?] 457746[?] 103932[?] -103934[?] 457745[?] 103933[?] -103934[?] 457744[?] 103871[?] -103933[?] 457742[?] 103930[?] -103932[?] 457735[?] 103928[?] -103930[?] 457734[?] 103929[?] -103930[?] 457733[?] 103870[?] -103929[?] 457731[?] 103926[?] -103928[?] 457724[?] 103924[?] -103926[?] 457723[?] 103925[?] -103926[?] 457722[?] 103869[?] -103925[?] 457720[?] 103922[?] -103924[?] 457713[?] 103920[?] -103922[?] 457712[?] 103921[?] -103922[?] 457711[?] 103868[?] -103921[?] 457709[?] 103918[?] -103920[?] 457702[?] 103916[?] -103918[?] 457701[?] 103917[?] -103918[?] 457700[?] 103867[?] -103917[?] 457698[?] 103914[?] -103916[?] 457691[?] 103912[?] -103914[?] 457690[?] 103913[?] -103914[?] 457689[?] 103866[?] -103913[?] 457687[?] 103910[?] -103912[?] 457680[?] 103908[?] -103910[?] 457679[?] 103909[?] -103910[?] 457678[?] 103865[?] -103909[?] 457676[?] 103906[?] -103908[?] 457669[?] 103904[?] -103906[?] 457668[?] 103905[?] -103906[?] 457667[?] 103864[?] -103905[?] 457665[?] 103902[?] -103904[?] 457658[?] 103900[?] -103902[?] 457657[?] 103901[?] -103902[?] 457656[?] 103863[?] -103901[?] 457654[?] 103898[?] -103900[?] 457647[?] 103897[?] -103898[?] 457645[?] 103862[?] -103897[?] 457643[?] 103892[?] 103827[?] 457629[?] -103826[?] -103891[?] 457628[?] -103825[?] -103890[?] 457626[?] -103824[?] -103889[?] 457624[?] -103823[?] -103888[?] 457622[?] -103822[?] -103887[?] 457620[?] -103821[?] -103886[?] 457618[?] -103820[?] -103885[?] 457616[?] -103819[?] -103884[?] 457614[?] -103818[?] -103883[?] 457612[?] -103817[?] -103882[?] 457610[?] -103816[?] -103881[?] 457608[?] -103815[?] -103880[?] 457606[?] -103814[?] -103879[?] 457604[?] -103813[?] -103878[?] 457602[?] -103812[?] -103877[?] 457600[?] -103811[?] -103876[?] 457598[?] -103810[?] -103875[?] 457596[?] -103809[?] -103874[?] 457594[?] -103808[?] -103873[?] 457592[?] -103807[?] -103872[?] 457590[?] -103806[?] -103871[?] 457588[?] -103805[?] -103870[?] 457586[?] -103804[?] -103869[?] 457584[?] -103803[?] -103868[?] 457582[?] -103802[?] -103867[?] 457580[?] -103801[?] -103866[?] 457578[?] -103800[?] -103865[?] 457576[?] -103799[?] -103864[?] 457574[?] -103798[?] -103863[?] 457572[?] -103797[?] -103862[?] 457570[?] -162964[?] 183844[?] 9.30/8.62 c qxplain 0/327 9.71/8.95 c qxplain 164/327 9.92/9.16 c qxplain 246/327 10.11/9.37 c qxplain 287/327 10.31/9.58 c qxplain 308/327 10.51/9.79 c qxplain 318/327 10.81/10.00 c qxplain 323/327 11.01/10.20 c qxplain 326/327 11.21/10.41 c qxplain 327/327 11.41/10.62 c -162964[?] 183844[?] is mandatory 11.41/10.62 c qxplain 326/326 11.61/10.83 c 457570[?] -103797[?] -103862[?] is mandatory 11.61/10.83 c qxplain 323/325 11.81/11.04 c qxplain 325/325 12.01/11.25 c 457572[?] -103798[?] -103863[?] is mandatory 12.01/11.25 c qxplain 323/324 12.21/11.45 c qxplain 324/324 12.41/11.66 c 457574[?] -103799[?] -103864[?] is mandatory 12.41/11.66 c qxplain 323/323 12.61/11.87 c 457576[?] -103800[?] -103865[?] is mandatory 12.61/11.87 c qxplain 318/322 12.82/12.08 c qxplain 321/322 13.01/12.29 c qxplain 322/322 13.31/12.50 c 457578[?] -103801[?] -103866[?] is mandatory 13.31/12.50 c qxplain 321/321 13.51/12.71 c 457580[?] -103802[?] -103867[?] is mandatory 13.51/12.71 c qxplain 318/320 13.71/12.92 c qxplain 320/320 13.92/13.13 c 457582[?] -103803[?] -103868[?] is mandatory 13.92/13.13 c qxplain 318/319 14.11/13.33 c qxplain 319/319 14.31/13.54 c 457584[?] -103804[?] -103869[?] is mandatory 14.31/13.54 c qxplain 318/318 14.51/13.75 c 457586[?] -103805[?] -103870[?] is mandatory 14.51/13.75 c qxplain 308/317 14.71/13.96 c qxplain 313/317 14.91/14.17 c qxplain 316/317 15.12/14.38 c qxplain 317/317 15.32/14.59 c 457588[?] -103806[?] -103871[?] is mandatory 15.32/14.59 c qxplain 316/316 15.61/14.80 c 457590[?] -103807[?] -103872[?] is mandatory 15.61/14.80 c qxplain 313/315 15.81/15.00 c qxplain 315/315 16.01/15.21 c 457592[?] -103808[?] -103873[?] is mandatory 16.01/15.21 c qxplain 313/314 16.22/15.42 c qxplain 314/314 16.41/15.63 c 457594[?] -103809[?] -103874[?] is mandatory 16.41/15.63 c qxplain 313/313 16.61/15.84 c 457596[?] -103810[?] -103875[?] is mandatory 16.61/15.84 c qxplain 308/312 16.81/16.05 c qxplain 311/312 17.01/16.26 c qxplain 312/312 17.22/16.46 c 457598[?] -103811[?] -103876[?] is mandatory 17.22/16.46 c qxplain 311/311 17.41/16.67 c 457600[?] -103812[?] -103877[?] is mandatory 17.41/16.67 c qxplain 308/310 17.62/16.88 c qxplain 310/310 17.81/17.09 c 457602[?] -103813[?] -103878[?] is mandatory 17.81/17.09 c qxplain 308/309 18.11/17.30 c qxplain 309/309 18.32/17.51 c 457604[?] -103814[?] -103879[?] is mandatory 18.32/17.51 c qxplain 308/308 18.51/17.72 c 457606[?] -103815[?] -103880[?] is mandatory 18.51/17.72 c qxplain 287/307 18.72/17.93 c qxplain 298/307 18.92/18.13 c qxplain 303/307 19.11/18.34 c qxplain 306/307 19.94/18.82 c qxplain 307/307 20.04/18.97 c 457608[?] -103816[?] -103881[?] is mandatory 20.04/18.97 c qxplain 306/306 20.24/19.12 c 457610[?] -103817[?] -103882[?] is mandatory 20.24/19.12 c qxplain 303/305 20.34/19.26 c qxplain 305/305 20.54/19.41 c 457612[?] -103818[?] -103883[?] is mandatory 20.54/19.41 c qxplain 303/304 20.64/19.56 c qxplain 304/304 20.84/19.71 c 457614[?] -103819[?] -103884[?] is mandatory 20.84/19.71 c qxplain 303/303 20.94/19.86 c 457616[?] -103820[?] -103885[?] is mandatory 20.94/19.86 c qxplain 298/302 21.13/20.01 c qxplain 301/302 21.23/20.16 c qxplain 302/302 21.43/20.30 c 457618[?] -103821[?] -103886[?] is mandatory 21.43/20.30 c qxplain 301/301 21.53/20.45 c 457620[?] -103822[?] -103887[?] is mandatory 21.53/20.45 c qxplain 298/300 21.73/20.60 c qxplain 300/300 21.83/20.75 c 457622[?] -103823[?] -103888[?] is mandatory 21.83/20.75 c qxplain 298/299 21.94/20.89 c qxplain 299/299 22.13/21.04 c 457624[?] -103824[?] -103889[?] is mandatory 22.13/21.04 c qxplain 298/298 22.23/21.19 c 457626[?] -103825[?] -103890[?] is mandatory 22.23/21.19 c qxplain 287/297 22.43/21.33 c qxplain 293/297 22.53/21.48 c qxplain 296/297 22.73/21.63 c qxplain 297/297 22.83/21.78 c 457628[?] -103826[?] -103891[?] is mandatory 22.83/21.78 c qxplain 296/296 23.04/21.92 c 457629[?] 103892[?] 103827[?] is mandatory 23.04/21.92 c qxplain 293/295 23.14/22.07 c qxplain 295/295 23.33/22.22 c 457643[?] 103862[?] -103897[?] is mandatory 23.33/22.22 c qxplain 293/294 23.43/22.36 c qxplain 294/294 23.63/22.51 c 457645[?] 103897[?] -103898[?] is mandatory 23.63/22.51 c qxplain 293/293 23.73/22.66 c 457647[?] 103898[?] -103900[?] is mandatory 23.73/22.66 c qxplain 287/292 23.93/22.81 c qxplain 290/292 24.03/22.95 c qxplain 292/292 24.14/23.10 c 457654[?] 103863[?] -103901[?] is mandatory 24.14/23.10 c qxplain 290/291 24.33/23.25 c qxplain 291/291 24.53/23.40 c 457656[?] 103901[?] -103902[?] is mandatory 24.53/23.40 c qxplain 290/290 24.63/23.54 c 457657[?] 103900[?] -103902[?] is mandatory 24.63/23.54 c qxplain 287/289 24.73/23.69 c qxplain 289/289 24.93/23.84 c 457658[?] 103902[?] -103904[?] is mandatory 24.93/23.84 c qxplain 287/288 25.03/23.99 c qxplain 288/288 25.24/24.13 c 457665[?] 103864[?] -103905[?] is mandatory 25.24/24.13 c qxplain 287/287 25.34/24.28 c 457667[?] 103905[?] -103906[?] is mandatory 25.34/24.28 c qxplain 246/286 25.53/24.43 c qxplain 267/286 25.63/24.57 c qxplain 277/286 25.83/24.72 c qxplain 282/286 25.93/24.87 c qxplain 285/286 26.13/25.02 c qxplain 286/286 26.23/25.16 c 457668[?] 103904[?] -103906[?] is mandatory 26.23/25.16 c qxplain 285/285 26.44/25.31 c 457669[?] 103906[?] -103908[?] is mandatory 26.44/25.31 c qxplain 282/284 26.53/25.46 c qxplain 284/284 26.73/25.60 c 457676[?] 103865[?] -103909[?] is mandatory 26.73/25.60 c qxplain 282/283 26.84/25.75 c qxplain 283/283 27.04/25.90 c 457678[?] 103909[?] -103910[?] is mandatory 27.04/25.90 c qxplain 282/282 27.14/26.05 c 457679[?] 103908[?] -103910[?] is mandatory 27.14/26.05 c qxplain 277/281 27.24/26.20 c qxplain 280/281 27.45/26.34 c qxplain 281/281 27.55/26.49 c 457680[?] 103910[?] -103912[?] is mandatory 27.55/26.49 c qxplain 280/280 27.74/26.63 c 457687[?] 103866[?] -103913[?] is mandatory 27.74/26.63 c qxplain 277/279 27.84/26.78 c qxplain 279/279 28.63/27.21 c 457689[?] 103913[?] -103914[?] is mandatory 28.63/27.21 c qxplain 277/278 28.73/27.36 c qxplain 278/278 28.93/27.51 c 457690[?] 103912[?] -103914[?] is mandatory 28.93/27.51 c qxplain 277/277 29.02/27.66 c 457691[?] 103914[?] -103916[?] is mandatory 29.02/27.66 c qxplain 267/276 29.22/27.80 c qxplain 272/276 29.32/27.95 c qxplain 275/276 29.42/28.10 c qxplain 276/276 29.63/28.24 c 457698[?] 103867[?] -103917[?] is mandatory 29.63/28.24 c qxplain 275/275 29.73/28.39 c 457700[?] 103917[?] -103918[?] is mandatory 29.73/28.39 c qxplain 272/274 29.93/28.54 c qxplain 274/274 30.03/28.68 c 457701[?] 103916[?] -103918[?] is mandatory 30.03/28.68 c qxplain 272/273 30.23/28.83 c qxplain 273/273 30.33/28.97 c 457702[?] 103918[?] -103920[?] is mandatory 30.33/28.97 c qxplain 272/272 30.53/29.12 c 457709[?] 103868[?] -103921[?] is mandatory 30.53/29.12 c qxplain 267/271 30.63/29.27 c qxplain 270/271 30.83/29.41 c qxplain 271/271 30.93/29.56 c 457711[?] 103921[?] -103922[?] is mandatory 30.93/29.56 c qxplain 270/270 31.13/29.70 c 457712[?] 103920[?] -103922[?] is mandatory 31.13/29.70 c qxplain 267/269 31.23/29.85 c qxplain 269/269 31.33/29.99 c 457713[?] 103922[?] -103924[?] is mandatory 31.33/29.99 c qxplain 267/268 31.53/30.14 c qxplain 268/268 31.63/30.28 c 457720[?] 103869[?] -103925[?] is mandatory 31.63/30.28 c qxplain 267/267 31.83/30.43 c 457722[?] 103925[?] -103926[?] is mandatory 31.83/30.43 c qxplain 246/266 31.93/30.57 c qxplain 257/266 32.13/30.72 c qxplain 262/266 32.23/30.87 c qxplain 265/266 32.43/31.01 c qxplain 266/266 32.53/31.16 c 457723[?] 103924[?] -103926[?] is mandatory 32.53/31.16 c qxplain 265/265 32.73/31.30 c 457724[?] 103926[?] -103928[?] is mandatory 32.73/31.30 c qxplain 262/264 32.83/31.45 c qxplain 264/264 33.03/31.60 c 457731[?] 103870[?] -103929[?] is mandatory 33.03/31.60 c qxplain 262/263 33.13/31.74 c qxplain 263/263 33.23/31.89 c 457733[?] 103929[?] -103930[?] is mandatory 33.23/31.89 c qxplain 262/262 33.43/32.03 c 457734[?] 103928[?] -103930[?] is mandatory 33.43/32.03 c qxplain 257/261 33.53/32.18 c qxplain 260/261 33.72/32.33 c qxplain 261/261 33.82/32.47 c 457735[?] 103930[?] -103932[?] is mandatory 33.82/32.47 c qxplain 260/260 34.02/32.62 c 457742[?] 103871[?] -103933[?] is mandatory 34.02/32.62 c qxplain 257/259 34.12/32.76 c qxplain 259/259 34.33/32.91 c 457744[?] 103933[?] -103934[?] is mandatory 34.33/32.91 c qxplain 257/258 34.43/33.05 c qxplain 258/258 34.62/33.20 c 457745[?] 103932[?] -103934[?] is mandatory 34.62/33.20 c qxplain 257/257 34.72/33.34 c 457746[?] 103934[?] -103936[?] is mandatory 34.72/33.34 c qxplain 246/256 34.82/33.49 c qxplain 252/256 35.02/33.64 c qxplain 255/256 35.12/33.79 c qxplain 256/256 35.32/33.93 c 457753[?] 103872[?] -103937[?] is mandatory 35.32/33.93 c qxplain 255/255 35.43/34.08 c 457755[?] 103937[?] -103938[?] is mandatory 35.43/34.08 c qxplain 252/254 35.62/34.22 c qxplain 254/254 35.72/34.37 c 457756[?] 103936[?] -103938[?] is mandatory 35.72/34.37 c qxplain 252/253 35.92/34.51 c qxplain 253/253 36.02/34.66 c 457757[?] 103938[?] -103940[?] is mandatory 36.02/34.66 c qxplain 252/252 36.22/34.80 c 457764[?] 103873[?] -103941[?] is mandatory 36.22/34.80 c qxplain 246/251 36.32/34.95 c qxplain 249/251 36.53/35.10 c qxplain 251/251 36.63/35.24 c 457766[?] 103941[?] -103942[?] is mandatory 36.63/35.24 c qxplain 249/250 37.26/35.63 c qxplain 250/250 37.36/35.78 c 457767[?] 103940[?] -103942[?] is mandatory 37.36/35.78 c qxplain 249/249 37.56/35.92 c 457768[?] 103942[?] -103944[?] is mandatory 37.56/35.92 c qxplain 246/248 37.66/36.07 c qxplain 248/248 37.86/36.22 c 457775[?] 103874[?] -103945[?] is mandatory 37.86/36.22 c qxplain 246/247 37.97/36.36 c qxplain 247/247 38.16/36.51 c 457777[?] 103945[?] -103946[?] is mandatory 38.16/36.51 c qxplain 246/246 38.26/36.66 c 457778[?] 103944[?] -103946[?] is mandatory 38.26/36.66 c qxplain 164/245 38.46/36.81 c qxplain 205/245 38.56/36.96 c qxplain 226/245 38.76/37.10 c qxplain 236/245 38.86/37.25 c qxplain 241/245 38.96/37.40 c qxplain 244/245 39.17/37.54 c qxplain 245/245 39.26/37.69 c 457779[?] 103946[?] -103948[?] is mandatory 39.26/37.69 c qxplain 244/244 39.46/37.84 c 457786[?] 103875[?] -103949[?] is mandatory 39.46/37.84 c qxplain 241/243 39.56/37.98 c qxplain 243/243 39.76/38.13 c 457788[?] 103949[?] -103950[?] is mandatory 39.76/38.13 c qxplain 241/242 39.86/38.27 c qxplain 242/242 40.06/38.42 c 457789[?] 103948[?] -103950[?] is mandatory 40.06/38.42 c qxplain 241/241 40.17/38.57 c 457790[?] 103950[?] -103952[?] is mandatory 40.17/38.57 c qxplain 236/240 40.36/38.72 c qxplain 239/240 40.46/38.86 c qxplain 240/240 40.66/39.01 c 457797[?] 103876[?] -103953[?] is mandatory 40.66/39.01 c qxplain 239/239 40.76/39.16 c 457799[?] 103953[?] -103954[?] is mandatory 40.76/39.16 c qxplain 236/238 40.96/39.30 c qxplain 238/238 41.06/39.45 c 457800[?] 103952[?] -103954[?] is mandatory 41.06/39.45 c qxplain 236/237 41.16/39.60 c qxplain 237/237 41.37/39.74 c 457801[?] 103954[?] -103956[?] is mandatory 41.37/39.74 c qxplain 236/236 41.46/39.89 c 457808[?] 103877[?] -103957[?] is mandatory 41.46/39.89 c qxplain 226/235 41.66/40.04 c qxplain 231/235 41.76/40.18 c qxplain 234/235 41.96/40.33 c qxplain 235/235 42.06/40.48 c 457810[?] 103957[?] -103958[?] is mandatory 42.06/40.48 c qxplain 234/234 42.26/40.62 c 457811[?] 103956[?] -103958[?] is mandatory 42.26/40.62 c qxplain 231/233 42.37/40.77 c qxplain 233/233 42.56/40.92 c 457812[?] 103958[?] -103960[?] is mandatory 42.56/40.92 c qxplain 231/232 42.66/41.06 c qxplain 232/232 42.86/41.21 c 457819[?] 103878[?] -103961[?] is mandatory 42.86/41.21 c qxplain 231/231 42.97/41.36 c 457821[?] 103961[?] -103962[?] is mandatory 42.97/41.36 c qxplain 226/230 43.17/41.50 c qxplain 229/230 43.27/41.65 c qxplain 230/230 43.48/41.80 c 457822[?] 103960[?] -103962[?] is mandatory 43.48/41.80 c qxplain 229/229 43.58/41.94 c 457823[?] 103962[?] -103964[?] is mandatory 43.58/41.94 c qxplain 226/228 43.67/42.09 c qxplain 228/228 43.87/42.24 c 457830[?] 103879[?] -103965[?] is mandatory 43.87/42.24 c qxplain 226/227 43.97/42.38 c qxplain 227/227 44.17/42.53 c 457832[?] 103965[?] -103966[?] is mandatory 44.17/42.53 c qxplain 226/226 44.27/42.68 c 457833[?] 103964[?] -103966[?] is mandatory 44.27/42.68 c qxplain 205/225 44.47/42.82 c qxplain 216/225 44.58/42.97 c qxplain 221/225 44.77/43.12 c qxplain 224/225 44.87/43.26 c qxplain 225/225 45.07/43.41 c 457834[?] 103966[?] -103968[?] is mandatory 45.07/43.41 c qxplain 224/224 45.17/43.56 c 457841[?] 103880[?] -103969[?] is mandatory 45.17/43.56 c qxplain 221/223 45.37/43.70 c qxplain 223/223 46.03/44.10 c 457843[?] 103969[?] -103970[?] is mandatory 46.03/44.10 c qxplain 221/222 46.13/44.24 c qxplain 222/222 46.22/44.39 c 457844[?] 103968[?] -103970[?] is mandatory 46.22/44.39 c qxplain 221/221 46.42/44.54 c 457845[?] 103970[?] -103972[?] is mandatory 46.42/44.54 c qxplain 216/220 46.52/44.68 c qxplain 219/220 46.72/44.83 c qxplain 220/220 46.82/44.97 c 457852[?] 103881[?] -103973[?] is mandatory 46.82/44.97 c qxplain 219/219 47.02/45.12 c 457854[?] 103973[?] -103974[?] is mandatory 47.02/45.12 c qxplain 216/218 47.13/45.27 c qxplain 218/218 47.32/45.42 c 457855[?] 103972[?] -103974[?] is mandatory 47.32/45.42 c qxplain 216/217 47.42/45.57 c qxplain 217/217 47.62/45.71 c 457856[?] 103974[?] -103976[?] is mandatory 47.62/45.71 c qxplain 216/216 47.72/45.86 c 457863[?] 103882[?] -103977[?] is mandatory 47.72/45.86 c qxplain 205/215 47.92/46.01 c qxplain 211/215 48.02/46.15 c qxplain 214/215 48.12/46.30 c qxplain 215/215 48.33/46.45 c 457865[?] 103977[?] -103978[?] is mandatory 48.33/46.45 c qxplain 214/214 48.42/46.59 c 457866[?] 103976[?] -103978[?] is mandatory 48.42/46.59 c qxplain 211/213 48.62/46.74 c qxplain 213/213 48.72/46.89 c 457867[?] 103978[?] -103980[?] is mandatory 48.72/46.89 c qxplain 211/212 48.92/47.03 c qxplain 212/212 49.02/47.18 c 457874[?] 103883[?] -103981[?] is mandatory 49.02/47.18 c qxplain 211/211 49.22/47.33 c 457876[?] 103981[?] -103982[?] is mandatory 49.22/47.33 c qxplain 205/210 49.32/47.47 c qxplain 208/210 49.52/47.62 c qxplain 210/210 49.62/47.77 c 457877[?] 103980[?] -103982[?] is mandatory 49.62/47.77 c qxplain 208/209 49.82/47.91 c qxplain 209/209 49.92/48.06 c 457878[?] 103982[?] -103984[?] is mandatory 49.92/48.06 c qxplain 208/208 50.12/48.21 c 457885[?] 103884[?] -103985[?] is mandatory 50.12/48.21 c qxplain 205/207 50.22/48.35 c qxplain 207/207 50.32/48.50 c 457887[?] 103985[?] -103986[?] is mandatory 50.32/48.50 c qxplain 205/206 50.52/48.65 c qxplain 206/206 50.62/48.79 c 457888[?] 103984[?] -103986[?] is mandatory 50.62/48.79 c qxplain 205/205 50.82/48.94 c 457889[?] 103986[?] -103988[?] is mandatory 50.82/48.94 c qxplain 164/204 50.92/49.09 c qxplain 185/204 51.12/49.23 c qxplain 195/204 51.22/49.38 c qxplain 200/204 51.43/49.53 c qxplain 203/204 51.53/49.67 c qxplain 204/204 51.73/49.82 c 457896[?] 103885[?] -103989[?] is mandatory 51.73/49.82 c qxplain 203/203 51.83/49.97 c 457898[?] 103989[?] -103990[?] is mandatory 51.83/49.97 c qxplain 200/202 52.03/50.12 c qxplain 202/202 52.13/50.26 c 457899[?] 103988[?] -103990[?] is mandatory 52.13/50.26 c qxplain 200/201 52.33/50.41 c qxplain 201/201 52.43/50.56 c 457900[?] 103990[?] -103992[?] is mandatory 52.43/50.56 c qxplain 200/200 52.53/50.70 c 457907[?] 103886[?] -103993[?] is mandatory 52.53/50.70 c qxplain 195/199 52.73/50.85 c qxplain 198/199 52.83/50.99 c qxplain 199/199 53.03/51.14 c 457909[?] 103993[?] -103994[?] is mandatory 53.03/51.14 c qxplain 198/198 53.13/51.28 c 457910[?] 103992[?] -103994[?] is mandatory 53.13/51.28 c qxplain 195/197 53.33/51.43 c qxplain 197/197 53.43/51.58 c 457911[?] 103994[?] -103996[?] is mandatory 53.43/51.58 c qxplain 195/196 53.63/51.73 c qxplain 196/196 53.73/51.87 c 457918[?] 103887[?] -103997[?] is mandatory 53.73/51.87 c qxplain 195/195 53.93/52.02 c 457920[?] 103997[?] -103998[?] is mandatory 53.93/52.02 c qxplain 185/194 54.57/52.41 c qxplain 190/194 54.67/52.56 c qxplain 193/194 54.87/52.71 c qxplain 194/194 54.97/52.85 c 457921[?] 103996[?] -103998[?] is mandatory 54.97/52.85 c qxplain 193/193 55.08/53.00 c 457922[?] 103998[?] -104000[?] is mandatory 55.08/53.00 c qxplain 190/192 55.27/53.15 c qxplain 192/192 55.37/53.29 c 457929[?] 103888[?] -104001[?] is mandatory 55.37/53.29 c qxplain 190/191 55.57/53.44 c qxplain 191/191 55.67/53.59 c 457931[?] 104001[?] -104002[?] is mandatory 55.67/53.59 c qxplain 190/190 55.87/53.74 c 457932[?] 104000[?] -104002[?] is mandatory 55.87/53.74 c qxplain 185/189 55.97/53.89 c qxplain 188/189 56.18/54.03 c qxplain 189/189 56.28/54.18 c 457933[?] 104002[?] -104004[?] is mandatory 56.28/54.18 c qxplain 188/188 56.47/54.32 c 457940[?] 103889[?] -104005[?] is mandatory 56.47/54.32 c qxplain 185/187 56.57/54.47 c qxplain 187/187 56.77/54.62 c 457942[?] 104005[?] -104006[?] is mandatory 56.77/54.62 c qxplain 185/186 56.87/54.77 c qxplain 186/186 57.07/54.91 c 457943[?] 104004[?] -104006[?] is mandatory 57.07/54.91 c qxplain 185/185 57.17/55.06 c 457944[?] 104006[?] -104008[?] is mandatory 57.17/55.06 c qxplain 164/184 57.38/55.21 c qxplain 175/184 57.47/55.35 c qxplain 180/184 57.67/55.50 c qxplain 183/184 57.77/55.64 c qxplain 184/184 57.98/55.80 c 457951[?] 103890[?] -104009[?] is mandatory 57.98/55.80 c qxplain 183/183 58.08/55.94 c 457953[?] 104009[?] -104010[?] is mandatory 58.08/55.94 c qxplain 180/182 58.18/56.09 c qxplain 182/182 58.38/56.24 c 457954[?] 104008[?] -104010[?] is mandatory 58.38/56.24 c qxplain 180/181 58.48/56.39 c qxplain 181/181 58.67/56.53 c 457955[?] 104010[?] -104012[?] is mandatory 58.67/56.54 c qxplain 180/180 58.77/56.68 c 457962[?] 103891[?] -104013[?] is mandatory 58.77/56.68 c qxplain 175/179 58.97/56.83 c qxplain 178/179 59.07/56.97 c qxplain 179/179 59.27/57.12 c 457964[?] 104013[?] -104014[?] is mandatory 59.27/57.12 c qxplain 178/178 59.37/57.27 c 457965[?] 104012[?] -104014[?] is mandatory 59.37/57.27 c qxplain 175/177 59.58/57.41 c qxplain 177/177 59.67/57.56 c 457966[?] 104014[?] -104016[?] is mandatory 59.67/57.56 c qxplain 175/176 59.87/57.71 c qxplain 176/176 59.97/57.86 c 457972[?] 104017[?] -103892[?] is mandatory 59.97/57.86 c qxplain 175/175 60.17/58.00 c 457976[?] -104018[?] 104016[?] is mandatory 60.17/58.00 c qxplain 164/174 60.27/58.15 c qxplain 170/174 60.37/58.30 c qxplain 173/174 60.58/58.45 c qxplain 174/174 60.68/58.59 c 457977[?] -104020[?] 104018[?] is mandatory 60.68/58.59 c qxplain 173/173 60.87/58.74 c 457979[?] 103860[?] 104016[?] -104017[?] is mandatory 60.87/58.74 c qxplain 170/172 60.97/58.88 c qxplain 172/172 61.17/59.03 c 457985[?] -104021[?] 104020[?] 104016[?] is mandatory 61.17/59.03 c qxplain 170/171 61.27/59.18 c qxplain 171/171 61.47/59.33 c 457988[?] 104021[?] 103828[?] -103860[?] is mandatory 61.47/59.33 c qxplain 170/170 61.57/59.47 c 457992[?] -103828[?] 104022[?] is mandatory 61.57/59.47 c qxplain 164/169 61.78/59.62 c qxplain 167/169 61.87/59.77 c qxplain 169/169 62.07/59.91 c 457994[?] -104022[?] -104031[?] is mandatory 62.07/59.91 c qxplain 167/168 62.17/60.06 c qxplain 168/168 62.37/60.21 c 457996[?] 104031[?] -104039[?] is mandatory 62.37/60.21 c qxplain 167/167 62.47/60.35 c 457998[?] 104039[?] -104040[?] is mandatory 62.47/60.35 c qxplain 164/166 62.67/60.50 c qxplain 166/166 63.31/60.90 c 458000[?] 104040[?] -104041[?] is mandatory 63.31/60.90 c qxplain 164/165 63.41/61.05 c qxplain 165/165 63.61/61.20 c 458002[?] 104041[?] -104042[?] is mandatory 63.61/61.20 c qxplain 164/164 63.71/61.34 c 458004[?] 104042[?] -104043[?] is mandatory 63.71/61.34 c qxplain 0/163 63.81/61.49 c qxplain 82/163 64.01/61.64 c qxplain 123/163 64.11/61.78 c qxplain 144/163 64.32/61.93 c qxplain 154/163 64.41/62.08 c qxplain 159/163 64.61/62.23 c qxplain 162/163 64.71/62.38 c qxplain 163/163 64.91/62.52 c 458006[?] 104043[?] -104044[?] is mandatory 64.91/62.52 c qxplain 162/162 65.01/62.67 c 458008[?] 104044[?] -104045[?] is mandatory 65.01/62.67 c qxplain 159/161 65.21/62.81 c qxplain 161/161 65.33/62.96 c 458010[?] 104045[?] -104046[?] is mandatory 65.33/62.96 c qxplain 159/160 65.52/63.11 c qxplain 160/160 65.62/63.25 c 458011[?] 104046[?] -104030[?] is mandatory 65.62/63.25 c qxplain 159/159 65.82/63.40 c 458015[?] 104081[?] 103797[?] is mandatory 65.82/63.40 c qxplain 154/158 65.92/63.55 c qxplain 157/158 66.02/63.69 c qxplain 158/158 66.22/63.84 c 458017[?] 104082[?] 103798[?] is mandatory 66.22/63.84 c qxplain 157/157 66.32/63.99 c 458019[?] 104083[?] 103799[?] is mandatory 66.32/63.99 c qxplain 154/156 66.53/64.13 c qxplain 156/156 66.62/64.28 c 458021[?] 104084[?] 103800[?] is mandatory 66.62/64.28 c qxplain 154/155 66.82/64.43 c qxplain 155/155 66.92/64.58 c 458023[?] 104085[?] 103801[?] is mandatory 66.92/64.58 c qxplain 154/154 67.12/64.72 c 458025[?] 104086[?] 103802[?] is mandatory 67.12/64.72 c qxplain 144/153 67.22/64.87 c qxplain 149/153 67.42/65.02 c qxplain 152/153 67.53/65.16 c qxplain 153/153 67.72/65.31 c 458027[?] 104087[?] 103803[?] is mandatory 67.72/65.31 c qxplain 152/152 67.82/65.46 c 458029[?] 104088[?] 103804[?] is mandatory 67.82/65.46 c qxplain 149/151 68.02/65.60 c qxplain 151/151 68.12/65.75 c 458031[?] 104089[?] 103805[?] is mandatory 68.12/65.75 c qxplain 149/150 68.22/65.90 c qxplain 150/150 68.42/66.04 c 458033[?] 104090[?] 103806[?] is mandatory 68.42/66.04 c qxplain 149/149 68.52/66.19 c 458035[?] 104091[?] 103807[?] is mandatory 68.52/66.19 c qxplain 144/148 68.73/66.33 c qxplain 147/148 68.82/66.48 c qxplain 148/148 69.02/66.63 c 458037[?] 104092[?] 103808[?] is mandatory 69.02/66.63 c qxplain 147/147 69.12/66.77 c 458039[?] 104093[?] 103809[?] is mandatory 69.12/66.77 c qxplain 144/146 69.32/66.92 c qxplain 146/146 69.42/67.07 c 458041[?] 104094[?] 103810[?] is mandatory 69.42/67.07 c qxplain 144/145 69.62/67.22 c qxplain 145/145 69.73/67.36 c 458043[?] 104095[?] 103811[?] is mandatory 69.73/67.36 c qxplain 144/144 69.92/67.51 c 458045[?] 104096[?] 103812[?] is mandatory 69.92/67.51 c qxplain 123/143 70.02/67.66 c qxplain 134/143 70.22/67.80 c qxplain 139/143 70.32/67.95 c qxplain 142/143 70.42/68.10 c qxplain 143/143 70.62/68.24 c 458047[?] 104097[?] 103813[?] is mandatory 70.62/68.24 c qxplain 142/142 70.72/68.39 c 458049[?] 104098[?] 103814[?] is mandatory 70.72/68.39 c qxplain 139/141 70.93/68.54 c qxplain 141/141 71.02/68.68 c 458051[?] 104099[?] 103815[?] is mandatory 71.02/68.68 c qxplain 139/140 71.22/68.83 c qxplain 140/140 71.32/68.98 c 458053[?] 104100[?] 103816[?] is mandatory 71.32/68.98 c qxplain 139/139 71.52/69.12 c 458055[?] 104101[?] 103817[?] is mandatory 71.52/69.12 c qxplain 134/138 71.62/69.27 c qxplain 137/138 72.44/69.73 c qxplain 138/138 72.53/69.88 c 458057[?] 104102[?] 103818[?] is mandatory 72.53/69.88 c qxplain 137/137 72.73/70.03 c 458059[?] 104103[?] 103819[?] is mandatory 72.73/70.03 c qxplain 134/136 72.83/70.17 c qxplain 136/136 73.03/70.32 c 458061[?] 104104[?] 103820[?] is mandatory 73.03/70.32 c qxplain 134/135 73.13/70.47 c qxplain 135/135 73.33/70.62 c 458063[?] 104105[?] 103821[?] is mandatory 73.33/70.62 c qxplain 134/134 73.43/70.77 c 458065[?] 104106[?] 103822[?] is mandatory 73.43/70.77 c qxplain 123/133 73.63/70.92 c qxplain 129/133 73.73/71.06 c qxplain 132/133 73.93/71.21 c qxplain 133/133 74.03/71.36 c 458067[?] 104107[?] 103823[?] is mandatory 74.03/71.36 c qxplain 132/132 74.23/71.52 c 458069[?] 104108[?] 103824[?] is mandatory 74.23/71.52 c qxplain 129/131 74.33/71.66 c qxplain 131/131 74.53/71.81 c 458071[?] 104109[?] 103825[?] is mandatory 74.53/71.81 c qxplain 129/130 74.63/71.96 c qxplain 130/130 74.83/72.11 c 458073[?] 104110[?] 103826[?] is mandatory 74.83/72.11 c qxplain 129/129 74.93/72.26 c 458076[?] -103827[?] -104111[?] is mandatory 74.93/72.26 c qxplain 123/128 75.13/72.41 c qxplain 126/128 75.23/72.56 c qxplain 128/128 75.43/72.70 c 458077[?] 104080[?] 104112[?] is mandatory 75.43/72.70 c qxplain 126/127 75.53/72.85 c qxplain 127/127 75.74/73.00 c 458079[?] -104080[?] 104114[?] is mandatory 75.74/73.00 c qxplain 126/126 75.83/73.15 c 458081[?] -104112[?] 104113[?] is mandatory 75.83/73.15 c qxplain 123/125 76.03/73.30 c qxplain 125/125 76.13/73.45 c 458084[?] -104113[?] 104115[?] is mandatory 76.13/73.45 c qxplain 123/124 76.33/73.60 c qxplain 124/124 76.43/73.75 c 458085[?] -104114[?] 104115[?] is mandatory 76.43/73.75 c qxplain 123/123 76.63/73.90 c 458088[?] 104116[?] -104081[?] is mandatory 76.63/73.90 c qxplain 82/122 76.73/74.05 c qxplain 103/122 76.83/74.19 c qxplain 113/122 77.03/74.34 c qxplain 118/122 77.13/74.49 c qxplain 121/122 77.33/74.64 c qxplain 122/122 77.43/74.79 c 458090[?] 104117[?] -104116[?] -104115[?] is mandatory 77.43/74.79 c qxplain 121/121 77.63/74.94 c 458094[?] 104119[?] -104117[?] is mandatory 77.63/74.94 c qxplain 118/120 77.73/75.09 c qxplain 120/120 77.94/75.24 c 458099[?] 104120[?] -104082[?] is mandatory 77.94/75.24 c qxplain 118/119 78.03/75.38 c qxplain 119/119 78.23/75.53 c 458101[?] 104121[?] -104120[?] -104119[?] is mandatory 78.23/75.53 c qxplain 118/118 78.33/75.68 c 458105[?] 104123[?] -104121[?] is mandatory 78.33/75.68 c qxplain 113/117 78.53/75.83 c qxplain 116/117 78.63/75.98 c qxplain 117/117 78.83/76.12 c 458110[?] 104124[?] -104083[?] is mandatory 78.83/76.12 c qxplain 116/116 78.93/76.27 c 458112[?] 104125[?] -104124[?] -104123[?] is mandatory 78.93/76.27 c qxplain 113/115 79.13/76.42 c qxplain 115/115 79.23/76.57 c 458116[?] 104127[?] -104125[?] is mandatory 79.23/76.57 c qxplain 113/114 79.43/76.72 c qxplain 114/114 79.53/76.87 c 458121[?] 104128[?] -104084[?] is mandatory 79.53/76.87 c qxplain 113/113 79.73/77.02 c 458123[?] 104129[?] -104128[?] -104127[?] is mandatory 79.73/77.02 c qxplain 103/112 79.83/77.16 c qxplain 108/112 80.03/77.31 c qxplain 111/112 80.13/77.46 c qxplain 112/112 80.33/77.61 c 458127[?] 104131[?] -104129[?] is mandatory 80.33/77.61 c qxplain 111/111 80.43/77.76 c 458132[?] 104132[?] -104085[?] is mandatory 80.43/77.76 c qxplain 108/110 80.63/77.91 c qxplain 110/110 80.73/78.05 c 458134[?] 104133[?] -104131[?] -104132[?] is mandatory 80.73/78.05 c qxplain 108/109 80.93/78.20 c qxplain 109/109 81.03/78.36 c 458138[?] 104135[?] -104133[?] is mandatory 81.03/78.36 c qxplain 108/108 81.23/78.51 c 458143[?] 104136[?] -104086[?] is mandatory 81.23/78.51 c qxplain 103/107 81.33/78.66 c qxplain 106/107 81.53/78.81 c qxplain 107/107 81.63/78.96 c 458145[?] 104137[?] -104135[?] -104136[?] is mandatory 81.63/78.96 c qxplain 106/106 81.83/79.11 c 458149[?] 104139[?] -104137[?] is mandatory 81.83/79.11 c qxplain 103/105 81.93/79.26 c qxplain 105/105 82.13/79.41 c 458154[?] 104140[?] -104087[?] is mandatory 82.13/79.41 c qxplain 103/104 82.23/79.55 c qxplain 104/104 82.43/79.70 c 458156[?] 104141[?] -104140[?] -104139[?] is mandatory 82.43/79.70 c qxplain 103/103 82.52/79.85 c 458160[?] 104143[?] -104141[?] is mandatory 82.52/79.85 c qxplain 82/102 82.73/80.00 c qxplain 93/102 82.83/80.15 c qxplain 98/102 83.03/80.30 c qxplain 101/102 83.13/80.45 c qxplain 102/102 83.23/80.60 c 458165[?] 104144[?] -104088[?] is mandatory 83.23/80.60 c qxplain 101/101 83.44/80.75 c 458167[?] 104145[?] -104144[?] -104143[?] is mandatory 83.44/80.75 c qxplain 98/100 83.53/80.90 c qxplain 100/100 83.73/81.04 c 458171[?] 104147[?] -104145[?] is mandatory 83.73/81.04 c qxplain 98/99 83.83/81.19 c qxplain 99/99 84.03/81.34 c 458176[?] 104148[?] -104089[?] is mandatory 84.03/81.34 c qxplain 98/98 84.13/81.49 c 458178[?] 104149[?] -104148[?] -104147[?] is mandatory 84.13/81.49 c qxplain 93/97 84.33/81.64 c qxplain 96/97 84.44/81.79 c qxplain 97/97 84.63/81.94 c 458182[?] 104151[?] -104149[?] is mandatory 84.63/81.94 c qxplain 96/96 84.73/82.09 c 458187[?] 104152[?] -104090[?] is mandatory 84.73/82.09 c qxplain 93/95 84.93/82.24 c qxplain 95/95 85.03/82.39 c 458189[?] 104153[?] -104151[?] -104152[?] is mandatory 85.03/82.39 c qxplain 93/94 85.23/82.54 c qxplain 94/94 85.33/82.69 c 458193[?] 104155[?] -104153[?] is mandatory 85.33/82.69 c qxplain 93/93 85.54/82.84 c 458198[?] 104156[?] -104091[?] is mandatory 85.54/82.84 c qxplain 82/92 85.64/82.98 c qxplain 88/92 85.83/83.13 c qxplain 91/92 85.93/83.28 c qxplain 92/92 86.13/83.43 c 458200[?] 104157[?] -104155[?] -104156[?] is mandatory 86.13/83.43 c qxplain 91/91 86.23/83.58 c 458204[?] 104159[?] -104157[?] is mandatory 86.23/83.58 c qxplain 88/90 86.43/83.73 c qxplain 90/90 86.53/83.88 c 458209[?] 104160[?] -104092[?] is mandatory 86.53/83.88 c qxplain 88/89 86.74/84.03 c qxplain 89/89 86.83/84.18 c 458211[?] 104161[?] -104160[?] -104159[?] is mandatory 86.83/84.18 c qxplain 88/88 87.03/84.33 c 458215[?] 104163[?] -104161[?] is mandatory 87.03/84.33 c qxplain 82/87 87.13/84.48 c qxplain 85/87 87.33/84.62 c qxplain 87/87 87.43/84.77 c 458220[?] 104164[?] -104093[?] is mandatory 87.43/84.77 c qxplain 85/86 87.63/84.92 c qxplain 86/86 87.73/85.08 c 458222[?] 104165[?] -104164[?] -104163[?] is mandatory 87.73/85.08 c qxplain 85/85 87.93/85.23 c 458226[?] 104167[?] -104165[?] is mandatory 87.93/85.23 c qxplain 82/84 88.03/85.38 c qxplain 84/84 88.23/85.52 c 458231[?] 104168[?] -104094[?] is mandatory 88.23/85.52 c qxplain 82/83 88.33/85.67 c qxplain 83/83 88.53/85.82 c 458233[?] 104169[?] -104168[?] -104167[?] is mandatory 88.53/85.82 c qxplain 82/82 88.63/85.97 c 458237[?] 104171[?] -104169[?] is mandatory 88.63/85.97 c qxplain 0/81 88.84/86.12 c qxplain 41/81 88.94/86.27 c qxplain 62/81 89.14/86.42 c qxplain 72/81 89.24/86.57 c qxplain 77/81 89.44/86.72 c qxplain 80/81 89.54/86.87 c qxplain 81/81 89.74/87.02 c 458242[?] 104172[?] -104095[?] is mandatory 89.74/87.02 c qxplain 80/80 89.84/87.17 c 458244[?] 104173[?] -104172[?] -104171[?] is mandatory 89.84/87.17 c qxplain 77/79 90.04/87.32 c qxplain 79/79 90.14/87.46 c 458248[?] 104175[?] -104173[?] is mandatory 90.14/87.46 c qxplain 77/78 90.34/87.61 c qxplain 78/78 90.44/87.76 c 458253[?] 104176[?] -104096[?] is mandatory 90.44/87.76 c qxplain 77/77 90.64/87.91 c 458255[?] 104177[?] -104176[?] -104175[?] is mandatory 90.64/87.91 c qxplain 72/76 90.74/88.06 c qxplain 75/76 90.94/88.21 c qxplain 76/76 91.04/88.36 c 458259[?] 104179[?] -104177[?] is mandatory 91.04/88.36 c qxplain 75/75 91.24/88.50 c 458264[?] 104180[?] -104097[?] is mandatory 91.24/88.50 c qxplain 72/74 91.34/88.65 c qxplain 74/74 91.54/88.80 c 458266[?] 104181[?] -104179[?] -104180[?] is mandatory 91.54/88.80 c qxplain 72/73 91.64/88.95 c qxplain 73/73 91.84/89.10 c 458270[?] 104183[?] -104181[?] is mandatory 91.84/89.10 c qxplain 72/72 91.94/89.25 c 458275[?] 104184[?] -104098[?] is mandatory 91.94/89.25 c qxplain 62/71 92.04/89.40 c qxplain 67/71 92.24/89.55 c qxplain 70/71 92.34/89.69 c qxplain 71/71 92.54/89.84 c 458277[?] 104185[?] -104183[?] -104184[?] is mandatory 92.54/89.84 c qxplain 70/70 92.64/89.99 c 458281[?] 104187[?] -104185[?] is mandatory 92.64/89.99 c qxplain 67/69 92.83/90.14 c qxplain 69/69 92.93/90.29 c 458286[?] 104188[?] -104099[?] is mandatory 92.93/90.29 c qxplain 67/68 93.13/90.44 c qxplain 68/68 93.24/90.59 c 458288[?] 104189[?] -104188[?] -104187[?] is mandatory 93.24/90.59 c qxplain 67/67 93.44/90.73 c 458292[?] 104191[?] -104189[?] is mandatory 93.44/90.73 c qxplain 62/66 93.54/90.88 c qxplain 65/66 93.74/91.03 c qxplain 66/66 93.84/91.18 c 458297[?] 104192[?] -104100[?] is mandatory 93.84/91.18 c qxplain 65/65 94.04/91.33 c 458299[?] 104193[?] -104192[?] -104191[?] is mandatory 94.04/91.33 c qxplain 62/64 94.14/91.48 c qxplain 64/64 94.35/91.62 c 458303[?] 104195[?] -104193[?] is mandatory 94.35/91.62 c qxplain 62/63 94.45/91.77 c qxplain 63/63 94.64/91.92 c 458308[?] 104196[?] -104101[?] is mandatory 94.64/91.92 c qxplain 62/62 94.74/92.07 c 458310[?] 104197[?] -104196[?] -104195[?] is mandatory 94.74/92.07 c qxplain 41/61 94.94/92.22 c qxplain 52/61 95.04/92.37 c qxplain 57/61 95.24/92.52 c qxplain 60/61 95.34/92.66 c qxplain 61/61 95.55/92.81 c 458314[?] 104199[?] -104197[?] is mandatory 95.55/92.81 c qxplain 60/60 95.64/92.96 c 458319[?] 104200[?] -104102[?] is mandatory 95.64/92.96 c qxplain 57/59 95.84/93.11 c qxplain 59/59 95.94/93.26 c 458321[?] 104201[?] -104199[?] -104200[?] is mandatory 95.94/93.26 c qxplain 57/58 96.14/93.41 c qxplain 58/58 96.24/93.56 c 458325[?] 104203[?] -104201[?] is mandatory 96.24/93.56 c qxplain 57/57 96.44/93.70 c 458330[?] 104204[?] -104103[?] is mandatory 96.44/93.70 c qxplain 52/56 96.55/93.85 c qxplain 55/56 96.75/94.01 c qxplain 56/56 96.85/94.16 c 458332[?] 104205[?] -104203[?] -104204[?] is mandatory 96.85/94.16 c qxplain 55/55 97.05/94.31 c 458336[?] 104207[?] -104205[?] is mandatory 97.05/94.31 c qxplain 52/54 97.15/94.46 c qxplain 54/54 97.35/94.61 c 458341[?] 104208[?] -104104[?] is mandatory 97.35/94.61 c qxplain 52/53 97.45/94.76 c qxplain 53/53 97.65/94.91 c 458343[?] 104209[?] -104208[?] -104207[?] is mandatory 97.65/94.91 c qxplain 52/52 97.75/95.06 c 458347[?] 104211[?] -104209[?] is mandatory 97.75/95.06 c qxplain 41/51 97.94/95.21 c qxplain 47/51 98.04/95.36 c qxplain 50/51 98.24/95.50 c qxplain 51/51 98.34/95.65 c 458352[?] 104212[?] -104105[?] is mandatory 98.34/95.65 c qxplain 50/50 98.54/95.80 c 458354[?] 104213[?] -104212[?] -104211[?] is mandatory 98.54/95.80 c qxplain 47/49 98.64/95.95 c qxplain 49/49 98.75/96.10 c 458358[?] 104215[?] -104213[?] is mandatory 98.75/96.10 c qxplain 47/48 98.94/96.25 c qxplain 48/48 99.04/96.40 c 458363[?] 104216[?] -104106[?] is mandatory 99.14/96.40 c qxplain 47/47 99.24/96.54 c 458365[?] 104217[?] -104216[?] -104215[?] is mandatory 99.24/96.54 c qxplain 41/46 99.34/96.69 c qxplain 44/46 99.54/96.84 c qxplain 46/46 99.64/96.99 c 458369[?] 104219[?] -104217[?] is mandatory 99.64/96.99 c qxplain 44/45 99.84/97.14 c qxplain 45/45 99.95/97.29 c 458374[?] 104220[?] -104107[?] is mandatory 99.95/97.29 c qxplain 44/44 100.14/97.44 c 458376[?] 104221[?] -104220[?] -104219[?] is mandatory 100.14/97.44 c qxplain 41/43 100.24/97.59 c qxplain 43/43 100.44/97.73 c 458380[?] 104223[?] -104221[?] is mandatory 100.44/97.73 c qxplain 41/42 100.54/97.88 c qxplain 42/42 100.74/98.03 c 458385[?] 104224[?] -104108[?] is mandatory 100.74/98.03 c qxplain 41/41 100.84/98.18 c 458387[?] 104225[?] -104224[?] -104223[?] is mandatory 100.84/98.18 c qxplain 0/40 101.04/98.33 c qxplain 21/40 101.14/98.48 c qxplain 31/40 101.34/98.63 c qxplain 36/40 101.44/98.78 c qxplain 39/40 101.64/98.92 c qxplain 40/40 101.74/99.07 c 458391[?] 104227[?] -104225[?] is mandatory 101.74/99.07 c qxplain 39/39 101.94/99.22 c 458396[?] 104228[?] -104109[?] is mandatory 101.94/99.22 c qxplain 36/38 102.04/99.37 c qxplain 38/38 102.24/99.52 c 458398[?] 104229[?] -104227[?] -104228[?] is mandatory 102.24/99.52 c qxplain 36/37 102.34/99.67 c qxplain 37/37 102.54/99.82 c 458402[?] 104231[?] -104229[?] is mandatory 102.54/99.82 c qxplain 36/36 102.64/99.96 c 458407[?] 104232[?] -104110[?] is mandatory 102.64/99.96 c qxplain 31/35 102.84/100.12 c qxplain 34/35 102.94/100.26 c qxplain 35/35 103.14/100.41 c 458409[?] 104233[?] -104231[?] -104232[?] is mandatory 103.14/100.41 c qxplain 34/34 103.24/100.56 c 458413[?] 104235[?] -104233[?] is mandatory 103.24/100.56 c qxplain 31/33 103.44/100.71 c qxplain 33/33 103.54/100.86 c 458419[?] 104111[?] -104236[?] is mandatory 103.54/100.86 c qxplain 31/32 103.74/101.01 c qxplain 32/32 103.84/101.15 c 458420[?] 104237[?] -104235[?] -104236[?] is mandatory 103.84/101.15 c qxplain 31/31 104.04/101.30 c 458421[?] 104236[?] -104237[?] is mandatory 104.04/101.30 c qxplain 21/30 104.14/101.45 c qxplain 26/30 104.35/101.61 c qxplain 29/30 104.44/101.76 c qxplain 30/30 104.64/101.91 c 458423[?] 104237[?] -104239[?] is mandatory 104.64/101.91 c qxplain 29/29 104.74/102.05 c 458424[?] 104239[?] -104237[?] is mandatory 104.74/102.05 c qxplain 26/28 104.94/102.20 c qxplain 28/28 105.04/102.36 c 458426[?] -104235[?] 104236[?] 104079[?] is mandatory 105.04/102.36 c qxplain 26/27 105.24/102.51 c qxplain 27/27 105.35/102.66 c 458427[?] 104236[?] 104235[?] -104079[?] is mandatory 105.35/102.66 c qxplain 26/26 105.54/102.81 c 458428[?] -104079[?] -104235[?] -104236[?] is mandatory 105.54/102.81 c qxplain 21/25 105.64/102.96 c qxplain 24/25 105.84/103.11 c qxplain 25/25 105.94/103.26 c 458430[?] -104235[?] 104239[?] 104240[?] is mandatory 105.94/103.26 c qxplain 24/24 106.14/103.41 c 458431[?] 104235[?] -104240[?] 104239[?] is mandatory 106.14/103.41 c qxplain 21/23 106.24/103.56 c qxplain 23/23 106.44/103.70 c 458432[?] -104239[?] -104235[?] -104240[?] is mandatory 106.44/103.70 c qxplain 21/22 106.55/103.85 c qxplain 22/22 106.74/104.00 c 458433[?] 104079[?] 104240[?] 104047[?] is mandatory 106.74/104.00 c qxplain 21/21 106.84/104.15 c 458434[?] -104079[?] -104240[?] 104047[?] is mandatory 106.84/104.15 c qxplain 0/20 107.04/104.30 c qxplain 11/20 107.14/104.45 c qxplain 16/20 107.24/104.60 c qxplain 19/20 107.44/104.74 c qxplain 20/20 107.54/104.89 c 458438[?] -104047[?] 104241[?] is mandatory 107.54/104.89 c qxplain 19/19 107.74/105.05 c 458440[?] -104241[?] -104251[?] is mandatory 107.74/105.05 c qxplain 16/18 107.94/105.20 c qxplain 18/18 108.04/105.35 c 458442[?] 104251[?] -104259[?] is mandatory 108.04/105.35 c qxplain 16/17 108.24/105.50 c qxplain 17/17 108.34/105.65 c 458444[?] 104259[?] -104260[?] is mandatory 108.34/105.65 c qxplain 16/16 108.44/105.80 c 458446[?] 104260[?] -104261[?] is mandatory 108.54/105.80 c qxplain 11/15 108.64/105.95 c qxplain 14/15 108.74/106.09 c qxplain 15/15 108.94/106.24 c 458448[?] 104261[?] -104262[?] is mandatory 108.94/106.24 c qxplain 14/14 109.04/106.39 c 458450[?] 104262[?] -104263[?] is mandatory 109.04/106.39 c qxplain 11/13 109.24/106.54 c qxplain 13/13 109.34/106.69 c 458452[?] 104263[?] -104264[?] is mandatory 109.34/106.69 c qxplain 11/12 109.54/106.84 c qxplain 12/12 109.64/106.99 c 458454[?] 104264[?] -104265[?] is mandatory 109.64/106.99 c qxplain 11/11 109.84/107.14 c 458456[?] 104265[?] -104266[?] is mandatory 109.84/107.14 c qxplain 0/10 109.94/107.28 c qxplain 6/10 110.14/107.43 c qxplain 9/10 110.24/107.58 c qxplain 10/10 110.44/107.73 c 458457[?] 104266[?] -104250[?] is mandatory 110.44/107.73 c qxplain 9/9 110.54/107.88 c 458459[?] 104250[?] 104249[?] is mandatory 110.54/107.88 c qxplain 6/8 110.74/108.03 c qxplain 8/8 110.84/108.18 c 458646[?] -104249[?] -104390[?] is mandatory 110.84/108.18 c qxplain 6/7 111.04/108.33 c qxplain 7/7 111.15/108.48 c 458650[?] 104030[?] -104391[?] is mandatory 111.15/108.48 c qxplain 6/6 111.35/108.63 c 458651[?] 104390[?] -104391[?] is mandatory 111.35/108.63 c qxplain 0/5 111.45/108.77 c qxplain 3/5 111.65/108.92 c qxplain 5/5 111.75/109.07 c 458654[?] -104392[?] 104391[?] is mandatory 111.75/109.07 c qxplain 3/4 111.96/109.23 c qxplain 4/4 112.06/109.37 c 460364[?] -105515[?] 104392[?] is mandatory 112.06/109.37 c qxplain 3/3 112.25/109.52 c 460368[?] -105516[?] 105515[?] is mandatory 112.25/109.52 c qxplain 0/2 112.35/109.67 c qxplain 2/2 112.55/109.82 c 612712[?] -159597[?] 105516[?] is mandatory 112.55/109.82 c qxplain 0/1 112.65/109.97 c qxplain 1/1 112.85/110.11 c 612716[?] -159598[?] 159597[?] is mandatory 112.85/110.11 c qxplain 0/0 112.95/110.26 c 619883[?] 162964[?] 159598[?] is mandatory 114.10/111.24 c Size of the MUS: 328 114.10/111.24 c Unsat core computation wall clock time (in seconds) : 102.751 114.10/111.24 c starts : 665 114.10/111.24 c conflicts : 1696 114.10/111.24 c decisions : 106774398 114.10/111.24 c propagations : 419368549 114.10/111.24 c inspects : 43961943 114.10/111.24 c shortcuts : 0 114.10/111.24 c learnt literals : 0 114.10/111.24 c learnt binary clauses : 0 114.10/111.24 c learnt ternary clauses : 9 114.10/111.24 c learnt constraints : 1695 114.10/111.24 c ignored constraints : 0 114.10/111.24 c root simplifications : 0 114.10/111.24 c removed literals (reason simplification) : 151 114.10/111.24 c reason swapping (by a shorter reason) : 0 114.10/111.25 c Calls to reduceDB : 0 114.10/111.25 c speed (assignments/second) : 3.7145132772364926E8 114.10/111.25 c non guided choices 106709903 114.10/111.25 c learnt constraints type 114.10/111.25 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 1695 114.10/111.25 c constraints type 114.10/111.25 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 436041 114.10/111.25 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 20880 114.10/111.25 s UNSATISFIABLE 114.10/111.25 v 20880 294606 294608 294610 294612 294614 294616 294618 294620 294622 294624 294626 294628 294630 294632 294634 294636 294638 294640 294642 294644 294646 294648 294650 294652 294654 294656 294658 294660 294662 294664 294665 294679 294681 294683 294690 294692 294693 294694 294701 294703 294704 294705 294712 294714 294715 294716 294723 294725 294726 294727 294734 294736 294737 294738 294745 294747 294748 294749 294756 294758 294759 294760 294767 294769 294770 294771 294778 294780 294781 294782 294789 294791 294792 294793 294800 294802 294803 294804 294811 294813 294814 294815 294822 294824 294825 294826 294833 294835 294836 294837 294844 294846 294847 294848 294855 294857 294858 294859 294866 294868 294869 294870 294877 294879 294880 294881 294888 294890 294891 294892 294899 294901 294902 294903 294910 294912 294913 294914 294921 294923 294924 294925 294932 294934 294935 294936 294943 294945 294946 294947 294954 294956 294957 294958 294965 294967 294968 294969 294976 294978 294979 294980 294987 294989 294990 294991 294998 295000 295001 295002 295008 295012 295013 295015 295021 295024 295028 295030 295032 295034 295036 295038 295040 295042 295044 295046 295047 295051 295053 295055 295057 295059 295061 295063 295065 295067 295069 295071 295073 295075 295077 295079 295081 295083 295085 295087 295089 295091 295093 295095 295097 295099 295101 295103 295105 295107 295109 295112 295113 295115 295117 295120 295121 295124 295126 295130 295135 295137 295141 295146 295148 295152 295157 295159 295163 295168 295170 295174 295179 295181 295185 295190 295192 295196 295201 295203 295207 295212 295214 295218 295223 295225 295229 295234 295236 295240 295245 295247 295251 295256 295258 295262 295267 295269 295273 295278 295280 295284 295289 295291 295295 295300 295302 295306 295311 295313 295317 295322 295324 295328 295333 295335 295339 295344 295346 295350 295355 295357 295361 295366 295368 295372 295377 295379 295383 295388 295390 295394 295399 295401 295405 295410 295412 295416 295421 295423 295427 295432 295434 295438 295443 295445 295449 295455 295456 295457 295459 295460 295462 295463 295464 295466 295467 295468 295469 295470 295474 295476 295478 295480 295482 295484 295486 295488 295490 295492 295493 295495 295682 295686 295687 295690 297400 297404 449748 449752 456919 0 114.10/111.25 c Total wall clock time (in seconds) : 111.144
OK 328
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 988) 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 /tmp/evaluation-result-3493580-1307800920/watcher-3493580-1307800920 -o /tmp/evaluation-result-3493580-1307800920/solver-3493580-1307800920 -C 1800 -W 1850 -M 7680 java -Xms6000m -Xmx6000m -jar sat4j-mus-v20110206.jar HOME/instance-3493580-1307800920.cnf running on 2 cores: 4,6 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): 1850 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 3.17 3.21 2.92 1/179 25296 /proc/meminfo: memFree=31434284/32951124 swapFree=67054524/67111528 [pid=25296] ppid=25294 vsize=11804 CPUtime=0 cores=4,6 /proc/25296/stat : 25296 (runsolver) R 25294 25296 16678 0 -1 4202560 41 0 0 0 0 0 0 0 25 0 1 0 891690500 12087296 50 33554432000 4194304 5436572 140737423757392 18446744073709551615 4883175 0 2147483391 4096 24578 0 0 0 17 6 0 0 0 /proc/25296/statm: 2951 50 31 304 0 2643 0 [startup+0.021151 s] /proc/loadavg: 3.17 3.21 2.92 1/179 25296 /proc/meminfo: memFree=31434284/32951124 swapFree=67054524/67111528 [pid=25296] ppid=25294 vsize=6334980 CPUtime=0 cores=4,6 /proc/25296/stat : 25296 (java) S 25294 25296 16678 0 -1 4202496 4325 0 1 0 0 0 0 0 17 0 2 0 891690500 6487019520 4025 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216450021 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0 /proc/25296/statm: 1583745 4048 917 9 0 1574901 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 6334980 [startup+0.101121 s] /proc/loadavg: 3.17 3.21 2.92 1/179 25296 /proc/meminfo: memFree=31434284/32951124 swapFree=67054524/67111528 [pid=25296] ppid=25294 vsize=6364156 CPUtime=0.08 cores=4,6 /proc/25296/stat : 25296 (java) S 25294 25296 16678 0 -1 4202496 8949 0 1 0 7 1 0 0 17 0 18 0 891690500 6516895744 8644 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/25296/statm: 1591039 8645 1751 9 0 1581777 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 6364156 [startup+0.301059 s] /proc/loadavg: 3.17 3.21 2.92 1/179 25296 /proc/meminfo: memFree=31434284/32951124 swapFree=67054524/67111528 [pid=25296] ppid=25294 vsize=6433652 CPUtime=0.46 cores=4,6 /proc/25296/stat : 25296 (java) S 25294 25296 16678 0 -1 4202496 19198 0 1 0 43 3 0 0 17 0 18 0 891690500 6588059648 18579 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/25296/statm: 1608413 18605 2203 9 0 1599151 0 Current children cumulated CPU time (s) 0.46 Current children cumulated vsize (KiB) 6433652 [startup+0.701022 s] /proc/loadavg: 3.17 3.21 2.92 1/179 25296 /proc/meminfo: memFree=31434284/32951124 swapFree=67054524/67111528 [pid=25296] ppid=25294 vsize=6433652 CPUtime=0.87 cores=4,6 /proc/25296/stat : 25296 (java) S 25294 25296 16678 0 -1 4202496 57823 0 1 0 80 7 0 0 17 0 18 0 891690500 6588059648 57204 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/25296/statm: 1608413 57207 2203 9 0 1599151 0 Current children cumulated CPU time (s) 0.87 Current children cumulated vsize (KiB) 6433652 [startup+1.50086 s] /proc/loadavg: 3.16 3.21 2.92 5/197 25318 /proc/meminfo: memFree=31149792/32951124 swapFree=67054524/67111528 [pid=25296] ppid=25294 vsize=6436564 CPUtime=2.14 cores=4,6 /proc/25296/stat : 25296 (java) S 25294 25296 16678 0 -1 4202496 75621 0 1 0 205 9 0 0 17 0 19 0 891690500 6591041536 74032 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/25296/statm: 1609141 74032 2224 9 0 1599879 0 [pid=25296/tid=25298] ppid=25294 vsize=6436564 CPUtime=1.45 cores=4,6 /proc/25296/task/25298/stat : 25298 (java) R 25294 25296 16678 0 -1 4202560 70519 0 1 0 137 8 0 0 20 0 19 0 891690501 6591041536 74032 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 46912505366582 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=25296/tid=25299] ppid=25294 vsize=6436564 CPUtime=0 cores=4,6 /proc/25296/task/25299/stat : 25299 (java) S 25294 25296 16678 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 891690502 6591041536 74032 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216463257 0 4 0 16800975 18446604453901060032 0 0 -1 4 0 0 0 [pid=25296/tid=25300] ppid=25294 vsize=6436564 CPUtime=0 cores=4,6 /proc/25296/task/25300/stat : 25300 (java) S 25294 25296 16678 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 891690502 6591041536 74032 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216463257 0 4 0 16800975 18446604453901060032 0 0 -1 4 0 0 0 [pid=25296/tid=25301] ppid=25294 vsize=6436564 CPUtime=0 cores=4,6 /proc/25296/task/25301/stat : 25301 (java) S 25294 25296 16678 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 891690502 6591041536 74033 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216463257 0 4 0 16800975 18446604453901060032 0 0 -1 4 0 0 0 [pid=25296/tid=25302] ppid=25294 vsize=6436564 CPUtime=0 cores=4,6 /proc/25296/task/25302/stat : 25302 (java) S 25294 25296 16678 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 891690502 6591041536 74033 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216463257 0 4 0 16800975 18446604453901060032 0 0 -1 4 0 0 0 [pid=25296/tid=25303] ppid=25294 vsize=6436564 CPUtime=0 cores=4,6 /proc/25296/task/25303/stat : 25303 (java) S 25294 25296 16678 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 891690502 6591041536 74033 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216463257 0 4 0 16800975 18446604453901060032 0 0 -1 4 0 0 0 [pid=25296/tid=25304] ppid=25294 vsize=6436564 CPUtime=0 cores=4,6 /proc/25296/task/25304/stat : 25304 (java) S 25294 25296 16678 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 891690502 6591041536 74033 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216463257 0 4 0 16800975 18446604453901060032 0 0 -1 4 0 0 0 [pid=25296/tid=25305] ppid=25294 vsize=6436564 CPUtime=0 cores=4,6 /proc/25296/task/25305/stat : 25305 (java) S 25294 25296 16678 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 19 0 891690502 6591041536 74033 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216463257 0 4 0 16800975 18446604453901060032 0 0 -1 4 0 0 0 [pid=25296/tid=25306] ppid=25294 vsize=6436564 CPUtime=0 cores=4,6 /proc/25296/task/25306/stat : 25306 (java) S 25294 25296 16678 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 891690502 6591041536 74034 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216463257 0 4 0 16800975 18446604453901060032 0 0 -1 4 0 0 0 [pid=25296/tid=25307] ppid=25294 vsize=6436564 CPUtime=0 cores=4,6 /proc/25296/task/25307/stat : 25307 (java) S 25294 25296 16678 0 -1 4202560 5 0 0 0 0 0 0 0 17 0 19 0 891690503 6591041536 74034 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216463872 0 0 0 16800975 18446604453901060032 0 0 -1 4 0 0 0 [pid=25296/tid=25308] ppid=25294 vsize=6436564 CPUtime=0 cores=4,6 /proc/25296/task/25308/stat : 25308 (java) S 25294 25296 16678 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 891690504 6591041536 74034 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216463257 0 4 0 16800975 18446604453901060032 0 0 -1 4 0 0 0 [pid=25296/tid=25309] ppid=25294 vsize=6436564 CPUtime=0 cores=4,6 /proc/25296/task/25309/stat : 25309 (java) S 25294 25296 16678 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 891690504 6591041536 74034 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216463257 0 4 0 16800975 18446604453901060032 0 0 -1 4 0 0 0 [pid=25296/tid=25310] ppid=25294 vsize=6436564 CPUtime=0 cores=4,6 /proc/25296/task/25310/stat : 25310 (java) S 25294 25296 16678 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891690506 6591041536 74034 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216470961 0 4 0 16800975 18446604453901060032 0 0 -1 4 0 0 0 [pid=25296/tid=25311] ppid=25294 vsize=6436564 CPUtime=0.34 cores=4,6 /proc/25296/task/25311/stat : 25311 (java) R 25294 25296 16678 0 -1 4202560 1392 0 0 0 34 0 0 0 18 0 19 0 891690506 6591041536 74035 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 47324801682729 0 4 0 16800975 0 0 0 -1 6 0 0 0 [pid=25296/tid=25312] ppid=25294 vsize=6436564 CPUtime=0.32 cores=4,6 /proc/25296/task/25312/stat : 25312 (java) S 25294 25296 16678 0 -1 4202560 2545 0 0 0 32 0 0 0 18 0 19 0 891690506 6591041536 74035 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216463257 0 4 0 16800975 18446604453901060032 0 0 -1 6 0 0 0 [pid=25296/tid=25313] ppid=25294 vsize=6436564 CPUtime=0 cores=4,6 /proc/25296/task/25313/stat : 25313 (java) S 25294 25296 16678 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891690506 6591041536 74035 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216463257 0 4 0 16800975 18446604453901060032 0 0 -1 4 0 0 0 [pid=25296/tid=25314] ppid=25294 vsize=6436564 CPUtime=0 cores=4,6 /proc/25296/task/25314/stat : 25314 (java) S 25294 25296 16678 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 891690506 6591041536 74035 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216463872 0 4 0 16800975 18446604453901060032 0 0 -1 6 0 0 0 [pid=25296/tid=25320] ppid=25294 vsize=6436564 CPUtime=0 cores=4,6 /proc/25296/task/25320/stat : 25320 (java) S 25294 25296 16678 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 891690601 6591041536 74035 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216463872 0 4 0 16800975 18446604453901060032 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 2.14 Current children cumulated vsize (KiB) 6436564 [startup+3.10166 s] /proc/loadavg: 3.16 3.21 2.92 5/214 25398 /proc/meminfo: memFree=31120052/32951124 swapFree=67054524/67111528 [pid=25296] ppid=25294 vsize=6436564 CPUtime=3.74 cores=4,6 /proc/25296/stat : 25296 (java) S 25294 25296 16678 0 -1 4202496 75731 0 1 0 364 10 0 0 17 0 19 0 891690500 6591041536 74141 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/25296/statm: 1609141 74141 2224 9 0 1599879 0 [pid=25296/tid=25298] ppid=25294 vsize=6436564 CPUtime=3.06 cores=4,6 /proc/25296/task/25298/stat : 25298 (java) R 25294 25296 16678 0 -1 4202560 70626 0 1 0 297 9 0 0 25 0 19 0 891690501 6591041536 74141 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 46912505726747 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=25296/tid=25299] ppid=25294 vsize=6436564 CPUtime=0 cores=4,6 /proc/25296/task/25299/stat : 25299 (java) S 25294 25296 16678 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 891690502 6591041536 74141 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216463257 0 4 0 16800975 18446604453901060032 0 0 -1 4 0 0 0 [pid=25296/tid=25300] ppid=25294 vsize=6436564 CPUtime=0 cores=4,6 /proc/25296/task/25300/stat : 25300 (java) S 25294 25296 16678 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 891690502 6591041536 74141 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216463257 0 4 0 16800975 18446604453901060032 0 0 -1 4 0 0 0 [pid=25296/tid=25301] ppid=25294 vsize=6436564 CPUtime=0 cores=4,6 /proc/25296/task/25301/stat : 25301 (java) S 25294 25296 16678 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 891690502 6591041536 74141 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216463257 0 4 0 16800975 18446604453901060032 0 0 -1 4 0 0 0 [pid=25296/tid=25302] ppid=25294 vsize=6436564 CPUtime=0 cores=4,6 /proc/25296/task/25302/stat : 25302 (java) S 25294 25296 16678 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 891690502 6591041536 74141 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216463257 0 4 0 16800975 18446604453901060032 0 0 -1 4 0 0 0 [pid=25296/tid=25303] ppid=25294 vsize=6436564 CPUtime=0 cores=4,6 /proc/25296/task/25303/stat : 25303 (java) S 25294 25296 16678 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 891690502 6591041536 74141 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216463257 0 4 0 16800975 18446604453901060032 0 0 -1 4 0 0 0 [pid=25296/tid=25304] ppid=25294 vsize=6436564 CPUtime=0 cores=4,6 /proc/25296/task/25304/stat : 25304 (java) S 25294 25296 16678 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 891690502 6591041536 74141 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216463257 0 4 0 16800975 18446604453901060032 0 0 -1 4 0 0 0 [pid=25296/tid=25305] ppid=25294 vsize=6436564 CPUtime=0 cores=4,6 /proc/25296/task/25305/stat : 25305 (java) S 25294 25296 16678 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 19 0 891690502 6591041536 74141 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216463257 0 4 0 16800975 18446604453901060032 0 0 -1 4 0 0 0 [pid=25296/tid=25306] ppid=25294 vsize=6436564 CPUtime=0 cores=4,6 /proc/25296/task/25306/stat : 25306 (java) S 25294 25296 16678 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 891690502 6591041536 74141 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216463257 0 4 0 16800975 18446604453901060032 0 0 -1 4 0 0 0 [pid=25296/tid=25307] ppid=25294 vsize=6436564 CPUtime=0 cores=4,6 /proc/25296/task/25307/stat : 25307 (java) S 25294 25296 16678 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 891690503 6591041536 74141 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216463872 0 0 0 16800975 18446604453901060032 0 0 -1 4 0 0 0 [pid=25296/tid=25308] ppid=25294 vsize=6436564 CPUtime=0 cores=4,6 /proc/25296/task/25308/stat : 25308 (java) S 25294 25296 16678 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 891690504 6591041536 74141 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216463257 0 4 0 16800975 18446604453901060032 0 0 -1 4 0 0 0 [pid=25296/tid=25309] ppid=25294 vsize=6436564 CPUtime=0 cores=4,6 /proc/25296/task/25309/stat : 25309 (java) S 25294 25296 16678 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 891690504 6591041536 74141 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216463257 0 4 0 16800975 18446604453901060032 0 0 -1 4 0 0 0 [pid=25296/tid=25310] ppid=25294 vsize=6436564 CPUtime=0 cores=4,6 /proc/25296/task/25310/stat : 25310 (java) S 25294 25296 16678 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891690506 6591041536 74141 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216470961 0 4 0 16800975 18446604453901060032 0 0 -1 4 0 0 0 [pid=25296/tid=25311] ppid=25294 vsize=6436564 CPUtime=0.34 cores=4,6 /proc/25296/task/25311/stat : 25311 (java) S 25294 25296 16678 0 -1 4202560 1395 0 0 0 34 0 0 0 18 0 19 0 891690506 6591041536 74141 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216463257 0 4 0 16800975 18446604453901060032 0 0 -1 6 0 0 0 [pid=25296/tid=25312] ppid=25294 vsize=6436564 CPUtime=0.32 cores=4,6 /proc/25296/task/25312/stat : 25312 (java) S 25294 25296 16678 0 -1 4202560 2545 0 0 0 32 0 0 0 18 0 19 0 891690506 6591041536 74141 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216463257 0 4 0 16800975 18446604453901060032 0 0 -1 6 0 0 0 [pid=25296/tid=25313] ppid=25294 vsize=6436564 CPUtime=0 cores=4,6 /proc/25296/task/25313/stat : 25313 (java) S 25294 25296 16678 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891690506 6591041536 74141 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216463257 0 4 0 16800975 18446604453901060032 0 0 -1 4 0 0 0 [pid=25296/tid=25314] ppid=25294 vsize=6436564 CPUtime=0 cores=4,6 /proc/25296/task/25314/stat : 25314 (java) S 25294 25296 16678 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 891690506 6591041536 74141 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216463872 0 4 0 16800975 18446604453901060032 0 0 -1 6 0 0 0 [pid=25296/tid=25320] ppid=25294 vsize=6436564 CPUtime=0 cores=4,6 /proc/25296/task/25320/stat : 25320 (java) S 25294 25296 16678 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 891690601 6591041536 74141 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216463872 0 4 0 16800975 18446604453901060032 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 3.74 Current children cumulated vsize (KiB) 6436564 [startup+6.30112 s] /proc/loadavg: 3.14 3.20 2.92 4/237 25442 /proc/meminfo: memFree=30241404/32951124 swapFree=67054524/67111528 [pid=25296] ppid=25294 vsize=6436008 CPUtime=6.94 cores=4,6 /proc/25296/stat : 25296 (java) S 25294 25296 16678 0 -1 4202496 75890 0 1 0 684 10 0 0 17 0 19 0 891690500 6590472192 74170 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/25296/statm: 1609002 74170 2224 9 0 1599740 0 [pid=25296/tid=25298] ppid=25294 vsize=6436008 CPUtime=6.26 cores=4,6 /proc/25296/task/25298/stat : 25298 (java) R 25294 25296 16678 0 -1 4202560 70785 0 1 0 617 9 0 0 25 0 19 0 891690501 6590472192 74170 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 46912505842769 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=25296/tid=25299] ppid=25294 vsize=6436008 CPUtime=0 cores=4,6 /proc/25296/task/25299/stat : 25299 (java) S 25294 25296 16678 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 891690502 6590472192 74170 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216463257 0 4 0 16800975 18446604453901060032 0 0 -1 4 0 0 0 [pid=25296/tid=25300] ppid=25294 vsize=6436008 CPUtime=0 cores=4,6 /proc/25296/task/25300/stat : 25300 (java) S 25294 25296 16678 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 891690502 6590472192 74170 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216463257 0 4 0 16800975 18446604453901060032 0 0 -1 4 0 0 0 [pid=25296/tid=25301] ppid=25294 vsize=6436008 CPUtime=0 cores=4,6 /proc/25296/task/25301/stat : 25301 (java) S 25294 25296 16678 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 891690502 6590472192 74170 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216463257 0 4 0 16800975 18446604453901060032 0 0 -1 4 0 0 0 [pid=25296/tid=25302] ppid=25294 vsize=6436008 CPUtime=0 cores=4,6 /proc/25296/task/25302/stat : 25302 (java) S 25294 25296 16678 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 891690502 6590472192 74170 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216463257 0 4 0 16800975 18446604453901060032 0 0 -1 4 0 0 0 [pid=25296/tid=25303] ppid=25294 vsize=6436008 CPUtime=0 cores=4,6 /proc/25296/task/25303/stat : 25303 (java) S 25294 25296 16678 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 891690502 6590472192 74170 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216463257 0 4 0 16800975 18446604453901060032 0 0 -1 4 0 0 0 [pid=25296/tid=25304] ppid=25294 vsize=6436008 CPUtime=0 cores=4,6 /proc/25296/task/25304/stat : 25304 (java) S 25294 25296 16678 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 891690502 6590472192 74170 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216463257 0 4 0 16800975 18446604453901060032 0 0 -1 4 0 0 0 [pid=25296/tid=25305] ppid=25294 vsize=6436008 CPUtime=0 cores=4,6 /proc/25296/task/25305/stat : 25305 (java) S 25294 25296 16678 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 19 0 891690502 6590472192 74170 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216463257 0 4 0 16800975 18446604453901060032 0 0 -1 4 0 0 0 [pid=25296/tid=25306] ppid=25294 vsize=6436008 CPUtime=0 cores=4,6 /proc/25296/task/25306/stat : 25306 (java) S 25294 25296 16678 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 891690502 6590472192 74170 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216463257 0 4 0 16800975 18446604453901060032 0 0 -1 4 0 0 0 [pid=25296/tid=25307] ppid=25294 vsize=6436008 CPUtime=0 cores=4,6 /proc/25296/task/25307/stat : 25307 (java) S 25294 25296 16678 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 891690503 6590472192 74170 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216463872 0 0 0 16800975 18446604453901060032 0 0 -1 4 0 0 0 [pid=25296/tid=25308] ppid=25294 vsize=6436008 CPUtime=0 cores=4,6 /proc/25296/task/25308/stat : 25308 (java) S 25294 25296 16678 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 891690504 6590472192 74170 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216463257 0 4 0 16800975 18446604453901060032 0 0 -1 4 0 0 0 [pid=25296/tid=25309] ppid=25294 vsize=6436008 CPUtime=0 cores=4,6 /proc/25296/task/25309/stat : 25309 (java) S 25294 25296 16678 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 891690504 6590472192 74170 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216463257 0 4 0 16800975 18446604453901060032 0 0 -1 4 0 0 0 [pid=25296/tid=25310] ppid=25294 vsize=6436008 CPUtime=0 cores=4,6 /proc/25296/task/25310/stat : 25310 (java) S 25294 25296 16678 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891690506 6590472192 74170 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216470961 0 4 0 16800975 18446604453901060032 0 0 -1 4 0 0 0 [pid=25296/tid=25311] ppid=25294 vsize=6436008 CPUtime=0.34 cores=4,6 /proc/25296/task/25311/stat : 25311 (java) S 25294 25296 16678 0 -1 4202560 1395 0 0 0 34 0 0 0 18 0 19 0 891690506 6590472192 74170 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216463257 0 4 0 16800975 18446604453901060032 0 0 -1 6 0 0 0 [pid=25296/tid=25312] ppid=25294 vsize=6436008 CPUtime=0.32 cores=4,6 /proc/25296/task/25312/stat : 25312 (java) S 25294 25296 16678 0 -1 4202560 2545 0 0 0 32 0 0 0 18 0 19 0 891690506 6590472192 74170 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216463257 0 4 0 16800975 18446604453901060032 0 0 -1 6 0 0 0 [pid=25296/tid=25313] ppid=25294 vsize=6436008 CPUtime=0 cores=4,6 /proc/25296/task/25313/stat : 25313 (java) S 25294 25296 16678 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891690506 6590472192 74170 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216463257 0 4 0 16800975 18446604453901060032 0 0 -1 4 0 0 0 [pid=25296/tid=25314] ppid=25294 vsize=6436008 CPUtime=0 cores=4,6 /proc/25296/task/25314/stat : 25314 (java) S 25294 25296 16678 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 891690506 6590472192 74170 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216463872 0 4 0 16800975 18446604453901060032 0 0 -1 6 0 0 0 [pid=25296/tid=25320] ppid=25294 vsize=6436008 CPUtime=0 cores=4,6 /proc/25296/task/25320/stat : 25320 (java) S 25294 25296 16678 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 891690601 6590472192 74170 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216463872 0 4 0 16800975 18446604453901060032 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 6.94 Current children cumulated vsize (KiB) 6436008 [startup+12.701 s] ################ # More data... # ################ [pid=25296/tid=25302] ppid=25294 vsize=6436008 CPUtime=0.65 cores=4,6 /proc/25296/task/25302/stat : 25302 (java) S 25294 25296 16678 0 -1 4202560 33678 0 0 0 60 5 0 0 16 0 19 0 891690502 6590472192 565844 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216463257 0 4 0 16800975 18446604453901060032 0 0 -1 6 0 0 0 [pid=25296/tid=25303] ppid=25294 vsize=6436008 CPUtime=0.25 cores=4,6 /proc/25296/task/25303/stat : 25303 (java) S 25294 25296 16678 0 -1 4202560 1164 0 0 0 25 0 0 0 15 0 19 0 891690502 6590472192 565844 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216463257 0 4 0 16800975 18446604453901060032 0 0 -1 4 0 0 0 [pid=25296/tid=25304] ppid=25294 vsize=6436008 CPUtime=0.4 cores=4,6 /proc/25296/task/25304/stat : 25304 (java) S 25294 25296 16678 0 -1 4202560 17626 0 0 0 38 2 0 0 15 0 19 0 891690502 6590472192 565844 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216463257 0 4 0 16800975 18446604453901060032 0 0 -1 6 0 0 0 [pid=25296/tid=25305] ppid=25294 vsize=6436008 CPUtime=0.83 cores=4,6 /proc/25296/task/25305/stat : 25305 (java) S 25294 25296 16678 0 -1 4202560 45629 0 0 0 78 5 0 0 15 0 19 0 891690502 6590472192 565844 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216463257 0 4 0 16800975 18446604453901060032 0 0 -1 6 0 0 0 [pid=25296/tid=25306] ppid=25294 vsize=6436008 CPUtime=0.4 cores=4,6 /proc/25296/task/25306/stat : 25306 (java) S 25294 25296 16678 0 -1 4202560 15453 0 0 0 38 2 0 0 15 0 19 0 891690502 6590472192 565844 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216463257 0 4 0 16800975 18446604453901060032 0 0 -1 4 0 0 0 [pid=25296/tid=25307] ppid=25294 vsize=6436008 CPUtime=0 cores=4,6 /proc/25296/task/25307/stat : 25307 (java) S 25294 25296 16678 0 -1 4202560 66 0 0 0 0 0 0 0 15 0 19 0 891690503 6590472192 565844 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216463872 0 0 0 16800975 18446604453901060032 0 0 -1 4 0 0 0 [pid=25296/tid=25308] ppid=25294 vsize=6436008 CPUtime=0 cores=4,6 /proc/25296/task/25308/stat : 25308 (java) S 25294 25296 16678 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 19 0 891690504 6590472192 565844 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216463257 0 4 0 16800975 18446604453901060032 0 0 -1 4 0 0 0 [pid=25296/tid=25309] ppid=25294 vsize=6436008 CPUtime=0 cores=4,6 /proc/25296/task/25309/stat : 25309 (java) S 25294 25296 16678 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 19 0 891690504 6590472192 565844 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216463257 0 4 0 16800975 18446604453901060032 0 0 -1 4 0 0 0 [pid=25296/tid=25310] ppid=25294 vsize=6436008 CPUtime=0 cores=4,6 /proc/25296/task/25310/stat : 25310 (java) S 25294 25296 16678 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891690506 6590472192 565844 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216470961 0 4 0 16800975 18446604453901060032 0 0 -1 4 0 0 0 [pid=25296/tid=25311] ppid=25294 vsize=6436008 CPUtime=0.39 cores=4,6 /proc/25296/task/25311/stat : 25311 (java) S 25294 25296 16678 0 -1 4202560 1398 0 0 0 39 0 0 0 17 0 19 0 891690506 6590472192 565844 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216463257 0 4 0 16800975 18446604453901060032 0 0 -1 6 0 0 0 [pid=25296/tid=25312] ppid=25294 vsize=6436008 CPUtime=0.48 cores=4,6 /proc/25296/task/25312/stat : 25312 (java) S 25294 25296 16678 0 -1 4202560 2939 0 0 0 48 0 0 0 15 0 19 0 891690506 6590472192 565844 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216463257 0 4 0 16800975 18446604453901060032 0 0 -1 4 0 0 0 [pid=25296/tid=25313] ppid=25294 vsize=6436008 CPUtime=0 cores=4,6 /proc/25296/task/25313/stat : 25313 (java) S 25294 25296 16678 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891690506 6590472192 565844 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216463257 0 4 0 16800975 18446604453901060032 0 0 -1 4 0 0 0 [pid=25296/tid=25314] ppid=25294 vsize=6436008 CPUtime=0 cores=4,6 /proc/25296/task/25314/stat : 25314 (java) S 25294 25296 16678 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 891690506 6590472192 565844 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216463872 0 4 0 16800975 18446604453901060032 0 0 -1 4 0 0 0 [pid=25296/tid=27458] ppid=25294 vsize=6436008 CPUtime=0 cores=4,6 /proc/25296/task/27458/stat : 27458 (java) S 25294 25296 16678 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 19 0 891701087 6590472192 565844 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216463872 0 4 0 16800975 18446604453901060032 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 108.64 Current children cumulated vsize (KiB) 6436008 [startup+109.101 s] /proc/loadavg: 3.46 3.35 3.00 4/235 27504 /proc/meminfo: memFree=24584232/32951124 swapFree=67054524/67111528 [pid=25296] ppid=25294 vsize=6436008 CPUtime=111.85 cores=4,6 /proc/25296/stat : 25296 (java) S 25294 25296 16678 0 -1 4202496 569986 0 1 0 11110 75 0 0 17 0 18 0 891690500 6590472192 565844 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/25296/statm: 1609002 565844 2242 9 0 1599740 0 [pid=25296/tid=25298] ppid=25294 vsize=6436008 CPUtime=107.01 cores=4,6 /proc/25296/task/25298/stat : 25298 (java) R 25294 25296 16678 0 -1 4202560 391677 0 1 0 10657 44 0 0 25 0 18 0 891690501 6590472192 565844 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 46912505930335 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=25296/tid=25299] ppid=25294 vsize=6436008 CPUtime=0.36 cores=4,6 /proc/25296/task/25299/stat : 25299 (java) S 25294 25296 16678 0 -1 4202560 17826 0 0 0 34 2 0 0 15 0 18 0 891690502 6590472192 565844 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216463257 0 4 0 16800975 18446604453901060032 0 0 -1 6 0 0 0 [pid=25296/tid=25300] ppid=25294 vsize=6436008 CPUtime=0.57 cores=4,6 /proc/25296/task/25300/stat : 25300 (java) S 25294 25296 16678 0 -1 4202560 19280 0 0 0 55 2 0 0 16 0 18 0 891690502 6590472192 565844 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216463257 0 4 0 16800975 18446604453901060032 0 0 -1 4 0 0 0 [pid=25296/tid=25301] ppid=25294 vsize=6436008 CPUtime=0.32 cores=4,6 /proc/25296/task/25301/stat : 25301 (java) S 25294 25296 16678 0 -1 4202560 21998 0 0 0 29 3 0 0 15 0 18 0 891690502 6590472192 565844 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216463257 0 4 0 16800975 18446604453901060032 0 0 -1 6 0 0 0 [pid=25296/tid=25302] ppid=25294 vsize=6436008 CPUtime=0.65 cores=4,6 /proc/25296/task/25302/stat : 25302 (java) S 25294 25296 16678 0 -1 4202560 33678 0 0 0 60 5 0 0 16 0 18 0 891690502 6590472192 565844 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216463257 0 4 0 16800975 18446604453901060032 0 0 -1 6 0 0 0 [pid=25296/tid=25303] ppid=25294 vsize=6436008 CPUtime=0.25 cores=4,6 /proc/25296/task/25303/stat : 25303 (java) S 25294 25296 16678 0 -1 4202560 1164 0 0 0 25 0 0 0 15 0 18 0 891690502 6590472192 565844 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216463257 0 4 0 16800975 18446604453901060032 0 0 -1 4 0 0 0 [pid=25296/tid=25304] ppid=25294 vsize=6436008 CPUtime=0.4 cores=4,6 /proc/25296/task/25304/stat : 25304 (java) S 25294 25296 16678 0 -1 4202560 17626 0 0 0 38 2 0 0 15 0 18 0 891690502 6590472192 565844 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216463257 0 4 0 16800975 18446604453901060032 0 0 -1 6 0 0 0 [pid=25296/tid=25305] ppid=25294 vsize=6436008 CPUtime=0.83 cores=4,6 /proc/25296/task/25305/stat : 25305 (java) S 25294 25296 16678 0 -1 4202560 45629 0 0 0 78 5 0 0 15 0 18 0 891690502 6590472192 565844 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216463257 0 4 0 16800975 18446604453901060032 0 0 -1 6 0 0 0 [pid=25296/tid=25306] ppid=25294 vsize=6436008 CPUtime=0.4 cores=4,6 /proc/25296/task/25306/stat : 25306 (java) S 25294 25296 16678 0 -1 4202560 15453 0 0 0 38 2 0 0 15 0 18 0 891690502 6590472192 565844 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216463257 0 4 0 16800975 18446604453901060032 0 0 -1 4 0 0 0 [pid=25296/tid=25307] ppid=25294 vsize=6436008 CPUtime=0 cores=4,6 /proc/25296/task/25307/stat : 25307 (java) S 25294 25296 16678 0 -1 4202560 66 0 0 0 0 0 0 0 15 0 18 0 891690503 6590472192 565844 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216463872 0 0 0 16800975 18446604453901060032 0 0 -1 4 0 0 0 [pid=25296/tid=25308] ppid=25294 vsize=6436008 CPUtime=0 cores=4,6 /proc/25296/task/25308/stat : 25308 (java) S 25294 25296 16678 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 18 0 891690504 6590472192 565844 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216463257 0 4 0 16800975 18446604453901060032 0 0 -1 4 0 0 0 [pid=25296/tid=25309] ppid=25294 vsize=6436008 CPUtime=0 cores=4,6 /proc/25296/task/25309/stat : 25309 (java) S 25294 25296 16678 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 18 0 891690504 6590472192 565844 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216463257 0 4 0 16800975 18446604453901060032 0 0 -1 4 0 0 0 [pid=25296/tid=25310] ppid=25294 vsize=6436008 CPUtime=0 cores=4,6 /proc/25296/task/25310/stat : 25310 (java) S 25294 25296 16678 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891690506 6590472192 565844 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216470961 0 4 0 16800975 18446604453901060032 0 0 -1 4 0 0 0 [pid=25296/tid=25311] ppid=25294 vsize=6436008 CPUtime=0.39 cores=4,6 /proc/25296/task/25311/stat : 25311 (java) S 25294 25296 16678 0 -1 4202560 1398 0 0 0 39 0 0 0 17 0 18 0 891690506 6590472192 565844 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216463257 0 4 0 16800975 18446604453901060032 0 0 -1 6 0 0 0 [pid=25296/tid=25312] ppid=25294 vsize=6436008 CPUtime=0.48 cores=4,6 /proc/25296/task/25312/stat : 25312 (java) S 25294 25296 16678 0 -1 4202560 2939 0 0 0 48 0 0 0 15 0 18 0 891690506 6590472192 565844 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216463257 0 4 0 16800975 18446604453901060032 0 0 -1 4 0 0 0 [pid=25296/tid=25313] ppid=25294 vsize=6436008 CPUtime=0 cores=4,6 /proc/25296/task/25313/stat : 25313 (java) S 25294 25296 16678 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891690506 6590472192 565844 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216463257 0 4 0 16800975 18446604453901060032 0 0 -1 4 0 0 0 [pid=25296/tid=25314] ppid=25294 vsize=6436008 CPUtime=0 cores=4,6 /proc/25296/task/25314/stat : 25314 (java) S 25294 25296 16678 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 18 0 891690506 6590472192 565844 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216463872 0 4 0 16800975 18446604453901060032 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 111.85 Current children cumulated vsize (KiB) 6436008 [startup+110.702 s] /proc/loadavg: 3.43 3.35 3.00 5/235 27551 /proc/meminfo: memFree=24581380/32951124 swapFree=67054524/67111528 [pid=25296] ppid=25294 vsize=6436008 CPUtime=113.6 cores=4,6 /proc/25296/stat : 25296 (java) S 25294 25296 16678 0 -1 4202496 574538 0 1 0 11284 76 0 0 17 0 18 0 891690500 6590472192 568638 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/25296/statm: 1609002 568638 2242 9 0 1599740 0 [pid=25296/tid=25298] ppid=25294 vsize=6436008 CPUtime=108.57 cores=4,6 /proc/25296/task/25298/stat : 25298 (java) R 25294 25296 16678 0 -1 4202560 391682 0 1 0 10813 44 0 0 25 0 18 0 891690501 6590472192 568638 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 46912505829272 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=25296/tid=25299] ppid=25294 vsize=6436008 CPUtime=0.37 cores=4,6 /proc/25296/task/25299/stat : 25299 (java) S 25294 25296 16678 0 -1 4202560 17826 0 0 0 35 2 0 0 16 0 18 0 891690502 6590472192 568638 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216463257 0 4 0 16800975 18446604453901060032 0 0 -1 6 0 0 0 [pid=25296/tid=25300] ppid=25294 vsize=6436008 CPUtime=0.57 cores=4,6 /proc/25296/task/25300/stat : 25300 (java) S 25294 25296 16678 0 -1 4202560 19280 0 0 0 55 2 0 0 15 0 18 0 891690502 6590472192 568638 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216463257 0 4 0 16800975 18446604453901060032 0 0 -1 4 0 0 0 [pid=25296/tid=25301] ppid=25294 vsize=6436008 CPUtime=0.32 cores=4,6 /proc/25296/task/25301/stat : 25301 (java) S 25294 25296 16678 0 -1 4202560 21998 0 0 0 29 3 0 0 16 0 18 0 891690502 6590472192 568638 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216463257 0 4 0 16800975 18446604453901060032 0 0 -1 6 0 0 0 [pid=25296/tid=25302] ppid=25294 vsize=6436008 CPUtime=0.65 cores=4,6 /proc/25296/task/25302/stat : 25302 (java) S 25294 25296 16678 0 -1 4202560 33678 0 0 0 60 5 0 0 16 0 18 0 891690502 6590472192 568638 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216463257 0 4 0 16800975 18446604453901060032 0 0 -1 6 0 0 0 [pid=25296/tid=25303] ppid=25294 vsize=6436008 CPUtime=0.26 cores=4,6 /proc/25296/task/25303/stat : 25303 (java) S 25294 25296 16678 0 -1 4202560 1166 0 0 0 26 0 0 0 16 0 18 0 891690502 6590472192 568638 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216463257 0 4 0 16800975 18446604453901060032 0 0 -1 4 0 0 0 [pid=25296/tid=25304] ppid=25294 vsize=6436008 CPUtime=0.4 cores=4,6 /proc/25296/task/25304/stat : 25304 (java) S 25294 25296 16678 0 -1 4202560 17626 0 0 0 38 2 0 0 15 0 18 0 891690502 6590472192 568638 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216463257 0 4 0 16800975 18446604453901060032 0 0 -1 6 0 0 0 [pid=25296/tid=25305] ppid=25294 vsize=6436008 CPUtime=0.83 cores=4,6 /proc/25296/task/25305/stat : 25305 (java) S 25294 25296 16678 0 -1 4202560 45629 0 0 0 78 5 0 0 15 0 18 0 891690502 6590472192 568638 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216463257 0 4 0 16800975 18446604453901060032 0 0 -1 6 0 0 0 [pid=25296/tid=25306] ppid=25294 vsize=6436008 CPUtime=0.4 cores=4,6 /proc/25296/task/25306/stat : 25306 (java) S 25294 25296 16678 0 -1 4202560 15453 0 0 0 38 2 0 0 15 0 18 0 891690502 6590472192 568638 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216463257 0 4 0 16800975 18446604453901060032 0 0 -1 4 0 0 0 [pid=25296/tid=25307] ppid=25294 vsize=6436008 CPUtime=0 cores=4,6 /proc/25296/task/25307/stat : 25307 (java) S 25294 25296 16678 0 -1 4202560 66 0 0 0 0 0 0 0 15 0 18 0 891690503 6590472192 568638 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216463872 0 0 0 16800975 18446604453901060032 0 0 -1 4 0 0 0 [pid=25296/tid=25308] ppid=25294 vsize=6436008 CPUtime=0 cores=4,6 /proc/25296/task/25308/stat : 25308 (java) S 25294 25296 16678 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 18 0 891690504 6590472192 568638 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216463257 0 4 0 16800975 18446604453901060032 0 0 -1 4 0 0 0 [pid=25296/tid=25309] ppid=25294 vsize=6436008 CPUtime=0 cores=4,6 /proc/25296/task/25309/stat : 25309 (java) S 25294 25296 16678 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 18 0 891690504 6590472192 568638 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216463257 0 4 0 16800975 18446604453901060032 0 0 -1 4 0 0 0 [pid=25296/tid=25310] ppid=25294 vsize=6436008 CPUtime=0 cores=4,6 /proc/25296/task/25310/stat : 25310 (java) S 25294 25296 16678 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891690506 6590472192 568638 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216470961 0 4 0 16800975 18446604453901060032 0 0 -1 4 0 0 0 [pid=25296/tid=25311] ppid=25294 vsize=6436008 CPUtime=0.4 cores=4,6 /proc/25296/task/25311/stat : 25311 (java) S 25294 25296 16678 0 -1 4202560 1398 0 0 0 40 0 0 0 16 0 18 0 891690506 6590472192 568638 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216463257 0 4 0 16800975 18446604453901060032 0 0 -1 6 0 0 0 [pid=25296/tid=25312] ppid=25294 vsize=6436008 CPUtime=0.66 cores=4,6 /proc/25296/task/25312/stat : 25312 (java) S 25294 25296 16678 0 -1 4202560 7484 0 0 0 64 2 0 0 15 0 18 0 891690506 6590472192 568638 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216463257 0 4 0 16800975 18446604453901060032 0 0 -1 4 0 0 0 [pid=25296/tid=25313] ppid=25294 vsize=6436008 CPUtime=0 cores=4,6 /proc/25296/task/25313/stat : 25313 (java) S 25294 25296 16678 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891690506 6590472192 568638 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216463257 0 4 0 16800975 18446604453901060032 0 0 -1 4 0 0 0 [pid=25296/tid=25314] ppid=25294 vsize=6436008 CPUtime=0 cores=4,6 /proc/25296/task/25314/stat : 25314 (java) S 25294 25296 16678 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 18 0 891690506 6590472192 568638 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216463872 0 4 0 16800975 18446604453901060032 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 113.6 Current children cumulated vsize (KiB) 6436008 [startup+111.102 s] /proc/loadavg: 3.43 3.35 3.00 5/235 27551 /proc/meminfo: memFree=24581380/32951124 swapFree=67054524/67111528 [pid=25296] ppid=25294 vsize=6436008 CPUtime=114 cores=4,6 /proc/25296/stat : 25296 (java) S 25294 25296 16678 0 -1 4202496 574538 0 1 0 11324 76 0 0 17 0 18 0 891690500 6590472192 568638 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/25296/statm: 1609002 568638 2242 9 0 1599740 0 [pid=25296/tid=25298] ppid=25294 vsize=6436008 CPUtime=108.97 cores=4,6 /proc/25296/task/25298/stat : 25298 (java) R 25294 25296 16678 0 -1 4202560 391682 0 1 0 10853 44 0 0 25 0 18 0 891690501 6590472192 568638 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 46912505829312 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=25296/tid=25299] ppid=25294 vsize=6436008 CPUtime=0.37 cores=4,6 /proc/25296/task/25299/stat : 25299 (java) S 25294 25296 16678 0 -1 4202560 17826 0 0 0 35 2 0 0 16 0 18 0 891690502 6590472192 568638 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216463257 0 4 0 16800975 18446604453901060032 0 0 -1 6 0 0 0 [pid=25296/tid=25300] ppid=25294 vsize=6436008 CPUtime=0.57 cores=4,6 /proc/25296/task/25300/stat : 25300 (java) S 25294 25296 16678 0 -1 4202560 19280 0 0 0 55 2 0 0 15 0 18 0 891690502 6590472192 568638 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216463257 0 4 0 16800975 18446604453901060032 0 0 -1 4 0 0 0 [pid=25296/tid=25301] ppid=25294 vsize=6436008 CPUtime=0.32 cores=4,6 /proc/25296/task/25301/stat : 25301 (java) S 25294 25296 16678 0 -1 4202560 21998 0 0 0 29 3 0 0 16 0 18 0 891690502 6590472192 568638 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216463257 0 4 0 16800975 18446604453901060032 0 0 -1 6 0 0 0 [pid=25296/tid=25302] ppid=25294 vsize=6436008 CPUtime=0.65 cores=4,6 /proc/25296/task/25302/stat : 25302 (java) S 25294 25296 16678 0 -1 4202560 33678 0 0 0 60 5 0 0 16 0 18 0 891690502 6590472192 568638 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216463257 0 4 0 16800975 18446604453901060032 0 0 -1 6 0 0 0 [pid=25296/tid=25303] ppid=25294 vsize=6436008 CPUtime=0.26 cores=4,6 /proc/25296/task/25303/stat : 25303 (java) S 25294 25296 16678 0 -1 4202560 1166 0 0 0 26 0 0 0 16 0 18 0 891690502 6590472192 568638 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216463257 0 4 0 16800975 18446604453901060032 0 0 -1 4 0 0 0 [pid=25296/tid=25304] ppid=25294 vsize=6436008 CPUtime=0.4 cores=4,6 /proc/25296/task/25304/stat : 25304 (java) S 25294 25296 16678 0 -1 4202560 17626 0 0 0 38 2 0 0 15 0 18 0 891690502 6590472192 568638 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216463257 0 4 0 16800975 18446604453901060032 0 0 -1 6 0 0 0 [pid=25296/tid=25305] ppid=25294 vsize=6436008 CPUtime=0.83 cores=4,6 /proc/25296/task/25305/stat : 25305 (java) S 25294 25296 16678 0 -1 4202560 45629 0 0 0 78 5 0 0 15 0 18 0 891690502 6590472192 568638 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216463257 0 4 0 16800975 18446604453901060032 0 0 -1 6 0 0 0 [pid=25296/tid=25306] ppid=25294 vsize=6436008 CPUtime=0.4 cores=4,6 /proc/25296/task/25306/stat : 25306 (java) S 25294 25296 16678 0 -1 4202560 15453 0 0 0 38 2 0 0 15 0 18 0 891690502 6590472192 568638 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216463257 0 4 0 16800975 18446604453901060032 0 0 -1 4 0 0 0 [pid=25296/tid=25307] ppid=25294 vsize=6436008 CPUtime=0 cores=4,6 /proc/25296/task/25307/stat : 25307 (java) S 25294 25296 16678 0 -1 4202560 66 0 0 0 0 0 0 0 15 0 18 0 891690503 6590472192 568638 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216463872 0 0 0 16800975 18446604453901060032 0 0 -1 4 0 0 0 [pid=25296/tid=25308] ppid=25294 vsize=6436008 CPUtime=0 cores=4,6 /proc/25296/task/25308/stat : 25308 (java) S 25294 25296 16678 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 18 0 891690504 6590472192 568638 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216463257 0 4 0 16800975 18446604453901060032 0 0 -1 4 0 0 0 [pid=25296/tid=25309] ppid=25294 vsize=6436008 CPUtime=0 cores=4,6 /proc/25296/task/25309/stat : 25309 (java) S 25294 25296 16678 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 18 0 891690504 6590472192 568638 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216463257 0 4 0 16800975 18446604453901060032 0 0 -1 4 0 0 0 [pid=25296/tid=25310] ppid=25294 vsize=6436008 CPUtime=0 cores=4,6 /proc/25296/task/25310/stat : 25310 (java) S 25294 25296 16678 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891690506 6590472192 568638 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216470961 0 4 0 16800975 18446604453901060032 0 0 -1 4 0 0 0 [pid=25296/tid=25311] ppid=25294 vsize=6436008 CPUtime=0.4 cores=4,6 /proc/25296/task/25311/stat : 25311 (java) S 25294 25296 16678 0 -1 4202560 1398 0 0 0 40 0 0 0 16 0 18 0 891690506 6590472192 568638 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216463257 0 4 0 16800975 18446604453901060032 0 0 -1 6 0 0 0 [pid=25296/tid=25312] ppid=25294 vsize=6436008 CPUtime=0.66 cores=4,6 /proc/25296/task/25312/stat : 25312 (java) S 25294 25296 16678 0 -1 4202560 7484 0 0 0 64 2 0 0 15 0 18 0 891690506 6590472192 568638 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216463257 0 4 0 16800975 18446604453901060032 0 0 -1 4 0 0 0 [pid=25296/tid=25313] ppid=25294 vsize=6436008 CPUtime=0 cores=4,6 /proc/25296/task/25313/stat : 25313 (java) S 25294 25296 16678 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891690506 6590472192 568638 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216463257 0 4 0 16800975 18446604453901060032 0 0 -1 4 0 0 0 [pid=25296/tid=25314] ppid=25294 vsize=6436008 CPUtime=0 cores=4,6 /proc/25296/task/25314/stat : 25314 (java) S 25294 25296 16678 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 18 0 891690506 6590472192 568638 33554432000 1073741824 1073778376 140736886855600 18446744073709551615 210216463872 0 4 0 16800975 18446604453901060032 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 114 Current children cumulated vsize (KiB) 6436008 [startup+111.309 s] /proc/loadavg: 3.43 3.35 3.00 5/235 27551 /proc/meminfo: memFree=24581380/32951124 swapFree=67054524/67111528 [pid=25296] ppid=25294 vsize=0 CPUtime=114.21 cores=4,6 /proc/25296/stat : 25296 (java) Z 25294 25296 16678 0 -1 4203548 574550 0 1 0 11339 82 0 0 15 0 2 0 891690500 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/25296/statm: 0 0 0 0 0 0 0 [pid=25296/tid=25305] ppid=25294 vsize=0 CPUtime=0.89 cores=4,6 /proc/25296/task/25305/stat : 25305 (java) R 25294 25296 16678 0 -1 4203588 45629 0 0 0 78 11 0 0 15 0 2 0 891690502 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 114.21 Current children cumulated vsize (KiB) 0 Child status: 20 Real time (s): 111.339 CPU time (s): 114.248 CPU user time (s): 113.397 CPU system time (s): 0.85087 CPU usage (%): 102.613 Max. virtual memory (cumulated for all children) (KiB): 6437380 getrusage(RUSAGE_CHILDREN,...) data: user time used= 113.397 system time used= 0.85087 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 574550 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5899 involuntary context switches= 4489 runsolver used 0.220966 second user time and 0.422935 second system time The end
Begin job on node130 at 2011-06-11 16:02:00 IDJOB=3493580 IDBENCH=20465 IDSOLVER=1972 FILE ID=node130/3493580-1307800920 RUNJOBID= node130-1307799121-17473 PBS_JOBID= 13551018 Free space on /tmp= 73928 MiB SOLVER NAME= SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 BENCH NAME= SAT07/industrial/babic/hsatv17/hsat_vc12016.cnf COMMAND LINE= java -Xms6000m -Xmx6000m -jar sat4j-mus-v20110206.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3493580-1307800920/watcher-3493580-1307800920 -o /tmp/evaluation-result-3493580-1307800920/solver-3493580-1307800920 -C 1800 -W 1850 -M 7680 java -Xms6000m -Xmx6000m -jar sat4j-mus-v20110206.jar HOME/instance-3493580-1307800920.cnf TIME LIMIT= 1800 seconds MEMORY LIMIT= 7680 MiB NBCORE= 2 MD5SUM BENCH= 240b13662b1715595ba6c034fd886d0b RANDOM SEED=939628246 node130.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.838 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.67 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.838 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.838 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.75 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.838 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.81 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.838 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.838 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.838 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.75 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.838 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.81 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31434580 kB Buffers: 275808 kB Cached: 1017888 kB SwapCached: 10548 kB Active: 536028 kB Inactive: 785724 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31434580 kB SwapTotal: 67111528 kB SwapFree: 67054524 kB Dirty: 8788 kB Writeback: 4 kB AnonPages: 25440 kB Mapped: 12856 kB Slab: 129192 kB PageTables: 4904 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 261476 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 /tmp at the end= 73924 MiB End job on node130 at 2011-06-11 16:03:51