0.05/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.05/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.05/0.07	c See www.sat4j.org for details.
0.05/0.07	c version 2.3.0.v20110206
0.05/0.07	c java.runtime.name	Java(TM) SE Runtime Environment
0.05/0.07	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.05/0.07	c java.vm.version	19.1-b02
0.05/0.07	c java.vm.vendor	Sun Microsystems Inc.
0.05/0.07	c sun.arch.data.model	64
0.05/0.07	c java.version		1.6.0_24
0.05/0.07	c os.name		Linux
0.05/0.07	c os.version		2.6.18-164.el5
0.05/0.07	c os.arch		amd64
0.05/0.07	c Free memory 		5997854704
0.05/0.07	c Max memory 		6029312000
0.05/0.07	c Total memory 		6029312000
0.05/0.07	c Number of processors 	8
0.09/0.10	c Explanation (MUS) enabled solver
0.09/0.10	c QuickXplain (AAAI 2004 version) minimization strategy
0.09/0.10	c --- Begin Solver configuration ---
0.09/0.10	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@aa470b8
0.09/0.10	c Learn all clauses as in MiniSAT
0.09/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 
0.09/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT
0.09/0.10	c Expensive reason simplification
0.09/0.10	c Armin Biere (Picosat) restarts strategy
0.09/0.10	c Glucose learned constraints deletion strategy
0.09/0.10	c timeout=2147483647s
0.09/0.10	c DB Simplification allowed=true
0.09/0.10	c --- End Solver configuration ---
0.09/0.10	c solving HOME/instance-3493376-1307799074.cnf
0.09/0.10	c reading problem ... 
1.44/1.30	c ... done. Wall clock time 1.198s.
1.44/1.30	c #vars     1174218
1.44/1.30	c #constraints  935928
1.44/1.30	c constraints type 
1.44/1.30	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 930356
1.44/1.30	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 5572
3.05/2.51	c Unsat detection wall clock time (in seconds) : 2.406
3.05/2.51	c Size of initial unsat subformula: 444
3.05/2.51	c Computing MUS ...
3.05/2.51	c initial unsat core 226079[?] 1151259[?] -226078[?]  226093[?] 226089[?] -226092[?] 1151243[?]  -226115[?] 1151206[?] 226118[?] 226117[?] -226079[?] 1151201[?]  -226765[?] 1149897[?] 226115[?]  -227910[?] 226115[?] 1146368[?]  -227911[?] 226765[?] 227910[?] 1146362[?]  -227913[?] 226115[?] 1146350[?]  -226733[?] -227914[?] 227913[?] 1146345[?]  226730[?] -226093[?] 227911[?] 1146341[?]  227914[?] -226093[?] 227911[?] 1146338[?]  219969[?] 1128301[?] -219968[?]  -220005[?] 1128248[?] 220008[?] 220007[?] -219969[?] 1128243[?]  -220016[?] 220019[?] 220018[?] 1128220[?]  -220510[?] 1127356[?] -220552[?] 220553[?] 220005[?] 1127266[?]  -220554[?] 220552[?] 1127264[?]  -220602[?] 220005[?] 1127056[?]  -220553[?] 219979[?] 220607[?] 1127050[?]  220612[?] -220613[?] 219979[?] 1127039[?]  219966[?] -220619[?] 1127024[?]  220621[?] -220612[?] 1127020[?]  220622[?] -220621[?] -219966[?] 1127016[?]  220642[?] 219986[?] -220641[?] 1126993[?]  -220650[?] 220005[?] 1126963[?]  -220773[?] 1126608[?] -221624[?] 220641[?] 220510[?] 1124641[?]  -221628[?] 221624[?] 220510[?] 1124616[?]  -220009[?] 221628[?] 1124614[?]  -221690[?] 1124185[?] 220005[?]  -221691[?] 1124179[?] 220005[?]  -221692[?] 1124173[?] 221691[?] 221690[?]  -220018[?] -220545[?] 221692[?] 1124168[?]  220551[?] -221696[?] 220005[?] 1124146[?]  -221697[?] 1124137[?] 220005[?]  -221698[?] 221696[?] 221697[?] 1124131[?]  -220019[?] 221698[?] -220545[?] 1124126[?]  -221738[?] 1123825[?] 220005[?]  -221739[?] 1123819[?] 221738[?] 220602[?]  -221740[?] 1123813[?] 220005[?]  220548[?] -221742[?] 221740[?] 1123804[?]  221742[?] -220642[?] 221739[?] 1123795[?]  -221756[?] 1123720[?] 220005[?]  -221757[?] 221756[?] 220650[?] 1123714[?]  -221758[?] 220016[?] 1123708[?]  -221759[?] 220016[?] 220005[?] 1123702[?]  -221760[?] 221758[?] 221759[?] 1123696[?]  -220607[?] 221760[?] 221757[?] 1123690[?]  221780[?] 220016[?] 1123551[?]  221782[?] 220623[?] -221780[?] 1123544[?]  220613[?] -221782[?] -220620[?] 1123536[?]  220641[?] -222702[?] 220773[?] 1119797[?]  222702[?] -222706[?] 220773[?] 1119772[?]  222706[?] -220010[?] 1119770[?]  -213895[?] 1105290[?] -213906[?] 213909[?] 213908[?] 1105262[?]  -214400[?] 1104398[?] 214420[?] 1104353[?] 214424[?] -214426[?] -213876[?] 1104344[?]  214428[?] -214427[?] 214429[?] 1104336[?]  -213876[?] -214430[?] 214432[?] 1104331[?]  214433[?] -214424[?] 1104327[?]  214434[?] -213856[?] -214433[?] 1104323[?]  214427[?] -214436[?] 213895[?] 1104320[?]  214436[?] -214437[?] 1104318[?]  214430[?] -214439[?] 213895[?] 1104314[?]  214439[?] -214440[?] 1104312[?]  -214442[?] 214443[?] 213895[?] 1104308[?]  -214444[?] 214442[?] 1104306[?]  214478[?] 1104181[?] 213868[?] 213857[?]  214480[?] -214420[?] 213868[?] 1104169[?]  -214481[?] 1104165[?] -214478[?] 213895[?]  214441[?] -214483[?] 213895[?] 1104155[?]  214441[?] -214486[?] 213895[?] 1104137[?]  -214492[?] 1104098[?] 213895[?]  -214443[?] 213869[?] 214497[?] 1104092[?]  214499[?] -214500[?] 213869[?] 1104087[?]  -214502[?] 214503[?] 213869[?] 1104080[?]  214508[?] -214499[?] 1104068[?]  214509[?] -214508[?] -213856[?] 1104064[?]  -214511[?] 214502[?] 213895[?] 1104061[?]  -214512[?] 214511[?] 1104059[?]  214532[?] 213876[?] -214531[?] 1104035[?]  -214540[?] 1104005[?] 213895[?]  213856[?] -214624[?] 1103719[?]  -214663[?] 1103650[?] -215514[?] 214531[?] 214400[?] 1101683[?]  -215518[?] 215514[?] 214400[?] 1101658[?]  -213899[?] 215518[?] 1101656[?]  215539[?] -214480[?] 213868[?] 1101502[?]  214438[?] 215541[?] -215539[?] 1101495[?]  -215541[?] 214426[?] -214435[?] 1101487[?]  -215543[?] 214483[?] 214438[?] 1101476[?]  -215544[?] 214441[?] 213895[?] 1101470[?]  215544[?] 214438[?] -215546[?] 1101458[?]  215546[?] 215543[?] -214428[?] 1101449[?]  -215547[?] 1101443[?] 213868[?]  214438[?] -215549[?] 215547[?] 1101434[?]  214441[?] -215550[?] 213895[?] 1101428[?]  -215552[?] 215550[?] 214438[?] 1101416[?]  -214429[?] 215549[?] 215552[?] 1101407[?]  -215564[?] 214481[?] 213895[?] 1101341[?]  -215565[?] 213895[?] 1101335[?]  -215566[?] 215564[?] 215565[?] 1101329[?]  -214432[?] -214435[?] 215566[?] 1101324[?]  -215578[?] 213895[?] 1101239[?]  -215579[?] 214486[?] 215578[?] 1101233[?]  -215580[?] 213895[?] 1101227[?]  -215581[?] 213895[?] 1101221[?]  -215582[?] 215580[?] 215581[?] 1101215[?]  -213908[?] 215579[?] 215582[?] 1101209[?]  214441[?] -215586[?] 213895[?] 1101188[?]  -215587[?] 213895[?] 1101179[?]  -215588[?] 215586[?] 215587[?] 1101173[?]  -213909[?] 215588[?] -214435[?] 1101168[?]  -215628[?] 213895[?] 1100867[?]  -215629[?] 214492[?] 215628[?] 1100861[?]  -215630[?] 213895[?] 1100855[?]  214441[?] -215631[?] 213895[?] 1100852[?]  214438[?] -215632[?] 215630[?] 1100846[?]  215631[?] -215632[?] 215630[?] 1100843[?]  215632[?] -214532[?] 215629[?] 1100837[?]  -215646[?] 213895[?] 1100762[?]  -215647[?] 214540[?] 215646[?] 1100756[?]  -215648[?] 213906[?] 1100750[?]  -215649[?] 213906[?] 213895[?] 1100744[?]  -215650[?] 215648[?] 215649[?] 1100738[?]  -214497[?] 215650[?] 215647[?] 1100732[?]  215657[?] -214516[?] -214531[?] 1100686[?]  215658[?] -215657[?] -214513[?] 1100680[?]  214500[?] -215658[?] 214510[?] 1100658[?]  -215668[?] -214516[?] -214531[?] 1100607[?]  -215669[?] 215668[?] -214513[?] 1100601[?]  -215671[?] 213895[?] 1100588[?]  -215672[?] -214513[?] 215671[?] 1100583[?]  -214503[?] 215672[?] 215669[?] 1100576[?]  214531[?] -216592[?] 214663[?] 1096839[?]  216592[?] -216596[?] 214663[?] 1096814[?]  216596[?] -213900[?] 1096812[?]  -207770[?] 1082358[?] 207766[?] 207769[?]  -207766[?] 1082350[?] -207774[?] 207772[?]  -207773[?] 1082347[?] -207774[?] 207772[?]  -207785[?] 1082332[?] -207796[?] 207799[?] 207798[?] 1082304[?]  208310[?] 1081395[?] -208311[?] 208312[?] 207766[?] 1081393[?]  208314[?] -208315[?] 207766[?] 1081388[?]  208318[?] -208317[?] 207766[?] 1081381[?]  208321[?] -208320[?] 207766[?] 1081375[?]  208323[?] -208314[?] 1081369[?]  208324[?] -207746[?] -208323[?] 1081365[?]  208317[?] -208326[?] 207785[?] 1081362[?]  208326[?] -208327[?] 1081360[?]  208320[?] -208329[?] 207785[?] 1081356[?]  208329[?] -208330[?] 1081354[?]  -208332[?] 208333[?] 207785[?] 1081350[?]  -208334[?] 208332[?] 1081348[?]  208341[?] 1081332[?] 207758[?] 207747[?]  -208354[?] 207785[?] -208341[?] 1081283[?]  -208374[?] 207785[?] 207747[?] 1081188[?]  208375[?] -208310[?] 1081181[?]  -208382[?] 207785[?] 1081140[?]  -208333[?] 207759[?] 208387[?] 1081134[?]  -208389[?] 208390[?] 208391[?] 1081125[?]  208392[?] -208393[?] 207759[?] 1081123[?]  208395[?] -208396[?] 207759[?] 1081117[?]  -208398[?] 208389[?] 207785[?] 1081109[?]  -208399[?] 208398[?] 1081107[?]  208401[?] -208392[?] 1081104[?]  208402[?] -208401[?] -207746[?] 1081100[?]  208404[?] -208395[?] 1081098[?]  208405[?] -208404[?] -207746[?] 1081094[?]  -208421[?] 208422[?] 207766[?] 1081077[?]  -208430[?] 207785[?] 1081047[?]  -208431[?] 207785[?] 1081041[?]  -208513[?] 208311[?] 207785[?] 1080762[?]  207746[?] -208514[?] 1080761[?]  -208514[?] 208513[?] 1080760[?]  -209412[?] 207785[?] 1078665[?]  -209413[?] 208354[?] 207785[?] 1078659[?]  -209414[?] 209413[?] 209412[?] 1078653[?]  -208312[?] -208325[?] 209414[?] 1078648[?]  -208331[?] 209421[?] -208310[?] 1078601[?]  -209421[?] 209422[?] -208328[?] 1078595[?]  209423[?] -208310[?] 1078586[?]  209424[?] -208310[?] -208341[?] 1078580[?]  209425[?] -209423[?] -209424[?] 1078574[?]  208315[?] -209422[?] -209425[?] 1078568[?]  -208331[?] -209432[?] 207785[?] 1078522[?]  209432[?] -209433[?] -208328[?] 1078516[?]  208337[?] -209434[?] 207785[?] 1078509[?]  208328[?] 209434[?] -209436[?] 1078500[?]  209433[?] 208325[?] -208318[?] 1078494[?]  209436[?] -208318[?] -208325[?] 1078492[?]  -209443[?] -208331[?] 207785[?] 1078444[?]  -209447[?] 209443[?] 208374[?] 1078431[?]  -208337[?] -208331[?] -209448[?] 1078426[?]  209448[?] 208328[?] -209450[?] 1078416[?]  208325[?] 209447[?] -208321[?] 1078410[?]  209450[?] -208321[?] -208325[?] 1078408[?]  209457[?] 208331[?] -208310[?] 1078363[?]  209458[?] 208328[?] -208375[?] 1078357[?]  209458[?] -209457[?] -208375[?] 1078352[?]  -208331[?] 209460[?] -208310[?] 1078343[?]  -209460[?] -208328[?] 209461[?] 1078337[?]  208325[?] -209458[?] 207773[?] 1078333[?]  -209461[?] -208325[?] 207773[?] 1078331[?]  209462[?] -208310[?] 1078322[?]  209463[?] -208310[?] 1078316[?]  209464[?] -209462[?] -209463[?] 1078310[?]  209465[?] -208310[?] 1078304[?]  209466[?] -208310[?] 1078298[?]  209467[?] -209465[?] -209466[?] 1078292[?]  207774[?] -209464[?] -209467[?] 1078286[?]  -209468[?] 207785[?] 1078281[?]  -209469[?] -208328[?] 209468[?] 1078276[?]  -209470[?] 207785[?] 1078269[?]  -209471[?] 207785[?] 1078263[?]  -209472[?] 209470[?] 209471[?] 1078257[?]  -207798[?] 209469[?] 209472[?] 1078251[?]  -209474[?] 207785[?] 1078239[?]  -209475[?] -208328[?] 209474[?] 1078234[?]  -209477[?] 207785[?] 1078221[?]  -209478[?] -208328[?] 209477[?] 1078216[?]  -207799[?] 209475[?] 209478[?] 1078209[?]  209506[?] 208331[?] -208310[?] 1078009[?]  208328[?] -209506[?] 209508[?] 1077997[?]  -209508[?] -208325[?] 207770[?] 1077989[?]  -209518[?] 207785[?] 1077909[?]  -209519[?] 208382[?] 209518[?] 1077903[?]  -208422[?] 208325[?] 209519[?] 1077882[?]  -209536[?] 207785[?] 1077804[?]  -209537[?] 208430[?] 209536[?] 1077798[?]  -209538[?] 207796[?] 1077792[?]  -209539[?] 207796[?] 207785[?] 1077786[?]  -209540[?] 209538[?] 209539[?] 1077780[?]  -208387[?] 209540[?] 209537[?] 1077774[?]  -209547[?] 208421[?] 207785[?] 1077726[?]  -209548[?] 209547[?] 208431[?] 1077720[?]  -208390[?] 208400[?] 209548[?] 1077699[?]  -209552[?] 207785[?] 1077690[?]  -209553[?] 207785[?] 1077684[?]  -209554[?] 209552[?] 209553[?] 1077678[?]  -209555[?] 207785[?] 1077672[?]  -209556[?] 207785[?] 1077666[?]  -209557[?] 209555[?] 209556[?] 1077660[?]  -208391[?] 209554[?] 209557[?] 1077654[?]  209558[?] 208421[?] -208310[?] 1077647[?]  209559[?] -208403[?] -209558[?] 1077644[?]  208393[?] -209559[?] 208400[?] 1077622[?]  209569[?] 208421[?] -208310[?] 1077569[?]  209570[?] -208403[?] -209569[?] 1077566[?]  208396[?] -209570[?] 208400[?] 1077546[?]  -201649[?] -201651[?] 201648[?] 1059416[?]  -201658[?] -201656[?] 201655[?] 1059404[?]  201663[?] 201656[?] -201662[?] 1059393[?]  -201675[?] 1059374[?] -201686[?] 201689[?] 201688[?] 1059346[?]  202200[?] 1058437[?] -202203[?] -201656[?] 202201[?] 1058434[?]  202204[?] 201656[?] -202205[?] 1058430[?]  202206[?] -201656[?] -202204[?] 1058427[?]  202205[?] 202206[?] -202204[?] 1058426[?]  202209[?] -201656[?] -202207[?] 1058421[?]  201656[?] 202210[?] -202211[?] 1058418[?]  202211[?] -202210[?] 201656[?] 1058417[?]  -202210[?] -201656[?] 202212[?] 1058415[?]  202213[?] -202204[?] 1058411[?]  202204[?] -202213[?] 201675[?] 1058410[?]  201636[?] -202214[?] 1058409[?]  202213[?] -202214[?] 1058408[?]  202214[?] -201636[?] -202213[?] 1058407[?]  202207[?] -202216[?] 201675[?] 1058404[?]  201636[?] -202217[?] 1058403[?]  202216[?] -202217[?] 1058402[?]  -202210[?] 202219[?] 1058399[?]  -202219[?] 202210[?] 201675[?] 1058398[?]  -202220[?] 202219[?] 1058396[?]  -202219[?] 202220[?] -201636[?] 1058395[?]  -202222[?] 202223[?] 201675[?] 1058392[?]  -202224[?] 202222[?] 1058390[?]  202231[?] 1058374[?] 201637[?] 201648[?]  202250[?] 1058301[?] -202200[?] 201648[?]  202255[?] 1058279[?] -202200[?] 201648[?]  202258[?] 1058265[?] 201637[?] 201648[?]  202259[?] 1058259[?] -202200[?] 201648[?]  -202261[?] 201675[?] -202258[?] 1058249[?]  -202262[?] 201675[?] 1058242[?]  -202264[?] 201675[?] 201637[?] 1058230[?]  -202272[?] 201675[?] 1058182[?]  -202223[?] 202278[?] 202277[?] 1058173[?]  -202279[?] 202280[?] 202281[?] 1058167[?]  202282[?] -202283[?] 201649[?] 1058165[?]  -202288[?] 202279[?] 201675[?] 1058151[?]  -202289[?] 202288[?] 1058149[?]  202291[?] -202282[?] 1058146[?]  202292[?] -202291[?] -201636[?] 1058142[?]  -202311[?] 202312[?] 202313[?] 1058116[?]  -202320[?] 201675[?] 1058089[?]  -202321[?] 201675[?] 1058083[?]  -202333[?] 201675[?] 1058017[?]  -202201[?] 202403[?] 1057805[?]  -202403[?] -201636[?] 202404[?] 1057801[?]  203305[?] 1055682[?] -202250[?] -202255[?]  202218[?] 203307[?] -203305[?] 1055675[?]  203308[?] 1055664[?] -202259[?] 201648[?]  202221[?] 203309[?] 201648[?] 1055663[?]  202218[?] 203310[?] -203308[?] 1055657[?]  -203309[?] 203310[?] -203308[?] 1055652[?]  -203310[?] 202203[?] -202215[?] 1055649[?]  -203307[?] -203310[?] 202203[?] 1055646[?]  202221[?] -203311[?] 201675[?] 1055644[?]  202218[?] -203312[?] 202262[?] 1055638[?]  203311[?] -203312[?] 202262[?] 1055635[?]  203313[?] 1055628[?] -202200[?]  203314[?] 1055622[?] -202200[?] -202231[?]  203315[?] 1055616[?] -203314[?] -203313[?]  203312[?] 202215[?] -202205[?] 1055614[?]  202205[?] -202215[?] -203315[?] 1055613[?]  -203316[?] 1055605[?] 201675[?]  -203317[?] 1055599[?] 201675[?]  -203318[?] 203317[?] 203316[?] 1055593[?]  -202221[?] -203320[?] 201675[?] 1055582[?]  203320[?] -203321[?] -202218[?] 1055576[?]  202215[?] -202206[?] 203318[?] 1055572[?]  203321[?] -202206[?] 203318[?] 1055569[?]  -203327[?] 1055527[?] 201648[?]  202218[?] -203329[?] 203327[?] 1055518[?]  203329[?] 202215[?] -202209[?] 1055494[?]  203334[?] -203333[?] 201675[?] 1055485[?]  -202290[?] -203334[?] 203336[?] 1055480[?]  203335[?] -203334[?] 203336[?] 1055479[?]  202218[?] -203337[?] 202264[?] 1055476[?]  203333[?] -203337[?] 202264[?] 1055473[?]  203339[?] 1055460[?] -202200[?] -202231[?]  203340[?] -202218[?] -203339[?] 1055457[?]  203337[?] 202215[?] -202211[?] 1055452[?]  202211[?] -202215[?] -203340[?] 1055451[?]  -203344[?] 1055425[?] 202261[?] 201675[?]  -203345[?] 1055419[?] 201675[?]  -203346[?] 203344[?] 203345[?] 1055413[?]  -202212[?] -202215[?] 203346[?] 1055408[?]  -202221[?] -203347[?] 201675[?] 1055402[?]  203347[?] -203348[?] -202218[?] 1055396[?]  -203349[?] 1055389[?] 201675[?]  202218[?] -203351[?] 203349[?] 1055380[?]  203348[?] -201663[?] 202215[?] 1055374[?]  203351[?] -201663[?] -202215[?] 1055372[?]  -203358[?] 1055323[?] 201675[?]  -203359[?] -202218[?] 203358[?] 1055318[?]  -203360[?] 1055311[?] 201675[?]  -203361[?] 1055305[?] 201675[?]  -203362[?] 203360[?] 203361[?] 1055299[?]  -201688[?] 203359[?] 203362[?] 1055293[?]  -203364[?] 1055281[?] 201675[?]  -203365[?] -202218[?] 203364[?] 1055276[?]  -203367[?] 1055263[?] 201675[?]  -203368[?] -202218[?] 203367[?] 1055258[?]  -201689[?] 203365[?] 203368[?] 1055251[?]  203406[?] -202218[?] -202200[?] 1054971[?]  202215[?] 201658[?] -203406[?] 1054961[?]  -203408[?] 1054951[?] 201675[?]  -203409[?] 1054945[?] 203408[?] 202272[?]  -202312[?] 202215[?] 203409[?] 1054924[?]  -203414[?] 1054909[?] 201675[?]  -203415[?] -202218[?] 203414[?] 1054904[?]  -202313[?] 202215[?] 203415[?] 1054882[?]  -203426[?] 1054846[?] 201675[?]  -203427[?] 1054840[?] 203426[?] 202320[?]  -203428[?] 201686[?] 1054834[?]  -203429[?] 201686[?] 201675[?] 1054828[?]  -203430[?] 203428[?] 203429[?] 1054822[?]  -202277[?] 203430[?] 203427[?] 1054816[?]  -203432[?] 1054804[?] 201675[?]  -203433[?] -202293[?] 203432[?] 1054799[?]  -203434[?] 1054792[?] 201675[?]  -203435[?] 1054786[?] 201675[?]  -203436[?] 203434[?] 203435[?] 1054780[?]  -202278[?] 203433[?] 203436[?] 1054774[?]  -203437[?] 202311[?] 201675[?] 1054768[?]  -203438[?] 203437[?] 202321[?] 1054762[?]  -202280[?] 202290[?] 203438[?] 1054741[?]  -203442[?] 1054732[?] 201675[?]  -203443[?] 1054726[?] 201675[?]  -203444[?] 203442[?] 203443[?] 1054720[?]  -203445[?] 1054714[?] 201675[?]  -203446[?] 1054708[?] 201675[?]  -203447[?] 203445[?] 203446[?] 1054702[?]  -202281[?] 203444[?] 203447[?] 1054696[?]  203448[?] 202311[?] -202200[?] 1054689[?]  203449[?] -202293[?] -203448[?] 1054686[?]  202283[?] -203449[?] 202290[?] 1054664[?]  203487[?] 1054415[?] -202200[?]  203488[?] -202293[?] -203487[?] 1054412[?]  201651[?] -203488[?] 202290[?] 1054390[?]  202293[?] -203335[?] 202333[?] 1053897[?]  -203565[?] 1053888[?] 201675[?]  -203566[?] 1053882[?] 201675[?]  -203336[?] 203566[?] 203565[?] 1053876[?]  208325[?] -202214[?] 244454[?]  202214[?] -208325[?] 244453[?]  202217[?] -208328[?] 244451[?]  -202220[?] 208331[?] 244450[?]  -208331[?] 202220[?] 244449[?]  -207759[?] 202224[?] 244447[?]  -208400[?] 202289[?] 244443[?]  208403[?] -202292[?] 244442[?]  -202404[?] 207766[?] 244420[?]  214435[?] -208324[?] 243412[?]  208327[?] -214438[?] 243409[?]  208330[?] -214441[?] 243407[?]  -213869[?] 208334[?] 243405[?]  -214510[?] 208399[?] 243401[?]  214513[?] -208402[?] 243400[?]  214516[?] -208405[?] 243398[?]  -213876[?] 208514[?] 243377[?]  -220007[?] 213899[?] 242385[?]  213900[?] -220008[?] 242383[?]  220545[?] -214434[?] 242370[?]  214437[?] -220548[?] 242367[?]  214440[?] -220551[?] 242365[?]  -219979[?] 214444[?] 242363[?]  220620[?] -214509[?] 242360[?]  -220623[?] 214512[?] 242357[?]  -219986[?] 214624[?] 242335[?]  -226117[?] 220009[?] 241343[?]  220010[?] -226118[?] 241341[?]  -226089[?] 220554[?] 241321[?]  220619[?] -226730[?] 241317[?]  -220622[?] 226733[?] 241316[?]  -201637[?] 238536[?] -207747[?] 238530[?] -213857[?] 238524[?] -201648[?] 238340[?] -201655[?] 238338[?] 201662[?] 238336[?] -207758[?] 238335[?] -207769[?] 238332[?] -207772[?] 238331[?] -213868[?] 238325[?] 219968[?] 238320[?] 226078[?] 238310[?] 226092[?] 238304[?] 
3.37/2.82	c qxplain 0/443
4.03/3.41	c qxplain 222/443
4.44/3.82	c qxplain 333/443
4.83/4.20	c qxplain 389/443
5.13/4.59	c qxplain 417/443
5.53/4.97	c qxplain 431/443
5.93/5.35	c qxplain 438/443
6.33/5.73	c qxplain 441/443
6.74/6.11	c qxplain 443/443
7.14/6.50	c 226092[?] 238304[?] is mandatory 
7.14/6.50	c qxplain 441/442
7.43/6.89	c qxplain 442/442
7.83/7.29	c 226078[?] 238310[?] is mandatory 
7.83/7.29	c qxplain 441/441
8.24/7.68	c 219968[?] 238320[?] is mandatory 
8.24/7.68	c qxplain 438/440
8.63/8.07	c qxplain 440/440
9.03/8.45	c -213868[?] 238325[?] is mandatory 
9.03/8.45	c qxplain 438/439
9.44/8.83	c qxplain 439/439
9.84/9.21	c -207772[?] 238331[?] is mandatory 
9.84/9.21	c qxplain 438/438
9.93/9.30	c qxplain 431/437
10.23/9.68	c qxplain 435/437
10.63/10.08	c qxplain 437/437
11.03/10.46	c -207758[?] 238335[?] is mandatory 
11.03/10.46	c qxplain 435/436
11.43/10.84	c qxplain 436/436
11.83/11.23	c 201662[?] 238336[?] is mandatory 
11.83/11.23	c qxplain 435/435
13.51/12.20	c -201655[?] 238338[?] is mandatory 
13.51/12.20	c qxplain 431/434
13.71/12.48	c qxplain 433/434
14.01/12.76	c qxplain 434/434
14.31/13.04	c -201648[?] 238340[?] is mandatory 
14.31/13.04	c qxplain 433/433
14.61/13.31	c -213857[?] 238524[?] is mandatory 
14.61/13.31	c qxplain 431/432
14.81/13.59	c qxplain 432/432
15.11/13.87	c -207747[?] 238530[?] is mandatory 
15.11/13.87	c qxplain 431/431
15.41/14.14	c -201637[?] 238536[?] is mandatory 
15.41/14.14	c qxplain 417/430
15.71/14.42	c qxplain 424/430
15.91/14.69	c qxplain 428/430
16.21/14.97	c qxplain 430/430
16.51/15.25	c 241316[?] -220622[?] 226733[?]  is mandatory 
16.51/15.25	c qxplain 428/429
16.81/15.53	c qxplain 429/429
17.11/15.81	c 241317[?] 220619[?] -226730[?]  is mandatory 
17.11/15.81	c qxplain 428/428
17.31/16.08	c 241321[?] -226089[?] 220554[?]  is mandatory 
17.31/16.08	c qxplain 424/427
17.62/16.36	c qxplain 426/427
17.92/16.63	c qxplain 427/427
18.22/16.91	c 241341[?] -226118[?] 220010[?]  is mandatory 
18.22/16.91	c qxplain 426/426
18.42/17.19	c 241343[?] -226117[?] 220009[?]  is mandatory 
18.42/17.19	c qxplain 424/425
18.72/17.47	c qxplain 425/425
19.02/17.74	c 242335[?] 214624[?] -219986[?]  is mandatory 
19.02/17.74	c qxplain 424/424
19.32/18.03	c 242357[?] -220623[?] 214512[?]  is mandatory 
19.32/18.03	c qxplain 417/423
19.62/18.31	c qxplain 421/423
19.82/18.59	c qxplain 423/423
20.12/18.86	c 242360[?] 220620[?] -214509[?]  is mandatory 
20.12/18.86	c qxplain 421/422
20.42/19.14	c qxplain 422/422
20.72/19.42	c 242363[?] -219979[?] 214444[?]  is mandatory 
20.72/19.42	c qxplain 421/421
20.92/19.69	c 242365[?] -220551[?] 214440[?]  is mandatory 
20.92/19.69	c qxplain 417/420
21.22/19.97	c qxplain 419/420
21.52/20.25	c qxplain 420/420
21.82/20.52	c 242367[?] -220548[?] 214437[?]  is mandatory 
21.82/20.52	c qxplain 419/419
22.13/20.80	c 242370[?] 220545[?] -214434[?]  is mandatory 
22.13/20.81	c qxplain 417/418
22.32/21.08	c qxplain 418/418
22.62/21.36	c 242383[?] -220008[?] 213900[?]  is mandatory 
22.62/21.36	c qxplain 417/417
23.70/22.01	c 242385[?] -220007[?] 213899[?]  is mandatory 
23.70/22.01	c qxplain 389/416
23.89/22.28	c qxplain 403/416
24.19/22.56	c qxplain 410/416
24.49/22.84	c qxplain 414/416
24.80/23.12	c qxplain 416/416
24.99/23.39	c 243377[?] 208514[?] -213876[?]  is mandatory 
24.99/23.39	c qxplain 414/415
25.29/23.67	c qxplain 415/415
25.59/23.94	c 243398[?] 214516[?] -208405[?]  is mandatory 
25.59/23.94	c qxplain 414/414
25.90/24.22	c 243400[?] 214513[?] -208402[?]  is mandatory 
25.90/24.22	c qxplain 410/413
26.19/24.50	c qxplain 412/413
26.39/24.77	c qxplain 413/413
26.69/25.05	c 243401[?] -214510[?] 208399[?]  is mandatory 
26.69/25.05	c qxplain 412/412
27.00/25.32	c 243405[?] -213869[?] 208334[?]  is mandatory 
27.00/25.32	c qxplain 410/411
27.29/25.60	c qxplain 411/411
27.49/25.88	c 243407[?] 208330[?] -214441[?]  is mandatory 
27.49/25.88	c qxplain 410/410
27.79/26.15	c 243409[?] 208327[?] -214438[?]  is mandatory 
27.79/26.15	c qxplain 403/409
28.10/26.43	c qxplain 407/409
28.39/26.71	c qxplain 409/409
28.59/26.99	c 243412[?] 214435[?] -208324[?]  is mandatory 
28.59/26.99	c qxplain 407/408
28.89/27.27	c qxplain 408/408
29.20/27.55	c 244420[?] -202404[?] 207766[?]  is mandatory 
29.20/27.55	c qxplain 407/407
29.49/27.82	c 244442[?] 208403[?] -202292[?]  is mandatory 
29.49/27.82	c qxplain 403/406
29.79/28.10	c qxplain 405/406
29.99/28.38	c qxplain 406/406
30.30/28.65	c 244443[?] -208400[?] 202289[?]  is mandatory 
30.30/28.65	c qxplain 405/405
30.59/28.93	c 244447[?] -207759[?] 202224[?]  is mandatory 
30.59/28.93	c qxplain 403/404
30.89/29.20	c qxplain 404/404
31.09/29.48	c 244449[?] 202220[?] -208331[?]  is mandatory 
31.09/29.48	c qxplain 403/403
31.40/29.76	c 244450[?] -202220[?] 208331[?]  is mandatory 
31.40/29.76	c qxplain 389/402
31.69/30.03	c qxplain 396/402
31.99/30.31	c qxplain 400/402
32.19/30.59	c qxplain 402/402
32.50/30.86	c 244451[?] 202217[?] -208328[?]  is mandatory 
32.50/30.86	c qxplain 400/401
32.79/31.15	c qxplain 401/401
33.09/31.43	c 244453[?] 202214[?] -208325[?]  is mandatory 
33.09/31.43	c qxplain 400/400
34.03/32.04	c 244454[?] -202214[?] 208325[?]  is mandatory 
34.03/32.04	c qxplain 396/399
34.33/32.32	c qxplain 398/399
34.63/32.60	c qxplain 399/399
34.83/32.87	c 1053876[?] -203336[?] 203566[?] 203565[?]  is mandatory 
34.83/32.87	c qxplain 398/398
35.13/33.15	c 1053882[?] -203566[?] 201675[?]  is mandatory 
35.13/33.15	c qxplain 396/397
35.43/33.43	c qxplain 397/397
35.73/33.70	c 1053888[?] -203565[?] 201675[?]  is mandatory 
35.73/33.70	c qxplain 396/396
35.93/33.97	c 1053897[?] 202293[?] -203335[?] 202333[?]  is mandatory 
35.93/33.97	c qxplain 389/395
36.23/34.25	c qxplain 393/395
36.53/34.52	c qxplain 395/395
36.83/34.80	c 1054390[?] 201651[?] -203488[?] 202290[?]  is mandatory 
36.83/34.80	c qxplain 393/394
37.03/35.08	c qxplain 394/394
37.33/35.35	c 1054412[?] 203488[?] -203487[?] -202293[?]  is mandatory 
37.33/35.35	c qxplain 393/393
37.63/35.63	c 1054415[?] 203487[?] -202200[?]  is mandatory 
37.63/35.63	c qxplain 389/392
37.93/35.90	c qxplain 391/392
38.13/36.18	c qxplain 392/392
38.43/36.45	c 1054664[?] 202283[?] -203449[?] 202290[?]  is mandatory 
38.43/36.45	c qxplain 391/391
38.73/36.73	c 1054686[?] 203449[?] -202293[?] -203448[?]  is mandatory 
38.73/36.73	c qxplain 389/390
39.03/37.00	c qxplain 390/390
39.23/37.28	c 1054689[?] 203448[?] 202311[?] -202200[?]  is mandatory 
39.23/37.28	c qxplain 389/389
39.54/37.55	c 1054696[?] -202281[?] 203444[?] 203447[?]  is mandatory 
39.54/37.55	c qxplain 333/388
39.84/37.83	c qxplain 361/388
40.14/38.11	c qxplain 375/388
40.33/38.38	c qxplain 382/388
40.64/38.66	c qxplain 386/388
40.93/38.94	c qxplain 388/388
41.24/39.21	c 1054702[?] -203447[?] 203445[?] 203446[?]  is mandatory 
41.24/39.21	c qxplain 386/387
41.44/39.49	c qxplain 387/387
41.74/39.76	c 1054708[?] -203446[?] 201675[?]  is mandatory 
41.74/39.76	c qxplain 386/386
42.04/40.04	c 1054714[?] -203445[?] 201675[?]  is mandatory 
42.04/40.04	c qxplain 382/385
42.34/40.31	c qxplain 384/385
42.54/40.59	c qxplain 385/385
42.84/40.87	c 1054720[?] -203444[?] 203443[?] 203442[?]  is mandatory 
42.84/40.87	c qxplain 384/384
43.14/41.14	c 1054726[?] -203443[?] 201675[?]  is mandatory 
43.14/41.14	c qxplain 382/383
43.44/41.42	c qxplain 383/383
44.37/42.03	c 1054732[?] -203442[?] 201675[?]  is mandatory 
44.37/42.03	c qxplain 382/382
44.67/42.31	c 1054741[?] -202280[?] 202290[?] 203438[?]  is mandatory 
44.67/42.31	c qxplain 375/381
44.87/42.58	c qxplain 379/381
45.17/42.87	c qxplain 381/381
45.47/43.14	c 1054762[?] -203438[?] 203437[?] 202321[?]  is mandatory 
45.47/43.14	c qxplain 379/380
45.77/43.42	c qxplain 380/380
45.97/43.69	c 1054768[?] -203437[?] 202311[?] 201675[?]  is mandatory 
45.97/43.69	c qxplain 379/379
46.27/43.97	c 1054774[?] -202278[?] 203433[?] 203436[?]  is mandatory 
46.27/43.97	c qxplain 375/378
46.57/44.25	c qxplain 377/378
46.87/44.52	c qxplain 378/378
47.07/44.80	c 1054780[?] -203436[?] 203435[?] 203434[?]  is mandatory 
47.07/44.80	c qxplain 377/377
47.37/45.07	c 1054786[?] -203435[?] 201675[?]  is mandatory 
47.37/45.07	c qxplain 375/376
47.67/45.35	c qxplain 376/376
47.97/45.62	c 1054792[?] -203434[?] 201675[?]  is mandatory 
47.97/45.62	c qxplain 375/375
48.17/45.89	c 1054799[?] -203433[?] -202293[?] 203432[?]  is mandatory 
48.17/45.89	c qxplain 361/374
48.47/46.17	c qxplain 368/374
48.77/46.45	c qxplain 372/374
49.07/46.73	c qxplain 374/374
49.37/47.00	c 1054804[?] -203432[?] 201675[?]  is mandatory 
49.37/47.00	c qxplain 372/373
49.57/47.28	c qxplain 373/373
49.87/47.55	c 1054816[?] -202277[?] 203430[?] 203427[?]  is mandatory 
49.87/47.55	c qxplain 372/372
50.17/47.84	c 1054822[?] -203430[?] 203428[?] 203429[?]  is mandatory 
50.17/47.84	c qxplain 368/371
50.47/48.12	c qxplain 370/371
50.67/48.39	c qxplain 371/371
50.97/48.67	c 1054828[?] -203429[?] 201686[?] 201675[?]  is mandatory 
50.97/48.67	c qxplain 370/370
51.27/48.95	c 1054834[?] -203428[?] 201686[?]  is mandatory 
51.27/48.95	c qxplain 368/369
51.57/49.22	c qxplain 369/369
51.88/49.50	c 1054840[?] -203427[?] 203426[?] 202320[?]  is mandatory 
51.88/49.50	c qxplain 368/368
52.07/49.78	c 1054846[?] -203426[?] 201675[?]  is mandatory 
52.07/49.78	c qxplain 361/367
52.37/50.06	c qxplain 365/367
52.67/50.34	c qxplain 367/367
52.98/50.61	c 1054882[?] -202313[?] 203415[?] 202215[?]  is mandatory 
52.98/50.61	c qxplain 365/366
53.17/50.89	c qxplain 366/366
53.47/51.17	c 1054904[?] -203415[?] 203414[?] -202218[?]  is mandatory 
53.47/51.17	c qxplain 365/365
54.41/51.78	c 1054909[?] -203414[?] 201675[?]  is mandatory 
54.41/51.78	c qxplain 361/364
54.70/52.06	c qxplain 363/364
55.00/52.34	c qxplain 364/364
55.30/52.61	c 1054924[?] -202312[?] 203409[?] 202215[?]  is mandatory 
55.30/52.61	c qxplain 363/363
55.51/52.89	c 1054945[?] -203409[?] 203408[?] 202272[?]  is mandatory 
55.51/52.89	c qxplain 361/362
55.80/53.16	c qxplain 362/362
56.10/53.44	c 1054951[?] -203408[?] 201675[?]  is mandatory 
56.10/53.44	c qxplain 361/361
56.40/53.72	c 1054961[?] 201658[?] 202215[?] -203406[?]  is mandatory 
56.40/53.72	c qxplain 333/360
56.61/53.99	c qxplain 347/360
56.90/54.27	c qxplain 354/360
57.20/54.54	c qxplain 358/360
57.50/54.82	c qxplain 360/360
57.71/55.10	c 1054971[?] 203406[?] -202218[?] -202200[?]  is mandatory 
57.71/55.10	c qxplain 358/359
58.00/55.37	c qxplain 359/359
58.30/55.65	c 1055251[?] -201689[?] 203368[?] 203365[?]  is mandatory 
58.30/55.65	c qxplain 358/358
58.60/55.92	c 1055258[?] -203368[?] -202218[?] 203367[?]  is mandatory 
58.60/55.92	c qxplain 354/357
58.81/56.20	c qxplain 356/357
59.11/56.48	c qxplain 357/357
59.41/56.75	c 1055263[?] -203367[?] 201675[?]  is mandatory 
59.41/56.75	c qxplain 356/356
59.72/57.03	c 1055276[?] -203365[?] -202218[?] 203364[?]  is mandatory 
59.72/57.03	c qxplain 354/355
60.02/57.31	c qxplain 355/355
60.22/57.59	c 1055281[?] -203364[?] 201675[?]  is mandatory 
60.22/57.59	c qxplain 354/354
60.52/57.86	c 1055293[?] -201688[?] 203359[?] 203362[?]  is mandatory 
60.52/57.86	c qxplain 347/353
60.82/58.14	c qxplain 351/353
61.12/58.42	c qxplain 353/353
61.42/58.70	c 1055299[?] -203362[?] 203360[?] 203361[?]  is mandatory 
61.42/58.70	c qxplain 351/352
61.62/58.97	c qxplain 352/352
61.92/59.25	c 1055305[?] -203361[?] 201675[?]  is mandatory 
61.92/59.25	c qxplain 351/351
62.22/59.52	c 1055311[?] -203360[?] 201675[?]  is mandatory 
62.22/59.52	c qxplain 347/350
62.52/59.80	c qxplain 349/350
62.72/60.08	c qxplain 350/350
63.01/60.36	c 1055318[?] -203359[?] 203358[?] -202218[?]  is mandatory 
63.01/60.36	c qxplain 349/349
63.32/60.63	c 1055323[?] -203358[?] 201675[?]  is mandatory 
63.32/60.63	c qxplain 347/348
63.61/60.91	c qxplain 348/348
63.82/61.18	c 1055372[?] -201663[?] -202215[?] 203351[?]  is mandatory 
63.82/61.18	c qxplain 347/347
64.84/61.80	c 1055374[?] 203348[?] 202215[?] -201663[?]  is mandatory 
64.84/61.80	c qxplain 333/346
65.04/62.08	c qxplain 340/346
65.34/62.35	c qxplain 344/346
65.64/62.63	c qxplain 346/346
65.94/62.91	c 1055380[?] -203351[?] 203349[?] 202218[?]  is mandatory 
65.94/62.91	c qxplain 344/345
66.14/63.18	c qxplain 345/345
66.44/63.46	c 1055389[?] -203349[?] 201675[?]  is mandatory 
66.44/63.46	c qxplain 344/344
66.74/63.74	c 1055396[?] 203347[?] -203348[?] -202218[?]  is mandatory 
66.74/63.74	c qxplain 340/343
67.04/64.01	c qxplain 342/343
67.24/64.29	c qxplain 343/343
67.54/64.56	c 1055402[?] -203347[?] -202221[?] 201675[?]  is mandatory 
67.54/64.56	c qxplain 342/342
67.84/64.84	c 1055408[?] -202212[?] -202215[?] 203346[?]  is mandatory 
67.84/64.84	c qxplain 340/341
68.14/65.12	c qxplain 341/341
68.34/65.39	c 1055413[?] -203346[?] 203345[?] 203344[?]  is mandatory 
68.34/65.39	c qxplain 340/340
68.64/65.67	c 1055419[?] -203345[?] 201675[?]  is mandatory 
68.64/65.67	c qxplain 333/339
68.94/65.94	c qxplain 337/339
69.24/66.22	c qxplain 339/339
69.54/66.50	c 1055425[?] -203344[?] 202261[?] 201675[?]  is mandatory 
69.54/66.50	c qxplain 337/338
69.74/66.78	c qxplain 338/338
70.04/67.05	c 1055451[?] 202211[?] -203340[?] -202215[?]  is mandatory 
70.04/67.05	c qxplain 337/337
70.34/67.33	c 1055452[?] -202211[?] 203337[?] 202215[?]  is mandatory 
70.34/67.33	c qxplain 333/336
70.64/67.61	c qxplain 335/336
70.84/67.89	c qxplain 336/336
71.14/68.16	c 1055457[?] 203340[?] -203339[?] -202218[?]  is mandatory 
71.14/68.16	c qxplain 335/335
71.44/68.44	c 1055460[?] 203339[?] -202231[?] -202200[?]  is mandatory 
71.44/68.44	c qxplain 333/334
71.74/68.71	c qxplain 334/334
71.94/68.99	c 1055473[?] 203333[?] -203337[?] 202264[?]  is mandatory 
71.94/68.99	c qxplain 333/333
73.02/69.65	c 1055476[?] 202218[?] -203337[?] 202264[?]  is mandatory 
73.02/69.65	c qxplain 222/332
73.32/69.93	c qxplain 278/332
73.62/70.21	c qxplain 306/332
73.82/70.49	c qxplain 320/332
74.12/70.76	c qxplain 327/332
74.42/71.04	c qxplain 330/332
74.72/71.32	c qxplain 332/332
74.92/71.59	c 1055479[?] 203335[?] -203334[?] 203336[?]  is mandatory 
74.92/71.59	c qxplain 330/331
75.22/71.87	c qxplain 331/331
75.52/72.14	c 1055480[?] -202290[?] -203334[?] 203336[?]  is mandatory 
75.52/72.14	c qxplain 330/330
75.82/72.42	c 1055485[?] 203334[?] -203333[?] 201675[?]  is mandatory 
75.82/72.42	c qxplain 327/329
75.82/72.46	c qxplain 320/326
76.12/72.73	c qxplain 324/326
76.42/73.01	c qxplain 326/326
76.62/73.29	c 1055569[?] 203321[?] 203318[?] -202206[?]  is mandatory 
76.62/73.29	c qxplain 324/325
76.92/73.56	c qxplain 325/325
77.22/73.85	c 1055572[?] -202206[?] 202215[?] 203318[?]  is mandatory 
77.22/73.85	c qxplain 324/324
77.52/74.13	c 1055576[?] 203320[?] -202218[?] -203321[?]  is mandatory 
77.52/74.13	c qxplain 320/323
77.82/74.41	c qxplain 322/323
78.02/74.69	c qxplain 323/323
78.32/74.98	c 1055582[?] -202221[?] -203320[?] 201675[?]  is mandatory 
78.32/74.98	c qxplain 322/322
78.62/75.26	c 1055593[?] -203318[?] 203316[?] 203317[?]  is mandatory 
78.62/75.26	c qxplain 320/321
78.92/75.54	c qxplain 321/321
79.22/75.82	c 1055599[?] -203317[?] 201675[?]  is mandatory 
79.22/75.82	c qxplain 320/320
79.42/76.10	c 1055605[?] -203316[?] 201675[?]  is mandatory 
79.42/76.10	c qxplain 306/319
79.72/76.38	c qxplain 313/319
80.02/76.66	c qxplain 317/319
80.31/76.93	c qxplain 319/319
80.63/77.23	c 1055613[?] 202205[?] -203315[?] -202215[?]  is mandatory 
80.63/77.23	c qxplain 317/318
80.92/77.51	c qxplain 318/318
81.12/77.78	c 1055614[?] -202205[?] 202215[?] 203312[?]  is mandatory 
81.12/77.78	c qxplain 317/317
81.42/78.06	c 1055616[?] 203315[?] -203314[?] -203313[?]  is mandatory 
81.42/78.06	c qxplain 313/316
81.73/78.35	c qxplain 315/316
82.02/78.62	c qxplain 316/316
82.32/78.90	c 1055622[?] 203314[?] -202231[?] -202200[?]  is mandatory 
82.32/78.90	c qxplain 315/315
82.52/79.17	c 1055628[?] 203313[?] -202200[?]  is mandatory 
82.52/79.17	c qxplain 313/314
82.83/79.46	c qxplain 314/314
83.12/79.73	c 1055635[?] 203311[?] -203312[?] 202262[?]  is mandatory 
83.12/79.73	c qxplain 313/313
83.42/80.01	c 1055638[?] -203312[?] 202218[?] 202262[?]  is mandatory 
83.42/80.01	c qxplain 306/312
83.62/80.29	c qxplain 310/312
83.93/80.56	c qxplain 312/312
84.22/80.84	c 1055644[?] 202221[?] -203311[?] 201675[?]  is mandatory 
84.22/80.84	c qxplain 310/311
84.52/81.12	c qxplain 311/311
84.82/81.41	c 1055646[?] 202203[?] -203307[?] -203310[?]  is mandatory 
84.82/81.41	c qxplain 310/310
85.03/81.69	c 1055649[?] -203310[?] 202203[?] -202215[?]  is mandatory 
85.03/81.69	c qxplain 306/309
85.32/81.97	c qxplain 308/309
85.62/82.24	c qxplain 309/309
85.92/82.52	c 1055652[?] -203309[?] 203310[?] -203308[?]  is mandatory 
85.92/82.52	c qxplain 308/308
86.22/82.80	c 1055657[?] 203310[?] 202218[?] -203308[?]  is mandatory 
86.22/82.80	c qxplain 306/307
86.42/83.08	c qxplain 307/307
86.72/83.36	c 1055663[?] 202221[?] 203309[?] 201648[?]  is mandatory 
86.72/83.36	c qxplain 306/306
87.02/83.63	c 1055664[?] 203308[?] -202259[?] 201648[?]  is mandatory 
87.02/83.63	c qxplain 278/305
87.33/83.92	c qxplain 292/305
87.63/84.20	c qxplain 299/305
87.83/84.48	c qxplain 303/305
88.13/84.76	c qxplain 305/305
88.43/85.03	c 1055675[?] 203307[?] -203305[?] 202218[?]  is mandatory 
88.43/85.03	c qxplain 303/304
88.73/85.31	c qxplain 304/304
88.93/85.59	c 1055682[?] 203305[?] -202255[?] -202250[?]  is mandatory 
88.93/85.59	c qxplain 303/303
89.23/85.87	c 1057801[?] -202403[?] -201636[?] 202404[?]  is mandatory 
89.23/85.87	c qxplain 299/302
89.53/86.15	c qxplain 301/302
89.83/86.42	c qxplain 302/302
90.13/86.70	c 1057805[?] -202201[?] 202403[?]  is mandatory 
90.13/86.70	c qxplain 301/301
90.33/86.98	c 1058017[?] -202333[?] 201675[?]  is mandatory 
90.33/86.98	c qxplain 299/300
90.63/87.26	c qxplain 300/300
90.93/87.54	c 1058083[?] -202321[?] 201675[?]  is mandatory 
90.93/87.54	c qxplain 299/299
91.23/87.82	c 1058089[?] -202320[?] 201675[?]  is mandatory 
91.23/87.82	c qxplain 292/298
91.43/88.10	c qxplain 296/298
91.73/88.37	c qxplain 298/298
92.03/88.65	c 1058116[?] -202311[?] 202313[?] 202312[?]  is mandatory 
92.03/88.65	c qxplain 296/297
92.33/88.93	c qxplain 297/297
92.64/89.21	c 1058142[?] 202292[?] -202291[?] -201636[?]  is mandatory 
92.64/89.21	c qxplain 296/296
92.83/89.48	c 1058146[?] 202291[?] -202282[?]  is mandatory 
92.83/89.48	c qxplain 292/295
93.13/89.76	c qxplain 294/295
93.44/90.04	c qxplain 295/295
93.75/90.31	c 1058149[?] -202289[?] 202288[?]  is mandatory 
93.75/90.31	c qxplain 294/294
94.04/90.60	c 1058151[?] -202288[?] 202279[?] 201675[?]  is mandatory 
94.04/90.60	c qxplain 292/293
94.24/90.88	c qxplain 293/293
94.54/91.15	c 1058165[?] 202282[?] -202283[?] 201649[?]  is mandatory 
94.54/91.15	c qxplain 292/292
94.85/91.43	c 1058167[?] -202279[?] 202280[?] 202281[?]  is mandatory 
94.85/91.43	c qxplain 278/291
95.14/91.71	c qxplain 285/291
95.34/91.98	c qxplain 289/291
95.64/92.26	c qxplain 291/291
95.95/92.54	c 1058173[?] -202223[?] 202277[?] 202278[?]  is mandatory 
95.95/92.54	c qxplain 289/290
96.24/92.82	c qxplain 290/290
96.44/93.09	c 1058182[?] -202272[?] 201675[?]  is mandatory 
96.44/93.09	c qxplain 289/289
96.74/93.37	c 1058230[?] -202264[?] 201637[?] 201675[?]  is mandatory 
96.74/93.37	c qxplain 285/288
97.05/93.65	c qxplain 287/288
97.35/93.94	c qxplain 288/288
97.65/94.21	c 1058242[?] -202262[?] 201675[?]  is mandatory 
97.65/94.22	c qxplain 287/287
97.95/94.50	c 1058249[?] -202261[?] -202258[?] 201675[?]  is mandatory 
97.95/94.50	c qxplain 285/286
98.15/94.77	c qxplain 286/286
98.45/95.06	c 1058259[?] 202259[?] 201648[?] -202200[?]  is mandatory 
98.45/95.06	c qxplain 285/285
98.75/95.33	c 1058265[?] 202258[?] 201648[?] 201637[?]  is mandatory 
98.75/95.33	c qxplain 278/284
99.05/95.61	c qxplain 282/284
99.25/95.89	c qxplain 284/284
99.54/96.17	c 1058279[?] 202255[?] 201648[?] -202200[?]  is mandatory 
99.54/96.17	c qxplain 282/283
99.84/96.45	c qxplain 283/283
100.14/96.72	c 1058301[?] 202250[?] 201648[?] -202200[?]  is mandatory 
100.14/96.72	c qxplain 282/282
100.45/97.01	c 1058374[?] 202231[?] 201648[?] 201637[?]  is mandatory 
100.45/97.01	c qxplain 278/281
100.65/97.30	c qxplain 280/281
100.95/97.57	c qxplain 281/281
101.25/97.85	c 1058390[?] -202224[?] 202222[?]  is mandatory 
101.25/97.85	c qxplain 280/280
101.56/98.13	c 1058392[?] -202222[?] 202223[?] 201675[?]  is mandatory 
101.56/98.13	c qxplain 278/279
101.85/98.41	c qxplain 279/279
102.05/98.68	c 1058395[?] -202219[?] -201636[?] 202220[?]  is mandatory 
102.05/98.68	c qxplain 278/278
102.35/98.96	c 1058396[?] 202219[?] -202220[?]  is mandatory 
102.35/98.96	c qxplain 222/277
102.66/99.24	c qxplain 250/277
102.95/99.52	c qxplain 264/277
103.15/99.79	c qxplain 271/277
103.45/100.07	c qxplain 275/277
103.76/100.36	c qxplain 277/277
104.05/100.64	c 1058398[?] 202210[?] -202219[?] 201675[?]  is mandatory 
104.05/100.64	c qxplain 275/276
104.35/100.92	c qxplain 276/276
104.65/101.20	c 1058399[?] -202210[?] 202219[?]  is mandatory 
104.65/101.20	c qxplain 275/275
104.65/101.23	c qxplain 271/274
104.95/101.51	c qxplain 273/274
105.15/101.79	c qxplain 274/274
105.45/102.08	c 1058403[?] 201636[?] -202217[?]  is mandatory 
105.45/102.08	c qxplain 273/273
105.55/102.11	c qxplain 271/272
105.86/102.40	c qxplain 272/272
106.05/102.68	c 1058407[?] -202213[?] -201636[?] 202214[?]  is mandatory 
106.05/102.68	c qxplain 271/271
106.35/102.95	c 1058408[?] 202213[?] -202214[?]  is mandatory 
106.35/102.95	c qxplain 264/270
106.65/103.23	c qxplain 268/270
106.96/103.51	c qxplain 270/270
107.26/103.80	c 1058409[?] 201636[?] -202214[?]  is mandatory 
107.26/103.80	c qxplain 268/269
107.46/104.08	c qxplain 269/269
107.76/104.36	c 1058410[?] 202204[?] -202213[?] 201675[?]  is mandatory 
107.76/104.36	c qxplain 268/268
108.06/104.64	c 1058411[?] -202204[?] 202213[?]  is mandatory 
108.06/104.64	c qxplain 264/267
108.36/104.91	c qxplain 266/267
108.56/105.19	c qxplain 267/267
108.86/105.47	c 1058415[?] -201656[?] 202212[?] -202210[?]  is mandatory 
108.86/105.47	c qxplain 266/266
109.17/105.75	c 1058417[?] 201656[?] 202211[?] -202210[?]  is mandatory 
109.17/105.75	c qxplain 264/265
109.46/106.02	c qxplain 265/265
109.76/106.30	c 1058418[?] -202211[?] 201656[?] 202210[?]  is mandatory 
109.76/106.30	c qxplain 264/264
109.76/106.33	c qxplain 250/263
110.06/106.61	c qxplain 257/263
110.27/106.89	c qxplain 261/263
110.56/107.16	c qxplain 263/263
110.86/107.44	c 1058426[?] 202205[?] -202204[?] 202206[?]  is mandatory 
110.86/107.44	c qxplain 261/262
111.16/107.72	c qxplain 262/262
111.37/108.00	c 1058427[?] 202206[?] -201656[?] -202204[?]  is mandatory 
111.37/108.00	c qxplain 261/261
111.66/108.28	c 1058430[?] 201656[?] -202205[?] 202204[?]  is mandatory 
111.66/108.28	c qxplain 257/260
111.96/108.56	c qxplain 259/260
112.26/108.83	c qxplain 260/260
112.57/109.11	c 1058434[?] -201656[?] -202203[?] 202201[?]  is mandatory 
112.57/109.11	c qxplain 259/259
112.76/109.39	c 202200[?] 1058437[?] is mandatory 
112.76/109.39	c qxplain 257/258
113.06/109.66	c qxplain 258/258
113.36/109.94	c 1059346[?] -201686[?] 201688[?] 201689[?]  is mandatory 
113.36/109.94	c qxplain 257/257
113.67/110.24	c -201675[?] 1059374[?] is mandatory 
113.67/110.24	c qxplain 250/256
113.96/110.52	c qxplain 254/256
114.16/110.80	c qxplain 256/256
114.46/111.07	c 1059393[?] 201656[?] 201663[?] -201662[?]  is mandatory 
114.46/111.07	c qxplain 254/255
114.77/111.35	c qxplain 255/255
115.06/111.63	c 1059404[?] -201656[?] -201658[?] 201655[?]  is mandatory 
115.06/111.63	c qxplain 254/254
115.36/111.91	c 1059416[?] -201649[?] -201651[?] 201648[?]  is mandatory 
115.36/111.91	c qxplain 250/253
115.56/112.19	c qxplain 252/253
115.87/112.47	c qxplain 253/253
116.16/112.75	c 1077546[?] 208396[?] -209570[?] 208400[?]  is mandatory 
116.16/112.75	c qxplain 252/252
116.46/113.03	c 1077566[?] 209570[?] -208403[?] -209569[?]  is mandatory 
116.46/113.03	c qxplain 250/251
116.76/113.30	c qxplain 251/251
116.97/113.58	c 1077569[?] 209569[?] 208421[?] -208310[?]  is mandatory 
116.97/113.58	c qxplain 250/250
117.26/113.86	c 1077622[?] 208393[?] -209559[?] 208400[?]  is mandatory 
117.26/113.86	c qxplain 222/249
117.56/114.14	c qxplain 236/249
117.86/114.41	c qxplain 243/249
118.16/114.70	c qxplain 247/249
118.36/114.98	c qxplain 249/249
118.66/115.25	c 1077644[?] 209559[?] -209558[?] -208403[?]  is mandatory 
118.66/115.25	c qxplain 247/248
118.96/115.53	c qxplain 248/248
119.26/115.81	c 1077647[?] 209558[?] 208421[?] -208310[?]  is mandatory 
119.26/115.81	c qxplain 247/247
119.46/116.09	c 1077654[?] -208391[?] 209554[?] 209557[?]  is mandatory 
119.46/116.09	c qxplain 243/246
119.76/116.36	c qxplain 245/246
120.06/116.65	c qxplain 246/246
120.37/116.93	c 1077660[?] -209557[?] 209556[?] 209555[?]  is mandatory 
120.37/116.93	c qxplain 245/245
120.67/117.21	c 1077666[?] -209556[?] 207785[?]  is mandatory 
120.67/117.21	c qxplain 243/244
120.87/117.49	c qxplain 244/244
121.17/117.77	c 1077672[?] -209555[?] 207785[?]  is mandatory 
121.17/117.77	c qxplain 243/243
121.47/118.05	c 1077678[?] -209554[?] 209552[?] 209553[?]  is mandatory 
121.47/118.05	c qxplain 236/242
121.77/118.33	c qxplain 240/242
122.07/118.61	c qxplain 242/242
122.27/118.89	c 1077684[?] -209553[?] 207785[?]  is mandatory 
122.27/118.89	c qxplain 240/241
122.57/119.16	c qxplain 241/241
122.87/119.44	c 1077690[?] -209552[?] 207785[?]  is mandatory 
122.87/119.44	c qxplain 240/240
123.17/119.72	c 1077699[?] -208390[?] 208400[?] 209548[?]  is mandatory 
123.17/119.72	c qxplain 236/239
123.48/120.00	c qxplain 238/239
123.68/120.28	c qxplain 239/239
123.98/120.56	c 1077720[?] -209548[?] 209547[?] 208431[?]  is mandatory 
123.98/120.56	c qxplain 238/238
124.28/120.84	c 1077726[?] -209547[?] 208421[?] 207785[?]  is mandatory 
124.28/120.84	c qxplain 236/237
124.58/121.12	c qxplain 237/237
124.88/121.40	c 1077774[?] -208387[?] 209540[?] 209537[?]  is mandatory 
124.88/121.40	c qxplain 236/236
125.08/121.68	c 1077780[?] -209540[?] 209538[?] 209539[?]  is mandatory 
125.08/121.68	c qxplain 222/235
125.38/121.96	c qxplain 229/235
125.68/122.24	c qxplain 233/235
125.98/122.51	c qxplain 235/235
126.18/122.79	c 1077786[?] -209539[?] 207796[?] 207785[?]  is mandatory 
126.18/122.79	c qxplain 233/234
126.48/123.08	c qxplain 234/234
126.78/123.35	c 1077792[?] -209538[?] 207796[?]  is mandatory 
126.78/123.35	c qxplain 233/233
127.07/123.63	c 1077798[?] -209537[?] 209536[?] 208430[?]  is mandatory 
127.07/123.63	c qxplain 229/232
127.38/123.91	c qxplain 231/232
127.58/124.19	c qxplain 232/232
127.89/124.47	c 1077804[?] -209536[?] 207785[?]  is mandatory 
127.89/124.47	c qxplain 231/231
128.18/124.75	c 1077882[?] -208422[?] 208325[?] 209519[?]  is mandatory 
128.18/124.75	c qxplain 229/230
128.48/125.03	c qxplain 230/230
128.78/125.30	c 1077903[?] -209519[?] 209518[?] 208382[?]  is mandatory 
128.78/125.30	c qxplain 229/229
128.99/125.58	c 1077909[?] -209518[?] 207785[?]  is mandatory 
128.99/125.58	c qxplain 222/228
129.28/125.86	c qxplain 226/228
129.28/125.89	c qxplain 222/225
129.58/126.17	c qxplain 224/225
129.88/126.45	c qxplain 225/225
130.19/126.73	c 1078209[?] -207799[?] 209478[?] 209475[?]  is mandatory 
130.19/126.73	c qxplain 224/224
130.48/127.01	c 1078216[?] -209478[?] -208328[?] 209477[?]  is mandatory 
130.48/127.01	c qxplain 222/223
130.78/127.30	c qxplain 223/223
130.98/127.58	c 1078221[?] -209477[?] 207785[?]  is mandatory 
130.98/127.58	c qxplain 222/222
131.29/127.86	c 1078234[?] -209475[?] -208328[?] 209474[?]  is mandatory 
131.29/127.86	c qxplain 0/221
131.58/128.14	c qxplain 111/221
131.88/128.41	c qxplain 167/221
132.08/128.69	c qxplain 195/221
132.39/128.97	c qxplain 209/221
132.68/129.24	c qxplain 216/221
132.98/129.53	c qxplain 219/221
133.28/129.81	c qxplain 221/221
133.49/130.08	c 1078239[?] -209474[?] 207785[?]  is mandatory 
133.49/130.08	c qxplain 219/220
133.78/130.36	c qxplain 220/220
134.08/130.64	c 1078251[?] -207798[?] 209472[?] 209469[?]  is mandatory 
134.08/130.64	c qxplain 219/219
134.39/130.93	c 1078257[?] -209472[?] 209470[?] 209471[?]  is mandatory 
134.39/130.93	c qxplain 216/218
134.69/131.21	c qxplain 218/218
134.89/131.48	c 1078263[?] -209471[?] 207785[?]  is mandatory 
134.89/131.48	c qxplain 216/217
135.19/131.76	c qxplain 217/217
135.49/132.04	c 1078269[?] -209470[?] 207785[?]  is mandatory 
135.49/132.04	c qxplain 216/216
135.79/132.32	c 1078276[?] -209469[?] -208328[?] 209468[?]  is mandatory 
135.79/132.32	c qxplain 209/215
136.09/132.60	c qxplain 213/215
136.29/132.87	c qxplain 215/215
136.59/133.15	c 1078281[?] -209468[?] 207785[?]  is mandatory 
136.59/133.15	c qxplain 213/214
136.89/133.43	c qxplain 214/214
137.19/133.71	c 1078286[?] 207774[?] -209467[?] -209464[?]  is mandatory 
137.19/133.71	c qxplain 213/213
137.39/133.99	c 1078292[?] 209467[?] -209466[?] -209465[?]  is mandatory 
137.39/133.99	c qxplain 209/212
137.69/134.27	c qxplain 211/212
137.99/134.55	c qxplain 212/212
138.29/134.83	c 1078298[?] 209466[?] -208310[?]  is mandatory 
138.29/134.83	c qxplain 211/211
138.59/135.11	c 1078304[?] 209465[?] -208310[?]  is mandatory 
138.59/135.11	c qxplain 209/210
138.79/135.39	c qxplain 210/210
139.09/135.66	c 1078310[?] 209464[?] -209463[?] -209462[?]  is mandatory 
139.09/135.66	c qxplain 209/209
139.39/135.94	c 1078316[?] 209463[?] -208310[?]  is mandatory 
139.39/135.94	c qxplain 195/208
139.69/136.22	c qxplain 202/208
139.89/136.50	c qxplain 206/208
140.19/136.77	c qxplain 208/208
140.49/137.05	c 1078322[?] 209462[?] -208310[?]  is mandatory 
140.49/137.05	c qxplain 206/207
140.79/137.33	c qxplain 207/207
141.10/137.61	c 1078331[?] -209461[?] -208325[?] 207773[?]  is mandatory 
141.10/137.61	c qxplain 206/206
141.29/137.89	c 1078333[?] -209458[?] 208325[?] 207773[?]  is mandatory 
141.29/137.89	c qxplain 202/205
141.59/138.17	c qxplain 204/205
141.90/138.46	c qxplain 205/205
142.20/138.74	c 1078337[?] -208328[?] -209460[?] 209461[?]  is mandatory 
142.20/138.74	c qxplain 204/204
142.50/139.01	c 1078343[?] 209460[?] -208331[?] -208310[?]  is mandatory 
142.50/139.01	c qxplain 202/203
142.80/139.30	c qxplain 203/203
143.00/139.58	c 1078352[?] -209457[?] 209458[?] -208375[?]  is mandatory 
143.00/139.58	c qxplain 202/202
143.30/139.85	c 1078357[?] 208328[?] 209458[?] -208375[?]  is mandatory 
143.30/139.85	c qxplain 195/201
143.60/140.14	c qxplain 199/201
143.90/140.41	c qxplain 201/201
144.10/140.69	c 1078363[?] 208331[?] 209457[?] -208310[?]  is mandatory 
144.10/140.69	c qxplain 199/200
144.40/140.97	c qxplain 200/200
144.70/141.25	c 1078408[?] 209450[?] -208325[?] -208321[?]  is mandatory 
144.70/141.25	c qxplain 199/199
145.00/141.54	c 1078410[?] -208321[?] 208325[?] 209447[?]  is mandatory 
145.00/141.54	c qxplain 195/198
145.30/141.82	c qxplain 197/198
145.50/142.10	c qxplain 198/198
145.80/142.37	c 1078416[?] 209448[?] 208328[?] -209450[?]  is mandatory 
145.80/142.37	c qxplain 197/197
146.10/142.65	c 1078426[?] -208337[?] -209448[?] -208331[?]  is mandatory 
146.10/142.65	c qxplain 195/196
146.40/142.93	c qxplain 196/196
146.70/143.21	c 1078431[?] -209447[?] 209443[?] 208374[?]  is mandatory 
146.70/143.21	c qxplain 195/195
146.90/143.49	c 1078444[?] -209443[?] -208331[?] 207785[?]  is mandatory 
146.90/143.49	c qxplain 167/194
147.20/143.77	c qxplain 181/194
147.50/144.05	c qxplain 188/194
147.81/144.33	c qxplain 192/194
148.10/144.61	c qxplain 194/194
148.30/144.89	c 1078492[?] 209436[?] -208325[?] -208318[?]  is mandatory 
148.30/144.89	c qxplain 192/193
148.60/145.17	c qxplain 193/193
148.91/145.44	c 1078494[?] -208318[?] 209433[?] 208325[?]  is mandatory 
148.91/145.44	c qxplain 192/192
149.20/145.73	c 1078500[?] 209434[?] 208328[?] -209436[?]  is mandatory 
149.20/145.73	c qxplain 188/191
149.50/146.01	c qxplain 190/191
149.70/146.29	c qxplain 191/191
150.01/146.57	c 1078509[?] 208337[?] -209434[?] 207785[?]  is mandatory 
150.01/146.57	c qxplain 190/190
150.30/146.85	c 1078516[?] -209433[?] -208328[?] 209432[?]  is mandatory 
150.30/146.85	c qxplain 188/189
150.60/147.13	c qxplain 189/189
150.90/147.41	c 1078522[?] -209432[?] -208331[?] 207785[?]  is mandatory 
150.90/147.41	c qxplain 188/188
151.11/147.68	c 1078568[?] 208315[?] -209422[?] -209425[?]  is mandatory 
151.11/147.68	c qxplain 181/187
151.40/147.96	c qxplain 185/187
151.70/148.24	c qxplain 187/187
152.00/148.52	c 1078574[?] 209425[?] -209424[?] -209423[?]  is mandatory 
152.00/148.52	c qxplain 185/186
152.21/148.80	c qxplain 186/186
152.50/149.07	c 1078580[?] 209424[?] -208341[?] -208310[?]  is mandatory 
152.50/149.07	c qxplain 185/185
152.80/149.35	c 1078586[?] 209423[?] -208310[?]  is mandatory 
152.80/149.35	c qxplain 181/184
153.10/149.63	c qxplain 183/184
153.40/149.91	c qxplain 184/184
153.60/150.19	c 1078595[?] 209422[?] -209421[?] -208328[?]  is mandatory 
153.60/150.19	c qxplain 183/183
153.90/150.47	c 1078601[?] 209421[?] -208331[?] -208310[?]  is mandatory 
153.90/150.47	c qxplain 181/182
154.20/150.75	c qxplain 182/182
154.50/151.03	c 1078648[?] -208325[?] 209414[?] -208312[?]  is mandatory 
154.50/151.03	c qxplain 181/181
154.80/151.30	c 1078653[?] -209414[?] 209413[?] 209412[?]  is mandatory 
154.80/151.30	c qxplain 167/180
155.00/151.58	c qxplain 174/180
155.30/151.86	c qxplain 178/180
155.60/152.14	c qxplain 180/180
155.90/152.42	c 1078659[?] -209413[?] 208354[?] 207785[?]  is mandatory 
155.90/152.42	c qxplain 178/179
156.10/152.69	c qxplain 179/179
156.40/152.97	c 1078665[?] -209412[?] 207785[?]  is mandatory 
156.40/152.97	c qxplain 178/178
156.70/153.25	c 1080760[?] 208513[?] -208514[?]  is mandatory 
156.70/153.25	c qxplain 174/177
157.00/153.54	c qxplain 176/177
157.30/153.82	c qxplain 177/177
157.61/154.10	c 1080761[?] 207746[?] -208514[?]  is mandatory 
157.61/154.10	c qxplain 176/176
157.81/154.38	c 1080762[?] 208311[?] -208513[?] 207785[?]  is mandatory 
157.81/154.38	c qxplain 174/175
158.11/154.66	c qxplain 175/175
158.41/154.93	c 1081041[?] -208431[?] 207785[?]  is mandatory 
158.41/154.94	c qxplain 174/174
158.72/155.21	c 1081047[?] -208430[?] 207785[?]  is mandatory 
158.72/155.21	c qxplain 167/173
158.91/155.49	c qxplain 171/173
159.21/155.77	c qxplain 173/173
159.51/156.05	c 1081077[?] -208421[?] 208422[?] 207766[?]  is mandatory 
159.51/156.05	c qxplain 171/172
159.82/156.33	c qxplain 172/172
160.11/156.60	c 1081094[?] 208405[?] -208404[?] -207746[?]  is mandatory 
160.11/156.60	c qxplain 171/171
160.31/156.88	c 1081098[?] 208404[?] -208395[?]  is mandatory 
160.31/156.88	c qxplain 167/170
160.61/157.16	c qxplain 169/170
160.92/157.44	c qxplain 170/170
161.21/157.72	c 1081100[?] 208402[?] -208401[?] -207746[?]  is mandatory 
161.21/157.72	c qxplain 169/169
161.51/158.00	c 1081104[?] 208401[?] -208392[?]  is mandatory 
161.51/158.00	c qxplain 167/168
161.71/158.27	c qxplain 168/168
162.02/158.56	c 1081107[?] -208399[?] 208398[?]  is mandatory 
162.02/158.56	c qxplain 167/167
162.31/158.84	c 1081109[?] -208398[?] 208389[?] 207785[?]  is mandatory 
162.31/158.84	c qxplain 111/166
162.61/159.12	c qxplain 139/166
162.81/159.39	c qxplain 153/166
163.12/159.67	c qxplain 160/166
163.41/159.95	c qxplain 164/166
163.71/160.23	c qxplain 166/166
164.01/160.50	c 1081117[?] 208395[?] -208396[?] 207759[?]  is mandatory 
164.01/160.50	c qxplain 164/165
164.22/160.78	c qxplain 165/165
164.51/161.06	c 1081123[?] 208392[?] -208393[?] 207759[?]  is mandatory 
164.51/161.06	c qxplain 164/164
164.81/161.33	c 1081125[?] -208389[?] 208390[?] 208391[?]  is mandatory 
164.81/161.33	c qxplain 160/163
165.12/161.62	c qxplain 162/163
165.33/161.90	c qxplain 163/163
165.62/162.18	c 1081134[?] -208333[?] 207759[?] 208387[?]  is mandatory 
165.62/162.18	c qxplain 162/162
165.92/162.46	c 1081140[?] -208382[?] 207785[?]  is mandatory 
165.92/162.46	c qxplain 160/161
166.22/162.74	c qxplain 161/161
166.53/163.01	c 1081181[?] 208375[?] -208310[?]  is mandatory 
166.53/163.01	c qxplain 160/160
166.72/163.29	c 1081188[?] -208374[?] 207747[?] 207785[?]  is mandatory 
166.72/163.29	c qxplain 153/159
167.02/163.57	c qxplain 157/159
167.32/163.85	c qxplain 159/159
167.63/164.14	c 1081283[?] -208354[?] -208341[?] 207785[?]  is mandatory 
167.63/164.14	c qxplain 157/158
167.92/164.41	c qxplain 158/158
168.12/164.69	c 1081332[?] 208341[?] 207758[?] 207747[?]  is mandatory 
168.12/164.69	c qxplain 157/157
168.42/164.97	c 1081348[?] -208334[?] 208332[?]  is mandatory 
168.42/164.97	c qxplain 153/156
168.73/165.25	c qxplain 155/156
169.02/165.52	c qxplain 156/156
169.32/165.80	c 1081350[?] -208332[?] 208333[?] 207785[?]  is mandatory 
169.32/165.80	c qxplain 155/155
169.52/166.08	c 1081354[?] 208329[?] -208330[?]  is mandatory 
169.52/166.08	c qxplain 153/154
169.83/166.36	c qxplain 154/154
170.12/166.63	c 1081356[?] 208320[?] -208329[?] 207785[?]  is mandatory 
170.12/166.63	c qxplain 153/153
170.42/166.91	c 1081360[?] 208326[?] -208327[?]  is mandatory 
170.42/166.91	c qxplain 139/152
170.62/167.19	c qxplain 146/152
170.93/167.47	c qxplain 150/152
171.22/167.74	c qxplain 152/152
171.52/168.02	c 1081362[?] 208317[?] 207785[?] -208326[?]  is mandatory 
171.52/168.02	c qxplain 150/151
171.82/168.30	c qxplain 151/151
172.03/168.58	c 1081365[?] 208324[?] -208323[?] -207746[?]  is mandatory 
172.03/168.58	c qxplain 150/150
172.32/168.86	c 1081369[?] 208323[?] -208314[?]  is mandatory 
172.32/168.86	c qxplain 146/149
172.62/169.13	c qxplain 148/149
172.92/169.41	c qxplain 149/149
173.23/169.70	c 1081375[?] 208321[?] -208320[?] 207766[?]  is mandatory 
173.23/169.70	c qxplain 148/148
173.43/169.97	c 1081381[?] 208318[?] -208317[?] 207766[?]  is mandatory 
173.43/169.97	c qxplain 146/147
173.73/170.25	c qxplain 147/147
174.03/170.53	c 1081388[?] 208314[?] -208315[?] 207766[?]  is mandatory 
174.03/170.53	c qxplain 146/146
174.33/170.81	c 1081393[?] 208312[?] -208311[?] 207766[?]  is mandatory 
174.33/170.81	c qxplain 139/145
174.53/171.09	c qxplain 143/145
174.84/171.38	c qxplain 145/145
175.14/171.67	c 208310[?] 1081395[?] is mandatory 
175.14/171.67	c qxplain 143/144
175.44/171.94	c qxplain 144/144
175.74/172.22	c 1082304[?] -207796[?] 207798[?] 207799[?]  is mandatory 
175.74/172.22	c qxplain 143/143
176.04/172.50	c -207785[?] 1082332[?] is mandatory 
176.04/172.50	c qxplain 139/142
176.24/172.78	c qxplain 141/142
176.54/173.06	c qxplain 142/142
176.84/173.34	c 1082347[?] -207773[?] 207772[?] -207774[?]  is mandatory 
176.84/173.34	c qxplain 141/141
177.14/173.62	c 1082350[?] -207766[?] 207772[?] -207774[?]  is mandatory 
177.14/173.62	c qxplain 139/140
177.34/173.89	c qxplain 140/140
177.44/173.93	c qxplain 139/139
177.74/174.21	c 1096812[?] -213900[?] 216596[?]  is mandatory 
177.74/174.21	c qxplain 111/138
177.94/174.48	c qxplain 125/138
178.24/174.76	c qxplain 132/138
178.54/175.04	c qxplain 136/138
178.84/175.32	c qxplain 138/138
179.14/175.60	c 1096814[?] -216596[?] 216592[?] 214663[?]  is mandatory 
179.14/175.60	c qxplain 136/137
179.34/175.88	c qxplain 137/137
179.64/176.16	c 1096839[?] -216592[?] 214531[?] 214663[?]  is mandatory 
179.64/176.16	c qxplain 136/136
179.94/176.44	c 1100576[?] -214503[?] 215669[?] 215672[?]  is mandatory 
179.94/176.44	c qxplain 132/135
180.24/176.71	c qxplain 134/135
180.44/176.99	c qxplain 135/135
180.74/177.27	c 1100583[?] -215672[?] 215671[?] -214513[?]  is mandatory 
180.74/177.27	c qxplain 134/134
181.04/177.55	c 1100588[?] -215671[?] 213895[?]  is mandatory 
181.04/177.55	c qxplain 132/133
181.34/177.83	c qxplain 133/133
181.64/178.12	c 1100601[?] -215669[?] 215668[?] -214513[?]  is mandatory 
181.64/178.12	c qxplain 132/132
181.85/178.40	c 1100607[?] -215668[?] -214516[?] -214531[?]  is mandatory 
181.85/178.40	c qxplain 125/131
182.15/178.68	c qxplain 129/131
182.45/178.96	c qxplain 131/131
182.75/179.23	c 1100658[?] 214500[?] -215658[?] 214510[?]  is mandatory 
182.75/179.23	c qxplain 129/130
183.05/179.51	c qxplain 130/130
183.25/179.79	c 1100680[?] 215658[?] -215657[?] -214513[?]  is mandatory 
183.25/179.79	c qxplain 129/129
183.55/180.07	c 1100686[?] 215657[?] -214516[?] -214531[?]  is mandatory 
183.55/180.07	c qxplain 125/128
183.85/180.35	c qxplain 127/128
184.15/180.63	c qxplain 128/128
184.45/180.91	c 1100732[?] -214497[?] 215650[?] 215647[?]  is mandatory 
184.45/180.91	c qxplain 127/127
184.64/181.19	c 1100738[?] -215650[?] 215648[?] 215649[?]  is mandatory 
184.64/181.19	c qxplain 125/126
184.95/181.47	c qxplain 126/126
185.25/181.75	c 1100744[?] -215649[?] 213906[?] 213895[?]  is mandatory 
185.25/181.75	c qxplain 125/125
185.55/182.03	c 1100750[?] -215648[?] 213906[?]  is mandatory 
185.55/182.03	c qxplain 111/124
185.85/182.31	c qxplain 118/124
186.05/182.58	c qxplain 122/124
186.35/182.86	c qxplain 124/124
186.65/183.14	c 1100756[?] -215647[?] 214540[?] 215646[?]  is mandatory 
186.65/183.14	c qxplain 122/123
186.95/183.42	c qxplain 123/123
187.25/183.70	c 1100762[?] -215646[?] 213895[?]  is mandatory 
187.25/183.70	c qxplain 122/122
187.45/183.98	c 1100837[?] -214532[?] 215632[?] 215629[?]  is mandatory 
187.45/183.98	c qxplain 118/121
187.75/184.26	c qxplain 120/121
188.05/184.54	c qxplain 121/121
188.35/184.81	c 1100843[?] 215631[?] 215630[?] -215632[?]  is mandatory 
188.35/184.81	c qxplain 120/120
188.55/185.09	c 1100846[?] 214438[?] -215632[?] 215630[?]  is mandatory 
188.55/185.09	c qxplain 118/119
188.85/185.37	c qxplain 119/119
189.15/185.65	c 1100852[?] 214441[?] -215631[?] 213895[?]  is mandatory 
189.15/185.65	c qxplain 118/118
189.45/185.93	c 1100855[?] -215630[?] 213895[?]  is mandatory 
189.45/185.93	c qxplain 111/117
189.75/186.21	c qxplain 115/117
189.95/186.49	c qxplain 117/117
190.25/186.76	c 1100861[?] -215629[?] 215628[?] 214492[?]  is mandatory 
190.25/186.76	c qxplain 115/116
190.55/187.05	c qxplain 116/116
190.85/187.33	c 1100867[?] -215628[?] 213895[?]  is mandatory 
190.85/187.33	c qxplain 115/115
191.15/187.62	c 1101168[?] -213909[?] -214435[?] 215588[?]  is mandatory 
191.15/187.62	c qxplain 111/114
191.35/187.90	c qxplain 113/114
191.65/188.17	c qxplain 114/114
191.95/188.45	c 1101173[?] -215588[?] 215587[?] 215586[?]  is mandatory 
191.95/188.45	c qxplain 113/113
192.25/188.74	c 1101179[?] -215587[?] 213895[?]  is mandatory 
192.25/188.74	c qxplain 111/112
192.55/189.02	c qxplain 112/112
192.86/189.30	c 1101188[?] -215586[?] 214441[?] 213895[?]  is mandatory 
192.86/189.30	c qxplain 111/111
193.05/189.58	c 1101209[?] -213908[?] 215579[?] 215582[?]  is mandatory 
193.05/189.58	c qxplain 0/110
193.35/189.85	c qxplain 56/110
193.65/190.13	c qxplain 84/110
193.96/190.41	c qxplain 98/110
194.15/190.69	c qxplain 105/110
194.45/190.97	c qxplain 108/110
194.75/191.25	c qxplain 110/110
195.06/191.53	c 1101215[?] -215582[?] 215580[?] 215581[?]  is mandatory 
195.06/191.53	c qxplain 108/109
195.35/191.81	c qxplain 109/109
195.55/192.09	c 1101221[?] -215581[?] 213895[?]  is mandatory 
195.55/192.09	c qxplain 108/108
195.85/192.37	c 1101227[?] -215580[?] 213895[?]  is mandatory 
195.85/192.37	c qxplain 105/107
196.16/192.64	c qxplain 107/107
196.46/192.92	c 1101233[?] -215579[?] 215578[?] 214486[?]  is mandatory 
196.46/192.92	c qxplain 105/106
196.76/193.20	c qxplain 106/106
196.96/193.48	c 1101239[?] -215578[?] 213895[?]  is mandatory 
196.96/193.48	c qxplain 105/105
197.26/193.76	c 1101324[?] -214432[?] -214435[?] 215566[?]  is mandatory 
197.26/193.76	c qxplain 98/104
197.56/194.03	c qxplain 102/104
197.86/194.31	c qxplain 104/104
198.06/194.59	c 1101329[?] -215566[?] 215564[?] 215565[?]  is mandatory 
198.06/194.59	c qxplain 102/103
198.36/194.86	c qxplain 103/103
198.65/195.14	c 1101335[?] -215565[?] 213895[?]  is mandatory 
198.65/195.14	c qxplain 102/102
198.95/195.42	c 1101341[?] -215564[?] 214481[?] 213895[?]  is mandatory 
198.95/195.42	c qxplain 98/101
199.26/195.71	c qxplain 100/101
199.47/195.98	c qxplain 101/101
199.76/196.26	c 1101407[?] -214429[?] 215552[?] 215549[?]  is mandatory 
199.76/196.26	c qxplain 100/100
200.06/196.54	c 1101416[?] -215552[?] 214438[?] 215550[?]  is mandatory 
200.06/196.54	c qxplain 98/99
200.36/196.82	c qxplain 99/99
200.57/197.09	c 1101428[?] -215550[?] 214441[?] 213895[?]  is mandatory 
200.57/197.09	c qxplain 98/98
200.86/197.37	c 1101434[?] -215549[?] 214438[?] 215547[?]  is mandatory 
200.86/197.37	c qxplain 84/97
201.16/197.65	c qxplain 91/97
201.46/197.93	c qxplain 95/97
201.77/198.21	c qxplain 97/97
201.96/198.48	c 1101443[?] -215547[?] 213868[?]  is mandatory 
201.96/198.48	c qxplain 95/96
202.26/198.76	c qxplain 96/96
202.56/199.04	c 1101449[?] -214428[?] 215546[?] 215543[?]  is mandatory 
202.56/199.04	c qxplain 95/95
202.87/199.32	c 1101458[?] -215546[?] 214438[?] 215544[?]  is mandatory 
202.87/199.32	c qxplain 91/94
203.06/199.59	c qxplain 93/94
203.36/199.87	c qxplain 94/94
203.66/200.15	c 1101470[?] -215544[?] 214441[?] 213895[?]  is mandatory 
203.66/200.15	c qxplain 93/93
203.97/200.44	c 1101476[?] -215543[?] 214438[?] 214483[?]  is mandatory 
203.97/200.44	c qxplain 91/92
204.26/200.71	c qxplain 92/92
204.46/200.99	c 1101487[?] 214426[?] -215541[?] -214435[?]  is mandatory 
204.46/200.99	c qxplain 91/91
204.76/201.27	c 1101495[?] 215541[?] 214438[?] -215539[?]  is mandatory 
204.76/201.27	c qxplain 84/90
205.07/201.55	c qxplain 88/90
205.36/201.83	c qxplain 90/90
205.66/202.10	c 1101502[?] 215539[?] -214480[?] 213868[?]  is mandatory 
205.66/202.10	c qxplain 88/89
205.86/202.39	c qxplain 89/89
206.17/202.66	c 1101656[?] -213899[?] 215518[?]  is mandatory 
206.17/202.66	c qxplain 88/88
206.46/202.94	c 1101658[?] -215518[?] 215514[?] 214400[?]  is mandatory 
206.46/202.94	c qxplain 84/87
206.76/203.22	c qxplain 86/87
206.96/203.49	c qxplain 87/87
207.27/203.77	c 1101683[?] -215514[?] 214531[?] 214400[?]  is mandatory 
207.27/203.77	c qxplain 86/86
207.56/204.05	c -214663[?] 1103650[?] is mandatory 
207.56/204.05	c qxplain 84/85
207.86/204.32	c qxplain 85/85
208.16/204.60	c 1103719[?] 213856[?] -214624[?]  is mandatory 
208.16/204.60	c qxplain 84/84
208.37/204.89	c 1104005[?] -214540[?] 213895[?]  is mandatory 
208.37/204.89	c qxplain 56/83
208.67/205.17	c qxplain 70/83
208.97/205.45	c qxplain 77/83
209.27/205.72	c qxplain 81/83
209.57/206.00	c qxplain 83/83
209.78/206.28	c 1104035[?] 213876[?] 214532[?] -214531[?]  is mandatory 
209.78/206.28	c qxplain 81/82
210.08/206.55	c qxplain 82/82
210.38/206.83	c 1104059[?] -214512[?] 214511[?]  is mandatory 
210.38/206.83	c qxplain 81/81
210.68/207.12	c 1104061[?] -214511[?] 214502[?] 213895[?]  is mandatory 
210.68/207.12	c qxplain 77/80
210.88/207.39	c qxplain 79/80
211.18/207.67	c qxplain 80/80
211.48/207.94	c 1104064[?] 214509[?] -214508[?] -213856[?]  is mandatory 
211.48/207.94	c qxplain 79/79
211.77/208.22	c 1104068[?] 214508[?] -214499[?]  is mandatory 
211.77/208.22	c qxplain 77/78
212.07/208.50	c qxplain 78/78
212.27/208.78	c 1104080[?] -214502[?] 214503[?] 213869[?]  is mandatory 
212.27/208.78	c qxplain 77/77
212.57/209.06	c 1104087[?] 214499[?] -214500[?] 213869[?]  is mandatory 
212.57/209.06	c qxplain 70/76
212.87/209.33	c qxplain 74/76
213.17/209.61	c qxplain 76/76
213.37/209.89	c 1104092[?] -214443[?] 213869[?] 214497[?]  is mandatory 
213.37/209.89	c qxplain 74/75
213.67/210.17	c qxplain 75/75
213.97/210.45	c 1104098[?] -214492[?] 213895[?]  is mandatory 
213.97/210.45	c qxplain 74/74
214.27/210.73	c 1104137[?] -214486[?] 214441[?] 213895[?]  is mandatory 
214.27/210.73	c qxplain 70/73
214.57/211.01	c qxplain 72/73
214.77/211.28	c qxplain 73/73
215.07/211.56	c 1104155[?] -214483[?] 214441[?] 213895[?]  is mandatory 
215.07/211.56	c qxplain 72/72
215.37/211.84	c 1104165[?] -214481[?] -214478[?] 213895[?]  is mandatory 
215.37/211.84	c qxplain 70/71
215.67/212.12	c qxplain 71/71
215.98/212.40	c 1104169[?] 214480[?] 213868[?] -214420[?]  is mandatory 
215.98/212.40	c qxplain 70/70
216.17/212.69	c 1104181[?] 214478[?] 213868[?] 213857[?]  is mandatory 
216.17/212.69	c qxplain 56/69
216.47/212.97	c qxplain 63/69
216.77/213.24	c qxplain 67/69
217.08/213.52	c qxplain 69/69
217.37/213.80	c 1104306[?] -214444[?] 214442[?]  is mandatory 
217.37/213.80	c qxplain 67/68
217.57/214.07	c qxplain 68/68
217.88/214.36	c 1104308[?] -214442[?] 214443[?] 213895[?]  is mandatory 
217.88/214.36	c qxplain 67/67
218.19/214.64	c 1104312[?] -214440[?] 214439[?]  is mandatory 
218.19/214.64	c qxplain 63/66
218.48/214.91	c qxplain 65/66
218.78/215.20	c qxplain 66/66
218.98/215.47	c 1104314[?] -214439[?] 214430[?] 213895[?]  is mandatory 
218.98/215.47	c qxplain 65/65
219.29/215.75	c 1104318[?] -214437[?] 214436[?]  is mandatory 
219.29/215.75	c qxplain 63/64
219.58/216.03	c qxplain 64/64
219.88/216.31	c 1104320[?] -214436[?] 214427[?] 213895[?]  is mandatory 
219.88/216.31	c qxplain 63/63
220.08/216.58	c 1104323[?] 214434[?] -213856[?] -214433[?]  is mandatory 
220.08/216.58	c qxplain 56/62
220.39/216.86	c qxplain 60/62
220.68/217.14	c qxplain 62/62
220.98/217.41	c 1104327[?] 214433[?] -214424[?]  is mandatory 
220.98/217.41	c qxplain 60/61
221.18/217.69	c qxplain 61/61
221.49/217.97	c 1104331[?] -214430[?] 214432[?] -213876[?]  is mandatory 
221.49/217.97	c qxplain 60/60
221.78/218.25	c 1104336[?] -214427[?] 214428[?] 214429[?]  is mandatory 
221.78/218.25	c qxplain 56/59
222.08/218.53	c qxplain 58/59
222.38/218.81	c qxplain 59/59
222.59/219.09	c 1104344[?] 214424[?] -214426[?] -213876[?]  is mandatory 
222.59/219.09	c qxplain 58/58
222.88/219.37	c 214420[?] 1104353[?] is mandatory 
222.88/219.37	c qxplain 56/57
223.18/219.65	c qxplain 57/57
223.48/219.92	c -214400[?] 1104398[?] is mandatory 
223.48/219.92	c qxplain 56/56
223.79/220.20	c 1105262[?] -213906[?] 213909[?] 213908[?]  is mandatory 
223.79/220.20	c qxplain 0/55
223.98/220.48	c qxplain 28/55
224.28/220.76	c qxplain 42/55
224.58/221.03	c qxplain 49/55
224.89/221.31	c qxplain 53/55
225.08/221.59	c qxplain 55/55
225.38/221.86	c -213895[?] 1105290[?] is mandatory 
225.38/221.86	c qxplain 53/54
225.68/222.14	c qxplain 54/54
225.99/222.42	c 1119770[?] -220010[?] 222706[?]  is mandatory 
225.99/222.42	c qxplain 53/53
226.18/222.69	c 1119772[?] -222706[?] 222702[?] 220773[?]  is mandatory 
226.18/222.69	c qxplain 49/52
226.48/222.97	c qxplain 51/52
226.78/223.25	c qxplain 52/52
227.09/223.53	c 1119797[?] -222702[?] 220641[?] 220773[?]  is mandatory 
227.09/223.53	c qxplain 51/51
227.38/223.81	c 1123536[?] 220613[?] -221782[?] -220620[?]  is mandatory 
227.38/223.81	c qxplain 49/50
227.69/224.10	c qxplain 50/50
227.89/224.38	c 1123544[?] 221782[?] -221780[?] 220623[?]  is mandatory 
227.89/224.38	c qxplain 49/49
228.19/224.66	c 1123551[?] 221780[?] 220016[?]  is mandatory 
228.19/224.66	c qxplain 42/48
228.49/224.93	c qxplain 46/48
228.79/225.21	c qxplain 48/48
228.99/225.49	c 1123690[?] -220607[?] 221760[?] 221757[?]  is mandatory 
228.99/225.49	c qxplain 46/47
229.29/225.76	c qxplain 47/47
229.59/226.04	c 1123696[?] -221760[?] 221759[?] 221758[?]  is mandatory 
229.59/226.04	c qxplain 46/46
229.89/226.32	c 1123702[?] -221759[?] 220016[?] 220005[?]  is mandatory 
229.89/226.32	c qxplain 42/45
230.09/226.59	c qxplain 44/45
230.39/226.87	c qxplain 45/45
230.69/227.15	c 1123708[?] -221758[?] 220016[?]  is mandatory 
230.69/227.15	c qxplain 44/44
230.99/227.43	c 1123714[?] -221757[?] 221756[?] 220650[?]  is mandatory 
230.99/227.43	c qxplain 42/43
231.29/227.71	c qxplain 43/43
231.49/227.98	c 1123720[?] -221756[?] 220005[?]  is mandatory 
231.49/227.98	c qxplain 42/42
231.79/228.26	c 1123795[?] -220642[?] 221742[?] 221739[?]  is mandatory 
231.79/228.26	c qxplain 28/41
232.09/228.54	c qxplain 35/41
232.39/228.82	c qxplain 39/41
232.59/229.10	c qxplain 41/41
232.89/229.37	c 1123804[?] -221742[?] 220548[?] 221740[?]  is mandatory 
232.89/229.37	c qxplain 39/40
233.19/229.65	c qxplain 40/40
233.49/229.93	c 1123813[?] -221740[?] 220005[?]  is mandatory 
233.49/229.93	c qxplain 39/39
233.79/230.21	c 1123819[?] -221739[?] 221738[?] 220602[?]  is mandatory 
233.79/230.21	c qxplain 35/38
233.99/230.49	c qxplain 37/38
234.29/230.77	c qxplain 38/38
234.59/231.04	c 1123825[?] -221738[?] 220005[?]  is mandatory 
234.59/231.04	c qxplain 37/37
234.89/231.32	c 1124126[?] -220019[?] -220545[?] 221698[?]  is mandatory 
234.89/231.32	c qxplain 35/36
235.19/231.60	c qxplain 36/36
235.39/231.88	c 1124131[?] -221698[?] 221697[?] 221696[?]  is mandatory 
235.39/231.88	c qxplain 35/35
235.69/232.15	c 1124137[?] -221697[?] 220005[?]  is mandatory 
235.69/232.15	c qxplain 28/34
235.99/232.43	c qxplain 32/34
236.29/232.71	c qxplain 34/34
236.49/232.98	c 1124146[?] -221696[?] 220551[?] 220005[?]  is mandatory 
236.49/232.98	c qxplain 32/33
236.79/233.26	c qxplain 33/33
237.10/233.55	c 1124168[?] -220018[?] 221692[?] -220545[?]  is mandatory 
237.10/233.55	c qxplain 32/32
237.40/233.83	c 1124173[?] -221692[?] 221691[?] 221690[?]  is mandatory 
237.40/233.83	c qxplain 28/31
237.69/234.10	c qxplain 30/31
237.90/234.38	c qxplain 31/31
238.20/234.66	c 1124179[?] -221691[?] 220005[?]  is mandatory 
238.20/234.66	c qxplain 30/30
238.50/234.94	c 1124185[?] -221690[?] 220005[?]  is mandatory 
238.50/234.94	c qxplain 28/29
238.80/235.21	c qxplain 29/29
238.99/235.49	c 1124614[?] -220009[?] 221628[?]  is mandatory 
238.99/235.49	c qxplain 28/28
239.29/235.77	c 1124616[?] -221628[?] 221624[?] 220510[?]  is mandatory 
239.29/235.77	c qxplain 0/27
239.60/236.05	c qxplain 14/27
239.90/236.32	c qxplain 21/27
240.20/236.60	c qxplain 25/27
240.40/236.88	c qxplain 27/27
240.70/237.16	c 1124641[?] -221624[?] 220641[?] 220510[?]  is mandatory 
240.70/237.16	c qxplain 25/26
241.00/237.44	c qxplain 26/26
241.30/237.72	c -220773[?] 1126608[?] is mandatory 
241.30/237.72	c qxplain 25/25
241.60/238.00	c 1126963[?] -220650[?] 220005[?]  is mandatory 
241.60/238.00	c qxplain 21/24
241.80/238.28	c qxplain 23/24
242.10/238.56	c qxplain 24/24
242.40/238.83	c 1126993[?] 219986[?] -220641[?] 220642[?]  is mandatory 
242.40/238.83	c qxplain 23/23
242.70/239.11	c 1127016[?] -219966[?] 220622[?] -220621[?]  is mandatory 
242.70/239.11	c qxplain 21/22
242.90/239.39	c qxplain 22/22
243.20/239.67	c 1127020[?] 220621[?] -220612[?]  is mandatory 
243.20/239.67	c qxplain 21/21
243.50/239.95	c 1127024[?] 219966[?] -220619[?]  is mandatory 
243.50/239.95	c qxplain 14/20
243.80/240.22	c qxplain 18/20
244.10/240.50	c qxplain 20/20
244.31/240.77	c 1127039[?] 220612[?] -220613[?] 219979[?]  is mandatory 
244.31/240.77	c qxplain 18/19
244.61/241.05	c qxplain 19/19
244.91/241.33	c 1127050[?] -220553[?] 220607[?] 219979[?]  is mandatory 
244.91/241.33	c qxplain 18/18
245.21/241.61	c 1127056[?] -220602[?] 220005[?]  is mandatory 
245.21/241.61	c qxplain 14/17
245.41/241.88	c qxplain 16/17
245.71/242.16	c qxplain 17/17
246.01/242.44	c 1127264[?] -220554[?] 220552[?]  is mandatory 
246.01/242.44	c qxplain 16/16
246.31/242.72	c 1127266[?] -220552[?] 220553[?] 220005[?]  is mandatory 
246.31/242.72	c qxplain 14/15
246.51/242.99	c qxplain 15/15
246.81/243.27	c -220510[?] 1127356[?] is mandatory 
246.81/243.27	c qxplain 14/14
247.11/243.55	c 1128220[?] -220016[?] 220018[?] 220019[?]  is mandatory 
247.11/243.55	c qxplain 0/13
247.42/243.83	c qxplain 7/13
247.72/244.11	c qxplain 11/13
247.92/244.39	c qxplain 13/13
248.22/244.66	c 1128243[?] 220007[?] -219969[?] 220008[?]  is mandatory 
248.22/244.66	c qxplain 11/12
248.52/244.94	c qxplain 12/12
248.82/245.22	c -220005[?] 1128248[?] is mandatory 
248.82/245.22	c qxplain 11/11
249.02/245.50	c 1128301[?] 219969[?] -219968[?]  is mandatory 
249.02/245.50	c qxplain 7/10
249.32/245.78	c qxplain 9/10
249.62/246.05	c qxplain 10/10
249.92/246.33	c 1146338[?] 227914[?] -226093[?] 227911[?]  is mandatory 
249.92/246.33	c qxplain 9/9
250.22/246.61	c 1146341[?] 226730[?] -226093[?] 227911[?]  is mandatory 
250.22/246.61	c qxplain 7/8
250.42/246.88	c qxplain 8/8
250.72/247.16	c 1146345[?] -226733[?] 227913[?] -227914[?]  is mandatory 
250.72/247.16	c qxplain 7/7
251.02/247.44	c 1146350[?] -227913[?] 226115[?]  is mandatory 
251.02/247.44	c qxplain 0/6
251.32/247.71	c qxplain 4/6
251.62/248.00	c qxplain 6/6
251.82/248.28	c 1146362[?] -227911[?] 226765[?] 227910[?]  is mandatory 
251.82/248.28	c qxplain 4/5
252.12/248.55	c qxplain 5/5
252.42/248.83	c 1146368[?] -227910[?] 226115[?]  is mandatory 
252.42/248.83	c qxplain 4/4
252.72/249.11	c 1149897[?] -226765[?] 226115[?]  is mandatory 
252.72/249.11	c qxplain 0/3
252.92/249.39	c qxplain 2/3
253.22/249.67	c qxplain 3/3
253.52/249.94	c 1151201[?] 226117[?] -226079[?] 226118[?]  is mandatory 
253.52/249.94	c qxplain 2/2
253.82/250.22	c -226115[?] 1151206[?] is mandatory 
253.82/250.22	c qxplain 0/1
254.12/250.50	c qxplain 1/1
254.32/250.78	c 1151243[?] 226093[?] 226089[?] -226092[?]  is mandatory 
254.32/250.78	c qxplain 0/0
254.62/251.06	c 1151259[?] 226079[?] -226078[?]  is mandatory 
256.96/253.27	c Size of the MUS: 433
256.96/253.27	c Unsat core  computation wall clock time (in seconds) : 250.764
256.96/253.27	c starts		: 873
256.96/253.27	c conflicts		: 137
256.96/253.27	c decisions		: 207850796
256.96/253.27	c propagations		: 1025937003
256.96/253.27	c inspects		: 5378496
256.96/253.27	c shortcuts		: 0
256.96/253.27	c learnt literals	: 0
256.96/253.27	c learnt binary clauses	: 0
256.96/253.27	c learnt ternary clauses	: 0
256.96/253.27	c learnt constraints	: 136
256.96/253.27	c ignored constraints	: 0
256.96/253.27	c root simplifications	: 0
256.96/253.27	c removed literals (reason simplification)	: 9
256.96/253.27	c reason swapping (by a shorter reason)	: 0
256.96/253.27	c Calls to reduceDB	: 0
256.96/253.27	c speed (assignments/second)	: 4.1136207016840416E8
256.96/253.27	c non guided choices	207850490
256.96/253.27	c learnt constraints type 
256.96/253.27	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 136
256.96/253.27	c constraints type 
256.96/253.27	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 930356
256.96/253.27	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 5572
256.96/253.27	s UNSATISFIABLE
256.96/253.27	v 14 20 30 35 41 45 46 48 50 234 240 246 3026 3027 3031 3051 3053 4045 4067 4070 4073 4075 4077 4080 4093 4095 5087 5108 5110 5111 5115 5117 5119 5122 6130 6152 6153 6157 6159 6160 6161 6163 6164 815586 815592 815598 815607 816100 816122 816125 816374 816396 816399 816406 816412 816418 816424 816430 816436 816442 816451 816472 816478 816484 816490 816496 816502 816509 816514 816526 816532 816538 816544 816550 816556 816592 816614 816619 816634 816655 816661 816671 816681 816961 816968 816973 816986 816991 817003 817009 817015 817021 817028 817033 817082 817084 817090 817099 817106 817112 817118 817123 817129 817135 817161 817162 817167 817170 817183 817186 817189 817190 817195 817279 817282 817286 817292 817303 817309 817315 817323 817324 817326 817332 817338 817345 817348 817354 817356 817359 817362 817367 817373 817374 817385 817392 819511 819515 819727 819793 819799 819826 819852 819856 819859 819861 819875 819877 819883 819892 819940 819952 819959 819969 819975 819989 820011 820084 820100 820102 820105 820106 820108 820109 820113 820117 820118 820119 820120 820121 820125 820127 820128 820136 820137 820140 820144 820147 821056 821084 821103 821114 821126 839256 839276 839279 839332 839354 839357 839364 839370 839376 839382 839388 839394 839400 839409 839430 839436 839484 839490 839496 839502 839508 839514 839592 839613 839619 839919 839926 839931 839944 839949 839961 839967 839973 839979 839986 839991 839996 840002 840008 840014 840020 840026 840032 840041 840043 840047 840053 840062 840067 840073 840118 840120 840126 840136 840141 840154 840202 840204 840210 840219 840226 840232 840278 840284 840290 840296 840305 840311 840358 840363 840369 840375 842470 842471 842472 842751 842757 842787 842804 842808 842810 842814 842817 842819 842827 842833 842835 842844 842850 842891 842898 842993 843042 843058 843060 843064 843066 843070 843072 843075 843079 843085 843091 843098 843103 843105 844014 844042 844057 844060 858522 858524 858549 862286 862293 862298 862311 862317 862368 862390 862396 862442 862448 862454 862460 862466 862472 862547 862553 862556 862562 862565 862571 862577 862878 862883 862889 862898 862919 862925 862931 862937 862943 862949 863034 863039 863045 863051 863117 863126 863138 863144 863153 863159 863168 863180 863186 863197 863205 863212 863366 863368 863393 865360 865429 865715 865745 865769 865771 865774 865778 865790 865797 865802 865808 865847 865865 865875 865879 865891 866016 866018 866022 866024 866028 866030 866033 866037 866041 866046 866054 866063 866108 866972 867000 881480 881482 881507 885246 885254 885261 885400 885406 885412 885418 885424 885430 885505 885514 885523 885529 885535 885836 885841 885847 885856 885878 885883 885889 885895 886324 886326 886351 888318 888673 888703 888726 888730 888734 888749 888760 888766 888974 888976 889066 889930 889953 889958 890011 908048 908051 908055 908060 908072 908078 911607 912911 912916 912953 912969 0
256.96/253.27	c Total wall clock time (in seconds) : 253.172

