0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.11	c version 2.3.0.v20110206
0.00/0.11	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.11	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.11	c java.vm.version	19.1-b02
0.00/0.11	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.11	c sun.arch.data.model	64
0.00/0.11	c java.version		1.6.0_24
0.00/0.11	c os.name		Linux
0.00/0.11	c os.version		2.6.18-164.el5
0.00/0.11	c os.arch		amd64
0.00/0.11	c Free memory 		5997854704
0.00/0.11	c Max memory 		6029312000
0.00/0.11	c Total memory 		6029312000
0.00/0.11	c Number of processors 	8
0.00/0.11	c Explanation (MUS) enabled solver
0.00/0.11	c QuickXplain (AAAI 2004 version) minimization strategy
0.00/0.11	c --- Begin Solver configuration ---
0.00/0.11	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@1d73831b
0.00/0.11	c Learn all clauses as in MiniSAT
0.00/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 
0.00/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT
0.00/0.11	c Expensive reason simplification
0.00/0.11	c Armin Biere (Picosat) restarts strategy
0.00/0.11	c Glucose learned constraints deletion strategy
0.00/0.11	c timeout=2147483647s
0.00/0.11	c DB Simplification allowed=true
0.00/0.11	c --- End Solver configuration ---
0.00/0.11	c solving HOME/instance-3493556-1307800854.cnf
0.00/0.11	c reading problem ... 
1.46/1.30	c ... done. Wall clock time 1.206s.
1.46/1.30	c #vars     1182706
1.46/1.30	c #constraints  908255
1.46/1.30	c constraints type 
1.46/1.30	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 902970
1.46/1.30	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 5285
11.21/10.83	c Unsat detection wall clock time (in seconds) : 10.729
11.21/10.83	c Size of initial unsat subformula: 592
11.21/10.83	c Computing MUS ...
11.21/10.83	c initial unsat core 16999[?] 1182704[?] 274451[?]  16998[?] -16999[?] 316495[?]  16997[?] -16998[?] 316492[?]  6273[?] -16998[?] 316491[?]  16996[?] 551[?] -16997[?] 316489[?]  -551[?] 11259[?] -16997[?] 316487[?]  16995[?] 1460[?] -16996[?] 316485[?]  -1460[?] 11262[?] -16996[?] 316483[?]  16926[?] -1821[?] -16995[?] 316479[?]  2046[?] -16926[?] 11330[?] 316412[?]  16925[?] -2046[?] -16926[?] 316410[?]  16924[?] -16925[?] 2175[?] 316408[?]  -2175[?] -16925[?] 11333[?] 316406[?]  16923[?] -16924[?] 2304[?] 316404[?]  -2304[?] -16924[?] 11403[?] 316402[?]  16922[?] 2569[?] -16923[?] 316400[?]  -2569[?] 16379[?] -16923[?] 316398[?]  16921[?] 2859[?] -16922[?] 316396[?]  -2859[?] 14825[?] -16922[?] 316394[?]  16379[?] -16921[?] -5791[?] 316390[?]  11468[?] 16376[?] -16379[?] 315257[?]  -11468[?] 16378[?] -16379[?] 315255[?]  -16378[?] 16377[?] 315253[?]  -16377[?] 16376[?] 315250[?]  16375[?] 2569[?] -16376[?] 315248[?]  -2569[?] -16376[?] 11889[?] 315246[?]  16374[?] -16375[?] 315244[?]  5791[?] -16375[?] 315243[?]  16373[?] 3085[?] -16374[?] 315241[?]  16372[?] 5011[?] -16373[?] 315237[?]  -5011[?] 15974[?] -16373[?] 315235[?]  16371[?] 5301[?] -16372[?] 315233[?]  -5301[?] -16372[?] 16171[?] 315231[?]  5534[?] -16371[?] 16370[?] 315229[?]  -16370[?] 16369[?] 315225[?]  -16369[?] 16238[?] 315222[?]  -16238[?] 16169[?] 314896[?]  -16171[?] 16170[?] 314731[?]  -16170[?] 16169[?] 314728[?]  -16169[?] 15774[?] 314725[?]  -15974[?] 15973[?] 314270[?]  -15973[?] 15874[?] 314267[?]  -15874[?] 15775[?] 314101[?]  -15775[?] 15774[?] 313935[?]  15020[?] -15774[?] 3085[?] 313933[?]  14825[?] -15020[?] 312420[?]  14824[?] -14825[?] 2698[?] 311965[?]  -2698[?] -14825[?] 14425[?] 311963[?]  14426[?] -14824[?] 14823[?] 311961[?]  -14426[?] -14824[?] 14557[?] 311959[?]  -14823[?] 14822[?] 311957[?]  -14822[?] 14723[?] 311954[?]  -14723[?] 14624[?] 311788[?]  -14624[?] 14557[?] 311623[?]  -14557[?] 14225[?] 311456[?]  -14425[?] 14424[?] 311130[?]  -14424[?] 14325[?] 311127[?]  -14325[?] 14226[?] 310961[?]  -14226[?] 14225[?] 310795[?]  12052[?] -14225[?] 14224[?] 310793[?]  -12052[?] -14225[?] 13362[?] 310791[?]  13428[?] -14224[?] 14223[?] 310789[?]  -13428[?] -14224[?] 13561[?] 310787[?]  -14223[?] 13594[?] 14222[?] 310785[?]  -13594[?] -14223[?] 13725[?] 310783[?]  -14222[?] 14221[?] 310781[?]  -14221[?] 14122[?] 310778[?]  -14122[?] 14023[?] 310612[?]  -14023[?] 14020[?] 310446[?]  -14020[?] 13921[?] 310441[?]  -13921[?] 13822[?] 310275[?]  -13822[?] 13821[?] 310110[?]  -13821[?] 13725[?] 310106[?]  -13725[?] 13559[?] 309893[?]  -13561[?] 13560[?] 309567[?]  -13560[?] 13559[?] 309564[?]  -13559[?] 13362[?] 309561[?]  -13362[?] 13165[?] 309138[?]  12285[?] -13165[?] 13164[?] 308588[?]  -12285[?] -13165[?] 12887[?] 308586[?]  -13164[?] 12954[?] 308583[?]  -12954[?] 12416[?] 308036[?]  -12887[?] 12417[?] 307870[?]  -12417[?] 12416[?] 306838[?]  -12416[?] 11889[?] 306835[?]  -11889[?] 11888[?] 305625[?]  -11888[?] 11887[?] 4529[?] 305623[?]  -4529[?] -11888[?] 11885[?] 305621[?]  -11887[?] 11886[?] 305619[?]  -11886[?] 11885[?] 305615[?]  -11885[?] 11884[?] 305613[?]  -11884[?] 11883[?] 305610[?]  -11883[?] 11882[?] 4529[?] 305607[?]  -11883[?] -4529[?] 11880[?] 305605[?]  -11882[?] 11881[?] 305603[?]  -11881[?] 11880[?] 305599[?]  -11880[?] 11879[?] 305597[?]  -11879[?] 11878[?] 4529[?] 305594[?]  -11879[?] -4529[?] 11876[?] 305592[?]  -11878[?] 11877[?] 305590[?]  -11877[?] 11876[?] 305586[?]  -11876[?] 11875[?] 305584[?]  -11875[?] 4529[?] 11874[?] 305581[?]  -11875[?] -4529[?] 11806[?] 305579[?]  -11874[?] 11873[?] 305577[?]  -11873[?] 11806[?] 305573[?]  -11806[?] 11805[?] 305408[?]  -11805[?] 11401[?] 305404[?]  -11403[?] 11402[?] 304564[?]  -11402[?] 11401[?] 304561[?]  -11401[?] 11400[?] 304559[?]  -11400[?] 11331[?] 304556[?]  -11333[?] 11332[?] 304391[?]  -11332[?] 11331[?] 304388[?]  -11331[?] 11330[?] 304385[?]  -11330[?] 11329[?] 304383[?]  -11329[?] 11260[?] 304379[?]  -11262[?] 11261[?] 304214[?]  -11261[?] 11260[?] 304211[?]  -11260[?] 11259[?] 304208[?]  6692[?] 11258[?] -11259[?] 304206[?]  8836[?] -6692[?] -11259[?] 304204[?]  -11258[?] 11257[?] 10925[?] 304202[?]  -10925[?] -11258[?] 11056[?] 304200[?]  -11257[?] 11057[?] 11256[?] 304198[?]  -11057[?] -11257[?] 11188[?] 304196[?]  -11256[?] 11255[?] 304194[?]  -11255[?] 11188[?] 304191[?]  -11188[?] 11056[?] 304025[?]  -11056[?] 8836[?] 303698[?]  8835[?] -8836[?] 297267[?]  6692[?] -8835[?] 8832[?] 297265[?]  -8835[?] -6692[?] 8834[?] 297263[?]  -8834[?] 8833[?] 297261[?]  -8833[?] 8832[?] 297258[?]  -8832[?] 8831[?] 297255[?]  -8831[?] 8830[?] 297252[?]  -8830[?] 8829[?] 297249[?]  -8829[?] 953[?] 297246[?]  -953[?] -8829[?] 8828[?] 297245[?]  -8828[?] 8827[?] 297243[?]  8826[?] -8827[?] 297239[?]  8825[?] -8826[?] 297237[?]  8759[?] -8825[?] 297234[?]  8758[?] -8825[?] 297233[?]  -8760[?] -8759[?] 297231[?]  -8824[?] 8760[?] 297229[?]  -8823[?] -8792[?] 8824[?] 297225[?]  -8822[?] -8791[?] 8823[?] 297222[?]  -8821[?] -8790[?] 8822[?] 297219[?]  -8820[?] -8789[?] 8821[?] 297216[?]  -8819[?] -8788[?] 8820[?] 297213[?]  -8818[?] -8787[?] 8819[?] 297210[?]  -8817[?] -8786[?] 8818[?] 297207[?]  -8816[?] -8785[?] 8817[?] 297204[?]  -8815[?] -8784[?] 8816[?] 297201[?]  -8814[?] -8783[?] 8815[?] 297198[?]  -8813[?] -8782[?] 8814[?] 297195[?]  -8812[?] -8781[?] 8813[?] 297192[?]  -8811[?] -8780[?] 8812[?] 297189[?]  -8810[?] -8779[?] 8811[?] 297186[?]  -8809[?] -8778[?] 8810[?] 297183[?]  -8808[?] -8777[?] 8809[?] 297180[?]  -8807[?] -8776[?] 8808[?] 297177[?]  -8806[?] -8775[?] 8807[?] 297174[?]  -8805[?] -8774[?] 8806[?] 297171[?]  -8804[?] -8773[?] 8805[?] 297168[?]  -8803[?] -8772[?] 8804[?] 297165[?]  -8802[?] -8771[?] 8803[?] 297162[?]  -8801[?] -8770[?] 8802[?] 297159[?]  -8800[?] -8769[?] 8801[?] 297156[?]  -8799[?] -8768[?] 8800[?] 297153[?]  -8798[?] -8767[?] 8799[?] 297150[?]  -8797[?] -8766[?] 8798[?] 297147[?]  -8796[?] -8765[?] 8797[?] 297144[?]  -8795[?] -8764[?] 8796[?] 297141[?]  -8794[?] -8763[?] 8795[?] 297138[?]  -8793[?] -8762[?] 8794[?] 297135[?]  -8761[?] 8793[?] 297133[?]  550[?] 8792[?] 297131[?]  549[?] 8791[?] 297129[?]  548[?] 8790[?] 297127[?]  547[?] 8789[?] 297125[?]  8788[?] 546[?] 297123[?]  545[?] 8787[?] 297121[?]  544[?] 8786[?] 297119[?]  543[?] 8785[?] 297117[?]  542[?] 8784[?] 297115[?]  541[?] 8783[?] 297113[?]  540[?] 8782[?] 297111[?]  539[?] 8781[?] 297109[?]  538[?] 8780[?] 297107[?]  537[?] 8779[?] 297105[?]  536[?] 8778[?] 297103[?]  535[?] 8777[?] 297101[?]  534[?] 8776[?] 297099[?]  533[?] 8775[?] 297097[?]  532[?] 8774[?] 297095[?]  531[?] 8773[?] 297093[?]  530[?] 8772[?] 297091[?]  529[?] 8771[?] 297089[?]  528[?] 8770[?] 297087[?]  527[?] 8769[?] 297085[?]  526[?] 8768[?] 297083[?]  525[?] 8767[?] 297081[?]  524[?] 8766[?] 297079[?]  523[?] 8765[?] 297077[?]  522[?] 8764[?] 297075[?]  8763[?] 521[?] 297073[?]  520[?] 8762[?] 297071[?]  519[?] 8761[?] 297069[?]  8757[?] -8758[?] 100[?] 297068[?]  -100[?] 8412[?] -8758[?] 297066[?]  8756[?] 261[?] -8757[?] 297064[?]  -261[?] 8481[?] -8757[?] 297062[?]  390[?] -8756[?] 8755[?] 297060[?]  8554[?] -390[?] -8756[?] 297058[?]  -8755[?] -1146[?] 297054[?]  -8554[?] 8553[?] 261[?] 296598[?]  -8553[?] 8552[?] 296594[?]  -8552[?] 8551[?] 296591[?]  -8551[?] 261[?] 8550[?] 296589[?]  -8550[?] 8549[?] 296585[?]  -8549[?] 8548[?] 296583[?]  -8548[?] 8479[?] 296579[?]  -8481[?] 8480[?] 296414[?]  -8480[?] 8479[?] 296412[?]  -8479[?] 8412[?] 296408[?]  -8412[?] 8411[?] 296243[?]  -8411[?] 8410[?] 296240[?]  -8410[?] 8215[?] 296237[?]  -8215[?] 7956[?] 295810[?]  -7956[?] 7955[?] 295357[?]  -7955[?] 7954[?] 295354[?]  -7954[?] 7888[?] 295351[?]  -7888[?] -7889[?] 295348[?]  7889[?] -7953[?] 295346[?]  7953[?] -7952[?] -7921[?] 295342[?]  7952[?] -7951[?] -7920[?] 295339[?]  7951[?] -7950[?] -7919[?] 295336[?]  7950[?] -7949[?] -7918[?] 295333[?]  7949[?] -7948[?] -7917[?] 295330[?]  7948[?] -7947[?] -7916[?] 295327[?]  7947[?] -7946[?] -7915[?] 295324[?]  7946[?] -7945[?] -7914[?] 295321[?]  7945[?] -7944[?] -7913[?] 295318[?]  7944[?] -7943[?] -7912[?] 295315[?]  7943[?] -7942[?] -7911[?] 295312[?]  7942[?] -7941[?] -7910[?] 295309[?]  7941[?] -7940[?] -7909[?] 295306[?]  7940[?] -7939[?] -7908[?] 295303[?]  7939[?] -7938[?] -7907[?] 295300[?]  7938[?] -7937[?] -7906[?] 295297[?]  7937[?] -7936[?] -7905[?] 295294[?]  7936[?] -7935[?] -7904[?] 295291[?]  7935[?] -7934[?] -7903[?] 295288[?]  7934[?] -7933[?] -7902[?] 295285[?]  7933[?] -7932[?] -7901[?] 295282[?]  7932[?] -7931[?] -7900[?] 295279[?]  7931[?] -7930[?] -7899[?] 295276[?]  7930[?] -7929[?] -7898[?] 295273[?]  7929[?] -7928[?] -7897[?] 295270[?]  7928[?] -7927[?] -7896[?] 295267[?]  7927[?] -7926[?] -7895[?] 295264[?]  7926[?] -7925[?] -7894[?] 295261[?]  7925[?] -7924[?] -7893[?] 295258[?]  7924[?] -7923[?] -7892[?] 295255[?]  7923[?] -7922[?] -7891[?] 295252[?]  7922[?] -7890[?] 295250[?]  7921[?] 1145[?] 295248[?]  7920[?] 1144[?] 295246[?]  7919[?] 1143[?] 295244[?]  7918[?] 1142[?] 295242[?]  7917[?] 1141[?] 295240[?]  7916[?] 1140[?] 295238[?]  7915[?] 1139[?] 295236[?]  7914[?] 1138[?] 295234[?]  7913[?] 1137[?] 295232[?]  7912[?] 1136[?] 295230[?]  7911[?] 1135[?] 295228[?]  7910[?] 1134[?] 295226[?]  7909[?] 1133[?] 295224[?]  7908[?] 1132[?] 295222[?]  7907[?] 1131[?] 295220[?]  7906[?] 1130[?] 295218[?]  7905[?] 1129[?] 295216[?]  7904[?] 1128[?] 295214[?]  7903[?] 1127[?] 295212[?]  7902[?] 1126[?] 295210[?]  7901[?] 1125[?] 295208[?]  7900[?] 1124[?] 295206[?]  7899[?] 1123[?] 295204[?]  7898[?] 1122[?] 295202[?]  7897[?] 1121[?] 295200[?]  7896[?] 1120[?] 295198[?]  7895[?] 1119[?] 295196[?]  7894[?] 1118[?] 295194[?]  7893[?] 1117[?] 295192[?]  7892[?] 1116[?] 295190[?]  7891[?] 1115[?] 295188[?]  7890[?] 1114[?] 295186[?]  6337[?] -6273[?] 292208[?]  6305[?] -6337[?] 292207[?]  -6272[?] -6305[?] 292112[?]  6176[?] 6272[?] 292048[?]  6240[?] -6176[?] 291983[?]  6239[?] -6240[?] 291981[?]  6238[?] -6239[?] 291978[?]  6237[?] -6238[?] 291975[?]  6236[?] -6237[?] 291972[?]  6235[?] -6236[?] 291969[?]  6234[?] -6235[?] 291966[?]  6233[?] -6234[?] 291963[?]  6232[?] -6233[?] 291960[?]  6231[?] -6232[?] 291957[?]  6230[?] -6231[?] 291954[?]  6229[?] -6230[?] 291951[?]  6228[?] -6229[?] 291948[?]  6227[?] -6228[?] 291945[?]  6226[?] -6227[?] 291942[?]  6225[?] -6226[?] 291939[?]  6224[?] -6225[?] 291936[?]  6223[?] -6224[?] 291933[?]  6222[?] -6223[?] 291930[?]  6221[?] -6222[?] 291927[?]  6220[?] -6221[?] 291924[?]  6219[?] -6220[?] 291921[?]  6218[?] -6219[?] 291918[?]  6217[?] -6218[?] 291915[?]  6216[?] -6217[?] 291912[?]  6215[?] -6216[?] 291909[?]  6214[?] -6215[?] 291906[?]  6213[?] -6214[?] 291903[?]  6212[?] -6213[?] 291900[?]  6211[?] -6212[?] 291897[?]  6210[?] -6211[?] 291894[?]  6178[?] -6210[?] 291892[?]  6209[?] -6210[?] 291891[?]  6177[?] -6209[?] 291889[?]  -6145[?] -6178[?] 291827[?]  -6144[?] -6177[?] 291825[?]  -6113[?] 551[?] 6145[?] 291702[?]  -6112[?] 551[?] 6144[?] 291698[?]  -6081[?] 1460[?] 6113[?] 291574[?]  -6080[?] 1460[?] 6112[?] 291570[?]  1821[?] 6081[?] 291477[?]  -6017[?] 6081[?] -1821[?] 291475[?]  -6016[?] -1821[?] 6080[?] 291472[?]  -5985[?] -2046[?] 6017[?] 291348[?]  -5984[?] -2046[?] 6016[?] 291344[?]  -5953[?] 2175[?] 5985[?] 291222[?]  -5952[?] 2175[?] 5984[?] 291218[?]  -2304[?] 5953[?] 291123[?]  -5920[?] 2304[?] 5952[?] 291121[?]  -5888[?] 2569[?] 5920[?] 291025[?]  -5856[?] 2859[?] 5888[?] 290898[?]  5791[?] 5856[?] 290833[?]  5855[?] -5791[?] 290830[?]  5823[?] -5855[?] 290829[?]  5854[?] -5855[?] 290828[?]  5853[?] -5854[?] 290825[?]  5852[?] -5853[?] 290822[?]  5851[?] -5852[?] 290819[?]  5850[?] -5851[?] 290816[?]  5849[?] -5850[?] 290813[?]  5848[?] -5849[?] 290810[?]  5847[?] -5848[?] 290807[?]  5846[?] -5847[?] 290804[?]  5845[?] -5846[?] 290801[?]  5844[?] -5845[?] 290798[?]  5843[?] -5844[?] 290795[?]  5842[?] -5843[?] 290792[?]  5841[?] -5842[?] 290789[?]  5840[?] -5841[?] 290786[?]  5839[?] -5840[?] 290783[?]  5838[?] -5839[?] 290780[?]  5837[?] -5838[?] 290777[?]  5836[?] -5837[?] 290774[?]  5835[?] -5836[?] 290771[?]  5834[?] -5835[?] 290768[?]  5833[?] -5834[?] 290765[?]  5832[?] -5833[?] 290762[?]  5831[?] -5832[?] 290759[?]  5830[?] -5831[?] 290756[?]  5829[?] -5830[?] 290753[?]  5828[?] -5829[?] 290750[?]  5827[?] -5828[?] 290747[?]  5826[?] -5827[?] 290744[?]  5825[?] -5826[?] 290741[?]  5824[?] -5825[?] 290738[?]  5792[?] -5824[?] 290736[?]  -5790[?] -5823[?] 290734[?]  -5759[?] -5792[?] 290672[?]  -3085[?] 5790[?] 290668[?]  -5727[?] 5759[?] 3085[?] 290576[?]  -5695[?] 5011[?] 5727[?] 290449[?]  -5663[?] 5301[?] 5695[?] 290321[?]  -5534[?] 5663[?] 290255[?]  1146[?] -1210[?] 281535[?]  1210[?] -1209[?] -1178[?] 281531[?]  1209[?] -1208[?] -1177[?] 281528[?]  1208[?] -1207[?] -1176[?] 281525[?]  1207[?] -1206[?] -1175[?] 281522[?]  1206[?] -1205[?] -1174[?] 281519[?]  1205[?] -1204[?] -1173[?] 281516[?]  1204[?] -1203[?] -1172[?] 281513[?]  1203[?] -1202[?] -1171[?] 281510[?]  1202[?] -1201[?] -1170[?] 281507[?]  1201[?] -1200[?] -1169[?] 281504[?]  1200[?] -1199[?] -1168[?] 281501[?]  1199[?] -1198[?] -1167[?] 281498[?]  1198[?] -1197[?] -1166[?] 281495[?]  1197[?] -1196[?] -1165[?] 281492[?]  1196[?] -1195[?] -1164[?] 281489[?]  1195[?] -1194[?] -1163[?] 281486[?]  1194[?] -1193[?] -1162[?] 281483[?]  1193[?] -1192[?] -1161[?] 281480[?]  1192[?] -1191[?] -1160[?] 281477[?]  1191[?] -1190[?] -1159[?] 281474[?]  1190[?] -1189[?] -1158[?] 281471[?]  1189[?] -1188[?] -1157[?] 281468[?]  1188[?] -1187[?] -1156[?] 281465[?]  1187[?] -1186[?] -1155[?] 281462[?]  1186[?] -1185[?] -1154[?] 281459[?]  1185[?] -1184[?] -1153[?] 281456[?]  1184[?] -1183[?] -1152[?] 281453[?]  1183[?] -1182[?] -1151[?] 281450[?]  1182[?] -1181[?] -1150[?] 281447[?]  1181[?] -1180[?] -1149[?] 281444[?]  1180[?] -1148[?] -1179[?] 281441[?]  1179[?] -1147[?] 281439[?]  1178[?] 1145[?] 281437[?]  1177[?] 1144[?] 281435[?]  1176[?] 1143[?] 281433[?]  1175[?] 1142[?] 281431[?]  1174[?] 1141[?] 281429[?]  1173[?] 1140[?] 281427[?]  1172[?] 1139[?] 281425[?]  1171[?] 1138[?] 281423[?]  1170[?] 1137[?] 281421[?]  1169[?] 1136[?] 281419[?]  1168[?] 1135[?] 281417[?]  1167[?] 1134[?] 281415[?]  1166[?] 1133[?] 281413[?]  1165[?] 1132[?] 281411[?]  1164[?] 1131[?] 281409[?]  1163[?] 1130[?] 281407[?]  1162[?] 1129[?] 281405[?]  1161[?] 1128[?] 281403[?]  1160[?] 1127[?] 281401[?]  1159[?] 1126[?] 281399[?]  1158[?] 1125[?] 281397[?]  1157[?] 1124[?] 281395[?]  1156[?] 1123[?] 281393[?]  1155[?] 1122[?] 281391[?]  1154[?] 1121[?] 281389[?]  1153[?] 1120[?] 281387[?]  1152[?] 1119[?] 281385[?]  1151[?] 1118[?] 281383[?]  1150[?] 1117[?] 281381[?]  1149[?] 1116[?] 281379[?]  1148[?] 1115[?] 281377[?]  1147[?] 1114[?] 281375[?]  -1145[?] -953[?] 281372[?]  -1144[?] -953[?] 281369[?]  -1143[?] -953[?] 281366[?]  -1142[?] -953[?] 281363[?]  -1141[?] -953[?] 281360[?]  -1140[?] -953[?] 281357[?]  -1139[?] -953[?] 281354[?]  -1138[?] -953[?] 281351[?]  -1137[?] -953[?] 281348[?]  -1136[?] -953[?] 281345[?]  -1135[?] -953[?] 281342[?]  -1134[?] -953[?] 281339[?]  -1133[?] -953[?] 281336[?]  -1132[?] -953[?] 281333[?]  -1131[?] -953[?] 281330[?]  -1130[?] -953[?] 281327[?]  -1129[?] -953[?] 281324[?]  -1128[?] -953[?] 281321[?]  -1127[?] -953[?] 281318[?]  -1126[?] -953[?] 281315[?]  -1125[?] -953[?] 281312[?]  -1124[?] -953[?] 281309[?]  -1123[?] -953[?] 281306[?]  -1122[?] -953[?] 281303[?]  -1121[?] -953[?] 281300[?]  -1120[?] -953[?] 281297[?]  -1119[?] -953[?] 281294[?]  -1118[?] -953[?] 281291[?]  -1117[?] -953[?] 281288[?]  -1116[?] -953[?] 281285[?]  -1115[?] -953[?] 281282[?]  -1114[?] -953[?] 281279[?]  -551[?] 615[?] 280699[?]  -615[?] 583[?] 280698[?]  -615[?] 614[?] 280697[?]  -614[?] 582[?] 280695[?]  -614[?] 613[?] 280694[?]  -613[?] 581[?] 280692[?]  -613[?] 612[?] 280691[?]  -612[?] 580[?] 280689[?]  -612[?] 611[?] 280688[?]  -611[?] 579[?] 280686[?]  -611[?] 610[?] 280685[?]  -610[?] 578[?] 280683[?]  -610[?] 609[?] 280682[?]  -609[?] 577[?] 280680[?]  -609[?] 608[?] 280679[?]  -608[?] 576[?] 280677[?]  -608[?] 607[?] 280676[?]  -607[?] 575[?] 280674[?]  -607[?] 606[?] 280673[?]  -606[?] 574[?] 280671[?]  -606[?] 605[?] 280670[?]  -605[?] 573[?] 280668[?]  -605[?] 604[?] 280667[?]  -604[?] 572[?] 280665[?]  -604[?] 603[?] 280664[?]  -603[?] 571[?] 280662[?]  -603[?] 602[?] 280661[?]  -602[?] 570[?] 280659[?]  -602[?] 601[?] 280658[?]  -601[?] 569[?] 280656[?]  -601[?] 600[?] 280655[?]  -600[?] 568[?] 280653[?]  -600[?] 599[?] 280652[?]  -599[?] 567[?] 280650[?]  -599[?] 598[?] 280649[?]  -598[?] 566[?] 280647[?]  -598[?] 597[?] 280646[?]  -597[?] 565[?] 280644[?]  -597[?] 596[?] 280643[?]  -596[?] 564[?] 280641[?]  -596[?] 595[?] 280640[?]  -595[?] 563[?] 280638[?]  -595[?] 594[?] 280637[?]  -594[?] 562[?] 280635[?]  -594[?] 593[?] 280634[?]  -593[?] 561[?] 280632[?]  -593[?] 592[?] 280631[?]  -592[?] 560[?] 280629[?]  -592[?] 591[?] 280628[?]  -591[?] 559[?] 280626[?]  -591[?] 590[?] 280625[?]  -590[?] 558[?] 280623[?]  -590[?] 589[?] 280622[?]  -589[?] 557[?] 280620[?]  -589[?] 588[?] 280619[?]  -588[?] 556[?] 280617[?]  -588[?] 587[?] 280616[?]  -587[?] 555[?] 280614[?]  -587[?] 586[?] 280613[?]  -586[?] 554[?] 280611[?]  -586[?] 585[?] 280610[?]  -585[?] 553[?] 280608[?]  -585[?] 584[?] 280607[?]  -584[?] 552[?] 280605[?]  -583[?] -550[?] 280603[?]  -582[?] -549[?] 280601[?]  -581[?] -548[?] 280599[?]  -580[?] -547[?] 280597[?]  -546[?] -579[?] 280595[?]  -578[?] -545[?] 280593[?]  -577[?] -544[?] 280591[?]  -576[?] -543[?] 280589[?]  -575[?] -542[?] 280587[?]  -574[?] -541[?] 280585[?]  -573[?] -540[?] 280583[?]  -572[?] -539[?] 280581[?]  -571[?] -538[?] 280579[?]  -570[?] -537[?] 280577[?]  -569[?] -536[?] 280575[?]  -568[?] -535[?] 280573[?]  -567[?] -534[?] 280571[?]  -566[?] -533[?] 280569[?]  -565[?] -532[?] 280567[?]  -564[?] -531[?] 280565[?]  -563[?] -530[?] 280563[?]  -562[?] -529[?] 280561[?]  -561[?] -528[?] 280559[?]  -560[?] -527[?] 280557[?]  -559[?] -526[?] 280555[?]  -558[?] -525[?] 280553[?]  -557[?] -524[?] 280551[?]  -556[?] -523[?] 280549[?]  -555[?] -522[?] 280547[?]  -521[?] -554[?] 280545[?]  -553[?] -520[?] 280543[?]  -552[?] -519[?] 280541[?]  -274451[?] 279736[?] 
11.57/11.11	c qxplain 0/591
12.18/11.71	c qxplain 296/591
12.64/12.12	c qxplain 444/591
13.03/12.53	c qxplain 518/591
13.44/12.94	c qxplain 555/591
13.84/13.35	c qxplain 574/591
14.24/13.76	c qxplain 583/591
14.63/14.16	c qxplain 588/591
15.04/14.55	c qxplain 590/591
15.43/14.95	c qxplain 591/591
15.84/15.35	c -274451[?] 279736[?] is mandatory 
15.84/15.35	c qxplain 590/590
15.95/15.43	c qxplain 588/589
15.95/15.48	c qxplain 583/587
16.09/15.52	c qxplain 574/582
16.09/15.57	c qxplain 555/573
16.18/15.61	c qxplain 518/554
16.18/15.65	c qxplain 444/517
16.58/16.06	c qxplain 481/517
16.98/16.46	c qxplain 500/517
17.08/16.51	c qxplain 481/499
17.48/16.92	c qxplain 491/499
17.87/17.32	c qxplain 496/499
19.24/18.04	c qxplain 491/495
19.56/18.32	c qxplain 494/495
19.76/18.59	c qxplain 495/495
19.86/18.63	c qxplain 494/494
20.16/18.91	c 281279[?] -1114[?] -953[?]  is mandatory 
20.16/18.91	c qxplain 491/493
20.36/19.19	c qxplain 493/493
20.66/19.47	c 281282[?] -1115[?] -953[?]  is mandatory 
20.66/19.47	c qxplain 491/492
20.96/19.75	c qxplain 492/492
21.26/20.03	c 281285[?] -1116[?] -953[?]  is mandatory 
21.26/20.03	c qxplain 491/491
21.56/20.31	c 281288[?] -1117[?] -953[?]  is mandatory 
21.56/20.31	c qxplain 481/490
21.76/20.59	c qxplain 486/490
22.06/20.87	c qxplain 489/490
22.36/21.14	c qxplain 490/490
22.66/21.42	c 281291[?] -1118[?] -953[?]  is mandatory 
22.66/21.42	c qxplain 489/489
22.96/21.70	c 281294[?] -1119[?] -953[?]  is mandatory 
22.96/21.70	c qxplain 486/488
23.16/21.98	c qxplain 488/488
23.46/22.26	c 281297[?] -1120[?] -953[?]  is mandatory 
23.46/22.26	c qxplain 486/487
23.76/22.54	c qxplain 487/487
24.06/22.82	c 281300[?] -1121[?] -953[?]  is mandatory 
24.06/22.82	c qxplain 486/486
24.36/23.10	c 281303[?] -1122[?] -953[?]  is mandatory 
24.36/23.10	c qxplain 481/485
24.56/23.38	c qxplain 484/485
24.86/23.66	c qxplain 485/485
25.16/23.94	c 281306[?] -1123[?] -953[?]  is mandatory 
25.16/23.94	c qxplain 484/484
25.46/24.22	c 281309[?] -1124[?] -953[?]  is mandatory 
25.46/24.22	c qxplain 481/483
25.76/24.50	c qxplain 483/483
25.96/24.78	c 281312[?] -1125[?] -953[?]  is mandatory 
25.96/24.78	c qxplain 481/482
26.26/25.06	c qxplain 482/482
26.56/25.34	c 281315[?] -1126[?] -953[?]  is mandatory 
26.56/25.34	c qxplain 481/481
26.86/25.62	c 281318[?] -1127[?] -953[?]  is mandatory 
26.86/25.62	c qxplain 444/480
27.80/26.24	c qxplain 463/480
28.10/26.53	c qxplain 472/480
28.40/26.81	c qxplain 477/480
28.60/27.09	c qxplain 479/480
28.90/27.37	c qxplain 480/480
29.20/27.65	c 281321[?] -1128[?] -953[?]  is mandatory 
29.20/27.65	c qxplain 479/479
29.50/27.93	c 281324[?] -1129[?] -953[?]  is mandatory 
29.50/27.93	c qxplain 477/478
29.80/28.21	c qxplain 478/478
30.00/28.49	c 281327[?] -1130[?] -953[?]  is mandatory 
30.00/28.49	c qxplain 477/477
30.30/28.77	c 281330[?] -1131[?] -953[?]  is mandatory 
30.30/28.77	c qxplain 472/476
30.60/29.05	c qxplain 475/476
30.90/29.33	c qxplain 476/476
31.20/29.61	c 281333[?] -1132[?] -953[?]  is mandatory 
31.20/29.61	c qxplain 475/475
31.40/29.89	c 281336[?] -1133[?] -953[?]  is mandatory 
31.40/29.89	c qxplain 472/474
31.71/30.17	c qxplain 474/474
32.01/30.44	c 281339[?] -1134[?] -953[?]  is mandatory 
32.01/30.44	c qxplain 472/473
32.31/30.72	c qxplain 473/473
32.61/31.00	c 281342[?] -1135[?] -953[?]  is mandatory 
32.61/31.00	c qxplain 472/472
32.81/31.28	c 281345[?] -1136[?] -953[?]  is mandatory 
32.81/31.28	c qxplain 463/471
33.11/31.56	c qxplain 468/471
33.41/31.84	c qxplain 470/471
33.71/32.12	c qxplain 471/471
33.91/32.40	c 281348[?] -1137[?] -953[?]  is mandatory 
34.01/32.40	c qxplain 470/470
34.21/32.68	c 281351[?] -1138[?] -953[?]  is mandatory 
34.21/32.68	c qxplain 468/469
34.51/32.96	c qxplain 469/469
34.81/33.24	c 281354[?] -1139[?] -953[?]  is mandatory 
34.81/33.24	c qxplain 468/468
35.11/33.52	c 281357[?] -1140[?] -953[?]  is mandatory 
35.11/33.52	c qxplain 463/467
35.31/33.80	c qxplain 466/467
35.61/34.08	c qxplain 467/467
36.53/34.68	c 281360[?] -1141[?] -953[?]  is mandatory 
36.53/34.68	c qxplain 466/466
36.83/34.96	c 281363[?] -1142[?] -953[?]  is mandatory 
36.83/34.96	c qxplain 463/465
37.13/35.24	c qxplain 465/465
37.43/35.51	c 281366[?] -1143[?] -953[?]  is mandatory 
37.43/35.51	c qxplain 463/464
37.63/35.79	c qxplain 464/464
37.93/36.07	c 281369[?] -1144[?] -953[?]  is mandatory 
37.93/36.07	c qxplain 463/463
38.23/36.35	c 281372[?] -1145[?] -953[?]  is mandatory 
38.23/36.35	c qxplain 444/462
38.53/36.63	c qxplain 454/462
38.83/36.90	c qxplain 459/462
39.03/37.18	c qxplain 461/462
39.32/37.46	c qxplain 462/462
39.63/37.74	c 281375[?] 1147[?] 1114[?]  is mandatory 
39.63/37.74	c qxplain 461/461
39.92/38.02	c 281377[?] 1148[?] 1115[?]  is mandatory 
39.92/38.02	c qxplain 459/460
40.12/38.29	c qxplain 460/460
40.42/38.57	c 281379[?] 1149[?] 1116[?]  is mandatory 
40.42/38.57	c qxplain 459/459
40.73/38.85	c 281381[?] 1150[?] 1117[?]  is mandatory 
40.73/38.85	c qxplain 454/458
41.02/39.13	c qxplain 457/458
41.32/39.41	c qxplain 458/458
41.52/39.69	c 281383[?] 1151[?] 1118[?]  is mandatory 
41.52/39.69	c qxplain 457/457
41.83/39.96	c 281385[?] 1152[?] 1119[?]  is mandatory 
41.83/39.96	c qxplain 454/456
42.12/40.24	c qxplain 456/456
42.42/40.52	c 281387[?] 1153[?] 1120[?]  is mandatory 
42.42/40.52	c qxplain 454/455
42.72/40.80	c qxplain 455/455
42.93/41.08	c 281389[?] 1154[?] 1121[?]  is mandatory 
42.93/41.08	c qxplain 454/454
43.22/41.36	c 281391[?] 1155[?] 1122[?]  is mandatory 
43.22/41.36	c qxplain 444/453
43.52/41.64	c qxplain 449/453
43.82/41.91	c qxplain 452/453
44.03/42.19	c qxplain 453/453
44.93/42.78	c 281393[?] 1156[?] 1123[?]  is mandatory 
44.93/42.78	c qxplain 452/452
45.23/43.06	c 281395[?] 1157[?] 1124[?]  is mandatory 
45.23/43.06	c qxplain 449/451
45.54/43.34	c qxplain 451/451
45.83/43.62	c 281397[?] 1158[?] 1125[?]  is mandatory 
45.83/43.62	c qxplain 449/450
46.13/43.90	c qxplain 450/450
46.33/44.18	c 281399[?] 1159[?] 1126[?]  is mandatory 
46.33/44.18	c qxplain 449/449
46.64/44.46	c 281401[?] 1160[?] 1127[?]  is mandatory 
46.64/44.46	c qxplain 444/448
46.93/44.74	c qxplain 447/448
47.23/45.02	c qxplain 448/448
47.53/45.30	c 281403[?] 1161[?] 1128[?]  is mandatory 
47.53/45.30	c qxplain 447/447
47.74/45.58	c 281405[?] 1162[?] 1129[?]  is mandatory 
47.74/45.58	c qxplain 444/446
48.03/45.86	c qxplain 446/446
48.33/46.14	c 281407[?] 1163[?] 1130[?]  is mandatory 
48.33/46.14	c qxplain 444/445
48.63/46.42	c qxplain 445/445
48.93/46.70	c 281409[?] 1164[?] 1131[?]  is mandatory 
48.93/46.70	c qxplain 444/444
49.13/46.98	c 281411[?] 1165[?] 1132[?]  is mandatory 
49.13/46.98	c qxplain 296/443
49.43/47.26	c qxplain 370/443
49.73/47.54	c qxplain 407/443
50.03/47.82	c qxplain 426/443
50.33/48.10	c qxplain 435/443
50.53/48.38	c qxplain 440/443
50.83/48.65	c qxplain 442/443
51.13/48.93	c qxplain 443/443
51.43/49.21	c 281413[?] 1166[?] 1133[?]  is mandatory 
51.43/49.21	c qxplain 442/442
51.63/49.49	c 281415[?] 1167[?] 1134[?]  is mandatory 
51.63/49.49	c qxplain 440/441
51.93/49.77	c qxplain 441/441
52.23/50.05	c 281417[?] 1168[?] 1135[?]  is mandatory 
52.23/50.05	c qxplain 440/440
52.53/50.33	c 281419[?] 1169[?] 1136[?]  is mandatory 
52.53/50.33	c qxplain 435/439
52.83/50.61	c qxplain 438/439
53.77/51.22	c qxplain 439/439
54.07/51.50	c 281421[?] 1170[?] 1137[?]  is mandatory 
54.07/51.50	c qxplain 438/438
54.27/51.78	c 281423[?] 1171[?] 1138[?]  is mandatory 
54.27/51.78	c qxplain 435/437
54.57/52.06	c qxplain 437/437
54.87/52.34	c 281425[?] 1172[?] 1139[?]  is mandatory 
54.87/52.34	c qxplain 435/436
55.17/52.62	c qxplain 436/436
55.37/52.90	c 281427[?] 1173[?] 1140[?]  is mandatory 
55.37/52.90	c qxplain 435/435
55.67/53.17	c 281429[?] 1174[?] 1141[?]  is mandatory 
55.67/53.17	c qxplain 426/434
55.97/53.45	c qxplain 431/434
56.27/53.73	c qxplain 433/434
56.57/54.01	c qxplain 434/434
56.77/54.29	c 281431[?] 1175[?] 1142[?]  is mandatory 
56.77/54.29	c qxplain 433/433
57.07/54.57	c 281433[?] 1176[?] 1143[?]  is mandatory 
57.07/54.57	c qxplain 431/432
57.37/54.85	c qxplain 432/432
57.67/55.13	c 281435[?] 1177[?] 1144[?]  is mandatory 
57.67/55.13	c qxplain 431/431
57.97/55.41	c 281437[?] 1178[?] 1145[?]  is mandatory 
57.97/55.41	c qxplain 426/430
58.17/55.68	c qxplain 429/430
58.47/55.96	c qxplain 430/430
58.77/56.24	c 281439[?] 1179[?] -1147[?]  is mandatory 
58.77/56.24	c qxplain 429/429
59.07/56.52	c 281441[?] 1180[?] -1179[?] -1148[?]  is mandatory 
59.07/56.52	c qxplain 426/428
59.37/56.80	c qxplain 428/428
59.57/57.08	c 281444[?] 1181[?] -1180[?] -1149[?]  is mandatory 
59.57/57.08	c qxplain 426/427
59.87/57.36	c qxplain 427/427
60.17/57.64	c 281447[?] 1182[?] -1181[?] -1150[?]  is mandatory 
60.17/57.64	c qxplain 426/426
60.47/57.92	c 281450[?] 1183[?] -1182[?] -1151[?]  is mandatory 
60.47/57.92	c qxplain 407/425
60.77/58.20	c qxplain 417/425
60.97/58.48	c qxplain 422/425
61.27/58.76	c qxplain 424/425
61.57/59.04	c qxplain 425/425
62.49/59.63	c 281453[?] 1184[?] -1183[?] -1152[?]  is mandatory 
62.49/59.63	c qxplain 424/424
62.79/59.92	c 281456[?] 1185[?] -1184[?] -1153[?]  is mandatory 
62.79/59.92	c qxplain 422/423
63.09/60.20	c qxplain 423/423
63.29/60.47	c 281459[?] 1186[?] -1185[?] -1154[?]  is mandatory 
63.29/60.47	c qxplain 422/422
63.59/60.75	c 281462[?] 1187[?] -1186[?] -1155[?]  is mandatory 
63.59/60.75	c qxplain 417/421
63.89/61.03	c qxplain 420/421
64.19/61.31	c qxplain 421/421
64.39/61.58	c 281465[?] 1188[?] -1187[?] -1156[?]  is mandatory 
64.39/61.58	c qxplain 420/420
64.68/61.86	c 281468[?] 1189[?] -1188[?] -1157[?]  is mandatory 
64.68/61.86	c qxplain 417/419
64.99/62.14	c qxplain 419/419
65.29/62.42	c 281471[?] 1190[?] -1189[?] -1158[?]  is mandatory 
65.29/62.42	c qxplain 417/418
65.49/62.69	c qxplain 418/418
65.79/62.97	c 281474[?] 1191[?] -1190[?] -1159[?]  is mandatory 
65.79/62.97	c qxplain 417/417
66.09/63.25	c 281477[?] 1192[?] -1191[?] -1160[?]  is mandatory 
66.09/63.25	c qxplain 407/416
66.39/63.53	c qxplain 412/416
66.68/63.81	c qxplain 415/416
66.88/64.09	c qxplain 416/416
67.19/64.37	c 281480[?] 1193[?] -1192[?] -1161[?]  is mandatory 
67.19/64.37	c qxplain 415/415
67.48/64.65	c 281483[?] 1194[?] -1193[?] -1162[?]  is mandatory 
67.48/64.65	c qxplain 412/414
67.78/64.93	c qxplain 414/414
68.08/65.20	c 281486[?] 1195[?] -1194[?] -1163[?]  is mandatory 
68.08/65.20	c qxplain 412/413
69.04/65.84	c qxplain 413/413
69.34/66.12	c 281489[?] 1196[?] -1195[?] -1164[?]  is mandatory 
69.34/66.12	c qxplain 412/412
69.64/66.40	c 281492[?] 1197[?] -1196[?] -1165[?]  is mandatory 
69.64/66.40	c qxplain 407/411
69.84/66.68	c qxplain 410/411
70.14/66.96	c qxplain 411/411
70.44/67.25	c 281495[?] 1198[?] -1197[?] -1166[?]  is mandatory 
70.44/67.25	c qxplain 410/410
70.74/67.53	c 281498[?] 1199[?] -1198[?] -1167[?]  is mandatory 
70.74/67.53	c qxplain 407/409
71.04/67.81	c qxplain 409/409
71.24/68.09	c 281501[?] 1200[?] -1199[?] -1168[?]  is mandatory 
71.24/68.09	c qxplain 407/408
71.54/68.37	c qxplain 408/408
71.84/68.65	c 281504[?] 1201[?] -1200[?] -1169[?]  is mandatory 
71.84/68.65	c qxplain 407/407
72.14/68.93	c 281507[?] 1202[?] -1201[?] -1170[?]  is mandatory 
72.14/68.93	c qxplain 370/406
72.44/69.21	c qxplain 389/406
72.64/69.49	c qxplain 398/406
72.94/69.77	c qxplain 403/406
73.24/70.05	c qxplain 405/406
73.54/70.33	c qxplain 406/406
73.84/70.61	c 281510[?] 1203[?] -1202[?] -1171[?]  is mandatory 
73.84/70.61	c qxplain 405/405
74.04/70.89	c 281513[?] 1204[?] -1203[?] -1172[?]  is mandatory 
74.04/70.89	c qxplain 403/404
74.34/71.17	c qxplain 404/404
74.64/71.45	c 281516[?] 1205[?] -1204[?] -1173[?]  is mandatory 
74.64/71.45	c qxplain 403/403
74.94/71.73	c 281519[?] 1206[?] -1205[?] -1174[?]  is mandatory 
74.94/71.73	c qxplain 398/402
75.25/72.02	c qxplain 401/402
75.54/72.30	c qxplain 402/402
75.74/72.58	c 281522[?] 1207[?] -1206[?] -1175[?]  is mandatory 
75.74/72.58	c qxplain 401/401
76.04/72.86	c 281525[?] 1208[?] -1207[?] -1176[?]  is mandatory 
76.04/72.86	c qxplain 398/400
76.35/73.14	c qxplain 400/400
76.64/73.42	c 281528[?] 1209[?] -1208[?] -1177[?]  is mandatory 
76.64/73.42	c qxplain 398/399
76.94/73.70	c qxplain 399/399
77.14/73.98	c 281531[?] 1210[?] -1209[?] -1178[?]  is mandatory 
77.14/73.98	c qxplain 398/398
77.45/74.26	c 281535[?] 1146[?] -1210[?]  is mandatory 
77.45/74.26	c qxplain 389/397
77.74/74.54	c qxplain 394/397
78.04/74.82	c qxplain 396/397
78.24/75.10	c qxplain 397/397
78.55/75.38	c 290255[?] 5663[?] -5534[?]  is mandatory 
78.55/75.38	c qxplain 396/396
78.84/75.66	c 290321[?] 5695[?] -5663[?] 5301[?]  is mandatory 
78.84/75.66	c qxplain 394/395
79.14/75.94	c qxplain 395/395
79.44/76.22	c 290449[?] 5727[?] -5695[?] 5011[?]  is mandatory 
79.44/76.22	c qxplain 394/394
79.65/76.50	c 290576[?] 5759[?] -5727[?] 3085[?]  is mandatory 
79.65/76.50	c qxplain 389/393
79.94/76.78	c qxplain 392/393
80.24/77.06	c qxplain 393/393
80.54/77.34	c 290668[?] -3085[?] 5790[?]  is mandatory 
80.54/77.34	c qxplain 392/392
80.86/77.63	c 290672[?] -5792[?] -5759[?]  is mandatory 
80.86/77.63	c qxplain 389/391
81.15/77.91	c qxplain 391/391
81.35/78.19	c 290734[?] -5790[?] -5823[?]  is mandatory 
81.35/78.19	c qxplain 389/390
81.65/78.47	c qxplain 390/390
81.96/78.76	c 290736[?] -5824[?] 5792[?]  is mandatory 
81.96/78.76	c qxplain 389/389
82.25/79.04	c 290738[?] -5825[?] 5824[?]  is mandatory 
82.25/79.04	c qxplain 370/388
82.55/79.32	c qxplain 380/388
82.85/79.60	c qxplain 385/388
83.06/79.88	c qxplain 387/388
83.35/80.16	c qxplain 388/388
83.65/80.44	c 290741[?] -5826[?] 5825[?]  is mandatory 
83.65/80.44	c qxplain 387/387
83.95/80.72	c 290744[?] -5827[?] 5826[?]  is mandatory 
83.95/80.72	c qxplain 385/386
84.25/81.00	c qxplain 386/386
84.45/81.29	c 290747[?] -5828[?] 5827[?]  is mandatory 
84.45/81.29	c qxplain 385/385
84.75/81.57	c 290750[?] -5829[?] 5828[?]  is mandatory 
84.75/81.57	c qxplain 380/384
85.05/81.85	c qxplain 383/384
85.35/82.13	c qxplain 384/384
85.65/82.41	c 290753[?] -5830[?] 5829[?]  is mandatory 
85.65/82.41	c qxplain 383/383
85.85/82.69	c 290756[?] -5831[?] 5830[?]  is mandatory 
85.85/82.69	c qxplain 380/382
86.15/82.97	c qxplain 382/382
86.46/83.26	c 290759[?] -5832[?] 5831[?]  is mandatory 
86.46/83.26	c qxplain 380/381
86.76/83.54	c qxplain 381/381
87.06/83.82	c 290762[?] -5833[?] 5832[?]  is mandatory 
87.06/83.82	c qxplain 380/380
87.36/84.10	c 290765[?] -5834[?] 5833[?]  is mandatory 
87.36/84.10	c qxplain 370/379
87.56/84.39	c qxplain 375/379
87.86/84.67	c qxplain 378/379
88.16/84.95	c qxplain 379/379
88.46/85.23	c 290768[?] -5835[?] 5834[?]  is mandatory 
88.46/85.23	c qxplain 378/378
88.76/85.51	c 290771[?] 5835[?] -5836[?]  is mandatory 
88.76/85.51	c qxplain 375/377
88.96/85.79	c qxplain 377/377
89.26/86.07	c 290774[?] 5836[?] -5837[?]  is mandatory 
89.26/86.07	c qxplain 375/376
89.57/86.35	c qxplain 376/376
89.86/86.63	c 290777[?] 5837[?] -5838[?]  is mandatory 
89.86/86.63	c qxplain 375/375
90.16/86.92	c 290780[?] 5838[?] -5839[?]  is mandatory 
90.16/86.92	c qxplain 370/374
90.36/87.20	c qxplain 373/374
90.67/87.47	c qxplain 374/374
90.96/87.76	c 290783[?] 5839[?] -5840[?]  is mandatory 
90.96/87.76	c qxplain 373/373
91.26/88.04	c 290786[?] 5840[?] -5841[?]  is mandatory 
91.26/88.04	c qxplain 370/372
91.56/88.32	c qxplain 372/372
91.77/88.60	c 290789[?] 5841[?] -5842[?]  is mandatory 
91.77/88.60	c qxplain 370/371
92.07/88.89	c qxplain 371/371
92.37/89.17	c 290792[?] 5842[?] -5843[?]  is mandatory 
92.37/89.17	c qxplain 370/370
92.68/89.45	c 290795[?] 5843[?] -5844[?]  is mandatory 
92.68/89.45	c qxplain 296/369
92.98/89.74	c qxplain 333/369
93.28/90.01	c qxplain 352/369
93.58/90.33	c qxplain 361/369
93.88/90.61	c qxplain 366/369
94.08/90.89	c qxplain 368/369
94.38/91.17	c qxplain 369/369
94.68/91.45	c 290798[?] 5844[?] -5845[?]  is mandatory 
94.68/91.45	c qxplain 368/368
94.98/91.73	c 290801[?] 5845[?] -5846[?]  is mandatory 
94.98/91.73	c qxplain 366/367
95.28/92.01	c qxplain 367/367
95.48/92.29	c 290804[?] 5846[?] -5847[?]  is mandatory 
95.48/92.29	c qxplain 366/366
95.78/92.57	c 290807[?] 5847[?] -5848[?]  is mandatory 
95.78/92.57	c qxplain 361/365
96.08/92.85	c qxplain 364/365
96.38/93.13	c qxplain 365/365
96.68/93.41	c 290810[?] 5848[?] -5849[?]  is mandatory 
96.68/93.41	c qxplain 364/364
96.88/93.69	c 290813[?] 5849[?] -5850[?]  is mandatory 
96.88/93.69	c qxplain 361/363
97.18/93.97	c qxplain 363/363
97.48/94.25	c 290816[?] 5850[?] -5851[?]  is mandatory 
97.48/94.25	c qxplain 361/362
97.79/94.54	c qxplain 362/362
98.09/94.82	c 290819[?] 5851[?] -5852[?]  is mandatory 
98.09/94.82	c qxplain 361/361
98.39/95.10	c 290822[?] 5852[?] -5853[?]  is mandatory 
98.39/95.10	c qxplain 352/360
98.59/95.38	c qxplain 357/360
98.89/95.66	c qxplain 359/360
99.19/95.94	c qxplain 360/360
99.49/96.22	c 290825[?] 5853[?] -5854[?]  is mandatory 
99.49/96.22	c qxplain 359/359
99.78/96.50	c 290828[?] 5854[?] -5855[?]  is mandatory 
99.78/96.50	c qxplain 357/358
99.98/96.78	c qxplain 358/358
100.28/97.06	c 290829[?] 5823[?] -5855[?]  is mandatory 
100.28/97.06	c qxplain 357/357
100.59/97.34	c 290830[?] 5855[?] -5791[?]  is mandatory 
100.59/97.34	c qxplain 352/356
100.88/97.62	c qxplain 355/356
101.18/97.90	c qxplain 356/356
101.39/98.18	c 290833[?] 5856[?] 5791[?]  is mandatory 
101.39/98.18	c qxplain 355/355
101.69/98.46	c 290898[?] -5856[?] 2859[?] 5888[?]  is mandatory 
101.69/98.46	c qxplain 352/354
101.99/98.74	c qxplain 354/354
102.29/99.02	c 291025[?] -5888[?] 5920[?] 2569[?]  is mandatory 
102.29/99.02	c qxplain 352/353
102.59/99.30	c qxplain 353/353
102.79/99.58	c 291121[?] -5920[?] 2304[?] 5952[?]  is mandatory 
102.79/99.58	c qxplain 352/352
102.89/99.62	c qxplain 333/351
103.19/99.90	c qxplain 343/351
103.49/100.20	c qxplain 348/351
103.69/100.48	c qxplain 350/351
103.99/100.76	c qxplain 351/351
104.29/101.04	c 291218[?] -5952[?] 5984[?] 2175[?]  is mandatory 
104.29/101.04	c qxplain 350/350
104.29/101.08	c qxplain 348/349
104.59/101.36	c qxplain 349/349
104.89/101.64	c 291344[?] -5984[?] -2046[?] 6016[?]  is mandatory 
104.89/101.64	c qxplain 348/348
104.89/101.67	c qxplain 343/347
105.19/101.95	c qxplain 346/347
105.49/102.23	c qxplain 347/347
105.79/102.51	c 291472[?] -6016[?] -1821[?] 6080[?]  is mandatory 
105.79/102.51	c qxplain 346/346
105.79/102.55	c qxplain 343/345
106.09/102.83	c qxplain 345/345
106.39/103.11	c 291477[?] 1821[?] 6081[?]  is mandatory 
106.39/103.11	c qxplain 343/344
106.59/103.39	c qxplain 344/344
106.89/103.67	c 291570[?] -6080[?] 6112[?] 1460[?]  is mandatory 
106.89/103.67	c qxplain 343/343
107.19/103.95	c 291574[?] -6081[?] 6113[?] 1460[?]  is mandatory 
107.19/103.95	c qxplain 333/342
107.49/104.23	c qxplain 338/342
107.79/104.51	c qxplain 341/342
107.99/104.79	c qxplain 342/342
108.29/105.07	c 291698[?] -6112[?] 6144[?] 551[?]  is mandatory 
108.29/105.07	c qxplain 341/341
108.59/105.36	c 291702[?] -6113[?] 6145[?] 551[?]  is mandatory 
108.59/105.36	c qxplain 338/340
108.89/105.64	c qxplain 340/340
109.19/105.92	c 291825[?] -6144[?] -6177[?]  is mandatory 
109.19/105.92	c qxplain 338/339
109.50/106.20	c qxplain 339/339
109.69/106.48	c 291827[?] -6145[?] -6178[?]  is mandatory 
109.69/106.48	c qxplain 338/338
109.99/106.77	c 291889[?] 6177[?] -6209[?]  is mandatory 
109.99/106.77	c qxplain 333/337
110.29/107.05	c qxplain 336/337
110.60/107.33	c qxplain 337/337
110.89/107.61	c 291891[?] 6209[?] -6210[?]  is mandatory 
110.89/107.61	c qxplain 336/336
111.09/107.89	c 291892[?] 6178[?] -6210[?]  is mandatory 
111.09/107.89	c qxplain 333/335
111.39/108.17	c qxplain 335/335
111.70/108.46	c 291894[?] 6210[?] -6211[?]  is mandatory 
111.70/108.46	c qxplain 333/334
111.99/108.74	c qxplain 334/334
112.29/109.02	c 291897[?] 6211[?] -6212[?]  is mandatory 
112.29/109.02	c qxplain 333/333
112.59/109.31	c 291900[?] 6212[?] -6213[?]  is mandatory 
112.59/109.31	c qxplain 296/332
112.80/109.59	c qxplain 315/332
113.09/109.88	c qxplain 324/332
113.39/110.16	c qxplain 329/332
113.70/110.44	c qxplain 331/332
114.00/110.72	c qxplain 332/332
114.30/111.00	c 291903[?] 6213[?] -6214[?]  is mandatory 
114.30/111.00	c qxplain 331/331
114.51/111.29	c 291906[?] 6214[?] -6215[?]  is mandatory 
114.51/111.29	c qxplain 329/330
114.81/111.57	c qxplain 330/330
115.11/111.85	c 291909[?] 6215[?] -6216[?]  is mandatory 
115.11/111.85	c qxplain 329/329
115.41/112.13	c 291912[?] 6216[?] -6217[?]  is mandatory 
115.41/112.13	c qxplain 324/328
115.71/112.41	c qxplain 327/328
115.91/112.69	c qxplain 328/328
116.21/112.97	c 291915[?] 6217[?] -6218[?]  is mandatory 
116.21/112.97	c qxplain 327/327
116.51/113.26	c 291918[?] 6218[?] -6219[?]  is mandatory 
116.51/113.26	c qxplain 324/326
116.81/113.53	c qxplain 326/326
117.12/113.82	c 291921[?] 6219[?] -6220[?]  is mandatory 
117.12/113.82	c qxplain 324/325
117.31/114.09	c qxplain 325/325
117.61/114.38	c 291924[?] 6220[?] -6221[?]  is mandatory 
117.61/114.38	c qxplain 324/324
117.91/114.66	c 291927[?] 6221[?] -6222[?]  is mandatory 
117.91/114.66	c qxplain 315/323
118.22/114.94	c qxplain 320/323
118.51/115.22	c qxplain 322/323
118.71/115.50	c qxplain 323/323
119.01/115.78	c 291930[?] 6222[?] -6223[?]  is mandatory 
119.01/115.78	c qxplain 322/322
119.31/116.06	c 291933[?] 6223[?] -6224[?]  is mandatory 
119.31/116.06	c qxplain 320/321
119.61/116.34	c qxplain 321/321
119.91/116.62	c 291936[?] 6224[?] -6225[?]  is mandatory 
119.91/116.62	c qxplain 320/320
120.21/116.90	c 291939[?] 6225[?] -6226[?]  is mandatory 
120.21/116.90	c qxplain 315/319
120.42/117.20	c qxplain 318/319
120.72/117.48	c qxplain 319/319
121.01/117.76	c 291942[?] 6226[?] -6227[?]  is mandatory 
121.01/117.76	c qxplain 318/318
121.31/118.04	c 291945[?] 6227[?] -6228[?]  is mandatory 
121.31/118.04	c qxplain 315/317
121.62/118.32	c qxplain 317/317
121.81/118.60	c 291948[?] 6228[?] -6229[?]  is mandatory 
121.81/118.60	c qxplain 315/316
122.11/118.88	c qxplain 316/316
122.41/119.16	c 291951[?] 6229[?] -6230[?]  is mandatory 
122.41/119.16	c qxplain 315/315
122.72/119.44	c 291954[?] 6230[?] -6231[?]  is mandatory 
122.72/119.44	c qxplain 296/314
123.01/119.72	c qxplain 306/314
123.31/120.00	c qxplain 311/314
123.51/120.28	c qxplain 313/314
123.82/120.56	c qxplain 314/314
124.11/120.84	c 291957[?] 6231[?] -6232[?]  is mandatory 
124.11/120.84	c qxplain 313/313
124.41/121.12	c 291960[?] 6232[?] -6233[?]  is mandatory 
124.41/121.12	c qxplain 311/312
124.71/121.40	c qxplain 312/312
124.92/121.68	c 291963[?] 6233[?] -6234[?]  is mandatory 
124.92/121.68	c qxplain 311/311
125.21/121.96	c 291966[?] 6234[?] -6235[?]  is mandatory 
125.21/121.96	c qxplain 306/310
125.52/122.24	c qxplain 309/310
125.82/122.52	c qxplain 310/310
126.12/122.80	c 291969[?] 6235[?] -6236[?]  is mandatory 
126.12/122.80	c qxplain 309/309
126.32/123.08	c 291972[?] 6236[?] -6237[?]  is mandatory 
126.32/123.08	c qxplain 306/308
126.62/123.36	c qxplain 308/308
126.93/123.66	c 291975[?] 6237[?] -6238[?]  is mandatory 
126.93/123.66	c qxplain 306/307
127.23/123.94	c qxplain 307/307
127.53/124.22	c 291978[?] 6238[?] -6239[?]  is mandatory 
127.53/124.22	c qxplain 306/306
127.83/124.50	c 291981[?] 6239[?] -6240[?]  is mandatory 
127.83/124.50	c qxplain 296/305
128.03/124.79	c qxplain 301/305
128.33/125.07	c qxplain 304/305
128.63/125.35	c qxplain 305/305
128.93/125.63	c 291983[?] 6240[?] -6176[?]  is mandatory 
128.93/125.63	c qxplain 304/304
129.23/125.91	c 292048[?] 6176[?] 6272[?]  is mandatory 
129.23/125.91	c qxplain 301/303
129.43/126.19	c qxplain 303/303
129.73/126.47	c 292112[?] -6272[?] -6305[?]  is mandatory 
129.73/126.47	c qxplain 301/302
130.03/126.75	c qxplain 302/302
130.33/127.03	c 292207[?] 6305[?] -6337[?]  is mandatory 
130.33/127.03	c qxplain 301/301
130.62/127.31	c 292208[?] 6337[?] -6273[?]  is mandatory 
130.62/127.31	c qxplain 296/300
130.82/127.59	c qxplain 299/300
131.12/127.87	c qxplain 300/300
131.43/128.15	c 295186[?] 7890[?] 1114[?]  is mandatory 
131.43/128.15	c qxplain 299/299
131.73/128.43	c 295188[?] 7891[?] 1115[?]  is mandatory 
131.73/128.43	c qxplain 296/298
132.03/128.71	c qxplain 298/298
132.23/128.99	c 295190[?] 7892[?] 1116[?]  is mandatory 
132.23/128.99	c qxplain 296/297
132.53/129.27	c qxplain 297/297
132.82/129.55	c 295192[?] 7893[?] 1117[?]  is mandatory 
132.82/129.55	c qxplain 296/296
133.13/129.85	c 295194[?] 7894[?] 1118[?]  is mandatory 
133.13/129.85	c qxplain 0/295
133.43/130.13	c qxplain 148/295
133.73/130.41	c qxplain 222/295
133.93/130.69	c qxplain 259/295
134.23/130.97	c qxplain 278/295
134.53/131.25	c qxplain 287/295
134.83/131.53	c qxplain 292/295
135.13/131.81	c qxplain 294/295
135.33/132.09	c qxplain 295/295
135.63/132.37	c 295196[?] 7895[?] 1119[?]  is mandatory 
135.63/132.37	c qxplain 294/294
135.93/132.65	c 295198[?] 7896[?] 1120[?]  is mandatory 
135.93/132.65	c qxplain 292/293
136.23/132.93	c qxplain 293/293
136.53/133.21	c 295200[?] 7897[?] 1121[?]  is mandatory 
136.53/133.21	c qxplain 292/292
136.73/133.49	c 295202[?] 7898[?] 1122[?]  is mandatory 
136.73/133.49	c qxplain 287/291
137.03/133.77	c qxplain 290/291
137.33/134.05	c qxplain 291/291
137.63/134.33	c 295204[?] 7899[?] 1123[?]  is mandatory 
137.63/134.33	c qxplain 290/290
137.93/134.61	c 295206[?] 7900[?] 1124[?]  is mandatory 
137.93/134.61	c qxplain 287/289
138.13/134.89	c qxplain 289/289
138.43/135.17	c 295208[?] 7901[?] 1125[?]  is mandatory 
138.43/135.17	c qxplain 287/288
138.73/135.45	c qxplain 288/288
139.03/135.73	c 295210[?] 7902[?] 1126[?]  is mandatory 
139.03/135.73	c qxplain 287/287
139.33/136.02	c 295212[?] 7903[?] 1127[?]  is mandatory 
139.33/136.02	c qxplain 278/286
139.64/136.31	c qxplain 283/286
139.84/136.59	c qxplain 285/286
140.14/136.87	c qxplain 286/286
140.44/137.15	c 295214[?] 7904[?] 1128[?]  is mandatory 
140.44/137.15	c qxplain 285/285
140.74/137.43	c 295216[?] 7905[?] 1129[?]  is mandatory 
140.74/137.43	c qxplain 283/284
141.04/137.71	c qxplain 284/284
141.24/137.99	c 295218[?] 7906[?] 1130[?]  is mandatory 
141.24/137.99	c qxplain 283/283
141.54/138.27	c 295220[?] 7907[?] 1131[?]  is mandatory 
141.54/138.27	c qxplain 278/282
141.84/138.55	c qxplain 281/282
142.14/138.83	c qxplain 282/282
142.44/139.11	c 295222[?] 7908[?] 1132[?]  is mandatory 
142.44/139.11	c qxplain 281/281
142.64/139.39	c 295224[?] 7909[?] 1133[?]  is mandatory 
142.64/139.39	c qxplain 278/280
142.94/139.67	c qxplain 280/280
143.24/139.95	c 295226[?] 7910[?] 1134[?]  is mandatory 
143.24/139.95	c qxplain 278/279
143.54/140.23	c qxplain 279/279
143.84/140.51	c 295228[?] 7911[?] 1135[?]  is mandatory 
143.84/140.51	c qxplain 278/278
144.04/140.79	c 295230[?] 7912[?] 1136[?]  is mandatory 
144.04/140.79	c qxplain 259/277
144.34/141.07	c qxplain 269/277
144.64/141.36	c qxplain 274/277
144.94/141.63	c qxplain 276/277
145.24/141.91	c qxplain 277/277
145.44/142.19	c 295232[?] 7913[?] 1137[?]  is mandatory 
145.44/142.19	c qxplain 276/276
145.74/142.48	c 295234[?] 7914[?] 1138[?]  is mandatory 
145.74/142.48	c qxplain 274/275
146.04/142.75	c qxplain 275/275
146.35/143.05	c 295236[?] 7915[?] 1139[?]  is mandatory 
146.35/143.05	c qxplain 274/274
146.65/143.33	c 295238[?] 7916[?] 1140[?]  is mandatory 
146.65/143.33	c qxplain 269/273
146.96/143.61	c qxplain 272/273
147.15/143.89	c qxplain 273/273
147.45/144.17	c 295240[?] 7917[?] 1141[?]  is mandatory 
147.45/144.17	c qxplain 272/272
147.75/144.45	c 295242[?] 7918[?] 1142[?]  is mandatory 
147.75/144.45	c qxplain 269/271
148.06/144.73	c qxplain 271/271
148.35/145.01	c 295244[?] 7919[?] 1143[?]  is mandatory 
148.35/145.01	c qxplain 269/270
148.55/145.30	c qxplain 270/270
148.85/145.57	c 295246[?] 7920[?] 1144[?]  is mandatory 
148.85/145.57	c qxplain 269/269
149.16/145.86	c 295248[?] 7921[?] 1145[?]  is mandatory 
149.16/145.86	c qxplain 259/268
149.45/146.14	c qxplain 264/268
149.75/146.43	c qxplain 267/268
150.05/146.71	c qxplain 268/268
150.26/146.99	c 295250[?] 7922[?] -7890[?]  is mandatory 
150.26/146.99	c qxplain 267/267
150.55/147.28	c 295252[?] 7923[?] -7922[?] -7891[?]  is mandatory 
150.55/147.28	c qxplain 264/266
150.85/147.55	c qxplain 266/266
151.16/147.84	c 295255[?] 7924[?] -7923[?] -7892[?]  is mandatory 
151.16/147.84	c qxplain 264/265
151.46/148.12	c qxplain 265/265
151.76/148.40	c 295258[?] 7925[?] -7924[?] -7893[?]  is mandatory 
151.76/148.40	c qxplain 264/264
151.96/148.68	c 295261[?] 7926[?] -7925[?] -7894[?]  is mandatory 
151.96/148.68	c qxplain 259/263
152.25/148.96	c qxplain 262/263
152.55/149.24	c qxplain 263/263
152.86/149.52	c 295264[?] 7927[?] -7926[?] -7895[?]  is mandatory 
152.86/149.52	c qxplain 262/262
153.16/149.81	c 295267[?] 7928[?] -7927[?] -7896[?]  is mandatory 
153.16/149.81	c qxplain 259/261
153.46/150.10	c qxplain 261/261
153.66/150.38	c 295270[?] 7929[?] -7928[?] -7897[?]  is mandatory 
153.66/150.38	c qxplain 259/260
153.96/150.66	c qxplain 260/260
154.26/150.95	c 295273[?] 7930[?] -7929[?] -7898[?]  is mandatory 
154.26/150.95	c qxplain 259/259
154.56/151.23	c 295276[?] 7931[?] -7930[?] -7899[?]  is mandatory 
154.56/151.23	c qxplain 222/258
154.86/151.51	c qxplain 241/258
155.06/151.79	c qxplain 250/258
155.36/152.08	c qxplain 255/258
155.66/152.35	c qxplain 257/258
155.96/152.63	c qxplain 258/258
156.26/152.91	c 295279[?] 7932[?] -7931[?] -7900[?]  is mandatory 
156.26/152.91	c qxplain 257/257
156.46/153.19	c 295282[?] 7933[?] -7932[?] -7901[?]  is mandatory 
156.46/153.19	c qxplain 255/256
156.76/153.47	c qxplain 256/256
157.06/153.76	c 295285[?] 7934[?] -7933[?] -7902[?]  is mandatory 
157.06/153.76	c qxplain 255/255
157.36/154.04	c 295288[?] 7935[?] -7934[?] -7903[?]  is mandatory 
157.36/154.04	c qxplain 250/254
157.66/154.32	c qxplain 253/254
157.86/154.60	c qxplain 254/254
158.16/154.88	c 295291[?] 7936[?] -7935[?] -7904[?]  is mandatory 
158.16/154.88	c qxplain 253/253
158.46/155.16	c 295294[?] 7937[?] -7936[?] -7905[?]  is mandatory 
158.46/155.16	c qxplain 250/252
158.76/155.44	c qxplain 252/252
159.06/155.73	c 295297[?] 7938[?] -7937[?] -7906[?]  is mandatory 
159.06/155.73	c qxplain 250/251
159.36/156.01	c qxplain 251/251
159.56/156.29	c 295300[?] 7939[?] -7938[?] -7907[?]  is mandatory 
159.56/156.29	c qxplain 250/250
159.86/156.57	c 295303[?] 7940[?] -7939[?] -7908[?]  is mandatory 
159.86/156.57	c qxplain 241/249
160.16/156.85	c qxplain 246/249
160.46/157.14	c qxplain 248/249
160.76/157.42	c qxplain 249/249
161.06/157.70	c 295306[?] 7941[?] -7940[?] -7909[?]  is mandatory 
161.06/157.70	c qxplain 248/248
161.27/157.98	c 295309[?] 7942[?] -7941[?] -7910[?]  is mandatory 
161.27/157.98	c qxplain 246/247
161.57/158.26	c qxplain 247/247
161.87/158.54	c 295312[?] 7943[?] -7942[?] -7911[?]  is mandatory 
161.87/158.54	c qxplain 246/246
162.17/158.82	c 295315[?] 7944[?] -7943[?] -7912[?]  is mandatory 
162.17/158.82	c qxplain 241/245
162.47/159.10	c qxplain 244/245
162.67/159.38	c qxplain 245/245
162.97/159.66	c 295318[?] 7945[?] -7944[?] -7913[?]  is mandatory 
162.97/159.66	c qxplain 244/244
163.27/159.94	c 295321[?] 7946[?] -7945[?] -7914[?]  is mandatory 
163.27/159.94	c qxplain 241/243
163.57/160.22	c qxplain 243/243
163.87/160.51	c 295324[?] 7947[?] -7946[?] -7915[?]  is mandatory 
163.87/160.51	c qxplain 241/242
164.07/160.79	c qxplain 242/242
164.37/161.07	c 295327[?] 7948[?] -7947[?] -7916[?]  is mandatory 
164.37/161.07	c qxplain 241/241
164.67/161.35	c 295330[?] 7949[?] -7948[?] -7917[?]  is mandatory 
164.67/161.35	c qxplain 222/240
164.96/161.64	c qxplain 232/240
165.26/161.92	c qxplain 237/240
165.46/162.19	c qxplain 239/240
165.76/162.47	c qxplain 240/240
166.06/162.76	c 295333[?] 7950[?] -7949[?] -7918[?]  is mandatory 
166.06/162.76	c qxplain 239/239
166.36/163.04	c 295336[?] 7951[?] -7950[?] -7919[?]  is mandatory 
166.36/163.04	c qxplain 237/238
166.67/163.32	c qxplain 238/238
166.96/163.60	c 295339[?] 7952[?] -7951[?] -7920[?]  is mandatory 
166.96/163.60	c qxplain 237/237
167.16/163.88	c 295342[?] 7953[?] -7952[?] -7921[?]  is mandatory 
167.16/163.88	c qxplain 232/236
167.46/164.16	c qxplain 235/236
167.78/164.45	c qxplain 236/236
168.07/164.73	c 295346[?] 7889[?] -7953[?]  is mandatory 
168.07/164.73	c qxplain 235/235
168.37/165.01	c 295348[?] -7888[?] -7889[?]  is mandatory 
168.37/165.01	c qxplain 232/234
168.57/165.29	c qxplain 234/234
168.88/165.57	c 295351[?] -7954[?] 7888[?]  is mandatory 
168.88/165.57	c qxplain 232/233
169.17/165.85	c qxplain 233/233
169.47/166.13	c 295354[?] -7955[?] 7954[?]  is mandatory 
169.47/166.13	c qxplain 232/232
169.77/166.41	c 295357[?] -7956[?] 7955[?]  is mandatory 
169.77/166.41	c qxplain 222/231
169.98/166.69	c qxplain 227/231
170.27/166.97	c qxplain 230/231
170.57/167.25	c qxplain 231/231
170.87/167.53	c 295810[?] -8215[?] 7956[?]  is mandatory 
170.87/167.53	c qxplain 230/230
171.18/167.82	c 296237[?] -8410[?] 8215[?]  is mandatory 
171.18/167.82	c qxplain 227/229
171.37/168.09	c qxplain 229/229
171.67/168.37	c 296240[?] -8411[?] 8410[?]  is mandatory 
171.67/168.37	c qxplain 227/228
171.97/168.65	c qxplain 228/228
172.28/168.94	c 296243[?] -8412[?] 8411[?]  is mandatory 
172.28/168.94	c qxplain 227/227
172.57/169.22	c 296408[?] -8479[?] 8412[?]  is mandatory 
172.57/169.22	c qxplain 222/226
172.87/169.50	c qxplain 225/226
173.07/169.78	c qxplain 226/226
173.38/170.07	c 296412[?] -8480[?] 8479[?]  is mandatory 
173.38/170.07	c qxplain 225/225
173.67/170.35	c 296414[?] -8481[?] 8480[?]  is mandatory 
173.67/170.35	c qxplain 222/224
173.97/170.64	c qxplain 224/224
174.27/170.92	c 296579[?] -8548[?] 8479[?]  is mandatory 
174.27/170.92	c qxplain 222/223
174.48/171.20	c qxplain 223/223
174.77/171.48	c 296583[?] -8549[?] 8548[?]  is mandatory 
174.77/171.48	c qxplain 222/222
175.08/171.77	c 296585[?] -8550[?] 8549[?]  is mandatory 
175.08/171.77	c qxplain 148/221
175.38/172.05	c qxplain 185/221
175.68/172.33	c qxplain 204/221
175.98/172.61	c qxplain 213/221
176.18/172.89	c qxplain 218/221
176.48/173.17	c qxplain 220/221
176.78/173.45	c qxplain 221/221
177.08/173.74	c 296589[?] -8551[?] 261[?] 8550[?]  is mandatory 
177.08/173.74	c qxplain 220/220
177.38/174.02	c 296591[?] -8552[?] 8551[?]  is mandatory 
177.38/174.02	c qxplain 218/219
177.69/174.30	c qxplain 219/219
177.88/174.58	c 296594[?] -8553[?] 8552[?]  is mandatory 
177.88/174.58	c qxplain 218/218
178.18/174.86	c 296598[?] 8553[?] -8554[?] 261[?]  is mandatory 
178.18/174.86	c qxplain 213/217
178.48/175.14	c qxplain 216/217
178.78/175.42	c qxplain 217/217
179.09/175.70	c 297054[?] -8755[?] -1146[?]  is mandatory 
179.09/175.70	c qxplain 216/216
179.29/175.98	c 297058[?] 8554[?] -390[?] -8756[?]  is mandatory 
179.29/175.98	c qxplain 213/215
179.59/176.26	c qxplain 215/215
179.89/176.54	c 297060[?] 390[?] -8756[?] 8755[?]  is mandatory 
179.89/176.54	c qxplain 213/214
180.19/176.82	c qxplain 214/214
180.49/177.10	c 297062[?] -261[?] 8481[?] -8757[?]  is mandatory 
180.49/177.10	c qxplain 213/213
180.69/177.38	c 297064[?] 8756[?] 261[?] -8757[?]  is mandatory 
180.69/177.38	c qxplain 204/212
180.99/177.66	c qxplain 209/212
181.29/177.94	c qxplain 211/212
181.59/178.22	c qxplain 212/212
181.89/178.51	c 297066[?] -100[?] 8412[?] -8758[?]  is mandatory 
181.89/178.51	c qxplain 211/211
182.09/178.79	c 297068[?] 8757[?] 100[?] -8758[?]  is mandatory 
182.09/178.79	c qxplain 209/210
182.20/178.83	c qxplain 204/208
182.20/178.87	c qxplain 185/203
182.29/178.91	c qxplain 148/184
182.29/178.95	c qxplain 0/147
182.60/179.24	c qxplain 74/147
182.90/179.52	c qxplain 111/147
183.20/179.80	c qxplain 130/147
183.40/180.08	c qxplain 139/147
183.70/180.36	c qxplain 144/147
184.00/180.64	c qxplain 146/147
184.00/180.68	c qxplain 144/145
184.30/180.96	c qxplain 145/145
184.30/181.00	c qxplain 144/144
184.60/181.28	c 297233[?] 8758[?] -8825[?]  is mandatory 
184.60/181.28	c qxplain 139/143
184.90/181.56	c qxplain 142/143
185.20/181.84	c qxplain 143/143
185.20/181.87	c qxplain 142/142
185.50/182.15	c 297237[?] 8825[?] -8826[?]  is mandatory 
185.50/182.15	c qxplain 139/141
185.80/182.44	c qxplain 141/141
186.10/182.72	c 297239[?] 8826[?] -8827[?]  is mandatory 
186.10/182.72	c qxplain 139/140
186.40/183.00	c qxplain 140/140
186.60/183.28	c 297243[?] 8827[?] -8828[?]  is mandatory 
186.60/183.28	c qxplain 139/139
186.90/183.56	c 297245[?] 8828[?] -953[?] -8829[?]  is mandatory 
186.90/183.56	c qxplain 130/138
187.20/183.85	c qxplain 135/138
187.50/184.12	c qxplain 137/138
187.80/184.40	c qxplain 138/138
188.00/184.68	c 297246[?] 953[?] -8829[?]  is mandatory 
188.00/184.68	c qxplain 137/137
188.30/184.96	c 297249[?] -8830[?] 8829[?]  is mandatory 
188.30/184.96	c qxplain 135/136
188.60/185.24	c qxplain 136/136
188.90/185.52	c 297252[?] -8831[?] 8830[?]  is mandatory 
188.90/185.52	c qxplain 135/135
189.20/185.80	c 297255[?] -8832[?] 8831[?]  is mandatory 
189.20/185.80	c qxplain 130/134
189.40/186.08	c qxplain 133/134
189.70/186.37	c qxplain 134/134
190.00/186.65	c 297258[?] -8833[?] 8832[?]  is mandatory 
190.00/186.65	c qxplain 133/133
190.30/186.94	c 297261[?] -8834[?] 8833[?]  is mandatory 
190.30/186.94	c qxplain 130/132
190.60/187.22	c qxplain 132/132
190.91/187.50	c 297263[?] -8835[?] 8834[?] -6692[?]  is mandatory 
190.91/187.50	c qxplain 130/131
191.11/187.78	c qxplain 131/131
191.41/188.06	c 297265[?] -8835[?] 6692[?] 8832[?]  is mandatory 
191.41/188.06	c qxplain 130/130
191.70/188.34	c 297267[?] 8835[?] -8836[?]  is mandatory 
191.70/188.34	c qxplain 111/129
192.01/188.62	c qxplain 121/129
192.30/188.90	c qxplain 126/129
192.50/189.19	c qxplain 128/129
192.80/189.46	c qxplain 129/129
193.11/189.74	c 303698[?] -11056[?] 8836[?]  is mandatory 
193.11/189.74	c qxplain 128/128
193.40/190.02	c 304025[?] -11188[?] 11056[?]  is mandatory 
193.40/190.02	c qxplain 126/127
193.70/190.31	c qxplain 127/127
193.90/190.59	c 304191[?] -11255[?] 11188[?]  is mandatory 
193.90/190.59	c qxplain 126/126
194.21/190.87	c 304194[?] -11256[?] 11255[?]  is mandatory 
194.21/190.87	c qxplain 121/125
194.50/191.15	c qxplain 124/125
194.80/191.43	c qxplain 125/125
195.10/191.71	c 304196[?] -11057[?] -11257[?] 11188[?]  is mandatory 
195.10/191.71	c qxplain 124/124
195.31/191.99	c 304198[?] 11057[?] -11257[?] 11256[?]  is mandatory 
195.31/191.99	c qxplain 121/123
195.60/192.27	c qxplain 123/123
195.90/192.55	c 304200[?] -10925[?] 11056[?] -11258[?]  is mandatory 
195.90/192.55	c qxplain 121/122
196.20/192.83	c qxplain 122/122
196.51/193.12	c 304202[?] 11257[?] 10925[?] -11258[?]  is mandatory 
196.51/193.12	c qxplain 121/121
196.80/193.40	c 304204[?] 8836[?] -6692[?] -11259[?]  is mandatory 
196.80/193.40	c qxplain 111/120
197.00/193.68	c qxplain 116/120
197.30/193.96	c qxplain 119/120
197.61/194.24	c qxplain 120/120
197.91/194.53	c 304206[?] 11258[?] 6692[?] -11259[?]  is mandatory 
197.91/194.53	c qxplain 119/119
198.21/194.81	c 304208[?] -11260[?] 11259[?]  is mandatory 
198.21/194.81	c qxplain 116/118
198.41/195.09	c qxplain 118/118
198.72/195.38	c 304211[?] -11261[?] 11260[?]  is mandatory 
198.72/195.38	c qxplain 116/117
199.01/195.66	c qxplain 117/117
199.31/195.94	c 304214[?] -11262[?] 11261[?]  is mandatory 
199.31/195.94	c qxplain 116/116
199.61/196.22	c 304379[?] -11329[?] 11260[?]  is mandatory 
199.61/196.22	c qxplain 111/115
199.91/196.51	c qxplain 114/115
200.11/196.79	c qxplain 115/115
200.41/197.07	c 304383[?] -11330[?] 11329[?]  is mandatory 
200.41/197.07	c qxplain 114/114
200.71/197.35	c 304385[?] -11331[?] 11330[?]  is mandatory 
200.71/197.35	c qxplain 111/113
201.01/197.63	c qxplain 113/113
201.31/197.91	c 304388[?] -11332[?] 11331[?]  is mandatory 
201.31/197.91	c qxplain 111/112
201.51/198.19	c qxplain 112/112
201.81/198.48	c 304391[?] -11333[?] 11332[?]  is mandatory 
201.81/198.48	c qxplain 111/111
202.11/198.76	c 304556[?] -11400[?] 11331[?]  is mandatory 
202.11/198.76	c qxplain 74/110
202.41/199.04	c qxplain 93/110
202.71/199.32	c qxplain 102/110
203.02/199.60	c qxplain 107/110
203.22/199.88	c qxplain 109/110
203.52/200.16	c qxplain 110/110
203.82/200.44	c 304559[?] -11401[?] 11400[?]  is mandatory 
203.82/200.44	c qxplain 109/109
204.12/200.73	c 304561[?] -11402[?] 11401[?]  is mandatory 
204.12/200.73	c qxplain 107/108
204.42/201.01	c qxplain 108/108
204.62/201.29	c 304564[?] -11403[?] 11402[?]  is mandatory 
204.62/201.29	c qxplain 107/107
204.92/201.57	c 305404[?] -11805[?] 11401[?]  is mandatory 
204.92/201.57	c qxplain 102/106
205.22/201.85	c qxplain 105/106
205.52/202.13	c qxplain 106/106
205.82/202.41	c 305408[?] -11806[?] 11805[?]  is mandatory 
205.82/202.41	c qxplain 105/105
206.12/202.71	c 305573[?] -11873[?] 11806[?]  is mandatory 
206.12/202.71	c qxplain 102/104
206.33/202.99	c qxplain 104/104
206.62/203.27	c 305577[?] -11874[?] 11873[?]  is mandatory 
206.62/203.27	c qxplain 102/103
206.92/203.55	c qxplain 103/103
207.22/203.84	c 305579[?] -11875[?] -4529[?] 11806[?]  is mandatory 
207.22/203.84	c qxplain 102/102
207.53/204.12	c 305581[?] -11875[?] 4529[?] 11874[?]  is mandatory 
207.53/204.12	c qxplain 93/101
207.82/204.40	c qxplain 98/101
208.02/204.68	c qxplain 100/101
208.32/204.96	c qxplain 101/101
208.63/205.24	c 305584[?] -11876[?] 11875[?]  is mandatory 
208.63/205.24	c qxplain 100/100
208.92/205.52	c 305586[?] -11877[?] 11876[?]  is mandatory 
208.92/205.52	c qxplain 98/99
209.22/205.80	c qxplain 99/99
209.42/206.09	c 305590[?] -11878[?] 11877[?]  is mandatory 
209.42/206.09	c qxplain 98/98
209.73/206.37	c 305592[?] -11879[?] 11876[?] -4529[?]  is mandatory 
209.73/206.37	c qxplain 93/97
210.02/206.66	c qxplain 96/97
210.32/206.94	c qxplain 97/97
210.62/207.22	c 305594[?] -11879[?] 11878[?] 4529[?]  is mandatory 
210.62/207.22	c qxplain 96/96
210.92/207.51	c 305597[?] -11880[?] 11879[?]  is mandatory 
210.92/207.51	c qxplain 93/95
211.12/207.79	c qxplain 95/95
211.42/208.07	c 305599[?] -11881[?] 11880[?]  is mandatory 
211.42/208.07	c qxplain 93/94
211.72/208.36	c qxplain 94/94
212.02/208.64	c 305603[?] 11881[?] -11882[?]  is mandatory 
212.02/208.64	c qxplain 93/93
212.32/208.93	c 305605[?] 11880[?] -11883[?] -4529[?]  is mandatory 
212.32/208.93	c qxplain 74/92
212.62/209.21	c qxplain 84/92
212.82/209.49	c qxplain 89/92
213.12/209.77	c qxplain 91/92
213.42/210.06	c qxplain 92/92
213.72/210.34	c 305607[?] 11882[?] -11883[?] 4529[?]  is mandatory 
213.72/210.34	c qxplain 91/91
214.02/210.62	c 305610[?] 11883[?] -11884[?]  is mandatory 
214.02/210.62	c qxplain 89/90
214.33/210.92	c qxplain 90/90
214.63/211.20	c 305613[?] 11884[?] -11885[?]  is mandatory 
214.63/211.20	c qxplain 89/89
214.83/211.48	c 305615[?] 11885[?] -11886[?]  is mandatory 
214.83/211.48	c qxplain 84/88
215.14/211.76	c qxplain 87/88
215.43/212.04	c qxplain 88/88
215.73/212.32	c 305619[?] 11886[?] -11887[?]  is mandatory 
215.73/212.32	c qxplain 87/87
216.03/212.60	c 305621[?] 11885[?] -4529[?] -11888[?]  is mandatory 
216.03/212.60	c qxplain 84/86
216.24/212.88	c qxplain 86/86
216.53/213.16	c 305623[?] 11887[?] -11888[?] 4529[?]  is mandatory 
216.53/213.16	c qxplain 84/85
216.83/213.44	c qxplain 85/85
217.13/213.73	c 305625[?] -11889[?] 11888[?]  is mandatory 
217.13/213.73	c qxplain 84/84
217.44/214.01	c 306835[?] -12416[?] 11889[?]  is mandatory 
217.44/214.01	c qxplain 74/83
217.63/214.29	c qxplain 79/83
217.93/214.57	c qxplain 82/83
218.23/214.85	c qxplain 83/83
218.54/215.13	c 306838[?] -12417[?] 12416[?]  is mandatory 
218.54/215.13	c qxplain 82/82
218.83/215.41	c 307870[?] -12887[?] 12417[?]  is mandatory 
218.83/215.41	c qxplain 79/81
219.03/215.69	c qxplain 81/81
219.33/215.97	c 308036[?] -12954[?] 12416[?]  is mandatory 
219.33/215.97	c qxplain 79/80
219.64/216.25	c qxplain 80/80
219.93/216.54	c 308583[?] -13164[?] 12954[?]  is mandatory 
219.93/216.54	c qxplain 79/79
220.23/216.82	c 308586[?] -12285[?] -13165[?] 12887[?]  is mandatory 
220.23/216.82	c qxplain 74/78
220.53/217.10	c qxplain 77/78
220.74/217.38	c qxplain 78/78
221.03/217.66	c 308588[?] 12285[?] -13165[?] 13164[?]  is mandatory 
221.03/217.66	c qxplain 77/77
221.34/217.94	c 309138[?] -13362[?] 13165[?]  is mandatory 
221.34/217.94	c qxplain 74/76
221.64/218.22	c qxplain 76/76
221.94/218.50	c 309561[?] -13559[?] 13362[?]  is mandatory 
221.94/218.50	c qxplain 74/75
222.14/218.78	c qxplain 75/75
222.44/219.06	c 309564[?] -13560[?] 13559[?]  is mandatory 
222.44/219.06	c qxplain 74/74
222.75/219.36	c 309567[?] -13561[?] 13560[?]  is mandatory 
222.75/219.36	c qxplain 0/73
223.05/219.64	c qxplain 37/73
223.35/219.92	c qxplain 56/73
223.65/220.20	c qxplain 65/73
223.85/220.48	c qxplain 70/73
224.15/220.76	c qxplain 72/73
224.45/221.04	c qxplain 73/73
224.74/221.32	c 309893[?] -13725[?] 13559[?]  is mandatory 
224.74/221.32	c qxplain 72/72
225.05/221.60	c 310106[?] -13821[?] 13725[?]  is mandatory 
225.05/221.60	c qxplain 70/71
225.24/221.88	c qxplain 71/71
225.54/222.16	c 310110[?] -13822[?] 13821[?]  is mandatory 
225.54/222.16	c qxplain 70/70
225.84/222.44	c 310275[?] -13921[?] 13822[?]  is mandatory 
225.84/222.44	c qxplain 65/69
226.15/222.72	c qxplain 68/69
226.44/223.00	c qxplain 69/69
226.64/223.28	c 310441[?] -14020[?] 13921[?]  is mandatory 
226.64/223.28	c qxplain 68/68
226.94/223.56	c 310446[?] -14023[?] 14020[?]  is mandatory 
226.94/223.56	c qxplain 65/67
227.25/223.84	c qxplain 67/67
227.54/224.13	c 310612[?] -14122[?] 14023[?]  is mandatory 
227.54/224.13	c qxplain 65/66
227.84/224.41	c qxplain 66/66
228.04/224.69	c 310778[?] -14221[?] 14122[?]  is mandatory 
228.04/224.69	c qxplain 65/65
228.35/224.97	c 310781[?] -14222[?] 14221[?]  is mandatory 
228.35/224.97	c qxplain 56/64
228.64/225.25	c qxplain 61/64
228.94/225.53	c qxplain 63/64
229.24/225.81	c qxplain 64/64
229.45/226.10	c 310783[?] -13594[?] -14223[?] 13725[?]  is mandatory 
229.45/226.10	c qxplain 63/63
229.74/226.38	c 310785[?] 13594[?] -14223[?] 14222[?]  is mandatory 
229.74/226.38	c qxplain 61/62
230.04/226.66	c qxplain 62/62
230.34/226.94	c 310787[?] -13428[?] -14224[?] 13561[?]  is mandatory 
230.34/226.94	c qxplain 61/61
230.65/227.22	c 310789[?] 14223[?] 13428[?] -14224[?]  is mandatory 
230.65/227.22	c qxplain 56/60
230.94/227.50	c qxplain 59/60
231.14/227.78	c qxplain 60/60
231.45/228.08	c 310791[?] -12052[?] -14225[?] 13362[?]  is mandatory 
231.45/228.08	c qxplain 59/59
231.75/228.36	c 310793[?] 12052[?] -14225[?] 14224[?]  is mandatory 
231.75/228.36	c qxplain 56/58
232.05/228.64	c qxplain 58/58
232.35/228.92	c 310795[?] -14226[?] 14225[?]  is mandatory 
232.35/228.92	c qxplain 56/57
232.65/229.20	c qxplain 57/57
232.85/229.48	c 310961[?] -14325[?] 14226[?]  is mandatory 
232.85/229.48	c qxplain 56/56
233.15/229.76	c 311127[?] -14424[?] 14325[?]  is mandatory 
233.15/229.76	c qxplain 37/55
233.45/230.04	c qxplain 47/55
233.75/230.32	c qxplain 52/55
234.05/230.60	c qxplain 54/55
234.25/230.88	c qxplain 55/55
234.55/231.15	c 311130[?] -14425[?] 14424[?]  is mandatory 
234.55/231.15	c qxplain 54/54
234.85/231.43	c 311456[?] -14557[?] 14225[?]  is mandatory 
234.85/231.43	c qxplain 52/53
235.15/231.71	c qxplain 53/53
235.45/232.00	c 311623[?] -14624[?] 14557[?]  is mandatory 
235.45/232.00	c qxplain 52/52
235.65/232.28	c 311788[?] -14723[?] 14624[?]  is mandatory 
235.65/232.28	c qxplain 47/51
235.95/232.55	c qxplain 50/51
236.25/232.83	c qxplain 51/51
236.55/233.11	c 311954[?] -14822[?] 14723[?]  is mandatory 
236.55/233.11	c qxplain 50/50
236.75/233.39	c 311957[?] -14823[?] 14822[?]  is mandatory 
236.75/233.39	c qxplain 47/49
237.05/233.67	c qxplain 49/49
237.35/233.95	c 311959[?] -14426[?] -14824[?] 14557[?]  is mandatory 
237.35/233.95	c qxplain 47/48
237.64/234.22	c qxplain 48/48
237.94/234.50	c 311961[?] 14426[?] -14824[?] 14823[?]  is mandatory 
237.94/234.50	c qxplain 47/47
238.14/234.79	c 311963[?] -2698[?] -14825[?] 14425[?]  is mandatory 
238.14/234.79	c qxplain 37/46
238.44/235.07	c qxplain 42/46
238.74/235.34	c qxplain 45/46
239.04/235.62	c qxplain 46/46
239.35/235.90	c 311965[?] 2698[?] -14825[?] 14824[?]  is mandatory 
239.35/235.90	c qxplain 45/45
239.54/236.18	c 312420[?] -15020[?] 14825[?]  is mandatory 
239.54/236.18	c qxplain 42/44
239.84/236.45	c qxplain 44/44
240.15/236.74	c 313933[?] -15774[?] 3085[?] 15020[?]  is mandatory 
240.15/236.74	c qxplain 42/43
240.46/237.02	c qxplain 43/43
240.75/237.30	c 313935[?] -15775[?] 15774[?]  is mandatory 
240.75/237.30	c qxplain 42/42
240.95/237.58	c 314101[?] -15874[?] 15775[?]  is mandatory 
240.95/237.58	c qxplain 37/41
241.25/237.86	c qxplain 40/41
241.56/238.14	c qxplain 41/41
241.85/238.42	c 314267[?] -15973[?] 15874[?]  is mandatory 
241.85/238.42	c qxplain 40/40
242.05/238.69	c 314270[?] -15974[?] 15973[?]  is mandatory 
242.05/238.69	c qxplain 37/39
242.35/238.97	c qxplain 39/39
242.66/239.25	c 314725[?] -16169[?] 15774[?]  is mandatory 
242.66/239.25	c qxplain 37/38
242.95/239.53	c qxplain 38/38
243.25/239.81	c 314728[?] -16170[?] 16169[?]  is mandatory 
243.25/239.81	c qxplain 37/37
243.46/240.09	c 314731[?] -16171[?] 16170[?]  is mandatory 
243.46/240.09	c qxplain 0/36
243.77/240.37	c qxplain 19/36
244.06/240.65	c qxplain 28/36
244.36/240.93	c qxplain 33/36
244.66/241.21	c qxplain 35/36
244.87/241.48	c qxplain 36/36
245.16/241.76	c 314896[?] -16238[?] 16169[?]  is mandatory 
245.16/241.76	c qxplain 35/35
245.46/242.04	c 315222[?] -16369[?] 16238[?]  is mandatory 
245.46/242.04	c qxplain 33/34
245.76/242.32	c qxplain 34/34
245.97/242.60	c 315225[?] -16370[?] 16369[?]  is mandatory 
245.97/242.60	c qxplain 33/33
246.26/242.88	c 315229[?] 5534[?] 16370[?] -16371[?]  is mandatory 
246.26/242.88	c qxplain 28/32
246.56/243.16	c qxplain 31/32
246.86/243.43	c qxplain 32/32
247.17/243.71	c 315231[?] -5301[?] -16372[?] 16171[?]  is mandatory 
247.17/243.71	c qxplain 31/31
247.36/243.99	c 315233[?] 16371[?] 5301[?] -16372[?]  is mandatory 
247.36/243.99	c qxplain 28/30
247.66/244.27	c qxplain 30/30
247.96/244.55	c 315235[?] -5011[?] 15974[?] -16373[?]  is mandatory 
247.96/244.55	c qxplain 28/29
248.27/244.83	c qxplain 29/29
248.56/245.11	c 315237[?] 16372[?] 5011[?] -16373[?]  is mandatory 
248.56/245.11	c qxplain 28/28
248.76/245.39	c 315241[?] 16373[?] 3085[?] -16374[?]  is mandatory 
248.76/245.39	c qxplain 19/27
249.07/245.68	c qxplain 24/27
249.38/245.96	c qxplain 26/27
249.67/246.24	c qxplain 27/27
249.67/246.28	c qxplain 26/26
249.97/246.56	c 315244[?] 16374[?] -16375[?]  is mandatory 
249.97/246.56	c qxplain 24/25
250.27/246.84	c qxplain 25/25
250.57/247.11	c 315246[?] -16376[?] -2569[?] 11889[?]  is mandatory 
250.57/247.11	c qxplain 24/24
250.77/247.39	c 315248[?] 16375[?] 2569[?] -16376[?]  is mandatory 
250.77/247.39	c qxplain 19/23
251.07/247.67	c qxplain 22/23
251.37/247.95	c qxplain 23/23
251.67/248.23	c 315250[?] -16377[?] 16376[?]  is mandatory 
251.67/248.23	c qxplain 22/22
251.97/248.51	c 315253[?] -16378[?] 16377[?]  is mandatory 
251.97/248.51	c qxplain 19/21
252.17/248.79	c qxplain 21/21
252.47/249.06	c 315255[?] -11468[?] 16378[?] -16379[?]  is mandatory 
252.47/249.06	c qxplain 19/20
252.78/249.34	c qxplain 20/20
253.08/249.62	c 315257[?] 11468[?] 16376[?] -16379[?]  is mandatory 
253.08/249.62	c qxplain 19/19
253.38/249.90	c 316390[?] 16379[?] -16921[?] -5791[?]  is mandatory 
253.38/249.90	c qxplain 0/18
253.58/250.18	c qxplain 10/18
253.87/250.46	c qxplain 15/18
254.17/250.74	c qxplain 17/18
254.47/251.02	c qxplain 18/18
254.67/251.30	c 316394[?] -2859[?] -16922[?] 14825[?]  is mandatory 
254.67/251.30	c qxplain 17/17
254.97/251.57	c 316396[?] 16921[?] 2859[?] -16922[?]  is mandatory 
254.97/251.57	c qxplain 15/16
255.27/251.85	c qxplain 16/16
255.57/252.13	c 316398[?] 16379[?] -2569[?] -16923[?]  is mandatory 
255.57/252.13	c qxplain 15/15
255.88/252.41	c 316400[?] 16922[?] 2569[?] -16923[?]  is mandatory 
255.88/252.41	c qxplain 10/14
256.07/252.69	c qxplain 13/14
256.37/252.97	c qxplain 14/14
256.67/253.24	c 316402[?] -2304[?] -16924[?] 11403[?]  is mandatory 
256.67/253.24	c qxplain 13/13
256.98/253.52	c 316404[?] 16923[?] 2304[?] -16924[?]  is mandatory 
256.98/253.52	c qxplain 10/12
257.28/253.80	c qxplain 12/12
257.47/254.08	c 316406[?] -2175[?] -16925[?] 11333[?]  is mandatory 
257.47/254.08	c qxplain 10/11
257.78/254.37	c qxplain 11/11
258.09/254.65	c 316408[?] 16924[?] -16925[?] 2175[?]  is mandatory 
258.09/254.65	c qxplain 10/10
258.38/254.93	c 316410[?] 16925[?] -2046[?] -16926[?]  is mandatory 
258.38/254.93	c qxplain 0/9
258.68/255.21	c qxplain 5/9
258.88/255.50	c qxplain 8/9
259.19/255.77	c qxplain 9/9
259.48/256.05	c 316412[?] 2046[?] -16926[?] 11330[?]  is mandatory 
259.48/256.05	c qxplain 8/8
259.78/256.33	c 316479[?] 16926[?] -1821[?] -16995[?]  is mandatory 
259.78/256.33	c qxplain 5/7
260.08/256.61	c qxplain 7/7
260.29/256.89	c 316483[?] -1460[?] -16996[?] 11262[?]  is mandatory 
260.29/256.89	c qxplain 5/6
260.58/257.17	c qxplain 6/6
260.88/257.45	c 316485[?] 16995[?] -16996[?] 1460[?]  is mandatory 
260.88/257.45	c qxplain 5/5
261.18/257.73	c 316487[?] -551[?] -16997[?] 11259[?]  is mandatory 
261.18/257.73	c qxplain 0/4
261.49/258.01	c qxplain 3/4
261.68/258.29	c qxplain 4/4
261.98/258.57	c 316489[?] 16996[?] -16997[?] 551[?]  is mandatory 
261.98/258.57	c qxplain 3/3
262.28/258.85	c 316491[?] 6273[?] -16998[?]  is mandatory 
262.28/258.85	c qxplain 0/2
262.59/259.13	c qxplain 2/2
262.88/259.41	c 316492[?] 16997[?] -16998[?]  is mandatory 
262.88/259.41	c qxplain 0/1
263.08/259.69	c qxplain 1/1
263.38/259.97	c 316495[?] 16998[?] -16999[?]  is mandatory 
263.38/259.97	c qxplain 0/0
263.69/260.26	c 1182704[?] 16999[?] 274451[?]  is mandatory 
264.25/260.63	c Size of the MUS: 424
264.25/260.63	c Unsat core  computation wall clock time (in seconds) : 249.808
264.25/260.64	c starts		: 880
264.25/260.64	c conflicts		: 1753
264.25/260.64	c decisions		: 238279725
264.25/260.64	c propagations		: 1039059751
264.25/260.64	c inspects		: 35704249
264.25/260.64	c shortcuts		: 0
264.25/260.64	c learnt literals	: 0
264.25/260.64	c learnt binary clauses	: 0
264.25/260.64	c learnt ternary clauses	: 6
264.25/260.64	c learnt constraints	: 1752
264.25/260.64	c ignored constraints	: 0
264.25/260.64	c root simplifications	: 0
264.25/260.64	c removed literals (reason simplification)	: 149
264.25/260.64	c reason swapping (by a shorter reason)	: 0
264.25/260.64	c Calls to reduceDB	: 0
264.25/260.64	c speed (assignments/second)	: 1.574332956060606E9
264.25/260.64	c non guided choices	238243716
264.25/260.64	c learnt constraints type 
264.25/260.64	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 1752
264.25/260.64	c constraints type 
264.25/260.64	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 902970
264.25/260.64	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 5285
264.25/260.64	s UNSATISFIABLE
264.25/260.64	v 5285 6828 6831 6834 6837 6840 6843 6846 6849 6852 6855 6858 6861 6864 6867 6870 6873 6876 6879 6882 6885 6888 6891 6894 6897 6900 6903 6906 6909 6912 6915 6918 6921 6924 6926 6928 6930 6932 6934 6936 6938 6940 6942 6944 6946 6948 6950 6952 6954 6956 6958 6960 6962 6964 6966 6968 6970 6972 6974 6976 6978 6980 6982 6984 6986 6988 6990 6993 6996 6999 7002 7005 7008 7011 7014 7017 7020 7023 7026 7029 7032 7035 7038 7041 7044 7047 7050 7053 7056 7059 7062 7065 7068 7071 7074 7077 7080 7084 15804 15870 15998 16125 16217 16221 16283 16285 16287 16290 16293 16296 16299 16302 16305 16308 16311 16314 16317 16320 16323 16326 16329 16332 16335 16338 16341 16344 16347 16350 16353 16356 16359 16362 16365 16368 16371 16374 16377 16378 16379 16382 16447 16574 16670 16767 16893 17021 17026 17119 17123 17247 17251 17374 17376 17438 17440 17441 17443 17446 17449 17452 17455 17458 17461 17464 17467 17470 17473 17476 17479 17482 17485 17488 17491 17494 17497 17500 17503 17506 17509 17512 17515 17518 17521 17524 17527 17530 17532 17597 17661 17756 17757 20735 20737 20739 20741 20743 20745 20747 20749 20751 20753 20755 20757 20759 20761 20763 20765 20767 20769 20771 20773 20775 20777 20779 20781 20783 20785 20787 20789 20791 20793 20795 20797 20799 20801 20804 20807 20810 20813 20816 20819 20822 20825 20828 20831 20834 20837 20840 20843 20846 20849 20852 20855 20858 20861 20864 20867 20870 20873 20876 20879 20882 20885 20888 20891 20895 20897 20900 20903 20906 21359 21786 21789 21792 21957 21961 21963 22128 22132 22134 22138 22140 22143 22147 22603 22607 22609 22611 22613 22615 22617 22782 22786 22788 22792 22794 22795 22798 22801 22804 22807 22810 22812 22814 22816 29247 29574 29740 29743 29745 29747 29749 29751 29753 29755 29757 29760 29763 29928 29932 29934 29937 29940 30105 30108 30110 30113 30953 30957 31122 31126 31128 31130 31133 31135 31139 31141 31143 31146 31148 31152 31154 31156 31159 31162 31164 31168 31170 31172 31174 32384 32387 33419 33585 34132 34135 34137 34687 35110 35113 35116 35442 35655 35659 35824 35990 35995 36161 36327 36330 36332 36334 36336 36338 36340 36342 36344 36510 36676 36679 37005 37172 37337 37503 37506 37508 37510 37512 37514 37969 39482 39484 39650 39816 39819 40274 40277 40280 40445 40771 40774 40778 40780 40782 40784 40786 40790 40793 40795 40797 40799 40802 40804 40806 41939 41943 41945 41947 41949 41951 41953 41955 41957 41959 41961 42028 42032 42034 42036 42038 42040 42041 42044 908253 0
264.25/260.64	c Total wall clock time (in seconds) : 260.538

