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.08/0.10	c version 2.3.0.v20110206
0.08/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.08/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.08/0.10	c java.vm.version	19.1-b02
0.08/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.08/0.10	c sun.arch.data.model	64
0.08/0.10	c java.version		1.6.0_24
0.08/0.10	c os.name		Linux
0.08/0.10	c os.version		2.6.18-164.el5
0.08/0.10	c os.arch		amd64
0.08/0.10	c Free memory 		5997854704
0.08/0.10	c Max memory 		6029312000
0.08/0.10	c Total memory 		6029312000
0.08/0.10	c Number of processors 	8
0.08/0.10	c Explanation (MUS) enabled solver
0.08/0.10	c QuickXplain (AAAI 2004 version) minimization strategy
0.08/0.10	c --- Begin Solver configuration ---
0.08/0.10	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@1d73831b
0.08/0.10	c Learn all clauses as in MiniSAT
0.08/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 
0.08/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT
0.08/0.10	c Expensive reason simplification
0.08/0.10	c Armin Biere (Picosat) restarts strategy
0.08/0.10	c Glucose learned constraints deletion strategy
0.08/0.10	c timeout=2147483647s
0.08/0.10	c DB Simplification allowed=true
0.08/0.10	c --- End Solver configuration ---
0.08/0.10	c solving HOME/instance-3493472-1307799172.cnf
0.08/0.10	c reading problem ... 
0.79/0.60	c ... done. Wall clock time 0.496s.
0.79/0.60	c #vars     454715
0.79/0.60	c #constraints  338946
0.79/0.60	c constraints type 
0.79/0.60	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 331889
0.79/0.60	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 7057
1.30/0.91	c Unsat detection wall clock time (in seconds) : 0.812
1.30/0.91	c Size of initial unsat subformula: 577
1.30/0.91	c Computing MUS ...
1.30/0.91	c initial unsat core -115768[?] 454714[?] 115769[?]  115573[?] 454710[?] 115768[?]  115572[?] -115573[?] 454290[?]  115571[?] -115572[?] 454288[?]  114864[?] -115571[?] 454284[?]  114799[?] -114864[?] 452106[?]  114798[?] -114864[?] 452105[?]  114863[?] -114799[?] 452102[?]  114862[?] -114863[?] 452100[?]  114861[?] -114862[?] 452097[?]  114860[?] -114861[?] 452094[?]  114859[?] -114860[?] 452091[?]  114858[?] -114859[?] 452088[?]  114857[?] -114858[?] 452085[?]  114856[?] -114857[?] 452082[?]  114855[?] -114856[?] 452079[?]  114854[?] -114855[?] 452076[?]  114853[?] -114854[?] 452073[?]  114852[?] -114853[?] 452070[?]  114851[?] -114852[?] 452067[?]  114850[?] -114851[?] 452064[?]  114849[?] -114850[?] 452061[?]  114848[?] -114849[?] 452058[?]  114847[?] -114848[?] 452055[?]  114846[?] -114847[?] 452052[?]  114845[?] -114846[?] 452049[?]  114844[?] -114845[?] 452046[?]  114843[?] -114844[?] 452043[?]  114842[?] -114843[?] 452040[?]  114841[?] -114842[?] 452037[?]  114840[?] -114841[?] 452034[?]  114839[?] -114840[?] 452031[?]  114838[?] -114839[?] 452028[?]  114837[?] -114838[?] 452025[?]  114836[?] -114837[?] 452022[?]  114835[?] -114836[?] 452019[?]  114834[?] -114835[?] 452016[?]  114833[?] -114834[?] 452013[?]  114832[?] -114833[?] 452010[?]  114800[?] -114832[?] 452008[?]  -111080[?] -114800[?] 451944[?]  114797[?] -114798[?] 451941[?]  88316[?] -114797[?] 451938[?]  -111048[?] 440742[?] 73734[?] 111080[?]  -73734[?] 440741[?] 111080[?]  73896[?] 440647[?] 111048[?]  -111016[?] 440645[?] -73896[?] 111048[?]  76718[?] 111016[?] 440551[?]  88444[?] -88316[?] 386196[?]  88443[?] -88444[?] 386194[?]  88442[?] -88443[?] 386191[?]  88441[?] -88442[?] 386188[?]  88440[?] -88441[?] 386185[?]  88439[?] -88440[?] 386182[?]  88438[?] -88439[?] 386179[?]  88437[?] -88438[?] 386176[?]  88436[?] -88437[?] 386173[?]  88435[?] -88436[?] 386170[?]  88434[?] -88435[?] 386167[?]  88433[?] -88434[?] 386164[?]  88432[?] -88433[?] 386161[?]  88431[?] -88432[?] 386158[?]  88430[?] -88431[?] 386155[?]  88429[?] -88430[?] 386152[?]  88428[?] -88429[?] 386149[?]  88427[?] -88428[?] 386146[?]  88426[?] -88427[?] 386143[?]  88425[?] -88426[?] 386140[?]  88424[?] -88425[?] 386137[?]  88423[?] -88424[?] 386134[?]  88422[?] -88423[?] 386131[?]  88421[?] -88422[?] 386128[?]  88420[?] -88421[?] 386125[?]  88419[?] -88420[?] 386122[?]  88418[?] -88419[?] 386119[?]  88417[?] -88418[?] 386116[?]  88416[?] -88417[?] 386113[?]  88415[?] -88416[?] 386110[?]  88414[?] -88415[?] 386107[?]  88413[?] -88414[?] 386104[?]  88412[?] -88413[?] 386101[?]  88411[?] -88412[?] 386098[?]  88410[?] -88411[?] 386095[?]  88409[?] -88410[?] 386092[?]  88408[?] -88409[?] 386089[?]  88407[?] -88408[?] 386086[?]  88406[?] -88407[?] 386083[?]  88405[?] -88406[?] 386080[?]  88404[?] -88405[?] 386077[?]  88403[?] -88404[?] 386074[?]  88402[?] -88403[?] 386071[?]  88401[?] -88402[?] 386068[?]  88400[?] -88401[?] 386065[?]  88399[?] -88400[?] 386062[?]  88398[?] -88399[?] 386059[?]  88397[?] -88398[?] 386056[?]  88396[?] -88397[?] 386053[?]  88395[?] -88396[?] 386050[?]  88394[?] -88395[?] 386047[?]  88393[?] -88394[?] 386044[?]  88392[?] -88393[?] 386041[?]  88391[?] -88392[?] 386038[?]  88390[?] -88391[?] 386035[?]  88389[?] -88390[?] 386032[?]  88388[?] -88389[?] 386029[?]  88387[?] -88388[?] 386026[?]  88386[?] -88387[?] 386023[?]  88385[?] -88386[?] 386020[?]  88384[?] -88385[?] 386017[?]  88383[?] -88384[?] 386014[?]  88382[?] -88383[?] 386011[?]  88318[?] -88382[?] 386009[?]  88381[?] -88382[?] 386008[?]  88317[?] -88381[?] 386006[?]  -88253[?] -88318[?] 385880[?]  -88252[?] -88317[?] 385878[?]  -81888[?] -87805[?] 88253[?] 385625[?]  -87932[?] 81888[?] 88252[?] 385623[?]  87932[?] -87996[?] 384926[?]  87996[?] 87804[?] 384919[?]  87805[?] -84949[?] -74478[?] 384667[?]  -87804[?] 84948[?] -74478[?] 384664[?]  84949[?] -84082[?] -74703[?] 376604[?]  -84948[?] 84081[?] -74703[?] 376601[?]  84082[?] -82292[?] -74928[?] 374243[?]  -84081[?] 82291[?] -74928[?] 374240[?]  82292[?] -82260[?] 370420[?]  -82291[?] 82259[?] 370417[?]  82260[?] 81937[?] -82228[?] 370325[?]  -82259[?] 81937[?] 82227[?] 370323[?]  82228[?] 82130[?] 370230[?]  -82227[?] 82130[?] 370227[?]  -82130[?] 82194[?] 370223[?]  -82194[?] 82193[?] 370221[?]  -82193[?] 82192[?] 370218[?]  -82192[?] 82191[?] 370215[?]  -82191[?] 82190[?] 370212[?]  -82190[?] 82189[?] 370209[?]  -82189[?] 82188[?] 370206[?]  -82188[?] 82187[?] 370203[?]  -82187[?] 82186[?] 370200[?]  -82186[?] 82185[?] 370197[?]  -82185[?] 82184[?] 370194[?]  -82184[?] 82183[?] 370191[?]  -82183[?] 82182[?] 370188[?]  -82182[?] 82181[?] 370185[?]  -82181[?] 82180[?] 370182[?]  -82180[?] 82179[?] 370179[?]  -82179[?] 82178[?] 370176[?]  -82178[?] 82177[?] 370173[?]  -82177[?] 82176[?] 370170[?]  -82176[?] 82175[?] 370167[?]  -82175[?] 82174[?] 370164[?]  -82174[?] 82173[?] 370161[?]  -82173[?] 82172[?] 370158[?]  -82172[?] 82171[?] 370155[?]  -82171[?] 82170[?] 370152[?]  -82170[?] 82169[?] 370149[?]  -82169[?] 82168[?] 370146[?]  -82168[?] 82167[?] 370143[?]  -82167[?] 82166[?] 370140[?]  -82166[?] 82134[?] 370138[?]  -82134[?] -74417[?] 370071[?]  -81937[?] -82129[?] 370063[?]  82129[?] -82127[?] 370056[?]  82127[?] -82125[?] -82126[?] 370052[?]  82126[?] 74445[?] 370048[?]  82125[?] -82123[?] 370042[?]  82123[?] -82121[?] -82122[?] 370038[?]  82122[?] 74444[?] 370034[?]  82121[?] -82119[?] 370028[?]  82119[?] -82117[?] -82118[?] 370024[?]  82118[?] 74443[?] 370020[?]  82117[?] -82115[?] 370014[?]  82115[?] -82113[?] -82114[?] 370010[?]  82114[?] 74442[?] 370006[?]  82113[?] -82111[?] 370000[?]  82111[?] -82109[?] -82110[?] 369996[?]  82110[?] 74441[?] 369992[?]  82109[?] -82107[?] 369986[?]  82107[?] -82105[?] -82106[?] 369982[?]  82106[?] 74440[?] 369978[?]  82105[?] -82103[?] 369972[?]  82103[?] -82101[?] -82102[?] 369968[?]  82102[?] 74439[?] 369964[?]  82101[?] -82099[?] 369958[?]  82099[?] -82097[?] -82098[?] 369954[?]  82098[?] 74438[?] 369950[?]  82097[?] -82095[?] 369944[?]  82095[?] -82093[?] -82094[?] 369940[?]  82094[?] 74437[?] 369936[?]  82093[?] -82091[?] 369930[?]  82091[?] -82089[?] -82090[?] 369926[?]  82090[?] 74436[?] 369922[?]  82089[?] -82087[?] 369916[?]  82087[?] -82085[?] -82086[?] 369912[?]  82086[?] 74435[?] 369908[?]  82085[?] -82083[?] 369902[?]  82083[?] -82081[?] -82082[?] 369898[?]  82082[?] 74434[?] 369894[?]  82081[?] -82079[?] 369888[?]  82079[?] -82077[?] -82078[?] 369884[?]  82078[?] 74433[?] 369880[?]  82077[?] -82075[?] 369874[?]  82075[?] -82073[?] -82074[?] 369870[?]  82074[?] 74432[?] 369866[?]  82073[?] -82071[?] 369860[?]  82071[?] -82069[?] -82070[?] 369856[?]  82070[?] 74431[?] 369852[?]  82069[?] -82067[?] 369846[?]  82067[?] -82065[?] -82066[?] 369842[?]  82066[?] 74430[?] 369838[?]  82065[?] -82063[?] 369832[?]  82063[?] -82061[?] -82062[?] 369828[?]  82062[?] 74429[?] 369824[?]  82061[?] -82059[?] 369818[?]  82059[?] -82057[?] -82058[?] 369814[?]  82058[?] 74428[?] 369810[?]  82057[?] -82055[?] 369804[?]  82055[?] -82053[?] -82054[?] 369800[?]  82054[?] 74427[?] 369796[?]  82053[?] -82051[?] 369790[?]  82051[?] -82049[?] -82050[?] 369786[?]  82050[?] 74426[?] 369782[?]  82049[?] -82047[?] 369776[?]  82047[?] -82045[?] -82046[?] 369772[?]  82046[?] 74425[?] 369768[?]  82045[?] -82043[?] 369762[?]  82043[?] -82041[?] -82042[?] 369758[?]  82042[?] 74424[?] 369754[?]  82041[?] -82039[?] 369748[?]  82039[?] -82037[?] -82038[?] 369744[?]  82038[?] 74423[?] 369740[?]  82037[?] -82035[?] 369734[?]  82035[?] -82033[?] -82034[?] 369730[?]  82034[?] 74422[?] 369726[?]  82033[?] -82031[?] 369720[?]  82031[?] -82029[?] -82030[?] 369716[?]  82030[?] 74421[?] 369712[?]  82029[?] -82027[?] 369706[?]  82027[?] -82025[?] -82026[?] 369702[?]  82026[?] 74420[?] 369698[?]  82025[?] -82023[?] 369693[?]  82023[?] -82021[?] -82022[?] 369689[?]  82022[?] -74419[?] 369686[?]  82021[?] -82019[?] 369680[?]  82019[?] -82017[?] -82018[?] 369676[?]  82018[?] 74418[?] 369672[?]  82017[?] -82016[?] 369667[?]  82016[?] -74417[?] 369660[?]  76734[?] -76718[?] 356576[?]  76726[?] -76734[?] 356575[?]  76733[?] -76734[?] 356574[?]  76725[?] -76733[?] 356572[?]  76732[?] -76733[?] 356571[?]  76724[?] -76732[?] 356569[?]  76731[?] -76732[?] 356568[?]  76723[?] -76731[?] 356566[?]  76730[?] -76731[?] 356565[?]  76722[?] -76730[?] 356563[?]  76729[?] -76730[?] 356562[?]  76721[?] -76729[?] 356560[?]  -73733[?] -76726[?] 356552[?]  -73732[?] -76725[?] 356550[?]  73731[?] -76724[?] 356548[?]  -73730[?] -76723[?] 356546[?]  73729[?] -76722[?] 356544[?]  -73728[?] -76721[?] 356542[?]  74928[?] 75120[?] 353712[?]  -75120[?] 75118[?] 75119[?] 353705[?]  -75118[?] 75116[?] 353704[?]  -75119[?] 74445[?] 353701[?]  -75116[?] 75114[?] 75115[?] 353691[?]  -75114[?] 75112[?] 353690[?]  -75115[?] 74444[?] 353687[?]  -75112[?] 75110[?] 75111[?] 353677[?]  -75110[?] 75108[?] 353676[?]  -75111[?] 74443[?] 353673[?]  -75108[?] 75106[?] 75107[?] 353663[?]  -75106[?] 75104[?] 353662[?]  -75107[?] 74442[?] 353659[?]  -75104[?] 75102[?] 75103[?] 353649[?]  -75102[?] 75100[?] 353648[?]  -75103[?] 74441[?] 353645[?]  -75100[?] 75098[?] 75099[?] 353635[?]  -75098[?] 75096[?] 353634[?]  -75099[?] 74440[?] 353631[?]  -75096[?] 75094[?] 75095[?] 353621[?]  -75094[?] 75092[?] 353620[?]  -75095[?] 74439[?] 353617[?]  -75092[?] 75090[?] 75091[?] 353607[?]  -75090[?] 75088[?] 353606[?]  -75091[?] 74438[?] 353603[?]  -75088[?] 75086[?] 75087[?] 353593[?]  -75086[?] 75084[?] 353592[?]  -75087[?] 74437[?] 353589[?]  -75084[?] 75082[?] 75083[?] 353579[?]  -75082[?] 75080[?] 353578[?]  -75083[?] 74436[?] 353575[?]  -75080[?] 75078[?] 75079[?] 353565[?]  -75078[?] 75076[?] 353564[?]  -75079[?] 74435[?] 353561[?]  -75076[?] 75074[?] 75075[?] 353551[?]  -75074[?] 75072[?] 353550[?]  -75075[?] 74434[?] 353547[?]  -75072[?] 75070[?] 75071[?] 353537[?]  -75070[?] 75068[?] 353536[?]  -75071[?] 74433[?] 353533[?]  -75068[?] 75066[?] 75067[?] 353523[?]  -75066[?] 75064[?] 353522[?]  -75067[?] 74432[?] 353519[?]  -75064[?] 75062[?] 75063[?] 353509[?]  -75062[?] 75060[?] 353508[?]  -75063[?] 74431[?] 353505[?]  -75060[?] 75058[?] 75059[?] 353495[?]  -75058[?] 75056[?] 353494[?]  -75059[?] 74430[?] 353491[?]  -75056[?] 75054[?] 75055[?] 353481[?]  -75054[?] 75052[?] 353480[?]  -75055[?] 74429[?] 353477[?]  -75052[?] 75050[?] 75051[?] 353467[?]  -75050[?] 75048[?] 353466[?]  -75051[?] 74428[?] 353463[?]  -75048[?] 75046[?] 75047[?] 353453[?]  -75046[?] 75044[?] 353452[?]  -75047[?] 74427[?] 353449[?]  -75044[?] 75042[?] 75043[?] 353439[?]  -75042[?] 75040[?] 353438[?]  -75043[?] 74426[?] 353435[?]  -75040[?] 75038[?] 75039[?] 353425[?]  -75038[?] 75036[?] 353424[?]  -75039[?] 74425[?] 353421[?]  -75036[?] 75034[?] 75035[?] 353411[?]  -75034[?] 75032[?] 353410[?]  -75035[?] 74424[?] 353407[?]  -75032[?] 75030[?] 75031[?] 353397[?]  -75030[?] 75028[?] 353396[?]  -75031[?] 74423[?] 353393[?]  -75028[?] 75026[?] 75027[?] 353383[?]  -75026[?] 75024[?] 353382[?]  -75027[?] 74422[?] 353379[?]  -75024[?] 75022[?] 75023[?] 353369[?]  -75022[?] 75020[?] 353368[?]  -75023[?] 74421[?] 353365[?]  -75020[?] 75018[?] 353356[?]  -75018[?] 75017[?] 353354[?]  -75017[?] 74420[?] 353351[?]  74703[?] 74895[?] 353271[?]  -74895[?] 74893[?] 74894[?] 353264[?]  -74893[?] 74891[?] 353263[?]  -74894[?] 74445[?] 353260[?]  -74891[?] 74889[?] 74890[?] 353250[?]  -74889[?] 74887[?] 353249[?]  -74890[?] 74444[?] 353246[?]  -74887[?] 74885[?] 74886[?] 353236[?]  -74885[?] 74883[?] 353235[?]  -74886[?] 74443[?] 353232[?]  -74883[?] 74881[?] 74882[?] 353222[?]  -74881[?] 74879[?] 353221[?]  -74882[?] 74442[?] 353218[?]  -74879[?] 74877[?] 74878[?] 353208[?]  -74877[?] 74875[?] 353207[?]  -74878[?] 74441[?] 353204[?]  -74875[?] 74873[?] 74874[?] 353194[?]  -74873[?] 74871[?] 353193[?]  -74874[?] 74440[?] 353190[?]  -74871[?] 74869[?] 74870[?] 353180[?]  -74869[?] 74867[?] 353179[?]  -74870[?] 74439[?] 353176[?]  -74867[?] 74865[?] 74866[?] 353166[?]  -74865[?] 74863[?] 353165[?]  -74866[?] 74438[?] 353162[?]  -74863[?] 74861[?] 74862[?] 353152[?]  -74861[?] 74859[?] 353151[?]  -74862[?] 74437[?] 353148[?]  -74859[?] 74857[?] 74858[?] 353138[?]  -74857[?] 74855[?] 353137[?]  -74858[?] 74436[?] 353134[?]  -74855[?] 74853[?] 74854[?] 353124[?]  -74853[?] 74851[?] 353123[?]  -74854[?] 74435[?] 353120[?]  -74851[?] 74849[?] 74850[?] 353110[?]  -74849[?] 74847[?] 353109[?]  -74850[?] 74434[?] 353106[?]  -74847[?] 74845[?] 74846[?] 353096[?]  -74845[?] 74843[?] 353095[?]  -74846[?] 74433[?] 353092[?]  -74843[?] 74841[?] 74842[?] 353082[?]  -74841[?] 74839[?] 353081[?]  -74842[?] 74432[?] 353078[?]  -74839[?] 74837[?] 74838[?] 353068[?]  -74837[?] 74835[?] 353067[?]  -74838[?] 74431[?] 353064[?]  -74835[?] 74833[?] 74834[?] 353054[?]  -74833[?] 74831[?] 353053[?]  -74834[?] 74430[?] 353050[?]  -74831[?] 74829[?] 74830[?] 353040[?]  -74829[?] 74827[?] 353039[?]  -74830[?] 74429[?] 353036[?]  -74827[?] 74825[?] 74826[?] 353026[?]  -74825[?] 74823[?] 353025[?]  -74826[?] 74428[?] 353022[?]  -74823[?] 74821[?] 74822[?] 353012[?]  -74821[?] 74819[?] 353011[?]  -74822[?] 74427[?] 353008[?]  -74819[?] 74817[?] 74818[?] 352998[?]  -74817[?] 74815[?] 352997[?]  -74818[?] 74426[?] 352994[?]  -74815[?] 74813[?] 74814[?] 352984[?]  -74813[?] 74811[?] 352983[?]  -74814[?] 74425[?] 352980[?]  -74811[?] 74809[?] 74810[?] 352970[?]  -74809[?] 74807[?] 352969[?]  -74810[?] 74424[?] 352966[?]  -74807[?] 74805[?] 74806[?] 352956[?]  -74805[?] 74803[?] 352955[?]  -74806[?] 74423[?] 352952[?]  -74803[?] 74801[?] 74802[?] 352942[?]  -74801[?] 74799[?] 352941[?]  -74802[?] 74422[?] 352938[?]  -74799[?] 74797[?] 74798[?] 352928[?]  -74797[?] 74795[?] 352927[?]  -74798[?] 74421[?] 352924[?]  -74795[?] 74793[?] 352915[?]  -74793[?] 74792[?] 352913[?]  -74792[?] 74420[?] 352910[?]  74478[?] 74670[?] 352830[?]  -74670[?] 74668[?] 74669[?] 352823[?]  -74668[?] 74666[?] 352822[?]  -74669[?] 74445[?] 352819[?]  -74666[?] 74664[?] 74665[?] 352809[?]  -74664[?] 74662[?] 352808[?]  -74665[?] 74444[?] 352805[?]  -74662[?] 74660[?] 74661[?] 352795[?]  -74660[?] 74658[?] 352794[?]  -74661[?] 74443[?] 352791[?]  -74658[?] 74656[?] 74657[?] 352781[?]  -74656[?] 74654[?] 352780[?]  -74657[?] 74442[?] 352777[?]  -74654[?] 74652[?] 74653[?] 352767[?]  -74652[?] 74650[?] 352766[?]  -74653[?] 74441[?] 352763[?]  -74650[?] 74648[?] 74649[?] 352753[?]  -74648[?] 74646[?] 352752[?]  -74649[?] 74440[?] 352749[?]  -74646[?] 74644[?] 74645[?] 352739[?]  -74644[?] 74642[?] 352738[?]  -74645[?] 74439[?] 352735[?]  -74642[?] 74640[?] 74641[?] 352725[?]  -74640[?] 74638[?] 352724[?]  -74641[?] 74438[?] 352721[?]  -74638[?] 74636[?] 74637[?] 352711[?]  -74636[?] 74634[?] 352710[?]  -74637[?] 74437[?] 352707[?]  -74634[?] 74632[?] 74633[?] 352697[?]  -74632[?] 74630[?] 352696[?]  -74633[?] 74436[?] 352693[?]  -74630[?] 74628[?] 74629[?] 352683[?]  -74628[?] 74626[?] 352682[?]  -74629[?] 74435[?] 352679[?]  -74626[?] 74624[?] 74625[?] 352669[?]  -74624[?] 74622[?] 352668[?]  -74625[?] 74434[?] 352665[?]  -74622[?] 74620[?] 74621[?] 352655[?]  -74620[?] 74618[?] 352654[?]  -74621[?] 74433[?] 352651[?]  -74618[?] 74616[?] 74617[?] 352641[?]  -74616[?] 74614[?] 352640[?]  -74617[?] 74432[?] 352637[?]  -74614[?] 74612[?] 74613[?] 352627[?]  -74612[?] 74610[?] 352626[?]  -74613[?] 74431[?] 352623[?]  -74610[?] 74608[?] 74609[?] 352613[?]  -74608[?] 74606[?] 352612[?]  -74609[?] 74430[?] 352609[?]  -74606[?] 74604[?] 74605[?] 352599[?]  -74604[?] 74602[?] 352598[?]  -74605[?] 74429[?] 352595[?]  -74602[?] 74600[?] 74601[?] 352585[?]  -74600[?] 74598[?] 352584[?]  -74601[?] 74428[?] 352581[?]  -74598[?] 74596[?] 74597[?] 352571[?]  -74596[?] 74594[?] 352570[?]  -74597[?] 74427[?] 352567[?]  -74594[?] 74592[?] 74593[?] 352557[?]  -74592[?] 74590[?] 352556[?]  -74593[?] 74426[?] 352553[?]  -74590[?] 74588[?] 74589[?] 352543[?]  -74588[?] 74586[?] 352542[?]  -74589[?] 74425[?] 352539[?]  -74586[?] 74584[?] 74585[?] 352529[?]  -74584[?] 74582[?] 352528[?]  -74585[?] 74424[?] 352525[?]  -74582[?] 74580[?] 74581[?] 352515[?]  -74580[?] 74578[?] 352514[?]  -74581[?] 74423[?] 352511[?]  -74578[?] 74576[?] 74577[?] 352501[?]  -74576[?] 74574[?] 352500[?]  -74577[?] 74422[?] 352497[?]  -74574[?] 74572[?] 74573[?] 352487[?]  -74572[?] 74570[?] 352486[?]  -74573[?] 74421[?] 352483[?]  -74570[?] 74568[?] 352474[?]  -74568[?] 74567[?] 352472[?]  -74567[?] 74420[?] 352469[?]  -74445[?] 74413[?] 352391[?]  -74444[?] 74413[?] 352389[?]  -74443[?] 74413[?] 352387[?]  -74442[?] 74413[?] 352385[?]  -74441[?] 74413[?] 352383[?]  -74440[?] 74413[?] 352381[?]  -74439[?] 74413[?] 352379[?]  -74438[?] 74413[?] 352377[?]  -74437[?] 74413[?] 352375[?]  -74436[?] 74413[?] 352373[?]  -74435[?] 74413[?] 352371[?]  -74434[?] 74413[?] 352369[?]  -74433[?] 74413[?] 352367[?]  -74432[?] 74413[?] 352365[?]  -74431[?] 74413[?] 352363[?]  -74430[?] 74413[?] 352361[?]  -74429[?] 74413[?] 352359[?]  -74428[?] 74413[?] 352357[?]  -74427[?] 74413[?] 352355[?]  -74426[?] 74413[?] 352353[?]  -74425[?] 74413[?] 352351[?]  -74424[?] 74413[?] 352349[?]  -74423[?] 74413[?] 352347[?]  -74422[?] 74413[?] 352345[?]  -74421[?] 74413[?] 352343[?]  -74420[?] 74412[?] 352341[?]  74419[?] -74411[?] 352340[?]  -74418[?] 74410[?] 352337[?]  74417[?] -74409[?] 352336[?]  -74413[?] 74333[?] 74332[?] 352328[?]  -74412[?] 74333[?] 74331[?] 352324[?]  74411[?] 74333[?] -74330[?] 352319[?]  -74410[?] 74333[?] 74329[?] 352316[?]  74409[?] 74333[?] -74328[?] 352311[?]  -74333[?] 74349[?] 352103[?]  -74349[?] 74348[?] 352101[?]  -74348[?] 74340[?] 352099[?]  -74340[?] 74331[?] 352077[?]  -74332[?] 74203[?] 74202[?] 352063[?]  -74331[?] 74203[?] 74201[?] 352059[?]  74330[?] 74203[?] -74200[?] 352054[?]  -74329[?] 74203[?] 74199[?] 352051[?]  74328[?] 74203[?] -74198[?] 352046[?]  -74203[?] 74219[?] 351701[?]  -74219[?] 74218[?] 351699[?]  -74218[?] 74210[?] 351697[?]  -74210[?] 74201[?] 351675[?]  -74202[?] 74194[?] 73734[?] 351661[?]  -74201[?] 74193[?] 73734[?] 351657[?]  74200[?] -74192[?] 73734[?] 351652[?]  -74199[?] 74191[?] 73734[?] 351649[?]  74198[?] -74190[?] 73734[?] 351644[?]  -74194[?] 73985[?] 73976[?] 351629[?]  -74193[?] 73985[?] 73975[?] 351625[?]  74192[?] 73985[?] -73974[?] 351620[?]  -74191[?] 73985[?] 73973[?] 351617[?]  74190[?] 73985[?] -73972[?] 351612[?]  -73985[?] 74001[?] 351388[?]  -74001[?] 74000[?] 351386[?]  -74000[?] 73999[?] 351383[?]  -73999[?] 73998[?] 351380[?]  -73998[?] 73997[?] 351377[?]  -73997[?] 73996[?] 351374[?]  -73996[?] 73988[?] 351372[?]  -73988[?] 73971[?] 351354[?]  -73976[?] 73733[?] -73896[?] 351346[?]  -73975[?] 73732[?] -73896[?] 351342[?]  73974[?] -73731[?] -73896[?] 351337[?]  -73973[?] 73730[?] -73896[?] 351334[?]  73972[?] -73729[?] -73896[?] 351329[?]  -73971[?] 73728[?] -73896[?] 351326[?]  -115769[?] 122826[?] 
1.46/1.07	c qxplain 0/576
1.85/1.33	c qxplain 289/576
1.96/1.49	c qxplain 433/576
2.23/1.67	c qxplain 505/576
2.48/1.83	c qxplain 541/576
2.59/1.98	c qxplain 559/576
2.80/2.14	c qxplain 568/576
2.89/2.29	c qxplain 573/576
3.09/2.44	c qxplain 575/576
3.18/2.60	c qxplain 576/576
3.30/2.86	c -115769[?] 122826[?] is mandatory 
3.30/2.86	c qxplain 575/575
3.62/3.02	c 351326[?] -73971[?] 73728[?] -73896[?]  is mandatory 
3.62/3.02	c qxplain 573/574
3.81/3.18	c qxplain 574/574
3.91/3.34	c 351329[?] 73972[?] -73729[?] -73896[?]  is mandatory 
3.91/3.34	c qxplain 573/573
3.91/3.49	c 351334[?] -73973[?] 73730[?] -73896[?]  is mandatory 
3.91/3.49	c qxplain 568/572
3.91/3.65	c qxplain 571/572
3.91/3.80	c qxplain 572/572
3.91/3.95	c 351337[?] 73974[?] -73731[?] -73896[?]  is mandatory 
3.91/3.95	c qxplain 571/571
3.91/4.11	c 351342[?] -73975[?] 73732[?] -73896[?]  is mandatory 
3.91/4.11	c qxplain 568/570
3.91/4.26	c qxplain 570/570
3.91/4.41	c 351346[?] -73976[?] 73733[?] -73896[?]  is mandatory 
3.91/4.41	c qxplain 568/569
3.91/4.56	c qxplain 569/569
5.45/4.71	c 351354[?] -73988[?] 73971[?]  is mandatory 
5.45/4.71	c qxplain 568/568
5.55/4.86	c 351372[?] -73996[?] 73988[?]  is mandatory 
5.55/4.86	c qxplain 559/567
5.75/5.01	c qxplain 564/567
5.85/5.16	c qxplain 566/567
6.05/5.32	c qxplain 567/567
6.15/5.47	c 351374[?] -73997[?] 73996[?]  is mandatory 
6.15/5.47	c qxplain 566/566
6.35/5.62	c 351377[?] -73998[?] 73997[?]  is mandatory 
6.35/5.62	c qxplain 564/565
6.46/5.77	c qxplain 565/565
6.65/5.92	c 351380[?] -73999[?] 73998[?]  is mandatory 
6.65/5.92	c qxplain 564/564
6.76/6.08	c 351383[?] -74000[?] 73999[?]  is mandatory 
6.76/6.08	c qxplain 559/563
6.95/6.23	c qxplain 562/563
7.05/6.38	c qxplain 563/563
7.25/6.53	c 351386[?] -74001[?] 74000[?]  is mandatory 
7.25/6.53	c qxplain 562/562
7.35/6.68	c 351388[?] -73985[?] 74001[?]  is mandatory 
7.35/6.68	c qxplain 559/561
7.56/6.83	c qxplain 561/561
7.66/6.98	c 351612[?] 74190[?] 73985[?] -73972[?]  is mandatory 
7.66/6.98	c qxplain 559/560
7.86/7.13	c qxplain 560/560
7.95/7.29	c 351617[?] -74191[?] 73985[?] 73973[?]  is mandatory 
7.95/7.29	c qxplain 559/559
8.15/7.44	c 351620[?] 74192[?] 73985[?] -73974[?]  is mandatory 
8.15/7.44	c qxplain 541/558
8.26/7.59	c qxplain 550/558
8.45/7.74	c qxplain 555/558
8.55/7.89	c qxplain 557/558
8.75/8.04	c qxplain 558/558
8.85/8.19	c 351625[?] -74193[?] 73985[?] 73975[?]  is mandatory 
8.85/8.19	c qxplain 557/557
9.06/8.34	c 351629[?] -74194[?] 73985[?] 73976[?]  is mandatory 
9.06/8.34	c qxplain 555/556
9.25/8.50	c qxplain 556/556
9.36/8.65	c 351644[?] 74198[?] -74190[?] 73734[?]  is mandatory 
9.36/8.65	c qxplain 555/555
9.55/8.80	c 351649[?] -74199[?] 74191[?] 73734[?]  is mandatory 
9.55/8.80	c qxplain 550/554
9.66/8.95	c qxplain 553/554
9.76/9.10	c qxplain 554/554
9.96/9.25	c 351652[?] 74200[?] -74192[?] 73734[?]  is mandatory 
9.96/9.25	c qxplain 553/553
10.16/9.41	c 351657[?] -74201[?] 74193[?] 73734[?]  is mandatory 
10.16/9.41	c qxplain 550/552
10.25/9.56	c qxplain 552/552
10.45/9.71	c 351661[?] -74202[?] 74194[?] 73734[?]  is mandatory 
10.45/9.71	c qxplain 550/551
10.56/9.86	c qxplain 551/551
10.75/10.01	c 351675[?] -74210[?] 74201[?]  is mandatory 
10.75/10.01	c qxplain 550/550
10.86/10.16	c 351697[?] -74218[?] 74210[?]  is mandatory 
10.86/10.16	c qxplain 541/549
11.05/10.31	c qxplain 546/549
11.16/10.46	c qxplain 548/549
11.35/10.61	c qxplain 549/549
11.45/10.77	c 351699[?] -74219[?] 74218[?]  is mandatory 
11.45/10.77	c qxplain 548/548
11.66/10.92	c 351701[?] -74203[?] 74219[?]  is mandatory 
11.66/10.92	c qxplain 546/547
11.75/11.07	c qxplain 547/547
11.96/11.22	c 352046[?] 74328[?] 74203[?] -74198[?]  is mandatory 
11.96/11.22	c qxplain 546/546
12.07/11.37	c 352051[?] -74329[?] 74203[?] 74199[?]  is mandatory 
12.07/11.37	c qxplain 541/545
12.25/11.52	c qxplain 544/545
12.78/11.88	c qxplain 545/545
12.88/11.99	c 352054[?] 74330[?] 74203[?] -74200[?]  is mandatory 
12.88/11.99	c qxplain 544/544
12.98/12.09	c 352059[?] -74331[?] 74203[?] 74201[?]  is mandatory 
12.98/12.10	c qxplain 541/543
13.18/12.20	c qxplain 543/543
13.29/12.31	c 352063[?] -74332[?] 74203[?] 74202[?]  is mandatory 
13.29/12.31	c qxplain 541/542
13.39/12.41	c qxplain 542/542
13.48/12.52	c 352077[?] -74340[?] 74331[?]  is mandatory 
13.48/12.52	c qxplain 541/541
13.59/12.62	c 352099[?] -74348[?] 74340[?]  is mandatory 
13.59/12.62	c qxplain 505/540
13.69/12.73	c qxplain 523/540
13.78/12.84	c qxplain 532/540
13.88/12.94	c qxplain 537/540
13.98/13.05	c qxplain 539/540
14.08/13.15	c qxplain 540/540
14.18/13.26	c 352101[?] -74349[?] 74348[?]  is mandatory 
14.18/13.26	c qxplain 539/539
14.28/13.37	c 352103[?] -74333[?] 74349[?]  is mandatory 
14.28/13.37	c qxplain 537/538
14.39/13.47	c qxplain 538/538
14.49/13.58	c 352311[?] 74409[?] 74333[?] -74328[?]  is mandatory 
14.49/13.58	c qxplain 537/537
14.58/13.68	c 352316[?] -74410[?] 74333[?] 74329[?]  is mandatory 
14.58/13.68	c qxplain 532/536
14.68/13.79	c qxplain 535/536
14.88/13.90	c qxplain 536/536
14.98/14.00	c 352319[?] 74411[?] 74333[?] -74330[?]  is mandatory 
14.98/14.00	c qxplain 535/535
15.08/14.11	c 352324[?] -74412[?] 74333[?] 74331[?]  is mandatory 
15.08/14.11	c qxplain 532/534
15.18/14.22	c qxplain 534/534
15.28/14.32	c 352328[?] -74413[?] 74333[?] 74332[?]  is mandatory 
15.28/14.32	c qxplain 532/533
15.38/14.43	c qxplain 533/533
15.49/14.54	c 352336[?] 74417[?] -74409[?]  is mandatory 
15.49/14.54	c qxplain 532/532
15.59/14.64	c 352337[?] -74418[?] 74410[?]  is mandatory 
15.59/14.64	c qxplain 523/531
15.68/14.75	c qxplain 528/531
15.78/14.85	c qxplain 530/531
15.88/14.96	c qxplain 531/531
15.98/15.07	c 352340[?] 74419[?] -74411[?]  is mandatory 
15.98/15.07	c qxplain 530/530
16.08/15.17	c 352341[?] -74420[?] 74412[?]  is mandatory 
16.08/15.17	c qxplain 528/529
16.18/15.28	c qxplain 529/529
16.28/15.38	c 352343[?] -74421[?] 74413[?]  is mandatory 
16.28/15.38	c qxplain 528/528
16.38/15.49	c 352345[?] -74422[?] 74413[?]  is mandatory 
16.38/15.49	c qxplain 523/527
16.48/15.60	c qxplain 526/527
16.59/15.70	c qxplain 527/527
16.78/15.81	c 352347[?] -74423[?] 74413[?]  is mandatory 
16.78/15.81	c qxplain 526/526
16.88/15.91	c 352349[?] -74424[?] 74413[?]  is mandatory 
16.88/15.91	c qxplain 523/525
16.98/16.02	c qxplain 525/525
17.08/16.13	c 352351[?] -74425[?] 74413[?]  is mandatory 
17.08/16.13	c qxplain 523/524
17.18/16.23	c qxplain 524/524
17.28/16.34	c 352353[?] -74426[?] 74413[?]  is mandatory 
17.28/16.34	c qxplain 523/523
17.38/16.45	c 352355[?] -74427[?] 74413[?]  is mandatory 
17.38/16.45	c qxplain 505/522
17.48/16.55	c qxplain 514/522
17.58/16.66	c qxplain 519/522
17.69/16.77	c qxplain 521/522
17.79/16.87	c qxplain 522/522
17.88/16.98	c 352357[?] -74428[?] 74413[?]  is mandatory 
17.88/16.98	c qxplain 521/521
17.98/17.08	c 352359[?] -74429[?] 74413[?]  is mandatory 
17.98/17.08	c qxplain 519/520
18.08/17.19	c qxplain 520/520
18.18/17.30	c 352361[?] -74430[?] 74413[?]  is mandatory 
18.18/17.30	c qxplain 519/519
18.38/17.40	c 352363[?] -74431[?] 74413[?]  is mandatory 
18.38/17.40	c qxplain 514/518
18.48/17.51	c qxplain 517/518
18.59/17.62	c qxplain 518/518
18.70/17.72	c 352365[?] -74432[?] 74413[?]  is mandatory 
18.70/17.72	c qxplain 517/517
18.79/17.83	c 352367[?] -74433[?] 74413[?]  is mandatory 
18.79/17.83	c qxplain 514/516
18.89/17.93	c qxplain 516/516
18.99/18.04	c 352369[?] -74434[?] 74413[?]  is mandatory 
18.99/18.04	c qxplain 514/515
19.09/18.15	c qxplain 515/515
19.19/18.25	c 352371[?] -74435[?] 74413[?]  is mandatory 
19.19/18.25	c qxplain 514/514
19.29/18.36	c 352373[?] -74436[?] 74413[?]  is mandatory 
19.29/18.36	c qxplain 505/513
19.39/18.46	c qxplain 510/513
19.49/18.57	c qxplain 512/513
19.59/18.68	c qxplain 513/513
19.69/18.78	c 352375[?] -74437[?] 74413[?]  is mandatory 
19.69/18.78	c qxplain 512/512
19.79/18.89	c 352377[?] -74438[?] 74413[?]  is mandatory 
19.79/18.89	c qxplain 510/511
19.89/19.00	c qxplain 511/511
20.09/19.10	c 352379[?] -74439[?] 74413[?]  is mandatory 
20.09/19.10	c qxplain 510/510
20.19/19.21	c 352381[?] -74440[?] 74413[?]  is mandatory 
20.19/19.21	c qxplain 505/509
20.28/19.31	c qxplain 508/509
20.38/19.42	c qxplain 509/509
20.48/19.52	c 352383[?] -74441[?] 74413[?]  is mandatory 
20.48/19.53	c qxplain 508/508
20.58/19.63	c 352385[?] -74442[?] 74413[?]  is mandatory 
20.58/19.63	c qxplain 505/507
20.68/19.74	c qxplain 507/507
20.78/19.84	c 352387[?] -74443[?] 74413[?]  is mandatory 
20.78/19.84	c qxplain 505/506
20.88/19.95	c qxplain 506/506
21.39/20.27	c 352389[?] -74444[?] 74413[?]  is mandatory 
21.39/20.27	c qxplain 505/505
21.49/20.38	c 352391[?] -74445[?] 74413[?]  is mandatory 
21.49/20.38	c qxplain 433/504
21.59/20.49	c qxplain 469/504
21.69/20.59	c qxplain 487/504
21.89/20.70	c qxplain 496/504
21.99/20.81	c qxplain 501/504
22.09/20.91	c qxplain 503/504
22.19/21.02	c qxplain 504/504
22.30/21.13	c 352469[?] -74567[?] 74420[?]  is mandatory 
22.30/21.13	c qxplain 503/503
22.30/21.23	c 352472[?] -74568[?] 74567[?]  is mandatory 
22.30/21.23	c qxplain 501/502
22.40/21.34	c qxplain 502/502
22.59/21.45	c 352474[?] -74570[?] 74568[?]  is mandatory 
22.59/21.45	c qxplain 501/501
22.69/21.55	c 352483[?] -74573[?] 74421[?]  is mandatory 
22.69/21.55	c qxplain 496/500
22.79/21.66	c qxplain 499/500
22.89/21.77	c qxplain 500/500
22.99/21.87	c 352486[?] -74572[?] 74570[?]  is mandatory 
22.99/21.87	c qxplain 499/499
23.09/21.98	c 352487[?] -74574[?] 74572[?] 74573[?]  is mandatory 
23.09/21.98	c qxplain 496/498
23.19/22.09	c qxplain 498/498
23.29/22.19	c 352497[?] -74577[?] 74422[?]  is mandatory 
23.29/22.19	c qxplain 496/497
23.40/22.30	c qxplain 497/497
23.59/22.41	c 352500[?] -74576[?] 74574[?]  is mandatory 
23.59/22.41	c qxplain 496/496
23.69/22.52	c 352501[?] -74578[?] 74576[?] 74577[?]  is mandatory 
23.69/22.52	c qxplain 487/495
23.79/22.62	c qxplain 492/495
23.89/22.73	c qxplain 494/495
23.99/22.84	c qxplain 495/495
24.09/22.94	c 352511[?] -74581[?] 74423[?]  is mandatory 
24.09/22.94	c qxplain 494/494
24.19/23.05	c 352514[?] -74580[?] 74578[?]  is mandatory 
24.19/23.05	c qxplain 492/493
24.29/23.16	c qxplain 493/493
24.39/23.26	c 352515[?] -74582[?] 74580[?] 74581[?]  is mandatory 
24.39/23.26	c qxplain 492/492
24.50/23.37	c 352525[?] -74585[?] 74424[?]  is mandatory 
24.50/23.37	c qxplain 487/491
24.60/23.48	c qxplain 490/491
24.69/23.59	c qxplain 491/491
24.79/23.69	c 352528[?] -74584[?] 74582[?]  is mandatory 
24.79/23.69	c qxplain 490/490
24.99/23.80	c 352529[?] -74586[?] 74584[?] 74585[?]  is mandatory 
24.99/23.80	c qxplain 487/489
25.09/23.91	c qxplain 489/489
25.19/24.01	c 352539[?] -74589[?] 74425[?]  is mandatory 
25.19/24.01	c qxplain 487/488
25.29/24.12	c qxplain 488/488
25.39/24.23	c 352542[?] -74588[?] 74586[?]  is mandatory 
25.39/24.23	c qxplain 487/487
25.49/24.34	c 352543[?] -74590[?] 74588[?] 74589[?]  is mandatory 
25.49/24.34	c qxplain 469/486
25.60/24.44	c qxplain 478/486
25.70/24.55	c qxplain 483/486
25.79/24.66	c qxplain 485/486
25.89/24.76	c qxplain 486/486
25.99/24.87	c 352553[?] -74593[?] 74426[?]  is mandatory 
25.99/24.87	c qxplain 485/485
26.09/24.98	c 352556[?] -74592[?] 74590[?]  is mandatory 
26.09/24.98	c qxplain 483/484
26.19/25.08	c qxplain 484/484
26.29/25.19	c 352557[?] -74594[?] 74592[?] 74593[?]  is mandatory 
26.40/25.20	c qxplain 483/483
26.50/25.30	c 352567[?] -74597[?] 74427[?]  is mandatory 
26.50/25.30	c qxplain 478/482
26.60/25.41	c qxplain 481/482
26.70/25.52	c qxplain 482/482
26.80/25.62	c 352570[?] -74596[?] 74594[?]  is mandatory 
26.80/25.62	c qxplain 481/481
26.90/25.73	c 352571[?] -74598[?] 74596[?] 74597[?]  is mandatory 
26.90/25.73	c qxplain 478/480
27.00/25.84	c qxplain 480/480
27.10/25.94	c 352581[?] -74601[?] 74428[?]  is mandatory 
27.10/25.94	c qxplain 478/479
27.20/26.05	c qxplain 479/479
27.30/26.16	c 352584[?] -74600[?] 74598[?]  is mandatory 
27.30/26.16	c qxplain 478/478
27.40/26.26	c 352585[?] -74602[?] 74600[?] 74601[?]  is mandatory 
27.40/26.26	c qxplain 469/477
27.54/26.37	c qxplain 474/477
27.60/26.48	c qxplain 476/477
27.70/26.59	c qxplain 477/477
27.80/26.69	c 352595[?] -74605[?] 74429[?]  is mandatory 
27.80/26.69	c qxplain 476/476
28.00/26.80	c 352598[?] -74604[?] 74602[?]  is mandatory 
28.00/26.80	c qxplain 474/475
28.10/26.91	c qxplain 475/475
28.20/27.01	c 352599[?] -74606[?] 74604[?] 74605[?]  is mandatory 
28.20/27.01	c qxplain 474/474
28.30/27.12	c 352609[?] -74609[?] 74430[?]  is mandatory 
28.30/27.12	c qxplain 469/473
28.40/27.23	c qxplain 472/473
28.50/27.33	c qxplain 473/473
28.60/27.44	c 352612[?] -74608[?] 74606[?]  is mandatory 
28.60/27.44	c qxplain 472/472
28.70/27.55	c 352613[?] -74610[?] 74608[?] 74609[?]  is mandatory 
28.70/27.55	c qxplain 469/471
28.80/27.65	c qxplain 471/471
28.90/27.76	c 352623[?] -74613[?] 74431[?]  is mandatory 
28.90/27.76	c qxplain 469/470
29.00/27.87	c qxplain 470/470
29.10/27.99	c 352626[?] -74612[?] 74610[?]  is mandatory 
29.10/27.99	c qxplain 469/469
29.30/28.10	c 352627[?] -74614[?] 74612[?] 74613[?]  is mandatory 
29.30/28.10	c qxplain 433/468
29.40/28.21	c qxplain 451/468
29.50/28.31	c qxplain 460/468
29.98/28.60	c qxplain 465/468
30.08/28.71	c qxplain 467/468
30.18/28.81	c qxplain 468/468
30.28/28.92	c 352637[?] -74617[?] 74432[?]  is mandatory 
30.28/28.92	c qxplain 467/467
30.38/29.02	c 352640[?] -74616[?] 74614[?]  is mandatory 
30.38/29.02	c qxplain 465/466
30.48/29.13	c qxplain 466/466
30.58/29.24	c 352641[?] -74618[?] 74616[?] 74617[?]  is mandatory 
30.58/29.24	c qxplain 465/465
30.68/29.34	c 352651[?] -74621[?] 74433[?]  is mandatory 
30.68/29.34	c qxplain 460/464
30.78/29.45	c qxplain 463/464
30.88/29.55	c qxplain 464/464
30.98/29.66	c 352654[?] -74620[?] 74618[?]  is mandatory 
30.98/29.66	c qxplain 463/463
31.08/29.76	c 352655[?] -74622[?] 74620[?] 74621[?]  is mandatory 
31.08/29.76	c qxplain 460/462
31.18/29.87	c qxplain 462/462
31.28/29.98	c 352665[?] -74625[?] 74434[?]  is mandatory 
31.28/29.98	c qxplain 460/461
31.38/30.08	c qxplain 461/461
31.48/30.19	c 352668[?] -74624[?] 74622[?]  is mandatory 
31.48/30.19	c qxplain 460/460
31.58/30.29	c 352669[?] -74626[?] 74624[?] 74625[?]  is mandatory 
31.58/30.29	c qxplain 451/459
31.78/30.40	c qxplain 456/459
31.87/30.50	c qxplain 458/459
31.97/30.61	c qxplain 459/459
32.07/30.71	c 352679[?] -74629[?] 74435[?]  is mandatory 
32.07/30.71	c qxplain 458/458
32.17/30.82	c 352682[?] -74628[?] 74626[?]  is mandatory 
32.17/30.82	c qxplain 456/457
32.27/30.93	c qxplain 457/457
32.38/31.03	c 352683[?] -74630[?] 74628[?] 74629[?]  is mandatory 
32.38/31.03	c qxplain 456/456
32.48/31.14	c 352693[?] -74633[?] 74436[?]  is mandatory 
32.48/31.14	c qxplain 451/455
32.58/31.24	c qxplain 454/455
32.68/31.35	c qxplain 455/455
32.77/31.45	c 352696[?] -74632[?] 74630[?]  is mandatory 
32.77/31.45	c qxplain 454/454
32.87/31.56	c 352697[?] -74634[?] 74632[?] 74633[?]  is mandatory 
32.87/31.56	c qxplain 451/453
32.97/31.66	c qxplain 453/453
33.07/31.77	c 352707[?] -74637[?] 74437[?]  is mandatory 
33.07/31.77	c qxplain 451/452
33.17/31.87	c qxplain 452/452
33.27/31.98	c 352710[?] -74636[?] 74634[?]  is mandatory 
33.27/31.98	c qxplain 451/451
33.37/32.08	c 352711[?] -74638[?] 74636[?] 74637[?]  is mandatory 
33.37/32.08	c qxplain 433/450
33.48/32.19	c qxplain 442/450
33.58/32.30	c qxplain 447/450
33.77/32.40	c qxplain 449/450
33.87/32.51	c qxplain 450/450
33.97/32.61	c 352721[?] -74641[?] 74438[?]  is mandatory 
33.97/32.61	c qxplain 449/449
34.07/32.72	c 352724[?] -74640[?] 74638[?]  is mandatory 
34.07/32.72	c qxplain 447/448
34.18/32.82	c qxplain 448/448
34.28/32.93	c 352725[?] -74642[?] 74640[?] 74641[?]  is mandatory 
34.28/32.93	c qxplain 447/447
34.38/33.03	c 352735[?] -74645[?] 74439[?]  is mandatory 
34.38/33.03	c qxplain 442/446
34.48/33.14	c qxplain 445/446
34.59/33.25	c qxplain 446/446
34.69/33.35	c 352738[?] -74644[?] 74642[?]  is mandatory 
34.69/33.35	c qxplain 445/445
34.78/33.46	c 352739[?] -74646[?] 74644[?] 74645[?]  is mandatory 
34.78/33.46	c qxplain 442/444
34.88/33.56	c qxplain 444/444
34.98/33.67	c 352749[?] -74649[?] 74440[?]  is mandatory 
34.98/33.67	c qxplain 442/443
35.08/33.78	c qxplain 443/443
35.18/33.88	c 352752[?] -74648[?] 74646[?]  is mandatory 
35.18/33.88	c qxplain 442/442
35.28/33.99	c 352753[?] -74650[?] 74648[?] 74649[?]  is mandatory 
35.28/33.99	c qxplain 433/441
35.38/34.09	c qxplain 438/441
35.58/34.20	c qxplain 440/441
35.69/34.30	c qxplain 441/441
35.79/34.41	c 352763[?] -74653[?] 74441[?]  is mandatory 
35.79/34.41	c qxplain 440/440
35.88/34.51	c 352766[?] -74652[?] 74650[?]  is mandatory 
35.88/34.51	c qxplain 438/439
35.98/34.62	c qxplain 439/439
36.08/34.72	c 352767[?] -74654[?] 74652[?] 74653[?]  is mandatory 
36.08/34.72	c qxplain 438/438
36.18/34.83	c 352777[?] -74657[?] 74442[?]  is mandatory 
36.18/34.83	c qxplain 433/437
36.28/34.93	c qxplain 436/437
36.38/35.04	c qxplain 437/437
36.48/35.14	c 352780[?] -74656[?] 74654[?]  is mandatory 
36.48/35.14	c qxplain 436/436
36.58/35.25	c 352781[?] -74658[?] 74656[?] 74657[?]  is mandatory 
36.58/35.25	c qxplain 433/435
36.68/35.36	c qxplain 435/435
36.79/35.46	c 352791[?] -74661[?] 74443[?]  is mandatory 
36.79/35.46	c qxplain 433/434
36.89/35.57	c qxplain 434/434
36.98/35.67	c 352794[?] -74660[?] 74658[?]  is mandatory 
36.98/35.67	c qxplain 433/433
37.08/35.78	c 352795[?] -74662[?] 74660[?] 74661[?]  is mandatory 
37.08/35.78	c qxplain 289/432
37.18/35.88	c qxplain 361/432
37.28/35.99	c qxplain 397/432
37.38/36.10	c qxplain 415/432
37.58/36.20	c qxplain 424/432
37.68/36.31	c qxplain 429/432
37.78/36.41	c qxplain 431/432
37.89/36.52	c qxplain 432/432
37.99/36.62	c 352805[?] -74665[?] 74444[?]  is mandatory 
37.99/36.62	c qxplain 431/431
38.45/36.90	c 352808[?] -74664[?] 74662[?]  is mandatory 
38.45/36.90	c qxplain 429/430
38.55/37.01	c qxplain 430/430
38.65/37.11	c 352809[?] -74666[?] 74664[?] 74665[?]  is mandatory 
38.65/37.11	c qxplain 429/429
38.75/37.22	c 352819[?] -74669[?] 74445[?]  is mandatory 
38.75/37.22	c qxplain 424/428
38.85/37.32	c qxplain 427/428
38.95/37.43	c qxplain 428/428
39.05/37.53	c 352822[?] -74668[?] 74666[?]  is mandatory 
39.05/37.53	c qxplain 427/427
39.16/37.63	c 352823[?] -74670[?] 74668[?] 74669[?]  is mandatory 
39.16/37.63	c qxplain 424/426
39.26/37.74	c qxplain 426/426
39.36/37.85	c 352830[?] 74478[?] 74670[?]  is mandatory 
39.36/37.85	c qxplain 424/425
39.46/37.95	c qxplain 425/425
39.56/38.06	c 352910[?] -74792[?] 74420[?]  is mandatory 
39.56/38.06	c qxplain 424/424
39.66/38.16	c 352913[?] -74793[?] 74792[?]  is mandatory 
39.66/38.16	c qxplain 415/423
39.76/38.27	c qxplain 420/423
39.85/38.37	c qxplain 422/423
39.95/38.48	c qxplain 423/423
40.05/38.58	c 352915[?] -74795[?] 74793[?]  is mandatory 
40.05/38.58	c qxplain 422/422
40.15/38.68	c 352924[?] -74798[?] 74421[?]  is mandatory 
40.15/38.68	c qxplain 420/421
40.26/38.79	c qxplain 421/421
40.36/38.90	c 352927[?] -74797[?] 74795[?]  is mandatory 
40.36/38.90	c qxplain 420/420
40.55/39.00	c 352928[?] -74799[?] 74797[?] 74798[?]  is mandatory 
40.55/39.00	c qxplain 415/419
40.66/39.10	c qxplain 418/419
40.76/39.21	c qxplain 419/419
40.86/39.31	c 352938[?] -74802[?] 74422[?]  is mandatory 
40.86/39.31	c qxplain 418/418
40.96/39.42	c 352941[?] -74801[?] 74799[?]  is mandatory 
40.96/39.42	c qxplain 415/417
41.06/39.52	c qxplain 417/417
41.16/39.63	c 352942[?] -74803[?] 74801[?] 74802[?]  is mandatory 
41.16/39.63	c qxplain 415/416
41.26/39.73	c qxplain 416/416
41.36/39.84	c 352952[?] -74806[?] 74423[?]  is mandatory 
41.36/39.84	c qxplain 415/415
41.46/39.94	c 352955[?] -74805[?] 74803[?]  is mandatory 
41.46/39.94	c qxplain 397/414
41.56/40.05	c qxplain 406/414
41.66/40.15	c qxplain 411/414
41.76/40.26	c qxplain 413/414
41.86/40.36	c qxplain 414/414
41.96/40.47	c 352956[?] -74807[?] 74805[?] 74806[?]  is mandatory 
41.96/40.47	c qxplain 413/413
42.06/40.57	c 352966[?] -74810[?] 74424[?]  is mandatory 
42.06/40.57	c qxplain 411/412
42.16/40.68	c qxplain 412/412
42.26/40.78	c 352969[?] -74809[?] 74807[?]  is mandatory 
42.26/40.78	c qxplain 411/411
42.36/40.89	c 352970[?] -74811[?] 74809[?] 74810[?]  is mandatory 
42.36/40.89	c qxplain 406/410
42.46/40.99	c qxplain 409/410
42.66/41.10	c qxplain 410/410
42.76/41.20	c 352980[?] -74814[?] 74425[?]  is mandatory 
42.76/41.20	c qxplain 409/409
42.86/41.31	c 352983[?] -74813[?] 74811[?]  is mandatory 
42.86/41.31	c qxplain 406/408
42.96/41.41	c qxplain 408/408
43.06/41.52	c 352984[?] -74815[?] 74813[?] 74814[?]  is mandatory 
43.06/41.52	c qxplain 406/407
43.16/41.62	c qxplain 407/407
43.26/41.72	c 352994[?] -74818[?] 74426[?]  is mandatory 
43.26/41.72	c qxplain 406/406
43.36/41.83	c 352997[?] -74817[?] 74815[?]  is mandatory 
43.36/41.83	c qxplain 397/405
43.46/41.94	c qxplain 402/405
43.56/42.04	c qxplain 404/405
43.66/42.15	c qxplain 405/405
43.76/42.25	c 352998[?] -74819[?] 74817[?] 74818[?]  is mandatory 
43.76/42.25	c qxplain 404/404
43.86/42.36	c 353008[?] -74822[?] 74427[?]  is mandatory 
43.86/42.36	c qxplain 402/403
43.96/42.46	c qxplain 403/403
44.06/42.56	c 353011[?] -74821[?] 74819[?]  is mandatory 
44.06/42.56	c qxplain 402/402
44.16/42.67	c 353012[?] -74823[?] 74821[?] 74822[?]  is mandatory 
44.16/42.68	c qxplain 397/401
44.27/42.77	c qxplain 400/401
44.37/42.88	c qxplain 401/401
44.47/42.98	c 353022[?] -74826[?] 74428[?]  is mandatory 
44.47/42.98	c qxplain 400/400
44.57/43.09	c 353025[?] -74825[?] 74823[?]  is mandatory 
44.57/43.09	c qxplain 397/399
44.68/43.19	c qxplain 399/399
44.87/43.30	c 353026[?] -74827[?] 74825[?] 74826[?]  is mandatory 
44.87/43.30	c qxplain 397/398
44.97/43.40	c qxplain 398/398
45.07/43.51	c 353036[?] -74830[?] 74429[?]  is mandatory 
45.07/43.51	c qxplain 397/397
45.17/43.61	c 353039[?] -74829[?] 74827[?]  is mandatory 
45.17/43.61	c qxplain 361/396
45.27/43.72	c qxplain 379/396
45.37/43.82	c qxplain 388/396
45.47/43.93	c qxplain 393/396
45.57/44.03	c qxplain 395/396
45.67/44.14	c qxplain 396/396
45.78/44.24	c 353040[?] -74831[?] 74829[?] 74830[?]  is mandatory 
45.78/44.24	c qxplain 395/395
45.88/44.35	c 353050[?] -74834[?] 74430[?]  is mandatory 
45.88/44.35	c qxplain 393/394
45.97/44.45	c qxplain 394/394
46.07/44.56	c 353053[?] -74833[?] 74831[?]  is mandatory 
46.07/44.56	c qxplain 393/393
46.17/44.66	c 353054[?] -74835[?] 74833[?] 74834[?]  is mandatory 
46.17/44.66	c qxplain 388/392
46.27/44.77	c qxplain 391/392
46.37/44.87	c qxplain 392/392
46.84/45.16	c 353064[?] -74838[?] 74431[?]  is mandatory 
46.84/45.16	c qxplain 391/391
46.94/45.26	c 353067[?] -74837[?] 74835[?]  is mandatory 
46.94/45.26	c qxplain 388/390
47.05/45.37	c qxplain 390/390
47.15/45.47	c 353068[?] -74839[?] 74837[?] 74838[?]  is mandatory 
47.15/45.47	c qxplain 388/389
47.24/45.58	c qxplain 389/389
47.34/45.69	c 353078[?] -74842[?] 74432[?]  is mandatory 
47.34/45.69	c qxplain 388/388
47.44/45.79	c 353081[?] -74841[?] 74839[?]  is mandatory 
47.44/45.79	c qxplain 379/387
47.64/45.90	c qxplain 384/387
47.74/46.01	c qxplain 386/387
47.84/46.11	c qxplain 387/387
47.94/46.22	c 353082[?] -74843[?] 74841[?] 74842[?]  is mandatory 
47.94/46.22	c qxplain 386/386
48.04/46.32	c 353092[?] -74846[?] 74433[?]  is mandatory 
48.04/46.32	c qxplain 384/385
48.14/46.43	c qxplain 385/385
48.24/46.54	c 353095[?] -74845[?] 74843[?]  is mandatory 
48.24/46.54	c qxplain 384/384
48.34/46.64	c 353096[?] -74847[?] 74845[?] 74846[?]  is mandatory 
48.34/46.64	c qxplain 379/383
48.44/46.75	c qxplain 382/383
48.54/46.86	c qxplain 383/383
48.64/46.96	c 353106[?] -74850[?] 74434[?]  is mandatory 
48.64/46.96	c qxplain 382/382
48.74/47.07	c 353109[?] -74849[?] 74847[?]  is mandatory 
48.74/47.07	c qxplain 379/381
48.84/47.18	c qxplain 381/381
48.94/47.28	c 353110[?] -74851[?] 74849[?] 74850[?]  is mandatory 
48.94/47.28	c qxplain 379/380
49.04/47.39	c qxplain 380/380
49.14/47.49	c 353120[?] -74854[?] 74435[?]  is mandatory 
49.14/47.49	c qxplain 379/379
49.24/47.60	c 353123[?] -74853[?] 74851[?]  is mandatory 
49.24/47.60	c qxplain 361/378
49.44/47.71	c qxplain 370/378
49.54/47.82	c qxplain 375/378
49.64/47.92	c qxplain 377/378
49.74/48.03	c qxplain 378/378
49.84/48.13	c 353124[?] -74855[?] 74853[?] 74854[?]  is mandatory 
49.84/48.13	c qxplain 377/377
49.94/48.24	c 353134[?] -74858[?] 74436[?]  is mandatory 
49.94/48.24	c qxplain 375/376
50.04/48.35	c qxplain 376/376
50.14/48.45	c 353137[?] -74857[?] 74855[?]  is mandatory 
50.14/48.45	c qxplain 375/375
50.24/48.56	c 353138[?] -74859[?] 74857[?] 74858[?]  is mandatory 
50.24/48.56	c qxplain 370/374
50.34/48.67	c qxplain 373/374
50.44/48.77	c qxplain 374/374
50.54/48.88	c 353148[?] -74862[?] 74437[?]  is mandatory 
50.54/48.88	c qxplain 373/373
50.63/48.99	c 353151[?] -74861[?] 74859[?]  is mandatory 
50.63/48.99	c qxplain 370/372
50.73/49.09	c qxplain 372/372
50.93/49.20	c 353152[?] -74863[?] 74861[?] 74862[?]  is mandatory 
50.93/49.20	c qxplain 370/371
51.03/49.30	c qxplain 371/371
51.13/49.41	c 353162[?] -74866[?] 74438[?]  is mandatory 
51.13/49.41	c qxplain 370/370
51.23/49.52	c 353165[?] -74865[?] 74863[?]  is mandatory 
51.23/49.52	c qxplain 361/369
51.33/49.63	c qxplain 366/369
51.44/49.73	c qxplain 368/369
51.54/49.84	c qxplain 369/369
51.63/49.95	c 353166[?] -74867[?] 74865[?] 74866[?]  is mandatory 
51.63/49.95	c qxplain 368/368
51.73/50.05	c 353176[?] -74870[?] 74439[?]  is mandatory 
51.73/50.05	c qxplain 366/367
51.83/50.16	c qxplain 367/367
51.93/50.26	c 353179[?] -74869[?] 74867[?]  is mandatory 
51.93/50.26	c qxplain 366/366
52.03/50.37	c 353180[?] -74871[?] 74869[?] 74870[?]  is mandatory 
52.03/50.37	c qxplain 361/365
52.13/50.48	c qxplain 364/365
52.23/50.58	c qxplain 365/365
52.33/50.69	c 353190[?] -74874[?] 74440[?]  is mandatory 
52.33/50.69	c qxplain 364/364
52.43/50.80	c 353193[?] -74873[?] 74871[?]  is mandatory 
52.43/50.80	c qxplain 361/363
52.54/50.90	c qxplain 363/363
52.73/51.01	c 353194[?] -74875[?] 74873[?] 74874[?]  is mandatory 
52.73/51.01	c qxplain 361/362
52.83/51.12	c qxplain 362/362
52.93/51.22	c 353204[?] -74878[?] 74441[?]  is mandatory 
52.93/51.22	c qxplain 361/361
53.03/51.33	c 353207[?] -74877[?] 74875[?]  is mandatory 
53.03/51.33	c qxplain 289/360
53.13/51.43	c qxplain 325/360
53.23/51.54	c qxplain 343/360
53.33/51.65	c qxplain 352/360
53.43/51.76	c qxplain 357/360
53.53/51.87	c qxplain 359/360
53.64/51.97	c qxplain 360/360
53.74/52.08	c 353208[?] -74879[?] 74877[?] 74878[?]  is mandatory 
53.74/52.08	c qxplain 359/359
53.83/52.18	c 353218[?] -74882[?] 74442[?]  is mandatory 
53.83/52.18	c qxplain 357/358
53.93/52.29	c qxplain 358/358
54.03/52.40	c 353221[?] -74881[?] 74879[?]  is mandatory 
54.03/52.40	c qxplain 357/357
54.23/52.50	c 353222[?] -74883[?] 74881[?] 74882[?]  is mandatory 
54.23/52.50	c qxplain 352/356
54.33/52.61	c qxplain 355/356
54.44/52.72	c qxplain 356/356
54.54/52.82	c 353232[?] -74886[?] 74443[?]  is mandatory 
54.54/52.82	c qxplain 355/355
54.63/52.93	c 353235[?] -74885[?] 74883[?]  is mandatory 
54.63/52.93	c qxplain 352/354
54.74/53.04	c qxplain 354/354
54.84/53.15	c 353236[?] -74887[?] 74885[?] 74886[?]  is mandatory 
54.84/53.15	c qxplain 352/353
54.93/53.25	c qxplain 353/353
55.44/53.56	c 353246[?] -74890[?] 74444[?]  is mandatory 
55.44/53.56	c qxplain 352/352
55.54/53.67	c 353249[?] -74889[?] 74887[?]  is mandatory 
55.54/53.67	c qxplain 343/351
55.64/53.78	c qxplain 348/351
55.74/53.88	c qxplain 350/351
55.84/53.99	c qxplain 351/351
55.94/54.09	c 353250[?] -74891[?] 74889[?] 74890[?]  is mandatory 
55.94/54.09	c qxplain 350/350
56.04/54.20	c 353260[?] -74894[?] 74445[?]  is mandatory 
56.04/54.20	c qxplain 348/349
56.24/54.31	c qxplain 349/349
56.34/54.41	c 353263[?] -74893[?] 74891[?]  is mandatory 
56.34/54.41	c qxplain 348/348
56.44/54.52	c 353264[?] -74895[?] 74893[?] 74894[?]  is mandatory 
56.44/54.52	c qxplain 343/347
56.54/54.63	c qxplain 346/347
56.64/54.73	c qxplain 347/347
56.74/54.84	c 353271[?] 74703[?] 74895[?]  is mandatory 
56.74/54.84	c qxplain 346/346
56.84/54.94	c 353351[?] -75017[?] 74420[?]  is mandatory 
56.84/54.94	c qxplain 343/345
56.94/55.05	c qxplain 345/345
57.04/55.16	c 353354[?] -75018[?] 75017[?]  is mandatory 
57.04/55.16	c qxplain 343/344
57.14/55.27	c qxplain 344/344
57.24/55.37	c 353356[?] -75020[?] 75018[?]  is mandatory 
57.24/55.37	c qxplain 343/343
57.34/55.48	c 353365[?] -75023[?] 74421[?]  is mandatory 
57.34/55.48	c qxplain 325/342
57.44/55.59	c qxplain 334/342
57.54/55.69	c qxplain 339/342
57.74/55.80	c qxplain 341/342
57.84/55.91	c qxplain 342/342
57.94/56.01	c 353368[?] -75022[?] 75020[?]  is mandatory 
57.94/56.01	c qxplain 341/341
58.04/56.12	c 353369[?] -75024[?] 75022[?] 75023[?]  is mandatory 
58.04/56.12	c qxplain 339/340
58.14/56.22	c qxplain 340/340
58.26/56.33	c 353379[?] -75027[?] 74422[?]  is mandatory 
58.26/56.33	c qxplain 339/339
58.35/56.44	c 353382[?] -75026[?] 75024[?]  is mandatory 
58.35/56.44	c qxplain 334/338
58.45/56.54	c qxplain 337/338
58.54/56.65	c qxplain 338/338
58.64/56.75	c 353383[?] -75028[?] 75026[?] 75027[?]  is mandatory 
58.64/56.75	c qxplain 337/337
58.74/56.86	c 353393[?] -75031[?] 74423[?]  is mandatory 
58.74/56.86	c qxplain 334/336
58.84/56.97	c qxplain 336/336
58.94/57.07	c 353396[?] -75030[?] 75028[?]  is mandatory 
58.94/57.07	c qxplain 334/335
59.04/57.18	c qxplain 335/335
59.14/57.28	c 353397[?] -75032[?] 75030[?] 75031[?]  is mandatory 
59.14/57.28	c qxplain 334/334
59.24/57.39	c 353407[?] -75035[?] 74424[?]  is mandatory 
59.24/57.39	c qxplain 325/333
59.34/57.50	c qxplain 330/333
59.55/57.60	c qxplain 332/333
59.64/57.71	c qxplain 333/333
59.74/57.82	c 353410[?] -75034[?] 75032[?]  is mandatory 
59.74/57.82	c qxplain 332/332
59.84/57.92	c 353411[?] -75036[?] 75034[?] 75035[?]  is mandatory 
59.84/57.92	c qxplain 330/331
59.94/58.03	c qxplain 331/331
60.05/58.13	c 353421[?] -75039[?] 74425[?]  is mandatory 
60.05/58.13	c qxplain 330/330
60.15/58.24	c 353424[?] -75038[?] 75036[?]  is mandatory 
60.15/58.24	c qxplain 325/329
60.25/58.34	c qxplain 328/329
60.35/58.45	c qxplain 329/329
60.45/58.56	c 353425[?] -75040[?] 75038[?] 75039[?]  is mandatory 
60.45/58.56	c qxplain 328/328
60.56/58.66	c 353435[?] -75043[?] 74426[?]  is mandatory 
60.56/58.66	c qxplain 325/327
60.66/58.77	c qxplain 327/327
60.75/58.87	c 353438[?] -75042[?] 75040[?]  is mandatory 
60.75/58.87	c qxplain 325/326
60.85/58.98	c qxplain 326/326
60.95/59.08	c 353439[?] -75044[?] 75042[?] 75043[?]  is mandatory 
60.95/59.08	c qxplain 325/325
61.05/59.19	c 353449[?] -75047[?] 74427[?]  is mandatory 
61.05/59.19	c qxplain 289/324
61.25/59.30	c qxplain 307/324
61.35/59.40	c qxplain 316/324
61.45/59.51	c qxplain 321/324
61.55/59.62	c qxplain 323/324
61.66/59.72	c qxplain 324/324
61.76/59.83	c 353452[?] -75046[?] 75044[?]  is mandatory 
61.76/59.83	c qxplain 323/323
61.85/59.93	c 353453[?] -75048[?] 75046[?] 75047[?]  is mandatory 
61.85/59.93	c qxplain 321/322
61.95/60.04	c qxplain 322/322
62.05/60.15	c 353463[?] -75051[?] 74428[?]  is mandatory 
62.05/60.15	c qxplain 321/321
62.15/60.25	c 353466[?] -75050[?] 75048[?]  is mandatory 
62.15/60.25	c qxplain 316/320
62.25/60.36	c qxplain 319/320
62.35/60.47	c qxplain 320/320
62.45/60.57	c 353467[?] -75052[?] 75050[?] 75051[?]  is mandatory 
62.45/60.57	c qxplain 319/319
62.55/60.69	c 353477[?] -75055[?] 74429[?]  is mandatory 
62.55/60.69	c qxplain 316/318
62.65/60.80	c qxplain 318/318
62.75/60.90	c 353480[?] -75054[?] 75052[?]  is mandatory 
62.75/60.90	c qxplain 316/317
62.95/61.01	c qxplain 317/317
63.05/61.11	c 353481[?] -75056[?] 75054[?] 75055[?]  is mandatory 
63.05/61.11	c qxplain 316/316
63.15/61.22	c 353491[?] -75059[?] 74430[?]  is mandatory 
63.15/61.22	c qxplain 307/315
63.25/61.33	c qxplain 312/315
63.35/61.43	c qxplain 314/315
63.45/61.54	c qxplain 315/315
63.55/61.64	c 353494[?] -75058[?] 75056[?]  is mandatory 
63.55/61.64	c qxplain 314/314
63.65/61.75	c 353495[?] -75060[?] 75058[?] 75059[?]  is mandatory 
63.65/61.75	c qxplain 312/313
63.75/61.86	c qxplain 313/313
63.85/61.96	c 353505[?] -75063[?] 74431[?]  is mandatory 
63.85/61.96	c qxplain 312/312
63.95/62.07	c 353508[?] -75062[?] 75060[?]  is mandatory 
63.95/62.07	c qxplain 307/311
64.05/62.17	c qxplain 310/311
64.15/62.28	c qxplain 311/311
64.25/62.39	c 353509[?] -75064[?] 75062[?] 75063[?]  is mandatory 
64.25/62.39	c qxplain 310/310
64.35/62.49	c 353519[?] -75067[?] 74432[?]  is mandatory 
64.35/62.49	c qxplain 307/309
64.54/62.60	c qxplain 309/309
65.06/62.94	c 353522[?] -75066[?] 75064[?]  is mandatory 
65.06/62.94	c qxplain 307/308
65.16/63.05	c qxplain 308/308
65.26/63.16	c 353523[?] -75068[?] 75066[?] 75067[?]  is mandatory 
65.26/63.16	c qxplain 307/307
65.36/63.26	c 353533[?] -75071[?] 74433[?]  is mandatory 
65.36/63.26	c qxplain 289/306
65.46/63.37	c qxplain 298/306
65.56/63.48	c qxplain 303/306
65.66/63.58	c qxplain 305/306
65.76/63.69	c qxplain 306/306
65.86/63.80	c 353536[?] -75070[?] 75068[?]  is mandatory 
65.86/63.80	c qxplain 305/305
66.06/63.90	c 353537[?] -75072[?] 75070[?] 75071[?]  is mandatory 
66.06/63.90	c qxplain 303/304
66.16/64.01	c qxplain 304/304
66.26/64.12	c 353547[?] -75075[?] 74434[?]  is mandatory 
66.26/64.12	c qxplain 303/303
66.36/64.22	c 353550[?] -75074[?] 75072[?]  is mandatory 
66.36/64.22	c qxplain 298/302
66.46/64.33	c qxplain 301/302
66.56/64.44	c qxplain 302/302
66.66/64.54	c 353551[?] -75076[?] 75074[?] 75075[?]  is mandatory 
66.66/64.54	c qxplain 301/301
66.76/64.65	c 353561[?] -75079[?] 74435[?]  is mandatory 
66.76/64.65	c qxplain 298/300
66.86/64.76	c qxplain 300/300
66.96/64.86	c 353564[?] -75078[?] 75076[?]  is mandatory 
66.96/64.86	c qxplain 298/299
67.06/64.97	c qxplain 299/299
67.16/65.08	c 353565[?] -75080[?] 75078[?] 75079[?]  is mandatory 
67.16/65.08	c qxplain 298/298
67.26/65.18	c 353575[?] -75083[?] 74436[?]  is mandatory 
67.26/65.18	c qxplain 289/297
67.36/65.29	c qxplain 294/297
67.46/65.40	c qxplain 296/297
67.66/65.50	c qxplain 297/297
67.76/65.61	c 353578[?] -75082[?] 75080[?]  is mandatory 
67.76/65.61	c qxplain 296/296
67.86/65.72	c 353579[?] -75084[?] 75082[?] 75083[?]  is mandatory 
67.86/65.72	c qxplain 294/295
67.96/65.82	c qxplain 295/295
68.06/65.93	c 353589[?] -75087[?] 74437[?]  is mandatory 
68.06/65.93	c qxplain 294/294
68.16/66.04	c 353592[?] -75086[?] 75084[?]  is mandatory 
68.16/66.04	c qxplain 289/293
68.26/66.15	c qxplain 292/293
68.36/66.25	c qxplain 293/293
68.46/66.36	c 353593[?] -75088[?] 75086[?] 75087[?]  is mandatory 
68.46/66.36	c qxplain 292/292
68.56/66.47	c 353603[?] -75091[?] 74438[?]  is mandatory 
68.56/66.47	c qxplain 289/291
68.66/66.57	c qxplain 291/291
68.76/66.68	c 353606[?] -75090[?] 75088[?]  is mandatory 
68.76/66.68	c qxplain 289/290
68.86/66.78	c qxplain 290/290
68.96/66.89	c 353607[?] -75092[?] 75090[?] 75091[?]  is mandatory 
68.96/66.89	c qxplain 289/289
69.16/67.00	c 353617[?] -75095[?] 74439[?]  is mandatory 
69.16/67.00	c qxplain 0/288
69.26/67.10	c qxplain 145/288
69.36/67.21	c qxplain 217/288
69.46/67.32	c qxplain 253/288
69.56/67.42	c qxplain 271/288
69.67/67.53	c qxplain 280/288
69.76/67.64	c qxplain 285/288
69.86/67.74	c qxplain 287/288
69.96/67.85	c qxplain 288/288
70.06/67.96	c 353620[?] -75094[?] 75092[?]  is mandatory 
70.06/67.96	c qxplain 287/287
70.16/68.06	c 353621[?] -75096[?] 75094[?] 75095[?]  is mandatory 
70.16/68.06	c qxplain 285/286
70.26/68.17	c qxplain 286/286
70.36/68.28	c 353631[?] -75099[?] 74440[?]  is mandatory 
70.36/68.28	c qxplain 285/285
70.46/68.38	c 353634[?] -75098[?] 75096[?]  is mandatory 
70.46/68.38	c qxplain 280/284
70.56/68.49	c qxplain 283/284
70.66/68.60	c qxplain 284/284
70.86/68.70	c 353635[?] -75100[?] 75098[?] 75099[?]  is mandatory 
70.86/68.70	c qxplain 283/283
70.96/68.81	c 353645[?] -75103[?] 74441[?]  is mandatory 
70.96/68.81	c qxplain 280/282
71.06/68.92	c qxplain 282/282
71.16/69.02	c 353648[?] -75102[?] 75100[?]  is mandatory 
71.16/69.02	c qxplain 280/281
71.26/69.13	c qxplain 281/281
71.36/69.24	c 353649[?] -75104[?] 75102[?] 75103[?]  is mandatory 
71.36/69.24	c qxplain 280/280
71.46/69.34	c 353659[?] -75107[?] 74442[?]  is mandatory 
71.46/69.34	c qxplain 271/279
71.56/69.45	c qxplain 276/279
71.66/69.56	c qxplain 278/279
71.76/69.67	c qxplain 279/279
71.86/69.77	c 353662[?] -75106[?] 75104[?]  is mandatory 
71.86/69.77	c qxplain 278/278
71.96/69.88	c 353663[?] -75108[?] 75106[?] 75107[?]  is mandatory 
71.96/69.88	c qxplain 276/277
72.06/69.99	c qxplain 277/277
72.16/70.09	c 353673[?] -75111[?] 74443[?]  is mandatory 
72.16/70.09	c qxplain 276/276
72.36/70.20	c 353676[?] -75110[?] 75108[?]  is mandatory 
72.36/70.20	c qxplain 271/275
72.46/70.31	c qxplain 274/275
72.56/70.41	c qxplain 275/275
72.66/70.52	c 353677[?] -75112[?] 75110[?] 75111[?]  is mandatory 
72.66/70.52	c qxplain 274/274
72.76/70.63	c 353687[?] -75115[?] 74444[?]  is mandatory 
72.76/70.63	c qxplain 271/273
72.86/70.73	c qxplain 273/273
72.96/70.84	c 353690[?] -75114[?] 75112[?]  is mandatory 
72.96/70.84	c qxplain 271/272
73.06/70.95	c qxplain 272/272
73.16/71.05	c 353691[?] -75116[?] 75114[?] 75115[?]  is mandatory 
73.16/71.05	c qxplain 271/271
73.26/71.16	c 353701[?] -75119[?] 74445[?]  is mandatory 
73.26/71.16	c qxplain 253/270
73.36/71.27	c qxplain 262/270
73.46/71.37	c qxplain 267/270
73.56/71.48	c qxplain 269/270
73.66/71.59	c qxplain 270/270
73.76/71.69	c 353704[?] -75118[?] 75116[?]  is mandatory 
73.76/71.69	c qxplain 269/269
73.86/71.80	c 353705[?] -75120[?] 75118[?] 75119[?]  is mandatory 
73.86/71.80	c qxplain 267/268
74.06/71.91	c qxplain 268/268
74.16/72.01	c 353712[?] 74928[?] 75120[?]  is mandatory 
74.16/72.01	c qxplain 267/267
74.26/72.12	c 356542[?] -73728[?] -76721[?]  is mandatory 
74.26/72.12	c qxplain 262/266
74.36/72.23	c qxplain 265/266
74.46/72.34	c qxplain 266/266
74.56/72.44	c 356544[?] 73729[?] -76722[?]  is mandatory 
74.56/72.44	c qxplain 265/265
74.66/72.55	c 356546[?] -73730[?] -76723[?]  is mandatory 
74.66/72.55	c qxplain 262/264
74.76/72.66	c qxplain 264/264
74.86/72.77	c 356548[?] 73731[?] -76724[?]  is mandatory 
74.86/72.77	c qxplain 262/263
74.96/72.87	c qxplain 263/263
75.07/72.98	c 356550[?] -73732[?] -76725[?]  is mandatory 
75.07/72.98	c qxplain 262/262
75.17/73.08	c 356552[?] -73733[?] -76726[?]  is mandatory 
75.17/73.08	c qxplain 253/261
75.27/73.19	c qxplain 258/261
75.47/73.30	c qxplain 260/261
75.57/73.41	c qxplain 261/261
75.67/73.51	c 356560[?] 76721[?] -76729[?]  is mandatory 
75.67/73.51	c qxplain 260/260
75.77/73.62	c 356562[?] 76729[?] -76730[?]  is mandatory 
75.77/73.62	c qxplain 258/259
75.87/73.73	c qxplain 259/259
75.97/73.83	c 356563[?] 76722[?] -76730[?]  is mandatory 
75.97/73.83	c qxplain 258/258
76.07/73.94	c 356565[?] 76730[?] -76731[?]  is mandatory 
76.07/73.94	c qxplain 253/257
76.17/74.05	c qxplain 256/257
76.28/74.15	c qxplain 257/257
76.37/74.26	c 356566[?] 76723[?] -76731[?]  is mandatory 
76.37/74.26	c qxplain 256/256
76.47/74.37	c 356568[?] 76731[?] -76732[?]  is mandatory 
76.47/74.37	c qxplain 253/255
76.57/74.47	c qxplain 255/255
76.67/74.58	c 356569[?] 76724[?] -76732[?]  is mandatory 
76.67/74.58	c qxplain 253/254
76.77/74.69	c qxplain 254/254
76.87/74.79	c 356571[?] 76732[?] -76733[?]  is mandatory 
76.87/74.79	c qxplain 253/253
77.07/74.90	c 356572[?] 76725[?] -76733[?]  is mandatory 
77.07/74.90	c qxplain 217/252
77.17/75.01	c qxplain 235/252
77.27/75.11	c qxplain 244/252
77.37/75.22	c qxplain 249/252
77.47/75.33	c qxplain 251/252
77.57/75.43	c qxplain 252/252
77.67/75.54	c 356574[?] 76733[?] -76734[?]  is mandatory 
77.67/75.54	c qxplain 251/251
77.77/75.65	c 356575[?] 76726[?] -76734[?]  is mandatory 
77.77/75.65	c qxplain 249/250
77.87/75.75	c qxplain 250/250
77.97/75.86	c 356576[?] 76734[?] -76718[?]  is mandatory 
77.97/75.86	c qxplain 249/249
78.07/75.97	c 369660[?] 82016[?] -74417[?]  is mandatory 
78.07/75.97	c qxplain 244/248
78.17/76.07	c qxplain 247/248
78.27/76.18	c qxplain 248/248
78.37/76.29	c 369667[?] 82017[?] -82016[?]  is mandatory 
78.37/76.29	c qxplain 247/247
78.47/76.39	c 369672[?] 82018[?] 74418[?]  is mandatory 
78.47/76.39	c qxplain 244/246
78.67/76.50	c qxplain 246/246
78.77/76.60	c 369676[?] 82019[?] -82018[?] -82017[?]  is mandatory 
78.77/76.60	c qxplain 244/245
78.87/76.71	c qxplain 245/245
78.97/76.82	c 369680[?] 82021[?] -82019[?]  is mandatory 
78.97/76.82	c qxplain 244/244
79.07/76.93	c 369686[?] 82022[?] -74419[?]  is mandatory 
79.07/76.93	c qxplain 235/243
79.17/77.03	c qxplain 240/243
79.27/77.14	c qxplain 242/243
79.37/77.25	c qxplain 243/243
79.47/77.35	c 369689[?] 82023[?] -82021[?] -82022[?]  is mandatory 
79.47/77.35	c qxplain 242/242
79.57/77.46	c 369693[?] 82025[?] -82023[?]  is mandatory 
79.57/77.46	c qxplain 240/241
79.67/77.57	c qxplain 241/241
79.76/77.67	c 369698[?] 82026[?] 74420[?]  is mandatory 
79.76/77.67	c qxplain 240/240
79.86/77.78	c 369702[?] 82027[?] -82026[?] -82025[?]  is mandatory 
79.86/77.78	c qxplain 235/239
79.97/77.89	c qxplain 238/239
80.07/77.99	c qxplain 239/239
80.27/78.10	c 369706[?] 82029[?] -82027[?]  is mandatory 
80.27/78.10	c qxplain 238/238
80.37/78.21	c 369712[?] 82030[?] 74421[?]  is mandatory 
80.37/78.21	c qxplain 235/237
80.47/78.31	c qxplain 237/237
80.57/78.42	c 369716[?] 82031[?] -82029[?] -82030[?]  is mandatory 
80.57/78.42	c qxplain 235/236
80.67/78.53	c qxplain 236/236
80.77/78.64	c 369720[?] 82033[?] -82031[?]  is mandatory 
80.77/78.64	c qxplain 235/235
80.87/78.74	c 369726[?] 82034[?] 74422[?]  is mandatory 
80.87/78.74	c qxplain 217/234
80.97/78.85	c qxplain 226/234
81.07/78.96	c qxplain 231/234
81.17/79.07	c qxplain 233/234
81.27/79.17	c qxplain 234/234
81.37/79.28	c 369730[?] 82035[?] -82033[?] -82034[?]  is mandatory 
81.37/79.28	c qxplain 233/233
81.47/79.39	c 369734[?] 82037[?] -82035[?]  is mandatory 
81.47/79.39	c qxplain 231/232
81.57/79.50	c qxplain 232/232
81.67/79.60	c 369740[?] 82038[?] 74423[?]  is mandatory 
81.67/79.60	c qxplain 231/231
81.87/79.71	c 369744[?] 82039[?] -82038[?] -82037[?]  is mandatory 
81.87/79.71	c qxplain 226/230
81.97/79.82	c qxplain 229/230
82.07/79.92	c qxplain 230/230
82.17/80.03	c 369748[?] 82041[?] -82039[?]  is mandatory 
82.17/80.03	c qxplain 229/229
82.27/80.14	c 369754[?] 82042[?] 74424[?]  is mandatory 
82.27/80.14	c qxplain 226/228
82.37/80.24	c qxplain 228/228
82.47/80.35	c 369758[?] 82043[?] -82041[?] -82042[?]  is mandatory 
82.47/80.35	c qxplain 226/227
82.57/80.45	c qxplain 227/227
82.67/80.56	c 369762[?] 82045[?] -82043[?]  is mandatory 
82.67/80.56	c qxplain 226/226
82.77/80.67	c 369768[?] 82046[?] 74425[?]  is mandatory 
82.77/80.67	c qxplain 217/225
82.88/80.78	c qxplain 222/225
82.97/80.89	c qxplain 224/225
83.07/80.99	c qxplain 225/225
83.27/81.10	c 369772[?] 82047[?] -82045[?] -82046[?]  is mandatory 
83.27/81.10	c qxplain 224/224
83.37/81.21	c 369776[?] 82049[?] -82047[?]  is mandatory 
83.37/81.21	c qxplain 222/223
83.47/81.31	c qxplain 223/223
83.57/81.42	c 369782[?] 82050[?] 74426[?]  is mandatory 
83.57/81.42	c qxplain 222/222
83.67/81.52	c 369786[?] 82051[?] -82050[?] -82049[?]  is mandatory 
83.67/81.52	c qxplain 217/221
83.77/81.63	c qxplain 220/221
83.87/81.73	c qxplain 221/221
83.98/81.84	c 369790[?] 82053[?] -82051[?]  is mandatory 
83.98/81.84	c qxplain 220/220
84.07/81.95	c 369796[?] 82054[?] 74427[?]  is mandatory 
84.07/81.95	c qxplain 217/219
84.17/82.05	c qxplain 219/219
84.27/82.16	c 369800[?] 82055[?] -82053[?] -82054[?]  is mandatory 
84.27/82.16	c qxplain 217/218
84.37/82.27	c qxplain 218/218
84.47/82.37	c 369804[?] 82057[?] -82055[?]  is mandatory 
84.47/82.37	c qxplain 217/217
84.57/82.48	c 369810[?] 82058[?] 74428[?]  is mandatory 
84.57/82.48	c qxplain 145/216
84.67/82.58	c qxplain 181/216
84.77/82.69	c qxplain 199/216
84.87/82.80	c qxplain 208/216
84.87/82.90	c qxplain 213/216
84.87/83.01	c qxplain 215/216
84.87/83.12	c qxplain 216/216
85.34/83.23	c 369814[?] 82059[?] -82057[?] -82058[?]  is mandatory 
85.34/83.23	c qxplain 215/215
85.48/83.33	c 369818[?] 82061[?] -82059[?]  is mandatory 
85.48/83.33	c qxplain 213/214
85.58/83.44	c qxplain 214/214
85.68/83.55	c 369824[?] 82062[?] 74429[?]  is mandatory 
85.68/83.55	c qxplain 213/213
85.78/83.65	c 369828[?] 82063[?] -82062[?] -82061[?]  is mandatory 
85.78/83.65	c qxplain 208/212
85.88/83.76	c qxplain 211/212
85.98/83.86	c qxplain 212/212
86.08/83.97	c 369832[?] 82065[?] -82063[?]  is mandatory 
86.08/83.97	c qxplain 211/211
86.18/84.08	c 369838[?] 82066[?] 74430[?]  is mandatory 
86.18/84.08	c qxplain 208/210
86.28/84.18	c qxplain 210/210
86.38/84.29	c 369842[?] 82067[?] -82065[?] -82066[?]  is mandatory 
86.38/84.29	c qxplain 208/209
86.48/84.40	c qxplain 209/209
86.68/84.50	c 369846[?] 82069[?] -82067[?]  is mandatory 
86.68/84.50	c qxplain 208/208
86.78/84.61	c 369852[?] 82070[?] 74431[?]  is mandatory 
86.78/84.61	c qxplain 199/207
86.88/84.72	c qxplain 204/207
86.98/84.82	c qxplain 206/207
87.08/84.93	c qxplain 207/207
87.19/85.03	c 369856[?] 82071[?] -82069[?] -82070[?]  is mandatory 
87.19/85.03	c qxplain 206/206
87.30/85.14	c 369860[?] 82073[?] -82071[?]  is mandatory 
87.30/85.14	c qxplain 204/205
87.38/85.25	c qxplain 205/205
87.49/85.35	c 369866[?] 82074[?] 74432[?]  is mandatory 
87.49/85.35	c qxplain 204/204
87.59/85.46	c 369870[?] 82075[?] -82074[?] -82073[?]  is mandatory 
87.59/85.46	c qxplain 199/203
87.68/85.57	c qxplain 202/203
87.78/85.67	c qxplain 203/203
87.88/85.78	c 369874[?] 82077[?] -82075[?]  is mandatory 
87.88/85.78	c qxplain 202/202
87.98/85.89	c 369880[?] 82078[?] 74433[?]  is mandatory 
87.98/85.89	c qxplain 199/201
88.08/85.99	c qxplain 201/201
88.28/86.10	c 369884[?] 82079[?] -82077[?] -82078[?]  is mandatory 
88.28/86.10	c qxplain 199/200
88.38/86.20	c qxplain 200/200
88.48/86.31	c 369888[?] 82081[?] -82079[?]  is mandatory 
88.48/86.31	c qxplain 199/199
88.59/86.42	c 369894[?] 82082[?] 74434[?]  is mandatory 
88.59/86.42	c qxplain 181/198
88.69/86.52	c qxplain 190/198
88.78/86.63	c qxplain 195/198
88.88/86.73	c qxplain 197/198
88.98/86.84	c qxplain 198/198
89.08/86.95	c 369898[?] 82083[?] -82081[?] -82082[?]  is mandatory 
89.08/86.95	c qxplain 197/197
89.18/87.05	c 369902[?] 82085[?] -82083[?]  is mandatory 
89.18/87.05	c qxplain 195/196
89.28/87.16	c qxplain 196/196
89.38/87.27	c 369908[?] 82086[?] 74435[?]  is mandatory 
89.38/87.27	c qxplain 195/195
89.48/87.38	c 369912[?] 82087[?] -82086[?] -82085[?]  is mandatory 
89.48/87.38	c qxplain 190/194
89.58/87.48	c qxplain 193/194
89.69/87.59	c qxplain 194/194
89.79/87.70	c 369916[?] 82089[?] -82087[?]  is mandatory 
89.79/87.70	c qxplain 193/193
89.88/87.80	c 369922[?] 82090[?] 74436[?]  is mandatory 
89.88/87.80	c qxplain 190/192
89.99/87.91	c qxplain 192/192
90.19/88.02	c 369926[?] 82091[?] -82089[?] -82090[?]  is mandatory 
90.19/88.02	c qxplain 190/191
90.29/88.12	c qxplain 191/191
90.39/88.23	c 369930[?] 82093[?] -82091[?]  is mandatory 
90.39/88.23	c qxplain 190/190
90.49/88.33	c 369936[?] 82094[?] 74437[?]  is mandatory 
90.49/88.33	c qxplain 181/189
90.59/88.44	c qxplain 186/189
90.69/88.55	c qxplain 188/189
90.80/88.65	c qxplain 189/189
90.90/88.76	c 369940[?] 82095[?] -82093[?] -82094[?]  is mandatory 
90.90/88.76	c qxplain 188/188
90.99/88.87	c 369944[?] 82097[?] -82095[?]  is mandatory 
90.99/88.87	c qxplain 186/187
91.09/88.97	c qxplain 187/187
91.19/89.08	c 369950[?] 82098[?] 74438[?]  is mandatory 
91.19/89.08	c qxplain 186/186
91.29/89.19	c 369954[?] 82099[?] -82098[?] -82097[?]  is mandatory 
91.29/89.19	c qxplain 181/185
91.49/89.30	c qxplain 184/185
91.59/89.41	c qxplain 185/185
91.69/89.51	c 369958[?] 82101[?] -82099[?]  is mandatory 
91.69/89.51	c qxplain 184/184
91.79/89.62	c 369964[?] 82102[?] 74439[?]  is mandatory 
91.79/89.62	c qxplain 181/183
91.90/89.72	c qxplain 183/183
92.00/89.83	c 369968[?] 82103[?] -82101[?] -82102[?]  is mandatory 
92.00/89.83	c qxplain 181/182
92.09/89.94	c qxplain 182/182
92.19/90.04	c 369972[?] 82105[?] -82103[?]  is mandatory 
92.19/90.04	c qxplain 181/181
92.29/90.15	c 369978[?] 82106[?] 74440[?]  is mandatory 
92.29/90.15	c qxplain 145/180
92.39/90.25	c qxplain 163/180
92.49/90.36	c qxplain 172/180
92.59/90.47	c qxplain 177/180
92.69/90.57	c qxplain 179/180
92.79/90.68	c qxplain 180/180
92.89/90.79	c 369982[?] 82107[?] -82105[?] -82106[?]  is mandatory 
92.89/90.79	c qxplain 179/179
93.00/90.89	c 369986[?] 82109[?] -82107[?]  is mandatory 
93.00/90.89	c qxplain 177/178
93.19/91.00	c qxplain 178/178
93.29/91.10	c 369992[?] 82110[?] 74441[?]  is mandatory 
93.29/91.10	c qxplain 177/177
93.29/91.21	c 369996[?] 82111[?] -82110[?] -82109[?]  is mandatory 
93.29/91.21	c qxplain 172/176
93.40/91.31	c qxplain 175/176
93.59/91.42	c qxplain 176/176
93.69/91.53	c 370000[?] 82113[?] -82111[?]  is mandatory 
93.69/91.53	c qxplain 175/175
93.79/91.63	c 370006[?] 82114[?] 74442[?]  is mandatory 
93.79/91.63	c qxplain 172/174
93.89/91.74	c qxplain 174/174
93.99/91.84	c 370010[?] 82115[?] -82113[?] -82114[?]  is mandatory 
93.99/91.84	c qxplain 172/173
94.09/91.95	c qxplain 173/173
94.19/92.06	c 370014[?] 82117[?] -82115[?]  is mandatory 
94.19/92.06	c qxplain 172/172
94.29/92.16	c 370020[?] 82118[?] 74443[?]  is mandatory 
94.29/92.16	c qxplain 163/171
94.39/92.27	c qxplain 168/171
94.49/92.38	c qxplain 170/171
94.59/92.48	c qxplain 171/171
94.69/92.59	c 370024[?] 82119[?] -82117[?] -82118[?]  is mandatory 
94.69/92.59	c qxplain 170/170
94.79/92.70	c 370028[?] 82121[?] -82119[?]  is mandatory 
94.79/92.70	c qxplain 168/169
94.99/92.80	c qxplain 169/169
95.09/92.91	c 370034[?] 82122[?] 74444[?]  is mandatory 
95.09/92.91	c qxplain 168/168
95.19/93.02	c 370038[?] 82123[?] -82122[?] -82121[?]  is mandatory 
95.19/93.02	c qxplain 163/167
95.29/93.12	c qxplain 166/167
95.39/93.23	c qxplain 167/167
95.49/93.34	c 370042[?] 82125[?] -82123[?]  is mandatory 
95.49/93.34	c qxplain 166/166
95.59/93.44	c 370048[?] 82126[?] 74445[?]  is mandatory 
95.59/93.44	c qxplain 163/165
95.69/93.55	c qxplain 165/165
95.79/93.65	c 370052[?] 82127[?] -82125[?] -82126[?]  is mandatory 
95.79/93.65	c qxplain 163/164
95.89/93.76	c qxplain 164/164
95.99/93.87	c 370056[?] 82129[?] -82127[?]  is mandatory 
95.99/93.87	c qxplain 163/163
96.09/93.97	c 370063[?] -81937[?] -82129[?]  is mandatory 
96.09/93.97	c qxplain 145/162
96.19/94.08	c qxplain 154/162
96.29/94.19	c qxplain 159/162
96.39/94.29	c qxplain 161/162
96.59/94.40	c qxplain 162/162
96.69/94.51	c 370071[?] -82134[?] -74417[?]  is mandatory 
96.69/94.51	c qxplain 161/161
96.79/94.61	c 370138[?] -82166[?] 82134[?]  is mandatory 
96.79/94.61	c qxplain 159/160
96.89/94.72	c qxplain 160/160
96.99/94.82	c 370140[?] -82167[?] 82166[?]  is mandatory 
96.99/94.82	c qxplain 159/159
97.09/94.93	c 370143[?] -82168[?] 82167[?]  is mandatory 
97.09/94.93	c qxplain 154/158
97.19/95.03	c qxplain 157/158
97.29/95.14	c qxplain 158/158
97.39/95.25	c 370146[?] -82169[?] 82168[?]  is mandatory 
97.39/95.25	c qxplain 157/157
97.49/95.35	c 370149[?] -82170[?] 82169[?]  is mandatory 
97.49/95.35	c qxplain 154/156
97.59/95.46	c qxplain 156/156
97.69/95.57	c 370152[?] -82171[?] 82170[?]  is mandatory 
97.69/95.57	c qxplain 154/155
97.79/95.67	c qxplain 155/155
97.89/95.78	c 370155[?] -82172[?] 82171[?]  is mandatory 
97.89/95.78	c qxplain 154/154
97.99/95.88	c 370158[?] -82173[?] 82172[?]  is mandatory 
97.99/95.88	c qxplain 145/153
98.09/95.99	c qxplain 150/153
98.29/96.10	c qxplain 152/153
98.39/96.20	c qxplain 153/153
98.49/96.31	c 370161[?] -82174[?] 82173[?]  is mandatory 
98.49/96.31	c qxplain 152/152
98.59/96.41	c 370164[?] -82175[?] 82174[?]  is mandatory 
98.59/96.41	c qxplain 150/151
98.69/96.52	c qxplain 151/151
98.79/96.63	c 370167[?] -82176[?] 82175[?]  is mandatory 
98.79/96.63	c qxplain 150/150
98.89/96.73	c 370170[?] -82177[?] 82176[?]  is mandatory 
98.89/96.73	c qxplain 145/149
98.99/96.84	c qxplain 148/149
99.09/96.95	c qxplain 149/149
99.19/97.05	c 370173[?] -82178[?] 82177[?]  is mandatory 
99.19/97.05	c qxplain 148/148
99.29/97.16	c 370176[?] -82179[?] 82178[?]  is mandatory 
99.29/97.16	c qxplain 145/147
99.39/97.26	c qxplain 147/147
99.48/97.37	c 370179[?] -82180[?] 82179[?]  is mandatory 
99.48/97.37	c qxplain 145/146
99.60/97.48	c qxplain 146/146
99.70/97.58	c 370182[?] -82181[?] 82180[?]  is mandatory 
99.70/97.58	c qxplain 145/145
99.79/97.69	c 370185[?] -82182[?] 82181[?]  is mandatory 
99.79/97.70	c qxplain 0/144
100.00/97.80	c qxplain 73/144
100.10/97.91	c qxplain 109/144
100.20/98.01	c qxplain 127/144
100.30/98.12	c qxplain 136/144
100.40/98.23	c qxplain 141/144
100.50/98.33	c qxplain 143/144
100.60/98.44	c qxplain 144/144
100.71/98.55	c 370188[?] -82183[?] 82182[?]  is mandatory 
100.71/98.55	c qxplain 143/143
100.81/98.65	c 370191[?] -82184[?] 82183[?]  is mandatory 
100.81/98.65	c qxplain 141/142
100.90/98.76	c qxplain 142/142
101.00/98.86	c 370194[?] -82185[?] 82184[?]  is mandatory 
101.00/98.86	c qxplain 141/141
101.10/98.97	c 370197[?] -82186[?] 82185[?]  is mandatory 
101.10/98.97	c qxplain 136/140
101.20/99.08	c qxplain 139/140
101.30/99.18	c qxplain 140/140
101.40/99.29	c 370200[?] -82187[?] 82186[?]  is mandatory 
101.40/99.29	c qxplain 139/139
101.50/99.39	c 370203[?] -82188[?] 82187[?]  is mandatory 
101.50/99.39	c qxplain 136/138
101.70/99.50	c qxplain 138/138
101.81/99.61	c 370206[?] -82189[?] 82188[?]  is mandatory 
101.81/99.61	c qxplain 136/137
101.91/99.71	c qxplain 137/137
102.00/99.82	c 370209[?] -82190[?] 82189[?]  is mandatory 
102.00/99.82	c qxplain 136/136
102.10/99.92	c 370212[?] -82191[?] 82190[?]  is mandatory 
102.10/99.93	c qxplain 127/135
102.20/100.03	c qxplain 132/135
102.30/100.14	c qxplain 134/135
102.40/100.25	c qxplain 135/135
102.50/100.35	c 370215[?] -82192[?] 82191[?]  is mandatory 
102.50/100.35	c qxplain 134/134
102.60/100.46	c 370218[?] -82193[?] 82192[?]  is mandatory 
102.60/100.46	c qxplain 132/133
102.70/100.57	c qxplain 133/133
102.80/100.67	c 370221[?] -82194[?] 82193[?]  is mandatory 
102.80/100.67	c qxplain 132/132
102.91/100.78	c 370223[?] -82130[?] 82194[?]  is mandatory 
102.91/100.78	c qxplain 127/131
103.01/100.88	c qxplain 130/131
103.10/100.99	c qxplain 131/131
103.20/101.10	c 370227[?] -82227[?] 82130[?]  is mandatory 
103.20/101.10	c qxplain 130/130
103.40/101.20	c 370230[?] 82228[?] 82130[?]  is mandatory 
103.40/101.20	c qxplain 127/129
103.50/101.31	c qxplain 129/129
103.60/101.42	c 370323[?] -82259[?] 81937[?] 82227[?]  is mandatory 
103.60/101.42	c qxplain 127/128
103.70/101.52	c qxplain 128/128
103.80/101.63	c 370325[?] 82260[?] 81937[?] -82228[?]  is mandatory 
103.80/101.63	c qxplain 127/127
103.90/101.74	c 370417[?] -82291[?] 82259[?]  is mandatory 
103.90/101.74	c qxplain 109/126
104.01/101.84	c qxplain 118/126
104.11/101.95	c qxplain 123/126
104.20/102.05	c qxplain 125/126
104.30/102.16	c qxplain 126/126
104.40/102.27	c 370420[?] 82292[?] -82260[?]  is mandatory 
104.40/102.27	c qxplain 125/125
104.50/102.37	c 374240[?] -84081[?] 82291[?] -74928[?]  is mandatory 
104.50/102.37	c qxplain 123/124
104.60/102.48	c qxplain 124/124
104.70/102.58	c 374243[?] 84082[?] -82292[?] -74928[?]  is mandatory 
104.70/102.58	c qxplain 123/123
104.80/102.69	c 376601[?] -84948[?] 84081[?] -74703[?]  is mandatory 
104.80/102.69	c qxplain 118/122
105.00/102.80	c qxplain 121/122
105.11/102.90	c qxplain 122/122
105.21/103.01	c 376604[?] 84949[?] -84082[?] -74703[?]  is mandatory 
105.21/103.01	c qxplain 121/121
105.30/103.12	c 384664[?] -87804[?] 84948[?] -74478[?]  is mandatory 
105.30/103.12	c qxplain 118/120
105.40/103.22	c qxplain 120/120
105.50/103.33	c 384667[?] 87805[?] -84949[?] -74478[?]  is mandatory 
105.50/103.33	c qxplain 118/119
105.60/103.44	c qxplain 119/119
105.70/103.54	c 384919[?] 87996[?] 87804[?]  is mandatory 
105.70/103.54	c qxplain 118/118
105.80/103.65	c 384926[?] 87932[?] -87996[?]  is mandatory 
105.80/103.65	c qxplain 109/117
105.90/103.76	c qxplain 114/117
106.00/103.86	c qxplain 116/117
106.10/103.97	c qxplain 117/117
106.21/104.07	c 385623[?] 81888[?] -87932[?] 88252[?]  is mandatory 
106.21/104.07	c qxplain 116/116
106.31/104.18	c 385625[?] -81888[?] -87805[?] 88253[?]  is mandatory 
106.31/104.18	c qxplain 114/115
106.40/104.29	c qxplain 115/115
106.50/104.39	c 385878[?] -88252[?] -88317[?]  is mandatory 
106.50/104.39	c qxplain 114/114
106.70/104.50	c 385880[?] -88253[?] -88318[?]  is mandatory 
106.70/104.50	c qxplain 109/113
106.80/104.61	c qxplain 112/113
106.90/104.71	c qxplain 113/113
107.00/104.82	c 386006[?] 88317[?] -88381[?]  is mandatory 
107.00/104.82	c qxplain 112/112
107.10/104.92	c 386008[?] 88381[?] -88382[?]  is mandatory 
107.10/104.92	c qxplain 109/111
107.20/105.03	c qxplain 111/111
107.31/105.14	c 386009[?] 88318[?] -88382[?]  is mandatory 
107.31/105.14	c qxplain 109/110
107.41/105.24	c qxplain 110/110
107.50/105.35	c 386011[?] 88382[?] -88383[?]  is mandatory 
107.50/105.35	c qxplain 109/109
107.60/105.45	c 386014[?] 88383[?] -88384[?]  is mandatory 
107.60/105.45	c qxplain 73/108
107.70/105.56	c qxplain 91/108
107.80/105.67	c qxplain 100/108
107.90/105.77	c qxplain 105/108
108.00/105.88	c qxplain 107/108
108.10/105.99	c qxplain 108/108
108.20/106.09	c 386017[?] 88384[?] -88385[?]  is mandatory 
108.20/106.09	c qxplain 107/107
108.30/106.20	c 386020[?] 88385[?] -88386[?]  is mandatory 
108.30/106.20	c qxplain 105/106
108.44/106.31	c qxplain 106/106
108.60/106.41	c 386023[?] 88386[?] -88387[?]  is mandatory 
108.60/106.41	c qxplain 105/105
108.70/106.52	c 386026[?] 88387[?] -88388[?]  is mandatory 
108.70/106.52	c qxplain 100/104
108.80/106.63	c qxplain 103/104
108.90/106.74	c qxplain 104/104
109.00/106.84	c 386029[?] 88388[?] -88389[?]  is mandatory 
109.00/106.84	c qxplain 103/103
109.10/106.95	c 386032[?] 88389[?] -88390[?]  is mandatory 
109.10/106.95	c qxplain 100/102
109.20/107.05	c qxplain 102/102
109.30/107.16	c 386035[?] 88390[?] -88391[?]  is mandatory 
109.30/107.16	c qxplain 100/101
109.40/107.27	c qxplain 101/101
109.51/107.37	c 386038[?] 88391[?] -88392[?]  is mandatory 
109.51/107.37	c qxplain 100/100
109.61/107.48	c 386041[?] 88392[?] -88393[?]  is mandatory 
109.61/107.48	c qxplain 91/99
109.70/107.58	c qxplain 96/99
109.80/107.69	c qxplain 98/99
109.90/107.80	c qxplain 99/99
110.10/107.90	c 386044[?] 88393[?] -88394[?]  is mandatory 
110.10/107.90	c qxplain 98/98
110.20/108.01	c 386047[?] 88394[?] -88395[?]  is mandatory 
110.20/108.01	c qxplain 96/97
110.30/108.11	c qxplain 97/97
110.40/108.22	c 386050[?] 88395[?] -88396[?]  is mandatory 
110.40/108.22	c qxplain 96/96
110.50/108.33	c 386053[?] 88396[?] -88397[?]  is mandatory 
110.50/108.33	c qxplain 91/95
110.61/108.43	c qxplain 94/95
110.71/108.54	c qxplain 95/95
110.80/108.65	c 386056[?] 88397[?] -88398[?]  is mandatory 
110.80/108.65	c qxplain 94/94
110.90/108.75	c 386059[?] 88398[?] -88399[?]  is mandatory 
110.90/108.75	c qxplain 91/93
111.00/108.86	c qxplain 93/93
111.10/108.97	c 386062[?] 88399[?] -88400[?]  is mandatory 
111.10/108.97	c qxplain 91/92
111.20/109.07	c qxplain 92/92
111.30/109.18	c 386065[?] 88400[?] -88401[?]  is mandatory 
111.30/109.18	c qxplain 91/91
111.40/109.28	c 386068[?] 88401[?] -88402[?]  is mandatory 
111.40/109.28	c qxplain 73/90
111.50/109.39	c qxplain 82/90
111.60/109.50	c qxplain 87/90
111.81/109.60	c qxplain 89/90
111.90/109.71	c qxplain 90/90
112.00/109.82	c 386071[?] 88402[?] -88403[?]  is mandatory 
112.00/109.82	c qxplain 89/89
112.10/109.92	c 386074[?] 88403[?] -88404[?]  is mandatory 
112.10/109.92	c qxplain 87/88
112.20/110.03	c qxplain 88/88
112.30/110.13	c 386077[?] 88404[?] -88405[?]  is mandatory 
112.30/110.13	c qxplain 87/87
112.40/110.24	c 386080[?] 88405[?] -88406[?]  is mandatory 
112.40/110.24	c qxplain 82/86
112.50/110.35	c qxplain 85/86
112.60/110.45	c qxplain 86/86
112.70/110.56	c 386083[?] 88406[?] -88407[?]  is mandatory 
112.70/110.56	c qxplain 85/85
112.81/110.67	c 386086[?] 88407[?] -88408[?]  is mandatory 
112.81/110.67	c qxplain 82/84
112.91/110.77	c qxplain 84/84
113.00/110.88	c 386089[?] 88408[?] -88409[?]  is mandatory 
113.00/110.88	c qxplain 82/83
113.10/110.99	c qxplain 83/83
113.20/111.09	c 386092[?] 88409[?] -88410[?]  is mandatory 
113.20/111.09	c qxplain 82/82
113.40/111.20	c 386095[?] 88410[?] -88411[?]  is mandatory 
113.40/111.20	c qxplain 73/81
113.50/111.30	c qxplain 78/81
113.60/111.41	c qxplain 80/81
113.70/111.52	c qxplain 81/81
113.80/111.62	c 386098[?] 88411[?] -88412[?]  is mandatory 
113.80/111.62	c qxplain 80/80
113.91/111.73	c 386101[?] 88412[?] -88413[?]  is mandatory 
113.91/111.73	c qxplain 78/79
114.01/111.83	c qxplain 79/79
114.10/111.94	c 386104[?] 88413[?] -88414[?]  is mandatory 
114.10/111.94	c qxplain 78/78
114.20/112.05	c 386107[?] 88414[?] -88415[?]  is mandatory 
114.20/112.05	c qxplain 73/77
114.30/112.15	c qxplain 76/77
114.40/112.26	c qxplain 77/77
114.50/112.36	c 386110[?] 88415[?] -88416[?]  is mandatory 
114.50/112.36	c qxplain 76/76
114.60/112.47	c 386113[?] 88416[?] -88417[?]  is mandatory 
114.60/112.47	c qxplain 73/75
114.70/112.58	c qxplain 75/75
114.80/112.68	c 386116[?] 88417[?] -88418[?]  is mandatory 
114.80/112.68	c qxplain 73/74
114.90/112.79	c qxplain 74/74
115.01/112.90	c 386119[?] 88418[?] -88419[?]  is mandatory 
115.01/112.90	c qxplain 73/73
115.20/113.00	c 386122[?] 88419[?] -88420[?]  is mandatory 
115.20/113.00	c qxplain 0/72
115.30/113.11	c qxplain 37/72
115.41/113.21	c qxplain 55/72
115.51/113.32	c qxplain 64/72
115.61/113.43	c qxplain 69/72
115.70/113.53	c qxplain 71/72
115.80/113.64	c qxplain 72/72
115.90/113.75	c 386125[?] 88420[?] -88421[?]  is mandatory 
115.90/113.75	c qxplain 71/71
116.00/113.86	c 386128[?] 88421[?] -88422[?]  is mandatory 
116.00/113.86	c qxplain 69/70
116.11/113.96	c qxplain 70/70
116.21/114.07	c 386131[?] 88422[?] -88423[?]  is mandatory 
116.21/114.07	c qxplain 69/69
116.30/114.17	c 386134[?] 88423[?] -88424[?]  is mandatory 
116.30/114.17	c qxplain 64/68
116.40/114.28	c qxplain 67/68
116.50/114.38	c qxplain 68/68
116.60/114.50	c 386137[?] 88424[?] -88425[?]  is mandatory 
116.60/114.50	c qxplain 67/67
116.81/114.60	c 386140[?] 88425[?] -88426[?]  is mandatory 
116.81/114.60	c qxplain 64/66
116.91/114.71	c qxplain 66/66
117.01/114.81	c 386143[?] 88426[?] -88427[?]  is mandatory 
117.01/114.81	c qxplain 64/65
117.11/114.92	c qxplain 65/65
117.21/115.03	c 386146[?] 88427[?] -88428[?]  is mandatory 
117.21/115.03	c qxplain 64/64
117.31/115.13	c 386149[?] 88428[?] -88429[?]  is mandatory 
117.31/115.13	c qxplain 55/63
117.41/115.24	c qxplain 60/63
117.51/115.35	c qxplain 62/63
117.61/115.45	c qxplain 63/63
117.71/115.56	c 386152[?] 88429[?] -88430[?]  is mandatory 
117.71/115.56	c qxplain 62/62
117.81/115.66	c 386155[?] 88430[?] -88431[?]  is mandatory 
117.81/115.66	c qxplain 60/61
117.92/115.77	c qxplain 61/61
118.02/115.88	c 386158[?] 88431[?] -88432[?]  is mandatory 
118.02/115.88	c qxplain 60/60
118.12/115.99	c 386161[?] 88432[?] -88433[?]  is mandatory 
118.12/115.99	c qxplain 55/59
118.22/116.09	c qxplain 58/59
118.32/116.20	c qxplain 59/59
118.52/116.30	c 386164[?] 88433[?] -88434[?]  is mandatory 
118.52/116.30	c qxplain 58/58
118.62/116.41	c 386167[?] 88434[?] -88435[?]  is mandatory 
118.62/116.41	c qxplain 55/57
118.72/116.52	c qxplain 57/57
118.82/116.62	c 386170[?] 88435[?] -88436[?]  is mandatory 
118.82/116.62	c qxplain 55/56
118.92/116.73	c qxplain 56/56
119.02/116.84	c 386173[?] 88436[?] -88437[?]  is mandatory 
119.02/116.84	c qxplain 55/55
119.12/116.94	c 386176[?] 88437[?] -88438[?]  is mandatory 
119.12/116.94	c qxplain 37/54
119.22/117.05	c qxplain 46/54
119.32/117.15	c qxplain 51/54
119.42/117.26	c qxplain 53/54
119.52/117.36	c qxplain 54/54
119.62/117.47	c 386179[?] 88438[?] -88439[?]  is mandatory 
119.62/117.47	c qxplain 53/53
119.72/117.58	c 386182[?] 88439[?] -88440[?]  is mandatory 
119.72/117.58	c qxplain 51/52
119.82/117.68	c qxplain 52/52
119.92/117.79	c 386185[?] 88440[?] -88441[?]  is mandatory 
119.92/117.79	c qxplain 51/51
120.12/117.90	c 386188[?] 88441[?] -88442[?]  is mandatory 
120.12/117.90	c qxplain 46/50
120.22/118.00	c qxplain 49/50
120.32/118.11	c qxplain 50/50
120.42/118.22	c 386191[?] 88442[?] -88443[?]  is mandatory 
120.42/118.22	c qxplain 49/49
120.52/118.32	c 386194[?] 88443[?] -88444[?]  is mandatory 
120.52/118.32	c qxplain 46/48
120.62/118.43	c qxplain 48/48
120.72/118.54	c 386196[?] 88444[?] -88316[?]  is mandatory 
120.72/118.54	c qxplain 46/47
120.82/118.64	c qxplain 47/47
120.92/118.75	c 440551[?] 76718[?] 111016[?]  is mandatory 
120.92/118.75	c qxplain 46/46
121.02/118.87	c 440645[?] -111016[?] -73896[?] 111048[?]  is mandatory 
121.02/118.87	c qxplain 37/45
121.15/118.98	c qxplain 42/45
121.25/119.08	c qxplain 44/45
121.35/119.19	c qxplain 45/45
121.55/119.30	c 440647[?] 73896[?] 111048[?]  is mandatory 
121.55/119.30	c qxplain 44/44
121.66/119.41	c 440741[?] -73734[?] 111080[?]  is mandatory 
121.66/119.41	c qxplain 42/43
121.76/119.51	c qxplain 43/43
121.85/119.62	c 440742[?] -111048[?] 73734[?] 111080[?]  is mandatory 
121.85/119.62	c qxplain 42/42
121.95/119.73	c 451938[?] 88316[?] -114797[?]  is mandatory 
121.95/119.73	c qxplain 37/41
122.05/119.84	c qxplain 40/41
122.15/119.94	c qxplain 41/41
122.25/120.05	c 451941[?] 114797[?] -114798[?]  is mandatory 
122.25/120.05	c qxplain 40/40
122.35/120.16	c 451944[?] -111080[?] -114800[?]  is mandatory 
122.35/120.16	c qxplain 37/39
122.45/120.26	c qxplain 39/39
122.55/120.37	c 452008[?] 114800[?] -114832[?]  is mandatory 
122.55/120.37	c qxplain 37/38
122.65/120.48	c qxplain 38/38
122.76/120.58	c 452010[?] 114832[?] -114833[?]  is mandatory 
122.76/120.58	c qxplain 37/37
122.86/120.69	c 452013[?] 114833[?] -114834[?]  is mandatory 
122.86/120.69	c qxplain 0/36
122.95/120.80	c qxplain 19/36
123.15/120.90	c qxplain 28/36
123.25/121.01	c qxplain 33/36
123.35/121.11	c qxplain 35/36
123.45/121.22	c qxplain 36/36
123.55/121.33	c 452016[?] 114834[?] -114835[?]  is mandatory 
123.55/121.33	c qxplain 35/35
123.65/121.43	c 452019[?] 114835[?] -114836[?]  is mandatory 
123.65/121.43	c qxplain 33/34
123.75/121.54	c qxplain 34/34
123.86/121.64	c 452022[?] 114836[?] -114837[?]  is mandatory 
123.86/121.64	c qxplain 33/33
123.96/121.75	c 452025[?] 114837[?] -114838[?]  is mandatory 
123.96/121.75	c qxplain 28/32
124.05/121.86	c qxplain 31/32
124.15/121.96	c qxplain 32/32
124.25/122.07	c 452028[?] 114838[?] -114839[?]  is mandatory 
124.25/122.07	c qxplain 31/31
124.35/122.17	c 452031[?] 114839[?] -114840[?]  is mandatory 
124.35/122.17	c qxplain 28/30
124.45/122.28	c qxplain 30/30
124.55/122.39	c 452034[?] 114840[?] -114841[?]  is mandatory 
124.55/122.39	c qxplain 28/29
124.65/122.49	c qxplain 29/29
124.85/122.60	c 452037[?] 114841[?] -114842[?]  is mandatory 
124.85/122.60	c qxplain 28/28
124.96/122.70	c 452040[?] 114842[?] -114843[?]  is mandatory 
124.96/122.70	c qxplain 19/27
125.06/122.81	c qxplain 24/27
125.15/122.92	c qxplain 26/27
125.25/123.03	c qxplain 27/27
125.35/123.13	c 452043[?] 114843[?] -114844[?]  is mandatory 
125.35/123.13	c qxplain 26/26
125.45/123.24	c 452046[?] 114844[?] -114845[?]  is mandatory 
125.45/123.24	c qxplain 24/25
125.55/123.34	c qxplain 25/25
125.65/123.45	c 452049[?] 114845[?] -114846[?]  is mandatory 
125.65/123.45	c qxplain 24/24
125.75/123.56	c 452052[?] 114846[?] -114847[?]  is mandatory 
125.75/123.56	c qxplain 19/23
125.85/123.66	c qxplain 22/23
125.95/123.77	c qxplain 23/23
126.06/123.87	c 452055[?] 114847[?] -114848[?]  is mandatory 
126.06/123.87	c qxplain 22/22
126.16/123.98	c 452058[?] 114848[?] -114849[?]  is mandatory 
126.16/123.98	c qxplain 19/21
126.25/124.08	c qxplain 21/21
126.35/124.19	c 452061[?] 114849[?] -114850[?]  is mandatory 
126.35/124.19	c qxplain 19/20
126.55/124.30	c qxplain 20/20
126.65/124.40	c 452064[?] 114850[?] -114851[?]  is mandatory 
126.65/124.40	c qxplain 19/19
126.75/124.51	c 452067[?] 114851[?] -114852[?]  is mandatory 
126.75/124.51	c qxplain 0/18
126.85/124.62	c qxplain 10/18
126.95/124.73	c qxplain 15/18
127.05/124.83	c qxplain 17/18
127.16/124.94	c qxplain 18/18
127.26/125.04	c 452070[?] 114852[?] -114853[?]  is mandatory 
127.26/125.04	c qxplain 17/17
127.35/125.15	c 452073[?] 114853[?] -114854[?]  is mandatory 
127.35/125.15	c qxplain 15/16
127.45/125.26	c qxplain 16/16
127.55/125.36	c 452076[?] 114854[?] -114855[?]  is mandatory 
127.55/125.36	c qxplain 15/15
127.65/125.47	c 452079[?] 114855[?] -114856[?]  is mandatory 
127.65/125.47	c qxplain 10/14
127.75/125.57	c qxplain 13/14
127.85/125.68	c qxplain 14/14
127.95/125.78	c 452082[?] 114856[?] -114857[?]  is mandatory 
127.95/125.78	c qxplain 13/13
128.05/125.89	c 452085[?] 114857[?] -114858[?]  is mandatory 
128.05/125.89	c qxplain 10/12
128.15/126.00	c qxplain 12/12
128.26/126.10	c 452088[?] 114858[?] -114859[?]  is mandatory 
128.26/126.10	c qxplain 10/11
128.45/126.21	c qxplain 11/11
128.56/126.31	c 452091[?] 114859[?] -114860[?]  is mandatory 
128.56/126.31	c qxplain 10/10
128.65/126.42	c 452094[?] 114860[?] -114861[?]  is mandatory 
128.65/126.42	c qxplain 0/9
128.75/126.53	c qxplain 5/9
128.85/126.63	c qxplain 8/9
128.95/126.74	c qxplain 9/9
129.05/126.84	c 452097[?] 114861[?] -114862[?]  is mandatory 
129.05/126.84	c qxplain 8/8
129.15/126.95	c 452100[?] 114862[?] -114863[?]  is mandatory 
129.15/126.95	c qxplain 5/7
129.25/127.06	c qxplain 7/7
129.36/127.16	c 452102[?] 114863[?] -114799[?]  is mandatory 
129.36/127.16	c qxplain 5/6
129.46/127.27	c qxplain 6/6
129.55/127.38	c 452105[?] 114798[?] -114864[?]  is mandatory 
129.55/127.38	c qxplain 5/5
129.65/127.48	c 452106[?] 114799[?] -114864[?]  is mandatory 
129.65/127.48	c qxplain 0/4
129.75/127.59	c qxplain 3/4
129.85/127.70	c qxplain 4/4
130.05/127.80	c 454284[?] -115571[?] 114864[?]  is mandatory 
130.05/127.80	c qxplain 3/3
130.15/127.91	c 454288[?] -115572[?] 115571[?]  is mandatory 
130.15/127.91	c qxplain 0/2
130.25/128.01	c qxplain 2/2
130.35/128.12	c 454290[?] -115573[?] 115572[?]  is mandatory 
130.35/128.12	c qxplain 0/1
130.46/128.23	c qxplain 1/1
130.56/128.34	c 454710[?] 115768[?] 115573[?]  is mandatory 
130.56/128.34	c qxplain 0/0
130.65/128.44	c 454714[?] 115769[?] -115768[?]  is mandatory 
131.83/129.49	c Size of the MUS: 577
131.83/129.49	c Unsat core  computation wall clock time (in seconds) : 128.577
131.83/129.49	c starts		: 1153
131.83/129.49	c conflicts		: 5
131.83/129.49	c decisions		: 132896622
131.83/129.49	c propagations		: 524649505
131.83/129.49	c inspects		: 16206260
131.83/129.49	c shortcuts		: 0
131.83/129.49	c learnt literals	: 0
131.83/129.49	c learnt binary clauses	: 0
131.83/129.49	c learnt ternary clauses	: 0
131.83/129.49	c learnt constraints	: 5
131.83/129.49	c ignored constraints	: 0
131.83/129.49	c root simplifications	: 0
131.83/129.49	c removed literals (reason simplification)	: 0
131.83/129.49	c reason swapping (by a shorter reason)	: 0
131.83/129.49	c Calls to reduceDB	: 0
131.83/129.49	c speed (assignments/second)	: 4.558205951346655E8
131.83/129.49	c non guided choices	132896545
131.83/129.49	c learnt constraints type 
131.83/129.49	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 5
131.83/129.49	c constraints type 
131.83/129.49	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 331889
131.83/129.49	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 7057
131.83/129.49	s UNSATISFIABLE
131.83/129.49	v 7057 235557 235560 235565 235568 235573 235577 235585 235603 235605 235608 235611 235614 235617 235619 235843 235848 235851 235856 235860 235875 235880 235883 235888 235892 235906 235928 235930 235932 236277 236282 236285 236290 236294 236308 236330 236332 236334 236542 236547 236550 236555 236559 236567 236568 236571 236572 236574 236576 236578 236580 236582 236584 236586 236588 236590 236592 236594 236596 236598 236600 236602 236604 236606 236608 236610 236612 236614 236616 236618 236620 236622 236700 236703 236705 236714 236717 236718 236728 236731 236732 236742 236745 236746 236756 236759 236760 236770 236773 236774 236784 236787 236788 236798 236801 236802 236812 236815 236816 236826 236829 236830 236840 236843 236844 236854 236857 236858 236868 236871 236872 236882 236885 236886 236896 236899 236900 236910 236913 236914 236924 236927 236928 236938 236941 236942 236952 236955 236956 236966 236969 236970 236980 236983 236984 236994 236997 236998 237008 237011 237012 237022 237025 237026 237036 237039 237040 237050 237053 237054 237061 237141 237144 237146 237155 237158 237159 237169 237172 237173 237183 237186 237187 237197 237200 237201 237211 237214 237215 237225 237228 237229 237239 237242 237243 237253 237256 237257 237267 237270 237271 237281 237284 237285 237295 237298 237299 237309 237312 237313 237323 237326 237327 237337 237340 237341 237351 237354 237355 237365 237368 237369 237379 237382 237383 237393 237396 237397 237407 237410 237411 237421 237424 237425 237435 237438 237439 237449 237452 237453 237463 237466 237467 237477 237480 237481 237491 237494 237495 237502 237582 237585 237587 237596 237599 237600 237610 237613 237614 237624 237627 237628 237638 237641 237642 237652 237655 237656 237666 237669 237670 237680 237683 237684 237694 237697 237698 237708 237711 237712 237722 237725 237726 237736 237739 237740 237750 237753 237754 237764 237767 237768 237778 237781 237782 237792 237795 237796 237806 237809 237810 237820 237823 237824 237834 237837 237838 237848 237851 237852 237862 237865 237866 237876 237879 237880 237890 237893 237894 237904 237907 237908 237918 237921 237922 237932 237935 237936 237943 240773 240775 240777 240779 240781 240783 240791 240793 240794 240796 240797 240799 240800 240802 240803 240805 240806 240807 253891 253898 253903 253907 253911 253917 253920 253924 253929 253933 253937 253943 253947 253951 253957 253961 253965 253971 253975 253979 253985 253989 253993 253999 254003 254007 254013 254017 254021 254027 254031 254035 254041 254045 254049 254055 254059 254063 254069 254073 254077 254083 254087 254091 254097 254101 254105 254111 254115 254119 254125 254129 254133 254139 254143 254147 254153 254157 254161 254167 254171 254175 254181 254185 254189 254195 254199 254203 254209 254213 254217 254223 254227 254231 254237 254241 254245 254251 254255 254259 254265 254269 254273 254279 254283 254287 254294 254302 254369 254371 254374 254377 254380 254383 254386 254389 254392 254395 254398 254401 254404 254407 254410 254413 254416 254419 254422 254425 254428 254431 254434 254437 254440 254443 254446 254449 254452 254454 254458 254461 254554 254556 254648 254651 258471 258474 260832 260835 268895 268898 269150 269157 269854 269856 270109 270111 270237 270239 270240 270242 270245 270248 270251 270254 270257 270260 270263 270266 270269 270272 270275 270278 270281 270284 270287 270290 270293 270296 270299 270302 270305 270308 270311 270314 270317 270320 270323 270326 270329 270332 270335 270338 270341 270344 270347 270350 270353 270356 270359 270362 270365 270368 270371 270374 270377 270380 270383 270386 270389 270392 270395 270398 270401 270404 270407 270410 270413 270416 270419 270422 270425 270427 324782 324876 324878 324972 324973 336169 336172 336175 336239 336241 336244 336247 336250 336253 336256 336259 336262 336265 336268 336271 336274 336277 336280 336283 336286 336289 336292 336295 336298 336301 336304 336307 336310 336313 336316 336319 336322 336325 336328 336331 336333 336336 336337 338515 338519 338521 338941 338945 0
131.83/129.49	c Total wall clock time (in seconds) : 129.39

