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.07	c version 2.3.0.v20110206
0.00/0.07	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.07	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.07	c java.vm.version	19.1-b02
0.00/0.07	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.07	c sun.arch.data.model	64
0.00/0.07	c java.version		1.6.0_24
0.00/0.07	c os.name		Linux
0.00/0.07	c os.version		2.6.18-164.el5
0.00/0.07	c os.arch		amd64
0.00/0.07	c Free memory 		5997854704
0.00/0.07	c Max memory 		6029312000
0.00/0.07	c Total memory 		6029312000
0.00/0.07	c Number of processors 	8
0.00/0.10	c Explanation (MUS) enabled solver
0.00/0.10	c QuickXplain (AAAI 2004 version) minimization strategy
0.00/0.10	c --- Begin Solver configuration ---
0.00/0.10	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@aa470b8
0.00/0.10	c Learn all clauses as in MiniSAT
0.00/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 
0.00/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT
0.00/0.10	c Expensive reason simplification
0.00/0.10	c Armin Biere (Picosat) restarts strategy
0.00/0.10	c Glucose learned constraints deletion strategy
0.00/0.10	c timeout=2147483647s
0.00/0.10	c DB Simplification allowed=true
0.00/0.10	c --- End Solver configuration ---
0.00/0.10	c solving HOME/instance-3493560-1307800855.cnf
0.00/0.10	c reading problem ... 
0.78/0.65	c ... done. Wall clock time 0.556s.
0.78/0.65	c #vars     473275
0.78/0.65	c #constraints  360419
0.78/0.65	c constraints type 
0.78/0.65	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 357327
0.78/0.65	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 3092
3.02/2.39	c Unsat detection wall clock time (in seconds) : 2.29
3.02/2.39	c Size of initial unsat subformula: 412
3.02/2.39	c Computing MUS ...
3.02/2.39	c initial unsat core 16999[?] 473273[?] 112856[?]  16998[?] -16999[?] 152707[?]  16997[?] -16998[?] 152704[?]  6273[?] -16998[?] 152703[?]  16996[?] 551[?] -16997[?] 152701[?]  -551[?] 11259[?] -16997[?] 152699[?]  16995[?] -16996[?] 1460[?] 152697[?]  -1460[?] -16996[?] 11262[?] 152695[?]  16926[?] -16995[?] -1821[?] 152691[?]  11330[?] -16926[?] 2046[?] 152624[?]  -2046[?] 16925[?] -16926[?] 152622[?]  -16925[?] 16924[?] 2175[?] 152620[?]  -2175[?] -16925[?] 11333[?] 152618[?]  -16924[?] 2304[?] 16923[?] 152616[?]  -16923[?] 16922[?] 2569[?] 152612[?]  -2569[?] -16923[?] 16379[?] 152610[?]  -16922[?] 2859[?] 16921[?] 152608[?]  -2859[?] -16922[?] 14825[?] 152606[?]  -16921[?] 16379[?] -5791[?] 152602[?]  -16379[?] 11468[?] 16376[?] 151469[?]  -11468[?] -16379[?] 16378[?] 151467[?]  -16378[?] 16377[?] 151465[?]  -16377[?] 16376[?] 151462[?]  -16376[?] 16375[?] 2569[?] 151460[?]  -2569[?] -16376[?] 11889[?] 151458[?]  -16375[?] 16374[?] 151456[?]  -16374[?] 3085[?] 16373[?] 151453[?]  -16373[?] 5011[?] 16372[?] 151449[?]  -5011[?] -16373[?] 15974[?] 151447[?]  -16372[?] 16371[?] 5301[?] 151445[?]  -5301[?] -16372[?] 16171[?] 151443[?]  -16371[?] 5534[?] 16370[?] 151441[?]  -16370[?] 16369[?] 151437[?]  -16369[?] 16238[?] 151434[?]  -16238[?] 16169[?] 151108[?]  -16171[?] 16170[?] 150943[?]  -16170[?] 16169[?] 150940[?]  -16169[?] 15774[?] 150937[?]  -15974[?] 15973[?] 150482[?]  -15973[?] 15874[?] 150479[?]  -15874[?] 15775[?] 150313[?]  -15775[?] 15774[?] 150147[?]  -15774[?] 3085[?] 15020[?] 150145[?]  -15020[?] 14825[?] 148632[?]  -14825[?] 2698[?] 14824[?] 148177[?]  -2698[?] -14825[?] 14425[?] 148175[?]  -14824[?] 14426[?] 14823[?] 148173[?]  -14426[?] -14824[?] 14557[?] 148171[?]  -14823[?] 14822[?] 148169[?]  -14822[?] 14723[?] 148166[?]  -14723[?] 14624[?] 148000[?]  -14624[?] 14557[?] 147835[?]  -14557[?] 14225[?] 147668[?]  -14425[?] 14424[?] 147342[?]  -14424[?] 14325[?] 147339[?]  -14325[?] 14226[?] 147173[?]  -14226[?] 14225[?] 147007[?]  -14225[?] 12052[?] 14224[?] 147005[?]  -12052[?] -14225[?] 13362[?] 147003[?]  -14224[?] 13428[?] 14223[?] 147001[?]  -13428[?] -14224[?] 13561[?] 146999[?]  -14223[?] 13594[?] 14222[?] 146997[?]  -13594[?] -14223[?] 13725[?] 146995[?]  -14222[?] 14221[?] 146993[?]  -14221[?] 14122[?] 146990[?]  -14122[?] 14023[?] 146824[?]  -14023[?] 14020[?] 146658[?]  -14020[?] 13921[?] 146653[?]  -13921[?] 13822[?] 146487[?]  -13822[?] 13821[?] 146322[?]  -13821[?] 13725[?] 146318[?]  -13725[?] 13559[?] 146105[?]  -13561[?] 13560[?] 145779[?]  -13560[?] 13559[?] 145776[?]  -13559[?] 13362[?] 145773[?]  -13362[?] 13165[?] 145350[?]  -13165[?] 12285[?] 13164[?] 144800[?]  -12285[?] -13165[?] 12887[?] 144798[?]  -13164[?] 12954[?] 144795[?]  -12954[?] 12416[?] 144248[?]  -12887[?] 12417[?] 144082[?]  -12417[?] 12416[?] 143050[?]  -12416[?] 11889[?] 143047[?]  -11889[?] 11888[?] 141837[?]  -11888[?] 11887[?] 4529[?] 141835[?]  -4529[?] -11888[?] 11885[?] 141833[?]  -11887[?] 11886[?] 141831[?]  -11886[?] 11885[?] 141827[?]  -11885[?] 11884[?] 141825[?]  -11884[?] 11883[?] 141822[?]  -11883[?] 11882[?] 4529[?] 141819[?]  -11883[?] -4529[?] 11880[?] 141817[?]  -11882[?] 11881[?] 141815[?]  -11881[?] 11880[?] 141811[?]  -11880[?] 11879[?] 141809[?]  -11879[?] 11878[?] 4529[?] 141806[?]  -11879[?] -4529[?] 11876[?] 141804[?]  -11878[?] 11877[?] 141802[?]  -11877[?] 11876[?] 141798[?]  -11876[?] 11875[?] 141796[?]  -11875[?] 11874[?] 4529[?] 141793[?]  -11875[?] -4529[?] 11806[?] 141791[?]  -11874[?] 11873[?] 141789[?]  -11873[?] 11806[?] 141785[?]  -11806[?] 11805[?] 141620[?]  -11805[?] 11401[?] 141616[?]  -11401[?] 11400[?] 140771[?]  -11400[?] 11331[?] 140768[?]  -11333[?] 11332[?] 140603[?]  -11332[?] 11331[?] 140600[?]  -11331[?] 11330[?] 140597[?]  11329[?] -11330[?] 140595[?]  11260[?] -11329[?] 140591[?]  -11262[?] 11261[?] 140426[?]  -11261[?] 11260[?] 140423[?]  11259[?] -11260[?] 140420[?]  11258[?] 6692[?] -11259[?] 140418[?]  -6692[?] 8836[?] -11259[?] 140416[?]  11257[?] 10925[?] -11258[?] 140414[?]  -10925[?] 11056[?] -11258[?] 140412[?]  11057[?] -11257[?] 11256[?] 140410[?]  -11057[?] -11257[?] 11188[?] 140408[?]  -11256[?] 11255[?] 140406[?]  -11255[?] 11188[?] 140403[?]  -11188[?] 11056[?] 140237[?]  -11056[?] 8836[?] 139910[?]  -8836[?] 8835[?] 133479[?]  -8835[?] 6692[?] 8832[?] 133477[?]  -8835[?] -6692[?] 8834[?] 133475[?]  -8834[?] 8833[?] 133473[?]  -8833[?] 8832[?] 133470[?]  8831[?] -8832[?] 133467[?]  8830[?] -8831[?] 133464[?]  8829[?] -8830[?] 133461[?]  953[?] -8829[?] 133458[?]  8828[?] -953[?] -8829[?] 133457[?]  8827[?] -8828[?] 133455[?]  8826[?] -8827[?] 133451[?]  8825[?] -8826[?] 133449[?]  8758[?] -8825[?] 133445[?]  8757[?] 100[?] -8758[?] 133280[?]  -100[?] 8412[?] -8758[?] 133278[?]  8756[?] 261[?] -8757[?] 133276[?]  -261[?] -8757[?] 8481[?] 133274[?]  390[?] -8756[?] 8755[?] 133272[?]  8554[?] -390[?] -8756[?] 133270[?]  -8755[?] -1146[?] 133266[?]  -8554[?] 8553[?] 261[?] 132810[?]  -8553[?] 8552[?] 132806[?]  -8552[?] 8551[?] 132803[?]  -8551[?] 261[?] 8550[?] 132801[?]  -8550[?] 8549[?] 132797[?]  -8549[?] 8548[?] 132795[?]  -8548[?] 8479[?] 132791[?]  -8481[?] 8480[?] 132626[?]  -8480[?] 8479[?] 132624[?]  -8479[?] 8412[?] 132620[?]  -8412[?] 8411[?] 132455[?]  -8411[?] 8410[?] 132452[?]  -8410[?] 8215[?] 132449[?]  -8215[?] 7956[?] 132022[?]  -7956[?] 7955[?] 131569[?]  -7955[?] 7954[?] 131566[?]  -7954[?] 7888[?] 131563[?]  -7888[?] -7889[?] 131560[?]  7889[?] -7953[?] 131558[?]  7953[?] -7952[?] -7921[?] 131554[?]  7952[?] -7951[?] -7920[?] 131551[?]  7951[?] -7950[?] -7919[?] 131548[?]  7950[?] -7949[?] -7918[?] 131545[?]  7949[?] -7948[?] -7917[?] 131542[?]  7948[?] -7947[?] -7916[?] 131539[?]  7947[?] -7946[?] -7915[?] 131536[?]  7946[?] -7945[?] -7914[?] 131533[?]  7945[?] -7944[?] -7913[?] 131530[?]  7944[?] -7943[?] -7912[?] 131527[?]  7943[?] -7942[?] -7911[?] 131524[?]  7942[?] -7941[?] -7910[?] 131521[?]  7941[?] -7940[?] -7909[?] 131518[?]  7940[?] -7939[?] -7908[?] 131515[?]  7939[?] -7938[?] -7907[?] 131512[?]  7938[?] -7937[?] -7906[?] 131509[?]  7937[?] -7936[?] -7905[?] 131506[?]  7936[?] -7935[?] -7904[?] 131503[?]  7935[?] -7934[?] -7903[?] 131500[?]  7934[?] -7933[?] -7902[?] 131497[?]  7933[?] -7932[?] -7901[?] 131494[?]  7932[?] -7931[?] -7900[?] 131491[?]  7931[?] -7930[?] -7899[?] 131488[?]  7930[?] -7929[?] -7898[?] 131485[?]  7929[?] -7928[?] -7897[?] 131482[?]  7928[?] -7927[?] -7896[?] 131479[?]  7927[?] -7926[?] -7895[?] 131476[?]  7926[?] -7925[?] -7894[?] 131473[?]  7925[?] -7924[?] -7893[?] 131470[?]  7924[?] -7923[?] -7892[?] 131467[?]  7923[?] -7891[?] -7922[?] 131464[?]  7922[?] -7890[?] 131462[?]  7921[?] 1145[?] 131460[?]  7920[?] 1144[?] 131458[?]  7919[?] 1143[?] 131456[?]  7918[?] 1142[?] 131454[?]  7917[?] 1141[?] 131452[?]  7916[?] 1140[?] 131450[?]  7915[?] 1139[?] 131448[?]  7914[?] 1138[?] 131446[?]  7913[?] 1137[?] 131444[?]  7912[?] 1136[?] 131442[?]  7911[?] 1135[?] 131440[?]  7910[?] 1134[?] 131438[?]  7909[?] 1133[?] 131436[?]  7908[?] 1132[?] 131434[?]  7907[?] 1131[?] 131432[?]  7906[?] 1130[?] 131430[?]  7905[?] 1129[?] 131428[?]  7904[?] 1128[?] 131426[?]  7903[?] 1127[?] 131424[?]  7902[?] 1126[?] 131422[?]  7901[?] 1125[?] 131420[?]  7900[?] 1124[?] 131418[?]  7899[?] 1123[?] 131416[?]  7898[?] 1122[?] 131414[?]  7897[?] 1121[?] 131412[?]  7896[?] 1120[?] 131410[?]  7895[?] 1119[?] 131408[?]  7894[?] 1118[?] 131406[?]  7893[?] 1117[?] 131404[?]  7892[?] 1116[?] 131402[?]  7891[?] 1115[?] 131400[?]  7890[?] 1114[?] 131398[?]  6337[?] -6273[?] 128420[?]  6305[?] -6337[?] 128419[?]  -6272[?] -6305[?] 128324[?]  6176[?] 6272[?] 128260[?]  6240[?] -6176[?] 128195[?]  6239[?] -6240[?] 128193[?]  6238[?] -6239[?] 128190[?]  6237[?] -6238[?] 128187[?]  6236[?] -6237[?] 128184[?]  6235[?] -6236[?] 128181[?]  6234[?] -6235[?] 128178[?]  6233[?] -6234[?] 128175[?]  6232[?] -6233[?] 128172[?]  6231[?] -6232[?] 128169[?]  6230[?] -6231[?] 128166[?]  6229[?] -6230[?] 128163[?]  6228[?] -6229[?] 128160[?]  6227[?] -6228[?] 128157[?]  6226[?] -6227[?] 128154[?]  6225[?] -6226[?] 128151[?]  6224[?] -6225[?] 128148[?]  6223[?] -6224[?] 128145[?]  6222[?] -6223[?] 128142[?]  6221[?] -6222[?] 128139[?]  6220[?] -6221[?] 128136[?]  6219[?] -6220[?] 128133[?]  6218[?] -6219[?] 128130[?]  6217[?] -6218[?] 128127[?]  6216[?] -6217[?] 128124[?]  6215[?] -6216[?] 128121[?]  6214[?] -6215[?] 128118[?]  6213[?] -6214[?] 128115[?]  6212[?] -6213[?] 128112[?]  6211[?] -6212[?] 128109[?]  6210[?] -6211[?] 128106[?]  6178[?] -6210[?] 128104[?]  6209[?] -6210[?] 128103[?]  6177[?] -6209[?] 128101[?]  -6145[?] -6178[?] 128039[?]  -6144[?] -6177[?] 128037[?]  -6113[?] 551[?] 6145[?] 127914[?]  -6112[?] 551[?] 6144[?] 127910[?]  -6081[?] 6113[?] 1460[?] 127786[?]  -6080[?] 6112[?] 1460[?] 127782[?]  1821[?] 6081[?] 127689[?]  -6017[?] 6081[?] -1821[?] 127687[?]  -6016[?] -1821[?] 6080[?] 127684[?]  -5985[?] -2046[?] 6017[?] 127560[?]  -5984[?] -2046[?] 6016[?] 127556[?]  -5953[?] 5985[?] 2175[?] 127434[?]  -5952[?] 5984[?] 2175[?] 127430[?]  -2304[?] 5953[?] 127335[?]  -5920[?] 5952[?] 2304[?] 127333[?]  -5888[?] 5920[?] 2569[?] 127237[?]  -5856[?] 2859[?] 5888[?] 127110[?]  5791[?] 5856[?] 127045[?]  5855[?] -5791[?] 127042[?]  5823[?] -5855[?] 127041[?]  5854[?] -5855[?] 127040[?]  5853[?] -5854[?] 127037[?]  5852[?] -5853[?] 127034[?]  5851[?] -5852[?] 127031[?]  5819[?] -5851[?] 127029[?]  -5790[?] -5823[?] 126946[?]  -5786[?] -5819[?] 126938[?]  -3085[?] 5790[?] 126880[?]  -5754[?] 5786[?] 3085[?] 126869[?]  -5722[?] 5011[?] 5754[?] 126769[?]  -5690[?] 5301[?] 5722[?] 126641[?]  -5534[?] 5690[?] 126521[?]  1146[?] -1210[?] 117747[?]  1210[?] -1209[?] -1178[?] 117743[?]  1209[?] -1208[?] -1177[?] 117740[?]  1208[?] -1207[?] -1176[?] 117737[?]  1207[?] -1206[?] -1175[?] 117734[?]  1206[?] -1205[?] -1174[?] 117731[?]  1205[?] -1204[?] -1173[?] 117728[?]  1204[?] -1203[?] -1172[?] 117725[?]  1203[?] -1202[?] -1171[?] 117722[?]  1202[?] -1201[?] -1170[?] 117719[?]  1201[?] -1200[?] -1169[?] 117716[?]  1200[?] -1199[?] -1168[?] 117713[?]  1199[?] -1198[?] -1167[?] 117710[?]  1198[?] -1197[?] -1166[?] 117707[?]  1197[?] -1196[?] -1165[?] 117704[?]  1196[?] -1195[?] -1164[?] 117701[?]  1195[?] -1194[?] -1163[?] 117698[?]  1194[?] -1193[?] -1162[?] 117695[?]  1193[?] -1192[?] -1161[?] 117692[?]  1192[?] -1191[?] -1160[?] 117689[?]  1191[?] -1190[?] -1159[?] 117686[?]  1190[?] -1189[?] -1158[?] 117683[?]  1189[?] -1188[?] -1157[?] 117680[?]  1188[?] -1187[?] -1156[?] 117677[?]  1187[?] -1186[?] -1155[?] 117674[?]  1186[?] -1185[?] -1154[?] 117671[?]  1185[?] -1184[?] -1153[?] 117668[?]  1184[?] -1152[?] -1183[?] 117665[?]  1151[?] -1183[?] 117664[?]  1182[?] -1183[?] 117663[?]  1183[?] -1182[?] -1151[?] 117662[?]  1150[?] -1182[?] 117661[?]  1181[?] -1182[?] 117660[?]  1182[?] -1181[?] -1150[?] 117659[?]  1149[?] -1181[?] 117658[?]  1180[?] -1181[?] 117657[?]  1181[?] -1180[?] -1149[?] 117656[?]  1148[?] -1180[?] 117655[?]  1179[?] -1180[?] 117654[?]  1180[?] -1179[?] -1148[?] 117653[?]  1147[?] -1179[?] 117652[?]  1179[?] -1147[?] 117651[?]  1178[?] 1145[?] 117649[?]  1177[?] 1144[?] 117647[?]  1176[?] 1143[?] 117645[?]  1175[?] 1142[?] 117643[?]  1174[?] 1141[?] 117641[?]  1173[?] 1140[?] 117639[?]  1172[?] 1139[?] 117637[?]  1171[?] 1138[?] 117635[?]  1170[?] 1137[?] 117633[?]  1169[?] 1136[?] 117631[?]  1168[?] 1135[?] 117629[?]  1167[?] 1134[?] 117627[?]  1166[?] 1133[?] 117625[?]  1165[?] 1132[?] 117623[?]  1164[?] 1131[?] 117621[?]  1163[?] 1130[?] 117619[?]  1162[?] 1129[?] 117617[?]  1161[?] 1128[?] 117615[?]  1160[?] 1127[?] 117613[?]  1159[?] 1126[?] 117611[?]  1158[?] 1125[?] 117609[?]  1157[?] 1124[?] 117607[?]  1156[?] 1123[?] 117605[?]  1155[?] 1122[?] 117603[?]  1154[?] 1121[?] 117601[?]  1153[?] 1120[?] 117599[?]  1152[?] 1119[?] 117597[?]  -1118[?] -1151[?] 117596[?]  1151[?] 1118[?] 117595[?]  -1117[?] -1150[?] 117594[?]  1150[?] 1117[?] 117593[?]  -1116[?] -1149[?] 117592[?]  1149[?] 1116[?] 117591[?]  -1115[?] -1148[?] 117590[?]  1148[?] 1115[?] 117589[?]  -1114[?] -1147[?] 117588[?]  1147[?] 1114[?] 117587[?]  -1145[?] -953[?] 117584[?]  -1144[?] -953[?] 117581[?]  -1143[?] -953[?] 117578[?]  -1142[?] -953[?] 117575[?]  -1141[?] -953[?] 117572[?]  -1140[?] -953[?] 117569[?]  -1139[?] -953[?] 117566[?]  -1138[?] -953[?] 117563[?]  -1137[?] -953[?] 117560[?]  -1136[?] -953[?] 117557[?]  -1135[?] -953[?] 117554[?]  -1134[?] -953[?] 117551[?]  -1133[?] -953[?] 117548[?]  -1132[?] -953[?] 117545[?]  -1131[?] -953[?] 117542[?]  -1130[?] -953[?] 117539[?]  -1129[?] -953[?] 117536[?]  -1128[?] -953[?] 117533[?]  -1127[?] -953[?] 117530[?]  -1126[?] -953[?] 117527[?]  -1125[?] -953[?] 117524[?]  -1124[?] -953[?] 117521[?]  -1123[?] -953[?] 117518[?]  -1122[?] -953[?] 117515[?]  -1121[?] -953[?] 117512[?]  -1120[?] -953[?] 117509[?]  -1119[?] -953[?] 117506[?]  -1118[?] -953[?] 117503[?]  -1117[?] -953[?] 117500[?]  -1116[?] -953[?] 117497[?]  -1115[?] -953[?] 117494[?]  -1114[?] -953[?] 117491[?]  -112856[?] 115948[?] 
3.18/2.49	c qxplain 0/411
3.62/2.77	c qxplain 206/411
3.87/2.94	c qxplain 309/411
4.07/3.10	c qxplain 361/411
4.17/3.26	c qxplain 387/411
4.37/3.41	c qxplain 400/411
4.46/3.57	c qxplain 406/411
4.67/3.73	c qxplain 409/411
4.77/3.89	c qxplain 411/411
4.96/4.05	c -112856[?] 115948[?] is mandatory 
4.96/4.05	c qxplain 409/410
5.17/4.21	c qxplain 410/410
5.27/4.37	c 117491[?] -1114[?] -953[?]  is mandatory 
5.27/4.37	c qxplain 409/409
5.47/4.53	c 117494[?] -1115[?] -953[?]  is mandatory 
5.47/4.53	c qxplain 406/408
5.56/4.69	c qxplain 408/408
5.77/4.85	c 117497[?] -1116[?] -953[?]  is mandatory 
5.77/4.85	c qxplain 406/407
5.97/5.01	c qxplain 407/407
6.07/5.16	c 117500[?] -1117[?] -953[?]  is mandatory 
6.07/5.16	c qxplain 406/406
6.27/5.32	c 117503[?] -1118[?] -953[?]  is mandatory 
6.27/5.32	c qxplain 400/405
6.37/5.48	c qxplain 403/405
6.58/5.64	c qxplain 405/405
6.76/5.80	c 117506[?] -1119[?] -953[?]  is mandatory 
6.76/5.80	c qxplain 403/404
6.87/5.96	c qxplain 404/404
7.07/6.12	c 117509[?] -1120[?] -953[?]  is mandatory 
7.07/6.12	c qxplain 403/403
7.17/6.28	c 117512[?] -1121[?] -953[?]  is mandatory 
7.17/6.28	c qxplain 400/402
7.37/6.44	c qxplain 402/402
7.47/6.60	c 117515[?] -1122[?] -953[?]  is mandatory 
7.47/6.60	c qxplain 400/401
7.67/6.76	c qxplain 401/401
7.87/6.92	c 117518[?] -1123[?] -953[?]  is mandatory 
7.87/6.92	c qxplain 400/400
7.97/7.07	c 117521[?] -1124[?] -953[?]  is mandatory 
7.97/7.07	c qxplain 387/399
8.17/7.23	c qxplain 394/399
8.27/7.39	c qxplain 397/399
8.47/7.55	c qxplain 399/399
8.68/7.71	c 117524[?] -1125[?] -953[?]  is mandatory 
8.68/7.71	c qxplain 397/398
8.77/7.87	c qxplain 398/398
8.97/8.03	c 117527[?] -1126[?] -953[?]  is mandatory 
8.97/8.03	c qxplain 397/397
9.07/8.19	c 117530[?] -1127[?] -953[?]  is mandatory 
9.07/8.19	c qxplain 394/396
9.27/8.35	c qxplain 396/396
9.47/8.50	c 117533[?] -1128[?] -953[?]  is mandatory 
9.47/8.50	c qxplain 394/395
9.57/8.66	c qxplain 395/395
9.77/8.82	c 117536[?] -1129[?] -953[?]  is mandatory 
9.77/8.82	c qxplain 394/394
9.87/8.98	c 117539[?] -1130[?] -953[?]  is mandatory 
9.87/8.98	c qxplain 387/393
10.07/9.14	c qxplain 391/393
10.27/9.30	c qxplain 393/393
10.37/9.46	c 117542[?] -1131[?] -953[?]  is mandatory 
10.37/9.46	c qxplain 391/392
10.57/9.62	c qxplain 392/392
10.67/9.78	c 117545[?] -1132[?] -953[?]  is mandatory 
10.67/9.78	c qxplain 391/391
10.88/9.94	c 117548[?] -1133[?] -953[?]  is mandatory 
10.88/9.94	c qxplain 387/390
11.07/10.10	c qxplain 389/390
11.17/10.26	c qxplain 390/390
11.37/10.42	c 117551[?] -1134[?] -953[?]  is mandatory 
11.37/10.42	c qxplain 389/389
11.48/10.57	c 117554[?] -1135[?] -953[?]  is mandatory 
11.48/10.57	c qxplain 387/388
11.67/10.73	c qxplain 388/388
11.78/10.89	c 117557[?] -1136[?] -953[?]  is mandatory 
11.78/10.89	c qxplain 387/387
11.98/11.05	c 117560[?] -1137[?] -953[?]  is mandatory 
11.98/11.05	c qxplain 361/386
12.18/11.21	c qxplain 374/386
12.70/11.59	c qxplain 381/386
12.93/11.70	c qxplain 384/386
13.03/11.81	c qxplain 386/386
13.13/11.92	c 117563[?] -1138[?] -953[?]  is mandatory 
13.13/11.92	c qxplain 384/385
13.23/12.03	c qxplain 385/385
13.33/12.14	c 117566[?] -1139[?] -953[?]  is mandatory 
13.33/12.14	c qxplain 384/384
13.43/12.25	c 117569[?] -1140[?] -953[?]  is mandatory 
13.43/12.25	c qxplain 381/383
13.52/12.36	c qxplain 383/383
13.62/12.47	c 117572[?] -1141[?] -953[?]  is mandatory 
13.62/12.47	c qxplain 381/382
13.72/12.58	c qxplain 382/382
13.83/12.69	c 117575[?] -1142[?] -953[?]  is mandatory 
13.83/12.69	c qxplain 381/381
14.03/12.80	c 117578[?] -1143[?] -953[?]  is mandatory 
14.03/12.80	c qxplain 374/380
14.13/12.91	c qxplain 378/380
14.23/13.02	c qxplain 380/380
14.33/13.13	c 117581[?] -1144[?] -953[?]  is mandatory 
14.33/13.13	c qxplain 378/379
14.44/13.24	c qxplain 379/379
14.54/13.35	c 117584[?] -1145[?] -953[?]  is mandatory 
14.54/13.35	c qxplain 378/378
14.63/13.46	c 117587[?] 1147[?] 1114[?]  is mandatory 
14.63/13.46	c qxplain 374/377
14.73/13.58	c qxplain 376/377
14.83/13.69	c qxplain 377/377
14.93/13.71	c qxplain 376/376
15.07/13.82	c 117589[?] 1148[?] 1115[?]  is mandatory 
15.07/13.82	c qxplain 374/375
15.17/13.93	c qxplain 375/375
15.17/13.96	c qxplain 374/374
15.30/14.07	c 117591[?] 1149[?] 1116[?]  is mandatory 
15.30/14.07	c qxplain 361/373
15.40/14.18	c qxplain 368/373
15.50/14.29	c qxplain 371/373
15.61/14.40	c qxplain 373/373
15.71/14.42	c qxplain 371/372
15.80/14.53	c qxplain 372/372
15.90/14.64	c 117593[?] 1150[?] 1117[?]  is mandatory 
15.90/14.64	c qxplain 371/371
15.90/14.65	c qxplain 368/370
16.00/14.76	c qxplain 370/370
16.10/14.87	c 117595[?] 1151[?] 1118[?]  is mandatory 
16.10/14.87	c qxplain 368/369
16.20/14.98	c qxplain 369/369
16.20/15.00	c qxplain 368/368
16.40/15.11	c 117597[?] 1152[?] 1119[?]  is mandatory 
16.40/15.11	c qxplain 361/367
16.50/15.22	c qxplain 365/367
16.60/15.33	c qxplain 367/367
16.71/15.44	c 117599[?] 1153[?] 1120[?]  is mandatory 
16.71/15.44	c qxplain 365/366
16.81/15.55	c qxplain 366/366
16.90/15.66	c 117601[?] 1154[?] 1121[?]  is mandatory 
16.90/15.66	c qxplain 365/365
17.00/15.77	c 117603[?] 1155[?] 1122[?]  is mandatory 
17.00/15.77	c qxplain 361/364
17.10/15.88	c qxplain 363/364
17.20/15.99	c qxplain 364/364
17.40/16.10	c 117605[?] 1156[?] 1123[?]  is mandatory 
17.40/16.10	c qxplain 363/363
17.50/16.21	c 117607[?] 1157[?] 1124[?]  is mandatory 
17.50/16.21	c qxplain 361/362
17.60/16.32	c qxplain 362/362
17.70/16.43	c 117609[?] 1158[?] 1125[?]  is mandatory 
17.70/16.43	c qxplain 361/361
17.81/16.54	c 117611[?] 1159[?] 1126[?]  is mandatory 
17.81/16.54	c qxplain 309/360
17.91/16.65	c qxplain 335/360
18.00/16.76	c qxplain 348/360
18.10/16.87	c qxplain 355/360
18.20/16.98	c qxplain 358/360
18.30/17.09	c qxplain 360/360
18.50/17.20	c 117613[?] 1160[?] 1127[?]  is mandatory 
18.50/17.20	c qxplain 358/359
18.60/17.31	c qxplain 359/359
18.70/17.42	c 117615[?] 1161[?] 1128[?]  is mandatory 
18.70/17.42	c qxplain 358/358
18.81/17.53	c 117617[?] 1162[?] 1129[?]  is mandatory 
18.81/17.53	c qxplain 355/357
18.91/17.64	c qxplain 357/357
19.01/17.75	c 117619[?] 1163[?] 1130[?]  is mandatory 
19.01/17.75	c qxplain 355/356
19.10/17.86	c qxplain 356/356
19.20/17.97	c 117621[?] 1164[?] 1131[?]  is mandatory 
19.20/17.97	c qxplain 355/355
19.30/18.08	c 117623[?] 1165[?] 1132[?]  is mandatory 
19.30/18.08	c qxplain 348/354
19.40/18.19	c qxplain 352/354
19.60/18.30	c qxplain 354/354
20.12/18.63	c 117625[?] 1166[?] 1133[?]  is mandatory 
20.12/18.63	c qxplain 352/353
20.22/18.74	c qxplain 353/353
20.32/18.85	c 117627[?] 1167[?] 1134[?]  is mandatory 
20.32/18.85	c qxplain 352/352
20.41/18.96	c 117629[?] 1168[?] 1135[?]  is mandatory 
20.41/18.96	c qxplain 348/351
20.51/19.07	c qxplain 350/351
20.62/19.18	c qxplain 351/351
20.72/19.29	c 117631[?] 1169[?] 1136[?]  is mandatory 
20.72/19.29	c qxplain 350/350
20.92/19.40	c 117633[?] 1170[?] 1137[?]  is mandatory 
20.92/19.40	c qxplain 348/349
21.02/19.51	c qxplain 349/349
21.12/19.62	c 117635[?] 1171[?] 1138[?]  is mandatory 
21.12/19.62	c qxplain 348/348
21.22/19.73	c 117637[?] 1172[?] 1139[?]  is mandatory 
21.22/19.73	c qxplain 335/347
21.32/19.84	c qxplain 342/347
21.42/19.95	c qxplain 345/347
21.51/20.06	c qxplain 347/347
21.61/20.17	c 117639[?] 1173[?] 1140[?]  is mandatory 
21.61/20.17	c qxplain 345/346
21.71/20.28	c qxplain 346/346
21.81/20.39	c 117641[?] 1174[?] 1141[?]  is mandatory 
21.81/20.39	c qxplain 345/345
22.01/20.50	c 117643[?] 1175[?] 1142[?]  is mandatory 
22.01/20.50	c qxplain 342/344
22.11/20.62	c qxplain 344/344
22.21/20.73	c 117645[?] 1176[?] 1143[?]  is mandatory 
22.21/20.73	c qxplain 342/343
22.31/20.84	c qxplain 343/343
22.42/20.95	c 117647[?] 1177[?] 1144[?]  is mandatory 
22.42/20.95	c qxplain 342/342
22.52/21.06	c 117649[?] 1178[?] 1145[?]  is mandatory 
22.52/21.06	c qxplain 335/341
22.61/21.17	c qxplain 339/341
22.71/21.28	c qxplain 341/341
22.81/21.39	c 117651[?] 1179[?] -1147[?]  is mandatory 
22.81/21.39	c qxplain 339/340
23.01/21.50	c qxplain 340/340
23.01/21.51	c qxplain 339/339
23.11/21.62	c 117653[?] 1180[?] -1179[?] -1148[?]  is mandatory 
23.11/21.62	c qxplain 335/338
23.21/21.73	c qxplain 337/338
23.21/21.75	c qxplain 335/336
23.31/21.86	c qxplain 336/336
23.41/21.97	c 117656[?] 1181[?] -1180[?] -1149[?]  is mandatory 
23.41/21.97	c qxplain 335/335
23.41/21.98	c qxplain 309/334
23.52/22.09	c qxplain 322/334
23.71/22.20	c qxplain 329/334
23.81/22.31	c qxplain 332/334
23.91/22.42	c qxplain 334/334
23.91/22.44	c qxplain 332/333
24.01/22.55	c qxplain 333/333
24.11/22.66	c 117659[?] 1182[?] -1181[?] -1150[?]  is mandatory 
24.11/22.66	c qxplain 332/332
24.11/22.67	c qxplain 329/331
24.21/22.78	c qxplain 331/331
24.21/22.80	c qxplain 329/330
24.42/22.91	c qxplain 330/330
24.52/23.02	c 117662[?] 1183[?] -1182[?] -1151[?]  is mandatory 
24.52/23.02	c qxplain 329/329
24.52/23.03	c qxplain 322/328
24.63/23.14	c qxplain 326/328
24.73/23.25	c qxplain 328/328
24.73/23.27	c qxplain 326/327
24.82/23.38	c qxplain 327/327
24.92/23.49	c 117665[?] 1184[?] -1183[?] -1152[?]  is mandatory 
24.92/23.49	c qxplain 326/326
25.02/23.60	c 117668[?] 1185[?] -1184[?] -1153[?]  is mandatory 
25.02/23.60	c qxplain 322/325
25.22/23.71	c qxplain 324/325
25.32/23.82	c qxplain 325/325
25.42/23.93	c 117671[?] 1186[?] -1185[?] -1154[?]  is mandatory 
25.42/23.93	c qxplain 324/324
25.52/24.04	c 117674[?] 1187[?] -1186[?] -1155[?]  is mandatory 
25.52/24.04	c qxplain 322/323
25.62/24.15	c qxplain 323/323
25.73/24.26	c 117677[?] 1188[?] -1187[?] -1156[?]  is mandatory 
25.73/24.26	c qxplain 322/322
25.83/24.37	c 117680[?] 1189[?] -1188[?] -1157[?]  is mandatory 
25.83/24.37	c qxplain 309/321
25.92/24.48	c qxplain 316/321
26.02/24.59	c qxplain 319/321
26.12/24.70	c qxplain 321/321
26.32/24.81	c 117683[?] 1190[?] -1189[?] -1158[?]  is mandatory 
26.32/24.81	c qxplain 319/320
26.42/24.92	c qxplain 320/320
26.52/25.03	c 117686[?] 1191[?] -1190[?] -1159[?]  is mandatory 
26.52/25.03	c qxplain 319/319
26.62/25.14	c 117689[?] 1192[?] -1191[?] -1160[?]  is mandatory 
26.62/25.14	c qxplain 316/318
26.72/25.25	c qxplain 318/318
27.21/25.56	c 117692[?] 1193[?] -1192[?] -1161[?]  is mandatory 
27.21/25.56	c qxplain 316/317
27.31/25.67	c qxplain 317/317
27.41/25.78	c 117695[?] 1194[?] -1193[?] -1162[?]  is mandatory 
27.41/25.78	c qxplain 316/316
27.51/25.89	c 117698[?] 1195[?] -1194[?] -1163[?]  is mandatory 
27.51/25.89	c qxplain 309/315
27.71/26.00	c qxplain 313/315
27.81/26.11	c qxplain 315/315
27.91/26.22	c 117701[?] 1196[?] -1195[?] -1164[?]  is mandatory 
27.91/26.22	c qxplain 313/314
28.01/26.33	c qxplain 314/314
28.11/26.44	c 117704[?] 1197[?] -1196[?] -1165[?]  is mandatory 
28.11/26.44	c qxplain 313/313
28.21/26.55	c 117707[?] 1198[?] -1197[?] -1166[?]  is mandatory 
28.21/26.55	c qxplain 309/312
28.31/26.66	c qxplain 311/312
28.41/26.77	c qxplain 312/312
28.51/26.88	c 117710[?] 1199[?] -1198[?] -1167[?]  is mandatory 
28.51/26.88	c qxplain 311/311
28.61/26.99	c 117713[?] 1200[?] -1199[?] -1168[?]  is mandatory 
28.61/26.99	c qxplain 309/310
28.81/27.10	c qxplain 310/310
28.91/27.22	c 117716[?] 1201[?] -1200[?] -1169[?]  is mandatory 
28.91/27.22	c qxplain 309/309
29.01/27.33	c 117719[?] 1202[?] -1201[?] -1170[?]  is mandatory 
29.01/27.33	c qxplain 206/308
29.11/27.44	c qxplain 258/308
29.21/27.55	c qxplain 284/308
29.32/27.66	c qxplain 297/308
29.41/27.77	c qxplain 303/308
29.51/27.88	c qxplain 306/308
29.61/27.99	c qxplain 308/308
29.81/28.10	c 117722[?] 1203[?] -1202[?] -1171[?]  is mandatory 
29.81/28.10	c qxplain 306/307
29.91/28.21	c qxplain 307/307
30.01/28.32	c 117725[?] 1204[?] -1203[?] -1172[?]  is mandatory 
30.01/28.32	c qxplain 306/306
30.11/28.43	c 117728[?] 1205[?] -1204[?] -1173[?]  is mandatory 
30.11/28.43	c qxplain 303/305
30.21/28.54	c qxplain 305/305
30.31/28.65	c 117731[?] 1206[?] -1205[?] -1174[?]  is mandatory 
30.31/28.65	c qxplain 303/304
30.42/28.76	c qxplain 304/304
30.51/28.87	c 117734[?] 1207[?] -1206[?] -1175[?]  is mandatory 
30.51/28.87	c qxplain 303/303
30.61/28.99	c 117737[?] 1208[?] -1207[?] -1176[?]  is mandatory 
30.61/28.99	c qxplain 297/302
30.71/29.10	c qxplain 300/302
30.91/29.21	c qxplain 302/302
31.01/29.32	c 117740[?] 1209[?] -1208[?] -1177[?]  is mandatory 
31.01/29.32	c qxplain 300/301
31.11/29.43	c qxplain 301/301
31.21/29.54	c 117743[?] 1210[?] -1209[?] -1178[?]  is mandatory 
31.21/29.54	c qxplain 300/300
31.31/29.65	c 117747[?] 1146[?] -1210[?]  is mandatory 
31.31/29.65	c qxplain 297/299
31.41/29.78	c qxplain 299/299
31.51/29.89	c 126521[?] 5690[?] -5534[?]  is mandatory 
31.51/29.89	c qxplain 297/298
31.71/30.00	c qxplain 298/298
31.81/30.11	c 126641[?] -5690[?] 5722[?] 5301[?]  is mandatory 
31.81/30.11	c qxplain 297/297
31.91/30.22	c 126769[?] -5722[?] 5011[?] 5754[?]  is mandatory 
31.91/30.22	c qxplain 284/296
32.01/30.33	c qxplain 291/296
32.11/30.44	c qxplain 294/296
32.21/30.55	c qxplain 296/296
32.31/30.66	c 126869[?] -5754[?] 3085[?] 5786[?]  is mandatory 
32.31/30.66	c qxplain 294/295
32.41/30.77	c qxplain 295/295
32.51/30.88	c 126880[?] -3085[?] 5790[?]  is mandatory 
32.51/30.88	c qxplain 294/294
32.61/30.99	c 126938[?] -5786[?] -5819[?]  is mandatory 
32.61/30.99	c qxplain 291/293
32.81/31.10	c qxplain 293/293
32.91/31.21	c 126946[?] -5790[?] -5823[?]  is mandatory 
32.91/31.21	c qxplain 291/292
33.01/31.32	c qxplain 292/292
33.11/31.44	c 127029[?] 5819[?] -5851[?]  is mandatory 
33.11/31.44	c qxplain 291/291
33.21/31.55	c 127031[?] 5851[?] -5852[?]  is mandatory 
33.21/31.55	c qxplain 284/290
33.31/31.66	c qxplain 288/290
33.41/31.77	c qxplain 290/290
33.51/31.88	c 127034[?] 5852[?] -5853[?]  is mandatory 
33.51/31.88	c qxplain 288/289
33.61/31.99	c qxplain 289/289
33.81/32.10	c 127037[?] 5853[?] -5854[?]  is mandatory 
33.81/32.10	c qxplain 288/288
33.91/32.21	c 127040[?] 5854[?] -5855[?]  is mandatory 
33.91/32.21	c qxplain 284/287
34.01/32.32	c qxplain 286/287
34.11/32.43	c qxplain 287/287
34.21/32.54	c 127041[?] 5823[?] -5855[?]  is mandatory 
34.21/32.54	c qxplain 286/286
34.70/32.84	c 127042[?] 5855[?] -5791[?]  is mandatory 
34.70/32.84	c qxplain 284/285
34.80/32.95	c qxplain 285/285
34.90/33.06	c 127045[?] 5791[?] 5856[?]  is mandatory 
34.90/33.06	c qxplain 284/284
35.00/33.17	c 127110[?] -5856[?] 2859[?] 5888[?]  is mandatory 
35.00/33.17	c qxplain 258/283
35.10/33.28	c qxplain 271/283
35.20/33.39	c qxplain 278/283
35.40/33.50	c qxplain 281/283
35.50/33.61	c qxplain 283/283
35.60/33.72	c 127237[?] -5888[?] 2569[?] 5920[?]  is mandatory 
35.60/33.72	c qxplain 281/282
35.70/33.84	c qxplain 282/282
35.80/33.95	c 127333[?] -5920[?] 2304[?] 5952[?]  is mandatory 
35.80/33.95	c qxplain 281/281
35.90/34.05	c 127335[?] -2304[?] 5953[?]  is mandatory 
35.90/34.06	c qxplain 278/280
36.00/34.16	c qxplain 280/280
36.10/34.27	c 127430[?] -5952[?] 2175[?] 5984[?]  is mandatory 
36.10/34.27	c qxplain 278/279
36.20/34.38	c qxplain 279/279
36.30/34.49	c 127434[?] -5953[?] 2175[?] 5985[?]  is mandatory 
36.30/34.49	c qxplain 278/278
36.50/34.60	c 127556[?] -5984[?] -2046[?] 6016[?]  is mandatory 
36.50/34.60	c qxplain 271/277
36.60/34.71	c qxplain 275/277
36.70/34.82	c qxplain 277/277
36.80/34.93	c 127560[?] -5985[?] 6017[?] -2046[?]  is mandatory 
36.80/34.93	c qxplain 275/276
36.90/35.04	c qxplain 276/276
37.00/35.15	c 127684[?] -6016[?] -1821[?] 6080[?]  is mandatory 
37.00/35.15	c qxplain 275/275
37.10/35.26	c 127687[?] -6017[?] -1821[?] 6081[?]  is mandatory 
37.10/35.26	c qxplain 271/274
37.20/35.37	c qxplain 273/274
37.30/35.48	c qxplain 274/274
37.40/35.59	c 127689[?] 1821[?] 6081[?]  is mandatory 
37.40/35.59	c qxplain 273/273
37.60/35.70	c 127782[?] -6080[?] 6112[?] 1460[?]  is mandatory 
37.60/35.70	c qxplain 271/272
37.70/35.81	c qxplain 272/272
37.80/35.92	c 127786[?] -6081[?] 6113[?] 1460[?]  is mandatory 
37.80/35.92	c qxplain 271/271
37.90/36.03	c 127910[?] -6112[?] 6144[?] 551[?]  is mandatory 
37.90/36.03	c qxplain 258/270
38.00/36.14	c qxplain 265/270
38.10/36.25	c qxplain 268/270
38.20/36.36	c qxplain 270/270
38.30/36.47	c 127914[?] -6113[?] 6145[?] 551[?]  is mandatory 
38.30/36.47	c qxplain 268/269
38.40/36.58	c qxplain 269/269
38.50/36.69	c 128037[?] -6144[?] -6177[?]  is mandatory 
38.50/36.69	c qxplain 268/268
38.69/36.80	c 128039[?] -6145[?] -6178[?]  is mandatory 
38.69/36.80	c qxplain 265/267
38.81/36.91	c qxplain 267/267
38.91/37.02	c 128101[?] 6177[?] -6209[?]  is mandatory 
38.91/37.02	c qxplain 265/266
39.01/37.13	c qxplain 266/266
39.11/37.24	c 128103[?] 6209[?] -6210[?]  is mandatory 
39.11/37.24	c qxplain 265/265
39.21/37.35	c 128104[?] 6178[?] -6210[?]  is mandatory 
39.21/37.35	c qxplain 258/264
39.32/37.46	c qxplain 262/264
39.42/37.57	c qxplain 264/264
39.51/37.68	c 128106[?] 6210[?] -6211[?]  is mandatory 
39.51/37.68	c qxplain 262/263
39.61/37.79	c qxplain 263/263
39.81/37.90	c 128109[?] 6211[?] -6212[?]  is mandatory 
39.81/37.90	c qxplain 262/262
39.91/38.01	c 128112[?] 6212[?] -6213[?]  is mandatory 
39.91/38.01	c qxplain 258/261
40.01/38.12	c qxplain 260/261
40.11/38.23	c qxplain 261/261
40.21/38.34	c 128115[?] 6213[?] -6214[?]  is mandatory 
40.21/38.34	c qxplain 260/260
40.31/38.45	c 128118[?] 6214[?] -6215[?]  is mandatory 
40.31/38.45	c qxplain 258/259
40.41/38.56	c qxplain 259/259
40.51/38.67	c 128121[?] 6215[?] -6216[?]  is mandatory 
40.51/38.67	c qxplain 258/258
40.61/38.78	c 128124[?] 6216[?] -6217[?]  is mandatory 
40.61/38.78	c qxplain 206/257
40.71/38.89	c qxplain 232/257
40.81/39.00	c qxplain 245/257
41.01/39.11	c qxplain 252/257
41.11/39.22	c qxplain 255/257
41.21/39.33	c qxplain 257/257
41.31/39.44	c 128127[?] 6217[?] -6218[?]  is mandatory 
41.31/39.44	c qxplain 255/256
41.41/39.55	c qxplain 256/256
41.51/39.66	c 128130[?] 6218[?] -6219[?]  is mandatory 
41.51/39.66	c qxplain 255/255
41.61/39.77	c 128133[?] 6219[?] -6220[?]  is mandatory 
41.61/39.77	c qxplain 252/254
42.09/40.06	c qxplain 254/254
42.19/40.17	c 128136[?] 6220[?] -6221[?]  is mandatory 
42.19/40.17	c qxplain 252/253
42.29/40.28	c qxplain 253/253
42.39/40.39	c 128139[?] 6221[?] -6222[?]  is mandatory 
42.39/40.39	c qxplain 252/252
42.59/40.50	c 128142[?] 6222[?] -6223[?]  is mandatory 
42.59/40.50	c qxplain 245/251
42.69/40.61	c qxplain 249/251
42.80/40.72	c qxplain 251/251
42.90/40.83	c 128145[?] 6223[?] -6224[?]  is mandatory 
42.90/40.83	c qxplain 249/250
42.99/40.94	c qxplain 250/250
43.09/41.05	c 128148[?] 6224[?] -6225[?]  is mandatory 
43.09/41.05	c qxplain 249/249
43.19/41.16	c 128151[?] 6225[?] -6226[?]  is mandatory 
43.19/41.16	c qxplain 245/248
43.29/41.27	c qxplain 247/248
43.39/41.38	c qxplain 248/248
43.49/41.49	c 128154[?] 6226[?] -6227[?]  is mandatory 
43.49/41.49	c qxplain 247/247
43.69/41.60	c 128157[?] 6227[?] -6228[?]  is mandatory 
43.69/41.60	c qxplain 245/246
43.79/41.71	c qxplain 246/246
43.90/41.82	c 128160[?] 6228[?] -6229[?]  is mandatory 
43.90/41.82	c qxplain 245/245
44.00/41.93	c 128163[?] 6229[?] -6230[?]  is mandatory 
44.00/41.93	c qxplain 232/244
44.09/42.04	c qxplain 239/244
44.19/42.15	c qxplain 242/244
44.29/42.26	c qxplain 244/244
44.39/42.37	c 128166[?] 6230[?] -6231[?]  is mandatory 
44.39/42.37	c qxplain 242/243
44.49/42.48	c qxplain 243/243
44.59/42.59	c 128169[?] 6231[?] -6232[?]  is mandatory 
44.59/42.59	c qxplain 242/242
44.79/42.70	c 128172[?] 6232[?] -6233[?]  is mandatory 
44.79/42.70	c qxplain 239/241
44.89/42.81	c qxplain 241/241
45.00/42.92	c 128175[?] 6233[?] -6234[?]  is mandatory 
45.00/42.92	c qxplain 239/240
45.10/43.03	c qxplain 240/240
45.19/43.14	c 128178[?] 6234[?] -6235[?]  is mandatory 
45.19/43.14	c qxplain 239/239
45.29/43.25	c 128181[?] 6235[?] -6236[?]  is mandatory 
45.29/43.25	c qxplain 232/238
45.39/43.36	c qxplain 236/238
45.49/43.47	c qxplain 238/238
45.59/43.58	c 128184[?] 6236[?] -6237[?]  is mandatory 
45.59/43.58	c qxplain 236/237
45.69/43.69	c qxplain 237/237
45.89/43.80	c 128187[?] 6237[?] -6238[?]  is mandatory 
45.89/43.80	c qxplain 236/236
45.99/43.92	c 128190[?] 6238[?] -6239[?]  is mandatory 
45.99/43.92	c qxplain 232/235
46.10/44.03	c qxplain 234/235
46.20/44.14	c qxplain 235/235
46.29/44.25	c 128193[?] 6239[?] -6240[?]  is mandatory 
46.29/44.25	c qxplain 234/234
46.39/44.36	c 128195[?] 6240[?] -6176[?]  is mandatory 
46.39/44.36	c qxplain 232/233
46.49/44.47	c qxplain 233/233
46.59/44.58	c 128260[?] 6176[?] 6272[?]  is mandatory 
46.59/44.58	c qxplain 232/232
46.69/44.69	c 128324[?] -6272[?] -6305[?]  is mandatory 
46.69/44.69	c qxplain 206/231
46.89/44.80	c qxplain 219/231
46.99/44.91	c qxplain 226/231
47.09/45.02	c qxplain 229/231
47.19/45.13	c qxplain 231/231
47.29/45.24	c 128419[?] 6305[?] -6337[?]  is mandatory 
47.29/45.24	c qxplain 229/230
47.39/45.35	c qxplain 230/230
47.49/45.46	c 128420[?] 6337[?] -6273[?]  is mandatory 
47.49/45.46	c qxplain 229/229
47.59/45.57	c 131398[?] 7890[?] 1114[?]  is mandatory 
47.59/45.57	c qxplain 226/228
47.69/45.68	c qxplain 228/228
47.79/45.79	c 131400[?] 7891[?] 1115[?]  is mandatory 
47.79/45.79	c qxplain 226/227
47.99/45.90	c qxplain 227/227
48.09/46.01	c 131402[?] 7892[?] 1116[?]  is mandatory 
48.09/46.01	c qxplain 226/226
48.19/46.12	c 131404[?] 7893[?] 1117[?]  is mandatory 
48.19/46.12	c qxplain 219/225
48.29/46.23	c qxplain 223/225
48.39/46.34	c qxplain 225/225
48.49/46.45	c 131406[?] 7894[?] 1118[?]  is mandatory 
48.49/46.45	c qxplain 223/224
48.59/46.56	c qxplain 224/224
48.69/46.67	c 131408[?] 7895[?] 1119[?]  is mandatory 
48.69/46.67	c qxplain 223/223
48.79/46.78	c 131410[?] 7896[?] 1120[?]  is mandatory 
48.79/46.78	c qxplain 219/222
48.89/46.89	c qxplain 221/222
49.09/47.00	c qxplain 222/222
49.60/47.32	c 131412[?] 7897[?] 1121[?]  is mandatory 
49.60/47.32	c qxplain 221/221
49.70/47.43	c 131414[?] 7898[?] 1122[?]  is mandatory 
49.70/47.43	c qxplain 219/220
49.79/47.54	c qxplain 220/220
49.89/47.65	c 131416[?] 7899[?] 1123[?]  is mandatory 
49.89/47.65	c qxplain 219/219
49.99/47.76	c 131418[?] 7900[?] 1124[?]  is mandatory 
49.99/47.76	c qxplain 206/218
50.09/47.87	c qxplain 213/218
50.19/47.98	c qxplain 216/218
50.29/48.09	c qxplain 218/218
50.49/48.20	c 131420[?] 7901[?] 1125[?]  is mandatory 
50.49/48.20	c qxplain 216/217
50.59/48.31	c qxplain 217/217
50.69/48.42	c 131422[?] 7902[?] 1126[?]  is mandatory 
50.69/48.42	c qxplain 216/216
50.80/48.53	c 131424[?] 7903[?] 1127[?]  is mandatory 
50.80/48.53	c qxplain 213/215
50.89/48.65	c qxplain 215/215
50.99/48.76	c 131426[?] 7904[?] 1128[?]  is mandatory 
50.99/48.76	c qxplain 213/214
51.09/48.87	c qxplain 214/214
51.19/48.98	c 131428[?] 7905[?] 1129[?]  is mandatory 
51.19/48.98	c qxplain 213/213
51.29/49.09	c 131430[?] 7906[?] 1130[?]  is mandatory 
51.29/49.09	c qxplain 206/212
51.39/49.20	c qxplain 210/212
51.59/49.31	c qxplain 212/212
51.69/49.42	c 131432[?] 7907[?] 1131[?]  is mandatory 
51.69/49.42	c qxplain 210/211
51.80/49.53	c qxplain 211/211
51.90/49.64	c 131434[?] 7908[?] 1132[?]  is mandatory 
51.90/49.64	c qxplain 210/210
51.99/49.75	c 131436[?] 7909[?] 1133[?]  is mandatory 
51.99/49.75	c qxplain 206/209
52.09/49.86	c qxplain 208/209
52.19/49.97	c qxplain 209/209
52.29/50.08	c 131438[?] 7910[?] 1134[?]  is mandatory 
52.29/50.08	c qxplain 208/208
52.39/50.19	c 131440[?] 7911[?] 1135[?]  is mandatory 
52.39/50.19	c qxplain 206/207
52.49/50.30	c qxplain 207/207
52.69/50.41	c 131442[?] 7912[?] 1136[?]  is mandatory 
52.69/50.41	c qxplain 206/206
52.79/50.52	c 131444[?] 7913[?] 1137[?]  is mandatory 
52.79/50.52	c qxplain 0/205
52.90/50.63	c qxplain 103/205
53.00/50.74	c qxplain 155/205
53.09/50.85	c qxplain 181/205
53.19/50.96	c qxplain 194/205
53.29/51.07	c qxplain 200/205
53.39/51.18	c qxplain 203/205
53.49/51.29	c qxplain 205/205
53.69/51.40	c 131446[?] 7914[?] 1138[?]  is mandatory 
53.69/51.40	c qxplain 203/204
53.79/51.51	c qxplain 204/204
53.89/51.62	c 131448[?] 7915[?] 1139[?]  is mandatory 
53.89/51.62	c qxplain 203/203
54.00/51.73	c 131450[?] 7916[?] 1140[?]  is mandatory 
54.00/51.73	c qxplain 200/202
54.10/51.84	c qxplain 202/202
54.19/51.95	c 131452[?] 7917[?] 1141[?]  is mandatory 
54.19/51.95	c qxplain 200/201
54.29/52.06	c qxplain 201/201
54.39/52.17	c 131454[?] 7918[?] 1142[?]  is mandatory 
54.39/52.17	c qxplain 200/200
54.49/52.29	c 131456[?] 7919[?] 1143[?]  is mandatory 
54.49/52.29	c qxplain 194/199
54.59/52.40	c qxplain 197/199
54.79/52.51	c qxplain 199/199
54.89/52.62	c 131458[?] 7920[?] 1144[?]  is mandatory 
54.89/52.62	c qxplain 197/198
54.99/52.73	c qxplain 198/198
55.10/52.84	c 131460[?] 7921[?] 1145[?]  is mandatory 
55.10/52.84	c qxplain 197/197
55.20/52.95	c 131462[?] 7922[?] -7890[?]  is mandatory 
55.20/52.95	c qxplain 194/196
55.29/53.06	c qxplain 196/196
55.39/53.17	c 131464[?] 7923[?] -7922[?] -7891[?]  is mandatory 
55.39/53.17	c qxplain 194/195
55.49/53.28	c qxplain 195/195
55.59/53.39	c 131467[?] 7924[?] -7923[?] -7892[?]  is mandatory 
55.59/53.39	c qxplain 194/194
55.79/53.50	c 131470[?] 7925[?] -7924[?] -7893[?]  is mandatory 
55.79/53.50	c qxplain 181/193
55.89/53.61	c qxplain 188/193
55.99/53.72	c qxplain 191/193
56.09/53.83	c qxplain 193/193
56.20/53.94	c 131473[?] 7926[?] -7925[?] -7894[?]  is mandatory 
56.20/53.94	c qxplain 191/192
56.30/54.05	c qxplain 192/192
56.39/54.16	c 131476[?] 7927[?] -7926[?] -7895[?]  is mandatory 
56.39/54.16	c qxplain 191/191
56.49/54.27	c 131479[?] 7928[?] -7927[?] -7896[?]  is mandatory 
56.49/54.27	c qxplain 188/190
56.59/54.38	c qxplain 190/190
56.69/54.49	c 131482[?] 7929[?] -7928[?] -7897[?]  is mandatory 
56.69/54.49	c qxplain 188/189
56.89/54.60	c qxplain 189/189
56.99/54.71	c 131485[?] 7930[?] -7929[?] -7898[?]  is mandatory 
56.99/54.71	c qxplain 188/188
57.09/54.82	c 131488[?] 7931[?] -7930[?] -7899[?]  is mandatory 
57.09/54.82	c qxplain 181/187
57.19/54.93	c qxplain 185/187
57.72/55.28	c qxplain 187/187
57.82/55.39	c 131491[?] 7932[?] -7931[?] -7900[?]  is mandatory 
57.82/55.39	c qxplain 185/186
58.02/55.50	c qxplain 186/186
58.12/55.61	c 131494[?] 7933[?] -7932[?] -7901[?]  is mandatory 
58.12/55.61	c qxplain 185/185
58.22/55.72	c 131497[?] 7934[?] -7933[?] -7902[?]  is mandatory 
58.22/55.72	c qxplain 181/184
58.32/55.83	c qxplain 183/184
58.42/55.95	c qxplain 184/184
58.52/56.06	c 131500[?] 7935[?] -7934[?] -7903[?]  is mandatory 
58.52/56.06	c qxplain 183/183
58.62/56.17	c 131503[?] 7936[?] -7935[?] -7904[?]  is mandatory 
58.62/56.17	c qxplain 181/182
58.72/56.28	c qxplain 182/182
58.82/56.39	c 131506[?] 7937[?] -7936[?] -7905[?]  is mandatory 
58.82/56.39	c qxplain 181/181
59.02/56.50	c 131509[?] 7938[?] -7937[?] -7906[?]  is mandatory 
59.02/56.50	c qxplain 155/180
59.11/56.61	c qxplain 168/180
59.21/56.72	c qxplain 175/180
59.31/56.84	c qxplain 178/180
59.41/56.95	c qxplain 180/180
59.51/57.06	c 131512[?] 7939[?] -7938[?] -7907[?]  is mandatory 
59.51/57.06	c qxplain 178/179
59.61/57.17	c qxplain 179/179
59.71/57.28	c 131515[?] 7940[?] -7939[?] -7908[?]  is mandatory 
59.71/57.28	c qxplain 178/178
59.81/57.39	c 131518[?] 7941[?] -7940[?] -7909[?]  is mandatory 
59.81/57.39	c qxplain 175/177
60.02/57.50	c qxplain 177/177
60.11/57.62	c 131521[?] 7942[?] -7941[?] -7910[?]  is mandatory 
60.11/57.62	c qxplain 175/176
60.21/57.73	c qxplain 176/176
60.31/57.84	c 131524[?] 7943[?] -7942[?] -7911[?]  is mandatory 
60.31/57.84	c qxplain 175/175
60.41/57.95	c 131527[?] 7944[?] -7943[?] -7912[?]  is mandatory 
60.41/57.95	c qxplain 168/174
60.51/58.06	c qxplain 172/174
60.61/58.17	c qxplain 174/174
60.71/58.29	c 131530[?] 7945[?] -7944[?] -7913[?]  is mandatory 
60.71/58.29	c qxplain 172/173
60.91/58.40	c qxplain 173/173
61.01/58.51	c 131533[?] 7946[?] -7945[?] -7914[?]  is mandatory 
61.01/58.51	c qxplain 172/172
61.11/58.63	c 131536[?] 7947[?] -7946[?] -7915[?]  is mandatory 
61.11/58.63	c qxplain 168/171
61.21/58.74	c qxplain 170/171
61.31/58.85	c qxplain 171/171
61.41/58.96	c 131539[?] 7948[?] -7947[?] -7916[?]  is mandatory 
61.41/58.96	c qxplain 170/170
61.51/59.08	c 131542[?] 7949[?] -7948[?] -7917[?]  is mandatory 
61.51/59.08	c qxplain 168/169
61.61/59.19	c qxplain 169/169
61.81/59.30	c 131545[?] 7950[?] -7949[?] -7918[?]  is mandatory 
61.81/59.30	c qxplain 168/168
61.91/59.41	c 131548[?] 7951[?] -7950[?] -7919[?]  is mandatory 
61.91/59.41	c qxplain 155/167
62.01/59.52	c qxplain 162/167
62.11/59.63	c qxplain 165/167
62.21/59.75	c qxplain 167/167
62.31/59.86	c 131551[?] 7952[?] -7951[?] -7920[?]  is mandatory 
62.31/59.86	c qxplain 165/166
62.41/59.97	c qxplain 166/166
62.51/60.08	c 131554[?] 7953[?] -7952[?] -7921[?]  is mandatory 
62.51/60.08	c qxplain 165/165
62.61/60.19	c 131558[?] 7889[?] -7953[?]  is mandatory 
62.61/60.19	c qxplain 162/164
62.81/60.30	c qxplain 164/164
62.91/60.42	c 131560[?] -7888[?] -7889[?]  is mandatory 
62.91/60.42	c qxplain 162/163
63.01/60.53	c qxplain 163/163
63.11/60.64	c 131563[?] -7954[?] 7888[?]  is mandatory 
63.11/60.64	c qxplain 162/162
63.21/60.75	c 131566[?] -7955[?] 7954[?]  is mandatory 
63.21/60.75	c qxplain 155/161
63.31/60.86	c qxplain 159/161
63.41/60.98	c qxplain 161/161
63.51/61.09	c 131569[?] -7956[?] 7955[?]  is mandatory 
63.51/61.09	c qxplain 159/160
63.71/61.20	c qxplain 160/160
63.81/61.31	c 132022[?] -8215[?] 7956[?]  is mandatory 
63.81/61.31	c qxplain 159/159
63.91/61.42	c 132449[?] -8410[?] 8215[?]  is mandatory 
63.91/61.42	c qxplain 155/158
64.01/61.53	c qxplain 157/158
64.11/61.64	c qxplain 158/158
64.21/61.76	c 132452[?] -8411[?] 8410[?]  is mandatory 
64.21/61.76	c qxplain 157/157
64.31/61.87	c 132455[?] -8412[?] 8411[?]  is mandatory 
64.31/61.87	c qxplain 155/156
64.41/61.98	c qxplain 156/156
64.51/62.09	c 132620[?] -8479[?] 8412[?]  is mandatory 
64.51/62.09	c qxplain 155/155
64.71/62.20	c 132624[?] -8480[?] 8479[?]  is mandatory 
64.71/62.20	c qxplain 103/154
64.81/62.31	c qxplain 129/154
64.91/62.42	c qxplain 142/154
65.01/62.53	c qxplain 149/154
65.11/62.65	c qxplain 152/154
65.21/62.76	c qxplain 154/154
65.31/62.87	c 132626[?] -8481[?] 8480[?]  is mandatory 
65.31/62.87	c qxplain 152/153
65.41/62.98	c qxplain 153/153
65.51/63.09	c 132791[?] -8548[?] 8479[?]  is mandatory 
65.51/63.09	c qxplain 152/152
65.71/63.21	c 132795[?] -8549[?] 8548[?]  is mandatory 
65.71/63.21	c qxplain 149/151
65.81/63.32	c qxplain 151/151
65.91/63.43	c 132797[?] -8550[?] 8549[?]  is mandatory 
65.91/63.43	c qxplain 149/150
66.01/63.54	c qxplain 150/150
66.11/63.66	c 132801[?] -8551[?] 8550[?] 261[?]  is mandatory 
66.11/63.66	c qxplain 149/149
66.21/63.77	c 132803[?] -8552[?] 8551[?]  is mandatory 
66.21/63.77	c qxplain 142/148
66.31/63.88	c qxplain 146/148
66.41/63.99	c qxplain 148/148
66.62/64.11	c 132806[?] -8553[?] 8552[?]  is mandatory 
66.62/64.11	c qxplain 146/147
66.71/64.22	c qxplain 147/147
66.81/64.33	c 132810[?] -8554[?] 8553[?] 261[?]  is mandatory 
66.81/64.33	c qxplain 146/146
66.91/64.44	c 133266[?] -8755[?] -1146[?]  is mandatory 
66.91/64.44	c qxplain 142/145
67.01/64.55	c qxplain 144/145
67.11/64.66	c qxplain 145/145
67.21/64.78	c 133270[?] 8554[?] -390[?] -8756[?]  is mandatory 
67.21/64.78	c qxplain 144/144
67.31/64.89	c 133272[?] 390[?] -8756[?] 8755[?]  is mandatory 
67.31/64.89	c qxplain 142/143
67.51/65.00	c qxplain 143/143
67.61/65.11	c 133274[?] -261[?] 8481[?] -8757[?]  is mandatory 
67.61/65.11	c qxplain 142/142
67.71/65.22	c 133276[?] 8756[?] 261[?] -8757[?]  is mandatory 
67.71/65.22	c qxplain 129/141
67.82/65.33	c qxplain 136/141
67.92/65.44	c qxplain 139/141
68.02/65.56	c qxplain 141/141
68.12/65.67	c 133278[?] -100[?] 8412[?] -8758[?]  is mandatory 
68.12/65.67	c qxplain 139/140
68.22/65.78	c qxplain 140/140
68.32/65.89	c 133280[?] 8757[?] 100[?] -8758[?]  is mandatory 
68.32/65.89	c qxplain 139/139
68.52/66.00	c 133445[?] 8758[?] -8825[?]  is mandatory 
68.52/66.00	c qxplain 136/138
68.62/66.11	c qxplain 138/138
68.72/66.22	c 133449[?] 8825[?] -8826[?]  is mandatory 
68.72/66.22	c qxplain 136/137
68.82/66.33	c qxplain 137/137
68.92/66.45	c 133451[?] 8826[?] -8827[?]  is mandatory 
68.92/66.45	c qxplain 136/136
69.02/66.56	c 133455[?] 8827[?] -8828[?]  is mandatory 
69.02/66.56	c qxplain 129/135
69.12/66.67	c qxplain 133/135
69.22/66.78	c qxplain 135/135
69.32/66.89	c 133457[?] 8828[?] -953[?] -8829[?]  is mandatory 
69.32/66.89	c qxplain 133/134
69.52/67.01	c qxplain 134/134
69.62/67.12	c 133458[?] 953[?] -8829[?]  is mandatory 
69.62/67.12	c qxplain 133/133
69.72/67.23	c 133461[?] -8830[?] 8829[?]  is mandatory 
69.72/67.23	c qxplain 129/132
69.82/67.34	c qxplain 131/132
69.92/67.45	c qxplain 132/132
70.02/67.56	c 133464[?] -8831[?] 8830[?]  is mandatory 
70.02/67.56	c qxplain 131/131
70.12/67.67	c 133467[?] -8832[?] 8831[?]  is mandatory 
70.12/67.67	c qxplain 129/130
70.22/67.78	c qxplain 130/130
70.32/67.89	c 133470[?] -8833[?] 8832[?]  is mandatory 
70.32/67.89	c qxplain 129/129
70.52/68.00	c 133473[?] -8834[?] 8833[?]  is mandatory 
70.52/68.00	c qxplain 103/128
70.62/68.12	c qxplain 116/128
70.72/68.23	c qxplain 123/128
70.82/68.34	c qxplain 126/128
70.92/68.45	c qxplain 128/128
71.02/68.56	c 133475[?] -8835[?] -6692[?] 8834[?]  is mandatory 
71.02/68.56	c qxplain 126/127
71.12/68.68	c qxplain 127/127
71.22/68.79	c 133477[?] -8835[?] 6692[?] 8832[?]  is mandatory 
71.22/68.79	c qxplain 126/126
71.42/68.90	c 133479[?] 8835[?] -8836[?]  is mandatory 
71.42/68.90	c qxplain 123/125
71.52/69.01	c qxplain 125/125
71.62/69.12	c 139910[?] -11056[?] 8836[?]  is mandatory 
71.62/69.12	c qxplain 123/124
71.72/69.23	c qxplain 124/124
71.82/69.35	c 140237[?] -11188[?] 11056[?]  is mandatory 
71.82/69.35	c qxplain 123/123
71.92/69.46	c 140403[?] -11255[?] 11188[?]  is mandatory 
71.92/69.46	c qxplain 116/122
72.02/69.57	c qxplain 120/122
72.12/69.68	c qxplain 122/122
72.22/69.79	c 140406[?] -11256[?] 11255[?]  is mandatory 
72.22/69.79	c qxplain 120/121
72.42/69.90	c qxplain 121/121
72.52/70.02	c 140408[?] -11057[?] -11257[?] 11188[?]  is mandatory 
72.52/70.02	c qxplain 120/120
72.62/70.13	c 140410[?] 11057[?] 11256[?] -11257[?]  is mandatory 
72.62/70.13	c qxplain 116/119
72.72/70.24	c qxplain 118/119
72.82/70.35	c qxplain 119/119
72.92/70.47	c 140412[?] -10925[?] 11056[?] -11258[?]  is mandatory 
72.92/70.47	c qxplain 118/118
73.02/70.58	c 140414[?] 11257[?] 10925[?] -11258[?]  is mandatory 
73.02/70.58	c qxplain 116/117
73.12/70.69	c qxplain 117/117
73.32/70.80	c 140416[?] 8836[?] -6692[?] -11259[?]  is mandatory 
73.32/70.80	c qxplain 116/116
73.42/70.91	c 140418[?] 11258[?] 6692[?] -11259[?]  is mandatory 
73.42/70.91	c qxplain 103/115
73.52/71.02	c qxplain 110/115
73.62/71.13	c qxplain 113/115
73.72/71.24	c qxplain 115/115
73.82/71.36	c 140420[?] -11260[?] 11259[?]  is mandatory 
73.82/71.36	c qxplain 113/114
73.92/71.47	c qxplain 114/114
74.02/71.58	c 140423[?] -11261[?] 11260[?]  is mandatory 
74.02/71.58	c qxplain 113/113
74.12/71.69	c 140426[?] -11262[?] 11261[?]  is mandatory 
74.12/71.69	c qxplain 110/112
74.22/71.80	c qxplain 112/112
74.42/71.91	c 140591[?] -11329[?] 11260[?]  is mandatory 
74.42/71.91	c qxplain 110/111
74.52/72.03	c qxplain 111/111
74.62/72.14	c 140595[?] -11330[?] 11329[?]  is mandatory 
74.62/72.14	c qxplain 110/110
74.72/72.25	c 140597[?] -11331[?] 11330[?]  is mandatory 
74.72/72.25	c qxplain 103/109
74.82/72.36	c qxplain 107/109
74.92/72.47	c qxplain 109/109
75.02/72.58	c 140600[?] -11332[?] 11331[?]  is mandatory 
75.02/72.58	c qxplain 107/108
75.12/72.69	c qxplain 108/108
75.32/72.80	c 140603[?] -11333[?] 11332[?]  is mandatory 
75.32/72.80	c qxplain 107/107
75.42/72.92	c 140768[?] -11400[?] 11331[?]  is mandatory 
75.42/72.92	c qxplain 103/106
75.52/73.03	c qxplain 105/106
75.62/73.14	c qxplain 106/106
75.72/73.25	c 140771[?] -11401[?] 11400[?]  is mandatory 
75.72/73.25	c qxplain 105/105
75.82/73.36	c 141616[?] -11805[?] 11401[?]  is mandatory 
75.82/73.36	c qxplain 103/104
75.91/73.47	c qxplain 104/104
76.01/73.58	c 141620[?] -11806[?] 11805[?]  is mandatory 
76.01/73.58	c qxplain 103/103
76.11/73.69	c 141785[?] -11873[?] 11806[?]  is mandatory 
76.11/73.69	c qxplain 0/102
76.31/73.81	c qxplain 52/102
76.42/73.92	c qxplain 78/102
76.52/74.03	c qxplain 91/102
76.61/74.14	c qxplain 97/102
76.71/74.25	c qxplain 100/102
76.81/74.36	c qxplain 102/102
76.91/74.48	c 141789[?] -11874[?] 11873[?]  is mandatory 
76.91/74.48	c qxplain 100/101
77.01/74.59	c qxplain 101/101
77.21/74.70	c 141791[?] -11875[?] -4529[?] 11806[?]  is mandatory 
77.21/74.70	c qxplain 100/100
77.31/74.81	c 141793[?] -11875[?] 4529[?] 11874[?]  is mandatory 
77.31/74.81	c qxplain 97/99
77.41/74.92	c qxplain 99/99
77.52/75.03	c 141796[?] -11876[?] 11875[?]  is mandatory 
77.52/75.03	c qxplain 97/98
77.62/75.15	c qxplain 98/98
77.71/75.26	c 141798[?] -11877[?] 11876[?]  is mandatory 
77.71/75.26	c qxplain 97/97
77.82/75.37	c 141802[?] -11878[?] 11877[?]  is mandatory 
77.82/75.37	c qxplain 91/96
77.92/75.48	c qxplain 94/96
78.02/75.59	c qxplain 96/96
78.21/75.71	c 141804[?] -11879[?] 11876[?] -4529[?]  is mandatory 
78.21/75.71	c qxplain 94/95
78.31/75.82	c qxplain 95/95
78.41/75.93	c 141806[?] -11879[?] 11878[?] 4529[?]  is mandatory 
78.41/75.93	c qxplain 94/94
78.51/76.04	c 141809[?] -11880[?] 11879[?]  is mandatory 
78.51/76.04	c qxplain 91/93
78.62/76.16	c qxplain 93/93
78.72/76.27	c 141811[?] -11881[?] 11880[?]  is mandatory 
78.72/76.27	c qxplain 91/92
78.81/76.38	c qxplain 92/92
78.91/76.49	c 141815[?] 11881[?] -11882[?]  is mandatory 
78.91/76.49	c qxplain 91/91
79.11/76.60	c 141817[?] 11880[?] -11883[?] -4529[?]  is mandatory 
79.11/76.60	c qxplain 78/90
79.21/76.72	c qxplain 85/90
79.31/76.83	c qxplain 88/90
79.41/76.94	c qxplain 90/90
79.51/77.05	c 141819[?] 11882[?] -11883[?] 4529[?]  is mandatory 
79.51/77.05	c qxplain 88/89
79.61/77.16	c qxplain 89/89
79.71/77.27	c 141822[?] 11883[?] -11884[?]  is mandatory 
79.71/77.27	c qxplain 88/88
79.81/77.38	c 141825[?] 11884[?] -11885[?]  is mandatory 
79.81/77.38	c qxplain 85/87
79.91/77.49	c qxplain 87/87
80.11/77.61	c 141827[?] 11885[?] -11886[?]  is mandatory 
80.11/77.61	c qxplain 85/86
80.21/77.73	c qxplain 86/86
80.31/77.84	c 141831[?] 11886[?] -11887[?]  is mandatory 
80.31/77.84	c qxplain 85/85
80.41/77.95	c 141833[?] 11885[?] -4529[?] -11888[?]  is mandatory 
80.41/77.95	c qxplain 78/84
80.51/78.06	c qxplain 82/84
80.61/78.17	c qxplain 84/84
80.71/78.28	c 141835[?] 11887[?] -11888[?] 4529[?]  is mandatory 
80.71/78.28	c qxplain 82/83
80.81/78.39	c qxplain 83/83
81.01/78.51	c 141837[?] -11889[?] 11888[?]  is mandatory 
81.01/78.51	c qxplain 82/82
81.11/78.62	c 143047[?] -12416[?] 11889[?]  is mandatory 
81.11/78.62	c qxplain 78/81
81.21/78.73	c qxplain 80/81
81.31/78.84	c qxplain 81/81
81.41/78.95	c 143050[?] -12417[?] 12416[?]  is mandatory 
81.41/78.95	c qxplain 80/80
81.51/79.06	c 144082[?] -12887[?] 12417[?]  is mandatory 
81.51/79.06	c qxplain 78/79
81.61/79.17	c qxplain 79/79
81.71/79.28	c 144248[?] -12954[?] 12416[?]  is mandatory 
81.71/79.28	c qxplain 78/78
81.81/79.40	c 144795[?] -13164[?] 12954[?]  is mandatory 
81.81/79.40	c qxplain 52/77
82.01/79.51	c qxplain 65/77
82.11/79.62	c qxplain 72/77
82.21/79.73	c qxplain 75/77
82.31/79.84	c qxplain 77/77
82.41/79.96	c 144798[?] -12285[?] -13165[?] 12887[?]  is mandatory 
82.41/79.96	c qxplain 75/76
82.51/80.07	c qxplain 76/76
82.61/80.18	c 144800[?] 12285[?] -13165[?] 13164[?]  is mandatory 
82.61/80.18	c qxplain 75/75
82.71/80.29	c 145350[?] -13362[?] 13165[?]  is mandatory 
82.71/80.29	c qxplain 72/74
82.91/80.40	c qxplain 74/74
83.01/80.51	c 145773[?] -13559[?] 13362[?]  is mandatory 
83.01/80.51	c qxplain 72/73
83.11/80.62	c qxplain 73/73
83.21/80.74	c 145776[?] -13560[?] 13559[?]  is mandatory 
83.21/80.74	c qxplain 72/72
83.31/80.85	c 145779[?] -13561[?] 13560[?]  is mandatory 
83.31/80.85	c qxplain 65/71
83.41/80.96	c qxplain 69/71
83.51/81.07	c qxplain 71/71
83.61/81.18	c 146105[?] -13725[?] 13559[?]  is mandatory 
83.61/81.18	c qxplain 69/70
83.71/81.30	c qxplain 70/70
83.91/81.41	c 146318[?] -13821[?] 13725[?]  is mandatory 
83.91/81.41	c qxplain 69/69
84.01/81.52	c 146322[?] -13822[?] 13821[?]  is mandatory 
84.01/81.52	c qxplain 65/68
84.11/81.63	c qxplain 67/68
84.21/81.74	c qxplain 68/68
84.31/81.85	c 146487[?] -13921[?] 13822[?]  is mandatory 
84.31/81.85	c qxplain 67/67
84.41/81.97	c 146653[?] -14020[?] 13921[?]  is mandatory 
84.41/81.97	c qxplain 65/66
84.51/82.08	c qxplain 66/66
84.61/82.19	c 146658[?] -14023[?] 14020[?]  is mandatory 
84.61/82.19	c qxplain 65/65
84.81/82.30	c 146824[?] -14122[?] 14023[?]  is mandatory 
84.81/82.30	c qxplain 52/64
84.91/82.41	c qxplain 59/64
85.01/82.52	c qxplain 62/64
85.11/82.64	c qxplain 64/64
85.21/82.75	c 146990[?] -14221[?] 14122[?]  is mandatory 
85.21/82.75	c qxplain 62/63
85.31/82.86	c qxplain 63/63
85.41/82.97	c 146993[?] -14222[?] 14221[?]  is mandatory 
85.41/82.97	c qxplain 62/62
85.51/83.08	c 146995[?] -13594[?] -14223[?] 13725[?]  is mandatory 
85.51/83.08	c qxplain 59/61
85.61/83.20	c qxplain 61/61
85.81/83.31	c 146997[?] 13594[?] -14223[?] 14222[?]  is mandatory 
85.81/83.31	c qxplain 59/60
85.91/83.42	c qxplain 60/60
86.01/83.53	c 146999[?] -13428[?] -14224[?] 13561[?]  is mandatory 
86.01/83.53	c qxplain 59/59
86.11/83.64	c 147001[?] 13428[?] -14224[?] 14223[?]  is mandatory 
86.11/83.64	c qxplain 52/58
86.21/83.76	c qxplain 56/58
86.31/83.87	c qxplain 58/58
86.41/83.98	c 147003[?] -12052[?] -14225[?] 13362[?]  is mandatory 
86.41/83.98	c qxplain 56/57
86.51/84.09	c qxplain 57/57
86.71/84.20	c 147005[?] 12052[?] -14225[?] 14224[?]  is mandatory 
86.71/84.20	c qxplain 56/56
86.81/84.31	c 147007[?] -14226[?] 14225[?]  is mandatory 
86.81/84.31	c qxplain 52/55
86.91/84.43	c qxplain 54/55
87.01/84.54	c qxplain 55/55
87.11/84.65	c 147173[?] -14325[?] 14226[?]  is mandatory 
87.11/84.65	c qxplain 54/54
87.21/84.76	c 147339[?] -14424[?] 14325[?]  is mandatory 
87.21/84.76	c qxplain 52/53
87.31/84.88	c qxplain 53/53
87.41/84.99	c 147342[?] -14425[?] 14424[?]  is mandatory 
87.41/84.99	c qxplain 52/52
87.62/85.10	c 147668[?] -14557[?] 14225[?]  is mandatory 
87.62/85.10	c qxplain 0/51
87.72/85.21	c qxplain 26/51
87.82/85.32	c qxplain 39/51
87.92/85.44	c qxplain 46/51
88.02/85.55	c qxplain 49/51
88.12/85.66	c qxplain 51/51
88.22/85.77	c 147835[?] -14624[?] 14557[?]  is mandatory 
88.22/85.77	c qxplain 49/50
88.32/85.88	c qxplain 50/50
88.42/86.00	c 148000[?] -14723[?] 14624[?]  is mandatory 
88.42/86.00	c qxplain 49/49
88.62/86.11	c 148166[?] -14822[?] 14723[?]  is mandatory 
88.62/86.11	c qxplain 46/48
88.72/86.22	c qxplain 48/48
88.82/86.33	c 148169[?] -14823[?] 14822[?]  is mandatory 
88.82/86.33	c qxplain 46/47
88.92/86.44	c qxplain 47/47
89.02/86.55	c 148171[?] -14426[?] -14824[?] 14557[?]  is mandatory 
89.02/86.55	c qxplain 46/46
89.12/86.66	c 148173[?] 14426[?] -14824[?] 14823[?]  is mandatory 
89.12/86.66	c qxplain 39/45
89.22/86.78	c qxplain 43/45
89.32/86.89	c qxplain 45/45
89.52/87.00	c 148175[?] -2698[?] -14825[?] 14425[?]  is mandatory 
89.52/87.00	c qxplain 43/44
89.62/87.11	c qxplain 44/44
89.72/87.22	c 148177[?] 14824[?] 2698[?] -14825[?]  is mandatory 
89.72/87.22	c qxplain 43/43
89.82/87.33	c 148632[?] -15020[?] 14825[?]  is mandatory 
89.82/87.33	c qxplain 39/42
89.92/87.44	c qxplain 41/42
90.02/87.56	c qxplain 42/42
90.12/87.67	c 150145[?] -15774[?] 3085[?] 15020[?]  is mandatory 
90.12/87.67	c qxplain 41/41
90.22/87.78	c 150147[?] -15775[?] 15774[?]  is mandatory 
90.22/87.78	c qxplain 39/40
90.32/87.89	c qxplain 40/40
90.52/88.00	c 150313[?] -15874[?] 15775[?]  is mandatory 
90.52/88.00	c qxplain 39/39
90.62/88.11	c 150479[?] -15973[?] 15874[?]  is mandatory 
90.62/88.11	c qxplain 26/38
90.72/88.22	c qxplain 33/38
90.82/88.34	c qxplain 36/38
90.92/88.45	c qxplain 38/38
91.02/88.56	c 150482[?] -15974[?] 15973[?]  is mandatory 
91.02/88.56	c qxplain 36/37
91.12/88.67	c qxplain 37/37
91.22/88.78	c 150937[?] -16169[?] 15774[?]  is mandatory 
91.22/88.78	c qxplain 36/36
91.32/88.89	c 150940[?] -16170[?] 16169[?]  is mandatory 
91.32/88.89	c qxplain 33/35
91.51/89.00	c qxplain 35/35
91.61/89.11	c 150943[?] -16171[?] 16170[?]  is mandatory 
91.61/89.11	c qxplain 33/34
91.71/89.23	c qxplain 34/34
91.82/89.34	c 151108[?] -16238[?] 16169[?]  is mandatory 
91.82/89.34	c qxplain 33/33
91.92/89.45	c 151434[?] -16369[?] 16238[?]  is mandatory 
91.92/89.45	c qxplain 26/32
92.01/89.56	c qxplain 30/32
92.11/89.67	c qxplain 32/32
92.21/89.79	c 151437[?] -16370[?] 16369[?]  is mandatory 
92.21/89.79	c qxplain 30/31
92.41/89.90	c qxplain 31/31
92.51/90.01	c 151441[?] -16371[?] 5534[?] 16370[?]  is mandatory 
92.51/90.01	c qxplain 30/30
92.61/90.12	c 151443[?] -5301[?] -16372[?] 16171[?]  is mandatory 
92.61/90.12	c qxplain 26/29
92.71/90.23	c qxplain 28/29
92.81/90.34	c qxplain 29/29
92.92/90.45	c 151445[?] 16371[?] -16372[?] 5301[?]  is mandatory 
92.92/90.45	c qxplain 28/28
93.02/90.56	c 151447[?] -5011[?] -16373[?] 15974[?]  is mandatory 
93.02/90.56	c qxplain 26/27
93.11/90.67	c qxplain 27/27
93.21/90.79	c 151449[?] 16372[?] -16373[?] 5011[?]  is mandatory 
93.21/90.79	c qxplain 26/26
93.31/90.90	c 151453[?] -16374[?] 16373[?] 3085[?]  is mandatory 
93.31/90.90	c qxplain 0/25
93.51/91.01	c qxplain 13/25
93.61/91.12	c qxplain 20/25
93.71/91.23	c qxplain 23/25
93.81/91.34	c qxplain 25/25
93.91/91.45	c 151456[?] -16375[?] 16374[?]  is mandatory 
93.91/91.45	c qxplain 23/24
94.02/91.57	c qxplain 24/24
94.12/91.68	c 151458[?] -16376[?] -2569[?] 11889[?]  is mandatory 
94.12/91.68	c qxplain 23/23
94.21/91.79	c 151460[?] -16376[?] 16375[?] 2569[?]  is mandatory 
94.21/91.79	c qxplain 20/22
94.42/91.90	c qxplain 22/22
94.52/92.02	c 151462[?] -16377[?] 16376[?]  is mandatory 
94.52/92.02	c qxplain 20/21
94.62/92.13	c qxplain 21/21
94.72/92.24	c 151465[?] -16378[?] 16377[?]  is mandatory 
94.72/92.24	c qxplain 20/20
94.82/92.35	c 151467[?] 16378[?] -11468[?] -16379[?]  is mandatory 
94.82/92.35	c qxplain 13/19
94.92/92.46	c qxplain 17/19
95.02/92.57	c qxplain 19/19
95.12/92.69	c 151469[?] 11468[?] -16379[?] 16376[?]  is mandatory 
95.12/92.69	c qxplain 17/18
95.22/92.80	c qxplain 18/18
95.42/92.91	c 152602[?] 16379[?] -16921[?] -5791[?]  is mandatory 
95.42/92.91	c qxplain 17/17
95.52/93.02	c 152606[?] -2859[?] -16922[?] 14825[?]  is mandatory 
95.52/93.02	c qxplain 13/16
95.62/93.13	c qxplain 15/16
95.72/93.24	c qxplain 16/16
95.82/93.35	c 152608[?] 16921[?] -16922[?] 2859[?]  is mandatory 
95.82/93.35	c qxplain 15/15
95.92/93.46	c 152610[?] 16379[?] -2569[?] -16923[?]  is mandatory 
95.92/93.47	c qxplain 13/14
96.02/93.58	c qxplain 14/14
96.12/93.69	c 152612[?] 16922[?] -16923[?] 2569[?]  is mandatory 
96.12/93.69	c qxplain 13/13
96.23/93.80	c 152616[?] 16923[?] -16924[?] 2304[?]  is mandatory 
96.23/93.80	c qxplain 0/12
96.43/93.91	c qxplain 7/12
96.53/94.02	c qxplain 10/12
96.63/94.13	c qxplain 12/12
96.73/94.25	c 152618[?] -2175[?] -16925[?] 11333[?]  is mandatory 
96.73/94.25	c qxplain 10/11
96.83/94.36	c qxplain 11/11
96.93/94.47	c 152620[?] 16924[?] -16925[?] 2175[?]  is mandatory 
96.93/94.47	c qxplain 10/10
97.03/94.58	c 152622[?] 16925[?] -2046[?] -16926[?]  is mandatory 
97.03/94.58	c qxplain 7/9
97.13/94.69	c qxplain 9/9
97.33/94.81	c 152624[?] 2046[?] -16926[?] 11330[?]  is mandatory 
97.33/94.81	c qxplain 7/8
97.43/94.92	c qxplain 8/8
97.52/95.03	c 152691[?] 16926[?] -1821[?] -16995[?]  is mandatory 
97.52/95.03	c qxplain 7/7
97.62/95.14	c 152695[?] -1460[?] -16996[?] 11262[?]  is mandatory 
97.62/95.14	c qxplain 0/6
97.72/95.25	c qxplain 4/6
97.82/95.36	c qxplain 6/6
97.92/95.48	c 152697[?] 16995[?] -16996[?] 1460[?]  is mandatory 
97.92/95.48	c qxplain 4/5
98.02/95.59	c qxplain 5/5
98.22/95.70	c 152699[?] -551[?] -16997[?] 11259[?]  is mandatory 
98.22/95.70	c qxplain 4/4
98.32/95.81	c 152701[?] 16996[?] 551[?] -16997[?]  is mandatory 
98.32/95.81	c qxplain 0/3
98.43/95.92	c qxplain 2/3
98.53/96.03	c qxplain 3/3
98.62/96.14	c 152703[?] 6273[?] -16998[?]  is mandatory 
98.62/96.14	c qxplain 2/2
98.72/96.25	c 152704[?] 16997[?] -16998[?]  is mandatory 
98.72/96.25	c qxplain 0/1
98.82/96.37	c qxplain 1/1
98.92/96.48	c 152707[?] 16998[?] -16999[?]  is mandatory 
98.92/96.48	c qxplain 0/0
99.02/96.59	c 473273[?] 16999[?] 112856[?]  is mandatory 
99.47/96.84	c Size of the MUS: 398
99.47/96.84	c Unsat core  computation wall clock time (in seconds) : 94.45
99.47/96.84	c starts		: 810
99.47/96.84	c conflicts		: 147
99.47/96.84	c decisions		: 91068779
99.47/96.84	c propagations		: 384169470
99.47/96.84	c inspects		: 8367720
99.47/96.84	c shortcuts		: 0
99.47/96.84	c learnt literals	: 0
99.47/96.84	c learnt binary clauses	: 0
99.47/96.84	c learnt ternary clauses	: 2
99.47/96.84	c learnt constraints	: 146
99.47/96.84	c ignored constraints	: 0
99.47/96.84	c root simplifications	: 0
99.47/96.84	c removed literals (reason simplification)	: 1298
99.47/96.84	c reason swapping (by a shorter reason)	: 0
99.47/96.84	c Calls to reduceDB	: 0
99.47/96.84	c speed (assignments/second)	: 1.0701099442896936E9
99.47/96.84	c non guided choices	91065203
99.47/96.84	c learnt constraints type 
99.47/96.84	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 146
99.47/96.84	c constraints type 
99.47/96.84	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 357327
99.47/96.84	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 3092
99.47/96.84	s UNSATISFIABLE
99.47/96.84	v 3092 4635 4638 4641 4644 4647 4650 4653 4656 4659 4662 4665 4668 4671 4674 4677 4680 4683 4686 4689 4692 4695 4698 4701 4704 4707 4710 4713 4716 4719 4722 4725 4728 4731 4733 4735 4737 4739 4741 4743 4745 4747 4749 4751 4753 4755 4757 4759 4761 4763 4765 4767 4769 4771 4773 4775 4777 4779 4781 4783 4785 4787 4789 4791 4793 4795 4797 4800 4803 4806 4809 4812 4815 4818 4821 4824 4827 4830 4833 4836 4839 4842 4845 4848 4851 4854 4857 4860 4863 4866 4869 4872 4875 4878 4881 4884 4887 4891 13665 13785 13913 14013 14024 14082 14090 14173 14175 14178 14181 14184 14185 14186 14189 14254 14381 14477 14479 14574 14578 14700 14704 14828 14831 14833 14926 14930 15054 15058 15181 15183 15245 15247 15248 15250 15253 15256 15259 15262 15265 15268 15271 15274 15277 15280 15283 15286 15289 15292 15295 15298 15301 15304 15307 15310 15313 15316 15319 15322 15325 15328 15331 15334 15337 15339 15404 15468 15563 15564 18542 18544 18546 18548 18550 18552 18554 18556 18558 18560 18562 18564 18566 18568 18570 18572 18574 18576 18578 18580 18582 18584 18586 18588 18590 18592 18594 18596 18598 18600 18602 18604 18606 18608 18611 18614 18617 18620 18623 18626 18629 18632 18635 18638 18641 18644 18647 18650 18653 18656 18659 18662 18665 18668 18671 18674 18677 18680 18683 18686 18689 18692 18695 18698 18702 18704 18707 18710 18713 19166 19593 19596 19599 19764 19768 19770 19935 19939 19941 19945 19947 19950 19954 20410 20414 20416 20418 20420 20422 20424 20589 20593 20595 20599 20601 20602 20605 20608 20611 20614 20617 20619 20621 20623 27054 27381 27547 27550 27552 27554 27556 27558 27560 27562 27564 27567 27570 27735 27739 27741 27744 27747 27912 27915 28760 28764 28929 28933 28935 28937 28940 28942 28946 28948 28950 28953 28955 28959 28961 28963 28966 28969 28971 28975 28977 28979 28981 30191 30194 31226 31392 31939 31942 31944 32494 32917 32920 32923 33249 33462 33466 33631 33797 33802 33968 34134 34137 34139 34141 34143 34145 34147 34149 34151 34317 34483 34486 34812 34979 35144 35310 35313 35315 35317 35319 35321 35776 37289 37291 37457 37623 37626 38081 38084 38087 38252 38578 38581 38585 38587 38589 38591 38593 38597 38600 38602 38604 38606 38609 38611 38613 39746 39750 39752 39754 39756 39760 39762 39764 39766 39768 39835 39839 39841 39843 39845 39847 39848 39851 360417 0
99.47/96.84	c Total wall clock time (in seconds) : 96.741

