0.01/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.01/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.01/0.09	c See www.sat4j.org for details.
0.07/0.10	c version 2.3.0.v20110206
0.07/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.07/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.07/0.10	c java.vm.version	19.1-b02
0.07/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.07/0.10	c sun.arch.data.model	64
0.07/0.10	c java.version		1.6.0_24
0.07/0.10	c os.name		Linux
0.07/0.10	c os.version		2.6.18-164.el5
0.07/0.10	c os.arch		amd64
0.07/0.10	c Free memory 		5997854704
0.07/0.10	c Max memory 		6029312000
0.07/0.10	c Total memory 		6029312000
0.07/0.10	c Number of processors 	8
0.07/0.12	c Explanation (MUS) enabled solver
0.07/0.12	c QuickXplain (AAAI 2004 version) minimization strategy
0.07/0.12	c --- Begin Solver configuration ---
0.07/0.12	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@aa470b8
0.07/0.12	c Learn all clauses as in MiniSAT
0.07/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 
0.07/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT
0.07/0.12	c Expensive reason simplification
0.07/0.12	c Armin Biere (Picosat) restarts strategy
0.07/0.12	c Glucose learned constraints deletion strategy
0.07/0.12	c timeout=2147483647s
0.07/0.12	c DB Simplification allowed=true
0.07/0.12	c --- End Solver configuration ---
0.07/0.12	c solving HOME/instance-3483007-1307605054.cnf
0.07/0.12	c reading problem ... 
2.56/2.43	c ... done. Wall clock time 2.309s.
2.56/2.43	c #vars     2693645
2.56/2.43	c #constraints  2006878
2.56/2.43	c constraints type 
2.56/2.43	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2005116
2.56/2.43	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1762
3.63/3.39	c Unsat detection wall clock time (in seconds) : 3.266
3.63/3.39	c Size of initial unsat subformula: 553
3.63/3.39	c Computing MUS ...
3.63/3.39	c initial unsat core 246332[?] 2693644[?] 686766[?] 2693639[?] 2693638[?] -686766[?] 161748[?]  -492361[?] 2654517[?] -440979[?] 525485[?] 2654356[?]  -525495[?] 2654354[?] -440995[?] 525501[?] 2654341[?]  -525511[?] 2654339[?] -441010[?] 2654326[?] 525516[?]  -525526[?] 2654324[?] -441026[?] 2654311[?] 525532[?]  -525542[?] 2654309[?] -441042[?] 2654296[?] 525548[?]  -525558[?] 2654294[?] -441058[?] 2654281[?] 525564[?]  -525574[?] 2654279[?] -441074[?] 2654266[?] 525580[?]  -525590[?] 2654264[?] -441090[?] 2654251[?] 525596[?]  -525606[?] 2654249[?] -441106[?] 525612[?] 2654236[?]  -525622[?] 2654234[?] -441121[?] 525627[?] 2654221[?]  -525637[?] 2654219[?] -441136[?] 2654206[?] 525642[?]  -525652[?] 2654204[?] -441151[?] 2654191[?] 525657[?]  -525667[?] 2654189[?] -441166[?] 525672[?] 2654176[?]  -525682[?] 2654174[?] -441181[?] 2654161[?] 525687[?]  -525697[?] 2654159[?] -321230[?] 359532[?] 2652410[?]  -359539[?] 2652408[?] 448372[?]  -448379[?] 2652406[?] -321236[?] 359540[?] 2652397[?]  -359545[?] 448380[?] 2652395[?]  -448385[?] 2652393[?] -161752[?] 410718[?] 2651984[?]  -246320[?] 499455[?] 2651982[?]  -334906[?] 598998[?] 2651980[?]  -423810[?] 599006[?] 2651978[?]  -512547[?] 2651976[?] -324837[?] 366407[?] 2642966[?]  -366413[?] 455247[?] 2642964[?]  -455253[?] 538821[?] 2642962[?]  -538827[?] 2642960[?] 324904[?] 366414[?] 2642951[?]  366480[?] 455254[?] 2642949[?]  455320[?] 538828[?] 2642947[?]  -538894[?] 2642945[?] 89232[?] 2629693[?] -686214[?]  -89231[?] 2629690[?] 686213[?]  686214[?] 2629678[?] -686213[?] 2629677[?] 568755[?] 492361[?] 2456014[?]  452065[?] -568755[?] 2456011[?]  568756[?] 492361[?] 2455423[?]  452009[?] -568756[?] 2455420[?]  525611[?] -568755[?] 2452965[?]  525595[?] -568756[?] 2450316[?]  568752[?] 492361[?] 2449135[?]  452121[?] -568752[?] 2449132[?]  525579[?] -568752[?] 2447430[?]  568749[?] 492361[?] 2445025[?]  452177[?] -568749[?] 2445022[?]  525563[?] -568749[?] 2443320[?]  568746[?] 492361[?] 2440507[?]  452233[?] -568746[?] 2440504[?]  525547[?] -568746[?] 2438394[?]  568743[?] 492361[?] 2435173[?]  451635[?] -568743[?] 2435170[?]  525531[?] -568743[?] 2433060[?]  568740[?] 492361[?] 2430655[?]  451579[?] -568740[?] 2430652[?]  525500[?] -568740[?] 2428566[?]  -580902[?] 538827[?] 538894[?] 2386622[?]  539066[?] 580902[?] 2386621[?]  -580888[?] 455253[?] -455320[?] 2386493[?]  455492[?] 580888[?] 2386492[?]  599007[?] 512547[?] 2367099[?]  599011[?] -539066[?] 2367096[?]  599012[?] 512547[?] 2367093[?]  -599010[?] -599012[?] -599011[?] 2367089[?]  599009[?] 599010[?] 2367088[?]  599008[?] -599009[?] 2367084[?]  -599006[?] -599008[?] -599007[?] 2367080[?]  598999[?] 423810[?] 2367078[?]  599003[?] -455492[?] 2367075[?]  599004[?] 423810[?] 2367072[?]  -599002[?] -599003[?] -599004[?] 2367068[?]  599001[?] 599002[?] 2367067[?]  599000[?] -599001[?] 2367063[?]  -598998[?] -599000[?] -598999[?] 2367059[?]  494099[?] 525697[?] 2365557[?]  597703[?] -494099[?] 2365555[?]  494098[?] 525682[?] 2365257[?]  597520[?] -494098[?] 2365255[?]  597708[?] -597703[?] 2365251[?]  597707[?] -597703[?] 2365249[?]  597519[?] -597520[?] 2365246[?]  494095[?] 525667[?] 2364945[?]  597515[?] -494095[?] 2364943[?]  597512[?] -597515[?] 2364940[?]  494092[?] 525652[?] 2364639[?]  597506[?] -494092[?] 2364637[?]  597503[?] -597506[?] 2364634[?]  494089[?] 525637[?] 2364333[?]  597497[?] -494089[?] 2364331[?]  597494[?] -597497[?] 2364328[?]  494086[?] 525622[?] 2364027[?]  597488[?] -494086[?] 2364025[?]  597485[?] -597488[?] 2364022[?]  494083[?] 525606[?] 2363721[?]  597462[?] -494083[?] 2363719[?]  597459[?] -597462[?] 2363716[?]  494080[?] 525590[?] 2363415[?]  597470[?] -494080[?] 2363413[?]  597467[?] -597470[?] 2363410[?]  494077[?] 525574[?] 2363109[?]  597452[?] -494077[?] 2363107[?]  597449[?] -597452[?] 2363104[?]  494074[?] 525558[?] 2362803[?]  597442[?] -494074[?] 2362801[?]  597439[?] -597442[?] 2362798[?]  494071[?] 525542[?] 2362497[?]  597432[?] -494071[?] 2362495[?]  597429[?] -597432[?] 2362492[?]  494068[?] 525526[?] 2362191[?]  597422[?] -494068[?] 2362189[?]  597419[?] -597422[?] 2362186[?]  597704[?] -597708[?] 2362179[?]  597706[?] -597707[?] 2362176[?]  597705[?] -597706[?] 2362173[?]  -494180[?] -597704[?] -597705[?] 2362169[?]  434992[?] 525495[?] 2361834[?]  597267[?] -434992[?] 2361832[?]  434991[?] 525511[?] 2361534[?]  597268[?] -434991[?] 2361532[?]  525321[?] 494180[?] 2361513[?]  597517[?] -597520[?] 2361510[?]  597518[?] -597519[?] 2361507[?]  -494118[?] -597518[?] -597517[?] 2361503[?]  525320[?] 494118[?] 2361501[?]  -597508[?] -525320[?] -525321[?] 2361497[?]  597514[?] -597515[?] 2361495[?]  597509[?] -597514[?] 2361492[?]  597511[?] -597512[?] 2361489[?]  597510[?] -597511[?] 2361486[?]  -494189[?] -597510[?] -597509[?] 2361482[?]  525317[?] 494189[?] 2361480[?]  -597499[?] 597508[?] -525317[?] 2361476[?]  597505[?] -597506[?] 2361474[?]  597500[?] -597505[?] 2361471[?]  597502[?] -597503[?] 2361468[?]  597501[?] -597502[?] 2361465[?]  -494198[?] -597501[?] -597500[?] 2361461[?]  525314[?] 494198[?] 2361459[?]  -597490[?] 597499[?] -525314[?] 2361455[?]  597496[?] -597497[?] 2361453[?]  597491[?] -597496[?] 2361450[?]  597493[?] -597494[?] 2361447[?]  597492[?] -597493[?] 2361444[?]  -494207[?] -597492[?] -597491[?] 2361440[?]  525311[?] 494207[?] 2361438[?]  -597481[?] 597490[?] -525311[?] 2361434[?]  597487[?] -597488[?] 2361432[?]  597482[?] -597487[?] 2361429[?]  597484[?] -597485[?] 2361426[?]  597483[?] -597484[?] 2361423[?]  -494216[?] -597483[?] -597482[?] 2361419[?]  525308[?] 494216[?] 2361417[?]  -597472[?] 597481[?] -525308[?] 2361413[?]  597265[?] -597268[?] 2361412[?]  597264[?] -597267[?] 2361409[?]  597480[?] -597268[?] 2361402[?]  -435009[?] -597265[?] -597480[?] 2361398[?]  448378[?] 435009[?] 2361381[?]  -597258[?] 597472[?] -448378[?] 2361377[?]  597469[?] -597470[?] 2361375[?]  597464[?] -597469[?] 2361372[?]  597466[?] -597467[?] 2361369[?]  597465[?] -597466[?] 2361366[?]  -494227[?] -597465[?] -597464[?] 2361362[?]  525302[?] 494227[?] 2361360[?]  597461[?] -597462[?] 2361354[?]  597456[?] -597461[?] 2361351[?]  597458[?] -597459[?] 2361348[?]  597457[?] -597458[?] 2361345[?]  -494223[?] -597457[?] -597456[?] 2361341[?]  525305[?] 494223[?] 2361339[?]  597451[?] -597452[?] 2361330[?]  597446[?] -597451[?] 2361327[?]  597448[?] -597449[?] 2361324[?]  597447[?] -597448[?] 2361321[?]  -494238[?] -597447[?] -597446[?] 2361317[?]  525299[?] 494238[?] 2361315[?]  597441[?] -597442[?] 2361306[?]  597436[?] -597441[?] 2361303[?]  597438[?] -597439[?] 2361300[?]  597437[?] -597438[?] 2361297[?]  -494247[?] -597437[?] -597436[?] 2361293[?]  525296[?] 494247[?] 2361291[?]  597431[?] -597432[?] 2361282[?]  597426[?] -597431[?] 2361279[?]  597428[?] -597429[?] 2361276[?]  597427[?] -597428[?] 2361273[?]  -494256[?] -597427[?] -597426[?] 2361269[?]  525293[?] 494256[?] 2361267[?]  597421[?] -597422[?] 2361258[?]  597415[?] -597421[?] 2361255[?]  597417[?] -597419[?] 2361252[?]  597416[?] -597417[?] 2361249[?]  -494264[?] -597416[?] -597415[?] 2361245[?]  525290[?] 494264[?] 2361243[?]  -597272[?] -525302[?] -525305[?] 2360789[?]  -597271[?] -525299[?] 597272[?] 2360786[?]  -597270[?] -525296[?] 597271[?] 2360783[?]  -597269[?] 597270[?] -525293[?] 2360780[?]  -597259[?] 597269[?] -525290[?] 2360777[?]  597266[?] -597267[?] 2360775[?]  597260[?] -597266[?] 2360772[?]  597262[?] -597264[?] 2360769[?]  597261[?] -597262[?] 2360766[?]  -435023[?] -597261[?] -597260[?] 2360762[?]  448377[?] 435023[?] 2360760[?]  -597257[?] 597259[?] -448377[?] 2360756[?]  -448384[?] 597258[?] 597257[?] 2360753[?]  405285[?] 441181[?] 2359539[?]  595991[?] -405285[?] 2359537[?]  405284[?] 441166[?] 2359239[?]  595808[?] -405284[?] 2359237[?]  595996[?] -595991[?] 2359233[?]  595995[?] -595991[?] 2359231[?]  595807[?] -595808[?] 2359228[?]  405281[?] 441151[?] 2358927[?]  595803[?] -405281[?] 2358925[?]  595800[?] -595803[?] 2358922[?]  405278[?] 441136[?] 2358621[?]  595794[?] -405278[?] 2358619[?]  595791[?] -595794[?] 2358616[?]  405275[?] 441121[?] 2358315[?]  595785[?] -405275[?] 2358313[?]  595782[?] -595785[?] 2358310[?]  405272[?] 441106[?] 2358009[?]  595776[?] -405272[?] 2358007[?]  595773[?] -595776[?] 2358004[?]  405269[?] 441090[?] 2357703[?]  595750[?] -405269[?] 2357701[?]  595747[?] -595750[?] 2357698[?]  405266[?] 441074[?] 2357397[?]  595758[?] -405266[?] 2357395[?]  595755[?] -595758[?] 2357392[?]  405263[?] 441058[?] 2357091[?]  595740[?] -405263[?] 2357089[?]  595737[?] -595740[?] 2357086[?]  405260[?] 441042[?] 2356785[?]  595730[?] -405260[?] 2356783[?]  595727[?] -595730[?] 2356780[?]  405257[?] 441026[?] 2356479[?]  595720[?] -405257[?] 2356477[?]  595717[?] -595720[?] 2356474[?]  405254[?] 441010[?] 2356173[?]  595710[?] -405254[?] 2356171[?]  595707[?] -595710[?] 2356168[?]  595992[?] -595996[?] 2356161[?]  595994[?] -595995[?] 2356158[?]  595993[?] -595994[?] 2356155[?]  -405366[?] -595992[?] -595993[?] 2356151[?]  346152[?] 440979[?] 2355816[?]  595555[?] -346152[?] 2355814[?]  346151[?] 440995[?] 2355516[?]  595556[?] -346151[?] 2355514[?]  440805[?] 405366[?] 2355495[?]  595805[?] -595808[?] 2355492[?]  595806[?] -595807[?] 2355489[?]  -405304[?] -595806[?] -595805[?] 2355485[?]  440804[?] 405304[?] 2355483[?]  -595796[?] -440805[?] -440804[?] 2355479[?]  595802[?] -595803[?] 2355477[?]  595797[?] -595802[?] 2355474[?]  595799[?] -595800[?] 2355471[?]  595798[?] -595799[?] 2355468[?]  -405375[?] -595798[?] -595797[?] 2355464[?]  440801[?] 405375[?] 2355462[?]  -595787[?] 595796[?] -440801[?] 2355458[?]  595793[?] -595794[?] 2355456[?]  595788[?] -595793[?] 2355453[?]  595790[?] -595791[?] 2355450[?]  595789[?] -595790[?] 2355447[?]  -405384[?] -595789[?] -595788[?] 2355443[?]  440798[?] 405384[?] 2355441[?]  -595778[?] 595787[?] -440798[?] 2355437[?]  595784[?] -595785[?] 2355435[?]  595779[?] -595784[?] 2355432[?]  595781[?] -595782[?] 2355429[?]  595780[?] -595781[?] 2355426[?]  -405393[?] -595780[?] -595779[?] 2355422[?]  440795[?] 405393[?] 2355420[?]  -595769[?] 595778[?] -440795[?] 2355416[?]  595775[?] -595776[?] 2355414[?]  595770[?] -595775[?] 2355411[?]  595772[?] -595773[?] 2355408[?]  595771[?] -595772[?] 2355405[?]  -405402[?] -595771[?] -595770[?] 2355401[?]  440792[?] 405402[?] 2355399[?]  -595760[?] 595769[?] -440792[?] 2355395[?]  595553[?] -595556[?] 2355394[?]  595552[?] -595555[?] 2355391[?]  595768[?] -595556[?] 2355384[?]  -346169[?] -595553[?] -595768[?] 2355380[?]  359538[?] 346169[?] 2355363[?]  -595546[?] 595760[?] -359538[?] 2355359[?]  595757[?] -595758[?] 2355357[?]  595752[?] -595757[?] 2355354[?]  595754[?] -595755[?] 2355351[?]  595753[?] -595754[?] 2355348[?]  -405413[?] -595753[?] -595752[?] 2355344[?]  440786[?] 405413[?] 2355342[?]  595749[?] -595750[?] 2355336[?]  595744[?] -595749[?] 2355333[?]  595746[?] -595747[?] 2355330[?]  595745[?] -595746[?] 2355327[?]  -405409[?] -595745[?] -595744[?] 2355323[?]  440789[?] 405409[?] 2355321[?]  595739[?] -595740[?] 2355312[?]  595734[?] -595739[?] 2355309[?]  595736[?] -595737[?] 2355306[?]  595735[?] -595736[?] 2355303[?]  -405424[?] -595735[?] -595734[?] 2355299[?]  440783[?] 405424[?] 2355297[?]  595729[?] -595730[?] 2355288[?]  595724[?] -595729[?] 2355285[?]  595726[?] -595727[?] 2355282[?]  595725[?] -595726[?] 2355279[?]  -405433[?] -595725[?] -595724[?] 2355275[?]  440780[?] 405433[?] 2355273[?]  595719[?] -595720[?] 2355264[?]  595714[?] -595719[?] 2355261[?]  595716[?] -595717[?] 2355258[?]  595715[?] -595716[?] 2355255[?]  -405442[?] -595715[?] -595714[?] 2355251[?]  440777[?] 405442[?] 2355249[?]  595709[?] -595710[?] 2355240[?]  595703[?] -595709[?] 2355237[?]  595705[?] -595707[?] 2355234[?]  595704[?] -595705[?] 2355231[?]  -405450[?] -595704[?] -595703[?] 2355227[?]  440774[?] 405450[?] 2355225[?]  -595560[?] -440786[?] -440789[?] 2354771[?]  -595559[?] -440783[?] 595560[?] 2354768[?]  -595558[?] -440780[?] 595559[?] 2354765[?]  -595557[?] 595558[?] -440777[?] 2354762[?]  -595547[?] 595557[?] -440774[?] 2354759[?]  595554[?] -595555[?] 2354757[?]  595548[?] -595554[?] 2354754[?]  595550[?] -595552[?] 2354751[?]  595549[?] -595550[?] 2354748[?]  -346183[?] -595549[?] -595548[?] 2354744[?]  359537[?] 346183[?] 2354742[?]  -595545[?] 595547[?] -359537[?] 2354738[?]  -359544[?] 595546[?] 595545[?] 2354735[?]  538829[?] 538894[?] 2191899[?]  538826[?] 448385[?] 2191716[?]  538832[?] 448379[?] 2191713[?]  538831[?] -538832[?] 2191711[?]  538830[?] -538831[?] 2191707[?]  -538828[?] -538830[?] -538829[?] 2191703[?]  538822[?] 538827[?] 2191701[?]  538825[?] -538826[?] 2191698[?]  538824[?] -538825[?] 2191696[?]  538823[?] -538824[?] 2191692[?]  -538821[?] -538823[?] -538822[?] 2191688[?]  525695[?] -452009[?] 2176008[?]  525680[?] -452065[?] 2175519[?]  525665[?] -452121[?] 2175030[?]  525650[?] -452177[?] 2174133[?]  525635[?] -452233[?] 2173032[?]  525620[?] -451635[?] 2171727[?]  525604[?] -525611[?] 2170626[?]  525588[?] -525595[?] 2169525[?]  525572[?] -525579[?] 2166978[?]  525556[?] -525563[?] 2165643[?]  525540[?] -525547[?] 2164425[?]  525524[?] -525531[?] 2163210[?]  525509[?] -451579[?] 2162925[?]  525493[?] -525500[?] 2161620[?]  525688[?] 525697[?] 2157006[?]  525694[?] -525695[?] 2157003[?]  525693[?] -525694[?] 2157000[?]  525692[?] -525693[?] 2156998[?]  525690[?] -525692[?] 2156994[?]  525689[?] -525690[?] 2156991[?]  -525687[?] -525688[?] -525689[?] 2156987[?]  525673[?] 525682[?] 2156970[?]  525679[?] -525680[?] 2156967[?]  525678[?] -525679[?] 2156964[?]  525677[?] -525678[?] 2156962[?]  525675[?] -525677[?] 2156958[?]  525674[?] -525675[?] 2156955[?]  -525672[?] -525673[?] -525674[?] 2156951[?]  525658[?] 525667[?] 2156934[?]  525664[?] -525665[?] 2156931[?]  525663[?] -525664[?] 2156928[?]  525662[?] -525663[?] 2156926[?]  525660[?] -525662[?] 2156922[?]  525659[?] -525660[?] 2156919[?]  -525657[?] -525658[?] -525659[?] 2156915[?]  525643[?] 525652[?] 2156898[?]  525649[?] -525650[?] 2156895[?]  525648[?] -525649[?] 2156892[?]  525647[?] -525648[?] 2156890[?]  525645[?] -525647[?] 2156886[?]  525644[?] -525645[?] 2156883[?]  -525642[?] -525643[?] -525644[?] 2156879[?]  525628[?] 525637[?] 2156862[?]  525634[?] -525635[?] 2156859[?]  525633[?] -525634[?] 2156856[?]  525632[?] -525633[?] 2156854[?]  525630[?] -525632[?] 2156850[?]  525629[?] -525630[?] 2156847[?]  -525627[?] -525628[?] -525629[?] 2156843[?]  525613[?] 525622[?] 2156826[?]  525619[?] -525620[?] 2156823[?]  525618[?] -525619[?] 2156820[?]  525617[?] -525618[?] 2156818[?]  525615[?] -525617[?] 2156814[?]  525614[?] -525615[?] 2156811[?]  -525612[?] -525613[?] -525614[?] 2156807[?]  525597[?] 525606[?] 2156790[?]  525603[?] -525604[?] 2156787[?]  525602[?] -525603[?] 2156784[?]  525601[?] -525602[?] 2156782[?]  525599[?] -525601[?] 2156778[?]  525598[?] -525599[?] 2156775[?]  -525596[?] -525597[?] -525598[?] 2156771[?]  525581[?] 525590[?] 2156754[?]  525587[?] -525588[?] 2156751[?]  525586[?] -525587[?] 2156748[?]  525585[?] -525586[?] 2156746[?]  525583[?] -525585[?] 2156742[?]  525582[?] -525583[?] 2156739[?]  -525580[?] -525581[?] -525582[?] 2156735[?]  525565[?] 525574[?] 2156718[?]  525571[?] -525572[?] 2156715[?]  525570[?] -525571[?] 2156712[?]  525569[?] -525570[?] 2156710[?]  525567[?] -525569[?] 2156706[?]  525566[?] -525567[?] 2156703[?]  -525564[?] -525565[?] -525566[?] 2156699[?]  525549[?] 525558[?] 2156682[?]  525555[?] -525556[?] 2156679[?]  525554[?] -525555[?] 2156676[?]  525553[?] -525554[?] 2156674[?]  525551[?] -525553[?] 2156670[?]  525550[?] -525551[?] 2156667[?]  -525548[?] -525549[?] -525550[?] 2156663[?]  525533[?] 525542[?] 2156646[?]  525539[?] -525540[?] 2156643[?]  525538[?] -525539[?] 2156640[?]  525537[?] -525538[?] 2156638[?]  525535[?] -525537[?] 2156634[?]  525534[?] -525535[?] 2156631[?]  -525532[?] -525533[?] -525534[?] 2156627[?]  525517[?] 525526[?] 2156610[?]  525523[?] -525524[?] 2156607[?]  525522[?] -525523[?] 2156604[?]  525521[?] -525522[?] 2156602[?]  525519[?] -525521[?] 2156598[?]  525518[?] -525519[?] 2156595[?]  -525516[?] -525517[?] -525518[?] 2156591[?]  525502[?] 525511[?] 2156574[?]  525508[?] -525509[?] 2156571[?]  525507[?] -525508[?] 2156568[?]  525506[?] -525507[?] 2156566[?]  525504[?] -525506[?] 2156562[?]  525503[?] -525504[?] 2156559[?]  -525501[?] -525502[?] -525503[?] 2156555[?]  525486[?] 525495[?] 2156538[?]  525492[?] -525493[?] 2156535[?]  525491[?] -525492[?] 2156532[?]  525490[?] -525491[?] 2156530[?]  525488[?] -525490[?] 2156526[?]  525487[?] -525488[?] 2156523[?]  -525485[?] -525486[?] -525487[?] 2156519[?]  -487547[?] 366413[?] -366480[?] 2090492[?]  366652[?] 487547[?] 2090491[?]  499456[?] 334906[?] 2079642[?]  499460[?] -366652[?] 2079639[?]  499461[?] 334906[?] 2079636[?]  -499459[?] -499461[?] -499460[?] 2079632[?]  499458[?] 499459[?] 2079631[?]  499457[?] -499458[?] 2079627[?]  -499455[?] -499457[?] -499456[?] 2079623[?]  455255[?] -455320[?] 1951845[?]  455252[?] 359545[?] 1951662[?]  455258[?] 359539[?] 1951659[?]  455257[?] -455258[?] 1951657[?]  455256[?] -455257[?] 1951653[?]  -455254[?] -455256[?] -455255[?] 1951649[?]  455248[?] 455253[?] 1951647[?]  455251[?] -455252[?] 1951644[?]  455250[?] -455251[?] 1951642[?]  455249[?] -455250[?] 1951638[?]  -455247[?] -455248[?] -455249[?] 1951634[?]  448381[?] 448385[?] 1933728[?]  448383[?] 448384[?] 1933726[?]  448382[?] -448383[?] 1933722[?]  -448380[?] -448381[?] -448382[?] 1933718[?]  448373[?] 448379[?] 1933716[?]  -448376[?] -448377[?] -448378[?] 1933712[?]  448375[?] 448376[?] 1933711[?]  448374[?] -448375[?] 1933707[?]  -448372[?] -448373[?] -448374[?] 1933703[?]  -89493[?] 89231[?] -423821[?] 1882739[?]  423819[?] -89232[?] 1865899[?]  423821[?] 423820[?] 1865897[?]  -423820[?] -423819[?] 1865894[?]  -398707[?] 324837[?] -324904[?] 1837634[?]  277487[?] 398707[?] 1837633[?]  410719[?] 246320[?] 1826784[?]  410723[?] -277487[?] 1826781[?]  410724[?] 246320[?] 1826778[?]  -410722[?] -410724[?] -410723[?] 1826774[?]  410721[?] 410722[?] 1826773[?]  410720[?] -410721[?] 1826769[?]  -410718[?] -410720[?] -410719[?] 1826765[?]  366415[?] -366480[?] 1698801[?]  366412[?] 321236[?] 1698618[?]  366418[?] 321230[?] 1698615[?]  366417[?] -366418[?] 1698613[?]  366416[?] -366417[?] 1698609[?]  -366414[?] -366415[?] -366416[?] 1698605[?]  366408[?] 366413[?] 1698603[?]  366411[?] -366412[?] 1698600[?]  366410[?] -366411[?] 1698598[?]  366409[?] -366410[?] 1698594[?]  -366407[?] -366408[?] -366409[?] 1698590[?]  359541[?] 359545[?] 1680684[?]  359543[?] 359544[?] 1680682[?]  359542[?] -359543[?] 1680678[?]  -359540[?] -359541[?] -359542[?] 1680674[?]  359533[?] 359539[?] 1680672[?]  -359536[?] -359537[?] -359538[?] 1680668[?]  359535[?] 359536[?] 1680667[?]  359534[?] -359535[?] 1680663[?]  -359532[?] -359533[?] -359534[?] 1680659[?]  -68408[?] 89493[?] 161752[?] 1361199[?]  -161749[?] -246333[?] 68408[?] 1361196[?]  246333[?] -246332[?] 1361195[?]  161751[?] 161752[?] 1122911[?]  161750[?] -161751[?] 1122909[?]  -161748[?] 161749[?] -161750[?] 1122904[?]  
4.56/4.20	c qxplain 0/552
5.83/5.48	c qxplain 277/552
6.85/6.45	c qxplain 415/552
7.89/7.44	c qxplain 484/552
8.94/8.41	c qxplain 519/552
12.65/10.68	c qxplain 536/552
13.45/11.41	c qxplain 545/552
14.15/12.15	c qxplain 549/552
14.85/12.87	c qxplain 551/552
15.55/13.60	c qxplain 552/552
16.35/14.32	c 1122904[?] -161750[?] 161749[?] -161748[?]  is mandatory 
16.35/14.32	c qxplain 551/551
17.05/15.05	c 1122909[?] 161750[?] -161751[?]  is mandatory 
17.05/15.05	c qxplain 549/550
17.75/15.76	c qxplain 550/550
18.45/16.49	c 1122911[?] 161751[?] 161752[?]  is mandatory 
18.45/16.49	c qxplain 549/549
19.25/17.21	c 1361195[?] 246333[?] -246332[?]  is mandatory 
19.25/17.21	c qxplain 545/548
19.95/17.94	c qxplain 547/548
20.65/18.66	c qxplain 548/548
21.35/19.38	c 1361196[?] -161749[?] 68408[?] -246333[?]  is mandatory 
21.35/19.38	c qxplain 547/547
22.15/20.11	c 1361199[?] -68408[?] 89493[?] 161752[?]  is mandatory 
22.15/20.11	c qxplain 545/546
22.97/20.93	c qxplain 546/546
23.66/21.66	c 1680659[?] -359532[?] -359534[?] -359533[?]  is mandatory 
23.66/21.66	c qxplain 545/545
25.86/23.65	c 1680663[?] 359534[?] -359535[?]  is mandatory 
25.86/23.65	c qxplain 536/544
26.56/24.39	c qxplain 541/544
27.36/25.13	c qxplain 543/544
28.06/25.87	c qxplain 544/544
28.76/26.62	c 1680667[?] 359535[?] 359536[?]  is mandatory 
28.76/26.62	c qxplain 543/543
29.36/27.36	c 1680668[?] -359536[?] -359537[?] -359538[?]  is mandatory 
29.36/27.36	c qxplain 541/542
30.26/28.09	c qxplain 542/542
31.06/28.82	c 1680672[?] 359533[?] 359539[?]  is mandatory 
31.06/28.82	c qxplain 541/541
31.79/29.56	c 1680674[?] -359540[?] -359542[?] -359541[?]  is mandatory 
31.79/29.56	c qxplain 536/540
32.52/30.43	c qxplain 539/540
33.22/31.17	c qxplain 540/540
34.02/31.91	c 1680678[?] 359542[?] -359543[?]  is mandatory 
34.02/31.91	c qxplain 539/539
34.72/32.65	c 1680682[?] 359543[?] 359544[?]  is mandatory 
34.72/32.65	c qxplain 536/538
35.42/33.39	c qxplain 538/538
36.22/34.14	c 1680684[?] 359541[?] 359545[?]  is mandatory 
36.22/34.14	c qxplain 536/537
36.92/34.88	c qxplain 537/537
38.53/36.01	c 1698590[?] -366407[?] -366409[?] -366408[?]  is mandatory 
38.53/36.01	c qxplain 536/536
39.23/36.74	c 1698594[?] 366409[?] -366410[?]  is mandatory 
39.23/36.74	c qxplain 519/535
39.93/37.47	c qxplain 528/535
40.63/38.19	c qxplain 532/535
41.43/38.92	c qxplain 534/535
42.13/39.64	c qxplain 535/535
42.83/40.36	c 1698598[?] 366410[?] -366411[?]  is mandatory 
42.83/40.36	c qxplain 534/534
43.53/41.08	c 1698600[?] 366411[?] -366412[?]  is mandatory 
43.53/41.08	c qxplain 532/533
44.33/41.81	c qxplain 533/533
45.03/42.53	c 1698603[?] 366408[?] 366413[?]  is mandatory 
45.03/42.53	c qxplain 532/532
45.73/43.25	c 1698605[?] -366414[?] -366416[?] -366415[?]  is mandatory 
45.73/43.25	c qxplain 528/531
46.45/43.97	c qxplain 530/531
47.13/44.68	c qxplain 531/531
47.93/45.40	c 1698609[?] 366416[?] -366417[?]  is mandatory 
47.93/45.40	c qxplain 530/530
48.65/46.12	c 1698613[?] 366417[?] -366418[?]  is mandatory 
48.65/46.12	c qxplain 528/529
49.33/46.85	c qxplain 529/529
50.78/47.93	c 1698615[?] 366418[?] 321230[?]  is mandatory 
50.78/47.93	c qxplain 528/528
51.48/48.67	c 1698618[?] 366412[?] 321236[?]  is mandatory 
51.48/48.67	c qxplain 519/527
52.18/49.41	c qxplain 524/527
52.98/50.17	c qxplain 526/527
53.78/50.90	c qxplain 527/527
54.50/51.66	c 1698801[?] 366415[?] -366480[?]  is mandatory 
54.50/51.66	c qxplain 526/526
55.18/52.40	c 1826765[?] -410718[?] -410720[?] -410719[?]  is mandatory 
55.18/52.40	c qxplain 524/525
55.98/53.14	c qxplain 525/525
56.70/53.88	c 1826769[?] 410720[?] -410721[?]  is mandatory 
56.70/53.88	c qxplain 524/524
57.48/54.61	c 1826773[?] 410721[?] 410722[?]  is mandatory 
57.48/54.61	c qxplain 519/523
58.18/55.35	c qxplain 522/523
58.90/56.08	c qxplain 523/523
59.68/56.82	c 1826774[?] -410722[?] -410724[?] -410723[?]  is mandatory 
59.68/56.82	c qxplain 522/522
60.38/57.56	c 1826778[?] 410724[?] 246320[?]  is mandatory 
60.38/57.56	c qxplain 519/521
61.09/58.30	c qxplain 521/521
61.88/59.04	c 1826781[?] 410723[?] -277487[?]  is mandatory 
61.88/59.04	c qxplain 519/520
62.58/59.77	c qxplain 520/520
64.07/60.89	c 1826784[?] 410719[?] 246320[?]  is mandatory 
64.07/60.89	c qxplain 519/519
64.87/61.63	c 1837633[?] 277487[?] 398707[?]  is mandatory 
64.87/61.63	c qxplain 484/518
65.57/62.35	c qxplain 502/518
66.27/63.08	c qxplain 511/518
67.07/63.80	c qxplain 515/518
67.77/64.53	c qxplain 517/518
68.47/65.24	c qxplain 518/518
69.19/65.97	c 1837634[?] -398707[?] -324904[?] 324837[?]  is mandatory 
69.19/65.97	c qxplain 517/517
69.87/66.69	c 1865894[?] -423820[?] -423819[?]  is mandatory 
69.87/66.69	c qxplain 515/516
70.67/67.41	c qxplain 516/516
71.39/68.13	c 1865897[?] 423821[?] 423820[?]  is mandatory 
71.39/68.13	c qxplain 515/515
72.07/68.85	c 1865899[?] 423819[?] -89232[?]  is mandatory 
72.07/68.85	c qxplain 511/514
72.77/69.58	c qxplain 513/514
73.59/70.32	c qxplain 514/514
74.27/71.04	c 1882739[?] -89493[?] -423821[?] 89231[?]  is mandatory 
74.27/71.04	c qxplain 513/513
74.97/71.76	c 1933703[?] -448372[?] -448374[?] -448373[?]  is mandatory 
74.97/71.76	c qxplain 511/512
76.45/72.88	c qxplain 512/512
77.27/73.62	c 1933707[?] 448374[?] -448375[?]  is mandatory 
77.27/73.62	c qxplain 511/511
77.95/74.36	c 1933711[?] 448375[?] 448376[?]  is mandatory 
77.95/74.36	c qxplain 502/510
78.75/75.11	c qxplain 507/510
79.46/75.85	c qxplain 509/510
80.25/76.60	c qxplain 510/510
80.95/77.34	c 1933712[?] -448376[?] -448377[?] -448378[?]  is mandatory 
80.95/77.34	c qxplain 509/509
84.10/80.00	c 1933716[?] 448373[?] 448379[?]  is mandatory 
84.10/80.00	c qxplain 507/508
84.90/80.73	c qxplain 508/508
85.60/81.47	c 1933718[?] -448380[?] -448382[?] -448381[?]  is mandatory 
85.60/81.47	c qxplain 507/507
86.40/82.21	c 1933722[?] 448382[?] -448383[?]  is mandatory 
86.40/82.21	c qxplain 502/506
87.10/82.95	c qxplain 505/506
87.90/83.70	c qxplain 506/506
88.70/84.50	c 1933726[?] 448383[?] 448384[?]  is mandatory 
88.70/84.50	c qxplain 505/505
89.40/85.29	c 1933728[?] 448381[?] 448385[?]  is mandatory 
89.40/85.29	c qxplain 502/504
90.34/86.19	c qxplain 504/504
91.14/86.99	c 1951634[?] -455247[?] -455249[?] -455248[?]  is mandatory 
91.14/86.99	c qxplain 502/503
91.95/87.78	c qxplain 503/503
92.75/88.54	c 1951638[?] 455249[?] -455250[?]  is mandatory 
92.75/88.54	c qxplain 502/502
93.45/89.29	c 1951642[?] 455250[?] -455251[?]  is mandatory 
93.45/89.29	c qxplain 484/501
94.25/90.04	c qxplain 493/501
94.95/90.78	c qxplain 498/501
95.78/91.57	c qxplain 500/501
96.59/92.31	c qxplain 501/501
97.29/93.05	c 1951644[?] 455251[?] -455252[?]  is mandatory 
97.29/93.05	c qxplain 500/500
97.99/93.79	c 1951647[?] 455248[?] 455253[?]  is mandatory 
97.99/93.79	c qxplain 498/499
98.79/94.52	c qxplain 499/499
99.49/95.26	c 1951649[?] -455254[?] -455256[?] -455255[?]  is mandatory 
99.49/95.26	c qxplain 498/498
100.19/96.00	c 1951653[?] 455256[?] -455257[?]  is mandatory 
100.19/96.00	c qxplain 493/497
101.04/96.78	c qxplain 496/497
101.86/97.52	c qxplain 497/497
102.54/98.26	c 1951657[?] 455257[?] -455258[?]  is mandatory 
102.54/98.26	c qxplain 496/496
103.24/98.99	c 1951659[?] 455258[?] 359539[?]  is mandatory 
103.24/98.99	c qxplain 493/495
104.06/99.74	c qxplain 495/495
104.74/100.47	c 1951662[?] 455252[?] 359545[?]  is mandatory 
104.74/100.47	c qxplain 493/494
105.54/101.21	c qxplain 494/494
106.39/102.00	c 1951845[?] 455255[?] -455320[?]  is mandatory 
106.39/102.00	c qxplain 493/493
107.11/102.84	c 2079623[?] -499455[?] -499457[?] -499456[?]  is mandatory 
107.11/102.84	c qxplain 484/492
107.91/103.59	c qxplain 489/492
108.71/104.32	c qxplain 491/492
109.41/105.06	c qxplain 492/492
110.21/105.80	c 2079627[?] 499457[?] -499458[?]  is mandatory 
110.21/105.80	c qxplain 491/491
110.91/106.55	c 2079631[?] 499458[?] 499459[?]  is mandatory 
110.91/106.55	c qxplain 489/490
111.61/107.28	c qxplain 490/490
112.46/108.06	c 2079632[?] -499459[?] -499461[?] -499460[?]  is mandatory 
112.46/108.06	c qxplain 489/489
113.16/108.80	c 2079636[?] 499461[?] 334906[?]  is mandatory 
113.16/108.80	c qxplain 484/488
113.96/109.53	c qxplain 487/488
114.66/110.27	c qxplain 488/488
115.36/111.01	c 2079639[?] 499460[?] -366652[?]  is mandatory 
115.36/111.01	c qxplain 487/487
116.16/111.74	c 2079642[?] 499456[?] 334906[?]  is mandatory 
116.16/111.74	c qxplain 484/486
116.86/112.48	c qxplain 486/486
117.73/113.27	c 2090491[?] 366652[?] 487547[?]  is mandatory 
117.73/113.27	c qxplain 484/485
118.51/114.00	c qxplain 485/485
119.21/114.74	c 2090492[?] -487547[?] -366480[?] 366413[?]  is mandatory 
119.21/114.74	c qxplain 484/484
119.92/115.48	c 2156519[?] -525485[?] -525487[?] -525486[?]  is mandatory 
119.92/115.48	c qxplain 415/483
120.71/116.22	c qxplain 450/483
121.41/116.96	c qxplain 467/483
122.21/117.70	c qxplain 476/483
122.95/118.49	c qxplain 480/483
123.75/119.23	c qxplain 482/483
124.45/119.96	c qxplain 483/483
125.25/120.70	c 2156523[?] 525487[?] -525488[?]  is mandatory 
125.25/120.70	c qxplain 482/482
125.95/121.44	c 2156526[?] 525488[?] -525490[?]  is mandatory 
125.95/121.44	c qxplain 480/481
126.65/122.18	c qxplain 481/481
127.45/122.91	c 2156530[?] 525490[?] -525491[?]  is mandatory 
127.45/122.91	c qxplain 480/480
128.20/123.69	c 2156532[?] 525491[?] -525492[?]  is mandatory 
128.20/123.69	c qxplain 476/479
129.00/124.43	c qxplain 478/479
129.70/125.16	c qxplain 479/479
130.50/125.91	c 2156535[?] 525492[?] -525493[?]  is mandatory 
130.50/125.91	c qxplain 478/478
131.20/126.64	c 2156538[?] 525486[?] 525495[?]  is mandatory 
131.20/126.64	c qxplain 476/477
131.90/127.38	c qxplain 477/477
132.70/128.12	c 2156555[?] -525501[?] -525503[?] -525502[?]  is mandatory 
132.70/128.12	c qxplain 476/476
133.40/128.86	c 2156559[?] 525503[?] -525504[?]  is mandatory 
133.40/128.86	c qxplain 467/475
134.24/129.65	c qxplain 472/475
134.94/130.39	c qxplain 474/475
135.74/131.13	c qxplain 475/475
136.44/131.88	c 2156562[?] 525504[?] -525506[?]  is mandatory 
136.44/131.88	c qxplain 474/474
137.24/132.65	c 2156566[?] 525506[?] -525507[?]  is mandatory 
137.24/132.65	c qxplain 472/473
137.94/133.39	c qxplain 473/473
138.76/134.13	c 2156568[?] 525507[?] -525508[?]  is mandatory 
138.76/134.13	c qxplain 472/472
139.58/134.92	c 2156571[?] 525508[?] -525509[?]  is mandatory 
139.58/134.92	c qxplain 467/471
140.08/135.67	c qxplain 470/471
141.06/136.64	c qxplain 471/471
141.74/137.38	c 2156574[?] 525502[?] 525511[?]  is mandatory 
141.74/137.38	c qxplain 470/470
142.54/138.11	c 2156591[?] -525516[?] -525518[?] -525517[?]  is mandatory 
142.54/138.11	c qxplain 467/469
143.26/138.85	c qxplain 469/469
143.94/139.58	c 2156595[?] 525518[?] -525519[?]  is mandatory 
143.94/139.58	c qxplain 467/468
144.78/140.38	c qxplain 468/468
145.58/141.12	c 2156598[?] 525519[?] -525521[?]  is mandatory 
145.58/141.12	c qxplain 467/467
146.28/141.85	c 2156602[?] 525521[?] -525522[?]  is mandatory 
146.28/141.85	c qxplain 450/466
146.98/142.59	c qxplain 459/466
147.78/143.33	c qxplain 463/466
148.48/144.06	c qxplain 465/466
149.28/144.80	c qxplain 466/466
149.98/145.53	c 2156604[?] 525522[?] -525523[?]  is mandatory 
149.98/145.53	c qxplain 465/465
150.68/146.27	c 2156607[?] 525523[?] -525524[?]  is mandatory 
150.68/146.27	c qxplain 463/464
151.53/147.06	c qxplain 464/464
152.33/147.80	c 2156610[?] 525517[?] 525526[?]  is mandatory 
152.33/147.80	c qxplain 463/463
153.03/148.54	c 2156627[?] -525532[?] -525534[?] -525533[?]  is mandatory 
153.03/148.54	c qxplain 459/462
153.73/149.28	c qxplain 461/462
154.53/150.01	c qxplain 462/462
155.23/150.74	c 2156631[?] 525534[?] -525535[?]  is mandatory 
155.23/150.74	c qxplain 461/461
155.93/151.47	c 2156634[?] 525535[?] -525537[?]  is mandatory 
155.93/151.47	c qxplain 459/460
156.73/152.20	c qxplain 460/460
157.48/152.99	c 2156638[?] 525537[?] -525538[?]  is mandatory 
157.48/152.99	c qxplain 459/459
158.28/153.73	c 2156640[?] 525538[?] -525539[?]  is mandatory 
158.28/153.73	c qxplain 450/458
158.98/154.46	c qxplain 455/458
159.68/155.20	c qxplain 457/458
160.48/155.93	c qxplain 458/458
161.18/156.67	c 2156643[?] 525539[?] -525540[?]  is mandatory 
161.18/156.67	c qxplain 457/457
161.88/157.40	c 2156646[?] 525533[?] 525542[?]  is mandatory 
161.88/157.40	c qxplain 455/456
162.68/158.14	c qxplain 456/456
163.38/158.87	c 2156663[?] -525548[?] -525550[?] -525549[?]  is mandatory 
163.38/158.87	c qxplain 455/455
164.08/159.60	c 2156667[?] 525550[?] -525551[?]  is mandatory 
164.08/159.60	c qxplain 450/454
164.93/160.39	c qxplain 453/454
165.73/161.13	c qxplain 454/454
166.43/161.87	c 2156670[?] 525551[?] -525553[?]  is mandatory 
166.43/161.87	c qxplain 453/453
167.23/162.60	c 2156674[?] 525553[?] -525554[?]  is mandatory 
167.23/162.60	c qxplain 450/452
167.93/163.34	c qxplain 452/452
168.63/164.07	c 2156676[?] 525554[?] -525555[?]  is mandatory 
168.63/164.07	c qxplain 450/451
169.43/164.81	c qxplain 451/451
170.13/165.56	c 2156679[?] 525555[?] -525556[?]  is mandatory 
170.13/165.56	c qxplain 450/450
170.83/166.29	c 2156682[?] 525549[?] 525558[?]  is mandatory 
170.83/166.29	c qxplain 415/449
171.62/167.03	c qxplain 433/449
172.47/167.83	c qxplain 442/449
173.19/168.57	c qxplain 446/449
173.77/169.30	c qxplain 448/449
174.67/170.04	c qxplain 449/449
175.38/170.77	c 2156699[?] -525564[?] -525566[?] -525565[?]  is mandatory 
175.38/170.77	c qxplain 448/448
176.18/171.51	c 2156703[?] 525566[?] -525567[?]  is mandatory 
176.18/171.51	c qxplain 446/447
176.88/172.24	c qxplain 447/447
177.58/172.99	c 2156706[?] 525567[?] -525569[?]  is mandatory 
177.58/172.99	c qxplain 446/446
178.38/173.73	c 2156710[?] 525569[?] -525570[?]  is mandatory 
178.38/173.73	c qxplain 442/445
179.08/174.47	c qxplain 444/445
179.78/175.20	c qxplain 445/445
180.58/175.94	c 2156712[?] 525570[?] -525571[?]  is mandatory 
180.58/175.94	c qxplain 444/444
181.43/176.72	c 2156715[?] 525571[?] -525572[?]  is mandatory 
181.43/176.72	c qxplain 442/443
182.14/177.45	c qxplain 443/443
182.83/178.19	c 2156718[?] 525565[?] 525574[?]  is mandatory 
182.83/178.19	c qxplain 442/442
183.63/178.92	c 2156735[?] -525580[?] -525582[?] -525581[?]  is mandatory 
183.63/178.92	c qxplain 433/441
184.34/179.65	c qxplain 438/441
185.03/180.38	c qxplain 440/441
185.83/181.12	c qxplain 441/441
186.54/181.85	c 2156739[?] 525582[?] -525583[?]  is mandatory 
186.54/181.85	c qxplain 440/440
187.23/182.59	c 2156742[?] 525583[?] -525585[?]  is mandatory 
187.23/182.59	c qxplain 438/439
188.03/183.32	c qxplain 439/439
188.74/184.05	c 2156746[?] 525585[?] -525586[?]  is mandatory 
188.74/184.05	c qxplain 438/438
189.56/184.86	c 2156748[?] 525586[?] -525587[?]  is mandatory 
189.56/184.86	c qxplain 433/437
190.25/185.59	c qxplain 436/437
191.05/186.32	c qxplain 437/437
191.75/187.05	c 2156751[?] 525587[?] -525588[?]  is mandatory 
191.75/187.05	c qxplain 436/436
192.46/187.79	c 2156754[?] 525581[?] 525590[?]  is mandatory 
192.46/187.79	c qxplain 433/435
193.25/188.55	c qxplain 435/435
193.95/189.29	c 2156771[?] -525596[?] -525598[?] -525597[?]  is mandatory 
193.95/189.29	c qxplain 433/434
194.75/190.03	c qxplain 434/434
195.45/190.76	c 2156775[?] 525598[?] -525599[?]  is mandatory 
195.45/190.76	c qxplain 433/433
196.15/191.49	c 2156778[?] 525599[?] -525601[?]  is mandatory 
196.15/191.49	c qxplain 415/432
196.95/192.24	c qxplain 424/432
197.65/192.98	c qxplain 429/432
198.45/193.72	c qxplain 431/432
199.30/194.51	c qxplain 432/432
200.00/195.25	c 2156782[?] 525601[?] -525602[?]  is mandatory 
200.00/195.25	c qxplain 431/431
200.70/195.99	c 2156784[?] 525602[?] -525603[?]  is mandatory 
200.70/195.99	c qxplain 429/430
201.50/196.73	c qxplain 430/430
202.20/197.47	c 2156787[?] 525603[?] -525604[?]  is mandatory 
202.20/197.47	c qxplain 429/429
202.90/198.20	c 2156790[?] 525597[?] 525606[?]  is mandatory 
202.90/198.20	c qxplain 424/428
203.70/198.93	c qxplain 427/428
204.40/199.67	c qxplain 428/428
205.10/200.40	c 2156807[?] -525612[?] -525614[?] -525613[?]  is mandatory 
205.10/200.40	c qxplain 427/427
205.90/201.13	c 2156811[?] 525614[?] -525615[?]  is mandatory 
205.90/201.13	c qxplain 424/426
206.60/201.87	c qxplain 426/426
207.30/202.60	c 2156814[?] 525615[?] -525617[?]  is mandatory 
207.30/202.60	c qxplain 424/425
208.10/203.34	c qxplain 425/425
208.93/204.16	c 2156818[?] 525617[?] -525618[?]  is mandatory 
208.93/204.16	c qxplain 424/424
209.63/204.90	c 2156820[?] 525618[?] -525619[?]  is mandatory 
209.63/204.90	c qxplain 415/423
210.43/205.64	c qxplain 420/423
211.13/206.38	c qxplain 422/423
211.83/207.11	c qxplain 423/423
212.63/207.84	c 2156823[?] 525619[?] -525620[?]  is mandatory 
212.63/207.84	c qxplain 422/422
213.33/208.57	c 2156826[?] 525613[?] 525622[?]  is mandatory 
213.33/208.57	c qxplain 420/421
214.03/209.31	c qxplain 421/421
214.73/210.05	c 2156843[?] -525627[?] -525629[?] -525628[?]  is mandatory 
214.73/210.05	c qxplain 420/420
215.61/210.79	c 2156847[?] 525629[?] -525630[?]  is mandatory 
215.61/210.79	c qxplain 415/419
216.33/211.52	c qxplain 418/419
217.03/212.26	c qxplain 419/419
217.73/212.99	c 2156850[?] 525630[?] -525632[?]  is mandatory 
217.73/212.99	c qxplain 418/418
218.57/213.78	c 2156854[?] 525632[?] -525633[?]  is mandatory 
218.57/213.78	c qxplain 415/417
219.37/214.52	c qxplain 417/417
220.07/215.25	c 2156856[?] 525633[?] -525634[?]  is mandatory 
220.07/215.25	c qxplain 415/416
220.77/215.98	c qxplain 416/416
221.57/216.72	c 2156859[?] 525634[?] -525635[?]  is mandatory 
221.57/216.72	c qxplain 415/415
222.27/217.45	c 2156862[?] 525628[?] 525637[?]  is mandatory 
222.27/217.45	c qxplain 277/414
222.97/218.20	c qxplain 346/414
223.77/218.94	c qxplain 381/414
224.47/219.68	c qxplain 398/414
225.27/220.43	c qxplain 407/414
225.97/221.17	c qxplain 411/414
226.77/221.90	c qxplain 413/414
227.47/222.63	c qxplain 414/414
228.17/223.36	c 2156879[?] -525642[?] -525644[?] -525643[?]  is mandatory 
228.17/223.36	c qxplain 413/413
229.01/224.15	c 2156883[?] 525644[?] -525645[?]  is mandatory 
229.01/224.15	c qxplain 411/412
229.72/224.88	c qxplain 412/412
230.51/225.61	c 2156886[?] 525645[?] -525647[?]  is mandatory 
230.51/225.61	c qxplain 411/411
231.21/226.35	c 2156890[?] 525647[?] -525648[?]  is mandatory 
231.21/226.35	c qxplain 407/410
231.92/227.08	c qxplain 409/410
232.72/227.81	c qxplain 410/410
233.41/228.55	c 2156892[?] 525648[?] -525649[?]  is mandatory 
233.41/228.55	c qxplain 409/409
234.12/229.29	c 2156895[?] 525649[?] -525650[?]  is mandatory 
234.12/229.29	c qxplain 407/408
234.91/230.02	c qxplain 408/408
235.61/230.75	c 2156898[?] 525643[?] 525652[?]  is mandatory 
235.61/230.75	c qxplain 407/407
236.32/231.49	c 2156915[?] -525657[?] -525659[?] -525658[?]  is mandatory 
236.32/231.49	c qxplain 398/406
237.11/232.23	c qxplain 403/406
237.82/232.98	c qxplain 405/406
238.52/233.71	c qxplain 406/406
239.32/234.45	c 2156919[?] 525659[?] -525660[?]  is mandatory 
239.32/234.45	c qxplain 405/405
240.16/235.25	c 2156922[?] 525660[?] -525662[?]  is mandatory 
240.16/235.25	c qxplain 403/404
240.87/235.99	c qxplain 404/404
241.65/236.72	c 2156926[?] 525662[?] -525663[?]  is mandatory 
241.65/236.72	c qxplain 403/403
242.35/237.45	c 2156928[?] 525663[?] -525664[?]  is mandatory 
242.35/237.45	c qxplain 398/402
243.07/238.19	c qxplain 401/402
243.85/238.93	c qxplain 402/402
244.55/239.69	c 2156931[?] 525664[?] -525665[?]  is mandatory 
244.55/239.69	c qxplain 401/401
245.35/240.42	c 2156934[?] 525658[?] 525667[?]  is mandatory 
245.35/240.42	c qxplain 398/400
246.05/241.15	c qxplain 400/400
246.75/241.89	c 2156951[?] -525672[?] -525674[?] -525673[?]  is mandatory 
246.75/241.89	c qxplain 398/399
247.55/242.62	c qxplain 399/399
248.25/243.37	c 2156955[?] 525674[?] -525675[?]  is mandatory 
248.25/243.37	c qxplain 398/398
249.05/244.11	c 2156958[?] 525675[?] -525677[?]  is mandatory 
249.05/244.11	c qxplain 381/397
249.75/244.85	c qxplain 390/397
250.45/245.58	c qxplain 394/397
251.30/246.38	c qxplain 396/397
252.10/247.13	c qxplain 397/397
252.80/247.86	c 2156962[?] 525677[?] -525678[?]  is mandatory 
252.80/247.86	c qxplain 396/396
253.60/248.60	c 2156964[?] 525678[?] -525679[?]  is mandatory 
253.60/248.60	c qxplain 394/395
254.30/249.34	c qxplain 395/395
255.00/250.07	c 2156967[?] 525679[?] -525680[?]  is mandatory 
255.00/250.07	c qxplain 394/394
255.80/250.80	c 2156970[?] 525673[?] 525682[?]  is mandatory 
255.80/250.80	c qxplain 390/393
256.50/251.55	c qxplain 392/393
257.20/252.29	c qxplain 393/393
258.00/253.04	c 2156987[?] -525687[?] -525689[?] -525688[?]  is mandatory 
258.00/253.04	c qxplain 392/392
258.70/253.78	c 2156991[?] 525689[?] -525690[?]  is mandatory 
258.70/253.78	c qxplain 390/391
259.50/254.52	c qxplain 391/391
260.20/255.26	c 2156994[?] 525690[?] -525692[?]  is mandatory 
260.20/255.26	c qxplain 390/390
260.90/255.99	c 2156998[?] 525692[?] -525693[?]  is mandatory 
260.90/255.99	c qxplain 381/389
261.70/256.72	c qxplain 386/389
262.55/257.51	c qxplain 388/389
263.25/258.25	c qxplain 389/389
263.95/258.98	c 2157000[?] 525693[?] -525694[?]  is mandatory 
263.95/258.98	c qxplain 388/388
264.75/259.71	c 2157003[?] 525694[?] -525695[?]  is mandatory 
264.75/259.71	c qxplain 386/387
265.45/260.45	c qxplain 387/387
266.15/261.19	c 2157006[?] 525688[?] 525697[?]  is mandatory 
266.15/261.19	c qxplain 386/386
266.95/261.92	c 2161620[?] 525493[?] -525500[?]  is mandatory 
266.95/261.92	c qxplain 381/385
267.65/262.65	c qxplain 384/385
268.35/263.39	c qxplain 385/385
269.15/264.13	c 2162925[?] 525509[?] -451579[?]  is mandatory 
269.15/264.13	c qxplain 384/384
269.85/264.86	c 2163210[?] 525524[?] -525531[?]  is mandatory 
269.85/264.86	c qxplain 381/383
270.55/265.60	c qxplain 383/383
271.35/266.33	c 2164425[?] 525540[?] -525547[?]  is mandatory 
271.35/266.33	c qxplain 381/382
272.05/267.06	c qxplain 382/382
272.75/267.80	c 2165643[?] 525556[?] -525563[?]  is mandatory 
272.75/267.80	c qxplain 381/381
273.55/268.54	c 2166978[?] 525572[?] -525579[?]  is mandatory 
273.55/268.54	c qxplain 346/380
274.39/269.33	c qxplain 364/380
275.10/270.07	c qxplain 373/380
275.89/270.81	c qxplain 377/380
276.59/271.54	c qxplain 379/380
277.31/272.28	c qxplain 380/380
278.09/273.02	c 2169525[?] 525588[?] -525595[?]  is mandatory 
278.09/273.02	c qxplain 379/379
278.80/273.76	c 2170626[?] 525604[?] -525611[?]  is mandatory 
278.80/273.76	c qxplain 377/378
279.51/274.49	c qxplain 378/378
280.30/275.23	c 2171727[?] 525620[?] -451635[?]  is mandatory 
280.30/275.23	c qxplain 377/377
281.00/275.96	c 2173032[?] 525635[?] -452233[?]  is mandatory 
281.00/275.96	c qxplain 373/376
281.80/276.70	c qxplain 375/376
282.50/277.45	c qxplain 376/376
283.20/278.19	c 2174133[?] 525650[?] -452177[?]  is mandatory 
283.20/278.19	c qxplain 375/375
284.00/278.93	c 2175030[?] 525665[?] -452121[?]  is mandatory 
284.00/278.93	c qxplain 373/374
284.70/279.67	c qxplain 374/374
285.50/280.41	c 2175519[?] 525680[?] -452065[?]  is mandatory 
285.50/280.41	c qxplain 373/373
286.34/281.21	c 2176008[?] 525695[?] -452009[?]  is mandatory 
286.34/281.21	c qxplain 364/372
287.04/281.95	c qxplain 369/372
287.74/282.69	c qxplain 371/372
288.54/283.42	c qxplain 372/372
289.24/284.17	c 2191688[?] -538821[?] -538823[?] -538822[?]  is mandatory 
289.24/284.17	c qxplain 371/371
290.04/284.91	c 2191692[?] 538823[?] -538824[?]  is mandatory 
290.04/284.91	c qxplain 369/370
290.74/285.65	c qxplain 370/370
291.44/286.38	c 2191696[?] 538824[?] -538825[?]  is mandatory 
291.44/286.38	c qxplain 369/369
292.24/287.12	c 2191698[?] 538825[?] -538826[?]  is mandatory 
292.24/287.12	c qxplain 364/368
292.94/287.86	c qxplain 367/368
293.64/288.60	c qxplain 368/368
294.44/289.33	c 2191701[?] 538822[?] 538827[?]  is mandatory 
294.44/289.33	c qxplain 367/367
295.14/290.07	c 2191703[?] -538828[?] -538830[?] -538829[?]  is mandatory 
295.14/290.07	c qxplain 364/366
295.84/290.80	c qxplain 366/366
296.64/291.55	c 2191707[?] 538830[?] -538831[?]  is mandatory 
296.64/291.55	c qxplain 364/365
297.44/292.30	c qxplain 365/365
298.14/293.04	c 2191711[?] 538831[?] -538832[?]  is mandatory 
298.14/293.04	c qxplain 364/364
298.99/293.82	c 2191713[?] 538832[?] 448379[?]  is mandatory 
298.99/293.82	c qxplain 346/363
299.69/294.56	c qxplain 355/363
300.39/295.31	c qxplain 360/363
301.19/296.05	c qxplain 362/363
301.89/296.78	c qxplain 363/363
302.70/297.53	c 2191716[?] 538826[?] 448385[?]  is mandatory 
302.70/297.53	c qxplain 362/362
303.39/298.27	c 2191899[?] 538829[?] 538894[?]  is mandatory 
303.39/298.27	c qxplain 360/361
304.19/299.01	c qxplain 361/361
304.90/299.75	c 2354735[?] -359544[?] 595545[?] 595546[?]  is mandatory 
304.90/299.75	c qxplain 360/360
305.59/300.49	c 2354738[?] -595545[?] -359537[?] 595547[?]  is mandatory 
305.59/300.49	c qxplain 355/359
306.38/301.23	c qxplain 358/359
307.10/301.97	c qxplain 359/359
307.88/302.70	c 2354742[?] 359537[?] 346183[?]  is mandatory 
307.88/302.70	c qxplain 358/358
308.58/303.44	c 2354744[?] -346183[?] -595549[?] -595548[?]  is mandatory 
308.58/303.45	c qxplain 355/357
309.30/304.18	c qxplain 357/357
310.08/304.92	c 2354748[?] 595549[?] -595550[?]  is mandatory 
310.08/304.92	c qxplain 355/356
310.79/305.66	c qxplain 356/356
311.63/306.45	c 2354751[?] 595550[?] -595552[?]  is mandatory 
311.63/306.45	c qxplain 355/355
312.33/307.19	c 2354754[?] 595548[?] -595554[?]  is mandatory 
312.33/307.19	c qxplain 346/354
313.13/307.93	c qxplain 351/354
313.83/308.68	c qxplain 353/354
314.63/309.41	c qxplain 354/354
315.33/310.15	c 2354757[?] 595554[?] -595555[?]  is mandatory 
315.33/310.15	c qxplain 353/353
316.03/310.89	c 2354759[?] -595547[?] -440774[?] 595557[?]  is mandatory 
316.03/310.89	c qxplain 351/352
316.83/311.63	c qxplain 352/352
317.53/312.37	c 2354762[?] -595557[?] 595558[?] -440777[?]  is mandatory 
317.53/312.37	c qxplain 351/351
318.33/313.11	c 2354765[?] -595558[?] -440780[?] 595559[?]  is mandatory 
318.33/313.11	c qxplain 346/350
319.03/313.86	c qxplain 349/350
319.83/314.60	c qxplain 350/350
320.53/315.34	c 2354768[?] -595559[?] 595560[?] -440783[?]  is mandatory 
320.53/315.34	c qxplain 349/349
321.23/316.08	c 2354771[?] -595560[?] -440786[?] -440789[?]  is mandatory 
321.23/316.08	c qxplain 346/348
322.03/316.82	c qxplain 348/348
322.73/317.56	c 2355225[?] 440774[?] 405450[?]  is mandatory 
322.73/317.56	c qxplain 346/347
323.43/318.30	c qxplain 347/347
324.26/319.09	c 2355227[?] -405450[?] -595704[?] -595703[?]  is mandatory 
324.26/319.09	c qxplain 346/346
325.06/319.84	c 2355231[?] 595704[?] -595705[?]  is mandatory 
325.06/319.84	c qxplain 277/345
325.76/320.58	c qxplain 312/345
326.56/321.32	c qxplain 329/345
327.26/322.07	c qxplain 338/345
328.08/322.82	c qxplain 342/345
328.76/323.56	c qxplain 344/345
329.56/324.30	c qxplain 345/345
330.28/325.04	c 2355234[?] 595705[?] -595707[?]  is mandatory 
330.28/325.04	c qxplain 344/344
330.96/325.78	c 2355237[?] 595703[?] -595709[?]  is mandatory 
330.96/325.78	c qxplain 342/343
331.76/326.51	c qxplain 343/343
332.48/327.25	c 2355240[?] 595709[?] -595710[?]  is mandatory 
332.48/327.25	c qxplain 342/342
333.16/327.99	c 2355249[?] 440777[?] 405442[?]  is mandatory 
333.16/327.99	c qxplain 338/341
333.96/328.73	c qxplain 340/341
334.68/329.47	c qxplain 341/341
335.46/330.21	c 2355251[?] -405442[?] -595715[?] -595714[?]  is mandatory 
335.46/330.21	c qxplain 340/340
336.16/330.94	c 2355255[?] 595715[?] -595716[?]  is mandatory 
336.16/330.94	c qxplain 338/339
337.01/331.74	c qxplain 339/339
337.71/332.48	c 2355258[?] 595716[?] -595717[?]  is mandatory 
337.71/332.48	c qxplain 338/338
338.51/333.22	c 2355261[?] 595714[?] -595719[?]  is mandatory 
338.51/333.22	c qxplain 329/337
339.21/333.96	c qxplain 334/337
340.01/334.70	c qxplain 336/337
340.71/335.44	c qxplain 337/337
341.41/336.18	c 2355264[?] 595719[?] -595720[?]  is mandatory 
341.41/336.18	c qxplain 336/336
342.21/336.91	c 2355273[?] 440780[?] 405433[?]  is mandatory 
342.21/336.91	c qxplain 334/335
342.91/337.65	c qxplain 335/335
343.61/338.39	c 2355275[?] -405433[?] -595725[?] -595724[?]  is mandatory 
343.61/338.39	c qxplain 334/334
344.41/339.13	c 2355279[?] 595725[?] -595726[?]  is mandatory 
344.41/339.13	c qxplain 329/333
345.11/339.87	c qxplain 332/333
345.91/340.60	c qxplain 333/333
346.61/341.34	c 2355282[?] 595726[?] -595727[?]  is mandatory 
346.61/341.34	c qxplain 332/332
347.31/342.08	c 2355285[?] 595724[?] -595729[?]  is mandatory 
347.31/342.08	c qxplain 329/331
348.11/342.83	c qxplain 331/331
348.81/343.57	c 2355288[?] 595729[?] -595730[?]  is mandatory 
348.81/343.57	c qxplain 329/330
349.61/344.31	c qxplain 330/330
350.45/345.10	c 2355297[?] 440783[?] 405424[?]  is mandatory 
350.45/345.10	c qxplain 329/329
351.15/345.84	c 2355299[?] -405424[?] -595735[?] -595734[?]  is mandatory 
351.15/345.84	c qxplain 312/328
351.85/346.59	c qxplain 321/328
352.65/347.34	c qxplain 325/328
353.35/348.08	c qxplain 327/328
354.15/348.82	c qxplain 328/328
354.85/349.57	c 2355303[?] 595735[?] -595736[?]  is mandatory 
354.85/349.57	c qxplain 327/327
355.55/350.30	c 2355306[?] 595736[?] -595737[?]  is mandatory 
355.55/350.30	c qxplain 325/326
356.35/351.04	c qxplain 326/326
357.05/351.79	c 2355309[?] 595734[?] -595739[?]  is mandatory 
357.05/351.79	c qxplain 325/325
357.87/352.53	c 2355312[?] 595739[?] -595740[?]  is mandatory 
357.87/352.53	c qxplain 321/324
358.55/353.29	c qxplain 323/324
359.35/354.03	c qxplain 324/324
360.07/354.77	c 2355321[?] 440789[?] 405409[?]  is mandatory 
360.07/354.77	c qxplain 323/323
360.85/355.50	c 2355323[?] -405409[?] -595745[?] -595744[?]  is mandatory 
360.85/355.50	c qxplain 321/322
361.55/356.24	c qxplain 322/322
362.27/356.98	c 2355327[?] 595745[?] -595746[?]  is mandatory 
362.27/356.98	c qxplain 321/321
363.05/357.72	c 2355330[?] 595746[?] -595747[?]  is mandatory 
363.05/357.72	c qxplain 312/320
363.89/358.52	c qxplain 317/320
364.59/359.26	c qxplain 319/320
365.39/360.00	c qxplain 320/320
366.09/360.75	c 2355333[?] 595744[?] -595749[?]  is mandatory 
366.09/360.75	c qxplain 319/319
366.89/361.50	c 2355336[?] 595749[?] -595750[?]  is mandatory 
366.89/361.50	c qxplain 317/318
367.59/362.24	c qxplain 318/318
368.29/362.97	c 2355342[?] 440786[?] 405413[?]  is mandatory 
368.29/362.97	c qxplain 317/317
369.09/363.71	c 2355344[?] -405413[?] -595753[?] -595752[?]  is mandatory 
369.09/363.71	c qxplain 312/316
369.79/364.45	c qxplain 315/316
370.49/365.18	c qxplain 316/316
371.29/365.92	c 2355348[?] 595753[?] -595754[?]  is mandatory 
371.29/365.92	c qxplain 315/315
371.99/366.66	c 2355351[?] 595754[?] -595755[?]  is mandatory 
371.99/366.66	c qxplain 312/314
372.79/367.40	c qxplain 314/314
373.49/368.14	c 2355354[?] 595752[?] -595757[?]  is mandatory 
373.49/368.14	c qxplain 312/313
374.19/368.87	c qxplain 313/313
374.99/369.61	c 2355357[?] 595757[?] -595758[?]  is mandatory 
374.99/369.61	c qxplain 312/312
375.69/370.34	c 2355359[?] -595546[?] -359538[?] 595760[?]  is mandatory 
375.69/370.34	c qxplain 277/311
376.39/371.09	c qxplain 295/311
377.24/371.88	c qxplain 304/311
378.04/372.62	c qxplain 308/311
378.74/373.36	c qxplain 310/311
379.54/374.10	c qxplain 311/311
380.24/374.86	c 2355363[?] 359538[?] 346169[?]  is mandatory 
380.24/374.86	c qxplain 310/310
380.94/375.60	c 2355380[?] -346169[?] -595768[?] -595553[?]  is mandatory 
380.94/375.60	c qxplain 308/309
381.74/376.33	c qxplain 309/309
382.44/377.07	c 2355384[?] 595768[?] -595556[?]  is mandatory 
382.44/377.07	c qxplain 308/308
383.15/377.81	c 2355391[?] 595552[?] -595555[?]  is mandatory 
383.15/377.81	c qxplain 304/307
383.94/378.56	c qxplain 306/307
384.64/379.30	c qxplain 307/307
385.46/380.04	c 2355394[?] 595553[?] -595556[?]  is mandatory 
385.46/380.04	c qxplain 306/306
386.14/380.78	c 2355395[?] -595760[?] -440792[?] 595769[?]  is mandatory 
386.14/380.78	c qxplain 304/305
386.94/381.52	c qxplain 305/305
387.66/382.26	c 2355399[?] 440792[?] 405402[?]  is mandatory 
387.66/382.26	c qxplain 304/304
388.34/382.99	c 2355401[?] -405402[?] -595771[?] -595770[?]  is mandatory 
388.34/382.99	c qxplain 295/303
389.14/383.75	c qxplain 300/303
389.86/384.49	c qxplain 302/303
390.78/385.30	c qxplain 303/303
391.48/386.04	c 2355405[?] 595771[?] -595772[?]  is mandatory 
391.48/386.04	c qxplain 302/302
392.18/386.78	c 2355408[?] 595772[?] -595773[?]  is mandatory 
392.18/386.78	c qxplain 300/301
392.98/387.53	c qxplain 301/301
393.68/388.27	c 2355411[?] 595770[?] -595775[?]  is mandatory 
393.68/388.27	c qxplain 300/300
394.48/389.01	c 2355414[?] 595775[?] -595776[?]  is mandatory 
394.48/389.01	c qxplain 295/299
395.18/389.75	c qxplain 298/299
395.88/390.49	c qxplain 299/299
396.68/391.25	c 2355416[?] -595769[?] -440795[?] 595778[?]  is mandatory 
396.68/391.25	c qxplain 298/298
397.38/391.99	c 2355420[?] 440795[?] 405393[?]  is mandatory 
397.38/391.99	c qxplain 295/297
398.18/392.74	c qxplain 297/297
398.88/393.47	c 2355422[?] -405393[?] -595780[?] -595779[?]  is mandatory 
398.88/393.47	c qxplain 295/296
399.68/394.22	c qxplain 296/296
400.38/394.96	c 2355426[?] 595780[?] -595781[?]  is mandatory 
400.38/394.96	c qxplain 295/295
401.18/395.70	c 2355429[?] 595781[?] -595782[?]  is mandatory 
401.18/395.70	c qxplain 277/294
401.88/396.45	c qxplain 286/294
402.58/397.19	c qxplain 291/294
403.38/397.93	c qxplain 293/294
404.08/398.67	c qxplain 294/294
404.92/399.46	c 2355432[?] 595779[?] -595784[?]  is mandatory 
404.92/399.46	c qxplain 293/293
405.72/400.20	c 2355435[?] 595784[?] -595785[?]  is mandatory 
405.72/400.20	c qxplain 291/292
406.44/400.94	c qxplain 292/292
407.12/401.69	c 2355437[?] -595778[?] -440798[?] 595787[?]  is mandatory 
407.12/401.69	c qxplain 291/291
407.92/402.43	c 2355441[?] 440798[?] 405384[?]  is mandatory 
407.92/402.43	c qxplain 286/290
408.64/403.16	c qxplain 289/290
409.42/403.90	c qxplain 290/290
410.12/404.65	c 2355443[?] -405384[?] -595789[?] -595788[?]  is mandatory 
410.12/404.65	c qxplain 289/289
410.84/405.39	c 2355447[?] 595789[?] -595790[?]  is mandatory 
410.84/405.39	c qxplain 286/288
411.62/406.13	c qxplain 288/288
412.32/406.86	c 2355450[?] 595790[?] -595791[?]  is mandatory 
412.32/406.87	c qxplain 286/287
413.12/407.60	c qxplain 287/287
413.82/408.34	c 2355453[?] 595788[?] -595793[?]  is mandatory 
413.82/408.34	c qxplain 286/286
414.52/409.09	c 2355456[?] 595793[?] -595794[?]  is mandatory 
414.52/409.09	c qxplain 277/285
415.32/409.84	c qxplain 282/285
416.02/410.58	c qxplain 284/285
416.82/411.36	c qxplain 285/285
417.62/412.10	c 2355458[?] -595787[?] -440801[?] 595796[?]  is mandatory 
417.62/412.10	c qxplain 284/284
418.32/412.84	c 2355462[?] 440801[?] 405375[?]  is mandatory 
418.32/412.84	c qxplain 282/283
419.16/413.62	c qxplain 283/283
419.86/414.36	c 2355464[?] -405375[?] -595798[?] -595797[?]  is mandatory 
419.86/414.36	c qxplain 282/282
420.56/415.09	c 2355468[?] 595798[?] -595799[?]  is mandatory 
420.56/415.09	c qxplain 277/281
421.36/415.83	c qxplain 280/281
422.06/416.57	c qxplain 281/281
422.76/417.30	c 2355471[?] 595799[?] -595800[?]  is mandatory 
422.76/417.30	c qxplain 280/280
423.56/418.04	c 2355474[?] 595797[?] -595802[?]  is mandatory 
423.56/418.04	c qxplain 277/279
424.26/418.79	c qxplain 279/279
425.07/419.52	c 2355477[?] 595802[?] -595803[?]  is mandatory 
425.07/419.52	c qxplain 277/278
425.76/420.25	c qxplain 278/278
426.46/420.99	c 2355479[?] -595796[?] -440804[?] -440805[?]  is mandatory 
426.46/420.99	c qxplain 277/277
427.27/421.75	c 2355483[?] 440804[?] 405304[?]  is mandatory 
427.27/421.75	c qxplain 0/276
427.97/422.48	c qxplain 139/276
428.77/423.21	c qxplain 208/276
429.47/423.96	c qxplain 243/276
430.17/424.69	c qxplain 260/276
430.97/425.43	c qxplain 269/276
431.67/426.17	c qxplain 273/276
432.47/426.91	c qxplain 275/276
433.31/427.70	c qxplain 276/276
434.03/428.43	c 2355485[?] -405304[?] -595806[?] -595805[?]  is mandatory 
434.03/428.43	c qxplain 275/275
434.71/429.16	c 2355489[?] 595806[?] -595807[?]  is mandatory 
434.71/429.16	c qxplain 273/274
435.51/429.91	c qxplain 274/274
436.23/430.65	c 2355492[?] 595805[?] -595808[?]  is mandatory 
436.23/430.65	c qxplain 273/273
436.91/431.39	c 2355495[?] 440805[?] 405366[?]  is mandatory 
436.91/431.39	c qxplain 269/272
437.71/432.13	c qxplain 271/272
438.42/432.87	c qxplain 272/272
439.21/433.62	c 2355514[?] 595556[?] -346151[?]  is mandatory 
439.21/433.62	c qxplain 271/271
439.92/434.35	c 2355516[?] 346151[?] 440995[?]  is mandatory 
439.92/434.35	c qxplain 269/270
440.63/435.08	c qxplain 270/270
441.42/435.83	c 2355814[?] 595555[?] -346152[?]  is mandatory 
441.42/435.83	c qxplain 269/269
442.11/436.56	c 2355816[?] 346152[?] 440979[?]  is mandatory 
442.11/436.56	c qxplain 260/268
442.91/437.30	c qxplain 265/268
443.61/438.03	c qxplain 267/268
444.31/438.77	c qxplain 268/268
445.11/439.51	c 2356151[?] -405366[?] -595993[?] -595992[?]  is mandatory 
445.11/439.51	c qxplain 267/267
445.81/440.25	c 2356155[?] 595993[?] -595994[?]  is mandatory 
445.81/440.25	c qxplain 265/266
446.51/440.98	c qxplain 266/266
447.36/441.79	c 2356158[?] 595994[?] -595995[?]  is mandatory 
447.36/441.79	c qxplain 265/265
448.16/442.52	c 2356161[?] 595992[?] -595996[?]  is mandatory 
448.16/442.52	c qxplain 260/264
448.86/443.26	c qxplain 263/264
449.56/443.99	c qxplain 264/264
450.36/444.74	c 2356168[?] 595707[?] -595710[?]  is mandatory 
450.36/444.74	c qxplain 263/263
451.06/445.47	c 2356171[?] 595710[?] -405254[?]  is mandatory 
451.06/445.47	c qxplain 260/262
451.86/446.21	c qxplain 262/262
452.56/446.94	c 2356173[?] 405254[?] 441010[?]  is mandatory 
452.56/446.94	c qxplain 260/261
453.26/447.69	c qxplain 261/261
454.06/448.43	c 2356474[?] 595717[?] -595720[?]  is mandatory 
454.06/448.43	c qxplain 260/260
454.76/449.17	c 2356477[?] 595720[?] -405257[?]  is mandatory 
454.76/449.17	c qxplain 243/259
455.56/449.91	c qxplain 252/259
456.26/450.65	c qxplain 256/259
456.96/451.39	c qxplain 258/259
457.76/452.13	c qxplain 259/259
458.46/452.87	c 2356479[?] 405257[?] 441026[?]  is mandatory 
458.46/452.87	c qxplain 258/258
459.16/453.61	c 2356780[?] 595727[?] -595730[?]  is mandatory 
459.16/453.61	c qxplain 256/257
459.96/454.35	c qxplain 257/257
460.66/455.08	c 2356783[?] 595730[?] -405260[?]  is mandatory 
460.66/455.08	c qxplain 256/256
461.51/455.87	c 2356785[?] 405260[?] 441042[?]  is mandatory 
461.51/455.87	c qxplain 252/255
462.31/456.63	c qxplain 254/255
463.01/457.37	c qxplain 255/255
463.71/458.11	c 2357086[?] 595737[?] -595740[?]  is mandatory 
463.71/458.11	c qxplain 254/254
464.51/458.85	c 2357089[?] 595740[?] -405263[?]  is mandatory 
464.51/458.85	c qxplain 252/253
465.21/459.59	c qxplain 253/253
466.03/460.33	c 2357091[?] 405263[?] 441058[?]  is mandatory 
466.03/460.33	c qxplain 252/252
466.71/461.07	c 2357392[?] 595755[?] -595758[?]  is mandatory 
466.71/461.07	c qxplain 243/251
467.51/461.80	c qxplain 248/251
468.23/462.54	c qxplain 250/251
468.91/463.28	c qxplain 251/251
469.71/464.02	c 2357395[?] 595758[?] -405266[?]  is mandatory 
469.71/464.02	c qxplain 250/250
470.43/464.76	c 2357397[?] 405266[?] 441074[?]  is mandatory 
470.43/464.76	c qxplain 248/249
471.11/465.50	c qxplain 249/249
471.91/466.24	c 2357698[?] 595747[?] -595750[?]  is mandatory 
471.91/466.24	c qxplain 248/248
472.63/466.99	c 2357701[?] 595750[?] -405269[?]  is mandatory 
472.63/466.99	c qxplain 243/247
473.41/467.73	c qxplain 246/247
474.11/468.47	c qxplain 247/247
474.91/469.22	c 2357703[?] 405269[?] 441090[?]  is mandatory 
474.91/469.22	c qxplain 246/246
475.61/469.96	c 2358004[?] 595773[?] -595776[?]  is mandatory 
475.61/469.96	c qxplain 243/245
476.46/470.75	c qxplain 245/245
477.16/471.49	c 2358007[?] 595776[?] -405272[?]  is mandatory 
477.16/471.49	c qxplain 243/244
477.96/472.23	c qxplain 244/244
478.66/472.97	c 2358009[?] 405272[?] 441106[?]  is mandatory 
478.66/472.97	c qxplain 243/243
479.46/473.71	c 2358310[?] 595782[?] -595785[?]  is mandatory 
479.46/473.71	c qxplain 208/242
480.16/474.45	c qxplain 226/242
480.96/475.21	c qxplain 235/242
481.66/475.95	c qxplain 239/242
482.36/476.69	c qxplain 241/242
483.16/477.43	c qxplain 242/242
483.86/478.17	c 2358313[?] 595785[?] -405275[?]  is mandatory 
483.86/478.17	c qxplain 241/241
484.56/478.91	c 2358315[?] 405275[?] 441121[?]  is mandatory 
484.56/478.91	c qxplain 239/240
485.36/479.65	c qxplain 240/240
486.06/480.39	c 2358616[?] 595791[?] -595794[?]  is mandatory 
486.06/480.39	c qxplain 239/239
486.86/481.12	c 2358619[?] 595794[?] -405278[?]  is mandatory 
486.86/481.12	c qxplain 235/238
487.56/481.86	c qxplain 237/238
488.36/482.60	c qxplain 238/238
489.06/483.34	c 2358621[?] 405278[?] 441136[?]  is mandatory 
489.06/483.34	c qxplain 237/237
489.76/484.08	c 2358922[?] 595800[?] -595803[?]  is mandatory 
489.76/484.08	c qxplain 235/236
490.61/484.87	c qxplain 236/236
491.31/485.60	c 2358925[?] 595803[?] -405281[?]  is mandatory 
491.31/485.60	c qxplain 235/235
492.11/486.33	c 2358927[?] 405281[?] 441151[?]  is mandatory 
492.11/486.33	c qxplain 226/234
492.81/487.09	c qxplain 231/234
493.63/487.83	c qxplain 233/234
494.31/488.57	c qxplain 234/234
495.11/489.31	c 2359228[?] 595807[?] -595808[?]  is mandatory 
495.11/489.31	c qxplain 233/233
495.83/490.04	c 2359231[?] 595995[?] -595991[?]  is mandatory 
495.83/490.04	c qxplain 231/232
496.51/490.77	c qxplain 232/232
497.31/491.52	c 2359233[?] 595996[?] -595991[?]  is mandatory 
497.31/491.52	c qxplain 231/231
498.03/492.25	c 2359237[?] 595808[?] -405284[?]  is mandatory 
498.03/492.25	c qxplain 226/230
498.81/493.00	c qxplain 229/230
499.51/493.74	c qxplain 230/230
500.23/494.48	c 2359239[?] 405284[?] 441166[?]  is mandatory 
500.23/494.48	c qxplain 229/229
501.01/495.22	c 2359537[?] 595991[?] -405285[?]  is mandatory 
501.01/495.22	c qxplain 226/228
501.71/495.96	c qxplain 228/228
502.51/496.70	c 2359539[?] 405285[?] 441181[?]  is mandatory 
502.51/496.70	c qxplain 226/227
503.21/497.44	c qxplain 227/227
503.91/498.18	c 2360753[?] -448384[?] 597257[?] 597258[?]  is mandatory 
503.91/498.18	c qxplain 226/226
504.71/498.94	c 2360756[?] -597257[?] -448377[?] 597259[?]  is mandatory 
504.71/498.94	c qxplain 208/225
505.56/499.76	c qxplain 217/225
506.36/500.50	c qxplain 222/225
507.06/501.24	c qxplain 224/225
507.76/501.98	c qxplain 225/225
508.56/502.72	c 2360760[?] 448377[?] 435023[?]  is mandatory 
508.56/502.72	c qxplain 224/224
509.26/503.45	c 2360762[?] -435023[?] -597261[?] -597260[?]  is mandatory 
509.26/503.45	c qxplain 222/223
509.96/504.19	c qxplain 223/223
510.76/504.93	c 2360766[?] 597261[?] -597262[?]  is mandatory 
510.76/504.93	c qxplain 222/222
511.46/505.67	c 2360769[?] 597262[?] -597264[?]  is mandatory 
511.46/505.67	c qxplain 217/221
512.16/506.41	c qxplain 220/221
512.96/507.14	c qxplain 221/221
513.66/507.89	c 2360772[?] 597260[?] -597266[?]  is mandatory 
513.66/507.89	c qxplain 220/220
514.46/508.62	c 2360775[?] 597266[?] -597267[?]  is mandatory 
514.46/508.62	c qxplain 217/219
515.16/509.35	c qxplain 219/219
515.86/510.09	c 2360777[?] -597259[?] 597269[?] -525290[?]  is mandatory 
515.86/510.09	c qxplain 217/218
516.66/510.83	c qxplain 218/218
517.36/511.57	c 2360780[?] -597269[?] 597270[?] -525293[?]  is mandatory 
517.36/511.57	c qxplain 217/217
518.16/512.31	c 2360783[?] -597270[?] 597271[?] -525296[?]  is mandatory 
518.16/512.31	c qxplain 208/216
518.86/513.05	c qxplain 213/216
519.56/513.79	c qxplain 215/216
520.40/514.59	c qxplain 216/216
521.22/515.32	c 2360786[?] -597271[?] 597272[?] -525299[?]  is mandatory 
521.22/515.33	c qxplain 215/215
521.90/516.06	c 2360789[?] -597272[?] -525305[?] -525302[?]  is mandatory 
521.90/516.06	c qxplain 213/214
522.70/516.80	c qxplain 214/214
523.42/517.54	c 2361243[?] 525290[?] 494264[?]  is mandatory 
523.42/517.54	c qxplain 213/213
524.10/518.28	c 2361245[?] -494264[?] -597416[?] -597415[?]  is mandatory 
524.10/518.28	c qxplain 208/212
524.90/519.02	c qxplain 211/212
525.62/519.76	c qxplain 212/212
526.40/520.50	c 2361249[?] 597416[?] -597417[?]  is mandatory 
526.40/520.50	c qxplain 211/211
527.10/521.25	c 2361252[?] 597417[?] -597419[?]  is mandatory 
527.10/521.25	c qxplain 208/210
527.82/521.98	c qxplain 210/210
528.60/522.73	c 2361255[?] 597415[?] -597421[?]  is mandatory 
528.60/522.73	c qxplain 208/209
529.30/523.48	c qxplain 209/209
530.10/524.22	c 2361258[?] 597421[?] -597422[?]  is mandatory 
530.10/524.22	c qxplain 208/208
530.80/524.96	c 2361267[?] 525293[?] 494256[?]  is mandatory 
530.80/524.96	c qxplain 139/207
531.60/525.71	c qxplain 174/207
532.30/526.45	c qxplain 191/207
533.10/527.20	c qxplain 200/207
533.80/527.94	c qxplain 204/207
534.50/528.68	c qxplain 206/207
535.34/529.47	c qxplain 207/207
536.14/530.23	c 2361269[?] -494256[?] -597427[?] -597426[?]  is mandatory 
536.14/530.23	c qxplain 206/206
536.84/530.97	c 2361273[?] 597427[?] -597428[?]  is mandatory 
536.84/530.97	c qxplain 204/205
537.64/531.72	c qxplain 205/205
538.34/532.45	c 2361276[?] 597428[?] -597429[?]  is mandatory 
538.34/532.45	c qxplain 204/204
539.04/533.19	c 2361279[?] 597426[?] -597431[?]  is mandatory 
539.04/533.19	c qxplain 200/203
539.84/533.93	c qxplain 202/203
540.54/534.67	c qxplain 203/203
541.34/535.41	c 2361282[?] 597431[?] -597432[?]  is mandatory 
541.34/535.41	c qxplain 202/202
542.04/536.15	c 2361291[?] 525296[?] 494247[?]  is mandatory 
542.04/536.15	c qxplain 200/201
542.74/536.89	c qxplain 201/201
543.55/537.63	c 2361293[?] -494247[?] -597437[?] -597436[?]  is mandatory 
543.55/537.63	c qxplain 200/200
544.25/538.37	c 2361297[?] 597437[?] -597438[?]  is mandatory 
544.25/538.37	c qxplain 191/199
545.05/539.10	c qxplain 196/199
545.75/539.85	c qxplain 198/199
546.45/540.58	c qxplain 199/199
547.25/541.32	c 2361300[?] 597438[?] -597439[?]  is mandatory 
547.25/541.32	c qxplain 198/198
547.95/542.05	c 2361303[?] 597436[?] -597441[?]  is mandatory 
547.95/542.05	c qxplain 196/197
548.65/542.79	c qxplain 197/197
549.45/543.53	c 2361306[?] 597441[?] -597442[?]  is mandatory 
549.45/543.53	c qxplain 196/196
550.28/544.32	c 2361315[?] 525299[?] 494238[?]  is mandatory 
550.28/544.32	c qxplain 191/195
551.00/545.06	c qxplain 194/195
551.78/545.80	c qxplain 195/195
552.48/546.53	c 2361317[?] -494238[?] -597447[?] -597446[?]  is mandatory 
552.48/546.53	c qxplain 194/194
553.20/547.28	c 2361321[?] 597447[?] -597448[?]  is mandatory 
553.20/547.28	c qxplain 191/193
553.98/548.02	c qxplain 193/193
554.68/548.77	c 2361324[?] 597448[?] -597449[?]  is mandatory 
554.68/548.77	c qxplain 191/192
555.48/549.51	c qxplain 192/192
556.18/550.25	c 2361327[?] 597446[?] -597451[?]  is mandatory 
556.18/550.25	c qxplain 191/191
556.88/550.99	c 2361330[?] 597451[?] -597452[?]  is mandatory 
556.88/550.99	c qxplain 174/190
557.68/551.73	c qxplain 183/190
558.38/552.48	c qxplain 187/190
559.18/553.22	c qxplain 189/190
559.88/553.96	c qxplain 190/190
560.68/554.70	c 2361339[?] 525305[?] 494223[?]  is mandatory 
560.68/554.70	c qxplain 189/189
561.38/555.44	c 2361341[?] -494223[?] -597457[?] -597456[?]  is mandatory 
561.38/555.44	c qxplain 187/188
562.08/556.18	c qxplain 188/188
562.88/556.92	c 2361345[?] 597457[?] -597458[?]  is mandatory 
562.88/556.92	c qxplain 187/187
563.58/557.65	c 2361348[?] 597458[?] -597459[?]  is mandatory 
563.58/557.65	c qxplain 183/186
564.28/558.39	c qxplain 185/186
565.13/559.20	c qxplain 186/186
565.93/559.94	c 2361351[?] 597456[?] -597461[?]  is mandatory 
565.93/559.94	c qxplain 185/185
566.63/560.67	c 2361354[?] 597461[?] -597462[?]  is mandatory 
566.63/560.67	c qxplain 183/184
567.33/561.41	c qxplain 184/184
568.13/562.15	c 2361360[?] 525302[?] 494227[?]  is mandatory 
568.13/562.15	c qxplain 183/183
568.83/562.89	c 2361362[?] -494227[?] -597465[?] -597464[?]  is mandatory 
568.83/562.89	c qxplain 174/182
569.63/563.64	c qxplain 179/182
570.33/564.38	c qxplain 181/182
571.13/565.12	c qxplain 182/182
571.83/565.87	c 2361366[?] 597465[?] -597466[?]  is mandatory 
571.83/565.87	c qxplain 181/181
572.63/566.60	c 2361369[?] 597466[?] -597467[?]  is mandatory 
572.63/566.60	c qxplain 179/180
573.33/567.34	c qxplain 180/180
574.03/568.08	c 2361372[?] 597464[?] -597469[?]  is mandatory 
574.03/568.08	c qxplain 179/179
574.83/568.82	c 2361375[?] 597469[?] -597470[?]  is mandatory 
574.83/568.82	c qxplain 174/178
575.53/569.56	c qxplain 177/178
576.23/570.30	c qxplain 178/178
577.03/571.03	c 2361377[?] -597258[?] -448378[?] 597472[?]  is mandatory 
577.03/571.03	c qxplain 177/177
577.73/571.77	c 2361381[?] 448378[?] 435009[?]  is mandatory 
577.73/571.77	c qxplain 174/176
578.43/572.51	c qxplain 176/176
579.23/573.25	c 2361398[?] -435009[?] -597480[?] -597265[?]  is mandatory 
579.23/573.25	c qxplain 174/175
580.08/574.04	c qxplain 175/175
580.80/574.78	c 2361402[?] 597480[?] -597268[?]  is mandatory 
580.80/574.78	c qxplain 174/174
581.58/575.52	c 2361409[?] 597264[?] -597267[?]  is mandatory 
581.58/575.52	c qxplain 139/173
582.28/576.26	c qxplain 157/173
583.08/577.01	c qxplain 166/173
583.78/577.75	c qxplain 170/173
584.48/578.48	c qxplain 172/173
585.28/579.22	c qxplain 173/173
585.98/579.96	c 2361412[?] 597265[?] -597268[?]  is mandatory 
585.98/579.96	c qxplain 172/172
586.78/580.70	c 2361413[?] -597472[?] -525308[?] 597481[?]  is mandatory 
586.78/580.70	c qxplain 170/171
587.48/581.45	c qxplain 171/171
588.18/582.19	c 2361417[?] 525308[?] 494216[?]  is mandatory 
588.18/582.19	c qxplain 170/170
588.97/582.92	c 2361419[?] -494216[?] -597483[?] -597482[?]  is mandatory 
588.97/582.92	c qxplain 166/169
589.67/583.66	c qxplain 168/169
590.47/584.40	c qxplain 169/169
591.17/585.14	c 2361423[?] 597483[?] -597484[?]  is mandatory 
591.17/585.14	c qxplain 168/168
591.88/585.88	c 2361426[?] 597484[?] -597485[?]  is mandatory 
591.88/585.88	c qxplain 166/167
592.68/586.61	c qxplain 167/167
593.38/587.35	c 2361429[?] 597482[?] -597487[?]  is mandatory 
593.38/587.35	c qxplain 166/166
594.18/588.10	c 2361432[?] 597487[?] -597488[?]  is mandatory 
594.18/588.10	c qxplain 157/165
594.88/588.85	c qxplain 162/165
595.72/589.65	c qxplain 164/165
596.52/590.41	c qxplain 165/165
597.22/591.16	c 2361434[?] -597481[?] -525311[?] 597490[?]  is mandatory 
597.22/591.16	c qxplain 164/164
598.02/591.90	c 2361438[?] 525311[?] 494207[?]  is mandatory 
598.02/591.90	c qxplain 162/163
598.72/592.65	c qxplain 163/163
599.42/593.38	c 2361440[?] -494207[?] -597492[?] -597491[?]  is mandatory 
599.42/593.38	c qxplain 162/162
600.22/594.12	c 2361444[?] 597492[?] -597493[?]  is mandatory 
600.22/594.12	c qxplain 157/161
600.92/594.87	c qxplain 160/161
601.62/595.61	c qxplain 161/161
602.42/596.35	c 2361447[?] 597493[?] -597494[?]  is mandatory 
602.42/596.35	c qxplain 160/160
603.12/597.09	c 2361450[?] 597491[?] -597496[?]  is mandatory 
603.12/597.09	c qxplain 157/159
603.94/597.83	c qxplain 159/159
604.62/598.57	c 2361453[?] 597496[?] -597497[?]  is mandatory 
604.62/598.57	c qxplain 157/158
605.42/599.30	c qxplain 158/158
606.14/600.04	c 2361455[?] -597490[?] -525314[?] 597499[?]  is mandatory 
606.14/600.04	c qxplain 157/157
606.82/600.78	c 2361459[?] 525314[?] 494198[?]  is mandatory 
606.82/600.78	c qxplain 139/156
607.62/601.53	c qxplain 148/156
608.34/602.27	c qxplain 153/156
609.12/603.01	c qxplain 155/156
609.82/603.75	c qxplain 156/156
610.66/604.55	c 2361461[?] -494198[?] -597501[?] -597500[?]  is mandatory 
610.66/604.55	c qxplain 155/155
611.36/605.29	c 2361465[?] 597501[?] -597502[?]  is mandatory 
611.36/605.29	c qxplain 153/154
612.16/606.03	c qxplain 154/154
612.86/606.78	c 2361468[?] 597502[?] -597503[?]  is mandatory 
612.86/606.78	c qxplain 153/153
613.66/607.51	c 2361471[?] 597500[?] -597505[?]  is mandatory 
613.66/607.51	c qxplain 148/152
614.36/608.25	c qxplain 151/152
615.16/609.00	c qxplain 152/152
615.86/609.74	c 2361474[?] 597505[?] -597506[?]  is mandatory 
615.86/609.74	c qxplain 151/151
616.56/610.49	c 2361476[?] -597499[?] -525317[?] 597508[?]  is mandatory 
616.56/610.49	c qxplain 148/150
617.36/611.23	c qxplain 150/150
618.06/611.97	c 2361480[?] 525317[?] 494189[?]  is mandatory 
618.06/611.97	c qxplain 148/149
618.86/612.71	c qxplain 149/149
619.56/613.46	c 2361482[?] -494189[?] -597510[?] -597509[?]  is mandatory 
619.56/613.46	c qxplain 148/148
620.26/614.20	c 2361486[?] 597510[?] -597511[?]  is mandatory 
620.26/614.20	c qxplain 139/147
621.06/614.95	c qxplain 144/147
621.76/615.69	c qxplain 146/147
622.56/616.44	c qxplain 147/147
623.26/617.18	c 2361489[?] 597511[?] -597512[?]  is mandatory 
623.26/617.18	c qxplain 146/146
624.06/617.92	c 2361492[?] 597509[?] -597514[?]  is mandatory 
624.06/617.92	c qxplain 144/145
624.76/618.66	c qxplain 145/145
625.61/619.47	c 2361495[?] 597514[?] -597515[?]  is mandatory 
625.61/619.47	c qxplain 144/144
626.41/620.22	c 2361497[?] -597508[?] -525320[?] -525321[?]  is mandatory 
626.41/620.22	c qxplain 139/143
627.13/620.96	c qxplain 142/143
627.91/621.70	c qxplain 143/143
628.61/622.45	c 2361501[?] 525320[?] 494118[?]  is mandatory 
628.61/622.45	c qxplain 142/142
629.33/623.19	c 2361503[?] -494118[?] -597518[?] -597517[?]  is mandatory 
629.33/623.19	c qxplain 139/141
630.11/623.94	c qxplain 141/141
630.81/624.68	c 2361507[?] 597518[?] -597519[?]  is mandatory 
630.81/624.68	c qxplain 139/140
631.61/625.42	c qxplain 140/140
632.31/626.16	c 2361510[?] 597517[?] -597520[?]  is mandatory 
632.31/626.16	c qxplain 139/139
633.11/626.90	c 2361513[?] 525321[?] 494180[?]  is mandatory 
633.11/626.90	c qxplain 0/138
633.81/627.65	c qxplain 70/138
634.61/628.40	c qxplain 105/138
635.31/629.15	c qxplain 122/138
636.11/629.90	c qxplain 131/138
636.81/630.65	c qxplain 135/138
637.51/631.38	c qxplain 137/138
638.31/632.13	c qxplain 138/138
639.01/632.86	c 2361532[?] 597268[?] -434991[?]  is mandatory 
639.01/632.86	c qxplain 137/137
639.81/633.61	c 2361534[?] 434991[?] 525511[?]  is mandatory 
639.81/633.61	c qxplain 135/136
640.64/634.42	c qxplain 136/136
641.34/635.17	c 2361832[?] 597267[?] -434992[?]  is mandatory 
641.34/635.17	c qxplain 135/135
642.14/635.90	c 2361834[?] 434992[?] 525495[?]  is mandatory 
642.14/635.90	c qxplain 131/134
642.84/636.64	c qxplain 133/134
643.54/637.38	c qxplain 134/134
644.34/638.12	c 2362169[?] -494180[?] -597705[?] -597704[?]  is mandatory 
644.34/638.12	c qxplain 133/133
645.04/638.86	c 2362173[?] 597705[?] -597706[?]  is mandatory 
645.04/638.86	c qxplain 131/132
645.74/639.60	c qxplain 132/132
646.54/640.33	c 2362176[?] 597706[?] -597707[?]  is mandatory 
646.54/640.33	c qxplain 131/131
647.24/641.08	c 2362179[?] 597704[?] -597708[?]  is mandatory 
647.24/641.08	c qxplain 122/130
648.05/641.82	c qxplain 127/130
648.74/642.55	c qxplain 129/130
649.44/643.30	c qxplain 130/130
650.25/644.04	c 2362186[?] 597419[?] -597422[?]  is mandatory 
650.25/644.04	c qxplain 129/129
650.94/644.78	c 2362189[?] 597422[?] -494068[?]  is mandatory 
650.94/644.78	c qxplain 127/128
651.74/645.52	c qxplain 128/128
652.45/646.26	c 2362191[?] 494068[?] 525526[?]  is mandatory 
652.45/646.26	c qxplain 127/127
653.14/646.99	c 2362492[?] 597429[?] -597432[?]  is mandatory 
653.14/646.99	c qxplain 122/126
653.94/647.73	c qxplain 125/126
654.65/648.47	c qxplain 126/126
655.44/649.23	c 2362495[?] 597432[?] -494071[?]  is mandatory 
655.44/649.23	c qxplain 125/125
656.28/650.03	c 2362497[?] 494071[?] 525542[?]  is mandatory 
656.28/650.03	c qxplain 122/124
656.99/650.77	c qxplain 124/124
657.79/651.51	c 2362798[?] 597439[?] -597442[?]  is mandatory 
657.79/651.51	c qxplain 122/123
658.49/652.24	c qxplain 123/123
659.18/652.98	c 2362801[?] 597442[?] -494074[?]  is mandatory 
659.18/652.98	c qxplain 122/122
659.98/653.72	c 2362803[?] 494074[?] 525558[?]  is mandatory 
659.98/653.72	c qxplain 105/121
660.68/654.46	c qxplain 114/121
661.48/655.20	c qxplain 118/121
662.19/655.94	c qxplain 120/121
662.89/656.68	c qxplain 121/121
663.69/657.42	c 2363104[?] 597449[?] -597452[?]  is mandatory 
663.69/657.42	c qxplain 120/120
664.39/658.16	c 2363107[?] 597452[?] -494077[?]  is mandatory 
664.39/658.16	c qxplain 118/119
665.19/658.90	c qxplain 119/119
665.89/659.64	c 2363109[?] 494077[?] 525574[?]  is mandatory 
665.89/659.64	c qxplain 118/118
666.59/660.38	c 2363410[?] 597467[?] -597470[?]  is mandatory 
666.59/660.38	c qxplain 114/117
667.39/661.12	c qxplain 116/117
668.09/661.85	c qxplain 117/117
668.79/662.59	c 2363413[?] 597470[?] -494080[?]  is mandatory 
668.79/662.59	c qxplain 116/116
669.59/663.32	c 2363415[?] 494080[?] 525590[?]  is mandatory 
669.59/663.32	c qxplain 114/115
670.29/664.07	c qxplain 115/115
671.14/664.86	c 2363716[?] 597459[?] -597462[?]  is mandatory 
671.14/664.86	c qxplain 114/114
671.94/665.60	c 2363719[?] 597462[?] -494083[?]  is mandatory 
671.94/665.60	c qxplain 105/113
672.64/666.34	c qxplain 110/113
673.34/667.08	c qxplain 112/113
674.14/667.83	c qxplain 113/113
674.84/668.57	c 2363721[?] 494083[?] 525606[?]  is mandatory 
674.84/668.57	c qxplain 112/112
675.54/669.30	c 2364022[?] 597485[?] -597488[?]  is mandatory 
675.54/669.30	c qxplain 110/111
676.34/670.04	c qxplain 111/111
677.04/670.77	c 2364025[?] 597488[?] -494086[?]  is mandatory 
677.04/670.77	c qxplain 110/110
677.74/671.51	c 2364027[?] 494086[?] 525622[?]  is mandatory 
677.74/671.51	c qxplain 105/109
678.54/672.25	c qxplain 108/109
679.24/672.98	c qxplain 109/109
680.06/673.72	c 2364328[?] 597494[?] -597497[?]  is mandatory 
680.06/673.72	c qxplain 108/108
680.74/674.45	c 2364331[?] 597497[?] -494089[?]  is mandatory 
680.74/674.45	c qxplain 105/107
681.44/675.19	c qxplain 107/107
682.26/675.93	c 2364333[?] 494089[?] 525637[?]  is mandatory 
682.26/675.93	c qxplain 105/106
682.94/676.68	c qxplain 106/106
683.74/677.45	c 2364634[?] 597503[?] -597506[?]  is mandatory 
683.74/677.45	c qxplain 105/105
684.54/678.25	c 2364637[?] 597506[?] -494092[?]  is mandatory 
684.54/678.25	c qxplain 70/104
685.34/679.01	c qxplain 88/104
686.04/679.77	c qxplain 97/104
686.87/680.58	c qxplain 101/104
687.67/681.32	c qxplain 103/104
688.37/682.06	c qxplain 104/104
689.17/682.81	c 2364639[?] 494092[?] 525652[?]  is mandatory 
689.17/682.81	c qxplain 103/103
689.87/683.54	c 2364940[?] 597512[?] -597515[?]  is mandatory 
689.87/683.54	c qxplain 101/102
690.57/684.28	c qxplain 102/102
691.37/685.02	c 2364943[?] 597515[?] -494095[?]  is mandatory 
691.37/685.02	c qxplain 101/101
692.07/685.75	c 2364945[?] 494095[?] 525667[?]  is mandatory 
692.07/685.75	c qxplain 97/100
692.77/686.49	c qxplain 99/100
693.57/687.23	c qxplain 100/100
694.27/687.97	c 2365246[?] 597519[?] -597520[?]  is mandatory 
694.27/687.97	c qxplain 99/99
695.07/688.71	c 2365249[?] 597707[?] -597703[?]  is mandatory 
695.07/688.71	c qxplain 97/98
695.77/689.45	c qxplain 98/98
696.47/690.20	c 2365251[?] 597708[?] -597703[?]  is mandatory 
696.47/690.20	c qxplain 97/97
697.27/690.93	c 2365255[?] 597520[?] -494098[?]  is mandatory 
697.27/690.93	c qxplain 88/96
697.97/691.67	c qxplain 93/96
698.67/692.41	c qxplain 95/96
699.47/693.15	c qxplain 96/96
700.17/693.89	c 2365257[?] 494098[?] 525682[?]  is mandatory 
700.17/693.89	c qxplain 95/95
700.99/694.63	c 2365555[?] 597703[?] -494099[?]  is mandatory 
700.99/694.63	c qxplain 93/94
701.81/695.43	c qxplain 94/94
702.51/696.17	c 2365557[?] 494099[?] 525697[?]  is mandatory 
702.51/696.17	c qxplain 93/93
703.31/696.93	c 2367059[?] -598998[?] -599000[?] -598999[?]  is mandatory 
703.31/696.93	c qxplain 88/92
704.01/697.67	c qxplain 91/92
704.81/698.41	c qxplain 92/92
705.51/699.15	c 2367063[?] 599000[?] -599001[?]  is mandatory 
705.51/699.15	c qxplain 91/91
706.21/699.90	c 2367067[?] 599001[?] 599002[?]  is mandatory 
706.21/699.90	c qxplain 88/90
707.01/700.63	c qxplain 90/90
707.71/701.38	c 2367068[?] -599002[?] -599003[?] -599004[?]  is mandatory 
707.71/701.38	c qxplain 88/89
708.51/702.12	c qxplain 89/89
709.21/702.86	c 2367072[?] 599004[?] 423810[?]  is mandatory 
709.21/702.86	c qxplain 88/88
710.01/703.62	c 2367075[?] 599003[?] -455492[?]  is mandatory 
710.01/703.62	c qxplain 70/87
710.71/704.37	c qxplain 79/87
711.51/705.11	c qxplain 84/87
712.21/705.86	c qxplain 86/87
712.91/706.59	c qxplain 87/87
713.71/707.33	c 2367078[?] 598999[?] 423810[?]  is mandatory 
713.71/707.33	c qxplain 86/86
714.41/708.10	c 2367080[?] -599006[?] -599008[?] -599007[?]  is mandatory 
714.41/708.10	c qxplain 84/85
715.21/708.84	c qxplain 85/85
715.91/709.58	c 2367084[?] 599008[?] -599009[?]  is mandatory 
715.91/709.58	c qxplain 84/84
716.71/710.33	c 2367088[?] 599009[?] 599010[?]  is mandatory 
716.71/710.33	c qxplain 79/83
717.58/711.12	c qxplain 82/83
718.26/711.87	c qxplain 83/83
719.06/712.60	c 2367089[?] -599010[?] -599012[?] -599011[?]  is mandatory 
719.06/712.60	c qxplain 82/82
719.77/713.35	c 2367093[?] 599012[?] 512547[?]  is mandatory 
719.77/713.35	c qxplain 79/81
720.46/714.09	c qxplain 81/81
721.26/714.82	c 2367096[?] 599011[?] -539066[?]  is mandatory 
721.26/714.82	c qxplain 79/80
721.97/715.56	c qxplain 80/80
722.66/716.30	c 2367099[?] 599007[?] 512547[?]  is mandatory 
722.66/716.30	c qxplain 79/79
723.46/717.04	c 2386492[?] 455492[?] 580888[?]  is mandatory 
723.46/717.04	c qxplain 70/78
724.17/717.78	c qxplain 75/78
724.96/718.51	c qxplain 77/78
725.66/719.26	c qxplain 78/78
726.37/719.99	c 2386493[?] -580888[?] 455253[?] -455320[?]  is mandatory 
726.37/719.99	c qxplain 77/77
727.15/720.73	c 2386621[?] 539066[?] 580902[?]  is mandatory 
727.15/720.73	c qxplain 75/76
727.86/721.47	c qxplain 76/76
728.66/722.21	c 2386622[?] -580902[?] 538827[?] 538894[?]  is mandatory 
728.66/722.21	c qxplain 75/75
729.36/722.95	c 2428566[?] 525500[?] -568740[?]  is mandatory 
729.36/722.95	c qxplain 70/74
730.06/723.69	c qxplain 73/74
730.86/724.43	c qxplain 74/74
731.56/725.17	c 2430652[?] 451579[?] -568740[?]  is mandatory 
731.56/725.17	c qxplain 73/73
732.36/725.91	c 2430655[?] 568740[?] 492361[?]  is mandatory 
732.36/725.91	c qxplain 70/72
733.21/726.70	c qxplain 72/72
733.91/727.44	c 2433060[?] 525531[?] -568743[?]  is mandatory 
733.91/727.44	c qxplain 70/71
734.61/728.19	c qxplain 71/71
735.41/728.93	c 2435170[?] 451635[?] -568743[?]  is mandatory 
735.41/728.93	c qxplain 70/70
736.12/729.67	c 2435173[?] 568743[?] 492361[?]  is mandatory 
736.12/729.67	c qxplain 0/69
736.92/730.42	c qxplain 35/69
737.62/731.15	c qxplain 53/69
738.32/731.91	c qxplain 62/69
739.12/732.65	c qxplain 66/69
739.82/733.38	c qxplain 68/69
740.62/734.12	c qxplain 69/69
741.31/734.86	c 2438394[?] 525547[?] -568746[?]  is mandatory 
741.31/734.86	c qxplain 68/68
742.01/735.60	c 2440504[?] 452233[?] -568746[?]  is mandatory 
742.01/735.60	c qxplain 66/67
742.82/736.33	c qxplain 67/67
743.52/737.07	c 2440507[?] 568746[?] 492361[?]  is mandatory 
743.52/737.07	c qxplain 66/66
744.32/737.81	c 2443320[?] 525563[?] -568749[?]  is mandatory 
744.32/737.81	c qxplain 62/65
745.02/738.55	c qxplain 64/65
745.72/739.29	c qxplain 65/65
746.51/740.02	c 2445022[?] 452177[?] -568749[?]  is mandatory 
746.51/740.02	c qxplain 64/64
747.22/740.76	c 2445025[?] 568749[?] 492361[?]  is mandatory 
747.22/740.76	c qxplain 62/63
748.06/741.56	c qxplain 63/63
748.86/742.30	c 2447430[?] 525579[?] -568752[?]  is mandatory 
748.86/742.30	c qxplain 62/62
749.58/743.03	c 2449132[?] 452121[?] -568752[?]  is mandatory 
749.58/743.03	c qxplain 53/61
750.26/743.77	c qxplain 58/61
751.06/744.51	c qxplain 60/61
751.78/745.25	c qxplain 61/61
752.46/745.99	c 2449135[?] 568752[?] 492361[?]  is mandatory 
752.46/745.99	c qxplain 60/60
753.26/746.73	c 2450316[?] 525595[?] -568756[?]  is mandatory 
753.26/746.73	c qxplain 58/59
753.98/747.46	c qxplain 59/59
754.76/748.21	c 2452965[?] 525611[?] -568755[?]  is mandatory 
754.76/748.21	c qxplain 58/58
755.46/748.95	c 2455420[?] 452009[?] -568756[?]  is mandatory 
755.46/748.95	c qxplain 53/57
756.18/749.68	c qxplain 56/57
756.96/750.42	c qxplain 57/57
757.66/751.16	c 2455423[?] 568756[?] 492361[?]  is mandatory 
757.66/751.16	c qxplain 56/56
758.46/751.90	c 2456011[?] 452065[?] -568755[?]  is mandatory 
758.46/751.90	c qxplain 53/55
759.16/752.64	c qxplain 55/55
759.86/753.38	c 2456014[?] 568755[?] 492361[?]  is mandatory 
759.86/753.38	c qxplain 53/54
760.66/754.12	c qxplain 54/54
761.36/754.86	c -686213[?] 2629677[?] is mandatory 
761.36/754.86	c qxplain 53/53
762.16/755.61	c 686214[?] 2629678[?] is mandatory 
762.16/755.61	c qxplain 35/52
762.86/756.36	c qxplain 44/52
763.71/757.16	c qxplain 49/52
764.51/757.90	c qxplain 51/52
765.21/758.64	c qxplain 52/52
765.91/759.38	c 2629690[?] -89231[?] 686213[?]  is mandatory 
765.91/759.38	c qxplain 51/51
766.71/760.13	c 2629693[?] 89232[?] -686214[?]  is mandatory 
766.71/760.13	c qxplain 49/50
767.41/760.86	c qxplain 50/50
768.11/761.61	c -538894[?] 2642945[?] is mandatory 
768.11/761.61	c qxplain 49/49
768.91/762.35	c 2642947[?] 455320[?] 538828[?]  is mandatory 
768.91/762.35	c qxplain 44/48
769.61/763.09	c qxplain 47/48
770.41/763.83	c qxplain 48/48
771.11/764.57	c 2642949[?] 366480[?] 455254[?]  is mandatory 
771.11/764.57	c qxplain 47/47
771.91/765.33	c 2642951[?] 324904[?] 366414[?]  is mandatory 
771.91/765.33	c qxplain 44/46
772.73/766.12	c qxplain 46/46
773.41/766.86	c -538827[?] 2642960[?] is mandatory 
773.41/766.86	c qxplain 44/45
774.21/767.60	c qxplain 45/45
774.93/768.34	c 2642962[?] -455253[?] 538821[?]  is mandatory 
774.93/768.34	c qxplain 44/44
775.71/769.10	c 2642964[?] -366413[?] 455247[?]  is mandatory 
775.71/769.10	c qxplain 35/43
776.41/769.84	c qxplain 40/43
777.13/770.58	c qxplain 42/43
777.91/771.33	c qxplain 43/43
778.76/772.13	c 2642966[?] -324837[?] 366407[?]  is mandatory 
778.76/772.13	c qxplain 42/42
779.46/772.87	c -512547[?] 2651976[?] is mandatory 
779.46/772.87	c qxplain 40/41
780.26/773.62	c qxplain 41/41
780.96/774.36	c 2651978[?] -423810[?] 599006[?]  is mandatory 
780.96/774.36	c qxplain 40/40
781.76/775.10	c 2651980[?] -334906[?] 598998[?]  is mandatory 
781.76/775.10	c qxplain 35/39
782.46/775.84	c qxplain 38/39
783.16/776.58	c qxplain 39/39
783.96/777.32	c 2651982[?] -246320[?] 499455[?]  is mandatory 
783.96/777.32	c qxplain 38/38
784.66/778.06	c 2651984[?] -161752[?] 410718[?]  is mandatory 
784.66/778.06	c qxplain 35/37
785.46/778.81	c qxplain 37/37
786.16/779.56	c -448385[?] 2652393[?] is mandatory 
786.16/779.56	c qxplain 35/36
786.86/780.30	c qxplain 36/36
787.65/781.04	c 2652395[?] -359545[?] 448380[?]  is mandatory 
787.65/781.04	c qxplain 35/35
788.36/781.78	c 2652397[?] -321236[?] 359540[?]  is mandatory 
788.36/781.78	c qxplain 0/34
789.16/782.53	c qxplain 18/34
789.86/783.29	c qxplain 27/34
790.66/784.03	c qxplain 31/34
791.36/784.76	c qxplain 33/34
792.15/785.50	c qxplain 34/34
792.85/786.27	c -448379[?] 2652406[?] is mandatory 
792.85/786.27	c qxplain 33/33
793.67/787.03	c 2652408[?] -359539[?] 448372[?]  is mandatory 
793.67/787.03	c qxplain 31/32
794.50/787.82	c qxplain 32/32
795.20/788.56	c 2652410[?] -321230[?] 359532[?]  is mandatory 
795.20/788.56	c qxplain 31/31
796.00/789.30	c -525697[?] 2654159[?] is mandatory 
796.00/789.30	c qxplain 27/30
796.70/790.03	c qxplain 29/30
797.40/790.77	c qxplain 30/30
798.20/791.51	c 2654161[?] -441181[?] 525687[?]  is mandatory 
798.20/791.51	c qxplain 29/29
798.90/792.26	c -525682[?] 2654174[?] is mandatory 
798.90/792.26	c qxplain 27/28
799.59/792.99	c qxplain 28/28
800.39/793.74	c 2654176[?] -441166[?] 525672[?]  is mandatory 
800.39/793.74	c qxplain 27/27
801.09/794.47	c -525667[?] 2654189[?] is mandatory 
801.09/794.47	c qxplain 18/26
801.89/795.21	c qxplain 23/26
802.59/795.95	c qxplain 25/26
803.29/796.69	c qxplain 26/26
804.09/797.42	c 2654191[?] -441151[?] 525657[?]  is mandatory 
804.09/797.42	c qxplain 25/25
804.79/798.16	c -525652[?] 2654204[?] is mandatory 
804.79/798.16	c qxplain 23/24
805.49/798.90	c qxplain 24/24
806.29/799.64	c 2654206[?] -441136[?] 525642[?]  is mandatory 
806.29/799.64	c qxplain 23/23
806.99/800.37	c -525637[?] 2654219[?] is mandatory 
806.99/800.37	c qxplain 18/22
807.79/801.12	c qxplain 21/22
808.49/801.90	c qxplain 22/22
809.29/802.69	c 2654221[?] -441121[?] 525627[?]  is mandatory 
809.29/802.69	c qxplain 21/21
810.14/803.48	c -525622[?] 2654234[?] is mandatory 
810.14/803.48	c qxplain 18/20
810.93/804.21	c qxplain 20/20
811.63/804.96	c 2654236[?] -441106[?] 525612[?]  is mandatory 
811.63/804.96	c qxplain 18/19
812.34/805.70	c qxplain 19/19
813.13/806.43	c -525606[?] 2654249[?] is mandatory 
813.13/806.43	c qxplain 18/18
813.83/807.17	c 2654251[?] -441090[?] 525596[?]  is mandatory 
813.83/807.17	c qxplain 0/17
814.65/807.92	c qxplain 9/17
815.33/808.66	c qxplain 14/17
816.13/809.40	c qxplain 16/17
816.85/810.14	c qxplain 17/17
817.53/810.88	c -525590[?] 2654264[?] is mandatory 
817.53/810.88	c qxplain 16/16
818.33/811.61	c 2654266[?] -441074[?] 525580[?]  is mandatory 
818.33/811.61	c qxplain 14/15
819.05/812.35	c qxplain 15/15
819.73/813.09	c -525574[?] 2654279[?] is mandatory 
819.73/813.09	c qxplain 14/14
820.53/813.83	c 2654281[?] -441058[?] 525564[?]  is mandatory 
820.53/813.83	c qxplain 9/13
821.25/814.57	c qxplain 12/13
822.03/815.36	c qxplain 13/13
822.83/816.12	c -525558[?] 2654294[?] is mandatory 
822.83/816.12	c qxplain 12/12
823.53/816.86	c 2654296[?] -441042[?] 525548[?]  is mandatory 
823.53/816.86	c qxplain 9/11
824.33/817.62	c qxplain 11/11
825.18/818.41	c -525542[?] 2654309[?] is mandatory 
825.18/818.41	c qxplain 9/10
825.88/819.15	c qxplain 10/10
826.58/819.89	c 2654311[?] -441026[?] 525532[?]  is mandatory 
826.58/819.89	c qxplain 9/9
827.38/820.64	c -525526[?] 2654324[?] is mandatory 
827.38/820.64	c qxplain 0/8
828.18/821.42	c qxplain 5/8
828.88/822.20	c qxplain 7/8
829.68/822.94	c qxplain 8/8
830.48/823.71	c 2654326[?] -441010[?] 525516[?]  is mandatory 
830.48/823.71	c qxplain 7/7
831.21/824.49	c -525511[?] 2654339[?] is mandatory 
831.21/824.49	c qxplain 5/6
831.99/825.24	c qxplain 6/6
832.69/825.98	c 2654341[?] -440995[?] 525501[?]  is mandatory 
832.69/825.98	c qxplain 5/5
833.49/826.72	c -525495[?] 2654354[?] is mandatory 
833.49/826.72	c qxplain 0/4
834.29/827.52	c qxplain 3/4
834.99/828.27	c qxplain 4/4
835.79/829.04	c 2654356[?] -440979[?] 525485[?]  is mandatory 
835.79/829.04	c qxplain 3/3
836.59/829.82	c -492361[?] 2654517[?] is mandatory 
836.59/829.82	c qxplain 0/2
837.29/830.57	c qxplain 2/2
838.09/831.33	c 2693638[?] 161748[?] -686766[?]  is mandatory 
838.09/831.33	c qxplain 0/1
838.91/832.12	c qxplain 1/1
839.59/832.86	c 686766[?] 2693639[?] is mandatory 
839.59/832.86	c qxplain 0/0
840.39/833.61	c 246332[?] 2693644[?] is mandatory 
849.61/842.79	c Size of the MUS: 553
849.61/842.79	c Unsat core  computation wall clock time (in seconds) : 839.402
849.61/842.79	c starts		: 1105
849.61/842.79	c conflicts		: 5
849.61/842.79	c decisions		: 759014592
849.61/842.79	c propagations		: 2979483867
849.61/842.79	c inspects		: 800427054
849.61/842.79	c shortcuts		: 0
849.61/842.79	c learnt literals	: 0
849.61/842.79	c learnt binary clauses	: 0
849.61/842.79	c learnt ternary clauses	: 0
849.61/842.79	c learnt constraints	: 5
849.61/842.79	c ignored constraints	: 0
849.61/842.79	c root simplifications	: 0
849.61/842.79	c removed literals (reason simplification)	: 0
849.61/842.79	c reason swapping (by a shorter reason)	: 0
849.61/842.79	c Calls to reduceDB	: 0
849.61/842.79	c speed (assignments/second)	: 3.00109172743755E8
849.61/842.79	c non guided choices	759014580
849.61/842.79	c learnt constraints type 
849.61/842.79	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 5
849.61/842.79	c constraints type 
849.61/842.79	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2005116
849.61/842.79	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1762
849.61/842.79	s UNSATISFIABLE
849.61/842.79	v 436137 436142 436144 674428 674429 674432 993892 993896 993900 993901 993905 993907 993911 993915 993917 1011823 1011827 1011831 1011833 1011836 1011838 1011842 1011846 1011848 1011851 1012034 1139998 1140002 1140006 1140007 1140011 1140014 1140017 1150866 1150867 1179127 1179130 1179132 1195972 1246936 1246940 1246944 1246945 1246949 1246951 1246955 1246959 1246961 1264867 1264871 1264875 1264877 1264880 1264882 1264886 1264890 1264892 1264895 1265078 1392856 1392860 1392864 1392865 1392869 1392872 1392875 1403724 1403725 1469752 1469756 1469759 1469763 1469765 1469768 1469771 1469788 1469792 1469795 1469799 1469801 1469804 1469807 1469824 1469828 1469831 1469835 1469837 1469840 1469843 1469860 1469864 1469867 1469871 1469873 1469876 1469879 1469896 1469900 1469903 1469907 1469909 1469912 1469915 1469932 1469936 1469939 1469943 1469945 1469948 1469951 1469968 1469972 1469975 1469979 1469981 1469984 1469987 1470004 1470008 1470011 1470015 1470017 1470020 1470023 1470040 1470044 1470047 1470051 1470053 1470056 1470059 1470076 1470080 1470083 1470087 1470089 1470092 1470095 1470112 1470116 1470119 1470123 1470125 1470128 1470131 1470148 1470152 1470155 1470159 1470161 1470164 1470167 1470184 1470188 1470191 1470195 1470197 1470200 1470203 1470220 1470224 1470227 1470231 1470233 1470236 1470239 1474853 1476158 1476443 1477658 1478876 1480211 1482758 1483859 1484960 1486265 1487366 1488263 1488752 1489241 1504921 1504925 1504929 1504931 1504934 1504936 1504940 1504944 1504946 1504949 1505132 1667968 1667971 1667975 1667977 1667981 1667984 1667987 1667990 1667992 1667995 1667998 1668001 1668004 1668458 1668460 1668464 1668467 1668470 1668473 1668482 1668484 1668488 1668491 1668494 1668497 1668506 1668508 1668512 1668515 1668518 1668521 1668530 1668532 1668536 1668539 1668542 1668545 1668554 1668556 1668560 1668563 1668566 1668569 1668575 1668577 1668581 1668584 1668587 1668590 1668592 1668596 1668613 1668617 1668624 1668627 1668628 1668632 1668634 1668638 1668641 1668644 1668647 1668649 1668653 1668655 1668659 1668662 1668665 1668668 1668670 1668674 1668676 1668680 1668683 1668686 1668689 1668691 1668695 1668697 1668701 1668704 1668707 1668710 1668712 1668716 1668718 1668722 1668725 1668728 1668747 1668749 1669047 1669049 1669384 1669388 1669391 1669394 1669401 1669404 1669406 1669707 1669710 1669712 1670013 1670016 1670018 1670319 1670322 1670324 1670625 1670628 1670630 1670931 1670934 1670936 1671237 1671240 1671242 1671543 1671546 1671548 1671849 1671852 1671854 1672155 1672158 1672160 1672461 1672464 1672466 1672470 1672472 1672770 1672772 1673986 1673989 1673993 1673995 1673999 1674002 1674005 1674008 1674010 1674013 1674016 1674019 1674022 1674476 1674478 1674482 1674485 1674488 1674491 1674500 1674502 1674506 1674509 1674512 1674515 1674524 1674526 1674530 1674533 1674536 1674539 1674548 1674550 1674554 1674557 1674560 1674563 1674572 1674574 1674578 1674581 1674584 1674587 1674593 1674595 1674599 1674602 1674605 1674608 1674610 1674614 1674631 1674635 1674642 1674645 1674646 1674650 1674652 1674656 1674659 1674662 1674665 1674667 1674671 1674673 1674677 1674680 1674683 1674686 1674688 1674692 1674694 1674698 1674701 1674704 1674707 1674709 1674713 1674715 1674719 1674722 1674725 1674728 1674730 1674734 1674736 1674740 1674743 1674746 1674765 1674767 1675065 1675067 1675402 1675406 1675409 1675412 1675419 1675422 1675424 1675725 1675728 1675730 1676031 1676034 1676036 1676337 1676340 1676342 1676643 1676646 1676648 1676949 1676952 1676954 1677255 1677258 1677260 1677561 1677564 1677566 1677867 1677870 1677872 1678173 1678176 1678178 1678479 1678482 1678484 1678488 1678490 1678788 1678790 1680292 1680296 1680300 1680301 1680305 1680308 1680311 1680313 1680317 1680321 1680322 1680326 1680329 1680332 1699725 1699726 1699854 1699855 1741799 1743885 1743888 1746293 1748403 1748406 1751627 1753737 1753740 1756553 1758255 1758258 1760663 1762365 1762368 1763549 1766198 1768653 1768656 1769244 1769247 1942910 1942911 1942923 1942926 1956178 1956180 1956182 1956184 1956193 1956195 1956197 1956199 1965209 1965211 1965213 1965215 1965217 1965626 1965628 1965630 1965639 1965641 1965643 1967392 1967394 1967407 1967409 1967422 1967424 1967437 1967439 1967452 1967454 1967467 1967469 1967482 1967484 1967497 1967499 1967512 1967514 1967527 1967529 1967542 1967544 1967557 1967559 1967572 1967574 1967587 1967589 1967750 2006871 2006872 2006877 0
849.61/842.79	c Total wall clock time (in seconds) : 842.669

