0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.07	c version 2.3.0.v20110206
0.00/0.07	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.07	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.07	c java.vm.version	19.1-b02
0.00/0.07	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.07	c sun.arch.data.model	64
0.00/0.07	c java.version		1.6.0_24
0.00/0.07	c os.name		Linux
0.00/0.07	c os.version		2.6.18-164.el5
0.00/0.07	c os.arch		amd64
0.00/0.07	c Free memory 		5997854704
0.00/0.07	c Max memory 		6029312000
0.00/0.07	c Total memory 		6029312000
0.00/0.07	c Number of processors 	8
0.10/0.10	c Explanation (MUS) enabled solver
0.10/0.10	c QuickXplain (AAAI 2004 version) minimization strategy
0.10/0.10	c --- Begin Solver configuration ---
0.10/0.10	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@aa470b8
0.10/0.10	c Learn all clauses as in MiniSAT
0.10/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 
0.10/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT
0.10/0.10	c Expensive reason simplification
0.10/0.10	c Armin Biere (Picosat) restarts strategy
0.10/0.10	c Glucose learned constraints deletion strategy
0.10/0.10	c timeout=2147483647s
0.10/0.10	c DB Simplification allowed=true
0.10/0.10	c --- End Solver configuration ---
0.10/0.10	c solving HOME/instance-3483200-1307605821.cnf
0.10/0.10	c reading problem ... 
0.90/0.71	c ... done. Wall clock time 0.615s.
0.90/0.71	c #vars     591770
0.90/0.71	c #constraints  440151
0.90/0.71	c constraints type 
0.90/0.71	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 429962
0.90/0.71	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 10189
1.74/1.22	c Unsat detection wall clock time (in seconds) : 1.121
1.74/1.22	c Size of initial unsat subformula: 584
1.74/1.22	c Computing MUS ...
1.74/1.22	c initial unsat core -151618[?] 591769[?] 151619[?]  151423[?] 591765[?] 151618[?]  151422[?] 591345[?] -151423[?]  151421[?] -151422[?] 591342[?]  151420[?] -151421[?] 591339[?]  151419[?] 117606[?] -151420[?] 591337[?]  -117606[?] 151415[?] -151420[?] 591335[?]  151418[?] -151419[?] 591332[?]  -151418[?] 151417[?] 591330[?]  -151417[?] 151416[?] 591327[?]  -151416[?] 151415[?] 591324[?]  -151415[?] 150708[?] 591321[?]  150707[?] -150708[?] 589143[?]  117784[?] -150708[?] 589142[?]  150706[?] -150707[?] 589140[?]  129480[?] -150706[?] 589136[?]  129608[?] -129480[?] 533842[?]  129607[?] -129608[?] 533840[?]  129606[?] -129607[?] 533837[?]  129605[?] -129606[?] 533834[?]  129604[?] -129605[?] 533831[?]  129603[?] -129604[?] 533828[?]  129602[?] -129603[?] 533825[?]  129601[?] -129602[?] 533822[?]  129600[?] -129601[?] 533819[?]  129599[?] -129600[?] 533816[?]  129598[?] -129599[?] 533813[?]  129597[?] -129598[?] 533810[?]  129596[?] -129597[?] 533807[?]  129595[?] -129596[?] 533804[?]  129594[?] -129595[?] 533801[?]  129593[?] -129594[?] 533798[?]  129592[?] -129593[?] 533795[?]  129591[?] -129592[?] 533792[?]  129590[?] -129591[?] 533789[?]  129589[?] -129590[?] 533786[?]  129588[?] -129589[?] 533783[?]  129587[?] -129588[?] 533780[?]  129586[?] -129587[?] 533777[?]  129585[?] -129586[?] 533774[?]  129584[?] -129585[?] 533771[?]  129583[?] -129584[?] 533768[?]  129582[?] -129583[?] 533765[?]  129581[?] -129582[?] 533762[?]  129580[?] -129581[?] 533759[?]  129579[?] -129580[?] 533756[?]  129578[?] -129579[?] 533753[?]  129577[?] -129578[?] 533750[?]  129576[?] -129577[?] 533747[?]  129575[?] -129576[?] 533744[?]  129574[?] -129575[?] 533741[?]  129573[?] -129574[?] 533738[?]  129572[?] -129573[?] 533735[?]  129571[?] -129572[?] 533732[?]  129570[?] -129571[?] 533729[?]  129569[?] -129570[?] 533726[?]  129568[?] -129569[?] 533723[?]  129567[?] -129568[?] 533720[?]  129566[?] -129567[?] 533717[?]  129565[?] -129566[?] 533714[?]  129564[?] -129565[?] 533711[?]  129563[?] -129564[?] 533708[?]  129562[?] -129563[?] 533705[?]  129561[?] -129562[?] 533702[?]  129560[?] -129561[?] 533699[?]  129559[?] -129560[?] 533696[?]  129558[?] -129559[?] 533693[?]  129557[?] -129558[?] 533690[?]  129556[?] -129557[?] 533687[?]  129555[?] -129556[?] 533684[?]  129554[?] -129555[?] 533681[?]  129553[?] -129554[?] 533678[?]  129552[?] -129553[?] 533675[?]  129551[?] -129552[?] 533672[?]  129550[?] -129551[?] 533669[?]  129549[?] -129550[?] 533666[?]  129548[?] -129549[?] 533663[?]  129547[?] -129548[?] 533660[?]  129546[?] -129547[?] 533657[?]  129482[?] -129546[?] 533655[?]  129545[?] -129546[?] 533654[?]  129481[?] -129545[?] 533652[?]  -129417[?] -129482[?] 533526[?]  -129416[?] -129481[?] 533524[?]  -123988[?] -129033[?] 129417[?] 533271[?]  -129096[?] 123988[?] 129416[?] 533269[?]  129096[?] -129160[?] 532572[?]  129160[?] 129032[?] 532565[?]  129033[?] -126561[?] -118343[?] 532313[?]  -129032[?] 126560[?] -118343[?] 532310[?]  126561[?] -125726[?] -118536[?] 524506[?]  -126560[?] 125725[?] -118536[?] 524503[?]  125726[?] -124328[?] -118729[?] 522145[?]  -125725[?] 124327[?] -118729[?] 522142[?]  124328[?] -124296[?] 518322[?]  -124327[?] 124295[?] 518319[?]  124296[?] 124005[?] -124264[?] 518227[?]  -124295[?] 124005[?] 124263[?] 518225[?]  124264[?] 124198[?] 518132[?]  -124263[?] 124198[?] 518129[?]  -124198[?] 124262[?] 518125[?]  -124262[?] 124261[?] 518123[?]  -124261[?] 124260[?] 518120[?]  -124260[?] 124259[?] 518117[?]  -124259[?] 124258[?] 518114[?]  -124258[?] 124257[?] 518111[?]  -124257[?] 124256[?] 518108[?]  -124256[?] 124255[?] 518105[?]  -124255[?] 124254[?] 518102[?]  -124254[?] 124253[?] 518099[?]  -124253[?] 124252[?] 518096[?]  -124252[?] 124251[?] 518093[?]  -124251[?] 124250[?] 518090[?]  -124250[?] 124249[?] 518087[?]  -124249[?] 124248[?] 518084[?]  -124248[?] 124247[?] 518081[?]  -124247[?] 124246[?] 518078[?]  -124246[?] 124245[?] 518075[?]  -124245[?] 124244[?] 518072[?]  -124244[?] 124243[?] 518069[?]  -124243[?] 124242[?] 518066[?]  -124242[?] 124241[?] 518063[?]  -124241[?] 124240[?] 518060[?]  -124240[?] 124239[?] 518057[?]  -124239[?] 124238[?] 518054[?]  -124238[?] 124237[?] 518051[?]  -124237[?] 124236[?] 518048[?]  -124236[?] 124235[?] 518045[?]  -124235[?] 124234[?] 518042[?]  -124234[?] 124202[?] 518040[?]  -124202[?] -118314[?] 517973[?]  -124005[?] -124197[?] 517965[?]  124197[?] -124195[?] 517958[?]  124195[?] -124193[?] -124194[?] 517954[?]  124194[?] 118342[?] 517950[?]  124193[?] -124191[?] 517944[?]  124191[?] -124189[?] -124190[?] 517940[?]  124190[?] 118341[?] 517936[?]  124189[?] -124187[?] 517930[?]  124187[?] -124185[?] -124186[?] 517926[?]  124186[?] 118340[?] 517922[?]  124185[?] -124183[?] 517916[?]  124183[?] -124181[?] -124182[?] 517912[?]  124182[?] 118339[?] 517908[?]  124181[?] -124179[?] 517902[?]  124179[?] -124177[?] -124178[?] 517898[?]  124178[?] 118338[?] 517894[?]  124177[?] -124175[?] 517888[?]  124175[?] -124173[?] -124174[?] 517884[?]  124174[?] 118337[?] 517880[?]  124173[?] -124171[?] 517874[?]  124171[?] -124169[?] -124170[?] 517870[?]  124170[?] 118336[?] 517866[?]  124169[?] -124167[?] 517860[?]  124167[?] -124165[?] -124166[?] 517856[?]  124166[?] 118335[?] 517852[?]  124165[?] -124163[?] 517846[?]  124163[?] -124161[?] -124162[?] 517842[?]  124162[?] 118334[?] 517838[?]  124161[?] -124159[?] 517832[?]  124159[?] -124157[?] -124158[?] 517828[?]  124158[?] 118333[?] 517824[?]  124157[?] -124155[?] 517818[?]  124155[?] -124153[?] -124154[?] 517814[?]  124154[?] 118332[?] 517810[?]  124153[?] -124151[?] 517804[?]  124151[?] -124149[?] -124150[?] 517800[?]  124150[?] 118331[?] 517796[?]  124149[?] -124147[?] 517790[?]  124147[?] -124145[?] -124146[?] 517786[?]  124146[?] 118330[?] 517782[?]  124145[?] -124143[?] 517776[?]  124143[?] -124141[?] -124142[?] 517772[?]  124142[?] 118329[?] 517768[?]  124141[?] -124139[?] 517762[?]  124139[?] -124137[?] -124138[?] 517758[?]  124138[?] 118328[?] 517754[?]  124137[?] -124135[?] 517748[?]  124135[?] -124133[?] -124134[?] 517744[?]  124134[?] 118327[?] 517740[?]  124133[?] -124131[?] 517734[?]  124131[?] -124129[?] -124130[?] 517730[?]  124130[?] 118326[?] 517726[?]  124129[?] -124127[?] 517720[?]  124127[?] -124125[?] -124126[?] 517716[?]  124126[?] 118325[?] 517712[?]  124125[?] -124123[?] 517706[?]  124123[?] -124121[?] -124122[?] 517702[?]  124122[?] 118324[?] 517698[?]  124121[?] -124119[?] 517692[?]  124119[?] -124117[?] -124118[?] 517688[?]  124118[?] 118323[?] 517684[?]  124117[?] -124115[?] 517678[?]  124115[?] -124113[?] -124114[?] 517674[?]  124114[?] 118322[?] 517670[?]  124113[?] -124111[?] 517664[?]  124111[?] -124109[?] -124110[?] 517660[?]  124110[?] 118321[?] 517656[?]  124109[?] -124107[?] 517650[?]  124107[?] -124105[?] -124106[?] 517646[?]  124106[?] 118320[?] 517642[?]  124105[?] -124103[?] 517636[?]  124103[?] -124101[?] -124102[?] 517632[?]  124102[?] 118319[?] 517628[?]  124101[?] -124099[?] 517622[?]  124099[?] -124097[?] -124098[?] 517618[?]  124098[?] 118318[?] 517614[?]  124097[?] -124095[?] 517608[?]  124095[?] -124093[?] -124094[?] 517604[?]  124094[?] 118317[?] 517600[?]  124093[?] -124091[?] 517595[?]  124091[?] -124089[?] -124090[?] 517591[?]  124090[?] -118316[?] 517588[?]  124089[?] -124087[?] 517582[?]  124087[?] -124085[?] -124086[?] 517578[?]  124086[?] 118315[?] 517574[?]  124085[?] -124084[?] 517569[?]  124084[?] -118314[?] 517562[?]  118729[?] 118921[?] 503757[?]  -118921[?] 118919[?] 118920[?] 503750[?]  -118919[?] 118917[?] 503749[?]  -118920[?] 118342[?] 503746[?]  -118917[?] 118915[?] 118916[?] 503736[?]  -118915[?] 118913[?] 503735[?]  -118916[?] 118341[?] 503732[?]  -118913[?] 118911[?] 118912[?] 503722[?]  -118911[?] 118909[?] 503721[?]  -118912[?] 118340[?] 503718[?]  -118909[?] 118907[?] 118908[?] 503708[?]  -118907[?] 118905[?] 503707[?]  -118908[?] 118339[?] 503704[?]  -118905[?] 118903[?] 118904[?] 503694[?]  -118903[?] 118901[?] 503693[?]  -118904[?] 118338[?] 503690[?]  -118901[?] 118899[?] 118900[?] 503680[?]  -118899[?] 118897[?] 503679[?]  -118900[?] 118337[?] 503676[?]  -118897[?] 118895[?] 118896[?] 503666[?]  -118895[?] 118893[?] 503665[?]  -118896[?] 118336[?] 503662[?]  -118893[?] 118891[?] 118892[?] 503652[?]  -118891[?] 118889[?] 503651[?]  -118892[?] 118335[?] 503648[?]  -118889[?] 118887[?] 118888[?] 503638[?]  -118887[?] 118885[?] 503637[?]  -118888[?] 118334[?] 503634[?]  -118885[?] 118883[?] 118884[?] 503624[?]  -118883[?] 118881[?] 503623[?]  -118884[?] 118333[?] 503620[?]  -118881[?] 118879[?] 118880[?] 503610[?]  -118879[?] 118877[?] 503609[?]  -118880[?] 118332[?] 503606[?]  -118877[?] 118875[?] 118876[?] 503596[?]  -118875[?] 118873[?] 503595[?]  -118876[?] 118331[?] 503592[?]  -118873[?] 118871[?] 118872[?] 503582[?]  -118871[?] 118869[?] 503581[?]  -118872[?] 118330[?] 503578[?]  -118869[?] 118867[?] 118868[?] 503568[?]  -118867[?] 118865[?] 503567[?]  -118868[?] 118329[?] 503564[?]  -118865[?] 118863[?] 118864[?] 503554[?]  -118863[?] 118861[?] 503553[?]  -118864[?] 118328[?] 503550[?]  -118861[?] 118859[?] 118860[?] 503540[?]  -118859[?] 118857[?] 503539[?]  -118860[?] 118327[?] 503536[?]  -118857[?] 118855[?] 118856[?] 503526[?]  -118855[?] 118853[?] 503525[?]  -118856[?] 118326[?] 503522[?]  -118853[?] 118851[?] 118852[?] 503512[?]  -118851[?] 118849[?] 503511[?]  -118852[?] 118325[?] 503508[?]  -118849[?] 118847[?] 118848[?] 503498[?]  -118847[?] 118845[?] 503497[?]  -118848[?] 118324[?] 503494[?]  -118845[?] 118843[?] 118844[?] 503484[?]  -118843[?] 118841[?] 503483[?]  -118844[?] 118323[?] 503480[?]  -118841[?] 118839[?] 118840[?] 503470[?]  -118839[?] 118837[?] 503469[?]  -118840[?] 118322[?] 503466[?]  -118837[?] 118835[?] 118836[?] 503456[?]  -118835[?] 118833[?] 503455[?]  -118836[?] 118321[?] 503452[?]  -118833[?] 118831[?] 118832[?] 503442[?]  -118831[?] 118829[?] 503441[?]  -118832[?] 118320[?] 503438[?]  -118829[?] 118827[?] 118828[?] 503428[?]  -118827[?] 118825[?] 503427[?]  -118828[?] 118319[?] 503424[?]  -118825[?] 118823[?] 118824[?] 503414[?]  -118823[?] 118821[?] 503413[?]  -118824[?] 118318[?] 503410[?]  -118821[?] 118819[?] 503401[?]  -118819[?] 118818[?] 503399[?]  -118818[?] 118317[?] 503396[?]  118536[?] 118728[?] 503316[?]  -118728[?] 118726[?] 118727[?] 503309[?]  -118726[?] 118724[?] 503308[?]  -118727[?] 118342[?] 503305[?]  -118724[?] 118722[?] 118723[?] 503295[?]  -118722[?] 118720[?] 503294[?]  -118723[?] 118341[?] 503291[?]  -118720[?] 118718[?] 118719[?] 503281[?]  -118718[?] 118716[?] 503280[?]  -118719[?] 118340[?] 503277[?]  -118716[?] 118714[?] 118715[?] 503267[?]  -118714[?] 118712[?] 503266[?]  -118715[?] 118339[?] 503263[?]  -118712[?] 118710[?] 118711[?] 503253[?]  -118710[?] 118708[?] 503252[?]  -118711[?] 118338[?] 503249[?]  -118708[?] 118706[?] 118707[?] 503239[?]  -118706[?] 118704[?] 503238[?]  -118707[?] 118337[?] 503235[?]  -118704[?] 118702[?] 118703[?] 503225[?]  -118702[?] 118700[?] 503224[?]  -118703[?] 118336[?] 503221[?]  -118700[?] 118698[?] 118699[?] 503211[?]  -118698[?] 118696[?] 503210[?]  -118699[?] 118335[?] 503207[?]  -118696[?] 118694[?] 118695[?] 503197[?]  -118694[?] 118692[?] 503196[?]  -118695[?] 118334[?] 503193[?]  -118692[?] 118690[?] 118691[?] 503183[?]  -118690[?] 118688[?] 503182[?]  -118691[?] 118333[?] 503179[?]  -118688[?] 118686[?] 118687[?] 503169[?]  -118686[?] 118684[?] 503168[?]  -118687[?] 118332[?] 503165[?]  -118684[?] 118682[?] 118683[?] 503155[?]  -118682[?] 118680[?] 503154[?]  -118683[?] 118331[?] 503151[?]  -118680[?] 118678[?] 118679[?] 503141[?]  -118678[?] 118676[?] 503140[?]  -118679[?] 118330[?] 503137[?]  -118676[?] 118674[?] 118675[?] 503127[?]  -118674[?] 118672[?] 503126[?]  -118675[?] 118329[?] 503123[?]  -118672[?] 118670[?] 118671[?] 503113[?]  -118670[?] 118668[?] 503112[?]  -118671[?] 118328[?] 503109[?]  -118668[?] 118666[?] 118667[?] 503099[?]  -118666[?] 118664[?] 503098[?]  -118667[?] 118327[?] 503095[?]  -118664[?] 118662[?] 118663[?] 503085[?]  -118662[?] 118660[?] 503084[?]  -118663[?] 118326[?] 503081[?]  -118660[?] 118658[?] 118659[?] 503071[?]  -118658[?] 118656[?] 503070[?]  -118659[?] 118325[?] 503067[?]  -118656[?] 118654[?] 118655[?] 503057[?]  -118654[?] 118652[?] 503056[?]  -118655[?] 118324[?] 503053[?]  -118652[?] 118650[?] 118651[?] 503043[?]  -118650[?] 118648[?] 503042[?]  -118651[?] 118323[?] 503039[?]  -118648[?] 118646[?] 118647[?] 503029[?]  -118646[?] 118644[?] 503028[?]  -118647[?] 118322[?] 503025[?]  -118644[?] 118642[?] 118643[?] 503015[?]  -118642[?] 118640[?] 503014[?]  -118643[?] 118321[?] 503011[?]  -118640[?] 118638[?] 118639[?] 503001[?]  -118638[?] 118636[?] 503000[?]  -118639[?] 118320[?] 502997[?]  -118636[?] 118634[?] 118635[?] 502987[?]  -118634[?] 118632[?] 502986[?]  -118635[?] 118319[?] 502983[?]  -118632[?] 118630[?] 118631[?] 502973[?]  -118630[?] 118628[?] 502972[?]  -118631[?] 118318[?] 502969[?]  -118628[?] 118626[?] 502960[?]  -118626[?] 118625[?] 502958[?]  -118625[?] 118317[?] 502955[?]  118343[?] 118535[?] 502875[?]  -118535[?] 118533[?] 118534[?] 502868[?]  -118533[?] 118531[?] 502867[?]  -118534[?] 118342[?] 502864[?]  -118531[?] 118529[?] 118530[?] 502854[?]  -118529[?] 118527[?] 502853[?]  -118530[?] 118341[?] 502850[?]  -118527[?] 118525[?] 118526[?] 502840[?]  -118525[?] 118523[?] 502839[?]  -118526[?] 118340[?] 502836[?]  -118523[?] 118521[?] 118522[?] 502826[?]  -118521[?] 118519[?] 502825[?]  -118522[?] 118339[?] 502822[?]  -118519[?] 118517[?] 118518[?] 502812[?]  -118517[?] 118515[?] 502811[?]  -118518[?] 118338[?] 502808[?]  -118515[?] 118513[?] 118514[?] 502798[?]  -118513[?] 118511[?] 502797[?]  -118514[?] 118337[?] 502794[?]  -118511[?] 118509[?] 118510[?] 502784[?]  -118509[?] 118507[?] 502783[?]  -118510[?] 118336[?] 502780[?]  -118507[?] 118505[?] 118506[?] 502770[?]  -118505[?] 118503[?] 502769[?]  -118506[?] 118335[?] 502766[?]  -118503[?] 118501[?] 118502[?] 502756[?]  -118501[?] 118499[?] 502755[?]  -118502[?] 118334[?] 502752[?]  -118499[?] 118497[?] 118498[?] 502742[?]  -118497[?] 118495[?] 502741[?]  -118498[?] 118333[?] 502738[?]  -118495[?] 118493[?] 118494[?] 502728[?]  -118493[?] 118491[?] 502727[?]  -118494[?] 118332[?] 502724[?]  -118491[?] 118489[?] 118490[?] 502714[?]  -118489[?] 118487[?] 502713[?]  -118490[?] 118331[?] 502710[?]  -118487[?] 118485[?] 118486[?] 502700[?]  -118485[?] 118483[?] 502699[?]  -118486[?] 118330[?] 502696[?]  -118483[?] 118481[?] 118482[?] 502686[?]  -118481[?] 118479[?] 502685[?]  -118482[?] 118329[?] 502682[?]  -118479[?] 118477[?] 118478[?] 502672[?]  -118477[?] 118475[?] 502671[?]  -118478[?] 118328[?] 502668[?]  -118475[?] 118473[?] 118474[?] 502658[?]  -118473[?] 118471[?] 502657[?]  -118474[?] 118327[?] 502654[?]  -118471[?] 118469[?] 118470[?] 502644[?]  -118469[?] 118467[?] 502643[?]  -118470[?] 118326[?] 502640[?]  -118467[?] 118465[?] 118466[?] 502630[?]  -118465[?] 118463[?] 502629[?]  -118466[?] 118325[?] 502626[?]  -118463[?] 118461[?] 118462[?] 502616[?]  -118461[?] 118459[?] 502615[?]  -118462[?] 118324[?] 502612[?]  -118459[?] 118457[?] 118458[?] 502602[?]  -118457[?] 118455[?] 502601[?]  -118458[?] 118323[?] 502598[?]  -118455[?] 118453[?] 118454[?] 502588[?]  -118453[?] 118451[?] 502587[?]  -118454[?] 118322[?] 502584[?]  -118451[?] 118449[?] 118450[?] 502574[?]  -118449[?] 118447[?] 502573[?]  -118450[?] 118321[?] 502570[?]  -118447[?] 118445[?] 118446[?] 502560[?]  -118445[?] 118443[?] 502559[?]  -118446[?] 118320[?] 502556[?]  -118443[?] 118441[?] 118442[?] 502546[?]  -118441[?] 118439[?] 502545[?]  -118442[?] 118319[?] 502542[?]  -118439[?] 118437[?] 118438[?] 502532[?]  -118437[?] 118435[?] 502531[?]  -118438[?] 118318[?] 502528[?]  -118435[?] 118433[?] 502519[?]  -118433[?] 118432[?] 502517[?]  -118432[?] 118317[?] 502514[?]  -118342[?] 118310[?] 502436[?]  -118341[?] 118310[?] 502434[?]  -118340[?] 118310[?] 502432[?]  -118339[?] 118310[?] 502430[?]  -118338[?] 118310[?] 502428[?]  -118337[?] 118310[?] 502426[?]  -118336[?] 118310[?] 502424[?]  -118335[?] 118310[?] 502422[?]  -118334[?] 118310[?] 502420[?]  -118333[?] 118310[?] 502418[?]  -118332[?] 118310[?] 502416[?]  -118331[?] 118310[?] 502414[?]  -118330[?] 118310[?] 502412[?]  -118329[?] 118310[?] 502410[?]  -118328[?] 118310[?] 502408[?]  -118327[?] 118310[?] 502406[?]  -118326[?] 118310[?] 502404[?]  -118325[?] 118310[?] 502402[?]  -118324[?] 118310[?] 502400[?]  -118323[?] 118310[?] 502398[?]  -118322[?] 118310[?] 502396[?]  -118321[?] 118310[?] 502394[?]  -118320[?] 118310[?] 502392[?]  -118319[?] 118310[?] 502390[?]  -118318[?] 118310[?] 502388[?]  -118317[?] 118309[?] 502386[?]  118316[?] -118308[?] 502385[?]  -118315[?] 118307[?] 502382[?]  118314[?] -118306[?] 502381[?]  -118310[?] 118230[?] 118229[?] 502373[?]  -118309[?] 118230[?] 118228[?] 502369[?]  118308[?] 118230[?] -118227[?] 502364[?]  -118307[?] 118230[?] 118226[?] 502361[?]  118306[?] 118230[?] -118225[?] 502356[?]  -118230[?] 118246[?] 502148[?]  -118246[?] 118245[?] 502146[?]  -118245[?] 118237[?] 502144[?]  -118237[?] 118228[?] 502122[?]  -118229[?] 118100[?] 118099[?] 502108[?]  -118228[?] 118100[?] 118098[?] 502104[?]  118227[?] 118100[?] -118097[?] 502099[?]  -118226[?] 118100[?] 118096[?] 502096[?]  118225[?] 118100[?] -118095[?] 502091[?]  -118100[?] 118116[?] 501746[?]  -118116[?] 118115[?] 501744[?]  -118115[?] 118107[?] 501742[?]  -118107[?] 118098[?] 501720[?]  -118099[?] 118091[?] 117621[?] 501706[?]  -118098[?] 118090[?] 117621[?] 501702[?]  118097[?] -118089[?] 117621[?] 501697[?]  -118096[?] 118088[?] 117621[?] 501694[?]  118095[?] -118087[?] 117621[?] 501689[?]  -118091[?] 118027[?] 118026[?] 501674[?]  -118090[?] 118027[?] 118025[?] 501670[?]  118089[?] 118027[?] -118024[?] 501665[?]  -118088[?] 118027[?] 118023[?] 501662[?]  118087[?] 118027[?] -118022[?] 501657[?]  -118027[?] 118043[?] 501545[?]  -118043[?] 118042[?] 501543[?]  -118042[?] 118041[?] 501540[?]  -118041[?] 118040[?] 501537[?]  -118040[?] 118039[?] 501534[?]  -118039[?] 118038[?] 501531[?]  -118038[?] 118030[?] 501529[?]  -118030[?] 118021[?] 501511[?]  -118026[?] 117620[?] -73881[?] 501503[?]  -118025[?] 117619[?] -73881[?] 501499[?]  118024[?] -117618[?] -73881[?] 501494[?]  -118023[?] 117617[?] -73881[?] 501491[?]  118022[?] -117616[?] -73881[?] 501486[?]  -118021[?] 117615[?] -73881[?] 501483[?]  117848[?] -117784[?] 501021[?]  117847[?] -117848[?] 501019[?]  117846[?] -117847[?] 501016[?]  117845[?] -117846[?] 501013[?]  117844[?] -117845[?] 501010[?]  117843[?] -117844[?] 501007[?]  117842[?] -117843[?] 501004[?]  117841[?] -117842[?] 501001[?]  117840[?] -117841[?] 500998[?]  117839[?] -117840[?] 500995[?]  117838[?] -117839[?] 500992[?]  117837[?] -117838[?] 500989[?]  117836[?] -117837[?] 500986[?]  117835[?] -117836[?] 500983[?]  117834[?] -117835[?] 500980[?]  117833[?] -117834[?] 500977[?]  117832[?] -117833[?] 500974[?]  117831[?] -117832[?] 500971[?]  117830[?] -117831[?] 500968[?]  117829[?] -117830[?] 500965[?]  117828[?] -117829[?] 500962[?]  117827[?] -117828[?] 500959[?]  117826[?] -117827[?] 500956[?]  117825[?] -117826[?] 500953[?]  117824[?] -117825[?] 500950[?]  117823[?] -117824[?] 500947[?]  117822[?] -117823[?] 500944[?]  117821[?] -117822[?] 500941[?]  117820[?] -117821[?] 500938[?]  117819[?] -117820[?] 500935[?]  117818[?] -117819[?] 500932[?]  117817[?] -117818[?] 500929[?]  117785[?] -117817[?] 500927[?]  -117752[?] -117785[?] 500863[?]  -117720[?] 117621[?] 117752[?] 500767[?]  -117621[?] 117752[?] 500766[?]  73881[?] 117720[?] 500672[?]  -117688[?] -73881[?] 117720[?] 500670[?]  117671[?] 117688[?] 500576[?]  117687[?] -117671[?] 500572[?]  117679[?] -117687[?] 500571[?]  117686[?] -117687[?] 500570[?]  117678[?] -117686[?] 500568[?]  117685[?] -117686[?] 500567[?]  117677[?] -117685[?] 500565[?]  117684[?] -117685[?] 500564[?]  117676[?] -117684[?] 500562[?]  117683[?] -117684[?] 500561[?]  117675[?] -117683[?] 500559[?]  117682[?] -117683[?] 500558[?]  117674[?] -117682[?] 500556[?]  -117620[?] -117679[?] 500548[?]  -117619[?] -117678[?] 500546[?]  117618[?] -117677[?] 500544[?]  -117617[?] -117676[?] 500542[?]  117616[?] -117675[?] 500540[?]  -117615[?] -117674[?] 500538[?]  -151619[?] 161808[?] 
1.98/1.43	c qxplain 0/583
2.40/1.77	c qxplain 292/583
2.65/1.99	c qxplain 438/583
2.86/2.19	c qxplain 511/583
3.16/2.40	c qxplain 548/583
3.36/2.61	c qxplain 566/583
3.56/2.82	c qxplain 575/583
3.76/3.02	c qxplain 580/583
3.96/3.22	c qxplain 582/583
4.18/3.43	c qxplain 583/583
4.42/3.66	c -151619[?] 161808[?] is mandatory 
4.42/3.66	c qxplain 582/582
4.62/3.87	c 500538[?] -117615[?] -117674[?]  is mandatory 
4.62/3.87	c qxplain 580/581
4.82/4.08	c qxplain 581/581
5.02/4.28	c 500540[?] 117616[?] -117675[?]  is mandatory 
5.02/4.28	c qxplain 580/580
5.24/4.50	c 500542[?] -117617[?] -117676[?]  is mandatory 
5.24/4.50	c qxplain 575/579
5.52/4.70	c qxplain 578/579
5.72/4.91	c qxplain 579/579
5.91/5.12	c 500544[?] 117618[?] -117677[?]  is mandatory 
5.91/5.12	c qxplain 578/578
6.12/5.33	c 500546[?] -117619[?] -117678[?]  is mandatory 
6.12/5.33	c qxplain 575/577
6.34/5.54	c qxplain 577/577
6.52/5.74	c 500548[?] -117620[?] -117679[?]  is mandatory 
6.52/5.74	c qxplain 575/576
6.72/5.95	c qxplain 576/576
6.92/6.15	c 500556[?] 117674[?] -117682[?]  is mandatory 
6.92/6.15	c qxplain 575/575
7.11/6.36	c 500558[?] 117682[?] -117683[?]  is mandatory 
7.11/6.36	c qxplain 566/574
7.32/6.56	c qxplain 571/574
7.54/6.77	c qxplain 573/574
7.71/6.97	c qxplain 574/574
7.92/7.18	c 500559[?] 117675[?] -117683[?]  is mandatory 
7.92/7.18	c qxplain 573/573
8.11/7.38	c 500561[?] 117683[?] -117684[?]  is mandatory 
8.11/7.38	c qxplain 571/572
8.32/7.59	c qxplain 572/572
8.53/7.80	c 500562[?] 117676[?] -117684[?]  is mandatory 
8.53/7.80	c qxplain 571/571
8.82/8.00	c 500564[?] 117684[?] -117685[?]  is mandatory 
8.82/8.00	c qxplain 566/570
9.02/8.21	c qxplain 569/570
9.22/8.42	c qxplain 570/570
9.42/8.62	c 500565[?] 117677[?] -117685[?]  is mandatory 
9.42/8.62	c qxplain 569/569
9.64/8.83	c 500567[?] 117685[?] -117686[?]  is mandatory 
9.64/8.83	c qxplain 566/568
9.82/9.03	c qxplain 568/568
10.02/9.23	c 500568[?] 117678[?] -117686[?]  is mandatory 
10.02/9.23	c qxplain 566/567
10.22/9.44	c qxplain 567/567
10.42/9.64	c 500570[?] 117686[?] -117687[?]  is mandatory 
10.42/9.64	c qxplain 566/566
10.62/9.85	c 500571[?] 117679[?] -117687[?]  is mandatory 
10.62/9.85	c qxplain 548/565
10.84/10.06	c qxplain 557/565
11.02/10.26	c qxplain 562/565
11.21/10.47	c qxplain 564/565
11.42/10.67	c qxplain 565/565
11.61/10.87	c 500572[?] 117687[?] -117671[?]  is mandatory 
11.61/10.87	c qxplain 564/564
11.84/11.08	c 500576[?] 117671[?] 117688[?]  is mandatory 
11.84/11.08	c qxplain 562/563
12.02/11.28	c qxplain 563/563
12.22/11.49	c 500670[?] -117688[?] -73881[?] 117720[?]  is mandatory 
12.22/11.49	c qxplain 562/562
12.42/11.69	c 500672[?] 73881[?] 117720[?]  is mandatory 
12.42/11.69	c qxplain 557/561
12.72/11.90	c qxplain 560/561
12.82/12.10	c qxplain 561/561
13.11/12.30	c 500766[?] -117621[?] 117752[?]  is mandatory 
13.11/12.30	c qxplain 560/560
13.32/12.51	c 500767[?] -117720[?] 117621[?] 117752[?]  is mandatory 
13.32/12.51	c qxplain 557/559
13.51/12.72	c qxplain 559/559
13.72/12.92	c 500863[?] -117752[?] -117785[?]  is mandatory 
13.72/12.92	c qxplain 557/558
13.91/13.12	c qxplain 558/558
14.14/13.32	c 500927[?] 117785[?] -117817[?]  is mandatory 
14.14/13.32	c qxplain 557/557
14.84/13.80	c 500929[?] 117817[?] -117818[?]  is mandatory 
14.84/13.80	c qxplain 548/556
15.04/13.94	c qxplain 553/556
15.14/14.09	c qxplain 555/556
15.34/14.23	c qxplain 556/556
15.46/14.38	c 500932[?] 117818[?] -117819[?]  is mandatory 
15.46/14.38	c qxplain 555/555
15.64/14.52	c 500935[?] 117819[?] -117820[?]  is mandatory 
15.64/14.52	c qxplain 553/554
15.73/14.66	c qxplain 554/554
15.93/14.80	c 500938[?] 117820[?] -117821[?]  is mandatory 
15.93/14.80	c qxplain 553/553
16.03/14.95	c 500941[?] 117821[?] -117822[?]  is mandatory 
16.03/14.95	c qxplain 548/552
16.13/15.09	c qxplain 551/552
16.34/15.24	c qxplain 552/552
16.44/15.38	c 500944[?] 117822[?] -117823[?]  is mandatory 
16.44/15.38	c qxplain 551/551
16.66/15.53	c 500947[?] 117823[?] -117824[?]  is mandatory 
16.66/15.53	c qxplain 548/550
16.74/15.67	c qxplain 550/550
16.94/15.81	c 500950[?] 117824[?] -117825[?]  is mandatory 
16.94/15.81	c qxplain 548/549
17.04/15.95	c qxplain 549/549
17.24/16.10	c 500953[?] 117825[?] -117826[?]  is mandatory 
17.24/16.10	c qxplain 548/548
17.34/16.24	c 500956[?] 117826[?] -117827[?]  is mandatory 
17.34/16.24	c qxplain 511/547
17.44/16.38	c qxplain 530/547
17.66/16.53	c qxplain 539/547
17.76/16.67	c qxplain 544/547
17.93/16.81	c qxplain 546/547
18.03/16.96	c qxplain 547/547
18.23/17.10	c 500959[?] 117827[?] -117828[?]  is mandatory 
18.23/17.10	c qxplain 546/546
18.33/17.24	c 500962[?] 117828[?] -117829[?]  is mandatory 
18.33/17.24	c qxplain 544/545
18.43/17.39	c qxplain 545/545
18.63/17.53	c 500965[?] 117829[?] -117830[?]  is mandatory 
18.63/17.53	c qxplain 544/544
18.75/17.67	c 500968[?] 117830[?] -117831[?]  is mandatory 
18.75/17.67	c qxplain 539/543
18.93/17.82	c qxplain 542/543
19.03/17.96	c qxplain 543/543
19.24/18.10	c 500971[?] 117831[?] -117832[?]  is mandatory 
19.24/18.10	c qxplain 542/542
19.34/18.25	c 500974[?] 117832[?] -117833[?]  is mandatory 
19.34/18.25	c qxplain 539/541
19.44/18.40	c qxplain 541/541
19.64/18.54	c 500977[?] 117833[?] -117834[?]  is mandatory 
19.64/18.54	c qxplain 539/540
19.74/18.69	c qxplain 540/540
19.96/18.83	c 500980[?] 117834[?] -117835[?]  is mandatory 
19.96/18.83	c qxplain 539/539
20.04/18.98	c 500983[?] 117835[?] -117836[?]  is mandatory 
20.04/18.98	c qxplain 530/538
20.24/19.13	c qxplain 535/538
20.34/19.27	c qxplain 537/538
20.54/19.42	c qxplain 538/538
20.64/19.57	c 500986[?] 117836[?] -117837[?]  is mandatory 
20.64/19.57	c qxplain 537/537
20.84/19.71	c 500989[?] 117837[?] -117838[?]  is mandatory 
20.84/19.71	c qxplain 535/536
20.96/19.86	c qxplain 536/536
21.14/20.00	c 500992[?] 117838[?] -117839[?]  is mandatory 
21.14/20.00	c qxplain 535/535
21.24/20.15	c 500995[?] 117839[?] -117840[?]  is mandatory 
21.24/20.15	c qxplain 530/534
21.34/20.30	c qxplain 533/534
21.54/20.44	c qxplain 534/534
21.64/20.59	c 500998[?] 117840[?] -117841[?]  is mandatory 
21.64/20.59	c qxplain 533/533
21.84/20.73	c 501001[?] 117841[?] -117842[?]  is mandatory 
21.84/20.73	c qxplain 530/532
21.94/20.87	c qxplain 532/532
22.16/21.02	c 501004[?] 117842[?] -117843[?]  is mandatory 
22.16/21.02	c qxplain 530/531
22.24/21.16	c qxplain 531/531
22.44/21.31	c 501007[?] 117843[?] -117844[?]  is mandatory 
22.44/21.31	c qxplain 530/530
22.54/21.45	c 501010[?] 117844[?] -117845[?]  is mandatory 
22.54/21.45	c qxplain 511/529
22.64/21.59	c qxplain 521/529
22.84/21.74	c qxplain 526/529
22.94/21.88	c qxplain 528/529
23.16/22.02	c qxplain 529/529
23.26/22.17	c 501013[?] 117845[?] -117846[?]  is mandatory 
23.26/22.17	c qxplain 528/528
23.44/22.31	c 501016[?] 117846[?] -117847[?]  is mandatory 
23.44/22.31	c qxplain 526/527
23.54/22.45	c qxplain 527/527
23.75/22.60	c 501019[?] 117847[?] -117848[?]  is mandatory 
23.75/22.60	c qxplain 526/526
23.85/22.74	c 501021[?] 117848[?] -117784[?]  is mandatory 
23.85/22.74	c qxplain 521/525
23.95/22.89	c qxplain 524/525
24.15/23.03	c qxplain 525/525
24.27/23.17	c 501483[?] -118021[?] 117615[?] -73881[?]  is mandatory 
24.27/23.17	c qxplain 524/524
24.45/23.31	c 501486[?] 118022[?] -117616[?] -73881[?]  is mandatory 
24.45/23.31	c qxplain 521/523
24.55/23.46	c qxplain 523/523
24.75/23.60	c 501491[?] -118023[?] 117617[?] -73881[?]  is mandatory 
24.75/23.60	c qxplain 521/522
25.44/24.02	c qxplain 522/522
25.54/24.17	c 501494[?] 118024[?] -117618[?] -73881[?]  is mandatory 
25.54/24.17	c qxplain 521/521
25.66/24.31	c 501499[?] -118025[?] 117619[?] -73881[?]  is mandatory 
25.66/24.31	c qxplain 511/520
25.84/24.45	c qxplain 516/520
25.94/24.59	c qxplain 519/520
26.14/24.74	c qxplain 520/520
26.24/24.88	c 501503[?] -118026[?] 117620[?] -73881[?]  is mandatory 
26.24/24.88	c qxplain 519/519
26.44/25.02	c 501511[?] -118030[?] 118021[?]  is mandatory 
26.44/25.02	c qxplain 516/518
26.54/25.17	c qxplain 518/518
26.64/25.31	c 501529[?] -118038[?] 118030[?]  is mandatory 
26.64/25.31	c qxplain 516/517
26.86/25.45	c qxplain 517/517
26.93/25.59	c 501531[?] -118039[?] 118038[?]  is mandatory 
26.93/25.59	c qxplain 516/516
27.13/25.74	c 501534[?] -118040[?] 118039[?]  is mandatory 
27.13/25.74	c qxplain 511/515
27.23/25.88	c qxplain 514/515
27.43/26.03	c qxplain 515/515
27.53/26.17	c 501537[?] -118041[?] 118040[?]  is mandatory 
27.53/26.17	c qxplain 514/514
27.73/26.31	c 501540[?] -118042[?] 118041[?]  is mandatory 
27.73/26.31	c qxplain 511/513
27.85/26.46	c qxplain 513/513
27.95/26.60	c 501543[?] -118043[?] 118042[?]  is mandatory 
27.95/26.60	c qxplain 511/512
28.13/26.74	c qxplain 512/512
28.23/26.88	c 501545[?] -118027[?] 118043[?]  is mandatory 
28.23/26.88	c qxplain 511/511
28.43/27.02	c 501657[?] 118087[?] 118027[?] -118022[?]  is mandatory 
28.43/27.02	c qxplain 438/510
28.53/27.17	c qxplain 475/510
28.73/27.31	c qxplain 493/510
28.83/27.46	c qxplain 502/510
28.95/27.60	c qxplain 507/510
29.13/27.75	c qxplain 509/510
29.23/27.89	c qxplain 510/510
29.43/28.03	c 501662[?] -118088[?] 118027[?] 118023[?]  is mandatory 
29.43/28.03	c qxplain 509/509
29.53/28.17	c 501665[?] 118089[?] 118027[?] -118024[?]  is mandatory 
29.53/28.17	c qxplain 507/508
29.73/28.31	c qxplain 508/508
29.83/28.45	c 501670[?] -118090[?] 118027[?] 118025[?]  is mandatory 
29.83/28.45	c qxplain 507/507
29.93/28.60	c 501674[?] -118091[?] 118027[?] 118026[?]  is mandatory 
29.93/28.60	c qxplain 502/506
30.15/28.74	c qxplain 505/506
30.23/28.89	c qxplain 506/506
30.43/29.03	c 501689[?] 118095[?] -118087[?] 117621[?]  is mandatory 
30.43/29.03	c qxplain 505/505
30.53/29.17	c 501694[?] -118096[?] 118088[?] 117621[?]  is mandatory 
30.53/29.17	c qxplain 502/504
30.73/29.32	c qxplain 504/504
30.83/29.46	c 501697[?] 118097[?] -118089[?] 117621[?]  is mandatory 
30.83/29.46	c qxplain 502/503
31.03/29.60	c qxplain 503/503
31.16/29.74	c 501702[?] -118098[?] 118090[?] 117621[?]  is mandatory 
31.16/29.74	c qxplain 502/502
31.26/29.88	c 501706[?] -118099[?] 118091[?] 117621[?]  is mandatory 
31.26/29.89	c qxplain 493/501
31.44/30.03	c qxplain 498/501
31.54/30.17	c qxplain 500/501
31.74/30.31	c qxplain 501/501
31.84/30.45	c 501720[?] -118107[?] 118098[?]  is mandatory 
31.84/30.45	c qxplain 500/500
31.94/30.60	c 501742[?] -118115[?] 118107[?]  is mandatory 
31.94/30.60	c qxplain 498/499
32.14/30.74	c qxplain 499/499
32.26/30.88	c 501744[?] -118116[?] 118115[?]  is mandatory 
32.26/30.88	c qxplain 498/498
32.44/31.03	c 501746[?] -118100[?] 118116[?]  is mandatory 
32.44/31.03	c qxplain 493/497
32.54/31.17	c qxplain 496/497
32.74/31.32	c qxplain 497/497
32.84/31.46	c 502091[?] 118225[?] 118100[?] -118095[?]  is mandatory 
32.84/31.46	c qxplain 496/496
33.04/31.61	c 502096[?] -118226[?] 118100[?] 118096[?]  is mandatory 
33.04/31.61	c qxplain 493/495
33.14/31.75	c qxplain 495/495
33.24/31.90	c 502099[?] 118227[?] 118100[?] -118097[?]  is mandatory 
33.24/31.90	c qxplain 493/494
33.46/32.04	c qxplain 494/494
33.54/32.19	c 502104[?] -118228[?] 118100[?] 118098[?]  is mandatory 
33.54/32.19	c qxplain 493/493
33.74/32.34	c 502108[?] -118229[?] 118100[?] 118099[?]  is mandatory 
33.74/32.34	c qxplain 475/492
33.84/32.48	c qxplain 484/492
34.04/32.63	c qxplain 489/492
34.14/32.78	c qxplain 491/492
34.34/32.92	c qxplain 492/492
34.46/33.07	c 502122[?] -118237[?] 118228[?]  is mandatory 
34.46/33.07	c qxplain 491/491
34.64/33.21	c 502144[?] -118245[?] 118237[?]  is mandatory 
34.64/33.21	c qxplain 489/490
34.74/33.36	c qxplain 490/490
34.94/33.50	c 502146[?] -118246[?] 118245[?]  is mandatory 
34.94/33.50	c qxplain 489/489
35.04/33.64	c 502148[?] -118230[?] 118246[?]  is mandatory 
35.04/33.64	c qxplain 484/488
35.14/33.78	c qxplain 487/488
35.78/34.17	c qxplain 488/488
35.90/34.32	c 502356[?] 118306[?] 118230[?] -118225[?]  is mandatory 
35.90/34.32	c qxplain 487/487
36.08/34.46	c 502361[?] -118307[?] 118230[?] 118226[?]  is mandatory 
36.08/34.46	c qxplain 484/486
36.28/34.60	c qxplain 486/486
36.38/34.75	c 502364[?] 118308[?] 118230[?] -118227[?]  is mandatory 
36.38/34.75	c qxplain 484/485
36.48/34.89	c qxplain 485/485
36.68/35.04	c 502369[?] -118309[?] 118230[?] 118228[?]  is mandatory 
36.68/35.04	c qxplain 484/484
36.78/35.18	c 502373[?] -118310[?] 118230[?] 118229[?]  is mandatory 
36.78/35.18	c qxplain 475/483
37.00/35.33	c qxplain 480/483
37.10/35.47	c qxplain 482/483
37.28/35.62	c qxplain 483/483
37.38/35.76	c 502381[?] 118314[?] -118306[?]  is mandatory 
37.38/35.76	c qxplain 482/482
37.58/35.90	c 502382[?] -118315[?] 118307[?]  is mandatory 
37.58/35.91	c qxplain 480/481
37.68/36.05	c qxplain 481/481
37.78/36.19	c 502385[?] 118316[?] -118308[?]  is mandatory 
37.78/36.19	c qxplain 480/480
37.98/36.33	c 502386[?] -118317[?] 118309[?]  is mandatory 
37.98/36.33	c qxplain 475/479
38.10/36.48	c qxplain 478/479
38.28/36.62	c qxplain 479/479
38.38/36.76	c 502388[?] -118318[?] 118310[?]  is mandatory 
38.38/36.76	c qxplain 478/478
38.58/36.91	c 502390[?] -118319[?] 118310[?]  is mandatory 
38.58/36.91	c qxplain 475/477
38.68/37.05	c qxplain 477/477
38.88/37.20	c 502392[?] -118320[?] 118310[?]  is mandatory 
38.88/37.20	c qxplain 475/476
38.98/37.34	c qxplain 476/476
39.08/37.49	c 502394[?] -118321[?] 118310[?]  is mandatory 
39.08/37.49	c qxplain 475/475
39.30/37.63	c 502396[?] -118322[?] 118310[?]  is mandatory 
39.30/37.63	c qxplain 438/474
39.38/37.77	c qxplain 457/474
39.58/37.91	c qxplain 466/474
39.68/38.05	c qxplain 471/474
39.78/38.20	c qxplain 473/474
39.98/38.34	c qxplain 474/474
40.08/38.49	c 502398[?] -118323[?] 118310[?]  is mandatory 
40.08/38.49	c qxplain 473/473
40.30/38.63	c 502400[?] -118324[?] 118310[?]  is mandatory 
40.30/38.63	c qxplain 471/472
40.40/38.78	c qxplain 472/472
40.58/38.92	c 502402[?] -118325[?] 118310[?]  is mandatory 
40.58/38.92	c qxplain 471/471
40.68/39.06	c 502404[?] -118326[?] 118310[?]  is mandatory 
40.68/39.06	c qxplain 466/470
40.88/39.21	c qxplain 469/470
40.98/39.35	c qxplain 470/470
41.08/39.50	c 502406[?] -118327[?] 118310[?]  is mandatory 
41.08/39.50	c qxplain 469/469
41.28/39.64	c 502408[?] -118328[?] 118310[?]  is mandatory 
41.28/39.64	c qxplain 466/468
41.40/39.79	c qxplain 468/468
41.58/39.93	c 502410[?] -118329[?] 118310[?]  is mandatory 
41.58/39.93	c qxplain 466/467
41.68/40.07	c qxplain 467/467
41.88/40.22	c 502412[?] -118330[?] 118310[?]  is mandatory 
41.88/40.22	c qxplain 466/466
41.98/40.36	c 502414[?] -118331[?] 118310[?]  is mandatory 
41.98/40.36	c qxplain 457/465
42.18/40.50	c qxplain 462/465
42.28/40.64	c qxplain 464/465
42.38/40.79	c qxplain 465/465
42.60/40.93	c 502416[?] -118332[?] 118310[?]  is mandatory 
42.60/40.93	c qxplain 464/464
42.68/41.08	c 502418[?] -118333[?] 118310[?]  is mandatory 
42.68/41.08	c qxplain 462/463
42.88/41.22	c qxplain 463/463
42.98/41.37	c 502420[?] -118334[?] 118310[?]  is mandatory 
42.98/41.37	c qxplain 462/462
43.18/41.51	c 502422[?] -118335[?] 118310[?]  is mandatory 
43.18/41.51	c qxplain 457/461
43.28/41.65	c qxplain 460/461
43.38/41.80	c qxplain 461/461
43.60/41.94	c 502424[?] -118336[?] 118310[?]  is mandatory 
43.60/41.94	c qxplain 460/460
43.70/42.09	c 502426[?] -118337[?] 118310[?]  is mandatory 
43.70/42.09	c qxplain 457/459
43.88/42.23	c qxplain 459/459
43.98/42.37	c 502428[?] -118338[?] 118310[?]  is mandatory 
43.98/42.37	c qxplain 457/458
44.18/42.52	c qxplain 458/458
44.28/42.66	c 502430[?] -118339[?] 118310[?]  is mandatory 
44.28/42.66	c qxplain 457/457
44.48/42.81	c 502432[?] -118340[?] 118310[?]  is mandatory 
44.48/42.81	c qxplain 438/456
44.58/42.95	c qxplain 448/456
44.70/43.09	c qxplain 453/456
44.88/43.23	c qxplain 455/456
44.98/43.38	c qxplain 456/456
45.18/43.53	c 502434[?] -118341[?] 118310[?]  is mandatory 
45.18/43.53	c qxplain 455/455
45.28/43.67	c 502436[?] -118342[?] 118310[?]  is mandatory 
45.28/43.67	c qxplain 453/454
45.48/43.82	c qxplain 454/454
46.11/44.21	c 502514[?] -118432[?] 118317[?]  is mandatory 
46.11/44.21	c qxplain 453/453
46.23/44.36	c 502517[?] -118433[?] 118432[?]  is mandatory 
46.23/44.36	c qxplain 448/452
46.43/44.50	c qxplain 451/452
46.53/44.65	c qxplain 452/452
46.73/44.80	c 502519[?] -118435[?] 118433[?]  is mandatory 
46.73/44.80	c qxplain 451/451
46.82/44.95	c 502528[?] -118438[?] 118318[?]  is mandatory 
46.82/44.95	c qxplain 448/450
47.02/45.10	c qxplain 450/450
47.14/45.25	c 502531[?] -118437[?] 118435[?]  is mandatory 
47.14/45.25	c qxplain 448/449
47.33/45.40	c qxplain 449/449
47.42/45.55	c 502532[?] -118439[?] 118437[?] 118438[?]  is mandatory 
47.42/45.55	c qxplain 448/448
47.62/45.70	c 502542[?] -118442[?] 118319[?]  is mandatory 
47.62/45.70	c qxplain 438/447
47.72/45.84	c qxplain 443/447
47.82/45.99	c qxplain 446/447
48.02/46.14	c qxplain 447/447
48.12/46.29	c 502545[?] -118441[?] 118439[?]  is mandatory 
48.12/46.29	c qxplain 446/446
48.34/46.44	c 502546[?] -118443[?] 118441[?] 118442[?]  is mandatory 
48.34/46.44	c qxplain 443/445
48.42/46.59	c qxplain 445/445
48.62/46.74	c 502556[?] -118446[?] 118320[?]  is mandatory 
48.62/46.74	c qxplain 443/444
48.72/46.88	c qxplain 444/444
48.92/47.02	c 502559[?] -118445[?] 118443[?]  is mandatory 
48.92/47.02	c qxplain 443/443
49.02/47.17	c 502560[?] -118447[?] 118445[?] 118446[?]  is mandatory 
49.02/47.17	c qxplain 438/442
49.22/47.32	c qxplain 441/442
49.34/47.46	c qxplain 442/442
49.52/47.61	c 502570[?] -118450[?] 118321[?]  is mandatory 
49.52/47.61	c qxplain 441/441
49.62/47.76	c 502573[?] -118449[?] 118447[?]  is mandatory 
49.62/47.76	c qxplain 438/440
49.82/47.91	c qxplain 440/440
49.92/48.05	c 502574[?] -118451[?] 118449[?] 118450[?]  is mandatory 
49.92/48.05	c qxplain 438/439
50.02/48.20	c qxplain 439/439
50.23/48.34	c 502584[?] -118454[?] 118322[?]  is mandatory 
50.23/48.34	c qxplain 438/438
50.33/48.49	c 502587[?] -118453[?] 118451[?]  is mandatory 
50.33/48.49	c qxplain 292/437
50.55/48.63	c qxplain 365/437
50.63/48.78	c qxplain 402/437
50.83/48.93	c qxplain 420/437
50.93/49.07	c qxplain 429/437
51.13/49.22	c qxplain 434/437
51.23/49.37	c qxplain 436/437
51.43/49.52	c qxplain 437/437
51.55/49.67	c 502588[?] -118455[?] 118453[?] 118454[?]  is mandatory 
51.55/49.67	c qxplain 436/436
51.73/49.81	c 502598[?] -118458[?] 118323[?]  is mandatory 
51.73/49.81	c qxplain 434/435
51.83/49.95	c qxplain 435/435
52.03/50.10	c 502601[?] -118457[?] 118455[?]  is mandatory 
52.03/50.10	c qxplain 434/434
52.13/50.25	c 502602[?] -118459[?] 118457[?] 118458[?]  is mandatory 
52.13/50.25	c qxplain 429/433
52.33/50.40	c qxplain 432/433
52.43/50.55	c qxplain 433/433
52.53/50.69	c 502612[?] -118462[?] 118324[?]  is mandatory 
52.53/50.69	c qxplain 432/432
52.75/50.84	c 502615[?] -118461[?] 118459[?]  is mandatory 
52.75/50.84	c qxplain 429/431
52.83/50.98	c qxplain 431/431
53.03/51.13	c 502616[?] -118463[?] 118461[?] 118462[?]  is mandatory 
53.03/51.13	c qxplain 429/430
53.13/51.28	c qxplain 430/430
53.33/51.43	c 502626[?] -118466[?] 118325[?]  is mandatory 
53.33/51.43	c qxplain 429/429
53.43/51.57	c 502629[?] -118465[?] 118463[?]  is mandatory 
53.43/51.57	c qxplain 420/428
53.63/51.72	c qxplain 425/428
53.75/51.87	c qxplain 427/428
53.93/52.01	c qxplain 428/428
54.03/52.16	c 502630[?] -118467[?] 118465[?] 118466[?]  is mandatory 
54.03/52.16	c qxplain 427/427
54.23/52.30	c 502640[?] -118470[?] 118326[?]  is mandatory 
54.23/52.30	c qxplain 425/426
54.33/52.45	c qxplain 426/426
54.53/52.60	c 502643[?] -118469[?] 118467[?]  is mandatory 
54.53/52.60	c qxplain 425/425
54.63/52.75	c 502644[?] -118471[?] 118469[?] 118470[?]  is mandatory 
54.63/52.75	c qxplain 420/424
54.73/52.90	c qxplain 423/424
54.95/53.05	c qxplain 424/424
55.03/53.19	c 502654[?] -118474[?] 118327[?]  is mandatory 
55.03/53.19	c qxplain 423/423
55.23/53.34	c 502657[?] -118473[?] 118471[?]  is mandatory 
55.23/53.34	c qxplain 420/422
55.33/53.48	c qxplain 422/422
55.53/53.63	c 502658[?] -118475[?] 118473[?] 118474[?]  is mandatory 
55.53/53.63	c qxplain 420/421
55.63/53.77	c qxplain 421/421
55.83/53.92	c 502668[?] -118478[?] 118328[?]  is mandatory 
55.83/53.92	c qxplain 420/420
55.95/54.07	c 502671[?] -118477[?] 118475[?]  is mandatory 
55.95/54.07	c qxplain 402/419
56.13/54.22	c qxplain 411/419
56.77/54.61	c qxplain 416/419
56.87/54.75	c qxplain 418/419
57.07/54.90	c qxplain 419/419
57.17/55.04	c 502672[?] -118479[?] 118477[?] 118478[?]  is mandatory 
57.17/55.04	c qxplain 418/418
57.29/55.19	c 502682[?] -118482[?] 118329[?]  is mandatory 
57.29/55.19	c qxplain 416/417
57.47/55.33	c qxplain 417/417
57.57/55.48	c 502685[?] -118481[?] 118479[?]  is mandatory 
57.57/55.48	c qxplain 416/416
57.77/55.62	c 502686[?] -118483[?] 118481[?] 118482[?]  is mandatory 
57.77/55.62	c qxplain 411/415
57.87/55.77	c qxplain 414/415
58.07/55.91	c qxplain 415/415
58.17/56.05	c 502696[?] -118486[?] 118330[?]  is mandatory 
58.17/56.05	c qxplain 414/414
58.27/56.20	c 502699[?] -118485[?] 118483[?]  is mandatory 
58.27/56.20	c qxplain 411/413
58.49/56.34	c qxplain 413/413
58.57/56.48	c 502700[?] -118487[?] 118485[?] 118486[?]  is mandatory 
58.57/56.48	c qxplain 411/412
58.77/56.63	c qxplain 412/412
58.87/56.77	c 502710[?] -118490[?] 118331[?]  is mandatory 
58.87/56.77	c qxplain 411/411
59.07/56.91	c 502713[?] -118489[?] 118487[?]  is mandatory 
59.07/56.91	c qxplain 402/410
59.17/57.06	c qxplain 407/410
59.37/57.20	c qxplain 409/410
59.49/57.34	c qxplain 410/410
59.59/57.48	c 502714[?] -118491[?] 118489[?] 118490[?]  is mandatory 
59.59/57.48	c qxplain 409/409
59.77/57.62	c 502724[?] -118494[?] 118332[?]  is mandatory 
59.77/57.62	c qxplain 407/408
59.87/57.76	c qxplain 408/408
60.07/57.91	c 502727[?] -118493[?] 118491[?]  is mandatory 
60.07/57.91	c qxplain 407/407
60.17/58.05	c 502728[?] -118495[?] 118493[?] 118494[?]  is mandatory 
60.17/58.05	c qxplain 402/406
60.27/58.19	c qxplain 405/406
60.47/58.33	c qxplain 406/406
60.59/58.47	c 502738[?] -118498[?] 118333[?]  is mandatory 
60.59/58.47	c qxplain 405/405
60.77/58.62	c 502741[?] -118497[?] 118495[?]  is mandatory 
60.77/58.62	c qxplain 402/404
60.87/58.76	c qxplain 404/404
60.97/58.90	c 502742[?] -118499[?] 118497[?] 118498[?]  is mandatory 
60.97/58.90	c qxplain 402/403
61.17/59.04	c qxplain 403/403
61.27/59.19	c 502752[?] -118502[?] 118334[?]  is mandatory 
61.27/59.19	c qxplain 402/402
61.47/59.33	c 502755[?] -118501[?] 118499[?]  is mandatory 
61.47/59.33	c qxplain 365/401
61.57/59.48	c qxplain 384/401
61.79/59.62	c qxplain 393/401
61.87/59.77	c qxplain 398/401
62.07/59.91	c qxplain 400/401
62.17/60.05	c qxplain 401/401
62.27/60.19	c 502756[?] -118503[?] 118501[?] 118502[?]  is mandatory 
62.27/60.19	c qxplain 400/400
62.47/60.34	c 502766[?] -118506[?] 118335[?]  is mandatory 
62.47/60.34	c qxplain 398/399
62.57/60.48	c qxplain 399/399
62.79/60.62	c 502769[?] -118505[?] 118503[?]  is mandatory 
62.79/60.62	c qxplain 398/398
62.89/60.77	c 502770[?] -118507[?] 118505[?] 118506[?]  is mandatory 
62.89/60.77	c qxplain 393/397
63.07/60.91	c qxplain 396/397
63.17/61.05	c qxplain 397/397
63.27/61.19	c 502780[?] -118510[?] 118336[?]  is mandatory 
63.27/61.19	c qxplain 396/396
63.47/61.33	c 502783[?] -118509[?] 118507[?]  is mandatory 
63.47/61.33	c qxplain 393/395
63.57/61.47	c qxplain 395/395
63.77/61.61	c 502784[?] -118511[?] 118509[?] 118510[?]  is mandatory 
63.77/61.61	c qxplain 393/394
63.89/61.76	c qxplain 394/394
64.07/61.90	c 502794[?] -118514[?] 118337[?]  is mandatory 
64.07/61.90	c qxplain 393/393
64.17/62.04	c 502797[?] -118513[?] 118511[?]  is mandatory 
64.17/62.04	c qxplain 384/392
64.27/62.18	c qxplain 389/392
64.47/62.32	c qxplain 391/392
64.57/62.46	c qxplain 392/392
64.77/62.61	c 502798[?] -118515[?] 118513[?] 118514[?]  is mandatory 
64.77/62.61	c qxplain 391/391
64.87/62.75	c 502808[?] -118518[?] 118338[?]  is mandatory 
64.87/62.75	c qxplain 389/390
64.99/62.89	c qxplain 390/390
65.17/63.03	c 502811[?] -118517[?] 118515[?]  is mandatory 
65.17/63.03	c qxplain 389/389
65.27/63.17	c 502812[?] -118519[?] 118517[?] 118518[?]  is mandatory 
65.27/63.17	c qxplain 384/388
65.47/63.32	c qxplain 387/388
65.57/63.46	c qxplain 388/388
65.67/63.60	c 502822[?] -118522[?] 118339[?]  is mandatory 
65.67/63.60	c qxplain 387/387
65.87/63.74	c 502825[?] -118521[?] 118519[?]  is mandatory 
65.87/63.74	c qxplain 384/386
65.97/63.88	c qxplain 386/386
66.19/64.02	c 502826[?] -118523[?] 118521[?] 118522[?]  is mandatory 
66.19/64.02	c qxplain 384/385
66.27/64.17	c qxplain 385/385
66.47/64.31	c 502836[?] -118526[?] 118340[?]  is mandatory 
66.47/64.31	c qxplain 384/384
66.57/64.45	c 502839[?] -118525[?] 118523[?]  is mandatory 
66.57/64.45	c qxplain 365/383
67.22/64.84	c qxplain 375/383
67.32/64.98	c qxplain 380/383
67.54/65.13	c qxplain 382/383
67.62/65.27	c qxplain 383/383
67.82/65.41	c 502840[?] -118527[?] 118525[?] 118526[?]  is mandatory 
67.82/65.41	c qxplain 382/382
67.92/65.56	c 502850[?] -118530[?] 118341[?]  is mandatory 
67.92/65.56	c qxplain 380/381
68.12/65.70	c qxplain 381/381
68.22/65.85	c 502853[?] -118529[?] 118527[?]  is mandatory 
68.22/65.85	c qxplain 380/380
68.32/65.99	c 502854[?] -118531[?] 118529[?] 118530[?]  is mandatory 
68.32/65.99	c qxplain 375/379
68.54/66.13	c qxplain 378/379
68.64/66.27	c qxplain 379/379
68.82/66.42	c 502864[?] -118534[?] 118342[?]  is mandatory 
68.82/66.42	c qxplain 378/378
68.92/66.56	c 502867[?] -118533[?] 118531[?]  is mandatory 
68.92/66.56	c qxplain 375/377
69.12/66.70	c qxplain 377/377
69.22/66.85	c 502868[?] -118535[?] 118533[?] 118534[?]  is mandatory 
69.22/66.85	c qxplain 375/376
69.32/66.99	c qxplain 376/376
69.52/67.13	c 502875[?] 118343[?] 118535[?]  is mandatory 
69.52/67.13	c qxplain 375/375
69.64/67.28	c 502955[?] -118625[?] 118317[?]  is mandatory 
69.64/67.28	c qxplain 365/374
69.82/67.42	c qxplain 370/374
69.92/67.56	c qxplain 373/374
70.12/67.70	c qxplain 374/374
70.22/67.84	c 502958[?] -118626[?] 118625[?]  is mandatory 
70.22/67.84	c qxplain 373/373
70.32/67.99	c 502960[?] -118628[?] 118626[?]  is mandatory 
70.32/67.99	c qxplain 370/372
70.52/68.14	c qxplain 372/372
70.62/68.28	c 502969[?] -118631[?] 118318[?]  is mandatory 
70.62/68.28	c qxplain 370/371
70.84/68.42	c qxplain 371/371
70.92/68.57	c 502972[?] -118630[?] 118628[?]  is mandatory 
70.92/68.57	c qxplain 370/370
71.12/68.71	c 502973[?] -118632[?] 118630[?] 118631[?]  is mandatory 
71.12/68.71	c qxplain 365/369
71.22/68.85	c qxplain 368/369
71.32/68.99	c qxplain 369/369
71.52/69.14	c 502983[?] -118635[?] 118319[?]  is mandatory 
71.52/69.14	c qxplain 368/368
71.62/69.28	c 502986[?] -118634[?] 118632[?]  is mandatory 
71.62/69.28	c qxplain 365/367
71.84/69.43	c qxplain 367/367
71.94/69.57	c 502987[?] -118636[?] 118634[?] 118635[?]  is mandatory 
71.94/69.57	c qxplain 365/366
72.12/69.71	c qxplain 366/366
72.22/69.86	c 502997[?] -118639[?] 118320[?]  is mandatory 
72.22/69.86	c qxplain 365/365
72.42/70.00	c 503000[?] -118638[?] 118636[?]  is mandatory 
72.42/70.00	c qxplain 292/364
72.52/70.14	c qxplain 329/364
72.62/70.29	c qxplain 347/364
72.82/70.43	c qxplain 356/364
72.94/70.57	c qxplain 361/364
73.12/70.72	c qxplain 363/364
73.22/70.86	c qxplain 364/364
73.42/71.01	c 503001[?] -118640[?] 118638[?] 118639[?]  is mandatory 
73.42/71.01	c qxplain 363/363
73.52/71.15	c 503011[?] -118643[?] 118321[?]  is mandatory 
73.52/71.15	c qxplain 361/362
73.62/71.29	c qxplain 362/362
73.82/71.44	c 503014[?] -118642[?] 118640[?]  is mandatory 
73.82/71.44	c qxplain 361/361
73.92/71.59	c 503015[?] -118644[?] 118642[?] 118643[?]  is mandatory 
73.92/71.59	c qxplain 356/360
74.14/71.73	c qxplain 359/360
74.22/71.88	c qxplain 360/360
74.42/72.02	c 503025[?] -118647[?] 118322[?]  is mandatory 
74.42/72.02	c qxplain 359/359
74.52/72.17	c 503028[?] -118646[?] 118644[?]  is mandatory 
74.52/72.17	c qxplain 356/358
74.72/72.31	c qxplain 358/358
74.82/72.46	c 503029[?] -118648[?] 118646[?] 118647[?]  is mandatory 
74.82/72.46	c qxplain 356/357
75.02/72.60	c qxplain 357/357
75.14/72.75	c 503039[?] -118651[?] 118323[?]  is mandatory 
75.14/72.75	c qxplain 356/356
75.24/72.89	c 503042[?] -118650[?] 118648[?]  is mandatory 
75.24/72.89	c qxplain 347/355
75.42/73.03	c qxplain 352/355
75.52/73.18	c qxplain 354/355
75.72/73.32	c qxplain 355/355
75.82/73.46	c 503043[?] -118652[?] 118650[?] 118651[?]  is mandatory 
75.82/73.46	c qxplain 354/354
76.02/73.61	c 503053[?] -118655[?] 118324[?]  is mandatory 
76.02/73.61	c qxplain 352/353
76.12/73.75	c qxplain 353/353
76.24/73.89	c 503056[?] -118654[?] 118652[?]  is mandatory 
76.24/73.89	c qxplain 352/352
76.42/74.03	c 503057[?] -118656[?] 118654[?] 118655[?]  is mandatory 
76.42/74.03	c qxplain 347/351
76.52/74.18	c qxplain 350/351
76.72/74.32	c qxplain 351/351
76.82/74.47	c 503067[?] -118659[?] 118325[?]  is mandatory 
76.82/74.47	c qxplain 350/350
77.02/74.61	c 503070[?] -118658[?] 118656[?]  is mandatory 
77.02/74.61	c qxplain 347/349
77.12/74.75	c qxplain 349/349
77.22/74.89	c 503071[?] -118660[?] 118658[?] 118659[?]  is mandatory 
77.22/74.89	c qxplain 347/348
77.44/75.04	c qxplain 348/348
78.11/75.48	c 503081[?] -118663[?] 118326[?]  is mandatory 
78.11/75.48	c qxplain 347/347
78.31/75.63	c 503084[?] -118662[?] 118660[?]  is mandatory 
78.31/75.63	c qxplain 329/346
78.41/75.78	c qxplain 338/346
78.61/75.92	c qxplain 343/346
78.71/76.07	c qxplain 345/346
78.83/76.21	c qxplain 346/346
79.01/76.36	c 503085[?] -118664[?] 118662[?] 118663[?]  is mandatory 
79.01/76.36	c qxplain 345/345
79.21/76.51	c 503095[?] -118667[?] 118327[?]  is mandatory 
79.21/76.51	c qxplain 343/344
79.31/76.65	c qxplain 344/344
79.51/76.80	c 503098[?] -118666[?] 118664[?]  is mandatory 
79.51/76.80	c qxplain 343/343
79.61/76.95	c 503099[?] -118668[?] 118666[?] 118667[?]  is mandatory 
79.61/76.95	c qxplain 338/342
79.81/77.10	c qxplain 341/342
79.93/77.24	c qxplain 342/342
80.03/77.39	c 503109[?] -118671[?] 118328[?]  is mandatory 
80.03/77.39	c qxplain 341/341
80.22/77.54	c 503112[?] -118670[?] 118668[?]  is mandatory 
80.22/77.54	c qxplain 338/340
80.32/77.68	c qxplain 340/340
80.52/77.84	c 503113[?] -118672[?] 118670[?] 118671[?]  is mandatory 
80.52/77.84	c qxplain 338/339
80.62/77.99	c qxplain 339/339
80.82/78.14	c 503123[?] -118675[?] 118329[?]  is mandatory 
80.82/78.14	c qxplain 338/338
80.92/78.28	c 503126[?] -118674[?] 118672[?]  is mandatory 
80.92/78.28	c qxplain 329/337
81.14/78.43	c qxplain 334/337
81.22/78.57	c qxplain 336/337
81.42/78.72	c qxplain 337/337
81.52/78.86	c 503127[?] -118676[?] 118674[?] 118675[?]  is mandatory 
81.52/78.86	c qxplain 336/336
81.72/79.01	c 503137[?] -118679[?] 118330[?]  is mandatory 
81.72/79.01	c qxplain 334/335
81.82/79.16	c qxplain 335/335
82.02/79.31	c 503140[?] -118678[?] 118676[?]  is mandatory 
82.02/79.31	c qxplain 334/334
82.14/79.46	c 503141[?] -118680[?] 118678[?] 118679[?]  is mandatory 
82.14/79.46	c qxplain 329/333
82.32/79.61	c qxplain 332/333
82.42/79.75	c qxplain 333/333
82.62/79.90	c 503151[?] -118683[?] 118331[?]  is mandatory 
82.62/79.90	c qxplain 332/332
82.72/80.05	c 503154[?] -118682[?] 118680[?]  is mandatory 
82.72/80.05	c qxplain 329/331
82.82/80.19	c qxplain 331/331
83.02/80.35	c 503155[?] -118684[?] 118682[?] 118683[?]  is mandatory 
83.02/80.35	c qxplain 329/330
83.12/80.50	c qxplain 330/330
83.34/80.65	c 503165[?] -118687[?] 118332[?]  is mandatory 
83.34/80.65	c qxplain 329/329
83.42/80.79	c 503168[?] -118686[?] 118684[?]  is mandatory 
83.42/80.79	c qxplain 292/328
83.62/80.94	c qxplain 311/328
83.72/81.08	c qxplain 320/328
83.92/81.23	c qxplain 325/328
84.02/81.38	c qxplain 327/328
84.22/81.52	c qxplain 328/328
84.34/81.68	c 503169[?] -118688[?] 118686[?] 118687[?]  is mandatory 
84.34/81.68	c qxplain 327/327
84.52/81.83	c 503179[?] -118691[?] 118333[?]  is mandatory 
84.52/81.83	c qxplain 325/326
84.62/81.97	c qxplain 326/326
84.82/82.12	c 503182[?] -118690[?] 118688[?]  is mandatory 
84.82/82.12	c qxplain 325/325
84.92/82.27	c 503183[?] -118692[?] 118690[?] 118691[?]  is mandatory 
84.92/82.28	c qxplain 320/324
85.12/82.42	c qxplain 323/324
85.22/82.57	c qxplain 324/324
85.44/82.72	c 503193[?] -118695[?] 118334[?]  is mandatory 
85.44/82.72	c qxplain 323/323
85.54/82.87	c 503196[?] -118694[?] 118692[?]  is mandatory 
85.54/82.87	c qxplain 320/322
85.72/83.02	c qxplain 322/322
85.82/83.17	c 503197[?] -118696[?] 118694[?] 118695[?]  is mandatory 
85.82/83.17	c qxplain 320/321
86.02/83.32	c qxplain 321/321
86.12/83.46	c 503207[?] -118699[?] 118335[?]  is mandatory 
86.12/83.46	c qxplain 320/320
86.32/83.61	c 503210[?] -118698[?] 118696[?]  is mandatory 
86.32/83.61	c qxplain 311/319
86.42/83.75	c qxplain 316/319
86.54/83.90	c qxplain 318/319
86.72/84.04	c qxplain 319/319
86.82/84.19	c 503211[?] -118700[?] 118698[?] 118699[?]  is mandatory 
86.82/84.19	c qxplain 318/318
87.02/84.33	c 503221[?] -118703[?] 118336[?]  is mandatory 
87.02/84.33	c qxplain 316/317
87.12/84.48	c qxplain 317/317
87.32/84.63	c 503224[?] -118702[?] 118700[?]  is mandatory 
87.32/84.63	c qxplain 316/316
87.42/84.78	c 503225[?] -118704[?] 118702[?] 118703[?]  is mandatory 
87.42/84.78	c qxplain 311/315
87.64/84.93	c qxplain 314/315
87.74/85.07	c qxplain 315/315
87.92/85.22	c 503235[?] -118707[?] 118337[?]  is mandatory 
87.92/85.22	c qxplain 314/314
88.02/85.37	c 503238[?] -118706[?] 118704[?]  is mandatory 
88.02/85.37	c qxplain 311/313
88.22/85.51	c qxplain 313/313
88.32/85.66	c 503239[?] -118708[?] 118706[?] 118707[?]  is mandatory 
88.32/85.66	c qxplain 311/312
88.52/85.81	c qxplain 312/312
88.62/85.96	c 503249[?] -118711[?] 118338[?]  is mandatory 
88.62/85.96	c qxplain 311/311
88.74/86.11	c 503252[?] -118710[?] 118708[?]  is mandatory 
88.74/86.11	c qxplain 292/310
88.92/86.26	c qxplain 302/310
89.12/86.40	c qxplain 307/310
89.22/86.54	c qxplain 309/310
89.32/86.69	c qxplain 310/310
89.52/86.84	c 503253[?] -118712[?] 118710[?] 118711[?]  is mandatory 
89.52/86.84	c qxplain 309/309
89.62/86.99	c 503263[?] -118715[?] 118339[?]  is mandatory 
89.62/86.99	c qxplain 307/308
89.84/87.14	c qxplain 308/308
89.94/87.28	c 503266[?] -118714[?] 118712[?]  is mandatory 
89.94/87.28	c qxplain 307/307
90.12/87.43	c 503267[?] -118716[?] 118714[?] 118715[?]  is mandatory 
90.12/87.43	c qxplain 302/306
90.22/87.58	c qxplain 305/306
90.42/87.72	c qxplain 306/306
90.52/87.87	c 503277[?] -118719[?] 118340[?]  is mandatory 
90.52/87.87	c qxplain 305/305
90.73/88.01	c 503280[?] -118718[?] 118716[?]  is mandatory 
90.73/88.01	c qxplain 302/304
90.83/88.16	c qxplain 304/304
90.95/88.31	c 503281[?] -118720[?] 118718[?] 118719[?]  is mandatory 
90.95/88.31	c qxplain 302/303
91.13/88.46	c qxplain 303/303
91.33/88.60	c 503291[?] -118723[?] 118341[?]  is mandatory 
91.33/88.60	c qxplain 302/302
91.43/88.75	c 503294[?] -118722[?] 118720[?]  is mandatory 
91.43/88.75	c qxplain 292/301
91.53/88.89	c qxplain 297/301
91.73/89.03	c qxplain 300/301
91.83/89.18	c qxplain 301/301
92.05/89.33	c 503295[?] -118724[?] 118722[?] 118723[?]  is mandatory 
92.05/89.33	c qxplain 300/300
92.15/89.48	c 503305[?] -118727[?] 118342[?]  is mandatory 
92.15/89.48	c qxplain 297/299
92.33/89.63	c qxplain 299/299
92.43/89.78	c 503308[?] -118726[?] 118724[?]  is mandatory 
92.43/89.78	c qxplain 297/298
92.63/89.93	c qxplain 298/298
92.73/90.08	c 503309[?] -118728[?] 118726[?] 118727[?]  is mandatory 
92.73/90.08	c qxplain 297/297
92.93/90.22	c 503316[?] 118536[?] 118728[?]  is mandatory 
92.93/90.22	c qxplain 292/296
93.03/90.36	c qxplain 295/296
93.15/90.51	c qxplain 296/296
93.33/90.65	c 503396[?] -118818[?] 118317[?]  is mandatory 
93.33/90.65	c qxplain 295/295
93.53/90.80	c 503399[?] -118819[?] 118818[?]  is mandatory 
93.53/90.80	c qxplain 292/294
93.63/90.95	c qxplain 294/294
93.73/91.10	c 503401[?] -118821[?] 118819[?]  is mandatory 
93.73/91.10	c qxplain 292/293
93.93/91.24	c qxplain 293/293
94.03/91.39	c 503410[?] -118824[?] 118318[?]  is mandatory 
94.03/91.39	c qxplain 292/292
94.25/91.53	c 503413[?] -118823[?] 118821[?]  is mandatory 
94.25/91.53	c qxplain 0/291
94.35/91.68	c qxplain 146/291
94.53/91.83	c qxplain 219/291
94.63/91.97	c qxplain 256/291
94.83/92.12	c qxplain 274/291
94.93/92.26	c qxplain 283/291
95.13/92.41	c qxplain 288/291
95.23/92.56	c qxplain 290/291
95.35/92.70	c qxplain 291/291
95.53/92.85	c 503414[?] -118825[?] 118823[?] 118824[?]  is mandatory 
95.53/92.85	c qxplain 290/290
95.63/92.99	c 503424[?] -118828[?] 118319[?]  is mandatory 
95.63/92.99	c qxplain 288/289
95.83/93.14	c qxplain 289/289
95.93/93.29	c 503427[?] -118827[?] 118825[?]  is mandatory 
95.93/93.29	c qxplain 288/288
96.13/93.44	c 503428[?] -118829[?] 118827[?] 118828[?]  is mandatory 
96.13/93.44	c qxplain 283/287
96.23/93.58	c qxplain 286/287
96.45/93.73	c qxplain 287/287
96.55/93.88	c 503438[?] -118832[?] 118320[?]  is mandatory 
96.55/93.88	c qxplain 286/286
96.73/94.03	c 503441[?] -118831[?] 118829[?]  is mandatory 
96.73/94.03	c qxplain 283/285
96.83/94.18	c qxplain 285/285
97.03/94.33	c 503442[?] -118833[?] 118831[?] 118832[?]  is mandatory 
97.03/94.33	c qxplain 283/284
97.13/94.48	c qxplain 284/284
97.33/94.63	c 503452[?] -118836[?] 118321[?]  is mandatory 
97.33/94.63	c qxplain 283/283
97.42/94.78	c 503455[?] -118835[?] 118833[?]  is mandatory 
97.42/94.78	c qxplain 274/282
97.64/94.92	c qxplain 279/282
97.72/95.07	c qxplain 281/282
97.92/95.22	c qxplain 282/282
98.02/95.37	c 503456[?] -118837[?] 118835[?] 118836[?]  is mandatory 
98.02/95.37	c qxplain 281/281
98.22/95.52	c 503466[?] -118840[?] 118322[?]  is mandatory 
98.22/95.52	c qxplain 279/280
98.32/95.67	c qxplain 280/280
98.53/95.82	c 503469[?] -118839[?] 118837[?]  is mandatory 
98.53/95.82	c qxplain 279/279
98.65/95.97	c 503470[?] -118841[?] 118839[?] 118840[?]  is mandatory 
98.65/95.97	c qxplain 274/278
98.83/96.12	c qxplain 277/278
98.93/96.26	c qxplain 278/278
99.13/96.41	c 503480[?] -118844[?] 118323[?]  is mandatory 
99.13/96.41	c qxplain 277/277
99.23/96.56	c 503483[?] -118843[?] 118841[?]  is mandatory 
99.23/96.56	c qxplain 274/276
99.43/96.71	c qxplain 276/276
99.53/96.86	c 503484[?] -118845[?] 118843[?] 118844[?]  is mandatory 
99.53/96.86	c qxplain 274/275
99.63/97.00	c qxplain 275/275
99.85/97.14	c 503494[?] -118848[?] 118324[?]  is mandatory 
99.85/97.14	c qxplain 274/274
99.93/97.29	c 503497[?] -118847[?] 118845[?]  is mandatory 
99.93/97.29	c qxplain 256/273
100.13/97.44	c qxplain 265/273
100.23/97.58	c qxplain 270/273
100.43/97.73	c qxplain 272/273
100.53/97.87	c qxplain 273/273
100.73/98.03	c 503498[?] -118849[?] 118847[?] 118848[?]  is mandatory 
100.73/98.03	c qxplain 272/272
100.85/98.18	c 503508[?] -118852[?] 118325[?]  is mandatory 
100.85/98.18	c qxplain 270/271
101.03/98.32	c qxplain 271/271
101.13/98.46	c 503511[?] -118851[?] 118849[?]  is mandatory 
101.13/98.46	c qxplain 270/270
101.33/98.61	c 503512[?] -118853[?] 118851[?] 118852[?]  is mandatory 
101.33/98.61	c qxplain 265/269
101.43/98.76	c qxplain 268/269
101.63/98.90	c qxplain 269/269
101.73/99.06	c 503522[?] -118856[?] 118326[?]  is mandatory 
101.73/99.06	c qxplain 268/268
101.83/99.21	c 503525[?] -118855[?] 118853[?]  is mandatory 
101.83/99.21	c qxplain 265/267
102.05/99.36	c qxplain 267/267
102.23/99.51	c 503526[?] -118857[?] 118855[?] 118856[?]  is mandatory 
102.23/99.51	c qxplain 265/266
102.33/99.65	c qxplain 266/266
102.53/99.80	c 503536[?] -118860[?] 118327[?]  is mandatory 
102.53/99.80	c qxplain 265/265
102.63/99.94	c 503539[?] -118859[?] 118857[?]  is mandatory 
102.63/99.94	c qxplain 256/264
102.73/100.09	c qxplain 261/264
102.93/100.24	c qxplain 263/264
103.05/100.38	c qxplain 264/264
103.23/100.53	c 503540[?] -118861[?] 118859[?] 118860[?]  is mandatory 
103.23/100.53	c qxplain 263/263
103.33/100.68	c 503550[?] -118864[?] 118328[?]  is mandatory 
103.33/100.68	c qxplain 261/262
103.53/100.82	c qxplain 262/262
103.63/100.97	c 503553[?] -118863[?] 118861[?]  is mandatory 
103.63/100.97	c qxplain 261/261
103.83/101.12	c 503554[?] -118865[?] 118863[?] 118864[?]  is mandatory 
103.83/101.12	c qxplain 256/260
103.93/101.26	c qxplain 259/260
104.03/101.41	c qxplain 260/260
104.25/101.56	c 503564[?] -118868[?] 118329[?]  is mandatory 
104.25/101.56	c qxplain 259/259
104.43/101.71	c 503567[?] -118867[?] 118865[?]  is mandatory 
104.43/101.71	c qxplain 256/258
104.53/101.86	c qxplain 258/258
104.73/102.01	c 503568[?] -118869[?] 118867[?] 118868[?]  is mandatory 
104.73/102.01	c qxplain 256/257
104.83/102.16	c qxplain 257/257
105.03/102.30	c 503578[?] -118872[?] 118330[?]  is mandatory 
105.03/102.30	c qxplain 256/256
105.13/102.44	c 503581[?] -118871[?] 118869[?]  is mandatory 
105.13/102.44	c qxplain 219/255
105.25/102.59	c qxplain 238/255
105.43/102.74	c qxplain 247/255
105.53/102.88	c qxplain 252/255
105.73/103.03	c qxplain 254/255
105.83/103.18	c qxplain 255/255
106.03/103.32	c 503582[?] -118873[?] 118871[?] 118872[?]  is mandatory 
106.03/103.32	c qxplain 254/254
106.13/103.47	c 503592[?] -118876[?] 118331[?]  is mandatory 
106.13/103.47	c qxplain 252/253
106.23/103.62	c qxplain 253/253
106.45/103.77	c 503595[?] -118875[?] 118873[?]  is mandatory 
106.45/103.77	c qxplain 252/252
106.63/103.92	c 503596[?] -118877[?] 118875[?] 118876[?]  is mandatory 
106.63/103.92	c qxplain 247/251
106.73/104.07	c qxplain 250/251
106.93/104.21	c qxplain 251/251
107.03/104.36	c 503606[?] -118880[?] 118332[?]  is mandatory 
107.03/104.36	c qxplain 250/250
107.23/104.52	c 503609[?] -118879[?] 118877[?]  is mandatory 
107.23/104.52	c qxplain 247/249
107.33/104.67	c qxplain 249/249
107.55/104.82	c 503610[?] -118881[?] 118879[?] 118880[?]  is mandatory 
107.55/104.82	c qxplain 247/248
107.63/104.97	c qxplain 248/248
107.83/105.12	c 503620[?] -118884[?] 118333[?]  is mandatory 
107.83/105.12	c qxplain 247/247
107.93/105.26	c 503623[?] -118883[?] 118881[?]  is mandatory 
107.93/105.26	c qxplain 238/246
108.13/105.40	c qxplain 243/246
108.23/105.56	c qxplain 245/246
108.43/105.70	c qxplain 246/246
108.55/105.86	c 503624[?] -118885[?] 118883[?] 118884[?]  is mandatory 
108.55/105.86	c qxplain 245/245
108.73/106.00	c 503634[?] -118888[?] 118334[?]  is mandatory 
108.73/106.00	c qxplain 243/244
108.83/106.15	c qxplain 244/244
108.93/106.29	c 503637[?] -118887[?] 118885[?]  is mandatory 
108.93/106.29	c qxplain 243/243
109.13/106.44	c 503638[?] -118889[?] 118887[?] 118888[?]  is mandatory 
109.13/106.44	c qxplain 238/242
109.23/106.59	c qxplain 241/242
109.43/106.73	c qxplain 242/242
109.53/106.88	c 503648[?] -118892[?] 118335[?]  is mandatory 
109.53/106.88	c qxplain 241/241
109.75/107.04	c 503651[?] -118891[?] 118889[?]  is mandatory 
109.75/107.04	c qxplain 238/240
109.83/107.18	c qxplain 240/240
110.03/107.33	c 503652[?] -118893[?] 118891[?] 118892[?]  is mandatory 
110.03/107.33	c qxplain 238/239
110.13/107.48	c qxplain 239/239
110.33/107.62	c 503662[?] -118896[?] 118336[?]  is mandatory 
110.33/107.62	c qxplain 238/238
110.43/107.77	c 503665[?] -118895[?] 118893[?]  is mandatory 
110.43/107.77	c qxplain 219/237
110.63/107.92	c qxplain 229/237
110.75/108.07	c qxplain 234/237
110.93/108.21	c qxplain 236/237
111.03/108.36	c qxplain 237/237
111.23/108.50	c 503666[?] -118897[?] 118895[?] 118896[?]  is mandatory 
111.23/108.50	c qxplain 236/236
111.33/108.65	c 503676[?] -118900[?] 118337[?]  is mandatory 
111.33/108.65	c qxplain 234/235
111.43/108.80	c qxplain 235/235
111.63/108.94	c 503679[?] -118899[?] 118897[?]  is mandatory 
111.63/108.94	c qxplain 234/234
111.73/109.10	c 503680[?] -118901[?] 118899[?] 118900[?]  is mandatory 
111.73/109.10	c qxplain 229/233
111.95/109.24	c qxplain 232/233
112.03/109.39	c qxplain 233/233
112.23/109.54	c 503690[?] -118904[?] 118338[?]  is mandatory 
112.23/109.54	c qxplain 232/232
112.33/109.69	c 503693[?] -118903[?] 118901[?]  is mandatory 
112.33/109.69	c qxplain 229/231
112.53/109.83	c qxplain 231/231
112.63/109.98	c 503694[?] -118905[?] 118903[?] 118904[?]  is mandatory 
112.63/109.98	c qxplain 229/230
112.83/110.13	c qxplain 230/230
112.95/110.27	c 503704[?] -118908[?] 118339[?]  is mandatory 
112.95/110.27	c qxplain 229/229
113.14/110.42	c 503707[?] -118907[?] 118905[?]  is mandatory 
113.14/110.42	c qxplain 219/228
113.24/110.56	c qxplain 224/228
113.44/110.71	c qxplain 227/228
113.54/110.86	c qxplain 228/228
113.74/111.01	c 503708[?] -118909[?] 118907[?] 118908[?]  is mandatory 
113.74/111.01	c qxplain 227/227
113.84/111.15	c 503718[?] -118912[?] 118340[?]  is mandatory 
113.84/111.15	c qxplain 224/226
113.94/111.30	c qxplain 226/226
114.16/111.45	c 503721[?] -118911[?] 118909[?]  is mandatory 
114.16/111.45	c qxplain 224/225
114.34/111.60	c qxplain 225/225
114.44/111.74	c 503722[?] -118913[?] 118911[?] 118912[?]  is mandatory 
114.44/111.74	c qxplain 224/224
114.54/111.89	c 503732[?] -118916[?] 118341[?]  is mandatory 
114.54/111.89	c qxplain 219/223
114.74/112.03	c qxplain 222/223
114.84/112.18	c qxplain 223/223
115.04/112.33	c 503735[?] -118915[?] 118913[?]  is mandatory 
115.04/112.33	c qxplain 222/222
115.16/112.47	c 503736[?] -118917[?] 118915[?] 118916[?]  is mandatory 
115.16/112.48	c qxplain 219/221
115.34/112.62	c qxplain 221/221
115.44/112.77	c 503746[?] -118920[?] 118342[?]  is mandatory 
115.44/112.77	c qxplain 219/220
115.64/112.92	c qxplain 220/220
115.74/113.06	c 503749[?] -118919[?] 118917[?]  is mandatory 
115.74/113.06	c qxplain 219/219
115.94/113.21	c 503750[?] -118921[?] 118919[?] 118920[?]  is mandatory 
115.94/113.22	c qxplain 146/218
116.04/113.36	c qxplain 183/218
116.14/113.51	c qxplain 201/218
116.36/113.65	c qxplain 210/218
116.44/113.80	c qxplain 215/218
116.64/113.94	c qxplain 217/218
116.74/114.08	c qxplain 218/218
116.94/114.23	c 503757[?] 118729[?] 118921[?]  is mandatory 
116.94/114.23	c qxplain 217/217
117.04/114.38	c 517562[?] 124084[?] -118314[?]  is mandatory 
117.04/114.38	c qxplain 215/216
117.24/114.53	c qxplain 216/216
117.36/114.68	c 517569[?] 124085[?] -124084[?]  is mandatory 
117.36/114.68	c qxplain 215/215
117.54/114.83	c 517574[?] 124086[?] 118315[?]  is mandatory 
117.54/114.83	c qxplain 210/214
117.64/114.98	c qxplain 213/214
117.85/115.12	c qxplain 214/214
117.95/115.27	c 517578[?] 124087[?] -124086[?] -124085[?]  is mandatory 
117.95/115.27	c qxplain 213/213
118.15/115.42	c 517582[?] 124089[?] -124087[?]  is mandatory 
118.15/115.42	c qxplain 210/212
118.25/115.56	c qxplain 212/212
118.35/115.71	c 517588[?] 124090[?] -118316[?]  is mandatory 
118.35/115.71	c qxplain 210/211
118.57/115.86	c qxplain 211/211
118.75/116.01	c 517591[?] 124091[?] -124090[?] -124089[?]  is mandatory 
118.75/116.01	c qxplain 210/210
118.85/116.16	c 517595[?] 124093[?] -124091[?]  is mandatory 
118.85/116.16	c qxplain 201/209
119.05/116.30	c qxplain 206/209
119.15/116.45	c qxplain 208/209
119.25/116.59	c qxplain 209/209
119.45/116.74	c 517600[?] 124094[?] 118317[?]  is mandatory 
119.45/116.74	c qxplain 208/208
119.57/116.89	c 517604[?] 124095[?] -124094[?] -124093[?]  is mandatory 
119.57/116.89	c qxplain 206/207
119.75/117.04	c qxplain 207/207
119.85/117.19	c 517608[?] 124097[?] -124095[?]  is mandatory 
119.85/117.19	c qxplain 206/206
120.05/117.34	c 517614[?] 124098[?] 118318[?]  is mandatory 
120.05/117.34	c qxplain 201/205
120.15/117.49	c qxplain 204/205
120.35/117.63	c qxplain 205/205
120.45/117.78	c 517618[?] 124099[?] -124097[?] -124098[?]  is mandatory 
120.45/117.78	c qxplain 204/204
120.67/117.93	c 517622[?] 124101[?] -124099[?]  is mandatory 
120.67/117.93	c qxplain 201/203
120.77/118.07	c qxplain 203/203
120.95/118.22	c 517628[?] 124102[?] 118319[?]  is mandatory 
120.95/118.22	c qxplain 201/202
121.05/118.37	c qxplain 202/202
121.25/118.52	c 517632[?] 124103[?] -124102[?] -124101[?]  is mandatory 
121.25/118.52	c qxplain 201/201
121.35/118.66	c 517636[?] 124105[?] -124103[?]  is mandatory 
121.35/118.66	c qxplain 183/200
121.55/118.81	c qxplain 192/200
121.65/118.95	c qxplain 197/200
121.77/119.10	c qxplain 199/200
121.95/119.25	c qxplain 200/200
122.15/119.41	c 517642[?] 124106[?] 118320[?]  is mandatory 
122.15/119.41	c qxplain 199/199
122.25/119.56	c 517646[?] 124107[?] -124106[?] -124105[?]  is mandatory 
122.25/119.56	c qxplain 197/198
122.45/119.71	c qxplain 198/198
122.55/119.85	c 517650[?] 124109[?] -124107[?]  is mandatory 
122.55/119.85	c qxplain 197/197
122.75/120.00	c 517656[?] 124110[?] 118321[?]  is mandatory 
122.75/120.00	c qxplain 192/196
122.87/120.15	c qxplain 195/196
122.97/120.29	c qxplain 196/196
123.15/120.44	c 517660[?] 124111[?] -124109[?] -124110[?]  is mandatory 
123.15/120.44	c qxplain 195/195
123.25/120.59	c 517664[?] 124113[?] -124111[?]  is mandatory 
123.25/120.59	c qxplain 192/194
123.45/120.73	c qxplain 194/194
123.55/120.88	c 517670[?] 124114[?] 118322[?]  is mandatory 
123.55/120.88	c qxplain 192/193
123.75/121.03	c qxplain 193/193
123.85/121.18	c 517674[?] 124115[?] -124114[?] -124113[?]  is mandatory 
123.85/121.18	c qxplain 192/192
124.07/121.32	c 517678[?] 124117[?] -124115[?]  is mandatory 
124.07/121.32	c qxplain 183/191
124.15/121.47	c qxplain 188/191
124.34/121.62	c qxplain 190/191
124.44/121.76	c qxplain 191/191
124.64/121.91	c 517684[?] 124118[?] 118323[?]  is mandatory 
124.64/121.91	c qxplain 190/190
124.74/122.06	c 517688[?] 124119[?] -124118[?] -124117[?]  is mandatory 
124.74/122.06	c qxplain 188/189
124.94/122.20	c qxplain 189/189
125.06/122.35	c 517692[?] 124121[?] -124119[?]  is mandatory 
125.06/122.35	c qxplain 188/188
125.24/122.50	c 517698[?] 124122[?] 118324[?]  is mandatory 
125.24/122.50	c qxplain 183/187
125.34/122.65	c qxplain 186/187
125.44/122.79	c qxplain 187/187
125.64/122.94	c 517702[?] 124123[?] -124121[?] -124122[?]  is mandatory 
125.64/122.94	c qxplain 186/186
125.74/123.09	c 517706[?] 124125[?] -124123[?]  is mandatory 
125.74/123.09	c qxplain 183/185
125.94/123.23	c qxplain 185/185
126.04/123.38	c 517712[?] 124126[?] 118325[?]  is mandatory 
126.04/123.38	c qxplain 183/184
126.26/123.52	c qxplain 184/184
126.34/123.67	c 517716[?] 124127[?] -124126[?] -124125[?]  is mandatory 
126.34/123.67	c qxplain 183/183
126.54/123.81	c 517720[?] 124129[?] -124127[?]  is mandatory 
126.54/123.81	c qxplain 146/182
126.64/123.96	c qxplain 165/182
126.84/124.11	c qxplain 174/182
126.94/124.25	c qxplain 179/182
127.15/124.40	c qxplain 181/182
127.27/124.55	c qxplain 182/182
127.37/124.70	c 517726[?] 124130[?] 118326[?]  is mandatory 
127.37/124.70	c qxplain 181/181
127.55/124.84	c 517730[?] 124131[?] -124130[?] -124129[?]  is mandatory 
127.55/124.84	c qxplain 179/180
127.65/124.99	c qxplain 180/180
127.85/125.14	c 517734[?] 124133[?] -124131[?]  is mandatory 
127.85/125.14	c qxplain 179/179
127.95/125.29	c 517740[?] 124134[?] 118327[?]  is mandatory 
127.95/125.29	c qxplain 174/178
128.15/125.44	c qxplain 177/178
128.25/125.58	c qxplain 178/178
128.47/125.73	c 517744[?] 124135[?] -124133[?] -124134[?]  is mandatory 
128.47/125.73	c qxplain 177/177
128.55/125.88	c 517748[?] 124137[?] -124135[?]  is mandatory 
128.55/125.88	c qxplain 174/176
128.75/126.02	c qxplain 176/176
128.85/126.17	c 517754[?] 124138[?] 118328[?]  is mandatory 
128.85/126.17	c qxplain 174/175
129.05/126.33	c qxplain 175/175
129.15/126.47	c 517758[?] 124139[?] -124138[?] -124137[?]  is mandatory 
129.15/126.47	c qxplain 174/174
129.35/126.62	c 517762[?] 124141[?] -124139[?]  is mandatory 
129.35/126.62	c qxplain 165/173
129.47/126.76	c qxplain 170/173
129.65/126.91	c qxplain 172/173
129.75/127.05	c qxplain 173/173
129.95/127.20	c 517768[?] 124142[?] 118329[?]  is mandatory 
129.95/127.20	c qxplain 172/172
130.05/127.35	c 517772[?] 124143[?] -124142[?] -124141[?]  is mandatory 
130.05/127.35	c qxplain 170/171
130.15/127.49	c qxplain 171/171
130.35/127.64	c 517776[?] 124145[?] -124143[?]  is mandatory 
130.35/127.64	c qxplain 170/170
130.45/127.79	c 517782[?] 124146[?] 118330[?]  is mandatory 
130.45/127.79	c qxplain 165/169
130.67/127.94	c qxplain 168/169
130.75/128.09	c qxplain 169/169
130.95/128.24	c 517786[?] 124147[?] -124145[?] -124146[?]  is mandatory 
130.95/128.24	c qxplain 168/168
131.05/128.38	c 517790[?] 124149[?] -124147[?]  is mandatory 
131.05/128.38	c qxplain 165/167
131.25/128.53	c qxplain 167/167
131.35/128.67	c 517796[?] 124150[?] 118331[?]  is mandatory 
131.35/128.67	c qxplain 165/166
131.55/128.82	c qxplain 166/166
131.66/128.97	c 517800[?] 124151[?] -124150[?] -124149[?]  is mandatory 
131.66/128.97	c qxplain 165/165
131.85/129.11	c 517804[?] 124153[?] -124151[?]  is mandatory 
131.85/129.11	c qxplain 146/164
131.95/129.26	c qxplain 156/164
132.15/129.40	c qxplain 161/164
132.24/129.55	c qxplain 163/164
132.34/129.69	c qxplain 164/164
132.54/129.85	c 517810[?] 124154[?] 118332[?]  is mandatory 
132.54/129.85	c qxplain 163/163
132.65/130.00	c 517814[?] 124155[?] -124154[?] -124153[?]  is mandatory 
132.65/130.00	c qxplain 161/162
132.87/130.15	c qxplain 162/162
133.05/130.30	c 517818[?] 124157[?] -124155[?]  is mandatory 
133.05/130.30	c qxplain 161/161
133.15/130.45	c 517824[?] 124158[?] 118333[?]  is mandatory 
133.15/130.45	c qxplain 156/160
133.35/130.60	c qxplain 159/160
133.45/130.75	c qxplain 160/160
133.65/130.90	c 517828[?] 124159[?] -124157[?] -124158[?]  is mandatory 
133.65/130.90	c qxplain 159/159
133.75/131.05	c 517832[?] 124161[?] -124159[?]  is mandatory 
133.75/131.05	c qxplain 156/158
133.87/131.20	c qxplain 158/158
134.05/131.35	c 517838[?] 124162[?] 118334[?]  is mandatory 
134.05/131.35	c qxplain 156/157
134.15/131.50	c qxplain 157/157
134.36/131.64	c 517842[?] 124163[?] -124162[?] -124161[?]  is mandatory 
134.36/131.64	c qxplain 156/156
134.46/131.79	c 517846[?] 124165[?] -124163[?]  is mandatory 
134.46/131.79	c qxplain 146/155
134.65/131.93	c qxplain 151/155
134.75/132.08	c qxplain 154/155
134.97/132.22	c qxplain 155/155
135.07/132.37	c 517852[?] 124166[?] 118335[?]  is mandatory 
135.07/132.37	c qxplain 154/154
135.25/132.51	c 517856[?] 124167[?] -124166[?] -124165[?]  is mandatory 
135.25/132.51	c qxplain 151/153
135.35/132.66	c qxplain 153/153
135.55/132.81	c 517860[?] 124169[?] -124167[?]  is mandatory 
135.55/132.81	c qxplain 151/152
135.65/132.96	c qxplain 152/152
135.85/133.11	c 517866[?] 124170[?] 118336[?]  is mandatory 
135.85/133.11	c qxplain 151/151
135.95/133.25	c 517870[?] 124171[?] -124170[?] -124169[?]  is mandatory 
135.95/133.25	c qxplain 146/150
136.07/133.40	c qxplain 149/150
136.25/133.54	c qxplain 150/150
136.35/133.69	c 517874[?] 124173[?] -124171[?]  is mandatory 
136.35/133.69	c qxplain 149/149
136.56/133.85	c 517880[?] 124174[?] 118337[?]  is mandatory 
136.56/133.85	c qxplain 146/148
136.66/133.99	c qxplain 148/148
136.86/134.14	c 517884[?] 124175[?] -124173[?] -124174[?]  is mandatory 
136.86/134.14	c qxplain 146/147
136.96/134.29	c qxplain 147/147
137.18/134.44	c 517888[?] 124177[?] -124175[?]  is mandatory 
137.18/134.44	c qxplain 146/146
137.28/134.58	c 517894[?] 124178[?] 118338[?]  is mandatory 
137.28/134.58	c qxplain 0/145
137.46/134.72	c qxplain 73/145
137.56/134.87	c qxplain 110/145
137.76/135.01	c qxplain 128/145
137.86/135.15	c qxplain 137/145
138.06/135.31	c qxplain 142/145
138.16/135.45	c qxplain 144/145
138.28/135.60	c qxplain 145/145
138.46/135.75	c 517898[?] 124179[?] -124177[?] -124178[?]  is mandatory 
138.46/135.75	c qxplain 144/144
138.66/135.90	c 517902[?] 124181[?] -124179[?]  is mandatory 
138.66/135.90	c qxplain 142/143
138.76/136.04	c qxplain 143/143
138.85/136.19	c 517908[?] 124182[?] 118339[?]  is mandatory 
138.85/136.19	c qxplain 142/142
139.05/136.34	c 517912[?] 124183[?] -124182[?] -124181[?]  is mandatory 
139.05/136.34	c qxplain 137/141
139.15/136.49	c qxplain 140/141
139.38/136.63	c qxplain 141/141
139.48/136.78	c 517916[?] 124185[?] -124183[?]  is mandatory 
139.48/136.78	c qxplain 140/140
139.66/136.94	c 517922[?] 124186[?] 118340[?]  is mandatory 
139.66/136.94	c qxplain 137/139
139.76/137.08	c qxplain 139/139
139.95/137.23	c 517926[?] 124187[?] -124185[?] -124186[?]  is mandatory 
139.95/137.23	c qxplain 137/138
140.05/137.38	c qxplain 138/138
140.25/137.52	c 517930[?] 124189[?] -124187[?]  is mandatory 
140.25/137.52	c qxplain 137/137
140.35/137.66	c 517936[?] 124190[?] 118341[?]  is mandatory 
140.35/137.66	c qxplain 128/136
140.48/137.82	c qxplain 133/136
140.66/137.96	c qxplain 135/136
140.86/138.11	c qxplain 136/136
140.96/138.25	c 517940[?] 124191[?] -124189[?] -124190[?]  is mandatory 
140.96/138.25	c qxplain 135/135
141.16/138.40	c 517944[?] 124193[?] -124191[?]  is mandatory 
141.16/138.40	c qxplain 133/134
141.26/138.55	c qxplain 134/134
141.36/138.70	c 517950[?] 124194[?] 118342[?]  is mandatory 
141.36/138.70	c qxplain 133/133
141.58/138.84	c 517954[?] 124195[?] -124194[?] -124193[?]  is mandatory 
141.58/138.84	c qxplain 128/132
141.68/138.99	c qxplain 131/132
141.85/139.14	c qxplain 132/132
141.95/139.28	c 517958[?] 124197[?] -124195[?]  is mandatory 
141.95/139.28	c qxplain 131/131
142.15/139.43	c 517965[?] -124005[?] -124197[?]  is mandatory 
142.15/139.43	c qxplain 128/130
142.25/139.58	c qxplain 130/130
142.45/139.73	c 517973[?] -124202[?] -118314[?]  is mandatory 
142.45/139.73	c qxplain 128/129
142.55/139.87	c qxplain 129/129
142.77/140.02	c 518040[?] -124234[?] 124202[?]  is mandatory 
142.77/140.02	c qxplain 128/128
142.85/140.16	c 518042[?] -124235[?] 124234[?]  is mandatory 
142.85/140.16	c qxplain 110/127
143.05/140.31	c qxplain 119/127
143.15/140.46	c qxplain 124/127
143.35/140.60	c qxplain 126/127
143.45/140.75	c qxplain 127/127
143.55/140.89	c 518045[?] -124236[?] 124235[?]  is mandatory 
143.55/140.89	c qxplain 126/126
143.77/141.04	c 518048[?] -124237[?] 124236[?]  is mandatory 
143.77/141.04	c qxplain 124/125
143.87/141.19	c qxplain 125/125
144.05/141.34	c 518051[?] -124238[?] 124237[?]  is mandatory 
144.05/141.34	c qxplain 124/124
144.15/141.49	c 518054[?] -124239[?] 124238[?]  is mandatory 
144.15/141.49	c qxplain 119/123
144.35/141.64	c qxplain 122/123
144.45/141.78	c qxplain 123/123
144.65/141.93	c 518057[?] -124240[?] 124239[?]  is mandatory 
144.65/141.93	c qxplain 122/122
144.75/142.08	c 518060[?] -124241[?] 124240[?]  is mandatory 
144.75/142.08	c qxplain 119/121
144.97/142.23	c qxplain 121/121
145.05/142.37	c 518063[?] -124242[?] 124241[?]  is mandatory 
145.05/142.37	c qxplain 119/120
145.25/142.53	c qxplain 120/120
145.35/142.67	c 518066[?] -124243[?] 124242[?]  is mandatory 
145.35/142.67	c qxplain 119/119
145.55/142.81	c 518069[?] -124244[?] 124243[?]  is mandatory 
145.55/142.81	c qxplain 110/118
145.65/142.96	c qxplain 115/118
145.85/143.11	c qxplain 117/118
145.97/143.26	c qxplain 118/118
146.15/143.41	c 518072[?] -124245[?] 124244[?]  is mandatory 
146.15/143.41	c qxplain 117/117
146.25/143.56	c 518075[?] -124246[?] 124245[?]  is mandatory 
146.25/143.56	c qxplain 115/116
146.45/143.70	c qxplain 116/116
146.55/143.85	c 518078[?] -124247[?] 124246[?]  is mandatory 
146.55/143.85	c qxplain 115/115
146.65/143.99	c 518081[?] -124248[?] 124247[?]  is mandatory 
146.65/143.99	c qxplain 110/114
146.85/144.14	c qxplain 113/114
146.95/144.29	c qxplain 114/114
147.17/144.43	c 518084[?] -124249[?] 124248[?]  is mandatory 
147.17/144.43	c qxplain 113/113
147.25/144.59	c 518087[?] -124250[?] 124249[?]  is mandatory 
147.25/144.59	c qxplain 110/112
147.45/144.73	c qxplain 112/112
147.55/144.88	c 518090[?] -124251[?] 124250[?]  is mandatory 
147.55/144.88	c qxplain 110/111
147.75/145.03	c qxplain 111/111
147.85/145.17	c 518093[?] -124252[?] 124251[?]  is mandatory 
147.85/145.17	c qxplain 110/110
148.05/145.31	c 518096[?] -124253[?] 124252[?]  is mandatory 
148.05/145.31	c qxplain 73/109
148.17/145.46	c qxplain 92/109
148.35/145.60	c qxplain 101/109
148.45/145.75	c qxplain 106/109
148.65/145.90	c qxplain 108/109
148.75/146.04	c qxplain 109/109
148.85/146.19	c 518099[?] -124254[?] 124253[?]  is mandatory 
148.85/146.19	c qxplain 108/108
149.05/146.34	c 518102[?] -124255[?] 124254[?]  is mandatory 
149.05/146.34	c qxplain 106/107
149.15/146.48	c qxplain 107/107
149.37/146.63	c 518105[?] -124256[?] 124255[?]  is mandatory 
149.37/146.63	c qxplain 106/106
149.45/146.78	c 518108[?] -124257[?] 124256[?]  is mandatory 
149.45/146.78	c qxplain 101/105
149.65/146.93	c qxplain 104/105
149.75/147.07	c qxplain 105/105
149.95/147.22	c 518111[?] -124258[?] 124257[?]  is mandatory 
149.95/147.22	c qxplain 104/104
150.05/147.37	c 518114[?] -124259[?] 124258[?]  is mandatory 
150.05/147.37	c qxplain 101/103
150.25/147.51	c qxplain 103/103
150.37/147.66	c 518117[?] -124260[?] 124259[?]  is mandatory 
150.37/147.66	c qxplain 101/102
150.55/147.81	c qxplain 102/102
150.65/147.96	c 518120[?] -124261[?] 124260[?]  is mandatory 
150.65/147.96	c qxplain 101/101
150.85/148.11	c 518123[?] -124262[?] 124261[?]  is mandatory 
150.85/148.11	c qxplain 92/100
150.95/148.26	c qxplain 97/100
151.15/148.40	c qxplain 99/100
151.25/148.55	c qxplain 100/100
151.35/148.70	c 518125[?] -124198[?] 124262[?]  is mandatory 
151.35/148.70	c qxplain 99/99
151.57/148.84	c 518129[?] -124263[?] 124198[?]  is mandatory 
151.57/148.84	c qxplain 97/98
151.65/148.99	c qxplain 98/98
151.85/149.14	c 518132[?] 124264[?] 124198[?]  is mandatory 
151.85/149.14	c qxplain 97/97
151.95/149.29	c 518225[?] -124295[?] 124005[?] 124263[?]  is mandatory 
151.95/149.29	c qxplain 92/96
152.15/149.43	c qxplain 95/96
152.25/149.58	c qxplain 96/96
152.45/149.73	c 518227[?] 124296[?] 124005[?] -124264[?]  is mandatory 
152.45/149.73	c qxplain 95/95
152.57/149.87	c 518319[?] -124327[?] 124295[?]  is mandatory 
152.57/149.87	c qxplain 92/94
152.75/150.02	c qxplain 94/94
152.85/150.16	c 518322[?] 124328[?] -124296[?]  is mandatory 
152.85/150.16	c qxplain 92/93
153.05/150.32	c qxplain 93/93
153.15/150.46	c 522142[?] -125725[?] 124327[?] -118729[?]  is mandatory 
153.15/150.46	c qxplain 92/92
153.35/150.61	c 522145[?] 125726[?] -124328[?] -118729[?]  is mandatory 
153.35/150.61	c qxplain 73/91
153.45/150.76	c qxplain 83/91
153.55/150.90	c qxplain 88/91
153.77/151.05	c qxplain 90/91
153.85/151.19	c qxplain 91/91
154.05/151.34	c 524503[?] -126560[?] 125725[?] -118536[?]  is mandatory 
154.05/151.34	c qxplain 90/90
154.16/151.48	c 524506[?] 126561[?] -125726[?] -118536[?]  is mandatory 
154.16/151.48	c qxplain 88/89
154.36/151.63	c qxplain 89/89
154.46/151.78	c 532310[?] -129032[?] 126560[?] -118343[?]  is mandatory 
154.46/151.78	c qxplain 88/88
154.66/151.93	c 532313[?] 129033[?] -126561[?] -118343[?]  is mandatory 
154.66/151.93	c qxplain 83/87
154.78/152.08	c qxplain 86/87
154.96/152.22	c qxplain 87/87
155.06/152.37	c 532565[?] 129160[?] 129032[?]  is mandatory 
155.06/152.37	c qxplain 86/86
155.26/152.52	c 532572[?] 129096[?] -129160[?]  is mandatory 
155.26/152.52	c qxplain 83/85
155.36/152.67	c qxplain 85/85
155.56/152.82	c 533269[?] 123988[?] -129096[?] 129416[?]  is mandatory 
155.56/152.82	c qxplain 83/84
155.66/152.97	c qxplain 84/84
155.88/153.12	c 533271[?] -123988[?] -129033[?] 129417[?]  is mandatory 
155.88/153.12	c qxplain 83/83
155.98/153.26	c 533524[?] -129416[?] -129481[?]  is mandatory 
155.98/153.26	c qxplain 73/82
156.16/153.41	c qxplain 78/82
156.26/153.56	c qxplain 81/82
156.46/153.70	c qxplain 82/82
156.56/153.85	c 533526[?] -129417[?] -129482[?]  is mandatory 
156.56/153.85	c qxplain 81/81
156.76/154.00	c 533652[?] 129481[?] -129545[?]  is mandatory 
156.76/154.00	c qxplain 78/80
156.86/154.15	c qxplain 80/80
156.98/154.30	c 533654[?] 129545[?] -129546[?]  is mandatory 
156.98/154.30	c qxplain 78/79
157.16/154.45	c qxplain 79/79
157.26/154.59	c 533655[?] 129482[?] -129546[?]  is mandatory 
157.26/154.59	c qxplain 78/78
157.46/154.74	c 533657[?] 129546[?] -129547[?]  is mandatory 
157.46/154.74	c qxplain 73/77
157.56/154.88	c qxplain 76/77
157.76/155.03	c qxplain 77/77
157.86/155.18	c 533660[?] 129547[?] -129548[?]  is mandatory 
157.86/155.18	c qxplain 76/76
158.08/155.33	c 533663[?] 129548[?] -129549[?]  is mandatory 
158.08/155.33	c qxplain 73/75
158.18/155.48	c qxplain 75/75
158.36/155.62	c 533666[?] 129549[?] -129550[?]  is mandatory 
158.36/155.62	c qxplain 73/74
158.46/155.77	c qxplain 74/74
158.66/155.91	c 533669[?] 129550[?] -129551[?]  is mandatory 
158.66/155.91	c qxplain 73/73
158.76/156.06	c 533672[?] 129551[?] -129552[?]  is mandatory 
158.76/156.06	c qxplain 0/72
158.96/156.21	c qxplain 37/72
159.06/156.35	c qxplain 55/72
159.18/156.50	c qxplain 64/72
159.36/156.64	c qxplain 69/72
159.46/156.79	c qxplain 71/72
159.66/156.94	c qxplain 72/72
159.76/157.08	c 533675[?] 129552[?] -129553[?]  is mandatory 
159.76/157.08	c qxplain 71/71
159.96/157.23	c 533678[?] 129553[?] -129554[?]  is mandatory 
159.96/157.23	c qxplain 69/70
160.06/157.38	c qxplain 70/70
160.28/157.53	c 533681[?] 129554[?] -129555[?]  is mandatory 
160.28/157.53	c qxplain 69/69
160.38/157.68	c 533684[?] 129555[?] -129556[?]  is mandatory 
160.38/157.68	c qxplain 64/68
160.56/157.83	c qxplain 67/68
160.66/157.97	c qxplain 68/68
160.86/158.12	c 533687[?] 129556[?] -129557[?]  is mandatory 
160.86/158.12	c qxplain 67/67
160.96/158.27	c 533690[?] 129557[?] -129558[?]  is mandatory 
160.96/158.27	c qxplain 64/66
161.16/158.41	c qxplain 66/66
161.26/158.57	c 533693[?] 129558[?] -129559[?]  is mandatory 
161.26/158.57	c qxplain 64/65
161.38/158.72	c qxplain 65/65
161.56/158.86	c 533696[?] 129559[?] -129560[?]  is mandatory 
161.56/158.86	c qxplain 64/64
161.76/159.01	c 533699[?] 129560[?] -129561[?]  is mandatory 
161.76/159.01	c qxplain 55/63
161.86/159.15	c qxplain 60/63
162.06/159.30	c qxplain 62/63
162.16/159.44	c qxplain 63/63
162.26/159.59	c 533702[?] 129561[?] -129562[?]  is mandatory 
162.26/159.59	c qxplain 62/62
162.48/159.74	c 533705[?] 129562[?] -129563[?]  is mandatory 
162.48/159.74	c qxplain 60/61
162.58/159.88	c qxplain 61/61
162.76/160.04	c 533708[?] 129563[?] -129564[?]  is mandatory 
162.76/160.04	c qxplain 60/60
162.86/160.19	c 533711[?] 129564[?] -129565[?]  is mandatory 
162.86/160.19	c qxplain 55/59
163.06/160.33	c qxplain 58/59
163.16/160.47	c qxplain 59/59
163.36/160.62	c 533714[?] 129565[?] -129566[?]  is mandatory 
163.36/160.62	c qxplain 58/58
163.46/160.77	c 533717[?] 129566[?] -129567[?]  is mandatory 
163.46/160.77	c qxplain 55/57
163.58/160.91	c qxplain 57/57
163.76/161.06	c 533720[?] 129567[?] -129568[?]  is mandatory 
163.76/161.06	c qxplain 55/56
163.96/161.21	c qxplain 56/56
164.06/161.35	c 533723[?] 129568[?] -129569[?]  is mandatory 
164.06/161.35	c qxplain 55/55
164.26/161.50	c 533726[?] 129569[?] -129570[?]  is mandatory 
164.26/161.50	c qxplain 37/54
164.36/161.65	c qxplain 46/54
164.46/161.79	c qxplain 51/54
164.68/161.93	c qxplain 53/54
164.78/162.09	c qxplain 54/54
164.96/162.23	c 533729[?] 129570[?] -129571[?]  is mandatory 
164.96/162.23	c qxplain 53/53
165.06/162.38	c 533732[?] 129571[?] -129572[?]  is mandatory 
165.06/162.38	c qxplain 51/52
165.26/162.53	c qxplain 52/52
165.36/162.68	c 533735[?] 129572[?] -129573[?]  is mandatory 
165.36/162.68	c qxplain 51/51
165.56/162.83	c 533738[?] 129573[?] -129574[?]  is mandatory 
165.56/162.83	c qxplain 46/50
165.66/162.98	c qxplain 49/50
165.88/163.12	c qxplain 50/50
165.96/163.27	c 533741[?] 129574[?] -129575[?]  is mandatory 
165.96/163.27	c qxplain 49/49
166.16/163.42	c 533744[?] 129575[?] -129576[?]  is mandatory 
166.16/163.42	c qxplain 46/48
166.26/163.56	c qxplain 48/48
166.46/163.71	c 533747[?] 129576[?] -129577[?]  is mandatory 
166.46/163.71	c qxplain 46/47
166.56/163.86	c qxplain 47/47
166.76/164.00	c 533750[?] 129577[?] -129578[?]  is mandatory 
166.76/164.00	c qxplain 46/46
166.88/164.15	c 533753[?] 129578[?] -129579[?]  is mandatory 
166.88/164.15	c qxplain 37/45
166.98/164.29	c qxplain 42/45
167.17/164.44	c qxplain 44/45
167.27/164.59	c qxplain 45/45
167.47/164.74	c 533756[?] 129579[?] -129580[?]  is mandatory 
167.47/164.74	c qxplain 44/44
167.57/164.89	c 533759[?] 129580[?] -129581[?]  is mandatory 
167.57/164.89	c qxplain 42/43
167.77/165.04	c qxplain 43/43
167.87/165.18	c 533762[?] 129581[?] -129582[?]  is mandatory 
167.87/165.18	c qxplain 42/42
168.09/165.34	c 533765[?] 129582[?] -129583[?]  is mandatory 
168.09/165.34	c qxplain 37/41
168.17/165.49	c qxplain 40/41
168.37/165.63	c qxplain 41/41
168.47/165.79	c 533768[?] 129583[?] -129584[?]  is mandatory 
168.47/165.79	c qxplain 40/40
168.67/165.93	c 533771[?] 129584[?] -129585[?]  is mandatory 
168.67/165.93	c qxplain 37/39
168.77/166.08	c qxplain 39/39
168.97/166.23	c 533774[?] 129585[?] -129586[?]  is mandatory 
168.97/166.23	c qxplain 37/38
169.09/166.37	c qxplain 38/38
169.27/166.52	c 533777[?] 129586[?] -129587[?]  is mandatory 
169.27/166.52	c qxplain 37/37
169.37/166.67	c 533780[?] 129587[?] -129588[?]  is mandatory 
169.37/166.67	c qxplain 0/36
169.57/166.81	c qxplain 19/36
169.67/166.96	c qxplain 28/36
169.87/167.10	c qxplain 33/36
169.97/167.25	c qxplain 35/36
170.07/167.39	c qxplain 36/36
170.29/167.54	c 533783[?] 129588[?] -129589[?]  is mandatory 
170.29/167.54	c qxplain 35/35
170.37/167.69	c 533786[?] 129589[?] -129590[?]  is mandatory 
170.37/167.69	c qxplain 33/34
170.57/167.83	c qxplain 34/34
170.67/167.98	c 533789[?] 129590[?] -129591[?]  is mandatory 
170.67/167.98	c qxplain 33/33
170.87/168.13	c 533792[?] 129591[?] -129592[?]  is mandatory 
170.87/168.13	c qxplain 28/32
170.97/168.28	c qxplain 31/32
171.17/168.42	c qxplain 32/32
171.29/168.57	c 533795[?] 129592[?] -129593[?]  is mandatory 
171.29/168.57	c qxplain 31/31
171.47/168.72	c 533798[?] 129593[?] -129594[?]  is mandatory 
171.47/168.72	c qxplain 28/30
171.57/168.86	c qxplain 30/30
171.76/169.01	c 533801[?] 129594[?] -129595[?]  is mandatory 
171.76/169.01	c qxplain 28/29
171.86/169.16	c qxplain 29/29
172.06/169.31	c 533804[?] 129595[?] -129596[?]  is mandatory 
172.06/169.31	c qxplain 28/28
172.16/169.45	c 533807[?] 129596[?] -129597[?]  is mandatory 
172.16/169.45	c qxplain 19/27
172.26/169.60	c qxplain 24/27
172.49/169.74	c qxplain 26/27
172.56/169.89	c qxplain 27/27
172.76/170.04	c 533810[?] 129597[?] -129598[?]  is mandatory 
172.76/170.04	c qxplain 26/26
172.87/170.18	c 533813[?] 129598[?] -129599[?]  is mandatory 
172.87/170.18	c qxplain 24/25
173.06/170.32	c qxplain 25/25
173.16/170.48	c 533816[?] 129599[?] -129600[?]  is mandatory 
173.16/170.48	c qxplain 24/24
173.36/170.63	c 533819[?] 129600[?] -129601[?]  is mandatory 
173.36/170.63	c qxplain 19/23
173.49/170.77	c qxplain 22/23
173.67/170.92	c qxplain 23/23
173.77/171.06	c 533822[?] 129601[?] -129602[?]  is mandatory 
173.77/171.06	c qxplain 22/22
173.97/171.21	c 533825[?] 129602[?] -129603[?]  is mandatory 
173.97/171.21	c qxplain 19/21
174.07/171.36	c qxplain 21/21
174.27/171.50	c 533828[?] 129603[?] -129604[?]  is mandatory 
174.27/171.50	c qxplain 19/20
174.37/171.65	c qxplain 20/20
174.47/171.81	c 533831[?] 129604[?] -129605[?]  is mandatory 
174.47/171.81	c qxplain 19/19
174.69/171.95	c 533834[?] 129605[?] -129606[?]  is mandatory 
174.69/171.95	c qxplain 0/18
174.87/172.10	c qxplain 10/18
174.97/172.25	c qxplain 15/18
175.07/172.39	c qxplain 17/18
175.27/172.53	c qxplain 18/18
175.37/172.68	c 533837[?] 129606[?] -129607[?]  is mandatory 
175.37/172.68	c qxplain 17/17
175.57/172.83	c 533840[?] 129607[?] -129608[?]  is mandatory 
175.57/172.83	c qxplain 15/16
175.69/172.98	c qxplain 16/16
175.87/173.13	c 533842[?] 129608[?] -129480[?]  is mandatory 
175.87/173.13	c qxplain 15/15
175.97/173.28	c 589136[?] 129480[?] -150706[?]  is mandatory 
175.97/173.28	c qxplain 10/14
176.17/173.43	c qxplain 13/14
176.27/173.57	c qxplain 14/14
176.47/173.72	c 589140[?] 150706[?] -150707[?]  is mandatory 
176.47/173.72	c qxplain 13/13
176.57/173.87	c 589142[?] 117784[?] -150708[?]  is mandatory 
176.57/173.87	c qxplain 10/12
176.67/174.01	c qxplain 12/12
176.89/174.16	c 589143[?] 150707[?] -150708[?]  is mandatory 
176.89/174.16	c qxplain 10/11
177.07/174.31	c qxplain 11/11
177.17/174.46	c 591321[?] -151415[?] 150708[?]  is mandatory 
177.17/174.46	c qxplain 10/10
177.37/174.60	c 591324[?] -151416[?] 151415[?]  is mandatory 
177.37/174.60	c qxplain 0/9
177.47/174.75	c qxplain 5/9
177.67/174.90	c qxplain 8/9
177.77/175.04	c qxplain 9/9
177.89/175.19	c 591327[?] -151417[?] 151416[?]  is mandatory 
177.89/175.19	c qxplain 8/8
178.07/175.33	c 591330[?] -151418[?] 151417[?]  is mandatory 
178.07/175.33	c qxplain 5/7
178.17/175.48	c qxplain 7/7
178.37/175.63	c 591332[?] -151419[?] 151418[?]  is mandatory 
178.37/175.63	c qxplain 5/6
178.47/175.78	c qxplain 6/6
178.67/175.92	c 591335[?] -117606[?] -151420[?] 151415[?]  is mandatory 
178.67/175.92	c qxplain 5/5
178.77/176.07	c 591337[?] 117606[?] -151420[?] 151419[?]  is mandatory 
178.77/176.07	c qxplain 0/4
178.87/176.21	c qxplain 3/4
179.09/176.36	c qxplain 4/4
179.27/176.51	c 591339[?] -151421[?] 151420[?]  is mandatory 
179.27/176.51	c qxplain 3/3
179.37/176.66	c 591342[?] -151422[?] 151421[?]  is mandatory 
179.37/176.66	c qxplain 0/2
179.57/176.81	c qxplain 2/2
179.67/176.96	c 591345[?] -151423[?] 151422[?]  is mandatory 
179.67/176.96	c qxplain 0/1
179.87/177.11	c qxplain 1/1
179.97/177.25	c 591765[?] 151618[?] 151423[?]  is mandatory 
179.97/177.25	c qxplain 0/0
180.09/177.40	c 591769[?] 151619[?] -151618[?]  is mandatory 
182.58/179.67	c Size of the MUS: 584
182.58/179.68	c Unsat core  computation wall clock time (in seconds) : 178.456
182.58/179.68	c starts		: 1168
182.58/179.68	c conflicts		: 5
182.58/179.68	c decisions		: 176337626
182.58/179.68	c propagations		: 691057120
182.58/179.68	c inspects		: 22192660
182.58/179.68	c shortcuts		: 0
182.58/179.68	c learnt literals	: 0
182.58/179.68	c learnt binary clauses	: 0
182.58/179.68	c learnt ternary clauses	: 0
182.58/179.68	c learnt constraints	: 4
182.58/179.68	c ignored constraints	: 0
182.58/179.68	c root simplifications	: 0
182.58/179.68	c removed literals (reason simplification)	: 0
182.58/179.68	c reason swapping (by a shorter reason)	: 0
182.58/179.68	c Calls to reduceDB	: 0
182.58/179.68	c speed (assignments/second)	: 2.852072307057367E8
182.58/179.68	c non guided choices	176337619
182.58/179.68	c learnt constraints type 
182.58/179.68	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 4
182.58/179.68	c constraints type 
182.58/179.68	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 429962
182.58/179.68	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 10189
182.58/179.68	s UNSATISFIABLE
182.58/179.68	v 10189 348919 348921 348923 348925 348927 348929 348937 348939 348940 348942 348943 348945 348946 348948 348949 348951 348952 348953 348957 349051 349053 349147 349148 349244 349308 349310 349313 349316 349319 349322 349325 349328 349331 349334 349337 349340 349343 349346 349349 349352 349355 349358 349361 349364 349367 349370 349373 349376 349379 349382 349385 349388 349391 349394 349397 349400 349402 349864 349867 349872 349875 349880 349884 349892 349910 349912 349915 349918 349921 349924 349926 350038 350043 350046 350051 350055 350070 350075 350078 350083 350087 350101 350123 350125 350127 350472 350477 350480 350485 350489 350503 350525 350527 350529 350737 350742 350745 350750 350754 350762 350763 350766 350767 350769 350771 350773 350775 350777 350779 350781 350783 350785 350787 350789 350791 350793 350795 350797 350799 350801 350803 350805 350807 350809 350811 350813 350815 350817 350895 350898 350900 350909 350912 350913 350923 350926 350927 350937 350940 350941 350951 350954 350955 350965 350968 350969 350979 350982 350983 350993 350996 350997 351007 351010 351011 351021 351024 351025 351035 351038 351039 351049 351052 351053 351063 351066 351067 351077 351080 351081 351091 351094 351095 351105 351108 351109 351119 351122 351123 351133 351136 351137 351147 351150 351151 351161 351164 351165 351175 351178 351179 351189 351192 351193 351203 351206 351207 351217 351220 351221 351231 351234 351235 351245 351248 351249 351256 351336 351339 351341 351350 351353 351354 351364 351367 351368 351378 351381 351382 351392 351395 351396 351406 351409 351410 351420 351423 351424 351434 351437 351438 351448 351451 351452 351462 351465 351466 351476 351479 351480 351490 351493 351494 351504 351507 351508 351518 351521 351522 351532 351535 351536 351546 351549 351550 351560 351563 351564 351574 351577 351578 351588 351591 351592 351602 351605 351606 351616 351619 351620 351630 351633 351634 351644 351647 351648 351658 351661 351662 351672 351675 351676 351686 351689 351690 351697 351777 351780 351782 351791 351794 351795 351805 351808 351809 351819 351822 351823 351833 351836 351837 351847 351850 351851 351861 351864 351865 351875 351878 351879 351889 351892 351893 351903 351906 351907 351917 351920 351921 351931 351934 351935 351945 351948 351949 351959 351962 351963 351973 351976 351977 351987 351990 351991 352001 352004 352005 352015 352018 352019 352029 352032 352033 352043 352046 352047 352057 352060 352061 352071 352074 352075 352085 352088 352089 352099 352102 352103 352113 352116 352117 352127 352130 352131 352138 365943 365950 365955 365959 365963 365969 365972 365976 365981 365985 365989 365995 365999 366003 366009 366013 366017 366023 366027 366031 366037 366041 366045 366051 366055 366059 366065 366069 366073 366079 366083 366087 366093 366097 366101 366107 366111 366115 366121 366125 366129 366135 366139 366143 366149 366153 366157 366163 366167 366171 366177 366181 366185 366191 366195 366199 366205 366209 366213 366219 366223 366227 366233 366237 366241 366247 366251 366255 366261 366265 366269 366275 366279 366283 366289 366293 366297 366303 366307 366311 366317 366321 366325 366331 366335 366339 366346 366354 366421 366423 366426 366429 366432 366435 366438 366441 366444 366447 366450 366453 366456 366459 366462 366465 366468 366471 366474 366477 366480 366483 366486 366489 366492 366495 366498 366501 366504 366506 366510 366513 366606 366608 366700 366703 370523 370526 372884 372887 380691 380694 380946 380953 381650 381652 381905 381907 382033 382035 382036 382038 382041 382044 382047 382050 382053 382056 382059 382062 382065 382068 382071 382074 382077 382080 382083 382086 382089 382092 382095 382098 382101 382104 382107 382110 382113 382116 382119 382122 382125 382128 382131 382134 382137 382140 382143 382146 382149 382152 382155 382158 382161 382164 382167 382170 382173 382176 382179 382182 382185 382188 382191 382194 382197 382200 382203 382206 382209 382212 382215 382218 382221 382223 437517 437521 437523 437524 439702 439705 439708 439711 439713 439716 439718 439720 439723 439726 440146 440150 0
182.58/179.68	c Total wall clock time (in seconds) : 179.578