OK	398

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

running on 2 cores: 1,3

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


[startup+0 s]
/proc/loadavg: 1.12 2.36 2.99 1/171 12273
/proc/meminfo: memFree=31453784/32950928 swapFree=67055948/67111528
[pid=12273] ppid=12271 vsize=23028 CPUtime=0 cores=1,3
/proc/12273/stat : 12273 (java) R 12271 12273 4716 0 -1 4202496 949 0 0 0 0 0 0 0 25 0 1 0 891685213 23580672 693 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208075269608 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12273/statm: 5757 693 509 9 0 124 0

[startup+0.103937 s]
/proc/loadavg: 1.12 2.36 2.99 1/171 12273
/proc/meminfo: memFree=31453784/32950928 swapFree=67055948/67111528
[pid=12273] ppid=12271 vsize=6430456 CPUtime=0.1 cores=1,3
/proc/12273/stat : 12273 (java) S 12271 12273 4716 0 -1 4202496 10969 0 1 0 8 2 0 0 25 0 18 0 891685213 6584786944 10667 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12273/statm: 1607614 10693 2090 9 0 1598352 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 6430456

[startup+0.200815 s]
/proc/loadavg: 1.12 2.36 2.99 1/171 12273
/proc/meminfo: memFree=31453784/32950928 swapFree=67055948/67111528
[pid=12273] ppid=12271 vsize=6432268 CPUtime=0.26 cores=1,3
/proc/12273/stat : 12273 (java) S 12271 12273 4716 0 -1 4202496 13422 0 1 0 24 2 0 0 25 0 18 0 891685213 6586642432 13061 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12273/statm: 1608067 13061 2182 9 0 1598805 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 6432268

