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.08/0.09	c version 2.3.0.v20110206
0.08/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.08/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.08/0.09	c java.vm.version	19.1-b02
0.08/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.08/0.09	c sun.arch.data.model	64
0.08/0.09	c java.version		1.6.0_24
0.08/0.09	c os.name		Linux
0.08/0.09	c os.version		2.6.18-164.el5
0.08/0.09	c os.arch		amd64
0.08/0.09	c Free memory 		5997854704
0.08/0.09	c Max memory 		6029312000
0.08/0.09	c Total memory 		6029312000
0.08/0.09	c Number of processors 	8
0.08/0.09	c Explanation (MUS) enabled solver
0.08/0.09	c QuickXplain (AAAI 2004 version) minimization strategy
0.08/0.09	c --- Begin Solver configuration ---
0.08/0.09	c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@aa470b8
0.08/0.09	c Learn all clauses as in MiniSAT
0.08/0.09	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 
0.08/0.09	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT
0.08/0.09	c Expensive reason simplification
0.08/0.09	c Armin Biere (Picosat) restarts strategy
0.08/0.09	c Glucose learned constraints deletion strategy
0.08/0.09	c timeout=2147483647s
0.08/0.09	c DB Simplification allowed=true
0.08/0.09	c --- End Solver configuration ---
0.08/0.09	c solving HOME/instance-3493500-1307799211.cnf
0.08/0.09	c reading problem ... 
0.76/0.61	c ... done. Wall clock time 0.511s.
0.76/0.61	c #vars     473203
0.76/0.61	c #constraints  360419
0.76/0.61	c constraints type 
0.76/0.61	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 357327
0.76/0.61	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 3092
3.00/2.38	c Unsat detection wall clock time (in seconds) : 2.286
3.00/2.38	c Size of initial unsat subformula: 412
3.00/2.38	c Computing MUS ...
3.00/2.38	c initial unsat core 16927[?] 473201[?] 112784[?]  16926[?] -16927[?] 152635[?]  16925[?] -16926[?] 152632[?]  6201[?] -16926[?] 152631[?]  16924[?] 551[?] -16925[?] 152629[?]  -551[?] 11187[?] -16925[?] 152627[?]  16923[?] -16924[?] 1460[?] 152625[?]  -1460[?] -16924[?] 11190[?] 152623[?]  16854[?] -16923[?] -1821[?] 152619[?]  11258[?] -16854[?] 2046[?] 152552[?]  -2046[?] 16853[?] -16854[?] 152550[?]  -16853[?] 16852[?] 2175[?] 152548[?]  -2175[?] -16853[?] 11261[?] 152546[?]  -16852[?] 2304[?] 16851[?] 152544[?]  -16851[?] 16850[?] 2569[?] 152540[?]  -2569[?] -16851[?] 16307[?] 152538[?]  -16850[?] 2859[?] 16849[?] 152536[?]  -2859[?] -16850[?] 14753[?] 152534[?]  -16849[?] 16307[?] -5719[?] 152530[?]  -16307[?] 11396[?] 16304[?] 151397[?]  -11396[?] -16307[?] 16306[?] 151395[?]  -16306[?] 16305[?] 151393[?]  -16305[?] 16304[?] 151390[?]  -16304[?] 16303[?] 2569[?] 151388[?]  -2569[?] -16304[?] 11817[?] 151386[?]  -16303[?] 16302[?] 151384[?]  -16302[?] 3085[?] 16301[?] 151381[?]  -16301[?] 4939[?] 16300[?] 151377[?]  -4939[?] -16301[?] 15902[?] 151375[?]  -16300[?] 16299[?] 5229[?] 151373[?]  -5229[?] -16300[?] 16099[?] 151371[?]  -16299[?] 5462[?] 16298[?] 151369[?]  -16298[?] 16297[?] 151365[?]  -16297[?] 16166[?] 151362[?]  -16166[?] 16097[?] 151036[?]  -16099[?] 16098[?] 150871[?]  -16098[?] 16097[?] 150868[?]  -16097[?] 15702[?] 150865[?]  -15902[?] 15901[?] 150410[?]  -15901[?] 15802[?] 150407[?]  -15802[?] 15703[?] 150241[?]  -15703[?] 15702[?] 150075[?]  -15702[?] 3085[?] 14948[?] 150073[?]  -14948[?] 14753[?] 148560[?]  -14753[?] 2698[?] 14752[?] 148105[?]  -2698[?] -14753[?] 14353[?] 148103[?]  -14752[?] 14354[?] 14751[?] 148101[?]  -14354[?] -14752[?] 14485[?] 148099[?]  -14751[?] 14750[?] 148097[?]  -14750[?] 14651[?] 148094[?]  -14651[?] 14552[?] 147928[?]  -14552[?] 14485[?] 147763[?]  -14485[?] 14153[?] 147596[?]  -14353[?] 14352[?] 147270[?]  -14352[?] 14253[?] 147267[?]  -14253[?] 14154[?] 147101[?]  -14154[?] 14153[?] 146935[?]  -14153[?] 11980[?] 14152[?] 146933[?]  -11980[?] -14153[?] 13290[?] 146931[?]  -14152[?] 13356[?] 14151[?] 146929[?]  -13356[?] -14152[?] 13489[?] 146927[?]  -14151[?] 13522[?] 14150[?] 146925[?]  -13522[?] -14151[?] 13653[?] 146923[?]  -14150[?] 14149[?] 146921[?]  -14149[?] 14050[?] 146918[?]  -14050[?] 13951[?] 146752[?]  -13951[?] 13948[?] 146586[?]  -13948[?] 13849[?] 146581[?]  -13849[?] 13750[?] 146415[?]  -13750[?] 13749[?] 146250[?]  -13749[?] 13653[?] 146246[?]  -13653[?] 13487[?] 146033[?]  -13489[?] 13488[?] 145707[?]  -13488[?] 13487[?] 145704[?]  -13487[?] 13290[?] 145701[?]  -13290[?] 13093[?] 145278[?]  -13093[?] 12213[?] 13092[?] 144728[?]  -12213[?] -13093[?] 12815[?] 144726[?]  -13092[?] 12882[?] 144723[?]  -12882[?] 12344[?] 144176[?]  -12815[?] 12345[?] 144010[?]  -12345[?] 12344[?] 142978[?]  -12344[?] 11817[?] 142975[?]  -11817[?] 11816[?] 141765[?]  -11816[?] 11815[?] 4457[?] 141763[?]  -4457[?] -11816[?] 11813[?] 141761[?]  -11815[?] 11814[?] 141759[?]  -11814[?] 11813[?] 141755[?]  -11813[?] 11812[?] 141753[?]  -11812[?] 11811[?] 141750[?]  -11811[?] 11810[?] 4457[?] 141747[?]  -11811[?] -4457[?] 11808[?] 141745[?]  -11810[?] 11809[?] 141743[?]  -11809[?] 11808[?] 141739[?]  -11808[?] 11807[?] 141737[?]  -11807[?] 11806[?] 4457[?] 141734[?]  -11807[?] -4457[?] 11804[?] 141732[?]  -11806[?] 11805[?] 141730[?]  -11805[?] 11804[?] 141726[?]  -11804[?] 11803[?] 141724[?]  -11803[?] 11802[?] 4457[?] 141721[?]  -11803[?] -4457[?] 11734[?] 141719[?]  -11802[?] 11801[?] 141717[?]  -11801[?] 11734[?] 141713[?]  -11734[?] 11733[?] 141548[?]  -11733[?] 11329[?] 141544[?]  -11329[?] 11328[?] 140699[?]  -11328[?] 11259[?] 140696[?]  -11261[?] 11260[?] 140531[?]  -11260[?] 11259[?] 140528[?]  -11259[?] 11258[?] 140525[?]  11257[?] -11258[?] 140523[?]  11188[?] -11257[?] 140519[?]  -11190[?] 11189[?] 140354[?]  -11189[?] 11188[?] 140351[?]  11187[?] -11188[?] 140348[?]  11186[?] 6620[?] -11187[?] 140346[?]  -6620[?] 8764[?] -11187[?] 140344[?]  11185[?] 10853[?] -11186[?] 140342[?]  -10853[?] 10984[?] -11186[?] 140340[?]  10985[?] -11185[?] 11184[?] 140338[?]  -10985[?] -11185[?] 11116[?] 140336[?]  -11184[?] 11183[?] 140334[?]  -11183[?] 11116[?] 140331[?]  -11116[?] 10984[?] 140165[?]  -10984[?] 8764[?] 139838[?]  -8764[?] 8763[?] 133407[?]  -8763[?] 6620[?] 8760[?] 133405[?]  -8763[?] -6620[?] 8762[?] 133403[?]  -8762[?] 8761[?] 133401[?]  -8761[?] 8760[?] 133398[?]  8759[?] -8760[?] 133395[?]  8758[?] -8759[?] 133392[?]  8757[?] -8758[?] 133389[?]  953[?] -8757[?] 133386[?]  8756[?] -953[?] -8757[?] 133385[?]  8755[?] -8756[?] 133383[?]  8754[?] -8755[?] 133379[?]  8753[?] -8754[?] 133377[?]  8686[?] -8753[?] 133373[?]  8685[?] 100[?] -8686[?] 133208[?]  -100[?] 8340[?] -8686[?] 133206[?]  8684[?] 261[?] -8685[?] 133204[?]  -261[?] -8685[?] 8409[?] 133202[?]  390[?] -8684[?] 8683[?] 133200[?]  8482[?] -390[?] -8684[?] 133198[?]  -8683[?] -1146[?] 133194[?]  -8482[?] 8481[?] 261[?] 132738[?]  -8481[?] 8480[?] 132734[?]  -8480[?] 8479[?] 132731[?]  -8479[?] 261[?] 8478[?] 132729[?]  -8478[?] 8477[?] 132725[?]  -8477[?] 8476[?] 132723[?]  -8476[?] 8407[?] 132719[?]  -8409[?] 8408[?] 132554[?]  -8408[?] 8407[?] 132552[?]  -8407[?] 8340[?] 132548[?]  -8340[?] 8339[?] 132383[?]  -8339[?] 8338[?] 132380[?]  -8338[?] 8143[?] 132377[?]  -8143[?] 7884[?] 131950[?]  -7884[?] 7883[?] 131497[?]  -7883[?] 7882[?] 131494[?]  -7882[?] 7816[?] 131491[?]  -7816[?] -7817[?] 131488[?]  7817[?] -7881[?] 131486[?]  7881[?] -7880[?] -7849[?] 131482[?]  7880[?] -7879[?] -7848[?] 131479[?]  7879[?] -7878[?] -7847[?] 131476[?]  7878[?] -7877[?] -7846[?] 131473[?]  7877[?] -7876[?] -7845[?] 131470[?]  7876[?] -7875[?] -7844[?] 131467[?]  7875[?] -7874[?] -7843[?] 131464[?]  7874[?] -7873[?] -7842[?] 131461[?]  7873[?] -7872[?] -7841[?] 131458[?]  7872[?] -7871[?] -7840[?] 131455[?]  7871[?] -7870[?] -7839[?] 131452[?]  7870[?] -7869[?] -7838[?] 131449[?]  7869[?] -7868[?] -7837[?] 131446[?]  7868[?] -7867[?] -7836[?] 131443[?]  7867[?] -7866[?] -7835[?] 131440[?]  7866[?] -7865[?] -7834[?] 131437[?]  7865[?] -7864[?] -7833[?] 131434[?]  7864[?] -7863[?] -7832[?] 131431[?]  7863[?] -7862[?] -7831[?] 131428[?]  7862[?] -7861[?] -7830[?] 131425[?]  7861[?] -7860[?] -7829[?] 131422[?]  7860[?] -7859[?] -7828[?] 131419[?]  7859[?] -7858[?] -7827[?] 131416[?]  7858[?] -7857[?] -7826[?] 131413[?]  7857[?] -7856[?] -7825[?] 131410[?]  7856[?] -7855[?] -7824[?] 131407[?]  7855[?] -7854[?] -7823[?] 131404[?]  7854[?] -7853[?] -7822[?] 131401[?]  7853[?] -7852[?] -7821[?] 131398[?]  7852[?] -7851[?] -7820[?] 131395[?]  7851[?] -7819[?] -7850[?] 131392[?]  7850[?] -7818[?] 131390[?]  7849[?] 1145[?] 131388[?]  7848[?] 1144[?] 131386[?]  7847[?] 1143[?] 131384[?]  7846[?] 1142[?] 131382[?]  7845[?] 1141[?] 131380[?]  7844[?] 1140[?] 131378[?]  7843[?] 1139[?] 131376[?]  7842[?] 1138[?] 131374[?]  7841[?] 1137[?] 131372[?]  7840[?] 1136[?] 131370[?]  7839[?] 1135[?] 131368[?]  7838[?] 1134[?] 131366[?]  7837[?] 1133[?] 131364[?]  7836[?] 1132[?] 131362[?]  7835[?] 1131[?] 131360[?]  7834[?] 1130[?] 131358[?]  7833[?] 1129[?] 131356[?]  7832[?] 1128[?] 131354[?]  7831[?] 1127[?] 131352[?]  7830[?] 1126[?] 131350[?]  7829[?] 1125[?] 131348[?]  7828[?] 1124[?] 131346[?]  7827[?] 1123[?] 131344[?]  7826[?] 1122[?] 131342[?]  7825[?] 1121[?] 131340[?]  7824[?] 1120[?] 131338[?]  7823[?] 1119[?] 131336[?]  7822[?] 1118[?] 131334[?]  7821[?] 1117[?] 131332[?]  7820[?] 1116[?] 131330[?]  7819[?] 1115[?] 131328[?]  7818[?] 1114[?] 131326[?]  6265[?] -6201[?] 128348[?]  6233[?] -6265[?] 128347[?]  -6200[?] -6233[?] 128252[?]  6104[?] 6200[?] 128188[?]  6168[?] -6104[?] 128123[?]  6167[?] -6168[?] 128121[?]  6166[?] -6167[?] 128118[?]  6165[?] -6166[?] 128115[?]  6164[?] -6165[?] 128112[?]  6163[?] -6164[?] 128109[?]  6162[?] -6163[?] 128106[?]  6161[?] -6162[?] 128103[?]  6160[?] -6161[?] 128100[?]  6159[?] -6160[?] 128097[?]  6158[?] -6159[?] 128094[?]  6157[?] -6158[?] 128091[?]  6156[?] -6157[?] 128088[?]  6155[?] -6156[?] 128085[?]  6154[?] -6155[?] 128082[?]  6153[?] -6154[?] 128079[?]  6152[?] -6153[?] 128076[?]  6151[?] -6152[?] 128073[?]  6150[?] -6151[?] 128070[?]  6149[?] -6150[?] 128067[?]  6148[?] -6149[?] 128064[?]  6147[?] -6148[?] 128061[?]  6146[?] -6147[?] 128058[?]  6145[?] -6146[?] 128055[?]  6144[?] -6145[?] 128052[?]  6143[?] -6144[?] 128049[?]  6142[?] -6143[?] 128046[?]  6141[?] -6142[?] 128043[?]  6140[?] -6141[?] 128040[?]  6139[?] -6140[?] 128037[?]  6138[?] -6139[?] 128034[?]  6106[?] -6138[?] 128032[?]  6137[?] -6138[?] 128031[?]  6105[?] -6137[?] 128029[?]  -6073[?] -6106[?] 127967[?]  -6072[?] -6105[?] 127965[?]  -6041[?] 551[?] 6073[?] 127842[?]  -6040[?] 551[?] 6072[?] 127838[?]  -6009[?] 6041[?] 1460[?] 127714[?]  -6008[?] 6040[?] 1460[?] 127710[?]  1821[?] 6009[?] 127617[?]  -5945[?] 6009[?] -1821[?] 127615[?]  -5944[?] -1821[?] 6008[?] 127612[?]  -5913[?] -2046[?] 5945[?] 127488[?]  -5912[?] -2046[?] 5944[?] 127484[?]  -5881[?] 5913[?] 2175[?] 127362[?]  -5880[?] 5912[?] 2175[?] 127358[?]  -2304[?] 5881[?] 127263[?]  -5848[?] 5880[?] 2304[?] 127261[?]  -5816[?] 5848[?] 2569[?] 127165[?]  -5784[?] 2859[?] 5816[?] 127038[?]  5719[?] 5784[?] 126973[?]  5783[?] -5719[?] 126970[?]  5751[?] -5783[?] 126969[?]  5782[?] -5783[?] 126968[?]  5781[?] -5782[?] 126965[?]  5780[?] -5781[?] 126962[?]  5779[?] -5780[?] 126959[?]  5747[?] -5779[?] 126957[?]  -5718[?] -5751[?] 126874[?]  -5714[?] -5747[?] 126866[?]  -3085[?] 5718[?] 126808[?]  -5682[?] 5714[?] 3085[?] 126797[?]  -5650[?] 4939[?] 5682[?] 126697[?]  -5618[?] 5229[?] 5650[?] 126569[?]  -5462[?] 5618[?] 126449[?]  1146[?] -1210[?] 117675[?]  1210[?] -1209[?] -1178[?] 117671[?]  1209[?] -1208[?] -1177[?] 117668[?]  1208[?] -1207[?] -1176[?] 117665[?]  1207[?] -1206[?] -1175[?] 117662[?]  1206[?] -1205[?] -1174[?] 117659[?]  1205[?] -1204[?] -1173[?] 117656[?]  1204[?] -1203[?] -1172[?] 117653[?]  1203[?] -1202[?] -1171[?] 117650[?]  1202[?] -1201[?] -1170[?] 117647[?]  1201[?] -1200[?] -1169[?] 117644[?]  1200[?] -1199[?] -1168[?] 117641[?]  1199[?] -1198[?] -1167[?] 117638[?]  1198[?] -1197[?] -1166[?] 117635[?]  1197[?] -1196[?] -1165[?] 117632[?]  1196[?] -1195[?] -1164[?] 117629[?]  1195[?] -1194[?] -1163[?] 117626[?]  1194[?] -1193[?] -1162[?] 117623[?]  1193[?] -1192[?] -1161[?] 117620[?]  1192[?] -1191[?] -1160[?] 117617[?]  1191[?] -1190[?] -1159[?] 117614[?]  1190[?] -1189[?] -1158[?] 117611[?]  1189[?] -1188[?] -1157[?] 117608[?]  1188[?] -1187[?] -1156[?] 117605[?]  1187[?] -1186[?] -1155[?] 117602[?]  1186[?] -1185[?] -1154[?] 117599[?]  1185[?] -1184[?] -1153[?] 117596[?]  1184[?] -1152[?] -1183[?] 117593[?]  1151[?] -1183[?] 117592[?]  1182[?] -1183[?] 117591[?]  1183[?] -1182[?] -1151[?] 117590[?]  1150[?] -1182[?] 117589[?]  1181[?] -1182[?] 117588[?]  1182[?] -1181[?] -1150[?] 117587[?]  1149[?] -1181[?] 117586[?]  1180[?] -1181[?] 117585[?]  1181[?] -1180[?] -1149[?] 117584[?]  1148[?] -1180[?] 117583[?]  1179[?] -1180[?] 117582[?]  1180[?] -1179[?] -1148[?] 117581[?]  1147[?] -1179[?] 117580[?]  1179[?] -1147[?] 117579[?]  1178[?] 1145[?] 117577[?]  1177[?] 1144[?] 117575[?]  1176[?] 1143[?] 117573[?]  1175[?] 1142[?] 117571[?]  1174[?] 1141[?] 117569[?]  1173[?] 1140[?] 117567[?]  1172[?] 1139[?] 117565[?]  1171[?] 1138[?] 117563[?]  1170[?] 1137[?] 117561[?]  1169[?] 1136[?] 117559[?]  1168[?] 1135[?] 117557[?]  1167[?] 1134[?] 117555[?]  1166[?] 1133[?] 117553[?]  1165[?] 1132[?] 117551[?]  1164[?] 1131[?] 117549[?]  1163[?] 1130[?] 117547[?]  1162[?] 1129[?] 117545[?]  1161[?] 1128[?] 117543[?]  1160[?] 1127[?] 117541[?]  1159[?] 1126[?] 117539[?]  1158[?] 1125[?] 117537[?]  1157[?] 1124[?] 117535[?]  1156[?] 1123[?] 117533[?]  1155[?] 1122[?] 117531[?]  1154[?] 1121[?] 117529[?]  1153[?] 1120[?] 117527[?]  1152[?] 1119[?] 117525[?]  -1118[?] -1151[?] 117524[?]  1151[?] 1118[?] 117523[?]  -1117[?] -1150[?] 117522[?]  1150[?] 1117[?] 117521[?]  -1116[?] -1149[?] 117520[?]  1149[?] 1116[?] 117519[?]  -1115[?] -1148[?] 117518[?]  1148[?] 1115[?] 117517[?]  -1114[?] -1147[?] 117516[?]  1147[?] 1114[?] 117515[?]  -1145[?] -953[?] 117512[?]  -1144[?] -953[?] 117509[?]  -1143[?] -953[?] 117506[?]  -1142[?] -953[?] 117503[?]  -1141[?] -953[?] 117500[?]  -1140[?] -953[?] 117497[?]  -1139[?] -953[?] 117494[?]  -1138[?] -953[?] 117491[?]  -1137[?] -953[?] 117488[?]  -1136[?] -953[?] 117485[?]  -1135[?] -953[?] 117482[?]  -1134[?] -953[?] 117479[?]  -1133[?] -953[?] 117476[?]  -1132[?] -953[?] 117473[?]  -1131[?] -953[?] 117470[?]  -1130[?] -953[?] 117467[?]  -1129[?] -953[?] 117464[?]  -1128[?] -953[?] 117461[?]  -1127[?] -953[?] 117458[?]  -1126[?] -953[?] 117455[?]  -1125[?] -953[?] 117452[?]  -1124[?] -953[?] 117449[?]  -1123[?] -953[?] 117446[?]  -1122[?] -953[?] 117443[?]  -1121[?] -953[?] 117440[?]  -1120[?] -953[?] 117437[?]  -1119[?] -953[?] 117434[?]  -1118[?] -953[?] 117431[?]  -1117[?] -953[?] 117428[?]  -1116[?] -953[?] 117425[?]  -1115[?] -953[?] 117422[?]  -1114[?] -953[?] 117419[?]  -112784[?] 115876[?] 
3.16/2.49	c qxplain 0/411
3.56/2.77	c qxplain 206/411
3.80/2.93	c qxplain 309/411
4.00/3.10	c qxplain 361/411
4.11/3.26	c qxplain 387/411
4.29/3.42	c qxplain 400/411
4.40/3.58	c qxplain 406/411
4.60/3.75	c qxplain 409/411
4.80/3.91	c qxplain 411/411
4.90/4.07	c -112784[?] 115876[?] is mandatory 
4.90/4.07	c qxplain 409/410
5.10/4.23	c qxplain 410/410
5.20/4.40	c 117419[?] -1114[?] -953[?]  is mandatory 
5.20/4.40	c qxplain 409/409
5.40/4.56	c 117422[?] -1115[?] -953[?]  is mandatory 
5.40/4.56	c qxplain 406/408
5.60/4.72	c qxplain 408/408
5.71/4.88	c 117425[?] -1116[?] -953[?]  is mandatory 
5.71/4.88	c qxplain 406/407
5.90/5.05	c qxplain 407/407
6.11/5.21	c 117428[?] -1117[?] -953[?]  is mandatory 
6.11/5.21	c qxplain 406/406
6.20/5.38	c 117431[?] -1118[?] -953[?]  is mandatory 
6.20/5.38	c qxplain 400/405
6.41/5.54	c qxplain 403/405
6.60/5.70	c qxplain 405/405
6.70/5.87	c 117434[?] -1119[?] -953[?]  is mandatory 
6.70/5.87	c qxplain 403/404
6.91/6.03	c qxplain 404/404
7.00/6.19	c 117437[?] -1120[?] -953[?]  is mandatory 
7.00/6.19	c qxplain 403/403
7.20/6.35	c 117440[?] -1121[?] -953[?]  is mandatory 
7.20/6.35	c qxplain 400/402
7.41/6.51	c qxplain 402/402
7.51/6.67	c 117443[?] -1122[?] -953[?]  is mandatory 
7.51/6.67	c qxplain 400/401
7.71/6.83	c qxplain 401/401
7.80/6.99	c 117446[?] -1123[?] -953[?]  is mandatory 
7.80/6.99	c qxplain 400/400
8.00/7.16	c 117449[?] -1124[?] -953[?]  is mandatory 
8.00/7.16	c qxplain 387/399
8.20/7.32	c qxplain 394/399
8.31/7.48	c qxplain 397/399
8.50/7.64	c qxplain 399/399
8.70/7.81	c 117452[?] -1125[?] -953[?]  is mandatory 
8.70/7.81	c qxplain 397/398
8.80/7.97	c qxplain 398/398
9.00/8.13	c 117455[?] -1126[?] -953[?]  is mandatory 
9.00/8.13	c qxplain 397/397
9.11/8.29	c 117458[?] -1127[?] -953[?]  is mandatory 
9.11/8.29	c qxplain 394/396
9.31/8.45	c qxplain 396/396
9.50/8.61	c 117461[?] -1128[?] -953[?]  is mandatory 
9.50/8.61	c qxplain 394/395
9.61/8.78	c qxplain 395/395
9.80/8.94	c 117464[?] -1129[?] -953[?]  is mandatory 
9.80/8.94	c qxplain 394/394
10.01/9.10	c 117467[?] -1130[?] -953[?]  is mandatory 
10.01/9.10	c qxplain 387/393
10.10/9.26	c qxplain 391/393
10.31/9.43	c qxplain 393/393
10.40/9.59	c 117470[?] -1131[?] -953[?]  is mandatory 
10.40/9.59	c qxplain 391/392
10.61/9.75	c qxplain 392/392
10.81/9.91	c 117473[?] -1132[?] -953[?]  is mandatory 
10.81/9.91	c qxplain 391/391
10.90/10.07	c 117476[?] -1133[?] -953[?]  is mandatory 
10.90/10.07	c qxplain 387/390
11.10/10.23	c qxplain 389/390
11.20/10.40	c qxplain 390/390
11.41/10.56	c 117479[?] -1134[?] -953[?]  is mandatory 
11.41/10.56	c qxplain 389/389
11.61/10.73	c 117482[?] -1135[?] -953[?]  is mandatory 
11.61/10.73	c qxplain 387/388
11.71/10.89	c qxplain 388/388
11.91/11.05	c 117485[?] -1136[?] -953[?]  is mandatory 
11.91/11.05	c qxplain 387/387
12.10/11.21	c 117488[?] -1137[?] -953[?]  is mandatory 
12.10/11.21	c qxplain 361/386
12.21/11.38	c qxplain 374/386
12.41/11.54	c qxplain 381/386
12.60/11.70	c qxplain 384/386
12.70/11.86	c qxplain 386/386
12.91/12.02	c 117491[?] -1138[?] -953[?]  is mandatory 
12.91/12.02	c qxplain 384/385
13.01/12.18	c qxplain 385/385
13.20/12.35	c 117494[?] -1139[?] -953[?]  is mandatory 
13.20/12.35	c qxplain 384/384
13.41/12.51	c 117497[?] -1140[?] -953[?]  is mandatory 
13.41/12.51	c qxplain 381/383
13.51/12.67	c qxplain 383/383
13.70/12.83	c 117500[?] -1141[?] -953[?]  is mandatory 
13.70/12.83	c qxplain 381/382
14.37/13.24	c qxplain 382/382
14.47/13.35	c 117503[?] -1142[?] -953[?]  is mandatory 
14.47/13.35	c qxplain 381/381
14.57/13.47	c 117506[?] -1143[?] -953[?]  is mandatory 
14.57/13.47	c qxplain 374/380
14.67/13.58	c qxplain 378/380
14.77/13.69	c qxplain 380/380
14.97/13.80	c 117509[?] -1144[?] -953[?]  is mandatory 
14.97/13.80	c qxplain 378/379
15.07/13.91	c qxplain 379/379
15.17/14.02	c 117512[?] -1145[?] -953[?]  is mandatory 
15.17/14.02	c qxplain 378/378
15.27/14.14	c 117515[?] 1147[?] 1114[?]  is mandatory 
15.27/14.14	c qxplain 374/377
15.37/14.25	c qxplain 376/377
15.47/14.36	c qxplain 377/377
15.47/14.39	c qxplain 376/376
15.69/14.50	c 117517[?] 1148[?] 1115[?]  is mandatory 
15.69/14.50	c qxplain 374/375
15.79/14.61	c qxplain 375/375
15.79/14.64	c qxplain 374/374
15.93/14.76	c 117519[?] 1149[?] 1116[?]  is mandatory 
15.93/14.76	c qxplain 361/373
16.03/14.87	c qxplain 368/373
16.13/14.98	c qxplain 371/373
16.33/15.10	c qxplain 373/373
16.33/15.11	c qxplain 371/372
16.43/15.22	c qxplain 372/372
16.53/15.34	c 117521[?] 1150[?] 1117[?]  is mandatory 
16.53/15.34	c qxplain 371/371
16.53/15.35	c qxplain 368/370
16.63/15.47	c qxplain 370/370
16.73/15.58	c 117523[?] 1151[?] 1118[?]  is mandatory 
16.73/15.58	c qxplain 368/369
16.83/15.69	c qxplain 369/369
16.93/15.70	c qxplain 368/368
17.03/15.82	c 117525[?] 1152[?] 1119[?]  is mandatory 
17.03/15.82	c qxplain 361/367
17.13/15.93	c qxplain 365/367
17.23/16.04	c qxplain 367/367
17.33/16.15	c 117527[?] 1153[?] 1120[?]  is mandatory 
17.33/16.15	c qxplain 365/366
17.43/16.27	c qxplain 366/366
17.53/16.38	c 117529[?] 1154[?] 1121[?]  is mandatory 
17.53/16.38	c qxplain 365/365
17.63/16.49	c 117531[?] 1155[?] 1122[?]  is mandatory 
17.63/16.49	c qxplain 361/364
17.83/16.60	c qxplain 363/364
17.93/16.71	c qxplain 364/364
18.03/16.83	c 117533[?] 1156[?] 1123[?]  is mandatory 
18.03/16.83	c qxplain 363/363
18.13/16.94	c 117535[?] 1157[?] 1124[?]  is mandatory 
18.13/16.94	c qxplain 361/362
18.23/17.05	c qxplain 362/362
18.33/17.16	c 117537[?] 1158[?] 1125[?]  is mandatory 
18.33/17.16	c qxplain 361/361
18.43/17.28	c 117539[?] 1159[?] 1126[?]  is mandatory 
18.43/17.28	c qxplain 309/360
18.53/17.39	c qxplain 335/360
18.73/17.50	c qxplain 348/360
18.83/17.61	c qxplain 355/360
18.93/17.72	c qxplain 358/360
19.03/17.84	c qxplain 360/360
19.13/17.95	c 117541[?] 1160[?] 1127[?]  is mandatory 
19.13/17.95	c qxplain 358/359
19.23/18.06	c qxplain 359/359
19.33/18.17	c 117543[?] 1161[?] 1128[?]  is mandatory 
19.33/18.17	c qxplain 358/358
19.43/18.29	c 117545[?] 1162[?] 1129[?]  is mandatory 
19.43/18.29	c qxplain 355/357
19.63/18.40	c qxplain 357/357
19.73/18.51	c 117547[?] 1163[?] 1130[?]  is mandatory 
19.73/18.51	c qxplain 355/356
19.83/18.62	c qxplain 356/356
19.93/18.73	c 117549[?] 1164[?] 1131[?]  is mandatory 
19.93/18.73	c qxplain 355/355
20.03/18.84	c 117551[?] 1165[?] 1132[?]  is mandatory 
20.03/18.84	c qxplain 348/354
20.13/18.96	c qxplain 352/354
20.23/19.07	c qxplain 354/354
20.33/19.18	c 117553[?] 1166[?] 1133[?]  is mandatory 
20.33/19.18	c qxplain 352/353
20.43/19.29	c qxplain 353/353
20.63/19.40	c 117555[?] 1167[?] 1134[?]  is mandatory 
20.63/19.40	c qxplain 352/352
20.73/19.51	c 117557[?] 1168[?] 1135[?]  is mandatory 
20.73/19.51	c qxplain 348/351
20.83/19.62	c qxplain 350/351
20.93/19.73	c qxplain 351/351
21.03/19.85	c 117559[?] 1169[?] 1136[?]  is mandatory 
21.03/19.85	c qxplain 350/350
21.13/19.96	c 117561[?] 1170[?] 1137[?]  is mandatory 
21.13/19.96	c qxplain 348/349
21.23/20.07	c qxplain 349/349
21.33/20.18	c 117563[?] 1171[?] 1138[?]  is mandatory 
21.33/20.18	c qxplain 348/348
21.43/20.29	c 117565[?] 1172[?] 1139[?]  is mandatory 
21.43/20.29	c qxplain 335/347
21.63/20.40	c qxplain 342/347
21.73/20.51	c qxplain 345/347
21.83/20.63	c qxplain 347/347
21.93/20.74	c 117567[?] 1173[?] 1140[?]  is mandatory 
21.93/20.74	c qxplain 345/346
22.03/20.85	c qxplain 346/346
22.13/20.96	c 117569[?] 1174[?] 1141[?]  is mandatory 
22.13/20.96	c qxplain 345/345
22.23/21.07	c 117571[?] 1175[?] 1142[?]  is mandatory 
22.23/21.07	c qxplain 342/344
22.33/21.18	c qxplain 344/344
22.43/21.29	c 117573[?] 1176[?] 1143[?]  is mandatory 
22.43/21.29	c qxplain 342/343
22.63/21.41	c qxplain 343/343
23.14/21.74	c 117575[?] 1177[?] 1144[?]  is mandatory 
23.14/21.74	c qxplain 342/342
23.24/21.85	c 117577[?] 1178[?] 1145[?]  is mandatory 
23.24/21.85	c qxplain 335/341
23.35/21.96	c qxplain 339/341
23.45/22.08	c qxplain 341/341
23.54/22.19	c 117579[?] 1179[?] -1147[?]  is mandatory 
23.54/22.19	c qxplain 339/340
23.74/22.30	c qxplain 340/340
23.74/22.31	c qxplain 339/339
23.84/22.42	c 117581[?] 1180[?] -1179[?] -1148[?]  is mandatory 
23.84/22.42	c qxplain 335/338
23.94/22.53	c qxplain 337/338
23.94/22.55	c qxplain 335/336
24.04/22.66	c qxplain 336/336
24.14/22.77	c 117584[?] 1181[?] -1180[?] -1149[?]  is mandatory 
24.14/22.77	c qxplain 335/335
24.14/22.78	c qxplain 309/334
24.24/22.89	c qxplain 322/334
24.45/23.00	c qxplain 329/334
24.55/23.12	c qxplain 332/334
24.64/23.23	c qxplain 334/334
24.64/23.24	c qxplain 332/333
24.74/23.35	c qxplain 333/333
24.84/23.46	c 117587[?] 1182[?] -1181[?] -1150[?]  is mandatory 
24.84/23.46	c qxplain 332/332
24.84/23.47	c qxplain 329/331
24.94/23.59	c qxplain 331/331
25.04/23.60	c qxplain 329/330
25.14/23.71	c qxplain 330/330
25.24/23.82	c 117590[?] 1183[?] -1182[?] -1151[?]  is mandatory 
25.24/23.82	c qxplain 329/329
25.24/23.83	c qxplain 322/328
25.34/23.95	c qxplain 326/328
25.44/24.06	c qxplain 328/328
25.44/24.07	c qxplain 326/327
25.55/24.18	c qxplain 327/327
25.65/24.29	c 117593[?] 1184[?] -1183[?] -1152[?]  is mandatory 
25.65/24.29	c qxplain 326/326
25.84/24.40	c 117596[?] 1185[?] -1184[?] -1153[?]  is mandatory 
25.84/24.40	c qxplain 322/325
25.94/24.51	c qxplain 324/325
26.04/24.62	c qxplain 325/325
26.14/24.73	c 117599[?] 1186[?] -1185[?] -1154[?]  is mandatory 
26.14/24.73	c qxplain 324/324
26.24/24.84	c 117602[?] 1187[?] -1186[?] -1155[?]  is mandatory 
26.24/24.84	c qxplain 322/323
26.34/24.95	c qxplain 323/323
26.44/25.06	c 117605[?] 1188[?] -1187[?] -1156[?]  is mandatory 
26.44/25.06	c qxplain 322/322
26.54/25.17	c 117608[?] 1189[?] -1188[?] -1157[?]  is mandatory 
26.54/25.17	c qxplain 309/321
26.65/25.29	c qxplain 316/321
26.84/25.40	c qxplain 319/321
26.94/25.51	c qxplain 321/321
27.04/25.62	c 117611[?] 1190[?] -1189[?] -1158[?]  is mandatory 
27.04/25.62	c qxplain 319/320
27.14/25.73	c qxplain 320/320
27.24/25.84	c 117614[?] 1191[?] -1190[?] -1159[?]  is mandatory 
27.24/25.84	c qxplain 319/319
27.34/25.95	c 117617[?] 1192[?] -1191[?] -1160[?]  is mandatory 
27.34/25.95	c qxplain 316/318
27.44/26.06	c qxplain 318/318
27.54/26.17	c 117620[?] 1193[?] -1192[?] -1161[?]  is mandatory 
27.54/26.17	c qxplain 316/317
27.64/26.28	c qxplain 317/317
27.75/26.39	c 117623[?] 1194[?] -1193[?] -1162[?]  is mandatory 
27.75/26.39	c qxplain 316/316
27.94/26.50	c 117626[?] 1195[?] -1194[?] -1163[?]  is mandatory 
27.94/26.50	c qxplain 309/315
28.04/26.61	c qxplain 313/315
28.14/26.72	c qxplain 315/315
28.24/26.83	c 117629[?] 1196[?] -1195[?] -1164[?]  is mandatory 
28.24/26.83	c qxplain 313/314
28.34/26.94	c qxplain 314/314
28.44/27.05	c 117632[?] 1197[?] -1196[?] -1165[?]  is mandatory 
28.44/27.05	c qxplain 313/313
28.54/27.16	c 117635[?] 1198[?] -1197[?] -1166[?]  is mandatory 
28.54/27.16	c qxplain 309/312
28.65/27.27	c qxplain 311/312
28.75/27.39	c qxplain 312/312
28.85/27.50	c 117638[?] 1199[?] -1198[?] -1167[?]  is mandatory 
28.85/27.50	c qxplain 311/311
29.05/27.61	c 117641[?] 1200[?] -1199[?] -1168[?]  is mandatory 
29.05/27.61	c qxplain 309/310
29.15/27.72	c qxplain 310/310
29.25/27.83	c 117644[?] 1201[?] -1200[?] -1169[?]  is mandatory 
29.25/27.83	c qxplain 309/309
29.35/27.94	c 117647[?] 1202[?] -1201[?] -1170[?]  is mandatory 
29.35/27.94	c qxplain 206/308
29.45/28.05	c qxplain 258/308
29.55/28.16	c qxplain 284/308
29.65/28.28	c qxplain 297/308
29.75/28.39	c qxplain 303/308
29.95/28.50	c qxplain 306/308
30.05/28.61	c qxplain 308/308
30.14/28.72	c 117650[?] 1203[?] -1202[?] -1171[?]  is mandatory 
30.14/28.72	c qxplain 306/307
30.24/28.83	c qxplain 307/307
30.34/28.94	c 117653[?] 1204[?] -1203[?] -1172[?]  is mandatory 
30.34/28.94	c qxplain 306/306
30.44/29.06	c 117656[?] 1205[?] -1204[?] -1173[?]  is mandatory 
30.44/29.06	c qxplain 303/305
30.54/29.17	c qxplain 305/305
30.64/29.28	c 117659[?] 1206[?] -1205[?] -1174[?]  is mandatory 
30.64/29.28	c qxplain 303/304
30.74/29.39	c qxplain 304/304
30.94/29.50	c 117662[?] 1207[?] -1206[?] -1175[?]  is mandatory 
30.94/29.50	c qxplain 303/303
31.05/29.61	c 117665[?] 1208[?] -1207[?] -1176[?]  is mandatory 
31.05/29.61	c qxplain 297/302
31.15/29.72	c qxplain 300/302
31.65/30.03	c qxplain 302/302
31.75/30.14	c 117668[?] 1209[?] -1208[?] -1177[?]  is mandatory 
31.75/30.14	c qxplain 300/301
31.85/30.25	c qxplain 301/301
31.95/30.36	c 117671[?] 1210[?] -1209[?] -1178[?]  is mandatory 
31.95/30.36	c qxplain 300/300
32.05/30.47	c 117675[?] 1146[?] -1210[?]  is mandatory 
32.05/30.47	c qxplain 297/299
32.25/30.60	c qxplain 299/299
32.35/30.71	c 126449[?] 5618[?] -5462[?]  is mandatory 
32.35/30.71	c qxplain 297/298
32.46/30.82	c qxplain 298/298
32.55/30.93	c 126569[?] -5618[?] 5650[?] 5229[?]  is mandatory 
32.55/30.93	c qxplain 297/297
32.65/31.04	c 126697[?] -5650[?] 4939[?] 5682[?]  is mandatory 
32.65/31.04	c qxplain 284/296
32.75/31.15	c qxplain 291/296
32.85/31.26	c qxplain 294/296
32.95/31.38	c qxplain 296/296
33.05/31.49	c 126797[?] -5682[?] 3085[?] 5714[?]  is mandatory 
33.05/31.49	c qxplain 294/295
33.25/31.60	c qxplain 295/295
33.35/31.71	c 126808[?] -3085[?] 5718[?]  is mandatory 
33.35/31.71	c qxplain 294/294
33.45/31.82	c 126866[?] -5714[?] -5747[?]  is mandatory 
33.45/31.82	c qxplain 291/293
33.55/31.93	c qxplain 293/293
33.65/32.05	c 126874[?] -5718[?] -5751[?]  is mandatory 
33.65/32.05	c qxplain 291/292
33.75/32.16	c qxplain 292/292
33.85/32.27	c 126957[?] 5747[?] -5779[?]  is mandatory 
33.85/32.27	c qxplain 291/291
33.95/32.38	c 126959[?] 5779[?] -5780[?]  is mandatory 
33.95/32.38	c qxplain 284/290
34.05/32.49	c qxplain 288/290
34.25/32.60	c qxplain 290/290
34.35/32.71	c 126962[?] 5780[?] -5781[?]  is mandatory 
34.35/32.71	c qxplain 288/289
34.45/32.82	c qxplain 289/289
34.55/32.93	c 126965[?] 5781[?] -5782[?]  is mandatory 
34.55/32.93	c qxplain 288/288
34.65/33.04	c 126968[?] 5782[?] -5783[?]  is mandatory 
34.65/33.04	c qxplain 284/287
34.75/33.15	c qxplain 286/287
34.85/33.26	c qxplain 287/287
34.95/33.38	c 126969[?] 5751[?] -5783[?]  is mandatory 
34.95/33.38	c qxplain 286/286
35.05/33.49	c 126970[?] 5783[?] -5719[?]  is mandatory 
35.05/33.49	c qxplain 284/285
35.25/33.60	c qxplain 285/285
35.35/33.71	c 126973[?] 5719[?] 5784[?]  is mandatory 
35.35/33.71	c qxplain 284/284
35.45/33.83	c 127038[?] -5784[?] 2859[?] 5816[?]  is mandatory 
35.45/33.83	c qxplain 258/283
35.55/33.94	c qxplain 271/283
35.65/34.05	c qxplain 278/283
35.75/34.16	c qxplain 281/283
35.85/34.27	c qxplain 283/283
35.95/34.38	c 127165[?] -5816[?] 2569[?] 5848[?]  is mandatory 
35.95/34.38	c qxplain 281/282
36.05/34.49	c qxplain 282/282
36.25/34.60	c 127261[?] -5848[?] 2304[?] 5880[?]  is mandatory 
36.25/34.60	c qxplain 281/281
36.35/34.72	c 127263[?] -2304[?] 5881[?]  is mandatory 
36.35/34.72	c qxplain 278/280
36.45/34.83	c qxplain 280/280
36.55/34.94	c 127358[?] -5880[?] 2175[?] 5912[?]  is mandatory 
36.55/34.94	c qxplain 278/279
36.65/35.05	c qxplain 279/279
36.75/35.16	c 127362[?] -5881[?] 2175[?] 5913[?]  is mandatory 
36.75/35.16	c qxplain 278/278
36.85/35.27	c 127484[?] -5912[?] -2046[?] 5944[?]  is mandatory 
36.85/35.27	c qxplain 271/277
36.95/35.38	c qxplain 275/277
37.05/35.49	c qxplain 277/277
37.25/35.60	c 127488[?] -5913[?] 5945[?] -2046[?]  is mandatory 
37.25/35.60	c qxplain 275/276
37.35/35.71	c qxplain 276/276
37.45/35.83	c 127612[?] -5944[?] -1821[?] 6008[?]  is mandatory 
37.45/35.83	c qxplain 275/275
37.55/35.94	c 127615[?] -5945[?] -1821[?] 6009[?]  is mandatory 
37.55/35.94	c qxplain 271/274
37.65/36.05	c qxplain 273/274
37.75/36.16	c qxplain 274/274
37.86/36.27	c 127617[?] 1821[?] 6009[?]  is mandatory 
37.86/36.27	c qxplain 273/273
37.96/36.38	c 127710[?] -6008[?] 6040[?] 1460[?]  is mandatory 
37.96/36.38	c qxplain 271/272
38.05/36.50	c qxplain 272/272
38.25/36.61	c 127714[?] -6009[?] 6041[?] 1460[?]  is mandatory 
38.25/36.61	c qxplain 271/271
38.35/36.72	c 127838[?] -6040[?] 6072[?] 551[?]  is mandatory 
38.35/36.72	c qxplain 258/270
38.45/36.83	c qxplain 265/270
38.55/36.94	c qxplain 268/270
38.65/37.05	c qxplain 270/270
38.75/37.16	c 127842[?] -6041[?] 6073[?] 551[?]  is mandatory 
38.75/37.16	c qxplain 268/269
38.85/37.27	c qxplain 269/269
38.96/37.38	c 127965[?] -6072[?] -6105[?]  is mandatory 
38.96/37.38	c qxplain 268/268
39.15/37.50	c 127967[?] -6073[?] -6106[?]  is mandatory 
39.15/37.50	c qxplain 265/267
39.26/37.61	c qxplain 267/267
39.36/37.72	c 128029[?] 6105[?] -6137[?]  is mandatory 
39.36/37.72	c qxplain 265/266
39.46/37.83	c qxplain 266/266
39.56/37.94	c 128031[?] 6137[?] -6138[?]  is mandatory 
39.56/37.94	c qxplain 265/265
39.66/38.05	c 128032[?] 6106[?] -6138[?]  is mandatory 
39.66/38.05	c qxplain 258/264
39.76/38.16	c qxplain 262/264
39.86/38.27	c qxplain 264/264
40.36/38.58	c 128034[?] 6138[?] -6139[?]  is mandatory 
40.36/38.58	c qxplain 262/263
40.44/38.70	c qxplain 263/263
40.64/38.81	c 128037[?] 6139[?] -6140[?]  is mandatory 
40.64/38.81	c qxplain 262/262
40.74/38.92	c 128040[?] 6140[?] -6141[?]  is mandatory 
40.74/38.92	c qxplain 258/261
40.84/39.03	c qxplain 260/261
40.94/39.14	c qxplain 261/261
41.04/39.26	c 128043[?] 6141[?] -6142[?]  is mandatory 
41.04/39.26	c qxplain 260/260
41.14/39.37	c 128046[?] 6142[?] -6143[?]  is mandatory 
41.14/39.37	c qxplain 258/259
41.24/39.48	c qxplain 259/259
41.34/39.59	c 128049[?] 6143[?] -6144[?]  is mandatory 
41.34/39.59	c qxplain 258/258
41.54/39.71	c 128052[?] 6144[?] -6145[?]  is mandatory 
41.54/39.71	c qxplain 206/257
41.64/39.82	c qxplain 232/257
41.74/39.93	c qxplain 245/257
41.84/40.04	c qxplain 252/257
41.94/40.15	c qxplain 255/257
42.04/40.26	c qxplain 257/257
42.14/40.37	c 128055[?] 6145[?] -6146[?]  is mandatory 
42.14/40.37	c qxplain 255/256
42.24/40.48	c qxplain 256/256
42.34/40.59	c 128058[?] 6146[?] -6147[?]  is mandatory 
42.34/40.59	c qxplain 255/255
42.54/40.70	c 128061[?] 6147[?] -6148[?]  is mandatory 
42.54/40.70	c qxplain 252/254
42.64/40.82	c qxplain 254/254
42.74/40.93	c 128064[?] 6148[?] -6149[?]  is mandatory 
42.74/40.93	c qxplain 252/253
42.84/41.04	c qxplain 253/253
42.94/41.15	c 128067[?] 6149[?] -6150[?]  is mandatory 
42.94/41.15	c qxplain 252/252
43.04/41.26	c 128070[?] 6150[?] -6151[?]  is mandatory 
43.04/41.26	c qxplain 245/251
43.14/41.37	c qxplain 249/251
43.24/41.48	c qxplain 251/251
43.34/41.59	c 128073[?] 6151[?] -6152[?]  is mandatory 
43.34/41.59	c qxplain 249/250
43.54/41.70	c qxplain 250/250
43.65/41.82	c 128076[?] 6152[?] -6153[?]  is mandatory 
43.65/41.82	c qxplain 249/249
43.74/41.93	c 128079[?] 6153[?] -6154[?]  is mandatory 
43.74/41.93	c qxplain 245/248
43.84/42.04	c qxplain 247/248
43.94/42.15	c qxplain 248/248
44.04/42.26	c 128082[?] 6154[?] -6155[?]  is mandatory 
44.04/42.26	c qxplain 247/247
44.14/42.37	c 128085[?] 6155[?] -6156[?]  is mandatory 
44.14/42.37	c qxplain 245/246
44.24/42.48	c qxplain 246/246
44.34/42.59	c 128088[?] 6156[?] -6157[?]  is mandatory 
44.34/42.59	c qxplain 245/245
44.54/42.70	c 128091[?] 6157[?] -6158[?]  is mandatory 
44.54/42.70	c qxplain 232/244
44.64/42.81	c qxplain 239/244
44.75/42.93	c qxplain 242/244
44.84/43.04	c qxplain 244/244
44.94/43.15	c 128094[?] 6158[?] -6159[?]  is mandatory 
44.94/43.15	c qxplain 242/243
45.04/43.26	c qxplain 243/243
45.14/43.37	c 128097[?] 6159[?] -6160[?]  is mandatory 
45.14/43.37	c qxplain 242/242
45.24/43.49	c 128100[?] 6160[?] -6161[?]  is mandatory 
45.24/43.49	c qxplain 239/241
45.34/43.60	c qxplain 241/241
45.54/43.71	c 128103[?] 6161[?] -6162[?]  is mandatory 
45.54/43.71	c qxplain 239/240
45.64/43.82	c qxplain 240/240
45.75/43.93	c 128106[?] 6162[?] -6163[?]  is mandatory 
45.75/43.93	c qxplain 239/239
45.85/44.04	c 128109[?] 6163[?] -6164[?]  is mandatory 
45.85/44.04	c qxplain 232/238
45.94/44.15	c qxplain 236/238
46.04/44.27	c qxplain 238/238
46.14/44.38	c 128112[?] 6164[?] -6165[?]  is mandatory 
46.14/44.38	c qxplain 236/237
46.24/44.49	c qxplain 237/237
46.44/44.60	c 128115[?] 6165[?] -6166[?]  is mandatory 
46.44/44.60	c qxplain 236/236
46.54/44.72	c 128118[?] 6166[?] -6167[?]  is mandatory 
46.54/44.72	c qxplain 232/235
46.64/44.83	c qxplain 234/235
46.74/44.94	c qxplain 235/235
46.85/45.05	c 128121[?] 6167[?] -6168[?]  is mandatory 
46.85/45.05	c qxplain 234/234
46.95/45.16	c 128123[?] 6168[?] -6104[?]  is mandatory 
46.95/45.16	c qxplain 232/233
47.04/45.27	c qxplain 233/233
47.14/45.39	c 128188[?] 6104[?] 6200[?]  is mandatory 
47.14/45.39	c qxplain 232/232
47.34/45.50	c 128252[?] -6200[?] -6233[?]  is mandatory 
47.34/45.50	c qxplain 206/231
47.44/45.61	c qxplain 219/231
47.54/45.72	c qxplain 226/231
47.64/45.83	c qxplain 229/231
47.74/45.95	c qxplain 231/231
47.84/46.06	c 128347[?] 6233[?] -6265[?]  is mandatory 
47.84/46.06	c qxplain 229/230
47.95/46.17	c qxplain 230/230
48.05/46.28	c 128348[?] 6265[?] -6201[?]  is mandatory 
48.05/46.28	c qxplain 229/229
48.14/46.39	c 131326[?] 7818[?] 1114[?]  is mandatory 
48.14/46.39	c qxplain 226/228
48.34/46.50	c qxplain 228/228
48.44/46.61	c 131328[?] 7819[?] 1115[?]  is mandatory 
48.44/46.61	c qxplain 226/227
48.54/46.73	c qxplain 227/227
48.64/46.84	c 131330[?] 7820[?] 1116[?]  is mandatory 
48.64/46.84	c qxplain 226/226
48.74/46.95	c 131332[?] 7821[?] 1117[?]  is mandatory 
48.74/46.95	c qxplain 219/225
49.24/47.26	c qxplain 223/225
49.35/47.37	c qxplain 225/225
49.44/47.48	c 131334[?] 7822[?] 1118[?]  is mandatory 
49.44/47.48	c qxplain 223/224
49.54/47.59	c qxplain 224/224
49.74/47.70	c 131336[?] 7823[?] 1119[?]  is mandatory 
49.74/47.70	c qxplain 223/223
49.84/47.81	c 131338[?] 7824[?] 1120[?]  is mandatory 
49.84/47.81	c qxplain 219/222
49.94/47.93	c qxplain 221/222
50.04/48.04	c qxplain 222/222
50.14/48.15	c 131340[?] 7825[?] 1121[?]  is mandatory 
50.14/48.15	c qxplain 221/221
50.24/48.26	c 131342[?] 7826[?] 1122[?]  is mandatory 
50.24/48.26	c qxplain 219/220
50.34/48.37	c qxplain 220/220
50.45/48.48	c 131344[?] 7827[?] 1123[?]  is mandatory 
50.45/48.48	c qxplain 219/219
50.54/48.59	c 131346[?] 7828[?] 1124[?]  is mandatory 
50.54/48.59	c qxplain 206/218
50.74/48.70	c qxplain 213/218
50.84/48.81	c qxplain 216/218
50.94/48.92	c qxplain 218/218
51.04/49.03	c 131348[?] 7829[?] 1125[?]  is mandatory 
51.04/49.03	c qxplain 216/217
51.14/49.15	c qxplain 217/217
51.24/49.26	c 131350[?] 7830[?] 1126[?]  is mandatory 
51.24/49.26	c qxplain 216/216
51.34/49.37	c 131352[?] 7831[?] 1127[?]  is mandatory 
51.34/49.37	c qxplain 213/215
51.45/49.48	c qxplain 215/215
51.55/49.59	c 131354[?] 7832[?] 1128[?]  is mandatory 
51.55/49.59	c qxplain 213/214
51.74/49.70	c qxplain 214/214
51.84/49.81	c 131356[?] 7833[?] 1129[?]  is mandatory 
51.84/49.81	c qxplain 213/213
51.94/49.93	c 131358[?] 7834[?] 1130[?]  is mandatory 
51.94/49.93	c qxplain 206/212
52.04/50.04	c qxplain 210/212
52.14/50.15	c qxplain 212/212
52.24/50.27	c 131360[?] 7835[?] 1131[?]  is mandatory 
52.24/50.27	c qxplain 210/211
52.34/50.38	c qxplain 211/211
52.44/50.49	c 131362[?] 7836[?] 1132[?]  is mandatory 
52.44/50.49	c qxplain 210/210
52.55/50.60	c 131364[?] 7837[?] 1133[?]  is mandatory 
52.55/50.60	c qxplain 206/209
52.74/50.71	c qxplain 208/209
52.84/50.82	c qxplain 209/209
52.94/50.93	c 131366[?] 7838[?] 1134[?]  is mandatory 
52.94/50.93	c qxplain 208/208
53.04/51.04	c 131368[?] 7839[?] 1135[?]  is mandatory 
53.04/51.04	c qxplain 206/207
53.14/51.16	c qxplain 207/207
53.24/51.27	c 131370[?] 7840[?] 1136[?]  is mandatory 
53.24/51.27	c qxplain 206/206
53.34/51.38	c 131372[?] 7841[?] 1137[?]  is mandatory 
53.34/51.38	c qxplain 0/205
53.44/51.49	c qxplain 103/205
53.64/51.60	c qxplain 155/205
53.75/51.71	c qxplain 181/205
53.84/51.82	c qxplain 194/205
53.94/51.94	c qxplain 200/205
54.04/52.05	c qxplain 203/205
54.14/52.16	c qxplain 205/205
54.24/52.27	c 131374[?] 7842[?] 1138[?]  is mandatory 
54.24/52.27	c qxplain 203/204
54.34/52.38	c qxplain 204/204
54.44/52.49	c 131376[?] 7843[?] 1139[?]  is mandatory 
54.44/52.49	c qxplain 203/203
54.64/52.60	c 131378[?] 7844[?] 1140[?]  is mandatory 
54.64/52.60	c qxplain 200/202
54.74/52.71	c qxplain 202/202
54.85/52.82	c 131380[?] 7845[?] 1141[?]  is mandatory 
54.85/52.82	c qxplain 200/201
54.94/52.94	c qxplain 201/201
55.04/53.05	c 131382[?] 7846[?] 1142[?]  is mandatory 
55.04/53.05	c qxplain 200/200
55.14/53.16	c 131384[?] 7847[?] 1143[?]  is mandatory 
55.14/53.16	c qxplain 194/199
55.25/53.27	c qxplain 197/199
55.35/53.38	c qxplain 199/199
55.45/53.49	c 131386[?] 7848[?] 1144[?]  is mandatory 
55.45/53.49	c qxplain 197/198
55.65/53.60	c qxplain 198/198
55.75/53.71	c 131388[?] 7849[?] 1145[?]  is mandatory 
55.75/53.71	c qxplain 197/197
55.85/53.82	c 131390[?] 7850[?] -7818[?]  is mandatory 
55.85/53.82	c qxplain 194/196
55.96/53.93	c qxplain 196/196
56.05/54.04	c 131392[?] 7851[?] -7850[?] -7819[?]  is mandatory 
56.05/54.04	c qxplain 194/195
56.15/54.15	c qxplain 195/195
56.25/54.26	c 131395[?] 7852[?] -7851[?] -7820[?]  is mandatory 
56.25/54.26	c qxplain 194/194
56.35/54.37	c 131398[?] 7853[?] -7852[?] -7821[?]  is mandatory 
56.35/54.37	c qxplain 181/193
56.45/54.48	c qxplain 188/193
56.55/54.60	c qxplain 191/193
56.75/54.71	c qxplain 193/193
56.85/54.82	c 131401[?] 7854[?] -7853[?] -7822[?]  is mandatory 
56.85/54.82	c qxplain 191/192
56.96/54.93	c qxplain 192/192
57.06/55.04	c 131404[?] 7855[?] -7854[?] -7823[?]  is mandatory 
57.06/55.04	c qxplain 191/191
57.15/55.15	c 131407[?] 7856[?] -7855[?] -7824[?]  is mandatory 
57.15/55.15	c qxplain 188/190
57.25/55.26	c qxplain 190/190
57.35/55.37	c 131410[?] 7857[?] -7856[?] -7825[?]  is mandatory 
57.35/55.37	c qxplain 188/189
57.45/55.48	c qxplain 189/189
57.55/55.59	c 131413[?] 7858[?] -7857[?] -7826[?]  is mandatory 
57.55/55.59	c qxplain 188/188
58.15/55.90	c 131416[?] 7859[?] -7858[?] -7827[?]  is mandatory 
58.15/55.90	c qxplain 181/187
58.25/56.01	c qxplain 185/187
58.35/56.12	c qxplain 187/187
58.45/56.23	c 131419[?] 7860[?] -7859[?] -7828[?]  is mandatory 
58.45/56.23	c qxplain 185/186
58.55/56.35	c qxplain 186/186
58.65/56.46	c 131422[?] 7861[?] -7860[?] -7829[?]  is mandatory 
58.65/56.46	c qxplain 185/185
58.75/56.57	c 131425[?] 7862[?] -7861[?] -7830[?]  is mandatory 
58.75/56.57	c qxplain 181/184
58.85/56.69	c qxplain 183/184
59.05/56.81	c qxplain 184/184
59.15/56.92	c 131428[?] 7863[?] -7862[?] -7831[?]  is mandatory 
59.15/56.92	c qxplain 183/183
59.25/57.03	c 131431[?] 7864[?] -7863[?] -7832[?]  is mandatory 
59.25/57.03	c qxplain 181/182
59.35/57.14	c qxplain 182/182
59.45/57.25	c 131434[?] 7865[?] -7864[?] -7833[?]  is mandatory 
59.45/57.25	c qxplain 181/181
59.55/57.37	c 131437[?] 7866[?] -7865[?] -7834[?]  is mandatory 
59.55/57.37	c qxplain 155/180
59.65/57.48	c qxplain 168/180
59.75/57.59	c qxplain 175/180
59.95/57.70	c qxplain 178/180
60.05/57.81	c qxplain 180/180
60.15/57.92	c 131440[?] 7867[?] -7866[?] -7835[?]  is mandatory 
60.15/57.92	c qxplain 178/179
60.25/58.03	c qxplain 179/179
60.35/58.14	c 131443[?] 7868[?] -7867[?] -7836[?]  is mandatory 
60.35/58.14	c qxplain 178/178
60.45/58.25	c 131446[?] 7869[?] -7868[?] -7837[?]  is mandatory 
60.45/58.25	c qxplain 175/177
60.55/58.37	c qxplain 177/177
60.65/58.48	c 131449[?] 7870[?] -7869[?] -7838[?]  is mandatory 
60.65/58.48	c qxplain 175/176
60.75/58.59	c qxplain 176/176
60.95/58.70	c 131452[?] 7871[?] -7870[?] -7839[?]  is mandatory 
60.95/58.70	c qxplain 175/175
61.05/58.81	c 131455[?] 7872[?] -7871[?] -7840[?]  is mandatory 
61.05/58.81	c qxplain 168/174
61.15/58.92	c qxplain 172/174
61.25/59.03	c qxplain 174/174
61.35/59.14	c 131458[?] 7873[?] -7872[?] -7841[?]  is mandatory 
61.35/59.14	c qxplain 172/173
61.45/59.25	c qxplain 173/173
61.55/59.36	c 131461[?] 7874[?] -7873[?] -7842[?]  is mandatory 
61.55/59.36	c qxplain 172/172
61.65/59.48	c 131464[?] 7875[?] -7874[?] -7843[?]  is mandatory 
61.65/59.48	c qxplain 168/171
61.75/59.59	c qxplain 170/171
61.95/59.70	c qxplain 171/171
62.05/59.81	c 131467[?] 7876[?] -7875[?] -7844[?]  is mandatory 
62.05/59.81	c qxplain 170/170
62.15/59.92	c 131470[?] 7877[?] -7876[?] -7845[?]  is mandatory 
62.15/59.92	c qxplain 168/169
62.25/60.03	c qxplain 169/169
62.35/60.14	c 131473[?] 7878[?] -7877[?] -7846[?]  is mandatory 
62.35/60.14	c qxplain 168/168
62.45/60.25	c 131476[?] 7879[?] -7878[?] -7847[?]  is mandatory 
62.45/60.25	c qxplain 155/167
62.55/60.37	c qxplain 162/167
62.65/60.48	c qxplain 165/167
62.75/60.59	c qxplain 167/167
62.95/60.70	c 131479[?] 7880[?] -7879[?] -7848[?]  is mandatory 
62.95/60.70	c qxplain 165/166
63.05/60.81	c qxplain 166/166
63.15/60.92	c 131482[?] 7881[?] -7880[?] -7849[?]  is mandatory 
63.15/60.92	c qxplain 165/165
63.25/61.03	c 131486[?] 7817[?] -7881[?]  is mandatory 
63.25/61.03	c qxplain 162/164
63.35/61.14	c qxplain 164/164
63.45/61.25	c 131488[?] -7816[?] -7817[?]  is mandatory 
63.45/61.25	c qxplain 162/163
63.55/61.36	c qxplain 163/163
63.65/61.48	c 131491[?] -7882[?] 7816[?]  is mandatory 
63.65/61.48	c qxplain 162/162
63.75/61.59	c 131494[?] -7883[?] 7882[?]  is mandatory 
63.75/61.59	c qxplain 155/161
63.95/61.70	c qxplain 159/161
64.05/61.81	c qxplain 161/161
64.15/61.92	c 131497[?] -7884[?] 7883[?]  is mandatory 
64.15/61.92	c qxplain 159/160
64.25/62.03	c qxplain 160/160
64.35/62.14	c 131950[?] -8143[?] 7884[?]  is mandatory 
64.35/62.14	c qxplain 159/159
64.45/62.25	c 132377[?] -8338[?] 8143[?]  is mandatory 
64.45/62.25	c qxplain 155/158
64.55/62.37	c qxplain 157/158
64.65/62.48	c qxplain 158/158
64.75/62.59	c 132380[?] -8339[?] 8338[?]  is mandatory 
64.75/62.59	c qxplain 157/157
64.85/62.70	c 132383[?] -8340[?] 8339[?]  is mandatory 
64.85/62.70	c qxplain 155/156
65.04/62.81	c qxplain 156/156
65.14/62.92	c 132548[?] -8407[?] 8340[?]  is mandatory 
65.14/62.92	c qxplain 155/155
65.24/63.03	c 132552[?] -8408[?] 8407[?]  is mandatory 
65.24/63.03	c qxplain 103/154
65.35/63.14	c qxplain 129/154
65.45/63.25	c qxplain 142/154
65.55/63.36	c qxplain 149/154
65.65/63.47	c qxplain 152/154
65.75/63.59	c qxplain 154/154
65.85/63.70	c 132554[?] -8409[?] 8408[?]  is mandatory 
65.85/63.70	c qxplain 152/153
66.05/63.81	c qxplain 153/153
66.15/63.92	c 132719[?] -8476[?] 8407[?]  is mandatory 
66.15/63.92	c qxplain 152/152
66.25/64.03	c 132723[?] -8477[?] 8476[?]  is mandatory 
66.25/64.03	c qxplain 149/151
66.34/64.14	c qxplain 151/151
66.45/64.25	c 132725[?] -8478[?] 8477[?]  is mandatory 
66.45/64.25	c qxplain 149/150
66.55/64.36	c qxplain 150/150
66.65/64.48	c 132729[?] -8479[?] 8478[?] 261[?]  is mandatory 
66.65/64.48	c qxplain 149/149
66.75/64.59	c 132731[?] -8480[?] 8479[?]  is mandatory 
66.75/64.59	c qxplain 142/148
66.85/64.69	c qxplain 146/148
67.05/64.81	c qxplain 148/148
67.15/64.92	c 132734[?] -8481[?] 8480[?]  is mandatory 
67.15/64.92	c qxplain 146/147
67.68/65.26	c qxplain 147/147
67.78/65.37	c 132738[?] -8482[?] 8481[?] 261[?]  is mandatory 
67.78/65.37	c qxplain 146/146
67.88/65.49	c 133194[?] -8683[?] -1146[?]  is mandatory 
67.88/65.49	c qxplain 142/145
68.08/65.60	c qxplain 144/145
68.18/65.71	c qxplain 145/145
68.28/65.83	c 133198[?] 8482[?] -390[?] -8684[?]  is mandatory 
68.28/65.83	c qxplain 144/144
68.39/65.94	c 133200[?] 390[?] -8684[?] 8683[?]  is mandatory 
68.39/65.94	c qxplain 142/143
68.49/66.05	c qxplain 143/143
68.58/66.16	c 133202[?] -261[?] 8409[?] -8685[?]  is mandatory 
68.58/66.16	c qxplain 142/142
68.68/66.28	c 133204[?] 8684[?] 261[?] -8685[?]  is mandatory 
68.68/66.28	c qxplain 129/141
68.78/66.39	c qxplain 136/141
68.98/66.50	c qxplain 139/141
69.08/66.62	c qxplain 141/141
69.18/66.73	c 133206[?] -100[?] 8340[?] -8686[?]  is mandatory 
69.18/66.73	c qxplain 139/140
69.28/66.84	c qxplain 140/140
69.38/66.95	c 133208[?] 8685[?] 100[?] -8686[?]  is mandatory 
69.38/66.95	c qxplain 139/139
69.49/67.06	c 133373[?] 8686[?] -8753[?]  is mandatory 
69.49/67.06	c qxplain 136/138
69.59/67.18	c qxplain 138/138
69.68/67.29	c 133377[?] 8753[?] -8754[?]  is mandatory 
69.68/67.29	c qxplain 136/137
69.88/67.40	c qxplain 137/137
69.98/67.51	c 133379[?] 8754[?] -8755[?]  is mandatory 
69.98/67.51	c qxplain 136/136
70.08/67.62	c 133383[?] 8755[?] -8756[?]  is mandatory 
70.08/67.62	c qxplain 129/135
70.18/67.74	c qxplain 133/135
70.28/67.85	c qxplain 135/135
70.38/67.96	c 133385[?] 8756[?] -953[?] -8757[?]  is mandatory 
70.38/67.96	c qxplain 133/134
70.48/68.07	c qxplain 134/134
70.59/68.18	c 133386[?] 953[?] -8757[?]  is mandatory 
70.59/68.18	c qxplain 133/133
70.69/68.30	c 133389[?] -8758[?] 8757[?]  is mandatory 
70.69/68.30	c qxplain 129/132
70.88/68.41	c qxplain 131/132
70.98/68.52	c qxplain 132/132
71.08/68.63	c 133392[?] -8759[?] 8758[?]  is mandatory 
71.08/68.63	c qxplain 131/131
71.18/68.74	c 133395[?] -8760[?] 8759[?]  is mandatory 
71.18/68.74	c qxplain 129/130
71.28/68.85	c qxplain 130/130
71.38/68.97	c 133398[?] -8761[?] 8760[?]  is mandatory 
71.38/68.97	c qxplain 129/129
71.48/69.08	c 133401[?] -8762[?] 8761[?]  is mandatory 
71.48/69.08	c qxplain 103/128
71.58/69.19	c qxplain 116/128
71.69/69.30	c qxplain 123/128
71.88/69.41	c qxplain 126/128
71.98/69.52	c qxplain 128/128
72.08/69.64	c 133403[?] -8763[?] -6620[?] 8762[?]  is mandatory 
72.08/69.64	c qxplain 126/127
72.18/69.75	c qxplain 127/127
72.28/69.86	c 133405[?] -8763[?] 6620[?] 8760[?]  is mandatory 
72.28/69.86	c qxplain 126/126
72.38/69.97	c 133407[?] 8763[?] -8764[?]  is mandatory 
72.38/69.97	c qxplain 123/125
72.48/70.09	c qxplain 125/125
72.68/70.20	c 139838[?] -10984[?] 8764[?]  is mandatory 
72.68/70.20	c qxplain 123/124
72.79/70.31	c qxplain 124/124
72.89/70.42	c 140165[?] -11116[?] 10984[?]  is mandatory 
72.89/70.42	c qxplain 123/123
72.98/70.54	c 140331[?] -11183[?] 11116[?]  is mandatory 
72.98/70.54	c qxplain 116/122
73.08/70.65	c qxplain 120/122
73.18/70.76	c qxplain 122/122
73.28/70.87	c 140334[?] -11184[?] 11183[?]  is mandatory 
73.28/70.87	c qxplain 120/121
73.38/70.99	c qxplain 121/121
73.58/71.10	c 140336[?] -10985[?] -11185[?] 11116[?]  is mandatory 
73.58/71.10	c qxplain 120/120
73.68/71.21	c 140338[?] 10985[?] 11184[?] -11185[?]  is mandatory 
73.68/71.21	c qxplain 116/119
73.78/71.32	c qxplain 118/119
73.89/71.44	c qxplain 119/119
73.99/71.55	c 140340[?] -10853[?] 10984[?] -11186[?]  is mandatory 
73.99/71.55	c qxplain 118/118
74.08/71.66	c 140342[?] 11185[?] 10853[?] -11186[?]  is mandatory 
74.08/71.66	c qxplain 116/117
74.18/71.77	c qxplain 117/117
74.28/71.88	c 140344[?] 8764[?] -6620[?] -11187[?]  is mandatory 
74.28/71.88	c qxplain 116/116
74.38/72.00	c 140346[?] 11186[?] 6620[?] -11187[?]  is mandatory 
74.38/72.00	c qxplain 103/115
74.58/72.11	c qxplain 110/115
74.68/72.22	c qxplain 113/115
74.78/72.33	c qxplain 115/115
74.88/72.44	c 140348[?] -11188[?] 11187[?]  is mandatory 
74.88/72.44	c qxplain 113/114
74.99/72.56	c qxplain 114/114
75.09/72.67	c 140351[?] -11189[?] 11188[?]  is mandatory 
75.09/72.67	c qxplain 113/113
75.18/72.78	c 140354[?] -11190[?] 11189[?]  is mandatory 
75.18/72.78	c qxplain 110/112
75.28/72.90	c qxplain 112/112
75.48/73.01	c 140519[?] -11257[?] 11188[?]  is mandatory 
75.48/73.01	c qxplain 110/111
75.58/73.12	c qxplain 111/111
75.68/73.23	c 140523[?] -11258[?] 11257[?]  is mandatory 
75.68/73.23	c qxplain 110/110
75.78/73.34	c 140525[?] -11259[?] 11258[?]  is mandatory 
75.78/73.34	c qxplain 103/109
75.88/73.46	c qxplain 107/109
75.98/73.57	c qxplain 109/109
76.09/73.68	c 140528[?] -11260[?] 11259[?]  is mandatory 
76.09/73.68	c qxplain 107/108
76.19/73.79	c qxplain 108/108
76.38/73.91	c 140531[?] -11261[?] 11260[?]  is mandatory 
76.38/73.91	c qxplain 107/107
76.48/74.02	c 140696[?] -11328[?] 11259[?]  is mandatory 
76.48/74.02	c qxplain 103/106
76.58/74.13	c qxplain 105/106
76.68/74.24	c qxplain 106/106
76.78/74.36	c 140699[?] -11329[?] 11328[?]  is mandatory 
76.78/74.36	c qxplain 105/105
76.88/74.47	c 141544[?] -11733[?] 11329[?]  is mandatory 
76.88/74.47	c qxplain 103/104
76.99/74.59	c qxplain 104/104
77.19/74.70	c 141548[?] -11734[?] 11733[?]  is mandatory 
77.19/74.70	c qxplain 103/103
77.29/74.81	c 141713[?] -11801[?] 11734[?]  is mandatory 
77.29/74.81	c qxplain 0/102
77.39/74.93	c qxplain 52/102
77.49/75.04	c qxplain 78/102
77.59/75.15	c qxplain 91/102
77.69/75.27	c qxplain 97/102
77.79/75.38	c qxplain 100/102
77.89/75.49	c qxplain 102/102
78.09/75.60	c 141717[?] -11802[?] 11801[?]  is mandatory 
78.09/75.60	c qxplain 100/101
78.19/75.72	c qxplain 101/101
78.29/75.83	c 141719[?] -11803[?] -4457[?] 11734[?]  is mandatory 
78.29/75.83	c qxplain 100/100
78.39/75.94	c 141721[?] -11803[?] 4457[?] 11802[?]  is mandatory 
78.39/75.94	c qxplain 97/99
78.49/76.05	c qxplain 99/99
78.59/76.16	c 141724[?] -11804[?] 11803[?]  is mandatory 
78.59/76.16	c qxplain 97/98
78.69/76.28	c qxplain 98/98
78.79/76.39	c 141726[?] -11805[?] 11804[?]  is mandatory 
78.79/76.39	c qxplain 97/97
78.99/76.50	c 141730[?] -11806[?] 11805[?]  is mandatory 
78.99/76.50	c qxplain 91/96
79.09/76.61	c qxplain 94/96
79.19/76.73	c qxplain 96/96
79.29/76.84	c 141732[?] -11807[?] 11804[?] -4457[?]  is mandatory 
79.29/76.84	c qxplain 94/95
79.39/76.95	c qxplain 95/95
79.49/77.06	c 141734[?] -11807[?] 11806[?] 4457[?]  is mandatory 
79.49/77.06	c qxplain 94/94
79.59/77.17	c 141737[?] -11808[?] 11807[?]  is mandatory 
79.59/77.17	c qxplain 91/93
79.69/77.29	c qxplain 93/93
79.89/77.40	c 141739[?] -11809[?] 11808[?]  is mandatory 
79.89/77.40	c qxplain 91/92
79.99/77.51	c qxplain 92/92
80.09/77.62	c 141743[?] 11809[?] -11810[?]  is mandatory 
80.09/77.62	c qxplain 91/91
80.19/77.74	c 141745[?] 11808[?] -11811[?] -4457[?]  is mandatory 
80.19/77.74	c qxplain 78/90
80.29/77.85	c qxplain 85/90
80.39/77.96	c qxplain 88/90
80.49/78.08	c qxplain 90/90
80.59/78.19	c 141747[?] 11810[?] -11811[?] 4457[?]  is mandatory 
80.59/78.19	c qxplain 88/89
80.79/78.30	c qxplain 89/89
80.89/78.42	c 141750[?] 11811[?] -11812[?]  is mandatory 
80.89/78.42	c qxplain 88/88
80.99/78.53	c 141753[?] 11812[?] -11813[?]  is mandatory 
80.99/78.53	c qxplain 85/87
81.09/78.64	c qxplain 87/87
81.19/78.75	c 141755[?] 11813[?] -11814[?]  is mandatory 
81.19/78.75	c qxplain 85/86
81.29/78.87	c qxplain 86/86
81.39/78.98	c 141759[?] 11814[?] -11815[?]  is mandatory 
81.39/78.98	c qxplain 85/85
81.49/79.09	c 141761[?] 11813[?] -4457[?] -11816[?]  is mandatory 
81.49/79.09	c qxplain 78/84
81.69/79.20	c qxplain 82/84
81.79/79.32	c qxplain 84/84
81.89/79.43	c 141763[?] 11815[?] -11816[?] 4457[?]  is mandatory 
81.89/79.43	c qxplain 82/83
81.99/79.54	c qxplain 83/83
82.09/79.65	c 141765[?] -11817[?] 11816[?]  is mandatory 
82.09/79.65	c qxplain 82/82
82.19/79.77	c 142975[?] -12344[?] 11817[?]  is mandatory 
82.19/79.77	c qxplain 78/81
82.29/79.88	c qxplain 80/81
82.39/79.99	c qxplain 81/81
82.59/80.10	c 142978[?] -12345[?] 12344[?]  is mandatory 
82.59/80.10	c qxplain 80/80
82.69/80.21	c 144010[?] -12815[?] 12345[?]  is mandatory 
82.69/80.21	c qxplain 78/79
82.80/80.33	c qxplain 79/79
82.89/80.44	c 144176[?] -12882[?] 12344[?]  is mandatory 
82.89/80.44	c qxplain 78/78
82.99/80.55	c 144723[?] -13092[?] 12882[?]  is mandatory 
82.99/80.55	c qxplain 52/77
83.09/80.66	c qxplain 65/77
83.19/80.78	c qxplain 72/77
83.29/80.89	c qxplain 75/77
83.49/81.00	c qxplain 77/77
83.59/81.11	c 144726[?] -12213[?] -13093[?] 12815[?]  is mandatory 
83.59/81.11	c qxplain 75/76
83.69/81.22	c qxplain 76/76
83.79/81.34	c 144728[?] 12213[?] -13093[?] 13092[?]  is mandatory 
83.79/81.34	c qxplain 75/75
83.90/81.45	c 145278[?] -13290[?] 13093[?]  is mandatory 
83.90/81.45	c qxplain 72/74
83.99/81.56	c qxplain 74/74
84.09/81.67	c 145701[?] -13487[?] 13290[?]  is mandatory 
84.09/81.67	c qxplain 72/73
84.19/81.79	c qxplain 73/73
84.39/81.90	c 145704[?] -13488[?] 13487[?]  is mandatory 
84.39/81.90	c qxplain 72/72
84.49/82.01	c 145707[?] -13489[?] 13488[?]  is mandatory 
84.49/82.01	c qxplain 65/71
84.59/82.12	c qxplain 69/71
84.69/82.24	c qxplain 71/71
84.79/82.35	c 146033[?] -13653[?] 13487[?]  is mandatory 
84.79/82.35	c qxplain 69/70
84.90/82.46	c qxplain 70/70
85.01/82.57	c 146246[?] -13749[?] 13653[?]  is mandatory 
85.01/82.57	c qxplain 69/69
85.10/82.68	c 146250[?] -13750[?] 13749[?]  is mandatory 
85.10/82.68	c qxplain 65/68
85.20/82.80	c qxplain 67/68
85.40/82.91	c qxplain 68/68
85.50/83.02	c 146415[?] -13849[?] 13750[?]  is mandatory 
85.50/83.02	c qxplain 67/67
85.60/83.14	c 146581[?] -13948[?] 13849[?]  is mandatory 
85.60/83.14	c qxplain 65/66
85.70/83.25	c qxplain 66/66
85.80/83.36	c 146586[?] -13951[?] 13948[?]  is mandatory 
85.80/83.36	c qxplain 65/65
85.90/83.47	c 146752[?] -14050[?] 13951[?]  is mandatory 
85.90/83.47	c qxplain 52/64
86.01/83.59	c qxplain 59/64
86.20/83.70	c qxplain 62/64
86.30/83.81	c qxplain 64/64
86.40/83.93	c 146918[?] -14149[?] 14050[?]  is mandatory 
86.40/83.93	c qxplain 62/63
86.50/84.04	c qxplain 63/63
86.60/84.15	c 146921[?] -14150[?] 14149[?]  is mandatory 
86.60/84.15	c qxplain 62/62
86.70/84.26	c 146923[?] -13522[?] -14151[?] 13653[?]  is mandatory 
86.70/84.26	c qxplain 59/61
86.80/84.37	c qxplain 61/61
86.90/84.49	c 146925[?] 13522[?] -14151[?] 14150[?]  is mandatory 
86.90/84.49	c qxplain 59/60
87.11/84.60	c qxplain 60/60
87.21/84.71	c 146927[?] -13356[?] -14152[?] 13489[?]  is mandatory 
87.21/84.71	c qxplain 59/59
87.30/84.82	c 146929[?] 13356[?] -14152[?] 14151[?]  is mandatory 
87.30/84.82	c qxplain 52/58
87.40/84.94	c qxplain 56/58
87.50/85.05	c qxplain 58/58
87.60/85.16	c 146931[?] -11980[?] -14153[?] 13290[?]  is mandatory 
87.60/85.16	c qxplain 56/57
87.70/85.27	c qxplain 57/57
87.80/85.38	c 146933[?] 11980[?] -14153[?] 14152[?]  is mandatory 
87.80/85.38	c qxplain 56/56
88.00/85.50	c 146935[?] -14154[?] 14153[?]  is mandatory 
88.00/85.50	c qxplain 52/55
88.10/85.61	c qxplain 54/55
88.21/85.72	c qxplain 55/55
88.31/85.84	c 147101[?] -14253[?] 14154[?]  is mandatory 
88.31/85.84	c qxplain 54/54
88.40/85.95	c 147267[?] -14352[?] 14253[?]  is mandatory 
88.40/85.95	c qxplain 52/53
88.50/86.06	c qxplain 53/53
88.60/86.17	c 147270[?] -14353[?] 14352[?]  is mandatory 
88.60/86.17	c qxplain 52/52
88.70/86.28	c 147596[?] -14485[?] 14153[?]  is mandatory 
88.70/86.28	c qxplain 0/51
88.90/86.40	c qxplain 26/51
89.00/86.51	c qxplain 39/51
89.10/86.62	c qxplain 46/51
89.20/86.74	c qxplain 49/51
89.31/86.85	c qxplain 51/51
89.41/86.96	c 147763[?] -14552[?] 14485[?]  is mandatory 
89.41/86.96	c qxplain 49/50
89.50/87.07	c qxplain 50/50
89.60/87.19	c 147928[?] -14651[?] 14552[?]  is mandatory 
89.60/87.19	c qxplain 49/49
89.70/87.30	c 148094[?] -14750[?] 14651[?]  is mandatory 
89.70/87.30	c qxplain 46/48
89.90/87.41	c qxplain 48/48
90.00/87.52	c 148097[?] -14751[?] 14750[?]  is mandatory 
90.00/87.52	c qxplain 46/47
90.10/87.63	c qxplain 47/47
90.20/87.75	c 148099[?] -14354[?] -14752[?] 14485[?]  is mandatory 
90.20/87.75	c qxplain 46/46
90.30/87.86	c 148101[?] 14354[?] -14752[?] 14751[?]  is mandatory 
90.30/87.86	c qxplain 39/45
90.41/87.97	c qxplain 43/45
90.51/88.08	c qxplain 45/45
90.60/88.19	c 148103[?] -2698[?] -14753[?] 14353[?]  is mandatory 
90.60/88.19	c qxplain 43/44
90.80/88.31	c qxplain 44/44
90.90/88.42	c 148105[?] 14752[?] 2698[?] -14753[?]  is mandatory 
90.90/88.42	c qxplain 43/43
91.00/88.53	c 148560[?] -14948[?] 14753[?]  is mandatory 
91.00/88.53	c qxplain 39/42
91.10/88.64	c qxplain 41/42
91.20/88.75	c qxplain 42/42
91.30/88.87	c 150073[?] -15702[?] 3085[?] 14948[?]  is mandatory 
91.30/88.87	c qxplain 41/41
91.40/88.98	c 150075[?] -15703[?] 15702[?]  is mandatory 
91.40/88.98	c qxplain 39/40
91.51/89.09	c qxplain 40/40
91.70/89.21	c 150241[?] -15802[?] 15703[?]  is mandatory 
91.70/89.21	c qxplain 39/39
91.80/89.33	c 150407[?] -15901[?] 15802[?]  is mandatory 
91.80/89.33	c qxplain 26/38
91.90/89.45	c qxplain 33/38
92.00/89.56	c qxplain 36/38
92.10/89.67	c qxplain 38/38
92.20/89.79	c 150410[?] -15902[?] 15901[?]  is mandatory 
92.20/89.79	c qxplain 36/37
92.40/89.90	c qxplain 37/37
92.50/90.01	c 150865[?] -16097[?] 15702[?]  is mandatory 
92.50/90.01	c qxplain 36/36
92.61/90.13	c 150868[?] -16098[?] 16097[?]  is mandatory 
92.61/90.13	c qxplain 33/35
92.71/90.24	c qxplain 35/35
92.80/90.35	c 150871[?] -16099[?] 16098[?]  is mandatory 
92.80/90.35	c qxplain 33/34
92.90/90.46	c qxplain 34/34
93.00/90.58	c 151036[?] -16166[?] 16097[?]  is mandatory 
93.00/90.58	c qxplain 33/33
93.10/90.69	c 151362[?] -16297[?] 16166[?]  is mandatory 
93.10/90.69	c qxplain 26/32
93.30/90.80	c qxplain 30/32
93.40/90.91	c qxplain 32/32
93.50/91.03	c 151365[?] -16298[?] 16297[?]  is mandatory 
93.50/91.03	c qxplain 30/31
93.60/91.14	c qxplain 31/31
93.71/91.25	c 151369[?] -16299[?] 5462[?] 16298[?]  is mandatory 
93.71/91.25	c qxplain 30/30
93.81/91.36	c 151371[?] -5229[?] -16300[?] 16099[?]  is mandatory 
93.81/91.36	c qxplain 26/29
93.90/91.48	c qxplain 28/29
94.00/91.59	c qxplain 29/29
94.20/91.71	c 151373[?] 16299[?] -16300[?] 5229[?]  is mandatory 
94.20/91.71	c qxplain 28/28
94.30/91.82	c 151375[?] -4939[?] -16301[?] 15902[?]  is mandatory 
94.30/91.82	c qxplain 26/27
94.40/91.93	c qxplain 27/27
94.50/92.04	c 151377[?] 16300[?] -16301[?] 4939[?]  is mandatory 
94.50/92.04	c qxplain 26/26
94.60/92.16	c 151381[?] -16302[?] 16301[?] 3085[?]  is mandatory 
94.60/92.16	c qxplain 0/25
94.70/92.27	c qxplain 13/25
94.81/92.38	c qxplain 20/25
94.91/92.50	c qxplain 23/25
95.10/92.61	c qxplain 25/25
95.20/92.72	c 151384[?] -16303[?] 16302[?]  is mandatory 
95.20/92.72	c qxplain 23/24
95.30/92.83	c qxplain 24/24
95.40/92.95	c 151386[?] -16304[?] -2569[?] 11817[?]  is mandatory 
95.40/92.95	c qxplain 23/23
95.50/93.06	c 151388[?] -16304[?] 16303[?] 2569[?]  is mandatory 
95.50/93.06	c qxplain 20/22
95.60/93.17	c qxplain 22/22
95.70/93.28	c 151390[?] -16305[?] 16304[?]  is mandatory 
95.70/93.28	c qxplain 20/21
95.80/93.39	c qxplain 21/21
96.01/93.51	c 151393[?] -16306[?] 16305[?]  is mandatory 
96.01/93.51	c qxplain 20/20
96.10/93.62	c 151395[?] 16306[?] -11396[?] -16307[?]  is mandatory 
96.10/93.62	c qxplain 13/19
96.20/93.73	c qxplain 17/19
96.30/93.84	c qxplain 19/19
96.40/93.96	c 151397[?] 11396[?] -16307[?] 16304[?]  is mandatory 
96.40/93.96	c qxplain 17/18
96.50/94.07	c qxplain 18/18
96.60/94.18	c 152530[?] 16307[?] -16849[?] -5719[?]  is mandatory 
96.60/94.18	c qxplain 17/17
96.71/94.29	c 152534[?] -2859[?] -16850[?] 14753[?]  is mandatory 
96.71/94.29	c qxplain 13/16
96.91/94.41	c qxplain 15/16
97.02/94.52	c qxplain 16/16
97.12/94.63	c 152536[?] 16849[?] -16850[?] 2859[?]  is mandatory 
97.12/94.63	c qxplain 15/15
97.21/94.74	c 152538[?] 16307[?] -2569[?] -16851[?]  is mandatory 
97.21/94.74	c qxplain 13/14
97.31/94.85	c qxplain 14/14
97.41/94.97	c 152540[?] 16850[?] -16851[?] 2569[?]  is mandatory 
97.41/94.97	c qxplain 13/13
97.51/95.08	c 152544[?] 16851[?] -16852[?] 2304[?]  is mandatory 
97.51/95.08	c qxplain 0/12
97.61/95.19	c qxplain 7/12
97.81/95.30	c qxplain 10/12
97.91/95.42	c qxplain 12/12
98.01/95.53	c 152546[?] -2175[?] -16853[?] 11261[?]  is mandatory 
98.01/95.53	c qxplain 10/11
98.12/95.64	c qxplain 11/11
98.22/95.75	c 152548[?] 16852[?] -16853[?] 2175[?]  is mandatory 
98.22/95.75	c qxplain 10/10
98.31/95.87	c 152550[?] 16853[?] -2046[?] -16854[?]  is mandatory 
98.31/95.87	c qxplain 7/9
98.41/95.98	c qxplain 9/9
98.51/96.09	c 152552[?] 2046[?] -16854[?] 11258[?]  is mandatory 
98.51/96.09	c qxplain 7/8
98.71/96.20	c qxplain 8/8
98.81/96.32	c 152619[?] 16854[?] -1821[?] -16923[?]  is mandatory 
98.81/96.32	c qxplain 7/7
98.91/96.43	c 152623[?] -1460[?] -16924[?] 11190[?]  is mandatory 
98.91/96.43	c qxplain 0/6
99.01/96.54	c qxplain 4/6
99.11/96.65	c qxplain 6/6
99.22/96.77	c 152625[?] 16923[?] -16924[?] 1460[?]  is mandatory 
99.22/96.77	c qxplain 4/5
99.32/96.88	c qxplain 5/5
99.41/96.99	c 152627[?] -551[?] -16925[?] 11187[?]  is mandatory 
99.41/96.99	c qxplain 4/4
99.61/97.11	c 152629[?] 16924[?] 551[?] -16925[?]  is mandatory 
99.61/97.11	c qxplain 0/3
99.71/97.22	c qxplain 2/3
99.81/97.33	c qxplain 3/3
99.91/97.44	c 152631[?] 6201[?] -16926[?]  is mandatory 
99.91/97.44	c qxplain 2/2
100.01/97.56	c 152632[?] 16925[?] -16926[?]  is mandatory 
100.01/97.56	c qxplain 0/1
100.11/97.67	c qxplain 1/1
100.21/97.78	c 152635[?] 16926[?] -16927[?]  is mandatory 
100.21/97.78	c qxplain 0/0
100.32/97.89	c 473201[?] 16927[?] 112784[?]  is mandatory 
100.77/98.16	c Size of the MUS: 398
100.77/98.16	c Unsat core  computation wall clock time (in seconds) : 95.782
100.77/98.16	c starts		: 810
100.77/98.16	c conflicts		: 147
100.77/98.16	c decisions		: 91068779
100.77/98.16	c propagations		: 384169470
100.77/98.16	c inspects		: 8367712
100.77/98.16	c shortcuts		: 0
100.77/98.16	c learnt literals	: 0
100.77/98.16	c learnt binary clauses	: 0
100.77/98.16	c learnt ternary clauses	: 2
100.77/98.16	c learnt constraints	: 146
100.77/98.16	c ignored constraints	: 0
100.77/98.16	c root simplifications	: 0
100.77/98.16	c removed literals (reason simplification)	: 1298
100.77/98.16	c reason swapping (by a shorter reason)	: 0
100.77/98.16	c Calls to reduceDB	: 0
100.77/98.16	c speed (assignments/second)	: 1.000441328125E9
100.77/98.16	c non guided choices	91065203
100.77/98.16	c learnt constraints type 
100.77/98.16	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 146
100.77/98.16	c constraints type 
100.77/98.16	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 357327
100.77/98.16	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 3092
100.77/98.16	s UNSATISFIABLE
100.77/98.17	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
100.77/98.17	c Total wall clock time (in seconds) : 98.069

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