OK	553

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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

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

running on 2 cores: 5,7

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


[startup+0 s]
/proc/loadavg: 4.02 4.29 2.86 5/565 381
/proc/meminfo: memFree=2407836/32951124 swapFree=50923800/67111528
[pid=381] ppid=379 vsize=11796 CPUtime=0 cores=5,7
/proc/381/stat : 381 (runsolver) R 379 381 18884 0 -1 4202560 41 0 0 0 0 0 0 0 23 0 1 0 852921177 12079104 51 33554432000 4194304 5432328 140736808137296 18446744073709551615 4881591 0 2147483391 4096 24578 0 0 0 17 7 0 0 0
/proc/381/statm: 2949 51 31 303 0 2643 0

[startup+0.0527619 s]
/proc/loadavg: 4.02 4.29 2.86 5/565 381
/proc/meminfo: memFree=2407836/32951124 swapFree=50923800/67111528
[pid=381] ppid=379 vsize=6354928 CPUtime=0.01 cores=5,7
/proc/381/stat : 381 (java) S 379 381 18884 0 -1 4202496 7552 0 1 0 1 0 0 0 23 0 10 0 852921177 6507446272 7252 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 270350186469 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0
/proc/381/statm: 1588732 7252 1554 9 0 1579480 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 6354928