OK	433

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 988)

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

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

running on 2 cores: 4,6

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


[startup+0 s]
/proc/loadavg: 1.12 1.08 0.68 7/200 30906
/proc/meminfo: memFree=31217760/32951124 swapFree=67076880/67111528
[pid=30906] ppid=30904 vsize=24004 CPUtime=0 cores=4,6
/proc/30906/stat : 30906 (java) S 30904 30906 30365 0 -1 4202496 1127 0 0 0 0 0 0 0 22 0 2 0 891505237 24580096 864 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212699477989 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/30906/statm: 6001 864 652 9 0 381 0
[pid=30906/tid=30907] ppid=30904 vsize=24004 CPUtime=0 cores=4,6
/proc/30906/task/30907/stat : 30907 (java) R 30904 30906 30365 0 -1 4202560 12 0 0 0 0 0 0 0 23 0 2 0 891505238 24580096 864 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212687675136 0 0 4096 0 0 0 0 -1 4 0 0 0

[startup+0.067708 s]
/proc/loadavg: 1.12 1.08 0.68 7/200 30906
/proc/meminfo: memFree=31217760/32951124 swapFree=67076880/67111528
[pid=30906] ppid=30904 vsize=6363732 CPUtime=0.05 cores=4,6
/proc/30906/stat : 30906 (java) S 30904 30906 30365 0 -1 4202496 8524 0 1 0 4 1 0 0 22 0 18 0 891505237 6516461568 8220 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/30906/statm: 1590933 8220 1750 9 0 1581671 0
[pid=30906/tid=30907] ppid=30904 vsize=6363732 CPUtime=0.05 cores=4,6
/proc/30906/task/30907/stat : 30907 (java) R 30904 30906 30365 0 -1 4202560 7348 0 1 0 4 1 0 0 25 0 18 0 891505238 6516461568 8220 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212687360322 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 6363732

