0.05/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.05/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.05/0.06	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.05/0.09	c Explanation (MUS) enabled solver
0.05/0.09	c QuickXplain (AAAI 2004 version) minimization strategy
0.05/0.09	c --- Begin Solver configuration ---
0.05/0.09	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@aa470b8
0.05/0.09	c Learn all clauses as in MiniSAT
0.05/0.09	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 
0.05/0.09	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT
0.05/0.09	c Expensive reason simplification
0.05/0.09	c Armin Biere (Picosat) restarts strategy
0.05/0.09	c Glucose learned constraints deletion strategy
0.05/0.09	c timeout=2147483647s
0.05/0.09	c DB Simplification allowed=true
0.05/0.09	c --- End Solver configuration ---
0.05/0.09	c solving HOME/instance-3493252-1307798890.cnf
0.05/0.09	c reading problem ... 
3.29/2.90	c ... done. Wall clock time 2.812s.
3.29/2.90	c #vars     3393599
3.29/2.90	c #constraints  2529120
3.29/2.90	c constraints type 
3.29/2.90	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2527352
3.29/2.90	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1768
4.38/3.86	c Unsat detection wall clock time (in seconds) : 3.769
4.38/3.86	c Size of initial unsat subformula: 604
4.38/3.86	c Computing MUS ...
4.38/3.86	c initial unsat core 864478[?] 3393591[?] 161748[?] 3393590[?] -864478[?]  -161749[?] 246316[?] 3393588[?]  -246317[?] 334902[?] 3393586[?]  -334903[?] 423794[?] 3393584[?]  -423795[?] 512647[?] 3393582[?]  -512648[?] 601512[?] 3393580[?]  -601513[?] 690249[?] 3393578[?]  -690250[?] 3393576[?] -701479[?] 3358929[?] -670067[?] 3344701[?] -618685[?] 703191[?] 3344496[?]  -703201[?] 3344494[?] -618701[?] 3344477[?] 703207[?]  -703217[?] 3344475[?] -618716[?] 703222[?] 3344458[?]  -703232[?] 3344456[?] -618732[?] 3344439[?] 703238[?]  -703248[?] 3344437[?] -618748[?] 703254[?] 3344420[?]  -703264[?] 3344418[?] -618764[?] 703270[?] 3344401[?]  -703280[?] 3344399[?] -618780[?] 703286[?] 3344382[?]  -703296[?] 3344380[?] -618796[?] 703302[?] 3344363[?]  -703312[?] 3344361[?] -618812[?] 3344344[?] 703318[?]  -703328[?] 3344342[?] -618827[?] 703333[?] 3344325[?]  -703343[?] 3344323[?] -618842[?] 703348[?] 3344306[?]  -703358[?] 3344304[?] -618857[?] 3344287[?] 703363[?]  -703373[?] 3344285[?] -618872[?] 3344268[?] 703378[?]  -703388[?] 3344266[?] -618887[?] 703393[?] 3344249[?]  -703403[?] 3344247[?] -498981[?] 3342037[?] 537246[?]  -537251[?] 3342035[?] 626086[?]  -626091[?] 3342033[?] 423799[?] -161752[?] 3341520[?]  512652[?] -246320[?] 3341518[?]  -334906[?] 588424[?] 3341516[?]  -423798[?] 677161[?] 3341514[?]  -512651[?] 776704[?] 3341512[?]  -601516[?] 3341510[?] 776712[?]  -690253[?] 3341508[?] -413729[?] 502576[?] 3330148[?]  -502582[?] 544113[?] 3330146[?]  -544119[?] 632953[?] 3330144[?]  -632959[?] 716527[?] 3330142[?]  -716533[?] 3330140[?] 413796[?] 502583[?] 3330129[?]  502649[?] 544120[?] 3330127[?]  544186[?] 632960[?] 3330125[?]  633026[?] 716534[?] 3330123[?]  -716600[?] 3330121[?] -89231[?] 863921[?] 3313534[?]  -863921[?] 3313517[?] 746461[?] 670067[?] 3139850[?]  629771[?] 701479[?] 3139846[?]  746462[?] 670067[?] 3139259[?]  629715[?] 701479[?] 3139255[?]  703317[?] -746461[?] 3136801[?]  703301[?] -746462[?] 3134152[?]  746458[?] 670067[?] 3132971[?]  629827[?] 701479[?] 3132967[?]  703285[?] -746458[?] 3131266[?]  746455[?] 670067[?] 3128861[?]  629883[?] 701479[?] 3128857[?]  703269[?] -746455[?] 3127156[?]  746452[?] 670067[?] 3124343[?]  629939[?] 701479[?] 3124339[?]  703253[?] -746452[?] 3122230[?]  746449[?] 670067[?] 3119009[?]  629341[?] 701479[?] 3119005[?]  703237[?] -746449[?] 3116896[?]  746446[?] 670067[?] 3114491[?]  629285[?] 701479[?] 3114487[?]  703206[?] -746446[?] 3112402[?]  -758608[?] 716600[?] 716533[?] 3070458[?]  716772[?] 758608[?] 3070457[?]  -758594[?] -633026[?] 632959[?] 3070329[?]  633198[?] 758594[?] 3070328[?]  776713[?] 690253[?] 3050935[?]  776717[?] -716772[?] 3050932[?]  776718[?] 690253[?] 3050929[?]  -776716[?] -776718[?] -776717[?] 3050925[?]  776715[?] 776716[?] 3050924[?]  776714[?] -776715[?] 3050920[?]  -776712[?] -776714[?] -776713[?] 3050916[?]  776705[?] 601516[?] 3050914[?]  776709[?] -633198[?] 3050911[?]  776710[?] 601516[?] 3050908[?]  -776708[?] -776709[?] -776710[?] 3050904[?]  776707[?] 776708[?] 3050903[?]  776706[?] -776707[?] 3050899[?]  -776704[?] -776706[?] -776705[?] 3050895[?]  671805[?] 703403[?] 3049393[?]  775409[?] -671805[?] 3049391[?]  671804[?] 703388[?] 3049093[?]  775226[?] -671804[?] 3049091[?]  775414[?] -775409[?] 3049087[?]  775413[?] -775409[?] 3049085[?]  775225[?] -775226[?] 3049082[?]  671801[?] 703373[?] 3048781[?]  775221[?] -671801[?] 3048779[?]  775218[?] -775221[?] 3048776[?]  671798[?] 703358[?] 3048475[?]  775212[?] -671798[?] 3048473[?]  775209[?] -775212[?] 3048470[?]  671795[?] 703343[?] 3048169[?]  775203[?] -671795[?] 3048167[?]  775200[?] -775203[?] 3048164[?]  671792[?] 703328[?] 3047863[?]  775194[?] -671792[?] 3047861[?]  775191[?] -775194[?] 3047858[?]  671789[?] 703312[?] 3047557[?]  775168[?] -671789[?] 3047555[?]  775165[?] -775168[?] 3047552[?]  671786[?] 703296[?] 3047251[?]  775176[?] -671786[?] 3047249[?]  775173[?] -775176[?] 3047246[?]  671783[?] 703280[?] 3046945[?]  775158[?] -671783[?] 3046943[?]  775155[?] -775158[?] 3046940[?]  671780[?] 703264[?] 3046639[?]  775148[?] -671780[?] 3046637[?]  775145[?] -775148[?] 3046634[?]  671777[?] 703248[?] 3046333[?]  775138[?] -671777[?] 3046331[?]  775135[?] -775138[?] 3046328[?]  671774[?] 703232[?] 3046027[?]  775128[?] -671774[?] 3046025[?]  775410[?] -775414[?] 3046015[?]  775412[?] -775413[?] 3046012[?]  775411[?] -775412[?] 3046009[?]  -671886[?] -775410[?] -775411[?] 3046005[?]  -775222[?] -775226[?] -775409[?] 3046002[?]  -775213[?] 775222[?] -775221[?] 3045999[?]  -775204[?] 775213[?] -775212[?] 3045996[?]  -775195[?] 775204[?] -775203[?] 3045993[?]  -775169[?] 775195[?] -775194[?] 3045990[?]  -775177[?] 775169[?] -775168[?] 3045987[?]  -775159[?] 775177[?] -775176[?] 3045984[?]  -775149[?] -775158[?] 775159[?] 3045981[?]  -775139[?] -775148[?] 775149[?] 3045978[?]  -775129[?] 775139[?] -775138[?] 3045975[?]  -612631[?] -775128[?] 775129[?] 3045972[?]  775184[?] 612631[?] 3045971[?]  612698[?] 703201[?] 3045670[?]  774973[?] -612698[?] 3045668[?]  612697[?] 703217[?] 3045370[?]  774974[?] -612697[?] 3045368[?]  775227[?] 612631[?] 3045356[?]  -612649[?] -775184[?] -775227[?] 3045351[?]  703027[?] 671886[?] 3045349[?]  775223[?] -775226[?] 3045346[?]  775224[?] -775225[?] 3045343[?]  -671824[?] -775224[?] -775223[?] 3045339[?]  703026[?] 671824[?] 3045337[?]  -775214[?] -703026[?] -703027[?] 3045333[?]  775220[?] -775221[?] 3045331[?]  775215[?] -775220[?] 3045328[?]  775217[?] -775218[?] 3045325[?]  775216[?] -775217[?] 3045322[?]  -671895[?] -775216[?] -775215[?] 3045318[?]  703023[?] 671895[?] 3045316[?]  -775205[?] 775214[?] -703023[?] 3045312[?]  775211[?] -775212[?] 3045310[?]  775206[?] -775211[?] 3045307[?]  775208[?] -775209[?] 3045304[?]  775207[?] -775208[?] 3045301[?]  -671904[?] -775207[?] -775206[?] 3045297[?]  703020[?] 671904[?] 3045295[?]  -775196[?] 775205[?] -703020[?] 3045291[?]  775202[?] -775203[?] 3045289[?]  775197[?] -775202[?] 3045286[?]  775199[?] -775200[?] 3045283[?]  775198[?] -775199[?] 3045280[?]  -671913[?] -775198[?] -775197[?] 3045276[?]  703017[?] 671913[?] 3045274[?]  -775187[?] 775196[?] -703017[?] 3045270[?]  775193[?] -775194[?] 3045268[?]  775188[?] -775193[?] 3045265[?]  775190[?] -775191[?] 3045262[?]  775189[?] -775190[?] 3045259[?]  -671922[?] -775189[?] -775188[?] 3045255[?]  703014[?] 671922[?] 3045253[?]  -775178[?] 775187[?] -703014[?] 3045249[?]  774971[?] -774974[?] 3045248[?]  774970[?] -774973[?] 3045245[?]  775186[?] -774974[?] 3045238[?]  -612715[?] -774971[?] -775186[?] 3045234[?]  626084[?] 612715[?] 3045217[?]  -774964[?] -626084[?] 775178[?] 3045213[?]  775175[?] -775176[?] 3045211[?]  775170[?] -775175[?] 3045208[?]  775172[?] -775173[?] 3045205[?]  775171[?] -775172[?] 3045202[?]  -671933[?] -775171[?] -775170[?] 3045198[?]  703008[?] 671933[?] 3045196[?]  775167[?] -775168[?] 3045190[?]  775162[?] -775167[?] 3045187[?]  775164[?] -775165[?] 3045184[?]  775163[?] -775164[?] 3045181[?]  -671929[?] -775163[?] -775162[?] 3045177[?]  703011[?] 671929[?] 3045175[?]  775157[?] -775158[?] 3045166[?]  775152[?] -775157[?] 3045163[?]  775154[?] -775155[?] 3045160[?]  775153[?] -775154[?] 3045157[?]  -671944[?] -775153[?] -775152[?] 3045153[?]  703005[?] 671944[?] 3045151[?]  775147[?] -775148[?] 3045142[?]  775142[?] -775147[?] 3045139[?]  775144[?] -775145[?] 3045136[?]  775143[?] -775144[?] 3045133[?]  -671953[?] -775143[?] -775142[?] 3045129[?]  703002[?] 671953[?] 3045127[?]  775137[?] -775138[?] 3045118[?]  775132[?] -775137[?] 3045115[?]  775134[?] -775135[?] 3045112[?]  775133[?] -775134[?] 3045109[?]  -671962[?] -775133[?] -775132[?] 3045105[?]  702999[?] 671962[?] 3045103[?]  702996[?] 612649[?] 3045080[?]  -774978[?] -703011[?] -703008[?] 3044625[?]  -774977[?] -703005[?] 774978[?] 3044622[?]  -774976[?] -703002[?] 774977[?] 3044619[?]  -774975[?] 774976[?] -702999[?] 3044616[?]  -774965[?] -702996[?] 774975[?] 3044613[?]  774972[?] -774973[?] 3044611[?]  774966[?] -774972[?] 3044608[?]  774968[?] -774970[?] 3044605[?]  774967[?] -774968[?] 3044602[?]  -612729[?] -774967[?] -774966[?] 3044598[?]  626083[?] 612729[?] 3044596[?]  -774963[?] -626083[?] 774965[?] 3044592[?]  -626090[?] 774963[?] 774964[?] 3044589[?]  582991[?] 618887[?] 3043375[?]  773697[?] -582991[?] 3043373[?]  582990[?] 618872[?] 3043075[?]  773514[?] -582990[?] 3043073[?]  773702[?] -773697[?] 3043069[?]  773701[?] -773697[?] 3043067[?]  773513[?] -773514[?] 3043064[?]  582987[?] 618857[?] 3042763[?]  773509[?] -582987[?] 3042761[?]  773506[?] -773509[?] 3042758[?]  582984[?] 618842[?] 3042457[?]  773500[?] -582984[?] 3042455[?]  773497[?] -773500[?] 3042452[?]  582981[?] 618827[?] 3042151[?]  773491[?] -582981[?] 3042149[?]  773488[?] -773491[?] 3042146[?]  582978[?] 618812[?] 3041845[?]  773482[?] -582978[?] 3041843[?]  773479[?] -773482[?] 3041840[?]  582975[?] 618796[?] 3041539[?]  773456[?] -582975[?] 3041537[?]  773453[?] -773456[?] 3041534[?]  582972[?] 618780[?] 3041233[?]  773464[?] -582972[?] 3041231[?]  773461[?] -773464[?] 3041228[?]  582969[?] 618764[?] 3040927[?]  773446[?] -582969[?] 3040925[?]  773443[?] -773446[?] 3040922[?]  582966[?] 618748[?] 3040621[?]  773436[?] -582966[?] 3040619[?]  773433[?] -773436[?] 3040616[?]  582963[?] 618732[?] 3040315[?]  773426[?] -582963[?] 3040313[?]  773423[?] -773426[?] 3040310[?]  582960[?] 618716[?] 3040009[?]  773416[?] -582960[?] 3040007[?]  773698[?] -773702[?] 3039997[?]  773700[?] -773701[?] 3039994[?]  773699[?] -773700[?] 3039991[?]  -583072[?] -773698[?] -773699[?] 3039987[?]  -773510[?] -773514[?] -773697[?] 3039984[?]  -773501[?] 773510[?] -773509[?] 3039981[?]  -773492[?] 773501[?] -773500[?] 3039978[?]  -773483[?] 773492[?] -773491[?] 3039975[?]  -773457[?] 773483[?] -773482[?] 3039972[?]  -773465[?] -773456[?] 773457[?] 3039969[?]  -773447[?] 773465[?] -773464[?] 3039966[?]  -773437[?] -773446[?] 773447[?] 3039963[?]  -773427[?] -773436[?] 773437[?] 3039960[?]  -773417[?] 773427[?] -773426[?] 3039957[?]  -523785[?] -773416[?] 773417[?] 3039954[?]  773472[?] 523785[?] 3039953[?]  523858[?] 618685[?] 3039652[?]  773261[?] -523858[?] 3039650[?]  523857[?] 618701[?] 3039352[?]  773262[?] -523857[?] 3039350[?]  773515[?] 523785[?] 3039338[?]  -523803[?] -773472[?] -773515[?] 3039333[?]  618511[?] 583072[?] 3039331[?]  773511[?] -773514[?] 3039328[?]  773512[?] -773513[?] 3039325[?]  -583010[?] -773512[?] -773511[?] 3039321[?]  618510[?] 583010[?] 3039319[?]  -773502[?] -618510[?] -618511[?] 3039315[?]  773508[?] -773509[?] 3039313[?]  773503[?] -773508[?] 3039310[?]  773505[?] -773506[?] 3039307[?]  773504[?] -773505[?] 3039304[?]  -583081[?] -773504[?] -773503[?] 3039300[?]  618507[?] 583081[?] 3039298[?]  -773493[?] 773502[?] -618507[?] 3039294[?]  773499[?] -773500[?] 3039292[?]  773494[?] -773499[?] 3039289[?]  773496[?] -773497[?] 3039286[?]  773495[?] -773496[?] 3039283[?]  -583090[?] -773495[?] -773494[?] 3039279[?]  618504[?] 583090[?] 3039277[?]  -773484[?] 773493[?] -618504[?] 3039273[?]  773490[?] -773491[?] 3039271[?]  773485[?] -773490[?] 3039268[?]  773487[?] -773488[?] 3039265[?]  773486[?] -773487[?] 3039262[?]  -583099[?] -773486[?] -773485[?] 3039258[?]  618501[?] 583099[?] 3039256[?]  -773475[?] 773484[?] -618501[?] 3039252[?]  773481[?] -773482[?] 3039250[?]  773476[?] -773481[?] 3039247[?]  773478[?] -773479[?] 3039244[?]  773477[?] -773478[?] 3039241[?]  -583108[?] -773477[?] -773476[?] 3039237[?]  618498[?] 583108[?] 3039235[?]  -773466[?] 773475[?] -618498[?] 3039231[?]  773259[?] -773262[?] 3039230[?]  773258[?] -773261[?] 3039227[?]  773474[?] -773262[?] 3039220[?]  -523875[?] -773259[?] -773474[?] 3039216[?]  537244[?] 523875[?] 3039199[?]  -773252[?] -537244[?] 773466[?] 3039195[?]  773463[?] -773464[?] 3039193[?]  773458[?] -773463[?] 3039190[?]  773460[?] -773461[?] 3039187[?]  773459[?] -773460[?] 3039184[?]  -583119[?] -773459[?] -773458[?] 3039180[?]  618492[?] 583119[?] 3039178[?]  773455[?] -773456[?] 3039172[?]  773450[?] -773455[?] 3039169[?]  773452[?] -773453[?] 3039166[?]  773451[?] -773452[?] 3039163[?]  -583115[?] -773451[?] -773450[?] 3039159[?]  618495[?] 583115[?] 3039157[?]  773445[?] -773446[?] 3039148[?]  773440[?] -773445[?] 3039145[?]  773442[?] -773443[?] 3039142[?]  773441[?] -773442[?] 3039139[?]  -583130[?] -773441[?] -773440[?] 3039135[?]  618489[?] 583130[?] 3039133[?]  773435[?] -773436[?] 3039124[?]  773430[?] -773435[?] 3039121[?]  773432[?] -773433[?] 3039118[?]  773431[?] -773432[?] 3039115[?]  -583139[?] -773431[?] -773430[?] 3039111[?]  618486[?] 583139[?] 3039109[?]  773425[?] -773426[?] 3039100[?]  773420[?] -773425[?] 3039097[?]  773422[?] -773423[?] 3039094[?]  773421[?] -773422[?] 3039091[?]  -583148[?] -773421[?] -773420[?] 3039087[?]  618483[?] 583148[?] 3039085[?]  618480[?] 523803[?] 3039062[?]  -773266[?] -618495[?] -618492[?] 3038607[?]  -773265[?] -618489[?] 773266[?] 3038604[?]  -773264[?] -618486[?] 773265[?] 3038601[?]  -773263[?] 773264[?] -618483[?] 3038598[?]  -773253[?] -618480[?] 773263[?] 3038595[?]  773260[?] -773261[?] 3038593[?]  773254[?] -773260[?] 3038590[?]  773256[?] -773258[?] 3038587[?]  773255[?] -773256[?] 3038584[?]  -523889[?] -773255[?] -773254[?] 3038580[?]  537243[?] 523889[?] 3038578[?]  -773251[?] -537243[?] 773253[?] 3038574[?]  -537250[?] 773251[?] 773252[?] 3038571[?]  716535[?] 716600[?] 2875735[?]  716532[?] 626091[?] 2875552[?]  716538[?] -716532[?] 2875550[?]  716537[?] -716538[?] 2875547[?]  716536[?] -716537[?] 2875543[?]  -716534[?] -716536[?] -716535[?] 2875539[?]  716528[?] 716533[?] 2875537[?]  716531[?] -716532[?] 2875534[?]  716530[?] -716531[?] 2875532[?]  716529[?] -716530[?] 2875528[?]  -716527[?] -716529[?] -716528[?] 2875524[?]  703401[?] -629715[?] 2859844[?]  703386[?] -629771[?] 2859355[?]  703371[?] -629827[?] 2858866[?]  703356[?] -629883[?] 2857969[?]  703341[?] -629939[?] 2856868[?]  703326[?] -629341[?] 2855563[?]  703310[?] -703317[?] 2854462[?]  703294[?] -703301[?] 2853361[?]  703278[?] -703285[?] 2850814[?]  703262[?] -703269[?] 2849479[?]  703246[?] -703253[?] 2848261[?]  703230[?] -703237[?] 2847046[?]  703215[?] -629285[?] 2846761[?]  703199[?] -703206[?] 2845456[?]  703394[?] 703403[?] 2840842[?]  703400[?] -703401[?] 2840839[?]  703399[?] -703400[?] 2840836[?]  703398[?] -703399[?] 2840834[?]  703396[?] -703398[?] 2840830[?]  703395[?] -703396[?] 2840827[?]  -703393[?] -703394[?] -703395[?] 2840823[?]  703379[?] 703388[?] 2840806[?]  703385[?] -703386[?] 2840803[?]  703384[?] -703385[?] 2840800[?]  703383[?] -703384[?] 2840798[?]  703381[?] -703383[?] 2840794[?]  703380[?] -703381[?] 2840791[?]  -703378[?] -703379[?] -703380[?] 2840787[?]  703364[?] 703373[?] 2840770[?]  703370[?] -703371[?] 2840767[?]  703369[?] -703370[?] 2840764[?]  703368[?] -703369[?] 2840762[?]  703366[?] -703368[?] 2840758[?]  703365[?] -703366[?] 2840755[?]  -703363[?] -703364[?] -703365[?] 2840751[?]  703349[?] 703358[?] 2840734[?]  703355[?] -703356[?] 2840731[?]  703354[?] -703355[?] 2840728[?]  703353[?] -703354[?] 2840726[?]  703351[?] -703353[?] 2840722[?]  703350[?] -703351[?] 2840719[?]  -703348[?] -703349[?] -703350[?] 2840715[?]  703334[?] 703343[?] 2840698[?]  703340[?] -703341[?] 2840695[?]  703339[?] -703340[?] 2840692[?]  703338[?] -703339[?] 2840690[?]  703336[?] -703338[?] 2840686[?]  703335[?] -703336[?] 2840683[?]  -703333[?] -703334[?] -703335[?] 2840679[?]  703319[?] 703328[?] 2840662[?]  703325[?] -703326[?] 2840659[?]  703324[?] -703325[?] 2840656[?]  703323[?] -703324[?] 2840654[?]  703321[?] -703323[?] 2840650[?]  703320[?] -703321[?] 2840647[?]  -703318[?] -703319[?] -703320[?] 2840643[?]  703316[?] 703312[?] 2840641[?]  703314[?] -703316[?] 2840638[?]  703311[?] -703314[?] 2840635[?]  -703306[?] -703310[?] -703311[?] 2840631[?]  703303[?] 703312[?] 2840626[?]  703304[?] 703306[?] 2840612[?]  -703302[?] -703304[?] -703303[?] 2840607[?]  703300[?] 703296[?] 2840605[?]  703298[?] -703300[?] 2840602[?]  703295[?] -703298[?] 2840599[?]  -703290[?] -703294[?] -703295[?] 2840595[?]  703287[?] 703296[?] 2840590[?]  703288[?] 703290[?] 2840576[?]  -703286[?] -703288[?] -703287[?] 2840571[?]  703271[?] 703280[?] 2840554[?]  703277[?] -703278[?] 2840551[?]  703276[?] -703277[?] 2840548[?]  703275[?] -703276[?] 2840546[?]  703273[?] -703275[?] 2840542[?]  703272[?] -703273[?] 2840539[?]  -703270[?] -703271[?] -703272[?] 2840535[?]  703255[?] 703264[?] 2840518[?]  703261[?] -703262[?] 2840515[?]  703260[?] -703261[?] 2840512[?]  703259[?] -703260[?] 2840510[?]  703257[?] -703259[?] 2840506[?]  703256[?] -703257[?] 2840503[?]  -703254[?] -703255[?] -703256[?] 2840499[?]  703239[?] 703248[?] 2840482[?]  703245[?] -703246[?] 2840479[?]  703244[?] -703245[?] 2840476[?]  703243[?] -703244[?] 2840474[?]  703241[?] -703243[?] 2840470[?]  703240[?] -703241[?] 2840467[?]  -703238[?] -703239[?] -703240[?] 2840463[?]  703223[?] 703232[?] 2840446[?]  703229[?] -703230[?] 2840443[?]  703228[?] -703229[?] 2840440[?]  703227[?] -703228[?] 2840438[?]  703225[?] -703227[?] 2840434[?]  703224[?] -703225[?] 2840431[?]  -703222[?] -703223[?] -703224[?] 2840427[?]  703208[?] 703217[?] 2840410[?]  703214[?] -703215[?] 2840407[?]  703213[?] -703214[?] 2840404[?]  703212[?] -703213[?] 2840402[?]  703210[?] -703212[?] 2840398[?]  703209[?] -703210[?] 2840395[?]  -703207[?] -703208[?] -703209[?] 2840391[?]  703192[?] 703201[?] 2840374[?]  703198[?] -703199[?] 2840371[?]  703197[?] -703198[?] 2840368[?]  703196[?] -703197[?] 2840366[?]  703194[?] -703196[?] 2840362[?]  703193[?] -703194[?] 2840359[?]  -703191[?] -703192[?] -703193[?] 2840355[?]  690365[?] 250766[?] 2802833[?]  340069[?] -690365[?] 2802828[?]  690252[?] 690253[?] 2802565[?]  690251[?] -690252[?] 2802563[?]  -690249[?] -690251[?] 690250[?] 2802558[?]  -665253[?] -544186[?] 544119[?] 2774328[?]  544358[?] 665253[?] 2774327[?]  677162[?] 512651[?] 2763478[?]  677166[?] -544358[?] 2763475[?]  677167[?] 512651[?] 2763472[?]  -677165[?] -677166[?] -677167[?] 2763468[?]  677164[?] 677165[?] 2763467[?]  677163[?] -677164[?] 2763463[?]  -677161[?] -677163[?] -677162[?] 2763459[?]  632961[?] -633026[?] 2635681[?]  632958[?] 537251[?] 2635498[?]  632964[?] -632958[?] 2635496[?]  632963[?] -632964[?] 2635493[?]  632962[?] -632963[?] 2635489[?]  -632960[?] -632962[?] -632961[?] 2635485[?]  632954[?] 632959[?] 2635483[?]  632957[?] -632958[?] 2635480[?]  632956[?] -632957[?] 2635478[?]  632955[?] -632956[?] 2635474[?]  -632953[?] -632955[?] -632954[?] 2635470[?]  626087[?] 626091[?] 2617564[?]  626089[?] 626090[?] 2617562[?]  626088[?] -626089[?] 2617558[?]  -626086[?] -626087[?] -626088[?] 2617554[?]  601515[?] 601516[?] 2549707[?]  601514[?] -601515[?] 2549705[?]  -601512[?] -601514[?] 601513[?] 2549700[?]  -576413[?] -502649[?] 502582[?] 2521470[?]  455233[?] 576413[?] 2521469[?]  588425[?] 423798[?] 2510620[?]  588429[?] -455233[?] 2510617[?]  588430[?] 423798[?] 2510614[?]  -588428[?] -588429[?] -588430[?] 2510610[?]  588427[?] 588428[?] 2510609[?]  588426[?] -588427[?] 2510605[?]  -588424[?] -588426[?] -588425[?] 2510601[?]  544121[?] -544186[?] 2382637[?]  544118[?] 498981[?] 2382454[?]  544124[?] -544118[?] 2382452[?]  544123[?] -544124[?] 2382449[?]  544122[?] -544123[?] 2382445[?]  -544120[?] -544122[?] -544121[?] 2382441[?]  544114[?] 544119[?] 2382439[?]  544117[?] -544118[?] 2382436[?]  544116[?] -544117[?] 2382434[?]  544115[?] -544116[?] 2382430[?]  -544113[?] -544115[?] -544114[?] 2382426[?]  537247[?] 537251[?] 2364520[?]  537249[?] 537250[?] 2364518[?]  537248[?] -537249[?] 2364514[?]  -537246[?] -537247[?] -537248[?] 2364510[?]  166850[?] 512674[?] 2313514[?]  -512674[?] 512672[?] 2296674[?]  512673[?] 89231[?] 2296670[?]  -512672[?] -512673[?] 2296668[?]  512653[?] 334906[?] 2296642[?]  -413796[?] 413729[?] -486940[?] 2296617[?]  486940[?] 366380[?] 2296616[?]  -366380[?] 512657[?] 2296612[?]  512658[?] 334906[?] 2296609[?]  -512657[?] -512656[?] -512658[?] 2296605[?]  512656[?] 512655[?] 2296604[?]  -250766[?] 512654[?] 2296601[?]  -512655[?] 512654[?] 2296600[?]  -512654[?] -512652[?] -512653[?] 2296596[?]  512650[?] 512651[?] 2296594[?]  512649[?] -512650[?] 2296592[?]  -512647[?] -512649[?] 512648[?] 2296587[?]  502584[?] -502649[?] 2266996[?]  502586[?] -340069[?] 2266807[?]  502585[?] -502586[?] 2266804[?]  -502583[?] -502585[?] -502584[?] 2266800[?]  502577[?] 502582[?] 2266798[?]  502579[?] -340069[?] 2266792[?]  502578[?] -502579[?] 2266789[?]  -502576[?] -502578[?] -502577[?] 2266785[?]  246320[?] 423800[?] 2043580[?]  423802[?] 89231[?] 2043541[?]  423801[?] -423802[?] 2043538[?]  -423800[?] -423799[?] -423801[?] 2043534[?]  423797[?] 423798[?] 2043532[?]  423796[?] -423797[?] 2043530[?]  -423794[?] -423796[?] 423795[?] 2043525[?]  334905[?] 334906[?] 1790929[?]  334904[?] -334905[?] 1790927[?]  -334902[?] -334904[?] 334903[?] 1790922[?]  246319[?] -166850[?] 1538870[?]  246318[?] -246319[?] 1538867[?]  -246316[?] -246318[?] 246317[?] 1538862[?]  161752[?] 161751[?] 1300623[?]  -161751[?] 161750[?] 1300621[?]  -161750[?] 161749[?] -161748[?] 1300616[?]  
5.53/4.92	c qxplain 0/603
10.81/8.21	c qxplain 302/603
11.73/9.14	c qxplain 453/603
12.67/10.09	c qxplain 529/603
13.72/11.01	c qxplain 567/603
14.61/11.93	c qxplain 586/603
15.51/12.85	c qxplain 595/603
16.41/13.76	c qxplain 600/603
17.31/14.69	c qxplain 602/603
18.31/15.61	c qxplain 603/603
19.22/16.53	c 1300616[?] -161750[?] 161749[?] -161748[?]  is mandatory 
19.22/16.53	c qxplain 602/602
21.07/17.92	c 1300621[?] -161751[?] 161750[?]  is mandatory 
21.07/17.92	c qxplain 600/601
21.97/18.83	c qxplain 601/601
22.87/19.75	c 1300623[?] 161752[?] 161751[?]  is mandatory 
22.87/19.75	c qxplain 600/600
23.77/20.67	c 1538862[?] -246316[?] -246318[?] 246317[?]  is mandatory 
23.77/20.67	c qxplain 595/599
24.77/21.60	c qxplain 598/599
25.67/22.52	c qxplain 599/599
26.57/23.45	c 1538867[?] 246318[?] -246319[?]  is mandatory 
26.57/23.45	c qxplain 598/598
27.46/24.36	c 1538870[?] 246319[?] -166850[?]  is mandatory 
27.46/24.36	c qxplain 595/597
28.37/25.28	c qxplain 597/597
29.36/26.20	c 1790922[?] -334902[?] -334904[?] 334903[?]  is mandatory 
29.36/26.20	c qxplain 595/596
30.73/27.38	c qxplain 596/596
31.73/28.31	c 1790927[?] 334904[?] -334905[?]  is mandatory 
31.73/28.31	c qxplain 595/595
32.63/29.23	c 1790929[?] 334905[?] 334906[?]  is mandatory 
32.63/29.23	c qxplain 586/594
33.53/30.16	c qxplain 591/594
34.43/31.08	c qxplain 593/594
35.33/32.00	c qxplain 594/594
36.33/32.92	c 2043525[?] -423794[?] -423796[?] 423795[?]  is mandatory 
36.33/32.92	c qxplain 593/593
37.23/33.86	c 2043530[?] 423796[?] -423797[?]  is mandatory 
37.23/33.86	c qxplain 591/592
38.13/34.78	c qxplain 592/592
39.13/35.70	c 2043532[?] 423797[?] 423798[?]  is mandatory 
39.13/35.70	c qxplain 591/591
40.52/36.89	c 2043534[?] -423800[?] -423799[?] -423801[?]  is mandatory 
40.52/36.89	c qxplain 586/590
41.52/37.81	c qxplain 589/590
42.43/38.73	c qxplain 590/590
43.32/39.66	c 2043538[?] 423801[?] -423802[?]  is mandatory 
43.32/39.66	c qxplain 589/589
44.22/40.57	c 2043541[?] 423802[?] 89231[?]  is mandatory 
44.22/40.57	c qxplain 586/588
45.12/41.49	c qxplain 588/588
46.12/42.41	c 2043580[?] 246320[?] 423800[?]  is mandatory 
46.12/42.41	c qxplain 586/587
47.02/43.32	c qxplain 587/587
47.93/44.25	c 2266785[?] -502576[?] -502578[?] -502577[?]  is mandatory 
47.93/44.25	c qxplain 586/586
49.41/45.47	c 2266789[?] 502578[?] -502579[?]  is mandatory 
49.41/45.47	c qxplain 567/585
50.31/46.38	c qxplain 577/585
51.31/47.30	c qxplain 582/585
52.21/48.22	c qxplain 584/585
53.11/49.13	c qxplain 585/585
54.01/50.05	c 2266792[?] 502579[?] -340069[?]  is mandatory 
54.01/50.05	c qxplain 584/584
54.92/50.97	c 2266798[?] 502577[?] 502582[?]  is mandatory 
54.92/50.97	c qxplain 582/583
55.81/51.89	c qxplain 583/583
56.81/52.81	c 2266800[?] -502583[?] -502585[?] -502584[?]  is mandatory 
56.81/52.81	c qxplain 582/582
57.71/53.74	c 2266804[?] 502585[?] -502586[?]  is mandatory 
57.71/53.74	c qxplain 577/581
59.38/55.02	c qxplain 580/581
60.28/55.95	c qxplain 581/581
61.17/56.89	c 2266807[?] 502586[?] -340069[?]  is mandatory 
61.17/56.89	c qxplain 580/580
62.18/57.81	c 2266996[?] 502584[?] -502649[?]  is mandatory 
62.18/57.81	c qxplain 577/579
63.08/58.74	c qxplain 579/579
64.57/59.94	c 2296587[?] -512647[?] -512649[?] 512648[?]  is mandatory 
64.57/59.94	c qxplain 577/578
65.46/60.86	c qxplain 578/578
66.36/61.79	c 2296592[?] 512649[?] -512650[?]  is mandatory 
66.36/61.79	c qxplain 577/577
67.36/62.72	c 2296594[?] 512650[?] 512651[?]  is mandatory 
67.36/62.72	c qxplain 567/576
68.43/63.72	c qxplain 572/576
69.33/64.64	c qxplain 575/576
70.23/65.57	c qxplain 576/576
71.13/66.49	c 2296596[?] -512654[?] -512652[?] -512653[?]  is mandatory 
71.13/66.49	c qxplain 575/575
72.18/67.50	c 2296600[?] -512655[?] 512654[?]  is mandatory 
72.18/67.50	c qxplain 572/574
73.18/68.42	c qxplain 574/574
74.08/69.35	c 2296601[?] -250766[?] 512654[?]  is mandatory 
74.08/69.35	c qxplain 572/573
74.98/70.28	c qxplain 573/573
75.98/71.22	c 2296604[?] 512656[?] 512655[?]  is mandatory 
75.98/71.22	c qxplain 572/572
77.04/72.22	c 2296605[?] -512657[?] -512656[?] -512658[?]  is mandatory 
77.04/72.22	c qxplain 567/571
77.95/73.15	c qxplain 570/571
78.84/74.07	c qxplain 571/571
79.84/75.00	c 2296609[?] 512658[?] 334906[?]  is mandatory 
79.84/75.00	c qxplain 570/570
80.91/76.01	c 2296612[?] -366380[?] 512657[?]  is mandatory 
80.91/76.01	c qxplain 567/569
81.81/76.93	c qxplain 569/569
82.71/77.85	c 2296616[?] 486940[?] 366380[?]  is mandatory 
82.71/77.85	c qxplain 567/568
83.62/78.78	c qxplain 568/568
84.62/79.73	c 2296617[?] 413729[?] -486940[?] -413796[?]  is mandatory 
84.62/79.73	c qxplain 567/567
85.69/80.72	c 2296642[?] 512653[?] 334906[?]  is mandatory 
85.69/80.72	c qxplain 529/566
86.59/81.64	c qxplain 548/566
87.48/82.57	c qxplain 558/566
88.38/83.49	c qxplain 563/566
89.45/84.48	c qxplain 565/566
90.45/85.40	c qxplain 566/566
91.36/86.33	c 2296668[?] -512672[?] -512673[?]  is mandatory 
91.36/86.33	c qxplain 565/565
92.25/87.25	c 2296670[?] 512673[?] 89231[?]  is mandatory 
92.25/87.25	c qxplain 563/564
93.32/88.25	c qxplain 564/564
94.21/89.18	c 2296674[?] -512674[?] 512672[?]  is mandatory 
94.21/89.18	c qxplain 563/563
95.21/90.11	c 2313514[?] 166850[?] 512674[?]  is mandatory 
95.21/90.11	c qxplain 558/562
96.20/91.11	c qxplain 561/562
97.10/92.05	c qxplain 562/562
98.16/93.05	c 2364510[?] -537246[?] -537248[?] -537247[?]  is mandatory 
98.16/93.05	c qxplain 561/561
99.06/93.99	c 2364514[?] 537248[?] -537249[?]  is mandatory 
99.06/93.99	c qxplain 558/560
100.05/94.92	c qxplain 560/560
100.95/95.86	c 2364518[?] 537249[?] 537250[?]  is mandatory 
100.95/95.86	c qxplain 558/559
102.07/96.92	c qxplain 559/559
102.97/97.86	c 2364520[?] 537247[?] 537251[?]  is mandatory 
102.97/97.86	c qxplain 558/558
103.87/98.79	c 2382426[?] -544113[?] -544115[?] -544114[?]  is mandatory 
103.87/98.79	c qxplain 548/557
104.87/99.73	c qxplain 553/557
105.94/100.71	c qxplain 556/557
106.83/101.63	c qxplain 557/557
107.73/102.56	c 2382430[?] 544115[?] -544116[?]  is mandatory 
107.73/102.56	c qxplain 556/556
108.63/103.48	c 2382434[?] 544116[?] -544117[?]  is mandatory 
108.63/103.48	c qxplain 553/555
109.63/104.40	c qxplain 555/555
110.67/105.41	c 2382436[?] 544117[?] -544118[?]  is mandatory 
110.67/105.41	c qxplain 553/554
111.57/106.34	c qxplain 554/554
112.48/107.25	c 2382439[?] 544114[?] 544119[?]  is mandatory 
112.48/107.25	c qxplain 553/553
113.37/108.19	c 2382441[?] -544120[?] -544122[?] -544121[?]  is mandatory 
113.37/108.19	c qxplain 548/552
114.43/109.19	c qxplain 551/552
115.43/110.11	c qxplain 552/552
116.33/111.04	c 2382445[?] 544122[?] -544123[?]  is mandatory 
116.33/111.04	c qxplain 551/551
117.23/111.97	c 2382449[?] 544123[?] -544124[?]  is mandatory 
117.23/111.97	c qxplain 548/550
118.23/112.90	c qxplain 550/550
119.28/113.93	c 2382452[?] 544124[?] -544118[?]  is mandatory 
119.28/113.93	c qxplain 548/549
120.18/114.88	c qxplain 549/549
121.18/115.81	c 2382454[?] 544118[?] 498981[?]  is mandatory 
121.18/115.81	c qxplain 548/548
122.08/116.74	c 2382637[?] 544121[?] -544186[?]  is mandatory 
122.08/116.74	c qxplain 529/547
122.98/117.66	c qxplain 539/547
124.04/118.65	c qxplain 544/547
124.94/119.57	c qxplain 546/547
125.84/120.50	c qxplain 547/547
126.84/121.42	c 2510601[?] -588424[?] -588426[?] -588425[?]  is mandatory 
126.84/121.42	c qxplain 546/546
127.74/122.35	c 2510605[?] 588426[?] -588427[?]  is mandatory 
127.74/122.35	c qxplain 544/545
128.80/123.34	c qxplain 545/545
129.70/124.27	c 2510609[?] 588427[?] 588428[?]  is mandatory 
129.70/124.27	c qxplain 544/544
130.60/125.20	c 2510610[?] -588428[?] -588429[?] -588430[?]  is mandatory 
130.60/125.20	c qxplain 539/543
131.60/126.12	c qxplain 542/543
132.50/127.04	c qxplain 543/543
133.40/127.96	c 2510614[?] 588430[?] 423798[?]  is mandatory 
133.40/127.96	c qxplain 542/542
134.46/128.95	c 2510617[?] 588429[?] -455233[?]  is mandatory 
134.46/128.95	c qxplain 539/541
135.36/129.88	c qxplain 541/541
136.36/130.82	c 2510620[?] 588425[?] 423798[?]  is mandatory 
136.36/130.82	c qxplain 539/540
137.26/131.74	c qxplain 540/540
138.16/132.67	c 2521469[?] 455233[?] 576413[?]  is mandatory 
138.16/132.67	c qxplain 539/539
139.06/133.60	c 2521470[?] -576413[?] 502582[?] -502649[?]  is mandatory 
139.06/133.60	c qxplain 529/538
140.12/134.59	c qxplain 534/538
141.12/135.50	c qxplain 537/538
142.02/136.43	c qxplain 538/538
142.92/137.34	c 2549700[?] -601512[?] -601514[?] 601513[?]  is mandatory 
142.92/137.34	c qxplain 537/537
143.82/138.27	c 2549705[?] 601514[?] -601515[?]  is mandatory 
143.82/138.27	c qxplain 534/536
144.83/139.24	c qxplain 536/536
145.72/140.16	c 2549707[?] 601515[?] 601516[?]  is mandatory 
145.72/140.16	c qxplain 534/535
146.76/141.18	c qxplain 535/535
147.76/142.12	c 2617554[?] -626086[?] -626088[?] -626087[?]  is mandatory 
147.76/142.12	c qxplain 534/534
148.66/143.04	c 2617558[?] 626088[?] -626089[?]  is mandatory 
148.66/143.05	c qxplain 529/533
149.56/143.97	c qxplain 532/533
150.56/144.90	c qxplain 533/533
151.47/145.84	c 2617562[?] 626089[?] 626090[?]  is mandatory 
151.47/145.84	c qxplain 532/532
152.36/146.77	c 2617564[?] 626087[?] 626091[?]  is mandatory 
152.36/146.77	c qxplain 529/531
153.43/147.77	c qxplain 531/531
154.33/148.69	c 2635470[?] -632953[?] -632955[?] -632954[?]  is mandatory 
154.33/148.69	c qxplain 529/530
155.33/149.62	c qxplain 530/530
156.23/150.55	c 2635474[?] 632955[?] -632956[?]  is mandatory 
156.23/150.55	c qxplain 529/529
157.13/151.48	c 2635478[?] 632956[?] -632957[?]  is mandatory 
157.13/151.48	c qxplain 453/528
158.04/152.40	c qxplain 491/528
159.03/153.32	c qxplain 510/528
160.08/154.34	c qxplain 520/528
160.98/155.27	c qxplain 525/528
161.88/156.19	c qxplain 527/528
162.88/157.12	c qxplain 528/528
163.78/158.04	c 2635480[?] 632957[?] -632958[?]  is mandatory 
163.78/158.04	c qxplain 527/527
164.69/158.97	c 2635483[?] 632954[?] 632959[?]  is mandatory 
164.69/158.97	c qxplain 525/526
165.68/159.90	c qxplain 526/526
166.58/160.83	c 2635485[?] -632960[?] -632962[?] -632961[?]  is mandatory 
166.58/160.83	c qxplain 525/525
167.64/161.81	c 2635489[?] 632962[?] -632963[?]  is mandatory 
167.64/161.81	c qxplain 520/524
168.54/162.74	c qxplain 523/524
169.45/163.67	c qxplain 524/524
170.35/164.59	c 2635493[?] 632963[?] -632964[?]  is mandatory 
170.35/164.59	c qxplain 523/523
171.35/165.52	c 2635496[?] 632964[?] -632958[?]  is mandatory 
171.35/165.52	c qxplain 520/522
172.24/166.45	c qxplain 522/522
173.14/167.37	c 2635498[?] 632958[?] 537251[?]  is mandatory 
173.14/167.37	c qxplain 520/521
174.14/168.30	c qxplain 521/521
175.21/169.30	c 2635681[?] 632961[?] -633026[?]  is mandatory 
175.21/169.30	c qxplain 520/520
176.13/170.26	c 2763459[?] -677161[?] -677163[?] -677162[?]  is mandatory 
176.13/170.26	c qxplain 510/519
177.04/171.19	c qxplain 515/519
178.04/172.12	c qxplain 518/519
178.93/173.04	c qxplain 519/519
179.83/173.98	c 2763463[?] 677163[?] -677164[?]  is mandatory 
179.83/173.98	c qxplain 518/518
180.83/174.91	c 2763467[?] 677164[?] 677165[?]  is mandatory 
180.83/174.91	c qxplain 515/517
181.73/175.83	c qxplain 517/517
182.63/176.76	c 2763468[?] -677165[?] -677166[?] -677167[?]  is mandatory 
182.63/176.76	c qxplain 515/516
183.70/177.75	c qxplain 516/516
184.59/178.68	c 2763472[?] 677167[?] 512651[?]  is mandatory 
184.59/178.68	c qxplain 515/515
185.59/179.61	c 2763475[?] 677166[?] -544358[?]  is mandatory 
185.59/179.61	c qxplain 510/514
186.49/180.53	c qxplain 513/514
187.39/181.45	c qxplain 514/514
188.29/182.37	c 2763478[?] 677162[?] 512651[?]  is mandatory 
188.29/182.37	c qxplain 513/513
189.29/183.30	c 2774327[?] 544358[?] 665253[?]  is mandatory 
189.29/183.30	c qxplain 510/512
190.20/184.24	c qxplain 512/512
191.09/185.16	c 2774328[?] -665253[?] -544186[?] 544119[?]  is mandatory 
191.09/185.16	c qxplain 510/511
192.14/186.16	c qxplain 511/511
193.04/187.09	c 2802558[?] -690249[?] -690251[?] 690250[?]  is mandatory 
193.04/187.09	c qxplain 510/510
194.04/188.01	c 2802563[?] 690251[?] -690252[?]  is mandatory 
194.04/188.01	c qxplain 491/509
194.94/188.93	c qxplain 501/509
195.85/189.86	c qxplain 506/509
196.74/190.79	c qxplain 508/509
197.74/191.71	c qxplain 509/509
198.64/192.63	c 2802565[?] 690252[?] 690253[?]  is mandatory 
198.64/192.63	c qxplain 508/508
199.54/193.55	c 2802828[?] 340069[?] -690365[?]  is mandatory 
199.54/193.55	c qxplain 506/507
200.61/194.54	c qxplain 507/507
201.51/195.46	c 2802833[?] 690365[?] 250766[?]  is mandatory 
201.51/195.46	c qxplain 506/506
202.54/196.40	c 2840355[?] -703191[?] -703193[?] -703192[?]  is mandatory 
202.54/196.40	c qxplain 501/505
203.43/197.32	c qxplain 504/505
204.33/198.25	c qxplain 505/505
205.23/199.17	c 2840359[?] 703193[?] -703194[?]  is mandatory 
205.23/199.17	c qxplain 504/504
206.23/200.10	c 2840362[?] 703194[?] -703196[?]  is mandatory 
206.23/200.10	c qxplain 501/503
207.13/201.03	c qxplain 503/503
208.03/201.95	c 2840366[?] 703196[?] -703197[?]  is mandatory 
208.03/201.95	c qxplain 501/502
209.08/202.97	c qxplain 502/502
210.07/203.90	c 2840368[?] 703197[?] -703198[?]  is mandatory 
210.07/203.90	c qxplain 501/501
210.97/204.85	c 2840371[?] 703198[?] -703199[?]  is mandatory 
210.97/204.85	c qxplain 491/500
211.87/205.77	c qxplain 496/500
212.77/206.69	c qxplain 499/500
213.77/207.61	c qxplain 500/500
214.68/208.54	c 2840374[?] 703192[?] 703201[?]  is mandatory 
214.68/208.54	c qxplain 499/499
215.57/209.46	c 2840391[?] -703207[?] -703209[?] -703208[?]  is mandatory 
215.57/209.46	c qxplain 496/498
216.47/210.38	c qxplain 498/498
217.54/211.38	c 2840395[?] 703209[?] -703210[?]  is mandatory 
217.54/211.38	c qxplain 496/497
218.54/212.30	c qxplain 497/497
219.44/213.23	c 2840398[?] 703210[?] -703212[?]  is mandatory 
219.44/213.23	c qxplain 496/496
220.34/214.17	c 2840402[?] 703212[?] -703213[?]  is mandatory 
220.34/214.17	c qxplain 491/495
221.25/215.09	c qxplain 494/495
222.24/216.02	c qxplain 495/495
223.14/216.94	c 2840404[?] 703213[?] -703214[?]  is mandatory 
223.14/216.94	c qxplain 494/494
224.04/217.86	c 2840407[?] 703214[?] -703215[?]  is mandatory 
224.04/217.86	c qxplain 491/493
224.94/218.78	c qxplain 493/493
225.94/219.70	c 2840410[?] 703208[?] 703217[?]  is mandatory 
225.94/219.70	c qxplain 491/492
227.01/220.71	c qxplain 492/492
227.92/221.63	c 2840427[?] -703222[?] -703224[?] -703223[?]  is mandatory 
227.92/221.63	c qxplain 491/491
228.81/222.56	c 2840431[?] 703224[?] -703225[?]  is mandatory 
228.81/222.56	c qxplain 453/490
229.71/223.49	c qxplain 472/490
230.71/224.41	c qxplain 482/490
231.61/225.34	c qxplain 487/490
232.51/226.26	c qxplain 489/490
233.42/227.19	c qxplain 490/490
234.41/228.11	c 2840434[?] 703225[?] -703227[?]  is mandatory 
234.41/228.11	c qxplain 489/489
235.31/229.03	c 2840438[?] 703227[?] -703228[?]  is mandatory 
235.31/229.03	c qxplain 487/488
236.38/230.04	c qxplain 488/488
237.28/230.96	c 2840440[?] 703228[?] -703229[?]  is mandatory 
237.28/230.96	c qxplain 487/487
238.18/231.89	c 2840443[?] 703229[?] -703230[?]  is mandatory 
238.18/231.89	c qxplain 482/486
239.18/232.82	c qxplain 485/486
240.08/233.74	c qxplain 486/486
240.98/234.67	c 2840446[?] 703223[?] 703232[?]  is mandatory 
240.98/234.67	c qxplain 485/485
241.88/235.60	c 2840463[?] -703238[?] -703240[?] -703239[?]  is mandatory 
241.88/235.60	c qxplain 482/484
242.88/236.53	c qxplain 484/484
243.78/237.46	c 2840467[?] 703240[?] -703241[?]  is mandatory 
243.78/237.46	c qxplain 482/483
244.68/238.37	c qxplain 483/483
245.58/239.30	c 2840470[?] 703241[?] -703243[?]  is mandatory 
245.58/239.30	c qxplain 482/482
246.64/240.29	c 2840474[?] 703243[?] -703244[?]  is mandatory 
246.64/240.29	c qxplain 472/481
247.64/241.21	c qxplain 477/481
248.54/242.14	c qxplain 480/481
249.44/243.06	c qxplain 481/481
250.34/243.99	c 2840476[?] 703244[?] -703245[?]  is mandatory 
250.34/243.99	c qxplain 480/480
251.34/244.91	c 2840479[?] 703245[?] -703246[?]  is mandatory 
251.34/244.91	c qxplain 477/479
252.25/245.84	c qxplain 479/479
253.14/246.76	c 2840482[?] 703239[?] 703248[?]  is mandatory 
253.14/246.76	c qxplain 477/478
254.04/247.68	c qxplain 478/478
255.04/248.61	c 2840499[?] -703254[?] -703256[?] -703255[?]  is mandatory 
255.04/248.62	c qxplain 477/477
256.11/249.60	c 2840503[?] 703256[?] -703257[?]  is mandatory 
256.11/249.60	c qxplain 472/476
257.01/250.52	c qxplain 475/476
257.91/251.44	c qxplain 476/476
258.81/252.36	c 2840506[?] 703257[?] -703259[?]  is mandatory 
258.81/252.36	c qxplain 475/475
259.71/253.28	c 2840510[?] 703259[?] -703260[?]  is mandatory 
259.71/253.28	c qxplain 472/474
260.71/254.20	c qxplain 474/474
261.61/255.12	c 2840512[?] 703260[?] -703261[?]  is mandatory 
261.61/255.12	c qxplain 472/473
262.51/256.05	c qxplain 473/473
263.41/256.98	c 2840515[?] 703261[?] -703262[?]  is mandatory 
263.41/256.98	c qxplain 472/472
264.41/257.91	c 2840518[?] 703255[?] 703264[?]  is mandatory 
264.41/257.91	c qxplain 453/471
265.31/258.83	c qxplain 463/471
266.37/259.84	c qxplain 468/471
267.27/260.76	c qxplain 470/471
268.17/261.69	c qxplain 471/471
269.17/262.61	c 2840535[?] -703270[?] -703272[?] -703271[?]  is mandatory 
269.17/262.61	c qxplain 470/470
270.07/263.54	c 2840539[?] 703272[?] -703273[?]  is mandatory 
270.07/263.54	c qxplain 468/469
270.97/264.46	c qxplain 469/469
271.87/265.39	c 2840542[?] 703273[?] -703275[?]  is mandatory 
271.87/265.39	c qxplain 468/468
272.87/266.31	c 2840546[?] 703275[?] -703276[?]  is mandatory 
272.87/266.31	c qxplain 463/467
273.77/267.24	c qxplain 466/467
274.67/268.17	c qxplain 467/467
275.73/269.18	c 2840548[?] 703276[?] -703277[?]  is mandatory 
275.73/269.18	c qxplain 466/466
276.74/270.11	c 2840551[?] 703277[?] -703278[?]  is mandatory 
276.74/270.11	c qxplain 463/465
277.63/271.03	c qxplain 465/465
278.53/271.95	c 2840554[?] 703271[?] 703280[?]  is mandatory 
278.53/271.95	c qxplain 463/464
279.43/272.88	c qxplain 464/464
280.43/273.81	c 2840571[?] -703286[?] -703288[?] -703287[?]  is mandatory 
280.43/273.81	c qxplain 463/463
281.33/274.74	c 2840576[?] 703288[?] 703290[?]  is mandatory 
281.33/274.74	c qxplain 453/462
282.24/275.66	c qxplain 458/462
283.13/276.59	c qxplain 461/462
284.13/277.51	c qxplain 462/462
285.03/278.44	c 2840590[?] 703287[?] 703296[?]  is mandatory 
285.03/278.44	c qxplain 461/461
286.09/279.44	c 2840595[?] -703290[?] -703295[?] -703294[?]  is mandatory 
286.09/279.44	c qxplain 458/460
286.99/280.36	c qxplain 460/460
287.90/281.29	c 2840599[?] 703295[?] -703298[?]  is mandatory 
287.90/281.29	c qxplain 458/459
288.91/282.22	c qxplain 459/459
289.80/283.17	c 2840602[?] 703298[?] -703300[?]  is mandatory 
289.80/283.17	c qxplain 458/458
290.80/284.12	c 2840605[?] 703300[?] 703296[?]  is mandatory 
290.80/284.12	c qxplain 453/457
291.70/285.04	c qxplain 456/457
292.60/285.97	c qxplain 457/457
293.50/286.90	c 2840607[?] -703302[?] -703304[?] -703303[?]  is mandatory 
293.50/286.90	c qxplain 456/456
294.50/287.82	c 2840612[?] 703304[?] 703306[?]  is mandatory 
294.50/287.82	c qxplain 453/455
295.41/288.75	c qxplain 455/455
296.46/289.74	c 2840626[?] 703303[?] 703312[?]  is mandatory 
296.46/289.74	c qxplain 453/454
297.36/290.67	c qxplain 454/454
298.26/291.60	c 2840631[?] -703306[?] -703311[?] -703310[?]  is mandatory 
298.26/291.60	c qxplain 453/453
299.26/292.52	c 2840635[?] 703311[?] -703314[?]  is mandatory 
299.26/292.52	c qxplain 302/452
300.16/293.46	c qxplain 378/452
301.07/294.39	c qxplain 416/452
302.07/295.32	c qxplain 435/452
302.96/296.25	c qxplain 444/452
303.86/297.18	c qxplain 449/452
304.86/298.10	c qxplain 451/452
305.76/299.03	c qxplain 452/452
306.82/300.04	c 2840638[?] 703314[?] -703316[?]  is mandatory 
306.82/300.04	c qxplain 451/451
307.73/300.96	c 2840641[?] 703316[?] 703312[?]  is mandatory 
307.73/300.96	c qxplain 449/450
308.62/301.88	c qxplain 450/450
309.62/302.81	c 2840643[?] -703318[?] -703320[?] -703319[?]  is mandatory 
309.62/302.81	c qxplain 449/449
310.52/303.74	c 2840647[?] 703320[?] -703321[?]  is mandatory 
310.52/303.74	c qxplain 444/448
311.52/304.70	c qxplain 447/448
312.42/305.62	c qxplain 448/448
313.32/306.55	c 2840650[?] 703321[?] -703323[?]  is mandatory 
313.32/306.55	c qxplain 447/447
314.23/307.48	c 2840654[?] 703323[?] -703324[?]  is mandatory 
314.23/307.48	c qxplain 444/446
315.22/308.40	c qxplain 446/446
316.12/309.33	c 2840656[?] 703324[?] -703325[?]  is mandatory 
316.12/309.33	c qxplain 444/445
317.19/310.33	c qxplain 445/445
318.09/311.26	c 2840659[?] 703325[?] -703326[?]  is mandatory 
318.09/311.26	c qxplain 444/444
318.99/312.19	c 2840662[?] 703319[?] 703328[?]  is mandatory 
318.99/312.19	c qxplain 435/443
319.99/313.12	c qxplain 440/443
320.89/314.04	c qxplain 442/443
321.78/314.97	c qxplain 443/443
322.78/315.90	c 2840679[?] -703333[?] -703335[?] -703334[?]  is mandatory 
322.78/315.90	c qxplain 442/442
323.68/316.82	c 2840683[?] 703335[?] -703336[?]  is mandatory 
323.68/316.82	c qxplain 440/441
324.58/317.75	c qxplain 441/441
325.48/318.68	c 2840686[?] 703336[?] -703338[?]  is mandatory 
325.48/318.68	c qxplain 440/440
326.39/319.60	c 2840690[?] 703338[?] -703339[?]  is mandatory 
326.39/319.60	c qxplain 435/439
327.38/320.52	c qxplain 438/439
328.43/321.52	c qxplain 439/439
329.33/322.45	c 2840692[?] 703339[?] -703340[?]  is mandatory 
329.33/322.45	c qxplain 438/438
330.23/323.37	c 2840695[?] 703340[?] -703341[?]  is mandatory 
330.23/323.37	c qxplain 435/437
331.13/324.29	c qxplain 437/437
332.13/325.21	c 2840698[?] 703334[?] 703343[?]  is mandatory 
332.13/325.21	c qxplain 435/436
333.04/326.15	c qxplain 436/436
333.93/327.08	c 2840715[?] -703348[?] -703350[?] -703349[?]  is mandatory 
333.93/327.08	c qxplain 435/435
334.93/328.01	c 2840719[?] 703350[?] -703351[?]  is mandatory 
334.93/328.01	c qxplain 416/434
335.83/328.94	c qxplain 426/434
336.73/329.87	c qxplain 431/434
337.63/330.79	c qxplain 433/434
338.71/331.79	c qxplain 434/434
339.71/332.71	c 2840722[?] 703351[?] -703353[?]  is mandatory 
339.71/332.71	c qxplain 433/433
340.60/333.64	c 2840726[?] 703353[?] -703354[?]  is mandatory 
340.60/333.64	c qxplain 431/432
341.50/334.57	c qxplain 432/432
342.40/335.49	c 2840728[?] 703354[?] -703355[?]  is mandatory 
342.40/335.49	c qxplain 431/431
343.40/336.42	c 2840731[?] 703355[?] -703356[?]  is mandatory 
343.40/336.42	c qxplain 426/430
344.30/337.34	c qxplain 429/430
345.21/338.27	c qxplain 430/430
346.20/339.20	c 2840734[?] 703349[?] 703358[?]  is mandatory 
346.20/339.20	c qxplain 429/429
347.10/340.13	c 2840751[?] -703363[?] -703365[?] -703364[?]  is mandatory 
347.10/340.13	c qxplain 426/428
348.00/341.06	c qxplain 428/428
349.05/342.07	c 2840755[?] 703365[?] -703366[?]  is mandatory 
349.05/342.07	c qxplain 426/427
349.95/342.99	c qxplain 427/427
350.95/343.93	c 2840758[?] 703366[?] -703368[?]  is mandatory 
350.95/343.93	c qxplain 426/426
351.86/344.86	c 2840762[?] 703368[?] -703369[?]  is mandatory 
351.86/344.86	c qxplain 416/425
352.75/345.78	c qxplain 421/425
353.75/346.71	c qxplain 424/425
354.65/347.64	c qxplain 425/425
355.55/348.57	c 2840764[?] 703369[?] -703370[?]  is mandatory 
355.55/348.57	c qxplain 424/424
356.45/349.50	c 2840767[?] 703370[?] -703371[?]  is mandatory 
356.45/349.50	c qxplain 421/423
357.46/350.42	c qxplain 423/423
358.35/351.35	c 2840770[?] 703364[?] 703373[?]  is mandatory 
358.35/351.35	c qxplain 421/422
359.25/352.27	c qxplain 422/422
360.32/353.27	c 2840787[?] -703378[?] -703380[?] -703379[?]  is mandatory 
360.32/353.27	c qxplain 421/421
361.32/354.20	c 2840791[?] 703380[?] -703381[?]  is mandatory 
361.32/354.20	c qxplain 416/420
362.22/355.13	c qxplain 419/420
363.12/356.05	c qxplain 420/420
364.03/356.98	c 2840794[?] 703381[?] -703383[?]  is mandatory 
364.03/356.98	c qxplain 419/419
365.02/357.91	c 2840798[?] 703383[?] -703384[?]  is mandatory 
365.02/357.91	c qxplain 416/418
365.92/358.84	c qxplain 418/418
366.82/359.77	c 2840800[?] 703384[?] -703385[?]  is mandatory 
366.82/359.77	c qxplain 416/417
367.72/360.69	c qxplain 417/417
368.72/361.62	c 2840803[?] 703385[?] -703386[?]  is mandatory 
368.72/361.62	c qxplain 416/416
369.63/362.55	c 2840806[?] 703379[?] 703388[?]  is mandatory 
369.63/362.55	c qxplain 378/415
370.52/363.48	c qxplain 397/415
371.59/364.48	c qxplain 407/415
372.59/365.41	c qxplain 412/415
373.49/366.34	c qxplain 414/415
374.39/367.26	c qxplain 415/415
375.29/368.19	c 2840823[?] -703393[?] -703395[?] -703394[?]  is mandatory 
375.29/368.19	c qxplain 414/414
376.30/369.12	c 2840827[?] 703395[?] -703396[?]  is mandatory 
376.30/369.12	c qxplain 412/413
377.19/370.05	c qxplain 413/413
378.09/370.97	c 2840830[?] 703396[?] -703398[?]  is mandatory 
378.09/370.97	c qxplain 412/412
379.09/371.90	c 2840834[?] 703398[?] -703399[?]  is mandatory 
379.09/371.90	c qxplain 407/411
379.99/372.83	c qxplain 410/411
380.89/373.75	c qxplain 411/411
381.95/374.75	c 2840836[?] 703399[?] -703400[?]  is mandatory 
381.95/374.75	c qxplain 410/410
382.86/375.68	c 2840839[?] 703400[?] -703401[?]  is mandatory 
382.86/375.68	c qxplain 407/409
383.85/376.60	c qxplain 409/409
384.75/377.53	c 2840842[?] 703394[?] 703403[?]  is mandatory 
384.75/377.53	c qxplain 407/408
385.65/378.46	c qxplain 408/408
386.55/379.39	c 2845456[?] 703199[?] -703206[?]  is mandatory 
386.55/379.39	c qxplain 407/407
387.55/380.31	c 2846761[?] 703215[?] -629285[?]  is mandatory 
387.55/380.31	c qxplain 397/406
388.46/381.24	c qxplain 402/406
389.35/382.16	c qxplain 405/406
390.35/383.10	c qxplain 406/406
391.25/384.02	c 2847046[?] 703230[?] -703237[?]  is mandatory 
391.25/384.03	c qxplain 405/405
392.15/384.95	c 2848261[?] 703246[?] -703253[?]  is mandatory 
392.15/384.95	c qxplain 402/404
393.21/385.94	c qxplain 404/404
394.11/386.87	c 2849479[?] 703262[?] -703269[?]  is mandatory 
394.11/386.87	c qxplain 402/403
395.12/387.81	c qxplain 403/403
396.01/388.75	c 2850814[?] 703278[?] -703285[?]  is mandatory 
396.01/388.75	c qxplain 402/402
396.91/389.68	c 2853361[?] 703294[?] -703301[?]  is mandatory 
396.91/389.68	c qxplain 397/401
397.91/390.60	c qxplain 400/401
398.81/391.53	c qxplain 401/401
399.71/392.47	c 2854462[?] 703310[?] -703317[?]  is mandatory 
399.71/392.47	c qxplain 400/400
400.62/393.39	c 2855563[?] 703326[?] -629341[?]  is mandatory 
400.62/393.39	c qxplain 397/399
401.62/394.31	c qxplain 399/399
402.51/395.24	c 2856868[?] 703341[?] -629939[?]  is mandatory 
402.51/395.24	c qxplain 397/398
403.41/396.16	c qxplain 398/398
404.47/397.17	c 2857969[?] 703356[?] -629883[?]  is mandatory 
404.47/397.17	c qxplain 397/397
405.37/398.09	c 2858866[?] 703371[?] -629827[?]  is mandatory 
405.37/398.09	c qxplain 378/396
406.37/399.03	c qxplain 388/396
407.28/399.95	c qxplain 393/396
408.17/400.88	c qxplain 395/396
409.17/401.80	c qxplain 396/396
410.07/402.73	c 2859355[?] 703386[?] -629771[?]  is mandatory 
410.07/402.73	c qxplain 395/395
410.97/403.66	c 2859844[?] 703401[?] -629715[?]  is mandatory 
410.97/403.66	c qxplain 393/394
411.87/404.59	c qxplain 394/394
412.87/405.51	c 2875524[?] -716527[?] -716529[?] -716528[?]  is mandatory 
412.87/405.51	c qxplain 393/393
413.78/406.44	c 2875528[?] 716529[?] -716530[?]  is mandatory 
413.78/406.44	c qxplain 388/392
414.77/407.40	c qxplain 391/392
415.73/408.39	c qxplain 392/392
416.73/409.32	c 2875532[?] 716530[?] -716531[?]  is mandatory 
416.73/409.32	c qxplain 391/391
417.63/410.24	c 2875534[?] 716531[?] -716532[?]  is mandatory 
417.63/410.24	c qxplain 388/390
418.53/411.17	c qxplain 390/390
419.44/412.09	c 2875537[?] 716528[?] 716533[?]  is mandatory 
419.44/412.09	c qxplain 388/389
420.44/413.03	c qxplain 389/389
421.33/413.96	c 2875539[?] -716534[?] -716536[?] -716535[?]  is mandatory 
421.33/413.96	c qxplain 388/388
422.23/414.89	c 2875543[?] 716536[?] -716537[?]  is mandatory 
422.23/414.89	c qxplain 378/387
423.23/415.81	c qxplain 383/387
424.13/416.74	c qxplain 386/387
425.03/417.67	c qxplain 387/387
426.11/418.67	c 2875547[?] 716537[?] -716538[?]  is mandatory 
426.11/418.67	c qxplain 386/386
427.11/419.60	c 2875550[?] 716538[?] -716532[?]  is mandatory 
427.11/419.60	c qxplain 383/385
428.01/420.53	c qxplain 385/385
428.91/421.45	c 2875552[?] 716532[?] 626091[?]  is mandatory 
428.91/421.45	c qxplain 383/384
429.81/422.38	c qxplain 384/384
430.81/423.31	c 2875735[?] 716535[?] 716600[?]  is mandatory 
430.81/423.31	c qxplain 383/383
431.71/424.24	c 3038571[?] -537250[?] 773251[?] 773252[?]  is mandatory 
431.71/424.24	c qxplain 378/382
432.61/425.17	c qxplain 381/382
433.51/426.09	c qxplain 382/382
434.51/427.02	c 3038574[?] -773251[?] -537243[?] 773253[?]  is mandatory 
434.51/427.02	c qxplain 381/381
435.41/427.94	c 3038578[?] 537243[?] 523889[?]  is mandatory 
435.41/427.94	c qxplain 378/380
436.31/428.87	c qxplain 380/380
437.36/429.89	c 3038580[?] -523889[?] -773255[?] -773254[?]  is mandatory 
437.36/429.89	c qxplain 378/379
438.36/430.81	c qxplain 379/379
439.26/431.75	c 3038584[?] 773255[?] -773256[?]  is mandatory 
439.26/431.75	c qxplain 378/378
440.16/432.68	c 3038587[?] 773256[?] -773258[?]  is mandatory 
440.16/432.68	c qxplain 302/377
441.16/433.61	c qxplain 340/377
442.06/434.53	c qxplain 359/377
442.96/435.46	c qxplain 369/377
443.86/436.39	c qxplain 374/377
444.86/437.33	c qxplain 376/377
445.76/438.26	c qxplain 377/377
446.66/439.19	c 3038590[?] 773254[?] -773260[?]  is mandatory 
446.66/439.19	c qxplain 376/376
447.66/440.13	c 3038593[?] 773260[?] -773261[?]  is mandatory 
447.66/440.13	c qxplain 374/375
448.72/441.14	c qxplain 375/375
449.62/442.06	c 3038595[?] -773253[?] 773263[?] -618480[?]  is mandatory 
449.62/442.06	c qxplain 374/374
450.52/442.99	c 3038598[?] -773263[?] -618483[?] 773264[?]  is mandatory 
450.52/442.99	c qxplain 369/373
451.53/443.93	c qxplain 372/373
452.42/444.85	c qxplain 373/373
453.32/445.78	c 3038601[?] -773264[?] 773265[?] -618486[?]  is mandatory 
453.32/445.78	c qxplain 372/372
454.32/446.70	c 3038604[?] -773265[?] -618489[?] 773266[?]  is mandatory 
454.32/446.70	c qxplain 369/371
455.22/447.63	c qxplain 371/371
456.13/448.55	c 3038607[?] -773266[?] -618492[?] -618495[?]  is mandatory 
456.13/448.55	c qxplain 369/370
457.04/449.47	c qxplain 370/370
458.04/450.41	c 3039062[?] 618480[?] 523803[?]  is mandatory 
458.04/450.41	c qxplain 369/369
458.93/451.33	c 3039085[?] 618483[?] 583148[?]  is mandatory 
458.93/451.33	c qxplain 359/368
459.99/452.33	c qxplain 364/368
460.89/453.26	c qxplain 367/368
461.79/454.19	c qxplain 368/368
462.79/455.12	c 3039087[?] -583148[?] -773421[?] -773420[?]  is mandatory 
462.79/455.12	c qxplain 367/367
463.70/456.04	c 3039091[?] 773421[?] -773422[?]  is mandatory 
463.70/456.04	c qxplain 364/366
464.59/456.97	c qxplain 366/366
465.59/457.90	c 3039094[?] 773422[?] -773423[?]  is mandatory 
465.59/457.90	c qxplain 364/365
466.49/458.83	c qxplain 365/365
467.39/459.75	c 3039097[?] 773420[?] -773425[?]  is mandatory 
467.39/459.75	c qxplain 364/364
468.29/460.68	c 3039100[?] 773425[?] -773426[?]  is mandatory 
468.29/460.68	c qxplain 359/363
469.29/461.61	c qxplain 362/363
470.20/462.54	c qxplain 363/363
471.25/463.55	c 3039109[?] 618486[?] 583139[?]  is mandatory 
471.25/463.55	c qxplain 362/362
472.15/464.47	c 3039111[?] -583139[?] -773431[?] -773430[?]  is mandatory 
472.15/464.47	c qxplain 359/361
473.15/465.40	c qxplain 361/361
474.05/466.33	c 3039115[?] 773431[?] -773432[?]  is mandatory 
474.05/466.33	c qxplain 359/360
474.95/467.26	c qxplain 360/360
475.86/468.19	c 3039118[?] 773432[?] -773433[?]  is mandatory 
475.86/468.19	c qxplain 359/359
476.86/469.12	c 3039121[?] 773430[?] -773435[?]  is mandatory 
476.86/469.12	c qxplain 340/358
477.75/470.05	c qxplain 350/358
478.65/470.97	c qxplain 355/358
479.65/471.90	c qxplain 357/358
480.55/472.83	c qxplain 358/358
481.45/473.76	c 3039124[?] 773435[?] -773436[?]  is mandatory 
481.45/473.76	c qxplain 357/357
482.52/474.75	c 3039133[?] 618489[?] 583130[?]  is mandatory 
482.52/474.75	c qxplain 355/356
483.41/475.67	c qxplain 356/356
484.42/476.60	c 3039135[?] -583130[?] -773441[?] -773440[?]  is mandatory 
484.42/476.60	c qxplain 355/355
485.32/477.53	c 3039139[?] 773441[?] -773442[?]  is mandatory 
485.32/477.53	c qxplain 350/354
486.22/478.46	c qxplain 353/354
487.12/479.39	c qxplain 354/354
488.11/480.32	c 3039142[?] 773442[?] -773443[?]  is mandatory 
488.11/480.32	c qxplain 353/353
489.02/481.24	c 3039145[?] 773440[?] -773445[?]  is mandatory 
489.02/481.24	c qxplain 350/352
489.92/482.16	c qxplain 352/352
490.82/483.09	c 3039148[?] 773445[?] -773446[?]  is mandatory 
490.82/483.09	c qxplain 350/351
491.82/484.02	c qxplain 351/351
492.71/484.95	c 3039157[?] 618495[?] 583115[?]  is mandatory 
492.71/484.95	c qxplain 350/350
493.78/485.95	c 3039159[?] -583115[?] -773451[?] -773450[?]  is mandatory 
493.78/485.95	c qxplain 340/349
494.69/486.88	c qxplain 345/349
495.69/487.81	c qxplain 348/349
496.58/488.73	c qxplain 349/349
497.48/489.66	c 3039163[?] 773451[?] -773452[?]  is mandatory 
497.48/489.66	c qxplain 348/348
498.38/490.58	c 3039166[?] 773452[?] -773453[?]  is mandatory 
498.38/490.58	c qxplain 345/347
499.38/491.51	c qxplain 347/347
500.28/492.43	c 3039169[?] 773450[?] -773455[?]  is mandatory 
500.28/492.43	c qxplain 345/346
501.19/493.35	c qxplain 346/346
502.08/494.28	c 3039172[?] 773455[?] -773456[?]  is mandatory 
502.08/494.28	c qxplain 345/345
503.08/495.21	c 3039178[?] 618492[?] 583119[?]  is mandatory 
503.08/495.21	c qxplain 340/344
503.98/496.14	c qxplain 343/344
505.04/497.13	c qxplain 344/344
505.94/498.06	c 3039180[?] -583119[?] -773459[?] -773458[?]  is mandatory 
505.94/498.06	c qxplain 343/343
506.85/498.99	c 3039184[?] 773459[?] -773460[?]  is mandatory 
506.85/498.99	c qxplain 340/342
507.85/499.92	c qxplain 342/342
508.74/500.84	c 3039187[?] 773460[?] -773461[?]  is mandatory 
508.74/500.84	c qxplain 340/341
509.64/501.77	c qxplain 341/341
510.54/502.69	c 3039190[?] 773458[?] -773463[?]  is mandatory 
510.54/502.69	c qxplain 340/340
511.54/503.62	c 3039193[?] 773463[?] -773464[?]  is mandatory 
511.54/503.62	c qxplain 302/339
512.44/504.54	c qxplain 321/339
513.35/505.47	c qxplain 331/339
514.24/506.39	c qxplain 336/339
515.24/507.32	c qxplain 338/339
516.14/508.26	c qxplain 339/339
517.20/509.25	c 3039195[?] -773252[?] -537244[?] 773466[?]  is mandatory 
517.20/509.25	c qxplain 338/338
518.10/510.18	c 3039199[?] 537244[?] 523875[?]  is mandatory 
518.10/510.18	c qxplain 336/337
519.10/511.10	c qxplain 337/337
520.01/512.04	c 3039216[?] -523875[?] -773474[?] -773259[?]  is mandatory 
520.01/512.04	c qxplain 336/336
520.90/512.96	c 3039220[?] 773474[?] -773262[?]  is mandatory 
520.90/512.96	c qxplain 331/335
521.80/513.89	c qxplain 334/335
522.80/514.81	c qxplain 335/335
523.70/515.74	c 3039227[?] 773258[?] -773261[?]  is mandatory 
523.70/515.74	c qxplain 334/334
524.60/516.67	c 3039230[?] 773259[?] -773262[?]  is mandatory 
524.60/516.67	c qxplain 331/333
525.51/517.60	c qxplain 333/333
526.50/518.52	c 3039231[?] -773466[?] -618498[?] 773475[?]  is mandatory 
526.50/518.52	c qxplain 331/332
527.40/519.45	c qxplain 332/332
528.47/520.45	c 3039235[?] 618498[?] 583108[?]  is mandatory 
528.47/520.45	c qxplain 331/331
529.37/521.37	c 3039237[?] -583108[?] -773477[?] -773476[?]  is mandatory 
529.37/521.38	c qxplain 321/330
530.37/522.30	c qxplain 326/330
531.27/523.23	c qxplain 329/330
532.17/524.15	c qxplain 330/330
533.07/525.08	c 3039241[?] 773477[?] -773478[?]  is mandatory 
533.07/525.08	c qxplain 329/329
534.07/526.01	c 3039244[?] 773478[?] -773479[?]  is mandatory 
534.07/526.01	c qxplain 326/328
534.97/526.93	c qxplain 328/328
535.87/527.86	c 3039247[?] 773476[?] -773481[?]  is mandatory 
535.87/527.86	c qxplain 326/327
536.77/528.78	c qxplain 327/327
537.77/529.71	c 3039250[?] 773481[?] -773482[?]  is mandatory 
537.77/529.71	c qxplain 326/326
538.67/530.64	c 3039252[?] -773475[?] -618501[?] 773484[?]  is mandatory 
538.67/530.64	c qxplain 321/325
539.73/531.64	c qxplain 324/325
540.63/532.57	c qxplain 325/325
541.63/533.52	c 3039256[?] 618501[?] 583099[?]  is mandatory 
541.63/533.52	c qxplain 324/324
542.53/534.45	c 3039258[?] -583099[?] -773486[?] -773485[?]  is mandatory 
542.53/534.45	c qxplain 321/323
543.43/535.38	c qxplain 323/323
544.44/536.30	c 3039262[?] 773486[?] -773487[?]  is mandatory 
544.44/536.30	c qxplain 321/322
545.33/537.23	c qxplain 322/322
546.23/538.16	c 3039265[?] 773487[?] -773488[?]  is mandatory 
546.23/538.16	c qxplain 321/321
547.13/539.09	c 3039268[?] 773485[?] -773490[?]  is mandatory 
547.13/539.09	c qxplain 302/320
548.13/540.01	c qxplain 312/320
549.03/540.94	c qxplain 317/320
549.94/541.87	c qxplain 319/320
551.00/542.87	c qxplain 320/320
551.99/543.80	c 3039271[?] 773490[?] -773491[?]  is mandatory 
551.99/543.80	c qxplain 319/319
552.89/544.72	c 3039273[?] -773484[?] -618504[?] 773493[?]  is mandatory 
552.89/544.72	c qxplain 317/318
553.79/545.67	c qxplain 318/318
554.69/546.60	c 3039277[?] 618504[?] 583090[?]  is mandatory 
554.69/546.60	c qxplain 317/317
555.69/547.52	c 3039279[?] -583090[?] -773495[?] -773494[?]  is mandatory 
555.69/547.52	c qxplain 312/316
556.60/548.44	c qxplain 315/316
557.49/549.37	c qxplain 316/316
558.39/550.29	c 3039283[?] 773495[?] -773496[?]  is mandatory 
558.39/550.29	c qxplain 315/315
559.39/551.22	c 3039286[?] 773496[?] -773497[?]  is mandatory 
559.39/551.22	c qxplain 312/314
560.29/552.14	c qxplain 314/314
561.19/553.07	c 3039289[?] 773494[?] -773499[?]  is mandatory 
561.19/553.07	c qxplain 312/313
562.25/554.07	c qxplain 313/313
563.15/555.00	c 3039292[?] 773499[?] -773500[?]  is mandatory 
563.15/555.00	c qxplain 312/312
564.15/555.93	c 3039294[?] -773493[?] -618507[?] 773502[?]  is mandatory 
564.15/555.93	c qxplain 302/311
565.05/556.86	c qxplain 307/311
565.95/557.79	c qxplain 310/311
566.95/558.71	c qxplain 311/311
567.85/559.64	c 3039298[?] 618507[?] 583081[?]  is mandatory 
567.85/559.64	c qxplain 310/310
568.76/560.56	c 3039300[?] -583081[?] -773504[?] -773503[?]  is mandatory 
568.76/560.56	c qxplain 307/309
569.65/561.49	c qxplain 309/309
570.65/562.41	c 3039304[?] 773504[?] -773505[?]  is mandatory 
570.65/562.41	c qxplain 307/308
571.55/563.34	c qxplain 308/308
572.45/564.27	c 3039307[?] 773505[?] -773506[?]  is mandatory 
572.45/564.27	c qxplain 307/307
573.35/565.19	c 3039310[?] 773503[?] -773508[?]  is mandatory 
573.35/565.19	c qxplain 302/306
574.41/566.19	c qxplain 305/306
575.42/567.12	c qxplain 306/306
576.31/568.06	c 3039313[?] 773508[?] -773509[?]  is mandatory 
576.31/568.06	c qxplain 305/305
577.21/568.99	c 3039315[?] -773502[?] -618510[?] -618511[?]  is mandatory 
577.21/568.99	c qxplain 302/304
578.21/569.92	c qxplain 304/304
579.11/570.84	c 3039319[?] 618510[?] 583010[?]  is mandatory 
579.11/570.84	c qxplain 302/303
580.02/571.77	c qxplain 303/303
581.01/572.70	c 3039321[?] -583010[?] -773512[?] -773511[?]  is mandatory 
581.01/572.70	c qxplain 302/302
581.92/573.63	c 3039325[?] 773512[?] -773513[?]  is mandatory 
581.92/573.63	c qxplain 0/301
582.81/574.56	c qxplain 151/301
583.81/575.52	c qxplain 227/301
584.71/576.44	c qxplain 265/301
585.77/577.45	c qxplain 284/301
586.67/578.38	c qxplain 293/301
587.67/579.32	c qxplain 298/301
588.58/580.24	c qxplain 300/301
589.47/581.16	c qxplain 301/301
590.37/582.09	c 3039328[?] 773511[?] -773514[?]  is mandatory 
590.37/582.09	c qxplain 300/300
591.37/583.01	c 3039331[?] 618511[?] 583072[?]  is mandatory 
591.37/583.01	c qxplain 298/299
592.27/583.95	c qxplain 299/299
593.17/584.88	c 3039333[?] -523803[?] -773515[?] -773472[?]  is mandatory 
593.17/584.88	c qxplain 298/298
594.18/585.80	c 3039338[?] 773515[?] 523785[?]  is mandatory 
594.18/585.80	c qxplain 293/297
595.07/586.72	c qxplain 296/297
595.97/587.66	c qxplain 297/297
597.04/588.65	c 3039350[?] 773262[?] -523857[?]  is mandatory 
597.04/588.66	c qxplain 296/296
597.94/589.58	c 3039352[?] 523857[?] 618701[?]  is mandatory 
597.94/589.58	c qxplain 293/295
598.94/590.50	c qxplain 295/295
599.83/591.43	c 3039650[?] 773261[?] -523858[?]  is mandatory 
599.83/591.43	c qxplain 293/294
600.74/592.36	c qxplain 294/294
601.63/593.29	c 3039652[?] 523858[?] 618685[?]  is mandatory 
601.63/593.29	c qxplain 293/293
602.63/594.21	c 3039953[?] 773472[?] 523785[?]  is mandatory 
602.63/594.21	c qxplain 284/292
603.53/595.14	c qxplain 289/292
604.43/596.06	c qxplain 291/292
605.43/597.00	c qxplain 292/292
606.34/597.92	c 3039954[?] -523785[?] 773417[?] -773416[?]  is mandatory 
606.34/597.92	c qxplain 291/291
607.23/598.84	c 3039957[?] -773417[?] -773426[?] 773427[?]  is mandatory 
607.23/598.84	c qxplain 289/290
608.13/599.77	c qxplain 290/290
609.19/600.79	c 3039960[?] -773427[?] 773437[?] -773436[?]  is mandatory 
609.19/600.79	c qxplain 289/289
610.19/601.71	c 3039963[?] -773437[?] -773446[?] 773447[?]  is mandatory 
610.19/601.71	c qxplain 284/288
611.09/602.64	c qxplain 287/288
611.99/603.56	c qxplain 288/288
612.89/604.49	c 3039966[?] -773447[?] 773465[?] -773464[?]  is mandatory 
612.89/604.49	c qxplain 287/287
613.89/605.41	c 3039969[?] -773465[?] -773456[?] 773457[?]  is mandatory 
613.89/605.41	c qxplain 284/286
614.79/606.33	c qxplain 286/286
615.69/607.26	c 3039972[?] -773457[?] 773483[?] -773482[?]  is mandatory 
615.69/607.26	c qxplain 284/285
616.59/608.19	c qxplain 285/285
617.59/609.11	c 3039975[?] -773483[?] 773492[?] -773491[?]  is mandatory 
617.59/609.11	c qxplain 284/284
618.49/610.05	c 3039978[?] -773492[?] -773500[?] 773501[?]  is mandatory 
618.49/610.05	c qxplain 265/283
619.39/610.97	c qxplain 275/283
620.45/611.97	c qxplain 280/283
621.45/612.90	c qxplain 282/283
622.35/613.85	c qxplain 283/283
623.25/614.78	c 3039981[?] -773501[?] 773510[?] -773509[?]  is mandatory 
623.25/614.78	c qxplain 282/282
624.25/615.72	c 3039984[?] -773510[?] -773514[?] -773697[?]  is mandatory 
624.25/615.72	c qxplain 280/281
625.15/616.65	c qxplain 281/281
626.05/617.57	c 3039987[?] -583072[?] -773699[?] -773698[?]  is mandatory 
626.05/617.57	c qxplain 280/280
627.05/618.50	c 3039991[?] 773699[?] -773700[?]  is mandatory 
627.05/618.50	c qxplain 275/279
627.95/619.42	c qxplain 278/279
628.85/620.35	c qxplain 279/279
629.75/621.27	c 3039994[?] 773700[?] -773701[?]  is mandatory 
629.75/621.27	c qxplain 278/278
630.75/622.20	c 3039997[?] 773698[?] -773702[?]  is mandatory 
630.75/622.20	c qxplain 275/277
631.72/623.20	c qxplain 277/277
632.71/624.12	c 3040007[?] 773416[?] -582960[?]  is mandatory 
632.71/624.12	c qxplain 275/276
633.61/625.05	c qxplain 276/276
634.51/625.98	c 3040009[?] 582960[?] 618716[?]  is mandatory 
634.51/625.98	c qxplain 275/275
635.51/626.91	c 3040310[?] 773423[?] -773426[?]  is mandatory 
635.51/626.91	c qxplain 265/274
636.41/627.84	c qxplain 270/274
637.32/628.76	c qxplain 273/274
638.21/629.69	c qxplain 274/274
639.21/630.62	c 3040313[?] 773426[?] -582963[?]  is mandatory 
639.21/630.62	c qxplain 273/273
640.11/631.54	c 3040315[?] 582963[?] 618732[?]  is mandatory 
640.11/631.54	c qxplain 270/272
641.01/632.47	c qxplain 272/272
642.01/633.40	c 3040616[?] 773433[?] -773436[?]  is mandatory 
642.01/633.40	c qxplain 270/271
643.07/634.40	c qxplain 271/271
643.98/635.33	c 3040619[?] 773436[?] -582966[?]  is mandatory 
643.98/635.33	c qxplain 270/270
644.88/636.26	c 3040621[?] 582966[?] 618748[?]  is mandatory 
644.88/636.26	c qxplain 265/269
645.78/637.19	c qxplain 268/269
646.77/638.12	c qxplain 269/269
647.67/639.04	c 3040922[?] 773443[?] -773446[?]  is mandatory 
647.67/639.04	c qxplain 268/268
648.57/639.97	c 3040925[?] 773446[?] -582969[?]  is mandatory 
648.57/639.97	c qxplain 265/267
649.48/640.89	c qxplain 267/267
650.48/641.82	c 3040927[?] 582969[?] 618764[?]  is mandatory 
650.48/641.82	c qxplain 265/266
651.38/642.74	c qxplain 266/266
652.28/643.67	c 3041228[?] 773461[?] -773464[?]  is mandatory 
652.28/643.67	c qxplain 265/265
653.27/644.60	c 3041231[?] 773464[?] -582972[?]  is mandatory 
653.27/644.60	c qxplain 227/264
654.24/645.59	c qxplain 246/264
655.24/646.52	c qxplain 256/264
656.14/647.45	c qxplain 261/264
657.04/648.39	c qxplain 263/264
658.04/649.31	c qxplain 264/264
658.94/650.23	c 3041233[?] 582972[?] 618780[?]  is mandatory 
658.94/650.23	c qxplain 263/263
659.84/651.16	c 3041534[?] 773453[?] -773456[?]  is mandatory 
659.84/651.16	c qxplain 261/262
660.74/652.09	c qxplain 262/262
661.74/653.02	c 3041537[?] 773456[?] -582975[?]  is mandatory 
661.74/653.02	c qxplain 261/261
662.64/653.95	c 3041539[?] 582975[?] 618796[?]  is mandatory 
662.64/653.95	c qxplain 256/260
663.54/654.88	c qxplain 259/260
664.54/655.81	c qxplain 260/260
665.44/656.73	c 3041840[?] 773479[?] -773482[?]  is mandatory 
665.44/656.73	c qxplain 259/259
666.50/657.74	c 3041843[?] 773482[?] -582978[?]  is mandatory 
666.50/657.74	c qxplain 256/258
667.40/658.66	c qxplain 258/258
668.30/659.59	c 3041845[?] 582978[?] 618812[?]  is mandatory 
668.30/659.59	c qxplain 256/257
669.30/660.51	c qxplain 257/257
670.20/661.44	c 3042146[?] 773488[?] -773491[?]  is mandatory 
670.20/661.44	c qxplain 256/256
671.10/662.36	c 3042149[?] 773491[?] -582981[?]  is mandatory 
671.10/662.36	c qxplain 246/255
672.00/663.29	c qxplain 251/255
673.00/664.23	c qxplain 254/255
673.90/665.15	c qxplain 255/255
674.80/666.08	c 3042151[?] 582981[?] 618827[?]  is mandatory 
674.80/666.08	c qxplain 254/254
675.80/667.00	c 3042452[?] 773497[?] -773500[?]  is mandatory 
675.80/667.00	c qxplain 251/253
676.70/667.93	c qxplain 253/253
677.74/668.94	c 3042455[?] 773500[?] -582984[?]  is mandatory 
677.74/668.94	c qxplain 251/252
678.64/669.86	c qxplain 252/252
679.54/670.79	c 3042457[?] 582984[?] 618842[?]  is mandatory 
679.54/670.79	c qxplain 251/251
680.54/671.72	c 3042758[?] 773506[?] -773509[?]  is mandatory 
680.54/671.72	c qxplain 246/250
681.44/672.64	c qxplain 249/250
682.34/673.58	c qxplain 250/250
683.34/674.51	c 3042761[?] 773509[?] -582987[?]  is mandatory 
683.34/674.51	c qxplain 249/249
684.24/675.43	c 3042763[?] 582987[?] 618857[?]  is mandatory 
684.24/675.43	c qxplain 246/248
685.14/676.36	c qxplain 248/248
686.04/677.28	c 3043064[?] 773513[?] -773514[?]  is mandatory 
686.04/677.28	c qxplain 246/247
687.04/678.21	c qxplain 247/247
687.94/679.15	c 3043067[?] 773701[?] -773697[?]  is mandatory 
687.94/679.15	c qxplain 246/246
689.01/680.16	c 3043069[?] 773702[?] -773697[?]  is mandatory 
689.01/680.16	c qxplain 227/245
689.91/681.08	c qxplain 237/245
690.91/682.01	c qxplain 242/245
691.81/682.93	c qxplain 244/245
692.71/683.86	c qxplain 245/245
693.61/684.79	c 3043073[?] 773514[?] -582990[?]  is mandatory 
693.61/684.79	c qxplain 244/244
694.61/685.72	c 3043075[?] 582990[?] 618872[?]  is mandatory 
694.61/685.72	c qxplain 242/243
695.51/686.64	c qxplain 243/243
696.41/687.56	c 3043373[?] 773697[?] -582991[?]  is mandatory 
696.41/687.56	c qxplain 242/242
697.31/688.49	c 3043375[?] 582991[?] 618887[?]  is mandatory 
697.31/688.49	c qxplain 237/241
698.31/689.41	c qxplain 240/241
699.21/690.34	c qxplain 241/241
700.11/691.29	c 3044589[?] -626090[?] 774963[?] 774964[?]  is mandatory 
700.11/691.29	c qxplain 240/240
701.28/692.34	c 3044592[?] -774963[?] -626083[?] 774965[?]  is mandatory 
701.28/692.34	c qxplain 237/239
702.18/693.27	c qxplain 239/239
703.08/694.19	c 3044596[?] 626083[?] 612729[?]  is mandatory 
703.08/694.19	c qxplain 237/238
704.08/695.12	c qxplain 238/238
704.98/696.04	c 3044598[?] -612729[?] -774967[?] -774966[?]  is mandatory 
704.98/696.04	c qxplain 237/237
705.89/696.97	c 3044602[?] 774967[?] -774968[?]  is mandatory 
705.89/696.97	c qxplain 227/236
706.89/697.90	c qxplain 232/236
707.78/698.83	c qxplain 235/236
708.68/699.76	c qxplain 236/236
709.58/700.69	c 3044605[?] 774968[?] -774970[?]  is mandatory 
709.58/700.69	c qxplain 235/235
710.58/701.62	c 3044608[?] 774966[?] -774972[?]  is mandatory 
710.58/701.62	c qxplain 232/234
711.48/702.55	c qxplain 234/234
712.55/703.55	c 3044611[?] 774972[?] -774973[?]  is mandatory 
712.55/703.55	c qxplain 232/233
713.45/704.47	c qxplain 233/233
714.45/705.40	c 3044613[?] -774965[?] 774975[?] -702996[?]  is mandatory 
714.45/705.40	c qxplain 232/232
715.35/706.33	c 3044616[?] -774975[?] 774976[?] -702999[?]  is mandatory 
715.35/706.33	c qxplain 227/231
716.25/707.25	c qxplain 230/231
717.25/708.20	c qxplain 231/231
718.14/709.14	c 3044619[?] -774976[?] 774977[?] -703002[?]  is mandatory 
718.14/709.14	c qxplain 230/230
719.05/710.07	c 3044622[?] -774977[?] 774978[?] -703005[?]  is mandatory 
719.05/710.07	c qxplain 227/229
720.04/711.00	c qxplain 229/229
720.94/711.93	c 3044625[?] -774978[?] -703011[?] -703008[?]  is mandatory 
720.94/711.93	c qxplain 227/228
721.84/712.86	c qxplain 228/228
722.74/713.78	c 3045080[?] 702996[?] 612649[?]  is mandatory 
722.74/713.78	c qxplain 227/227
723.80/714.79	c 3045103[?] 702999[?] 671962[?]  is mandatory 
723.80/714.79	c qxplain 151/226
724.80/715.71	c qxplain 189/226
725.71/716.64	c qxplain 208/226
726.60/717.56	c qxplain 218/226
727.50/718.49	c qxplain 223/226
728.50/719.42	c qxplain 225/226
729.40/720.34	c qxplain 226/226
730.30/721.27	c 3045105[?] -671962[?] -775133[?] -775132[?]  is mandatory 
730.30/721.27	c qxplain 225/225
731.21/722.19	c 3045109[?] 775133[?] -775134[?]  is mandatory 
731.21/722.19	c qxplain 223/224
732.20/723.12	c qxplain 224/224
733.10/724.04	c 3045112[?] 775134[?] -775135[?]  is mandatory 
733.10/724.04	c qxplain 223/223
734.00/724.97	c 3045115[?] 775132[?] -775137[?]  is mandatory 
734.00/724.97	c qxplain 218/222
735.07/725.97	c qxplain 221/222
736.07/726.90	c qxplain 222/222
736.97/727.83	c 3045118[?] 775137[?] -775138[?]  is mandatory 
736.97/727.83	c qxplain 221/221
737.87/728.75	c 3045127[?] 703002[?] 671953[?]  is mandatory 
737.87/728.75	c qxplain 218/220
738.77/729.68	c qxplain 220/220
739.77/730.61	c 3045129[?] -671953[?] -775143[?] -775142[?]  is mandatory 
739.77/730.61	c qxplain 218/219
740.67/731.53	c qxplain 219/219
741.57/732.46	c 3045133[?] 775143[?] -775144[?]  is mandatory 
741.57/732.46	c qxplain 218/218
742.47/733.39	c 3045136[?] 775144[?] -775145[?]  is mandatory 
742.47/733.39	c qxplain 208/217
743.47/734.32	c qxplain 213/217
744.37/735.24	c qxplain 216/217
745.27/736.17	c qxplain 217/217
746.31/737.19	c 3045139[?] 775142[?] -775147[?]  is mandatory 
746.31/737.19	c qxplain 216/216
747.31/738.12	c 3045142[?] 775147[?] -775148[?]  is mandatory 
747.31/738.12	c qxplain 213/215
748.21/739.05	c qxplain 215/215
749.11/739.97	c 3045151[?] 703005[?] 671944[?]  is mandatory 
749.11/739.97	c qxplain 213/214
750.01/740.90	c qxplain 214/214
751.01/741.83	c 3045153[?] -671944[?] -775153[?] -775152[?]  is mandatory 
751.01/741.83	c qxplain 213/213
751.91/742.75	c 3045157[?] 775153[?] -775154[?]  is mandatory 
751.91/742.75	c qxplain 208/212
752.81/743.68	c qxplain 211/212
753.81/744.60	c qxplain 212/212
754.71/745.53	c 3045160[?] 775154[?] -775155[?]  is mandatory 
754.71/745.53	c qxplain 211/211
755.62/746.45	c 3045163[?] 775152[?] -775157[?]  is mandatory 
755.62/746.45	c qxplain 208/210
756.51/747.37	c qxplain 210/210
757.51/748.31	c 3045166[?] 775157[?] -775158[?]  is mandatory 
757.51/748.31	c qxplain 208/209
758.57/749.30	c qxplain 209/209
759.47/750.23	c 3045175[?] 703011[?] 671929[?]  is mandatory 
759.47/750.23	c qxplain 208/208
760.37/751.17	c 3045177[?] -671929[?] -775163[?] -775162[?]  is mandatory 
760.37/751.17	c qxplain 189/207
761.27/752.09	c qxplain 199/207
762.28/753.02	c qxplain 204/207
763.17/753.94	c qxplain 206/207
764.07/754.87	c qxplain 207/207
765.07/755.80	c 3045181[?] 775163[?] -775164[?]  is mandatory 
765.07/755.80	c qxplain 206/206
765.97/756.73	c 3045184[?] 775164[?] -775165[?]  is mandatory 
765.97/756.73	c qxplain 204/205
766.87/757.65	c qxplain 205/205
767.77/758.58	c 3045187[?] 775162[?] -775167[?]  is mandatory 
767.77/758.58	c qxplain 204/204
768.77/759.51	c 3045190[?] 775167[?] -775168[?]  is mandatory 
768.77/759.51	c qxplain 199/203
769.83/760.50	c qxplain 202/203
770.73/761.43	c qxplain 203/203
771.63/762.36	c 3045196[?] 703008[?] 671933[?]  is mandatory 
771.63/762.36	c qxplain 202/202
772.53/763.28	c 3045198[?] -671933[?] -775171[?] -775170[?]  is mandatory 
772.53/763.28	c qxplain 199/201
773.53/764.20	c qxplain 201/201
774.44/765.13	c 3045202[?] 775171[?] -775172[?]  is mandatory 
774.44/765.13	c qxplain 199/200
775.33/766.06	c qxplain 200/200
776.23/766.99	c 3045205[?] 775172[?] -775173[?]  is mandatory 
776.23/766.99	c qxplain 199/199
777.23/767.92	c 3045208[?] 775170[?] -775175[?]  is mandatory 
777.23/767.92	c qxplain 189/198
778.13/768.84	c qxplain 194/198
779.03/769.77	c qxplain 197/198
779.94/770.70	c qxplain 198/198
781.00/771.69	c 3045211[?] 775175[?] -775176[?]  is mandatory 
781.00/771.69	c qxplain 197/197
781.99/772.62	c 3045213[?] -774964[?] -626084[?] 775178[?]  is mandatory 
781.99/772.62	c qxplain 194/196
782.89/773.54	c qxplain 196/196
783.79/774.48	c 3045217[?] 626084[?] 612715[?]  is mandatory 
783.79/774.48	c qxplain 194/195
784.79/775.41	c qxplain 195/195
785.69/776.34	c 3045234[?] -612715[?] -775186[?] -774971[?]  is mandatory 
785.69/776.34	c qxplain 194/194
786.60/777.27	c 3045238[?] 775186[?] -774974[?]  is mandatory 
786.60/777.27	c qxplain 189/193
787.49/778.19	c qxplain 192/193
788.49/779.11	c qxplain 193/193
789.39/780.04	c 3045245[?] 774970[?] -774973[?]  is mandatory 
789.39/780.04	c qxplain 192/192
790.29/780.97	c 3045248[?] 774971[?] -774974[?]  is mandatory 
790.29/780.97	c qxplain 189/191
791.19/781.89	c qxplain 191/191
792.19/782.83	c 3045249[?] -775178[?] -703014[?] 775187[?]  is mandatory 
792.19/782.83	c qxplain 189/190
793.28/783.85	c qxplain 190/190
794.17/784.78	c 3045253[?] 703014[?] 671922[?]  is mandatory 
794.17/784.78	c qxplain 189/189
795.17/785.71	c 3045255[?] -671922[?] -775189[?] -775188[?]  is mandatory 
795.17/785.71	c qxplain 151/188
796.07/786.63	c qxplain 170/188
796.97/787.55	c qxplain 180/188
797.87/788.47	c qxplain 185/188
798.87/789.40	c qxplain 187/188
799.79/790.33	c qxplain 188/188
800.68/791.25	c 3045259[?] 775189[?] -775190[?]  is mandatory 
800.68/791.25	c qxplain 187/187
801.58/792.18	c 3045262[?] 775190[?] -775191[?]  is mandatory 
801.58/792.18	c qxplain 185/186
802.58/793.10	c qxplain 186/186
803.48/794.03	c 3045265[?] 775188[?] -775193[?]  is mandatory 
803.48/794.03	c qxplain 185/185
804.54/795.03	c 3045268[?] 775193[?] -775194[?]  is mandatory 
804.54/795.03	c qxplain 180/184
805.45/795.95	c qxplain 183/184
806.34/796.87	c qxplain 184/184
807.24/797.79	c 3045270[?] -775187[?] -703017[?] 775196[?]  is mandatory 
807.24/797.79	c qxplain 183/183
808.24/798.72	c 3045274[?] 703017[?] 671913[?]  is mandatory 
808.24/798.72	c qxplain 180/182
809.14/799.64	c qxplain 182/182
810.05/800.57	c 3045276[?] -671913[?] -775198[?] -775197[?]  is mandatory 
810.05/800.57	c qxplain 180/181
811.04/801.50	c qxplain 181/181
811.95/802.43	c 3045280[?] 775198[?] -775199[?]  is mandatory 
811.95/802.43	c qxplain 180/180
812.84/803.36	c 3045283[?] 775199[?] -775200[?]  is mandatory 
812.84/803.36	c qxplain 170/179
813.74/804.29	c qxplain 175/179
814.74/805.21	c qxplain 178/179
815.81/806.20	c qxplain 179/179
816.71/807.13	c 3045286[?] 775197[?] -775202[?]  is mandatory 
816.71/807.13	c qxplain 178/178
817.61/808.06	c 3045289[?] 775202[?] -775203[?]  is mandatory 
817.61/808.06	c qxplain 175/177
818.51/808.98	c qxplain 177/177
819.51/809.91	c 3045291[?] -775196[?] -703020[?] 775205[?]  is mandatory 
819.51/809.91	c qxplain 175/176
820.41/810.83	c qxplain 176/176
821.31/811.77	c 3045295[?] 703020[?] 671904[?]  is mandatory 
821.31/811.77	c qxplain 175/175
822.21/812.70	c 3045297[?] -671904[?] -775207[?] -775206[?]  is mandatory 
822.21/812.70	c qxplain 170/174
823.21/813.62	c qxplain 173/174
824.11/814.54	c qxplain 174/174
825.01/815.47	c 3045301[?] 775207[?] -775208[?]  is mandatory 
825.01/815.47	c qxplain 173/173
825.91/816.40	c 3045304[?] 775208[?] -775209[?]  is mandatory 
825.91/816.40	c qxplain 170/172
827.07/817.40	c qxplain 172/172
827.97/818.33	c 3045307[?] 775206[?] -775211[?]  is mandatory 
827.97/818.33	c qxplain 170/171
828.87/819.25	c qxplain 171/171
829.87/820.20	c 3045310[?] 775211[?] -775212[?]  is mandatory 
829.87/820.20	c qxplain 170/170
830.78/821.13	c 3045312[?] -775205[?] -703023[?] 775214[?]  is mandatory 
830.78/821.13	c qxplain 151/169
831.67/822.06	c qxplain 161/169
832.57/822.99	c qxplain 166/169
833.57/823.92	c qxplain 168/169
834.47/824.85	c qxplain 169/169
835.37/825.77	c 3045316[?] 703023[?] 671895[?]  is mandatory 
835.37/825.77	c qxplain 168/168
836.28/826.70	c 3045318[?] -671895[?] -775216[?] -775215[?]  is mandatory 
836.28/826.70	c qxplain 166/167
837.27/827.62	c qxplain 167/167
838.34/828.62	c 3045322[?] 775216[?] -775217[?]  is mandatory 
838.34/828.62	c qxplain 166/166
839.24/829.55	c 3045325[?] 775217[?] -775218[?]  is mandatory 
839.24/829.55	c qxplain 161/165
840.14/830.47	c qxplain 164/165
841.14/831.40	c qxplain 165/165
842.04/832.32	c 3045328[?] 775215[?] -775220[?]  is mandatory 
842.04/832.32	c qxplain 164/164
842.94/833.24	c 3045331[?] 775220[?] -775221[?]  is mandatory 
842.94/833.24	c qxplain 161/163
843.84/834.17	c qxplain 163/163
844.84/835.10	c 3045333[?] -775214[?] -703026[?] -703027[?]  is mandatory 
844.84/835.10	c qxplain 161/162
845.74/836.02	c qxplain 162/162
846.64/836.95	c 3045337[?] 703026[?] 671824[?]  is mandatory 
846.64/836.95	c qxplain 161/161
847.54/837.88	c 3045339[?] -671824[?] -775224[?] -775223[?]  is mandatory 
847.54/837.88	c qxplain 151/160
848.54/838.81	c qxplain 156/160
849.44/839.74	c qxplain 159/160
850.49/840.75	c qxplain 160/160
851.39/841.67	c 3045343[?] 775224[?] -775225[?]  is mandatory 
851.39/841.67	c qxplain 159/159
852.39/842.60	c 3045346[?] 775223[?] -775226[?]  is mandatory 
852.39/842.60	c qxplain 156/158
853.29/843.52	c qxplain 158/158
854.19/844.45	c 3045349[?] 703027[?] 671886[?]  is mandatory 
854.19/844.45	c qxplain 156/157
855.10/845.37	c qxplain 157/157
856.09/846.30	c 3045351[?] -612649[?] -775227[?] -775184[?]  is mandatory 
856.09/846.30	c qxplain 156/156
856.99/847.23	c 3045356[?] 775227[?] 612631[?]  is mandatory 
856.99/847.23	c qxplain 151/155
857.89/848.16	c qxplain 154/155
858.79/849.08	c qxplain 155/155
859.79/850.01	c 3045368[?] 774974[?] -612697[?]  is mandatory 
859.79/850.01	c qxplain 154/154
860.70/850.94	c 3045370[?] 612697[?] 703217[?]  is mandatory 
860.70/850.94	c qxplain 151/153
861.76/851.94	c qxplain 153/153
862.65/852.86	c 3045668[?] 774973[?] -612698[?]  is mandatory 
862.65/852.86	c qxplain 151/152
863.65/853.81	c qxplain 152/152
864.55/854.74	c 3045670[?] 612698[?] 703201[?]  is mandatory 
864.55/854.74	c qxplain 151/151
865.45/855.67	c 3045971[?] 775184[?] 612631[?]  is mandatory 
865.45/855.67	c qxplain 0/150
866.45/856.61	c qxplain 76/150
867.36/857.54	c qxplain 114/150
868.25/858.47	c qxplain 133/150
869.25/859.40	c qxplain 142/150
870.15/860.33	c qxplain 147/150
871.05/861.26	c qxplain 149/150
871.95/862.19	c qxplain 150/150
873.02/863.19	c 3045972[?] -612631[?] 775129[?] -775128[?]  is mandatory 
873.02/863.19	c qxplain 149/149
874.02/864.11	c 3045975[?] -775129[?] 775139[?] -775138[?]  is mandatory 
874.02/864.11	c qxplain 147/148
874.92/865.03	c qxplain 148/148
875.82/865.96	c 3045978[?] -775139[?] 775149[?] -775148[?]  is mandatory 
875.82/865.96	c qxplain 147/147
876.71/866.88	c 3045981[?] -775149[?] 775159[?] -775158[?]  is mandatory 
876.71/866.88	c qxplain 142/146
877.71/867.81	c qxplain 145/146
878.61/868.73	c qxplain 146/146
879.52/869.66	c 3045984[?] -775159[?] 775177[?] -775176[?]  is mandatory 
879.52/869.66	c qxplain 145/145
880.41/870.58	c 3045987[?] -775177[?] 775169[?] -775168[?]  is mandatory 
880.41/870.58	c qxplain 142/144
881.41/871.50	c qxplain 144/144
882.31/872.44	c 3045990[?] -775169[?] 775195[?] -775194[?]  is mandatory 
882.31/872.44	c qxplain 142/143
883.21/873.36	c qxplain 143/143
884.11/874.29	c 3045993[?] -775195[?] 775204[?] -775203[?]  is mandatory 
884.11/874.29	c qxplain 142/142
885.18/875.28	c 3045996[?] -775204[?] 775213[?] -775212[?]  is mandatory 
885.18/875.28	c qxplain 133/141
886.19/876.21	c qxplain 138/141
887.08/877.13	c qxplain 140/141
887.98/878.06	c qxplain 141/141
888.88/878.99	c 3045999[?] -775213[?] 775222[?] -775221[?]  is mandatory 
888.88/878.99	c qxplain 140/140
889.88/879.92	c 3046002[?] -775222[?] -775226[?] -775409[?]  is mandatory 
889.88/879.92	c qxplain 138/139
890.78/880.84	c qxplain 139/139
891.69/881.77	c 3046005[?] -671886[?] -775411[?] -775410[?]  is mandatory 
891.69/881.77	c qxplain 138/138
892.58/882.69	c 3046009[?] 775411[?] -775412[?]  is mandatory 
892.58/882.69	c qxplain 133/137
893.58/883.62	c qxplain 136/137
894.48/884.54	c qxplain 137/137
895.38/885.47	c 3046012[?] 775412[?] -775413[?]  is mandatory 
895.38/885.47	c qxplain 136/136
896.46/886.48	c 3046015[?] 775410[?] -775414[?]  is mandatory 
896.46/886.48	c qxplain 133/135
897.46/887.40	c qxplain 135/135
898.36/888.33	c 3046025[?] 775128[?] -671774[?]  is mandatory 
898.36/888.33	c qxplain 133/134
899.26/889.25	c qxplain 134/134
900.16/890.18	c 3046027[?] 671774[?] 703232[?]  is mandatory 
900.16/890.18	c qxplain 133/133
901.16/891.11	c 3046328[?] 775135[?] -775138[?]  is mandatory 
901.16/891.11	c qxplain 114/132
902.06/892.03	c qxplain 124/132
902.96/892.96	c qxplain 129/132
903.86/893.89	c qxplain 131/132
904.86/894.81	c qxplain 132/132
905.76/895.74	c 3046331[?] 775138[?] -671777[?]  is mandatory 
905.76/895.74	c qxplain 131/131
906.66/896.66	c 3046333[?] 671777[?] 703248[?]  is mandatory 
906.66/896.66	c qxplain 129/130
907.72/897.65	c qxplain 130/130
908.62/898.58	c 3046634[?] 775145[?] -775148[?]  is mandatory 
908.62/898.58	c qxplain 129/129
909.62/899.51	c 3046637[?] 775148[?] -671780[?]  is mandatory 
909.62/899.51	c qxplain 124/128
910.52/900.44	c qxplain 127/128
911.42/901.36	c qxplain 128/128
912.32/902.29	c 3046639[?] 671780[?] 703264[?]  is mandatory 
912.32/902.29	c qxplain 127/127
913.32/903.21	c 3046940[?] 775155[?] -775158[?]  is mandatory 
913.32/903.21	c qxplain 124/126
914.22/904.14	c qxplain 126/126
915.12/905.07	c 3046943[?] 775158[?] -671783[?]  is mandatory 
915.12/905.07	c qxplain 124/125
916.02/906.00	c qxplain 125/125
917.02/906.92	c 3046945[?] 671783[?] 703280[?]  is mandatory 
917.02/906.92	c qxplain 124/124
917.92/907.85	c 3047246[?] 775173[?] -775176[?]  is mandatory 
917.92/907.85	c qxplain 114/123
918.98/908.85	c qxplain 119/123
919.88/909.78	c qxplain 122/123
920.88/910.71	c qxplain 123/123
921.78/911.63	c 3047249[?] 775176[?] -671786[?]  is mandatory 
921.78/911.63	c qxplain 122/122
922.69/912.56	c 3047251[?] 671786[?] 703296[?]  is mandatory 
922.69/912.56	c qxplain 119/121
923.58/913.48	c qxplain 121/121
924.58/914.41	c 3047552[?] 775165[?] -775168[?]  is mandatory 
924.58/914.41	c qxplain 119/120
925.48/915.33	c qxplain 120/120
926.38/916.26	c 3047555[?] 775168[?] -671789[?]  is mandatory 
926.38/916.26	c qxplain 119/119
927.28/917.18	c 3047557[?] 671789[?] 703312[?]  is mandatory 
927.28/917.18	c qxplain 114/118
928.28/918.11	c qxplain 117/118
929.19/919.03	c qxplain 118/118
930.23/920.04	c 3047858[?] 775191[?] -775194[?]  is mandatory 
930.23/920.04	c qxplain 117/117
931.13/920.97	c 3047861[?] 775194[?] -671792[?]  is mandatory 
931.13/920.97	c qxplain 114/116
932.03/921.89	c qxplain 116/116
933.03/922.82	c 3047863[?] 671792[?] 703328[?]  is mandatory 
933.03/922.82	c qxplain 114/115
933.93/923.74	c qxplain 115/115
934.84/924.67	c 3048164[?] 775200[?] -775203[?]  is mandatory 
934.84/924.67	c qxplain 114/114
935.84/925.60	c 3048167[?] 775203[?] -671795[?]  is mandatory 
935.84/925.60	c qxplain 76/113
936.73/926.53	c qxplain 95/113
937.63/927.46	c qxplain 105/113
938.53/928.38	c qxplain 110/113
939.53/929.31	c qxplain 112/113
940.43/930.25	c qxplain 113/113
941.34/931.18	c 3048169[?] 671795[?] 703343[?]  is mandatory 
941.34/931.18	c qxplain 112/112
942.40/932.18	c 3048470[?] 775209[?] -775212[?]  is mandatory 
942.40/932.18	c qxplain 110/111
943.40/933.10	c qxplain 111/111
944.30/934.03	c 3048473[?] 775212[?] -671798[?]  is mandatory 
944.30/934.03	c qxplain 110/110
945.20/934.95	c 3048475[?] 671798[?] 703358[?]  is mandatory 
945.20/934.95	c qxplain 105/109
946.10/935.87	c qxplain 108/109
947.11/936.81	c qxplain 109/109
948.01/937.73	c 3048776[?] 775218[?] -775221[?]  is mandatory 
948.01/937.73	c qxplain 108/108
948.91/938.66	c 3048779[?] 775221[?] -671801[?]  is mandatory 
948.91/938.66	c qxplain 105/107
949.81/939.58	c qxplain 107/107
950.81/940.51	c 3048781[?] 671801[?] 703373[?]  is mandatory 
950.81/940.51	c qxplain 105/106
951.71/941.43	c qxplain 106/106
952.61/942.37	c 3049082[?] 775225[?] -775226[?]  is mandatory 
952.61/942.37	c qxplain 105/105
953.68/943.37	c 3049085[?] 775413[?] -775409[?]  is mandatory 
953.68/943.37	c qxplain 95/104
954.57/944.29	c qxplain 100/104
955.57/945.22	c qxplain 103/104
956.47/946.14	c qxplain 104/104
957.37/947.07	c 3049087[?] 775414[?] -775409[?]  is mandatory 
957.37/947.07	c qxplain 103/103
958.37/948.00	c 3049091[?] 775226[?] -671804[?]  is mandatory 
958.37/948.00	c qxplain 100/102
959.27/948.92	c qxplain 102/102
960.18/949.85	c 3049093[?] 671804[?] 703388[?]  is mandatory 
960.18/949.85	c qxplain 100/101
961.07/950.78	c qxplain 101/101
962.07/951.71	c 3049391[?] 775409[?] -671805[?]  is mandatory 
962.07/951.71	c qxplain 100/100
962.97/952.63	c 3049393[?] 671805[?] 703403[?]  is mandatory 
962.97/952.63	c qxplain 95/99
963.87/953.59	c qxplain 98/99
964.94/954.58	c qxplain 99/99
965.94/955.51	c 3050895[?] -776704[?] -776706[?] -776705[?]  is mandatory 
965.94/955.51	c qxplain 98/98
966.84/956.43	c 3050899[?] 776706[?] -776707[?]  is mandatory 
966.84/956.43	c qxplain 95/97
967.74/957.36	c qxplain 97/97
968.63/958.29	c 3050903[?] 776707[?] 776708[?]  is mandatory 
968.63/958.29	c qxplain 95/96
969.64/959.22	c qxplain 96/96
970.54/960.15	c 3050904[?] -776708[?] -776710[?] -776709[?]  is mandatory 
970.54/960.15	c qxplain 95/95
971.44/961.07	c 3050908[?] 776710[?] 601516[?]  is mandatory 
971.44/961.07	c qxplain 76/94
972.34/961.99	c qxplain 86/94
973.34/962.92	c qxplain 91/94
974.24/963.85	c qxplain 93/94
975.14/964.78	c qxplain 94/94
976.14/965.72	c 3050911[?] 776709[?] -633198[?]  is mandatory 
976.14/965.72	c qxplain 93/93
977.21/966.73	c 3050914[?] 776705[?] 601516[?]  is mandatory 
977.21/966.73	c qxplain 91/92
978.11/967.68	c qxplain 92/92
979.12/968.61	c 3050916[?] -776712[?] -776714[?] -776713[?]  is mandatory 
979.12/968.61	c qxplain 91/91
980.01/969.54	c 3050920[?] 776714[?] -776715[?]  is mandatory 
980.01/969.54	c qxplain 86/90
980.91/970.46	c qxplain 89/90
981.81/971.39	c qxplain 90/90
982.81/972.31	c 3050924[?] 776715[?] 776716[?]  is mandatory 
982.81/972.31	c qxplain 89/89
983.71/973.24	c 3050925[?] -776716[?] -776718[?] -776717[?]  is mandatory 
983.71/973.24	c qxplain 86/88
984.62/974.16	c qxplain 88/88
985.51/975.10	c 3050929[?] 776718[?] 690253[?]  is mandatory 
985.51/975.10	c qxplain 86/87
986.51/976.03	c qxplain 87/87
987.41/976.96	c 3050932[?] 776717[?] -716772[?]  is mandatory 
987.41/976.96	c qxplain 86/86
988.47/977.96	c 3050935[?] 776713[?] 690253[?]  is mandatory 
988.47/977.96	c qxplain 76/85
989.37/978.88	c qxplain 81/85
990.37/979.81	c qxplain 84/85
991.28/980.73	c qxplain 85/85
992.18/981.66	c 3070328[?] 633198[?] 758594[?]  is mandatory 
992.18/981.66	c qxplain 84/84
993.07/982.58	c 3070329[?] -758594[?] 632959[?] -633026[?]  is mandatory 
993.07/982.58	c qxplain 81/83
994.07/983.51	c qxplain 83/83
994.97/984.44	c 3070457[?] 716772[?] 758608[?]  is mandatory 
994.97/984.44	c qxplain 81/82
995.87/985.37	c qxplain 82/82
996.87/986.31	c 3070458[?] -758608[?] 716533[?] 716600[?]  is mandatory 
996.87/986.31	c qxplain 81/81
997.78/987.23	c 3112402[?] 703206[?] -746446[?]  is mandatory 
997.78/987.23	c qxplain 76/80
998.67/988.16	c qxplain 79/80
999.71/989.17	c qxplain 80/80
1000.71/990.10	c 3114487[?] 629285[?] 701479[?]  is mandatory 
1000.71/990.10	c qxplain 79/79
1001.61/991.03	c 3114491[?] 746446[?] 670067[?]  is mandatory 
1001.61/991.03	c qxplain 76/78
1002.51/991.95	c qxplain 78/78
1003.41/992.88	c 3116896[?] 703237[?] -746449[?]  is mandatory 
1003.41/992.88	c qxplain 76/77
1004.41/993.80	c qxplain 77/77
1005.31/994.73	c 3119005[?] 629341[?] 701479[?]  is mandatory 
1005.31/994.73	c qxplain 76/76
1006.21/995.66	c 3119009[?] 746449[?] 670067[?]  is mandatory 
1006.21/995.66	c qxplain 0/75
1007.11/996.59	c qxplain 38/75
1008.11/997.51	c qxplain 57/75
1009.01/998.43	c qxplain 67/75
1009.91/999.36	c qxplain 72/75
1010.97/1000.37	c qxplain 74/75
1011.87/1001.29	c qxplain 75/75
1012.87/1002.22	c 3122230[?] 703253[?] -746452[?]  is mandatory 
1012.87/1002.22	c qxplain 74/74
1013.77/1003.15	c 3124339[?] 629939[?] 701479[?]  is mandatory 
1013.77/1003.15	c qxplain 72/73
1014.67/1004.07	c qxplain 73/73
1015.67/1005.00	c 3124343[?] 746452[?] 670067[?]  is mandatory 
1015.67/1005.00	c qxplain 72/72
1016.58/1005.93	c 3127156[?] 703269[?] -746455[?]  is mandatory 
1016.58/1005.93	c qxplain 67/71
1017.47/1006.85	c qxplain 70/71
1018.37/1007.77	c qxplain 71/71
1019.37/1008.70	c 3128857[?] 629883[?] 701479[?]  is mandatory 
1019.37/1008.70	c qxplain 70/70
1020.27/1009.62	c 3128861[?] 746455[?] 670067[?]  is mandatory 
1020.27/1009.62	c qxplain 67/69
1021.17/1010.54	c qxplain 69/69
1022.24/1011.55	c 3131266[?] 703285[?] -746458[?]  is mandatory 
1022.24/1011.55	c qxplain 67/68
1023.14/1012.47	c qxplain 68/68
1024.14/1013.40	c 3132967[?] 629827[?] 701479[?]  is mandatory 
1024.14/1013.40	c qxplain 67/67
1025.04/1014.33	c 3132971[?] 746458[?] 670067[?]  is mandatory 
1025.04/1014.33	c qxplain 57/66
1025.94/1015.26	c qxplain 62/66
1026.84/1016.19	c qxplain 65/66
1027.84/1017.11	c qxplain 66/66
1028.74/1018.04	c 3134152[?] 703301[?] -746462[?]  is mandatory 
1028.74/1018.04	c qxplain 65/65
1029.64/1018.97	c 3136801[?] 703317[?] -746461[?]  is mandatory 
1029.64/1018.97	c qxplain 62/64
1030.54/1019.89	c qxplain 64/64
1031.54/1020.82	c 3139255[?] 629715[?] 701479[?]  is mandatory 
1031.54/1020.82	c qxplain 62/63
1032.44/1021.75	c qxplain 63/63
1033.34/1022.69	c 3139259[?] 746462[?] 670067[?]  is mandatory 
1033.34/1022.69	c qxplain 62/62
1034.41/1023.69	c 3139846[?] 629771[?] 701479[?]  is mandatory 
1034.41/1023.69	c qxplain 57/61
1035.40/1024.61	c qxplain 60/61
1036.30/1025.54	c qxplain 61/61
1037.20/1026.46	c 3139850[?] 746461[?] 670067[?]  is mandatory 
1037.20/1026.46	c qxplain 60/60
1038.10/1027.40	c -863921[?] 3313517[?] is mandatory 
1038.10/1027.40	c qxplain 57/59
1039.10/1028.32	c qxplain 59/59
1040.00/1029.25	c 3313534[?] -89231[?] 863921[?]  is mandatory 
1040.00/1029.25	c qxplain 57/58
1040.90/1030.18	c qxplain 58/58
1041.90/1031.11	c -716600[?] 3330121[?] is mandatory 
1041.90/1031.11	c qxplain 57/57
1042.80/1032.04	c 3330123[?] 633026[?] 716534[?]  is mandatory 
1042.80/1032.04	c qxplain 38/56
1043.70/1032.97	c qxplain 48/56
1044.70/1033.90	c qxplain 53/56
1045.66/1034.90	c qxplain 55/56
1046.66/1035.82	c qxplain 56/56
1047.56/1036.75	c 3330125[?] 544186[?] 632960[?]  is mandatory 
1047.56/1036.75	c qxplain 55/55
1048.46/1037.68	c 3330127[?] 502649[?] 544120[?]  is mandatory 
1048.46/1037.68	c qxplain 53/54
1049.46/1038.61	c qxplain 54/54
1050.36/1039.53	c 3330129[?] 413796[?] 502583[?]  is mandatory 
1050.36/1039.53	c qxplain 53/53
1051.26/1040.46	c -716533[?] 3330140[?] is mandatory 
1051.26/1040.46	c qxplain 48/52
1052.16/1041.39	c qxplain 51/52
1053.17/1042.31	c qxplain 52/52
1054.06/1043.24	c 3330142[?] -632959[?] 716527[?]  is mandatory 
1054.06/1043.24	c qxplain 51/51
1054.96/1044.16	c 3330144[?] -544119[?] 632953[?]  is mandatory 
1054.96/1044.16	c qxplain 48/50
1055.86/1045.09	c qxplain 50/50
1056.92/1046.09	c 3330146[?] -502582[?] 544113[?]  is mandatory 
1056.92/1046.09	c qxplain 48/49
1057.92/1047.01	c qxplain 49/49
1058.82/1047.94	c 3330148[?] -413729[?] 502576[?]  is mandatory 
1058.82/1047.94	c qxplain 48/48
1059.73/1048.88	c -690253[?] 3341508[?] is mandatory 
1059.73/1048.88	c qxplain 38/47
1060.72/1049.81	c qxplain 43/47
1061.62/1050.74	c qxplain 46/47
1062.52/1051.67	c qxplain 47/47
1063.42/1052.59	c 3341510[?] -601516[?] 776712[?]  is mandatory 
1063.42/1052.59	c qxplain 46/46
1064.42/1053.51	c 3341512[?] -512651[?] 776704[?]  is mandatory 
1064.42/1053.51	c qxplain 43/45
1065.33/1054.44	c qxplain 45/45
1066.22/1055.37	c 3341514[?] -423798[?] 677161[?]  is mandatory 
1066.22/1055.37	c qxplain 43/44
1067.12/1056.29	c qxplain 44/44
1068.12/1057.23	c 3341516[?] -334906[?] 588424[?]  is mandatory 
1068.12/1057.23	c qxplain 43/43
1069.18/1058.24	c 3341518[?] 512652[?] -246320[?]  is mandatory 
1069.18/1058.24	c qxplain 38/42
1070.08/1059.16	c qxplain 41/42
1070.98/1060.09	c qxplain 42/42
1071.99/1061.01	c 3341520[?] 423799[?] -161752[?]  is mandatory 
1071.99/1061.01	c qxplain 41/41
1072.88/1061.94	c -626091[?] 3342033[?] is mandatory 
1072.88/1061.94	c qxplain 38/40
1073.78/1062.87	c qxplain 40/40
1074.68/1063.79	c 3342035[?] -537251[?] 626086[?]  is mandatory 
1074.68/1063.79	c qxplain 38/39
1075.68/1064.71	c qxplain 39/39
1076.58/1065.64	c 3342037[?] -498981[?] 537246[?]  is mandatory 
1076.58/1065.64	c qxplain 38/38
1077.49/1066.57	c -703403[?] 3344247[?] is mandatory 
1077.49/1066.57	c qxplain 0/37
1078.38/1067.50	c qxplain 19/37
1079.38/1068.43	c qxplain 29/37
1080.44/1069.43	c qxplain 34/37
1081.34/1070.36	c qxplain 36/37
1082.34/1071.30	c qxplain 37/37
1083.24/1072.24	c 3344249[?] -618887[?] 703393[?]  is mandatory 
1083.24/1072.24	c qxplain 36/36
1084.15/1073.17	c -703388[?] 3344266[?] is mandatory 
1084.15/1073.17	c qxplain 34/35
1085.04/1074.09	c qxplain 35/35
1086.04/1075.02	c 3344268[?] -618872[?] 703378[?]  is mandatory 
1086.04/1075.02	c qxplain 34/34
1086.94/1075.95	c -703373[?] 3344285[?] is mandatory 
1086.94/1075.95	c qxplain 29/33
1087.84/1076.87	c qxplain 32/33
1088.84/1077.81	c qxplain 33/33
1089.74/1078.73	c 3344287[?] -618857[?] 703363[?]  is mandatory 
1089.74/1078.73	c qxplain 32/32
1090.65/1079.66	c -703358[?] 3344304[?] is mandatory 
1090.65/1079.66	c qxplain 29/31
1091.71/1080.65	c qxplain 31/31
1092.61/1081.57	c 3344306[?] -618842[?] 703348[?]  is mandatory 
1092.61/1081.57	c qxplain 29/30
1093.61/1082.50	c qxplain 30/30
1094.51/1083.43	c -703343[?] 3344323[?] is mandatory 
1094.51/1083.43	c qxplain 29/29
1095.41/1084.37	c 3344325[?] -618827[?] 703333[?]  is mandatory 
1095.41/1084.37	c qxplain 19/28
1096.31/1085.29	c qxplain 24/28
1097.31/1086.22	c qxplain 27/28
1098.21/1087.15	c qxplain 28/28
1099.11/1088.08	c -703328[?] 3344342[?] is mandatory 
1099.11/1088.08	c qxplain 27/27
1100.11/1089.01	c 3344344[?] -618812[?] 703318[?]  is mandatory 
1100.11/1089.01	c qxplain 24/26
1101.01/1089.94	c qxplain 26/26
1101.91/1090.87	c -703312[?] 3344361[?] is mandatory 
1101.91/1090.87	c qxplain 24/25
1102.98/1091.87	c qxplain 25/25
1103.98/1092.80	c 3344363[?] -618796[?] 703302[?]  is mandatory 
1103.98/1092.80	c qxplain 24/24
1104.87/1093.74	c -703296[?] 3344380[?] is mandatory 
1104.87/1093.74	c qxplain 19/23
1105.77/1094.67	c qxplain 22/23
1106.67/1095.59	c qxplain 23/23
1107.67/1096.52	c 3344382[?] -618780[?] 703286[?]  is mandatory 
1107.67/1096.52	c qxplain 22/22
1108.57/1097.45	c -703280[?] 3344399[?] is mandatory 
1108.57/1097.46	c qxplain 19/21
1109.48/1098.38	c qxplain 21/21
1110.47/1099.34	c 3344401[?] -618764[?] 703270[?]  is mandatory 
1110.47/1099.34	c qxplain 19/20
1111.37/1100.26	c qxplain 20/20
1112.27/1101.19	c -703264[?] 3344418[?] is mandatory 
1112.27/1101.19	c qxplain 19/19
1113.27/1102.12	c 3344420[?] -618748[?] 703254[?]  is mandatory 
1113.27/1102.12	c qxplain 0/18
1114.35/1103.13	c qxplain 10/18
1115.25/1104.06	c qxplain 15/18
1116.15/1104.98	c qxplain 17/18
1117.15/1105.92	c qxplain 18/18
1118.05/1106.84	c -703248[?] 3344437[?] is mandatory 
1118.05/1106.84	c qxplain 17/17
1118.95/1107.77	c 3344439[?] -618732[?] 703238[?]  is mandatory 
1118.95/1107.77	c qxplain 15/16
1119.86/1108.69	c qxplain 16/16
1120.86/1109.63	c -703232[?] 3344456[?] is mandatory 
1120.86/1109.63	c qxplain 15/15
1121.76/1110.56	c 3344458[?] -618716[?] 703222[?]  is mandatory 
1121.76/1110.56	c qxplain 10/14
1122.66/1111.48	c qxplain 13/14
1123.66/1112.41	c qxplain 14/14
1124.56/1113.34	c -703217[?] 3344475[?] is mandatory 
1124.56/1113.34	c qxplain 13/13
1125.46/1114.27	c 3344477[?] -618701[?] 703207[?]  is mandatory 
1125.46/1114.27	c qxplain 10/12
1126.52/1115.27	c qxplain 12/12
1127.52/1116.20	c -703201[?] 3344494[?] is mandatory 
1127.52/1116.20	c qxplain 10/11
1128.43/1117.13	c qxplain 11/11
1129.32/1118.06	c 3344496[?] -618685[?] 703191[?]  is mandatory 
1129.32/1118.06	c qxplain 10/10
1130.22/1118.99	c -670067[?] 3344701[?] is mandatory 
1130.22/1118.99	c qxplain 0/9
1131.22/1119.92	c qxplain 5/9
1132.12/1120.84	c qxplain 8/9
1133.02/1121.78	c qxplain 9/9
1134.02/1122.70	c -701479[?] 3358929[?] is mandatory 
1134.02/1122.70	c qxplain 8/8
1134.92/1123.63	c -690250[?] 3393576[?] is mandatory 
1134.92/1123.63	c qxplain 5/7
1135.82/1124.56	c qxplain 7/7
1136.72/1125.49	c 3393578[?] -601513[?] 690249[?]  is mandatory 
1136.72/1125.49	c qxplain 5/6
1137.77/1126.49	c qxplain 6/6
1138.77/1127.42	c 3393580[?] -512648[?] 601512[?]  is mandatory 
1138.77/1127.42	c qxplain 5/5
1139.67/1128.36	c 3393582[?] -423795[?] 512647[?]  is mandatory 
1139.67/1128.36	c qxplain 0/4
1140.58/1129.29	c qxplain 3/4
1141.57/1130.21	c qxplain 4/4
1142.47/1131.14	c 3393584[?] -334903[?] 423794[?]  is mandatory 
1142.47/1131.14	c qxplain 3/3
1143.37/1132.06	c 3393586[?] -246317[?] 334902[?]  is mandatory 
1143.37/1132.07	c qxplain 0/2
1144.27/1132.99	c qxplain 2/2
1145.27/1133.92	c 3393588[?] -161749[?] 246316[?]  is mandatory 
1145.27/1133.92	c qxplain 0/1
1146.17/1134.85	c qxplain 1/1
1147.07/1135.78	c 3393590[?] 161748[?] -864478[?]  is mandatory 
1147.07/1135.78	c qxplain 0/0
1148.07/1136.71	c 864478[?] 3393591[?] is mandatory 
1156.13/1144.66	c Size of the MUS: 604
1156.13/1144.66	c Unsat core  computation wall clock time (in seconds) : 1140.8
1156.13/1144.66	c starts		: 1207
1156.13/1144.66	c conflicts		: 7
1156.13/1144.66	c decisions		: 1043204614
1156.13/1144.66	c propagations		: 4099011598
1156.13/1144.66	c inspects		: 1106458153
1156.13/1144.66	c shortcuts		: 0
1156.13/1144.66	c learnt literals	: 0
1156.13/1144.66	c learnt binary clauses	: 0
1156.13/1144.66	c learnt ternary clauses	: 0
1156.13/1144.66	c learnt constraints	: 7
1156.13/1144.66	c ignored constraints	: 0
1156.13/1144.66	c root simplifications	: 0
1156.13/1144.66	c removed literals (reason simplification)	: 2
1156.13/1144.66	c reason swapping (by a shorter reason)	: 0
1156.13/1144.66	c Calls to reduceDB	: 0
1156.13/1144.66	c speed (assignments/second)	: 4.615484290057426E8
1156.13/1144.66	c non guided choices	1043204571
1156.13/1144.66	c learnt constraints type 
1156.13/1144.66	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 7
1156.13/1144.66	c constraints type 
1156.13/1144.66	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2527352
1156.13/1144.66	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1768
1156.13/1144.66	s UNSATISFIABLE
1156.13/1144.66	v 436137 436142 436144 674383 674388 674391 926443 926448 926450 1179046 1179051 1179053 1179055 1179059 1179062 1179101 1402306 1402310 1402313 1402319 1402321 1402325 1402328 1402517 1432108 1432113 1432115 1432117 1432121 1432122 1432125 1432126 1432130 1432133 1432137 1432138 1432163 1432189 1432191 1432195 1449035 1500031 1500035 1500039 1500041 1517947 1517951 1517955 1517957 1517960 1517962 1517966 1517970 1517973 1517975 1518158 1646122 1646126 1646130 1646131 1646135 1646138 1646141 1656990 1656991 1685221 1685226 1685228 1753075 1753079 1753083 1753085 1770991 1770995 1770999 1771001 1771004 1771006 1771010 1771014 1771017 1771019 1771202 1898980 1898984 1898988 1898989 1898993 1898996 1898999 1909848 1909849 1938079 1938084 1938086 1938349 1938354 1975876 1975880 1975883 1975887 1975889 1975892 1975895 1975912 1975916 1975919 1975923 1975925 1975928 1975931 1975948 1975952 1975955 1975959 1975961 1975964 1975967 1975984 1975988 1975991 1975995 1975997 1976000 1976003 1976020 1976024 1976027 1976031 1976033 1976036 1976039 1976056 1976060 1976063 1976067 1976069 1976072 1976075 1976092 1976097 1976111 1976116 1976120 1976123 1976126 1976128 1976133 1976147 1976152 1976156 1976159 1976162 1976164 1976168 1976171 1976175 1976177 1976180 1976183 1976200 1976204 1976207 1976211 1976213 1976216 1976219 1976236 1976240 1976243 1976247 1976249 1976252 1976255 1976272 1976276 1976279 1976283 1976285 1976288 1976291 1976308 1976312 1976315 1976319 1976321 1976324 1976327 1976344 1976348 1976351 1976355 1976357 1976360 1976363 1980977 1982282 1982567 1983782 1985000 1986335 1988882 1989983 1991084 1992389 1993490 1994387 1994876 1995365 2011045 2011049 2011053 2011055 2011058 2011060 2011064 2011068 2011071 2011073 2011256 2174092 2174095 2174099 2174101 2174105 2174108 2174111 2174114 2174116 2174119 2174122 2174125 2174128 2174583 2174606 2174608 2174612 2174615 2174618 2174621 2174630 2174632 2174636 2174639 2174642 2174645 2174654 2174656 2174660 2174663 2174666 2174669 2174678 2174680 2174684 2174687 2174690 2174693 2174699 2174701 2174705 2174708 2174711 2174714 2174716 2174720 2174737 2174741 2174748 2174751 2174752 2174756 2174758 2174762 2174765 2174768 2174771 2174773 2174777 2174779 2174783 2174786 2174789 2174792 2174794 2174798 2174800 2174804 2174807 2174810 2174813 2174815 2174819 2174821 2174825 2174828 2174831 2174834 2174836 2174840 2174842 2174846 2174849 2174852 2174854 2174859 2174871 2174873 2175171 2175173 2175474 2175475 2175478 2175481 2175484 2175487 2175490 2175493 2175496 2175499 2175502 2175505 2175508 2175512 2175515 2175518 2175528 2175530 2175831 2175834 2175836 2176137 2176140 2176142 2176443 2176446 2176448 2176749 2176752 2176754 2177055 2177058 2177060 2177361 2177364 2177366 2177667 2177670 2177672 2177973 2177976 2177978 2178279 2178282 2178284 2178585 2178588 2178590 2178594 2178596 2178894 2178896 2180110 2180113 2180117 2180119 2180123 2180126 2180129 2180132 2180134 2180137 2180140 2180143 2180146 2180601 2180624 2180626 2180630 2180633 2180636 2180639 2180648 2180650 2180654 2180657 2180660 2180663 2180672 2180674 2180678 2180681 2180684 2180687 2180696 2180698 2180702 2180705 2180708 2180711 2180717 2180719 2180723 2180726 2180729 2180732 2180734 2180738 2180755 2180759 2180766 2180769 2180770 2180774 2180776 2180780 2180783 2180786 2180789 2180791 2180795 2180797 2180801 2180804 2180807 2180810 2180812 2180816 2180818 2180822 2180825 2180828 2180831 2180833 2180837 2180839 2180843 2180846 2180849 2180852 2180854 2180858 2180860 2180864 2180867 2180870 2180872 2180877 2180889 2180891 2181189 2181191 2181492 2181493 2181496 2181499 2181502 2181505 2181508 2181511 2181514 2181517 2181520 2181523 2181526 2181530 2181533 2181536 2181546 2181548 2181849 2181852 2181854 2182155 2182158 2182160 2182461 2182464 2182466 2182767 2182770 2182772 2183073 2183076 2183078 2183379 2183382 2183384 2183685 2183688 2183690 2183991 2183994 2183996 2184297 2184300 2184302 2184603 2184606 2184608 2184612 2184614 2184912 2184914 2186416 2186420 2186424 2186425 2186429 2186432 2186435 2186437 2186441 2186445 2186446 2186450 2186453 2186456 2205849 2205850 2205978 2205979 2247923 2250008 2250012 2252417 2254526 2254530 2257751 2259860 2259864 2262677 2264378 2264382 2266787 2268488 2268492 2269673 2272322 2274776 2274780 2275367 2275371 2449038 2449055 2465642 2465644 2465646 2465648 2465650 2465661 2465663 2465665 2465667 2465669 2477029 2477031 2477033 2477035 2477037 2477039 2477041 2477554 2477556 2477558 2479768 2479770 2479787 2479789 2479806 2479808 2479825 2479827 2479844 2479846 2479863 2479865 2479882 2479884 2479901 2479903 2479920 2479922 2479939 2479941 2479958 2479960 2479977 2479979 2479996 2479998 2480015 2480017 2480222 2494450 2529097 2529099 2529101 2529103 2529105 2529107 2529109 2529111 2529112 0
1156.13/1144.66	c Total wall clock time (in seconds) : 1144.57