OK	577

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 988)

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

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

running on 2 cores: 4,6

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


[startup+0 s]
/proc/loadavg: 4.46 3.19 1.86 5/238 9718
/proc/meminfo: memFree=24632364/32951132 swapFree=67061148/67111528
[pid=9718] ppid=9716 vsize=23028 CPUtime=0 cores=4,6
/proc/9718/stat : 9718 (java) R 9716 9718 831 0 -1 4202496 713 0 0 0 0 0 0 0 25 0 1 0 891516851 23580672 458 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210642183957 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/9718/statm: 5757 470 355 9 0 124 0

[startup+0.015179 s]
/proc/loadavg: 4.46 3.19 1.86 5/238 9718
/proc/meminfo: memFree=24632364/32951132 swapFree=67061148/67111528
[pid=9718] ppid=9716 vsize=6334980 CPUtime=0 cores=4,6
/proc/9718/stat : 9718 (java) S 9716 9718 831 0 -1 4202496 3819 0 1 0 0 0 0 0 25 0 2 0 891516851 6487019520 3521 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210658949093 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/9718/statm: 1583745 3543 917 9 0 1574901 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 6334980

[startup+0.101156 s]
/proc/loadavg: 4.46 3.19 1.86 5/238 9718
/proc/meminfo: memFree=24632364/32951132 swapFree=67061148/67111528
[pid=9718] ppid=9716 vsize=6364156 CPUtime=0.08 cores=4,6
/proc/9718/stat : 9718 (java) S 9716 9718 831 0 -1 4202496 8976 0 1 0 7 1 0 0 25 0 18 0 891516851 6516895744 8673 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/9718/statm: 1591039 8676 1753 9 0 1581777 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6364156