running on 2 cores: 4,6

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


[startup+0 s]
/proc/loadavg: 4.58 3.52 1.87 5/243 18564
/proc/meminfo: memFree=25331144/32951124 swapFree=67053960/67111528
[pid=18564] ppid=18562 vsize=30580 CPUtime=0 cores=4,6
/proc/18564/stat : 18564 (java) S 18562 18564 21547 0 -1 4202496 1211 0 0 0 0 0 0 0 25 0 2 0 872336585 31313920 936 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107253733 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/18564/statm: 7645 937 712 9 0 383 0
[pid=18564/tid=18565] ppid=18562 vsize=30536 CPUtime=0 cores=4,6
/proc/18564/task/18565/stat : 18565 (java) R 18562 18564 21547 0 -1 4202560 130 0 0 0 0 0 0 0 25 0 2 0 872336586 31268864 963 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228090527463 0 0 0 16784584 0 0 0 -1 4 0 0 0

[startup+0.090492 s]
/proc/loadavg: 4.58 3.52 1.87 5/243 18564
/proc/meminfo: memFree=25331144/32951124 swapFree=67053960/67111528
[pid=18564] ppid=18562 vsize=6364156 CPUtime=0.08 cores=4,6
/proc/18564/stat : 18564 (java) S 18562 18564 21547 0 -1 4202496 8909 0 1 0 7 1 0 0 25 0 18 0 872336585 6516895744 8605 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/18564/statm: 1591039 8605 1751 9 0 1581777 0
[pid=18564/tid=18565] ppid=18562 vsize=6364156 CPUtime=0.08 cores=4,6
/proc/18564/task/18565/stat : 18565 (java) R 18562 18564 21547 0 -1 4202560 7733 0 1 0 7 1 0 0 25 0 18 0 872336586 6516895744 8605 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 47905455419397 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6364156