OK	604

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-3493252-1307798890/watcher-3493252-1307798890 -o /tmp/evaluation-result-3493252-1307798890/solver-3493252-1307798890 -C 1800 -W 1850 -M 7680 java -Xms6000m -Xmx6000m -jar sat4j-mus-v20110206.jar HOME/instance-3493252-1307798890.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: 3.08 0.95 0.77 5/243 19189
/proc/meminfo: memFree=27214120/32950928 swapFree=67054844/67111528
[pid=19189] ppid=19187 vsize=27172 CPUtime=0 cores=4,6
/proc/19189/stat : 19189 (java) S 19187 19189 10137 0 -1 4202496 1179 0 0 0 0 0 0 0 22 0 2 0 970119902 27824128 906 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 231907293157 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/19189/statm: 7096 906 688 9 0 381 0
[pid=19189/tid=19191] ppid=19187 vsize=30580 CPUtime=0 cores=4,6
/proc/19189/task/19191/stat : 19191 (java) R 19187 19189 10137 0 -1 4202560 77 0 0 0 0 0 0 0 24 0 2 0 970119903 31313920 918 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 231890566839 0 0 4096 0 0 0 0 -1 4 0 0 0

[startup+0.060387 s]
/proc/loadavg: 3.08 0.95 0.77 5/243 19189
/proc/meminfo: memFree=27214120/32950928 swapFree=67054844/67111528
[pid=19189] ppid=19187 vsize=6363596 CPUtime=0.05 cores=4,6
/proc/19189/stat : 19189 (java) S 19187 19189 10137 0 -1 4202496 8440 0 1 0 4 1 0 0 22 0 18 0 970119902 6516322304 8136 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/19189/statm: 1590899 8138 1738 9 0 1581637 0
[pid=19189/tid=19191] ppid=19187 vsize=6363596 CPUtime=0.04 cores=4,6
/proc/19189/task/19191/stat : 19191 (java) R 19187 19189 10137 0 -1 4202560 7266 0 1 0 4 0 0 0 25 0 18 0 970119903 6516322304 8138 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 47861332789267 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 6363596