[startup+0.301089 s]
/proc/loadavg: 4.46 3.19 1.86 5/238 9718
/proc/meminfo: memFree=24632364/32951132 swapFree=67061148/67111528
[pid=9718] ppid=9716 vsize=6432336 CPUtime=0.45 cores=4,6
/proc/9718/stat : 9718 (java) S 9716 9718 831 0 -1 4202496 19648 0 1 0 43 2 0 0 25 0 18 0 891516851 6586712064 18878 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/9718/statm: 1608084 18881 2195 9 0 1598822 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 6432336

[startup+0.701055 s]
/proc/loadavg: 4.46 3.19 1.86 5/238 9718
/proc/meminfo: memFree=24632364/32951132 swapFree=67061148/67111528
[pid=9718] ppid=9716 vsize=6432336 CPUtime=0.96 cores=4,6
/proc/9718/stat : 9718 (java) S 9716 9718 831 0 -1 4202496 55966 0 1 0 89 7 0 0 25 0 18 0 891516851 6586712064 54679 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/9718/statm: 1608084 54679 2208 9 0 1598822 0
Current children cumulated CPU time (s) 0.96
Current children cumulated vsize (KiB) 6432336

[startup+1.50093 s]
/proc/loadavg: 4.46 3.19 1.86 5/256 9750
/proc/meminfo: memFree=24414564/32951132 swapFree=67061148/67111528
[pid=9718] ppid=9716 vsize=6433576 CPUtime=2.08 cores=4,6
/proc/9718/stat : 9718 (java) S 9716 9718 831 0 -1 4202496 73156 0 1 0 199 9 0 0 25 0 18 0 891516851 6587981824 71009 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/9718/statm: 1608394 71009 2223 9 0 1599132 0
[pid=9718/tid=9720] ppid=9716 vsize=6433576 CPUtime=1.48 cores=4,6
/proc/9718/task/9720/stat : 9720 (java) R 9716 9718 831 0 -1 4202560 67823 0 1 0 140 8 0 0 21 0 18 0 891516851 6587981824 71009 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 46912505626728 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=9718/tid=9721] ppid=9716 vsize=6433576 CPUtime=0 cores=4,6
/proc/9718/task/9721/stat : 9721 (java) S 9716 9718 831 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891516852 6587981824 71009 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210658962329 0 4 0 16800975 18446604451575785408 0 0 -1 4 0 0 0
[pid=9718/tid=9722] ppid=9716 vsize=6433576 CPUtime=0 cores=4,6
/proc/9718/task/9722/stat : 9722 (java) S 9716 9718 831 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 891516852 6587981824 71009 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210658962329 0 4 0 16800975 18446604451575785408 0 0 -1 4 0 0 0
[pid=9718/tid=9723] ppid=9716 vsize=6433576 CPUtime=0 cores=4,6
/proc/9718/task/9723/stat : 9723 (java) S 9716 9718 831 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891516852 6587981824 71009 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210658962329 0 4 0 16800975 18446604451575785408 0 0 -1 4 0 0 0
[pid=9718/tid=9724] ppid=9716 vsize=6433576 CPUtime=0 cores=4,6
/proc/9718/task/9724/stat : 9724 (java) S 9716 9718 831 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891516852 6587981824 71009 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210658962329 0 4 0 16800975 18446604451575785408 0 0 -1 4 0 0 0
[pid=9718/tid=9725] ppid=9716 vsize=6433576 CPUtime=0 cores=4,6
/proc/9718/task/9725/stat : 9725 (java) S 9716 9718 831 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891516852 6587981824 71009 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210658962329 0 4 0 16800975 18446604451575785408 0 0 -1 4 0 0 0
[pid=9718/tid=9726] ppid=9716 vsize=6433576 CPUtime=0 cores=4,6
/proc/9718/task/9726/stat : 9726 (java) S 9716 9718 831 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891516852 6587981824 71009 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210658962329 0 4 0 16800975 18446604451575785408 0 0 -1 4 0 0 0
[pid=9718/tid=9727] ppid=9716 vsize=6433576 CPUtime=0 cores=4,6
/proc/9718/task/9727/stat : 9727 (java) S 9716 9718 831 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891516853 6587981824 71009 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210658962329 0 4 0 16800975 18446604451575785408 0 0 -1 4 0 0 0
[pid=9718/tid=9728] ppid=9716 vsize=6433576 CPUtime=0 cores=4,6
/proc/9718/task/9728/stat : 9728 (java) S 9716 9718 831 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891516853 6587981824 71009 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210658962329 0 4 0 16800975 18446604451575785408 0 0 -1 4 0 0 0
[pid=9718/tid=9729] ppid=9716 vsize=6433576 CPUtime=0 cores=4,6
/proc/9718/task/9729/stat : 9729 (java) S 9716 9718 831 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 18 0 891516854 6587981824 71009 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210658962944 0 0 0 16800975 18446604451575785408 0 0 -1 4 0 0 0
[pid=9718/tid=9730] ppid=9716 vsize=6433576 CPUtime=0 cores=4,6
/proc/9718/task/9730/stat : 9730 (java) S 9716 9718 831 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 891516854 6587981824 71009 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210658962329 0 4 0 16800975 18446604451575785408 0 0 -1 4 0 0 0
[pid=9718/tid=9731] ppid=9716 vsize=6433576 CPUtime=0 cores=4,6
/proc/9718/task/9731/stat : 9731 (java) S 9716 9718 831 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 891516854 6587981824 71009 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210658962329 0 4 0 16800975 18446604451575785408 0 0 -1 4 0 0 0
[pid=9718/tid=9732] ppid=9716 vsize=6433576 CPUtime=0 cores=4,6
/proc/9718/task/9732/stat : 9732 (java) S 9716 9718 831 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891516856 6587981824 71009 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210658970033 0 4 0 16800975 18446604451575785408 0 0 -1 4 0 0 0
[pid=9718/tid=9733] ppid=9716 vsize=6433576 CPUtime=0.24 cores=4,6
/proc/9718/task/9733/stat : 9733 (java) S 9716 9718 831 0 -1 4202560 1333 0 0 0 24 0 0 0 20 0 18 0 891516856 6587981824 71009 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210658962329 0 4 0 16800975 18446604451575785408 0 0 -1 6 0 0 0
[pid=9718/tid=9734] ppid=9716 vsize=6433576 CPUtime=0.35 cores=4,6
/proc/9718/task/9734/stat : 9734 (java) S 9716 9718 831 0 -1 4202560 2839 0 0 0 35 0 0 0 19 0 18 0 891516856 6587981824 71009 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210658962329 0 4 0 16800975 18446604451575785408 0 0 -1 6 0 0 0
[pid=9718/tid=9735] ppid=9716 vsize=6433576 CPUtime=0 cores=4,6
/proc/9718/task/9735/stat : 9735 (java) S 9716 9718 831 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891516856 6587981824 71009 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210658962329 0 4 0 16800975 18446604451575785408 0 0 -1 4 0 0 0
[pid=9718/tid=9736] ppid=9716 vsize=6433576 CPUtime=0 cores=4,6
/proc/9718/task/9736/stat : 9736 (java) S 9716 9718 831 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 891516856 6587981824 71009 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210658962944 0 4 0 16800975 18446604451575785408 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.08
Current children cumulated vsize (KiB) 6433576