[startup+0.1007 s]
/proc/loadavg: 1.12 1.08 0.68 7/200 30906
/proc/meminfo: memFree=31217760/32951124 swapFree=67076880/67111528
[pid=30906] ppid=30904 vsize=6431060 CPUtime=0.09 cores=4,6
/proc/30906/stat : 30906 (java) S 30904 30906 30365 0 -1 4202496 9715 0 1 0 8 1 0 0 22 0 18 0 891505237 6585405440 9403 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/30906/statm: 1607765 9403 2087 9 0 1598503 0
[pid=30906/tid=30907] ppid=30904 vsize=6431060 CPUtime=0.08 cores=4,6
/proc/30906/task/30907/stat : 30907 (java) R 30904 30906 30365 0 -1 4202560 7812 0 1 0 7 1 0 0 25 0 18 0 891505238 6585405440 9403 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 47652942007123 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6431060

[startup+0.30069 s]
/proc/loadavg: 1.12 1.08 0.68 7/200 30906
/proc/meminfo: memFree=31217760/32951124 swapFree=67076880/67111528
[pid=30906] ppid=30904 vsize=6432796 CPUtime=0.44 cores=4,6
/proc/30906/stat : 30906 (java) S 30904 30906 30365 0 -1 4202496 23929 0 1 0 41 3 0 0 22 0 18 0 891505237 6587183104 23131 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/30906/statm: 1608199 23135 2196 9 0 1598937 0
[pid=30906/tid=30907] ppid=30904 vsize=6432796 CPUtime=0.27 cores=4,6
/proc/30906/task/30907/stat : 30907 (java) R 30904 30906 30365 0 -1 4202560 20790 0 1 0 25 2 0 0 18 0 18 0 891505238 6587183104 23137 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 46912505541146 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 6432796