[startup+0.300797 s]
/proc/loadavg: 1.12 2.36 2.99 1/171 12273
/proc/meminfo: memFree=31453784/32950928 swapFree=67055948/67111528
[pid=12273] ppid=12271 vsize=6437316 CPUtime=0.46 cores=1,3
/proc/12273/stat : 12273 (java) S 12271 12273 4716 0 -1 4202496 20948 0 1 0 43 3 0 0 25 0 18 0 891685213 6591811584 19803 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12273/statm: 1609329 19803 2195 9 0 1600067 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 6437316

[startup+0.70072 s]
/proc/loadavg: 1.12 2.36 2.99 1/171 12273
/proc/meminfo: memFree=31453784/32950928 swapFree=67055948/67111528
[pid=12273] ppid=12271 vsize=6436472 CPUtime=0.9 cores=1,3
/proc/12273/stat : 12273 (java) S 12271 12273 4716 0 -1 4202496 61339 0 1 0 82 8 0 0 25 0 18 0 891685213 6590947328 60010 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12273/statm: 1609118 60010 2203 9 0 1599856 0
Current children cumulated CPU time (s) 0.9
Current children cumulated vsize (KiB) 6436472

[startup+1.50163 s]
/proc/loadavg: 1.12 2.36 2.99 4/190 12293
/proc/meminfo: memFree=31202556/32950928 swapFree=67055948/67111528
[pid=12273] ppid=12271 vsize=6437852 CPUtime=2.2 cores=1,3
/proc/12273/stat : 12273 (java) S 12271 12273 4716 0 -1 4202496 69467 0 1 0 211 9 0 0 25 0 19 0 891685213 6592360448 66351 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12273/statm: 1609463 66351 2221 9 0 1600201 0
[pid=12273/tid=12275] ppid=12271 vsize=6437852 CPUtime=1.41 cores=1,3
/proc/12273/task/12275/stat : 12275 (java) R 12271 12273 4716 0 -1 4202560 62187 0 1 0 133 8 0 0 25 0 19 0 891685213 6592360448 66351 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 46912505751041 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=12273/tid=12276] ppid=12271 vsize=6437852 CPUtime=0 cores=1,3
/proc/12273/task/12276/stat : 12276 (java) S 12271 12273 4716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891685215 6592360448 66351 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092048281 0 4 0 16800975 18446604458181788608 0 0 -1 1 0 0 0
[pid=12273/tid=12277] ppid=12271 vsize=6437852 CPUtime=0 cores=1,3
/proc/12273/task/12277/stat : 12277 (java) S 12271 12273 4716 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 891685215 6592360448 66351 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092048281 0 4 0 16800975 18446604458181788608 0 0 -1 1 0 0 0
[pid=12273/tid=12278] ppid=12271 vsize=6437852 CPUtime=0 cores=1,3
/proc/12273/task/12278/stat : 12278 (java) S 12271 12273 4716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891685215 6592360448 66351 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092048281 0 4 0 16800975 18446604458181788608 0 0 -1 1 0 0 0
[pid=12273/tid=12279] ppid=12271 vsize=6437852 CPUtime=0 cores=1,3
/proc/12273/task/12279/stat : 12279 (java) S 12271 12273 4716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891685215 6592360448 66351 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092048281 0 4 0 16800975 18446604458181788608 0 0 -1 1 0 0 0
[pid=12273/tid=12280] ppid=12271 vsize=6437852 CPUtime=0 cores=1,3
/proc/12273/task/12280/stat : 12280 (java) S 12271 12273 4716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891685215 6592360448 66351 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092048281 0 4 0 16800975 18446604458181788608 0 0 -1 1 0 0 0
[pid=12273/tid=12281] ppid=12271 vsize=6437852 CPUtime=0 cores=1,3
/proc/12273/task/12281/stat : 12281 (java) S 12271 12273 4716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891685215 6592360448 66351 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092048281 0 4 0 16800975 18446604458181788608 0 0 -1 1 0 0 0
[pid=12273/tid=12282] ppid=12271 vsize=6437852 CPUtime=0 cores=1,3
/proc/12273/task/12282/stat : 12282 (java) S 12271 12273 4716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891685215 6592360448 66351 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092048281 0 4 0 16800975 18446604458181788608 0 0 -1 1 0 0 0
[pid=12273/tid=12283] ppid=12271 vsize=6437852 CPUtime=0 cores=1,3
/proc/12273/task/12283/stat : 12283 (java) S 12271 12273 4716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891685215 6592360448 66351 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092048281 0 4 0 16800975 18446604458181788608 0 0 -1 1 0 0 0
[pid=12273/tid=12284] ppid=12271 vsize=6437852 CPUtime=0 cores=1,3
/proc/12273/task/12284/stat : 12284 (java) S 12271 12273 4716 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 891685216 6592360448 66351 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092048896 0 0 0 16800975 18446604458181788608 0 0 -1 3 0 0 0
[pid=12273/tid=12285] ppid=12271 vsize=6437852 CPUtime=0 cores=1,3
/proc/12273/task/12285/stat : 12285 (java) S 12271 12273 4716 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 891685216 6592360448 66351 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092048281 0 4 0 16800975 18446604458181788608 0 0 -1 3 0 0 0
[pid=12273/tid=12286] ppid=12271 vsize=6437852 CPUtime=0 cores=1,3
/proc/12273/task/12286/stat : 12286 (java) S 12271 12273 4716 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 891685216 6592360448 66351 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092048281 0 4 0 16800975 18446604458181788608 0 0 -1 1 0 0 0
[pid=12273/tid=12287] ppid=12271 vsize=6437852 CPUtime=0 cores=1,3
/proc/12273/task/12287/stat : 12287 (java) S 12271 12273 4716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891685218 6592360448 66351 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092055985 0 4 0 16800975 18446604458181788608 0 0 -1 3 0 0 0
[pid=12273/tid=12288] ppid=12271 vsize=6437852 CPUtime=0.34 cores=1,3
/proc/12273/task/12288/stat : 12288 (java) S 12271 12273 4716 0 -1 4202560 2300 0 0 0 34 0 0 0 20 0 19 0 891685218 6592360448 66351 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092048281 0 4 0 16800975 18446604458181788608 0 0 -1 3 0 0 0
[pid=12273/tid=12289] ppid=12271 vsize=6437852 CPUtime=0.44 cores=1,3
/proc/12273/task/12289/stat : 12289 (java) S 12271 12273 4716 0 -1 4202560 3817 0 0 0 44 0 0 0 20 0 19 0 891685218 6592360448 66351 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092048281 0 4 0 16800975 18446604458181788608 0 0 -1 3 0 0 0
[pid=12273/tid=12290] ppid=12271 vsize=6437852 CPUtime=0 cores=1,3
/proc/12273/task/12290/stat : 12290 (java) S 12271 12273 4716 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 891685218 6592360448 66351 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092048281 0 4 0 16800975 18446604458181788608 0 0 -1 3 0 0 0
[pid=12273/tid=12291] ppid=12271 vsize=6437852 CPUtime=0 cores=1,3
/proc/12273/task/12291/stat : 12291 (java) S 12271 12273 4716 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 891685218 6592360448 66351 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092048896 0 4 0 16800975 18446604458181788608 0 0 -1 3 0 0 0
[pid=12273/tid=12293] ppid=12271 vsize=6437852 CPUtime=0 cores=1,3
/proc/12273/task/12293/stat : 12293 (java) S 12271 12273 4716 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 891685303 6592360448 66351 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092048896 0 4 0 16800975 18446604458181788608 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.2
Current children cumulated vsize (KiB) 6437852