OK	424

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-3493556-1307800854/watcher-3493556-1307800854 -o /tmp/evaluation-result-3493556-1307800854/solver-3493556-1307800854 -C 1800 -W 1850 -M 7680 java -Xms6000m -Xmx6000m -jar sat4j-mus-v20110206.jar HOME/instance-3493556-1307800854.cnf 

running on 2 cores: 5,7

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


[startup+0 s]
/proc/loadavg: 2.01 2.47 2.70 4/195 25905
/proc/meminfo: memFree=30628540/32951124 swapFree=67049456/67111528
[pid=25905] ppid=25903 vsize=11804 CPUtime=0 cores=5,7
/proc/25905/stat : 25905 (runsolver) R 25903 25905 27853 0 -1 4202560 41 0 0 0 0 0 0 0 25 0 1 0 970316161 12087296 50 33554432000 4194304 5436572 140737184386160 18446744073709551615 4883175 0 2147483391 4096 24578 0 0 0 17 7 0 0 0
/proc/25905/statm: 2951 50 31 304 0 2643 0

[startup+0.114312 s]
/proc/loadavg: 2.01 2.47 2.70 4/195 25905
/proc/meminfo: memFree=30628540/32951124 swapFree=67049456/67111528
[pid=25905] ppid=25903 vsize=6429840 CPUtime=0.1 cores=5,7
/proc/25905/stat : 25905 (java) S 25903 25905 27853 0 -1 4202496 14835 0 1 0 8 2 0 0 25 0 18 0 970316161 6584156160 14530 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/25905/statm: 1607460 14535 2016 9 0 1598198 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 6429840