[startup+0.700627 s]
/proc/loadavg: 1.12 1.08 0.68 7/200 30906
/proc/meminfo: memFree=31217760/32951124 swapFree=67076880/67111528
[pid=30906] ppid=30904 vsize=6432796 CPUtime=0.84 cores=4,6
/proc/30906/stat : 30906 (java) S 30904 30906 30365 0 -1 4202496 62471 0 1 0 76 8 0 0 22 0 18 0 891505237 6587183104 61674 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/30906/statm: 1608199 61677 2196 9 0 1598937 0
[pid=30906/tid=30907] ppid=30904 vsize=6432796 CPUtime=0.67 cores=4,6
/proc/30906/task/30907/stat : 30907 (java) R 30904 30906 30365 0 -1 4202560 59328 0 1 0 60 7 0 0 18 0 18 0 891505238 6587183104 61679 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 46912505520903 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.84
Current children cumulated vsize (KiB) 6432796

[startup+1.51362 s]
/proc/loadavg: 1.43 1.14 0.70 5/238 30951
/proc/meminfo: memFree=30317740/32951124 swapFree=67076880/67111528
[pid=30906] ppid=30904 vsize=6432796 CPUtime=1.75 cores=4,6
/proc/30906/stat : 30906 (java) S 30904 30906 30365 0 -1 4202496 137005 0 1 0 159 16 0 0 22 0 18 0 891505237 6587183104 136206 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/30906/statm: 1608199 136206 2210 9 0 1598937 0
[pid=30906/tid=30907] ppid=30904 vsize=6432796 CPUtime=1.48 cores=4,6
/proc/30906/task/30907/stat : 30907 (java) R 30904 30906 30365 0 -1 4202560 133825 0 1 0 133 15 0 0 18 0 18 0 891505238 6587183104 136206 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 46912505217871 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=30906/tid=30909] ppid=30904 vsize=6432796 CPUtime=0 cores=4,6
/proc/30906/task/30909/stat : 30909 (java) S 30904 30906 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891505239 6587183104 136206 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212699491225 0 4 0 16800975 18446604440278877184 0 0 -1 6 0 0 0
[pid=30906/tid=30910] ppid=30904 vsize=6432796 CPUtime=0 cores=4,6
/proc/30906/task/30910/stat : 30910 (java) S 30904 30906 30365 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 891505239 6587183104 136206 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212699491225 0 4 0 16800975 18446604440278877184 0 0 -1 6 0 0 0
[pid=30906/tid=30911] ppid=30904 vsize=6432796 CPUtime=0 cores=4,6
/proc/30906/task/30911/stat : 30911 (java) S 30904 30906 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891505239 6587183104 136206 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212699491225 0 4 0 16800975 18446604440278877184 0 0 -1 6 0 0 0
[pid=30906/tid=30912] ppid=30904 vsize=6432796 CPUtime=0 cores=4,6
/proc/30906/task/30912/stat : 30912 (java) S 30904 30906 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891505239 6587183104 136206 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212699491225 0 4 0 16800975 18446604440278877184 0 0 -1 6 0 0 0
[pid=30906/tid=30913] ppid=30904 vsize=6432796 CPUtime=0 cores=4,6
/proc/30906/task/30913/stat : 30913 (java) S 30904 30906 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891505239 6587183104 136206 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212699491225 0 4 0 16800975 18446604440278877184 0 0 -1 6 0 0 0
[pid=30906/tid=30914] ppid=30904 vsize=6432796 CPUtime=0 cores=4,6
/proc/30906/task/30914/stat : 30914 (java) S 30904 30906 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891505239 6587183104 136206 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212699491225 0 4 0 16800975 18446604440278877184 0 0 -1 6 0 0 0
[pid=30906/tid=30915] ppid=30904 vsize=6432796 CPUtime=0 cores=4,6
/proc/30906/task/30915/stat : 30915 (java) S 30904 30906 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891505239 6587183104 136206 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212699491225 0 4 0 16800975 18446604440278877184 0 0 -1 6 0 0 0
[pid=30906/tid=30916] ppid=30904 vsize=6432796 CPUtime=0 cores=4,6
/proc/30906/task/30916/stat : 30916 (java) S 30904 30906 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891505239 6587183104 136206 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212699491225 0 4 0 16800975 18446604440278877184 0 0 -1 6 0 0 0
[pid=30906/tid=30917] ppid=30904 vsize=6432796 CPUtime=0 cores=4,6
/proc/30906/task/30917/stat : 30917 (java) S 30904 30906 30365 0 -1 4202560 3 0 0 0 0 0 0 0 17 0 18 0 891505240 6587183104 136206 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212699491840 0 0 0 16800975 18446604440278877184 0 0 -1 6 0 0 0
[pid=30906/tid=30918] ppid=30904 vsize=6432796 CPUtime=0 cores=4,6
/proc/30906/task/30918/stat : 30918 (java) S 30904 30906 30365 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 891505240 6587183104 136206 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212699491225 0 4 0 16800975 18446604440278877184 0 0 -1 6 0 0 0
[pid=30906/tid=30919] ppid=30904 vsize=6432796 CPUtime=0 cores=4,6
/proc/30906/task/30919/stat : 30919 (java) S 30904 30906 30365 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 891505240 6587183104 136206 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212699491225 0 4 0 16800975 18446604440278877184 0 0 -1 6 0 0 0
[pid=30906/tid=30920] ppid=30904 vsize=6432796 CPUtime=0 cores=4,6
/proc/30906/task/30920/stat : 30920 (java) S 30904 30906 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891505243 6587183104 136206 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212699498929 0 4 0 16800975 18446604440278877184 0 0 -1 6 0 0 0
[pid=30906/tid=30921] ppid=30904 vsize=6432796 CPUtime=0.15 cores=4,6
/proc/30906/task/30921/stat : 30921 (java) S 30904 30906 30365 0 -1 4202560 718 0 0 0 15 0 0 0 15 0 18 0 891505243 6587183104 136206 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212699491225 0 4 0 16800975 18446604440278877184 0 0 -1 6 0 0 0
[pid=30906/tid=30922] ppid=30904 vsize=6432796 CPUtime=0.09 cores=4,6
/proc/30906/task/30922/stat : 30922 (java) R 30904 30906 30365 0 -1 4202560 1309 0 0 0 9 0 0 0 16 0 18 0 891505243 6587183104 136206 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 47652936693240 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=30906/tid=30923] ppid=30904 vsize=6432796 CPUtime=0 cores=4,6
/proc/30906/task/30923/stat : 30923 (java) S 30904 30906 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891505243 6587183104 136206 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212699491225 0 4 0 16800975 18446604440278877184 0 0 -1 6 0 0 0
[pid=30906/tid=30924] ppid=30904 vsize=6432796 CPUtime=0 cores=4,6
/proc/30906/task/30924/stat : 30924 (java) R 30904 30906 30365 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 891505243 6587183104 136206 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212699491840 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.75
Current children cumulated vsize (KiB) 6432796