[startup+3.1821 s]
/proc/loadavg: 4.46 3.19 1.86 5/257 9795
/proc/meminfo: memFree=24281984/32951132 swapFree=67061148/67111528
[pid=9718] ppid=9716 vsize=6434604 CPUtime=3.91 cores=4,6
/proc/9718/stat : 9718 (java) S 9716 9718 831 0 -1 4202496 122692 0 1 0 375 16 0 0 25 0 19 0 891516851 6589034496 119150 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/9718/statm: 1608651 120016 2225 9 0 1599389 0
[pid=9718/tid=9720] ppid=9716 vsize=6434604 CPUtime=3.13 cores=4,6
/proc/9718/task/9720/stat : 9720 (java) R 9716 9718 831 0 -1 4202560 117052 0 1 0 299 14 0 0 23 0 19 0 891516851 6589034496 120422 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 46912505626252 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=9718/tid=9721] ppid=9716 vsize=6434604 CPUtime=0 cores=4,6
/proc/9718/task/9721/stat : 9721 (java) S 9716 9718 831 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891516852 6589034496 120806 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210658962329 0 4 0 16800975 18446604451575785408 0 0 -1 4 0 0 0
[pid=9718/tid=9722] ppid=9716 vsize=6434604 CPUtime=0 cores=4,6
/proc/9718/task/9722/stat : 9722 (java) S 9716 9718 831 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 891516852 6589034496 121574 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210658962329 0 4 0 16800975 18446604451575785408 0 0 -1 4 0 0 0
[pid=9718/tid=9723] ppid=9716 vsize=6434604 CPUtime=0 cores=4,6
/proc/9718/task/9723/stat : 9723 (java) S 9716 9718 831 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891516852 6589034496 121574 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210658962329 0 4 0 16800975 18446604451575785408 0 0 -1 4 0 0 0
[pid=9718/tid=9724] ppid=9716 vsize=6434604 CPUtime=0 cores=4,6
/proc/9718/task/9724/stat : 9724 (java) S 9716 9718 831 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891516852 6589034496 121574 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210658962329 0 4 0 16800975 18446604451575785408 0 0 -1 4 0 0 0
[pid=9718/tid=9725] ppid=9716 vsize=6434604 CPUtime=0 cores=4,6
/proc/9718/task/9725/stat : 9725 (java) S 9716 9718 831 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891516852 6589034496 121576 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210658962329 0 4 0 16800975 18446604451575785408 0 0 -1 4 0 0 0
[pid=9718/tid=9726] ppid=9716 vsize=6434604 CPUtime=0 cores=4,6
/proc/9718/task/9726/stat : 9726 (java) S 9716 9718 831 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891516852 6589034496 121576 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210658962329 0 4 0 16800975 18446604451575785408 0 0 -1 4 0 0 0
[pid=9718/tid=9727] ppid=9716 vsize=6434604 CPUtime=0 cores=4,6
/proc/9718/task/9727/stat : 9727 (java) S 9716 9718 831 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891516853 6589034496 121576 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210658962329 0 4 0 16800975 18446604451575785408 0 0 -1 4 0 0 0
[pid=9718/tid=9728] ppid=9716 vsize=6434604 CPUtime=0 cores=4,6
/proc/9718/task/9728/stat : 9728 (java) S 9716 9718 831 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891516853 6589034496 121576 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210658962329 0 4 0 16800975 18446604451575785408 0 0 -1 4 0 0 0
[pid=9718/tid=9729] ppid=9716 vsize=6434604 CPUtime=0 cores=4,6
/proc/9718/task/9729/stat : 9729 (java) S 9716 9718 831 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 18 0 891516854 6589034496 121576 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210658962944 0 0 0 16800975 18446604451575785408 0 0 -1 4 0 0 0
[pid=9718/tid=9730] ppid=9716 vsize=6434604 CPUtime=0 cores=4,6
/proc/9718/task/9730/stat : 9730 (java) S 9716 9718 831 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 891516854 6589034496 122116 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210658962329 0 4 0 16800975 18446604451575785408 0 0 -1 4 0 0 0
[pid=9718/tid=9731] ppid=9716 vsize=6434604 CPUtime=0 cores=4,6
/proc/9718/task/9731/stat : 9731 (java) S 9716 9718 831 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 891516854 6589034496 122789 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210658962329 0 4 0 16800975 18446604451575785408 0 0 -1 4 0 0 0
[pid=9718/tid=9732] ppid=9716 vsize=6434604 CPUtime=0 cores=4,6
/proc/9718/task/9732/stat : 9732 (java) S 9716 9718 831 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891516856 6589034496 123262 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210658970033 0 4 0 16800975 18446604451575785408 0 0 -1 4 0 0 0
[pid=9718/tid=9733] ppid=9716 vsize=6434604 CPUtime=0.24 cores=4,6
/proc/9718/task/9733/stat : 9733 (java) S 9716 9718 831 0 -1 4202560 1333 0 0 0 24 0 0 0 20 0 19 0 891516856 6589034496 123557 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210658962329 0 4 0 16800975 18446604451575785408 0 0 -1 6 0 0 0
[pid=9718/tid=9734] ppid=9716 vsize=6434604 CPUtime=0.51 cores=4,6
/proc/9718/task/9734/stat : 9734 (java) S 9716 9718 831 0 -1 4202560 4412 0 0 0 51 0 0 0 15 0 19 0 891516856 6589034496 123557 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210658962329 0 4 0 16800975 18446604451575785408 0 0 -1 4 0 0 0
[pid=9718/tid=9735] ppid=9716 vsize=6434604 CPUtime=0 cores=4,6
/proc/9718/task/9735/stat : 9735 (java) S 9716 9718 831 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891516856 6589034496 123557 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210658962329 0 4 0 16800975 18446604451575785408 0 0 -1 4 0 0 0
[pid=9718/tid=9736] ppid=9716 vsize=6434604 CPUtime=0 cores=4,6
/proc/9718/task/9736/stat : 9736 (java) S 9716 9718 831 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 891516856 6589034496 123557 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210658962944 0 4 0 16800975 18446604451575785408 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.91
Current children cumulated vsize (KiB) 6434604