OK	584

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3483200-1307605821/watcher-3483200-1307605821 -o /tmp/evaluation-result-3483200-1307605821/solver-3483200-1307605821 -C 1800 -W 1850 -M 7680 java -Xms6000m -Xmx6000m -jar sat4j-mus-v20110206.jar HOME/instance-3483200-1307605821.cnf 

running on 2 cores: 5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1850 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 4.71 4.16 2.47 5/635 28091
/proc/meminfo: memFree=6288252/32951124 swapFree=51712240/67111528
[pid=28091] ppid=28089 vsize=6343692 CPUtime=0 cores=5,7
/proc/28091/stat : 28091 (java) S 28089 28091 26091 0 -1 4202496 6710 0 1 0 0 0 0 0 25 0 10 0 872184723 6495940608 6412 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646318053 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/28091/statm: 1585923 6424 1019 9 0 1577079 0
[pid=28091/tid=28092] ppid=28089 vsize=6343692 CPUtime=0 cores=5,7
/proc/28091/task/28092/stat : 28092 (java) R 28089 28091 26091 0 -1 4202560 5620 0 1 0 0 0 0 0 25 0 10 0 872184723 6495940608 6445 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216634201918 0 4 0 16784584 0 0 0 -1 5 0 0 0
[pid=28091/tid=28093] ppid=28089 vsize=6343692 CPUtime=0 cores=5,7
/proc/28091/task/28093/stat : 28093 (java) R 28089 28091 26091 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 872184724 6495940608 6447 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646331289 0 4 0 16784584 0 0 0 -1 5 0 0 0
[pid=28091/tid=28094] ppid=28089 vsize=6343692 CPUtime=0 cores=5,7
/proc/28091/task/28094/stat : 28094 (java) R 28089 28091 26091 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 10 0 872184724 6495940608 6449 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646331289 0 4 0 16784584 0 0 0 -1 5 0 0 0
[pid=28091/tid=28095] ppid=28089 vsize=6343692 CPUtime=0 cores=5,7
/proc/28091/task/28095/stat : 28095 (java) R 28089 28091 26091 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 872184724 6495940608 6451 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646331289 0 4 0 16784584 0 0 0 -1 5 0 0 0
[pid=28091/tid=28096] ppid=28089 vsize=6343692 CPUtime=0 cores=5,7
/proc/28091/task/28096/stat : 28096 (java) R 28089 28091 26091 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 872184724 6495940608 6454 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646331289 0 4 0 16784584 0 0 0 -1 5 0 0 0
[pid=28091/tid=28097] ppid=28089 vsize=6343692 CPUtime=0 cores=5,7
/proc/28091/task/28097/stat : 28097 (java) R 28089 28091 26091 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 872184724 6495940608 6454 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646331289 0 4 0 16784584 0 0 0 -1 5 0 0 0
[pid=28091/tid=28098] ppid=28089 vsize=6343696 CPUtime=0 cores=5,7
/proc/28091/task/28098/stat : 28098 (java) R 28089 28091 26091 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 872184724 6495944704 6455 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646331289 0 4 0 16784584 0 0 0 -1 5 0 0 0
[pid=28091/tid=28099] ppid=28089 vsize=6343692 CPUtime=0 cores=5,7
/proc/28091/task/28099/stat : 28099 (java) R 28089 28091 26091 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 872184724 6495940608 6456 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646331289 0 4 0 16784584 0 0 0 -1 5 0 0 0
[pid=28091/tid=28100] ppid=28089 vsize=6343692 CPUtime=0 cores=5,7
/proc/28091/task/28100/stat : 28100 (java) R 28089 28091 26091 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 872184724 6495940608 6464 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646331289 0 4 0 16784584 0 0 0 -1 5 0 0 0