[startup+3.10119 s]
/proc/loadavg: 1.43 1.14 0.70 6/240 30956
/proc/meminfo: memFree=29731460/32951124 swapFree=67076880/67111528
[pid=30906] ppid=30904 vsize=6435668 CPUtime=3.74 cores=4,6
/proc/30906/stat : 30906 (java) S 30904 30906 30365 0 -1 4202496 160490 0 1 0 354 20 0 0 22 0 19 0 891505237 6590124032 158181 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/30906/statm: 1608917 158181 2226 9 0 1599655 0
[pid=30906/tid=30907] ppid=30904 vsize=6435668 CPUtime=3.02 cores=4,6
/proc/30906/task/30907/stat : 30907 (java) R 30904 30906 30365 0 -1 4202560 155256 0 1 0 284 18 0 0 19 0 19 0 891505238 6590124032 158181 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212699491225 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=30906/tid=30909] ppid=30904 vsize=6435668 CPUtime=0 cores=4,6
/proc/30906/task/30909/stat : 30909 (java) S 30904 30906 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891505239 6590124032 158181 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212699491225 0 4 0 16800975 18446604440278877184 0 0 -1 6 0 0 0
[pid=30906/tid=30910] ppid=30904 vsize=6435668 CPUtime=0 cores=4,6
/proc/30906/task/30910/stat : 30910 (java) S 30904 30906 30365 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 891505239 6590124032 158181 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212699491225 0 4 0 16800975 18446604440278877184 0 0 -1 6 0 0 0
[pid=30906/tid=30911] ppid=30904 vsize=6435668 CPUtime=0 cores=4,6
/proc/30906/task/30911/stat : 30911 (java) S 30904 30906 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891505239 6590124032 158181 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212699491225 0 4 0 16800975 18446604440278877184 0 0 -1 6 0 0 0
[pid=30906/tid=30912] ppid=30904 vsize=6435668 CPUtime=0 cores=4,6
/proc/30906/task/30912/stat : 30912 (java) S 30904 30906 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891505239 6590124032 158181 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212699491225 0 4 0 16800975 18446604440278877184 0 0 -1 6 0 0 0
[pid=30906/tid=30913] ppid=30904 vsize=6435668 CPUtime=0 cores=4,6
/proc/30906/task/30913/stat : 30913 (java) S 30904 30906 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891505239 6590124032 158181 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212699491225 0 4 0 16800975 18446604440278877184 0 0 -1 6 0 0 0
[pid=30906/tid=30914] ppid=30904 vsize=6435668 CPUtime=0 cores=4,6
/proc/30906/task/30914/stat : 30914 (java) S 30904 30906 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891505239 6590124032 158181 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212699491225 0 4 0 16800975 18446604440278877184 0 0 -1 6 0 0 0
[pid=30906/tid=30915] ppid=30904 vsize=6435668 CPUtime=0 cores=4,6
/proc/30906/task/30915/stat : 30915 (java) S 30904 30906 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891505239 6590124032 158181 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212699491225 0 4 0 16800975 18446604440278877184 0 0 -1 6 0 0 0
[pid=30906/tid=30916] ppid=30904 vsize=6435668 CPUtime=0 cores=4,6
/proc/30906/task/30916/stat : 30916 (java) S 30904 30906 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891505239 6590124032 158181 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212699491225 0 4 0 16800975 18446604440278877184 0 0 -1 6 0 0 0
[pid=30906/tid=30917] ppid=30904 vsize=6435668 CPUtime=0 cores=4,6
/proc/30906/task/30917/stat : 30917 (java) S 30904 30906 30365 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 891505240 6590124032 158181 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212699491840 0 0 0 16800975 18446604440278877184 0 0 -1 6 0 0 0
[pid=30906/tid=30918] ppid=30904 vsize=6435668 CPUtime=0 cores=4,6
/proc/30906/task/30918/stat : 30918 (java) S 30904 30906 30365 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 891505240 6590124032 158181 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212699491225 0 4 0 16800975 18446604440278877184 0 0 -1 6 0 0 0
[pid=30906/tid=30919] ppid=30904 vsize=6435668 CPUtime=0 cores=4,6
/proc/30906/task/30919/stat : 30919 (java) S 30904 30906 30365 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 891505240 6590124032 158181 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212699491225 0 4 0 16800975 18446604440278877184 0 0 -1 6 0 0 0
[pid=30906/tid=30920] ppid=30904 vsize=6435668 CPUtime=0 cores=4,6
/proc/30906/task/30920/stat : 30920 (java) S 30904 30906 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891505243 6590124032 158181 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212699498929 0 4 0 16800975 18446604440278877184 0 0 -1 6 0 0 0
[pid=30906/tid=30921] ppid=30904 vsize=6435668 CPUtime=0.48 cores=4,6
/proc/30906/task/30921/stat : 30921 (java) S 30904 30906 30365 0 -1 4202560 2083 0 0 0 48 0 0 0 15 0 19 0 891505243 6590124032 158181 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212699491225 0 4 0 16800975 18446604440278877184 0 0 -1 4 0 0 0
[pid=30906/tid=30922] ppid=30904 vsize=6435668 CPUtime=0.21 cores=4,6
/proc/30906/task/30922/stat : 30922 (java) S 30904 30906 30365 0 -1 4202560 1988 0 0 0 21 0 0 0 16 0 19 0 891505243 6590124032 158181 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212699491225 0 4 0 16800975 18446604440278877184 0 0 -1 6 0 0 0
[pid=30906/tid=30923] ppid=30904 vsize=6435668 CPUtime=0 cores=4,6
/proc/30906/task/30923/stat : 30923 (java) S 30904 30906 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891505243 6590124032 158181 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212699491225 0 4 0 16800975 18446604440278877184 0 0 -1 6 0 0 0
[pid=30906/tid=30924] ppid=30904 vsize=6435668 CPUtime=0 cores=4,6
/proc/30906/task/30924/stat : 30924 (java) S 30904 30906 30365 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 891505243 6590124032 158181 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212699491840 0 4 0 16800975 18446604440278877184 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.74
Current children cumulated vsize (KiB) 6435668