[startup+6.30114 s]
/proc/loadavg: 4.51 3.22 1.88 7/257 9957
/proc/meminfo: memFree=23826612/32951132 swapFree=67061148/67111528
[pid=9718] ppid=9716 vsize=6434604 CPUtime=7.05 cores=4,6
/proc/9718/stat : 9718 (java) S 9716 9718 831 0 -1 4202496 226341 0 1 0 676 29 0 0 25 0 19 0 891516851 6589034496 222775 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/9718/statm: 1608651 222775 2226 9 0 1599389 0
[pid=9718/tid=9720] ppid=9716 vsize=6434604 CPUtime=6.22 cores=4,6
/proc/9718/task/9720/stat : 9720 (java) R 9716 9718 831 0 -1 4202560 219413 0 1 0 597 25 0 0 25 0 19 0 891516851 6589034496 222775 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 46912505779300 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=9718/tid=9721] ppid=9716 vsize=6434604 CPUtime=0 cores=4,6
/proc/9718/task/9721/stat : 9721 (java) S 9716 9718 831 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891516852 6589034496 222775 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210658962329 0 4 0 16800975 18446604451575785408 0 0 -1 4 0 0 0
[pid=9718/tid=9722] ppid=9716 vsize=6434604 CPUtime=0 cores=4,6
/proc/9718/task/9722/stat : 9722 (java) S 9716 9718 831 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 891516852 6589034496 222775 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210658962329 0 4 0 16800975 18446604451575785408 0 0 -1 4 0 0 0
[pid=9718/tid=9723] ppid=9716 vsize=6434604 CPUtime=0 cores=4,6
/proc/9718/task/9723/stat : 9723 (java) S 9716 9718 831 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891516852 6589034496 222775 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210658962329 0 4 0 16800975 18446604451575785408 0 0 -1 4 0 0 0
[pid=9718/tid=9724] ppid=9716 vsize=6434604 CPUtime=0 cores=4,6
/proc/9718/task/9724/stat : 9724 (java) S 9716 9718 831 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891516852 6589034496 222775 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210658962329 0 4 0 16800975 18446604451575785408 0 0 -1 4 0 0 0
[pid=9718/tid=9725] ppid=9716 vsize=6434604 CPUtime=0 cores=4,6
/proc/9718/task/9725/stat : 9725 (java) S 9716 9718 831 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891516852 6589034496 222775 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210658962329 0 4 0 16800975 18446604451575785408 0 0 -1 4 0 0 0
[pid=9718/tid=9726] ppid=9716 vsize=6434604 CPUtime=0 cores=4,6
/proc/9718/task/9726/stat : 9726 (java) S 9716 9718 831 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891516852 6589034496 222775 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210658962329 0 4 0 16800975 18446604451575785408 0 0 -1 4 0 0 0
[pid=9718/tid=9727] ppid=9716 vsize=6434604 CPUtime=0 cores=4,6
/proc/9718/task/9727/stat : 9727 (java) S 9716 9718 831 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891516853 6589034496 222775 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210658962329 0 4 0 16800975 18446604451575785408 0 0 -1 4 0 0 0
[pid=9718/tid=9728] ppid=9716 vsize=6434604 CPUtime=0 cores=4,6
/proc/9718/task/9728/stat : 9728 (java) S 9716 9718 831 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891516853 6589034496 222775 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210658962329 0 4 0 16800975 18446604451575785408 0 0 -1 4 0 0 0
[pid=9718/tid=9729] ppid=9716 vsize=6434604 CPUtime=0 cores=4,6
/proc/9718/task/9729/stat : 9729 (java) S 9716 9718 831 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 891516854 6589034496 222775 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210658962944 0 0 0 16800975 18446604451575785408 0 0 -1 4 0 0 0
[pid=9718/tid=9730] ppid=9716 vsize=6434604 CPUtime=0 cores=4,6
/proc/9718/task/9730/stat : 9730 (java) S 9716 9718 831 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 891516854 6589034496 222775 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210658962329 0 4 0 16800975 18446604451575785408 0 0 -1 4 0 0 0
[pid=9718/tid=9731] ppid=9716 vsize=6434604 CPUtime=0 cores=4,6
/proc/9718/task/9731/stat : 9731 (java) S 9716 9718 831 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 891516854 6589034496 222775 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210658962329 0 4 0 16800975 18446604451575785408 0 0 -1 4 0 0 0
[pid=9718/tid=9732] ppid=9716 vsize=6434604 CPUtime=0 cores=4,6
/proc/9718/task/9732/stat : 9732 (java) S 9716 9718 831 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891516856 6589034496 222775 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210658970033 0 4 0 16800975 18446604451575785408 0 0 -1 4 0 0 0
[pid=9718/tid=9733] ppid=9716 vsize=6434604 CPUtime=0.24 cores=4,6
/proc/9718/task/9733/stat : 9733 (java) S 9716 9718 831 0 -1 4202560 1333 0 0 0 24 0 0 0 20 0 19 0 891516856 6589034496 222775 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210658962329 0 4 0 16800975 18446604451575785408 0 0 -1 6 0 0 0
[pid=9718/tid=9734] ppid=9716 vsize=6434604 CPUtime=0.51 cores=4,6
/proc/9718/task/9734/stat : 9734 (java) S 9716 9718 831 0 -1 4202560 4412 0 0 0 51 0 0 0 15 0 19 0 891516856 6589034496 222775 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210658962329 0 4 0 16800975 18446604451575785408 0 0 -1 4 0 0 0
[pid=9718/tid=9735] ppid=9716 vsize=6434604 CPUtime=0 cores=4,6
/proc/9718/task/9735/stat : 9735 (java) S 9716 9718 831 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891516856 6589034496 222775 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210658962329 0 4 0 16800975 18446604451575785408 0 0 -1 4 0 0 0
[pid=9718/tid=9736] ppid=9716 vsize=6434604 CPUtime=0.02 cores=4,6
/proc/9718/task/9736/stat : 9736 (java) S 9716 9718 831 0 -1 4202560 1 0 0 0 1 1 0 0 15 0 19 0 891516856 6589034496 222775 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210658962944 0 4 0 16800975 18446604451575785408 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 7.05
Current children cumulated vsize (KiB) 6434604