[startup+0.100357 s]
/proc/loadavg: 3.08 0.95 0.77 5/243 19189
/proc/meminfo: memFree=27214120/32950928 swapFree=67054844/67111528
[pid=19189] ppid=19187 vsize=6429808 CPUtime=0.1 cores=4,6
/proc/19189/stat : 19189 (java) S 19187 19189 10137 0 -1 4202496 11372 0 1 0 9 1 0 0 22 0 18 0 970119902 6584123392 11070 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/19189/statm: 1607452 11096 2090 9 0 1598190 0
[pid=19189/tid=19191] ppid=19187 vsize=6429808 CPUtime=0.08 cores=4,6
/proc/19189/task/19191/stat : 19191 (java) R 19187 19189 10137 0 -1 4202560 9675 0 1 0 8 0 0 0 18 0 18 0 970119903 6584123392 11108 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 47861331248776 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 6429808

[startup+0.396381 s]
/proc/loadavg: 3.08 0.95 0.77 5/243 19189
/proc/meminfo: memFree=27214120/32950928 swapFree=67054844/67111528
[pid=19189] ppid=19187 vsize=6434688 CPUtime=0.64 cores=4,6
/proc/19189/stat : 19189 (java) S 19187 19189 10137 0 -1 4202496 38068 0 1 0 60 4 0 0 22 0 18 0 970119902 6589120512 36676 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/19189/statm: 1608672 36678 2196 9 0 1599410 0
[pid=19189/tid=19191] ppid=19187 vsize=6434688 CPUtime=0.37 cores=4,6
/proc/19189/task/19191/stat : 19191 (java) R 19187 19189 10137 0 -1 4202560 32365 0 1 0 35 2 0 0 18 0 18 0 970119903 6589120512 36679 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 46912505555153 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.64
Current children cumulated vsize (KiB) 6434688