[startup+6.3016 s]
/proc/loadavg: 1.64 1.19 0.72 6/260 31009
/proc/meminfo: memFree=27534700/32951124 swapFree=67076880/67111528
[pid=30906] ppid=30904 vsize=6433056 CPUtime=6.94 cores=4,6
/proc/30906/stat : 30906 (java) S 30904 30906 30365 0 -1 4202496 253293 0 1 0 664 30 0 0 22 0 19 0 891505237 6587449344 250227 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/30906/statm: 1608264 250227 2230 9 0 1599002 0
[pid=30906/tid=30907] ppid=30904 vsize=6433056 CPUtime=6.18 cores=4,6
/proc/30906/task/30907/stat : 30907 (java) R 30904 30906 30365 0 -1 4202560 248045 0 1 0 590 28 0 0 20 0 19 0 891505238 6587449344 250227 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 46912505696072 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=30906/tid=30909] ppid=30904 vsize=6433056 CPUtime=0 cores=4,6
/proc/30906/task/30909/stat : 30909 (java) S 30904 30906 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891505239 6587449344 250227 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212699491225 0 4 0 16800975 18446604440278877184 0 0 -1 6 0 0 0
[pid=30906/tid=30910] ppid=30904 vsize=6433056 CPUtime=0 cores=4,6
/proc/30906/task/30910/stat : 30910 (java) S 30904 30906 30365 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 891505239 6587449344 250227 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212699491225 0 4 0 16800975 18446604440278877184 0 0 -1 6 0 0 0
[pid=30906/tid=30911] ppid=30904 vsize=6433056 CPUtime=0 cores=4,6
/proc/30906/task/30911/stat : 30911 (java) S 30904 30906 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891505239 6587449344 250227 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212699491225 0 4 0 16800975 18446604440278877184 0 0 -1 6 0 0 0
[pid=30906/tid=30912] ppid=30904 vsize=6433056 CPUtime=0 cores=4,6
/proc/30906/task/30912/stat : 30912 (java) S 30904 30906 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891505239 6587449344 250227 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212699491225 0 4 0 16800975 18446604440278877184 0 0 -1 6 0 0 0
[pid=30906/tid=30913] ppid=30904 vsize=6433056 CPUtime=0 cores=4,6
/proc/30906/task/30913/stat : 30913 (java) S 30904 30906 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891505239 6587449344 250227 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212699491225 0 4 0 16800975 18446604440278877184 0 0 -1 6 0 0 0
[pid=30906/tid=30914] ppid=30904 vsize=6433056 CPUtime=0 cores=4,6
/proc/30906/task/30914/stat : 30914 (java) S 30904 30906 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891505239 6587449344 250227 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212699491225 0 4 0 16800975 18446604440278877184 0 0 -1 6 0 0 0
[pid=30906/tid=30915] ppid=30904 vsize=6433056 CPUtime=0 cores=4,6
/proc/30906/task/30915/stat : 30915 (java) S 30904 30906 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891505239 6587449344 250227 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212699491225 0 4 0 16800975 18446604440278877184 0 0 -1 6 0 0 0
[pid=30906/tid=30916] ppid=30904 vsize=6433056 CPUtime=0 cores=4,6
/proc/30906/task/30916/stat : 30916 (java) S 30904 30906 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891505239 6587449344 250227 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212699491225 0 4 0 16800975 18446604440278877184 0 0 -1 6 0 0 0
[pid=30906/tid=30917] ppid=30904 vsize=6433056 CPUtime=0 cores=4,6
/proc/30906/task/30917/stat : 30917 (java) S 30904 30906 30365 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 19 0 891505240 6587449344 250227 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212699491840 0 0 0 16800975 18446604440278877184 0 0 -1 6 0 0 0
[pid=30906/tid=30918] ppid=30904 vsize=6433056 CPUtime=0 cores=4,6
/proc/30906/task/30918/stat : 30918 (java) S 30904 30906 30365 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 891505240 6587449344 250227 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212699491225 0 4 0 16800975 18446604440278877184 0 0 -1 6 0 0 0
[pid=30906/tid=30919] ppid=30904 vsize=6433056 CPUtime=0 cores=4,6
/proc/30906/task/30919/stat : 30919 (java) S 30904 30906 30365 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 891505240 6587449344 250227 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212699491225 0 4 0 16800975 18446604440278877184 0 0 -1 6 0 0 0
[pid=30906/tid=30920] ppid=30904 vsize=6433056 CPUtime=0 cores=4,6
/proc/30906/task/30920/stat : 30920 (java) S 30904 30906 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891505243 6587449344 250227 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212699498929 0 4 0 16800975 18446604440278877184 0 0 -1 6 0 0 0
[pid=30906/tid=30921] ppid=30904 vsize=6433056 CPUtime=0.51 cores=4,6
/proc/30906/task/30921/stat : 30921 (java) S 30904 30906 30365 0 -1 4202560 2088 0 0 0 51 0 0 0 15 0 19 0 891505243 6587449344 250227 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212699491225 0 4 0 16800975 18446604440278877184 0 0 -1 4 0 0 0
[pid=30906/tid=30922] ppid=30904 vsize=6433056 CPUtime=0.21 cores=4,6
/proc/30906/task/30922/stat : 30922 (java) S 30904 30906 30365 0 -1 4202560 1988 0 0 0 21 0 0 0 16 0 19 0 891505243 6587449344 250227 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212699491225 0 4 0 16800975 18446604440278877184 0 0 -1 6 0 0 0
[pid=30906/tid=30923] ppid=30904 vsize=6433056 CPUtime=0 cores=4,6
/proc/30906/task/30923/stat : 30923 (java) S 30904 30906 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891505243 6587449344 250227 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212699491225 0 4 0 16800975 18446604440278877184 0 0 -1 6 0 0 0
[pid=30906/tid=30924] ppid=30904 vsize=6433056 CPUtime=0 cores=4,6
/proc/30906/task/30924/stat : 30924 (java) S 30904 30906 30365 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 891505243 6587449344 250227 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212699491840 0 4 0 16800975 18446604440278877184 0 0 -1 6 0 0 0

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