[startup+0.100457 s]
/proc/loadavg: 4.58 3.52 1.87 5/243 18564
/proc/meminfo: memFree=25331144/32951124 swapFree=67053960/67111528
[pid=18564] ppid=18562 vsize=6430768 CPUtime=0.1 cores=4,6
/proc/18564/stat : 18564 (java) S 18562 18564 21547 0 -1 4202496 9623 0 1 0 9 1 0 0 25 0 18 0 872336585 6585106432 9319 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/18564/statm: 1607692 9320 2060 9 0 1598430 0
[pid=18564/tid=18565] ppid=18562 vsize=6430768 CPUtime=0.08 cores=4,6
/proc/18564/task/18565/stat : 18565 (java) R 18562 18564 21547 0 -1 4202560 7874 0 1 0 7 1 0 0 18 0 18 0 872336586 6585106432 9320 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228095112225 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 6430768

[startup+0.300454 s]
/proc/loadavg: 4.58 3.52 1.87 5/243 18564
/proc/meminfo: memFree=25331144/32951124 swapFree=67053960/67111528
[pid=18564] ppid=18562 vsize=6433476 CPUtime=0.46 cores=4,6
/proc/18564/stat : 18564 (java) S 18562 18564 21547 0 -1 4202496 20553 0 1 0 44 2 0 0 25 0 18 0 872336585 6587879424 19851 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/18564/statm: 1608369 19855 2197 9 0 1599107 0
[pid=18564/tid=18565] ppid=18562 vsize=6433476 CPUtime=0.28 cores=4,6
/proc/18564/task/18565/stat : 18565 (java) R 18562 18564 21547 0 -1 4202560 17596 0 1 0 26 2 0 0 18 0 18 0 872336586 6587879424 19857 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 46912505521435 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 6433476