[startup+3.10127 s]
/proc/loadavg: 1.11 2.34 2.98 2/190 12293
/proc/meminfo: memFree=31195612/32950928 swapFree=67055948/67111528
[pid=12273] ppid=12271 vsize=6437500 CPUtime=4.07 cores=1,3
/proc/12273/stat : 12273 (java) S 12271 12273 4716 0 -1 4202496 89475 0 1 0 395 12 0 0 25 0 19 0 891685213 6592000000 86171 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12273/statm: 1609375 86171 2227 9 0 1600113 0
[pid=12273/tid=12275] ppid=12271 vsize=6437500 CPUtime=3.01 cores=1,3
/proc/12273/task/12275/stat : 12275 (java) R 12271 12273 4716 0 -1 4202560 82027 0 1 0 290 11 0 0 21 0 19 0 891685213 6592000000 86171 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 46912505751041 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=12273/tid=12276] ppid=12271 vsize=6437500 CPUtime=0 cores=1,3
/proc/12273/task/12276/stat : 12276 (java) S 12271 12273 4716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891685215 6592000000 86171 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092048281 0 4 0 16800975 18446604458181788608 0 0 -1 1 0 0 0
[pid=12273/tid=12277] ppid=12271 vsize=6437500 CPUtime=0 cores=1,3
/proc/12273/task/12277/stat : 12277 (java) S 12271 12273 4716 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 891685215 6592000000 86171 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092048281 0 4 0 16800975 18446604458181788608 0 0 -1 1 0 0 0
[pid=12273/tid=12278] ppid=12271 vsize=6437500 CPUtime=0 cores=1,3
/proc/12273/task/12278/stat : 12278 (java) S 12271 12273 4716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891685215 6592000000 86171 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092048281 0 4 0 16800975 18446604458181788608 0 0 -1 1 0 0 0
[pid=12273/tid=12279] ppid=12271 vsize=6437500 CPUtime=0 cores=1,3
/proc/12273/task/12279/stat : 12279 (java) S 12271 12273 4716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891685215 6592000000 86171 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092048281 0 4 0 16800975 18446604458181788608 0 0 -1 1 0 0 0
[pid=12273/tid=12280] ppid=12271 vsize=6437500 CPUtime=0 cores=1,3
/proc/12273/task/12280/stat : 12280 (java) S 12271 12273 4716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891685215 6592000000 86171 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092048281 0 4 0 16800975 18446604458181788608 0 0 -1 1 0 0 0
[pid=12273/tid=12281] ppid=12271 vsize=6437500 CPUtime=0 cores=1,3
/proc/12273/task/12281/stat : 12281 (java) S 12271 12273 4716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891685215 6592000000 86171 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092048281 0 4 0 16800975 18446604458181788608 0 0 -1 1 0 0 0
[pid=12273/tid=12282] ppid=12271 vsize=6437500 CPUtime=0 cores=1,3
/proc/12273/task/12282/stat : 12282 (java) S 12271 12273 4716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891685215 6592000000 86171 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092048281 0 4 0 16800975 18446604458181788608 0 0 -1 1 0 0 0
[pid=12273/tid=12283] ppid=12271 vsize=6437500 CPUtime=0 cores=1,3
/proc/12273/task/12283/stat : 12283 (java) S 12271 12273 4716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891685215 6592000000 86171 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092048281 0 4 0 16800975 18446604458181788608 0 0 -1 1 0 0 0
[pid=12273/tid=12284] ppid=12271 vsize=6437500 CPUtime=0 cores=1,3
/proc/12273/task/12284/stat : 12284 (java) S 12271 12273 4716 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 891685216 6592000000 86171 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092048896 0 0 0 16800975 18446604458181788608 0 0 -1 3 0 0 0
[pid=12273/tid=12285] ppid=12271 vsize=6437500 CPUtime=0 cores=1,3
/proc/12273/task/12285/stat : 12285 (java) S 12271 12273 4716 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 891685216 6592000000 86176 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092048281 0 4 0 16800975 18446604458181788608 0 0 -1 3 0 0 0
[pid=12273/tid=12286] ppid=12271 vsize=6437500 CPUtime=0 cores=1,3
/proc/12273/task/12286/stat : 12286 (java) S 12271 12273 4716 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 891685216 6592000000 86192 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092048281 0 4 0 16800975 18446604458181788608 0 0 -1 1 0 0 0
[pid=12273/tid=12287] ppid=12271 vsize=6437500 CPUtime=0 cores=1,3
/proc/12273/task/12287/stat : 12287 (java) S 12271 12273 4716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891685218 6592000000 86209 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092055985 0 4 0 16800975 18446604458181788608 0 0 -1 3 0 0 0
[pid=12273/tid=12288] ppid=12271 vsize=6437500 CPUtime=0.44 cores=1,3
/proc/12273/task/12288/stat : 12288 (java) S 12271 12273 4716 0 -1 4202560 2312 0 0 0 44 0 0 0 17 0 19 0 891685218 6592000000 86225 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092048281 0 4 0 16800975 18446604458181788608 0 0 -1 3 0 0 0
[pid=12273/tid=12289] ppid=12271 vsize=6437500 CPUtime=0.59 cores=1,3
/proc/12273/task/12289/stat : 12289 (java) S 12271 12273 4716 0 -1 4202560 3971 0 0 0 59 0 0 0 15 0 19 0 891685218 6592000000 86242 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092048281 0 4 0 16800975 18446604458181788608 0 0 -1 3 0 0 0
[pid=12273/tid=12290] ppid=12271 vsize=6437500 CPUtime=0 cores=1,3
/proc/12273/task/12290/stat : 12290 (java) S 12271 12273 4716 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 891685218 6592000000 86257 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092048281 0 4 0 16800975 18446604458181788608 0 0 -1 3 0 0 0
[pid=12273/tid=12291] ppid=12271 vsize=6437500 CPUtime=0 cores=1,3
/proc/12273/task/12291/stat : 12291 (java) S 12271 12273 4716 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 891685218 6592000000 86274 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092048896 0 4 0 16800975 18446604458181788608 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.07
Current children cumulated vsize (KiB) 6437500