[startup+0.700265 s]
/proc/loadavg: 3.08 0.95 0.77 5/243 19189
/proc/meminfo: memFree=27214120/32950928 swapFree=67054844/67111528
[pid=19189] ppid=19187 vsize=6434496 CPUtime=0.98 cores=4,6
/proc/19189/stat : 19189 (java) S 19187 19189 10137 0 -1 4202496 67758 0 1 0 90 8 0 0 22 0 18 0 970119902 6588923904 66022 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/19189/statm: 1608624 66027 2196 9 0 1599362 0
[pid=19189/tid=19191] ppid=19187 vsize=6434496 CPUtime=0.68 cores=4,6
/proc/19189/task/19191/stat : 19191 (java) R 19187 19189 10137 0 -1 4202560 61621 0 1 0 62 6 0 0 18 0 18 0 970119903 6588923904 66029 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 46912505516827 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.98
Current children cumulated vsize (KiB) 6434496

[startup+1.50112 s]
/proc/loadavg: 3.23 1.02 0.79 5/261 19282
/proc/meminfo: memFree=26829044/32950928 swapFree=67054844/67111528
[pid=19189] ppid=19187 vsize=6434496 CPUtime=1.78 cores=4,6
/proc/19189/stat : 19189 (java) S 19187 19189 10137 0 -1 4202496 161209 0 1 0 162 16 0 0 22 0 18 0 970119902 6588923904 159472 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/19189/statm: 1608624 159476 2197 9 0 1599362 0
[pid=19189/tid=19191] ppid=19187 vsize=6434496 CPUtime=1.48 cores=4,6
/proc/19189/task/19191/stat : 19191 (java) R 19187 19189 10137 0 -1 4202560 155070 0 1 0 134 14 0 0 18 0 18 0 970119903 6588923904 159478 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 46912505516512 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=19189/tid=19193] ppid=19187 vsize=6434496 CPUtime=0 cores=4,6
/proc/19189/task/19193/stat : 19193 (java) S 19187 19189 10137 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 970119904 6588923904 159481 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 231907306393 0 4 0 16800975 18446604453859125440 0 0 -1 6 0 0 0
[pid=19189/tid=19194] ppid=19187 vsize=6434496 CPUtime=0 cores=4,6
/proc/19189/task/19194/stat : 19194 (java) S 19187 19189 10137 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 970119904 6588923904 159483 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 231907306393 0 4 0 16800975 18446604453859125440 0 0 -1 6 0 0 0
[pid=19189/tid=19195] ppid=19187 vsize=6434496 CPUtime=0 cores=4,6
/proc/19189/task/19195/stat : 19195 (java) S 19187 19189 10137 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 970119904 6588923904 159486 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 231907306393 0 4 0 16800975 18446604453859125440 0 0 -1 6 0 0 0
[pid=19189/tid=19196] ppid=19187 vsize=6434496 CPUtime=0 cores=4,6
/proc/19189/task/19196/stat : 19196 (java) S 19187 19189 10137 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 970119904 6588923904 159488 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 231907306393 0 4 0 16800975 18446604453859125440 0 0 -1 6 0 0 0
[pid=19189/tid=19197] ppid=19187 vsize=6434496 CPUtime=0 cores=4,6
/proc/19189/task/19197/stat : 19197 (java) S 19187 19189 10137 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 970119904 6588923904 159490 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 231907306393 0 4 0 16800975 18446604453859125440 0 0 -1 6 0 0 0
[pid=19189/tid=19198] ppid=19187 vsize=6434496 CPUtime=0 cores=4,6
/proc/19189/task/19198/stat : 19198 (java) S 19187 19189 10137 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 970119904 6588923904 159493 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 231907306393 0 4 0 16800975 18446604453859125440 0 0 -1 6 0 0 0
[pid=19189/tid=19199] ppid=19187 vsize=6434496 CPUtime=0 cores=4,6
/proc/19189/task/19199/stat : 19199 (java) S 19187 19189 10137 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 970119904 6588923904 159495 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 231907306393 0 4 0 16800975 18446604453859125440 0 0 -1 6 0 0 0
[pid=19189/tid=19200] ppid=19187 vsize=6434496 CPUtime=0 cores=4,6
/proc/19189/task/19200/stat : 19200 (java) S 19187 19189 10137 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 970119904 6588923904 159497 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 231907306393 0 4 0 16800975 18446604453859125440 0 0 -1 6 0 0 0
[pid=19189/tid=19202] ppid=19187 vsize=6434496 CPUtime=0 cores=4,6
/proc/19189/task/19202/stat : 19202 (java) S 19187 19189 10137 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 18 0 970119905 6588923904 159500 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 231907307008 0 0 0 16800975 18446604453859125440 0 0 -1 6 0 0 0
[pid=19189/tid=19203] ppid=19187 vsize=6434496 CPUtime=0 cores=4,6
/proc/19189/task/19203/stat : 19203 (java) S 19187 19189 10137 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 970119905 6588923904 159502 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 231907306393 0 4 0 16800975 18446604453859125440 0 0 -1 4 0 0 0
[pid=19189/tid=19204] ppid=19187 vsize=6434496 CPUtime=0 cores=4,6
/proc/19189/task/19204/stat : 19204 (java) S 19187 19189 10137 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 970119905 6588923904 159505 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 231907306393 0 4 0 16800975 18446604453859125440 0 0 -1 4 0 0 0
[pid=19189/tid=19207] ppid=19187 vsize=6434496 CPUtime=0 cores=4,6
/proc/19189/task/19207/stat : 19207 (java) S 19187 19189 10137 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 970119907 6588923904 159507 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 231907314097 0 4 0 16800975 18446604453859125440 0 0 -1 4 0 0 0
[pid=19189/tid=19208] ppid=19187 vsize=6434496 CPUtime=0.06 cores=4,6
/proc/19189/task/19208/stat : 19208 (java) S 19187 19189 10137 0 -1 4202560 2008 0 0 0 6 0 0 0 25 0 18 0 970119907 6588923904 159509 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 231907306393 0 4 0 16800975 18446604453859125440 0 0 -1 6 0 0 0
[pid=19189/tid=19209] ppid=19187 vsize=6434496 CPUtime=0.22 cores=4,6
/proc/19189/task/19209/stat : 19209 (java) S 19187 19189 10137 0 -1 4202560 2984 0 0 0 21 1 0 0 17 0 18 0 970119907 6588923904 159512 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 231907306393 0 4 0 16800975 18446604453859125440 0 0 -1 6 0 0 0
[pid=19189/tid=19210] ppid=19187 vsize=6434496 CPUtime=0 cores=4,6
/proc/19189/task/19210/stat : 19210 (java) S 19187 19189 10137 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 970119907 6588923904 159514 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 231907306393 0 4 0 16800975 18446604453859125440 0 0 -1 4 0 0 0
[pid=19189/tid=19211] ppid=19187 vsize=6434496 CPUtime=0 cores=4,6
/proc/19189/task/19211/stat : 19211 (java) S 19187 19189 10137 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 970119907 6588923904 159516 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 231907307008 0 4 0 16800975 18446604453859125440 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.78
Current children cumulated vsize (KiB) 6434496