[startup+0.2009 s]
/proc/loadavg: 2.01 2.47 2.70 4/195 25905
/proc/meminfo: memFree=30628540/32951124 swapFree=67049456/67111528
[pid=25905] ppid=25903 vsize=6432184 CPUtime=0.22 cores=5,7
/proc/25905/stat : 25905 (java) S 25903 25905 27853 0 -1 4202496 16200 0 1 0 20 2 0 0 25 0 18 0 970316161 6586556416 15895 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/25905/statm: 1608046 15895 2171 9 0 1598784 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 6432184

[startup+0.300885 s]
/proc/loadavg: 2.01 2.47 2.70 4/195 25905
/proc/meminfo: memFree=30628540/32951124 swapFree=67049456/67111528
[pid=25905] ppid=25903 vsize=6433812 CPUtime=0.42 cores=5,7
/proc/25905/stat : 25905 (java) S 25903 25905 27853 0 -1 4202496 20825 0 1 0 40 2 0 0 25 0 18 0 970316161 6588223488 20002 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/25905/statm: 1608453 20002 2195 9 0 1599191 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 6433812

[startup+0.700821 s]
/proc/loadavg: 2.01 2.47 2.70 4/195 25905
/proc/meminfo: memFree=30628540/32951124 swapFree=67049456/67111528
[pid=25905] ppid=25903 vsize=6433812 CPUtime=0.86 cores=5,7
/proc/25905/stat : 25905 (java) S 25903 25905 27853 0 -1 4202496 60972 0 1 0 78 8 0 0 25 0 18 0 970316161 6588223488 60149 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/25905/statm: 1608453 60149 2195 9 0 1599191 0
Current children cumulated CPU time (s) 0.86
Current children cumulated vsize (KiB) 6433812