[startup+0.101246 s]
/proc/loadavg: 4.71 4.16 2.47 5/635 28091
/proc/meminfo: memFree=6288252/32951124 swapFree=51712240/67111528
[pid=28091] ppid=28089 vsize=6430376 CPUtime=0.1 cores=5,7
/proc/28091/stat : 28091 (java) S 28089 28091 26091 0 -1 4202496 9625 0 1 0 9 1 0 0 25 0 18 0 872184723 6584705024 9321 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/28091/statm: 1607594 9321 2088 9 0 1598332 0
[pid=28091/tid=28092] ppid=28089 vsize=6430376 CPUtime=0.08 cores=5,7
/proc/28091/task/28092/stat : 28092 (java) R 28089 28091 26091 0 -1 4202560 7826 0 1 0 7 1 0 0 18 0 18 0 872184723 6584705024 9321 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 47369472810915 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=28091/tid=28093] ppid=28089 vsize=6430376 CPUtime=0 cores=5,7
/proc/28091/task/28093/stat : 28093 (java) S 28089 28091 26091 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872184724 6584705024 9321 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646331289 0 4 0 16800975 18446604470795786944 0 0 -1 5 0 0 0
[pid=28091/tid=28094] ppid=28089 vsize=6430376 CPUtime=0 cores=5,7
/proc/28091/task/28094/stat : 28094 (java) S 28089 28091 26091 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 872184724 6584705024 9321 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646331289 0 4 0 16800975 18446604470795786944 0 0 -1 5 0 0 0
[pid=28091/tid=28095] ppid=28089 vsize=6430376 CPUtime=0 cores=5,7
/proc/28091/task/28095/stat : 28095 (java) S 28089 28091 26091 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872184724 6584705024 9321 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646331289 0 4 0 16800975 18446604470795786944 0 0 -1 5 0 0 0
[pid=28091/tid=28096] ppid=28089 vsize=6430376 CPUtime=0 cores=5,7
/proc/28091/task/28096/stat : 28096 (java) S 28089 28091 26091 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872184724 6584705024 9321 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646331289 0 4 0 16800975 18446604470795786944 0 0 -1 5 0 0 0
[pid=28091/tid=28097] ppid=28089 vsize=6430376 CPUtime=0 cores=5,7
/proc/28091/task/28097/stat : 28097 (java) S 28089 28091 26091 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872184724 6584705024 9321 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646331289 0 4 0 16800975 18446604470795786944 0 0 -1 5 0 0 0
[pid=28091/tid=28098] ppid=28089 vsize=6430376 CPUtime=0 cores=5,7
/proc/28091/task/28098/stat : 28098 (java) S 28089 28091 26091 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872184724 6584705024 9321 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646331289 0 4 0 16800975 18446604470795786944 0 0 -1 5 0 0 0
[pid=28091/tid=28099] ppid=28089 vsize=6430376 CPUtime=0 cores=5,7
/proc/28091/task/28099/stat : 28099 (java) S 28089 28091 26091 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872184724 6584705024 9321 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646331289 0 4 0 16800975 18446604470795786944 0 0 -1 5 0 0 0
[pid=28091/tid=28100] ppid=28089 vsize=6430376 CPUtime=0 cores=5,7
/proc/28091/task/28100/stat : 28100 (java) S 28089 28091 26091 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872184724 6584705024 9321 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646331289 0 4 0 16800975 18446604470795786944 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 6430376