[startup+0.705058 s]
/proc/loadavg: 4.58 3.52 1.87 5/243 18564
/proc/meminfo: memFree=25331144/32951124 swapFree=67053960/67111528
[pid=18564] ppid=18562 vsize=6433476 CPUtime=0.93 cores=4,6
/proc/18564/stat : 18564 (java) S 18562 18564 21547 0 -1 4202496 59759 0 1 0 86 7 0 0 25 0 18 0 872336585 6587879424 59057 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/18564/statm: 1608369 59057 2210 9 0 1599107 0
[pid=18564/tid=18565] ppid=18562 vsize=6433476 CPUtime=0.68 cores=4,6
/proc/18564/task/18565/stat : 18565 (java) R 18562 18564 21547 0 -1 4202560 56782 0 1 0 62 6 0 0 18 0 18 0 872336586 6587879424 59057 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 46912505194179 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.93
Current children cumulated vsize (KiB) 6433476

[startup+1.50127 s]
/proc/loadavg: 4.70 3.56 1.89 5/262 18588
/proc/meminfo: memFree=25085012/32951124 swapFree=67053960/67111528
[pid=18564] ppid=18562 vsize=6436876 CPUtime=2.19 cores=4,6
/proc/18564/stat : 18564 (java) S 18562 18564 21547 0 -1 4202496 66411 0 1 0 212 7 0 0 25 0 19 0 872336585 6591361024 65204 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/18564/statm: 1609219 65204 2222 9 0 1599957 0
[pid=18564/tid=18565] ppid=18562 vsize=6436876 CPUtime=1.48 cores=4,6
/proc/18564/task/18565/stat : 18565 (java) R 18562 18564 21547 0 -1 4202560 62208 0 1 0 141 7 0 0 21 0 19 0 872336586 6591361024 65204 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 46912505877649 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=18564/tid=18567] ppid=18562 vsize=6436876 CPUtime=0 cores=4,6
/proc/18564/task/18567/stat : 18567 (java) S 18562 18564 21547 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 872336587 6591361024 65204 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 4 0 0 0
[pid=18564/tid=18568] ppid=18562 vsize=6436876 CPUtime=0 cores=4,6
/proc/18564/task/18568/stat : 18568 (java) S 18562 18564 21547 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 872336587 6591361024 65204 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 4 0 0 0
[pid=18564/tid=18569] ppid=18562 vsize=6436876 CPUtime=0 cores=4,6
/proc/18564/task/18569/stat : 18569 (java) S 18562 18564 21547 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 872336587 6591361024 65204 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 4 0 0 0
[pid=18564/tid=18570] ppid=18562 vsize=6436876 CPUtime=0 cores=4,6
/proc/18564/task/18570/stat : 18570 (java) S 18562 18564 21547 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 872336587 6591361024 65204 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 4 0 0 0
[pid=18564/tid=18571] ppid=18562 vsize=6436876 CPUtime=0 cores=4,6
/proc/18564/task/18571/stat : 18571 (java) S 18562 18564 21547 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 872336587 6591361024 65204 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 4 0 0 0
[pid=18564/tid=18572] ppid=18562 vsize=6436876 CPUtime=0 cores=4,6
/proc/18564/task/18572/stat : 18572 (java) S 18562 18564 21547 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 872336587 6591361024 65204 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 4 0 0 0
[pid=18564/tid=18573] ppid=18562 vsize=6436876 CPUtime=0 cores=4,6
/proc/18564/task/18573/stat : 18573 (java) S 18562 18564 21547 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 872336587 6591361024 65204 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 4 0 0 0
[pid=18564/tid=18574] ppid=18562 vsize=6436876 CPUtime=0 cores=4,6
/proc/18564/task/18574/stat : 18574 (java) S 18562 18564 21547 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 872336587 6591361024 65204 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 4 0 0 0
[pid=18564/tid=18576] ppid=18562 vsize=6436876 CPUtime=0 cores=4,6
/proc/18564/task/18576/stat : 18576 (java) S 18562 18564 21547 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 872336588 6591361024 65204 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107267584 0 0 0 16800975 18446604453985579968 0 0 -1 4 0 0 0
[pid=18564/tid=18577] ppid=18562 vsize=6436876 CPUtime=0 cores=4,6
/proc/18564/task/18577/stat : 18577 (java) S 18562 18564 21547 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 872336588 6591361024 65204 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 4 0 0 0
[pid=18564/tid=18578] ppid=18562 vsize=6436876 CPUtime=0 cores=4,6
/proc/18564/task/18578/stat : 18578 (java) S 18562 18564 21547 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 872336588 6591361024 65204 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 4 0 0 0
[pid=18564/tid=18579] ppid=18562 vsize=6436876 CPUtime=0 cores=4,6
/proc/18564/task/18579/stat : 18579 (java) S 18562 18564 21547 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 872336590 6591361024 65204 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107274673 0 4 0 16800975 18446604453985579968 0 0 -1 4 0 0 0
[pid=18564/tid=18580] ppid=18562 vsize=6436876 CPUtime=0.57 cores=4,6
/proc/18564/task/18580/stat : 18580 (java) S 18562 18564 21547 0 -1 4202560 2189 0 0 0 57 0 0 0 15 0 19 0 872336590 6591361024 65204 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 6 0 0 0
[pid=18564/tid=18581] ppid=18562 vsize=6436876 CPUtime=0.12 cores=4,6
/proc/18564/task/18581/stat : 18581 (java) S 18562 18564 21547 0 -1 4202560 852 0 0 0 12 0 0 0 17 0 19 0 872336590 6591361024 65204 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 6 0 0 0
[pid=18564/tid=18582] ppid=18562 vsize=6436876 CPUtime=0 cores=4,6
/proc/18564/task/18582/stat : 18582 (java) S 18562 18564 21547 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 872336590 6591361024 65204 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 4 0 0 0
[pid=18564/tid=18583] ppid=18562 vsize=6436876 CPUtime=0 cores=4,6
/proc/18564/task/18583/stat : 18583 (java) S 18562 18564 21547 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 872336590 6591361024 65204 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107267584 0 4 0 16800975 18446604453985579968 0 0 -1 4 0 0 0
[pid=18564/tid=18588] ppid=18562 vsize=6436876 CPUtime=0 cores=4,6
/proc/18564/task/18588/stat : 18588 (java) S 18562 18564 21547 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 872336672 6591361024 65204 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107267584 0 4 0 16800975 18446604453985579968 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.19
Current children cumulated vsize (KiB) 6436876