[startup+1.50072 s]
/proc/loadavg: 2.01 2.46 2.69 3/213 25923
/proc/meminfo: memFree=30251524/32951124 swapFree=67049456/67111528
[pid=25905] ppid=25903 vsize=6433812 CPUtime=1.66 cores=5,7
/proc/25905/stat : 25905 (java) S 25903 25905 27853 0 -1 4202496 139361 0 1 0 149 17 0 0 25 0 18 0 970316161 6588223488 138537 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/25905/statm: 1608453 138537 2209 9 0 1599191 0
[pid=25905/tid=25907] ppid=25903 vsize=6433812 CPUtime=1.39 cores=5,7
/proc/25905/task/25907/stat : 25907 (java) R 25903 25905 27853 0 -1 4202560 136165 0 1 0 122 17 0 0 25 0 18 0 970316162 6588223488 138537 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 46912505122311 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=25905/tid=25908] ppid=25903 vsize=6433812 CPUtime=0 cores=5,7
/proc/25905/task/25908/stat : 25908 (java) S 25903 25905 27853 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 970316163 6588223488 138537 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296741785 0 4 0 16800975 18446604470182801792 0 0 -1 7 0 0 0
[pid=25905/tid=25909] ppid=25903 vsize=6433812 CPUtime=0 cores=5,7
/proc/25905/task/25909/stat : 25909 (java) S 25903 25905 27853 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 970316163 6588223488 138537 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296741785 0 4 0 16800975 18446604470182801792 0 0 -1 7 0 0 0
[pid=25905/tid=25910] ppid=25903 vsize=6433812 CPUtime=0 cores=5,7
/proc/25905/task/25910/stat : 25910 (java) S 25903 25905 27853 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 970316163 6588223488 138537 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296741785 0 4 0 16800975 18446604470182801792 0 0 -1 7 0 0 0
[pid=25905/tid=25911] ppid=25903 vsize=6433812 CPUtime=0 cores=5,7
/proc/25905/task/25911/stat : 25911 (java) S 25903 25905 27853 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 970316163 6588223488 138537 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296741785 0 4 0 16800975 18446604470182801792 0 0 -1 7 0 0 0
[pid=25905/tid=25912] ppid=25903 vsize=6433812 CPUtime=0 cores=5,7
/proc/25905/task/25912/stat : 25912 (java) S 25903 25905 27853 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 970316163 6588223488 138537 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296741785 0 4 0 16800975 18446604470182801792 0 0 -1 7 0 0 0
[pid=25905/tid=25913] ppid=25903 vsize=6433812 CPUtime=0 cores=5,7
/proc/25905/task/25913/stat : 25913 (java) S 25903 25905 27853 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 970316163 6588223488 138537 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296741785 0 4 0 16800975 18446604470182801792 0 0 -1 7 0 0 0
[pid=25905/tid=25914] ppid=25903 vsize=6433812 CPUtime=0 cores=5,7
/proc/25905/task/25914/stat : 25914 (java) S 25903 25905 27853 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 970316163 6588223488 138537 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296741785 0 4 0 16800975 18446604470182801792 0 0 -1 7 0 0 0
[pid=25905/tid=25915] ppid=25903 vsize=6433812 CPUtime=0 cores=5,7
/proc/25905/task/25915/stat : 25915 (java) S 25903 25905 27853 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 970316164 6588223488 138537 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296741785 0 4 0 16800975 18446604470182801792 0 0 -1 7 0 0 0
[pid=25905/tid=25916] ppid=25903 vsize=6433812 CPUtime=0 cores=5,7
/proc/25905/task/25916/stat : 25916 (java) S 25903 25905 27853 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 18 0 970316164 6588223488 138537 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296742400 0 0 0 16800975 18446604470182801792 0 0 -1 7 0 0 0
[pid=25905/tid=25917] ppid=25903 vsize=6433812 CPUtime=0 cores=5,7
/proc/25905/task/25917/stat : 25917 (java) S 25903 25905 27853 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 970316165 6588223488 138537 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296741785 0 4 0 16800975 18446604470182801792 0 0 -1 7 0 0 0
[pid=25905/tid=25918] ppid=25903 vsize=6433812 CPUtime=0 cores=5,7
/proc/25905/task/25918/stat : 25918 (java) S 25903 25905 27853 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 970316165 6588223488 138537 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296741785 0 4 0 16800975 18446604470182801792 0 0 -1 7 0 0 0
[pid=25905/tid=25919] ppid=25903 vsize=6433812 CPUtime=0 cores=5,7
/proc/25905/task/25919/stat : 25919 (java) S 25903 25905 27853 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 970316167 6588223488 138537 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296749489 0 4 0 16800975 18446604470182801792 0 0 -1 7 0 0 0
[pid=25905/tid=25920] ppid=25903 vsize=6433812 CPUtime=0.06 cores=5,7
/proc/25905/task/25920/stat : 25920 (java) S 25903 25905 27853 0 -1 4202560 707 0 0 0 6 0 0 0 25 0 18 0 970316167 6588223488 138537 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296741785 0 4 0 16800975 18446604470182801792 0 0 -1 5 0 0 0
[pid=25905/tid=25921] ppid=25903 vsize=6433812 CPUtime=0.19 cores=5,7
/proc/25905/task/25921/stat : 25921 (java) S 25903 25905 27853 0 -1 4202560 1336 0 0 0 19 0 0 0 17 0 18 0 970316167 6588223488 138537 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296741785 0 4 0 16800975 18446604470182801792 0 0 -1 5 0 0 0
[pid=25905/tid=25922] ppid=25903 vsize=6433812 CPUtime=0 cores=5,7
/proc/25905/task/25922/stat : 25922 (java) S 25903 25905 27853 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 970316167 6588223488 138537 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296741785 0 4 0 16800975 18446604470182801792 0 0 -1 7 0 0 0
[pid=25905/tid=25923] ppid=25903 vsize=6433812 CPUtime=0 cores=5,7
/proc/25905/task/25923/stat : 25923 (java) S 25903 25905 27853 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 970316167 6588223488 138537 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296742400 0 4 0 16800975 18446604470182801792 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.66
Current children cumulated vsize (KiB) 6433812