[startup+0.100751 s]
/proc/loadavg: 4.02 4.29 2.86 5/565 381
/proc/meminfo: memFree=2407836/32951124 swapFree=50923800/67111528
[pid=381] ppid=379 vsize=6363732 CPUtime=0.07 cores=5,7
/proc/381/stat : 381 (java) S 379 381 18884 0 -1 4202496 8617 0 1 0 6 1 0 0 23 0 18 0 852921177 6516461568 8315 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/381/statm: 1590933 8315 1751 9 0 1581671 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 6363732

[startup+0.436718 s]
/proc/loadavg: 4.02 4.29 2.86 5/565 381
/proc/meminfo: memFree=2407836/32951124 swapFree=50923800/67111528
[pid=381] ppid=379 vsize=6433856 CPUtime=0.58 cores=5,7
/proc/381/stat : 381 (java) S 379 381 18884 0 -1 4202496 40792 0 1 0 53 5 0 0 23 0 18 0 852921177 6588268544 40059 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/381/statm: 1608464 40064 2195 9 0 1599202 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 6433856

[startup+0.700667 s]
/proc/loadavg: 4.02 4.29 2.86 5/565 381
/proc/meminfo: memFree=2407836/32951124 swapFree=50923800/67111528
[pid=381] ppid=379 vsize=6433856 CPUtime=0.84 cores=5,7
/proc/381/stat : 381 (java) S 379 381 18884 0 -1 4202496 65839 0 1 0 77 7 0 0 23 0 18 0 852921177 6588268544 65106 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/381/statm: 1608464 65111 2195 9 0 1599202 0
Current children cumulated CPU time (s) 0.84
Current children cumulated vsize (KiB) 6433856