[startup+0.200692 s]
/proc/loadavg: 4.71 4.16 2.47 5/635 28091
/proc/meminfo: memFree=6288252/32951124 swapFree=51712240/67111528
[pid=28091] ppid=28089 vsize=6431044 CPUtime=0.26 cores=5,7
/proc/28091/stat : 28091 (java) S 28089 28091 26091 0 -1 4202496 13967 0 1 0 24 2 0 0 25 0 18 0 872184723 6585389056 13563 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/28091/statm: 1607761 13564 2180 9 0 1598499 0
[pid=28091/tid=28092] ppid=28089 vsize=6431044 CPUtime=0.18 cores=5,7
/proc/28091/task/28092/stat : 28092 (java) R 28089 28091 26091 0 -1 4202560 11812 0 1 0 17 1 0 0 18 0 18 0 872184723 6585389056 13565 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 46912505523581 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=28091/tid=28093] ppid=28089 vsize=6431044 CPUtime=0 cores=5,7
/proc/28091/task/28093/stat : 28093 (java) S 28089 28091 26091 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872184724 6585389056 13565 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646331289 0 4 0 16800975 18446604470795786944 0 0 -1 5 0 0 0
[pid=28091/tid=28094] ppid=28089 vsize=6431044 CPUtime=0 cores=5,7
/proc/28091/task/28094/stat : 28094 (java) S 28089 28091 26091 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 872184724 6585389056 13566 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646331289 0 4 0 16800975 18446604470795786944 0 0 -1 5 0 0 0
[pid=28091/tid=28095] ppid=28089 vsize=6431044 CPUtime=0 cores=5,7
/proc/28091/task/28095/stat : 28095 (java) S 28089 28091 26091 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872184724 6585389056 13566 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646331289 0 4 0 16800975 18446604470795786944 0 0 -1 5 0 0 0
[pid=28091/tid=28096] ppid=28089 vsize=6431044 CPUtime=0 cores=5,7
/proc/28091/task/28096/stat : 28096 (java) S 28089 28091 26091 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872184724 6585389056 13567 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646331289 0 4 0 16800975 18446604470795786944 0 0 -1 5 0 0 0
[pid=28091/tid=28097] ppid=28089 vsize=6431044 CPUtime=0 cores=5,7
/proc/28091/task/28097/stat : 28097 (java) S 28089 28091 26091 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872184724 6585389056 13567 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646331289 0 4 0 16800975 18446604470795786944 0 0 -1 5 0 0 0
[pid=28091/tid=28098] ppid=28089 vsize=6431044 CPUtime=0 cores=5,7
/proc/28091/task/28098/stat : 28098 (java) S 28089 28091 26091 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872184724 6585389056 13568 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646331289 0 4 0 16800975 18446604470795786944 0 0 -1 5 0 0 0
[pid=28091/tid=28099] ppid=28089 vsize=6431044 CPUtime=0 cores=5,7
/proc/28091/task/28099/stat : 28099 (java) S 28089 28091 26091 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872184724 6585389056 13568 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646331289 0 4 0 16800975 18446604470795786944 0 0 -1 5 0 0 0
[pid=28091/tid=28100] ppid=28089 vsize=6431044 CPUtime=0 cores=5,7
/proc/28091/task/28100/stat : 28100 (java) S 28089 28091 26091 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872184724 6585389056 13568 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646331289 0 4 0 16800975 18446604470795786944 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 6431044