[startup+3.10142 s]
/proc/loadavg: 2.01 2.46 2.69 3/214 25924
/proc/meminfo: memFree=30047660/32951124 swapFree=67049456/67111528
[pid=25905] ppid=25903 vsize=6434840 CPUtime=3.4 cores=5,7
/proc/25905/stat : 25905 (java) S 25903 25905 27853 0 -1 4202496 144795 0 1 0 323 17 0 0 25 0 19 0 970316161 6589276160 143502 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/25905/statm: 1608710 143502 2220 9 0 1599448 0
[pid=25905/tid=25907] ppid=25903 vsize=6434840 CPUtime=2.85 cores=5,7
/proc/25905/task/25907/stat : 25907 (java) R 25903 25905 27853 0 -1 4202560 140480 0 1 0 268 17 0 0 18 0 19 0 970316162 6589276160 143502 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 46912505641142 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=25905/tid=25908] ppid=25903 vsize=6434840 CPUtime=0 cores=5,7
/proc/25905/task/25908/stat : 25908 (java) S 25903 25905 27853 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 970316163 6589276160 143502 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296741785 0 4 0 16800975 18446604470182801792 0 0 -1 7 0 0 0
[pid=25905/tid=25909] ppid=25903 vsize=6434840 CPUtime=0 cores=5,7
/proc/25905/task/25909/stat : 25909 (java) S 25903 25905 27853 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 970316163 6589276160 143502 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296741785 0 4 0 16800975 18446604470182801792 0 0 -1 7 0 0 0
[pid=25905/tid=25910] ppid=25903 vsize=6434840 CPUtime=0 cores=5,7
/proc/25905/task/25910/stat : 25910 (java) S 25903 25905 27853 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 970316163 6589276160 143502 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296741785 0 4 0 16800975 18446604470182801792 0 0 -1 7 0 0 0
[pid=25905/tid=25911] ppid=25903 vsize=6434840 CPUtime=0 cores=5,7
/proc/25905/task/25911/stat : 25911 (java) S 25903 25905 27853 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 970316163 6589276160 143502 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296741785 0 4 0 16800975 18446604470182801792 0 0 -1 7 0 0 0
[pid=25905/tid=25912] ppid=25903 vsize=6434840 CPUtime=0 cores=5,7
/proc/25905/task/25912/stat : 25912 (java) S 25903 25905 27853 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 970316163 6589276160 143502 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296741785 0 4 0 16800975 18446604470182801792 0 0 -1 7 0 0 0
[pid=25905/tid=25913] ppid=25903 vsize=6434840 CPUtime=0 cores=5,7
/proc/25905/task/25913/stat : 25913 (java) S 25903 25905 27853 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 970316163 6589276160 143502 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296741785 0 4 0 16800975 18446604470182801792 0 0 -1 7 0 0 0
[pid=25905/tid=25914] ppid=25903 vsize=6434840 CPUtime=0 cores=5,7
/proc/25905/task/25914/stat : 25914 (java) S 25903 25905 27853 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 970316163 6589276160 143502 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296741785 0 4 0 16800975 18446604470182801792 0 0 -1 7 0 0 0
[pid=25905/tid=25915] ppid=25903 vsize=6434840 CPUtime=0 cores=5,7
/proc/25905/task/25915/stat : 25915 (java) S 25903 25905 27853 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 970316164 6589276160 143502 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296741785 0 4 0 16800975 18446604470182801792 0 0 -1 7 0 0 0
[pid=25905/tid=25916] ppid=25903 vsize=6434840 CPUtime=0 cores=5,7
/proc/25905/task/25916/stat : 25916 (java) S 25903 25905 27853 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 970316164 6589276160 143502 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296742400 0 0 0 16800975 18446604470182801792 0 0 -1 7 0 0 0
[pid=25905/tid=25917] ppid=25903 vsize=6434840 CPUtime=0 cores=5,7
/proc/25905/task/25917/stat : 25917 (java) S 25903 25905 27853 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 970316165 6589276160 143502 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296741785 0 4 0 16800975 18446604470182801792 0 0 -1 7 0 0 0
[pid=25905/tid=25918] ppid=25903 vsize=6434840 CPUtime=0 cores=5,7
/proc/25905/task/25918/stat : 25918 (java) S 25903 25905 27853 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 970316165 6589276160 143502 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296741785 0 4 0 16800975 18446604470182801792 0 0 -1 7 0 0 0
[pid=25905/tid=25919] ppid=25903 vsize=6434840 CPUtime=0 cores=5,7
/proc/25905/task/25919/stat : 25919 (java) S 25903 25905 27853 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 970316167 6589276160 143502 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296749489 0 4 0 16800975 18446604470182801792 0 0 -1 7 0 0 0
[pid=25905/tid=25920] ppid=25903 vsize=6434840 CPUtime=0.13 cores=5,7
/proc/25905/task/25920/stat : 25920 (java) S 25903 25905 27853 0 -1 4202560 850 0 0 0 13 0 0 0 16 0 19 0 970316167 6589276160 143502 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296741785 0 4 0 16800975 18446604470182801792 0 0 -1 5 0 0 0
[pid=25905/tid=25921] ppid=25903 vsize=6434840 CPUtime=0.41 cores=5,7
/proc/25905/task/25921/stat : 25921 (java) S 25903 25905 27853 0 -1 4202560 2302 0 0 0 41 0 0 0 15 0 19 0 970316167 6589276160 143502 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296741785 0 4 0 16800975 18446604470182801792 0 0 -1 5 0 0 0
[pid=25905/tid=25922] ppid=25903 vsize=6434840 CPUtime=0 cores=5,7
/proc/25905/task/25922/stat : 25922 (java) S 25903 25905 27853 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 970316167 6589276160 143502 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296741785 0 4 0 16800975 18446604470182801792 0 0 -1 7 0 0 0
[pid=25905/tid=25923] ppid=25903 vsize=6434840 CPUtime=0 cores=5,7
/proc/25905/task/25923/stat : 25923 (java) S 25903 25905 27853 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 970316167 6589276160 143502 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296742400 0 4 0 16800975 18446604470182801792 0 0 -1 7 0 0 0
[pid=25905/tid=25924] ppid=25903 vsize=6434840 CPUtime=0 cores=5,7
/proc/25905/task/25924/stat : 25924 (java) S 25903 25905 27853 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 970316334 6589276160 143502 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296742400 0 4 0 16800975 18446604470182801792 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.4
Current children cumulated vsize (KiB) 6434840