[startup+6.30072 s]
/proc/loadavg: 1.11 2.34 2.98 2/189 12320
/proc/meminfo: memFree=30746240/32950928 swapFree=67055948/67111528
[pid=12273] ppid=12271 vsize=6437500 CPUtime=7.27 cores=1,3
/proc/12273/stat : 12273 (java) S 12271 12273 4716 0 -1 4202496 212131 0 1 0 702 25 0 0 25 0 18 0 891685213 6592000000 208798 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12273/statm: 1609375 208798 2228 9 0 1600113 0
[pid=12273/tid=12275] ppid=12271 vsize=6437500 CPUtime=6.21 cores=1,3
/proc/12273/task/12275/stat : 12275 (java) R 12271 12273 4716 0 -1 4202560 204661 0 1 0 597 24 0 0 18 0 18 0 891685213 6592000000 208798 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 46912505648971 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=12273/tid=12276] ppid=12271 vsize=6437500 CPUtime=0 cores=1,3
/proc/12273/task/12276/stat : 12276 (java) S 12271 12273 4716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891685215 6592000000 208798 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092048281 0 4 0 16800975 18446604458181788608 0 0 -1 1 0 0 0
[pid=12273/tid=12277] ppid=12271 vsize=6437500 CPUtime=0 cores=1,3
/proc/12273/task/12277/stat : 12277 (java) S 12271 12273 4716 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 891685215 6592000000 208798 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092048281 0 4 0 16800975 18446604458181788608 0 0 -1 1 0 0 0
[pid=12273/tid=12278] ppid=12271 vsize=6437500 CPUtime=0 cores=1,3
/proc/12273/task/12278/stat : 12278 (java) S 12271 12273 4716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891685215 6592000000 208798 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092048281 0 4 0 16800975 18446604458181788608 0 0 -1 1 0 0 0
[pid=12273/tid=12279] ppid=12271 vsize=6437500 CPUtime=0 cores=1,3
/proc/12273/task/12279/stat : 12279 (java) S 12271 12273 4716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891685215 6592000000 208798 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092048281 0 4 0 16800975 18446604458181788608 0 0 -1 1 0 0 0
[pid=12273/tid=12280] ppid=12271 vsize=6437500 CPUtime=0 cores=1,3
/proc/12273/task/12280/stat : 12280 (java) S 12271 12273 4716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891685215 6592000000 208798 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092048281 0 4 0 16800975 18446604458181788608 0 0 -1 1 0 0 0
[pid=12273/tid=12281] ppid=12271 vsize=6437500 CPUtime=0 cores=1,3
/proc/12273/task/12281/stat : 12281 (java) S 12271 12273 4716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891685215 6592000000 208798 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092048281 0 4 0 16800975 18446604458181788608 0 0 -1 1 0 0 0
[pid=12273/tid=12282] ppid=12271 vsize=6437500 CPUtime=0 cores=1,3
/proc/12273/task/12282/stat : 12282 (java) S 12271 12273 4716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891685215 6592000000 208798 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092048281 0 4 0 16800975 18446604458181788608 0 0 -1 1 0 0 0
[pid=12273/tid=12283] ppid=12271 vsize=6437500 CPUtime=0 cores=1,3
/proc/12273/task/12283/stat : 12283 (java) S 12271 12273 4716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891685215 6592000000 208798 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092048281 0 4 0 16800975 18446604458181788608 0 0 -1 1 0 0 0
[pid=12273/tid=12284] ppid=12271 vsize=6437500 CPUtime=0 cores=1,3
/proc/12273/task/12284/stat : 12284 (java) S 12271 12273 4716 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 18 0 891685216 6592000000 208798 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092048896 0 0 0 16800975 18446604458181788608 0 0 -1 3 0 0 0
[pid=12273/tid=12285] ppid=12271 vsize=6437500 CPUtime=0 cores=1,3
/proc/12273/task/12285/stat : 12285 (java) S 12271 12273 4716 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 891685216 6592000000 208798 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092048281 0 4 0 16800975 18446604458181788608 0 0 -1 3 0 0 0
[pid=12273/tid=12286] ppid=12271 vsize=6437500 CPUtime=0 cores=1,3
/proc/12273/task/12286/stat : 12286 (java) S 12271 12273 4716 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 18 0 891685216 6592000000 208798 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092048281 0 4 0 16800975 18446604458181788608 0 0 -1 1 0 0 0
[pid=12273/tid=12287] ppid=12271 vsize=6437500 CPUtime=0 cores=1,3
/proc/12273/task/12287/stat : 12287 (java) S 12271 12273 4716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891685218 6592000000 208798 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092055985 0 4 0 16800975 18446604458181788608 0 0 -1 3 0 0 0
[pid=12273/tid=12288] ppid=12271 vsize=6437500 CPUtime=0.44 cores=1,3
/proc/12273/task/12288/stat : 12288 (java) S 12271 12273 4716 0 -1 4202560 2312 0 0 0 44 0 0 0 17 0 18 0 891685218 6592000000 208798 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092048281 0 4 0 16800975 18446604458181788608 0 0 -1 3 0 0 0
[pid=12273/tid=12289] ppid=12271 vsize=6437500 CPUtime=0.6 cores=1,3
/proc/12273/task/12289/stat : 12289 (java) S 12271 12273 4716 0 -1 4202560 3971 0 0 0 60 0 0 0 15 0 18 0 891685218 6592000000 208798 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092048281 0 4 0 16800975 18446604458181788608 0 0 -1 3 0 0 0
[pid=12273/tid=12290] ppid=12271 vsize=6437500 CPUtime=0 cores=1,3
/proc/12273/task/12290/stat : 12290 (java) S 12271 12273 4716 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 891685218 6592000000 208798 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092048281 0 4 0 16800975 18446604458181788608 0 0 -1 3 0 0 0
[pid=12273/tid=12291] ppid=12271 vsize=6437500 CPUtime=0 cores=1,3
/proc/12273/task/12291/stat : 12291 (java) S 12271 12273 4716 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 891685218 6592000000 208798 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092048896 0 4 0 16800975 18446604458181788608 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 7.27
Current children cumulated vsize (KiB) 6437500

