| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 | UNSAT | 431.367 | 426.664 |
| Name | mus/marques-silva/design-debugging/ wb_4m8s1.dimacs.filtered.cnf |
| MD5SUM | f4db55ddf38012e4369a927de4f4b4f6 |
| Bench Category | MUS (MUS) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 1.63175 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 463080 |
| Number of clauses | 1759150 |
| Sum of the clauses size | 4761050 |
| Maximum clause length | 3 |
| Minimum clause length | 1 |
| Number of clauses of size 1 | 21050 |
| Number of clauses of size 2 | 474300 |
| Number of clauses of size 3 | 1263800 |
| 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.06/0.07 c version 2.3.0.v20110206 0.06/0.07 c java.runtime.name Java(TM) SE Runtime Environment 0.06/0.07 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.06/0.07 c java.vm.version 19.1-b02 0.06/0.07 c java.vm.vendor Sun Microsystems Inc. 0.06/0.07 c sun.arch.data.model 64 0.06/0.07 c java.version 1.6.0_24 0.06/0.07 c os.name Linux 0.06/0.07 c os.version 2.6.18-164.el5 0.06/0.07 c os.arch amd64 0.06/0.07 c Free memory 5997854704 0.06/0.07 c Max memory 6029312000 0.06/0.07 c Total memory 6029312000 0.06/0.08 c Number of processors 8 0.06/0.10 c Explanation (MUS) enabled solver 0.06/0.10 c QuickXplain (AAAI 2004 version) minimization strategy 0.06/0.10 c --- Begin Solver configuration --- 0.06/0.10 c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@1d73831b 0.06/0.10 c Learn all clauses as in MiniSAT 0.06/0.10 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 0.06/0.10 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT 0.06/0.10 c Expensive reason simplification 0.06/0.10 c Armin Biere (Picosat) restarts strategy 0.06/0.10 c Glucose learned constraints deletion strategy 0.06/0.10 c timeout=2147483647s 0.06/0.10 c DB Simplification allowed=true 0.06/0.10 c --- End Solver configuration --- 0.06/0.10 c solving HOME/instance-3493320-1307799010.cnf 0.06/0.10 c reading problem ... 2.47/2.35 c ... done. Wall clock time 2.254s. 2.47/2.35 c #vars 2222230 2.47/2.35 c #constraints 1759150 2.47/2.35 c constraints type 2.47/2.35 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1738100 2.47/2.35 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 21050 3.16/2.85 c Unsat detection wall clock time (in seconds) : 2.749 3.16/2.85 c Size of initial unsat subformula: 401 3.16/2.85 c Computing MUS ... 3.16/2.85 c initial unsat core -24274[?] 24141[?] 24273[?] 624724[?] 619007[?] 27149[?] -23270[?] 27152[?] 619001[?] -23282[?] -27149[?] 612639[?] 24274[?] 29842[?] -31373[?] 601670[?] 31374[?] 31375[?] -31380[?] 601652[?] 31378[?] 31379[?] -24141[?] 31373[?] 31391[?] 601628[?] -29842[?] 601622[?] 31380[?] 31392[?] -31391[?] 593311[?] 31332[?] 32542[?] -31392[?] 593305[?] 31332[?] 32537[?] -18264[?] 569890[?] -19743[?] 558680[?] -19749[?] 558656[?] 18699[?] 18696[?] -19754[?] 19756[?] 19755[?] 558645[?] -19759[?] 19754[?] 18264[?] 558633[?] -19760[?] 19759[?] 18264[?] 558629[?] -19757[?] 19760[?] 558627[?] 19762[?] -15094[?] 19749[?] 558620[?] -19764[?] 16097[?] 558616[?] -19766[?] 17100[?] 558610[?] 19767[?] 558606[?] 18699[?] -19768[?] 18103[?] 558604[?] 19769[?] 558600[?] 18693[?] -19770[?] 558597[?] -19767[?] 19771[?] 558594[?] 18687[?] -19772[?] -19769[?] 558591[?] 19773[?] 558588[?] 18681[?] -19774[?] -19771[?] 558585[?] 19775[?] 558583[?] 18696[?] -19776[?] -19773[?] 558579[?] 19777[?] 558577[?] 18690[?] -19778[?] 558573[?] -19775[?] 19779[?] 558571[?] 18684[?] -19780[?] 558567[?] -19777[?] 19781[?] 558565[?] 18678[?] -19782[?] -19779[?] 558561[?] -19784[?] -19781[?] 558555[?] -19791[?] 558535[?] -19793[?] 558531[?] -19794[?] 558530[?] -20588[?] 552540[?] -20829[?] 551242[?] -20830[?] 551241[?] -20831[?] 551240[?] -20832[?] 551238[?] 20833[?] 19801[?] -20833[?] 551232[?] 20836[?] 19797[?] -20843[?] 551216[?] 20845[?] 20844[?] -20849[?] 551210[?] 20851[?] 20850[?] -20854[?] 20843[?] 20855[?] 551204[?] -20858[?] 20849[?] 20859[?] 551198[?] -20862[?] 20854[?] 20863[?] 551192[?] -20866[?] 20858[?] 20867[?] 551186[?] -20868[?] 20862[?] 19743[?] 551181[?] -19756[?] 20868[?] 20866[?] 551172[?] -20872[?] 20832[?] 20873[?] 551156[?] -20874[?] 20875[?] 20876[?] 551150[?] -20877[?] 551147[?] 19791[?] -20836[?] 551143[?] -19762[?] 18264[?] -20883[?] 20836[?] 19801[?] 551105[?] 20890[?] 551054[?] 19766[?] -20891[?] 551051[?] 19764[?] 19797[?] -20892[?] 551045[?] 19764[?] 19801[?] -20893[?] 551036[?] 20891[?] 19791[?] -20894[?] 551030[?] 20892[?] 19791[?] -20895[?] 551027[?] 20893[?] 19768[?] -20896[?] 551021[?] 20894[?] 19768[?] -20897[?] 551013[?] 20895[?] -20890[?] -20898[?] 20896[?] 19801[?] 551006[?] -20875[?] 550952[?] 20883[?] 19801[?] -20908[?] 20910[?] 20909[?] 550943[?] -20909[?] 550938[?] 20913[?] -20912[?] -20910[?] 550932[?] 20915[?] -20914[?] -20916[?] 550928[?] 19791[?] -20918[?] 20872[?] 20916[?] 550921[?] -20871[?] 20918[?] 550919[?] -20920[?] 20874[?] 20877[?] 550912[?] -20835[?] 20920[?] 550910[?] -20923[?] 20908[?] 20924[?] 550903[?] -20925[?] 20926[?] 20927[?] 550897[?] -20928[?] 550894[?] 19793[?] 20912[?] 550891[?] 19770[?] -20929[?] 550888[?] 19776[?] 19798[?] -20930[?] 550882[?] 19776[?] 19802[?] -20931[?] 550876[?] 20929[?] 19774[?] -20932[?] 550870[?] 20930[?] 19774[?] -20913[?] 550864[?] 20931[?] 19772[?] -20933[?] 550858[?] 20932[?] 19772[?] -20934[?] 550849[?] 20933[?] 19802[?] 20914[?] 550846[?] 19772[?] -20935[?] 550843[?] 19770[?] 19798[?] -20936[?] 550834[?] 19793[?] 19802[?] -20937[?] 550831[?] 20935[?] 19776[?] -20938[?] 550825[?] 20936[?] 19776[?] -20915[?] 550819[?] 20937[?] 19774[?] -20939[?] 550810[?] 20938[?] 19793[?] -20940[?] 550805[?] 20939[?] -20914[?] -20942[?] 550795[?] 19793[?] 19798[?] -20943[?] 550792[?] 19772[?] 19802[?] -20944[?] 20942[?] 19793[?] 550783[?] -20945[?] 20943[?] 19793[?] 550777[?] -20946[?] 20944[?] 19776[?] 550774[?] -20947[?] 20945[?] 19776[?] 550768[?] -20948[?] 20946[?] 19798[?] 550759[?] -20949[?] 20947[?] 19802[?] 550753[?] -20951[?] 550747[?] 19774[?] 19798[?] -20952[?] 550741[?] 19774[?] 19802[?] -20953[?] 550732[?] 20951[?] 19793[?] -20954[?] 550729[?] 20952[?] 19772[?] -20955[?] 20953[?] 19793[?] 550720[?] -20956[?] 20954[?] 19793[?] 550714[?] -20957[?] 20955[?] 19798[?] 550708[?] -20958[?] 20956[?] 19802[?] 550702[?] -20926[?] 20934[?] 20940[?] 550696[?] -20959[?] 20961[?] 20962[?] 550690[?] -20961[?] 550684[?] 20966[?] 20965[?] -20962[?] 550678[?] 20968[?] 20965[?] -20969[?] 550675[?] 19793[?] -20971[?] 20923[?] 20969[?] 550668[?] -20922[?] 20971[?] 550666[?] -20973[?] 20925[?] 20928[?] 550659[?] -20911[?] 20973[?] 550657[?] -20976[?] 20959[?] 20977[?] 550650[?] -20978[?] 20979[?] 20980[?] 550644[?] -20981[?] 550641[?] 19794[?] -20982[?] 550635[?] 19784[?] 20965[?] -20983[?] 550629[?] 19784[?] 20960[?] -20984[?] 550623[?] 20982[?] 19782[?] -20985[?] 550617[?] 20983[?] 19782[?] -20966[?] 550611[?] 20984[?] 19780[?] -20986[?] 20985[?] 19780[?] 550605[?] -20987[?] 20986[?] 20960[?] 550596[?] -20988[?] 550587[?] 19794[?] 20965[?] -20989[?] 550584[?] 19778[?] 20960[?] -20990[?] 550578[?] 20988[?] 19784[?] -20991[?] 20989[?] 19784[?] 550572[?] -20968[?] 20990[?] 19782[?] 550566[?] -20992[?] 20991[?] 19782[?] 550560[?] -20993[?] 550551[?] 20992[?] 20960[?] -20995[?] 550542[?] 19794[?] 20965[?] -20996[?] 550539[?] 19780[?] 20960[?] -20997[?] 550530[?] 20995[?] 19794[?] -20998[?] 20996[?] 19794[?] 550524[?] -20999[?] 20997[?] 19784[?] 550521[?] -21000[?] 20998[?] 19784[?] 550515[?] -21001[?] 20999[?] 20965[?] 550506[?] -21002[?] 21000[?] 20960[?] 550500[?] -21004[?] 550494[?] 19782[?] 20965[?] -21005[?] 550485[?] 19794[?] 20960[?] -21006[?] 21004[?] 19794[?] 550479[?] -21007[?] 21005[?] 19780[?] 550476[?] -21008[?] 21006[?] 19794[?] 550467[?] -21009[?] 21007[?] 19794[?] 550461[?] -21010[?] 21008[?] 20965[?] 550455[?] -21011[?] 21009[?] 20960[?] 550449[?] -20979[?] 20987[?] 20993[?] 550443[?] -21022[?] 550422[?] 19794[?] -21024[?] 20976[?] 21022[?] 550415[?] -20975[?] 21024[?] 550413[?] -21026[?] 20978[?] 20981[?] 550406[?] -20963[?] 21026[?] 550404[?] -22766[?] 542479[?] 18699[?] 18696[?] 22773[?] 542443[?] 18699[?] -22778[?] 20588[?] 22766[?] 542420[?] -22780[?] 20588[?] -22773[?] 542407[?] -20850[?] 22778[?] -15094[?] 542404[?] -20844[?] 22780[?] -15094[?] 542392[?] -20851[?] 20829[?] 16097[?] 542323[?] -20845[?] 20829[?] 16097[?] 542311[?] -20859[?] 20830[?] 17100[?] 542244[?] -20855[?] 20830[?] 17100[?] 542232[?] -20867[?] 20831[?] 18103[?] 542165[?] -20863[?] 20831[?] 18103[?] 542153[?] -20873[?] 20897[?] 19801[?] 542128[?] -20876[?] 20898[?] 19801[?] 542122[?] -20924[?] 20948[?] 20957[?] 542113[?] -20927[?] 20949[?] 20958[?] 542107[?] -20977[?] 21001[?] 21010[?] 542101[?] -20980[?] 21002[?] 21011[?] 542095[?] -2627[?] 535571[?] -2628[?] 535570[?] -2629[?] 535569[?] -3503[?] 533765[?] 22[?] 24[?] -3512[?] 533747[?] -70[?] 3514[?] 3515[?] -33[?] 533740[?] 3516[?] -3514[?] 3512[?] 533736[?] -3661[?] 533423[?] 285[?] 3662[?] -3516[?] 533420[?] 3518[?] -3662[?] 3661[?] 533415[?] -4517[?] 2627[?] -4518[?] 531539[?] -4519[?] 4517[?] 4520[?] 531530[?] -4663[?] 531224[?] 285[?] -4665[?] 4519[?] 4663[?] 531216[?] -4521[?] 4665[?] 531214[?] 5509[?] 529363[?] -164[?] -5520[?] 2628[?] -5521[?] 529337[?] -5522[?] 5520[?] 5523[?] 529328[?] -5666[?] 529022[?] 285[?] -5668[?] 5522[?] 5666[?] 529014[?] -5524[?] 5668[?] 529012[?] -6523[?] 2629[?] -6524[?] 527135[?] -6525[?] 6523[?] 6526[?] 527126[?] -6667[?] 526825[?] 285[?] -6669[?] 6525[?] 6667[?] 526817[?] -6527[?] 6669[?] 526815[?] -6687[?] 526744[?] -7088[?] 522264[?] 285[?] -7090[?] 522258[?] 7081[?] -7100[?] 7090[?] 7101[?] 522206[?] -7103[?] 7090[?] 7104[?] 522200[?] -7106[?] 7090[?] 7107[?] 522194[?] -7109[?] 7090[?] 7110[?] 522188[?] -7112[?] 7090[?] 7113[?] 522182[?] -7115[?] 7090[?] 7116[?] 522176[?] -7118[?] 7090[?] 7119[?] 522170[?] -7121[?] 7090[?] 7122[?] 522164[?] -7124[?] 522159[?] 285[?] -7125[?] 522156[?] 285[?] -7126[?] 522153[?] 285[?] -7127[?] 522150[?] 285[?] -7128[?] 522147[?] 285[?] -7129[?] 522144[?] 285[?] -7130[?] 522141[?] 285[?] -7581[?] 7100[?] 7088[?] 520711[?] -7102[?] 7581[?] 520709[?] -7583[?] 7103[?] 7124[?] 520702[?] -7105[?] 7583[?] 520700[?] -7585[?] 7106[?] 7125[?] 520693[?] -7108[?] 7585[?] 520691[?] -7587[?] 7109[?] 7126[?] 520684[?] -7111[?] 7587[?] 520682[?] -7589[?] 7112[?] 7127[?] 520675[?] -7114[?] 7589[?] 520673[?] -7591[?] 7115[?] 7128[?] 520666[?] -7117[?] 7591[?] 520664[?] -7593[?] 7118[?] 7129[?] 520657[?] -7120[?] 7593[?] 520655[?] -7595[?] 7121[?] 7130[?] 520648[?] -7123[?] 7595[?] 520646[?] -3515[?] 3503[?] 21[?] 519178[?] 4518[?] 518082[?] -92[?] 5521[?] -5509[?] 516983[?] 6524[?] 515886[?] -234[?] -8166[?] 515534[?] -8177[?] 8179[?] -6717[?] 515500[?] -8182[?] 8177[?] 285[?] 515490[?] -8183[?] 6687[?] 8182[?] 515483[?] -8180[?] 8183[?] 515481[?] -8185[?] 515476[?] 3517[?] -8187[?] 515470[?] 4520[?] -8189[?] 515464[?] 5523[?] -8191[?] 515458[?] 6526[?] -8195[?] 515446[?] 4520[?] -8197[?] 515440[?] 5523[?] -8199[?] 515434[?] 6526[?] -8201[?] 515428[?] 3517[?] -8203[?] 515422[?] 4520[?] -8205[?] 515416[?] 5523[?] -8207[?] 515410[?] 6526[?] -8214[?] 515389[?] -8216[?] 515385[?] -8217[?] 515384[?] -9011[?] 509394[?] -9252[?] 508096[?] -9253[?] 508095[?] -9254[?] 508094[?] -9255[?] 9256[?] 8224[?] 508092[?] -9256[?] 9260[?] 8220[?] 508083[?] -9266[?] 9268[?] 9267[?] 508070[?] -9272[?] 9274[?] 9273[?] 508064[?] -9277[?] 9266[?] 9278[?] 508058[?] -9281[?] 9272[?] 9282[?] 508052[?] -9285[?] 9286[?] 9277[?] 508046[?] -9289[?] 9290[?] 9281[?] 508040[?] -9291[?] 9285[?] 8166[?] 508035[?] -8179[?] 9289[?] 9291[?] 508026[?] -9295[?] 9255[?] 8220[?] 508013[?] -9297[?] 9298[?] 8220[?] 508007[?] -9300[?] 508001[?] 8214[?] -9301[?] 507995[?] 8191[?] 8220[?] -9302[?] 507989[?] 8191[?] 8224[?] -9303[?] 507983[?] 9301[?] 8189[?] -9304[?] 507977[?] 9302[?] 8189[?] -9260[?] 507971[?] 9303[?] 8187[?] -9305[?] 507965[?] 9304[?] 8187[?] -9306[?] 507956[?] 9305[?] 8224[?] 9261[?] 507953[?] 8187[?] -9308[?] 507944[?] 8185[?] 8224[?] -9310[?] 507932[?] 9308[?] 8191[?] -9311[?] 507920[?] 9310[?] 8189[?] -9312[?] 507912[?] 9311[?] -9261[?] -9298[?] 507803[?] 9312[?] 9306[?] -9331[?] 9332[?] 8225[?] 507800[?] -9332[?] 9336[?] 8221[?] 507791[?] -9339[?] 507783[?] 285[?] -9341[?] 507775[?] 9339[?] 9295[?] -9294[?] 9341[?] 507773[?] -9343[?] 507766[?] 9297[?] 9300[?] -9258[?] 9343[?] 507764[?] -9346[?] 9331[?] 8221[?] 507760[?] -9348[?] 9349[?] 8221[?] 507754[?] -9351[?] 507748[?] 8216[?] -9352[?] 507742[?] 8199[?] 8221[?] -9353[?] 507736[?] 8199[?] 8225[?] -9354[?] 9352[?] 8197[?] 507730[?] -9355[?] 507724[?] 9353[?] 8197[?] -9336[?] 507718[?] 9354[?] 8195[?] -9356[?] 9355[?] 8195[?] 507712[?] -9357[?] 507703[?] 9356[?] 8225[?] -9349[?] 9357[?] 8225[?] 507553[?] -9382[?] 9384[?] 9383[?] 507547[?] -9384[?] 9389[?] 9388[?] 507538[?] -9392[?] 507529[?] 8216[?] -9394[?] 9346[?] 9392[?] 507522[?] -9345[?] 9394[?] 507520[?] -9396[?] 9348[?] 9351[?] 507513[?] -9334[?] 9396[?] 507511[?] -9399[?] 9382[?] 9388[?] 507507[?] -9401[?] 9402[?] 9388[?] 507501[?] -9404[?] 507495[?] 8217[?] 9387[?] 507492[?] 8201[?] -9405[?] 507489[?] 8207[?] 9388[?] -9406[?] 507483[?] 8207[?] 9383[?] -9407[?] 507477[?] 9405[?] 8205[?] -9408[?] 9406[?] 8217[?] 507468[?] -9389[?] 9407[?] 8217[?] 507462[?] -9409[?] 9408[?] 8203[?] 507459[?] -9410[?] 507451[?] 9409[?] -9387[?] -9402[?] 9410[?] 9383[?] 507300[?] -9445[?] 507277[?] 285[?] -9447[?] 9399[?] 9445[?] 507269[?] -9398[?] 9447[?] 507267[?] -9449[?] 9401[?] 9404[?] 507260[?] -9386[?] 9449[?] 507258[?] -9273[?] 499256[?] 9011[?] 3517[?] -9267[?] 499244[?] 9011[?] 3517[?] -9274[?] 499177[?] 9252[?] 4520[?] -9268[?] 499165[?] 9252[?] 4520[?] -9282[?] 499098[?] 9253[?] 5523[?] -9278[?] 499086[?] 9253[?] 5523[?] -11228[?] 499075[?] 7104[?] 7101[?] -11237[?] 499037[?] 11228[?] 9254[?] -9290[?] 499018[?] 11237[?] 9254[?] -9286[?] 499007[?] 9254[?] 6526[?] 15094[?] -3518[?] 496390[?] -16097[?] 4521[?] 496373[?] -17100[?] 5524[?] 496357[?] -18103[?] 6527[?] 496341[?] -18678[?] 496241[?] 7102[?] -18681[?] 496239[?] 7105[?] -18684[?] 496237[?] 7108[?] -18687[?] 496235[?] 7111[?] -18690[?] 496233[?] 7114[?] -18693[?] 496231[?] 7117[?] -18696[?] 496229[?] 7120[?] -18699[?] 496227[?] 7123[?] -19755[?] 8180[?] 496075[?] -19801[?] 496017[?] 9258[?] -19797[?] 496015[?] 9294[?] -19802[?] 496013[?] 9334[?] -19798[?] 496011[?] 9345[?] -20960[?] 496009[?] 9386[?] -20965[?] 496007[?] 9398[?] -31332[?] 19757[?] 495575[?] -31378[?] 20835[?] 495517[?] -31374[?] 20871[?] 495515[?] -31379[?] 20911[?] 495513[?] -31375[?] 20922[?] 495511[?] -32537[?] 20963[?] 495509[?] -32542[?] 20975[?] 495507[?] -3517[?] 476890[?] -4520[?] 476882[?] -5523[?] 476874[?] -6526[?] 476866[?] 6717[?] 476854[?] -7081[?] 476801[?] -7101[?] 476800[?] -7104[?] 476799[?] -7107[?] 476798[?] -7110[?] 476797[?] -7113[?] 476796[?] -7116[?] 476795[?] -7119[?] 476794[?] -7122[?] 476793[?] -8220[?] 476704[?] -8224[?] 476703[?] -8221[?] 476702[?] -8225[?] 476701[?] -9388[?] 476700[?] -9383[?] 476699[?] -21[?] 476620[?] -22[?] 476619[?] -24[?] 476617[?] 33[?] 476608[?] 70[?] 476571[?] 92[?] 476549[?] 164[?] 476477[?] 234[?] 476407[?] -285[?] 476356[?] 23270[?] 475907[?] 23282[?] 475895[?] -24273[?] 466141[?] 3.64/3.27 c qxplain 0/400 4.82/4.35 c qxplain 201/400 5.54/5.07 c qxplain 301/400 6.37/5.82 c qxplain 351/400 7.08/6.59 c qxplain 376/400 7.87/7.31 c qxplain 389/400 10.92/9.19 c qxplain 395/400 11.52/9.70 c qxplain 398/400 12.02/10.22 c qxplain 400/400 12.52/10.73 c -24273[?] 466141[?] is mandatory 12.52/10.73 c qxplain 398/399 13.02/11.25 c qxplain 399/399 13.12/11.38 c qxplain 398/398 13.74/11.90 c 23270[?] 475907[?] is mandatory 13.74/11.90 c qxplain 395/397 14.23/12.42 c qxplain 397/397 14.73/12.93 c -285[?] 476356[?] is mandatory 14.73/12.93 c qxplain 395/396 15.23/13.45 c qxplain 396/396 15.73/13.97 c 234[?] 476407[?] is mandatory 15.73/13.97 c qxplain 395/395 16.22/14.48 c 164[?] 476477[?] is mandatory 16.22/14.48 c qxplain 389/394 16.73/14.99 c qxplain 392/394 17.33/15.50 c qxplain 394/394 17.83/16.01 c 92[?] 476549[?] is mandatory 17.83/16.01 c qxplain 392/393 18.33/16.52 c qxplain 393/393 18.83/17.03 c 70[?] 476571[?] is mandatory 18.83/17.03 c qxplain 392/392 19.34/17.56 c 33[?] 476608[?] is mandatory 19.34/17.56 c qxplain 389/391 20.59/18.44 c qxplain 391/391 21.09/18.95 c -24[?] 476617[?] is mandatory 21.09/18.95 c qxplain 389/390 21.60/19.45 c qxplain 390/390 22.10/19.96 c -22[?] 476619[?] is mandatory 22.10/19.96 c qxplain 389/389 22.60/20.48 c -21[?] 476620[?] is mandatory 22.60/20.48 c qxplain 376/388 23.20/21.00 c qxplain 383/388 23.70/21.51 c qxplain 386/388 24.21/22.03 c qxplain 388/388 24.70/22.55 c -9383[?] 476699[?] is mandatory 24.70/22.55 c qxplain 386/387 25.21/23.06 c qxplain 387/387 25.70/23.57 c -9388[?] 476700[?] is mandatory 25.70/23.57 c qxplain 386/386 26.20/24.09 c -8225[?] 476701[?] is mandatory 26.20/24.09 c qxplain 383/385 26.80/24.60 c qxplain 385/385 27.30/25.12 c -8221[?] 476702[?] is mandatory 27.30/25.12 c qxplain 383/384 27.80/25.63 c qxplain 384/384 28.30/26.15 c -8224[?] 476703[?] is mandatory 28.30/26.15 c qxplain 383/383 28.80/26.68 c -8220[?] 476704[?] is mandatory 28.80/26.68 c qxplain 376/382 29.30/27.20 c qxplain 380/382 30.50/28.02 c qxplain 382/382 31.01/28.54 c -7122[?] 476793[?] is mandatory 31.01/28.54 c qxplain 380/381 31.50/29.06 c qxplain 381/381 32.00/29.58 c -7119[?] 476794[?] is mandatory 32.00/29.58 c qxplain 380/380 32.60/30.10 c -7116[?] 476795[?] is mandatory 32.60/30.10 c qxplain 376/379 33.10/30.61 c qxplain 378/379 33.60/31.14 c qxplain 379/379 34.10/31.66 c -7113[?] 476796[?] is mandatory 34.10/31.66 c qxplain 378/378 34.60/32.18 c -7110[?] 476797[?] is mandatory 34.60/32.18 c qxplain 376/377 35.10/32.70 c qxplain 377/377 35.70/33.21 c -7107[?] 476798[?] is mandatory 35.70/33.21 c qxplain 376/376 36.20/33.73 c -7104[?] 476799[?] is mandatory 36.20/33.73 c qxplain 351/375 36.70/34.25 c qxplain 364/375 37.20/34.77 c qxplain 370/375 37.71/35.28 c qxplain 373/375 38.30/35.80 c qxplain 375/375 38.81/36.32 c -7101[?] 476800[?] is mandatory 38.81/36.32 c qxplain 373/374 39.30/36.83 c qxplain 374/374 40.40/37.65 c -7081[?] 476801[?] is mandatory 40.40/37.65 c qxplain 373/373 40.90/38.16 c 6717[?] 476854[?] is mandatory 40.90/38.16 c qxplain 370/372 41.41/38.68 c qxplain 372/372 42.00/39.20 c -6526[?] 476866[?] is mandatory 42.00/39.20 c qxplain 370/371 42.51/39.72 c qxplain 371/371 43.00/40.23 c -5523[?] 476874[?] is mandatory 43.00/40.23 c qxplain 370/370 43.50/40.75 c -4520[?] 476882[?] is mandatory 43.50/40.75 c qxplain 364/369 44.00/41.27 c qxplain 367/369 44.50/41.78 c qxplain 369/369 45.10/42.30 c -3517[?] 476890[?] is mandatory 45.10/42.30 c qxplain 367/368 45.60/42.82 c qxplain 368/368 46.10/43.33 c 495507[?] -32542[?] 20975[?] is mandatory 46.10/43.33 c qxplain 367/367 46.60/43.85 c 495509[?] -32537[?] 20963[?] is mandatory 46.60/43.85 c qxplain 364/366 47.10/44.37 c qxplain 366/366 47.60/44.88 c 495511[?] -31375[?] 20922[?] is mandatory 47.60/44.88 c qxplain 364/365 48.20/45.40 c qxplain 365/365 48.70/45.91 c 495513[?] -31379[?] 20911[?] is mandatory 48.70/45.91 c qxplain 364/364 49.20/46.43 c 495515[?] -31374[?] 20871[?] is mandatory 49.20/46.43 c qxplain 351/363 50.30/47.24 c qxplain 358/363 50.80/47.76 c qxplain 361/363 51.30/48.28 c qxplain 363/363 51.90/48.80 c 495517[?] -31378[?] 20835[?] is mandatory 51.90/48.80 c qxplain 361/362 52.40/49.33 c qxplain 362/362 52.90/49.84 c 495575[?] -31332[?] 19757[?] is mandatory 52.90/49.84 c qxplain 361/361 53.41/50.38 c 496007[?] -20965[?] 9398[?] is mandatory 53.41/50.38 c qxplain 358/360 54.01/50.90 c qxplain 360/360 54.51/51.41 c 496009[?] -20960[?] 9386[?] is mandatory 54.51/51.42 c qxplain 358/359 55.01/51.93 c qxplain 359/359 55.51/52.45 c 496011[?] -19798[?] 9345[?] is mandatory 55.51/52.45 c qxplain 358/358 56.01/52.97 c 496013[?] -19802[?] 9334[?] is mandatory 56.01/52.97 c qxplain 351/357 56.51/53.48 c qxplain 355/357 57.01/54.00 c qxplain 357/357 57.61/54.52 c 496015[?] -19797[?] 9294[?] is mandatory 57.61/54.52 c qxplain 355/356 58.11/55.03 c qxplain 356/356 58.61/55.55 c 496017[?] -19801[?] 9258[?] is mandatory 58.61/55.55 c qxplain 355/355 59.69/56.35 c 496075[?] -19755[?] 8180[?] is mandatory 59.69/56.35 c qxplain 351/354 60.19/56.87 c qxplain 353/354 60.69/57.39 c qxplain 354/354 61.29/57.90 c 496227[?] -18699[?] 7123[?] is mandatory 61.29/57.90 c qxplain 353/353 61.79/58.42 c 496229[?] -18696[?] 7120[?] is mandatory 61.79/58.42 c qxplain 351/352 62.29/58.94 c qxplain 352/352 62.79/59.45 c 496231[?] -18693[?] 7117[?] is mandatory 62.79/59.45 c qxplain 351/351 63.29/59.97 c 496233[?] -18690[?] 7114[?] is mandatory 63.29/59.97 c qxplain 301/350 64.50/60.81 c qxplain 326/350 65.00/61.33 c qxplain 339/350 65.50/61.85 c qxplain 345/350 66.00/62.38 c qxplain 348/350 66.50/62.89 c qxplain 350/350 67.10/63.41 c 496235[?] -18687[?] 7111[?] is mandatory 67.10/63.41 c qxplain 348/349 67.60/63.94 c qxplain 349/349 68.10/64.46 c 496237[?] -18684[?] 7108[?] is mandatory 68.10/64.46 c qxplain 348/348 68.61/64.99 c 496239[?] -18681[?] 7105[?] is mandatory 68.61/64.99 c qxplain 345/347 69.21/65.51 c qxplain 347/347 69.71/66.03 c 496241[?] -18678[?] 7102[?] is mandatory 69.71/66.03 c qxplain 345/346 70.21/66.54 c qxplain 346/346 70.71/67.07 c 496341[?] -18103[?] 6527[?] is mandatory 70.71/67.07 c qxplain 345/345 71.21/67.59 c 496357[?] -17100[?] 5524[?] is mandatory 71.21/67.59 c qxplain 339/344 71.81/68.11 c qxplain 342/344 72.31/68.63 c qxplain 344/344 72.82/69.17 c 496373[?] -16097[?] 4521[?] is mandatory 72.82/69.17 c qxplain 342/343 73.32/69.69 c qxplain 343/343 73.92/70.22 c 496390[?] 15094[?] -3518[?] is mandatory 73.92/70.22 c qxplain 342/342 74.42/70.74 c 499007[?] -9286[?] 6526[?] 9254[?] is mandatory 74.42/70.74 c qxplain 339/341 74.92/71.27 c qxplain 341/341 75.42/71.79 c 499018[?] -9290[?] 11237[?] 9254[?] is mandatory 75.42/71.79 c qxplain 339/340 76.02/72.32 c qxplain 340/340 76.52/72.85 c 499037[?] -11237[?] 11228[?] 9254[?] is mandatory 76.52/72.85 c qxplain 339/339 77.03/73.39 c 499075[?] -11228[?] 7104[?] 7101[?] is mandatory 77.03/73.39 c qxplain 326/338 77.64/73.91 c qxplain 333/338 78.13/74.43 c qxplain 336/338 78.64/74.94 c qxplain 338/338 79.13/75.46 c 499086[?] -9278[?] 5523[?] 9253[?] is mandatory 79.13/75.46 c qxplain 336/337 79.63/75.98 c qxplain 337/337 80.23/76.51 c 499098[?] -9282[?] 5523[?] 9253[?] is mandatory 80.23/76.51 c qxplain 336/336 80.73/77.03 c 499165[?] -9268[?] 4520[?] 9252[?] is mandatory 80.73/77.03 c qxplain 333/335 81.25/77.57 c qxplain 335/335 81.75/78.09 c 499177[?] -9274[?] 4520[?] 9252[?] is mandatory 81.75/78.09 c qxplain 333/334 82.35/78.61 c qxplain 334/334 82.85/79.13 c 499244[?] -9267[?] 3517[?] 9011[?] is mandatory 82.85/79.13 c qxplain 333/333 83.35/79.65 c 499256[?] -9273[?] 3517[?] 9011[?] is mandatory 83.35/79.65 c qxplain 326/332 83.85/80.17 c qxplain 330/332 84.35/80.69 c qxplain 332/332 84.95/81.21 c 507258[?] -9386[?] 9449[?] is mandatory 84.95/81.21 c qxplain 330/331 85.45/81.75 c qxplain 331/331 85.95/82.28 c 507260[?] -9449[?] 9401[?] 9404[?] is mandatory 85.95/82.28 c qxplain 330/330 86.55/82.80 c 507267[?] -9398[?] 9447[?] is mandatory 86.55/82.80 c qxplain 326/329 87.05/83.32 c qxplain 328/329 87.56/83.84 c qxplain 329/329 88.05/84.37 c 507269[?] -9447[?] 9445[?] 9399[?] is mandatory 88.05/84.37 c qxplain 328/328 88.56/84.90 c 507277[?] -9445[?] 285[?] is mandatory 88.56/84.90 c qxplain 326/327 89.15/85.42 c qxplain 327/327 89.68/85.97 c 507300[?] -9402[?] 9410[?] 9383[?] is mandatory 89.68/85.97 c qxplain 326/326 90.18/86.49 c 507451[?] -9410[?] 9409[?] -9387[?] is mandatory 90.18/86.49 c qxplain 301/325 90.78/87.03 c qxplain 314/325 91.28/87.55 c qxplain 320/325 91.78/88.07 c qxplain 323/325 92.28/88.59 c qxplain 325/325 92.88/89.11 c 507459[?] -9409[?] 9408[?] 8203[?] is mandatory 92.88/89.11 c qxplain 323/324 93.39/89.65 c qxplain 324/324 93.89/90.17 c 507462[?] -9389[?] 9407[?] 8217[?] is mandatory 93.89/90.17 c qxplain 323/323 94.49/90.70 c 507468[?] -9408[?] 9406[?] 8217[?] is mandatory 94.49/90.70 c qxplain 320/322 94.99/91.21 c qxplain 322/322 95.49/91.73 c 507477[?] -9407[?] 9405[?] 8205[?] is mandatory 95.49/91.73 c qxplain 320/321 95.99/92.25 c qxplain 321/321 96.49/92.78 c 507483[?] -9406[?] 9383[?] 8207[?] is mandatory 96.49/92.78 c qxplain 320/320 97.09/93.30 c 507489[?] -9405[?] 9388[?] 8207[?] is mandatory 97.09/93.30 c qxplain 314/319 97.59/93.82 c qxplain 317/319 98.11/94.36 c qxplain 319/319 98.62/94.88 c 507492[?] 9387[?] 8201[?] is mandatory 98.62/94.88 c qxplain 317/318 99.21/95.41 c qxplain 318/318 99.72/95.93 c 507495[?] -9404[?] 8217[?] is mandatory 99.72/95.93 c qxplain 317/317 100.21/96.46 c 507501[?] -9401[?] 9402[?] 9388[?] is mandatory 100.21/96.46 c qxplain 314/316 100.72/96.97 c qxplain 316/316 101.21/97.50 c 507507[?] -9399[?] 9382[?] 9388[?] is mandatory 101.21/97.50 c qxplain 314/315 101.82/98.02 c qxplain 315/315 102.33/98.56 c 507511[?] -9334[?] 9396[?] is mandatory 102.33/98.56 c qxplain 314/314 102.83/99.08 c 507513[?] -9396[?] 9348[?] 9351[?] is mandatory 102.83/99.08 c qxplain 301/313 103.43/99.61 c qxplain 308/313 103.93/100.13 c qxplain 311/313 104.43/100.65 c qxplain 313/313 104.93/101.17 c 507520[?] -9345[?] 9394[?] is mandatory 104.93/101.17 c qxplain 311/312 105.43/101.69 c qxplain 312/312 106.03/102.22 c 507522[?] -9394[?] 9392[?] 9346[?] is mandatory 106.03/102.22 c qxplain 311/311 106.53/102.74 c 507529[?] -9392[?] 8216[?] is mandatory 106.53/102.74 c qxplain 308/310 107.04/103.28 c qxplain 310/310 107.64/103.80 c 507538[?] -9384[?] 9389[?] 9388[?] is mandatory 107.64/103.80 c qxplain 308/309 108.15/104.32 c qxplain 309/309 108.65/104.84 c 507547[?] -9382[?] 9384[?] 9383[?] is mandatory 108.65/104.84 c qxplain 308/308 109.15/105.37 c 507553[?] -9349[?] 9357[?] 8225[?] is mandatory 109.15/105.37 c qxplain 301/307 109.66/105.89 c qxplain 305/307 110.25/106.40 c qxplain 307/307 110.76/106.92 c 507703[?] -9357[?] 9356[?] 8225[?] is mandatory 110.76/106.92 c qxplain 305/306 111.25/107.44 c qxplain 306/306 111.78/107.99 c 507712[?] -9356[?] 9355[?] 8195[?] is mandatory 111.78/107.99 c qxplain 305/305 112.37/108.51 c 507718[?] -9336[?] 9354[?] 8195[?] is mandatory 112.37/108.51 c qxplain 301/304 112.88/109.03 c qxplain 303/304 113.37/109.55 c qxplain 304/304 113.87/110.07 c 507724[?] -9355[?] 9353[?] 8197[?] is mandatory 113.87/110.07 c qxplain 303/303 114.47/110.60 c 507730[?] -9354[?] 9352[?] 8197[?] is mandatory 114.47/110.60 c qxplain 301/302 114.97/111.12 c qxplain 302/302 115.47/111.64 c 507736[?] -9353[?] 8225[?] 8199[?] is mandatory 115.47/111.64 c qxplain 301/301 115.97/112.17 c 507742[?] -9352[?] 8221[?] 8199[?] is mandatory 115.97/112.17 c qxplain 201/300 116.57/112.70 c qxplain 251/300 117.07/113.24 c qxplain 276/300 117.58/113.79 c qxplain 289/300 118.18/114.31 c qxplain 295/300 118.68/114.82 c qxplain 298/300 119.18/115.35 c qxplain 300/300 119.68/115.87 c 507748[?] -9351[?] 8216[?] is mandatory 119.68/115.87 c qxplain 298/299 120.18/116.39 c qxplain 299/299 120.78/116.92 c 507754[?] -9348[?] 9349[?] 8221[?] is mandatory 120.78/116.92 c qxplain 298/298 121.28/117.44 c 507760[?] -9346[?] 9331[?] 8221[?] is mandatory 121.28/117.44 c qxplain 295/297 121.79/117.96 c qxplain 297/297 122.28/118.48 c 507764[?] -9258[?] 9343[?] is mandatory 122.28/118.48 c qxplain 295/296 122.79/119.00 c qxplain 296/296 123.40/119.54 c 507766[?] -9343[?] 9297[?] 9300[?] is mandatory 123.40/119.54 c qxplain 295/295 123.91/120.06 c 507773[?] -9294[?] 9341[?] is mandatory 123.91/120.06 c qxplain 289/294 124.40/120.59 c qxplain 292/294 125.01/121.11 c qxplain 294/294 125.50/121.63 c 507775[?] -9341[?] 9339[?] 9295[?] is mandatory 125.50/121.63 c qxplain 292/293 126.00/122.15 c qxplain 293/293 126.50/122.67 c 507783[?] -9339[?] 285[?] is mandatory 126.50/122.67 c qxplain 292/292 127.00/123.19 c 507791[?] -9332[?] 9336[?] 8221[?] is mandatory 127.00/123.19 c qxplain 289/291 127.60/123.72 c qxplain 291/291 128.10/124.24 c 507800[?] -9331[?] 8225[?] 9332[?] is mandatory 128.10/124.24 c qxplain 289/290 128.60/124.76 c qxplain 290/290 129.10/125.28 c 507803[?] -9298[?] 9312[?] 9306[?] is mandatory 129.10/125.28 c qxplain 289/289 129.72/125.82 c 507912[?] -9312[?] 9311[?] -9261[?] is mandatory 129.72/125.82 c qxplain 276/288 130.22/126.34 c qxplain 283/288 130.72/126.86 c qxplain 286/288 131.22/127.38 c qxplain 288/288 131.82/127.90 c 507920[?] -9311[?] 9310[?] 8189[?] is mandatory 131.82/127.90 c qxplain 286/287 132.32/128.42 c qxplain 287/287 132.82/128.94 c 507932[?] -9310[?] 9308[?] 8191[?] is mandatory 132.82/128.94 c qxplain 286/286 133.32/129.46 c 507944[?] -9308[?] 8224[?] 8185[?] is mandatory 133.32/129.46 c qxplain 283/285 133.82/129.98 c qxplain 285/285 134.42/130.50 c 507953[?] 9261[?] 8187[?] is mandatory 134.42/130.50 c qxplain 283/284 134.92/131.02 c qxplain 284/284 135.42/131.54 c 507956[?] -9306[?] 9305[?] 8224[?] is mandatory 135.42/131.54 c qxplain 283/283 135.93/132.09 c 507965[?] -9305[?] 9304[?] 8187[?] is mandatory 135.93/132.09 c qxplain 276/282 136.53/132.60 c qxplain 280/282 137.03/133.12 c qxplain 282/282 137.53/133.65 c 507971[?] -9260[?] 9303[?] 8187[?] is mandatory 137.53/133.65 c qxplain 280/281 138.03/134.16 c qxplain 281/281 138.54/134.69 c 507977[?] -9304[?] 9302[?] 8189[?] is mandatory 138.54/134.69 c qxplain 280/280 139.13/135.21 c 507983[?] -9303[?] 9301[?] 8189[?] is mandatory 139.13/135.21 c qxplain 276/279 139.63/135.74 c qxplain 278/279 140.13/136.26 c qxplain 279/279 140.63/136.78 c 507989[?] -9302[?] 8224[?] 8191[?] is mandatory 140.63/136.79 c qxplain 278/278 141.23/137.31 c 507995[?] -9301[?] 8220[?] 8191[?] is mandatory 141.23/137.31 c qxplain 276/277 141.73/137.83 c qxplain 277/277 142.23/138.36 c 508001[?] -9300[?] 8214[?] is mandatory 142.23/138.36 c qxplain 276/276 142.85/138.90 c 508007[?] -9297[?] 9298[?] 8220[?] is mandatory 142.85/138.90 c qxplain 251/275 143.35/139.43 c qxplain 264/275 143.86/139.95 c qxplain 270/275 144.35/140.48 c qxplain 273/275 144.86/140.99 c qxplain 275/275 145.45/141.51 c 508013[?] -9295[?] 9255[?] 8220[?] is mandatory 145.45/141.51 c qxplain 273/274 145.96/142.04 c qxplain 274/274 146.45/142.56 c 508026[?] -8179[?] 9291[?] 9289[?] is mandatory 146.45/142.56 c qxplain 273/273 146.95/143.08 c 508035[?] -9291[?] 9285[?] 8166[?] is mandatory 146.95/143.08 c qxplain 270/272 147.55/143.60 c qxplain 272/272 148.05/144.12 c 508040[?] -9289[?] 9281[?] 9290[?] is mandatory 148.05/144.12 c qxplain 270/271 148.55/144.64 c qxplain 271/271 149.05/145.16 c 508046[?] -9285[?] 9286[?] 9277[?] is mandatory 149.05/145.16 c qxplain 270/270 149.67/145.71 c 508052[?] -9281[?] 9282[?] 9272[?] is mandatory 149.67/145.71 c qxplain 264/269 150.17/146.23 c qxplain 267/269 150.67/146.75 c qxplain 269/269 151.17/147.27 c 508058[?] -9277[?] 9266[?] 9278[?] is mandatory 151.17/147.27 c qxplain 267/268 151.67/147.79 c qxplain 268/268 152.27/148.32 c 508064[?] -9272[?] 9274[?] 9273[?] is mandatory 152.27/148.32 c qxplain 267/267 152.77/148.84 c 508070[?] -9266[?] 9268[?] 9267[?] is mandatory 152.77/148.84 c qxplain 264/266 153.27/149.37 c qxplain 266/266 153.78/149.89 c 508083[?] -9256[?] 9260[?] 8220[?] is mandatory 153.78/149.89 c qxplain 264/265 154.37/150.41 c qxplain 265/265 154.88/150.93 c 508092[?] -9255[?] 9256[?] 8224[?] is mandatory 154.88/150.93 c qxplain 264/264 155.37/151.47 c -9254[?] 508094[?] is mandatory 155.37/151.47 c qxplain 251/263 155.88/151.99 c qxplain 258/263 156.47/152.51 c qxplain 261/263 156.98/153.03 c qxplain 263/263 157.49/153.57 c -9253[?] 508095[?] is mandatory 157.49/153.57 c qxplain 261/262 157.99/154.09 c qxplain 262/262 158.59/154.61 c -9252[?] 508096[?] is mandatory 158.59/154.61 c qxplain 261/261 159.09/155.13 c -9011[?] 509394[?] is mandatory 159.09/155.13 c qxplain 258/260 159.59/155.65 c qxplain 260/260 160.09/156.18 c -8217[?] 515384[?] is mandatory 160.09/156.18 c qxplain 258/259 160.59/156.70 c qxplain 259/259 161.19/157.22 c -8216[?] 515385[?] is mandatory 161.19/157.22 c qxplain 258/258 161.69/157.74 c -8214[?] 515389[?] is mandatory 161.69/157.74 c qxplain 251/257 162.19/158.26 c qxplain 255/257 162.69/158.79 c qxplain 257/257 163.29/159.31 c 515410[?] -8207[?] 6526[?] is mandatory 163.29/159.31 c qxplain 255/256 163.79/159.83 c qxplain 256/256 164.29/160.36 c 515416[?] -8205[?] 5523[?] is mandatory 164.29/160.36 c qxplain 255/255 164.79/160.88 c 515422[?] -8203[?] 4520[?] is mandatory 164.79/160.88 c qxplain 251/254 165.42/161.42 c qxplain 253/254 165.92/161.95 c qxplain 254/254 166.41/162.48 c 515428[?] -8201[?] 3517[?] is mandatory 166.41/162.48 c qxplain 253/253 166.92/163.00 c 515434[?] -8199[?] 6526[?] is mandatory 166.92/163.00 c qxplain 251/252 167.51/163.52 c qxplain 252/252 168.02/164.04 c 515440[?] -8197[?] 5523[?] is mandatory 168.02/164.04 c qxplain 251/251 168.51/164.56 c 515446[?] -8195[?] 4520[?] is mandatory 168.51/164.56 c qxplain 201/250 169.01/165.09 c qxplain 226/250 169.61/165.61 c qxplain 239/250 170.11/166.14 c qxplain 245/250 170.61/166.66 c qxplain 248/250 171.11/167.18 c qxplain 250/250 171.71/167.70 c 515458[?] -8191[?] 6526[?] is mandatory 171.71/167.70 c qxplain 248/249 172.21/168.22 c qxplain 249/249 172.71/168.74 c 515464[?] -8189[?] 5523[?] is mandatory 172.71/168.74 c qxplain 248/248 173.23/169.29 c 515470[?] -8187[?] 4520[?] is mandatory 173.23/169.29 c qxplain 245/247 173.83/169.81 c qxplain 247/247 174.33/170.33 c 515476[?] -8185[?] 3517[?] is mandatory 174.33/170.33 c qxplain 245/246 174.83/170.85 c qxplain 246/246 175.33/171.37 c 515481[?] -8180[?] 8183[?] is mandatory 175.33/171.37 c qxplain 245/245 175.93/171.90 c 515483[?] -8183[?] 8182[?] 6687[?] is mandatory 175.93/171.90 c qxplain 239/244 176.43/172.42 c qxplain 242/244 176.94/172.94 c qxplain 244/244 177.43/173.46 c 515490[?] -8182[?] 8177[?] 285[?] is mandatory 177.43/173.46 c qxplain 242/243 177.94/173.98 c qxplain 243/243 178.53/174.51 c 515500[?] -8177[?] 8179[?] -6717[?] is mandatory 178.53/174.51 c qxplain 242/242 179.04/175.03 c -8166[?] 515534[?] is mandatory 179.04/175.03 c qxplain 239/241 179.53/175.55 c qxplain 241/241 180.03/176.07 c 515886[?] 6524[?] -234[?] is mandatory 180.03/176.07 c qxplain 239/240 180.63/176.60 c qxplain 240/240 181.13/177.13 c 516983[?] 5521[?] -5509[?] is mandatory 181.13/177.13 c qxplain 239/239 181.64/177.68 c 518082[?] 4518[?] -92[?] is mandatory 181.64/177.68 c qxplain 226/238 182.25/178.20 c qxplain 233/238 182.75/178.72 c qxplain 236/238 183.25/179.24 c qxplain 238/238 183.75/179.76 c 519178[?] -3515[?] 3503[?] 21[?] is mandatory 183.75/179.76 c qxplain 236/237 184.25/180.28 c qxplain 237/237 184.85/180.80 c 520646[?] -7123[?] 7595[?] is mandatory 184.85/180.80 c qxplain 236/236 185.35/181.33 c 520648[?] -7595[?] 7130[?] 7121[?] is mandatory 185.35/181.33 c qxplain 233/235 185.85/181.85 c qxplain 235/235 186.35/182.37 c 520655[?] -7120[?] 7593[?] is mandatory 186.35/182.37 c qxplain 233/234 186.86/182.89 c qxplain 234/234 187.45/183.41 c 520657[?] -7593[?] 7129[?] 7118[?] is mandatory 187.45/183.41 c qxplain 233/233 187.96/183.94 c 520664[?] -7117[?] 7591[?] is mandatory 187.96/183.94 c qxplain 226/232 188.45/184.45 c qxplain 230/232 188.96/184.97 c qxplain 232/232 189.45/185.49 c 520666[?] -7591[?] 7128[?] 7115[?] is mandatory 189.45/185.49 c qxplain 230/231 190.06/186.01 c qxplain 231/231 190.57/186.55 c 520673[?] -7114[?] 7589[?] is mandatory 190.57/186.55 c qxplain 230/230 191.07/187.08 c 520675[?] -7589[?] 7127[?] 7112[?] is mandatory 191.07/187.08 c qxplain 226/229 191.67/187.60 c qxplain 228/229 192.17/188.12 c qxplain 229/229 192.67/188.65 c 520682[?] -7111[?] 7587[?] is mandatory 192.67/188.65 c qxplain 228/228 193.17/189.17 c 520684[?] -7587[?] 7126[?] 7109[?] is mandatory 193.17/189.17 c qxplain 226/227 193.67/189.69 c qxplain 227/227 194.27/190.22 c 520691[?] -7108[?] 7585[?] is mandatory 194.27/190.22 c qxplain 226/226 194.77/190.74 c 520693[?] -7585[?] 7125[?] 7106[?] is mandatory 194.77/190.74 c qxplain 201/225 195.27/191.27 c qxplain 214/225 195.77/191.79 c qxplain 220/225 196.37/192.31 c qxplain 223/225 196.87/192.83 c qxplain 225/225 197.37/193.35 c 520700[?] -7105[?] 7583[?] is mandatory 197.37/193.35 c qxplain 223/224 197.88/193.87 c qxplain 224/224 198.37/194.39 c 520702[?] -7583[?] 7124[?] 7103[?] is mandatory 198.37/194.39 c qxplain 223/223 199.00/194.94 c 520709[?] -7102[?] 7581[?] is mandatory 199.00/194.94 c qxplain 220/222 199.49/195.46 c qxplain 222/222 200.00/195.98 c 520711[?] -7581[?] 7088[?] 7100[?] is mandatory 200.00/195.98 c qxplain 220/221 200.49/196.50 c qxplain 221/221 201.10/197.02 c 522141[?] -7130[?] 285[?] is mandatory 201.10/197.02 c qxplain 220/220 201.59/197.54 c 522144[?] -7129[?] 285[?] is mandatory 201.59/197.54 c qxplain 214/219 202.09/198.06 c qxplain 217/219 202.59/198.58 c qxplain 219/219 203.19/199.10 c 522147[?] -7128[?] 285[?] is mandatory 203.19/199.10 c qxplain 217/218 203.69/199.62 c qxplain 218/218 204.19/200.15 c 522150[?] -7127[?] 285[?] is mandatory 204.19/200.15 c qxplain 217/217 204.69/200.67 c 522153[?] -7126[?] 285[?] is mandatory 204.69/200.67 c qxplain 214/216 205.29/201.20 c qxplain 216/216 205.79/201.72 c 522156[?] -7125[?] 285[?] is mandatory 205.79/201.72 c qxplain 214/215 206.29/202.24 c qxplain 215/215 206.79/202.76 c 522159[?] -7124[?] 285[?] is mandatory 206.79/202.76 c qxplain 214/214 207.29/203.28 c 522164[?] -7121[?] 7122[?] 7090[?] is mandatory 207.29/203.28 c qxplain 201/213 207.89/203.80 c qxplain 208/213 208.41/204.34 c qxplain 211/213 208.91/204.86 c qxplain 213/213 209.41/205.38 c 522170[?] -7118[?] 7090[?] 7119[?] is mandatory 209.41/205.38 c qxplain 211/212 209.91/205.90 c qxplain 212/212 210.51/206.43 c 522176[?] -7115[?] 7116[?] 7090[?] is mandatory 210.51/206.43 c qxplain 211/211 211.01/206.95 c 522182[?] -7112[?] 7113[?] 7090[?] is mandatory 211.01/206.95 c qxplain 208/210 211.50/207.47 c qxplain 210/210 212.00/207.99 c 522188[?] -7109[?] 7110[?] 7090[?] is mandatory 212.00/207.99 c qxplain 208/209 212.61/208.52 c qxplain 209/209 213.11/209.04 c 522194[?] -7106[?] 7107[?] 7090[?] is mandatory 213.11/209.04 c qxplain 208/208 213.60/209.56 c 522200[?] -7103[?] 7104[?] 7090[?] is mandatory 213.60/209.56 c qxplain 201/207 214.10/210.08 c qxplain 205/207 214.60/210.60 c qxplain 207/207 215.20/211.11 c 522206[?] -7100[?] 7101[?] 7090[?] is mandatory 215.20/211.11 c qxplain 205/206 215.70/211.64 c qxplain 206/206 216.20/212.16 c 522258[?] -7090[?] 7081[?] is mandatory 216.20/212.16 c qxplain 205/205 216.70/212.68 c 522264[?] -7088[?] 285[?] is mandatory 216.70/212.68 c qxplain 201/204 217.30/213.20 c qxplain 203/204 217.82/213.74 c qxplain 204/204 218.32/214.28 c -6687[?] 526744[?] is mandatory 218.32/214.28 c qxplain 203/203 218.92/214.81 c 526815[?] -6527[?] 6669[?] is mandatory 218.92/214.81 c qxplain 201/202 219.42/215.33 c qxplain 202/202 219.93/215.85 c 526817[?] -6669[?] 6667[?] 6525[?] is mandatory 219.93/215.85 c qxplain 201/201 220.42/216.37 c 526825[?] -6667[?] 285[?] is mandatory 220.42/216.37 c qxplain 0/200 220.93/216.90 c qxplain 101/200 221.52/217.41 c qxplain 151/200 222.03/217.93 c qxplain 176/200 222.52/218.46 c qxplain 189/200 223.02/218.97 c qxplain 195/200 223.52/219.50 c qxplain 198/200 224.12/220.01 c qxplain 200/200 224.62/220.53 c 527126[?] -6525[?] 6523[?] 6526[?] is mandatory 224.62/220.53 c qxplain 198/199 225.12/221.05 c qxplain 199/199 225.62/221.57 c 527135[?] -6523[?] -6524[?] 2629[?] is mandatory 225.62/221.57 c qxplain 198/198 226.12/222.09 c 529012[?] -5524[?] 5668[?] is mandatory 226.12/222.09 c qxplain 195/197 226.72/222.61 c qxplain 197/197 227.24/223.15 c 529014[?] -5668[?] 5666[?] 5522[?] is mandatory 227.24/223.15 c qxplain 195/196 227.74/223.67 c qxplain 196/196 228.24/224.19 c 529022[?] -5666[?] 285[?] is mandatory 228.24/224.19 c qxplain 195/195 228.84/224.73 c 529328[?] -5522[?] 5520[?] 5523[?] is mandatory 228.84/224.73 c qxplain 189/194 229.34/225.24 c qxplain 192/194 229.85/225.76 c qxplain 194/194 230.34/226.28 c 529337[?] -5520[?] -5521[?] 2628[?] is mandatory 230.34/226.28 c qxplain 192/193 230.95/226.81 c qxplain 193/193 231.44/227.33 c 529363[?] 5509[?] -164[?] is mandatory 231.44/227.33 c qxplain 192/192 231.94/227.85 c 531214[?] -4521[?] 4665[?] is mandatory 231.94/227.85 c qxplain 189/191 232.44/228.38 c qxplain 191/191 232.95/228.89 c 531216[?] -4665[?] 4663[?] 4519[?] is mandatory 232.95/228.89 c qxplain 189/190 233.55/229.41 c qxplain 190/190 234.05/229.93 c 531224[?] -4663[?] 285[?] is mandatory 234.05/229.93 c qxplain 189/189 234.55/230.45 c 531530[?] -4519[?] 4517[?] 4520[?] is mandatory 234.55/230.45 c qxplain 176/188 235.05/230.97 c qxplain 183/188 235.55/231.49 c qxplain 186/188 236.15/232.01 c qxplain 188/188 236.67/232.55 c 531539[?] -4517[?] -4518[?] 2627[?] is mandatory 236.67/232.55 c qxplain 186/187 237.17/233.07 c qxplain 187/187 237.77/233.60 c 533415[?] 3518[?] -3662[?] 3661[?] is mandatory 237.77/233.60 c qxplain 186/186 238.27/234.12 c 533420[?] 3662[?] -3516[?] is mandatory 238.27/234.12 c qxplain 183/185 238.77/234.64 c qxplain 185/185 239.27/235.17 c 533423[?] -3661[?] 285[?] is mandatory 239.27/235.17 c qxplain 183/184 239.77/235.69 c qxplain 184/184 240.37/236.22 c 533736[?] 3516[?] -3514[?] 3512[?] is mandatory 240.37/236.22 c qxplain 183/183 240.87/236.74 c 533740[?] 3514[?] -33[?] 3515[?] is mandatory 240.87/236.74 c qxplain 176/182 241.37/237.26 c qxplain 180/182 241.87/237.78 c qxplain 182/182 242.47/238.31 c 533747[?] -3512[?] -70[?] is mandatory 242.47/238.31 c qxplain 180/181 242.97/238.83 c qxplain 181/181 243.47/239.35 c 533765[?] -3503[?] 24[?] 22[?] is mandatory 243.47/239.35 c qxplain 180/180 243.97/239.88 c -2629[?] 535569[?] is mandatory 243.97/239.88 c qxplain 176/179 244.57/240.40 c qxplain 178/179 245.07/240.92 c qxplain 179/179 245.57/241.44 c -2628[?] 535570[?] is mandatory 245.57/241.44 c qxplain 178/178 246.07/241.97 c -2627[?] 535571[?] is mandatory 246.07/241.97 c qxplain 176/177 246.68/242.51 c qxplain 177/177 247.19/243.03 c 542095[?] -20980[?] 21002[?] 21011[?] is mandatory 247.19/243.03 c qxplain 176/176 247.69/243.55 c 542101[?] -20977[?] 21010[?] 21001[?] is mandatory 247.69/243.55 c qxplain 151/175 248.19/244.08 c qxplain 164/175 248.79/244.60 c qxplain 170/175 249.29/245.13 c qxplain 173/175 249.79/245.64 c qxplain 175/175 250.29/246.17 c 542107[?] -20927[?] 20949[?] 20958[?] is mandatory 250.29/246.17 c qxplain 173/174 250.79/246.69 c qxplain 174/174 251.38/247.22 c 542113[?] -20924[?] 20957[?] 20948[?] is mandatory 251.38/247.22 c qxplain 173/173 251.89/247.77 c 542122[?] -20876[?] 20898[?] 19801[?] is mandatory 251.89/247.77 c qxplain 170/172 252.38/248.28 c qxplain 172/172 252.99/248.81 c 542128[?] -20873[?] 20897[?] 19801[?] is mandatory 252.99/248.81 c qxplain 170/171 253.49/249.33 c qxplain 171/171 253.99/249.86 c 542153[?] -20863[?] 18103[?] 20831[?] is mandatory 253.99/249.86 c qxplain 170/170 254.48/250.38 c 542165[?] -20867[?] 18103[?] 20831[?] is mandatory 254.48/250.38 c qxplain 164/169 255.09/250.90 c qxplain 167/169 255.58/251.43 c qxplain 169/169 256.08/251.95 c 542232[?] -20855[?] 17100[?] 20830[?] is mandatory 256.08/251.95 c qxplain 167/168 256.60/252.49 c qxplain 168/168 257.20/253.01 c 542244[?] -20859[?] 17100[?] 20830[?] is mandatory 257.20/253.01 c qxplain 167/167 257.70/253.54 c 542311[?] -20845[?] 16097[?] 20829[?] is mandatory 257.70/253.54 c qxplain 164/166 258.20/254.06 c qxplain 166/166 258.70/254.58 c 542323[?] -20851[?] 16097[?] 20829[?] is mandatory 258.70/254.58 c qxplain 164/165 259.30/255.10 c qxplain 165/165 259.80/255.62 c 542392[?] -20844[?] 22780[?] -15094[?] is mandatory 259.80/255.62 c qxplain 164/164 260.30/256.14 c 542404[?] -20850[?] 22778[?] -15094[?] is mandatory 260.30/256.14 c qxplain 151/163 260.80/256.67 c qxplain 158/163 261.30/257.19 c qxplain 161/163 261.90/257.71 c qxplain 163/163 262.40/258.23 c 542407[?] -22780[?] -22773[?] 20588[?] is mandatory 262.40/258.23 c qxplain 161/162 262.91/258.75 c qxplain 162/162 263.40/259.27 c 542420[?] -22778[?] 22766[?] 20588[?] is mandatory 263.40/259.27 c qxplain 161/161 264.01/259.80 c 542443[?] 22773[?] 18699[?] is mandatory 264.01/259.80 c qxplain 158/160 264.51/260.32 c qxplain 160/160 265.01/260.84 c 542479[?] -22766[?] 18696[?] 18699[?] is mandatory 265.01/260.84 c qxplain 158/159 265.51/261.36 c qxplain 159/159 266.11/261.90 c 550404[?] -20963[?] 21026[?] is mandatory 266.11/261.90 c qxplain 158/158 266.61/262.42 c 550406[?] -21026[?] 20978[?] 20981[?] is mandatory 266.61/262.42 c qxplain 151/157 267.13/262.95 c qxplain 155/157 267.63/263.48 c qxplain 157/157 268.23/264.00 c 550413[?] -20975[?] 21024[?] is mandatory 268.23/264.00 c qxplain 155/156 268.73/264.52 c qxplain 156/156 269.23/265.04 c 550415[?] -21024[?] 21022[?] 20976[?] is mandatory 269.23/265.04 c qxplain 155/155 269.73/265.57 c 550422[?] -21022[?] 19794[?] is mandatory 269.73/265.57 c qxplain 151/154 270.23/266.09 c qxplain 153/154 270.83/266.61 c qxplain 154/154 271.33/267.14 c 550443[?] -20979[?] 20987[?] 20993[?] is mandatory 271.33/267.14 c qxplain 153/153 271.83/267.66 c 550449[?] -21011[?] 21009[?] 20960[?] is mandatory 271.83/267.66 c qxplain 151/152 272.33/268.18 c qxplain 152/152 272.93/268.71 c 550455[?] -21010[?] 21008[?] 20965[?] is mandatory 272.93/268.71 c qxplain 151/151 273.43/269.23 c 550461[?] -21009[?] 21007[?] 19794[?] is mandatory 273.43/269.23 c qxplain 101/150 273.93/269.76 c qxplain 126/150 274.43/270.28 c qxplain 139/150 274.93/270.80 c qxplain 145/150 275.53/271.32 c qxplain 148/150 276.03/271.84 c qxplain 150/150 276.53/272.36 c 550467[?] -21008[?] 21006[?] 19794[?] is mandatory 276.53/272.36 c qxplain 148/149 277.03/272.88 c qxplain 149/149 277.64/273.43 c 550476[?] -21007[?] 19780[?] 21005[?] is mandatory 277.64/273.43 c qxplain 148/148 278.14/273.95 c 550479[?] -21006[?] 21004[?] 19794[?] is mandatory 278.14/273.95 c qxplain 145/147 278.64/274.47 c qxplain 147/147 279.14/274.99 c 550485[?] -21005[?] 20960[?] 19794[?] is mandatory 279.14/274.99 c qxplain 145/146 279.74/275.51 c qxplain 146/146 280.24/276.03 c 550494[?] -21004[?] 19782[?] 20965[?] is mandatory 280.24/276.03 c qxplain 145/145 280.74/276.55 c 550500[?] -21002[?] 21000[?] 20960[?] is mandatory 280.74/276.55 c qxplain 139/144 281.25/277.08 c qxplain 142/144 281.85/277.60 c qxplain 144/144 282.35/278.12 c 550506[?] -21001[?] 20999[?] 20965[?] is mandatory 282.35/278.12 c qxplain 142/143 282.85/278.65 c qxplain 143/143 283.35/279.17 c 550515[?] -21000[?] 20998[?] 19784[?] is mandatory 283.35/279.17 c qxplain 142/142 283.94/279.70 c 550521[?] -20999[?] 19784[?] 20997[?] is mandatory 283.94/279.70 c qxplain 139/141 284.44/280.22 c qxplain 141/141 284.95/280.74 c 550524[?] -20998[?] 20996[?] 19794[?] is mandatory 284.95/280.74 c qxplain 139/140 285.44/281.26 c qxplain 140/140 285.95/281.79 c 550530[?] -20997[?] 20995[?] 19794[?] is mandatory 285.95/281.79 c qxplain 139/139 286.54/282.31 c 550539[?] -20996[?] 19780[?] 20960[?] is mandatory 286.54/282.31 c qxplain 126/138 287.05/282.84 c qxplain 133/138 287.54/283.36 c qxplain 136/138 288.06/283.90 c qxplain 138/138 288.66/284.42 c 550542[?] -20995[?] 20965[?] 19794[?] is mandatory 288.66/284.42 c qxplain 136/137 289.16/284.94 c qxplain 137/137 289.66/285.46 c 550551[?] -20993[?] 20992[?] 20960[?] is mandatory 289.66/285.46 c qxplain 136/136 290.16/285.98 c 550560[?] -20992[?] 20991[?] 19782[?] is mandatory 290.16/285.98 c qxplain 133/135 290.76/286.50 c qxplain 135/135 291.26/287.02 c 550566[?] -20968[?] 20990[?] 19782[?] is mandatory 291.26/287.02 c qxplain 133/134 291.76/287.55 c qxplain 134/134 292.26/288.07 c 550572[?] -20991[?] 19784[?] 20989[?] is mandatory 292.26/288.07 c qxplain 133/133 292.76/288.59 c 550578[?] -20990[?] 19784[?] 20988[?] is mandatory 292.76/288.59 c qxplain 126/132 293.36/289.11 c qxplain 130/132 293.86/289.63 c qxplain 132/132 294.36/290.15 c 550584[?] -20989[?] 19778[?] 20960[?] is mandatory 294.36/290.15 c qxplain 130/131 294.86/290.67 c qxplain 131/131 295.36/291.19 c 550587[?] -20988[?] 20965[?] 19794[?] is mandatory 295.36/291.19 c qxplain 130/130 295.96/291.71 c 550596[?] -20987[?] 20986[?] 20960[?] is mandatory 295.96/291.71 c qxplain 126/129 296.46/292.23 c qxplain 128/129 296.96/292.75 c qxplain 129/129 297.46/293.27 c 550605[?] -20986[?] 20985[?] 19780[?] is mandatory 297.46/293.27 c qxplain 128/128 297.96/293.79 c 550611[?] -20966[?] 20984[?] 19780[?] is mandatory 297.96/293.79 c qxplain 126/127 298.58/294.33 c qxplain 127/127 299.08/294.87 c 550617[?] -20985[?] 20983[?] 19782[?] is mandatory 299.08/294.87 c qxplain 126/126 299.58/295.39 c 550623[?] -20984[?] 20982[?] 19782[?] is mandatory 299.58/295.39 c qxplain 101/125 300.17/295.92 c qxplain 114/125 300.67/296.44 c qxplain 120/125 301.17/296.96 c qxplain 123/125 301.67/297.48 c qxplain 125/125 302.27/298.01 c 550629[?] -20983[?] 19784[?] 20960[?] is mandatory 302.27/298.01 c qxplain 123/124 302.77/298.53 c qxplain 124/124 303.27/299.05 c 550635[?] -20982[?] 19784[?] 20965[?] is mandatory 303.27/299.05 c qxplain 123/123 303.77/299.58 c 550641[?] -20981[?] 19794[?] is mandatory 303.77/299.58 c qxplain 120/122 304.27/300.10 c qxplain 122/122 304.87/300.62 c 550644[?] -20978[?] 20979[?] 20980[?] is mandatory 304.87/300.62 c qxplain 120/121 305.37/301.14 c qxplain 121/121 305.88/301.66 c 550650[?] -20976[?] 20959[?] 20977[?] is mandatory 305.88/301.66 c qxplain 120/120 306.37/302.19 c 550657[?] -20911[?] 20973[?] is mandatory 306.37/302.19 c qxplain 114/119 306.99/302.71 c qxplain 117/119 307.48/303.23 c qxplain 119/119 307.99/303.75 c 550659[?] -20973[?] 20925[?] 20928[?] is mandatory 307.99/303.75 c qxplain 117/118 308.48/304.27 c qxplain 118/118 309.10/304.81 c 550666[?] -20922[?] 20971[?] is mandatory 309.10/304.81 c qxplain 117/117 309.60/305.34 c 550668[?] -20971[?] 20923[?] 20969[?] is mandatory 309.60/305.34 c qxplain 114/116 310.10/305.86 c qxplain 116/116 310.60/306.38 c 550675[?] -20969[?] 19793[?] is mandatory 310.60/306.38 c qxplain 114/115 311.20/306.91 c qxplain 115/115 311.70/307.43 c 550678[?] -20962[?] 20968[?] 20965[?] is mandatory 311.70/307.43 c qxplain 114/114 312.20/307.95 c 550684[?] -20961[?] 20966[?] 20965[?] is mandatory 312.20/307.95 c qxplain 101/113 312.70/308.48 c qxplain 108/113 313.30/309.00 c qxplain 111/113 313.80/309.52 c qxplain 113/113 314.30/310.05 c 550690[?] -20959[?] 20961[?] 20962[?] is mandatory 314.30/310.05 c qxplain 111/112 314.80/310.58 c qxplain 112/112 315.40/311.11 c 550696[?] -20926[?] 20934[?] 20940[?] is mandatory 315.40/311.11 c qxplain 111/111 315.90/311.63 c 550702[?] -20958[?] 20956[?] 19802[?] is mandatory 315.90/311.63 c qxplain 108/110 316.40/312.16 c qxplain 110/110 316.90/312.69 c 550708[?] -20957[?] 20955[?] 19798[?] is mandatory 316.90/312.69 c qxplain 108/109 317.50/313.22 c qxplain 109/109 318.00/313.75 c 550714[?] -20956[?] 20954[?] 19793[?] is mandatory 318.00/313.75 c qxplain 108/108 318.50/314.28 c 550720[?] -20955[?] 20953[?] 19793[?] is mandatory 318.50/314.28 c qxplain 101/107 319.00/314.80 c qxplain 105/107 319.60/315.32 c qxplain 107/107 320.12/315.86 c 550729[?] -20954[?] 20952[?] 19772[?] is mandatory 320.12/315.86 c qxplain 105/106 320.61/316.38 c qxplain 106/106 321.22/316.91 c 550732[?] -20953[?] 20951[?] 19793[?] is mandatory 321.22/316.91 c qxplain 105/105 321.72/317.43 c 550741[?] -20952[?] 19774[?] 19802[?] is mandatory 321.72/317.43 c qxplain 101/104 322.22/317.95 c qxplain 103/104 322.72/318.48 c qxplain 104/104 323.31/319.00 c 550747[?] -20951[?] 19774[?] 19798[?] is mandatory 323.31/319.00 c qxplain 103/103 323.81/319.52 c 550753[?] -20949[?] 20947[?] 19802[?] is mandatory 323.81/319.52 c qxplain 101/102 324.31/320.04 c qxplain 102/102 324.81/320.57 c 550759[?] -20948[?] 20946[?] 19798[?] is mandatory 324.81/320.57 c qxplain 101/101 325.31/321.09 c 550768[?] -20947[?] 20945[?] 19776[?] is mandatory 325.31/321.09 c qxplain 0/100 325.91/321.61 c qxplain 51/100 326.41/322.14 c qxplain 76/100 326.91/322.67 c qxplain 89/100 327.41/323.19 c qxplain 95/100 328.01/323.71 c qxplain 98/100 328.51/324.24 c qxplain 100/100 329.02/324.76 c 550774[?] -20946[?] 20944[?] 19776[?] is mandatory 329.02/324.76 c qxplain 98/99 329.51/325.28 c qxplain 99/99 330.02/325.80 c 550777[?] -20945[?] 20943[?] 19793[?] is mandatory 330.02/325.80 c qxplain 98/98 330.61/326.32 c 550783[?] -20944[?] 20942[?] 19793[?] is mandatory 330.61/326.32 c qxplain 95/97 331.13/326.86 c qxplain 97/97 331.63/327.38 c 550792[?] -20943[?] 19772[?] 19802[?] is mandatory 331.63/327.38 c qxplain 95/96 332.23/327.90 c qxplain 96/96 332.73/328.43 c 550795[?] -20942[?] 19798[?] 19793[?] is mandatory 332.73/328.43 c qxplain 95/95 333.23/328.95 c 550805[?] -20940[?] 20939[?] -20914[?] is mandatory 333.23/328.95 c qxplain 89/94 333.73/329.48 c qxplain 92/94 334.23/329.99 c qxplain 94/94 334.83/330.53 c 550810[?] -20939[?] 20938[?] 19793[?] is mandatory 334.83/330.53 c qxplain 92/93 335.33/331.05 c qxplain 93/93 335.83/331.59 c 550819[?] -20915[?] 20937[?] 19774[?] is mandatory 335.83/331.59 c qxplain 92/92 336.43/332.12 c 550825[?] -20938[?] 19776[?] 20936[?] is mandatory 336.43/332.12 c qxplain 89/91 336.93/332.64 c qxplain 91/91 337.43/333.16 c 550831[?] -20937[?] 20935[?] 19776[?] is mandatory 337.43/333.16 c qxplain 89/90 337.93/333.68 c qxplain 90/90 338.53/334.20 c 550834[?] -20936[?] 19802[?] 19793[?] is mandatory 338.53/334.20 c qxplain 89/89 339.03/334.73 c 550843[?] -20935[?] 19770[?] 19798[?] is mandatory 339.03/334.73 c qxplain 76/88 339.53/335.25 c qxplain 83/88 340.03/335.77 c qxplain 86/88 340.53/336.29 c qxplain 88/88 341.14/336.81 c 550846[?] 20914[?] 19772[?] is mandatory 341.14/336.81 c qxplain 86/87 341.63/337.33 c qxplain 87/87 342.14/337.87 c 550849[?] -20934[?] 20933[?] 19802[?] is mandatory 342.14/337.87 c qxplain 86/86 342.64/338.39 c 550858[?] -20933[?] 20932[?] 19772[?] is mandatory 342.64/338.39 c qxplain 83/85 343.24/338.91 c qxplain 85/85 343.74/339.42 c 550864[?] -20913[?] 20931[?] 19772[?] is mandatory 343.74/339.42 c qxplain 83/84 344.24/339.95 c qxplain 84/84 344.74/340.47 c 550870[?] -20932[?] 20930[?] 19774[?] is mandatory 344.74/340.47 c qxplain 83/83 345.24/340.99 c 550876[?] -20931[?] 20929[?] 19774[?] is mandatory 345.24/340.99 c qxplain 76/82 345.84/341.51 c qxplain 80/82 346.34/342.03 c qxplain 82/82 346.84/342.55 c 550882[?] -20930[?] 19776[?] 19802[?] is mandatory 346.84/342.55 c qxplain 80/81 347.34/343.07 c qxplain 81/81 347.84/343.59 c 550888[?] -20929[?] 19776[?] 19798[?] is mandatory 347.84/343.59 c qxplain 80/80 348.44/344.11 c 550891[?] 20912[?] 19770[?] is mandatory 348.44/344.11 c qxplain 76/79 348.94/344.63 c qxplain 78/79 349.44/345.15 c qxplain 79/79 349.94/345.67 c 550894[?] -20928[?] 19793[?] is mandatory 349.94/345.67 c qxplain 78/78 350.54/346.20 c 550897[?] -20925[?] 20926[?] 20927[?] is mandatory 350.54/346.20 c qxplain 76/77 351.04/346.71 c qxplain 77/77 351.54/347.24 c 550903[?] -20923[?] 20908[?] 20924[?] is mandatory 351.54/347.24 c qxplain 76/76 352.04/347.76 c 550910[?] -20835[?] 20920[?] is mandatory 352.04/347.76 c qxplain 51/75 352.54/348.29 c qxplain 64/75 353.16/348.84 c qxplain 70/75 353.65/349.35 c qxplain 73/75 354.15/349.87 c qxplain 75/75 354.65/350.39 c 550912[?] -20920[?] 20874[?] 20877[?] is mandatory 354.65/350.39 c qxplain 73/74 355.25/350.91 c qxplain 74/74 355.75/351.45 c 550919[?] -20871[?] 20918[?] is mandatory 355.75/351.45 c qxplain 73/73 356.25/351.97 c 550921[?] -20918[?] 20872[?] 20916[?] is mandatory 356.25/351.97 c qxplain 70/72 356.75/352.49 c qxplain 72/72 357.35/353.01 c 550928[?] -20916[?] 19791[?] is mandatory 357.35/353.01 c qxplain 70/71 357.85/353.54 c qxplain 71/71 358.35/354.07 c 550932[?] -20910[?] 20915[?] -20914[?] is mandatory 358.35/354.07 c qxplain 70/70 358.85/354.59 c 550938[?] -20909[?] 20913[?] -20912[?] is mandatory 358.85/354.59 c qxplain 64/69 359.45/355.12 c qxplain 67/69 359.95/355.65 c qxplain 69/69 360.45/356.18 c 550943[?] -20908[?] 20909[?] 20910[?] is mandatory 360.45/356.18 c qxplain 67/68 360.96/356.69 c qxplain 68/68 361.55/357.22 c 550952[?] -20875[?] 20883[?] 19801[?] is mandatory 361.55/357.22 c qxplain 67/67 362.06/357.74 c 551006[?] -20898[?] 20896[?] 19801[?] is mandatory 362.06/357.74 c qxplain 64/66 362.55/358.26 c qxplain 66/66 363.06/358.77 c 551013[?] -20897[?] 20895[?] -20890[?] is mandatory 363.06/358.77 c qxplain 64/65 363.55/359.29 c qxplain 65/65 364.17/359.83 c 551021[?] -20896[?] 20894[?] 19768[?] is mandatory 364.17/359.83 c qxplain 64/64 364.67/360.36 c 551027[?] -20895[?] 20893[?] 19768[?] is mandatory 364.67/360.36 c qxplain 51/63 365.17/360.88 c qxplain 58/63 365.77/361.40 c qxplain 61/63 366.27/361.92 c qxplain 63/63 366.77/362.43 c 551030[?] -20894[?] 20892[?] 19791[?] is mandatory 366.77/362.43 c qxplain 61/62 367.27/362.95 c qxplain 62/62 367.77/363.48 c 551036[?] -20893[?] 20891[?] 19791[?] is mandatory 367.77/363.48 c qxplain 61/61 368.37/364.01 c 551045[?] -20892[?] 19764[?] 19801[?] is mandatory 368.37/364.01 c qxplain 58/60 368.87/364.53 c qxplain 60/60 369.37/365.05 c 551051[?] -20891[?] 19764[?] 19797[?] is mandatory 369.37/365.05 c qxplain 58/59 369.87/365.56 c qxplain 59/59 370.37/366.09 c 551054[?] 20890[?] 19766[?] is mandatory 370.37/366.09 c qxplain 58/58 370.97/366.61 c 551105[?] -20883[?] 20836[?] 19801[?] is mandatory 370.97/366.61 c qxplain 51/57 371.47/367.13 c qxplain 55/57 371.97/367.65 c qxplain 57/57 372.47/368.17 c 551143[?] -20836[?] -19762[?] 18264[?] is mandatory 372.47/368.17 c qxplain 55/56 372.97/368.69 c qxplain 56/56 373.57/369.21 c 551147[?] -20877[?] 19791[?] is mandatory 373.57/369.21 c qxplain 55/55 374.07/369.73 c 551150[?] -20874[?] 20876[?] 20875[?] is mandatory 374.07/369.73 c qxplain 51/54 374.57/370.25 c qxplain 53/54 375.09/370.79 c qxplain 54/54 375.69/371.32 c 551156[?] -20872[?] 20873[?] 20832[?] is mandatory 375.69/371.32 c qxplain 53/53 376.19/371.84 c 551172[?] -19756[?] 20866[?] 20868[?] is mandatory 376.19/371.84 c qxplain 51/52 376.69/372.37 c qxplain 52/52 377.19/372.89 c 551181[?] -20868[?] 20862[?] 19743[?] is mandatory 377.19/372.89 c qxplain 51/51 377.79/373.41 c 551186[?] -20866[?] 20858[?] 20867[?] is mandatory 377.79/373.41 c qxplain 0/50 378.29/373.93 c qxplain 26/50 378.79/374.45 c qxplain 39/50 379.29/374.97 c qxplain 45/50 379.79/375.49 c qxplain 48/50 380.39/376.01 c qxplain 50/50 380.89/376.53 c 551192[?] -20862[?] 20854[?] 20863[?] is mandatory 380.89/376.53 c qxplain 48/49 381.39/377.05 c qxplain 49/49 381.89/377.58 c 551198[?] -20858[?] 20849[?] 20859[?] is mandatory 381.89/377.58 c qxplain 48/48 382.49/378.10 c 551204[?] -20854[?] 20843[?] 20855[?] is mandatory 382.49/378.10 c qxplain 45/47 382.99/378.62 c qxplain 47/47 383.49/379.14 c 551210[?] -20849[?] 20850[?] 20851[?] is mandatory 383.49/379.14 c qxplain 45/46 383.99/379.66 c qxplain 46/46 384.49/380.19 c 551216[?] -20843[?] 20844[?] 20845[?] is mandatory 384.49/380.19 c qxplain 45/45 385.09/380.72 c 551232[?] -20833[?] 20836[?] 19797[?] is mandatory 385.09/380.72 c qxplain 39/44 385.59/381.24 c qxplain 42/44 386.09/381.76 c qxplain 44/44 386.71/382.30 c 551238[?] -20832[?] 20833[?] 19801[?] is mandatory 386.71/382.30 c qxplain 42/43 387.21/382.83 c qxplain 43/43 387.71/383.35 c -20831[?] 551240[?] is mandatory 387.71/383.35 c qxplain 42/42 388.21/383.88 c -20830[?] 551241[?] is mandatory 388.21/383.88 c qxplain 39/41 388.71/384.39 c qxplain 41/41 389.31/384.92 c -20829[?] 551242[?] is mandatory 389.31/384.92 c qxplain 39/40 389.81/385.43 c qxplain 40/40 390.31/385.96 c -20588[?] 552540[?] is mandatory 390.31/385.96 c qxplain 39/39 390.81/386.48 c -19794[?] 558530[?] is mandatory 390.81/386.48 c qxplain 26/38 391.41/387.00 c qxplain 33/38 391.91/387.52 c qxplain 36/38 392.41/388.04 c qxplain 38/38 392.91/388.57 c -19793[?] 558531[?] is mandatory 392.91/388.57 c qxplain 36/37 393.41/389.09 c qxplain 37/37 394.01/389.61 c -19791[?] 558535[?] is mandatory 394.01/389.61 c qxplain 36/36 394.51/390.13 c 558555[?] -19784[?] -19781[?] is mandatory 394.51/390.13 c qxplain 33/35 395.01/390.66 c qxplain 35/35 395.51/391.18 c 558561[?] -19782[?] -19779[?] is mandatory 395.51/391.18 c qxplain 33/34 396.01/391.70 c qxplain 34/34 396.61/392.22 c 558565[?] 19781[?] 18678[?] is mandatory 396.61/392.22 c qxplain 33/33 397.11/392.74 c 558567[?] -19780[?] -19777[?] is mandatory 397.11/392.74 c qxplain 26/32 397.61/393.26 c qxplain 30/32 398.24/393.80 c qxplain 32/32 398.74/394.32 c 558571[?] 19779[?] 18684[?] is mandatory 398.74/394.32 c qxplain 30/31 399.24/394.84 c qxplain 31/31 399.73/395.36 c 558573[?] -19778[?] -19775[?] is mandatory 399.73/395.36 c qxplain 30/30 400.23/395.88 c 558577[?] 19777[?] 18690[?] is mandatory 400.23/395.88 c qxplain 26/29 400.84/396.40 c qxplain 28/29 401.34/396.92 c qxplain 29/29 401.84/397.45 c 558579[?] -19776[?] -19773[?] is mandatory 401.84/397.45 c qxplain 28/28 402.33/397.97 c 558583[?] 19775[?] 18696[?] is mandatory 402.33/397.97 c qxplain 26/27 402.84/398.49 c qxplain 27/27 403.43/399.01 c 558585[?] -19774[?] -19771[?] is mandatory 403.43/399.01 c qxplain 26/26 403.94/399.54 c 558588[?] 19773[?] 18681[?] is mandatory 403.94/399.54 c qxplain 0/25 404.43/400.06 c qxplain 13/25 404.94/400.59 c qxplain 20/25 405.53/401.12 c qxplain 23/25 406.04/401.64 c qxplain 25/25 406.53/402.16 c 558591[?] -19772[?] -19769[?] is mandatory 406.53/402.16 c qxplain 23/24 407.03/402.69 c qxplain 24/24 407.63/403.21 c 558594[?] 19771[?] 18687[?] is mandatory 407.63/403.21 c qxplain 23/23 408.13/403.74 c 558597[?] -19770[?] -19767[?] is mandatory 408.13/403.74 c qxplain 20/22 408.63/404.26 c qxplain 22/22 409.25/404.81 c 558600[?] 19769[?] 18693[?] is mandatory 409.25/404.81 c qxplain 20/21 409.75/405.34 c qxplain 21/21 410.25/405.86 c 558604[?] -19768[?] 18103[?] is mandatory 410.25/405.86 c qxplain 20/20 410.75/406.38 c 558606[?] 19767[?] 18699[?] is mandatory 410.75/406.38 c qxplain 13/19 411.35/406.91 c qxplain 17/19 411.85/407.43 c qxplain 19/19 412.35/407.95 c 558610[?] -19766[?] 17100[?] is mandatory 412.35/407.95 c qxplain 17/18 412.85/408.48 c qxplain 18/18 413.45/409.00 c 558616[?] -19764[?] 16097[?] is mandatory 413.45/409.00 c qxplain 17/17 413.95/409.53 c 558620[?] 19762[?] 19749[?] -15094[?] is mandatory 413.95/409.53 c qxplain 13/16 414.45/410.05 c qxplain 15/16 414.95/410.57 c qxplain 16/16 415.45/411.09 c 558627[?] -19757[?] 19760[?] is mandatory 415.45/411.09 c qxplain 15/15 416.05/411.61 c 558629[?] -19760[?] 19759[?] 18264[?] is mandatory 416.05/411.61 c qxplain 13/14 416.55/412.14 c qxplain 14/14 417.05/412.66 c 558633[?] -19759[?] 19754[?] 18264[?] is mandatory 417.05/412.66 c qxplain 13/13 417.55/413.18 c 558645[?] -19754[?] 19756[?] 19755[?] is mandatory 417.55/413.18 c qxplain 0/12 418.15/413.70 c qxplain 7/12 418.65/414.22 c qxplain 10/12 419.15/414.74 c qxplain 12/12 419.65/415.26 c 558656[?] -19749[?] 18696[?] 18699[?] is mandatory 419.65/415.26 c qxplain 10/11 420.15/415.78 c qxplain 11/11 420.77/416.32 c -19743[?] 558680[?] is mandatory 420.77/416.32 c qxplain 10/10 421.27/416.84 c -18264[?] 569890[?] is mandatory 421.27/416.84 c qxplain 7/9 421.77/417.36 c qxplain 9/9 422.26/417.88 c 593305[?] -31392[?] 31332[?] 32537[?] is mandatory 422.26/417.88 c qxplain 7/8 422.86/418.40 c qxplain 8/8 423.36/418.93 c 593311[?] -31391[?] 31332[?] 32542[?] is mandatory 423.36/418.93 c qxplain 7/7 423.87/419.45 c 601622[?] -29842[?] 31392[?] 31380[?] is mandatory 423.87/419.45 c qxplain 0/6 424.36/419.97 c qxplain 4/6 424.87/420.49 c qxplain 6/6 425.46/421.01 c 601628[?] -24141[?] 31373[?] 31391[?] is mandatory 425.46/421.01 c qxplain 4/5 425.97/421.53 c qxplain 5/5 426.46/422.06 c 601652[?] -31380[?] 31378[?] 31379[?] is mandatory 426.46/422.06 c qxplain 4/4 426.97/422.58 c 601670[?] -31373[?] 31374[?] 31375[?] is mandatory 426.97/422.58 c qxplain 0/3 427.56/423.10 c qxplain 2/3 428.07/423.63 c qxplain 3/3 428.56/424.16 c 612639[?] 24274[?] -27149[?] 29842[?] is mandatory 428.56/424.16 c qxplain 2/2 428.66/424.28 c qxplain 0/1 429.32/424.81 c qxplain 1/1 429.81/425.34 c 619007[?] 27149[?] -23270[?] is mandatory 429.81/425.34 c qxplain 0/0 430.32/425.87 c 624724[?] 24273[?] -24274[?] 24141[?] is mandatory 431.19/426.55 c Size of the MUS: 399 431.19/426.55 c Unsat core computation wall clock time (in seconds) : 423.704 431.19/426.55 c starts : 799 431.19/426.55 c conflicts : 1 431.19/426.55 c decisions : 369700341 431.19/426.55 c propagations : 1775794303 431.19/426.55 c inspects : 27685878 431.19/426.55 c shortcuts : 0 431.19/426.55 c learnt literals : 0 431.19/426.55 c learnt binary clauses : 0 431.19/426.55 c learnt ternary clauses : 0 431.19/426.55 c learnt constraints : 1 431.19/426.55 c ignored constraints : 0 431.19/426.55 c root simplifications : 0 431.19/426.55 c removed literals (reason simplification) : 0 431.19/426.55 c reason swapping (by a shorter reason) : 0 431.19/426.55 c Calls to reduceDB : 0 431.19/426.55 c speed (assignments/second) : 1.4724662545605307E9 431.19/426.55 c non guided choices 369700340 431.19/426.55 c learnt constraints type 431.19/426.55 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 1 431.19/426.55 c constraints type 431.19/426.55 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1738100 431.19/426.55 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 21050 431.19/426.55 s UNSATISFIABLE 431.19/426.55 v 3061 12827 13276 13327 13397 13469 13491 13528 13537 13539 13540 13619 13620 13621 13622 13623 13624 13713 13714 13715 13716 13717 13718 13719 13720 13721 13774 13786 13794 13802 13810 32427 32429 32431 32433 32435 32437 32495 32927 32929 32931 32933 32935 32937 32995 33147 33149 33151 33153 33155 33157 33159 33161 33261 33277 33293 33310 35927 35938 35957 35995 36006 36018 36085 36097 36164 36176 44178 44180 44187 44189 44197 44220 44371 44379 44382 44388 44397 44403 44409 44412 44415 44421 44427 44431 44433 44440 44442 44449 44458 44467 44473 44623 44632 44638 44644 44650 44656 44662 44668 44674 44680 44684 44686 44693 44695 44703 44711 44720 44723 44832 44840 44852 44864 44873 44876 44885 44891 44897 44903 44909 44915 44921 44927 44933 44946 44955 44960 44966 44972 44978 44984 44990 45003 45012 45014 45015 45016 46314 52304 52305 52309 52330 52336 52342 52348 52354 52360 52366 52378 52384 52390 52396 52401 52403 52410 52420 52454 52806 53903 55002 56098 57566 57568 57575 57577 57584 57586 57593 57595 57602 57604 57611 57613 57620 57622 57629 57631 59061 59064 59067 59070 59073 59076 59079 59084 59090 59096 59102 59108 59114 59120 59126 59178 59184 63664 63735 63737 63745 64046 64055 65932 65934 65942 66248 66257 66283 68134 68136 68144 68450 68459 70335 70340 70343 70656 70660 70667 70685 72489 72490 72491 79015 79021 79027 79033 79042 79048 79073 79085 79152 79164 79231 79243 79312 79324 79327 79340 79363 79399 87324 87326 87333 87335 87342 87363 87369 87375 87381 87387 87396 87399 87405 87414 87420 87426 87435 87441 87444 87450 87459 87462 87471 87480 87486 87492 87498 87504 87507 87516 87525 87531 87537 87543 87549 87555 87561 87564 87570 87577 87579 87586 87588 87595 87598 87604 87610 87616 87622 87628 87634 87640 87649 87652 87661 87667 87673 87679 87688 87694 87697 87703 87712 87715 87725 87730 87739 87745 87751 87754 87763 87766 87769 87778 87784 87790 87796 87802 87808 87811 87814 87817 87823 87830 87832 87839 87841 87848 87852 87858 87863 87872 87926 87933 87941 87947 87950 87956 87965 87971 87974 88025 88063 88067 88070 88076 88092 88101 88106 88112 88118 88124 88130 88136 88152 88158 88160 88161 88162 89460 95450 95451 95455 95475 95481 95485 95487 95491 95493 95497 95499 95503 95505 95508 95511 95514 95517 95520 95524 95526 95530 95536 95540 95547 95549 95553 95565 95576 95600 106810 130225 130231 138542 138548 138572 138590 149559 155927 161644 0 431.19/426.55 c Total wall clock time (in seconds) : 426.453
OK 399
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-3493320-1307799010/watcher-3493320-1307799010 -o /tmp/evaluation-result-3493320-1307799010/solver-3493320-1307799010 -C 1800 -W 1850 -M 7680 java -Xms6000m -Xmx6000m -jar sat4j-mus-v20110206.jar HOME/instance-3493320-1307799010.cnf running on 2 cores: 5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1850 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 3.11 1.79 0.99 6/242 13634 /proc/meminfo: memFree=31251328/32951124 swapFree=67088052/67111528 [pid=13634] ppid=13631 vsize=11804 CPUtime=0 cores=5,7 /proc/13634/stat : 13634 (runsolver) R 13631 13634 10609 0 -1 4202560 46 0 0 0 0 0 0 0 24 0 1 0 872317251 12087296 56 33554432000 4194304 5436572 140736519249808 18446744073709551615 5057063 0 2147483391 4096 24578 0 0 0 17 7 0 0 0 /proc/13634/statm: 2951 56 36 304 0 2643 0 [startup+0.0755559 s] /proc/loadavg: 3.11 1.79 0.99 6/242 13634 /proc/meminfo: memFree=31251328/32951124 swapFree=67088052/67111528 [pid=13634] ppid=13631 vsize=6363732 CPUtime=0.06 cores=5,7 /proc/13634/stat : 13634 (java) S 13631 13634 10609 0 -1 4202496 8608 0 1 0 5 1 0 0 24 0 18 0 872317251 6516461568 8304 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/13634/statm: 1590933 8304 1751 9 0 1581671 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 6363732 [startup+0.160118 s] /proc/loadavg: 3.11 1.79 0.99 6/242 13634 /proc/meminfo: memFree=31251328/32951124 swapFree=67088052/67111528 [pid=13634] ppid=13631 vsize=6364896 CPUtime=0.16 cores=5,7 /proc/13634/stat : 13634 (java) S 13631 13634 10609 0 -1 4202496 19421 0 1 0 14 2 0 0 24 0 18 0 872317251 6517653504 19117 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/13634/statm: 1591224 19117 2141 9 0 1581962 0 Current children cumulated CPU time (s) 0.16 Current children cumulated vsize (KiB) 6364896 [startup+0.300095 s] /proc/loadavg: 3.11 1.79 0.99 6/242 13634 /proc/meminfo: memFree=31251328/32951124 swapFree=67088052/67111528 [pid=13634] ppid=13631 vsize=6368496 CPUtime=0.44 cores=5,7 /proc/13634/stat : 13634 (java) S 13631 13634 10609 0 -1 4202496 24718 0 1 0 41 3 0 0 24 0 18 0 872317251 6521339904 23981 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/13634/statm: 1592124 23981 2203 9 0 1582862 0 Current children cumulated CPU time (s) 0.44 Current children cumulated vsize (KiB) 6368496 [startup+0.701024 s] /proc/loadavg: 3.11 1.79 0.99 6/242 13634 /proc/meminfo: memFree=31251328/32951124 swapFree=67088052/67111528 [pid=13634] ppid=13631 vsize=6368312 CPUtime=0.89 cores=5,7 /proc/13634/stat : 13634 (java) S 13631 13634 10609 0 -1 4202496 58378 0 1 0 81 8 0 0 24 0 18 0 872317251 6521151488 57545 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/13634/statm: 1592078 57545 2203 9 0 1582816 0 Current children cumulated CPU time (s) 0.89 Current children cumulated vsize (KiB) 6368312 [startup+1.50088 s] /proc/loadavg: 3.11 1.79 0.99 7/260 14375 /proc/meminfo: memFree=30617992/32951124 swapFree=67088052/67111528 [pid=13634] ppid=13631 vsize=6368312 CPUtime=1.68 cores=5,7 /proc/13634/stat : 13634 (java) S 13631 13634 10609 0 -1 4202496 131144 0 1 0 152 16 0 0 24 0 18 0 872317251 6521151488 130310 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/13634/statm: 1592078 130310 2205 9 0 1582816 0 [pid=13634/tid=13644] ppid=13631 vsize=6368312 CPUtime=1.47 cores=5,7 /proc/13634/task/13644/stat : 13644 (java) R 13631 13634 10609 0 -1 4202560 127908 0 1 0 131 16 0 0 25 0 18 0 872317252 6521151488 130310 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 46912505595617 0 4 0 16800975 0 0 0 -1 7 0 0 0 [pid=13634/tid=13652] ppid=13631 vsize=6368312 CPUtime=0 cores=5,7 /proc/13634/task/13652/stat : 13652 (java) S 13631 13634 10609 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872317253 6521151488 130310 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 255118584729 0 4 0 16800975 18446604469178533184 0 0 -1 5 0 0 0 [pid=13634/tid=13654] ppid=13631 vsize=6368312 CPUtime=0 cores=5,7 /proc/13634/task/13654/stat : 13654 (java) S 13631 13634 10609 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 872317253 6521151488 130310 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 255118584729 0 4 0 16800975 18446604469178533184 0 0 -1 5 0 0 0 [pid=13634/tid=13655] ppid=13631 vsize=6368312 CPUtime=0 cores=5,7 /proc/13634/task/13655/stat : 13655 (java) S 13631 13634 10609 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872317253 6521151488 130310 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 255118584729 0 4 0 16800975 18446604469178533184 0 0 -1 5 0 0 0 [pid=13634/tid=13656] ppid=13631 vsize=6368312 CPUtime=0 cores=5,7 /proc/13634/task/13656/stat : 13656 (java) S 13631 13634 10609 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872317253 6521151488 130310 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 255118584729 0 4 0 16800975 18446604469178533184 0 0 -1 5 0 0 0 [pid=13634/tid=13657] ppid=13631 vsize=6368312 CPUtime=0 cores=5,7 /proc/13634/task/13657/stat : 13657 (java) S 13631 13634 10609 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872317253 6521151488 130310 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 255118584729 0 4 0 16800975 18446604469178533184 0 0 -1 5 0 0 0 [pid=13634/tid=13658] ppid=13631 vsize=6368312 CPUtime=0 cores=5,7 /proc/13634/task/13658/stat : 13658 (java) S 13631 13634 10609 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872317253 6521151488 130310 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 255118584729 0 4 0 16800975 18446604469178533184 0 0 -1 5 0 0 0 [pid=13634/tid=13659] ppid=13631 vsize=6368312 CPUtime=0 cores=5,7 /proc/13634/task/13659/stat : 13659 (java) S 13631 13634 10609 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872317253 6521151488 130310 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 255118584729 0 4 0 16800975 18446604469178533184 0 0 -1 5 0 0 0 [pid=13634/tid=13660] ppid=13631 vsize=6368312 CPUtime=0 cores=5,7 /proc/13634/task/13660/stat : 13660 (java) S 13631 13634 10609 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872317253 6521151488 130310 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 255118584729 0 4 0 16800975 18446604469178533184 0 0 -1 5 0 0 0 [pid=13634/tid=13669] ppid=13631 vsize=6368312 CPUtime=0 cores=5,7 /proc/13634/task/13669/stat : 13669 (java) S 13631 13634 10609 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 18 0 872317254 6521151488 130310 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 255118585344 0 0 0 16800975 18446604469178533184 0 0 -1 7 0 0 0 [pid=13634/tid=13674] ppid=13631 vsize=6368312 CPUtime=0 cores=5,7 /proc/13634/task/13674/stat : 13674 (java) S 13631 13634 10609 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 872317254 6521151488 130310 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 255118584729 0 4 0 16800975 18446604469178533184 0 0 -1 7 0 0 0 [pid=13634/tid=13675] ppid=13631 vsize=6368312 CPUtime=0 cores=5,7 /proc/13634/task/13675/stat : 13675 (java) S 13631 13634 10609 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 872317254 6521151488 130310 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 255118584729 0 4 0 16800975 18446604469178533184 0 0 -1 7 0 0 0 [pid=13634/tid=13692] ppid=13631 vsize=6368312 CPUtime=0 cores=5,7 /proc/13634/task/13692/stat : 13692 (java) S 13631 13634 10609 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872317256 6521151488 130310 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 255118592433 0 4 0 16800975 18446604469178533184 0 0 -1 7 0 0 0 [pid=13634/tid=13693] ppid=13631 vsize=6368312 CPUtime=0.08 cores=5,7 /proc/13634/task/13693/stat : 13693 (java) S 13631 13634 10609 0 -1 4202560 268 0 0 0 8 0 0 0 24 0 18 0 872317256 6521151488 130310 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 255118584729 0 4 0 16800975 18446604469178533184 0 0 -1 5 0 0 0 [pid=13634/tid=13694] ppid=13631 vsize=6368312 CPUtime=0.11 cores=5,7 /proc/13634/task/13694/stat : 13694 (java) S 13631 13634 10609 0 -1 4202560 1813 0 0 0 11 0 0 0 25 0 18 0 872317256 6521151488 130310 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 255118584729 0 4 0 16800975 18446604469178533184 0 0 -1 5 0 0 0 [pid=13634/tid=13695] ppid=13631 vsize=6368312 CPUtime=0 cores=5,7 /proc/13634/task/13695/stat : 13695 (java) S 13631 13634 10609 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872317256 6521151488 130310 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 255118584729 0 4 0 16800975 18446604469178533184 0 0 -1 7 0 0 0 [pid=13634/tid=13696] ppid=13631 vsize=6368312 CPUtime=0 cores=5,7 /proc/13634/task/13696/stat : 13696 (java) S 13631 13634 10609 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 872317256 6521151488 130310 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 255118585344 0 4 0 16800975 18446604469178533184 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 1.68 Current children cumulated vsize (KiB) 6368312 [startup+3.10061 s] /proc/loadavg: 3.50 1.90 1.03 5/240 14549 /proc/meminfo: memFree=30345832/32951124 swapFree=67088052/67111528 [pid=13634] ppid=13631 vsize=6368452 CPUtime=3.54 cores=5,7 /proc/13634/stat : 13634 (java) S 13631 13634 10609 0 -1 4202496 257470 0 1 0 323 31 0 0 24 0 18 0 872317251 6521294848 256636 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/13634/statm: 1592113 256636 2215 9 0 1582851 0 [pid=13634/tid=13644] ppid=13631 vsize=6368452 CPUtime=3.06 cores=5,7 /proc/13634/task/13644/stat : 13644 (java) R 13631 13634 10609 0 -1 4202560 254161 0 1 0 276 30 0 0 25 0 18 0 872317252 6521294848 256636 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 46912505366072 0 4 0 16800975 0 0 0 -1 7 0 0 0 [pid=13634/tid=13652] ppid=13631 vsize=6368452 CPUtime=0 cores=5,7 /proc/13634/task/13652/stat : 13652 (java) S 13631 13634 10609 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872317253 6521294848 256636 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 255118584729 0 4 0 16800975 18446604469178533184 0 0 -1 5 0 0 0 [pid=13634/tid=13654] ppid=13631 vsize=6368452 CPUtime=0 cores=5,7 /proc/13634/task/13654/stat : 13654 (java) S 13631 13634 10609 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 872317253 6521294848 256636 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 255118584729 0 4 0 16800975 18446604469178533184 0 0 -1 5 0 0 0 [pid=13634/tid=13655] ppid=13631 vsize=6368452 CPUtime=0 cores=5,7 /proc/13634/task/13655/stat : 13655 (java) S 13631 13634 10609 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872317253 6521294848 256636 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 255118584729 0 4 0 16800975 18446604469178533184 0 0 -1 5 0 0 0 [pid=13634/tid=13656] ppid=13631 vsize=6368452 CPUtime=0 cores=5,7 /proc/13634/task/13656/stat : 13656 (java) S 13631 13634 10609 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872317253 6521294848 256636 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 255118584729 0 4 0 16800975 18446604469178533184 0 0 -1 5 0 0 0 [pid=13634/tid=13657] ppid=13631 vsize=6368452 CPUtime=0 cores=5,7 /proc/13634/task/13657/stat : 13657 (java) S 13631 13634 10609 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872317253 6521294848 256636 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 255118584729 0 4 0 16800975 18446604469178533184 0 0 -1 5 0 0 0 [pid=13634/tid=13658] ppid=13631 vsize=6368452 CPUtime=0 cores=5,7 /proc/13634/task/13658/stat : 13658 (java) S 13631 13634 10609 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872317253 6521294848 256636 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 255118584729 0 4 0 16800975 18446604469178533184 0 0 -1 5 0 0 0 [pid=13634/tid=13659] ppid=13631 vsize=6368452 CPUtime=0 cores=5,7 /proc/13634/task/13659/stat : 13659 (java) S 13631 13634 10609 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872317253 6521294848 256636 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 255118584729 0 4 0 16800975 18446604469178533184 0 0 -1 5 0 0 0 [pid=13634/tid=13660] ppid=13631 vsize=6368452 CPUtime=0 cores=5,7 /proc/13634/task/13660/stat : 13660 (java) S 13631 13634 10609 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872317253 6521294848 256636 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 255118584729 0 4 0 16800975 18446604469178533184 0 0 -1 5 0 0 0 [pid=13634/tid=13669] ppid=13631 vsize=6368452 CPUtime=0 cores=5,7 /proc/13634/task/13669/stat : 13669 (java) S 13631 13634 10609 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 18 0 872317254 6521294848 256636 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 255118585344 0 0 0 16800975 18446604469178533184 0 0 -1 7 0 0 0 [pid=13634/tid=13674] ppid=13631 vsize=6368452 CPUtime=0 cores=5,7 /proc/13634/task/13674/stat : 13674 (java) S 13631 13634 10609 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 872317254 6521294848 256636 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 255118584729 0 4 0 16800975 18446604469178533184 0 0 -1 7 0 0 0 [pid=13634/tid=13675] ppid=13631 vsize=6368452 CPUtime=0 cores=5,7 /proc/13634/task/13675/stat : 13675 (java) S 13631 13634 10609 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 872317254 6521294848 256636 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 255118584729 0 4 0 16800975 18446604469178533184 0 0 -1 7 0 0 0 [pid=13634/tid=13692] ppid=13631 vsize=6368452 CPUtime=0 cores=5,7 /proc/13634/task/13692/stat : 13692 (java) S 13631 13634 10609 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872317256 6521294848 256636 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 255118592433 0 4 0 16800975 18446604469178533184 0 0 -1 7 0 0 0 [pid=13634/tid=13693] ppid=13631 vsize=6368452 CPUtime=0.19 cores=5,7 /proc/13634/task/13693/stat : 13693 (java) S 13631 13634 10609 0 -1 4202560 314 0 0 0 19 0 0 0 15 0 18 0 872317256 6521294848 256636 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 255118584729 0 4 0 16800975 18446604469178533184 0 0 -1 5 0 0 0 [pid=13634/tid=13694] ppid=13631 vsize=6368452 CPUtime=0.26 cores=5,7 /proc/13634/task/13694/stat : 13694 (java) S 13631 13634 10609 0 -1 4202560 1840 0 0 0 26 0 0 0 15 0 18 0 872317256 6521294848 256636 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 255118584729 0 4 0 16800975 18446604469178533184 0 0 -1 5 0 0 0 [pid=13634/tid=13695] ppid=13631 vsize=6368452 CPUtime=0 cores=5,7 /proc/13634/task/13695/stat : 13695 (java) S 13631 13634 10609 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872317256 6521294848 256636 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 255118584729 0 4 0 16800975 18446604469178533184 0 0 -1 7 0 0 0 [pid=13634/tid=13696] ppid=13631 vsize=6368452 CPUtime=0 cores=5,7 /proc/13634/task/13696/stat : 13696 (java) S 13631 13634 10609 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 872317256 6521294848 256636 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 255118585344 0 4 0 16800975 18446604469178533184 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 3.54 Current children cumulated vsize (KiB) 6368452 [startup+6.30107 s] /proc/loadavg: 3.50 1.90 1.03 5/261 14630 /proc/meminfo: memFree=28622644/32951124 swapFree=67088052/67111528 [pid=13634] ppid=13631 vsize=6370568 CPUtime=6.87 cores=5,7 /proc/13634/stat : 13634 (java) S 13631 13634 10609 0 -1 4202496 358395 0 1 0 645 42 0 0 24 0 19 0 872317251 6523461632 356842 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/13634/statm: 1592642 356842 2225 9 0 1583380 0 [pid=13634/tid=13644] ppid=13631 vsize=6370568 CPUtime=6.2 cores=5,7 /proc/13634/task/13644/stat : 13644 (java) R 13631 13634 10609 0 -1 4202560 354084 0 1 0 579 41 0 0 25 0 19 0 872317252 6523461632 356842 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 46912505664212 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=13634/tid=13652] ppid=13631 vsize=6370568 CPUtime=0 cores=5,7 /proc/13634/task/13652/stat : 13652 (java) S 13631 13634 10609 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 872317253 6523461632 356842 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 255118584729 0 4 0 16800975 18446604469178533184 0 0 -1 5 0 0 0 [pid=13634/tid=13654] ppid=13631 vsize=6370568 CPUtime=0 cores=5,7 /proc/13634/task/13654/stat : 13654 (java) S 13631 13634 10609 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 872317253 6523461632 356842 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 255118584729 0 4 0 16800975 18446604469178533184 0 0 -1 5 0 0 0 [pid=13634/tid=13655] ppid=13631 vsize=6370568 CPUtime=0 cores=5,7 /proc/13634/task/13655/stat : 13655 (java) S 13631 13634 10609 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 872317253 6523461632 356842 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 255118584729 0 4 0 16800975 18446604469178533184 0 0 -1 5 0 0 0 [pid=13634/tid=13656] ppid=13631 vsize=6370568 CPUtime=0 cores=5,7 /proc/13634/task/13656/stat : 13656 (java) S 13631 13634 10609 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 872317253 6523461632 356842 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 255118584729 0 4 0 16800975 18446604469178533184 0 0 -1 5 0 0 0 [pid=13634/tid=13657] ppid=13631 vsize=6370568 CPUtime=0 cores=5,7 /proc/13634/task/13657/stat : 13657 (java) S 13631 13634 10609 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 872317253 6523461632 356842 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 255118584729 0 4 0 16800975 18446604469178533184 0 0 -1 5 0 0 0 [pid=13634/tid=13658] ppid=13631 vsize=6370568 CPUtime=0 cores=5,7 /proc/13634/task/13658/stat : 13658 (java) S 13631 13634 10609 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 872317253 6523461632 356842 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 255118584729 0 4 0 16800975 18446604469178533184 0 0 -1 5 0 0 0 [pid=13634/tid=13659] ppid=13631 vsize=6370568 CPUtime=0 cores=5,7 /proc/13634/task/13659/stat : 13659 (java) S 13631 13634 10609 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 872317253 6523461632 356842 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 255118584729 0 4 0 16800975 18446604469178533184 0 0 -1 5 0 0 0 [pid=13634/tid=13660] ppid=13631 vsize=6370568 CPUtime=0 cores=5,7 /proc/13634/task/13660/stat : 13660 (java) S 13631 13634 10609 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 872317253 6523461632 356842 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 255118584729 0 4 0 16800975 18446604469178533184 0 0 -1 5 0 0 0 [pid=13634/tid=13669] ppid=13631 vsize=6370568 CPUtime=0 cores=5,7 /proc/13634/task/13669/stat : 13669 (java) S 13631 13634 10609 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 872317254 6523461632 356842 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 255118585344 0 0 0 16800975 18446604469178533184 0 0 -1 7 0 0 0 [pid=13634/tid=13674] ppid=13631 vsize=6370568 CPUtime=0 cores=5,7 /proc/13634/task/13674/stat : 13674 (java) S 13631 13634 10609 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 872317254 6523461632 356842 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 255118584729 0 4 0 16800975 18446604469178533184 0 0 -1 7 0 0 0 [pid=13634/tid=13675] ppid=13631 vsize=6370568 CPUtime=0 cores=5,7 /proc/13634/task/13675/stat : 13675 (java) S 13631 13634 10609 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 872317254 6523461632 356842 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 255118584729 0 4 0 16800975 18446604469178533184 0 0 -1 7 0 0 0 [pid=13634/tid=13692] ppid=13631 vsize=6370568 CPUtime=0 cores=5,7 /proc/13634/task/13692/stat : 13692 (java) S 13631 13634 10609 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 872317256 6523461632 356842 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 255118592433 0 4 0 16800975 18446604469178533184 0 0 -1 7 0 0 0 [pid=13634/tid=13693] ppid=13631 vsize=6370568 CPUtime=0.36 cores=5,7 /proc/13634/task/13693/stat : 13693 (java) S 13631 13634 10609 0 -1 4202560 1299 0 0 0 36 0 0 0 15 0 19 0 872317256 6523461632 356842 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 255118584729 0 4 0 16800975 18446604469178533184 0 0 -1 5 0 0 0 [pid=13634/tid=13694] ppid=13631 vsize=6370568 CPUtime=0.29 cores=5,7 /proc/13634/task/13694/stat : 13694 (java) S 13631 13634 10609 0 -1 4202560 1844 0 0 0 29 0 0 0 15 0 19 0 872317256 6523461632 356842 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 255118584729 0 4 0 16800975 18446604469178533184 0 0 -1 5 0 0 0 [pid=13634/tid=13695] ppid=13631 vsize=6370568 CPUtime=0 cores=5,7 /proc/13634/task/13695/stat : 13695 (java) S 13631 13634 10609 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 872317256 6523461632 356842 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 255118584729 0 4 0 16800975 18446604469178533184 0 0 -1 7 0 0 0 [pid=13634/tid=13696] ppid=13631 vsize=6370568 CPUtime=0 cores=5,7 /proc/13634/task/13696/stat : 13696 (java) S 13631 13634 10609 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 872317256 6523461632 356842 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 255118585344 0 4 0 16800975 18446604469178533184 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 6.87 Current children cumulated vsize (KiB) 6370568 [startup+12.7009 s] /proc/loadavg: 3.65 1.98 1.07 7/259 14811 /proc/meminfo: memFree=27058392/32951124 swapFree=67088052/67111528 [pid=13634] ppid=13631 vsize=6371580 CPUtime=14.53 cores=5,7 /proc/13634/stat : 13634 (java) S 13631 13634 10609 0 -1 4202496 605093 0 1 0 1382 71 0 0 24 0 19 0 872317251 6524497920 600178 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/13634/statm: 1592895 600178 2238 9 0 1583633 0 [pid=13634/tid=13644] ppid=13631 vsize=6371580 CPUtime=11.24 cores=5,7 ################ # More data... # ################ [pid=13634/tid=13655] ppid=13631 vsize=6436332 CPUtime=1.15 cores=5,7 /proc/13634/task/13655/stat : 13655 (java) S 13631 13634 10609 0 -1 4202560 33078 0 0 0 112 3 0 0 15 0 19 0 872317253 6590803968 728778 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 255118584729 0 4 0 16800975 18446604469178533184 0 0 -1 5 0 0 0 [pid=13634/tid=13656] ppid=13631 vsize=6436332 CPUtime=0.43 cores=5,7 /proc/13634/task/13656/stat : 13656 (java) S 13631 13634 10609 0 -1 4202560 7930 0 0 0 43 0 0 0 16 0 19 0 872317253 6590803968 728778 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 255118584729 0 4 0 16800975 18446604469178533184 0 0 -1 7 0 0 0 [pid=13634/tid=13657] ppid=13631 vsize=6436332 CPUtime=0.67 cores=5,7 /proc/13634/task/13657/stat : 13657 (java) S 13631 13634 10609 0 -1 4202560 16927 0 0 0 65 2 0 0 16 0 19 0 872317253 6590803968 728778 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 255118584729 0 4 0 16800975 18446604469178533184 0 0 -1 5 0 0 0 [pid=13634/tid=13658] ppid=13631 vsize=6436332 CPUtime=0.68 cores=5,7 /proc/13634/task/13658/stat : 13658 (java) S 13631 13634 10609 0 -1 4202560 40633 0 0 0 64 4 0 0 15 0 19 0 872317253 6590803968 728778 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 255118584729 0 4 0 16800975 18446604469178533184 0 0 -1 7 0 0 0 [pid=13634/tid=13659] ppid=13631 vsize=6436332 CPUtime=2.09 cores=5,7 /proc/13634/task/13659/stat : 13659 (java) S 13631 13634 10609 0 -1 4202560 131690 0 0 0 194 15 0 0 15 0 19 0 872317253 6590803968 728778 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 255118584729 0 4 0 16800975 18446604469178533184 0 0 -1 7 0 0 0 [pid=13634/tid=13660] ppid=13631 vsize=6436332 CPUtime=1.49 cores=5,7 /proc/13634/task/13660/stat : 13660 (java) S 13631 13634 10609 0 -1 4202560 85703 0 0 0 140 9 0 0 15 0 19 0 872317253 6590803968 728778 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 255118584729 0 4 0 16800975 18446604469178533184 0 0 -1 5 0 0 0 [pid=13634/tid=13669] ppid=13631 vsize=6436332 CPUtime=0.02 cores=5,7 /proc/13634/task/13669/stat : 13669 (java) S 13631 13634 10609 0 -1 4202560 32 0 0 0 1 1 0 0 15 0 19 0 872317254 6590803968 728778 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 255118585344 0 0 0 16800975 18446604469178533184 0 0 -1 7 0 0 0 [pid=13634/tid=13674] ppid=13631 vsize=6436332 CPUtime=0 cores=5,7 /proc/13634/task/13674/stat : 13674 (java) S 13631 13634 10609 0 -1 4202560 27 0 0 0 0 0 0 0 15 0 19 0 872317254 6590803968 728778 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 255118584729 0 4 0 16800975 18446604469178533184 0 0 -1 7 0 0 0 [pid=13634/tid=13675] ppid=13631 vsize=6436332 CPUtime=0 cores=5,7 /proc/13634/task/13675/stat : 13675 (java) S 13631 13634 10609 0 -1 4202560 38 0 0 0 0 0 0 0 15 0 19 0 872317254 6590803968 728778 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 255118584729 0 4 0 16800975 18446604469178533184 0 0 -1 7 0 0 0 [pid=13634/tid=13692] ppid=13631 vsize=6436332 CPUtime=0 cores=5,7 /proc/13634/task/13692/stat : 13692 (java) S 13631 13634 10609 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 872317256 6590803968 728778 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 255118592433 0 4 0 16800975 18446604469178533184 0 0 -1 7 0 0 0 [pid=13634/tid=13693] ppid=13631 vsize=6436332 CPUtime=0.46 cores=5,7 /proc/13634/task/13693/stat : 13693 (java) S 13631 13634 10609 0 -1 4202560 2162 0 0 0 46 0 0 0 15 0 19 0 872317256 6590803968 728778 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 255118584729 0 4 0 16800975 18446604469178533184 0 0 -1 5 0 0 0 [pid=13634/tid=13694] ppid=13631 vsize=6436332 CPUtime=0.29 cores=5,7 /proc/13634/task/13694/stat : 13694 (java) S 13631 13634 10609 0 -1 4202560 1844 0 0 0 29 0 0 0 15 0 19 0 872317256 6590803968 728778 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 255118584729 0 4 0 16800975 18446604469178533184 0 0 -1 5 0 0 0 [pid=13634/tid=13695] ppid=13631 vsize=6436332 CPUtime=0 cores=5,7 /proc/13634/task/13695/stat : 13695 (java) S 13631 13634 10609 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 872317256 6590803968 728778 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 255118584729 0 4 0 16800975 18446604469178533184 0 0 -1 7 0 0 0 [pid=13634/tid=13696] ppid=13631 vsize=6436332 CPUtime=0 cores=5,7 /proc/13634/task/13696/stat : 13696 (java) S 13631 13634 10609 0 -1 4202560 27 0 0 0 0 0 0 0 15 0 19 0 872317256 6590803968 728778 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 255118585344 0 4 0 16800975 18446604469178533184 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 428.56 Current children cumulated vsize (KiB) 6436332 [startup+425.701 s] /proc/loadavg: 3.18 3.28 2.05 4/238 23726 /proc/meminfo: memFree=23732640/32951124 swapFree=67088052/67111528 [pid=13634] ppid=13631 vsize=6437116 CPUtime=430.21 cores=5,7 /proc/13634/stat : 13634 (java) S 13631 13634 10609 0 -1 4202496 735563 0 1 0 42928 93 0 0 24 0 19 0 872317251 6591606784 728930 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/13634/statm: 1609279 728930 2241 9 0 1600017 0 [pid=13634/tid=13644] ppid=13631 vsize=6437116 CPUtime=421.44 cores=5,7 /proc/13634/task/13644/stat : 13644 (java) R 13631 13634 10609 0 -1 4202560 391086 0 1 0 42096 48 0 0 25 0 19 0 872317252 6591606784 728930 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 46912505670872 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=13634/tid=13652] ppid=13631 vsize=6437116 CPUtime=0.83 cores=5,7 /proc/13634/task/13652/stat : 13652 (java) S 13631 13634 10609 0 -1 4202560 21929 0 0 0 81 2 0 0 15 0 19 0 872317253 6591606784 728930 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 255118584729 0 4 0 16800975 18446604469178533184 0 0 -1 5 0 0 0 [pid=13634/tid=13654] ppid=13631 vsize=6437116 CPUtime=0.4 cores=5,7 /proc/13634/task/13654/stat : 13654 (java) S 13631 13634 10609 0 -1 4202560 1108 0 0 0 40 0 0 0 15 0 19 0 872317253 6591606784 728930 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 255118584729 0 4 0 16800975 18446604469178533184 0 0 -1 7 0 0 0 [pid=13634/tid=13655] ppid=13631 vsize=6437116 CPUtime=1.15 cores=5,7 /proc/13634/task/13655/stat : 13655 (java) S 13631 13634 10609 0 -1 4202560 33078 0 0 0 112 3 0 0 15 0 19 0 872317253 6591606784 728930 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 255118584729 0 4 0 16800975 18446604469178533184 0 0 -1 5 0 0 0 [pid=13634/tid=13656] ppid=13631 vsize=6437116 CPUtime=0.43 cores=5,7 /proc/13634/task/13656/stat : 13656 (java) S 13631 13634 10609 0 -1 4202560 7930 0 0 0 43 0 0 0 16 0 19 0 872317253 6591606784 728930 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 255118584729 0 4 0 16800975 18446604469178533184 0 0 -1 7 0 0 0 [pid=13634/tid=13657] ppid=13631 vsize=6437116 CPUtime=0.67 cores=5,7 /proc/13634/task/13657/stat : 13657 (java) S 13631 13634 10609 0 -1 4202560 16927 0 0 0 65 2 0 0 16 0 19 0 872317253 6591606784 728930 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 255118584729 0 4 0 16800975 18446604469178533184 0 0 -1 5 0 0 0 [pid=13634/tid=13658] ppid=13631 vsize=6437116 CPUtime=0.68 cores=5,7 /proc/13634/task/13658/stat : 13658 (java) S 13631 13634 10609 0 -1 4202560 40633 0 0 0 64 4 0 0 15 0 19 0 872317253 6591606784 728930 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 255118584729 0 4 0 16800975 18446604469178533184 0 0 -1 7 0 0 0 [pid=13634/tid=13659] ppid=13631 vsize=6437116 CPUtime=2.09 cores=5,7 /proc/13634/task/13659/stat : 13659 (java) S 13631 13634 10609 0 -1 4202560 131690 0 0 0 194 15 0 0 15 0 19 0 872317253 6591606784 728930 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 255118584729 0 4 0 16800975 18446604469178533184 0 0 -1 7 0 0 0 [pid=13634/tid=13660] ppid=13631 vsize=6437116 CPUtime=1.49 cores=5,7 /proc/13634/task/13660/stat : 13660 (java) S 13631 13634 10609 0 -1 4202560 85703 0 0 0 140 9 0 0 15 0 19 0 872317253 6591606784 728930 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 255118584729 0 4 0 16800975 18446604469178533184 0 0 -1 5 0 0 0 [pid=13634/tid=13669] ppid=13631 vsize=6437116 CPUtime=0.02 cores=5,7 /proc/13634/task/13669/stat : 13669 (java) S 13631 13634 10609 0 -1 4202560 32 0 0 0 1 1 0 0 15 0 19 0 872317254 6591606784 728930 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 255118585344 0 0 0 16800975 18446604469178533184 0 0 -1 7 0 0 0 [pid=13634/tid=13674] ppid=13631 vsize=6437116 CPUtime=0 cores=5,7 /proc/13634/task/13674/stat : 13674 (java) S 13631 13634 10609 0 -1 4202560 27 0 0 0 0 0 0 0 15 0 19 0 872317254 6591606784 728930 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 255118584729 0 4 0 16800975 18446604469178533184 0 0 -1 7 0 0 0 [pid=13634/tid=13675] ppid=13631 vsize=6437116 CPUtime=0 cores=5,7 /proc/13634/task/13675/stat : 13675 (java) S 13631 13634 10609 0 -1 4202560 38 0 0 0 0 0 0 0 15 0 19 0 872317254 6591606784 728930 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 255118584729 0 4 0 16800975 18446604469178533184 0 0 -1 7 0 0 0 [pid=13634/tid=13692] ppid=13631 vsize=6437116 CPUtime=0 cores=5,7 /proc/13634/task/13692/stat : 13692 (java) S 13631 13634 10609 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 872317256 6591606784 728930 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 255118592433 0 4 0 16800975 18446604469178533184 0 0 -1 7 0 0 0 [pid=13634/tid=13693] ppid=13631 vsize=6437116 CPUtime=0.52 cores=5,7 /proc/13634/task/13693/stat : 13693 (java) S 13631 13634 10609 0 -1 4202560 2315 0 0 0 52 0 0 0 15 0 19 0 872317256 6591606784 728930 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 255118584729 0 4 0 16800975 18446604469178533184 0 0 -1 5 0 0 0 [pid=13634/tid=13694] ppid=13631 vsize=6437116 CPUtime=0.29 cores=5,7 /proc/13634/task/13694/stat : 13694 (java) S 13631 13634 10609 0 -1 4202560 1844 0 0 0 29 0 0 0 15 0 19 0 872317256 6591606784 728930 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 255118584729 0 4 0 16800975 18446604469178533184 0 0 -1 5 0 0 0 [pid=13634/tid=13695] ppid=13631 vsize=6437116 CPUtime=0 cores=5,7 /proc/13634/task/13695/stat : 13695 (java) S 13631 13634 10609 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 872317256 6591606784 728930 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 255118584729 0 4 0 16800975 18446604469178533184 0 0 -1 7 0 0 0 [pid=13634/tid=13696] ppid=13631 vsize=6437116 CPUtime=0 cores=5,7 /proc/13634/task/13696/stat : 13696 (java) S 13631 13634 10609 0 -1 4202560 27 0 0 0 0 0 0 0 15 0 19 0 872317256 6591606784 728930 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 255118585344 0 4 0 16800975 18446604469178533184 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 430.21 Current children cumulated vsize (KiB) 6437116 [startup+426.101 s] /proc/loadavg: 3.18 3.28 2.05 4/237 23733 /proc/meminfo: memFree=23732648/32951124 swapFree=67088052/67111528 [pid=13634] ppid=13631 vsize=6445832 CPUtime=430.77 cores=5,7 /proc/13634/stat : 13634 (java) S 13631 13634 10609 0 -1 4202496 738987 0 1 0 42984 93 0 0 24 0 18 0 872317251 6600531968 730956 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/13634/statm: 1611458 730956 2241 9 0 1602196 0 [pid=13634/tid=13644] ppid=13631 vsize=6445832 CPUtime=421.84 cores=5,7 /proc/13634/task/13644/stat : 13644 (java) R 13631 13634 10609 0 -1 4202560 391086 0 1 0 42136 48 0 0 25 0 18 0 872317252 6600531968 730956 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 46912505943283 0 4 0 16800975 0 0 0 -1 7 0 0 0 [pid=13634/tid=13652] ppid=13631 vsize=6445832 CPUtime=0.83 cores=5,7 /proc/13634/task/13652/stat : 13652 (java) S 13631 13634 10609 0 -1 4202560 21929 0 0 0 81 2 0 0 15 0 18 0 872317253 6600531968 730956 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 255118584729 0 4 0 16800975 18446604469178533184 0 0 -1 5 0 0 0 [pid=13634/tid=13654] ppid=13631 vsize=6445832 CPUtime=0.4 cores=5,7 /proc/13634/task/13654/stat : 13654 (java) S 13631 13634 10609 0 -1 4202560 1108 0 0 0 40 0 0 0 15 0 18 0 872317253 6600531968 730956 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 255118584729 0 4 0 16800975 18446604469178533184 0 0 -1 7 0 0 0 [pid=13634/tid=13655] ppid=13631 vsize=6445832 CPUtime=1.15 cores=5,7 /proc/13634/task/13655/stat : 13655 (java) S 13631 13634 10609 0 -1 4202560 33078 0 0 0 112 3 0 0 15 0 18 0 872317253 6600531968 730956 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 255118584729 0 4 0 16800975 18446604469178533184 0 0 -1 5 0 0 0 [pid=13634/tid=13656] ppid=13631 vsize=6445832 CPUtime=0.43 cores=5,7 /proc/13634/task/13656/stat : 13656 (java) S 13631 13634 10609 0 -1 4202560 7930 0 0 0 43 0 0 0 16 0 18 0 872317253 6600531968 730956 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 255118584729 0 4 0 16800975 18446604469178533184 0 0 -1 7 0 0 0 [pid=13634/tid=13657] ppid=13631 vsize=6445832 CPUtime=0.67 cores=5,7 /proc/13634/task/13657/stat : 13657 (java) S 13631 13634 10609 0 -1 4202560 16927 0 0 0 65 2 0 0 16 0 18 0 872317253 6600531968 730956 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 255118584729 0 4 0 16800975 18446604469178533184 0 0 -1 5 0 0 0 [pid=13634/tid=13658] ppid=13631 vsize=6445832 CPUtime=0.68 cores=5,7 /proc/13634/task/13658/stat : 13658 (java) S 13631 13634 10609 0 -1 4202560 40633 0 0 0 64 4 0 0 15 0 18 0 872317253 6600531968 730956 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 255118584729 0 4 0 16800975 18446604469178533184 0 0 -1 7 0 0 0 [pid=13634/tid=13659] ppid=13631 vsize=6445832 CPUtime=2.09 cores=5,7 /proc/13634/task/13659/stat : 13659 (java) S 13631 13634 10609 0 -1 4202560 131690 0 0 0 194 15 0 0 15 0 18 0 872317253 6600531968 730956 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 255118584729 0 4 0 16800975 18446604469178533184 0 0 -1 7 0 0 0 [pid=13634/tid=13660] ppid=13631 vsize=6445832 CPUtime=1.49 cores=5,7 /proc/13634/task/13660/stat : 13660 (java) S 13631 13634 10609 0 -1 4202560 85703 0 0 0 140 9 0 0 15 0 18 0 872317253 6600531968 730956 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 255118584729 0 4 0 16800975 18446604469178533184 0 0 -1 5 0 0 0 [pid=13634/tid=13669] ppid=13631 vsize=6445832 CPUtime=0.02 cores=5,7 /proc/13634/task/13669/stat : 13669 (java) S 13631 13634 10609 0 -1 4202560 32 0 0 0 1 1 0 0 15 0 18 0 872317254 6600531968 730956 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 255118585344 0 0 0 16800975 18446604469178533184 0 0 -1 7 0 0 0 [pid=13634/tid=13674] ppid=13631 vsize=6445832 CPUtime=0 cores=5,7 /proc/13634/task/13674/stat : 13674 (java) S 13631 13634 10609 0 -1 4202560 27 0 0 0 0 0 0 0 15 0 18 0 872317254 6600531968 730956 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 255118584729 0 4 0 16800975 18446604469178533184 0 0 -1 7 0 0 0 [pid=13634/tid=13675] ppid=13631 vsize=6445832 CPUtime=0 cores=5,7 /proc/13634/task/13675/stat : 13675 (java) S 13631 13634 10609 0 -1 4202560 38 0 0 0 0 0 0 0 15 0 18 0 872317254 6600531968 730956 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 255118584729 0 4 0 16800975 18446604469178533184 0 0 -1 7 0 0 0 [pid=13634/tid=13692] ppid=13631 vsize=6445832 CPUtime=0 cores=5,7 /proc/13634/task/13692/stat : 13692 (java) S 13631 13634 10609 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872317256 6600531968 730956 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 255118592433 0 4 0 16800975 18446604469178533184 0 0 -1 7 0 0 0 [pid=13634/tid=13693] ppid=13631 vsize=6445832 CPUtime=0.69 cores=5,7 /proc/13634/task/13693/stat : 13693 (java) S 13631 13634 10609 0 -1 4202560 5739 0 0 0 69 0 0 0 16 0 18 0 872317256 6600531968 730956 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 255118584729 0 4 0 16800975 18446604469178533184 0 0 -1 5 0 0 0 [pid=13634/tid=13694] ppid=13631 vsize=6445832 CPUtime=0.29 cores=5,7 /proc/13634/task/13694/stat : 13694 (java) S 13631 13634 10609 0 -1 4202560 1844 0 0 0 29 0 0 0 15 0 18 0 872317256 6600531968 730956 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 255118584729 0 4 0 16800975 18446604469178533184 0 0 -1 5 0 0 0 [pid=13634/tid=13695] ppid=13631 vsize=6445832 CPUtime=0 cores=5,7 /proc/13634/task/13695/stat : 13695 (java) S 13631 13634 10609 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872317256 6600531968 730956 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 255118584729 0 4 0 16800975 18446604469178533184 0 0 -1 7 0 0 0 [pid=13634/tid=13696] ppid=13631 vsize=6445832 CPUtime=0 cores=5,7 /proc/13634/task/13696/stat : 13696 (java) S 13631 13634 10609 0 -1 4202560 27 0 0 0 0 0 0 0 15 0 18 0 872317256 6600531968 730956 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 255118585344 0 4 0 16800975 18446604469178533184 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 430.77 Current children cumulated vsize (KiB) 6445832 [startup+426.501 s] /proc/loadavg: 3.18 3.28 2.05 4/237 23733 /proc/meminfo: memFree=23732648/32951124 swapFree=67088052/67111528 [pid=13634] ppid=13631 vsize=6445832 CPUtime=431.19 cores=5,7 /proc/13634/stat : 13634 (java) S 13631 13634 10609 0 -1 4202496 738994 0 1 0 43026 93 0 0 24 0 18 0 872317251 6600531968 730963 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 /proc/13634/statm: 1611458 730963 2241 9 0 1602196 0 [pid=13634/tid=13644] ppid=13631 vsize=6445832 CPUtime=422.24 cores=5,7 /proc/13634/task/13644/stat : 13644 (java) R 13631 13634 10609 0 -1 4202560 391090 0 1 0 42176 48 0 0 25 0 18 0 872317252 6600531968 730963 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 46912505694184 0 4 0 16800975 0 0 0 -1 7 0 0 0 [pid=13634/tid=13652] ppid=13631 vsize=6445832 CPUtime=0.83 cores=5,7 /proc/13634/task/13652/stat : 13652 (java) S 13631 13634 10609 0 -1 4202560 21929 0 0 0 81 2 0 0 15 0 18 0 872317253 6600531968 730963 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 255118584729 0 4 0 16800975 18446604469178533184 0 0 -1 5 0 0 0 [pid=13634/tid=13654] ppid=13631 vsize=6445832 CPUtime=0.4 cores=5,7 /proc/13634/task/13654/stat : 13654 (java) S 13631 13634 10609 0 -1 4202560 1108 0 0 0 40 0 0 0 15 0 18 0 872317253 6600531968 730963 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 255118584729 0 4 0 16800975 18446604469178533184 0 0 -1 7 0 0 0 [pid=13634/tid=13655] ppid=13631 vsize=6445832 CPUtime=1.15 cores=5,7 /proc/13634/task/13655/stat : 13655 (java) S 13631 13634 10609 0 -1 4202560 33078 0 0 0 112 3 0 0 15 0 18 0 872317253 6600531968 730963 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 255118584729 0 4 0 16800975 18446604469178533184 0 0 -1 5 0 0 0 [pid=13634/tid=13656] ppid=13631 vsize=6445832 CPUtime=0.43 cores=5,7 /proc/13634/task/13656/stat : 13656 (java) S 13631 13634 10609 0 -1 4202560 7930 0 0 0 43 0 0 0 16 0 18 0 872317253 6600531968 730963 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 255118584729 0 4 0 16800975 18446604469178533184 0 0 -1 7 0 0 0 [pid=13634/tid=13657] ppid=13631 vsize=6445832 CPUtime=0.67 cores=5,7 /proc/13634/task/13657/stat : 13657 (java) S 13631 13634 10609 0 -1 4202560 16927 0 0 0 65 2 0 0 16 0 18 0 872317253 6600531968 730963 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 255118584729 0 4 0 16800975 18446604469178533184 0 0 -1 5 0 0 0 [pid=13634/tid=13658] ppid=13631 vsize=6445832 CPUtime=0.68 cores=5,7 /proc/13634/task/13658/stat : 13658 (java) S 13631 13634 10609 0 -1 4202560 40633 0 0 0 64 4 0 0 15 0 18 0 872317253 6600531968 730963 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 255118584729 0 4 0 16800975 18446604469178533184 0 0 -1 7 0 0 0 [pid=13634/tid=13659] ppid=13631 vsize=6445832 CPUtime=2.09 cores=5,7 /proc/13634/task/13659/stat : 13659 (java) S 13631 13634 10609 0 -1 4202560 131690 0 0 0 194 15 0 0 15 0 18 0 872317253 6600531968 730963 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 255118584729 0 4 0 16800975 18446604469178533184 0 0 -1 7 0 0 0 [pid=13634/tid=13660] ppid=13631 vsize=6445832 CPUtime=1.49 cores=5,7 /proc/13634/task/13660/stat : 13660 (java) S 13631 13634 10609 0 -1 4202560 85703 0 0 0 140 9 0 0 15 0 18 0 872317253 6600531968 730963 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 255118584729 0 4 0 16800975 18446604469178533184 0 0 -1 5 0 0 0 [pid=13634/tid=13669] ppid=13631 vsize=6445832 CPUtime=0.02 cores=5,7 /proc/13634/task/13669/stat : 13669 (java) S 13631 13634 10609 0 -1 4202560 32 0 0 0 1 1 0 0 15 0 18 0 872317254 6600531968 730963 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 255118585344 0 0 0 16800975 18446604469178533184 0 0 -1 7 0 0 0 [pid=13634/tid=13674] ppid=13631 vsize=6445832 CPUtime=0 cores=5,7 /proc/13634/task/13674/stat : 13674 (java) S 13631 13634 10609 0 -1 4202560 27 0 0 0 0 0 0 0 15 0 18 0 872317254 6600531968 730963 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 255118584729 0 4 0 16800975 18446604469178533184 0 0 -1 7 0 0 0 [pid=13634/tid=13675] ppid=13631 vsize=6445832 CPUtime=0 cores=5,7 /proc/13634/task/13675/stat : 13675 (java) S 13631 13634 10609 0 -1 4202560 38 0 0 0 0 0 0 0 15 0 18 0 872317254 6600531968 730963 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 255118584729 0 4 0 16800975 18446604469178533184 0 0 -1 7 0 0 0 [pid=13634/tid=13692] ppid=13631 vsize=6445832 CPUtime=0 cores=5,7 /proc/13634/task/13692/stat : 13692 (java) S 13631 13634 10609 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872317256 6600531968 730963 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 255118592433 0 4 0 16800975 18446604469178533184 0 0 -1 7 0 0 0 [pid=13634/tid=13693] ppid=13631 vsize=6445832 CPUtime=0.69 cores=5,7 /proc/13634/task/13693/stat : 13693 (java) S 13631 13634 10609 0 -1 4202560 5739 0 0 0 69 0 0 0 15 0 18 0 872317256 6600531968 730963 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 255118584729 0 4 0 16800975 18446604469178533184 0 0 -1 5 0 0 0 [pid=13634/tid=13694] ppid=13631 vsize=6445832 CPUtime=0.3 cores=5,7 /proc/13634/task/13694/stat : 13694 (java) S 13631 13634 10609 0 -1 4202560 1847 0 0 0 30 0 0 0 15 0 18 0 872317256 6600531968 730963 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 255118584729 0 4 0 16800975 18446604469178533184 0 0 -1 5 0 0 0 [pid=13634/tid=13695] ppid=13631 vsize=6445832 CPUtime=0 cores=5,7 /proc/13634/task/13695/stat : 13695 (java) S 13631 13634 10609 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872317256 6600531968 730963 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 255118584729 0 4 0 16800975 18446604469178533184 0 0 -1 7 0 0 0 [pid=13634/tid=13696] ppid=13631 vsize=6445832 CPUtime=0 cores=5,7 /proc/13634/task/13696/stat : 13696 (java) S 13631 13634 10609 0 -1 4202560 27 0 0 0 0 0 0 0 15 0 18 0 872317256 6600531968 730963 33554432000 1073741824 1073778376 140734033560816 18446744073709551615 255118585344 0 4 0 16800975 18446604469178533184 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 431.19 Current children cumulated vsize (KiB) 6445832 [startup+426.601 s] /proc/loadavg: 3.18 3.28 2.05 4/237 23733 /proc/meminfo: memFree=23732648/32951124 swapFree=67088052/67111528 [pid=13634] ppid=13631 vsize=0 CPUtime=431.3 cores=5,7 /proc/13634/stat : 13634 (java) Z 13631 13634 10609 0 -1 4203548 738998 0 1 0 43032 98 0 0 18 0 2 0 872317251 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/13634/statm: 0 0 0 0 0 0 0 [pid=13634/tid=13695] ppid=13631 vsize=0 CPUtime=0.04 cores=5,7 /proc/13634/task/13695/stat : 13695 (java) R 13631 13634 10609 0 -1 4203588 1 0 0 0 0 4 0 0 18 0 2 0 872317256 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 431.3 Current children cumulated vsize (KiB) 0 Child status: 20 Real time (s): 426.664 CPU time (s): 431.367 CPU user time (s): 430.323 CPU system time (s): 1.04484 CPU usage (%): 101.102 Max. virtual memory (cumulated for all children) (KiB): 6445832 getrusage(RUSAGE_CHILDREN,...) data: user time used= 430.323 system time used= 1.04484 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 738998 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= 13578 involuntary context switches= 10346 runsolver used 0.707892 second user time and 1.69474 second system time The end
Begin job on node144 at 2011-06-11 15:30:11 IDJOB=3493320 IDBENCH=89381 IDSOLVER=1972 FILE ID=node144/3493320-1307799010 RUNJOBID= node144-1307799007-10868 PBS_JOBID= 13551004 Free space on /tmp= 73988 MiB SOLVER NAME= SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 BENCH NAME= SAT11/mus/marques-silva/design-debugging/wb_4m8s1.dimacs.filtered.cnf COMMAND LINE= java -Xms6000m -Xmx6000m -jar sat4j-mus-v20110206.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3493320-1307799010/watcher-3493320-1307799010 -o /tmp/evaluation-result-3493320-1307799010/solver-3493320-1307799010 -C 1800 -W 1850 -M 7680 java -Xms6000m -Xmx6000m -jar sat4j-mus-v20110206.jar HOME/instance-3493320-1307799010.cnf TIME LIMIT= 1800 seconds MEMORY LIMIT= 7680 MiB NBCORE= 2 MD5SUM BENCH= f4db55ddf38012e4369a927de4f4b4f6 RANDOM SEED=591991312 node144.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.850 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.70 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.850 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.16 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.850 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.850 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.83 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.850 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.850 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.82 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.850 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.850 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31258072 kB Buffers: 187696 kB Cached: 807708 kB SwapCached: 1652 kB Active: 926672 kB Inactive: 589508 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31258072 kB SwapTotal: 67111528 kB SwapFree: 67088052 kB Dirty: 41588 kB Writeback: 20 kB AnonPages: 518256 kB Mapped: 22520 kB Slab: 110380 kB PageTables: 6512 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 18965104 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= 73976 MiB End job on node144 at 2011-06-11 15:37:18