[startup+0.300673 s]
/proc/loadavg: 4.71 4.16 2.47 5/635 28091
/proc/meminfo: memFree=6288252/32951124 swapFree=51712240/67111528
[pid=28091] ppid=28089 vsize=6433884 CPUtime=0.46 cores=5,7
/proc/28091/stat : 28091 (java) S 28089 28091 26091 0 -1 4202496 20660 0 1 0 44 2 0 0 25 0 18 0 872184723 6588297216 19800 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/28091/statm: 1608471 19803 2204 9 0 1599209 0
[pid=28091/tid=28092] ppid=28089 vsize=6433884 CPUtime=0.29 cores=5,7
/proc/28091/task/28092/stat : 28092 (java) R 28089 28091 26091 0 -1 4202560 17347 0 1 0 27 2 0 0 18 0 18 0 872184723 6588297216 19805 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 46912505559406 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=28091/tid=28093] ppid=28089 vsize=6433884 CPUtime=0 cores=5,7
/proc/28091/task/28093/stat : 28093 (java) S 28089 28091 26091 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872184724 6588297216 19807 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646331289 0 4 0 16800975 18446604470795786944 0 0 -1 5 0 0 0
[pid=28091/tid=28094] ppid=28089 vsize=6433884 CPUtime=0 cores=5,7
/proc/28091/task/28094/stat : 28094 (java) S 28089 28091 26091 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 872184724 6588297216 19809 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646331289 0 4 0 16800975 18446604470795786944 0 0 -1 5 0 0 0
[pid=28091/tid=28095] ppid=28089 vsize=6433884 CPUtime=0 cores=5,7
/proc/28091/task/28095/stat : 28095 (java) S 28089 28091 26091 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872184724 6588297216 19811 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646331289 0 4 0 16800975 18446604470795786944 0 0 -1 5 0 0 0
[pid=28091/tid=28096] ppid=28089 vsize=6433884 CPUtime=0 cores=5,7
/proc/28091/task/28096/stat : 28096 (java) S 28089 28091 26091 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872184724 6588297216 19812 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646331289 0 4 0 16800975 18446604470795786944 0 0 -1 5 0 0 0
[pid=28091/tid=28097] ppid=28089 vsize=6433884 CPUtime=0 cores=5,7
/proc/28091/task/28097/stat : 28097 (java) S 28089 28091 26091 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872184724 6588297216 19814 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646331289 0 4 0 16800975 18446604470795786944 0 0 -1 5 0 0 0
[pid=28091/tid=28098] ppid=28089 vsize=6433884 CPUtime=0 cores=5,7
/proc/28091/task/28098/stat : 28098 (java) S 28089 28091 26091 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872184724 6588297216 19816 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646331289 0 4 0 16800975 18446604470795786944 0 0 -1 5 0 0 0
[pid=28091/tid=28099] ppid=28089 vsize=6433884 CPUtime=0 cores=5,7
/proc/28091/task/28099/stat : 28099 (java) S 28089 28091 26091 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872184724 6588297216 19818 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646331289 0 4 0 16800975 18446604470795786944 0 0 -1 5 0 0 0
[pid=28091/tid=28100] ppid=28089 vsize=6433884 CPUtime=0 cores=5,7
/proc/28091/task/28100/stat : 28100 (java) S 28089 28091 26091 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872184724 6588297216 19820 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646331289 0 4 0 16800975 18446604470795786944 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 6433884