[startup+1.50151 s]
/proc/loadavg: 4.02 4.29 2.86 5/583 415
/proc/meminfo: memFree=1948468/32951124 swapFree=50923800/67111528
[pid=381] ppid=379 vsize=6433856 CPUtime=1.63 cores=5,7
/proc/381/stat : 381 (java) S 379 381 18884 0 -1 4202496 152625 0 1 0 147 16 0 0 23 0 18 0 852921177 6588268544 151892 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/381/statm: 1608464 151896 2196 9 0 1599202 0
[pid=381/tid=383] ppid=379 vsize=6433856 CPUtime=1.46 cores=5,7
/proc/381/task/383/stat : 383 (java) R 379 381 18884 0 -1 4202560 149389 0 1 0 130 16 0 0 18 0 18 0 852921180 6588268544 151898 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 46912505538591 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=381/tid=384] ppid=379 vsize=6433856 CPUtime=0 cores=5,7
/proc/381/task/384/stat : 384 (java) S 379 381 18884 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 852921181 6588268544 151900 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 7 0 0 0
[pid=381/tid=385] ppid=379 vsize=6433856 CPUtime=0 cores=5,7
/proc/381/task/385/stat : 385 (java) S 379 381 18884 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 852921181 6588268544 151902 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 7 0 0 0
[pid=381/tid=386] ppid=379 vsize=6433856 CPUtime=0 cores=5,7
/proc/381/task/386/stat : 386 (java) S 379 381 18884 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 852921181 6588268544 151904 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 7 0 0 0
[pid=381/tid=387] ppid=379 vsize=6433856 CPUtime=0 cores=5,7
/proc/381/task/387/stat : 387 (java) S 379 381 18884 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 852921181 6588268544 151906 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 7 0 0 0
[pid=381/tid=388] ppid=379 vsize=6433856 CPUtime=0 cores=5,7
/proc/381/task/388/stat : 388 (java) S 379 381 18884 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 852921181 6588268544 151909 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 7 0 0 0
[pid=381/tid=389] ppid=379 vsize=6433856 CPUtime=0 cores=5,7
/proc/381/task/389/stat : 389 (java) S 379 381 18884 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 852921181 6588268544 151911 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 7 0 0 0
[pid=381/tid=390] ppid=379 vsize=6433856 CPUtime=0 cores=5,7
/proc/381/task/390/stat : 390 (java) S 379 381 18884 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 852921181 6588268544 151913 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 7 0 0 0
[pid=381/tid=391] ppid=379 vsize=6433856 CPUtime=0 cores=5,7
/proc/381/task/391/stat : 391 (java) S 379 381 18884 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 852921181 6588268544 151915 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 7 0 0 0
[pid=381/tid=392] ppid=379 vsize=6433856 CPUtime=0 cores=5,7
/proc/381/task/392/stat : 392 (java) S 379 381 18884 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 18 0 852921182 6588268544 151918 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 270350200320 0 0 0 16800975 18446604454225333056 0 0 -1 7 0 0 0
[pid=381/tid=393] ppid=379 vsize=6433856 CPUtime=0 cores=5,7
/proc/381/task/393/stat : 393 (java) S 379 381 18884 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 852921182 6588268544 151920 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 7 0 0 0
[pid=381/tid=394] ppid=379 vsize=6433856 CPUtime=0 cores=5,7
/proc/381/task/394/stat : 394 (java) S 379 381 18884 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 852921182 6588268544 151922 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 7 0 0 0
[pid=381/tid=395] ppid=379 vsize=6433856 CPUtime=0 cores=5,7
/proc/381/task/395/stat : 395 (java) S 379 381 18884 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 852921185 6588268544 151924 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 270350207409 0 4 0 16800975 18446604454225333056 0 0 -1 7 0 0 0
[pid=381/tid=396] ppid=379 vsize=6433856 CPUtime=0.07 cores=5,7
/proc/381/task/396/stat : 396 (java) S 379 381 18884 0 -1 4202560 595 0 0 0 7 0 0 0 25 0 18 0 852921185 6588268544 151927 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 5 0 0 0
[pid=381/tid=397] ppid=379 vsize=6433856 CPUtime=0.09 cores=5,7
/proc/381/task/397/stat : 397 (java) S 379 381 18884 0 -1 4202560 1497 0 0 0 9 0 0 0 25 0 18 0 852921185 6588268544 151929 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 5 0 0 0
[pid=381/tid=398] ppid=379 vsize=6433856 CPUtime=0 cores=5,7
/proc/381/task/398/stat : 398 (java) S 379 381 18884 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 852921185 6588268544 151932 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 7 0 0 0
[pid=381/tid=399] ppid=379 vsize=6433856 CPUtime=0 cores=5,7
/proc/381/task/399/stat : 399 (java) S 379 381 18884 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 852921185 6588268544 151934 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 270350200320 0 4 0 16800975 18446604454225333056 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.63
Current children cumulated vsize (KiB) 6433856

