| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 | UNSAT | 199.022 | 195.396 |
| Name | industrial/babic/hsatv17/ hsat_vc11803.cnf |
| MD5SUM | 6c6fd606fd41d7205b07602118ad74a0 |
| Bench Category | APPLICATION (applications instances) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 3.69544 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 276402 |
| Number of clauses | 798348 |
| Sum of the clauses size | 2080196 |
| Maximum clause length | 3 |
| Minimum clause length | 1 |
| Number of clauses of size 1 | 31560 |
| Number of clauses of size 2 | 251728 |
| Number of clauses of size 3 | 515060 |
| 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.05/0.08 c version 2.3.0.v20110206 0.05/0.08 c java.runtime.name Java(TM) SE Runtime Environment 0.05/0.08 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.05/0.08 c java.vm.version 19.1-b02 0.05/0.08 c java.vm.vendor Sun Microsystems Inc. 0.05/0.08 c sun.arch.data.model 64 0.05/0.08 c java.version 1.6.0_24 0.05/0.08 c os.name Linux 0.05/0.08 c os.version 2.6.18-164.el5 0.05/0.08 c os.arch amd64 0.05/0.08 c Free memory 5997854704 0.05/0.08 c Max memory 6029312000 0.05/0.08 c Total memory 6029312000 0.05/0.08 c Number of processors 8 0.05/0.09 c Explanation (MUS) enabled solver 0.05/0.09 c QuickXplain (AAAI 2004 version) minimization strategy 0.09/0.10 c --- Begin Solver configuration --- 0.09/0.10 c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@31e4457d 0.09/0.10 c Learn all clauses as in MiniSAT 0.09/0.10 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 0.09/0.10 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT 0.09/0.10 c Expensive reason simplification 0.09/0.10 c Armin Biere (Picosat) restarts strategy 0.09/0.10 c Glucose learned constraints deletion strategy 0.09/0.10 c timeout=2147483647s 0.09/0.10 c DB Simplification allowed=true 0.09/0.10 c --- End Solver configuration --- 0.09/0.10 c solving HOME/instance-3493572-1307800895.cnf 0.09/0.10 c reading problem ... 1.28/1.13 c ... done. Wall clock time 1.036s. 1.28/1.13 c #vars 1074775 1.28/1.13 c #constraints 798348 1.28/1.13 c constraints type 1.28/1.13 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 766788 1.28/1.13 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 31560 21.29/20.73 c Unsat detection wall clock time (in seconds) : 20.631 21.29/20.73 c Size of initial unsat subformula: 328 21.29/20.73 c Computing MUS ... 21.29/20.73 c initial unsat core 237246[?] 1074773[?] 276427[?] 96251[?] -237246[?] 963938[?] 37705[?] -96251[?] 565559[?] 37704[?] -37705[?] 402563[?] 36581[?] -37704[?] 402559[?] 36580[?] -36581[?] 400849[?] 36579[?] -36580[?] 400846[?] 36219[?] -36580[?] 400845[?] -36438[?] -36579[?] 400841[?] 36439[?] 36438[?] 400654[?] 36455[?] -36439[?] 400652[?] 36454[?] -36455[?] 400651[?] 36453[?] -36454[?] 400649[?] 36452[?] -36453[?] 400647[?] 36451[?] -36452[?] 400645[?] 36450[?] -36451[?] 400643[?] 36449[?] -36450[?] 400641[?] 36448[?] -36449[?] 400639[?] 36440[?] -36448[?] 400637[?] -36430[?] -36440[?] 400635[?] -36236[?] 36430[?] 400633[?] -36429[?] -36268[?] 36236[?] 400629[?] 36429[?] 36268[?] 36236[?] 400628[?] -36429[?] -36428[?] -36424[?] 400627[?] -36429[?] 36424[?] 36428[?] 400626[?] 36429[?] 36428[?] -36424[?] 400625[?] -36268[?] -36424[?] -36425[?] 400623[?] 36424[?] -36268[?] 36425[?] 400622[?] 36425[?] 36268[?] -36424[?] 400621[?] 36428[?] -36426[?] 400619[?] 36426[?] -36428[?] 400618[?] 36425[?] -36426[?] 400616[?] 36426[?] -36424[?] -36425[?] 400615[?] 36300[?] -36425[?] 400614[?] 36424[?] -36422[?] 400608[?] 36422[?] -36420[?] -36421[?] 400604[?] 36421[?] -36299[?] 400602[?] 36420[?] -36418[?] 400597[?] 36418[?] -36416[?] -36417[?] 400593[?] 36417[?] -36298[?] 400591[?] 36416[?] -36414[?] 400586[?] 36414[?] -36412[?] -36413[?] 400582[?] 36413[?] -36297[?] 400580[?] 36412[?] -36410[?] 400575[?] 36410[?] -36408[?] -36409[?] 400571[?] 36409[?] -36296[?] 400569[?] 36408[?] -36406[?] 400564[?] 36406[?] -36404[?] -36405[?] 400560[?] 36405[?] -36295[?] 400558[?] 36404[?] -36402[?] 400553[?] 36402[?] -36400[?] -36401[?] 400549[?] 36401[?] -36294[?] 400547[?] 36400[?] -36398[?] 400542[?] 36398[?] -36396[?] -36397[?] 400538[?] 36397[?] -36293[?] 400536[?] 36396[?] -36394[?] 400531[?] 36394[?] -36392[?] -36393[?] 400527[?] 36393[?] -36292[?] 400525[?] 36392[?] -36390[?] 400520[?] 36390[?] -36388[?] -36389[?] 400516[?] 36389[?] -36291[?] 400514[?] 36388[?] -36386[?] 400509[?] 36386[?] -36384[?] -36385[?] 400505[?] 36385[?] -36290[?] 400503[?] 36384[?] -36382[?] 400498[?] 36382[?] -36380[?] -36381[?] 400494[?] 36381[?] -36289[?] 400492[?] 36380[?] -36378[?] 400487[?] 36378[?] -36376[?] -36377[?] 400483[?] 36377[?] -36288[?] 400481[?] 36376[?] -36374[?] 400476[?] 36374[?] -36372[?] -36373[?] 400472[?] 36373[?] -36287[?] 400470[?] 36372[?] -36370[?] 400465[?] 36370[?] -36368[?] -36369[?] 400461[?] 36369[?] -36286[?] 400459[?] 36368[?] -36366[?] 400454[?] 36366[?] -36364[?] -36365[?] 400450[?] 36365[?] -36285[?] 400448[?] 36364[?] -36362[?] 400443[?] 36362[?] -36360[?] -36361[?] 400439[?] 36361[?] -36284[?] 400437[?] 36360[?] -36358[?] 400432[?] 36358[?] -36356[?] -36357[?] 400428[?] 36357[?] -36283[?] 400426[?] 36356[?] -36354[?] 400421[?] 36354[?] -36352[?] -36353[?] 400417[?] 36353[?] -36282[?] 400415[?] 36352[?] -36350[?] 400410[?] 36350[?] -36348[?] -36349[?] 400406[?] 36349[?] -36281[?] 400404[?] 36348[?] -36346[?] 400399[?] 36346[?] -36344[?] -36345[?] 400395[?] 36345[?] -36280[?] 400393[?] 36344[?] -36342[?] 400388[?] 36342[?] -36340[?] -36341[?] 400384[?] 36341[?] -36279[?] 400382[?] 36340[?] -36338[?] 400377[?] 36338[?] -36336[?] -36337[?] 400373[?] 36337[?] -36278[?] 400371[?] 36336[?] -36334[?] 400366[?] 36334[?] -36332[?] -36333[?] 400362[?] 36333[?] -36277[?] 400360[?] 36332[?] -36330[?] 400355[?] 36330[?] -36328[?] -36329[?] 400351[?] 36329[?] -36276[?] 400349[?] 36328[?] -36326[?] 400344[?] 36326[?] -36324[?] -36325[?] 400340[?] 36325[?] -36275[?] 400338[?] 36324[?] -36322[?] 400333[?] 36322[?] -36320[?] -36321[?] 400329[?] 36321[?] -36274[?] 400327[?] 36320[?] -36318[?] 400322[?] 36318[?] -36316[?] -36317[?] 400318[?] 36317[?] -36273[?] 400316[?] 36316[?] -36314[?] 400311[?] 36314[?] -36312[?] -36313[?] 400307[?] 36313[?] -36272[?] 400305[?] 36312[?] -36310[?] 400300[?] 36310[?] -36308[?] -36309[?] 400296[?] 36309[?] -36271[?] 400294[?] 36308[?] -36306[?] 400289[?] 36306[?] -36305[?] -36304[?] 400285[?] 36305[?] -36270[?] 400283[?] 36304[?] -36303[?] 400280[?] 36304[?] -36302[?] 400279[?] -36301[?] 36302[?] 400276[?] 36303[?] -36269[?] 400274[?] 36269[?] 36301[?] 400272[?] -36016[?] -36300[?] 400271[?] 36299[?] 36015[?] 400268[?] 36298[?] 36014[?] 400266[?] 36297[?] 36013[?] 400264[?] 36296[?] 36012[?] 400262[?] 36295[?] 36011[?] 400260[?] 36294[?] 36010[?] 400258[?] 36293[?] 36009[?] 400256[?] 36292[?] 36008[?] 400254[?] 36291[?] 36007[?] 400252[?] 36290[?] 36006[?] 400250[?] 36289[?] 36005[?] 400248[?] 36288[?] 36004[?] 400246[?] 36287[?] 36003[?] 400244[?] 36286[?] 36002[?] 400242[?] 36285[?] 36001[?] 400240[?] 36284[?] 36000[?] 400238[?] 36283[?] 35999[?] 400236[?] 36282[?] 35998[?] 400234[?] 36281[?] 35997[?] 400232[?] 36280[?] 35996[?] 400230[?] 36279[?] 35995[?] 400228[?] 36278[?] 35994[?] 400226[?] 36277[?] 35993[?] 400224[?] 36276[?] 35992[?] 400222[?] 36275[?] 35991[?] 400220[?] 36274[?] 35990[?] 400218[?] 36273[?] 35989[?] 400216[?] 36272[?] 35988[?] 400214[?] 36271[?] 35987[?] 400212[?] 36270[?] 35986[?] 400210[?] 36235[?] -36219[?] 400206[?] 36234[?] -36235[?] 400205[?] 36233[?] -36234[?] 400203[?] 36232[?] -36233[?] 400201[?] 36231[?] -36232[?] 400199[?] 36230[?] -36231[?] 400197[?] 36229[?] -36230[?] 400195[?] 36228[?] -36229[?] 400193[?] 36220[?] -36228[?] 400191[?] -36211[?] -36220[?] 400189[?] -36017[?] 36211[?] 400187[?] -36049[?] 36210[?] 36017[?] 400183[?] -36210[?] 36209[?] 36205[?] 400180[?] 36205[?] 36049[?] -36206[?] 400174[?] 36207[?] -36209[?] 400172[?] 36205[?] -36207[?] 400171[?] 36206[?] -36081[?] 400167[?] 36203[?] -36205[?] 400161[?] 36201[?] -36203[?] 400160[?] 36202[?] -36203[?] 400159[?] 36080[?] -36202[?] 400157[?] 36199[?] -36201[?] 400150[?] 36197[?] -36199[?] 400149[?] 36198[?] -36199[?] 400148[?] 36079[?] -36198[?] 400146[?] 36195[?] -36197[?] 400139[?] 36193[?] -36195[?] 400138[?] 36194[?] -36195[?] 400137[?] 36078[?] -36194[?] 400135[?] 36191[?] -36193[?] 400128[?] 36189[?] -36191[?] 400127[?] 36190[?] -36191[?] 400126[?] 36077[?] -36190[?] 400124[?] 36187[?] -36189[?] 400117[?] 36185[?] -36187[?] 400116[?] 36186[?] -36187[?] 400115[?] 36076[?] -36186[?] 400113[?] 36183[?] -36185[?] 400106[?] 36181[?] -36183[?] 400105[?] 36182[?] -36183[?] 400104[?] 36075[?] -36182[?] 400102[?] 36179[?] -36181[?] 400095[?] 36177[?] -36179[?] 400094[?] 36178[?] -36179[?] 400093[?] 36074[?] -36178[?] 400091[?] 36175[?] -36177[?] 400084[?] 36173[?] -36175[?] 400083[?] 36174[?] -36175[?] 400082[?] 36073[?] -36174[?] 400080[?] 36171[?] -36173[?] 400073[?] 36169[?] -36171[?] 400072[?] 36170[?] -36171[?] 400071[?] 36072[?] -36170[?] 400069[?] 36167[?] -36169[?] 400062[?] 36165[?] -36167[?] 400061[?] 36166[?] -36167[?] 400060[?] 36071[?] -36166[?] 400058[?] 36163[?] -36165[?] 400051[?] 36161[?] -36163[?] 400050[?] 36162[?] -36163[?] 400049[?] 36070[?] -36162[?] 400047[?] 36159[?] -36161[?] 400040[?] 36157[?] -36159[?] 400039[?] 36158[?] -36159[?] 400038[?] 36069[?] -36158[?] 400036[?] 36155[?] -36157[?] 400029[?] 36153[?] -36155[?] 400028[?] 36154[?] -36155[?] 400027[?] 36068[?] -36154[?] 400025[?] 36151[?] -36153[?] 400018[?] 36149[?] -36151[?] 400017[?] 36150[?] -36151[?] 400016[?] 36067[?] -36150[?] 400014[?] 36147[?] -36149[?] 400007[?] 36145[?] -36147[?] 400006[?] 36146[?] -36147[?] 400005[?] 36066[?] -36146[?] 400003[?] 36143[?] -36145[?] 399996[?] 36141[?] -36143[?] 399995[?] 36142[?] -36143[?] 399994[?] 36065[?] -36142[?] 399992[?] 36139[?] -36141[?] 399985[?] 36137[?] -36139[?] 399984[?] 36138[?] -36139[?] 399983[?] 36064[?] -36138[?] 399981[?] 36135[?] -36137[?] 399974[?] 36133[?] -36135[?] 399973[?] 36134[?] -36135[?] 399972[?] 36063[?] -36134[?] 399970[?] 36131[?] -36133[?] 399963[?] 36129[?] -36131[?] 399962[?] 36130[?] -36131[?] 399961[?] 36062[?] -36130[?] 399959[?] 36127[?] -36129[?] 399952[?] 36125[?] -36127[?] 399951[?] 36126[?] -36127[?] 399950[?] 36061[?] -36126[?] 399948[?] 36123[?] -36125[?] 399941[?] 36121[?] -36123[?] 399940[?] 36122[?] -36123[?] 399939[?] 36060[?] -36122[?] 399937[?] 36119[?] -36121[?] 399930[?] 36117[?] -36119[?] 399929[?] 36118[?] -36119[?] 399928[?] 36059[?] -36118[?] 399926[?] 36115[?] -36117[?] 399919[?] 36113[?] -36115[?] 399918[?] 36114[?] -36115[?] 399917[?] 36058[?] -36114[?] 399915[?] 36111[?] -36113[?] 399908[?] 36109[?] -36111[?] 399907[?] 36110[?] -36111[?] 399906[?] 36057[?] -36110[?] 399904[?] 36107[?] -36109[?] 399897[?] 36105[?] -36107[?] 399896[?] 36106[?] -36107[?] 399895[?] 36056[?] -36106[?] 399893[?] 36103[?] -36105[?] 399886[?] 36101[?] -36103[?] 399885[?] 36102[?] -36103[?] 399884[?] 36055[?] -36102[?] 399882[?] 36099[?] -36101[?] 399875[?] 36097[?] -36099[?] 399874[?] 36098[?] -36099[?] 399873[?] 36054[?] -36098[?] 399871[?] 36095[?] -36097[?] 399864[?] 36093[?] -36095[?] 399863[?] 36094[?] -36095[?] 399862[?] 36053[?] -36094[?] 399860[?] 36091[?] -36093[?] 399853[?] 36089[?] -36091[?] 399852[?] 36090[?] -36091[?] 399851[?] 36052[?] -36090[?] 399849[?] 36087[?] -36089[?] 399842[?] 36086[?] -36087[?] 399840[?] 36051[?] -36086[?] 399838[?] 36081[?] 36016[?] 399824[?] -36015[?] -36080[?] 399823[?] -36014[?] -36079[?] 399821[?] -36013[?] -36078[?] 399819[?] -36012[?] -36077[?] 399817[?] -36011[?] -36076[?] 399815[?] -36010[?] -36075[?] 399813[?] -36009[?] -36074[?] 399811[?] -36008[?] -36073[?] 399809[?] -36007[?] -36072[?] 399807[?] -36006[?] -36071[?] 399805[?] -36005[?] -36070[?] 399803[?] -36004[?] -36069[?] 399801[?] -36003[?] -36068[?] 399799[?] -36002[?] -36067[?] 399797[?] -36001[?] -36066[?] 399795[?] -36000[?] -36065[?] 399793[?] -35999[?] -36064[?] 399791[?] -35998[?] -36063[?] 399789[?] -35997[?] -36062[?] 399787[?] -35996[?] -36061[?] 399785[?] -35995[?] -36060[?] 399783[?] -35994[?] -36059[?] 399781[?] -35993[?] -36058[?] 399779[?] -35992[?] -36057[?] 399777[?] -35991[?] -36056[?] 399775[?] -35990[?] -36055[?] 399773[?] -35989[?] -36054[?] 399771[?] -35988[?] -36053[?] 399769[?] -35987[?] -36052[?] 399767[?] -35986[?] -36051[?] 399765[?] -276427[?] 307987[?] 21.53/20.91 c qxplain 0/327 22.03/21.40 c qxplain 164/327 22.44/21.75 c qxplain 246/327 22.83/22.11 c qxplain 287/327 23.14/22.46 c qxplain 308/327 23.54/22.82 c qxplain 318/327 23.84/23.17 c qxplain 323/327 24.24/23.53 c qxplain 326/327 24.54/23.89 c qxplain 327/327 24.94/24.24 c -276427[?] 307987[?] is mandatory 24.94/24.24 c qxplain 326/326 25.24/24.59 c 399765[?] -35986[?] -36051[?] is mandatory 25.24/24.59 c qxplain 323/325 25.64/24.95 c qxplain 325/325 26.04/25.31 c 399767[?] -35987[?] -36052[?] is mandatory 26.04/25.31 c qxplain 323/324 26.34/25.67 c qxplain 324/324 26.74/26.02 c 399769[?] -35988[?] -36053[?] is mandatory 26.74/26.02 c qxplain 323/323 27.04/26.37 c 399771[?] -35989[?] -36054[?] is mandatory 27.04/26.37 c qxplain 318/322 27.43/26.72 c qxplain 321/322 27.74/27.08 c qxplain 322/322 28.14/27.44 c 399773[?] -35990[?] -36055[?] is mandatory 28.14/27.44 c qxplain 321/321 28.44/27.79 c 399775[?] -35991[?] -36056[?] is mandatory 28.44/27.79 c qxplain 318/320 28.84/28.15 c qxplain 320/320 29.25/28.50 c 399777[?] -35992[?] -36057[?] is mandatory 29.25/28.50 c qxplain 318/319 30.62/29.33 c qxplain 319/319 30.82/29.58 c 399779[?] -35993[?] -36058[?] is mandatory 30.82/29.58 c qxplain 318/318 31.12/29.84 c 399781[?] -35994[?] -36059[?] is mandatory 31.12/29.84 c qxplain 308/317 31.32/30.10 c qxplain 313/317 31.62/30.35 c qxplain 316/317 31.92/30.61 c qxplain 317/317 32.12/30.86 c 399783[?] -35995[?] -36060[?] is mandatory 32.12/30.86 c qxplain 316/316 32.42/31.12 c 399785[?] -35996[?] -36061[?] is mandatory 32.42/31.12 c qxplain 313/315 32.62/31.37 c qxplain 315/315 32.92/31.62 c 399787[?] -35997[?] -36062[?] is mandatory 32.92/31.62 c qxplain 313/314 33.12/31.88 c qxplain 314/314 33.42/32.13 c 399789[?] -35998[?] -36063[?] is mandatory 33.42/32.13 c qxplain 313/313 33.62/32.39 c 399791[?] -35999[?] -36064[?] is mandatory 33.62/32.39 c qxplain 308/312 33.92/32.65 c qxplain 311/312 34.22/32.90 c qxplain 312/312 34.42/33.15 c 399793[?] -36000[?] -36065[?] is mandatory 34.42/33.15 c qxplain 311/311 34.72/33.41 c 399795[?] -36001[?] -36066[?] is mandatory 34.72/33.41 c qxplain 308/310 34.92/33.66 c qxplain 310/310 35.22/33.92 c 399797[?] -36002[?] -36067[?] is mandatory 35.22/33.92 c qxplain 308/309 35.42/34.17 c qxplain 309/309 35.72/34.42 c 399799[?] -36003[?] -36068[?] is mandatory 35.72/34.42 c qxplain 308/308 35.92/34.67 c 399801[?] -36004[?] -36069[?] is mandatory 35.92/34.67 c qxplain 287/307 36.22/34.93 c qxplain 298/307 36.42/35.19 c qxplain 303/307 36.72/35.44 c qxplain 306/307 37.02/35.70 c qxplain 307/307 37.22/35.95 c 399803[?] -36005[?] -36070[?] is mandatory 37.22/35.95 c qxplain 306/306 37.53/36.21 c 399805[?] -36006[?] -36071[?] is mandatory 37.53/36.21 c qxplain 303/305 37.72/36.46 c qxplain 305/305 38.02/36.71 c 399807[?] -36007[?] -36072[?] is mandatory 38.02/36.71 c qxplain 303/304 38.97/37.31 c qxplain 304/304 39.16/37.57 c 399809[?] -36008[?] -36073[?] is mandatory 39.16/37.57 c qxplain 303/303 39.46/37.83 c 399811[?] -36009[?] -36074[?] is mandatory 39.46/37.83 c qxplain 298/302 39.66/38.09 c qxplain 301/302 39.96/38.36 c qxplain 302/302 40.26/38.61 c 399813[?] -36010[?] -36075[?] is mandatory 40.26/38.61 c qxplain 301/301 40.46/38.87 c 399815[?] -36011[?] -36076[?] is mandatory 40.46/38.87 c qxplain 298/300 40.76/39.13 c qxplain 300/300 40.96/39.39 c 399817[?] -36012[?] -36077[?] is mandatory 40.96/39.39 c qxplain 298/299 41.27/39.64 c qxplain 299/299 41.56/39.90 c 399819[?] -36013[?] -36078[?] is mandatory 41.56/39.90 c qxplain 298/298 41.76/40.16 c 399821[?] -36014[?] -36079[?] is mandatory 41.76/40.16 c qxplain 287/297 42.06/40.42 c qxplain 293/297 42.27/40.67 c qxplain 296/297 42.56/40.93 c qxplain 297/297 42.76/41.19 c 399823[?] -36015[?] -36080[?] is mandatory 42.76/41.19 c qxplain 296/296 43.06/41.45 c 399824[?] 36081[?] 36016[?] is mandatory 43.06/41.45 c qxplain 293/295 43.37/41.70 c qxplain 295/295 43.56/41.96 c 399838[?] 36051[?] -36086[?] is mandatory 43.56/41.96 c qxplain 293/294 43.86/42.22 c qxplain 294/294 44.06/42.47 c 399840[?] 36086[?] -36087[?] is mandatory 44.06/42.47 c qxplain 293/293 44.36/42.73 c 399842[?] 36087[?] -36089[?] is mandatory 44.36/42.73 c qxplain 287/292 44.57/42.99 c qxplain 290/292 44.86/43.24 c qxplain 292/292 45.16/43.50 c 399849[?] 36052[?] -36090[?] is mandatory 45.16/43.50 c qxplain 290/291 45.36/43.76 c qxplain 291/291 45.67/44.02 c 399851[?] 36090[?] -36091[?] is mandatory 45.67/44.02 c qxplain 290/290 45.86/44.28 c 399852[?] 36089[?] -36091[?] is mandatory 45.86/44.28 c qxplain 287/289 46.16/44.54 c qxplain 289/289 46.46/44.80 c 399853[?] 36091[?] -36093[?] is mandatory 46.46/44.80 c qxplain 287/288 47.27/45.38 c qxplain 288/288 47.57/45.64 c 399860[?] 36053[?] -36094[?] is mandatory 47.57/45.64 c qxplain 287/287 47.77/45.89 c 399862[?] 36094[?] -36095[?] is mandatory 47.77/45.89 c qxplain 246/286 48.08/46.16 c qxplain 267/286 48.37/46.41 c qxplain 277/286 48.57/46.67 c qxplain 282/286 48.87/46.93 c qxplain 285/286 49.07/47.19 c qxplain 286/286 49.37/47.45 c 399863[?] 36093[?] -36095[?] is mandatory 49.37/47.45 c qxplain 285/285 49.67/47.71 c 399864[?] 36095[?] -36097[?] is mandatory 49.67/47.71 c qxplain 282/284 49.87/47.97 c qxplain 284/284 50.17/48.23 c 399871[?] 36054[?] -36098[?] is mandatory 50.17/48.23 c qxplain 282/283 50.38/48.49 c qxplain 283/283 50.67/48.75 c 399873[?] 36098[?] -36099[?] is mandatory 50.67/48.75 c qxplain 282/282 50.97/49.01 c 399874[?] 36097[?] -36099[?] is mandatory 50.97/49.01 c qxplain 277/281 51.17/49.26 c qxplain 280/281 51.48/49.52 c qxplain 281/281 51.67/49.78 c 399875[?] 36099[?] -36101[?] is mandatory 51.67/49.78 c qxplain 280/280 51.97/50.04 c 399882[?] 36055[?] -36102[?] is mandatory 51.97/50.04 c qxplain 277/279 52.27/50.30 c qxplain 279/279 52.48/50.56 c 399884[?] 36102[?] -36103[?] is mandatory 52.48/50.56 c qxplain 277/278 52.77/50.82 c qxplain 278/278 52.97/51.07 c 399885[?] 36101[?] -36103[?] is mandatory 52.97/51.07 c qxplain 277/277 53.27/51.33 c 399886[?] 36103[?] -36105[?] is mandatory 53.27/51.33 c qxplain 267/276 53.47/51.59 c qxplain 272/276 53.77/51.84 c qxplain 275/276 54.07/52.10 c qxplain 276/276 54.28/52.36 c 399893[?] 36056[?] -36106[?] is mandatory 54.28/52.36 c qxplain 275/275 54.58/52.62 c 399895[?] 36106[?] -36107[?] is mandatory 54.58/52.62 c qxplain 272/274 54.79/52.88 c qxplain 274/274 55.70/53.46 c 399896[?] 36105[?] -36107[?] is mandatory 55.70/53.46 c qxplain 272/273 56.00/53.71 c qxplain 273/273 56.20/53.97 c 399897[?] 36107[?] -36109[?] is mandatory 56.20/53.97 c qxplain 272/272 56.50/54.23 c 399904[?] 36057[?] -36110[?] is mandatory 56.50/54.23 c qxplain 267/271 56.70/54.49 c qxplain 270/271 57.00/54.75 c qxplain 271/271 57.30/55.00 c 399906[?] 36110[?] -36111[?] is mandatory 57.30/55.00 c qxplain 270/270 57.51/55.26 c 399907[?] 36109[?] -36111[?] is mandatory 57.51/55.26 c qxplain 267/269 57.80/55.52 c qxplain 269/269 58.00/55.78 c 399908[?] 36111[?] -36113[?] is mandatory 58.00/55.78 c qxplain 267/268 58.30/56.03 c qxplain 268/268 58.50/56.29 c 399915[?] 36058[?] -36114[?] is mandatory 58.50/56.29 c qxplain 267/267 58.80/56.55 c 399917[?] 36114[?] -36115[?] is mandatory 58.80/56.55 c qxplain 246/266 59.10/56.81 c qxplain 257/266 59.30/57.07 c qxplain 262/266 59.60/57.32 c qxplain 265/266 59.80/57.58 c qxplain 266/266 60.10/57.84 c 399918[?] 36113[?] -36115[?] is mandatory 60.10/57.84 c qxplain 265/265 60.40/58.10 c 399919[?] 36115[?] -36117[?] is mandatory 60.40/58.10 c qxplain 262/264 60.60/58.36 c qxplain 264/264 60.90/58.62 c 399926[?] 36059[?] -36118[?] is mandatory 60.90/58.62 c qxplain 262/263 61.10/58.88 c qxplain 263/263 61.40/59.13 c 399928[?] 36118[?] -36119[?] is mandatory 61.40/59.13 c qxplain 262/262 61.60/59.39 c 399929[?] 36117[?] -36119[?] is mandatory 61.60/59.39 c qxplain 257/261 61.90/59.65 c qxplain 260/261 62.20/59.91 c qxplain 261/261 62.40/60.17 c 399930[?] 36119[?] -36121[?] is mandatory 62.40/60.17 c qxplain 260/260 62.70/60.43 c 399937[?] 36060[?] -36122[?] is mandatory 62.70/60.43 c qxplain 257/259 62.90/60.69 c qxplain 259/259 63.20/60.95 c 399939[?] 36122[?] -36123[?] is mandatory 63.20/60.95 c qxplain 257/258 64.10/61.52 c qxplain 258/258 64.30/61.77 c 399940[?] 36121[?] -36123[?] is mandatory 64.30/61.77 c qxplain 257/257 64.60/62.03 c 399941[?] 36123[?] -36125[?] is mandatory 64.60/62.03 c qxplain 246/256 64.80/62.29 c qxplain 252/256 65.10/62.54 c qxplain 255/256 65.30/62.79 c qxplain 256/256 65.61/63.05 c 399948[?] 36061[?] -36126[?] is mandatory 65.61/63.05 c qxplain 255/255 65.90/63.31 c 399950[?] 36126[?] -36127[?] is mandatory 65.90/63.31 c qxplain 252/254 66.10/63.57 c qxplain 254/254 66.40/63.83 c 399951[?] 36125[?] -36127[?] is mandatory 66.40/63.83 c qxplain 252/253 66.61/64.09 c qxplain 253/253 66.90/64.34 c 399952[?] 36127[?] -36129[?] is mandatory 66.90/64.34 c qxplain 252/252 67.20/64.60 c 399959[?] 36062[?] -36130[?] is mandatory 67.20/64.60 c qxplain 246/251 67.40/64.85 c qxplain 249/251 67.71/65.11 c qxplain 251/251 67.90/65.36 c 399961[?] 36130[?] -36131[?] is mandatory 67.90/65.36 c qxplain 249/250 68.20/65.62 c qxplain 250/250 68.40/65.88 c 399962[?] 36129[?] -36131[?] is mandatory 68.40/65.88 c qxplain 249/249 68.70/66.14 c 399963[?] 36131[?] -36133[?] is mandatory 68.70/66.14 c qxplain 246/248 68.91/66.39 c qxplain 248/248 69.20/66.65 c 399970[?] 36063[?] -36134[?] is mandatory 69.20/66.65 c qxplain 246/247 69.50/66.91 c qxplain 247/247 69.70/67.16 c 399972[?] 36134[?] -36135[?] is mandatory 69.70/67.16 c qxplain 246/246 70.01/67.42 c 399973[?] 36133[?] -36135[?] is mandatory 70.01/67.42 c qxplain 164/245 70.20/67.68 c qxplain 205/245 70.50/67.93 c qxplain 226/245 70.70/68.19 c qxplain 236/245 71.01/68.44 c qxplain 241/245 71.20/68.70 c qxplain 244/245 71.50/68.95 c qxplain 245/245 72.41/69.52 c 399974[?] 36135[?] -36137[?] is mandatory 72.41/69.52 c qxplain 244/244 72.62/69.77 c 399981[?] 36064[?] -36138[?] is mandatory 72.62/69.77 c qxplain 241/243 72.91/70.03 c qxplain 243/243 73.11/70.29 c 399983[?] 36138[?] -36139[?] is mandatory 73.11/70.29 c qxplain 241/242 73.41/70.54 c qxplain 242/242 73.61/70.80 c 399984[?] 36137[?] -36139[?] is mandatory 73.61/70.80 c qxplain 241/241 73.91/71.06 c 399985[?] 36139[?] -36141[?] is mandatory 73.91/71.06 c qxplain 236/240 74.21/71.31 c qxplain 239/240 74.41/71.57 c qxplain 240/240 74.71/71.83 c 399992[?] 36065[?] -36142[?] is mandatory 74.71/71.83 c qxplain 239/239 74.91/72.09 c 399994[?] 36142[?] -36143[?] is mandatory 74.91/72.09 c qxplain 236/238 75.21/72.34 c qxplain 238/238 75.51/72.60 c 399995[?] 36141[?] -36143[?] is mandatory 75.51/72.60 c qxplain 236/237 75.71/72.86 c qxplain 237/237 76.01/73.12 c 399996[?] 36143[?] -36145[?] is mandatory 76.01/73.12 c qxplain 236/236 76.21/73.38 c 400003[?] 36066[?] -36146[?] is mandatory 76.21/73.38 c qxplain 226/235 76.51/73.63 c qxplain 231/235 76.71/73.89 c qxplain 234/235 77.01/74.15 c qxplain 235/235 77.31/74.40 c 400005[?] 36146[?] -36147[?] is mandatory 77.31/74.40 c qxplain 234/234 77.51/74.66 c 400006[?] 36145[?] -36147[?] is mandatory 77.51/74.66 c qxplain 231/233 77.81/74.92 c qxplain 233/233 78.02/75.18 c 400007[?] 36147[?] -36149[?] is mandatory 78.02/75.18 c qxplain 231/232 78.31/75.43 c qxplain 232/232 78.51/75.69 c 400014[?] 36067[?] -36150[?] is mandatory 78.51/75.69 c qxplain 231/231 79.48/76.29 c 400016[?] 36150[?] -36151[?] is mandatory 79.48/76.29 c qxplain 226/230 79.76/76.55 c qxplain 229/230 80.06/76.81 c qxplain 230/230 80.26/77.06 c 400017[?] 36149[?] -36151[?] is mandatory 80.26/77.06 c qxplain 229/229 80.56/77.32 c 400018[?] 36151[?] -36153[?] is mandatory 80.56/77.32 c qxplain 226/228 80.77/77.58 c qxplain 228/228 81.06/77.83 c 400025[?] 36068[?] -36154[?] is mandatory 81.06/77.83 c qxplain 226/227 81.26/78.09 c qxplain 227/227 81.56/78.35 c 400027[?] 36154[?] -36155[?] is mandatory 81.56/78.35 c qxplain 226/226 81.86/78.62 c 400028[?] 36153[?] -36155[?] is mandatory 81.86/78.62 c qxplain 205/225 82.06/78.87 c qxplain 216/225 82.36/79.13 c qxplain 221/225 82.56/79.39 c qxplain 224/225 82.86/79.64 c qxplain 225/225 83.16/79.90 c 400029[?] 36155[?] -36157[?] is mandatory 83.16/79.90 c qxplain 224/224 83.36/80.16 c 400036[?] 36069[?] -36158[?] is mandatory 83.36/80.16 c qxplain 221/223 83.66/80.41 c qxplain 223/223 83.86/80.67 c 400038[?] 36158[?] -36159[?] is mandatory 83.86/80.67 c qxplain 221/222 84.16/80.93 c qxplain 222/222 84.36/81.19 c 400039[?] 36157[?] -36159[?] is mandatory 84.36/81.19 c qxplain 221/221 84.66/81.44 c 400040[?] 36159[?] -36161[?] is mandatory 84.66/81.44 c qxplain 216/220 84.96/81.70 c qxplain 219/220 85.16/81.96 c qxplain 220/220 85.46/82.22 c 400047[?] 36070[?] -36162[?] is mandatory 85.46/82.22 c qxplain 219/219 85.66/82.48 c 400049[?] 36162[?] -36163[?] is mandatory 85.66/82.48 c qxplain 216/218 85.96/82.74 c qxplain 218/218 86.17/83.00 c 400050[?] 36161[?] -36163[?] is mandatory 86.17/83.00 c qxplain 216/217 86.46/83.26 c qxplain 217/217 86.76/83.51 c 400051[?] 36163[?] -36165[?] is mandatory 86.76/83.51 c qxplain 216/216 86.96/83.77 c 400058[?] 36071[?] -36166[?] is mandatory 86.96/83.77 c qxplain 205/215 87.27/84.03 c qxplain 211/215 87.46/84.29 c qxplain 214/215 87.76/84.55 c qxplain 215/215 88.06/84.81 c 400060[?] 36166[?] -36167[?] is mandatory 88.06/84.81 c qxplain 214/214 88.26/85.06 c 400061[?] 36165[?] -36167[?] is mandatory 88.26/85.06 c qxplain 211/213 88.56/85.32 c qxplain 213/213 88.76/85.58 c 400062[?] 36167[?] -36169[?] is mandatory 88.76/85.58 c qxplain 211/212 89.06/85.84 c qxplain 212/212 89.36/86.10 c 400069[?] 36072[?] -36170[?] is mandatory 89.36/86.10 c qxplain 211/211 89.57/86.36 c 400071[?] 36170[?] -36171[?] is mandatory 89.57/86.36 c qxplain 205/210 89.86/86.61 c qxplain 208/210 90.06/86.87 c qxplain 210/210 90.36/87.13 c 400072[?] 36169[?] -36171[?] is mandatory 90.36/87.13 c qxplain 208/209 90.57/87.39 c qxplain 209/209 90.87/87.65 c 400073[?] 36171[?] -36173[?] is mandatory 90.87/87.65 c qxplain 208/208 91.17/87.91 c 400080[?] 36073[?] -36174[?] is mandatory 91.17/87.91 c qxplain 205/207 91.37/88.16 c qxplain 207/207 91.67/88.42 c 400082[?] 36174[?] -36175[?] is mandatory 91.67/88.42 c qxplain 205/206 91.87/88.68 c qxplain 206/206 92.18/88.95 c 400083[?] 36173[?] -36175[?] is mandatory 92.18/88.95 c qxplain 205/205 92.48/89.21 c 400084[?] 36175[?] -36177[?] is mandatory 92.48/89.21 c qxplain 164/204 92.68/89.46 c qxplain 185/204 92.98/89.72 c qxplain 195/204 93.18/89.98 c qxplain 200/204 93.48/90.23 c qxplain 203/204 93.68/90.49 c qxplain 204/204 93.98/90.76 c 400091[?] 36074[?] -36178[?] is mandatory 93.98/90.76 c qxplain 203/203 94.28/91.02 c 400093[?] 36178[?] -36179[?] is mandatory 94.28/91.02 c qxplain 200/202 94.48/91.28 c qxplain 202/202 94.78/91.54 c 400094[?] 36177[?] -36179[?] is mandatory 94.78/91.54 c qxplain 200/201 94.98/91.79 c qxplain 201/201 95.28/92.05 c 400095[?] 36179[?] -36181[?] is mandatory 95.28/92.05 c qxplain 200/200 95.58/92.31 c 400102[?] 36075[?] -36182[?] is mandatory 95.58/92.31 c qxplain 195/199 95.78/92.57 c qxplain 198/199 96.08/92.82 c qxplain 199/199 96.28/93.08 c 400104[?] 36182[?] -36183[?] is mandatory 96.28/93.08 c qxplain 198/198 96.58/93.34 c 400105[?] 36181[?] -36183[?] is mandatory 96.58/93.34 c qxplain 195/197 96.88/93.60 c qxplain 197/197 97.08/93.86 c 400106[?] 36183[?] -36185[?] is mandatory 97.08/93.86 c qxplain 195/196 97.38/94.12 c qxplain 196/196 97.58/94.38 c 400113[?] 36076[?] -36186[?] is mandatory 97.58/94.38 c qxplain 195/195 97.89/94.65 c 400115[?] 36186[?] -36187[?] is mandatory 97.89/94.65 c qxplain 185/194 98.19/94.91 c qxplain 190/194 98.39/95.16 c qxplain 193/194 98.69/95.42 c qxplain 194/194 98.89/95.68 c 400116[?] 36185[?] -36187[?] is mandatory 98.89/95.68 c qxplain 193/193 99.19/95.94 c 400117[?] 36187[?] -36189[?] is mandatory 99.19/95.94 c qxplain 190/192 99.39/96.20 c qxplain 192/192 99.68/96.45 c 400124[?] 36077[?] -36190[?] is mandatory 99.68/96.45 c qxplain 190/191 99.98/96.71 c qxplain 191/191 100.18/96.97 c 400126[?] 36190[?] -36191[?] is mandatory 100.18/96.97 c qxplain 190/190 100.49/97.23 c 400127[?] 36189[?] -36191[?] is mandatory 100.49/97.23 c qxplain 185/189 100.68/97.49 c qxplain 188/189 100.98/97.74 c qxplain 189/189 101.28/98.00 c 400128[?] 36191[?] -36193[?] is mandatory 101.28/98.00 c qxplain 188/188 101.48/98.26 c 400135[?] 36078[?] -36194[?] is mandatory 101.48/98.26 c qxplain 185/187 101.78/98.52 c qxplain 187/187 101.98/98.78 c 400137[?] 36194[?] -36195[?] is mandatory 101.98/98.78 c qxplain 185/186 102.28/99.04 c qxplain 186/186 102.48/99.29 c 400138[?] 36193[?] -36195[?] is mandatory 102.48/99.29 c qxplain 185/185 102.79/99.55 c 400139[?] 36195[?] -36197[?] is mandatory 102.79/99.55 c qxplain 164/184 103.09/99.81 c qxplain 175/184 103.29/100.07 c qxplain 180/184 103.59/100.33 c qxplain 183/184 103.81/100.60 c qxplain 184/184 104.10/100.86 c 400146[?] 36079[?] -36198[?] is mandatory 104.10/100.86 c qxplain 183/183 104.40/101.12 c 400148[?] 36198[?] -36199[?] is mandatory 104.40/101.12 c qxplain 180/182 104.60/101.38 c qxplain 182/182 104.91/101.64 c 400149[?] 36197[?] -36199[?] is mandatory 104.91/101.64 c qxplain 180/181 105.10/101.89 c qxplain 181/181 105.40/102.15 c 400150[?] 36199[?] -36201[?] is mandatory 105.40/102.15 c qxplain 180/180 105.71/102.41 c 400157[?] 36080[?] -36202[?] is mandatory 105.71/102.41 c qxplain 175/179 105.91/102.67 c qxplain 178/179 106.21/102.92 c qxplain 179/179 106.41/103.18 c 400159[?] 36202[?] -36203[?] is mandatory 106.41/103.18 c qxplain 178/178 106.71/103.44 c 400160[?] 36201[?] -36203[?] is mandatory 106.71/103.44 c qxplain 175/177 107.01/103.70 c qxplain 177/177 107.21/103.96 c 400161[?] 36203[?] -36205[?] is mandatory 107.21/103.96 c qxplain 175/176 107.51/104.22 c qxplain 176/176 107.71/104.47 c 400167[?] 36206[?] -36081[?] is mandatory 107.71/104.47 c qxplain 175/175 108.01/104.73 c 400171[?] -36207[?] 36205[?] is mandatory 108.01/104.73 c qxplain 164/174 108.21/104.99 c qxplain 170/174 108.51/105.25 c qxplain 173/174 108.81/105.50 c qxplain 174/174 109.01/105.76 c 400172[?] -36209[?] 36207[?] is mandatory 109.01/105.76 c qxplain 173/173 109.31/106.02 c 400174[?] 36049[?] 36205[?] -36206[?] is mandatory 109.31/106.02 c qxplain 170/172 109.51/106.28 c qxplain 172/172 109.82/106.55 c 400180[?] -36210[?] 36209[?] 36205[?] is mandatory 109.82/106.55 c qxplain 170/171 110.12/106.81 c qxplain 171/171 110.32/107.07 c 400183[?] 36210[?] 36017[?] -36049[?] is mandatory 110.32/107.07 c qxplain 170/170 110.62/107.32 c 400187[?] -36017[?] 36211[?] is mandatory 110.62/107.32 c qxplain 164/169 110.82/107.58 c qxplain 167/169 111.12/107.84 c qxplain 169/169 111.42/108.10 c 400189[?] -36211[?] -36220[?] is mandatory 111.42/108.10 c qxplain 167/168 111.62/108.36 c qxplain 168/168 111.92/108.62 c 400191[?] 36220[?] -36228[?] is mandatory 111.92/108.62 c qxplain 167/167 112.12/108.87 c 400193[?] 36228[?] -36229[?] is mandatory 112.12/108.87 c qxplain 164/166 112.42/109.13 c qxplain 166/166 112.62/109.39 c 400195[?] 36229[?] -36230[?] is mandatory 112.62/109.39 c qxplain 164/165 112.92/109.65 c qxplain 165/165 113.22/109.90 c 400197[?] 36230[?] -36231[?] is mandatory 113.22/109.90 c qxplain 164/164 113.42/110.16 c 400199[?] 36231[?] -36232[?] is mandatory 113.42/110.16 c qxplain 0/163 113.72/110.42 c qxplain 82/163 113.92/110.68 c qxplain 123/163 114.22/110.94 c qxplain 144/163 114.52/111.20 c qxplain 154/163 114.72/111.46 c qxplain 159/163 115.02/111.72 c qxplain 162/163 115.22/111.97 c qxplain 163/163 115.52/112.25 c 400201[?] 36232[?] -36233[?] is mandatory 115.52/112.25 c qxplain 162/162 115.82/112.51 c 400203[?] 36233[?] -36234[?] is mandatory 115.82/112.51 c qxplain 159/161 116.03/112.77 c qxplain 161/161 116.32/113.03 c 400205[?] 36234[?] -36235[?] is mandatory 116.32/113.03 c qxplain 159/160 116.52/113.29 c qxplain 160/160 116.82/113.54 c 400206[?] 36235[?] -36219[?] is mandatory 116.82/113.54 c qxplain 159/159 117.03/113.80 c 400210[?] 36270[?] 35986[?] is mandatory 117.03/113.80 c qxplain 154/158 117.32/114.06 c qxplain 157/158 117.62/114.32 c qxplain 158/158 117.82/114.57 c 400212[?] 36271[?] 35987[?] is mandatory 117.82/114.57 c qxplain 157/157 118.13/114.83 c 400214[?] 36272[?] 35988[?] is mandatory 118.13/114.83 c qxplain 154/156 118.32/115.10 c qxplain 156/156 118.62/115.35 c 400216[?] 36273[?] 35989[?] is mandatory 118.62/115.35 c qxplain 154/155 118.92/115.61 c qxplain 155/155 119.12/115.87 c 400218[?] 36274[?] 35990[?] is mandatory 119.12/115.87 c qxplain 154/154 119.42/116.13 c 400220[?] 36275[?] 35991[?] is mandatory 119.42/116.13 c qxplain 144/153 119.62/116.39 c qxplain 149/153 119.92/116.65 c qxplain 152/153 120.23/116.91 c qxplain 153/153 120.44/117.17 c 400222[?] 36276[?] 35992[?] is mandatory 120.44/117.17 c qxplain 152/152 120.73/117.43 c 400224[?] 36277[?] 35993[?] is mandatory 120.73/117.43 c qxplain 149/151 120.93/117.70 c qxplain 151/151 121.23/117.96 c 400226[?] 36278[?] 35994[?] is mandatory 121.23/117.96 c qxplain 149/150 121.54/118.23 c qxplain 150/150 121.74/118.48 c 400228[?] 36279[?] 35995[?] is mandatory 121.74/118.48 c qxplain 149/149 122.04/118.74 c 400230[?] 36280[?] 35996[?] is mandatory 122.04/118.74 c qxplain 144/148 122.24/119.00 c qxplain 147/148 122.54/119.26 c qxplain 148/148 122.84/119.52 c 400232[?] 36281[?] 35997[?] is mandatory 122.84/119.52 c qxplain 147/147 123.04/119.77 c 400234[?] 36282[?] 35998[?] is mandatory 123.04/119.77 c qxplain 144/146 123.34/120.03 c qxplain 146/146 123.54/120.29 c 400236[?] 36283[?] 35999[?] is mandatory 123.54/120.29 c qxplain 144/145 123.84/120.55 c qxplain 145/145 124.14/120.81 c 400238[?] 36284[?] 36000[?] is mandatory 124.14/120.81 c qxplain 144/144 124.34/121.06 c 400240[?] 36285[?] 36001[?] is mandatory 124.34/121.06 c qxplain 123/143 124.64/121.32 c qxplain 134/143 124.84/121.58 c qxplain 139/143 125.14/121.84 c qxplain 142/143 125.44/122.10 c qxplain 143/143 125.64/122.36 c 400242[?] 36286[?] 36002[?] is mandatory 125.64/122.36 c qxplain 142/142 125.94/122.62 c 400244[?] 36287[?] 36003[?] is mandatory 125.94/122.62 c qxplain 139/141 126.14/122.87 c qxplain 141/141 126.44/123.13 c 400246[?] 36288[?] 36004[?] is mandatory 126.44/123.13 c qxplain 139/140 126.64/123.39 c qxplain 140/140 126.94/123.65 c 400248[?] 36289[?] 36005[?] is mandatory 126.94/123.65 c qxplain 139/139 127.24/123.91 c 400250[?] 36290[?] 36006[?] is mandatory 127.24/123.91 c qxplain 134/138 127.45/124.18 c qxplain 137/138 127.75/124.43 c qxplain 138/138 127.95/124.69 c 400252[?] 36291[?] 36007[?] is mandatory 127.95/124.69 c qxplain 137/137 128.25/124.95 c 400254[?] 36292[?] 36008[?] is mandatory 128.25/124.95 c qxplain 134/136 128.55/125.21 c qxplain 136/136 128.75/125.46 c 400256[?] 36293[?] 36009[?] is mandatory 128.75/125.46 c qxplain 134/135 129.05/125.72 c qxplain 135/135 129.26/125.98 c 400258[?] 36294[?] 36010[?] is mandatory 129.26/125.98 c qxplain 134/134 129.55/126.24 c 400260[?] 36295[?] 36011[?] is mandatory 129.55/126.24 c qxplain 123/133 129.85/126.51 c qxplain 129/133 130.05/126.76 c qxplain 132/133 130.36/127.02 c qxplain 133/133 130.55/127.28 c 400262[?] 36296[?] 36012[?] is mandatory 130.55/127.28 c qxplain 132/132 130.85/127.54 c 400264[?] 36297[?] 36013[?] is mandatory 130.85/127.54 c qxplain 129/131 131.15/127.80 c qxplain 131/131 131.36/128.05 c 400266[?] 36298[?] 36014[?] is mandatory 131.36/128.05 c qxplain 129/130 131.65/128.31 c qxplain 130/130 131.85/128.57 c 400268[?] 36299[?] 36015[?] is mandatory 131.85/128.57 c qxplain 129/129 132.15/128.83 c 400271[?] -36016[?] -36300[?] is mandatory 132.15/128.83 c qxplain 123/128 132.35/129.09 c qxplain 126/128 132.65/129.34 c qxplain 128/128 132.95/129.60 c 400272[?] 36269[?] 36301[?] is mandatory 132.95/129.60 c qxplain 126/127 133.15/129.86 c qxplain 127/127 133.45/130.12 c 400274[?] -36269[?] 36303[?] is mandatory 133.45/130.12 c qxplain 126/126 133.67/130.38 c 400276[?] -36301[?] 36302[?] is mandatory 133.67/130.38 c qxplain 123/125 133.96/130.64 c qxplain 125/125 134.26/130.91 c 400279[?] -36302[?] 36304[?] is mandatory 134.26/130.91 c qxplain 123/124 134.46/131.16 c qxplain 124/124 134.77/131.42 c 400280[?] -36303[?] 36304[?] is mandatory 134.77/131.42 c qxplain 123/123 134.96/131.68 c 400283[?] 36305[?] -36270[?] is mandatory 134.96/131.68 c qxplain 82/122 135.26/131.94 c qxplain 103/122 135.56/132.20 c qxplain 113/122 135.77/132.46 c qxplain 118/122 136.06/132.71 c qxplain 121/122 136.26/132.97 c qxplain 122/122 136.56/133.23 c 400285[?] 36306[?] -36305[?] -36304[?] is mandatory 136.56/133.23 c qxplain 121/121 136.76/133.49 c 400289[?] 36308[?] -36306[?] is mandatory 136.76/133.49 c qxplain 118/120 137.06/133.74 c qxplain 120/120 137.36/134.00 c 400294[?] 36309[?] -36271[?] is mandatory 137.36/134.00 c qxplain 118/119 137.56/134.26 c qxplain 119/119 137.86/134.52 c 400296[?] 36310[?] -36309[?] -36308[?] is mandatory 137.86/134.52 c qxplain 118/118 138.07/134.78 c 400300[?] 36312[?] -36310[?] is mandatory 138.07/134.78 c qxplain 113/117 138.36/135.04 c qxplain 116/117 138.56/135.29 c qxplain 117/117 138.86/135.55 c 400305[?] 36313[?] -36272[?] is mandatory 138.86/135.55 c qxplain 116/116 139.17/135.80 c 400307[?] 36314[?] -36313[?] -36312[?] is mandatory 139.17/135.80 c qxplain 113/115 139.36/136.06 c qxplain 115/115 139.66/136.32 c 400311[?] 36316[?] -36314[?] is mandatory 139.66/136.32 c qxplain 113/114 139.88/136.59 c qxplain 114/114 140.18/136.85 c 400316[?] 36317[?] -36273[?] is mandatory 140.18/136.85 c qxplain 113/113 140.48/137.11 c 400318[?] 36318[?] -36317[?] -36316[?] is mandatory 140.48/137.11 c qxplain 103/112 140.68/137.37 c qxplain 108/112 140.98/137.62 c qxplain 111/112 141.18/137.88 c qxplain 112/112 141.48/138.14 c 400322[?] 36320[?] -36318[?] is mandatory 141.48/138.14 c qxplain 111/111 141.68/138.39 c 400327[?] 36321[?] -36274[?] is mandatory 141.68/138.39 c qxplain 108/110 141.98/138.65 c qxplain 110/110 142.28/138.91 c 400329[?] 36322[?] -36320[?] -36321[?] is mandatory 142.28/138.91 c qxplain 108/109 142.48/139.17 c qxplain 109/109 142.78/139.43 c 400333[?] 36324[?] -36322[?] is mandatory 142.78/139.43 c qxplain 108/108 142.98/139.69 c 400338[?] 36325[?] -36275[?] is mandatory 142.98/139.69 c qxplain 103/107 143.28/139.95 c qxplain 106/107 143.58/140.20 c qxplain 107/107 143.78/140.46 c 400340[?] 36326[?] -36324[?] -36325[?] is mandatory 143.78/140.46 c qxplain 106/106 144.08/140.72 c 400344[?] 36328[?] -36326[?] is mandatory 144.08/140.72 c qxplain 103/105 144.28/140.98 c qxplain 105/105 144.58/141.24 c 400349[?] 36329[?] -36276[?] is mandatory 144.58/141.24 c qxplain 103/104 144.88/141.50 c qxplain 104/104 145.08/141.76 c 400351[?] 36330[?] -36329[?] -36328[?] is mandatory 145.08/141.76 c qxplain 103/103 145.38/142.02 c 400355[?] 36332[?] -36330[?] is mandatory 145.38/142.02 c qxplain 82/102 145.58/142.28 c qxplain 93/102 145.88/142.54 c qxplain 98/102 146.18/142.80 c qxplain 101/102 146.38/143.06 c qxplain 102/102 146.68/143.33 c 400360[?] 36333[?] -36277[?] is mandatory 146.68/143.33 c qxplain 101/101 146.89/143.58 c 400362[?] 36334[?] -36333[?] -36332[?] is mandatory 146.89/143.58 c qxplain 98/100 147.18/143.84 c qxplain 100/100 147.48/144.10 c 400366[?] 36336[?] -36334[?] is mandatory 147.48/144.10 c qxplain 98/99 147.68/144.35 c qxplain 99/99 147.99/144.62 c 400371[?] 36337[?] -36278[?] is mandatory 147.99/144.62 c qxplain 98/98 148.18/144.88 c 400373[?] 36338[?] -36337[?] -36336[?] is mandatory 148.18/144.88 c qxplain 93/97 148.48/145.14 c qxplain 96/97 148.68/145.39 c qxplain 97/97 148.99/145.65 c 400377[?] 36340[?] -36338[?] is mandatory 148.99/145.65 c qxplain 96/96 149.28/145.91 c 400382[?] 36341[?] -36279[?] is mandatory 149.28/145.91 c qxplain 93/95 149.48/146.17 c qxplain 95/95 149.78/146.43 c 400384[?] 36342[?] -36340[?] -36341[?] is mandatory 149.78/146.43 c qxplain 93/94 149.98/146.69 c qxplain 94/94 150.28/146.95 c 400388[?] 36344[?] -36342[?] is mandatory 150.28/146.95 c qxplain 93/93 150.58/147.20 c 400393[?] 36345[?] -36280[?] is mandatory 150.58/147.20 c qxplain 82/92 150.78/147.47 c qxplain 88/92 151.08/147.72 c qxplain 91/92 151.29/147.98 c qxplain 92/92 151.58/148.24 c 400395[?] 36346[?] -36344[?] -36345[?] is mandatory 151.58/148.24 c qxplain 91/91 151.88/148.50 c 400399[?] 36348[?] -36346[?] is mandatory 151.88/148.50 c qxplain 88/90 152.08/148.76 c qxplain 90/90 152.39/149.01 c 400404[?] 36349[?] -36281[?] is mandatory 152.39/149.01 c qxplain 88/89 152.58/149.27 c qxplain 89/89 152.89/149.54 c 400406[?] 36350[?] -36349[?] -36348[?] is mandatory 152.89/149.54 c qxplain 88/88 153.19/149.80 c 400410[?] 36352[?] -36350[?] is mandatory 153.19/149.80 c qxplain 82/87 153.40/150.06 c qxplain 85/87 153.69/150.31 c qxplain 87/87 153.89/150.57 c 400415[?] 36353[?] -36282[?] is mandatory 153.89/150.57 c qxplain 85/86 154.19/150.83 c qxplain 86/86 154.39/151.09 c 400417[?] 36354[?] -36353[?] -36352[?] is mandatory 154.39/151.09 c qxplain 85/85 154.69/151.34 c 400421[?] 36356[?] -36354[?] is mandatory 154.69/151.34 c qxplain 82/84 154.99/151.60 c qxplain 84/84 155.19/151.86 c 400426[?] 36357[?] -36283[?] is mandatory 155.19/151.86 c qxplain 82/83 155.49/152.12 c qxplain 83/83 155.70/152.38 c 400428[?] 36358[?] -36357[?] -36356[?] is mandatory 155.70/152.38 c qxplain 82/82 155.99/152.63 c 400432[?] 36360[?] -36358[?] is mandatory 155.99/152.63 c qxplain 0/81 156.19/152.89 c qxplain 41/81 156.49/153.14 c qxplain 62/81 156.80/153.40 c qxplain 72/81 157.00/153.66 c qxplain 77/81 157.30/153.92 c qxplain 80/81 157.50/154.17 c qxplain 81/81 157.80/154.43 c 400437[?] 36361[?] -36284[?] is mandatory 157.80/154.43 c qxplain 80/80 158.00/154.69 c 400439[?] 36362[?] -36361[?] -36360[?] is mandatory 158.00/154.69 c qxplain 77/79 158.30/154.95 c qxplain 79/79 158.60/155.21 c 400443[?] 36364[?] -36362[?] is mandatory 158.60/155.21 c qxplain 77/78 158.80/155.46 c qxplain 78/78 159.10/155.72 c 400448[?] 36365[?] -36285[?] is mandatory 159.10/155.72 c qxplain 77/77 159.30/155.98 c 400450[?] 36366[?] -36365[?] -36364[?] is mandatory 159.30/155.98 c qxplain 72/76 159.60/156.25 c qxplain 75/76 159.90/156.50 c qxplain 76/76 160.11/156.76 c 400454[?] 36368[?] -36366[?] is mandatory 160.11/156.76 c qxplain 75/75 160.40/157.02 c 400459[?] 36369[?] -36286[?] is mandatory 160.40/157.02 c qxplain 72/74 160.60/157.28 c qxplain 74/74 160.90/157.53 c 400461[?] 36370[?] -36368[?] -36369[?] is mandatory 160.90/157.53 c qxplain 72/73 161.11/157.79 c qxplain 73/73 161.40/158.05 c 400465[?] 36372[?] -36370[?] is mandatory 161.40/158.05 c qxplain 72/72 161.70/158.31 c 400470[?] 36373[?] -36287[?] is mandatory 161.70/158.31 c qxplain 62/71 161.90/158.56 c qxplain 67/71 162.21/158.82 c qxplain 70/71 162.41/159.08 c qxplain 71/71 162.71/159.34 c 400472[?] 36374[?] -36372[?] -36373[?] is mandatory 162.71/159.34 c qxplain 70/70 162.91/159.59 c 400476[?] 36376[?] -36374[?] is mandatory 162.91/159.59 c qxplain 67/69 163.21/159.85 c qxplain 69/69 163.51/160.11 c 400481[?] 36377[?] -36288[?] is mandatory 163.51/160.11 c qxplain 67/68 163.71/160.37 c qxplain 68/68 164.01/160.63 c 400483[?] 36378[?] -36377[?] -36376[?] is mandatory 164.01/160.63 c qxplain 67/67 164.21/160.89 c 400487[?] 36380[?] -36378[?] is mandatory 164.21/160.89 c qxplain 62/66 164.51/161.15 c qxplain 65/66 164.80/161.41 c qxplain 66/66 165.00/161.67 c 400492[?] 36381[?] -36289[?] is mandatory 165.00/161.67 c qxplain 65/65 165.30/161.93 c 400494[?] 36382[?] -36381[?] -36380[?] is mandatory 165.30/161.93 c qxplain 62/64 165.51/162.19 c qxplain 64/64 165.80/162.45 c 400498[?] 36384[?] -36382[?] is mandatory 165.80/162.45 c qxplain 62/63 166.10/162.70 c qxplain 63/63 166.30/162.96 c 400503[?] 36385[?] -36290[?] is mandatory 166.30/162.96 c qxplain 62/62 166.62/163.23 c 400505[?] 36386[?] -36385[?] -36384[?] is mandatory 166.62/163.23 c qxplain 41/61 166.81/163.49 c qxplain 52/61 167.11/163.74 c qxplain 57/61 167.41/164.00 c qxplain 60/61 167.61/164.26 c qxplain 61/61 167.91/164.52 c 400509[?] 36388[?] -36386[?] is mandatory 167.91/164.52 c qxplain 60/60 168.11/164.78 c 400514[?] 36389[?] -36291[?] is mandatory 168.11/164.78 c qxplain 57/59 168.41/165.03 c qxplain 59/59 168.61/165.29 c 400516[?] 36390[?] -36388[?] -36389[?] is mandatory 168.61/165.29 c qxplain 57/58 168.92/165.55 c qxplain 58/58 169.21/165.81 c 400520[?] 36392[?] -36390[?] is mandatory 169.21/165.81 c qxplain 57/57 169.41/166.06 c 400525[?] 36393[?] -36292[?] is mandatory 169.41/166.06 c qxplain 52/56 169.71/166.32 c qxplain 55/56 169.92/166.58 c qxplain 56/56 170.21/166.84 c 400527[?] 36394[?] -36392[?] -36393[?] is mandatory 170.21/166.84 c qxplain 55/55 170.41/167.10 c 400531[?] 36396[?] -36394[?] is mandatory 170.41/167.10 c qxplain 52/54 170.71/167.35 c qxplain 54/54 171.03/167.61 c 400536[?] 36397[?] -36293[?] is mandatory 171.03/167.61 c qxplain 52/53 171.22/167.87 c qxplain 53/53 171.52/168.13 c 400538[?] 36398[?] -36397[?] -36396[?] is mandatory 171.52/168.13 c qxplain 52/52 171.72/168.39 c 400542[?] 36400[?] -36398[?] is mandatory 171.72/168.39 c qxplain 41/51 172.02/168.64 c qxplain 47/51 172.32/168.90 c qxplain 50/51 172.52/169.16 c qxplain 51/51 172.82/169.42 c 400547[?] 36401[?] -36294[?] is mandatory 172.82/169.42 c qxplain 50/50 173.02/169.67 c 400549[?] 36402[?] -36401[?] -36400[?] is mandatory 173.02/169.67 c qxplain 47/49 173.33/169.93 c qxplain 49/49 173.63/170.20 c 400553[?] 36404[?] -36402[?] is mandatory 173.63/170.20 c qxplain 47/48 173.83/170.46 c qxplain 48/48 174.13/170.71 c 400558[?] 36405[?] -36295[?] is mandatory 174.13/170.71 c qxplain 47/47 174.34/170.97 c 400560[?] 36406[?] -36405[?] -36404[?] is mandatory 174.34/170.97 c qxplain 41/46 174.63/171.23 c qxplain 44/46 174.83/171.49 c qxplain 46/46 175.13/171.74 c 400564[?] 36408[?] -36406[?] is mandatory 175.13/171.74 c qxplain 44/45 175.44/172.00 c qxplain 45/45 175.63/172.26 c 400569[?] 36409[?] -36296[?] is mandatory 175.63/172.26 c qxplain 44/44 175.93/172.52 c 400571[?] 36410[?] -36409[?] -36408[?] is mandatory 175.93/172.52 c qxplain 41/43 176.13/172.77 c qxplain 43/43 176.43/173.03 c 400575[?] 36412[?] -36410[?] is mandatory 176.43/173.03 c qxplain 41/42 176.64/173.29 c qxplain 42/42 176.93/173.55 c 400580[?] 36413[?] -36297[?] is mandatory 176.93/173.55 c qxplain 41/41 177.23/173.81 c 400582[?] 36414[?] -36413[?] -36412[?] is mandatory 177.23/173.81 c qxplain 0/40 177.43/174.06 c qxplain 21/40 177.74/174.32 c qxplain 31/40 177.93/174.58 c qxplain 36/40 178.23/174.84 c qxplain 39/40 178.43/175.10 c qxplain 40/40 178.73/175.35 c 400586[?] 36416[?] -36414[?] is mandatory 178.73/175.35 c qxplain 39/39 179.03/175.61 c 400591[?] 36417[?] -36298[?] is mandatory 179.03/175.61 c qxplain 36/38 179.23/175.87 c qxplain 38/38 179.53/176.12 c 400593[?] 36418[?] -36416[?] -36417[?] is mandatory 179.53/176.12 c qxplain 36/37 179.73/176.38 c qxplain 37/37 180.03/176.64 c 400597[?] 36420[?] -36418[?] is mandatory 180.03/176.64 c qxplain 36/36 180.33/176.90 c 400602[?] 36421[?] -36299[?] is mandatory 180.33/176.90 c qxplain 31/35 180.53/177.16 c qxplain 34/35 180.84/177.43 c qxplain 35/35 181.04/177.69 c 400604[?] 36422[?] -36420[?] -36421[?] is mandatory 181.04/177.69 c qxplain 34/34 181.34/177.94 c 400608[?] 36424[?] -36422[?] is mandatory 181.34/177.94 c qxplain 31/33 181.64/178.20 c qxplain 33/33 181.84/178.46 c 400614[?] 36300[?] -36425[?] is mandatory 181.84/178.46 c qxplain 31/32 182.14/178.72 c qxplain 32/32 182.34/178.98 c 400615[?] 36426[?] -36424[?] -36425[?] is mandatory 182.34/178.98 c qxplain 31/31 182.64/179.23 c 400616[?] 36425[?] -36426[?] is mandatory 182.64/179.23 c qxplain 21/30 182.84/179.49 c qxplain 26/30 183.14/179.75 c qxplain 29/30 183.44/180.01 c qxplain 30/30 183.64/180.27 c 400618[?] 36426[?] -36428[?] is mandatory 183.64/180.27 c qxplain 29/29 183.94/180.52 c 400619[?] 36428[?] -36426[?] is mandatory 183.94/180.52 c qxplain 26/28 184.14/180.78 c qxplain 28/28 184.44/181.08 c 400621[?] -36424[?] 36425[?] 36268[?] is mandatory 184.44/181.08 c qxplain 26/27 184.74/181.34 c qxplain 27/27 184.94/181.60 c 400622[?] 36425[?] 36424[?] -36268[?] is mandatory 185.04/181.60 c qxplain 26/26 185.24/181.85 c 400623[?] -36268[?] -36424[?] -36425[?] is mandatory 185.24/181.85 c qxplain 21/25 185.54/182.11 c qxplain 24/25 185.75/182.37 c qxplain 25/25 186.05/182.62 c 400625[?] -36424[?] 36428[?] 36429[?] is mandatory 186.05/182.62 c qxplain 24/24 186.35/182.92 c 400626[?] 36428[?] 36424[?] -36429[?] is mandatory 186.35/182.92 c qxplain 21/23 186.55/183.18 c qxplain 23/23 186.85/183.44 c 400627[?] -36428[?] -36424[?] -36429[?] is mandatory 186.85/183.44 c qxplain 21/22 187.15/183.70 c qxplain 22/22 187.35/183.95 c 400628[?] 36268[?] 36429[?] 36236[?] is mandatory 187.35/183.95 c qxplain 21/21 187.65/184.21 c 400629[?] -36268[?] -36429[?] 36236[?] is mandatory 187.65/184.21 c qxplain 0/20 187.85/184.47 c qxplain 11/20 188.16/184.73 c qxplain 16/20 188.36/184.99 c qxplain 19/20 188.66/185.25 c qxplain 20/20 188.96/185.51 c 400633[?] -36236[?] 36430[?] is mandatory 188.96/185.51 c qxplain 19/19 189.26/185.81 c 400635[?] -36430[?] -36440[?] is mandatory 189.26/185.81 c qxplain 16/18 189.46/186.06 c qxplain 18/18 189.76/186.32 c 400637[?] 36440[?] -36448[?] is mandatory 189.76/186.32 c qxplain 16/17 189.96/186.58 c qxplain 17/17 190.26/186.83 c 400639[?] 36448[?] -36449[?] is mandatory 190.26/186.83 c qxplain 16/16 190.46/187.09 c 400641[?] 36449[?] -36450[?] is mandatory 190.46/187.09 c qxplain 11/15 190.76/187.35 c qxplain 14/15 191.06/187.61 c qxplain 15/15 191.26/187.87 c 400643[?] 36450[?] -36451[?] is mandatory 191.26/187.87 c qxplain 14/14 191.56/188.13 c 400645[?] 36451[?] -36452[?] is mandatory 191.56/188.13 c qxplain 11/13 191.75/188.39 c qxplain 13/13 192.06/188.65 c 400647[?] 36452[?] -36453[?] is mandatory 192.06/188.65 c qxplain 11/12 192.35/188.90 c qxplain 12/12 192.55/189.16 c 400649[?] 36453[?] -36454[?] is mandatory 192.55/189.16 c qxplain 11/11 192.85/189.42 c 400651[?] 36454[?] -36455[?] is mandatory 192.85/189.42 c qxplain 0/10 193.06/189.68 c qxplain 6/10 193.36/189.94 c qxplain 9/10 193.66/190.20 c qxplain 10/10 193.85/190.46 c 400652[?] 36455[?] -36439[?] is mandatory 193.85/190.46 c qxplain 9/9 194.16/190.71 c 400654[?] 36439[?] 36438[?] is mandatory 194.16/190.71 c qxplain 6/8 194.36/190.97 c qxplain 8/8 194.65/191.23 c 400841[?] -36438[?] -36579[?] is mandatory 194.65/191.23 c qxplain 6/7 194.85/191.49 c qxplain 7/7 195.15/191.75 c 400845[?] 36219[?] -36580[?] is mandatory 195.15/191.75 c qxplain 6/6 195.45/192.01 c 400846[?] 36579[?] -36580[?] is mandatory 195.45/192.01 c qxplain 0/5 195.65/192.27 c qxplain 3/5 195.97/192.54 c qxplain 5/5 196.17/192.79 c 400849[?] -36581[?] 36580[?] is mandatory 196.17/192.79 c qxplain 3/4 196.47/193.05 c qxplain 4/4 196.77/193.31 c 402559[?] -37704[?] 36581[?] is mandatory 196.77/193.31 c qxplain 3/3 196.97/193.57 c 402563[?] -37705[?] 37704[?] is mandatory 196.97/193.57 c qxplain 0/2 197.27/193.83 c qxplain 2/2 197.47/194.09 c 565559[?] -96251[?] 37705[?] is mandatory 197.47/194.09 c qxplain 0/1 197.77/194.35 c qxplain 1/1 198.07/194.60 c 963938[?] -237246[?] 96251[?] is mandatory 198.07/194.60 c qxplain 0/0 198.26/194.86 c 1074773[?] 276427[?] 237246[?] is mandatory 198.83/195.29 c Size of the MUS: 328 198.83/195.29 c Unsat core computation wall clock time (in seconds) : 174.563 198.83/195.29 c starts : 670 198.83/195.29 c conflicts : 2794 198.83/195.29 c decisions : 181849605 198.83/195.29 c propagations : 739555769 198.83/195.29 c inspects : 101959924 198.83/195.29 c shortcuts : 0 198.83/195.29 c learnt literals : 0 198.83/195.29 c learnt binary clauses : 0 198.83/195.29 c learnt ternary clauses : 12 198.83/195.29 c learnt constraints : 2793 198.83/195.29 c ignored constraints : 0 198.83/195.29 c root simplifications : 0 198.83/195.29 c removed literals (reason simplification) : 902 198.83/195.29 c reason swapping (by a shorter reason) : 0 198.83/195.29 c Calls to reduceDB : 0 198.83/195.29 c speed (assignments/second) : 1.0780696341107872E9 198.83/195.29 c non guided choices 181736357 198.83/195.29 c learnt constraints type 198.83/195.29 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 2793 198.83/195.29 c constraints type 198.83/195.29 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 766788 198.83/195.30 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 31560 198.83/195.30 s UNSATISFIABLE 198.92/195.30 v 31560 123338 123340 123342 123344 123346 123348 123350 123352 123354 123356 123358 123360 123362 123364 123366 123368 123370 123372 123374 123376 123378 123380 123382 123384 123386 123388 123390 123392 123394 123396 123397 123411 123413 123415 123422 123424 123425 123426 123433 123435 123436 123437 123444 123446 123447 123448 123455 123457 123458 123459 123466 123468 123469 123470 123477 123479 123480 123481 123488 123490 123491 123492 123499 123501 123502 123503 123510 123512 123513 123514 123521 123523 123524 123525 123532 123534 123535 123536 123543 123545 123546 123547 123554 123556 123557 123558 123565 123567 123568 123569 123576 123578 123579 123580 123587 123589 123590 123591 123598 123600 123601 123602 123609 123611 123612 123613 123620 123622 123623 123624 123631 123633 123634 123635 123642 123644 123645 123646 123653 123655 123656 123657 123664 123666 123667 123668 123675 123677 123678 123679 123686 123688 123689 123690 123697 123699 123700 123701 123708 123710 123711 123712 123719 123721 123722 123723 123730 123732 123733 123734 123740 123744 123745 123747 123753 123756 123760 123762 123764 123766 123768 123770 123772 123774 123776 123778 123779 123783 123785 123787 123789 123791 123793 123795 123797 123799 123801 123803 123805 123807 123809 123811 123813 123815 123817 123819 123821 123823 123825 123827 123829 123831 123833 123835 123837 123839 123841 123844 123845 123847 123849 123852 123853 123856 123858 123862 123867 123869 123873 123878 123880 123884 123889 123891 123895 123900 123902 123906 123911 123913 123917 123922 123924 123928 123933 123935 123939 123944 123946 123950 123955 123957 123961 123966 123968 123972 123977 123979 123983 123988 123990 123994 123999 124001 124005 124010 124012 124016 124021 124023 124027 124032 124034 124038 124043 124045 124049 124054 124056 124060 124065 124067 124071 124076 124078 124082 124087 124089 124093 124098 124100 124104 124109 124111 124115 124120 124122 124126 124131 124133 124137 124142 124144 124148 124153 124155 124159 124164 124166 124170 124175 124177 124181 124187 124188 124189 124191 124192 124194 124195 124196 124198 124199 124200 124201 124202 124206 124208 124210 124212 124214 124216 124218 124220 124222 124224 124225 124227 124414 124418 124419 124422 126132 126136 289132 687511 798346 0 198.92/195.30 c Total wall clock time (in seconds) : 195.196
OK 328
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-3493572-1307800895/watcher-3493572-1307800895 -o /tmp/evaluation-result-3493572-1307800895/solver-3493572-1307800895 -C 1800 -W 1850 -M 7680 java -Xms6000m -Xmx6000m -jar sat4j-mus-v20110206.jar HOME/instance-3493572-1307800895.cnf running on 2 cores: 1,3 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1850 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.03 1.32 1.94 1/171 21104 /proc/meminfo: memFree=31203256/32950928 swapFree=67054844/67111528 [pid=21104] ppid=21102 vsize=23028 CPUtime=0 cores=1,3 /proc/21104/stat : 21104 (java) R 21102 21104 10137 0 -1 4202496 658 0 0 0 0 0 0 0 17 0 1 0 970320203 23580672 401 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231890528000 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/21104/statm: 5757 414 315 9 0 124 0 [startup+0.074491 s] /proc/loadavg: 1.03 1.32 1.94 1/171 21104 /proc/meminfo: memFree=31203256/32950928 swapFree=67054844/67111528 [pid=21104] ppid=21102 vsize=6363732 CPUtime=0.05 cores=1,3 /proc/21104/stat : 21104 (java) S 21102 21104 10137 0 -1 4202496 8615 0 1 0 4 1 0 0 17 0 18 0 970320203 6516461568 8311 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/21104/statm: 1590933 8312 1751 9 0 1581671 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 6363732 [startup+0.100442 s] /proc/loadavg: 1.03 1.32 1.94 1/171 21104 /proc/meminfo: memFree=31203256/32950928 swapFree=67054844/67111528 [pid=21104] ppid=21102 vsize=6429852 CPUtime=0.09 cores=1,3 /proc/21104/stat : 21104 (java) S 21102 21104 10137 0 -1 4202496 9552 0 1 0 8 1 0 0 17 0 18 0 970320203 6584168448 9249 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/21104/statm: 1607463 9249 2089 9 0 1598201 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6429852 [startup+0.328385 s] /proc/loadavg: 1.03 1.32 1.94 1/171 21104 /proc/meminfo: memFree=31203256/32950928 swapFree=67054844/67111528 [pid=21104] ppid=21102 vsize=6431564 CPUtime=0.5 cores=1,3 /proc/21104/stat : 21104 (java) S 21102 21104 10137 0 -1 4202496 24771 0 1 0 47 3 0 0 17 0 18 0 970320203 6585921536 23959 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/21104/statm: 1607891 23963 2203 9 0 1598629 0 Current children cumulated CPU time (s) 0.5 Current children cumulated vsize (KiB) 6431564 [startup+0.700364 s] /proc/loadavg: 1.03 1.32 1.94 1/171 21104 /proc/meminfo: memFree=31203256/32950928 swapFree=67054844/67111528 [pid=21104] ppid=21102 vsize=6431564 CPUtime=0.87 cores=1,3 /proc/21104/stat : 21104 (java) S 21102 21104 10137 0 -1 4202496 63454 0 1 0 79 8 0 0 17 0 18 0 970320203 6585921536 62643 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/21104/statm: 1607891 62647 2203 9 0 1598629 0 Current children cumulated CPU time (s) 0.87 Current children cumulated vsize (KiB) 6431564 [startup+1.50115 s] /proc/loadavg: 1.03 1.32 1.94 2/189 21122 /proc/meminfo: memFree=30854500/32950928 swapFree=67054844/67111528 [pid=21104] ppid=21102 vsize=6431872 CPUtime=1.87 cores=1,3 /proc/21104/stat : 21104 (java) S 21102 21104 10137 0 -1 4202496 121433 0 1 0 171 16 0 0 17 0 18 0 970320203 6586236928 119313 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/21104/statm: 1607968 119313 2213 9 0 1598706 0 [pid=21104/tid=21106] ppid=21102 vsize=6431872 CPUtime=1.48 cores=1,3 /proc/21104/task/21106/stat : 21106 (java) R 21102 21104 10137 0 -1 4202560 116571 0 1 0 133 15 0 0 19 0 18 0 970320204 6586236928 119313 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 46912505633776 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=21104/tid=21107] ppid=21102 vsize=6431872 CPUtime=0 cores=1,3 /proc/21104/task/21107/stat : 21107 (java) S 21102 21104 10137 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 970320205 6586236928 119313 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907306393 0 4 0 16800975 18446604471134542656 0 0 -1 3 0 0 0 [pid=21104/tid=21108] ppid=21102 vsize=6431872 CPUtime=0 cores=1,3 /proc/21104/task/21108/stat : 21108 (java) S 21102 21104 10137 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 970320205 6586236928 119313 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907306393 0 4 0 16800975 18446604471134542656 0 0 -1 3 0 0 0 [pid=21104/tid=21109] ppid=21102 vsize=6431872 CPUtime=0 cores=1,3 /proc/21104/task/21109/stat : 21109 (java) S 21102 21104 10137 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 970320205 6586236928 119313 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907306393 0 4 0 16800975 18446604471134542656 0 0 -1 3 0 0 0 [pid=21104/tid=21110] ppid=21102 vsize=6431872 CPUtime=0 cores=1,3 /proc/21104/task/21110/stat : 21110 (java) S 21102 21104 10137 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 970320205 6586236928 119313 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907306393 0 4 0 16800975 18446604471134542656 0 0 -1 3 0 0 0 [pid=21104/tid=21111] ppid=21102 vsize=6431872 CPUtime=0 cores=1,3 /proc/21104/task/21111/stat : 21111 (java) S 21102 21104 10137 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 970320205 6586236928 119313 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907306393 0 4 0 16800975 18446604471134542656 0 0 -1 3 0 0 0 [pid=21104/tid=21112] ppid=21102 vsize=6431872 CPUtime=0 cores=1,3 /proc/21104/task/21112/stat : 21112 (java) S 21102 21104 10137 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 970320205 6586236928 119313 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907306393 0 4 0 16800975 18446604471134542656 0 0 -1 3 0 0 0 [pid=21104/tid=21113] ppid=21102 vsize=6431872 CPUtime=0 cores=1,3 /proc/21104/task/21113/stat : 21113 (java) S 21102 21104 10137 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 18 0 970320205 6586236928 119313 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907306393 0 4 0 16800975 18446604471134542656 0 0 -1 3 0 0 0 [pid=21104/tid=21114] ppid=21102 vsize=6431872 CPUtime=0 cores=1,3 /proc/21104/task/21114/stat : 21114 (java) S 21102 21104 10137 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 970320205 6586236928 119313 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907306393 0 4 0 16800975 18446604471134542656 0 0 -1 3 0 0 0 [pid=21104/tid=21115] ppid=21102 vsize=6431872 CPUtime=0 cores=1,3 /proc/21104/task/21115/stat : 21115 (java) S 21102 21104 10137 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 18 0 970320207 6586236928 119313 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907307008 0 0 0 16800975 18446604471134542656 0 0 -1 1 0 0 0 [pid=21104/tid=21116] ppid=21102 vsize=6431872 CPUtime=0 cores=1,3 /proc/21104/task/21116/stat : 21116 (java) S 21102 21104 10137 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 970320207 6586236928 119313 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907306393 0 4 0 16800975 18446604471134542656 0 0 -1 1 0 0 0 [pid=21104/tid=21117] ppid=21102 vsize=6431872 CPUtime=0 cores=1,3 /proc/21104/task/21117/stat : 21117 (java) S 21102 21104 10137 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 18 0 970320207 6586236928 119313 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907306393 0 4 0 16800975 18446604471134542656 0 0 -1 1 0 0 0 [pid=21104/tid=21118] ppid=21102 vsize=6431872 CPUtime=0 cores=1,3 /proc/21104/task/21118/stat : 21118 (java) S 21102 21104 10137 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 970320209 6586236928 119313 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907314097 0 4 0 16800975 18446604471134542656 0 0 -1 1 0 0 0 [pid=21104/tid=21119] ppid=21102 vsize=6431872 CPUtime=0.18 cores=1,3 /proc/21104/task/21119/stat : 21119 (java) R 21102 21104 10137 0 -1 4202560 1720 0 0 0 18 0 0 0 16 0 18 0 970320209 6586236928 119313 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 47656148022691 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=21104/tid=21120] ppid=21102 vsize=6431872 CPUtime=0.19 cores=1,3 /proc/21104/task/21120/stat : 21120 (java) R 21102 21104 10137 0 -1 4202560 1987 0 0 0 19 0 0 0 16 0 18 0 970320209 6586236928 119313 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907306393 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=21104/tid=21121] ppid=21102 vsize=6431872 CPUtime=0 cores=1,3 /proc/21104/task/21121/stat : 21121 (java) S 21102 21104 10137 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 970320209 6586236928 119313 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907306393 0 4 0 16800975 18446604471134542656 0 0 -1 1 0 0 0 [pid=21104/tid=21122] ppid=21102 vsize=6431872 CPUtime=0 cores=1,3 /proc/21104/task/21122/stat : 21122 (java) S 21102 21104 10137 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 970320209 6586236928 119313 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907307008 0 4 0 16800975 18446604471134542656 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 1.87 Current children cumulated vsize (KiB) 6431872 [startup+3.10084 s] /proc/loadavg: 1.11 1.33 1.94 2/190 21123 /proc/meminfo: memFree=30723796/32950928 swapFree=67054844/67111528 [pid=21104] ppid=21102 vsize=6433040 CPUtime=3.66 cores=1,3 /proc/21104/stat : 21104 (java) S 21102 21104 10137 0 -1 4202496 124625 0 1 0 350 16 0 0 17 0 19 0 970320203 6587432960 121781 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/21104/statm: 1608260 121781 2224 9 0 1598998 0 [pid=21104/tid=21106] ppid=21102 vsize=6433040 CPUtime=3.02 cores=1,3 /proc/21104/task/21106/stat : 21106 (java) R 21102 21104 10137 0 -1 4202560 118449 0 1 0 287 15 0 0 18 0 19 0 970320204 6587432960 121781 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 46912505850231 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=21104/tid=21107] ppid=21102 vsize=6433040 CPUtime=0 cores=1,3 /proc/21104/task/21107/stat : 21107 (java) S 21102 21104 10137 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 970320205 6587432960 121781 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907306393 0 4 0 16800975 18446604471134542656 0 0 -1 3 0 0 0 [pid=21104/tid=21108] ppid=21102 vsize=6433040 CPUtime=0 cores=1,3 /proc/21104/task/21108/stat : 21108 (java) S 21102 21104 10137 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 970320205 6587432960 121781 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907306393 0 4 0 16800975 18446604471134542656 0 0 -1 3 0 0 0 [pid=21104/tid=21109] ppid=21102 vsize=6433040 CPUtime=0 cores=1,3 /proc/21104/task/21109/stat : 21109 (java) S 21102 21104 10137 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 970320205 6587432960 121781 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907306393 0 4 0 16800975 18446604471134542656 0 0 -1 3 0 0 0 [pid=21104/tid=21110] ppid=21102 vsize=6433040 CPUtime=0 cores=1,3 /proc/21104/task/21110/stat : 21110 (java) S 21102 21104 10137 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 970320205 6587432960 121781 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907306393 0 4 0 16800975 18446604471134542656 0 0 -1 3 0 0 0 [pid=21104/tid=21111] ppid=21102 vsize=6433040 CPUtime=0 cores=1,3 /proc/21104/task/21111/stat : 21111 (java) S 21102 21104 10137 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 970320205 6587432960 121781 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907306393 0 4 0 16800975 18446604471134542656 0 0 -1 3 0 0 0 [pid=21104/tid=21112] ppid=21102 vsize=6433040 CPUtime=0 cores=1,3 /proc/21104/task/21112/stat : 21112 (java) S 21102 21104 10137 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 970320205 6587432960 121781 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907306393 0 4 0 16800975 18446604471134542656 0 0 -1 3 0 0 0 [pid=21104/tid=21113] ppid=21102 vsize=6433040 CPUtime=0 cores=1,3 /proc/21104/task/21113/stat : 21113 (java) S 21102 21104 10137 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 19 0 970320205 6587432960 121781 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907306393 0 4 0 16800975 18446604471134542656 0 0 -1 3 0 0 0 [pid=21104/tid=21114] ppid=21102 vsize=6433040 CPUtime=0 cores=1,3 /proc/21104/task/21114/stat : 21114 (java) S 21102 21104 10137 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 970320205 6587432960 121781 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907306393 0 4 0 16800975 18446604471134542656 0 0 -1 3 0 0 0 [pid=21104/tid=21115] ppid=21102 vsize=6433040 CPUtime=0 cores=1,3 /proc/21104/task/21115/stat : 21115 (java) S 21102 21104 10137 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 970320207 6587432960 121781 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907307008 0 0 0 16800975 18446604471134542656 0 0 -1 1 0 0 0 [pid=21104/tid=21116] ppid=21102 vsize=6433040 CPUtime=0 cores=1,3 /proc/21104/task/21116/stat : 21116 (java) S 21102 21104 10137 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 970320207 6587432960 121781 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907306393 0 4 0 16800975 18446604471134542656 0 0 -1 1 0 0 0 [pid=21104/tid=21117] ppid=21102 vsize=6433040 CPUtime=0 cores=1,3 /proc/21104/task/21117/stat : 21117 (java) S 21102 21104 10137 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 970320207 6587432960 121781 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907306393 0 4 0 16800975 18446604471134542656 0 0 -1 1 0 0 0 [pid=21104/tid=21118] ppid=21102 vsize=6433040 CPUtime=0 cores=1,3 /proc/21104/task/21118/stat : 21118 (java) S 21102 21104 10137 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 970320209 6587432960 121781 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907314097 0 4 0 16800975 18446604471134542656 0 0 -1 1 0 0 0 [pid=21104/tid=21119] ppid=21102 vsize=6433040 CPUtime=0.29 cores=1,3 /proc/21104/task/21119/stat : 21119 (java) S 21102 21104 10137 0 -1 4202560 1936 0 0 0 29 0 0 0 15 0 19 0 970320209 6587432960 121781 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907306393 0 4 0 16800975 18446604471134542656 0 0 -1 1 0 0 0 [pid=21104/tid=21120] ppid=21102 vsize=6433040 CPUtime=0.32 cores=1,3 /proc/21104/task/21120/stat : 21120 (java) S 21102 21104 10137 0 -1 4202560 3077 0 0 0 32 0 0 0 15 0 19 0 970320209 6587432960 121781 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907306393 0 4 0 16800975 18446604471134542656 0 0 -1 3 0 0 0 [pid=21104/tid=21121] ppid=21102 vsize=6433040 CPUtime=0 cores=1,3 /proc/21104/task/21121/stat : 21121 (java) S 21102 21104 10137 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 970320209 6587432960 121781 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907306393 0 4 0 16800975 18446604471134542656 0 0 -1 1 0 0 0 [pid=21104/tid=21122] ppid=21102 vsize=6433040 CPUtime=0 cores=1,3 /proc/21104/task/21122/stat : 21122 (java) S 21102 21104 10137 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 970320209 6587432960 121781 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907307008 0 4 0 16800975 18446604471134542656 0 0 -1 3 0 0 0 [pid=21104/tid=21123] ppid=21102 vsize=6433040 CPUtime=0 cores=1,3 /proc/21104/task/21123/stat : 21123 (java) S 21102 21104 10137 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 970320355 6587432960 121781 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907307008 0 4 0 16800975 18446604471134542656 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 3.66 Current children cumulated vsize (KiB) 6433040 [startup+6.3013 s] /proc/loadavg: 1.11 1.33 1.94 2/190 21123 /proc/meminfo: memFree=30723048/32950928 swapFree=67054844/67111528 [pid=21104] ppid=21102 vsize=6433040 CPUtime=6.86 cores=1,3 /proc/21104/stat : 21104 (java) S 21102 21104 10137 0 -1 4202496 124741 0 1 0 670 16 0 0 17 0 19 0 970320203 6587432960 121716 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/21104/statm: 1608260 121716 2224 9 0 1598998 0 [pid=21104/tid=21106] ppid=21102 vsize=6433040 CPUtime=6.22 cores=1,3 /proc/21104/task/21106/stat : 21106 (java) R 21102 21104 10137 0 -1 4202560 118565 0 1 0 607 15 0 0 25 0 19 0 970320204 6587432960 121716 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 46912505850037 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=21104/tid=21107] ppid=21102 vsize=6433040 CPUtime=0 cores=1,3 /proc/21104/task/21107/stat : 21107 (java) S 21102 21104 10137 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 970320205 6587432960 121716 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907306393 0 4 0 16800975 18446604471134542656 0 0 -1 3 0 0 0 [pid=21104/tid=21108] ppid=21102 vsize=6433040 CPUtime=0 cores=1,3 /proc/21104/task/21108/stat : 21108 (java) S 21102 21104 10137 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 970320205 6587432960 121716 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907306393 0 4 0 16800975 18446604471134542656 0 0 -1 3 0 0 0 [pid=21104/tid=21109] ppid=21102 vsize=6433040 CPUtime=0 cores=1,3 /proc/21104/task/21109/stat : 21109 (java) S 21102 21104 10137 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 970320205 6587432960 121716 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907306393 0 4 0 16800975 18446604471134542656 0 0 -1 3 0 0 0 [pid=21104/tid=21110] ppid=21102 vsize=6433040 CPUtime=0 cores=1,3 /proc/21104/task/21110/stat : 21110 (java) S 21102 21104 10137 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 970320205 6587432960 121716 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907306393 0 4 0 16800975 18446604471134542656 0 0 -1 3 0 0 0 [pid=21104/tid=21111] ppid=21102 vsize=6433040 CPUtime=0 cores=1,3 /proc/21104/task/21111/stat : 21111 (java) S 21102 21104 10137 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 970320205 6587432960 121716 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907306393 0 4 0 16800975 18446604471134542656 0 0 -1 3 0 0 0 [pid=21104/tid=21112] ppid=21102 vsize=6433040 CPUtime=0 cores=1,3 /proc/21104/task/21112/stat : 21112 (java) S 21102 21104 10137 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 970320205 6587432960 121716 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907306393 0 4 0 16800975 18446604471134542656 0 0 -1 3 0 0 0 [pid=21104/tid=21113] ppid=21102 vsize=6433040 CPUtime=0 cores=1,3 /proc/21104/task/21113/stat : 21113 (java) S 21102 21104 10137 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 19 0 970320205 6587432960 121716 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907306393 0 4 0 16800975 18446604471134542656 0 0 -1 3 0 0 0 [pid=21104/tid=21114] ppid=21102 vsize=6433040 CPUtime=0 cores=1,3 /proc/21104/task/21114/stat : 21114 (java) S 21102 21104 10137 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 970320205 6587432960 121716 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907306393 0 4 0 16800975 18446604471134542656 0 0 -1 3 0 0 0 [pid=21104/tid=21115] ppid=21102 vsize=6433040 CPUtime=0 cores=1,3 /proc/21104/task/21115/stat : 21115 (java) S 21102 21104 10137 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 970320207 6587432960 121716 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907307008 0 0 0 16800975 18446604471134542656 0 0 -1 1 0 0 0 [pid=21104/tid=21116] ppid=21102 vsize=6433040 CPUtime=0 cores=1,3 /proc/21104/task/21116/stat : 21116 (java) S 21102 21104 10137 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 970320207 6587432960 121716 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907306393 0 4 0 16800975 18446604471134542656 0 0 -1 1 0 0 0 [pid=21104/tid=21117] ppid=21102 vsize=6433040 CPUtime=0 cores=1,3 /proc/21104/task/21117/stat : 21117 (java) S 21102 21104 10137 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 970320207 6587432960 121716 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907306393 0 4 0 16800975 18446604471134542656 0 0 -1 1 0 0 0 [pid=21104/tid=21118] ppid=21102 vsize=6433040 CPUtime=0 cores=1,3 /proc/21104/task/21118/stat : 21118 (java) S 21102 21104 10137 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 970320209 6587432960 121716 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907314097 0 4 0 16800975 18446604471134542656 0 0 -1 1 0 0 0 [pid=21104/tid=21119] ppid=21102 vsize=6433040 CPUtime=0.29 cores=1,3 /proc/21104/task/21119/stat : 21119 (java) S 21102 21104 10137 0 -1 4202560 1936 0 0 0 29 0 0 0 15 0 19 0 970320209 6587432960 121716 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907306393 0 4 0 16800975 18446604471134542656 0 0 -1 1 0 0 0 [pid=21104/tid=21120] ppid=21102 vsize=6433040 CPUtime=0.32 cores=1,3 /proc/21104/task/21120/stat : 21120 (java) S 21102 21104 10137 0 -1 4202560 3077 0 0 0 32 0 0 0 15 0 19 0 970320209 6587432960 121716 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907306393 0 4 0 16800975 18446604471134542656 0 0 -1 3 0 0 0 [pid=21104/tid=21121] ppid=21102 vsize=6433040 CPUtime=0 cores=1,3 /proc/21104/task/21121/stat : 21121 (java) S 21102 21104 10137 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 970320209 6587432960 121716 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907306393 0 4 0 16800975 18446604471134542656 0 0 -1 1 0 0 0 [pid=21104/tid=21122] ppid=21102 vsize=6433040 CPUtime=0 cores=1,3 /proc/21104/task/21122/stat : 21122 (java) S 21102 21104 10137 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 970320209 6587432960 121716 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907307008 0 4 0 16800975 18446604471134542656 0 0 -1 3 0 0 0 [pid=21104/tid=21123] ppid=21102 vsize=6433040 CPUtime=0 cores=1,3 /proc/21104/task/21123/stat : 21123 (java) S 21102 21104 10137 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 970320355 6587432960 121716 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907307008 0 4 0 16800975 18446604471134542656 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 6.86 Current children cumulated vsize (KiB) 6433040 [startup+12.7011 s] /proc/loadavg: 1.09 1.32 1.93 3/190 21123 /proc/meminfo: memFree=30722928/32950928 swapFree=67054844/67111528 ################ # More data... # ################ [pid=21104] ppid=21102 vsize=6434876 CPUtime=197.47 cores=1,3 /proc/21104/stat : 21104 (java) S 21102 21104 10137 0 -1 4202496 618923 0 1 0 19665 82 0 0 17 0 19 0 970320203 6589313024 613519 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/21104/statm: 1608719 613519 2243 9 0 1599457 0 [pid=21104/tid=21106] ppid=21102 vsize=6434876 CPUtime=191.2 cores=1,3 /proc/21104/task/21106/stat : 21106 (java) R 21102 21104 10137 0 -1 4202560 391561 0 1 0 19067 53 0 0 25 0 19 0 970320204 6589313024 613519 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 46912505734193 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=21104/tid=21107] ppid=21102 vsize=6434876 CPUtime=0.41 cores=1,3 /proc/21104/task/21107/stat : 21107 (java) S 21102 21104 10137 0 -1 4202560 20483 0 0 0 39 2 0 0 16 0 19 0 970320205 6589313024 613519 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907306393 0 4 0 16800975 18446604471134542656 0 0 -1 1 0 0 0 [pid=21104/tid=21108] ppid=21102 vsize=6434876 CPUtime=0.54 cores=1,3 /proc/21104/task/21108/stat : 21108 (java) S 21102 21104 10137 0 -1 4202560 18081 0 0 0 52 2 0 0 15 0 19 0 970320205 6589313024 613519 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907306393 0 4 0 16800975 18446604471134542656 0 0 -1 1 0 0 0 [pid=21104/tid=21109] ppid=21102 vsize=6434876 CPUtime=0.44 cores=1,3 /proc/21104/task/21109/stat : 21109 (java) S 21102 21104 10137 0 -1 4202560 18025 0 0 0 42 2 0 0 15 0 19 0 970320205 6589313024 613519 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907306393 0 4 0 16800975 18446604471134542656 0 0 -1 3 0 0 0 [pid=21104/tid=21110] ppid=21102 vsize=6434876 CPUtime=0.45 cores=1,3 /proc/21104/task/21110/stat : 21110 (java) S 21102 21104 10137 0 -1 4202560 90 0 0 0 45 0 0 0 16 0 19 0 970320205 6589313024 613519 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907306393 0 4 0 16800975 18446604471134542656 0 0 -1 3 0 0 0 [pid=21104/tid=21111] ppid=21102 vsize=6434876 CPUtime=1.28 cores=1,3 /proc/21104/task/21111/stat : 21111 (java) S 21102 21104 10137 0 -1 4202560 41141 0 0 0 124 4 0 0 15 0 19 0 970320205 6589313024 613519 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907306393 0 4 0 16800975 18446604471134542656 0 0 -1 3 0 0 0 [pid=21104/tid=21112] ppid=21102 vsize=6434876 CPUtime=0.71 cores=1,3 /proc/21104/task/21112/stat : 21112 (java) S 21102 21104 10137 0 -1 4202560 43393 0 0 0 66 5 0 0 15 0 19 0 970320205 6589313024 613519 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907306393 0 4 0 16800975 18446604471134542656 0 0 -1 3 0 0 0 [pid=21104/tid=21113] ppid=21102 vsize=6434876 CPUtime=0.83 cores=1,3 /proc/21104/task/21113/stat : 21113 (java) S 21102 21104 10137 0 -1 4202560 45782 0 0 0 79 4 0 0 15 0 19 0 970320205 6589313024 613519 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907306393 0 4 0 16800975 18446604471134542656 0 0 -1 3 0 0 0 [pid=21104/tid=21114] ppid=21102 vsize=6434876 CPUtime=0.6 cores=1,3 /proc/21104/task/21114/stat : 21114 (java) S 21102 21104 10137 0 -1 4202560 32745 0 0 0 57 3 0 0 15 0 19 0 970320205 6589313024 613519 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907306393 0 4 0 16800975 18446604471134542656 0 0 -1 1 0 0 0 [pid=21104/tid=21115] ppid=21102 vsize=6434876 CPUtime=0 cores=1,3 /proc/21104/task/21115/stat : 21115 (java) S 21102 21104 10137 0 -1 4202560 26 0 0 0 0 0 0 0 15 0 19 0 970320207 6589313024 613519 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907307008 0 0 0 16800975 18446604471134542656 0 0 -1 1 0 0 0 [pid=21104/tid=21116] ppid=21102 vsize=6434876 CPUtime=0 cores=1,3 /proc/21104/task/21116/stat : 21116 (java) S 21102 21104 10137 0 -1 4202560 21 0 0 0 0 0 0 0 15 0 19 0 970320207 6589313024 613519 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907306393 0 4 0 16800975 18446604471134542656 0 0 -1 3 0 0 0 [pid=21104/tid=21117] ppid=21102 vsize=6434876 CPUtime=0 cores=1,3 /proc/21104/task/21117/stat : 21117 (java) S 21102 21104 10137 0 -1 4202560 45 0 0 0 0 0 0 0 15 0 19 0 970320207 6589313024 613519 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907306393 0 4 0 16800975 18446604471134542656 0 0 -1 3 0 0 0 [pid=21104/tid=21118] ppid=21102 vsize=6434876 CPUtime=0 cores=1,3 /proc/21104/task/21118/stat : 21118 (java) S 21102 21104 10137 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 970320209 6589313024 613519 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907314097 0 4 0 16800975 18446604471134542656 0 0 -1 1 0 0 0 [pid=21104/tid=21119] ppid=21102 vsize=6434876 CPUtime=0.5 cores=1,3 /proc/21104/task/21119/stat : 21119 (java) S 21102 21104 10137 0 -1 4202560 3255 0 0 0 50 0 0 0 15 0 19 0 970320209 6589313024 613519 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907306393 0 4 0 16800975 18446604471134542656 0 0 -1 1 0 0 0 [pid=21104/tid=21120] ppid=21102 vsize=6434876 CPUtime=0.32 cores=1,3 /proc/21104/task/21120/stat : 21120 (java) S 21102 21104 10137 0 -1 4202560 3077 0 0 0 32 0 0 0 15 0 19 0 970320209 6589313024 613519 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907306393 0 4 0 16800975 18446604471134542656 0 0 -1 3 0 0 0 [pid=21104/tid=21121] ppid=21102 vsize=6434876 CPUtime=0 cores=1,3 /proc/21104/task/21121/stat : 21121 (java) S 21102 21104 10137 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 970320209 6589313024 613519 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907306393 0 4 0 16800975 18446604471134542656 0 0 -1 1 0 0 0 [pid=21104/tid=21122] ppid=21102 vsize=6434876 CPUtime=0 cores=1,3 /proc/21104/task/21122/stat : 21122 (java) S 21102 21104 10137 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 19 0 970320209 6589313024 613519 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907307008 0 4 0 16800975 18446604471134542656 0 0 -1 1 0 0 0 [pid=21104/tid=21780] ppid=21102 vsize=6434876 CPUtime=0 cores=1,3 /proc/21104/task/21780/stat : 21780 (java) S 21102 21104 10137 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 19 0 970339599 6589313024 613519 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907307008 0 4 0 16800975 18446604471134542656 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 197.47 Current children cumulated vsize (KiB) 6434876 [startup+194.801 s] /proc/loadavg: 1.04 1.23 1.78 2/190 21780 /proc/meminfo: memFree=28753192/32950928 swapFree=67054844/67111528 [pid=21104] ppid=21102 vsize=6434876 CPUtime=198.26 cores=1,3 /proc/21104/stat : 21104 (java) S 21102 21104 10137 0 -1 4202496 618923 0 1 0 19744 82 0 0 17 0 19 0 970320203 6589313024 613519 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/21104/statm: 1608719 613519 2243 9 0 1599457 0 [pid=21104/tid=21106] ppid=21102 vsize=6434876 CPUtime=192 cores=1,3 /proc/21104/task/21106/stat : 21106 (java) R 21102 21104 10137 0 -1 4202560 391561 0 1 0 19147 53 0 0 25 0 19 0 970320204 6589313024 613519 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 46912505646098 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=21104/tid=21107] ppid=21102 vsize=6434876 CPUtime=0.41 cores=1,3 /proc/21104/task/21107/stat : 21107 (java) S 21102 21104 10137 0 -1 4202560 20483 0 0 0 39 2 0 0 16 0 19 0 970320205 6589313024 613519 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907306393 0 4 0 16800975 18446604471134542656 0 0 -1 1 0 0 0 [pid=21104/tid=21108] ppid=21102 vsize=6434876 CPUtime=0.54 cores=1,3 /proc/21104/task/21108/stat : 21108 (java) S 21102 21104 10137 0 -1 4202560 18081 0 0 0 52 2 0 0 15 0 19 0 970320205 6589313024 613519 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907306393 0 4 0 16800975 18446604471134542656 0 0 -1 1 0 0 0 [pid=21104/tid=21109] ppid=21102 vsize=6434876 CPUtime=0.44 cores=1,3 /proc/21104/task/21109/stat : 21109 (java) S 21102 21104 10137 0 -1 4202560 18025 0 0 0 42 2 0 0 15 0 19 0 970320205 6589313024 613519 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907306393 0 4 0 16800975 18446604471134542656 0 0 -1 3 0 0 0 [pid=21104/tid=21110] ppid=21102 vsize=6434876 CPUtime=0.45 cores=1,3 /proc/21104/task/21110/stat : 21110 (java) S 21102 21104 10137 0 -1 4202560 90 0 0 0 45 0 0 0 16 0 19 0 970320205 6589313024 613519 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907306393 0 4 0 16800975 18446604471134542656 0 0 -1 3 0 0 0 [pid=21104/tid=21111] ppid=21102 vsize=6434876 CPUtime=1.28 cores=1,3 /proc/21104/task/21111/stat : 21111 (java) S 21102 21104 10137 0 -1 4202560 41141 0 0 0 124 4 0 0 15 0 19 0 970320205 6589313024 613519 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907306393 0 4 0 16800975 18446604471134542656 0 0 -1 3 0 0 0 [pid=21104/tid=21112] ppid=21102 vsize=6434876 CPUtime=0.71 cores=1,3 /proc/21104/task/21112/stat : 21112 (java) S 21102 21104 10137 0 -1 4202560 43393 0 0 0 66 5 0 0 15 0 19 0 970320205 6589313024 613519 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907306393 0 4 0 16800975 18446604471134542656 0 0 -1 3 0 0 0 [pid=21104/tid=21113] ppid=21102 vsize=6434876 CPUtime=0.83 cores=1,3 /proc/21104/task/21113/stat : 21113 (java) S 21102 21104 10137 0 -1 4202560 45782 0 0 0 79 4 0 0 15 0 19 0 970320205 6589313024 613519 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907306393 0 4 0 16800975 18446604471134542656 0 0 -1 3 0 0 0 [pid=21104/tid=21114] ppid=21102 vsize=6434876 CPUtime=0.6 cores=1,3 /proc/21104/task/21114/stat : 21114 (java) S 21102 21104 10137 0 -1 4202560 32745 0 0 0 57 3 0 0 15 0 19 0 970320205 6589313024 613519 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907306393 0 4 0 16800975 18446604471134542656 0 0 -1 1 0 0 0 [pid=21104/tid=21115] ppid=21102 vsize=6434876 CPUtime=0 cores=1,3 /proc/21104/task/21115/stat : 21115 (java) S 21102 21104 10137 0 -1 4202560 26 0 0 0 0 0 0 0 15 0 19 0 970320207 6589313024 613519 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907307008 0 0 0 16800975 18446604471134542656 0 0 -1 1 0 0 0 [pid=21104/tid=21116] ppid=21102 vsize=6434876 CPUtime=0 cores=1,3 /proc/21104/task/21116/stat : 21116 (java) S 21102 21104 10137 0 -1 4202560 21 0 0 0 0 0 0 0 15 0 19 0 970320207 6589313024 613519 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907306393 0 4 0 16800975 18446604471134542656 0 0 -1 3 0 0 0 [pid=21104/tid=21117] ppid=21102 vsize=6434876 CPUtime=0 cores=1,3 /proc/21104/task/21117/stat : 21117 (java) S 21102 21104 10137 0 -1 4202560 45 0 0 0 0 0 0 0 15 0 19 0 970320207 6589313024 613519 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907306393 0 4 0 16800975 18446604471134542656 0 0 -1 3 0 0 0 [pid=21104/tid=21118] ppid=21102 vsize=6434876 CPUtime=0 cores=1,3 /proc/21104/task/21118/stat : 21118 (java) S 21102 21104 10137 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 970320209 6589313024 613519 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907314097 0 4 0 16800975 18446604471134542656 0 0 -1 1 0 0 0 [pid=21104/tid=21119] ppid=21102 vsize=6434876 CPUtime=0.5 cores=1,3 /proc/21104/task/21119/stat : 21119 (java) S 21102 21104 10137 0 -1 4202560 3255 0 0 0 50 0 0 0 15 0 19 0 970320209 6589313024 613519 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907306393 0 4 0 16800975 18446604471134542656 0 0 -1 1 0 0 0 [pid=21104/tid=21120] ppid=21102 vsize=6434876 CPUtime=0.32 cores=1,3 /proc/21104/task/21120/stat : 21120 (java) S 21102 21104 10137 0 -1 4202560 3077 0 0 0 32 0 0 0 15 0 19 0 970320209 6589313024 613519 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907306393 0 4 0 16800975 18446604471134542656 0 0 -1 3 0 0 0 [pid=21104/tid=21121] ppid=21102 vsize=6434876 CPUtime=0 cores=1,3 /proc/21104/task/21121/stat : 21121 (java) S 21102 21104 10137 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 970320209 6589313024 613519 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907306393 0 4 0 16800975 18446604471134542656 0 0 -1 1 0 0 0 [pid=21104/tid=21122] ppid=21102 vsize=6434876 CPUtime=0 cores=1,3 /proc/21104/task/21122/stat : 21122 (java) S 21102 21104 10137 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 19 0 970320209 6589313024 613519 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907307008 0 4 0 16800975 18446604471134542656 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 198.26 Current children cumulated vsize (KiB) 6434876 [startup+195.207 s] /proc/loadavg: 1.04 1.23 1.78 2/189 21783 /proc/meminfo: memFree=28743528/32950928 swapFree=67054844/67111528 [pid=21104] ppid=21102 vsize=6445320 CPUtime=198.83 cores=1,3 /proc/21104/stat : 21104 (java) S 21102 21104 10137 0 -1 4202496 622313 0 1 0 19800 83 0 0 17 0 18 0 970320203 6600007680 615791 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/21104/statm: 1611330 615791 2243 9 0 1602068 0 [pid=21104/tid=21106] ppid=21102 vsize=6445320 CPUtime=192.39 cores=1,3 /proc/21104/task/21106/stat : 21106 (java) R 21102 21104 10137 0 -1 4202560 391565 0 1 0 19186 53 0 0 25 0 18 0 970320204 6600007680 615791 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 46912505590848 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=21104/tid=21107] ppid=21102 vsize=6445320 CPUtime=0.41 cores=1,3 /proc/21104/task/21107/stat : 21107 (java) S 21102 21104 10137 0 -1 4202560 20483 0 0 0 39 2 0 0 16 0 18 0 970320205 6600007680 615791 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907306393 0 4 0 16800975 18446604471134542656 0 0 -1 1 0 0 0 [pid=21104/tid=21108] ppid=21102 vsize=6445320 CPUtime=0.54 cores=1,3 /proc/21104/task/21108/stat : 21108 (java) S 21102 21104 10137 0 -1 4202560 18081 0 0 0 52 2 0 0 15 0 18 0 970320205 6600007680 615791 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907306393 0 4 0 16800975 18446604471134542656 0 0 -1 1 0 0 0 [pid=21104/tid=21109] ppid=21102 vsize=6445320 CPUtime=0.44 cores=1,3 /proc/21104/task/21109/stat : 21109 (java) S 21102 21104 10137 0 -1 4202560 18025 0 0 0 42 2 0 0 15 0 18 0 970320205 6600007680 615791 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907306393 0 4 0 16800975 18446604471134542656 0 0 -1 3 0 0 0 [pid=21104/tid=21110] ppid=21102 vsize=6445320 CPUtime=0.45 cores=1,3 /proc/21104/task/21110/stat : 21110 (java) S 21102 21104 10137 0 -1 4202560 90 0 0 0 45 0 0 0 16 0 18 0 970320205 6600007680 615791 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907306393 0 4 0 16800975 18446604471134542656 0 0 -1 3 0 0 0 [pid=21104/tid=21111] ppid=21102 vsize=6445320 CPUtime=1.28 cores=1,3 /proc/21104/task/21111/stat : 21111 (java) S 21102 21104 10137 0 -1 4202560 41141 0 0 0 124 4 0 0 15 0 18 0 970320205 6600007680 615791 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907306393 0 4 0 16800975 18446604471134542656 0 0 -1 3 0 0 0 [pid=21104/tid=21112] ppid=21102 vsize=6445320 CPUtime=0.71 cores=1,3 /proc/21104/task/21112/stat : 21112 (java) S 21102 21104 10137 0 -1 4202560 43393 0 0 0 66 5 0 0 15 0 18 0 970320205 6600007680 615791 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907306393 0 4 0 16800975 18446604471134542656 0 0 -1 3 0 0 0 [pid=21104/tid=21113] ppid=21102 vsize=6445320 CPUtime=0.83 cores=1,3 /proc/21104/task/21113/stat : 21113 (java) S 21102 21104 10137 0 -1 4202560 45782 0 0 0 79 4 0 0 15 0 18 0 970320205 6600007680 615791 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907306393 0 4 0 16800975 18446604471134542656 0 0 -1 3 0 0 0 [pid=21104/tid=21114] ppid=21102 vsize=6445320 CPUtime=0.6 cores=1,3 /proc/21104/task/21114/stat : 21114 (java) S 21102 21104 10137 0 -1 4202560 32745 0 0 0 57 3 0 0 15 0 18 0 970320205 6600007680 615791 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907306393 0 4 0 16800975 18446604471134542656 0 0 -1 1 0 0 0 [pid=21104/tid=21115] ppid=21102 vsize=6445320 CPUtime=0 cores=1,3 /proc/21104/task/21115/stat : 21115 (java) S 21102 21104 10137 0 -1 4202560 26 0 0 0 0 0 0 0 15 0 18 0 970320207 6600007680 615791 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907307008 0 0 0 16800975 18446604471134542656 0 0 -1 1 0 0 0 [pid=21104/tid=21116] ppid=21102 vsize=6445320 CPUtime=0 cores=1,3 /proc/21104/task/21116/stat : 21116 (java) S 21102 21104 10137 0 -1 4202560 21 0 0 0 0 0 0 0 15 0 18 0 970320207 6600007680 615791 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907306393 0 4 0 16800975 18446604471134542656 0 0 -1 3 0 0 0 [pid=21104/tid=21117] ppid=21102 vsize=6445320 CPUtime=0 cores=1,3 /proc/21104/task/21117/stat : 21117 (java) S 21102 21104 10137 0 -1 4202560 45 0 0 0 0 0 0 0 15 0 18 0 970320207 6600007680 615791 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907306393 0 4 0 16800975 18446604471134542656 0 0 -1 3 0 0 0 [pid=21104/tid=21118] ppid=21102 vsize=6445320 CPUtime=0 cores=1,3 /proc/21104/task/21118/stat : 21118 (java) S 21102 21104 10137 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 970320209 6600007680 615791 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907314097 0 4 0 16800975 18446604471134542656 0 0 -1 1 0 0 0 [pid=21104/tid=21119] ppid=21102 vsize=6445320 CPUtime=0.67 cores=1,3 /proc/21104/task/21119/stat : 21119 (java) S 21102 21104 10137 0 -1 4202560 6641 0 0 0 66 1 0 0 15 0 18 0 970320209 6600007680 615791 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907306393 0 4 0 16800975 18446604471134542656 0 0 -1 1 0 0 0 [pid=21104/tid=21120] ppid=21102 vsize=6445320 CPUtime=0.33 cores=1,3 /proc/21104/task/21120/stat : 21120 (java) S 21102 21104 10137 0 -1 4202560 3077 0 0 0 33 0 0 0 15 0 18 0 970320209 6600007680 615791 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907306393 0 4 0 16800975 18446604471134542656 0 0 -1 3 0 0 0 [pid=21104/tid=21121] ppid=21102 vsize=6445320 CPUtime=0 cores=1,3 /proc/21104/task/21121/stat : 21121 (java) S 21102 21104 10137 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 970320209 6600007680 615791 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907306393 0 4 0 16800975 18446604471134542656 0 0 -1 1 0 0 0 [pid=21104/tid=21122] ppid=21102 vsize=6445320 CPUtime=0 cores=1,3 /proc/21104/task/21122/stat : 21122 (java) S 21102 21104 10137 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 18 0 970320209 6600007680 615791 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907307008 0 4 0 16800975 18446604471134542656 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 198.83 Current children cumulated vsize (KiB) 6445320 [startup+195.301 s] /proc/loadavg: 1.04 1.23 1.78 2/189 21783 /proc/meminfo: memFree=28743528/32950928 swapFree=67054844/67111528 [pid=21104] ppid=21102 vsize=6445320 CPUtime=198.92 cores=1,3 /proc/21104/stat : 21104 (java) S 21102 21104 10137 0 -1 4202496 622317 0 1 0 19809 83 0 0 17 0 19 0 970320203 6600007680 615795 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/21104/statm: 1611330 615795 2243 9 0 1602068 0 [pid=21104/tid=21106] ppid=21102 vsize=6445320 CPUtime=192.48 cores=1,3 /proc/21104/task/21106/stat : 21106 (java) S 21102 21104 10137 0 -1 4202560 391568 0 1 0 19195 53 0 0 25 0 19 0 970320204 6600007680 615795 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907306393 0 4 0 16800975 18446604471134542656 0 0 -1 3 0 0 0 [pid=21104/tid=21107] ppid=21102 vsize=6445320 CPUtime=0.41 cores=1,3 /proc/21104/task/21107/stat : 21107 (java) S 21102 21104 10137 0 -1 4202560 20483 0 0 0 39 2 0 0 16 0 19 0 970320205 6600007680 615795 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907306393 0 4 0 16800975 18446604471134542656 0 0 -1 1 0 0 0 [pid=21104/tid=21108] ppid=21102 vsize=6445320 CPUtime=0.54 cores=1,3 /proc/21104/task/21108/stat : 21108 (java) S 21102 21104 10137 0 -1 4202560 18081 0 0 0 52 2 0 0 15 0 19 0 970320205 6600007680 615795 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907306393 0 4 0 16800975 18446604471134542656 0 0 -1 1 0 0 0 [pid=21104/tid=21109] ppid=21102 vsize=6445320 CPUtime=0.44 cores=1,3 /proc/21104/task/21109/stat : 21109 (java) S 21102 21104 10137 0 -1 4202560 18025 0 0 0 42 2 0 0 15 0 19 0 970320205 6600007680 615795 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907306393 0 4 0 16800975 18446604471134542656 0 0 -1 3 0 0 0 [pid=21104/tid=21110] ppid=21102 vsize=6445320 CPUtime=0.45 cores=1,3 /proc/21104/task/21110/stat : 21110 (java) S 21102 21104 10137 0 -1 4202560 90 0 0 0 45 0 0 0 16 0 19 0 970320205 6600007680 615795 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907306393 0 4 0 16800975 18446604471134542656 0 0 -1 3 0 0 0 [pid=21104/tid=21111] ppid=21102 vsize=6445320 CPUtime=1.28 cores=1,3 /proc/21104/task/21111/stat : 21111 (java) S 21102 21104 10137 0 -1 4202560 41141 0 0 0 124 4 0 0 15 0 19 0 970320205 6600007680 615795 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907306393 0 4 0 16800975 18446604471134542656 0 0 -1 3 0 0 0 [pid=21104/tid=21112] ppid=21102 vsize=6445320 CPUtime=0.71 cores=1,3 /proc/21104/task/21112/stat : 21112 (java) S 21102 21104 10137 0 -1 4202560 43393 0 0 0 66 5 0 0 15 0 19 0 970320205 6600007680 615795 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907306393 0 4 0 16800975 18446604471134542656 0 0 -1 3 0 0 0 [pid=21104/tid=21113] ppid=21102 vsize=6445320 CPUtime=0.83 cores=1,3 /proc/21104/task/21113/stat : 21113 (java) S 21102 21104 10137 0 -1 4202560 45782 0 0 0 79 4 0 0 15 0 19 0 970320205 6600007680 615795 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907306393 0 4 0 16800975 18446604471134542656 0 0 -1 3 0 0 0 [pid=21104/tid=21114] ppid=21102 vsize=6445320 CPUtime=0.6 cores=1,3 /proc/21104/task/21114/stat : 21114 (java) S 21102 21104 10137 0 -1 4202560 32745 0 0 0 57 3 0 0 15 0 19 0 970320205 6600007680 615795 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907306393 0 4 0 16800975 18446604471134542656 0 0 -1 1 0 0 0 [pid=21104/tid=21115] ppid=21102 vsize=6445320 CPUtime=0 cores=1,3 /proc/21104/task/21115/stat : 21115 (java) S 21102 21104 10137 0 -1 4202560 26 0 0 0 0 0 0 0 15 0 19 0 970320207 6600007680 615795 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907307008 0 0 0 16800975 18446604471134542656 0 0 -1 1 0 0 0 [pid=21104/tid=21116] ppid=21102 vsize=6445320 CPUtime=0 cores=1,3 /proc/21104/task/21116/stat : 21116 (java) S 21102 21104 10137 0 -1 4202560 21 0 0 0 0 0 0 0 15 0 19 0 970320207 6600007680 615795 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907306393 0 4 0 16800975 18446604471134542656 0 0 -1 3 0 0 0 [pid=21104/tid=21117] ppid=21102 vsize=6445320 CPUtime=0 cores=1,3 /proc/21104/task/21117/stat : 21117 (java) S 21102 21104 10137 0 -1 4202560 45 0 0 0 0 0 0 0 15 0 19 0 970320207 6600007680 615795 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907306393 0 4 0 16800975 18446604471134542656 0 0 -1 3 0 0 0 [pid=21104/tid=21118] ppid=21102 vsize=6445320 CPUtime=0 cores=1,3 /proc/21104/task/21118/stat : 21118 (java) S 21102 21104 10137 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 970320209 6600007680 615795 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907314097 0 4 0 16800975 18446604471134542656 0 0 -1 1 0 0 0 [pid=21104/tid=21119] ppid=21102 vsize=6445320 CPUtime=0.67 cores=1,3 /proc/21104/task/21119/stat : 21119 (java) S 21102 21104 10137 0 -1 4202560 6641 0 0 0 66 1 0 0 15 0 19 0 970320209 6600007680 615795 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907306393 0 4 0 16800975 18446604471134542656 0 0 -1 1 0 0 0 [pid=21104/tid=21120] ppid=21102 vsize=6445320 CPUtime=0.33 cores=1,3 /proc/21104/task/21120/stat : 21120 (java) S 21102 21104 10137 0 -1 4202560 3077 0 0 0 33 0 0 0 15 0 19 0 970320209 6600007680 615795 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907306393 0 4 0 16800975 18446604471134542656 0 0 -1 3 0 0 0 [pid=21104/tid=21121] ppid=21102 vsize=6445320 CPUtime=0 cores=1,3 /proc/21104/task/21121/stat : 21121 (java) S 21102 21104 10137 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 970320209 6600007680 615795 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907306393 0 4 0 16800975 18446604471134542656 0 0 -1 1 0 0 0 [pid=21104/tid=21122] ppid=21102 vsize=6445320 CPUtime=0 cores=1,3 /proc/21104/task/21122/stat : 21122 (java) S 21102 21104 10137 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 19 0 970320209 6600007680 615795 33554432000 1073741824 1073778376 140735399356960 18446744073709551615 231907307008 0 4 0 16800975 18446604471134542656 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 198.92 Current children cumulated vsize (KiB) 6445320 Child status: 20 Real time (s): 195.396 CPU time (s): 199.022 CPU user time (s): 198.098 CPU system time (s): 0.923859 CPU usage (%): 101.856 Max. virtual memory (cumulated for all children) (KiB): 6445480 getrusage(RUSAGE_CHILDREN,...) data: user time used= 198.098 system time used= 0.923859 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 622317 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= 7947 involuntary context switches= 6983 runsolver used 0.32295 second user time and 0.808877 second system time The end
Begin job on node114 at 2011-06-11 16:01:35 IDJOB=3493572 IDBENCH=20463 IDSOLVER=1972 FILE ID=node114/3493572-1307800895 RUNJOBID= node114-1307798811-10157 PBS_JOBID= 13551038 Free space on /tmp= 74100 MiB SOLVER NAME= SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 BENCH NAME= SAT07/industrial/babic/hsatv17/hsat_vc11803.cnf COMMAND LINE= java -Xms6000m -Xmx6000m -jar sat4j-mus-v20110206.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3493572-1307800895/watcher-3493572-1307800895 -o /tmp/evaluation-result-3493572-1307800895/solver-3493572-1307800895 -C 1800 -W 1850 -M 7680 java -Xms6000m -Xmx6000m -jar sat4j-mus-v20110206.jar HOME/instance-3493572-1307800895.cnf TIME LIMIT= 1800 seconds MEMORY LIMIT= 7680 MiB NBCORE= 2 MD5SUM BENCH= 6c6fd606fd41d7205b07602118ad74a0 RANDOM SEED=1959343319 node114.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.848 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.848 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.15 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.848 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.848 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.73 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.848 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.848 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.848 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.848 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 31203676 kB Buffers: 303480 kB Cached: 1195172 kB SwapCached: 10540 kB Active: 465404 kB Inactive: 1052452 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31203676 kB SwapTotal: 67111528 kB SwapFree: 67054844 kB Dirty: 16000 kB Writeback: 0 kB AnonPages: 16324 kB Mapped: 12436 kB Slab: 163796 kB PageTables: 4448 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 190492 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= 74096 MiB End job on node114 at 2011-06-11 16:04:51