| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 | UNSAT | 45.0971 | 43.9317 |
| Name | mus/marques-silva/abstraction-refinement-intel/ edn_20403_8.cnf_0.03000000.unsat.cnf |
| MD5SUM | 641e5b8b9b565f245ebcd79ffabd9f30 |
| Bench Category | MUS (MUS) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 0.107982 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 48217 |
| Number of clauses | 136878 |
| Sum of the clauses size | 316733 |
| Maximum clause length | 3 |
| Minimum clause length | 1 |
| Number of clauses of size 1 | 392 |
| Number of clauses of size 2 | 93117 |
| Number of clauses of size 3 | 43369 |
| Number of clauses of size 4 | 0 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 0 |
0.00/0.07 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.00/0.07 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.07 c See www.sat4j.org for details. 0.00/0.07 c version 2.3.0.v20110206 0.00/0.07 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.07 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.07 c java.vm.version 19.1-b02 0.00/0.07 c java.vm.vendor Sun Microsystems Inc. 0.00/0.07 c sun.arch.data.model 64 0.00/0.07 c java.version 1.6.0_24 0.00/0.07 c os.name Linux 0.00/0.07 c os.version 2.6.18-164.el5 0.00/0.07 c os.arch amd64 0.00/0.07 c Free memory 5997854704 0.00/0.07 c Max memory 6029312000 0.00/0.07 c Total memory 6029312000 0.00/0.07 c Number of processors 8 0.00/0.09 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-3493236-1307798826.cnf 0.00/0.10 c reading problem ... 0.46/0.35 c ... done. Wall clock time 0.253s. 0.46/0.35 c #vars 185095 0.46/0.35 c #constraints 136878 0.46/0.35 c constraints type 0.46/0.35 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 136486 0.46/0.35 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 392 0.78/0.58 c Unsat detection wall clock time (in seconds) : 0.479 0.78/0.58 c Size of initial unsat subformula: 395 0.78/0.58 c Computing MUS ... 0.78/0.58 c initial unsat core 48167[?] 182886[?] 782[?] -48166[?] 182885[?] -257[?] -48167[?] 182879[?] 783[?] 48166[?] 182878[?] -782[?] 182876[?] -17244[?] 36238[?] 180423[?] -26351[?] 180421[?] -39458[?] 179951[?] 36655[?] 39458[?] 179950[?] -8102[?] 8037[?] 179234[?] -8037[?] 17138[?] 179232[?] -17155[?] 26245[?] 179230[?] -26262[?] 179228[?] -8111[?] 8048[?] 179227[?] -8048[?] 17157[?] 179225[?] -17170[?] 26264[?] 179223[?] -26277[?] 179221[?] -8120[?] 8059[?] 179220[?] -8059[?] 17172[?] 179218[?] -17185[?] 26279[?] 179216[?] -26292[?] 179214[?] -8168[?] 8075[?] 179213[?] -8075[?] 17187[?] 179211[?] -17195[?] 26294[?] 179209[?] -26302[?] 179207[?] -8147[?] 8071[?] 179206[?] -8071[?] 17196[?] 179204[?] -17206[?] 26303[?] 179202[?] -26313[?] 179200[?] 8170[?] 179199[?] -8033[?] 8033[?] 179197[?] 17210[?] 17151[?] 179195[?] 26317[?] -26258[?] 179193[?] 8173[?] 179192[?] 17334[?] -17334[?] 179190[?] 17215[?] 17214[?] 179188[?] 26322[?] -26321[?] 179186[?] 8176[?] -8077[?] 179185[?] 8077[?] 17221[?] 179183[?] 17220[?] 179181[?] 26328[?] -26327[?] 179179[?] 8179[?] -17339[?] 179178[?] 17339[?] 17226[?] 179176[?] 17225[?] 26333[?] 179174[?] -26332[?] 179172[?] 8182[?] -17342[?] 179171[?] 17342[?] 17231[?] 179169[?] 17230[?] 26338[?] 179167[?] -26337[?] 179165[?] 8185[?] 17345[?] 179164[?] -17345[?] 17236[?] 179162[?] 17245[?] 26343[?] 179160[?] -26352[?] 179158[?] -8186[?] -17346[?] 179157[?] 17346[?] 17246[?] 179155[?] -17235[?] 26353[?] 179153[?] -26342[?] 179151[?] 39222[?] -43000[?] 179106[?] 39239[?] 179105[?] 39224[?] -43002[?] 179069[?] 39241[?] 179068[?] 39077[?] 39078[?] 178996[?] -39083[?] 178994[?] -39120[?] 178983[?] -39150[?] 178972[?] -39163[?] 39165[?] 178963[?] -39176[?] 178961[?] -39205[?] 178950[?] 7661[?] 39225[?] 178941[?] -16868[?] 178939[?] 44528[?] 169219[?] 39176[?] 44527[?] -44528[?] 169216[?] 44526[?] -44527[?] 169213[?] -39201[?] -44526[?] 39083[?] 169209[?] 43002[?] 164623[?] -39241[?] 43000[?] 164617[?] -39239[?] 29059[?] 36662[?] 164538[?] 42736[?] 39163[?] 163704[?] 42735[?] -42736[?] 163701[?] 42734[?] -42735[?] 163698[?] -39186[?] -39077[?] -42734[?] 163694[?] 41321[?] 36662[?] 159443[?] 10661[?] -41321[?] 159440[?] 41210[?] -39224[?] 159108[?] -41209[?] 257[?] -41210[?] 159103[?] 41208[?] -39222[?] 159102[?] -6[?] 41209[?] -41208[?] 159097[?] -39240[?] 782[?] -39241[?] 153342[?] -264[?] 39240[?] -39239[?] 153339[?] 39226[?] 16868[?] 153334[?] 39227[?] 264[?] 153281[?] -39225[?] -39227[?] -39226[?] 153276[?] 39223[?] -783[?] 153274[?] 5[?] -39223[?] 153272[?] -14[?] 6[?] -5[?] 153267[?] 39177[?] 39205[?] 153199[?] -39204[?] 39176[?] 39205[?] 153189[?] -39203[?] 39204[?] 39150[?] 153186[?] -33545[?] 39203[?] 39120[?] 153183[?] 39202[?] 33545[?] 153182[?] 30527[?] -39202[?] 153178[?] 39082[?] 39201[?] 153176[?] 39200[?] 33545[?] 153173[?] 37361[?] -39200[?] 153169[?] -39116[?] -30527[?] -37361[?] 153165[?] 39171[?] 39116[?] 153164[?] 39076[?] 39186[?] 153116[?] 39185[?] -39076[?] 153112[?] 25187[?] -39185[?] 153109[?] 39166[?] 39176[?] 153085[?] -39175[?] 39176[?] -39177[?] 153078[?] 39174[?] 39175[?] 153077[?] -39173[?] 39116[?] -39174[?] 153069[?] 39172[?] 39173[?] 153068[?] -39170[?] -39171[?] -39172[?] 153060[?] 39169[?] 39170[?] 153059[?] 39168[?] -39169[?] 153056[?] 39167[?] -39168[?] 153052[?] -39165[?] -39167[?] -39166[?] 153048[?] 39079[?] 39083[?] 152839[?] 39081[?] -39082[?] 152837[?] 39080[?] -39081[?] 152833[?] -39078[?] -39080[?] -39079[?] 152829[?] -17209[?] -29059[?] -25187[?] 146424[?] 36656[?] 14[?] 145178[?] -36662[?] 36660[?] 144278[?] -36660[?] 36659[?] 144274[?] -36659[?] 36658[?] 144272[?] -36658[?] 36657[?] 144268[?] -36657[?] -36656[?] -36655[?] 144264[?] 36239[?] 26351[?] 143116[?] 28812[?] 264[?] 143111[?] -36238[?] -36239[?] -28812[?] 143106[?] 26356[?] 26352[?] 116566[?] 26354[?] -26356[?] 116562[?] 26355[?] 26342[?] 116559[?] -26353[?] -26354[?] -26355[?] 116555[?] 26344[?] 26352[?] 116553[?] 26345[?] 782[?] 116536[?] -26343[?] -26345[?] -26344[?] 116531[?] 26341[?] 26342[?] 116530[?] 26339[?] -26341[?] 116526[?] 26340[?] 26337[?] 116523[?] -26338[?] -26340[?] -26339[?] 116519[?] 26336[?] 26337[?] 116518[?] 26334[?] -26336[?] 116514[?] 26335[?] 26332[?] 116511[?] -26333[?] -26334[?] -26335[?] 116507[?] 26331[?] 26332[?] 116506[?] 26329[?] -26331[?] 116502[?] 26330[?] 26327[?] 116499[?] -26328[?] -26330[?] -26329[?] 116495[?] 26323[?] 26321[?] 116493[?] 26326[?] 26327[?] 116490[?] 26325[?] -26326[?] 116488[?] 26324[?] -26325[?] 116484[?] -26322[?] -26323[?] -26324[?] 116480[?] 26320[?] 26321[?] 116479[?] 26318[?] -26320[?] 116475[?] 26319[?] 26258[?] 116472[?] -26317[?] -26319[?] -26318[?] 116468[?] 26304[?] 26313[?] 116466[?] 26314[?] 26302[?] 116463[?] 26299[?] 26258[?] 116454[?] 26293[?] 26313[?] 116451[?] -26312[?] -26314[?] 26313[?] 116447[?] 26311[?] 26312[?] 116446[?] 26287[?] -26311[?] 116443[?] -26310[?] 26258[?] -26311[?] 116438[?] 26309[?] 26310[?] 116437[?] 26288[?] -26299[?] 116433[?] -26308[?] -26299[?] -26309[?] 116429[?] 26307[?] 26308[?] 116428[?] 26306[?] -26307[?] 116425[?] 26305[?] -26306[?] 116421[?] -26303[?] -26305[?] -26304[?] 116417[?] 26295[?] 26302[?] 116415[?] 26296[?] 782[?] 116404[?] -26294[?] -26296[?] -26295[?] 116399[?] 26280[?] 26292[?] 116397[?] 26278[?] -26293[?] 116395[?] -26291[?] 26292[?] -26293[?] 116390[?] 26290[?] 26291[?] 116389[?] 26272[?] -26290[?] 116386[?] -26289[?] 26258[?] -26290[?] 116381[?] 26286[?] 26289[?] 116380[?] -26285[?] -26288[?] -26287[?] 116375[?] 26273[?] -26286[?] 116373[?] -26284[?] 26285[?] -26286[?] 116369[?] 26283[?] 26284[?] 116368[?] 26282[?] -26283[?] 116365[?] 26281[?] -26282[?] 116361[?] -26279[?] -26281[?] -26280[?] 116357[?] 26265[?] 26277[?] 116355[?] 26263[?] 26277[?] 116352[?] -26276[?] -26278[?] 26277[?] 116348[?] 26275[?] 26276[?] 116347[?] 26254[?] -26275[?] 116344[?] -26274[?] 26258[?] -26275[?] 116339[?] 26271[?] 26274[?] 116338[?] -26270[?] -26273[?] -26272[?] 116333[?] 26255[?] -26271[?] 116331[?] -26269[?] 26270[?] -26271[?] 116327[?] 26268[?] 26269[?] 116326[?] 26267[?] -26268[?] 116323[?] 26266[?] -26267[?] 116319[?] -26264[?] -26266[?] -26265[?] 116315[?] 26246[?] 26262[?] 116313[?] -26261[?] 26262[?] -26263[?] 116306[?] 26259[?] 26261[?] 116305[?] -26257[?] 26258[?] -26259[?] 116297[?] 26253[?] 26257[?] 116296[?] -26252[?] -26255[?] -26254[?] 116291[?] -26251[?] 26252[?] -26253[?] 116285[?] 26249[?] 26251[?] 116284[?] 26248[?] -26249[?] 116281[?] 26247[?] -26248[?] 116277[?] -26245[?] -26247[?] -26246[?] 116273[?] 17249[?] -17245[?] 91902[?] 17247[?] -17249[?] 91898[?] 17248[?] 17235[?] 91895[?] -17246[?] -17247[?] -17248[?] 91891[?] 17237[?] -17245[?] 91889[?] -17241[?] 17244[?] -10661[?] 91885[?] 17242[?] -7661[?] 91880[?] -17240[?] 17241[?] -17242[?] 91876[?] 17239[?] 17240[?] 91875[?] 17238[?] -17239[?] 91871[?] -17236[?] -17238[?] -17237[?] 91867[?] 17234[?] 17235[?] 91866[?] 17232[?] -17234[?] 91862[?] 17233[?] -17230[?] 91859[?] -17231[?] -17233[?] -17232[?] 91855[?] 17229[?] -17230[?] 91854[?] 17227[?] -17229[?] 91850[?] 17228[?] -17225[?] 91847[?] -17226[?] -17227[?] -17228[?] 91843[?] 17224[?] -17225[?] 91842[?] 17222[?] -17224[?] 91838[?] 17223[?] -17220[?] 91835[?] -17221[?] -17222[?] -17223[?] 91831[?] 17216[?] -17214[?] 91829[?] 17219[?] -17220[?] 91826[?] 17218[?] -17219[?] 91824[?] 17217[?] -17218[?] 91820[?] -17215[?] -17216[?] -17217[?] 91816[?] 17213[?] -17214[?] 91815[?] 17211[?] -17213[?] 91811[?] 17212[?] -17151[?] 91808[?] -17210[?] -17212[?] -17211[?] 91804[?] 17197[?] 17206[?] 91802[?] 17207[?] 17195[?] 91799[?] -17208[?] 17209[?] 17195[?] 91795[?] 17194[?] 17208[?] 91794[?] 17192[?] -17151[?] 91790[?] 17186[?] 17206[?] 91787[?] -17205[?] -17207[?] 17206[?] 91783[?] 17204[?] 17205[?] 91782[?] 17180[?] -17151[?] 91778[?] -17203[?] -17204[?] -17151[?] 91774[?] 17202[?] 17203[?] 91773[?] 17181[?] -17192[?] 91769[?] -17201[?] -17202[?] -17192[?] 91765[?] 17200[?] 17201[?] 91764[?] 17199[?] -17200[?] 91761[?] 17198[?] -17199[?] 91757[?] -17196[?] -17198[?] -17197[?] 91753[?] 17188[?] 17195[?] 91751[?] -17193[?] -17194[?] -17151[?] 91747[?] 17191[?] 17193[?] 91746[?] 17190[?] -17191[?] 91743[?] 17189[?] -17190[?] 91739[?] -17187[?] -17189[?] -17188[?] 91735[?] 17173[?] 17185[?] 91733[?] 17171[?] -17186[?] 91731[?] -17184[?] 17185[?] -17186[?] 91726[?] 17183[?] 17184[?] 91725[?] 17165[?] -17183[?] 91722[?] -17182[?] -17151[?] -17183[?] 91717[?] 17179[?] 17182[?] 91716[?] -17178[?] -17181[?] -17180[?] 91711[?] 17166[?] -17179[?] 91709[?] -17177[?] 17178[?] -17179[?] 91705[?] 17176[?] 17177[?] 91704[?] 17175[?] -17176[?] 91701[?] 17174[?] -17175[?] 91697[?] -17172[?] -17174[?] -17173[?] 91693[?] 17158[?] 17170[?] 91691[?] 17156[?] -17171[?] 91689[?] -17169[?] 17170[?] -17171[?] 91684[?] 17168[?] 17169[?] 91683[?] 17147[?] -17168[?] 91680[?] -17167[?] -17151[?] -17168[?] 91675[?] 17164[?] 17167[?] 91674[?] -17163[?] -17166[?] -17165[?] 91669[?] 17148[?] -17164[?] 91667[?] -17162[?] 17163[?] -17164[?] 91663[?] 17161[?] 17162[?] 91662[?] 17160[?] -17161[?] 91659[?] 17159[?] -17160[?] 91655[?] -17157[?] -17159[?] -17158[?] 91651[?] 17139[?] 17155[?] 91649[?] -17154[?] 17155[?] -17156[?] 91642[?] 17152[?] 17154[?] 91641[?] -17150[?] -17151[?] -17152[?] 91633[?] 17146[?] 17150[?] 91632[?] -17145[?] -17148[?] -17147[?] 91627[?] -17144[?] 17145[?] -17146[?] 91621[?] 17142[?] 17144[?] 91620[?] 17141[?] -17142[?] 91617[?] 17140[?] -17141[?] 91613[?] -17138[?] -17140[?] -17139[?] 91609[?] -8184[?] -8185[?] 8186[?] 67878[?] 8165[?] 8186[?] 67877[?] 8183[?] 8184[?] 67873[?] -8181[?] -8183[?] -8182[?] 67869[?] 8166[?] -8182[?] 67867[?] 8180[?] 8181[?] 67864[?] -8178[?] -8180[?] -8179[?] 67860[?] 8163[?] -8179[?] 67858[?] 8177[?] 8178[?] 67855[?] -8175[?] -8177[?] -8176[?] 67851[?] 8160[?] -8176[?] 67849[?] 8174[?] 8175[?] 67846[?] -8172[?] -8174[?] -8173[?] 67842[?] 8157[?] -8173[?] 67840[?] 8171[?] 8172[?] 67837[?] -8169[?] -8171[?] -8170[?] 67833[?] 8154[?] -8170[?] 67831[?] 8150[?] 8169[?] 67828[?] 8144[?] 8168[?] 67825[?] -8167[?] -8150[?] 8168[?] 67821[?] 8141[?] 8167[?] 67820[?] -8164[?] -8165[?] -8166[?] 67815[?] 8139[?] -8166[?] 67814[?] 8162[?] 8164[?] 67810[?] -8161[?] -8162[?] -8163[?] 67806[?] 8140[?] -8163[?] 67805[?] 8159[?] 8161[?] 67801[?] -8158[?] -8159[?] -8160[?] 67797[?] 8136[?] -8160[?] 67796[?] 8156[?] 8158[?] 67792[?] -8155[?] -8156[?] -8157[?] 67788[?] 8132[?] -8157[?] 67787[?] 8153[?] 8155[?] 67783[?] -8152[?] -8153[?] -8154[?] 67779[?] 8128[?] -8154[?] 67778[?] 8151[?] 8152[?] 67774[?] -8124[?] -8150[?] -8151[?] 67770[?] 8148[?] 8124[?] 67765[?] 8117[?] 8147[?] 67762[?] -8146[?] -8148[?] 8147[?] 67758[?] 8145[?] 8146[?] 67757[?] 8118[?] -8144[?] 67753[?] -8143[?] -8145[?] -8144[?] 67749[?] 8142[?] 8143[?] 67748[?] -8112[?] -8142[?] -8141[?] 67743[?] -8137[?] -8139[?] -8140[?] 67740[?] 8135[?] 8137[?] 67735[?] -8133[?] -8135[?] -8136[?] 67731[?] 8131[?] 8133[?] 67726[?] -8129[?] -8131[?] -8132[?] 67722[?] 8127[?] 8129[?] 67717[?] -8125[?] -8127[?] -8128[?] 67713[?] 8123[?] 8125[?] 67708[?] -8090[?] 8124[?] -8123[?] 67704[?] 8121[?] 8090[?] 67699[?] 8108[?] 8120[?] 67696[?] -8119[?] -8121[?] 8120[?] 67692[?] 8116[?] 8119[?] 67691[?] -8115[?] -8118[?] -8117[?] 67686[?] 8109[?] 8115[?] 67685[?] -8114[?] -8116[?] 8115[?] 67680[?] 8113[?] 8114[?] 67679[?] -8103[?] 8112[?] -8113[?] 67674[?] 8099[?] 8111[?] 67672[?] -8110[?] 8090[?] 8111[?] 67668[?] 8107[?] 8110[?] 67667[?] -8106[?] -8109[?] -8108[?] 67662[?] 8100[?] 8106[?] 67661[?] -8105[?] -8107[?] 8106[?] 67656[?] 8104[?] 8105[?] 67655[?] 8103[?] -8094[?] -8104[?] 67650[?] 8092[?] 8102[?] 67648[?] -8101[?] 8090[?] 8102[?] 67644[?] 8098[?] 8101[?] 67643[?] -8097[?] -8100[?] -8099[?] 67638[?] 8093[?] 8097[?] 67637[?] -8096[?] -8098[?] 8097[?] 67632[?] 8095[?] 8096[?] 67631[?] 8094[?] -8095[?] -8086[?] 67626[?] -8091[?] -8093[?] -8092[?] 67623[?] -8089[?] 8090[?] 8091[?] 67617[?] 8087[?] 8089[?] 67616[?] 8086[?] -8087[?] 67613[?] 0.94/0.66 c qxplain 0/394 1.28/0.81 c qxplain 198/394 1.28/0.88 c qxplain 297/394 1.43/0.97 c qxplain 346/394 1.60/1.03 c qxplain 371/394 1.73/1.10 c qxplain 383/394 1.73/1.17 c qxplain 389/394 1.83/1.23 c qxplain 392/394 1.93/1.30 c qxplain 394/394 1.93/1.36 c 67613[?] -8087[?] 8086[?] is mandatory 1.93/1.36 c qxplain 392/393 2.02/1.43 c qxplain 393/393 2.02/1.49 c 67616[?] 8087[?] 8089[?] is mandatory 2.02/1.49 c qxplain 392/392 2.12/1.56 c 67617[?] -8089[?] 8090[?] 8091[?] is mandatory 2.12/1.56 c qxplain 389/391 2.23/1.62 c qxplain 391/391 2.23/1.69 c 67623[?] -8091[?] -8093[?] -8092[?] is mandatory 2.23/1.69 c qxplain 389/390 2.33/1.75 c qxplain 390/390 2.42/1.82 c 67626[?] -8086[?] -8095[?] 8094[?] is mandatory 2.42/1.82 c qxplain 389/389 2.42/1.88 c 67631[?] 8095[?] 8096[?] is mandatory 2.42/1.88 c qxplain 383/388 2.53/1.95 c qxplain 386/388 2.63/2.01 c qxplain 388/388 2.63/2.08 c 67632[?] -8096[?] 8097[?] -8098[?] is mandatory 2.63/2.08 c qxplain 386/387 2.72/2.14 c qxplain 387/387 2.83/2.21 c 67637[?] 8093[?] 8097[?] is mandatory 2.83/2.21 c qxplain 386/386 2.83/2.30 c 67638[?] -8097[?] -8100[?] -8099[?] is mandatory 2.83/2.30 c qxplain 383/385 2.95/2.37 c qxplain 385/385 3.05/2.43 c 67643[?] 8098[?] 8101[?] is mandatory 3.05/2.43 c qxplain 383/384 3.05/2.50 c qxplain 384/384 3.14/2.56 c 67644[?] -8101[?] 8090[?] 8102[?] is mandatory 3.14/2.56 c qxplain 383/383 3.25/2.62 c 67648[?] 8092[?] 8102[?] is mandatory 3.25/2.62 c qxplain 371/382 3.25/2.69 c qxplain 377/382 3.35/2.75 c qxplain 380/382 3.44/2.82 c qxplain 382/382 3.44/2.88 c 67650[?] -8094[?] -8104[?] 8103[?] is mandatory 3.44/2.88 c qxplain 380/381 3.54/2.95 c qxplain 381/381 3.65/3.02 c 67655[?] 8104[?] 8105[?] is mandatory 3.65/3.02 c qxplain 380/380 3.65/3.08 c 67656[?] -8105[?] 8106[?] -8107[?] is mandatory 3.65/3.08 c qxplain 377/379 3.75/3.15 c qxplain 379/379 3.85/3.21 c 67661[?] 8100[?] 8106[?] is mandatory 3.85/3.21 c qxplain 377/378 3.85/3.28 c qxplain 378/378 3.96/3.36 c 67662[?] -8106[?] -8109[?] -8108[?] is mandatory 3.96/3.36 c qxplain 377/377 4.07/3.42 c 67667[?] 8107[?] 8110[?] is mandatory 4.07/3.42 c qxplain 371/376 4.07/3.49 c qxplain 374/376 4.17/3.56 c qxplain 376/376 4.27/3.62 c 67668[?] -8110[?] 8090[?] 8111[?] is mandatory 4.27/3.62 c qxplain 374/375 4.27/3.69 c qxplain 375/375 4.36/3.75 c 67672[?] 8099[?] 8111[?] is mandatory 4.36/3.75 c qxplain 374/374 4.47/3.82 c 67674[?] -8103[?] -8113[?] 8112[?] is mandatory 4.47/3.82 c qxplain 371/373 4.47/3.88 c qxplain 373/373 4.57/3.95 c 67679[?] 8113[?] 8114[?] is mandatory 4.57/3.95 c qxplain 371/372 4.67/4.01 c qxplain 372/372 4.67/4.08 c 67680[?] -8114[?] 8115[?] -8116[?] is mandatory 4.67/4.08 c qxplain 371/371 4.77/4.14 c 67685[?] 8109[?] 8115[?] is mandatory 4.77/4.14 c qxplain 346/370 4.87/4.21 c qxplain 359/370 4.87/4.27 c qxplain 365/370 4.97/4.34 c qxplain 368/370 4.97/4.40 c qxplain 370/370 5.07/4.49 c 67686[?] -8115[?] -8118[?] -8117[?] is mandatory 5.07/4.49 c qxplain 368/369 5.20/4.55 c qxplain 369/369 5.30/4.62 c 67691[?] 8116[?] 8119[?] is mandatory 5.30/4.62 c qxplain 368/368 5.30/4.68 c 67692[?] -8119[?] -8121[?] 8120[?] is mandatory 5.30/4.68 c qxplain 365/367 5.39/4.75 c qxplain 367/367 5.49/4.81 c 67696[?] 8108[?] 8120[?] is mandatory 5.49/4.81 c qxplain 365/366 5.49/4.88 c qxplain 366/366 5.59/4.94 c 67699[?] 8121[?] 8090[?] is mandatory 5.59/4.94 c qxplain 365/365 5.69/5.01 c 67704[?] -8090[?] -8123[?] 8124[?] is mandatory 5.69/5.01 c qxplain 359/364 5.69/5.07 c qxplain 362/364 5.79/5.14 c qxplain 364/364 5.89/5.20 c 67708[?] 8123[?] 8125[?] is mandatory 5.89/5.20 c qxplain 362/363 5.89/5.28 c qxplain 363/363 5.99/5.35 c 67713[?] -8125[?] -8127[?] -8128[?] is mandatory 5.99/5.35 c qxplain 362/362 6.09/5.41 c 67717[?] 8127[?] 8129[?] is mandatory 6.09/5.41 c qxplain 359/361 6.09/5.48 c qxplain 361/361 6.20/5.54 c 67722[?] -8129[?] -8131[?] -8132[?] is mandatory 6.20/5.54 c qxplain 359/360 6.30/5.61 c qxplain 360/360 6.30/5.67 c 67726[?] 8131[?] 8133[?] is mandatory 6.30/5.67 c qxplain 359/359 6.39/5.74 c 67731[?] -8133[?] -8135[?] -8136[?] is mandatory 6.39/5.74 c qxplain 346/358 6.49/5.80 c qxplain 353/358 6.49/5.87 c qxplain 356/358 6.59/5.93 c qxplain 358/358 6.69/6.00 c 67735[?] 8135[?] 8137[?] is mandatory 6.69/6.00 c qxplain 356/357 6.69/6.07 c qxplain 357/357 6.79/6.13 c 67740[?] -8137[?] -8140[?] -8139[?] is mandatory 6.79/6.13 c qxplain 356/356 6.79/6.20 c 67743[?] -8112[?] -8142[?] -8141[?] is mandatory 6.79/6.20 c qxplain 353/355 6.90/6.26 c qxplain 355/355 7.00/6.33 c 67748[?] 8142[?] 8143[?] is mandatory 7.00/6.33 c qxplain 353/354 7.00/6.39 c qxplain 354/354 7.09/6.46 c 67749[?] -8143[?] -8145[?] -8144[?] is mandatory 7.09/6.46 c qxplain 353/353 7.19/6.52 c 67753[?] 8118[?] -8144[?] is mandatory 7.19/6.52 c qxplain 346/352 7.19/6.59 c qxplain 350/352 7.30/6.65 c qxplain 352/352 7.40/6.72 c 67757[?] 8145[?] 8146[?] is mandatory 7.40/6.72 c qxplain 350/351 7.40/6.78 c qxplain 351/351 7.49/6.85 c 67758[?] -8146[?] -8148[?] 8147[?] is mandatory 7.49/6.85 c qxplain 350/350 7.60/6.91 c 67762[?] 8117[?] 8147[?] is mandatory 7.60/6.91 c qxplain 346/349 7.60/6.98 c qxplain 348/349 7.70/7.04 c qxplain 349/349 7.79/7.11 c 67765[?] 8148[?] 8124[?] is mandatory 7.79/7.11 c qxplain 348/348 7.79/7.17 c 67770[?] -8124[?] -8151[?] -8150[?] is mandatory 7.79/7.17 c qxplain 346/347 7.89/7.24 c qxplain 347/347 8.00/7.30 c 67774[?] 8151[?] 8152[?] is mandatory 8.00/7.30 c qxplain 346/346 8.00/7.37 c 67778[?] 8128[?] -8154[?] is mandatory 8.00/7.37 c qxplain 297/345 8.09/7.43 c qxplain 322/345 8.09/7.49 c qxplain 334/345 8.19/7.56 c qxplain 340/345 8.30/7.62 c qxplain 343/345 8.30/7.69 c qxplain 345/345 8.40/7.77 c 67779[?] -8152[?] -8153[?] -8154[?] is mandatory 8.40/7.77 c qxplain 343/344 8.50/7.83 c qxplain 344/344 8.60/7.91 c 67783[?] 8153[?] 8155[?] is mandatory 8.60/7.91 c qxplain 343/343 8.60/7.97 c 67787[?] 8132[?] -8157[?] is mandatory 8.60/7.97 c qxplain 340/342 8.69/8.04 c qxplain 342/342 8.79/8.10 c 67788[?] -8155[?] -8156[?] -8157[?] is mandatory 8.79/8.10 c qxplain 340/341 8.79/8.17 c qxplain 341/341 8.90/8.23 c 67792[?] 8156[?] 8158[?] is mandatory 8.90/8.23 c qxplain 340/340 8.90/8.30 c 67796[?] 8136[?] -8160[?] is mandatory 8.90/8.30 c qxplain 334/339 8.99/8.36 c qxplain 337/339 9.09/8.43 c qxplain 339/339 9.09/8.49 c 67797[?] -8158[?] -8159[?] -8160[?] is mandatory 9.09/8.49 c qxplain 337/338 9.20/8.55 c qxplain 338/338 9.30/8.62 c 67801[?] 8159[?] 8161[?] is mandatory 9.30/8.62 c qxplain 337/337 9.30/8.68 c 67805[?] 8140[?] -8163[?] is mandatory 9.30/8.68 c qxplain 334/336 9.40/8.75 c qxplain 336/336 9.50/8.81 c 67806[?] -8161[?] -8162[?] -8163[?] is mandatory 9.50/8.81 c qxplain 334/335 9.50/8.88 c qxplain 335/335 9.60/8.94 c 67810[?] 8162[?] 8164[?] is mandatory 9.60/8.94 c qxplain 334/334 9.69/9.01 c 67814[?] 8139[?] -8166[?] is mandatory 9.69/9.01 c qxplain 322/333 9.69/9.07 c qxplain 328/333 9.80/9.14 c qxplain 331/333 9.90/9.20 c qxplain 333/333 9.90/9.27 c 67815[?] -8164[?] -8166[?] -8165[?] is mandatory 9.90/9.27 c qxplain 331/332 10.00/9.33 c qxplain 332/332 10.00/9.40 c 67820[?] 8141[?] 8167[?] is mandatory 10.00/9.40 c qxplain 331/331 10.09/9.46 c 67821[?] -8167[?] -8150[?] 8168[?] is mandatory 10.09/9.46 c qxplain 328/330 10.19/9.53 c qxplain 330/330 10.19/9.59 c 67825[?] 8144[?] 8168[?] is mandatory 10.19/9.59 c qxplain 328/329 10.29/9.66 c qxplain 329/329 10.39/9.72 c 67828[?] 8150[?] 8169[?] is mandatory 10.39/9.72 c qxplain 328/328 10.39/9.78 c 67831[?] 8154[?] -8170[?] is mandatory 10.39/9.78 c qxplain 322/327 10.50/9.85 c qxplain 325/327 10.60/9.91 c qxplain 327/327 10.60/10.00 c 67833[?] -8169[?] -8171[?] -8170[?] is mandatory 10.60/10.00 c qxplain 325/326 10.70/10.06 c qxplain 326/326 10.80/10.12 c 67837[?] 8171[?] 8172[?] is mandatory 10.80/10.12 c qxplain 325/325 10.80/10.19 c 67840[?] 8157[?] -8173[?] is mandatory 10.80/10.19 c qxplain 322/324 10.89/10.25 c qxplain 324/324 11.00/10.32 c 67842[?] -8172[?] -8174[?] -8173[?] is mandatory 11.00/10.32 c qxplain 322/323 11.00/10.38 c qxplain 323/323 11.10/10.45 c 67846[?] 8174[?] 8175[?] is mandatory 11.10/10.45 c qxplain 322/322 11.20/10.51 c 67849[?] 8160[?] -8176[?] is mandatory 11.20/10.51 c qxplain 297/321 11.20/10.58 c qxplain 310/321 11.29/10.64 c qxplain 316/321 11.40/10.71 c qxplain 319/321 11.40/10.77 c qxplain 321/321 11.50/10.84 c 67851[?] -8175[?] -8177[?] -8176[?] is mandatory 11.50/10.84 c qxplain 319/320 11.59/10.90 c qxplain 320/320 11.59/10.97 c 67855[?] 8177[?] 8178[?] is mandatory 11.59/10.97 c qxplain 319/319 11.70/11.03 c 67858[?] 8163[?] -8179[?] is mandatory 11.70/11.03 c qxplain 316/318 11.70/11.09 c qxplain 318/318 11.80/11.16 c 67860[?] -8178[?] -8180[?] -8179[?] is mandatory 11.80/11.16 c qxplain 316/317 11.90/11.22 c qxplain 317/317 11.90/11.29 c 67864[?] 8180[?] 8181[?] is mandatory 11.90/11.29 c qxplain 316/316 11.99/11.35 c 67867[?] 8166[?] -8182[?] is mandatory 11.99/11.35 c qxplain 310/315 12.09/11.42 c qxplain 313/315 12.09/11.48 c qxplain 315/315 12.20/11.55 c 67869[?] -8181[?] -8183[?] -8182[?] is mandatory 12.20/11.55 c qxplain 313/314 12.30/11.61 c qxplain 314/314 12.30/11.68 c 67873[?] 8183[?] 8184[?] is mandatory 12.30/11.68 c qxplain 313/313 12.39/11.74 c 67877[?] 8165[?] 8186[?] is mandatory 12.39/11.74 c qxplain 310/312 12.50/11.81 c qxplain 312/312 12.50/11.87 c 67878[?] -8184[?] 8186[?] -8185[?] is mandatory 12.50/11.87 c qxplain 310/311 12.60/11.95 c qxplain 311/311 12.70/12.01 c 91609[?] -17138[?] -17140[?] -17139[?] is mandatory 12.70/12.01 c qxplain 310/310 12.70/12.08 c 91613[?] 17140[?] -17141[?] is mandatory 12.70/12.08 c qxplain 297/309 12.81/12.14 c qxplain 304/309 12.91/12.21 c qxplain 307/309 12.91/12.27 c qxplain 309/309 13.00/12.34 c 91617[?] 17141[?] -17142[?] is mandatory 13.00/12.34 c qxplain 307/308 13.10/12.40 c qxplain 308/308 13.10/12.46 c 91620[?] 17142[?] 17144[?] is mandatory 13.10/12.46 c qxplain 307/307 13.20/12.53 c 91621[?] -17144[?] 17145[?] -17146[?] is mandatory 13.20/12.53 c qxplain 304/306 13.20/12.59 c qxplain 306/306 13.30/12.66 c 91627[?] -17145[?] -17148[?] -17147[?] is mandatory 13.30/12.66 c qxplain 304/305 13.40/12.72 c qxplain 305/305 13.40/12.79 c 91632[?] 17146[?] 17150[?] is mandatory 13.40/12.79 c qxplain 304/304 13.50/12.85 c 91633[?] -17150[?] -17152[?] -17151[?] is mandatory 13.50/12.85 c qxplain 297/303 13.59/12.92 c qxplain 301/303 13.59/12.98 c qxplain 303/303 13.70/13.05 c 91641[?] 17152[?] 17154[?] is mandatory 13.70/13.05 c qxplain 301/302 13.80/13.11 c qxplain 302/302 13.80/13.17 c 91642[?] -17154[?] -17156[?] 17155[?] is mandatory 13.80/13.17 c qxplain 301/301 13.90/13.24 c 91649[?] 17139[?] 17155[?] is mandatory 13.90/13.24 c qxplain 297/300 14.03/13.32 c qxplain 299/300 14.03/13.38 c qxplain 300/300 14.13/13.45 c 91651[?] -17157[?] -17159[?] -17158[?] is mandatory 14.13/13.45 c qxplain 299/299 14.22/13.51 c 91655[?] 17159[?] -17160[?] is mandatory 14.22/13.51 c qxplain 297/298 14.22/13.57 c qxplain 298/298 14.33/13.64 c 91659[?] 17160[?] -17161[?] is mandatory 14.33/13.64 c qxplain 297/297 14.42/13.70 c 91662[?] 17161[?] 17162[?] is mandatory 14.42/13.70 c qxplain 198/296 14.42/13.77 c qxplain 248/296 14.52/13.83 c qxplain 273/296 14.62/13.90 c qxplain 285/296 14.62/13.96 c qxplain 291/296 14.73/14.03 c qxplain 294/296 14.73/14.09 c qxplain 296/296 14.83/14.16 c 91663[?] -17162[?] 17163[?] -17164[?] is mandatory 14.83/14.16 c qxplain 294/295 14.92/14.22 c qxplain 295/295 14.92/14.29 c 91667[?] 17148[?] -17164[?] is mandatory 14.92/14.29 c qxplain 294/294 15.03/14.35 c 91669[?] -17163[?] -17166[?] -17165[?] is mandatory 15.03/14.35 c qxplain 291/293 15.14/14.42 c qxplain 293/293 15.14/14.48 c 91674[?] 17164[?] 17167[?] is mandatory 15.14/14.48 c qxplain 291/292 15.23/14.55 c qxplain 292/292 15.33/14.62 c 91675[?] -17167[?] -17168[?] -17151[?] is mandatory 15.33/14.62 c qxplain 291/291 15.33/14.69 c 91680[?] 17147[?] -17168[?] is mandatory 15.33/14.69 c qxplain 285/290 15.43/14.75 c qxplain 288/290 15.53/14.82 c qxplain 290/290 15.53/14.88 c 91683[?] 17168[?] 17169[?] is mandatory 15.53/14.88 c qxplain 288/289 15.62/14.95 c qxplain 289/289 15.73/15.02 c 91684[?] -17169[?] -17171[?] 17170[?] is mandatory 15.73/15.02 c qxplain 288/288 15.73/15.09 c 91689[?] 17156[?] -17171[?] is mandatory 15.73/15.09 c qxplain 285/287 15.83/15.15 c qxplain 287/287 15.93/15.22 c 91691[?] 17158[?] 17170[?] is mandatory 15.93/15.22 c qxplain 285/286 15.93/15.29 c qxplain 286/286 16.03/15.36 c 91693[?] -17172[?] -17174[?] -17173[?] is mandatory 16.03/15.36 c qxplain 285/285 16.13/15.42 c 91697[?] 17174[?] -17175[?] is mandatory 16.13/15.42 c qxplain 273/284 16.13/15.49 c qxplain 279/284 16.23/15.55 c qxplain 282/284 16.33/15.62 c qxplain 284/284 16.33/15.68 c 91701[?] 17175[?] -17176[?] is mandatory 16.33/15.68 c qxplain 282/283 16.43/15.75 c qxplain 283/283 16.52/15.81 c 91704[?] 17176[?] 17177[?] is mandatory 16.52/15.81 c qxplain 282/282 16.52/15.88 c 91705[?] -17177[?] 17178[?] -17179[?] is mandatory 16.52/15.88 c qxplain 279/281 16.63/15.94 c qxplain 281/281 16.73/16.01 c 91709[?] 17166[?] -17179[?] is mandatory 16.73/16.01 c qxplain 279/280 16.73/16.07 c qxplain 280/280 16.83/16.14 c 91711[?] -17178[?] -17181[?] -17180[?] is mandatory 16.83/16.14 c qxplain 279/279 16.99/16.28 c 91716[?] 17179[?] 17182[?] is mandatory 16.99/16.28 c qxplain 273/278 17.12/16.33 c qxplain 276/278 17.12/16.38 c qxplain 278/278 17.22/16.44 c 91717[?] -17182[?] -17183[?] -17151[?] is mandatory 17.22/16.44 c qxplain 276/277 17.22/16.49 c qxplain 277/277 17.32/16.54 c 91722[?] 17165[?] -17183[?] is mandatory 17.32/16.54 c qxplain 276/276 17.32/16.59 c 91725[?] 17183[?] 17184[?] is mandatory 17.32/16.59 c qxplain 273/275 17.42/16.64 c qxplain 275/275 17.42/16.69 c 91726[?] -17184[?] -17186[?] 17185[?] is mandatory 17.42/16.69 c qxplain 273/274 17.52/16.74 c qxplain 274/274 17.52/16.79 c 91731[?] 17171[?] -17186[?] is mandatory 17.52/16.79 c qxplain 273/273 17.62/16.84 c 91733[?] 17173[?] 17185[?] is mandatory 17.62/16.84 c qxplain 248/272 17.62/16.89 c qxplain 261/272 17.72/16.94 c qxplain 267/272 17.72/17.00 c qxplain 270/272 17.82/17.04 c qxplain 272/272 17.82/17.09 c 91735[?] -17187[?] -17189[?] -17188[?] is mandatory 17.82/17.09 c qxplain 270/271 17.92/17.14 c qxplain 271/271 17.92/17.19 c 91739[?] 17189[?] -17190[?] is mandatory 17.92/17.19 c qxplain 270/270 18.02/17.24 c 91743[?] 17190[?] -17191[?] is mandatory 18.02/17.24 c qxplain 267/269 18.02/17.29 c qxplain 269/269 18.12/17.33 c 91746[?] 17191[?] 17193[?] is mandatory 18.12/17.33 c qxplain 267/268 18.12/17.38 c qxplain 268/268 18.22/17.43 c 91747[?] -17193[?] -17194[?] -17151[?] is mandatory 18.22/17.43 c qxplain 267/267 18.22/17.48 c 91751[?] 17188[?] 17195[?] is mandatory 18.22/17.48 c qxplain 261/266 18.32/17.53 c qxplain 264/266 18.32/17.59 c qxplain 266/266 18.42/17.63 c 91753[?] -17196[?] -17198[?] -17197[?] is mandatory 18.42/17.63 c qxplain 264/265 18.42/17.68 c qxplain 265/265 18.53/17.73 c 91757[?] 17198[?] -17199[?] is mandatory 18.53/17.73 c qxplain 264/264 18.53/17.78 c 91761[?] 17199[?] -17200[?] is mandatory 18.53/17.78 c qxplain 261/263 18.62/17.83 c qxplain 263/263 18.62/17.88 c 91764[?] 17200[?] 17201[?] is mandatory 18.62/17.88 c qxplain 261/262 18.73/17.93 c qxplain 262/262 18.73/17.97 c 91765[?] -17201[?] -17202[?] -17192[?] is mandatory 18.73/17.97 c qxplain 261/261 18.83/18.02 c 91769[?] 17181[?] -17192[?] is mandatory 18.83/18.02 c qxplain 248/260 18.83/18.07 c qxplain 255/260 18.93/18.12 c qxplain 258/260 18.93/18.17 c qxplain 260/260 19.03/18.22 c 91773[?] 17202[?] 17203[?] is mandatory 19.03/18.22 c qxplain 258/259 19.03/18.27 c qxplain 259/259 19.13/18.31 c 91774[?] -17203[?] -17204[?] -17151[?] is mandatory 19.13/18.31 c qxplain 258/258 19.13/18.36 c 91778[?] 17180[?] -17151[?] is mandatory 19.13/18.36 c qxplain 255/257 19.23/18.41 c qxplain 257/257 19.23/18.46 c 91782[?] 17204[?] 17205[?] is mandatory 19.23/18.46 c qxplain 255/256 19.33/18.51 c qxplain 256/256 19.33/18.56 c 91783[?] -17205[?] -17207[?] 17206[?] is mandatory 19.33/18.56 c qxplain 255/255 19.43/18.61 c 91787[?] 17186[?] 17206[?] is mandatory 19.43/18.61 c qxplain 248/254 19.43/18.65 c qxplain 252/254 19.43/18.70 c qxplain 254/254 19.54/18.75 c 91790[?] 17192[?] -17151[?] is mandatory 19.54/18.75 c qxplain 252/253 19.54/18.80 c qxplain 253/253 19.64/18.85 c 91794[?] 17194[?] 17208[?] is mandatory 19.64/18.85 c qxplain 252/252 19.64/18.90 c 91795[?] -17208[?] 17195[?] 17209[?] is mandatory 19.64/18.90 c qxplain 248/251 19.73/18.95 c qxplain 250/251 19.73/18.99 c qxplain 251/251 19.83/19.04 c 91799[?] 17207[?] 17195[?] is mandatory 19.83/19.04 c qxplain 250/250 19.83/19.09 c 91802[?] 17197[?] 17206[?] is mandatory 19.83/19.09 c qxplain 248/249 19.93/19.15 c qxplain 249/249 19.93/19.20 c 91804[?] -17210[?] -17212[?] -17211[?] is mandatory 19.93/19.20 c qxplain 248/248 20.03/19.24 c 91808[?] 17212[?] -17151[?] is mandatory 20.03/19.24 c qxplain 198/247 20.03/19.29 c qxplain 223/247 20.13/19.34 c qxplain 236/247 20.13/19.39 c qxplain 242/247 20.23/19.44 c qxplain 245/247 20.23/19.49 c qxplain 247/247 20.33/19.54 c 91811[?] 17211[?] -17213[?] is mandatory 20.33/19.54 c qxplain 245/246 20.33/19.58 c qxplain 246/246 20.43/19.63 c 91815[?] 17213[?] -17214[?] is mandatory 20.43/19.63 c qxplain 245/245 20.43/19.69 c 91816[?] -17215[?] -17217[?] -17216[?] is mandatory 20.43/19.69 c qxplain 242/244 20.53/19.74 c qxplain 244/244 20.53/19.79 c 91820[?] 17217[?] -17218[?] is mandatory 20.53/19.79 c qxplain 242/243 20.64/19.83 c qxplain 243/243 20.64/19.88 c 91824[?] 17218[?] -17219[?] is mandatory 20.64/19.88 c qxplain 242/242 20.74/19.93 c 91826[?] 17219[?] -17220[?] is mandatory 20.74/19.93 c qxplain 236/241 20.74/19.98 c qxplain 239/241 20.83/20.03 c qxplain 241/241 20.83/20.08 c 91829[?] 17216[?] -17214[?] is mandatory 20.83/20.08 c qxplain 239/240 20.93/20.13 c qxplain 240/240 20.93/20.17 c 91831[?] -17221[?] -17223[?] -17222[?] is mandatory 20.93/20.17 c qxplain 239/239 21.03/20.22 c 91835[?] 17223[?] -17220[?] is mandatory 21.03/20.22 c qxplain 236/238 21.03/20.27 c qxplain 238/238 21.13/20.32 c 91838[?] 17222[?] -17224[?] is mandatory 21.13/20.32 c qxplain 236/237 21.13/20.37 c qxplain 237/237 21.23/20.42 c 91842[?] 17224[?] -17225[?] is mandatory 21.23/20.42 c qxplain 236/236 21.23/20.47 c 91843[?] -17226[?] -17228[?] -17227[?] is mandatory 21.23/20.47 c qxplain 223/235 21.33/20.51 c qxplain 230/235 21.33/20.56 c qxplain 233/235 21.43/20.61 c qxplain 235/235 21.43/20.66 c 91847[?] 17228[?] -17225[?] is mandatory 21.43/20.66 c qxplain 233/234 21.53/20.71 c qxplain 234/234 21.53/20.76 c 91850[?] 17227[?] -17229[?] is mandatory 21.53/20.76 c qxplain 233/233 21.63/20.80 c 91854[?] 17229[?] -17230[?] is mandatory 21.63/20.80 c qxplain 230/232 21.63/20.85 c qxplain 232/232 21.63/20.90 c 91855[?] -17231[?] -17233[?] -17232[?] is mandatory 21.63/20.90 c qxplain 230/231 21.74/20.95 c qxplain 231/231 21.74/21.00 c 91859[?] 17233[?] -17230[?] is mandatory 21.74/21.00 c qxplain 230/230 21.84/21.05 c 91862[?] 17232[?] -17234[?] is mandatory 21.84/21.05 c qxplain 223/229 21.84/21.10 c qxplain 227/229 21.93/21.15 c qxplain 229/229 21.93/21.19 c 91866[?] 17234[?] 17235[?] is mandatory 21.93/21.19 c qxplain 227/228 22.03/21.24 c qxplain 228/228 22.03/21.29 c 91867[?] -17236[?] -17238[?] -17237[?] is mandatory 22.03/21.29 c qxplain 227/227 22.13/21.34 c 91871[?] 17238[?] -17239[?] is mandatory 22.13/21.34 c qxplain 223/226 22.13/21.39 c qxplain 225/226 22.23/21.44 c qxplain 226/226 22.23/21.49 c 91875[?] 17239[?] 17240[?] is mandatory 22.23/21.49 c qxplain 225/225 22.33/21.53 c 91876[?] -17240[?] -17242[?] 17241[?] is mandatory 22.33/21.53 c qxplain 223/224 22.33/21.58 c qxplain 224/224 22.43/21.63 c 91880[?] 17242[?] -7661[?] is mandatory 22.43/21.63 c qxplain 223/223 22.43/21.68 c 91885[?] -17241[?] 17244[?] -10661[?] is mandatory 22.43/21.68 c qxplain 198/222 22.53/21.73 c qxplain 211/222 22.53/21.78 c qxplain 217/222 22.63/21.83 c qxplain 220/222 22.63/21.88 c qxplain 222/222 22.73/21.93 c 91889[?] 17237[?] -17245[?] is mandatory 22.73/21.93 c qxplain 220/221 22.73/21.97 c qxplain 221/221 22.84/22.02 c 91891[?] -17246[?] -17248[?] -17247[?] is mandatory 22.84/22.02 c qxplain 220/220 22.84/22.07 c 91895[?] 17248[?] 17235[?] is mandatory 22.84/22.07 c qxplain 217/219 22.94/22.12 c qxplain 219/219 22.94/22.17 c 91898[?] 17247[?] -17249[?] is mandatory 22.94/22.17 c qxplain 217/218 23.03/22.22 c qxplain 218/218 23.03/22.27 c 91902[?] 17249[?] -17245[?] is mandatory 23.03/22.27 c qxplain 217/217 23.13/22.32 c 116273[?] -26245[?] -26247[?] -26246[?] is mandatory 23.13/22.32 c qxplain 211/216 23.13/22.37 c qxplain 214/216 23.23/22.42 c qxplain 216/216 23.23/22.47 c 116277[?] 26247[?] -26248[?] is mandatory 23.23/22.47 c qxplain 214/215 23.33/22.52 c qxplain 215/215 23.33/22.57 c 116281[?] 26248[?] -26249[?] is mandatory 23.33/22.57 c qxplain 214/214 23.43/22.61 c 116284[?] 26249[?] 26251[?] is mandatory 23.43/22.61 c qxplain 211/213 23.43/22.66 c qxplain 213/213 23.53/22.71 c 116285[?] -26251[?] 26252[?] -26253[?] is mandatory 23.53/22.71 c qxplain 211/212 23.53/22.76 c qxplain 212/212 23.63/22.81 c 116291[?] -26252[?] -26255[?] -26254[?] is mandatory 23.63/22.81 c qxplain 211/211 23.63/22.86 c 116296[?] 26253[?] 26257[?] is mandatory 23.63/22.86 c qxplain 198/210 23.73/22.91 c qxplain 205/210 23.73/22.96 c qxplain 208/210 23.83/23.01 c qxplain 210/210 23.83/23.05 c 116297[?] -26257[?] -26259[?] 26258[?] is mandatory 23.83/23.05 c qxplain 208/209 23.93/23.11 c qxplain 209/209 23.93/23.16 c 116305[?] 26259[?] 26261[?] is mandatory 23.93/23.16 c qxplain 208/208 24.03/23.21 c 116306[?] -26261[?] -26263[?] 26262[?] is mandatory 24.03/23.21 c qxplain 205/207 24.03/23.26 c qxplain 207/207 24.12/23.30 c 116313[?] 26246[?] 26262[?] is mandatory 24.12/23.30 c qxplain 205/206 24.12/23.36 c qxplain 206/206 24.22/23.41 c 116315[?] -26264[?] -26266[?] -26265[?] is mandatory 24.22/23.41 c qxplain 205/205 24.22/23.46 c 116319[?] 26266[?] -26267[?] is mandatory 24.22/23.46 c qxplain 198/204 24.32/23.50 c qxplain 202/204 24.32/23.55 c qxplain 204/204 24.43/23.60 c 116323[?] 26267[?] -26268[?] is mandatory 24.43/23.60 c qxplain 202/203 24.43/23.65 c qxplain 203/203 24.53/23.70 c 116326[?] 26268[?] 26269[?] is mandatory 24.53/23.70 c qxplain 202/202 24.53/23.75 c 116327[?] -26269[?] 26270[?] -26271[?] is mandatory 24.53/23.75 c qxplain 198/201 24.53/23.80 c qxplain 200/201 24.63/23.84 c qxplain 201/201 24.63/23.89 c 116331[?] 26255[?] -26271[?] is mandatory 24.63/23.89 c qxplain 200/200 24.73/23.94 c 116333[?] -26270[?] -26273[?] -26272[?] is mandatory 24.73/23.94 c qxplain 198/199 24.73/23.99 c qxplain 199/199 24.83/24.04 c 116338[?] 26271[?] 26274[?] is mandatory 24.83/24.04 c qxplain 198/198 24.83/24.09 c 116339[?] -26274[?] -26275[?] 26258[?] is mandatory 24.83/24.09 c qxplain 0/197 24.93/24.15 c qxplain 99/197 24.93/24.19 c qxplain 149/197 25.03/24.24 c qxplain 174/197 25.03/24.29 c qxplain 186/197 25.13/24.34 c qxplain 192/197 25.13/24.39 c qxplain 195/197 25.23/24.44 c qxplain 197/197 25.23/24.49 c 116344[?] 26254[?] -26275[?] is mandatory 25.23/24.49 c qxplain 195/196 25.33/24.54 c qxplain 196/196 25.33/24.58 c 116347[?] 26275[?] 26276[?] is mandatory 25.33/24.58 c qxplain 195/195 25.42/24.64 c 116348[?] -26276[?] -26278[?] 26277[?] is mandatory 25.42/24.64 c qxplain 192/194 25.42/24.69 c qxplain 194/194 25.52/24.74 c 116352[?] 26263[?] 26277[?] is mandatory 25.52/24.74 c qxplain 192/193 25.52/24.79 c qxplain 193/193 25.62/24.84 c 116355[?] 26265[?] 26277[?] is mandatory 25.62/24.84 c qxplain 192/192 25.62/24.89 c 116357[?] -26279[?] -26281[?] -26280[?] is mandatory 25.62/24.89 c qxplain 186/191 25.72/24.94 c qxplain 189/191 25.72/24.99 c qxplain 191/191 25.82/25.04 c 116361[?] 26281[?] -26282[?] is mandatory 25.82/25.04 c qxplain 189/190 25.82/25.09 c qxplain 190/190 25.92/25.13 c 116365[?] 26282[?] -26283[?] is mandatory 25.92/25.13 c qxplain 189/189 25.92/25.18 c 116368[?] 26283[?] 26284[?] is mandatory 25.92/25.18 c qxplain 186/188 26.02/25.23 c qxplain 188/188 26.02/25.28 c 116369[?] -26284[?] 26285[?] -26286[?] is mandatory 26.02/25.28 c qxplain 186/187 26.13/25.33 c qxplain 187/187 26.13/25.38 c 116373[?] 26273[?] -26286[?] is mandatory 26.13/25.38 c qxplain 186/186 26.23/25.43 c 116375[?] -26285[?] -26288[?] -26287[?] is mandatory 26.23/25.43 c qxplain 174/185 26.23/25.48 c qxplain 180/185 26.32/25.52 c qxplain 183/185 26.32/25.57 c qxplain 185/185 26.42/25.62 c 116380[?] 26286[?] 26289[?] is mandatory 26.42/25.62 c qxplain 183/184 26.42/25.67 c qxplain 184/184 26.52/25.72 c 116381[?] -26289[?] -26290[?] 26258[?] is mandatory 26.52/25.72 c qxplain 183/183 26.52/25.77 c 116386[?] 26272[?] -26290[?] is mandatory 26.52/25.77 c qxplain 180/182 26.62/25.82 c qxplain 182/182 26.62/25.87 c 116389[?] 26290[?] 26291[?] is mandatory 26.62/25.87 c qxplain 180/181 26.72/25.92 c qxplain 181/181 26.72/25.97 c 116390[?] -26291[?] -26293[?] 26292[?] is mandatory 26.72/25.97 c qxplain 180/180 26.82/26.02 c 116395[?] 26278[?] -26293[?] is mandatory 26.82/26.02 c qxplain 174/179 26.82/26.07 c qxplain 177/179 26.92/26.12 c qxplain 179/179 26.92/26.17 c 116397[?] 26280[?] 26292[?] is mandatory 26.92/26.17 c qxplain 177/178 27.02/26.22 c qxplain 178/178 27.02/26.27 c 116399[?] -26294[?] -26296[?] -26295[?] is mandatory 27.02/26.27 c qxplain 177/177 27.12/26.32 c 116404[?] 26296[?] 782[?] is mandatory 27.12/26.32 c qxplain 174/176 27.12/26.37 c qxplain 176/176 27.23/26.42 c 116415[?] 26295[?] 26302[?] is mandatory 27.23/26.42 c qxplain 174/175 27.23/26.47 c qxplain 175/175 27.33/26.52 c 116417[?] -26303[?] -26305[?] -26304[?] is mandatory 27.33/26.52 c qxplain 174/174 27.33/26.57 c 116421[?] 26305[?] -26306[?] is mandatory 27.33/26.57 c qxplain 149/173 27.42/26.62 c qxplain 162/173 27.42/26.67 c qxplain 168/173 27.52/26.72 c qxplain 171/173 27.52/26.77 c qxplain 173/173 27.62/26.82 c 116425[?] 26306[?] -26307[?] is mandatory 27.62/26.82 c qxplain 171/172 27.62/26.87 c qxplain 172/172 27.72/26.92 c 116428[?] 26307[?] 26308[?] is mandatory 27.72/26.92 c qxplain 171/171 27.72/26.96 c 116429[?] -26308[?] -26309[?] -26299[?] is mandatory 27.72/26.96 c qxplain 168/170 27.82/27.01 c qxplain 170/170 27.82/27.06 c 116433[?] 26288[?] -26299[?] is mandatory 27.82/27.06 c qxplain 168/169 27.92/27.11 c qxplain 169/169 27.92/27.16 c 116437[?] 26309[?] 26310[?] is mandatory 27.92/27.16 c qxplain 168/168 28.02/27.21 c 116438[?] -26310[?] -26311[?] 26258[?] is mandatory 28.02/27.21 c qxplain 162/167 28.02/27.26 c qxplain 165/167 28.12/27.31 c qxplain 167/167 28.12/27.36 c 116443[?] 26287[?] -26311[?] is mandatory 28.12/27.36 c qxplain 165/166 28.22/27.41 c qxplain 166/166 28.22/27.45 c 116446[?] 26311[?] 26312[?] is mandatory 28.22/27.45 c qxplain 165/165 28.33/27.51 c 116447[?] -26312[?] -26314[?] 26313[?] is mandatory 28.33/27.51 c qxplain 162/164 28.33/27.56 c qxplain 164/164 28.43/27.61 c 116451[?] 26293[?] 26313[?] is mandatory 28.43/27.61 c qxplain 162/163 28.43/27.66 c qxplain 163/163 28.52/27.71 c 116454[?] 26299[?] 26258[?] is mandatory 28.52/27.71 c qxplain 162/162 28.52/27.75 c 116463[?] 26314[?] 26302[?] is mandatory 28.52/27.75 c qxplain 149/161 28.62/27.80 c qxplain 156/161 28.62/27.85 c qxplain 159/161 28.72/27.90 c qxplain 161/161 28.72/27.95 c 116466[?] 26304[?] 26313[?] is mandatory 28.72/27.95 c qxplain 159/160 28.82/28.01 c qxplain 160/160 28.82/28.05 c 116468[?] -26317[?] -26319[?] -26318[?] is mandatory 28.82/28.05 c qxplain 159/159 28.92/28.10 c 116472[?] 26319[?] 26258[?] is mandatory 28.92/28.10 c qxplain 156/158 28.92/28.15 c qxplain 158/158 29.02/28.20 c 116475[?] 26318[?] -26320[?] is mandatory 29.02/28.20 c qxplain 156/157 29.02/28.25 c qxplain 157/157 29.12/28.30 c 116479[?] 26320[?] 26321[?] is mandatory 29.12/28.30 c qxplain 156/156 29.12/28.35 c 116480[?] -26322[?] -26324[?] -26323[?] is mandatory 29.12/28.35 c qxplain 149/155 29.22/28.40 c qxplain 153/155 29.41/28.54 c qxplain 155/155 29.41/28.59 c 116484[?] 26324[?] -26325[?] is mandatory 29.41/28.59 c qxplain 153/154 29.52/28.64 c qxplain 154/154 29.52/28.69 c 116488[?] 26325[?] -26326[?] is mandatory 29.52/28.69 c qxplain 153/153 29.62/28.73 c 116490[?] 26326[?] 26327[?] is mandatory 29.62/28.73 c qxplain 149/152 29.62/28.78 c qxplain 151/152 29.71/28.83 c qxplain 152/152 29.71/28.88 c 116493[?] 26323[?] 26321[?] is mandatory 29.71/28.88 c qxplain 151/151 29.81/28.93 c 116495[?] -26328[?] -26330[?] -26329[?] is mandatory 29.81/28.93 c qxplain 149/150 29.81/28.98 c qxplain 150/150 29.91/29.03 c 116499[?] 26330[?] 26327[?] is mandatory 29.91/29.03 c qxplain 149/149 29.91/29.08 c 116502[?] 26329[?] -26331[?] is mandatory 29.91/29.08 c qxplain 99/148 30.01/29.13 c qxplain 124/148 30.01/29.18 c qxplain 137/148 30.11/29.23 c qxplain 143/148 30.11/29.27 c qxplain 146/148 30.21/29.32 c qxplain 148/148 30.21/29.37 c 116506[?] 26331[?] 26332[?] is mandatory 30.21/29.37 c qxplain 146/147 30.31/29.43 c qxplain 147/147 30.31/29.47 c 116507[?] -26333[?] -26335[?] -26334[?] is mandatory 30.31/29.47 c qxplain 146/146 30.41/29.52 c 116511[?] 26335[?] 26332[?] is mandatory 30.41/29.52 c qxplain 143/145 30.41/29.57 c qxplain 145/145 30.51/29.62 c 116514[?] 26334[?] -26336[?] is mandatory 30.51/29.62 c qxplain 143/144 30.51/29.67 c qxplain 144/144 30.62/29.72 c 116518[?] 26336[?] 26337[?] is mandatory 30.62/29.72 c qxplain 143/143 30.62/29.77 c 116519[?] -26338[?] -26340[?] -26339[?] is mandatory 30.62/29.77 c qxplain 137/142 30.72/29.82 c qxplain 140/142 30.72/29.87 c qxplain 142/142 30.81/29.92 c 116523[?] 26340[?] 26337[?] is mandatory 30.81/29.92 c qxplain 140/141 30.81/29.96 c qxplain 141/141 30.91/30.01 c 116526[?] 26339[?] -26341[?] is mandatory 30.91/30.01 c qxplain 140/140 30.91/30.06 c 116530[?] 26341[?] 26342[?] is mandatory 30.91/30.06 c qxplain 137/139 31.02/30.12 c qxplain 139/139 31.02/30.16 c 116531[?] -26343[?] -26345[?] -26344[?] is mandatory 31.02/30.16 c qxplain 137/138 31.12/30.21 c qxplain 138/138 31.12/30.26 c 116536[?] 26345[?] 782[?] is mandatory 31.12/30.26 c qxplain 137/137 31.22/30.31 c 116553[?] 26344[?] 26352[?] is mandatory 31.22/30.31 c qxplain 124/136 31.22/30.36 c qxplain 131/136 31.32/30.41 c qxplain 134/136 31.32/30.46 c qxplain 136/136 31.42/30.51 c 116555[?] -26353[?] -26355[?] -26354[?] is mandatory 31.42/30.51 c qxplain 134/135 31.42/30.55 c qxplain 135/135 31.52/30.60 c 116559[?] 26355[?] 26342[?] is mandatory 31.52/30.60 c qxplain 134/134 31.52/30.65 c 116562[?] 26354[?] -26356[?] is mandatory 31.52/30.65 c qxplain 131/133 31.62/30.70 c qxplain 133/133 31.62/30.75 c 116566[?] 26356[?] 26352[?] is mandatory 31.62/30.75 c qxplain 131/132 31.62/30.79 c qxplain 132/132 31.72/30.84 c 143106[?] -36238[?] -28812[?] -36239[?] is mandatory 31.72/30.84 c qxplain 131/131 31.72/30.89 c 143111[?] 28812[?] 264[?] is mandatory 31.72/30.89 c qxplain 124/130 31.82/30.94 c qxplain 128/130 31.82/30.99 c qxplain 130/130 31.92/31.04 c 143116[?] 36239[?] 26351[?] is mandatory 31.92/31.04 c qxplain 128/129 31.92/31.08 c qxplain 129/129 32.02/31.13 c 144264[?] -36657[?] -36656[?] -36655[?] is mandatory 32.02/31.13 c qxplain 128/128 32.02/31.18 c 144268[?] -36658[?] 36657[?] is mandatory 32.02/31.18 c qxplain 124/127 32.12/31.23 c qxplain 126/127 32.12/31.28 c qxplain 127/127 32.22/31.32 c 144272[?] -36659[?] 36658[?] is mandatory 32.22/31.32 c qxplain 126/126 32.22/31.37 c 144274[?] -36660[?] 36659[?] is mandatory 32.22/31.37 c qxplain 124/125 32.32/31.42 c qxplain 125/125 32.32/31.47 c 144278[?] -36662[?] 36660[?] is mandatory 32.32/31.47 c qxplain 124/124 32.42/31.52 c 145178[?] 36656[?] 14[?] is mandatory 32.42/31.52 c qxplain 99/123 32.42/31.57 c qxplain 112/123 32.52/31.61 c qxplain 118/123 32.52/31.66 c qxplain 121/123 32.62/31.71 c qxplain 123/123 32.62/31.76 c 146424[?] -17209[?] -25187[?] -29059[?] is mandatory 32.62/31.76 c qxplain 121/122 32.72/31.81 c qxplain 122/122 32.72/31.85 c 152829[?] -39078[?] -39080[?] -39079[?] is mandatory 32.72/31.85 c qxplain 121/121 32.72/31.90 c 152833[?] 39080[?] -39081[?] is mandatory 32.72/31.90 c qxplain 118/120 32.82/31.95 c qxplain 120/120 32.82/32.00 c 152837[?] 39081[?] -39082[?] is mandatory 32.82/32.00 c qxplain 118/119 32.92/32.05 c qxplain 119/119 32.92/32.10 c 152839[?] 39079[?] 39083[?] is mandatory 32.92/32.10 c qxplain 118/118 33.02/32.14 c 153048[?] -39165[?] -39167[?] -39166[?] is mandatory 33.02/32.14 c qxplain 112/117 33.02/32.19 c qxplain 115/117 33.12/32.24 c qxplain 117/117 33.12/32.29 c 153052[?] 39167[?] -39168[?] is mandatory 33.12/32.29 c qxplain 115/116 33.22/32.34 c qxplain 116/116 33.22/32.38 c 153056[?] 39168[?] -39169[?] is mandatory 33.22/32.38 c qxplain 115/115 33.32/32.43 c 153059[?] 39169[?] 39170[?] is mandatory 33.32/32.43 c qxplain 112/114 33.32/32.48 c qxplain 114/114 33.42/32.53 c 153060[?] -39170[?] -39172[?] -39171[?] is mandatory 33.42/32.53 c qxplain 112/113 33.42/32.58 c qxplain 113/113 33.52/32.63 c 153068[?] 39172[?] 39173[?] is mandatory 33.52/32.63 c qxplain 112/112 33.52/32.67 c 153069[?] -39173[?] -39174[?] 39116[?] is mandatory 33.52/32.67 c qxplain 99/111 33.62/32.72 c qxplain 106/111 33.62/32.77 c qxplain 109/111 33.72/32.82 c qxplain 111/111 33.72/32.87 c 153077[?] 39174[?] 39175[?] is mandatory 33.72/32.87 c qxplain 109/110 33.82/32.92 c qxplain 110/110 33.82/32.97 c 153078[?] -39175[?] -39177[?] 39176[?] is mandatory 33.82/32.97 c qxplain 109/109 33.92/33.01 c 153085[?] 39166[?] 39176[?] is mandatory 33.92/33.01 c qxplain 106/108 33.92/33.06 c qxplain 108/108 34.02/33.11 c 153109[?] 25187[?] -39185[?] is mandatory 34.02/33.11 c qxplain 106/107 34.02/33.16 c qxplain 107/107 34.11/33.21 c 153112[?] 39185[?] -39076[?] is mandatory 34.11/33.21 c qxplain 106/106 34.11/33.25 c 153116[?] 39076[?] 39186[?] is mandatory 34.11/33.25 c qxplain 99/105 34.21/33.30 c qxplain 103/105 34.21/33.35 c qxplain 105/105 34.31/33.40 c 153164[?] 39171[?] 39116[?] is mandatory 34.31/33.40 c qxplain 103/104 34.31/33.45 c qxplain 104/104 34.31/33.49 c 153165[?] -39116[?] -37361[?] -30527[?] is mandatory 34.31/33.49 c qxplain 103/103 34.41/33.54 c 153169[?] 37361[?] -39200[?] is mandatory 34.41/33.54 c qxplain 99/102 34.41/33.59 c qxplain 101/102 34.51/33.64 c qxplain 102/102 34.51/33.69 c 153173[?] 39200[?] 33545[?] is mandatory 34.51/33.69 c qxplain 101/101 34.61/33.73 c 153176[?] 39082[?] 39201[?] is mandatory 34.61/33.73 c qxplain 99/100 34.61/33.78 c qxplain 100/100 34.71/33.83 c 153178[?] 30527[?] -39202[?] is mandatory 34.71/33.83 c qxplain 99/99 34.71/33.88 c 153182[?] 39202[?] 33545[?] is mandatory 34.71/33.88 c qxplain 0/98 34.81/33.93 c qxplain 50/98 34.81/33.97 c qxplain 75/98 34.91/34.02 c qxplain 87/98 34.91/34.07 c qxplain 93/98 35.02/34.12 c qxplain 96/98 35.02/34.17 c qxplain 98/98 35.12/34.21 c 153183[?] -33545[?] 39120[?] 39203[?] is mandatory 35.12/34.21 c qxplain 96/97 35.12/34.27 c qxplain 97/97 35.21/34.31 c 153186[?] -39203[?] 39204[?] 39150[?] is mandatory 35.21/34.31 c qxplain 96/96 35.21/34.36 c 153189[?] -39204[?] 39176[?] 39205[?] is mandatory 35.21/34.36 c qxplain 93/95 35.31/34.41 c qxplain 95/95 35.31/34.46 c 153199[?] 39177[?] 39205[?] is mandatory 35.31/34.46 c qxplain 93/94 35.41/34.51 c qxplain 94/94 35.41/34.55 c 153267[?] -14[?] -5[?] 6[?] is mandatory 35.41/34.55 c qxplain 93/93 35.51/34.60 c 153272[?] 5[?] -39223[?] is mandatory 35.51/34.60 c qxplain 87/92 35.51/34.65 c qxplain 90/92 35.61/34.70 c qxplain 92/92 35.61/34.75 c 153274[?] 39223[?] -783[?] is mandatory 35.61/34.75 c qxplain 90/91 35.61/34.80 c qxplain 91/91 35.71/34.84 c 153276[?] -39225[?] -39227[?] -39226[?] is mandatory 35.71/34.84 c qxplain 90/90 35.71/34.89 c 153281[?] 39227[?] 264[?] is mandatory 35.71/34.89 c qxplain 87/89 35.81/34.94 c qxplain 89/89 35.81/34.99 c 153334[?] 39226[?] 16868[?] is mandatory 35.81/34.99 c qxplain 87/88 35.91/35.04 c qxplain 88/88 35.91/35.09 c 153339[?] -264[?] -39239[?] 39240[?] is mandatory 35.91/35.09 c qxplain 87/87 36.01/35.14 c 153342[?] -39240[?] -39241[?] 782[?] is mandatory 36.01/35.14 c qxplain 75/86 36.01/35.18 c qxplain 81/86 36.11/35.24 c qxplain 84/86 36.11/35.28 c qxplain 86/86 36.21/35.33 c 159097[?] -6[?] -41208[?] 41209[?] is mandatory 36.21/35.33 c qxplain 84/85 36.21/35.38 c qxplain 85/85 36.31/35.43 c 159102[?] 41208[?] -39222[?] is mandatory 36.31/35.43 c qxplain 84/84 36.31/35.48 c 159103[?] -41209[?] -41210[?] 257[?] is mandatory 36.31/35.48 c qxplain 81/83 36.41/35.52 c qxplain 83/83 36.41/35.57 c 159108[?] 41210[?] -39224[?] is mandatory 36.41/35.57 c qxplain 81/82 36.51/35.62 c qxplain 82/82 36.51/35.67 c 159440[?] 10661[?] -41321[?] is mandatory 36.51/35.67 c qxplain 81/81 36.61/35.72 c 159443[?] 41321[?] 36662[?] is mandatory 36.61/35.72 c qxplain 75/80 36.61/35.77 c qxplain 78/80 36.71/35.81 c qxplain 80/80 36.71/35.86 c 163694[?] -39186[?] -42734[?] -39077[?] is mandatory 36.71/35.86 c qxplain 78/79 36.81/35.91 c qxplain 79/79 36.81/35.96 c 163698[?] 42734[?] -42735[?] is mandatory 36.81/35.96 c qxplain 78/78 36.91/36.01 c 163701[?] 42735[?] -42736[?] is mandatory 36.91/36.01 c qxplain 75/77 36.91/36.05 c qxplain 77/77 37.02/36.10 c 163704[?] 42736[?] 39163[?] is mandatory 37.02/36.10 c qxplain 75/76 37.02/36.15 c qxplain 76/76 37.12/36.20 c 164538[?] 29059[?] 36662[?] is mandatory 37.12/36.20 c qxplain 75/75 37.12/36.25 c 164617[?] 43000[?] -39239[?] is mandatory 37.12/36.25 c qxplain 50/74 37.12/36.30 c qxplain 63/74 37.22/36.34 c qxplain 69/74 37.22/36.39 c qxplain 72/74 37.32/36.44 c qxplain 74/74 37.32/36.49 c 164623[?] 43002[?] -39241[?] is mandatory 37.32/36.49 c qxplain 72/73 37.42/36.54 c qxplain 73/73 37.42/36.59 c 169209[?] -39201[?] -44526[?] 39083[?] is mandatory 37.42/36.59 c qxplain 72/72 37.52/36.63 c 169213[?] 44526[?] -44527[?] is mandatory 37.52/36.63 c qxplain 69/71 37.52/36.68 c qxplain 71/71 37.62/36.73 c 169216[?] 44527[?] -44528[?] is mandatory 37.62/36.73 c qxplain 69/70 37.62/36.78 c qxplain 70/70 37.72/36.83 c 169219[?] 44528[?] 39176[?] is mandatory 37.72/36.83 c qxplain 69/69 37.72/36.87 c -16868[?] 178939[?] is mandatory 37.72/36.87 c qxplain 63/68 37.81/36.92 c qxplain 66/68 37.81/36.97 c qxplain 68/68 37.91/37.02 c 178941[?] 7661[?] 39225[?] is mandatory 37.91/37.02 c qxplain 66/67 37.91/37.07 c qxplain 67/67 38.01/37.12 c -39205[?] 178950[?] is mandatory 38.01/37.12 c qxplain 66/66 38.01/37.17 c -39176[?] 178961[?] is mandatory 38.01/37.17 c qxplain 63/65 38.11/37.21 c qxplain 65/65 38.11/37.26 c 178963[?] -39163[?] 39165[?] is mandatory 38.11/37.26 c qxplain 63/64 38.21/37.31 c qxplain 64/64 38.21/37.36 c -39150[?] 178972[?] is mandatory 38.21/37.36 c qxplain 63/63 38.32/37.41 c -39120[?] 178983[?] is mandatory 38.32/37.41 c qxplain 50/62 38.32/37.46 c qxplain 57/62 38.42/37.51 c qxplain 60/62 38.42/37.55 c qxplain 62/62 38.51/37.60 c -39083[?] 178994[?] is mandatory 38.51/37.60 c qxplain 60/61 38.51/37.65 c qxplain 61/61 38.61/37.70 c 178996[?] 39077[?] 39078[?] is mandatory 38.61/37.70 c qxplain 60/60 38.61/37.75 c 39241[?] 179068[?] is mandatory 38.61/37.75 c qxplain 57/59 38.61/37.80 c qxplain 59/59 38.71/37.84 c 179069[?] 39224[?] -43002[?] is mandatory 38.71/37.84 c qxplain 57/58 38.71/37.89 c qxplain 58/58 38.81/37.94 c 39239[?] 179105[?] is mandatory 38.81/37.94 c qxplain 57/57 38.81/37.99 c 179106[?] 39222[?] -43000[?] is mandatory 38.81/37.99 c qxplain 50/56 38.91/38.04 c qxplain 54/56 38.91/38.08 c qxplain 56/56 39.01/38.13 c -26342[?] 179151[?] is mandatory 39.01/38.13 c qxplain 54/55 39.01/38.18 c qxplain 55/55 39.11/38.23 c 179153[?] -17235[?] 26353[?] is mandatory 39.11/38.23 c qxplain 54/54 39.11/38.28 c 179155[?] 17346[?] 17246[?] is mandatory 39.11/38.28 c qxplain 50/53 39.21/38.33 c qxplain 52/53 39.21/38.37 c qxplain 53/53 39.31/38.42 c 179157[?] -8186[?] -17346[?] is mandatory 39.31/38.42 c qxplain 52/52 39.31/38.47 c -26352[?] 179158[?] is mandatory 39.31/38.47 c qxplain 50/51 39.42/38.52 c qxplain 51/51 39.42/38.57 c 179160[?] 17245[?] 26343[?] is mandatory 39.42/38.57 c qxplain 50/50 39.52/38.61 c 179162[?] -17345[?] 17236[?] is mandatory 39.52/38.61 c qxplain 0/49 39.52/38.66 c qxplain 25/49 39.61/38.71 c qxplain 38/49 39.61/38.76 c qxplain 44/49 39.71/38.81 c qxplain 47/49 39.71/38.85 c qxplain 49/49 39.81/38.90 c 179164[?] 8185[?] 17345[?] is mandatory 39.81/38.90 c qxplain 47/48 39.81/38.95 c qxplain 48/48 39.91/39.00 c -26337[?] 179165[?] is mandatory 39.91/39.00 c qxplain 47/47 39.91/39.05 c 179167[?] 17230[?] 26338[?] is mandatory 39.91/39.05 c qxplain 44/46 39.91/39.10 c qxplain 46/46 40.01/39.14 c 179169[?] 17342[?] 17231[?] is mandatory 40.01/39.14 c qxplain 44/45 40.01/39.19 c qxplain 45/45 40.11/39.24 c 179171[?] 8182[?] -17342[?] is mandatory 40.11/39.24 c qxplain 44/44 40.11/39.29 c -26332[?] 179172[?] is mandatory 40.11/39.29 c qxplain 38/43 40.21/39.34 c qxplain 41/43 40.21/39.39 c qxplain 43/43 40.31/39.43 c 179174[?] 17225[?] 26333[?] is mandatory 40.31/39.43 c qxplain 41/42 40.31/39.48 c qxplain 42/42 40.41/39.53 c 179176[?] 17339[?] 17226[?] is mandatory 40.41/39.53 c qxplain 41/41 40.41/39.58 c 179178[?] 8179[?] -17339[?] is mandatory 40.41/39.58 c qxplain 38/40 40.51/39.63 c qxplain 40/40 40.51/39.68 c -26327[?] 179179[?] is mandatory 40.51/39.68 c qxplain 38/39 40.61/39.73 c qxplain 39/39 40.61/39.77 c 179181[?] 17220[?] 26328[?] is mandatory 40.61/39.77 c qxplain 38/38 40.70/39.82 c 179183[?] 8077[?] 17221[?] is mandatory 40.70/39.82 c qxplain 25/37 40.70/39.87 c qxplain 32/37 40.80/39.92 c qxplain 35/37 40.80/39.97 c qxplain 37/37 40.90/40.02 c 179185[?] 8176[?] -8077[?] is mandatory 40.90/40.02 c qxplain 35/36 40.90/40.06 c qxplain 36/36 41.00/40.11 c -26321[?] 179186[?] is mandatory 41.00/40.11 c qxplain 35/35 41.00/40.16 c 179188[?] 17214[?] 26322[?] is mandatory 41.00/40.16 c qxplain 32/34 41.10/40.21 c qxplain 34/34 41.10/40.26 c 179190[?] -17334[?] 17215[?] is mandatory 41.10/40.26 c qxplain 32/33 41.20/40.30 c qxplain 33/33 41.20/40.35 c 179192[?] 8173[?] 17334[?] is mandatory 41.20/40.35 c qxplain 32/32 41.30/40.40 c -26258[?] 179193[?] is mandatory 41.30/40.40 c qxplain 25/31 41.49/40.53 c qxplain 29/31 41.49/40.57 c qxplain 31/31 41.57/40.62 c 179195[?] 17151[?] 26317[?] is mandatory 41.57/40.62 c qxplain 29/30 41.57/40.67 c qxplain 30/30 41.68/40.72 c 179197[?] 8033[?] 17210[?] is mandatory 41.68/40.72 c qxplain 29/29 41.68/40.77 c 179199[?] 8170[?] -8033[?] is mandatory 41.68/40.77 c qxplain 25/28 41.78/40.82 c qxplain 27/28 41.78/40.86 c qxplain 28/28 41.88/40.92 c -26313[?] 179200[?] is mandatory 41.88/40.92 c qxplain 27/27 41.88/40.97 c 179202[?] -17206[?] 26303[?] is mandatory 41.88/40.97 c qxplain 25/26 41.98/41.02 c qxplain 26/26 41.98/41.07 c 179204[?] -8071[?] 17196[?] is mandatory 41.98/41.07 c qxplain 25/25 42.08/41.11 c 179206[?] -8147[?] 8071[?] is mandatory 42.08/41.11 c qxplain 0/24 42.08/41.16 c qxplain 13/24 42.19/41.21 c qxplain 19/24 42.19/41.26 c qxplain 22/24 42.29/41.31 c qxplain 24/24 42.29/41.36 c -26302[?] 179207[?] is mandatory 42.29/41.36 c qxplain 22/23 42.39/41.40 c qxplain 23/23 42.39/41.45 c 179209[?] -17195[?] 26294[?] is mandatory 42.39/41.45 c qxplain 22/22 42.49/41.50 c 179211[?] -8075[?] 17187[?] is mandatory 42.49/41.50 c qxplain 19/21 42.49/41.55 c qxplain 21/21 42.59/41.60 c 179213[?] -8168[?] 8075[?] is mandatory 42.59/41.60 c qxplain 19/20 42.59/41.65 c qxplain 20/20 42.69/41.70 c -26292[?] 179214[?] is mandatory 42.69/41.70 c qxplain 19/19 42.69/41.75 c 179216[?] -17185[?] 26279[?] is mandatory 42.69/41.75 c qxplain 13/18 42.69/41.80 c qxplain 16/18 42.79/41.85 c qxplain 18/18 42.79/41.89 c 179218[?] -8059[?] 17172[?] is mandatory 42.79/41.89 c qxplain 16/17 42.89/41.94 c qxplain 17/17 42.89/41.99 c 179220[?] -8120[?] 8059[?] is mandatory 42.89/41.99 c qxplain 16/16 42.99/42.04 c -26277[?] 179221[?] is mandatory 42.99/42.04 c qxplain 13/15 42.99/42.09 c qxplain 15/15 43.09/42.14 c 179223[?] -17170[?] 26264[?] is mandatory 43.09/42.14 c qxplain 13/14 43.09/42.19 c qxplain 14/14 43.18/42.24 c 179225[?] -8048[?] 17157[?] is mandatory 43.18/42.24 c qxplain 13/13 43.18/42.29 c 179227[?] -8111[?] 8048[?] is mandatory 43.18/42.29 c qxplain 0/12 43.28/42.33 c qxplain 7/12 43.28/42.38 c qxplain 10/12 43.38/42.43 c qxplain 12/12 43.38/42.48 c -26262[?] 179228[?] is mandatory 43.38/42.48 c qxplain 10/11 43.48/42.53 c qxplain 11/11 43.48/42.58 c 179230[?] -17155[?] 26245[?] is mandatory 43.48/42.58 c qxplain 10/10 43.58/42.63 c 179232[?] -8037[?] 17138[?] is mandatory 43.58/42.63 c qxplain 7/9 43.58/42.68 c qxplain 9/9 43.68/42.73 c 179234[?] -8102[?] 8037[?] is mandatory 43.68/42.73 c qxplain 7/8 43.68/42.77 c qxplain 8/8 43.79/42.82 c 179950[?] 36655[?] 39458[?] is mandatory 43.79/42.82 c qxplain 7/7 43.79/42.87 c -39458[?] 179951[?] is mandatory 43.79/42.87 c qxplain 0/6 43.89/42.92 c qxplain 4/6 43.89/42.97 c qxplain 6/6 43.99/43.02 c -26351[?] 180421[?] is mandatory 43.99/43.02 c qxplain 4/5 43.99/43.06 c qxplain 5/5 44.09/43.11 c 180423[?] -17244[?] 36238[?] is mandatory 44.09/43.11 c qxplain 4/4 44.09/43.16 c -782[?] 182876[?] is mandatory 44.09/43.16 c qxplain 0/3 44.19/43.21 c qxplain 2/3 44.19/43.26 c qxplain 3/3 44.29/43.31 c 182878[?] 783[?] 48166[?] is mandatory 44.29/43.31 c qxplain 2/2 44.29/43.36 c 182879[?] -257[?] -48167[?] is mandatory 44.29/43.36 c qxplain 0/1 44.39/43.41 c qxplain 1/1 44.39/43.45 c -48166[?] 182885[?] is mandatory 44.39/43.45 c qxplain 0/0 44.49/43.50 c 182886[?] 48167[?] 782[?] is mandatory 44.96/43.87 c Size of the MUS: 395 44.96/43.87 c Unsat core computation wall clock time (in seconds) : 43.29 44.96/43.87 c starts : 789 44.96/43.87 c conflicts : 45 44.96/43.87 c decisions : 38809525 44.96/43.87 c propagations : 147256497 44.96/43.87 c inspects : 37669088 44.96/43.87 c shortcuts : 0 44.96/43.87 c learnt literals : 0 44.96/43.87 c learnt binary clauses : 0 44.96/43.87 c learnt ternary clauses : 0 44.96/43.87 c learnt constraints : 45 44.96/43.87 c ignored constraints : 0 44.96/43.87 c root simplifications : 0 44.96/43.87 c removed literals (reason simplification) : 0 44.96/43.87 c reason swapping (by a shorter reason) : 0 44.96/43.87 c Calls to reduceDB : 0 44.96/43.87 c speed (assignments/second) : 3.582883138686132E8 44.96/43.87 c non guided choices 38809406 44.96/43.87 c learnt constraints type 44.96/43.87 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 45 44.96/43.87 c constraints type 44.96/43.87 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 136486 44.96/43.87 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 392 44.96/43.87 s UNSATISFIABLE 44.96/43.87 v 19396 19399 19400 19406 19409 19414 19415 19420 19421 19426 19427 19431 19433 19438 19439 19444 19445 19450 19451 19455 19457 19462 19463 19468 19469 19474 19475 19479 19482 19487 19491 19496 19500 19505 19509 19514 19518 19523 19526 19531 19532 19536 19540 19541 19545 19548 19553 19557 19561 19562 19566 19570 19571 19575 19579 19580 19584 19588 19589 19593 19597 19598 19603 19604 19608 19611 19614 19616 19620 19623 19625 19629 19632 19634 19638 19641 19643 19647 19650 19652 19656 19660 19661 43392 43396 43400 43403 43404 43410 43415 43416 43424 43425 43432 43434 43438 43442 43445 43446 43450 43452 43457 43458 43463 43466 43467 43472 43474 43476 43480 43484 43487 43488 43492 43494 43499 43500 43505 43508 43509 43514 43516 43518 43522 43526 43529 43530 43534 43536 43540 43544 43547 43548 43552 43556 43557 43561 43565 43566 43570 43573 43577 43578 43582 43585 43587 43591 43594 43598 43599 43603 43607 43609 43612 43614 43618 43621 43625 43626 43630 43633 43637 43638 43642 43645 43649 43650 43654 43658 43659 43663 43668 43672 43674 43678 43681 43685 68056 68060 68064 68067 68068 68074 68079 68080 68088 68089 68096 68098 68102 68106 68109 68110 68114 68116 68121 68122 68127 68130 68131 68135 68138 68140 68144 68148 68151 68152 68156 68158 68163 68164 68169 68172 68173 68178 68180 68182 68187 68198 68200 68204 68208 68211 68212 68216 68220 68221 68226 68229 68230 68234 68237 68246 68249 68251 68255 68258 68262 68263 68267 68271 68273 68276 68278 68282 68285 68289 68290 68294 68297 68301 68302 68306 68309 68313 68314 68319 68336 68338 68342 68345 68349 94889 94894 94899 96047 96051 96055 96057 96061 96961 98207 104612 104616 104620 104622 104831 104835 104839 104842 104843 104851 104852 104860 104861 104868 104892 104895 104899 104947 104948 104952 104956 104959 104961 104965 104966 104969 104972 104982 105050 105055 105057 105059 105064 105117 105122 105125 110880 110885 110886 110891 111223 111226 115477 115481 115484 115487 116321 116400 116406 120992 120996 120999 121002 130722 130724 130733 130744 130746 130755 130766 130777 130779 130851 130852 130888 130889 130934 130936 130938 130940 130941 130943 130945 130947 130948 130950 130952 130954 130955 130957 130959 130961 130962 130964 130966 130968 130969 130971 130973 130975 130976 130978 130980 130982 130983 130985 130987 130989 130990 130992 130994 130996 130997 130999 131001 131003 131004 131006 131008 131010 131011 131013 131015 131017 131733 131734 132204 132206 134659 134661 134662 134668 134669 0 44.96/43.87 c Total wall clock time (in seconds) : 43.769
OK 395
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-3493236-1307798826/watcher-3493236-1307798826 -o /tmp/evaluation-result-3493236-1307798826/solver-3493236-1307798826 -C 1800 -W 1850 -M 7680 java -Xms6000m -Xmx6000m -jar sat4j-mus-v20110206.jar HOME/instance-3493236-1307798826.cnf running on 2 cores: 1,3 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1850 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.73 0.18 0.40 5/243 20530 /proc/meminfo: memFree=31313348/32950940 swapFree=67074964/67111528 [pid=20530] ppid=20528 vsize=33696 CPUtime=0 cores=1,3 /proc/20530/stat : 20530 (java) S 20528 20530 20262 0 -1 4202496 1289 0 0 0 0 0 0 0 22 0 2 0 970113401 34504704 999 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 216000395237 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 /proc/20530/statm: 8425 1001 769 9 0 387 0 [pid=20530/tid=20531] ppid=20528 vsize=33748 CPUtime=0 cores=1,3 /proc/20530/task/20531/stat : 20531 (java) R 20528 20530 20262 0 -1 4202560 178 0 0 0 0 0 0 0 24 0 2 0 970113401 34557952 1000 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 215983668919 0 0 0 16784584 0 0 0 -1 1 0 0 0 [startup+0.106021 s] /proc/loadavg: 0.73 0.18 0.40 5/243 20530 /proc/meminfo: memFree=31313348/32950940 swapFree=67074964/67111528 [pid=20530] ppid=20528 vsize=6364156 CPUtime=0.08 cores=1,3 /proc/20530/stat : 20530 (java) S 20528 20530 20262 0 -1 4202496 9968 0 1 0 8 0 0 0 22 0 18 0 970113401 6516895744 9665 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/20530/statm: 1591039 9665 1754 9 0 1581777 0 [pid=20530/tid=20531] ppid=20528 vsize=6364156 CPUtime=0.08 cores=1,3 /proc/20530/task/20531/stat : 20531 (java) R 20528 20530 20262 0 -1 4202560 8795 0 1 0 8 0 0 0 25 0 18 0 970113401 6516895744 9666 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 47908833443747 0 4 0 16800975 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 6364156 [startup+0.201007 s] /proc/loadavg: 0.73 0.18 0.40 5/243 20530 /proc/meminfo: memFree=31313348/32950940 swapFree=67074964/67111528 [pid=20530] ppid=20528 vsize=6365804 CPUtime=0.27 cores=1,3 /proc/20530/stat : 20530 (java) S 20528 20530 20262 0 -1 4202496 12054 0 1 0 26 1 0 0 22 0 18 0 970113401 6518583296 11652 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/20530/statm: 1591451 11653 2186 9 0 1582189 0 [pid=20530/tid=20531] ppid=20528 vsize=6365804 CPUtime=0.17 cores=1,3 /proc/20530/task/20531/stat : 20531 (java) R 20528 20530 20262 0 -1 4202560 9902 0 1 0 17 0 0 0 25 0 18 0 970113401 6518583296 11654 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 46912505544026 0 4 0 16800975 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 0.27 Current children cumulated vsize (KiB) 6365804 [startup+0.300991 s] /proc/loadavg: 0.73 0.18 0.40 5/243 20530 /proc/meminfo: memFree=31313348/32950940 swapFree=67074964/67111528 [pid=20530] ppid=20528 vsize=6368096 CPUtime=0.46 cores=1,3 /proc/20530/stat : 20530 (java) S 20528 20530 20262 0 -1 4202496 21555 0 1 0 44 2 0 0 22 0 18 0 970113401 6520930304 20883 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/20530/statm: 1592024 20888 2195 9 0 1582762 0 [pid=20530/tid=20531] ppid=20528 vsize=6368096 CPUtime=0.27 cores=1,3 /proc/20530/task/20531/stat : 20531 (java) R 20528 20530 20262 0 -1 4202560 18558 0 1 0 26 1 0 0 25 0 18 0 970113401 6520930304 20890 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 46912505514962 0 4 0 16800975 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 0.46 Current children cumulated vsize (KiB) 6368096 [startup+0.700917 s] /proc/loadavg: 0.73 0.18 0.40 5/243 20530 /proc/meminfo: memFree=31313348/32950940 swapFree=67074964/67111528 [pid=20530] ppid=20528 vsize=6435636 CPUtime=1.12 cores=1,3 /proc/20530/stat : 20530 (java) S 20528 20530 20262 0 -1 4202496 31507 0 1 0 109 3 0 0 22 0 19 0 970113401 6590091264 30749 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/20530/statm: 1608909 30749 2214 9 0 1599647 0 [pid=20530/tid=20531] ppid=20528 vsize=6435636 CPUtime=0.67 cores=1,3 /proc/20530/task/20531/stat : 20531 (java) R 20528 20530 20262 0 -1 4202560 28055 0 1 0 64 3 0 0 25 0 19 0 970113401 6590091264 30749 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 47908834445365 0 4 0 16800975 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1.12 Current children cumulated vsize (KiB) 6435636 [startup+1.50078 s] /proc/loadavg: 0.73 0.18 0.40 5/262 20553 /proc/meminfo: memFree=31163368/32950940 swapFree=67074964/67111528 [pid=20530] ppid=20528 vsize=6435636 CPUtime=2.12 cores=1,3 /proc/20530/stat : 20530 (java) S 20528 20530 20262 0 -1 4202496 50329 0 1 0 207 5 0 0 22 0 18 0 970113401 6590091264 48366 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/20530/statm: 1608909 48366 2223 9 0 1599647 0 [pid=20530/tid=20531] ppid=20528 vsize=6435636 CPUtime=1.46 cores=1,3 /proc/20530/task/20531/stat : 20531 (java) R 20528 20530 20262 0 -1 4202560 45127 0 1 0 142 4 0 0 25 0 18 0 970113401 6590091264 48366 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 46912505626793 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=20530/tid=20533] ppid=20528 vsize=6435636 CPUtime=0 cores=1,3 /proc/20530/task/20533/stat : 20533 (java) S 20528 20530 20262 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 970113402 6590091264 48366 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 216000408473 0 4 0 16800975 18446604471116501312 0 0 -1 1 0 0 0 [pid=20530/tid=20534] ppid=20528 vsize=6435636 CPUtime=0 cores=1,3 /proc/20530/task/20534/stat : 20534 (java) S 20528 20530 20262 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 970113402 6590091264 48366 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 216000408473 0 4 0 16800975 18446604471116501312 0 0 -1 1 0 0 0 [pid=20530/tid=20535] ppid=20528 vsize=6435636 CPUtime=0 cores=1,3 /proc/20530/task/20535/stat : 20535 (java) S 20528 20530 20262 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 970113402 6590091264 48366 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 216000408473 0 4 0 16800975 18446604471116501312 0 0 -1 1 0 0 0 [pid=20530/tid=20536] ppid=20528 vsize=6435636 CPUtime=0 cores=1,3 /proc/20530/task/20536/stat : 20536 (java) S 20528 20530 20262 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 970113402 6590091264 48366 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 216000408473 0 4 0 16800975 18446604471116501312 0 0 -1 1 0 0 0 [pid=20530/tid=20537] ppid=20528 vsize=6435636 CPUtime=0 cores=1,3 /proc/20530/task/20537/stat : 20537 (java) S 20528 20530 20262 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 970113402 6590091264 48366 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 216000408473 0 4 0 16800975 18446604471116501312 0 0 -1 1 0 0 0 [pid=20530/tid=20538] ppid=20528 vsize=6435636 CPUtime=0 cores=1,3 /proc/20530/task/20538/stat : 20538 (java) S 20528 20530 20262 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 970113402 6590091264 48366 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 216000408473 0 4 0 16800975 18446604471116501312 0 0 -1 1 0 0 0 [pid=20530/tid=20539] ppid=20528 vsize=6435636 CPUtime=0 cores=1,3 /proc/20530/task/20539/stat : 20539 (java) S 20528 20530 20262 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 970113402 6590091264 48366 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 216000408473 0 4 0 16800975 18446604471116501312 0 0 -1 1 0 0 0 [pid=20530/tid=20540] ppid=20528 vsize=6435636 CPUtime=0 cores=1,3 /proc/20530/task/20540/stat : 20540 (java) S 20528 20530 20262 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 970113402 6590091264 48366 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 216000408473 0 4 0 16800975 18446604471116501312 0 0 -1 1 0 0 0 [pid=20530/tid=20541] ppid=20528 vsize=6435636 CPUtime=0 cores=1,3 /proc/20530/task/20541/stat : 20541 (java) S 20528 20530 20262 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 18 0 970113403 6590091264 48366 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 216000409088 0 0 0 16800975 18446604471116501312 0 0 -1 1 0 0 0 [pid=20530/tid=20542] ppid=20528 vsize=6435636 CPUtime=0 cores=1,3 /proc/20530/task/20542/stat : 20542 (java) S 20528 20530 20262 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 970113404 6590091264 48366 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 216000408473 0 4 0 16800975 18446604471116501312 0 0 -1 1 0 0 0 [pid=20530/tid=20543] ppid=20528 vsize=6435636 CPUtime=0 cores=1,3 /proc/20530/task/20543/stat : 20543 (java) S 20528 20530 20262 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 970113404 6590091264 48366 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 216000408473 0 4 0 16800975 18446604471116501312 0 0 -1 1 0 0 0 [pid=20530/tid=20544] ppid=20528 vsize=6435636 CPUtime=0 cores=1,3 /proc/20530/task/20544/stat : 20544 (java) S 20528 20530 20262 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 970113406 6590091264 48366 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 216000416177 0 4 0 16800975 18446604471116501312 0 0 -1 1 0 0 0 [pid=20530/tid=20545] ppid=20528 vsize=6435636 CPUtime=0.37 cores=1,3 /proc/20530/task/20545/stat : 20545 (java) S 20528 20530 20262 0 -1 4202560 2470 0 0 0 37 0 0 0 25 0 18 0 970113406 6590091264 48366 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 216000408473 0 4 0 16800975 18446604471116501312 0 0 -1 3 0 0 0 [pid=20530/tid=20546] ppid=20528 vsize=6435636 CPUtime=0.26 cores=1,3 /proc/20530/task/20546/stat : 20546 (java) S 20528 20530 20262 0 -1 4202560 1571 0 0 0 26 0 0 0 24 0 18 0 970113407 6590091264 48366 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 216000408473 0 4 0 16800975 18446604471116501312 0 0 -1 3 0 0 0 [pid=20530/tid=20547] ppid=20528 vsize=6435636 CPUtime=0 cores=1,3 /proc/20530/task/20547/stat : 20547 (java) S 20528 20530 20262 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 970113407 6590091264 48366 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 216000408473 0 4 0 16800975 18446604471116501312 0 0 -1 1 0 0 0 [pid=20530/tid=20548] ppid=20528 vsize=6435636 CPUtime=0 cores=1,3 /proc/20530/task/20548/stat : 20548 (java) S 20528 20530 20262 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 970113407 6590091264 48366 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 216000409088 0 4 0 16800975 18446604471116501312 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 2.12 Current children cumulated vsize (KiB) 6435636 [startup+3.10156 s] /proc/loadavg: 0.99 0.24 0.42 5/262 20570 /proc/meminfo: memFree=31042340/32950940 swapFree=67074964/67111528 [pid=20530] ppid=20528 vsize=6435636 CPUtime=3.75 cores=1,3 /proc/20530/stat : 20530 (java) S 20528 20530 20262 0 -1 4202496 87234 0 1 0 365 10 0 0 22 0 18 0 970113401 6590091264 85270 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/20530/statm: 1608909 85270 2225 9 0 1599647 0 [pid=20530/tid=20531] ppid=20528 vsize=6435636 CPUtime=3.07 cores=1,3 /proc/20530/task/20531/stat : 20531 (java) R 20528 20530 20262 0 -1 4202560 82026 0 1 0 298 9 0 0 18 0 18 0 970113401 6590091264 85270 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 46912505640079 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=20530/tid=20533] ppid=20528 vsize=6435636 CPUtime=0 cores=1,3 /proc/20530/task/20533/stat : 20533 (java) S 20528 20530 20262 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 970113402 6590091264 85270 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 216000408473 0 4 0 16800975 18446604471116501312 0 0 -1 1 0 0 0 [pid=20530/tid=20534] ppid=20528 vsize=6435636 CPUtime=0 cores=1,3 /proc/20530/task/20534/stat : 20534 (java) S 20528 20530 20262 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 970113402 6590091264 85270 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 216000408473 0 4 0 16800975 18446604471116501312 0 0 -1 1 0 0 0 [pid=20530/tid=20535] ppid=20528 vsize=6435636 CPUtime=0 cores=1,3 /proc/20530/task/20535/stat : 20535 (java) S 20528 20530 20262 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 970113402 6590091264 85270 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 216000408473 0 4 0 16800975 18446604471116501312 0 0 -1 1 0 0 0 [pid=20530/tid=20536] ppid=20528 vsize=6435636 CPUtime=0 cores=1,3 /proc/20530/task/20536/stat : 20536 (java) S 20528 20530 20262 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 970113402 6590091264 85270 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 216000408473 0 4 0 16800975 18446604471116501312 0 0 -1 1 0 0 0 [pid=20530/tid=20537] ppid=20528 vsize=6435636 CPUtime=0 cores=1,3 /proc/20530/task/20537/stat : 20537 (java) S 20528 20530 20262 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 970113402 6590091264 85270 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 216000408473 0 4 0 16800975 18446604471116501312 0 0 -1 1 0 0 0 [pid=20530/tid=20538] ppid=20528 vsize=6435636 CPUtime=0 cores=1,3 /proc/20530/task/20538/stat : 20538 (java) S 20528 20530 20262 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 970113402 6590091264 85270 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 216000408473 0 4 0 16800975 18446604471116501312 0 0 -1 1 0 0 0 [pid=20530/tid=20539] ppid=20528 vsize=6435636 CPUtime=0 cores=1,3 /proc/20530/task/20539/stat : 20539 (java) S 20528 20530 20262 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 970113402 6590091264 85270 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 216000408473 0 4 0 16800975 18446604471116501312 0 0 -1 1 0 0 0 [pid=20530/tid=20540] ppid=20528 vsize=6435636 CPUtime=0 cores=1,3 /proc/20530/task/20540/stat : 20540 (java) S 20528 20530 20262 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 970113402 6590091264 85270 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 216000408473 0 4 0 16800975 18446604471116501312 0 0 -1 1 0 0 0 [pid=20530/tid=20541] ppid=20528 vsize=6435636 CPUtime=0 cores=1,3 /proc/20530/task/20541/stat : 20541 (java) S 20528 20530 20262 0 -1 4202560 4 0 0 0 0 0 0 0 16 0 18 0 970113403 6590091264 85270 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 216000409088 0 0 0 16800975 18446604471116501312 0 0 -1 1 0 0 0 [pid=20530/tid=20542] ppid=20528 vsize=6435636 CPUtime=0 cores=1,3 /proc/20530/task/20542/stat : 20542 (java) S 20528 20530 20262 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 970113404 6590091264 85270 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 216000408473 0 4 0 16800975 18446604471116501312 0 0 -1 1 0 0 0 [pid=20530/tid=20543] ppid=20528 vsize=6435636 CPUtime=0 cores=1,3 /proc/20530/task/20543/stat : 20543 (java) S 20528 20530 20262 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 970113404 6590091264 85270 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 216000408473 0 4 0 16800975 18446604471116501312 0 0 -1 1 0 0 0 [pid=20530/tid=20544] ppid=20528 vsize=6435636 CPUtime=0 cores=1,3 /proc/20530/task/20544/stat : 20544 (java) S 20528 20530 20262 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 970113406 6590091264 85270 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 216000416177 0 4 0 16800975 18446604471116501312 0 0 -1 1 0 0 0 [pid=20530/tid=20545] ppid=20528 vsize=6435636 CPUtime=0.39 cores=1,3 /proc/20530/task/20545/stat : 20545 (java) S 20528 20530 20262 0 -1 4202560 2475 0 0 0 39 0 0 0 15 0 18 0 970113406 6590091264 85270 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 216000408473 0 4 0 16800975 18446604471116501312 0 0 -1 3 0 0 0 [pid=20530/tid=20546] ppid=20528 vsize=6435636 CPUtime=0.26 cores=1,3 /proc/20530/task/20546/stat : 20546 (java) S 20528 20530 20262 0 -1 4202560 1571 0 0 0 26 0 0 0 24 0 18 0 970113407 6590091264 85270 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 216000408473 0 4 0 16800975 18446604471116501312 0 0 -1 3 0 0 0 [pid=20530/tid=20547] ppid=20528 vsize=6435636 CPUtime=0 cores=1,3 /proc/20530/task/20547/stat : 20547 (java) S 20528 20530 20262 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 970113407 6590091264 85270 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 216000408473 0 4 0 16800975 18446604471116501312 0 0 -1 1 0 0 0 [pid=20530/tid=20548] ppid=20528 vsize=6435636 CPUtime=0 cores=1,3 /proc/20530/task/20548/stat : 20548 (java) S 20528 20530 20262 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 970113407 6590091264 85270 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 216000409088 0 4 0 16800975 18446604471116501312 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 3.75 Current children cumulated vsize (KiB) 6435636 [startup+6.30094 s] /proc/loadavg: 0.99 0.24 0.42 5/261 20749 /proc/meminfo: memFree=30464732/32950940 swapFree=67074964/67111528 [pid=20530] ppid=20528 vsize=6435556 CPUtime=7 cores=1,3 /proc/20530/stat : 20530 (java) S 20528 20530 20262 0 -1 4202496 161667 0 1 0 682 18 0 0 22 0 19 0 970113401 6590009344 159281 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/20530/statm: 1608889 159281 2226 9 0 1599627 0 [pid=20530/tid=20531] ppid=20528 vsize=6435556 CPUtime=6.26 cores=1,3 /proc/20530/task/20531/stat : 20531 (java) R 20528 20530 20262 0 -1 4202560 156412 0 1 0 610 16 0 0 25 0 19 0 970113401 6590009344 159281 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 46912505789966 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=20530/tid=20533] ppid=20528 vsize=6435556 CPUtime=0 cores=1,3 /proc/20530/task/20533/stat : 20533 (java) S 20528 20530 20262 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 970113402 6590009344 159281 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 216000408473 0 4 0 16800975 18446604471116501312 0 0 -1 1 0 0 0 [pid=20530/tid=20534] ppid=20528 vsize=6435556 CPUtime=0 cores=1,3 /proc/20530/task/20534/stat : 20534 (java) S 20528 20530 20262 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 970113402 6590009344 159281 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 216000408473 0 4 0 16800975 18446604471116501312 0 0 -1 1 0 0 0 [pid=20530/tid=20535] ppid=20528 vsize=6435556 CPUtime=0 cores=1,3 /proc/20530/task/20535/stat : 20535 (java) S 20528 20530 20262 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 970113402 6590009344 159281 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 216000408473 0 4 0 16800975 18446604471116501312 0 0 -1 1 0 0 0 [pid=20530/tid=20536] ppid=20528 vsize=6435556 CPUtime=0 cores=1,3 /proc/20530/task/20536/stat : 20536 (java) S 20528 20530 20262 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 970113402 6590009344 159281 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 216000408473 0 4 0 16800975 18446604471116501312 0 0 -1 1 0 0 0 [pid=20530/tid=20537] ppid=20528 vsize=6435556 CPUtime=0 cores=1,3 /proc/20530/task/20537/stat : 20537 (java) S 20528 20530 20262 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 970113402 6590009344 159281 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 216000408473 0 4 0 16800975 18446604471116501312 0 0 -1 1 0 0 0 [pid=20530/tid=20538] ppid=20528 vsize=6435556 CPUtime=0 cores=1,3 /proc/20530/task/20538/stat : 20538 (java) S 20528 20530 20262 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 970113402 6590009344 159281 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 216000408473 0 4 0 16800975 18446604471116501312 0 0 -1 1 0 0 0 [pid=20530/tid=20539] ppid=20528 vsize=6435556 CPUtime=0 cores=1,3 /proc/20530/task/20539/stat : 20539 (java) S 20528 20530 20262 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 970113402 6590009344 159281 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 216000408473 0 4 0 16800975 18446604471116501312 0 0 -1 1 0 0 0 [pid=20530/tid=20540] ppid=20528 vsize=6435556 CPUtime=0 cores=1,3 /proc/20530/task/20540/stat : 20540 (java) S 20528 20530 20262 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 970113402 6590009344 159281 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 216000408473 0 4 0 16800975 18446604471116501312 0 0 -1 1 0 0 0 [pid=20530/tid=20541] ppid=20528 vsize=6435556 CPUtime=0 cores=1,3 /proc/20530/task/20541/stat : 20541 (java) S 20528 20530 20262 0 -1 4202560 4 0 0 0 0 0 0 0 16 0 19 0 970113403 6590009344 159281 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 216000409088 0 0 0 16800975 18446604471116501312 0 0 -1 1 0 0 0 [pid=20530/tid=20542] ppid=20528 vsize=6435556 CPUtime=0 cores=1,3 /proc/20530/task/20542/stat : 20542 (java) S 20528 20530 20262 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 970113404 6590009344 159281 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 216000408473 0 4 0 16800975 18446604471116501312 0 0 -1 1 0 0 0 [pid=20530/tid=20543] ppid=20528 vsize=6435556 CPUtime=0 cores=1,3 /proc/20530/task/20543/stat : 20543 (java) S 20528 20530 20262 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 970113404 6590009344 159281 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 216000408473 0 4 0 16800975 18446604471116501312 0 0 -1 1 0 0 0 [pid=20530/tid=20544] ppid=20528 vsize=6435556 CPUtime=0 cores=1,3 /proc/20530/task/20544/stat : 20544 (java) S 20528 20530 20262 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 970113406 6590009344 159281 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 216000416177 0 4 0 16800975 18446604471116501312 0 0 -1 1 0 0 0 [pid=20530/tid=20545] ppid=20528 vsize=6435556 CPUtime=0.44 cores=1,3 /proc/20530/task/20545/stat : 20545 (java) S 20528 20530 20262 0 -1 4202560 2480 0 0 0 44 0 0 0 15 0 19 0 970113406 6590009344 159281 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 216000408473 0 4 0 16800975 18446604471116501312 0 0 -1 3 0 0 0 [pid=20530/tid=20546] ppid=20528 vsize=6435556 CPUtime=0.26 cores=1,3 /proc/20530/task/20546/stat : 20546 (java) S 20528 20530 20262 0 -1 4202560 1571 0 0 0 26 0 0 0 24 0 19 0 970113407 6590009344 159281 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 216000408473 0 4 0 16800975 18446604471116501312 0 0 -1 3 0 0 0 [pid=20530/tid=20547] ppid=20528 vsize=6435556 CPUtime=0 cores=1,3 /proc/20530/task/20547/stat : 20547 (java) S 20528 20530 20262 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 970113407 6590009344 159281 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 216000408473 0 4 0 16800975 18446604471116501312 0 0 -1 1 0 0 0 [pid=20530/tid=20548] ppid=20528 vsize=6435556 CPUtime=0 cores=1,3 /proc/20530/task/20548/stat : 20548 (java) S 20528 20530 20262 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 970113407 6590009344 159281 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 216000409088 0 4 0 16800975 18446604471116501312 0 0 -1 3 0 0 0 ################ # More data... # ################ [pid=20530/tid=20535] ppid=20528 vsize=6435556 CPUtime=0 cores=1,3 /proc/20530/task/20535/stat : 20535 (java) S 20528 20530 20262 0 -1 4202560 950 0 0 0 0 0 0 0 15 0 19 0 970113402 6590009344 428322 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 216000408473 0 4 0 16800975 18446604471116501312 0 0 -1 3 0 0 0 [pid=20530/tid=20536] ppid=20528 vsize=6435556 CPUtime=0.07 cores=1,3 /proc/20530/task/20536/stat : 20536 (java) S 20528 20530 20262 0 -1 4202560 1132 0 0 0 7 0 0 0 16 0 19 0 970113402 6590009344 428322 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 216000408473 0 4 0 16800975 18446604471116501312 0 0 -1 1 0 0 0 [pid=20530/tid=20537] ppid=20528 vsize=6435556 CPUtime=0.15 cores=1,3 /proc/20530/task/20537/stat : 20537 (java) S 20528 20530 20262 0 -1 4202560 9928 0 0 0 15 0 0 0 16 0 19 0 970113402 6590009344 428322 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 216000408473 0 4 0 16800975 18446604471116501312 0 0 -1 3 0 0 0 [pid=20530/tid=20538] ppid=20528 vsize=6435556 CPUtime=0 cores=1,3 /proc/20530/task/20538/stat : 20538 (java) S 20528 20530 20262 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 970113402 6590009344 428322 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 216000408473 0 4 0 16800975 18446604471116501312 0 0 -1 3 0 0 0 [pid=20530/tid=20539] ppid=20528 vsize=6435556 CPUtime=0 cores=1,3 /proc/20530/task/20539/stat : 20539 (java) S 20528 20530 20262 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 970113402 6590009344 428322 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 216000408473 0 4 0 16800975 18446604471116501312 0 0 -1 1 0 0 0 [pid=20530/tid=20540] ppid=20528 vsize=6435556 CPUtime=0.07 cores=1,3 /proc/20530/task/20540/stat : 20540 (java) S 20528 20530 20262 0 -1 4202560 7126 0 0 0 7 0 0 0 15 0 19 0 970113402 6590009344 428322 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 216000408473 0 4 0 16800975 18446604471116501312 0 0 -1 3 0 0 0 [pid=20530/tid=20541] ppid=20528 vsize=6435556 CPUtime=0 cores=1,3 /proc/20530/task/20541/stat : 20541 (java) S 20528 20530 20262 0 -1 4202560 147 0 0 0 0 0 0 0 15 0 19 0 970113403 6590009344 428322 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 216000409088 0 0 0 16800975 18446604471116501312 0 0 -1 1 0 0 0 [pid=20530/tid=20542] ppid=20528 vsize=6435556 CPUtime=0 cores=1,3 /proc/20530/task/20542/stat : 20542 (java) S 20528 20530 20262 0 -1 4202560 25 0 0 0 0 0 0 0 15 0 19 0 970113404 6590009344 428322 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 216000408473 0 4 0 16800975 18446604471116501312 0 0 -1 3 0 0 0 [pid=20530/tid=20543] ppid=20528 vsize=6435556 CPUtime=0 cores=1,3 /proc/20530/task/20543/stat : 20543 (java) S 20528 20530 20262 0 -1 4202560 44 0 0 0 0 0 0 0 15 0 19 0 970113404 6590009344 428322 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 216000408473 0 4 0 16800975 18446604471116501312 0 0 -1 1 0 0 0 [pid=20530/tid=20544] ppid=20528 vsize=6435556 CPUtime=0 cores=1,3 /proc/20530/task/20544/stat : 20544 (java) S 20528 20530 20262 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 970113406 6590009344 428322 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 216000416177 0 4 0 16800975 18446604471116501312 0 0 -1 1 0 0 0 [pid=20530/tid=20545] ppid=20528 vsize=6435556 CPUtime=0.48 cores=1,3 /proc/20530/task/20545/stat : 20545 (java) S 20528 20530 20262 0 -1 4202560 3242 0 0 0 48 0 0 0 15 0 19 0 970113406 6590009344 428322 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 216000408473 0 4 0 16800975 18446604471116501312 0 0 -1 3 0 0 0 [pid=20530/tid=20546] ppid=20528 vsize=6435556 CPUtime=0.26 cores=1,3 /proc/20530/task/20546/stat : 20546 (java) S 20528 20530 20262 0 -1 4202560 1571 0 0 0 26 0 0 0 24 0 19 0 970113407 6590009344 428322 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 216000408473 0 4 0 16800975 18446604471116501312 0 0 -1 3 0 0 0 [pid=20530/tid=20547] ppid=20528 vsize=6435556 CPUtime=0 cores=1,3 /proc/20530/task/20547/stat : 20547 (java) S 20528 20530 20262 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 970113407 6590009344 428322 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 216000408473 0 4 0 16800975 18446604471116501312 0 0 -1 1 0 0 0 [pid=20530/tid=20548] ppid=20528 vsize=6435556 CPUtime=0 cores=1,3 /proc/20530/task/20548/stat : 20548 (java) S 20528 20530 20262 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 970113407 6590009344 428322 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 216000409088 0 4 0 16800975 18446604471116501312 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 42.59 Current children cumulated vsize (KiB) 6435556 [startup+43.2015 s] /proc/loadavg: 2.52 0.73 0.58 5/262 22343 /proc/meminfo: memFree=28314520/32950940 swapFree=67074964/67111528 [pid=20530] ppid=20528 vsize=6435556 CPUtime=44.19 cores=1,3 /proc/20530/stat : 20530 (java) S 20528 20530 20262 0 -1 4202496 431273 0 1 0 4368 51 0 0 22 0 19 0 970113401 6590009344 428323 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/20530/statm: 1608889 428323 2241 9 0 1599627 0 [pid=20530/tid=20531] ppid=20528 vsize=6435556 CPUtime=42.84 cores=1,3 /proc/20530/task/20531/stat : 20531 (java) R 20528 20530 20262 0 -1 4202560 391616 0 1 0 4240 44 0 0 25 0 19 0 970113401 6590009344 428323 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 46912505789759 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=20530/tid=20533] ppid=20528 vsize=6435556 CPUtime=0.08 cores=1,3 /proc/20530/task/20533/stat : 20533 (java) S 20528 20530 20262 0 -1 4202560 7245 0 0 0 8 0 0 0 16 0 19 0 970113402 6590009344 428323 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 216000408473 0 4 0 16800975 18446604471116501312 0 0 -1 3 0 0 0 [pid=20530/tid=20534] ppid=20528 vsize=6435556 CPUtime=0.08 cores=1,3 /proc/20530/task/20534/stat : 20534 (java) S 20528 20530 20262 0 -1 4202560 7066 0 0 0 8 0 0 0 15 0 19 0 970113402 6590009344 428323 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 216000408473 0 4 0 16800975 18446604471116501312 0 0 -1 3 0 0 0 [pid=20530/tid=20535] ppid=20528 vsize=6435556 CPUtime=0 cores=1,3 /proc/20530/task/20535/stat : 20535 (java) S 20528 20530 20262 0 -1 4202560 950 0 0 0 0 0 0 0 15 0 19 0 970113402 6590009344 428323 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 216000408473 0 4 0 16800975 18446604471116501312 0 0 -1 3 0 0 0 [pid=20530/tid=20536] ppid=20528 vsize=6435556 CPUtime=0.07 cores=1,3 /proc/20530/task/20536/stat : 20536 (java) S 20528 20530 20262 0 -1 4202560 1132 0 0 0 7 0 0 0 16 0 19 0 970113402 6590009344 428323 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 216000408473 0 4 0 16800975 18446604471116501312 0 0 -1 1 0 0 0 [pid=20530/tid=20537] ppid=20528 vsize=6435556 CPUtime=0.15 cores=1,3 /proc/20530/task/20537/stat : 20537 (java) S 20528 20530 20262 0 -1 4202560 9928 0 0 0 15 0 0 0 16 0 19 0 970113402 6590009344 428323 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 216000408473 0 4 0 16800975 18446604471116501312 0 0 -1 3 0 0 0 [pid=20530/tid=20538] ppid=20528 vsize=6435556 CPUtime=0 cores=1,3 /proc/20530/task/20538/stat : 20538 (java) S 20528 20530 20262 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 970113402 6590009344 428323 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 216000408473 0 4 0 16800975 18446604471116501312 0 0 -1 3 0 0 0 [pid=20530/tid=20539] ppid=20528 vsize=6435556 CPUtime=0 cores=1,3 /proc/20530/task/20539/stat : 20539 (java) S 20528 20530 20262 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 970113402 6590009344 428323 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 216000408473 0 4 0 16800975 18446604471116501312 0 0 -1 1 0 0 0 [pid=20530/tid=20540] ppid=20528 vsize=6435556 CPUtime=0.07 cores=1,3 /proc/20530/task/20540/stat : 20540 (java) S 20528 20530 20262 0 -1 4202560 7126 0 0 0 7 0 0 0 15 0 19 0 970113402 6590009344 428323 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 216000408473 0 4 0 16800975 18446604471116501312 0 0 -1 3 0 0 0 [pid=20530/tid=20541] ppid=20528 vsize=6435556 CPUtime=0 cores=1,3 /proc/20530/task/20541/stat : 20541 (java) S 20528 20530 20262 0 -1 4202560 147 0 0 0 0 0 0 0 15 0 19 0 970113403 6590009344 428323 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 216000409088 0 0 0 16800975 18446604471116501312 0 0 -1 1 0 0 0 [pid=20530/tid=20542] ppid=20528 vsize=6435556 CPUtime=0 cores=1,3 /proc/20530/task/20542/stat : 20542 (java) S 20528 20530 20262 0 -1 4202560 25 0 0 0 0 0 0 0 15 0 19 0 970113404 6590009344 428323 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 216000408473 0 4 0 16800975 18446604471116501312 0 0 -1 3 0 0 0 [pid=20530/tid=20543] ppid=20528 vsize=6435556 CPUtime=0 cores=1,3 /proc/20530/task/20543/stat : 20543 (java) S 20528 20530 20262 0 -1 4202560 44 0 0 0 0 0 0 0 15 0 19 0 970113404 6590009344 428323 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 216000408473 0 4 0 16800975 18446604471116501312 0 0 -1 1 0 0 0 [pid=20530/tid=20544] ppid=20528 vsize=6435556 CPUtime=0 cores=1,3 /proc/20530/task/20544/stat : 20544 (java) S 20528 20530 20262 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 970113406 6590009344 428323 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 216000416177 0 4 0 16800975 18446604471116501312 0 0 -1 1 0 0 0 [pid=20530/tid=20545] ppid=20528 vsize=6435556 CPUtime=0.48 cores=1,3 /proc/20530/task/20545/stat : 20545 (java) S 20528 20530 20262 0 -1 4202560 3242 0 0 0 48 0 0 0 15 0 19 0 970113406 6590009344 428323 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 216000408473 0 4 0 16800975 18446604471116501312 0 0 -1 3 0 0 0 [pid=20530/tid=20546] ppid=20528 vsize=6435556 CPUtime=0.26 cores=1,3 /proc/20530/task/20546/stat : 20546 (java) S 20528 20530 20262 0 -1 4202560 1571 0 0 0 26 0 0 0 24 0 19 0 970113407 6590009344 428323 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 216000408473 0 4 0 16800975 18446604471116501312 0 0 -1 3 0 0 0 [pid=20530/tid=20547] ppid=20528 vsize=6435556 CPUtime=0 cores=1,3 /proc/20530/task/20547/stat : 20547 (java) S 20528 20530 20262 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 970113407 6590009344 428323 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 216000408473 0 4 0 16800975 18446604471116501312 0 0 -1 1 0 0 0 [pid=20530/tid=20548] ppid=20528 vsize=6435556 CPUtime=0 cores=1,3 /proc/20530/task/20548/stat : 20548 (java) S 20528 20530 20262 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 970113407 6590009344 428323 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 216000409088 0 4 0 16800975 18446604471116501312 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 44.19 Current children cumulated vsize (KiB) 6435556 [startup+43.6394 s] /proc/loadavg: 2.52 0.73 0.58 5/262 22343 /proc/meminfo: memFree=28314520/32950940 swapFree=67074964/67111528 [pid=20530] ppid=20528 vsize=6436880 CPUtime=44.75 cores=1,3 /proc/20530/stat : 20530 (java) S 20528 20530 20262 0 -1 4202496 435374 0 1 0 4424 51 0 0 22 0 18 0 970113401 6591365120 431030 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/20530/statm: 1609220 431030 2241 9 0 1599958 0 [pid=20530/tid=20531] ppid=20528 vsize=6436880 CPUtime=43.28 cores=1,3 /proc/20530/task/20531/stat : 20531 (java) R 20528 20530 20262 0 -1 4202560 391616 0 1 0 4284 44 0 0 25 0 18 0 970113401 6591365120 431030 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 47908834525321 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=20530/tid=20533] ppid=20528 vsize=6436880 CPUtime=0.08 cores=1,3 /proc/20530/task/20533/stat : 20533 (java) S 20528 20530 20262 0 -1 4202560 7245 0 0 0 8 0 0 0 16 0 18 0 970113402 6591365120 431030 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 216000408473 0 4 0 16800975 18446604471116501312 0 0 -1 3 0 0 0 [pid=20530/tid=20534] ppid=20528 vsize=6436880 CPUtime=0.08 cores=1,3 /proc/20530/task/20534/stat : 20534 (java) S 20528 20530 20262 0 -1 4202560 7066 0 0 0 8 0 0 0 15 0 18 0 970113402 6591365120 431030 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 216000408473 0 4 0 16800975 18446604471116501312 0 0 -1 3 0 0 0 [pid=20530/tid=20535] ppid=20528 vsize=6436880 CPUtime=0 cores=1,3 /proc/20530/task/20535/stat : 20535 (java) S 20528 20530 20262 0 -1 4202560 950 0 0 0 0 0 0 0 15 0 18 0 970113402 6591365120 431030 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 216000408473 0 4 0 16800975 18446604471116501312 0 0 -1 3 0 0 0 [pid=20530/tid=20536] ppid=20528 vsize=6436880 CPUtime=0.07 cores=1,3 /proc/20530/task/20536/stat : 20536 (java) S 20528 20530 20262 0 -1 4202560 1132 0 0 0 7 0 0 0 16 0 18 0 970113402 6591365120 431030 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 216000408473 0 4 0 16800975 18446604471116501312 0 0 -1 1 0 0 0 [pid=20530/tid=20537] ppid=20528 vsize=6436880 CPUtime=0.15 cores=1,3 /proc/20530/task/20537/stat : 20537 (java) S 20528 20530 20262 0 -1 4202560 9928 0 0 0 15 0 0 0 16 0 18 0 970113402 6591365120 431030 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 216000408473 0 4 0 16800975 18446604471116501312 0 0 -1 3 0 0 0 [pid=20530/tid=20538] ppid=20528 vsize=6436880 CPUtime=0 cores=1,3 /proc/20530/task/20538/stat : 20538 (java) S 20528 20530 20262 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 970113402 6591365120 431030 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 216000408473 0 4 0 16800975 18446604471116501312 0 0 -1 3 0 0 0 [pid=20530/tid=20539] ppid=20528 vsize=6436880 CPUtime=0 cores=1,3 /proc/20530/task/20539/stat : 20539 (java) S 20528 20530 20262 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 970113402 6591365120 431030 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 216000408473 0 4 0 16800975 18446604471116501312 0 0 -1 1 0 0 0 [pid=20530/tid=20540] ppid=20528 vsize=6436880 CPUtime=0.07 cores=1,3 /proc/20530/task/20540/stat : 20540 (java) S 20528 20530 20262 0 -1 4202560 7126 0 0 0 7 0 0 0 15 0 18 0 970113402 6591365120 431030 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 216000408473 0 4 0 16800975 18446604471116501312 0 0 -1 3 0 0 0 [pid=20530/tid=20541] ppid=20528 vsize=6436880 CPUtime=0 cores=1,3 /proc/20530/task/20541/stat : 20541 (java) S 20528 20530 20262 0 -1 4202560 147 0 0 0 0 0 0 0 15 0 18 0 970113403 6591365120 431030 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 216000409088 0 0 0 16800975 18446604471116501312 0 0 -1 1 0 0 0 [pid=20530/tid=20542] ppid=20528 vsize=6436880 CPUtime=0 cores=1,3 /proc/20530/task/20542/stat : 20542 (java) S 20528 20530 20262 0 -1 4202560 25 0 0 0 0 0 0 0 15 0 18 0 970113404 6591365120 431030 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 216000408473 0 4 0 16800975 18446604471116501312 0 0 -1 3 0 0 0 [pid=20530/tid=20543] ppid=20528 vsize=6436880 CPUtime=0 cores=1,3 /proc/20530/task/20543/stat : 20543 (java) S 20528 20530 20262 0 -1 4202560 44 0 0 0 0 0 0 0 15 0 18 0 970113404 6591365120 431030 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 216000408473 0 4 0 16800975 18446604471116501312 0 0 -1 1 0 0 0 [pid=20530/tid=20544] ppid=20528 vsize=6436880 CPUtime=0 cores=1,3 /proc/20530/task/20544/stat : 20544 (java) S 20528 20530 20262 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 970113406 6591365120 431030 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 216000416177 0 4 0 16800975 18446604471116501312 0 0 -1 1 0 0 0 [pid=20530/tid=20545] ppid=20528 vsize=6436880 CPUtime=0.61 cores=1,3 /proc/20530/task/20545/stat : 20545 (java) R 20528 20530 20262 0 -1 4202560 7343 0 0 0 61 0 0 0 16 0 18 0 970113406 6591365120 431030 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 47908833059306 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=20530/tid=20546] ppid=20528 vsize=6436880 CPUtime=0.26 cores=1,3 /proc/20530/task/20546/stat : 20546 (java) R 20528 20530 20262 0 -1 4202560 1571 0 0 0 26 0 0 0 18 0 18 0 970113407 6591365120 431030 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 216000408473 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=20530/tid=20547] ppid=20528 vsize=6436880 CPUtime=0 cores=1,3 /proc/20530/task/20547/stat : 20547 (java) S 20528 20530 20262 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 970113407 6591365120 431030 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 216000408473 0 4 0 16800975 18446604471116501312 0 0 -1 1 0 0 0 [pid=20530/tid=20548] ppid=20528 vsize=6436880 CPUtime=0 cores=1,3 /proc/20530/task/20548/stat : 20548 (java) S 20528 20530 20262 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 18 0 970113407 6591365120 431030 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 216000409088 0 4 0 16800975 18446604471116501312 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 44.75 Current children cumulated vsize (KiB) 6436880 [startup+43.8014 s] /proc/loadavg: 2.52 0.73 0.58 5/262 22343 /proc/meminfo: memFree=28314520/32950940 swapFree=67074964/67111528 [pid=20530] ppid=20528 vsize=6435556 CPUtime=44.96 cores=1,3 /proc/20530/stat : 20530 (java) S 20528 20530 20262 0 -1 4202496 435693 0 1 0 4445 51 0 0 22 0 18 0 970113401 6590009344 431018 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/20530/statm: 1608889 431018 2241 9 0 1599627 0 [pid=20530/tid=20531] ppid=20528 vsize=6435556 CPUtime=43.44 cores=1,3 /proc/20530/task/20531/stat : 20531 (java) R 20528 20530 20262 0 -1 4202560 391620 0 1 0 4300 44 0 0 25 0 18 0 970113401 6590009344 431018 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 46912505591136 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=20530/tid=20533] ppid=20528 vsize=6435556 CPUtime=0.08 cores=1,3 /proc/20530/task/20533/stat : 20533 (java) S 20528 20530 20262 0 -1 4202560 7245 0 0 0 8 0 0 0 16 0 18 0 970113402 6590009344 431018 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 216000408473 0 4 0 16800975 18446604471116501312 0 0 -1 3 0 0 0 [pid=20530/tid=20534] ppid=20528 vsize=6435556 CPUtime=0.08 cores=1,3 /proc/20530/task/20534/stat : 20534 (java) S 20528 20530 20262 0 -1 4202560 7066 0 0 0 8 0 0 0 15 0 18 0 970113402 6590009344 431018 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 216000408473 0 4 0 16800975 18446604471116501312 0 0 -1 3 0 0 0 [pid=20530/tid=20535] ppid=20528 vsize=6435556 CPUtime=0 cores=1,3 /proc/20530/task/20535/stat : 20535 (java) S 20528 20530 20262 0 -1 4202560 950 0 0 0 0 0 0 0 15 0 18 0 970113402 6590009344 431018 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 216000408473 0 4 0 16800975 18446604471116501312 0 0 -1 3 0 0 0 [pid=20530/tid=20536] ppid=20528 vsize=6435556 CPUtime=0.07 cores=1,3 /proc/20530/task/20536/stat : 20536 (java) S 20528 20530 20262 0 -1 4202560 1132 0 0 0 7 0 0 0 16 0 18 0 970113402 6590009344 431018 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 216000408473 0 4 0 16800975 18446604471116501312 0 0 -1 1 0 0 0 [pid=20530/tid=20537] ppid=20528 vsize=6435556 CPUtime=0.15 cores=1,3 /proc/20530/task/20537/stat : 20537 (java) S 20528 20530 20262 0 -1 4202560 9928 0 0 0 15 0 0 0 16 0 18 0 970113402 6590009344 431018 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 216000408473 0 4 0 16800975 18446604471116501312 0 0 -1 3 0 0 0 [pid=20530/tid=20538] ppid=20528 vsize=6435556 CPUtime=0 cores=1,3 /proc/20530/task/20538/stat : 20538 (java) S 20528 20530 20262 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 970113402 6590009344 431018 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 216000408473 0 4 0 16800975 18446604471116501312 0 0 -1 3 0 0 0 [pid=20530/tid=20539] ppid=20528 vsize=6435556 CPUtime=0 cores=1,3 /proc/20530/task/20539/stat : 20539 (java) S 20528 20530 20262 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 970113402 6590009344 431018 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 216000408473 0 4 0 16800975 18446604471116501312 0 0 -1 1 0 0 0 [pid=20530/tid=20540] ppid=20528 vsize=6435556 CPUtime=0.07 cores=1,3 /proc/20530/task/20540/stat : 20540 (java) S 20528 20530 20262 0 -1 4202560 7126 0 0 0 7 0 0 0 15 0 18 0 970113402 6590009344 431018 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 216000408473 0 4 0 16800975 18446604471116501312 0 0 -1 3 0 0 0 [pid=20530/tid=20541] ppid=20528 vsize=6435556 CPUtime=0 cores=1,3 /proc/20530/task/20541/stat : 20541 (java) S 20528 20530 20262 0 -1 4202560 147 0 0 0 0 0 0 0 15 0 18 0 970113403 6590009344 431018 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 216000409088 0 0 0 16800975 18446604471116501312 0 0 -1 1 0 0 0 [pid=20530/tid=20542] ppid=20528 vsize=6435556 CPUtime=0 cores=1,3 /proc/20530/task/20542/stat : 20542 (java) S 20528 20530 20262 0 -1 4202560 25 0 0 0 0 0 0 0 15 0 18 0 970113404 6590009344 431018 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 216000408473 0 4 0 16800975 18446604471116501312 0 0 -1 3 0 0 0 [pid=20530/tid=20543] ppid=20528 vsize=6435556 CPUtime=0 cores=1,3 /proc/20530/task/20543/stat : 20543 (java) S 20528 20530 20262 0 -1 4202560 44 0 0 0 0 0 0 0 15 0 18 0 970113404 6590009344 431018 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 216000408473 0 4 0 16800975 18446604471116501312 0 0 -1 1 0 0 0 [pid=20530/tid=20544] ppid=20528 vsize=6435556 CPUtime=0 cores=1,3 /proc/20530/task/20544/stat : 20544 (java) S 20528 20530 20262 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 970113406 6590009344 431018 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 216000416177 0 4 0 16800975 18446604471116501312 0 0 -1 1 0 0 0 [pid=20530/tid=20545] ppid=20528 vsize=6435556 CPUtime=0.66 cores=1,3 /proc/20530/task/20545/stat : 20545 (java) S 20528 20530 20262 0 -1 4202560 7658 0 0 0 66 0 0 0 16 0 18 0 970113406 6590009344 431018 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 216000408473 0 4 0 16800975 18446604471116501312 0 0 -1 3 0 0 0 [pid=20530/tid=20546] ppid=20528 vsize=6435556 CPUtime=0.26 cores=1,3 /proc/20530/task/20546/stat : 20546 (java) S 20528 20530 20262 0 -1 4202560 1571 0 0 0 26 0 0 0 17 0 18 0 970113407 6590009344 431018 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 216000408473 0 4 0 16800975 18446604471116501312 0 0 -1 3 0 0 0 [pid=20530/tid=20547] ppid=20528 vsize=6435556 CPUtime=0 cores=1,3 /proc/20530/task/20547/stat : 20547 (java) S 20528 20530 20262 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 970113407 6590009344 431018 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 216000408473 0 4 0 16800975 18446604471116501312 0 0 -1 1 0 0 0 [pid=20530/tid=20548] ppid=20528 vsize=6435556 CPUtime=0 cores=1,3 /proc/20530/task/20548/stat : 20548 (java) S 20528 20530 20262 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 18 0 970113407 6590009344 431018 33554432000 1073741824 1073778376 140737053085728 18446744073709551615 216000409088 0 4 0 16800975 18446604471116501312 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 44.96 Current children cumulated vsize (KiB) 6435556 [startup+43.9014 s] /proc/loadavg: 2.52 0.73 0.58 5/262 22343 /proc/meminfo: memFree=28314520/32950940 swapFree=67074964/67111528 [pid=20530] ppid=20528 vsize=0 CPUtime=45.06 cores=1,3 /proc/20530/stat : 20530 (java) Z 20528 20530 20262 0 -1 4203548 435703 0 1 0 4452 54 0 0 18 0 2 0 970113401 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/20530/statm: 0 0 0 0 0 0 0 [pid=20530/tid=20546] ppid=20528 vsize=0 CPUtime=0.29 cores=1,3 /proc/20530/task/20546/stat : 20546 (java) R 20528 20530 20262 0 -1 4203588 1571 0 0 0 26 3 0 0 16 0 2 0 970113407 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 45.06 Current children cumulated vsize (KiB) 0 Child status: 20 Real time (s): 43.9317 CPU time (s): 45.0971 CPU user time (s): 44.5272 CPU system time (s): 0.569913 CPU usage (%): 102.653 Max. virtual memory (cumulated for all children) (KiB): 6436880 getrusage(RUSAGE_CHILDREN,...) data: user time used= 44.5272 system time used= 0.569913 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 435703 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= 4233 involuntary context switches= 3998 runsolver used 0.087986 second user time and 0.206968 second system time The end
Begin job on node117 at 2011-06-11 15:27:06 IDJOB=3493236 IDBENCH=89273 IDSOLVER=1972 FILE ID=node117/3493236-1307798826 RUNJOBID= node117-1307798811-20283 PBS_JOBID= 13551035 Free space on /tmp= 74020 MiB SOLVER NAME= SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 BENCH NAME= SAT11/mus/marques-silva/abstraction-refinement-intel/edn_20403_8.cnf_0.03000000.unsat.cnf COMMAND LINE= java -Xms6000m -Xmx6000m -jar sat4j-mus-v20110206.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3493236-1307798826/watcher-3493236-1307798826 -o /tmp/evaluation-result-3493236-1307798826/solver-3493236-1307798826 -C 1800 -W 1850 -M 7680 java -Xms6000m -Xmx6000m -jar sat4j-mus-v20110206.jar HOME/instance-3493236-1307798826.cnf TIME LIMIT= 1800 seconds MEMORY LIMIT= 7680 MiB NBCORE= 2 MD5SUM BENCH= 641e5b8b9b565f245ebcd79ffabd9f30 RANDOM SEED=1897069658 node117.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.849 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 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.849 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.849 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.849 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 : 5267.44 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950940 kB MemFree: 31313768 kB Buffers: 156212 kB Cached: 672256 kB SwapCached: 6160 kB Active: 969556 kB Inactive: 515904 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950940 kB LowFree: 31313768 kB SwapTotal: 67111528 kB SwapFree: 67074964 kB Dirty: 4300 kB Writeback: 0 kB AnonPages: 653484 kB Mapped: 22420 kB Slab: 84776 kB PageTables: 7196 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586996 kB Committed_AS: 18975956 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= 74020 MiB End job on node117 at 2011-06-11 15:27:50