[startup+3.10091 s]
/proc/loadavg: 4.70 3.56 1.89 5/262 18592
/proc/meminfo: memFree=25077448/32951124 swapFree=67053960/67111528
[pid=18564] ppid=18562 vsize=6436592 CPUtime=4 cores=4,6
/proc/18564/stat : 18564 (java) S 18562 18564 21547 0 -1 4202496 86641 0 1 0 391 9 0 0 25 0 19 0 872336585 6591070208 85035 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/18564/statm: 1609148 85035 2228 9 0 1599886 0
[pid=18564/tid=18565] ppid=18562 vsize=6436592 CPUtime=3.06 cores=4,6
/proc/18564/task/18565/stat : 18565 (java) R 18562 18564 21547 0 -1 4202560 82048 0 1 0 297 9 0 0 25 0 19 0 872336586 6591070208 85035 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 46912505741377 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=18564/tid=18567] ppid=18562 vsize=6436592 CPUtime=0 cores=4,6
/proc/18564/task/18567/stat : 18567 (java) S 18562 18564 21547 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 872336587 6591070208 85035 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 4 0 0 0
[pid=18564/tid=18568] ppid=18562 vsize=6436592 CPUtime=0 cores=4,6
/proc/18564/task/18568/stat : 18568 (java) S 18562 18564 21547 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 872336587 6591070208 85035 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 4 0 0 0
[pid=18564/tid=18569] ppid=18562 vsize=6436592 CPUtime=0 cores=4,6
/proc/18564/task/18569/stat : 18569 (java) S 18562 18564 21547 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 872336587 6591070208 85035 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 4 0 0 0
[pid=18564/tid=18570] ppid=18562 vsize=6436592 CPUtime=0 cores=4,6
/proc/18564/task/18570/stat : 18570 (java) S 18562 18564 21547 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 872336587 6591070208 85035 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 4 0 0 0
[pid=18564/tid=18571] ppid=18562 vsize=6436592 CPUtime=0 cores=4,6
/proc/18564/task/18571/stat : 18571 (java) S 18562 18564 21547 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 872336587 6591070208 85035 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 4 0 0 0
[pid=18564/tid=18572] ppid=18562 vsize=6436592 CPUtime=0 cores=4,6
/proc/18564/task/18572/stat : 18572 (java) S 18562 18564 21547 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 872336587 6591070208 85035 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 4 0 0 0
[pid=18564/tid=18573] ppid=18562 vsize=6436592 CPUtime=0 cores=4,6
/proc/18564/task/18573/stat : 18573 (java) S 18562 18564 21547 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 872336587 6591070208 85035 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 4 0 0 0
[pid=18564/tid=18574] ppid=18562 vsize=6436592 CPUtime=0 cores=4,6
/proc/18564/task/18574/stat : 18574 (java) S 18562 18564 21547 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 872336587 6591070208 85035 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 4 0 0 0
[pid=18564/tid=18576] ppid=18562 vsize=6436592 CPUtime=0 cores=4,6
/proc/18564/task/18576/stat : 18576 (java) S 18562 18564 21547 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 872336588 6591070208 85035 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107267584 0 0 0 16800975 18446604453985579968 0 0 -1 4 0 0 0
[pid=18564/tid=18577] ppid=18562 vsize=6436592 CPUtime=0 cores=4,6
/proc/18564/task/18577/stat : 18577 (java) S 18562 18564 21547 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 872336588 6591070208 85035 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 4 0 0 0
[pid=18564/tid=18578] ppid=18562 vsize=6436592 CPUtime=0 cores=4,6
/proc/18564/task/18578/stat : 18578 (java) S 18562 18564 21547 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 872336588 6591070208 85035 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 4 0 0 0
[pid=18564/tid=18579] ppid=18562 vsize=6436592 CPUtime=0 cores=4,6
/proc/18564/task/18579/stat : 18579 (java) S 18562 18564 21547 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 872336590 6591070208 85035 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107274673 0 4 0 16800975 18446604453985579968 0 0 -1 4 0 0 0
[pid=18564/tid=18580] ppid=18562 vsize=6436592 CPUtime=0.73 cores=4,6
/proc/18564/task/18580/stat : 18580 (java) S 18562 18564 21547 0 -1 4202560 2570 0 0 0 73 0 0 0 15 0 19 0 872336590 6591070208 85035 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 4 0 0 0
[pid=18564/tid=18581] ppid=18562 vsize=6436592 CPUtime=0.2 cores=4,6
/proc/18564/task/18581/stat : 18581 (java) S 18562 18564 21547 0 -1 4202560 859 0 0 0 20 0 0 0 17 0 19 0 872336590 6591070208 85035 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 6 0 0 0
[pid=18564/tid=18582] ppid=18562 vsize=6436592 CPUtime=0 cores=4,6
/proc/18564/task/18582/stat : 18582 (java) S 18562 18564 21547 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 872336590 6591070208 85035 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 4 0 0 0
[pid=18564/tid=18583] ppid=18562 vsize=6436592 CPUtime=0 cores=4,6
/proc/18564/task/18583/stat : 18583 (java) S 18562 18564 21547 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 872336590 6591070208 85035 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107267584 0 4 0 16800975 18446604453985579968 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4
Current children cumulated vsize (KiB) 6436592