[startup+3.10075 s]
/proc/loadavg: 3.23 1.02 0.79 5/261 19363
/proc/meminfo: memFree=26326348/32950928 swapFree=67054844/67111528
[pid=19189] ppid=19187 vsize=6434944 CPUtime=3.54 cores=4,6
/proc/19189/stat : 19189 (java) S 19187 19189 10137 0 -1 4202496 324071 0 1 0 322 32 0 0 22 0 18 0 970119902 6589382656 322067 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/19189/statm: 1608736 322067 2208 9 0 1599474 0
[pid=19189/tid=19191] ppid=19187 vsize=6434944 CPUtime=3.08 cores=4,6
/proc/19189/task/19191/stat : 19191 (java) R 19187 19189 10137 0 -1 4202560 317490 0 1 0 278 30 0 0 21 0 18 0 970119903 6589382656 322067 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 46912505121138 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=19189/tid=19193] ppid=19187 vsize=6434944 CPUtime=0 cores=4,6
/proc/19189/task/19193/stat : 19193 (java) S 19187 19189 10137 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 970119904 6589382656 322067 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 231907306393 0 4 0 16800975 18446604453859125440 0 0 -1 6 0 0 0
[pid=19189/tid=19194] ppid=19187 vsize=6434944 CPUtime=0 cores=4,6
/proc/19189/task/19194/stat : 19194 (java) S 19187 19189 10137 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 970119904 6589382656 322067 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 231907306393 0 4 0 16800975 18446604453859125440 0 0 -1 6 0 0 0
[pid=19189/tid=19195] ppid=19187 vsize=6434944 CPUtime=0 cores=4,6
/proc/19189/task/19195/stat : 19195 (java) S 19187 19189 10137 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 970119904 6589382656 322067 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 231907306393 0 4 0 16800975 18446604453859125440 0 0 -1 6 0 0 0
[pid=19189/tid=19196] ppid=19187 vsize=6434944 CPUtime=0 cores=4,6
/proc/19189/task/19196/stat : 19196 (java) S 19187 19189 10137 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 970119904 6589382656 322067 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 231907306393 0 4 0 16800975 18446604453859125440 0 0 -1 6 0 0 0
[pid=19189/tid=19197] ppid=19187 vsize=6434944 CPUtime=0 cores=4,6
/proc/19189/task/19197/stat : 19197 (java) S 19187 19189 10137 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 970119904 6589382656 322067 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 231907306393 0 4 0 16800975 18446604453859125440 0 0 -1 6 0 0 0
[pid=19189/tid=19198] ppid=19187 vsize=6434944 CPUtime=0 cores=4,6
/proc/19189/task/19198/stat : 19198 (java) S 19187 19189 10137 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 970119904 6589382656 322067 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 231907306393 0 4 0 16800975 18446604453859125440 0 0 -1 6 0 0 0
[pid=19189/tid=19199] ppid=19187 vsize=6434944 CPUtime=0 cores=4,6
/proc/19189/task/19199/stat : 19199 (java) S 19187 19189 10137 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 970119904 6589382656 322067 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 231907306393 0 4 0 16800975 18446604453859125440 0 0 -1 6 0 0 0
[pid=19189/tid=19200] ppid=19187 vsize=6434944 CPUtime=0 cores=4,6
/proc/19189/task/19200/stat : 19200 (java) S 19187 19189 10137 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 970119904 6589382656 322067 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 231907306393 0 4 0 16800975 18446604453859125440 0 0 -1 6 0 0 0
[pid=19189/tid=19202] ppid=19187 vsize=6434944 CPUtime=0 cores=4,6
/proc/19189/task/19202/stat : 19202 (java) S 19187 19189 10137 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 18 0 970119905 6589382656 322067 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 231907307008 0 0 0 16800975 18446604453859125440 0 0 -1 6 0 0 0
[pid=19189/tid=19203] ppid=19187 vsize=6434944 CPUtime=0 cores=4,6
/proc/19189/task/19203/stat : 19203 (java) S 19187 19189 10137 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 970119905 6589382656 322067 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 231907306393 0 4 0 16800975 18446604453859125440 0 0 -1 4 0 0 0
[pid=19189/tid=19204] ppid=19187 vsize=6434944 CPUtime=0 cores=4,6
/proc/19189/task/19204/stat : 19204 (java) S 19187 19189 10137 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 970119905 6589382656 322067 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 231907306393 0 4 0 16800975 18446604453859125440 0 0 -1 4 0 0 0
[pid=19189/tid=19207] ppid=19187 vsize=6434944 CPUtime=0 cores=4,6
/proc/19189/task/19207/stat : 19207 (java) S 19187 19189 10137 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 970119907 6589382656 322067 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 231907314097 0 4 0 16800975 18446604453859125440 0 0 -1 4 0 0 0
[pid=19189/tid=19208] ppid=19187 vsize=6434944 CPUtime=0.16 cores=4,6
/proc/19189/task/19208/stat : 19208 (java) R 19187 19189 10137 0 -1 4202560 2423 0 0 0 16 0 0 0 16 0 18 0 970119907 6589382656 322067 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 231907306393 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=19189/tid=19209] ppid=19187 vsize=6434944 CPUtime=0.28 cores=4,6
/proc/19189/task/19209/stat : 19209 (java) R 19187 19189 10137 0 -1 4202560 3004 0 0 0 27 1 0 0 16 0 18 0 970119907 6589382656 322067 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 47861331211647 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=19189/tid=19210] ppid=19187 vsize=6434944 CPUtime=0 cores=4,6
/proc/19189/task/19210/stat : 19210 (java) S 19187 19189 10137 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 970119907 6589382656 322067 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 231907306393 0 4 0 16800975 18446604453859125440 0 0 -1 4 0 0 0
[pid=19189/tid=19211] ppid=19187 vsize=6434944 CPUtime=0 cores=4,6
/proc/19189/task/19211/stat : 19211 (java) S 19187 19189 10137 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 970119907 6589382656 322067 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 231907307008 0 4 0 16800975 18446604453859125440 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.54
Current children cumulated vsize (KiB) 6434944