[startup+12.7014 s]
/proc/loadavg: 1.09 2.30 2.95 2/190 12362
/proc/meminfo: memFree=29701564/32950928 swapFree=67055948/67111528
[pid=12273] ppid=12271 vsize=6437500 CPUtime=13.93 cores=1,3
/proc/12273/stat : 12273 (java) S 12271 12273 4716 0 -1 4202496 442701 0 1 0 1343 50 0 0 25 0 18 0 891685213 6592000000 439220 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0

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

[pid=12273/tid=12278] ppid=12271 vsize=6437688 CPUtime=0.1 cores=1,3
/proc/12273/task/12278/stat : 12278 (java) S 12271 12273 4716 0 -1 4202560 1386 0 0 0 10 0 0 0 15 0 18 0 891685215 6592192512 550328 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092048281 0 4 0 16800975 18446604458181788608 0 0 -1 1 0 0 0
[pid=12273/tid=12279] ppid=12271 vsize=6437688 CPUtime=0.09 cores=1,3
/proc/12273/task/12279/stat : 12279 (java) S 12271 12273 4716 0 -1 4202560 10304 0 0 0 9 0 0 0 15 0 18 0 891685215 6592192512 550328 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092048281 0 4 0 16800975 18446604458181788608 0 0 -1 3 0 0 0
[pid=12273/tid=12280] ppid=12271 vsize=6437688 CPUtime=0.39 cores=1,3
/proc/12273/task/12280/stat : 12280 (java) S 12271 12273 4716 0 -1 4202560 7399 0 0 0 39 0 0 0 15 0 18 0 891685215 6592192512 550328 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092048281 0 4 0 16800975 18446604458181788608 0 0 -1 3 0 0 0
[pid=12273/tid=12281] ppid=12271 vsize=6437688 CPUtime=0.49 cores=1,3
/proc/12273/task/12281/stat : 12281 (java) S 12271 12273 4716 0 -1 4202560 11668 0 0 0 49 0 0 0 16 0 18 0 891685215 6592192512 550328 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092048281 0 4 0 16800975 18446604458181788608 0 0 -1 3 0 0 0
[pid=12273/tid=12282] ppid=12271 vsize=6437688 CPUtime=0.64 cores=1,3
/proc/12273/task/12282/stat : 12282 (java) S 12271 12273 4716 0 -1 4202560 46855 0 0 0 57 7 0 0 15 0 18 0 891685215 6592192512 550328 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092048281 0 4 0 16800975 18446604458181788608 0 0 -1 1 0 0 0
[pid=12273/tid=12283] ppid=12271 vsize=6437688 CPUtime=0.15 cores=1,3
/proc/12273/task/12283/stat : 12283 (java) S 12271 12273 4716 0 -1 4202560 13276 0 0 0 15 0 0 0 15 0 18 0 891685215 6592192512 550328 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092048281 0 4 0 16800975 18446604458181788608 0 0 -1 3 0 0 0
[pid=12273/tid=12284] ppid=12271 vsize=6437688 CPUtime=0 cores=1,3
/proc/12273/task/12284/stat : 12284 (java) S 12271 12273 4716 0 -1 4202560 75 0 0 0 0 0 0 0 15 0 18 0 891685216 6592192512 550328 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092048896 0 0 0 16800975 18446604458181788608 0 0 -1 3 0 0 0
[pid=12273/tid=12285] ppid=12271 vsize=6437688 CPUtime=0 cores=1,3
/proc/12273/task/12285/stat : 12285 (java) S 12271 12273 4716 0 -1 4202560 24 0 0 0 0 0 0 0 15 0 18 0 891685216 6592192512 550328 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092048281 0 4 0 16800975 18446604458181788608 0 0 -1 3 0 0 0
[pid=12273/tid=12286] ppid=12271 vsize=6437688 CPUtime=0 cores=1,3
/proc/12273/task/12286/stat : 12286 (java) S 12271 12273 4716 0 -1 4202560 44 0 0 0 0 0 0 0 15 0 18 0 891685216 6592192512 550328 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092048281 0 4 0 16800975 18446604458181788608 0 0 -1 1 0 0 0
[pid=12273/tid=12287] ppid=12271 vsize=6437688 CPUtime=0 cores=1,3
/proc/12273/task/12287/stat : 12287 (java) S 12271 12273 4716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891685218 6592192512 550328 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092055985 0 4 0 16800975 18446604458181788608 0 0 -1 3 0 0 0
[pid=12273/tid=12288] ppid=12271 vsize=6437688 CPUtime=0.44 cores=1,3
/proc/12273/task/12288/stat : 12288 (java) S 12271 12273 4716 0 -1 4202560 2312 0 0 0 44 0 0 0 17 0 18 0 891685218 6592192512 550328 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092048281 0 4 0 16800975 18446604458181788608 0 0 -1 3 0 0 0
[pid=12273/tid=12289] ppid=12271 vsize=6437688 CPUtime=0.68 cores=1,3
/proc/12273/task/12289/stat : 12289 (java) S 12271 12273 4716 0 -1 4202560 4033 0 0 0 68 0 0 0 15 0 18 0 891685218 6592192512 550328 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092048281 0 4 0 16800975 18446604458181788608 0 0 -1 3 0 0 0
[pid=12273/tid=12290] ppid=12271 vsize=6437688 CPUtime=0 cores=1,3
/proc/12273/task/12290/stat : 12290 (java) S 12271 12273 4716 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 891685218 6592192512 550328 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092048281 0 4 0 16800975 18446604458181788608 0 0 -1 3 0 0 0
[pid=12273/tid=12291] ppid=12271 vsize=6437688 CPUtime=0 cores=1,3
/proc/12273/task/12291/stat : 12291 (java) S 12271 12273 4716 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 18 0 891685218 6592192512 550328 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092048896 0 4 0 16800975 18446604458181788608 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 97.13
Current children cumulated vsize (KiB) 6437688