[startup+6.30138 s]
/proc/loadavg: 4.70 3.56 1.89 6/261 18716
/proc/meminfo: memFree=24705072/32951124 swapFree=67053960/67111528
[pid=18564] ppid=18562 vsize=6436592 CPUtime=7.2 cores=4,6
/proc/18564/stat : 18564 (java) S 18562 18564 21547 0 -1 4202496 187413 0 1 0 700 20 0 0 25 0 19 0 872336585 6591070208 185782 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/18564/statm: 1609148 185782 2229 9 0 1599886 0
[pid=18564/tid=18565] ppid=18562 vsize=6436592 CPUtime=6.25 cores=4,6
/proc/18564/task/18565/stat : 18565 (java) R 18562 18564 21547 0 -1 4202560 182804 0 1 0 606 19 0 0 20 0 19 0 872336586 6591070208 185782 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 46912505978132 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=18564/tid=18567] ppid=18562 vsize=6436592 CPUtime=0 cores=4,6
/proc/18564/task/18567/stat : 18567 (java) S 18562 18564 21547 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 872336587 6591070208 185782 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 4 0 0 0
[pid=18564/tid=18568] ppid=18562 vsize=6436592 CPUtime=0 cores=4,6
/proc/18564/task/18568/stat : 18568 (java) S 18562 18564 21547 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 872336587 6591070208 185782 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 4 0 0 0
[pid=18564/tid=18569] ppid=18562 vsize=6436592 CPUtime=0 cores=4,6
/proc/18564/task/18569/stat : 18569 (java) S 18562 18564 21547 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 872336587 6591070208 185782 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 4 0 0 0
[pid=18564/tid=18570] ppid=18562 vsize=6436592 CPUtime=0 cores=4,6
/proc/18564/task/18570/stat : 18570 (java) S 18562 18564 21547 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 872336587 6591070208 185782 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 4 0 0 0
[pid=18564/tid=18571] ppid=18562 vsize=6436592 CPUtime=0 cores=4,6
/proc/18564/task/18571/stat : 18571 (java) S 18562 18564 21547 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 872336587 6591070208 185782 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 4 0 0 0
[pid=18564/tid=18572] ppid=18562 vsize=6436592 CPUtime=0 cores=4,6
/proc/18564/task/18572/stat : 18572 (java) S 18562 18564 21547 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 872336587 6591070208 185782 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 4 0 0 0
[pid=18564/tid=18573] ppid=18562 vsize=6436592 CPUtime=0 cores=4,6
/proc/18564/task/18573/stat : 18573 (java) S 18562 18564 21547 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 872336587 6591070208 185782 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 4 0 0 0
[pid=18564/tid=18574] ppid=18562 vsize=6436592 CPUtime=0 cores=4,6
/proc/18564/task/18574/stat : 18574 (java) S 18562 18564 21547 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 872336587 6591070208 185782 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 4 0 0 0
[pid=18564/tid=18576] ppid=18562 vsize=6436592 CPUtime=0 cores=4,6
/proc/18564/task/18576/stat : 18576 (java) S 18562 18564 21547 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 19 0 872336588 6591070208 185782 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107267584 0 0 0 16800975 18446604453985579968 0 0 -1 4 0 0 0
[pid=18564/tid=18577] ppid=18562 vsize=6436592 CPUtime=0 cores=4,6
/proc/18564/task/18577/stat : 18577 (java) S 18562 18564 21547 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 872336588 6591070208 185782 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 4 0 0 0
[pid=18564/tid=18578] ppid=18562 vsize=6436592 CPUtime=0 cores=4,6
/proc/18564/task/18578/stat : 18578 (java) S 18562 18564 21547 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 872336588 6591070208 185782 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 4 0 0 0
[pid=18564/tid=18579] ppid=18562 vsize=6436592 CPUtime=0 cores=4,6
/proc/18564/task/18579/stat : 18579 (java) S 18562 18564 21547 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 872336590 6591070208 185782 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107274673 0 4 0 16800975 18446604453985579968 0 0 -1 4 0 0 0
[pid=18564/tid=18580] ppid=18562 vsize=6436592 CPUtime=0.73 cores=4,6
/proc/18564/task/18580/stat : 18580 (java) S 18562 18564 21547 0 -1 4202560 2570 0 0 0 73 0 0 0 15 0 19 0 872336590 6591070208 185782 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 4 0 0 0
[pid=18564/tid=18581] ppid=18562 vsize=6436592 CPUtime=0.2 cores=4,6
/proc/18564/task/18581/stat : 18581 (java) S 18562 18564 21547 0 -1 4202560 859 0 0 0 20 0 0 0 17 0 19 0 872336590 6591070208 185782 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 6 0 0 0
[pid=18564/tid=18582] ppid=18562 vsize=6436592 CPUtime=0 cores=4,6
/proc/18564/task/18582/stat : 18582 (java) S 18562 18564 21547 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 872336590 6591070208 185782 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 4 0 0 0

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