[startup+6.30115 s]
/proc/loadavg: 3.29 1.07 0.81 5/260 19581
/proc/meminfo: memFree=25605164/32950928 swapFree=67054844/67111528
[pid=19189] ppid=19187 vsize=6433204 CPUtime=7.82 cores=4,6
/proc/19189/stat : 19189 (java) S 19187 19189 10137 0 -1 4202496 562539 0 1 0 719 63 0 0 22 0 18 0 970119902 6587600896 557785 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/19189/statm: 1608301 557788 2228 9 0 1599039 0
[pid=19189/tid=19191] ppid=19187 vsize=6433204 CPUtime=5.39 cores=4,6
/proc/19189/task/19191/stat : 19191 (java) S 19187 19189 10137 0 -1 4202560 383995 0 1 0 501 38 0 0 20 0 18 0 970119903 6587600896 557790 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 231907306393 0 4 0 16800975 18446604453859125440 0 0 -1 4 0 0 0
[pid=19189/tid=19193] ppid=19187 vsize=6433204 CPUtime=0.01 cores=4,6
/proc/19189/task/19193/stat : 19193 (java) R 19187 19189 10137 0 -1 4202560 3933 0 0 0 1 0 0 0 18 0 18 0 970119904 6587600896 557792 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 47861331298479 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=19189/tid=19194] ppid=19187 vsize=6433204 CPUtime=0 cores=4,6
/proc/19189/task/19194/stat : 19194 (java) R 19187 19189 10137 0 -1 4202560 866 0 0 0 0 0 0 0 18 0 18 0 970119904 6587600896 557793 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 47861334018830 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=19189/tid=19195] ppid=19187 vsize=6433204 CPUtime=0.09 cores=4,6
/proc/19189/task/19195/stat : 19195 (java) R 19187 19189 10137 0 -1 4202560 4661 0 0 0 9 0 0 0 18 0 18 0 970119904 6587600896 557795 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 47861329594049 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=19189/tid=19196] ppid=19187 vsize=6433204 CPUtime=0.12 cores=4,6
/proc/19189/task/19196/stat : 19196 (java) R 19187 19189 10137 0 -1 4202560 6058 0 0 0 11 1 0 0 18 0 18 0 970119904 6587600896 557797 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 47861334018756 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=19189/tid=19197] ppid=19187 vsize=6433204 CPUtime=0.19 cores=4,6
/proc/19189/task/19197/stat : 19197 (java) R 19187 19189 10137 0 -1 4202560 19576 0 0 0 17 2 0 0 18 0 18 0 970119904 6587600896 557798 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 47861334018988 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=19189/tid=19198] ppid=19187 vsize=6433204 CPUtime=0.39 cores=4,6
/proc/19189/task/19198/stat : 19198 (java) R 19187 19189 10137 0 -1 4202560 43372 0 0 0 34 5 0 0 18 0 18 0 970119904 6587600896 557800 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 47861329594041 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=19189/tid=19199] ppid=19187 vsize=6433204 CPUtime=0.44 cores=4,6
/proc/19189/task/19199/stat : 19199 (java) R 19187 19189 10137 0 -1 4202560 51906 0 0 0 38 6 0 0 18 0 18 0 970119904 6587600896 557802 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 47861329594099 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=19189/tid=19200] ppid=19187 vsize=6433204 CPUtime=0.41 cores=4,6
/proc/19189/task/19200/stat : 19200 (java) R 19187 19189 10137 0 -1 4202560 41568 0 0 0 36 5 0 0 18 0 18 0 970119904 6587600896 557804 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 47861329594037 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=19189/tid=19202] ppid=19187 vsize=6433204 CPUtime=0 cores=4,6
/proc/19189/task/19202/stat : 19202 (java) S 19187 19189 10137 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 18 0 970119905 6587600896 557805 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 231907306393 0 0 0 16800975 18446604453859125440 0 0 -1 6 0 0 0
[pid=19189/tid=19203] ppid=19187 vsize=6433204 CPUtime=0 cores=4,6
/proc/19189/task/19203/stat : 19203 (java) S 19187 19189 10137 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 970119905 6587600896 557807 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 231907306393 0 4 0 16800975 18446604453859125440 0 0 -1 4 0 0 0
[pid=19189/tid=19204] ppid=19187 vsize=6433204 CPUtime=0 cores=4,6
/proc/19189/task/19204/stat : 19204 (java) S 19187 19189 10137 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 970119905 6587600896 557809 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 231907306393 0 4 0 16800975 18446604453859125440 0 0 -1 4 0 0 0
[pid=19189/tid=19207] ppid=19187 vsize=6433204 CPUtime=0 cores=4,6
/proc/19189/task/19207/stat : 19207 (java) S 19187 19189 10137 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 970119907 6587600896 557810 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 231907314097 0 4 0 16800975 18446604453859125440 0 0 -1 4 0 0 0
[pid=19189/tid=19208] ppid=19187 vsize=6433204 CPUtime=0.3 cores=4,6
/proc/19189/task/19208/stat : 19208 (java) S 19187 19189 10137 0 -1 4202560 2444 0 0 0 30 0 0 0 15 0 18 0 970119907 6587600896 557812 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 231907306393 0 4 0 16800975 18446604453859125440 0 0 -1 6 0 0 0
[pid=19189/tid=19209] ppid=19187 vsize=6433204 CPUtime=0.37 cores=4,6
/proc/19189/task/19209/stat : 19209 (java) S 19187 19189 10137 0 -1 4202560 3027 0 0 0 36 1 0 0 15 0 18 0 970119907 6587600896 557814 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 231907306393 0 4 0 16800975 18446604453859125440 0 0 -1 4 0 0 0
[pid=19189/tid=19210] ppid=19187 vsize=6433204 CPUtime=0 cores=4,6
/proc/19189/task/19210/stat : 19210 (java) S 19187 19189 10137 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 970119907 6587600896 557816 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 231907306393 0 4 0 16800975 18446604453859125440 0 0 -1 4 0 0 0
[pid=19189/tid=19211] ppid=19187 vsize=6433204 CPUtime=0 cores=4,6
/proc/19189/task/19211/stat : 19211 (java) S 19187 19189 10137 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 970119907 6587600896 557817 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 231907307008 0 4 0 16800975 18446604453859125440 0 0 -1 6 0 0 0

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

