| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 | UNSAT | 118.514 | 116.23 |
| Name | industrial/babic/xinetd/ xinetd_vc56703.cnf |
| MD5SUM | 09053ffc48c8fbc3352a0ce4d89c2bbb |
| Bench Category | APPLICATION (applications instances) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 1.00185 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 110923 |
| Number of clauses | 286428 |
| Sum of the clauses size | 694958 |
| Maximum clause length | 3 |
| Minimum clause length | 1 |
| Number of clauses of size 1 | 13085 |
| Number of clauses of size 2 | 138156 |
| Number of clauses of size 3 | 135187 |
| Number of clauses of size 4 | 0 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 0 |
0.03/0.06 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.03/0.06 c This is free software under the dual EPL/GNU LGPL licenses. 0.03/0.06 c See www.sat4j.org for details. 0.03/0.07 c version 2.3.0.v20110206 0.03/0.07 c java.runtime.name Java(TM) SE Runtime Environment 0.03/0.07 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.03/0.07 c java.vm.version 19.1-b02 0.03/0.07 c java.vm.vendor Sun Microsystems Inc. 0.03/0.07 c sun.arch.data.model 64 0.03/0.07 c java.version 1.6.0_24 0.03/0.07 c os.name Linux 0.03/0.07 c os.version 2.6.18-164.el5 0.03/0.07 c os.arch amd64 0.03/0.07 c Free memory 5997854704 0.03/0.07 c Max memory 6029312000 0.03/0.07 c Total memory 6029312000 0.03/0.07 c Number of processors 8 0.03/0.09 c Explanation (MUS) enabled solver 0.03/0.09 c QuickXplain (AAAI 2004 version) minimization strategy 0.03/0.09 c --- Begin Solver configuration --- 0.03/0.09 c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@aa470b8 0.03/0.09 c Learn all clauses as in MiniSAT 0.03/0.09 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 0.03/0.09 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT 0.03/0.09 c Expensive reason simplification 0.03/0.09 c Armin Biere (Picosat) restarts strategy 0.03/0.09 c Glucose learned constraints deletion strategy 0.03/0.09 c timeout=2147483647s 0.03/0.09 c DB Simplification allowed=true 0.03/0.09 c --- End Solver configuration --- 0.03/0.09 c solving HOME/instance-3493592-1307800922.cnf 0.03/0.09 c reading problem ... 0.67/0.51 c ... done. Wall clock time 0.423s. 0.67/0.51 c #vars 397351 0.67/0.51 c #constraints 286428 0.67/0.51 c constraints type 0.67/0.51 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 273343 0.67/0.51 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 13085 1.19/0.85 c Unsat detection wall clock time (in seconds) : 0.758 1.19/0.85 c Size of initial unsat subformula: 582 1.19/0.85 c Computing MUS ... 1.19/0.85 c initial unsat core -110922[?] 397350[?] 110923[?] -110921[?] 397347[?] 110922[?] 110726[?] 110921[?] 397343[?] 110725[?] -110726[?] 396923[?] 110724[?] -110725[?] 396920[?] 110723[?] -110724[?] 396917[?] 110722[?] -110723[?] 396914[?] 110721[?] -110722[?] 396912[?] 110720[?] -110721[?] 396909[?] 110013[?] -110720[?] 396906[?] 109948[?] -110013[?] 394728[?] 109947[?] -110013[?] 394727[?] 110012[?] -109948[?] 394724[?] 110011[?] -110012[?] 394722[?] 110010[?] -110011[?] 394719[?] 110009[?] -110010[?] 394716[?] 110008[?] -110009[?] 394713[?] 110007[?] -110008[?] 394710[?] 110006[?] -110007[?] 394707[?] 110005[?] -110006[?] 394704[?] 110004[?] -110005[?] 394701[?] 110003[?] -110004[?] 394698[?] 110002[?] -110003[?] 394695[?] 110001[?] -110002[?] 394692[?] 110000[?] -110001[?] 394689[?] 109999[?] -110000[?] 394686[?] 109998[?] -109999[?] 394683[?] 109997[?] -109998[?] 394680[?] 109996[?] -109997[?] 394677[?] 109995[?] -109996[?] 394674[?] 109994[?] -109995[?] 394671[?] 109993[?] -109994[?] 394668[?] 109992[?] -109993[?] 394665[?] 109991[?] -109992[?] 394662[?] 109990[?] -109991[?] 394659[?] 109989[?] -109990[?] 394656[?] 109988[?] -109989[?] 394653[?] 109987[?] -109988[?] 394650[?] 109986[?] -109987[?] 394647[?] 109985[?] -109986[?] 394644[?] 109984[?] -109985[?] 394641[?] 109983[?] -109984[?] 394638[?] 109982[?] -109983[?] 394635[?] 109981[?] -109982[?] 394632[?] 109949[?] -109981[?] 394630[?] -101796[?] -109949[?] 394566[?] 109946[?] -109947[?] 394563[?] 109817[?] -109946[?] 394561[?] 109945[?] -109817[?] 394557[?] 109944[?] -109945[?] 394555[?] 109943[?] -109944[?] 394552[?] 109942[?] -109943[?] 394549[?] 109941[?] -109942[?] 394546[?] 109940[?] -109941[?] 394543[?] 109939[?] -109940[?] 394540[?] 109938[?] -109939[?] 394537[?] 109937[?] -109938[?] 394534[?] 109936[?] -109937[?] 394531[?] 109935[?] -109936[?] 394528[?] 109934[?] -109935[?] 394525[?] 109933[?] -109934[?] 394522[?] 109932[?] -109933[?] 394519[?] 109931[?] -109932[?] 394516[?] 109930[?] -109931[?] 394513[?] 109929[?] -109930[?] 394510[?] 109928[?] -109929[?] 394507[?] 109927[?] -109928[?] 394504[?] 109926[?] -109927[?] 394501[?] 109925[?] -109926[?] 394498[?] 109924[?] -109925[?] 394495[?] 109923[?] -109924[?] 394492[?] 109922[?] -109923[?] 394489[?] 109921[?] -109922[?] 394486[?] 109920[?] -109921[?] 394483[?] 109919[?] -109920[?] 394480[?] 109918[?] -109919[?] 394477[?] 109917[?] -109918[?] 394474[?] 109916[?] -109917[?] 394471[?] 109915[?] -109916[?] 394468[?] 109914[?] -109915[?] 394465[?] 109913[?] -109914[?] 394462[?] 109912[?] -109913[?] 394459[?] 109911[?] -109912[?] 394456[?] 109910[?] -109911[?] 394453[?] 109909[?] -109910[?] 394450[?] 109908[?] -109909[?] 394447[?] 109907[?] -109908[?] 394444[?] 109906[?] -109907[?] 394441[?] 109905[?] -109906[?] 394438[?] 109904[?] -109905[?] 394435[?] 109903[?] -109904[?] 394432[?] 109902[?] -109903[?] 394429[?] 109901[?] -109902[?] 394426[?] 109900[?] -109901[?] 394423[?] 109899[?] -109900[?] 394420[?] 109898[?] -109899[?] 394417[?] 109897[?] -109898[?] 394414[?] 109896[?] -109897[?] 394411[?] 109895[?] -109896[?] 394408[?] 109894[?] -109895[?] 394405[?] 109893[?] -109894[?] 394402[?] 109892[?] -109893[?] 394399[?] 109891[?] -109892[?] 394396[?] 109890[?] -109891[?] 394393[?] 109889[?] -109890[?] 394390[?] 109888[?] -109889[?] 394387[?] 109887[?] -109888[?] 394384[?] 109886[?] -109887[?] 394381[?] 109885[?] -109886[?] 394378[?] 109884[?] -109885[?] 394375[?] 109883[?] -109884[?] 394372[?] 109819[?] -109883[?] 394370[?] 109882[?] -109883[?] 394369[?] 109818[?] -109882[?] 394367[?] -105146[?] -109819[?] 394241[?] -105145[?] -109818[?] 394239[?] -102069[?] -104762[?] 105146[?] 380368[?] -104825[?] 102069[?] 105145[?] 380366[?] 104825[?] -104889[?] 379669[?] 104889[?] 104761[?] 379662[?] 104762[?] -103111[?] -76406[?] 379410[?] -104761[?] 103110[?] -76406[?] 379407[?] 103111[?] -102599[?] -76599[?] 374084[?] -103110[?] 102598[?] -76599[?] 374081[?] 102599[?] -102151[?] -76792[?] 372484[?] -102598[?] 102150[?] -76792[?] 372481[?] 102151[?] -102119[?] 371075[?] -102150[?] 102118[?] 371072[?] 102119[?] 76985[?] -102087[?] 370980[?] -102118[?] 76985[?] 102086[?] 370978[?] 102087[?] 83523[?] 370885[?] -102086[?] 83523[?] 370882[?] -101764[?] 75846[?] 101796[?] 370007[?] -75846[?] 101796[?] 370006[?] 3768[?] 101764[?] 369912[?] -101732[?] -3768[?] 101764[?] 369910[?] 75896[?] 101732[?] 369816[?] -83523[?] 83587[?] 324078[?] -83587[?] 83586[?] 324076[?] -83586[?] 83585[?] 324073[?] -83585[?] 83584[?] 324070[?] -83584[?] 83583[?] 324067[?] -83583[?] 83582[?] 324064[?] -83582[?] 83581[?] 324061[?] -83581[?] 83580[?] 324058[?] -83580[?] 83579[?] 324055[?] -83579[?] 83578[?] 324052[?] -83578[?] 83577[?] 324049[?] -83577[?] 83576[?] 324046[?] -83576[?] 83575[?] 324043[?] -83575[?] 83574[?] 324040[?] -83574[?] 83573[?] 324037[?] -83573[?] 83572[?] 324034[?] -83572[?] 83571[?] 324031[?] -83571[?] 83570[?] 324028[?] -83570[?] 83569[?] 324025[?] -83569[?] 83568[?] 324022[?] -83568[?] 83567[?] 324019[?] -83567[?] 83566[?] 324016[?] -83566[?] 83565[?] 324013[?] -83565[?] 83564[?] 324010[?] -83564[?] 83563[?] 324007[?] -83563[?] 83562[?] 324004[?] -83562[?] 83561[?] 324001[?] -83561[?] 83560[?] 323998[?] -83560[?] 83559[?] 323995[?] -83559[?] 83527[?] 323993[?] -83527[?] -76377[?] 323926[?] -76985[?] -77177[?] 309394[?] 77177[?] -77175[?] 309387[?] 77175[?] -77173[?] -77174[?] 309383[?] 77174[?] 76405[?] 309379[?] 77173[?] -77171[?] 309373[?] 77171[?] -77169[?] -77170[?] 309369[?] 77170[?] 76404[?] 309365[?] 77169[?] -77167[?] 309359[?] 77167[?] -77165[?] -77166[?] 309355[?] 77166[?] 76403[?] 309351[?] 77165[?] -77163[?] 309345[?] 77163[?] -77161[?] -77162[?] 309341[?] 77162[?] 76402[?] 309337[?] 77161[?] -77159[?] 309331[?] 77159[?] -77157[?] -77158[?] 309327[?] 77158[?] 76401[?] 309323[?] 77157[?] -77155[?] 309317[?] 77155[?] -77153[?] -77154[?] 309313[?] 77154[?] 76400[?] 309309[?] 77153[?] -77151[?] 309303[?] 77151[?] -77149[?] -77150[?] 309299[?] 77150[?] 76399[?] 309295[?] 77149[?] -77147[?] 309289[?] 77147[?] -77145[?] -77146[?] 309285[?] 77146[?] 76398[?] 309281[?] 77145[?] -77143[?] 309275[?] 77143[?] -77141[?] -77142[?] 309271[?] 77142[?] 76397[?] 309267[?] 77141[?] -77139[?] 309261[?] 77139[?] -77137[?] -77138[?] 309257[?] 77138[?] 76396[?] 309253[?] 77137[?] -77135[?] 309247[?] 77135[?] -77133[?] -77134[?] 309243[?] 77134[?] 76395[?] 309239[?] 77133[?] -77131[?] 309233[?] 77131[?] -77129[?] -77130[?] 309229[?] 77130[?] 76394[?] 309225[?] 77129[?] -77127[?] 309219[?] 77127[?] -77125[?] -77126[?] 309215[?] 77126[?] 76393[?] 309211[?] 77125[?] -77123[?] 309205[?] 77123[?] -77121[?] -77122[?] 309201[?] 77122[?] 76392[?] 309197[?] 77121[?] -77119[?] 309191[?] 77119[?] -77117[?] -77118[?] 309187[?] 77118[?] 76391[?] 309183[?] 77117[?] -77115[?] 309177[?] 77115[?] -77113[?] -77114[?] 309173[?] 77114[?] 76390[?] 309169[?] 77113[?] -77111[?] 309163[?] 77111[?] -77109[?] -77110[?] 309159[?] 77110[?] 76389[?] 309155[?] 77109[?] -77107[?] 309149[?] 77107[?] -77105[?] -77106[?] 309145[?] 77106[?] 76388[?] 309141[?] 77105[?] -77103[?] 309135[?] 77103[?] -77101[?] -77102[?] 309131[?] 77102[?] 76387[?] 309127[?] 77101[?] -77099[?] 309121[?] 77099[?] -77097[?] -77098[?] 309117[?] 77098[?] 76386[?] 309113[?] 77097[?] -77095[?] 309107[?] 77095[?] -77093[?] -77094[?] 309103[?] 77094[?] 76385[?] 309099[?] 77093[?] -77091[?] 309093[?] 77091[?] -77089[?] -77090[?] 309089[?] 77090[?] 76384[?] 309085[?] 77089[?] -77087[?] 309079[?] 77087[?] -77085[?] -77086[?] 309075[?] 77086[?] 76383[?] 309071[?] 77085[?] -77083[?] 309065[?] 77083[?] -77081[?] -77082[?] 309061[?] 77082[?] 76382[?] 309057[?] 77081[?] -77079[?] 309051[?] 77079[?] -77077[?] -77078[?] 309047[?] 77078[?] 76381[?] 309043[?] 77077[?] -77075[?] 309037[?] 77075[?] -77073[?] -77074[?] 309033[?] 77074[?] 76380[?] 309029[?] 77073[?] -77071[?] 309024[?] 77071[?] -77069[?] -77070[?] 309020[?] 77070[?] -76379[?] 309017[?] 77069[?] -77067[?] 309011[?] 77067[?] -77065[?] -77066[?] 309007[?] 77066[?] 76378[?] 309003[?] 77065[?] -77064[?] 308998[?] 77064[?] -76377[?] 308991[?] 76792[?] 76984[?] 308952[?] -76984[?] 76982[?] 76983[?] 308945[?] -76982[?] 76980[?] 308944[?] -76983[?] 76405[?] 308941[?] -76980[?] 76978[?] 76979[?] 308931[?] -76978[?] 76976[?] 308930[?] -76979[?] 76404[?] 308927[?] -76976[?] 76974[?] 76975[?] 308917[?] -76974[?] 76972[?] 308916[?] -76975[?] 76403[?] 308913[?] -76972[?] 76970[?] 76971[?] 308903[?] -76970[?] 76968[?] 308902[?] -76971[?] 76402[?] 308899[?] -76968[?] 76966[?] 76967[?] 308889[?] -76966[?] 76964[?] 308888[?] -76967[?] 76401[?] 308885[?] -76964[?] 76962[?] 76963[?] 308875[?] -76962[?] 76960[?] 308874[?] -76963[?] 76400[?] 308871[?] -76960[?] 76958[?] 76959[?] 308861[?] -76958[?] 76956[?] 308860[?] -76959[?] 76399[?] 308857[?] -76956[?] 76954[?] 76955[?] 308847[?] -76954[?] 76952[?] 308846[?] -76955[?] 76398[?] 308843[?] -76952[?] 76950[?] 76951[?] 308833[?] -76950[?] 76948[?] 308832[?] -76951[?] 76397[?] 308829[?] -76948[?] 76946[?] 76947[?] 308819[?] -76946[?] 76944[?] 308818[?] -76947[?] 76396[?] 308815[?] -76944[?] 76942[?] 76943[?] 308805[?] -76942[?] 76940[?] 308804[?] -76943[?] 76395[?] 308801[?] -76940[?] 76938[?] 76939[?] 308791[?] -76938[?] 76936[?] 308790[?] -76939[?] 76394[?] 308787[?] -76936[?] 76934[?] 76935[?] 308777[?] -76934[?] 76932[?] 308776[?] -76935[?] 76393[?] 308773[?] -76932[?] 76930[?] 76931[?] 308763[?] -76930[?] 76928[?] 308762[?] -76931[?] 76392[?] 308759[?] -76928[?] 76926[?] 76927[?] 308749[?] -76926[?] 76924[?] 308748[?] -76927[?] 76391[?] 308745[?] -76924[?] 76922[?] 76923[?] 308735[?] -76922[?] 76920[?] 308734[?] -76923[?] 76390[?] 308731[?] -76920[?] 76918[?] 76919[?] 308721[?] -76918[?] 76916[?] 308720[?] -76919[?] 76389[?] 308717[?] -76916[?] 76914[?] 76915[?] 308707[?] -76914[?] 76912[?] 308706[?] -76915[?] 76388[?] 308703[?] -76912[?] 76910[?] 76911[?] 308693[?] -76910[?] 76908[?] 308692[?] -76911[?] 76387[?] 308689[?] -76908[?] 76906[?] 76907[?] 308679[?] -76906[?] 76904[?] 308678[?] -76907[?] 76386[?] 308675[?] -76904[?] 76902[?] 76903[?] 308665[?] -76902[?] 76900[?] 308664[?] -76903[?] 76385[?] 308661[?] -76900[?] 76898[?] 76899[?] 308651[?] -76898[?] 76896[?] 308650[?] -76899[?] 76384[?] 308647[?] -76896[?] 76894[?] 76895[?] 308637[?] -76894[?] 76892[?] 308636[?] -76895[?] 76383[?] 308633[?] -76892[?] 76890[?] 76891[?] 308623[?] -76890[?] 76888[?] 308622[?] -76891[?] 76382[?] 308619[?] -76888[?] 76886[?] 76887[?] 308609[?] -76886[?] 76884[?] 308608[?] -76887[?] 76381[?] 308605[?] -76884[?] 76882[?] 308596[?] -76882[?] 76881[?] 308594[?] -76881[?] 76380[?] 308591[?] 76599[?] 76791[?] 308511[?] -76791[?] 76789[?] 76790[?] 308504[?] -76789[?] 76787[?] 308503[?] -76790[?] 76405[?] 308500[?] -76787[?] 76785[?] 76786[?] 308490[?] -76785[?] 76783[?] 308489[?] -76786[?] 76404[?] 308486[?] -76783[?] 76781[?] 76782[?] 308476[?] -76781[?] 76779[?] 308475[?] -76782[?] 76403[?] 308472[?] -76779[?] 76777[?] 76778[?] 308462[?] -76777[?] 76775[?] 308461[?] -76778[?] 76402[?] 308458[?] -76775[?] 76773[?] 76774[?] 308448[?] -76773[?] 76771[?] 308447[?] -76774[?] 76401[?] 308444[?] -76771[?] 76769[?] 76770[?] 308434[?] -76769[?] 76767[?] 308433[?] -76770[?] 76400[?] 308430[?] -76767[?] 76765[?] 76766[?] 308420[?] -76765[?] 76763[?] 308419[?] -76766[?] 76399[?] 308416[?] -76763[?] 76761[?] 76762[?] 308406[?] -76761[?] 76759[?] 308405[?] -76762[?] 76398[?] 308402[?] -76759[?] 76757[?] 76758[?] 308392[?] -76757[?] 76755[?] 308391[?] -76758[?] 76397[?] 308388[?] -76755[?] 76753[?] 76754[?] 308378[?] -76753[?] 76751[?] 308377[?] -76754[?] 76396[?] 308374[?] -76751[?] 76749[?] 76750[?] 308364[?] -76749[?] 76747[?] 308363[?] -76750[?] 76395[?] 308360[?] -76747[?] 76745[?] 76746[?] 308350[?] -76745[?] 76743[?] 308349[?] -76746[?] 76394[?] 308346[?] -76743[?] 76741[?] 76742[?] 308336[?] -76741[?] 76739[?] 308335[?] -76742[?] 76393[?] 308332[?] -76739[?] 76737[?] 76738[?] 308322[?] -76737[?] 76735[?] 308321[?] -76738[?] 76392[?] 308318[?] -76735[?] 76733[?] 76734[?] 308308[?] -76733[?] 76731[?] 308307[?] -76734[?] 76391[?] 308304[?] -76731[?] 76729[?] 76730[?] 308294[?] -76729[?] 76727[?] 308293[?] -76730[?] 76390[?] 308290[?] -76727[?] 76725[?] 76726[?] 308280[?] -76725[?] 76723[?] 308279[?] -76726[?] 76389[?] 308276[?] -76723[?] 76721[?] 76722[?] 308266[?] -76721[?] 76719[?] 308265[?] -76722[?] 76388[?] 308262[?] -76719[?] 76717[?] 76718[?] 308252[?] -76717[?] 76715[?] 308251[?] -76718[?] 76387[?] 308248[?] -76715[?] 76713[?] 76714[?] 308238[?] -76713[?] 76711[?] 308237[?] -76714[?] 76386[?] 308234[?] -76711[?] 76709[?] 76710[?] 308224[?] -76709[?] 76707[?] 308223[?] -76710[?] 76385[?] 308220[?] -76707[?] 76705[?] 76706[?] 308210[?] -76705[?] 76703[?] 308209[?] -76706[?] 76384[?] 308206[?] -76703[?] 76701[?] 76702[?] 308196[?] -76701[?] 76699[?] 308195[?] -76702[?] 76383[?] 308192[?] -76699[?] 76697[?] 76698[?] 308182[?] -76697[?] 76695[?] 308181[?] -76698[?] 76382[?] 308178[?] -76695[?] 76693[?] 76694[?] 308168[?] -76693[?] 76691[?] 308167[?] -76694[?] 76381[?] 308164[?] -76691[?] 76689[?] 308155[?] -76689[?] 76688[?] 308153[?] -76688[?] 76380[?] 308150[?] 76406[?] 76598[?] 308070[?] -76598[?] 76596[?] 76597[?] 308063[?] -76596[?] 76594[?] 308062[?] -76597[?] 76405[?] 308059[?] -76594[?] 76592[?] 76593[?] 308049[?] -76592[?] 76590[?] 308048[?] -76593[?] 76404[?] 308045[?] -76590[?] 76588[?] 76589[?] 308035[?] -76588[?] 76586[?] 308034[?] -76589[?] 76403[?] 308031[?] -76586[?] 76584[?] 76585[?] 308021[?] -76584[?] 76582[?] 308020[?] -76585[?] 76402[?] 308017[?] -76582[?] 76580[?] 76581[?] 308007[?] -76580[?] 76578[?] 308006[?] -76581[?] 76401[?] 308003[?] -76578[?] 76576[?] 76577[?] 307993[?] -76576[?] 76574[?] 307992[?] -76577[?] 76400[?] 307989[?] -76574[?] 76572[?] 76573[?] 307979[?] -76572[?] 76570[?] 307978[?] -76573[?] 76399[?] 307975[?] -76570[?] 76568[?] 76569[?] 307965[?] -76568[?] 76566[?] 307964[?] -76569[?] 76398[?] 307961[?] -76566[?] 76564[?] 76565[?] 307951[?] -76564[?] 76562[?] 307950[?] -76565[?] 76397[?] 307947[?] -76562[?] 76560[?] 76561[?] 307937[?] -76560[?] 76558[?] 307936[?] -76561[?] 76396[?] 307933[?] -76558[?] 76556[?] 76557[?] 307923[?] -76556[?] 76554[?] 307922[?] -76557[?] 76395[?] 307919[?] -76554[?] 76552[?] 76553[?] 307909[?] -76552[?] 76550[?] 307908[?] -76553[?] 76394[?] 307905[?] -76550[?] 76548[?] 76549[?] 307895[?] -76548[?] 76546[?] 307894[?] -76549[?] 76393[?] 307891[?] -76546[?] 76544[?] 76545[?] 307881[?] -76544[?] 76542[?] 307880[?] -76545[?] 76392[?] 307877[?] -76542[?] 76540[?] 76541[?] 307867[?] -76540[?] 76538[?] 307866[?] -76541[?] 76391[?] 307863[?] -76538[?] 76536[?] 76537[?] 307853[?] -76536[?] 76534[?] 307852[?] -76537[?] 76390[?] 307849[?] -76534[?] 76532[?] 76533[?] 307839[?] -76532[?] 76530[?] 307838[?] -76533[?] 76389[?] 307835[?] -76530[?] 76528[?] 76529[?] 307825[?] -76528[?] 76526[?] 307824[?] -76529[?] 76388[?] 307821[?] -76526[?] 76524[?] 76525[?] 307811[?] -76524[?] 76522[?] 307810[?] -76525[?] 76387[?] 307807[?] -76522[?] 76520[?] 76521[?] 307797[?] -76520[?] 76518[?] 307796[?] -76521[?] 76386[?] 307793[?] -76518[?] 76516[?] 76517[?] 307783[?] -76516[?] 76514[?] 307782[?] -76517[?] 76385[?] 307779[?] -76514[?] 76512[?] 76513[?] 307769[?] -76512[?] 76510[?] 307768[?] -76513[?] 76384[?] 307765[?] -76510[?] 76508[?] 76509[?] 307755[?] -76508[?] 76506[?] 307754[?] -76509[?] 76383[?] 307751[?] -76506[?] 76504[?] 76505[?] 307741[?] -76504[?] 76502[?] 307740[?] -76505[?] 76382[?] 307737[?] -76502[?] 76500[?] 76501[?] 307727[?] -76500[?] 76498[?] 307726[?] -76501[?] 76381[?] 307723[?] -76498[?] 76496[?] 307714[?] -76496[?] 76495[?] 307712[?] -76495[?] 76380[?] 307709[?] -76405[?] 76373[?] 307631[?] -76404[?] 76373[?] 307629[?] -76403[?] 76373[?] 307627[?] -76402[?] 76373[?] 307625[?] -76401[?] 76373[?] 307623[?] -76400[?] 76373[?] 307621[?] -76399[?] 76373[?] 307619[?] -76398[?] 76373[?] 307617[?] -76397[?] 76373[?] 307615[?] -76396[?] 76373[?] 307613[?] -76395[?] 76373[?] 307611[?] -76394[?] 76373[?] 307609[?] -76393[?] 76373[?] 307607[?] -76392[?] 76373[?] 307605[?] -76391[?] 76373[?] 307603[?] -76390[?] 76373[?] 307601[?] -76389[?] 76373[?] 307599[?] -76388[?] 76373[?] 307597[?] -76387[?] 76373[?] 307595[?] -76386[?] 76373[?] 307593[?] -76385[?] 76373[?] 307591[?] -76384[?] 76373[?] 307589[?] -76383[?] 76373[?] 307587[?] -76382[?] 76373[?] 307585[?] -76381[?] 76373[?] 307583[?] -76380[?] 76372[?] 307581[?] 76379[?] -76371[?] 307580[?] -76378[?] 76370[?] 307577[?] 76377[?] -76369[?] 307576[?] -76373[?] 76293[?] 76292[?] 307568[?] -76372[?] 76293[?] 76291[?] 307564[?] 76371[?] 76293[?] -76290[?] 307559[?] -76370[?] 76293[?] 76289[?] 307556[?] 76369[?] 76293[?] -76288[?] 307551[?] -76293[?] 76309[?] 307343[?] -76309[?] 76308[?] 307341[?] -76308[?] 76300[?] 307339[?] -76300[?] 76291[?] 307317[?] -76292[?] 76163[?] 76162[?] 307303[?] -76291[?] 76163[?] 76161[?] 307299[?] 76290[?] 76163[?] -76160[?] 307294[?] -76289[?] 76163[?] 76159[?] 307291[?] 76288[?] 76163[?] -76158[?] 307286[?] -76163[?] 76179[?] 306941[?] -76179[?] 76178[?] 306939[?] -76178[?] 76170[?] 306937[?] -76170[?] 76161[?] 306915[?] -76162[?] 76154[?] 75846[?] 306901[?] -76161[?] 76153[?] 75846[?] 306897[?] 76160[?] -76152[?] 75846[?] 306892[?] -76159[?] 76151[?] 75846[?] 306889[?] 76158[?] -76150[?] 75846[?] 306884[?] -76154[?] 76090[?] 76089[?] 306869[?] -76153[?] 76090[?] 76088[?] 306865[?] 76152[?] 76090[?] -76087[?] 306860[?] -76151[?] 76090[?] 76086[?] 306857[?] 76150[?] 76090[?] -76085[?] 306852[?] -76090[?] 76106[?] 306740[?] -76106[?] 76105[?] 306738[?] -76105[?] 76104[?] 306735[?] -76104[?] 76103[?] 306732[?] -76103[?] 76102[?] 306729[?] -76102[?] 76101[?] 306726[?] -76101[?] 76093[?] 306724[?] -76093[?] 76084[?] 306706[?] -76089[?] 75845[?] -3768[?] 306698[?] -76088[?] 75844[?] -3768[?] 306694[?] 76087[?] -75843[?] -3768[?] 306689[?] -76086[?] 75842[?] -3768[?] 306686[?] 76085[?] -75841[?] -3768[?] 306681[?] -76084[?] 75840[?] -3768[?] 306678[?] 75912[?] -75896[?] 306218[?] 75904[?] -75912[?] 306217[?] 75911[?] -75912[?] 306216[?] 75903[?] -75911[?] 306214[?] 75910[?] -75911[?] 306213[?] 75902[?] -75910[?] 306211[?] 75909[?] -75910[?] 306210[?] 75901[?] -75909[?] 306208[?] 75908[?] -75909[?] 306207[?] 75900[?] -75908[?] 306205[?] 75907[?] -75908[?] 306204[?] 75899[?] -75907[?] 306202[?] -75845[?] -75904[?] 306194[?] -75844[?] -75903[?] 306192[?] 75843[?] -75902[?] 306190[?] -75842[?] -75901[?] 306188[?] 75841[?] -75900[?] 306186[?] -75840[?] -75899[?] 306184[?] -110923[?] 124008[?] 1.35/1.00 c qxplain 0/581 1.93/1.31 c qxplain 291/581 2.05/1.45 c qxplain 437/581 2.31/1.61 c qxplain 510/581 2.46/1.74 c qxplain 546/581 2.55/1.87 c qxplain 564/581 2.76/2.01 c qxplain 573/581 2.86/2.14 c qxplain 578/581 2.96/2.27 c qxplain 580/581 3.16/2.40 c qxplain 581/581 3.42/2.60 c -110923[?] 124008[?] is mandatory 3.42/2.60 c qxplain 580/580 3.54/2.73 c 306184[?] -75840[?] -75899[?] is mandatory 3.54/2.73 c qxplain 578/579 3.64/2.86 c qxplain 579/579 3.86/3.01 c 306186[?] 75841[?] -75900[?] is mandatory 3.86/3.01 c qxplain 578/578 3.96/3.14 c 306188[?] -75842[?] -75901[?] is mandatory 3.96/3.14 c qxplain 573/577 4.06/3.27 c qxplain 576/577 4.26/3.40 c qxplain 577/577 4.36/3.53 c 306190[?] 75843[?] -75902[?] is mandatory 4.36/3.53 c qxplain 576/576 4.46/3.66 c 306192[?] -75844[?] -75903[?] is mandatory 4.46/3.66 c qxplain 573/575 4.56/3.79 c qxplain 575/575 4.76/3.92 c 306194[?] -75845[?] -75904[?] is mandatory 4.76/3.92 c qxplain 573/574 4.86/4.05 c qxplain 574/574 4.96/4.18 c 306202[?] 75899[?] -75907[?] is mandatory 4.96/4.18 c qxplain 573/573 5.16/4.31 c 306204[?] 75907[?] -75908[?] is mandatory 5.16/4.31 c qxplain 564/572 5.27/4.45 c qxplain 569/572 5.36/4.58 c qxplain 571/572 5.56/4.71 c qxplain 572/572 5.66/4.84 c 306205[?] 75900[?] -75908[?] is mandatory 5.66/4.84 c qxplain 571/571 5.76/4.97 c 306207[?] 75908[?] -75909[?] is mandatory 5.76/4.97 c qxplain 569/570 5.96/5.10 c qxplain 570/570 6.06/5.23 c 306208[?] 75901[?] -75909[?] is mandatory 6.06/5.23 c qxplain 569/569 6.16/5.36 c 306210[?] 75909[?] -75910[?] is mandatory 6.16/5.36 c qxplain 564/568 6.27/5.49 c qxplain 567/568 6.46/5.63 c qxplain 568/568 6.56/5.76 c 306211[?] 75902[?] -75910[?] is mandatory 6.56/5.76 c qxplain 567/567 6.66/5.89 c 306213[?] 75910[?] -75911[?] is mandatory 6.66/5.89 c qxplain 564/566 6.86/6.02 c qxplain 566/566 6.95/6.15 c 306214[?] 75903[?] -75911[?] is mandatory 6.95/6.15 c qxplain 564/565 7.06/6.28 c qxplain 565/565 7.27/6.41 c 306216[?] 75911[?] -75912[?] is mandatory 7.27/6.41 c qxplain 564/564 7.36/6.55 c 306217[?] 75904[?] -75912[?] is mandatory 7.36/6.55 c qxplain 546/563 7.46/6.68 c qxplain 555/563 7.66/6.81 c qxplain 560/563 7.76/6.94 c qxplain 562/563 7.86/7.07 c qxplain 563/563 8.06/7.20 c 306218[?] 75912[?] -75896[?] is mandatory 8.06/7.20 c qxplain 562/562 8.16/7.33 c 306678[?] -76084[?] 75840[?] -3768[?] is mandatory 8.16/7.33 c qxplain 560/561 8.26/7.46 c qxplain 561/561 8.35/7.59 c 306681[?] 76085[?] -75841[?] -3768[?] is mandatory 8.35/7.59 c qxplain 560/560 8.56/7.73 c 306686[?] -76086[?] 75842[?] -3768[?] is mandatory 8.56/7.73 c qxplain 555/559 8.65/7.86 c qxplain 558/559 8.76/7.99 c qxplain 559/559 8.95/8.12 c 306689[?] 76087[?] -75843[?] -3768[?] is mandatory 8.95/8.12 c qxplain 558/558 9.06/8.25 c 306694[?] -76088[?] 75844[?] -3768[?] is mandatory 9.06/8.25 c qxplain 555/557 9.15/8.38 c qxplain 557/557 9.36/8.51 c 306698[?] -76089[?] 75845[?] -3768[?] is mandatory 9.36/8.51 c qxplain 555/556 9.46/8.64 c qxplain 556/556 9.56/8.77 c 306706[?] -76093[?] 76084[?] is mandatory 9.56/8.77 c qxplain 555/555 9.76/8.90 c 306724[?] -76101[?] 76093[?] is mandatory 9.76/8.90 c qxplain 546/554 9.86/9.03 c qxplain 551/554 9.95/9.16 c qxplain 553/554 10.06/9.30 c qxplain 554/554 10.26/9.43 c 306726[?] -76102[?] 76101[?] is mandatory 10.26/9.43 c qxplain 553/553 10.36/9.56 c 306729[?] -76103[?] 76102[?] is mandatory 10.36/9.56 c qxplain 551/552 10.46/9.69 c qxplain 552/552 10.66/9.82 c 306732[?] -76104[?] 76103[?] is mandatory 10.66/9.82 c qxplain 551/551 10.77/9.95 c 306735[?] -76105[?] 76104[?] is mandatory 10.77/9.95 c qxplain 546/550 10.86/10.08 c qxplain 549/550 11.06/10.21 c qxplain 550/550 11.16/10.34 c 306738[?] -76106[?] 76105[?] is mandatory 11.16/10.34 c qxplain 549/549 11.26/10.47 c 306740[?] -76090[?] 76106[?] is mandatory 11.26/10.47 c qxplain 546/548 11.46/10.60 c qxplain 548/548 11.97/10.91 c 306852[?] 76150[?] 76090[?] -76085[?] is mandatory 11.97/10.91 c qxplain 546/547 12.07/11.01 c qxplain 547/547 12.16/11.10 c 306857[?] -76151[?] 76090[?] 76086[?] is mandatory 12.16/11.10 c qxplain 546/546 12.16/11.19 c 306860[?] 76152[?] 76090[?] -76087[?] is mandatory 12.16/11.19 c qxplain 510/545 12.26/11.29 c qxplain 528/545 12.36/11.38 c qxplain 537/545 12.46/11.48 c qxplain 542/545 12.56/11.57 c qxplain 544/545 12.66/11.66 c qxplain 545/545 12.76/11.76 c 306865[?] -76153[?] 76090[?] 76088[?] is mandatory 12.76/11.76 c qxplain 544/544 12.86/11.85 c 306869[?] -76154[?] 76090[?] 76089[?] is mandatory 12.86/11.85 c qxplain 542/543 12.96/11.95 c qxplain 543/543 13.07/12.04 c 306884[?] 76158[?] -76150[?] 75846[?] is mandatory 13.07/12.04 c qxplain 542/542 13.17/12.13 c 306889[?] -76159[?] 76151[?] 75846[?] is mandatory 13.17/12.13 c qxplain 537/541 13.26/12.23 c qxplain 540/541 13.36/12.32 c qxplain 541/541 13.46/12.42 c 306892[?] 76160[?] -76152[?] 75846[?] is mandatory 13.46/12.42 c qxplain 540/540 13.56/12.51 c 306897[?] -76161[?] 76153[?] 75846[?] is mandatory 13.56/12.51 c qxplain 537/539 13.66/12.60 c qxplain 539/539 13.76/12.70 c 306901[?] -76162[?] 76154[?] 75846[?] is mandatory 13.76/12.70 c qxplain 537/538 13.76/12.79 c qxplain 538/538 13.86/12.89 c 306915[?] -76170[?] 76161[?] is mandatory 13.86/12.89 c qxplain 537/537 13.96/12.98 c 306937[?] -76178[?] 76170[?] is mandatory 13.96/12.98 c qxplain 528/536 14.06/13.08 c qxplain 533/536 14.17/13.17 c qxplain 535/536 14.27/13.26 c qxplain 536/536 14.36/13.36 c 306939[?] -76179[?] 76178[?] is mandatory 14.36/13.36 c qxplain 535/535 14.46/13.45 c 306941[?] -76163[?] 76179[?] is mandatory 14.46/13.45 c qxplain 533/534 14.56/13.55 c qxplain 534/534 14.66/13.64 c 307286[?] 76288[?] 76163[?] -76158[?] is mandatory 14.66/13.64 c qxplain 533/533 14.76/13.74 c 307291[?] -76289[?] 76163[?] 76159[?] is mandatory 14.76/13.74 c qxplain 528/532 14.86/13.83 c qxplain 531/532 14.96/13.92 c qxplain 532/532 15.06/14.02 c 307294[?] 76290[?] 76163[?] -76160[?] is mandatory 15.06/14.02 c qxplain 531/531 15.16/14.11 c 307299[?] -76291[?] 76163[?] 76161[?] is mandatory 15.16/14.11 c qxplain 528/530 15.27/14.21 c qxplain 530/530 15.27/14.30 c 307303[?] -76292[?] 76163[?] 76162[?] is mandatory 15.27/14.30 c qxplain 528/529 15.37/14.39 c qxplain 529/529 15.46/14.49 c 307317[?] -76300[?] 76291[?] is mandatory 15.46/14.49 c qxplain 528/528 15.56/14.58 c 307339[?] -76308[?] 76300[?] is mandatory 15.56/14.58 c qxplain 510/527 15.66/14.68 c qxplain 519/527 15.76/14.77 c qxplain 524/527 15.86/14.87 c qxplain 526/527 15.96/14.96 c qxplain 527/527 16.06/15.05 c 307341[?] -76309[?] 76308[?] is mandatory 16.06/15.05 c qxplain 526/526 16.16/15.15 c 307343[?] -76293[?] 76309[?] is mandatory 16.16/15.15 c qxplain 524/525 16.26/15.24 c qxplain 525/525 16.37/15.34 c 307551[?] 76369[?] 76293[?] -76288[?] is mandatory 16.37/15.34 c qxplain 524/524 16.47/15.43 c 307556[?] -76370[?] 76293[?] 76289[?] is mandatory 16.47/15.43 c qxplain 519/523 16.56/15.52 c qxplain 522/523 16.66/15.62 c qxplain 523/523 16.76/15.71 c 307559[?] 76371[?] 76293[?] -76290[?] is mandatory 16.76/15.71 c qxplain 522/522 16.86/15.81 c 307564[?] -76372[?] 76293[?] 76291[?] is mandatory 16.86/15.81 c qxplain 519/521 16.96/15.90 c qxplain 521/521 16.96/15.99 c 307568[?] -76373[?] 76293[?] 76292[?] is mandatory 16.96/15.99 c qxplain 519/520 17.06/16.09 c qxplain 520/520 17.16/16.18 c 307576[?] 76377[?] -76369[?] is mandatory 17.16/16.18 c qxplain 519/519 17.26/16.28 c 307577[?] -76378[?] 76370[?] is mandatory 17.26/16.28 c qxplain 510/518 17.36/16.37 c qxplain 515/518 17.47/16.47 c qxplain 517/518 17.57/16.56 c qxplain 518/518 17.66/16.66 c 307580[?] 76379[?] -76371[?] is mandatory 17.66/16.66 c qxplain 517/517 17.76/16.75 c 307581[?] -76380[?] 76372[?] is mandatory 17.76/16.75 c qxplain 515/516 17.86/16.84 c qxplain 516/516 17.96/16.94 c 307583[?] -76381[?] 76373[?] is mandatory 17.96/16.94 c qxplain 515/515 18.06/17.03 c 307585[?] -76382[?] 76373[?] is mandatory 18.06/17.03 c qxplain 510/514 18.16/17.13 c qxplain 513/514 18.26/17.22 c qxplain 514/514 18.36/17.32 c 307587[?] -76383[?] 76373[?] is mandatory 18.36/17.32 c qxplain 513/513 18.46/17.41 c 307589[?] -76384[?] 76373[?] is mandatory 18.46/17.41 c qxplain 510/512 18.57/17.50 c qxplain 512/512 18.57/17.60 c 307591[?] -76385[?] 76373[?] is mandatory 18.57/17.60 c qxplain 510/511 18.67/17.69 c qxplain 511/511 18.76/17.79 c 307593[?] -76386[?] 76373[?] is mandatory 18.76/17.79 c qxplain 510/510 18.86/17.88 c 307595[?] -76387[?] 76373[?] is mandatory 18.86/17.88 c qxplain 437/509 18.96/17.98 c qxplain 474/509 19.06/18.07 c qxplain 492/509 19.16/18.16 c qxplain 501/509 19.26/18.26 c qxplain 506/509 19.36/18.35 c qxplain 508/509 19.46/18.44 c qxplain 509/509 19.94/18.72 c 307597[?] -76388[?] 76373[?] is mandatory 19.94/18.72 c qxplain 508/508 20.03/18.81 c 307599[?] -76389[?] 76373[?] is mandatory 20.03/18.81 c qxplain 506/507 20.13/18.91 c qxplain 507/507 20.23/19.00 c 307601[?] -76390[?] 76373[?] is mandatory 20.23/19.00 c qxplain 506/506 20.23/19.09 c 307603[?] -76391[?] 76373[?] is mandatory 20.23/19.09 c qxplain 501/505 20.33/19.19 c qxplain 504/505 20.43/19.28 c qxplain 505/505 20.53/19.38 c 307605[?] -76392[?] 76373[?] is mandatory 20.53/19.38 c qxplain 504/504 20.63/19.47 c 307607[?] -76393[?] 76373[?] is mandatory 20.63/19.47 c qxplain 501/503 20.73/19.56 c qxplain 503/503 20.83/19.66 c 307609[?] -76394[?] 76373[?] is mandatory 20.83/19.66 c qxplain 501/502 20.93/19.75 c qxplain 502/502 21.03/19.85 c 307611[?] -76395[?] 76373[?] is mandatory 21.03/19.85 c qxplain 501/501 21.13/19.94 c 307613[?] -76396[?] 76373[?] is mandatory 21.13/19.94 c qxplain 492/500 21.23/20.03 c qxplain 497/500 21.33/20.13 c qxplain 499/500 21.43/20.22 c qxplain 500/500 21.53/20.31 c 307615[?] -76397[?] 76373[?] is mandatory 21.53/20.31 c qxplain 499/499 21.63/20.41 c 307617[?] -76398[?] 76373[?] is mandatory 21.63/20.41 c qxplain 497/498 21.73/20.50 c qxplain 498/498 21.73/20.59 c 307619[?] -76399[?] 76373[?] is mandatory 21.73/20.59 c qxplain 497/497 21.83/20.69 c 307621[?] -76400[?] 76373[?] is mandatory 21.83/20.69 c qxplain 492/496 21.93/20.78 c qxplain 495/496 22.03/20.87 c qxplain 496/496 22.13/20.97 c 307623[?] -76401[?] 76373[?] is mandatory 22.13/20.97 c qxplain 495/495 22.23/21.06 c 307625[?] -76402[?] 76373[?] is mandatory 22.23/21.06 c qxplain 492/494 22.33/21.15 c qxplain 494/494 22.43/21.25 c 307627[?] -76403[?] 76373[?] is mandatory 22.43/21.25 c qxplain 492/493 22.53/21.34 c qxplain 493/493 22.63/21.43 c 307629[?] -76404[?] 76373[?] is mandatory 22.63/21.43 c qxplain 492/492 22.74/21.53 c 307631[?] -76405[?] 76373[?] is mandatory 22.74/21.53 c qxplain 474/491 22.85/21.62 c qxplain 483/491 22.95/21.71 c qxplain 488/491 23.05/21.81 c qxplain 490/491 23.05/21.90 c qxplain 491/491 23.15/21.99 c 307709[?] -76495[?] 76380[?] is mandatory 23.15/21.99 c qxplain 490/490 23.25/22.09 c 307712[?] -76496[?] 76495[?] is mandatory 23.25/22.09 c qxplain 488/489 23.35/22.18 c qxplain 489/489 23.45/22.27 c 307714[?] -76498[?] 76496[?] is mandatory 23.45/22.27 c qxplain 488/488 23.55/22.37 c 307723[?] -76501[?] 76381[?] is mandatory 23.55/22.37 c qxplain 483/487 23.65/22.46 c qxplain 486/487 23.75/22.55 c qxplain 487/487 23.85/22.65 c 307726[?] -76500[?] 76498[?] is mandatory 23.85/22.65 c qxplain 486/486 23.95/22.74 c 307727[?] -76502[?] 76500[?] 76501[?] is mandatory 23.95/22.74 c qxplain 483/485 24.05/22.83 c qxplain 485/485 24.15/22.93 c 307737[?] -76505[?] 76382[?] is mandatory 24.15/22.93 c qxplain 483/484 24.25/23.02 c qxplain 484/484 24.35/23.11 c 307740[?] -76504[?] 76502[?] is mandatory 24.35/23.11 c qxplain 483/483 24.45/23.21 c 307741[?] -76506[?] 76504[?] 76505[?] is mandatory 24.45/23.21 c qxplain 474/482 24.55/23.30 c qxplain 479/482 24.55/23.39 c qxplain 481/482 24.65/23.49 c qxplain 482/482 24.75/23.58 c 307751[?] -76509[?] 76383[?] is mandatory 24.75/23.58 c qxplain 481/481 24.85/23.67 c 307754[?] -76508[?] 76506[?] is mandatory 24.85/23.67 c qxplain 479/480 24.95/23.77 c qxplain 480/480 25.05/23.86 c 307755[?] -76510[?] 76508[?] 76509[?] is mandatory 25.05/23.86 c qxplain 479/479 25.14/23.95 c 307765[?] -76513[?] 76384[?] is mandatory 25.14/23.95 c qxplain 474/478 25.24/24.05 c qxplain 477/478 25.35/24.14 c qxplain 478/478 25.45/24.23 c 307768[?] -76512[?] 76510[?] is mandatory 25.45/24.23 c qxplain 477/477 25.55/24.33 c 307769[?] -76514[?] 76512[?] 76513[?] is mandatory 25.55/24.33 c qxplain 474/476 25.64/24.42 c qxplain 476/476 25.74/24.51 c 307779[?] -76517[?] 76385[?] is mandatory 25.74/24.51 c qxplain 474/475 25.84/24.61 c qxplain 475/475 25.94/24.70 c 307782[?] -76516[?] 76514[?] is mandatory 25.94/24.70 c qxplain 474/474 25.94/24.79 c 307783[?] -76518[?] 76516[?] 76517[?] is mandatory 25.94/24.79 c qxplain 437/473 26.04/24.89 c qxplain 456/473 26.14/24.98 c qxplain 465/473 26.24/25.07 c qxplain 470/473 26.34/25.17 c qxplain 472/473 26.45/25.26 c qxplain 473/473 26.55/25.35 c 307793[?] -76521[?] 76386[?] is mandatory 26.55/25.35 c qxplain 472/472 26.64/25.45 c 307796[?] -76520[?] 76518[?] is mandatory 26.64/25.45 c qxplain 470/471 26.74/25.54 c qxplain 471/471 26.84/25.63 c 307797[?] -76522[?] 76520[?] 76521[?] is mandatory 26.84/25.63 c qxplain 470/470 26.94/25.73 c 307807[?] -76525[?] 76387[?] is mandatory 26.94/25.73 c qxplain 465/469 27.04/25.82 c qxplain 468/469 27.14/25.91 c qxplain 469/469 27.24/26.01 c 307810[?] -76524[?] 76522[?] is mandatory 27.24/26.01 c qxplain 468/468 27.34/26.10 c 307811[?] -76526[?] 76524[?] 76525[?] is mandatory 27.34/26.10 c qxplain 465/467 27.34/26.19 c qxplain 467/467 27.80/26.45 c 307821[?] -76529[?] 76388[?] is mandatory 27.80/26.45 c qxplain 465/466 27.89/26.54 c qxplain 466/466 27.99/26.64 c 307824[?] -76528[?] 76526[?] is mandatory 27.99/26.64 c qxplain 465/465 28.09/26.73 c 307825[?] -76530[?] 76528[?] 76529[?] is mandatory 28.09/26.73 c qxplain 456/464 28.19/26.83 c qxplain 461/464 28.29/26.92 c qxplain 463/464 28.39/27.01 c qxplain 464/464 28.49/27.11 c 307835[?] -76533[?] 76389[?] is mandatory 28.49/27.11 c qxplain 463/463 28.59/27.20 c 307838[?] -76532[?] 76530[?] is mandatory 28.59/27.20 c qxplain 461/462 28.69/27.30 c qxplain 462/462 28.69/27.39 c 307839[?] -76534[?] 76532[?] 76533[?] is mandatory 28.69/27.39 c qxplain 461/461 28.80/27.48 c 307849[?] -76537[?] 76390[?] is mandatory 28.80/27.48 c qxplain 456/460 28.90/27.58 c qxplain 459/460 28.99/27.67 c qxplain 460/460 29.09/27.77 c 307852[?] -76536[?] 76534[?] is mandatory 29.09/27.77 c qxplain 459/459 29.19/27.86 c 307853[?] -76538[?] 76536[?] 76537[?] is mandatory 29.19/27.86 c qxplain 456/458 29.29/27.95 c qxplain 458/458 29.39/28.05 c 307863[?] -76541[?] 76391[?] is mandatory 29.39/28.05 c qxplain 456/457 29.49/28.14 c qxplain 457/457 29.59/28.24 c 307866[?] -76540[?] 76538[?] is mandatory 29.59/28.24 c qxplain 456/456 29.69/28.33 c 307867[?] -76542[?] 76540[?] 76541[?] is mandatory 29.69/28.33 c qxplain 437/455 29.79/28.42 c qxplain 447/455 29.90/28.52 c qxplain 452/455 30.00/28.61 c qxplain 454/455 30.09/28.71 c qxplain 455/455 30.19/28.80 c 307877[?] -76545[?] 76392[?] is mandatory 30.19/28.80 c qxplain 454/454 30.19/28.89 c 307880[?] -76544[?] 76542[?] is mandatory 30.19/28.89 c qxplain 452/453 30.29/28.99 c qxplain 453/453 30.39/29.08 c 307881[?] -76546[?] 76544[?] 76545[?] is mandatory 30.39/29.08 c qxplain 452/452 30.49/29.17 c 307891[?] -76549[?] 76393[?] is mandatory 30.49/29.17 c qxplain 447/451 30.59/29.27 c qxplain 450/451 30.69/29.36 c qxplain 451/451 30.79/29.46 c 307894[?] -76548[?] 76546[?] is mandatory 30.79/29.46 c qxplain 450/450 30.89/29.55 c 307895[?] -76550[?] 76548[?] 76549[?] is mandatory 30.89/29.55 c qxplain 447/449 31.00/29.64 c qxplain 449/449 31.10/29.74 c 307905[?] -76553[?] 76394[?] is mandatory 31.10/29.74 c qxplain 447/448 31.19/29.83 c qxplain 448/448 31.29/29.92 c 307908[?] -76552[?] 76550[?] is mandatory 31.29/29.92 c qxplain 447/447 31.39/30.02 c 307909[?] -76554[?] 76552[?] 76553[?] is mandatory 31.39/30.02 c qxplain 437/446 31.49/30.11 c qxplain 442/446 31.59/30.21 c qxplain 445/446 31.69/30.30 c qxplain 446/446 31.69/30.39 c 307919[?] -76557[?] 76395[?] is mandatory 31.69/30.39 c qxplain 445/445 31.79/30.49 c 307922[?] -76556[?] 76554[?] is mandatory 31.79/30.49 c qxplain 442/444 31.89/30.58 c qxplain 444/444 31.99/30.68 c 307923[?] -76558[?] 76556[?] 76557[?] is mandatory 31.99/30.68 c qxplain 442/443 32.10/30.77 c qxplain 443/443 32.20/30.86 c 307933[?] -76561[?] 76396[?] is mandatory 32.20/30.86 c qxplain 442/442 32.29/30.96 c 307936[?] -76560[?] 76558[?] is mandatory 32.29/30.96 c qxplain 437/441 32.39/31.05 c qxplain 440/441 32.49/31.15 c qxplain 441/441 32.59/31.24 c 307937[?] -76562[?] 76560[?] 76561[?] is mandatory 32.59/31.24 c qxplain 440/440 32.69/31.33 c 307947[?] -76565[?] 76397[?] is mandatory 32.69/31.33 c qxplain 437/439 32.79/31.43 c qxplain 439/439 32.89/31.52 c 307950[?] -76564[?] 76562[?] is mandatory 32.89/31.52 c qxplain 437/438 32.99/31.61 c qxplain 438/438 33.09/31.71 c 307951[?] -76566[?] 76564[?] 76565[?] is mandatory 33.09/31.71 c qxplain 437/437 33.09/31.80 c 307961[?] -76569[?] 76398[?] is mandatory 33.09/31.80 c qxplain 291/436 33.20/31.90 c qxplain 364/436 33.30/31.99 c qxplain 401/436 33.39/32.08 c qxplain 419/436 33.49/32.18 c qxplain 428/436 33.59/32.27 c qxplain 433/436 33.69/32.37 c qxplain 435/436 33.79/32.46 c qxplain 436/436 33.89/32.56 c 307964[?] -76568[?] 76566[?] is mandatory 33.89/32.56 c qxplain 435/435 33.99/32.65 c 307965[?] -76570[?] 76568[?] 76569[?] is mandatory 33.99/32.65 c qxplain 433/434 34.09/32.74 c qxplain 434/434 34.19/32.84 c 307975[?] -76573[?] 76399[?] is mandatory 34.19/32.84 c qxplain 433/433 34.29/32.93 c 307978[?] -76572[?] 76570[?] is mandatory 34.29/32.93 c qxplain 428/432 34.39/33.03 c qxplain 431/432 34.49/33.12 c qxplain 432/432 34.59/33.22 c 307979[?] -76574[?] 76572[?] 76573[?] is mandatory 34.59/33.22 c qxplain 431/431 34.69/33.31 c 307989[?] -76577[?] 76400[?] is mandatory 34.69/33.31 c qxplain 428/430 34.80/33.40 c qxplain 430/430 34.90/33.50 c 307992[?] -76576[?] 76574[?] is mandatory 34.90/33.50 c qxplain 428/429 34.90/33.59 c qxplain 429/429 35.00/33.69 c 307993[?] -76578[?] 76576[?] 76577[?] is mandatory 35.00/33.69 c qxplain 428/428 35.09/33.78 c 308003[?] -76581[?] 76401[?] is mandatory 35.09/33.78 c qxplain 419/427 35.19/33.87 c qxplain 424/427 35.29/33.97 c qxplain 426/427 35.75/34.22 c qxplain 427/427 35.85/34.31 c 308006[?] -76580[?] 76578[?] is mandatory 35.85/34.31 c qxplain 426/426 35.95/34.41 c 308007[?] -76582[?] 76580[?] 76581[?] is mandatory 35.95/34.41 c qxplain 424/425 36.05/34.50 c qxplain 425/425 36.15/34.60 c 308017[?] -76585[?] 76402[?] is mandatory 36.15/34.60 c qxplain 424/424 36.15/34.69 c 308020[?] -76584[?] 76582[?] is mandatory 36.15/34.69 c qxplain 419/423 36.25/34.79 c qxplain 422/423 36.35/34.88 c qxplain 423/423 36.45/34.98 c 308021[?] -76586[?] 76584[?] 76585[?] is mandatory 36.45/34.98 c qxplain 422/422 36.55/35.07 c 308031[?] -76589[?] 76403[?] is mandatory 36.55/35.07 c qxplain 419/421 36.65/35.17 c qxplain 421/421 36.75/35.26 c 308034[?] -76588[?] 76586[?] is mandatory 36.75/35.26 c qxplain 419/420 36.85/35.36 c qxplain 420/420 36.94/35.45 c 308035[?] -76590[?] 76588[?] 76589[?] is mandatory 36.94/35.45 c qxplain 419/419 37.04/35.55 c 308045[?] -76593[?] 76404[?] is mandatory 37.04/35.55 c qxplain 401/418 37.14/35.64 c qxplain 410/418 37.24/35.73 c qxplain 415/418 37.34/35.83 c qxplain 417/418 37.44/35.92 c qxplain 418/418 37.54/36.01 c 308048[?] -76592[?] 76590[?] is mandatory 37.54/36.01 c qxplain 417/417 37.64/36.11 c 308049[?] -76594[?] 76592[?] 76593[?] is mandatory 37.64/36.11 c qxplain 415/416 37.74/36.20 c qxplain 416/416 37.74/36.30 c 308059[?] -76597[?] 76405[?] is mandatory 37.74/36.30 c qxplain 415/415 37.85/36.39 c 308062[?] -76596[?] 76594[?] is mandatory 37.85/36.39 c qxplain 410/414 37.95/36.48 c qxplain 413/414 38.04/36.58 c qxplain 414/414 38.14/36.67 c 308063[?] -76598[?] 76596[?] 76597[?] is mandatory 38.14/36.67 c qxplain 413/413 38.24/36.77 c 308070[?] 76406[?] 76598[?] is mandatory 38.24/36.77 c qxplain 410/412 38.34/36.86 c qxplain 412/412 38.44/36.96 c 308150[?] -76688[?] 76380[?] is mandatory 38.44/36.96 c qxplain 410/411 38.54/37.05 c qxplain 411/411 38.64/37.14 c 308153[?] -76689[?] 76688[?] is mandatory 38.64/37.14 c qxplain 410/410 38.75/37.24 c 308155[?] -76691[?] 76689[?] is mandatory 38.75/37.24 c qxplain 401/409 38.84/37.33 c qxplain 406/409 38.95/37.43 c qxplain 408/409 39.05/37.52 c qxplain 409/409 39.14/37.61 c 308164[?] -76694[?] 76381[?] is mandatory 39.14/37.61 c qxplain 408/408 39.24/37.71 c 308167[?] -76693[?] 76691[?] is mandatory 39.24/37.71 c qxplain 406/407 39.34/37.80 c qxplain 407/407 39.34/37.89 c 308168[?] -76695[?] 76693[?] 76694[?] is mandatory 39.34/37.89 c qxplain 406/406 39.44/37.99 c 308178[?] -76698[?] 76382[?] is mandatory 39.44/37.99 c qxplain 401/405 39.54/38.08 c qxplain 404/405 39.64/38.18 c qxplain 405/405 39.74/38.27 c 308181[?] -76697[?] 76695[?] is mandatory 39.74/38.27 c qxplain 404/404 39.84/38.37 c 308182[?] -76699[?] 76697[?] 76698[?] is mandatory 39.84/38.37 c qxplain 401/403 39.94/38.46 c qxplain 403/403 40.05/38.56 c 308192[?] -76702[?] 76383[?] is mandatory 40.05/38.56 c qxplain 401/402 40.15/38.65 c qxplain 402/402 40.24/38.74 c 308195[?] -76701[?] 76699[?] is mandatory 40.24/38.74 c qxplain 401/401 40.34/38.84 c 308196[?] -76703[?] 76701[?] 76702[?] is mandatory 40.34/38.84 c qxplain 364/400 40.44/38.94 c qxplain 383/400 40.54/39.03 c qxplain 392/400 40.64/39.12 c qxplain 397/400 40.74/39.22 c qxplain 399/400 40.84/39.31 c qxplain 400/400 40.94/39.40 c 308206[?] -76706[?] 76384[?] is mandatory 40.94/39.40 c qxplain 399/399 41.04/39.50 c 308209[?] -76705[?] 76703[?] is mandatory 41.04/39.50 c qxplain 397/398 41.04/39.59 c qxplain 398/398 41.15/39.69 c 308210[?] -76707[?] 76705[?] 76706[?] is mandatory 41.15/39.69 c qxplain 397/397 41.25/39.78 c 308220[?] -76710[?] 76385[?] is mandatory 41.25/39.78 c qxplain 392/396 41.34/39.87 c qxplain 395/396 41.44/39.97 c qxplain 396/396 41.54/40.06 c 308223[?] -76709[?] 76707[?] is mandatory 41.54/40.06 c qxplain 395/395 41.64/40.16 c 308224[?] -76711[?] 76709[?] 76710[?] is mandatory 41.64/40.16 c qxplain 392/394 41.74/40.25 c qxplain 394/394 41.84/40.35 c 308234[?] -76714[?] 76386[?] is mandatory 41.84/40.35 c qxplain 392/393 41.94/40.44 c qxplain 393/393 42.04/40.53 c 308237[?] -76713[?] 76711[?] is mandatory 42.04/40.53 c qxplain 392/392 42.14/40.63 c 308238[?] -76715[?] 76713[?] 76714[?] is mandatory 42.14/40.63 c qxplain 383/391 42.25/40.72 c qxplain 388/391 42.35/40.82 c qxplain 390/391 42.44/40.91 c qxplain 391/391 42.54/41.00 c 308248[?] -76718[?] 76387[?] is mandatory 42.54/41.00 c qxplain 390/390 42.64/41.10 c 308251[?] -76717[?] 76715[?] is mandatory 42.64/41.10 c qxplain 388/389 42.64/41.19 c qxplain 389/389 42.74/41.29 c 308252[?] -76719[?] 76717[?] 76718[?] is mandatory 42.74/41.29 c qxplain 388/388 42.84/41.38 c 308262[?] -76722[?] 76388[?] is mandatory 42.84/41.38 c qxplain 383/387 42.94/41.47 c qxplain 386/387 43.04/41.57 c qxplain 387/387 43.14/41.66 c 308265[?] -76721[?] 76719[?] is mandatory 43.14/41.66 c qxplain 386/386 43.24/41.75 c 308266[?] -76723[?] 76721[?] 76722[?] is mandatory 43.24/41.75 c qxplain 383/385 43.70/42.01 c qxplain 385/385 43.80/42.10 c 308276[?] -76726[?] 76389[?] is mandatory 43.80/42.10 c qxplain 383/384 43.80/42.19 c qxplain 384/384 43.90/42.29 c 308279[?] -76725[?] 76723[?] is mandatory 43.90/42.29 c qxplain 383/383 44.00/42.38 c 308280[?] -76727[?] 76725[?] 76726[?] is mandatory 44.00/42.38 c qxplain 364/382 44.10/42.47 c qxplain 374/382 44.20/42.57 c qxplain 379/382 44.30/42.66 c qxplain 381/382 44.39/42.76 c qxplain 382/382 44.49/42.85 c 308290[?] -76730[?] 76390[?] is mandatory 44.49/42.85 c qxplain 381/381 44.60/42.94 c 308293[?] -76729[?] 76727[?] is mandatory 44.60/42.94 c qxplain 379/380 44.70/43.04 c qxplain 380/380 44.79/43.13 c 308294[?] -76731[?] 76729[?] 76730[?] is mandatory 44.79/43.13 c qxplain 379/379 44.89/43.22 c 308304[?] -76734[?] 76391[?] is mandatory 44.89/43.22 c qxplain 374/378 44.99/43.32 c qxplain 377/378 45.09/43.41 c qxplain 378/378 45.20/43.50 c 308307[?] -76733[?] 76731[?] is mandatory 45.20/43.50 c qxplain 377/377 45.30/43.60 c 308308[?] -76735[?] 76733[?] 76734[?] is mandatory 45.30/43.60 c qxplain 374/376 45.30/43.69 c qxplain 376/376 45.40/43.78 c 308318[?] -76738[?] 76392[?] is mandatory 45.40/43.78 c qxplain 374/375 45.50/43.88 c qxplain 375/375 45.60/43.97 c 308321[?] -76737[?] 76735[?] is mandatory 45.60/43.97 c qxplain 374/374 45.71/44.07 c 308322[?] -76739[?] 76737[?] 76738[?] is mandatory 45.71/44.07 c qxplain 364/373 45.81/44.16 c qxplain 369/373 45.90/44.25 c qxplain 372/373 46.00/44.35 c qxplain 373/373 46.10/44.44 c 308332[?] -76742[?] 76393[?] is mandatory 46.10/44.44 c qxplain 372/372 46.20/44.53 c 308335[?] -76741[?] 76739[?] is mandatory 46.20/44.53 c qxplain 369/371 46.30/44.63 c qxplain 371/371 46.40/44.72 c 308336[?] -76743[?] 76741[?] 76742[?] is mandatory 46.40/44.72 c qxplain 369/370 46.50/44.82 c qxplain 370/370 46.60/44.91 c 308346[?] -76746[?] 76394[?] is mandatory 46.60/44.91 c qxplain 369/369 46.70/45.00 c 308349[?] -76745[?] 76743[?] is mandatory 46.70/45.00 c qxplain 364/368 46.70/45.10 c qxplain 367/368 46.81/45.19 c qxplain 368/368 46.91/45.28 c 308350[?] -76747[?] 76745[?] 76746[?] is mandatory 46.91/45.28 c qxplain 367/367 47.00/45.38 c 308360[?] -76750[?] 76395[?] is mandatory 47.00/45.38 c qxplain 364/366 47.10/45.47 c qxplain 366/366 47.20/45.56 c 308363[?] -76749[?] 76747[?] is mandatory 47.20/45.56 c qxplain 364/365 47.30/45.66 c qxplain 365/365 47.40/45.75 c 308364[?] -76751[?] 76749[?] 76750[?] is mandatory 47.40/45.75 c qxplain 364/364 47.50/45.84 c 308374[?] -76754[?] 76396[?] is mandatory 47.50/45.84 c qxplain 291/363 47.60/45.94 c qxplain 328/363 47.70/46.03 c qxplain 346/363 47.80/46.13 c qxplain 355/363 47.91/46.22 c qxplain 360/363 48.01/46.31 c qxplain 362/363 48.10/46.41 c qxplain 363/363 48.20/46.50 c 308377[?] -76753[?] 76751[?] is mandatory 48.20/46.50 c qxplain 362/362 48.20/46.59 c 308378[?] -76755[?] 76753[?] 76754[?] is mandatory 48.20/46.59 c qxplain 360/361 48.30/46.69 c qxplain 361/361 48.40/46.78 c 308388[?] -76758[?] 76397[?] is mandatory 48.40/46.78 c qxplain 360/360 48.50/46.88 c 308391[?] -76757[?] 76755[?] is mandatory 48.50/46.88 c qxplain 355/359 48.60/46.97 c qxplain 358/359 48.70/47.06 c qxplain 359/359 48.80/47.16 c 308392[?] -76759[?] 76757[?] 76758[?] is mandatory 48.80/47.16 c qxplain 358/358 48.90/47.25 c 308402[?] -76762[?] 76398[?] is mandatory 48.90/47.25 c qxplain 355/357 49.00/47.35 c qxplain 357/357 49.10/47.44 c 308405[?] -76761[?] 76759[?] is mandatory 49.10/47.44 c qxplain 355/356 49.20/47.53 c qxplain 356/356 49.30/47.63 c 308406[?] -76763[?] 76761[?] 76762[?] is mandatory 49.30/47.63 c qxplain 355/355 49.40/47.72 c 308416[?] -76766[?] 76399[?] is mandatory 49.40/47.72 c qxplain 346/354 49.50/47.81 c qxplain 351/354 49.60/47.91 c qxplain 353/354 49.70/48.00 c qxplain 354/354 49.70/48.09 c 308419[?] -76765[?] 76763[?] is mandatory 49.70/48.09 c qxplain 353/353 49.80/48.19 c 308420[?] -76767[?] 76765[?] 76766[?] is mandatory 49.80/48.19 c qxplain 351/352 49.90/48.28 c qxplain 352/352 50.00/48.38 c 308430[?] -76770[?] 76400[?] is mandatory 50.00/48.38 c qxplain 351/351 50.11/48.47 c 308433[?] -76769[?] 76767[?] is mandatory 50.11/48.47 c qxplain 346/350 50.21/48.56 c qxplain 349/350 50.30/48.66 c qxplain 350/350 50.40/48.75 c 308434[?] -76771[?] 76769[?] 76770[?] is mandatory 50.40/48.75 c qxplain 349/349 50.50/48.84 c 308444[?] -76774[?] 76401[?] is mandatory 50.50/48.84 c qxplain 346/348 50.60/48.94 c qxplain 348/348 50.70/49.03 c 308447[?] -76773[?] 76771[?] is mandatory 50.70/49.03 c qxplain 346/347 50.80/49.13 c qxplain 347/347 50.90/49.22 c 308448[?] -76775[?] 76773[?] 76774[?] is mandatory 50.90/49.22 c qxplain 346/346 51.00/49.31 c 308458[?] -76778[?] 76402[?] is mandatory 51.00/49.31 c qxplain 328/345 51.10/49.41 c qxplain 337/345 51.47/49.68 c qxplain 342/345 51.57/49.77 c qxplain 344/345 51.67/49.86 c qxplain 345/345 51.77/49.96 c 308461[?] -76777[?] 76775[?] is mandatory 51.77/49.96 c qxplain 344/344 51.87/50.05 c 308462[?] -76779[?] 76777[?] 76778[?] is mandatory 51.87/50.05 c qxplain 342/343 51.97/50.15 c qxplain 343/343 52.07/50.24 c 308472[?] -76782[?] 76403[?] is mandatory 52.07/50.24 c qxplain 342/342 52.17/50.33 c 308475[?] -76781[?] 76779[?] is mandatory 52.17/50.33 c qxplain 337/341 52.27/50.43 c qxplain 340/341 52.37/50.52 c qxplain 341/341 52.47/50.61 c 308476[?] -76783[?] 76781[?] 76782[?] is mandatory 52.47/50.61 c qxplain 340/340 52.57/50.71 c 308486[?] -76786[?] 76404[?] is mandatory 52.57/50.71 c qxplain 337/339 52.57/50.80 c qxplain 339/339 52.67/50.89 c 308489[?] -76785[?] 76783[?] is mandatory 52.67/50.89 c qxplain 337/338 52.77/50.99 c qxplain 338/338 52.87/51.08 c 308490[?] -76787[?] 76785[?] 76786[?] is mandatory 52.87/51.08 c qxplain 337/337 52.97/51.18 c 308500[?] -76790[?] 76405[?] is mandatory 52.97/51.18 c qxplain 328/336 53.06/51.27 c qxplain 333/336 53.16/51.36 c qxplain 335/336 53.26/51.46 c qxplain 336/336 53.36/51.55 c 308503[?] -76789[?] 76787[?] is mandatory 53.36/51.55 c qxplain 335/335 53.46/51.64 c 308504[?] -76791[?] 76789[?] 76790[?] is mandatory 53.46/51.64 c qxplain 333/334 53.56/51.74 c qxplain 334/334 53.68/51.83 c 308511[?] 76599[?] 76791[?] is mandatory 53.68/51.83 c qxplain 333/333 53.78/51.92 c 308591[?] -76881[?] 76380[?] is mandatory 53.78/51.93 c qxplain 328/332 53.87/52.02 c qxplain 331/332 53.97/52.11 c qxplain 332/332 54.07/52.21 c 308594[?] -76882[?] 76881[?] is mandatory 54.07/52.21 c qxplain 331/331 54.17/52.30 c 308596[?] -76884[?] 76882[?] is mandatory 54.17/52.30 c qxplain 328/330 54.17/52.39 c qxplain 330/330 54.27/52.49 c 308605[?] -76887[?] 76381[?] is mandatory 54.27/52.49 c qxplain 328/329 54.37/52.58 c qxplain 329/329 54.47/52.67 c 308608[?] -76886[?] 76884[?] is mandatory 54.47/52.67 c qxplain 328/328 54.57/52.77 c 308609[?] -76888[?] 76886[?] 76887[?] is mandatory 54.57/52.77 c qxplain 291/327 54.67/52.86 c qxplain 310/327 54.78/52.96 c qxplain 319/327 54.88/53.05 c qxplain 324/327 54.97/53.14 c qxplain 326/327 55.07/53.24 c qxplain 327/327 55.17/53.33 c 308619[?] -76891[?] 76382[?] is mandatory 55.17/53.33 c qxplain 326/326 55.27/53.42 c 308622[?] -76890[?] 76888[?] is mandatory 55.27/53.42 c qxplain 324/325 55.37/53.52 c qxplain 325/325 55.47/53.61 c 308623[?] -76892[?] 76890[?] 76891[?] is mandatory 55.47/53.61 c qxplain 324/324 55.57/53.71 c 308633[?] -76895[?] 76383[?] is mandatory 55.57/53.71 c qxplain 319/323 55.67/53.80 c qxplain 322/323 55.67/53.89 c qxplain 323/323 55.77/53.99 c 308636[?] -76894[?] 76892[?] is mandatory 55.77/53.99 c qxplain 322/322 55.87/54.08 c 308637[?] -76896[?] 76894[?] 76895[?] is mandatory 55.87/54.08 c qxplain 319/321 55.97/54.18 c qxplain 321/321 56.07/54.27 c 308647[?] -76899[?] 76384[?] is mandatory 56.07/54.27 c qxplain 319/320 56.17/54.36 c qxplain 320/320 56.27/54.46 c 308650[?] -76898[?] 76896[?] is mandatory 56.27/54.46 c qxplain 319/319 56.37/54.55 c 308651[?] -76900[?] 76898[?] 76899[?] is mandatory 56.37/54.55 c qxplain 310/318 56.47/54.65 c qxplain 315/318 56.57/54.74 c qxplain 317/318 56.67/54.83 c qxplain 318/318 56.77/54.93 c 308661[?] -76903[?] 76385[?] is mandatory 56.77/54.93 c qxplain 317/317 56.87/55.02 c 308664[?] -76902[?] 76900[?] is mandatory 56.87/55.02 c qxplain 315/316 56.97/55.12 c qxplain 316/316 57.07/55.21 c 308665[?] -76904[?] 76902[?] 76903[?] is mandatory 57.07/55.21 c qxplain 315/315 57.17/55.30 c 308675[?] -76907[?] 76386[?] is mandatory 57.17/55.30 c qxplain 310/314 57.17/55.40 c qxplain 313/314 57.27/55.49 c qxplain 314/314 57.37/55.58 c 308678[?] -76906[?] 76904[?] is mandatory 57.37/55.58 c qxplain 313/313 57.47/55.68 c 308679[?] -76908[?] 76906[?] 76907[?] is mandatory 57.47/55.68 c qxplain 310/312 57.57/55.77 c qxplain 312/312 57.67/55.87 c 308689[?] -76911[?] 76387[?] is mandatory 57.67/55.87 c qxplain 310/311 57.77/55.96 c qxplain 311/311 57.87/56.06 c 308692[?] -76910[?] 76908[?] is mandatory 57.87/56.06 c qxplain 310/310 57.97/56.15 c 308693[?] -76912[?] 76910[?] 76911[?] is mandatory 57.97/56.15 c qxplain 291/309 58.07/56.24 c qxplain 301/309 58.17/56.34 c qxplain 306/309 58.27/56.43 c qxplain 308/309 58.37/56.52 c qxplain 309/309 58.47/56.62 c 308703[?] -76915[?] 76388[?] is mandatory 58.47/56.62 c qxplain 308/308 58.56/56.71 c 308706[?] -76914[?] 76912[?] is mandatory 58.56/56.71 c qxplain 306/307 58.66/56.81 c qxplain 307/307 58.76/56.90 c 308707[?] -76916[?] 76914[?] 76915[?] is mandatory 58.76/56.90 c qxplain 306/306 58.76/56.99 c 308717[?] -76919[?] 76389[?] is mandatory 58.76/56.99 c qxplain 301/305 58.86/57.09 c qxplain 304/305 58.96/57.18 c qxplain 305/305 59.06/57.27 c 308720[?] -76918[?] 76916[?] is mandatory 59.06/57.27 c qxplain 304/304 59.17/57.37 c 308721[?] -76920[?] 76918[?] 76919[?] is mandatory 59.17/57.37 c qxplain 301/303 59.27/57.46 c qxplain 303/303 59.36/57.55 c 308731[?] -76923[?] 76390[?] is mandatory 59.36/57.55 c qxplain 301/302 59.46/57.65 c qxplain 302/302 59.56/57.74 c 308734[?] -76922[?] 76920[?] is mandatory 59.56/57.74 c qxplain 301/301 59.66/57.84 c 308735[?] -76924[?] 76922[?] 76923[?] is mandatory 59.66/57.84 c qxplain 291/300 59.76/57.93 c qxplain 296/300 59.87/58.03 c qxplain 299/300 59.96/58.13 c qxplain 300/300 60.07/58.23 c 308745[?] -76927[?] 76391[?] is mandatory 60.07/58.23 c qxplain 299/299 60.16/58.32 c 308748[?] -76926[?] 76924[?] is mandatory 60.16/58.32 c qxplain 296/298 60.64/58.61 c qxplain 298/298 60.74/58.71 c 308749[?] -76928[?] 76926[?] 76927[?] is mandatory 60.74/58.71 c qxplain 296/297 60.84/58.80 c qxplain 297/297 60.84/58.90 c 308759[?] -76931[?] 76392[?] is mandatory 60.84/58.90 c qxplain 296/296 60.94/58.99 c 308762[?] -76930[?] 76928[?] is mandatory 60.94/58.99 c qxplain 291/295 61.04/59.09 c qxplain 294/295 61.14/59.18 c qxplain 295/295 61.24/59.28 c 308763[?] -76932[?] 76930[?] 76931[?] is mandatory 61.24/59.28 c qxplain 294/294 61.34/59.37 c 308773[?] -76935[?] 76393[?] is mandatory 61.34/59.37 c qxplain 291/293 61.44/59.47 c qxplain 293/293 61.54/59.56 c 308776[?] -76934[?] 76932[?] is mandatory 61.54/59.56 c qxplain 291/292 61.65/59.66 c qxplain 292/292 61.74/59.75 c 308777[?] -76936[?] 76934[?] 76935[?] is mandatory 61.74/59.75 c qxplain 291/291 61.84/59.85 c 308787[?] -76939[?] 76394[?] is mandatory 61.84/59.85 c qxplain 0/290 61.94/59.94 c qxplain 146/290 62.04/60.04 c qxplain 219/290 62.14/60.13 c qxplain 255/290 62.24/60.23 c qxplain 273/290 62.34/60.32 c qxplain 282/290 62.44/60.42 c qxplain 287/290 62.54/60.51 c qxplain 289/290 62.64/60.61 c qxplain 290/290 62.64/60.70 c 308790[?] -76938[?] 76936[?] is mandatory 62.64/60.70 c qxplain 289/289 62.74/60.80 c 308791[?] -76940[?] 76938[?] 76939[?] is mandatory 62.74/60.80 c qxplain 287/288 62.84/60.89 c qxplain 288/288 62.94/60.99 c 308801[?] -76943[?] 76395[?] is mandatory 62.94/60.99 c qxplain 287/287 63.04/61.08 c 308804[?] -76942[?] 76940[?] is mandatory 63.04/61.08 c qxplain 282/286 63.14/61.17 c qxplain 285/286 63.24/61.27 c qxplain 286/286 63.34/61.36 c 308805[?] -76944[?] 76942[?] 76943[?] is mandatory 63.34/61.36 c qxplain 285/285 63.44/61.46 c 308815[?] -76947[?] 76396[?] is mandatory 63.44/61.46 c qxplain 282/284 63.54/61.55 c qxplain 284/284 63.64/61.65 c 308818[?] -76946[?] 76944[?] is mandatory 63.64/61.65 c qxplain 282/283 63.74/61.74 c qxplain 283/283 63.84/61.84 c 308819[?] -76948[?] 76946[?] 76947[?] is mandatory 63.84/61.84 c qxplain 282/282 63.94/61.93 c 308829[?] -76951[?] 76397[?] is mandatory 63.94/61.93 c qxplain 273/281 64.04/62.03 c qxplain 278/281 64.15/62.12 c qxplain 280/281 64.25/62.22 c qxplain 281/281 64.35/62.31 c 308832[?] -76950[?] 76948[?] is mandatory 64.35/62.31 c qxplain 280/280 64.45/62.41 c 308833[?] -76952[?] 76950[?] 76951[?] is mandatory 64.45/62.41 c qxplain 278/279 64.55/62.50 c qxplain 279/279 64.55/62.59 c 308843[?] -76955[?] 76398[?] is mandatory 64.55/62.59 c qxplain 278/278 64.65/62.69 c 308846[?] -76954[?] 76952[?] is mandatory 64.65/62.69 c qxplain 273/277 64.75/62.78 c qxplain 276/277 64.85/62.88 c qxplain 277/277 64.95/62.97 c 308847[?] -76956[?] 76954[?] 76955[?] is mandatory 64.95/62.97 c qxplain 276/276 65.05/63.07 c 308857[?] -76959[?] 76399[?] is mandatory 65.05/63.07 c qxplain 273/275 65.15/63.16 c qxplain 275/275 65.25/63.26 c 308860[?] -76958[?] 76956[?] is mandatory 65.25/63.26 c qxplain 273/274 65.35/63.35 c qxplain 274/274 65.45/63.45 c 308861[?] -76960[?] 76958[?] 76959[?] is mandatory 65.45/63.45 c qxplain 273/273 65.55/63.54 c 308871[?] -76963[?] 76400[?] is mandatory 65.55/63.54 c qxplain 255/272 65.65/63.63 c qxplain 264/272 65.75/63.73 c qxplain 269/272 65.85/63.82 c qxplain 271/272 65.95/63.92 c qxplain 272/272 66.05/64.01 c 308874[?] -76962[?] 76960[?] is mandatory 66.05/64.01 c qxplain 271/271 66.15/64.11 c 308875[?] -76964[?] 76962[?] 76963[?] is mandatory 66.15/64.11 c qxplain 269/270 66.25/64.20 c qxplain 270/270 66.25/64.30 c 308885[?] -76967[?] 76401[?] is mandatory 66.25/64.30 c qxplain 269/269 66.35/64.39 c 308888[?] -76966[?] 76964[?] is mandatory 66.35/64.39 c qxplain 264/268 66.45/64.49 c qxplain 267/268 66.54/64.58 c qxplain 268/268 66.64/64.68 c 308889[?] -76968[?] 76966[?] 76967[?] is mandatory 66.64/64.68 c qxplain 267/267 66.74/64.77 c 308899[?] -76971[?] 76402[?] is mandatory 66.74/64.77 c qxplain 264/266 66.84/64.86 c qxplain 266/266 66.94/64.96 c 308902[?] -76970[?] 76968[?] is mandatory 66.94/64.96 c qxplain 264/265 67.05/65.05 c qxplain 265/265 67.15/65.15 c 308903[?] -76972[?] 76970[?] 76971[?] is mandatory 67.15/65.15 c qxplain 264/264 67.24/65.25 c 308913[?] -76975[?] 76403[?] is mandatory 67.24/65.25 c qxplain 255/263 67.34/65.34 c qxplain 260/263 67.44/65.43 c qxplain 262/263 67.54/65.53 c qxplain 263/263 67.64/65.62 c 308916[?] -76974[?] 76972[?] is mandatory 67.64/65.62 c qxplain 262/262 67.74/65.72 c 308917[?] -76976[?] 76974[?] 76975[?] is mandatory 67.74/65.72 c qxplain 260/261 67.84/65.81 c qxplain 261/261 67.94/65.91 c 308927[?] -76979[?] 76404[?] is mandatory 67.94/65.91 c qxplain 260/260 68.04/66.00 c 308930[?] -76978[?] 76976[?] is mandatory 68.04/66.00 c qxplain 255/259 68.04/66.10 c qxplain 258/259 68.15/66.19 c qxplain 259/259 68.25/66.28 c 308931[?] -76980[?] 76978[?] 76979[?] is mandatory 68.25/66.28 c qxplain 258/258 68.34/66.38 c 308941[?] -76983[?] 76405[?] is mandatory 68.34/66.38 c qxplain 255/257 68.44/66.48 c qxplain 257/257 68.54/66.57 c 308944[?] -76982[?] 76980[?] is mandatory 68.54/66.57 c qxplain 255/256 68.64/66.67 c qxplain 256/256 68.74/66.76 c 308945[?] -76984[?] 76982[?] 76983[?] is mandatory 68.74/66.76 c qxplain 255/255 68.84/66.86 c 308952[?] 76792[?] 76984[?] is mandatory 68.84/66.86 c qxplain 219/254 68.94/66.95 c qxplain 237/254 69.04/67.05 c qxplain 246/254 69.14/67.14 c qxplain 251/254 69.25/67.24 c qxplain 253/254 69.35/67.33 c qxplain 254/254 69.44/67.43 c 308991[?] 77064[?] -76377[?] is mandatory 69.44/67.43 c qxplain 253/253 69.54/67.53 c 308998[?] 77065[?] -77064[?] is mandatory 69.54/67.53 c qxplain 251/252 69.64/67.62 c qxplain 252/252 69.74/67.71 c 309003[?] 77066[?] 76378[?] is mandatory 69.74/67.72 c qxplain 251/251 69.85/67.81 c 309007[?] 77067[?] -77066[?] -77065[?] is mandatory 69.85/67.81 c qxplain 246/250 69.95/67.90 c qxplain 249/250 70.05/68.00 c qxplain 250/250 70.05/68.09 c 309011[?] 77069[?] -77067[?] is mandatory 70.05/68.09 c qxplain 249/249 70.15/68.19 c 309017[?] 77070[?] -76379[?] is mandatory 70.15/68.19 c qxplain 246/248 70.25/68.28 c qxplain 248/248 70.36/68.38 c 309020[?] 77071[?] -77069[?] -77070[?] is mandatory 70.36/68.38 c qxplain 246/247 70.46/68.47 c qxplain 247/247 70.55/68.57 c 309024[?] 77073[?] -77071[?] is mandatory 70.55/68.57 c qxplain 246/246 70.65/68.66 c 309029[?] 77074[?] 76380[?] is mandatory 70.65/68.66 c qxplain 237/245 70.75/68.75 c qxplain 242/245 70.85/68.85 c qxplain 244/245 70.95/68.94 c qxplain 245/245 71.05/69.04 c 309033[?] 77075[?] -77073[?] -77074[?] is mandatory 71.05/69.04 c qxplain 244/244 71.15/69.13 c 309037[?] 77077[?] -77075[?] is mandatory 71.15/69.13 c qxplain 242/243 71.25/69.23 c qxplain 243/243 71.35/69.32 c 309043[?] 77078[?] 76381[?] is mandatory 71.35/69.32 c qxplain 242/242 71.46/69.42 c 309047[?] 77079[?] -77078[?] -77077[?] is mandatory 71.46/69.42 c qxplain 237/241 71.56/69.51 c qxplain 240/241 71.65/69.61 c qxplain 241/241 71.75/69.70 c 309051[?] 77081[?] -77079[?] is mandatory 71.75/69.70 c qxplain 240/240 71.85/69.80 c 309057[?] 77082[?] 76382[?] is mandatory 71.85/69.80 c qxplain 237/239 71.85/69.90 c qxplain 239/239 71.95/69.99 c 309061[?] 77083[?] -77081[?] -77082[?] is mandatory 71.95/69.99 c qxplain 237/238 72.05/70.08 c qxplain 238/238 72.15/70.18 c 309065[?] 77085[?] -77083[?] is mandatory 72.15/70.18 c qxplain 237/237 72.25/70.27 c 309071[?] 77086[?] 76383[?] is mandatory 72.25/70.27 c qxplain 219/236 72.35/70.37 c qxplain 228/236 72.45/70.46 c qxplain 233/236 72.56/70.56 c qxplain 235/236 72.66/70.65 c qxplain 236/236 72.75/70.75 c 309075[?] 77087[?] -77085[?] -77086[?] is mandatory 72.75/70.75 c qxplain 235/235 72.85/70.84 c 309079[?] 77089[?] -77087[?] is mandatory 72.85/70.84 c qxplain 233/234 72.95/70.94 c qxplain 234/234 73.05/71.03 c 309085[?] 77090[?] 76384[?] is mandatory 73.05/71.03 c qxplain 233/233 73.15/71.12 c 309089[?] 77091[?] -77090[?] -77089[?] is mandatory 73.15/71.12 c qxplain 228/232 73.25/71.22 c qxplain 231/232 73.35/71.31 c qxplain 232/232 73.45/71.41 c 309093[?] 77093[?] -77091[?] is mandatory 73.45/71.41 c qxplain 231/231 73.55/71.50 c 309099[?] 77094[?] 76385[?] is mandatory 73.55/71.50 c qxplain 228/230 73.55/71.60 c qxplain 230/230 73.65/71.69 c 309103[?] 77095[?] -77093[?] -77094[?] is mandatory 73.65/71.69 c qxplain 228/229 73.75/71.79 c qxplain 229/229 73.85/71.88 c 309107[?] 77097[?] -77095[?] is mandatory 73.85/71.88 c qxplain 228/228 73.95/71.98 c 309113[?] 77098[?] 76386[?] is mandatory 73.95/71.98 c qxplain 219/227 74.05/72.07 c qxplain 224/227 74.15/72.17 c qxplain 226/227 74.25/72.26 c qxplain 227/227 74.35/72.36 c 309117[?] 77099[?] -77097[?] -77098[?] is mandatory 74.35/72.36 c qxplain 226/226 74.45/72.45 c 309121[?] 77101[?] -77099[?] is mandatory 74.45/72.45 c qxplain 224/225 74.55/72.55 c qxplain 225/225 74.65/72.64 c 309127[?] 77102[?] 76387[?] is mandatory 74.65/72.64 c qxplain 224/224 74.75/72.74 c 309131[?] 77103[?] -77102[?] -77101[?] is mandatory 74.75/72.74 c qxplain 219/223 74.85/72.83 c qxplain 222/223 74.95/72.92 c qxplain 223/223 75.04/73.02 c 309135[?] 77105[?] -77103[?] is mandatory 75.04/73.02 c qxplain 222/222 75.14/73.11 c 309141[?] 77106[?] 76388[?] is mandatory 75.14/73.11 c qxplain 219/221 75.24/73.21 c qxplain 221/221 75.34/73.30 c 309145[?] 77107[?] -77105[?] -77106[?] is mandatory 75.34/73.30 c qxplain 219/220 75.34/73.40 c qxplain 220/220 75.44/73.49 c 309149[?] 77109[?] -77107[?] is mandatory 75.44/73.49 c qxplain 219/219 75.54/73.59 c 309155[?] 77110[?] 76389[?] is mandatory 75.54/73.59 c qxplain 146/218 75.64/73.68 c qxplain 183/218 75.74/73.78 c qxplain 201/218 75.85/73.87 c qxplain 210/218 75.95/73.96 c qxplain 215/218 76.04/74.06 c qxplain 217/218 76.14/74.15 c qxplain 218/218 76.24/74.25 c 309159[?] 77111[?] -77109[?] -77110[?] is mandatory 76.24/74.25 c qxplain 217/217 76.34/74.34 c 309163[?] 77113[?] -77111[?] is mandatory 76.34/74.34 c qxplain 215/216 76.44/74.44 c qxplain 216/216 76.54/74.53 c 309169[?] 77114[?] 76390[?] is mandatory 76.54/74.53 c qxplain 215/215 76.64/74.63 c 309173[?] 77115[?] -77114[?] -77113[?] is mandatory 76.64/74.63 c qxplain 210/214 76.74/74.72 c qxplain 213/214 76.84/74.82 c qxplain 214/214 76.95/74.91 c 309177[?] 77117[?] -77115[?] is mandatory 76.95/74.91 c qxplain 213/213 77.05/75.01 c 309183[?] 77118[?] 76391[?] is mandatory 77.05/75.01 c qxplain 210/212 77.14/75.10 c qxplain 212/212 77.14/75.19 c 309187[?] 77119[?] -77117[?] -77118[?] is mandatory 77.14/75.19 c qxplain 210/211 77.24/75.29 c qxplain 211/211 77.34/75.38 c 309191[?] 77121[?] -77119[?] is mandatory 77.34/75.38 c qxplain 210/210 77.44/75.48 c 309197[?] 77122[?] 76392[?] is mandatory 77.44/75.48 c qxplain 201/209 77.54/75.57 c qxplain 206/209 77.65/75.67 c qxplain 208/209 77.75/75.77 c qxplain 209/209 77.85/75.86 c 309201[?] 77123[?] -77121[?] -77122[?] is mandatory 77.85/75.86 c qxplain 208/208 77.95/75.96 c 309205[?] 77125[?] -77123[?] is mandatory 77.95/75.96 c qxplain 206/207 78.05/76.05 c qxplain 207/207 78.15/76.15 c 309211[?] 77126[?] 76393[?] is mandatory 78.15/76.15 c qxplain 206/206 78.25/76.24 c 309215[?] 77127[?] -77126[?] -77125[?] is mandatory 78.25/76.24 c qxplain 201/205 78.35/76.34 c qxplain 204/205 78.45/76.43 c qxplain 205/205 78.55/76.53 c 309219[?] 77129[?] -77127[?] is mandatory 78.55/76.53 c qxplain 204/204 78.65/76.62 c 309225[?] 77130[?] 76394[?] is mandatory 78.65/76.62 c qxplain 201/203 78.75/76.72 c qxplain 203/203 78.85/76.81 c 309229[?] 77131[?] -77129[?] -77130[?] is mandatory 78.85/76.81 c qxplain 201/202 78.95/76.91 c qxplain 202/202 79.05/77.00 c 309233[?] 77133[?] -77131[?] is mandatory 79.05/77.00 c qxplain 201/201 79.05/77.10 c 309239[?] 77134[?] 76395[?] is mandatory 79.05/77.10 c qxplain 183/200 79.15/77.19 c qxplain 192/200 79.25/77.29 c qxplain 197/200 79.35/77.38 c qxplain 199/200 79.45/77.48 c qxplain 200/200 79.55/77.57 c 309243[?] 77135[?] -77133[?] -77134[?] is mandatory 79.55/77.57 c qxplain 199/199 79.65/77.67 c 309247[?] 77137[?] -77135[?] is mandatory 79.65/77.67 c qxplain 197/198 79.75/77.76 c qxplain 198/198 79.85/77.85 c 309253[?] 77138[?] 76396[?] is mandatory 79.85/77.85 c qxplain 197/197 79.95/77.95 c 309257[?] 77139[?] -77138[?] -77137[?] is mandatory 79.95/77.95 c qxplain 192/196 80.04/78.04 c qxplain 195/196 80.14/78.14 c qxplain 196/196 80.25/78.23 c 309261[?] 77141[?] -77139[?] is mandatory 80.25/78.23 c qxplain 195/195 80.35/78.33 c 309267[?] 77142[?] 76397[?] is mandatory 80.35/78.33 c qxplain 192/194 80.44/78.42 c qxplain 194/194 80.54/78.52 c 309271[?] 77143[?] -77141[?] -77142[?] is mandatory 80.54/78.52 c qxplain 192/193 80.64/78.61 c qxplain 193/193 80.74/78.71 c 309275[?] 77145[?] -77143[?] is mandatory 80.74/78.71 c qxplain 192/192 80.84/78.80 c 309281[?] 77146[?] 76398[?] is mandatory 80.84/78.80 c qxplain 183/191 80.84/78.90 c qxplain 188/191 80.94/78.99 c qxplain 190/191 81.04/79.09 c qxplain 191/191 81.14/79.18 c 309285[?] 77147[?] -77145[?] -77146[?] is mandatory 81.14/79.18 c qxplain 190/190 81.24/79.28 c 309289[?] 77149[?] -77147[?] is mandatory 81.24/79.28 c qxplain 188/189 81.35/79.37 c qxplain 189/189 81.45/79.47 c 309295[?] 77150[?] 76399[?] is mandatory 81.45/79.47 c qxplain 188/188 81.54/79.56 c 309299[?] 77151[?] -77150[?] -77149[?] is mandatory 81.54/79.56 c qxplain 183/187 81.64/79.66 c qxplain 186/187 81.74/79.75 c qxplain 187/187 81.84/79.85 c 309303[?] 77153[?] -77151[?] is mandatory 81.84/79.85 c qxplain 186/186 81.94/79.94 c 309309[?] 77154[?] 76400[?] is mandatory 81.94/79.94 c qxplain 183/185 82.04/80.04 c qxplain 185/185 82.14/80.13 c 309313[?] 77155[?] -77153[?] -77154[?] is mandatory 82.14/80.13 c qxplain 183/184 82.25/80.23 c qxplain 184/184 82.35/80.32 c 309317[?] 77157[?] -77155[?] is mandatory 82.35/80.32 c qxplain 183/183 82.46/80.42 c 309323[?] 77158[?] 76401[?] is mandatory 82.46/80.42 c qxplain 146/182 82.56/80.51 c qxplain 165/182 82.65/80.61 c qxplain 174/182 82.75/80.70 c qxplain 179/182 82.75/80.80 c qxplain 181/182 82.85/80.89 c qxplain 182/182 82.95/80.99 c 309327[?] 77159[?] -77157[?] -77158[?] is mandatory 82.95/80.99 c qxplain 181/181 83.05/81.08 c 309331[?] 77161[?] -77159[?] is mandatory 83.05/81.08 c qxplain 179/180 83.15/81.18 c qxplain 180/180 83.25/81.27 c 309337[?] 77162[?] 76402[?] is mandatory 83.25/81.27 c qxplain 179/179 83.35/81.37 c 309341[?] 77163[?] -77162[?] -77161[?] is mandatory 83.35/81.37 c qxplain 174/178 83.45/81.46 c qxplain 177/178 83.55/81.56 c qxplain 178/178 83.65/81.66 c 309345[?] 77165[?] -77163[?] is mandatory 83.65/81.66 c qxplain 177/177 83.75/81.75 c 309351[?] 77166[?] 76403[?] is mandatory 83.75/81.75 c qxplain 174/176 83.85/81.85 c qxplain 176/176 83.95/81.94 c 309355[?] 77167[?] -77165[?] -77166[?] is mandatory 83.95/81.94 c qxplain 174/175 84.05/82.03 c qxplain 175/175 84.15/82.13 c 309359[?] 77169[?] -77167[?] is mandatory 84.15/82.13 c qxplain 174/174 84.25/82.22 c 309365[?] 77170[?] 76404[?] is mandatory 84.25/82.22 c qxplain 165/173 84.35/82.32 c qxplain 170/173 84.45/82.42 c qxplain 172/173 84.55/82.51 c qxplain 173/173 84.65/82.61 c 309369[?] 77171[?] -77169[?] -77170[?] is mandatory 84.65/82.61 c qxplain 172/172 84.65/82.70 c 309373[?] 77173[?] -77171[?] is mandatory 84.65/82.70 c qxplain 170/171 84.75/82.80 c qxplain 171/171 84.85/82.89 c 309379[?] 77174[?] 76405[?] is mandatory 84.85/82.89 c qxplain 170/170 84.95/82.99 c 309383[?] 77175[?] -77174[?] -77173[?] is mandatory 84.95/82.99 c qxplain 165/169 85.05/83.08 c qxplain 168/169 85.15/83.17 c qxplain 169/169 85.25/83.27 c 309387[?] 77177[?] -77175[?] is mandatory 85.25/83.27 c qxplain 168/168 85.35/83.36 c 309394[?] -76985[?] -77177[?] is mandatory 85.35/83.36 c qxplain 165/167 85.45/83.46 c qxplain 167/167 85.54/83.55 c 323926[?] -83527[?] -76377[?] is mandatory 85.54/83.55 c qxplain 165/166 85.64/83.65 c qxplain 166/166 85.75/83.74 c 323993[?] -83559[?] 83527[?] is mandatory 85.75/83.74 c qxplain 165/165 85.85/83.84 c 323995[?] -83560[?] 83559[?] is mandatory 85.85/83.84 c qxplain 146/164 85.95/83.94 c qxplain 156/164 86.05/84.03 c qxplain 161/164 86.15/84.13 c qxplain 163/164 86.25/84.22 c qxplain 164/164 86.35/84.32 c 323998[?] -83561[?] 83560[?] is mandatory 86.35/84.32 c qxplain 163/163 86.45/84.41 c 324001[?] -83562[?] 83561[?] is mandatory 86.45/84.41 c qxplain 161/162 86.55/84.51 c qxplain 162/162 86.65/84.60 c 324004[?] -83563[?] 83562[?] is mandatory 86.65/84.60 c qxplain 161/161 86.75/84.70 c 324007[?] -83564[?] 83563[?] is mandatory 86.75/84.70 c qxplain 156/160 86.75/84.79 c qxplain 159/160 86.85/84.89 c qxplain 160/160 86.95/84.98 c 324010[?] -83565[?] 83564[?] is mandatory 86.95/84.98 c qxplain 159/159 87.05/85.08 c 324013[?] -83566[?] 83565[?] is mandatory 87.05/85.08 c qxplain 156/158 87.15/85.17 c qxplain 158/158 87.25/85.27 c 324016[?] -83567[?] 83566[?] is mandatory 87.25/85.27 c qxplain 156/157 87.35/85.36 c qxplain 157/157 87.45/85.46 c 324019[?] -83568[?] 83567[?] is mandatory 87.45/85.46 c qxplain 156/156 87.54/85.55 c 324022[?] -83569[?] 83568[?] is mandatory 87.54/85.55 c qxplain 146/155 87.64/85.65 c qxplain 151/155 87.74/85.74 c qxplain 154/155 87.84/85.84 c qxplain 155/155 87.95/85.93 c 324025[?] -83570[?] 83569[?] is mandatory 87.95/85.93 c qxplain 154/154 88.05/86.03 c 324028[?] -83571[?] 83570[?] is mandatory 88.05/86.03 c qxplain 151/153 88.14/86.12 c qxplain 153/153 88.24/86.22 c 324031[?] -83572[?] 83571[?] is mandatory 88.24/86.22 c qxplain 151/152 88.34/86.31 c qxplain 152/152 88.44/86.41 c 324034[?] -83573[?] 83572[?] is mandatory 88.44/86.41 c qxplain 151/151 88.54/86.50 c 324037[?] -83574[?] 83573[?] is mandatory 88.54/86.50 c qxplain 146/150 88.54/86.60 c qxplain 149/150 88.64/86.69 c qxplain 150/150 88.74/86.78 c 324040[?] -83575[?] 83574[?] is mandatory 88.74/86.78 c qxplain 149/149 88.84/86.88 c 324043[?] -83576[?] 83575[?] is mandatory 88.84/86.88 c qxplain 146/148 88.94/86.98 c qxplain 148/148 89.05/87.07 c 324046[?] -83577[?] 83576[?] is mandatory 89.05/87.07 c qxplain 146/147 89.15/87.16 c qxplain 147/147 89.24/87.26 c 324049[?] -83578[?] 83577[?] is mandatory 89.24/87.26 c qxplain 146/146 89.34/87.35 c 324052[?] -83579[?] 83578[?] is mandatory 89.34/87.35 c qxplain 0/145 89.44/87.45 c qxplain 73/145 89.54/87.54 c qxplain 110/145 89.64/87.64 c qxplain 128/145 89.74/87.73 c qxplain 137/145 89.84/87.83 c qxplain 142/145 89.94/87.93 c qxplain 144/145 90.04/88.02 c qxplain 145/145 90.15/88.12 c 324055[?] -83580[?] 83579[?] is mandatory 90.15/88.12 c qxplain 144/144 90.25/88.21 c 324058[?] -83581[?] 83580[?] is mandatory 90.25/88.21 c qxplain 142/143 90.34/88.31 c qxplain 143/143 90.44/88.40 c 324061[?] -83582[?] 83581[?] is mandatory 90.44/88.40 c qxplain 142/142 90.44/88.49 c 324064[?] -83583[?] 83582[?] is mandatory 90.44/88.49 c qxplain 137/141 90.54/88.59 c qxplain 140/141 90.64/88.68 c qxplain 141/141 90.74/88.78 c 324067[?] -83584[?] 83583[?] is mandatory 90.74/88.78 c qxplain 140/140 90.84/88.87 c 324070[?] -83585[?] 83584[?] is mandatory 90.84/88.87 c qxplain 137/139 90.94/88.97 c qxplain 139/139 91.04/89.06 c 324073[?] -83586[?] 83585[?] is mandatory 91.04/89.06 c qxplain 137/138 91.14/89.16 c qxplain 138/138 91.25/89.25 c 324076[?] -83587[?] 83586[?] is mandatory 91.25/89.25 c qxplain 137/137 91.35/89.34 c 324078[?] -83523[?] 83587[?] is mandatory 91.35/89.34 c qxplain 128/136 91.44/89.44 c qxplain 133/136 91.54/89.53 c qxplain 135/136 91.64/89.63 c qxplain 136/136 91.74/89.72 c 369816[?] 75896[?] 101732[?] is mandatory 91.74/89.72 c qxplain 135/135 91.87/89.83 c 369910[?] -101732[?] -3768[?] 101764[?] is mandatory 91.87/89.83 c qxplain 133/134 91.97/89.92 c qxplain 134/134 92.07/90.02 c 369912[?] 3768[?] 101764[?] is mandatory 92.07/90.02 c qxplain 133/133 92.17/90.11 c 370006[?] -75846[?] 101796[?] is mandatory 92.17/90.11 c qxplain 128/132 92.30/90.21 c qxplain 131/132 92.40/90.31 c qxplain 132/132 92.50/90.40 c 370007[?] -101764[?] 75846[?] 101796[?] is mandatory 92.50/90.40 c qxplain 131/131 92.60/90.50 c 370882[?] -102086[?] 83523[?] is mandatory 92.60/90.50 c qxplain 128/130 92.60/90.59 c qxplain 130/130 92.70/90.69 c 370885[?] 102087[?] 83523[?] is mandatory 92.70/90.69 c qxplain 128/129 92.80/90.79 c qxplain 129/129 92.90/90.88 c 370978[?] -102118[?] 76985[?] 102086[?] is mandatory 92.90/90.88 c qxplain 128/128 93.00/90.97 c 370980[?] 102119[?] 76985[?] -102087[?] is mandatory 93.00/90.97 c qxplain 110/127 93.10/91.07 c qxplain 119/127 93.20/91.16 c qxplain 124/127 93.30/91.26 c qxplain 126/127 93.40/91.35 c qxplain 127/127 93.50/91.45 c 371072[?] -102150[?] 102118[?] is mandatory 93.50/91.45 c qxplain 126/126 93.60/91.54 c 371075[?] 102151[?] -102119[?] is mandatory 93.60/91.54 c qxplain 124/125 93.70/91.64 c qxplain 125/125 93.80/91.74 c 372481[?] -102598[?] 102150[?] -76792[?] is mandatory 93.80/91.74 c qxplain 124/124 93.90/91.83 c 372484[?] 102599[?] -102151[?] -76792[?] is mandatory 93.90/91.83 c qxplain 119/123 94.00/91.93 c qxplain 122/123 94.10/92.02 c qxplain 123/123 94.20/92.12 c 374081[?] -103110[?] 102598[?] -76599[?] is mandatory 94.20/92.12 c qxplain 122/122 94.30/92.22 c 374084[?] 103111[?] -102599[?] -76599[?] is mandatory 94.30/92.22 c qxplain 119/121 94.40/92.31 c qxplain 121/121 94.50/92.41 c 379407[?] -104761[?] 103110[?] -76406[?] is mandatory 94.50/92.41 c qxplain 119/120 94.60/92.50 c qxplain 120/120 94.60/92.60 c 379410[?] 104762[?] -103111[?] -76406[?] is mandatory 94.60/92.60 c qxplain 119/119 94.70/92.69 c 379662[?] 104889[?] 104761[?] is mandatory 94.70/92.69 c qxplain 110/118 94.80/92.79 c qxplain 115/118 94.90/92.88 c qxplain 117/118 95.00/92.98 c qxplain 118/118 95.10/93.07 c 379669[?] 104825[?] -104889[?] is mandatory 95.10/93.07 c qxplain 117/117 95.20/93.17 c 380366[?] -104825[?] 102069[?] 105145[?] is mandatory 95.20/93.17 c qxplain 115/116 95.29/93.26 c qxplain 116/116 95.39/93.36 c 380368[?] -102069[?] -104762[?] 105146[?] is mandatory 95.39/93.36 c qxplain 115/115 95.50/93.45 c 394239[?] -105145[?] -109818[?] is mandatory 95.50/93.45 c qxplain 110/114 95.60/93.55 c qxplain 113/114 95.71/93.64 c qxplain 114/114 95.81/93.74 c 394241[?] -105146[?] -109819[?] is mandatory 95.81/93.74 c qxplain 113/113 95.90/93.83 c 394367[?] 109818[?] -109882[?] is mandatory 95.90/93.83 c qxplain 110/112 96.00/93.93 c qxplain 112/112 96.10/94.02 c 394369[?] 109882[?] -109883[?] is mandatory 96.10/94.02 c qxplain 110/111 96.20/94.12 c qxplain 111/111 96.30/94.21 c 394370[?] 109819[?] -109883[?] is mandatory 96.30/94.21 c qxplain 110/110 96.40/94.31 c 394372[?] 109883[?] -109884[?] is mandatory 96.40/94.31 c qxplain 73/109 96.50/94.40 c qxplain 92/109 96.50/94.50 c qxplain 101/109 96.60/94.59 c qxplain 106/109 96.70/94.69 c qxplain 108/109 96.81/94.78 c qxplain 109/109 96.91/94.88 c 394375[?] 109884[?] -109885[?] is mandatory 96.91/94.88 c qxplain 108/108 97.00/94.97 c 394378[?] 109885[?] -109886[?] is mandatory 97.00/94.97 c qxplain 106/107 97.10/95.07 c qxplain 107/107 97.20/95.16 c 394381[?] 109886[?] -109887[?] is mandatory 97.20/95.16 c qxplain 106/106 97.30/95.26 c 394384[?] 109887[?] -109888[?] is mandatory 97.30/95.26 c qxplain 101/105 97.40/95.35 c qxplain 104/105 97.50/95.45 c qxplain 105/105 97.60/95.54 c 394387[?] 109888[?] -109889[?] is mandatory 97.60/95.54 c qxplain 104/104 97.70/95.64 c 394390[?] 109889[?] -109890[?] is mandatory 97.70/95.64 c qxplain 101/103 97.80/95.73 c qxplain 103/103 97.91/95.83 c 394393[?] 109890[?] -109891[?] is mandatory 97.91/95.83 c qxplain 101/102 98.01/95.92 c qxplain 102/102 98.10/96.02 c 394396[?] 109891[?] -109892[?] is mandatory 98.10/96.02 c qxplain 101/101 98.20/96.11 c 394399[?] 109892[?] -109893[?] is mandatory 98.20/96.11 c qxplain 92/100 98.30/96.21 c qxplain 97/100 98.40/96.30 c qxplain 99/100 98.40/96.40 c qxplain 100/100 98.50/96.49 c 394402[?] 109893[?] -109894[?] is mandatory 98.50/96.49 c qxplain 99/99 98.60/96.59 c 394405[?] 109894[?] -109895[?] is mandatory 98.60/96.59 c qxplain 97/98 98.70/96.68 c qxplain 98/98 98.80/96.77 c 394408[?] 109895[?] -109896[?] is mandatory 98.80/96.77 c qxplain 97/97 98.90/96.87 c 394411[?] 109896[?] -109897[?] is mandatory 98.90/96.87 c qxplain 92/96 99.01/96.96 c qxplain 95/96 99.11/97.06 c qxplain 96/96 99.20/97.15 c 394414[?] 109897[?] -109898[?] is mandatory 99.20/97.15 c qxplain 95/95 99.30/97.25 c 394417[?] 109898[?] -109899[?] is mandatory 99.30/97.25 c qxplain 92/94 99.40/97.34 c qxplain 94/94 99.50/97.44 c 394420[?] 109899[?] -109900[?] is mandatory 99.50/97.44 c qxplain 92/93 99.60/97.53 c qxplain 93/93 99.70/97.63 c 394423[?] 109900[?] -109901[?] is mandatory 99.70/97.63 c qxplain 92/92 99.80/97.72 c 394426[?] 109901[?] -109902[?] is mandatory 99.80/97.72 c qxplain 73/91 99.90/97.82 c qxplain 83/91 100.00/97.91 c qxplain 88/91 100.10/98.01 c qxplain 90/91 100.10/98.10 c qxplain 91/91 100.20/98.20 c 394429[?] 109902[?] -109903[?] is mandatory 100.20/98.20 c qxplain 90/90 100.30/98.29 c 394432[?] 109903[?] -109904[?] is mandatory 100.30/98.29 c qxplain 88/89 100.40/98.39 c qxplain 89/89 100.50/98.48 c 394435[?] 109904[?] -109905[?] is mandatory 100.50/98.48 c qxplain 88/88 100.60/98.58 c 394438[?] 109905[?] -109906[?] is mandatory 100.60/98.58 c qxplain 83/87 100.70/98.67 c qxplain 86/87 100.80/98.76 c qxplain 87/87 100.90/98.86 c 394441[?] 109906[?] -109907[?] is mandatory 100.90/98.86 c qxplain 86/86 101.00/98.95 c 394444[?] 109907[?] -109908[?] is mandatory 101.00/98.95 c qxplain 83/85 101.10/99.05 c qxplain 85/85 101.20/99.14 c 394447[?] 109908[?] -109909[?] is mandatory 101.20/99.14 c qxplain 83/84 101.30/99.24 c qxplain 84/84 101.40/99.33 c 394450[?] 109909[?] -109910[?] is mandatory 101.40/99.33 c qxplain 83/83 101.50/99.43 c 394453[?] 109910[?] -109911[?] is mandatory 101.50/99.43 c qxplain 73/82 101.60/99.52 c qxplain 78/82 101.70/99.62 c qxplain 81/82 101.80/99.71 c qxplain 82/82 101.90/99.81 c 394456[?] 109911[?] -109912[?] is mandatory 101.90/99.81 c qxplain 81/81 102.00/99.90 c 394459[?] 109912[?] -109913[?] is mandatory 102.00/99.90 c qxplain 78/80 102.10/100.00 c qxplain 80/80 102.10/100.09 c 394462[?] 109913[?] -109914[?] is mandatory 102.10/100.09 c qxplain 78/79 102.20/100.19 c qxplain 79/79 102.30/100.28 c 394465[?] 109914[?] -109915[?] is mandatory 102.30/100.28 c qxplain 78/78 102.41/100.38 c 394468[?] 109915[?] -109916[?] is mandatory 102.41/100.38 c qxplain 73/77 102.50/100.48 c qxplain 76/77 102.60/100.57 c qxplain 77/77 102.70/100.67 c 394471[?] 109916[?] -109917[?] is mandatory 102.70/100.67 c qxplain 76/76 102.80/100.76 c 394474[?] 109917[?] -109918[?] is mandatory 102.80/100.76 c qxplain 73/75 102.91/100.85 c qxplain 75/75 103.01/100.95 c 394477[?] 109918[?] -109919[?] is mandatory 103.01/100.95 c qxplain 73/74 103.11/101.04 c qxplain 74/74 103.21/101.14 c 394480[?] 109919[?] -109920[?] is mandatory 103.21/101.14 c qxplain 73/73 103.31/101.23 c 394483[?] 109920[?] -109921[?] is mandatory 103.31/101.23 c qxplain 0/72 103.41/101.33 c qxplain 37/72 103.51/101.42 c qxplain 55/72 103.61/101.52 c qxplain 64/72 103.71/101.61 c qxplain 69/72 103.81/101.71 c qxplain 71/72 103.91/101.80 c qxplain 72/72 103.91/101.89 c 394486[?] 109921[?] -109922[?] is mandatory 103.91/101.89 c qxplain 71/71 104.01/101.99 c 394489[?] 109922[?] -109923[?] is mandatory 104.01/101.99 c qxplain 69/70 104.11/102.08 c qxplain 70/70 104.21/102.18 c 394492[?] 109923[?] -109924[?] is mandatory 104.21/102.18 c qxplain 69/69 104.31/102.27 c 394495[?] 109924[?] -109925[?] is mandatory 104.31/102.27 c qxplain 64/68 104.41/102.37 c qxplain 67/68 104.51/102.46 c qxplain 68/68 104.61/102.56 c 394498[?] 109925[?] -109926[?] is mandatory 104.61/102.56 c qxplain 67/67 104.71/102.65 c 394501[?] 109926[?] -109927[?] is mandatory 104.71/102.65 c qxplain 64/66 104.81/102.75 c qxplain 66/66 104.91/102.84 c 394504[?] 109927[?] -109928[?] is mandatory 104.91/102.84 c qxplain 64/65 105.01/102.94 c qxplain 65/65 105.11/103.03 c 394507[?] 109928[?] -109929[?] is mandatory 105.11/103.03 c qxplain 64/64 105.21/103.13 c 394510[?] 109929[?] -109930[?] is mandatory 105.21/103.13 c qxplain 55/63 105.31/103.22 c qxplain 60/63 105.41/103.31 c qxplain 62/63 105.51/103.41 c qxplain 63/63 105.61/103.50 c 394513[?] 109930[?] -109931[?] is mandatory 105.61/103.50 c qxplain 62/62 105.61/103.60 c 394516[?] 109931[?] -109932[?] is mandatory 105.61/103.60 c qxplain 60/61 105.71/103.69 c qxplain 61/61 105.81/103.79 c 394519[?] 109932[?] -109933[?] is mandatory 105.81/103.79 c qxplain 60/60 105.91/103.88 c 394522[?] 109933[?] -109934[?] is mandatory 105.91/103.88 c qxplain 55/59 106.00/103.98 c qxplain 58/59 106.10/104.07 c qxplain 59/59 106.20/104.17 c 394525[?] 109934[?] -109935[?] is mandatory 106.20/104.17 c qxplain 58/58 106.30/104.26 c 394528[?] 109935[?] -109936[?] is mandatory 106.30/104.26 c qxplain 55/57 106.40/104.35 c qxplain 57/57 106.50/104.45 c 394531[?] 109936[?] -109937[?] is mandatory 106.50/104.45 c qxplain 55/56 106.60/104.54 c qxplain 56/56 106.71/104.64 c 394534[?] 109937[?] -109938[?] is mandatory 106.71/104.64 c qxplain 55/55 106.81/104.73 c 394537[?] 109938[?] -109939[?] is mandatory 106.81/104.73 c qxplain 37/54 106.90/104.83 c qxplain 46/54 107.00/104.92 c qxplain 51/54 107.10/105.02 c qxplain 53/54 107.20/105.11 c qxplain 54/54 107.30/105.21 c 394540[?] 109939[?] -109940[?] is mandatory 107.30/105.21 c qxplain 53/53 107.40/105.30 c 394543[?] 109940[?] -109941[?] is mandatory 107.40/105.30 c qxplain 51/52 107.50/105.40 c qxplain 52/52 107.50/105.49 c 394546[?] 109941[?] -109942[?] is mandatory 107.50/105.49 c qxplain 51/51 107.61/105.59 c 394549[?] 109942[?] -109943[?] is mandatory 107.61/105.59 c qxplain 46/50 107.71/105.68 c qxplain 49/50 107.81/105.78 c qxplain 50/50 107.91/105.87 c 394552[?] 109943[?] -109944[?] is mandatory 107.91/105.87 c qxplain 49/49 108.00/105.97 c 394555[?] 109944[?] -109945[?] is mandatory 108.00/105.97 c qxplain 46/48 108.10/106.06 c qxplain 48/48 108.20/106.16 c 394557[?] 109945[?] -109817[?] is mandatory 108.20/106.16 c qxplain 46/47 108.30/106.25 c qxplain 47/47 108.40/106.35 c 394561[?] 109817[?] -109946[?] is mandatory 108.40/106.35 c qxplain 46/46 108.50/106.44 c 394563[?] 109946[?] -109947[?] is mandatory 108.50/106.44 c qxplain 37/45 108.60/106.54 c qxplain 42/45 108.70/106.63 c qxplain 44/45 108.80/106.73 c qxplain 45/45 108.91/106.82 c 394566[?] -101796[?] -109949[?] is mandatory 108.91/106.82 c qxplain 44/44 109.01/106.92 c 394630[?] 109949[?] -109981[?] is mandatory 109.01/106.92 c qxplain 42/43 109.10/107.01 c qxplain 43/43 109.20/107.10 c 394632[?] 109981[?] -109982[?] is mandatory 109.20/107.10 c qxplain 42/42 109.30/107.20 c 394635[?] 109982[?] -109983[?] is mandatory 109.30/107.20 c qxplain 37/41 109.30/107.29 c qxplain 40/41 109.40/107.39 c qxplain 41/41 109.50/107.48 c 394638[?] 109983[?] -109984[?] is mandatory 109.50/107.48 c qxplain 40/40 109.60/107.58 c 394641[?] 109984[?] -109985[?] is mandatory 109.60/107.58 c qxplain 37/39 109.70/107.67 c qxplain 39/39 109.80/107.77 c 394644[?] 109985[?] -109986[?] is mandatory 109.80/107.77 c qxplain 37/38 109.90/107.86 c qxplain 38/38 110.01/107.96 c 394647[?] 109986[?] -109987[?] is mandatory 110.01/107.96 c qxplain 37/37 110.11/108.05 c 394650[?] 109987[?] -109988[?] is mandatory 110.11/108.05 c qxplain 0/36 110.20/108.15 c qxplain 19/36 110.30/108.24 c qxplain 28/36 110.40/108.34 c qxplain 33/36 110.50/108.43 c qxplain 35/36 110.60/108.53 c qxplain 36/36 110.70/108.62 c 394653[?] 109988[?] -109989[?] is mandatory 110.70/108.62 c qxplain 35/35 110.80/108.72 c 394656[?] 109989[?] -109990[?] is mandatory 110.80/108.72 c qxplain 33/34 110.90/108.81 c qxplain 34/34 111.00/108.91 c 394659[?] 109990[?] -109991[?] is mandatory 111.00/108.91 c qxplain 33/33 111.11/109.00 c 394662[?] 109991[?] -109992[?] is mandatory 111.11/109.00 c qxplain 28/32 111.11/109.10 c qxplain 31/32 111.21/109.19 c qxplain 32/32 111.30/109.29 c 394665[?] 109992[?] -109993[?] is mandatory 111.30/109.29 c qxplain 31/31 111.40/109.38 c 394668[?] 109993[?] -109994[?] is mandatory 111.40/109.38 c qxplain 28/30 111.50/109.48 c qxplain 30/30 111.60/109.57 c 394671[?] 109994[?] -109995[?] is mandatory 111.60/109.57 c qxplain 28/29 111.70/109.66 c qxplain 29/29 111.80/109.76 c 394674[?] 109995[?] -109996[?] is mandatory 111.80/109.76 c qxplain 28/28 111.90/109.86 c 394677[?] 109996[?] -109997[?] is mandatory 111.90/109.86 c qxplain 19/27 112.00/109.95 c qxplain 24/27 112.10/110.05 c qxplain 26/27 112.21/110.14 c qxplain 27/27 112.31/110.24 c 394680[?] 109997[?] -109998[?] is mandatory 112.31/110.24 c qxplain 26/26 112.40/110.33 c 394683[?] 109998[?] -109999[?] is mandatory 112.40/110.33 c qxplain 24/25 112.50/110.42 c qxplain 25/25 112.60/110.52 c 394686[?] 109999[?] -110000[?] is mandatory 112.60/110.52 c qxplain 24/24 112.70/110.61 c 394689[?] 110000[?] -110001[?] is mandatory 112.70/110.61 c qxplain 19/23 112.80/110.71 c qxplain 22/23 112.90/110.80 c qxplain 23/23 112.90/110.90 c 394692[?] 110001[?] -110002[?] is mandatory 112.90/110.90 c qxplain 22/22 113.00/110.99 c 394695[?] 110002[?] -110003[?] is mandatory 113.00/110.99 c qxplain 19/21 113.10/111.09 c qxplain 21/21 113.20/111.18 c 394698[?] 110003[?] -110004[?] is mandatory 113.20/111.18 c qxplain 19/20 113.31/111.27 c qxplain 20/20 113.41/111.37 c 394701[?] 110004[?] -110005[?] is mandatory 113.41/111.37 c qxplain 19/19 113.50/111.46 c 394704[?] 110005[?] -110006[?] is mandatory 113.50/111.46 c qxplain 0/18 113.61/111.56 c qxplain 10/18 113.71/111.65 c qxplain 15/18 113.81/111.75 c qxplain 17/18 113.91/111.84 c qxplain 18/18 114.01/111.94 c 394707[?] 110006[?] -110007[?] is mandatory 114.01/111.94 c qxplain 17/17 114.11/112.03 c 394710[?] 110007[?] -110008[?] is mandatory 114.11/112.03 c qxplain 15/16 114.21/112.13 c qxplain 16/16 114.31/112.22 c 394713[?] 110008[?] -110009[?] is mandatory 114.31/112.22 c qxplain 15/15 114.42/112.31 c 394716[?] 110009[?] -110010[?] is mandatory 114.42/112.31 c qxplain 10/14 114.52/112.41 c qxplain 13/14 114.61/112.51 c qxplain 14/14 114.71/112.60 c 394719[?] 110010[?] -110011[?] is mandatory 114.71/112.60 c qxplain 13/13 114.71/112.69 c 394722[?] 110011[?] -110012[?] is mandatory 114.71/112.69 c qxplain 10/12 114.81/112.79 c qxplain 12/12 114.91/112.88 c 394724[?] 110012[?] -109948[?] is mandatory 114.91/112.88 c qxplain 10/11 115.01/112.98 c qxplain 11/11 115.11/113.07 c 394727[?] 109947[?] -110013[?] is mandatory 115.11/113.07 c qxplain 10/10 115.21/113.17 c 394728[?] 109948[?] -110013[?] is mandatory 115.21/113.17 c qxplain 0/9 115.31/113.26 c qxplain 5/9 115.41/113.36 c qxplain 8/9 115.51/113.45 c qxplain 9/9 115.61/113.55 c 396906[?] -110720[?] 110013[?] is mandatory 115.61/113.55 c qxplain 8/8 115.71/113.64 c 396909[?] -110721[?] 110720[?] is mandatory 115.71/113.64 c qxplain 5/7 115.81/113.73 c qxplain 7/7 115.91/113.83 c 396912[?] -110722[?] 110721[?] is mandatory 115.91/113.83 c qxplain 5/6 116.01/113.92 c qxplain 6/6 116.11/114.02 c 396914[?] -110723[?] 110722[?] is mandatory 116.11/114.02 c qxplain 5/5 116.21/114.11 c 396917[?] -110724[?] 110723[?] is mandatory 116.21/114.11 c qxplain 0/4 116.31/114.21 c qxplain 3/4 116.41/114.30 c qxplain 4/4 116.41/114.39 c 396920[?] -110725[?] 110724[?] is mandatory 116.41/114.39 c qxplain 3/3 116.51/114.49 c 396923[?] -110726[?] 110725[?] is mandatory 116.51/114.49 c qxplain 0/2 116.61/114.58 c qxplain 2/2 116.71/114.68 c 397343[?] 110921[?] 110726[?] is mandatory 116.71/114.68 c qxplain 0/1 116.80/114.77 c qxplain 1/1 116.90/114.87 c 397347[?] 110922[?] -110921[?] is mandatory 116.90/114.87 c qxplain 0/0 117.00/114.96 c 397350[?] 110923[?] -110922[?] is mandatory 118.37/116.14 c Size of the MUS: 582 118.37/116.14 c Unsat core computation wall clock time (in seconds) : 115.293 118.37/116.14 c starts : 1163 118.37/116.14 c conflicts : 4 118.37/116.14 c decisions : 128403431 118.37/116.14 c propagations : 462433213 118.37/116.14 c inspects : 21094210 118.37/116.14 c shortcuts : 0 118.37/116.14 c learnt literals : 0 118.37/116.14 c learnt binary clauses : 0 118.37/116.14 c learnt ternary clauses : 0 118.37/116.14 c learnt constraints : 4 118.37/116.14 c ignored constraints : 0 118.37/116.14 c root simplifications : 0 118.37/116.14 c removed literals (reason simplification) : 0 118.37/116.14 c reason swapping (by a shorter reason) : 0 118.37/116.14 c Calls to reduceDB : 0 118.37/116.14 c speed (assignments/second) : 3.6240847413793105E8 118.37/116.14 c non guided choices 128403358 118.37/116.14 c learnt constraints type 118.37/116.14 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 4 118.37/116.14 c constraints type 118.37/116.14 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 273343 118.37/116.14 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 13085 118.37/116.14 s UNSATISFIABLE 118.37/116.15 v 13085 195261 195263 195265 195267 195269 195271 195279 195281 195282 195284 195285 195287 195288 195290 195291 195293 195294 195295 195755 195758 195763 195766 195771 195775 195783 195801 195803 195806 195809 195812 195815 195817 195929 195934 195937 195942 195946 195961 195966 195969 195974 195978 195992 196014 196016 196018 196363 196368 196371 196376 196380 196394 196416 196418 196420 196628 196633 196636 196641 196645 196653 196654 196657 196658 196660 196662 196664 196666 196668 196670 196672 196674 196676 196678 196680 196682 196684 196686 196688 196690 196692 196694 196696 196698 196700 196702 196704 196706 196708 196786 196789 196791 196800 196803 196804 196814 196817 196818 196828 196831 196832 196842 196845 196846 196856 196859 196860 196870 196873 196874 196884 196887 196888 196898 196901 196902 196912 196915 196916 196926 196929 196930 196940 196943 196944 196954 196957 196958 196968 196971 196972 196982 196985 196986 196996 196999 197000 197010 197013 197014 197024 197027 197028 197038 197041 197042 197052 197055 197056 197066 197069 197070 197080 197083 197084 197094 197097 197098 197108 197111 197112 197122 197125 197126 197136 197139 197140 197147 197227 197230 197232 197241 197244 197245 197255 197258 197259 197269 197272 197273 197283 197286 197287 197297 197300 197301 197311 197314 197315 197325 197328 197329 197339 197342 197343 197353 197356 197357 197367 197370 197371 197381 197384 197385 197395 197398 197399 197409 197412 197413 197423 197426 197427 197437 197440 197441 197451 197454 197455 197465 197468 197469 197479 197482 197483 197493 197496 197497 197507 197510 197511 197521 197524 197525 197535 197538 197539 197549 197552 197553 197563 197566 197567 197577 197580 197581 197588 197668 197671 197673 197682 197685 197686 197696 197699 197700 197710 197713 197714 197724 197727 197728 197738 197741 197742 197752 197755 197756 197766 197769 197770 197780 197783 197784 197794 197797 197798 197808 197811 197812 197822 197825 197826 197836 197839 197840 197850 197853 197854 197864 197867 197868 197878 197881 197882 197892 197895 197896 197906 197909 197910 197920 197923 197924 197934 197937 197938 197948 197951 197952 197962 197965 197966 197976 197979 197980 197990 197993 197994 198004 198007 198008 198018 198021 198022 198029 198068 198075 198080 198084 198088 198094 198097 198101 198106 198110 198114 198120 198124 198128 198134 198138 198142 198148 198152 198156 198162 198166 198170 198176 198180 198184 198190 198194 198198 198204 198208 198212 198218 198222 198226 198232 198236 198240 198246 198250 198254 198260 198264 198268 198274 198278 198282 198288 198292 198296 198302 198306 198310 198316 198320 198324 198330 198334 198338 198344 198348 198352 198358 198362 198366 198372 198376 198380 198386 198390 198394 198400 198404 198408 198414 198418 198422 198428 198432 198436 198442 198446 198450 198456 198460 198464 198471 213003 213070 213072 213075 213078 213081 213084 213087 213090 213093 213096 213099 213102 213105 213108 213111 213114 213117 213120 213123 213126 213129 213132 213135 213138 213141 213144 213147 213150 213153 213155 258893 258987 258989 259083 259084 259959 259962 260055 260057 260149 260152 261558 261561 263158 263161 268484 268487 268739 268746 269443 269445 283316 283318 283444 283446 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 285989 285991 285994 285997 286000 286420 286424 286427 0 118.37/116.15 c Total wall clock time (in seconds) : 116.051
OK 582
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 988) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3493592-1307800922/watcher-3493592-1307800922 -o /tmp/evaluation-result-3493592-1307800922/solver-3493592-1307800922 -C 1800 -W 1850 -M 7680 java -Xms6000m -Xmx6000m -jar sat4j-mus-v20110206.jar HOME/instance-3493592-1307800922.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: 3.16 3.21 2.92 4/218 25407 /proc/meminfo: memFree=31117780/32951124 swapFree=67054524/67111528 [pid=25407] ppid=25405 vsize=30528 CPUtime=0 cores=1,3 /proc/25407/stat : 25407 (java) S 25405 25407 16678 0 -1 4202496 1229 0 0 0 0 0 0 0 22 0 2 0 891690712 31260672 948 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210216450021 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 /proc/25407/statm: 7632 951 726 9 0 383 0 [pid=25407/tid=25408] ppid=25405 vsize=30528 CPUtime=0 cores=1,3 /proc/25407/task/25408/stat : 25408 (java) R 25405 25407 16678 0 -1 4202560 123 0 0 0 0 0 0 0 23 0 2 0 891690713 31260672 957 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210204647168 0 0 4096 0 0 0 0 -1 1 0 0 0 [startup+0.0466239 s] /proc/loadavg: 3.16 3.21 2.92 4/218 25407 /proc/meminfo: memFree=31117780/32951124 swapFree=67054524/67111528 [pid=25407] ppid=25405 vsize=6358280 CPUtime=0.03 cores=1,3 /proc/25407/stat : 25407 (java) S 25405 25407 16678 0 -1 4202496 8123 0 1 0 2 1 0 0 22 0 13 0 891690712 6510878720 7819 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210216450021 0 0 0 16800971 18446744073709551615 0 0 17 1 0 0 0 /proc/25407/statm: 1589570 7819 1685 9 0 1580318 0 [pid=25407/tid=25408] ppid=25405 vsize=6358280 CPUtime=0.03 cores=1,3 /proc/25407/task/25408/stat : 25408 (java) S 25405 25407 16678 0 -1 4202560 6974 0 1 0 2 1 0 0 25 0 13 0 891690713 6510878720 7819 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210204645376 0 2147483391 0 16800971 18446744071699207358 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 6358280 [startup+0.100607 s] /proc/loadavg: 3.16 3.21 2.92 4/218 25407 /proc/meminfo: memFree=31117780/32951124 swapFree=67054524/67111528 [pid=25407] ppid=25405 vsize=6429968 CPUtime=0.1 cores=1,3 /proc/25407/stat : 25407 (java) S 25405 25407 16678 0 -1 4202496 11513 0 1 0 9 1 0 0 22 0 18 0 891690712 6584287232 11210 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/25407/statm: 1607492 11238 2090 9 0 1598230 0 [pid=25407/tid=25408] ppid=25405 vsize=6429968 CPUtime=0.08 cores=1,3 /proc/25407/task/25408/stat : 25408 (java) R 25405 25407 16678 0 -1 4202560 9804 0 1 0 7 1 0 0 18 0 18 0 891690713 6584287232 11252 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 47885628860040 0 4 0 16800975 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 6429968 [startup+0.300535 s] /proc/loadavg: 3.16 3.21 2.92 4/218 25407 /proc/meminfo: memFree=31117780/32951124 swapFree=67054524/67111528 [pid=25407] ppid=25405 vsize=6429968 CPUtime=0.47 cores=1,3 /proc/25407/stat : 25407 (java) S 25405 25407 16678 0 -1 4202496 21091 0 1 0 44 3 0 0 22 0 18 0 891690712 6584287232 20186 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/25407/statm: 1607492 20190 2203 9 0 1598230 0 [pid=25407/tid=25408] ppid=25405 vsize=6429968 CPUtime=0.28 cores=1,3 /proc/25407/task/25408/stat : 25408 (java) R 25405 25407 16678 0 -1 4202560 17817 0 1 0 26 2 0 0 18 0 18 0 891690713 6584287232 20192 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 46912505523779 0 4 0 16800975 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 0.47 Current children cumulated vsize (KiB) 6429968 [startup+0.700521 s] /proc/loadavg: 3.16 3.21 2.92 4/218 25407 /proc/meminfo: memFree=31117780/32951124 swapFree=67054524/67111528 [pid=25407] ppid=25405 vsize=6429968 CPUtime=1 cores=1,3 /proc/25407/stat : 25407 (java) S 25405 25407 16678 0 -1 4202496 49846 0 1 0 94 6 0 0 22 0 18 0 891690712 6584287232 48880 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/25407/statm: 1607492 48880 2211 9 0 1598230 0 [pid=25407/tid=25408] ppid=25405 vsize=6429968 CPUtime=0.68 cores=1,3 /proc/25407/task/25408/stat : 25408 (java) R 25405 25407 16678 0 -1 4202560 46431 0 1 0 63 5 0 0 18 0 18 0 891690713 6584287232 48880 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 46912505641223 0 4 0 16800975 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1 Current children cumulated vsize (KiB) 6429968 [startup+1.50134 s] /proc/loadavg: 3.16 3.21 2.92 4/236 25425 /proc/meminfo: memFree=30607464/32951124 swapFree=67054524/67111528 [pid=25407] ppid=25405 vsize=6430996 CPUtime=2.19 cores=1,3 /proc/25407/stat : 25407 (java) S 25405 25407 16678 0 -1 4202496 67612 0 1 0 211 8 0 0 22 0 18 0 891690712 6585339904 65268 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/25407/statm: 1607749 65268 2223 9 0 1598487 0 [pid=25407/tid=25408] ppid=25405 vsize=6430996 CPUtime=1.48 cores=1,3 /proc/25407/task/25408/stat : 25408 (java) R 25405 25407 16678 0 -1 4202560 62073 0 1 0 141 7 0 0 21 0 18 0 891690713 6585339904 65268 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 46912505690790 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=25407/tid=25410] ppid=25405 vsize=6430996 CPUtime=0 cores=1,3 /proc/25407/task/25410/stat : 25410 (java) S 25405 25407 16678 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891690714 6585339904 65268 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210216463257 0 4 0 16800975 18446604471126244416 0 0 -1 3 0 0 0 [pid=25407/tid=25411] ppid=25405 vsize=6430996 CPUtime=0 cores=1,3 /proc/25407/task/25411/stat : 25411 (java) S 25405 25407 16678 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 891690714 6585339904 65268 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210216463257 0 4 0 16800975 18446604471126244416 0 0 -1 3 0 0 0 [pid=25407/tid=25412] ppid=25405 vsize=6430996 CPUtime=0 cores=1,3 /proc/25407/task/25412/stat : 25412 (java) S 25405 25407 16678 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891690714 6585339904 65268 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210216463257 0 4 0 16800975 18446604471126244416 0 0 -1 3 0 0 0 [pid=25407/tid=25413] ppid=25405 vsize=6430996 CPUtime=0 cores=1,3 /proc/25407/task/25413/stat : 25413 (java) S 25405 25407 16678 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891690714 6585339904 65268 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210216463257 0 4 0 16800975 18446604471126244416 0 0 -1 3 0 0 0 [pid=25407/tid=25414] ppid=25405 vsize=6430996 CPUtime=0 cores=1,3 /proc/25407/task/25414/stat : 25414 (java) S 25405 25407 16678 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891690714 6585339904 65268 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210216463257 0 4 0 16800975 18446604471126244416 0 0 -1 3 0 0 0 [pid=25407/tid=25415] ppid=25405 vsize=6430996 CPUtime=0 cores=1,3 /proc/25407/task/25415/stat : 25415 (java) S 25405 25407 16678 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891690714 6585339904 65268 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210216463257 0 4 0 16800975 18446604471126244416 0 0 -1 3 0 0 0 [pid=25407/tid=25416] ppid=25405 vsize=6430996 CPUtime=0 cores=1,3 /proc/25407/task/25416/stat : 25416 (java) S 25405 25407 16678 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891690714 6585339904 65268 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210216463257 0 4 0 16800975 18446604471126244416 0 0 -1 3 0 0 0 [pid=25407/tid=25417] ppid=25405 vsize=6430996 CPUtime=0 cores=1,3 /proc/25407/task/25417/stat : 25417 (java) S 25405 25407 16678 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891690714 6585339904 65268 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210216463257 0 4 0 16800975 18446604471126244416 0 0 -1 3 0 0 0 [pid=25407/tid=25418] ppid=25405 vsize=6430996 CPUtime=0 cores=1,3 /proc/25407/task/25418/stat : 25418 (java) S 25405 25407 16678 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 18 0 891690715 6585339904 65268 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210216463872 0 0 0 16800975 18446604471126244416 0 0 -1 1 0 0 0 [pid=25407/tid=25419] ppid=25405 vsize=6430996 CPUtime=0 cores=1,3 /proc/25407/task/25419/stat : 25419 (java) S 25405 25407 16678 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 891690716 6585339904 65268 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210216463257 0 4 0 16800975 18446604471126244416 0 0 -1 1 0 0 0 [pid=25407/tid=25420] ppid=25405 vsize=6430996 CPUtime=0 cores=1,3 /proc/25407/task/25420/stat : 25420 (java) S 25405 25407 16678 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 891690716 6585339904 65268 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210216463257 0 4 0 16800975 18446604471126244416 0 0 -1 1 0 0 0 [pid=25407/tid=25421] ppid=25405 vsize=6430996 CPUtime=0 cores=1,3 /proc/25407/task/25421/stat : 25421 (java) S 25405 25407 16678 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891690718 6585339904 65268 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210216470961 0 4 0 16800975 18446604471126244416 0 0 -1 1 0 0 0 [pid=25407/tid=25422] ppid=25405 vsize=6430996 CPUtime=0.3 cores=1,3 /proc/25407/task/25422/stat : 25422 (java) S 25405 25407 16678 0 -1 4202560 1423 0 0 0 30 0 0 0 21 0 18 0 891690718 6585339904 65268 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210216463257 0 4 0 16800975 18446604471126244416 0 0 -1 3 0 0 0 [pid=25407/tid=25423] ppid=25405 vsize=6430996 CPUtime=0.39 cores=1,3 /proc/25407/task/25423/stat : 25423 (java) R 25405 25407 16678 0 -1 4202560 2953 0 0 0 39 0 0 0 19 0 18 0 891690718 6585339904 65268 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 47885631708675 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=25407/tid=25424] ppid=25405 vsize=6430996 CPUtime=0 cores=1,3 /proc/25407/task/25424/stat : 25424 (java) S 25405 25407 16678 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891690718 6585339904 65268 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210216463257 0 4 0 16800975 18446604471126244416 0 0 -1 1 0 0 0 [pid=25407/tid=25425] ppid=25405 vsize=6430996 CPUtime=0 cores=1,3 /proc/25407/task/25425/stat : 25425 (java) S 25405 25407 16678 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 891690718 6585339904 65268 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210216463872 0 4 0 16800975 18446604471126244416 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 2.19 Current children cumulated vsize (KiB) 6430996 [startup+3.1011 s] /proc/loadavg: 3.16 3.21 2.92 4/238 25433 /proc/meminfo: memFree=30397016/32951124 swapFree=67054524/67111528 [pid=25407] ppid=25405 vsize=6430996 CPUtime=3.96 cores=1,3 /proc/25407/stat : 25407 (java) S 25405 25407 16678 0 -1 4202496 122680 0 1 0 381 15 0 0 22 0 19 0 891690712 6585339904 119649 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/25407/statm: 1607749 119649 2225 9 0 1598487 0 [pid=25407/tid=25408] ppid=25405 vsize=6430996 CPUtime=3.08 cores=1,3 /proc/25407/task/25408/stat : 25408 (java) R 25405 25407 16678 0 -1 4202560 116439 0 1 0 294 14 0 0 21 0 19 0 891690713 6585339904 119649 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 46912505855255 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=25407/tid=25410] ppid=25405 vsize=6430996 CPUtime=0 cores=1,3 /proc/25407/task/25410/stat : 25410 (java) S 25405 25407 16678 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891690714 6585339904 119649 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210216463257 0 4 0 16800975 18446604471126244416 0 0 -1 3 0 0 0 [pid=25407/tid=25411] ppid=25405 vsize=6430996 CPUtime=0 cores=1,3 /proc/25407/task/25411/stat : 25411 (java) S 25405 25407 16678 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 891690714 6585339904 119649 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210216463257 0 4 0 16800975 18446604471126244416 0 0 -1 3 0 0 0 [pid=25407/tid=25412] ppid=25405 vsize=6430996 CPUtime=0 cores=1,3 /proc/25407/task/25412/stat : 25412 (java) S 25405 25407 16678 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891690714 6585339904 119649 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210216463257 0 4 0 16800975 18446604471126244416 0 0 -1 3 0 0 0 [pid=25407/tid=25413] ppid=25405 vsize=6430996 CPUtime=0 cores=1,3 /proc/25407/task/25413/stat : 25413 (java) S 25405 25407 16678 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891690714 6585339904 119649 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210216463257 0 4 0 16800975 18446604471126244416 0 0 -1 3 0 0 0 [pid=25407/tid=25414] ppid=25405 vsize=6430996 CPUtime=0 cores=1,3 /proc/25407/task/25414/stat : 25414 (java) S 25405 25407 16678 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891690714 6585339904 119649 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210216463257 0 4 0 16800975 18446604471126244416 0 0 -1 3 0 0 0 [pid=25407/tid=25415] ppid=25405 vsize=6430996 CPUtime=0 cores=1,3 /proc/25407/task/25415/stat : 25415 (java) S 25405 25407 16678 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891690714 6585339904 119649 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210216463257 0 4 0 16800975 18446604471126244416 0 0 -1 3 0 0 0 [pid=25407/tid=25416] ppid=25405 vsize=6430996 CPUtime=0 cores=1,3 /proc/25407/task/25416/stat : 25416 (java) S 25405 25407 16678 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891690714 6585339904 119649 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210216463257 0 4 0 16800975 18446604471126244416 0 0 -1 3 0 0 0 [pid=25407/tid=25417] ppid=25405 vsize=6430996 CPUtime=0 cores=1,3 /proc/25407/task/25417/stat : 25417 (java) S 25405 25407 16678 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891690714 6585339904 119649 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210216463257 0 4 0 16800975 18446604471126244416 0 0 -1 3 0 0 0 [pid=25407/tid=25418] ppid=25405 vsize=6430996 CPUtime=0 cores=1,3 /proc/25407/task/25418/stat : 25418 (java) S 25405 25407 16678 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 19 0 891690715 6585339904 119649 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210216463872 0 0 0 16800975 18446604471126244416 0 0 -1 1 0 0 0 [pid=25407/tid=25419] ppid=25405 vsize=6430996 CPUtime=0 cores=1,3 /proc/25407/task/25419/stat : 25419 (java) S 25405 25407 16678 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 891690716 6585339904 119649 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210216463257 0 4 0 16800975 18446604471126244416 0 0 -1 1 0 0 0 [pid=25407/tid=25420] ppid=25405 vsize=6430996 CPUtime=0 cores=1,3 /proc/25407/task/25420/stat : 25420 (java) S 25405 25407 16678 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 891690716 6585339904 119649 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210216463257 0 4 0 16800975 18446604471126244416 0 0 -1 1 0 0 0 [pid=25407/tid=25421] ppid=25405 vsize=6430996 CPUtime=0 cores=1,3 /proc/25407/task/25421/stat : 25421 (java) S 25405 25407 16678 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891690718 6585339904 119649 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210216470961 0 4 0 16800975 18446604471126244416 0 0 -1 1 0 0 0 [pid=25407/tid=25422] ppid=25405 vsize=6430996 CPUtime=0.31 cores=1,3 /proc/25407/task/25422/stat : 25422 (java) S 25405 25407 16678 0 -1 4202560 1461 0 0 0 31 0 0 0 18 0 19 0 891690718 6585339904 119649 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210216463257 0 4 0 16800975 18446604471126244416 0 0 -1 3 0 0 0 [pid=25407/tid=25423] ppid=25405 vsize=6430996 CPUtime=0.55 cores=1,3 /proc/25407/task/25423/stat : 25423 (java) S 25405 25407 16678 0 -1 4202560 3616 0 0 0 55 0 0 0 15 0 19 0 891690718 6585339904 119649 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210216463257 0 4 0 16800975 18446604471126244416 0 0 -1 3 0 0 0 [pid=25407/tid=25424] ppid=25405 vsize=6430996 CPUtime=0 cores=1,3 /proc/25407/task/25424/stat : 25424 (java) S 25405 25407 16678 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891690718 6585339904 119649 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210216463257 0 4 0 16800975 18446604471126244416 0 0 -1 1 0 0 0 [pid=25407/tid=25425] ppid=25405 vsize=6430996 CPUtime=0 cores=1,3 /proc/25407/task/25425/stat : 25425 (java) S 25405 25407 16678 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 891690718 6585339904 119649 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210216463872 0 4 0 16800975 18446604471126244416 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 3.96 Current children cumulated vsize (KiB) 6430996 [startup+6.30153 s] /proc/loadavg: 3.14 3.20 2.92 4/237 25458 /proc/meminfo: memFree=29932272/32951124 swapFree=67054524/67111528 [pid=25407] ppid=25405 vsize=6430996 CPUtime=7.16 cores=1,3 /proc/25407/stat : 25407 (java) S 25405 25407 16678 0 -1 4202496 238368 0 1 0 689 27 0 0 22 0 18 0 891690712 6585339904 235287 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/25407/statm: 1607749 235287 2226 9 0 1598487 0 [pid=25407/tid=25408] ppid=25405 vsize=6430996 CPUtime=6.28 cores=1,3 /proc/25407/task/25408/stat : 25408 (java) R 25405 25407 16678 0 -1 4202560 232108 0 1 0 602 26 0 0 18 0 18 0 891690713 6585339904 235287 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 46912505859760 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=25407/tid=25410] ppid=25405 vsize=6430996 CPUtime=0 cores=1,3 /proc/25407/task/25410/stat : 25410 (java) S 25405 25407 16678 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891690714 6585339904 235287 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210216463257 0 4 0 16800975 18446604471126244416 0 0 -1 3 0 0 0 [pid=25407/tid=25411] ppid=25405 vsize=6430996 CPUtime=0 cores=1,3 /proc/25407/task/25411/stat : 25411 (java) S 25405 25407 16678 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 891690714 6585339904 235287 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210216463257 0 4 0 16800975 18446604471126244416 0 0 -1 3 0 0 0 [pid=25407/tid=25412] ppid=25405 vsize=6430996 CPUtime=0 cores=1,3 /proc/25407/task/25412/stat : 25412 (java) S 25405 25407 16678 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891690714 6585339904 235287 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210216463257 0 4 0 16800975 18446604471126244416 0 0 -1 3 0 0 0 [pid=25407/tid=25413] ppid=25405 vsize=6430996 CPUtime=0 cores=1,3 /proc/25407/task/25413/stat : 25413 (java) S 25405 25407 16678 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891690714 6585339904 235287 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210216463257 0 4 0 16800975 18446604471126244416 0 0 -1 3 0 0 0 [pid=25407/tid=25414] ppid=25405 vsize=6430996 CPUtime=0 cores=1,3 /proc/25407/task/25414/stat : 25414 (java) S 25405 25407 16678 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891690714 6585339904 235287 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210216463257 0 4 0 16800975 18446604471126244416 0 0 -1 3 0 0 0 [pid=25407/tid=25415] ppid=25405 vsize=6430996 CPUtime=0 cores=1,3 /proc/25407/task/25415/stat : 25415 (java) S 25405 25407 16678 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891690714 6585339904 235287 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210216463257 0 4 0 16800975 18446604471126244416 0 0 -1 3 0 0 0 [pid=25407/tid=25416] ppid=25405 vsize=6430996 CPUtime=0 cores=1,3 /proc/25407/task/25416/stat : 25416 (java) S 25405 25407 16678 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891690714 6585339904 235287 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210216463257 0 4 0 16800975 18446604471126244416 0 0 -1 3 0 0 0 [pid=25407/tid=25417] ppid=25405 vsize=6430996 CPUtime=0 cores=1,3 /proc/25407/task/25417/stat : 25417 (java) S 25405 25407 16678 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891690714 6585339904 235287 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210216463257 0 4 0 16800975 18446604471126244416 0 0 -1 3 0 0 0 [pid=25407/tid=25418] ppid=25405 vsize=6430996 CPUtime=0 cores=1,3 /proc/25407/task/25418/stat : 25418 (java) S 25405 25407 16678 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 18 0 891690715 6585339904 235287 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210216463872 0 0 0 16800975 18446604471126244416 0 0 -1 1 0 0 0 [pid=25407/tid=25419] ppid=25405 vsize=6430996 CPUtime=0 cores=1,3 /proc/25407/task/25419/stat : 25419 (java) S 25405 25407 16678 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 891690716 6585339904 235287 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210216463257 0 4 0 16800975 18446604471126244416 0 0 -1 1 0 0 0 [pid=25407/tid=25420] ppid=25405 vsize=6430996 CPUtime=0 cores=1,3 /proc/25407/task/25420/stat : 25420 (java) S 25405 25407 16678 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 891690716 6585339904 235287 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210216463257 0 4 0 16800975 18446604471126244416 0 0 -1 1 0 0 0 [pid=25407/tid=25421] ppid=25405 vsize=6430996 CPUtime=0 cores=1,3 /proc/25407/task/25421/stat : 25421 (java) S 25405 25407 16678 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891690718 6585339904 235287 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210216470961 0 4 0 16800975 18446604471126244416 0 0 -1 1 0 0 0 [pid=25407/tid=25422] ppid=25405 vsize=6430996 CPUtime=0.31 cores=1,3 /proc/25407/task/25422/stat : 25422 (java) S 25405 25407 16678 0 -1 4202560 1461 0 0 0 31 0 0 0 18 0 18 0 891690718 6585339904 235287 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210216463257 0 4 0 16800975 18446604471126244416 0 0 -1 3 0 0 0 [pid=25407/tid=25423] ppid=25405 vsize=6430996 CPUtime=0.55 cores=1,3 /proc/25407/task/25423/stat : 25423 (java) S 25405 25407 16678 0 -1 4202560 3616 0 0 0 55 0 0 0 15 0 18 0 891690718 6585339904 235287 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210216463257 0 4 0 16800975 18446604471126244416 0 0 -1 3 0 0 0 [pid=25407/tid=25424] ppid=25405 vsize=6430996 CPUtime=0 cores=1,3 /proc/25407/task/25424/stat : 25424 (java) S 25405 25407 16678 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891690718 6585339904 235287 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210216463257 0 4 0 16800975 18446604471126244416 0 0 -1 1 0 0 0 [pid=25407/tid=25425] ppid=25405 vsize=6430996 CPUtime=0 cores=1,3 /proc/25407/task/25425/stat : 25425 (java) S 25405 25407 16678 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 891690718 6585339904 235287 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210216463872 0 4 0 16800975 18446604471126244416 0 0 -1 3 0 0 0 ################ # More data... # ################ [pid=25407/tid=25412] ppid=25405 vsize=6430996 CPUtime=0.4 cores=1,3 /proc/25407/task/25412/stat : 25412 (java) S 25405 25407 16678 0 -1 4202560 28067 0 0 0 37 3 0 0 15 0 19 0 891690714 6585339904 549300 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210216463257 0 4 0 16800975 18446604471126244416 0 0 -1 1 0 0 0 [pid=25407/tid=25413] ppid=25405 vsize=6430996 CPUtime=0.19 cores=1,3 /proc/25407/task/25413/stat : 25413 (java) S 25405 25407 16678 0 -1 4202560 7231 0 0 0 19 0 0 0 15 0 19 0 891690714 6585339904 549300 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210216463257 0 4 0 16800975 18446604471126244416 0 0 -1 3 0 0 0 [pid=25407/tid=25414] ppid=25405 vsize=6430996 CPUtime=0.22 cores=1,3 /proc/25407/task/25414/stat : 25414 (java) S 25405 25407 16678 0 -1 4202560 5570 0 0 0 22 0 0 0 15 0 19 0 891690714 6585339904 549300 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210216463257 0 4 0 16800975 18446604471126244416 0 0 -1 1 0 0 0 [pid=25407/tid=25415] ppid=25405 vsize=6430996 CPUtime=0.27 cores=1,3 /proc/25407/task/25415/stat : 25415 (java) S 25405 25407 16678 0 -1 4202560 19551 0 0 0 25 2 0 0 16 0 19 0 891690714 6585339904 549300 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210216463257 0 4 0 16800975 18446604471126244416 0 0 -1 1 0 0 0 [pid=25407/tid=25416] ppid=25405 vsize=6430996 CPUtime=0.2 cores=1,3 /proc/25407/task/25416/stat : 25416 (java) S 25405 25407 16678 0 -1 4202560 19729 0 0 0 19 1 0 0 16 0 19 0 891690714 6585339904 549300 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210216463257 0 4 0 16800975 18446604471126244416 0 0 -1 3 0 0 0 [pid=25407/tid=25417] ppid=25405 vsize=6430996 CPUtime=0.35 cores=1,3 /proc/25407/task/25417/stat : 25417 (java) S 25405 25407 16678 0 -1 4202560 12269 0 0 0 34 1 0 0 15 0 19 0 891690714 6585339904 549300 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210216463257 0 4 0 16800975 18446604471126244416 0 0 -1 3 0 0 0 [pid=25407/tid=25418] ppid=25405 vsize=6430996 CPUtime=0 cores=1,3 /proc/25407/task/25418/stat : 25418 (java) S 25405 25407 16678 0 -1 4202560 91 0 0 0 0 0 0 0 15 0 19 0 891690715 6585339904 549300 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210216463872 0 0 0 16800975 18446604471126244416 0 0 -1 1 0 0 0 [pid=25407/tid=25419] ppid=25405 vsize=6430996 CPUtime=0 cores=1,3 /proc/25407/task/25419/stat : 25419 (java) S 25405 25407 16678 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 891690716 6585339904 549300 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210216463257 0 4 0 16800975 18446604471126244416 0 0 -1 3 0 0 0 [pid=25407/tid=25420] ppid=25405 vsize=6430996 CPUtime=0 cores=1,3 /proc/25407/task/25420/stat : 25420 (java) S 25405 25407 16678 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 19 0 891690716 6585339904 549300 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210216463257 0 4 0 16800975 18446604471126244416 0 0 -1 1 0 0 0 [pid=25407/tid=25421] ppid=25405 vsize=6430996 CPUtime=0 cores=1,3 /proc/25407/task/25421/stat : 25421 (java) S 25405 25407 16678 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891690718 6585339904 549300 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210216470961 0 4 0 16800975 18446604471126244416 0 0 -1 1 0 0 0 [pid=25407/tid=25422] ppid=25405 vsize=6430996 CPUtime=0.31 cores=1,3 /proc/25407/task/25422/stat : 25422 (java) S 25405 25407 16678 0 -1 4202560 1461 0 0 0 31 0 0 0 18 0 19 0 891690718 6585339904 549300 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210216463257 0 4 0 16800975 18446604471126244416 0 0 -1 3 0 0 0 [pid=25407/tid=25423] ppid=25405 vsize=6430996 CPUtime=0.62 cores=1,3 /proc/25407/task/25423/stat : 25423 (java) S 25405 25407 16678 0 -1 4202560 3656 0 0 0 62 0 0 0 15 0 19 0 891690718 6585339904 549300 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210216463257 0 4 0 16800975 18446604471126244416 0 0 -1 3 0 0 0 [pid=25407/tid=25424] ppid=25405 vsize=6430996 CPUtime=0 cores=1,3 /proc/25407/task/25424/stat : 25424 (java) S 25405 25407 16678 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891690718 6585339904 549300 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210216463257 0 4 0 16800975 18446604471126244416 0 0 -1 1 0 0 0 [pid=25407/tid=25425] ppid=25405 vsize=6430996 CPUtime=0 cores=1,3 /proc/25407/task/25425/stat : 25425 (java) S 25405 25407 16678 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 891690718 6585339904 549300 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210216463872 0 4 0 16800975 18446604471126244416 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 115.81 Current children cumulated vsize (KiB) 6430996 [startup+115.301 s] /proc/loadavg: 3.47 3.36 3.01 4/236 27701 /proc/meminfo: memFree=26756696/32951124 swapFree=67054524/67111528 [pid=25407] ppid=25405 vsize=6430996 CPUtime=117.57 cores=1,3 /proc/25407/stat : 25407 (java) S 25405 25407 16678 0 -1 4202496 556957 0 1 0 11687 70 0 0 22 0 18 0 891690712 6585339904 551320 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/25407/statm: 1607749 551320 2241 9 0 1598487 0 [pid=25407/tid=25408] ppid=25405 vsize=6430996 CPUtime=113.9 cores=1,3 /proc/25407/task/25408/stat : 25408 (java) R 25405 25407 16678 0 -1 4202560 411127 0 1 0 11341 49 0 0 25 0 18 0 891690713 6585339904 551320 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 46912505961215 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=25407/tid=25410] ppid=25405 vsize=6430996 CPUtime=0.48 cores=1,3 /proc/25407/task/25410/stat : 25410 (java) S 25405 25407 16678 0 -1 4202560 26189 0 0 0 46 2 0 0 15 0 18 0 891690714 6585339904 551320 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210216463257 0 4 0 16800975 18446604471126244416 0 0 -1 1 0 0 0 [pid=25407/tid=25411] ppid=25405 vsize=6430996 CPUtime=0.23 cores=1,3 /proc/25407/task/25411/stat : 25411 (java) S 25405 25407 16678 0 -1 4202560 17918 0 0 0 22 1 0 0 15 0 18 0 891690714 6585339904 551320 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210216463257 0 4 0 16800975 18446604471126244416 0 0 -1 1 0 0 0 [pid=25407/tid=25412] ppid=25405 vsize=6430996 CPUtime=0.4 cores=1,3 /proc/25407/task/25412/stat : 25412 (java) S 25405 25407 16678 0 -1 4202560 28067 0 0 0 37 3 0 0 15 0 18 0 891690714 6585339904 551320 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210216463257 0 4 0 16800975 18446604471126244416 0 0 -1 1 0 0 0 [pid=25407/tid=25413] ppid=25405 vsize=6430996 CPUtime=0.19 cores=1,3 /proc/25407/task/25413/stat : 25413 (java) S 25405 25407 16678 0 -1 4202560 7231 0 0 0 19 0 0 0 15 0 18 0 891690714 6585339904 551320 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210216463257 0 4 0 16800975 18446604471126244416 0 0 -1 3 0 0 0 [pid=25407/tid=25414] ppid=25405 vsize=6430996 CPUtime=0.22 cores=1,3 /proc/25407/task/25414/stat : 25414 (java) S 25405 25407 16678 0 -1 4202560 5570 0 0 0 22 0 0 0 15 0 18 0 891690714 6585339904 551320 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210216463257 0 4 0 16800975 18446604471126244416 0 0 -1 1 0 0 0 [pid=25407/tid=25415] ppid=25405 vsize=6430996 CPUtime=0.27 cores=1,3 /proc/25407/task/25415/stat : 25415 (java) S 25405 25407 16678 0 -1 4202560 19551 0 0 0 25 2 0 0 16 0 18 0 891690714 6585339904 551320 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210216463257 0 4 0 16800975 18446604471126244416 0 0 -1 1 0 0 0 [pid=25407/tid=25416] ppid=25405 vsize=6430996 CPUtime=0.2 cores=1,3 /proc/25407/task/25416/stat : 25416 (java) S 25405 25407 16678 0 -1 4202560 19729 0 0 0 19 1 0 0 16 0 18 0 891690714 6585339904 551320 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210216463257 0 4 0 16800975 18446604471126244416 0 0 -1 3 0 0 0 [pid=25407/tid=25417] ppid=25405 vsize=6430996 CPUtime=0.35 cores=1,3 /proc/25407/task/25417/stat : 25417 (java) S 25405 25407 16678 0 -1 4202560 12269 0 0 0 34 1 0 0 15 0 18 0 891690714 6585339904 551320 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210216463257 0 4 0 16800975 18446604471126244416 0 0 -1 3 0 0 0 [pid=25407/tid=25418] ppid=25405 vsize=6430996 CPUtime=0 cores=1,3 /proc/25407/task/25418/stat : 25418 (java) S 25405 25407 16678 0 -1 4202560 91 0 0 0 0 0 0 0 15 0 18 0 891690715 6585339904 551320 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210216463872 0 0 0 16800975 18446604471126244416 0 0 -1 1 0 0 0 [pid=25407/tid=25419] ppid=25405 vsize=6430996 CPUtime=0 cores=1,3 /proc/25407/task/25419/stat : 25419 (java) S 25405 25407 16678 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 18 0 891690716 6585339904 551320 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210216463257 0 4 0 16800975 18446604471126244416 0 0 -1 3 0 0 0 [pid=25407/tid=25420] ppid=25405 vsize=6430996 CPUtime=0 cores=1,3 /proc/25407/task/25420/stat : 25420 (java) S 25405 25407 16678 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 18 0 891690716 6585339904 551320 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210216463257 0 4 0 16800975 18446604471126244416 0 0 -1 1 0 0 0 [pid=25407/tid=25421] ppid=25405 vsize=6430996 CPUtime=0 cores=1,3 /proc/25407/task/25421/stat : 25421 (java) S 25405 25407 16678 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891690718 6585339904 551320 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210216470961 0 4 0 16800975 18446604471126244416 0 0 -1 1 0 0 0 [pid=25407/tid=25422] ppid=25405 vsize=6430996 CPUtime=0.31 cores=1,3 /proc/25407/task/25422/stat : 25422 (java) S 25405 25407 16678 0 -1 4202560 1461 0 0 0 31 0 0 0 17 0 18 0 891690718 6585339904 551320 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210216463257 0 4 0 16800975 18446604471126244416 0 0 -1 3 0 0 0 [pid=25407/tid=25423] ppid=25405 vsize=6430996 CPUtime=0.78 cores=1,3 /proc/25407/task/25423/stat : 25423 (java) S 25405 25407 16678 0 -1 4202560 6509 0 0 0 78 0 0 0 16 0 18 0 891690718 6585339904 551320 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210216463257 0 4 0 16800975 18446604471126244416 0 0 -1 3 0 0 0 [pid=25407/tid=25424] ppid=25405 vsize=6430996 CPUtime=0 cores=1,3 /proc/25407/task/25424/stat : 25424 (java) S 25405 25407 16678 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891690718 6585339904 551320 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210216463257 0 4 0 16800975 18446604471126244416 0 0 -1 1 0 0 0 [pid=25407/tid=25425] ppid=25405 vsize=6430996 CPUtime=0 cores=1,3 /proc/25407/task/25425/stat : 25425 (java) S 25405 25407 16678 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 18 0 891690718 6585339904 551320 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210216463872 0 4 0 16800975 18446604471126244416 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 117.57 Current children cumulated vsize (KiB) 6430996 [startup+115.707 s] /proc/loadavg: 3.47 3.36 3.01 4/237 27711 /proc/meminfo: memFree=26748256/32951124 swapFree=67054524/67111528 [pid=25407] ppid=25405 vsize=6430996 CPUtime=117.98 cores=1,3 /proc/25407/stat : 25407 (java) S 25405 25407 16678 0 -1 4202496 556957 0 1 0 11728 70 0 0 22 0 18 0 891690712 6585339904 551320 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/25407/statm: 1607749 551320 2241 9 0 1598487 0 [pid=25407/tid=25408] ppid=25405 vsize=6430996 CPUtime=114.3 cores=1,3 /proc/25407/task/25408/stat : 25408 (java) R 25405 25407 16678 0 -1 4202560 411127 0 1 0 11381 49 0 0 25 0 18 0 891690713 6585339904 551320 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 46912505961175 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=25407/tid=25410] ppid=25405 vsize=6430996 CPUtime=0.48 cores=1,3 /proc/25407/task/25410/stat : 25410 (java) S 25405 25407 16678 0 -1 4202560 26189 0 0 0 46 2 0 0 15 0 18 0 891690714 6585339904 551320 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210216463257 0 4 0 16800975 18446604471126244416 0 0 -1 1 0 0 0 [pid=25407/tid=25411] ppid=25405 vsize=6430996 CPUtime=0.23 cores=1,3 /proc/25407/task/25411/stat : 25411 (java) S 25405 25407 16678 0 -1 4202560 17918 0 0 0 22 1 0 0 15 0 18 0 891690714 6585339904 551320 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210216463257 0 4 0 16800975 18446604471126244416 0 0 -1 1 0 0 0 [pid=25407/tid=25412] ppid=25405 vsize=6430996 CPUtime=0.4 cores=1,3 /proc/25407/task/25412/stat : 25412 (java) S 25405 25407 16678 0 -1 4202560 28067 0 0 0 37 3 0 0 15 0 18 0 891690714 6585339904 551320 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210216463257 0 4 0 16800975 18446604471126244416 0 0 -1 1 0 0 0 [pid=25407/tid=25413] ppid=25405 vsize=6430996 CPUtime=0.19 cores=1,3 /proc/25407/task/25413/stat : 25413 (java) S 25405 25407 16678 0 -1 4202560 7231 0 0 0 19 0 0 0 15 0 18 0 891690714 6585339904 551320 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210216463257 0 4 0 16800975 18446604471126244416 0 0 -1 3 0 0 0 [pid=25407/tid=25414] ppid=25405 vsize=6430996 CPUtime=0.22 cores=1,3 /proc/25407/task/25414/stat : 25414 (java) S 25405 25407 16678 0 -1 4202560 5570 0 0 0 22 0 0 0 15 0 18 0 891690714 6585339904 551320 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210216463257 0 4 0 16800975 18446604471126244416 0 0 -1 1 0 0 0 [pid=25407/tid=25415] ppid=25405 vsize=6430996 CPUtime=0.27 cores=1,3 /proc/25407/task/25415/stat : 25415 (java) S 25405 25407 16678 0 -1 4202560 19551 0 0 0 25 2 0 0 16 0 18 0 891690714 6585339904 551320 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210216463257 0 4 0 16800975 18446604471126244416 0 0 -1 1 0 0 0 [pid=25407/tid=25416] ppid=25405 vsize=6430996 CPUtime=0.2 cores=1,3 /proc/25407/task/25416/stat : 25416 (java) S 25405 25407 16678 0 -1 4202560 19729 0 0 0 19 1 0 0 16 0 18 0 891690714 6585339904 551320 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210216463257 0 4 0 16800975 18446604471126244416 0 0 -1 3 0 0 0 [pid=25407/tid=25417] ppid=25405 vsize=6430996 CPUtime=0.35 cores=1,3 /proc/25407/task/25417/stat : 25417 (java) S 25405 25407 16678 0 -1 4202560 12269 0 0 0 34 1 0 0 15 0 18 0 891690714 6585339904 551320 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210216463257 0 4 0 16800975 18446604471126244416 0 0 -1 3 0 0 0 [pid=25407/tid=25418] ppid=25405 vsize=6430996 CPUtime=0 cores=1,3 /proc/25407/task/25418/stat : 25418 (java) S 25405 25407 16678 0 -1 4202560 91 0 0 0 0 0 0 0 15 0 18 0 891690715 6585339904 551320 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210216463872 0 0 0 16800975 18446604471126244416 0 0 -1 1 0 0 0 [pid=25407/tid=25419] ppid=25405 vsize=6430996 CPUtime=0 cores=1,3 /proc/25407/task/25419/stat : 25419 (java) S 25405 25407 16678 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 18 0 891690716 6585339904 551320 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210216463257 0 4 0 16800975 18446604471126244416 0 0 -1 3 0 0 0 [pid=25407/tid=25420] ppid=25405 vsize=6430996 CPUtime=0 cores=1,3 /proc/25407/task/25420/stat : 25420 (java) S 25405 25407 16678 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 18 0 891690716 6585339904 551320 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210216463257 0 4 0 16800975 18446604471126244416 0 0 -1 1 0 0 0 [pid=25407/tid=25421] ppid=25405 vsize=6430996 CPUtime=0 cores=1,3 /proc/25407/task/25421/stat : 25421 (java) S 25405 25407 16678 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891690718 6585339904 551320 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210216470961 0 4 0 16800975 18446604471126244416 0 0 -1 1 0 0 0 [pid=25407/tid=25422] ppid=25405 vsize=6430996 CPUtime=0.31 cores=1,3 /proc/25407/task/25422/stat : 25422 (java) S 25405 25407 16678 0 -1 4202560 1461 0 0 0 31 0 0 0 17 0 18 0 891690718 6585339904 551320 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210216463257 0 4 0 16800975 18446604471126244416 0 0 -1 3 0 0 0 [pid=25407/tid=25423] ppid=25405 vsize=6430996 CPUtime=0.78 cores=1,3 /proc/25407/task/25423/stat : 25423 (java) S 25405 25407 16678 0 -1 4202560 6509 0 0 0 78 0 0 0 16 0 18 0 891690718 6585339904 551320 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210216463257 0 4 0 16800975 18446604471126244416 0 0 -1 3 0 0 0 [pid=25407/tid=25424] ppid=25405 vsize=6430996 CPUtime=0 cores=1,3 /proc/25407/task/25424/stat : 25424 (java) S 25405 25407 16678 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891690718 6585339904 551320 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210216463257 0 4 0 16800975 18446604471126244416 0 0 -1 1 0 0 0 [pid=25407/tid=25425] ppid=25405 vsize=6430996 CPUtime=0 cores=1,3 /proc/25407/task/25425/stat : 25425 (java) S 25405 25407 16678 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 18 0 891690718 6585339904 551320 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210216463872 0 4 0 16800975 18446604471126244416 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 117.98 Current children cumulated vsize (KiB) 6430996 [startup+116.101 s] /proc/loadavg: 3.47 3.36 3.01 4/237 27711 /proc/meminfo: memFree=26748256/32951124 swapFree=67054524/67111528 [pid=25407] ppid=25405 vsize=6430996 CPUtime=118.37 cores=1,3 /proc/25407/stat : 25407 (java) S 25405 25407 16678 0 -1 4202496 556957 0 1 0 11767 70 0 0 22 0 18 0 891690712 6585339904 551320 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/25407/statm: 1607749 551320 2241 9 0 1598487 0 [pid=25407/tid=25408] ppid=25405 vsize=6430996 CPUtime=114.7 cores=1,3 /proc/25407/task/25408/stat : 25408 (java) R 25405 25407 16678 0 -1 4202560 411127 0 1 0 11421 49 0 0 25 0 18 0 891690713 6585339904 551320 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 46912505961175 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=25407/tid=25410] ppid=25405 vsize=6430996 CPUtime=0.48 cores=1,3 /proc/25407/task/25410/stat : 25410 (java) S 25405 25407 16678 0 -1 4202560 26189 0 0 0 46 2 0 0 15 0 18 0 891690714 6585339904 551320 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210216463257 0 4 0 16800975 18446604471126244416 0 0 -1 1 0 0 0 [pid=25407/tid=25411] ppid=25405 vsize=6430996 CPUtime=0.23 cores=1,3 /proc/25407/task/25411/stat : 25411 (java) S 25405 25407 16678 0 -1 4202560 17918 0 0 0 22 1 0 0 15 0 18 0 891690714 6585339904 551320 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210216463257 0 4 0 16800975 18446604471126244416 0 0 -1 1 0 0 0 [pid=25407/tid=25412] ppid=25405 vsize=6430996 CPUtime=0.4 cores=1,3 /proc/25407/task/25412/stat : 25412 (java) S 25405 25407 16678 0 -1 4202560 28067 0 0 0 37 3 0 0 15 0 18 0 891690714 6585339904 551320 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210216463257 0 4 0 16800975 18446604471126244416 0 0 -1 1 0 0 0 [pid=25407/tid=25413] ppid=25405 vsize=6430996 CPUtime=0.19 cores=1,3 /proc/25407/task/25413/stat : 25413 (java) S 25405 25407 16678 0 -1 4202560 7231 0 0 0 19 0 0 0 15 0 18 0 891690714 6585339904 551320 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210216463257 0 4 0 16800975 18446604471126244416 0 0 -1 3 0 0 0 [pid=25407/tid=25414] ppid=25405 vsize=6430996 CPUtime=0.22 cores=1,3 /proc/25407/task/25414/stat : 25414 (java) S 25405 25407 16678 0 -1 4202560 5570 0 0 0 22 0 0 0 15 0 18 0 891690714 6585339904 551320 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210216463257 0 4 0 16800975 18446604471126244416 0 0 -1 1 0 0 0 [pid=25407/tid=25415] ppid=25405 vsize=6430996 CPUtime=0.27 cores=1,3 /proc/25407/task/25415/stat : 25415 (java) S 25405 25407 16678 0 -1 4202560 19551 0 0 0 25 2 0 0 16 0 18 0 891690714 6585339904 551320 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210216463257 0 4 0 16800975 18446604471126244416 0 0 -1 1 0 0 0 [pid=25407/tid=25416] ppid=25405 vsize=6430996 CPUtime=0.2 cores=1,3 /proc/25407/task/25416/stat : 25416 (java) S 25405 25407 16678 0 -1 4202560 19729 0 0 0 19 1 0 0 16 0 18 0 891690714 6585339904 551320 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210216463257 0 4 0 16800975 18446604471126244416 0 0 -1 3 0 0 0 [pid=25407/tid=25417] ppid=25405 vsize=6430996 CPUtime=0.35 cores=1,3 /proc/25407/task/25417/stat : 25417 (java) S 25405 25407 16678 0 -1 4202560 12269 0 0 0 34 1 0 0 15 0 18 0 891690714 6585339904 551320 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210216463257 0 4 0 16800975 18446604471126244416 0 0 -1 3 0 0 0 [pid=25407/tid=25418] ppid=25405 vsize=6430996 CPUtime=0 cores=1,3 /proc/25407/task/25418/stat : 25418 (java) S 25405 25407 16678 0 -1 4202560 91 0 0 0 0 0 0 0 15 0 18 0 891690715 6585339904 551320 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210216463872 0 0 0 16800975 18446604471126244416 0 0 -1 1 0 0 0 [pid=25407/tid=25419] ppid=25405 vsize=6430996 CPUtime=0 cores=1,3 /proc/25407/task/25419/stat : 25419 (java) S 25405 25407 16678 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 18 0 891690716 6585339904 551320 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210216463257 0 4 0 16800975 18446604471126244416 0 0 -1 3 0 0 0 [pid=25407/tid=25420] ppid=25405 vsize=6430996 CPUtime=0 cores=1,3 /proc/25407/task/25420/stat : 25420 (java) S 25405 25407 16678 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 18 0 891690716 6585339904 551320 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210216463257 0 4 0 16800975 18446604471126244416 0 0 -1 1 0 0 0 [pid=25407/tid=25421] ppid=25405 vsize=6430996 CPUtime=0 cores=1,3 /proc/25407/task/25421/stat : 25421 (java) S 25405 25407 16678 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891690718 6585339904 551320 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210216470961 0 4 0 16800975 18446604471126244416 0 0 -1 1 0 0 0 [pid=25407/tid=25422] ppid=25405 vsize=6430996 CPUtime=0.31 cores=1,3 /proc/25407/task/25422/stat : 25422 (java) S 25405 25407 16678 0 -1 4202560 1461 0 0 0 31 0 0 0 17 0 18 0 891690718 6585339904 551320 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210216463257 0 4 0 16800975 18446604471126244416 0 0 -1 3 0 0 0 [pid=25407/tid=25423] ppid=25405 vsize=6430996 CPUtime=0.78 cores=1,3 /proc/25407/task/25423/stat : 25423 (java) S 25405 25407 16678 0 -1 4202560 6509 0 0 0 78 0 0 0 16 0 18 0 891690718 6585339904 551320 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210216463257 0 4 0 16800975 18446604471126244416 0 0 -1 3 0 0 0 [pid=25407/tid=25424] ppid=25405 vsize=6430996 CPUtime=0 cores=1,3 /proc/25407/task/25424/stat : 25424 (java) S 25405 25407 16678 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891690718 6585339904 551320 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210216463257 0 4 0 16800975 18446604471126244416 0 0 -1 1 0 0 0 [pid=25407/tid=25425] ppid=25405 vsize=6430996 CPUtime=0 cores=1,3 /proc/25407/task/25425/stat : 25425 (java) S 25405 25407 16678 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 18 0 891690718 6585339904 551320 33554432000 1073741824 1073778376 140737408457136 18446744073709551615 210216463872 0 4 0 16800975 18446604471126244416 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 118.37 Current children cumulated vsize (KiB) 6430996 [startup+116.201 s] /proc/loadavg: 3.47 3.36 3.01 4/237 27711 /proc/meminfo: memFree=26748256/32951124 swapFree=67054524/67111528 [pid=25407] ppid=25405 vsize=0 CPUtime=118.47 cores=1,3 /proc/25407/stat : 25407 (java) Z 25405 25407 16678 0 -1 4203548 556968 0 1 0 11772 75 0 0 18 0 2 0 891690712 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/25407/statm: 0 0 0 0 0 0 0 [pid=25407/tid=25408] ppid=25405 vsize=0 CPUtime=114.79 cores=1,3 /proc/25407/task/25408/stat : 25408 (java) R 25405 25407 16678 0 -1 4203588 411131 0 1 0 11425 54 0 0 25 0 2 0 891690713 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) 118.47 Current children cumulated vsize (KiB) 0 Child status: 20 Real time (s): 116.23 CPU time (s): 118.514 CPU user time (s): 117.726 CPU system time (s): 0.78788 CPU usage (%): 101.965 Max. virtual memory (cumulated for all children) (KiB): 6430996 getrusage(RUSAGE_CHILDREN,...) data: user time used= 117.726 system time used= 0.78788 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 556968 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= 7172 involuntary context switches= 7438 runsolver used 0.211967 second user time and 0.517921 second system time The end
Begin job on node130 at 2011-06-11 16:02:02 IDJOB=3493592 IDBENCH=20516 IDSOLVER=1972 FILE ID=node130/3493592-1307800922 RUNJOBID= node130-1307799121-17474 PBS_JOBID= 13551018 Free space on /tmp= 73928 MiB SOLVER NAME= SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 BENCH NAME= SAT07/industrial/babic/xinetd/xinetd_vc56703.cnf COMMAND LINE= java -Xms6000m -Xmx6000m -jar sat4j-mus-v20110206.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3493592-1307800922/watcher-3493592-1307800922 -o /tmp/evaluation-result-3493592-1307800922/solver-3493592-1307800922 -C 1800 -W 1850 -M 7680 java -Xms6000m -Xmx6000m -jar sat4j-mus-v20110206.jar HOME/instance-3493592-1307800922.cnf TIME LIMIT= 1800 seconds MEMORY LIMIT= 7680 MiB NBCORE= 2 MD5SUM BENCH= 09053ffc48c8fbc3352a0ce4d89c2bbb RANDOM SEED=939628246 node130.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.838 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.67 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.838 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.838 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.838 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.81 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.838 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.838 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.838 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.838 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.81 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31118696 kB Buffers: 275928 kB Cached: 1023436 kB SwapCached: 10548 kB Active: 844976 kB Inactive: 789240 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31118696 kB SwapTotal: 67111528 kB SwapFree: 67054524 kB Dirty: 27844 kB Writeback: 124 kB AnonPages: 331912 kB Mapped: 20860 kB Slab: 130976 kB PageTables: 5828 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 12677664 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= 73932 MiB End job on node130 at 2011-06-11 16:03:58