[pid=18564/tid=18568] ppid=18562 vsize=6437948 CPUtime=0.93 cores=4,6
/proc/18564/task/18568/stat : 18568 (java) S 18562 18564 21547 0 -1 4202560 48378 0 0 0 89 4 0 0 15 0 18 0 872336587 6592458752 551734 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 4 0 0 0
[pid=18564/tid=18569] ppid=18562 vsize=6437948 CPUtime=0.4 cores=4,6
/proc/18564/task/18569/stat : 18569 (java) S 18562 18564 21547 0 -1 4202560 21977 0 0 0 38 2 0 0 16 0 18 0 872336587 6592458752 551734 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 4 0 0 0
[pid=18564/tid=18570] ppid=18562 vsize=6437948 CPUtime=0.3 cores=4,6
/proc/18564/task/18570/stat : 18570 (java) S 18562 18564 21547 0 -1 4202560 4578 0 0 0 30 0 0 0 16 0 18 0 872336587 6592458752 551734 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 6 0 0 0
[pid=18564/tid=18571] ppid=18562 vsize=6437948 CPUtime=0.14 cores=4,6
/proc/18564/task/18571/stat : 18571 (java) S 18562 18564 21547 0 -1 4202560 70 0 0 0 14 0 0 0 15 0 18 0 872336587 6592458752 551734 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 6 0 0 0
[pid=18564/tid=18572] ppid=18562 vsize=6437948 CPUtime=0.19 cores=4,6
/proc/18564/task/18572/stat : 18572 (java) S 18562 18564 21547 0 -1 4202560 7364 0 0 0 19 0 0 0 15 0 18 0 872336587 6592458752 551734 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 4 0 0 0
[pid=18564/tid=18573] ppid=18562 vsize=6437948 CPUtime=0.33 cores=4,6
/proc/18564/task/18573/stat : 18573 (java) S 18562 18564 21547 0 -1 4202560 34011 0 0 0 30 3 0 0 15 0 18 0 872336587 6592458752 551734 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 6 0 0 0
[pid=18564/tid=18574] ppid=18562 vsize=6437948 CPUtime=0.32 cores=4,6
/proc/18564/task/18574/stat : 18574 (java) S 18562 18564 21547 0 -1 4202560 24739 0 0 0 30 2 0 0 15 0 18 0 872336587 6592458752 551734 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 4 0 0 0
[pid=18564/tid=18576] ppid=18562 vsize=6437948 CPUtime=0 cores=4,6
/proc/18564/task/18576/stat : 18576 (java) S 18562 18564 21547 0 -1 4202560 68 0 0 0 0 0 0 0 15 0 18 0 872336588 6592458752 551734 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107267584 0 0 0 16800975 18446604453985579968 0 0 -1 6 0 0 0
[pid=18564/tid=18577] ppid=18562 vsize=6437948 CPUtime=0 cores=4,6
/proc/18564/task/18577/stat : 18577 (java) S 18562 18564 21547 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 18 0 872336588 6592458752 551734 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 6 0 0 0
[pid=18564/tid=18578] ppid=18562 vsize=6437948 CPUtime=0 cores=4,6
/proc/18564/task/18578/stat : 18578 (java) S 18562 18564 21547 0 -1 4202560 48 0 0 0 0 0 0 0 15 0 18 0 872336588 6592458752 551734 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 6 0 0 0
[pid=18564/tid=18579] ppid=18562 vsize=6437948 CPUtime=0 cores=4,6
/proc/18564/task/18579/stat : 18579 (java) S 18562 18564 21547 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872336590 6592458752 551734 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107274673 0 4 0 16800975 18446604453985579968 0 0 -1 4 0 0 0
[pid=18564/tid=18580] ppid=18562 vsize=6437948 CPUtime=0.82 cores=4,6
/proc/18564/task/18580/stat : 18580 (java) S 18562 18564 21547 0 -1 4202560 2734 0 0 0 82 0 0 0 15 0 18 0 872336590 6592458752 551734 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 4 0 0 0
[pid=18564/tid=18581] ppid=18562 vsize=6437948 CPUtime=0.2 cores=4,6
/proc/18564/task/18581/stat : 18581 (java) S 18562 18564 21547 0 -1 4202560 859 0 0 0 20 0 0 0 17 0 18 0 872336590 6592458752 551734 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 6 0 0 0
[pid=18564/tid=18582] ppid=18562 vsize=6437948 CPUtime=0 cores=4,6
/proc/18564/task/18582/stat : 18582 (java) S 18562 18564 21547 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872336590 6592458752 551734 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 4 0 0 0
[pid=18564/tid=18583] ppid=18562 vsize=6437948 CPUtime=0 cores=4,6
/proc/18564/task/18583/stat : 18583 (java) S 18562 18564 21547 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 18 0 872336590 6592458752 551734 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107267584 0 4 0 16800975 18446604453985579968 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 98.41
Current children cumulated vsize (KiB) 6437948