[startup+0.700637 s]
/proc/loadavg: 4.71 4.16 2.47 5/635 28091
/proc/meminfo: memFree=6288252/32951124 swapFree=51712240/67111528
[pid=28091] ppid=28089 vsize=6433884 CPUtime=0.9 cores=5,7
/proc/28091/stat : 28091 (java) S 28089 28091 26091 0 -1 4202496 59045 0 1 0 84 6 0 0 25 0 18 0 872184723 6588297216 58184 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/28091/statm: 1608471 58188 2204 9 0 1599209 0
[pid=28091/tid=28092] ppid=28089 vsize=6433884 CPUtime=0.68 cores=5,7
/proc/28091/task/28092/stat : 28092 (java) R 28089 28091 26091 0 -1 4202560 55689 0 1 0 63 5 0 0 18 0 18 0 872184723 6588297216 58189 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 46912505559272 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=28091/tid=28093] ppid=28089 vsize=6433884 CPUtime=0 cores=5,7
/proc/28091/task/28093/stat : 28093 (java) S 28089 28091 26091 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872184724 6588297216 58191 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646331289 0 4 0 16800975 18446604470795786944 0 0 -1 5 0 0 0
[pid=28091/tid=28094] ppid=28089 vsize=6433884 CPUtime=0 cores=5,7
/proc/28091/task/28094/stat : 28094 (java) S 28089 28091 26091 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 872184724 6588297216 58194 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646331289 0 4 0 16800975 18446604470795786944 0 0 -1 5 0 0 0
[pid=28091/tid=28095] ppid=28089 vsize=6433884 CPUtime=0 cores=5,7
/proc/28091/task/28095/stat : 28095 (java) S 28089 28091 26091 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872184724 6588297216 58196 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646331289 0 4 0 16800975 18446604470795786944 0 0 -1 5 0 0 0
[pid=28091/tid=28096] ppid=28089 vsize=6433884 CPUtime=0 cores=5,7
/proc/28091/task/28096/stat : 28096 (java) S 28089 28091 26091 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872184724 6588297216 58198 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646331289 0 4 0 16800975 18446604470795786944 0 0 -1 5 0 0 0
[pid=28091/tid=28097] ppid=28089 vsize=6433884 CPUtime=0 cores=5,7
/proc/28091/task/28097/stat : 28097 (java) S 28089 28091 26091 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872184724 6588297216 58200 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646331289 0 4 0 16800975 18446604470795786944 0 0 -1 5 0 0 0
[pid=28091/tid=28098] ppid=28089 vsize=6433884 CPUtime=0 cores=5,7
/proc/28091/task/28098/stat : 28098 (java) S 28089 28091 26091 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872184724 6588297216 58202 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646331289 0 4 0 16800975 18446604470795786944 0 0 -1 5 0 0 0
[pid=28091/tid=28099] ppid=28089 vsize=6433884 CPUtime=0 cores=5,7
/proc/28091/task/28099/stat : 28099 (java) S 28089 28091 26091 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872184724 6588297216 58204 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646331289 0 4 0 16800975 18446604470795786944 0 0 -1 5 0 0 0
[pid=28091/tid=28100] ppid=28089 vsize=6433884 CPUtime=0 cores=5,7
/proc/28091/task/28100/stat : 28100 (java) S 28089 28091 26091 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872184724 6588297216 58206 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646331289 0 4 0 16800975 18446604470795786944 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.9
Current children cumulated vsize (KiB) 6433884

