| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 | UNSAT | 112.874 | 111.783 |
| Name | industrial/babic/ dspam/dspam_dump_vc1081.cnf |
| MD5SUM | 8a3e5e1fd068ee5229d7193ac5bcb167 |
| Bench Category | APPLICATION (applications instances) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 10.5774 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 118354 |
| Number of clauses | 375699 |
| Sum of the clauses size | 995041 |
| Maximum clause length | 3 |
| Minimum clause length | 1 |
| Number of clauses of size 1 | 3289 |
| Number of clauses of size 2 | 125478 |
| Number of clauses of size 3 | 246932 |
| Number of clauses of size 4 | 0 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 0 |
0.00/0.07 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.00/0.07 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.07 c See www.sat4j.org for details. 0.00/0.08 c version 2.3.0.v20110206 0.00/0.08 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.08 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.08 c java.vm.version 19.1-b02 0.00/0.08 c java.vm.vendor Sun Microsystems Inc. 0.00/0.08 c sun.arch.data.model 64 0.00/0.08 c java.version 1.6.0_24 0.00/0.08 c os.name Linux 0.00/0.08 c os.version 2.6.18-164.el5 0.00/0.08 c os.arch amd64 0.00/0.08 c Free memory 5997854704 0.00/0.08 c Max memory 6029312000 0.00/0.08 c Total memory 6029312000 0.00/0.08 c Number of processors 8 0.00/0.10 c Explanation (MUS) enabled solver 0.00/0.10 c QuickXplain (AAAI 2004 version) minimization strategy 0.00/0.10 c --- Begin Solver configuration --- 0.00/0.10 c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@aa470b8 0.00/0.10 c Learn all clauses as in MiniSAT 0.00/0.10 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 0.00/0.10 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT 0.00/0.10 c Expensive reason simplification 0.00/0.10 c Armin Biere (Picosat) restarts strategy 0.00/0.10 c Glucose learned constraints deletion strategy 0.00/0.10 c timeout=2147483647s 0.00/0.10 c DB Simplification allowed=true 0.00/0.10 c --- End Solver configuration --- 0.00/0.10 c solving HOME/instance-3493564-1307800866.cnf 0.00/0.10 c reading problem ... 0.67/0.64 c ... done. Wall clock time 0.54s. 0.67/0.64 c #vars 494125 0.67/0.64 c #constraints 375699 0.67/0.64 c constraints type 0.67/0.64 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 372410 0.67/0.64 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 3289 14.69/14.42 c cleaning 2460 clauses out of 5000 with flag 5000/5000 17.74/17.20 c Unsat detection wall clock time (in seconds) : 17.097 17.74/17.20 c Size of initial unsat subformula: 405 17.74/17.20 c Computing MUS ... 17.74/17.20 c initial unsat core 21937[?] 494123[?] 118426[?] 21936[?] -21937[?] 172117[?] 19612[?] -21936[?] 172113[?] 19611[?] -19612[?] 166144[?] 19610[?] -19611[?] 166142[?] 8991[?] -19611[?] 166141[?] 19609[?] 679[?] -19610[?] 166139[?] -679[?] 13976[?] -19610[?] 166137[?] 19608[?] -19609[?] 1596[?] 166135[?] -1596[?] -19609[?] 13979[?] 166133[?] 19539[?] -19608[?] -1957[?] 166129[?] 2182[?] -19539[?] 14047[?] 166062[?] 19538[?] -2182[?] -19539[?] 166060[?] 19537[?] 2311[?] -19538[?] 166058[?] -2311[?] -19538[?] 14050[?] 166056[?] 19536[?] 2440[?] -19537[?] 166054[?] -2440[?] -19537[?] 14120[?] 166052[?] 19535[?] 2673[?] -19536[?] 166050[?] -2673[?] 19064[?] -19536[?] 166048[?] 2979[?] 19534[?] -19535[?] 166046[?] -2979[?] 17510[?] -19535[?] 166044[?] -19534[?] -5911[?] 19064[?] 166040[?] -19064[?] 14153[?] 19061[?] 165115[?] -14153[?] -19064[?] 19063[?] 165113[?] -19063[?] 19062[?] 165111[?] -19062[?] 19061[?] 165108[?] -19061[?] 19060[?] 2673[?] 165106[?] -19061[?] -2673[?] 14574[?] 165104[?] -19060[?] 19059[?] 165101[?] -19059[?] 19058[?] 3205[?] 165099[?] -19058[?] 19057[?] 5131[?] 165095[?] -5131[?] -19058[?] 18659[?] 165093[?] -19057[?] 19056[?] 5421[?] 165091[?] -5421[?] -19057[?] 18856[?] 165089[?] -19056[?] 5654[?] 19055[?] 165087[?] -19055[?] 19054[?] 165083[?] -19054[?] 18923[?] 165080[?] -18923[?] 18854[?] 164754[?] -18856[?] 18855[?] 164589[?] -18855[?] 18854[?] 164586[?] -18854[?] 18459[?] 164583[?] -18659[?] 18658[?] 164128[?] -18658[?] 18559[?] 164125[?] -18559[?] 18460[?] 163959[?] -18460[?] 18459[?] 163793[?] -18459[?] 3205[?] 17705[?] 163791[?] -17705[?] 17510[?] 162278[?] 17509[?] 2818[?] -17510[?] 161823[?] -2818[?] 17110[?] -17510[?] 161821[?] -17509[?] 17111[?] 17508[?] 161819[?] -17509[?] -17111[?] 17242[?] 161817[?] -17508[?] 17507[?] 161815[?] -17507[?] 17408[?] 161812[?] -17408[?] 17309[?] 161646[?] -17309[?] 17242[?] 161481[?] -17242[?] 16910[?] 161314[?] -17110[?] 17109[?] 160988[?] -17109[?] 17010[?] 160985[?] -17010[?] 16911[?] 160819[?] -16911[?] 16910[?] 160653[?] 14737[?] 16909[?] -16910[?] 160651[?] -14737[?] -16910[?] 16047[?] 160649[?] -16909[?] 16113[?] 16908[?] 160647[?] -16909[?] -16113[?] 16246[?] 160645[?] -16908[?] 16279[?] 16907[?] 160643[?] -16279[?] -16908[?] 16410[?] 160641[?] -16907[?] 16906[?] 160639[?] -16906[?] 16807[?] 160636[?] -16807[?] 16708[?] 160470[?] -16708[?] 16705[?] 160304[?] -16705[?] 16606[?] 160299[?] -16606[?] 16507[?] 160133[?] -16507[?] 16506[?] 159968[?] -16506[?] 16410[?] 159964[?] -16410[?] 16244[?] 159751[?] -16246[?] 16245[?] 159425[?] -16245[?] 16244[?] 159422[?] -16244[?] 16047[?] 159419[?] -16047[?] 15850[?] 158996[?] -15850[?] 14970[?] 15849[?] 158446[?] -14970[?] -15850[?] 15572[?] 158444[?] -15849[?] 15639[?] 158441[?] -15639[?] 15101[?] 157894[?] -15572[?] 15102[?] 157728[?] -15102[?] 15101[?] 156696[?] -15101[?] 14574[?] 156693[?] -14574[?] 14573[?] 155483[?] -14573[?] 14572[?] 4649[?] 155481[?] -4649[?] -14573[?] 14570[?] 155479[?] -14572[?] 14571[?] 155477[?] -14571[?] 14570[?] 155473[?] -14570[?] 14569[?] 155471[?] -14569[?] 14568[?] 155468[?] -14568[?] 14567[?] 4649[?] 155465[?] -14568[?] -4649[?] 14565[?] 155463[?] -14567[?] 14566[?] 155461[?] -14566[?] 14565[?] 155457[?] -14565[?] 14564[?] 155455[?] -14564[?] 14563[?] 4649[?] 155452[?] -14564[?] -4649[?] 14561[?] 155450[?] -14563[?] 14562[?] 155448[?] -14562[?] 14561[?] 155444[?] -14561[?] 14560[?] 155442[?] -14560[?] 4649[?] 14559[?] 155439[?] -14560[?] -4649[?] 14491[?] 155437[?] -14559[?] 14558[?] 155435[?] -14558[?] 14491[?] 155431[?] -14491[?] 14490[?] 155266[?] -14490[?] 14118[?] 155262[?] -14120[?] 14119[?] 154422[?] -14119[?] 14118[?] 154419[?] -14118[?] 14117[?] 154417[?] -14117[?] 14048[?] 154414[?] -14050[?] 14049[?] 154249[?] -14049[?] 14048[?] 154246[?] -14048[?] 14047[?] 154243[?] -14047[?] 14046[?] 154241[?] -14046[?] 13977[?] 154237[?] -13979[?] 13978[?] 154072[?] -13978[?] 13977[?] 154069[?] 13976[?] -13977[?] 154066[?] 13975[?] 9410[?] -13976[?] 154064[?] -9410[?] 11553[?] -13976[?] 154062[?] -13975[?] 13974[?] 13642[?] 154060[?] -13642[?] -13975[?] 13773[?] 154058[?] -13974[?] 13774[?] 13973[?] 154056[?] -13774[?] -13974[?] 13905[?] 154054[?] -13973[?] 13972[?] 154052[?] -13972[?] 13905[?] 154049[?] -13905[?] 13773[?] 153883[?] -13773[?] 11553[?] 153556[?] -11553[?] 11552[?] 147125[?] -11552[?] 9410[?] 11549[?] 147123[?] -11552[?] -9410[?] 11551[?] 147121[?] -11551[?] 11550[?] 147119[?] -11550[?] 11549[?] 147116[?] 11548[?] -11549[?] 147113[?] 11547[?] -11548[?] 147110[?] 11546[?] -11547[?] 147107[?] 1089[?] -11546[?] 147104[?] 11545[?] -1089[?] -11546[?] 147103[?] 11544[?] -11545[?] 147101[?] 11543[?] -11544[?] 147097[?] 11542[?] -11543[?] 147095[?] 11475[?] -11542[?] 147091[?] 11474[?] -11475[?] 228[?] 146926[?] -228[?] 11129[?] -11475[?] 146924[?] 11473[?] 389[?] -11474[?] 146922[?] -389[?] 11198[?] -11474[?] 146920[?] 518[?] -11473[?] 11472[?] 146918[?] 11271[?] -518[?] -11473[?] 146916[?] -11472[?] -1282[?] 146912[?] -11271[?] 11270[?] 389[?] 146456[?] -11270[?] 11269[?] 146452[?] -11269[?] 11268[?] 146449[?] -11268[?] 389[?] 11267[?] 146447[?] -11267[?] 11266[?] 146443[?] -11266[?] 11265[?] 146441[?] -11265[?] 11196[?] 146437[?] -11198[?] 11197[?] 146272[?] -11197[?] 11196[?] 146270[?] -11196[?] 11129[?] 146266[?] -11129[?] 11128[?] 146101[?] -11128[?] 11127[?] 146098[?] -11127[?] 10932[?] 146095[?] -10932[?] 10673[?] 145668[?] -10673[?] 10672[?] 145215[?] -10672[?] 10671[?] 145212[?] -10671[?] 10605[?] 145209[?] -10605[?] -10606[?] 145206[?] 10606[?] -10670[?] 145204[?] 10670[?] -10669[?] -10638[?] 145200[?] 10669[?] -10668[?] -10637[?] 145197[?] 10668[?] -10667[?] -10636[?] 145194[?] 10667[?] -10666[?] -10635[?] 145191[?] 10666[?] -10665[?] -10634[?] 145188[?] 10665[?] -10664[?] -10633[?] 145185[?] 10664[?] -10663[?] -10632[?] 145182[?] 10663[?] -10662[?] -10631[?] 145179[?] 10662[?] -10661[?] -10630[?] 145176[?] 10661[?] -10660[?] -10629[?] 145173[?] 10660[?] -10659[?] -10628[?] 145170[?] 10659[?] -10658[?] -10627[?] 145167[?] 10658[?] -10657[?] -10626[?] 145164[?] 10657[?] -10656[?] -10625[?] 145161[?] 10656[?] -10655[?] -10624[?] 145158[?] 10655[?] -10654[?] -10623[?] 145155[?] 10654[?] -10653[?] -10622[?] 145152[?] 10653[?] -10652[?] -10621[?] 145149[?] 10652[?] -10651[?] -10620[?] 145146[?] 10651[?] -10650[?] -10619[?] 145143[?] 10650[?] -10649[?] -10618[?] 145140[?] 10649[?] -10648[?] -10617[?] 145137[?] 10648[?] -10647[?] -10616[?] 145134[?] 10647[?] -10646[?] -10615[?] 145131[?] 10646[?] -10645[?] -10614[?] 145128[?] 10645[?] -10644[?] -10613[?] 145125[?] 10644[?] -10643[?] -10612[?] 145122[?] 10643[?] -10642[?] -10611[?] 145119[?] 10642[?] -10641[?] -10610[?] 145116[?] 10641[?] -10640[?] -10609[?] 145113[?] 10640[?] -10639[?] -10608[?] 145110[?] 10639[?] -10607[?] 145108[?] 10638[?] 1281[?] 145106[?] 10637[?] 1280[?] 145104[?] 10636[?] 1279[?] 145102[?] 10635[?] 1278[?] 145100[?] 10634[?] 1277[?] 145098[?] 10633[?] 1276[?] 145096[?] 10632[?] 1275[?] 145094[?] 10631[?] 1274[?] 145092[?] 10630[?] 1273[?] 145090[?] 10629[?] 1272[?] 145088[?] 10628[?] 1271[?] 145086[?] 10627[?] 1270[?] 145084[?] 10626[?] 1269[?] 145082[?] 10625[?] 1268[?] 145080[?] 10624[?] 1267[?] 145078[?] 10623[?] 1266[?] 145076[?] 10622[?] 1265[?] 145074[?] 10621[?] 1264[?] 145072[?] 10620[?] 1263[?] 145070[?] 10619[?] 1262[?] 145068[?] 10618[?] 1261[?] 145066[?] 10617[?] 1260[?] 145064[?] 10616[?] 1259[?] 145062[?] 10615[?] 1258[?] 145060[?] 10614[?] 1257[?] 145058[?] 10613[?] 1256[?] 145056[?] 10612[?] 1255[?] 145054[?] 10611[?] 1254[?] 145052[?] 10610[?] 1253[?] 145050[?] 10609[?] 1252[?] 145048[?] 10608[?] 1251[?] 145046[?] 10607[?] 1250[?] 145044[?] 9055[?] -8991[?] 142066[?] 9023[?] -9055[?] 142065[?] -8990[?] -9023[?] 141970[?] 8894[?] 8990[?] 141906[?] 8958[?] -8894[?] 141841[?] 8957[?] -8958[?] 141839[?] 8956[?] -8957[?] 141836[?] 8955[?] -8956[?] 141833[?] 8954[?] -8955[?] 141830[?] 8953[?] -8954[?] 141827[?] 8952[?] -8953[?] 141824[?] 8951[?] -8952[?] 141821[?] 8950[?] -8951[?] 141818[?] 8949[?] -8950[?] 141815[?] 8948[?] -8949[?] 141812[?] 8947[?] -8948[?] 141809[?] 8946[?] -8947[?] 141806[?] 8945[?] -8946[?] 141803[?] 8944[?] -8945[?] 141800[?] 8943[?] -8944[?] 141797[?] 8942[?] -8943[?] 141794[?] 8941[?] -8942[?] 141791[?] 8940[?] -8941[?] 141788[?] 8939[?] -8940[?] 141785[?] 8938[?] -8939[?] 141782[?] 8937[?] -8938[?] 141779[?] 8936[?] -8937[?] 141776[?] 8935[?] -8936[?] 141773[?] 8934[?] -8935[?] 141770[?] 8933[?] -8934[?] 141767[?] 8932[?] -8933[?] 141764[?] 8931[?] -8932[?] 141761[?] 8899[?] -8931[?] 141759[?] 8930[?] -8931[?] 141758[?] 8929[?] -8930[?] 141755[?] 8897[?] -8929[?] 141753[?] 8928[?] -8929[?] 141752[?] 8896[?] -8928[?] 141750[?] -8866[?] -8899[?] 141691[?] -8864[?] -8897[?] 141687[?] -8863[?] -8896[?] 141685[?] -8834[?] 679[?] 8866[?] 141572[?] -8832[?] 679[?] 8864[?] 141564[?] -8831[?] 679[?] 8863[?] 141560[?] -8802[?] 1596[?] 8834[?] 141444[?] -8800[?] 1596[?] 8832[?] 141436[?] -8799[?] 1596[?] 8831[?] 141432[?] -8738[?] 8802[?] -1957[?] 141342[?] -8736[?] 8800[?] -1957[?] 141336[?] 1957[?] 8799[?] 141335[?] -8706[?] -2182[?] 8738[?] 141218[?] -8704[?] -2182[?] 8736[?] 141210[?] -8674[?] 2311[?] 8706[?] 141092[?] -8672[?] 2311[?] 8704[?] 141084[?] -8642[?] 8674[?] 2440[?] 140991[?] -2440[?] 8672[?] 140984[?] -8610[?] 2673[?] 8642[?] 140895[?] -8578[?] 2979[?] 8610[?] 140772[?] 5911[?] 8578[?] 140699[?] 5975[?] -5911[?] 133002[?] 5943[?] -5975[?] 133001[?] 5974[?] -5975[?] 133000[?] 5973[?] -5974[?] 132997[?] 5972[?] -5973[?] 132994[?] 5940[?] -5972[?] 132992[?] -5910[?] -5943[?] 132906[?] -5907[?] -5940[?] 132900[?] -3205[?] 5910[?] 132840[?] -5875[?] 5907[?] 3205[?] 132832[?] -5843[?] 5131[?] 5875[?] 132733[?] -5811[?] 5421[?] 5843[?] 132605[?] -5654[?] 5811[?] 132483[?] 1282[?] -1346[?] 123675[?] 1346[?] -1345[?] -1314[?] 123671[?] 1345[?] -1344[?] -1313[?] 123668[?] 1344[?] -1343[?] -1312[?] 123665[?] 1343[?] -1342[?] -1311[?] 123662[?] 1342[?] -1341[?] -1310[?] 123659[?] 1341[?] -1340[?] -1309[?] 123656[?] 1340[?] -1339[?] -1308[?] 123653[?] 1339[?] -1338[?] -1307[?] 123650[?] 1338[?] -1337[?] -1306[?] 123647[?] 1337[?] -1336[?] -1305[?] 123644[?] 1336[?] -1335[?] -1304[?] 123641[?] 1335[?] -1334[?] -1303[?] 123638[?] 1334[?] -1333[?] -1302[?] 123635[?] 1333[?] -1332[?] -1301[?] 123632[?] 1332[?] -1331[?] -1300[?] 123629[?] 1331[?] -1330[?] -1299[?] 123626[?] 1330[?] -1329[?] -1298[?] 123623[?] 1329[?] -1328[?] -1297[?] 123620[?] 1328[?] -1327[?] -1296[?] 123617[?] 1327[?] -1326[?] -1295[?] 123614[?] 1326[?] -1325[?] -1294[?] 123611[?] 1325[?] -1324[?] -1293[?] 123608[?] 1324[?] -1323[?] -1292[?] 123605[?] 1323[?] -1322[?] -1291[?] 123602[?] 1322[?] -1321[?] -1290[?] 123599[?] 1321[?] -1320[?] -1289[?] 123596[?] 1320[?] -1319[?] -1288[?] 123593[?] 1319[?] -1318[?] -1287[?] 123590[?] 1318[?] -1317[?] -1286[?] 123587[?] 1317[?] -1316[?] -1285[?] 123584[?] 1316[?] -1315[?] -1284[?] 123581[?] 1315[?] -1283[?] 123579[?] 1314[?] 1281[?] 123577[?] 1313[?] 1280[?] 123575[?] 1312[?] 1279[?] 123573[?] 1311[?] 1278[?] 123571[?] 1310[?] 1277[?] 123569[?] 1309[?] 1276[?] 123567[?] 1308[?] 1275[?] 123565[?] 1307[?] 1274[?] 123563[?] 1306[?] 1273[?] 123561[?] 1305[?] 1272[?] 123559[?] 1304[?] 1271[?] 123557[?] 1303[?] 1270[?] 123555[?] 1302[?] 1269[?] 123553[?] 1301[?] 1268[?] 123551[?] 1300[?] 1267[?] 123549[?] 1299[?] 1266[?] 123547[?] 1298[?] 1265[?] 123545[?] 1297[?] 1264[?] 123543[?] 1296[?] 1263[?] 123541[?] 1295[?] 1262[?] 123539[?] 1294[?] 1261[?] 123537[?] 1293[?] 1260[?] 123535[?] 1292[?] 1259[?] 123533[?] 1291[?] 1258[?] 123531[?] 1290[?] 1257[?] 123529[?] 1289[?] 1256[?] 123527[?] 1288[?] 1255[?] 123525[?] 1287[?] 1254[?] 123523[?] 1286[?] 1253[?] 123521[?] 1285[?] 1252[?] 123519[?] 1284[?] 1251[?] 123517[?] 1283[?] 1250[?] 123515[?] -1281[?] -1089[?] 123512[?] -1280[?] -1089[?] 123509[?] -1279[?] -1089[?] 123506[?] -1278[?] -1089[?] 123503[?] -1277[?] -1089[?] 123500[?] -1276[?] -1089[?] 123497[?] -1275[?] -1089[?] 123494[?] -1274[?] -1089[?] 123491[?] -1273[?] -1089[?] 123488[?] -1272[?] -1089[?] 123485[?] -1271[?] -1089[?] 123482[?] -1270[?] -1089[?] 123479[?] -1269[?] -1089[?] 123476[?] -1268[?] -1089[?] 123473[?] -1267[?] -1089[?] 123470[?] -1266[?] -1089[?] 123467[?] -1265[?] -1089[?] 123464[?] -1264[?] -1089[?] 123461[?] -1263[?] -1089[?] 123458[?] -1262[?] -1089[?] 123455[?] -1261[?] -1089[?] 123452[?] -1260[?] -1089[?] 123449[?] -1259[?] -1089[?] 123446[?] -1258[?] -1089[?] 123443[?] -1257[?] -1089[?] 123440[?] -1256[?] -1089[?] 123437[?] -1255[?] -1089[?] 123434[?] -1254[?] -1089[?] 123431[?] -1253[?] -1089[?] 123428[?] -1252[?] -1089[?] 123425[?] -1251[?] -1089[?] 123422[?] -1250[?] -1089[?] 123419[?] -118426[?] 121715[?] 17.87/17.32 c qxplain 0/404 18.14/17.53 c qxplain 203/404 18.29/17.65 c qxplain 304/404 18.39/17.77 c qxplain 355/404 18.49/17.89 c qxplain 380/404 18.69/18.01 c qxplain 393/404 18.79/18.13 c qxplain 399/404 18.89/18.24 c qxplain 402/404 18.99/18.36 c qxplain 404/404 19.09/18.48 c -118426[?] 121715[?] is mandatory 19.09/18.48 c qxplain 402/403 19.19/18.59 c qxplain 403/403 19.40/18.71 c 123419[?] -1250[?] -1089[?] is mandatory 19.40/18.71 c qxplain 402/402 19.49/18.83 c 123422[?] -1251[?] -1089[?] is mandatory 19.49/18.83 c qxplain 399/401 19.59/18.95 c qxplain 401/401 19.70/19.07 c 123425[?] -1252[?] -1089[?] is mandatory 19.70/19.07 c qxplain 399/400 19.79/19.20 c qxplain 400/400 19.99/19.32 c 123428[?] -1253[?] -1089[?] is mandatory 19.99/19.32 c qxplain 399/399 20.10/19.44 c 123431[?] -1254[?] -1089[?] is mandatory 20.10/19.44 c qxplain 393/398 20.19/19.56 c qxplain 396/398 20.30/19.69 c qxplain 398/398 20.50/19.81 c 123434[?] -1255[?] -1089[?] is mandatory 20.50/19.81 c qxplain 396/397 20.59/19.93 c qxplain 397/397 20.70/20.05 c 123437[?] -1256[?] -1089[?] is mandatory 20.70/20.05 c qxplain 396/396 20.79/20.18 c 123440[?] -1257[?] -1089[?] is mandatory 20.79/20.18 c qxplain 393/395 20.99/20.30 c qxplain 395/395 21.09/20.42 c 123443[?] -1258[?] -1089[?] is mandatory 21.09/20.42 c qxplain 393/394 21.19/20.54 c qxplain 394/394 21.29/20.67 c 123446[?] -1259[?] -1089[?] is mandatory 21.29/20.67 c qxplain 393/393 21.39/20.79 c 123449[?] -1260[?] -1089[?] is mandatory 21.39/20.79 c qxplain 380/392 21.60/20.91 c qxplain 387/392 21.70/21.03 c qxplain 390/392 21.79/21.15 c qxplain 392/392 21.90/21.28 c 123452[?] -1261[?] -1089[?] is mandatory 21.90/21.28 c qxplain 390/391 22.09/21.40 c qxplain 391/391 22.20/21.53 c 123455[?] -1262[?] -1089[?] is mandatory 22.20/21.53 c qxplain 390/390 22.29/21.65 c 123458[?] -1263[?] -1089[?] is mandatory 22.29/21.65 c qxplain 387/389 22.40/21.77 c qxplain 389/389 22.49/21.90 c 123461[?] -1264[?] -1089[?] is mandatory 22.49/21.90 c qxplain 387/388 22.70/22.02 c qxplain 388/388 22.79/22.14 c 123464[?] -1265[?] -1089[?] is mandatory 22.79/22.14 c qxplain 387/387 22.90/22.26 c 123467[?] -1266[?] -1089[?] is mandatory 22.90/22.26 c qxplain 380/386 22.99/22.39 c qxplain 384/386 23.19/22.51 c qxplain 386/386 23.30/22.63 c 123470[?] -1267[?] -1089[?] is mandatory 23.30/22.63 c qxplain 384/385 23.39/22.76 c qxplain 385/385 23.50/22.88 c 123473[?] -1268[?] -1089[?] is mandatory 23.50/22.88 c qxplain 384/384 23.70/23.00 c 123476[?] -1269[?] -1089[?] is mandatory 23.70/23.00 c qxplain 380/383 23.80/23.12 c qxplain 382/383 23.90/23.24 c qxplain 383/383 23.99/23.37 c 123479[?] -1270[?] -1089[?] is mandatory 23.99/23.37 c qxplain 382/382 24.10/23.49 c 123482[?] -1271[?] -1089[?] is mandatory 24.10/23.49 c qxplain 380/381 24.29/23.61 c qxplain 381/381 24.40/23.73 c 123485[?] -1272[?] -1089[?] is mandatory 24.40/23.73 c qxplain 380/380 24.50/23.86 c 123488[?] -1273[?] -1089[?] is mandatory 24.50/23.86 c qxplain 355/379 24.60/23.98 c qxplain 368/379 24.81/24.10 c qxplain 374/379 24.91/24.22 c qxplain 377/379 25.01/24.35 c qxplain 379/379 25.10/24.47 c 123491[?] -1274[?] -1089[?] is mandatory 25.10/24.47 c qxplain 377/378 25.21/24.59 c qxplain 378/378 25.41/24.71 c 123494[?] -1275[?] -1089[?] is mandatory 25.41/24.71 c qxplain 377/377 25.50/24.84 c 123497[?] -1276[?] -1089[?] is mandatory 25.50/24.84 c qxplain 374/376 25.61/24.96 c qxplain 376/376 25.83/25.11 c 123500[?] -1277[?] -1089[?] is mandatory 25.83/25.11 c qxplain 374/375 25.94/25.22 c qxplain 375/375 26.04/25.34 c 123503[?] -1278[?] -1089[?] is mandatory 26.04/25.34 c qxplain 374/374 26.13/25.46 c 123506[?] -1279[?] -1089[?] is mandatory 26.13/25.46 c qxplain 368/373 26.23/25.57 c qxplain 371/373 26.33/25.69 c qxplain 373/373 26.53/25.81 c 123509[?] -1280[?] -1089[?] is mandatory 26.53/25.81 c qxplain 371/372 26.63/25.92 c qxplain 372/372 26.73/26.04 c 123512[?] -1281[?] -1089[?] is mandatory 26.73/26.04 c qxplain 371/371 26.83/26.16 c 123515[?] 1283[?] 1250[?] is mandatory 26.83/26.16 c qxplain 368/370 26.93/26.27 c qxplain 370/370 27.04/26.39 c 123517[?] 1284[?] 1251[?] is mandatory 27.04/26.39 c qxplain 368/369 27.23/26.51 c qxplain 369/369 27.33/26.63 c 123519[?] 1285[?] 1252[?] is mandatory 27.33/26.63 c qxplain 368/368 27.43/26.74 c 123521[?] 1286[?] 1253[?] is mandatory 27.43/26.74 c qxplain 355/367 27.53/26.86 c qxplain 362/367 27.63/26.98 c qxplain 365/367 27.73/27.09 c qxplain 367/367 27.93/27.21 c 123523[?] 1287[?] 1254[?] is mandatory 27.93/27.21 c qxplain 365/366 28.03/27.33 c qxplain 366/366 28.13/27.44 c 123525[?] 1288[?] 1255[?] is mandatory 28.13/27.44 c qxplain 365/365 28.23/27.56 c 123527[?] 1289[?] 1256[?] is mandatory 28.23/27.56 c qxplain 362/364 28.33/27.68 c qxplain 364/364 28.43/27.79 c 123529[?] 1290[?] 1257[?] is mandatory 28.43/27.79 c qxplain 362/363 28.64/27.91 c qxplain 363/363 28.74/28.03 c 123531[?] 1291[?] 1258[?] is mandatory 28.74/28.03 c qxplain 362/362 28.84/28.14 c 123533[?] 1292[?] 1259[?] is mandatory 28.84/28.14 c qxplain 355/361 28.94/28.26 c qxplain 359/361 29.04/28.37 c qxplain 361/361 29.14/28.49 c 123535[?] 1293[?] 1260[?] is mandatory 29.14/28.49 c qxplain 359/360 29.34/28.61 c qxplain 360/360 29.44/28.72 c 123537[?] 1294[?] 1261[?] is mandatory 29.44/28.72 c qxplain 359/359 29.54/28.84 c 123539[?] 1295[?] 1262[?] is mandatory 29.54/28.84 c qxplain 355/358 29.64/28.96 c qxplain 357/358 29.74/29.07 c qxplain 358/358 29.84/29.19 c 123541[?] 1296[?] 1263[?] is mandatory 29.84/29.19 c qxplain 357/357 30.04/29.31 c 123543[?] 1297[?] 1264[?] is mandatory 30.04/29.31 c qxplain 355/356 30.14/29.42 c qxplain 356/356 30.24/29.54 c 123545[?] 1298[?] 1265[?] is mandatory 30.24/29.54 c qxplain 355/355 30.34/29.65 c 123547[?] 1299[?] 1266[?] is mandatory 30.34/29.65 c qxplain 304/354 30.44/29.77 c qxplain 330/354 30.54/29.89 c qxplain 343/354 30.74/30.00 c qxplain 349/354 30.84/30.12 c qxplain 352/354 30.94/30.24 c qxplain 354/354 31.04/30.35 c 123549[?] 1300[?] 1267[?] is mandatory 31.04/30.35 c qxplain 352/353 31.14/30.47 c qxplain 353/353 31.24/30.59 c 123551[?] 1301[?] 1268[?] is mandatory 31.24/30.59 c qxplain 352/352 31.44/30.70 c 123553[?] 1302[?] 1269[?] is mandatory 31.44/30.70 c qxplain 349/351 31.54/30.82 c qxplain 351/351 31.64/30.94 c 123555[?] 1303[?] 1270[?] is mandatory 31.64/30.94 c qxplain 349/350 31.74/31.06 c qxplain 350/350 31.84/31.17 c 123557[?] 1304[?] 1271[?] is mandatory 31.84/31.17 c qxplain 349/349 31.94/31.29 c 123559[?] 1305[?] 1272[?] is mandatory 31.94/31.29 c qxplain 343/348 32.14/31.41 c qxplain 346/348 32.24/31.52 c qxplain 348/348 32.34/31.64 c 123561[?] 1306[?] 1273[?] is mandatory 32.34/31.64 c qxplain 346/347 32.44/31.76 c qxplain 347/347 32.54/31.87 c 123563[?] 1307[?] 1274[?] is mandatory 32.54/31.87 c qxplain 346/346 32.65/31.99 c 123565[?] 1308[?] 1275[?] is mandatory 32.65/31.99 c qxplain 343/345 32.84/32.11 c qxplain 345/345 32.94/32.22 c 123567[?] 1309[?] 1276[?] is mandatory 32.94/32.22 c qxplain 343/344 33.05/32.35 c qxplain 344/344 33.15/32.47 c 123569[?] 1310[?] 1277[?] is mandatory 33.15/32.47 c qxplain 343/343 33.25/32.58 c 123571[?] 1311[?] 1278[?] is mandatory 33.25/32.58 c qxplain 330/342 33.45/32.70 c qxplain 337/342 33.55/32.82 c qxplain 340/342 33.65/32.94 c qxplain 342/342 33.75/33.06 c 123573[?] 1312[?] 1279[?] is mandatory 33.75/33.06 c qxplain 340/341 33.84/33.17 c qxplain 341/341 33.94/33.29 c 123575[?] 1313[?] 1280[?] is mandatory 33.94/33.29 c qxplain 340/340 34.14/33.40 c 123577[?] 1314[?] 1281[?] is mandatory 34.14/33.40 c qxplain 337/339 34.24/33.52 c qxplain 339/339 34.34/33.63 c 123579[?] 1315[?] -1283[?] is mandatory 34.34/33.63 c qxplain 337/338 34.44/33.75 c qxplain 338/338 34.54/33.86 c 123581[?] 1316[?] -1315[?] -1284[?] is mandatory 34.54/33.86 c qxplain 337/337 34.64/33.98 c 123584[?] 1317[?] -1316[?] -1285[?] is mandatory 34.64/33.98 c qxplain 330/336 34.75/34.09 c qxplain 334/336 34.94/34.20 c qxplain 336/336 35.04/34.32 c 123587[?] 1318[?] -1317[?] -1286[?] is mandatory 35.04/34.32 c qxplain 334/335 35.14/34.43 c qxplain 335/335 35.24/34.55 c 123590[?] 1319[?] -1318[?] -1287[?] is mandatory 35.24/34.55 c qxplain 334/334 35.34/34.66 c 123593[?] 1320[?] -1319[?] -1288[?] is mandatory 35.34/34.66 c qxplain 330/333 35.44/34.78 c qxplain 332/333 35.54/34.89 c qxplain 333/333 35.74/35.01 c 123596[?] 1321[?] -1320[?] -1289[?] is mandatory 35.74/35.01 c qxplain 332/332 35.85/35.12 c 123599[?] 1322[?] -1321[?] -1290[?] is mandatory 35.85/35.12 c qxplain 330/331 35.95/35.24 c qxplain 331/331 36.04/35.35 c 123602[?] 1323[?] -1322[?] -1291[?] is mandatory 36.04/35.35 c qxplain 330/330 36.14/35.47 c 123605[?] 1324[?] -1323[?] -1292[?] is mandatory 36.14/35.47 c qxplain 304/329 36.24/35.58 c qxplain 317/329 36.44/35.70 c qxplain 324/329 36.54/35.82 c qxplain 327/329 36.64/35.93 c qxplain 329/329 36.74/36.05 c 123608[?] 1325[?] -1324[?] -1293[?] is mandatory 36.74/36.05 c qxplain 327/328 36.84/36.16 c qxplain 328/328 36.95/36.28 c 123611[?] 1326[?] -1325[?] -1294[?] is mandatory 36.95/36.28 c qxplain 327/327 37.05/36.39 c 123614[?] 1327[?] -1326[?] -1295[?] is mandatory 37.05/36.39 c qxplain 324/326 37.24/36.51 c qxplain 326/326 37.34/36.62 c 123617[?] 1328[?] -1327[?] -1296[?] is mandatory 37.34/36.62 c qxplain 324/325 37.44/36.74 c qxplain 325/325 37.54/36.86 c 123620[?] 1329[?] -1328[?] -1297[?] is mandatory 37.54/36.86 c qxplain 324/324 37.64/36.97 c 123623[?] 1330[?] -1329[?] -1298[?] is mandatory 37.64/36.97 c qxplain 317/323 37.74/37.09 c qxplain 321/323 37.94/37.20 c qxplain 323/323 38.04/37.32 c 123626[?] 1331[?] -1330[?] -1299[?] is mandatory 38.04/37.32 c qxplain 321/322 38.14/37.44 c qxplain 322/322 38.24/37.55 c 123629[?] 1332[?] -1331[?] -1300[?] is mandatory 38.24/37.55 c qxplain 321/321 38.34/37.67 c 123632[?] 1333[?] -1332[?] -1301[?] is mandatory 38.34/37.67 c qxplain 317/320 38.44/37.78 c qxplain 319/320 38.64/37.90 c qxplain 320/320 38.74/38.02 c 123635[?] 1334[?] -1333[?] -1302[?] is mandatory 38.74/38.02 c qxplain 319/319 38.84/38.13 c 123638[?] 1335[?] -1334[?] -1303[?] is mandatory 38.84/38.13 c qxplain 317/318 38.94/38.25 c qxplain 318/318 39.04/38.37 c 123641[?] 1336[?] -1335[?] -1304[?] is mandatory 39.04/38.37 c qxplain 317/317 39.14/38.48 c 123644[?] 1337[?] -1336[?] -1305[?] is mandatory 39.14/38.48 c qxplain 304/316 39.34/38.60 c qxplain 311/316 39.44/38.71 c qxplain 314/316 39.54/38.83 c qxplain 316/316 39.64/38.95 c 123647[?] 1338[?] -1337[?] -1306[?] is mandatory 39.64/38.95 c qxplain 314/315 39.74/39.06 c qxplain 315/315 39.84/39.18 c 123650[?] 1339[?] -1338[?] -1307[?] is mandatory 39.84/39.18 c qxplain 314/314 39.94/39.30 c 123653[?] 1340[?] -1339[?] -1308[?] is mandatory 39.94/39.30 c qxplain 311/313 40.14/39.41 c qxplain 313/313 40.25/39.54 c 123656[?] 1341[?] -1340[?] -1309[?] is mandatory 40.25/39.54 c qxplain 311/312 40.36/39.66 c qxplain 312/312 40.46/39.77 c 123659[?] 1342[?] -1341[?] -1310[?] is mandatory 40.46/39.77 c qxplain 311/311 40.56/39.89 c 123662[?] -1342[?] 1343[?] -1311[?] is mandatory 40.56/39.89 c qxplain 304/310 40.75/40.01 c qxplain 308/310 40.85/40.12 c qxplain 310/310 40.95/40.24 c 123665[?] -1343[?] 1344[?] -1312[?] is mandatory 40.95/40.24 c qxplain 308/309 41.05/40.36 c qxplain 309/309 41.15/40.47 c 123668[?] -1344[?] 1345[?] -1313[?] is mandatory 41.15/40.47 c qxplain 308/308 41.25/40.59 c 123671[?] -1345[?] 1346[?] -1314[?] is mandatory 41.25/40.59 c qxplain 304/307 41.46/40.70 c qxplain 306/307 41.55/40.82 c qxplain 307/307 41.65/40.93 c 123675[?] -1346[?] 1282[?] is mandatory 41.65/40.93 c qxplain 306/306 41.75/41.10 c 132483[?] -5654[?] 5811[?] is mandatory 41.75/41.10 c qxplain 304/305 41.96/41.21 c qxplain 305/305 42.06/41.33 c 132605[?] -5811[?] 5843[?] 5421[?] is mandatory 42.06/41.33 c qxplain 304/304 42.16/41.44 c 132733[?] -5843[?] 5131[?] 5875[?] is mandatory 42.16/41.44 c qxplain 203/303 42.26/41.56 c qxplain 254/303 42.36/41.68 c qxplain 279/303 42.46/41.79 c qxplain 292/303 42.66/41.91 c qxplain 298/303 42.76/42.03 c qxplain 301/303 42.86/42.14 c qxplain 303/303 42.96/42.26 c 132832[?] -5875[?] 3205[?] 5907[?] is mandatory 42.96/42.26 c qxplain 301/302 43.06/42.37 c qxplain 302/302 43.16/42.49 c 132840[?] -3205[?] 5910[?] is mandatory 43.16/42.49 c qxplain 301/301 43.36/42.61 c 132900[?] -5907[?] -5940[?] is mandatory 43.36/42.61 c qxplain 298/300 43.46/42.72 c qxplain 300/300 43.56/42.84 c 132906[?] -5910[?] -5943[?] is mandatory 43.56/42.84 c qxplain 298/299 43.66/42.96 c qxplain 299/299 43.76/43.07 c 132992[?] 5940[?] -5972[?] is mandatory 43.76/43.08 c qxplain 298/298 43.86/43.19 c 132994[?] 5972[?] -5973[?] is mandatory 43.86/43.19 c qxplain 292/297 44.06/43.31 c qxplain 295/297 44.16/43.42 c qxplain 297/297 44.26/43.54 c 132997[?] 5973[?] -5974[?] is mandatory 44.26/43.54 c qxplain 295/296 44.36/43.66 c qxplain 296/296 44.46/43.77 c 133000[?] 5974[?] -5975[?] is mandatory 44.46/43.77 c qxplain 295/295 44.56/43.89 c 133001[?] 5943[?] -5975[?] is mandatory 44.56/43.89 c qxplain 292/294 44.76/44.00 c qxplain 294/294 44.86/44.12 c 133002[?] 5975[?] -5911[?] is mandatory 44.86/44.12 c qxplain 292/293 44.96/44.24 c qxplain 293/293 45.06/44.35 c 140699[?] 5911[?] 8578[?] is mandatory 45.06/44.35 c qxplain 292/292 45.16/44.47 c 140772[?] -8578[?] 8610[?] 2979[?] is mandatory 45.16/44.47 c qxplain 279/291 45.26/44.59 c qxplain 286/291 45.46/44.70 c qxplain 289/291 45.56/44.82 c qxplain 291/291 45.66/44.93 c 140895[?] -8610[?] 8642[?] 2673[?] is mandatory 45.66/44.93 c qxplain 289/290 45.76/45.05 c qxplain 290/290 45.76/45.09 c qxplain 289/289 45.89/45.20 c 140991[?] 2440[?] 8674[?] -8642[?] is mandatory 45.89/45.20 c qxplain 286/288 46.08/45.31 c qxplain 288/288 46.08/45.35 c qxplain 286/287 46.20/45.46 c qxplain 287/287 46.30/45.57 c 141092[?] -8674[?] 2311[?] 8706[?] is mandatory 46.30/45.57 c qxplain 286/286 46.30/45.59 c qxplain 279/285 46.50/45.70 c qxplain 283/285 46.60/45.82 c qxplain 285/285 46.70/45.94 c 141218[?] -8706[?] -2182[?] 8738[?] is mandatory 46.70/45.94 c qxplain 283/284 46.80/46.05 c qxplain 284/284 46.91/46.17 c 141335[?] 1957[?] 8799[?] is mandatory 46.91/46.17 c qxplain 283/283 46.91/46.18 c qxplain 279/282 47.10/46.30 c qxplain 281/282 47.20/46.42 c qxplain 282/282 47.30/46.53 c 141342[?] -8738[?] -1957[?] 8802[?] is mandatory 47.30/46.53 c qxplain 281/281 47.41/46.65 c 141432[?] -8799[?] 8831[?] 1596[?] is mandatory 47.41/46.65 c qxplain 279/280 47.52/46.77 c qxplain 280/280 47.52/46.79 c qxplain 279/279 47.72/46.91 c 141444[?] -8802[?] 8834[?] 1596[?] is mandatory 47.72/46.91 c qxplain 254/278 47.82/47.02 c qxplain 267/278 47.92/47.14 c qxplain 273/278 48.03/47.26 c qxplain 276/278 48.13/47.37 c qxplain 278/278 48.22/47.49 c 141560[?] -8831[?] 8863[?] 679[?] is mandatory 48.22/47.49 c qxplain 276/277 48.42/47.60 c qxplain 277/277 48.42/47.62 c qxplain 276/276 48.52/47.73 c 141572[?] -8834[?] 8866[?] 679[?] is mandatory 48.52/47.73 c qxplain 273/275 48.62/47.85 c qxplain 275/275 48.72/47.97 c 141685[?] -8863[?] -8896[?] is mandatory 48.72/47.97 c qxplain 273/274 48.82/48.08 c qxplain 274/274 48.92/48.10 c qxplain 273/273 49.02/48.21 c 141691[?] -8866[?] -8899[?] is mandatory 49.02/48.21 c qxplain 267/272 49.13/48.33 c qxplain 270/272 49.23/48.45 c qxplain 272/272 49.32/48.56 c 141750[?] 8896[?] -8928[?] is mandatory 49.32/48.56 c qxplain 270/271 49.42/48.68 c qxplain 271/271 49.52/48.80 c 141752[?] 8928[?] -8929[?] is mandatory 49.52/48.80 c qxplain 270/270 49.62/48.81 c qxplain 267/269 49.72/48.93 c qxplain 269/269 49.82/49.04 c 141755[?] 8929[?] -8930[?] is mandatory 49.82/49.04 c qxplain 267/268 49.92/49.16 c qxplain 268/268 50.02/49.27 c 141758[?] 8930[?] -8931[?] is mandatory 50.02/49.27 c qxplain 267/267 50.12/49.39 c 141759[?] 8899[?] -8931[?] is mandatory 50.12/49.39 c qxplain 254/266 50.33/49.51 c qxplain 261/266 50.42/49.62 c qxplain 264/266 50.52/49.74 c qxplain 266/266 50.62/49.86 c 141761[?] 8931[?] -8932[?] is mandatory 50.62/49.86 c qxplain 264/265 50.72/49.97 c qxplain 265/265 50.82/50.09 c 141764[?] 8932[?] -8933[?] is mandatory 50.82/50.09 c qxplain 264/264 51.02/50.21 c 141767[?] 8933[?] -8934[?] is mandatory 51.02/50.21 c qxplain 261/263 51.12/50.33 c qxplain 263/263 51.22/50.44 c 141770[?] 8934[?] -8935[?] is mandatory 51.22/50.44 c qxplain 261/262 51.33/50.56 c qxplain 262/262 51.43/50.68 c 141773[?] 8935[?] -8936[?] is mandatory 51.43/50.68 c qxplain 261/261 51.52/50.79 c 141776[?] 8936[?] -8937[?] is mandatory 51.52/50.79 c qxplain 254/260 51.72/50.91 c qxplain 258/260 51.82/51.03 c qxplain 260/260 51.92/51.14 c 141779[?] 8937[?] -8938[?] is mandatory 51.92/51.14 c qxplain 258/259 52.02/51.26 c qxplain 259/259 52.12/51.37 c 141782[?] 8938[?] -8939[?] is mandatory 52.12/51.37 c qxplain 258/258 52.22/51.49 c 141785[?] 8939[?] -8940[?] is mandatory 52.22/51.49 c qxplain 254/257 52.43/51.61 c qxplain 256/257 52.53/51.72 c qxplain 257/257 52.62/51.84 c 141788[?] 8940[?] -8941[?] is mandatory 52.62/51.84 c qxplain 256/256 52.72/51.96 c 141791[?] 8941[?] -8942[?] is mandatory 52.72/51.96 c qxplain 254/255 52.82/52.07 c qxplain 255/255 52.92/52.19 c 141794[?] 8942[?] -8943[?] is mandatory 52.92/52.19 c qxplain 254/254 53.12/52.31 c 141797[?] 8943[?] -8944[?] is mandatory 53.12/52.31 c qxplain 203/253 53.22/52.43 c qxplain 229/253 53.32/52.54 c qxplain 242/253 53.42/52.66 c qxplain 248/253 53.53/52.78 c qxplain 251/253 53.63/52.90 c qxplain 253/253 53.83/53.01 c 141800[?] 8944[?] -8945[?] is mandatory 53.83/53.01 c qxplain 251/252 53.93/53.13 c qxplain 252/252 54.03/53.24 c 141803[?] 8945[?] -8946[?] is mandatory 54.03/53.24 c qxplain 251/251 54.13/53.36 c 141806[?] 8946[?] -8947[?] is mandatory 54.13/53.36 c qxplain 248/250 54.23/53.48 c qxplain 250/250 54.33/53.59 c 141809[?] 8947[?] -8948[?] is mandatory 54.33/53.59 c qxplain 248/249 54.53/53.71 c qxplain 249/249 54.64/53.84 c 141812[?] 8948[?] -8949[?] is mandatory 54.64/53.84 c qxplain 248/248 54.74/53.95 c 141815[?] 8949[?] -8950[?] is mandatory 54.74/53.95 c qxplain 242/247 54.84/54.07 c qxplain 245/247 54.94/54.19 c qxplain 247/247 55.14/54.30 c 141818[?] 8950[?] -8951[?] is mandatory 55.14/54.30 c qxplain 245/246 55.24/54.42 c qxplain 246/246 55.34/54.54 c 141821[?] 8951[?] -8952[?] is mandatory 55.34/54.54 c qxplain 245/245 55.44/54.66 c 141824[?] 8952[?] -8953[?] is mandatory 55.44/54.66 c qxplain 242/244 55.54/54.77 c qxplain 244/244 55.64/54.89 c 141827[?] 8953[?] -8954[?] is mandatory 55.64/54.89 c qxplain 242/243 55.84/55.01 c qxplain 243/243 55.94/55.13 c 141830[?] 8954[?] -8955[?] is mandatory 55.94/55.13 c qxplain 242/242 56.04/55.24 c 141833[?] 8955[?] -8956[?] is mandatory 56.04/55.24 c qxplain 229/241 56.14/55.36 c qxplain 236/241 56.24/55.48 c qxplain 239/241 56.34/55.59 c qxplain 241/241 56.54/55.71 c 141836[?] 8956[?] -8957[?] is mandatory 56.54/55.71 c qxplain 239/240 56.64/55.83 c qxplain 240/240 56.74/55.94 c 141839[?] 8957[?] -8958[?] is mandatory 56.74/55.94 c qxplain 239/239 56.84/56.06 c 141841[?] 8958[?] -8894[?] is mandatory 56.84/56.06 c qxplain 236/238 56.94/56.18 c qxplain 238/238 57.04/56.29 c 141906[?] 8894[?] 8990[?] is mandatory 57.04/56.29 c qxplain 236/237 57.24/56.41 c qxplain 237/237 57.34/56.53 c 141970[?] -8990[?] -9023[?] is mandatory 57.34/56.53 c qxplain 236/236 57.44/56.64 c 142065[?] 9023[?] -9055[?] is mandatory 57.44/56.64 c qxplain 229/235 57.54/56.76 c qxplain 233/235 57.64/56.87 c qxplain 235/235 57.74/56.99 c 142066[?] 9055[?] -8991[?] is mandatory 57.74/56.99 c qxplain 233/234 57.94/57.11 c qxplain 234/234 58.04/57.22 c 145044[?] 10607[?] 1250[?] is mandatory 58.04/57.22 c qxplain 233/233 58.14/57.34 c 145046[?] 10608[?] 1251[?] is mandatory 58.14/57.34 c qxplain 229/232 58.24/57.46 c qxplain 231/232 58.34/57.57 c qxplain 232/232 58.44/57.69 c 145048[?] 10609[?] 1252[?] is mandatory 58.44/57.69 c qxplain 231/231 58.64/57.81 c 145050[?] 10610[?] 1253[?] is mandatory 58.64/57.81 c qxplain 229/230 58.74/57.92 c qxplain 230/230 58.84/58.04 c 145052[?] 10611[?] 1254[?] is mandatory 58.84/58.04 c qxplain 229/229 58.94/58.16 c 145054[?] 10612[?] 1255[?] is mandatory 58.94/58.16 c qxplain 203/228 59.04/58.28 c qxplain 216/228 59.14/58.39 c qxplain 223/228 59.34/58.51 c qxplain 226/228 59.44/58.63 c qxplain 228/228 59.54/58.74 c 145056[?] 10613[?] 1256[?] is mandatory 59.54/58.74 c qxplain 226/227 59.64/58.86 c qxplain 227/227 59.74/58.98 c 145058[?] 10614[?] 1257[?] is mandatory 59.74/58.98 c qxplain 226/226 59.84/59.09 c 145060[?] 10615[?] 1258[?] is mandatory 59.84/59.09 c qxplain 223/225 60.04/59.21 c qxplain 225/225 60.14/59.32 c 145062[?] 10616[?] 1259[?] is mandatory 60.14/59.32 c qxplain 223/224 60.24/59.44 c qxplain 224/224 60.34/59.56 c 145064[?] 10617[?] 1260[?] is mandatory 60.34/59.56 c qxplain 223/223 60.44/59.68 c 145066[?] 10618[?] 1261[?] is mandatory 60.44/59.68 c qxplain 216/222 60.54/59.79 c qxplain 220/222 60.74/59.91 c qxplain 222/222 60.84/60.02 c 145068[?] 10619[?] 1262[?] is mandatory 60.84/60.02 c qxplain 220/221 60.93/60.14 c qxplain 221/221 61.03/60.26 c 145070[?] 10620[?] 1263[?] is mandatory 61.03/60.26 c qxplain 220/220 61.13/60.37 c 145072[?] 10621[?] 1264[?] is mandatory 61.13/60.37 c qxplain 216/219 61.24/60.49 c qxplain 218/219 61.43/60.61 c qxplain 219/219 61.53/60.73 c 145074[?] 10622[?] 1265[?] is mandatory 61.53/60.73 c qxplain 218/218 61.63/60.84 c 145076[?] 10623[?] 1266[?] is mandatory 61.63/60.84 c qxplain 216/217 61.73/60.96 c qxplain 217/217 61.84/61.08 c 145078[?] 10624[?] 1267[?] is mandatory 61.84/61.08 c qxplain 216/216 62.04/61.20 c 145080[?] 10625[?] 1268[?] is mandatory 62.04/61.20 c qxplain 203/215 62.14/61.31 c qxplain 210/215 62.24/61.43 c qxplain 213/215 62.35/61.56 c qxplain 215/215 62.45/61.67 c 145082[?] 10626[?] 1269[?] is mandatory 62.45/61.67 c qxplain 213/214 62.54/61.79 c qxplain 214/214 62.74/61.91 c 145084[?] 10627[?] 1270[?] is mandatory 62.74/61.91 c qxplain 213/213 62.84/62.02 c 145086[?] 10628[?] 1271[?] is mandatory 62.84/62.02 c qxplain 210/212 62.94/62.14 c qxplain 212/212 63.04/62.26 c 145088[?] 10629[?] 1272[?] is mandatory 63.04/62.26 c qxplain 210/211 63.14/62.37 c qxplain 211/211 63.24/62.49 c 145090[?] 10630[?] 1273[?] is mandatory 63.24/62.49 c qxplain 210/210 63.45/62.61 c 145092[?] 10631[?] 1274[?] is mandatory 63.45/62.61 c qxplain 203/209 63.55/62.72 c qxplain 207/209 63.64/62.84 c qxplain 209/209 63.74/62.96 c 145094[?] 10632[?] 1275[?] is mandatory 63.74/62.96 c qxplain 207/208 63.84/63.07 c qxplain 208/208 63.94/63.19 c 145096[?] 10633[?] 1276[?] is mandatory 63.94/63.19 c qxplain 207/207 64.14/63.31 c 145098[?] 10634[?] 1277[?] is mandatory 64.14/63.31 c qxplain 203/206 64.24/63.43 c qxplain 205/206 64.34/63.54 c qxplain 206/206 64.44/63.66 c 145100[?] 10635[?] 1278[?] is mandatory 64.44/63.66 c qxplain 205/205 64.55/63.78 c 145102[?] 10636[?] 1279[?] is mandatory 64.55/63.78 c qxplain 203/204 64.65/63.89 c qxplain 204/204 64.84/64.01 c 145104[?] 10637[?] 1280[?] is mandatory 64.84/64.01 c qxplain 203/203 64.94/64.12 c 145106[?] 10638[?] 1281[?] is mandatory 64.94/64.12 c qxplain 0/202 65.04/64.24 c qxplain 102/202 65.14/64.36 c qxplain 153/202 65.24/64.48 c qxplain 178/202 65.34/64.59 c qxplain 191/202 65.54/64.71 c qxplain 197/202 65.65/64.83 c qxplain 200/202 65.75/64.94 c qxplain 202/202 65.84/65.06 c 145108[?] 10639[?] -10607[?] is mandatory 65.84/65.06 c qxplain 200/201 65.94/65.18 c qxplain 201/201 66.04/65.29 c 145110[?] 10640[?] -10639[?] -10608[?] is mandatory 66.04/65.29 c qxplain 200/200 66.24/65.41 c 145113[?] 10641[?] -10640[?] -10609[?] is mandatory 66.24/65.41 c qxplain 197/199 66.35/65.52 c qxplain 199/199 66.45/65.64 c 145116[?] 10642[?] -10641[?] -10610[?] is mandatory 66.45/65.64 c qxplain 197/198 66.55/65.76 c qxplain 198/198 66.65/65.87 c 145119[?] 10643[?] -10642[?] -10611[?] is mandatory 66.65/65.87 c qxplain 197/197 66.75/65.99 c 145122[?] 10644[?] -10643[?] -10612[?] is mandatory 66.75/65.99 c qxplain 191/196 66.95/66.11 c qxplain 194/196 67.05/66.23 c qxplain 196/196 67.15/66.34 c 145125[?] 10645[?] -10644[?] -10613[?] is mandatory 67.15/66.34 c qxplain 194/195 67.25/66.46 c qxplain 195/195 67.35/66.57 c 145128[?] 10646[?] -10645[?] -10614[?] is mandatory 67.35/66.57 c qxplain 194/194 67.45/66.69 c 145131[?] 10647[?] -10646[?] -10615[?] is mandatory 67.45/66.69 c qxplain 191/193 67.65/66.81 c qxplain 193/193 67.75/66.93 c 145134[?] 10648[?] -10647[?] -10616[?] is mandatory 67.75/66.93 c qxplain 191/192 67.85/67.04 c qxplain 192/192 67.95/67.16 c 145137[?] 10649[?] -10648[?] -10617[?] is mandatory 67.95/67.16 c qxplain 191/191 68.05/67.28 c 145140[?] 10650[?] -10649[?] -10618[?] is mandatory 68.05/67.28 c qxplain 178/190 68.15/67.39 c qxplain 185/190 68.35/67.51 c qxplain 188/190 68.45/67.63 c qxplain 190/190 68.55/67.74 c 145143[?] 10651[?] -10650[?] -10619[?] is mandatory 68.55/67.75 c qxplain 188/189 68.65/67.86 c qxplain 189/189 68.75/67.98 c 145146[?] 10652[?] -10651[?] -10620[?] is mandatory 68.75/67.98 c qxplain 188/188 68.85/68.09 c 145149[?] 10653[?] -10652[?] -10621[?] is mandatory 68.85/68.10 c qxplain 185/187 69.05/68.21 c qxplain 187/187 69.15/68.33 c 145152[?] 10654[?] -10653[?] -10622[?] is mandatory 69.15/68.33 c qxplain 185/186 69.25/68.44 c qxplain 186/186 69.35/68.56 c 145155[?] 10655[?] -10654[?] -10623[?] is mandatory 69.35/68.56 c qxplain 185/185 69.45/68.68 c 145158[?] 10656[?] -10655[?] -10624[?] is mandatory 69.45/68.68 c qxplain 178/184 69.55/68.79 c qxplain 182/184 69.75/68.91 c qxplain 184/184 69.85/69.03 c 145161[?] 10657[?] -10656[?] -10625[?] is mandatory 69.85/69.03 c qxplain 182/183 69.95/69.14 c qxplain 183/183 70.07/69.27 c 145164[?] 10658[?] -10657[?] -10626[?] is mandatory 70.07/69.27 c qxplain 182/182 70.17/69.39 c 145167[?] 10659[?] -10658[?] -10627[?] is mandatory 70.17/69.39 c qxplain 178/181 70.36/69.51 c qxplain 180/181 70.46/69.62 c qxplain 181/181 70.56/69.74 c 145170[?] 10660[?] -10659[?] -10628[?] is mandatory 70.56/69.74 c qxplain 180/180 70.66/69.85 c 145173[?] 10661[?] -10660[?] -10629[?] is mandatory 70.66/69.85 c qxplain 178/179 70.76/69.97 c qxplain 179/179 70.86/70.09 c 145176[?] 10662[?] -10661[?] -10630[?] is mandatory 70.86/70.09 c qxplain 178/178 71.06/70.21 c 145179[?] 10663[?] -10662[?] -10631[?] is mandatory 71.06/70.21 c qxplain 153/177 71.17/70.32 c qxplain 166/177 71.27/70.44 c qxplain 172/177 71.36/70.56 c qxplain 175/177 71.46/70.68 c qxplain 177/177 71.56/70.79 c 145182[?] 10664[?] -10663[?] -10632[?] is mandatory 71.56/70.79 c qxplain 175/176 71.76/70.91 c qxplain 176/176 71.86/71.03 c 145185[?] 10665[?] -10664[?] -10633[?] is mandatory 71.86/71.03 c qxplain 175/175 71.96/71.14 c 145188[?] 10666[?] -10665[?] -10634[?] is mandatory 71.96/71.14 c qxplain 172/174 72.06/71.26 c qxplain 174/174 72.16/71.37 c 145191[?] 10667[?] -10666[?] -10635[?] is mandatory 72.16/71.37 c qxplain 172/173 72.27/71.49 c qxplain 173/173 72.46/71.61 c 145194[?] 10668[?] -10667[?] -10636[?] is mandatory 72.46/71.61 c qxplain 172/172 72.56/71.72 c 145197[?] 10669[?] -10668[?] -10637[?] is mandatory 72.56/71.72 c qxplain 166/171 72.66/71.84 c qxplain 169/171 72.76/71.96 c qxplain 171/171 72.86/72.07 c 145200[?] 10670[?] -10669[?] -10638[?] is mandatory 72.86/72.07 c qxplain 169/170 72.96/72.19 c qxplain 170/170 73.16/72.30 c 145204[?] 10606[?] -10670[?] is mandatory 73.16/72.30 c qxplain 169/169 73.26/72.42 c 145206[?] -10605[?] -10606[?] is mandatory 73.26/72.42 c qxplain 166/168 73.37/72.54 c qxplain 168/168 73.47/72.65 c 145209[?] -10671[?] 10605[?] is mandatory 73.47/72.65 c qxplain 166/167 73.56/72.77 c qxplain 167/167 73.66/72.89 c 145212[?] -10672[?] 10671[?] is mandatory 73.66/72.89 c qxplain 166/166 73.86/73.00 c 145215[?] -10673[?] 10672[?] is mandatory 73.86/73.00 c qxplain 153/165 73.96/73.12 c qxplain 160/165 74.06/73.24 c qxplain 163/165 74.16/73.35 c qxplain 165/165 74.26/73.47 c 145668[?] -10932[?] 10673[?] is mandatory 74.26/73.47 c qxplain 163/164 74.36/73.59 c qxplain 164/164 74.57/73.70 c 146095[?] -11127[?] 10932[?] is mandatory 74.57/73.70 c qxplain 163/163 74.66/73.82 c 146098[?] -11128[?] 11127[?] is mandatory 74.66/73.82 c qxplain 160/162 74.76/73.94 c qxplain 162/162 74.86/74.05 c 146101[?] -11129[?] 11128[?] is mandatory 74.86/74.05 c qxplain 160/161 74.96/74.17 c qxplain 161/161 75.06/74.28 c 146266[?] -11196[?] 11129[?] is mandatory 75.06/74.28 c qxplain 160/160 75.26/74.41 c 146270[?] -11197[?] 11196[?] is mandatory 75.26/74.41 c qxplain 153/159 75.36/74.52 c qxplain 157/159 75.46/74.64 c qxplain 159/159 75.57/74.75 c 146272[?] -11198[?] 11197[?] is mandatory 75.57/74.75 c qxplain 157/158 75.67/74.87 c qxplain 158/158 75.76/74.99 c 146437[?] -11265[?] 11196[?] is mandatory 75.76/74.99 c qxplain 157/157 75.97/75.10 c 146441[?] -11266[?] 11265[?] is mandatory 75.97/75.10 c qxplain 153/156 76.07/75.22 c qxplain 155/156 76.17/75.34 c qxplain 156/156 76.27/75.45 c 146443[?] -11267[?] 11266[?] is mandatory 76.27/75.45 c qxplain 155/155 76.37/75.57 c 146447[?] -11268[?] 11267[?] 389[?] is mandatory 76.37/75.57 c qxplain 153/154 76.47/75.69 c qxplain 154/154 76.68/75.80 c 146449[?] -11269[?] 11268[?] is mandatory 76.68/75.80 c qxplain 153/153 76.78/75.92 c 146452[?] -11270[?] 11269[?] is mandatory 76.78/75.92 c qxplain 102/152 76.87/76.04 c qxplain 128/152 76.97/76.16 c qxplain 141/152 77.07/76.27 c qxplain 147/152 77.17/76.39 c qxplain 150/152 77.37/76.50 c qxplain 152/152 77.47/76.62 c 146456[?] -11271[?] 389[?] 11270[?] is mandatory 77.47/76.62 c qxplain 150/151 77.57/76.74 c qxplain 151/151 77.67/76.85 c 146912[?] -11472[?] -1282[?] is mandatory 77.67/76.85 c qxplain 150/150 77.77/76.97 c 146916[?] 11271[?] -518[?] -11473[?] is mandatory 77.77/76.97 c qxplain 147/149 77.88/77.09 c qxplain 149/149 78.07/77.20 c 146918[?] 518[?] -11473[?] 11472[?] is mandatory 78.07/77.20 c qxplain 147/148 78.17/77.32 c qxplain 148/148 78.27/77.44 c 146920[?] -389[?] 11198[?] -11474[?] is mandatory 78.27/77.44 c qxplain 147/147 78.37/77.56 c 146922[?] 11473[?] 389[?] -11474[?] is mandatory 78.37/77.56 c qxplain 141/146 78.47/77.68 c qxplain 144/146 78.57/77.79 c qxplain 146/146 78.77/77.91 c 146924[?] -228[?] 11129[?] -11475[?] is mandatory 78.77/77.91 c qxplain 144/145 78.88/78.03 c qxplain 145/145 78.98/78.14 c 146926[?] 11474[?] -11475[?] 228[?] is mandatory 78.98/78.14 c qxplain 144/144 79.07/78.26 c 147091[?] 11475[?] -11542[?] is mandatory 79.07/78.26 c qxplain 141/143 79.17/78.37 c qxplain 143/143 79.27/78.49 c 147095[?] 11542[?] -11543[?] is mandatory 79.27/78.49 c qxplain 141/142 79.47/78.61 c qxplain 142/142 79.57/78.72 c 147097[?] 11543[?] -11544[?] is mandatory 79.57/78.73 c qxplain 141/141 79.67/78.84 c 147101[?] 11544[?] -11545[?] is mandatory 79.67/78.84 c qxplain 128/140 79.77/78.96 c qxplain 135/140 79.87/79.08 c qxplain 138/140 79.97/79.20 c qxplain 140/140 80.17/79.31 c 147103[?] 11545[?] -1089[?] -11546[?] is mandatory 80.17/79.31 c qxplain 138/139 80.27/79.43 c qxplain 139/139 80.37/79.54 c 147104[?] 1089[?] -11546[?] is mandatory 80.37/79.54 c qxplain 138/138 80.47/79.66 c 147107[?] -11547[?] 11546[?] is mandatory 80.47/79.66 c qxplain 135/137 80.57/79.78 c qxplain 137/137 80.67/79.89 c 147110[?] -11548[?] 11547[?] is mandatory 80.67/79.89 c qxplain 135/136 80.87/80.01 c qxplain 136/136 80.97/80.13 c 147113[?] -11549[?] 11548[?] is mandatory 80.97/80.13 c qxplain 135/135 81.07/80.24 c 147116[?] -11550[?] 11549[?] is mandatory 81.07/80.24 c qxplain 128/134 81.18/80.36 c qxplain 132/134 81.27/80.47 c qxplain 134/134 81.37/80.59 c 147119[?] -11551[?] 11550[?] is mandatory 81.37/80.59 c qxplain 132/133 81.57/80.71 c qxplain 133/133 81.67/80.82 c 147121[?] -11552[?] 11551[?] -9410[?] is mandatory 81.67/80.82 c qxplain 132/132 81.77/80.94 c 147123[?] -11552[?] 9410[?] 11549[?] is mandatory 81.77/80.94 c qxplain 128/131 81.87/81.06 c qxplain 130/131 81.97/81.17 c qxplain 131/131 82.07/81.29 c 147125[?] 11552[?] -11553[?] is mandatory 82.07/81.29 c qxplain 130/130 82.28/81.41 c 153556[?] 11553[?] -13773[?] is mandatory 82.28/81.41 c qxplain 128/129 82.37/81.52 c qxplain 129/129 82.47/81.64 c 153883[?] -13905[?] 13773[?] is mandatory 82.47/81.64 c qxplain 128/128 82.57/81.75 c 154049[?] -13972[?] 13905[?] is mandatory 82.57/81.75 c qxplain 102/127 82.67/81.87 c qxplain 115/127 82.77/81.99 c qxplain 122/127 82.97/82.11 c qxplain 125/127 83.08/82.22 c qxplain 127/127 83.18/82.34 c 154052[?] -13973[?] 13972[?] is mandatory 83.18/82.34 c qxplain 125/126 83.29/82.45 c qxplain 126/126 83.39/82.57 c 154054[?] -13774[?] -13974[?] 13905[?] is mandatory 83.39/82.57 c qxplain 125/125 83.48/82.69 c 154056[?] 13774[?] 13973[?] -13974[?] is mandatory 83.48/82.69 c qxplain 122/124 83.68/82.80 c qxplain 124/124 83.78/82.92 c 154058[?] -13642[?] 13773[?] -13975[?] is mandatory 83.78/82.92 c qxplain 122/123 83.88/83.04 c qxplain 123/123 83.98/83.15 c 154060[?] 13974[?] 13642[?] -13975[?] is mandatory 83.98/83.15 c qxplain 122/122 84.08/83.27 c 154062[?] 11553[?] -9410[?] -13976[?] is mandatory 84.08/83.27 c qxplain 115/121 84.18/83.39 c qxplain 119/121 84.39/83.50 c qxplain 121/121 84.49/83.62 c 154064[?] 13975[?] 9410[?] -13976[?] is mandatory 84.49/83.62 c qxplain 119/120 84.58/83.73 c qxplain 120/120 84.68/83.85 c 154066[?] -13977[?] 13976[?] is mandatory 84.68/83.85 c qxplain 119/119 84.78/83.97 c 154069[?] -13978[?] 13977[?] is mandatory 84.78/83.97 c qxplain 115/118 84.88/84.08 c qxplain 117/118 85.08/84.20 c qxplain 118/118 85.18/84.32 c 154072[?] -13979[?] 13978[?] is mandatory 85.18/84.32 c qxplain 117/117 85.28/84.43 c 154237[?] -14046[?] 13977[?] is mandatory 85.28/84.43 c qxplain 115/116 85.38/84.55 c qxplain 116/116 85.49/84.67 c 154241[?] -14047[?] 14046[?] is mandatory 85.49/84.67 c qxplain 115/115 85.59/84.78 c 154243[?] -14048[?] 14047[?] is mandatory 85.59/84.78 c qxplain 102/114 85.78/84.90 c qxplain 109/114 85.88/85.01 c qxplain 112/114 85.98/85.13 c qxplain 114/114 86.08/85.25 c 154246[?] -14049[?] 14048[?] is mandatory 86.08/85.25 c qxplain 112/113 86.18/85.36 c qxplain 113/113 86.28/85.48 c 154249[?] -14050[?] 14049[?] is mandatory 86.28/85.48 c qxplain 112/112 86.48/85.60 c 154414[?] -14117[?] 14048[?] is mandatory 86.48/85.60 c qxplain 109/111 86.59/85.72 c qxplain 111/111 86.69/85.84 c 154417[?] -14118[?] 14117[?] is mandatory 86.69/85.84 c qxplain 109/110 86.78/85.95 c qxplain 110/110 86.88/86.07 c 154419[?] -14119[?] 14118[?] is mandatory 86.88/86.07 c qxplain 109/109 86.98/86.19 c 154422[?] -14120[?] 14119[?] is mandatory 86.98/86.19 c qxplain 102/108 87.18/86.30 c qxplain 106/108 87.28/86.42 c qxplain 108/108 87.38/86.54 c 155262[?] -14490[?] 14118[?] is mandatory 87.38/86.54 c qxplain 106/107 87.48/86.65 c qxplain 107/107 87.58/86.77 c 155266[?] -14491[?] 14490[?] is mandatory 87.58/86.77 c qxplain 106/106 87.69/86.89 c 155431[?] -14558[?] 14491[?] is mandatory 87.69/86.89 c qxplain 102/105 87.88/87.00 c qxplain 104/105 87.98/87.12 c qxplain 105/105 88.08/87.23 c 155435[?] -14559[?] 14558[?] is mandatory 88.08/87.23 c qxplain 104/104 88.18/87.35 c 155437[?] -14560[?] -4649[?] 14491[?] is mandatory 88.18/87.35 c qxplain 102/103 88.28/87.47 c qxplain 103/103 88.38/87.58 c 155439[?] -14560[?] 4649[?] 14559[?] is mandatory 88.38/87.58 c qxplain 102/102 88.58/87.70 c 155442[?] -14561[?] 14560[?] is mandatory 88.58/87.70 c qxplain 0/101 88.68/87.82 c qxplain 51/101 88.79/87.94 c qxplain 77/101 88.89/88.06 c qxplain 90/101 88.98/88.18 c qxplain 96/101 89.08/88.29 c qxplain 99/101 89.28/88.41 c qxplain 101/101 89.38/88.53 c 155444[?] -14562[?] 14561[?] is mandatory 89.38/88.53 c qxplain 99/100 89.48/88.64 c qxplain 100/100 89.58/88.76 c 155448[?] -14563[?] 14562[?] is mandatory 89.58/88.76 c qxplain 99/99 89.68/88.87 c 155450[?] -14564[?] 14561[?] -4649[?] is mandatory 89.68/88.87 c qxplain 96/98 89.78/88.99 c qxplain 98/98 89.99/89.11 c 155452[?] -14564[?] 14563[?] 4649[?] is mandatory 89.99/89.11 c qxplain 96/97 90.08/89.23 c qxplain 97/97 90.18/89.34 c 155455[?] -14565[?] 14564[?] is mandatory 90.18/89.34 c qxplain 96/96 90.28/89.46 c 155457[?] -14566[?] 14565[?] is mandatory 90.28/89.46 c qxplain 90/95 90.38/89.58 c qxplain 93/95 90.48/89.69 c qxplain 95/95 90.68/89.81 c 155461[?] -14567[?] 14566[?] is mandatory 90.68/89.81 c qxplain 93/94 90.78/89.93 c qxplain 94/94 90.88/90.04 c 155463[?] 14565[?] -14568[?] -4649[?] is mandatory 90.88/90.04 c qxplain 93/93 90.99/90.16 c 155465[?] 14567[?] 4649[?] -14568[?] is mandatory 90.99/90.16 c qxplain 90/92 91.09/90.27 c qxplain 92/92 91.18/90.39 c 155468[?] 14568[?] -14569[?] is mandatory 91.18/90.39 c qxplain 90/91 91.38/90.51 c qxplain 91/91 91.48/90.63 c 155471[?] 14569[?] -14570[?] is mandatory 91.48/90.63 c qxplain 90/90 91.58/90.74 c 155473[?] 14570[?] -14571[?] is mandatory 91.58/90.74 c qxplain 77/89 91.68/90.86 c qxplain 84/89 91.78/90.98 c qxplain 87/89 91.88/91.09 c qxplain 89/89 92.09/91.21 c 155477[?] 14571[?] -14572[?] is mandatory 92.09/91.21 c qxplain 87/88 92.19/91.33 c qxplain 88/88 92.28/91.44 c 155479[?] 14570[?] -4649[?] -14573[?] is mandatory 92.28/91.44 c qxplain 87/87 92.38/91.56 c 155481[?] 14572[?] 4649[?] -14573[?] is mandatory 92.38/91.56 c qxplain 84/86 92.48/91.68 c qxplain 86/86 92.58/91.79 c 155483[?] -14574[?] 14573[?] is mandatory 92.58/91.79 c qxplain 84/85 92.78/91.91 c qxplain 85/85 92.88/92.02 c 156693[?] -15101[?] 14574[?] is mandatory 92.88/92.02 c qxplain 84/84 92.98/92.14 c 156696[?] -15102[?] 15101[?] is mandatory 92.98/92.14 c qxplain 77/83 93.08/92.26 c qxplain 81/83 93.19/92.37 c qxplain 83/83 93.29/92.49 c 157728[?] -15572[?] 15102[?] is mandatory 93.29/92.49 c qxplain 81/82 93.48/92.61 c qxplain 82/82 93.58/92.72 c 157894[?] -15639[?] 15101[?] is mandatory 93.58/92.72 c qxplain 81/81 93.68/92.84 c 158441[?] -15849[?] 15639[?] is mandatory 93.68/92.84 c qxplain 77/80 93.78/92.96 c qxplain 79/80 93.88/93.07 c qxplain 80/80 93.98/93.19 c 158444[?] -14970[?] -15850[?] 15572[?] is mandatory 93.98/93.19 c qxplain 79/79 94.18/93.31 c 158446[?] 14970[?] -15850[?] 15849[?] is mandatory 94.18/93.31 c qxplain 77/78 94.29/93.42 c qxplain 78/78 94.39/93.54 c 158996[?] -16047[?] 15850[?] is mandatory 94.39/93.54 c qxplain 77/77 94.48/93.66 c 159419[?] -16244[?] 16047[?] is mandatory 94.48/93.66 c qxplain 51/76 94.58/93.77 c qxplain 64/76 94.68/93.89 c qxplain 71/76 94.89/94.02 c qxplain 74/76 94.99/94.13 c qxplain 76/76 95.09/94.25 c 159422[?] -16245[?] 16244[?] is mandatory 95.09/94.25 c qxplain 74/75 95.19/94.37 c qxplain 75/75 95.29/94.48 c 159425[?] -16246[?] 16245[?] is mandatory 95.29/94.48 c qxplain 74/74 95.40/94.60 c 159751[?] -16410[?] 16244[?] is mandatory 95.40/94.60 c qxplain 71/73 95.59/94.72 c qxplain 73/73 95.69/94.83 c 159964[?] -16506[?] 16410[?] is mandatory 95.69/94.83 c qxplain 71/72 95.79/94.95 c qxplain 72/72 95.89/95.06 c 159968[?] -16507[?] 16506[?] is mandatory 95.89/95.06 c qxplain 71/71 95.99/95.18 c 160133[?] -16606[?] 16507[?] is mandatory 95.99/95.18 c qxplain 64/70 96.19/95.30 c qxplain 68/70 96.29/95.41 c qxplain 70/70 96.39/95.53 c 160299[?] -16705[?] 16606[?] is mandatory 96.39/95.53 c qxplain 68/69 96.50/95.65 c qxplain 69/69 96.60/95.76 c 160304[?] -16708[?] 16705[?] is mandatory 96.60/95.76 c qxplain 68/68 96.69/95.88 c 160470[?] -16807[?] 16708[?] is mandatory 96.69/95.88 c qxplain 64/67 96.79/96.00 c qxplain 66/67 96.99/96.11 c qxplain 67/67 97.09/96.23 c 160636[?] -16906[?] 16807[?] is mandatory 97.09/96.23 c qxplain 66/66 97.19/96.35 c 160639[?] -16907[?] 16906[?] is mandatory 97.19/96.35 c qxplain 64/65 97.29/96.46 c qxplain 65/65 97.39/96.58 c 160641[?] -16279[?] -16908[?] 16410[?] is mandatory 97.39/96.58 c qxplain 64/64 97.49/96.69 c 160643[?] 16279[?] -16908[?] 16907[?] is mandatory 97.49/96.69 c qxplain 51/63 97.70/96.81 c qxplain 58/63 97.79/96.93 c qxplain 61/63 97.89/97.05 c qxplain 63/63 97.99/97.17 c 160645[?] -16113[?] -16909[?] 16246[?] is mandatory 97.99/97.17 c qxplain 61/62 98.09/97.28 c qxplain 62/62 98.29/97.40 c 160647[?] 16113[?] -16909[?] 16908[?] is mandatory 98.29/97.40 c qxplain 61/61 98.39/97.52 c 160649[?] -14737[?] -16910[?] 16047[?] is mandatory 98.39/97.52 c qxplain 58/60 98.49/97.63 c qxplain 60/60 98.59/97.75 c 160651[?] 16909[?] -16910[?] 14737[?] is mandatory 98.59/97.75 c qxplain 58/59 98.70/97.86 c qxplain 59/59 98.80/97.98 c 160653[?] -16911[?] 16910[?] is mandatory 98.80/97.98 c qxplain 58/58 98.99/98.10 c 160819[?] -17010[?] 16911[?] is mandatory 98.99/98.10 c qxplain 51/57 99.09/98.21 c qxplain 55/57 99.19/98.33 c qxplain 57/57 99.29/98.45 c 160985[?] -17109[?] 17010[?] is mandatory 99.29/98.45 c qxplain 55/56 99.39/98.57 c qxplain 56/56 99.49/98.68 c 160988[?] -17110[?] 17109[?] is mandatory 99.49/98.68 c qxplain 55/55 99.69/98.80 c 161314[?] -17242[?] 16910[?] is mandatory 99.69/98.80 c qxplain 51/54 99.80/98.91 c qxplain 53/54 99.90/99.03 c qxplain 54/54 99.99/99.15 c 161481[?] -17309[?] 17242[?] is mandatory 99.99/99.15 c qxplain 53/53 100.09/99.26 c 161646[?] -17408[?] 17309[?] is mandatory 100.09/99.26 c qxplain 51/52 100.19/99.38 c qxplain 52/52 100.29/99.49 c 161812[?] -17507[?] 17408[?] is mandatory 100.29/99.49 c qxplain 51/51 100.49/99.61 c 161815[?] -17508[?] 17507[?] is mandatory 100.49/99.61 c qxplain 0/50 100.59/99.73 c qxplain 26/50 100.69/99.84 c qxplain 39/50 100.79/99.96 c qxplain 45/50 100.90/100.08 c qxplain 48/50 101.00/100.19 c qxplain 50/50 101.19/100.31 c 161817[?] -17111[?] -17509[?] 17242[?] is mandatory 101.19/100.31 c qxplain 48/49 101.29/100.43 c qxplain 49/49 101.39/100.54 c 161819[?] 17111[?] -17509[?] 17508[?] is mandatory 101.39/100.54 c qxplain 48/48 101.49/100.66 c 161821[?] -2818[?] -17510[?] 17110[?] is mandatory 101.49/100.66 c qxplain 45/47 101.59/100.77 c qxplain 47/47 101.69/100.89 c 161823[?] 2818[?] -17510[?] 17509[?] is mandatory 101.69/100.89 c qxplain 45/46 101.89/101.01 c qxplain 46/46 102.00/101.12 c 162278[?] -17705[?] 17510[?] is mandatory 102.00/101.12 c qxplain 45/45 102.10/101.24 c 163791[?] -18459[?] 17705[?] 3205[?] is mandatory 102.10/101.24 c qxplain 39/44 102.19/101.36 c qxplain 42/44 102.29/101.48 c qxplain 44/44 102.39/101.59 c 163793[?] -18460[?] 18459[?] is mandatory 102.39/101.59 c qxplain 42/43 102.59/101.71 c qxplain 43/43 102.69/101.83 c 163959[?] -18559[?] 18460[?] is mandatory 102.69/101.83 c qxplain 42/42 102.79/101.94 c 164125[?] -18658[?] 18559[?] is mandatory 102.79/101.94 c qxplain 39/41 102.89/102.06 c qxplain 41/41 102.99/102.18 c 164128[?] -18659[?] 18658[?] is mandatory 102.99/102.18 c qxplain 39/40 103.10/102.29 c qxplain 40/40 103.31/102.42 c 164583[?] -18854[?] 18459[?] is mandatory 103.31/102.42 c qxplain 39/39 103.40/102.53 c 164586[?] -18855[?] 18854[?] is mandatory 103.40/102.53 c qxplain 26/38 103.50/102.65 c qxplain 33/38 103.60/102.77 c qxplain 36/38 103.70/102.88 c qxplain 38/38 103.90/103.00 c 164589[?] -18856[?] 18855[?] is mandatory 103.90/103.00 c qxplain 36/37 104.00/103.11 c qxplain 37/37 104.10/103.23 c 164754[?] -18923[?] 18854[?] is mandatory 104.10/103.23 c qxplain 36/36 104.21/103.35 c 165080[?] -19054[?] 18923[?] is mandatory 104.21/103.35 c qxplain 33/35 104.31/103.46 c qxplain 35/35 104.40/103.58 c 165083[?] -19055[?] 19054[?] is mandatory 104.40/103.58 c qxplain 33/34 104.60/103.70 c qxplain 34/34 104.70/103.82 c 165087[?] -19056[?] 5654[?] 19055[?] is mandatory 104.70/103.82 c qxplain 33/33 104.80/103.93 c 165089[?] -5421[?] -19057[?] 18856[?] is mandatory 104.80/103.93 c qxplain 26/32 104.90/104.05 c qxplain 30/32 105.00/104.17 c qxplain 32/32 105.10/104.28 c 165091[?] 19056[?] -19057[?] 5421[?] is mandatory 105.10/104.28 c qxplain 30/31 105.31/104.40 c qxplain 31/31 105.41/104.52 c 165093[?] -5131[?] 18659[?] -19058[?] is mandatory 105.41/104.52 c qxplain 30/30 105.50/104.63 c 165095[?] 19057[?] 5131[?] -19058[?] is mandatory 105.50/104.63 c qxplain 26/29 105.60/104.75 c qxplain 28/29 105.70/104.87 c qxplain 29/29 105.81/104.98 c 165099[?] 19058[?] -19059[?] 3205[?] is mandatory 105.81/104.98 c qxplain 28/28 106.00/105.10 c 165101[?] 19059[?] -19060[?] is mandatory 106.00/105.10 c qxplain 26/27 106.10/105.22 c qxplain 27/27 106.20/105.33 c 165104[?] -19061[?] -2673[?] 14574[?] is mandatory 106.20/105.33 c qxplain 26/26 106.30/105.45 c 165106[?] 19060[?] 2673[?] -19061[?] is mandatory 106.30/105.45 c qxplain 0/25 106.41/105.57 c qxplain 13/25 106.51/105.68 c qxplain 20/25 106.70/105.80 c qxplain 23/25 106.80/105.92 c qxplain 25/25 106.90/106.04 c 165108[?] -19062[?] 19061[?] is mandatory 106.90/106.04 c qxplain 23/24 107.00/106.15 c qxplain 24/24 107.10/106.27 c 165111[?] -19063[?] 19062[?] is mandatory 107.10/106.27 c qxplain 23/23 107.20/106.39 c 165113[?] 19063[?] -14153[?] -19064[?] is mandatory 107.20/106.39 c qxplain 20/22 107.40/106.50 c qxplain 22/22 107.51/106.62 c 165115[?] 14153[?] -19064[?] 19061[?] is mandatory 107.51/106.62 c qxplain 20/21 107.61/106.73 c qxplain 21/21 107.70/106.85 c 166040[?] 19064[?] -5911[?] -19534[?] is mandatory 107.70/106.85 c qxplain 20/20 107.80/106.97 c 166044[?] -2979[?] -19535[?] 17510[?] is mandatory 107.80/106.97 c qxplain 13/19 107.90/107.08 c qxplain 17/19 108.10/107.20 c qxplain 19/19 108.20/107.32 c 166046[?] 19534[?] -19535[?] 2979[?] is mandatory 108.20/107.32 c qxplain 17/18 108.30/107.43 c qxplain 18/18 108.40/107.55 c 166048[?] 19064[?] -2673[?] -19536[?] is mandatory 108.40/107.55 c qxplain 17/17 108.50/107.67 c 166050[?] 19535[?] 2673[?] -19536[?] is mandatory 108.50/107.67 c qxplain 13/16 108.61/107.78 c qxplain 15/16 108.80/107.90 c qxplain 16/16 108.90/108.02 c 166052[?] -2440[?] -19537[?] 14120[?] is mandatory 108.90/108.02 c qxplain 15/15 109.00/108.13 c 166054[?] 19536[?] 2440[?] -19537[?] is mandatory 109.00/108.13 c qxplain 13/14 109.10/108.25 c qxplain 14/14 109.20/108.37 c 166056[?] -2311[?] -19538[?] 14050[?] is mandatory 109.20/108.37 c qxplain 13/13 109.30/108.48 c 166058[?] 19537[?] 2311[?] -19538[?] is mandatory 109.30/108.48 c qxplain 0/12 109.50/108.60 c qxplain 7/12 109.60/108.72 c qxplain 10/12 109.71/108.83 c qxplain 12/12 109.81/108.95 c 166060[?] 19538[?] -2182[?] -19539[?] is mandatory 109.81/108.95 c qxplain 10/11 109.90/109.07 c qxplain 11/11 110.00/109.18 c 166062[?] 2182[?] -19539[?] 14047[?] is mandatory 110.00/109.18 c qxplain 10/10 110.20/109.30 c 166129[?] 19539[?] -1957[?] -19608[?] is mandatory 110.20/109.30 c qxplain 7/9 110.30/109.41 c qxplain 9/9 110.40/109.53 c 166133[?] -1596[?] -19609[?] 13979[?] is mandatory 110.40/109.53 c qxplain 7/8 110.50/109.65 c qxplain 8/8 110.60/109.77 c 166135[?] 19608[?] -19609[?] 1596[?] is mandatory 110.60/109.77 c qxplain 7/7 110.70/109.88 c 166137[?] -679[?] -19610[?] 13976[?] is mandatory 110.70/109.88 c qxplain 0/6 110.81/110.00 c qxplain 4/6 111.00/110.12 c qxplain 6/6 111.10/110.23 c 166139[?] 19609[?] -19610[?] 679[?] is mandatory 111.10/110.23 c qxplain 4/5 111.20/110.35 c qxplain 5/5 111.30/110.47 c 166141[?] 8991[?] -19611[?] is mandatory 111.30/110.47 c qxplain 4/4 111.40/110.58 c 166142[?] 19610[?] -19611[?] is mandatory 111.40/110.58 c qxplain 0/3 111.60/110.70 c qxplain 2/3 111.71/110.83 c qxplain 3/3 111.81/110.94 c 166144[?] 19611[?] -19612[?] is mandatory 111.81/110.94 c qxplain 2/2 111.92/111.06 c 172113[?] 19612[?] -21936[?] is mandatory 111.92/111.06 c qxplain 0/1 112.02/111.18 c qxplain 1/1 112.11/111.29 c 172117[?] 21936[?] -21937[?] is mandatory 112.11/111.29 c qxplain 0/0 112.31/111.41 c 494123[?] 21937[?] 118426[?] is mandatory 112.78/111.70 c Size of the MUS: 397 112.78/111.70 c Unsat core computation wall clock time (in seconds) : 94.498 112.78/111.70 c starts : 842 112.78/111.70 c conflicts : 5548 112.78/111.70 c decisions : 95004201 112.78/111.70 c propagations : 414137252 112.78/111.70 c inspects : 57294009 112.78/111.70 c shortcuts : 0 112.78/111.70 c learnt literals : 0 112.78/111.70 c learnt binary clauses : 0 112.78/111.70 c learnt ternary clauses : 4 112.78/111.70 c learnt constraints : 5547 112.78/111.70 c ignored constraints : 0 112.78/111.70 c root simplifications : 0 112.78/111.70 c removed literals (reason simplification) : 277953 112.78/111.70 c reason swapping (by a shorter reason) : 0 112.78/111.70 c Calls to reduceDB : 1 112.78/111.70 c speed (assignments/second) : 1.0276358610421835E9 112.78/111.70 c non guided choices 94960559 112.78/111.70 c learnt constraints type 112.78/111.70 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 3087 112.78/111.70 c constraints type 112.78/111.70 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 372410 112.78/111.70 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 3289 112.78/111.70 s UNSATISFIABLE 112.78/111.70 v 3289 4993 4996 4999 5002 5005 5008 5011 5014 5017 5020 5023 5026 5029 5032 5035 5038 5041 5044 5047 5050 5053 5056 5059 5062 5065 5068 5071 5074 5077 5080 5083 5086 5089 5091 5093 5095 5097 5099 5101 5103 5105 5107 5109 5111 5113 5115 5117 5119 5121 5123 5125 5127 5129 5131 5133 5135 5137 5139 5141 5143 5145 5147 5149 5151 5153 5155 5158 5161 5164 5167 5170 5173 5176 5179 5182 5185 5188 5191 5194 5197 5200 5203 5206 5209 5212 5215 5218 5221 5224 5227 5230 5233 5236 5239 5242 5245 5249 14057 14179 14307 14406 14414 14474 14480 14566 14568 14571 14574 14575 14576 22273 22346 22469 22565 22666 22792 22909 22916 23006 23018 23134 23146 23259 23265 23324 23326 23329 23332 23333 23335 23338 23341 23344 23347 23350 23353 23356 23359 23362 23365 23368 23371 23374 23377 23380 23383 23386 23389 23392 23395 23398 23401 23404 23407 23410 23413 23415 23480 23544 23639 23640 26618 26620 26622 26624 26626 26628 26630 26632 26634 26636 26638 26640 26642 26644 26646 26648 26650 26652 26654 26656 26658 26660 26662 26664 26666 26668 26670 26672 26674 26676 26678 26680 26682 26684 26687 26690 26693 26696 26699 26702 26705 26708 26711 26714 26717 26720 26723 26726 26729 26732 26735 26738 26741 26744 26747 26750 26753 26756 26759 26762 26765 26768 26771 26774 26778 26780 26783 26786 26789 27242 27669 27672 27675 27840 27844 27846 28011 28015 28017 28021 28023 28026 28030 28486 28490 28492 28494 28496 28498 28500 28665 28669 28671 28675 28677 28678 28681 28684 28687 28690 28693 28695 28697 28699 35130 35457 35623 35626 35628 35630 35632 35634 35636 35638 35640 35643 35646 35811 35815 35817 35820 35823 35988 35991 35993 35996 36836 36840 37005 37009 37011 37013 37016 37018 37022 37024 37026 37029 37031 37035 37037 37039 37042 37045 37047 37051 37053 37055 37057 38267 38270 39302 39468 40015 40018 40020 40570 40993 40996 40999 41325 41538 41542 41707 41873 41878 42044 42210 42213 42215 42217 42219 42221 42223 42225 42227 42393 42559 42562 42888 43055 43220 43386 43389 43391 43393 43395 43397 43852 45365 45367 45533 45699 45702 46157 46160 46163 46328 46654 46657 46661 46663 46665 46667 46669 46673 46675 46678 46680 46682 46685 46687 46689 47614 47618 47620 47622 47624 47626 47628 47630 47632 47634 47636 47703 47707 47709 47711 47713 47715 47716 47718 53687 53691 375697 0 112.78/111.70 c Total wall clock time (in seconds) : 111.595
OK 397
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-3493564-1307800866/watcher-3493564-1307800866 -o /tmp/evaluation-result-3493564-1307800866/solver-3493564-1307800866 -C 1800 -W 1850 -M 7680 java -Xms6000m -Xmx6000m -jar sat4j-mus-v20110206.jar HOME/instance-3493564-1307800866.cnf running on 2 cores: 5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1850 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.06 2.07 1.94 2/194 17080 /proc/meminfo: memFree=27995140/32951124 swapFree=67076880/67111528 [pid=17080] ppid=17078 vsize=23028 CPUtime=0 cores=5,7 /proc/17080/stat : 17080 (java) R 17078 17080 30365 0 -1 4202496 949 0 0 0 0 0 0 0 22 0 1 0 891684352 23580672 693 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212682712977 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/17080/statm: 5757 693 510 9 0 124 0 [startup+0.0106931 s] /proc/loadavg: 2.06 2.07 1.94 2/194 17080 /proc/meminfo: memFree=27995140/32951124 swapFree=67076880/67111528 [pid=17080] ppid=17078 vsize=36924 CPUtime=0 cores=5,7 /proc/17080/stat : 17080 (java) S 17078 17080 30365 0 -1 4202496 1370 0 1 0 0 0 0 0 22 0 2 0 891684352 37810176 1073 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699477989 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 /proc/17080/statm: 9231 1073 833 9 0 387 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 36924 [startup+0.120742 s] /proc/loadavg: 2.06 2.07 1.94 2/194 17080 /proc/meminfo: memFree=27995140/32951124 swapFree=67076880/67111528 [pid=17080] ppid=17078 vsize=6430632 CPUtime=0.11 cores=5,7 /proc/17080/stat : 17080 (java) S 17078 17080 30365 0 -1 4202496 12193 0 1 0 10 1 0 0 22 0 18 0 891684352 6584967168 11890 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/17080/statm: 1607658 11891 2090 9 0 1598396 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 6430632 [startup+0.30068 s] /proc/loadavg: 2.06 2.07 1.94 2/194 17080 /proc/meminfo: memFree=27995140/32951124 swapFree=67076880/67111528 [pid=17080] ppid=17078 vsize=6432684 CPUtime=0.37 cores=5,7 /proc/17080/stat : 17080 (java) S 17078 17080 30365 0 -1 4202496 19696 0 1 0 35 2 0 0 22 0 18 0 891684352 6587068416 19036 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/17080/statm: 1608171 19040 2195 9 0 1598909 0 Current children cumulated CPU time (s) 0.37 Current children cumulated vsize (KiB) 6432684 [startup+0.700606 s] /proc/loadavg: 2.06 2.07 1.94 2/194 17080 /proc/meminfo: memFree=27995140/32951124 swapFree=67076880/67111528 [pid=17080] ppid=17078 vsize=6432684 CPUtime=0.77 cores=5,7 /proc/17080/stat : 17080 (java) S 17078 17080 30365 0 -1 4202496 61405 0 1 0 70 7 0 0 22 0 18 0 891684352 6587068416 60744 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/17080/statm: 1608171 60744 2203 9 0 1598909 0 Current children cumulated CPU time (s) 0.77 Current children cumulated vsize (KiB) 6432684 [startup+1.50146 s] /proc/loadavg: 2.06 2.07 1.94 3/214 17115 /proc/meminfo: memFree=27740868/32951124 swapFree=67076880/67111528 [pid=17080] ppid=17078 vsize=6433712 CPUtime=1.74 cores=5,7 /proc/17080/stat : 17080 (java) S 17078 17080 30365 0 -1 4202496 67757 0 1 0 166 8 0 0 22 0 19 0 891684352 6588121088 66299 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/17080/statm: 1608428 66299 2221 9 0 1599166 0 [pid=17080/tid=17083] ppid=17078 vsize=6433712 CPUtime=1.24 cores=5,7 /proc/17080/task/17083/stat : 17083 (java) R 17078 17080 30365 0 -1 4202560 63504 0 1 0 117 7 0 0 25 0 19 0 891684352 6588121088 66299 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 46912505616389 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=17080/tid=17084] ppid=17078 vsize=6433712 CPUtime=0 cores=5,7 /proc/17080/task/17084/stat : 17084 (java) S 17078 17080 30365 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 891684353 6588121088 66299 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699491225 0 4 0 16800975 18446604469373477312 0 0 -1 5 0 0 0 [pid=17080/tid=17085] ppid=17078 vsize=6433712 CPUtime=0 cores=5,7 /proc/17080/task/17085/stat : 17085 (java) S 17078 17080 30365 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 891684353 6588121088 66299 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699491225 0 4 0 16800975 18446604469373477312 0 0 -1 5 0 0 0 [pid=17080/tid=17086] ppid=17078 vsize=6433712 CPUtime=0 cores=5,7 /proc/17080/task/17086/stat : 17086 (java) S 17078 17080 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891684353 6588121088 66299 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699491225 0 4 0 16800975 18446604469373477312 0 0 -1 5 0 0 0 [pid=17080/tid=17087] ppid=17078 vsize=6433712 CPUtime=0 cores=5,7 /proc/17080/task/17087/stat : 17087 (java) S 17078 17080 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891684353 6588121088 66299 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699491225 0 4 0 16800975 18446604469373477312 0 0 -1 5 0 0 0 [pid=17080/tid=17088] ppid=17078 vsize=6433712 CPUtime=0 cores=5,7 /proc/17080/task/17088/stat : 17088 (java) S 17078 17080 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891684353 6588121088 66299 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699491225 0 4 0 16800975 18446604469373477312 0 0 -1 5 0 0 0 [pid=17080/tid=17089] ppid=17078 vsize=6433712 CPUtime=0 cores=5,7 /proc/17080/task/17089/stat : 17089 (java) S 17078 17080 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891684353 6588121088 66299 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699491225 0 4 0 16800975 18446604469373477312 0 0 -1 5 0 0 0 [pid=17080/tid=17090] ppid=17078 vsize=6433712 CPUtime=0 cores=5,7 /proc/17080/task/17090/stat : 17090 (java) S 17078 17080 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891684353 6588121088 66299 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699491225 0 4 0 16800975 18446604469373477312 0 0 -1 5 0 0 0 [pid=17080/tid=17091] ppid=17078 vsize=6433712 CPUtime=0 cores=5,7 /proc/17080/task/17091/stat : 17091 (java) S 17078 17080 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891684353 6588121088 66299 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699491225 0 4 0 16800975 18446604469373477312 0 0 -1 5 0 0 0 [pid=17080/tid=17092] ppid=17078 vsize=6433712 CPUtime=0 cores=5,7 /proc/17080/task/17092/stat : 17092 (java) S 17078 17080 30365 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 891684355 6588121088 66299 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699491840 0 0 0 16800975 18446604469373477312 0 0 -1 5 0 0 0 [pid=17080/tid=17093] ppid=17078 vsize=6433712 CPUtime=0 cores=5,7 /proc/17080/task/17093/stat : 17093 (java) S 17078 17080 30365 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 891684355 6588121088 66299 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699491225 0 4 0 16800975 18446604469373477312 0 0 -1 5 0 0 0 [pid=17080/tid=17094] ppid=17078 vsize=6433712 CPUtime=0 cores=5,7 /proc/17080/task/17094/stat : 17094 (java) S 17078 17080 30365 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 891684355 6588121088 66299 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699491225 0 4 0 16800975 18446604469373477312 0 0 -1 5 0 0 0 [pid=17080/tid=17095] ppid=17078 vsize=6433712 CPUtime=0 cores=5,7 /proc/17080/task/17095/stat : 17095 (java) S 17078 17080 30365 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 891684357 6588121088 66299 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699498929 0 4 0 16800975 18446604469373477312 0 0 -1 5 0 0 0 [pid=17080/tid=17096] ppid=17078 vsize=6433712 CPUtime=0.25 cores=5,7 /proc/17080/task/17096/stat : 17096 (java) S 17078 17080 30365 0 -1 4202560 1440 0 0 0 25 0 0 0 16 0 19 0 891684357 6588121088 66299 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699491225 0 4 0 16800975 18446604469373477312 0 0 -1 5 0 0 0 [pid=17080/tid=17097] ppid=17078 vsize=6433712 CPUtime=0.23 cores=5,7 /proc/17080/task/17097/stat : 17097 (java) S 17078 17080 30365 0 -1 4202560 1652 0 0 0 23 0 0 0 16 0 19 0 891684357 6588121088 66299 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699491225 0 4 0 16800975 18446604469373477312 0 0 -1 7 0 0 0 [pid=17080/tid=17098] ppid=17078 vsize=6433712 CPUtime=0 cores=5,7 /proc/17080/task/17098/stat : 17098 (java) S 17078 17080 30365 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 891684357 6588121088 66299 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699491225 0 4 0 16800975 18446604469373477312 0 0 -1 5 0 0 0 [pid=17080/tid=17099] ppid=17078 vsize=6433712 CPUtime=0 cores=5,7 /proc/17080/task/17099/stat : 17099 (java) S 17078 17080 30365 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 891684357 6588121088 66299 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699491840 0 4 0 16800975 18446604469373477312 0 0 -1 5 0 0 0 [pid=17080/tid=17114] ppid=17078 vsize=6433712 CPUtime=0 cores=5,7 /proc/17080/task/17114/stat : 17114 (java) S 17078 17080 30365 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 891684442 6588121088 66300 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699491840 0 4 0 16800975 18446604469373477312 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 1.74 Current children cumulated vsize (KiB) 6433712 [startup+3.10117 s] /proc/loadavg: 2.06 2.07 1.94 3/214 17123 /proc/meminfo: memFree=27733196/32951124 swapFree=67076880/67111528 [pid=17080] ppid=17078 vsize=6433712 CPUtime=3.39 cores=5,7 /proc/17080/stat : 17080 (java) S 17078 17080 30365 0 -1 4202496 70229 0 1 0 330 9 0 0 22 0 19 0 891684352 6588121088 68644 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/17080/statm: 1608428 68644 2225 9 0 1599166 0 [pid=17080/tid=17083] ppid=17078 vsize=6433712 CPUtime=2.84 cores=5,7 /proc/17080/task/17083/stat : 17083 (java) R 17078 17080 30365 0 -1 4202560 65839 0 1 0 276 8 0 0 25 0 19 0 891684352 6588121088 68644 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 46912505720807 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=17080/tid=17084] ppid=17078 vsize=6433712 CPUtime=0 cores=5,7 /proc/17080/task/17084/stat : 17084 (java) S 17078 17080 30365 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 891684353 6588121088 68644 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699491225 0 4 0 16800975 18446604469373477312 0 0 -1 5 0 0 0 [pid=17080/tid=17085] ppid=17078 vsize=6433712 CPUtime=0 cores=5,7 /proc/17080/task/17085/stat : 17085 (java) S 17078 17080 30365 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 891684353 6588121088 68644 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699491225 0 4 0 16800975 18446604469373477312 0 0 -1 5 0 0 0 [pid=17080/tid=17086] ppid=17078 vsize=6433712 CPUtime=0 cores=5,7 /proc/17080/task/17086/stat : 17086 (java) S 17078 17080 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891684353 6588121088 68644 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699491225 0 4 0 16800975 18446604469373477312 0 0 -1 5 0 0 0 [pid=17080/tid=17087] ppid=17078 vsize=6433712 CPUtime=0 cores=5,7 /proc/17080/task/17087/stat : 17087 (java) S 17078 17080 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891684353 6588121088 68644 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699491225 0 4 0 16800975 18446604469373477312 0 0 -1 5 0 0 0 [pid=17080/tid=17088] ppid=17078 vsize=6433712 CPUtime=0 cores=5,7 /proc/17080/task/17088/stat : 17088 (java) S 17078 17080 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891684353 6588121088 68644 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699491225 0 4 0 16800975 18446604469373477312 0 0 -1 5 0 0 0 [pid=17080/tid=17089] ppid=17078 vsize=6433712 CPUtime=0 cores=5,7 /proc/17080/task/17089/stat : 17089 (java) S 17078 17080 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891684353 6588121088 68644 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699491225 0 4 0 16800975 18446604469373477312 0 0 -1 5 0 0 0 [pid=17080/tid=17090] ppid=17078 vsize=6433712 CPUtime=0 cores=5,7 /proc/17080/task/17090/stat : 17090 (java) S 17078 17080 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891684353 6588121088 68644 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699491225 0 4 0 16800975 18446604469373477312 0 0 -1 5 0 0 0 [pid=17080/tid=17091] ppid=17078 vsize=6433712 CPUtime=0 cores=5,7 /proc/17080/task/17091/stat : 17091 (java) S 17078 17080 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891684353 6588121088 68644 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699491225 0 4 0 16800975 18446604469373477312 0 0 -1 5 0 0 0 [pid=17080/tid=17092] ppid=17078 vsize=6433712 CPUtime=0 cores=5,7 /proc/17080/task/17092/stat : 17092 (java) S 17078 17080 30365 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 891684355 6588121088 68644 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699491840 0 0 0 16800975 18446604469373477312 0 0 -1 5 0 0 0 [pid=17080/tid=17093] ppid=17078 vsize=6433712 CPUtime=0 cores=5,7 /proc/17080/task/17093/stat : 17093 (java) S 17078 17080 30365 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 891684355 6588121088 68644 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699491225 0 4 0 16800975 18446604469373477312 0 0 -1 5 0 0 0 [pid=17080/tid=17094] ppid=17078 vsize=6433712 CPUtime=0 cores=5,7 /proc/17080/task/17094/stat : 17094 (java) S 17078 17080 30365 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 891684355 6588121088 68644 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699491225 0 4 0 16800975 18446604469373477312 0 0 -1 5 0 0 0 [pid=17080/tid=17095] ppid=17078 vsize=6433712 CPUtime=0 cores=5,7 /proc/17080/task/17095/stat : 17095 (java) S 17078 17080 30365 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 891684357 6588121088 68644 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699498929 0 4 0 16800975 18446604469373477312 0 0 -1 5 0 0 0 [pid=17080/tid=17096] ppid=17078 vsize=6433712 CPUtime=0.25 cores=5,7 /proc/17080/task/17096/stat : 17096 (java) S 17078 17080 30365 0 -1 4202560 1440 0 0 0 25 0 0 0 15 0 19 0 891684357 6588121088 68644 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699491225 0 4 0 16800975 18446604469373477312 0 0 -1 5 0 0 0 [pid=17080/tid=17097] ppid=17078 vsize=6433712 CPUtime=0.27 cores=5,7 /proc/17080/task/17097/stat : 17097 (java) S 17078 17080 30365 0 -1 4202560 1788 0 0 0 27 0 0 0 15 0 19 0 891684357 6588121088 68644 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699491225 0 4 0 16800975 18446604469373477312 0 0 -1 7 0 0 0 [pid=17080/tid=17098] ppid=17078 vsize=6433712 CPUtime=0 cores=5,7 /proc/17080/task/17098/stat : 17098 (java) S 17078 17080 30365 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 891684357 6588121088 68644 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699491225 0 4 0 16800975 18446604469373477312 0 0 -1 5 0 0 0 [pid=17080/tid=17099] ppid=17078 vsize=6433712 CPUtime=0 cores=5,7 /proc/17080/task/17099/stat : 17099 (java) S 17078 17080 30365 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 891684357 6588121088 68644 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699491840 0 4 0 16800975 18446604469373477312 0 0 -1 5 0 0 0 [pid=17080/tid=17114] ppid=17078 vsize=6433712 CPUtime=0 cores=5,7 /proc/17080/task/17114/stat : 17114 (java) S 17078 17080 30365 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 891684442 6588121088 68644 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699491840 0 4 0 16800975 18446604469373477312 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3.39 Current children cumulated vsize (KiB) 6433712 [startup+6.30159 s] /proc/loadavg: 2.05 2.07 1.94 3/214 17159 /proc/meminfo: memFree=27712496/32951124 swapFree=67076880/67111528 [pid=17080] ppid=17078 vsize=6432052 CPUtime=6.58 cores=5,7 /proc/17080/stat : 17080 (java) S 17078 17080 30365 0 -1 4202496 76546 0 1 0 649 9 0 0 22 0 19 0 891684352 6586421248 74400 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/17080/statm: 1608013 74400 2225 9 0 1598751 0 [pid=17080/tid=17083] ppid=17078 vsize=6432052 CPUtime=6.04 cores=5,7 /proc/17080/task/17083/stat : 17083 (java) R 17078 17080 30365 0 -1 4202560 72156 0 1 0 596 8 0 0 25 0 19 0 891684352 6586421248 74400 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 46912505734480 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=17080/tid=17084] ppid=17078 vsize=6432052 CPUtime=0 cores=5,7 /proc/17080/task/17084/stat : 17084 (java) S 17078 17080 30365 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 891684353 6586421248 74400 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699491225 0 4 0 16800975 18446604469373477312 0 0 -1 5 0 0 0 [pid=17080/tid=17085] ppid=17078 vsize=6432052 CPUtime=0 cores=5,7 /proc/17080/task/17085/stat : 17085 (java) S 17078 17080 30365 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 891684353 6586421248 74400 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699491225 0 4 0 16800975 18446604469373477312 0 0 -1 5 0 0 0 [pid=17080/tid=17086] ppid=17078 vsize=6432052 CPUtime=0 cores=5,7 /proc/17080/task/17086/stat : 17086 (java) S 17078 17080 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891684353 6586421248 74400 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699491225 0 4 0 16800975 18446604469373477312 0 0 -1 5 0 0 0 [pid=17080/tid=17087] ppid=17078 vsize=6432052 CPUtime=0 cores=5,7 /proc/17080/task/17087/stat : 17087 (java) S 17078 17080 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891684353 6586421248 74400 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699491225 0 4 0 16800975 18446604469373477312 0 0 -1 5 0 0 0 [pid=17080/tid=17088] ppid=17078 vsize=6432052 CPUtime=0 cores=5,7 /proc/17080/task/17088/stat : 17088 (java) S 17078 17080 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891684353 6586421248 74400 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699491225 0 4 0 16800975 18446604469373477312 0 0 -1 5 0 0 0 [pid=17080/tid=17089] ppid=17078 vsize=6432052 CPUtime=0 cores=5,7 /proc/17080/task/17089/stat : 17089 (java) S 17078 17080 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891684353 6586421248 74400 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699491225 0 4 0 16800975 18446604469373477312 0 0 -1 5 0 0 0 [pid=17080/tid=17090] ppid=17078 vsize=6432052 CPUtime=0 cores=5,7 /proc/17080/task/17090/stat : 17090 (java) S 17078 17080 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891684353 6586421248 74400 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699491225 0 4 0 16800975 18446604469373477312 0 0 -1 5 0 0 0 [pid=17080/tid=17091] ppid=17078 vsize=6432052 CPUtime=0 cores=5,7 /proc/17080/task/17091/stat : 17091 (java) S 17078 17080 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891684353 6586421248 74400 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699491225 0 4 0 16800975 18446604469373477312 0 0 -1 5 0 0 0 [pid=17080/tid=17092] ppid=17078 vsize=6432052 CPUtime=0 cores=5,7 /proc/17080/task/17092/stat : 17092 (java) S 17078 17080 30365 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 891684355 6586421248 74400 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699491840 0 0 0 16800975 18446604469373477312 0 0 -1 5 0 0 0 [pid=17080/tid=17093] ppid=17078 vsize=6432052 CPUtime=0 cores=5,7 /proc/17080/task/17093/stat : 17093 (java) S 17078 17080 30365 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 891684355 6586421248 74400 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699491225 0 4 0 16800975 18446604469373477312 0 0 -1 5 0 0 0 [pid=17080/tid=17094] ppid=17078 vsize=6432052 CPUtime=0 cores=5,7 /proc/17080/task/17094/stat : 17094 (java) S 17078 17080 30365 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 891684355 6586421248 74400 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699491225 0 4 0 16800975 18446604469373477312 0 0 -1 5 0 0 0 [pid=17080/tid=17095] ppid=17078 vsize=6432052 CPUtime=0 cores=5,7 /proc/17080/task/17095/stat : 17095 (java) S 17078 17080 30365 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 891684357 6586421248 74400 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699498929 0 4 0 16800975 18446604469373477312 0 0 -1 5 0 0 0 [pid=17080/tid=17096] ppid=17078 vsize=6432052 CPUtime=0.25 cores=5,7 /proc/17080/task/17096/stat : 17096 (java) S 17078 17080 30365 0 -1 4202560 1440 0 0 0 25 0 0 0 15 0 19 0 891684357 6586421248 74400 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699491225 0 4 0 16800975 18446604469373477312 0 0 -1 5 0 0 0 [pid=17080/tid=17097] ppid=17078 vsize=6432052 CPUtime=0.27 cores=5,7 /proc/17080/task/17097/stat : 17097 (java) S 17078 17080 30365 0 -1 4202560 1788 0 0 0 27 0 0 0 15 0 19 0 891684357 6586421248 74400 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699491225 0 4 0 16800975 18446604469373477312 0 0 -1 7 0 0 0 [pid=17080/tid=17098] ppid=17078 vsize=6432052 CPUtime=0 cores=5,7 /proc/17080/task/17098/stat : 17098 (java) S 17078 17080 30365 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 891684357 6586421248 74400 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699491225 0 4 0 16800975 18446604469373477312 0 0 -1 5 0 0 0 [pid=17080/tid=17099] ppid=17078 vsize=6432052 CPUtime=0 cores=5,7 /proc/17080/task/17099/stat : 17099 (java) S 17078 17080 30365 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 891684357 6586421248 74400 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699491840 0 4 0 16800975 18446604469373477312 0 0 -1 5 0 0 0 [pid=17080/tid=17114] ppid=17078 vsize=6432052 CPUtime=0 cores=5,7 /proc/17080/task/17114/stat : 17114 (java) S 17078 17080 30365 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 891684442 6586421248 74400 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699491840 0 4 0 16800975 18446604469373477312 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 6.58 Current children cumulated vsize (KiB) 6432052 [startup+12.7014 s] ################ # More data... # ################ /proc/loadavg: 2.06 2.08 1.95 3/213 18747 /proc/meminfo: memFree=26926808/32951124 swapFree=67076880/67111528 [pid=17080] ppid=17078 vsize=6435044 CPUtime=111.2 cores=5,7 /proc/17080/stat : 17080 (java) S 17078 17080 30365 0 -1 4202496 523696 0 1 0 11053 67 0 0 22 0 19 0 891684352 6589485056 519611 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/17080/statm: 1608761 519611 2255 9 0 1599499 0 [pid=17080/tid=17083] ppid=17078 vsize=6435044 CPUtime=108.89 cores=5,7 /proc/17080/task/17083/stat : 17083 (java) R 17078 17080 30365 0 -1 4202560 397772 0 1 0 10841 48 0 0 25 0 19 0 891684352 6589485056 519611 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 46912505652256 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=17080/tid=17084] ppid=17078 vsize=6435044 CPUtime=0.23 cores=5,7 /proc/17080/task/17084/stat : 17084 (java) S 17078 17080 30365 0 -1 4202560 18278 0 0 0 21 2 0 0 15 0 19 0 891684353 6589485056 519611 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699491225 0 4 0 16800975 18446604469373477312 0 0 -1 5 0 0 0 [pid=17080/tid=17085] ppid=17078 vsize=6435044 CPUtime=0.25 cores=5,7 /proc/17080/task/17085/stat : 17085 (java) S 17078 17080 30365 0 -1 4202560 23209 0 0 0 22 3 0 0 16 0 19 0 891684353 6589485056 519611 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699491225 0 4 0 16800975 18446604469373477312 0 0 -1 7 0 0 0 [pid=17080/tid=17086] ppid=17078 vsize=6435044 CPUtime=0.1 cores=5,7 /proc/17080/task/17086/stat : 17086 (java) S 17078 17080 30365 0 -1 4202560 9380 0 0 0 9 1 0 0 16 0 19 0 891684353 6589485056 519611 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699491225 0 4 0 16800975 18446604469373477312 0 0 -1 5 0 0 0 [pid=17080/tid=17087] ppid=17078 vsize=6435044 CPUtime=0.01 cores=5,7 /proc/17080/task/17087/stat : 17087 (java) S 17078 17080 30365 0 -1 4202560 4252 0 0 0 1 0 0 0 15 0 19 0 891684353 6589485056 519611 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699491225 0 4 0 16800975 18446604469373477312 0 0 -1 7 0 0 0 [pid=17080/tid=17088] ppid=17078 vsize=6435044 CPUtime=0 cores=5,7 /proc/17080/task/17088/stat : 17088 (java) S 17078 17080 30365 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 891684353 6589485056 519611 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699491225 0 4 0 16800975 18446604469373477312 0 0 -1 7 0 0 0 [pid=17080/tid=17089] ppid=17078 vsize=6435044 CPUtime=0.01 cores=5,7 /proc/17080/task/17089/stat : 17089 (java) S 17078 17080 30365 0 -1 4202560 1473 0 0 0 1 0 0 0 15 0 19 0 891684353 6589485056 519611 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699491225 0 4 0 16800975 18446604469373477312 0 0 -1 5 0 0 0 [pid=17080/tid=17090] ppid=17078 vsize=6435044 CPUtime=0.05 cores=5,7 /proc/17080/task/17090/stat : 17090 (java) S 17078 17080 30365 0 -1 4202560 5544 0 0 0 5 0 0 0 16 0 19 0 891684353 6589485056 519611 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699491225 0 4 0 16800975 18446604469373477312 0 0 -1 7 0 0 0 [pid=17080/tid=17091] ppid=17078 vsize=6435044 CPUtime=0.05 cores=5,7 /proc/17080/task/17091/stat : 17091 (java) S 17078 17080 30365 0 -1 4202560 3 0 0 0 5 0 0 0 16 0 19 0 891684353 6589485056 519611 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699491225 0 4 0 16800975 18446604469373477312 0 0 -1 7 0 0 0 [pid=17080/tid=17092] ppid=17078 vsize=6435044 CPUtime=0.65 cores=5,7 /proc/17080/task/17092/stat : 17092 (java) S 17078 17080 30365 0 -1 4202560 56336 0 0 0 58 7 0 0 15 0 19 0 891684355 6589485056 519611 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699491840 0 0 0 16800975 18446604469373477312 0 0 -1 5 0 0 0 [pid=17080/tid=17093] ppid=17078 vsize=6435044 CPUtime=0 cores=5,7 /proc/17080/task/17093/stat : 17093 (java) S 17078 17080 30365 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 891684355 6589485056 519611 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699491225 0 4 0 16800975 18446604469373477312 0 0 -1 5 0 0 0 [pid=17080/tid=17094] ppid=17078 vsize=6435044 CPUtime=0 cores=5,7 /proc/17080/task/17094/stat : 17094 (java) S 17078 17080 30365 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 19 0 891684355 6589485056 519611 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699491225 0 4 0 16800975 18446604469373477312 0 0 -1 7 0 0 0 [pid=17080/tid=17095] ppid=17078 vsize=6435044 CPUtime=0 cores=5,7 /proc/17080/task/17095/stat : 17095 (java) S 17078 17080 30365 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 891684357 6589485056 519611 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699498929 0 4 0 16800975 18446604469373477312 0 0 -1 5 0 0 0 [pid=17080/tid=17096] ppid=17078 vsize=6435044 CPUtime=0.31 cores=5,7 /proc/17080/task/17096/stat : 17096 (java) S 17078 17080 30365 0 -1 4202560 2146 0 0 0 31 0 0 0 15 0 19 0 891684357 6589485056 519611 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699491225 0 4 0 16800975 18446604469373477312 0 0 -1 5 0 0 0 [pid=17080/tid=17097] ppid=17078 vsize=6435044 CPUtime=0.5 cores=5,7 /proc/17080/task/17097/stat : 17097 (java) S 17078 17080 30365 0 -1 4202560 4051 0 0 0 50 0 0 0 15 0 19 0 891684357 6589485056 519611 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699491225 0 4 0 16800975 18446604469373477312 0 0 -1 7 0 0 0 [pid=17080/tid=17098] ppid=17078 vsize=6435044 CPUtime=0 cores=5,7 /proc/17080/task/17098/stat : 17098 (java) S 17078 17080 30365 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 891684357 6589485056 519611 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699491225 0 4 0 16800975 18446604469373477312 0 0 -1 5 0 0 0 [pid=17080/tid=17099] ppid=17078 vsize=6435044 CPUtime=0 cores=5,7 /proc/17080/task/17099/stat : 17099 (java) S 17078 17080 30365 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 891684357 6589485056 519611 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699491840 0 4 0 16800975 18446604469373477312 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 111.2 Current children cumulated vsize (KiB) 6435044 [startup+111.107 s] /proc/loadavg: 2.06 2.08 1.95 3/212 18762 /proc/meminfo: memFree=26897428/32951124 swapFree=67076880/67111528 [pid=17080] ppid=17078 vsize=6435044 CPUtime=112.02 cores=5,7 /proc/17080/stat : 17080 (java) S 17078 17080 30365 0 -1 4202496 531033 0 1 0 11134 68 0 0 22 0 18 0 891684352 6589485056 526946 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/17080/statm: 1608761 526946 2255 9 0 1599499 0 [pid=17080/tid=17083] ppid=17078 vsize=6435044 CPUtime=109.68 cores=5,7 /proc/17080/task/17083/stat : 17083 (java) R 17078 17080 30365 0 -1 4202560 401910 0 1 0 10920 48 0 0 18 0 18 0 891684352 6589485056 526946 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 46912505616147 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=17080/tid=17084] ppid=17078 vsize=6435044 CPUtime=0.23 cores=5,7 /proc/17080/task/17084/stat : 17084 (java) S 17078 17080 30365 0 -1 4202560 18278 0 0 0 21 2 0 0 15 0 18 0 891684353 6589485056 526946 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699491225 0 4 0 16800975 18446604469373477312 0 0 -1 5 0 0 0 [pid=17080/tid=17085] ppid=17078 vsize=6435044 CPUtime=0.25 cores=5,7 /proc/17080/task/17085/stat : 17085 (java) S 17078 17080 30365 0 -1 4202560 24942 0 0 0 22 3 0 0 16 0 18 0 891684353 6589485056 526946 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699491225 0 4 0 16800975 18446604469373477312 0 0 -1 5 0 0 0 [pid=17080/tid=17086] ppid=17078 vsize=6435044 CPUtime=0.1 cores=5,7 /proc/17080/task/17086/stat : 17086 (java) S 17078 17080 30365 0 -1 4202560 9380 0 0 0 9 1 0 0 15 0 18 0 891684353 6589485056 526946 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699491225 0 4 0 16800975 18446604469373477312 0 0 -1 5 0 0 0 [pid=17080/tid=17087] ppid=17078 vsize=6435044 CPUtime=0.02 cores=5,7 /proc/17080/task/17087/stat : 17087 (java) S 17078 17080 30365 0 -1 4202560 5703 0 0 0 2 0 0 0 16 0 18 0 891684353 6589485056 526946 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699491225 0 4 0 16800975 18446604469373477312 0 0 -1 7 0 0 0 [pid=17080/tid=17088] ppid=17078 vsize=6435044 CPUtime=0 cores=5,7 /proc/17080/task/17088/stat : 17088 (java) S 17078 17080 30365 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 891684353 6589485056 526946 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699491225 0 4 0 16800975 18446604469373477312 0 0 -1 7 0 0 0 [pid=17080/tid=17089] ppid=17078 vsize=6435044 CPUtime=0.01 cores=5,7 /proc/17080/task/17089/stat : 17089 (java) S 17078 17080 30365 0 -1 4202560 1473 0 0 0 1 0 0 0 15 0 18 0 891684353 6589485056 526946 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699491225 0 4 0 16800975 18446604469373477312 0 0 -1 5 0 0 0 [pid=17080/tid=17090] ppid=17078 vsize=6435044 CPUtime=0.05 cores=5,7 /proc/17080/task/17090/stat : 17090 (java) S 17078 17080 30365 0 -1 4202560 5544 0 0 0 5 0 0 0 15 0 18 0 891684353 6589485056 526946 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699491225 0 4 0 16800975 18446604469373477312 0 0 -1 7 0 0 0 [pid=17080/tid=17091] ppid=17078 vsize=6435044 CPUtime=0.05 cores=5,7 /proc/17080/task/17091/stat : 17091 (java) S 17078 17080 30365 0 -1 4202560 3 0 0 0 5 0 0 0 16 0 18 0 891684353 6589485056 526946 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699491225 0 4 0 16800975 18446604469373477312 0 0 -1 7 0 0 0 [pid=17080/tid=17092] ppid=17078 vsize=6435044 CPUtime=0.65 cores=5,7 /proc/17080/task/17092/stat : 17092 (java) S 17078 17080 30365 0 -1 4202560 56351 0 0 0 58 7 0 0 16 0 18 0 891684355 6589485056 526946 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699491840 0 0 0 16800975 18446604469373477312 0 0 -1 5 0 0 0 [pid=17080/tid=17093] ppid=17078 vsize=6435044 CPUtime=0 cores=5,7 /proc/17080/task/17093/stat : 17093 (java) S 17078 17080 30365 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 18 0 891684355 6589485056 526946 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699491225 0 4 0 16800975 18446604469373477312 0 0 -1 5 0 0 0 [pid=17080/tid=17094] ppid=17078 vsize=6435044 CPUtime=0 cores=5,7 /proc/17080/task/17094/stat : 17094 (java) S 17078 17080 30365 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 18 0 891684355 6589485056 526946 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699491225 0 4 0 16800975 18446604469373477312 0 0 -1 7 0 0 0 [pid=17080/tid=17095] ppid=17078 vsize=6435044 CPUtime=0 cores=5,7 /proc/17080/task/17095/stat : 17095 (java) S 17078 17080 30365 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 891684357 6589485056 526946 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699498929 0 4 0 16800975 18446604469373477312 0 0 -1 5 0 0 0 [pid=17080/tid=17096] ppid=17078 vsize=6435044 CPUtime=0.31 cores=5,7 /proc/17080/task/17096/stat : 17096 (java) S 17078 17080 30365 0 -1 4202560 2146 0 0 0 31 0 0 0 15 0 18 0 891684357 6589485056 526946 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699491225 0 4 0 16800975 18446604469373477312 0 0 -1 5 0 0 0 [pid=17080/tid=17097] ppid=17078 vsize=6435044 CPUtime=0.5 cores=5,7 /proc/17080/task/17097/stat : 17097 (java) S 17078 17080 30365 0 -1 4202560 4051 0 0 0 50 0 0 0 15 0 18 0 891684357 6589485056 526946 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699491225 0 4 0 16800975 18446604469373477312 0 0 -1 7 0 0 0 [pid=17080/tid=17098] ppid=17078 vsize=6435044 CPUtime=0 cores=5,7 /proc/17080/task/17098/stat : 17098 (java) S 17078 17080 30365 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 891684357 6589485056 526946 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699491225 0 4 0 16800975 18446604469373477312 0 0 -1 5 0 0 0 [pid=17080/tid=17099] ppid=17078 vsize=6435044 CPUtime=0 cores=5,7 /proc/17080/task/17099/stat : 17099 (java) S 17078 17080 30365 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 18 0 891684357 6589485056 526946 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699491840 0 4 0 16800975 18446604469373477312 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 112.02 Current children cumulated vsize (KiB) 6435044 [startup+111.517 s] /proc/loadavg: 2.06 2.08 1.95 3/212 18762 /proc/meminfo: memFree=26897428/32951124 swapFree=67076880/67111528 [pid=17080] ppid=17078 vsize=6435044 CPUtime=112.52 cores=5,7 /proc/17080/stat : 17080 (java) S 17078 17080 30365 0 -1 4202496 533490 0 1 0 11184 68 0 0 22 0 18 0 891684352 6589485056 528701 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/17080/statm: 1608761 528701 2255 9 0 1599499 0 [pid=17080/tid=17083] ppid=17078 vsize=6435044 CPUtime=110.1 cores=5,7 /proc/17080/task/17083/stat : 17083 (java) R 17078 17080 30365 0 -1 4202560 401910 0 1 0 10961 49 0 0 21 0 18 0 891684352 6589485056 528701 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 47442889520019 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=17080/tid=17084] ppid=17078 vsize=6435044 CPUtime=0.23 cores=5,7 /proc/17080/task/17084/stat : 17084 (java) S 17078 17080 30365 0 -1 4202560 18278 0 0 0 21 2 0 0 15 0 18 0 891684353 6589485056 528701 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699491225 0 4 0 16800975 18446604469373477312 0 0 -1 5 0 0 0 [pid=17080/tid=17085] ppid=17078 vsize=6435044 CPUtime=0.25 cores=5,7 /proc/17080/task/17085/stat : 17085 (java) S 17078 17080 30365 0 -1 4202560 24942 0 0 0 22 3 0 0 16 0 18 0 891684353 6589485056 528701 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699491225 0 4 0 16800975 18446604469373477312 0 0 -1 5 0 0 0 [pid=17080/tid=17086] ppid=17078 vsize=6435044 CPUtime=0.1 cores=5,7 /proc/17080/task/17086/stat : 17086 (java) S 17078 17080 30365 0 -1 4202560 9380 0 0 0 9 1 0 0 15 0 18 0 891684353 6589485056 528701 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699491225 0 4 0 16800975 18446604469373477312 0 0 -1 5 0 0 0 [pid=17080/tid=17087] ppid=17078 vsize=6435044 CPUtime=0.02 cores=5,7 /proc/17080/task/17087/stat : 17087 (java) S 17078 17080 30365 0 -1 4202560 5703 0 0 0 2 0 0 0 16 0 18 0 891684353 6589485056 528701 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699491225 0 4 0 16800975 18446604469373477312 0 0 -1 7 0 0 0 [pid=17080/tid=17088] ppid=17078 vsize=6435044 CPUtime=0 cores=5,7 /proc/17080/task/17088/stat : 17088 (java) S 17078 17080 30365 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 891684353 6589485056 528701 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699491225 0 4 0 16800975 18446604469373477312 0 0 -1 7 0 0 0 [pid=17080/tid=17089] ppid=17078 vsize=6435044 CPUtime=0.01 cores=5,7 /proc/17080/task/17089/stat : 17089 (java) S 17078 17080 30365 0 -1 4202560 1473 0 0 0 1 0 0 0 15 0 18 0 891684353 6589485056 528701 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699491225 0 4 0 16800975 18446604469373477312 0 0 -1 5 0 0 0 [pid=17080/tid=17090] ppid=17078 vsize=6435044 CPUtime=0.05 cores=5,7 /proc/17080/task/17090/stat : 17090 (java) S 17078 17080 30365 0 -1 4202560 5544 0 0 0 5 0 0 0 15 0 18 0 891684353 6589485056 528701 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699491225 0 4 0 16800975 18446604469373477312 0 0 -1 7 0 0 0 [pid=17080/tid=17091] ppid=17078 vsize=6435044 CPUtime=0.05 cores=5,7 /proc/17080/task/17091/stat : 17091 (java) S 17078 17080 30365 0 -1 4202560 3 0 0 0 5 0 0 0 16 0 18 0 891684353 6589485056 528701 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699491225 0 4 0 16800975 18446604469373477312 0 0 -1 7 0 0 0 [pid=17080/tid=17092] ppid=17078 vsize=6435044 CPUtime=0.65 cores=5,7 /proc/17080/task/17092/stat : 17092 (java) S 17078 17080 30365 0 -1 4202560 56351 0 0 0 58 7 0 0 16 0 18 0 891684355 6589485056 528701 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699491840 0 0 0 16800975 18446604469373477312 0 0 -1 5 0 0 0 [pid=17080/tid=17093] ppid=17078 vsize=6435044 CPUtime=0 cores=5,7 /proc/17080/task/17093/stat : 17093 (java) S 17078 17080 30365 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 18 0 891684355 6589485056 528701 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699491225 0 4 0 16800975 18446604469373477312 0 0 -1 5 0 0 0 [pid=17080/tid=17094] ppid=17078 vsize=6435044 CPUtime=0 cores=5,7 /proc/17080/task/17094/stat : 17094 (java) S 17078 17080 30365 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 18 0 891684355 6589485056 528701 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699491225 0 4 0 16800975 18446604469373477312 0 0 -1 7 0 0 0 [pid=17080/tid=17095] ppid=17078 vsize=6435044 CPUtime=0 cores=5,7 /proc/17080/task/17095/stat : 17095 (java) S 17078 17080 30365 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 891684357 6589485056 528701 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699498929 0 4 0 16800975 18446604469373477312 0 0 -1 5 0 0 0 [pid=17080/tid=17096] ppid=17078 vsize=6435044 CPUtime=0.31 cores=5,7 /proc/17080/task/17096/stat : 17096 (java) S 17078 17080 30365 0 -1 4202560 2146 0 0 0 31 0 0 0 15 0 18 0 891684357 6589485056 528701 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699491225 0 4 0 16800975 18446604469373477312 0 0 -1 5 0 0 0 [pid=17080/tid=17097] ppid=17078 vsize=6435044 CPUtime=0.59 cores=5,7 /proc/17080/task/17097/stat : 17097 (java) R 17078 17080 30365 0 -1 4202560 6508 0 0 0 59 0 0 0 15 0 18 0 891684357 6589485056 528701 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 47442890330834 0 4 0 16800975 0 0 0 -1 7 0 0 0 [pid=17080/tid=17098] ppid=17078 vsize=6435044 CPUtime=0 cores=5,7 /proc/17080/task/17098/stat : 17098 (java) S 17078 17080 30365 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 891684357 6589485056 528701 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699491225 0 4 0 16800975 18446604469373477312 0 0 -1 5 0 0 0 [pid=17080/tid=17099] ppid=17078 vsize=6435044 CPUtime=0 cores=5,7 /proc/17080/task/17099/stat : 17099 (java) S 17078 17080 30365 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 18 0 891684357 6589485056 528701 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699491840 0 4 0 16800975 18446604469373477312 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 112.52 Current children cumulated vsize (KiB) 6435044 [startup+111.701 s] /proc/loadavg: 2.06 2.08 1.95 3/212 18762 /proc/meminfo: memFree=26897428/32951124 swapFree=67076880/67111528 [pid=17080] ppid=17078 vsize=6435044 CPUtime=112.78 cores=5,7 /proc/17080/stat : 17080 (java) S 17078 17080 30365 0 -1 4202496 534343 0 1 0 11210 68 0 0 22 0 18 0 891684352 6589485056 529230 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/17080/statm: 1608761 529230 2255 9 0 1599499 0 [pid=17080/tid=17083] ppid=17078 vsize=6435044 CPUtime=110.27 cores=5,7 /proc/17080/task/17083/stat : 17083 (java) R 17078 17080 30365 0 -1 4202560 401914 0 1 0 10978 49 0 0 21 0 18 0 891684352 6589485056 529230 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 46912505640127 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=17080/tid=17084] ppid=17078 vsize=6435044 CPUtime=0.23 cores=5,7 /proc/17080/task/17084/stat : 17084 (java) S 17078 17080 30365 0 -1 4202560 18278 0 0 0 21 2 0 0 15 0 18 0 891684353 6589485056 529230 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699491225 0 4 0 16800975 18446604469373477312 0 0 -1 5 0 0 0 [pid=17080/tid=17085] ppid=17078 vsize=6435044 CPUtime=0.25 cores=5,7 /proc/17080/task/17085/stat : 17085 (java) S 17078 17080 30365 0 -1 4202560 24942 0 0 0 22 3 0 0 16 0 18 0 891684353 6589485056 529230 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699491225 0 4 0 16800975 18446604469373477312 0 0 -1 5 0 0 0 [pid=17080/tid=17086] ppid=17078 vsize=6435044 CPUtime=0.1 cores=5,7 /proc/17080/task/17086/stat : 17086 (java) S 17078 17080 30365 0 -1 4202560 9380 0 0 0 9 1 0 0 15 0 18 0 891684353 6589485056 529230 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699491225 0 4 0 16800975 18446604469373477312 0 0 -1 5 0 0 0 [pid=17080/tid=17087] ppid=17078 vsize=6435044 CPUtime=0.02 cores=5,7 /proc/17080/task/17087/stat : 17087 (java) S 17078 17080 30365 0 -1 4202560 5703 0 0 0 2 0 0 0 16 0 18 0 891684353 6589485056 529230 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699491225 0 4 0 16800975 18446604469373477312 0 0 -1 7 0 0 0 [pid=17080/tid=17088] ppid=17078 vsize=6435044 CPUtime=0 cores=5,7 /proc/17080/task/17088/stat : 17088 (java) S 17078 17080 30365 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 891684353 6589485056 529230 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699491225 0 4 0 16800975 18446604469373477312 0 0 -1 7 0 0 0 [pid=17080/tid=17089] ppid=17078 vsize=6435044 CPUtime=0.01 cores=5,7 /proc/17080/task/17089/stat : 17089 (java) S 17078 17080 30365 0 -1 4202560 1473 0 0 0 1 0 0 0 15 0 18 0 891684353 6589485056 529230 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699491225 0 4 0 16800975 18446604469373477312 0 0 -1 5 0 0 0 [pid=17080/tid=17090] ppid=17078 vsize=6435044 CPUtime=0.05 cores=5,7 /proc/17080/task/17090/stat : 17090 (java) S 17078 17080 30365 0 -1 4202560 5544 0 0 0 5 0 0 0 15 0 18 0 891684353 6589485056 529230 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699491225 0 4 0 16800975 18446604469373477312 0 0 -1 7 0 0 0 [pid=17080/tid=17091] ppid=17078 vsize=6435044 CPUtime=0.05 cores=5,7 /proc/17080/task/17091/stat : 17091 (java) S 17078 17080 30365 0 -1 4202560 3 0 0 0 5 0 0 0 16 0 18 0 891684353 6589485056 529230 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699491225 0 4 0 16800975 18446604469373477312 0 0 -1 7 0 0 0 [pid=17080/tid=17092] ppid=17078 vsize=6435044 CPUtime=0.65 cores=5,7 /proc/17080/task/17092/stat : 17092 (java) S 17078 17080 30365 0 -1 4202560 56351 0 0 0 58 7 0 0 16 0 18 0 891684355 6589485056 529230 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699491840 0 0 0 16800975 18446604469373477312 0 0 -1 5 0 0 0 [pid=17080/tid=17093] ppid=17078 vsize=6435044 CPUtime=0 cores=5,7 /proc/17080/task/17093/stat : 17093 (java) S 17078 17080 30365 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 18 0 891684355 6589485056 529230 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699491225 0 4 0 16800975 18446604469373477312 0 0 -1 5 0 0 0 [pid=17080/tid=17094] ppid=17078 vsize=6435044 CPUtime=0 cores=5,7 /proc/17080/task/17094/stat : 17094 (java) S 17078 17080 30365 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 18 0 891684355 6589485056 529230 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699491225 0 4 0 16800975 18446604469373477312 0 0 -1 7 0 0 0 [pid=17080/tid=17095] ppid=17078 vsize=6435044 CPUtime=0 cores=5,7 /proc/17080/task/17095/stat : 17095 (java) S 17078 17080 30365 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 891684357 6589485056 529230 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699498929 0 4 0 16800975 18446604469373477312 0 0 -1 5 0 0 0 [pid=17080/tid=17096] ppid=17078 vsize=6435044 CPUtime=0.32 cores=5,7 /proc/17080/task/17096/stat : 17096 (java) S 17078 17080 30365 0 -1 4202560 2146 0 0 0 32 0 0 0 15 0 18 0 891684357 6589485056 529230 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699491225 0 4 0 16800975 18446604469373477312 0 0 -1 5 0 0 0 [pid=17080/tid=17097] ppid=17078 vsize=6435044 CPUtime=0.67 cores=5,7 /proc/17080/task/17097/stat : 17097 (java) S 17078 17080 30365 0 -1 4202560 7357 0 0 0 67 0 0 0 16 0 18 0 891684357 6589485056 529230 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699491225 0 4 0 16800975 18446604469373477312 0 0 -1 7 0 0 0 [pid=17080/tid=17098] ppid=17078 vsize=6435044 CPUtime=0 cores=5,7 /proc/17080/task/17098/stat : 17098 (java) S 17078 17080 30365 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 891684357 6589485056 529231 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699491225 0 4 0 16800975 18446604469373477312 0 0 -1 5 0 0 0 [pid=17080/tid=17099] ppid=17078 vsize=6435044 CPUtime=0 cores=5,7 /proc/17080/task/17099/stat : 17099 (java) S 17078 17080 30365 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 18 0 891684357 6589485056 529231 33554432000 1073741824 1073778376 140735785035632 18446744073709551615 212699491840 0 4 0 16800975 18446604469373477312 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 112.78 Current children cumulated vsize (KiB) 6435044 Child status: 20 Real time (s): 111.783 CPU time (s): 112.874 CPU user time (s): 112.11 CPU system time (s): 0.763883 CPU usage (%): 100.976 Max. virtual memory (cumulated for all children) (KiB): 6435240 getrusage(RUSAGE_CHILDREN,...) data: user time used= 112.11 system time used= 0.763883 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 534353 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= 6201 involuntary context switches= 3859 runsolver used 0.19397 second user time and 0.476927 second system time The end
Begin job on node139 at 2011-06-11 16:01:06 IDJOB=3493564 IDBENCH=20455 IDSOLVER=1972 FILE ID=node139/3493564-1307800866 RUNJOBID= node139-1307799074-30854 PBS_JOBID= 13551009 Free space on /tmp= 74124 MiB SOLVER NAME= SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 BENCH NAME= SAT07/industrial/babic/dspam/dspam_dump_vc1081.cnf COMMAND LINE= java -Xms6000m -Xmx6000m -jar sat4j-mus-v20110206.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3493564-1307800866/watcher-3493564-1307800866 -o /tmp/evaluation-result-3493564-1307800866/solver-3493564-1307800866 -C 1800 -W 1850 -M 7680 java -Xms6000m -Xmx6000m -jar sat4j-mus-v20110206.jar HOME/instance-3493564-1307800866.cnf TIME LIMIT= 1800 seconds MEMORY LIMIT= 7680 MiB NBCORE= 2 MD5SUM BENCH= 8a3e5e1fd068ee5229d7193ac5bcb167 RANDOM SEED=54728957 node139.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.70 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5321.49 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 27995684 kB Buffers: 291400 kB Cached: 1090276 kB SwapCached: 3520 kB Active: 3899824 kB Inactive: 835272 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 27995684 kB SwapTotal: 67111528 kB SwapFree: 67076880 kB Dirty: 7544 kB Writeback: 120 kB AnonPages: 3351428 kB Mapped: 22436 kB Slab: 148036 kB PageTables: 11432 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 6456652 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= 74116 MiB End job on node139 at 2011-06-11 16:02:58