[pid=30906/tid=30911] ppid=30904 vsize=6433720 CPUtime=0.44 cores=4,6
/proc/30906/task/30911/stat : 30911 (java) S 30904 30906 30365 0 -1 4202560 547 0 0 0 44 0 0 0 15 0 18 0 891505239 6588129280 631307 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212699491225 0 4 0 16800975 18446604440278877184 0 0 -1 6 0 0 0
[pid=30906/tid=30912] ppid=30904 vsize=6433720 CPUtime=0.83 cores=4,6
/proc/30906/task/30912/stat : 30912 (java) S 30904 30906 30365 0 -1 4202560 27967 0 0 0 79 4 0 0 15 0 18 0 891505239 6588129280 631307 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212699491225 0 4 0 16800975 18446604440278877184 0 0 -1 6 0 0 0
[pid=30906/tid=30913] ppid=30904 vsize=6433720 CPUtime=0.76 cores=4,6
/proc/30906/task/30913/stat : 30913 (java) S 30904 30906 30365 0 -1 4202560 30203 0 0 0 72 4 0 0 15 0 18 0 891505239 6588129280 631307 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212699491225 0 4 0 16800975 18446604440278877184 0 0 -1 4 0 0 0
[pid=30906/tid=30914] ppid=30904 vsize=6433720 CPUtime=0.93 cores=4,6
/proc/30906/task/30914/stat : 30914 (java) S 30904 30906 30365 0 -1 4202560 46773 0 0 0 85 8 0 0 15 0 18 0 891505239 6588129280 631307 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212699491225 0 4 0 16800975 18446604440278877184 0 0 -1 6 0 0 0
[pid=30906/tid=30915] ppid=30904 vsize=6433720 CPUtime=0.77 cores=4,6
/proc/30906/task/30915/stat : 30915 (java) S 30904 30906 30365 0 -1 4202560 61842 0 0 0 69 8 0 0 16 0 18 0 891505239 6588129280 631307 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212699491225 0 4 0 16800975 18446604440278877184 0 0 -1 4 0 0 0
[pid=30906/tid=30916] ppid=30904 vsize=6433720 CPUtime=0.65 cores=4,6
/proc/30906/task/30916/stat : 30916 (java) S 30904 30906 30365 0 -1 4202560 43157 0 0 0 58 7 0 0 16 0 18 0 891505239 6588129280 631307 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212699491225 0 4 0 16800975 18446604440278877184 0 0 -1 6 0 0 0
[pid=30906/tid=30917] ppid=30904 vsize=6433720 CPUtime=0.01 cores=4,6
/proc/30906/task/30917/stat : 30917 (java) S 30904 30906 30365 0 -1 4202560 39 0 0 0 1 0 0 0 15 0 18 0 891505240 6588129280 631307 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212699491840 0 0 0 16800975 18446604440278877184 0 0 -1 4 0 0 0
[pid=30906/tid=30918] ppid=30904 vsize=6433720 CPUtime=0 cores=4,6
/proc/30906/task/30918/stat : 30918 (java) S 30904 30906 30365 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 18 0 891505240 6588129280 631307 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212699491225 0 4 0 16800975 18446604440278877184 0 0 -1 4 0 0 0
[pid=30906/tid=30919] ppid=30904 vsize=6433720 CPUtime=0 cores=4,6
/proc/30906/task/30919/stat : 30919 (java) S 30904 30906 30365 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 18 0 891505240 6588129280 631307 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212699491225 0 4 0 16800975 18446604440278877184 0 0 -1 6 0 0 0
[pid=30906/tid=30920] ppid=30904 vsize=6433720 CPUtime=0 cores=4,6
/proc/30906/task/30920/stat : 30920 (java) S 30904 30906 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891505243 6588129280 631307 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212699498929 0 4 0 16800975 18446604440278877184 0 0 -1 6 0 0 0
[pid=30906/tid=30921] ppid=30904 vsize=6433720 CPUtime=0.58 cores=4,6
/proc/30906/task/30921/stat : 30921 (java) S 30904 30906 30365 0 -1 4202560 2755 0 0 0 57 1 0 0 15 0 18 0 891505243 6588129280 631307 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212699491225 0 4 0 16800975 18446604440278877184 0 0 -1 4 0 0 0
[pid=30906/tid=30922] ppid=30904 vsize=6433720 CPUtime=0.21 cores=4,6
/proc/30906/task/30922/stat : 30922 (java) S 30904 30906 30365 0 -1 4202560 1988 0 0 0 21 0 0 0 16 0 18 0 891505243 6588129280 631307 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212699491225 0 4 0 16800975 18446604440278877184 0 0 -1 6 0 0 0
[pid=30906/tid=30923] ppid=30904 vsize=6433720 CPUtime=0 cores=4,6
/proc/30906/task/30923/stat : 30923 (java) S 30904 30906 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891505243 6588129280 631307 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212699491225 0 4 0 16800975 18446604440278877184 0 0 -1 6 0 0 0
[pid=30906/tid=30924] ppid=30904 vsize=6433720 CPUtime=0 cores=4,6
/proc/30906/task/30924/stat : 30924 (java) S 30904 30906 30365 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 18 0 891505243 6588129280 631307 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212699491840 0 4 0 16800975 18446604440278877184 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 253.32
Current children cumulated vsize (KiB) 6433720