[pid=19189/tid=19195] ppid=19187 vsize=6441596 CPUtime=2.4 cores=4,6
/proc/19189/task/19195/stat : 19195 (java) S 19187 19189 10137 0 -1 4202560 52946 0 0 0 232 8 0 0 16 0 18 0 970119904 6596194304 829804 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 231907306393 0 4 0 16800975 18446604453859125440 0 0 -1 4 0 0 0
[pid=19189/tid=19196] ppid=19187 vsize=6441596 CPUtime=2.87 cores=4,6
/proc/19189/task/19196/stat : 19196 (java) S 19187 19189 10137 0 -1 4202560 22076 0 0 0 283 4 0 0 16 0 18 0 970119904 6596194304 829804 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 231907306393 0 4 0 16800975 18446604453859125440 0 0 -1 6 0 0 0
[pid=19189/tid=19197] ppid=19187 vsize=6441596 CPUtime=2.86 cores=4,6
/proc/19189/task/19197/stat : 19197 (java) S 19187 19189 10137 0 -1 4202560 72514 0 0 0 275 11 0 0 15 0 18 0 970119904 6596194304 829804 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 231907306393 0 4 0 16800975 18446604453859125440 0 0 -1 6 0 0 0
[pid=19189/tid=19198] ppid=19187 vsize=6441596 CPUtime=2.8 cores=4,6
/proc/19189/task/19198/stat : 19198 (java) S 19187 19189 10137 0 -1 4202560 72205 0 0 0 269 11 0 0 15 0 18 0 970119904 6596194304 829804 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 231907306393 0 4 0 16800975 18446604453859125440 0 0 -1 4 0 0 0
[pid=19189/tid=19199] ppid=19187 vsize=6441596 CPUtime=3.36 cores=4,6
/proc/19189/task/19199/stat : 19199 (java) S 19187 19189 10137 0 -1 4202560 104367 0 0 0 319 17 0 0 16 0 18 0 970119904 6596194304 829804 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 231907306393 0 4 0 16800975 18446604453859125440 0 0 -1 6 0 0 0
[pid=19189/tid=19200] ppid=19187 vsize=6441596 CPUtime=2.62 cores=4,6
/proc/19189/task/19200/stat : 19200 (java) S 19187 19189 10137 0 -1 4202560 52539 0 0 0 254 8 0 0 15 0 18 0 970119904 6596194304 829804 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 231907306393 0 4 0 16800975 18446604453859125440 0 0 -1 6 0 0 0
[pid=19189/tid=19202] ppid=19187 vsize=6441596 CPUtime=0.07 cores=4,6
/proc/19189/task/19202/stat : 19202 (java) S 19187 19189 10137 0 -1 4202560 46 0 0 0 3 4 0 0 15 0 18 0 970119905 6596194304 829804 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 231907307008 0 0 0 16800975 18446604453859125440 0 0 -1 4 0 0 0
[pid=19189/tid=19203] ppid=19187 vsize=6441596 CPUtime=0 cores=4,6
/proc/19189/task/19203/stat : 19203 (java) S 19187 19189 10137 0 -1 4202560 27 0 0 0 0 0 0 0 15 0 18 0 970119905 6596194304 829804 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 231907306393 0 4 0 16800975 18446604453859125440 0 0 -1 4 0 0 0
[pid=19189/tid=19204] ppid=19187 vsize=6441596 CPUtime=0 cores=4,6
/proc/19189/task/19204/stat : 19204 (java) S 19187 19189 10137 0 -1 4202560 64 0 0 0 0 0 0 0 15 0 18 0 970119905 6596194304 829804 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 231907306393 0 4 0 16800975 18446604453859125440 0 0 -1 6 0 0 0
[pid=19189/tid=19207] ppid=19187 vsize=6441596 CPUtime=0 cores=4,6
/proc/19189/task/19207/stat : 19207 (java) S 19187 19189 10137 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 970119907 6596194304 829804 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 231907314097 0 4 0 16800975 18446604453859125440 0 0 -1 4 0 0 0
[pid=19189/tid=19208] ppid=19187 vsize=6441596 CPUtime=0.69 cores=4,6
/proc/19189/task/19208/stat : 19208 (java) S 19187 19189 10137 0 -1 4202560 6498 0 0 0 69 0 0 0 15 0 18 0 970119907 6596194304 829804 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 231907306393 0 4 0 16800975 18446604453859125440 0 0 -1 6 0 0 0
[pid=19189/tid=19209] ppid=19187 vsize=6441596 CPUtime=0.38 cores=4,6
/proc/19189/task/19209/stat : 19209 (java) S 19187 19189 10137 0 -1 4202560 3032 0 0 0 37 1 0 0 15 0 18 0 970119907 6596194304 829804 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 231907306393 0 4 0 16800975 18446604453859125440 0 0 -1 4 0 0 0
[pid=19189/tid=19210] ppid=19187 vsize=6441596 CPUtime=0 cores=4,6
/proc/19189/task/19210/stat : 19210 (java) S 19187 19189 10137 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 970119907 6596194304 829804 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 231907306393 0 4 0 16800975 18446604453859125440 0 0 -1 4 0 0 0
[pid=19189/tid=19211] ppid=19187 vsize=6441596 CPUtime=0 cores=4,6
/proc/19189/task/19211/stat : 19211 (java) S 19187 19189 10137 0 -1 4202560 66 0 0 0 0 0 0 0 15 0 18 0 970119907 6596194304 829804 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 231907307008 0 4 0 16800975 18446604453859125440 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1151.22
Current children cumulated vsize (KiB) 6441596