[startup+12.7101 s]
/proc/loadavg: 4.55 3.25 1.90 5/257 10238
/proc/meminfo: memFree=22907672/32951132 swapFree=67061148/67111528
[pid=9718] ppid=9716 vsize=6434604 CPUtime=13.69 cores=4,6
/proc/9718/stat : 9718 (java) S 9716 9718 831 0 -1 4202496 435982 0 1 0 1318 51 0 0 25 0 19 0 891516851 6589034496 432294 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/9718/statm: 1608651 432294 2238 9 0 1599389 0
[pid=9718/tid=9720] ppid=9716 vsize=6434604 CPUtime=12.38 cores=4,6

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

[pid=9718/tid=9723] ppid=9716 vsize=6435632 CPUtime=0.6 cores=4,6
/proc/9718/task/9723/stat : 9723 (java) S 9716 9718 831 0 -1 4202560 43814 0 0 0 55 5 0 0 15 0 19 0 891516852 6590087168 544727 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210658962329 0 4 0 16800975 18446604451575785408 0 0 -1 4 0 0 0
[pid=9718/tid=9724] ppid=9716 vsize=6435632 CPUtime=0.41 cores=4,6
/proc/9718/task/9724/stat : 9724 (java) S 9716 9718 831 0 -1 4202560 8444 0 0 0 41 0 0 0 15 0 19 0 891516852 6590087168 544727 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210658962329 0 4 0 16800975 18446604451575785408 0 0 -1 4 0 0 0
[pid=9718/tid=9725] ppid=9716 vsize=6435632 CPUtime=0.18 cores=4,6
/proc/9718/task/9725/stat : 9725 (java) S 9716 9718 831 0 -1 4202560 879 0 0 0 18 0 0 0 15 0 19 0 891516852 6590087168 544727 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210658962329 0 4 0 16800975 18446604451575785408 0 0 -1 4 0 0 0
[pid=9718/tid=9726] ppid=9716 vsize=6435632 CPUtime=0.2 cores=4,6
/proc/9718/task/9726/stat : 9726 (java) S 9716 9718 831 0 -1 4202560 20471 0 0 0 17 3 0 0 16 0 19 0 891516852 6590087168 544727 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210658962329 0 4 0 16800975 18446604451575785408 0 0 -1 4 0 0 0
[pid=9718/tid=9727] ppid=9716 vsize=6435632 CPUtime=0.52 cores=4,6
/proc/9718/task/9727/stat : 9727 (java) S 9716 9718 831 0 -1 4202560 21775 0 0 0 49 3 0 0 16 0 19 0 891516853 6590087168 544727 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210658962329 0 4 0 16800975 18446604451575785408 0 0 -1 4 0 0 0
[pid=9718/tid=9728] ppid=9716 vsize=6435632 CPUtime=0.22 cores=4,6
/proc/9718/task/9728/stat : 9728 (java) S 9716 9718 831 0 -1 4202560 17936 0 0 0 21 1 0 0 15 0 19 0 891516853 6590087168 544727 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210658962329 0 4 0 16800975 18446604451575785408 0 0 -1 6 0 0 0
[pid=9718/tid=9729] ppid=9716 vsize=6435632 CPUtime=0 cores=4,6
/proc/9718/task/9729/stat : 9729 (java) S 9716 9718 831 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 891516854 6590087168 544727 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210658962944 0 0 0 16800975 18446604451575785408 0 0 -1 6 0 0 0
[pid=9718/tid=9730] ppid=9716 vsize=6435632 CPUtime=0 cores=4,6
/proc/9718/task/9730/stat : 9730 (java) S 9716 9718 831 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 891516854 6590087168 544727 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210658962329 0 4 0 16800975 18446604451575785408 0 0 -1 6 0 0 0
[pid=9718/tid=9731] ppid=9716 vsize=6435632 CPUtime=0 cores=4,6
/proc/9718/task/9731/stat : 9731 (java) S 9716 9718 831 0 -1 4202560 46 0 0 0 0 0 0 0 15 0 19 0 891516854 6590087168 544727 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210658962329 0 4 0 16800975 18446604451575785408 0 0 -1 4 0 0 0
[pid=9718/tid=9732] ppid=9716 vsize=6435632 CPUtime=0 cores=4,6
/proc/9718/task/9732/stat : 9732 (java) S 9716 9718 831 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891516856 6590087168 544727 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210658970033 0 4 0 16800975 18446604451575785408 0 0 -1 4 0 0 0
[pid=9718/tid=9733] ppid=9716 vsize=6435632 CPUtime=0.24 cores=4,6
/proc/9718/task/9733/stat : 9733 (java) S 9716 9718 831 0 -1 4202560 1333 0 0 0 24 0 0 0 20 0 19 0 891516856 6590087168 544727 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210658962329 0 4 0 16800975 18446604451575785408 0 0 -1 6 0 0 0
[pid=9718/tid=9734] ppid=9716 vsize=6435632 CPUtime=0.56 cores=4,6
/proc/9718/task/9734/stat : 9734 (java) S 9716 9718 831 0 -1 4202560 4517 0 0 0 56 0 0 0 15 0 19 0 891516856 6590087168 544727 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210658962329 0 4 0 16800975 18446604451575785408 0 0 -1 4 0 0 0
[pid=9718/tid=9735] ppid=9716 vsize=6435632 CPUtime=0 cores=4,6
/proc/9718/task/9735/stat : 9735 (java) S 9716 9718 831 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891516856 6590087168 544727 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210658962329 0 4 0 16800975 18446604451575785408 0 0 -1 4 0 0 0
[pid=9718/tid=9736] ppid=9716 vsize=6435632 CPUtime=0.04 cores=4,6
/proc/9718/task/9736/stat : 9736 (java) S 9716 9718 831 0 -1 4202560 7 0 0 0 3 1 0 0 15 0 19 0 891516856 6590087168 544727 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210658962944 0 4 0 16800975 18446604451575785408 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 128.75
Current children cumulated vsize (KiB) 6435632

