| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 | UNSAT | 295.209 | 291.606 |
| Name | mus/marques-silva/design-debugging/ wb_conmax3.dimacs.filtered.cnf |
| MD5SUM | 70661d58e23d97579ff78155ba3338cb |
| Bench Category | MUS (MUS) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 0.988849 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 277950 |
| Number of clauses | 1221020 |
| Sum of the clauses size | 3429264 |
| Maximum clause length | 3 |
| Minimum clause length | 1 |
| Number of clauses of size 1 | 7116 |
| Number of clauses of size 2 | 219564 |
| Number of clauses of size 3 | 994340 |
| 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.07 c version 2.3.0.v20110206 0.00/0.07 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.07 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.07 c java.vm.version 19.1-b02 0.00/0.07 c java.vm.vendor Sun Microsystems Inc. 0.00/0.07 c sun.arch.data.model 64 0.00/0.07 c java.version 1.6.0_24 0.00/0.07 c os.name Linux 0.00/0.07 c os.version 2.6.18-164.el5 0.00/0.07 c os.arch amd64 0.00/0.07 c Free memory 5997854704 0.00/0.07 c Max memory 6029312000 0.00/0.07 c Total memory 6029312000 0.00/0.07 c Number of processors 8 0.00/0.10 c Explanation (MUS) enabled solver 0.00/0.10 c QuickXplain (AAAI 2004 version) minimization strategy 0.00/0.10 c --- Begin Solver configuration --- 0.00/0.10 c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@aa470b8 0.00/0.10 c Learn all clauses as in MiniSAT 0.00/0.10 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 0.00/0.10 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT 0.00/0.10 c Expensive reason simplification 0.00/0.10 c Armin Biere (Picosat) restarts strategy 0.00/0.10 c Glucose learned constraints deletion strategy 0.00/0.10 c timeout=2147483647s 0.00/0.10 c DB Simplification allowed=true 0.00/0.10 c --- End Solver configuration --- 0.00/0.10 c solving HOME/instance-3483134-1307605203.cnf 0.00/0.10 c reading problem ... 1.77/1.69 c ... done. Wall clock time 1.591s. 1.77/1.69 c #vars 1498970 1.77/1.69 c #constraints 1221020 1.77/1.69 c constraints type 1.77/1.69 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1213904 1.77/1.69 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 7116 2.51/2.30 c Unsat detection wall clock time (in seconds) : 2.203 2.51/2.30 c Size of initial unsat subformula: 394 2.51/2.30 c Computing MUS ... 2.51/2.31 c initial unsat core 1010684[?] -114497[?] 114531[?] 114532[?] 1010682[?] -114533[?] 128858[?] 980637[?] -111638[?] 128931[?] 980491[?] -111672[?] 130829[?] 976443[?] -111709[?] 130902[?] 976297[?] -111743[?] 114497[?] 959691[?] -136192[?] -134667[?] 114533[?] 959637[?] -136210[?] -134667[?] 148413[?] 876203[?] 148340[?] -148414[?] 148423[?] 876179[?] 148340[?] -148418[?] 134667[?] -148413[?] 148336[?] 876166[?] 134808[?] -148423[?] 148336[?] 876160[?] 148498[?] -130829[?] -128858[?] 875459[?] 136192[?] -148498[?] -134808[?] 875456[?] 148537[?] -130902[?] -128931[?] 875069[?] 136210[?] -148537[?] -134808[?] 875066[?] -79083[?] 721535[?] -92745[?] 634462[?] 92747[?] -79275[?] -92749[?] 634456[?] 92751[?] -79275[?] -92753[?] 634452[?] 92745[?] 56159[?] -92754[?] 92749[?] 56159[?] 634446[?] -92755[?] 79083[?] 92754[?] 634439[?] -92752[?] 92755[?] 634437[?] -92757[?] 634432[?] 62696[?] -92759[?] 634426[?] 64667[?] -92761[?] 634420[?] 66638[?] -92763[?] 634414[?] 68609[?] -92765[?] 634408[?] 70580[?] -92767[?] 634402[?] 72551[?] -92768[?] 634397[?] 80369[?] 80366[?] -92769[?] 634396[?] 74522[?] 92771[?] 634388[?] 92768[?] -76493[?] -92839[?] 79083[?] 92753[?] 634185[?] -92748[?] 92839[?] 634183[?] -108076[?] 552267[?] -108094[?] 552127[?] -108095[?] 552126[?] -108096[?] 552125[?] -108097[?] 552124[?] -108098[?] 552123[?] -108099[?] 552122[?] -108100[?] 552121[?] 108101[?] -108102[?] -108103[?] 552115[?] 108102[?] -108105[?] -108106[?] 552112[?] 108103[?] -108108[?] -108107[?] 552106[?] -108112[?] 108113[?] 108114[?] 552097[?] -108115[?] 108116[?] 108117[?] 552094[?] -108118[?] 108119[?] 108120[?] 552091[?] -108123[?] 108112[?] 108124[?] 552085[?] -108125[?] 108115[?] 108126[?] 552082[?] -108127[?] 108118[?] 108128[?] 552079[?] -108131[?] 108123[?] 108132[?] 552073[?] -108133[?] 108125[?] 108134[?] 552070[?] -108135[?] 108127[?] 108136[?] 552067[?] -108139[?] 108131[?] 108140[?] 552061[?] -108141[?] 108133[?] 108142[?] 552058[?] -108143[?] 108135[?] 108144[?] 552055[?] -108147[?] 108139[?] 108148[?] 552049[?] -108149[?] 108141[?] 108150[?] 552046[?] -108151[?] 108143[?] 108152[?] 552043[?] -108155[?] 108147[?] 108156[?] 552037[?] -108157[?] 108149[?] 108158[?] 552034[?] -108159[?] 108151[?] 108160[?] 552031[?] -108163[?] 108155[?] 108164[?] 552025[?] -108165[?] 108157[?] 108166[?] 552022[?] -108167[?] 108159[?] 108168[?] 552019[?] -108169[?] 108165[?] 108163[?] 552017[?] -92747[?] 108165[?] 108167[?] 552011[?] -92751[?] 108167[?] 108169[?] 552005[?] 108171[?] 551994[?] 108174[?] -108175[?] -108176[?] 551988[?] 108177[?] -108178[?] -108179[?] 551982[?] 108105[?] 92757[?] 551968[?] 108185[?] -92771[?] -108171[?] 551964[?] 108186[?] -92771[?] -108171[?] 551958[?] 108188[?] -108185[?] -108171[?] 551943[?] 108189[?] -108186[?] -108171[?] 551937[?] 108191[?] -108188[?] -108171[?] 551925[?] 108192[?] -108189[?] 92767[?] 551924[?] 108194[?] -108191[?] -108171[?] 551907[?] 108195[?] -108192[?] 92765[?] 551906[?] 108197[?] -108194[?] 92763[?] 551894[?] 108198[?] -108195[?] -108171[?] 551883[?] 108200[?] -108197[?] 92761[?] 551876[?] 108201[?] -108198[?] -108171[?] 551865[?] 108106[?] -108200[?] 92759[?] 551858[?] 108203[?] -108201[?] 92759[?] 551852[?] 108205[?] -108105[?] -108203[?] 551838[?] 108107[?] 92759[?] 551827[?] 108210[?] -92771[?] -108171[?] 551805[?] 108211[?] -92771[?] -108171[?] 551799[?] 108213[?] -108210[?] -108171[?] 551784[?] 108214[?] -108211[?] -108171[?] 551778[?] 108216[?] -108213[?] -108171[?] 551766[?] 108217[?] -108214[?] 92767[?] 551765[?] 108219[?] -108216[?] -108171[?] 551748[?] 108220[?] -108217[?] 92765[?] 551747[?] 108222[?] -108219[?] 92763[?] 551735[?] 108223[?] -108220[?] -108171[?] 551724[?] 108108[?] -108222[?] 92761[?] 551717[?] 108225[?] -108223[?] -108171[?] 551706[?] 108227[?] -108225[?] -108107[?] 551697[?] 108229[?] 92761[?] 551686[?] 108236[?] -92771[?] -108171[?] 551646[?] 108237[?] -92771[?] -108171[?] 551640[?] 108239[?] -108236[?] -108171[?] 551625[?] 108240[?] -108237[?] -108171[?] 551619[?] 108242[?] -108239[?] -108171[?] 551607[?] 108243[?] -108240[?] 92767[?] 551606[?] 108245[?] -108242[?] -108171[?] 551589[?] 108246[?] -108243[?] 92765[?] 551588[?] 108248[?] -108245[?] 92763[?] 551576[?] 108249[?] -108246[?] -108171[?] 551565[?] 108251[?] -108248[?] -108229[?] 551556[?] 108252[?] -108249[?] -108229[?] 551550[?] 108254[?] 92763[?] 551539[?] 108264[?] -92771[?] -108171[?] 551481[?] 108265[?] -92771[?] -108171[?] 551475[?] 108267[?] -108264[?] -108171[?] 551460[?] 108268[?] -108265[?] -108171[?] 551454[?] 108270[?] -108267[?] -108171[?] 551442[?] 108271[?] -108268[?] 92767[?] 551441[?] 108273[?] -108270[?] -108171[?] 551424[?] 108274[?] -108271[?] 92765[?] 551423[?] 108276[?] -108273[?] -108254[?] 551409[?] 108277[?] -108274[?] -108254[?] 551403[?] 108279[?] 92765[?] 551392[?] 108292[?] -92771[?] -108171[?] 551316[?] 108293[?] -92771[?] -108171[?] 551310[?] 108295[?] -108292[?] -108171[?] 551295[?] 108296[?] -108293[?] -108171[?] 551289[?] 108298[?] -108295[?] -108171[?] 551277[?] 108299[?] -108296[?] 92767[?] 551276[?] 108301[?] -108298[?] -108279[?] 551262[?] 108302[?] -108299[?] -108279[?] 551256[?] 108304[?] 92767[?] 551245[?] 108320[?] -92771[?] -108171[?] 551151[?] 108321[?] -92771[?] -108171[?] 551145[?] 108323[?] -108320[?] -108171[?] 551130[?] 108324[?] -108321[?] -108171[?] 551124[?] 108326[?] -108323[?] -108304[?] 551115[?] 108327[?] -108324[?] -108304[?] 551109[?] 108329[?] 92769[?] 551098[?] 108348[?] -92771[?] -108171[?] 550986[?] 108349[?] -92771[?] -108171[?] 550980[?] 108351[?] -108348[?] -108329[?] 550968[?] 108352[?] -108349[?] -108329[?] 550962[?] 108379[?] -108205[?] -108227[?] 550800[?] -108390[?] 550772[?] 56159[?] 108391[?] -108174[?] 550769[?] 108172[?] -108391[?] 108390[?] 550764[?] -108392[?] 550763[?] 56159[?] 108393[?] -108177[?] 550760[?] 108173[?] -108393[?] 108392[?] 550755[?] -108119[?] 108076[?] 62696[?] 532072[?] -108116[?] 108076[?] 62696[?] 532066[?] -108113[?] 108076[?] 62696[?] 532060[?] -108120[?] 108094[?] 64667[?] 531993[?] -108117[?] 108094[?] 64667[?] 531987[?] -108114[?] 108094[?] 64667[?] 531981[?] -108128[?] 108095[?] 66638[?] 531914[?] -108126[?] 108095[?] 66638[?] 531908[?] -108124[?] 108095[?] 66638[?] 531902[?] -108136[?] 108096[?] 68609[?] 531835[?] -108134[?] 108096[?] 68609[?] 531829[?] -108132[?] 108096[?] 68609[?] 531823[?] -108144[?] 108097[?] 70580[?] 531756[?] -108142[?] 108097[?] 70580[?] 531750[?] -108140[?] 108097[?] 70580[?] 531744[?] -108152[?] 108098[?] 72551[?] 531677[?] -108150[?] 108098[?] 72551[?] 531671[?] -108148[?] 108098[?] 72551[?] 531665[?] -108160[?] 108099[?] 74522[?] 531598[?] -108158[?] 108099[?] 74522[?] 531592[?] -108156[?] 108099[?] 74522[?] 531586[?] -111131[?] 531575[?] 80369[?] 80366[?] 111135[?] 531560[?] 80369[?] 111136[?] 531558[?] 80366[?] -111139[?] 531545[?] -111135[?] -111136[?] -111140[?] 108100[?] 111131[?] 531537[?] -111141[?] 108100[?] 111139[?] 531530[?] -111142[?] 108100[?] -111135[?] 531524[?] -108168[?] 111140[?] -76493[?] 531521[?] -108166[?] 111141[?] -76493[?] 531515[?] -108164[?] 111142[?] -76493[?] 531509[?] 111145[?] -108251[?] -108276[?] 531481[?] 108175[?] -108101[?] -111145[?] 531475[?] 111146[?] -108301[?] -108326[?] 531469[?] 111147[?] -108351[?] 92831[?] 531468[?] 108176[?] -111146[?] -111147[?] 531457[?] 111148[?] -108252[?] -108277[?] 531451[?] 108178[?] -108379[?] -111148[?] 531445[?] 111149[?] -108302[?] -108327[?] 531439[?] 111150[?] -108352[?] 92831[?] 531438[?] 108179[?] -111149[?] -111150[?] 531427[?] -5290[?] 522914[?] -5291[?] 522913[?] -5292[?] 522912[?] -5293[?] 522911[?] -5294[?] 522910[?] -5295[?] 522909[?] -5296[?] 522908[?] -5313[?] 522891[?] -7103[?] 519185[?] 5290[?] -7104[?] -7105[?] 7103[?] 7106[?] 519176[?] -7122[?] 519131[?] 5290[?] -7320[?] 7105[?] 7122[?] 518693[?] -7107[?] 7320[?] 518691[?] -9074[?] 514991[?] 5291[?] -9075[?] -9076[?] 9074[?] 9077[?] 514982[?] -9093[?] 514938[?] 569[?] -9291[?] 514499[?] 9076[?] 9093[?] -9078[?] 9291[?] 514497[?] -11045[?] 510797[?] 5292[?] -11046[?] -11047[?] 510788[?] 11045[?] 11048[?] -11064[?] 510744[?] 569[?] -11262[?] 510305[?] 11064[?] 11047[?] -11049[?] 510303[?] 11262[?] -13016[?] 506603[?] 5293[?] -13017[?] -13018[?] 13016[?] 13019[?] 506594[?] -13035[?] 506550[?] 569[?] -13233[?] 13018[?] 13035[?] 506111[?] -13020[?] 13233[?] 506109[?] -14987[?] 502409[?] 5294[?] -14988[?] -14989[?] 14987[?] 14990[?] 502400[?] -15006[?] 502356[?] 569[?] -15204[?] 15006[?] 14989[?] 501917[?] -14991[?] 15204[?] 501915[?] -16956[?] 498221[?] -425[?] -16958[?] 498215[?] 5295[?] -16959[?] -16960[?] 16958[?] 16956[?] 498209[?] -16977[?] 498162[?] 569[?] -17175[?] 16977[?] 16960[?] 497723[?] -16962[?] 17175[?] 497721[?] -18927[?] 494027[?] -496[?] -18929[?] 494021[?] 5296[?] -18930[?] -18931[?] 494015[?] 18927[?] 18929[?] -18948[?] 493968[?] 569[?] -19146[?] 18948[?] 18931[?] 493529[?] -18933[?] 19146[?] 493527[?] -20892[?] 489847[?] -518[?] -519[?] -20898[?] 489833[?] -567[?] 20900[?] 489826[?] 20901[?] -530[?] 20902[?] 20898[?] -20900[?] 489822[?] -21114[?] 489345[?] 569[?] 21115[?] 489342[?] -20902[?] 20904[?] -21115[?] 21114[?] 489337[?] -23486[?] 23488[?] 23489[?] 479582[?] -23596[?] 479091[?] 23597[?] 23598[?] -23597[?] 479047[?] 7106[?] -23598[?] 479043[?] 23601[?] -23620[?] 479041[?] 11048[?] -23621[?] 479038[?] 13019[?] -23622[?] 479034[?] 23610[?] 23683[?] 23486[?] 478863[?] 23684[?] 5313[?] -23683[?] 478859[?] -24771[?] 476428[?] 569[?] -24773[?] 476419[?] 23707[?] -24775[?] 24773[?] 24776[?] 476415[?] -24778[?] 24773[?] 24779[?] 476409[?] -24823[?] 476320[?] 569[?] -25513[?] 473324[?] 24775[?] 24771[?] -24777[?] 25513[?] 473322[?] -25515[?] 473315[?] 24778[?] 24823[?] -24780[?] 473313[?] 25515[?] 25911[?] 470599[?] 24[?] 7104[?] 470595[?] -25911[?] 26328[?] 467677[?] 95[?] 9075[?] 467673[?] -26328[?] 26745[?] 464755[?] 166[?] 11046[?] -26745[?] 464751[?] 27162[?] 461833[?] 237[?] 13017[?] 461829[?] -27162[?] 27579[?] 458910[?] 309[?] 14988[?] 458907[?] -27579[?] 27996[?] 455988[?] 380[?] 16959[?] -27996[?] 455985[?] 28413[?] 453066[?] 451[?] 18930[?] -28413[?] 453063[?] -28830[?] 450143[?] -522[?] -521[?] -20901[?] 20892[?] 28830[?] 450140[?] -37169[?] 392465[?] 9077[?] -37173[?] 392453[?] 13019[?] -37177[?] 392441[?] 16961[?] -37181[?] 392429[?] 20903[?] -37228[?] 392288[?] -37243[?] 392256[?] 37160[?] 37238[?] -37244[?] 392247[?] 37242[?] 37241[?] -23628[?] 392234[?] 37243[?] 37247[?] -23495[?] 37244[?] 37248[?] 392228[?] -37505[?] 23620[?] 23621[?] 390050[?] -23488[?] 23596[?] 37505[?] 390044[?] -37506[?] 23622[?] 23495[?] 390041[?] -23489[?] 37506[?] 23628[?] 390029[?] -52590[?] 52591[?] 37234[?] 310019[?] -52594[?] 310011[?] 569[?] -52597[?] 37181[?] 37241[?] 309992[?] -52600[?] 52597[?] 37228[?] 309971[?] -52603[?] 37177[?] 52600[?] 309956[?] -52606[?] 52603[?] 37228[?] 309935[?] -52609[?] 37173[?] 52606[?] 309920[?] -52612[?] 52609[?] 37228[?] 309899[?] -52614[?] 52612[?] 37169[?] 309884[?] -52616[?] 52614[?] 37241[?] 309869[?] -52619[?] 37228[?] 37241[?] 309848[?] -52622[?] 37181[?] 52619[?] 309833[?] -52625[?] 52622[?] 37228[?] 309812[?] -52628[?] 37177[?] 52625[?] 309797[?] -52631[?] 52628[?] 37228[?] 309776[?] -52634[?] 37173[?] 52631[?] 309761[?] -52636[?] 52634[?] 37228[?] 309740[?] -52638[?] 52636[?] 37241[?] 309728[?] -52642[?] 37169[?] 37241[?] 309710[?] -52645[?] 52642[?] 37228[?] 309689[?] -52648[?] 52645[?] 37181[?] 309674[?] -52651[?] 52648[?] 37228[?] 309653[?] -52654[?] 52651[?] 37177[?] 309638[?] -52657[?] 52654[?] 37228[?] 309617[?] -52660[?] 37173[?] 52657[?] 309602[?] -52663[?] 52660[?] 37241[?] 309581[?] -52667[?] 37228[?] 37241[?] 309560[?] -52670[?] 37169[?] 52667[?] 309545[?] -52673[?] 52670[?] 37228[?] 309524[?] -52676[?] 52673[?] 37181[?] 309509[?] -52679[?] 52676[?] 37228[?] 309488[?] -52682[?] 52679[?] 37177[?] 309473[?] -52685[?] 52682[?] 37228[?] 309452[?] -52688[?] 52685[?] 37241[?] 309434[?] -52790[?] 52616[?] 52638[?] 308834[?] -52805[?] 52590[?] 52594[?] 308788[?] -52514[?] 52805[?] 308786[?] -37247[?] 305042[?] 53263[?] 53035[?] -37248[?] 305036[?] 53017[?] 53245[?] -55561[?] 52663[?] 52688[?] 289461[?] -52591[?] 52790[?] 55561[?] 289455[?] -62696[?] 7107[?] 289134[?] -64667[?] 9078[?] 289102[?] -66638[?] 11049[?] 289070[?] -68609[?] 13020[?] 289038[?] -70580[?] 14991[?] 289006[?] -72551[?] 16962[?] 288974[?] -74522[?] 18933[?] 288942[?] 76493[?] -20904[?] 288911[?] 79275[?] -23684[?] 288623[?] -80366[?] 24777[?] 288136[?] -80369[?] 24780[?] 288134[?] -92831[?] 52514[?] 287552[?] -148336[?] 92748[?] 286280[?] -148340[?] 92752[?] 286278[?] 148414[?] -108172[?] 285915[?] 148418[?] -108173[?] 285913[?] -7106[?] 282606[?] -9077[?] 282590[?] -11048[?] 282574[?] -13019[?] 282558[?] -14990[?] 282542[?] -16961[?] 282526[?] -20903[?] 282494[?] -23601[?] 282357[?] -23610[?] 282354[?] -23707[?] 282332[?] -24776[?] 282091[?] -24779[?] 282090[?] -37160[?] 281997[?] -37234[?] 281815[?] -37238[?] 281814[?] -37241[?] 281813[?] -37242[?] 281810[?] -53035[?] 281808[?] -53017[?] 281807[?] -53263[?] 281805[?] -53245[?] 281804[?] -24[?] 281780[?] -95[?] 281709[?] -166[?] 281638[?] -237[?] 281567[?] -309[?] 281495[?] -380[?] 281424[?] 425[?] 281379[?] -451[?] 281353[?] 496[?] 281308[?] 518[?] 281286[?] 519[?] 281285[?] 521[?] 281283[?] 522[?] 281282[?] 530[?] 281274[?] 567[?] 281237[?] -569[?] 281235[?] -56159[?] 280618[?] 111638[?] 280112[?] 111672[?] 280078[?] 111709[?] 280041[?] 111743[?] 280007[?] -114531[?] 278655[?] 2.86/2.59 c qxplain 0/393 3.74/3.37 c qxplain 197/393 4.21/3.89 c qxplain 296/393 4.83/4.42 c qxplain 345/393 5.32/4.92 c qxplain 370/393 5.81/5.43 c qxplain 382/393 6.32/5.92 c qxplain 388/393 6.81/6.41 c qxplain 391/393 7.32/6.90 c qxplain 393/393 7.72/7.39 c -114531[?] 278655[?] is mandatory 7.72/7.39 c qxplain 391/392 8.34/7.91 c qxplain 392/392 8.45/8.02 c qxplain 391/391 8.97/8.52 c 111709[?] 280041[?] is mandatory 8.97/8.52 c qxplain 388/390 9.45/9.04 c qxplain 390/390 9.45/9.09 c qxplain 388/389 9.95/9.59 c qxplain 389/389 10.53/10.10 c 111638[?] 280112[?] is mandatory 10.53/10.10 c qxplain 388/388 10.93/10.60 c -56159[?] 280618[?] is mandatory 10.93/10.60 c qxplain 382/387 13.19/11.90 c qxplain 385/387 13.51/12.26 c qxplain 387/387 13.88/12.62 c -569[?] 281235[?] is mandatory 13.88/12.62 c qxplain 385/386 14.18/12.98 c qxplain 386/386 14.60/13.34 c 567[?] 281237[?] is mandatory 14.60/13.34 c qxplain 385/385 14.88/13.69 c 530[?] 281274[?] is mandatory 14.88/13.69 c qxplain 382/384 15.28/14.05 c qxplain 384/384 15.60/14.41 c 522[?] 281282[?] is mandatory 15.60/14.41 c qxplain 382/383 15.99/14.77 c qxplain 383/383 16.39/15.13 c 521[?] 281283[?] is mandatory 16.39/15.13 c qxplain 382/382 16.70/15.49 c 519[?] 281285[?] is mandatory 16.70/15.49 c qxplain 370/381 17.09/15.85 c qxplain 376/381 17.49/16.21 c qxplain 379/381 17.80/16.57 c qxplain 381/381 18.19/16.93 c 518[?] 281286[?] is mandatory 18.19/16.93 c qxplain 379/380 18.49/17.29 c qxplain 380/380 18.90/17.65 c 496[?] 281308[?] is mandatory 18.90/17.65 c qxplain 379/379 19.29/18.01 c -451[?] 281353[?] is mandatory 19.29/18.01 c qxplain 376/378 19.59/18.37 c qxplain 378/378 19.99/18.73 c 425[?] 281379[?] is mandatory 19.99/18.73 c qxplain 376/377 20.28/19.08 c qxplain 377/377 20.68/19.44 c -380[?] 281424[?] is mandatory 20.68/19.44 c qxplain 376/376 21.09/19.82 c -309[?] 281495[?] is mandatory 21.09/19.82 c qxplain 370/375 21.38/20.16 c qxplain 373/375 21.78/20.52 c qxplain 375/375 22.08/20.88 c -237[?] 281567[?] is mandatory 22.08/20.88 c qxplain 373/374 22.48/21.24 c qxplain 374/374 22.78/21.59 c -166[?] 281638[?] is mandatory 22.78/21.59 c qxplain 373/373 23.18/21.95 c -95[?] 281709[?] is mandatory 23.18/21.95 c qxplain 370/372 23.58/22.31 c qxplain 372/372 23.88/22.67 c -24[?] 281780[?] is mandatory 23.88/22.67 c qxplain 370/371 25.04/23.41 c qxplain 371/371 25.34/23.77 c -53245[?] 281804[?] is mandatory 25.34/23.77 c qxplain 370/370 25.74/24.13 c -53263[?] 281805[?] is mandatory 25.74/24.13 c qxplain 345/369 26.04/24.49 c qxplain 358/369 26.44/24.85 c qxplain 364/369 26.84/25.21 c qxplain 367/369 27.14/25.58 c qxplain 369/369 27.54/25.94 c -53017[?] 281807[?] is mandatory 27.54/25.94 c qxplain 367/368 27.94/26.30 c qxplain 368/368 28.24/26.66 c -53035[?] 281808[?] is mandatory 28.24/26.66 c qxplain 367/367 28.64/27.03 c -37242[?] 281810[?] is mandatory 28.64/27.03 c qxplain 364/366 28.94/27.39 c qxplain 366/366 29.34/27.75 c -37241[?] 281813[?] is mandatory 29.34/27.75 c qxplain 364/365 29.74/28.11 c qxplain 365/365 30.04/28.47 c -37238[?] 281814[?] is mandatory 30.04/28.47 c qxplain 364/364 30.44/28.83 c -37234[?] 281815[?] is mandatory 30.44/28.83 c qxplain 358/363 30.74/29.19 c qxplain 361/363 31.14/29.55 c qxplain 363/363 31.54/29.92 c -37160[?] 281997[?] is mandatory 31.54/29.92 c qxplain 361/362 31.84/30.28 c qxplain 362/362 32.24/30.64 c -24779[?] 282090[?] is mandatory 32.24/30.64 c qxplain 361/361 32.64/31.00 c -24776[?] 282091[?] is mandatory 32.64/31.00 c qxplain 358/360 32.94/31.36 c qxplain 360/360 33.34/31.73 c -23707[?] 282332[?] is mandatory 33.34/31.73 c qxplain 358/359 33.66/32.10 c qxplain 359/359 34.04/32.46 c -23610[?] 282354[?] is mandatory 34.04/32.46 c qxplain 358/358 34.44/32.82 c -23601[?] 282357[?] is mandatory 34.44/32.82 c qxplain 345/357 34.76/33.18 c qxplain 352/357 35.14/33.55 c qxplain 355/357 35.54/33.91 c qxplain 357/357 35.86/34.28 c -20903[?] 282494[?] is mandatory 35.86/34.28 c qxplain 355/356 36.85/34.95 c qxplain 356/356 37.26/35.32 c -16961[?] 282526[?] is mandatory 37.26/35.32 c qxplain 355/355 37.55/35.67 c -14990[?] 282542[?] is mandatory 37.55/35.67 c qxplain 352/354 37.95/36.03 c qxplain 354/354 38.25/36.39 c -13019[?] 282558[?] is mandatory 38.25/36.39 c qxplain 352/353 38.65/36.75 c qxplain 353/353 39.05/37.12 c -11048[?] 282574[?] is mandatory 39.05/37.12 c qxplain 352/352 39.35/37.48 c -9077[?] 282590[?] is mandatory 39.35/37.48 c qxplain 345/351 39.75/37.84 c qxplain 349/351 40.15/38.20 c qxplain 351/351 40.45/38.56 c -7106[?] 282606[?] is mandatory 40.45/38.56 c qxplain 349/350 40.85/38.92 c qxplain 350/350 41.15/39.28 c 285913[?] 148418[?] -108173[?] is mandatory 41.15/39.28 c qxplain 349/349 41.55/39.64 c 285915[?] 148414[?] -108172[?] is mandatory 41.55/39.64 c qxplain 345/348 41.95/40.00 c qxplain 347/348 42.25/40.37 c qxplain 348/348 42.65/40.73 c 286278[?] -148340[?] 92752[?] is mandatory 42.65/40.73 c qxplain 347/347 43.07/41.14 c 286280[?] -148336[?] 92748[?] is mandatory 43.07/41.14 c qxplain 345/346 43.47/41.50 c qxplain 346/346 43.77/41.86 c 287552[?] -92831[?] 52514[?] is mandatory 43.77/41.86 c qxplain 345/345 44.15/42.24 c 288134[?] -80369[?] 24780[?] is mandatory 44.15/42.24 c qxplain 296/344 44.55/42.61 c qxplain 321/344 44.85/42.97 c qxplain 333/344 45.24/43.34 c qxplain 339/344 45.64/43.70 c qxplain 342/344 45.94/44.06 c qxplain 344/344 46.34/44.42 c 288136[?] -80366[?] 24777[?] is mandatory 46.34/44.42 c qxplain 342/343 46.64/44.78 c qxplain 343/343 47.04/45.14 c 288623[?] 79275[?] -23684[?] is mandatory 47.04/45.14 c qxplain 342/342 47.44/45.50 c 288911[?] 76493[?] -20904[?] is mandatory 47.44/45.50 c qxplain 339/341 47.74/45.86 c qxplain 341/341 48.78/46.53 c 288942[?] -74522[?] 18933[?] is mandatory 48.78/46.53 c qxplain 339/340 49.06/46.89 c qxplain 340/340 49.46/47.25 c 288974[?] -72551[?] 16962[?] is mandatory 49.46/47.25 c qxplain 339/339 49.77/47.61 c 289006[?] -70580[?] 14991[?] is mandatory 49.77/47.61 c qxplain 333/338 50.16/47.97 c qxplain 336/338 50.56/48.32 c qxplain 338/338 50.87/48.68 c 289038[?] -68609[?] 13020[?] is mandatory 50.87/48.68 c qxplain 336/337 51.26/49.04 c qxplain 337/337 51.66/49.40 c 289070[?] -66638[?] 11049[?] is mandatory 51.66/49.40 c qxplain 336/336 51.97/49.76 c 289102[?] -64667[?] 9078[?] is mandatory 51.97/49.76 c qxplain 333/335 52.36/50.11 c qxplain 335/335 52.66/50.47 c 289134[?] -62696[?] 7107[?] is mandatory 52.66/50.47 c qxplain 333/334 53.07/50.83 c qxplain 334/334 53.35/51.19 c 289455[?] -52591[?] 55561[?] 52790[?] is mandatory 53.35/51.19 c qxplain 333/333 53.75/51.55 c 289461[?] -55561[?] 52663[?] 52688[?] is mandatory 53.75/51.55 c qxplain 321/332 54.05/51.91 c qxplain 327/332 54.45/52.26 c qxplain 330/332 54.85/52.62 c qxplain 332/332 55.15/52.98 c 305036[?] -37248[?] 53245[?] 53017[?] is mandatory 55.15/52.98 c qxplain 330/331 55.56/53.34 c qxplain 331/331 55.86/53.70 c 305042[?] -37247[?] 53263[?] 53035[?] is mandatory 55.86/53.70 c qxplain 330/330 56.26/54.05 c 308786[?] -52514[?] 52805[?] is mandatory 56.26/54.05 c qxplain 327/329 56.66/54.41 c qxplain 329/329 56.96/54.77 c 308788[?] -52805[?] 52590[?] 52594[?] is mandatory 56.96/54.77 c qxplain 327/328 57.36/55.13 c qxplain 328/328 57.66/55.49 c 308834[?] -52790[?] 52616[?] 52638[?] is mandatory 57.66/55.49 c qxplain 327/327 58.06/55.86 c 309434[?] -52688[?] 52685[?] 37241[?] is mandatory 58.06/55.86 c qxplain 321/326 58.46/56.22 c qxplain 324/326 58.76/56.58 c qxplain 326/326 59.16/56.93 c 309452[?] -52685[?] 52682[?] 37228[?] is mandatory 59.16/56.93 c qxplain 324/325 59.46/57.29 c qxplain 325/325 60.47/57.99 c 309473[?] -52682[?] 52679[?] 37177[?] is mandatory 60.47/57.99 c qxplain 324/324 60.87/58.35 c 309488[?] -52679[?] 52676[?] 37228[?] is mandatory 60.87/58.35 c qxplain 321/323 61.18/58.70 c qxplain 323/323 61.57/59.06 c 309509[?] -52676[?] 52673[?] 37181[?] is mandatory 61.57/59.06 c qxplain 321/322 61.97/59.41 c qxplain 322/322 62.28/59.77 c 309524[?] -52673[?] 52670[?] 37228[?] is mandatory 62.28/59.77 c qxplain 321/321 62.67/60.13 c 309545[?] -52670[?] 52667[?] 37169[?] is mandatory 62.67/60.13 c qxplain 296/320 62.97/60.48 c qxplain 309/320 63.38/60.84 c qxplain 315/320 63.67/61.20 c qxplain 318/320 64.07/61.55 c qxplain 320/320 64.37/61.91 c 309560[?] -52667[?] 37241[?] 37228[?] is mandatory 64.37/61.91 c qxplain 318/319 64.77/62.27 c qxplain 319/319 65.17/62.62 c 309581[?] -52663[?] 52660[?] 37241[?] is mandatory 65.17/62.63 c qxplain 318/318 65.47/62.98 c 309602[?] -52660[?] 52657[?] 37173[?] is mandatory 65.47/62.98 c qxplain 315/317 65.87/63.34 c qxplain 317/317 66.17/63.69 c 309617[?] -52657[?] 52654[?] 37228[?] is mandatory 66.17/63.69 c qxplain 315/316 66.57/64.05 c qxplain 316/316 66.97/64.40 c 309638[?] -52654[?] 52651[?] 37177[?] is mandatory 66.97/64.40 c qxplain 315/315 67.27/64.76 c 309653[?] -52651[?] 52648[?] 37228[?] is mandatory 67.27/64.76 c qxplain 309/314 67.67/65.12 c qxplain 312/314 67.97/65.47 c qxplain 314/314 68.37/65.83 c 309674[?] -52648[?] 52645[?] 37181[?] is mandatory 68.37/65.83 c qxplain 312/313 68.67/66.18 c qxplain 313/313 69.07/66.54 c 309689[?] -52645[?] 52642[?] 37228[?] is mandatory 69.07/66.54 c qxplain 312/312 69.37/66.89 c 309710[?] -52642[?] 37241[?] 37169[?] is mandatory 69.37/66.89 c qxplain 309/311 69.77/67.25 c qxplain 311/311 70.17/67.61 c 309728[?] -52638[?] 52636[?] 37241[?] is mandatory 70.17/67.61 c qxplain 309/310 70.47/67.96 c qxplain 310/310 70.87/68.32 c 309740[?] -52636[?] 52634[?] 37228[?] is mandatory 70.87/68.32 c qxplain 309/309 71.19/68.67 c 309761[?] -52634[?] 52631[?] 37173[?] is mandatory 71.19/68.67 c qxplain 296/308 72.19/69.35 c qxplain 303/308 72.50/69.71 c qxplain 306/308 72.89/70.07 c qxplain 308/308 73.28/70.43 c 309776[?] -52631[?] 52628[?] 37228[?] is mandatory 73.28/70.43 c qxplain 306/307 73.59/70.79 c qxplain 307/307 73.99/71.15 c 309797[?] -52628[?] 52625[?] 37177[?] is mandatory 73.99/71.15 c qxplain 306/306 74.39/71.51 c 309812[?] -52625[?] 52622[?] 37228[?] is mandatory 74.39/71.51 c qxplain 303/305 74.70/71.87 c qxplain 305/305 75.09/72.24 c 309833[?] -52622[?] 52619[?] 37181[?] is mandatory 75.09/72.24 c qxplain 303/304 75.49/72.60 c qxplain 304/304 75.80/72.96 c 309848[?] -52619[?] 37241[?] 37228[?] is mandatory 75.80/72.96 c qxplain 303/303 76.19/73.32 c 309869[?] -52616[?] 52614[?] 37241[?] is mandatory 76.19/73.32 c qxplain 296/302 76.49/73.68 c qxplain 300/302 76.90/74.04 c qxplain 302/302 77.29/74.40 c 309884[?] -52614[?] 52612[?] 37169[?] is mandatory 77.29/74.40 c qxplain 300/301 77.59/74.77 c qxplain 301/301 78.00/75.12 c 309899[?] -52612[?] 52609[?] 37228[?] is mandatory 78.00/75.12 c qxplain 300/300 78.29/75.48 c 309920[?] -52609[?] 52606[?] 37173[?] is mandatory 78.29/75.48 c qxplain 296/299 78.69/75.84 c qxplain 298/299 79.73/76.57 c qxplain 299/299 80.13/76.93 c 309935[?] -52606[?] 52603[?] 37228[?] is mandatory 80.13/76.93 c qxplain 298/298 80.53/77.32 c 309956[?] -52603[?] 52600[?] 37177[?] is mandatory 80.53/77.32 c qxplain 296/297 80.81/77.68 c qxplain 297/297 81.21/78.05 c 309971[?] -52600[?] 52597[?] 37228[?] is mandatory 81.21/78.05 c qxplain 296/296 81.51/78.41 c 309992[?] -52597[?] 37241[?] 37181[?] is mandatory 81.51/78.41 c qxplain 197/295 81.91/78.77 c qxplain 247/295 82.31/79.12 c qxplain 272/295 82.61/79.48 c qxplain 284/295 83.01/79.84 c qxplain 290/295 83.31/80.20 c qxplain 293/295 83.71/80.56 c qxplain 295/295 84.11/80.92 c 310011[?] -52594[?] 569[?] is mandatory 84.11/80.92 c qxplain 293/294 84.41/81.27 c qxplain 294/294 84.81/81.64 c 310019[?] -52590[?] 52591[?] 37234[?] is mandatory 84.81/81.64 c qxplain 293/293 85.21/82.00 c 390029[?] -23489[?] 37506[?] 23628[?] is mandatory 85.21/82.00 c qxplain 290/292 85.51/82.36 c qxplain 292/292 85.91/82.72 c 390041[?] -37506[?] 23495[?] 23622[?] is mandatory 85.91/82.72 c qxplain 290/291 86.21/83.08 c qxplain 291/291 86.61/83.44 c 390044[?] -23488[?] 37505[?] 23596[?] is mandatory 86.61/83.44 c qxplain 290/290 87.02/83.82 c 390050[?] -37505[?] 23621[?] 23620[?] is mandatory 87.02/83.82 c qxplain 284/289 87.32/84.18 c qxplain 287/289 87.72/84.54 c qxplain 289/289 88.02/84.90 c 392228[?] -23495[?] 37244[?] 37248[?] is mandatory 88.02/84.90 c qxplain 287/288 88.42/85.25 c qxplain 288/288 88.82/85.62 c 392234[?] -23628[?] 37247[?] 37243[?] is mandatory 88.82/85.62 c qxplain 287/287 89.12/85.99 c 392247[?] -37244[?] 37242[?] 37241[?] is mandatory 89.12/85.99 c qxplain 284/286 89.52/86.35 c qxplain 286/286 89.92/86.71 c 392256[?] -37243[?] 37238[?] 37160[?] is mandatory 89.92/86.71 c qxplain 284/285 90.22/87.07 c qxplain 285/285 90.62/87.44 c -37228[?] 392288[?] is mandatory 90.62/87.44 c qxplain 284/284 91.02/87.80 c 392429[?] -37181[?] 20903[?] is mandatory 91.02/87.80 c qxplain 272/283 91.32/88.16 c qxplain 278/283 91.72/88.52 c qxplain 281/283 92.02/88.88 c qxplain 283/283 92.43/89.24 c 392441[?] -37177[?] 16961[?] is mandatory 92.43/89.24 c qxplain 281/282 92.83/89.61 c qxplain 282/282 93.13/89.97 c 392453[?] -37173[?] 13019[?] is mandatory 93.13/89.97 c qxplain 281/281 93.53/90.35 c 392465[?] -37169[?] 9077[?] is mandatory 93.53/90.35 c qxplain 278/280 93.93/90.71 c qxplain 280/280 94.23/91.07 c 450140[?] -20901[?] 28830[?] 20892[?] is mandatory 94.23/91.07 c qxplain 278/279 94.63/91.43 c qxplain 279/279 94.95/91.79 c 450143[?] -28830[?] -522[?] -521[?] is mandatory 94.95/91.79 c qxplain 278/278 95.33/92.16 c 453063[?] 18930[?] -28413[?] is mandatory 95.33/92.16 c qxplain 272/277 95.73/92.52 c qxplain 275/277 96.05/92.88 c qxplain 277/277 96.43/93.24 c 453066[?] 28413[?] 451[?] is mandatory 96.43/93.24 c qxplain 275/276 96.83/93.60 c qxplain 276/276 97.15/93.97 c 455985[?] 16959[?] -27996[?] is mandatory 97.15/93.97 c qxplain 275/275 97.53/94.33 c 455988[?] 27996[?] 380[?] is mandatory 97.53/94.33 c qxplain 272/274 97.83/94.69 c qxplain 274/274 98.25/95.05 c 458907[?] 14988[?] -27579[?] is mandatory 98.25/95.05 c qxplain 272/273 98.63/95.41 c qxplain 273/273 98.93/95.77 c 458910[?] 27579[?] 309[?] is mandatory 98.93/95.77 c qxplain 272/272 99.35/96.14 c 461829[?] 13017[?] -27162[?] is mandatory 99.35/96.15 c qxplain 247/271 99.73/96.51 c qxplain 260/271 100.04/96.88 c qxplain 266/271 100.46/97.24 c qxplain 269/271 100.84/97.60 c qxplain 271/271 101.14/97.96 c 461833[?] 27162[?] 237[?] is mandatory 101.14/97.96 c qxplain 269/270 101.56/98.32 c qxplain 270/270 101.84/98.69 c 464751[?] 11046[?] -26745[?] is mandatory 101.84/98.69 c qxplain 269/269 102.24/99.05 c 464755[?] 26745[?] 166[?] is mandatory 102.24/99.05 c qxplain 266/268 102.55/99.41 c qxplain 268/268 102.94/99.77 c 467673[?] 9075[?] -26328[?] is mandatory 102.94/99.77 c qxplain 266/267 103.34/100.13 c qxplain 267/267 103.65/100.49 c 467677[?] 26328[?] 95[?] is mandatory 103.65/100.49 c qxplain 266/266 104.04/100.86 c 470595[?] 7104[?] -25911[?] is mandatory 104.04/100.86 c qxplain 260/265 104.44/101.21 c qxplain 263/265 104.75/101.57 c qxplain 265/265 105.14/101.93 c 470599[?] 25911[?] 24[?] is mandatory 105.14/101.93 c qxplain 263/264 105.44/102.29 c qxplain 264/264 105.85/102.66 c 473313[?] -24780[?] 25515[?] is mandatory 105.85/102.66 c qxplain 263/263 106.25/103.03 c 473315[?] -25515[?] 24823[?] 24778[?] is mandatory 106.25/103.03 c qxplain 260/262 106.65/103.40 c qxplain 262/262 106.96/103.76 c 473322[?] -24777[?] 25513[?] is mandatory 106.96/103.76 c qxplain 260/261 107.35/104.12 c qxplain 261/261 107.65/104.49 c 473324[?] -25513[?] 24771[?] 24775[?] is mandatory 107.65/104.49 c qxplain 260/260 108.06/104.85 c 476320[?] -24823[?] 569[?] is mandatory 108.06/104.85 c qxplain 247/259 108.45/105.21 c qxplain 254/259 108.75/105.57 c qxplain 257/259 109.16/105.93 c qxplain 259/259 109.45/106.29 c 476409[?] -24778[?] 24773[?] 24779[?] is mandatory 109.45/106.29 c qxplain 257/258 109.85/106.65 c qxplain 258/258 110.15/107.01 c 476415[?] -24775[?] 24773[?] 24776[?] is mandatory 110.15/107.01 c qxplain 257/257 110.55/107.37 c 476419[?] -24773[?] 23707[?] is mandatory 110.55/107.38 c qxplain 254/256 110.95/107.73 c qxplain 256/256 111.25/108.09 c 476428[?] -24771[?] 569[?] is mandatory 111.25/108.09 c qxplain 254/255 111.65/108.45 c qxplain 255/255 112.05/108.82 c 478859[?] 23684[?] -23683[?] 5313[?] is mandatory 112.05/108.82 c qxplain 254/254 112.35/109.18 c 478863[?] 23683[?] 23486[?] is mandatory 112.35/109.18 c qxplain 247/253 112.76/109.56 c qxplain 251/253 113.16/109.92 c qxplain 253/253 113.46/110.28 c 479034[?] -23622[?] 23610[?] is mandatory 113.46/110.28 c qxplain 251/252 113.86/110.63 c qxplain 252/252 114.26/111.01 c 479038[?] -23621[?] 13019[?] is mandatory 114.26/111.01 c qxplain 251/251 114.56/111.37 c 479041[?] -23620[?] 11048[?] is mandatory 114.56/111.37 c qxplain 247/250 114.96/111.74 c qxplain 249/250 115.36/112.10 c qxplain 250/250 115.66/112.47 c 479043[?] -23598[?] 23601[?] is mandatory 115.66/112.47 c qxplain 249/249 116.06/112.83 c 479047[?] -23597[?] 7106[?] is mandatory 116.06/112.83 c qxplain 247/248 116.36/113.19 c qxplain 248/248 116.76/113.56 c 479091[?] -23596[?] 23598[?] 23597[?] is mandatory 116.76/113.56 c qxplain 247/247 117.16/113.93 c 479582[?] -23486[?] 23488[?] 23489[?] is mandatory 117.16/113.93 c qxplain 197/246 117.46/114.29 c qxplain 222/246 117.86/114.64 c qxplain 235/246 118.26/115.00 c qxplain 241/246 118.56/115.36 c qxplain 244/246 118.96/115.72 c qxplain 246/246 119.26/116.08 c 489337[?] 20904[?] 21114[?] -21115[?] is mandatory 119.26/116.08 c qxplain 244/245 119.67/116.45 c qxplain 245/245 120.07/116.82 c 489342[?] 21115[?] -20902[?] is mandatory 120.07/116.82 c qxplain 244/244 120.47/117.20 c 489345[?] -21114[?] 569[?] is mandatory 120.47/117.20 c qxplain 241/243 120.77/117.56 c qxplain 243/243 121.17/117.92 c 489822[?] 20902[?] 20898[?] -20900[?] is mandatory 121.17/117.92 c qxplain 241/242 121.47/118.28 c qxplain 242/242 121.87/118.65 c 489826[?] 20900[?] -530[?] 20901[?] is mandatory 121.87/118.65 c qxplain 241/241 122.27/119.01 c 489833[?] -20898[?] -567[?] is mandatory 122.27/119.01 c qxplain 235/240 122.57/119.37 c qxplain 238/240 122.97/119.73 c qxplain 240/240 123.27/120.09 c 489847[?] -20892[?] -519[?] -518[?] is mandatory 123.27/120.09 c qxplain 238/239 123.67/120.45 c qxplain 239/239 124.07/120.81 c 493527[?] -18933[?] 19146[?] is mandatory 124.07/120.81 c qxplain 238/238 124.37/121.18 c 493529[?] -19146[?] 18948[?] 18931[?] is mandatory 124.37/121.18 c qxplain 235/237 124.77/121.54 c qxplain 237/237 125.07/121.90 c 493968[?] -18948[?] 569[?] is mandatory 125.07/121.90 c qxplain 235/236 125.47/122.26 c qxplain 236/236 125.87/122.62 c 494015[?] -18931[?] 18929[?] 18927[?] is mandatory 125.87/122.62 c qxplain 235/235 126.29/123.00 c 494021[?] -18929[?] -18930[?] 5296[?] is mandatory 126.29/123.00 c qxplain 222/234 126.59/123.36 c qxplain 229/234 126.99/123.72 c qxplain 232/234 127.29/124.08 c qxplain 234/234 127.69/124.44 c 494027[?] -18927[?] -496[?] is mandatory 127.69/124.44 c qxplain 232/233 128.09/124.80 c qxplain 233/233 128.39/125.17 c 497721[?] -16962[?] 17175[?] is mandatory 128.39/125.17 c qxplain 232/232 128.79/125.53 c 497723[?] -17175[?] 16977[?] 16960[?] is mandatory 128.79/125.53 c qxplain 229/231 129.11/125.89 c qxplain 231/231 129.49/126.25 c 498162[?] -16977[?] 569[?] is mandatory 129.49/126.25 c qxplain 229/230 129.89/126.61 c qxplain 230/230 130.21/126.99 c 498209[?] -16960[?] 16958[?] 16956[?] is mandatory 130.21/126.99 c qxplain 229/229 130.59/127.36 c 498215[?] -16958[?] -16959[?] 5295[?] is mandatory 130.59/127.36 c qxplain 222/228 130.99/127.72 c qxplain 226/228 131.31/128.08 c qxplain 228/228 131.69/128.44 c 498221[?] -16956[?] -425[?] is mandatory 131.69/128.44 c qxplain 226/227 132.09/128.80 c qxplain 227/227 132.41/129.17 c 501915[?] -14991[?] 15204[?] is mandatory 132.41/129.17 c qxplain 226/226 132.79/129.53 c 501917[?] -15204[?] 15006[?] 14989[?] is mandatory 132.79/129.53 c qxplain 222/225 133.09/129.89 c qxplain 224/225 133.52/130.26 c qxplain 225/225 133.90/130.63 c 502356[?] -15006[?] 569[?] is mandatory 133.90/130.63 c qxplain 224/224 134.20/130.99 c 502400[?] -14989[?] 14987[?] 14990[?] is mandatory 134.20/130.99 c qxplain 222/223 134.62/131.35 c qxplain 223/223 135.00/131.71 c 502409[?] -14987[?] -14988[?] 5294[?] is mandatory 135.00/131.71 c qxplain 222/222 135.30/132.08 c 506109[?] -13020[?] 13233[?] is mandatory 135.30/132.08 c qxplain 197/221 135.72/132.44 c qxplain 210/221 136.10/132.80 c qxplain 216/221 136.40/133.15 c qxplain 219/221 136.71/133.51 c qxplain 221/221 137.10/133.87 c 506111[?] -13233[?] 13035[?] 13018[?] is mandatory 137.10/133.87 c qxplain 219/220 137.50/134.23 c qxplain 220/220 137.81/134.60 c 506550[?] -13035[?] 569[?] is mandatory 137.81/134.60 c qxplain 219/219 138.20/134.97 c 506594[?] -13018[?] 13016[?] 13019[?] is mandatory 138.20/134.97 c qxplain 216/218 138.60/135.33 c qxplain 218/218 138.91/135.69 c 506603[?] -13016[?] -13017[?] 5293[?] is mandatory 138.91/135.69 c qxplain 216/217 139.30/136.05 c qxplain 217/217 139.70/136.41 c 510303[?] -11049[?] 11262[?] is mandatory 139.70/136.41 c qxplain 216/216 140.01/136.78 c 510305[?] -11262[?] 11064[?] 11047[?] is mandatory 140.01/136.78 c qxplain 210/215 140.40/137.14 c qxplain 213/215 140.80/137.51 c qxplain 215/215 141.11/137.87 c 510744[?] -11064[?] 569[?] is mandatory 141.11/137.87 c qxplain 213/214 141.50/138.23 c qxplain 214/214 141.80/138.59 c 510788[?] -11047[?] 11045[?] 11048[?] is mandatory 141.80/138.59 c qxplain 213/213 142.21/138.96 c 510797[?] -11045[?] -11046[?] 5292[?] is mandatory 142.21/138.96 c qxplain 210/212 142.60/139.32 c qxplain 212/212 142.90/139.68 c 514497[?] -9078[?] 9291[?] is mandatory 142.90/139.68 c qxplain 210/211 143.31/140.04 c qxplain 211/211 143.70/140.40 c 514499[?] -9291[?] 9093[?] 9076[?] is mandatory 143.70/140.40 c qxplain 210/210 144.00/140.77 c 514938[?] -9093[?] 569[?] is mandatory 144.00/140.77 c qxplain 197/209 144.41/141.13 c qxplain 204/209 144.70/141.49 c qxplain 207/209 145.10/141.84 c qxplain 209/209 145.40/142.20 c 514982[?] -9076[?] 9074[?] 9077[?] is mandatory 145.40/142.20 c qxplain 207/208 145.80/142.56 c qxplain 208/208 146.20/142.93 c 514991[?] -9074[?] -9075[?] 5291[?] is mandatory 146.20/142.93 c qxplain 207/207 146.50/143.30 c 518691[?] -7107[?] 7320[?] is mandatory 146.50/143.30 c qxplain 204/206 146.90/143.66 c qxplain 206/206 147.30/144.02 c 518693[?] -7320[?] 7105[?] 7122[?] is mandatory 147.30/144.02 c qxplain 204/205 147.60/144.38 c qxplain 205/205 148.00/144.74 c 519131[?] -7122[?] 5290[?] is mandatory 148.00/144.74 c qxplain 204/204 148.40/145.11 c 519176[?] -7105[?] 7103[?] 7106[?] is mandatory 148.40/145.11 c qxplain 197/203 148.70/145.49 c qxplain 201/203 149.10/145.85 c qxplain 203/203 149.50/146.21 c 519185[?] -7103[?] -7104[?] 5290[?] is mandatory 149.50/146.21 c qxplain 201/202 149.80/146.57 c qxplain 202/202 150.20/146.94 c -5313[?] 522891[?] is mandatory 150.20/146.94 c qxplain 201/201 150.60/147.30 c -5296[?] 522908[?] is mandatory 150.60/147.30 c qxplain 197/200 150.90/147.66 c qxplain 199/200 151.30/148.02 c qxplain 200/200 151.60/148.39 c -5295[?] 522909[?] is mandatory 151.60/148.39 c qxplain 199/199 152.00/148.75 c -5294[?] 522910[?] is mandatory 152.00/148.75 c qxplain 197/198 152.40/149.11 c qxplain 198/198 152.70/149.47 c -5293[?] 522911[?] is mandatory 152.70/149.47 c qxplain 197/197 153.10/149.84 c -5292[?] 522912[?] is mandatory 153.10/149.84 c qxplain 0/196 153.50/150.20 c qxplain 99/196 153.80/150.56 c qxplain 148/196 154.20/150.92 c qxplain 173/196 154.50/151.28 c qxplain 185/196 154.90/151.64 c qxplain 191/196 155.30/152.00 c qxplain 194/196 155.60/152.37 c qxplain 196/196 156.00/152.73 c -5291[?] 522913[?] is mandatory 156.00/152.73 c qxplain 194/195 156.41/153.10 c qxplain 195/195 156.71/153.47 c -5290[?] 522914[?] is mandatory 156.71/153.47 c qxplain 194/194 157.11/153.83 c 531427[?] 108179[?] -111149[?] -111150[?] is mandatory 157.11/153.83 c qxplain 191/193 157.41/154.19 c qxplain 193/193 157.81/154.56 c 531438[?] 111150[?] -108352[?] 92831[?] is mandatory 157.81/154.56 c qxplain 191/192 158.21/154.92 c qxplain 192/192 158.51/155.28 c 531439[?] 111149[?] -108302[?] -108327[?] is mandatory 158.51/155.28 c qxplain 191/191 158.91/155.64 c 531445[?] 108178[?] -108379[?] -111148[?] is mandatory 158.91/155.65 c qxplain 185/190 159.31/156.00 c qxplain 188/190 159.61/156.36 c qxplain 190/190 160.01/156.72 c 531451[?] 111148[?] -108252[?] -108277[?] is mandatory 160.01/156.72 c qxplain 188/189 160.31/157.08 c qxplain 189/189 160.71/157.45 c 531457[?] 108176[?] -111147[?] -111146[?] is mandatory 160.71/157.45 c qxplain 188/188 161.11/157.81 c 531468[?] 111147[?] -108351[?] 92831[?] is mandatory 161.11/157.81 c qxplain 185/187 161.41/158.17 c qxplain 187/187 161.81/158.53 c 531469[?] 111146[?] -108301[?] -108326[?] is mandatory 161.81/158.53 c qxplain 185/186 162.13/158.89 c qxplain 186/186 162.51/159.26 c 531475[?] 108175[?] -111145[?] -108101[?] is mandatory 162.51/159.26 c qxplain 185/185 162.91/159.62 c 531481[?] 111145[?] -108251[?] -108276[?] is mandatory 162.91/159.62 c qxplain 173/184 163.23/159.98 c qxplain 179/184 163.61/160.34 c qxplain 182/184 164.01/160.70 c qxplain 184/184 164.33/161.06 c 531509[?] -108164[?] 111142[?] -76493[?] is mandatory 164.33/161.06 c qxplain 182/183 164.72/161.43 c qxplain 183/183 165.02/161.80 c 531515[?] -108166[?] 111141[?] -76493[?] is mandatory 165.02/161.80 c qxplain 182/182 165.44/162.16 c 531521[?] -108168[?] 111140[?] -76493[?] is mandatory 165.44/162.16 c qxplain 179/181 165.82/162.52 c qxplain 181/181 166.12/162.88 c 531524[?] -111142[?] -111135[?] 108100[?] is mandatory 166.12/162.88 c qxplain 179/180 166.54/163.24 c qxplain 180/180 166.92/163.61 c 531530[?] -111141[?] 111139[?] 108100[?] is mandatory 166.92/163.61 c qxplain 179/179 167.22/163.97 c 531537[?] -111140[?] 111131[?] 108100[?] is mandatory 167.22/163.97 c qxplain 173/178 167.64/164.33 c qxplain 176/178 168.02/164.70 c qxplain 178/178 168.32/165.07 c 531545[?] -111139[?] -111136[?] -111135[?] is mandatory 168.32/165.07 c qxplain 176/177 168.74/165.43 c qxplain 177/177 169.02/165.80 c 531558[?] 111136[?] 80366[?] is mandatory 169.02/165.80 c qxplain 176/176 169.42/166.16 c 531560[?] 111135[?] 80369[?] is mandatory 169.42/166.16 c qxplain 173/175 169.84/166.53 c qxplain 175/175 170.12/166.89 c 531575[?] -111131[?] 80366[?] 80369[?] is mandatory 170.12/166.89 c qxplain 173/174 170.52/167.25 c qxplain 174/174 170.83/167.62 c 531586[?] -108156[?] 74522[?] 108099[?] is mandatory 170.83/167.62 c qxplain 173/173 171.22/167.98 c 531592[?] -108158[?] 74522[?] 108099[?] is mandatory 171.22/167.98 c qxplain 148/172 171.62/168.34 c qxplain 161/172 171.93/168.70 c qxplain 167/172 172.32/169.08 c qxplain 170/172 172.72/169.44 c qxplain 172/172 173.15/169.84 c 531598[?] -108160[?] 74522[?] 108099[?] is mandatory 173.15/169.84 c qxplain 170/171 173.53/170.20 c qxplain 171/171 173.83/170.56 c 531665[?] -108148[?] 72551[?] 108098[?] is mandatory 173.83/170.56 c qxplain 170/170 174.25/170.93 c 531671[?] -108150[?] 72551[?] 108098[?] is mandatory 174.25/170.93 c qxplain 167/169 174.53/171.29 c qxplain 169/169 174.93/171.66 c 531677[?] -108152[?] 72551[?] 108098[?] is mandatory 174.93/171.66 c qxplain 167/168 175.35/172.02 c qxplain 168/168 175.63/172.39 c 531744[?] -108140[?] 70580[?] 108097[?] is mandatory 175.63/172.39 c qxplain 167/167 176.03/172.76 c 531750[?] -108142[?] 70580[?] 108097[?] is mandatory 176.03/172.76 c qxplain 161/166 176.45/173.12 c qxplain 164/166 176.73/173.48 c qxplain 166/166 177.13/173.84 c 531756[?] -108144[?] 70580[?] 108097[?] is mandatory 177.13/173.84 c qxplain 164/165 177.44/174.20 c qxplain 165/165 177.83/174.57 c 531823[?] -108132[?] 68609[?] 108096[?] is mandatory 177.83/174.57 c qxplain 164/164 178.23/174.94 c 531829[?] -108134[?] 68609[?] 108096[?] is mandatory 178.23/174.94 c qxplain 161/163 178.54/175.30 c qxplain 163/163 178.93/175.66 c 531835[?] -108136[?] 68609[?] 108096[?] is mandatory 178.93/175.66 c qxplain 161/162 179.33/176.02 c qxplain 162/162 179.64/176.39 c 531902[?] -108124[?] 66638[?] 108095[?] is mandatory 179.64/176.39 c qxplain 161/161 180.03/176.76 c 531908[?] -108126[?] 66638[?] 108095[?] is mandatory 180.03/176.76 c qxplain 148/160 180.43/177.12 c qxplain 155/160 180.74/177.48 c qxplain 158/160 181.13/177.84 c qxplain 160/160 181.53/178.20 c 531914[?] -108128[?] 66638[?] 108095[?] is mandatory 181.53/178.20 c qxplain 158/159 181.84/178.56 c qxplain 159/159 182.24/178.94 c 531981[?] -108114[?] 64667[?] 108094[?] is mandatory 182.24/178.94 c qxplain 158/158 182.64/179.31 c 531987[?] -108117[?] 64667[?] 108094[?] is mandatory 182.64/179.31 c qxplain 155/157 182.95/179.68 c qxplain 157/157 183.34/180.04 c 531993[?] -108120[?] 64667[?] 108094[?] is mandatory 183.34/180.04 c qxplain 155/156 183.74/180.40 c qxplain 156/156 184.05/180.77 c 532060[?] -108113[?] 62696[?] 108076[?] is mandatory 184.05/180.77 c qxplain 155/155 184.45/181.13 c 532066[?] -108116[?] 62696[?] 108076[?] is mandatory 184.45/181.13 c qxplain 148/154 184.75/181.49 c qxplain 152/154 185.16/181.85 c qxplain 154/154 185.55/182.21 c 532072[?] -108119[?] 62696[?] 108076[?] is mandatory 185.55/182.21 c qxplain 152/153 185.85/182.58 c qxplain 153/153 186.26/182.94 c 550755[?] 108173[?] -108393[?] 108392[?] is mandatory 186.26/182.94 c qxplain 152/152 186.65/183.31 c 550760[?] 108393[?] -108177[?] is mandatory 186.65/183.31 c qxplain 148/151 186.95/183.67 c qxplain 150/151 187.36/184.03 c qxplain 151/151 187.75/184.40 c 550763[?] -108392[?] 56159[?] is mandatory 187.75/184.40 c qxplain 150/150 188.05/184.76 c 550764[?] 108172[?] 108390[?] -108391[?] is mandatory 188.05/184.76 c qxplain 148/149 188.46/185.13 c qxplain 149/149 188.75/185.49 c 550769[?] 108391[?] -108174[?] is mandatory 188.75/185.49 c qxplain 148/148 189.15/185.86 c 550772[?] -108390[?] 56159[?] is mandatory 189.15/185.86 c qxplain 99/147 189.45/186.22 c qxplain 124/147 189.85/186.58 c qxplain 136/147 190.25/186.94 c qxplain 142/147 190.55/187.30 c qxplain 145/147 190.95/187.66 c qxplain 147/147 191.36/188.04 c 550800[?] 108379[?] -108227[?] -108205[?] is mandatory 191.36/188.04 c qxplain 145/146 191.65/188.40 c qxplain 146/146 192.05/188.77 c 550962[?] 108352[?] -108349[?] -108329[?] is mandatory 192.05/188.77 c qxplain 145/145 192.45/189.14 c 550968[?] 108351[?] -108348[?] -108329[?] is mandatory 192.45/189.14 c qxplain 142/144 192.75/189.50 c qxplain 144/144 193.15/189.86 c 550980[?] 108349[?] -92771[?] -108171[?] is mandatory 193.15/189.86 c qxplain 142/143 193.55/190.22 c qxplain 143/143 193.86/190.60 c 550986[?] 108348[?] -92771[?] -108171[?] is mandatory 193.86/190.60 c qxplain 142/142 194.25/190.96 c 551098[?] 108329[?] 92769[?] is mandatory 194.25/190.96 c qxplain 136/141 194.65/191.32 c qxplain 139/141 194.95/191.68 c qxplain 141/141 195.35/192.05 c 551109[?] 108327[?] -108324[?] -108304[?] is mandatory 195.35/192.05 c qxplain 139/140 195.75/192.41 c qxplain 140/140 196.05/192.77 c 551115[?] 108326[?] -108323[?] -108304[?] is mandatory 196.05/192.77 c qxplain 139/139 196.45/193.15 c 551124[?] 108324[?] -108321[?] -108171[?] is mandatory 196.45/193.15 c qxplain 136/138 196.85/193.51 c qxplain 138/138 197.15/193.87 c 551130[?] 108323[?] -108320[?] -108171[?] is mandatory 197.15/193.87 c qxplain 136/137 197.55/194.23 c qxplain 137/137 197.95/194.60 c 551145[?] 108321[?] -92771[?] -108171[?] is mandatory 197.95/194.60 c qxplain 136/136 198.25/194.96 c 551151[?] 108320[?] -92771[?] -108171[?] is mandatory 198.25/194.96 c qxplain 124/135 198.65/195.33 c qxplain 130/135 198.95/195.69 c qxplain 133/135 199.35/196.05 c qxplain 135/135 199.75/196.41 c 551245[?] 108304[?] 92767[?] is mandatory 199.75/196.41 c qxplain 133/134 200.05/196.77 c qxplain 134/134 200.45/197.14 c 551256[?] 108302[?] -108299[?] -108279[?] is mandatory 200.45/197.14 c qxplain 133/133 200.85/197.51 c 551262[?] 108301[?] -108298[?] -108279[?] is mandatory 200.85/197.51 c qxplain 130/132 201.16/197.88 c qxplain 132/132 201.56/198.24 c 551276[?] 108299[?] -108296[?] 92767[?] is mandatory 201.56/198.24 c qxplain 130/131 201.96/198.60 c qxplain 131/131 202.26/198.97 c 551277[?] 108298[?] -108295[?] -108171[?] is mandatory 202.26/198.97 c qxplain 130/130 202.66/199.33 c 551289[?] 108296[?] -108293[?] -108171[?] is mandatory 202.66/199.33 c qxplain 124/129 202.96/199.69 c qxplain 127/129 203.36/200.07 c qxplain 129/129 203.76/200.43 c 551295[?] 108295[?] -108292[?] -108171[?] is mandatory 203.76/200.43 c qxplain 127/128 204.06/200.79 c qxplain 128/128 204.46/201.16 c 551310[?] 108293[?] -92771[?] -108171[?] is mandatory 204.46/201.16 c qxplain 127/127 204.86/201.52 c 551316[?] 108292[?] -92771[?] -108171[?] is mandatory 204.86/201.52 c qxplain 124/126 205.16/201.88 c qxplain 126/126 205.56/202.24 c 551392[?] 108279[?] 92765[?] is mandatory 205.56/202.24 c qxplain 124/125 205.96/202.60 c qxplain 125/125 206.26/202.97 c 551403[?] 108277[?] -108274[?] -108254[?] is mandatory 206.26/202.97 c qxplain 124/124 206.66/203.33 c 551409[?] 108276[?] -108273[?] -108254[?] is mandatory 206.66/203.33 c qxplain 99/123 206.96/203.69 c qxplain 112/123 207.36/204.05 c qxplain 118/123 207.76/204.41 c qxplain 121/123 208.06/204.77 c qxplain 123/123 208.46/205.13 c 551423[?] 108274[?] -108271[?] 92765[?] is mandatory 208.46/205.13 c qxplain 121/122 208.76/205.49 c qxplain 122/122 209.16/205.86 c 551424[?] 108273[?] -108270[?] -108171[?] is mandatory 209.16/205.86 c qxplain 121/121 209.56/206.23 c 551441[?] 108271[?] -108268[?] 92767[?] is mandatory 209.56/206.23 c qxplain 118/120 209.86/206.59 c qxplain 120/120 210.26/206.95 c 551442[?] 108270[?] -108267[?] -108171[?] is mandatory 210.26/206.95 c qxplain 118/119 210.66/207.31 c qxplain 119/119 210.97/207.69 c 551454[?] 108268[?] -108265[?] -108171[?] is mandatory 210.97/207.69 c qxplain 118/118 211.37/208.05 c 551460[?] 108267[?] -108264[?] -108171[?] is mandatory 211.37/208.05 c qxplain 112/117 211.77/208.41 c qxplain 115/117 212.07/208.77 c qxplain 117/117 212.47/209.13 c 551475[?] 108265[?] -92771[?] -108171[?] is mandatory 212.47/209.13 c qxplain 115/116 212.79/209.50 c qxplain 116/116 213.17/209.86 c 551481[?] 108264[?] -92771[?] -108171[?] is mandatory 213.17/209.86 c qxplain 115/115 213.57/210.23 c 551539[?] 108254[?] 92763[?] is mandatory 213.57/210.23 c qxplain 112/114 213.89/210.59 c qxplain 114/114 214.27/210.95 c 551550[?] 108252[?] -108249[?] -108229[?] is mandatory 214.27/210.95 c qxplain 112/113 214.67/211.31 c qxplain 113/113 214.99/211.67 c 551556[?] 108251[?] -108248[?] -108229[?] is mandatory 214.99/211.67 c qxplain 112/112 215.37/212.04 c 551565[?] 108249[?] -108246[?] -108171[?] is mandatory 215.37/212.04 c qxplain 99/111 215.77/212.40 c qxplain 106/111 216.09/212.76 c qxplain 109/111 216.47/213.12 c qxplain 111/111 216.77/213.48 c 551576[?] 108248[?] -108245[?] 92763[?] is mandatory 216.77/213.48 c qxplain 109/110 217.19/213.84 c qxplain 110/110 217.57/214.21 c 551588[?] 108246[?] -108243[?] 92765[?] is mandatory 217.57/214.21 c qxplain 109/109 217.87/214.58 c 551589[?] 108245[?] -108242[?] -108171[?] is mandatory 217.87/214.58 c qxplain 106/108 218.29/214.93 c qxplain 108/108 218.57/215.29 c 551606[?] 108243[?] -108240[?] 92767[?] is mandatory 218.57/215.29 c qxplain 106/107 218.97/215.65 c qxplain 107/107 219.27/216.01 c 551607[?] 108242[?] -108239[?] -108171[?] is mandatory 219.27/216.01 c qxplain 106/106 219.66/216.38 c 551619[?] 108240[?] -108237[?] -108171[?] is mandatory 219.66/216.38 c qxplain 99/105 220.06/216.73 c qxplain 103/105 220.37/217.09 c qxplain 105/105 220.76/217.45 c 551625[?] 108239[?] -108236[?] -108171[?] is mandatory 220.76/217.45 c qxplain 103/104 221.17/217.83 c qxplain 104/104 221.48/218.19 c 551640[?] 108237[?] -92771[?] -108171[?] is mandatory 221.48/218.19 c qxplain 103/103 221.87/218.56 c 551646[?] 108236[?] -92771[?] -108171[?] is mandatory 221.87/218.56 c qxplain 99/102 222.27/218.92 c qxplain 101/102 222.58/219.27 c qxplain 102/102 222.97/219.64 c 551686[?] 108229[?] 92761[?] is mandatory 222.97/219.64 c qxplain 101/101 223.37/220.00 c 551697[?] 108227[?] -108225[?] -108107[?] is mandatory 223.37/220.00 c qxplain 99/100 223.68/220.36 c qxplain 100/100 224.07/220.72 c 551706[?] 108225[?] -108223[?] -108171[?] is mandatory 224.07/220.72 c qxplain 99/99 224.37/221.08 c 551717[?] 108108[?] -108222[?] 92761[?] is mandatory 224.37/221.08 c qxplain 0/98 224.78/221.44 c qxplain 50/98 225.07/221.79 c qxplain 75/98 225.47/222.15 c qxplain 87/98 225.77/222.50 c qxplain 93/98 226.17/222.86 c qxplain 96/98 226.57/223.22 c qxplain 98/98 226.87/223.57 c 551724[?] 108223[?] -108220[?] -108171[?] is mandatory 226.87/223.57 c qxplain 96/97 227.27/223.93 c qxplain 97/97 227.67/224.30 c 551735[?] 108222[?] -108219[?] 92763[?] is mandatory 227.67/224.30 c qxplain 96/96 227.97/224.66 c 551747[?] 108220[?] -108217[?] 92765[?] is mandatory 227.97/224.66 c qxplain 93/95 228.37/225.02 c qxplain 95/95 228.67/225.38 c 551748[?] 108219[?] -108216[?] -108171[?] is mandatory 228.67/225.38 c qxplain 93/94 229.07/225.74 c qxplain 94/94 229.47/226.10 c 551765[?] 108217[?] -108214[?] 92767[?] is mandatory 229.47/226.10 c qxplain 93/93 229.77/226.47 c 551766[?] 108216[?] -108213[?] -108171[?] is mandatory 229.77/226.47 c qxplain 87/92 230.17/226.82 c qxplain 90/92 230.47/227.18 c qxplain 92/92 230.87/227.54 c 551778[?] 108214[?] -108211[?] -108171[?] is mandatory 230.87/227.54 c qxplain 90/91 231.27/227.90 c qxplain 91/91 231.59/228.28 c 551784[?] 108213[?] -108210[?] -108171[?] is mandatory 231.59/228.28 c qxplain 90/90 231.99/228.64 c 551799[?] 108211[?] -92771[?] -108171[?] is mandatory 231.99/228.64 c qxplain 87/89 232.39/229.01 c qxplain 89/89 232.69/229.36 c 551805[?] 108210[?] -92771[?] -108171[?] is mandatory 232.69/229.36 c qxplain 87/88 233.09/229.72 c qxplain 88/88 233.39/230.09 c 551827[?] 108107[?] 92759[?] is mandatory 233.39/230.09 c qxplain 87/87 233.79/230.45 c 551838[?] 108205[?] -108203[?] -108105[?] is mandatory 233.79/230.45 c qxplain 75/86 234.19/230.81 c qxplain 81/86 234.49/231.17 c qxplain 84/86 234.89/231.52 c qxplain 86/86 235.19/231.88 c 551852[?] 108203[?] -108201[?] 92759[?] is mandatory 235.19/231.88 c qxplain 84/85 235.59/232.24 c qxplain 85/85 235.99/232.61 c 551858[?] 108106[?] -108200[?] 92759[?] is mandatory 235.99/232.61 c qxplain 84/84 236.29/232.97 c 551865[?] 108201[?] -108198[?] -108171[?] is mandatory 236.29/232.97 c qxplain 81/83 236.69/233.33 c qxplain 83/83 237.01/233.69 c 551876[?] 108200[?] -108197[?] 92761[?] is mandatory 237.01/233.69 c qxplain 81/82 237.39/234.05 c qxplain 82/82 237.79/234.41 c 551883[?] 108198[?] -108195[?] -108171[?] is mandatory 237.79/234.41 c qxplain 81/81 238.11/234.77 c 551894[?] 108197[?] -108194[?] 92763[?] is mandatory 238.11/234.77 c qxplain 75/80 238.48/235.13 c qxplain 78/80 238.78/235.49 c qxplain 80/80 239.21/235.85 c 551906[?] 108195[?] -108192[?] 92765[?] is mandatory 239.21/235.85 c qxplain 78/79 239.59/236.21 c qxplain 79/79 239.89/236.58 c 551907[?] 108194[?] -108191[?] -108171[?] is mandatory 239.89/236.58 c qxplain 78/78 240.31/236.94 c 551924[?] 108192[?] -108189[?] 92767[?] is mandatory 240.31/236.94 c qxplain 75/77 240.69/237.30 c qxplain 77/77 240.99/237.66 c 551925[?] 108191[?] -108188[?] -108171[?] is mandatory 240.99/237.66 c qxplain 75/76 241.41/238.02 c qxplain 76/76 241.69/238.39 c 551937[?] 108189[?] -108186[?] -108171[?] is mandatory 241.69/238.39 c qxplain 75/75 242.10/238.76 c 551943[?] 108188[?] -108185[?] -108171[?] is mandatory 242.10/238.76 c qxplain 50/74 242.52/239.12 c qxplain 63/74 242.80/239.48 c qxplain 69/74 243.20/239.84 c qxplain 72/74 243.51/240.20 c qxplain 74/74 243.90/240.56 c 551958[?] 108186[?] -108171[?] -92771[?] is mandatory 243.90/240.56 c qxplain 72/73 244.30/240.91 c qxplain 73/73 244.61/241.28 c 551964[?] 108185[?] -92771[?] -108171[?] is mandatory 244.61/241.28 c qxplain 72/72 245.00/241.65 c 551968[?] 108105[?] 92757[?] is mandatory 245.00/241.65 c qxplain 69/71 245.40/242.01 c qxplain 71/71 245.71/242.36 c 551982[?] 108177[?] -108178[?] -108179[?] is mandatory 245.71/242.36 c qxplain 69/70 246.10/242.73 c qxplain 70/70 246.40/243.09 c 551988[?] 108174[?] -108175[?] -108176[?] is mandatory 246.40/243.09 c qxplain 69/69 246.81/243.46 c 108171[?] 551994[?] is mandatory 246.81/243.46 c qxplain 63/68 247.20/243.82 c qxplain 66/68 247.50/244.18 c qxplain 68/68 247.91/244.54 c 552005[?] -92751[?] 108169[?] 108167[?] is mandatory 247.91/244.54 c qxplain 66/67 248.30/244.90 c qxplain 67/67 248.60/245.27 c 552011[?] -92747[?] 108165[?] 108167[?] is mandatory 248.60/245.27 c qxplain 66/66 249.01/245.63 c 552017[?] -108169[?] 108163[?] 108165[?] is mandatory 249.01/245.63 c qxplain 63/65 249.30/245.99 c qxplain 65/65 249.70/246.35 c 552019[?] -108167[?] 108159[?] 108168[?] is mandatory 249.70/246.35 c qxplain 63/64 250.00/246.71 c qxplain 64/64 250.40/247.07 c 552022[?] -108165[?] 108157[?] 108166[?] is mandatory 250.40/247.07 c qxplain 63/63 250.79/247.44 c 552025[?] -108163[?] 108155[?] 108164[?] is mandatory 250.79/247.44 c qxplain 50/62 251.10/247.79 c qxplain 57/62 251.50/248.15 c qxplain 60/62 251.90/248.51 c qxplain 62/62 252.20/248.87 c 552031[?] -108159[?] 108151[?] 108160[?] is mandatory 252.20/248.87 c qxplain 60/61 252.60/249.23 c qxplain 61/61 253.01/249.61 c 552034[?] -108157[?] 108149[?] 108158[?] is mandatory 253.01/249.61 c qxplain 60/60 253.30/249.97 c 552037[?] -108155[?] 108147[?] 108156[?] is mandatory 253.30/249.97 c qxplain 57/59 253.70/250.33 c qxplain 59/59 254.00/250.69 c 552043[?] -108151[?] 108143[?] 108152[?] is mandatory 254.00/250.69 c qxplain 57/58 254.40/251.05 c qxplain 58/58 254.80/251.41 c 552046[?] -108149[?] 108141[?] 108150[?] is mandatory 254.80/251.42 c qxplain 57/57 255.10/251.78 c 552049[?] -108147[?] 108139[?] 108148[?] is mandatory 255.10/251.78 c qxplain 50/56 255.50/252.14 c qxplain 54/56 255.90/252.50 c qxplain 56/56 256.20/252.86 c 552055[?] -108143[?] 108135[?] 108144[?] is mandatory 256.20/252.86 c qxplain 54/55 256.61/253.22 c qxplain 55/55 256.91/253.58 c 552058[?] -108141[?] 108133[?] 108142[?] is mandatory 256.91/253.58 c qxplain 54/54 257.31/253.94 c 552061[?] -108139[?] 108131[?] 108140[?] is mandatory 257.31/253.94 c qxplain 50/53 257.71/254.31 c qxplain 52/53 258.01/254.67 c qxplain 53/53 258.41/255.03 c 552067[?] -108135[?] 108127[?] 108136[?] is mandatory 258.41/255.03 c qxplain 52/52 258.81/255.40 c 552070[?] -108133[?] 108125[?] 108134[?] is mandatory 258.81/255.40 c qxplain 50/51 259.11/255.76 c qxplain 51/51 259.51/256.12 c 552073[?] -108131[?] 108123[?] 108132[?] is mandatory 259.51/256.12 c qxplain 50/50 259.81/256.49 c 552079[?] -108127[?] 108118[?] 108128[?] is mandatory 259.81/256.49 c qxplain 0/49 260.21/256.85 c qxplain 25/49 260.61/257.20 c qxplain 38/49 260.91/257.56 c qxplain 44/49 261.31/257.92 c qxplain 47/49 261.61/258.28 c qxplain 49/49 262.01/258.64 c 552082[?] -108125[?] 108115[?] 108126[?] is mandatory 262.01/258.64 c qxplain 47/48 262.33/259.00 c qxplain 48/48 262.71/259.36 c 552085[?] -108123[?] 108112[?] 108124[?] is mandatory 262.71/259.36 c qxplain 47/47 263.11/259.73 c 552091[?] -108118[?] 108120[?] 108119[?] is mandatory 263.11/259.73 c qxplain 44/46 263.43/260.09 c qxplain 46/46 263.81/260.44 c 552094[?] -108115[?] 108117[?] 108116[?] is mandatory 263.81/260.44 c qxplain 44/45 264.21/260.80 c qxplain 45/45 264.53/261.19 c 552097[?] -108112[?] 108114[?] 108113[?] is mandatory 264.53/261.19 c qxplain 44/44 264.91/261.55 c 552106[?] 108103[?] -108108[?] -108107[?] is mandatory 264.91/261.55 c qxplain 38/43 265.31/261.92 c qxplain 41/43 265.63/262.28 c qxplain 43/43 266.01/262.64 c 552112[?] 108102[?] -108106[?] -108105[?] is mandatory 266.01/262.64 c qxplain 41/42 266.41/263.00 c qxplain 42/42 266.73/263.36 c 552115[?] 108101[?] -108102[?] -108103[?] is mandatory 266.73/263.36 c qxplain 41/41 267.11/263.73 c -108100[?] 552121[?] is mandatory 267.11/263.73 c qxplain 38/40 267.41/264.09 c qxplain 40/40 267.83/264.45 c -108099[?] 552122[?] is mandatory 267.83/264.45 c qxplain 38/39 268.21/264.81 c qxplain 39/39 268.51/265.17 c -108098[?] 552123[?] is mandatory 268.51/265.17 c qxplain 38/38 268.93/265.55 c -108097[?] 552124[?] is mandatory 268.93/265.55 c qxplain 25/37 269.31/265.91 c qxplain 32/37 269.61/266.26 c qxplain 35/37 270.03/266.62 c qxplain 37/37 270.31/266.98 c -108096[?] 552125[?] is mandatory 270.31/266.98 c qxplain 35/36 270.71/267.34 c qxplain 36/36 271.02/267.71 c -108095[?] 552126[?] is mandatory 271.02/267.71 c qxplain 35/35 271.41/268.07 c -108094[?] 552127[?] is mandatory 271.41/268.07 c qxplain 32/34 271.81/268.43 c qxplain 34/34 272.12/268.79 c -108076[?] 552267[?] is mandatory 272.12/268.79 c qxplain 32/33 272.51/269.15 c qxplain 33/33 272.91/269.51 c 634183[?] -92748[?] 92839[?] is mandatory 272.91/269.51 c qxplain 32/32 273.22/269.88 c 634185[?] -92839[?] 92753[?] 79083[?] is mandatory 273.22/269.88 c qxplain 25/31 273.61/270.24 c qxplain 29/31 273.91/270.59 c qxplain 31/31 274.32/270.95 c 634388[?] 92771[?] 92768[?] -76493[?] is mandatory 274.32/270.95 c qxplain 29/30 274.71/271.31 c qxplain 30/30 275.01/271.68 c 634396[?] -92769[?] 74522[?] is mandatory 275.01/271.68 c qxplain 29/29 275.42/272.04 c 634397[?] -92768[?] 80366[?] 80369[?] is mandatory 275.42/272.04 c qxplain 25/28 275.82/272.41 c qxplain 27/28 276.12/272.77 c qxplain 28/28 276.53/273.14 c 634402[?] -92767[?] 72551[?] is mandatory 276.53/273.14 c qxplain 27/27 276.92/273.50 c 634408[?] -92765[?] 70580[?] is mandatory 276.92/273.50 c qxplain 25/26 277.22/273.86 c qxplain 26/26 277.63/274.22 c 634414[?] -92763[?] 68609[?] is mandatory 277.63/274.22 c qxplain 25/25 277.92/274.59 c 634420[?] -92761[?] 66638[?] is mandatory 277.92/274.59 c qxplain 0/24 278.32/274.95 c qxplain 13/24 278.62/275.31 c qxplain 19/24 279.02/275.67 c qxplain 22/24 279.42/276.03 c qxplain 24/24 279.72/276.39 c 634426[?] -92759[?] 64667[?] is mandatory 279.72/276.39 c qxplain 22/23 280.12/276.75 c qxplain 23/23 280.52/277.12 c 634432[?] -92757[?] 62696[?] is mandatory 280.52/277.12 c qxplain 22/22 280.82/277.48 c 634437[?] -92752[?] 92755[?] is mandatory 280.82/277.48 c qxplain 19/21 281.22/277.84 c qxplain 21/21 281.62/278.20 c 634439[?] -92755[?] 92754[?] 79083[?] is mandatory 281.62/278.20 c qxplain 19/20 281.92/278.56 c qxplain 20/20 282.32/278.93 c 634446[?] -92754[?] 56159[?] 92749[?] is mandatory 282.32/278.93 c qxplain 19/19 282.62/279.29 c 634452[?] -92753[?] 56159[?] 92745[?] is mandatory 282.62/279.29 c qxplain 13/18 283.02/279.65 c qxplain 16/18 283.42/280.01 c qxplain 18/18 283.72/280.37 c 634456[?] -92749[?] 92751[?] -79275[?] is mandatory 283.72/280.37 c qxplain 16/17 284.12/280.73 c qxplain 17/17 284.42/281.09 c 634462[?] -92745[?] 92747[?] -79275[?] is mandatory 284.42/281.09 c qxplain 16/16 284.82/281.46 c -79083[?] 721535[?] is mandatory 284.82/281.46 c qxplain 13/15 285.22/281.82 c qxplain 15/15 285.22/281.89 c qxplain 13/14 285.62/282.25 c qxplain 14/14 285.72/282.32 c qxplain 13/13 286.04/282.67 c 875456[?] 136192[?] -148498[?] -134808[?] is mandatory 286.04/282.67 c qxplain 0/12 286.45/283.04 c qxplain 7/12 286.74/283.40 c qxplain 10/12 287.15/283.77 c qxplain 12/12 287.56/284.13 c 875459[?] 148498[?] -130829[?] -128858[?] is mandatory 287.56/284.13 c qxplain 10/11 287.85/284.49 c qxplain 11/11 288.25/284.85 c 876160[?] 134808[?] -148423[?] 148336[?] is mandatory 288.25/284.85 c qxplain 10/10 288.54/285.22 c 876166[?] 134667[?] -148413[?] 148336[?] is mandatory 288.54/285.22 c qxplain 7/9 288.94/285.58 c qxplain 9/9 289.34/285.93 c 876179[?] 148423[?] 148340[?] -148418[?] is mandatory 289.34/285.93 c qxplain 7/8 289.64/286.29 c qxplain 8/8 290.04/286.66 c 876203[?] 148413[?] 148340[?] -148414[?] is mandatory 290.04/286.66 c qxplain 7/7 290.14/286.71 c qxplain 0/6 290.44/287.07 c qxplain 4/6 290.85/287.42 c qxplain 6/6 291.14/287.78 c 959691[?] 114497[?] -136192[?] -134667[?] is mandatory 291.14/287.78 c qxplain 4/5 291.55/288.14 c qxplain 5/5 291.55/288.19 c qxplain 4/4 291.96/288.55 c 976443[?] 130829[?] -111709[?] is mandatory 291.96/288.55 c qxplain 0/3 292.35/288.91 c qxplain 2/3 292.65/289.27 c qxplain 3/3 292.75/289.31 c qxplain 2/2 293.06/289.68 c 980637[?] 128858[?] -111638[?] is mandatory 293.06/289.68 c qxplain 0/1 293.45/290.04 c qxplain 1/1 293.45/290.08 c qxplain 0/0 293.85/290.44 c 1010684[?] 114531[?] -114497[?] is mandatory 295.09/291.51 c Size of the MUS: 386 295.09/291.51 c Unsat core computation wall clock time (in seconds) : 289.206 295.09/291.51 c starts : 779 295.09/291.51 c conflicts : 1 295.09/291.51 c decisions : 216370420 295.09/291.51 c propagations : 1168702533 295.09/291.51 c inspects : 14428985 295.09/291.51 c shortcuts : 0 295.09/291.51 c learnt literals : 0 295.09/291.51 c learnt binary clauses : 0 295.09/291.51 c learnt ternary clauses : 0 295.09/291.51 c learnt constraints : 1 295.09/291.51 c ignored constraints : 0 295.09/291.51 c root simplifications : 0 295.09/291.51 c removed literals (reason simplification) : 0 295.09/291.51 c reason swapping (by a shorter reason) : 0 295.09/291.51 c Calls to reduceDB : 0 295.09/291.51 c speed (assignments/second) : 8.178464191742477E8 295.09/291.51 c non guided choices 216370418 295.09/291.51 c learnt constraints type 295.09/291.51 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 1 295.09/291.51 c constraints type 295.09/291.51 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1213904 295.09/291.51 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 7116 295.09/291.51 s UNSATISFIABLE 295.09/291.51 v 705 2091 2162 2668 3285 3287 3324 3332 3333 3335 3336 3358 3403 3429 3474 3545 3617 3688 3759 3830 3854 3855 3857 3858 3860 3863 3864 3865 4047 4140 4141 4382 4404 4407 4544 4576 4592 4608 4624 4640 4656 7963 7965 8328 8330 9602 10184 10186 10673 10961 10992 11024 11056 11088 11120 11152 11184 11505 11511 27086 27092 30836 30838 30884 31484 31502 31523 31538 31559 31574 31595 31610 31631 31652 31667 31688 31703 31724 31739 31760 31778 31790 31811 31826 31847 31862 31883 31898 31919 31934 31949 31970 31985 32006 32021 32042 32061 32069 112079 112091 112094 112100 114278 114284 114297 114306 114338 114479 114491 114503 114515 172190 172193 175113 175116 178035 178038 180957 180960 183879 183883 186801 186805 189723 189727 192645 192649 195363 195365 195372 195374 198370 198459 198465 198469 198478 200909 200913 201084 201088 201091 201093 201097 201141 201632 211387 211392 211395 211872 211876 211883 211897 215577 215579 216018 216065 216071 216077 219771 219773 220212 220259 220265 220271 223965 223967 224406 224450 224459 228159 228161 228600 228644 228653 232353 232355 232794 232838 232847 236547 236549 236988 237032 237041 240741 240743 241181 241226 241235 244941 244958 244959 244960 244961 244962 244963 244964 253477 253488 253489 253495 253501 253507 253518 253519 253525 253531 253559 253565 253571 253574 253580 253587 253595 253608 253610 253625 253636 253642 253648 253715 253721 253727 253794 253800 253806 253873 253879 253885 253952 253958 253964 254031 254037 254043 254110 254116 254122 272805 272810 272813 272814 272819 272822 272850 273012 273018 273030 273036 273148 273159 273165 273174 273180 273195 273201 273295 273306 273312 273326 273327 273339 273345 273360 273366 273442 273453 273459 273473 273474 273491 273492 273504 273510 273525 273531 273589 273600 273606 273615 273626 273638 273639 273656 273657 273669 273675 273690 273696 273736 273747 273756 273767 273774 273785 273797 273798 273815 273816 273828 273834 273849 273855 273877 273888 273902 273908 273915 273926 273933 273944 273956 273957 273974 273975 273987 273993 274008 274014 274018 274032 274038 274044 274055 274061 274067 274069 274072 274075 274081 274084 274087 274093 274096 274099 274105 274108 274111 274117 274120 274123 274129 274132 274135 274141 274144 274147 274156 274162 274165 274171 274172 274173 274174 274175 274176 274177 274317 356233 356235 356438 356446 356447 356452 356458 356464 356470 356476 356482 356487 356489 356496 356502 356506 356512 443585 597506 597509 598210 598216 598229 598253 681741 698493 702687 732734 0 295.09/291.51 c Total wall clock time (in seconds) : 291.41
OK 386
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) 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-3483134-1307605203/watcher-3483134-1307605203 -o /tmp/evaluation-result-3483134-1307605203/solver-3483134-1307605203 -C 1800 -W 1850 -M 7680 java -Xms6000m -Xmx6000m -jar sat4j-mus-v20110206.jar HOME/instance-3483134-1307605203.cnf running on 2 cores: 5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 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: 4.09 1.57 0.57 6/641 11729 /proc/meminfo: memFree=24124100/32951124 swapFree=49879164/67111528 [pid=11729] ppid=11726 vsize=36924 CPUtime=0 cores=5,7 /proc/11729/stat : 11729 (java) S 11726 11729 20746 0 -1 4202496 1370 0 1 0 0 0 0 0 21 0 2 0 950751035 37810176 1073 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746981349 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 /proc/11729/statm: 9231 1073 833 9 0 387 0 [pid=11729/tid=11730] ppid=11726 vsize=6343692 CPUtime=0 cores=5,7 /proc/11729/task/11730/stat : 11730 (java) R 11726 11729 20746 0 -1 4202560 5515 0 1 0 0 0 0 0 25 0 10 0 950751035 6495940608 6340 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 46996852642474 0 4 0 16784584 0 0 0 -1 5 0 0 0 [pid=11729/tid=11731] ppid=11726 vsize=6343692 CPUtime=0 cores=5,7 /proc/11729/task/11731/stat : 11731 (java) S 11726 11729 20746 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 10 0 950751037 6495940608 6346 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746994585 0 4 0 16784584 18446604470655555456 0 0 -1 5 0 0 0 [pid=11729/tid=11732] ppid=11726 vsize=6343692 CPUtime=0 cores=5,7 /proc/11729/task/11732/stat : 11732 (java) S 11726 11729 20746 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 10 0 950751037 6495940608 6348 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746994585 0 4 0 16784584 18446604470655555456 0 0 -1 5 0 0 0 [pid=11729/tid=11733] ppid=11726 vsize=6343692 CPUtime=0 cores=5,7 /proc/11729/task/11733/stat : 11733 (java) R 11726 11729 20746 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 950751037 6495940608 6351 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746994585 0 4 0 16784584 0 0 0 -1 5 0 0 0 [pid=11729/tid=11734] ppid=11726 vsize=6343692 CPUtime=0 cores=5,7 /proc/11729/task/11734/stat : 11734 (java) R 11726 11729 20746 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 950751037 6495940608 6353 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746994585 0 4 0 16784584 0 0 0 -1 5 0 0 0 [pid=11729/tid=11735] ppid=11726 vsize=6343692 CPUtime=0 cores=5,7 /proc/11729/task/11735/stat : 11735 (java) R 11726 11729 20746 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 950751037 6495940608 6355 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746994585 0 4 0 16784584 0 0 0 -1 5 0 0 0 [pid=11729/tid=11736] ppid=11726 vsize=6343692 CPUtime=0 cores=5,7 /proc/11729/task/11736/stat : 11736 (java) R 11726 11729 20746 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 950751037 6495940608 6359 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746994585 0 4 0 16784584 0 0 0 -1 5 0 0 0 [pid=11729/tid=11737] ppid=11726 vsize=6343692 CPUtime=0 cores=5,7 /proc/11729/task/11737/stat : 11737 (java) R 11726 11729 20746 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 950751037 6495940608 6360 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746994585 0 4 0 16784584 0 0 0 -1 5 0 0 0 [pid=11729/tid=11738] ppid=11726 vsize=6343692 CPUtime=0 cores=5,7 /proc/11729/task/11738/stat : 11738 (java) R 11726 11729 20746 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 950751037 6495940608 6361 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746994585 0 4 0 16784584 0 0 0 -1 5 0 0 0 [startup+0.119008 s] /proc/loadavg: 4.09 1.57 0.57 6/641 11729 /proc/meminfo: memFree=24124100/32951124 swapFree=49879164/67111528 [pid=11729] ppid=11726 vsize=6430012 CPUtime=0.12 cores=5,7 /proc/11729/stat : 11729 (java) S 11726 11729 20746 0 -1 4202496 15633 0 1 0 10 2 0 0 21 0 18 0 950751035 6584332288 15330 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/11729/statm: 1607503 15330 2091 9 0 1598241 0 [pid=11729/tid=11730] ppid=11726 vsize=6430012 CPUtime=0.09 cores=5,7 /proc/11729/task/11730/stat : 11730 (java) R 11726 11729 20746 0 -1 4202560 13736 0 1 0 8 1 0 0 18 0 18 0 950751035 6584332288 15331 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 46996854548104 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=11729/tid=11731] ppid=11726 vsize=6430012 CPUtime=0 cores=5,7 /proc/11729/task/11731/stat : 11731 (java) S 11726 11729 20746 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 950751037 6584332288 15331 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746994585 0 4 0 16800975 18446604470655555456 0 0 -1 5 0 0 0 [pid=11729/tid=11732] ppid=11726 vsize=6430012 CPUtime=0 cores=5,7 /proc/11729/task/11732/stat : 11732 (java) S 11726 11729 20746 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 18 0 950751037 6584332288 15331 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746994585 0 4 0 16800975 18446604470655555456 0 0 -1 5 0 0 0 [pid=11729/tid=11733] ppid=11726 vsize=6430012 CPUtime=0 cores=5,7 /proc/11729/task/11733/stat : 11733 (java) S 11726 11729 20746 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 950751037 6584332288 15331 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746994585 0 4 0 16800975 18446604470655555456 0 0 -1 7 0 0 0 [pid=11729/tid=11734] ppid=11726 vsize=6430012 CPUtime=0 cores=5,7 /proc/11729/task/11734/stat : 11734 (java) S 11726 11729 20746 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 950751037 6584332288 15331 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746994585 0 4 0 16800975 18446604470655555456 0 0 -1 7 0 0 0 [pid=11729/tid=11735] ppid=11726 vsize=6430012 CPUtime=0 cores=5,7 /proc/11729/task/11735/stat : 11735 (java) S 11726 11729 20746 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 950751037 6584332288 15332 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746994585 0 4 0 16800975 18446604470655555456 0 0 -1 7 0 0 0 [pid=11729/tid=11736] ppid=11726 vsize=6430012 CPUtime=0 cores=5,7 /proc/11729/task/11736/stat : 11736 (java) S 11726 11729 20746 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 950751037 6584332288 15332 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746994585 0 4 0 16800975 18446604470655555456 0 0 -1 7 0 0 0 [pid=11729/tid=11737] ppid=11726 vsize=6430012 CPUtime=0 cores=5,7 /proc/11729/task/11737/stat : 11737 (java) S 11726 11729 20746 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 950751037 6584332288 15332 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746994585 0 4 0 16800975 18446604470655555456 0 0 -1 7 0 0 0 [pid=11729/tid=11738] ppid=11726 vsize=6430012 CPUtime=0 cores=5,7 /proc/11729/task/11738/stat : 11738 (java) S 11726 11729 20746 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 950751037 6584332288 15332 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746994585 0 4 0 16800975 18446604470655555456 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 0.12 Current children cumulated vsize (KiB) 6430012 [startup+0.200961 s] /proc/loadavg: 4.09 1.57 0.57 6/641 11729 /proc/meminfo: memFree=24124100/32951124 swapFree=49879164/67111528 [pid=11729] ppid=11726 vsize=6430012 CPUtime=0.25 cores=5,7 /proc/11729/stat : 11729 (java) S 11726 11729 20746 0 -1 4202496 16847 0 1 0 23 2 0 0 21 0 18 0 950751035 6584332288 16463 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/11729/statm: 1607503 16463 2186 9 0 1598241 0 [pid=11729/tid=11730] ppid=11726 vsize=6430012 CPUtime=0.18 cores=5,7 /proc/11729/task/11730/stat : 11730 (java) R 11726 11729 20746 0 -1 4202560 14604 0 1 0 17 1 0 0 18 0 18 0 950751035 6584332288 16464 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 46912505517080 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=11729/tid=11731] ppid=11726 vsize=6430012 CPUtime=0 cores=5,7 /proc/11729/task/11731/stat : 11731 (java) S 11726 11729 20746 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 950751037 6584332288 16464 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746994585 0 4 0 16800975 18446604470655555456 0 0 -1 5 0 0 0 [pid=11729/tid=11732] ppid=11726 vsize=6430012 CPUtime=0 cores=5,7 /proc/11729/task/11732/stat : 11732 (java) S 11726 11729 20746 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 18 0 950751037 6584332288 16465 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746994585 0 4 0 16800975 18446604470655555456 0 0 -1 5 0 0 0 [pid=11729/tid=11733] ppid=11726 vsize=6430012 CPUtime=0 cores=5,7 /proc/11729/task/11733/stat : 11733 (java) S 11726 11729 20746 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 950751037 6584332288 16465 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746994585 0 4 0 16800975 18446604470655555456 0 0 -1 7 0 0 0 [pid=11729/tid=11734] ppid=11726 vsize=6430012 CPUtime=0 cores=5,7 /proc/11729/task/11734/stat : 11734 (java) S 11726 11729 20746 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 950751037 6584332288 16465 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746994585 0 4 0 16800975 18446604470655555456 0 0 -1 7 0 0 0 [pid=11729/tid=11735] ppid=11726 vsize=6430012 CPUtime=0 cores=5,7 /proc/11729/task/11735/stat : 11735 (java) S 11726 11729 20746 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 950751037 6584332288 16466 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746994585 0 4 0 16800975 18446604470655555456 0 0 -1 7 0 0 0 [pid=11729/tid=11736] ppid=11726 vsize=6430012 CPUtime=0 cores=5,7 /proc/11729/task/11736/stat : 11736 (java) S 11726 11729 20746 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 950751037 6584332288 16466 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746994585 0 4 0 16800975 18446604470655555456 0 0 -1 7 0 0 0 [pid=11729/tid=11737] ppid=11726 vsize=6430012 CPUtime=0 cores=5,7 /proc/11729/task/11737/stat : 11737 (java) S 11726 11729 20746 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 950751037 6584332288 16467 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746994585 0 4 0 16800975 18446604470655555456 0 0 -1 7 0 0 0 [pid=11729/tid=11738] ppid=11726 vsize=6430012 CPUtime=0 cores=5,7 /proc/11729/task/11738/stat : 11738 (java) S 11726 11729 20746 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 950751037 6584332288 16467 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746994585 0 4 0 16800975 18446604470655555456 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 0.25 Current children cumulated vsize (KiB) 6430012 [startup+0.300944 s] /proc/loadavg: 4.09 1.57 0.57 6/641 11729 /proc/meminfo: memFree=24124100/32951124 swapFree=49879164/67111528 [pid=11729] ppid=11726 vsize=6431776 CPUtime=0.46 cores=5,7 /proc/11729/stat : 11729 (java) S 11726 11729 20746 0 -1 4202496 21099 0 1 0 43 3 0 0 21 0 18 0 950751035 6586138624 19517 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/11729/statm: 1607944 19517 2195 9 0 1598682 0 [pid=11729/tid=11730] ppid=11726 vsize=6431776 CPUtime=0.23 cores=5,7 /proc/11729/task/11730/stat : 11730 (java) R 11726 11729 20746 0 -1 4202560 15330 0 1 0 21 2 0 0 18 0 18 0 950751035 6586138624 19517 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 46912505517377 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=11729/tid=11731] ppid=11726 vsize=6431776 CPUtime=0 cores=5,7 /proc/11729/task/11731/stat : 11731 (java) S 11726 11729 20746 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 950751037 6586138624 19517 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746994585 0 4 0 16800975 18446604470655555456 0 0 -1 5 0 0 0 [pid=11729/tid=11732] ppid=11726 vsize=6431776 CPUtime=0 cores=5,7 /proc/11729/task/11732/stat : 11732 (java) S 11726 11729 20746 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 18 0 950751037 6586138624 19517 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746994585 0 4 0 16800975 18446604470655555456 0 0 -1 5 0 0 0 [pid=11729/tid=11733] ppid=11726 vsize=6431776 CPUtime=0 cores=5,7 /proc/11729/task/11733/stat : 11733 (java) S 11726 11729 20746 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 950751037 6586138624 19517 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746994585 0 4 0 16800975 18446604470655555456 0 0 -1 7 0 0 0 [pid=11729/tid=11734] ppid=11726 vsize=6431776 CPUtime=0 cores=5,7 /proc/11729/task/11734/stat : 11734 (java) S 11726 11729 20746 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 950751037 6586138624 19517 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746994585 0 4 0 16800975 18446604470655555456 0 0 -1 7 0 0 0 [pid=11729/tid=11735] ppid=11726 vsize=6431776 CPUtime=0 cores=5,7 /proc/11729/task/11735/stat : 11735 (java) S 11726 11729 20746 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 950751037 6586138624 19517 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746994585 0 4 0 16800975 18446604470655555456 0 0 -1 7 0 0 0 [pid=11729/tid=11736] ppid=11726 vsize=6431776 CPUtime=0 cores=5,7 /proc/11729/task/11736/stat : 11736 (java) S 11726 11729 20746 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 950751037 6586138624 19517 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746994585 0 4 0 16800975 18446604470655555456 0 0 -1 7 0 0 0 [pid=11729/tid=11737] ppid=11726 vsize=6431776 CPUtime=0 cores=5,7 /proc/11729/task/11737/stat : 11737 (java) S 11726 11729 20746 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 950751037 6586138624 19517 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746994585 0 4 0 16800975 18446604470655555456 0 0 -1 7 0 0 0 [pid=11729/tid=11738] ppid=11726 vsize=6431776 CPUtime=0 cores=5,7 /proc/11729/task/11738/stat : 11738 (java) S 11726 11729 20746 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 950751037 6586138624 19517 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746994585 0 4 0 16800975 18446604470655555456 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 0.46 Current children cumulated vsize (KiB) 6431776 [startup+0.700906 s] /proc/loadavg: 4.09 1.57 0.57 6/641 11729 /proc/meminfo: memFree=24124100/32951124 swapFree=49879164/67111528 [pid=11729] ppid=11726 vsize=6431776 CPUtime=0.88 cores=5,7 /proc/11729/stat : 11729 (java) S 11726 11729 20746 0 -1 4202496 58807 0 1 0 81 7 0 0 21 0 18 0 950751035 6586138624 57225 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/11729/statm: 1607944 57229 2197 9 0 1598682 0 [pid=11729/tid=11730] ppid=11726 vsize=6431776 CPUtime=0.6 cores=5,7 /proc/11729/task/11730/stat : 11730 (java) R 11726 11729 20746 0 -1 4202560 53016 0 1 0 54 6 0 0 18 0 18 0 950751035 6586138624 57231 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 46912505517686 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=11729/tid=11731] ppid=11726 vsize=6431776 CPUtime=0 cores=5,7 /proc/11729/task/11731/stat : 11731 (java) S 11726 11729 20746 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 950751037 6586138624 57233 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746994585 0 4 0 16800975 18446604470655555456 0 0 -1 5 0 0 0 [pid=11729/tid=11732] ppid=11726 vsize=6431776 CPUtime=0 cores=5,7 /proc/11729/task/11732/stat : 11732 (java) S 11726 11729 20746 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 18 0 950751037 6586138624 57236 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746994585 0 4 0 16800975 18446604470655555456 0 0 -1 5 0 0 0 [pid=11729/tid=11733] ppid=11726 vsize=6431776 CPUtime=0 cores=5,7 /proc/11729/task/11733/stat : 11733 (java) S 11726 11729 20746 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 950751037 6586138624 57238 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746994585 0 4 0 16800975 18446604470655555456 0 0 -1 7 0 0 0 [pid=11729/tid=11734] ppid=11726 vsize=6431776 CPUtime=0 cores=5,7 /proc/11729/task/11734/stat : 11734 (java) S 11726 11729 20746 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 950751037 6586138624 57240 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746994585 0 4 0 16800975 18446604470655555456 0 0 -1 7 0 0 0 [pid=11729/tid=11735] ppid=11726 vsize=6431776 CPUtime=0 cores=5,7 /proc/11729/task/11735/stat : 11735 (java) S 11726 11729 20746 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 950751037 6586138624 57242 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746994585 0 4 0 16800975 18446604470655555456 0 0 -1 7 0 0 0 [pid=11729/tid=11736] ppid=11726 vsize=6431776 CPUtime=0 cores=5,7 /proc/11729/task/11736/stat : 11736 (java) S 11726 11729 20746 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 950751037 6586138624 57244 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746994585 0 4 0 16800975 18446604470655555456 0 0 -1 7 0 0 0 [pid=11729/tid=11737] ppid=11726 vsize=6431776 CPUtime=0 cores=5,7 /proc/11729/task/11737/stat : 11737 (java) S 11726 11729 20746 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 950751037 6586138624 57247 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746994585 0 4 0 16800975 18446604470655555456 0 0 -1 7 0 0 0 [pid=11729/tid=11738] ppid=11726 vsize=6431776 CPUtime=0 cores=5,7 /proc/11729/task/11738/stat : 11738 (java) S 11726 11729 20746 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 950751037 6586138624 57249 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746994585 0 4 0 16800975 18446604470655555456 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 0.88 Current children cumulated vsize (KiB) 6431776 [startup+1.50076 s] /proc/loadavg: 4.09 1.57 0.57 5/658 11789 /proc/meminfo: memFree=23757056/32951124 swapFree=49879164/67111528 [pid=11729] ppid=11726 vsize=6431776 CPUtime=1.68 cores=5,7 /proc/11729/stat : 11729 (java) S 11726 11729 20746 0 -1 4202496 134003 0 1 0 152 16 0 0 21 0 18 0 950751035 6586138624 132420 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/11729/statm: 1607944 132423 2198 9 0 1598682 0 [pid=11729/tid=11730] ppid=11726 vsize=6431776 CPUtime=1.4 cores=5,7 /proc/11729/task/11730/stat : 11730 (java) R 11726 11729 20746 0 -1 4202560 128209 0 1 0 125 15 0 0 19 0 18 0 950751035 6586138624 132424 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 46912505517584 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=11729/tid=11731] ppid=11726 vsize=6431776 CPUtime=0 cores=5,7 /proc/11729/task/11731/stat : 11731 (java) S 11726 11729 20746 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 950751037 6586138624 132427 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746994585 0 4 0 16800975 18446604470655555456 0 0 -1 5 0 0 0 [pid=11729/tid=11732] ppid=11726 vsize=6431776 CPUtime=0 cores=5,7 /proc/11729/task/11732/stat : 11732 (java) S 11726 11729 20746 0 -1 4202560 2 0 0 0 0 0 0 0 24 0 18 0 950751037 6586138624 132428 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746994585 0 4 0 16800975 18446604470655555456 0 0 -1 5 0 0 0 [pid=11729/tid=11733] ppid=11726 vsize=6431776 CPUtime=0 cores=5,7 /proc/11729/task/11733/stat : 11733 (java) S 11726 11729 20746 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 950751037 6586138624 132430 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746994585 0 4 0 16800975 18446604470655555456 0 0 -1 7 0 0 0 [pid=11729/tid=11734] ppid=11726 vsize=6431776 CPUtime=0 cores=5,7 /proc/11729/task/11734/stat : 11734 (java) S 11726 11729 20746 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 950751037 6586138624 132432 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746994585 0 4 0 16800975 18446604470655555456 0 0 -1 7 0 0 0 [pid=11729/tid=11735] ppid=11726 vsize=6431776 CPUtime=0 cores=5,7 /proc/11729/task/11735/stat : 11735 (java) S 11726 11729 20746 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 950751037 6586138624 132434 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746994585 0 4 0 16800975 18446604470655555456 0 0 -1 7 0 0 0 [pid=11729/tid=11736] ppid=11726 vsize=6431776 CPUtime=0 cores=5,7 /proc/11729/task/11736/stat : 11736 (java) S 11726 11729 20746 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 950751037 6586138624 132436 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746994585 0 4 0 16800975 18446604470655555456 0 0 -1 7 0 0 0 [pid=11729/tid=11737] ppid=11726 vsize=6431776 CPUtime=0 cores=5,7 /proc/11729/task/11737/stat : 11737 (java) S 11726 11729 20746 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 950751037 6586138624 132438 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746994585 0 4 0 16800975 18446604470655555456 0 0 -1 7 0 0 0 [pid=11729/tid=11738] ppid=11726 vsize=6431776 CPUtime=0 cores=5,7 /proc/11729/task/11738/stat : 11738 (java) S 11726 11729 20746 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 950751037 6586138624 132440 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746994585 0 4 0 16800975 18446604470655555456 0 0 -1 7 0 0 0 [pid=11729/tid=11741] ppid=11726 vsize=6431776 CPUtime=0 cores=5,7 /proc/11729/task/11741/stat : 11741 (java) S 11726 11729 20746 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 18 0 950751038 6586138624 132442 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746995200 0 0 0 16800975 18446604470655555456 0 0 -1 5 0 0 0 [pid=11729/tid=11742] ppid=11726 vsize=6431776 CPUtime=0 cores=5,7 /proc/11729/task/11742/stat : 11742 (java) S 11726 11729 20746 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 950751038 6586138624 132444 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746994585 0 4 0 16800975 18446604470655555456 0 0 -1 5 0 0 0 [pid=11729/tid=11743] ppid=11726 vsize=6431776 CPUtime=0 cores=5,7 /proc/11729/task/11743/stat : 11743 (java) S 11726 11729 20746 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 950751038 6586138624 132446 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746994585 0 4 0 16800975 18446604470655555456 0 0 -1 5 0 0 0 [pid=11729/tid=11744] ppid=11726 vsize=6431776 CPUtime=0 cores=5,7 /proc/11729/task/11744/stat : 11744 (java) S 11726 11729 20746 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 950751041 6586138624 132448 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216747002289 0 4 0 16800975 18446604470655555456 0 0 -1 5 0 0 0 [pid=11729/tid=11745] ppid=11726 vsize=6431776 CPUtime=0.15 cores=5,7 /proc/11729/task/11745/stat : 11745 (java) S 11726 11729 20746 0 -1 4202560 2138 0 0 0 15 0 0 0 17 0 18 0 950751041 6586138624 132450 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746994585 0 4 0 16800975 18446604470655555456 0 0 -1 5 0 0 0 [pid=11729/tid=11746] ppid=11726 vsize=6431776 CPUtime=0.11 cores=5,7 /proc/11729/task/11746/stat : 11746 (java) S 11726 11729 20746 0 -1 4202560 2508 0 0 0 11 0 0 0 25 0 18 0 950751041 6586138624 132452 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746994585 0 4 0 16800975 18446604470655555456 0 0 -1 7 0 0 0 [pid=11729/tid=11747] ppid=11726 vsize=6431776 CPUtime=0 cores=5,7 /proc/11729/task/11747/stat : 11747 (java) S 11726 11729 20746 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 950751041 6586138624 132453 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746994585 0 4 0 16800975 18446604470655555456 0 0 -1 5 0 0 0 [pid=11729/tid=11748] ppid=11726 vsize=6431776 CPUtime=0 cores=5,7 /proc/11729/task/11748/stat : 11748 (java) S 11726 11729 20746 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 950751041 6586138624 132456 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746995200 0 4 0 16800975 18446604470655555456 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1.68 Current children cumulated vsize (KiB) 6431776 [startup+3.10145 s] /proc/loadavg: 4.09 1.57 0.57 6/658 11825 /proc/meminfo: memFree=23427712/32951124 swapFree=49879164/67111528 ################ # More data... # ################ [pid=11729/tid=11733] ppid=11726 vsize=6435276 CPUtime=0.94 cores=5,7 /proc/11729/task/11733/stat : 11733 (java) S 11726 11729 20746 0 -1 4202560 54012 0 0 0 88 6 0 0 15 0 19 0 950751037 6589722624 662071 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746994585 0 4 0 16800975 18446604470655555456 0 0 -1 7 0 0 0 [pid=11729/tid=11734] ppid=11726 vsize=6435276 CPUtime=0.76 cores=5,7 /proc/11729/task/11734/stat : 11734 (java) S 11726 11729 20746 0 -1 4202560 30073 0 0 0 73 3 0 0 16 0 19 0 950751037 6589722624 662071 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746994585 0 4 0 16800975 18446604470655555456 0 0 -1 7 0 0 0 [pid=11729/tid=11735] ppid=11726 vsize=6435276 CPUtime=0.61 cores=5,7 /proc/11729/task/11735/stat : 11735 (java) S 11726 11729 20746 0 -1 4202560 102 0 0 0 61 0 0 0 15 0 19 0 950751037 6589722624 662071 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746994585 0 4 0 16800975 18446604470655555456 0 0 -1 7 0 0 0 [pid=11729/tid=11736] ppid=11726 vsize=6435276 CPUtime=0.24 cores=5,7 /proc/11729/task/11736/stat : 11736 (java) S 11726 11729 20746 0 -1 4202560 21603 0 0 0 22 2 0 0 15 0 19 0 950751037 6589722624 662071 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746994585 0 4 0 16800975 18446604470655555456 0 0 -1 5 0 0 0 [pid=11729/tid=11737] ppid=11726 vsize=6435276 CPUtime=0.81 cores=5,7 /proc/11729/task/11737/stat : 11737 (java) S 11726 11729 20746 0 -1 4202560 15242 0 0 0 80 1 0 0 16 0 19 0 950751037 6589722624 662071 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746994585 0 4 0 16800975 18446604470655555456 0 0 -1 5 0 0 0 [pid=11729/tid=11738] ppid=11726 vsize=6435276 CPUtime=0.99 cores=5,7 /proc/11729/task/11738/stat : 11738 (java) S 11726 11729 20746 0 -1 4202560 30784 0 0 0 96 3 0 0 15 0 19 0 950751037 6589722624 662071 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746994585 0 4 0 16800975 18446604470655555456 0 0 -1 5 0 0 0 [pid=11729/tid=11741] ppid=11726 vsize=6435276 CPUtime=0 cores=5,7 /proc/11729/task/11741/stat : 11741 (java) S 11726 11729 20746 0 -1 4202560 36 0 0 0 0 0 0 0 15 0 19 0 950751038 6589722624 662071 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746995200 0 0 0 16800975 18446604470655555456 0 0 -1 7 0 0 0 [pid=11729/tid=11742] ppid=11726 vsize=6435276 CPUtime=0 cores=5,7 /proc/11729/task/11742/stat : 11742 (java) S 11726 11729 20746 0 -1 4202560 19 0 0 0 0 0 0 0 15 0 19 0 950751038 6589722624 662071 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746994585 0 4 0 16800975 18446604470655555456 0 0 -1 7 0 0 0 [pid=11729/tid=11743] ppid=11726 vsize=6435276 CPUtime=0 cores=5,7 /proc/11729/task/11743/stat : 11743 (java) S 11726 11729 20746 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 19 0 950751038 6589722624 662071 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746994585 0 4 0 16800975 18446604470655555456 0 0 -1 7 0 0 0 [pid=11729/tid=11744] ppid=11726 vsize=6435276 CPUtime=0 cores=5,7 /proc/11729/task/11744/stat : 11744 (java) S 11726 11729 20746 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 950751041 6589722624 662071 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216747002289 0 4 0 16800975 18446604470655555456 0 0 -1 5 0 0 0 [pid=11729/tid=11745] ppid=11726 vsize=6435276 CPUtime=0.67 cores=5,7 /proc/11729/task/11745/stat : 11745 (java) S 11726 11729 20746 0 -1 4202560 3995 0 0 0 67 0 0 0 15 0 19 0 950751041 6589722624 662071 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746994585 0 4 0 16800975 18446604470655555456 0 0 -1 5 0 0 0 [pid=11729/tid=11746] ppid=11726 vsize=6435276 CPUtime=0.22 cores=5,7 /proc/11729/task/11746/stat : 11746 (java) S 11726 11729 20746 0 -1 4202560 2523 0 0 0 22 0 0 0 15 0 19 0 950751041 6589722624 662071 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746994585 0 4 0 16800975 18446604470655555456 0 0 -1 7 0 0 0 [pid=11729/tid=11747] ppid=11726 vsize=6435276 CPUtime=0 cores=5,7 /proc/11729/task/11747/stat : 11747 (java) S 11726 11729 20746 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 950751041 6589722624 662071 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746994585 0 4 0 16800975 18446604470655555456 0 0 -1 5 0 0 0 [pid=11729/tid=11748] ppid=11726 vsize=6435276 CPUtime=0 cores=5,7 /proc/11729/task/11748/stat : 11748 (java) S 11726 11729 20746 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 950751041 6589722624 662071 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746995200 0 4 0 16800975 18446604470655555456 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 293.35 Current children cumulated vsize (KiB) 6435276 [startup+290.701 s] /proc/loadavg: 4.27 3.33 1.60 5/658 31586 /proc/meminfo: memFree=21002280/32951124 swapFree=49879164/67111528 [pid=11729] ppid=11726 vsize=6445320 CPUtime=294.3 cores=5,7 /proc/11729/stat : 11729 (java) S 11726 11729 20746 0 -1 4202496 672968 0 1 0 29346 84 0 0 21 0 18 0 950751035 6600007680 664263 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/11729/statm: 1611330 664263 2242 9 0 1602068 0 [pid=11729/tid=11730] ppid=11726 vsize=6445320 CPUtime=286.96 cores=5,7 /proc/11729/task/11730/stat : 11730 (java) R 11726 11729 20746 0 -1 4202560 391662 0 1 0 28648 48 0 0 25 0 18 0 950751035 6600007680 664263 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 46912505984879 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=11729/tid=11731] ppid=11726 vsize=6445320 CPUtime=0.99 cores=5,7 /proc/11729/task/11731/stat : 11731 (java) S 11726 11729 20746 0 -1 4202560 68828 0 0 0 91 8 0 0 15 0 18 0 950751037 6600007680 664263 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746994585 0 4 0 16800975 18446604470655555456 0 0 -1 5 0 0 0 [pid=11729/tid=11732] ppid=11726 vsize=6445320 CPUtime=0.79 cores=5,7 /proc/11729/task/11732/stat : 11732 (java) S 11726 11729 20746 0 -1 4202560 49715 0 0 0 74 5 0 0 15 0 18 0 950751037 6600007680 664263 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746994585 0 4 0 16800975 18446604470655555456 0 0 -1 7 0 0 0 [pid=11729/tid=11733] ppid=11726 vsize=6445320 CPUtime=0.94 cores=5,7 /proc/11729/task/11733/stat : 11733 (java) S 11726 11729 20746 0 -1 4202560 54012 0 0 0 88 6 0 0 15 0 18 0 950751037 6600007680 664263 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746994585 0 4 0 16800975 18446604470655555456 0 0 -1 7 0 0 0 [pid=11729/tid=11734] ppid=11726 vsize=6445320 CPUtime=0.76 cores=5,7 /proc/11729/task/11734/stat : 11734 (java) S 11726 11729 20746 0 -1 4202560 30073 0 0 0 73 3 0 0 16 0 18 0 950751037 6600007680 664263 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746994585 0 4 0 16800975 18446604470655555456 0 0 -1 7 0 0 0 [pid=11729/tid=11735] ppid=11726 vsize=6445320 CPUtime=0.61 cores=5,7 /proc/11729/task/11735/stat : 11735 (java) S 11726 11729 20746 0 -1 4202560 102 0 0 0 61 0 0 0 15 0 18 0 950751037 6600007680 664263 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746994585 0 4 0 16800975 18446604470655555456 0 0 -1 7 0 0 0 [pid=11729/tid=11736] ppid=11726 vsize=6445320 CPUtime=0.24 cores=5,7 /proc/11729/task/11736/stat : 11736 (java) S 11726 11729 20746 0 -1 4202560 21603 0 0 0 22 2 0 0 15 0 18 0 950751037 6600007680 664263 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746994585 0 4 0 16800975 18446604470655555456 0 0 -1 5 0 0 0 [pid=11729/tid=11737] ppid=11726 vsize=6445320 CPUtime=0.81 cores=5,7 /proc/11729/task/11737/stat : 11737 (java) S 11726 11729 20746 0 -1 4202560 15242 0 0 0 80 1 0 0 16 0 18 0 950751037 6600007680 664263 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746994585 0 4 0 16800975 18446604470655555456 0 0 -1 5 0 0 0 [pid=11729/tid=11738] ppid=11726 vsize=6445320 CPUtime=0.99 cores=5,7 /proc/11729/task/11738/stat : 11738 (java) S 11726 11729 20746 0 -1 4202560 30784 0 0 0 96 3 0 0 15 0 18 0 950751037 6600007680 664263 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746994585 0 4 0 16800975 18446604470655555456 0 0 -1 5 0 0 0 [pid=11729/tid=11741] ppid=11726 vsize=6445320 CPUtime=0 cores=5,7 /proc/11729/task/11741/stat : 11741 (java) S 11726 11729 20746 0 -1 4202560 36 0 0 0 0 0 0 0 15 0 18 0 950751038 6600007680 664263 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746995200 0 0 0 16800975 18446604470655555456 0 0 -1 7 0 0 0 [pid=11729/tid=11742] ppid=11726 vsize=6445320 CPUtime=0 cores=5,7 /proc/11729/task/11742/stat : 11742 (java) S 11726 11729 20746 0 -1 4202560 19 0 0 0 0 0 0 0 15 0 18 0 950751038 6600007680 664263 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746994585 0 4 0 16800975 18446604470655555456 0 0 -1 7 0 0 0 [pid=11729/tid=11743] ppid=11726 vsize=6445320 CPUtime=0 cores=5,7 /proc/11729/task/11743/stat : 11743 (java) S 11726 11729 20746 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 18 0 950751038 6600007680 664263 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746994585 0 4 0 16800975 18446604470655555456 0 0 -1 7 0 0 0 [pid=11729/tid=11744] ppid=11726 vsize=6445320 CPUtime=0 cores=5,7 /proc/11729/task/11744/stat : 11744 (java) S 11726 11729 20746 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 950751041 6600007680 664263 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216747002289 0 4 0 16800975 18446604470655555456 0 0 -1 5 0 0 0 [pid=11729/tid=11745] ppid=11726 vsize=6445320 CPUtime=0.83 cores=5,7 /proc/11729/task/11745/stat : 11745 (java) S 11726 11729 20746 0 -1 4202560 7124 0 0 0 82 1 0 0 16 0 18 0 950751041 6600007680 664263 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746994585 0 4 0 16800975 18446604470655555456 0 0 -1 5 0 0 0 [pid=11729/tid=11746] ppid=11726 vsize=6445320 CPUtime=0.22 cores=5,7 /proc/11729/task/11746/stat : 11746 (java) S 11726 11729 20746 0 -1 4202560 2523 0 0 0 22 0 0 0 15 0 18 0 950751041 6600007680 664263 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746994585 0 4 0 16800975 18446604470655555456 0 0 -1 7 0 0 0 [pid=11729/tid=11747] ppid=11726 vsize=6445320 CPUtime=0 cores=5,7 /proc/11729/task/11747/stat : 11747 (java) S 11726 11729 20746 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 950751041 6600007680 664263 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746994585 0 4 0 16800975 18446604470655555456 0 0 -1 5 0 0 0 [pid=11729/tid=11748] ppid=11726 vsize=6445320 CPUtime=0 cores=5,7 /proc/11729/task/11748/stat : 11748 (java) R 11726 11729 20746 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 18 0 950751041 6600007680 664263 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746995200 0 4 0 16800975 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 294.3 Current children cumulated vsize (KiB) 6445320 [startup+291.101 s] /proc/loadavg: 4.27 3.33 1.60 5/658 31586 /proc/meminfo: memFree=21002280/32951124 swapFree=49879164/67111528 [pid=11729] ppid=11726 vsize=6445320 CPUtime=294.69 cores=5,7 /proc/11729/stat : 11729 (java) S 11726 11729 20746 0 -1 4202496 672972 0 1 0 29385 84 0 0 21 0 18 0 950751035 6600007680 664267 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/11729/statm: 1611330 664267 2242 9 0 1602068 0 [pid=11729/tid=11730] ppid=11726 vsize=6445320 CPUtime=287.32 cores=5,7 /proc/11729/task/11730/stat : 11730 (java) R 11726 11729 20746 0 -1 4202560 391666 0 1 0 28684 48 0 0 25 0 18 0 950751035 6600007680 664267 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 46912505796567 0 4 0 16800975 0 0 0 -1 7 0 0 0 [pid=11729/tid=11731] ppid=11726 vsize=6445320 CPUtime=0.99 cores=5,7 /proc/11729/task/11731/stat : 11731 (java) S 11726 11729 20746 0 -1 4202560 68828 0 0 0 91 8 0 0 15 0 18 0 950751037 6600007680 664267 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746994585 0 4 0 16800975 18446604470655555456 0 0 -1 5 0 0 0 [pid=11729/tid=11732] ppid=11726 vsize=6445320 CPUtime=0.79 cores=5,7 /proc/11729/task/11732/stat : 11732 (java) S 11726 11729 20746 0 -1 4202560 49715 0 0 0 74 5 0 0 15 0 18 0 950751037 6600007680 664267 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746994585 0 4 0 16800975 18446604470655555456 0 0 -1 7 0 0 0 [pid=11729/tid=11733] ppid=11726 vsize=6445320 CPUtime=0.94 cores=5,7 /proc/11729/task/11733/stat : 11733 (java) S 11726 11729 20746 0 -1 4202560 54012 0 0 0 88 6 0 0 15 0 18 0 950751037 6600007680 664267 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746994585 0 4 0 16800975 18446604470655555456 0 0 -1 7 0 0 0 [pid=11729/tid=11734] ppid=11726 vsize=6445320 CPUtime=0.76 cores=5,7 /proc/11729/task/11734/stat : 11734 (java) S 11726 11729 20746 0 -1 4202560 30073 0 0 0 73 3 0 0 16 0 18 0 950751037 6600007680 664267 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746994585 0 4 0 16800975 18446604470655555456 0 0 -1 7 0 0 0 [pid=11729/tid=11735] ppid=11726 vsize=6445320 CPUtime=0.61 cores=5,7 /proc/11729/task/11735/stat : 11735 (java) S 11726 11729 20746 0 -1 4202560 102 0 0 0 61 0 0 0 15 0 18 0 950751037 6600007680 664267 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746994585 0 4 0 16800975 18446604470655555456 0 0 -1 7 0 0 0 [pid=11729/tid=11736] ppid=11726 vsize=6445320 CPUtime=0.24 cores=5,7 /proc/11729/task/11736/stat : 11736 (java) S 11726 11729 20746 0 -1 4202560 21603 0 0 0 22 2 0 0 15 0 18 0 950751037 6600007680 664267 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746994585 0 4 0 16800975 18446604470655555456 0 0 -1 5 0 0 0 [pid=11729/tid=11737] ppid=11726 vsize=6445320 CPUtime=0.81 cores=5,7 /proc/11729/task/11737/stat : 11737 (java) S 11726 11729 20746 0 -1 4202560 15242 0 0 0 80 1 0 0 16 0 18 0 950751037 6600007680 664267 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746994585 0 4 0 16800975 18446604470655555456 0 0 -1 5 0 0 0 [pid=11729/tid=11738] ppid=11726 vsize=6445320 CPUtime=0.99 cores=5,7 /proc/11729/task/11738/stat : 11738 (java) S 11726 11729 20746 0 -1 4202560 30784 0 0 0 96 3 0 0 15 0 18 0 950751037 6600007680 664267 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746994585 0 4 0 16800975 18446604470655555456 0 0 -1 5 0 0 0 [pid=11729/tid=11741] ppid=11726 vsize=6445320 CPUtime=0 cores=5,7 /proc/11729/task/11741/stat : 11741 (java) S 11726 11729 20746 0 -1 4202560 36 0 0 0 0 0 0 0 15 0 18 0 950751038 6600007680 664267 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746995200 0 0 0 16800975 18446604470655555456 0 0 -1 7 0 0 0 [pid=11729/tid=11742] ppid=11726 vsize=6445320 CPUtime=0 cores=5,7 /proc/11729/task/11742/stat : 11742 (java) S 11726 11729 20746 0 -1 4202560 19 0 0 0 0 0 0 0 15 0 18 0 950751038 6600007680 664267 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746994585 0 4 0 16800975 18446604470655555456 0 0 -1 7 0 0 0 [pid=11729/tid=11743] ppid=11726 vsize=6445320 CPUtime=0 cores=5,7 /proc/11729/task/11743/stat : 11743 (java) S 11726 11729 20746 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 18 0 950751038 6600007680 664267 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746994585 0 4 0 16800975 18446604470655555456 0 0 -1 7 0 0 0 [pid=11729/tid=11744] ppid=11726 vsize=6445320 CPUtime=0 cores=5,7 /proc/11729/task/11744/stat : 11744 (java) S 11726 11729 20746 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 950751041 6600007680 664267 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216747002289 0 4 0 16800975 18446604470655555456 0 0 -1 5 0 0 0 [pid=11729/tid=11745] ppid=11726 vsize=6445320 CPUtime=0.85 cores=5,7 /proc/11729/task/11745/stat : 11745 (java) S 11726 11729 20746 0 -1 4202560 7124 0 0 0 84 1 0 0 16 0 18 0 950751041 6600007680 664267 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746994585 0 4 0 16800975 18446604470655555456 0 0 -1 5 0 0 0 [pid=11729/tid=11746] ppid=11726 vsize=6445320 CPUtime=0.22 cores=5,7 /proc/11729/task/11746/stat : 11746 (java) S 11726 11729 20746 0 -1 4202560 2523 0 0 0 22 0 0 0 15 0 18 0 950751041 6600007680 664267 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746994585 0 4 0 16800975 18446604470655555456 0 0 -1 7 0 0 0 [pid=11729/tid=11747] ppid=11726 vsize=6445320 CPUtime=0 cores=5,7 /proc/11729/task/11747/stat : 11747 (java) S 11726 11729 20746 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 950751041 6600007680 664267 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746994585 0 4 0 16800975 18446604470655555456 0 0 -1 5 0 0 0 [pid=11729/tid=11748] ppid=11726 vsize=6445320 CPUtime=0 cores=5,7 /proc/11729/task/11748/stat : 11748 (java) S 11726 11729 20746 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 18 0 950751041 6600007680 664267 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746995200 0 4 0 16800975 18446604470655555456 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 294.69 Current children cumulated vsize (KiB) 6445320 [startup+291.501 s] /proc/loadavg: 4.27 3.33 1.60 5/658 31586 /proc/meminfo: memFree=21002280/32951124 swapFree=49879164/67111528 [pid=11729] ppid=11726 vsize=6445320 CPUtime=295.09 cores=5,7 /proc/11729/stat : 11729 (java) S 11726 11729 20746 0 -1 4202496 672972 0 1 0 29425 84 0 0 21 0 18 0 950751035 6600007680 664267 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/11729/statm: 1611330 664267 2242 9 0 1602068 0 [pid=11729/tid=11730] ppid=11726 vsize=6445320 CPUtime=287.72 cores=5,7 /proc/11729/task/11730/stat : 11730 (java) R 11726 11729 20746 0 -1 4202560 391666 0 1 0 28724 48 0 0 25 0 18 0 950751035 6600007680 664267 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 46912505796607 0 4 0 16800975 0 0 0 -1 7 0 0 0 [pid=11729/tid=11731] ppid=11726 vsize=6445320 CPUtime=0.99 cores=5,7 /proc/11729/task/11731/stat : 11731 (java) S 11726 11729 20746 0 -1 4202560 68828 0 0 0 91 8 0 0 15 0 18 0 950751037 6600007680 664267 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746994585 0 4 0 16800975 18446604470655555456 0 0 -1 5 0 0 0 [pid=11729/tid=11732] ppid=11726 vsize=6445320 CPUtime=0.79 cores=5,7 /proc/11729/task/11732/stat : 11732 (java) S 11726 11729 20746 0 -1 4202560 49715 0 0 0 74 5 0 0 15 0 18 0 950751037 6600007680 664267 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746994585 0 4 0 16800975 18446604470655555456 0 0 -1 7 0 0 0 [pid=11729/tid=11733] ppid=11726 vsize=6445320 CPUtime=0.94 cores=5,7 /proc/11729/task/11733/stat : 11733 (java) S 11726 11729 20746 0 -1 4202560 54012 0 0 0 88 6 0 0 15 0 18 0 950751037 6600007680 664267 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746994585 0 4 0 16800975 18446604470655555456 0 0 -1 7 0 0 0 [pid=11729/tid=11734] ppid=11726 vsize=6445320 CPUtime=0.76 cores=5,7 /proc/11729/task/11734/stat : 11734 (java) S 11726 11729 20746 0 -1 4202560 30073 0 0 0 73 3 0 0 16 0 18 0 950751037 6600007680 664267 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746994585 0 4 0 16800975 18446604470655555456 0 0 -1 7 0 0 0 [pid=11729/tid=11735] ppid=11726 vsize=6445320 CPUtime=0.61 cores=5,7 /proc/11729/task/11735/stat : 11735 (java) S 11726 11729 20746 0 -1 4202560 102 0 0 0 61 0 0 0 15 0 18 0 950751037 6600007680 664267 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746994585 0 4 0 16800975 18446604470655555456 0 0 -1 7 0 0 0 [pid=11729/tid=11736] ppid=11726 vsize=6445320 CPUtime=0.24 cores=5,7 /proc/11729/task/11736/stat : 11736 (java) S 11726 11729 20746 0 -1 4202560 21603 0 0 0 22 2 0 0 15 0 18 0 950751037 6600007680 664267 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746994585 0 4 0 16800975 18446604470655555456 0 0 -1 5 0 0 0 [pid=11729/tid=11737] ppid=11726 vsize=6445320 CPUtime=0.81 cores=5,7 /proc/11729/task/11737/stat : 11737 (java) S 11726 11729 20746 0 -1 4202560 15242 0 0 0 80 1 0 0 16 0 18 0 950751037 6600007680 664267 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746994585 0 4 0 16800975 18446604470655555456 0 0 -1 5 0 0 0 [pid=11729/tid=11738] ppid=11726 vsize=6445320 CPUtime=0.99 cores=5,7 /proc/11729/task/11738/stat : 11738 (java) S 11726 11729 20746 0 -1 4202560 30784 0 0 0 96 3 0 0 15 0 18 0 950751037 6600007680 664267 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746994585 0 4 0 16800975 18446604470655555456 0 0 -1 5 0 0 0 [pid=11729/tid=11741] ppid=11726 vsize=6445320 CPUtime=0 cores=5,7 /proc/11729/task/11741/stat : 11741 (java) S 11726 11729 20746 0 -1 4202560 36 0 0 0 0 0 0 0 15 0 18 0 950751038 6600007680 664267 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746995200 0 0 0 16800975 18446604470655555456 0 0 -1 7 0 0 0 [pid=11729/tid=11742] ppid=11726 vsize=6445320 CPUtime=0 cores=5,7 /proc/11729/task/11742/stat : 11742 (java) S 11726 11729 20746 0 -1 4202560 19 0 0 0 0 0 0 0 15 0 18 0 950751038 6600007680 664267 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746994585 0 4 0 16800975 18446604470655555456 0 0 -1 7 0 0 0 [pid=11729/tid=11743] ppid=11726 vsize=6445320 CPUtime=0 cores=5,7 /proc/11729/task/11743/stat : 11743 (java) S 11726 11729 20746 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 18 0 950751038 6600007680 664267 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746994585 0 4 0 16800975 18446604470655555456 0 0 -1 7 0 0 0 [pid=11729/tid=11744] ppid=11726 vsize=6445320 CPUtime=0 cores=5,7 /proc/11729/task/11744/stat : 11744 (java) S 11726 11729 20746 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 950751041 6600007680 664267 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216747002289 0 4 0 16800975 18446604470655555456 0 0 -1 5 0 0 0 [pid=11729/tid=11745] ppid=11726 vsize=6445320 CPUtime=0.85 cores=5,7 /proc/11729/task/11745/stat : 11745 (java) S 11726 11729 20746 0 -1 4202560 7124 0 0 0 84 1 0 0 16 0 18 0 950751041 6600007680 664267 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746994585 0 4 0 16800975 18446604470655555456 0 0 -1 5 0 0 0 [pid=11729/tid=11746] ppid=11726 vsize=6445320 CPUtime=0.22 cores=5,7 /proc/11729/task/11746/stat : 11746 (java) S 11726 11729 20746 0 -1 4202560 2523 0 0 0 22 0 0 0 15 0 18 0 950751041 6600007680 664267 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746994585 0 4 0 16800975 18446604470655555456 0 0 -1 7 0 0 0 [pid=11729/tid=11747] ppid=11726 vsize=6445320 CPUtime=0 cores=5,7 /proc/11729/task/11747/stat : 11747 (java) S 11726 11729 20746 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 950751041 6600007680 664267 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746994585 0 4 0 16800975 18446604470655555456 0 0 -1 5 0 0 0 [pid=11729/tid=11748] ppid=11726 vsize=6445320 CPUtime=0 cores=5,7 /proc/11729/task/11748/stat : 11748 (java) R 11726 11729 20746 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 18 0 950751041 6600007680 664267 33554432000 1073741824 1073778376 140736822432624 18446744073709551615 216746995200 0 4 0 16800975 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 295.09 Current children cumulated vsize (KiB) 6445320 [startup+291.601 s] /proc/loadavg: 4.27 3.33 1.60 5/658 31586 /proc/meminfo: memFree=21002280/32951124 swapFree=49879164/67111528 [pid=11729] ppid=11726 vsize=0 CPUtime=295.2 cores=5,7 /proc/11729/stat : 11729 (java) Z 11726 11729 20746 0 -1 4203548 672976 0 1 0 29427 93 0 0 18 0 2 0 950751035 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/11729/statm: 0 0 0 0 0 0 0 [pid=11729/tid=11730] ppid=11726 vsize=0 CPUtime=287.82 cores=5,7 /proc/11729/task/11730/stat : 11730 (java) R 11726 11729 20746 0 -1 4203588 391670 0 1 0 28726 56 0 0 25 0 2 0 950751035 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 295.2 Current children cumulated vsize (KiB) 0 Child status: 20 Real time (s): 291.606 CPU time (s): 295.209 CPU user time (s): 294.27 CPU system time (s): 0.938857 CPU usage (%): 101.236 Max. virtual memory (cumulated for all children) (KiB): 6445352 getrusage(RUSAGE_CHILDREN,...) data: user time used= 294.27 system time used= 0.938857 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 672976 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= 10596 involuntary context switches= 8167 runsolver used 1.64575 second user time and 3.80242 second system time The end
Begin job on node119 at 2011-06-09 09:40:04 IDJOB=3483134 IDBENCH=89442 IDSOLVER=1972 FILE ID=node119/3483134-1307605203 RUNJOBID= node119-1307605083-21178 PBS_JOBID= 13547770 Free space on /tmp= 73668 MiB SOLVER NAME= SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 BENCH NAME= SAT11/mus/marques-silva/design-debugging/wb_conmax3.dimacs.filtered.cnf COMMAND LINE= java -Xms6000m -Xmx6000m -jar sat4j-mus-v20110206.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3483134-1307605203/watcher-3483134-1307605203 -o /tmp/evaluation-result-3483134-1307605203/solver-3483134-1307605203 -C 1800 -W 1850 -M 7680 java -Xms6000m -Xmx6000m -jar sat4j-mus-v20110206.jar HOME/instance-3483134-1307605203.cnf TIME LIMIT= 1800 seconds MEMORY LIMIT= 7680 MiB NBCORE= 2 MD5SUM BENCH= 70661d58e23d97579ff78155ba3338cb RANDOM SEED=108582765 node119.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.815 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.63 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.815 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.815 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.815 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.815 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.67 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.815 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.815 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.815 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 24124388 kB Buffers: 175284 kB Cached: 433300 kB SwapCached: 11180 kB Active: 8303576 kB Inactive: 209596 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 24124388 kB SwapTotal: 67111528 kB SwapFree: 49879164 kB Dirty: 26704 kB Writeback: 0 kB AnonPages: 7901928 kB Mapped: 39572 kB Slab: 147348 kB PageTables: 95824 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 186178236 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= 73668 MiB End job on node119 at 2011-06-09 09:44:55