[startup+96.2015 s]
/proc/loadavg: 1.17 2.05 2.81 2/190 13106
/proc/meminfo: memFree=29256108/32950928 swapFree=67055948/67111528
[pid=12273] ppid=12271 vsize=6437688 CPUtime=98.72 cores=1,3
/proc/12273/stat : 12273 (java) S 12271 12273 4716 0 -1 4202496 555620 0 1 0 9804 68 0 0 25 0 18 0 891685213 6592192512 550328 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12273/statm: 1609422 550328 2242 9 0 1600160 0
[pid=12273/tid=12275] ppid=12271 vsize=6437688 CPUtime=94.53 cores=1,3
/proc/12273/task/12275/stat : 12275 (java) R 12271 12273 4716 0 -1 4202560 391638 0 1 0 9406 47 0 0 25 0 18 0 891685213 6592192512 550328 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 46912505650247 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=12273/tid=12276] ppid=12271 vsize=6437688 CPUtime=0.55 cores=1,3
/proc/12273/task/12276/stat : 12276 (java) S 12271 12273 4716 0 -1 4202560 38911 0 0 0 51 4 0 0 16 0 18 0 891685215 6592192512 550328 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092048281 0 4 0 16800975 18446604458181788608 0 0 -1 1 0 0 0
[pid=12273/tid=12277] ppid=12271 vsize=6437688 CPUtime=0.48 cores=1,3
/proc/12273/task/12277/stat : 12277 (java) S 12271 12273 4716 0 -1 4202560 26488 0 0 0 45 3 0 0 16 0 18 0 891685215 6592192512 550328 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092048281 0 4 0 16800975 18446604458181788608 0 0 -1 1 0 0 0
[pid=12273/tid=12278] ppid=12271 vsize=6437688 CPUtime=0.1 cores=1,3
/proc/12273/task/12278/stat : 12278 (java) S 12271 12273 4716 0 -1 4202560 1386 0 0 0 10 0 0 0 15 0 18 0 891685215 6592192512 550328 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092048281 0 4 0 16800975 18446604458181788608 0 0 -1 1 0 0 0
[pid=12273/tid=12279] ppid=12271 vsize=6437688 CPUtime=0.09 cores=1,3
/proc/12273/task/12279/stat : 12279 (java) S 12271 12273 4716 0 -1 4202560 10304 0 0 0 9 0 0 0 15 0 18 0 891685215 6592192512 550328 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092048281 0 4 0 16800975 18446604458181788608 0 0 -1 3 0 0 0
[pid=12273/tid=12280] ppid=12271 vsize=6437688 CPUtime=0.39 cores=1,3
/proc/12273/task/12280/stat : 12280 (java) S 12271 12273 4716 0 -1 4202560 7399 0 0 0 39 0 0 0 15 0 18 0 891685215 6592192512 550328 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092048281 0 4 0 16800975 18446604458181788608 0 0 -1 3 0 0 0
[pid=12273/tid=12281] ppid=12271 vsize=6437688 CPUtime=0.49 cores=1,3
/proc/12273/task/12281/stat : 12281 (java) S 12271 12273 4716 0 -1 4202560 11668 0 0 0 49 0 0 0 16 0 18 0 891685215 6592192512 550328 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092048281 0 4 0 16800975 18446604458181788608 0 0 -1 3 0 0 0
[pid=12273/tid=12282] ppid=12271 vsize=6437688 CPUtime=0.64 cores=1,3
/proc/12273/task/12282/stat : 12282 (java) S 12271 12273 4716 0 -1 4202560 46855 0 0 0 57 7 0 0 15 0 18 0 891685215 6592192512 550328 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092048281 0 4 0 16800975 18446604458181788608 0 0 -1 1 0 0 0
[pid=12273/tid=12283] ppid=12271 vsize=6437688 CPUtime=0.15 cores=1,3
/proc/12273/task/12283/stat : 12283 (java) S 12271 12273 4716 0 -1 4202560 13276 0 0 0 15 0 0 0 15 0 18 0 891685215 6592192512 550328 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092048281 0 4 0 16800975 18446604458181788608 0 0 -1 3 0 0 0
[pid=12273/tid=12284] ppid=12271 vsize=6437688 CPUtime=0 cores=1,3
/proc/12273/task/12284/stat : 12284 (java) S 12271 12273 4716 0 -1 4202560 75 0 0 0 0 0 0 0 15 0 18 0 891685216 6592192512 550328 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092048896 0 0 0 16800975 18446604458181788608 0 0 -1 3 0 0 0
[pid=12273/tid=12285] ppid=12271 vsize=6437688 CPUtime=0 cores=1,3
/proc/12273/task/12285/stat : 12285 (java) S 12271 12273 4716 0 -1 4202560 24 0 0 0 0 0 0 0 15 0 18 0 891685216 6592192512 550328 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092048281 0 4 0 16800975 18446604458181788608 0 0 -1 3 0 0 0
[pid=12273/tid=12286] ppid=12271 vsize=6437688 CPUtime=0 cores=1,3
/proc/12273/task/12286/stat : 12286 (java) S 12271 12273 4716 0 -1 4202560 44 0 0 0 0 0 0 0 15 0 18 0 891685216 6592192512 550328 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092048281 0 4 0 16800975 18446604458181788608 0 0 -1 1 0 0 0
[pid=12273/tid=12287] ppid=12271 vsize=6437688 CPUtime=0 cores=1,3
/proc/12273/task/12287/stat : 12287 (java) S 12271 12273 4716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891685218 6592192512 550328 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092055985 0 4 0 16800975 18446604458181788608 0 0 -1 3 0 0 0
[pid=12273/tid=12288] ppid=12271 vsize=6437688 CPUtime=0.44 cores=1,3
/proc/12273/task/12288/stat : 12288 (java) S 12271 12273 4716 0 -1 4202560 2312 0 0 0 44 0 0 0 17 0 18 0 891685218 6592192512 550328 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092048281 0 4 0 16800975 18446604458181788608 0 0 -1 3 0 0 0
[pid=12273/tid=12289] ppid=12271 vsize=6437688 CPUtime=0.68 cores=1,3
/proc/12273/task/12289/stat : 12289 (java) S 12271 12273 4716 0 -1 4202560 4033 0 0 0 68 0 0 0 15 0 18 0 891685218 6592192512 550328 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092048281 0 4 0 16800975 18446604458181788608 0 0 -1 3 0 0 0
[pid=12273/tid=12290] ppid=12271 vsize=6437688 CPUtime=0 cores=1,3
/proc/12273/task/12290/stat : 12290 (java) S 12271 12273 4716 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 891685218 6592192512 550328 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092048281 0 4 0 16800975 18446604458181788608 0 0 -1 3 0 0 0
[pid=12273/tid=12291] ppid=12271 vsize=6437688 CPUtime=0 cores=1,3
/proc/12273/task/12291/stat : 12291 (java) S 12271 12273 4716 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 18 0 891685218 6592192512 550328 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092048896 0 4 0 16800975 18446604458181788608 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 98.72
Current children cumulated vsize (KiB) 6437688