[startup+128.102 s]
/proc/loadavg: 4.18 3.53 2.16 5/256 13521
/proc/meminfo: memFree=25039624/32951132 swapFree=67061148/67111528
[pid=9718] ppid=9716 vsize=6435632 CPUtime=130.35 cores=4,6
/proc/9718/stat : 9718 (java) S 9716 9718 831 0 -1 4202496 549908 0 1 0 12960 75 0 0 25 0 19 0 891516851 6590087168 544727 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/9718/statm: 1608908 544727 2241 9 0 1599646 0
[pid=9718/tid=9720] ppid=9716 vsize=6435632 CPUtime=126.48 cores=4,6
/proc/9718/task/9720/stat : 9720 (java) R 9716 9718 831 0 -1 4202560 396188 0 1 0 12602 46 0 0 25 0 19 0 891516851 6590087168 544727 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 46912505800160 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=9718/tid=9721] ppid=9716 vsize=6435632 CPUtime=0.42 cores=4,6
/proc/9718/task/9721/stat : 9721 (java) S 9716 9718 831 0 -1 4202560 23648 0 0 0 39 3 0 0 15 0 19 0 891516852 6590087168 544727 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210658962329 0 4 0 16800975 18446604451575785408 0 0 -1 6 0 0 0
[pid=9718/tid=9722] ppid=9716 vsize=6435632 CPUtime=0.21 cores=4,6
/proc/9718/task/9722/stat : 9722 (java) S 9716 9718 831 0 -1 4202560 9534 0 0 0 20 1 0 0 16 0 19 0 891516852 6590087168 544727 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210658962329 0 4 0 16800975 18446604451575785408 0 0 -1 6 0 0 0
[pid=9718/tid=9723] ppid=9716 vsize=6435632 CPUtime=0.6 cores=4,6
/proc/9718/task/9723/stat : 9723 (java) S 9716 9718 831 0 -1 4202560 43814 0 0 0 55 5 0 0 15 0 19 0 891516852 6590087168 544727 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210658962329 0 4 0 16800975 18446604451575785408 0 0 -1 4 0 0 0
[pid=9718/tid=9724] ppid=9716 vsize=6435632 CPUtime=0.41 cores=4,6
/proc/9718/task/9724/stat : 9724 (java) S 9716 9718 831 0 -1 4202560 8444 0 0 0 41 0 0 0 15 0 19 0 891516852 6590087168 544727 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210658962329 0 4 0 16800975 18446604451575785408 0 0 -1 4 0 0 0
[pid=9718/tid=9725] ppid=9716 vsize=6435632 CPUtime=0.18 cores=4,6
/proc/9718/task/9725/stat : 9725 (java) S 9716 9718 831 0 -1 4202560 879 0 0 0 18 0 0 0 15 0 19 0 891516852 6590087168 544727 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210658962329 0 4 0 16800975 18446604451575785408 0 0 -1 4 0 0 0
[pid=9718/tid=9726] ppid=9716 vsize=6435632 CPUtime=0.2 cores=4,6
/proc/9718/task/9726/stat : 9726 (java) S 9716 9718 831 0 -1 4202560 20471 0 0 0 17 3 0 0 16 0 19 0 891516852 6590087168 544727 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210658962329 0 4 0 16800975 18446604451575785408 0 0 -1 4 0 0 0
[pid=9718/tid=9727] ppid=9716 vsize=6435632 CPUtime=0.52 cores=4,6
/proc/9718/task/9727/stat : 9727 (java) S 9716 9718 831 0 -1 4202560 21775 0 0 0 49 3 0 0 16 0 19 0 891516853 6590087168 544727 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210658962329 0 4 0 16800975 18446604451575785408 0 0 -1 4 0 0 0
[pid=9718/tid=9728] ppid=9716 vsize=6435632 CPUtime=0.22 cores=4,6
/proc/9718/task/9728/stat : 9728 (java) S 9716 9718 831 0 -1 4202560 17936 0 0 0 21 1 0 0 15 0 19 0 891516853 6590087168 544727 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210658962329 0 4 0 16800975 18446604451575785408 0 0 -1 6 0 0 0
[pid=9718/tid=9729] ppid=9716 vsize=6435632 CPUtime=0 cores=4,6
/proc/9718/task/9729/stat : 9729 (java) S 9716 9718 831 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 891516854 6590087168 544727 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210658962944 0 0 0 16800975 18446604451575785408 0 0 -1 6 0 0 0
[pid=9718/tid=9730] ppid=9716 vsize=6435632 CPUtime=0 cores=4,6
/proc/9718/task/9730/stat : 9730 (java) S 9716 9718 831 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 891516854 6590087168 544727 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210658962329 0 4 0 16800975 18446604451575785408 0 0 -1 6 0 0 0
[pid=9718/tid=9731] ppid=9716 vsize=6435632 CPUtime=0 cores=4,6
/proc/9718/task/9731/stat : 9731 (java) S 9716 9718 831 0 -1 4202560 46 0 0 0 0 0 0 0 15 0 19 0 891516854 6590087168 544727 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210658962329 0 4 0 16800975 18446604451575785408 0 0 -1 4 0 0 0
[pid=9718/tid=9732] ppid=9716 vsize=6435632 CPUtime=0 cores=4,6
/proc/9718/task/9732/stat : 9732 (java) S 9716 9718 831 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891516856 6590087168 544727 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210658970033 0 4 0 16800975 18446604451575785408 0 0 -1 4 0 0 0
[pid=9718/tid=9733] ppid=9716 vsize=6435632 CPUtime=0.24 cores=4,6
/proc/9718/task/9733/stat : 9733 (java) S 9716 9718 831 0 -1 4202560 1333 0 0 0 24 0 0 0 20 0 19 0 891516856 6590087168 544727 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210658962329 0 4 0 16800975 18446604451575785408 0 0 -1 6 0 0 0
[pid=9718/tid=9734] ppid=9716 vsize=6435632 CPUtime=0.56 cores=4,6
/proc/9718/task/9734/stat : 9734 (java) S 9716 9718 831 0 -1 4202560 4517 0 0 0 56 0 0 0 15 0 19 0 891516856 6590087168 544727 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210658962329 0 4 0 16800975 18446604451575785408 0 0 -1 4 0 0 0
[pid=9718/tid=9735] ppid=9716 vsize=6435632 CPUtime=0 cores=4,6
/proc/9718/task/9735/stat : 9735 (java) S 9716 9718 831 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891516856 6590087168 544727 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210658962329 0 4 0 16800975 18446604451575785408 0 0 -1 4 0 0 0
[pid=9718/tid=9736] ppid=9716 vsize=6435632 CPUtime=0.04 cores=4,6
/proc/9718/task/9736/stat : 9736 (java) S 9716 9718 831 0 -1 4202560 7 0 0 0 3 1 0 0 15 0 19 0 891516856 6590087168 544727 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210658962944 0 4 0 16800975 18446604451575785408 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 130.35
Current children cumulated vsize (KiB) 6435632

