Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 | UNSAT | 123.282 | 120.07 |
Name | industrial/babic/hsatv17/ hsat_vc11944.cnf |
MD5SUM | eef911a782905fce2d6d67e1fb443023 |
Bench Category | APPLICATION (applications instances) |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 1.48077 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 178730 |
Number of clauses | 508210 |
Sum of the clauses size | 1309303 |
Maximum clause length | 3 |
Minimum clause length | 1 |
Number of clauses of size 1 | 21343 |
Number of clauses of size 2 | 172641 |
Number of clauses of size 3 | 314226 |
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.27 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.00/0.27 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.27 c See www.sat4j.org for details. 0.00/0.27 c version 2.3.0.v20110206 0.00/0.27 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.27 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.27 c java.vm.version 19.1-b02 0.00/0.27 c java.vm.vendor Sun Microsystems Inc. 0.00/0.27 c sun.arch.data.model 64 0.00/0.27 c java.version 1.6.0_24 0.00/0.27 c os.name Linux 0.00/0.27 c os.version 2.6.18-164.el5 0.00/0.27 c os.arch amd64 0.00/0.27 c Free memory 5997854704 0.00/0.27 c Max memory 6029312000 0.00/0.27 c Total memory 6029312000 0.00/0.27 c Number of processors 8 0.09/0.30 c Explanation (MUS) enabled solver 0.09/0.30 c QuickXplain (AAAI 2004 version) minimization strategy 0.09/0.30 c --- Begin Solver configuration --- 0.09/0.30 c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@1d73831b 0.09/0.30 c Learn all clauses as in MiniSAT 0.09/0.30 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 0.09/0.30 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT 0.09/0.30 c Expensive reason simplification 0.09/0.30 c Armin Biere (Picosat) restarts strategy 0.09/0.30 c Glucose learned constraints deletion strategy 0.09/0.30 c timeout=2147483647s 0.09/0.30 c DB Simplification allowed=true 0.09/0.30 c --- End Solver configuration --- 0.09/0.30 c solving HOME/instance-3493576-1307800902.cnf 0.09/0.30 c reading problem ... 1.14/1.09 c ... done. Wall clock time 0.79s. 1.14/1.09 c #vars 686981 1.14/1.09 c #constraints 508210 1.14/1.09 c constraints type 1.14/1.09 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 486867 1.14/1.09 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 21343 6.58/5.96 c Unsat detection wall clock time (in seconds) : 5.662 6.58/5.96 c Size of initial unsat subformula: 328 6.58/5.96 c Computing MUS ... 6.58/5.96 c initial unsat core 159598[?] 686979[?] 178771[?] 96252[?] -159598[?] 628985[?] 37705[?] -96252[?] 457688[?] 37704[?] -37705[?] 294690[?] 36581[?] -37704[?] 294686[?] 36580[?] -36581[?] 292976[?] 36579[?] -36580[?] 292973[?] 36219[?] -36580[?] 292972[?] -36438[?] -36579[?] 292968[?] 36439[?] 36438[?] 292781[?] 36455[?] -36439[?] 292779[?] 36454[?] -36455[?] 292778[?] 36453[?] -36454[?] 292776[?] 36452[?] -36453[?] 292774[?] 36451[?] -36452[?] 292772[?] 36450[?] -36451[?] 292770[?] 36449[?] -36450[?] 292768[?] 36448[?] -36449[?] 292766[?] 36440[?] -36448[?] 292764[?] -36430[?] -36440[?] 292762[?] -36236[?] 36430[?] 292760[?] -36429[?] -36268[?] 36236[?] 292756[?] 36429[?] 36268[?] 36236[?] 292755[?] -36429[?] -36428[?] -36424[?] 292754[?] -36429[?] 36428[?] 36424[?] 292753[?] 36429[?] 36428[?] -36424[?] 292752[?] -36268[?] -36424[?] -36425[?] 292750[?] 36425[?] -36268[?] 36424[?] 292749[?] 36425[?] 36268[?] -36424[?] 292748[?] 36428[?] -36426[?] 292746[?] 36426[?] -36428[?] 292745[?] 36425[?] -36426[?] 292743[?] 36426[?] -36424[?] -36425[?] 292742[?] 36300[?] -36425[?] 292741[?] 36424[?] -36422[?] 292735[?] 36422[?] -36420[?] -36421[?] 292731[?] 36421[?] -36299[?] 292729[?] 36420[?] -36418[?] 292724[?] 36418[?] -36416[?] -36417[?] 292720[?] 36417[?] -36298[?] 292718[?] 36416[?] -36414[?] 292713[?] 36414[?] -36412[?] -36413[?] 292709[?] 36413[?] -36297[?] 292707[?] 36412[?] -36410[?] 292702[?] 36410[?] -36408[?] -36409[?] 292698[?] 36409[?] -36296[?] 292696[?] 36408[?] -36406[?] 292691[?] 36406[?] -36404[?] -36405[?] 292687[?] 36405[?] -36295[?] 292685[?] 36404[?] -36402[?] 292680[?] 36402[?] -36400[?] -36401[?] 292676[?] 36401[?] -36294[?] 292674[?] 36400[?] -36398[?] 292669[?] 36398[?] -36396[?] -36397[?] 292665[?] 36397[?] -36293[?] 292663[?] 36396[?] -36394[?] 292658[?] 36394[?] -36392[?] -36393[?] 292654[?] 36393[?] -36292[?] 292652[?] 36392[?] -36390[?] 292647[?] 36390[?] -36388[?] -36389[?] 292643[?] 36389[?] -36291[?] 292641[?] 36388[?] -36386[?] 292636[?] 36386[?] -36384[?] -36385[?] 292632[?] 36385[?] -36290[?] 292630[?] 36384[?] -36382[?] 292625[?] 36382[?] -36380[?] -36381[?] 292621[?] 36381[?] -36289[?] 292619[?] 36380[?] -36378[?] 292614[?] 36378[?] -36376[?] -36377[?] 292610[?] 36377[?] -36288[?] 292608[?] 36376[?] -36374[?] 292603[?] 36374[?] -36372[?] -36373[?] 292599[?] 36373[?] -36287[?] 292597[?] 36372[?] -36370[?] 292592[?] 36370[?] -36368[?] -36369[?] 292588[?] 36369[?] -36286[?] 292586[?] 36368[?] -36366[?] 292581[?] 36366[?] -36364[?] -36365[?] 292577[?] 36365[?] -36285[?] 292575[?] 36364[?] -36362[?] 292570[?] 36362[?] -36360[?] -36361[?] 292566[?] 36361[?] -36284[?] 292564[?] 36360[?] -36358[?] 292559[?] 36358[?] -36356[?] -36357[?] 292555[?] 36357[?] -36283[?] 292553[?] 36356[?] -36354[?] 292548[?] 36354[?] -36352[?] -36353[?] 292544[?] 36353[?] -36282[?] 292542[?] 36352[?] -36350[?] 292537[?] 36350[?] -36348[?] -36349[?] 292533[?] 36349[?] -36281[?] 292531[?] 36348[?] -36346[?] 292526[?] 36346[?] -36344[?] -36345[?] 292522[?] 36345[?] -36280[?] 292520[?] 36344[?] -36342[?] 292515[?] 36342[?] -36340[?] -36341[?] 292511[?] 36341[?] -36279[?] 292509[?] 36340[?] -36338[?] 292504[?] 36338[?] -36336[?] -36337[?] 292500[?] 36337[?] -36278[?] 292498[?] 36336[?] -36334[?] 292493[?] 36334[?] -36332[?] -36333[?] 292489[?] 36333[?] -36277[?] 292487[?] 36332[?] -36330[?] 292482[?] 36330[?] -36328[?] -36329[?] 292478[?] 36329[?] -36276[?] 292476[?] 36328[?] -36326[?] 292471[?] 36326[?] -36324[?] -36325[?] 292467[?] 36325[?] -36275[?] 292465[?] 36324[?] -36322[?] 292460[?] 36322[?] -36320[?] -36321[?] 292456[?] 36321[?] -36274[?] 292454[?] 36320[?] -36318[?] 292449[?] 36318[?] -36316[?] -36317[?] 292445[?] 36317[?] -36273[?] 292443[?] 36316[?] -36314[?] 292438[?] 36314[?] -36312[?] -36313[?] 292434[?] 36313[?] -36272[?] 292432[?] 36312[?] -36310[?] 292427[?] 36310[?] -36308[?] -36309[?] 292423[?] 36309[?] -36271[?] 292421[?] 36308[?] -36306[?] 292416[?] 36306[?] -36304[?] -36305[?] 292412[?] 36305[?] -36270[?] 292410[?] -36303[?] 36304[?] 292407[?] -36302[?] 36304[?] 292406[?] -36301[?] 36302[?] 292403[?] -36269[?] 36303[?] 292401[?] 36269[?] 36301[?] 292399[?] -36016[?] -36300[?] 292398[?] 36299[?] 36015[?] 292395[?] 36298[?] 36014[?] 292393[?] 36297[?] 36013[?] 292391[?] 36296[?] 36012[?] 292389[?] 36295[?] 36011[?] 292387[?] 36294[?] 36010[?] 292385[?] 36293[?] 36009[?] 292383[?] 36292[?] 36008[?] 292381[?] 36291[?] 36007[?] 292379[?] 36290[?] 36006[?] 292377[?] 36289[?] 36005[?] 292375[?] 36288[?] 36004[?] 292373[?] 36287[?] 36003[?] 292371[?] 36286[?] 36002[?] 292369[?] 36285[?] 36001[?] 292367[?] 36284[?] 36000[?] 292365[?] 36283[?] 35999[?] 292363[?] 36282[?] 35998[?] 292361[?] 36281[?] 35997[?] 292359[?] 36280[?] 35996[?] 292357[?] 36279[?] 35995[?] 292355[?] 36278[?] 35994[?] 292353[?] 36277[?] 35993[?] 292351[?] 36276[?] 35992[?] 292349[?] 36275[?] 35991[?] 292347[?] 36274[?] 35990[?] 292345[?] 36273[?] 35989[?] 292343[?] 36272[?] 35988[?] 292341[?] 36271[?] 35987[?] 292339[?] 36270[?] 35986[?] 292337[?] 36235[?] -36219[?] 292333[?] 36234[?] -36235[?] 292332[?] 36233[?] -36234[?] 292330[?] 36232[?] -36233[?] 292328[?] 36231[?] -36232[?] 292326[?] 36230[?] -36231[?] 292324[?] 36229[?] -36230[?] 292322[?] 36228[?] -36229[?] 292320[?] 36220[?] -36228[?] 292318[?] -36211[?] -36220[?] 292316[?] -36017[?] 36211[?] 292314[?] -36049[?] 36210[?] 36017[?] 292310[?] -36210[?] 36209[?] 36205[?] 292307[?] 36205[?] 36049[?] -36206[?] 292301[?] 36207[?] -36209[?] 292299[?] 36205[?] -36207[?] 292298[?] 36206[?] -36081[?] 292294[?] 36203[?] -36205[?] 292288[?] 36201[?] -36203[?] 292287[?] 36202[?] -36203[?] 292286[?] 36080[?] -36202[?] 292284[?] 36199[?] -36201[?] 292277[?] 36197[?] -36199[?] 292276[?] 36198[?] -36199[?] 292275[?] 36079[?] -36198[?] 292273[?] 36195[?] -36197[?] 292266[?] 36193[?] -36195[?] 292265[?] 36194[?] -36195[?] 292264[?] 36078[?] -36194[?] 292262[?] 36191[?] -36193[?] 292255[?] 36189[?] -36191[?] 292254[?] 36190[?] -36191[?] 292253[?] 36077[?] -36190[?] 292251[?] 36187[?] -36189[?] 292244[?] 36185[?] -36187[?] 292243[?] 36186[?] -36187[?] 292242[?] 36076[?] -36186[?] 292240[?] 36183[?] -36185[?] 292233[?] 36181[?] -36183[?] 292232[?] 36182[?] -36183[?] 292231[?] 36075[?] -36182[?] 292229[?] 36179[?] -36181[?] 292222[?] 36177[?] -36179[?] 292221[?] 36178[?] -36179[?] 292220[?] 36074[?] -36178[?] 292218[?] 36175[?] -36177[?] 292211[?] 36173[?] -36175[?] 292210[?] 36174[?] -36175[?] 292209[?] 36073[?] -36174[?] 292207[?] 36171[?] -36173[?] 292200[?] 36169[?] -36171[?] 292199[?] 36170[?] -36171[?] 292198[?] 36072[?] -36170[?] 292196[?] 36167[?] -36169[?] 292189[?] 36165[?] -36167[?] 292188[?] 36166[?] -36167[?] 292187[?] 36071[?] -36166[?] 292185[?] 36163[?] -36165[?] 292178[?] 36161[?] -36163[?] 292177[?] 36162[?] -36163[?] 292176[?] 36070[?] -36162[?] 292174[?] 36159[?] -36161[?] 292167[?] 36157[?] -36159[?] 292166[?] 36158[?] -36159[?] 292165[?] 36069[?] -36158[?] 292163[?] 36155[?] -36157[?] 292156[?] 36153[?] -36155[?] 292155[?] 36154[?] -36155[?] 292154[?] 36068[?] -36154[?] 292152[?] 36151[?] -36153[?] 292145[?] 36149[?] -36151[?] 292144[?] 36150[?] -36151[?] 292143[?] 36067[?] -36150[?] 292141[?] 36147[?] -36149[?] 292134[?] 36145[?] -36147[?] 292133[?] 36146[?] -36147[?] 292132[?] 36066[?] -36146[?] 292130[?] 36143[?] -36145[?] 292123[?] 36141[?] -36143[?] 292122[?] 36142[?] -36143[?] 292121[?] 36065[?] -36142[?] 292119[?] 36139[?] -36141[?] 292112[?] 36137[?] -36139[?] 292111[?] 36138[?] -36139[?] 292110[?] 36064[?] -36138[?] 292108[?] 36135[?] -36137[?] 292101[?] 36133[?] -36135[?] 292100[?] 36134[?] -36135[?] 292099[?] 36063[?] -36134[?] 292097[?] 36131[?] -36133[?] 292090[?] 36129[?] -36131[?] 292089[?] 36130[?] -36131[?] 292088[?] 36062[?] -36130[?] 292086[?] 36127[?] -36129[?] 292079[?] 36125[?] -36127[?] 292078[?] 36126[?] -36127[?] 292077[?] 36061[?] -36126[?] 292075[?] 36123[?] -36125[?] 292068[?] 36121[?] -36123[?] 292067[?] 36122[?] -36123[?] 292066[?] 36060[?] -36122[?] 292064[?] 36119[?] -36121[?] 292057[?] 36117[?] -36119[?] 292056[?] 36118[?] -36119[?] 292055[?] 36059[?] -36118[?] 292053[?] 36115[?] -36117[?] 292046[?] 36113[?] -36115[?] 292045[?] 36114[?] -36115[?] 292044[?] 36058[?] -36114[?] 292042[?] 36111[?] -36113[?] 292035[?] 36109[?] -36111[?] 292034[?] 36110[?] -36111[?] 292033[?] 36057[?] -36110[?] 292031[?] 36107[?] -36109[?] 292024[?] 36105[?] -36107[?] 292023[?] 36106[?] -36107[?] 292022[?] 36056[?] -36106[?] 292020[?] 36103[?] -36105[?] 292013[?] 36101[?] -36103[?] 292012[?] 36102[?] -36103[?] 292011[?] 36055[?] -36102[?] 292009[?] 36099[?] -36101[?] 292002[?] 36097[?] -36099[?] 292001[?] 36098[?] -36099[?] 292000[?] 36054[?] -36098[?] 291998[?] 36095[?] -36097[?] 291991[?] 36093[?] -36095[?] 291990[?] 36094[?] -36095[?] 291989[?] 36053[?] -36094[?] 291987[?] 36091[?] -36093[?] 291980[?] 36089[?] -36091[?] 291979[?] 36090[?] -36091[?] 291978[?] 36052[?] -36090[?] 291976[?] 36087[?] -36089[?] 291969[?] 36086[?] -36087[?] 291967[?] 36051[?] -36086[?] 291965[?] 36081[?] 36016[?] 291951[?] -36015[?] -36080[?] 291950[?] -36014[?] -36079[?] 291948[?] -36013[?] -36078[?] 291946[?] -36012[?] -36077[?] 291944[?] -36011[?] -36076[?] 291942[?] -36010[?] -36075[?] 291940[?] -36009[?] -36074[?] 291938[?] -36008[?] -36073[?] 291936[?] -36007[?] -36072[?] 291934[?] -36006[?] -36071[?] 291932[?] -36005[?] -36070[?] 291930[?] -36004[?] -36069[?] 291928[?] -36003[?] -36068[?] 291926[?] -36002[?] -36067[?] 291924[?] -36001[?] -36066[?] 291922[?] -36000[?] -36065[?] 291920[?] -35999[?] -36064[?] 291918[?] -35998[?] -36063[?] 291916[?] -35997[?] -36062[?] 291914[?] -35996[?] -36061[?] 291912[?] -35995[?] -36060[?] 291910[?] -35994[?] -36059[?] 291908[?] -35993[?] -36058[?] 291906[?] -35992[?] -36057[?] 291904[?] -35991[?] -36056[?] 291902[?] -35990[?] -36055[?] 291900[?] -35989[?] -36054[?] 291898[?] -35988[?] -36053[?] 291896[?] -35987[?] -36052[?] 291894[?] -35986[?] -36051[?] 291892[?] -178771[?] 200114[?] 6.70/6.09 c qxplain 0/327 7.17/6.42 c qxplain 164/327 7.43/6.66 c qxplain 246/327 7.63/6.89 c qxplain 287/327 7.93/7.12 c qxplain 308/327 8.13/7.36 c qxplain 318/327 8.43/7.60 c qxplain 323/327 8.63/7.84 c qxplain 326/327 8.82/8.07 c qxplain 327/327 9.12/8.30 c -178771[?] 200114[?] is mandatory 9.12/8.30 c qxplain 326/326 9.33/8.53 c 291892[?] -35986[?] -36051[?] is mandatory 9.33/8.53 c qxplain 323/325 9.53/8.76 c qxplain 325/325 9.73/8.99 c 291894[?] -35987[?] -36052[?] is mandatory 9.73/8.99 c qxplain 323/324 10.03/9.23 c qxplain 324/324 10.22/9.46 c 291896[?] -35988[?] -36053[?] is mandatory 10.22/9.46 c qxplain 323/323 10.53/9.70 c 291898[?] -35989[?] -36054[?] is mandatory 10.53/9.70 c qxplain 318/322 10.73/9.93 c qxplain 321/322 10.93/10.16 c qxplain 322/322 11.13/10.40 c 291900[?] -35990[?] -36055[?] is mandatory 11.13/10.40 c qxplain 321/321 11.43/10.63 c 291902[?] -35991[?] -36056[?] is mandatory 11.43/10.63 c qxplain 318/320 11.62/10.86 c qxplain 320/320 11.83/11.09 c 291904[?] -35992[?] -36057[?] is mandatory 11.83/11.09 c qxplain 318/319 12.13/11.33 c qxplain 319/319 12.32/11.56 c 291906[?] -35993[?] -36058[?] is mandatory 12.32/11.56 c qxplain 318/318 12.53/11.79 c 291908[?] -35994[?] -36059[?] is mandatory 12.53/11.79 c qxplain 308/317 12.83/12.03 c qxplain 313/317 13.03/12.26 c qxplain 316/317 13.22/12.49 c qxplain 317/317 13.52/12.72 c 291910[?] -35995[?] -36060[?] is mandatory 13.52/12.72 c qxplain 316/316 13.72/12.95 c 291912[?] -35996[?] -36061[?] is mandatory 13.72/12.95 c qxplain 313/315 13.93/13.19 c qxplain 315/315 14.23/13.42 c 291914[?] -35997[?] -36062[?] is mandatory 14.23/13.42 c qxplain 313/314 14.43/13.65 c qxplain 314/314 14.62/13.88 c 291916[?] -35998[?] -36063[?] is mandatory 14.62/13.88 c qxplain 313/313 14.92/14.12 c 291918[?] -35999[?] -36064[?] is mandatory 14.92/14.12 c qxplain 308/312 15.13/14.35 c qxplain 311/312 15.32/14.59 c qxplain 312/312 15.63/14.82 c 291920[?] -36000[?] -36065[?] is mandatory 15.63/14.82 c qxplain 311/311 15.83/15.05 c 291922[?] -36001[?] -36066[?] is mandatory 15.83/15.05 c qxplain 308/310 16.03/15.28 c qxplain 310/310 16.33/15.51 c 291924[?] -36002[?] -36067[?] is mandatory 16.33/15.51 c qxplain 308/309 16.53/15.75 c qxplain 309/309 16.73/15.98 c 291926[?] -36003[?] -36068[?] is mandatory 16.73/15.98 c qxplain 308/308 17.70/16.54 c 291928[?] -36004[?] -36069[?] is mandatory 17.70/16.54 c qxplain 287/307 17.89/16.70 c qxplain 298/307 17.99/16.87 c qxplain 303/307 18.19/17.03 c qxplain 306/307 18.29/17.19 c qxplain 307/307 18.49/17.36 c 291930[?] -36005[?] -36070[?] is mandatory 18.49/17.36 c qxplain 306/306 18.70/17.52 c 291932[?] -36006[?] -36071[?] is mandatory 18.70/17.52 c qxplain 303/305 18.80/17.69 c qxplain 305/305 18.99/17.85 c 291934[?] -36007[?] -36072[?] is mandatory 18.99/17.85 c qxplain 303/304 19.19/18.01 c qxplain 304/304 19.29/18.18 c 291936[?] -36008[?] -36073[?] is mandatory 19.29/18.18 c qxplain 303/303 19.49/18.34 c 291938[?] -36009[?] -36074[?] is mandatory 19.49/18.34 c qxplain 298/302 19.69/18.50 c qxplain 301/302 19.80/18.67 c qxplain 302/302 19.99/18.83 c 291940[?] -36010[?] -36075[?] is mandatory 19.99/18.83 c qxplain 301/301 20.19/19.00 c 291942[?] -36011[?] -36076[?] is mandatory 20.19/19.00 c qxplain 298/300 20.29/19.16 c qxplain 300/300 20.49/19.33 c 291944[?] -36012[?] -36077[?] is mandatory 20.49/19.33 c qxplain 298/299 20.59/19.49 c qxplain 299/299 20.79/19.66 c 291946[?] -36013[?] -36078[?] is mandatory 20.79/19.66 c qxplain 298/298 21.00/19.82 c 291948[?] -36014[?] -36079[?] is mandatory 21.00/19.82 c qxplain 287/297 21.09/19.99 c qxplain 293/297 21.29/20.15 c qxplain 296/297 21.49/20.31 c qxplain 297/297 21.59/20.48 c 291950[?] -36015[?] -36080[?] is mandatory 21.59/20.48 c qxplain 296/296 21.79/20.64 c 291951[?] 36081[?] 36016[?] is mandatory 21.79/20.64 c qxplain 293/295 22.00/20.81 c qxplain 295/295 22.10/20.97 c 291965[?] 36051[?] -36086[?] is mandatory 22.10/20.97 c qxplain 293/294 22.29/21.14 c qxplain 294/294 22.49/21.30 c 291967[?] 36086[?] -36087[?] is mandatory 22.49/21.30 c qxplain 293/293 22.59/21.46 c 291969[?] 36087[?] -36089[?] is mandatory 22.59/21.46 c qxplain 287/292 22.79/21.63 c qxplain 290/292 22.89/21.79 c qxplain 292/292 23.10/21.96 c 291976[?] 36052[?] -36090[?] is mandatory 23.10/21.96 c qxplain 290/291 23.29/22.12 c qxplain 291/291 23.39/22.28 c 291978[?] 36090[?] -36091[?] is mandatory 23.39/22.28 c qxplain 290/290 23.59/22.45 c 291979[?] 36089[?] -36091[?] is mandatory 23.59/22.45 c qxplain 287/289 23.79/22.61 c qxplain 289/289 23.89/22.78 c 291980[?] 36091[?] -36093[?] is mandatory 23.89/22.78 c qxplain 287/288 24.09/22.94 c qxplain 288/288 24.30/23.11 c 291987[?] 36053[?] -36094[?] is mandatory 24.30/23.11 c qxplain 287/287 24.39/23.27 c 291989[?] 36094[?] -36095[?] is mandatory 24.39/23.27 c qxplain 246/286 24.59/23.43 c qxplain 267/286 24.69/23.60 c qxplain 277/286 24.89/23.76 c qxplain 282/286 25.09/23.92 c qxplain 285/286 25.19/24.09 c qxplain 286/286 25.40/24.25 c 291990[?] 36093[?] -36095[?] is mandatory 25.40/24.25 c qxplain 285/285 25.59/24.42 c 291991[?] 36095[?] -36097[?] is mandatory 25.59/24.42 c qxplain 282/284 25.69/24.58 c qxplain 284/284 25.89/24.75 c 291998[?] 36054[?] -36098[?] is mandatory 25.89/24.75 c qxplain 282/283 26.09/24.91 c qxplain 283/283 26.81/25.39 c 292000[?] 36098[?] -36099[?] is mandatory 26.81/25.39 c qxplain 282/282 27.00/25.56 c 292001[?] 36097[?] -36099[?] is mandatory 27.00/25.56 c qxplain 277/281 27.20/25.72 c qxplain 280/281 27.30/25.89 c qxplain 281/281 27.50/26.05 c 292002[?] 36099[?] -36101[?] is mandatory 27.50/26.05 c qxplain 280/280 27.70/26.22 c 292009[?] 36055[?] -36102[?] is mandatory 27.70/26.22 c qxplain 277/279 27.81/26.38 c qxplain 279/279 28.00/26.55 c 292011[?] 36102[?] -36103[?] is mandatory 28.00/26.55 c qxplain 277/278 28.20/26.71 c qxplain 278/278 28.30/26.88 c 292012[?] 36101[?] -36103[?] is mandatory 28.30/26.88 c qxplain 277/277 28.50/27.04 c 292013[?] 36103[?] -36105[?] is mandatory 28.50/27.04 c qxplain 267/276 28.70/27.21 c qxplain 272/276 28.80/27.38 c qxplain 275/276 29.01/27.54 c qxplain 276/276 29.20/27.70 c 292020[?] 36056[?] -36106[?] is mandatory 29.20/27.70 c qxplain 275/275 29.30/27.87 c 292022[?] 36106[?] -36107[?] is mandatory 29.30/27.87 c qxplain 272/274 29.50/28.03 c qxplain 274/274 29.60/28.20 c 292023[?] 36105[?] -36107[?] is mandatory 29.60/28.20 c qxplain 272/273 29.80/28.36 c qxplain 273/273 30.01/28.53 c 292024[?] 36107[?] -36109[?] is mandatory 30.01/28.53 c qxplain 272/272 30.11/28.69 c 292031[?] 36057[?] -36110[?] is mandatory 30.11/28.69 c qxplain 267/271 30.30/28.85 c qxplain 270/271 30.50/29.02 c qxplain 271/271 30.60/29.18 c 292033[?] 36110[?] -36111[?] is mandatory 30.60/29.18 c qxplain 270/270 30.80/29.35 c 292034[?] 36109[?] -36111[?] is mandatory 30.80/29.35 c qxplain 267/269 31.00/29.51 c qxplain 269/269 31.11/29.67 c 292035[?] 36111[?] -36113[?] is mandatory 31.11/29.67 c qxplain 267/268 31.30/29.84 c qxplain 268/268 31.50/30.01 c 292042[?] 36058[?] -36114[?] is mandatory 31.50/30.01 c qxplain 267/267 31.60/30.17 c 292044[?] 36114[?] -36115[?] is mandatory 31.60/30.17 c qxplain 246/266 31.80/30.34 c qxplain 257/266 32.00/30.50 c qxplain 262/266 32.10/30.67 c qxplain 265/266 32.31/30.83 c qxplain 266/266 32.40/31.00 c 292045[?] 36113[?] -36115[?] is mandatory 32.40/31.00 c qxplain 265/265 32.60/31.16 c 292046[?] 36115[?] -36117[?] is mandatory 32.60/31.16 c qxplain 262/264 32.80/31.32 c qxplain 264/264 32.90/31.49 c 292053[?] 36059[?] -36118[?] is mandatory 32.90/31.49 c qxplain 262/263 33.10/31.65 c qxplain 263/263 33.31/31.82 c 292055[?] 36118[?] -36119[?] is mandatory 33.31/31.82 c qxplain 262/262 33.41/31.98 c 292056[?] 36117[?] -36119[?] is mandatory 33.41/31.98 c qxplain 257/261 33.60/32.14 c qxplain 260/261 33.80/32.31 c qxplain 261/261 33.90/32.47 c 292057[?] 36119[?] -36121[?] is mandatory 33.90/32.47 c qxplain 260/260 34.10/32.64 c 292064[?] 36060[?] -36122[?] is mandatory 34.10/32.64 c qxplain 257/259 34.30/32.80 c qxplain 259/259 34.41/32.97 c 292066[?] 36122[?] -36123[?] is mandatory 34.41/32.97 c qxplain 257/258 34.60/33.13 c qxplain 258/258 34.70/33.29 c 292067[?] 36121[?] -36123[?] is mandatory 34.70/33.29 c qxplain 257/257 34.90/33.46 c 292068[?] 36123[?] -36125[?] is mandatory 34.90/33.46 c qxplain 246/256 35.10/33.63 c qxplain 252/256 35.20/33.79 c qxplain 255/256 35.40/33.96 c qxplain 256/256 36.18/34.40 c 292075[?] 36061[?] -36126[?] is mandatory 36.18/34.40 c qxplain 255/255 36.28/34.57 c 292077[?] 36126[?] -36127[?] is mandatory 36.28/34.57 c qxplain 252/254 36.48/34.73 c qxplain 254/254 36.58/34.89 c 292078[?] 36125[?] -36127[?] is mandatory 36.58/34.89 c qxplain 252/253 36.78/35.06 c qxplain 253/253 36.99/35.22 c 292079[?] 36127[?] -36129[?] is mandatory 36.99/35.22 c qxplain 252/252 37.08/35.39 c 292086[?] 36062[?] -36130[?] is mandatory 37.08/35.39 c qxplain 246/251 37.28/35.55 c qxplain 249/251 37.48/35.71 c qxplain 251/251 37.58/35.88 c 292088[?] 36130[?] -36131[?] is mandatory 37.58/35.88 c qxplain 249/250 37.78/36.04 c qxplain 250/250 37.99/36.20 c 292089[?] 36129[?] -36131[?] is mandatory 37.99/36.21 c qxplain 249/249 38.09/36.37 c 292090[?] 36131[?] -36133[?] is mandatory 38.09/36.37 c qxplain 246/248 38.28/36.54 c qxplain 248/248 38.48/36.70 c 292097[?] 36063[?] -36134[?] is mandatory 38.48/36.70 c qxplain 246/247 38.58/36.86 c qxplain 247/247 38.78/37.03 c 292099[?] 36134[?] -36135[?] is mandatory 38.78/37.03 c qxplain 246/246 38.88/37.19 c 292100[?] 36133[?] -36135[?] is mandatory 38.88/37.19 c qxplain 164/245 39.09/37.35 c qxplain 205/245 39.28/37.52 c qxplain 226/245 39.38/37.68 c qxplain 236/245 39.58/37.84 c qxplain 241/245 39.78/38.01 c qxplain 244/245 39.88/38.17 c qxplain 245/245 40.08/38.33 c 292101[?] 36135[?] -36137[?] is mandatory 40.08/38.33 c qxplain 244/244 40.18/38.50 c 292108[?] 36064[?] -36138[?] is mandatory 40.18/38.50 c qxplain 241/243 40.38/38.66 c qxplain 243/243 40.58/38.82 c 292110[?] 36138[?] -36139[?] is mandatory 40.58/38.82 c qxplain 241/242 40.68/38.99 c qxplain 242/242 40.88/39.16 c 292111[?] 36137[?] -36139[?] is mandatory 40.88/39.16 c qxplain 241/241 41.08/39.32 c 292112[?] 36139[?] -36141[?] is mandatory 41.08/39.32 c qxplain 236/240 41.18/39.48 c qxplain 239/240 41.40/39.65 c qxplain 240/240 41.59/39.81 c 292119[?] 36065[?] -36142[?] is mandatory 41.59/39.81 c qxplain 239/239 41.69/39.97 c 292121[?] 36142[?] -36143[?] is mandatory 41.69/39.97 c qxplain 236/238 41.89/40.14 c qxplain 238/238 42.09/40.30 c 292122[?] 36141[?] -36143[?] is mandatory 42.09/40.30 c qxplain 236/237 42.19/40.47 c qxplain 237/237 42.39/40.63 c 292123[?] 36143[?] -36145[?] is mandatory 42.39/40.63 c qxplain 236/236 42.59/40.80 c 292130[?] 36066[?] -36146[?] is mandatory 42.59/40.80 c qxplain 226/235 42.69/40.96 c qxplain 231/235 42.89/41.12 c qxplain 234/235 42.99/41.29 c qxplain 235/235 43.19/41.45 c 292132[?] 36146[?] -36147[?] is mandatory 43.19/41.45 c qxplain 234/234 43.39/41.61 c 292133[?] 36145[?] -36147[?] is mandatory 43.39/41.61 c qxplain 231/233 43.49/41.78 c qxplain 233/233 43.69/41.94 c 292134[?] 36147[?] -36149[?] is mandatory 43.69/41.94 c qxplain 231/232 43.89/42.11 c qxplain 232/232 43.99/42.27 c 292141[?] 36067[?] -36150[?] is mandatory 43.99/42.27 c qxplain 231/231 44.19/42.43 c 292143[?] 36150[?] -36151[?] is mandatory 44.19/42.43 c qxplain 226/230 44.39/42.60 c qxplain 229/230 44.49/42.76 c qxplain 230/230 45.27/43.21 c 292144[?] 36149[?] -36151[?] is mandatory 45.27/43.21 c qxplain 229/229 45.37/43.37 c 292145[?] 36151[?] -36153[?] is mandatory 45.37/43.37 c qxplain 226/228 45.57/43.54 c qxplain 228/228 45.77/43.70 c 292152[?] 36068[?] -36154[?] is mandatory 45.77/43.70 c qxplain 226/227 45.87/43.86 c qxplain 227/227 46.08/44.03 c 292154[?] 36154[?] -36155[?] is mandatory 46.08/44.03 c qxplain 226/226 46.18/44.19 c 292155[?] 36153[?] -36155[?] is mandatory 46.18/44.19 c qxplain 205/225 46.37/44.35 c qxplain 216/225 46.57/44.52 c qxplain 221/225 46.67/44.69 c qxplain 224/225 46.87/44.85 c qxplain 225/225 47.07/45.01 c 292156[?] 36155[?] -36157[?] is mandatory 47.07/45.01 c qxplain 224/224 47.18/45.18 c 292163[?] 36069[?] -36158[?] is mandatory 47.18/45.18 c qxplain 221/223 47.37/45.34 c qxplain 223/223 47.57/45.51 c 292165[?] 36158[?] -36159[?] is mandatory 47.57/45.51 c qxplain 221/222 47.67/45.67 c qxplain 222/222 47.87/45.83 c 292166[?] 36157[?] -36159[?] is mandatory 47.87/45.83 c qxplain 221/221 48.07/46.00 c 292167[?] 36159[?] -36161[?] is mandatory 48.07/46.00 c qxplain 216/220 48.17/46.16 c qxplain 219/220 48.38/46.33 c qxplain 220/220 48.47/46.49 c 292174[?] 36070[?] -36162[?] is mandatory 48.47/46.49 c qxplain 219/219 48.67/46.65 c 292176[?] 36162[?] -36163[?] is mandatory 48.67/46.65 c qxplain 216/218 48.87/46.82 c qxplain 218/218 48.97/46.98 c 292177[?] 36161[?] -36163[?] is mandatory 48.97/46.98 c qxplain 216/217 49.17/47.15 c qxplain 217/217 49.38/47.32 c 292178[?] 36163[?] -36165[?] is mandatory 49.38/47.32 c qxplain 216/216 49.48/47.48 c 292185[?] 36071[?] -36166[?] is mandatory 49.48/47.48 c qxplain 205/215 49.67/47.65 c qxplain 211/215 49.87/47.81 c qxplain 214/215 49.97/47.98 c qxplain 215/215 50.17/48.14 c 292187[?] 36166[?] -36167[?] is mandatory 50.17/48.14 c qxplain 214/214 50.37/48.31 c 292188[?] 36165[?] -36167[?] is mandatory 50.37/48.31 c qxplain 211/213 50.48/48.47 c qxplain 213/213 50.67/48.63 c 292189[?] 36167[?] -36169[?] is mandatory 50.67/48.63 c qxplain 211/212 50.87/48.80 c qxplain 212/212 50.97/48.96 c 292196[?] 36072[?] -36170[?] is mandatory 50.97/48.96 c qxplain 211/211 51.17/49.13 c 292198[?] 36170[?] -36171[?] is mandatory 51.17/49.13 c qxplain 205/210 51.27/49.29 c qxplain 208/210 51.47/49.45 c qxplain 210/210 51.68/49.62 c 292199[?] 36169[?] -36171[?] is mandatory 51.68/49.62 c qxplain 208/209 51.77/49.79 c qxplain 209/209 51.97/49.95 c 292200[?] 36171[?] -36173[?] is mandatory 51.97/49.95 c qxplain 208/208 52.17/50.11 c 292207[?] 36073[?] -36174[?] is mandatory 52.17/50.12 c qxplain 205/207 52.27/50.28 c qxplain 207/207 52.47/50.44 c 292209[?] 36174[?] -36175[?] is mandatory 52.47/50.44 c qxplain 205/206 52.68/50.61 c qxplain 206/206 52.78/50.77 c 292210[?] 36173[?] -36175[?] is mandatory 52.78/50.77 c qxplain 205/205 52.97/50.93 c 292211[?] 36175[?] -36177[?] is mandatory 52.97/50.93 c qxplain 164/204 53.17/51.10 c qxplain 185/204 53.27/51.26 c qxplain 195/204 53.47/51.43 c qxplain 200/204 53.57/51.59 c qxplain 203/204 53.78/51.75 c qxplain 204/204 54.44/52.19 c 292218[?] 36074[?] -36178[?] is mandatory 54.44/52.19 c qxplain 203/203 54.64/52.36 c 292220[?] 36178[?] -36179[?] is mandatory 54.64/52.36 c qxplain 200/202 54.84/52.52 c qxplain 202/202 54.94/52.68 c 292221[?] 36177[?] -36179[?] is mandatory 54.94/52.68 c qxplain 200/201 55.14/52.85 c qxplain 201/201 55.35/53.01 c 292222[?] 36179[?] -36181[?] is mandatory 55.35/53.01 c qxplain 200/200 55.44/53.17 c 292229[?] 36075[?] -36182[?] is mandatory 55.44/53.17 c qxplain 195/199 55.64/53.34 c qxplain 198/199 55.84/53.50 c qxplain 199/199 55.94/53.67 c 292231[?] 36182[?] -36183[?] is mandatory 55.94/53.67 c qxplain 198/198 56.14/53.83 c 292232[?] 36181[?] -36183[?] is mandatory 56.14/53.83 c qxplain 195/197 56.35/54.00 c qxplain 197/197 56.45/54.16 c 292233[?] 36183[?] -36185[?] is mandatory 56.45/54.16 c qxplain 195/196 56.64/54.33 c qxplain 196/196 56.74/54.49 c 292240[?] 36076[?] -36186[?] is mandatory 56.74/54.49 c qxplain 195/195 56.94/54.65 c 292242[?] 36186[?] -36187[?] is mandatory 56.94/54.65 c qxplain 185/194 57.14/54.82 c qxplain 190/194 57.24/54.98 c qxplain 193/194 57.45/55.15 c qxplain 194/194 57.64/55.31 c 292243[?] 36185[?] -36187[?] is mandatory 57.64/55.31 c qxplain 193/193 57.74/55.48 c 292244[?] 36187[?] -36189[?] is mandatory 57.74/55.48 c qxplain 190/192 57.94/55.64 c qxplain 192/192 58.14/55.80 c 292251[?] 36077[?] -36190[?] is mandatory 58.14/55.80 c qxplain 190/191 58.24/55.97 c qxplain 191/191 58.44/56.13 c 292253[?] 36190[?] -36191[?] is mandatory 58.44/56.13 c qxplain 190/190 58.55/56.29 c 292254[?] 36189[?] -36191[?] is mandatory 58.55/56.29 c qxplain 185/189 58.74/56.46 c qxplain 188/189 58.94/56.62 c qxplain 189/189 59.04/56.79 c 292255[?] 36191[?] -36193[?] is mandatory 59.04/56.79 c qxplain 188/188 59.24/56.95 c 292262[?] 36078[?] -36194[?] is mandatory 59.24/56.95 c qxplain 185/187 59.44/57.12 c qxplain 187/187 59.54/57.28 c 292264[?] 36194[?] -36195[?] is mandatory 59.54/57.28 c qxplain 185/186 59.75/57.45 c qxplain 186/186 59.94/57.61 c 292265[?] 36193[?] -36195[?] is mandatory 59.94/57.61 c qxplain 185/185 60.04/57.78 c 292266[?] 36195[?] -36197[?] is mandatory 60.04/57.78 c qxplain 164/184 60.24/57.95 c qxplain 175/184 60.45/58.11 c qxplain 180/184 60.55/58.27 c qxplain 183/184 60.75/58.44 c qxplain 184/184 60.95/58.60 c 292273[?] 36079[?] -36198[?] is mandatory 60.95/58.60 c qxplain 183/183 61.05/58.77 c 292275[?] 36198[?] -36199[?] is mandatory 61.05/58.77 c qxplain 180/182 61.25/58.93 c qxplain 182/182 61.45/59.10 c 292276[?] 36197[?] -36199[?] is mandatory 61.45/59.10 c qxplain 180/181 61.55/59.26 c qxplain 181/181 61.75/59.43 c 292277[?] 36199[?] -36201[?] is mandatory 61.75/59.43 c qxplain 180/180 61.85/59.60 c 292284[?] 36080[?] -36202[?] is mandatory 61.85/59.60 c qxplain 175/179 62.05/59.76 c qxplain 178/179 62.25/59.93 c qxplain 179/179 62.35/60.09 c 292286[?] 36202[?] -36203[?] is mandatory 62.35/60.09 c qxplain 178/178 62.55/60.26 c 292287[?] 36201[?] -36203[?] is mandatory 62.55/60.26 c qxplain 175/177 62.75/60.42 c qxplain 177/177 62.85/60.59 c 292288[?] 36203[?] -36205[?] is mandatory 62.85/60.59 c qxplain 175/176 63.64/61.04 c qxplain 176/176 63.84/61.20 c 292294[?] 36206[?] -36081[?] is mandatory 63.84/61.20 c qxplain 175/175 63.94/61.37 c 292298[?] -36207[?] 36205[?] is mandatory 63.94/61.37 c qxplain 164/174 64.14/61.53 c qxplain 170/174 64.34/61.70 c qxplain 173/174 64.44/61.86 c qxplain 174/174 64.64/62.03 c 292299[?] -36209[?] 36207[?] is mandatory 64.64/62.03 c qxplain 173/173 64.84/62.20 c 292301[?] 36049[?] 36205[?] -36206[?] is mandatory 64.84/62.20 c qxplain 170/172 64.94/62.36 c qxplain 172/172 65.14/62.53 c 292307[?] -36210[?] 36209[?] 36205[?] is mandatory 65.14/62.53 c qxplain 170/171 65.24/62.69 c qxplain 171/171 65.44/62.86 c 292310[?] 36210[?] 36017[?] -36049[?] is mandatory 65.44/62.86 c qxplain 170/170 65.64/63.02 c 292314[?] -36017[?] 36211[?] is mandatory 65.64/63.02 c qxplain 164/169 65.74/63.18 c qxplain 167/169 65.94/63.35 c qxplain 169/169 66.14/63.51 c 292316[?] -36211[?] -36220[?] is mandatory 66.14/63.51 c qxplain 167/168 66.24/63.68 c qxplain 168/168 66.43/63.84 c 292318[?] 36220[?] -36228[?] is mandatory 66.43/63.84 c qxplain 167/167 66.64/64.01 c 292320[?] 36228[?] -36229[?] is mandatory 66.64/64.01 c qxplain 164/166 66.74/64.17 c qxplain 166/166 66.93/64.34 c 292322[?] 36229[?] -36230[?] is mandatory 66.93/64.34 c qxplain 164/165 67.13/64.50 c qxplain 165/165 67.23/64.67 c 292324[?] 36230[?] -36231[?] is mandatory 67.23/64.67 c qxplain 164/164 67.43/64.83 c 292326[?] 36231[?] -36232[?] is mandatory 67.43/64.83 c qxplain 0/163 67.63/65.00 c qxplain 82/163 67.75/65.17 c qxplain 123/163 67.94/65.33 c qxplain 144/163 68.14/65.50 c qxplain 154/163 68.24/65.66 c qxplain 159/163 68.44/65.83 c qxplain 162/163 68.54/65.99 c qxplain 163/163 68.74/66.16 c 292328[?] 36232[?] -36233[?] is mandatory 68.74/66.16 c qxplain 162/162 68.95/66.32 c 292330[?] 36233[?] -36234[?] is mandatory 68.95/66.32 c qxplain 159/161 69.04/66.49 c qxplain 161/161 69.24/66.65 c 292332[?] 36234[?] -36235[?] is mandatory 69.24/66.65 c qxplain 159/160 69.44/66.82 c qxplain 160/160 69.54/66.98 c 292333[?] 36235[?] -36219[?] is mandatory 69.54/66.98 c qxplain 159/159 69.74/67.15 c 292337[?] 36270[?] 35986[?] is mandatory 69.74/67.15 c qxplain 154/158 69.95/67.32 c qxplain 157/158 70.05/67.48 c qxplain 158/158 70.24/67.65 c 292339[?] 36271[?] 35987[?] is mandatory 70.24/67.65 c qxplain 157/157 70.44/67.82 c 292341[?] 36272[?] 35988[?] is mandatory 70.44/67.82 c qxplain 154/156 70.54/67.98 c qxplain 156/156 70.74/68.15 c 292343[?] 36273[?] 35989[?] is mandatory 70.74/68.15 c qxplain 154/155 70.94/68.32 c qxplain 155/155 71.05/68.49 c 292345[?] 36274[?] 35990[?] is mandatory 71.05/68.49 c qxplain 154/154 71.24/68.66 c 292347[?] 36275[?] 35991[?] is mandatory 71.24/68.66 c qxplain 144/153 71.44/68.82 c qxplain 149/153 71.54/68.99 c qxplain 152/153 71.74/69.15 c qxplain 153/153 71.94/69.32 c 292349[?] 36276[?] 35992[?] is mandatory 71.94/69.32 c qxplain 152/152 72.04/69.49 c 292351[?] 36277[?] 35993[?] is mandatory 72.04/69.49 c qxplain 149/151 72.25/69.65 c qxplain 151/151 72.44/69.82 c 292353[?] 36278[?] 35994[?] is mandatory 72.44/69.82 c qxplain 149/150 73.27/70.31 c qxplain 150/150 73.37/70.48 c 292355[?] 36279[?] 35995[?] is mandatory 73.37/70.48 c qxplain 149/149 73.57/70.65 c 292357[?] 36280[?] 35996[?] is mandatory 73.57/70.65 c qxplain 144/148 73.77/70.82 c qxplain 147/148 73.87/70.98 c qxplain 148/148 74.07/71.15 c 292359[?] 36281[?] 35997[?] is mandatory 74.07/71.15 c qxplain 147/147 74.27/71.31 c 292361[?] 36282[?] 35998[?] is mandatory 74.27/71.31 c qxplain 144/146 74.37/71.48 c qxplain 146/146 74.57/71.65 c 292363[?] 36283[?] 35999[?] is mandatory 74.57/71.65 c qxplain 144/145 74.78/71.81 c qxplain 145/145 74.87/71.98 c 292365[?] 36284[?] 36000[?] is mandatory 74.87/71.98 c qxplain 144/144 75.07/72.15 c 292367[?] 36285[?] 36001[?] is mandatory 75.07/72.15 c qxplain 123/143 75.27/72.32 c qxplain 134/143 75.37/72.48 c qxplain 139/143 75.57/72.65 c qxplain 142/143 75.77/72.81 c qxplain 143/143 75.88/72.98 c 292369[?] 36286[?] 36002[?] is mandatory 75.88/72.98 c qxplain 142/142 76.07/73.14 c 292371[?] 36287[?] 36003[?] is mandatory 76.07/73.14 c qxplain 139/141 76.27/73.31 c qxplain 141/141 76.37/73.48 c 292373[?] 36288[?] 36004[?] is mandatory 76.37/73.48 c qxplain 139/140 76.57/73.64 c qxplain 140/140 76.77/73.81 c 292375[?] 36289[?] 36005[?] is mandatory 76.77/73.81 c qxplain 139/139 76.87/73.98 c 292377[?] 36290[?] 36006[?] is mandatory 76.87/73.98 c qxplain 134/138 77.07/74.15 c qxplain 137/138 77.27/74.32 c qxplain 138/138 77.37/74.48 c 292379[?] 36291[?] 36007[?] is mandatory 77.37/74.48 c qxplain 137/137 77.57/74.65 c 292381[?] 36292[?] 36008[?] is mandatory 77.57/74.65 c qxplain 134/136 77.77/74.81 c qxplain 136/136 77.87/74.98 c 292383[?] 36293[?] 36009[?] is mandatory 77.87/74.98 c qxplain 134/135 78.07/75.15 c qxplain 135/135 78.27/75.32 c 292385[?] 36294[?] 36010[?] is mandatory 78.27/75.32 c qxplain 134/134 78.37/75.49 c 292387[?] 36295[?] 36011[?] is mandatory 78.37/75.49 c qxplain 123/133 78.57/75.65 c qxplain 129/133 78.77/75.82 c qxplain 132/133 78.87/75.98 c qxplain 133/133 79.07/76.15 c 292389[?] 36296[?] 36012[?] is mandatory 79.07/76.15 c qxplain 132/132 79.27/76.31 c 292391[?] 36297[?] 36013[?] is mandatory 79.27/76.31 c qxplain 129/131 79.37/76.48 c qxplain 131/131 79.57/76.64 c 292393[?] 36298[?] 36014[?] is mandatory 79.57/76.64 c qxplain 129/130 79.77/76.80 c qxplain 130/130 79.87/76.97 c 292395[?] 36299[?] 36015[?] is mandatory 79.87/76.97 c qxplain 129/129 80.07/77.14 c 292398[?] -36016[?] -36300[?] is mandatory 80.07/77.14 c qxplain 123/128 80.28/77.30 c qxplain 126/128 80.37/77.47 c qxplain 128/128 80.57/77.63 c 292399[?] 36269[?] 36301[?] is mandatory 80.57/77.63 c qxplain 126/127 80.67/77.80 c qxplain 127/127 80.87/77.97 c 292401[?] -36269[?] 36303[?] is mandatory 80.87/77.97 c qxplain 126/126 81.07/78.13 c 292403[?] -36301[?] 36302[?] is mandatory 81.07/78.13 c qxplain 123/125 81.27/78.30 c qxplain 125/125 81.38/78.47 c 292406[?] -36302[?] 36304[?] is mandatory 81.38/78.47 c qxplain 123/124 81.57/78.63 c qxplain 124/124 81.77/78.80 c 292407[?] -36303[?] 36304[?] is mandatory 81.77/78.80 c qxplain 123/123 81.87/78.97 c 292410[?] 36305[?] -36270[?] is mandatory 81.87/78.97 c qxplain 82/122 82.08/79.14 c qxplain 103/122 82.28/79.30 c qxplain 113/122 82.38/79.47 c qxplain 118/122 82.58/79.63 c qxplain 121/122 82.78/79.80 c qxplain 122/122 82.88/79.97 c 292412[?] 36306[?] -36305[?] -36304[?] is mandatory 82.88/79.97 c qxplain 121/121 83.08/80.13 c 292416[?] 36308[?] -36306[?] is mandatory 83.08/80.13 c qxplain 118/120 83.28/80.30 c qxplain 120/120 83.38/80.46 c 292421[?] 36309[?] -36271[?] is mandatory 83.38/80.46 c qxplain 118/119 83.58/80.62 c qxplain 119/119 83.68/80.79 c 292423[?] 36310[?] -36309[?] -36308[?] is mandatory 83.68/80.79 c qxplain 118/118 83.88/80.96 c 292427[?] 36312[?] -36310[?] is mandatory 83.88/80.96 c qxplain 113/117 84.08/81.13 c qxplain 116/117 84.18/81.29 c qxplain 117/117 84.38/81.46 c 292432[?] 36313[?] -36272[?] is mandatory 84.38/81.46 c qxplain 116/116 84.58/81.63 c 292434[?] 36314[?] -36313[?] -36312[?] is mandatory 84.58/81.63 c qxplain 113/115 84.78/81.80 c qxplain 115/115 84.88/81.96 c 292438[?] 36316[?] -36314[?] is mandatory 84.88/81.96 c qxplain 113/114 85.08/82.13 c qxplain 114/114 85.18/82.29 c 292443[?] 36317[?] -36273[?] is mandatory 85.18/82.29 c qxplain 113/113 85.38/82.46 c 292445[?] 36318[?] -36317[?] -36316[?] is mandatory 85.38/82.46 c qxplain 103/112 85.58/82.63 c qxplain 108/112 85.68/82.79 c qxplain 111/112 85.88/82.96 c qxplain 112/112 86.08/83.12 c 292449[?] 36320[?] -36318[?] is mandatory 86.08/83.12 c qxplain 111/111 86.18/83.29 c 292454[?] 36321[?] -36274[?] is mandatory 86.18/83.29 c qxplain 108/110 86.38/83.45 c qxplain 110/110 86.58/83.62 c 292456[?] 36322[?] -36320[?] -36321[?] is mandatory 86.58/83.62 c qxplain 108/109 86.68/83.78 c qxplain 109/109 86.88/83.95 c 292460[?] 36324[?] -36322[?] is mandatory 86.88/83.95 c qxplain 108/108 87.08/84.12 c 292465[?] 36325[?] -36275[?] is mandatory 87.08/84.12 c qxplain 103/107 87.18/84.28 c qxplain 106/107 87.38/84.45 c qxplain 107/107 87.58/84.61 c 292467[?] 36326[?] -36324[?] -36325[?] is mandatory 87.58/84.61 c qxplain 106/106 87.68/84.78 c 292471[?] 36328[?] -36326[?] is mandatory 87.68/84.78 c qxplain 103/105 87.88/84.94 c qxplain 105/105 88.08/85.11 c 292476[?] 36329[?] -36276[?] is mandatory 88.08/85.11 c qxplain 103/104 88.18/85.27 c qxplain 104/104 88.38/85.44 c 292478[?] 36330[?] -36329[?] -36328[?] is mandatory 88.38/85.44 c qxplain 103/103 88.58/85.61 c 292482[?] 36332[?] -36330[?] is mandatory 88.58/85.61 c qxplain 82/102 88.68/85.77 c qxplain 93/102 88.88/85.94 c qxplain 98/102 89.09/86.11 c qxplain 101/102 89.19/86.27 c qxplain 102/102 89.39/86.43 c 292487[?] 36333[?] -36277[?] is mandatory 89.39/86.43 c qxplain 101/101 89.59/86.60 c 292489[?] 36334[?] -36333[?] -36332[?] is mandatory 89.59/86.60 c qxplain 98/100 89.69/86.77 c qxplain 100/100 89.90/86.94 c 292493[?] 36336[?] -36334[?] is mandatory 89.90/86.94 c qxplain 98/99 90.10/87.10 c qxplain 99/99 90.20/87.27 c 292498[?] 36337[?] -36278[?] is mandatory 90.20/87.27 c qxplain 98/98 90.40/87.44 c 292500[?] 36338[?] -36337[?] -36336[?] is mandatory 90.40/87.44 c qxplain 93/97 90.60/87.61 c qxplain 96/97 90.70/87.77 c qxplain 97/97 90.90/87.94 c 292504[?] 36340[?] -36338[?] is mandatory 90.90/87.94 c qxplain 96/96 91.10/88.10 c 292509[?] 36341[?] -36279[?] is mandatory 91.10/88.10 c qxplain 93/95 91.20/88.27 c qxplain 95/95 91.40/88.43 c 292511[?] 36342[?] -36340[?] -36341[?] is mandatory 91.40/88.43 c qxplain 93/94 91.60/88.60 c qxplain 94/94 91.70/88.76 c 292515[?] 36344[?] -36342[?] is mandatory 91.70/88.76 c qxplain 93/93 91.90/88.93 c 292520[?] 36345[?] -36280[?] is mandatory 91.90/88.93 c qxplain 82/92 92.00/89.10 c qxplain 88/92 92.20/89.26 c qxplain 91/92 92.40/89.43 c qxplain 92/92 92.50/89.59 c 292522[?] 36346[?] -36344[?] -36345[?] is mandatory 92.50/89.59 c qxplain 91/91 92.70/89.76 c 292526[?] 36348[?] -36346[?] is mandatory 92.70/89.76 c qxplain 88/90 92.90/89.92 c qxplain 90/90 93.00/90.09 c 292531[?] 36349[?] -36281[?] is mandatory 93.00/90.09 c qxplain 88/89 93.20/90.25 c qxplain 89/89 93.40/90.42 c 292533[?] 36350[?] -36349[?] -36348[?] is mandatory 93.40/90.42 c qxplain 88/88 93.50/90.59 c 292537[?] 36352[?] -36350[?] is mandatory 93.50/90.59 c qxplain 82/87 93.69/90.76 c qxplain 85/87 93.89/90.92 c qxplain 87/87 93.99/91.09 c 292542[?] 36353[?] -36282[?] is mandatory 93.99/91.09 c qxplain 85/86 94.19/91.25 c qxplain 86/86 94.39/91.42 c 292544[?] 36354[?] -36353[?] -36352[?] is mandatory 94.39/91.42 c qxplain 85/85 94.50/91.59 c 292548[?] 36356[?] -36354[?] is mandatory 94.50/91.59 c qxplain 82/84 94.69/91.76 c qxplain 84/84 94.89/91.92 c 292553[?] 36357[?] -36283[?] is mandatory 94.89/91.92 c qxplain 82/83 94.99/92.09 c qxplain 83/83 95.19/92.25 c 292555[?] 36358[?] -36357[?] -36356[?] is mandatory 95.19/92.25 c qxplain 82/82 95.39/92.42 c 292559[?] 36360[?] -36358[?] is mandatory 95.39/92.42 c qxplain 0/81 95.49/92.59 c qxplain 41/81 95.70/92.75 c qxplain 62/81 95.90/92.91 c qxplain 72/81 95.99/93.08 c qxplain 77/81 96.19/93.24 c qxplain 80/81 96.40/93.41 c qxplain 81/81 96.50/93.57 c 292564[?] 36361[?] -36284[?] is mandatory 96.50/93.57 c qxplain 80/80 96.70/93.74 c 292566[?] 36362[?] -36361[?] -36360[?] is mandatory 96.70/93.74 c qxplain 77/79 96.90/93.90 c qxplain 79/79 96.99/94.07 c 292570[?] 36364[?] -36362[?] is mandatory 96.99/94.07 c qxplain 77/78 97.19/94.23 c qxplain 78/78 97.39/94.40 c 292575[?] 36365[?] -36285[?] is mandatory 97.39/94.40 c qxplain 77/77 97.49/94.57 c 292577[?] 36366[?] -36365[?] -36364[?] is mandatory 97.49/94.57 c qxplain 72/76 97.69/94.74 c qxplain 75/76 97.91/94.91 c qxplain 76/76 98.00/95.07 c 292581[?] 36368[?] -36366[?] is mandatory 98.00/95.07 c qxplain 75/75 98.20/95.24 c 292586[?] 36369[?] -36286[?] is mandatory 98.20/95.24 c qxplain 72/74 98.40/95.40 c qxplain 74/74 98.50/95.57 c 292588[?] 36370[?] -36368[?] -36369[?] is mandatory 98.50/95.57 c qxplain 72/73 98.70/95.73 c qxplain 73/73 98.80/95.90 c 292592[?] 36372[?] -36370[?] is mandatory 98.80/95.90 c qxplain 72/72 99.01/96.07 c 292597[?] 36373[?] -36287[?] is mandatory 99.01/96.07 c qxplain 62/71 99.20/96.23 c qxplain 67/71 99.40/96.40 c qxplain 70/71 99.50/96.57 c qxplain 71/71 99.70/96.73 c 292599[?] 36374[?] -36372[?] -36373[?] is mandatory 99.70/96.73 c qxplain 70/70 99.80/96.89 c 292603[?] 36376[?] -36374[?] is mandatory 99.80/96.89 c qxplain 67/69 100.01/97.06 c qxplain 69/69 100.20/97.22 c 292608[?] 36377[?] -36288[?] is mandatory 100.20/97.22 c qxplain 67/68 100.30/97.39 c qxplain 68/68 100.50/97.56 c 292610[?] 36378[?] -36377[?] -36376[?] is mandatory 100.50/97.56 c qxplain 67/67 100.70/97.73 c 292614[?] 36380[?] -36378[?] is mandatory 100.70/97.73 c qxplain 62/66 100.80/97.90 c qxplain 65/66 101.00/98.06 c qxplain 66/66 101.21/98.22 c 292619[?] 36381[?] -36289[?] is mandatory 101.21/98.22 c qxplain 65/65 101.30/98.39 c 292621[?] 36382[?] -36381[?] -36380[?] is mandatory 101.30/98.39 c qxplain 62/64 101.50/98.56 c qxplain 64/64 101.70/98.72 c 292625[?] 36384[?] -36382[?] is mandatory 101.70/98.72 c qxplain 62/63 101.80/98.89 c qxplain 63/63 102.00/99.06 c 292630[?] 36385[?] -36290[?] is mandatory 102.00/99.06 c qxplain 62/62 102.21/99.23 c 292632[?] 36386[?] -36385[?] -36384[?] is mandatory 102.21/99.23 c qxplain 41/61 102.31/99.39 c qxplain 52/61 102.50/99.55 c qxplain 57/61 102.70/99.72 c qxplain 60/61 102.80/99.89 c qxplain 61/61 103.00/100.05 c 292636[?] 36388[?] -36386[?] is mandatory 103.00/100.05 c qxplain 60/60 103.20/100.21 c 292641[?] 36389[?] -36291[?] is mandatory 103.20/100.21 c qxplain 57/59 103.32/100.38 c qxplain 59/59 103.51/100.55 c 292643[?] 36390[?] -36388[?] -36389[?] is mandatory 103.51/100.55 c qxplain 57/58 103.71/100.71 c qxplain 58/58 103.81/100.88 c 292647[?] 36392[?] -36390[?] is mandatory 103.81/100.88 c qxplain 57/57 104.01/101.05 c 292652[?] 36393[?] -36292[?] is mandatory 104.01/101.05 c qxplain 52/56 104.21/101.21 c qxplain 55/56 104.31/101.38 c qxplain 56/56 104.52/101.54 c 292654[?] 36394[?] -36392[?] -36393[?] is mandatory 104.52/101.54 c qxplain 55/55 104.71/101.71 c 292658[?] 36396[?] -36394[?] is mandatory 104.71/101.71 c qxplain 52/54 104.81/101.87 c qxplain 54/54 105.01/102.04 c 292663[?] 36397[?] -36293[?] is mandatory 105.01/102.04 c qxplain 52/53 105.21/102.20 c qxplain 53/53 105.31/102.37 c 292665[?] 36398[?] -36397[?] -36396[?] is mandatory 105.31/102.37 c qxplain 52/52 105.53/102.55 c 292669[?] 36400[?] -36398[?] is mandatory 105.53/102.55 c qxplain 41/51 105.72/102.72 c qxplain 47/51 105.82/102.88 c qxplain 50/51 106.02/103.05 c qxplain 51/51 106.22/103.21 c 292674[?] 36401[?] -36294[?] is mandatory 106.22/103.21 c qxplain 50/50 106.32/103.38 c 292676[?] 36402[?] -36401[?] -36400[?] is mandatory 106.32/103.38 c qxplain 47/49 106.52/103.54 c qxplain 49/49 106.73/103.71 c 292680[?] 36404[?] -36402[?] is mandatory 106.73/103.71 c qxplain 47/48 106.82/103.87 c qxplain 48/48 107.02/104.04 c 292685[?] 36405[?] -36295[?] is mandatory 107.02/104.04 c qxplain 47/47 107.22/104.21 c 292687[?] 36406[?] -36405[?] -36404[?] is mandatory 107.22/104.21 c qxplain 41/46 107.32/104.38 c qxplain 44/46 107.52/104.54 c qxplain 46/46 107.72/104.71 c 292691[?] 36408[?] -36406[?] is mandatory 107.72/104.71 c qxplain 44/45 107.83/104.87 c qxplain 45/45 108.02/105.04 c 292696[?] 36409[?] -36296[?] is mandatory 108.02/105.04 c qxplain 44/44 108.22/105.21 c 292698[?] 36410[?] -36409[?] -36408[?] is mandatory 108.22/105.21 c qxplain 41/43 108.32/105.37 c qxplain 43/43 108.52/105.54 c 292702[?] 36412[?] -36410[?] is mandatory 108.52/105.54 c qxplain 41/42 108.72/105.70 c qxplain 42/42 108.82/105.87 c 292707[?] 36413[?] -36297[?] is mandatory 108.82/105.87 c qxplain 41/41 109.02/106.04 c 292709[?] 36414[?] -36413[?] -36412[?] is mandatory 109.02/106.04 c qxplain 0/40 109.22/106.20 c qxplain 21/40 109.32/106.37 c qxplain 31/40 109.52/106.53 c qxplain 36/40 109.72/106.70 c qxplain 39/40 109.82/106.86 c qxplain 40/40 110.02/107.03 c 292713[?] 36416[?] -36414[?] is mandatory 110.02/107.03 c qxplain 39/39 110.12/107.19 c 292718[?] 36417[?] -36298[?] is mandatory 110.12/107.19 c qxplain 36/38 110.32/107.36 c qxplain 38/38 110.52/107.53 c 292720[?] 36418[?] -36416[?] -36417[?] is mandatory 110.52/107.53 c qxplain 36/37 110.62/107.69 c qxplain 37/37 110.82/107.86 c 292724[?] 36420[?] -36418[?] is mandatory 110.82/107.86 c qxplain 36/36 111.02/108.03 c 292729[?] 36421[?] -36299[?] is mandatory 111.02/108.03 c qxplain 31/35 111.12/108.19 c qxplain 34/35 111.32/108.36 c qxplain 35/35 111.52/108.53 c 292731[?] 36422[?] -36420[?] -36421[?] is mandatory 111.52/108.53 c qxplain 34/34 111.62/108.69 c 292735[?] 36424[?] -36422[?] is mandatory 111.62/108.69 c qxplain 31/33 111.82/108.86 c qxplain 33/33 112.02/109.02 c 292741[?] 36300[?] -36425[?] is mandatory 112.02/109.02 c qxplain 31/32 112.12/109.19 c qxplain 32/32 112.32/109.36 c 292742[?] 36426[?] -36424[?] -36425[?] is mandatory 112.32/109.36 c qxplain 31/31 112.52/109.53 c 292743[?] 36425[?] -36426[?] is mandatory 112.52/109.53 c qxplain 21/30 112.62/109.69 c qxplain 26/30 112.82/109.86 c qxplain 29/30 113.02/110.02 c qxplain 30/30 113.13/110.20 c 292745[?] 36426[?] -36428[?] is mandatory 113.13/110.20 c qxplain 29/29 113.33/110.36 c 292746[?] 36428[?] -36426[?] is mandatory 113.33/110.36 c qxplain 26/28 113.53/110.53 c qxplain 28/28 113.73/110.71 c 292748[?] -36424[?] 36425[?] 36268[?] is mandatory 113.73/110.71 c qxplain 26/27 113.83/110.88 c qxplain 27/27 114.03/111.05 c 292749[?] 36425[?] 36424[?] -36268[?] is mandatory 114.03/111.05 c qxplain 26/26 114.23/111.22 c 292750[?] -36268[?] -36424[?] -36425[?] is mandatory 114.23/111.22 c qxplain 21/25 114.33/111.38 c qxplain 24/25 114.52/111.55 c qxplain 25/25 114.72/111.72 c 292752[?] -36424[?] 36428[?] 36429[?] is mandatory 114.72/111.72 c qxplain 24/24 114.93/111.90 c 292753[?] 36428[?] 36424[?] -36429[?] is mandatory 114.93/111.90 c qxplain 21/23 115.03/112.07 c qxplain 23/23 115.23/112.23 c 292754[?] -36428[?] -36424[?] -36429[?] is mandatory 115.23/112.23 c qxplain 21/22 115.43/112.40 c qxplain 22/22 115.53/112.57 c 292755[?] 36268[?] 36429[?] 36236[?] is mandatory 115.53/112.57 c qxplain 21/21 115.73/112.74 c 292756[?] -36268[?] -36429[?] 36236[?] is mandatory 115.73/112.74 c qxplain 0/20 115.93/112.90 c qxplain 11/20 116.03/113.07 c qxplain 16/20 116.23/113.23 c qxplain 19/20 116.43/113.40 c qxplain 20/20 116.53/113.57 c 292760[?] -36236[?] 36430[?] is mandatory 116.53/113.57 c qxplain 19/19 116.73/113.76 c 292762[?] -36430[?] -36440[?] is mandatory 116.73/113.76 c qxplain 16/18 116.93/113.92 c qxplain 18/18 117.03/114.09 c 292764[?] 36440[?] -36448[?] is mandatory 117.03/114.09 c qxplain 16/17 117.23/114.25 c qxplain 17/17 117.43/114.42 c 292766[?] 36448[?] -36449[?] is mandatory 117.43/114.42 c qxplain 16/16 117.53/114.59 c 292768[?] 36449[?] -36450[?] is mandatory 117.53/114.59 c qxplain 11/15 117.74/114.75 c qxplain 14/15 117.93/114.92 c qxplain 15/15 118.03/115.08 c 292770[?] 36450[?] -36451[?] is mandatory 118.03/115.08 c qxplain 14/14 118.24/115.25 c 292772[?] 36451[?] -36452[?] is mandatory 118.24/115.25 c qxplain 11/13 118.44/115.42 c qxplain 13/13 118.54/115.58 c 292774[?] 36452[?] -36453[?] is mandatory 118.54/115.58 c qxplain 11/12 118.74/115.74 c qxplain 12/12 118.94/115.91 c 292776[?] 36453[?] -36454[?] is mandatory 118.94/115.91 c qxplain 11/11 119.04/116.08 c 292778[?] 36454[?] -36455[?] is mandatory 119.04/116.08 c qxplain 0/10 119.23/116.24 c qxplain 6/10 119.43/116.41 c qxplain 9/10 119.53/116.58 c qxplain 10/10 119.73/116.74 c 292779[?] 36455[?] -36439[?] is mandatory 119.73/116.74 c qxplain 9/9 119.94/116.91 c 292781[?] 36439[?] 36438[?] is mandatory 119.94/116.91 c qxplain 6/8 120.03/117.08 c qxplain 8/8 120.23/117.24 c 292968[?] -36438[?] -36579[?] is mandatory 120.23/117.24 c qxplain 6/7 120.43/117.41 c qxplain 7/7 120.53/117.58 c 292972[?] 36219[?] -36580[?] is mandatory 120.53/117.58 c qxplain 6/6 120.73/117.74 c 292973[?] 36579[?] -36580[?] is mandatory 120.73/117.74 c qxplain 0/5 120.95/117.92 c qxplain 3/5 121.05/118.08 c qxplain 5/5 121.24/118.25 c 292976[?] -36581[?] 36580[?] is mandatory 121.24/118.25 c qxplain 3/4 121.44/118.41 c qxplain 4/4 121.54/118.58 c 294686[?] -37704[?] 36581[?] is mandatory 121.54/118.58 c qxplain 3/3 121.74/118.75 c 294690[?] -37705[?] 37704[?] is mandatory 121.74/118.75 c qxplain 0/2 121.94/118.92 c qxplain 2/2 122.05/119.09 c 457688[?] -96252[?] 37705[?] is mandatory 122.05/119.09 c qxplain 0/1 122.24/119.25 c qxplain 1/1 122.44/119.42 c 628985[?] -159598[?] 96252[?] is mandatory 122.44/119.42 c qxplain 0/0 122.54/119.59 c 686979[?] 178771[?] 159598[?] is mandatory 123.11/119.98 c Size of the MUS: 328 123.11/119.98 c Unsat core computation wall clock time (in seconds) : 114.015 123.11/119.98 c starts : 662 123.11/119.98 c conflicts : 1058 123.11/119.98 c decisions : 117384235 123.11/119.98 c propagations : 457822882 123.11/119.98 c inspects : 31201011 123.11/119.98 c shortcuts : 0 123.11/119.98 c learnt literals : 0 123.11/119.98 c learnt binary clauses : 0 123.11/119.98 c learnt ternary clauses : 2 123.11/119.98 c learnt constraints : 1057 123.11/119.98 c ignored constraints : 0 123.11/119.98 c root simplifications : 0 123.11/119.98 c removed literals (reason simplification) : 49 123.11/119.98 c reason swapping (by a shorter reason) : 0 123.11/119.98 c Calls to reduceDB : 0 123.11/119.98 c speed (assignments/second) : 8.21944132854578E8 123.11/119.98 c non guided choices 117358182 123.11/119.98 c learnt constraints type 123.11/119.98 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 1057 123.11/119.98 c constraints type 123.11/119.98 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 486867 123.11/119.98 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 21343 123.11/119.98 s UNSATISFIABLE 123.11/119.98 v 21343 113121 113123 113125 113127 113129 113131 113133 113135 113137 113139 113141 113143 113145 113147 113149 113151 113153 113155 113157 113159 113161 113163 113165 113167 113169 113171 113173 113175 113177 113179 113180 113194 113196 113198 113205 113207 113208 113209 113216 113218 113219 113220 113227 113229 113230 113231 113238 113240 113241 113242 113249 113251 113252 113253 113260 113262 113263 113264 113271 113273 113274 113275 113282 113284 113285 113286 113293 113295 113296 113297 113304 113306 113307 113308 113315 113317 113318 113319 113326 113328 113329 113330 113337 113339 113340 113341 113348 113350 113351 113352 113359 113361 113362 113363 113370 113372 113373 113374 113381 113383 113384 113385 113392 113394 113395 113396 113403 113405 113406 113407 113414 113416 113417 113418 113425 113427 113428 113429 113436 113438 113439 113440 113447 113449 113450 113451 113458 113460 113461 113462 113469 113471 113472 113473 113480 113482 113483 113484 113491 113493 113494 113495 113502 113504 113505 113506 113513 113515 113516 113517 113523 113527 113528 113530 113536 113539 113543 113545 113547 113549 113551 113553 113555 113557 113559 113561 113562 113566 113568 113570 113572 113574 113576 113578 113580 113582 113584 113586 113588 113590 113592 113594 113596 113598 113600 113602 113604 113606 113608 113610 113612 113614 113616 113618 113620 113622 113624 113627 113628 113630 113632 113635 113636 113639 113641 113645 113650 113652 113656 113661 113663 113667 113672 113674 113678 113683 113685 113689 113694 113696 113700 113705 113707 113711 113716 113718 113722 113727 113729 113733 113738 113740 113744 113749 113751 113755 113760 113762 113766 113771 113773 113777 113782 113784 113788 113793 113795 113799 113804 113806 113810 113815 113817 113821 113826 113828 113832 113837 113839 113843 113848 113850 113854 113859 113861 113865 113870 113872 113876 113881 113883 113887 113892 113894 113898 113903 113905 113909 113914 113916 113920 113925 113927 113931 113936 113938 113942 113947 113949 113953 113958 113960 113964 113970 113971 113972 113974 113975 113977 113978 113979 113981 113982 113983 113984 113985 113989 113991 113993 113995 113997 113999 114001 114003 114005 114007 114008 114010 114197 114201 114202 114205 115915 115919 278917 450214 508208 0 123.11/119.98 c Total wall clock time (in seconds) : 119.678
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-3493576-1307800902/watcher-3493576-1307800902 -o /tmp/evaluation-result-3493576-1307800902/solver-3493576-1307800902 -C 1800 -W 1850 -M 7680 java -Xms6000m -Xmx6000m -jar sat4j-mus-v20110206.jar HOME/instance-3493576-1307800902.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: 2.15 2.09 1.95 2/194 17713 /proc/meminfo: memFree=29320532/32951124 swapFree=67076880/67111528 [pid=17713] ppid=17711 vsize=11804 CPUtime=0 cores=1,3 /proc/17713/stat : 17713 (runsolver) S 17711 17713 30365 0 -1 4202560 41 0 0 0 0 0 0 0 23 0 1 0 891687947 12087296 51 33554432000 4194304 5436572 140735880552224 18446744073709551615 4883175 0 2147483391 4096 24578 18446744071699960631 0 0 17 1 0 0 0 /proc/17713/statm: 2951 51 31 304 0 2643 0 [startup+0.0676081 s] /proc/loadavg: 2.15 2.09 1.95 2/194 17713 /proc/meminfo: memFree=29320532/32951124 swapFree=67076880/67111528 [pid=17713] ppid=17711 vsize=11804 CPUtime=0 cores=1,3 /proc/17713/stat : 17713 (runsolver) S 17711 17713 30365 0 -1 4202560 41 0 0 0 0 0 0 0 23 0 1 0 891687947 12087296 51 33554432000 4194304 5436572 140735880552224 18446744073709551615 4883175 0 2147483391 4096 24578 18446744071699960631 0 0 17 1 0 0 0 /proc/17713/statm: 2951 51 31 304 0 2643 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 11804 [startup+0.100606 s] /proc/loadavg: 2.15 2.09 1.95 2/194 17713 /proc/meminfo: memFree=29320532/32951124 swapFree=67076880/67111528 [pid=17713] ppid=17711 vsize=11804 CPUtime=0 cores=1,3 /proc/17713/stat : 17713 (runsolver) S 17711 17713 30365 0 -1 4202560 41 0 0 0 0 0 0 0 23 0 1 0 891687947 12087296 51 33554432000 4194304 5436572 140735880552224 18446744073709551615 4883175 0 2147483391 4096 24578 18446744071699960631 0 0 17 1 0 0 0 /proc/17713/statm: 2951 51 31 304 0 2643 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 11804 [startup+0.300567 s] /proc/loadavg: 2.15 2.09 1.95 2/194 17713 /proc/meminfo: memFree=29320532/32951124 swapFree=67076880/67111528 [pid=17713] ppid=17711 vsize=6364156 CPUtime=0.09 cores=1,3 /proc/17713/stat : 17713 (java) S 17711 17713 30365 0 -1 4202496 8963 0 1 0 8 1 0 0 23 0 18 0 891687947 6516895744 8659 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/17713/statm: 1591039 8659 1751 9 0 1581777 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6364156 [startup+0.700493 s] /proc/loadavg: 2.15 2.09 1.95 2/194 17713 /proc/meminfo: memFree=29320532/32951124 swapFree=67076880/67111528 [pid=17713] ppid=17711 vsize=6438644 CPUtime=0.84 cores=1,3 /proc/17713/stat : 17713 (java) S 17711 17713 30365 0 -1 4202496 30682 0 1 0 80 4 0 0 23 0 18 0 891687947 6593171456 29869 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/17713/statm: 1609661 29874 2204 9 0 1600399 0 Current children cumulated CPU time (s) 0.84 Current children cumulated vsize (KiB) 6438644 [startup+1.50131 s] /proc/loadavg: 2.15 2.09 1.95 3/213 17740 /proc/meminfo: memFree=29088772/32951124 swapFree=67076880/67111528 [pid=17713] ppid=17711 vsize=6439672 CPUtime=1.93 cores=1,3 /proc/17713/stat : 17713 (java) S 17711 17713 30365 0 -1 4202496 80848 0 1 0 183 10 0 0 23 0 19 0 891687947 6594224128 80033 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/17713/statm: 1609918 80033 2216 9 0 1600656 0 [pid=17713/tid=17717] ppid=17711 vsize=6439672 CPUtime=1.28 cores=1,3 /proc/17713/task/17717/stat : 17717 (java) R 17711 17713 30365 0 -1 4202560 76476 0 1 0 119 9 0 0 20 0 19 0 891687968 6594224128 80033 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 46912505227952 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=17713/tid=17718] ppid=17711 vsize=6439672 CPUtime=0 cores=1,3 /proc/17713/task/17718/stat : 17718 (java) S 17711 17713 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891687969 6594224128 80033 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0 [pid=17713/tid=17719] ppid=17711 vsize=6439672 CPUtime=0 cores=1,3 /proc/17713/task/17719/stat : 17719 (java) S 17711 17713 30365 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 891687969 6594224128 80033 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0 [pid=17713/tid=17720] ppid=17711 vsize=6439672 CPUtime=0 cores=1,3 /proc/17713/task/17720/stat : 17720 (java) S 17711 17713 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891687969 6594224128 80033 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0 [pid=17713/tid=17721] ppid=17711 vsize=6439672 CPUtime=0 cores=1,3 /proc/17713/task/17721/stat : 17721 (java) S 17711 17713 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891687969 6594224128 80033 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0 [pid=17713/tid=17722] ppid=17711 vsize=6439672 CPUtime=0 cores=1,3 /proc/17713/task/17722/stat : 17722 (java) S 17711 17713 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891687969 6594224128 80033 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0 [pid=17713/tid=17723] ppid=17711 vsize=6439672 CPUtime=0 cores=1,3 /proc/17713/task/17723/stat : 17723 (java) S 17711 17713 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891687969 6594224128 80033 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0 [pid=17713/tid=17724] ppid=17711 vsize=6439672 CPUtime=0 cores=1,3 /proc/17713/task/17724/stat : 17724 (java) S 17711 17713 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891687969 6594224128 80033 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0 [pid=17713/tid=17725] ppid=17711 vsize=6439672 CPUtime=0 cores=1,3 /proc/17713/task/17725/stat : 17725 (java) S 17711 17713 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891687969 6594224128 80033 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0 [pid=17713/tid=17726] ppid=17711 vsize=6439672 CPUtime=0 cores=1,3 /proc/17713/task/17726/stat : 17726 (java) S 17711 17713 30365 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 19 0 891687970 6594224128 80033 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491840 0 0 0 16800975 18446604471161680896 0 0 -1 1 0 0 0 [pid=17713/tid=17727] ppid=17711 vsize=6439672 CPUtime=0 cores=1,3 /proc/17713/task/17727/stat : 17727 (java) S 17711 17713 30365 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 891687971 6594224128 80033 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0 [pid=17713/tid=17728] ppid=17711 vsize=6439672 CPUtime=0 cores=1,3 /proc/17713/task/17728/stat : 17728 (java) S 17711 17713 30365 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 891687971 6594224128 80033 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0 [pid=17713/tid=17729] ppid=17711 vsize=6439672 CPUtime=0 cores=1,3 /proc/17713/task/17729/stat : 17729 (java) S 17711 17713 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891687973 6594224128 80033 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699498929 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0 [pid=17713/tid=17730] ppid=17711 vsize=6439672 CPUtime=0.24 cores=1,3 /proc/17713/task/17730/stat : 17730 (java) R 17711 17713 30365 0 -1 4202560 290 0 0 0 24 0 0 0 20 0 19 0 891687973 6594224128 80034 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=17713/tid=17731] ppid=17711 vsize=6439672 CPUtime=0.38 cores=1,3 /proc/17713/task/17731/stat : 17731 (java) R 17711 17713 30365 0 -1 4202560 2920 0 0 0 38 0 0 0 20 0 19 0 891687973 6594224128 80034 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 47872752652560 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=17713/tid=17732] ppid=17711 vsize=6439672 CPUtime=0 cores=1,3 /proc/17713/task/17732/stat : 17732 (java) S 17711 17713 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891687973 6594224128 80034 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0 [pid=17713/tid=17733] ppid=17711 vsize=6439672 CPUtime=0 cores=1,3 /proc/17713/task/17733/stat : 17733 (java) S 17711 17713 30365 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 891687973 6594224128 80034 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491840 0 4 0 16800975 18446604471161680896 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 1.93 Current children cumulated vsize (KiB) 6439672 [startup+3.10106 s] /proc/loadavg: 2.15 2.09 1.95 3/213 17750 /proc/meminfo: memFree=29006684/32951124 swapFree=67076880/67111528 [pid=17713] ppid=17711 vsize=6439672 CPUtime=3.73 cores=1,3 /proc/17713/stat : 17713 (java) S 17711 17713 30365 0 -1 4202496 81327 0 1 0 363 10 0 0 23 0 19 0 891687947 6594224128 80511 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/17713/statm: 1609918 80511 2225 9 0 1600656 0 [pid=17713/tid=17717] ppid=17711 vsize=6439672 CPUtime=2.88 cores=1,3 /proc/17713/task/17717/stat : 17717 (java) R 17711 17713 30365 0 -1 4202560 76912 0 1 0 279 9 0 0 25 0 19 0 891687968 6594224128 80511 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 46912505644487 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=17713/tid=17718] ppid=17711 vsize=6439672 CPUtime=0 cores=1,3 /proc/17713/task/17718/stat : 17718 (java) S 17711 17713 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891687969 6594224128 80511 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0 [pid=17713/tid=17719] ppid=17711 vsize=6439672 CPUtime=0 cores=1,3 /proc/17713/task/17719/stat : 17719 (java) S 17711 17713 30365 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 891687969 6594224128 80511 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0 [pid=17713/tid=17720] ppid=17711 vsize=6439672 CPUtime=0 cores=1,3 /proc/17713/task/17720/stat : 17720 (java) S 17711 17713 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891687969 6594224128 80511 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0 [pid=17713/tid=17721] ppid=17711 vsize=6439672 CPUtime=0 cores=1,3 /proc/17713/task/17721/stat : 17721 (java) S 17711 17713 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891687969 6594224128 80511 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0 [pid=17713/tid=17722] ppid=17711 vsize=6439672 CPUtime=0 cores=1,3 /proc/17713/task/17722/stat : 17722 (java) S 17711 17713 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891687969 6594224128 80511 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0 [pid=17713/tid=17723] ppid=17711 vsize=6439672 CPUtime=0 cores=1,3 /proc/17713/task/17723/stat : 17723 (java) S 17711 17713 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891687969 6594224128 80511 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0 [pid=17713/tid=17724] ppid=17711 vsize=6439672 CPUtime=0 cores=1,3 /proc/17713/task/17724/stat : 17724 (java) S 17711 17713 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891687969 6594224128 80511 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0 [pid=17713/tid=17725] ppid=17711 vsize=6439672 CPUtime=0 cores=1,3 /proc/17713/task/17725/stat : 17725 (java) S 17711 17713 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891687969 6594224128 80511 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0 [pid=17713/tid=17726] ppid=17711 vsize=6439672 CPUtime=0 cores=1,3 /proc/17713/task/17726/stat : 17726 (java) S 17711 17713 30365 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 19 0 891687970 6594224128 80511 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491840 0 0 0 16800975 18446604471161680896 0 0 -1 1 0 0 0 [pid=17713/tid=17727] ppid=17711 vsize=6439672 CPUtime=0 cores=1,3 /proc/17713/task/17727/stat : 17727 (java) S 17711 17713 30365 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 891687971 6594224128 80511 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0 [pid=17713/tid=17728] ppid=17711 vsize=6439672 CPUtime=0 cores=1,3 /proc/17713/task/17728/stat : 17728 (java) S 17711 17713 30365 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 891687971 6594224128 80511 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0 [pid=17713/tid=17729] ppid=17711 vsize=6439672 CPUtime=0 cores=1,3 /proc/17713/task/17729/stat : 17729 (java) S 17711 17713 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891687973 6594224128 80511 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699498929 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0 [pid=17713/tid=17730] ppid=17711 vsize=6439672 CPUtime=0.37 cores=1,3 /proc/17713/task/17730/stat : 17730 (java) S 17711 17713 30365 0 -1 4202560 313 0 0 0 37 0 0 0 15 0 19 0 891687973 6594224128 80511 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 3 0 0 0 [pid=17713/tid=17731] ppid=17711 vsize=6439672 CPUtime=0.46 cores=1,3 /proc/17713/task/17731/stat : 17731 (java) S 17711 17713 30365 0 -1 4202560 2939 0 0 0 46 0 0 0 15 0 19 0 891687973 6594224128 80511 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 3 0 0 0 [pid=17713/tid=17732] ppid=17711 vsize=6439672 CPUtime=0 cores=1,3 /proc/17713/task/17732/stat : 17732 (java) S 17711 17713 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891687973 6594224128 80511 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0 [pid=17713/tid=17733] ppid=17711 vsize=6439672 CPUtime=0 cores=1,3 /proc/17713/task/17733/stat : 17733 (java) S 17711 17713 30365 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 891687973 6594224128 80511 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491840 0 4 0 16800975 18446604471161680896 0 0 -1 3 0 0 0 [pid=17713/tid=17744] ppid=17711 vsize=6439672 CPUtime=0 cores=1,3 /proc/17713/task/17744/stat : 17744 (java) S 17711 17713 30365 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 891688086 6594224128 80511 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491840 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 3.73 Current children cumulated vsize (KiB) 6439672 [startup+6.30144 s] /proc/loadavg: 2.21 2.10 1.95 3/213 17779 /proc/meminfo: memFree=29005416/32951124 swapFree=67076880/67111528 [pid=17713] ppid=17711 vsize=6439672 CPUtime=7.06 cores=1,3 /proc/17713/stat : 17713 (java) S 17711 17713 30365 0 -1 4202496 90454 0 1 0 695 11 0 0 23 0 19 0 891687947 6594224128 89636 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/17713/statm: 1609918 89636 2229 9 0 1600656 0 [pid=17713/tid=17717] ppid=17711 vsize=6439672 CPUtime=6.07 cores=1,3 /proc/17713/task/17717/stat : 17717 (java) R 17711 17713 30365 0 -1 4202560 86018 0 1 0 597 10 0 0 25 0 19 0 891687968 6594224128 89636 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 46912505923397 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=17713/tid=17718] ppid=17711 vsize=6439672 CPUtime=0 cores=1,3 /proc/17713/task/17718/stat : 17718 (java) S 17711 17713 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891687969 6594224128 89636 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0 [pid=17713/tid=17719] ppid=17711 vsize=6439672 CPUtime=0 cores=1,3 /proc/17713/task/17719/stat : 17719 (java) S 17711 17713 30365 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 891687969 6594224128 89636 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0 [pid=17713/tid=17720] ppid=17711 vsize=6439672 CPUtime=0 cores=1,3 /proc/17713/task/17720/stat : 17720 (java) S 17711 17713 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891687969 6594224128 89636 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0 [pid=17713/tid=17721] ppid=17711 vsize=6439672 CPUtime=0 cores=1,3 /proc/17713/task/17721/stat : 17721 (java) S 17711 17713 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891687969 6594224128 89636 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0 [pid=17713/tid=17722] ppid=17711 vsize=6439672 CPUtime=0 cores=1,3 /proc/17713/task/17722/stat : 17722 (java) S 17711 17713 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891687969 6594224128 89636 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0 [pid=17713/tid=17723] ppid=17711 vsize=6439672 CPUtime=0 cores=1,3 /proc/17713/task/17723/stat : 17723 (java) S 17711 17713 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891687969 6594224128 89636 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0 [pid=17713/tid=17724] ppid=17711 vsize=6439672 CPUtime=0 cores=1,3 /proc/17713/task/17724/stat : 17724 (java) S 17711 17713 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891687969 6594224128 89636 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0 [pid=17713/tid=17725] ppid=17711 vsize=6439672 CPUtime=0 cores=1,3 /proc/17713/task/17725/stat : 17725 (java) S 17711 17713 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891687969 6594224128 89636 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0 [pid=17713/tid=17726] ppid=17711 vsize=6439672 CPUtime=0 cores=1,3 /proc/17713/task/17726/stat : 17726 (java) S 17711 17713 30365 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 891687970 6594224128 89636 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491840 0 0 0 16800975 18446604471161680896 0 0 -1 1 0 0 0 [pid=17713/tid=17727] ppid=17711 vsize=6439672 CPUtime=0 cores=1,3 /proc/17713/task/17727/stat : 17727 (java) S 17711 17713 30365 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 891687971 6594224128 89636 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0 [pid=17713/tid=17728] ppid=17711 vsize=6439672 CPUtime=0 cores=1,3 /proc/17713/task/17728/stat : 17728 (java) S 17711 17713 30365 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 891687971 6594224128 89636 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0 [pid=17713/tid=17729] ppid=17711 vsize=6439672 CPUtime=0 cores=1,3 /proc/17713/task/17729/stat : 17729 (java) S 17711 17713 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891687973 6594224128 89636 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699498929 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0 [pid=17713/tid=17730] ppid=17711 vsize=6439672 CPUtime=0.45 cores=1,3 /proc/17713/task/17730/stat : 17730 (java) S 17711 17713 30365 0 -1 4202560 324 0 0 0 45 0 0 0 15 0 19 0 891687973 6594224128 89636 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0 [pid=17713/tid=17731] ppid=17711 vsize=6439672 CPUtime=0.52 cores=1,3 /proc/17713/task/17731/stat : 17731 (java) S 17711 17713 30365 0 -1 4202560 2948 0 0 0 52 0 0 0 15 0 19 0 891687973 6594224128 89636 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 3 0 0 0 [pid=17713/tid=17732] ppid=17711 vsize=6439672 CPUtime=0 cores=1,3 /proc/17713/task/17732/stat : 17732 (java) S 17711 17713 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891687973 6594224128 89636 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0 [pid=17713/tid=17733] ppid=17711 vsize=6439672 CPUtime=0 cores=1,3 /proc/17713/task/17733/stat : 17733 (java) S 17711 17713 30365 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 891687973 6594224128 89636 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491840 0 4 0 16800975 18446604471161680896 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 7.06 Current children cumulated vsize (KiB) 6439672 [startup+12.7013 s] /proc/loadavg: 2.20 2.10 1.95 3/214 17860 /proc/meminfo: memFree=28264136/32951124 swapFree=67076880/67111528 [pid=17713] ppid=17711 vsize=6439672 CPUtime=13.52 cores=1,3 /proc/17713/stat : 17713 (java) S 17711 17713 30365 0 -1 4202496 287564 0 1 0 1320 32 0 0 23 0 19 0 891687947 6594224128 286689 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 ################ # More data... # ################ [pid=17713/tid=17719] ppid=17711 vsize=6439672 CPUtime=0.5 cores=1,3 /proc/17713/task/17719/stat : 17719 (java) S 17711 17713 30365 0 -1 4202560 19556 0 0 0 48 2 0 0 16 0 19 0 891687969 6594224128 577533 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0 [pid=17713/tid=17720] ppid=17711 vsize=6439672 CPUtime=0.71 cores=1,3 /proc/17713/task/17720/stat : 17720 (java) S 17711 17713 30365 0 -1 4202560 18695 0 0 0 69 2 0 0 15 0 19 0 891687969 6594224128 577533 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0 [pid=17713/tid=17721] ppid=17711 vsize=6439672 CPUtime=0.79 cores=1,3 /proc/17713/task/17721/stat : 17721 (java) S 17711 17713 30365 0 -1 4202560 34940 0 0 0 75 4 0 0 15 0 19 0 891687969 6594224128 577533 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0 [pid=17713/tid=17722] ppid=17711 vsize=6439672 CPUtime=0.45 cores=1,3 /proc/17713/task/17722/stat : 17722 (java) S 17711 17713 30365 0 -1 4202560 3026 0 0 0 45 0 0 0 15 0 19 0 891687969 6594224128 577533 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0 [pid=17713/tid=17723] ppid=17711 vsize=6439672 CPUtime=0.3 cores=1,3 /proc/17713/task/17723/stat : 17723 (java) S 17711 17713 30365 0 -1 4202560 18450 0 0 0 28 2 0 0 16 0 19 0 891687969 6594224128 577533 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 3 0 0 0 [pid=17713/tid=17724] ppid=17711 vsize=6439672 CPUtime=0.45 cores=1,3 /proc/17713/task/17724/stat : 17724 (java) S 17711 17713 30365 0 -1 4202560 20435 0 0 0 43 2 0 0 15 0 19 0 891687969 6594224128 577533 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0 [pid=17713/tid=17725] ppid=17711 vsize=6439672 CPUtime=0.51 cores=1,3 /proc/17713/task/17725/stat : 17725 (java) S 17711 17713 30365 0 -1 4202560 42178 0 0 0 47 4 0 0 16 0 19 0 891687969 6594224128 577533 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0 [pid=17713/tid=17726] ppid=17711 vsize=6439672 CPUtime=0 cores=1,3 /proc/17713/task/17726/stat : 17726 (java) S 17711 17713 30365 0 -1 4202560 65 0 0 0 0 0 0 0 15 0 19 0 891687970 6594224128 577533 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491840 0 0 0 16800975 18446604471161680896 0 0 -1 3 0 0 0 [pid=17713/tid=17727] ppid=17711 vsize=6439672 CPUtime=0 cores=1,3 /proc/17713/task/17727/stat : 17727 (java) S 17711 17713 30365 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 891687971 6594224128 577533 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 3 0 0 0 [pid=17713/tid=17728] ppid=17711 vsize=6439672 CPUtime=0.04 cores=1,3 /proc/17713/task/17728/stat : 17728 (java) S 17711 17713 30365 0 -1 4202560 49 0 0 0 4 0 0 0 16 0 19 0 891687971 6594224128 577533 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 3 0 0 0 [pid=17713/tid=17729] ppid=17711 vsize=6439672 CPUtime=0 cores=1,3 /proc/17713/task/17729/stat : 17729 (java) S 17711 17713 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891687973 6594224128 577533 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699498929 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0 [pid=17713/tid=17730] ppid=17711 vsize=6439672 CPUtime=0.54 cores=1,3 /proc/17713/task/17730/stat : 17730 (java) S 17711 17713 30365 0 -1 4202560 336 0 0 0 54 0 0 0 15 0 19 0 891687973 6594224128 577533 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0 [pid=17713/tid=17731] ppid=17711 vsize=6439672 CPUtime=0.52 cores=1,3 /proc/17713/task/17731/stat : 17731 (java) S 17711 17713 30365 0 -1 4202560 2948 0 0 0 52 0 0 0 15 0 19 0 891687973 6594224128 577533 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 3 0 0 0 [pid=17713/tid=17732] ppid=17711 vsize=6439672 CPUtime=0 cores=1,3 /proc/17713/task/17732/stat : 17732 (java) S 17711 17713 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891687973 6594224128 577533 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0 [pid=17713/tid=17733] ppid=17711 vsize=6439672 CPUtime=0 cores=1,3 /proc/17713/task/17733/stat : 17733 (java) S 17711 17713 30365 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 891687973 6594224128 577533 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491840 0 4 0 16800975 18446604471161680896 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 118.44 Current children cumulated vsize (KiB) 6439672 [startup+118.601 s] /proc/loadavg: 2.03 2.07 1.95 3/214 19083 /proc/meminfo: memFree=28548968/32951124 swapFree=67076880/67111528 [pid=17713] ppid=17711 vsize=6439672 CPUtime=121.64 cores=1,3 /proc/17713/stat : 17713 (java) S 17711 17713 30365 0 -1 4202496 581500 0 1 0 12092 72 0 0 23 0 18 0 891687947 6594224128 577535 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/17713/statm: 1609918 577535 2243 9 0 1600656 0 [pid=17713/tid=17717] ppid=17711 vsize=6439672 CPUtime=116.15 cores=1,3 /proc/17713/task/17717/stat : 17717 (java) R 17711 17713 30365 0 -1 4202560 391656 0 1 0 11569 46 0 0 20 0 18 0 891687968 6594224128 577535 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 46912505366054 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=17713/tid=17718] ppid=17711 vsize=6439672 CPUtime=0.51 cores=1,3 /proc/17713/task/17718/stat : 17718 (java) S 17711 17713 30365 0 -1 4202560 27962 0 0 0 47 4 0 0 16 0 18 0 891687969 6594224128 577535 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0 [pid=17713/tid=17719] ppid=17711 vsize=6439672 CPUtime=0.51 cores=1,3 /proc/17713/task/17719/stat : 17719 (java) S 17711 17713 30365 0 -1 4202560 19556 0 0 0 49 2 0 0 16 0 18 0 891687969 6594224128 577535 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 3 0 0 0 [pid=17713/tid=17720] ppid=17711 vsize=6439672 CPUtime=0.71 cores=1,3 /proc/17713/task/17720/stat : 17720 (java) S 17711 17713 30365 0 -1 4202560 18695 0 0 0 69 2 0 0 15 0 18 0 891687969 6594224128 577535 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0 [pid=17713/tid=17721] ppid=17711 vsize=6439672 CPUtime=0.79 cores=1,3 /proc/17713/task/17721/stat : 17721 (java) S 17711 17713 30365 0 -1 4202560 34940 0 0 0 75 4 0 0 15 0 18 0 891687969 6594224128 577535 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0 [pid=17713/tid=17722] ppid=17711 vsize=6439672 CPUtime=0.45 cores=1,3 /proc/17713/task/17722/stat : 17722 (java) S 17711 17713 30365 0 -1 4202560 3026 0 0 0 45 0 0 0 15 0 18 0 891687969 6594224128 577535 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0 [pid=17713/tid=17723] ppid=17711 vsize=6439672 CPUtime=0.3 cores=1,3 /proc/17713/task/17723/stat : 17723 (java) S 17711 17713 30365 0 -1 4202560 18450 0 0 0 28 2 0 0 15 0 18 0 891687969 6594224128 577535 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 3 0 0 0 [pid=17713/tid=17724] ppid=17711 vsize=6439672 CPUtime=0.45 cores=1,3 /proc/17713/task/17724/stat : 17724 (java) S 17711 17713 30365 0 -1 4202560 20435 0 0 0 43 2 0 0 15 0 18 0 891687969 6594224128 577535 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0 [pid=17713/tid=17725] ppid=17711 vsize=6439672 CPUtime=0.51 cores=1,3 /proc/17713/task/17725/stat : 17725 (java) S 17711 17713 30365 0 -1 4202560 42178 0 0 0 47 4 0 0 15 0 18 0 891687969 6594224128 577535 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0 [pid=17713/tid=17726] ppid=17711 vsize=6439672 CPUtime=0 cores=1,3 /proc/17713/task/17726/stat : 17726 (java) S 17711 17713 30365 0 -1 4202560 65 0 0 0 0 0 0 0 15 0 18 0 891687970 6594224128 577535 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491840 0 0 0 16800975 18446604471161680896 0 0 -1 3 0 0 0 [pid=17713/tid=17727] ppid=17711 vsize=6439672 CPUtime=0 cores=1,3 /proc/17713/task/17727/stat : 17727 (java) S 17711 17713 30365 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 18 0 891687971 6594224128 577535 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 3 0 0 0 [pid=17713/tid=17728] ppid=17711 vsize=6439672 CPUtime=0.05 cores=1,3 /proc/17713/task/17728/stat : 17728 (java) S 17711 17713 30365 0 -1 4202560 49 0 0 0 5 0 0 0 16 0 18 0 891687971 6594224128 577535 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 3 0 0 0 [pid=17713/tid=17729] ppid=17711 vsize=6439672 CPUtime=0 cores=1,3 /proc/17713/task/17729/stat : 17729 (java) S 17711 17713 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891687973 6594224128 577535 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699498929 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0 [pid=17713/tid=17730] ppid=17711 vsize=6439672 CPUtime=0.54 cores=1,3 /proc/17713/task/17730/stat : 17730 (java) S 17711 17713 30365 0 -1 4202560 336 0 0 0 54 0 0 0 15 0 18 0 891687973 6594224128 577535 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0 [pid=17713/tid=17731] ppid=17711 vsize=6439672 CPUtime=0.52 cores=1,3 /proc/17713/task/17731/stat : 17731 (java) S 17711 17713 30365 0 -1 4202560 2948 0 0 0 52 0 0 0 15 0 18 0 891687973 6594224128 577535 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 3 0 0 0 [pid=17713/tid=17732] ppid=17711 vsize=6439672 CPUtime=0 cores=1,3 /proc/17713/task/17732/stat : 17732 (java) S 17711 17713 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891687973 6594224128 577535 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0 [pid=17713/tid=17733] ppid=17711 vsize=6439672 CPUtime=0 cores=1,3 /proc/17713/task/17733/stat : 17733 (java) S 17711 17713 30365 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 18 0 891687973 6594224128 577535 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491840 0 4 0 16800975 18446604471161680896 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 121.64 Current children cumulated vsize (KiB) 6439672 [startup+119.401 s] /proc/loadavg: 2.03 2.07 1.95 3/213 19089 /proc/meminfo: memFree=28548976/32951124 swapFree=67076880/67111528 [pid=17713] ppid=17711 vsize=6439672 CPUtime=122.44 cores=1,3 /proc/17713/stat : 17713 (java) S 17711 17713 30365 0 -1 4202496 581503 0 1 0 12172 72 0 0 23 0 19 0 891687947 6594224128 577535 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/17713/statm: 1609918 577535 2243 9 0 1600656 0 [pid=17713/tid=17717] ppid=17711 vsize=6439672 CPUtime=116.95 cores=1,3 /proc/17713/task/17717/stat : 17717 (java) R 17711 17713 30365 0 -1 4202560 391657 0 1 0 11649 46 0 0 25 0 19 0 891687968 6594224128 577535 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 46912505837756 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=17713/tid=17718] ppid=17711 vsize=6439672 CPUtime=0.51 cores=1,3 /proc/17713/task/17718/stat : 17718 (java) S 17711 17713 30365 0 -1 4202560 27962 0 0 0 47 4 0 0 16 0 19 0 891687969 6594224128 577535 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0 [pid=17713/tid=17719] ppid=17711 vsize=6439672 CPUtime=0.51 cores=1,3 /proc/17713/task/17719/stat : 17719 (java) S 17711 17713 30365 0 -1 4202560 19556 0 0 0 49 2 0 0 16 0 19 0 891687969 6594224128 577535 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 3 0 0 0 [pid=17713/tid=17720] ppid=17711 vsize=6439672 CPUtime=0.71 cores=1,3 /proc/17713/task/17720/stat : 17720 (java) S 17711 17713 30365 0 -1 4202560 18695 0 0 0 69 2 0 0 15 0 19 0 891687969 6594224128 577535 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0 [pid=17713/tid=17721] ppid=17711 vsize=6439672 CPUtime=0.79 cores=1,3 /proc/17713/task/17721/stat : 17721 (java) S 17711 17713 30365 0 -1 4202560 34940 0 0 0 75 4 0 0 15 0 19 0 891687969 6594224128 577535 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0 [pid=17713/tid=17722] ppid=17711 vsize=6439672 CPUtime=0.45 cores=1,3 /proc/17713/task/17722/stat : 17722 (java) S 17711 17713 30365 0 -1 4202560 3026 0 0 0 45 0 0 0 15 0 19 0 891687969 6594224128 577535 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0 [pid=17713/tid=17723] ppid=17711 vsize=6439672 CPUtime=0.3 cores=1,3 /proc/17713/task/17723/stat : 17723 (java) S 17711 17713 30365 0 -1 4202560 18450 0 0 0 28 2 0 0 15 0 19 0 891687969 6594224128 577535 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 3 0 0 0 [pid=17713/tid=17724] ppid=17711 vsize=6439672 CPUtime=0.45 cores=1,3 /proc/17713/task/17724/stat : 17724 (java) S 17711 17713 30365 0 -1 4202560 20435 0 0 0 43 2 0 0 15 0 19 0 891687969 6594224128 577535 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0 [pid=17713/tid=17725] ppid=17711 vsize=6439672 CPUtime=0.51 cores=1,3 /proc/17713/task/17725/stat : 17725 (java) S 17711 17713 30365 0 -1 4202560 42178 0 0 0 47 4 0 0 15 0 19 0 891687969 6594224128 577535 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0 [pid=17713/tid=17726] ppid=17711 vsize=6439672 CPUtime=0 cores=1,3 /proc/17713/task/17726/stat : 17726 (java) S 17711 17713 30365 0 -1 4202560 65 0 0 0 0 0 0 0 15 0 19 0 891687970 6594224128 577535 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491840 0 0 0 16800975 18446604471161680896 0 0 -1 3 0 0 0 [pid=17713/tid=17727] ppid=17711 vsize=6439672 CPUtime=0 cores=1,3 /proc/17713/task/17727/stat : 17727 (java) S 17711 17713 30365 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 891687971 6594224128 577535 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 3 0 0 0 [pid=17713/tid=17728] ppid=17711 vsize=6439672 CPUtime=0.05 cores=1,3 /proc/17713/task/17728/stat : 17728 (java) S 17711 17713 30365 0 -1 4202560 49 0 0 0 5 0 0 0 16 0 19 0 891687971 6594224128 577535 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 3 0 0 0 [pid=17713/tid=17729] ppid=17711 vsize=6439672 CPUtime=0 cores=1,3 /proc/17713/task/17729/stat : 17729 (java) S 17711 17713 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891687973 6594224128 577535 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699498929 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0 [pid=17713/tid=17730] ppid=17711 vsize=6439672 CPUtime=0.54 cores=1,3 /proc/17713/task/17730/stat : 17730 (java) S 17711 17713 30365 0 -1 4202560 336 0 0 0 54 0 0 0 15 0 19 0 891687973 6594224128 577535 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0 [pid=17713/tid=17731] ppid=17711 vsize=6439672 CPUtime=0.52 cores=1,3 /proc/17713/task/17731/stat : 17731 (java) S 17711 17713 30365 0 -1 4202560 2948 0 0 0 52 0 0 0 15 0 19 0 891687973 6594224128 577535 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 3 0 0 0 [pid=17713/tid=17732] ppid=17711 vsize=6439672 CPUtime=0 cores=1,3 /proc/17713/task/17732/stat : 17732 (java) S 17711 17713 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891687973 6594224128 577535 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0 [pid=17713/tid=17733] ppid=17711 vsize=6439672 CPUtime=0 cores=1,3 /proc/17713/task/17733/stat : 17733 (java) S 17711 17713 30365 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 891687973 6594224128 577535 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491840 0 4 0 16800975 18446604471161680896 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 122.44 Current children cumulated vsize (KiB) 6439672 [startup+119.801 s] /proc/loadavg: 2.03 2.07 1.95 3/213 19089 /proc/meminfo: memFree=28548976/32951124 swapFree=67076880/67111528 [pid=17713] ppid=17711 vsize=6446840 CPUtime=123 cores=1,3 /proc/17713/stat : 17713 (java) S 17711 17713 30365 0 -1 4202496 583856 0 1 0 12228 72 0 0 23 0 18 0 891687947 6601564160 579042 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/17713/statm: 1611710 579042 2243 9 0 1602448 0 [pid=17713/tid=17717] ppid=17711 vsize=6446840 CPUtime=117.35 cores=1,3 /proc/17713/task/17717/stat : 17717 (java) R 17711 17713 30365 0 -1 4202560 391659 0 1 0 11689 46 0 0 25 0 18 0 891687968 6601564160 579042 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 46912506081525 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=17713/tid=17718] ppid=17711 vsize=6446840 CPUtime=0.51 cores=1,3 /proc/17713/task/17718/stat : 17718 (java) S 17711 17713 30365 0 -1 4202560 27962 0 0 0 47 4 0 0 16 0 18 0 891687969 6601564160 579042 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0 [pid=17713/tid=17719] ppid=17711 vsize=6446840 CPUtime=0.51 cores=1,3 /proc/17713/task/17719/stat : 17719 (java) S 17711 17713 30365 0 -1 4202560 19556 0 0 0 49 2 0 0 16 0 18 0 891687969 6601564160 579042 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 3 0 0 0 [pid=17713/tid=17720] ppid=17711 vsize=6446840 CPUtime=0.71 cores=1,3 /proc/17713/task/17720/stat : 17720 (java) S 17711 17713 30365 0 -1 4202560 18695 0 0 0 69 2 0 0 15 0 18 0 891687969 6601564160 579042 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0 [pid=17713/tid=17721] ppid=17711 vsize=6446840 CPUtime=0.79 cores=1,3 /proc/17713/task/17721/stat : 17721 (java) S 17711 17713 30365 0 -1 4202560 34940 0 0 0 75 4 0 0 15 0 18 0 891687969 6601564160 579042 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0 [pid=17713/tid=17722] ppid=17711 vsize=6446840 CPUtime=0.45 cores=1,3 /proc/17713/task/17722/stat : 17722 (java) S 17711 17713 30365 0 -1 4202560 3026 0 0 0 45 0 0 0 15 0 18 0 891687969 6601564160 579042 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0 [pid=17713/tid=17723] ppid=17711 vsize=6446840 CPUtime=0.3 cores=1,3 /proc/17713/task/17723/stat : 17723 (java) S 17711 17713 30365 0 -1 4202560 18450 0 0 0 28 2 0 0 15 0 18 0 891687969 6601564160 579042 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 3 0 0 0 [pid=17713/tid=17724] ppid=17711 vsize=6446840 CPUtime=0.45 cores=1,3 /proc/17713/task/17724/stat : 17724 (java) S 17711 17713 30365 0 -1 4202560 20435 0 0 0 43 2 0 0 15 0 18 0 891687969 6601564160 579042 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0 [pid=17713/tid=17725] ppid=17711 vsize=6446840 CPUtime=0.51 cores=1,3 /proc/17713/task/17725/stat : 17725 (java) S 17711 17713 30365 0 -1 4202560 42178 0 0 0 47 4 0 0 15 0 18 0 891687969 6601564160 579042 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0 [pid=17713/tid=17726] ppid=17711 vsize=6446840 CPUtime=0 cores=1,3 /proc/17713/task/17726/stat : 17726 (java) S 17711 17713 30365 0 -1 4202560 65 0 0 0 0 0 0 0 16 0 18 0 891687970 6601564160 579042 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491840 0 0 0 16800975 18446604471161680896 0 0 -1 3 0 0 0 [pid=17713/tid=17727] ppid=17711 vsize=6446840 CPUtime=0 cores=1,3 /proc/17713/task/17727/stat : 17727 (java) S 17711 17713 30365 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 18 0 891687971 6601564160 579042 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 3 0 0 0 [pid=17713/tid=17728] ppid=17711 vsize=6446840 CPUtime=0.05 cores=1,3 /proc/17713/task/17728/stat : 17728 (java) S 17711 17713 30365 0 -1 4202560 49 0 0 0 5 0 0 0 16 0 18 0 891687971 6601564160 579042 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 3 0 0 0 [pid=17713/tid=17729] ppid=17711 vsize=6446840 CPUtime=0 cores=1,3 /proc/17713/task/17729/stat : 17729 (java) S 17711 17713 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891687973 6601564160 579042 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699498929 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0 [pid=17713/tid=17730] ppid=17711 vsize=6446840 CPUtime=0.69 cores=1,3 /proc/17713/task/17730/stat : 17730 (java) S 17711 17713 30365 0 -1 4202560 2687 0 0 0 69 0 0 0 16 0 18 0 891687973 6601564160 579042 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0 [pid=17713/tid=17731] ppid=17711 vsize=6446840 CPUtime=0.52 cores=1,3 /proc/17713/task/17731/stat : 17731 (java) S 17711 17713 30365 0 -1 4202560 2948 0 0 0 52 0 0 0 15 0 18 0 891687973 6601564160 579042 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 3 0 0 0 [pid=17713/tid=17732] ppid=17711 vsize=6446840 CPUtime=0 cores=1,3 /proc/17713/task/17732/stat : 17732 (java) S 17711 17713 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891687973 6601564160 579042 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491225 0 4 0 16800975 18446604471161680896 0 0 -1 1 0 0 0 [pid=17713/tid=17733] ppid=17711 vsize=6446840 CPUtime=0 cores=1,3 /proc/17713/task/17733/stat : 17733 (java) S 17711 17713 30365 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 18 0 891687973 6601564160 579042 33554432000 1073741824 1073778376 140737454404320 18446744073709551615 212699491840 0 4 0 16800975 18446604471161680896 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 123 Current children cumulated vsize (KiB) 6446840 [startup+120.001 s] /proc/loadavg: 2.03 2.07 1.95 3/213 19089 /proc/meminfo: memFree=28548976/32951124 swapFree=67076880/67111528 [pid=17713] ppid=17711 vsize=0 CPUtime=123.2 cores=1,3 /proc/17713/stat : 17713 (java) R 17711 17713 30365 0 -1 4203524 583864 0 1 0 12247 73 0 0 18 0 1 0 891687947 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/17713/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 123.2 Current children cumulated vsize (KiB) 0 Child status: 20 Real time (s): 120.07 CPU time (s): 123.282 CPU user time (s): 122.473 CPU system time (s): 0.808877 CPU usage (%): 102.675 Max. virtual memory (cumulated for all children) (KiB): 6446840 getrusage(RUSAGE_CHILDREN,...) data: user time used= 122.473 system time used= 0.808877 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 583864 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= 7938 involuntary context switches= 3991 runsolver used 0.170974 second user time and 0.52592 second system time The end
Begin job on node139 at 2011-06-11 16:01:42 IDJOB=3493576 IDBENCH=20464 IDSOLVER=1972 FILE ID=node139/3493576-1307800902 RUNJOBID= node139-1307799074-30853 PBS_JOBID= 13551009 Free space on /tmp= 74116 MiB SOLVER NAME= SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 BENCH NAME= SAT07/industrial/babic/hsatv17/hsat_vc11944.cnf COMMAND LINE= java -Xms6000m -Xmx6000m -jar sat4j-mus-v20110206.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3493576-1307800902/watcher-3493576-1307800902 -o /tmp/evaluation-result-3493576-1307800902/solver-3493576-1307800902 -C 1800 -W 1850 -M 7680 java -Xms6000m -Xmx6000m -jar sat4j-mus-v20110206.jar HOME/instance-3493576-1307800902.cnf TIME LIMIT= 1800 seconds MEMORY LIMIT= 7680 MiB NBCORE= 2 MD5SUM BENCH= eef911a782905fce2d6d67e1fb443023 RANDOM SEED=950888528 node139.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.70 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5321.49 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 29320952 kB Buffers: 291516 kB Cached: 1098688 kB SwapCached: 3520 kB Active: 2574680 kB Inactive: 836856 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 29320952 kB SwapTotal: 67111528 kB SwapFree: 67076880 kB Dirty: 13012 kB Writeback: 128 kB AnonPages: 2019664 kB Mapped: 22388 kB Slab: 148108 kB PageTables: 8432 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 6441180 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= 74120 MiB End job on node139 at 2011-06-11 16:03:42