[startup+3.10116 s]
/proc/loadavg: 4.02 4.29 2.86 5/582 443
/proc/meminfo: memFree=1551680/32951124 swapFree=50923800/67111528
[pid=381] ppid=379 vsize=6434008 CPUtime=3.42 cores=5,7
/proc/381/stat : 381 (java) S 379 381 18884 0 -1 4202496 271461 0 1 0 313 29 0 0 23 0 18 0 852921177 6588424192 270727 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/381/statm: 1608502 270727 2211 9 0 1599240 0
[pid=381/tid=383] ppid=379 vsize=6434008 CPUtime=3.05 cores=5,7
/proc/381/task/383/stat : 383 (java) R 379 381 18884 0 -1 4202560 268153 0 1 0 277 28 0 0 21 0 18 0 852921180 6588424192 270727 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 46912505655739 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=381/tid=384] ppid=379 vsize=6434008 CPUtime=0 cores=5,7
/proc/381/task/384/stat : 384 (java) S 379 381 18884 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 852921181 6588424192 270727 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 7 0 0 0
[pid=381/tid=385] ppid=379 vsize=6434008 CPUtime=0 cores=5,7
/proc/381/task/385/stat : 385 (java) S 379 381 18884 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 852921181 6588424192 270727 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 7 0 0 0
[pid=381/tid=386] ppid=379 vsize=6434008 CPUtime=0 cores=5,7
/proc/381/task/386/stat : 386 (java) S 379 381 18884 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 852921181 6588424192 270727 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 7 0 0 0
[pid=381/tid=387] ppid=379 vsize=6434008 CPUtime=0 cores=5,7
/proc/381/task/387/stat : 387 (java) S 379 381 18884 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 852921181 6588424192 270727 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 7 0 0 0
[pid=381/tid=388] ppid=379 vsize=6434008 CPUtime=0 cores=5,7
/proc/381/task/388/stat : 388 (java) S 379 381 18884 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 852921181 6588424192 270727 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 7 0 0 0
[pid=381/tid=389] ppid=379 vsize=6434008 CPUtime=0 cores=5,7
/proc/381/task/389/stat : 389 (java) S 379 381 18884 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 852921181 6588424192 270727 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 7 0 0 0
[pid=381/tid=390] ppid=379 vsize=6434008 CPUtime=0 cores=5,7
/proc/381/task/390/stat : 390 (java) S 379 381 18884 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 852921181 6588424192 270727 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 7 0 0 0
[pid=381/tid=391] ppid=379 vsize=6434008 CPUtime=0 cores=5,7
/proc/381/task/391/stat : 391 (java) S 379 381 18884 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 852921181 6588424192 270727 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 7 0 0 0
[pid=381/tid=392] ppid=379 vsize=6434008 CPUtime=0 cores=5,7
/proc/381/task/392/stat : 392 (java) S 379 381 18884 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 18 0 852921182 6588424192 270727 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 270350200320 0 0 0 16800975 18446604454225333056 0 0 -1 7 0 0 0
[pid=381/tid=393] ppid=379 vsize=6434008 CPUtime=0 cores=5,7
/proc/381/task/393/stat : 393 (java) S 379 381 18884 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 852921182 6588424192 270727 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 7 0 0 0
[pid=381/tid=394] ppid=379 vsize=6434008 CPUtime=0 cores=5,7
/proc/381/task/394/stat : 394 (java) S 379 381 18884 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 852921182 6588424192 270727 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 7 0 0 0
[pid=381/tid=395] ppid=379 vsize=6434008 CPUtime=0 cores=5,7
/proc/381/task/395/stat : 395 (java) S 379 381 18884 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 852921185 6588424192 270727 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 270350207409 0 4 0 16800975 18446604454225333056 0 0 -1 7 0 0 0
[pid=381/tid=396] ppid=379 vsize=6434008 CPUtime=0.17 cores=5,7
/proc/381/task/396/stat : 396 (java) S 379 381 18884 0 -1 4202560 614 0 0 0 17 0 0 0 15 0 18 0 852921185 6588424192 270727 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 5 0 0 0
[pid=381/tid=397] ppid=379 vsize=6434008 CPUtime=0.17 cores=5,7
/proc/381/task/397/stat : 397 (java) S 379 381 18884 0 -1 4202560 1541 0 0 0 17 0 0 0 15 0 18 0 852921185 6588424192 270727 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 5 0 0 0
[pid=381/tid=398] ppid=379 vsize=6434008 CPUtime=0 cores=5,7
/proc/381/task/398/stat : 398 (java) S 379 381 18884 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 852921185 6588424192 270727 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 7 0 0 0
[pid=381/tid=399] ppid=379 vsize=6434008 CPUtime=0 cores=5,7
/proc/381/task/399/stat : 399 (java) S 379 381 18884 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 852921185 6588424192 270727 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 270350200320 0 4 0 16800975 18446604454225333056 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.42
Current children cumulated vsize (KiB) 6434008