[startup+96.6014 s]
/proc/loadavg: 1.17 2.05 2.81 2/190 13106
/proc/meminfo: memFree=29256108/32950928 swapFree=67055948/67111528
[pid=12273] ppid=12271 vsize=6437688 CPUtime=99.13 cores=1,3
/proc/12273/stat : 12273 (java) S 12271 12273 4716 0 -1 4202496 555622 0 1 0 9845 68 0 0 25 0 18 0 891685213 6592192512 550329 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12273/statm: 1609422 550329 2242 9 0 1600160 0
[pid=12273/tid=12275] ppid=12271 vsize=6437688 CPUtime=94.93 cores=1,3
/proc/12273/task/12275/stat : 12275 (java) R 12271 12273 4716 0 -1 4202560 391639 0 1 0 9446 47 0 0 25 0 18 0 891685213 6592192512 550329 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 46912505639434 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=12273/tid=12276] ppid=12271 vsize=6437688 CPUtime=0.55 cores=1,3
/proc/12273/task/12276/stat : 12276 (java) S 12271 12273 4716 0 -1 4202560 38911 0 0 0 51 4 0 0 16 0 18 0 891685215 6592192512 550329 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092048281 0 4 0 16800975 18446604458181788608 0 0 -1 1 0 0 0
[pid=12273/tid=12277] ppid=12271 vsize=6437688 CPUtime=0.48 cores=1,3
/proc/12273/task/12277/stat : 12277 (java) S 12271 12273 4716 0 -1 4202560 26488 0 0 0 45 3 0 0 16 0 18 0 891685215 6592192512 550329 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092048281 0 4 0 16800975 18446604458181788608 0 0 -1 1 0 0 0
[pid=12273/tid=12278] ppid=12271 vsize=6437688 CPUtime=0.1 cores=1,3
/proc/12273/task/12278/stat : 12278 (java) S 12271 12273 4716 0 -1 4202560 1386 0 0 0 10 0 0 0 15 0 18 0 891685215 6592192512 550329 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092048281 0 4 0 16800975 18446604458181788608 0 0 -1 1 0 0 0
[pid=12273/tid=12279] ppid=12271 vsize=6437688 CPUtime=0.09 cores=1,3
/proc/12273/task/12279/stat : 12279 (java) S 12271 12273 4716 0 -1 4202560 10304 0 0 0 9 0 0 0 15 0 18 0 891685215 6592192512 550329 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092048281 0 4 0 16800975 18446604458181788608 0 0 -1 3 0 0 0
[pid=12273/tid=12280] ppid=12271 vsize=6437688 CPUtime=0.39 cores=1,3
/proc/12273/task/12280/stat : 12280 (java) S 12271 12273 4716 0 -1 4202560 7399 0 0 0 39 0 0 0 15 0 18 0 891685215 6592192512 550329 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092048281 0 4 0 16800975 18446604458181788608 0 0 -1 3 0 0 0
[pid=12273/tid=12281] ppid=12271 vsize=6437688 CPUtime=0.49 cores=1,3
/proc/12273/task/12281/stat : 12281 (java) S 12271 12273 4716 0 -1 4202560 11668 0 0 0 49 0 0 0 16 0 18 0 891685215 6592192512 550329 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092048281 0 4 0 16800975 18446604458181788608 0 0 -1 3 0 0 0
[pid=12273/tid=12282] ppid=12271 vsize=6437688 CPUtime=0.64 cores=1,3
/proc/12273/task/12282/stat : 12282 (java) S 12271 12273 4716 0 -1 4202560 46855 0 0 0 57 7 0 0 15 0 18 0 891685215 6592192512 550329 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092048281 0 4 0 16800975 18446604458181788608 0 0 -1 1 0 0 0
[pid=12273/tid=12283] ppid=12271 vsize=6437688 CPUtime=0.15 cores=1,3
/proc/12273/task/12283/stat : 12283 (java) S 12271 12273 4716 0 -1 4202560 13276 0 0 0 15 0 0 0 15 0 18 0 891685215 6592192512 550329 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092048281 0 4 0 16800975 18446604458181788608 0 0 -1 3 0 0 0
[pid=12273/tid=12284] ppid=12271 vsize=6437688 CPUtime=0 cores=1,3
/proc/12273/task/12284/stat : 12284 (java) S 12271 12273 4716 0 -1 4202560 75 0 0 0 0 0 0 0 15 0 18 0 891685216 6592192512 550329 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092048896 0 0 0 16800975 18446604458181788608 0 0 -1 3 0 0 0
[pid=12273/tid=12285] ppid=12271 vsize=6437688 CPUtime=0 cores=1,3
/proc/12273/task/12285/stat : 12285 (java) S 12271 12273 4716 0 -1 4202560 24 0 0 0 0 0 0 0 15 0 18 0 891685216 6592192512 550329 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092048281 0 4 0 16800975 18446604458181788608 0 0 -1 3 0 0 0
[pid=12273/tid=12286] ppid=12271 vsize=6437688 CPUtime=0 cores=1,3
/proc/12273/task/12286/stat : 12286 (java) S 12271 12273 4716 0 -1 4202560 44 0 0 0 0 0 0 0 15 0 18 0 891685216 6592192512 550329 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092048281 0 4 0 16800975 18446604458181788608 0 0 -1 1 0 0 0
[pid=12273/tid=12287] ppid=12271 vsize=6437688 CPUtime=0 cores=1,3
/proc/12273/task/12287/stat : 12287 (java) S 12271 12273 4716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891685218 6592192512 550329 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092055985 0 4 0 16800975 18446604458181788608 0 0 -1 3 0 0 0
[pid=12273/tid=12288] ppid=12271 vsize=6437688 CPUtime=0.44 cores=1,3
/proc/12273/task/12288/stat : 12288 (java) S 12271 12273 4716 0 -1 4202560 2312 0 0 0 44 0 0 0 17 0 18 0 891685218 6592192512 550329 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092048281 0 4 0 16800975 18446604458181788608 0 0 -1 3 0 0 0
[pid=12273/tid=12289] ppid=12271 vsize=6437688 CPUtime=0.69 cores=1,3
/proc/12273/task/12289/stat : 12289 (java) S 12271 12273 4716 0 -1 4202560 4034 0 0 0 69 0 0 0 15 0 18 0 891685218 6592192512 550329 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092048281 0 4 0 16800975 18446604458181788608 0 0 -1 3 0 0 0
[pid=12273/tid=12290] ppid=12271 vsize=6437688 CPUtime=0 cores=1,3
/proc/12273/task/12290/stat : 12290 (java) S 12271 12273 4716 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 891685218 6592192512 550329 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092048281 0 4 0 16800975 18446604458181788608 0 0 -1 3 0 0 0
[pid=12273/tid=12291] ppid=12271 vsize=6437688 CPUtime=0 cores=1,3
/proc/12273/task/12291/stat : 12291 (java) S 12271 12273 4716 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 18 0 891685218 6592192512 550329 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092048896 0 4 0 16800975 18446604458181788608 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 99.13
Current children cumulated vsize (KiB) 6437688

[startup+96.8021 s]
/proc/loadavg: 1.17 2.05 2.81 2/190 13106
/proc/meminfo: memFree=29256108/32950928 swapFree=67055948/67111528
[pid=12273] ppid=12271 vsize=6446064 CPUtime=99.47 cores=1,3
/proc/12273/stat : 12273 (java) S 12271 12273 4716 0 -1 4202496 558188 0 1 0 9879 68 0 0 25 0 18 0 891685213 6600769536 552150 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12273/statm: 1611516 552150 2242 9 0 1602254 0
[pid=12273/tid=12275] ppid=12271 vsize=6446064 CPUtime=95.13 cores=1,3
/proc/12273/task/12275/stat : 12275 (java) R 12271 12273 4716 0 -1 4202560 391642 0 1 0 9466 47 0 0 25 0 18 0 891685213 6600769536 552150 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 46912505216005 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=12273/tid=12276] ppid=12271 vsize=6446064 CPUtime=0.55 cores=1,3
/proc/12273/task/12276/stat : 12276 (java) S 12271 12273 4716 0 -1 4202560 38911 0 0 0 51 4 0 0 16 0 18 0 891685215 6600769536 552150 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092048281 0 4 0 16800975 18446604458181788608 0 0 -1 1 0 0 0
[pid=12273/tid=12277] ppid=12271 vsize=6446064 CPUtime=0.48 cores=1,3
/proc/12273/task/12277/stat : 12277 (java) S 12271 12273 4716 0 -1 4202560 26488 0 0 0 45 3 0 0 16 0 18 0 891685215 6600769536 552150 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092048281 0 4 0 16800975 18446604458181788608 0 0 -1 1 0 0 0
[pid=12273/tid=12278] ppid=12271 vsize=6446064 CPUtime=0.1 cores=1,3
/proc/12273/task/12278/stat : 12278 (java) S 12271 12273 4716 0 -1 4202560 1386 0 0 0 10 0 0 0 15 0 18 0 891685215 6600769536 552150 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092048281 0 4 0 16800975 18446604458181788608 0 0 -1 1 0 0 0
[pid=12273/tid=12279] ppid=12271 vsize=6446064 CPUtime=0.09 cores=1,3
/proc/12273/task/12279/stat : 12279 (java) S 12271 12273 4716 0 -1 4202560 10304 0 0 0 9 0 0 0 15 0 18 0 891685215 6600769536 552150 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092048281 0 4 0 16800975 18446604458181788608 0 0 -1 3 0 0 0
[pid=12273/tid=12280] ppid=12271 vsize=6446064 CPUtime=0.39 cores=1,3
/proc/12273/task/12280/stat : 12280 (java) S 12271 12273 4716 0 -1 4202560 7399 0 0 0 39 0 0 0 15 0 18 0 891685215 6600769536 552150 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092048281 0 4 0 16800975 18446604458181788608 0 0 -1 3 0 0 0
[pid=12273/tid=12281] ppid=12271 vsize=6446064 CPUtime=0.49 cores=1,3
/proc/12273/task/12281/stat : 12281 (java) S 12271 12273 4716 0 -1 4202560 11668 0 0 0 49 0 0 0 16 0 18 0 891685215 6600769536 552150 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092048281 0 4 0 16800975 18446604458181788608 0 0 -1 3 0 0 0
[pid=12273/tid=12282] ppid=12271 vsize=6446064 CPUtime=0.64 cores=1,3
/proc/12273/task/12282/stat : 12282 (java) S 12271 12273 4716 0 -1 4202560 46855 0 0 0 57 7 0 0 15 0 18 0 891685215 6600769536 552150 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092048281 0 4 0 16800975 18446604458181788608 0 0 -1 1 0 0 0
[pid=12273/tid=12283] ppid=12271 vsize=6446064 CPUtime=0.15 cores=1,3
/proc/12273/task/12283/stat : 12283 (java) S 12271 12273 4716 0 -1 4202560 13276 0 0 0 15 0 0 0 15 0 18 0 891685215 6600769536 552150 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092048281 0 4 0 16800975 18446604458181788608 0 0 -1 3 0 0 0
[pid=12273/tid=12284] ppid=12271 vsize=6446064 CPUtime=0 cores=1,3
/proc/12273/task/12284/stat : 12284 (java) S 12271 12273 4716 0 -1 4202560 75 0 0 0 0 0 0 0 15 0 18 0 891685216 6600769536 552150 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092048896 0 0 0 16800975 18446604458181788608 0 0 -1 3 0 0 0
[pid=12273/tid=12285] ppid=12271 vsize=6446064 CPUtime=0 cores=1,3
/proc/12273/task/12285/stat : 12285 (java) S 12271 12273 4716 0 -1 4202560 24 0 0 0 0 0 0 0 15 0 18 0 891685216 6600769536 552150 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092048281 0 4 0 16800975 18446604458181788608 0 0 -1 3 0 0 0
[pid=12273/tid=12286] ppid=12271 vsize=6446064 CPUtime=0 cores=1,3
/proc/12273/task/12286/stat : 12286 (java) S 12271 12273 4716 0 -1 4202560 44 0 0 0 0 0 0 0 15 0 18 0 891685216 6600769536 552150 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092048281 0 4 0 16800975 18446604458181788608 0 0 -1 1 0 0 0
[pid=12273/tid=12287] ppid=12271 vsize=6446064 CPUtime=0 cores=1,3
/proc/12273/task/12287/stat : 12287 (java) S 12271 12273 4716 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891685218 6600769536 552150 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092055985 0 4 0 16800975 18446604458181788608 0 0 -1 3 0 0 0
[pid=12273/tid=12288] ppid=12271 vsize=6446064 CPUtime=0.44 cores=1,3
/proc/12273/task/12288/stat : 12288 (java) S 12271 12273 4716 0 -1 4202560 2366 0 0 0 44 0 0 0 15 0 18 0 891685218 6600769536 552150 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092048281 0 4 0 16800975 18446604458181788608 0 0 -1 3 0 0 0
[pid=12273/tid=12289] ppid=12271 vsize=6446064 CPUtime=0.83 cores=1,3
/proc/12273/task/12289/stat : 12289 (java) S 12271 12273 4716 0 -1 4202560 6543 0 0 0 83 0 0 0 15 0 18 0 891685218 6600769536 552150 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092048281 0 4 0 16800975 18446604458181788608 0 0 -1 3 0 0 0
[pid=12273/tid=12290] ppid=12271 vsize=6446064 CPUtime=0 cores=1,3
/proc/12273/task/12290/stat : 12290 (java) S 12271 12273 4716 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 891685218 6600769536 552150 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092048281 0 4 0 16800975 18446604458181788608 0 0 -1 3 0 0 0
[pid=12273/tid=12291] ppid=12271 vsize=6446064 CPUtime=0 cores=1,3
/proc/12273/task/12291/stat : 12291 (java) S 12271 12273 4716 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 18 0 891685218 6600769536 552150 33554432000 1073741824 1073778376 140735371894464 18446744073709551615 208092048896 0 4 0 16800975 18446604458181788608 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 99.47
Current children cumulated vsize (KiB) 6446064

[startup+96.9014 s]
/proc/loadavg: 1.17 2.05 2.81 2/190 13106
/proc/meminfo: memFree=29256108/32950928 swapFree=67055948/67111528
[pid=12273] ppid=12271 vsize=0 CPUtime=99.59 cores=1,3
/proc/12273/stat : 12273 (java) Z 12271 12273 4716 0 -1 4203548 558192 0 1 0 9885 74 0 0 18 0 2 0 891685213 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12273/statm: 0 0 0 0 0 0 0
[pid=12273/tid=12290] ppid=12271 vsize=0 CPUtime=0.05 cores=1,3
/proc/12273/task/12290/stat : 12290 (java) R 12271 12273 4716 0 -1 4203588 2 0 0 0 0 5 0 0 18 0 2 0 891685218 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 99.59
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 96.9239
CPU time (s): 99.6239
CPU user time (s): 98.856
CPU system time (s): 0.767883
CPU usage (%): 102.786
Max. virtual memory (cumulated for all children) (KiB): 6446220

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 98.856
system time used= 0.767883
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 558192
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= 6017
involuntary context switches= 3928

runsolver used 0.161975 second user time and 0.432934 second system time

The end

Begin job on node127 at 2011-06-11 16:00:55
IDJOB=3493560
IDBENCH=20454
IDSOLVER=1972
FILE ID=node127/3493560-1307800855
RUNJOBID= node127-1307798806-4736
PBS_JOBID= 13551023
Free space on /tmp= 74056 MiB

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

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

MD5SUM BENCH= 36e67e1ba9821e3da23147686112d6b9
RANDOM SEED=2021389940

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      31454328 kB
Buffers:        308176 kB
Cached:         970096 kB
SwapCached:       9372 kB
Active:         577128 kB
Inactive:       723004 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      31454328 kB
SwapTotal:    67111528 kB
SwapFree:     67055948 kB
Dirty:            7000 kB
Writeback:           4 kB
AnonPages:       19192 kB
Mapped:          12592 kB
Slab:           131048 kB
PageTables:       4332 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   191996 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= 74052 MiB
End job on node127 at 2011-06-11 16:02:33