[startup+1.50146 s]
/proc/loadavg: 4.71 4.16 2.47 8/653 28114
/proc/meminfo: memFree=6011164/32951124 swapFree=51712240/67111528
[pid=28091] ppid=28089 vsize=6437628 CPUtime=2.14 cores=5,7
/proc/28091/stat : 28091 (java) S 28089 28091 26091 0 -1 4202496 78753 0 1 0 206 8 0 0 25 0 18 0 872184723 6592131072 77132 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/28091/statm: 1609407 77132 2223 9 0 1600145 0
[pid=28091/tid=28092] ppid=28089 vsize=6437628 CPUtime=1.49 cores=5,7
/proc/28091/task/28092/stat : 28092 (java) R 28089 28091 26091 0 -1 4202560 73998 0 1 0 141 8 0 0 20 0 18 0 872184723 6592131072 77132 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 46912505122100 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=28091/tid=28093] ppid=28089 vsize=6437628 CPUtime=0 cores=5,7
/proc/28091/task/28093/stat : 28093 (java) S 28089 28091 26091 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872184724 6592131072 77132 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646331289 0 4 0 16800975 18446604470795786944 0 0 -1 5 0 0 0
[pid=28091/tid=28094] ppid=28089 vsize=6437628 CPUtime=0 cores=5,7
/proc/28091/task/28094/stat : 28094 (java) S 28089 28091 26091 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 872184724 6592131072 77132 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646331289 0 4 0 16800975 18446604470795786944 0 0 -1 5 0 0 0
[pid=28091/tid=28095] ppid=28089 vsize=6437628 CPUtime=0 cores=5,7
/proc/28091/task/28095/stat : 28095 (java) S 28089 28091 26091 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872184724 6592131072 77132 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646331289 0 4 0 16800975 18446604470795786944 0 0 -1 5 0 0 0
[pid=28091/tid=28096] ppid=28089 vsize=6437628 CPUtime=0 cores=5,7
/proc/28091/task/28096/stat : 28096 (java) S 28089 28091 26091 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872184724 6592131072 77132 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646331289 0 4 0 16800975 18446604470795786944 0 0 -1 5 0 0 0
[pid=28091/tid=28097] ppid=28089 vsize=6437628 CPUtime=0 cores=5,7
/proc/28091/task/28097/stat : 28097 (java) S 28089 28091 26091 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872184724 6592131072 77132 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646331289 0 4 0 16800975 18446604470795786944 0 0 -1 5 0 0 0
[pid=28091/tid=28098] ppid=28089 vsize=6437628 CPUtime=0 cores=5,7
/proc/28091/task/28098/stat : 28098 (java) S 28089 28091 26091 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872184724 6592131072 77132 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646331289 0 4 0 16800975 18446604470795786944 0 0 -1 5 0 0 0
[pid=28091/tid=28099] ppid=28089 vsize=6437628 CPUtime=0 cores=5,7
/proc/28091/task/28099/stat : 28099 (java) S 28089 28091 26091 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872184724 6592131072 77132 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646331289 0 4 0 16800975 18446604470795786944 0 0 -1 5 0 0 0
[pid=28091/tid=28100] ppid=28089 vsize=6437628 CPUtime=0 cores=5,7
/proc/28091/task/28100/stat : 28100 (java) S 28089 28091 26091 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872184724 6592131072 77132 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646331289 0 4 0 16800975 18446604470795786944 0 0 -1 5 0 0 0
[pid=28091/tid=28102] ppid=28089 vsize=6437628 CPUtime=0 cores=5,7
/proc/28091/task/28102/stat : 28102 (java) S 28089 28091 26091 0 -1 4202560 5 0 0 0 0 0 0 0 17 0 18 0 872184725 6592131072 77132 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646331904 0 0 0 16800975 18446604470795786944 0 0 -1 5 0 0 0
[pid=28091/tid=28103] ppid=28089 vsize=6437628 CPUtime=0 cores=5,7
/proc/28091/task/28103/stat : 28103 (java) S 28089 28091 26091 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 872184726 6592131072 77132 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646331289 0 4 0 16800975 18446604470795786944 0 0 -1 5 0 0 0
[pid=28091/tid=28104] ppid=28089 vsize=6437628 CPUtime=0 cores=5,7
/proc/28091/task/28104/stat : 28104 (java) S 28089 28091 26091 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 872184726 6592131072 77132 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646331289 0 4 0 16800975 18446604470795786944 0 0 -1 7 0 0 0
[pid=28091/tid=28105] ppid=28089 vsize=6437628 CPUtime=0 cores=5,7
/proc/28091/task/28105/stat : 28105 (java) S 28089 28091 26091 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872184728 6592131072 77132 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646338993 0 4 0 16800975 18446604470795786944 0 0 -1 5 0 0 0
[pid=28091/tid=28106] ppid=28089 vsize=6437628 CPUtime=0.38 cores=5,7
/proc/28091/task/28106/stat : 28106 (java) R 28089 28091 26091 0 -1 4202560 1539 0 0 0 38 0 0 0 18 0 18 0 872184728 6592131072 77132 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 47369473030138 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=28091/tid=28107] ppid=28089 vsize=6437628 CPUtime=0.26 cores=5,7
/proc/28091/task/28107/stat : 28107 (java) S 28089 28091 26091 0 -1 4202560 2053 0 0 0 26 0 0 0 19 0 18 0 872184728 6592131072 77132 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646331289 0 4 0 16800975 18446604470795786944 0 0 -1 7 0 0 0
[pid=28091/tid=28108] ppid=28089 vsize=6437628 CPUtime=0 cores=5,7
/proc/28091/task/28108/stat : 28108 (java) S 28089 28091 26091 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872184728 6592131072 77132 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646331289 0 4 0 16800975 18446604470795786944 0 0 -1 5 0 0 0
[pid=28091/tid=28109] ppid=28089 vsize=6437628 CPUtime=0 cores=5,7
/proc/28091/task/28109/stat : 28109 (java) S 28089 28091 26091 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 872184728 6592131072 77132 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646331904 0 4 0 16800975 18446604470795786944 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.14
Current children cumulated vsize (KiB) 6437628

[startup+3.10121 s]
/proc/loadavg: 4.71 4.16 2.47 5/651 28121
/proc/meminfo: memFree=5915940/32951124 swapFree=51712240/67111528

################
# More data... #
################

[pid=28091/tid=28095] ppid=28089 vsize=6447176 CPUtime=0.31 cores=5,7
/proc/28091/task/28095/stat : 28095 (java) S 28089 28091 26091 0 -1 4202560 30790 0 0 0 28 3 0 0 16 0 18 0 872184724 6601908224 566061 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646331289 0 4 0 16800975 18446604470795786944 0 0 -1 5 0 0 0
[pid=28091/tid=28096] ppid=28089 vsize=6447176 CPUtime=0.69 cores=5,7
/proc/28091/task/28096/stat : 28096 (java) S 28089 28091 26091 0 -1 4202560 15424 0 0 0 68 1 0 0 15 0 18 0 872184724 6601908224 566061 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646331289 0 4 0 16800975 18446604470795786944 0 0 -1 5 0 0 0
[pid=28091/tid=28097] ppid=28089 vsize=6447176 CPUtime=0.14 cores=5,7
/proc/28091/task/28097/stat : 28097 (java) S 28089 28091 26091 0 -1 4202560 7079 0 0 0 14 0 0 0 15 0 18 0 872184724 6601908224 566061 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646331289 0 4 0 16800975 18446604470795786944 0 0 -1 7 0 0 0
[pid=28091/tid=28098] ppid=28089 vsize=6447176 CPUtime=0.33 cores=5,7
/proc/28091/task/28098/stat : 28098 (java) S 28089 28091 26091 0 -1 4202560 1125 0 0 0 33 0 0 0 15 0 18 0 872184724 6601908224 566061 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646331289 0 4 0 16800975 18446604470795786944 0 0 -1 5 0 0 0
[pid=28091/tid=28099] ppid=28089 vsize=6447176 CPUtime=0.45 cores=5,7
/proc/28091/task/28099/stat : 28099 (java) S 28089 28091 26091 0 -1 4202560 31019 0 0 0 42 3 0 0 15 0 18 0 872184724 6601908224 566061 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646331289 0 4 0 16800975 18446604470795786944 0 0 -1 7 0 0 0
[pid=28091/tid=28100] ppid=28089 vsize=6447176 CPUtime=0.47 cores=5,7
/proc/28091/task/28100/stat : 28100 (java) S 28089 28091 26091 0 -1 4202560 26778 0 0 0 44 3 0 0 15 0 18 0 872184724 6601908224 566061 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646331289 0 4 0 16800975 18446604470795786944 0 0 -1 5 0 0 0
[pid=28091/tid=28102] ppid=28089 vsize=6447176 CPUtime=0 cores=5,7
/proc/28091/task/28102/stat : 28102 (java) S 28089 28091 26091 0 -1 4202560 92 0 0 0 0 0 0 0 15 0 18 0 872184725 6601908224 566061 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646331904 0 0 0 16800975 18446604470795786944 0 0 -1 7 0 0 0
[pid=28091/tid=28103] ppid=28089 vsize=6447176 CPUtime=0 cores=5,7
/proc/28091/task/28103/stat : 28103 (java) S 28089 28091 26091 0 -1 4202560 22 0 0 0 0 0 0 0 15 0 18 0 872184726 6601908224 566061 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646331289 0 4 0 16800975 18446604470795786944 0 0 -1 5 0 0 0
[pid=28091/tid=28104] ppid=28089 vsize=6447176 CPUtime=0 cores=5,7
/proc/28091/task/28104/stat : 28104 (java) S 28089 28091 26091 0 -1 4202560 44 0 0 0 0 0 0 0 15 0 18 0 872184726 6601908224 566061 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646331289 0 4 0 16800975 18446604470795786944 0 0 -1 7 0 0 0
[pid=28091/tid=28105] ppid=28089 vsize=6447176 CPUtime=0 cores=5,7
/proc/28091/task/28105/stat : 28105 (java) S 28089 28091 26091 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872184728 6601908224 566061 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646338993 0 4 0 16800975 18446604470795786944 0 0 -1 5 0 0 0
[pid=28091/tid=28106] ppid=28089 vsize=6447176 CPUtime=0.57 cores=5,7
/proc/28091/task/28106/stat : 28106 (java) S 28089 28091 26091 0 -1 4202560 1778 0 0 0 57 0 0 0 16 0 18 0 872184728 6601908224 566061 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646331289 0 4 0 16800975 18446604470795786944 0 0 -1 7 0 0 0
[pid=28091/tid=28107] ppid=28089 vsize=6447176 CPUtime=0.44 cores=5,7
/proc/28091/task/28107/stat : 28107 (java) S 28089 28091 26091 0 -1 4202560 4808 0 0 0 44 0 0 0 17 0 18 0 872184728 6601908224 566061 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646331289 0 4 0 16800975 18446604470795786944 0 0 -1 7 0 0 0
[pid=28091/tid=28108] ppid=28089 vsize=6447176 CPUtime=0 cores=5,7
/proc/28091/task/28108/stat : 28108 (java) S 28089 28091 26091 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872184728 6601908224 566061 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646331289 0 4 0 16800975 18446604470795786944 0 0 -1 5 0 0 0
[pid=28091/tid=28109] ppid=28089 vsize=6447176 CPUtime=0 cores=5,7
/proc/28091/task/28109/stat : 28109 (java) S 28089 28091 26091 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 18 0 872184728 6601908224 566061 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646331904 0 4 0 16800975 18446604470795786944 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 180.76
Current children cumulated vsize (KiB) 6447176