[startup+1142.9 s]
/proc/loadavg: 3.17 3.29 2.80 4/236 23645
/proc/meminfo: memFree=20471724/32950928 swapFree=67054844/67111528
[pid=19189] ppid=19187 vsize=6441596 CPUtime=1154.42 cores=4,6
/proc/19189/stat : 19189 (java) S 19187 19189 10137 0 -1 4202496 845022 0 1 0 115315 127 0 0 22 0 18 0 970119902 6596194304 829804 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/19189/statm: 1610399 829804 2241 9 0 1601137 0
[pid=19189/tid=19191] ppid=19187 vsize=6441596 CPUtime=1131.26 cores=4,6
/proc/19189/task/19191/stat : 19191 (java) R 19187 19189 10137 0 -1 4202560 391677 0 1 0 113083 43 0 0 25 0 18 0 970119903 6596194304 829804 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 46912505645592 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=19189/tid=19193] ppid=19187 vsize=6441596 CPUtime=2.5 cores=4,6
/proc/19189/task/19193/stat : 19193 (java) S 19187 19189 10137 0 -1 4202560 51648 0 0 0 242 8 0 0 15 0 18 0 970119904 6596194304 829804 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 231907306393 0 4 0 16800975 18446604453859125440 0 0 -1 6 0 0 0
[pid=19189/tid=19194] ppid=19187 vsize=6441596 CPUtime=2.41 cores=4,6
/proc/19189/task/19194/stat : 19194 (java) S 19187 19189 10137 0 -1 4202560 14137 0 0 0 238 3 0 0 15 0 18 0 970119904 6596194304 829804 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 231907306393 0 4 0 16800975 18446604453859125440 0 0 -1 4 0 0 0
[pid=19189/tid=19195] ppid=19187 vsize=6441596 CPUtime=2.4 cores=4,6
/proc/19189/task/19195/stat : 19195 (java) S 19187 19189 10137 0 -1 4202560 52946 0 0 0 232 8 0 0 16 0 18 0 970119904 6596194304 829804 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 231907306393 0 4 0 16800975 18446604453859125440 0 0 -1 4 0 0 0
[pid=19189/tid=19196] ppid=19187 vsize=6441596 CPUtime=2.87 cores=4,6
/proc/19189/task/19196/stat : 19196 (java) S 19187 19189 10137 0 -1 4202560 22076 0 0 0 283 4 0 0 16 0 18 0 970119904 6596194304 829804 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 231907306393 0 4 0 16800975 18446604453859125440 0 0 -1 6 0 0 0
[pid=19189/tid=19197] ppid=19187 vsize=6441596 CPUtime=2.86 cores=4,6
/proc/19189/task/19197/stat : 19197 (java) S 19187 19189 10137 0 -1 4202560 72514 0 0 0 275 11 0 0 15 0 18 0 970119904 6596194304 829804 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 231907306393 0 4 0 16800975 18446604453859125440 0 0 -1 6 0 0 0
[pid=19189/tid=19198] ppid=19187 vsize=6441596 CPUtime=2.8 cores=4,6
/proc/19189/task/19198/stat : 19198 (java) S 19187 19189 10137 0 -1 4202560 72205 0 0 0 269 11 0 0 15 0 18 0 970119904 6596194304 829804 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 231907306393 0 4 0 16800975 18446604453859125440 0 0 -1 4 0 0 0
[pid=19189/tid=19199] ppid=19187 vsize=6441596 CPUtime=3.36 cores=4,6
/proc/19189/task/19199/stat : 19199 (java) S 19187 19189 10137 0 -1 4202560 104367 0 0 0 319 17 0 0 16 0 18 0 970119904 6596194304 829804 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 231907306393 0 4 0 16800975 18446604453859125440 0 0 -1 6 0 0 0
[pid=19189/tid=19200] ppid=19187 vsize=6441596 CPUtime=2.62 cores=4,6
/proc/19189/task/19200/stat : 19200 (java) S 19187 19189 10137 0 -1 4202560 52539 0 0 0 254 8 0 0 15 0 18 0 970119904 6596194304 829804 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 231907306393 0 4 0 16800975 18446604453859125440 0 0 -1 6 0 0 0
[pid=19189/tid=19202] ppid=19187 vsize=6441596 CPUtime=0.07 cores=4,6
/proc/19189/task/19202/stat : 19202 (java) S 19187 19189 10137 0 -1 4202560 46 0 0 0 3 4 0 0 15 0 18 0 970119905 6596194304 829804 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 231907307008 0 0 0 16800975 18446604453859125440 0 0 -1 4 0 0 0
[pid=19189/tid=19203] ppid=19187 vsize=6441596 CPUtime=0 cores=4,6
/proc/19189/task/19203/stat : 19203 (java) S 19187 19189 10137 0 -1 4202560 27 0 0 0 0 0 0 0 15 0 18 0 970119905 6596194304 829804 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 231907306393 0 4 0 16800975 18446604453859125440 0 0 -1 4 0 0 0
[pid=19189/tid=19204] ppid=19187 vsize=6441596 CPUtime=0 cores=4,6
/proc/19189/task/19204/stat : 19204 (java) S 19187 19189 10137 0 -1 4202560 64 0 0 0 0 0 0 0 15 0 18 0 970119905 6596194304 829804 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 231907306393 0 4 0 16800975 18446604453859125440 0 0 -1 6 0 0 0
[pid=19189/tid=19207] ppid=19187 vsize=6441596 CPUtime=0 cores=4,6
/proc/19189/task/19207/stat : 19207 (java) S 19187 19189 10137 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 970119907 6596194304 829804 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 231907314097 0 4 0 16800975 18446604453859125440 0 0 -1 4 0 0 0
[pid=19189/tid=19208] ppid=19187 vsize=6441596 CPUtime=0.69 cores=4,6
/proc/19189/task/19208/stat : 19208 (java) S 19187 19189 10137 0 -1 4202560 6498 0 0 0 69 0 0 0 15 0 18 0 970119907 6596194304 829804 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 231907306393 0 4 0 16800975 18446604453859125440 0 0 -1 6 0 0 0
[pid=19189/tid=19209] ppid=19187 vsize=6441596 CPUtime=0.38 cores=4,6
/proc/19189/task/19209/stat : 19209 (java) S 19187 19189 10137 0 -1 4202560 3032 0 0 0 37 1 0 0 15 0 18 0 970119907 6596194304 829804 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 231907306393 0 4 0 16800975 18446604453859125440 0 0 -1 4 0 0 0
[pid=19189/tid=19210] ppid=19187 vsize=6441596 CPUtime=0 cores=4,6
/proc/19189/task/19210/stat : 19210 (java) S 19187 19189 10137 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 970119907 6596194304 829804 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 231907306393 0 4 0 16800975 18446604453859125440 0 0 -1 4 0 0 0
[pid=19189/tid=19211] ppid=19187 vsize=6441596 CPUtime=0 cores=4,6
/proc/19189/task/19211/stat : 19211 (java) S 19187 19189 10137 0 -1 4202560 66 0 0 0 0 0 0 0 15 0 18 0 970119907 6596194304 829804 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 231907307008 0 4 0 16800975 18446604453859125440 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1154.42
Current children cumulated vsize (KiB) 6441596

[startup+1143.7 s]
/proc/loadavg: 3.17 3.29 2.80 4/236 23689
/proc/meminfo: memFree=20471840/32950928 swapFree=67054844/67111528
[pid=19189] ppid=19187 vsize=6441596 CPUtime=1155.22 cores=4,6
/proc/19189/stat : 19189 (java) S 19187 19189 10137 0 -1 4202496 845022 0 1 0 115395 127 0 0 22 0 18 0 970119902 6596194304 829804 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/19189/statm: 1610399 829804 2241 9 0 1601137 0
[pid=19189/tid=19191] ppid=19187 vsize=6441596 CPUtime=1132.05 cores=4,6
/proc/19189/task/19191/stat : 19191 (java) R 19187 19189 10137 0 -1 4202560 391677 0 1 0 113162 43 0 0 25 0 18 0 970119903 6596194304 829804 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 46912505645592 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=19189/tid=19193] ppid=19187 vsize=6441596 CPUtime=2.5 cores=4,6
/proc/19189/task/19193/stat : 19193 (java) S 19187 19189 10137 0 -1 4202560 51648 0 0 0 242 8 0 0 15 0 18 0 970119904 6596194304 829804 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 231907306393 0 4 0 16800975 18446604453859125440 0 0 -1 6 0 0 0
[pid=19189/tid=19194] ppid=19187 vsize=6441596 CPUtime=2.41 cores=4,6
/proc/19189/task/19194/stat : 19194 (java) S 19187 19189 10137 0 -1 4202560 14137 0 0 0 238 3 0 0 15 0 18 0 970119904 6596194304 829804 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 231907306393 0 4 0 16800975 18446604453859125440 0 0 -1 4 0 0 0
[pid=19189/tid=19195] ppid=19187 vsize=6441596 CPUtime=2.4 cores=4,6
/proc/19189/task/19195/stat : 19195 (java) S 19187 19189 10137 0 -1 4202560 52946 0 0 0 232 8 0 0 16 0 18 0 970119904 6596194304 829804 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 231907306393 0 4 0 16800975 18446604453859125440 0 0 -1 4 0 0 0
[pid=19189/tid=19196] ppid=19187 vsize=6441596 CPUtime=2.87 cores=4,6
/proc/19189/task/19196/stat : 19196 (java) S 19187 19189 10137 0 -1 4202560 22076 0 0 0 283 4 0 0 16 0 18 0 970119904 6596194304 829804 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 231907306393 0 4 0 16800975 18446604453859125440 0 0 -1 6 0 0 0
[pid=19189/tid=19197] ppid=19187 vsize=6441596 CPUtime=2.86 cores=4,6
/proc/19189/task/19197/stat : 19197 (java) S 19187 19189 10137 0 -1 4202560 72514 0 0 0 275 11 0 0 15 0 18 0 970119904 6596194304 829804 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 231907306393 0 4 0 16800975 18446604453859125440 0 0 -1 6 0 0 0
[pid=19189/tid=19198] ppid=19187 vsize=6441596 CPUtime=2.8 cores=4,6
/proc/19189/task/19198/stat : 19198 (java) S 19187 19189 10137 0 -1 4202560 72205 0 0 0 269 11 0 0 15 0 18 0 970119904 6596194304 829804 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 231907306393 0 4 0 16800975 18446604453859125440 0 0 -1 4 0 0 0
[pid=19189/tid=19199] ppid=19187 vsize=6441596 CPUtime=3.36 cores=4,6
/proc/19189/task/19199/stat : 19199 (java) S 19187 19189 10137 0 -1 4202560 104367 0 0 0 319 17 0 0 16 0 18 0 970119904 6596194304 829804 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 231907306393 0 4 0 16800975 18446604453859125440 0 0 -1 6 0 0 0
[pid=19189/tid=19200] ppid=19187 vsize=6441596 CPUtime=2.62 cores=4,6
/proc/19189/task/19200/stat : 19200 (java) S 19187 19189 10137 0 -1 4202560 52539 0 0 0 254 8 0 0 15 0 18 0 970119904 6596194304 829804 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 231907306393 0 4 0 16800975 18446604453859125440 0 0 -1 6 0 0 0
[pid=19189/tid=19202] ppid=19187 vsize=6441596 CPUtime=0.07 cores=4,6
/proc/19189/task/19202/stat : 19202 (java) S 19187 19189 10137 0 -1 4202560 46 0 0 0 3 4 0 0 15 0 18 0 970119905 6596194304 829804 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 231907307008 0 0 0 16800975 18446604453859125440 0 0 -1 4 0 0 0
[pid=19189/tid=19203] ppid=19187 vsize=6441596 CPUtime=0 cores=4,6
/proc/19189/task/19203/stat : 19203 (java) S 19187 19189 10137 0 -1 4202560 27 0 0 0 0 0 0 0 15 0 18 0 970119905 6596194304 829804 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 231907306393 0 4 0 16800975 18446604453859125440 0 0 -1 4 0 0 0
[pid=19189/tid=19204] ppid=19187 vsize=6441596 CPUtime=0 cores=4,6
/proc/19189/task/19204/stat : 19204 (java) S 19187 19189 10137 0 -1 4202560 64 0 0 0 0 0 0 0 15 0 18 0 970119905 6596194304 829804 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 231907306393 0 4 0 16800975 18446604453859125440 0 0 -1 6 0 0 0
[pid=19189/tid=19207] ppid=19187 vsize=6441596 CPUtime=0 cores=4,6
/proc/19189/task/19207/stat : 19207 (java) S 19187 19189 10137 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 970119907 6596194304 829804 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 231907314097 0 4 0 16800975 18446604453859125440 0 0 -1 4 0 0 0
[pid=19189/tid=19208] ppid=19187 vsize=6441596 CPUtime=0.69 cores=4,6
/proc/19189/task/19208/stat : 19208 (java) S 19187 19189 10137 0 -1 4202560 6498 0 0 0 69 0 0 0 15 0 18 0 970119907 6596194304 829804 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 231907306393 0 4 0 16800975 18446604453859125440 0 0 -1 6 0 0 0
[pid=19189/tid=19209] ppid=19187 vsize=6441596 CPUtime=0.38 cores=4,6
/proc/19189/task/19209/stat : 19209 (java) S 19187 19189 10137 0 -1 4202560 3032 0 0 0 37 1 0 0 15 0 18 0 970119907 6596194304 829804 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 231907306393 0 4 0 16800975 18446604453859125440 0 0 -1 4 0 0 0
[pid=19189/tid=19210] ppid=19187 vsize=6441596 CPUtime=0 cores=4,6
/proc/19189/task/19210/stat : 19210 (java) S 19187 19189 10137 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 970119907 6596194304 829804 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 231907306393 0 4 0 16800975 18446604453859125440 0 0 -1 4 0 0 0
[pid=19189/tid=19211] ppid=19187 vsize=6441596 CPUtime=0 cores=4,6
/proc/19189/task/19211/stat : 19211 (java) S 19187 19189 10137 0 -1 4202560 66 0 0 0 0 0 0 0 15 0 18 0 970119907 6596194304 829804 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 231907307008 0 4 0 16800975 18446604453859125440 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1155.22
Current children cumulated vsize (KiB) 6441596

[startup+1144.5 s]
/proc/loadavg: 3.17 3.29 2.80 4/236 23739
/proc/meminfo: memFree=20471732/32950928 swapFree=67054844/67111528
[pid=19189] ppid=19187 vsize=6441596 CPUtime=1156.03 cores=4,6
/proc/19189/stat : 19189 (java) S 19187 19189 10137 0 -1 4202496 845022 0 1 0 115476 127 0 0 22 0 18 0 970119902 6596194304 829804 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/19189/statm: 1610399 829804 2241 9 0 1601137 0
[pid=19189/tid=19191] ppid=19187 vsize=6441596 CPUtime=1132.86 cores=4,6
/proc/19189/task/19191/stat : 19191 (java) R 19187 19189 10137 0 -1 4202560 391677 0 1 0 113243 43 0 0 25 0 18 0 970119903 6596194304 829804 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 46912505645587 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=19189/tid=19193] ppid=19187 vsize=6441596 CPUtime=2.5 cores=4,6
/proc/19189/task/19193/stat : 19193 (java) S 19187 19189 10137 0 -1 4202560 51648 0 0 0 242 8 0 0 15 0 18 0 970119904 6596194304 829804 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 231907306393 0 4 0 16800975 18446604453859125440 0 0 -1 6 0 0 0
[pid=19189/tid=19194] ppid=19187 vsize=6441596 CPUtime=2.41 cores=4,6
/proc/19189/task/19194/stat : 19194 (java) S 19187 19189 10137 0 -1 4202560 14137 0 0 0 238 3 0 0 15 0 18 0 970119904 6596194304 829804 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 231907306393 0 4 0 16800975 18446604453859125440 0 0 -1 4 0 0 0
[pid=19189/tid=19195] ppid=19187 vsize=6441596 CPUtime=2.4 cores=4,6
/proc/19189/task/19195/stat : 19195 (java) S 19187 19189 10137 0 -1 4202560 52946 0 0 0 232 8 0 0 16 0 18 0 970119904 6596194304 829804 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 231907306393 0 4 0 16800975 18446604453859125440 0 0 -1 4 0 0 0
[pid=19189/tid=19196] ppid=19187 vsize=6441596 CPUtime=2.87 cores=4,6
/proc/19189/task/19196/stat : 19196 (java) S 19187 19189 10137 0 -1 4202560 22076 0 0 0 283 4 0 0 16 0 18 0 970119904 6596194304 829804 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 231907306393 0 4 0 16800975 18446604453859125440 0 0 -1 6 0 0 0
[pid=19189/tid=19197] ppid=19187 vsize=6441596 CPUtime=2.86 cores=4,6
/proc/19189/task/19197/stat : 19197 (java) S 19187 19189 10137 0 -1 4202560 72514 0 0 0 275 11 0 0 15 0 18 0 970119904 6596194304 829804 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 231907306393 0 4 0 16800975 18446604453859125440 0 0 -1 6 0 0 0
[pid=19189/tid=19198] ppid=19187 vsize=6441596 CPUtime=2.8 cores=4,6
/proc/19189/task/19198/stat : 19198 (java) S 19187 19189 10137 0 -1 4202560 72205 0 0 0 269 11 0 0 15 0 18 0 970119904 6596194304 829804 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 231907306393 0 4 0 16800975 18446604453859125440 0 0 -1 4 0 0 0
[pid=19189/tid=19199] ppid=19187 vsize=6441596 CPUtime=3.36 cores=4,6
/proc/19189/task/19199/stat : 19199 (java) S 19187 19189 10137 0 -1 4202560 104367 0 0 0 319 17 0 0 16 0 18 0 970119904 6596194304 829804 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 231907306393 0 4 0 16800975 18446604453859125440 0 0 -1 6 0 0 0
[pid=19189/tid=19200] ppid=19187 vsize=6441596 CPUtime=2.62 cores=4,6
/proc/19189/task/19200/stat : 19200 (java) S 19187 19189 10137 0 -1 4202560 52539 0 0 0 254 8 0 0 15 0 18 0 970119904 6596194304 829804 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 231907306393 0 4 0 16800975 18446604453859125440 0 0 -1 6 0 0 0
[pid=19189/tid=19202] ppid=19187 vsize=6441596 CPUtime=0.07 cores=4,6
/proc/19189/task/19202/stat : 19202 (java) S 19187 19189 10137 0 -1 4202560 46 0 0 0 3 4 0 0 15 0 18 0 970119905 6596194304 829804 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 231907307008 0 0 0 16800975 18446604453859125440 0 0 -1 4 0 0 0
[pid=19189/tid=19203] ppid=19187 vsize=6441596 CPUtime=0 cores=4,6
/proc/19189/task/19203/stat : 19203 (java) S 19187 19189 10137 0 -1 4202560 27 0 0 0 0 0 0 0 15 0 18 0 970119905 6596194304 829804 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 231907306393 0 4 0 16800975 18446604453859125440 0 0 -1 4 0 0 0
[pid=19189/tid=19204] ppid=19187 vsize=6441596 CPUtime=0 cores=4,6
/proc/19189/task/19204/stat : 19204 (java) S 19187 19189 10137 0 -1 4202560 64 0 0 0 0 0 0 0 15 0 18 0 970119905 6596194304 829804 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 231907306393 0 4 0 16800975 18446604453859125440 0 0 -1 6 0 0 0
[pid=19189/tid=19207] ppid=19187 vsize=6441596 CPUtime=0 cores=4,6
/proc/19189/task/19207/stat : 19207 (java) S 19187 19189 10137 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 970119907 6596194304 829804 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 231907314097 0 4 0 16800975 18446604453859125440 0 0 -1 4 0 0 0
[pid=19189/tid=19208] ppid=19187 vsize=6441596 CPUtime=0.69 cores=4,6
/proc/19189/task/19208/stat : 19208 (java) S 19187 19189 10137 0 -1 4202560 6498 0 0 0 69 0 0 0 15 0 18 0 970119907 6596194304 829804 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 231907306393 0 4 0 16800975 18446604453859125440 0 0 -1 6 0 0 0
[pid=19189/tid=19209] ppid=19187 vsize=6441596 CPUtime=0.38 cores=4,6
/proc/19189/task/19209/stat : 19209 (java) S 19187 19189 10137 0 -1 4202560 3032 0 0 0 37 1 0 0 15 0 18 0 970119907 6596194304 829804 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 231907306393 0 4 0 16800975 18446604453859125440 0 0 -1 4 0 0 0
[pid=19189/tid=19210] ppid=19187 vsize=6441596 CPUtime=0 cores=4,6
/proc/19189/task/19210/stat : 19210 (java) S 19187 19189 10137 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 970119907 6596194304 829804 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 231907306393 0 4 0 16800975 18446604453859125440 0 0 -1 4 0 0 0
[pid=19189/tid=19211] ppid=19187 vsize=6441596 CPUtime=0 cores=4,6
/proc/19189/task/19211/stat : 19211 (java) S 19187 19189 10137 0 -1 4202560 66 0 0 0 0 0 0 0 15 0 18 0 970119907 6596194304 829804 33554432000 1073741824 1073778376 140736751007264 18446744073709551615 231907307008 0 4 0 16800975 18446604453859125440 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1156.03
Current children cumulated vsize (KiB) 6441596

[startup+1144.7 s]
/proc/loadavg: 3.17 3.29 2.80 4/236 23739
/proc/meminfo: memFree=20471732/32950928 swapFree=67054844/67111528
[pid=19189] ppid=19187 vsize=0 CPUtime=1156.23 cores=4,6
/proc/19189/stat : 19189 (java) Z 19187 19189 10137 0 -1 4203548 845032 0 1 0 115492 131 0 0 18 0 2 0 970119902 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/19189/statm: 0 0 0 0 0 0 0
[pid=19189/tid=19200] ppid=19187 vsize=0 CPUtime=2.66 cores=4,6
/proc/19189/task/19200/stat : 19200 (java) R 19187 19189 10137 0 -1 4203588 52539 0 0 0 254 12 0 0 15 0 2 0 970119904 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1156.23
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 1144.79
CPU time (s): 1156.32
CPU user time (s): 1154.92
CPU system time (s): 1.39679
CPU usage (%): 101.007
Max. virtual memory (cumulated for all children) (KiB): 6445220

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1154.92
system time used= 1.39679
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 845032
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= 31586
involuntary context switches= 16882

runsolver used 2.11768 second user time and 4.26335 second system time

The end

Begin job on node114 at 2011-06-11 15:28:12
IDJOB=3493252
IDBENCH=89283
IDSOLVER=1972
FILE ID=node114/3493252-1307798890
RUNJOBID= node114-1307798811-10156
PBS_JOBID= 13551038
Free space on /tmp= 74068 MiB

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

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

MD5SUM BENCH= 7d84d9ba8c0371564469bdee41cdd8a0
RANDOM SEED=537549519

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

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      27214656 kB
Buffers:        300580 kB
Cached:        1221560 kB
SwapCached:      10540 kB
Active:        4451232 kB
Inactive:      1045676 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      27214656 kB
SwapTotal:    67111528 kB
SwapFree:     67054844 kB
Dirty:           47028 kB
Writeback:           0 kB
AnonPages:     3972156 kB
Mapped:          21148 kB
Slab:           165788 kB
PageTables:      13544 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 19075380 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= 74056 MiB
End job on node114 at 2011-06-11 15:47:17