| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 | UNSAT | 156.625 | 153.037 |
| Name | industrial/babic/hsatv17/ hsat_vc12072.cnf |
| MD5SUM | badfc2bcf577632aecb483b57ac795bb |
| Bench Category | APPLICATION (applications instances) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 2.20266 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 236486 |
| Number of clauses | 673711 |
| Sum of the clauses size | 1747780 |
| Maximum clause length | 3 |
| Minimum clause length | 1 |
| Number of clauses of size 1 | 28243 |
| Number of clauses of size 2 | 216867 |
| Number of clauses of size 3 | 428601 |
| Number of clauses of size 4 | 0 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 0 |
0.00/0.07 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.00/0.07 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.07 c See www.sat4j.org for details. 0.00/0.07 c version 2.3.0.v20110206 0.00/0.07 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.07 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.07 c java.vm.version 19.1-b02 0.00/0.07 c java.vm.vendor Sun Microsystems Inc. 0.00/0.07 c sun.arch.data.model 64 0.00/0.07 c java.version 1.6.0_24 0.00/0.07 c os.name Linux 0.00/0.07 c os.version 2.6.18-164.el5 0.00/0.07 c os.arch amd64 0.00/0.07 c Free memory 5997854704 0.00/0.07 c Max memory 6029312000 0.00/0.07 c Total memory 6029312000 0.00/0.07 c Number of processors 8 0.07/0.10 c Explanation (MUS) enabled solver 0.07/0.10 c QuickXplain (AAAI 2004 version) minimization strategy 0.07/0.10 c --- Begin Solver configuration --- 0.07/0.10 c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@aa470b8 0.07/0.10 c Learn all clauses as in MiniSAT 0.07/0.10 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 0.07/0.10 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT 0.07/0.10 c Expensive reason simplification 0.07/0.10 c Armin Biere (Picosat) restarts strategy 0.07/0.10 c Glucose learned constraints deletion strategy 0.07/0.10 c timeout=2147483647s 0.07/0.10 c DB Simplification allowed=true 0.07/0.10 c --- End Solver configuration --- 0.07/0.10 c solving HOME/instance-3493568-1307800874.cnf 0.07/0.10 c reading problem ... 1.06/0.97 c ... done. Wall clock time 0.87s. 1.06/0.97 c #vars 910246 1.06/0.97 c #constraints 673711 1.06/0.97 c constraints type 1.06/0.97 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 645468 1.06/0.97 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 28243 5.17/4.48 c Unsat detection wall clock time (in seconds) : 4.378 5.17/4.48 c Size of initial unsat subformula: 329 5.17/4.48 c Computing MUS ... 5.17/4.48 c initial unsat core 161755[?] 910244[?] 236535[?] 161754[?] -161755[?] 697797[?] 161753[?] -161754[?] 697794[?] 107672[?] -161753[?] 697790[?] 107671[?] -107672[?] 545446[?] 106548[?] -107671[?] 545442[?] 106547[?] -106548[?] 543732[?] 106546[?] -106547[?] 543729[?] 106186[?] -106547[?] 543728[?] -106405[?] -106546[?] 543724[?] 106406[?] 106405[?] 543537[?] 106422[?] -106406[?] 543535[?] 106421[?] -106422[?] 543534[?] 106420[?] -106421[?] 543532[?] 106419[?] -106420[?] 543530[?] 106418[?] -106419[?] 543528[?] 106417[?] -106418[?] 543526[?] 106416[?] -106417[?] 543524[?] 106415[?] -106416[?] 543522[?] 106407[?] -106415[?] 543520[?] -106397[?] -106407[?] 543518[?] -106203[?] 106397[?] 543516[?] -106396[?] -106235[?] 106203[?] 543512[?] 106396[?] 106235[?] 106203[?] 543511[?] -106396[?] -106395[?] -106391[?] 543510[?] -106396[?] 106391[?] 106395[?] 543509[?] 106396[?] 106395[?] -106391[?] 543508[?] -106235[?] -106391[?] -106392[?] 543506[?] 106391[?] -106235[?] 106392[?] 543505[?] 106392[?] 106235[?] -106391[?] 543504[?] 106395[?] -106393[?] 543502[?] 106393[?] -106395[?] 543501[?] 106392[?] -106393[?] 543499[?] 106393[?] -106391[?] -106392[?] 543498[?] 106267[?] -106392[?] 543497[?] 106391[?] -106389[?] 543491[?] 106389[?] -106387[?] -106388[?] 543487[?] 106388[?] -106266[?] 543485[?] 106387[?] -106385[?] 543480[?] 106385[?] -106383[?] -106384[?] 543476[?] 106384[?] -106265[?] 543474[?] 106383[?] -106381[?] 543469[?] 106381[?] -106379[?] -106380[?] 543465[?] 106380[?] -106264[?] 543463[?] 106379[?] -106377[?] 543458[?] 106377[?] -106375[?] -106376[?] 543454[?] 106376[?] -106263[?] 543452[?] 106375[?] -106373[?] 543447[?] 106373[?] -106371[?] -106372[?] 543443[?] 106372[?] -106262[?] 543441[?] 106371[?] -106369[?] 543436[?] 106369[?] -106367[?] -106368[?] 543432[?] 106368[?] -106261[?] 543430[?] 106367[?] -106365[?] 543425[?] 106365[?] -106363[?] -106364[?] 543421[?] 106364[?] -106260[?] 543419[?] 106363[?] -106361[?] 543414[?] 106361[?] -106359[?] -106360[?] 543410[?] 106360[?] -106259[?] 543408[?] 106359[?] -106357[?] 543403[?] 106357[?] -106355[?] -106356[?] 543399[?] 106356[?] -106258[?] 543397[?] 106355[?] -106353[?] 543392[?] 106353[?] -106351[?] -106352[?] 543388[?] 106352[?] -106257[?] 543386[?] 106351[?] -106349[?] 543381[?] 106349[?] -106347[?] -106348[?] 543377[?] 106348[?] -106256[?] 543375[?] 106347[?] -106345[?] 543370[?] 106345[?] -106343[?] -106344[?] 543366[?] 106344[?] -106255[?] 543364[?] 106343[?] -106341[?] 543359[?] 106341[?] -106339[?] -106340[?] 543355[?] 106340[?] -106254[?] 543353[?] 106339[?] -106337[?] 543348[?] 106337[?] -106335[?] -106336[?] 543344[?] 106336[?] -106253[?] 543342[?] 106335[?] -106333[?] 543337[?] 106333[?] -106331[?] -106332[?] 543333[?] 106332[?] -106252[?] 543331[?] 106331[?] -106329[?] 543326[?] 106329[?] -106327[?] -106328[?] 543322[?] 106328[?] -106251[?] 543320[?] 106327[?] -106325[?] 543315[?] 106325[?] -106323[?] -106324[?] 543311[?] 106324[?] -106250[?] 543309[?] 106323[?] -106321[?] 543304[?] 106321[?] -106319[?] -106320[?] 543300[?] 106320[?] -106249[?] 543298[?] 106319[?] -106317[?] 543293[?] 106317[?] -106315[?] -106316[?] 543289[?] 106316[?] -106248[?] 543287[?] 106315[?] -106313[?] 543282[?] 106313[?] -106311[?] -106312[?] 543278[?] 106312[?] -106247[?] 543276[?] 106311[?] -106309[?] 543271[?] 106309[?] -106307[?] -106308[?] 543267[?] 106308[?] -106246[?] 543265[?] 106307[?] -106305[?] 543260[?] 106305[?] -106303[?] -106304[?] 543256[?] 106304[?] -106245[?] 543254[?] 106303[?] -106301[?] 543249[?] 106301[?] -106299[?] -106300[?] 543245[?] 106300[?] -106244[?] 543243[?] 106299[?] -106297[?] 543238[?] 106297[?] -106295[?] -106296[?] 543234[?] 106296[?] -106243[?] 543232[?] 106295[?] -106293[?] 543227[?] 106293[?] -106291[?] -106292[?] 543223[?] 106292[?] -106242[?] 543221[?] 106291[?] -106289[?] 543216[?] 106289[?] -106287[?] -106288[?] 543212[?] 106288[?] -106241[?] 543210[?] 106287[?] -106285[?] 543205[?] 106285[?] -106283[?] -106284[?] 543201[?] 106284[?] -106240[?] 543199[?] 106283[?] -106281[?] 543194[?] 106281[?] -106279[?] -106280[?] 543190[?] 106280[?] -106239[?] 543188[?] 106279[?] -106277[?] 543183[?] 106277[?] -106275[?] -106276[?] 543179[?] 106276[?] -106238[?] 543177[?] 106275[?] -106273[?] 543172[?] 106273[?] -106272[?] -106271[?] 543168[?] 106272[?] -106237[?] 543166[?] 106271[?] -106270[?] 543163[?] 106271[?] -106269[?] 543162[?] -106268[?] 106269[?] 543159[?] 106270[?] -106236[?] 543157[?] 106236[?] 106268[?] 543155[?] -105983[?] -106267[?] 543154[?] 106266[?] 105982[?] 543151[?] 106265[?] 105981[?] 543149[?] 106264[?] 105980[?] 543147[?] 106263[?] 105979[?] 543145[?] 106262[?] 105978[?] 543143[?] 106261[?] 105977[?] 543141[?] 106260[?] 105976[?] 543139[?] 106259[?] 105975[?] 543137[?] 106258[?] 105974[?] 543135[?] 106257[?] 105973[?] 543133[?] 106256[?] 105972[?] 543131[?] 106255[?] 105971[?] 543129[?] 106254[?] 105970[?] 543127[?] 106253[?] 105969[?] 543125[?] 106252[?] 105968[?] 543123[?] 106251[?] 105967[?] 543121[?] 106250[?] 105966[?] 543119[?] 106249[?] 105965[?] 543117[?] 106248[?] 105964[?] 543115[?] 106247[?] 105963[?] 543113[?] 106246[?] 105962[?] 543111[?] 106245[?] 105961[?] 543109[?] 106244[?] 105960[?] 543107[?] 106243[?] 105959[?] 543105[?] 106242[?] 105958[?] 543103[?] 106241[?] 105957[?] 543101[?] 106240[?] 105956[?] 543099[?] 106239[?] 105955[?] 543097[?] 106238[?] 105954[?] 543095[?] 106237[?] 105953[?] 543093[?] 106202[?] -106186[?] 543089[?] 106201[?] -106202[?] 543088[?] 106200[?] -106201[?] 543086[?] 106199[?] -106200[?] 543084[?] 106198[?] -106199[?] 543082[?] 106197[?] -106198[?] 543080[?] 106196[?] -106197[?] 543078[?] 106195[?] -106196[?] 543076[?] 106187[?] -106195[?] 543074[?] -106178[?] -106187[?] 543072[?] -105984[?] 106178[?] 543070[?] -106016[?] 106177[?] 105984[?] 543066[?] -106177[?] 106176[?] 106172[?] 543063[?] 106172[?] 106016[?] -106173[?] 543057[?] 106174[?] -106176[?] 543055[?] 106172[?] -106174[?] 543054[?] 106173[?] -106048[?] 543050[?] 106170[?] -106172[?] 543044[?] 106168[?] -106170[?] 543043[?] 106169[?] -106170[?] 543042[?] 106047[?] -106169[?] 543040[?] 106166[?] -106168[?] 543033[?] 106164[?] -106166[?] 543032[?] 106165[?] -106166[?] 543031[?] 106046[?] -106165[?] 543029[?] 106162[?] -106164[?] 543022[?] 106160[?] -106162[?] 543021[?] 106161[?] -106162[?] 543020[?] 106045[?] -106161[?] 543018[?] 106158[?] -106160[?] 543011[?] 106156[?] -106158[?] 543010[?] 106157[?] -106158[?] 543009[?] 106044[?] -106157[?] 543007[?] 106154[?] -106156[?] 543000[?] 106152[?] -106154[?] 542999[?] 106153[?] -106154[?] 542998[?] 106043[?] -106153[?] 542996[?] 106150[?] -106152[?] 542989[?] 106148[?] -106150[?] 542988[?] 106149[?] -106150[?] 542987[?] 106042[?] -106149[?] 542985[?] 106146[?] -106148[?] 542978[?] 106144[?] -106146[?] 542977[?] 106145[?] -106146[?] 542976[?] 106041[?] -106145[?] 542974[?] 106142[?] -106144[?] 542967[?] 106140[?] -106142[?] 542966[?] 106141[?] -106142[?] 542965[?] 106040[?] -106141[?] 542963[?] 106138[?] -106140[?] 542956[?] 106136[?] -106138[?] 542955[?] 106137[?] -106138[?] 542954[?] 106039[?] -106137[?] 542952[?] 106134[?] -106136[?] 542945[?] 106132[?] -106134[?] 542944[?] 106133[?] -106134[?] 542943[?] 106038[?] -106133[?] 542941[?] 106130[?] -106132[?] 542934[?] 106128[?] -106130[?] 542933[?] 106129[?] -106130[?] 542932[?] 106037[?] -106129[?] 542930[?] 106126[?] -106128[?] 542923[?] 106124[?] -106126[?] 542922[?] 106125[?] -106126[?] 542921[?] 106036[?] -106125[?] 542919[?] 106122[?] -106124[?] 542912[?] 106120[?] -106122[?] 542911[?] 106121[?] -106122[?] 542910[?] 106035[?] -106121[?] 542908[?] 106118[?] -106120[?] 542901[?] 106116[?] -106118[?] 542900[?] 106117[?] -106118[?] 542899[?] 106034[?] -106117[?] 542897[?] 106114[?] -106116[?] 542890[?] 106112[?] -106114[?] 542889[?] 106113[?] -106114[?] 542888[?] 106033[?] -106113[?] 542886[?] 106110[?] -106112[?] 542879[?] 106108[?] -106110[?] 542878[?] 106109[?] -106110[?] 542877[?] 106032[?] -106109[?] 542875[?] 106106[?] -106108[?] 542868[?] 106104[?] -106106[?] 542867[?] 106105[?] -106106[?] 542866[?] 106031[?] -106105[?] 542864[?] 106102[?] -106104[?] 542857[?] 106100[?] -106102[?] 542856[?] 106101[?] -106102[?] 542855[?] 106030[?] -106101[?] 542853[?] 106098[?] -106100[?] 542846[?] 106096[?] -106098[?] 542845[?] 106097[?] -106098[?] 542844[?] 106029[?] -106097[?] 542842[?] 106094[?] -106096[?] 542835[?] 106092[?] -106094[?] 542834[?] 106093[?] -106094[?] 542833[?] 106028[?] -106093[?] 542831[?] 106090[?] -106092[?] 542824[?] 106088[?] -106090[?] 542823[?] 106089[?] -106090[?] 542822[?] 106027[?] -106089[?] 542820[?] 106086[?] -106088[?] 542813[?] 106084[?] -106086[?] 542812[?] 106085[?] -106086[?] 542811[?] 106026[?] -106085[?] 542809[?] 106082[?] -106084[?] 542802[?] 106080[?] -106082[?] 542801[?] 106081[?] -106082[?] 542800[?] 106025[?] -106081[?] 542798[?] 106078[?] -106080[?] 542791[?] 106076[?] -106078[?] 542790[?] 106077[?] -106078[?] 542789[?] 106024[?] -106077[?] 542787[?] 106074[?] -106076[?] 542780[?] 106072[?] -106074[?] 542779[?] 106073[?] -106074[?] 542778[?] 106023[?] -106073[?] 542776[?] 106070[?] -106072[?] 542769[?] 106068[?] -106070[?] 542768[?] 106069[?] -106070[?] 542767[?] 106022[?] -106069[?] 542765[?] 106066[?] -106068[?] 542758[?] 106064[?] -106066[?] 542757[?] 106065[?] -106066[?] 542756[?] 106021[?] -106065[?] 542754[?] 106062[?] -106064[?] 542747[?] 106060[?] -106062[?] 542746[?] 106061[?] -106062[?] 542745[?] 106020[?] -106061[?] 542743[?] 106058[?] -106060[?] 542736[?] 106056[?] -106058[?] 542735[?] 106057[?] -106058[?] 542734[?] 106019[?] -106057[?] 542732[?] 106054[?] -106056[?] 542725[?] 106053[?] -106054[?] 542723[?] 106018[?] -106053[?] 542721[?] 106048[?] 105983[?] 542707[?] -105982[?] -106047[?] 542706[?] -105981[?] -106046[?] 542704[?] -105980[?] -106045[?] 542702[?] -105979[?] -106044[?] 542700[?] -105978[?] -106043[?] 542698[?] -105977[?] -106042[?] 542696[?] -105976[?] -106041[?] 542694[?] -105975[?] -106040[?] 542692[?] -105974[?] -106039[?] 542690[?] -105973[?] -106038[?] 542688[?] -105972[?] -106037[?] 542686[?] -105971[?] -106036[?] 542684[?] -105970[?] -106035[?] 542682[?] -105969[?] -106034[?] 542680[?] -105968[?] -106033[?] 542678[?] -105967[?] -106032[?] 542676[?] -105966[?] -106031[?] 542674[?] -105965[?] -106030[?] 542672[?] -105964[?] -106029[?] 542670[?] -105963[?] -106028[?] 542668[?] -105962[?] -106027[?] 542666[?] -105961[?] -106026[?] 542664[?] -105960[?] -106025[?] 542662[?] -105959[?] -106024[?] 542660[?] -105958[?] -106023[?] 542658[?] -105957[?] -106022[?] 542656[?] -105956[?] -106021[?] 542654[?] -105955[?] -106020[?] 542652[?] -105954[?] -106019[?] 542650[?] -105953[?] -106018[?] 542648[?] -236535[?] 264778[?] 5.42/4.65 c qxplain 0/328 5.93/5.07 c qxplain 165/328 6.23/5.38 c qxplain 247/328 6.54/5.69 c qxplain 288/328 6.84/5.99 c qxplain 309/328 7.23/6.30 c qxplain 319/328 7.54/6.60 c qxplain 324/328 7.84/6.91 c qxplain 327/328 8.14/7.21 c qxplain 328/328 8.43/7.51 c -236535[?] 264778[?] is mandatory 8.43/7.51 c qxplain 327/327 8.74/7.81 c 542648[?] -105953[?] -106018[?] is mandatory 8.74/7.81 c qxplain 324/326 9.03/8.12 c qxplain 326/326 9.34/8.42 c 542650[?] -105954[?] -106019[?] is mandatory 9.34/8.42 c qxplain 324/325 9.64/8.73 c qxplain 325/325 9.93/9.03 c 542652[?] -105955[?] -106020[?] is mandatory 9.93/9.03 c qxplain 324/324 10.23/9.33 c 542654[?] -105956[?] -106021[?] is mandatory 10.23/9.33 c qxplain 319/323 10.53/9.63 c qxplain 322/323 10.84/9.94 c qxplain 323/323 11.13/10.24 c 542656[?] -105957[?] -106022[?] is mandatory 11.13/10.24 c qxplain 322/322 11.43/10.54 c 542658[?] -105958[?] -106023[?] is mandatory 11.43/10.54 c qxplain 319/321 11.74/10.85 c qxplain 321/321 12.03/11.15 c 542660[?] -105959[?] -106024[?] is mandatory 12.03/11.15 c qxplain 319/320 12.34/11.46 c qxplain 320/320 12.64/11.76 c 542662[?] -105960[?] -106025[?] is mandatory 12.64/11.76 c qxplain 319/319 12.94/12.06 c 542664[?] -105961[?] -106026[?] is mandatory 12.94/12.06 c qxplain 309/318 14.11/12.76 c qxplain 314/318 14.31/12.98 c qxplain 317/318 14.52/13.19 c qxplain 318/318 14.81/13.41 c 542666[?] -105962[?] -106027[?] is mandatory 14.81/13.41 c qxplain 317/317 15.01/13.62 c 542668[?] -105963[?] -106028[?] is mandatory 15.01/13.62 c qxplain 314/316 15.21/13.83 c qxplain 316/316 15.41/14.05 c 542670[?] -105964[?] -106029[?] is mandatory 15.41/14.05 c qxplain 314/315 15.61/14.26 c qxplain 315/315 15.81/14.48 c 542672[?] -105965[?] -106030[?] is mandatory 15.81/14.48 c qxplain 314/314 16.11/14.70 c 542674[?] -105966[?] -106031[?] is mandatory 16.11/14.70 c qxplain 309/313 16.31/14.92 c qxplain 312/313 16.51/15.13 c qxplain 313/313 16.72/15.35 c 542676[?] -105967[?] -106032[?] is mandatory 16.72/15.35 c qxplain 312/312 16.91/15.56 c 542678[?] -105968[?] -106033[?] is mandatory 16.91/15.56 c qxplain 309/311 17.11/15.78 c qxplain 311/311 17.31/15.99 c 542680[?] -105969[?] -106034[?] is mandatory 17.31/15.99 c qxplain 309/310 17.61/16.21 c qxplain 310/310 17.82/16.42 c 542682[?] -105970[?] -106035[?] is mandatory 17.82/16.42 c qxplain 309/309 18.01/16.64 c 542684[?] -105971[?] -106036[?] is mandatory 18.01/16.64 c qxplain 288/308 18.21/16.85 c qxplain 299/308 18.41/17.07 c qxplain 304/308 18.61/17.28 c qxplain 307/308 18.81/17.50 c qxplain 308/308 19.11/17.71 c 542686[?] -105972[?] -106037[?] is mandatory 19.11/17.71 c qxplain 307/307 19.31/17.93 c 542688[?] -105973[?] -106038[?] is mandatory 19.31/17.93 c qxplain 304/306 19.51/18.15 c qxplain 306/306 19.71/18.36 c 542690[?] -105974[?] -106039[?] is mandatory 19.71/18.36 c qxplain 304/305 19.91/18.58 c qxplain 305/305 20.12/18.79 c 542692[?] -105975[?] -106040[?] is mandatory 20.12/18.80 c qxplain 304/304 20.41/19.01 c 542694[?] -105976[?] -106041[?] is mandatory 20.41/19.01 c qxplain 299/303 20.61/19.23 c qxplain 302/303 20.81/19.44 c qxplain 303/303 21.01/19.66 c 542696[?] -105977[?] -106042[?] is mandatory 21.01/19.66 c qxplain 302/302 21.96/20.22 c 542698[?] -105978[?] -106043[?] is mandatory 21.96/20.22 c qxplain 299/301 22.16/20.44 c qxplain 301/301 22.36/20.66 c 542700[?] -105979[?] -106044[?] is mandatory 22.36/20.66 c qxplain 299/300 22.56/20.88 c qxplain 300/300 22.86/21.10 c 542702[?] -105980[?] -106045[?] is mandatory 22.86/21.10 c qxplain 299/299 23.06/21.32 c 542704[?] -105981[?] -106046[?] is mandatory 23.06/21.32 c qxplain 288/298 23.26/21.53 c qxplain 294/298 23.46/21.75 c qxplain 297/298 23.66/21.97 c qxplain 298/298 23.86/22.19 c 542706[?] -105982[?] -106047[?] is mandatory 23.86/22.19 c qxplain 297/297 24.16/22.40 c 542707[?] 106048[?] 105983[?] is mandatory 24.16/22.40 c qxplain 294/296 24.36/22.62 c qxplain 296/296 24.57/22.84 c 542721[?] 106018[?] -106053[?] is mandatory 24.57/22.84 c qxplain 294/295 24.77/23.05 c qxplain 295/295 24.97/23.28 c 542723[?] 106053[?] -106054[?] is mandatory 24.97/23.28 c qxplain 294/294 25.16/23.49 c 542725[?] 106054[?] -106056[?] is mandatory 25.16/23.49 c qxplain 288/293 25.46/23.71 c qxplain 291/293 25.66/23.93 c qxplain 293/293 25.87/24.15 c 542732[?] 106019[?] -106057[?] is mandatory 25.87/24.15 c qxplain 291/292 26.06/24.37 c qxplain 292/292 26.26/24.58 c 542734[?] 106057[?] -106058[?] is mandatory 26.26/24.58 c qxplain 291/291 26.56/24.80 c 542735[?] 106056[?] -106058[?] is mandatory 26.56/24.80 c qxplain 288/290 26.76/25.02 c qxplain 290/290 26.97/25.24 c 542736[?] 106058[?] -106060[?] is mandatory 26.97/25.24 c qxplain 288/289 27.16/25.45 c qxplain 289/289 27.36/25.67 c 542743[?] 106020[?] -106061[?] is mandatory 27.36/25.67 c qxplain 288/288 27.56/25.89 c 542745[?] 106061[?] -106062[?] is mandatory 27.56/25.89 c qxplain 247/287 27.86/26.11 c qxplain 268/287 28.07/26.33 c qxplain 278/287 28.26/26.55 c qxplain 283/287 28.46/26.77 c qxplain 286/287 28.66/26.98 c qxplain 287/287 29.46/27.49 c 542746[?] 106060[?] -106062[?] is mandatory 29.46/27.49 c qxplain 286/286 29.76/27.71 c 542747[?] 106062[?] -106064[?] is mandatory 29.76/27.71 c qxplain 283/285 29.96/27.92 c qxplain 285/285 30.16/28.14 c 542754[?] 106021[?] -106065[?] is mandatory 30.16/28.14 c qxplain 283/284 30.36/28.35 c qxplain 284/284 30.56/28.57 c 542756[?] 106065[?] -106066[?] is mandatory 30.56/28.57 c qxplain 283/283 30.76/28.78 c 542757[?] 106064[?] -106066[?] is mandatory 30.76/28.78 c qxplain 278/282 31.06/29.00 c qxplain 281/282 31.26/29.21 c qxplain 282/282 31.46/29.43 c 542758[?] 106066[?] -106068[?] is mandatory 31.46/29.43 c qxplain 281/281 31.66/29.64 c 542765[?] 106022[?] -106069[?] is mandatory 31.66/29.64 c qxplain 278/280 31.86/29.86 c qxplain 280/280 32.06/30.07 c 542767[?] 106069[?] -106070[?] is mandatory 32.06/30.07 c qxplain 278/279 32.26/30.29 c qxplain 279/279 32.56/30.50 c 542768[?] 106068[?] -106070[?] is mandatory 32.56/30.50 c qxplain 278/278 32.76/30.71 c 542769[?] 106070[?] -106072[?] is mandatory 32.76/30.71 c qxplain 268/277 32.96/30.93 c qxplain 273/277 33.16/31.14 c qxplain 276/277 33.36/31.36 c qxplain 277/277 33.56/31.57 c 542776[?] 106023[?] -106073[?] is mandatory 33.56/31.57 c qxplain 276/276 33.76/31.79 c 542778[?] 106073[?] -106074[?] is mandatory 33.76/31.79 c qxplain 273/275 34.06/32.00 c qxplain 275/275 34.26/32.22 c 542779[?] 106072[?] -106074[?] is mandatory 34.26/32.22 c qxplain 273/274 34.46/32.43 c qxplain 274/274 34.66/32.65 c 542780[?] 106074[?] -106076[?] is mandatory 34.66/32.65 c qxplain 273/273 34.86/32.86 c 542787[?] 106024[?] -106077[?] is mandatory 34.86/32.86 c qxplain 268/272 35.06/33.08 c qxplain 271/272 35.26/33.29 c qxplain 272/272 35.56/33.51 c 542789[?] 106077[?] -106078[?] is mandatory 35.56/33.51 c qxplain 271/271 35.76/33.73 c 542790[?] 106076[?] -106078[?] is mandatory 35.76/33.73 c qxplain 268/270 35.96/33.94 c qxplain 270/270 36.16/34.15 c 542791[?] 106078[?] -106080[?] is mandatory 36.16/34.15 c qxplain 268/269 36.36/34.37 c qxplain 269/269 37.15/34.88 c 542798[?] 106025[?] -106081[?] is mandatory 37.15/34.88 c qxplain 268/268 37.35/35.09 c 542800[?] 106081[?] -106082[?] is mandatory 37.35/35.09 c qxplain 247/267 37.66/35.31 c qxplain 258/267 37.85/35.53 c qxplain 263/267 38.05/35.75 c qxplain 266/267 38.25/35.97 c qxplain 267/267 38.45/36.18 c 542801[?] 106080[?] -106082[?] is mandatory 38.45/36.18 c qxplain 266/266 38.65/36.40 c 542802[?] 106082[?] -106084[?] is mandatory 38.65/36.40 c qxplain 263/265 38.95/36.62 c qxplain 265/265 39.15/36.83 c 542809[?] 106026[?] -106085[?] is mandatory 39.15/36.83 c qxplain 263/264 39.35/37.05 c qxplain 264/264 39.55/37.26 c 542811[?] 106085[?] -106086[?] is mandatory 39.55/37.26 c qxplain 263/263 39.75/37.48 c 542812[?] 106084[?] -106086[?] is mandatory 39.75/37.48 c qxplain 258/262 40.05/37.70 c qxplain 261/262 40.25/37.92 c qxplain 262/262 40.45/38.13 c 542813[?] 106086[?] -106088[?] is mandatory 40.45/38.13 c qxplain 261/261 40.65/38.35 c 542820[?] 106027[?] -106089[?] is mandatory 40.65/38.35 c qxplain 258/260 40.85/38.56 c qxplain 260/260 41.06/38.78 c 542822[?] 106089[?] -106090[?] is mandatory 41.06/38.78 c qxplain 258/259 41.25/39.00 c qxplain 259/259 41.55/39.21 c 542823[?] 106088[?] -106090[?] is mandatory 41.55/39.21 c qxplain 258/258 41.75/39.43 c 542824[?] 106090[?] -106092[?] is mandatory 41.75/39.43 c qxplain 247/257 41.95/39.65 c qxplain 253/257 42.16/39.86 c qxplain 256/257 42.35/40.08 c qxplain 257/257 42.65/40.30 c 542831[?] 106028[?] -106093[?] is mandatory 42.65/40.30 c qxplain 256/256 42.85/40.51 c 542833[?] 106093[?] -106094[?] is mandatory 42.85/40.51 c qxplain 253/255 43.05/40.73 c qxplain 255/255 43.26/40.95 c 542834[?] 106092[?] -106094[?] is mandatory 43.26/40.95 c qxplain 253/254 43.45/41.16 c qxplain 254/254 43.65/41.38 c 542835[?] 106094[?] -106096[?] is mandatory 43.65/41.38 c qxplain 253/253 43.95/41.60 c 542842[?] 106029[?] -106097[?] is mandatory 43.95/41.60 c qxplain 247/252 44.15/41.81 c qxplain 250/252 44.94/42.33 c qxplain 252/252 45.14/42.55 c 542844[?] 106097[?] -106098[?] is mandatory 45.14/42.55 c qxplain 250/251 45.34/42.77 c qxplain 251/251 45.54/42.99 c 542845[?] 106096[?] -106098[?] is mandatory 45.54/42.99 c qxplain 250/250 45.84/43.21 c 542846[?] 106098[?] -106100[?] is mandatory 45.84/43.21 c qxplain 247/249 46.04/43.42 c qxplain 249/249 46.24/43.65 c 542853[?] 106030[?] -106101[?] is mandatory 46.24/43.65 c qxplain 247/248 46.44/43.87 c qxplain 248/248 46.64/44.08 c 542855[?] 106101[?] -106102[?] is mandatory 46.64/44.08 c qxplain 247/247 46.94/44.30 c 542856[?] 106100[?] -106102[?] is mandatory 46.94/44.30 c qxplain 165/246 47.14/44.52 c qxplain 206/246 47.34/44.74 c qxplain 227/246 47.54/44.96 c qxplain 237/246 47.74/45.18 c qxplain 242/246 47.94/45.39 c qxplain 245/246 48.24/45.61 c qxplain 246/246 48.44/45.83 c 542857[?] 106102[?] -106104[?] is mandatory 48.44/45.83 c qxplain 245/245 48.64/46.05 c 542864[?] 106031[?] -106105[?] is mandatory 48.64/46.05 c qxplain 242/244 48.84/46.26 c qxplain 244/244 49.04/46.48 c 542866[?] 106105[?] -106106[?] is mandatory 49.04/46.48 c qxplain 242/243 49.34/46.70 c qxplain 243/243 49.54/46.92 c 542867[?] 106104[?] -106106[?] is mandatory 49.54/46.92 c qxplain 242/242 49.74/47.13 c 542868[?] 106106[?] -106108[?] is mandatory 49.74/47.13 c qxplain 237/241 49.94/47.35 c qxplain 240/241 50.14/47.57 c qxplain 241/241 50.34/47.78 c 542875[?] 106032[?] -106109[?] is mandatory 50.34/47.78 c qxplain 240/240 50.64/48.00 c 542877[?] 106109[?] -106110[?] is mandatory 50.64/48.00 c qxplain 237/239 50.84/48.22 c qxplain 239/239 51.04/48.44 c 542878[?] 106108[?] -106110[?] is mandatory 51.04/48.44 c qxplain 237/238 51.25/48.66 c qxplain 238/238 51.45/48.87 c 542879[?] 106110[?] -106112[?] is mandatory 51.45/48.87 c qxplain 237/237 51.75/49.10 c 542886[?] 106033[?] -106113[?] is mandatory 51.75/49.10 c qxplain 227/236 52.55/49.62 c qxplain 232/236 52.75/49.84 c qxplain 235/236 52.95/50.05 c qxplain 236/236 53.15/50.27 c 542888[?] 106113[?] -106114[?] is mandatory 53.15/50.27 c qxplain 235/235 53.35/50.49 c 542889[?] 106112[?] -106114[?] is mandatory 53.35/50.49 c qxplain 232/234 53.55/50.70 c qxplain 234/234 53.85/50.92 c 542890[?] 106114[?] -106116[?] is mandatory 53.85/50.92 c qxplain 232/233 54.05/51.13 c qxplain 233/233 54.25/51.35 c 542897[?] 106034[?] -106117[?] is mandatory 54.25/51.35 c qxplain 232/232 54.45/51.57 c 542899[?] 106117[?] -106118[?] is mandatory 54.45/51.57 c qxplain 227/231 54.65/51.78 c qxplain 230/231 54.95/52.00 c qxplain 231/231 55.15/52.22 c 542900[?] 106116[?] -106118[?] is mandatory 55.15/52.22 c qxplain 230/230 55.35/52.44 c 542901[?] 106118[?] -106120[?] is mandatory 55.35/52.44 c qxplain 227/229 55.55/52.65 c qxplain 229/229 55.75/52.87 c 542908[?] 106035[?] -106121[?] is mandatory 55.75/52.87 c qxplain 227/228 55.95/53.09 c qxplain 228/228 56.25/53.30 c 542910[?] 106121[?] -106122[?] is mandatory 56.25/53.30 c qxplain 227/227 56.45/53.52 c 542911[?] 106120[?] -106122[?] is mandatory 56.45/53.52 c qxplain 206/226 56.65/53.73 c qxplain 217/226 56.85/53.95 c qxplain 222/226 57.05/54.17 c qxplain 225/226 57.25/54.38 c qxplain 226/226 57.55/54.60 c 542912[?] 106122[?] -106124[?] is mandatory 57.55/54.60 c qxplain 225/225 57.75/54.82 c 542919[?] 106036[?] -106125[?] is mandatory 57.75/54.82 c qxplain 222/224 57.95/55.04 c qxplain 224/224 58.16/55.26 c 542921[?] 106125[?] -106126[?] is mandatory 58.16/55.26 c qxplain 222/223 58.35/55.47 c qxplain 223/223 58.55/55.69 c 542922[?] 106124[?] -106126[?] is mandatory 58.55/55.69 c qxplain 222/222 58.85/55.91 c 542923[?] 106126[?] -106128[?] is mandatory 58.85/55.91 c qxplain 217/221 59.70/56.47 c qxplain 220/221 59.89/56.69 c qxplain 221/221 60.19/56.91 c 542930[?] 106037[?] -106129[?] is mandatory 60.19/56.91 c qxplain 220/220 60.39/57.12 c 542932[?] 106129[?] -106130[?] is mandatory 60.39/57.12 c qxplain 217/219 60.59/57.34 c qxplain 219/219 60.80/57.56 c 542933[?] 106128[?] -106130[?] is mandatory 60.80/57.56 c qxplain 217/218 60.99/57.77 c qxplain 218/218 61.19/57.99 c 542934[?] 106130[?] -106132[?] is mandatory 61.19/57.99 c qxplain 217/217 61.49/58.21 c 542941[?] 106038[?] -106133[?] is mandatory 61.49/58.21 c qxplain 206/216 61.69/58.43 c qxplain 212/216 61.90/58.64 c qxplain 215/216 62.09/58.86 c qxplain 216/216 62.29/59.08 c 542943[?] 106133[?] -106134[?] is mandatory 62.29/59.08 c qxplain 215/215 62.59/59.30 c 542944[?] 106132[?] -106134[?] is mandatory 62.59/59.30 c qxplain 212/214 62.79/59.51 c qxplain 214/214 63.00/59.73 c 542945[?] 106134[?] -106136[?] is mandatory 63.00/59.73 c qxplain 212/213 63.19/59.95 c qxplain 213/213 63.39/60.16 c 542952[?] 106039[?] -106137[?] is mandatory 63.39/60.16 c qxplain 212/212 63.59/60.38 c 542954[?] 106137[?] -106138[?] is mandatory 63.59/60.38 c qxplain 206/211 63.79/60.60 c qxplain 209/211 64.10/60.81 c qxplain 211/211 64.29/61.03 c 542955[?] 106136[?] -106138[?] is mandatory 64.29/61.03 c qxplain 209/210 64.49/61.24 c qxplain 210/210 64.69/61.46 c 542956[?] 106138[?] -106140[?] is mandatory 64.69/61.46 c qxplain 209/209 64.89/61.68 c 542963[?] 106040[?] -106141[?] is mandatory 64.89/61.68 c qxplain 206/208 65.10/61.90 c qxplain 208/208 65.39/62.11 c 542965[?] 106141[?] -106142[?] is mandatory 65.39/62.11 c qxplain 206/207 65.59/62.33 c qxplain 207/207 65.79/62.55 c 542966[?] 106140[?] -106142[?] is mandatory 65.79/62.55 c qxplain 206/206 65.99/62.77 c 542967[?] 106142[?] -106144[?] is mandatory 65.99/62.77 c qxplain 165/205 66.20/62.99 c qxplain 186/205 66.50/63.21 c qxplain 196/205 66.70/63.42 c qxplain 201/205 66.90/63.64 c qxplain 204/205 67.10/63.86 c qxplain 205/205 67.30/64.07 c 542974[?] 106041[?] -106145[?] is mandatory 67.30/64.07 c qxplain 204/204 67.50/64.29 c 542976[?] 106145[?] -106146[?] is mandatory 67.50/64.29 c qxplain 201/203 67.80/64.51 c qxplain 203/203 68.00/64.72 c 542977[?] 106144[?] -106146[?] is mandatory 68.00/64.72 c qxplain 201/202 68.20/64.94 c qxplain 202/202 68.41/65.16 c 542978[?] 106146[?] -106148[?] is mandatory 68.41/65.16 c qxplain 201/201 68.60/65.37 c 542985[?] 106042[?] -106149[?] is mandatory 68.60/65.37 c qxplain 196/200 68.80/65.59 c qxplain 199/200 69.10/65.81 c qxplain 200/200 69.30/66.03 c 542987[?] 106149[?] -106150[?] is mandatory 69.30/66.03 c qxplain 199/199 69.51/66.24 c 542988[?] 106148[?] -106150[?] is mandatory 69.51/66.24 c qxplain 196/198 69.70/66.46 c qxplain 198/198 69.90/66.68 c 542989[?] 106150[?] -106152[?] is mandatory 69.90/66.68 c qxplain 196/197 70.10/66.89 c qxplain 197/197 70.40/67.11 c 542996[?] 106043[?] -106153[?] is mandatory 70.40/67.11 c qxplain 196/196 70.61/67.33 c 542998[?] 106153[?] -106154[?] is mandatory 70.61/67.33 c qxplain 186/195 70.80/67.54 c qxplain 191/195 71.00/67.76 c qxplain 194/195 71.20/67.98 c qxplain 195/195 71.40/68.19 c 542999[?] 106152[?] -106154[?] is mandatory 71.40/68.19 c qxplain 194/194 71.71/68.41 c 543000[?] 106154[?] -106156[?] is mandatory 71.71/68.41 c qxplain 191/193 71.90/68.63 c qxplain 193/193 72.11/68.85 c 543007[?] 106044[?] -106157[?] is mandatory 72.11/68.85 c qxplain 191/192 72.31/69.07 c qxplain 192/192 72.51/69.28 c 543009[?] 106157[?] -106158[?] is mandatory 72.51/69.28 c qxplain 191/191 72.71/69.50 c 543010[?] 106156[?] -106158[?] is mandatory 72.71/69.50 c qxplain 186/190 73.01/69.72 c qxplain 189/190 73.21/69.93 c qxplain 190/190 73.41/70.15 c 543011[?] 106158[?] -106160[?] is mandatory 73.41/70.15 c qxplain 189/189 73.61/70.37 c 543018[?] 106045[?] -106161[?] is mandatory 73.61/70.37 c qxplain 186/188 73.81/70.59 c qxplain 188/188 74.11/70.81 c 543020[?] 106161[?] -106162[?] is mandatory 74.11/70.81 c qxplain 186/187 74.31/71.02 c qxplain 187/187 74.51/71.24 c 543021[?] 106160[?] -106162[?] is mandatory 74.51/71.24 c qxplain 186/186 74.71/71.45 c 543022[?] 106162[?] -106164[?] is mandatory 74.71/71.45 c qxplain 165/185 74.91/71.67 c qxplain 176/185 75.12/71.89 c qxplain 181/185 75.41/72.11 c qxplain 184/185 75.62/72.32 c qxplain 185/185 75.82/72.54 c 543029[?] 106046[?] -106165[?] is mandatory 75.82/72.54 c qxplain 184/184 76.02/72.76 c 543031[?] 106165[?] -106166[?] is mandatory 76.02/72.76 c qxplain 181/183 76.22/72.97 c qxplain 183/183 76.42/73.19 c 543032[?] 106164[?] -106166[?] is mandatory 76.42/73.19 c qxplain 181/182 76.72/73.41 c qxplain 182/182 76.92/73.63 c 543033[?] 106166[?] -106168[?] is mandatory 76.92/73.63 c qxplain 181/181 77.12/73.84 c 543040[?] 106047[?] -106169[?] is mandatory 77.12/73.84 c qxplain 176/180 77.32/74.06 c qxplain 179/180 77.52/74.28 c qxplain 180/180 77.72/74.50 c 543042[?] 106169[?] -106170[?] is mandatory 77.72/74.50 c qxplain 179/179 78.02/74.71 c 543043[?] 106168[?] -106170[?] is mandatory 78.02/74.71 c qxplain 176/178 78.23/74.94 c qxplain 178/178 78.43/75.16 c 543044[?] 106170[?] -106172[?] is mandatory 78.43/75.16 c qxplain 176/177 78.63/75.38 c qxplain 177/177 78.83/75.59 c 543050[?] 106173[?] -106048[?] is mandatory 78.83/75.59 c qxplain 176/176 79.13/75.81 c 543054[?] -106174[?] 106172[?] is mandatory 79.13/75.81 c qxplain 165/175 79.33/76.03 c qxplain 171/175 79.53/76.24 c qxplain 174/175 79.73/76.46 c qxplain 175/175 79.93/76.68 c 543055[?] -106176[?] 106174[?] is mandatory 79.93/76.68 c qxplain 174/174 80.13/76.89 c 543057[?] 106016[?] 106172[?] -106173[?] is mandatory 80.13/76.89 c qxplain 171/173 80.43/77.11 c qxplain 173/173 80.63/77.33 c 543063[?] -106177[?] 106176[?] 106172[?] is mandatory 80.63/77.33 c qxplain 171/172 80.83/77.54 c qxplain 172/172 81.03/77.76 c 543066[?] 106177[?] 105984[?] -106016[?] is mandatory 81.03/77.76 c qxplain 171/171 81.22/77.98 c 543070[?] -105984[?] 106178[?] is mandatory 81.22/77.98 c qxplain 165/170 81.43/78.20 c qxplain 168/170 81.74/78.42 c qxplain 170/170 81.93/78.64 c 543072[?] -106178[?] -106187[?] is mandatory 81.93/78.64 c qxplain 168/169 82.13/78.86 c qxplain 169/169 82.33/79.07 c 543074[?] 106187[?] -106195[?] is mandatory 82.33/79.07 c qxplain 168/168 82.53/79.29 c 543076[?] 106195[?] -106196[?] is mandatory 82.53/79.29 c qxplain 165/167 82.84/79.51 c qxplain 167/167 83.03/79.73 c 543078[?] 106196[?] -106197[?] is mandatory 83.03/79.73 c qxplain 165/166 83.23/79.94 c qxplain 166/166 83.43/80.16 c 543080[?] 106197[?] -106198[?] is mandatory 83.43/80.16 c qxplain 165/165 83.63/80.38 c 543082[?] 106198[?] -106199[?] is mandatory 83.63/80.38 c qxplain 0/164 83.84/80.60 c qxplain 83/164 84.14/80.82 c qxplain 124/164 84.34/81.03 c qxplain 145/164 84.54/81.25 c qxplain 155/164 84.74/81.47 c qxplain 160/164 84.94/81.69 c qxplain 163/164 85.24/81.90 c qxplain 164/164 85.44/82.12 c 543084[?] 106199[?] -106200[?] is mandatory 85.44/82.12 c qxplain 163/163 85.64/82.34 c 543086[?] 106200[?] -106201[?] is mandatory 85.64/82.34 c qxplain 160/162 85.84/82.55 c qxplain 162/162 86.04/82.77 c 543088[?] 106201[?] -106202[?] is mandatory 86.04/82.77 c qxplain 160/161 86.24/82.99 c qxplain 161/161 86.54/83.20 c 543089[?] 106202[?] -106186[?] is mandatory 86.54/83.20 c qxplain 160/160 86.74/83.42 c 543093[?] 106237[?] 105953[?] is mandatory 86.74/83.42 c qxplain 155/159 86.94/83.64 c qxplain 158/159 87.14/83.85 c qxplain 159/159 87.34/84.07 c 543095[?] 106238[?] 105954[?] is mandatory 87.34/84.07 c qxplain 158/158 87.54/84.29 c 543097[?] 106239[?] 105955[?] is mandatory 87.54/84.29 c qxplain 155/157 87.84/84.50 c qxplain 157/157 88.04/84.72 c 543099[?] 106240[?] 105956[?] is mandatory 88.04/84.72 c qxplain 155/156 88.24/84.94 c qxplain 156/156 88.44/85.15 c 543101[?] 106241[?] 105957[?] is mandatory 88.44/85.15 c qxplain 155/155 88.63/85.37 c 543103[?] 106242[?] 105958[?] is mandatory 88.63/85.37 c qxplain 145/154 88.83/85.59 c qxplain 150/154 89.13/85.80 c qxplain 153/154 89.34/86.02 c qxplain 154/154 89.54/86.25 c 543105[?] 106243[?] 105959[?] is mandatory 89.54/86.25 c qxplain 153/153 89.74/86.47 c 543107[?] 106244[?] 105960[?] is mandatory 89.74/86.47 c qxplain 150/152 89.94/86.68 c qxplain 152/152 90.24/86.90 c 543109[?] 106245[?] 105961[?] is mandatory 90.24/86.90 c qxplain 150/151 90.45/87.12 c qxplain 151/151 90.64/87.34 c 543111[?] 106246[?] 105962[?] is mandatory 90.64/87.34 c qxplain 150/150 90.84/87.56 c 543113[?] 106247[?] 105963[?] is mandatory 90.84/87.56 c qxplain 145/149 91.04/87.78 c qxplain 148/149 91.34/88.00 c qxplain 149/149 91.55/88.22 c 543115[?] 106248[?] 105964[?] is mandatory 91.55/88.22 c qxplain 148/148 91.74/88.43 c 543117[?] 106249[?] 105965[?] is mandatory 91.74/88.43 c qxplain 145/147 91.94/88.65 c qxplain 147/147 92.14/88.87 c 543119[?] 106250[?] 105966[?] is mandatory 92.14/88.87 c qxplain 145/146 92.34/89.09 c qxplain 146/146 92.54/89.30 c 543121[?] 106251[?] 105967[?] is mandatory 92.54/89.30 c qxplain 145/145 92.84/89.52 c 543123[?] 106252[?] 105968[?] is mandatory 92.84/89.52 c qxplain 124/144 93.04/89.74 c qxplain 135/144 93.24/89.96 c qxplain 140/144 93.44/90.17 c qxplain 143/144 93.64/90.39 c qxplain 144/144 93.94/90.61 c 543125[?] 106253[?] 105969[?] is mandatory 93.94/90.61 c qxplain 143/143 94.14/90.83 c 543127[?] 106254[?] 105970[?] is mandatory 94.14/90.83 c qxplain 140/142 94.34/91.05 c qxplain 142/142 94.54/91.26 c 543129[?] 106255[?] 105971[?] is mandatory 94.54/91.26 c qxplain 140/141 94.74/91.48 c qxplain 141/141 95.04/91.70 c 543131[?] 106256[?] 105972[?] is mandatory 95.04/91.70 c qxplain 140/140 95.25/91.92 c 543133[?] 106257[?] 105973[?] is mandatory 95.25/91.92 c qxplain 135/139 95.45/92.14 c qxplain 138/139 95.65/92.35 c qxplain 139/139 95.85/92.57 c 543135[?] 106258[?] 105974[?] is mandatory 95.85/92.57 c qxplain 138/138 96.05/92.79 c 543137[?] 106259[?] 105975[?] is mandatory 96.05/92.79 c qxplain 135/137 96.35/93.00 c qxplain 137/137 96.54/93.22 c 543139[?] 106260[?] 105976[?] is mandatory 96.54/93.22 c qxplain 135/136 96.74/93.44 c qxplain 136/136 96.95/93.66 c 543141[?] 106261[?] 105977[?] is mandatory 96.95/93.66 c qxplain 135/135 97.15/93.88 c 543143[?] 106262[?] 105978[?] is mandatory 97.15/93.88 c qxplain 124/134 97.35/94.09 c qxplain 130/134 97.65/94.31 c qxplain 133/134 97.85/94.53 c qxplain 134/134 98.05/94.75 c 543145[?] 106263[?] 105979[?] is mandatory 98.05/94.75 c qxplain 133/133 98.25/94.96 c 543147[?] 106264[?] 105980[?] is mandatory 98.25/94.96 c qxplain 130/132 98.45/95.18 c qxplain 132/132 98.75/95.40 c 543149[?] 106265[?] 105981[?] is mandatory 98.75/95.40 c qxplain 130/131 98.95/95.61 c qxplain 131/131 99.15/95.83 c 543151[?] 106266[?] 105982[?] is mandatory 99.15/95.83 c qxplain 130/130 99.35/96.05 c 543154[?] -105983[?] -106267[?] is mandatory 99.35/96.05 c qxplain 124/129 99.54/96.27 c qxplain 127/129 99.74/96.48 c qxplain 129/129 100.04/96.70 c 543155[?] 106236[?] 106268[?] is mandatory 100.04/96.70 c qxplain 127/128 100.24/96.92 c qxplain 128/128 100.45/97.14 c 543157[?] -106236[?] 106270[?] is mandatory 100.45/97.14 c qxplain 127/127 100.64/97.35 c 543159[?] -106268[?] 106269[?] is mandatory 100.64/97.35 c qxplain 124/126 100.84/97.57 c qxplain 126/126 101.15/97.80 c 543162[?] -106269[?] 106271[?] is mandatory 101.15/97.80 c qxplain 124/125 101.35/98.01 c qxplain 125/125 101.56/98.24 c 543163[?] -106270[?] 106271[?] is mandatory 101.56/98.24 c qxplain 124/124 101.75/98.46 c 543166[?] 106272[?] -106237[?] is mandatory 101.75/98.46 c qxplain 83/123 101.95/98.68 c qxplain 104/123 102.15/98.89 c qxplain 114/123 102.45/99.11 c qxplain 119/123 102.66/99.32 c qxplain 122/123 102.85/99.54 c qxplain 123/123 103.05/99.76 c 543168[?] 106273[?] -106272[?] -106271[?] is mandatory 103.05/99.76 c qxplain 122/122 103.25/99.97 c 543172[?] 106275[?] -106273[?] is mandatory 103.25/99.97 c qxplain 119/121 103.45/100.19 c qxplain 121/121 103.76/100.41 c 543177[?] 106276[?] -106238[?] is mandatory 103.76/100.41 c qxplain 119/120 103.95/100.63 c qxplain 120/120 104.15/100.85 c 543179[?] 106277[?] -106276[?] -106275[?] is mandatory 104.15/100.85 c qxplain 119/119 104.35/101.07 c 543183[?] 106279[?] -106277[?] is mandatory 104.35/101.07 c qxplain 114/118 104.55/101.28 c qxplain 117/118 104.76/101.50 c qxplain 118/118 105.05/101.72 c 543188[?] 106280[?] -106239[?] is mandatory 105.05/101.72 c qxplain 117/117 105.25/101.94 c 543190[?] 106281[?] -106280[?] -106279[?] is mandatory 105.25/101.94 c qxplain 114/116 105.45/102.16 c qxplain 116/116 105.65/102.38 c 543194[?] 106283[?] -106281[?] is mandatory 105.65/102.38 c qxplain 114/115 105.86/102.60 c qxplain 115/115 106.15/102.82 c 543199[?] 106284[?] -106240[?] is mandatory 106.15/102.82 c qxplain 114/114 106.35/103.04 c 543201[?] 106285[?] -106284[?] -106283[?] is mandatory 106.35/103.04 c qxplain 104/113 106.55/103.26 c qxplain 109/113 106.76/103.48 c qxplain 112/113 106.96/103.70 c qxplain 113/113 107.26/103.92 c 543205[?] 106287[?] -106285[?] is mandatory 107.26/103.92 c qxplain 112/112 107.46/104.13 c 543210[?] 106288[?] -106241[?] is mandatory 107.46/104.13 c qxplain 109/111 107.66/104.35 c qxplain 111/111 107.86/104.57 c 543212[?] 106289[?] -106287[?] -106288[?] is mandatory 107.86/104.57 c qxplain 109/110 108.06/104.78 c qxplain 110/110 108.36/105.00 c 543216[?] 106291[?] -106289[?] is mandatory 108.36/105.00 c qxplain 109/109 108.56/105.22 c 543221[?] 106292[?] -106242[?] is mandatory 108.56/105.22 c qxplain 104/108 108.76/105.43 c qxplain 107/108 108.96/105.65 c qxplain 108/108 109.16/105.87 c 543223[?] 106293[?] -106291[?] -106292[?] is mandatory 109.16/105.87 c qxplain 107/107 109.36/106.09 c 543227[?] 106295[?] -106293[?] is mandatory 109.36/106.09 c qxplain 104/106 109.66/106.30 c qxplain 106/106 109.86/106.52 c 543232[?] 106296[?] -106243[?] is mandatory 109.86/106.52 c qxplain 104/105 110.06/106.74 c qxplain 105/105 110.26/106.96 c 543234[?] 106297[?] -106296[?] -106295[?] is mandatory 110.26/106.96 c qxplain 104/104 110.46/107.17 c 543238[?] 106299[?] -106297[?] is mandatory 110.46/107.17 c qxplain 83/103 110.66/107.39 c qxplain 94/103 110.96/107.61 c qxplain 99/103 111.16/107.82 c qxplain 102/103 111.36/108.05 c qxplain 103/103 111.56/108.26 c 543243[?] 106300[?] -106244[?] is mandatory 111.56/108.26 c qxplain 102/102 111.76/108.48 c 543245[?] 106301[?] -106300[?] -106299[?] is mandatory 111.76/108.48 c qxplain 99/101 112.06/108.70 c qxplain 101/101 112.26/108.91 c 543249[?] 106303[?] -106301[?] is mandatory 112.26/108.91 c qxplain 99/100 112.46/109.13 c qxplain 100/100 112.66/109.36 c 543254[?] 106304[?] -106245[?] is mandatory 112.66/109.36 c qxplain 99/99 112.86/109.57 c 543256[?] 106305[?] -106304[?] -106303[?] is mandatory 112.86/109.57 c qxplain 94/98 113.06/109.79 c qxplain 97/98 113.36/110.01 c qxplain 98/98 113.57/110.23 c 543260[?] 106307[?] -106305[?] is mandatory 113.57/110.23 c qxplain 97/97 113.76/110.44 c 543265[?] 106308[?] -106246[?] is mandatory 113.76/110.44 c qxplain 94/96 113.96/110.66 c qxplain 96/96 114.16/110.88 c 543267[?] 106309[?] -106307[?] -106308[?] is mandatory 114.16/110.88 c qxplain 94/95 114.36/111.09 c qxplain 95/95 114.67/111.32 c 543271[?] 106311[?] -106309[?] is mandatory 114.67/111.32 c qxplain 94/94 114.86/111.53 c 543276[?] 106312[?] -106247[?] is mandatory 114.86/111.53 c qxplain 83/93 115.06/111.75 c qxplain 89/93 115.26/111.97 c qxplain 92/93 115.46/112.18 c qxplain 93/93 115.66/112.40 c 543278[?] 106313[?] -106311[?] -106312[?] is mandatory 115.66/112.40 c qxplain 92/92 115.96/112.62 c 543282[?] 106315[?] -106313[?] is mandatory 115.96/112.62 c qxplain 89/91 116.16/112.84 c qxplain 91/91 116.36/113.05 c 543287[?] 106316[?] -106248[?] is mandatory 116.36/113.05 c qxplain 89/90 116.56/113.27 c qxplain 90/90 116.76/113.49 c 543289[?] 106317[?] -106316[?] -106315[?] is mandatory 116.76/113.49 c qxplain 89/89 117.06/113.70 c 543293[?] 106319[?] -106317[?] is mandatory 117.06/113.70 c qxplain 83/88 117.26/113.92 c qxplain 86/88 117.46/114.14 c qxplain 88/88 117.66/114.35 c 543298[?] 106320[?] -106249[?] is mandatory 117.66/114.35 c qxplain 86/87 117.86/114.57 c qxplain 87/87 118.07/114.79 c 543300[?] 106321[?] -106320[?] -106319[?] is mandatory 118.07/114.79 c qxplain 86/86 118.36/115.00 c 543304[?] 106323[?] -106321[?] is mandatory 118.36/115.00 c qxplain 83/85 118.56/115.22 c qxplain 85/85 118.77/115.45 c 543309[?] 106324[?] -106250[?] is mandatory 118.77/115.45 c qxplain 83/84 118.97/115.67 c qxplain 84/84 119.17/115.88 c 543311[?] 106325[?] -106324[?] -106323[?] is mandatory 119.17/115.88 c qxplain 83/83 119.48/116.10 c 543315[?] 106327[?] -106325[?] is mandatory 119.48/116.10 c qxplain 0/82 119.68/116.32 c qxplain 42/82 119.88/116.53 c qxplain 63/82 120.08/116.75 c qxplain 73/82 120.28/116.97 c qxplain 78/82 120.48/117.18 c qxplain 81/82 120.78/117.40 c qxplain 82/82 120.98/117.62 c 543320[?] 106328[?] -106251[?] is mandatory 120.98/117.62 c qxplain 81/81 121.18/117.84 c 543322[?] 106329[?] -106328[?] -106327[?] is mandatory 121.18/117.84 c qxplain 78/80 121.38/118.05 c qxplain 80/80 121.58/118.27 c 543326[?] 106331[?] -106329[?] is mandatory 121.58/118.27 c qxplain 78/79 121.78/118.49 c qxplain 79/79 122.08/118.71 c 543331[?] 106332[?] -106252[?] is mandatory 122.08/118.71 c qxplain 78/78 122.28/118.93 c 543333[?] 106333[?] -106332[?] -106331[?] is mandatory 122.28/118.93 c qxplain 73/77 122.48/119.14 c qxplain 76/77 122.68/119.36 c qxplain 77/77 122.88/119.57 c 543337[?] 106335[?] -106333[?] is mandatory 122.88/119.57 c qxplain 76/76 123.08/119.79 c 543342[?] 106336[?] -106253[?] is mandatory 123.08/119.79 c qxplain 73/75 123.38/120.01 c qxplain 75/75 123.58/120.23 c 543344[?] 106337[?] -106335[?] -106336[?] is mandatory 123.58/120.23 c qxplain 73/74 123.78/120.44 c qxplain 74/74 123.98/120.66 c 543348[?] 106339[?] -106337[?] is mandatory 123.98/120.66 c qxplain 73/73 124.18/120.87 c 543353[?] 106340[?] -106254[?] is mandatory 124.18/120.87 c qxplain 63/72 124.38/121.09 c qxplain 68/72 124.69/121.32 c qxplain 71/72 124.88/121.54 c qxplain 72/72 125.08/121.75 c 543355[?] 106341[?] -106339[?] -106340[?] is mandatory 125.08/121.75 c qxplain 71/71 125.28/121.97 c 543359[?] 106343[?] -106341[?] is mandatory 125.28/121.97 c qxplain 68/70 125.48/122.20 c qxplain 70/70 125.79/122.41 c 543364[?] 106344[?] -106255[?] is mandatory 125.79/122.41 c qxplain 68/69 125.98/122.63 c qxplain 69/69 126.18/122.85 c 543366[?] 106345[?] -106344[?] -106343[?] is mandatory 126.18/122.85 c qxplain 68/68 126.38/123.07 c 543370[?] 106347[?] -106345[?] is mandatory 126.38/123.07 c qxplain 63/67 126.58/123.28 c qxplain 66/67 126.78/123.50 c qxplain 67/67 127.08/123.72 c 543375[?] 106348[?] -106256[?] is mandatory 127.08/123.72 c qxplain 66/66 127.28/123.93 c 543377[?] 106349[?] -106348[?] -106347[?] is mandatory 127.28/123.93 c qxplain 63/65 127.48/124.15 c qxplain 65/65 127.68/124.37 c 543381[?] 106351[?] -106349[?] is mandatory 127.68/124.37 c qxplain 63/64 127.88/124.59 c qxplain 64/64 128.18/124.80 c 543386[?] 106352[?] -106257[?] is mandatory 128.18/124.80 c qxplain 63/63 128.38/125.02 c 543388[?] 106353[?] -106352[?] -106351[?] is mandatory 128.38/125.02 c qxplain 42/62 128.58/125.23 c qxplain 53/62 128.78/125.45 c qxplain 58/62 128.98/125.67 c qxplain 61/62 129.18/125.89 c qxplain 62/62 129.48/126.11 c 543392[?] 106355[?] -106353[?] is mandatory 129.48/126.11 c qxplain 61/61 129.68/126.32 c 543397[?] 106356[?] -106258[?] is mandatory 129.68/126.32 c qxplain 58/60 129.88/126.54 c qxplain 60/60 130.08/126.76 c 543399[?] 106357[?] -106355[?] -106356[?] is mandatory 130.08/126.76 c qxplain 58/59 130.28/126.98 c qxplain 59/59 130.48/127.19 c 543403[?] 106359[?] -106357[?] is mandatory 130.48/127.19 c qxplain 58/58 130.78/127.41 c 543408[?] 106360[?] -106259[?] is mandatory 130.78/127.41 c qxplain 53/57 130.99/127.64 c qxplain 56/57 131.19/127.85 c qxplain 57/57 131.39/128.07 c 543410[?] 106361[?] -106359[?] -106360[?] is mandatory 131.39/128.07 c qxplain 56/56 131.59/128.29 c 543414[?] 106363[?] -106361[?] is mandatory 131.59/128.29 c qxplain 53/55 131.89/128.51 c qxplain 55/55 132.09/128.72 c 543419[?] 106364[?] -106260[?] is mandatory 132.09/128.72 c qxplain 53/54 132.29/128.94 c qxplain 54/54 132.48/129.16 c 543421[?] 106365[?] -106364[?] -106363[?] is mandatory 132.48/129.16 c qxplain 53/53 132.68/129.38 c 543425[?] 106367[?] -106365[?] is mandatory 132.68/129.38 c qxplain 42/52 132.98/129.60 c qxplain 48/52 133.18/129.82 c qxplain 51/52 133.39/130.03 c qxplain 52/52 133.58/130.25 c 543430[?] 106368[?] -106261[?] is mandatory 133.58/130.25 c qxplain 51/51 133.78/130.47 c 543432[?] 106369[?] -106368[?] -106367[?] is mandatory 133.78/130.47 c qxplain 48/50 133.98/130.69 c qxplain 50/50 134.28/130.91 c 543436[?] 106371[?] -106369[?] is mandatory 134.28/130.91 c qxplain 48/49 134.49/131.12 c qxplain 49/49 134.68/131.34 c 543441[?] 106372[?] -106262[?] is mandatory 134.68/131.34 c qxplain 48/48 134.88/131.56 c 543443[?] 106373[?] -106372[?] -106371[?] is mandatory 134.88/131.56 c qxplain 42/47 135.08/131.77 c qxplain 45/47 135.28/131.99 c qxplain 47/47 135.59/132.21 c 543447[?] 106375[?] -106373[?] is mandatory 135.59/132.21 c qxplain 45/46 135.78/132.42 c qxplain 46/46 135.98/132.64 c 543452[?] 106376[?] -106263[?] is mandatory 135.98/132.64 c qxplain 45/45 136.18/132.86 c 543454[?] 106377[?] -106376[?] -106375[?] is mandatory 136.18/132.86 c qxplain 42/44 136.39/133.07 c qxplain 44/44 136.59/133.29 c 543458[?] 106379[?] -106377[?] is mandatory 136.59/133.29 c qxplain 42/43 136.89/133.51 c qxplain 43/43 137.09/133.73 c 543463[?] 106380[?] -106264[?] is mandatory 137.09/133.73 c qxplain 42/42 137.29/133.96 c 543465[?] 106381[?] -106380[?] -106379[?] is mandatory 137.29/133.96 c qxplain 0/41 137.49/134.18 c qxplain 21/41 137.69/134.39 c qxplain 32/41 137.99/134.61 c qxplain 37/41 138.19/134.83 c qxplain 40/41 138.39/135.05 c qxplain 41/41 138.59/135.27 c 543469[?] 106383[?] -106381[?] is mandatory 138.59/135.27 c qxplain 40/40 138.79/135.49 c 543474[?] 106384[?] -106265[?] is mandatory 138.79/135.49 c qxplain 37/39 139.09/135.70 c qxplain 39/39 139.29/135.92 c 543476[?] 106385[?] -106383[?] -106384[?] is mandatory 139.29/135.92 c qxplain 37/38 139.49/136.14 c qxplain 38/38 139.69/136.36 c 543480[?] 106387[?] -106385[?] is mandatory 139.69/136.36 c qxplain 37/37 139.89/136.57 c 543485[?] 106388[?] -106266[?] is mandatory 139.89/136.57 c qxplain 32/36 140.10/136.79 c qxplain 35/36 140.40/137.01 c qxplain 36/36 140.60/137.23 c 543487[?] 106389[?] -106387[?] -106388[?] is mandatory 140.60/137.23 c qxplain 35/35 140.80/137.44 c 543491[?] 106391[?] -106389[?] is mandatory 140.80/137.44 c qxplain 32/34 141.00/137.66 c qxplain 34/34 141.21/137.88 c 543497[?] 106267[?] -106392[?] is mandatory 141.21/137.88 c qxplain 32/33 141.50/138.10 c qxplain 33/33 141.70/138.31 c 543498[?] 106393[?] -106391[?] -106392[?] is mandatory 141.70/138.31 c qxplain 32/32 141.90/138.53 c 543499[?] 106392[?] -106393[?] is mandatory 141.90/138.53 c qxplain 21/31 142.10/138.75 c qxplain 27/31 142.31/138.96 c qxplain 30/31 142.50/139.18 c qxplain 31/31 142.80/139.41 c 543501[?] 106393[?] -106395[?] is mandatory 142.80/139.41 c qxplain 30/30 143.00/139.63 c 543502[?] 106395[?] -106393[?] is mandatory 143.00/139.63 c qxplain 27/29 143.20/139.85 c qxplain 29/29 143.41/140.08 c 543504[?] -106391[?] 106392[?] 106235[?] is mandatory 143.41/140.08 c qxplain 27/28 143.70/140.30 c qxplain 28/28 143.90/140.53 c 543505[?] 106392[?] 106391[?] -106235[?] is mandatory 143.90/140.53 c qxplain 27/27 144.10/140.74 c 543506[?] -106235[?] -106391[?] -106392[?] is mandatory 144.10/140.74 c qxplain 21/26 144.30/140.96 c qxplain 24/26 144.51/141.18 c qxplain 26/26 144.80/141.40 c 543508[?] -106391[?] 106395[?] 106396[?] is mandatory 144.80/141.40 c qxplain 24/25 145.00/141.64 c qxplain 25/25 145.21/141.85 c 543509[?] 106391[?] 106395[?] -106396[?] is mandatory 145.21/141.85 c qxplain 24/24 145.41/142.07 c 543510[?] -106395[?] -106391[?] -106396[?] is mandatory 145.41/142.07 c qxplain 21/23 145.61/142.29 c qxplain 23/23 145.90/142.51 c 543511[?] 106235[?] 106203[?] 106396[?] is mandatory 145.90/142.51 c qxplain 21/22 146.10/142.73 c qxplain 22/22 146.30/142.94 c 543512[?] -106235[?] -106396[?] 106203[?] is mandatory 146.30/142.94 c qxplain 21/21 146.50/143.16 c 543516[?] -106203[?] 106397[?] is mandatory 146.50/143.16 c qxplain 0/20 146.71/143.38 c qxplain 11/20 147.00/143.62 c qxplain 16/20 147.20/143.84 c qxplain 19/20 147.40/144.05 c qxplain 20/20 147.61/144.28 c 543518[?] -106397[?] -106407[?] is mandatory 147.61/144.28 c qxplain 19/19 147.81/144.49 c 543520[?] 106407[?] -106415[?] is mandatory 147.81/144.49 c qxplain 16/18 148.11/144.71 c qxplain 18/18 148.31/144.92 c 543522[?] 106415[?] -106416[?] is mandatory 148.31/144.92 c qxplain 16/17 148.51/145.14 c qxplain 17/17 148.71/145.36 c 543524[?] 106416[?] -106417[?] is mandatory 148.71/145.36 c qxplain 16/16 148.91/145.58 c 543526[?] 106417[?] -106418[?] is mandatory 148.91/145.58 c qxplain 11/15 149.10/145.79 c qxplain 14/15 149.40/146.01 c qxplain 15/15 149.60/146.23 c 543528[?] 106418[?] -106419[?] is mandatory 149.60/146.23 c qxplain 14/14 149.80/146.44 c 543530[?] 106419[?] -106420[?] is mandatory 149.80/146.44 c qxplain 11/13 150.01/146.66 c qxplain 13/13 150.20/146.88 c 543532[?] 106420[?] -106421[?] is mandatory 150.20/146.88 c qxplain 11/12 150.51/147.11 c qxplain 12/12 150.71/147.32 c 543534[?] 106421[?] -106422[?] is mandatory 150.71/147.32 c qxplain 11/11 150.91/147.54 c 543535[?] 106422[?] -106406[?] is mandatory 150.91/147.54 c qxplain 0/10 151.12/147.76 c qxplain 6/10 151.31/147.97 c qxplain 9/10 151.51/148.19 c qxplain 10/10 151.81/148.41 c 543537[?] 106406[?] 106405[?] is mandatory 151.81/148.41 c qxplain 9/9 152.01/148.62 c 543724[?] -106405[?] -106546[?] is mandatory 152.01/148.62 c qxplain 6/8 152.22/148.84 c qxplain 8/8 152.41/149.06 c 543728[?] 106186[?] -106547[?] is mandatory 152.41/149.06 c qxplain 6/7 152.61/149.28 c qxplain 7/7 152.81/149.49 c 543729[?] 106546[?] -106547[?] is mandatory 152.81/149.49 c qxplain 6/6 153.11/149.71 c 543732[?] -106548[?] 106547[?] is mandatory 153.11/149.71 c qxplain 0/5 153.32/149.93 c qxplain 3/5 153.51/150.15 c qxplain 5/5 153.71/150.37 c 545442[?] -107671[?] 106548[?] is mandatory 153.71/150.37 c qxplain 3/4 153.91/150.59 c qxplain 4/4 154.21/150.80 c 545446[?] -107672[?] 107671[?] is mandatory 154.21/150.80 c qxplain 3/3 154.42/151.02 c 697790[?] -161753[?] 107672[?] is mandatory 154.42/151.02 c qxplain 0/2 154.61/151.24 c qxplain 2/2 154.81/151.45 c 697794[?] -161754[?] 161753[?] is mandatory 154.81/151.45 c qxplain 0/1 155.01/151.68 c qxplain 1/1 155.21/151.90 c 697797[?] -161755[?] 161754[?] is mandatory 155.21/151.90 c qxplain 0/0 155.52/152.11 c 910244[?] 236535[?] 161755[?] is mandatory 156.48/152.94 c Size of the MUS: 329 156.48/152.94 c Unsat core computation wall clock time (in seconds) : 148.465 156.48/152.94 c starts : 663 156.48/152.94 c conflicts : 729 156.48/152.94 c decisions : 155618264 156.48/152.94 c propagations : 604631015 156.48/152.94 c inspects : 34105049 156.48/152.94 c shortcuts : 0 156.48/152.94 c learnt literals : 0 156.48/152.94 c learnt binary clauses : 0 156.48/152.94 c learnt ternary clauses : 10 156.48/152.94 c learnt constraints : 728 156.48/152.94 c ignored constraints : 0 156.48/152.94 c root simplifications : 0 156.48/152.94 c removed literals (reason simplification) : 52 156.48/152.94 c reason swapping (by a shorter reason) : 0 156.48/152.94 c Calls to reduceDB : 0 156.48/152.94 c speed (assignments/second) : 5.774890305635148E8 156.48/152.94 c non guided choices 155605143 156.48/152.95 c learnt constraints type 156.48/152.95 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 728 156.48/152.95 c constraints type 156.48/152.95 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 645468 156.48/152.95 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 28243 156.48/152.95 s UNSATISFIABLE 156.48/152.95 v 28243 306113 306115 306117 306119 306121 306123 306125 306127 306129 306131 306133 306135 306137 306139 306141 306143 306145 306147 306149 306151 306153 306155 306157 306159 306161 306163 306165 306167 306169 306171 306172 306186 306188 306190 306197 306199 306200 306201 306208 306210 306211 306212 306219 306221 306222 306223 306230 306232 306233 306234 306241 306243 306244 306245 306252 306254 306255 306256 306263 306265 306266 306267 306274 306276 306277 306278 306285 306287 306288 306289 306296 306298 306299 306300 306307 306309 306310 306311 306318 306320 306321 306322 306329 306331 306332 306333 306340 306342 306343 306344 306351 306353 306354 306355 306362 306364 306365 306366 306373 306375 306376 306377 306384 306386 306387 306388 306395 306397 306398 306399 306406 306408 306409 306410 306417 306419 306420 306421 306428 306430 306431 306432 306439 306441 306442 306443 306450 306452 306453 306454 306461 306463 306464 306465 306472 306474 306475 306476 306483 306485 306486 306487 306494 306496 306497 306498 306505 306507 306508 306509 306515 306519 306520 306522 306528 306531 306535 306537 306539 306541 306543 306545 306547 306549 306551 306553 306554 306558 306560 306562 306564 306566 306568 306570 306572 306574 306576 306578 306580 306582 306584 306586 306588 306590 306592 306594 306596 306598 306600 306602 306604 306606 306608 306610 306612 306614 306616 306619 306620 306622 306624 306627 306628 306631 306633 306637 306642 306644 306648 306653 306655 306659 306664 306666 306670 306675 306677 306681 306686 306688 306692 306697 306699 306703 306708 306710 306714 306719 306721 306725 306730 306732 306736 306741 306743 306747 306752 306754 306758 306763 306765 306769 306774 306776 306780 306785 306787 306791 306796 306798 306802 306807 306809 306813 306818 306820 306824 306829 306831 306835 306840 306842 306846 306851 306853 306857 306862 306864 306868 306873 306875 306879 306884 306886 306890 306895 306897 306901 306906 306908 306912 306917 306919 306923 306928 306930 306934 306939 306941 306945 306950 306952 306956 306962 306963 306964 306966 306967 306969 306970 306971 306973 306974 306975 306976 306977 306981 306983 306985 306987 306989 306991 306993 306995 306997 306999 307000 307002 307189 307193 307194 307197 308907 308911 461255 461259 461262 673709 0 156.48/152.95 c Total wall clock time (in seconds) : 152.845
OK 329
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-3493568-1307800874/watcher-3493568-1307800874 -o /tmp/evaluation-result-3493568-1307800874/solver-3493568-1307800874 -C 1800 -W 1850 -M 7680 java -Xms6000m -Xmx6000m -jar sat4j-mus-v20110206.jar HOME/instance-3493568-1307800874.cnf running on 2 cores: 5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1850 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.32 2.37 2.97 2/172 32138 /proc/meminfo: memFree=31384700/32951124 swapFree=67063272/67111528 [pid=32138] ppid=32136 vsize=23028 CPUtime=0 cores=5,7 /proc/32138/stat : 32138 (java) R 32136 32138 6290 0 -1 4202496 437 0 0 0 0 0 0 0 25 0 1 0 891685626 23580672 182 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232330969191 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/32138/statm: 5757 188 145 9 0 124 0 [startup+0.0852321 s] /proc/loadavg: 1.32 2.37 2.97 2/172 32138 /proc/meminfo: memFree=31384700/32951124 swapFree=67063272/67111528 [pid=32138] ppid=32136 vsize=6494940 CPUtime=0.07 cores=5,7 /proc/32138/stat : 32138 (java) S 32136 32138 6290 0 -1 4202496 8743 0 1 0 6 1 0 0 25 0 18 0 891685626 6650818560 8440 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/32138/statm: 1623735 8440 1756 9 0 1614473 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 6494940 [startup+0.107251 s] /proc/loadavg: 1.32 2.37 2.97 2/172 32138 /proc/meminfo: memFree=31384700/32951124 swapFree=67063272/67111528 [pid=32138] ppid=32136 vsize=6430936 CPUtime=0.11 cores=5,7 /proc/32138/stat : 32138 (java) S 32136 32138 6290 0 -1 4202496 11125 0 1 0 10 1 0 0 25 0 18 0 891685626 6585278464 10824 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/32138/statm: 1607734 10849 2091 9 0 1598472 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 6430936 [startup+0.300134 s] /proc/loadavg: 1.32 2.37 2.97 2/172 32138 /proc/meminfo: memFree=31384700/32951124 swapFree=67063272/67111528 [pid=32138] ppid=32136 vsize=6433012 CPUtime=0.44 cores=5,7 /proc/32138/stat : 32138 (java) S 32136 32138 6290 0 -1 4202496 21295 0 1 0 41 3 0 0 25 0 18 0 891685626 6587404288 20531 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/32138/statm: 1608253 20531 2204 9 0 1598991 0 Current children cumulated CPU time (s) 0.44 Current children cumulated vsize (KiB) 6433012 [startup+0.701059 s] /proc/loadavg: 1.32 2.37 2.97 2/172 32138 /proc/meminfo: memFree=31384700/32951124 swapFree=67063272/67111528 [pid=32138] ppid=32136 vsize=6433012 CPUtime=0.87 cores=5,7 /proc/32138/stat : 32138 (java) S 32136 32138 6290 0 -1 4202496 61923 0 1 0 80 7 0 0 25 0 18 0 891685626 6587404288 61068 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/32138/statm: 1608253 61068 2204 9 0 1598991 0 Current children cumulated CPU time (s) 0.87 Current children cumulated vsize (KiB) 6433012 [startup+1.50092 s] /proc/loadavg: 1.32 2.37 2.97 4/190 32156 /proc/meminfo: memFree=31045876/32951124 swapFree=67063272/67111528 [pid=32138] ppid=32136 vsize=6436740 CPUtime=2.02 cores=5,7 /proc/32138/stat : 32138 (java) S 32136 32138 6290 0 -1 4202496 105446 0 1 0 190 12 0 0 25 0 19 0 891685626 6591221760 103301 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/32138/statm: 1609185 103301 2219 9 0 1599923 0 [pid=32138/tid=32140] ppid=32136 vsize=6436740 CPUtime=1.46 cores=5,7 /proc/32138/task/32140/stat : 32140 (java) R 32136 32138 6290 0 -1 4202560 99737 0 1 0 135 11 0 0 19 0 19 0 891685627 6591221760 103301 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 46912505166942 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=32138/tid=32141] ppid=32136 vsize=6436740 CPUtime=0 cores=5,7 /proc/32138/task/32141/stat : 32141 (java) S 32136 32138 6290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891685628 6591221760 103301 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347708313 0 4 0 16800975 18446604460067834688 0 0 -1 5 0 0 0 [pid=32138/tid=32142] ppid=32136 vsize=6436740 CPUtime=0 cores=5,7 /proc/32138/task/32142/stat : 32142 (java) S 32136 32138 6290 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 891685628 6591221760 103301 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347708313 0 4 0 16800975 18446604460067834688 0 0 -1 5 0 0 0 [pid=32138/tid=32143] ppid=32136 vsize=6436740 CPUtime=0 cores=5,7 /proc/32138/task/32143/stat : 32143 (java) S 32136 32138 6290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891685628 6591221760 103301 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347708313 0 4 0 16800975 18446604460067834688 0 0 -1 5 0 0 0 [pid=32138/tid=32144] ppid=32136 vsize=6436740 CPUtime=0 cores=5,7 /proc/32138/task/32144/stat : 32144 (java) S 32136 32138 6290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891685628 6591221760 103301 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347708313 0 4 0 16800975 18446604460067834688 0 0 -1 5 0 0 0 [pid=32138/tid=32145] ppid=32136 vsize=6436740 CPUtime=0 cores=5,7 /proc/32138/task/32145/stat : 32145 (java) S 32136 32138 6290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891685628 6591221760 103301 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347708313 0 4 0 16800975 18446604460067834688 0 0 -1 5 0 0 0 [pid=32138/tid=32146] ppid=32136 vsize=6436740 CPUtime=0 cores=5,7 /proc/32138/task/32146/stat : 32146 (java) S 32136 32138 6290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891685628 6591221760 103301 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347708313 0 4 0 16800975 18446604460067834688 0 0 -1 5 0 0 0 [pid=32138/tid=32147] ppid=32136 vsize=6436740 CPUtime=0 cores=5,7 /proc/32138/task/32147/stat : 32147 (java) S 32136 32138 6290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891685628 6591221760 103301 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347708313 0 4 0 16800975 18446604460067834688 0 0 -1 5 0 0 0 [pid=32138/tid=32148] ppid=32136 vsize=6436740 CPUtime=0 cores=5,7 /proc/32138/task/32148/stat : 32148 (java) S 32136 32138 6290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891685628 6591221760 103301 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347708313 0 4 0 16800975 18446604460067834688 0 0 -1 5 0 0 0 [pid=32138/tid=32149] ppid=32136 vsize=6436740 CPUtime=0 cores=5,7 /proc/32138/task/32149/stat : 32149 (java) S 32136 32138 6290 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 891685630 6591221760 103301 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347708928 0 0 0 16800975 18446604460067834688 0 0 -1 7 0 0 0 [pid=32138/tid=32150] ppid=32136 vsize=6436740 CPUtime=0 cores=5,7 /proc/32138/task/32150/stat : 32150 (java) S 32136 32138 6290 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 891685630 6591221760 103301 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347708313 0 4 0 16800975 18446604460067834688 0 0 -1 7 0 0 0 [pid=32138/tid=32151] ppid=32136 vsize=6436740 CPUtime=0 cores=5,7 /proc/32138/task/32151/stat : 32151 (java) S 32136 32138 6290 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 891685630 6591221760 103301 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347708313 0 4 0 16800975 18446604460067834688 0 0 -1 7 0 0 0 [pid=32138/tid=32152] ppid=32136 vsize=6436740 CPUtime=0 cores=5,7 /proc/32138/task/32152/stat : 32152 (java) S 32136 32138 6290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891685632 6591221760 103301 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347716017 0 4 0 16800975 18446604460067834688 0 0 -1 7 0 0 0 [pid=32138/tid=32153] ppid=32136 vsize=6436740 CPUtime=0.26 cores=5,7 /proc/32138/task/32153/stat : 32153 (java) R 32136 32138 6290 0 -1 4202560 2194 0 0 0 26 0 0 0 17 0 19 0 891685632 6591221760 103301 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 47134213191100 0 4 0 16800975 0 0 0 -1 7 0 0 0 [pid=32138/tid=32154] ppid=32136 vsize=6436740 CPUtime=0.27 cores=5,7 /proc/32138/task/32154/stat : 32154 (java) R 32136 32138 6290 0 -1 4202560 2353 0 0 0 27 0 0 0 17 0 19 0 891685632 6591221760 103301 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347708313 0 4 0 16800975 0 0 0 -1 7 0 0 0 [pid=32138/tid=32155] ppid=32136 vsize=6436740 CPUtime=0 cores=5,7 /proc/32138/task/32155/stat : 32155 (java) S 32136 32138 6290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891685632 6591221760 103301 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347708313 0 4 0 16800975 18446604460067834688 0 0 -1 7 0 0 0 [pid=32138/tid=32156] ppid=32136 vsize=6436740 CPUtime=0 cores=5,7 /proc/32138/task/32156/stat : 32156 (java) S 32136 32138 6290 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 891685632 6591221760 103301 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347708928 0 4 0 16800975 18446604460067834688 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 2.02 Current children cumulated vsize (KiB) 6436740 [startup+3.10068 s] /proc/loadavg: 1.37 2.36 2.96 2/191 32157 /proc/meminfo: memFree=30977012/32951124 swapFree=67063272/67111528 [pid=32138] ppid=32136 vsize=6436740 CPUtime=3.84 cores=5,7 /proc/32138/stat : 32138 (java) S 32136 32138 6290 0 -1 4202496 106549 0 1 0 372 12 0 0 25 0 19 0 891685626 6591221760 103581 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/32138/statm: 1609185 103581 2224 9 0 1599923 0 [pid=32138/tid=32140] ppid=32136 vsize=6436740 CPUtime=3.06 cores=5,7 /proc/32138/task/32140/stat : 32140 (java) R 32136 32138 6290 0 -1 4202560 99953 0 1 0 295 11 0 0 18 0 19 0 891685627 6591221760 103581 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 46912505916720 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=32138/tid=32141] ppid=32136 vsize=6436740 CPUtime=0 cores=5,7 /proc/32138/task/32141/stat : 32141 (java) S 32136 32138 6290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891685628 6591221760 103581 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347708313 0 4 0 16800975 18446604460067834688 0 0 -1 5 0 0 0 [pid=32138/tid=32142] ppid=32136 vsize=6436740 CPUtime=0 cores=5,7 /proc/32138/task/32142/stat : 32142 (java) S 32136 32138 6290 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 891685628 6591221760 103581 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347708313 0 4 0 16800975 18446604460067834688 0 0 -1 5 0 0 0 [pid=32138/tid=32143] ppid=32136 vsize=6436740 CPUtime=0 cores=5,7 /proc/32138/task/32143/stat : 32143 (java) S 32136 32138 6290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891685628 6591221760 103581 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347708313 0 4 0 16800975 18446604460067834688 0 0 -1 5 0 0 0 [pid=32138/tid=32144] ppid=32136 vsize=6436740 CPUtime=0 cores=5,7 /proc/32138/task/32144/stat : 32144 (java) S 32136 32138 6290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891685628 6591221760 103581 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347708313 0 4 0 16800975 18446604460067834688 0 0 -1 5 0 0 0 [pid=32138/tid=32145] ppid=32136 vsize=6436740 CPUtime=0 cores=5,7 /proc/32138/task/32145/stat : 32145 (java) S 32136 32138 6290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891685628 6591221760 103581 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347708313 0 4 0 16800975 18446604460067834688 0 0 -1 5 0 0 0 [pid=32138/tid=32146] ppid=32136 vsize=6436740 CPUtime=0 cores=5,7 /proc/32138/task/32146/stat : 32146 (java) S 32136 32138 6290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891685628 6591221760 103581 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347708313 0 4 0 16800975 18446604460067834688 0 0 -1 5 0 0 0 [pid=32138/tid=32147] ppid=32136 vsize=6436740 CPUtime=0 cores=5,7 /proc/32138/task/32147/stat : 32147 (java) S 32136 32138 6290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891685628 6591221760 103581 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347708313 0 4 0 16800975 18446604460067834688 0 0 -1 5 0 0 0 [pid=32138/tid=32148] ppid=32136 vsize=6436740 CPUtime=0 cores=5,7 /proc/32138/task/32148/stat : 32148 (java) S 32136 32138 6290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891685628 6591221760 103581 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347708313 0 4 0 16800975 18446604460067834688 0 0 -1 5 0 0 0 [pid=32138/tid=32149] ppid=32136 vsize=6436740 CPUtime=0 cores=5,7 /proc/32138/task/32149/stat : 32149 (java) S 32136 32138 6290 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 891685630 6591221760 103581 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347708928 0 0 0 16800975 18446604460067834688 0 0 -1 7 0 0 0 [pid=32138/tid=32150] ppid=32136 vsize=6436740 CPUtime=0 cores=5,7 /proc/32138/task/32150/stat : 32150 (java) S 32136 32138 6290 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 891685630 6591221760 103581 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347708313 0 4 0 16800975 18446604460067834688 0 0 -1 7 0 0 0 [pid=32138/tid=32151] ppid=32136 vsize=6436740 CPUtime=0 cores=5,7 /proc/32138/task/32151/stat : 32151 (java) S 32136 32138 6290 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 891685630 6591221760 103581 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347708313 0 4 0 16800975 18446604460067834688 0 0 -1 7 0 0 0 [pid=32138/tid=32152] ppid=32136 vsize=6436740 CPUtime=0 cores=5,7 /proc/32138/task/32152/stat : 32152 (java) S 32136 32138 6290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891685632 6591221760 103581 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347716017 0 4 0 16800975 18446604460067834688 0 0 -1 7 0 0 0 [pid=32138/tid=32153] ppid=32136 vsize=6436740 CPUtime=0.34 cores=5,7 /proc/32138/task/32153/stat : 32153 (java) S 32136 32138 6290 0 -1 4202560 2209 0 0 0 34 0 0 0 15 0 19 0 891685632 6591221760 103581 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347708313 0 4 0 16800975 18446604460067834688 0 0 -1 7 0 0 0 [pid=32138/tid=32154] ppid=32136 vsize=6436740 CPUtime=0.42 cores=5,7 /proc/32138/task/32154/stat : 32154 (java) S 32136 32138 6290 0 -1 4202560 3225 0 0 0 42 0 0 0 15 0 19 0 891685632 6591221760 103581 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347708313 0 4 0 16800975 18446604460067834688 0 0 -1 7 0 0 0 [pid=32138/tid=32155] ppid=32136 vsize=6436740 CPUtime=0 cores=5,7 /proc/32138/task/32155/stat : 32155 (java) S 32136 32138 6290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891685632 6591221760 103581 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347708313 0 4 0 16800975 18446604460067834688 0 0 -1 7 0 0 0 [pid=32138/tid=32156] ppid=32136 vsize=6436740 CPUtime=0 cores=5,7 /proc/32138/task/32156/stat : 32156 (java) S 32136 32138 6290 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 891685632 6591221760 103581 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347708928 0 4 0 16800975 18446604460067834688 0 0 -1 7 0 0 0 [pid=32138/tid=32157] ppid=32136 vsize=6436740 CPUtime=0 cores=5,7 /proc/32138/task/32157/stat : 32157 (java) S 32136 32138 6290 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 891685759 6591221760 103581 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347708928 0 4 0 16800975 18446604460067834688 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3.84 Current children cumulated vsize (KiB) 6436740 [startup+6.30112 s] /proc/loadavg: 1.37 2.36 2.96 2/190 32159 /proc/meminfo: memFree=30850780/32951124 swapFree=67063272/67111528 [pid=32138] ppid=32136 vsize=6436740 CPUtime=7.23 cores=5,7 /proc/32138/stat : 32138 (java) S 32136 32138 6290 0 -1 4202496 170168 0 1 0 703 20 0 0 25 0 19 0 891685626 6591221760 165838 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/32138/statm: 1609185 165838 2229 9 0 1599923 0 [pid=32138/tid=32140] ppid=32136 vsize=6436740 CPUtime=6.26 cores=5,7 /proc/32138/task/32140/stat : 32140 (java) R 32136 32138 6290 0 -1 4202560 161907 0 1 0 607 19 0 0 18 0 19 0 891685627 6591221760 165838 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 46912505652535 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=32138/tid=32141] ppid=32136 vsize=6436740 CPUtime=0 cores=5,7 /proc/32138/task/32141/stat : 32141 (java) S 32136 32138 6290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891685628 6591221760 165838 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347708313 0 4 0 16800975 18446604460067834688 0 0 -1 5 0 0 0 [pid=32138/tid=32142] ppid=32136 vsize=6436740 CPUtime=0 cores=5,7 /proc/32138/task/32142/stat : 32142 (java) S 32136 32138 6290 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 891685628 6591221760 165838 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347708313 0 4 0 16800975 18446604460067834688 0 0 -1 5 0 0 0 [pid=32138/tid=32143] ppid=32136 vsize=6436740 CPUtime=0 cores=5,7 /proc/32138/task/32143/stat : 32143 (java) S 32136 32138 6290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891685628 6591221760 165838 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347708313 0 4 0 16800975 18446604460067834688 0 0 -1 5 0 0 0 [pid=32138/tid=32144] ppid=32136 vsize=6436740 CPUtime=0 cores=5,7 /proc/32138/task/32144/stat : 32144 (java) S 32136 32138 6290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891685628 6591221760 165838 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347708313 0 4 0 16800975 18446604460067834688 0 0 -1 5 0 0 0 [pid=32138/tid=32145] ppid=32136 vsize=6436740 CPUtime=0 cores=5,7 /proc/32138/task/32145/stat : 32145 (java) S 32136 32138 6290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891685628 6591221760 165838 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347708313 0 4 0 16800975 18446604460067834688 0 0 -1 5 0 0 0 [pid=32138/tid=32146] ppid=32136 vsize=6436740 CPUtime=0 cores=5,7 /proc/32138/task/32146/stat : 32146 (java) S 32136 32138 6290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891685628 6591221760 165838 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347708313 0 4 0 16800975 18446604460067834688 0 0 -1 5 0 0 0 [pid=32138/tid=32147] ppid=32136 vsize=6436740 CPUtime=0 cores=5,7 /proc/32138/task/32147/stat : 32147 (java) S 32136 32138 6290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891685628 6591221760 165838 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347708313 0 4 0 16800975 18446604460067834688 0 0 -1 5 0 0 0 [pid=32138/tid=32148] ppid=32136 vsize=6436740 CPUtime=0 cores=5,7 /proc/32138/task/32148/stat : 32148 (java) S 32136 32138 6290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891685628 6591221760 165838 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347708313 0 4 0 16800975 18446604460067834688 0 0 -1 5 0 0 0 [pid=32138/tid=32149] ppid=32136 vsize=6436740 CPUtime=0 cores=5,7 /proc/32138/task/32149/stat : 32149 (java) S 32136 32138 6290 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 19 0 891685630 6591221760 165838 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347708928 0 0 0 16800975 18446604460067834688 0 0 -1 7 0 0 0 [pid=32138/tid=32150] ppid=32136 vsize=6436740 CPUtime=0 cores=5,7 /proc/32138/task/32150/stat : 32150 (java) S 32136 32138 6290 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 891685630 6591221760 165838 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347708313 0 4 0 16800975 18446604460067834688 0 0 -1 7 0 0 0 [pid=32138/tid=32151] ppid=32136 vsize=6436740 CPUtime=0 cores=5,7 /proc/32138/task/32151/stat : 32151 (java) S 32136 32138 6290 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 891685630 6591221760 165838 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347708313 0 4 0 16800975 18446604460067834688 0 0 -1 7 0 0 0 [pid=32138/tid=32152] ppid=32136 vsize=6436740 CPUtime=0 cores=5,7 /proc/32138/task/32152/stat : 32152 (java) S 32136 32138 6290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891685632 6591221760 165838 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347716017 0 4 0 16800975 18446604460067834688 0 0 -1 7 0 0 0 [pid=32138/tid=32153] ppid=32136 vsize=6436740 CPUtime=0.34 cores=5,7 /proc/32138/task/32153/stat : 32153 (java) S 32136 32138 6290 0 -1 4202560 2209 0 0 0 34 0 0 0 15 0 19 0 891685632 6591221760 165838 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347708313 0 4 0 16800975 18446604460067834688 0 0 -1 5 0 0 0 [pid=32138/tid=32154] ppid=32136 vsize=6436740 CPUtime=0.61 cores=5,7 /proc/32138/task/32154/stat : 32154 (java) S 32136 32138 6290 0 -1 4202560 4880 0 0 0 61 0 0 0 15 0 19 0 891685632 6591221760 165838 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347708313 0 4 0 16800975 18446604460067834688 0 0 -1 7 0 0 0 [pid=32138/tid=32155] ppid=32136 vsize=6436740 CPUtime=0 cores=5,7 /proc/32138/task/32155/stat : 32155 (java) S 32136 32138 6290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891685632 6591221760 165838 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347708313 0 4 0 16800975 18446604460067834688 0 0 -1 7 0 0 0 [pid=32138/tid=32156] ppid=32136 vsize=6436740 CPUtime=0 cores=5,7 /proc/32138/task/32156/stat : 32156 (java) S 32136 32138 6290 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 891685632 6591221760 165838 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347708928 0 4 0 16800975 18446604460067834688 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 7.23 Current children cumulated vsize (KiB) 6436740 [startup+12.701 s] /proc/loadavg: 1.31 2.32 2.94 2/191 32181 /proc/meminfo: memFree=29837332/32951124 swapFree=67063272/67111528 [pid=32138] ppid=32136 vsize=6436740 CPUtime=14.11 cores=5,7 /proc/32138/stat : 32138 (java) S 32136 32138 6290 0 -1 4202496 477457 0 1 0 1358 53 0 0 25 0 19 0 891685626 6591221760 472860 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 ################ # More data... # ################ [pid=32138/tid=32143] ppid=32136 vsize=6436740 CPUtime=0.23 cores=5,7 /proc/32138/task/32143/stat : 32143 (java) S 32136 32138 6290 0 -1 4202560 8401 0 0 0 22 1 0 0 16 0 18 0 891685628 6591221760 598990 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347708313 0 4 0 16800975 18446604460067834688 0 0 -1 7 0 0 0 [pid=32138/tid=32144] ppid=32136 vsize=6436740 CPUtime=0.51 cores=5,7 /proc/32138/task/32144/stat : 32144 (java) S 32136 32138 6290 0 -1 4202560 11828 0 0 0 50 1 0 0 15 0 18 0 891685628 6591221760 598990 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347708313 0 4 0 16800975 18446604460067834688 0 0 -1 5 0 0 0 [pid=32138/tid=32145] ppid=32136 vsize=6436740 CPUtime=0.73 cores=5,7 /proc/32138/task/32145/stat : 32145 (java) S 32136 32138 6290 0 -1 4202560 24464 0 0 0 70 3 0 0 15 0 18 0 891685628 6591221760 598990 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347708313 0 4 0 16800975 18446604460067834688 0 0 -1 7 0 0 0 [pid=32138/tid=32146] ppid=32136 vsize=6436740 CPUtime=0.65 cores=5,7 /proc/32138/task/32146/stat : 32146 (java) S 32136 32138 6290 0 -1 4202560 20392 0 0 0 63 2 0 0 16 0 18 0 891685628 6591221760 598990 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347708313 0 4 0 16800975 18446604460067834688 0 0 -1 5 0 0 0 [pid=32138/tid=32147] ppid=32136 vsize=6436740 CPUtime=0.79 cores=5,7 /proc/32138/task/32147/stat : 32147 (java) S 32136 32138 6290 0 -1 4202560 29783 0 0 0 76 3 0 0 16 0 18 0 891685628 6591221760 598990 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347708313 0 4 0 16800975 18446604460067834688 0 0 -1 5 0 0 0 [pid=32138/tid=32148] ppid=32136 vsize=6436740 CPUtime=0.55 cores=5,7 /proc/32138/task/32148/stat : 32148 (java) S 32136 32138 6290 0 -1 4202560 22523 0 0 0 53 2 0 0 15 0 18 0 891685628 6591221760 598990 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347708313 0 4 0 16800975 18446604460067834688 0 0 -1 7 0 0 0 [pid=32138/tid=32149] ppid=32136 vsize=6436740 CPUtime=0 cores=5,7 /proc/32138/task/32149/stat : 32149 (java) S 32136 32138 6290 0 -1 4202560 36 0 0 0 0 0 0 0 15 0 18 0 891685630 6591221760 598990 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347708928 0 0 0 16800975 18446604460067834688 0 0 -1 7 0 0 0 [pid=32138/tid=32150] ppid=32136 vsize=6436740 CPUtime=0 cores=5,7 /proc/32138/task/32150/stat : 32150 (java) S 32136 32138 6290 0 -1 4202560 22 0 0 0 0 0 0 0 15 0 18 0 891685630 6591221760 598990 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347708313 0 4 0 16800975 18446604460067834688 0 0 -1 7 0 0 0 [pid=32138/tid=32151] ppid=32136 vsize=6436740 CPUtime=0 cores=5,7 /proc/32138/task/32151/stat : 32151 (java) S 32136 32138 6290 0 -1 4202560 45 0 0 0 0 0 0 0 15 0 18 0 891685630 6591221760 598990 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347708313 0 4 0 16800975 18446604460067834688 0 0 -1 7 0 0 0 [pid=32138/tid=32152] ppid=32136 vsize=6436740 CPUtime=0 cores=5,7 /proc/32138/task/32152/stat : 32152 (java) S 32136 32138 6290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891685632 6591221760 598990 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347716017 0 4 0 16800975 18446604460067834688 0 0 -1 7 0 0 0 [pid=32138/tid=32153] ppid=32136 vsize=6436740 CPUtime=0.34 cores=5,7 /proc/32138/task/32153/stat : 32153 (java) S 32136 32138 6290 0 -1 4202560 2209 0 0 0 34 0 0 0 15 0 18 0 891685632 6591221760 598990 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347708313 0 4 0 16800975 18446604460067834688 0 0 -1 5 0 0 0 [pid=32138/tid=32154] ppid=32136 vsize=6436740 CPUtime=0.63 cores=5,7 /proc/32138/task/32154/stat : 32154 (java) S 32136 32138 6290 0 -1 4202560 4883 0 0 0 63 0 0 0 15 0 18 0 891685632 6591221760 598990 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347708313 0 4 0 16800975 18446604460067834688 0 0 -1 7 0 0 0 [pid=32138/tid=32155] ppid=32136 vsize=6436740 CPUtime=0 cores=5,7 /proc/32138/task/32155/stat : 32155 (java) S 32136 32138 6290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891685632 6591221760 598990 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347708313 0 4 0 16800975 18446604460067834688 0 0 -1 7 0 0 0 [pid=32138/tid=32156] ppid=32136 vsize=6436740 CPUtime=0 cores=5,7 /proc/32138/task/32156/stat : 32156 (java) S 32136 32138 6290 0 -1 4202560 12 0 0 0 0 0 0 0 15 0 18 0 891685632 6591221760 598990 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347708928 0 4 0 16800975 18446604460067834688 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 150.81 Current children cumulated vsize (KiB) 6436740 [startup+150.601 s] /proc/loadavg: 1.07 1.87 2.68 2/190 348 /proc/meminfo: memFree=28992200/32951124 swapFree=67063272/67111528 [pid=32138] ppid=32136 vsize=6436740 CPUtime=154.01 cores=5,7 /proc/32138/stat : 32138 (java) S 32136 32138 6290 0 -1 4202496 604742 0 1 0 15330 71 0 0 25 0 18 0 891685626 6591221760 598990 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/32138/statm: 1609185 598990 2243 9 0 1599923 0 [pid=32138/tid=32140] ppid=32136 vsize=6436740 CPUtime=148.02 cores=5,7 /proc/32138/task/32140/stat : 32140 (java) R 32136 32138 6290 0 -1 4202560 391564 0 1 0 14757 45 0 0 25 0 18 0 891685627 6591221760 598990 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 46912505652324 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=32138/tid=32141] ppid=32136 vsize=6436740 CPUtime=0.63 cores=5,7 /proc/32138/task/32141/stat : 32141 (java) S 32136 32138 6290 0 -1 4202560 50624 0 0 0 59 4 0 0 15 0 18 0 891685628 6591221760 598990 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347708313 0 4 0 16800975 18446604460067834688 0 0 -1 5 0 0 0 [pid=32138/tid=32142] ppid=32136 vsize=6436740 CPUtime=0.77 cores=5,7 /proc/32138/task/32142/stat : 32142 (java) S 32136 32138 6290 0 -1 4202560 36761 0 0 0 74 3 0 0 15 0 18 0 891685628 6591221760 598990 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347708313 0 4 0 16800975 18446604460067834688 0 0 -1 5 0 0 0 [pid=32138/tid=32143] ppid=32136 vsize=6436740 CPUtime=0.23 cores=5,7 /proc/32138/task/32143/stat : 32143 (java) S 32136 32138 6290 0 -1 4202560 8401 0 0 0 22 1 0 0 16 0 18 0 891685628 6591221760 598990 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347708313 0 4 0 16800975 18446604460067834688 0 0 -1 7 0 0 0 [pid=32138/tid=32144] ppid=32136 vsize=6436740 CPUtime=0.51 cores=5,7 /proc/32138/task/32144/stat : 32144 (java) S 32136 32138 6290 0 -1 4202560 11828 0 0 0 50 1 0 0 15 0 18 0 891685628 6591221760 598990 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347708313 0 4 0 16800975 18446604460067834688 0 0 -1 5 0 0 0 [pid=32138/tid=32145] ppid=32136 vsize=6436740 CPUtime=0.73 cores=5,7 /proc/32138/task/32145/stat : 32145 (java) S 32136 32138 6290 0 -1 4202560 24464 0 0 0 70 3 0 0 15 0 18 0 891685628 6591221760 598990 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347708313 0 4 0 16800975 18446604460067834688 0 0 -1 7 0 0 0 [pid=32138/tid=32146] ppid=32136 vsize=6436740 CPUtime=0.65 cores=5,7 /proc/32138/task/32146/stat : 32146 (java) S 32136 32138 6290 0 -1 4202560 20392 0 0 0 63 2 0 0 16 0 18 0 891685628 6591221760 598990 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347708313 0 4 0 16800975 18446604460067834688 0 0 -1 5 0 0 0 [pid=32138/tid=32147] ppid=32136 vsize=6436740 CPUtime=0.79 cores=5,7 /proc/32138/task/32147/stat : 32147 (java) S 32136 32138 6290 0 -1 4202560 29783 0 0 0 76 3 0 0 16 0 18 0 891685628 6591221760 598990 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347708313 0 4 0 16800975 18446604460067834688 0 0 -1 5 0 0 0 [pid=32138/tid=32148] ppid=32136 vsize=6436740 CPUtime=0.55 cores=5,7 /proc/32138/task/32148/stat : 32148 (java) S 32136 32138 6290 0 -1 4202560 22523 0 0 0 53 2 0 0 15 0 18 0 891685628 6591221760 598990 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347708313 0 4 0 16800975 18446604460067834688 0 0 -1 7 0 0 0 [pid=32138/tid=32149] ppid=32136 vsize=6436740 CPUtime=0 cores=5,7 /proc/32138/task/32149/stat : 32149 (java) S 32136 32138 6290 0 -1 4202560 36 0 0 0 0 0 0 0 15 0 18 0 891685630 6591221760 598990 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347708928 0 0 0 16800975 18446604460067834688 0 0 -1 7 0 0 0 [pid=32138/tid=32150] ppid=32136 vsize=6436740 CPUtime=0 cores=5,7 /proc/32138/task/32150/stat : 32150 (java) S 32136 32138 6290 0 -1 4202560 22 0 0 0 0 0 0 0 15 0 18 0 891685630 6591221760 598990 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347708313 0 4 0 16800975 18446604460067834688 0 0 -1 7 0 0 0 [pid=32138/tid=32151] ppid=32136 vsize=6436740 CPUtime=0 cores=5,7 /proc/32138/task/32151/stat : 32151 (java) S 32136 32138 6290 0 -1 4202560 45 0 0 0 0 0 0 0 15 0 18 0 891685630 6591221760 598990 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347708313 0 4 0 16800975 18446604460067834688 0 0 -1 7 0 0 0 [pid=32138/tid=32152] ppid=32136 vsize=6436740 CPUtime=0 cores=5,7 /proc/32138/task/32152/stat : 32152 (java) S 32136 32138 6290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891685632 6591221760 598990 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347716017 0 4 0 16800975 18446604460067834688 0 0 -1 7 0 0 0 [pid=32138/tid=32153] ppid=32136 vsize=6436740 CPUtime=0.34 cores=5,7 /proc/32138/task/32153/stat : 32153 (java) S 32136 32138 6290 0 -1 4202560 2209 0 0 0 34 0 0 0 15 0 18 0 891685632 6591221760 598990 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347708313 0 4 0 16800975 18446604460067834688 0 0 -1 5 0 0 0 [pid=32138/tid=32154] ppid=32136 vsize=6436740 CPUtime=0.63 cores=5,7 /proc/32138/task/32154/stat : 32154 (java) S 32136 32138 6290 0 -1 4202560 4883 0 0 0 63 0 0 0 15 0 18 0 891685632 6591221760 598990 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347708313 0 4 0 16800975 18446604460067834688 0 0 -1 7 0 0 0 [pid=32138/tid=32155] ppid=32136 vsize=6436740 CPUtime=0 cores=5,7 /proc/32138/task/32155/stat : 32155 (java) S 32136 32138 6290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891685632 6591221760 598990 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347708313 0 4 0 16800975 18446604460067834688 0 0 -1 7 0 0 0 [pid=32138/tid=32156] ppid=32136 vsize=6436740 CPUtime=0 cores=5,7 /proc/32138/task/32156/stat : 32156 (java) S 32136 32138 6290 0 -1 4202560 12 0 0 0 0 0 0 0 15 0 18 0 891685632 6591221760 598990 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347708928 0 4 0 16800975 18446604460067834688 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 154.01 Current children cumulated vsize (KiB) 6436740 [startup+152.278 s] /proc/loadavg: 1.07 1.85 2.68 2/190 358 /proc/meminfo: memFree=28992316/32951124 swapFree=67063272/67111528 [pid=32138] ppid=32136 vsize=6436740 CPUtime=155.84 cores=5,7 /proc/32138/stat : 32138 (java) S 32136 32138 6290 0 -1 4202496 608883 0 1 0 15512 72 0 0 25 0 18 0 891685626 6591221760 601439 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/32138/statm: 1609185 601439 2243 9 0 1599923 0 [pid=32138/tid=32140] ppid=32136 vsize=6436740 CPUtime=149.69 cores=5,7 /proc/32138/task/32140/stat : 32140 (java) R 32136 32138 6290 0 -1 4202560 391565 0 1 0 14924 45 0 0 25 0 18 0 891685627 6591221760 601439 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347709382 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=32138/tid=32141] ppid=32136 vsize=6436740 CPUtime=0.63 cores=5,7 /proc/32138/task/32141/stat : 32141 (java) S 32136 32138 6290 0 -1 4202560 50624 0 0 0 59 4 0 0 15 0 18 0 891685628 6591221760 601439 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347708313 0 4 0 16800975 18446604460067834688 0 0 -1 5 0 0 0 [pid=32138/tid=32142] ppid=32136 vsize=6436740 CPUtime=0.77 cores=5,7 /proc/32138/task/32142/stat : 32142 (java) S 32136 32138 6290 0 -1 4202560 36761 0 0 0 74 3 0 0 15 0 18 0 891685628 6591221760 601439 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347708313 0 4 0 16800975 18446604460067834688 0 0 -1 5 0 0 0 [pid=32138/tid=32143] ppid=32136 vsize=6436740 CPUtime=0.23 cores=5,7 /proc/32138/task/32143/stat : 32143 (java) S 32136 32138 6290 0 -1 4202560 8401 0 0 0 22 1 0 0 16 0 18 0 891685628 6591221760 601439 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347708313 0 4 0 16800975 18446604460067834688 0 0 -1 7 0 0 0 [pid=32138/tid=32144] ppid=32136 vsize=6436740 CPUtime=0.51 cores=5,7 /proc/32138/task/32144/stat : 32144 (java) S 32136 32138 6290 0 -1 4202560 11828 0 0 0 50 1 0 0 15 0 18 0 891685628 6591221760 601439 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347708313 0 4 0 16800975 18446604460067834688 0 0 -1 5 0 0 0 [pid=32138/tid=32145] ppid=32136 vsize=6436740 CPUtime=0.73 cores=5,7 /proc/32138/task/32145/stat : 32145 (java) S 32136 32138 6290 0 -1 4202560 24464 0 0 0 70 3 0 0 15 0 18 0 891685628 6591221760 601439 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347708313 0 4 0 16800975 18446604460067834688 0 0 -1 7 0 0 0 [pid=32138/tid=32146] ppid=32136 vsize=6436740 CPUtime=0.65 cores=5,7 /proc/32138/task/32146/stat : 32146 (java) S 32136 32138 6290 0 -1 4202560 20392 0 0 0 63 2 0 0 16 0 18 0 891685628 6591221760 601439 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347708313 0 4 0 16800975 18446604460067834688 0 0 -1 5 0 0 0 [pid=32138/tid=32147] ppid=32136 vsize=6436740 CPUtime=0.79 cores=5,7 /proc/32138/task/32147/stat : 32147 (java) S 32136 32138 6290 0 -1 4202560 29783 0 0 0 76 3 0 0 16 0 18 0 891685628 6591221760 601439 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347708313 0 4 0 16800975 18446604460067834688 0 0 -1 5 0 0 0 [pid=32138/tid=32148] ppid=32136 vsize=6436740 CPUtime=0.55 cores=5,7 /proc/32138/task/32148/stat : 32148 (java) S 32136 32138 6290 0 -1 4202560 22523 0 0 0 53 2 0 0 15 0 18 0 891685628 6591221760 601439 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347708313 0 4 0 16800975 18446604460067834688 0 0 -1 7 0 0 0 [pid=32138/tid=32149] ppid=32136 vsize=6436740 CPUtime=0 cores=5,7 /proc/32138/task/32149/stat : 32149 (java) S 32136 32138 6290 0 -1 4202560 36 0 0 0 0 0 0 0 15 0 18 0 891685630 6591221760 601439 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347708928 0 0 0 16800975 18446604460067834688 0 0 -1 7 0 0 0 [pid=32138/tid=32150] ppid=32136 vsize=6436740 CPUtime=0 cores=5,7 /proc/32138/task/32150/stat : 32150 (java) S 32136 32138 6290 0 -1 4202560 22 0 0 0 0 0 0 0 15 0 18 0 891685630 6591221760 601439 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347708313 0 4 0 16800975 18446604460067834688 0 0 -1 7 0 0 0 [pid=32138/tid=32151] ppid=32136 vsize=6436740 CPUtime=0 cores=5,7 /proc/32138/task/32151/stat : 32151 (java) S 32136 32138 6290 0 -1 4202560 45 0 0 0 0 0 0 0 15 0 18 0 891685630 6591221760 601439 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347708313 0 4 0 16800975 18446604460067834688 0 0 -1 7 0 0 0 [pid=32138/tid=32152] ppid=32136 vsize=6436740 CPUtime=0 cores=5,7 /proc/32138/task/32152/stat : 32152 (java) S 32136 32138 6290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891685632 6591221760 601439 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347716017 0 4 0 16800975 18446604460067834688 0 0 -1 7 0 0 0 [pid=32138/tid=32153] ppid=32136 vsize=6436740 CPUtime=0.34 cores=5,7 /proc/32138/task/32153/stat : 32153 (java) S 32136 32138 6290 0 -1 4202560 2209 0 0 0 34 0 0 0 15 0 18 0 891685632 6591221760 601439 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347708313 0 4 0 16800975 18446604460067834688 0 0 -1 5 0 0 0 [pid=32138/tid=32154] ppid=32136 vsize=6436740 CPUtime=0.78 cores=5,7 /proc/32138/task/32154/stat : 32154 (java) R 32136 32138 6290 0 -1 4202560 9023 0 0 0 77 1 0 0 16 0 18 0 891685632 6591221760 601439 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347708313 0 4 0 16800975 0 0 0 -1 7 0 0 0 [pid=32138/tid=32155] ppid=32136 vsize=6436740 CPUtime=0 cores=5,7 /proc/32138/task/32155/stat : 32155 (java) S 32136 32138 6290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891685632 6591221760 601439 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347708313 0 4 0 16800975 18446604460067834688 0 0 -1 7 0 0 0 [pid=32138/tid=32156] ppid=32136 vsize=6436740 CPUtime=0 cores=5,7 /proc/32138/task/32156/stat : 32156 (java) S 32136 32138 6290 0 -1 4202560 12 0 0 0 0 0 0 0 15 0 18 0 891685632 6591221760 601439 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347708928 0 4 0 16800975 18446604460067834688 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 155.84 Current children cumulated vsize (KiB) 6436740 [startup+152.601 s] /proc/loadavg: 1.07 1.85 2.68 2/190 358 /proc/meminfo: memFree=28992316/32951124 swapFree=67063272/67111528 [pid=32138] ppid=32136 vsize=6436740 CPUtime=156.18 cores=5,7 /proc/32138/stat : 32138 (java) S 32136 32138 6290 0 -1 4202496 608886 0 1 0 15546 72 0 0 25 0 18 0 891685626 6591221760 601442 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/32138/statm: 1609185 601442 2243 9 0 1599923 0 [pid=32138/tid=32140] ppid=32136 vsize=6436740 CPUtime=150.01 cores=5,7 /proc/32138/task/32140/stat : 32140 (java) R 32136 32138 6290 0 -1 4202560 391568 0 1 0 14956 45 0 0 25 0 18 0 891685627 6591221760 601442 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 46912505570519 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=32138/tid=32141] ppid=32136 vsize=6436740 CPUtime=0.63 cores=5,7 /proc/32138/task/32141/stat : 32141 (java) S 32136 32138 6290 0 -1 4202560 50624 0 0 0 59 4 0 0 15 0 18 0 891685628 6591221760 601442 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347708313 0 4 0 16800975 18446604460067834688 0 0 -1 5 0 0 0 [pid=32138/tid=32142] ppid=32136 vsize=6436740 CPUtime=0.77 cores=5,7 /proc/32138/task/32142/stat : 32142 (java) S 32136 32138 6290 0 -1 4202560 36761 0 0 0 74 3 0 0 15 0 18 0 891685628 6591221760 601442 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347708313 0 4 0 16800975 18446604460067834688 0 0 -1 5 0 0 0 [pid=32138/tid=32143] ppid=32136 vsize=6436740 CPUtime=0.23 cores=5,7 /proc/32138/task/32143/stat : 32143 (java) S 32136 32138 6290 0 -1 4202560 8401 0 0 0 22 1 0 0 16 0 18 0 891685628 6591221760 601442 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347708313 0 4 0 16800975 18446604460067834688 0 0 -1 7 0 0 0 [pid=32138/tid=32144] ppid=32136 vsize=6436740 CPUtime=0.51 cores=5,7 /proc/32138/task/32144/stat : 32144 (java) S 32136 32138 6290 0 -1 4202560 11828 0 0 0 50 1 0 0 15 0 18 0 891685628 6591221760 601442 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347708313 0 4 0 16800975 18446604460067834688 0 0 -1 5 0 0 0 [pid=32138/tid=32145] ppid=32136 vsize=6436740 CPUtime=0.73 cores=5,7 /proc/32138/task/32145/stat : 32145 (java) S 32136 32138 6290 0 -1 4202560 24464 0 0 0 70 3 0 0 15 0 18 0 891685628 6591221760 601442 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347708313 0 4 0 16800975 18446604460067834688 0 0 -1 7 0 0 0 [pid=32138/tid=32146] ppid=32136 vsize=6436740 CPUtime=0.65 cores=5,7 /proc/32138/task/32146/stat : 32146 (java) S 32136 32138 6290 0 -1 4202560 20392 0 0 0 63 2 0 0 16 0 18 0 891685628 6591221760 601442 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347708313 0 4 0 16800975 18446604460067834688 0 0 -1 5 0 0 0 [pid=32138/tid=32147] ppid=32136 vsize=6436740 CPUtime=0.79 cores=5,7 /proc/32138/task/32147/stat : 32147 (java) S 32136 32138 6290 0 -1 4202560 29783 0 0 0 76 3 0 0 16 0 18 0 891685628 6591221760 601442 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347708313 0 4 0 16800975 18446604460067834688 0 0 -1 5 0 0 0 [pid=32138/tid=32148] ppid=32136 vsize=6436740 CPUtime=0.55 cores=5,7 /proc/32138/task/32148/stat : 32148 (java) S 32136 32138 6290 0 -1 4202560 22523 0 0 0 53 2 0 0 15 0 18 0 891685628 6591221760 601442 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347708313 0 4 0 16800975 18446604460067834688 0 0 -1 7 0 0 0 [pid=32138/tid=32149] ppid=32136 vsize=6436740 CPUtime=0 cores=5,7 /proc/32138/task/32149/stat : 32149 (java) S 32136 32138 6290 0 -1 4202560 36 0 0 0 0 0 0 0 15 0 18 0 891685630 6591221760 601442 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347708928 0 0 0 16800975 18446604460067834688 0 0 -1 7 0 0 0 [pid=32138/tid=32150] ppid=32136 vsize=6436740 CPUtime=0 cores=5,7 /proc/32138/task/32150/stat : 32150 (java) S 32136 32138 6290 0 -1 4202560 22 0 0 0 0 0 0 0 15 0 18 0 891685630 6591221760 601442 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347708313 0 4 0 16800975 18446604460067834688 0 0 -1 7 0 0 0 [pid=32138/tid=32151] ppid=32136 vsize=6436740 CPUtime=0 cores=5,7 /proc/32138/task/32151/stat : 32151 (java) S 32136 32138 6290 0 -1 4202560 45 0 0 0 0 0 0 0 15 0 18 0 891685630 6591221760 601442 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347708313 0 4 0 16800975 18446604460067834688 0 0 -1 7 0 0 0 [pid=32138/tid=32152] ppid=32136 vsize=6436740 CPUtime=0 cores=5,7 /proc/32138/task/32152/stat : 32152 (java) S 32136 32138 6290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891685632 6591221760 601442 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347716017 0 4 0 16800975 18446604460067834688 0 0 -1 7 0 0 0 [pid=32138/tid=32153] ppid=32136 vsize=6436740 CPUtime=0.35 cores=5,7 /proc/32138/task/32153/stat : 32153 (java) S 32136 32138 6290 0 -1 4202560 2209 0 0 0 35 0 0 0 15 0 18 0 891685632 6591221760 601442 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347708313 0 4 0 16800975 18446604460067834688 0 0 -1 5 0 0 0 [pid=32138/tid=32154] ppid=32136 vsize=6436740 CPUtime=0.79 cores=5,7 /proc/32138/task/32154/stat : 32154 (java) S 32136 32138 6290 0 -1 4202560 9023 0 0 0 78 1 0 0 15 0 18 0 891685632 6591221760 601442 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347708313 0 4 0 16800975 18446604460067834688 0 0 -1 7 0 0 0 [pid=32138/tid=32155] ppid=32136 vsize=6436740 CPUtime=0 cores=5,7 /proc/32138/task/32155/stat : 32155 (java) S 32136 32138 6290 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891685632 6591221760 601442 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347708313 0 4 0 16800975 18446604460067834688 0 0 -1 7 0 0 0 [pid=32138/tid=32156] ppid=32136 vsize=6436740 CPUtime=0 cores=5,7 /proc/32138/task/32156/stat : 32156 (java) S 32136 32138 6290 0 -1 4202560 12 0 0 0 0 0 0 0 15 0 18 0 891685632 6591221760 601442 33554432000 1073741824 1073778376 140733687990160 18446744073709551615 232347708928 0 4 0 16800975 18446604460067834688 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 156.18 Current children cumulated vsize (KiB) 6436740 [startup+153.001 s] /proc/loadavg: 1.07 1.85 2.68 2/190 358 /proc/meminfo: memFree=28992316/32951124 swapFree=67063272/67111528 [pid=32138] ppid=32136 vsize=0 CPUtime=156.58 cores=5,7 /proc/32138/stat : 32138 (java) Z 32136 32138 6290 0 -1 4203548 608889 0 1 0 15581 77 0 0 18 0 2 0 891685626 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/32138/statm: 0 0 0 0 0 0 0 [pid=32138/tid=32140] ppid=32136 vsize=0 CPUtime=150.41 cores=5,7 /proc/32138/task/32140/stat : 32140 (java) R 32136 32138 6290 0 -1 4203588 391571 0 1 0 14991 50 0 0 25 0 2 0 891685627 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 156.58 Current children cumulated vsize (KiB) 0 Child status: 20 Real time (s): 153.037 CPU time (s): 156.625 CPU user time (s): 155.815 CPU system time (s): 0.809876 CPU usage (%): 102.344 Max. virtual memory (cumulated for all children) (KiB): 6494940 getrusage(RUSAGE_CHILDREN,...) data: user time used= 155.815 system time used= 0.809876 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 608889 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= 6942 involuntary context switches= 5353 runsolver used 0.26296 second user time and 0.623905 second system time The end
Begin job on node132 at 2011-06-11 16:01:15 IDJOB=3493568 IDBENCH=20458 IDSOLVER=1972 FILE ID=node132/3493568-1307800874 RUNJOBID= node132-1307798805-6311 PBS_JOBID= 13551016 Free space on /tmp= 74088 MiB SOLVER NAME= SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 BENCH NAME= SAT07/industrial/babic/hsatv17/hsat_vc12072.cnf COMMAND LINE= java -Xms6000m -Xmx6000m -jar sat4j-mus-v20110206.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3493568-1307800874/watcher-3493568-1307800874 -o /tmp/evaluation-result-3493568-1307800874/solver-3493568-1307800874 -C 1800 -W 1850 -M 7680 java -Xms6000m -Xmx6000m -jar sat4j-mus-v20110206.jar HOME/instance-3493568-1307800874.cnf TIME LIMIT= 1800 seconds MEMORY LIMIT= 7680 MiB NBCORE= 2 MD5SUM BENCH= badfc2bcf577632aecb483b57ac795bb RANDOM SEED=1364192369 node132.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.833 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.66 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.833 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.74 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.833 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.76 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.833 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.833 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.77 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.833 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.67 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.833 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.833 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31385120 kB Buffers: 285912 kB Cached: 1054244 kB SwapCached: 9968 kB Active: 590936 kB Inactive: 766860 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31385120 kB SwapTotal: 67111528 kB SwapFree: 67063272 kB Dirty: 13312 kB Writeback: 0 kB AnonPages: 15224 kB Mapped: 8836 kB Slab: 143788 kB PageTables: 4076 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 158576 kB VmallocTotal: 34359738367 kB VmallocUsed: 33868 kB VmallocChunk: 34359703231 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74088 MiB End job on node132 at 2011-06-11 16:03:48