[startup+128.901 s]
/proc/loadavg: 4.16 3.54 2.16 5/257 13538
/proc/meminfo: memFree=25039616/32951132 swapFree=67061148/67111528
[pid=9718] ppid=9716 vsize=6435632 CPUtime=131.32 cores=4,6
/proc/9718/stat : 9718 (java) S 9716 9718 831 0 -1 4202496 553666 0 1 0 13056 76 0 0 25 0 18 0 891516851 6590087168 546974 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/9718/statm: 1608908 546974 2241 9 0 1599646 0
[pid=9718/tid=9720] ppid=9716 vsize=6435632 CPUtime=127.27 cores=4,6
/proc/9718/task/9720/stat : 9720 (java) R 9716 9718 831 0 -1 4202560 396193 0 1 0 12680 47 0 0 25 0 18 0 891516851 6590087168 546974 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 46912505622528 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=9718/tid=9721] ppid=9716 vsize=6435632 CPUtime=0.42 cores=4,6
/proc/9718/task/9721/stat : 9721 (java) S 9716 9718 831 0 -1 4202560 23648 0 0 0 39 3 0 0 15 0 18 0 891516852 6590087168 546974 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210658962329 0 4 0 16800975 18446604451575785408 0 0 -1 6 0 0 0
[pid=9718/tid=9722] ppid=9716 vsize=6435632 CPUtime=0.21 cores=4,6
/proc/9718/task/9722/stat : 9722 (java) S 9716 9718 831 0 -1 4202560 9534 0 0 0 20 1 0 0 16 0 18 0 891516852 6590087168 546974 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210658962329 0 4 0 16800975 18446604451575785408 0 0 -1 6 0 0 0
[pid=9718/tid=9723] ppid=9716 vsize=6435632 CPUtime=0.6 cores=4,6
/proc/9718/task/9723/stat : 9723 (java) S 9716 9718 831 0 -1 4202560 43814 0 0 0 55 5 0 0 15 0 18 0 891516852 6590087168 546974 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210658962329 0 4 0 16800975 18446604451575785408 0 0 -1 4 0 0 0
[pid=9718/tid=9724] ppid=9716 vsize=6435632 CPUtime=0.41 cores=4,6
/proc/9718/task/9724/stat : 9724 (java) S 9716 9718 831 0 -1 4202560 8444 0 0 0 41 0 0 0 15 0 18 0 891516852 6590087168 546974 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210658962329 0 4 0 16800975 18446604451575785408 0 0 -1 4 0 0 0
[pid=9718/tid=9725] ppid=9716 vsize=6435632 CPUtime=0.18 cores=4,6
/proc/9718/task/9725/stat : 9725 (java) S 9716 9718 831 0 -1 4202560 879 0 0 0 18 0 0 0 15 0 18 0 891516852 6590087168 546974 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210658962329 0 4 0 16800975 18446604451575785408 0 0 -1 4 0 0 0
[pid=9718/tid=9726] ppid=9716 vsize=6435632 CPUtime=0.2 cores=4,6
/proc/9718/task/9726/stat : 9726 (java) S 9716 9718 831 0 -1 4202560 20471 0 0 0 17 3 0 0 16 0 18 0 891516852 6590087168 546974 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210658962329 0 4 0 16800975 18446604451575785408 0 0 -1 4 0 0 0
[pid=9718/tid=9727] ppid=9716 vsize=6435632 CPUtime=0.52 cores=4,6
/proc/9718/task/9727/stat : 9727 (java) S 9716 9718 831 0 -1 4202560 21775 0 0 0 49 3 0 0 16 0 18 0 891516853 6590087168 546974 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210658962329 0 4 0 16800975 18446604451575785408 0 0 -1 4 0 0 0
[pid=9718/tid=9728] ppid=9716 vsize=6435632 CPUtime=0.22 cores=4,6
/proc/9718/task/9728/stat : 9728 (java) S 9716 9718 831 0 -1 4202560 17936 0 0 0 21 1 0 0 15 0 18 0 891516853 6590087168 546974 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210658962329 0 4 0 16800975 18446604451575785408 0 0 -1 6 0 0 0
[pid=9718/tid=9729] ppid=9716 vsize=6435632 CPUtime=0 cores=4,6
/proc/9718/task/9729/stat : 9729 (java) S 9716 9718 831 0 -1 4202560 102 0 0 0 0 0 0 0 16 0 18 0 891516854 6590087168 546974 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210658962944 0 0 0 16800975 18446604451575785408 0 0 -1 6 0 0 0
[pid=9718/tid=9730] ppid=9716 vsize=6435632 CPUtime=0 cores=4,6
/proc/9718/task/9730/stat : 9730 (java) S 9716 9718 831 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 18 0 891516854 6590087168 546974 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210658962329 0 4 0 16800975 18446604451575785408 0 0 -1 6 0 0 0
[pid=9718/tid=9731] ppid=9716 vsize=6435632 CPUtime=0 cores=4,6
/proc/9718/task/9731/stat : 9731 (java) S 9716 9718 831 0 -1 4202560 46 0 0 0 0 0 0 0 15 0 18 0 891516854 6590087168 546974 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210658962329 0 4 0 16800975 18446604451575785408 0 0 -1 4 0 0 0
[pid=9718/tid=9732] ppid=9716 vsize=6435632 CPUtime=0 cores=4,6
/proc/9718/task/9732/stat : 9732 (java) S 9716 9718 831 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891516856 6590087168 546974 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210658970033 0 4 0 16800975 18446604451575785408 0 0 -1 4 0 0 0
[pid=9718/tid=9733] ppid=9716 vsize=6435632 CPUtime=0.25 cores=4,6
/proc/9718/task/9733/stat : 9733 (java) S 9716 9718 831 0 -1 4202560 1333 0 0 0 25 0 0 0 15 0 18 0 891516856 6590087168 546974 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210658962329 0 4 0 16800975 18446604451575785408 0 0 -1 6 0 0 0
[pid=9718/tid=9734] ppid=9716 vsize=6435632 CPUtime=0.73 cores=4,6
/proc/9718/task/9734/stat : 9734 (java) S 9716 9718 831 0 -1 4202560 8270 0 0 0 72 1 0 0 15 0 18 0 891516856 6590087168 546974 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210658962329 0 4 0 16800975 18446604451575785408 0 0 -1 4 0 0 0
[pid=9718/tid=9735] ppid=9716 vsize=6435632 CPUtime=0 cores=4,6
/proc/9718/task/9735/stat : 9735 (java) S 9716 9718 831 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891516856 6590087168 546974 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210658962329 0 4 0 16800975 18446604451575785408 0 0 -1 4 0 0 0
[pid=9718/tid=9736] ppid=9716 vsize=6435632 CPUtime=0.05 cores=4,6
/proc/9718/task/9736/stat : 9736 (java) S 9716 9718 831 0 -1 4202560 7 0 0 0 3 2 0 0 15 0 18 0 891516856 6590087168 546974 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210658962944 0 4 0 16800975 18446604451575785408 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 131.32
Current children cumulated vsize (KiB) 6435632

[startup+129.301 s]
/proc/loadavg: 4.16 3.54 2.16 5/256 13540
/proc/meminfo: memFree=25030444/32951132 swapFree=67061148/67111528
[pid=9718] ppid=9716 vsize=6435632 CPUtime=131.73 cores=4,6
/proc/9718/stat : 9718 (java) S 9716 9718 831 0 -1 4202496 553666 0 1 0 13097 76 0 0 25 0 18 0 891516851 6590087168 546974 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/9718/statm: 1608908 546974 2241 9 0 1599646 0
[pid=9718/tid=9720] ppid=9716 vsize=6435632 CPUtime=127.68 cores=4,6
/proc/9718/task/9720/stat : 9720 (java) R 9716 9718 831 0 -1 4202560 396193 0 1 0 12721 47 0 0 25 0 18 0 891516851 6590087168 546974 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 46912505622591 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=9718/tid=9721] ppid=9716 vsize=6435632 CPUtime=0.42 cores=4,6
/proc/9718/task/9721/stat : 9721 (java) S 9716 9718 831 0 -1 4202560 23648 0 0 0 39 3 0 0 15 0 18 0 891516852 6590087168 546974 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210658962329 0 4 0 16800975 18446604451575785408 0 0 -1 6 0 0 0
[pid=9718/tid=9722] ppid=9716 vsize=6435632 CPUtime=0.21 cores=4,6
/proc/9718/task/9722/stat : 9722 (java) S 9716 9718 831 0 -1 4202560 9534 0 0 0 20 1 0 0 16 0 18 0 891516852 6590087168 546974 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210658962329 0 4 0 16800975 18446604451575785408 0 0 -1 6 0 0 0
[pid=9718/tid=9723] ppid=9716 vsize=6435632 CPUtime=0.6 cores=4,6
/proc/9718/task/9723/stat : 9723 (java) S 9716 9718 831 0 -1 4202560 43814 0 0 0 55 5 0 0 15 0 18 0 891516852 6590087168 546974 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210658962329 0 4 0 16800975 18446604451575785408 0 0 -1 4 0 0 0
[pid=9718/tid=9724] ppid=9716 vsize=6435632 CPUtime=0.41 cores=4,6
/proc/9718/task/9724/stat : 9724 (java) S 9716 9718 831 0 -1 4202560 8444 0 0 0 41 0 0 0 15 0 18 0 891516852 6590087168 546974 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210658962329 0 4 0 16800975 18446604451575785408 0 0 -1 4 0 0 0
[pid=9718/tid=9725] ppid=9716 vsize=6435632 CPUtime=0.18 cores=4,6
/proc/9718/task/9725/stat : 9725 (java) S 9716 9718 831 0 -1 4202560 879 0 0 0 18 0 0 0 15 0 18 0 891516852 6590087168 546974 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210658962329 0 4 0 16800975 18446604451575785408 0 0 -1 4 0 0 0
[pid=9718/tid=9726] ppid=9716 vsize=6435632 CPUtime=0.2 cores=4,6
/proc/9718/task/9726/stat : 9726 (java) S 9716 9718 831 0 -1 4202560 20471 0 0 0 17 3 0 0 16 0 18 0 891516852 6590087168 546974 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210658962329 0 4 0 16800975 18446604451575785408 0 0 -1 4 0 0 0
[pid=9718/tid=9727] ppid=9716 vsize=6435632 CPUtime=0.52 cores=4,6
/proc/9718/task/9727/stat : 9727 (java) S 9716 9718 831 0 -1 4202560 21775 0 0 0 49 3 0 0 16 0 18 0 891516853 6590087168 546974 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210658962329 0 4 0 16800975 18446604451575785408 0 0 -1 4 0 0 0
[pid=9718/tid=9728] ppid=9716 vsize=6435632 CPUtime=0.22 cores=4,6
/proc/9718/task/9728/stat : 9728 (java) S 9716 9718 831 0 -1 4202560 17936 0 0 0 21 1 0 0 15 0 18 0 891516853 6590087168 546974 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210658962329 0 4 0 16800975 18446604451575785408 0 0 -1 6 0 0 0
[pid=9718/tid=9729] ppid=9716 vsize=6435632 CPUtime=0 cores=4,6
/proc/9718/task/9729/stat : 9729 (java) S 9716 9718 831 0 -1 4202560 102 0 0 0 0 0 0 0 16 0 18 0 891516854 6590087168 546974 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210658962944 0 0 0 16800975 18446604451575785408 0 0 -1 6 0 0 0
[pid=9718/tid=9730] ppid=9716 vsize=6435632 CPUtime=0 cores=4,6
/proc/9718/task/9730/stat : 9730 (java) S 9716 9718 831 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 18 0 891516854 6590087168 546974 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210658962329 0 4 0 16800975 18446604451575785408 0 0 -1 6 0 0 0
[pid=9718/tid=9731] ppid=9716 vsize=6435632 CPUtime=0 cores=4,6
/proc/9718/task/9731/stat : 9731 (java) S 9716 9718 831 0 -1 4202560 46 0 0 0 0 0 0 0 15 0 18 0 891516854 6590087168 546974 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210658962329 0 4 0 16800975 18446604451575785408 0 0 -1 4 0 0 0
[pid=9718/tid=9732] ppid=9716 vsize=6435632 CPUtime=0 cores=4,6
/proc/9718/task/9732/stat : 9732 (java) S 9716 9718 831 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891516856 6590087168 546974 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210658970033 0 4 0 16800975 18446604451575785408 0 0 -1 4 0 0 0
[pid=9718/tid=9733] ppid=9716 vsize=6435632 CPUtime=0.25 cores=4,6
/proc/9718/task/9733/stat : 9733 (java) S 9716 9718 831 0 -1 4202560 1333 0 0 0 25 0 0 0 15 0 18 0 891516856 6590087168 546974 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210658962329 0 4 0 16800975 18446604451575785408 0 0 -1 6 0 0 0
[pid=9718/tid=9734] ppid=9716 vsize=6435632 CPUtime=0.73 cores=4,6
/proc/9718/task/9734/stat : 9734 (java) S 9716 9718 831 0 -1 4202560 8270 0 0 0 72 1 0 0 15 0 18 0 891516856 6590087168 546974 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210658962329 0 4 0 16800975 18446604451575785408 0 0 -1 4 0 0 0
[pid=9718/tid=9735] ppid=9716 vsize=6435632 CPUtime=0 cores=4,6
/proc/9718/task/9735/stat : 9735 (java) S 9716 9718 831 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891516856 6590087168 546974 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210658962329 0 4 0 16800975 18446604451575785408 0 0 -1 4 0 0 0
[pid=9718/tid=9736] ppid=9716 vsize=6435632 CPUtime=0.05 cores=4,6
/proc/9718/task/9736/stat : 9736 (java) S 9716 9718 831 0 -1 4202560 7 0 0 0 3 2 0 0 15 0 18 0 891516856 6590087168 546974 33554432000 1073741824 1073778376 140734125580336 18446744073709551615 210658962944 0 4 0 16800975 18446604451575785408 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 131.73
Current children cumulated vsize (KiB) 6435632

[startup+129.501 s]
/proc/loadavg: 4.16 3.54 2.16 5/256 13540
/proc/meminfo: memFree=25030444/32951132 swapFree=67061148/67111528
[pid=9718] ppid=9716 vsize=0 CPUtime=131.93 cores=4,6
/proc/9718/stat : 9718 (java) Z 9716 9718 831 0 -1 4203548 553676 0 1 0 13116 77 0 0 18 0 2 0 891516851 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/9718/statm: 0 0 0 0 0 0 0
[pid=9718/tid=9720] ppid=9716 vsize=0 CPUtime=127.86 cores=4,6
/proc/9718/task/9720/stat : 9720 (java) R 9716 9718 831 0 -1 4203588 396196 0 1 0 12739 47 0 0 25 0 2 0 891516851 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 131.93
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 129.578
CPU time (s): 132.01
CPU user time (s): 131.163
CPU system time (s): 0.846871
CPU usage (%): 101.877
Max. virtual memory (cumulated for all children) (KiB): 6436928

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 131.163
system time used= 0.846871
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 553676
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= 7489
involuntary context switches= 5733

runsolver used 1.08783 second user time and 2.14067 second system time

The end

Begin job on node129 at 2011-06-11 15:32:52
IDJOB=3493472
IDBENCH=89560
IDSOLVER=1972
FILE ID=node129/3493472-1307799172
RUNJOBID= node129-1307798805-859
PBS_JOBID= 13551019
Free space on /tmp= 74092 MiB

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

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

MD5SUM BENCH= 60ac8a21054fe8a10d050c2a73fbc82b
RANDOM SEED=1945014393

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

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

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

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


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      24632784 kB
Buffers:        423908 kB
Cached:        3145364 kB
SwapCached:      13132 kB
Active:        5520808 kB
Inactive:      2528768 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      24632784 kB
SwapTotal:    67111528 kB
SwapFree:     67061148 kB
Dirty:            6800 kB
Writeback:           0 kB
AnonPages:     4476924 kB
Mapped:          17576 kB
Slab:           195736 kB
PageTables:      14140 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS: 18977304 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74092 MiB
End job on node129 at 2011-06-11 15:35:02