[startup+251.301 s]
/proc/loadavg: 4.24 2.96 1.56 5/259 14245
/proc/meminfo: memFree=22180880/32951124 swapFree=67076880/67111528
[pid=30906] ppid=30904 vsize=6446416 CPUtime=255.06 cores=4,6
/proc/30906/stat : 30906 (java) S 30904 30906 30365 0 -1 4202496 645375 0 1 0 25416 90 0 0 22 0 18 0 891505237 6601129984 634105 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/30906/statm: 1611604 634105 2244 9 0 1602342 0
[pid=30906/tid=30907] ppid=30904 vsize=6446416 CPUtime=248.09 cores=4,6
/proc/30906/task/30907/stat : 30907 (java) R 30904 30906 30365 0 -1 4202560 391645 0 1 0 24763 46 0 0 21 0 18 0 891505238 6601129984 634105 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 46912505604350 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=30906/tid=30909] ppid=30904 vsize=6446416 CPUtime=1.05 cores=4,6
/proc/30906/task/30909/stat : 30909 (java) S 30904 30906 30365 0 -1 4202560 33567 0 0 0 101 4 0 0 15 0 18 0 891505239 6601129984 634105 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212699491225 0 4 0 16800975 18446604440278877184 0 0 -1 4 0 0 0
[pid=30906/tid=30910] ppid=30904 vsize=6446416 CPUtime=0.35 cores=4,6
/proc/30906/task/30910/stat : 30910 (java) S 30904 30906 30365 0 -1 4202560 21 0 0 0 35 0 0 0 15 0 18 0 891505239 6601129984 634105 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212699491225 0 4 0 16800975 18446604440278877184 0 0 -1 6 0 0 0
[pid=30906/tid=30911] ppid=30904 vsize=6446416 CPUtime=0.44 cores=4,6
/proc/30906/task/30911/stat : 30911 (java) S 30904 30906 30365 0 -1 4202560 547 0 0 0 44 0 0 0 15 0 18 0 891505239 6601129984 634105 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212699491225 0 4 0 16800975 18446604440278877184 0 0 -1 6 0 0 0
[pid=30906/tid=30912] ppid=30904 vsize=6446416 CPUtime=0.83 cores=4,6
/proc/30906/task/30912/stat : 30912 (java) S 30904 30906 30365 0 -1 4202560 27967 0 0 0 79 4 0 0 15 0 18 0 891505239 6601129984 634105 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212699491225 0 4 0 16800975 18446604440278877184 0 0 -1 6 0 0 0
[pid=30906/tid=30913] ppid=30904 vsize=6446416 CPUtime=0.76 cores=4,6
/proc/30906/task/30913/stat : 30913 (java) S 30904 30906 30365 0 -1 4202560 30203 0 0 0 72 4 0 0 15 0 18 0 891505239 6601129984 634105 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212699491225 0 4 0 16800975 18446604440278877184 0 0 -1 4 0 0 0
[pid=30906/tid=30914] ppid=30904 vsize=6446416 CPUtime=0.93 cores=4,6
/proc/30906/task/30914/stat : 30914 (java) S 30904 30906 30365 0 -1 4202560 46773 0 0 0 85 8 0 0 15 0 18 0 891505239 6601129984 634105 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212699491225 0 4 0 16800975 18446604440278877184 0 0 -1 6 0 0 0
[pid=30906/tid=30915] ppid=30904 vsize=6446416 CPUtime=0.77 cores=4,6
/proc/30906/task/30915/stat : 30915 (java) S 30904 30906 30365 0 -1 4202560 61842 0 0 0 69 8 0 0 16 0 18 0 891505239 6601129984 634105 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212699491225 0 4 0 16800975 18446604440278877184 0 0 -1 4 0 0 0
[pid=30906/tid=30916] ppid=30904 vsize=6446416 CPUtime=0.65 cores=4,6
/proc/30906/task/30916/stat : 30916 (java) S 30904 30906 30365 0 -1 4202560 43157 0 0 0 58 7 0 0 16 0 18 0 891505239 6601129984 634105 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212699491225 0 4 0 16800975 18446604440278877184 0 0 -1 6 0 0 0
[pid=30906/tid=30917] ppid=30904 vsize=6446416 CPUtime=0.01 cores=4,6
/proc/30906/task/30917/stat : 30917 (java) S 30904 30906 30365 0 -1 4202560 39 0 0 0 1 0 0 0 15 0 18 0 891505240 6601129984 634105 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212699491840 0 0 0 16800975 18446604440278877184 0 0 -1 4 0 0 0
[pid=30906/tid=30918] ppid=30904 vsize=6446416 CPUtime=0 cores=4,6
/proc/30906/task/30918/stat : 30918 (java) S 30904 30906 30365 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 18 0 891505240 6601129984 634105 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212699491225 0 4 0 16800975 18446604440278877184 0 0 -1 4 0 0 0
[pid=30906/tid=30919] ppid=30904 vsize=6446416 CPUtime=0 cores=4,6
/proc/30906/task/30919/stat : 30919 (java) S 30904 30906 30365 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 18 0 891505240 6601129984 634105 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212699491225 0 4 0 16800975 18446604440278877184 0 0 -1 6 0 0 0
[pid=30906/tid=30920] ppid=30904 vsize=6446416 CPUtime=0 cores=4,6
/proc/30906/task/30920/stat : 30920 (java) S 30904 30906 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891505243 6601129984 634105 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212699498929 0 4 0 16800975 18446604440278877184 0 0 -1 6 0 0 0
[pid=30906/tid=30921] ppid=30904 vsize=6446416 CPUtime=0.74 cores=4,6
/proc/30906/task/30921/stat : 30921 (java) S 30904 30906 30365 0 -1 4202560 6343 0 0 0 73 1 0 0 16 0 18 0 891505243 6601129984 634105 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212699491225 0 4 0 16800975 18446604440278877184 0 0 -1 4 0 0 0
[pid=30906/tid=30922] ppid=30904 vsize=6446416 CPUtime=0.21 cores=4,6
/proc/30906/task/30922/stat : 30922 (java) S 30904 30906 30365 0 -1 4202560 1991 0 0 0 21 0 0 0 15 0 18 0 891505243 6601129984 634105 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212699491225 0 4 0 16800975 18446604440278877184 0 0 -1 6 0 0 0
[pid=30906/tid=30923] ppid=30904 vsize=6446416 CPUtime=0 cores=4,6
/proc/30906/task/30923/stat : 30923 (java) S 30904 30906 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891505243 6601129984 634105 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212699491225 0 4 0 16800975 18446604440278877184 0 0 -1 6 0 0 0
[pid=30906/tid=30924] ppid=30904 vsize=6446416 CPUtime=0 cores=4,6
/proc/30906/task/30924/stat : 30924 (java) S 30904 30906 30365 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 18 0 891505243 6601129984 634105 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212699491840 0 4 0 16800975 18446604440278877184 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 255.06
Current children cumulated vsize (KiB) 6446416

[startup+252.107 s]
/proc/loadavg: 4.24 2.96 1.56 5/260 14329
/proc/meminfo: memFree=22169588/32951124 swapFree=67076880/67111528
[pid=30906] ppid=30904 vsize=6446416 CPUtime=255.86 cores=4,6
/proc/30906/stat : 30906 (java) S 30904 30906 30365 0 -1 4202496 645396 0 1 0 25496 90 0 0 22 0 18 0 891505237 6601129984 634126 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/30906/statm: 1611604 634126 2244 9 0 1602342 0
[pid=30906/tid=30907] ppid=30904 vsize=6446416 CPUtime=248.88 cores=4,6
/proc/30906/task/30907/stat : 30907 (java) R 30904 30906 30365 0 -1 4202560 391648 0 1 0 24842 46 0 0 25 0 18 0 891505238 6601129984 634126 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 46912505817367 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=30906/tid=30909] ppid=30904 vsize=6446416 CPUtime=1.05 cores=4,6
/proc/30906/task/30909/stat : 30909 (java) S 30904 30906 30365 0 -1 4202560 33567 0 0 0 101 4 0 0 15 0 18 0 891505239 6601129984 634126 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212699491225 0 4 0 16800975 18446604440278877184 0 0 -1 4 0 0 0
[pid=30906/tid=30910] ppid=30904 vsize=6446416 CPUtime=0.35 cores=4,6
/proc/30906/task/30910/stat : 30910 (java) S 30904 30906 30365 0 -1 4202560 21 0 0 0 35 0 0 0 15 0 18 0 891505239 6601129984 634126 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212699491225 0 4 0 16800975 18446604440278877184 0 0 -1 6 0 0 0
[pid=30906/tid=30911] ppid=30904 vsize=6446416 CPUtime=0.44 cores=4,6
/proc/30906/task/30911/stat : 30911 (java) S 30904 30906 30365 0 -1 4202560 547 0 0 0 44 0 0 0 15 0 18 0 891505239 6601129984 634126 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212699491225 0 4 0 16800975 18446604440278877184 0 0 -1 6 0 0 0
[pid=30906/tid=30912] ppid=30904 vsize=6446416 CPUtime=0.83 cores=4,6
/proc/30906/task/30912/stat : 30912 (java) S 30904 30906 30365 0 -1 4202560 27967 0 0 0 79 4 0 0 15 0 18 0 891505239 6601129984 634126 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212699491225 0 4 0 16800975 18446604440278877184 0 0 -1 6 0 0 0
[pid=30906/tid=30913] ppid=30904 vsize=6446416 CPUtime=0.76 cores=4,6
/proc/30906/task/30913/stat : 30913 (java) S 30904 30906 30365 0 -1 4202560 30203 0 0 0 72 4 0 0 15 0 18 0 891505239 6601129984 634126 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212699491225 0 4 0 16800975 18446604440278877184 0 0 -1 4 0 0 0
[pid=30906/tid=30914] ppid=30904 vsize=6446416 CPUtime=0.93 cores=4,6
/proc/30906/task/30914/stat : 30914 (java) S 30904 30906 30365 0 -1 4202560 46773 0 0 0 85 8 0 0 15 0 18 0 891505239 6601129984 634126 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212699491225 0 4 0 16800975 18446604440278877184 0 0 -1 6 0 0 0
[pid=30906/tid=30915] ppid=30904 vsize=6446416 CPUtime=0.77 cores=4,6
/proc/30906/task/30915/stat : 30915 (java) S 30904 30906 30365 0 -1 4202560 61842 0 0 0 69 8 0 0 16 0 18 0 891505239 6601129984 634126 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212699491225 0 4 0 16800975 18446604440278877184 0 0 -1 4 0 0 0
[pid=30906/tid=30916] ppid=30904 vsize=6446416 CPUtime=0.65 cores=4,6
/proc/30906/task/30916/stat : 30916 (java) S 30904 30906 30365 0 -1 4202560 43157 0 0 0 58 7 0 0 16 0 18 0 891505239 6601129984 634126 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212699491225 0 4 0 16800975 18446604440278877184 0 0 -1 6 0 0 0
[pid=30906/tid=30917] ppid=30904 vsize=6446416 CPUtime=0.01 cores=4,6
/proc/30906/task/30917/stat : 30917 (java) S 30904 30906 30365 0 -1 4202560 39 0 0 0 1 0 0 0 16 0 18 0 891505240 6601129984 634126 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212699491840 0 0 0 16800975 18446604440278877184 0 0 -1 4 0 0 0
[pid=30906/tid=30918] ppid=30904 vsize=6446416 CPUtime=0 cores=4,6
/proc/30906/task/30918/stat : 30918 (java) S 30904 30906 30365 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 18 0 891505240 6601129984 634126 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212699491225 0 4 0 16800975 18446604440278877184 0 0 -1 4 0 0 0
[pid=30906/tid=30919] ppid=30904 vsize=6446416 CPUtime=0 cores=4,6
/proc/30906/task/30919/stat : 30919 (java) S 30904 30906 30365 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 18 0 891505240 6601129984 634126 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212699491225 0 4 0 16800975 18446604440278877184 0 0 -1 6 0 0 0
[pid=30906/tid=30920] ppid=30904 vsize=6446416 CPUtime=0 cores=4,6
/proc/30906/task/30920/stat : 30920 (java) S 30904 30906 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891505243 6601129984 634126 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212699498929 0 4 0 16800975 18446604440278877184 0 0 -1 6 0 0 0
[pid=30906/tid=30921] ppid=30904 vsize=6446416 CPUtime=0.74 cores=4,6
/proc/30906/task/30921/stat : 30921 (java) S 30904 30906 30365 0 -1 4202560 6343 0 0 0 73 1 0 0 15 0 18 0 891505243 6601129984 634126 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212699491225 0 4 0 16800975 18446604440278877184 0 0 -1 4 0 0 0
[pid=30906/tid=30922] ppid=30904 vsize=6446416 CPUtime=0.23 cores=4,6
/proc/30906/task/30922/stat : 30922 (java) S 30904 30906 30365 0 -1 4202560 2009 0 0 0 23 0 0 0 16 0 18 0 891505243 6601129984 634126 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212699491225 0 4 0 16800975 18446604440278877184 0 0 -1 6 0 0 0
[pid=30906/tid=30923] ppid=30904 vsize=6446416 CPUtime=0 cores=4,6
/proc/30906/task/30923/stat : 30923 (java) S 30904 30906 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891505243 6601129984 634126 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212699491225 0 4 0 16800975 18446604440278877184 0 0 -1 6 0 0 0
[pid=30906/tid=30924] ppid=30904 vsize=6446416 CPUtime=0 cores=4,6
/proc/30906/task/30924/stat : 30924 (java) S 30904 30906 30365 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 18 0 891505243 6601129984 634126 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212699491840 0 4 0 16800975 18446604440278877184 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 255.86
Current children cumulated vsize (KiB) 6446416

[startup+252.902 s]
/proc/loadavg: 4.24 2.96 1.56 5/260 14329
/proc/meminfo: memFree=22169588/32951124 swapFree=67076880/67111528
[pid=30906] ppid=30904 vsize=6446416 CPUtime=256.65 cores=4,6
/proc/30906/stat : 30906 (java) S 30904 30906 30365 0 -1 4202496 645396 0 1 0 25575 90 0 0 22 0 18 0 891505237 6601129984 634126 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/30906/statm: 1611604 634126 2244 9 0 1602342 0
[pid=30906/tid=30907] ppid=30904 vsize=6446416 CPUtime=249.67 cores=4,6
/proc/30906/task/30907/stat : 30907 (java) R 30904 30906 30365 0 -1 4202560 391648 0 1 0 24921 46 0 0 25 0 18 0 891505238 6601129984 634126 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 46912505817367 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=30906/tid=30909] ppid=30904 vsize=6446416 CPUtime=1.05 cores=4,6
/proc/30906/task/30909/stat : 30909 (java) S 30904 30906 30365 0 -1 4202560 33567 0 0 0 101 4 0 0 15 0 18 0 891505239 6601129984 634126 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212699491225 0 4 0 16800975 18446604440278877184 0 0 -1 4 0 0 0
[pid=30906/tid=30910] ppid=30904 vsize=6446416 CPUtime=0.35 cores=4,6
/proc/30906/task/30910/stat : 30910 (java) S 30904 30906 30365 0 -1 4202560 21 0 0 0 35 0 0 0 15 0 18 0 891505239 6601129984 634126 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212699491225 0 4 0 16800975 18446604440278877184 0 0 -1 6 0 0 0
[pid=30906/tid=30911] ppid=30904 vsize=6446416 CPUtime=0.44 cores=4,6
/proc/30906/task/30911/stat : 30911 (java) S 30904 30906 30365 0 -1 4202560 547 0 0 0 44 0 0 0 15 0 18 0 891505239 6601129984 634126 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212699491225 0 4 0 16800975 18446604440278877184 0 0 -1 6 0 0 0
[pid=30906/tid=30912] ppid=30904 vsize=6446416 CPUtime=0.83 cores=4,6
/proc/30906/task/30912/stat : 30912 (java) S 30904 30906 30365 0 -1 4202560 27967 0 0 0 79 4 0 0 15 0 18 0 891505239 6601129984 634126 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212699491225 0 4 0 16800975 18446604440278877184 0 0 -1 6 0 0 0
[pid=30906/tid=30913] ppid=30904 vsize=6446416 CPUtime=0.76 cores=4,6
/proc/30906/task/30913/stat : 30913 (java) S 30904 30906 30365 0 -1 4202560 30203 0 0 0 72 4 0 0 15 0 18 0 891505239 6601129984 634126 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212699491225 0 4 0 16800975 18446604440278877184 0 0 -1 4 0 0 0
[pid=30906/tid=30914] ppid=30904 vsize=6446416 CPUtime=0.93 cores=4,6
/proc/30906/task/30914/stat : 30914 (java) S 30904 30906 30365 0 -1 4202560 46773 0 0 0 85 8 0 0 15 0 18 0 891505239 6601129984 634126 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212699491225 0 4 0 16800975 18446604440278877184 0 0 -1 6 0 0 0
[pid=30906/tid=30915] ppid=30904 vsize=6446416 CPUtime=0.77 cores=4,6
/proc/30906/task/30915/stat : 30915 (java) S 30904 30906 30365 0 -1 4202560 61842 0 0 0 69 8 0 0 16 0 18 0 891505239 6601129984 634126 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212699491225 0 4 0 16800975 18446604440278877184 0 0 -1 4 0 0 0
[pid=30906/tid=30916] ppid=30904 vsize=6446416 CPUtime=0.65 cores=4,6
/proc/30906/task/30916/stat : 30916 (java) S 30904 30906 30365 0 -1 4202560 43157 0 0 0 58 7 0 0 16 0 18 0 891505239 6601129984 634126 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212699491225 0 4 0 16800975 18446604440278877184 0 0 -1 6 0 0 0
[pid=30906/tid=30917] ppid=30904 vsize=6446416 CPUtime=0.01 cores=4,6
/proc/30906/task/30917/stat : 30917 (java) S 30904 30906 30365 0 -1 4202560 39 0 0 0 1 0 0 0 15 0 18 0 891505240 6601129984 634126 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212699491840 0 0 0 16800975 18446604440278877184 0 0 -1 4 0 0 0
[pid=30906/tid=30918] ppid=30904 vsize=6446416 CPUtime=0 cores=4,6
/proc/30906/task/30918/stat : 30918 (java) S 30904 30906 30365 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 18 0 891505240 6601129984 634126 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212699491225 0 4 0 16800975 18446604440278877184 0 0 -1 4 0 0 0
[pid=30906/tid=30919] ppid=30904 vsize=6446416 CPUtime=0 cores=4,6
/proc/30906/task/30919/stat : 30919 (java) S 30904 30906 30365 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 18 0 891505240 6601129984 634126 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212699491225 0 4 0 16800975 18446604440278877184 0 0 -1 6 0 0 0
[pid=30906/tid=30920] ppid=30904 vsize=6446416 CPUtime=0 cores=4,6
/proc/30906/task/30920/stat : 30920 (java) S 30904 30906 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891505243 6601129984 634126 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212699498929 0 4 0 16800975 18446604440278877184 0 0 -1 6 0 0 0
[pid=30906/tid=30921] ppid=30904 vsize=6446416 CPUtime=0.74 cores=4,6
/proc/30906/task/30921/stat : 30921 (java) S 30904 30906 30365 0 -1 4202560 6343 0 0 0 73 1 0 0 15 0 18 0 891505243 6601129984 634126 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212699491225 0 4 0 16800975 18446604440278877184 0 0 -1 4 0 0 0
[pid=30906/tid=30922] ppid=30904 vsize=6446416 CPUtime=0.23 cores=4,6
/proc/30906/task/30922/stat : 30922 (java) S 30904 30906 30365 0 -1 4202560 2009 0 0 0 23 0 0 0 16 0 18 0 891505243 6601129984 634126 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212699491225 0 4 0 16800975 18446604440278877184 0 0 -1 6 0 0 0
[pid=30906/tid=30923] ppid=30904 vsize=6446416 CPUtime=0 cores=4,6
/proc/30906/task/30923/stat : 30923 (java) S 30904 30906 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891505243 6601129984 634126 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212699491225 0 4 0 16800975 18446604440278877184 0 0 -1 6 0 0 0
[pid=30906/tid=30924] ppid=30904 vsize=6446416 CPUtime=0 cores=4,6
/proc/30906/task/30924/stat : 30924 (java) S 30904 30906 30365 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 18 0 891505243 6601129984 634126 33554432000 1073741824 1073778376 140733302423696 18446744073709551615 212699491840 0 4 0 16800975 18446604440278877184 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 256.65
Current children cumulated vsize (KiB) 6446416

[startup+253.302 s]
/proc/loadavg: 4.24 2.96 1.56 5/260 14396
/proc/meminfo: memFree=22169588/32951124 swapFree=67076880/67111528
[pid=30906] ppid=30904 vsize=0 CPUtime=257.05 cores=4,6
/proc/30906/stat : 30906 (java) Z 30904 30906 30365 0 -1 4203548 645409 0 1 0 25613 92 0 0 18 0 2 0 891505237 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/30906/statm: 0 0 0 0 0 0 0
[pid=30906/tid=30923] ppid=30904 vsize=0 CPUtime=0.02 cores=4,6
/proc/30906/task/30923/stat : 30923 (java) R 30904 30906 30365 0 -1 4203588 1 0 0 0 0 2 0 0 18 0 2 0 891505243 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 257.05
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 253.374
CPU time (s): 257.135
CPU user time (s): 256.135
CPU system time (s): 0.999848
CPU usage (%): 101.484
Max. virtual memory (cumulated for all children) (KiB): 6446416

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 256.135
system time used= 0.999848
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 645409
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= 9890
involuntary context switches= 3436

runsolver used 0.471928 second user time and 0.965853 second system time

The end

Begin job on node139 at 2011-06-11 15:31:15
IDJOB=3493376
IDBENCH=89449
IDSOLVER=1972
FILE ID=node139/3493376-1307799074
RUNJOBID= node139-1307799074-30852
PBS_JOBID= 13551009
Free space on /tmp= 74076 MiB

SOLVER NAME= SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06
BENCH NAME= SAT11/mus/marques-silva/design-debugging/rsdecoder_fsm1.dimacs.filtered.cnf
COMMAND LINE= java -Xms6000m -Xmx6000m -jar sat4j-mus-v20110206.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3493376-1307799074/watcher-3493376-1307799074 -o /tmp/evaluation-result-3493376-1307799074/solver-3493376-1307799074 -C 1800 -W 1850 -M 7680  java -Xms6000m -Xmx6000m -jar sat4j-mus-v20110206.jar HOME/instance-3493376-1307799074.cnf

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

MD5SUM BENCH= e6ce19fa5965678f7cd033b31f97f267
RANDOM SEED=862517091

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.852
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31222024 kB
Buffers:        288064 kB
Cached:        1122392 kB
SwapCached:       3520 kB
Active:         667800 kB
Inactive:       846320 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31222024 kB
SwapTotal:    67111528 kB
SwapFree:     67076880 kB
Dirty:           59800 kB
Writeback:           0 kB
AnonPages:      101020 kB
Mapped:          21712 kB
Slab:           148752 kB
PageTables:       5336 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  6437080 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= 74024 MiB
End job on node139 at 2011-06-11 15:35:28