[startup+97.5007 s]
/proc/loadavg: 4.47 3.79 2.13 5/261 25790
/proc/meminfo: memFree=20966496/32951124 swapFree=67053960/67111528
[pid=18564] ppid=18562 vsize=6437948 CPUtime=100.01 cores=4,6
/proc/18564/stat : 18564 (java) S 18562 18564 21547 0 -1 4202496 554880 0 1 0 9937 64 0 0 25 0 18 0 872336585 6592458752 551734 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/18564/statm: 1609487 551734 2243 9 0 1600225 0
[pid=18564/tid=18565] ppid=18562 vsize=6437948 CPUtime=95.89 cores=4,6
/proc/18564/task/18565/stat : 18565 (java) R 18562 18564 21547 0 -1 4202560 391689 0 1 0 9547 42 0 0 25 0 18 0 872336586 6592458752 551734 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 47905459919959 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=18564/tid=18567] ppid=18562 vsize=6437948 CPUtime=0.32 cores=4,6
/proc/18564/task/18567/stat : 18567 (java) S 18562 18564 21547 0 -1 4202560 17157 0 0 0 30 2 0 0 15 0 18 0 872336587 6592458752 551734 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 4 0 0 0
[pid=18564/tid=18568] ppid=18562 vsize=6437948 CPUtime=0.93 cores=4,6
/proc/18564/task/18568/stat : 18568 (java) S 18562 18564 21547 0 -1 4202560 48378 0 0 0 89 4 0 0 15 0 18 0 872336587 6592458752 551734 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 4 0 0 0
[pid=18564/tid=18569] ppid=18562 vsize=6437948 CPUtime=0.4 cores=4,6
/proc/18564/task/18569/stat : 18569 (java) S 18562 18564 21547 0 -1 4202560 21977 0 0 0 38 2 0 0 16 0 18 0 872336587 6592458752 551734 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 4 0 0 0
[pid=18564/tid=18570] ppid=18562 vsize=6437948 CPUtime=0.3 cores=4,6
/proc/18564/task/18570/stat : 18570 (java) S 18562 18564 21547 0 -1 4202560 4578 0 0 0 30 0 0 0 16 0 18 0 872336587 6592458752 551734 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 6 0 0 0
[pid=18564/tid=18571] ppid=18562 vsize=6437948 CPUtime=0.14 cores=4,6
/proc/18564/task/18571/stat : 18571 (java) S 18562 18564 21547 0 -1 4202560 70 0 0 0 14 0 0 0 15 0 18 0 872336587 6592458752 551734 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 6 0 0 0
[pid=18564/tid=18572] ppid=18562 vsize=6437948 CPUtime=0.19 cores=4,6
/proc/18564/task/18572/stat : 18572 (java) S 18562 18564 21547 0 -1 4202560 7364 0 0 0 19 0 0 0 15 0 18 0 872336587 6592458752 551734 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 4 0 0 0
[pid=18564/tid=18573] ppid=18562 vsize=6437948 CPUtime=0.33 cores=4,6
/proc/18564/task/18573/stat : 18573 (java) S 18562 18564 21547 0 -1 4202560 34011 0 0 0 30 3 0 0 15 0 18 0 872336587 6592458752 551734 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 6 0 0 0
[pid=18564/tid=18574] ppid=18562 vsize=6437948 CPUtime=0.32 cores=4,6
/proc/18564/task/18574/stat : 18574 (java) S 18562 18564 21547 0 -1 4202560 24739 0 0 0 30 2 0 0 15 0 18 0 872336587 6592458752 551734 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 4 0 0 0
[pid=18564/tid=18576] ppid=18562 vsize=6437948 CPUtime=0 cores=4,6
/proc/18564/task/18576/stat : 18576 (java) S 18562 18564 21547 0 -1 4202560 68 0 0 0 0 0 0 0 15 0 18 0 872336588 6592458752 551734 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107267584 0 0 0 16800975 18446604453985579968 0 0 -1 6 0 0 0
[pid=18564/tid=18577] ppid=18562 vsize=6437948 CPUtime=0 cores=4,6
/proc/18564/task/18577/stat : 18577 (java) S 18562 18564 21547 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 18 0 872336588 6592458752 551734 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 6 0 0 0
[pid=18564/tid=18578] ppid=18562 vsize=6437948 CPUtime=0 cores=4,6
/proc/18564/task/18578/stat : 18578 (java) S 18562 18564 21547 0 -1 4202560 48 0 0 0 0 0 0 0 15 0 18 0 872336588 6592458752 551734 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 6 0 0 0
[pid=18564/tid=18579] ppid=18562 vsize=6437948 CPUtime=0 cores=4,6
/proc/18564/task/18579/stat : 18579 (java) S 18562 18564 21547 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872336590 6592458752 551734 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107274673 0 4 0 16800975 18446604453985579968 0 0 -1 4 0 0 0
[pid=18564/tid=18580] ppid=18562 vsize=6437948 CPUtime=0.82 cores=4,6
/proc/18564/task/18580/stat : 18580 (java) S 18562 18564 21547 0 -1 4202560 2734 0 0 0 82 0 0 0 15 0 18 0 872336590 6592458752 551734 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 4 0 0 0
[pid=18564/tid=18581] ppid=18562 vsize=6437948 CPUtime=0.2 cores=4,6
/proc/18564/task/18581/stat : 18581 (java) S 18562 18564 21547 0 -1 4202560 859 0 0 0 20 0 0 0 17 0 18 0 872336590 6592458752 551734 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 6 0 0 0
[pid=18564/tid=18582] ppid=18562 vsize=6437948 CPUtime=0 cores=4,6
/proc/18564/task/18582/stat : 18582 (java) S 18562 18564 21547 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872336590 6592458752 551734 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 4 0 0 0
[pid=18564/tid=18583] ppid=18562 vsize=6437948 CPUtime=0 cores=4,6
/proc/18564/task/18583/stat : 18583 (java) S 18562 18564 21547 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 18 0 872336590 6592458752 551734 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107267584 0 4 0 16800975 18446604453985579968 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (KiB) 6437948

[startup+97.9076 s]
/proc/loadavg: 4.47 3.79 2.13 5/261 25835
/proc/meminfo: memFree=20966496/32951124 swapFree=67053960/67111528
[pid=18564] ppid=18562 vsize=6437948 CPUtime=100.42 cores=4,6
/proc/18564/stat : 18564 (java) S 18562 18564 21547 0 -1 4202496 554882 0 1 0 9978 64 0 0 25 0 18 0 872336585 6592458752 551734 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/18564/statm: 1609487 551734 2243 9 0 1600225 0
[pid=18564/tid=18565] ppid=18562 vsize=6437948 CPUtime=96.29 cores=4,6
/proc/18564/task/18565/stat : 18565 (java) R 18562 18564 21547 0 -1 4202560 391689 0 1 0 9587 42 0 0 25 0 18 0 872336586 6592458752 551734 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 46912505861736 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=18564/tid=18567] ppid=18562 vsize=6437948 CPUtime=0.32 cores=4,6
/proc/18564/task/18567/stat : 18567 (java) S 18562 18564 21547 0 -1 4202560 17157 0 0 0 30 2 0 0 15 0 18 0 872336587 6592458752 551734 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 4 0 0 0
[pid=18564/tid=18568] ppid=18562 vsize=6437948 CPUtime=0.93 cores=4,6
/proc/18564/task/18568/stat : 18568 (java) S 18562 18564 21547 0 -1 4202560 48378 0 0 0 89 4 0 0 15 0 18 0 872336587 6592458752 551734 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 4 0 0 0
[pid=18564/tid=18569] ppid=18562 vsize=6437948 CPUtime=0.4 cores=4,6
/proc/18564/task/18569/stat : 18569 (java) S 18562 18564 21547 0 -1 4202560 21977 0 0 0 38 2 0 0 16 0 18 0 872336587 6592458752 551734 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 4 0 0 0
[pid=18564/tid=18570] ppid=18562 vsize=6437948 CPUtime=0.3 cores=4,6
/proc/18564/task/18570/stat : 18570 (java) S 18562 18564 21547 0 -1 4202560 4578 0 0 0 30 0 0 0 16 0 18 0 872336587 6592458752 551734 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 6 0 0 0
[pid=18564/tid=18571] ppid=18562 vsize=6437948 CPUtime=0.14 cores=4,6
/proc/18564/task/18571/stat : 18571 (java) S 18562 18564 21547 0 -1 4202560 70 0 0 0 14 0 0 0 15 0 18 0 872336587 6592458752 551734 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 6 0 0 0
[pid=18564/tid=18572] ppid=18562 vsize=6437948 CPUtime=0.19 cores=4,6
/proc/18564/task/18572/stat : 18572 (java) S 18562 18564 21547 0 -1 4202560 7364 0 0 0 19 0 0 0 15 0 18 0 872336587 6592458752 551734 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 4 0 0 0
[pid=18564/tid=18573] ppid=18562 vsize=6437948 CPUtime=0.33 cores=4,6
/proc/18564/task/18573/stat : 18573 (java) S 18562 18564 21547 0 -1 4202560 34011 0 0 0 30 3 0 0 15 0 18 0 872336587 6592458752 551734 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 6 0 0 0
[pid=18564/tid=18574] ppid=18562 vsize=6437948 CPUtime=0.32 cores=4,6
/proc/18564/task/18574/stat : 18574 (java) S 18562 18564 21547 0 -1 4202560 24739 0 0 0 30 2 0 0 15 0 18 0 872336587 6592458752 551734 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 4 0 0 0
[pid=18564/tid=18576] ppid=18562 vsize=6437948 CPUtime=0 cores=4,6
/proc/18564/task/18576/stat : 18576 (java) S 18562 18564 21547 0 -1 4202560 68 0 0 0 0 0 0 0 15 0 18 0 872336588 6592458752 551734 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107267584 0 0 0 16800975 18446604453985579968 0 0 -1 6 0 0 0
[pid=18564/tid=18577] ppid=18562 vsize=6437948 CPUtime=0 cores=4,6
/proc/18564/task/18577/stat : 18577 (java) S 18562 18564 21547 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 18 0 872336588 6592458752 551734 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 6 0 0 0
[pid=18564/tid=18578] ppid=18562 vsize=6437948 CPUtime=0 cores=4,6
/proc/18564/task/18578/stat : 18578 (java) S 18562 18564 21547 0 -1 4202560 48 0 0 0 0 0 0 0 15 0 18 0 872336588 6592458752 551734 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 6 0 0 0
[pid=18564/tid=18579] ppid=18562 vsize=6437948 CPUtime=0 cores=4,6
/proc/18564/task/18579/stat : 18579 (java) S 18562 18564 21547 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872336590 6592458752 551734 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107274673 0 4 0 16800975 18446604453985579968 0 0 -1 4 0 0 0
[pid=18564/tid=18580] ppid=18562 vsize=6437948 CPUtime=0.82 cores=4,6
/proc/18564/task/18580/stat : 18580 (java) S 18562 18564 21547 0 -1 4202560 2736 0 0 0 82 0 0 0 15 0 18 0 872336590 6592458752 551734 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 4 0 0 0
[pid=18564/tid=18581] ppid=18562 vsize=6437948 CPUtime=0.2 cores=4,6
/proc/18564/task/18581/stat : 18581 (java) S 18562 18564 21547 0 -1 4202560 859 0 0 0 20 0 0 0 17 0 18 0 872336590 6592458752 551734 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 6 0 0 0
[pid=18564/tid=18582] ppid=18562 vsize=6437948 CPUtime=0 cores=4,6
/proc/18564/task/18582/stat : 18582 (java) S 18562 18564 21547 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872336590 6592458752 551734 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 4 0 0 0
[pid=18564/tid=18583] ppid=18562 vsize=6437948 CPUtime=0 cores=4,6
/proc/18564/task/18583/stat : 18583 (java) S 18562 18564 21547 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 18 0 872336590 6592458752 551734 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107267584 0 4 0 16800975 18446604453985579968 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 100.42
Current children cumulated vsize (KiB) 6437948

[startup+98.1015 s]
/proc/loadavg: 4.47 3.79 2.13 5/261 25835
/proc/meminfo: memFree=20966496/32951124 swapFree=67053960/67111528
[pid=18564] ppid=18562 vsize=6447744 CPUtime=100.77 cores=4,6
/proc/18564/stat : 18564 (java) S 18562 18564 21547 0 -1 4202496 557402 0 1 0 10013 64 0 0 25 0 18 0 872336585 6602489856 553833 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/18564/statm: 1611936 553833 2243 9 0 1602674 0
[pid=18564/tid=18565] ppid=18562 vsize=6447744 CPUtime=96.48 cores=4,6
/proc/18564/task/18565/stat : 18565 (java) R 18562 18564 21547 0 -1 4202560 391690 0 1 0 9606 42 0 0 25 0 18 0 872336586 6602489856 553833 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 46912506065046 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=18564/tid=18567] ppid=18562 vsize=6447744 CPUtime=0.32 cores=4,6
/proc/18564/task/18567/stat : 18567 (java) S 18562 18564 21547 0 -1 4202560 17157 0 0 0 30 2 0 0 15 0 18 0 872336587 6602489856 553833 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 4 0 0 0
[pid=18564/tid=18568] ppid=18562 vsize=6447744 CPUtime=0.93 cores=4,6
/proc/18564/task/18568/stat : 18568 (java) S 18562 18564 21547 0 -1 4202560 48378 0 0 0 89 4 0 0 15 0 18 0 872336587 6602489856 553833 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 4 0 0 0
[pid=18564/tid=18569] ppid=18562 vsize=6447744 CPUtime=0.4 cores=4,6
/proc/18564/task/18569/stat : 18569 (java) S 18562 18564 21547 0 -1 4202560 21977 0 0 0 38 2 0 0 16 0 18 0 872336587 6602489856 553833 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 4 0 0 0
[pid=18564/tid=18570] ppid=18562 vsize=6447744 CPUtime=0.3 cores=4,6
/proc/18564/task/18570/stat : 18570 (java) S 18562 18564 21547 0 -1 4202560 4578 0 0 0 30 0 0 0 16 0 18 0 872336587 6602489856 553833 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 6 0 0 0
[pid=18564/tid=18571] ppid=18562 vsize=6447744 CPUtime=0.14 cores=4,6
/proc/18564/task/18571/stat : 18571 (java) S 18562 18564 21547 0 -1 4202560 70 0 0 0 14 0 0 0 15 0 18 0 872336587 6602489856 553833 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 6 0 0 0
[pid=18564/tid=18572] ppid=18562 vsize=6447744 CPUtime=0.19 cores=4,6
/proc/18564/task/18572/stat : 18572 (java) S 18562 18564 21547 0 -1 4202560 7364 0 0 0 19 0 0 0 15 0 18 0 872336587 6602489856 553833 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 4 0 0 0
[pid=18564/tid=18573] ppid=18562 vsize=6447744 CPUtime=0.33 cores=4,6
/proc/18564/task/18573/stat : 18573 (java) S 18562 18564 21547 0 -1 4202560 34011 0 0 0 30 3 0 0 15 0 18 0 872336587 6602489856 553833 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 6 0 0 0
[pid=18564/tid=18574] ppid=18562 vsize=6447744 CPUtime=0.32 cores=4,6
/proc/18564/task/18574/stat : 18574 (java) S 18562 18564 21547 0 -1 4202560 24739 0 0 0 30 2 0 0 15 0 18 0 872336587 6602489856 553833 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 4 0 0 0
[pid=18564/tid=18576] ppid=18562 vsize=6447744 CPUtime=0 cores=4,6
/proc/18564/task/18576/stat : 18576 (java) S 18562 18564 21547 0 -1 4202560 68 0 0 0 0 0 0 0 15 0 18 0 872336588 6602489856 553833 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107267584 0 0 0 16800975 18446604453985579968 0 0 -1 6 0 0 0
[pid=18564/tid=18577] ppid=18562 vsize=6447744 CPUtime=0 cores=4,6
/proc/18564/task/18577/stat : 18577 (java) S 18562 18564 21547 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 18 0 872336588 6602489856 553833 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 6 0 0 0
[pid=18564/tid=18578] ppid=18562 vsize=6447744 CPUtime=0 cores=4,6
/proc/18564/task/18578/stat : 18578 (java) S 18562 18564 21547 0 -1 4202560 48 0 0 0 0 0 0 0 15 0 18 0 872336588 6602489856 553833 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 6 0 0 0
[pid=18564/tid=18579] ppid=18562 vsize=6447744 CPUtime=0 cores=4,6
/proc/18564/task/18579/stat : 18579 (java) S 18562 18564 21547 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872336590 6602489856 553833 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107274673 0 4 0 16800975 18446604453985579968 0 0 -1 4 0 0 0
[pid=18564/tid=18580] ppid=18562 vsize=6447744 CPUtime=0.97 cores=4,6
/proc/18564/task/18580/stat : 18580 (java) S 18562 18564 21547 0 -1 4202560 5244 0 0 0 97 0 0 0 16 0 18 0 872336590 6602489856 553833 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 4 0 0 0
[pid=18564/tid=18581] ppid=18562 vsize=6447744 CPUtime=0.2 cores=4,6
/proc/18564/task/18581/stat : 18581 (java) S 18562 18564 21547 0 -1 4202560 870 0 0 0 20 0 0 0 16 0 18 0 872336590 6602489856 553833 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 6 0 0 0
[pid=18564/tid=18582] ppid=18562 vsize=6447744 CPUtime=0 cores=4,6
/proc/18564/task/18582/stat : 18582 (java) S 18562 18564 21547 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872336590 6602489856 553833 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 4 0 0 0
[pid=18564/tid=18583] ppid=18562 vsize=6447744 CPUtime=0 cores=4,6
/proc/18564/task/18583/stat : 18583 (java) S 18562 18564 21547 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 18 0 872336590 6602489856 553833 33554432000 1073741824 1073778376 140735656532320 18446744073709551615 228107267584 0 4 0 16800975 18446604453985579968 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 100.77
Current children cumulated vsize (KiB) 6447744

[startup+98.2015 s]
/proc/loadavg: 4.47 3.79 2.13 5/261 25835
/proc/meminfo: memFree=20966496/32951124 swapFree=67053960/67111528
[pid=18564] ppid=18562 vsize=0 CPUtime=100.87 cores=4,6
/proc/18564/stat : 18564 (java) R 18562 18564 21547 0 -1 4203524 557433 0 1 0 10020 67 0 0 18 0 1 0 872336585 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/18564/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 100.87
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 98.2526
CPU time (s): 100.929
CPU user time (s): 100.201
CPU system time (s): 0.727889
CPU usage (%): 102.724
Max. virtual memory (cumulated for all children) (KiB): 6447744

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 100.201
system time used= 0.727889
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 557433
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= 5605
involuntary context switches= 3557

runsolver used 0.182972 second user time and 0.398939 second system time

The end

Begin job on node142 at 2011-06-11 15:33:31
IDJOB=3493500
IDBENCH=89577
IDSOLVER=1972
FILE ID=node142/3493500-1307799211
RUNJOBID= node142-1307798794-21566
PBS_JOBID= 13551006
Free space on /tmp= 74080 MiB

SOLVER NAME= SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06
BENCH NAME= SAT11/mus/marques-silva/software-verification/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-3493500-1307799211/watcher-3493500-1307799211 -o /tmp/evaluation-result-3493500-1307799211/solver-3493500-1307799211 -C 1800 -W 1850 -M 7680  java -Xms6000m -Xmx6000m -jar sat4j-mus-v20110206.jar HOME/instance-3493500-1307799211.cnf

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

MD5SUM BENCH= 18e7446c1b667e6f7cd7ef093bb94712
RANDOM SEED=1858189495

node142.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      25331564 kB
Buffers:        216192 kB
Cached:         776268 kB
SwapCached:      11412 kB
Active:        6906412 kB
Inactive:       525740 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25331564 kB
SwapTotal:    67111528 kB
SwapFree:     67053960 kB
Dirty:           25340 kB
Writeback:           0 kB
AnonPages:     6437476 kB
Mapped:          21704 kB
Slab:           108732 kB
PageTables:      18180 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 18989712 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= 74076 MiB
End job on node142 at 2011-06-11 15:35:09