[startup+178.601 s]
/proc/loadavg: 4.09 4.13 2.76 5/652 29978
/proc/meminfo: memFree=3861916/32951124 swapFree=51712240/67111528
[pid=28091] ppid=28089 vsize=6447176 CPUtime=181.56 cores=5,7
/proc/28091/stat : 28091 (java) S 28089 28091 26091 0 -1 4202496 571889 0 1 0 18084 72 0 0 25 0 18 0 872184723 6601908224 566061 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/28091/statm: 1611794 566061 2242 9 0 1602532 0
[pid=28091/tid=28092] ppid=28089 vsize=6447176 CPUtime=176.56 cores=5,7
/proc/28091/task/28092/stat : 28092 (java) R 28089 28091 26091 0 -1 4202560 391674 0 1 0 17609 47 0 0 25 0 18 0 872184723 6601908224 566061 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 46912505841855 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=28091/tid=28093] ppid=28089 vsize=6447176 CPUtime=0.97 cores=5,7
/proc/28091/task/28093/stat : 28093 (java) S 28089 28091 26091 0 -1 4202560 37893 0 0 0 93 4 0 0 16 0 18 0 872184724 6601908224 566061 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646331289 0 4 0 16800975 18446604470795786944 0 0 -1 7 0 0 0
[pid=28091/tid=28094] ppid=28089 vsize=6447176 CPUtime=0.41 cores=5,7
/proc/28091/task/28094/stat : 28094 (java) S 28089 28091 26091 0 -1 4202560 22170 0 0 0 39 2 0 0 15 0 18 0 872184724 6601908224 566061 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646331289 0 4 0 16800975 18446604470795786944 0 0 -1 5 0 0 0
[pid=28091/tid=28095] ppid=28089 vsize=6447176 CPUtime=0.31 cores=5,7
/proc/28091/task/28095/stat : 28095 (java) S 28089 28091 26091 0 -1 4202560 30790 0 0 0 28 3 0 0 16 0 18 0 872184724 6601908224 566061 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646331289 0 4 0 16800975 18446604470795786944 0 0 -1 5 0 0 0
[pid=28091/tid=28096] ppid=28089 vsize=6447176 CPUtime=0.69 cores=5,7
/proc/28091/task/28096/stat : 28096 (java) S 28089 28091 26091 0 -1 4202560 15424 0 0 0 68 1 0 0 15 0 18 0 872184724 6601908224 566061 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646331289 0 4 0 16800975 18446604470795786944 0 0 -1 5 0 0 0
[pid=28091/tid=28097] ppid=28089 vsize=6447176 CPUtime=0.14 cores=5,7
/proc/28091/task/28097/stat : 28097 (java) S 28089 28091 26091 0 -1 4202560 7079 0 0 0 14 0 0 0 15 0 18 0 872184724 6601908224 566061 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646331289 0 4 0 16800975 18446604470795786944 0 0 -1 7 0 0 0
[pid=28091/tid=28098] ppid=28089 vsize=6447176 CPUtime=0.33 cores=5,7
/proc/28091/task/28098/stat : 28098 (java) S 28089 28091 26091 0 -1 4202560 1125 0 0 0 33 0 0 0 15 0 18 0 872184724 6601908224 566061 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646331289 0 4 0 16800975 18446604470795786944 0 0 -1 5 0 0 0
[pid=28091/tid=28099] ppid=28089 vsize=6447176 CPUtime=0.45 cores=5,7
/proc/28091/task/28099/stat : 28099 (java) S 28089 28091 26091 0 -1 4202560 31019 0 0 0 42 3 0 0 15 0 18 0 872184724 6601908224 566061 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646331289 0 4 0 16800975 18446604470795786944 0 0 -1 7 0 0 0
[pid=28091/tid=28100] ppid=28089 vsize=6447176 CPUtime=0.47 cores=5,7
/proc/28091/task/28100/stat : 28100 (java) S 28089 28091 26091 0 -1 4202560 26778 0 0 0 44 3 0 0 15 0 18 0 872184724 6601908224 566061 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646331289 0 4 0 16800975 18446604470795786944 0 0 -1 5 0 0 0
[pid=28091/tid=28102] ppid=28089 vsize=6447176 CPUtime=0 cores=5,7
/proc/28091/task/28102/stat : 28102 (java) S 28089 28091 26091 0 -1 4202560 92 0 0 0 0 0 0 0 15 0 18 0 872184725 6601908224 566061 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646331904 0 0 0 16800975 18446604470795786944 0 0 -1 7 0 0 0
[pid=28091/tid=28103] ppid=28089 vsize=6447176 CPUtime=0 cores=5,7
/proc/28091/task/28103/stat : 28103 (java) S 28089 28091 26091 0 -1 4202560 22 0 0 0 0 0 0 0 15 0 18 0 872184726 6601908224 566061 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646331289 0 4 0 16800975 18446604470795786944 0 0 -1 5 0 0 0
[pid=28091/tid=28104] ppid=28089 vsize=6447176 CPUtime=0 cores=5,7
/proc/28091/task/28104/stat : 28104 (java) S 28089 28091 26091 0 -1 4202560 44 0 0 0 0 0 0 0 15 0 18 0 872184726 6601908224 566061 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646331289 0 4 0 16800975 18446604470795786944 0 0 -1 7 0 0 0
[pid=28091/tid=28105] ppid=28089 vsize=6447176 CPUtime=0 cores=5,7
/proc/28091/task/28105/stat : 28105 (java) S 28089 28091 26091 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872184728 6601908224 566061 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646338993 0 4 0 16800975 18446604470795786944 0 0 -1 5 0 0 0
[pid=28091/tid=28106] ppid=28089 vsize=6447176 CPUtime=0.57 cores=5,7
/proc/28091/task/28106/stat : 28106 (java) S 28089 28091 26091 0 -1 4202560 1778 0 0 0 57 0 0 0 16 0 18 0 872184728 6601908224 566061 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646331289 0 4 0 16800975 18446604470795786944 0 0 -1 7 0 0 0
[pid=28091/tid=28107] ppid=28089 vsize=6447176 CPUtime=0.44 cores=5,7
/proc/28091/task/28107/stat : 28107 (java) S 28089 28091 26091 0 -1 4202560 4808 0 0 0 44 0 0 0 17 0 18 0 872184728 6601908224 566061 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646331289 0 4 0 16800975 18446604470795786944 0 0 -1 7 0 0 0
[pid=28091/tid=28108] ppid=28089 vsize=6447176 CPUtime=0 cores=5,7
/proc/28091/task/28108/stat : 28108 (java) S 28089 28091 26091 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872184728 6601908224 566061 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646331289 0 4 0 16800975 18446604470795786944 0 0 -1 5 0 0 0
[pid=28091/tid=28109] ppid=28089 vsize=6447176 CPUtime=0 cores=5,7
/proc/28091/task/28109/stat : 28109 (java) S 28089 28091 26091 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 18 0 872184728 6601908224 566061 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646331904 0 4 0 16800975 18446604470795786944 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 181.56
Current children cumulated vsize (KiB) 6447176

[startup+179.401 s]
/proc/loadavg: 4.09 4.13 2.76 5/652 29978
/proc/meminfo: memFree=3861916/32951124 swapFree=51712240/67111528
[pid=28091] ppid=28089 vsize=6447176 CPUtime=182.36 cores=5,7
/proc/28091/stat : 28091 (java) S 28089 28091 26091 0 -1 4202496 571889 0 1 0 18164 72 0 0 25 0 18 0 872184723 6601908224 566061 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/28091/statm: 1611794 566061 2242 9 0 1602532 0
[pid=28091/tid=28092] ppid=28089 vsize=6447176 CPUtime=177.36 cores=5,7
/proc/28091/task/28092/stat : 28092 (java) R 28089 28091 26091 0 -1 4202560 391674 0 1 0 17689 47 0 0 25 0 18 0 872184723 6601908224 566061 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 46912505841855 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=28091/tid=28093] ppid=28089 vsize=6447176 CPUtime=0.97 cores=5,7
/proc/28091/task/28093/stat : 28093 (java) S 28089 28091 26091 0 -1 4202560 37893 0 0 0 93 4 0 0 16 0 18 0 872184724 6601908224 566061 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646331289 0 4 0 16800975 18446604470795786944 0 0 -1 7 0 0 0
[pid=28091/tid=28094] ppid=28089 vsize=6447176 CPUtime=0.41 cores=5,7
/proc/28091/task/28094/stat : 28094 (java) S 28089 28091 26091 0 -1 4202560 22170 0 0 0 39 2 0 0 15 0 18 0 872184724 6601908224 566061 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646331289 0 4 0 16800975 18446604470795786944 0 0 -1 5 0 0 0
[pid=28091/tid=28095] ppid=28089 vsize=6447176 CPUtime=0.31 cores=5,7
/proc/28091/task/28095/stat : 28095 (java) S 28089 28091 26091 0 -1 4202560 30790 0 0 0 28 3 0 0 16 0 18 0 872184724 6601908224 566061 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646331289 0 4 0 16800975 18446604470795786944 0 0 -1 5 0 0 0
[pid=28091/tid=28096] ppid=28089 vsize=6447176 CPUtime=0.69 cores=5,7
/proc/28091/task/28096/stat : 28096 (java) S 28089 28091 26091 0 -1 4202560 15424 0 0 0 68 1 0 0 15 0 18 0 872184724 6601908224 566061 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646331289 0 4 0 16800975 18446604470795786944 0 0 -1 5 0 0 0
[pid=28091/tid=28097] ppid=28089 vsize=6447176 CPUtime=0.14 cores=5,7
/proc/28091/task/28097/stat : 28097 (java) S 28089 28091 26091 0 -1 4202560 7079 0 0 0 14 0 0 0 15 0 18 0 872184724 6601908224 566061 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646331289 0 4 0 16800975 18446604470795786944 0 0 -1 7 0 0 0
[pid=28091/tid=28098] ppid=28089 vsize=6447176 CPUtime=0.33 cores=5,7
/proc/28091/task/28098/stat : 28098 (java) S 28089 28091 26091 0 -1 4202560 1125 0 0 0 33 0 0 0 15 0 18 0 872184724 6601908224 566061 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646331289 0 4 0 16800975 18446604470795786944 0 0 -1 5 0 0 0
[pid=28091/tid=28099] ppid=28089 vsize=6447176 CPUtime=0.45 cores=5,7
/proc/28091/task/28099/stat : 28099 (java) S 28089 28091 26091 0 -1 4202560 31019 0 0 0 42 3 0 0 15 0 18 0 872184724 6601908224 566061 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646331289 0 4 0 16800975 18446604470795786944 0 0 -1 7 0 0 0
[pid=28091/tid=28100] ppid=28089 vsize=6447176 CPUtime=0.47 cores=5,7
/proc/28091/task/28100/stat : 28100 (java) S 28089 28091 26091 0 -1 4202560 26778 0 0 0 44 3 0 0 15 0 18 0 872184724 6601908224 566061 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646331289 0 4 0 16800975 18446604470795786944 0 0 -1 5 0 0 0
[pid=28091/tid=28102] ppid=28089 vsize=6447176 CPUtime=0 cores=5,7
/proc/28091/task/28102/stat : 28102 (java) S 28089 28091 26091 0 -1 4202560 92 0 0 0 0 0 0 0 15 0 18 0 872184725 6601908224 566061 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646331904 0 0 0 16800975 18446604470795786944 0 0 -1 7 0 0 0
[pid=28091/tid=28103] ppid=28089 vsize=6447176 CPUtime=0 cores=5,7
/proc/28091/task/28103/stat : 28103 (java) S 28089 28091 26091 0 -1 4202560 22 0 0 0 0 0 0 0 15 0 18 0 872184726 6601908224 566061 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646331289 0 4 0 16800975 18446604470795786944 0 0 -1 5 0 0 0
[pid=28091/tid=28104] ppid=28089 vsize=6447176 CPUtime=0 cores=5,7
/proc/28091/task/28104/stat : 28104 (java) S 28089 28091 26091 0 -1 4202560 44 0 0 0 0 0 0 0 15 0 18 0 872184726 6601908224 566061 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646331289 0 4 0 16800975 18446604470795786944 0 0 -1 7 0 0 0
[pid=28091/tid=28105] ppid=28089 vsize=6447176 CPUtime=0 cores=5,7
/proc/28091/task/28105/stat : 28105 (java) S 28089 28091 26091 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872184728 6601908224 566061 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646338993 0 4 0 16800975 18446604470795786944 0 0 -1 5 0 0 0
[pid=28091/tid=28106] ppid=28089 vsize=6447176 CPUtime=0.57 cores=5,7
/proc/28091/task/28106/stat : 28106 (java) S 28089 28091 26091 0 -1 4202560 1778 0 0 0 57 0 0 0 16 0 18 0 872184728 6601908224 566061 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646331289 0 4 0 16800975 18446604470795786944 0 0 -1 7 0 0 0
[pid=28091/tid=28107] ppid=28089 vsize=6447176 CPUtime=0.44 cores=5,7
/proc/28091/task/28107/stat : 28107 (java) S 28089 28091 26091 0 -1 4202560 4808 0 0 0 44 0 0 0 17 0 18 0 872184728 6601908224 566061 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646331289 0 4 0 16800975 18446604470795786944 0 0 -1 7 0 0 0
[pid=28091/tid=28108] ppid=28089 vsize=6447176 CPUtime=0 cores=5,7
/proc/28091/task/28108/stat : 28108 (java) S 28089 28091 26091 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872184728 6601908224 566061 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646331289 0 4 0 16800975 18446604470795786944 0 0 -1 5 0 0 0
[pid=28091/tid=28109] ppid=28089 vsize=6447176 CPUtime=0 cores=5,7
/proc/28091/task/28109/stat : 28109 (java) S 28089 28091 26091 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 18 0 872184728 6601908224 566061 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646331904 0 4 0 16800975 18446604470795786944 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 182.36
Current children cumulated vsize (KiB) 6447176

[startup+179.622 s]
/proc/loadavg: 4.09 4.13 2.76 5/654 29983
/proc/meminfo: memFree=3861900/32951124 swapFree=51712240/67111528
[pid=28091] ppid=28089 vsize=6447176 CPUtime=182.58 cores=5,7
/proc/28091/stat : 28091 (java) S 28089 28091 26091 0 -1 4202496 571889 0 1 0 18186 72 0 0 25 0 18 0 872184723 6601908224 566061 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/28091/statm: 1611794 566061 2242 9 0 1602532 0
[pid=28091/tid=28092] ppid=28089 vsize=6447176 CPUtime=177.58 cores=5,7
/proc/28091/task/28092/stat : 28092 (java) R 28089 28091 26091 0 -1 4202560 391674 0 1 0 17711 47 0 0 25 0 18 0 872184723 6601908224 566061 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 46912505841855 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=28091/tid=28093] ppid=28089 vsize=6447176 CPUtime=0.97 cores=5,7
/proc/28091/task/28093/stat : 28093 (java) S 28089 28091 26091 0 -1 4202560 37893 0 0 0 93 4 0 0 16 0 18 0 872184724 6601908224 566061 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646331289 0 4 0 16800975 18446604470795786944 0 0 -1 7 0 0 0
[pid=28091/tid=28094] ppid=28089 vsize=6447176 CPUtime=0.41 cores=5,7
/proc/28091/task/28094/stat : 28094 (java) S 28089 28091 26091 0 -1 4202560 22170 0 0 0 39 2 0 0 15 0 18 0 872184724 6601908224 566061 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646331289 0 4 0 16800975 18446604470795786944 0 0 -1 5 0 0 0
[pid=28091/tid=28095] ppid=28089 vsize=6447176 CPUtime=0.31 cores=5,7
/proc/28091/task/28095/stat : 28095 (java) S 28089 28091 26091 0 -1 4202560 30790 0 0 0 28 3 0 0 16 0 18 0 872184724 6601908224 566061 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646331289 0 4 0 16800975 18446604470795786944 0 0 -1 5 0 0 0
[pid=28091/tid=28096] ppid=28089 vsize=6447176 CPUtime=0.69 cores=5,7
/proc/28091/task/28096/stat : 28096 (java) S 28089 28091 26091 0 -1 4202560 15424 0 0 0 68 1 0 0 15 0 18 0 872184724 6601908224 566061 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646331289 0 4 0 16800975 18446604470795786944 0 0 -1 5 0 0 0
[pid=28091/tid=28097] ppid=28089 vsize=6447176 CPUtime=0.14 cores=5,7
/proc/28091/task/28097/stat : 28097 (java) S 28089 28091 26091 0 -1 4202560 7079 0 0 0 14 0 0 0 15 0 18 0 872184724 6601908224 566061 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646331289 0 4 0 16800975 18446604470795786944 0 0 -1 7 0 0 0
[pid=28091/tid=28098] ppid=28089 vsize=6447176 CPUtime=0.33 cores=5,7
/proc/28091/task/28098/stat : 28098 (java) S 28089 28091 26091 0 -1 4202560 1125 0 0 0 33 0 0 0 15 0 18 0 872184724 6601908224 566061 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646331289 0 4 0 16800975 18446604470795786944 0 0 -1 5 0 0 0
[pid=28091/tid=28099] ppid=28089 vsize=6447176 CPUtime=0.45 cores=5,7
/proc/28091/task/28099/stat : 28099 (java) S 28089 28091 26091 0 -1 4202560 31019 0 0 0 42 3 0 0 15 0 18 0 872184724 6601908224 566061 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646331289 0 4 0 16800975 18446604470795786944 0 0 -1 7 0 0 0
[pid=28091/tid=28100] ppid=28089 vsize=6447176 CPUtime=0.47 cores=5,7
/proc/28091/task/28100/stat : 28100 (java) S 28089 28091 26091 0 -1 4202560 26778 0 0 0 44 3 0 0 15 0 18 0 872184724 6601908224 566061 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646331289 0 4 0 16800975 18446604470795786944 0 0 -1 5 0 0 0
[pid=28091/tid=28102] ppid=28089 vsize=6447176 CPUtime=0 cores=5,7
/proc/28091/task/28102/stat : 28102 (java) S 28089 28091 26091 0 -1 4202560 92 0 0 0 0 0 0 0 15 0 18 0 872184725 6601908224 566061 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646331904 0 0 0 16800975 18446604470795786944 0 0 -1 7 0 0 0
[pid=28091/tid=28103] ppid=28089 vsize=6447176 CPUtime=0 cores=5,7
/proc/28091/task/28103/stat : 28103 (java) S 28089 28091 26091 0 -1 4202560 22 0 0 0 0 0 0 0 15 0 18 0 872184726 6601908224 566061 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646331289 0 4 0 16800975 18446604470795786944 0 0 -1 5 0 0 0
[pid=28091/tid=28104] ppid=28089 vsize=6447176 CPUtime=0 cores=5,7
/proc/28091/task/28104/stat : 28104 (java) S 28089 28091 26091 0 -1 4202560 44 0 0 0 0 0 0 0 15 0 18 0 872184726 6601908224 566061 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646331289 0 4 0 16800975 18446604470795786944 0 0 -1 7 0 0 0
[pid=28091/tid=28105] ppid=28089 vsize=6447176 CPUtime=0 cores=5,7
/proc/28091/task/28105/stat : 28105 (java) S 28089 28091 26091 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872184728 6601908224 566061 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646338993 0 4 0 16800975 18446604470795786944 0 0 -1 5 0 0 0
[pid=28091/tid=28106] ppid=28089 vsize=6447176 CPUtime=0.57 cores=5,7
/proc/28091/task/28106/stat : 28106 (java) S 28089 28091 26091 0 -1 4202560 1778 0 0 0 57 0 0 0 16 0 18 0 872184728 6601908224 566061 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646331289 0 4 0 16800975 18446604470795786944 0 0 -1 7 0 0 0
[pid=28091/tid=28107] ppid=28089 vsize=6447176 CPUtime=0.44 cores=5,7
/proc/28091/task/28107/stat : 28107 (java) S 28089 28091 26091 0 -1 4202560 4808 0 0 0 44 0 0 0 17 0 18 0 872184728 6601908224 566061 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646331289 0 4 0 16800975 18446604470795786944 0 0 -1 7 0 0 0
[pid=28091/tid=28108] ppid=28089 vsize=6447176 CPUtime=0 cores=5,7
/proc/28091/task/28108/stat : 28108 (java) S 28089 28091 26091 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872184728 6601908224 566061 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646331289 0 4 0 16800975 18446604470795786944 0 0 -1 5 0 0 0
[pid=28091/tid=28109] ppid=28089 vsize=6447176 CPUtime=0 cores=5,7
/proc/28091/task/28109/stat : 28109 (java) S 28089 28091 26091 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 18 0 872184728 6601908224 566061 33554432000 1073741824 1073778376 140736860926656 18446744073709551615 216646331904 0 4 0 16800975 18446604470795786944 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 182.58
Current children cumulated vsize (KiB) 6447176

[startup+179.701 s]
/proc/loadavg: 4.09 4.13 2.76 5/654 29983
/proc/meminfo: memFree=3861900/32951124 swapFree=51712240/67111528
[pid=28091] ppid=28089 vsize=0 CPUtime=182.66 cores=5,7
/proc/28091/stat : 28091 (java) Z 28089 28091 26091 0 -1 4203548 571900 0 1 0 18192 74 0 0 18 0 2 0 872184723 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/28091/statm: 0 0 0 0 0 0 0
[pid=28091/tid=28092] ppid=28089 vsize=0 CPUtime=177.66 cores=5,7
/proc/28091/task/28092/stat : 28092 (java) R 28089 28091 26091 0 -1 4203588 391678 0 1 0 17717 49 0 0 18 0 2 0 872184723 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 182.66
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 179.758
CPU time (s): 182.723
CPU user time (s): 181.924
CPU system time (s): 0.798878
CPU usage (%): 101.65
Max. virtual memory (cumulated for all children) (KiB): 6447176

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 181.924
system time used= 0.798878
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 571900
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= 8753
involuntary context switches= 6163

runsolver used 0.993848 second user time and 2.43063 second system time

The end

Begin job on node103 at 2011-06-09 09:50:21
IDJOB=3483200
IDBENCH=89558
IDSOLVER=1972
FILE ID=node103/3483200-1307605821
RUNJOBID= node103-1307605081-26442
PBS_JOBID= 13547792
Free space on /tmp= 73492 MiB

SOLVER NAME= SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06
BENCH NAME= SAT11/mus/marques-silva/software-verification/itox_vc1216.cnf
COMMAND LINE= java -Xms6000m -Xmx6000m -jar sat4j-mus-v20110206.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3483200-1307605821/watcher-3483200-1307605821 -o /tmp/evaluation-result-3483200-1307605821/solver-3483200-1307605821 -C 1800 -W 1850 -M 7680  java -Xms6000m -Xmx6000m -jar sat4j-mus-v20110206.jar HOME/instance-3483200-1307605821.cnf

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2

MD5SUM BENCH= 5989776b4ffba911abbb4fbca4e657bd
RANDOM SEED=1264063183

node103.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.858
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.71
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.858
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.75
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.858
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.858
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.77
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.858
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.858
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.858
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.83
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.858
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:       6288284 kB
Buffers:        191248 kB
Cached:         828928 kB
SwapCached:      23516 kB
Active:       26062080 kB
Inactive:       256212 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       6288284 kB
SwapTotal:    67111528 kB
SwapFree:     51712240 kB
Dirty:            8788 kB
Writeback:           0 kB
AnonPages:    25295784 kB
Mapped:          67868 kB
Slab:           151872 kB
PageTables:     122680 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 195775576 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= 73492 MiB
End job on node103 at 2011-06-09 09:53:21