[startup+6.30092 s]
/proc/loadavg: 2.01 2.46 2.69 3/214 25924
/proc/meminfo: memFree=30020140/32951124 swapFree=67049456/67111528
[pid=25905] ppid=25903 vsize=6434840 CPUtime=6.7 cores=5,7
/proc/25905/stat : 25905 (java) S 25903 25905 27853 0 -1 4202496 145876 0 1 0 652 18 0 0 25 0 19 0 970316161 6589276160 144527 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/25905/statm: 1608710 144527 2224 9 0 1599448 0
[pid=25905/tid=25907] ppid=25903 vsize=6434840 CPUtime=6.02 cores=5,7
/proc/25905/task/25907/stat : 25907 (java) R 25903 25905 27853 0 -1 4202560 141535 0 1 0 585 17 0 0 25 0 19 0 970316162 6589276160 144527 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 46912505683308 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=25905/tid=25908] ppid=25903 vsize=6434840 CPUtime=0 cores=5,7
/proc/25905/task/25908/stat : 25908 (java) S 25903 25905 27853 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 970316163 6589276160 144527 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296741785 0 4 0 16800975 18446604470182801792 0 0 -1 7 0 0 0
[pid=25905/tid=25909] ppid=25903 vsize=6434840 CPUtime=0 cores=5,7
/proc/25905/task/25909/stat : 25909 (java) S 25903 25905 27853 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 970316163 6589276160 144527 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296741785 0 4 0 16800975 18446604470182801792 0 0 -1 7 0 0 0
[pid=25905/tid=25910] ppid=25903 vsize=6434840 CPUtime=0 cores=5,7
/proc/25905/task/25910/stat : 25910 (java) S 25903 25905 27853 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 970316163 6589276160 144527 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296741785 0 4 0 16800975 18446604470182801792 0 0 -1 7 0 0 0
[pid=25905/tid=25911] ppid=25903 vsize=6434840 CPUtime=0 cores=5,7
/proc/25905/task/25911/stat : 25911 (java) S 25903 25905 27853 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 970316163 6589276160 144527 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296741785 0 4 0 16800975 18446604470182801792 0 0 -1 7 0 0 0
[pid=25905/tid=25912] ppid=25903 vsize=6434840 CPUtime=0 cores=5,7
/proc/25905/task/25912/stat : 25912 (java) S 25903 25905 27853 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 970316163 6589276160 144527 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296741785 0 4 0 16800975 18446604470182801792 0 0 -1 7 0 0 0
[pid=25905/tid=25913] ppid=25903 vsize=6434840 CPUtime=0 cores=5,7
/proc/25905/task/25913/stat : 25913 (java) S 25903 25905 27853 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 970316163 6589276160 144527 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296741785 0 4 0 16800975 18446604470182801792 0 0 -1 7 0 0 0
[pid=25905/tid=25914] ppid=25903 vsize=6434840 CPUtime=0 cores=5,7
/proc/25905/task/25914/stat : 25914 (java) S 25903 25905 27853 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 970316163 6589276160 144527 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296741785 0 4 0 16800975 18446604470182801792 0 0 -1 7 0 0 0
[pid=25905/tid=25915] ppid=25903 vsize=6434840 CPUtime=0 cores=5,7
/proc/25905/task/25915/stat : 25915 (java) S 25903 25905 27853 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 970316164 6589276160 144527 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296741785 0 4 0 16800975 18446604470182801792 0 0 -1 7 0 0 0
[pid=25905/tid=25916] ppid=25903 vsize=6434840 CPUtime=0 cores=5,7
/proc/25905/task/25916/stat : 25916 (java) S 25903 25905 27853 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 970316164 6589276160 144527 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296742400 0 0 0 16800975 18446604470182801792 0 0 -1 7 0 0 0
[pid=25905/tid=25917] ppid=25903 vsize=6434840 CPUtime=0 cores=5,7
/proc/25905/task/25917/stat : 25917 (java) S 25903 25905 27853 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 970316165 6589276160 144527 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296741785 0 4 0 16800975 18446604470182801792 0 0 -1 7 0 0 0
[pid=25905/tid=25918] ppid=25903 vsize=6434840 CPUtime=0 cores=5,7
/proc/25905/task/25918/stat : 25918 (java) S 25903 25905 27853 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 970316165 6589276160 144527 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296741785 0 4 0 16800975 18446604470182801792 0 0 -1 7 0 0 0
[pid=25905/tid=25919] ppid=25903 vsize=6434840 CPUtime=0 cores=5,7
/proc/25905/task/25919/stat : 25919 (java) S 25903 25905 27853 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 970316167 6589276160 144527 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296749489 0 4 0 16800975 18446604470182801792 0 0 -1 7 0 0 0
[pid=25905/tid=25920] ppid=25903 vsize=6434840 CPUtime=0.2 cores=5,7
/proc/25905/task/25920/stat : 25920 (java) S 25903 25905 27853 0 -1 4202560 858 0 0 0 20 0 0 0 15 0 19 0 970316167 6589276160 144527 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296741785 0 4 0 16800975 18446604470182801792 0 0 -1 5 0 0 0
[pid=25905/tid=25921] ppid=25903 vsize=6434840 CPUtime=0.46 cores=5,7
/proc/25905/task/25921/stat : 25921 (java) S 25903 25905 27853 0 -1 4202560 2320 0 0 0 46 0 0 0 15 0 19 0 970316167 6589276160 144527 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296741785 0 4 0 16800975 18446604470182801792 0 0 -1 5 0 0 0
[pid=25905/tid=25922] ppid=25903 vsize=6434840 CPUtime=0 cores=5,7
/proc/25905/task/25922/stat : 25922 (java) S 25903 25905 27853 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 970316167 6589276160 144527 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296741785 0 4 0 16800975 18446604470182801792 0 0 -1 7 0 0 0
[pid=25905/tid=25923] ppid=25903 vsize=6434840 CPUtime=0 cores=5,7
/proc/25905/task/25923/stat : 25923 (java) S 25903 25905 27853 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 970316167 6589276160 144527 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296742400 0 4 0 16800975 18446604470182801792 0 0 -1 7 0 0 0
[pid=25905/tid=25924] ppid=25903 vsize=6434840 CPUtime=0 cores=5,7
/proc/25905/task/25924/stat : 25924 (java) S 25903 25905 27853 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 970316334 6589276160 144527 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296742400 0 4 0 16800975 18446604470182801792 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.7
Current children cumulated vsize (KiB) 6434840