[startup+6.30155 s]
/proc/loadavg: 4.02 4.28 2.86 5/583 526
/proc/meminfo: memFree=1108008/32951124 swapFree=50923800/67111528
[pid=381] ppid=379 vsize=6435028 CPUtime=6.75 cores=5,7
/proc/381/stat : 381 (java) S 379 381 18884 0 -1 4202496 344286 0 1 0 638 37 0 0 23 0 19 0 852921177 6589468672 343469 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/381/statm: 1608757 343469 2225 9 0 1599495 0
[pid=381/tid=383] ppid=379 vsize=6435028 CPUtime=6.19 cores=5,7
/proc/381/task/383/stat : 383 (java) R 379 381 18884 0 -1 4202560 340879 0 1 0 583 36 0 0 25 0 19 0 852921180 6589468672 343469 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 46912505697605 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=381/tid=384] ppid=379 vsize=6435028 CPUtime=0 cores=5,7
/proc/381/task/384/stat : 384 (java) S 379 381 18884 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 852921181 6589468672 343469 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 7 0 0 0
[pid=381/tid=385] ppid=379 vsize=6435028 CPUtime=0 cores=5,7
/proc/381/task/385/stat : 385 (java) S 379 381 18884 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 852921181 6589468672 343469 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 7 0 0 0
[pid=381/tid=386] ppid=379 vsize=6435028 CPUtime=0 cores=5,7
/proc/381/task/386/stat : 386 (java) S 379 381 18884 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 852921181 6589468672 343469 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 7 0 0 0
[pid=381/tid=387] ppid=379 vsize=6435028 CPUtime=0 cores=5,7
/proc/381/task/387/stat : 387 (java) S 379 381 18884 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 852921181 6589468672 343469 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 7 0 0 0
[pid=381/tid=388] ppid=379 vsize=6435028 CPUtime=0 cores=5,7
/proc/381/task/388/stat : 388 (java) S 379 381 18884 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 852921181 6589468672 343469 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 7 0 0 0
[pid=381/tid=389] ppid=379 vsize=6435028 CPUtime=0 cores=5,7
/proc/381/task/389/stat : 389 (java) S 379 381 18884 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 852921181 6589468672 343469 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 7 0 0 0
[pid=381/tid=390] ppid=379 vsize=6435028 CPUtime=0 cores=5,7
/proc/381/task/390/stat : 390 (java) S 379 381 18884 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 852921181 6589468672 343469 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 7 0 0 0
[pid=381/tid=391] ppid=379 vsize=6435028 CPUtime=0 cores=5,7
/proc/381/task/391/stat : 391 (java) S 379 381 18884 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 852921181 6589468672 343469 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 7 0 0 0
[pid=381/tid=392] ppid=379 vsize=6435028 CPUtime=0 cores=5,7
/proc/381/task/392/stat : 392 (java) S 379 381 18884 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 19 0 852921182 6589468672 343469 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 270350200320 0 0 0 16800975 18446604454225333056 0 0 -1 7 0 0 0
[pid=381/tid=393] ppid=379 vsize=6435028 CPUtime=0 cores=5,7
/proc/381/task/393/stat : 393 (java) S 379 381 18884 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 852921182 6589468672 343469 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 7 0 0 0
[pid=381/tid=394] ppid=379 vsize=6435028 CPUtime=0 cores=5,7
/proc/381/task/394/stat : 394 (java) S 379 381 18884 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 852921182 6589468672 343469 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 7 0 0 0
[pid=381/tid=395] ppid=379 vsize=6435028 CPUtime=0 cores=5,7
/proc/381/task/395/stat : 395 (java) S 379 381 18884 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 852921185 6589468672 343469 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 270350207409 0 4 0 16800975 18446604454225333056 0 0 -1 7 0 0 0
[pid=381/tid=396] ppid=379 vsize=6435028 CPUtime=0.25 cores=5,7
/proc/381/task/396/stat : 396 (java) S 379 381 18884 0 -1 4202560 625 0 0 0 25 0 0 0 15 0 19 0 852921185 6589468672 343469 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 5 0 0 0
[pid=381/tid=397] ppid=379 vsize=6435028 CPUtime=0.29 cores=5,7
/proc/381/task/397/stat : 397 (java) S 379 381 18884 0 -1 4202560 1619 0 0 0 29 0 0 0 15 0 19 0 852921185 6589468672 343469 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 7 0 0 0
[pid=381/tid=398] ppid=379 vsize=6435028 CPUtime=0 cores=5,7
/proc/381/task/398/stat : 398 (java) S 379 381 18884 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 852921185 6589468672 343469 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 7 0 0 0
[pid=381/tid=399] ppid=379 vsize=6435028 CPUtime=0 cores=5,7
/proc/381/task/399/stat : 399 (java) S 379 381 18884 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 852921185 6589468672 343469 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 270350200320 0 4 0 16800975 18446604454225333056 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.75
Current children cumulated vsize (KiB) 6435028

