| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 | UNSAT | 126.456 | 124.107 |
| Name | industrial/babic/xinetd/ xinetd_vc56687.cnf |
| MD5SUM | 8ee40e47d0f78a39fcf5c18ad73a5bdd |
| Bench Category | APPLICATION (applications instances) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 0.791878 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 110822 |
| Number of clauses | 286158 |
| Sum of the clauses size | 694158 |
| Maximum clause length | 3 |
| Minimum clause length | 1 |
| Number of clauses of size 1 | 13085 |
| Number of clauses of size 2 | 138146 |
| Number of clauses of size 3 | 134927 |
| Number of clauses of size 4 | 0 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 0 |
0.04/0.06 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.04/0.06 c This is free software under the dual EPL/GNU LGPL licenses. 0.04/0.06 c See www.sat4j.org for details. 0.04/0.07 c version 2.3.0.v20110206 0.04/0.07 c java.runtime.name Java(TM) SE Runtime Environment 0.04/0.07 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.04/0.07 c java.vm.version 19.1-b02 0.04/0.07 c java.vm.vendor Sun Microsystems Inc. 0.04/0.07 c sun.arch.data.model 64 0.04/0.07 c java.version 1.6.0_24 0.04/0.07 c os.name Linux 0.04/0.07 c os.version 2.6.18-164.el5 0.04/0.07 c os.arch amd64 0.04/0.07 c Free memory 5997854704 0.04/0.07 c Max memory 6029312000 0.04/0.07 c Total memory 6029312000 0.04/0.07 c Number of processors 8 0.04/0.09 c Explanation (MUS) enabled solver 0.04/0.09 c QuickXplain (AAAI 2004 version) minimization strategy 0.04/0.09 c --- Begin Solver configuration --- 0.04/0.09 c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@aa470b8 0.04/0.09 c Learn all clauses as in MiniSAT 0.04/0.09 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 0.04/0.09 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT 0.04/0.09 c Expensive reason simplification 0.04/0.09 c Armin Biere (Picosat) restarts strategy 0.04/0.09 c Glucose learned constraints deletion strategy 0.04/0.09 c timeout=2147483647s 0.04/0.09 c DB Simplification allowed=true 0.04/0.09 c --- End Solver configuration --- 0.04/0.09 c solving HOME/instance-3482935-1307604136.cnf 0.04/0.09 c reading problem ... 0.95/0.66 c ... done. Wall clock time 0.571s. 0.95/0.66 c #vars 396980 0.95/0.66 c #constraints 286158 0.95/0.66 c constraints type 0.95/0.66 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 273073 0.95/0.66 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 13085 1.42/0.96 c Unsat detection wall clock time (in seconds) : 0.863 1.42/0.96 c Size of initial unsat subformula: 648 1.42/0.96 c Computing MUS ... 1.42/0.96 c initial unsat core -110821[?] 396979[?] 110822[?] -110820[?] 110821[?] 396976[?] 110721[?] 396972[?] 110820[?] 110720[?] 396808[?] -110721[?] 110013[?] 396805[?] -110720[?] 109948[?] 394627[?] -110013[?] 109947[?] 394626[?] -110013[?] 110012[?] -109948[?] 394623[?] 110011[?] -110012[?] 394621[?] 110010[?] -110011[?] 394618[?] 110009[?] -110010[?] 394615[?] 110008[?] -110009[?] 394612[?] 110007[?] -110008[?] 394609[?] 110006[?] -110007[?] 394606[?] 110005[?] -110006[?] 394603[?] 110004[?] -110005[?] 394600[?] 110003[?] -110004[?] 394597[?] 110002[?] -110003[?] 394594[?] 110001[?] -110002[?] 394591[?] 110000[?] -110001[?] 394588[?] 109999[?] -110000[?] 394585[?] 109998[?] -109999[?] 394582[?] 109997[?] -109998[?] 394579[?] 109996[?] -109997[?] 394576[?] 109995[?] -109996[?] 394573[?] 109994[?] -109995[?] 394570[?] 109993[?] -109994[?] 394567[?] 109992[?] -109993[?] 394564[?] 109991[?] -109992[?] 394561[?] 109990[?] -109991[?] 394558[?] 109989[?] -109990[?] 394555[?] 109988[?] -109989[?] 394552[?] 109987[?] -109988[?] 394549[?] 109986[?] -109987[?] 394546[?] 109985[?] -109986[?] 394543[?] 109984[?] -109985[?] 394540[?] 109983[?] -109984[?] 394537[?] 109982[?] -109983[?] 394534[?] 109981[?] -109982[?] 394531[?] 109949[?] -109981[?] 394529[?] -100848[?] -109949[?] 394465[?] 109946[?] -109947[?] 394462[?] 109817[?] -109946[?] 394460[?] 109945[?] -109817[?] 394456[?] 109944[?] -109945[?] 394454[?] 109943[?] -109944[?] 394451[?] 109942[?] -109943[?] 394448[?] 109941[?] -109942[?] 394445[?] 109940[?] -109941[?] 394442[?] 109939[?] -109940[?] 394439[?] 109938[?] -109939[?] 394436[?] 109937[?] -109938[?] 394433[?] 109936[?] -109937[?] 394430[?] 109935[?] -109936[?] 394427[?] 109934[?] -109935[?] 394424[?] 109933[?] -109934[?] 394421[?] 109932[?] -109933[?] 394418[?] 109931[?] -109932[?] 394415[?] 109930[?] -109931[?] 394412[?] 109929[?] -109930[?] 394409[?] 109928[?] -109929[?] 394406[?] 109927[?] -109928[?] 394403[?] 109926[?] -109927[?] 394400[?] 109925[?] -109926[?] 394397[?] 109924[?] -109925[?] 394394[?] 109923[?] -109924[?] 394391[?] 109922[?] -109923[?] 394388[?] 109921[?] -109922[?] 394385[?] 109920[?] -109921[?] 394382[?] 109919[?] -109920[?] 394379[?] 109918[?] -109919[?] 394376[?] 109917[?] -109918[?] 394373[?] 109916[?] -109917[?] 394370[?] 109915[?] -109916[?] 394367[?] 109914[?] -109915[?] 394364[?] 109913[?] -109914[?] 394361[?] 109912[?] -109913[?] 394358[?] 109911[?] -109912[?] 394355[?] 109910[?] -109911[?] 394352[?] 109909[?] -109910[?] 394349[?] 109908[?] -109909[?] 394346[?] 109907[?] -109908[?] 394343[?] 109906[?] -109907[?] 394340[?] 109905[?] -109906[?] 394337[?] 109904[?] -109905[?] 394334[?] 109903[?] -109904[?] 394331[?] 109902[?] -109903[?] 394328[?] 109901[?] -109902[?] 394325[?] 109900[?] -109901[?] 394322[?] 109899[?] -109900[?] 394319[?] 109898[?] -109899[?] 394316[?] 109897[?] -109898[?] 394313[?] 109896[?] -109897[?] 394310[?] 109895[?] -109896[?] 394307[?] 109894[?] -109895[?] 394304[?] 109893[?] -109894[?] 394301[?] 109892[?] -109893[?] 394298[?] 109891[?] -109892[?] 394295[?] 109890[?] -109891[?] 394292[?] 109889[?] -109890[?] 394289[?] 109888[?] -109889[?] 394286[?] 109887[?] -109888[?] 394283[?] 109886[?] -109887[?] 394280[?] 109885[?] -109886[?] 394277[?] 109884[?] -109885[?] 394274[?] 109883[?] -109884[?] 394271[?] 109819[?] -109883[?] 394269[?] 394140[?] -109819[?] -104198[?] -109681[?] 109680[?] 393664[?] -109680[?] 109679[?] 393661[?] -109679[?] 393658[?] 109547[?] -109547[?] 393331[?] 106659[?] -106659[?] 106658[?] 384654[?] -106658[?] 106657[?] 384651[?] -106657[?] 106656[?] 384648[?] -106656[?] 100880[?] 384646[?] 104198[?] -101121[?] -103814[?] 378244[?] 103814[?] -102163[?] -75458[?] 377286[?] 102163[?] -101651[?] -75651[?] 371960[?] 101651[?] -101203[?] -75844[?] 370360[?] 101203[?] -101171[?] 368951[?] 101171[?] 76037[?] -101139[?] 368856[?] 101139[?] 82575[?] 368761[?] 101121[?] -101137[?] 368755[?] 101137[?] -101136[?] -101129[?] 368751[?] 101136[?] -101135[?] -101128[?] 368748[?] 101135[?] -101134[?] -101127[?] 368745[?] 101134[?] -101133[?] -101126[?] 368742[?] 101133[?] -101132[?] -101125[?] 368739[?] 101132[?] -101131[?] -101124[?] 368736[?] 101131[?] -101130[?] -101123[?] 368733[?] 101130[?] -101122[?] 368731[?] 101129[?] 101120[?] 368729[?] 101128[?] 101119[?] 368727[?] 101127[?] 101118[?] 368725[?] 101126[?] 101117[?] 368723[?] 101125[?] 101116[?] 368721[?] 101124[?] 101115[?] 368719[?] 101123[?] 101114[?] 368717[?] 101122[?] 101113[?] 368715[?] -101120[?] 101032[?] -75458[?] 368712[?] -101119[?] 101031[?] -75458[?] 368708[?] -101118[?] 101030[?] -75458[?] 368704[?] -101117[?] 101029[?] -75458[?] 368700[?] -101116[?] 101028[?] -75458[?] 368696[?] -101115[?] 101027[?] -75458[?] 368692[?] -101114[?] 101026[?] -75458[?] 368688[?] -101113[?] 101025[?] -75458[?] 368684[?] -101032[?] 100976[?] -75651[?] 368416[?] -101031[?] 100975[?] -75651[?] 368412[?] -101030[?] 100974[?] -75651[?] 368408[?] -101029[?] 100973[?] -75651[?] 368404[?] -101028[?] 100972[?] -75651[?] 368400[?] -101027[?] 100971[?] -75651[?] 368396[?] -101026[?] 100970[?] -75651[?] 368392[?] -101025[?] 100969[?] -75651[?] 368388[?] -100976[?] -75844[?] 368240[?] -100975[?] -75844[?] 368237[?] -100974[?] -75844[?] 368234[?] -100973[?] -75844[?] 368231[?] -100972[?] -75844[?] 368228[?] -100971[?] -75844[?] 368225[?] -100970[?] -75844[?] 368222[?] -100969[?] -75844[?] 368219[?] -100880[?] 100944[?] 368137[?] -100944[?] 100943[?] 368135[?] -100943[?] 100942[?] 368132[?] -100942[?] 100941[?] 368129[?] -100941[?] 100940[?] 368126[?] -100940[?] 100939[?] 368123[?] -100939[?] 100938[?] 368120[?] -100938[?] 100937[?] 368117[?] -100937[?] 100936[?] 368114[?] -100936[?] 100935[?] 368111[?] -100935[?] 100934[?] 368108[?] -100934[?] 100933[?] 368105[?] -100933[?] 100932[?] 368102[?] -100932[?] 100931[?] 368099[?] -100931[?] 100930[?] 368096[?] -100930[?] 100929[?] 368093[?] -100929[?] 100928[?] 368090[?] -100928[?] 100927[?] 368087[?] -100927[?] 100926[?] 368084[?] -100926[?] 100925[?] 368081[?] -100925[?] 100924[?] 368078[?] -100924[?] 100923[?] 368075[?] -100923[?] 100922[?] 368072[?] -100922[?] 100921[?] 368069[?] -100921[?] 100920[?] 368066[?] -100920[?] 100919[?] 368063[?] -100919[?] 100918[?] 368060[?] -100918[?] 100917[?] 368057[?] -100917[?] 100916[?] 368054[?] -100916[?] 100915[?] 368051[?] -100915[?] 100914[?] 368048[?] -100914[?] 100913[?] 368045[?] -100913[?] 100881[?] 368043[?] -100881[?] 100848[?] 367979[?] -100816[?] 74898[?] 100848[?] 367883[?] -74898[?] 100848[?] 367882[?] 3768[?] 100816[?] 367788[?] -100784[?] -3768[?] 100816[?] 367786[?] 74948[?] 100784[?] 367692[?] -82575[?] 82639[?] 321954[?] -82639[?] 82638[?] 321952[?] -82638[?] 82637[?] 321949[?] -82637[?] 82636[?] 321946[?] -82636[?] 82635[?] 321943[?] -82635[?] 82634[?] 321940[?] -82634[?] 82633[?] 321937[?] -82633[?] 82632[?] 321934[?] -82632[?] 82631[?] 321931[?] -82631[?] 82630[?] 321928[?] -82630[?] 82629[?] 321925[?] -82629[?] 82628[?] 321922[?] -82628[?] 82627[?] 321919[?] -82627[?] 82626[?] 321916[?] -82626[?] 82625[?] 321913[?] -82625[?] 82624[?] 321910[?] -82624[?] 82623[?] 321907[?] -82623[?] 82622[?] 321904[?] -82622[?] 82621[?] 321901[?] -82621[?] 82620[?] 321898[?] -82620[?] 82619[?] 321895[?] -82619[?] 82618[?] 321892[?] -82618[?] 82617[?] 321889[?] -82617[?] 82616[?] 321886[?] -82616[?] 82615[?] 321883[?] -82615[?] 82614[?] 321880[?] -82614[?] 82613[?] 321877[?] -82613[?] 82612[?] 321874[?] -82612[?] 82611[?] 321871[?] -82611[?] 82579[?] 321869[?] -82579[?] -75429[?] 321802[?] -76037[?] -76229[?] 307270[?] 76229[?] -76227[?] 307263[?] 76227[?] -76225[?] -76226[?] 307259[?] 76226[?] 75457[?] 307255[?] 76225[?] -76223[?] 307249[?] 76223[?] -76221[?] -76222[?] 307245[?] 76222[?] 75456[?] 307241[?] 76221[?] -76219[?] 307235[?] 76219[?] -76217[?] -76218[?] 307231[?] 76218[?] 75455[?] 307227[?] 76217[?] -76215[?] 307221[?] 76215[?] -76213[?] -76214[?] 307217[?] 76214[?] 75454[?] 307213[?] 76213[?] -76211[?] 307207[?] 76211[?] -76209[?] -76210[?] 307203[?] 76210[?] 75453[?] 307199[?] 76209[?] -76207[?] 307193[?] 76207[?] -76205[?] -76206[?] 307189[?] 76206[?] 75452[?] 307185[?] 76205[?] -76203[?] 307179[?] 76203[?] -76201[?] -76202[?] 307175[?] 76202[?] 75451[?] 307171[?] 76201[?] -76199[?] 307165[?] 76199[?] -76197[?] -76198[?] 307161[?] 76198[?] 75450[?] 307157[?] 76197[?] -76195[?] 307151[?] 76195[?] -76193[?] -76194[?] 307147[?] 76194[?] 75449[?] 307143[?] 76193[?] -76191[?] 307137[?] 76191[?] -76189[?] -76190[?] 307133[?] 76190[?] 75448[?] 307129[?] 76189[?] -76187[?] 307123[?] 76187[?] -76185[?] -76186[?] 307119[?] 76186[?] 75447[?] 307115[?] 76185[?] -76183[?] 307109[?] 76183[?] -76181[?] -76182[?] 307105[?] 76182[?] 75446[?] 307101[?] 76181[?] -76179[?] 307095[?] 76179[?] -76177[?] -76178[?] 307091[?] 76178[?] 75445[?] 307087[?] 76177[?] -76175[?] 307081[?] 76175[?] -76173[?] -76174[?] 307077[?] 76174[?] 75444[?] 307073[?] 76173[?] -76171[?] 307067[?] 76171[?] -76169[?] -76170[?] 307063[?] 76170[?] 75443[?] 307059[?] 76169[?] -76167[?] 307053[?] 76167[?] -76165[?] -76166[?] 307049[?] 76166[?] 75442[?] 307045[?] 76165[?] -76163[?] 307039[?] 76163[?] -76161[?] -76162[?] 307035[?] 76162[?] 75441[?] 307031[?] 76161[?] -76159[?] 307025[?] 76159[?] -76157[?] -76158[?] 307021[?] 76158[?] 75440[?] 307017[?] 76157[?] -76155[?] 307011[?] 76155[?] -76153[?] -76154[?] 307007[?] 76154[?] 75439[?] 307003[?] 76153[?] -76151[?] 306997[?] 76151[?] -76149[?] -76150[?] 306993[?] 76150[?] 75438[?] 306989[?] 76149[?] -76147[?] 306983[?] 76147[?] -76145[?] -76146[?] 306979[?] 76146[?] 75437[?] 306975[?] 76145[?] -76143[?] 306969[?] 76143[?] -76141[?] -76142[?] 306965[?] 76142[?] 75436[?] 306961[?] 76141[?] -76139[?] 306955[?] 76139[?] -76137[?] -76138[?] 306951[?] 76138[?] 75435[?] 306947[?] 76137[?] -76135[?] 306941[?] 76135[?] -76133[?] -76134[?] 306937[?] 76134[?] 75434[?] 306933[?] 76133[?] -76131[?] 306927[?] 76131[?] -76129[?] -76130[?] 306923[?] 76130[?] 75433[?] 306919[?] 76129[?] -76127[?] 306913[?] 76127[?] -76125[?] -76126[?] 306909[?] 76126[?] 75432[?] 306905[?] 76125[?] -76123[?] 306900[?] 76123[?] -76121[?] -76122[?] 306896[?] 76122[?] -75431[?] 306893[?] 76121[?] -76119[?] 306887[?] 76119[?] -76117[?] -76118[?] 306883[?] 76118[?] 75430[?] 306879[?] 76117[?] -76116[?] 306874[?] 76116[?] -75429[?] 306867[?] 75844[?] 76036[?] 306828[?] -76036[?] 76034[?] 76035[?] 306821[?] -76034[?] 76032[?] 306820[?] -76035[?] 75457[?] 306817[?] -76032[?] 76030[?] 76031[?] 306807[?] -76030[?] 76028[?] 306806[?] -76031[?] 75456[?] 306803[?] -76028[?] 76026[?] 76027[?] 306793[?] -76026[?] 76024[?] 306792[?] -76027[?] 75455[?] 306789[?] -76024[?] 76022[?] 76023[?] 306779[?] -76022[?] 76020[?] 306778[?] -76023[?] 75454[?] 306775[?] -76020[?] 76018[?] 76019[?] 306765[?] -76018[?] 76016[?] 306764[?] -76019[?] 75453[?] 306761[?] -76016[?] 76014[?] 76015[?] 306751[?] -76014[?] 76012[?] 306750[?] -76015[?] 75452[?] 306747[?] -76012[?] 76010[?] 76011[?] 306737[?] -76010[?] 76008[?] 306736[?] -76011[?] 75451[?] 306733[?] -76008[?] 76006[?] 76007[?] 306723[?] -76006[?] 76004[?] 306722[?] -76007[?] 75450[?] 306719[?] -76004[?] 76002[?] 76003[?] 306709[?] -76002[?] 76000[?] 306708[?] -76003[?] 75449[?] 306705[?] -76000[?] 75998[?] 75999[?] 306695[?] -75998[?] 75996[?] 306694[?] -75999[?] 75448[?] 306691[?] -75996[?] 75994[?] 75995[?] 306681[?] -75994[?] 75992[?] 306680[?] -75995[?] 75447[?] 306677[?] -75992[?] 75990[?] 75991[?] 306667[?] -75990[?] 75988[?] 306666[?] -75991[?] 75446[?] 306663[?] -75988[?] 75986[?] 75987[?] 306653[?] -75986[?] 75984[?] 306652[?] -75987[?] 75445[?] 306649[?] -75984[?] 75982[?] 75983[?] 306639[?] -75982[?] 75980[?] 306638[?] -75983[?] 75444[?] 306635[?] -75980[?] 75978[?] 75979[?] 306625[?] -75978[?] 75976[?] 306624[?] -75979[?] 75443[?] 306621[?] -75976[?] 75974[?] 75975[?] 306611[?] -75974[?] 75972[?] 306610[?] -75975[?] 75442[?] 306607[?] -75972[?] 75970[?] 75971[?] 306597[?] -75970[?] 75968[?] 306596[?] -75971[?] 75441[?] 306593[?] -75968[?] 75966[?] 75967[?] 306583[?] -75966[?] 75964[?] 306582[?] -75967[?] 75440[?] 306579[?] -75964[?] 75962[?] 75963[?] 306569[?] -75962[?] 75960[?] 306568[?] -75963[?] 75439[?] 306565[?] -75960[?] 75958[?] 75959[?] 306555[?] -75958[?] 75956[?] 306554[?] -75959[?] 75438[?] 306551[?] -75956[?] 75954[?] 75955[?] 306541[?] -75954[?] 75952[?] 306540[?] -75955[?] 75437[?] 306537[?] -75952[?] 75950[?] 75951[?] 306527[?] -75950[?] 75948[?] 306526[?] -75951[?] 75436[?] 306523[?] -75948[?] 75946[?] 75947[?] 306513[?] -75946[?] 75944[?] 306512[?] -75947[?] 75435[?] 306509[?] -75944[?] 75942[?] 75943[?] 306499[?] -75942[?] 75940[?] 306498[?] -75943[?] 75434[?] 306495[?] -75940[?] 75938[?] 75939[?] 306485[?] -75938[?] 75936[?] 306484[?] -75939[?] 75433[?] 306481[?] -75936[?] 75934[?] 306472[?] -75934[?] 75933[?] 306470[?] -75933[?] 75432[?] 306467[?] 75651[?] 75843[?] 306387[?] -75843[?] 75841[?] 75842[?] 306380[?] -75841[?] 75839[?] 306379[?] -75842[?] 75457[?] 306376[?] -75839[?] 75837[?] 75838[?] 306366[?] -75837[?] 75835[?] 306365[?] -75838[?] 75456[?] 306362[?] -75835[?] 75833[?] 75834[?] 306352[?] -75833[?] 75831[?] 306351[?] -75834[?] 75455[?] 306348[?] -75831[?] 75829[?] 75830[?] 306338[?] -75829[?] 75827[?] 306337[?] -75830[?] 75454[?] 306334[?] -75827[?] 75825[?] 75826[?] 306324[?] -75825[?] 75823[?] 306323[?] -75826[?] 75453[?] 306320[?] -75823[?] 75821[?] 75822[?] 306310[?] -75821[?] 75819[?] 306309[?] -75822[?] 75452[?] 306306[?] -75819[?] 75817[?] 75818[?] 306296[?] -75817[?] 75815[?] 306295[?] -75818[?] 75451[?] 306292[?] -75815[?] 75813[?] 75814[?] 306282[?] -75813[?] 75811[?] 306281[?] -75814[?] 75450[?] 306278[?] -75811[?] 75809[?] 75810[?] 306268[?] -75809[?] 75807[?] 306267[?] -75810[?] 75449[?] 306264[?] -75807[?] 75805[?] 75806[?] 306254[?] -75805[?] 75803[?] 306253[?] -75806[?] 75448[?] 306250[?] -75803[?] 75801[?] 75802[?] 306240[?] -75801[?] 75799[?] 306239[?] -75802[?] 75447[?] 306236[?] -75799[?] 75797[?] 75798[?] 306226[?] -75797[?] 75795[?] 306225[?] -75798[?] 75446[?] 306222[?] -75795[?] 75793[?] 75794[?] 306212[?] -75793[?] 75791[?] 306211[?] -75794[?] 75445[?] 306208[?] -75791[?] 75789[?] 75790[?] 306198[?] -75789[?] 75787[?] 306197[?] -75790[?] 75444[?] 306194[?] -75787[?] 75785[?] 75786[?] 306184[?] -75785[?] 75783[?] 306183[?] -75786[?] 75443[?] 306180[?] -75783[?] 75781[?] 75782[?] 306170[?] -75781[?] 75779[?] 306169[?] -75782[?] 75442[?] 306166[?] -75779[?] 75777[?] 75778[?] 306156[?] -75777[?] 75775[?] 306155[?] -75778[?] 75441[?] 306152[?] -75775[?] 75773[?] 75774[?] 306142[?] -75773[?] 75771[?] 306141[?] -75774[?] 75440[?] 306138[?] -75771[?] 75769[?] 75770[?] 306128[?] -75769[?] 75767[?] 306127[?] -75770[?] 75439[?] 306124[?] -75767[?] 75765[?] 75766[?] 306114[?] -75765[?] 75763[?] 306113[?] -75766[?] 75438[?] 306110[?] -75763[?] 75761[?] 75762[?] 306100[?] -75761[?] 75759[?] 306099[?] -75762[?] 75437[?] 306096[?] -75759[?] 75757[?] 75758[?] 306086[?] -75757[?] 75755[?] 306085[?] -75758[?] 75436[?] 306082[?] -75755[?] 75753[?] 75754[?] 306072[?] -75753[?] 75751[?] 306071[?] -75754[?] 75435[?] 306068[?] -75751[?] 75749[?] 75750[?] 306058[?] -75749[?] 75747[?] 306057[?] -75750[?] 75434[?] 306054[?] -75747[?] 75745[?] 75746[?] 306044[?] -75745[?] 75743[?] 306043[?] -75746[?] 75433[?] 306040[?] -75743[?] 75741[?] 306031[?] -75741[?] 75740[?] 306029[?] -75740[?] 75432[?] 306026[?] 75458[?] 75650[?] 305946[?] -75650[?] 75648[?] 75649[?] 305939[?] -75648[?] 75646[?] 305938[?] -75649[?] 75457[?] 305935[?] -75646[?] 75644[?] 75645[?] 305925[?] -75644[?] 75642[?] 305924[?] -75645[?] 75456[?] 305921[?] -75642[?] 75640[?] 75641[?] 305911[?] -75640[?] 75638[?] 305910[?] -75641[?] 75455[?] 305907[?] -75638[?] 75636[?] 75637[?] 305897[?] -75636[?] 75634[?] 305896[?] -75637[?] 75454[?] 305893[?] -75634[?] 75632[?] 75633[?] 305883[?] -75632[?] 75630[?] 305882[?] -75633[?] 75453[?] 305879[?] -75630[?] 75628[?] 75629[?] 305869[?] -75628[?] 75626[?] 305868[?] -75629[?] 75452[?] 305865[?] -75626[?] 75624[?] 75625[?] 305855[?] -75624[?] 75622[?] 305854[?] -75625[?] 75451[?] 305851[?] -75622[?] 75620[?] 75621[?] 305841[?] -75620[?] 75618[?] 305840[?] -75621[?] 75450[?] 305837[?] -75618[?] 75616[?] 75617[?] 305827[?] -75616[?] 75614[?] 305826[?] -75617[?] 75449[?] 305823[?] -75614[?] 75612[?] 75613[?] 305813[?] -75612[?] 75610[?] 305812[?] -75613[?] 75448[?] 305809[?] -75610[?] 75608[?] 75609[?] 305799[?] -75608[?] 75606[?] 305798[?] -75609[?] 75447[?] 305795[?] -75606[?] 75604[?] 75605[?] 305785[?] -75604[?] 75602[?] 305784[?] -75605[?] 75446[?] 305781[?] -75602[?] 75600[?] 75601[?] 305771[?] -75600[?] 75598[?] 305770[?] -75601[?] 75445[?] 305767[?] -75598[?] 75596[?] 75597[?] 305757[?] -75596[?] 75594[?] 305756[?] -75597[?] 75444[?] 305753[?] -75594[?] 75592[?] 75593[?] 305743[?] -75592[?] 75590[?] 305742[?] -75593[?] 75443[?] 305739[?] -75590[?] 75588[?] 75589[?] 305729[?] -75588[?] 75586[?] 305728[?] -75589[?] 75442[?] 305725[?] -75586[?] 75584[?] 75585[?] 305715[?] -75584[?] 75582[?] 305714[?] -75585[?] 75441[?] 305711[?] -75582[?] 75580[?] 75581[?] 305701[?] -75580[?] 75578[?] 305700[?] -75581[?] 75440[?] 305697[?] -75578[?] 75576[?] 75577[?] 305687[?] -75576[?] 75574[?] 305686[?] -75577[?] 75439[?] 305683[?] -75574[?] 75572[?] 75573[?] 305673[?] -75572[?] 75570[?] 305672[?] -75573[?] 75438[?] 305669[?] -75570[?] 75568[?] 75569[?] 305659[?] -75568[?] 75566[?] 305658[?] -75569[?] 75437[?] 305655[?] -75566[?] 75564[?] 75565[?] 305645[?] -75564[?] 75562[?] 305644[?] -75565[?] 75436[?] 305641[?] -75562[?] 75560[?] 75561[?] 305631[?] -75560[?] 75558[?] 305630[?] -75561[?] 75435[?] 305627[?] -75558[?] 75556[?] 75557[?] 305617[?] -75556[?] 75554[?] 305616[?] -75557[?] 75434[?] 305613[?] -75554[?] 75552[?] 75553[?] 305603[?] -75552[?] 75550[?] 305602[?] -75553[?] 75433[?] 305599[?] -75550[?] 75548[?] 305590[?] -75548[?] 75547[?] 305588[?] -75547[?] 75432[?] 305585[?] -75457[?] 75425[?] 305507[?] -75456[?] 75425[?] 305505[?] -75455[?] 75425[?] 305503[?] -75454[?] 75425[?] 305501[?] -75453[?] 75425[?] 305499[?] -75452[?] 75425[?] 305497[?] -75451[?] 75425[?] 305495[?] -75450[?] 75425[?] 305493[?] -75449[?] 75425[?] 305491[?] -75448[?] 75425[?] 305489[?] -75447[?] 75425[?] 305487[?] -75446[?] 75425[?] 305485[?] -75445[?] 75425[?] 305483[?] -75444[?] 75425[?] 305481[?] -75443[?] 75425[?] 305479[?] -75442[?] 75425[?] 305477[?] -75441[?] 75425[?] 305475[?] -75440[?] 75425[?] 305473[?] -75439[?] 75425[?] 305471[?] -75438[?] 75425[?] 305469[?] -75437[?] 75425[?] 305467[?] -75436[?] 75425[?] 305465[?] -75435[?] 75425[?] 305463[?] -75434[?] 75425[?] 305461[?] -75433[?] 75425[?] 305459[?] -75432[?] 75424[?] 305457[?] 75431[?] -75423[?] 305456[?] -75430[?] 75422[?] 305453[?] 75429[?] -75421[?] 305452[?] -75425[?] 75345[?] 75344[?] 305444[?] -75424[?] 75345[?] 75343[?] 305440[?] 75423[?] 75345[?] -75342[?] 305435[?] -75422[?] 75345[?] 75341[?] 305432[?] 75421[?] 75345[?] -75340[?] 305427[?] -75345[?] 75361[?] 305219[?] -75361[?] 75360[?] 305217[?] -75360[?] 75352[?] 305215[?] -75352[?] 75343[?] 305193[?] -75344[?] 75215[?] 75214[?] 305179[?] -75343[?] 75215[?] 75213[?] 305175[?] 75342[?] 75215[?] -75212[?] 305170[?] -75341[?] 75215[?] 75211[?] 305167[?] 75340[?] 75215[?] -75210[?] 305162[?] -75215[?] 75231[?] 304817[?] -75231[?] 75230[?] 304815[?] -75230[?] 75222[?] 304813[?] -75222[?] 75213[?] 304791[?] -75214[?] 75206[?] 74898[?] 304777[?] -75213[?] 75205[?] 74898[?] 304773[?] 75212[?] -75204[?] 74898[?] 304768[?] -75211[?] 75203[?] 74898[?] 304765[?] 75210[?] -75202[?] 74898[?] 304760[?] -75206[?] 75142[?] 75141[?] 304745[?] -75205[?] 75142[?] 75140[?] 304741[?] 75204[?] 75142[?] -75139[?] 304736[?] -75203[?] 75142[?] 75138[?] 304733[?] 75202[?] 75142[?] -75137[?] 304728[?] -75142[?] 75158[?] 304616[?] -75158[?] 75157[?] 304614[?] -75157[?] 75156[?] 304611[?] -75156[?] 75155[?] 304608[?] -75155[?] 75154[?] 304605[?] -75154[?] 75153[?] 304602[?] -75153[?] 75145[?] 304600[?] -75145[?] 75136[?] 304582[?] -75141[?] 74897[?] -3768[?] 304574[?] -75140[?] 74896[?] -3768[?] 304570[?] 75139[?] -74895[?] -3768[?] 304565[?] -75138[?] 74894[?] -3768[?] 304562[?] 75137[?] -74893[?] -3768[?] 304557[?] -75136[?] 74892[?] -3768[?] 304554[?] 74964[?] -74948[?] 304094[?] 74956[?] -74964[?] 304093[?] 74963[?] -74964[?] 304092[?] 74955[?] -74963[?] 304090[?] 74962[?] -74963[?] 304089[?] 74954[?] -74962[?] 304087[?] 74961[?] -74962[?] 304086[?] 74953[?] -74961[?] 304084[?] 74960[?] -74961[?] 304083[?] 74952[?] -74960[?] 304081[?] 74959[?] -74960[?] 304080[?] 74951[?] -74959[?] 304078[?] -74897[?] -74956[?] 304070[?] -74896[?] -74955[?] 304068[?] 74895[?] -74954[?] 304066[?] -74894[?] -74953[?] 304064[?] 74893[?] -74952[?] 304062[?] -74892[?] -74951[?] 304060[?] -110822[?] 123907[?] 1.70/1.12 c qxplain 0/647 2.01/1.35 c qxplain 324/647 2.10/1.49 c qxplain 486/647 2.37/1.66 c qxplain 567/647 2.50/1.79 c qxplain 608/647 2.72/1.93 c qxplain 628/647 2.82/2.06 c qxplain 638/647 3.02/2.20 c qxplain 643/647 3.14/2.33 c qxplain 646/647 3.25/2.47 c qxplain 647/647 3.45/2.64 c -110822[?] 123907[?] is mandatory 3.45/2.64 c qxplain 646/646 3.57/2.77 c 304060[?] -74892[?] -74951[?] is mandatory 3.57/2.77 c qxplain 643/645 3.78/2.91 c qxplain 645/645 3.89/3.05 c 304062[?] 74893[?] -74952[?] is mandatory 3.89/3.05 c qxplain 643/644 3.98/3.19 c qxplain 644/644 4.19/3.32 c 304064[?] -74894[?] -74953[?] is mandatory 4.19/3.32 c qxplain 643/643 4.31/3.46 c 304066[?] 74895[?] -74954[?] is mandatory 4.31/3.46 c qxplain 638/642 4.41/3.59 c qxplain 641/642 4.59/3.73 c qxplain 642/642 4.69/3.86 c 304068[?] -74896[?] -74955[?] is mandatory 4.69/3.86 c qxplain 641/641 4.89/4.00 c 304070[?] -74897[?] -74956[?] is mandatory 4.89/4.00 c qxplain 638/640 4.99/4.13 c qxplain 640/640 5.09/4.27 c 304078[?] 74951[?] -74959[?] is mandatory 5.09/4.27 c qxplain 638/639 5.29/4.40 c qxplain 639/639 5.41/4.54 c 304080[?] 74959[?] -74960[?] is mandatory 5.41/4.54 c qxplain 638/638 5.51/4.67 c 304081[?] 74952[?] -74960[?] is mandatory 5.51/4.67 c qxplain 628/637 5.69/4.81 c qxplain 633/637 5.79/4.94 c qxplain 636/637 5.89/5.08 c qxplain 637/637 6.09/5.21 c 304083[?] 74960[?] -74961[?] is mandatory 6.09/5.21 c qxplain 636/636 6.19/5.35 c 304084[?] 74953[?] -74961[?] is mandatory 6.19/5.35 c qxplain 633/635 6.29/5.48 c qxplain 635/635 6.39/5.61 c 304086[?] 74961[?] -74962[?] is mandatory 6.39/5.62 c qxplain 633/634 6.61/5.75 c qxplain 634/634 6.69/5.88 c 304087[?] 74954[?] -74962[?] is mandatory 6.69/5.88 c qxplain 633/633 6.89/6.02 c 304089[?] 74962[?] -74963[?] is mandatory 6.89/6.02 c qxplain 628/632 6.99/6.15 c qxplain 631/632 7.09/6.29 c qxplain 632/632 7.29/6.43 c 304090[?] 74955[?] -74963[?] is mandatory 7.29/6.43 c qxplain 631/631 7.39/6.56 c 304092[?] 74963[?] -74964[?] is mandatory 7.39/6.56 c qxplain 628/630 7.49/6.70 c qxplain 630/630 7.71/6.83 c 304093[?] 74956[?] -74964[?] is mandatory 7.71/6.83 c qxplain 628/629 7.79/6.97 c qxplain 629/629 7.99/7.10 c 304094[?] 74964[?] -74948[?] is mandatory 7.99/7.10 c qxplain 628/628 8.09/7.24 c 304554[?] -75136[?] 74892[?] -3768[?] is mandatory 8.09/7.24 c qxplain 608/627 8.19/7.37 c qxplain 618/627 8.39/7.51 c qxplain 623/627 8.49/7.64 c qxplain 626/627 8.59/7.78 c qxplain 627/627 8.71/7.91 c 304557[?] 75137[?] -74893[?] -3768[?] is mandatory 8.71/7.91 c qxplain 626/626 8.89/8.05 c 304562[?] -75138[?] 74894[?] -3768[?] is mandatory 8.89/8.05 c qxplain 623/625 8.99/8.18 c qxplain 625/625 9.19/8.32 c 304565[?] 75139[?] -74895[?] -3768[?] is mandatory 9.19/8.32 c qxplain 623/624 9.29/8.45 c qxplain 624/624 9.38/8.59 c 304570[?] -75140[?] 74896[?] -3768[?] is mandatory 9.38/8.59 c qxplain 623/623 9.58/8.72 c 304574[?] -75141[?] 74897[?] -3768[?] is mandatory 9.58/8.72 c qxplain 618/622 9.69/8.86 c qxplain 621/622 9.81/8.99 c qxplain 622/622 9.99/9.13 c 304582[?] -75145[?] 75136[?] is mandatory 9.99/9.13 c qxplain 621/621 10.08/9.26 c 304600[?] -75153[?] 75145[?] is mandatory 10.08/9.26 c qxplain 618/620 10.28/9.40 c qxplain 620/620 10.39/9.53 c 304602[?] -75154[?] 75153[?] is mandatory 10.39/9.53 c qxplain 618/619 10.49/9.67 c qxplain 619/619 10.69/9.80 c 304605[?] -75155[?] 75154[?] is mandatory 10.69/9.80 c qxplain 618/618 10.79/9.94 c 304608[?] -75156[?] 75155[?] is mandatory 10.79/9.94 c qxplain 608/617 10.91/10.08 c qxplain 613/617 11.09/10.21 c qxplain 616/617 11.18/10.35 c qxplain 617/617 11.29/10.48 c 304611[?] -75157[?] 75156[?] is mandatory 11.29/10.48 c qxplain 616/616 11.48/10.61 c 304614[?] -75158[?] 75157[?] is mandatory 11.48/10.61 c qxplain 613/615 11.59/10.75 c qxplain 615/615 11.69/10.88 c 304616[?] -75142[?] 75158[?] is mandatory 11.69/10.88 c qxplain 613/614 12.16/11.21 c qxplain 614/614 12.38/11.31 c 304728[?] 75202[?] 75142[?] -75137[?] is mandatory 12.38/11.31 c qxplain 613/613 12.48/11.40 c 304733[?] -75203[?] 75142[?] 75138[?] is mandatory 12.48/11.40 c qxplain 608/612 12.58/11.50 c qxplain 611/612 12.58/11.59 c qxplain 612/612 12.68/11.69 c 304736[?] 75204[?] 75142[?] -75139[?] is mandatory 12.68/11.69 c qxplain 611/611 12.78/11.78 c 304741[?] -75205[?] 75142[?] 75140[?] is mandatory 12.78/11.78 c qxplain 608/610 12.88/11.88 c qxplain 610/610 12.98/11.97 c 304745[?] -75206[?] 75142[?] 75141[?] is mandatory 12.98/11.97 c qxplain 608/609 13.08/12.07 c qxplain 609/609 13.18/12.16 c 304760[?] 75210[?] -75202[?] 74898[?] is mandatory 13.18/12.16 c qxplain 608/608 13.30/12.26 c 304765[?] -75211[?] 75203[?] 74898[?] is mandatory 13.30/12.26 c qxplain 567/607 13.40/12.35 c qxplain 588/607 13.48/12.45 c qxplain 598/607 13.58/12.55 c qxplain 603/607 13.68/12.64 c qxplain 606/607 13.78/12.74 c qxplain 607/607 13.88/12.83 c 304768[?] 75212[?] -75204[?] 74898[?] is mandatory 13.88/12.83 c qxplain 606/606 13.98/12.93 c 304773[?] -75213[?] 75205[?] 74898[?] is mandatory 13.98/12.93 c qxplain 603/605 14.08/13.02 c qxplain 605/605 14.18/13.11 c 304777[?] -75214[?] 75206[?] 74898[?] is mandatory 14.18/13.12 c qxplain 603/604 14.28/13.21 c qxplain 604/604 14.28/13.30 c 304791[?] -75222[?] 75213[?] is mandatory 14.28/13.30 c qxplain 603/603 14.40/13.40 c 304813[?] -75230[?] 75222[?] is mandatory 14.40/13.40 c qxplain 598/602 14.50/13.49 c qxplain 601/602 14.58/13.59 c qxplain 602/602 14.68/13.68 c 304815[?] -75231[?] 75230[?] is mandatory 14.68/13.68 c qxplain 601/601 14.78/13.78 c 304817[?] -75215[?] 75231[?] is mandatory 14.78/13.78 c qxplain 598/600 14.88/13.87 c qxplain 600/600 14.98/13.97 c 305162[?] 75340[?] 75215[?] -75210[?] is mandatory 14.98/13.97 c qxplain 598/599 15.08/14.07 c qxplain 599/599 15.18/14.16 c 305167[?] -75341[?] 75215[?] 75211[?] is mandatory 15.18/14.16 c qxplain 598/598 15.28/14.26 c 305170[?] 75342[?] 75215[?] -75212[?] is mandatory 15.28/14.26 c qxplain 588/597 15.38/14.35 c qxplain 593/597 15.50/14.45 c qxplain 596/597 15.60/14.54 c qxplain 597/597 15.68/14.63 c 305175[?] -75343[?] 75215[?] 75213[?] is mandatory 15.68/14.63 c qxplain 596/596 15.78/14.73 c 305179[?] -75344[?] 75215[?] 75214[?] is mandatory 15.78/14.73 c qxplain 593/595 15.88/14.82 c qxplain 595/595 15.98/14.92 c 305193[?] -75352[?] 75343[?] is mandatory 15.98/14.92 c qxplain 593/594 16.08/15.01 c qxplain 594/594 16.18/15.11 c 305215[?] -75360[?] 75352[?] is mandatory 16.18/15.11 c qxplain 593/593 16.28/15.20 c 305217[?] -75361[?] 75360[?] is mandatory 16.28/15.20 c qxplain 588/592 16.38/15.30 c qxplain 591/592 16.38/15.39 c qxplain 592/592 16.48/15.49 c 305219[?] -75345[?] 75361[?] is mandatory 16.48/15.49 c qxplain 591/591 16.60/15.59 c 305427[?] 75421[?] 75345[?] -75340[?] is mandatory 16.60/15.59 c qxplain 588/590 16.70/15.68 c qxplain 590/590 16.78/15.78 c 305432[?] -75422[?] 75345[?] 75341[?] is mandatory 16.78/15.78 c qxplain 588/589 16.88/15.87 c qxplain 589/589 16.98/15.97 c 305435[?] 75423[?] 75345[?] -75342[?] is mandatory 16.98/15.97 c qxplain 588/588 17.07/16.06 c 305440[?] -75424[?] 75345[?] 75343[?] is mandatory 17.07/16.06 c qxplain 567/587 17.17/16.16 c qxplain 578/587 17.27/16.25 c qxplain 583/587 17.37/16.35 c qxplain 586/587 17.47/16.44 c qxplain 587/587 17.57/16.54 c 305444[?] -75425[?] 75345[?] 75344[?] is mandatory 17.57/16.54 c qxplain 586/586 17.70/16.63 c 305452[?] 75429[?] -75421[?] is mandatory 17.70/16.63 c qxplain 583/585 17.80/16.73 c qxplain 585/585 17.87/16.82 c 305453[?] -75430[?] 75422[?] is mandatory 17.87/16.82 c qxplain 583/584 17.98/16.92 c qxplain 584/584 18.08/17.01 c 305456[?] 75431[?] -75423[?] is mandatory 18.08/17.01 c qxplain 583/583 18.18/17.11 c 305457[?] -75432[?] 75424[?] is mandatory 18.18/17.11 c qxplain 578/582 18.28/17.20 c qxplain 581/582 18.38/17.30 c qxplain 582/582 18.38/17.39 c 305459[?] -75433[?] 75425[?] is mandatory 18.38/17.39 c qxplain 581/581 18.48/17.49 c 305461[?] -75434[?] 75425[?] is mandatory 18.48/17.49 c qxplain 578/580 18.58/17.58 c qxplain 580/580 18.68/17.68 c 305463[?] -75435[?] 75425[?] is mandatory 18.68/17.68 c qxplain 578/579 18.80/17.77 c qxplain 579/579 18.91/17.87 c 305465[?] -75436[?] 75425[?] is mandatory 18.91/17.87 c qxplain 578/578 18.98/17.96 c 305467[?] -75437[?] 75425[?] is mandatory 18.98/17.96 c qxplain 567/577 19.08/18.06 c qxplain 573/577 19.18/18.15 c qxplain 576/577 19.28/18.25 c qxplain 577/577 19.38/18.34 c 305469[?] -75438[?] 75425[?] is mandatory 19.38/18.34 c qxplain 576/576 19.48/18.44 c 305471[?] -75439[?] 75425[?] is mandatory 19.48/18.44 c qxplain 573/575 19.58/18.53 c qxplain 575/575 19.68/18.63 c 305473[?] -75440[?] 75425[?] is mandatory 19.68/18.63 c qxplain 573/574 19.78/18.72 c qxplain 574/574 19.78/18.82 c 305475[?] -75441[?] 75425[?] is mandatory 19.78/18.82 c qxplain 573/573 20.23/19.09 c 305477[?] -75442[?] 75425[?] is mandatory 20.23/19.09 c qxplain 567/572 20.36/19.18 c qxplain 570/572 20.46/19.28 c qxplain 572/572 20.56/19.37 c 305479[?] -75443[?] 75425[?] is mandatory 20.56/19.37 c qxplain 570/571 20.66/19.47 c qxplain 571/571 20.76/19.56 c 305481[?] -75444[?] 75425[?] is mandatory 20.76/19.56 c qxplain 570/570 20.86/19.66 c 305483[?] -75445[?] 75425[?] is mandatory 20.86/19.66 c qxplain 567/569 20.96/19.75 c qxplain 569/569 21.06/19.85 c 305485[?] -75446[?] 75425[?] is mandatory 21.06/19.85 c qxplain 567/568 21.18/19.94 c qxplain 568/568 21.28/20.04 c 305487[?] -75447[?] 75425[?] is mandatory 21.28/20.04 c qxplain 567/567 21.36/20.13 c 305489[?] -75448[?] 75425[?] is mandatory 21.36/20.13 c qxplain 486/566 21.46/20.22 c qxplain 527/566 21.56/20.32 c qxplain 547/566 21.66/20.41 c qxplain 557/566 21.76/20.51 c qxplain 562/566 21.86/20.60 c qxplain 565/566 21.86/20.70 c qxplain 566/566 21.96/20.79 c 305491[?] -75449[?] 75425[?] is mandatory 21.96/20.79 c qxplain 565/565 22.06/20.88 c 305493[?] -75450[?] 75425[?] is mandatory 22.06/20.88 c qxplain 562/564 22.16/20.98 c qxplain 564/564 22.28/21.07 c 305495[?] -75451[?] 75425[?] is mandatory 22.28/21.07 c qxplain 562/563 22.38/21.17 c qxplain 563/563 22.46/21.26 c 305497[?] -75452[?] 75425[?] is mandatory 22.46/21.26 c qxplain 562/562 22.56/21.36 c 305499[?] -75453[?] 75425[?] is mandatory 22.56/21.36 c qxplain 557/561 22.66/21.45 c qxplain 560/561 22.76/21.55 c qxplain 561/561 22.86/21.64 c 305501[?] -75454[?] 75425[?] is mandatory 22.86/21.64 c qxplain 560/560 22.96/21.74 c 305503[?] -75455[?] 75425[?] is mandatory 22.96/21.74 c qxplain 557/559 23.06/21.83 c qxplain 559/559 23.16/21.93 c 305505[?] -75456[?] 75425[?] is mandatory 23.16/21.93 c qxplain 557/558 23.26/22.02 c qxplain 558/558 23.26/22.12 c 305507[?] -75457[?] 75425[?] is mandatory 23.26/22.12 c qxplain 557/557 23.38/22.21 c 305585[?] -75547[?] 75432[?] is mandatory 23.38/22.21 c qxplain 547/556 23.56/22.30 c qxplain 552/556 23.66/22.40 c qxplain 555/556 23.66/22.49 c qxplain 556/556 23.76/22.59 c 305588[?] -75548[?] 75547[?] is mandatory 23.76/22.59 c qxplain 555/555 23.86/22.68 c 305590[?] -75550[?] 75548[?] is mandatory 23.86/22.68 c qxplain 552/554 23.96/22.78 c qxplain 554/554 24.06/22.87 c 305599[?] -75553[?] 75433[?] is mandatory 24.06/22.87 c qxplain 552/553 24.16/22.97 c qxplain 553/553 24.26/23.06 c 305602[?] -75552[?] 75550[?] is mandatory 24.26/23.06 c qxplain 552/552 24.36/23.16 c 305603[?] -75554[?] 75552[?] 75553[?] is mandatory 24.36/23.16 c qxplain 547/551 24.48/23.25 c qxplain 550/551 24.58/23.35 c qxplain 551/551 24.66/23.44 c 305613[?] -75557[?] 75434[?] is mandatory 24.66/23.44 c qxplain 550/550 24.76/23.53 c 305616[?] -75556[?] 75554[?] is mandatory 24.76/23.53 c qxplain 547/549 24.86/23.63 c qxplain 549/549 24.96/23.72 c 305617[?] -75558[?] 75556[?] 75557[?] is mandatory 24.96/23.72 c qxplain 547/548 25.07/23.82 c qxplain 548/548 25.17/23.91 c 305627[?] -75561[?] 75435[?] is mandatory 25.17/23.91 c qxplain 547/547 25.27/24.01 c 305630[?] -75560[?] 75558[?] is mandatory 25.27/24.01 c qxplain 527/546 25.37/24.10 c qxplain 537/546 25.37/24.20 c qxplain 542/546 25.47/24.29 c qxplain 545/546 25.59/24.39 c qxplain 546/546 25.69/24.48 c 305631[?] -75562[?] 75560[?] 75561[?] is mandatory 25.69/24.48 c qxplain 545/545 25.77/24.57 c 305641[?] -75565[?] 75436[?] is mandatory 25.77/24.57 c qxplain 542/544 25.87/24.67 c qxplain 544/544 25.97/24.76 c 305644[?] -75564[?] 75562[?] is mandatory 25.97/24.76 c qxplain 542/543 26.07/24.86 c qxplain 543/543 26.17/24.95 c 305645[?] -75566[?] 75564[?] 75565[?] is mandatory 26.17/24.95 c qxplain 542/542 26.27/25.05 c 305655[?] -75569[?] 75437[?] is mandatory 26.27/25.05 c qxplain 537/541 26.37/25.14 c qxplain 540/541 26.47/25.24 c qxplain 541/541 26.57/25.33 c 305658[?] -75568[?] 75566[?] is mandatory 26.57/25.33 c qxplain 540/540 26.69/25.43 c 305659[?] -75570[?] 75568[?] 75569[?] is mandatory 26.69/25.43 c qxplain 537/539 26.79/25.52 c qxplain 539/539 26.87/25.62 c 305669[?] -75573[?] 75438[?] is mandatory 26.87/25.62 c qxplain 537/538 26.97/25.71 c qxplain 538/538 27.07/25.81 c 305672[?] -75572[?] 75570[?] is mandatory 27.07/25.81 c qxplain 537/537 27.17/25.90 c 305673[?] -75574[?] 75572[?] 75573[?] is mandatory 27.17/25.90 c qxplain 527/536 27.27/26.00 c qxplain 532/536 27.27/26.09 c qxplain 535/536 27.37/26.19 c qxplain 536/536 27.47/26.28 c 305683[?] -75577[?] 75439[?] is mandatory 27.47/26.28 c qxplain 535/535 27.57/26.38 c 305686[?] -75576[?] 75574[?] is mandatory 27.57/26.38 c qxplain 532/534 27.67/26.47 c qxplain 534/534 27.79/26.56 c 305687[?] -75578[?] 75576[?] 75577[?] is mandatory 27.79/26.57 c qxplain 532/533 27.89/26.66 c qxplain 533/533 28.32/26.91 c 305697[?] -75581[?] 75440[?] is mandatory 28.32/26.91 c qxplain 532/532 28.42/27.01 c 305700[?] -75580[?] 75578[?] is mandatory 28.42/27.01 c qxplain 527/531 28.52/27.10 c qxplain 530/531 28.62/27.20 c qxplain 531/531 28.62/27.29 c 305701[?] -75582[?] 75580[?] 75581[?] is mandatory 28.62/27.29 c qxplain 530/530 28.72/27.39 c 305711[?] -75585[?] 75441[?] is mandatory 28.72/27.39 c qxplain 527/529 28.82/27.49 c qxplain 529/529 28.92/27.58 c 305714[?] -75584[?] 75582[?] is mandatory 28.92/27.58 c qxplain 527/528 29.04/27.68 c qxplain 528/528 29.15/27.77 c 305715[?] -75586[?] 75584[?] 75585[?] is mandatory 29.15/27.77 c qxplain 527/527 29.22/27.87 c 305725[?] -75589[?] 75442[?] is mandatory 29.22/27.87 c qxplain 486/526 29.32/27.96 c qxplain 507/526 29.42/28.06 c qxplain 517/526 29.52/28.15 c qxplain 522/526 29.62/28.25 c qxplain 525/526 29.72/28.34 c qxplain 526/526 29.82/28.44 c 305728[?] -75588[?] 75586[?] is mandatory 29.82/28.44 c qxplain 525/525 29.92/28.53 c 305729[?] -75590[?] 75588[?] 75589[?] is mandatory 29.92/28.53 c qxplain 522/524 30.02/28.63 c qxplain 524/524 30.14/28.72 c 305739[?] -75593[?] 75443[?] is mandatory 30.14/28.72 c qxplain 522/523 30.24/28.82 c qxplain 523/523 30.32/28.92 c 305742[?] -75592[?] 75590[?] is mandatory 30.32/28.92 c qxplain 522/522 30.42/29.01 c 305743[?] -75594[?] 75592[?] 75593[?] is mandatory 30.42/29.01 c qxplain 517/521 30.52/29.11 c qxplain 520/521 30.62/29.20 c qxplain 521/521 30.62/29.30 c 305753[?] -75597[?] 75444[?] is mandatory 30.62/29.30 c qxplain 520/520 30.72/29.39 c 305756[?] -75596[?] 75594[?] is mandatory 30.72/29.39 c qxplain 517/519 30.82/29.49 c qxplain 519/519 30.92/29.58 c 305757[?] -75598[?] 75596[?] 75597[?] is mandatory 30.92/29.58 c qxplain 517/518 31.02/29.68 c qxplain 518/518 31.12/29.77 c 305767[?] -75601[?] 75445[?] is mandatory 31.12/29.77 c qxplain 517/517 31.24/29.87 c 305770[?] -75600[?] 75598[?] is mandatory 31.24/29.87 c qxplain 507/516 31.34/29.96 c qxplain 512/516 31.42/30.06 c qxplain 515/516 31.52/30.15 c qxplain 516/516 31.62/30.25 c 305771[?] -75602[?] 75600[?] 75601[?] is mandatory 31.62/30.25 c qxplain 515/515 31.72/30.34 c 305781[?] -75605[?] 75446[?] is mandatory 31.72/30.34 c qxplain 512/514 31.82/30.44 c qxplain 514/514 31.92/30.53 c 305784[?] -75604[?] 75602[?] is mandatory 31.92/30.54 c qxplain 512/513 32.02/30.63 c qxplain 513/513 32.12/30.72 c 305785[?] -75606[?] 75604[?] 75605[?] is mandatory 32.12/30.72 c qxplain 512/512 32.22/30.82 c 305795[?] -75609[?] 75447[?] is mandatory 32.22/30.82 c qxplain 507/511 32.22/30.92 c qxplain 510/511 32.34/31.01 c qxplain 511/511 32.52/31.10 c 305798[?] -75608[?] 75606[?] is mandatory 32.52/31.10 c qxplain 510/510 32.62/31.20 c 305799[?] -75610[?] 75608[?] 75609[?] is mandatory 32.62/31.20 c qxplain 507/509 32.62/31.30 c qxplain 509/509 32.72/31.39 c 305809[?] -75613[?] 75448[?] is mandatory 32.72/31.39 c qxplain 507/508 32.82/31.49 c qxplain 508/508 32.92/31.58 c 305812[?] -75612[?] 75610[?] is mandatory 32.92/31.58 c qxplain 507/507 33.02/31.68 c 305813[?] -75614[?] 75612[?] 75613[?] is mandatory 33.02/31.68 c qxplain 486/506 33.12/31.77 c qxplain 497/506 33.22/31.87 c qxplain 502/506 33.32/31.96 c qxplain 505/506 33.44/32.06 c qxplain 506/506 33.54/32.16 c 305823[?] -75617[?] 75449[?] is mandatory 33.54/32.16 c qxplain 505/505 33.62/32.25 c 305826[?] -75616[?] 75614[?] is mandatory 33.62/32.25 c qxplain 502/504 33.72/32.35 c qxplain 504/504 33.82/32.44 c 305827[?] -75618[?] 75616[?] 75617[?] is mandatory 33.82/32.44 c qxplain 502/503 33.92/32.54 c qxplain 503/503 34.02/32.63 c 305837[?] -75621[?] 75450[?] is mandatory 34.02/32.63 c qxplain 502/502 34.12/32.73 c 305840[?] -75620[?] 75618[?] is mandatory 34.12/32.73 c qxplain 497/501 34.22/32.82 c qxplain 500/501 34.32/32.91 c qxplain 501/501 34.42/33.01 c 305841[?] -75622[?] 75620[?] 75621[?] is mandatory 34.42/33.01 c qxplain 500/500 34.42/33.10 c 305851[?] -75625[?] 75451[?] is mandatory 34.42/33.10 c qxplain 497/499 34.54/33.20 c qxplain 499/499 34.64/33.29 c 305854[?] -75624[?] 75622[?] is mandatory 34.64/33.29 c qxplain 497/498 34.72/33.39 c qxplain 498/498 34.82/33.48 c 305855[?] -75626[?] 75624[?] 75625[?] is mandatory 34.82/33.49 c qxplain 497/497 34.92/33.58 c 305865[?] -75629[?] 75452[?] is mandatory 34.92/33.58 c qxplain 486/496 35.02/33.68 c qxplain 492/496 35.12/33.77 c qxplain 495/496 35.22/33.87 c qxplain 496/496 35.32/33.96 c 305868[?] -75628[?] 75626[?] is mandatory 35.32/33.96 c qxplain 495/495 35.42/34.06 c 305869[?] -75630[?] 75628[?] 75629[?] is mandatory 35.42/34.06 c qxplain 492/494 35.52/34.15 c qxplain 494/494 35.64/34.25 c 305879[?] -75633[?] 75453[?] is mandatory 35.64/34.25 c qxplain 492/493 35.74/34.34 c qxplain 493/493 35.82/34.44 c 305882[?] -75632[?] 75630[?] is mandatory 35.82/34.44 c qxplain 492/492 35.92/34.53 c 305883[?] -75634[?] 75632[?] 75633[?] is mandatory 35.92/34.53 c qxplain 486/491 36.27/34.78 c qxplain 489/491 36.38/34.88 c qxplain 491/491 36.48/34.97 c 305893[?] -75637[?] 75454[?] is mandatory 36.48/34.97 c qxplain 489/490 36.58/35.07 c qxplain 490/490 36.68/35.17 c 305896[?] -75636[?] 75634[?] is mandatory 36.68/35.17 c qxplain 489/489 36.78/35.26 c 305897[?] -75638[?] 75636[?] 75637[?] is mandatory 36.78/35.26 c qxplain 486/488 36.90/35.35 c qxplain 488/488 37.00/35.45 c 305907[?] -75641[?] 75455[?] is mandatory 37.00/35.45 c qxplain 486/487 37.07/35.54 c qxplain 487/487 37.17/35.64 c 305910[?] -75640[?] 75638[?] is mandatory 37.17/35.64 c qxplain 486/486 37.27/35.73 c 305911[?] -75642[?] 75640[?] 75641[?] is mandatory 37.27/35.73 c qxplain 324/485 37.37/35.83 c qxplain 405/485 37.47/35.92 c qxplain 446/485 37.57/36.02 c qxplain 466/485 37.67/36.12 c qxplain 476/485 37.77/36.21 c qxplain 481/485 37.87/36.31 c qxplain 484/485 37.87/36.40 c qxplain 485/485 37.99/36.50 c 305921[?] -75645[?] 75456[?] is mandatory 37.99/36.50 c qxplain 484/484 38.09/36.59 c 305924[?] -75644[?] 75642[?] is mandatory 38.09/36.59 c qxplain 481/483 38.17/36.69 c qxplain 483/483 38.27/36.78 c 305925[?] -75646[?] 75644[?] 75645[?] is mandatory 38.27/36.78 c qxplain 481/482 38.37/36.88 c qxplain 482/482 38.48/36.97 c 305935[?] -75649[?] 75457[?] is mandatory 38.48/36.97 c qxplain 481/481 38.58/37.07 c 305938[?] -75648[?] 75646[?] is mandatory 38.58/37.07 c qxplain 476/480 38.68/37.16 c qxplain 479/480 38.78/37.26 c qxplain 480/480 38.88/37.35 c 305939[?] -75650[?] 75648[?] 75649[?] is mandatory 38.88/37.35 c qxplain 479/479 38.98/37.45 c 305946[?] 75458[?] 75650[?] is mandatory 38.98/37.45 c qxplain 476/478 39.10/37.54 c qxplain 478/478 39.20/37.64 c 306026[?] -75740[?] 75432[?] is mandatory 39.20/37.64 c qxplain 476/477 39.28/37.73 c qxplain 477/477 39.38/37.83 c 306029[?] -75741[?] 75740[?] is mandatory 39.38/37.83 c qxplain 476/476 39.48/37.92 c 306031[?] -75743[?] 75741[?] is mandatory 39.48/37.92 c qxplain 466/475 39.58/38.02 c qxplain 471/475 39.68/38.11 c qxplain 474/475 39.78/38.21 c qxplain 475/475 39.88/38.30 c 306040[?] -75746[?] 75433[?] is mandatory 39.88/38.30 c qxplain 474/474 39.98/38.40 c 306043[?] -75745[?] 75743[?] is mandatory 39.98/38.40 c qxplain 471/473 39.98/38.49 c qxplain 473/473 40.08/38.59 c 306044[?] -75747[?] 75745[?] 75746[?] is mandatory 40.08/38.59 c qxplain 471/472 40.20/38.68 c qxplain 472/472 40.30/38.78 c 306054[?] -75750[?] 75434[?] is mandatory 40.30/38.78 c qxplain 471/471 40.38/38.87 c 306057[?] -75749[?] 75747[?] is mandatory 40.38/38.87 c qxplain 466/470 40.48/38.97 c qxplain 469/470 40.58/39.06 c qxplain 470/470 40.68/39.16 c 306058[?] -75751[?] 75749[?] 75750[?] is mandatory 40.68/39.16 c qxplain 469/469 40.78/39.25 c 306068[?] -75754[?] 75435[?] is mandatory 40.78/39.25 c qxplain 466/468 40.88/39.35 c qxplain 468/468 40.98/39.44 c 306071[?] -75753[?] 75751[?] is mandatory 40.98/39.44 c qxplain 466/467 41.08/39.54 c qxplain 467/467 41.18/39.63 c 306072[?] -75755[?] 75753[?] 75754[?] is mandatory 41.18/39.63 c qxplain 466/466 41.30/39.73 c 306082[?] -75758[?] 75436[?] is mandatory 41.30/39.73 c qxplain 446/465 41.40/39.82 c qxplain 456/465 41.48/39.92 c qxplain 461/465 41.58/40.01 c qxplain 464/465 41.68/40.11 c qxplain 465/465 41.78/40.20 c 306085[?] -75757[?] 75755[?] is mandatory 41.78/40.20 c qxplain 464/464 41.88/40.30 c 306086[?] -75759[?] 75757[?] 75758[?] is mandatory 41.88/40.30 c qxplain 461/463 41.88/40.39 c qxplain 463/463 41.97/40.49 c 306096[?] -75762[?] 75437[?] is mandatory 41.97/40.49 c qxplain 461/462 42.07/40.58 c qxplain 462/462 42.17/40.68 c 306099[?] -75761[?] 75759[?] is mandatory 42.17/40.68 c qxplain 461/461 42.27/40.77 c 306100[?] -75763[?] 75761[?] 75762[?] is mandatory 42.27/40.77 c qxplain 456/460 42.40/40.87 c qxplain 459/460 42.50/40.96 c qxplain 460/460 42.57/41.06 c 306110[?] -75766[?] 75438[?] is mandatory 42.57/41.06 c qxplain 459/459 42.67/41.15 c 306113[?] -75765[?] 75763[?] is mandatory 42.67/41.15 c qxplain 456/458 42.77/41.25 c qxplain 458/458 42.87/41.34 c 306114[?] -75767[?] 75765[?] 75766[?] is mandatory 42.87/41.34 c qxplain 456/457 42.97/41.44 c qxplain 457/457 43.07/41.53 c 306124[?] -75770[?] 75439[?] is mandatory 43.07/41.53 c qxplain 456/456 43.17/41.63 c 306127[?] -75769[?] 75767[?] is mandatory 43.17/41.63 c qxplain 446/455 43.27/41.72 c qxplain 451/455 43.37/41.82 c qxplain 454/455 43.37/41.91 c qxplain 455/455 43.49/42.01 c 306128[?] -75771[?] 75769[?] 75770[?] is mandatory 43.49/42.01 c qxplain 454/454 43.68/42.10 c 306138[?] -75774[?] 75440[?] is mandatory 43.68/42.10 c qxplain 451/453 43.78/42.20 c qxplain 453/453 43.78/42.29 c 306141[?] -75773[?] 75771[?] is mandatory 43.78/42.29 c qxplain 451/452 43.88/42.39 c qxplain 452/452 44.33/42.64 c 306142[?] -75775[?] 75773[?] 75774[?] is mandatory 44.33/42.64 c qxplain 451/451 44.43/42.73 c 306152[?] -75778[?] 75441[?] is mandatory 44.43/42.73 c qxplain 446/450 44.53/42.83 c qxplain 449/450 44.63/42.92 c qxplain 450/450 44.76/43.02 c 306155[?] -75777[?] 75775[?] is mandatory 44.76/43.02 c qxplain 449/449 44.76/43.11 c 306156[?] -75779[?] 75777[?] 75778[?] is mandatory 44.76/43.11 c qxplain 446/448 44.94/43.21 c qxplain 448/448 45.04/43.30 c 306166[?] -75782[?] 75442[?] is mandatory 45.04/43.30 c qxplain 446/447 45.13/43.40 c qxplain 447/447 45.23/43.50 c 306169[?] -75781[?] 75779[?] is mandatory 45.23/43.50 c qxplain 446/446 45.23/43.60 c 306170[?] -75783[?] 75781[?] 75782[?] is mandatory 45.23/43.60 c qxplain 405/445 45.34/43.69 c qxplain 426/445 45.44/43.78 c qxplain 436/445 45.54/43.88 c qxplain 441/445 45.64/43.97 c qxplain 444/445 45.74/44.07 c qxplain 445/445 45.86/44.17 c 306180[?] -75786[?] 75443[?] is mandatory 45.86/44.17 c qxplain 444/444 45.96/44.26 c 306183[?] -75785[?] 75783[?] is mandatory 45.96/44.26 c qxplain 441/443 46.03/44.36 c qxplain 443/443 46.13/44.45 c 306184[?] -75787[?] 75785[?] 75786[?] is mandatory 46.13/44.45 c qxplain 441/442 46.23/44.55 c qxplain 442/442 46.33/44.64 c 306194[?] -75790[?] 75444[?] is mandatory 46.33/44.64 c qxplain 441/441 46.43/44.74 c 306197[?] -75789[?] 75787[?] is mandatory 46.43/44.74 c qxplain 436/440 46.53/44.83 c qxplain 439/440 46.63/44.93 c qxplain 440/440 46.73/45.02 c 306198[?] -75791[?] 75789[?] 75790[?] is mandatory 46.73/45.02 c qxplain 439/439 46.83/45.12 c 306208[?] -75794[?] 75445[?] is mandatory 46.83/45.12 c qxplain 436/438 46.83/45.21 c qxplain 438/438 46.95/45.31 c 306211[?] -75793[?] 75791[?] is mandatory 46.95/45.31 c qxplain 436/437 47.13/45.40 c qxplain 437/437 47.23/45.50 c 306212[?] -75795[?] 75793[?] 75794[?] is mandatory 47.23/45.50 c qxplain 436/436 47.23/45.59 c 306222[?] -75798[?] 75446[?] is mandatory 47.23/45.59 c qxplain 426/435 47.33/45.69 c qxplain 431/435 47.43/45.78 c qxplain 434/435 47.53/45.88 c qxplain 435/435 47.63/45.97 c 306225[?] -75797[?] 75795[?] is mandatory 47.63/45.97 c qxplain 434/434 47.73/46.07 c 306226[?] -75799[?] 75797[?] 75798[?] is mandatory 47.73/46.07 c qxplain 431/433 47.83/46.16 c qxplain 433/433 47.93/46.26 c 306236[?] -75802[?] 75447[?] is mandatory 47.93/46.26 c qxplain 431/432 48.05/46.35 c qxplain 432/432 48.15/46.45 c 306239[?] -75801[?] 75799[?] is mandatory 48.15/46.45 c qxplain 431/431 48.23/46.54 c 306240[?] -75803[?] 75801[?] 75802[?] is mandatory 48.23/46.54 c qxplain 426/430 48.33/46.64 c qxplain 429/430 48.43/46.74 c qxplain 430/430 48.53/46.83 c 306250[?] -75806[?] 75448[?] is mandatory 48.53/46.83 c qxplain 429/429 48.63/46.93 c 306253[?] -75805[?] 75803[?] is mandatory 48.63/46.93 c qxplain 426/428 48.73/47.02 c qxplain 428/428 48.83/47.12 c 306254[?] -75807[?] 75805[?] 75806[?] is mandatory 48.83/47.12 c qxplain 426/427 48.93/47.21 c qxplain 427/427 49.03/47.31 c 306264[?] -75810[?] 75449[?] is mandatory 49.03/47.31 c qxplain 426/426 49.03/47.41 c 306267[?] -75809[?] 75807[?] is mandatory 49.03/47.41 c qxplain 405/425 49.15/47.50 c qxplain 416/425 49.33/47.60 c qxplain 421/425 49.33/47.69 c qxplain 424/425 49.43/47.79 c qxplain 425/425 49.53/47.89 c 306268[?] -75811[?] 75809[?] 75810[?] is mandatory 49.53/47.89 c qxplain 424/424 49.63/47.98 c 306278[?] -75814[?] 75450[?] is mandatory 49.63/47.98 c qxplain 421/423 49.73/48.08 c qxplain 423/423 49.83/48.17 c 306281[?] -75813[?] 75811[?] is mandatory 49.83/48.17 c qxplain 421/422 49.93/48.27 c qxplain 422/422 50.03/48.36 c 306282[?] -75815[?] 75813[?] 75814[?] is mandatory 50.03/48.36 c qxplain 421/421 50.12/48.46 c 306292[?] -75818[?] 75451[?] is mandatory 50.12/48.46 c qxplain 416/420 50.25/48.56 c qxplain 419/420 50.35/48.65 c qxplain 420/420 50.42/48.75 c 306295[?] -75817[?] 75815[?] is mandatory 50.42/48.75 c qxplain 419/419 50.53/48.84 c 306296[?] -75819[?] 75817[?] 75818[?] is mandatory 50.53/48.84 c qxplain 416/418 50.63/48.94 c qxplain 418/418 50.72/49.03 c 306306[?] -75822[?] 75452[?] is mandatory 50.72/49.03 c qxplain 416/417 50.82/49.13 c qxplain 417/417 50.92/49.23 c 306309[?] -75821[?] 75819[?] is mandatory 50.92/49.23 c qxplain 416/416 51.02/49.32 c 306310[?] -75823[?] 75821[?] 75822[?] is mandatory 51.02/49.32 c qxplain 405/415 51.12/49.42 c qxplain 411/415 51.22/49.52 c qxplain 414/415 51.22/49.61 c qxplain 415/415 51.35/49.71 c 306320[?] -75826[?] 75453[?] is mandatory 51.35/49.71 c qxplain 414/414 51.52/49.80 c 306323[?] -75825[?] 75823[?] is mandatory 51.52/49.81 c qxplain 411/413 51.62/49.90 c qxplain 413/413 51.72/50.00 c 306324[?] -75827[?] 75825[?] 75826[?] is mandatory 51.72/50.00 c qxplain 411/412 51.72/50.09 c qxplain 412/412 51.82/50.19 c 306334[?] -75830[?] 75454[?] is mandatory 51.82/50.19 c qxplain 411/411 51.92/50.28 c 306337[?] -75829[?] 75827[?] is mandatory 51.92/50.28 c qxplain 405/410 52.40/50.56 c qxplain 408/410 52.50/50.66 c qxplain 410/410 52.63/50.76 c 306338[?] -75831[?] 75829[?] 75830[?] is mandatory 52.63/50.76 c qxplain 408/409 52.73/50.85 c qxplain 409/409 52.80/50.95 c 306348[?] -75834[?] 75455[?] is mandatory 52.80/50.95 c qxplain 408/408 52.90/51.04 c 306351[?] -75833[?] 75831[?] is mandatory 52.90/51.04 c qxplain 405/407 53.00/51.14 c qxplain 407/407 53.11/51.24 c 306352[?] -75835[?] 75833[?] 75834[?] is mandatory 53.11/51.24 c qxplain 405/406 53.20/51.33 c qxplain 406/406 53.30/51.43 c 306362[?] -75838[?] 75456[?] is mandatory 53.30/51.43 c qxplain 405/405 53.40/51.52 c 306365[?] -75837[?] 75835[?] is mandatory 53.40/51.52 c qxplain 324/404 53.50/51.62 c qxplain 365/404 53.60/51.72 c qxplain 385/404 53.60/51.81 c qxplain 395/404 53.73/51.91 c qxplain 400/404 53.90/52.00 c qxplain 403/404 54.00/52.10 c qxplain 404/404 54.00/52.20 c 306366[?] -75839[?] 75837[?] 75838[?] is mandatory 54.00/52.20 c qxplain 403/403 54.10/52.29 c 306376[?] -75842[?] 75457[?] is mandatory 54.10/52.29 c qxplain 400/402 54.20/52.39 c qxplain 402/402 54.30/52.48 c 306379[?] -75841[?] 75839[?] is mandatory 54.30/52.48 c qxplain 400/401 54.40/52.58 c qxplain 401/401 54.50/52.67 c 306380[?] -75843[?] 75841[?] 75842[?] is mandatory 54.50/52.67 c qxplain 400/400 54.60/52.77 c 306387[?] 75651[?] 75843[?] is mandatory 54.60/52.77 c qxplain 395/399 54.70/52.86 c qxplain 398/399 54.82/52.96 c qxplain 399/399 54.93/53.06 c 306467[?] -75933[?] 75432[?] is mandatory 54.93/53.06 c qxplain 398/398 55.00/53.15 c 306470[?] -75934[?] 75933[?] is mandatory 55.00/53.15 c qxplain 395/397 55.10/53.25 c qxplain 397/397 55.20/53.34 c 306472[?] -75936[?] 75934[?] is mandatory 55.20/53.35 c qxplain 395/396 55.30/53.44 c qxplain 396/396 55.40/53.54 c 306481[?] -75939[?] 75433[?] is mandatory 55.40/53.54 c qxplain 395/395 55.50/53.63 c 306484[?] -75938[?] 75936[?] is mandatory 55.50/53.63 c qxplain 385/394 55.60/53.73 c qxplain 390/394 55.70/53.82 c qxplain 393/394 55.80/53.92 c qxplain 394/394 55.80/54.02 c 306485[?] -75940[?] 75938[?] 75939[?] is mandatory 55.80/54.02 c qxplain 393/393 55.92/54.11 c 306495[?] -75943[?] 75434[?] is mandatory 55.92/54.11 c qxplain 390/392 56.10/54.21 c qxplain 392/392 56.20/54.30 c 306498[?] -75942[?] 75940[?] is mandatory 56.20/54.30 c qxplain 390/391 56.30/54.40 c qxplain 391/391 56.30/54.50 c 306499[?] -75944[?] 75942[?] 75943[?] is mandatory 56.30/54.50 c qxplain 390/390 56.40/54.59 c 306509[?] -75947[?] 75435[?] is mandatory 56.40/54.59 c qxplain 385/389 56.50/54.69 c qxplain 388/389 56.60/54.78 c qxplain 389/389 56.70/54.88 c 306512[?] -75946[?] 75944[?] is mandatory 56.70/54.88 c qxplain 388/388 56.80/54.98 c 306513[?] -75948[?] 75946[?] 75947[?] is mandatory 56.80/54.98 c qxplain 385/387 56.90/55.07 c qxplain 387/387 57.02/55.17 c 306523[?] -75951[?] 75436[?] is mandatory 57.02/55.17 c qxplain 385/386 57.12/55.27 c qxplain 386/386 57.20/55.37 c 306526[?] -75950[?] 75948[?] is mandatory 57.20/55.37 c qxplain 385/385 57.30/55.46 c 306527[?] -75952[?] 75950[?] 75951[?] is mandatory 57.30/55.46 c qxplain 365/384 57.40/55.56 c qxplain 375/384 57.50/55.66 c qxplain 380/384 57.60/55.75 c qxplain 383/384 57.70/55.85 c qxplain 384/384 57.80/55.94 c 306537[?] -75955[?] 75437[?] is mandatory 57.80/55.94 c qxplain 383/383 57.90/56.04 c 306540[?] -75954[?] 75952[?] is mandatory 57.90/56.04 c qxplain 380/382 58.00/56.14 c qxplain 382/382 58.12/56.23 c 306541[?] -75956[?] 75954[?] 75955[?] is mandatory 58.12/56.23 c qxplain 380/381 58.22/56.33 c qxplain 381/381 58.30/56.43 c 306551[?] -75959[?] 75438[?] is mandatory 58.30/56.43 c qxplain 380/380 58.40/56.52 c 306554[?] -75958[?] 75956[?] is mandatory 58.40/56.52 c qxplain 375/379 58.50/56.62 c qxplain 378/379 58.60/56.71 c qxplain 379/379 58.70/56.81 c 306555[?] -75960[?] 75958[?] 75959[?] is mandatory 58.70/56.81 c qxplain 378/378 58.80/56.91 c 306565[?] -75963[?] 75439[?] is mandatory 58.80/56.91 c qxplain 375/377 58.90/57.00 c qxplain 377/377 59.00/57.10 c 306568[?] -75962[?] 75960[?] is mandatory 59.00/57.10 c qxplain 375/376 59.00/57.19 c qxplain 376/376 59.10/57.29 c 306569[?] -75964[?] 75962[?] 75963[?] is mandatory 59.10/57.29 c qxplain 375/375 59.22/57.39 c 306579[?] -75967[?] 75440[?] is mandatory 59.22/57.39 c qxplain 365/374 59.33/57.48 c qxplain 370/374 59.41/57.58 c qxplain 373/374 59.51/57.68 c qxplain 374/374 59.61/57.77 c 306582[?] -75966[?] 75964[?] is mandatory 59.61/57.77 c qxplain 373/373 59.71/57.87 c 306583[?] -75968[?] 75966[?] 75967[?] is mandatory 59.71/57.87 c qxplain 370/372 59.81/57.96 c qxplain 372/372 59.91/58.06 c 306593[?] -75971[?] 75441[?] is mandatory 59.91/58.06 c qxplain 370/371 60.01/58.16 c qxplain 371/371 60.11/58.25 c 306596[?] -75970[?] 75968[?] is mandatory 60.11/58.25 c qxplain 370/370 60.21/58.35 c 306597[?] -75972[?] 75970[?] 75971[?] is mandatory 60.21/58.35 c qxplain 365/369 60.33/58.44 c qxplain 368/369 60.43/58.54 c qxplain 369/369 60.51/58.64 c 306607[?] -75975[?] 75442[?] is mandatory 60.51/58.64 c qxplain 368/368 60.61/58.73 c 306610[?] -75974[?] 75972[?] is mandatory 60.61/58.73 c qxplain 365/367 60.71/58.83 c qxplain 367/367 60.81/58.92 c 306611[?] -75976[?] 75974[?] 75975[?] is mandatory 60.81/58.92 c qxplain 365/366 60.90/59.02 c qxplain 366/366 61.01/59.12 c 306621[?] -75979[?] 75443[?] is mandatory 61.01/59.12 c qxplain 365/365 61.10/59.23 c 306624[?] -75978[?] 75976[?] is mandatory 61.10/59.23 c qxplain 324/364 61.20/59.33 c qxplain 345/364 61.69/59.63 c qxplain 355/364 61.77/59.73 c qxplain 360/364 61.88/59.83 c qxplain 363/364 61.98/59.92 c qxplain 364/364 62.08/60.02 c 306625[?] -75980[?] 75978[?] 75979[?] is mandatory 62.08/60.02 c qxplain 363/363 62.18/60.12 c 306635[?] -75983[?] 75444[?] is mandatory 62.18/60.12 c qxplain 360/362 62.28/60.21 c qxplain 362/362 62.38/60.31 c 306638[?] -75982[?] 75980[?] is mandatory 62.38/60.31 c qxplain 360/361 62.48/60.41 c qxplain 361/361 62.58/60.50 c 306639[?] -75984[?] 75982[?] 75983[?] is mandatory 62.58/60.50 c qxplain 360/360 62.58/60.60 c 306649[?] -75987[?] 75445[?] is mandatory 62.58/60.60 c qxplain 355/359 62.70/60.69 c qxplain 358/359 62.80/60.79 c qxplain 359/359 62.88/60.89 c 306652[?] -75986[?] 75984[?] is mandatory 62.88/60.89 c qxplain 358/358 62.98/60.98 c 306653[?] -75988[?] 75986[?] 75987[?] is mandatory 62.98/60.98 c qxplain 355/357 63.08/61.08 c qxplain 357/357 63.18/61.18 c 306663[?] -75991[?] 75446[?] is mandatory 63.18/61.18 c qxplain 355/356 63.28/61.27 c qxplain 356/356 63.38/61.37 c 306666[?] -75990[?] 75988[?] is mandatory 63.38/61.37 c qxplain 355/355 63.48/61.47 c 306667[?] -75992[?] 75990[?] 75991[?] is mandatory 63.48/61.47 c qxplain 345/354 63.58/61.56 c qxplain 350/354 63.68/61.66 c qxplain 353/354 63.80/61.76 c qxplain 354/354 63.90/61.85 c 306677[?] -75995[?] 75447[?] is mandatory 63.90/61.85 c qxplain 353/353 63.98/61.95 c 306680[?] -75994[?] 75992[?] is mandatory 63.98/61.95 c qxplain 350/352 64.08/62.05 c qxplain 352/352 64.18/62.14 c 306681[?] -75996[?] 75994[?] 75995[?] is mandatory 64.18/62.14 c qxplain 350/351 64.28/62.24 c qxplain 351/351 64.38/62.34 c 306691[?] -75999[?] 75448[?] is mandatory 64.38/62.34 c qxplain 350/350 64.48/62.43 c 306694[?] -75998[?] 75996[?] is mandatory 64.48/62.43 c qxplain 345/349 64.58/62.53 c qxplain 348/349 64.68/62.63 c qxplain 349/349 64.78/62.72 c 306695[?] -76000[?] 75998[?] 75999[?] is mandatory 64.78/62.72 c qxplain 348/348 64.90/62.82 c 306705[?] -76003[?] 75449[?] is mandatory 64.90/62.82 c qxplain 345/347 64.90/62.92 c qxplain 347/347 65.08/63.01 c 306708[?] -76002[?] 76000[?] is mandatory 65.08/63.01 c qxplain 345/346 65.18/63.11 c qxplain 346/346 65.28/63.21 c 306709[?] -76004[?] 76002[?] 76003[?] is mandatory 65.28/63.21 c qxplain 345/345 65.38/63.31 c 306719[?] -76007[?] 75450[?] is mandatory 65.38/63.31 c qxplain 324/344 65.48/63.40 c qxplain 335/344 65.58/63.50 c qxplain 340/344 65.58/63.59 c qxplain 343/344 65.68/63.69 c qxplain 344/344 65.78/63.79 c 306722[?] -76006[?] 76004[?] is mandatory 65.78/63.79 c qxplain 343/343 65.88/63.88 c 306723[?] -76008[?] 76006[?] 76007[?] is mandatory 65.88/63.88 c qxplain 340/342 66.00/63.98 c qxplain 342/342 66.10/64.08 c 306733[?] -76011[?] 75451[?] is mandatory 66.10/64.08 c qxplain 340/341 66.18/64.17 c qxplain 341/341 66.28/64.27 c 306736[?] -76010[?] 76008[?] is mandatory 66.28/64.27 c qxplain 340/340 66.38/64.37 c 306737[?] -76012[?] 76010[?] 76011[?] is mandatory 66.38/64.37 c qxplain 335/339 66.48/64.47 c qxplain 338/339 66.58/64.56 c qxplain 339/339 66.68/64.66 c 306747[?] -76015[?] 75452[?] is mandatory 66.68/64.66 c qxplain 338/338 66.78/64.75 c 306750[?] -76014[?] 76012[?] is mandatory 66.78/64.75 c qxplain 335/337 66.88/64.85 c qxplain 337/337 66.98/64.95 c 306751[?] -76016[?] 76014[?] 76015[?] is mandatory 66.98/64.95 c qxplain 335/336 67.10/65.04 c qxplain 336/336 67.20/65.14 c 306761[?] -76019[?] 75453[?] is mandatory 67.20/65.14 c qxplain 335/335 67.27/65.24 c 306764[?] -76018[?] 76016[?] is mandatory 67.27/65.24 c qxplain 324/334 67.37/65.33 c qxplain 330/334 67.47/65.43 c qxplain 333/334 67.57/65.52 c qxplain 334/334 67.67/65.62 c 306765[?] -76020[?] 76018[?] 76019[?] is mandatory 67.67/65.62 c qxplain 333/333 67.77/65.72 c 306775[?] -76023[?] 75454[?] is mandatory 67.77/65.72 c qxplain 330/332 67.87/65.81 c qxplain 332/332 67.97/65.91 c 306778[?] -76022[?] 76020[?] is mandatory 67.97/65.91 c qxplain 330/331 68.07/66.00 c qxplain 331/331 68.07/66.10 c 306779[?] -76024[?] 76022[?] 76023[?] is mandatory 68.07/66.10 c qxplain 330/330 68.19/66.20 c 306789[?] -76027[?] 75455[?] is mandatory 68.19/66.20 c qxplain 324/329 68.29/66.29 c qxplain 327/329 68.37/66.39 c qxplain 329/329 68.47/66.48 c 306792[?] -76026[?] 76024[?] is mandatory 68.47/66.48 c qxplain 327/328 68.57/66.58 c qxplain 328/328 68.67/66.68 c 306793[?] -76028[?] 76026[?] 76027[?] is mandatory 68.67/66.68 c qxplain 327/327 68.77/66.77 c 306803[?] -76031[?] 75456[?] is mandatory 68.77/66.77 c qxplain 324/326 68.87/66.87 c qxplain 326/326 68.97/66.97 c 306806[?] -76030[?] 76028[?] is mandatory 68.97/66.97 c qxplain 324/325 69.07/67.06 c qxplain 325/325 69.17/67.16 c 306807[?] -76032[?] 76030[?] 76031[?] is mandatory 69.17/67.16 c qxplain 324/324 69.29/67.26 c 306817[?] -76035[?] 75457[?] is mandatory 69.29/67.26 c qxplain 0/323 69.39/67.35 c qxplain 162/323 69.47/67.45 c qxplain 243/323 69.57/67.54 c qxplain 284/323 69.67/67.64 c qxplain 304/323 69.77/67.74 c qxplain 314/323 69.87/67.83 c qxplain 319/323 69.97/67.93 c qxplain 322/323 70.07/68.03 c qxplain 323/323 70.17/68.12 c 306820[?] -76034[?] 76032[?] is mandatory 70.17/68.12 c qxplain 322/322 70.27/68.22 c 306821[?] -76036[?] 76034[?] 76035[?] is mandatory 70.27/68.22 c qxplain 319/321 70.39/68.32 c qxplain 321/321 70.39/68.42 c 306828[?] 75844[?] 76036[?] is mandatory 70.39/68.42 c qxplain 319/320 70.57/68.51 c qxplain 320/320 70.67/68.61 c 306867[?] 76116[?] -75429[?] is mandatory 70.67/68.61 c qxplain 319/319 70.77/68.71 c 306874[?] 76117[?] -76116[?] is mandatory 70.77/68.71 c qxplain 314/318 70.87/68.81 c qxplain 317/318 70.97/68.90 c qxplain 318/318 71.07/69.00 c 306879[?] 76118[?] 75430[?] is mandatory 71.07/69.00 c qxplain 317/317 71.17/69.10 c 306883[?] 76119[?] -76118[?] -76117[?] is mandatory 71.17/69.10 c qxplain 314/316 71.17/69.19 c qxplain 316/316 71.27/69.29 c 306887[?] 76121[?] -76119[?] is mandatory 71.27/69.29 c qxplain 314/315 71.37/69.39 c qxplain 315/315 71.50/69.48 c 306893[?] 76122[?] -75431[?] is mandatory 71.50/69.48 c qxplain 314/314 71.60/69.58 c 306896[?] 76123[?] -76122[?] -76121[?] is mandatory 71.60/69.58 c qxplain 304/313 71.67/69.68 c qxplain 309/313 71.77/69.78 c qxplain 312/313 71.87/69.87 c qxplain 313/313 71.97/69.97 c 306900[?] 76125[?] -76123[?] is mandatory 71.97/69.97 c qxplain 312/312 72.07/70.06 c 306905[?] 76126[?] 75432[?] is mandatory 72.07/70.06 c qxplain 309/311 72.17/70.16 c qxplain 311/311 72.27/70.26 c 306909[?] 76127[?] -76125[?] -76126[?] is mandatory 72.27/70.26 c qxplain 309/310 72.37/70.36 c qxplain 310/310 72.47/70.45 c 306913[?] 76129[?] -76127[?] is mandatory 72.47/70.45 c qxplain 309/309 72.60/70.55 c 306919[?] 76130[?] 75433[?] is mandatory 72.60/70.55 c qxplain 304/308 72.70/70.64 c qxplain 307/308 72.77/70.74 c qxplain 308/308 72.87/70.84 c 306923[?] 76131[?] -76129[?] -76130[?] is mandatory 72.87/70.84 c qxplain 307/307 72.97/70.93 c 306927[?] 76133[?] -76131[?] is mandatory 72.97/70.93 c qxplain 304/306 73.07/71.03 c qxplain 306/306 73.17/71.13 c 306933[?] 76134[?] 75434[?] is mandatory 73.17/71.13 c qxplain 304/305 73.27/71.23 c qxplain 305/305 73.37/71.32 c 306937[?] 76135[?] -76134[?] -76133[?] is mandatory 73.37/71.32 c qxplain 304/304 73.47/71.42 c 306941[?] 76137[?] -76135[?] is mandatory 73.47/71.42 c qxplain 284/303 73.57/71.51 c qxplain 294/303 73.57/71.61 c qxplain 299/303 73.69/71.71 c qxplain 302/303 73.87/71.80 c qxplain 303/303 73.97/71.90 c 306947[?] 76138[?] 75435[?] is mandatory 73.97/71.90 c qxplain 302/302 74.07/72.00 c 306951[?] 76139[?] -76138[?] -76137[?] is mandatory 74.07/72.00 c qxplain 299/301 74.07/72.10 c qxplain 301/301 74.17/72.20 c 306955[?] 76141[?] -76139[?] is mandatory 74.17/72.20 c qxplain 299/300 74.27/72.29 c qxplain 300/300 74.37/72.39 c 306961[?] 76142[?] 75436[?] is mandatory 74.37/72.39 c qxplain 299/299 74.47/72.48 c 306965[?] 76143[?] -76142[?] -76141[?] is mandatory 74.47/72.48 c qxplain 294/298 74.57/72.58 c qxplain 297/298 74.67/72.68 c qxplain 298/298 74.79/72.78 c 306969[?] 76145[?] -76143[?] is mandatory 74.79/72.78 c qxplain 297/297 74.89/72.87 c 306975[?] 76146[?] 75437[?] is mandatory 74.89/72.87 c qxplain 294/296 74.97/72.97 c qxplain 296/296 75.07/73.06 c 306979[?] 76147[?] -76145[?] -76146[?] is mandatory 75.07/73.07 c qxplain 294/295 75.17/73.16 c qxplain 295/295 75.27/73.26 c 306983[?] 76149[?] -76147[?] is mandatory 75.27/73.26 c qxplain 294/294 75.37/73.35 c 306989[?] 76150[?] 75438[?] is mandatory 75.37/73.35 c qxplain 284/293 75.47/73.45 c qxplain 289/293 75.57/73.55 c qxplain 292/293 75.67/73.64 c qxplain 293/293 75.77/73.74 c 306993[?] 76151[?] -76149[?] -76150[?] is mandatory 75.77/73.74 c qxplain 292/292 75.89/73.84 c 306997[?] 76153[?] -76151[?] is mandatory 75.89/73.84 c qxplain 289/291 75.99/73.94 c qxplain 291/291 76.07/74.03 c 307003[?] 76154[?] 75439[?] is mandatory 76.07/74.03 c qxplain 289/290 76.17/74.13 c qxplain 290/290 76.27/74.23 c 307007[?] 76155[?] -76154[?] -76153[?] is mandatory 76.27/74.23 c qxplain 289/289 76.37/74.32 c 307011[?] 76157[?] -76155[?] is mandatory 76.37/74.32 c qxplain 284/288 76.47/74.42 c qxplain 287/288 76.57/74.51 c qxplain 288/288 76.67/74.61 c 307017[?] 76158[?] 75440[?] is mandatory 76.67/74.61 c qxplain 287/287 76.77/74.71 c 307021[?] 76159[?] -76158[?] -76157[?] is mandatory 76.77/74.71 c qxplain 284/286 76.87/74.81 c qxplain 286/286 76.87/74.91 c 307025[?] 76161[?] -76159[?] is mandatory 76.87/74.91 c qxplain 284/285 76.99/75.01 c qxplain 285/285 77.17/75.11 c 307031[?] 76162[?] 75441[?] is mandatory 77.17/75.11 c qxplain 284/284 77.27/75.21 c 307035[?] 76163[?] -76162[?] -76161[?] is mandatory 77.27/75.21 c qxplain 243/283 77.37/75.30 c qxplain 264/283 77.47/75.40 c qxplain 274/283 77.47/75.50 c qxplain 279/283 77.57/75.59 c qxplain 282/283 77.67/75.69 c qxplain 283/283 77.77/75.78 c 307039[?] 76165[?] -76163[?] is mandatory 77.77/75.78 c qxplain 282/282 77.87/75.88 c 307045[?] 76166[?] 75442[?] is mandatory 77.87/75.88 c qxplain 279/281 77.97/75.98 c qxplain 281/281 78.09/76.07 c 307049[?] 76167[?] -76165[?] -76166[?] is mandatory 78.09/76.07 c qxplain 279/280 78.19/76.17 c qxplain 280/280 78.27/76.27 c 307053[?] 76169[?] -76167[?] is mandatory 78.27/76.27 c qxplain 279/279 78.37/76.37 c 307059[?] 76170[?] 75443[?] is mandatory 78.37/76.37 c qxplain 274/278 78.47/76.46 c qxplain 277/278 78.57/76.56 c qxplain 278/278 78.67/76.66 c 307063[?] 76171[?] -76169[?] -76170[?] is mandatory 78.67/76.66 c qxplain 277/277 78.77/76.75 c 307067[?] 76173[?] -76171[?] is mandatory 78.77/76.75 c qxplain 274/276 78.87/76.85 c qxplain 276/276 78.97/76.95 c 307073[?] 76174[?] 75444[?] is mandatory 78.97/76.95 c qxplain 274/275 79.07/77.05 c qxplain 275/275 79.19/77.14 c 307077[?] 76175[?] -76174[?] -76173[?] is mandatory 79.19/77.14 c qxplain 274/274 79.29/77.24 c 307081[?] 76177[?] -76175[?] is mandatory 79.29/77.24 c qxplain 264/273 79.37/77.33 c qxplain 269/273 79.47/77.43 c qxplain 272/273 79.57/77.53 c qxplain 273/273 79.67/77.63 c 307087[?] 76178[?] 75445[?] is mandatory 79.67/77.63 c qxplain 272/272 79.77/77.72 c 307091[?] 76179[?] -76178[?] -76177[?] is mandatory 79.77/77.72 c qxplain 269/271 79.87/77.82 c qxplain 271/271 79.97/77.92 c 307095[?] 76181[?] -76179[?] is mandatory 79.97/77.92 c qxplain 269/270 80.07/78.01 c qxplain 270/270 80.17/78.11 c 307101[?] 76182[?] 75446[?] is mandatory 80.17/78.11 c qxplain 269/269 80.17/78.20 c 307105[?] 76183[?] -76182[?] -76181[?] is mandatory 80.17/78.20 c qxplain 264/268 80.29/78.30 c qxplain 267/268 80.47/78.40 c qxplain 268/268 80.57/78.50 c 307109[?] 76185[?] -76183[?] is mandatory 80.57/78.50 c qxplain 267/267 80.57/78.60 c 307115[?] 76186[?] 75447[?] is mandatory 80.57/78.60 c qxplain 264/266 80.67/78.69 c qxplain 266/266 80.77/78.79 c 307119[?] 76187[?] -76185[?] -76186[?] is mandatory 80.77/78.79 c qxplain 264/265 80.87/78.88 c qxplain 265/265 80.97/78.98 c 307123[?] 76189[?] -76187[?] is mandatory 80.97/78.98 c qxplain 264/264 81.07/79.08 c 307129[?] 76190[?] 75448[?] is mandatory 81.07/79.08 c qxplain 243/263 81.17/79.18 c qxplain 254/263 81.27/79.27 c qxplain 259/263 81.39/79.37 c qxplain 262/263 81.49/79.47 c qxplain 263/263 81.57/79.56 c 307133[?] 76191[?] -76189[?] -76190[?] is mandatory 81.57/79.56 c qxplain 262/262 81.67/79.66 c 307137[?] 76193[?] -76191[?] is mandatory 81.67/79.66 c qxplain 259/261 81.77/79.76 c qxplain 261/261 81.87/79.85 c 307143[?] 76194[?] 75449[?] is mandatory 81.87/79.85 c qxplain 259/260 81.97/79.95 c qxplain 260/260 82.07/80.05 c 307147[?] 76195[?] -76194[?] -76193[?] is mandatory 82.07/80.05 c qxplain 259/259 82.17/80.14 c 307151[?] 76197[?] -76195[?] is mandatory 82.17/80.14 c qxplain 254/258 82.27/80.24 c qxplain 257/258 82.37/80.34 c qxplain 258/258 82.49/80.43 c 307157[?] 76198[?] 75450[?] is mandatory 82.49/80.43 c qxplain 257/257 82.59/80.53 c 307161[?] 76199[?] -76198[?] -76197[?] is mandatory 82.59/80.53 c qxplain 254/256 82.67/80.63 c qxplain 256/256 82.77/80.72 c 307165[?] 76201[?] -76199[?] is mandatory 82.77/80.72 c qxplain 254/255 82.87/80.82 c qxplain 255/255 82.97/80.92 c 307171[?] 76202[?] 75451[?] is mandatory 82.97/80.92 c qxplain 254/254 83.07/81.01 c 307175[?] 76203[?] -76202[?] -76201[?] is mandatory 83.07/81.01 c qxplain 243/253 83.17/81.11 c qxplain 249/253 83.27/81.20 c qxplain 252/253 83.37/81.30 c qxplain 253/253 83.47/81.40 c 307179[?] 76205[?] -76203[?] is mandatory 83.47/81.40 c qxplain 252/252 83.47/81.49 c 307185[?] 76206[?] 75452[?] is mandatory 83.47/81.49 c qxplain 249/251 83.59/81.59 c qxplain 251/251 83.69/81.69 c 307189[?] 76207[?] -76205[?] -76206[?] is mandatory 83.69/81.69 c qxplain 249/250 83.77/81.78 c qxplain 250/250 83.87/81.88 c 307193[?] 76209[?] -76207[?] is mandatory 83.87/81.88 c qxplain 249/249 83.97/81.97 c 307199[?] 76210[?] 75453[?] is mandatory 83.97/81.97 c qxplain 243/248 84.07/82.07 c qxplain 246/248 84.17/82.17 c qxplain 248/248 84.27/82.26 c 307203[?] 76211[?] -76209[?] -76210[?] is mandatory 84.27/82.26 c qxplain 246/247 84.37/82.36 c qxplain 247/247 84.47/82.45 c 307207[?] 76213[?] -76211[?] is mandatory 84.47/82.45 c qxplain 246/246 84.57/82.55 c 307213[?] 76214[?] 75454[?] is mandatory 84.57/82.55 c qxplain 243/245 84.69/82.64 c qxplain 245/245 84.79/82.74 c 307217[?] 76215[?] -76213[?] -76214[?] is mandatory 84.79/82.74 c qxplain 243/244 84.87/82.84 c qxplain 244/244 84.97/82.93 c 307221[?] 76217[?] -76215[?] is mandatory 84.97/82.93 c qxplain 243/243 85.07/83.03 c 307227[?] 76218[?] 75455[?] is mandatory 85.07/83.03 c qxplain 162/242 85.17/83.12 c qxplain 203/242 85.27/83.22 c qxplain 223/242 85.37/83.32 c qxplain 233/242 85.47/83.41 c qxplain 238/242 85.57/83.51 c qxplain 241/242 85.67/83.61 c qxplain 242/242 85.67/83.70 c 307231[?] 76219[?] -76217[?] -76218[?] is mandatory 85.67/83.70 c qxplain 241/241 85.79/83.80 c 307235[?] 76221[?] -76219[?] is mandatory 85.79/83.80 c qxplain 238/240 85.89/83.89 c qxplain 240/240 85.97/83.99 c 307241[?] 76222[?] 75456[?] is mandatory 85.97/83.99 c qxplain 238/239 86.07/84.09 c qxplain 239/239 86.17/84.18 c 307245[?] 76223[?] -76222[?] -76221[?] is mandatory 86.17/84.18 c qxplain 238/238 86.27/84.28 c 307249[?] 76225[?] -76223[?] is mandatory 86.27/84.28 c qxplain 233/237 86.37/84.38 c qxplain 236/237 86.47/84.47 c qxplain 237/237 86.57/84.57 c 307255[?] 76226[?] 75457[?] is mandatory 86.57/84.57 c qxplain 236/236 86.67/84.67 c 307259[?] 76227[?] -76226[?] -76225[?] is mandatory 86.67/84.67 c qxplain 233/235 86.77/84.77 c qxplain 235/235 86.89/84.86 c 307263[?] 76229[?] -76227[?] is mandatory 86.89/84.86 c qxplain 233/234 86.99/84.96 c qxplain 234/234 87.07/85.06 c 307270[?] -76037[?] -76229[?] is mandatory 87.07/85.06 c qxplain 233/233 87.17/85.15 c 321802[?] -82579[?] -75429[?] is mandatory 87.17/85.15 c qxplain 223/232 87.27/85.25 c qxplain 228/232 87.38/85.35 c qxplain 231/232 87.48/85.45 c qxplain 232/232 87.58/85.54 c 321869[?] -82611[?] 82579[?] is mandatory 87.58/85.54 c qxplain 231/231 87.68/85.64 c 321871[?] -82612[?] 82611[?] is mandatory 87.68/85.64 c qxplain 228/230 87.78/85.73 c qxplain 230/230 87.88/85.83 c 321874[?] -82613[?] 82612[?] is mandatory 87.88/85.83 c qxplain 228/229 88.00/85.93 c qxplain 229/229 88.10/86.03 c 321877[?] -82614[?] 82613[?] is mandatory 88.10/86.03 c qxplain 228/228 88.18/86.12 c 321880[?] -82615[?] 82614[?] is mandatory 88.18/86.12 c qxplain 223/227 88.28/86.22 c qxplain 226/227 88.38/86.32 c qxplain 227/227 88.48/86.41 c 321883[?] -82616[?] 82615[?] is mandatory 88.48/86.41 c qxplain 226/226 88.58/86.51 c 321886[?] -82617[?] 82616[?] is mandatory 88.58/86.51 c qxplain 223/225 88.68/86.60 c qxplain 225/225 88.78/86.70 c 321889[?] -82618[?] 82617[?] is mandatory 88.78/86.70 c qxplain 223/224 88.88/86.80 c qxplain 224/224 88.88/86.90 c 321892[?] -82619[?] 82618[?] is mandatory 88.88/86.90 c qxplain 223/223 88.98/86.99 c 321895[?] -82620[?] 82619[?] is mandatory 88.98/86.99 c qxplain 203/222 89.10/87.09 c qxplain 213/222 89.20/87.18 c qxplain 218/222 89.28/87.28 c qxplain 221/222 89.38/87.38 c qxplain 222/222 89.48/87.47 c 321898[?] -82621[?] 82620[?] is mandatory 89.48/87.47 c qxplain 221/221 89.58/87.57 c 321901[?] -82622[?] 82621[?] is mandatory 89.58/87.57 c qxplain 218/220 89.68/87.67 c qxplain 220/220 89.78/87.76 c 321904[?] -82623[?] 82622[?] is mandatory 89.78/87.77 c qxplain 218/219 89.88/87.86 c qxplain 219/219 89.98/87.96 c 321907[?] -82624[?] 82623[?] is mandatory 89.98/87.96 c qxplain 218/218 90.08/88.05 c 321910[?] -82625[?] 82624[?] is mandatory 90.08/88.05 c qxplain 213/217 90.20/88.15 c qxplain 216/217 90.30/88.25 c qxplain 217/217 90.38/88.34 c 321913[?] -82626[?] 82625[?] is mandatory 90.38/88.34 c qxplain 216/216 90.48/88.44 c 321916[?] -82627[?] 82626[?] is mandatory 90.48/88.44 c qxplain 213/215 90.58/88.53 c qxplain 215/215 90.68/88.63 c 321919[?] -82628[?] 82627[?] is mandatory 90.68/88.63 c qxplain 213/214 90.78/88.73 c qxplain 214/214 90.88/88.82 c 321922[?] -82629[?] 82628[?] is mandatory 90.88/88.82 c qxplain 213/213 90.98/88.92 c 321925[?] -82630[?] 82629[?] is mandatory 90.98/88.92 c qxplain 203/212 91.08/89.02 c qxplain 208/212 91.18/89.11 c qxplain 211/212 91.18/89.21 c qxplain 212/212 91.30/89.30 c 321928[?] -82631[?] 82630[?] is mandatory 91.30/89.30 c qxplain 211/211 91.48/89.40 c 321931[?] -82632[?] 82631[?] is mandatory 91.48/89.40 c qxplain 208/210 91.48/89.49 c qxplain 210/210 91.58/89.59 c 321934[?] -82633[?] 82632[?] is mandatory 91.58/89.59 c qxplain 208/209 91.78/89.70 c qxplain 209/209 91.88/89.80 c 321937[?] -82634[?] 82633[?] is mandatory 91.88/89.80 c qxplain 208/208 91.98/89.90 c 321940[?] -82635[?] 82634[?] is mandatory 91.98/89.90 c qxplain 203/207 91.98/89.99 c qxplain 206/207 92.08/90.09 c qxplain 207/207 92.18/90.19 c 321943[?] -82636[?] 82635[?] is mandatory 92.18/90.19 c qxplain 206/206 92.28/90.28 c 321946[?] -82637[?] 82636[?] is mandatory 92.28/90.28 c qxplain 203/205 92.40/90.38 c qxplain 205/205 92.50/90.48 c 321949[?] -82638[?] 82637[?] is mandatory 92.50/90.48 c qxplain 203/204 92.57/90.57 c qxplain 204/204 92.67/90.67 c 321952[?] -82639[?] 82638[?] is mandatory 92.67/90.67 c qxplain 203/203 92.77/90.76 c 321954[?] -82575[?] 82639[?] is mandatory 92.77/90.76 c qxplain 162/202 92.87/90.86 c qxplain 183/202 92.97/90.96 c qxplain 193/202 93.07/91.05 c qxplain 198/202 93.17/91.15 c qxplain 201/202 93.27/91.24 c qxplain 202/202 93.37/91.34 c 367692[?] 74948[?] 100784[?] is mandatory 93.37/91.34 c qxplain 201/201 93.37/91.45 c 367786[?] -100784[?] -3768[?] 100816[?] is mandatory 93.37/91.45 c qxplain 198/200 93.58/91.54 c qxplain 200/200 93.71/91.64 c 367788[?] 3768[?] 100816[?] is mandatory 93.71/91.64 c qxplain 198/199 93.81/91.74 c qxplain 199/199 93.91/91.83 c 367882[?] -74898[?] 100848[?] is mandatory 93.91/91.83 c qxplain 198/198 94.06/91.93 c 367883[?] -100816[?] 74898[?] 100848[?] is mandatory 94.06/91.93 c qxplain 193/197 94.06/91.95 c qxplain 183/192 94.19/92.01 c qxplain 162/182 94.19/92.07 c qxplain 173/182 94.19/92.09 c qxplain 162/172 94.31/92.18 c qxplain 168/172 94.31/92.19 c qxplain 162/167 94.41/92.29 c qxplain 165/167 94.51/92.30 c qxplain 162/164 94.61/92.40 c qxplain 164/164 94.61/92.41 c qxplain 162/163 94.61/92.52 c qxplain 163/163 94.72/92.61 c 368219[?] -100969[?] -75844[?] is mandatory 94.72/92.61 c qxplain 162/162 94.90/92.71 c 368222[?] -100970[?] -75844[?] is mandatory 94.90/92.71 c qxplain 0/161 95.00/92.81 c qxplain 81/161 95.10/92.90 c qxplain 122/161 95.20/93.00 c qxplain 142/161 95.20/93.10 c qxplain 152/161 95.30/93.19 c qxplain 157/161 95.40/93.29 c qxplain 160/161 95.50/93.39 c qxplain 161/161 95.60/93.48 c 368225[?] -100971[?] -75844[?] is mandatory 95.60/93.48 c qxplain 160/160 95.70/93.58 c 368228[?] -100972[?] -75844[?] is mandatory 95.70/93.58 c qxplain 157/159 95.82/93.68 c qxplain 159/159 95.92/93.77 c 368231[?] -100973[?] -75844[?] is mandatory 95.92/93.77 c qxplain 157/158 96.00/93.87 c qxplain 158/158 96.10/93.97 c 368234[?] -100974[?] -75844[?] is mandatory 96.10/93.97 c qxplain 157/157 96.20/94.06 c 368237[?] -100975[?] -75844[?] is mandatory 96.20/94.06 c qxplain 152/156 96.30/94.16 c qxplain 155/156 96.40/94.26 c qxplain 156/156 96.50/94.35 c 368240[?] -100976[?] -75844[?] is mandatory 96.50/94.35 c qxplain 155/155 96.60/94.45 c 368388[?] -101025[?] 100969[?] -75651[?] is mandatory 96.60/94.45 c qxplain 152/154 96.70/94.55 c qxplain 154/154 96.80/94.64 c 368392[?] -101026[?] 100970[?] -75651[?] is mandatory 96.80/94.64 c qxplain 152/153 96.92/94.74 c qxplain 153/153 97.02/94.84 c 368396[?] -101027[?] 100971[?] -75651[?] is mandatory 97.02/94.84 c qxplain 152/152 97.10/94.93 c 368400[?] -101028[?] 100972[?] -75651[?] is mandatory 97.10/94.93 c qxplain 142/151 97.20/95.03 c qxplain 147/151 97.30/95.13 c qxplain 150/151 97.40/95.22 c qxplain 151/151 97.50/95.32 c 368404[?] -101029[?] 100973[?] -75651[?] is mandatory 97.50/95.32 c qxplain 150/150 97.60/95.42 c 368408[?] -101030[?] 100974[?] -75651[?] is mandatory 97.60/95.42 c qxplain 147/149 97.70/95.51 c qxplain 149/149 97.80/95.61 c 368412[?] -101031[?] 100975[?] -75651[?] is mandatory 97.80/95.61 c qxplain 147/148 97.90/95.71 c qxplain 148/148 97.90/95.80 c 368416[?] -101032[?] 100976[?] -75651[?] is mandatory 97.90/95.80 c qxplain 147/147 98.02/95.90 c 368684[?] -101113[?] 101025[?] -75458[?] is mandatory 98.02/95.90 c qxplain 142/146 98.12/96.00 c qxplain 145/146 98.20/96.09 c qxplain 146/146 98.30/96.19 c 368688[?] -101114[?] 101026[?] -75458[?] is mandatory 98.30/96.19 c qxplain 145/145 98.40/96.28 c 368692[?] -101115[?] 101027[?] -75458[?] is mandatory 98.40/96.28 c qxplain 142/144 98.50/96.38 c qxplain 144/144 98.60/96.48 c 368696[?] -101116[?] 101028[?] -75458[?] is mandatory 98.60/96.48 c qxplain 142/143 98.70/96.57 c qxplain 143/143 98.80/96.67 c 368700[?] -101117[?] 101029[?] -75458[?] is mandatory 98.80/96.67 c qxplain 142/142 98.90/96.77 c 368704[?] -101118[?] 101030[?] -75458[?] is mandatory 98.90/96.77 c qxplain 122/141 99.00/96.86 c qxplain 132/141 99.12/96.96 c qxplain 137/141 99.22/97.06 c qxplain 140/141 99.30/97.15 c qxplain 141/141 99.40/97.25 c 368708[?] -101119[?] 101031[?] -75458[?] is mandatory 99.40/97.25 c qxplain 140/140 99.50/97.34 c 368712[?] -101120[?] 101032[?] -75458[?] is mandatory 99.50/97.34 c qxplain 137/139 99.60/97.44 c qxplain 139/139 99.70/97.54 c 368715[?] 101122[?] 101113[?] is mandatory 99.70/97.54 c qxplain 137/138 99.80/97.64 c qxplain 138/138 99.90/97.73 c 368717[?] 101123[?] 101114[?] is mandatory 99.90/97.73 c qxplain 137/137 100.00/97.83 c 368719[?] 101124[?] 101115[?] is mandatory 100.00/97.83 c qxplain 132/136 100.10/97.92 c qxplain 135/136 100.22/98.02 c qxplain 136/136 100.22/98.12 c 368721[?] 101125[?] 101116[?] is mandatory 100.22/98.12 c qxplain 135/135 100.40/98.21 c 368723[?] 101126[?] 101117[?] is mandatory 100.40/98.21 c qxplain 132/134 100.50/98.31 c qxplain 134/134 100.60/98.41 c 368725[?] 101127[?] 101118[?] is mandatory 100.60/98.41 c qxplain 132/133 100.70/98.50 c qxplain 133/133 100.80/98.60 c 368727[?] 101128[?] 101119[?] is mandatory 100.80/98.60 c qxplain 132/132 100.80/98.70 c 368729[?] 101129[?] 101120[?] is mandatory 100.80/98.70 c qxplain 122/131 100.90/98.79 c qxplain 127/131 101.00/98.89 c qxplain 130/131 101.10/98.99 c qxplain 131/131 101.20/99.08 c 368731[?] 101130[?] -101122[?] is mandatory 101.20/99.08 c qxplain 130/130 101.32/99.18 c 368733[?] 101131[?] -101130[?] -101123[?] is mandatory 101.32/99.18 c qxplain 127/129 101.42/99.27 c qxplain 129/129 101.50/99.37 c 368736[?] 101132[?] -101131[?] -101124[?] is mandatory 101.50/99.37 c qxplain 127/128 101.60/99.47 c qxplain 128/128 101.70/99.57 c 368739[?] 101133[?] -101132[?] -101125[?] is mandatory 101.70/99.57 c qxplain 127/127 101.80/99.66 c 368742[?] 101134[?] -101133[?] -101126[?] is mandatory 101.80/99.66 c qxplain 122/126 101.90/99.76 c qxplain 125/126 102.00/99.86 c qxplain 126/126 102.10/99.95 c 368745[?] 101135[?] -101134[?] -101127[?] is mandatory 102.10/99.95 c qxplain 125/125 102.20/100.05 c 368748[?] 101136[?] -101135[?] -101128[?] is mandatory 102.20/100.05 c qxplain 122/124 102.30/100.15 c qxplain 124/124 102.42/100.24 c 368751[?] 101137[?] -101136[?] -101129[?] is mandatory 102.42/100.24 c qxplain 122/123 102.52/100.34 c qxplain 123/123 102.60/100.44 c 368755[?] -101137[?] 101121[?] is mandatory 102.60/100.44 c qxplain 122/122 102.70/100.53 c 368761[?] 101139[?] 82575[?] is mandatory 102.70/100.53 c qxplain 81/121 102.80/100.63 c qxplain 102/121 102.90/100.73 c qxplain 112/121 103.00/100.82 c qxplain 117/121 103.10/100.92 c qxplain 120/121 103.20/101.02 c qxplain 121/121 103.30/101.12 c 368856[?] 101171[?] 76037[?] -101139[?] is mandatory 103.30/101.12 c qxplain 120/120 103.40/101.21 c 368951[?] 101203[?] -101171[?] is mandatory 103.40/101.21 c qxplain 117/119 103.40/101.31 c qxplain 119/119 103.52/101.41 c 370360[?] 101651[?] -101203[?] -75844[?] is mandatory 103.52/101.41 c qxplain 117/118 103.70/101.51 c qxplain 118/118 103.80/101.60 c 371960[?] 102163[?] -101651[?] -75651[?] is mandatory 103.80/101.60 c qxplain 117/117 103.90/101.70 c 377286[?] 103814[?] -102163[?] -75458[?] is mandatory 103.90/101.70 c qxplain 112/116 104.00/101.80 c qxplain 115/116 104.10/101.90 c qxplain 116/116 104.10/102.00 c 378244[?] -101121[?] -103814[?] 104198[?] is mandatory 104.10/102.00 c qxplain 115/115 104.20/102.01 c qxplain 112/114 104.20/102.02 c qxplain 102/111 104.30/102.12 c qxplain 107/111 104.40/102.21 c qxplain 110/111 104.40/102.23 c qxplain 107/109 104.50/102.32 c qxplain 109/109 104.50/102.34 c qxplain 107/108 104.62/102.43 c qxplain 108/108 104.62/102.45 c qxplain 107/107 104.73/102.55 c 394140[?] -104198[?] -109819[?] is mandatory 104.73/102.55 c qxplain 102/106 104.80/102.64 c qxplain 105/106 104.90/102.74 c qxplain 106/106 105.00/102.84 c 394269[?] 109819[?] -109883[?] is mandatory 105.00/102.84 c qxplain 105/105 105.10/102.94 c 394271[?] 109883[?] -109884[?] is mandatory 105.10/102.94 c qxplain 102/104 105.20/103.03 c qxplain 104/104 105.30/103.13 c 394274[?] 109884[?] -109885[?] is mandatory 105.30/103.13 c qxplain 102/103 105.40/103.23 c qxplain 103/103 105.50/103.33 c 394277[?] 109885[?] -109886[?] is mandatory 105.50/103.33 c qxplain 102/102 105.60/103.42 c 394280[?] 109886[?] -109887[?] is mandatory 105.60/103.42 c qxplain 81/101 105.70/103.54 c qxplain 92/101 105.80/103.64 c qxplain 97/101 105.88/103.73 c qxplain 100/101 105.98/103.83 c qxplain 101/101 106.08/103.93 c 394283[?] 109887[?] -109888[?] is mandatory 106.08/103.93 c qxplain 100/100 106.18/104.03 c 394286[?] 109888[?] -109889[?] is mandatory 106.18/104.03 c qxplain 97/99 106.28/104.12 c qxplain 99/99 106.38/104.22 c 394289[?] 109889[?] -109890[?] is mandatory 106.38/104.22 c qxplain 97/98 106.48/104.32 c qxplain 98/98 106.58/104.41 c 394292[?] 109890[?] -109891[?] is mandatory 106.58/104.41 c qxplain 97/97 106.68/104.51 c 394295[?] 109891[?] -109892[?] is mandatory 106.68/104.51 c qxplain 92/96 106.68/104.61 c qxplain 95/96 106.81/104.71 c qxplain 96/96 106.99/104.80 c 394298[?] 109892[?] -109893[?] is mandatory 106.99/104.80 c qxplain 95/95 107.09/104.90 c 394301[?] 109893[?] -109894[?] is mandatory 107.09/104.90 c qxplain 92/94 107.09/104.99 c qxplain 94/94 107.19/105.09 c 394304[?] 109894[?] -109895[?] is mandatory 107.19/105.09 c qxplain 92/93 107.29/105.19 c qxplain 93/93 107.39/105.28 c 394307[?] 109895[?] -109896[?] is mandatory 107.39/105.28 c qxplain 92/92 107.49/105.38 c 394310[?] 109896[?] -109897[?] is mandatory 107.49/105.38 c qxplain 81/91 107.59/105.48 c qxplain 87/91 107.69/105.57 c qxplain 90/91 107.79/105.67 c qxplain 91/91 107.91/105.77 c 394313[?] 109897[?] -109898[?] is mandatory 107.91/105.77 c qxplain 90/90 108.01/105.86 c 394316[?] 109898[?] -109899[?] is mandatory 108.01/105.86 c qxplain 87/89 108.09/105.96 c qxplain 89/89 108.19/106.05 c 394319[?] 109899[?] -109900[?] is mandatory 108.19/106.05 c qxplain 87/88 108.29/106.15 c qxplain 88/88 108.39/106.25 c 394322[?] 109900[?] -109901[?] is mandatory 108.39/106.25 c qxplain 87/87 108.49/106.34 c 394325[?] 109901[?] -109902[?] is mandatory 108.49/106.34 c qxplain 81/86 108.59/106.44 c qxplain 84/86 108.69/106.54 c qxplain 86/86 108.79/106.63 c 394328[?] 109902[?] -109903[?] is mandatory 108.79/106.63 c qxplain 84/85 108.89/106.73 c qxplain 85/85 109.01/106.83 c 394331[?] 109903[?] -109904[?] is mandatory 109.01/106.83 c qxplain 84/84 109.11/106.93 c 394334[?] 109904[?] -109905[?] is mandatory 109.11/106.93 c qxplain 81/83 109.19/107.02 c qxplain 83/83 109.29/107.12 c 394337[?] 109905[?] -109906[?] is mandatory 109.29/107.12 c qxplain 81/82 109.39/107.22 c qxplain 82/82 109.49/107.31 c 394340[?] 109906[?] -109907[?] is mandatory 109.49/107.31 c qxplain 81/81 109.59/107.41 c 394343[?] 109907[?] -109908[?] is mandatory 109.59/107.41 c qxplain 0/80 109.69/107.51 c qxplain 41/80 109.78/107.61 c qxplain 61/80 109.88/107.70 c qxplain 71/80 109.98/107.80 c qxplain 76/80 109.98/107.90 c qxplain 79/80 110.11/107.99 c qxplain 80/80 110.21/108.09 c 394346[?] 109908[?] -109909[?] is mandatory 110.21/108.09 c qxplain 79/79 110.28/108.19 c 394349[?] 109909[?] -109910[?] is mandatory 110.28/108.19 c qxplain 76/78 110.38/108.29 c qxplain 78/78 110.48/108.38 c 394352[?] 109910[?] -109911[?] is mandatory 110.48/108.38 c qxplain 76/77 110.58/108.48 c qxplain 77/77 110.68/108.58 c 394355[?] 109911[?] -109912[?] is mandatory 110.68/108.58 c qxplain 76/76 110.78/108.67 c 394358[?] 109912[?] -109913[?] is mandatory 110.78/108.67 c qxplain 71/75 110.88/108.77 c qxplain 74/75 110.98/108.87 c qxplain 75/75 111.08/108.96 c 394361[?] 109913[?] -109914[?] is mandatory 111.08/108.96 c qxplain 74/74 111.21/109.06 c 394364[?] 109914[?] -109915[?] is mandatory 111.21/109.06 c qxplain 71/73 111.31/109.16 c qxplain 73/73 111.38/109.25 c 394367[?] 109915[?] -109916[?] is mandatory 111.38/109.25 c qxplain 71/72 111.48/109.35 c qxplain 72/72 111.58/109.45 c 394370[?] 109916[?] -109917[?] is mandatory 111.58/109.45 c qxplain 71/71 111.68/109.54 c 394373[?] 109917[?] -109918[?] is mandatory 111.68/109.54 c qxplain 61/70 111.78/109.64 c qxplain 66/70 111.88/109.73 c qxplain 69/70 111.98/109.83 c qxplain 70/70 112.08/109.93 c 394376[?] 109918[?] -109919[?] is mandatory 112.08/109.93 c qxplain 69/69 112.19/110.03 c 394379[?] 109919[?] -109920[?] is mandatory 112.19/110.03 c qxplain 66/68 112.31/110.13 c qxplain 68/68 112.41/110.23 c 394382[?] 109920[?] -109921[?] is mandatory 112.41/110.23 c qxplain 66/67 112.49/110.32 c qxplain 67/67 112.59/110.42 c 394385[?] 109921[?] -109922[?] is mandatory 112.59/110.42 c qxplain 66/66 112.69/110.52 c 394388[?] 109922[?] -109923[?] is mandatory 112.69/110.52 c qxplain 61/65 112.79/110.62 c qxplain 64/65 112.89/110.71 c qxplain 65/65 112.98/110.81 c 394391[?] 109923[?] -109924[?] is mandatory 112.98/110.81 c qxplain 64/64 113.08/110.91 c 394394[?] 109924[?] -109925[?] is mandatory 113.08/110.91 c qxplain 61/63 113.18/111.00 c qxplain 63/63 113.28/111.10 c 394397[?] 109925[?] -109926[?] is mandatory 113.28/111.10 c qxplain 61/62 113.28/111.20 c qxplain 62/62 113.40/111.29 c 394400[?] 109926[?] -109927[?] is mandatory 113.40/111.29 c qxplain 61/61 113.50/111.39 c 394403[?] 109927[?] -109928[?] is mandatory 113.50/111.39 c qxplain 41/60 113.58/111.49 c qxplain 51/60 113.68/111.59 c qxplain 56/60 113.78/111.68 c qxplain 59/60 113.88/111.78 c qxplain 60/60 113.98/111.88 c 394406[?] 109928[?] -109929[?] is mandatory 113.98/111.88 c qxplain 59/59 114.08/111.97 c 394409[?] 109929[?] -109930[?] is mandatory 114.08/111.97 c qxplain 56/58 114.18/112.07 c qxplain 58/58 114.28/112.17 c 394412[?] 109930[?] -109931[?] is mandatory 114.28/112.17 c qxplain 56/57 114.38/112.26 c qxplain 57/57 114.50/112.36 c 394415[?] 109931[?] -109932[?] is mandatory 114.50/112.36 c qxplain 56/56 114.60/112.46 c 394418[?] 109932[?] -109933[?] is mandatory 114.60/112.46 c qxplain 51/55 114.68/112.55 c qxplain 54/55 114.78/112.65 c qxplain 55/55 114.88/112.75 c 394421[?] 109933[?] -109934[?] is mandatory 114.88/112.75 c qxplain 54/54 114.98/112.84 c 394424[?] 109934[?] -109935[?] is mandatory 114.98/112.84 c qxplain 51/53 115.08/112.94 c qxplain 53/53 115.18/113.04 c 394427[?] 109935[?] -109936[?] is mandatory 115.18/113.04 c qxplain 51/52 115.28/113.13 c qxplain 52/52 115.38/113.23 c 394430[?] 109936[?] -109937[?] is mandatory 115.38/113.23 c qxplain 51/51 115.48/113.33 c 394433[?] 109937[?] -109938[?] is mandatory 115.48/113.33 c qxplain 41/50 115.60/113.42 c qxplain 46/50 115.60/113.52 c qxplain 49/50 115.78/113.61 c qxplain 50/50 115.88/113.71 c 394436[?] 109938[?] -109939[?] is mandatory 115.88/113.71 c qxplain 49/49 115.98/113.81 c 394439[?] 109939[?] -109940[?] is mandatory 115.98/113.81 c qxplain 46/48 116.08/113.90 c qxplain 48/48 116.18/114.00 c 394442[?] 109940[?] -109941[?] is mandatory 116.18/114.00 c qxplain 46/47 116.18/114.10 c qxplain 47/47 116.28/114.19 c 394445[?] 109941[?] -109942[?] is mandatory 116.28/114.19 c qxplain 46/46 116.38/114.29 c 394448[?] 109942[?] -109943[?] is mandatory 116.38/114.29 c qxplain 41/45 116.48/114.39 c qxplain 44/45 116.58/114.48 c qxplain 45/45 116.70/114.58 c 394451[?] 109943[?] -109944[?] is mandatory 116.70/114.58 c qxplain 44/44 116.80/114.68 c 394454[?] 109944[?] -109945[?] is mandatory 116.80/114.68 c qxplain 41/43 116.88/114.77 c qxplain 43/43 116.98/114.87 c 394456[?] 109945[?] -109817[?] is mandatory 116.98/114.87 c qxplain 41/42 117.08/114.97 c qxplain 42/42 117.18/115.06 c 394460[?] 109817[?] -109946[?] is mandatory 117.18/115.06 c qxplain 41/41 117.28/115.16 c 394462[?] 109946[?] -109947[?] is mandatory 117.28/115.16 c qxplain 0/40 117.38/115.26 c qxplain 21/40 117.48/115.36 c qxplain 31/40 117.58/115.45 c qxplain 36/40 117.69/115.55 c qxplain 39/40 117.81/115.65 c qxplain 40/40 117.91/115.75 c 394465[?] -100848[?] -109949[?] is mandatory 117.91/115.75 c qxplain 39/39 117.99/115.84 c 394529[?] 109949[?] -109981[?] is mandatory 117.99/115.84 c qxplain 36/38 118.09/115.94 c qxplain 38/38 118.19/116.04 c 394531[?] 109981[?] -109982[?] is mandatory 118.19/116.04 c qxplain 36/37 118.28/116.13 c qxplain 37/37 118.38/116.23 c 394534[?] 109982[?] -109983[?] is mandatory 118.38/116.23 c qxplain 36/36 118.48/116.33 c 394537[?] 109983[?] -109984[?] is mandatory 118.48/116.33 c qxplain 31/35 118.58/116.42 c qxplain 34/35 118.68/116.52 c qxplain 35/35 118.78/116.62 c 394540[?] 109984[?] -109985[?] is mandatory 118.78/116.62 c qxplain 34/34 118.78/116.71 c 394543[?] 109985[?] -109986[?] is mandatory 118.78/116.71 c qxplain 31/33 118.91/116.81 c qxplain 33/33 119.08/116.91 c 394546[?] 109986[?] -109987[?] is mandatory 119.08/116.91 c qxplain 31/32 119.18/117.00 c qxplain 32/32 119.28/117.10 c 394549[?] 109987[?] -109988[?] is mandatory 119.28/117.10 c qxplain 31/31 119.28/117.20 c 394552[?] 109988[?] -109989[?] is mandatory 119.28/117.20 c qxplain 21/30 119.38/117.29 c qxplain 26/30 119.48/117.39 c qxplain 29/30 119.58/117.49 c qxplain 30/30 119.68/117.58 c 394555[?] 109989[?] -109990[?] is mandatory 119.68/117.58 c qxplain 29/29 119.78/117.68 c 394558[?] 109990[?] -109991[?] is mandatory 119.78/117.68 c qxplain 26/28 119.88/117.78 c qxplain 28/28 120.00/117.87 c 394561[?] 109991[?] -109992[?] is mandatory 120.00/117.87 c qxplain 26/27 120.10/117.97 c qxplain 27/27 120.18/118.07 c 394564[?] 109992[?] -109993[?] is mandatory 120.18/118.07 c qxplain 26/26 120.28/118.16 c 394567[?] 109993[?] -109994[?] is mandatory 120.28/118.16 c qxplain 21/25 120.38/118.26 c qxplain 24/25 120.48/118.36 c qxplain 25/25 120.59/118.46 c 394570[?] 109994[?] -109995[?] is mandatory 120.59/118.46 c qxplain 24/24 120.68/118.56 c 394573[?] 109995[?] -109996[?] is mandatory 120.68/118.56 c qxplain 21/23 120.79/118.65 c qxplain 23/23 120.89/118.75 c 394576[?] 109996[?] -109997[?] is mandatory 120.89/118.75 c qxplain 21/22 120.99/118.85 c qxplain 22/22 121.11/118.94 c 394579[?] 109997[?] -109998[?] is mandatory 121.11/118.94 c qxplain 21/21 121.21/119.04 c 394582[?] 109998[?] -109999[?] is mandatory 121.21/119.04 c qxplain 0/20 121.28/119.14 c qxplain 11/20 121.38/119.23 c qxplain 16/20 121.48/119.33 c qxplain 19/20 121.58/119.43 c qxplain 20/20 121.68/119.52 c 394585[?] 109999[?] -110000[?] is mandatory 121.68/119.52 c qxplain 19/19 121.78/119.62 c 394588[?] 110000[?] -110001[?] is mandatory 121.78/119.62 c qxplain 16/18 121.88/119.72 c qxplain 18/18 121.98/119.81 c 394591[?] 110001[?] -110002[?] is mandatory 121.98/119.81 c qxplain 16/17 122.08/119.91 c qxplain 17/17 122.08/120.01 c 394594[?] 110002[?] -110003[?] is mandatory 122.08/120.01 c qxplain 16/16 122.21/120.10 c 394597[?] 110003[?] -110004[?] is mandatory 122.21/120.10 c qxplain 11/15 122.38/120.20 c qxplain 14/15 122.38/120.30 c qxplain 15/15 122.48/120.39 c 394600[?] 110004[?] -110005[?] is mandatory 122.48/120.39 c qxplain 14/14 122.58/120.49 c 394603[?] 110005[?] -110006[?] is mandatory 122.58/120.49 c qxplain 11/13 122.68/120.59 c qxplain 13/13 122.78/120.68 c 394606[?] 110006[?] -110007[?] is mandatory 122.78/120.68 c qxplain 11/12 122.88/120.78 c qxplain 12/12 122.98/120.88 c 394609[?] 110007[?] -110008[?] is mandatory 122.98/120.88 c qxplain 11/11 123.08/120.98 c 394612[?] 110008[?] -110009[?] is mandatory 123.08/120.98 c qxplain 0/10 123.18/121.07 c qxplain 6/10 123.30/121.17 c qxplain 9/10 123.40/121.26 c qxplain 10/10 123.48/121.36 c 394615[?] 110009[?] -110010[?] is mandatory 123.48/121.36 c qxplain 9/9 123.58/121.46 c 394618[?] 110010[?] -110011[?] is mandatory 123.58/121.46 c qxplain 6/8 123.68/121.55 c qxplain 8/8 123.78/121.65 c 394621[?] 110011[?] -110012[?] is mandatory 123.78/121.65 c qxplain 6/7 123.88/121.75 c qxplain 7/7 123.98/121.84 c 394623[?] 110012[?] -109948[?] is mandatory 123.98/121.85 c qxplain 6/6 124.08/121.94 c 394626[?] 109947[?] -110013[?] is mandatory 124.08/121.94 c qxplain 0/5 124.18/122.04 c qxplain 3/5 124.28/122.14 c qxplain 5/5 124.40/122.24 c 394627[?] 109948[?] -110013[?] is mandatory 124.40/122.24 c qxplain 3/4 124.50/122.33 c qxplain 4/4 124.58/122.43 c 396805[?] -110720[?] 110013[?] is mandatory 124.58/122.43 c qxplain 3/3 124.68/122.53 c 396808[?] -110721[?] 110720[?] is mandatory 124.68/122.53 c qxplain 0/2 124.78/122.62 c qxplain 2/2 124.88/122.72 c 396972[?] 110820[?] 110721[?] is mandatory 124.88/122.72 c qxplain 0/1 124.98/122.82 c qxplain 1/1 125.08/122.92 c 396976[?] 110821[?] -110820[?] is mandatory 125.08/122.92 c qxplain 0/0 125.18/123.01 c 396979[?] 110822[?] -110821[?] is mandatory 126.34/124.03 c Size of the MUS: 606 126.34/124.03 c Unsat core computation wall clock time (in seconds) : 123.074 126.34/124.03 c starts : 1222 126.34/124.03 c conflicts : 4 126.34/124.03 c decisions : 134723694 126.34/124.03 c propagations : 485428279 126.34/124.03 c inspects : 22199679 126.34/124.03 c shortcuts : 0 126.34/124.03 c learnt literals : 0 126.34/124.03 c learnt binary clauses : 0 126.34/124.03 c learnt ternary clauses : 0 126.34/124.03 c learnt constraints : 4 126.34/124.03 c ignored constraints : 0 126.34/124.03 c root simplifications : 0 126.34/124.03 c removed literals (reason simplification) : 0 126.34/124.03 c reason swapping (by a shorter reason) : 0 126.34/124.03 c Calls to reduceDB : 0 126.34/124.03 c speed (assignments/second) : 4.3575249461400354E8 126.34/124.03 c non guided choices 134723600 126.34/124.03 c learnt constraints type 126.34/124.03 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 4 126.34/124.03 c constraints type 126.34/124.03 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 273073 126.34/124.03 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 13085 126.34/124.03 s UNSATISFIABLE 126.34/124.03 v 13085 193238 193240 193242 193244 193246 193248 193256 193258 193259 193261 193262 193264 193265 193267 193268 193270 193271 193272 193732 193735 193740 193743 193748 193752 193760 193778 193780 193783 193786 193789 193792 193794 193906 193911 193914 193919 193923 193938 193943 193946 193951 193955 193969 193991 193993 193995 194340 194345 194348 194353 194357 194371 194393 194395 194397 194605 194610 194613 194618 194622 194630 194631 194634 194635 194637 194639 194641 194643 194645 194647 194649 194651 194653 194655 194657 194659 194661 194663 194665 194667 194669 194671 194673 194675 194677 194679 194681 194683 194685 194763 194766 194768 194777 194780 194781 194791 194794 194795 194805 194808 194809 194819 194822 194823 194833 194836 194837 194847 194850 194851 194861 194864 194865 194875 194878 194879 194889 194892 194893 194903 194906 194907 194917 194920 194921 194931 194934 194935 194945 194948 194949 194959 194962 194963 194973 194976 194977 194987 194990 194991 195001 195004 195005 195015 195018 195019 195029 195032 195033 195043 195046 195047 195057 195060 195061 195071 195074 195075 195085 195088 195089 195099 195102 195103 195113 195116 195117 195124 195204 195207 195209 195218 195221 195222 195232 195235 195236 195246 195249 195250 195260 195263 195264 195274 195277 195278 195288 195291 195292 195302 195305 195306 195316 195319 195320 195330 195333 195334 195344 195347 195348 195358 195361 195362 195372 195375 195376 195386 195389 195390 195400 195403 195404 195414 195417 195418 195428 195431 195432 195442 195445 195446 195456 195459 195460 195470 195473 195474 195484 195487 195488 195498 195501 195502 195512 195515 195516 195526 195529 195530 195540 195543 195544 195554 195557 195558 195565 195645 195648 195650 195659 195662 195663 195673 195676 195677 195687 195690 195691 195701 195704 195705 195715 195718 195719 195729 195732 195733 195743 195746 195747 195757 195760 195761 195771 195774 195775 195785 195788 195789 195799 195802 195803 195813 195816 195817 195827 195830 195831 195841 195844 195845 195855 195858 195859 195869 195872 195873 195883 195886 195887 195897 195900 195901 195911 195914 195915 195925 195928 195929 195939 195942 195943 195953 195956 195957 195967 195970 195971 195981 195984 195985 195995 195998 195999 196006 196045 196052 196057 196061 196065 196071 196074 196078 196083 196087 196091 196097 196101 196105 196111 196115 196119 196125 196129 196133 196139 196143 196147 196153 196157 196161 196167 196171 196175 196181 196185 196189 196195 196199 196203 196209 196213 196217 196223 196227 196231 196237 196241 196245 196251 196255 196259 196265 196269 196273 196279 196283 196287 196293 196297 196301 196307 196311 196315 196321 196325 196329 196335 196339 196343 196349 196353 196357 196363 196367 196371 196377 196381 196385 196391 196395 196399 196405 196409 196413 196419 196423 196427 196433 196437 196441 196448 210980 211047 211049 211052 211055 211058 211061 211064 211067 211070 211073 211076 211079 211082 211085 211088 211091 211094 211097 211100 211103 211106 211109 211112 211115 211118 211121 211124 211127 211130 211132 256870 256964 256966 257060 257061 257397 257400 257403 257406 257409 257412 257415 257418 257566 257570 257574 257578 257582 257586 257590 257594 257862 257866 257870 257874 257878 257882 257886 257890 257893 257895 257897 257899 257901 257903 257905 257907 257909 257911 257914 257917 257920 257923 257926 257929 257933 257939 258034 258129 259538 261138 266464 267422 283318 283447 283449 283452 283455 283458 283461 283464 283467 283470 283473 283476 283479 283482 283485 283488 283491 283494 283497 283500 283503 283506 283509 283512 283515 283518 283521 283524 283527 283530 283533 283536 283539 283542 283545 283548 283551 283554 283557 283560 283563 283566 283569 283572 283575 283578 283581 283584 283587 283590 283593 283596 283599 283602 283605 283608 283611 283614 283617 283620 283623 283626 283629 283632 283634 283638 283640 283643 283707 283709 283712 283715 283718 283721 283724 283727 283730 283733 283736 283739 283742 283745 283748 283751 283754 283757 283760 283763 283766 283769 283772 283775 283778 283781 283784 283787 283790 283793 283796 283799 283801 283804 283805 285983 285986 286150 286154 286157 0 126.34/124.03 c Total wall clock time (in seconds) : 123.938
OK 606
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-3482935-1307604136/watcher-3482935-1307604136 -o /tmp/evaluation-result-3482935-1307604136/solver-3482935-1307604136 -C 1800 -W 1850 -M 7680 java -Xms6000m -Xmx6000m -jar sat4j-mus-v20110206.jar HOME/instance-3482935-1307604136.cnf running on 2 cores: 1,3 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: 0.00 0.00 0.00 10/953 24398 /proc/meminfo: memFree=8781208/32950928 swapFree=26914392/67111528 [pid=24398] ppid=24396 vsize=6345676 CPUtime=0.01 cores=1,3 /proc/24398/stat : 24398 (java) S 24396 24398 24287 0 -1 4202496 7397 0 1 0 1 0 0 0 25 0 10 0 872010347 6497972224 7097 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512494565 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 /proc/24398/statm: 1586419 7098 1515 9 0 1577167 0 [pid=24398/tid=24399] ppid=24396 vsize=6345676 CPUtime=0.01 cores=1,3 /proc/24398/task/24399/stat : 24399 (java) R 24396 24398 24287 0 -1 4202560 6280 0 1 0 1 0 0 0 25 0 10 0 872010347 6497972224 7102 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512518603 0 4 0 16784584 0 0 0 -1 1 0 0 0 [pid=24398/tid=24400] ppid=24396 vsize=6345676 CPUtime=0 cores=1,3 /proc/24398/task/24400/stat : 24400 (java) S 24396 24398 24287 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 872010348 6497972224 7103 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512507801 0 4 0 16784584 18446604461120995712 0 0 -1 1 0 0 0 [pid=24398/tid=24401] ppid=24396 vsize=6345676 CPUtime=0 cores=1,3 /proc/24398/task/24401/stat : 24401 (java) S 24396 24398 24287 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 10 0 872010348 6497972224 7103 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512507801 0 4 0 16784584 18446604461120995712 0 0 -1 1 0 0 0 [pid=24398/tid=24402] ppid=24396 vsize=6345676 CPUtime=0 cores=1,3 /proc/24398/task/24402/stat : 24402 (java) S 24396 24398 24287 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 872010348 6497972224 7103 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512507801 0 4 0 16784584 18446604461120995712 0 0 -1 1 0 0 0 [pid=24398/tid=24403] ppid=24396 vsize=6345676 CPUtime=0 cores=1,3 /proc/24398/task/24403/stat : 24403 (java) S 24396 24398 24287 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 872010348 6497972224 7104 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512507801 0 4 0 16784584 18446604461120995712 0 0 -1 1 0 0 0 [pid=24398/tid=24404] ppid=24396 vsize=6345676 CPUtime=0 cores=1,3 /proc/24398/task/24404/stat : 24404 (java) S 24396 24398 24287 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 872010348 6497972224 7105 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512507801 0 4 0 16784584 18446604461120995712 0 0 -1 1 0 0 0 [pid=24398/tid=24405] ppid=24396 vsize=6345676 CPUtime=0 cores=1,3 /proc/24398/task/24405/stat : 24405 (java) S 24396 24398 24287 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 872010348 6497972224 7106 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512507801 0 4 0 16784584 18446604461120995712 0 0 -1 1 0 0 0 [pid=24398/tid=24406] ppid=24396 vsize=6345676 CPUtime=0 cores=1,3 /proc/24398/task/24406/stat : 24406 (java) S 24396 24398 24287 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 872010348 6497972224 7107 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512507801 0 4 0 16784584 18446604461120995712 0 0 -1 1 0 0 0 [pid=24398/tid=24407] ppid=24396 vsize=6345676 CPUtime=0 cores=1,3 /proc/24398/task/24407/stat : 24407 (java) S 24396 24398 24287 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 872010348 6497972224 7109 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512507801 0 4 0 16784584 18446604461120995712 0 0 -1 1 0 0 0 [startup+0.0603141 s] /proc/loadavg: 0.00 0.00 0.00 10/953 24398 /proc/meminfo: memFree=8781208/32950928 swapFree=26914392/67111528 [pid=24398] ppid=24396 vsize=6363732 CPUtime=0.04 cores=1,3 /proc/24398/stat : 24398 (java) S 24396 24398 24287 0 -1 4202496 8459 0 1 0 4 0 0 0 25 0 18 0 872010347 6516461568 8157 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/24398/statm: 1590933 8158 1738 9 0 1581671 0 [pid=24398/tid=24399] ppid=24396 vsize=6363732 CPUtime=0.04 cores=1,3 /proc/24398/task/24399/stat : 24399 (java) R 24396 24398 24287 0 -1 4202560 7285 0 1 0 4 0 0 0 25 0 18 0 872010347 6516461568 8158 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 47739534667683 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=24398/tid=24400] ppid=24396 vsize=6363732 CPUtime=0 cores=1,3 /proc/24398/task/24400/stat : 24400 (java) S 24396 24398 24287 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872010348 6516461568 8159 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512507801 0 4 0 16800975 18446604461120995712 0 0 -1 1 0 0 0 [pid=24398/tid=24401] ppid=24396 vsize=6363732 CPUtime=0 cores=1,3 /proc/24398/task/24401/stat : 24401 (java) S 24396 24398 24287 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 872010348 6516461568 8160 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512507801 0 4 0 16800975 18446604461120995712 0 0 -1 1 0 0 0 [pid=24398/tid=24402] ppid=24396 vsize=6363732 CPUtime=0 cores=1,3 /proc/24398/task/24402/stat : 24402 (java) S 24396 24398 24287 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872010348 6516461568 8160 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512507801 0 4 0 16800975 18446604461120995712 0 0 -1 1 0 0 0 [pid=24398/tid=24403] ppid=24396 vsize=6363732 CPUtime=0 cores=1,3 /proc/24398/task/24403/stat : 24403 (java) S 24396 24398 24287 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872010348 6516461568 8160 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512507801 0 4 0 16800975 18446604461120995712 0 0 -1 1 0 0 0 [pid=24398/tid=24404] ppid=24396 vsize=6363732 CPUtime=0 cores=1,3 /proc/24398/task/24404/stat : 24404 (java) S 24396 24398 24287 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872010348 6516461568 8160 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512507801 0 4 0 16800975 18446604461120995712 0 0 -1 1 0 0 0 [pid=24398/tid=24405] ppid=24396 vsize=6363732 CPUtime=0 cores=1,3 /proc/24398/task/24405/stat : 24405 (java) S 24396 24398 24287 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872010348 6516461568 8160 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512507801 0 4 0 16800975 18446604461120995712 0 0 -1 1 0 0 0 [pid=24398/tid=24406] ppid=24396 vsize=6363732 CPUtime=0 cores=1,3 /proc/24398/task/24406/stat : 24406 (java) S 24396 24398 24287 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872010348 6516461568 8160 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512507801 0 4 0 16800975 18446604461120995712 0 0 -1 1 0 0 0 [pid=24398/tid=24407] ppid=24396 vsize=6363732 CPUtime=0 cores=1,3 /proc/24398/task/24407/stat : 24407 (java) S 24396 24398 24287 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872010348 6516461568 8161 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512507801 0 4 0 16800975 18446604461120995712 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 6363732 [startup+0.101289 s] /proc/loadavg: 0.00 0.00 0.00 10/953 24398 /proc/meminfo: memFree=8781208/32950928 swapFree=26914392/67111528 [pid=24398] ppid=24396 vsize=6430504 CPUtime=0.11 cores=1,3 /proc/24398/stat : 24398 (java) S 24396 24398 24287 0 -1 4202496 11746 0 1 0 10 1 0 0 25 0 18 0 872010347 6584836096 11444 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/24398/statm: 1607626 11463 2090 9 0 1598364 0 [pid=24398/tid=24399] ppid=24396 vsize=6430504 CPUtime=0.09 cores=1,3 /proc/24398/task/24399/stat : 24399 (java) R 24396 24398 24287 0 -1 4202560 9917 0 1 0 8 1 0 0 18 0 18 0 872010347 6584836096 11463 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 47739535496840 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=24398/tid=24400] ppid=24396 vsize=6430504 CPUtime=0 cores=1,3 /proc/24398/task/24400/stat : 24400 (java) S 24396 24398 24287 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872010348 6584836096 11463 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512507801 0 4 0 16800975 18446604461120995712 0 0 -1 1 0 0 0 [pid=24398/tid=24401] ppid=24396 vsize=6430504 CPUtime=0 cores=1,3 /proc/24398/task/24401/stat : 24401 (java) S 24396 24398 24287 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 872010348 6584836096 11465 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512507801 0 4 0 16800975 18446604461120995712 0 0 -1 1 0 0 0 [pid=24398/tid=24402] ppid=24396 vsize=6430504 CPUtime=0 cores=1,3 /proc/24398/task/24402/stat : 24402 (java) S 24396 24398 24287 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872010348 6584836096 11482 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512507801 0 4 0 16800975 18446604461120995712 0 0 -1 1 0 0 0 [pid=24398/tid=24403] ppid=24396 vsize=6430504 CPUtime=0 cores=1,3 /proc/24398/task/24403/stat : 24403 (java) S 24396 24398 24287 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872010348 6584836096 11498 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512507801 0 4 0 16800975 18446604461120995712 0 0 -1 1 0 0 0 [pid=24398/tid=24404] ppid=24396 vsize=6430504 CPUtime=0 cores=1,3 /proc/24398/task/24404/stat : 24404 (java) S 24396 24398 24287 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872010348 6584836096 11515 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512507801 0 4 0 16800975 18446604461120995712 0 0 -1 1 0 0 0 [pid=24398/tid=24405] ppid=24396 vsize=6430504 CPUtime=0 cores=1,3 /proc/24398/task/24405/stat : 24405 (java) S 24396 24398 24287 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872010348 6584836096 11529 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512507801 0 4 0 16800975 18446604461120995712 0 0 -1 1 0 0 0 [pid=24398/tid=24406] ppid=24396 vsize=6430504 CPUtime=0 cores=1,3 /proc/24398/task/24406/stat : 24406 (java) S 24396 24398 24287 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872010348 6584836096 11545 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512507801 0 4 0 16800975 18446604461120995712 0 0 -1 1 0 0 0 [pid=24398/tid=24407] ppid=24396 vsize=6430504 CPUtime=0 cores=1,3 /proc/24398/task/24407/stat : 24407 (java) S 24396 24398 24287 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872010348 6584836096 11559 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512507801 0 4 0 16800975 18446604461120995712 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 6430504 [startup+0.433837 s] /proc/loadavg: 0.00 0.00 0.00 10/953 24398 /proc/meminfo: memFree=8781208/32950928 swapFree=26914392/67111528 [pid=24398] ppid=24396 vsize=6442024 CPUtime=0.74 cores=1,3 /proc/24398/stat : 24398 (java) S 24396 24398 24287 0 -1 4202496 23243 0 1 0 72 2 0 0 25 0 18 0 872010347 6596632576 22547 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/24398/statm: 1610506 22549 2204 9 0 1601244 0 [pid=24398/tid=24399] ppid=24396 vsize=6442024 CPUtime=0.42 cores=1,3 /proc/24398/task/24399/stat : 24399 (java) R 24396 24398 24287 0 -1 4202560 18134 0 1 0 40 2 0 0 18 0 18 0 872010347 6596632576 22550 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 46912505516107 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=24398/tid=24400] ppid=24396 vsize=6442024 CPUtime=0 cores=1,3 /proc/24398/task/24400/stat : 24400 (java) S 24396 24398 24287 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872010348 6596632576 22551 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512507801 0 4 0 16800975 18446604461120995712 0 0 -1 1 0 0 0 [pid=24398/tid=24401] ppid=24396 vsize=6442024 CPUtime=0 cores=1,3 /proc/24398/task/24401/stat : 24401 (java) S 24396 24398 24287 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 872010348 6596632576 22553 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512507801 0 4 0 16800975 18446604461120995712 0 0 -1 1 0 0 0 [pid=24398/tid=24402] ppid=24396 vsize=6442024 CPUtime=0 cores=1,3 /proc/24398/task/24402/stat : 24402 (java) S 24396 24398 24287 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872010348 6596632576 22554 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512507801 0 4 0 16800975 18446604461120995712 0 0 -1 1 0 0 0 [pid=24398/tid=24403] ppid=24396 vsize=6442024 CPUtime=0 cores=1,3 /proc/24398/task/24403/stat : 24403 (java) S 24396 24398 24287 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872010348 6596632576 22555 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512507801 0 4 0 16800975 18446604461120995712 0 0 -1 1 0 0 0 [pid=24398/tid=24404] ppid=24396 vsize=6442024 CPUtime=0 cores=1,3 /proc/24398/task/24404/stat : 24404 (java) S 24396 24398 24287 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872010348 6596632576 22556 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512507801 0 4 0 16800975 18446604461120995712 0 0 -1 1 0 0 0 [pid=24398/tid=24405] ppid=24396 vsize=6442024 CPUtime=0 cores=1,3 /proc/24398/task/24405/stat : 24405 (java) S 24396 24398 24287 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872010348 6596632576 22557 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512507801 0 4 0 16800975 18446604461120995712 0 0 -1 1 0 0 0 [pid=24398/tid=24406] ppid=24396 vsize=6442024 CPUtime=0 cores=1,3 /proc/24398/task/24406/stat : 24406 (java) S 24396 24398 24287 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872010348 6596632576 22558 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512507801 0 4 0 16800975 18446604461120995712 0 0 -1 1 0 0 0 [pid=24398/tid=24407] ppid=24396 vsize=6442024 CPUtime=0 cores=1,3 /proc/24398/task/24407/stat : 24407 (java) S 24396 24398 24287 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872010348 6596632576 22559 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512507801 0 4 0 16800975 18446604461120995712 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 0.74 Current children cumulated vsize (KiB) 6442024 [startup+0.701185 s] /proc/loadavg: 0.00 0.00 0.00 10/953 24398 /proc/meminfo: memFree=8781208/32950928 swapFree=26914392/67111528 [pid=24398] ppid=24396 vsize=6441316 CPUtime=1.07 cores=1,3 /proc/24398/stat : 24398 (java) S 24396 24398 24287 0 -1 4202496 46949 0 1 0 103 4 0 0 25 0 18 0 872010347 6595907584 46023 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/24398/statm: 1610329 46023 2204 9 0 1601067 0 [pid=24398/tid=24399] ppid=24396 vsize=6441316 CPUtime=0.69 cores=1,3 /proc/24398/task/24399/stat : 24399 (java) R 24396 24398 24287 0 -1 4202560 41682 0 1 0 65 4 0 0 18 0 18 0 872010347 6595907584 46023 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512518603 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=24398/tid=24400] ppid=24396 vsize=6441316 CPUtime=0 cores=1,3 /proc/24398/task/24400/stat : 24400 (java) S 24396 24398 24287 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872010348 6595907584 46023 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512507801 0 4 0 16800975 18446604461120995712 0 0 -1 1 0 0 0 [pid=24398/tid=24401] ppid=24396 vsize=6441316 CPUtime=0 cores=1,3 /proc/24398/task/24401/stat : 24401 (java) S 24396 24398 24287 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 872010348 6595907584 46023 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512507801 0 4 0 16800975 18446604461120995712 0 0 -1 1 0 0 0 [pid=24398/tid=24402] ppid=24396 vsize=6441316 CPUtime=0 cores=1,3 /proc/24398/task/24402/stat : 24402 (java) S 24396 24398 24287 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872010348 6595907584 46023 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512507801 0 4 0 16800975 18446604461120995712 0 0 -1 1 0 0 0 [pid=24398/tid=24403] ppid=24396 vsize=6441316 CPUtime=0 cores=1,3 /proc/24398/task/24403/stat : 24403 (java) S 24396 24398 24287 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872010348 6595907584 46023 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512507801 0 4 0 16800975 18446604461120995712 0 0 -1 1 0 0 0 [pid=24398/tid=24404] ppid=24396 vsize=6441316 CPUtime=0 cores=1,3 /proc/24398/task/24404/stat : 24404 (java) S 24396 24398 24287 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872010348 6595907584 46036 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512507801 0 4 0 16800975 18446604461120995712 0 0 -1 1 0 0 0 [pid=24398/tid=24405] ppid=24396 vsize=6441316 CPUtime=0 cores=1,3 /proc/24398/task/24405/stat : 24405 (java) S 24396 24398 24287 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872010348 6595907584 46052 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512507801 0 4 0 16800975 18446604461120995712 0 0 -1 1 0 0 0 [pid=24398/tid=24406] ppid=24396 vsize=6441316 CPUtime=0 cores=1,3 /proc/24398/task/24406/stat : 24406 (java) S 24396 24398 24287 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872010348 6595907584 46069 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512507801 0 4 0 16800975 18446604461120995712 0 0 -1 1 0 0 0 [pid=24398/tid=24407] ppid=24396 vsize=6441316 CPUtime=0 cores=1,3 /proc/24398/task/24407/stat : 24407 (java) S 24396 24398 24287 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872010348 6595907584 46086 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512507801 0 4 0 16800975 18446604461120995712 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1.07 Current children cumulated vsize (KiB) 6441316 [startup+1.50104 s] /proc/loadavg: 0.96 0.20 0.06 7/975 24420 /proc/meminfo: memFree=8294824/32950928 swapFree=26914392/67111528 [pid=24398] ppid=24396 vsize=6442344 CPUtime=2.22 cores=1,3 /proc/24398/stat : 24398 (java) S 24396 24398 24287 0 -1 4202496 66320 0 1 0 216 6 0 0 25 0 19 0 872010347 6596960256 65393 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/24398/statm: 1610586 65393 2223 9 0 1601324 0 [pid=24398/tid=24399] ppid=24396 vsize=6442344 CPUtime=1.48 cores=1,3 /proc/24398/task/24399/stat : 24399 (java) R 24396 24398 24287 0 -1 4202560 60926 0 1 0 142 6 0 0 21 0 19 0 872010347 6596960256 65393 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 46912505706432 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=24398/tid=24400] ppid=24396 vsize=6442344 CPUtime=0 cores=1,3 /proc/24398/task/24400/stat : 24400 (java) S 24396 24398 24287 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 872010348 6596960256 65393 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512507801 0 4 0 16800975 18446604461120995712 0 0 -1 1 0 0 0 [pid=24398/tid=24401] ppid=24396 vsize=6442344 CPUtime=0 cores=1,3 /proc/24398/task/24401/stat : 24401 (java) S 24396 24398 24287 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 872010348 6596960256 65393 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512507801 0 4 0 16800975 18446604461120995712 0 0 -1 1 0 0 0 [pid=24398/tid=24402] ppid=24396 vsize=6442344 CPUtime=0 cores=1,3 /proc/24398/task/24402/stat : 24402 (java) S 24396 24398 24287 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 872010348 6596960256 65393 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512507801 0 4 0 16800975 18446604461120995712 0 0 -1 1 0 0 0 [pid=24398/tid=24403] ppid=24396 vsize=6442344 CPUtime=0 cores=1,3 /proc/24398/task/24403/stat : 24403 (java) S 24396 24398 24287 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 872010348 6596960256 65393 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512507801 0 4 0 16800975 18446604461120995712 0 0 -1 1 0 0 0 [pid=24398/tid=24404] ppid=24396 vsize=6442344 CPUtime=0 cores=1,3 /proc/24398/task/24404/stat : 24404 (java) S 24396 24398 24287 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 872010348 6596960256 65393 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512507801 0 4 0 16800975 18446604461120995712 0 0 -1 1 0 0 0 [pid=24398/tid=24405] ppid=24396 vsize=6442344 CPUtime=0 cores=1,3 /proc/24398/task/24405/stat : 24405 (java) S 24396 24398 24287 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 872010348 6596960256 65393 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512507801 0 4 0 16800975 18446604461120995712 0 0 -1 1 0 0 0 [pid=24398/tid=24406] ppid=24396 vsize=6442344 CPUtime=0 cores=1,3 /proc/24398/task/24406/stat : 24406 (java) S 24396 24398 24287 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 872010348 6596960256 65393 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512507801 0 4 0 16800975 18446604461120995712 0 0 -1 1 0 0 0 [pid=24398/tid=24407] ppid=24396 vsize=6442344 CPUtime=0 cores=1,3 /proc/24398/task/24407/stat : 24407 (java) S 24396 24398 24287 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 872010348 6596960256 65393 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512507801 0 4 0 16800975 18446604461120995712 0 0 -1 1 0 0 0 [pid=24398/tid=24409] ppid=24396 vsize=6442344 CPUtime=0 cores=1,3 /proc/24398/task/24409/stat : 24409 (java) S 24396 24398 24287 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 872010349 6596960256 65393 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512508416 0 0 0 16800975 18446604461120995712 0 0 -1 1 0 0 0 [pid=24398/tid=24410] ppid=24396 vsize=6442344 CPUtime=0 cores=1,3 /proc/24398/task/24410/stat : 24410 (java) S 24396 24398 24287 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 872010350 6596960256 65393 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512507801 0 4 0 16800975 18446604461120995712 0 0 -1 1 0 0 0 [pid=24398/tid=24411] ppid=24396 vsize=6442344 CPUtime=0 cores=1,3 /proc/24398/task/24411/stat : 24411 (java) S 24396 24398 24287 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 872010350 6596960256 65393 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512507801 0 4 0 16800975 18446604461120995712 0 0 -1 3 0 0 0 [pid=24398/tid=24412] ppid=24396 vsize=6442344 CPUtime=0 cores=1,3 /proc/24398/task/24412/stat : 24412 (java) S 24396 24398 24287 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 872010352 6596960256 65393 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512515505 0 4 0 16800975 18446604461120995712 0 0 -1 1 0 0 0 [pid=24398/tid=24413] ppid=24396 vsize=6442344 CPUtime=0.51 cores=1,3 /proc/24398/task/24413/stat : 24413 (java) S 24396 24398 24287 0 -1 4202560 2374 0 0 0 51 0 0 0 15 0 19 0 872010352 6596960256 65393 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512507801 0 4 0 16800975 18446604461120995712 0 0 -1 1 0 0 0 [pid=24398/tid=24414] ppid=24396 vsize=6442344 CPUtime=0.22 cores=1,3 /proc/24398/task/24414/stat : 24414 (java) S 24396 24398 24287 0 -1 4202560 1858 0 0 0 22 0 0 0 21 0 19 0 872010352 6596960256 65393 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512507801 0 4 0 16800975 18446604461120995712 0 0 -1 3 0 0 0 [pid=24398/tid=24415] ppid=24396 vsize=6442344 CPUtime=0 cores=1,3 /proc/24398/task/24415/stat : 24415 (java) S 24396 24398 24287 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 872010352 6596960256 65393 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512507801 0 4 0 16800975 18446604461120995712 0 0 -1 1 0 0 0 [pid=24398/tid=24416] ppid=24396 vsize=6442344 CPUtime=0 cores=1,3 /proc/24398/task/24416/stat : 24416 (java) S 24396 24398 24287 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 872010352 6596960256 65393 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512508416 0 4 0 16800975 18446604461120995712 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 2.22 Current children cumulated vsize (KiB) 6442344 [startup+3.10072 s] /proc/loadavg: 0.96 0.20 0.06 5/974 24433 /proc/meminfo: memFree=7967312/32950928 swapFree=26914392/67111528 ################ # More data... # ################ [pid=24398/tid=24402] ppid=24396 vsize=6443752 CPUtime=0.46 cores=1,3 /proc/24398/task/24402/stat : 24402 (java) S 24396 24398 24287 0 -1 4202560 35851 0 0 0 43 3 0 0 16 0 18 0 872010348 6598402048 552465 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512507801 0 4 0 16800975 18446604461120995712 0 0 -1 1 0 0 0 [pid=24398/tid=24403] ppid=24396 vsize=6443752 CPUtime=0.26 cores=1,3 /proc/24398/task/24403/stat : 24403 (java) S 24396 24398 24287 0 -1 4202560 15585 0 0 0 25 1 0 0 16 0 18 0 872010348 6598402048 552465 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512507801 0 4 0 16800975 18446604461120995712 0 0 -1 3 0 0 0 [pid=24398/tid=24404] ppid=24396 vsize=6443752 CPUtime=0.11 cores=1,3 /proc/24398/task/24404/stat : 24404 (java) S 24396 24398 24287 0 -1 4202560 512 0 0 0 11 0 0 0 16 0 18 0 872010348 6598402048 552465 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512507801 0 4 0 16800975 18446604461120995712 0 0 -1 1 0 0 0 [pid=24398/tid=24405] ppid=24396 vsize=6443752 CPUtime=0.29 cores=1,3 /proc/24398/task/24405/stat : 24405 (java) S 24396 24398 24287 0 -1 4202560 13243 0 0 0 28 1 0 0 15 0 18 0 872010348 6598402048 552465 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512507801 0 4 0 16800975 18446604461120995712 0 0 -1 3 0 0 0 [pid=24398/tid=24406] ppid=24396 vsize=6443752 CPUtime=0.4 cores=1,3 /proc/24398/task/24406/stat : 24406 (java) S 24396 24398 24287 0 -1 4202560 21746 0 0 0 38 2 0 0 15 0 18 0 872010348 6598402048 552465 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512507801 0 4 0 16800975 18446604461120995712 0 0 -1 1 0 0 0 [pid=24398/tid=24407] ppid=24396 vsize=6443752 CPUtime=0.35 cores=1,3 /proc/24398/task/24407/stat : 24407 (java) S 24396 24398 24287 0 -1 4202560 23623 0 0 0 32 3 0 0 15 0 18 0 872010348 6598402048 552465 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512507801 0 4 0 16800975 18446604461120995712 0 0 -1 3 0 0 0 [pid=24398/tid=24409] ppid=24396 vsize=6443752 CPUtime=0 cores=1,3 /proc/24398/task/24409/stat : 24409 (java) S 24396 24398 24287 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 18 0 872010349 6598402048 552465 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512508416 0 0 0 16800975 18446604461120995712 0 0 -1 3 0 0 0 [pid=24398/tid=24410] ppid=24396 vsize=6443752 CPUtime=0 cores=1,3 /proc/24398/task/24410/stat : 24410 (java) S 24396 24398 24287 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 18 0 872010350 6598402048 552465 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512507801 0 4 0 16800975 18446604461120995712 0 0 -1 1 0 0 0 [pid=24398/tid=24411] ppid=24396 vsize=6443752 CPUtime=0 cores=1,3 /proc/24398/task/24411/stat : 24411 (java) S 24396 24398 24287 0 -1 4202560 44 0 0 0 0 0 0 0 15 0 18 0 872010350 6598402048 552465 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512507801 0 4 0 16800975 18446604461120995712 0 0 -1 3 0 0 0 [pid=24398/tid=24412] ppid=24396 vsize=6443752 CPUtime=0 cores=1,3 /proc/24398/task/24412/stat : 24412 (java) S 24396 24398 24287 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872010352 6598402048 552465 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512515505 0 4 0 16800975 18446604461120995712 0 0 -1 1 0 0 0 [pid=24398/tid=24413] ppid=24396 vsize=6443752 CPUtime=0.56 cores=1,3 /proc/24398/task/24413/stat : 24413 (java) S 24396 24398 24287 0 -1 4202560 2393 0 0 0 56 0 0 0 15 0 18 0 872010352 6598402048 552465 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512507801 0 4 0 16800975 18446604461120995712 0 0 -1 1 0 0 0 [pid=24398/tid=24414] ppid=24396 vsize=6443752 CPUtime=0.5 cores=1,3 /proc/24398/task/24414/stat : 24414 (java) S 24396 24398 24287 0 -1 4202560 4800 0 0 0 50 0 0 0 15 0 18 0 872010352 6598402048 552465 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512507801 0 4 0 16800975 18446604461120995712 0 0 -1 3 0 0 0 [pid=24398/tid=24415] ppid=24396 vsize=6443752 CPUtime=0 cores=1,3 /proc/24398/task/24415/stat : 24415 (java) S 24396 24398 24287 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872010352 6598402048 552465 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512507801 0 4 0 16800975 18446604461120995712 0 0 -1 1 0 0 0 [pid=24398/tid=24416] ppid=24396 vsize=6443752 CPUtime=0 cores=1,3 /proc/24398/task/24416/stat : 24416 (java) S 24396 24398 24287 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 18 0 872010352 6598402048 552465 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512508416 0 4 0 16800975 18446604461120995712 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 120.68 Current children cumulated vsize (KiB) 6443752 [startup+121.701 s] /proc/loadavg: 4.04 1.65 0.61 7/975 616 /proc/meminfo: memFree=98872/32950928 swapFree=26914392/67111528 [pid=24398] ppid=24396 vsize=6443752 CPUtime=123.88 cores=1,3 /proc/24398/stat : 24398 (java) S 24396 24398 24287 0 -1 4202496 556500 0 1 0 12324 64 0 0 25 0 18 0 872010347 6598402048 552465 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/24398/statm: 1610938 552465 2241 9 0 1601676 0 [pid=24398/tid=24399] ppid=24396 vsize=6443752 CPUtime=120.24 cores=1,3 /proc/24398/task/24399/stat : 24399 (java) R 24396 24398 24287 0 -1 4202560 412093 0 1 0 11979 45 0 0 25 0 18 0 872010347 6598402048 552465 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 46912505706547 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=24398/tid=24400] ppid=24396 vsize=6443752 CPUtime=0.27 cores=1,3 /proc/24398/task/24400/stat : 24400 (java) S 24396 24398 24287 0 -1 4202560 15588 0 0 0 26 1 0 0 15 0 18 0 872010348 6598402048 552465 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512507801 0 4 0 16800975 18446604461120995712 0 0 -1 3 0 0 0 [pid=24398/tid=24401] ppid=24396 vsize=6443752 CPUtime=0.27 cores=1,3 /proc/24398/task/24401/stat : 24401 (java) S 24396 24398 24287 0 -1 4202560 9700 0 0 0 27 0 0 0 15 0 18 0 872010348 6598402048 552465 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512507801 0 4 0 16800975 18446604461120995712 0 0 -1 3 0 0 0 [pid=24398/tid=24402] ppid=24396 vsize=6443752 CPUtime=0.46 cores=1,3 /proc/24398/task/24402/stat : 24402 (java) S 24396 24398 24287 0 -1 4202560 35851 0 0 0 43 3 0 0 16 0 18 0 872010348 6598402048 552465 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512507801 0 4 0 16800975 18446604461120995712 0 0 -1 1 0 0 0 [pid=24398/tid=24403] ppid=24396 vsize=6443752 CPUtime=0.26 cores=1,3 /proc/24398/task/24403/stat : 24403 (java) S 24396 24398 24287 0 -1 4202560 15585 0 0 0 25 1 0 0 16 0 18 0 872010348 6598402048 552465 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512507801 0 4 0 16800975 18446604461120995712 0 0 -1 3 0 0 0 [pid=24398/tid=24404] ppid=24396 vsize=6443752 CPUtime=0.11 cores=1,3 /proc/24398/task/24404/stat : 24404 (java) S 24396 24398 24287 0 -1 4202560 512 0 0 0 11 0 0 0 16 0 18 0 872010348 6598402048 552465 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512507801 0 4 0 16800975 18446604461120995712 0 0 -1 1 0 0 0 [pid=24398/tid=24405] ppid=24396 vsize=6443752 CPUtime=0.29 cores=1,3 /proc/24398/task/24405/stat : 24405 (java) S 24396 24398 24287 0 -1 4202560 13243 0 0 0 28 1 0 0 15 0 18 0 872010348 6598402048 552465 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512507801 0 4 0 16800975 18446604461120995712 0 0 -1 3 0 0 0 [pid=24398/tid=24406] ppid=24396 vsize=6443752 CPUtime=0.4 cores=1,3 /proc/24398/task/24406/stat : 24406 (java) S 24396 24398 24287 0 -1 4202560 21746 0 0 0 38 2 0 0 15 0 18 0 872010348 6598402048 552465 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512507801 0 4 0 16800975 18446604461120995712 0 0 -1 1 0 0 0 [pid=24398/tid=24407] ppid=24396 vsize=6443752 CPUtime=0.35 cores=1,3 /proc/24398/task/24407/stat : 24407 (java) S 24396 24398 24287 0 -1 4202560 23623 0 0 0 32 3 0 0 15 0 18 0 872010348 6598402048 552465 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512507801 0 4 0 16800975 18446604461120995712 0 0 -1 3 0 0 0 [pid=24398/tid=24409] ppid=24396 vsize=6443752 CPUtime=0 cores=1,3 /proc/24398/task/24409/stat : 24409 (java) S 24396 24398 24287 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 18 0 872010349 6598402048 552465 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512508416 0 0 0 16800975 18446604461120995712 0 0 -1 3 0 0 0 [pid=24398/tid=24410] ppid=24396 vsize=6443752 CPUtime=0 cores=1,3 /proc/24398/task/24410/stat : 24410 (java) S 24396 24398 24287 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 18 0 872010350 6598402048 552465 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512507801 0 4 0 16800975 18446604461120995712 0 0 -1 1 0 0 0 [pid=24398/tid=24411] ppid=24396 vsize=6443752 CPUtime=0 cores=1,3 /proc/24398/task/24411/stat : 24411 (java) S 24396 24398 24287 0 -1 4202560 44 0 0 0 0 0 0 0 15 0 18 0 872010350 6598402048 552465 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512507801 0 4 0 16800975 18446604461120995712 0 0 -1 3 0 0 0 [pid=24398/tid=24412] ppid=24396 vsize=6443752 CPUtime=0 cores=1,3 /proc/24398/task/24412/stat : 24412 (java) S 24396 24398 24287 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872010352 6598402048 552465 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512515505 0 4 0 16800975 18446604461120995712 0 0 -1 1 0 0 0 [pid=24398/tid=24413] ppid=24396 vsize=6443752 CPUtime=0.56 cores=1,3 /proc/24398/task/24413/stat : 24413 (java) S 24396 24398 24287 0 -1 4202560 2393 0 0 0 56 0 0 0 15 0 18 0 872010352 6598402048 552465 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512507801 0 4 0 16800975 18446604461120995712 0 0 -1 1 0 0 0 [pid=24398/tid=24414] ppid=24396 vsize=6443752 CPUtime=0.5 cores=1,3 /proc/24398/task/24414/stat : 24414 (java) S 24396 24398 24287 0 -1 4202560 4800 0 0 0 50 0 0 0 15 0 18 0 872010352 6598402048 552465 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512507801 0 4 0 16800975 18446604461120995712 0 0 -1 3 0 0 0 [pid=24398/tid=24415] ppid=24396 vsize=6443752 CPUtime=0 cores=1,3 /proc/24398/task/24415/stat : 24415 (java) S 24396 24398 24287 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872010352 6598402048 552465 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512507801 0 4 0 16800975 18446604461120995712 0 0 -1 1 0 0 0 [pid=24398/tid=24416] ppid=24396 vsize=6443752 CPUtime=0 cores=1,3 /proc/24398/task/24416/stat : 24416 (java) S 24396 24398 24287 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 18 0 872010352 6598402048 552465 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512508416 0 4 0 16800975 18446604461120995712 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 123.88 Current children cumulated vsize (KiB) 6443752 [startup+123.301 s] /proc/loadavg: 4.04 1.65 0.61 5/974 818 /proc/meminfo: memFree=95272/32950928 swapFree=26914392/67111528 [pid=24398] ppid=24396 vsize=6446652 CPUtime=125.66 cores=1,3 /proc/24398/stat : 24398 (java) S 24396 24398 24287 0 -1 4202496 557738 0 1 0 12502 64 0 0 25 0 18 0 872010347 6601371648 553219 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/24398/statm: 1611663 553219 2241 9 0 1602401 0 [pid=24398/tid=24399] ppid=24396 vsize=6446652 CPUtime=121.83 cores=1,3 /proc/24398/task/24399/stat : 24399 (java) R 24396 24398 24287 0 -1 4202560 412097 0 1 0 12138 45 0 0 25 0 18 0 872010347 6601371648 553219 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 46912505528959 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=24398/tid=24400] ppid=24396 vsize=6446652 CPUtime=0.27 cores=1,3 /proc/24398/task/24400/stat : 24400 (java) S 24396 24398 24287 0 -1 4202560 15588 0 0 0 26 1 0 0 15 0 18 0 872010348 6601371648 553219 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512507801 0 4 0 16800975 18446604461120995712 0 0 -1 3 0 0 0 [pid=24398/tid=24401] ppid=24396 vsize=6446652 CPUtime=0.27 cores=1,3 /proc/24398/task/24401/stat : 24401 (java) S 24396 24398 24287 0 -1 4202560 9700 0 0 0 27 0 0 0 15 0 18 0 872010348 6601371648 553219 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512507801 0 4 0 16800975 18446604461120995712 0 0 -1 3 0 0 0 [pid=24398/tid=24402] ppid=24396 vsize=6446652 CPUtime=0.46 cores=1,3 /proc/24398/task/24402/stat : 24402 (java) S 24396 24398 24287 0 -1 4202560 35851 0 0 0 43 3 0 0 16 0 18 0 872010348 6601371648 553219 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512507801 0 4 0 16800975 18446604461120995712 0 0 -1 1 0 0 0 [pid=24398/tid=24403] ppid=24396 vsize=6446652 CPUtime=0.26 cores=1,3 /proc/24398/task/24403/stat : 24403 (java) S 24396 24398 24287 0 -1 4202560 15585 0 0 0 25 1 0 0 16 0 18 0 872010348 6601371648 553219 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512507801 0 4 0 16800975 18446604461120995712 0 0 -1 3 0 0 0 [pid=24398/tid=24404] ppid=24396 vsize=6446652 CPUtime=0.11 cores=1,3 /proc/24398/task/24404/stat : 24404 (java) S 24396 24398 24287 0 -1 4202560 512 0 0 0 11 0 0 0 16 0 18 0 872010348 6601371648 553219 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512507801 0 4 0 16800975 18446604461120995712 0 0 -1 1 0 0 0 [pid=24398/tid=24405] ppid=24396 vsize=6446652 CPUtime=0.29 cores=1,3 /proc/24398/task/24405/stat : 24405 (java) S 24396 24398 24287 0 -1 4202560 13243 0 0 0 28 1 0 0 15 0 18 0 872010348 6601371648 553219 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512507801 0 4 0 16800975 18446604461120995712 0 0 -1 3 0 0 0 [pid=24398/tid=24406] ppid=24396 vsize=6446652 CPUtime=0.4 cores=1,3 /proc/24398/task/24406/stat : 24406 (java) S 24396 24398 24287 0 -1 4202560 21746 0 0 0 38 2 0 0 15 0 18 0 872010348 6601371648 553219 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512507801 0 4 0 16800975 18446604461120995712 0 0 -1 1 0 0 0 [pid=24398/tid=24407] ppid=24396 vsize=6446652 CPUtime=0.35 cores=1,3 /proc/24398/task/24407/stat : 24407 (java) S 24396 24398 24287 0 -1 4202560 23623 0 0 0 32 3 0 0 15 0 18 0 872010348 6601371648 553219 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512507801 0 4 0 16800975 18446604461120995712 0 0 -1 3 0 0 0 [pid=24398/tid=24409] ppid=24396 vsize=6446652 CPUtime=0 cores=1,3 /proc/24398/task/24409/stat : 24409 (java) R 24396 24398 24287 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 18 0 872010349 6601371648 553219 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512508416 0 0 0 16800975 0 0 0 -1 3 0 0 0 [pid=24398/tid=24410] ppid=24396 vsize=6446652 CPUtime=0 cores=1,3 /proc/24398/task/24410/stat : 24410 (java) S 24396 24398 24287 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 18 0 872010350 6601371648 553219 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512507801 0 4 0 16800975 18446604461120995712 0 0 -1 1 0 0 0 [pid=24398/tid=24411] ppid=24396 vsize=6446652 CPUtime=0 cores=1,3 /proc/24398/task/24411/stat : 24411 (java) S 24396 24398 24287 0 -1 4202560 44 0 0 0 0 0 0 0 15 0 18 0 872010350 6601371648 553219 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512507801 0 4 0 16800975 18446604461120995712 0 0 -1 3 0 0 0 [pid=24398/tid=24412] ppid=24396 vsize=6446652 CPUtime=0 cores=1,3 /proc/24398/task/24412/stat : 24412 (java) S 24396 24398 24287 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872010352 6601371648 553219 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512515505 0 4 0 16800975 18446604461120995712 0 0 -1 1 0 0 0 [pid=24398/tid=24413] ppid=24396 vsize=6446652 CPUtime=0.73 cores=1,3 /proc/24398/task/24413/stat : 24413 (java) S 24396 24398 24287 0 -1 4202560 3627 0 0 0 73 0 0 0 15 0 18 0 872010352 6601371648 553219 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512507801 0 4 0 16800975 18446604461120995712 0 0 -1 1 0 0 0 [pid=24398/tid=24414] ppid=24396 vsize=6446652 CPUtime=0.51 cores=1,3 /proc/24398/task/24414/stat : 24414 (java) S 24396 24398 24287 0 -1 4202560 4800 0 0 0 51 0 0 0 16 0 18 0 872010352 6601371648 553219 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512507801 0 4 0 16800975 18446604461120995712 0 0 -1 3 0 0 0 [pid=24398/tid=24415] ppid=24396 vsize=6446652 CPUtime=0 cores=1,3 /proc/24398/task/24415/stat : 24415 (java) S 24396 24398 24287 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872010352 6601371648 553219 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512507801 0 4 0 16800975 18446604461120995712 0 0 -1 1 0 0 0 [pid=24398/tid=24416] ppid=24396 vsize=6446652 CPUtime=0 cores=1,3 /proc/24398/task/24416/stat : 24416 (java) R 24396 24398 24287 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 18 0 872010352 6601371648 553219 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512508416 0 4 0 16800975 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 125.66 Current children cumulated vsize (KiB) 6446652 [startup+123.702 s] /proc/loadavg: 4.04 1.65 0.61 5/974 818 /proc/meminfo: memFree=95272/32950928 swapFree=26914392/67111528 [pid=24398] ppid=24396 vsize=6446652 CPUtime=126.04 cores=1,3 /proc/24398/stat : 24398 (java) S 24396 24398 24287 0 -1 4202496 557738 0 1 0 12540 64 0 0 25 0 18 0 872010347 6601371648 553219 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/24398/statm: 1611663 553219 2241 9 0 1602401 0 [pid=24398/tid=24399] ppid=24396 vsize=6446652 CPUtime=122.21 cores=1,3 /proc/24398/task/24399/stat : 24399 (java) R 24396 24398 24287 0 -1 4202560 412097 0 1 0 12176 45 0 0 25 0 18 0 872010347 6601371648 553219 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 46912505528972 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=24398/tid=24400] ppid=24396 vsize=6446652 CPUtime=0.27 cores=1,3 /proc/24398/task/24400/stat : 24400 (java) S 24396 24398 24287 0 -1 4202560 15588 0 0 0 26 1 0 0 15 0 18 0 872010348 6601371648 553219 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512507801 0 4 0 16800975 18446604461120995712 0 0 -1 3 0 0 0 [pid=24398/tid=24401] ppid=24396 vsize=6446652 CPUtime=0.27 cores=1,3 /proc/24398/task/24401/stat : 24401 (java) S 24396 24398 24287 0 -1 4202560 9700 0 0 0 27 0 0 0 15 0 18 0 872010348 6601371648 553219 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512507801 0 4 0 16800975 18446604461120995712 0 0 -1 3 0 0 0 [pid=24398/tid=24402] ppid=24396 vsize=6446652 CPUtime=0.46 cores=1,3 /proc/24398/task/24402/stat : 24402 (java) S 24396 24398 24287 0 -1 4202560 35851 0 0 0 43 3 0 0 16 0 18 0 872010348 6601371648 553219 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512507801 0 4 0 16800975 18446604461120995712 0 0 -1 1 0 0 0 [pid=24398/tid=24403] ppid=24396 vsize=6446652 CPUtime=0.26 cores=1,3 /proc/24398/task/24403/stat : 24403 (java) S 24396 24398 24287 0 -1 4202560 15585 0 0 0 25 1 0 0 16 0 18 0 872010348 6601371648 553219 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512507801 0 4 0 16800975 18446604461120995712 0 0 -1 3 0 0 0 [pid=24398/tid=24404] ppid=24396 vsize=6446652 CPUtime=0.11 cores=1,3 /proc/24398/task/24404/stat : 24404 (java) S 24396 24398 24287 0 -1 4202560 512 0 0 0 11 0 0 0 16 0 18 0 872010348 6601371648 553219 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512507801 0 4 0 16800975 18446604461120995712 0 0 -1 1 0 0 0 [pid=24398/tid=24405] ppid=24396 vsize=6446652 CPUtime=0.29 cores=1,3 /proc/24398/task/24405/stat : 24405 (java) S 24396 24398 24287 0 -1 4202560 13243 0 0 0 28 1 0 0 15 0 18 0 872010348 6601371648 553219 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512507801 0 4 0 16800975 18446604461120995712 0 0 -1 3 0 0 0 [pid=24398/tid=24406] ppid=24396 vsize=6446652 CPUtime=0.4 cores=1,3 /proc/24398/task/24406/stat : 24406 (java) S 24396 24398 24287 0 -1 4202560 21746 0 0 0 38 2 0 0 15 0 18 0 872010348 6601371648 553219 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512507801 0 4 0 16800975 18446604461120995712 0 0 -1 1 0 0 0 [pid=24398/tid=24407] ppid=24396 vsize=6446652 CPUtime=0.35 cores=1,3 /proc/24398/task/24407/stat : 24407 (java) S 24396 24398 24287 0 -1 4202560 23623 0 0 0 32 3 0 0 15 0 18 0 872010348 6601371648 553219 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512507801 0 4 0 16800975 18446604461120995712 0 0 -1 3 0 0 0 [pid=24398/tid=24409] ppid=24396 vsize=6446652 CPUtime=0 cores=1,3 /proc/24398/task/24409/stat : 24409 (java) S 24396 24398 24287 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 18 0 872010349 6601371648 553219 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512508416 0 0 0 16800975 18446604461120995712 0 0 -1 3 0 0 0 [pid=24398/tid=24410] ppid=24396 vsize=6446652 CPUtime=0 cores=1,3 /proc/24398/task/24410/stat : 24410 (java) S 24396 24398 24287 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 18 0 872010350 6601371648 553219 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512507801 0 4 0 16800975 18446604461120995712 0 0 -1 1 0 0 0 [pid=24398/tid=24411] ppid=24396 vsize=6446652 CPUtime=0 cores=1,3 /proc/24398/task/24411/stat : 24411 (java) S 24396 24398 24287 0 -1 4202560 44 0 0 0 0 0 0 0 15 0 18 0 872010350 6601371648 553219 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512507801 0 4 0 16800975 18446604461120995712 0 0 -1 3 0 0 0 [pid=24398/tid=24412] ppid=24396 vsize=6446652 CPUtime=0 cores=1,3 /proc/24398/task/24412/stat : 24412 (java) S 24396 24398 24287 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872010352 6601371648 553219 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512515505 0 4 0 16800975 18446604461120995712 0 0 -1 1 0 0 0 [pid=24398/tid=24413] ppid=24396 vsize=6446652 CPUtime=0.73 cores=1,3 /proc/24398/task/24413/stat : 24413 (java) S 24396 24398 24287 0 -1 4202560 3627 0 0 0 73 0 0 0 15 0 18 0 872010352 6601371648 553219 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512507801 0 4 0 16800975 18446604461120995712 0 0 -1 1 0 0 0 [pid=24398/tid=24414] ppid=24396 vsize=6446652 CPUtime=0.51 cores=1,3 /proc/24398/task/24414/stat : 24414 (java) S 24396 24398 24287 0 -1 4202560 4800 0 0 0 51 0 0 0 16 0 18 0 872010352 6601371648 553219 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512507801 0 4 0 16800975 18446604461120995712 0 0 -1 3 0 0 0 [pid=24398/tid=24415] ppid=24396 vsize=6446652 CPUtime=0 cores=1,3 /proc/24398/task/24415/stat : 24415 (java) S 24396 24398 24287 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872010352 6601371648 553219 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512507801 0 4 0 16800975 18446604461120995712 0 0 -1 1 0 0 0 [pid=24398/tid=24416] ppid=24396 vsize=6446652 CPUtime=0 cores=1,3 /proc/24398/task/24416/stat : 24416 (java) S 24396 24398 24287 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 18 0 872010352 6601371648 553219 33554432000 1073741824 1073778376 140733370025216 18446744073709551615 254512508416 0 4 0 16800975 18446604461120995712 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 126.04 Current children cumulated vsize (KiB) 6446652 [startup+124.102 s] /proc/loadavg: 4.04 1.65 0.61 5/974 818 /proc/meminfo: memFree=95272/32950928 swapFree=26914392/67111528 [pid=24398] ppid=24396 vsize=0 CPUtime=126.44 cores=1,3 /proc/24398/stat : 24398 (java) Z 24396 24398 24287 0 -1 4203548 557749 0 1 0 12573 71 0 0 18 0 2 0 872010347 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/24398/statm: 0 0 0 0 0 0 0 [pid=24398/tid=24399] ppid=24396 vsize=0 CPUtime=122.61 cores=1,3 /proc/24398/task/24399/stat : 24399 (java) R 24396 24398 24287 0 -1 4203588 412100 0 1 0 12210 51 0 0 18 0 2 0 872010347 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 126.44 Current children cumulated vsize (KiB) 0 Child status: 20 Real time (s): 124.107 CPU time (s): 126.456 CPU user time (s): 125.737 CPU system time (s): 0.71889 CPU usage (%): 101.893 Max. virtual memory (cumulated for all children) (KiB): 6446652 getrusage(RUSAGE_CHILDREN,...) data: user time used= 125.737 system time used= 0.71889 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 557749 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= 7515 involuntary context switches= 6491 runsolver used 0.749886 second user time and 1.88971 second system time The end
Begin job on node149 at 2011-06-09 09:22:17 IDJOB=3482935 IDBENCH=20510 IDSOLVER=1972 FILE ID=node149/3482935-1307604136 RUNJOBID= node149-1307604136-24307 PBS_JOBID= 13547740 Free space on /tmp= 73204 MiB SOLVER NAME= SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 BENCH NAME= SAT07/industrial/babic/xinetd/xinetd_vc56687.cnf COMMAND LINE= java -Xms6000m -Xmx6000m -jar sat4j-mus-v20110206.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3482935-1307604136/watcher-3482935-1307604136 -o /tmp/evaluation-result-3482935-1307604136/solver-3482935-1307604136 -C 1800 -W 1850 -M 7680 java -Xms6000m -Xmx6000m -jar sat4j-mus-v20110206.jar HOME/instance-3482935-1307604136.cnf TIME LIMIT= 1800 seconds MEMORY LIMIT= 7680 MiB NBCORE= 2 MD5SUM BENCH= 8ee40e47d0f78a39fcf5c18ad73a5bdd RANDOM SEED=1231571838 node149.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.806 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.61 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.806 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.806 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.83 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.806 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.73 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 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.82 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.806 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 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.82 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.806 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 8781612 kB Buffers: 197116 kB Cached: 1068988 kB SwapCached: 27136 kB Active: 23403748 kB Inactive: 382216 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 8781612 kB SwapTotal: 67111528 kB SwapFree: 26914392 kB Dirty: 12452 kB Writeback: 0 kB AnonPages: 22517216 kB Mapped: 114596 kB Slab: 137872 kB PageTables: 168312 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 222287200 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= 73204 MiB End job on node149 at 2011-06-09 09:24:21