| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 | UNSAT | 760.18 | 751.071 |
| Name | mus/marques-silva/abstraction-refinement-intel/ edn_5371_10.cnf_0.46000000.unsat.cnf |
| MD5SUM | 50f5ff504c1e52e56f4f1f592a1be4bc |
| Bench Category | MUS (MUS) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 2.57661 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 864485 |
| Number of clauses | 2529138 |
| Sum of the clauses size | 5870641 |
| Maximum clause length | 3 |
| Minimum clause length | 1 |
| Number of clauses of size 1 | 1768 |
| Number of clauses of size 2 | 1713237 |
| Number of clauses of size 3 | 814133 |
| Number of clauses of size 4 | 0 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 0 |
0.00/0.07 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.00/0.07 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.07 c See www.sat4j.org for details. 0.00/0.08 c version 2.3.0.v20110206 0.00/0.08 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.08 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.08 c java.vm.version 19.1-b02 0.00/0.08 c java.vm.vendor Sun Microsystems Inc. 0.00/0.08 c sun.arch.data.model 64 0.00/0.08 c java.version 1.6.0_24 0.00/0.08 c os.name Linux 0.00/0.08 c os.version 2.6.18-164.el5 0.00/0.08 c os.arch amd64 0.00/0.08 c Free memory 5997854704 0.00/0.08 c Max memory 6029312000 0.00/0.08 c Total memory 6029312000 0.00/0.08 c Number of processors 8 0.00/0.10 c Explanation (MUS) enabled solver 0.00/0.10 c QuickXplain (AAAI 2004 version) minimization strategy 0.00/0.10 c --- Begin Solver configuration --- 0.00/0.10 c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@1d73831b 0.00/0.10 c Learn all clauses as in MiniSAT 0.00/0.10 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 0.00/0.10 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT 0.00/0.10 c Expensive reason simplification 0.00/0.10 c Armin Biere (Picosat) restarts strategy 0.00/0.10 c Glucose learned constraints deletion strategy 0.00/0.10 c timeout=2147483647s 0.00/0.10 c DB Simplification allowed=true 0.00/0.10 c --- End Solver configuration --- 0.00/0.10 c solving HOME/instance-3493256-1307798907.cnf 0.00/0.10 c reading problem ... 3.29/3.19 c ... done. Wall clock time 3.088s. 3.29/3.19 c #vars 3393623 3.29/3.19 c #constraints 2529138 3.29/3.19 c constraints type 3.29/3.19 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2527370 3.29/3.19 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1768 4.66/4.33 c Unsat detection wall clock time (in seconds) : 4.223 4.66/4.33 c Size of initial unsat subformula: 362 4.66/4.33 c Computing MUS ... 4.66/4.33 c initial unsat core 864484[?] 3393615[?] 161353[?] -864484[?] 3393614[?] -161354[?] 245926[?] 3393612[?] -245927[?] 334510[?] 3393610[?] -334511[?] 423402[?] 3393608[?] -423403[?] 512255[?] 3393606[?] -512256[?] 601518[?] 3393604[?] -601519[?] 690255[?] 3393602[?] -690256[?] 3393600[?] -657334[?] 743616[?] 3387052[?] -743626[?] 743631[?] 3387050[?] -743641[?] 3387048[?] -657349[?] 743646[?] 3387031[?] -743656[?] 3387029[?] 743661[?] -743671[?] 3387027[?] -657405[?] 743758[?] 3386967[?] -743768[?] 743773[?] 3386965[?] -743783[?] 3386963[?] -659194[?] 747388[?] 3386528[?] -747398[?] 3386526[?] 747403[?] -747413[?] 3386524[?] -659209[?] 747418[?] 3386507[?] -747428[?] 747433[?] 3386505[?] -747443[?] 3386503[?] -659224[?] 747448[?] 3386486[?] -747458[?] 3386484[?] 747463[?] -747473[?] 3386482[?] -659239[?] 747478[?] 3386465[?] -747488[?] 3386463[?] 747493[?] -747503[?] 3386461[?] -659254[?] 747508[?] 3386444[?] -747518[?] 3386442[?] 747523[?] -747533[?] 3386440[?] -659269[?] 747538[?] 3386423[?] -747548[?] 747553[?] 3386421[?] -747563[?] 3386419[?] -659284[?] 747568[?] 3386402[?] -747578[?] 3386400[?] 747583[?] -747593[?] 3386398[?] 820717[?] 3380602[?] -746046[?] 3358953[?] -669275[?] 3344725[?] -410288[?] 499136[?] 3344602[?] -499141[?] 588019[?] 3344600[?] -588024[?] 676759[?] 3344598[?] -676764[?] 776293[?] 3344596[?] -776303[?] 3344594[?] -161357[?] 423407[?] 3344571[?] -245930[?] 512260[?] 3344569[?] -334514[?] 588028[?] 3344567[?] -423406[?] 676765[?] 3344565[?] -512259[?] 776304[?] 3344563[?] -601522[?] 776714[?] 3344561[?] -690259[?] 3344559[?] 89232[?] -863928[?] 3313561[?] -89231[?] 863927[?] 3313558[?] 166596[?] -863926[?] 3313557[?] -250772[?] 863925[?] 3313554[?] 339665[?] -863924[?] 3313553[?] -428518[?] 863923[?] 3313550[?] 863920[?] 3313545[?] 863928[?] 3313542[?] -863927[?] 3313541[?] 863926[?] -89232[?] 3313540[?] -863925[?] 89231[?] 3313537[?] 863924[?] -166596[?] 3313536[?] -863923[?] 3313533[?] 250772[?] 517371[?] 3313527[?] -863920[?] 824026[?] 3200616[?] 743641[?] -727207[?] -824026[?] 3200614[?] 823946[?] 3200318[?] 743671[?] -727213[?] -823946[?] 3200316[?] 823786[?] 3199662[?] 743783[?] -727219[?] 3199660[?] -823786[?] 823476[?] 3198607[?] 747413[?] -727225[?] -823476[?] 3198605[?] 823166[?] 3197552[?] 747443[?] -727231[?] -823166[?] 3197550[?] 822856[?] 3196497[?] 747473[?] -727237[?] 3196495[?] -822856[?] 822546[?] 3195442[?] 747503[?] -727243[?] 3195440[?] -822546[?] -773895[?] 3188080[?] 727213[?] 727207[?] -727261[?] 820732[?] 3188079[?] -727255[?] 820731[?] 3188076[?] -820732[?] 820731[?] 3188075[?] -727249[?] 820730[?] 3188073[?] -820731[?] 820730[?] 3188072[?] -820730[?] 820729[?] 3188069[?] -820729[?] 820728[?] 3188066[?] -820728[?] 3188063[?] 820727[?] -820727[?] 3188060[?] 820726[?] -820726[?] 3188057[?] 820725[?] -820725[?] 3188054[?] 820724[?] -820724[?] 3188051[?] 820723[?] -820723[?] 3188048[?] 820722[?] -820722[?] 3188045[?] 820721[?] -820721[?] 3188042[?] 820720[?] -820720[?] 3188039[?] 820719[?] -820719[?] 3188036[?] 820718[?] -820718[?] 3188033[?] 758775[?] -758775[?] 3188031[?] -820717[?] 814931[?] 3168280[?] 428518[?] 517781[?] -814931[?] 3168275[?] 814644[?] 657334[?] 3167036[?] -554727[?] -814644[?] 3167034[?] 814564[?] 657349[?] 3166738[?] -554733[?] -814564[?] 3166736[?] 814404[?] 657405[?] 3166082[?] -554739[?] -814404[?] 3166080[?] 814094[?] 659194[?] 3165027[?] -554745[?] -814094[?] 3165025[?] 813784[?] 659209[?] 3163972[?] -554751[?] -813784[?] 3163970[?] 813474[?] 659224[?] 3162917[?] -554757[?] -813474[?] 3162915[?] 813164[?] 3161862[?] 659239[?] -554763[?] -813164[?] 3161860[?] 812854[?] 3160807[?] 659254[?] -554769[?] -812854[?] 3160805[?] 812544[?] 3159752[?] 659269[?] -554775[?] -812544[?] 3159750[?] 812214[?] 3158697[?] 659284[?] -554781[?] 3158695[?] -812214[?] -588023[?] 3154356[?] 554733[?] 554727[?] 621193[?] 746046[?] 3139870[?] 747591[?] -621193[?] 3139867[?] 621137[?] 746046[?] 3139279[?] 747561[?] -621137[?] 3139276[?] 621249[?] 746046[?] 3132991[?] 747531[?] -621249[?] 3132988[?] 621305[?] 746046[?] 3128881[?] 747501[?] -621305[?] 3128878[?] 621361[?] 746046[?] 3124363[?] 747471[?] -621361[?] 3124360[?] 620763[?] 746046[?] 3119029[?] 747441[?] -620763[?] 3119026[?] 620707[?] 746046[?] 3114511[?] 747411[?] -620707[?] 3114508[?] 620819[?] 746046[?] 3108817[?] 743781[?] -620819[?] 3108814[?] 620997[?] 669275[?] 3101543[?] 743669[?] -620997[?] 3101539[?] 621081[?] 669275[?] 3099335[?] 743639[?] -621081[?] 3099331[?] 776715[?] 690259[?] 3050959[?] 776719[?] 690259[?] 3050956[?] 776721[?] 776303[?] 3050935[?] 776720[?] -776721[?] 3050932[?] -776718[?] -776720[?] -776719[?] 3050928[?] 776717[?] 776718[?] 3050927[?] 776716[?] -776717[?] 3050923[?] -776714[?] -776716[?] -776715[?] 3050919[?] 776305[?] 601522[?] 3050917[?] 776306[?] -517371[?] 3049688[?] -776304[?] -776306[?] -776305[?] 3049683[?] 776294[?] 776303[?] 3049681[?] -776302[?] 727261[?] 727255[?] 3049677[?] -776301[?] 776302[?] 727249[?] 3049674[?] -776300[?] 776301[?] 727243[?] 3049671[?] -776299[?] 776300[?] 727237[?] 3049668[?] -776298[?] 776299[?] 727231[?] 3049665[?] -776297[?] 776298[?] 727225[?] 3049662[?] -700235[?] 776297[?] 727219[?] 3049659[?] -776296[?] 700235[?] 773895[?] 3049656[?] 776295[?] 776296[?] 3049655[?] 727789[?] -776295[?] 3049651[?] -776293[?] -727789[?] -776294[?] 3049647[?] 747584[?] 747593[?] 2963494[?] 747590[?] -747591[?] 2963491[?] 747589[?] -747590[?] 2963488[?] 747588[?] -747589[?] 2963486[?] 747586[?] -747588[?] 2963482[?] 747585[?] -747586[?] 2963479[?] -747583[?] -747584[?] -747585[?] 2963475[?] 747569[?] 747578[?] 2963458[?] 747573[?] -517781[?] 2963449[?] 747571[?] -747573[?] 2963446[?] 747570[?] -747571[?] 2963443[?] -747568[?] -747570[?] -747569[?] 2963439[?] 747554[?] 747563[?] 2963422[?] 747560[?] -747561[?] 2963419[?] 747559[?] -747560[?] 2963416[?] 747558[?] -747559[?] 2963414[?] 747556[?] -747558[?] 2963410[?] 747555[?] -747556[?] 2963407[?] -747553[?] -747554[?] -747555[?] 2963403[?] 747539[?] 747548[?] 2963386[?] 747543[?] -517781[?] 2963377[?] 747541[?] -747543[?] 2963374[?] 747540[?] -747541[?] 2963371[?] -747538[?] -747540[?] -747539[?] 2963367[?] 747524[?] 747533[?] 2963350[?] 747530[?] -747531[?] 2963347[?] 747529[?] -747530[?] 2963344[?] 747528[?] -747529[?] 2963342[?] 747526[?] -747528[?] 2963338[?] 747525[?] -747526[?] 2963335[?] -747523[?] -747524[?] -747525[?] 2963331[?] 747509[?] 747518[?] 2963314[?] 747513[?] -517781[?] 2963305[?] 747511[?] -747513[?] 2963302[?] 747510[?] -747511[?] 2963299[?] -747508[?] -747510[?] -747509[?] 2963295[?] 747494[?] 747503[?] 2963278[?] 747500[?] -747501[?] 2963275[?] 747499[?] -747500[?] 2963272[?] 747498[?] -747499[?] 2963270[?] 747496[?] -747498[?] 2963266[?] 747495[?] -747496[?] 2963263[?] -747493[?] -747494[?] -747495[?] 2963259[?] 747479[?] 747488[?] 2963242[?] 747483[?] -517781[?] 2963233[?] 747481[?] -747483[?] 2963230[?] 747480[?] -747481[?] 2963227[?] -747478[?] -747480[?] -747479[?] 2963223[?] 747464[?] 747473[?] 2963206[?] 747470[?] -747471[?] 2963203[?] 747469[?] -747470[?] 2963200[?] 747468[?] -747469[?] 2963198[?] 747466[?] -747468[?] 2963194[?] 747465[?] -747466[?] 2963191[?] -747463[?] -747464[?] -747465[?] 2963187[?] 747449[?] 747458[?] 2963170[?] 747453[?] -517781[?] 2963161[?] 747451[?] -747453[?] 2963158[?] 747450[?] -747451[?] 2963155[?] -747448[?] -747450[?] -747449[?] 2963151[?] 747434[?] 747443[?] 2963134[?] 747440[?] -747441[?] 2963131[?] 747439[?] -747440[?] 2963128[?] 747438[?] -747439[?] 2963126[?] 747436[?] -747438[?] 2963122[?] 747435[?] -747436[?] 2963119[?] -747433[?] -747434[?] -747435[?] 2963115[?] 747419[?] 747428[?] 2963098[?] 747423[?] -517781[?] 2963089[?] 747421[?] -747423[?] 2963086[?] 747420[?] -747421[?] 2963083[?] -747418[?] -747420[?] -747419[?] 2963079[?] 747404[?] 747413[?] 2963062[?] 747410[?] -747411[?] 2963059[?] 747409[?] -747410[?] 2963056[?] 747408[?] -747409[?] 2963054[?] 747406[?] -747408[?] 2963050[?] 747405[?] -747406[?] 2963047[?] -747403[?] -747404[?] -747405[?] 2963043[?] 747389[?] 747398[?] 2963026[?] 747393[?] -517781[?] 2963017[?] 747391[?] -747393[?] 2963014[?] 747390[?] -747391[?] 2963011[?] -747388[?] -747390[?] -747389[?] 2963007[?] 743774[?] 743783[?] 2952595[?] 743780[?] -743781[?] 2952592[?] 743779[?] -743780[?] 2952589[?] 743778[?] -743779[?] 2952587[?] 743776[?] -743778[?] 2952583[?] 743775[?] -743776[?] 2952580[?] -743773[?] -743774[?] -743775[?] 2952576[?] 743759[?] 743768[?] 2952559[?] 743763[?] -517781[?] 2952550[?] 743761[?] -743763[?] 2952547[?] 743760[?] -743761[?] 2952544[?] -743758[?] -743760[?] -743759[?] 2952540[?] 743662[?] 743671[?] 2952355[?] 743668[?] -743669[?] 2952352[?] 743667[?] -743668[?] 2952349[?] 743666[?] -743667[?] 2952347[?] 743664[?] -743666[?] 2952343[?] 743663[?] -743664[?] 2952340[?] -743661[?] -743662[?] -743663[?] 2952336[?] 743647[?] 743656[?] 2952319[?] 743651[?] -517781[?] 2952310[?] 743649[?] -743651[?] 2952307[?] 743648[?] -743649[?] 2952304[?] -743646[?] -743648[?] -743647[?] 2952300[?] 743632[?] 743641[?] 2952283[?] 743638[?] -743639[?] 2952280[?] 743637[?] -743638[?] 2952277[?] 743636[?] -743637[?] 2952275[?] 743634[?] -743636[?] 2952271[?] 743633[?] -743634[?] 2952268[?] -743631[?] -743632[?] -743633[?] 2952264[?] 743617[?] 743626[?] 2952247[?] 743621[?] -517781[?] 2952238[?] 743619[?] -743621[?] 2952235[?] 743618[?] -743619[?] 2952232[?] -743616[?] -743618[?] -743617[?] 2952228[?] 339926[?] 690270[?] 2819458[?] -690270[?] 690268[?] 2802618[?] 690269[?] 250772[?] 2802614[?] -690268[?] -690269[?] 2802612[?] 690258[?] 690259[?] 2802589[?] 690257[?] -690258[?] 2802587[?] -690255[?] 690256[?] -690257[?] 2802582[?] -428521[?] 428518[?] -339665[?] 2802579[?] 676766[?] 512259[?] 2763502[?] 676770[?] 512259[?] 2763499[?] 676772[?] 588024[?] 2762284[?] 676771[?] -676772[?] 2762281[?] -676769[?] -676771[?] -676770[?] 2762277[?] 676768[?] 676769[?] 2762276[?] 676767[?] -676768[?] 2762272[?] -676765[?] -676767[?] -676766[?] 2762268[?] 676760[?] 676764[?] 2762266[?] 644149[?] -517371[?] 2762258[?] -676759[?] -676760[?] -644149[?] 2762253[?] -674248[?] 554775[?] 554781[?] 2754048[?] -674247[?] 554769[?] 674248[?] 2754045[?] -674246[?] 554763[?] 674247[?] 2754042[?] -674245[?] 674246[?] 554757[?] 2754039[?] -674244[?] 674245[?] 554751[?] 2754036[?] -674243[?] 674244[?] 554745[?] 2754033[?] -526678[?] 674243[?] 554739[?] 2754030[?] 601521[?] 601522[?] 2549731[?] 601520[?] -601521[?] 2549729[?] -601518[?] 601519[?] -601520[?] 2549724[?] 588029[?] 423406[?] 2510644[?] 588031[?] 250772[?] 2509417[?] 588030[?] -588031[?] 2509414[?] -588028[?] -588029[?] -588030[?] 2509410[?] 588020[?] 428521[?] 2509406[?] -588022[?] 526678[?] 588023[?] 2509401[?] 588021[?] 588022[?] 2509400[?] 555309[?] -588021[?] 2509396[?] -588019[?] -555309[?] -588020[?] 2509392[?] 166857[?] 512680[?] 2313538[?] -512680[?] 512678[?] 2296698[?] 512679[?] 89231[?] 2296694[?] -512678[?] -512679[?] 2296692[?] -250775[?] -166596[?] 250772[?] 2296668[?] 512261[?] 250775[?] 2296667[?] 512265[?] 334514[?] 2296663[?] 512267[?] 410288[?] 2295448[?] 512266[?] -512267[?] 2295445[?] -512264[?] -512265[?] -512266[?] 2295441[?] 512263[?] 512264[?] 2295440[?] 512262[?] -512263[?] 2295436[?] -512260[?] -512262[?] -512261[?] 2295432[?] 512258[?] 512259[?] 2295430[?] 512257[?] -512258[?] 2295428[?] -512255[?] -512257[?] 512256[?] 2295423[?] 499137[?] 499141[?] 2256271[?] 499138[?] 250772[?] 2256265[?] 466426[?] -499138[?] 2256262[?] -499136[?] -499137[?] -466426[?] 2256258[?] 423408[?] 245930[?] 2043604[?] 423410[?] 89231[?] 2042377[?] 423409[?] -423410[?] 2042374[?] -423407[?] -423408[?] -423409[?] 2042370[?] 423405[?] -339926[?] 2042369[?] 423404[?] -423405[?] 2042366[?] -423402[?] 423403[?] -423404[?] 2042361[?] 334513[?] 334514[?] 1789765[?] 334512[?] -334513[?] 1789763[?] -334510[?] -334512[?] 334511[?] 1789758[?] 245929[?] -166857[?] 1537709[?] 245928[?] -245929[?] 1537706[?] -245926[?] 245927[?] -245928[?] 1537701[?] 161357[?] 161356[?] 1299459[?] -161356[?] 161355[?] 1299457[?] -161355[?] 161354[?] -161353[?] 1299452[?] 5.40/5.06 c qxplain 0/361 10.88/8.45 c qxplain 181/361 11.89/9.42 c qxplain 272/361 12.82/10.38 c qxplain 317/361 13.87/11.31 c qxplain 340/361 14.78/12.25 c qxplain 351/361 15.67/13.18 c qxplain 357/361 16.67/14.11 c qxplain 360/361 17.56/15.05 c qxplain 361/361 18.45/15.98 c 1299452[?] -161355[?] 161354[?] -161353[?] is mandatory 18.45/15.98 c qxplain 360/360 19.45/16.94 c 1299457[?] 161355[?] -161356[?] is mandatory 19.45/16.94 c qxplain 357/359 21.41/18.41 c qxplain 359/359 22.31/19.39 c 1299459[?] 161356[?] 161357[?] is mandatory 22.31/19.39 c qxplain 357/358 23.41/20.40 c qxplain 358/358 24.41/21.40 c 1537701[?] -245926[?] -245928[?] 245927[?] is mandatory 24.41/21.40 c qxplain 357/357 25.41/22.40 c 1537706[?] 245928[?] -245929[?] is mandatory 25.41/22.40 c qxplain 351/356 26.31/23.40 c qxplain 354/356 27.31/24.40 c qxplain 356/356 28.31/25.39 c 1537709[?] 245929[?] -166857[?] is mandatory 28.31/25.39 c qxplain 354/355 29.31/26.38 c qxplain 355/355 30.31/27.38 c 1789758[?] -334510[?] -334512[?] 334511[?] is mandatory 30.31/27.38 c qxplain 354/354 31.92/28.69 c 1789763[?] 334512[?] -334513[?] is mandatory 31.92/28.69 c qxplain 351/353 32.92/29.69 c qxplain 353/353 33.92/30.69 c 1789765[?] 334513[?] 334514[?] is mandatory 33.92/30.69 c qxplain 351/352 34.92/31.69 c qxplain 352/352 35.92/32.68 c 2042361[?] -423402[?] -423404[?] 423403[?] is mandatory 35.92/32.68 c qxplain 351/351 36.92/33.67 c 2042366[?] 423404[?] -423405[?] is mandatory 36.92/33.67 c qxplain 340/350 37.92/34.69 c qxplain 346/350 38.92/35.68 c qxplain 349/350 39.92/36.69 c qxplain 350/350 40.92/37.69 c 2042369[?] 423405[?] -339926[?] is mandatory 40.92/37.69 c qxplain 349/349 42.51/38.99 c 2042370[?] -423407[?] -423409[?] -423408[?] is mandatory 42.51/38.99 c qxplain 346/348 43.51/39.99 c qxplain 348/348 44.61/41.00 c 2042374[?] 423409[?] -423410[?] is mandatory 44.61/41.00 c qxplain 346/347 45.62/42.01 c qxplain 347/347 46.63/43.01 c 2042377[?] 423410[?] 89231[?] is mandatory 46.63/43.01 c qxplain 346/346 47.62/44.02 c 2043604[?] 423408[?] 245930[?] is mandatory 47.62/44.02 c qxplain 340/345 48.62/45.01 c qxplain 343/345 49.62/46.01 c qxplain 345/345 50.62/47.01 c 2256258[?] -499136[?] -466426[?] -499137[?] is mandatory 50.62/47.01 c qxplain 343/344 52.21/48.31 c qxplain 344/344 53.21/49.31 c 2256262[?] 466426[?] -499138[?] is mandatory 53.21/49.31 c qxplain 343/343 54.21/50.31 c 2256265[?] 499138[?] 250772[?] is mandatory 54.21/50.31 c qxplain 340/342 55.21/51.31 c qxplain 342/342 56.21/52.30 c 2256271[?] 499137[?] 499141[?] is mandatory 56.21/52.30 c qxplain 340/341 57.21/53.31 c qxplain 341/341 58.21/54.31 c 2295423[?] -512255[?] -512257[?] 512256[?] is mandatory 58.21/54.31 c qxplain 340/340 59.21/55.31 c 2295428[?] 512257[?] -512258[?] is mandatory 59.21/55.31 c qxplain 317/339 60.21/56.31 c qxplain 329/339 61.21/57.31 c qxplain 335/339 62.71/58.60 c qxplain 338/339 63.71/59.59 c qxplain 339/339 64.71/60.59 c 2295430[?] 512258[?] 512259[?] is mandatory 64.71/60.59 c qxplain 338/338 65.71/61.59 c 2295432[?] -512260[?] -512262[?] -512261[?] is mandatory 65.71/61.59 c qxplain 335/337 66.81/62.60 c qxplain 337/337 68.44/63.93 c 2295436[?] 512262[?] -512263[?] is mandatory 68.44/63.93 c qxplain 335/336 69.44/64.92 c qxplain 336/336 70.44/65.93 c 2295440[?] 512263[?] 512264[?] is mandatory 70.44/65.93 c qxplain 335/335 71.44/66.93 c 2295441[?] -512264[?] -512266[?] -512265[?] is mandatory 71.44/66.93 c qxplain 329/334 72.58/68.01 c qxplain 332/334 73.58/69.02 c qxplain 334/334 74.58/70.03 c 2295445[?] 512266[?] -512267[?] is mandatory 74.58/70.03 c qxplain 332/333 75.58/71.03 c qxplain 333/333 76.73/72.10 c 2295448[?] 512267[?] 410288[?] is mandatory 76.73/72.10 c qxplain 332/332 77.73/73.11 c 2296663[?] 512265[?] 334514[?] is mandatory 77.73/73.11 c qxplain 329/331 78.74/74.12 c qxplain 331/331 79.74/75.13 c 2296667[?] 512261[?] 250775[?] is mandatory 79.74/75.13 c qxplain 329/330 80.73/76.14 c qxplain 330/330 81.89/77.22 c 2296668[?] -250775[?] 250772[?] -166596[?] is mandatory 81.89/77.22 c qxplain 329/329 82.89/78.21 c 2296692[?] -512678[?] -512679[?] is mandatory 82.89/78.21 c qxplain 317/328 83.89/79.21 c qxplain 323/328 84.89/80.21 c qxplain 326/328 86.05/81.30 c qxplain 328/328 87.05/82.31 c 2296694[?] 512679[?] 89231[?] is mandatory 87.05/82.31 c qxplain 326/327 88.05/83.31 c qxplain 327/327 89.05/84.31 c 2296698[?] -512680[?] 512678[?] is mandatory 89.05/84.31 c qxplain 326/326 90.05/85.30 c 2313538[?] 166857[?] 512680[?] is mandatory 90.05/85.30 c qxplain 323/325 91.21/86.42 c qxplain 325/325 92.21/87.43 c 2509392[?] -588019[?] -555309[?] -588020[?] is mandatory 92.21/87.43 c qxplain 323/324 93.21/88.42 c qxplain 324/324 94.21/89.43 c 2509396[?] 555309[?] -588021[?] is mandatory 94.21/89.43 c qxplain 323/323 95.27/90.49 c 2509400[?] 588021[?] 588022[?] is mandatory 95.27/90.49 c qxplain 317/322 96.27/91.47 c qxplain 320/322 97.27/92.47 c qxplain 322/322 98.27/93.47 c 2509401[?] -588022[?] 526678[?] 588023[?] is mandatory 98.27/93.47 c qxplain 320/321 99.43/94.53 c qxplain 321/321 100.43/95.53 c 2509406[?] 588020[?] 428521[?] is mandatory 100.43/95.53 c qxplain 320/320 101.44/96.59 c 2509410[?] -588028[?] -588030[?] -588029[?] is mandatory 101.44/96.59 c qxplain 317/319 102.44/97.55 c qxplain 319/319 103.44/98.54 c 2509414[?] 588030[?] -588031[?] is mandatory 103.44/98.54 c qxplain 317/318 104.60/99.64 c qxplain 318/318 105.60/100.64 c 2509417[?] 588031[?] 250772[?] is mandatory 105.60/100.64 c qxplain 317/317 106.60/101.64 c 2510644[?] 588029[?] 423406[?] is mandatory 106.60/101.64 c qxplain 272/316 107.60/102.65 c qxplain 295/316 108.76/103.70 c qxplain 306/316 109.76/104.70 c qxplain 312/316 110.76/105.70 c qxplain 315/316 111.76/106.71 c qxplain 316/316 112.83/107.78 c 2549724[?] -601518[?] -601520[?] 601519[?] is mandatory 112.83/107.78 c qxplain 315/315 113.83/108.79 c 2549729[?] 601520[?] -601521[?] is mandatory 113.83/108.79 c qxplain 312/314 114.93/109.82 c qxplain 314/314 115.93/110.81 c 2549731[?] 601521[?] 601522[?] is mandatory 115.93/110.81 c qxplain 312/313 116.93/111.82 c qxplain 313/313 118.09/112.90 c 2754030[?] -526678[?] 674243[?] 554739[?] is mandatory 118.09/112.90 c qxplain 312/312 119.09/113.90 c 2754033[?] -674243[?] 554745[?] 674244[?] is mandatory 119.09/113.90 c qxplain 306/311 120.09/114.91 c qxplain 309/311 121.09/115.93 c qxplain 311/311 122.25/117.00 c 2754036[?] -674244[?] 674245[?] 554751[?] is mandatory 122.25/117.00 c qxplain 309/310 123.25/118.00 c qxplain 310/310 124.25/119.00 c 2754039[?] -674245[?] 674246[?] 554757[?] is mandatory 124.25/119.00 c qxplain 309/309 125.25/120.00 c 2754042[?] -674246[?] 554763[?] 674247[?] is mandatory 125.25/120.00 c qxplain 306/308 126.25/121.01 c qxplain 308/308 127.32/122.10 c 2754045[?] -674247[?] 674248[?] 554769[?] is mandatory 127.32/122.10 c qxplain 306/307 128.42/123.11 c qxplain 307/307 129.42/124.10 c 2754048[?] -674248[?] 554775[?] 554781[?] is mandatory 129.42/124.10 c qxplain 306/306 130.42/125.11 c 2762253[?] -676759[?] -644149[?] -676760[?] is mandatory 130.42/125.11 c qxplain 295/305 131.42/126.11 c qxplain 301/305 132.48/127.19 c qxplain 304/305 133.58/128.21 c qxplain 305/305 134.58/129.22 c 2762258[?] 644149[?] -517371[?] is mandatory 134.58/129.22 c qxplain 304/304 135.59/130.22 c 2762266[?] 676760[?] 676764[?] is mandatory 135.59/130.22 c qxplain 301/303 136.58/131.23 c qxplain 303/303 137.76/132.31 c 2762268[?] -676765[?] -676767[?] -676766[?] is mandatory 137.76/132.31 c qxplain 301/302 138.75/133.34 c qxplain 302/302 139.75/134.34 c 2762272[?] 676767[?] -676768[?] is mandatory 139.75/134.34 c qxplain 301/301 140.75/135.34 c 2762276[?] 676768[?] 676769[?] is mandatory 140.75/135.34 c qxplain 295/300 141.75/136.34 c qxplain 298/300 142.75/137.33 c qxplain 300/300 143.92/138.41 c 2762277[?] -676769[?] -676771[?] -676770[?] is mandatory 143.92/138.41 c qxplain 298/299 144.92/139.42 c qxplain 299/299 145.92/140.42 c 2762281[?] 676771[?] -676772[?] is mandatory 145.92/140.42 c qxplain 298/298 146.92/141.42 c 2762284[?] 676772[?] 588024[?] is mandatory 146.92/141.42 c qxplain 295/297 147.92/142.43 c qxplain 297/297 148.93/143.43 c 2763499[?] 676770[?] 512259[?] is mandatory 148.93/143.43 c qxplain 295/296 150.09/144.51 c qxplain 296/296 151.09/145.51 c 2763502[?] 676766[?] 512259[?] is mandatory 151.09/145.51 c qxplain 295/295 152.09/146.52 c 2802579[?] -428521[?] 428518[?] -339665[?] is mandatory 152.09/146.52 c qxplain 272/294 153.08/147.55 c qxplain 284/294 154.09/148.56 c qxplain 290/294 155.09/149.56 c qxplain 293/294 156.09/150.57 c qxplain 294/294 157.26/151.67 c 2802582[?] -690255[?] -690257[?] 690256[?] is mandatory 157.26/151.67 c qxplain 293/293 158.26/152.69 c 2802587[?] 690257[?] -690258[?] is mandatory 158.26/152.69 c qxplain 290/292 159.36/153.71 c qxplain 292/292 160.36/154.73 c 2802589[?] 690258[?] 690259[?] is mandatory 160.36/154.73 c qxplain 290/291 161.36/155.75 c qxplain 291/291 162.36/156.75 c 2802612[?] -690268[?] -690269[?] is mandatory 162.36/156.75 c qxplain 290/290 163.37/157.76 c 2802614[?] 690269[?] 250772[?] is mandatory 163.37/157.76 c qxplain 284/289 164.54/158.86 c qxplain 287/289 165.54/159.88 c qxplain 289/289 166.53/160.89 c 2802618[?] -690270[?] 690268[?] is mandatory 166.53/160.89 c qxplain 287/288 167.63/161.90 c qxplain 288/288 168.63/162.91 c 2819458[?] 339926[?] 690270[?] is mandatory 168.63/162.91 c qxplain 287/287 169.63/163.91 c 2952228[?] -743616[?] -743618[?] -743617[?] is mandatory 169.63/163.91 c qxplain 284/286 170.63/164.93 c qxplain 286/286 171.79/166.00 c 2952232[?] 743618[?] -743619[?] is mandatory 171.79/166.00 c qxplain 284/285 172.79/167.02 c qxplain 285/285 173.79/168.04 c 2952235[?] 743619[?] -743621[?] is mandatory 173.79/168.04 c qxplain 284/284 174.79/169.05 c 2952238[?] 743621[?] -517781[?] is mandatory 174.79/169.05 c qxplain 272/283 175.79/170.06 c qxplain 278/283 176.79/171.07 c qxplain 281/283 177.89/172.10 c qxplain 283/283 178.90/173.14 c 2952247[?] 743617[?] 743626[?] is mandatory 178.90/173.14 c qxplain 281/282 180.07/174.23 c qxplain 282/282 181.06/175.24 c 2952264[?] -743631[?] -743633[?] -743632[?] is mandatory 181.06/175.24 c qxplain 281/281 182.06/176.24 c 2952268[?] 743633[?] -743634[?] is mandatory 182.06/176.24 c qxplain 278/280 183.06/177.25 c qxplain 280/280 184.06/178.26 c 2952271[?] 743634[?] -743636[?] is mandatory 184.06/178.26 c qxplain 278/279 185.06/179.27 c qxplain 279/279 186.06/180.28 c 2952275[?] 743636[?] -743637[?] is mandatory 186.06/180.28 c qxplain 278/278 187.06/181.29 c 2952277[?] 743637[?] -743638[?] is mandatory 187.06/181.29 c qxplain 272/277 188.23/182.36 c qxplain 275/277 189.23/183.35 c qxplain 277/277 190.23/184.36 c 2952280[?] 743638[?] -743639[?] is mandatory 190.23/184.36 c qxplain 275/276 191.23/185.37 c qxplain 276/276 192.24/186.38 c 2952283[?] 743632[?] 743641[?] is mandatory 192.24/186.38 c qxplain 275/275 193.24/187.38 c 2952300[?] -743646[?] -743648[?] -743647[?] is mandatory 193.24/187.38 c qxplain 272/274 194.34/188.41 c qxplain 274/274 195.33/189.41 c 2952304[?] 743648[?] -743649[?] is mandatory 195.33/189.41 c qxplain 272/273 196.33/190.42 c qxplain 273/273 197.50/191.51 c 2952307[?] 743649[?] -743651[?] is mandatory 197.50/191.51 c qxplain 272/272 198.49/192.51 c 2952310[?] 743651[?] -517781[?] is mandatory 198.49/192.51 c qxplain 181/271 199.50/193.52 c qxplain 227/271 200.50/194.53 c qxplain 250/271 201.50/195.54 c qxplain 261/271 202.50/196.54 c qxplain 267/271 203.50/197.55 c qxplain 270/271 204.50/198.57 c qxplain 271/271 205.66/199.64 c 2952319[?] 743647[?] 743656[?] is mandatory 205.66/199.64 c qxplain 270/270 206.67/200.65 c 2952336[?] -743661[?] -743663[?] -743662[?] is mandatory 206.67/200.65 c qxplain 267/269 207.66/201.67 c qxplain 269/269 208.66/202.68 c 2952340[?] 743663[?] -743664[?] is mandatory 208.66/202.68 c qxplain 267/268 209.66/203.68 c qxplain 268/268 210.66/204.69 c 2952343[?] 743664[?] -743666[?] is mandatory 210.66/204.69 c qxplain 267/267 211.76/205.71 c 2952347[?] 743666[?] -743667[?] is mandatory 211.76/205.71 c qxplain 261/266 212.76/206.74 c qxplain 264/266 213.76/207.76 c qxplain 266/266 214.92/208.84 c 2952349[?] 743667[?] -743668[?] is mandatory 214.92/208.84 c qxplain 264/265 215.92/209.84 c qxplain 265/265 216.92/210.85 c 2952352[?] 743668[?] -743669[?] is mandatory 216.92/210.85 c qxplain 264/264 217.92/211.86 c 2952355[?] 743662[?] 743671[?] is mandatory 217.92/211.86 c qxplain 261/263 218.92/212.89 c qxplain 263/263 220.02/213.91 c 2952540[?] -743758[?] -743760[?] -743759[?] is mandatory 220.02/213.91 c qxplain 261/262 221.02/214.93 c qxplain 262/262 222.02/215.94 c 2952544[?] 743760[?] -743761[?] is mandatory 222.02/215.94 c qxplain 261/261 223.02/216.97 c 2952547[?] 743761[?] -743763[?] is mandatory 223.02/216.97 c qxplain 250/260 224.02/217.98 c qxplain 256/260 225.18/219.06 c qxplain 259/260 226.18/220.09 c qxplain 260/260 227.28/221.11 c 2952550[?] 743763[?] -517781[?] is mandatory 227.28/221.11 c qxplain 259/259 228.28/222.12 c 2952559[?] 743759[?] 743768[?] is mandatory 228.28/222.12 c qxplain 256/258 229.28/223.12 c qxplain 258/258 230.28/224.14 c 2952576[?] -743773[?] -743775[?] -743774[?] is mandatory 230.28/224.14 c qxplain 256/257 231.28/225.15 c qxplain 257/257 232.28/226.16 c 2952580[?] 743775[?] -743776[?] is mandatory 232.28/226.16 c qxplain 256/256 233.28/227.17 c 2952583[?] 743776[?] -743778[?] is mandatory 233.28/227.17 c qxplain 250/255 234.44/228.23 c qxplain 253/255 235.45/229.24 c qxplain 255/255 236.45/230.25 c 2952587[?] 743778[?] -743779[?] is mandatory 236.45/230.25 c qxplain 253/254 237.44/231.26 c qxplain 254/254 238.44/232.27 c 2952589[?] 743779[?] -743780[?] is mandatory 238.44/232.27 c qxplain 253/253 239.44/233.28 c 2952592[?] 743780[?] -743781[?] is mandatory 239.44/233.28 c qxplain 250/252 240.54/234.30 c qxplain 252/252 241.55/235.30 c 2952595[?] 743774[?] 743783[?] is mandatory 241.55/235.30 c qxplain 250/251 242.55/236.31 c qxplain 251/251 243.55/237.33 c 2963007[?] -747388[?] -747390[?] -747389[?] is mandatory 243.55/237.33 c qxplain 250/250 244.71/238.41 c 2963011[?] 747390[?] -747391[?] is mandatory 244.71/238.41 c qxplain 227/249 245.71/239.44 c qxplain 239/249 246.71/240.45 c qxplain 245/249 247.71/241.46 c qxplain 248/249 248.72/242.47 c qxplain 249/249 249.71/243.50 c 2963014[?] 747391[?] -747393[?] is mandatory 249.71/243.50 c qxplain 248/248 250.82/244.51 c 2963017[?] 747393[?] -517781[?] is mandatory 250.82/244.51 c qxplain 245/247 251.71/245.46 c qxplain 247/247 252.70/246.47 c 2963026[?] 747389[?] 747398[?] is mandatory 252.70/246.47 c qxplain 245/246 253.87/247.57 c qxplain 246/246 254.87/248.57 c 2963043[?] -747403[?] -747405[?] -747404[?] is mandatory 254.87/248.57 c qxplain 245/245 255.87/249.58 c 2963047[?] 747405[?] -747406[?] is mandatory 255.87/249.58 c qxplain 239/244 256.87/250.60 c qxplain 242/244 257.97/251.63 c qxplain 244/244 258.97/252.65 c 2963050[?] 747406[?] -747408[?] is mandatory 258.97/252.65 c qxplain 242/243 259.97/253.67 c qxplain 243/243 260.97/254.69 c 2963054[?] 747408[?] -747409[?] is mandatory 260.97/254.69 c qxplain 242/242 262.07/255.72 c 2963056[?] 747409[?] -747410[?] is mandatory 262.07/255.72 c qxplain 239/241 263.07/256.74 c qxplain 241/241 264.23/257.83 c 2963059[?] 747410[?] -747411[?] is mandatory 264.23/257.83 c qxplain 239/240 265.23/258.84 c qxplain 240/240 266.23/259.86 c 2963062[?] 747404[?] 747413[?] is mandatory 266.23/259.86 c qxplain 239/239 267.23/260.87 c 2963079[?] -747418[?] -747420[?] -747419[?] is mandatory 267.23/260.87 c qxplain 227/238 268.23/261.87 c qxplain 233/238 269.23/262.88 c qxplain 236/238 270.33/263.91 c qxplain 238/238 271.33/264.93 c 2963083[?] 747420[?] -747421[?] is mandatory 271.33/264.93 c qxplain 236/237 272.33/265.96 c qxplain 237/237 273.33/266.98 c 2963086[?] 747421[?] -747423[?] is mandatory 273.33/266.98 c qxplain 236/236 274.50/268.06 c 2963089[?] 747423[?] -517781[?] is mandatory 274.50/268.06 c qxplain 233/235 275.50/269.08 c qxplain 235/235 276.50/270.09 c 2963098[?] 747419[?] 747428[?] is mandatory 276.50/270.09 c qxplain 233/234 277.60/271.10 c qxplain 234/234 278.60/272.12 c 2963115[?] -747433[?] -747435[?] -747434[?] is mandatory 278.60/272.12 c qxplain 233/233 279.60/273.14 c 2963119[?] 747435[?] -747436[?] is mandatory 279.60/273.14 c qxplain 227/232 280.60/274.15 c qxplain 230/232 281.60/275.16 c qxplain 232/232 282.60/276.18 c 2963122[?] 747436[?] -747438[?] is mandatory 282.60/276.18 c qxplain 230/231 283.70/277.21 c qxplain 231/231 284.70/278.22 c 2963126[?] 747438[?] -747439[?] is mandatory 284.70/278.22 c qxplain 230/230 285.86/279.32 c 2963128[?] 747439[?] -747440[?] is mandatory 285.86/279.32 c qxplain 227/229 286.86/280.34 c qxplain 229/229 287.86/281.35 c 2963131[?] 747440[?] -747441[?] is mandatory 287.86/281.35 c qxplain 227/228 288.86/282.36 c qxplain 228/228 289.86/283.39 c 2963134[?] 747434[?] 747443[?] is mandatory 289.86/283.39 c qxplain 227/227 290.96/284.41 c 2963151[?] -747448[?] -747450[?] -747449[?] is mandatory 290.96/284.41 c qxplain 181/226 291.96/285.42 c qxplain 204/226 292.96/286.44 c qxplain 216/226 293.96/287.46 c qxplain 222/226 294.96/288.49 c qxplain 225/226 296.12/289.58 c qxplain 226/226 297.12/290.59 c 2963155[?] 747450[?] -747451[?] is mandatory 297.12/290.59 c qxplain 225/225 298.22/291.61 c 2963158[?] 747451[?] -747453[?] is mandatory 298.22/291.61 c qxplain 222/224 299.22/292.64 c qxplain 224/224 300.22/293.67 c 2963161[?] 747453[?] -517781[?] is mandatory 300.22/293.67 c qxplain 222/223 301.22/294.67 c qxplain 223/223 302.22/295.68 c 2963170[?] 747449[?] 747458[?] is mandatory 302.22/295.68 c qxplain 222/222 303.32/296.71 c 2963187[?] -747463[?] -747465[?] -747464[?] is mandatory 303.32/296.71 c qxplain 216/221 304.32/297.74 c qxplain 219/221 305.32/298.76 c qxplain 221/221 306.32/299.79 c 2963191[?] 747465[?] -747466[?] is mandatory 306.32/299.79 c qxplain 219/220 307.48/300.87 c qxplain 220/220 308.49/301.87 c 2963194[?] 747466[?] -747468[?] is mandatory 308.49/301.87 c qxplain 219/219 309.49/302.88 c 2963198[?] 747468[?] -747469[?] is mandatory 309.49/302.88 c qxplain 216/218 310.59/303.90 c qxplain 218/218 311.58/304.92 c 2963200[?] 747469[?] -747470[?] is mandatory 311.58/304.92 c qxplain 216/217 312.58/305.95 c qxplain 217/217 313.58/306.96 c 2963203[?] 747470[?] -747471[?] is mandatory 313.58/306.96 c qxplain 216/216 314.58/307.98 c 2963206[?] 747464[?] 747473[?] is mandatory 314.58/307.98 c qxplain 204/215 315.68/309.01 c qxplain 210/215 316.68/310.01 c qxplain 213/215 317.68/311.03 c qxplain 215/215 318.85/312.12 c 2963223[?] -747478[?] -747480[?] -747479[?] is mandatory 318.85/312.12 c qxplain 213/214 319.85/313.13 c qxplain 214/214 320.85/314.13 c 2963227[?] 747480[?] -747481[?] is mandatory 320.85/314.13 c qxplain 213/213 321.85/315.13 c 2963230[?] 747481[?] -747483[?] is mandatory 321.85/315.13 c qxplain 210/212 322.85/316.16 c qxplain 212/212 323.85/317.17 c 2963233[?] 747483[?] -517781[?] is mandatory 323.85/317.17 c qxplain 210/211 324.85/318.18 c qxplain 211/211 325.85/319.19 c 2963242[?] 747479[?] 747488[?] is mandatory 325.85/319.19 c qxplain 210/210 326.95/320.20 c 2963259[?] -747493[?] -747495[?] -747494[?] is mandatory 326.95/320.20 c qxplain 204/209 327.85/321.19 c qxplain 207/209 328.95/322.21 c qxplain 209/209 330.01/323.29 c 2963263[?] 747495[?] -747496[?] is mandatory 330.01/323.29 c qxplain 207/208 331.11/324.30 c qxplain 208/208 332.11/325.32 c 2963266[?] 747496[?] -747498[?] is mandatory 332.11/325.32 c qxplain 207/207 333.11/326.33 c 2963270[?] 747498[?] -747499[?] is mandatory 333.11/326.33 c qxplain 204/206 334.11/327.34 c qxplain 206/206 335.11/328.35 c 2963272[?] 747499[?] -747500[?] is mandatory 335.11/328.35 c qxplain 204/205 336.12/329.35 c qxplain 205/205 337.12/330.36 c 2963275[?] 747500[?] -747501[?] is mandatory 337.12/330.36 c qxplain 204/204 338.11/331.37 c 2963278[?] 747494[?] 747503[?] is mandatory 338.11/331.37 c qxplain 181/203 339.11/332.38 c qxplain 193/203 340.11/333.39 c qxplain 199/203 341.28/334.46 c qxplain 202/203 342.28/335.48 c qxplain 203/203 343.28/336.49 c 2963295[?] -747508[?] -747510[?] -747509[?] is mandatory 343.28/336.49 c qxplain 202/202 344.38/337.51 c 2963299[?] 747510[?] -747511[?] is mandatory 344.38/337.51 c qxplain 199/201 345.38/338.53 c qxplain 201/201 346.38/339.55 c 2963302[?] 747511[?] -747513[?] is mandatory 346.38/339.55 c qxplain 199/200 347.38/340.54 c qxplain 200/200 348.38/341.56 c 2963305[?] 747513[?] -517781[?] is mandatory 348.38/341.56 c qxplain 199/199 349.39/342.56 c 2963314[?] 747509[?] 747518[?] is mandatory 349.39/342.56 c qxplain 193/198 350.39/343.58 c qxplain 196/198 351.49/344.60 c qxplain 198/198 352.54/345.68 c 2963331[?] -747523[?] -747525[?] -747524[?] is mandatory 352.54/345.68 c qxplain 196/197 353.55/346.69 c qxplain 197/197 354.55/347.69 c 2963335[?] 747525[?] -747526[?] is mandatory 354.55/347.69 c qxplain 196/196 355.65/348.70 c 2963338[?] 747526[?] -747528[?] is mandatory 355.65/348.70 c qxplain 193/195 356.64/349.71 c qxplain 195/195 357.64/350.73 c 2963342[?] 747528[?] -747529[?] is mandatory 357.64/350.73 c qxplain 193/194 358.65/351.74 c qxplain 194/194 359.65/352.76 c 2963344[?] 747529[?] -747530[?] is mandatory 359.65/352.76 c qxplain 193/193 360.65/353.78 c 2963347[?] 747530[?] -747531[?] is mandatory 360.65/353.78 c qxplain 181/192 361.65/354.78 c qxplain 187/192 362.65/355.79 c qxplain 190/192 363.74/356.82 c qxplain 192/192 364.80/357.90 c 2963350[?] 747524[?] 747533[?] is mandatory 364.80/357.90 c qxplain 190/191 365.90/358.92 c qxplain 191/191 366.90/359.93 c 2963367[?] -747538[?] -747540[?] -747539[?] is mandatory 366.90/359.93 c qxplain 190/190 367.90/360.93 c 2963371[?] 747540[?] -747541[?] is mandatory 367.90/360.93 c qxplain 187/189 368.90/361.95 c qxplain 189/189 369.90/362.96 c 2963374[?] 747541[?] -747543[?] is mandatory 369.90/362.96 c qxplain 187/188 370.90/363.97 c qxplain 188/188 371.90/364.98 c 2963377[?] 747543[?] -517781[?] is mandatory 371.90/364.98 c qxplain 187/187 372.90/365.99 c 2963386[?] 747539[?] 747548[?] is mandatory 372.90/365.99 c qxplain 181/186 373.90/366.99 c qxplain 184/186 375.00/368.01 c qxplain 186/186 376.16/369.10 c 2963403[?] -747553[?] -747555[?] -747554[?] is mandatory 376.16/369.10 c qxplain 184/185 377.16/370.11 c qxplain 185/185 378.18/371.13 c 2963407[?] 747555[?] -747556[?] is mandatory 378.18/371.13 c qxplain 184/184 379.18/372.14 c 2963410[?] 747556[?] -747558[?] is mandatory 379.18/372.14 c qxplain 181/183 380.17/373.14 c qxplain 183/183 381.17/374.14 c 2963414[?] 747558[?] -747559[?] is mandatory 381.17/374.14 c qxplain 181/182 382.17/375.14 c qxplain 182/182 383.17/376.15 c 2963416[?] 747559[?] -747560[?] is mandatory 383.17/376.15 c qxplain 181/181 384.17/377.18 c 2963419[?] 747560[?] -747561[?] is mandatory 384.17/377.18 c qxplain 0/180 385.17/378.19 c qxplain 91/180 386.27/379.20 c qxplain 136/180 387.17/380.19 c qxplain 159/180 388.33/381.26 c qxplain 170/180 389.33/382.26 c qxplain 176/180 390.34/383.27 c qxplain 179/180 391.34/384.29 c qxplain 180/180 392.44/385.32 c 2963422[?] 747554[?] 747563[?] is mandatory 392.44/385.32 c qxplain 179/179 393.43/386.34 c 2963439[?] -747568[?] -747570[?] -747569[?] is mandatory 393.43/386.34 c qxplain 176/178 394.43/387.35 c qxplain 178/178 395.43/388.38 c 2963443[?] 747570[?] -747571[?] is mandatory 395.43/388.38 c qxplain 176/177 396.43/389.38 c qxplain 177/177 397.53/390.41 c 2963446[?] 747571[?] -747573[?] is mandatory 397.53/390.41 c qxplain 176/176 398.53/391.42 c 2963449[?] 747573[?] -517781[?] is mandatory 398.53/391.42 c qxplain 170/175 399.53/392.42 c qxplain 173/175 400.70/393.50 c qxplain 175/175 401.70/394.53 c 2963458[?] 747569[?] 747578[?] is mandatory 401.70/394.53 c qxplain 173/174 402.70/395.53 c qxplain 174/174 403.70/396.54 c 2963475[?] -747583[?] -747585[?] -747584[?] is mandatory 403.70/396.54 c qxplain 173/173 404.71/397.56 c 2963479[?] 747585[?] -747586[?] is mandatory 404.71/397.56 c qxplain 170/172 405.71/398.59 c qxplain 172/172 406.70/399.58 c 2963482[?] 747586[?] -747588[?] is mandatory 406.70/399.58 c qxplain 170/171 407.80/400.60 c qxplain 171/171 408.80/401.61 c 2963486[?] 747588[?] -747589[?] is mandatory 408.80/401.61 c qxplain 170/170 409.80/402.61 c 2963488[?] 747589[?] -747590[?] is mandatory 409.80/402.61 c qxplain 159/169 410.80/403.62 c qxplain 165/169 411.94/404.73 c qxplain 168/169 412.94/405.74 c qxplain 169/169 413.94/406.74 c 2963491[?] 747590[?] -747591[?] is mandatory 413.94/406.74 c qxplain 168/168 414.94/407.75 c 2963494[?] 747584[?] 747593[?] is mandatory 414.94/407.75 c qxplain 165/167 415.94/408.78 c qxplain 167/167 416.94/409.80 c 3049647[?] -776293[?] -727789[?] -776294[?] is mandatory 416.94/409.80 c qxplain 165/166 418.04/410.82 c qxplain 166/166 419.04/411.83 c 3049651[?] 727789[?] -776295[?] is mandatory 419.04/411.83 c qxplain 165/165 420.04/412.83 c 3049655[?] 776295[?] 776296[?] is mandatory 420.04/412.83 c qxplain 159/164 421.04/413.83 c qxplain 162/164 422.04/414.85 c qxplain 164/164 423.04/415.86 c 3049656[?] -776296[?] 700235[?] 773895[?] is mandatory 423.04/415.86 c qxplain 162/163 424.20/416.93 c qxplain 163/163 425.19/417.96 c 3049659[?] -700235[?] 776297[?] 727219[?] is mandatory 425.19/417.96 c qxplain 162/162 426.19/418.96 c 3049662[?] -776297[?] 727225[?] 776298[?] is mandatory 426.19/418.96 c qxplain 159/161 427.20/419.97 c qxplain 161/161 428.20/420.98 c 3049665[?] -776298[?] 776299[?] 727231[?] is mandatory 428.20/420.98 c qxplain 159/160 429.19/421.99 c qxplain 160/160 430.29/423.00 c 3049668[?] -776299[?] 776300[?] 727237[?] is mandatory 430.29/423.00 c qxplain 159/159 431.29/424.01 c 3049671[?] -776300[?] 727243[?] 776301[?] is mandatory 431.29/424.01 c qxplain 136/158 432.30/425.03 c qxplain 148/158 433.30/426.03 c qxplain 154/158 434.29/427.04 c qxplain 157/158 435.29/428.05 c qxplain 158/158 436.45/429.13 c 3049674[?] -776301[?] 776302[?] 727249[?] is mandatory 436.45/429.13 c qxplain 157/157 437.45/430.15 c 3049677[?] -776302[?] 727255[?] 727261[?] is mandatory 437.45/430.15 c qxplain 154/156 438.46/431.18 c qxplain 156/156 439.46/432.18 c 3049681[?] 776294[?] 776303[?] is mandatory 439.46/432.18 c qxplain 154/155 440.56/433.22 c qxplain 155/155 441.56/434.23 c 3049683[?] -776304[?] -776306[?] -776305[?] is mandatory 441.56/434.23 c qxplain 154/154 442.55/435.25 c 3049688[?] 776306[?] -517371[?] is mandatory 442.55/435.25 c qxplain 148/153 443.56/436.26 c qxplain 151/153 444.56/437.29 c qxplain 153/153 445.66/438.30 c 3050917[?] 776305[?] 601522[?] is mandatory 445.66/438.30 c qxplain 151/152 446.66/439.33 c qxplain 152/152 447.66/440.33 c 3050919[?] -776714[?] -776716[?] -776715[?] is mandatory 447.66/440.33 c qxplain 151/151 448.82/441.41 c 3050923[?] 776716[?] -776717[?] is mandatory 448.82/441.41 c qxplain 148/150 449.82/442.42 c qxplain 150/150 450.82/443.44 c 3050927[?] 776717[?] 776718[?] is mandatory 450.82/443.44 c qxplain 148/149 451.82/444.46 c qxplain 149/149 452.82/445.46 c 3050928[?] -776718[?] -776720[?] -776719[?] is mandatory 452.82/445.46 c qxplain 148/148 453.82/446.47 c 3050932[?] 776720[?] -776721[?] is mandatory 453.82/446.47 c qxplain 136/147 454.82/447.47 c qxplain 142/147 455.82/448.48 c qxplain 145/147 456.92/449.50 c qxplain 147/147 457.92/450.52 c 3050935[?] 776721[?] 776303[?] is mandatory 457.92/450.52 c qxplain 145/146 458.92/451.54 c qxplain 146/146 460.09/452.61 c 3050956[?] 776719[?] 690259[?] is mandatory 460.09/452.61 c qxplain 145/145 461.10/453.62 c 3050959[?] 776715[?] 690259[?] is mandatory 461.10/453.62 c qxplain 142/144 462.09/454.65 c qxplain 144/144 463.09/455.67 c 3099331[?] 743639[?] -621081[?] is mandatory 463.09/455.67 c qxplain 142/143 464.09/456.69 c qxplain 143/143 465.19/457.70 c 3099335[?] 621081[?] 669275[?] is mandatory 465.19/457.70 c qxplain 142/142 466.19/458.70 c 3101539[?] 743669[?] -620997[?] is mandatory 466.19/458.70 c qxplain 136/141 467.19/459.71 c qxplain 139/141 468.19/460.74 c qxplain 141/141 469.19/461.75 c 3101543[?] 620997[?] 669275[?] is mandatory 469.19/461.75 c qxplain 139/140 470.19/462.77 c qxplain 140/140 471.19/463.78 c 3108814[?] 743781[?] -620819[?] is mandatory 471.19/463.78 c qxplain 139/139 472.35/464.85 c 3108817[?] 620819[?] 746046[?] is mandatory 472.35/464.85 c qxplain 136/138 473.35/465.86 c qxplain 138/138 474.36/466.87 c 3114508[?] 747411[?] -620707[?] is mandatory 474.36/466.87 c qxplain 136/137 475.36/467.88 c qxplain 137/137 476.46/468.90 c 3114511[?] 620707[?] 746046[?] is mandatory 476.46/468.90 c qxplain 136/136 477.45/469.92 c 3119026[?] 747441[?] -620763[?] is mandatory 477.45/469.92 c qxplain 91/135 478.45/470.92 c qxplain 114/135 479.45/471.93 c qxplain 125/135 480.45/472.94 c qxplain 131/135 481.46/473.95 c qxplain 134/135 482.46/474.98 c qxplain 135/135 483.46/475.99 c 3119029[?] 620763[?] 746046[?] is mandatory 483.46/475.99 c qxplain 134/134 484.61/477.10 c 3124360[?] 747471[?] -621361[?] is mandatory 484.61/477.10 c qxplain 131/133 485.71/478.10 c qxplain 133/133 486.71/479.11 c 3124363[?] 621361[?] 746046[?] is mandatory 486.71/479.11 c qxplain 131/132 487.71/480.13 c qxplain 132/132 488.72/481.14 c 3128878[?] 747501[?] -621305[?] is mandatory 488.72/481.15 c qxplain 131/131 489.72/482.16 c 3128881[?] 621305[?] 746046[?] is mandatory 489.72/482.16 c qxplain 125/130 490.71/483.17 c qxplain 128/130 491.81/484.21 c qxplain 130/130 492.81/485.21 c 3132988[?] 747531[?] -621249[?] is mandatory 492.81/485.21 c qxplain 128/129 493.81/486.22 c qxplain 129/129 494.81/487.23 c 3132991[?] 621249[?] 746046[?] is mandatory 494.81/487.23 c qxplain 128/128 495.81/488.24 c 3139276[?] 747561[?] -621137[?] is mandatory 495.81/488.24 c qxplain 125/127 496.97/489.34 c qxplain 127/127 497.97/490.36 c 3139279[?] 621137[?] 746046[?] is mandatory 497.97/490.36 c qxplain 125/126 498.97/491.36 c qxplain 126/126 499.97/492.37 c 3139867[?] 747591[?] -621193[?] is mandatory 499.97/492.37 c qxplain 125/125 500.97/493.38 c 3139870[?] 621193[?] 746046[?] is mandatory 500.97/493.38 c qxplain 114/124 501.98/494.39 c qxplain 120/124 502.98/495.40 c qxplain 123/124 504.08/496.43 c qxplain 124/124 505.07/497.45 c 3154356[?] -588023[?] 554727[?] 554733[?] is mandatory 505.07/497.45 c qxplain 123/123 506.07/498.45 c 3158695[?] -554781[?] -812214[?] is mandatory 506.07/498.45 c qxplain 120/122 507.07/499.47 c qxplain 122/122 508.07/500.48 c 3158697[?] 812214[?] 659284[?] is mandatory 508.07/500.48 c qxplain 120/121 509.23/501.57 c qxplain 121/121 510.23/502.58 c 3159750[?] -554775[?] -812544[?] is mandatory 510.23/502.58 c qxplain 120/120 511.23/503.59 c 3159752[?] 812544[?] 659269[?] is mandatory 511.23/503.59 c qxplain 114/119 512.23/504.59 c qxplain 117/119 513.33/505.61 c qxplain 119/119 514.33/506.63 c 3160805[?] -554769[?] -812854[?] is mandatory 514.33/506.63 c qxplain 117/118 515.33/507.64 c qxplain 118/118 516.34/508.65 c 3160807[?] 812854[?] 659254[?] is mandatory 516.34/508.65 c qxplain 117/117 517.34/509.67 c 3161860[?] -554763[?] -813164[?] is mandatory 517.34/509.67 c qxplain 114/116 518.33/510.68 c qxplain 116/116 519.33/511.69 c 3161862[?] 813164[?] 659239[?] is mandatory 519.33/511.69 c qxplain 114/115 520.43/512.70 c qxplain 115/115 521.49/513.78 c 3162915[?] -554757[?] -813474[?] is mandatory 521.49/513.78 c qxplain 114/114 522.49/514.79 c 3162917[?] 813474[?] 659224[?] is mandatory 522.49/514.79 c qxplain 91/113 523.59/515.80 c qxplain 103/113 524.59/516.82 c qxplain 109/113 525.59/517.83 c qxplain 112/113 526.59/518.85 c qxplain 113/113 527.59/519.86 c 3163970[?] -554751[?] -813784[?] is mandatory 527.59/519.86 c qxplain 112/112 528.59/520.88 c 3163972[?] 813784[?] 659209[?] is mandatory 528.59/520.88 c qxplain 109/111 529.69/521.91 c qxplain 111/111 530.70/522.92 c 3165025[?] -554745[?] -814094[?] is mandatory 530.70/522.92 c qxplain 109/110 531.70/523.92 c qxplain 110/110 532.69/524.92 c 3165027[?] 814094[?] 659194[?] is mandatory 532.69/524.92 c qxplain 109/109 533.86/526.00 c 3166080[?] -554739[?] -814404[?] is mandatory 533.86/526.00 c qxplain 103/108 534.86/527.00 c qxplain 106/108 535.86/528.02 c qxplain 108/108 536.86/529.05 c 3166082[?] 814404[?] 657405[?] is mandatory 536.86/529.05 c qxplain 106/107 537.86/530.06 c qxplain 107/107 538.86/531.05 c 3166736[?] -554733[?] -814564[?] is mandatory 538.86/531.05 c qxplain 106/106 539.86/532.07 c 3166738[?] 814564[?] 657349[?] is mandatory 539.86/532.07 c qxplain 103/105 540.96/533.11 c qxplain 105/105 541.96/534.12 c 3167034[?] -554727[?] -814644[?] is mandatory 541.96/534.12 c qxplain 103/104 542.96/535.13 c qxplain 104/104 543.97/536.15 c 3167036[?] 814644[?] 657334[?] is mandatory 543.97/536.15 c qxplain 103/103 544.96/537.15 c 3168275[?] 517781[?] -814931[?] is mandatory 544.96/537.15 c qxplain 91/102 546.13/538.22 c qxplain 97/102 547.13/539.23 c qxplain 100/102 548.13/540.25 c qxplain 102/102 549.13/541.27 c 3168280[?] 814931[?] 428518[?] is mandatory 549.13/541.27 c qxplain 100/101 550.13/542.29 c qxplain 101/101 551.13/543.30 c 3188031[?] -758775[?] -820717[?] is mandatory 551.23/543.30 c qxplain 100/100 552.23/544.30 c 3188033[?] -820718[?] 758775[?] is mandatory 552.23/544.30 c qxplain 97/99 553.23/545.32 c qxplain 99/99 554.23/546.33 c 3188036[?] -820719[?] 820718[?] is mandatory 554.23/546.33 c qxplain 97/98 555.23/547.34 c qxplain 98/98 556.23/548.35 c 3188039[?] -820720[?] 820719[?] is mandatory 556.23/548.35 c qxplain 97/97 557.23/549.36 c 3188042[?] -820721[?] 820720[?] is mandatory 557.23/549.36 c qxplain 91/96 558.23/550.37 c qxplain 94/96 559.39/551.45 c qxplain 96/96 560.38/552.46 c 3188045[?] -820722[?] 820721[?] is mandatory 560.38/552.46 c qxplain 94/95 561.38/553.47 c qxplain 95/95 562.38/554.48 c 3188048[?] -820723[?] 820722[?] is mandatory 562.38/554.48 c qxplain 94/94 563.38/555.49 c 3188051[?] -820724[?] 820723[?] is mandatory 563.38/555.49 c qxplain 91/93 564.48/556.50 c qxplain 93/93 565.48/557.51 c 3188054[?] -820725[?] 820724[?] is mandatory 565.48/557.51 c qxplain 91/92 566.48/558.53 c qxplain 92/92 567.48/559.53 c 3188057[?] -820726[?] 820725[?] is mandatory 567.48/559.53 c qxplain 91/91 568.48/560.55 c 3188060[?] -820727[?] 820726[?] is mandatory 568.48/560.55 c qxplain 0/90 569.48/561.57 c qxplain 46/90 570.49/562.59 c qxplain 69/90 571.65/563.67 c qxplain 80/90 572.65/564.67 c qxplain 86/90 573.65/565.69 c qxplain 89/90 574.75/566.70 c qxplain 90/90 575.75/567.73 c 3188063[?] -820728[?] 820727[?] is mandatory 575.75/567.73 c qxplain 89/89 576.75/568.77 c 3188066[?] -820729[?] 820728[?] is mandatory 576.75/568.77 c qxplain 86/88 577.75/569.78 c qxplain 88/88 578.75/570.78 c 3188069[?] -820730[?] 820729[?] is mandatory 578.75/570.78 c qxplain 86/87 579.75/571.79 c qxplain 87/87 580.85/572.81 c 3188072[?] -820731[?] 820730[?] is mandatory 580.85/572.81 c qxplain 86/86 581.85/573.82 c 3188073[?] -727249[?] 820730[?] is mandatory 581.85/573.82 c qxplain 80/85 582.85/574.83 c qxplain 83/85 584.01/575.92 c qxplain 85/85 585.01/576.91 c 3188075[?] -820732[?] 820731[?] is mandatory 585.01/576.91 c qxplain 83/84 586.02/577.92 c qxplain 84/84 587.02/578.93 c 3188076[?] -727255[?] 820731[?] is mandatory 587.02/578.93 c qxplain 83/83 588.01/579.94 c 3188079[?] -727261[?] 820732[?] is mandatory 588.01/579.94 c qxplain 80/82 589.01/580.96 c qxplain 82/82 590.01/581.98 c 3188080[?] -773895[?] 727213[?] 727207[?] is mandatory 590.01/581.98 c qxplain 80/81 591.01/582.97 c qxplain 81/81 592.02/583.98 c 3195440[?] -727243[?] -822546[?] is mandatory 592.02/583.98 c qxplain 80/80 593.02/584.97 c 3195442[?] 822546[?] 747503[?] is mandatory 593.02/584.97 c qxplain 69/79 594.01/585.98 c qxplain 75/79 595.01/586.98 c qxplain 78/79 596.18/588.07 c qxplain 79/79 597.18/589.08 c 3196495[?] -727237[?] -822856[?] is mandatory 597.18/589.08 c qxplain 78/78 598.18/590.07 c 3196497[?] 822856[?] 747473[?] is mandatory 598.18/590.07 c qxplain 75/77 599.18/591.08 c qxplain 77/77 600.18/592.09 c 3197550[?] -727231[?] -823166[?] is mandatory 600.18/592.09 c qxplain 75/76 601.28/593.11 c qxplain 76/76 602.28/594.12 c 3197552[?] 823166[?] 747443[?] is mandatory 602.28/594.12 c qxplain 75/75 603.28/595.13 c 3198605[?] -727225[?] -823476[?] is mandatory 603.28/595.13 c qxplain 69/74 604.28/596.13 c qxplain 72/74 605.28/597.14 c qxplain 74/74 606.28/598.15 c 3198607[?] 823476[?] 747413[?] is mandatory 606.28/598.15 c qxplain 72/73 607.28/599.16 c qxplain 73/73 608.44/600.24 c 3199660[?] -727219[?] -823786[?] is mandatory 608.44/600.24 c qxplain 72/72 609.44/601.25 c 3199662[?] 823786[?] 743783[?] is mandatory 609.44/601.25 c qxplain 69/71 610.44/602.27 c qxplain 71/71 611.45/603.27 c 3200316[?] -727213[?] -823946[?] is mandatory 611.45/603.27 c qxplain 69/70 612.45/604.29 c qxplain 70/70 613.55/605.30 c 3200318[?] 823946[?] 743671[?] is mandatory 613.55/605.30 c qxplain 69/69 614.54/606.31 c 3200614[?] -727207[?] -824026[?] is mandatory 614.54/606.31 c qxplain 46/68 615.54/607.33 c qxplain 58/68 616.54/608.35 c qxplain 64/68 617.54/609.35 c qxplain 67/68 618.54/610.36 c qxplain 68/68 619.54/611.37 c 3200616[?] 824026[?] 743641[?] is mandatory 619.54/611.37 c qxplain 67/67 620.54/612.39 c 3313527[?] 517371[?] -863920[?] is mandatory 620.54/612.39 c qxplain 64/66 621.69/613.49 c qxplain 66/66 622.79/614.51 c 3313533[?] -863923[?] 250772[?] is mandatory 622.79/614.51 c qxplain 64/65 623.79/615.53 c qxplain 65/65 624.79/616.53 c 3313536[?] 863924[?] -166596[?] is mandatory 624.79/616.53 c qxplain 64/64 625.80/617.54 c 3313537[?] -863925[?] 89231[?] is mandatory 625.80/617.54 c qxplain 58/63 626.80/618.55 c qxplain 61/63 627.79/619.58 c qxplain 63/63 628.89/620.61 c 3313540[?] 863926[?] -89232[?] is mandatory 628.89/620.61 c qxplain 61/62 629.89/621.63 c qxplain 62/62 630.89/622.63 c -863927[?] 3313541[?] is mandatory 630.89/622.63 c qxplain 61/61 631.89/623.66 c 863928[?] 3313542[?] is mandatory 631.89/623.66 c qxplain 58/60 632.90/624.69 c qxplain 60/60 634.06/625.77 c 863920[?] 3313545[?] is mandatory 634.06/625.77 c qxplain 58/59 635.06/626.79 c qxplain 59/59 636.16/627.81 c 3313550[?] -428518[?] 863923[?] is mandatory 636.16/627.81 c qxplain 58/58 637.16/628.81 c 3313553[?] 339665[?] -863924[?] is mandatory 637.16/628.81 c qxplain 46/57 638.16/629.83 c qxplain 52/57 639.16/630.85 c qxplain 55/57 640.17/631.86 c qxplain 57/57 641.17/632.88 c 3313554[?] -250772[?] 863925[?] is mandatory 641.17/632.88 c qxplain 55/56 642.16/633.89 c qxplain 56/56 643.26/634.91 c 3313557[?] 166596[?] -863926[?] is mandatory 643.26/634.91 c qxplain 55/55 644.26/635.91 c 3313558[?] -89231[?] 863927[?] is mandatory 644.26/635.91 c qxplain 52/54 645.26/636.92 c qxplain 54/54 646.33/637.99 c 3313561[?] 89232[?] -863928[?] is mandatory 646.33/637.99 c qxplain 52/53 647.43/639.00 c qxplain 53/53 648.43/640.01 c -690259[?] 3344559[?] is mandatory 648.43/640.01 c qxplain 52/52 649.43/641.02 c 3344561[?] -601522[?] 776714[?] is mandatory 649.43/641.02 c qxplain 46/51 650.43/642.01 c qxplain 49/51 651.43/643.01 c qxplain 51/51 652.42/644.03 c 3344563[?] -512259[?] 776304[?] is mandatory 652.42/644.03 c qxplain 49/50 653.43/645.06 c qxplain 50/50 654.43/646.07 c 3344565[?] -423406[?] 676765[?] is mandatory 654.43/646.07 c qxplain 49/49 655.43/647.07 c 3344567[?] -334514[?] 588028[?] is mandatory 655.43/647.07 c qxplain 46/48 656.43/648.09 c qxplain 48/48 657.43/649.08 c 3344569[?] -245930[?] 512260[?] is mandatory 657.43/649.08 c qxplain 46/47 658.43/650.09 c qxplain 47/47 659.60/651.17 c 3344571[?] -161357[?] 423407[?] is mandatory 659.60/651.17 c qxplain 46/46 660.60/652.19 c -776303[?] 3344594[?] is mandatory 660.60/652.19 c qxplain 0/45 661.70/653.20 c qxplain 23/45 662.70/654.22 c qxplain 35/45 663.70/655.23 c qxplain 41/45 664.70/656.23 c qxplain 44/45 665.70/657.25 c qxplain 45/45 666.70/658.28 c 3344596[?] -676764[?] 776293[?] is mandatory 666.70/658.28 c qxplain 44/44 667.70/659.30 c 3344598[?] -588024[?] 676759[?] is mandatory 667.70/659.30 c qxplain 41/43 668.80/660.32 c qxplain 43/43 669.80/661.34 c 3344600[?] -499141[?] 588019[?] is mandatory 669.80/661.34 c qxplain 41/42 670.80/662.34 c qxplain 42/42 671.96/663.42 c 3344602[?] -410288[?] 499136[?] is mandatory 671.96/663.42 c qxplain 41/41 672.96/664.43 c -669275[?] 3344725[?] is mandatory 672.96/664.43 c qxplain 35/40 673.96/665.45 c qxplain 38/40 674.96/666.46 c qxplain 40/40 675.96/667.49 c -746046[?] 3358953[?] is mandatory 675.96/667.49 c qxplain 38/39 676.96/668.48 c qxplain 39/39 677.96/669.48 c 820717[?] 3380602[?] is mandatory 677.96/669.48 c qxplain 38/38 678.96/670.49 c -747593[?] 3386398[?] is mandatory 678.96/670.49 c qxplain 35/37 680.06/671.50 c qxplain 37/37 681.06/672.51 c 3386400[?] -747578[?] 747583[?] is mandatory 681.06/672.51 c qxplain 35/36 682.06/673.53 c qxplain 36/36 683.06/674.55 c 3386402[?] -659284[?] 747568[?] is mandatory 683.06/674.55 c qxplain 35/35 684.22/675.60 c -747563[?] 3386419[?] is mandatory 684.22/675.60 c qxplain 23/34 685.22/676.61 c qxplain 29/34 686.22/677.61 c qxplain 32/34 687.22/678.63 c qxplain 34/34 688.22/679.66 c 3386421[?] -747548[?] 747553[?] is mandatory 688.22/679.66 c qxplain 32/33 689.22/680.69 c qxplain 33/33 690.22/681.69 c 3386423[?] -659269[?] 747538[?] is mandatory 690.22/681.69 c qxplain 32/32 691.22/682.69 c -747533[?] 3386440[?] is mandatory 691.22/682.69 c qxplain 29/31 692.32/683.70 c qxplain 31/31 693.32/684.72 c 3386442[?] -747518[?] 747523[?] is mandatory 693.32/684.72 c qxplain 29/30 694.33/685.74 c qxplain 30/30 695.33/686.77 c 3386444[?] -659254[?] 747508[?] is mandatory 695.33/686.77 c qxplain 29/29 696.49/687.85 c -747503[?] 3386461[?] is mandatory 696.49/687.85 c qxplain 23/28 697.49/688.85 c qxplain 26/28 698.49/689.87 c qxplain 28/28 699.49/690.89 c 3386463[?] -747488[?] 747493[?] is mandatory 699.49/690.89 c qxplain 26/27 700.59/691.91 c qxplain 27/27 701.59/692.93 c 3386465[?] -659239[?] 747478[?] is mandatory 701.59/692.93 c qxplain 26/26 702.59/693.94 c -747473[?] 3386482[?] is mandatory 702.59/693.94 c qxplain 23/25 703.59/694.95 c qxplain 25/25 704.59/695.97 c 3386484[?] -747458[?] 747463[?] is mandatory 704.59/695.97 c qxplain 23/24 705.59/696.97 c qxplain 24/24 706.59/697.98 c 3386486[?] -659224[?] 747448[?] is mandatory 706.59/697.98 c qxplain 23/23 707.59/698.99 c -747443[?] 3386503[?] is mandatory 707.59/698.99 c qxplain 0/22 708.76/700.09 c qxplain 12/22 709.76/701.10 c qxplain 18/22 710.86/702.10 c qxplain 21/22 711.86/703.12 c qxplain 22/22 712.86/704.13 c 3386505[?] -747428[?] 747433[?] is mandatory 712.86/704.13 c qxplain 21/21 713.86/705.15 c 3386507[?] -659209[?] 747418[?] is mandatory 713.86/705.15 c qxplain 18/20 714.86/706.17 c qxplain 20/20 715.86/707.18 c -747413[?] 3386524[?] is mandatory 715.86/707.18 c qxplain 18/19 716.86/708.19 c qxplain 19/19 717.96/709.20 c 3386526[?] -747398[?] 747403[?] is mandatory 717.96/709.20 c qxplain 18/18 718.96/710.21 c 3386528[?] -659194[?] 747388[?] is mandatory 718.96/710.21 c qxplain 12/17 719.96/711.22 c qxplain 15/17 720.96/712.25 c qxplain 17/17 722.12/713.33 c -743783[?] 3386963[?] is mandatory 722.12/713.33 c qxplain 15/16 723.12/714.33 c qxplain 16/16 724.12/715.34 c 3386965[?] -743768[?] 743773[?] is mandatory 724.12/715.34 c qxplain 15/15 725.12/716.34 c 3386967[?] -657405[?] 743758[?] is mandatory 725.12/716.34 c qxplain 12/14 726.12/717.38 c qxplain 14/14 727.12/718.39 c -743671[?] 3387027[?] is mandatory 727.12/718.39 c qxplain 12/13 728.23/719.41 c qxplain 13/13 729.22/720.41 c 3387029[?] -743656[?] 743661[?] is mandatory 729.22/720.41 c qxplain 12/12 730.22/721.41 c 3387031[?] -657349[?] 743646[?] is mandatory 730.22/721.41 c qxplain 0/11 731.22/722.42 c qxplain 6/11 732.22/723.44 c qxplain 9/11 733.22/724.46 c qxplain 11/11 734.38/725.54 c -743641[?] 3387048[?] is mandatory 734.38/725.54 c qxplain 9/10 735.38/726.56 c qxplain 10/10 736.39/727.57 c 3387050[?] -743626[?] 743631[?] is mandatory 736.39/727.57 c qxplain 9/9 737.38/728.57 c 3387052[?] -657334[?] 743616[?] is mandatory 737.38/728.57 c qxplain 6/8 738.48/729.60 c qxplain 8/8 739.48/730.62 c -690256[?] 3393600[?] is mandatory 739.48/730.62 c qxplain 6/7 740.48/731.64 c qxplain 7/7 741.48/732.66 c 3393602[?] -601519[?] 690255[?] is mandatory 741.48/732.66 c qxplain 6/6 742.48/733.68 c 3393604[?] -512256[?] 601518[?] is mandatory 742.48/733.68 c qxplain 0/5 743.48/734.69 c qxplain 3/5 744.58/735.71 c qxplain 5/5 745.58/736.73 c 3393606[?] -423403[?] 512255[?] is mandatory 745.58/736.73 c qxplain 3/4 746.75/737.81 c qxplain 4/4 747.75/738.82 c 3393608[?] -334511[?] 423402[?] is mandatory 747.75/738.82 c qxplain 3/3 748.75/739.85 c 3393610[?] -245927[?] 334510[?] is mandatory 748.75/739.85 c qxplain 0/2 749.75/740.85 c qxplain 2/2 750.75/741.87 c 3393612[?] -161354[?] 245926[?] is mandatory 750.75/741.87 c qxplain 0/1 751.75/742.88 c qxplain 1/1 752.75/743.89 c 3393614[?] 161353[?] -864484[?] is mandatory 752.75/743.89 c qxplain 0/0 753.85/744.92 c 864484[?] 3393615[?] is mandatory 760.00/750.92 c Size of the MUS: 362 760.00/750.92 c Unsat core computation wall clock time (in seconds) : 746.598 760.00/750.92 c starts : 723 760.00/750.92 c conflicts : 6 760.00/750.92 c decisions : 625220974 760.00/750.92 c propagations : 2456759216 760.00/750.92 c inspects : 664107391 760.00/750.92 c shortcuts : 0 760.00/750.92 c learnt literals : 0 760.00/750.92 c learnt binary clauses : 0 760.00/750.92 c learnt ternary clauses : 0 760.00/750.92 c learnt constraints : 6 760.00/750.92 c ignored constraints : 0 760.00/750.92 c root simplifications : 0 760.00/750.92 c removed literals (reason simplification) : 0 760.00/750.92 c reason swapping (by a shorter reason) : 0 760.00/750.92 c Calls to reduceDB : 0 760.00/750.92 c speed (assignments/second) : 3.4936848919226396E8 760.00/750.92 c non guided choices 625220907 760.00/750.92 c learnt constraints type 760.00/750.93 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 6 760.00/750.93 c constraints type 760.00/750.93 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2527370 760.00/750.93 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1768 760.00/750.93 s UNSATISFIABLE 760.00/750.93 v 434967 434972 434974 673216 673221 673224 925273 925278 925280 1177876 1177881 1177884 1177885 1177889 1177892 1179119 1391773 1391777 1391780 1391786 1430938 1430943 1430945 1430947 1430951 1430955 1430956 1430960 1430963 1432178 1432182 1432183 1432207 1432209 1432213 1449053 1644907 1644911 1644915 1644916 1644921 1644925 1644929 1644932 1646159 1685239 1685244 1685246 1889545 1889548 1889551 1889554 1889557 1889560 1889563 1897768 1897773 1897781 1897783 1897787 1897791 1897792 1897796 1897799 1899014 1899017 1938094 1938097 1938102 1938104 1938127 1938129 1938133 1954973 2087743 2087747 2087750 2087753 2087762 2087779 2087783 2087786 2087790 2087792 2087795 2087798 2087815 2087819 2087822 2087825 2087834 2087851 2087855 2087858 2087862 2087864 2087867 2087870 2088055 2088059 2088062 2088065 2088074 2088091 2088095 2088098 2088102 2088104 2088107 2088110 2098522 2098526 2098529 2098532 2098541 2098558 2098562 2098565 2098569 2098571 2098574 2098577 2098594 2098598 2098601 2098604 2098613 2098630 2098634 2098637 2098641 2098643 2098646 2098649 2098666 2098670 2098673 2098676 2098685 2098702 2098706 2098709 2098713 2098715 2098718 2098721 2098738 2098742 2098745 2098748 2098757 2098774 2098778 2098781 2098785 2098787 2098790 2098793 2098810 2098814 2098817 2098820 2098829 2098846 2098850 2098853 2098857 2098859 2098862 2098865 2098882 2098886 2098889 2098892 2098901 2098918 2098922 2098925 2098929 2098931 2098934 2098937 2098954 2098958 2098961 2098964 2098973 2098990 2098994 2098997 2099001 2099003 2099006 2099009 2185162 2185166 2185170 2185171 2185174 2185177 2185180 2185183 2185186 2185189 2185192 2185196 2185198 2185203 2186432 2186434 2186438 2186442 2186443 2186447 2186450 2186471 2186474 2234846 2234850 2237054 2237058 2244329 2244332 2250023 2250026 2254541 2254544 2259875 2259878 2264393 2264396 2268503 2268506 2274791 2274794 2275382 2275385 2289871 2294210 2294212 2295265 2295267 2296320 2296322 2297375 2297377 2298430 2298432 2299485 2299487 2300540 2300542 2301595 2301597 2302251 2302253 2302549 2302551 2303790 2303795 2323546 2323548 2323551 2323554 2323557 2323560 2323563 2323566 2323569 2323572 2323575 2323578 2323581 2323584 2323587 2323588 2323590 2323591 2323594 2323595 2330955 2330957 2332010 2332012 2333065 2333067 2334120 2334122 2335175 2335177 2335831 2335833 2336129 2336131 2449042 2449048 2449051 2449052 2449055 2449056 2449057 2449060 2449065 2449068 2449069 2449072 2449073 2449076 2480074 2480076 2480078 2480080 2480082 2480084 2480086 2480109 2480111 2480113 2480115 2480117 2480240 2494468 2516117 2521913 2521915 2521917 2521934 2521936 2521938 2521955 2521957 2521959 2521976 2521978 2521980 2521997 2521999 2522001 2522018 2522020 2522022 2522039 2522041 2522043 2522478 2522480 2522482 2522542 2522544 2522546 2522563 2522565 2522567 2529115 2529117 2529119 2529121 2529123 2529125 2529127 2529129 2529130 0 760.00/750.93 c Total wall clock time (in seconds) : 750.822
OK 362
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-3493256-1307798907/watcher-3493256-1307798907 -o /tmp/evaluation-result-3493256-1307798907/solver-3493256-1307798907 -C 1800 -W 1850 -M 7680 java -Xms6000m -Xmx6000m -jar sat4j-mus-v20110206.jar HOME/instance-3493256-1307798907.cnf running on 2 cores: 0,2 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1850 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 4.13 1.58 0.99 4/242 21562 /proc/meminfo: memFree=26612224/32951124 swapFree=67057920/67111528 [pid=21562] ppid=21560 vsize=252 CPUtime=0 cores=0,2 /proc/21562/stat : 21562 (java) S 21560 21562 26933 0 -1 4194304 79 0 0 0 0 0 0 0 24 0 1 0 872306200 258048 31 33554432000 1073741824 1073778376 140734618162032 18446744073709551615 254256692871 0 2147483391 4096 0 18446744071699207358 0 0 17 0 0 0 0 /proc/21562/statm: 63 31 24 9 0 22 0 [startup+0.142233 s] /proc/loadavg: 4.13 1.58 0.99 4/242 21562 /proc/meminfo: memFree=26612224/32951124 swapFree=67057920/67111528 [pid=21562] ppid=21560 vsize=6495376 CPUtime=0.13 cores=0,2 /proc/21562/stat : 21562 (java) S 21560 21562 26933 0 -1 4202496 25913 0 1 0 9 4 0 0 24 0 18 0 872306200 6651265024 25608 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/21562/statm: 1623844 25608 2016 9 0 1614582 0 Current children cumulated CPU time (s) 0.13 Current children cumulated vsize (KiB) 6495376 [startup+0.333303 s] /proc/loadavg: 4.13 1.58 0.99 4/242 21562 /proc/meminfo: memFree=26612224/32951124 swapFree=67057920/67111528 [pid=21562] ppid=21560 vsize=6432068 CPUtime=0.53 cores=0,2 /proc/21562/stat : 21562 (java) S 21560 21562 26933 0 -1 4202496 35589 0 1 0 48 5 0 0 24 0 18 0 872306200 6586437632 34725 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/21562/statm: 1608017 34729 2196 9 0 1598755 0 Current children cumulated CPU time (s) 0.53 Current children cumulated vsize (KiB) 6432068 [startup+0.420635 s] /proc/loadavg: 4.13 1.58 0.99 4/242 21562 /proc/meminfo: memFree=26612224/32951124 swapFree=67057920/67111528 [pid=21562] ppid=21560 vsize=6432068 CPUtime=0.61 cores=0,2 /proc/21562/stat : 21562 (java) S 21560 21562 26933 0 -1 4202496 41796 0 1 0 54 7 0 0 24 0 18 0 872306200 6586437632 40932 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/21562/statm: 1608017 40936 2196 9 0 1598755 0 Current children cumulated CPU time (s) 0.61 Current children cumulated vsize (KiB) 6432068 [startup+0.700575 s] /proc/loadavg: 4.13 1.58 0.99 4/242 21562 /proc/meminfo: memFree=26612224/32951124 swapFree=67057920/67111528 [pid=21562] ppid=21560 vsize=6432068 CPUtime=0.88 cores=0,2 /proc/21562/stat : 21562 (java) S 21560 21562 26933 0 -1 4202496 67003 0 1 0 78 10 0 0 24 0 18 0 872306200 6586437632 66139 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/21562/statm: 1608017 66139 2196 9 0 1598755 0 Current children cumulated CPU time (s) 0.88 Current children cumulated vsize (KiB) 6432068 [startup+1.50145 s] /proc/loadavg: 4.13 1.58 0.99 5/261 21760 /proc/meminfo: memFree=26185856/32951124 swapFree=67057920/67111528 [pid=21562] ppid=21560 vsize=6432068 CPUtime=1.68 cores=0,2 /proc/21562/stat : 21562 (java) S 21560 21562 26933 0 -1 4202496 150801 0 1 0 149 19 0 0 24 0 18 0 872306200 6586437632 149936 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/21562/statm: 1608017 149940 2197 9 0 1598755 0 [pid=21562/tid=21566] ppid=21560 vsize=6432068 CPUtime=1.47 cores=0,2 /proc/21562/task/21566/stat : 21566 (java) R 21560 21562 26933 0 -1 4202560 147473 0 1 0 129 18 0 0 18 0 18 0 872306201 6586437632 149942 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 46912505515302 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=21562/tid=21569] ppid=21560 vsize=6432068 CPUtime=0 cores=0,2 /proc/21562/task/21569/stat : 21569 (java) S 21560 21562 26933 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872306202 6586437632 149944 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 254273432473 0 4 0 16800975 18446604453930566784 0 0 -1 2 0 0 0 [pid=21562/tid=21570] ppid=21560 vsize=6432068 CPUtime=0 cores=0,2 /proc/21562/task/21570/stat : 21570 (java) S 21560 21562 26933 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 872306202 6586437632 149947 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 254273432473 0 4 0 16800975 18446604453930566784 0 0 -1 2 0 0 0 [pid=21562/tid=21571] ppid=21560 vsize=6432068 CPUtime=0 cores=0,2 /proc/21562/task/21571/stat : 21571 (java) S 21560 21562 26933 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872306202 6586437632 149949 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 254273432473 0 4 0 16800975 18446604453930566784 0 0 -1 2 0 0 0 [pid=21562/tid=21572] ppid=21560 vsize=6432068 CPUtime=0 cores=0,2 /proc/21562/task/21572/stat : 21572 (java) S 21560 21562 26933 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872306202 6586437632 149951 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 254273432473 0 4 0 16800975 18446604453930566784 0 0 -1 2 0 0 0 [pid=21562/tid=21573] ppid=21560 vsize=6432068 CPUtime=0 cores=0,2 /proc/21562/task/21573/stat : 21573 (java) S 21560 21562 26933 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872306202 6586437632 149954 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 254273432473 0 4 0 16800975 18446604453930566784 0 0 -1 2 0 0 0 [pid=21562/tid=21574] ppid=21560 vsize=6432068 CPUtime=0 cores=0,2 /proc/21562/task/21574/stat : 21574 (java) S 21560 21562 26933 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872306202 6586437632 149956 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 254273432473 0 4 0 16800975 18446604453930566784 0 0 -1 2 0 0 0 [pid=21562/tid=21575] ppid=21560 vsize=6432068 CPUtime=0 cores=0,2 /proc/21562/task/21575/stat : 21575 (java) S 21560 21562 26933 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872306202 6586437632 149959 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 254273432473 0 4 0 16800975 18446604453930566784 0 0 -1 2 0 0 0 [pid=21562/tid=21576] ppid=21560 vsize=6432068 CPUtime=0 cores=0,2 /proc/21562/task/21576/stat : 21576 (java) S 21560 21562 26933 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872306202 6586437632 149961 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 254273432473 0 4 0 16800975 18446604453930566784 0 0 -1 2 0 0 0 [pid=21562/tid=21579] ppid=21560 vsize=6432068 CPUtime=0 cores=0,2 /proc/21562/task/21579/stat : 21579 (java) S 21560 21562 26933 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 18 0 872306203 6586437632 149963 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 254273433088 0 0 0 16800975 18446604453930566784 0 0 -1 2 0 0 0 [pid=21562/tid=21580] ppid=21560 vsize=6432068 CPUtime=0 cores=0,2 /proc/21562/task/21580/stat : 21580 (java) S 21560 21562 26933 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 872306204 6586437632 149965 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 254273432473 0 4 0 16800975 18446604453930566784 0 0 -1 2 0 0 0 [pid=21562/tid=21581] ppid=21560 vsize=6432068 CPUtime=0 cores=0,2 /proc/21562/task/21581/stat : 21581 (java) S 21560 21562 26933 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 872306204 6586437632 149968 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 254273432473 0 4 0 16800975 18446604453930566784 0 0 -1 2 0 0 0 [pid=21562/tid=21584] ppid=21560 vsize=6432068 CPUtime=0 cores=0,2 /proc/21562/task/21584/stat : 21584 (java) S 21560 21562 26933 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872306206 6586437632 149970 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 254273440177 0 4 0 16800975 18446604453930566784 0 0 -1 2 0 0 0 [pid=21562/tid=21585] ppid=21560 vsize=6432068 CPUtime=0.07 cores=0,2 /proc/21562/task/21585/stat : 21585 (java) S 21560 21562 26933 0 -1 4202560 775 0 0 0 7 0 0 0 25 0 18 0 872306206 6586437632 149972 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 254273432473 0 4 0 16800975 18446604453930566784 0 0 -1 0 0 0 0 [pid=21562/tid=21586] ppid=21560 vsize=6432068 CPUtime=0.12 cores=0,2 /proc/21562/task/21586/stat : 21586 (java) S 21560 21562 26933 0 -1 4202560 1404 0 0 0 12 0 0 0 25 0 18 0 872306206 6586437632 149975 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 254273432473 0 4 0 16800975 18446604453930566784 0 0 -1 0 0 0 0 [pid=21562/tid=21587] ppid=21560 vsize=6432068 CPUtime=0 cores=0,2 /proc/21562/task/21587/stat : 21587 (java) S 21560 21562 26933 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872306206 6586437632 149976 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 254273432473 0 4 0 16800975 18446604453930566784 0 0 -1 2 0 0 0 [pid=21562/tid=21588] ppid=21560 vsize=6432068 CPUtime=0 cores=0,2 /proc/21562/task/21588/stat : 21588 (java) S 21560 21562 26933 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 872306206 6586437632 149978 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 254273433088 0 4 0 16800975 18446604453930566784 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 1.68 Current children cumulated vsize (KiB) 6432068 [startup+3.10118 s] /proc/loadavg: 4.13 1.58 0.99 5/260 21869 /proc/meminfo: memFree=25747784/32951124 swapFree=67057920/67111528 [pid=21562] ppid=21560 vsize=6432220 CPUtime=3.29 cores=0,2 /proc/21562/stat : 21562 (java) S 21560 21562 26933 0 -1 4202496 283650 0 1 0 294 35 0 0 24 0 18 0 872306200 6586593280 282785 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/21562/statm: 1608055 282788 2205 9 0 1598793 0 [pid=21562/tid=21566] ppid=21560 vsize=6432220 CPUtime=3.04 cores=0,2 /proc/21562/task/21566/stat : 21566 (java) R 21560 21562 26933 0 -1 4202560 280273 0 1 0 270 34 0 0 21 0 18 0 872306201 6586593280 282790 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 46912505576648 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=21562/tid=21569] ppid=21560 vsize=6432220 CPUtime=0 cores=0,2 /proc/21562/task/21569/stat : 21569 (java) S 21560 21562 26933 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872306202 6586593280 282792 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 254273432473 0 4 0 16800975 18446604453930566784 0 0 -1 2 0 0 0 [pid=21562/tid=21570] ppid=21560 vsize=6432220 CPUtime=0 cores=0,2 /proc/21562/task/21570/stat : 21570 (java) S 21560 21562 26933 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 872306202 6586593280 282793 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 254273432473 0 4 0 16800975 18446604453930566784 0 0 -1 2 0 0 0 [pid=21562/tid=21571] ppid=21560 vsize=6432220 CPUtime=0 cores=0,2 /proc/21562/task/21571/stat : 21571 (java) S 21560 21562 26933 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872306202 6586593280 282795 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 254273432473 0 4 0 16800975 18446604453930566784 0 0 -1 2 0 0 0 [pid=21562/tid=21572] ppid=21560 vsize=6432220 CPUtime=0 cores=0,2 /proc/21562/task/21572/stat : 21572 (java) S 21560 21562 26933 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872306202 6586593280 282797 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 254273432473 0 4 0 16800975 18446604453930566784 0 0 -1 2 0 0 0 [pid=21562/tid=21573] ppid=21560 vsize=6432220 CPUtime=0 cores=0,2 /proc/21562/task/21573/stat : 21573 (java) S 21560 21562 26933 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872306202 6586593280 282798 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 254273432473 0 4 0 16800975 18446604453930566784 0 0 -1 2 0 0 0 [pid=21562/tid=21574] ppid=21560 vsize=6432220 CPUtime=0 cores=0,2 /proc/21562/task/21574/stat : 21574 (java) S 21560 21562 26933 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872306202 6586593280 282800 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 254273432473 0 4 0 16800975 18446604453930566784 0 0 -1 2 0 0 0 [pid=21562/tid=21575] ppid=21560 vsize=6432220 CPUtime=0 cores=0,2 /proc/21562/task/21575/stat : 21575 (java) S 21560 21562 26933 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872306202 6586593280 282802 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 254273432473 0 4 0 16800975 18446604453930566784 0 0 -1 2 0 0 0 [pid=21562/tid=21576] ppid=21560 vsize=6432220 CPUtime=0 cores=0,2 /proc/21562/task/21576/stat : 21576 (java) S 21560 21562 26933 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872306202 6586593280 282804 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 254273432473 0 4 0 16800975 18446604453930566784 0 0 -1 2 0 0 0 [pid=21562/tid=21579] ppid=21560 vsize=6432220 CPUtime=0 cores=0,2 /proc/21562/task/21579/stat : 21579 (java) S 21560 21562 26933 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 18 0 872306203 6586593280 282805 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 254273433088 0 0 0 16800975 18446604453930566784 0 0 -1 2 0 0 0 [pid=21562/tid=21580] ppid=21560 vsize=6432220 CPUtime=0 cores=0,2 /proc/21562/task/21580/stat : 21580 (java) S 21560 21562 26933 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 872306204 6586593280 282807 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 254273432473 0 4 0 16800975 18446604453930566784 0 0 -1 2 0 0 0 [pid=21562/tid=21581] ppid=21560 vsize=6432220 CPUtime=0 cores=0,2 /proc/21562/task/21581/stat : 21581 (java) S 21560 21562 26933 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 872306204 6586593280 282809 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 254273432473 0 4 0 16800975 18446604453930566784 0 0 -1 2 0 0 0 [pid=21562/tid=21584] ppid=21560 vsize=6432220 CPUtime=0 cores=0,2 /proc/21562/task/21584/stat : 21584 (java) S 21560 21562 26933 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872306206 6586593280 282810 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 254273440177 0 4 0 16800975 18446604453930566784 0 0 -1 2 0 0 0 [pid=21562/tid=21585] ppid=21560 vsize=6432220 CPUtime=0.07 cores=0,2 /proc/21562/task/21585/stat : 21585 (java) S 21560 21562 26933 0 -1 4202560 775 0 0 0 7 0 0 0 25 0 18 0 872306206 6586593280 282812 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 254273432473 0 4 0 16800975 18446604453930566784 0 0 -1 0 0 0 0 [pid=21562/tid=21586] ppid=21560 vsize=6432220 CPUtime=0.15 cores=0,2 /proc/21562/task/21586/stat : 21586 (java) S 21560 21562 26933 0 -1 4202560 1452 0 0 0 15 0 0 0 18 0 18 0 872306206 6586593280 282814 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 254273432473 0 4 0 16800975 18446604453930566784 0 0 -1 0 0 0 0 [pid=21562/tid=21587] ppid=21560 vsize=6432220 CPUtime=0 cores=0,2 /proc/21562/task/21587/stat : 21587 (java) S 21560 21562 26933 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872306206 6586593280 282816 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 254273432473 0 4 0 16800975 18446604453930566784 0 0 -1 2 0 0 0 [pid=21562/tid=21588] ppid=21560 vsize=6432220 CPUtime=0 cores=0,2 /proc/21562/task/21588/stat : 21588 (java) S 21560 21562 26933 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 872306206 6586593280 282817 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 254273433088 0 4 0 16800975 18446604453930566784 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 3.29 Current children cumulated vsize (KiB) 6432220 [startup+6.30055 s] /proc/loadavg: 4.12 1.62 1.00 8/260 22236 /proc/meminfo: memFree=24966096/32951124 swapFree=67057920/67111528 [pid=21562] ppid=21560 vsize=6431668 CPUtime=7.47 cores=0,2 /proc/21562/stat : 21562 (java) S 21560 21562 26933 0 -1 4202496 527122 0 1 0 682 65 0 0 24 0 18 0 872306200 6586028032 523983 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/21562/statm: 1607917 523984 2225 9 0 1598655 0 [pid=21562/tid=21566] ppid=21560 vsize=6431668 CPUtime=5.46 cores=0,2 /proc/21562/task/21566/stat : 21566 (java) S 21560 21562 26933 0 -1 4202560 383985 0 1 0 501 45 0 0 18 0 18 0 872306201 6586028032 523985 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 254273432473 0 4 0 16800975 18446604453930566784 0 0 -1 2 0 0 0 [pid=21562/tid=21569] ppid=21560 vsize=6431668 CPUtime=0.31 cores=0,2 /proc/21562/task/21569/stat : 21569 (java) R 21560 21562 26933 0 -1 4202560 34572 0 0 0 27 4 0 0 18 0 18 0 872306202 6586028032 523987 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 47404995867788 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=21562/tid=21570] ppid=21560 vsize=6431668 CPUtime=0.72 cores=0,2 /proc/21562/task/21570/stat : 21570 (java) R 21560 21562 26933 0 -1 4202560 54103 0 0 0 66 6 0 0 18 0 18 0 872306202 6586028032 523988 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 47404994582209 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=21562/tid=21571] ppid=21560 vsize=6431668 CPUtime=0.19 cores=0,2 /proc/21562/task/21571/stat : 21571 (java) R 21560 21562 26933 0 -1 4202560 33897 0 0 0 15 4 0 0 18 0 18 0 872306202 6586028032 523989 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 47404995867788 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=21562/tid=21572] ppid=21560 vsize=6431668 CPUtime=0.1 cores=0,2 /proc/21562/task/21572/stat : 21572 (java) R 21560 21562 26933 0 -1 4202560 8528 0 0 0 9 1 0 0 18 0 18 0 872306202 6586028032 523990 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 47404996272925 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=21562/tid=21573] ppid=21560 vsize=6431668 CPUtime=0.09 cores=0,2 /proc/21562/task/21573/stat : 21573 (java) R 21560 21562 26933 0 -1 4202560 7850 0 0 0 8 1 0 0 18 0 18 0 872306202 6586028032 523992 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 47404999007148 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=21562/tid=21574] ppid=21560 vsize=6431668 CPUtime=0 cores=0,2 /proc/21562/task/21574/stat : 21574 (java) R 21560 21562 26933 0 -1 4202560 68 0 0 0 0 0 0 0 18 0 18 0 872306202 6586028032 523993 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 47404996272922 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=21562/tid=21575] ppid=21560 vsize=6431668 CPUtime=0 cores=0,2 /proc/21562/task/21575/stat : 21575 (java) R 21560 21562 26933 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 18 0 872306202 6586028032 523994 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 254273432473 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=21562/tid=21576] ppid=21560 vsize=6431668 CPUtime=0 cores=0,2 /proc/21562/task/21576/stat : 21576 (java) S 21560 21562 26933 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872306202 6586028032 523995 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 254273432473 0 4 0 16800975 18446604453930566784 0 0 -1 2 0 0 0 [pid=21562/tid=21579] ppid=21560 vsize=6431668 CPUtime=0 cores=0,2 /proc/21562/task/21579/stat : 21579 (java) S 21560 21562 26933 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 18 0 872306203 6586028032 523996 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 254273432473 0 0 0 16800975 18446604453930566784 0 0 -1 2 0 0 0 [pid=21562/tid=21580] ppid=21560 vsize=6431668 CPUtime=0 cores=0,2 /proc/21562/task/21580/stat : 21580 (java) S 21560 21562 26933 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 872306204 6586028032 523998 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 254273432473 0 4 0 16800975 18446604453930566784 0 0 -1 2 0 0 0 [pid=21562/tid=21581] ppid=21560 vsize=6431668 CPUtime=0 cores=0,2 /proc/21562/task/21581/stat : 21581 (java) S 21560 21562 26933 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 872306204 6586028032 523999 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 254273432473 0 4 0 16800975 18446604453930566784 0 0 -1 2 0 0 0 [pid=21562/tid=21584] ppid=21560 vsize=6431668 CPUtime=0 cores=0,2 /proc/21562/task/21584/stat : 21584 (java) S 21560 21562 26933 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872306206 6586028032 524000 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 254273440177 0 4 0 16800975 18446604453930566784 0 0 -1 2 0 0 0 [pid=21562/tid=21585] ppid=21560 vsize=6431668 CPUtime=0.25 cores=0,2 /proc/21562/task/21585/stat : 21585 (java) S 21560 21562 26933 0 -1 4202560 1351 0 0 0 25 0 0 0 15 0 18 0 872306206 6586028032 524001 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 254273432473 0 4 0 16800975 18446604453930566784 0 0 -1 0 0 0 0 [pid=21562/tid=21586] ppid=21560 vsize=6431668 CPUtime=0.28 cores=0,2 /proc/21562/task/21586/stat : 21586 (java) S 21560 21562 26933 0 -1 4202560 1621 0 0 0 28 0 0 0 15 0 18 0 872306206 6586028032 524002 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 254273432473 0 4 0 16800975 18446604453930566784 0 0 -1 0 0 0 0 [pid=21562/tid=21587] ppid=21560 vsize=6431668 CPUtime=0 cores=0,2 /proc/21562/task/21587/stat : 21587 (java) S 21560 21562 26933 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872306206 6586028032 524004 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 254273432473 0 4 0 16800975 18446604453930566784 0 0 -1 2 0 0 0 [pid=21562/tid=21588] ppid=21560 vsize=6431668 CPUtime=0 cores=0,2 /proc/21562/task/21588/stat : 21588 (java) S 21560 21562 26933 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 872306206 6586028032 524005 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 254273433088 0 4 0 16800975 18446604453930566784 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 7.47 Current children cumulated vsize (KiB) 6431668 [startup+12.7014 s] /proc/loadavg: 4.83 1.80 1.07 5/262 23381 /proc/meminfo: memFree=23876116/32951124 swapFree=67057920/67111528 [pid=21562] ppid=21560 vsize=6435220 CPUtime=15.27 cores=0,2 /proc/21562/stat : 21562 (java) S 21560 21562 26933 0 -1 4202496 694209 0 1 0 1441 86 0 0 24 0 19 0 872306200 6589665280 684319 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/21562/statm: 1608805 684319 2238 9 0 1599543 0 [pid=21562/tid=21566] ppid=21560 vsize=6435220 CPUtime=10.57 cores=0,2 ################ # More data... # ################ [pid=21562/tid=21571] ppid=21560 vsize=6445136 CPUtime=2.3 cores=0,2 /proc/21562/task/21571/stat : 21571 (java) S 21560 21562 26933 0 -1 4202560 81430 0 0 0 221 9 0 0 16 0 18 0 872306202 6599819264 865026 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 254273432473 0 4 0 16800975 18446604453930566784 0 0 -1 2 0 0 0 [pid=21562/tid=21572] ppid=21560 vsize=6445136 CPUtime=1.9 cores=0,2 /proc/21562/task/21572/stat : 21572 (java) S 21560 21562 26933 0 -1 4202560 38289 0 0 0 186 4 0 0 15 0 18 0 872306202 6599819264 865026 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 254273432473 0 4 0 16800975 18446604453930566784 0 0 -1 0 0 0 0 [pid=21562/tid=21573] ppid=21560 vsize=6445136 CPUtime=2.29 cores=0,2 /proc/21562/task/21573/stat : 21573 (java) S 21560 21562 26933 0 -1 4202560 96086 0 0 0 219 10 0 0 16 0 18 0 872306202 6599819264 865026 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 254273432473 0 4 0 16800975 18446604453930566784 0 0 -1 2 0 0 0 [pid=21562/tid=21574] ppid=21560 vsize=6445136 CPUtime=1.31 cores=0,2 /proc/21562/task/21574/stat : 21574 (java) S 21560 21562 26933 0 -1 4202560 13210 0 0 0 130 1 0 0 15 0 18 0 872306202 6599819264 865026 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 254273432473 0 4 0 16800975 18446604453930566784 0 0 -1 0 0 0 0 [pid=21562/tid=21575] ppid=21560 vsize=6445136 CPUtime=2.08 cores=0,2 /proc/21562/task/21575/stat : 21575 (java) S 21560 21562 26933 0 -1 4202560 33454 0 0 0 204 4 0 0 16 0 18 0 872306202 6599819264 865026 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 254273432473 0 4 0 16800975 18446604453930566784 0 0 -1 2 0 0 0 [pid=21562/tid=21576] ppid=21560 vsize=6445136 CPUtime=1.39 cores=0,2 /proc/21562/task/21576/stat : 21576 (java) S 21560 21562 26933 0 -1 4202560 9444 0 0 0 138 1 0 0 16 0 18 0 872306202 6599819264 865026 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 254273432473 0 4 0 16800975 18446604453930566784 0 0 -1 0 0 0 0 [pid=21562/tid=21579] ppid=21560 vsize=6445136 CPUtime=0.01 cores=0,2 /proc/21562/task/21579/stat : 21579 (java) S 21560 21562 26933 0 -1 4202560 36 0 0 0 1 0 0 0 15 0 18 0 872306203 6599819264 865026 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 254273433088 0 0 0 16800975 18446604453930566784 0 0 -1 2 0 0 0 [pid=21562/tid=21580] ppid=21560 vsize=6445136 CPUtime=0 cores=0,2 /proc/21562/task/21580/stat : 21580 (java) S 21560 21562 26933 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 18 0 872306204 6599819264 865026 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 254273432473 0 4 0 16800975 18446604453930566784 0 0 -1 0 0 0 0 [pid=21562/tid=21581] ppid=21560 vsize=6445136 CPUtime=0 cores=0,2 /proc/21562/task/21581/stat : 21581 (java) S 21560 21562 26933 0 -1 4202560 75 0 0 0 0 0 0 0 15 0 18 0 872306204 6599819264 865026 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 254273432473 0 4 0 16800975 18446604453930566784 0 0 -1 0 0 0 0 [pid=21562/tid=21584] ppid=21560 vsize=6445136 CPUtime=0 cores=0,2 /proc/21562/task/21584/stat : 21584 (java) S 21560 21562 26933 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872306206 6599819264 865026 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 254273440177 0 4 0 16800975 18446604453930566784 0 0 -1 2 0 0 0 [pid=21562/tid=21585] ppid=21560 vsize=6445136 CPUtime=0.28 cores=0,2 /proc/21562/task/21585/stat : 21585 (java) S 21560 21562 26933 0 -1 4202560 1353 0 0 0 28 0 0 0 15 0 18 0 872306206 6599819264 865026 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 254273432473 0 4 0 16800975 18446604453930566784 0 0 -1 0 0 0 0 [pid=21562/tid=21586] ppid=21560 vsize=6445136 CPUtime=0.67 cores=0,2 /proc/21562/task/21586/stat : 21586 (java) S 21560 21562 26933 0 -1 4202560 6697 0 0 0 66 1 0 0 15 0 18 0 872306206 6599819264 865026 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 254273432473 0 4 0 16800975 18446604453930566784 0 0 -1 0 0 0 0 [pid=21562/tid=21587] ppid=21560 vsize=6445136 CPUtime=0 cores=0,2 /proc/21562/task/21587/stat : 21587 (java) S 21560 21562 26933 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872306206 6599819264 865026 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 254273432473 0 4 0 16800975 18446604453930566784 0 0 -1 2 0 0 0 [pid=21562/tid=21588] ppid=21560 vsize=6445136 CPUtime=0 cores=0,2 /proc/21562/task/21588/stat : 21588 (java) S 21560 21562 26933 0 -1 4202560 44 0 0 0 0 0 0 0 15 0 18 0 872306206 6599819264 865026 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 254273433088 0 4 0 16800975 18446604453930566784 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 758.2 Current children cumulated vsize (KiB) 6445136 [startup+749.901 s] /proc/loadavg: 4.11 4.03 2.83 5/261 3481 /proc/meminfo: memFree=20864456/32951124 swapFree=67057920/67111528 [pid=21562] ppid=21560 vsize=6445136 CPUtime=759 cores=0,2 /proc/21562/stat : 21562 (java) S 21560 21562 26933 0 -1 4202496 877141 0 1 0 75785 115 0 0 24 0 18 0 872306200 6599819264 865026 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/21562/statm: 1611284 865026 2241 9 0 1602022 0 [pid=21562/tid=21566] ppid=21560 vsize=6445136 CPUtime=740.84 cores=0,2 /proc/21562/task/21566/stat : 21566 (java) R 21560 21562 26933 0 -1 4202560 391585 0 1 0 74034 50 0 0 25 0 18 0 872306201 6599819264 865026 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 46912505740480 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=21562/tid=21569] ppid=21560 vsize=6445136 CPUtime=2.35 cores=0,2 /proc/21562/task/21569/stat : 21569 (java) S 21560 21562 26933 0 -1 4202560 72226 0 0 0 226 9 0 0 15 0 18 0 872306202 6599819264 865026 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 254273432473 0 4 0 16800975 18446604453930566784 0 0 -1 0 0 0 0 [pid=21562/tid=21570] ppid=21560 vsize=6445136 CPUtime=3.41 cores=0,2 /proc/21562/task/21570/stat : 21570 (java) S 21560 21562 26933 0 -1 4202560 131998 0 0 0 324 17 0 0 16 0 18 0 872306202 6599819264 865026 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 254273432473 0 4 0 16800975 18446604453930566784 0 0 -1 0 0 0 0 [pid=21562/tid=21571] ppid=21560 vsize=6445136 CPUtime=2.3 cores=0,2 /proc/21562/task/21571/stat : 21571 (java) S 21560 21562 26933 0 -1 4202560 81430 0 0 0 221 9 0 0 16 0 18 0 872306202 6599819264 865026 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 254273432473 0 4 0 16800975 18446604453930566784 0 0 -1 2 0 0 0 [pid=21562/tid=21572] ppid=21560 vsize=6445136 CPUtime=1.9 cores=0,2 /proc/21562/task/21572/stat : 21572 (java) S 21560 21562 26933 0 -1 4202560 38289 0 0 0 186 4 0 0 15 0 18 0 872306202 6599819264 865026 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 254273432473 0 4 0 16800975 18446604453930566784 0 0 -1 0 0 0 0 [pid=21562/tid=21573] ppid=21560 vsize=6445136 CPUtime=2.29 cores=0,2 /proc/21562/task/21573/stat : 21573 (java) S 21560 21562 26933 0 -1 4202560 96086 0 0 0 219 10 0 0 16 0 18 0 872306202 6599819264 865026 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 254273432473 0 4 0 16800975 18446604453930566784 0 0 -1 2 0 0 0 [pid=21562/tid=21574] ppid=21560 vsize=6445136 CPUtime=1.31 cores=0,2 /proc/21562/task/21574/stat : 21574 (java) S 21560 21562 26933 0 -1 4202560 13210 0 0 0 130 1 0 0 15 0 18 0 872306202 6599819264 865026 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 254273432473 0 4 0 16800975 18446604453930566784 0 0 -1 0 0 0 0 [pid=21562/tid=21575] ppid=21560 vsize=6445136 CPUtime=2.08 cores=0,2 /proc/21562/task/21575/stat : 21575 (java) S 21560 21562 26933 0 -1 4202560 33454 0 0 0 204 4 0 0 16 0 18 0 872306202 6599819264 865026 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 254273432473 0 4 0 16800975 18446604453930566784 0 0 -1 2 0 0 0 [pid=21562/tid=21576] ppid=21560 vsize=6445136 CPUtime=1.39 cores=0,2 /proc/21562/task/21576/stat : 21576 (java) S 21560 21562 26933 0 -1 4202560 9444 0 0 0 138 1 0 0 16 0 18 0 872306202 6599819264 865026 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 254273432473 0 4 0 16800975 18446604453930566784 0 0 -1 0 0 0 0 [pid=21562/tid=21579] ppid=21560 vsize=6445136 CPUtime=0.01 cores=0,2 /proc/21562/task/21579/stat : 21579 (java) S 21560 21562 26933 0 -1 4202560 36 0 0 0 1 0 0 0 15 0 18 0 872306203 6599819264 865026 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 254273433088 0 0 0 16800975 18446604453930566784 0 0 -1 2 0 0 0 [pid=21562/tid=21580] ppid=21560 vsize=6445136 CPUtime=0 cores=0,2 /proc/21562/task/21580/stat : 21580 (java) S 21560 21562 26933 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 18 0 872306204 6599819264 865026 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 254273432473 0 4 0 16800975 18446604453930566784 0 0 -1 0 0 0 0 [pid=21562/tid=21581] ppid=21560 vsize=6445136 CPUtime=0 cores=0,2 /proc/21562/task/21581/stat : 21581 (java) S 21560 21562 26933 0 -1 4202560 75 0 0 0 0 0 0 0 15 0 18 0 872306204 6599819264 865026 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 254273432473 0 4 0 16800975 18446604453930566784 0 0 -1 0 0 0 0 [pid=21562/tid=21584] ppid=21560 vsize=6445136 CPUtime=0 cores=0,2 /proc/21562/task/21584/stat : 21584 (java) S 21560 21562 26933 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872306206 6599819264 865026 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 254273440177 0 4 0 16800975 18446604453930566784 0 0 -1 2 0 0 0 [pid=21562/tid=21585] ppid=21560 vsize=6445136 CPUtime=0.28 cores=0,2 /proc/21562/task/21585/stat : 21585 (java) S 21560 21562 26933 0 -1 4202560 1353 0 0 0 28 0 0 0 15 0 18 0 872306206 6599819264 865026 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 254273432473 0 4 0 16800975 18446604453930566784 0 0 -1 0 0 0 0 [pid=21562/tid=21586] ppid=21560 vsize=6445136 CPUtime=0.67 cores=0,2 /proc/21562/task/21586/stat : 21586 (java) S 21560 21562 26933 0 -1 4202560 6697 0 0 0 66 1 0 0 15 0 18 0 872306206 6599819264 865026 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 254273432473 0 4 0 16800975 18446604453930566784 0 0 -1 0 0 0 0 [pid=21562/tid=21587] ppid=21560 vsize=6445136 CPUtime=0 cores=0,2 /proc/21562/task/21587/stat : 21587 (java) S 21560 21562 26933 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872306206 6599819264 865026 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 254273432473 0 4 0 16800975 18446604453930566784 0 0 -1 2 0 0 0 [pid=21562/tid=21588] ppid=21560 vsize=6445136 CPUtime=0 cores=0,2 /proc/21562/task/21588/stat : 21588 (java) S 21560 21562 26933 0 -1 4202560 44 0 0 0 0 0 0 0 15 0 18 0 872306206 6599819264 865026 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 254273433088 0 4 0 16800975 18446604453930566784 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 759 Current children cumulated vsize (KiB) 6445136 [startup+750.701 s] /proc/loadavg: 4.11 4.03 2.83 5/261 3489 /proc/meminfo: memFree=20864456/32951124 swapFree=67057920/67111528 [pid=21562] ppid=21560 vsize=6445136 CPUtime=759.8 cores=0,2 /proc/21562/stat : 21562 (java) S 21560 21562 26933 0 -1 4202496 877141 0 1 0 75865 115 0 0 24 0 18 0 872306200 6599819264 865026 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/21562/statm: 1611284 865026 2241 9 0 1602022 0 [pid=21562/tid=21566] ppid=21560 vsize=6445136 CPUtime=741.64 cores=0,2 /proc/21562/task/21566/stat : 21566 (java) R 21560 21562 26933 0 -1 4202560 391585 0 1 0 74114 50 0 0 25 0 18 0 872306201 6599819264 865026 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 46912505740449 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=21562/tid=21569] ppid=21560 vsize=6445136 CPUtime=2.35 cores=0,2 /proc/21562/task/21569/stat : 21569 (java) S 21560 21562 26933 0 -1 4202560 72226 0 0 0 226 9 0 0 15 0 18 0 872306202 6599819264 865026 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 254273432473 0 4 0 16800975 18446604453930566784 0 0 -1 0 0 0 0 [pid=21562/tid=21570] ppid=21560 vsize=6445136 CPUtime=3.41 cores=0,2 /proc/21562/task/21570/stat : 21570 (java) S 21560 21562 26933 0 -1 4202560 131998 0 0 0 324 17 0 0 16 0 18 0 872306202 6599819264 865026 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 254273432473 0 4 0 16800975 18446604453930566784 0 0 -1 0 0 0 0 [pid=21562/tid=21571] ppid=21560 vsize=6445136 CPUtime=2.3 cores=0,2 /proc/21562/task/21571/stat : 21571 (java) S 21560 21562 26933 0 -1 4202560 81430 0 0 0 221 9 0 0 16 0 18 0 872306202 6599819264 865026 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 254273432473 0 4 0 16800975 18446604453930566784 0 0 -1 2 0 0 0 [pid=21562/tid=21572] ppid=21560 vsize=6445136 CPUtime=1.9 cores=0,2 /proc/21562/task/21572/stat : 21572 (java) S 21560 21562 26933 0 -1 4202560 38289 0 0 0 186 4 0 0 15 0 18 0 872306202 6599819264 865026 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 254273432473 0 4 0 16800975 18446604453930566784 0 0 -1 0 0 0 0 [pid=21562/tid=21573] ppid=21560 vsize=6445136 CPUtime=2.29 cores=0,2 /proc/21562/task/21573/stat : 21573 (java) S 21560 21562 26933 0 -1 4202560 96086 0 0 0 219 10 0 0 16 0 18 0 872306202 6599819264 865026 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 254273432473 0 4 0 16800975 18446604453930566784 0 0 -1 2 0 0 0 [pid=21562/tid=21574] ppid=21560 vsize=6445136 CPUtime=1.31 cores=0,2 /proc/21562/task/21574/stat : 21574 (java) S 21560 21562 26933 0 -1 4202560 13210 0 0 0 130 1 0 0 15 0 18 0 872306202 6599819264 865026 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 254273432473 0 4 0 16800975 18446604453930566784 0 0 -1 0 0 0 0 [pid=21562/tid=21575] ppid=21560 vsize=6445136 CPUtime=2.08 cores=0,2 /proc/21562/task/21575/stat : 21575 (java) S 21560 21562 26933 0 -1 4202560 33454 0 0 0 204 4 0 0 16 0 18 0 872306202 6599819264 865026 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 254273432473 0 4 0 16800975 18446604453930566784 0 0 -1 2 0 0 0 [pid=21562/tid=21576] ppid=21560 vsize=6445136 CPUtime=1.39 cores=0,2 /proc/21562/task/21576/stat : 21576 (java) S 21560 21562 26933 0 -1 4202560 9444 0 0 0 138 1 0 0 16 0 18 0 872306202 6599819264 865026 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 254273432473 0 4 0 16800975 18446604453930566784 0 0 -1 0 0 0 0 [pid=21562/tid=21579] ppid=21560 vsize=6445136 CPUtime=0.01 cores=0,2 /proc/21562/task/21579/stat : 21579 (java) S 21560 21562 26933 0 -1 4202560 36 0 0 0 1 0 0 0 15 0 18 0 872306203 6599819264 865026 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 254273433088 0 0 0 16800975 18446604453930566784 0 0 -1 2 0 0 0 [pid=21562/tid=21580] ppid=21560 vsize=6445136 CPUtime=0 cores=0,2 /proc/21562/task/21580/stat : 21580 (java) S 21560 21562 26933 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 18 0 872306204 6599819264 865026 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 254273432473 0 4 0 16800975 18446604453930566784 0 0 -1 0 0 0 0 [pid=21562/tid=21581] ppid=21560 vsize=6445136 CPUtime=0 cores=0,2 /proc/21562/task/21581/stat : 21581 (java) S 21560 21562 26933 0 -1 4202560 75 0 0 0 0 0 0 0 15 0 18 0 872306204 6599819264 865026 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 254273432473 0 4 0 16800975 18446604453930566784 0 0 -1 0 0 0 0 [pid=21562/tid=21584] ppid=21560 vsize=6445136 CPUtime=0 cores=0,2 /proc/21562/task/21584/stat : 21584 (java) S 21560 21562 26933 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872306206 6599819264 865026 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 254273440177 0 4 0 16800975 18446604453930566784 0 0 -1 2 0 0 0 [pid=21562/tid=21585] ppid=21560 vsize=6445136 CPUtime=0.28 cores=0,2 /proc/21562/task/21585/stat : 21585 (java) S 21560 21562 26933 0 -1 4202560 1353 0 0 0 28 0 0 0 15 0 18 0 872306206 6599819264 865026 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 254273432473 0 4 0 16800975 18446604453930566784 0 0 -1 0 0 0 0 [pid=21562/tid=21586] ppid=21560 vsize=6445136 CPUtime=0.67 cores=0,2 /proc/21562/task/21586/stat : 21586 (java) S 21560 21562 26933 0 -1 4202560 6697 0 0 0 66 1 0 0 15 0 18 0 872306206 6599819264 865026 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 254273432473 0 4 0 16800975 18446604453930566784 0 0 -1 0 0 0 0 [pid=21562/tid=21587] ppid=21560 vsize=6445136 CPUtime=0 cores=0,2 /proc/21562/task/21587/stat : 21587 (java) S 21560 21562 26933 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872306206 6599819264 865026 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 254273432473 0 4 0 16800975 18446604453930566784 0 0 -1 2 0 0 0 [pid=21562/tid=21588] ppid=21560 vsize=6445136 CPUtime=0 cores=0,2 /proc/21562/task/21588/stat : 21588 (java) S 21560 21562 26933 0 -1 4202560 44 0 0 0 0 0 0 0 15 0 18 0 872306206 6599819264 865026 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 254273433088 0 4 0 16800975 18446604453930566784 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 759.8 Current children cumulated vsize (KiB) 6445136 [startup+750.901 s] /proc/loadavg: 4.11 4.03 2.83 5/261 3489 /proc/meminfo: memFree=20864456/32951124 swapFree=67057920/67111528 [pid=21562] ppid=21560 vsize=6445136 CPUtime=760 cores=0,2 /proc/21562/stat : 21562 (java) S 21560 21562 26933 0 -1 4202496 877141 0 1 0 75885 115 0 0 24 0 18 0 872306200 6599819264 865026 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/21562/statm: 1611284 865026 2241 9 0 1602022 0 [pid=21562/tid=21566] ppid=21560 vsize=6445136 CPUtime=741.84 cores=0,2 /proc/21562/task/21566/stat : 21566 (java) R 21560 21562 26933 0 -1 4202560 391585 0 1 0 74134 50 0 0 25 0 18 0 872306201 6599819264 865026 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 46912505740489 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=21562/tid=21569] ppid=21560 vsize=6445136 CPUtime=2.35 cores=0,2 /proc/21562/task/21569/stat : 21569 (java) S 21560 21562 26933 0 -1 4202560 72226 0 0 0 226 9 0 0 15 0 18 0 872306202 6599819264 865026 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 254273432473 0 4 0 16800975 18446604453930566784 0 0 -1 0 0 0 0 [pid=21562/tid=21570] ppid=21560 vsize=6445136 CPUtime=3.41 cores=0,2 /proc/21562/task/21570/stat : 21570 (java) S 21560 21562 26933 0 -1 4202560 131998 0 0 0 324 17 0 0 16 0 18 0 872306202 6599819264 865026 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 254273432473 0 4 0 16800975 18446604453930566784 0 0 -1 0 0 0 0 [pid=21562/tid=21571] ppid=21560 vsize=6445136 CPUtime=2.3 cores=0,2 /proc/21562/task/21571/stat : 21571 (java) S 21560 21562 26933 0 -1 4202560 81430 0 0 0 221 9 0 0 16 0 18 0 872306202 6599819264 865026 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 254273432473 0 4 0 16800975 18446604453930566784 0 0 -1 2 0 0 0 [pid=21562/tid=21572] ppid=21560 vsize=6445136 CPUtime=1.9 cores=0,2 /proc/21562/task/21572/stat : 21572 (java) S 21560 21562 26933 0 -1 4202560 38289 0 0 0 186 4 0 0 15 0 18 0 872306202 6599819264 865026 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 254273432473 0 4 0 16800975 18446604453930566784 0 0 -1 0 0 0 0 [pid=21562/tid=21573] ppid=21560 vsize=6445136 CPUtime=2.29 cores=0,2 /proc/21562/task/21573/stat : 21573 (java) S 21560 21562 26933 0 -1 4202560 96086 0 0 0 219 10 0 0 16 0 18 0 872306202 6599819264 865026 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 254273432473 0 4 0 16800975 18446604453930566784 0 0 -1 2 0 0 0 [pid=21562/tid=21574] ppid=21560 vsize=6445136 CPUtime=1.31 cores=0,2 /proc/21562/task/21574/stat : 21574 (java) S 21560 21562 26933 0 -1 4202560 13210 0 0 0 130 1 0 0 15 0 18 0 872306202 6599819264 865026 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 254273432473 0 4 0 16800975 18446604453930566784 0 0 -1 0 0 0 0 [pid=21562/tid=21575] ppid=21560 vsize=6445136 CPUtime=2.08 cores=0,2 /proc/21562/task/21575/stat : 21575 (java) S 21560 21562 26933 0 -1 4202560 33454 0 0 0 204 4 0 0 16 0 18 0 872306202 6599819264 865026 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 254273432473 0 4 0 16800975 18446604453930566784 0 0 -1 2 0 0 0 [pid=21562/tid=21576] ppid=21560 vsize=6445136 CPUtime=1.39 cores=0,2 /proc/21562/task/21576/stat : 21576 (java) S 21560 21562 26933 0 -1 4202560 9444 0 0 0 138 1 0 0 16 0 18 0 872306202 6599819264 865026 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 254273432473 0 4 0 16800975 18446604453930566784 0 0 -1 0 0 0 0 [pid=21562/tid=21579] ppid=21560 vsize=6445136 CPUtime=0.01 cores=0,2 /proc/21562/task/21579/stat : 21579 (java) S 21560 21562 26933 0 -1 4202560 36 0 0 0 1 0 0 0 15 0 18 0 872306203 6599819264 865026 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 254273433088 0 0 0 16800975 18446604453930566784 0 0 -1 2 0 0 0 [pid=21562/tid=21580] ppid=21560 vsize=6445136 CPUtime=0 cores=0,2 /proc/21562/task/21580/stat : 21580 (java) S 21560 21562 26933 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 18 0 872306204 6599819264 865026 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 254273432473 0 4 0 16800975 18446604453930566784 0 0 -1 0 0 0 0 [pid=21562/tid=21581] ppid=21560 vsize=6445136 CPUtime=0 cores=0,2 /proc/21562/task/21581/stat : 21581 (java) S 21560 21562 26933 0 -1 4202560 75 0 0 0 0 0 0 0 15 0 18 0 872306204 6599819264 865026 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 254273432473 0 4 0 16800975 18446604453930566784 0 0 -1 0 0 0 0 [pid=21562/tid=21584] ppid=21560 vsize=6445136 CPUtime=0 cores=0,2 /proc/21562/task/21584/stat : 21584 (java) S 21560 21562 26933 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872306206 6599819264 865026 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 254273440177 0 4 0 16800975 18446604453930566784 0 0 -1 2 0 0 0 [pid=21562/tid=21585] ppid=21560 vsize=6445136 CPUtime=0.28 cores=0,2 /proc/21562/task/21585/stat : 21585 (java) S 21560 21562 26933 0 -1 4202560 1353 0 0 0 28 0 0 0 15 0 18 0 872306206 6599819264 865026 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 254273432473 0 4 0 16800975 18446604453930566784 0 0 -1 0 0 0 0 [pid=21562/tid=21586] ppid=21560 vsize=6445136 CPUtime=0.67 cores=0,2 /proc/21562/task/21586/stat : 21586 (java) S 21560 21562 26933 0 -1 4202560 6697 0 0 0 66 1 0 0 15 0 18 0 872306206 6599819264 865026 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 254273432473 0 4 0 16800975 18446604453930566784 0 0 -1 0 0 0 0 [pid=21562/tid=21587] ppid=21560 vsize=6445136 CPUtime=0 cores=0,2 /proc/21562/task/21587/stat : 21587 (java) S 21560 21562 26933 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872306206 6599819264 865026 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 254273432473 0 4 0 16800975 18446604453930566784 0 0 -1 2 0 0 0 [pid=21562/tid=21588] ppid=21560 vsize=6445136 CPUtime=0 cores=0,2 /proc/21562/task/21588/stat : 21588 (java) S 21560 21562 26933 0 -1 4202560 44 0 0 0 0 0 0 0 15 0 18 0 872306206 6599819264 865026 33554432000 1073741824 1073778376 140734244109584 18446744073709551615 254273433088 0 4 0 16800975 18446604453930566784 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 760 Current children cumulated vsize (KiB) 6445136 [startup+751.001 s] /proc/loadavg: 4.11 4.03 2.83 5/261 3489 /proc/meminfo: memFree=20864456/32951124 swapFree=67057920/67111528 [pid=21562] ppid=21560 vsize=0 CPUtime=760.1 cores=0,2 /proc/21562/stat : 21562 (java) Z 21560 21562 26933 0 -1 4203548 877145 0 1 0 75888 122 0 0 18 0 2 0 872306200 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/21562/statm: 0 0 0 0 0 0 0 [pid=21562/tid=21566] ppid=21560 vsize=0 CPUtime=741.94 cores=0,2 /proc/21562/task/21566/stat : 21566 (java) R 21560 21562 26933 0 -1 4203588 391588 0 1 0 74137 57 0 0 25 0 2 0 872306201 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 760.1 Current children cumulated vsize (KiB) 0 Child status: 20 Real time (s): 751.071 CPU time (s): 760.18 CPU user time (s): 758.888 CPU system time (s): 1.2928 CPU usage (%): 101.213 Max. virtual memory (cumulated for all children) (KiB): 6495376 getrusage(RUSAGE_CHILDREN,...) data: user time used= 758.888 system time used= 1.2928 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 877145 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= 21264 involuntary context switches= 14996 runsolver used 1.34879 second user time and 2.84157 second system time The end
Begin job on node140 at 2011-06-11 15:28:29 IDJOB=3493256 IDBENCH=89286 IDSOLVER=1972 FILE ID=node140/3493256-1307798907 RUNJOBID= node140-1307798794-26951 PBS_JOBID= 13551008 Free space on /tmp= 73760 MiB SOLVER NAME= SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 BENCH NAME= SAT11/mus/marques-silva/abstraction-refinement-intel/edn_5371_10.cnf_0.46000000.unsat.cnf COMMAND LINE= java -Xms6000m -Xmx6000m -jar sat4j-mus-v20110206.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3493256-1307798907/watcher-3493256-1307798907 -o /tmp/evaluation-result-3493256-1307798907/solver-3493256-1307798907 -C 1800 -W 1850 -M 7680 java -Xms6000m -Xmx6000m -jar sat4j-mus-v20110206.jar HOME/instance-3493256-1307798907.cnf TIME LIMIT= 1800 seconds MEMORY LIMIT= 7680 MiB NBCORE= 2 MD5SUM BENCH= 50f5ff504c1e52e56f4f1f592a1be4bc RANDOM SEED=1665032978 node140.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 : 5226.14 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.75 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.77 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.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.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.74 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.75 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: 26612644 kB Buffers: 312060 kB Cached: 1095564 kB SwapCached: 7060 kB Active: 5384296 kB Inactive: 742300 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 26612644 kB SwapTotal: 67111528 kB SwapFree: 67057920 kB Dirty: 47260 kB Writeback: 0 kB AnonPages: 4716668 kB Mapped: 21628 kB Slab: 137596 kB PageTables: 14908 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 19034332 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73736 MiB End job on node140 at 2011-06-11 15:41:00