[startup+12.7013 s]
/proc/loadavg: 4.66 4.41 2.91 5/584 734
/proc/meminfo: memFree=96832/32951124 swapFree=50913892/67111528
[pid=381] ppid=379 vsize=6435532 CPUtime=14.75 cores=5,7
/proc/381/stat : 381 (java) S 379 381 18884 0 -1 4202496 639344 0 1 0 1405 70 0 0 23 0 19 0 852921177 6589984768 630037 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/381/statm: 1608883 630037 2237 9 0 1599621 0
[pid=381/tid=383] ppid=379 vsize=6435532 CPUtime=11.06 cores=5,7

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

/proc/381/task/389/stat : 389 (java) S 379 381 18884 0 -1 4202560 48116 0 0 0 176 43 0 0 15 0 18 0 852921181 6600232960 764978 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 7 0 0 189
[pid=381/tid=390] ppid=379 vsize=6445540 CPUtime=2.04 cores=5,7
/proc/381/task/390/stat : 390 (java) S 379 381 18884 0 -1 4202560 35327 0 0 0 170 34 0 0 16 0 18 0 852921181 6600232960 764978 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 5 0 0 215
[pid=381/tid=391] ppid=379 vsize=6445540 CPUtime=1.52 cores=5,7
/proc/381/task/391/stat : 391 (java) S 379 381 18884 0 -1 4202560 13223 0 0 0 131 21 0 0 15 0 18 0 852921181 6600232960 764978 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 7 0 0 229
[pid=381/tid=392] ppid=379 vsize=6445540 CPUtime=0.02 cores=5,7
/proc/381/task/392/stat : 392 (java) S 379 381 18884 0 -1 4202560 57 0 0 0 1 1 0 0 15 0 18 0 852921182 6600232960 764978 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 270350200320 0 0 0 16800975 18446604454225333056 0 0 -1 5 0 0 0
[pid=381/tid=393] ppid=379 vsize=6445540 CPUtime=0 cores=5,7
/proc/381/task/393/stat : 393 (java) S 379 381 18884 0 -1 4202560 26 0 0 0 0 0 0 0 15 0 18 0 852921182 6600232960 764978 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 5 0 0 0
[pid=381/tid=394] ppid=379 vsize=6445540 CPUtime=0 cores=5,7
/proc/381/task/394/stat : 394 (java) S 379 381 18884 0 -1 4202560 38 0 0 0 0 0 0 0 15 0 18 0 852921182 6600232960 764978 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 7 0 0 0
[pid=381/tid=395] ppid=379 vsize=6445540 CPUtime=0 cores=5,7
/proc/381/task/395/stat : 395 (java) S 379 381 18884 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 852921185 6600232960 764978 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 270350207409 0 4 0 16800975 18446604454225333056 0 0 -1 7 0 0 0
[pid=381/tid=396] ppid=379 vsize=6445540 CPUtime=0.44 cores=5,7
/proc/381/task/396/stat : 396 (java) S 379 381 18884 0 -1 4202560 3724 0 0 0 44 0 0 0 15 0 18 0 852921185 6600232960 764978 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 5 0 0 0
[pid=381/tid=397] ppid=379 vsize=6445540 CPUtime=0.44 cores=5,7
/proc/381/task/397/stat : 397 (java) S 379 381 18884 0 -1 4202560 2450 0 0 0 44 0 0 0 15 0 18 0 852921185 6600232960 764978 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 7 0 0 0
[pid=381/tid=398] ppid=379 vsize=6445540 CPUtime=0 cores=5,7
/proc/381/task/398/stat : 398 (java) S 379 381 18884 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 852921185 6600232960 764978 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 7 0 0 0
[pid=381/tid=399] ppid=379 vsize=6445540 CPUtime=0 cores=5,7
/proc/381/task/399/stat : 399 (java) S 379 381 18884 0 -1 4202560 78 0 0 0 0 0 0 0 15 0 18 0 852921185 6600232960 764978 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 270350200320 0 4 0 16800975 18446604454225333056 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 844.71
Current children cumulated vsize (KiB) 6445540