[startup+12.7008 s]
/proc/loadavg: 2.01 2.45 2.69 3/214 25935
/proc/meminfo: memFree=29866804/32951124 swapFree=67049456/67111528

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

[pid=25905/tid=25910] ppid=25903 vsize=6433956 CPUtime=0.44 cores=5,7
/proc/25905/task/25910/stat : 25910 (java) S 25903 25905 27853 0 -1 4202560 25930 0 0 0 42 2 0 0 16 0 19 0 970316163 6588370944 624578 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296741785 0 4 0 16800975 18446604470182801792 0 0 -1 7 0 0 0
[pid=25905/tid=25911] ppid=25903 vsize=6433956 CPUtime=1.06 cores=5,7
/proc/25905/task/25911/stat : 25911 (java) S 25903 25905 27853 0 -1 4202560 15997 0 0 0 105 1 0 0 15 0 19 0 970316163 6588370944 624578 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296741785 0 4 0 16800975 18446604470182801792 0 0 -1 5 0 0 0
[pid=25905/tid=25912] ppid=25903 vsize=6433956 CPUtime=0.78 cores=5,7
/proc/25905/task/25912/stat : 25912 (java) S 25903 25905 27853 0 -1 4202560 58079 0 0 0 71 7 0 0 15 0 19 0 970316163 6588370944 624578 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296741785 0 4 0 16800975 18446604470182801792 0 0 -1 7 0 0 0
[pid=25905/tid=25913] ppid=25903 vsize=6433956 CPUtime=0.34 cores=5,7
/proc/25905/task/25913/stat : 25913 (java) S 25903 25905 27853 0 -1 4202560 11323 0 0 0 33 1 0 0 15 0 19 0 970316163 6588370944 624578 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296741785 0 4 0 16800975 18446604470182801792 0 0 -1 7 0 0 0
[pid=25905/tid=25914] ppid=25903 vsize=6433956 CPUtime=0.7 cores=5,7
/proc/25905/task/25914/stat : 25914 (java) S 25903 25905 27853 0 -1 4202560 4646 0 0 0 70 0 0 0 15 0 19 0 970316163 6588370944 624578 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296741785 0 4 0 16800975 18446604470182801792 0 0 -1 5 0 0 0
[pid=25905/tid=25915] ppid=25903 vsize=6433956 CPUtime=0.67 cores=5,7
/proc/25905/task/25915/stat : 25915 (java) S 25903 25905 27853 0 -1 4202560 40161 0 0 0 63 4 0 0 15 0 19 0 970316164 6588370944 624578 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296741785 0 4 0 16800975 18446604470182801792 0 0 -1 7 0 0 0
[pid=25905/tid=25916] ppid=25903 vsize=6433956 CPUtime=0 cores=5,7
/proc/25905/task/25916/stat : 25916 (java) S 25903 25905 27853 0 -1 4202560 32 0 0 0 0 0 0 0 15 0 19 0 970316164 6588370944 624578 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296742400 0 0 0 16800975 18446604470182801792 0 0 -1 7 0 0 0
[pid=25905/tid=25917] ppid=25903 vsize=6433956 CPUtime=0 cores=5,7
/proc/25905/task/25917/stat : 25917 (java) S 25903 25905 27853 0 -1 4202560 23 0 0 0 0 0 0 0 15 0 19 0 970316165 6588370944 624578 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296741785 0 4 0 16800975 18446604470182801792 0 0 -1 5 0 0 0
[pid=25905/tid=25918] ppid=25903 vsize=6433956 CPUtime=0 cores=5,7
/proc/25905/task/25918/stat : 25918 (java) S 25903 25905 27853 0 -1 4202560 42 0 0 0 0 0 0 0 15 0 19 0 970316165 6588370944 624578 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296741785 0 4 0 16800975 18446604470182801792 0 0 -1 7 0 0 0
[pid=25905/tid=25919] ppid=25903 vsize=6433956 CPUtime=0 cores=5,7
/proc/25905/task/25919/stat : 25919 (java) S 25903 25905 27853 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 970316167 6588370944 624578 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296749489 0 4 0 16800975 18446604470182801792 0 0 -1 7 0 0 0
[pid=25905/tid=25920] ppid=25903 vsize=6433956 CPUtime=0.24 cores=5,7
/proc/25905/task/25920/stat : 25920 (java) S 25903 25905 27853 0 -1 4202560 898 0 0 0 24 0 0 0 15 0 19 0 970316167 6588370944 624578 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296741785 0 4 0 16800975 18446604470182801792 0 0 -1 5 0 0 0
[pid=25905/tid=25921] ppid=25903 vsize=6433956 CPUtime=0.69 cores=5,7
/proc/25905/task/25921/stat : 25921 (java) S 25903 25905 27853 0 -1 4202560 5330 0 0 0 69 0 0 0 15 0 19 0 970316167 6588370944 624578 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296741785 0 4 0 16800975 18446604470182801792 0 0 -1 5 0 0 0
[pid=25905/tid=25922] ppid=25903 vsize=6433956 CPUtime=0 cores=5,7
/proc/25905/task/25922/stat : 25922 (java) S 25903 25905 27853 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 970316167 6588370944 624578 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296741785 0 4 0 16800975 18446604470182801792 0 0 -1 7 0 0 0
[pid=25905/tid=25923] ppid=25903 vsize=6433956 CPUtime=0 cores=5,7
/proc/25905/task/25923/stat : 25923 (java) S 25903 25905 27853 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 970316167 6588370944 624578 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296742400 0 4 0 16800975 18446604470182801792 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 259.98
Current children cumulated vsize (KiB) 6433956