[startup+841.001 s]
/proc/loadavg: 4.21 4.31 3.79 5/584 31172
/proc/meminfo: memFree=1041056/32951124 swapFree=48775408/67111528
[pid=381] ppid=379 vsize=6445540 CPUtime=847.9 cores=5,7
/proc/381/stat : 381 (java) S 379 381 18884 0 -1 4202496 776202 0 1 0 84475 315 0 0 23 0 18 0 852921177 6600232960 764978 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/381/statm: 1611385 764978 2240 9 0 1602123 0
[pid=381/tid=383] ppid=379 vsize=6445540 CPUtime=830.88 cores=5,7
/proc/381/task/383/stat : 383 (java) R 379 381 18884 0 -1 4202560 391769 0 1 0 83041 47 0 0 25 0 18 0 852921180 6600232960 764978 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 46912505762368 0 4 0 16800975 0 0 0 -1 5 0 0 38
[pid=381/tid=384] ppid=379 vsize=6445540 CPUtime=1.76 cores=5,7
/proc/381/task/384/stat : 384 (java) S 379 381 18884 0 -1 4202560 79528 0 0 0 140 36 0 0 16 0 18 0 852921181 6600232960 764978 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 7 0 0 197
[pid=381/tid=385] ppid=379 vsize=6445540 CPUtime=2.29 cores=5,7
/proc/381/task/385/stat : 385 (java) S 379 381 18884 0 -1 4202560 69642 0 0 0 195 34 0 0 15 0 18 0 852921181 6600232960 764978 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 5 0 0 216
[pid=381/tid=386] ppid=379 vsize=6445540 CPUtime=2.2 cores=5,7
/proc/381/task/386/stat : 386 (java) S 379 381 18884 0 -1 4202560 38905 0 0 0 194 26 0 0 16 0 18 0 852921181 6600232960 764978 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 7 0 0 225
[pid=381/tid=387] ppid=379 vsize=6445540 CPUtime=2.65 cores=5,7
/proc/381/task/387/stat : 387 (java) S 379 381 18884 0 -1 4202560 67787 0 0 0 235 30 0 0 15 0 18 0 852921181 6600232960 764978 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 5 0 0 217
[pid=381/tid=388] ppid=379 vsize=6445540 CPUtime=1.25 cores=5,7
/proc/381/task/388/stat : 388 (java) S 379 381 18884 0 -1 4202560 24343 0 0 0 91 34 0 0 15 0 18 0 852921181 6600232960 764978 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 7 0 0 203
[pid=381/tid=389] ppid=379 vsize=6445540 CPUtime=2.19 cores=5,7
/proc/381/task/389/stat : 389 (java) S 379 381 18884 0 -1 4202560 48116 0 0 0 176 43 0 0 15 0 18 0 852921181 6600232960 764978 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 7 0 0 189
[pid=381/tid=390] ppid=379 vsize=6445540 CPUtime=2.04 cores=5,7
/proc/381/task/390/stat : 390 (java) S 379 381 18884 0 -1 4202560 35327 0 0 0 170 34 0 0 16 0 18 0 852921181 6600232960 764978 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 5 0 0 215
[pid=381/tid=391] ppid=379 vsize=6445540 CPUtime=1.52 cores=5,7
/proc/381/task/391/stat : 391 (java) S 379 381 18884 0 -1 4202560 13223 0 0 0 131 21 0 0 15 0 18 0 852921181 6600232960 764978 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 7 0 0 229
[pid=381/tid=392] ppid=379 vsize=6445540 CPUtime=0.02 cores=5,7
/proc/381/task/392/stat : 392 (java) S 379 381 18884 0 -1 4202560 57 0 0 0 1 1 0 0 15 0 18 0 852921182 6600232960 764978 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 270350200320 0 0 0 16800975 18446604454225333056 0 0 -1 5 0 0 0
[pid=381/tid=393] ppid=379 vsize=6445540 CPUtime=0 cores=5,7
/proc/381/task/393/stat : 393 (java) S 379 381 18884 0 -1 4202560 26 0 0 0 0 0 0 0 15 0 18 0 852921182 6600232960 764978 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 5 0 0 0
[pid=381/tid=394] ppid=379 vsize=6445540 CPUtime=0 cores=5,7
/proc/381/task/394/stat : 394 (java) S 379 381 18884 0 -1 4202560 38 0 0 0 0 0 0 0 15 0 18 0 852921182 6600232960 764978 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 7 0 0 0
[pid=381/tid=395] ppid=379 vsize=6445540 CPUtime=0 cores=5,7
/proc/381/task/395/stat : 395 (java) S 379 381 18884 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 852921185 6600232960 764978 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 270350207409 0 4 0 16800975 18446604454225333056 0 0 -1 7 0 0 0
[pid=381/tid=396] ppid=379 vsize=6445540 CPUtime=0.44 cores=5,7
/proc/381/task/396/stat : 396 (java) S 379 381 18884 0 -1 4202560 3724 0 0 0 44 0 0 0 15 0 18 0 852921185 6600232960 764978 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 5 0 0 0
[pid=381/tid=397] ppid=379 vsize=6445540 CPUtime=0.44 cores=5,7
/proc/381/task/397/stat : 397 (java) S 379 381 18884 0 -1 4202560 2450 0 0 0 44 0 0 0 15 0 18 0 852921185 6600232960 764978 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 7 0 0 0
[pid=381/tid=398] ppid=379 vsize=6445540 CPUtime=0 cores=5,7
/proc/381/task/398/stat : 398 (java) S 379 381 18884 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 852921185 6600232960 764978 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 7 0 0 0
[pid=381/tid=399] ppid=379 vsize=6445540 CPUtime=0 cores=5,7
/proc/381/task/399/stat : 399 (java) S 379 381 18884 0 -1 4202560 78 0 0 0 0 0 0 0 15 0 18 0 852921185 6600232960 764978 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 270350200320 0 4 0 16800975 18446604454225333056 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 847.9
Current children cumulated vsize (KiB) 6445540

[startup+841.802 s]
/proc/loadavg: 4.21 4.31 3.79 5/584 31172
/proc/meminfo: memFree=1041056/32951124 swapFree=48775408/67111528
[pid=381] ppid=379 vsize=6445540 CPUtime=848.71 cores=5,7
/proc/381/stat : 381 (java) S 379 381 18884 0 -1 4202496 776202 0 1 0 84556 315 0 0 23 0 18 0 852921177 6600232960 764978 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/381/statm: 1611385 764978 2240 9 0 1602123 0
[pid=381/tid=383] ppid=379 vsize=6445540 CPUtime=831.68 cores=5,7
/proc/381/task/383/stat : 383 (java) R 379 381 18884 0 -1 4202560 391769 0 1 0 83121 47 0 0 25 0 18 0 852921180 6600232960 764978 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 46912505762368 0 4 0 16800975 0 0 0 -1 5 0 0 38
[pid=381/tid=384] ppid=379 vsize=6445540 CPUtime=1.76 cores=5,7
/proc/381/task/384/stat : 384 (java) S 379 381 18884 0 -1 4202560 79528 0 0 0 140 36 0 0 16 0 18 0 852921181 6600232960 764978 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 7 0 0 197
[pid=381/tid=385] ppid=379 vsize=6445540 CPUtime=2.29 cores=5,7
/proc/381/task/385/stat : 385 (java) S 379 381 18884 0 -1 4202560 69642 0 0 0 195 34 0 0 15 0 18 0 852921181 6600232960 764978 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 5 0 0 216
[pid=381/tid=386] ppid=379 vsize=6445540 CPUtime=2.2 cores=5,7
/proc/381/task/386/stat : 386 (java) S 379 381 18884 0 -1 4202560 38905 0 0 0 194 26 0 0 16 0 18 0 852921181 6600232960 764978 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 7 0 0 225
[pid=381/tid=387] ppid=379 vsize=6445540 CPUtime=2.65 cores=5,7
/proc/381/task/387/stat : 387 (java) S 379 381 18884 0 -1 4202560 67787 0 0 0 235 30 0 0 15 0 18 0 852921181 6600232960 764978 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 5 0 0 217
[pid=381/tid=388] ppid=379 vsize=6445540 CPUtime=1.25 cores=5,7
/proc/381/task/388/stat : 388 (java) S 379 381 18884 0 -1 4202560 24343 0 0 0 91 34 0 0 15 0 18 0 852921181 6600232960 764978 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 7 0 0 203
[pid=381/tid=389] ppid=379 vsize=6445540 CPUtime=2.19 cores=5,7
/proc/381/task/389/stat : 389 (java) S 379 381 18884 0 -1 4202560 48116 0 0 0 176 43 0 0 15 0 18 0 852921181 6600232960 764978 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 7 0 0 189
[pid=381/tid=390] ppid=379 vsize=6445540 CPUtime=2.04 cores=5,7
/proc/381/task/390/stat : 390 (java) S 379 381 18884 0 -1 4202560 35327 0 0 0 170 34 0 0 16 0 18 0 852921181 6600232960 764978 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 5 0 0 215
[pid=381/tid=391] ppid=379 vsize=6445540 CPUtime=1.52 cores=5,7
/proc/381/task/391/stat : 391 (java) S 379 381 18884 0 -1 4202560 13223 0 0 0 131 21 0 0 15 0 18 0 852921181 6600232960 764978 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 7 0 0 229
[pid=381/tid=392] ppid=379 vsize=6445540 CPUtime=0.02 cores=5,7
/proc/381/task/392/stat : 392 (java) S 379 381 18884 0 -1 4202560 57 0 0 0 1 1 0 0 15 0 18 0 852921182 6600232960 764978 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 270350200320 0 0 0 16800975 18446604454225333056 0 0 -1 5 0 0 0
[pid=381/tid=393] ppid=379 vsize=6445540 CPUtime=0 cores=5,7
/proc/381/task/393/stat : 393 (java) S 379 381 18884 0 -1 4202560 26 0 0 0 0 0 0 0 15 0 18 0 852921182 6600232960 764978 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 5 0 0 0
[pid=381/tid=394] ppid=379 vsize=6445540 CPUtime=0 cores=5,7
/proc/381/task/394/stat : 394 (java) S 379 381 18884 0 -1 4202560 38 0 0 0 0 0 0 0 15 0 18 0 852921182 6600232960 764978 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 7 0 0 0
[pid=381/tid=395] ppid=379 vsize=6445540 CPUtime=0 cores=5,7
/proc/381/task/395/stat : 395 (java) S 379 381 18884 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 852921185 6600232960 764978 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 270350207409 0 4 0 16800975 18446604454225333056 0 0 -1 7 0 0 0
[pid=381/tid=396] ppid=379 vsize=6445540 CPUtime=0.44 cores=5,7
/proc/381/task/396/stat : 396 (java) S 379 381 18884 0 -1 4202560 3724 0 0 0 44 0 0 0 15 0 18 0 852921185 6600232960 764978 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 5 0 0 0
[pid=381/tid=397] ppid=379 vsize=6445540 CPUtime=0.44 cores=5,7
/proc/381/task/397/stat : 397 (java) S 379 381 18884 0 -1 4202560 2450 0 0 0 44 0 0 0 15 0 18 0 852921185 6600232960 764978 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 7 0 0 0
[pid=381/tid=398] ppid=379 vsize=6445540 CPUtime=0 cores=5,7
/proc/381/task/398/stat : 398 (java) S 379 381 18884 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 852921185 6600232960 764978 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 7 0 0 0
[pid=381/tid=399] ppid=379 vsize=6445540 CPUtime=0 cores=5,7
/proc/381/task/399/stat : 399 (java) S 379 381 18884 0 -1 4202560 78 0 0 0 0 0 0 0 15 0 18 0 852921185 6600232960 764978 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 270350200320 0 4 0 16800975 18446604454225333056 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 848.71
Current children cumulated vsize (KiB) 6445540

[startup+842.602 s]
/proc/loadavg: 4.21 4.31 3.79 5/583 31180
/proc/meminfo: memFree=1041180/32951124 swapFree=48775408/67111528
[pid=381] ppid=379 vsize=6445540 CPUtime=849.51 cores=5,7
/proc/381/stat : 381 (java) S 379 381 18884 0 -1 4202496 776202 0 1 0 84636 315 0 0 23 0 18 0 852921177 6600232960 764978 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/381/statm: 1611385 764978 2240 9 0 1602123 0
[pid=381/tid=383] ppid=379 vsize=6445540 CPUtime=832.48 cores=5,7
/proc/381/task/383/stat : 383 (java) R 379 381 18884 0 -1 4202560 391769 0 1 0 83201 47 0 0 25 0 18 0 852921180 6600232960 764978 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 46912505762368 0 4 0 16800975 0 0 0 -1 5 0 0 38
[pid=381/tid=384] ppid=379 vsize=6445540 CPUtime=1.76 cores=5,7
/proc/381/task/384/stat : 384 (java) S 379 381 18884 0 -1 4202560 79528 0 0 0 140 36 0 0 16 0 18 0 852921181 6600232960 764978 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 7 0 0 197
[pid=381/tid=385] ppid=379 vsize=6445540 CPUtime=2.29 cores=5,7
/proc/381/task/385/stat : 385 (java) S 379 381 18884 0 -1 4202560 69642 0 0 0 195 34 0 0 15 0 18 0 852921181 6600232960 764978 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 5 0 0 216
[pid=381/tid=386] ppid=379 vsize=6445540 CPUtime=2.2 cores=5,7
/proc/381/task/386/stat : 386 (java) S 379 381 18884 0 -1 4202560 38905 0 0 0 194 26 0 0 16 0 18 0 852921181 6600232960 764978 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 7 0 0 225
[pid=381/tid=387] ppid=379 vsize=6445540 CPUtime=2.65 cores=5,7
/proc/381/task/387/stat : 387 (java) S 379 381 18884 0 -1 4202560 67787 0 0 0 235 30 0 0 15 0 18 0 852921181 6600232960 764978 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 5 0 0 217
[pid=381/tid=388] ppid=379 vsize=6445540 CPUtime=1.25 cores=5,7
/proc/381/task/388/stat : 388 (java) S 379 381 18884 0 -1 4202560 24343 0 0 0 91 34 0 0 15 0 18 0 852921181 6600232960 764978 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 7 0 0 203
[pid=381/tid=389] ppid=379 vsize=6445540 CPUtime=2.19 cores=5,7
/proc/381/task/389/stat : 389 (java) S 379 381 18884 0 -1 4202560 48116 0 0 0 176 43 0 0 15 0 18 0 852921181 6600232960 764978 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 7 0 0 189
[pid=381/tid=390] ppid=379 vsize=6445540 CPUtime=2.04 cores=5,7
/proc/381/task/390/stat : 390 (java) S 379 381 18884 0 -1 4202560 35327 0 0 0 170 34 0 0 16 0 18 0 852921181 6600232960 764978 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 5 0 0 215
[pid=381/tid=391] ppid=379 vsize=6445540 CPUtime=1.52 cores=5,7
/proc/381/task/391/stat : 391 (java) S 379 381 18884 0 -1 4202560 13223 0 0 0 131 21 0 0 15 0 18 0 852921181 6600232960 764978 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 7 0 0 229
[pid=381/tid=392] ppid=379 vsize=6445540 CPUtime=0.02 cores=5,7
/proc/381/task/392/stat : 392 (java) S 379 381 18884 0 -1 4202560 57 0 0 0 1 1 0 0 15 0 18 0 852921182 6600232960 764978 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 270350200320 0 0 0 16800975 18446604454225333056 0 0 -1 5 0 0 0
[pid=381/tid=393] ppid=379 vsize=6445540 CPUtime=0 cores=5,7
/proc/381/task/393/stat : 393 (java) S 379 381 18884 0 -1 4202560 26 0 0 0 0 0 0 0 15 0 18 0 852921182 6600232960 764978 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 5 0 0 0
[pid=381/tid=394] ppid=379 vsize=6445540 CPUtime=0 cores=5,7
/proc/381/task/394/stat : 394 (java) S 379 381 18884 0 -1 4202560 38 0 0 0 0 0 0 0 15 0 18 0 852921182 6600232960 764978 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 7 0 0 0
[pid=381/tid=395] ppid=379 vsize=6445540 CPUtime=0 cores=5,7
/proc/381/task/395/stat : 395 (java) S 379 381 18884 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 852921185 6600232960 764978 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 270350207409 0 4 0 16800975 18446604454225333056 0 0 -1 7 0 0 0
[pid=381/tid=396] ppid=379 vsize=6445540 CPUtime=0.44 cores=5,7
/proc/381/task/396/stat : 396 (java) S 379 381 18884 0 -1 4202560 3724 0 0 0 44 0 0 0 15 0 18 0 852921185 6600232960 764978 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 5 0 0 0
[pid=381/tid=397] ppid=379 vsize=6445540 CPUtime=0.44 cores=5,7
/proc/381/task/397/stat : 397 (java) S 379 381 18884 0 -1 4202560 2450 0 0 0 44 0 0 0 15 0 18 0 852921185 6600232960 764978 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 7 0 0 0
[pid=381/tid=398] ppid=379 vsize=6445540 CPUtime=0 cores=5,7
/proc/381/task/398/stat : 398 (java) S 379 381 18884 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 852921185 6600232960 764978 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 270350199705 0 4 0 16800975 18446604454225333056 0 0 -1 7 0 0 0
[pid=381/tid=399] ppid=379 vsize=6445540 CPUtime=0 cores=5,7
/proc/381/task/399/stat : 399 (java) S 379 381 18884 0 -1 4202560 78 0 0 0 0 0 0 0 15 0 18 0 852921185 6600232960 764978 33554432000 1073741824 1073778376 140733255165056 18446744073709551615 270350200320 0 4 0 16800975 18446604454225333056 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 849.51
Current children cumulated vsize (KiB) 6445540

[startup+842.801 s]
/proc/loadavg: 4.21 4.31 3.79 5/583 31180
/proc/meminfo: memFree=1041180/32951124 swapFree=48775408/67111528
[pid=381] ppid=379 vsize=0 CPUtime=849.7 cores=5,7
/proc/381/stat : 381 (java) R 379 381 18884 0 -1 4203524 776213 0 1 0 84655 315 0 0 18 0 1 0 852921177 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/381/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 849.7
Current children cumulated vsize (KiB) 0

[startup+842.9 s]
/proc/loadavg: 4.21 4.31 3.79 5/583 31180
/proc/meminfo: memFree=1041180/32951124 swapFree=48775408/67111528
[pid=381] ppid=379 vsize=0 CPUtime=849.8 cores=5,7
/proc/381/stat : 381 (java) R 379 381 18884 0 -1 4203524 776213 0 1 0 84655 325 0 0 18 0 1 0 852921177 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/381/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 849.8
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 842.914
CPU time (s): 849.826
CPU user time (s): 846.556
CPU system time (s): 3.2695
CPU usage (%): 100.82
Max. virtual memory (cumulated for all children) (KiB): 6447316

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 846.556
system time used= 3.2695
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 776213
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= 23971
involuntary context switches= 14194

runsolver used 4.10338 second user time and 10.2714 second system time

The end

Begin job on node143 at 2011-06-09 09:37:36
IDJOB=3483007
IDBENCH=89254
IDSOLVER=1972
FILE ID=node143/3483007-1307605054
RUNJOBID= node143-1307604137-18905
PBS_JOBID= 13547746
Free space on /tmp= 73748 MiB

SOLVER NAME= SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06
BENCH NAME= SAT11/mus/marques-silva/abstraction-refinement-intel/edn_20259_8.cnf_0.39000000.unsat.cnf
COMMAND LINE= java -Xms6000m -Xmx6000m -jar sat4j-mus-v20110206.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3483007-1307605054/watcher-3483007-1307605054 -o /tmp/evaluation-result-3483007-1307605054/solver-3483007-1307605054 -C 1800 -W 1850 -M 7680  java -Xms6000m -Xmx6000m -jar sat4j-mus-v20110206.jar HOME/instance-3483007-1307605054.cnf

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

MD5SUM BENCH= 0c379b296c9ccb9640c00d5ad981da4b
RANDOM SEED=1135417253

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:       2408116 kB
Buffers:        189156 kB
Cached:         723224 kB
SwapCached:       8376 kB
Active:       29757036 kB
Inactive:       447216 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       2408116 kB
SwapTotal:    67111528 kB
SwapFree:     50923800 kB
Dirty:           37260 kB
Writeback:           0 kB
AnonPages:    29289864 kB
Mapped:          59368 kB
Slab:           144576 kB
PageTables:     125732 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 148023160 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73740 MiB
End job on node143 at 2011-06-09 09:51:39