[startup+258.101 s]
/proc/loadavg: 2.04 2.34 2.59 3/214 28885
/proc/meminfo: memFree=27979944/32951124 swapFree=67049456/67111528
[pid=25905] ppid=25903 vsize=6433956 CPUtime=261.58 cores=5,7
/proc/25905/stat : 25905 (java) S 25903 25905 27853 0 -1 4202496 631703 0 1 0 26077 81 0 0 25 0 18 0 970316161 6588370944 624578 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/25905/statm: 1608489 624578 2246 9 0 1599227 0
[pid=25905/tid=25907] ppid=25903 vsize=6433956 CPUtime=254.75 cores=5,7
/proc/25905/task/25907/stat : 25907 (java) R 25903 25905 27853 0 -1 4202560 391682 0 1 0 25424 51 0 0 25 0 18 0 970316162 6588370944 624578 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 46912505640983 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=25905/tid=25908] ppid=25903 vsize=6433956 CPUtime=1.05 cores=5,7
/proc/25905/task/25908/stat : 25908 (java) S 25903 25905 27853 0 -1 4202560 39700 0 0 0 101 4 0 0 15 0 18 0 970316163 6588370944 624578 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296741785 0 4 0 16800975 18446604470182801792 0 0 -1 5 0 0 0
[pid=25905/tid=25909] ppid=25903 vsize=6433956 CPUtime=0.7 cores=5,7
/proc/25905/task/25909/stat : 25909 (java) S 25903 25905 27853 0 -1 4202560 36662 0 0 0 66 4 0 0 16 0 18 0 970316163 6588370944 624578 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296741785 0 4 0 16800975 18446604470182801792 0 0 -1 5 0 0 0
[pid=25905/tid=25910] ppid=25903 vsize=6433956 CPUtime=0.44 cores=5,7
/proc/25905/task/25910/stat : 25910 (java) S 25903 25905 27853 0 -1 4202560 25930 0 0 0 42 2 0 0 16 0 18 0 970316163 6588370944 624578 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296741785 0 4 0 16800975 18446604470182801792 0 0 -1 7 0 0 0
[pid=25905/tid=25911] ppid=25903 vsize=6433956 CPUtime=1.06 cores=5,7
/proc/25905/task/25911/stat : 25911 (java) S 25903 25905 27853 0 -1 4202560 15997 0 0 0 105 1 0 0 15 0 18 0 970316163 6588370944 624578 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296741785 0 4 0 16800975 18446604470182801792 0 0 -1 5 0 0 0
[pid=25905/tid=25912] ppid=25903 vsize=6433956 CPUtime=0.78 cores=5,7
/proc/25905/task/25912/stat : 25912 (java) S 25903 25905 27853 0 -1 4202560 58079 0 0 0 71 7 0 0 15 0 18 0 970316163 6588370944 624578 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296741785 0 4 0 16800975 18446604470182801792 0 0 -1 7 0 0 0
[pid=25905/tid=25913] ppid=25903 vsize=6433956 CPUtime=0.34 cores=5,7
/proc/25905/task/25913/stat : 25913 (java) S 25903 25905 27853 0 -1 4202560 11323 0 0 0 33 1 0 0 15 0 18 0 970316163 6588370944 624578 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296741785 0 4 0 16800975 18446604470182801792 0 0 -1 7 0 0 0
[pid=25905/tid=25914] ppid=25903 vsize=6433956 CPUtime=0.7 cores=5,7
/proc/25905/task/25914/stat : 25914 (java) S 25903 25905 27853 0 -1 4202560 4646 0 0 0 70 0 0 0 15 0 18 0 970316163 6588370944 624578 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296741785 0 4 0 16800975 18446604470182801792 0 0 -1 5 0 0 0
[pid=25905/tid=25915] ppid=25903 vsize=6433956 CPUtime=0.67 cores=5,7
/proc/25905/task/25915/stat : 25915 (java) S 25903 25905 27853 0 -1 4202560 40161 0 0 0 63 4 0 0 15 0 18 0 970316164 6588370944 624578 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296741785 0 4 0 16800975 18446604470182801792 0 0 -1 7 0 0 0
[pid=25905/tid=25916] ppid=25903 vsize=6433956 CPUtime=0 cores=5,7
/proc/25905/task/25916/stat : 25916 (java) S 25903 25905 27853 0 -1 4202560 32 0 0 0 0 0 0 0 15 0 18 0 970316164 6588370944 624578 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296742400 0 0 0 16800975 18446604470182801792 0 0 -1 7 0 0 0
[pid=25905/tid=25917] ppid=25903 vsize=6433956 CPUtime=0 cores=5,7
/proc/25905/task/25917/stat : 25917 (java) S 25903 25905 27853 0 -1 4202560 23 0 0 0 0 0 0 0 15 0 18 0 970316165 6588370944 624578 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296741785 0 4 0 16800975 18446604470182801792 0 0 -1 5 0 0 0
[pid=25905/tid=25918] ppid=25903 vsize=6433956 CPUtime=0 cores=5,7
/proc/25905/task/25918/stat : 25918 (java) S 25903 25905 27853 0 -1 4202560 42 0 0 0 0 0 0 0 15 0 18 0 970316165 6588370944 624578 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296741785 0 4 0 16800975 18446604470182801792 0 0 -1 7 0 0 0
[pid=25905/tid=25919] ppid=25903 vsize=6433956 CPUtime=0 cores=5,7
/proc/25905/task/25919/stat : 25919 (java) S 25903 25905 27853 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 970316167 6588370944 624578 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296749489 0 4 0 16800975 18446604470182801792 0 0 -1 7 0 0 0
[pid=25905/tid=25920] ppid=25903 vsize=6433956 CPUtime=0.24 cores=5,7
/proc/25905/task/25920/stat : 25920 (java) S 25903 25905 27853 0 -1 4202560 898 0 0 0 24 0 0 0 15 0 18 0 970316167 6588370944 624578 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296741785 0 4 0 16800975 18446604470182801792 0 0 -1 5 0 0 0
[pid=25905/tid=25921] ppid=25903 vsize=6433956 CPUtime=0.69 cores=5,7
/proc/25905/task/25921/stat : 25921 (java) S 25903 25905 27853 0 -1 4202560 5330 0 0 0 69 0 0 0 15 0 18 0 970316167 6588370944 624578 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296741785 0 4 0 16800975 18446604470182801792 0 0 -1 5 0 0 0
[pid=25905/tid=25922] ppid=25903 vsize=6433956 CPUtime=0 cores=5,7
/proc/25905/task/25922/stat : 25922 (java) S 25903 25905 27853 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 970316167 6588370944 624578 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296741785 0 4 0 16800975 18446604470182801792 0 0 -1 7 0 0 0
[pid=25905/tid=25923] ppid=25903 vsize=6433956 CPUtime=0 cores=5,7
/proc/25905/task/25923/stat : 25923 (java) S 25903 25905 27853 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 18 0 970316167 6588370944 624578 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296742400 0 4 0 16800975 18446604470182801792 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 261.58
Current children cumulated vsize (KiB) 6433956

[startup+259.702 s]
/proc/loadavg: 2.04 2.34 2.59 3/214 28889
/proc/meminfo: memFree=27969900/32951124 swapFree=67049456/67111528
[pid=25905] ppid=25903 vsize=6433956 CPUtime=263.18 cores=5,7
/proc/25905/stat : 25905 (java) S 25903 25905 27853 0 -1 4202496 631703 0 1 0 26237 81 0 0 25 0 18 0 970316161 6588370944 624578 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/25905/statm: 1608489 624578 2246 9 0 1599227 0
[pid=25905/tid=25907] ppid=25903 vsize=6433956 CPUtime=256.35 cores=5,7
/proc/25905/task/25907/stat : 25907 (java) R 25903 25905 27853 0 -1 4202560 391682 0 1 0 25584 51 0 0 25 0 18 0 970316162 6588370944 624578 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 46912505627241 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=25905/tid=25908] ppid=25903 vsize=6433956 CPUtime=1.05 cores=5,7
/proc/25905/task/25908/stat : 25908 (java) S 25903 25905 27853 0 -1 4202560 39700 0 0 0 101 4 0 0 15 0 18 0 970316163 6588370944 624578 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296741785 0 4 0 16800975 18446604470182801792 0 0 -1 5 0 0 0
[pid=25905/tid=25909] ppid=25903 vsize=6433956 CPUtime=0.7 cores=5,7
/proc/25905/task/25909/stat : 25909 (java) S 25903 25905 27853 0 -1 4202560 36662 0 0 0 66 4 0 0 16 0 18 0 970316163 6588370944 624578 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296741785 0 4 0 16800975 18446604470182801792 0 0 -1 5 0 0 0
[pid=25905/tid=25910] ppid=25903 vsize=6433956 CPUtime=0.44 cores=5,7
/proc/25905/task/25910/stat : 25910 (java) S 25903 25905 27853 0 -1 4202560 25930 0 0 0 42 2 0 0 16 0 18 0 970316163 6588370944 624578 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296741785 0 4 0 16800975 18446604470182801792 0 0 -1 7 0 0 0
[pid=25905/tid=25911] ppid=25903 vsize=6433956 CPUtime=1.06 cores=5,7
/proc/25905/task/25911/stat : 25911 (java) S 25903 25905 27853 0 -1 4202560 15997 0 0 0 105 1 0 0 15 0 18 0 970316163 6588370944 624578 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296741785 0 4 0 16800975 18446604470182801792 0 0 -1 5 0 0 0
[pid=25905/tid=25912] ppid=25903 vsize=6433956 CPUtime=0.78 cores=5,7
/proc/25905/task/25912/stat : 25912 (java) S 25903 25905 27853 0 -1 4202560 58079 0 0 0 71 7 0 0 15 0 18 0 970316163 6588370944 624578 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296741785 0 4 0 16800975 18446604470182801792 0 0 -1 7 0 0 0
[pid=25905/tid=25913] ppid=25903 vsize=6433956 CPUtime=0.34 cores=5,7
/proc/25905/task/25913/stat : 25913 (java) S 25903 25905 27853 0 -1 4202560 11323 0 0 0 33 1 0 0 15 0 18 0 970316163 6588370944 624578 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296741785 0 4 0 16800975 18446604470182801792 0 0 -1 7 0 0 0
[pid=25905/tid=25914] ppid=25903 vsize=6433956 CPUtime=0.7 cores=5,7
/proc/25905/task/25914/stat : 25914 (java) S 25903 25905 27853 0 -1 4202560 4646 0 0 0 70 0 0 0 15 0 18 0 970316163 6588370944 624578 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296741785 0 4 0 16800975 18446604470182801792 0 0 -1 5 0 0 0
[pid=25905/tid=25915] ppid=25903 vsize=6433956 CPUtime=0.67 cores=5,7
/proc/25905/task/25915/stat : 25915 (java) S 25903 25905 27853 0 -1 4202560 40161 0 0 0 63 4 0 0 15 0 18 0 970316164 6588370944 624578 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296741785 0 4 0 16800975 18446604470182801792 0 0 -1 7 0 0 0
[pid=25905/tid=25916] ppid=25903 vsize=6433956 CPUtime=0 cores=5,7
/proc/25905/task/25916/stat : 25916 (java) S 25903 25905 27853 0 -1 4202560 32 0 0 0 0 0 0 0 15 0 18 0 970316164 6588370944 624578 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296742400 0 0 0 16800975 18446604470182801792 0 0 -1 7 0 0 0
[pid=25905/tid=25917] ppid=25903 vsize=6433956 CPUtime=0 cores=5,7
/proc/25905/task/25917/stat : 25917 (java) S 25903 25905 27853 0 -1 4202560 23 0 0 0 0 0 0 0 15 0 18 0 970316165 6588370944 624578 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296741785 0 4 0 16800975 18446604470182801792 0 0 -1 5 0 0 0
[pid=25905/tid=25918] ppid=25903 vsize=6433956 CPUtime=0 cores=5,7
/proc/25905/task/25918/stat : 25918 (java) S 25903 25905 27853 0 -1 4202560 42 0 0 0 0 0 0 0 15 0 18 0 970316165 6588370944 624578 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296741785 0 4 0 16800975 18446604470182801792 0 0 -1 7 0 0 0
[pid=25905/tid=25919] ppid=25903 vsize=6433956 CPUtime=0 cores=5,7
/proc/25905/task/25919/stat : 25919 (java) S 25903 25905 27853 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 970316167 6588370944 624578 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296749489 0 4 0 16800975 18446604470182801792 0 0 -1 7 0 0 0
[pid=25905/tid=25920] ppid=25903 vsize=6433956 CPUtime=0.24 cores=5,7
/proc/25905/task/25920/stat : 25920 (java) S 25903 25905 27853 0 -1 4202560 898 0 0 0 24 0 0 0 15 0 18 0 970316167 6588370944 624578 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296741785 0 4 0 16800975 18446604470182801792 0 0 -1 5 0 0 0
[pid=25905/tid=25921] ppid=25903 vsize=6433956 CPUtime=0.69 cores=5,7
/proc/25905/task/25921/stat : 25921 (java) S 25903 25905 27853 0 -1 4202560 5330 0 0 0 69 0 0 0 15 0 18 0 970316167 6588370944 624578 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296741785 0 4 0 16800975 18446604470182801792 0 0 -1 5 0 0 0
[pid=25905/tid=25922] ppid=25903 vsize=6433956 CPUtime=0 cores=5,7
/proc/25905/task/25922/stat : 25922 (java) S 25903 25905 27853 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 970316167 6588370944 624578 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296741785 0 4 0 16800975 18446604470182801792 0 0 -1 7 0 0 0
[pid=25905/tid=25923] ppid=25903 vsize=6433956 CPUtime=0 cores=5,7
/proc/25905/task/25923/stat : 25923 (java) S 25903 25905 27853 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 18 0 970316167 6588370944 624578 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296742400 0 4 0 16800975 18446604470182801792 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 263.18
Current children cumulated vsize (KiB) 6433956

[startup+260.501 s]
/proc/loadavg: 2.04 2.34 2.59 3/213 28892
/proc/meminfo: memFree=27822968/32951124 swapFree=67049456/67111528
[pid=25905] ppid=25903 vsize=6447204 CPUtime=264.14 cores=5,7
/proc/25905/stat : 25905 (java) S 25903 25905 27853 0 -1 4202496 635427 0 1 0 26333 81 0 0 25 0 18 0 970316161 6601936896 627508 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/25905/statm: 1611801 627508 2246 9 0 1602539 0
[pid=25905/tid=25907] ppid=25903 vsize=6447204 CPUtime=257.13 cores=5,7
/proc/25905/task/25907/stat : 25907 (java) R 25903 25905 27853 0 -1 4202560 391683 0 1 0 25662 51 0 0 25 0 18 0 970316162 6601936896 627508 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 46912506017922 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=25905/tid=25908] ppid=25903 vsize=6447204 CPUtime=1.05 cores=5,7
/proc/25905/task/25908/stat : 25908 (java) S 25903 25905 27853 0 -1 4202560 39700 0 0 0 101 4 0 0 15 0 18 0 970316163 6601936896 627508 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296741785 0 4 0 16800975 18446604470182801792 0 0 -1 5 0 0 0
[pid=25905/tid=25909] ppid=25903 vsize=6447204 CPUtime=0.7 cores=5,7
/proc/25905/task/25909/stat : 25909 (java) S 25903 25905 27853 0 -1 4202560 36662 0 0 0 66 4 0 0 16 0 18 0 970316163 6601936896 627508 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296741785 0 4 0 16800975 18446604470182801792 0 0 -1 5 0 0 0
[pid=25905/tid=25910] ppid=25903 vsize=6447204 CPUtime=0.44 cores=5,7
/proc/25905/task/25910/stat : 25910 (java) S 25903 25905 27853 0 -1 4202560 25930 0 0 0 42 2 0 0 16 0 18 0 970316163 6601936896 627508 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296741785 0 4 0 16800975 18446604470182801792 0 0 -1 7 0 0 0
[pid=25905/tid=25911] ppid=25903 vsize=6447204 CPUtime=1.06 cores=5,7
/proc/25905/task/25911/stat : 25911 (java) S 25903 25905 27853 0 -1 4202560 15997 0 0 0 105 1 0 0 15 0 18 0 970316163 6601936896 627508 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296741785 0 4 0 16800975 18446604470182801792 0 0 -1 5 0 0 0
[pid=25905/tid=25912] ppid=25903 vsize=6447204 CPUtime=0.78 cores=5,7
/proc/25905/task/25912/stat : 25912 (java) S 25903 25905 27853 0 -1 4202560 58079 0 0 0 71 7 0 0 15 0 18 0 970316163 6601936896 627508 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296741785 0 4 0 16800975 18446604470182801792 0 0 -1 7 0 0 0
[pid=25905/tid=25913] ppid=25903 vsize=6447204 CPUtime=0.34 cores=5,7
/proc/25905/task/25913/stat : 25913 (java) S 25903 25905 27853 0 -1 4202560 11323 0 0 0 33 1 0 0 15 0 18 0 970316163 6601936896 627508 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296741785 0 4 0 16800975 18446604470182801792 0 0 -1 7 0 0 0
[pid=25905/tid=25914] ppid=25903 vsize=6447204 CPUtime=0.7 cores=5,7
/proc/25905/task/25914/stat : 25914 (java) S 25903 25905 27853 0 -1 4202560 4646 0 0 0 70 0 0 0 15 0 18 0 970316163 6601936896 627508 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296741785 0 4 0 16800975 18446604470182801792 0 0 -1 5 0 0 0
[pid=25905/tid=25915] ppid=25903 vsize=6447204 CPUtime=0.67 cores=5,7
/proc/25905/task/25915/stat : 25915 (java) S 25903 25905 27853 0 -1 4202560 40161 0 0 0 63 4 0 0 15 0 18 0 970316164 6601936896 627508 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296741785 0 4 0 16800975 18446604470182801792 0 0 -1 7 0 0 0
[pid=25905/tid=25916] ppid=25903 vsize=6447204 CPUtime=0 cores=5,7
/proc/25905/task/25916/stat : 25916 (java) S 25903 25905 27853 0 -1 4202560 32 0 0 0 0 0 0 0 15 0 18 0 970316164 6601936896 627508 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296742400 0 0 0 16800975 18446604470182801792 0 0 -1 7 0 0 0
[pid=25905/tid=25917] ppid=25903 vsize=6447204 CPUtime=0 cores=5,7
/proc/25905/task/25917/stat : 25917 (java) S 25903 25905 27853 0 -1 4202560 23 0 0 0 0 0 0 0 15 0 18 0 970316165 6601936896 627508 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296741785 0 4 0 16800975 18446604470182801792 0 0 -1 5 0 0 0
[pid=25905/tid=25918] ppid=25903 vsize=6447204 CPUtime=0 cores=5,7
/proc/25905/task/25918/stat : 25918 (java) S 25903 25905 27853 0 -1 4202560 42 0 0 0 0 0 0 0 15 0 18 0 970316165 6601936896 627508 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296741785 0 4 0 16800975 18446604470182801792 0 0 -1 7 0 0 0
[pid=25905/tid=25919] ppid=25903 vsize=6447204 CPUtime=0 cores=5,7
/proc/25905/task/25919/stat : 25919 (java) S 25903 25905 27853 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 970316167 6601936896 627508 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296749489 0 4 0 16800975 18446604470182801792 0 0 -1 7 0 0 0
[pid=25905/tid=25920] ppid=25903 vsize=6447204 CPUtime=0.41 cores=5,7
/proc/25905/task/25920/stat : 25920 (java) S 25903 25905 27853 0 -1 4202560 4621 0 0 0 41 0 0 0 16 0 18 0 970316167 6601936896 627508 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296741785 0 4 0 16800975 18446604470182801792 0 0 -1 5 0 0 0
[pid=25905/tid=25921] ppid=25903 vsize=6447204 CPUtime=0.69 cores=5,7
/proc/25905/task/25921/stat : 25921 (java) S 25903 25905 27853 0 -1 4202560 5330 0 0 0 69 0 0 0 15 0 18 0 970316167 6601936896 627508 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296741785 0 4 0 16800975 18446604470182801792 0 0 -1 5 0 0 0
[pid=25905/tid=25922] ppid=25903 vsize=6447204 CPUtime=0 cores=5,7
/proc/25905/task/25922/stat : 25922 (java) S 25903 25905 27853 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 970316167 6601936896 627508 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296741785 0 4 0 16800975 18446604470182801792 0 0 -1 7 0 0 0
[pid=25905/tid=25923] ppid=25903 vsize=6447204 CPUtime=0 cores=5,7
/proc/25905/task/25923/stat : 25923 (java) S 25903 25905 27853 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 18 0 970316167 6601936896 627508 33554432000 1073741824 1073778376 140734011346560 18446744073709551615 224296742400 0 4 0 16800975 18446604470182801792 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 264.14
Current children cumulated vsize (KiB) 6447204

[startup+260.701 s]
/proc/loadavg: 2.04 2.34 2.59 3/213 28892
/proc/meminfo: memFree=27822968/32951124 swapFree=67049456/67111528
[pid=25905] ppid=25903 vsize=0 CPUtime=264.35 cores=5,7
/proc/25905/stat : 25905 (java) Z 25903 25905 27853 0 -1 4203548 635441 0 1 0 26348 87 0 0 18 0 2 0 970316161 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/25905/statm: 0 0 0 0 0 0 0
[pid=25905/tid=25914] ppid=25903 vsize=0 CPUtime=0.76 cores=5,7
/proc/25905/task/25914/stat : 25914 (java) R 25903 25905 27853 0 -1 4203588 4646 0 0 0 70 6 0 0 15 0 2 0 970316163 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 264.35
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 260.732
CPU time (s): 264.396
CPU user time (s): 263.487
CPU system time (s): 0.908861
CPU usage (%): 101.405
Max. virtual memory (cumulated for all children) (KiB): 6447204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 263.487
system time used= 0.908861
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 635441
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= 10135
involuntary context switches= 5407

runsolver used 0.430934 second user time and 1.05284 second system time

The end

Begin job on node118 at 2011-06-11 16:00:55
IDJOB=3493556
IDBENCH=20451
IDSOLVER=1972
FILE ID=node118/3493556-1307800854
RUNJOBID= node118-1307798811-27874
PBS_JOBID= 13551034
Free space on /tmp= 74132 MiB

SOLVER NAME= SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06
BENCH NAME= SAT07/industrial/babic/dspam/dspam_dump_vc972.cnf
COMMAND LINE= java -Xms6000m -Xmx6000m -jar sat4j-mus-v20110206.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3493556-1307800854/watcher-3493556-1307800854 -o /tmp/evaluation-result-3493556-1307800854/solver-3493556-1307800854 -C 1800 -W 1850 -M 7680  java -Xms6000m -Xmx6000m -jar sat4j-mus-v20110206.jar HOME/instance-3493556-1307800854.cnf

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

MD5SUM BENCH= 7acb9e43e2272e8576b22c3fa49ba888
RANDOM SEED=1959343319

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30628960 kB
Buffers:        266436 kB
Cached:        1598768 kB
SwapCached:      15436 kB
Active:         717836 kB
Inactive:      1405372 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30628960 kB
SwapTotal:    67111528 kB
SwapFree:     67049456 kB
Dirty:           25476 kB
Writeback:           0 kB
AnonPages:      255248 kB
Mapped:          17080 kB
Slab:           131544 kB
PageTables:       5136 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  6442100 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= 74132 MiB
End job on node118 at 2011-06-11 16:05:16