| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 | UNSAT | 73.5148 | 70.1034 |
| Name | mus/marques-silva/design-debugging/ c6_DD_s3_f1_e1_v1-bug-gate-0.dimacs.seq.filtered.cnf |
| MD5SUM | a5e1fb3eb2044c9f49c2e722a36b1546 |
| Bench Category | MUS (MUS) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 0.873866 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 297916 |
| Number of clauses | 795900 |
| Sum of the clauses size | 1797548 |
| Maximum clause length | 4 |
| Minimum clause length | 1 |
| Number of clauses of size 1 | 11512 |
| Number of clauses of size 2 | 570678 |
| Number of clauses of size 3 | 210160 |
| Number of clauses of size 4 | 3550 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 0 |
0.00/0.07 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.00/0.07 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.07 c See www.sat4j.org for details. 0.00/0.07 c version 2.3.0.v20110206 0.00/0.07 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.07 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.07 c java.vm.version 19.1-b02 0.00/0.07 c java.vm.vendor Sun Microsystems Inc. 0.00/0.07 c sun.arch.data.model 64 0.00/0.07 c java.version 1.6.0_24 0.00/0.07 c os.name Linux 0.00/0.07 c os.version 2.6.18-164.el5 0.00/0.07 c os.arch amd64 0.00/0.07 c Free memory 5997854704 0.00/0.07 c Max memory 6029312000 0.00/0.07 c Total memory 6029312000 0.00/0.08 c Number of processors 8 0.00/0.10 c Explanation (MUS) enabled solver 0.00/0.10 c QuickXplain (AAAI 2004 version) minimization strategy 0.00/0.10 c --- Begin Solver configuration --- 0.00/0.10 c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@1d73831b 0.00/0.10 c Learn all clauses as in MiniSAT 0.00/0.10 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 0.00/0.10 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT 0.00/0.10 c Expensive reason simplification 0.00/0.10 c Armin Biere (Picosat) restarts strategy 0.00/0.10 c Glucose learned constraints deletion strategy 0.00/0.10 c timeout=2147483647s 0.00/0.10 c DB Simplification allowed=true 0.00/0.10 c --- End Solver configuration --- 0.00/0.10 c solving HOME/instance-3493384-1307799075.cnf 0.00/0.10 c reading problem ... 1.40/1.22 c ... done. Wall clock time 1.119s. 1.40/1.22 c #vars 1093816 1.40/1.22 c #constraints 795900 1.40/1.22 c constraints type 1.40/1.22 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 784388 1.40/1.22 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 11512 1.97/1.74 c Unsat detection wall clock time (in seconds) : 1.646 1.97/1.74 c Size of initial unsat subformula: 1162 1.97/1.74 c Computing MUS ... 1.97/1.75 c initial unsat core 41789[?] 1064155[?] -43977[?] 39764[?] -41952[?] 1064121[?] 37666[?] -39854[?] 1063941[?] 35568[?] -37756[?] 1063761[?] 33470[?] -35658[?] 1063581[?] 35645[?] -33457[?] 1063554[?] 35644[?] -33456[?] 1063552[?] -33445[?] 1063530[?] 35633[?] 33561[?] 1063402[?] -31373[?] 31372[?] -33560[?] 1063401[?] -33531[?] 1063343[?] 31343[?] -33526[?] 1063333[?] 31338[?] -31433[?] 29245[?] 1063163[?] -31428[?] 29240[?] 1063153[?] -31411[?] 29223[?] 1063119[?] -29219[?] 1063110[?] 31407[?] -29218[?] 1063108[?] 31406[?] -31405[?] 1063107[?] 29217[?] -31402[?] 1063101[?] 29214[?] -29205[?] 1063082[?] 31393[?] -29335[?] 1062983[?] 27147[?] -29330[?] 1062973[?] 27142[?] -27237[?] 25049[?] 1062803[?] -27232[?] 25044[?] 1062793[?] -27215[?] 1062759[?] 25027[?] -27209[?] 1062747[?] 25021[?] -27206[?] 1062741[?] 25018[?] -25139[?] 22951[?] 1062623[?] -25134[?] 22946[?] 1062613[?] -25117[?] 1062579[?] 22929[?] -25111[?] 1062567[?] 22923[?] -25108[?] 1062561[?] 22920[?] 22912[?] 1062545[?] -25100[?] -23041[?] 20853[?] 1062443[?] -23036[?] 20848[?] 1062433[?] -20943[?] 1062263[?] 18755[?] -20938[?] 1062253[?] 18750[?] -20921[?] 1062219[?] 18733[?] -20915[?] 1062207[?] 18727[?] -20912[?] 1062201[?] 18724[?] -18845[?] 1062083[?] 16657[?] -18840[?] 1062073[?] 16652[?] -18823[?] 1062039[?] 16635[?] -18817[?] 1062027[?] 16629[?] -18814[?] 1062021[?] 16626[?] -16747[?] 1061903[?] 14559[?] -16742[?] 1061893[?] 14554[?] -16725[?] 1061859[?] 14537[?] -16719[?] 1061847[?] 14531[?] -16716[?] 1061841[?] 14528[?] -14649[?] 12461[?] 1061723[?] -14644[?] 12456[?] 1061713[?] -14627[?] 1061679[?] 12439[?] -14621[?] 1061667[?] 12433[?] -14618[?] 1061661[?] 12430[?] 12422[?] 1061645[?] -14610[?] -12551[?] 10363[?] 1061543[?] -12546[?] 10358[?] 1061533[?] -10337[?] 1061490[?] 12525[?] -10336[?] 1061488[?] 12524[?] -12523[?] 1061487[?] 10335[?] -12520[?] 1061481[?] 10332[?] -10453[?] 1061363[?] 8265[?] -10448[?] 1061353[?] 8260[?] -10431[?] 1061319[?] 8243[?] -8355[?] 1061183[?] 6167[?] -8350[?] 1061173[?] 6162[?] -8333[?] 1061139[?] 6145[?] -8327[?] 1061127[?] 6139[?] -8324[?] 1061121[?] 6136[?] -6257[?] 1061003[?] 4069[?] -6252[?] 1060993[?] 4064[?] -6235[?] 1060959[?] 4047[?] -6229[?] 1060947[?] 4041[?] -6226[?] 1060941[?] 4038[?] -4159[?] 1971[?] 1060823[?] -4154[?] 1966[?] 1060813[?] -4137[?] 1060779[?] 1949[?] -4136[?] 1948[?] 1060777[?] -4134[?] 1946[?] 1060773[?] -4131[?] 1943[?] 1060767[?] -4128[?] 1940[?] 1060761[?] -2081[?] 1060700[?] -2038[?] 1060657[?] -2036[?] 1060655[?] -2033[?] 1060652[?] -2030[?] 1060649[?] -29555[?] 1060621[?] -27457[?] 1060620[?] -25359[?] 1060619[?] -23261[?] 1060618[?] -21163[?] 1060617[?] -19065[?] 1060616[?] -16967[?] 1060615[?] -14869[?] 1060614[?] -12771[?] 1060613[?] -8575[?] 1060611[?] -6477[?] 1060610[?] -4379[?] 1060609[?] -29554[?] 1060600[?] -27456[?] 1060599[?] -25358[?] 1060598[?] -23260[?] 1060597[?] -21162[?] 1060596[?] -19064[?] 1060595[?] -16966[?] 1060594[?] -14868[?] 1060593[?] -12770[?] 1060592[?] -8574[?] 1060590[?] -6476[?] 1060589[?] -4378[?] 1060588[?] -29548[?] 1060474[?] -10666[?] 1060465[?] -29547[?] 1060453[?] -10665[?] 1060444[?] -33724[?] 1060056[?] 42114[?] 1060018[?] -29522[?] 1059928[?] 23227[?] 1059904[?] 12737[?] 1059899[?] -16930[?] 1059838[?] -14832[?] 1059837[?] -12734[?] 1059836[?] -10636[?] 1059835[?] -8538[?] 1059834[?] -6440[?] 1059833[?] -4342[?] 1059832[?] -146[?] 1059830[?] 31615[?] 1059824[?] -37901[?] 1059659[?] -35803[?] 1059658[?] -33705[?] 1059657[?] -31607[?] 1059656[?] 29509[?] 1059655[?] -27411[?] 1059654[?] -23215[?] 1059652[?] -21117[?] 1059651[?] -2235[?] 1059642[?] 29508[?] 1059634[?] -16919[?] 1059607[?] -14821[?] 1059606[?] -10625[?] 1059604[?] -4331[?] 1059601[?] -135[?] 1059599[?] 29497[?] 1059403[?] 29496[?] 1059382[?] 29489[?] 1059235[?] 39978[?] 1059219[?] 29488[?] 1059214[?] -27390[?] 1059213[?] -21096[?] 1059210[?] -10606[?] 1059205[?] 39977[?] 1059198[?] 29487[?] 1059193[?] 27389[?] 1059192[?] 21095[?] 1059189[?] 10605[?] 1059184[?] 31373[?] -30833[?] 1057063[?] 39224[?] 1056641[?] -39764[?] 37126[?] 1056640[?] -37666[?] 35028[?] 1056639[?] -35568[?] 32930[?] 1056638[?] -33470[?] 1056637[?] -31372[?] 30832[?] 33457[?] 1053088[?] -33185[?] 33456[?] -33184[?] 1052804[?] -33167[?] 1049680[?] 33445[?] -31343[?] 31065[?] 1048401[?] -29245[?] 28967[?] 1048400[?] -27147[?] 26869[?] 1048399[?] -25049[?] 24771[?] 1048398[?] -22951[?] 22673[?] 1048397[?] -20853[?] 20575[?] 1048396[?] -18755[?] 18477[?] 1048395[?] -16657[?] 16379[?] 1048394[?] -14559[?] 14281[?] 1048393[?] -12461[?] 12183[?] 1048392[?] -10363[?] 10085[?] 1048391[?] -8265[?] 7987[?] 1048390[?] -6167[?] 5889[?] 1048389[?] -4069[?] 3791[?] 1048388[?] -1971[?] 1693[?] 1048387[?] -31338[?] 31064[?] 1046981[?] -29240[?] 28966[?] 1046980[?] -27142[?] 26868[?] 1046979[?] -25044[?] 24770[?] 1046978[?] -22946[?] 22672[?] 1046977[?] -20848[?] 20574[?] 1046976[?] -18750[?] 18476[?] 1046975[?] -16652[?] 16378[?] 1046974[?] -14554[?] 14280[?] 1046973[?] -12456[?] 12182[?] 1046972[?] -10358[?] 10084[?] 1046971[?] -8260[?] 7986[?] 1046970[?] -6162[?] 5888[?] 1046969[?] -4064[?] 3790[?] 1046968[?] -1966[?] 1692[?] 1046967[?] -29223[?] 28862[?] 1042152[?] -25027[?] 24666[?] 1042150[?] -22929[?] 22568[?] 1042149[?] -18733[?] 18372[?] 1042147[?] -16635[?] 16274[?] 1042146[?] -14537[?] 14176[?] 1042145[?] -12439[?] 12078[?] 1042144[?] -8243[?] 7882[?] 1042142[?] -6145[?] 5784[?] 1042141[?] -4047[?] 3686[?] 1042140[?] -1949[?] 1588[?] 1042139[?] -1948[?] 1517[?] 1041855[?] -1946[?] 1654[?] 1041287[?] -29307[?] 29219[?] 1041158[?] -10425[?] 10337[?] 1041149[?] -29304[?] 29218[?] 1040874[?] -10422[?] 10336[?] 1040865[?] -29217[?] 28927[?] 1040448[?] -25021[?] 24731[?] 1040446[?] -22923[?] 22633[?] 1040445[?] -18727[?] 18437[?] 1040443[?] -16629[?] 16339[?] 1040442[?] -14531[?] 14241[?] 1040441[?] -12433[?] 12143[?] 1040440[?] -10335[?] 10045[?] 1040439[?] -6139[?] 5849[?] 1040437[?] -4041[?] 3751[?] 1040436[?] -1943[?] 1653[?] 1040435[?] -29214[?] 28949[?] 1039596[?] -25018[?] 24753[?] 1039594[?] -22920[?] 22655[?] 1039593[?] -18724[?] 18459[?] 1039591[?] -16626[?] 16361[?] 1039590[?] -14528[?] 14263[?] 1039589[?] -12430[?] 12165[?] 1039588[?] -10332[?] 10067[?] 1039587[?] -6136[?] 5871[?] 1039585[?] -4038[?] 3773[?] 1039584[?] -1940[?] 1675[?] 1039583[?] 22421[?] -22912[?] 1037321[?] 11931[?] -12422[?] 1037316[?] -28746[?] 29205[?] 1037182[?] 41305[?] -41789[?] 1035910[?] 35483[?] 1033067[?] -29188[?] 1032922[?] -24992[?] 1032920[?] -22894[?] 1032919[?] -18698[?] 1032917[?] -16600[?] 1032916[?] -14502[?] 1032915[?] -12404[?] 1032914[?] -10306[?] 1032913[?] -8208[?] 1032912[?] -6110[?] 1032911[?] -4012[?] 1032910[?] -1914[?] 1032909[?] -31284[?] 1032639[?] -29186[?] 1032638[?] -27088[?] 1032637[?] -24990[?] 1032636[?] -22892[?] 1032635[?] -20794[?] 1032634[?] -18696[?] 1032633[?] -16598[?] 1032632[?] -14500[?] 1032631[?] -12402[?] 1032630[?] -10304[?] 1032629[?] -8206[?] 1032628[?] -6108[?] 1032627[?] -4010[?] 1032626[?] -1912[?] 1032625[?] -31257[?] 31402[?] 31408[?] 1017729[?] -29159[?] 29304[?] 29310[?] 1017728[?] -27061[?] 27206[?] 27212[?] 1017727[?] -24963[?] 25108[?] 25114[?] 1017726[?] -20767[?] 20912[?] 20918[?] 1017724[?] -18669[?] 18814[?] 18820[?] 1017723[?] -16571[?] 16716[?] 16722[?] 1017722[?] -14473[?] 14618[?] 14624[?] 1017721[?] -10277[?] 10422[?] 10428[?] 1017719[?] -8179[?] 8324[?] 8330[?] 1017718[?] -6081[?] 6226[?] 6232[?] 1017717[?] -3983[?] 4128[?] 4134[?] 1017716[?] -23010[?] 22865[?] 23016[?] 1017441[?] -31254[?] 31405[?] 31410[?] 1016025[?] -29156[?] 29307[?] 29312[?] 1016024[?] -27058[?] 27209[?] 27214[?] 1016023[?] -24960[?] 25111[?] 25116[?] 1016022[?] -20764[?] 20915[?] 20920[?] 1016020[?] -18666[?] 18817[?] 18822[?] 1016019[?] -16568[?] 16719[?] 16724[?] 1016018[?] -14470[?] 14621[?] 14626[?] 1016017[?] -10274[?] 10425[?] 10430[?] 1016015[?] -8176[?] 8327[?] 8332[?] 1016014[?] -6078[?] 6229[?] 6234[?] 1016013[?] -3980[?] 4131[?] 4136[?] 1016012[?] -23013[?] 22862[?] 23018[?] 1015737[?] 35419[?] -34980[?] 997993[?] -31216[?] 30770[?] 30771[?] 995293[?] -29118[?] 28672[?] 28673[?] 995292[?] -27020[?] 26574[?] 26575[?] 995291[?] -24922[?] 24476[?] 24477[?] 995290[?] -22824[?] 22378[?] 22379[?] 995289[?] -20726[?] 20280[?] 20281[?] 995288[?] -18628[?] 18182[?] 18183[?] 995287[?] -16530[?] 16084[?] 16085[?] 995286[?] -14432[?] 13986[?] 13987[?] 995285[?] -12334[?] 11888[?] 11889[?] 995284[?] -10236[?] 9790[?] 9791[?] 995283[?] -8138[?] 7692[?] 7693[?] 995282[?] -6040[?] 5594[?] 5595[?] 995281[?] -3942[?] 3496[?] 3497[?] 995280[?] -31215[?] 30769[?] 30768[?] 994867[?] -29117[?] 28671[?] 28670[?] 994866[?] -16529[?] 16083[?] 16082[?] 994860[?] -6039[?] 5593[?] 5592[?] 994855[?] -31214[?] 30766[?] 30767[?] 994441[?] -29116[?] 28668[?] 28669[?] 994440[?] -27018[?] 26570[?] 26571[?] 994439[?] -24920[?] 24472[?] 24473[?] 994438[?] -22822[?] 22374[?] 22375[?] 994437[?] -20724[?] 20276[?] 20277[?] 994436[?] -18626[?] 18178[?] 18179[?] 994435[?] -16528[?] 16080[?] 16081[?] 994434[?] -14430[?] 13982[?] 13983[?] 994433[?] -12332[?] 11884[?] 11885[?] 994432[?] -10234[?] 9786[?] 9787[?] 994431[?] -8136[?] 7688[?] 7689[?] 994430[?] -6038[?] 5590[?] 5591[?] 994429[?] -3940[?] 3492[?] 3493[?] 994428[?] -31213[?] 30765[?] 30764[?] 994015[?] -29115[?] 28667[?] 28666[?] 994014[?] -16527[?] 16079[?] 16078[?] 994008[?] -6037[?] 5589[?] 5588[?] 994003[?] 33290[?] -32820[?] 984786[?] 33185[?] -32628[?] 939630[?] 33184[?] -32626[?] 939204[?] 35278[?] -34716[?] 937501[?] -32591[?] 33167[?] 931678[?] -31065[?] 30485[?] 30486[?] 930257[?] -28967[?] 28387[?] 28388[?] 930256[?] -26869[?] 26289[?] 26290[?] 930255[?] -24771[?] 24191[?] 24192[?] 930254[?] -22673[?] 22093[?] 22094[?] 930253[?] -20575[?] 19995[?] 19996[?] 930252[?] -18477[?] 17897[?] 17898[?] 930251[?] -16379[?] 15799[?] 15800[?] 930250[?] -14281[?] 13701[?] 13702[?] 930249[?] -12183[?] 11603[?] 11604[?] 930248[?] -10085[?] 9505[?] 9506[?] 930247[?] -7987[?] 7407[?] 7408[?] 930246[?] -5889[?] 5309[?] 5310[?] 930245[?] -3791[?] 3211[?] 3212[?] 930244[?] -1693[?] 1113[?] 1114[?] 930243[?] -31064[?] 30483[?] 30484[?] 929831[?] -28966[?] 28385[?] 28386[?] 929830[?] -26868[?] 26287[?] 26288[?] 929829[?] -24770[?] 24189[?] 24190[?] 929828[?] -22672[?] 22091[?] 22092[?] 929827[?] -20574[?] 19993[?] 19994[?] 929826[?] -18476[?] 17895[?] 17896[?] 929825[?] -16378[?] 15797[?] 15798[?] 929824[?] -14280[?] 13699[?] 13700[?] 929823[?] -12182[?] 11601[?] 11602[?] 929822[?] -10084[?] 9503[?] 9504[?] 929821[?] -7986[?] 7405[?] 7406[?] 929820[?] -5888[?] 5307[?] 5308[?] 929819[?] -3790[?] 3209[?] 3210[?] 929818[?] -1692[?] 1111[?] 1112[?] 929817[?] 35259[?] -35645[?] 929123[?] -31059[?] 30475[?] 30476[?] 927701[?] -28961[?] 28377[?] 28378[?] 927700[?] -26863[?] 26279[?] 26280[?] 927699[?] -24765[?] 24181[?] 24182[?] 927698[?] -22667[?] 22083[?] 22084[?] 927697[?] -20569[?] 19985[?] 19986[?] 927696[?] -18471[?] 17887[?] 17888[?] 927695[?] -16373[?] 15789[?] 15790[?] 927694[?] -14275[?] 13691[?] 13692[?] 927693[?] -12177[?] 11593[?] 11594[?] 927692[?] -10079[?] 9495[?] 9496[?] 927691[?] -7981[?] 7397[?] 7398[?] 927690[?] -5883[?] 5299[?] 5300[?] 927689[?] -3785[?] 3201[?] 3202[?] 927688[?] -31058[?] 30473[?] 30474[?] 927275[?] -28960[?] 28375[?] 28376[?] 927274[?] -26862[?] 26277[?] 26278[?] 927273[?] -24764[?] 24179[?] 24180[?] 927272[?] -22666[?] 22082[?] 22081[?] 927271[?] -20568[?] 19984[?] 19983[?] 927270[?] -18470[?] 17886[?] 17885[?] 927269[?] -16372[?] 15787[?] 15788[?] 927268[?] -14274[?] 13689[?] 13690[?] 927267[?] -12176[?] 11592[?] 11591[?] 927266[?] -10078[?] 9494[?] 9493[?] 927265[?] -7980[?] 7396[?] 7395[?] 927264[?] -5882[?] 5297[?] 5298[?] 927263[?] -3784[?] 3199[?] 3200[?] 927262[?] -28949[?] 28353[?] 28354[?] 922588[?] -24753[?] 24157[?] 24158[?] 922586[?] -22655[?] 22059[?] 22060[?] 922585[?] -18459[?] 17863[?] 17864[?] 922583[?] -16361[?] 15765[?] 15766[?] 922582[?] -14263[?] 13667[?] 13668[?] 922581[?] -12165[?] 11569[?] 11570[?] 922580[?] -10067[?] 9471[?] 9472[?] 922579[?] -5871[?] 5275[?] 5276[?] 922577[?] -3773[?] 3177[?] 3178[?] 922576[?] -1675[?] 1079[?] 1080[?] 922575[?] -1674[?] 1078[?] 1077[?] 922149[?] -1654[?] 1039[?] 1040[?] 913629[?] -28927[?] 28310[?] 28311[?] 913216[?] -24731[?] 24114[?] 24115[?] 913214[?] -22633[?] 22016[?] 22017[?] 913213[?] -18437[?] 17820[?] 17821[?] 913211[?] -16339[?] 15722[?] 15723[?] 913210[?] -14241[?] 13624[?] 13625[?] 913209[?] -12143[?] 11526[?] 11527[?] 913208[?] -10045[?] 9428[?] 9429[?] 913207[?] -5849[?] 5232[?] 5233[?] 913205[?] -3751[?] 3134[?] 3135[?] 913204[?] -1653[?] 1036[?] 1037[?] 913203[?] -1652[?] 1035[?] 1034[?] 912777[?] 33121[?] -32502[?] 912082[?] -28920[?] 28298[?] 28299[?] 910234[?] -24724[?] 24102[?] 24103[?] 910232[?] -22626[?] 22004[?] 22005[?] 910231[?] -18430[?] 17808[?] 17809[?] 910229[?] -16332[?] 15710[?] 15711[?] 910228[?] -14234[?] 13612[?] 13613[?] 910227[?] -12136[?] 11514[?] 11515[?] 910226[?] -10038[?] 9416[?] 9417[?] 910225[?] -5842[?] 5220[?] 5221[?] 910223[?] -3744[?] 3122[?] 3123[?] 910222[?] -1646[?] 1024[?] 1025[?] 910221[?] -31015[?] 30390[?] 30391[?] 908957[?] -28917[?] 28292[?] 28293[?] 908956[?] -26819[?] 26194[?] 26195[?] 908955[?] -24721[?] 24096[?] 24097[?] 908954[?] -22623[?] 21998[?] 21999[?] 908953[?] -20525[?] 19901[?] 19900[?] 908952[?] -18427[?] 17802[?] 17803[?] 908951[?] -16329[?] 15704[?] 15705[?] 908950[?] -14231[?] 13606[?] 13607[?] 908949[?] -12133[?] 11508[?] 11509[?] 908948[?] -10035[?] 9411[?] 9410[?] 908947[?] -7937[?] 7313[?] 7312[?] 908946[?] -5839[?] 5214[?] 5215[?] 908945[?] -3741[?] 3116[?] 3117[?] 908944[?] -31014[?] 30388[?] 30389[?] 908531[?] -28916[?] 28290[?] 28291[?] 908530[?] -26818[?] 26192[?] 26193[?] 908529[?] -24720[?] 24094[?] 24095[?] 908528[?] -22622[?] 21996[?] 21997[?] 908527[?] -20524[?] 19898[?] 19899[?] 908526[?] -18426[?] 17800[?] 17801[?] 908525[?] -16328[?] 15702[?] 15703[?] 908524[?] -14230[?] 13604[?] 13605[?] 908523[?] -12132[?] 11506[?] 11507[?] 908522[?] -10034[?] 9408[?] 9409[?] 908521[?] -7936[?] 7310[?] 7311[?] 908520[?] -5838[?] 5212[?] 5213[?] 908519[?] -3740[?] 3114[?] 3115[?] 908518[?] -28912[?] 28282[?] 28283[?] 906826[?] -24716[?] 24086[?] 24087[?] 906824[?] -22618[?] 21988[?] 21989[?] 906823[?] -18422[?] 17792[?] 17793[?] 906821[?] -16324[?] 15694[?] 15695[?] 906820[?] -14226[?] 13596[?] 13597[?] 906819[?] -12128[?] 11498[?] 11499[?] 906818[?] -10030[?] 9400[?] 9401[?] 906817[?] -5834[?] 5204[?] 5205[?] 906815[?] -3736[?] 3106[?] 3107[?] 906814[?] -1638[?] 1008[?] 1009[?] 906813[?] -28862[?] 28186[?] 28185[?] 884958[?] -24666[?] 23990[?] 23989[?] 884956[?] -22568[?] 21892[?] 21891[?] 884955[?] -18372[?] 17696[?] 17695[?] 884953[?] -16274[?] 15598[?] 15597[?] 884952[?] -14176[?] 13500[?] 13499[?] 884951[?] -12078[?] 11402[?] 11401[?] 884950[?] -7882[?] 7206[?] 7205[?] 884948[?] -5784[?] 5108[?] 5107[?] 884947[?] -3686[?] 3010[?] 3009[?] 884946[?] -1588[?] 912[?] 911[?] 884945[?] -28853[?] 28168[?] 28169[?] 880982[?] -24657[?] 23972[?] 23973[?] 880980[?] -22559[?] 21874[?] 21875[?] 880979[?] -14167[?] 13482[?] 13483[?] 880975[?] -7873[?] 7188[?] 7189[?] 880972[?] -3677[?] 2992[?] 2993[?] 880970[?] -28844[?] 28150[?] 28151[?] 877006[?] -24648[?] 23954[?] 23955[?] 877004[?] -22550[?] 21856[?] 21857[?] 877003[?] -14158[?] 13464[?] 13465[?] 876999[?] -7864[?] 7170[?] 7171[?] 876996[?] -3668[?] 2974[?] 2975[?] 876994[?] -28835[?] 28133[?] 28134[?] 873030[?] -24639[?] 23937[?] 23938[?] 873028[?] -22541[?] 21839[?] 21840[?] 873027[?] -14149[?] 13447[?] 13448[?] 873023[?] -7855[?] 7153[?] 7154[?] 873020[?] -3659[?] 2957[?] 2958[?] 873018[?] -1545[?] 827[?] 826[?] 825[?] 865775[?] -30905[?] 31257[?] 31254[?] 860535[?] -28807[?] 29156[?] 29159[?] 860534[?] -26709[?] 27061[?] 27058[?] 860533[?] -24611[?] 24963[?] 24960[?] 860532[?] -20415[?] 20764[?] 20767[?] 860530[?] -18317[?] 18666[?] 18669[?] 860529[?] -16219[?] 16568[?] 16571[?] 860528[?] -14121[?] 14470[?] 14473[?] 860527[?] -9925[?] 10277[?] 10274[?] 860525[?] -7827[?] 8176[?] 8179[?] 860524[?] -5729[?] 6081[?] 6078[?] 860523[?] -3631[?] 3983[?] 3980[?] 860522[?] -22865[?] 22513[?] 860389[?] -22862[?] 22513[?] 860247[?] -1532[?] 801[?] 802[?] 803[?] 860095[?] -1517[?] 773[?] 774[?] 853279[?] 21682[?] -22460[?] 21681[?] 837243[?] 11192[?] -11970[?] 11191[?] 837238[?] -27974[?] 28753[?] 836678[?] -27955[?] 28746[?] 833554[?] 30833[?] -30034[?] 829011[?] 38423[?] -39224[?] 38424[?] 828731[?] 36325[?] -37126[?] 36326[?] 828730[?] 34227[?] -35028[?] 34228[?] 828729[?] 32129[?] -32930[?] 32130[?] 828728[?] -30832[?] 30032[?] 30031[?] 828727[?] 30817[?] -30002[?] 822195[?] -30816[?] 29999[?] 30000[?] 821911[?] 40488[?] -41305[?] 40487[?] 821490[?] 21601[?] -22421[?] 21602[?] 820629[?] 11111[?] -11931[?] 11112[?] 820624[?] -30801[?] 29633[?] 29608[?] 815379[?] 40461[?] -41290[?] 40460[?] 814958[?] 34980[?] -35644[?] -35483[?] 808139[?] -26575[?] 27232[?] 802455[?] -24477[?] 25134[?] 802454[?] -22379[?] 23036[?] 802453[?] -20281[?] 20938[?] 802452[?] -18183[?] 18840[?] 802451[?] -13987[?] 14644[?] 802449[?] -11889[?] 12546[?] 802448[?] -9791[?] 10448[?] 802447[?] -7693[?] 8350[?] 802446[?] -3497[?] 4154[?] 802444[?] -30771[?] 31215[?] 802315[?] -28673[?] 29117[?] 802314[?] -16085[?] 16529[?] 802308[?] -5595[?] 6039[?] 802303[?] -30770[?] 31059[?] 801889[?] -28672[?] 28961[?] 801888[?] -26574[?] 26863[?] 801887[?] -24476[?] 24765[?] 801886[?] -22378[?] 22667[?] 801885[?] -20280[?] 20569[?] 801884[?] -18182[?] 18471[?] 801883[?] -16084[?] 16373[?] 801882[?] -13986[?] 14275[?] 801881[?] -11888[?] 12177[?] 801880[?] -9790[?] 10079[?] 801879[?] -7692[?] 7981[?] 801878[?] -5594[?] 5883[?] 801877[?] -3496[?] 3785[?] 801876[?] -30769[?] 31433[?] 801605[?] -28671[?] 29335[?] 801604[?] -16083[?] 16747[?] 801598[?] -5593[?] 6257[?] 801593[?] -30768[?] 29427[?] 801179[?] -28670[?] 27329[?] 801178[?] -16082[?] 14741[?] 801172[?] -5592[?] 4251[?] 801167[?] -26571[?] 27232[?] 800751[?] -24473[?] 25134[?] 800750[?] -22375[?] 23036[?] 800749[?] -20277[?] 20938[?] 800748[?] -18179[?] 18840[?] 800747[?] -13983[?] 14644[?] 800745[?] -11885[?] 12546[?] 800744[?] -9787[?] 10448[?] 800743[?] -7689[?] 8350[?] 800742[?] -3493[?] 4154[?] 800740[?] -30767[?] 31213[?] 800611[?] -28669[?] 29115[?] 800610[?] -16081[?] 16527[?] 800604[?] -5591[?] 6037[?] 800599[?] -30766[?] 31058[?] 800185[?] -28668[?] 28960[?] 800184[?] -26570[?] 26862[?] 800183[?] -24472[?] 24764[?] 800182[?] -22374[?] 22666[?] 800181[?] -20276[?] 20568[?] 800180[?] -18178[?] 18470[?] 800179[?] -16080[?] 16372[?] 800178[?] -13982[?] 14274[?] 800177[?] -11884[?] 12176[?] 800176[?] -9786[?] 10078[?] 800175[?] -7688[?] 7980[?] 800174[?] -5590[?] 5882[?] 800173[?] -3492[?] 3784[?] 800172[?] -30765[?] 31433[?] 799901[?] -28667[?] 29335[?] 799900[?] -16079[?] 16747[?] 799894[?] -5589[?] 6257[?] 799889[?] -30764[?] 29427[?] 799475[?] -28666[?] 27329[?] 799474[?] -16078[?] 14741[?] 799468[?] -5588[?] 4251[?] 799463[?] 32820[?] -32018[?] -33121[?] 781726[?] 32628[?] -31840[?] -31574[?] 699934[?] 32626[?] -31573[?] -31840[?] 699082[?] 34716[?] -35419[?] -35259[?] 695675[?] -31905[?] 32591[?] -33290[?] 684172[?] -30486[?] 29427[?] 681047[?] -28388[?] 27329[?] 681046[?] -26290[?] 25231[?] 681045[?] -24192[?] 23133[?] 681044[?] -22094[?] 21035[?] 681043[?] -19996[?] 18937[?] 681042[?] -17898[?] 16839[?] 681041[?] -15800[?] 14741[?] 681040[?] -13702[?] 12643[?] 681039[?] -11604[?] 10545[?] 681038[?] -9506[?] 8447[?] 681037[?] -7408[?] 6349[?] 681036[?] -5310[?] 4251[?] 681035[?] -3212[?] 2153[?] 681034[?] -1114[?] 55[?] 681033[?] -1113[?] 431[?] 680607[?] -30485[?] 31216[?] 680479[?] -28387[?] 29118[?] 680478[?] -26289[?] 27020[?] 680477[?] -24191[?] 24922[?] 680476[?] -22093[?] 22824[?] 680475[?] -19995[?] 20726[?] 680474[?] -17897[?] 18628[?] 680473[?] -15799[?] 16530[?] 680472[?] -13701[?] 14432[?] 680471[?] -11603[?] 12334[?] 680470[?] -9505[?] 10236[?] 680469[?] -7407[?] 8138[?] 680468[?] -5309[?] 6040[?] 680467[?] -3211[?] 3942[?] 680466[?] -30484[?] 29427[?] 680195[?] -28386[?] 27329[?] 680194[?] -26288[?] 25231[?] 680193[?] -24190[?] 23133[?] 680192[?] -22092[?] 21035[?] 680191[?] -19994[?] 18937[?] 680190[?] -17896[?] 16839[?] 680189[?] -15798[?] 14741[?] 680188[?] -13700[?] 12643[?] 680187[?] -11602[?] 10545[?] 680186[?] -9504[?] 8447[?] 680185[?] -7406[?] 6349[?] 680184[?] -5308[?] 4251[?] 680183[?] -3210[?] 2153[?] 680182[?] -1112[?] 55[?] 680181[?] -1111[?] 430[?] 679755[?] -30483[?] 31214[?] 679627[?] -28385[?] 29116[?] 679626[?] -26287[?] 27018[?] 679625[?] -24189[?] 24920[?] 679624[?] -22091[?] 22822[?] 679623[?] -19993[?] 20724[?] 679622[?] -17895[?] 18626[?] 679621[?] -15797[?] 16528[?] 679620[?] -13699[?] 14430[?] 679619[?] -11601[?] 12332[?] 679618[?] -9503[?] 10234[?] 679617[?] -7405[?] 8136[?] 679616[?] -5307[?] 6038[?] 679615[?] -3209[?] 3940[?] 679614[?] -30476[?] 31433[?] 676787[?] -28378[?] 29335[?] 676786[?] -26280[?] 27237[?] 676785[?] -24182[?] 25139[?] 676784[?] -22084[?] 23041[?] 676783[?] -19986[?] 20943[?] 676782[?] -17888[?] 18845[?] 676781[?] -15790[?] 16747[?] 676780[?] -13692[?] 14649[?] 676779[?] -11594[?] 12551[?] 676778[?] -9496[?] 10453[?] 676777[?] -7398[?] 8355[?] 676776[?] -5300[?] 6257[?] 676775[?] -3202[?] 4159[?] 676774[?] -30475[?] 31015[?] 676219[?] -28377[?] 28917[?] 676218[?] -26279[?] 26819[?] 676217[?] -24181[?] 24721[?] 676216[?] -22083[?] 22623[?] 676215[?] -19985[?] 20525[?] 676214[?] -17887[?] 18427[?] 676213[?] -15789[?] 16329[?] 676212[?] -13691[?] 14231[?] 676211[?] -11593[?] 12133[?] 676210[?] -9495[?] 10035[?] 676209[?] -7397[?] 7937[?] 676208[?] -5299[?] 5839[?] 676207[?] -3201[?] 3741[?] 676206[?] -30474[?] 31433[?] 675935[?] -28376[?] 29335[?] 675934[?] -26278[?] 27237[?] 675933[?] -24180[?] 25139[?] 675932[?] -22082[?] 23041[?] 675931[?] -19984[?] 20943[?] 675930[?] -17886[?] 18845[?] 675929[?] -15788[?] 16747[?] 675928[?] -13690[?] 14649[?] 675927[?] -11592[?] 12551[?] 675926[?] -9494[?] 10453[?] 675925[?] -7396[?] 8355[?] 675924[?] -5298[?] 6257[?] 675923[?] -3200[?] 4159[?] 675922[?] -30473[?] 31014[?] 675367[?] -28375[?] 28916[?] 675366[?] -26277[?] 26818[?] 675365[?] -24179[?] 24720[?] 675364[?] -22081[?] 22622[?] 675363[?] -19983[?] 20524[?] 675362[?] -17885[?] 18426[?] 675361[?] -15787[?] 16328[?] 675360[?] -13689[?] 14230[?] 675359[?] -11591[?] 12132[?] 675358[?] -9493[?] 10034[?] 675357[?] -7395[?] 7936[?] 675356[?] -5297[?] 5838[?] 675355[?] -3199[?] 3740[?] 675354[?] -28354[?] 27342[?] 666562[?] -24158[?] 23146[?] 666560[?] -22060[?] 21048[?] 666559[?] -17864[?] 16852[?] 666557[?] -15766[?] 14754[?] 666556[?] -13668[?] 12656[?] 666555[?] -11570[?] 10558[?] 666554[?] -9472[?] 8460[?] 666553[?] -5276[?] 4264[?] 666551[?] -3178[?] 2166[?] 666550[?] -1080[?] 68[?] 666549[?] -28353[?] 28912[?] 666136[?] -24157[?] 24716[?] 666134[?] -22059[?] 22618[?] 666133[?] -17863[?] 18422[?] 666131[?] -15765[?] 16324[?] 666130[?] -13667[?] 14226[?] 666129[?] -11569[?] 12128[?] 666128[?] -9471[?] 10030[?] 666127[?] -5275[?] 5834[?] 666125[?] -3177[?] 3736[?] 666124[?] -1079[?] 1638[?] 666123[?] -1078[?] 91[?] 665555[?] -1077[?] 2036[?] 665271[?] -1040[?] 68[?] 649509[?] -1039[?] 1674[?] 649083[?] -28311[?] 27342[?] 648244[?] -24115[?] 23146[?] 648242[?] -22017[?] 21048[?] 648241[?] -17821[?] 16852[?] 648239[?] -15723[?] 14754[?] 648238[?] -13625[?] 12656[?] 648237[?] -11527[?] 10558[?] 648236[?] -9429[?] 8460[?] 648235[?] -5233[?] 4264[?] 648233[?] -3135[?] 2166[?] 648232[?] -1037[?] 68[?] 648231[?] -28310[?] 28920[?] 647818[?] -24114[?] 24724[?] 647816[?] -22016[?] 22626[?] 647815[?] -17820[?] 18430[?] 647813[?] -15722[?] 16332[?] 647812[?] -13624[?] 14234[?] 647811[?] -11526[?] 12136[?] 647810[?] -9428[?] 10038[?] 647809[?] -5232[?] 5842[?] 647807[?] -3134[?] 3744[?] 647806[?] -1036[?] 1646[?] 647805[?] -1035[?] 92[?] 647237[?] -1034[?] 2038[?] 646953[?] 32502[?] -31860[?] -31553[?] 646258[?] -28299[?] 27963[?] 643132[?] -24103[?] 23767[?] 643130[?] -22005[?] 21669[?] 643129[?] -17809[?] 17473[?] 643127[?] -15711[?] 15375[?] 643126[?] -13613[?] 13277[?] 643125[?] -11515[?] 11179[?] 643124[?] -9417[?] 9081[?] 643123[?] -5221[?] 4885[?] 643121[?] -3123[?] 2787[?] 643120[?] -1025[?] 689[?] 643119[?] -28298[?] 29307[?] 642706[?] -24102[?] 25111[?] 642704[?] -22004[?] 23013[?] 642703[?] -17808[?] 18817[?] 642701[?] -15710[?] 16719[?] 642700[?] -13612[?] 14621[?] 642699[?] -11514[?] 12523[?] 642698[?] -9416[?] 10425[?] 642697[?] -5220[?] 6229[?] 642695[?] -3122[?] 4131[?] 642694[?] -1024[?] 2033[?] 642693[?] -30391[?] 29748[?] 640577[?] -28293[?] 27650[?] 640576[?] -26195[?] 25552[?] 640575[?] -24097[?] 23454[?] 640574[?] -21999[?] 21356[?] 640573[?] -19901[?] 19258[?] 640572[?] -17803[?] 17160[?] 640571[?] -15705[?] 15062[?] 640570[?] -13607[?] 12964[?] 640569[?] -11509[?] 10866[?] 640568[?] -9411[?] 8768[?] 640567[?] -7313[?] 6670[?] 640566[?] -5215[?] 4572[?] 640565[?] -3117[?] 2474[?] 640564[?] -30390[?] 31433[?] 640151[?] -28292[?] 29335[?] 640150[?] -26194[?] 27237[?] 640149[?] -24096[?] 25139[?] 640148[?] -21998[?] 23041[?] 640147[?] -19900[?] 20943[?] 640146[?] -17802[?] 18845[?] 640145[?] -15704[?] 16747[?] 640144[?] -13606[?] 14649[?] 640143[?] -11508[?] 12551[?] 640142[?] -9410[?] 10453[?] 640141[?] -7312[?] 8355[?] 640140[?] -5214[?] 6257[?] 640139[?] -3116[?] 4159[?] 640138[?] -30389[?] 29427[?] 639725[?] -28291[?] 27329[?] 639724[?] -26193[?] 25231[?] 639723[?] -24095[?] 23133[?] 639722[?] -21997[?] 21035[?] 639721[?] -19899[?] 18937[?] 639720[?] -17801[?] 16839[?] 639719[?] -15703[?] 14741[?] 639718[?] -13605[?] 12643[?] 639717[?] -11507[?] 10545[?] 639716[?] -9409[?] 8447[?] 639715[?] -7311[?] 6349[?] 639714[?] -5213[?] 4251[?] 639713[?] -3115[?] 2153[?] 639712[?] -30388[?] 31428[?] 639299[?] -28290[?] 29330[?] 639298[?] -26192[?] 27232[?] 639297[?] -24094[?] 25134[?] 639296[?] -21996[?] 23036[?] 639295[?] -19898[?] 20938[?] 639294[?] -17800[?] 18840[?] 639293[?] -15702[?] 16742[?] 639292[?] -13604[?] 14644[?] 639291[?] -11506[?] 12546[?] 639290[?] -9408[?] 10448[?] 639289[?] -7310[?] 8350[?] 639288[?] -5212[?] 6252[?] 639287[?] -3114[?] 4154[?] 639286[?] -28283[?] 27963[?] 636316[?] -24087[?] 23767[?] 636314[?] -21989[?] 21669[?] 636313[?] -17793[?] 17473[?] 636311[?] -15695[?] 15375[?] 636310[?] -13597[?] 13277[?] 636309[?] -11499[?] 11179[?] 636308[?] -9401[?] 9081[?] 636307[?] -5205[?] 4885[?] 636305[?] -3107[?] 2787[?] 636304[?] -1009[?] 689[?] 636303[?] -28282[?] 29304[?] 635890[?] -24086[?] 25108[?] 635888[?] -21988[?] 23010[?] 635887[?] -17792[?] 18814[?] 635885[?] -15694[?] 16716[?] 635884[?] -13596[?] 14618[?] 635883[?] -11498[?] 12520[?] 635882[?] -9400[?] 10422[?] 635881[?] -5204[?] 6226[?] 635879[?] -3106[?] 4128[?] 635878[?] -1008[?] 2030[?] 635877[?] -29313[?] 28217[?] -27579[?] 608342[?] -28186[?] 28853[?] 594994[?] -23990[?] 24657[?] 594992[?] -21892[?] 22559[?] 594991[?] -13500[?] 14167[?] 594987[?] -7206[?] 7873[?] 594984[?] -3010[?] 3677[?] 594982[?] -17696[?] 16919[?] 594847[?] -15598[?] 14821[?] 594846[?] -11402[?] 10625[?] 594844[?] -5108[?] 4331[?] 594841[?] -912[?] 135[?] 594839[?] -28185[?] 27342[?] 594568[?] -23989[?] 23146[?] 594566[?] -21891[?] 21048[?] 594565[?] -17695[?] 16852[?] 594563[?] -15597[?] 14754[?] 594562[?] -13499[?] 12656[?] 594561[?] -11401[?] 10558[?] 594560[?] -7205[?] 6362[?] 594558[?] -5107[?] 4264[?] 594557[?] -3009[?] 2166[?] 594556[?] -911[?] 68[?] 594555[?] -28169[?] 27342[?] 587752[?] -23973[?] 23146[?] 587750[?] -21875[?] 21048[?] 587749[?] -13483[?] 12656[?] 587745[?] -7189[?] 6362[?] 587742[?] -2993[?] 2166[?] 587740[?] -28168[?] 28844[?] 587326[?] -23972[?] 24648[?] 587324[?] -21874[?] 22550[?] 587323[?] -13482[?] 14158[?] 587319[?] -7188[?] 7864[?] 587316[?] -2992[?] 3668[?] 587314[?] 30250[?] -29677[?] -29685[?] 580653[?] 28152[?] -27587[?] -27579[?] 580652[?] 26054[?] -25489[?] -25481[?] 580651[?] 23956[?] -23383[?] -23391[?] 580650[?] 19760[?] -19195[?] -19187[?] 580648[?] 17662[?] -17089[?] -17097[?] 580647[?] 15564[?] -14999[?] -14991[?] 580646[?] 13466[?] -12901[?] -12893[?] 580645[?] 9270[?] -8705[?] -8697[?] 580643[?] 7172[?] -6607[?] -6599[?] 580642[?] 5074[?] -4501[?] -4509[?] 580641[?] 2976[?] -2403[?] -2411[?] 580640[?] 21285[?] -21858[?] 580507[?] 21293[?] -21858[?] 580365[?] -28151[?] 28088[?] 579942[?] -23955[?] 23892[?] 579940[?] -21857[?] 21794[?] 579939[?] -13465[?] 13402[?] 579935[?] -7171[?] 7108[?] 579932[?] -2975[?] 2912[?] 579930[?] -28150[?] 28835[?] 579658[?] -23954[?] 24639[?] 579656[?] -21856[?] 22541[?] 579655[?] -13464[?] 14149[?] 579651[?] -7170[?] 7855[?] 579648[?] -2974[?] 3659[?] 579646[?] -28134[?] 27342[?] 572700[?] -23938[?] 23146[?] 572698[?] -21840[?] 21048[?] 572697[?] -13448[?] 12656[?] 572693[?] -7154[?] 6362[?] 572690[?] -2958[?] 2166[?] 572688[?] -28133[?] 29313[?] 572416[?] -23937[?] 25117[?] 572414[?] -21839[?] 23019[?] 572413[?] -13447[?] 14627[?] 572409[?] -7153[?] 8333[?] 572406[?] -2957[?] 4137[?] 572404[?] -827[?] 2036[?] 558771[?] -826[?] 1914[?] 558345[?] -825[?] 1914[?] 557777[?] -28088[?] 27963[?] 553246[?] -23892[?] 23767[?] 553244[?] -21794[?] 21669[?] 553243[?] -13402[?] 13277[?] 553239[?] -7108[?] 6983[?] 553236[?] -2912[?] 2787[?] 553234[?] -803[?] 1914[?] 548405[?] -802[?] 1914[?] 547979[?] -801[?] 2038[?] 547695[?] -774[?] 68[?] 536193[?] -773[?] 1652[?] 535767[?] 21010[?] -21682[?] 505531[?] 10520[?] -11192[?] 505526[?] -21681[?] 21223[?] 505105[?] -11191[?] 10733[?] 505100[?] -27303[?] 27974[?] -27389[?] 504824[?] -27963[?] 27411[?] 499996[?] -23767[?] 23215[?] 499994[?] -21669[?] 21117[?] 499993[?] -2787[?] 2235[?] 499984[?] -17473[?] 17472[?] 499849[?] -15375[?] 15374[?] 499848[?] -13277[?] 13276[?] 499847[?] -11179[?] 11178[?] 499846[?] -9081[?] 9080[?] 499845[?] -6983[?] 6982[?] 499844[?] -4885[?] 4884[?] 499843[?] -689[?] 688[?] 499841[?] -17472[?] 18882[?] 499423[?] -15374[?] 16784[?] 499422[?] -13276[?] 14686[?] 499421[?] -11178[?] 12588[?] 499420[?] -9080[?] 10490[?] 499419[?] -6982[?] 8392[?] 499418[?] -4884[?] 6294[?] 499417[?] -688[?] 2098[?] 499415[?] -28753[?] 27955[?] -27507[?] 496730[?] 30034[?] -30817[?] -29956[?] 488637[?] -38424[?] 38348[?] 487647[?] -36326[?] 36250[?] 487646[?] -34228[?] 34152[?] 487645[?] -32130[?] 32054[?] 487644[?] -30032[?] 30816[?] 487501[?] 39854[?] -38423[?] 487221[?] 37756[?] -36325[?] 487220[?] 35658[?] -34227[?] 487219[?] 33560[?] -32129[?] 487218[?] -30031[?] 29594[?] 487075[?] 30002[?] -29836[?] -29377[?] 475005[?] -30000[?] 29564[?] 473869[?] -29999[?] 29578[?] 473443[?] 41290[?] -40488[?] 473022[?] -40487[?] 40067[?] 472738[?] -21602[?] 21096[?] 471451[?] -11112[?] 10606[?] 471446[?] 22460[?] -21601[?] 470883[?] 11970[?] -11111[?] 470878[?] 39903[?] -40461[?] 461662[?] -40460[?] 40053[?] 461236[?] 29956[?] -29955[?] -29509[?] 455409[?] -38348[?] 37901[?] 455271[?] -36250[?] 35803[?] 455270[?] -34152[?] 33705[?] 455269[?] -32054[?] 31607[?] 455268[?] 29955[?] -29489[?] -29508[?] 454983[?] 32018[?] 33526[?] 444476[?] 29836[?] 30801[?] 420619[?] 31840[?] 31905[?] 412384[?] -431[?] -370[?] 411375[?] -430[?] -370[?] 411091[?] 31860[?] 33531[?] 399604[?] -29748[?] -30250[?] 395769[?] -27650[?] -28152[?] 395768[?] -25552[?] -26054[?] 395767[?] -23454[?] -23956[?] 395766[?] -21356[?] -21858[?] 395765[?] -19258[?] -19760[?] 395764[?] -17160[?] -17662[?] 395763[?] -15062[?] -15564[?] 395762[?] -12964[?] -13466[?] 395761[?] -10866[?] -11368[?] 395760[?] -8768[?] -9270[?] 395759[?] -6670[?] -7172[?] 395758[?] -4572[?] -5074[?] 395757[?] -2474[?] -2976[?] 395756[?] 370[?] 19[?] 393909[?] -23019[?] -21293[?] 377873[?] 29685[?] 31411[?] 377735[?] 27587[?] 29313[?] 377734[?] 25489[?] 27215[?] 377733[?] 23391[?] 25117[?] 377732[?] 19195[?] 20921[?] 377730[?] 17097[?] 18823[?] 377729[?] 14999[?] 16725[?] 377728[?] 12901[?] 14627[?] 377727[?] 8705[?] 10431[?] 377725[?] 6607[?] 8333[?] 377724[?] 4509[?] 6235[?] 377723[?] 2411[?] 4137[?] 377722[?] -22513[?] -21285[?] 375601[?] 29677[?] 30905[?] 375463[?] 27579[?] 28807[?] 375462[?] 25481[?] 26709[?] 375461[?] 23383[?] 24611[?] 375460[?] 19187[?] 20415[?] 375458[?] 17089[?] 18317[?] 375457[?] 14991[?] 16219[?] 375456[?] 12893[?] 14121[?] 375455[?] 8697[?] 9925[?] 375453[?] 6599[?] 7827[?] 375452[?] 4501[?] 5729[?] 375451[?] 2403[?] 3631[?] 375450[?] -29633[?] -29487[?] 363109[?] -21223[?] -21095[?] 357993[?] -10733[?] -10605[?] 357988[?] -29608[?] -29488[?] 356009[?] 27507[?] 27390[?] 355014[?] -29594[?] -29956[?] 352033[?] -29578[?] -29836[?] 347489[?] -40067[?] -39978[?] 347210[?] -29564[?] -29497[?] 343513[?] -40053[?] -39977[?] 343234[?] -31408[?] 29555[?] 340957[?] -29310[?] 27457[?] 340956[?] -27212[?] 25359[?] 340955[?] -25114[?] 23261[?] 340954[?] -23016[?] 21163[?] 340953[?] -20918[?] 19065[?] 340952[?] -18820[?] 16967[?] 340951[?] -16722[?] 14869[?] 340950[?] -14624[?] 12771[?] 340949[?] -10428[?] 8575[?] 340947[?] -8330[?] 6477[?] 340946[?] -6232[?] 4379[?] 340945[?] -31410[?] 29554[?] 340673[?] -29312[?] 27456[?] 340672[?] -27214[?] 25358[?] 340671[?] -25116[?] 23260[?] 340670[?] -23018[?] 21162[?] 340669[?] -20920[?] 19064[?] 340668[?] -18822[?] 16966[?] 340667[?] -16724[?] 14868[?] 340666[?] -14626[?] 12770[?] 340665[?] -10430[?] 8574[?] 340663[?] -8332[?] 6476[?] 340662[?] -6234[?] 4378[?] 340661[?] -31407[?] 29548[?] 338969[?] -12525[?] 10666[?] 338960[?] -31406[?] 29547[?] 338685[?] -12524[?] 10665[?] 338676[?] -33670[?] 33724[?] 333291[?] 43977[?] -42114[?] 332585[?] -31393[?] 29522[?] 331585[?] 25100[?] -23227[?] 331156[?] 14610[?] -12737[?] 331151[?] -18882[?] 16930[?] 330443[?] -16784[?] 14832[?] 330442[?] -14686[?] 12734[?] 330441[?] -12588[?] 10636[?] 330440[?] -10490[?] 8538[?] 330439[?] -8392[?] 6440[?] 330438[?] -6294[?] 4342[?] 330437[?] -2098[?] 146[?] 330435[?] 31574[?] -31512[?] 327326[?] 31573[?] -31511[?] 327042[?] -35633[?] 33670[?] 326759[?] -92[?] 1532[?] 323761[?] -91[?] 1545[?] 323477[?] 31553[?] -31534[?] 321362[?] -27342[?] 29188[?] 316958[?] -23146[?] 24992[?] 316956[?] -21048[?] 22894[?] 316955[?] -16852[?] 18698[?] 316953[?] -14754[?] 16600[?] 316952[?] -12656[?] 14502[?] 316951[?] -10558[?] 12404[?] 316950[?] -8460[?] 10306[?] 316949[?] -6362[?] 8208[?] 316948[?] -4264[?] 6110[?] 316947[?] -2166[?] 4012[?] 316946[?] -68[?] 1914[?] 316945[?] 31534[?] -31615[?] 315966[?] 21858[?] -21037[?] 313831[?] 11368[?] -10547[?] 313826[?] -28217[?] 27330[?] 313692[?] -29427[?] 31284[?] 313267[?] -27329[?] 29186[?] 313266[?] -25231[?] 27088[?] 313265[?] -23133[?] 24990[?] 313264[?] -21035[?] 22892[?] 313263[?] -18937[?] 20794[?] 313262[?] -16839[?] 18696[?] 313261[?] -14741[?] 16598[?] 313260[?] -12643[?] 14500[?] 313259[?] -10545[?] 12402[?] 313258[?] -8447[?] 10304[?] 313257[?] -6349[?] 8206[?] 313256[?] -4251[?] 6108[?] 313255[?] -2153[?] 4010[?] 313254[?] -55[?] 1912[?] 313253[?] 31512[?] -33561[?] 309718[?] 31511[?] -33560[?] 309434[?] 41952[?] -39903[?] 309296[?] 21037[?] -21010[?] 306163[?] 10547[?] -10520[?] 306158[?] -27330[?] 27303[?] 306024[?] -19[?] 2081[?] 303029[?] 29377[?] -29496[?] 299209[?] 2.62/2.31 c qxplain 0/1161 3.26/2.99 c qxplain 581/1161 3.68/3.38 c qxplain 872/1161 4.22/3.80 c qxplain 1017/1161 4.64/4.20 c qxplain 1090/1161 4.95/4.59 c qxplain 1126/1161 5.34/4.99 c qxplain 1144/1161 5.74/5.38 c qxplain 1153/1161 6.14/5.77 c qxplain 1158/1161 6.24/5.85 c qxplain 1153/1157 6.66/6.21 c qxplain 1156/1157 6.97/6.58 c qxplain 1157/1157 7.08/6.65 c qxplain 1156/1156 7.50/7.02 c 309296[?] -39903[?] 41952[?] is mandatory 7.50/7.02 c qxplain 1153/1155 7.50/7.06 c qxplain 1144/1152 7.50/7.09 c qxplain 1126/1143 7.60/7.13 c qxplain 1090/1125 8.00/7.50 c qxplain 1108/1125 8.00/7.54 c qxplain 1090/1107 8.39/7.93 c qxplain 1099/1107 8.80/8.33 c qxplain 1104/1107 9.20/8.72 c qxplain 1106/1107 9.20/8.76 c qxplain 1104/1105 9.60/9.16 c qxplain 1105/1105 10.00/9.57 c 332585[?] 43977[?] -42114[?] is mandatory 10.00/9.57 c qxplain 1104/1104 10.10/9.61 c qxplain 1099/1103 10.10/9.65 c qxplain 1090/1098 10.10/9.69 c qxplain 1017/1089 10.50/10.09 c qxplain 1054/1089 10.90/10.48 c qxplain 1072/1089 12.52/11.46 c qxplain 1081/1089 12.62/11.50 c qxplain 1072/1080 12.82/11.79 c qxplain 1077/1080 12.92/11.82 c qxplain 1072/1076 13.23/12.10 c qxplain 1075/1076 13.43/12.38 c qxplain 1076/1076 13.53/12.42 c qxplain 1075/1075 13.83/12.70 c 343234[?] -40053[?] -39977[?] is mandatory 13.83/12.70 c qxplain 1072/1074 14.03/12.99 c qxplain 1074/1074 14.33/13.28 c 343513[?] -29564[?] -29497[?] is mandatory 14.33/13.28 c qxplain 1072/1073 14.63/13.56 c qxplain 1073/1073 14.93/13.85 c 347210[?] -40067[?] -39978[?] is mandatory 14.93/13.85 c qxplain 1072/1072 15.23/14.13 c 347489[?] -29578[?] -29836[?] is mandatory 15.23/14.13 c qxplain 1054/1071 15.53/14.42 c qxplain 1063/1071 15.83/14.71 c qxplain 1068/1071 16.13/15.00 c qxplain 1070/1071 16.33/15.29 c qxplain 1071/1071 16.63/15.57 c 352033[?] -29594[?] -29956[?] is mandatory 16.63/15.57 c qxplain 1070/1070 16.73/15.61 c qxplain 1068/1069 16.93/15.90 c qxplain 1069/1069 17.23/16.18 c 356009[?] -29608[?] -29488[?] is mandatory 17.23/16.18 c qxplain 1068/1068 17.33/16.22 c qxplain 1063/1067 17.63/16.50 c qxplain 1066/1067 17.83/16.79 c qxplain 1067/1067 17.93/16.82 c qxplain 1066/1066 18.23/17.11 c 363109[?] -29633[?] -29487[?] is mandatory 18.23/17.11 c qxplain 1063/1065 18.23/17.15 c qxplain 1054/1062 18.23/17.18 c qxplain 1017/1053 18.53/17.47 c qxplain 1036/1053 18.63/17.50 c qxplain 1017/1035 18.83/17.79 c qxplain 1027/1035 18.93/17.83 c qxplain 1017/1026 19.23/18.12 c qxplain 1022/1026 19.23/18.15 c qxplain 1017/1021 19.53/18.44 c qxplain 1020/1021 19.83/18.73 c qxplain 1021/1021 19.83/18.76 c qxplain 1020/1020 20.13/19.05 c 420619[?] 29836[?] 30801[?] is mandatory 20.13/19.05 c qxplain 1017/1019 20.43/19.33 c qxplain 1019/1019 20.43/19.36 c qxplain 1017/1018 20.73/19.65 c qxplain 1018/1018 21.03/19.94 c 454983[?] 29955[?] -29489[?] -29508[?] is mandatory 21.03/19.94 c qxplain 1017/1017 21.32/20.22 c 455268[?] -32054[?] 31607[?] is mandatory 21.32/20.22 c qxplain 872/1016 22.29/20.88 c qxplain 945/1016 22.59/21.17 c qxplain 981/1016 22.89/21.47 c qxplain 999/1016 23.19/21.76 c qxplain 1008/1016 23.49/22.05 c qxplain 1013/1016 23.78/22.34 c qxplain 1015/1016 24.08/22.63 c qxplain 1016/1016 24.38/22.92 c 455269[?] -34152[?] 33705[?] is mandatory 24.38/22.92 c qxplain 1015/1015 24.69/23.22 c 455270[?] -36250[?] 35803[?] is mandatory 24.69/23.22 c qxplain 1013/1014 24.98/23.51 c qxplain 1014/1014 25.28/23.80 c 455271[?] -38348[?] 37901[?] is mandatory 25.28/23.80 c qxplain 1013/1013 25.48/24.09 c 455409[?] 29956[?] -29955[?] -29509[?] is mandatory 25.48/24.09 c qxplain 1008/1012 25.80/24.38 c qxplain 1011/1012 26.09/24.67 c qxplain 1012/1012 26.39/24.96 c 461236[?] -40460[?] 40053[?] is mandatory 26.39/24.96 c qxplain 1011/1011 26.69/25.25 c 461662[?] 39903[?] -40461[?] is mandatory 26.69/25.25 c qxplain 1008/1010 26.69/25.28 c qxplain 999/1007 26.99/25.57 c qxplain 1004/1007 27.29/25.86 c qxplain 1006/1007 27.59/26.15 c qxplain 1007/1007 27.59/26.18 c qxplain 1006/1006 27.90/26.47 c 472738[?] -40487[?] 40067[?] is mandatory 27.90/26.47 c qxplain 1004/1005 28.19/26.76 c qxplain 1005/1005 28.49/27.05 c 473022[?] 41290[?] -40488[?] is mandatory 28.49/27.05 c qxplain 1004/1004 28.79/27.34 c 473443[?] -29999[?] 29578[?] is mandatory 28.79/27.34 c qxplain 999/1003 29.10/27.63 c qxplain 1002/1003 29.39/27.92 c qxplain 1003/1003 29.69/28.21 c 473869[?] -30000[?] 29564[?] is mandatory 29.69/28.21 c qxplain 1002/1002 29.69/28.25 c qxplain 999/1001 29.99/28.53 c qxplain 1001/1001 30.28/28.82 c 487075[?] -30031[?] 29594[?] is mandatory 30.28/28.82 c qxplain 999/1000 30.58/29.11 c qxplain 1000/1000 30.88/29.40 c 487218[?] -32129[?] 33560[?] is mandatory 30.88/29.40 c qxplain 999/999 31.08/29.69 c 487219[?] -34227[?] 35658[?] is mandatory 31.08/29.69 c qxplain 981/998 31.38/29.98 c qxplain 990/998 31.68/30.28 c qxplain 995/998 31.98/30.57 c qxplain 997/998 33.04/31.22 c qxplain 998/998 33.34/31.52 c 487220[?] -36325[?] 37756[?] is mandatory 33.34/31.52 c qxplain 997/997 33.64/31.81 c 487221[?] -38423[?] 39854[?] is mandatory 33.64/31.81 c qxplain 995/996 33.84/32.09 c qxplain 996/996 34.14/32.38 c 487501[?] -30032[?] 30816[?] is mandatory 34.14/32.38 c qxplain 995/995 34.44/32.68 c 487644[?] -32130[?] 32054[?] is mandatory 34.44/32.68 c qxplain 990/994 34.74/32.97 c qxplain 993/994 35.04/33.26 c qxplain 994/994 35.34/33.55 c 487645[?] -34228[?] 34152[?] is mandatory 35.34/33.55 c qxplain 993/993 35.64/33.85 c 487646[?] -36326[?] 36250[?] is mandatory 35.64/33.85 c qxplain 990/992 35.94/34.14 c qxplain 992/992 36.24/34.43 c 487647[?] -38424[?] 38348[?] is mandatory 36.24/34.43 c qxplain 990/991 36.24/34.46 c qxplain 981/989 36.34/34.50 c qxplain 945/980 36.34/34.53 c qxplain 872/944 36.34/34.57 c qxplain 581/871 36.44/34.60 c qxplain 0/580 36.63/34.89 c qxplain 291/580 36.93/35.19 c qxplain 436/580 37.24/35.48 c qxplain 509/580 37.54/35.77 c qxplain 545/580 37.64/35.81 c qxplain 509/544 37.94/36.10 c qxplain 527/544 38.14/36.39 c qxplain 536/544 38.24/36.42 c qxplain 527/535 38.54/36.71 c qxplain 532/535 38.84/37.01 c qxplain 534/535 38.84/37.04 c qxplain 532/533 39.13/37.34 c qxplain 533/533 39.13/37.37 c qxplain 532/532 39.43/37.66 c 814958[?] 40461[?] -41290[?] 40460[?] is mandatory 39.43/37.66 c qxplain 527/531 39.73/37.95 c qxplain 530/531 40.03/38.24 c qxplain 531/531 40.34/38.52 c 815379[?] -30801[?] 29608[?] 29633[?] is mandatory 40.34/38.52 c qxplain 530/530 40.34/38.56 c qxplain 527/529 40.63/38.84 c qxplain 529/529 40.63/38.88 c qxplain 527/528 40.93/39.16 c qxplain 528/528 41.23/39.45 c 821490[?] 40488[?] -41305[?] 40487[?] is mandatory 41.23/39.45 c qxplain 527/527 41.54/39.74 c 821911[?] -30816[?] 30000[?] 29999[?] is mandatory 41.54/39.74 c qxplain 509/526 41.83/40.03 c qxplain 518/526 42.78/40.68 c qxplain 523/526 43.08/40.97 c qxplain 525/526 43.38/41.27 c qxplain 526/526 43.48/41.30 c qxplain 525/525 43.78/41.60 c 828727[?] -30832[?] 30032[?] 30031[?] is mandatory 43.78/41.60 c qxplain 523/524 43.99/41.89 c qxplain 524/524 44.28/42.18 c 828728[?] -32930[?] 32129[?] 32130[?] is mandatory 44.28/42.18 c qxplain 523/523 44.58/42.47 c 828729[?] -35028[?] 34227[?] 34228[?] is mandatory 44.58/42.47 c qxplain 518/522 44.88/42.76 c qxplain 521/522 45.19/43.04 c qxplain 522/522 45.48/43.33 c 828730[?] -37126[?] 36325[?] 36326[?] is mandatory 45.48/43.33 c qxplain 521/521 45.78/43.62 c 828731[?] -39224[?] 38423[?] 38424[?] is mandatory 45.78/43.62 c qxplain 518/520 45.78/43.66 c qxplain 509/517 45.78/43.69 c qxplain 436/508 45.88/43.73 c qxplain 291/435 45.88/43.76 c qxplain 0/290 46.19/44.05 c qxplain 146/290 46.48/44.35 c qxplain 219/290 46.78/44.64 c qxplain 255/290 46.78/44.67 c qxplain 219/254 47.08/44.96 c qxplain 237/254 47.39/45.24 c qxplain 246/254 47.39/45.28 c qxplain 237/245 47.68/45.56 c qxplain 242/245 47.68/45.59 c qxplain 237/241 47.98/45.88 c qxplain 240/241 48.08/45.91 c qxplain 237/239 48.39/46.20 c qxplain 239/239 48.39/46.24 c qxplain 237/238 48.68/46.53 c qxplain 238/238 48.98/46.83 c 1035910[?] 41305[?] -41789[?] is mandatory 48.98/46.83 c qxplain 237/237 48.98/46.87 c qxplain 219/236 49.08/46.90 c qxplain 146/218 49.28/47.19 c qxplain 183/218 49.38/47.22 c qxplain 146/182 49.68/47.52 c qxplain 165/182 49.68/47.55 c qxplain 146/164 49.98/47.85 c qxplain 156/164 50.28/48.14 c qxplain 161/164 50.59/48.43 c qxplain 163/164 50.59/48.46 c qxplain 161/162 50.88/48.76 c qxplain 162/162 51.18/49.04 c 1056637[?] -31372[?] 30832[?] is mandatory 51.18/49.04 c qxplain 161/161 51.48/49.33 c 1056638[?] -33470[?] 32930[?] is mandatory 51.48/49.33 c qxplain 156/160 52.43/49.98 c qxplain 159/160 52.73/50.27 c qxplain 160/160 53.03/50.56 c 1056639[?] -35568[?] 35028[?] is mandatory 53.03/50.56 c qxplain 159/159 53.34/50.85 c 1056640[?] -37666[?] 37126[?] is mandatory 53.34/50.85 c qxplain 156/158 53.63/51.15 c qxplain 158/158 53.93/51.44 c 1056641[?] -39764[?] 39224[?] is mandatory 53.93/51.44 c qxplain 156/157 53.93/51.47 c qxplain 146/155 54.23/51.76 c qxplain 151/155 54.53/52.05 c qxplain 154/155 54.53/52.08 c qxplain 151/153 54.83/52.37 c qxplain 153/153 55.13/52.66 c 29487[?] 1059193[?] is mandatory 55.13/52.66 c qxplain 151/152 55.44/52.95 c qxplain 152/152 55.73/53.24 c 39977[?] 1059198[?] is mandatory 55.73/53.24 c qxplain 151/151 55.73/53.28 c qxplain 146/150 56.03/53.57 c qxplain 149/150 56.13/53.61 c qxplain 146/148 56.33/53.90 c qxplain 148/148 56.64/54.19 c 29488[?] 1059214[?] is mandatory 56.64/54.19 c qxplain 146/147 56.93/54.48 c qxplain 147/147 57.23/54.77 c 39978[?] 1059219[?] is mandatory 57.23/54.77 c qxplain 146/146 57.53/55.06 c 29489[?] 1059235[?] is mandatory 57.53/55.06 c qxplain 0/145 57.83/55.35 c qxplain 73/145 58.13/55.64 c qxplain 110/145 58.43/55.94 c qxplain 128/145 58.74/56.23 c qxplain 137/145 59.03/56.52 c qxplain 142/145 59.33/56.81 c qxplain 144/145 59.63/57.10 c qxplain 145/145 59.63/57.14 c qxplain 144/144 59.94/57.43 c 29497[?] 1059403[?] is mandatory 59.94/57.43 c qxplain 142/143 59.94/57.47 c qxplain 137/141 60.23/57.76 c qxplain 140/141 60.23/57.79 c qxplain 137/139 60.53/58.07 c qxplain 139/139 60.63/58.11 c qxplain 137/138 60.83/58.39 c qxplain 138/138 61.13/58.68 c 29508[?] 1059634[?] is mandatory 61.13/58.68 c qxplain 137/137 61.23/58.72 c qxplain 128/136 61.53/59.00 c qxplain 133/136 62.48/59.65 c qxplain 135/136 62.48/59.69 c qxplain 133/134 62.78/59.98 c qxplain 134/134 62.88/60.01 c qxplain 133/133 63.18/60.30 c 29509[?] 1059655[?] is mandatory 63.18/60.30 c qxplain 128/132 63.48/60.60 c qxplain 131/132 63.68/60.89 c qxplain 132/132 63.98/61.18 c -31607[?] 1059656[?] is mandatory 63.98/61.18 c qxplain 131/131 64.28/61.47 c -33705[?] 1059657[?] is mandatory 64.28/61.47 c qxplain 128/130 64.58/61.77 c qxplain 130/130 64.88/62.06 c -35803[?] 1059658[?] is mandatory 64.88/62.06 c qxplain 128/129 65.18/62.35 c qxplain 129/129 65.48/62.64 c -37901[?] 1059659[?] is mandatory 65.48/62.64 c qxplain 128/128 65.48/62.67 c qxplain 110/127 65.78/62.96 c qxplain 119/127 65.78/63.00 c qxplain 110/118 66.08/63.29 c qxplain 115/118 66.38/63.59 c qxplain 117/118 66.48/63.63 c qxplain 115/116 66.78/63.92 c qxplain 116/116 67.08/64.20 c 42114[?] 1060018[?] is mandatory 67.08/64.20 c qxplain 115/115 67.08/64.24 c qxplain 110/114 67.08/64.27 c qxplain 73/109 67.18/64.31 c qxplain 0/72 67.38/64.60 c qxplain 37/72 67.48/64.63 c qxplain 0/36 67.78/64.92 c qxplain 19/36 67.78/64.95 c qxplain 0/18 68.08/65.24 c qxplain 10/18 68.08/65.27 c qxplain 0/9 68.38/65.56 c qxplain 5/9 68.68/65.86 c qxplain 8/9 68.98/66.15 c qxplain 9/9 69.28/66.44 c 1063401[?] -33560[?] 31372[?] is mandatory 69.28/66.44 c qxplain 8/8 69.28/66.47 c qxplain 5/7 69.38/66.51 c qxplain 0/4 70.35/67.19 c qxplain 3/4 70.66/67.48 c qxplain 4/4 70.95/67.77 c 1063581[?] -35658[?] 33470[?] is mandatory 70.95/67.77 c qxplain 3/3 71.25/68.07 c 1063761[?] -37756[?] 35568[?] is mandatory 71.25/68.07 c qxplain 0/2 71.55/68.36 c qxplain 2/2 71.86/68.64 c 1063941[?] -39854[?] 37666[?] is mandatory 71.86/68.64 c qxplain 0/1 72.15/68.93 c qxplain 1/1 72.45/69.22 c 1064121[?] -41952[?] 39764[?] is mandatory 72.45/69.22 c qxplain 0/0 72.75/69.51 c 1064155[?] 41789[?] -43977[?] is mandatory 73.41/70.00 c Size of the MUS: 66 73.41/70.00 c Unsat core computation wall clock time (in seconds) : 68.259 73.41/70.00 c starts : 205 73.41/70.00 c conflicts : 0 73.41/70.00 c decisions : 61001010 73.41/70.00 c propagations : 225180798 73.41/70.00 c inspects : 13383048 73.41/70.00 c shortcuts : 0 73.41/70.00 c learnt literals : 0 73.41/70.00 c learnt binary clauses : 0 73.41/70.00 c learnt ternary clauses : 0 73.41/70.00 c learnt constraints : 0 73.41/70.00 c ignored constraints : 0 73.41/70.00 c root simplifications : 0 73.41/70.00 c removed literals (reason simplification) : 0 73.41/70.00 c reason swapping (by a shorter reason) : 0 73.41/70.00 c Calls to reduceDB : 0 73.41/70.00 c speed (assignments/second) : 2.886933307692308E8 73.41/70.00 c non guided choices 61001010 73.41/70.00 c learnt constraints type 73.41/70.00 c constraints type 73.41/70.00 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 784388 73.41/70.00 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 11512 73.41/70.00 s UNSATISFIABLE 73.41/70.00 v 11380 34669 45318 45597 49294 49573 54117 58093 65193 122703 157067 157352 157353 157354 157355 157493 163320 163746 174822 175106 175527 175953 189159 189302 189303 189304 189305 189585 189728 189729 189730 189731 517042 517463 523574 523995 530811 530812 530813 530814 530815 737994 758721 758722 758723 758724 758725 761277 761282 761298 761303 761319 761487 761718 761739 761740 761741 761742 761743 762102 765485 765665 765845 766025 766205 766239 0 73.41/70.00 c Total wall clock time (in seconds) : 69.905
OK 66
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-3493384-1307799075/watcher-3493384-1307799075 -o /tmp/evaluation-result-3493384-1307799075/solver-3493384-1307799075 -C 1800 -W 1850 -M 7680 java -Xms6000m -Xmx6000m -jar sat4j-mus-v20110206.jar HOME/instance-3493384-1307799075.cnf running on 2 cores: 0,2 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1850 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.43 1.14 0.70 6/220 30933 /proc/meminfo: memFree=31037348/32951124 swapFree=67076880/67111528 [pid=30933] ppid=30931 vsize=11804 CPUtime=0 cores=0,2 /proc/30933/stat : 30933 (runsolver) R 30931 30933 30365 0 -1 4202560 46 0 0 0 0 0 0 0 22 0 1 0 891505261 12087296 55 33554432000 4194304 5436572 140733717113776 18446744073709551615 5057063 0 0 4096 24578 0 0 0 17 0 0 0 0 /proc/30933/statm: 2951 55 36 304 0 2643 0 [startup+0.105024 s] /proc/loadavg: 1.43 1.14 0.70 6/220 30933 /proc/meminfo: memFree=31037348/32951124 swapFree=67076880/67111528 [pid=30933] ppid=30931 vsize=6364156 CPUtime=0.09 cores=0,2 /proc/30933/stat : 30933 (java) S 30931 30933 30365 0 -1 4202496 9197 0 1 0 8 1 0 0 22 0 18 0 891505261 6516895744 8892 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/30933/statm: 1591039 8892 1914 9 0 1581777 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6364156 [startup+0.225571 s] /proc/loadavg: 1.43 1.14 0.70 6/220 30933 /proc/meminfo: memFree=31037348/32951124 swapFree=67076880/67111528 [pid=30933] ppid=30931 vsize=6430608 CPUtime=0.3 cores=0,2 /proc/30933/stat : 30933 (java) S 30931 30933 30365 0 -1 4202496 17596 0 1 0 28 2 0 0 22 0 18 0 891505261 6584942592 17183 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/30933/statm: 1607652 17183 2190 9 0 1598390 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 6430608 [startup+0.314019 s] /proc/loadavg: 1.43 1.14 0.70 6/220 30933 /proc/meminfo: memFree=31037348/32951124 swapFree=67076880/67111528 [pid=30933] ppid=30931 vsize=6430764 CPUtime=0.48 cores=0,2 /proc/30933/stat : 30933 (java) S 30931 30933 30365 0 -1 4202496 25845 0 1 0 45 3 0 0 22 0 18 0 891505261 6585102336 25185 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/30933/statm: 1607691 25188 2196 9 0 1598429 0 Current children cumulated CPU time (s) 0.48 Current children cumulated vsize (KiB) 6430764 [startup+0.700954 s] /proc/loadavg: 1.43 1.14 0.70 6/220 30933 /proc/meminfo: memFree=31037348/32951124 swapFree=67076880/67111528 [pid=30933] ppid=30931 vsize=6430764 CPUtime=0.86 cores=0,2 /proc/30933/stat : 30933 (java) S 30931 30933 30365 0 -1 4202496 64988 0 1 0 79 7 0 0 22 0 18 0 891505261 6585102336 64328 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/30933/statm: 1607691 64328 2196 9 0 1598429 0 Current children cumulated CPU time (s) 0.86 Current children cumulated vsize (KiB) 6430764 [startup+1.50075 s] /proc/loadavg: 1.43 1.14 0.70 5/239 30952 /proc/meminfo: memFree=30019700/32951124 swapFree=67076880/67111528 [pid=30933] ppid=30931 vsize=6430912 CPUtime=1.75 cores=0,2 /proc/30933/stat : 30933 (java) S 30931 30933 30365 0 -1 4202496 118055 0 1 0 161 14 0 0 22 0 18 0 891505261 6585253888 117323 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/30933/statm: 1607728 117323 2211 9 0 1598466 0 [pid=30933/tid=30935] ppid=30931 vsize=6430912 CPUtime=1.37 cores=0,2 /proc/30933/task/30935/stat : 30935 (java) R 30931 30933 30365 0 -1 4202560 114905 0 1 0 124 13 0 0 18 0 18 0 891505262 6585253888 117323 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 46912505654843 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=30933/tid=30936] ppid=30931 vsize=6430912 CPUtime=0 cores=0,2 /proc/30933/task/30936/stat : 30936 (java) S 30931 30933 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891505263 6585253888 117323 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 212699491225 0 4 0 16800975 18446604453926299584 0 0 -1 2 0 0 0 [pid=30933/tid=30937] ppid=30931 vsize=6430912 CPUtime=0 cores=0,2 /proc/30933/task/30937/stat : 30937 (java) S 30931 30933 30365 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 891505263 6585253888 117323 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 212699491225 0 4 0 16800975 18446604453926299584 0 0 -1 2 0 0 0 [pid=30933/tid=30938] ppid=30931 vsize=6430912 CPUtime=0 cores=0,2 /proc/30933/task/30938/stat : 30938 (java) S 30931 30933 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891505263 6585253888 117323 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 212699491225 0 4 0 16800975 18446604453926299584 0 0 -1 2 0 0 0 [pid=30933/tid=30939] ppid=30931 vsize=6430912 CPUtime=0 cores=0,2 /proc/30933/task/30939/stat : 30939 (java) S 30931 30933 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891505263 6585253888 117323 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 212699491225 0 4 0 16800975 18446604453926299584 0 0 -1 2 0 0 0 [pid=30933/tid=30940] ppid=30931 vsize=6430912 CPUtime=0 cores=0,2 /proc/30933/task/30940/stat : 30940 (java) S 30931 30933 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891505263 6585253888 117323 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 212699491225 0 4 0 16800975 18446604453926299584 0 0 -1 2 0 0 0 [pid=30933/tid=30941] ppid=30931 vsize=6430912 CPUtime=0 cores=0,2 /proc/30933/task/30941/stat : 30941 (java) S 30931 30933 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891505263 6585253888 117323 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 212699491225 0 4 0 16800975 18446604453926299584 0 0 -1 2 0 0 0 [pid=30933/tid=30942] ppid=30931 vsize=6430912 CPUtime=0 cores=0,2 /proc/30933/task/30942/stat : 30942 (java) S 30931 30933 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891505263 6585253888 117323 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 212699491225 0 4 0 16800975 18446604453926299584 0 0 -1 2 0 0 0 [pid=30933/tid=30943] ppid=30931 vsize=6430912 CPUtime=0 cores=0,2 /proc/30933/task/30943/stat : 30943 (java) S 30931 30933 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891505263 6585253888 117323 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 212699491225 0 4 0 16800975 18446604453926299584 0 0 -1 2 0 0 0 [pid=30933/tid=30944] ppid=30931 vsize=6430912 CPUtime=0 cores=0,2 /proc/30933/task/30944/stat : 30944 (java) S 30931 30933 30365 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 18 0 891505264 6585253888 117323 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 212699491840 0 0 0 16800975 18446604453926299584 0 0 -1 2 0 0 0 [pid=30933/tid=30945] ppid=30931 vsize=6430912 CPUtime=0 cores=0,2 /proc/30933/task/30945/stat : 30945 (java) S 30931 30933 30365 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 891505265 6585253888 117323 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 212699491225 0 4 0 16800975 18446604453926299584 0 0 -1 2 0 0 0 [pid=30933/tid=30946] ppid=30931 vsize=6430912 CPUtime=0 cores=0,2 /proc/30933/task/30946/stat : 30946 (java) S 30931 30933 30365 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 891505265 6585253888 117323 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 212699491225 0 4 0 16800975 18446604453926299584 0 0 -1 2 0 0 0 [pid=30933/tid=30947] ppid=30931 vsize=6430912 CPUtime=0 cores=0,2 /proc/30933/task/30947/stat : 30947 (java) S 30931 30933 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891505267 6585253888 117323 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 212699498929 0 4 0 16800975 18446604453926299584 0 0 -1 2 0 0 0 [pid=30933/tid=30948] ppid=30931 vsize=6430912 CPUtime=0.19 cores=0,2 /proc/30933/task/30948/stat : 30948 (java) S 30931 30933 30365 0 -1 4202560 385 0 0 0 19 0 0 0 16 0 18 0 891505267 6585253888 117323 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 212699491225 0 4 0 16800975 18446604453926299584 0 0 -1 0 0 0 0 [pid=30933/tid=30949] ppid=30931 vsize=6430912 CPUtime=0.16 cores=0,2 /proc/30933/task/30949/stat : 30949 (java) S 30931 30933 30365 0 -1 4202560 1611 0 0 0 16 0 0 0 16 0 18 0 891505267 6585253888 117323 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 212699491225 0 4 0 16800975 18446604453926299584 0 0 -1 2 0 0 0 [pid=30933/tid=30950] ppid=30931 vsize=6430912 CPUtime=0 cores=0,2 /proc/30933/task/30950/stat : 30950 (java) S 30931 30933 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891505267 6585253888 117323 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 212699491225 0 4 0 16800975 18446604453926299584 0 0 -1 2 0 0 0 [pid=30933/tid=30951] ppid=30931 vsize=6430912 CPUtime=0 cores=0,2 /proc/30933/task/30951/stat : 30951 (java) S 30931 30933 30365 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 891505267 6585253888 117323 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 212699491840 0 4 0 16800975 18446604453926299584 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 1.75 Current children cumulated vsize (KiB) 6430912 [startup+3.10146 s] /proc/loadavg: 1.43 1.14 0.70 6/259 30984 /proc/meminfo: memFree=29661932/32951124 swapFree=67076880/67111528 [pid=30933] ppid=30931 vsize=6431776 CPUtime=3.47 cores=0,2 /proc/30933/stat : 30933 (java) S 30931 30933 30365 0 -1 4202496 145271 0 1 0 329 18 0 0 22 0 18 0 891505261 6586138624 144175 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/30933/statm: 1607944 144175 2223 9 0 1598682 0 [pid=30933/tid=30935] ppid=30931 vsize=6431776 CPUtime=2.86 cores=0,2 /proc/30933/task/30935/stat : 30935 (java) R 30931 30933 30365 0 -1 4202560 141610 0 1 0 269 17 0 0 19 0 18 0 891505262 6586138624 144175 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 46912505655219 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=30933/tid=30936] ppid=30931 vsize=6431776 CPUtime=0 cores=0,2 /proc/30933/task/30936/stat : 30936 (java) S 30931 30933 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891505263 6586138624 144175 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 212699491225 0 4 0 16800975 18446604453926299584 0 0 -1 2 0 0 0 [pid=30933/tid=30937] ppid=30931 vsize=6431776 CPUtime=0 cores=0,2 /proc/30933/task/30937/stat : 30937 (java) S 30931 30933 30365 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 891505263 6586138624 144175 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 212699491225 0 4 0 16800975 18446604453926299584 0 0 -1 2 0 0 0 [pid=30933/tid=30938] ppid=30931 vsize=6431776 CPUtime=0 cores=0,2 /proc/30933/task/30938/stat : 30938 (java) S 30931 30933 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891505263 6586138624 144175 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 212699491225 0 4 0 16800975 18446604453926299584 0 0 -1 2 0 0 0 [pid=30933/tid=30939] ppid=30931 vsize=6431776 CPUtime=0 cores=0,2 /proc/30933/task/30939/stat : 30939 (java) S 30931 30933 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891505263 6586138624 144175 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 212699491225 0 4 0 16800975 18446604453926299584 0 0 -1 2 0 0 0 [pid=30933/tid=30940] ppid=30931 vsize=6431776 CPUtime=0 cores=0,2 /proc/30933/task/30940/stat : 30940 (java) S 30931 30933 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891505263 6586138624 144175 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 212699491225 0 4 0 16800975 18446604453926299584 0 0 -1 2 0 0 0 [pid=30933/tid=30941] ppid=30931 vsize=6431776 CPUtime=0 cores=0,2 /proc/30933/task/30941/stat : 30941 (java) S 30931 30933 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891505263 6586138624 144175 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 212699491225 0 4 0 16800975 18446604453926299584 0 0 -1 2 0 0 0 [pid=30933/tid=30942] ppid=30931 vsize=6431776 CPUtime=0 cores=0,2 /proc/30933/task/30942/stat : 30942 (java) S 30931 30933 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891505263 6586138624 144175 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 212699491225 0 4 0 16800975 18446604453926299584 0 0 -1 2 0 0 0 [pid=30933/tid=30943] ppid=30931 vsize=6431776 CPUtime=0 cores=0,2 /proc/30933/task/30943/stat : 30943 (java) S 30931 30933 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891505263 6586138624 144175 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 212699491225 0 4 0 16800975 18446604453926299584 0 0 -1 2 0 0 0 [pid=30933/tid=30944] ppid=30931 vsize=6431776 CPUtime=0 cores=0,2 /proc/30933/task/30944/stat : 30944 (java) S 30931 30933 30365 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 18 0 891505264 6586138624 144175 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 212699491840 0 0 0 16800975 18446604453926299584 0 0 -1 2 0 0 0 [pid=30933/tid=30945] ppid=30931 vsize=6431776 CPUtime=0 cores=0,2 /proc/30933/task/30945/stat : 30945 (java) S 30931 30933 30365 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 891505265 6586138624 144175 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 212699491225 0 4 0 16800975 18446604453926299584 0 0 -1 2 0 0 0 [pid=30933/tid=30946] ppid=30931 vsize=6431776 CPUtime=0 cores=0,2 /proc/30933/task/30946/stat : 30946 (java) S 30931 30933 30365 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 891505265 6586138624 144175 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 212699491225 0 4 0 16800975 18446604453926299584 0 0 -1 2 0 0 0 [pid=30933/tid=30947] ppid=30931 vsize=6431776 CPUtime=0 cores=0,2 /proc/30933/task/30947/stat : 30947 (java) S 30931 30933 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891505267 6586138624 144175 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 212699498929 0 4 0 16800975 18446604453926299584 0 0 -1 2 0 0 0 [pid=30933/tid=30948] ppid=30931 vsize=6431776 CPUtime=0.31 cores=0,2 /proc/30933/task/30948/stat : 30948 (java) S 30931 30933 30365 0 -1 4202560 440 0 0 0 31 0 0 0 15 0 18 0 891505267 6586138624 144175 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 212699491225 0 4 0 16800975 18446604453926299584 0 0 -1 0 0 0 0 [pid=30933/tid=30949] ppid=30931 vsize=6431776 CPUtime=0.27 cores=0,2 /proc/30933/task/30949/stat : 30949 (java) S 30931 30933 30365 0 -1 4202560 2057 0 0 0 27 0 0 0 15 0 18 0 891505267 6586138624 144175 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 212699491225 0 4 0 16800975 18446604453926299584 0 0 -1 2 0 0 0 [pid=30933/tid=30950] ppid=30931 vsize=6431776 CPUtime=0 cores=0,2 /proc/30933/task/30950/stat : 30950 (java) S 30931 30933 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891505267 6586138624 144175 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 212699491225 0 4 0 16800975 18446604453926299584 0 0 -1 2 0 0 0 [pid=30933/tid=30951] ppid=30931 vsize=6431776 CPUtime=0 cores=0,2 /proc/30933/task/30951/stat : 30951 (java) S 30931 30933 30365 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 891505267 6586138624 144175 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 212699491840 0 4 0 16800975 18446604453926299584 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 3.47 Current children cumulated vsize (KiB) 6431776 [startup+6.30088 s] /proc/loadavg: 1.64 1.19 0.72 5/258 31011 /proc/meminfo: memFree=27310020/32951124 swapFree=67076880/67111528 [pid=30933] ppid=30931 vsize=6435860 CPUtime=6.77 cores=0,2 /proc/30933/stat : 30933 (java) S 30931 30933 30365 0 -1 4202496 237673 0 1 0 649 28 0 0 22 0 18 0 891505261 6590320640 235537 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/30933/statm: 1608965 235537 2228 9 0 1599703 0 [pid=30933/tid=30935] ppid=30931 vsize=6435860 CPUtime=6.01 cores=0,2 /proc/30933/task/30935/stat : 30935 (java) R 30931 30933 30365 0 -1 4202560 232310 0 1 0 574 27 0 0 25 0 18 0 891505262 6590320640 235537 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 46912505655219 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=30933/tid=30936] ppid=30931 vsize=6435860 CPUtime=0 cores=0,2 /proc/30933/task/30936/stat : 30936 (java) S 30931 30933 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891505263 6590320640 235537 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 212699491225 0 4 0 16800975 18446604453926299584 0 0 -1 2 0 0 0 [pid=30933/tid=30937] ppid=30931 vsize=6435860 CPUtime=0 cores=0,2 /proc/30933/task/30937/stat : 30937 (java) S 30931 30933 30365 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 891505263 6590320640 235537 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 212699491225 0 4 0 16800975 18446604453926299584 0 0 -1 2 0 0 0 [pid=30933/tid=30938] ppid=30931 vsize=6435860 CPUtime=0 cores=0,2 /proc/30933/task/30938/stat : 30938 (java) S 30931 30933 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891505263 6590320640 235537 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 212699491225 0 4 0 16800975 18446604453926299584 0 0 -1 2 0 0 0 [pid=30933/tid=30939] ppid=30931 vsize=6435860 CPUtime=0 cores=0,2 /proc/30933/task/30939/stat : 30939 (java) S 30931 30933 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891505263 6590320640 235537 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 212699491225 0 4 0 16800975 18446604453926299584 0 0 -1 2 0 0 0 [pid=30933/tid=30940] ppid=30931 vsize=6435860 CPUtime=0 cores=0,2 /proc/30933/task/30940/stat : 30940 (java) S 30931 30933 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891505263 6590320640 235537 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 212699491225 0 4 0 16800975 18446604453926299584 0 0 -1 2 0 0 0 [pid=30933/tid=30941] ppid=30931 vsize=6435860 CPUtime=0 cores=0,2 /proc/30933/task/30941/stat : 30941 (java) S 30931 30933 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891505263 6590320640 235537 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 212699491225 0 4 0 16800975 18446604453926299584 0 0 -1 2 0 0 0 [pid=30933/tid=30942] ppid=30931 vsize=6435860 CPUtime=0 cores=0,2 /proc/30933/task/30942/stat : 30942 (java) S 30931 30933 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891505263 6590320640 235537 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 212699491225 0 4 0 16800975 18446604453926299584 0 0 -1 2 0 0 0 [pid=30933/tid=30943] ppid=30931 vsize=6435860 CPUtime=0 cores=0,2 /proc/30933/task/30943/stat : 30943 (java) S 30931 30933 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891505263 6590320640 235537 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 212699491225 0 4 0 16800975 18446604453926299584 0 0 -1 2 0 0 0 [pid=30933/tid=30944] ppid=30931 vsize=6435860 CPUtime=0 cores=0,2 /proc/30933/task/30944/stat : 30944 (java) S 30931 30933 30365 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 18 0 891505264 6590320640 235537 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 212699491840 0 0 0 16800975 18446604453926299584 0 0 -1 2 0 0 0 [pid=30933/tid=30945] ppid=30931 vsize=6435860 CPUtime=0 cores=0,2 /proc/30933/task/30945/stat : 30945 (java) S 30931 30933 30365 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 891505265 6590320640 235537 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 212699491225 0 4 0 16800975 18446604453926299584 0 0 -1 2 0 0 0 [pid=30933/tid=30946] ppid=30931 vsize=6435860 CPUtime=0 cores=0,2 /proc/30933/task/30946/stat : 30946 (java) S 30931 30933 30365 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 891505265 6590320640 235537 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 212699491225 0 4 0 16800975 18446604453926299584 0 0 -1 2 0 0 0 [pid=30933/tid=30947] ppid=30931 vsize=6435860 CPUtime=0 cores=0,2 /proc/30933/task/30947/stat : 30947 (java) S 30931 30933 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891505267 6590320640 235537 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 212699498929 0 4 0 16800975 18446604453926299584 0 0 -1 2 0 0 0 [pid=30933/tid=30948] ppid=30931 vsize=6435860 CPUtime=0.47 cores=0,2 /proc/30933/task/30948/stat : 30948 (java) S 30931 30933 30365 0 -1 4202560 2134 0 0 0 47 0 0 0 15 0 18 0 891505267 6590320640 235537 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 212699491225 0 4 0 16800975 18446604453926299584 0 0 -1 0 0 0 0 [pid=30933/tid=30949] ppid=30931 vsize=6435860 CPUtime=0.27 cores=0,2 /proc/30933/task/30949/stat : 30949 (java) S 30931 30933 30365 0 -1 4202560 2057 0 0 0 27 0 0 0 15 0 18 0 891505267 6590320640 235537 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 212699491225 0 4 0 16800975 18446604453926299584 0 0 -1 2 0 0 0 [pid=30933/tid=30950] ppid=30931 vsize=6435860 CPUtime=0 cores=0,2 /proc/30933/task/30950/stat : 30950 (java) S 30931 30933 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891505267 6590320640 235537 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 212699491225 0 4 0 16800975 18446604453926299584 0 0 -1 2 0 0 0 [pid=30933/tid=30951] ppid=30931 vsize=6435860 CPUtime=0 cores=0,2 /proc/30933/task/30951/stat : 30951 (java) S 30931 30933 30365 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 18 0 891505267 6590320640 235537 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 212699491840 0 4 0 16800975 18446604453926299584 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 6.77 Current children cumulated vsize (KiB) 6435860 [startup+12.7007 s] /proc/loadavg: 1.99 1.27 0.75 6/260 31068 /proc/meminfo: memFree=22726532/32951124 swapFree=67076880/67111528 [pid=30933] ppid=30931 vsize=6435164 CPUtime=13.83 cores=0,2 /proc/30933/stat : 30933 (java) S 30931 30933 30365 0 -1 4202496 497975 0 1 0 1324 59 0 0 22 0 19 0 891505261 6589607936 494117 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/30933/statm: 1608791 494117 2240 9 0 1599529 0 [pid=30933/tid=30935] ppid=30931 vsize=6435164 CPUtime=11.76 cores=0,2 ################ # More data... # ################ [pid=30933/tid=30938] ppid=30931 vsize=6435164 CPUtime=0.23 cores=0,2 /proc/30933/task/30938/stat : 30938 (java) S 30931 30933 30365 0 -1 4202560 17407 0 0 0 22 1 0 0 15 0 18 0 891505263 6589607936 556724 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 212699491225 0 4 0 16800975 18446604453926299584 0 0 -1 0 0 0 0 [pid=30933/tid=30939] ppid=30931 vsize=6435164 CPUtime=0.61 cores=0,2 /proc/30933/task/30939/stat : 30939 (java) S 30931 30933 30365 0 -1 4202560 18035 0 0 0 58 3 0 0 16 0 18 0 891505263 6589607936 556724 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 212699491225 0 4 0 16800975 18446604453926299584 0 0 -1 2 0 0 0 [pid=30933/tid=30940] ppid=30931 vsize=6435164 CPUtime=0.62 cores=0,2 /proc/30933/task/30940/stat : 30940 (java) S 30931 30933 30365 0 -1 4202560 35990 0 0 0 58 4 0 0 18 0 18 0 891505263 6589607936 556724 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 212699491225 0 4 0 16800975 18446604453926299584 0 0 -1 2 0 0 0 [pid=30933/tid=30941] ppid=30931 vsize=6435164 CPUtime=0.89 cores=0,2 /proc/30933/task/30941/stat : 30941 (java) S 30931 30933 30365 0 -1 4202560 67 0 0 0 89 0 0 0 16 0 18 0 891505263 6589607936 556724 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 212699491225 0 4 0 16800975 18446604453926299584 0 0 -1 0 0 0 0 [pid=30933/tid=30942] ppid=30931 vsize=6435164 CPUtime=0.14 cores=0,2 /proc/30933/task/30942/stat : 30942 (java) S 30931 30933 30365 0 -1 4202560 8 0 0 0 14 0 0 0 15 0 18 0 891505263 6589607936 556724 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 212699491225 0 4 0 16800975 18446604453926299584 0 0 -1 0 0 0 0 [pid=30933/tid=30943] ppid=30931 vsize=6435164 CPUtime=0.46 cores=0,2 /proc/30933/task/30943/stat : 30943 (java) S 30931 30933 30365 0 -1 4202560 30320 0 0 0 43 3 0 0 15 0 18 0 891505263 6589607936 556724 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 212699491225 0 4 0 16800975 18446604453926299584 0 0 -1 0 0 0 0 [pid=30933/tid=30944] ppid=30931 vsize=6435164 CPUtime=0 cores=0,2 /proc/30933/task/30944/stat : 30944 (java) S 30931 30933 30365 0 -1 4202560 27 0 0 0 0 0 0 0 15 0 18 0 891505264 6589607936 556724 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 212699491840 0 0 0 16800975 18446604453926299584 0 0 -1 2 0 0 0 [pid=30933/tid=30945] ppid=30931 vsize=6435164 CPUtime=0 cores=0,2 /proc/30933/task/30945/stat : 30945 (java) S 30931 30933 30365 0 -1 4202560 19 0 0 0 0 0 0 0 15 0 18 0 891505265 6589607936 556724 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 212699491225 0 4 0 16800975 18446604453926299584 0 0 -1 2 0 0 0 [pid=30933/tid=30946] ppid=30931 vsize=6435164 CPUtime=0 cores=0,2 /proc/30933/task/30946/stat : 30946 (java) S 30931 30933 30365 0 -1 4202560 48 0 0 0 0 0 0 0 15 0 18 0 891505265 6589607936 556724 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 212699491225 0 4 0 16800975 18446604453926299584 0 0 -1 2 0 0 0 [pid=30933/tid=30947] ppid=30931 vsize=6435164 CPUtime=0 cores=0,2 /proc/30933/task/30947/stat : 30947 (java) S 30931 30933 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891505267 6589607936 556724 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 212699498929 0 4 0 16800975 18446604453926299584 0 0 -1 2 0 0 0 [pid=30933/tid=30948] ppid=30931 vsize=6435164 CPUtime=0.51 cores=0,2 /proc/30933/task/30948/stat : 30948 (java) S 30931 30933 30365 0 -1 4202560 2499 0 0 0 51 0 0 0 16 0 18 0 891505267 6589607936 556724 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 212699491225 0 4 0 16800975 18446604453926299584 0 0 -1 0 0 0 0 [pid=30933/tid=30949] ppid=30931 vsize=6435164 CPUtime=0.27 cores=0,2 /proc/30933/task/30949/stat : 30949 (java) S 30931 30933 30365 0 -1 4202560 2057 0 0 0 27 0 0 0 15 0 18 0 891505267 6589607936 556724 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 212699491225 0 4 0 16800975 18446604453926299584 0 0 -1 2 0 0 0 [pid=30933/tid=30950] ppid=30931 vsize=6435164 CPUtime=0 cores=0,2 /proc/30933/task/30950/stat : 30950 (java) S 30931 30933 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891505267 6589607936 556724 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 212699491225 0 4 0 16800975 18446604453926299584 0 0 -1 2 0 0 0 [pid=30933/tid=30951] ppid=30931 vsize=6435164 CPUtime=0 cores=0,2 /proc/30933/task/30951/stat : 30951 (java) S 30931 30933 30365 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 18 0 891505267 6589607936 556724 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 212699491840 0 4 0 16800975 18446604453926299584 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 67.18 Current children cumulated vsize (KiB) 6435164 [startup+67.5077 s] /proc/loadavg: 3.36 1.77 0.95 5/260 1310 /proc/meminfo: memFree=23143832/32951124 swapFree=67076880/67111528 [pid=30933] ppid=30931 vsize=6435164 CPUtime=70.76 cores=0,2 /proc/30933/stat : 30933 (java) S 30931 30933 30365 0 -1 4202496 619810 0 1 0 7001 75 0 0 22 0 18 0 891505261 6589607936 615039 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/30933/statm: 1608791 615039 2240 9 0 1599529 0 [pid=30933/tid=30935] ppid=30931 vsize=6435164 CPUtime=64.36 cores=0,2 /proc/30933/task/30935/stat : 30935 (java) R 30931 30933 30365 0 -1 4202560 391591 0 1 0 6390 46 0 0 23 0 18 0 891505262 6589607936 615039 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 47147121753185 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=30933/tid=30936] ppid=30931 vsize=6435164 CPUtime=0.61 cores=0,2 /proc/30933/task/30936/stat : 30936 (java) S 30931 30933 30365 0 -1 4202560 26301 0 0 0 59 2 0 0 15 0 18 0 891505263 6589607936 615039 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 212699491225 0 4 0 16800975 18446604453926299584 0 0 -1 2 0 0 0 [pid=30933/tid=30937] ppid=30931 vsize=6435164 CPUtime=1.21 cores=0,2 /proc/30933/task/30937/stat : 30937 (java) S 30931 30933 30365 0 -1 4202560 39436 0 0 0 118 3 0 0 16 0 18 0 891505263 6589607936 615039 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 212699491225 0 4 0 16800975 18446604453926299584 0 0 -1 0 0 0 0 [pid=30933/tid=30938] ppid=30931 vsize=6435164 CPUtime=0.39 cores=0,2 /proc/30933/task/30938/stat : 30938 (java) S 30931 30933 30365 0 -1 4202560 30585 0 0 0 36 3 0 0 16 0 18 0 891505263 6589607936 615039 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 212699491225 0 4 0 16800975 18446604453926299584 0 0 -1 0 0 0 0 [pid=30933/tid=30939] ppid=30931 vsize=6435164 CPUtime=0.69 cores=0,2 /proc/30933/task/30939/stat : 30939 (java) S 30931 30933 30365 0 -1 4202560 22261 0 0 0 66 3 0 0 16 0 18 0 891505263 6589607936 615039 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 212699491225 0 4 0 16800975 18446604453926299584 0 0 -1 0 0 0 0 [pid=30933/tid=30940] ppid=30931 vsize=6435164 CPUtime=0.62 cores=0,2 /proc/30933/task/30940/stat : 30940 (java) S 30931 30933 30365 0 -1 4202560 35990 0 0 0 58 4 0 0 15 0 18 0 891505263 6589607936 615039 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 212699491225 0 4 0 16800975 18446604453926299584 0 0 -1 0 0 0 0 [pid=30933/tid=30941] ppid=30931 vsize=6435164 CPUtime=1.09 cores=0,2 /proc/30933/task/30941/stat : 30941 (java) S 30931 30933 30365 0 -1 4202560 19676 0 0 0 107 2 0 0 16 0 18 0 891505263 6589607936 615039 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 212699491225 0 4 0 16800975 18446604453926299584 0 0 -1 2 0 0 0 [pid=30933/tid=30942] ppid=30931 vsize=6435164 CPUtime=0.42 cores=0,2 /proc/30933/task/30942/stat : 30942 (java) S 30931 30933 30365 0 -1 4202560 17790 0 0 0 40 2 0 0 16 0 18 0 891505263 6589607936 615039 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 212699491225 0 4 0 16800975 18446604453926299584 0 0 -1 2 0 0 0 [pid=30933/tid=30943] ppid=30931 vsize=6435164 CPUtime=0.46 cores=0,2 /proc/30933/task/30943/stat : 30943 (java) S 30931 30933 30365 0 -1 4202560 30320 0 0 0 43 3 0 0 15 0 18 0 891505263 6589607936 615039 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 212699491225 0 4 0 16800975 18446604453926299584 0 0 -1 0 0 0 0 [pid=30933/tid=30944] ppid=30931 vsize=6435164 CPUtime=0 cores=0,2 /proc/30933/task/30944/stat : 30944 (java) S 30931 30933 30365 0 -1 4202560 28 0 0 0 0 0 0 0 15 0 18 0 891505264 6589607936 615039 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 212699491840 0 0 0 16800975 18446604453926299584 0 0 -1 2 0 0 0 [pid=30933/tid=30945] ppid=30931 vsize=6435164 CPUtime=0 cores=0,2 /proc/30933/task/30945/stat : 30945 (java) S 30931 30933 30365 0 -1 4202560 19 0 0 0 0 0 0 0 15 0 18 0 891505265 6589607936 615039 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 212699491225 0 4 0 16800975 18446604453926299584 0 0 -1 2 0 0 0 [pid=30933/tid=30946] ppid=30931 vsize=6435164 CPUtime=0 cores=0,2 /proc/30933/task/30946/stat : 30946 (java) S 30931 30933 30365 0 -1 4202560 48 0 0 0 0 0 0 0 15 0 18 0 891505265 6589607936 615039 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 212699491225 0 4 0 16800975 18446604453926299584 0 0 -1 2 0 0 0 [pid=30933/tid=30947] ppid=30931 vsize=6435164 CPUtime=0 cores=0,2 /proc/30933/task/30947/stat : 30947 (java) S 30931 30933 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891505267 6589607936 615039 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 212699498929 0 4 0 16800975 18446604453926299584 0 0 -1 2 0 0 0 [pid=30933/tid=30948] ppid=30931 vsize=6435164 CPUtime=0.51 cores=0,2 /proc/30933/task/30948/stat : 30948 (java) S 30931 30933 30365 0 -1 4202560 2499 0 0 0 51 0 0 0 16 0 18 0 891505267 6589607936 615039 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 212699491225 0 4 0 16800975 18446604453926299584 0 0 -1 0 0 0 0 [pid=30933/tid=30949] ppid=30931 vsize=6435164 CPUtime=0.27 cores=0,2 /proc/30933/task/30949/stat : 30949 (java) S 30931 30933 30365 0 -1 4202560 2057 0 0 0 27 0 0 0 15 0 18 0 891505267 6589607936 615039 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 212699491225 0 4 0 16800975 18446604453926299584 0 0 -1 2 0 0 0 [pid=30933/tid=30950] ppid=30931 vsize=6435164 CPUtime=0 cores=0,2 /proc/30933/task/30950/stat : 30950 (java) S 30931 30933 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891505267 6589607936 615039 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 212699491225 0 4 0 16800975 18446604453926299584 0 0 -1 2 0 0 0 [pid=30933/tid=30951] ppid=30931 vsize=6435164 CPUtime=0 cores=0,2 /proc/30933/task/30951/stat : 30951 (java) S 30931 30933 30365 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 18 0 891505267 6589607936 615039 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 212699491840 0 4 0 16800975 18446604453926299584 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 70.76 Current children cumulated vsize (KiB) 6435164 [startup+69.1015 s] /proc/loadavg: 3.36 1.77 0.95 6/260 1318 /proc/meminfo: memFree=23143336/32951124 swapFree=67076880/67111528 [pid=30933] ppid=30931 vsize=6435164 CPUtime=72.35 cores=0,2 /proc/30933/stat : 30933 (java) S 30931 30933 30365 0 -1 4202496 619810 0 1 0 7160 75 0 0 22 0 19 0 891505261 6589607936 615039 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/30933/statm: 1608791 615039 2240 9 0 1599529 0 [pid=30933/tid=30935] ppid=30931 vsize=6435164 CPUtime=65.96 cores=0,2 /proc/30933/task/30935/stat : 30935 (java) R 30931 30933 30365 0 -1 4202560 391591 0 1 0 6549 47 0 0 25 0 19 0 891505262 6589607936 615039 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 46912505670880 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=30933/tid=30936] ppid=30931 vsize=6435164 CPUtime=0.61 cores=0,2 /proc/30933/task/30936/stat : 30936 (java) S 30931 30933 30365 0 -1 4202560 26301 0 0 0 59 2 0 0 15 0 19 0 891505263 6589607936 615039 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 212699491225 0 4 0 16800975 18446604453926299584 0 0 -1 2 0 0 0 [pid=30933/tid=30937] ppid=30931 vsize=6435164 CPUtime=1.21 cores=0,2 /proc/30933/task/30937/stat : 30937 (java) S 30931 30933 30365 0 -1 4202560 39436 0 0 0 118 3 0 0 16 0 19 0 891505263 6589607936 615039 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 212699491225 0 4 0 16800975 18446604453926299584 0 0 -1 0 0 0 0 [pid=30933/tid=30938] ppid=30931 vsize=6435164 CPUtime=0.39 cores=0,2 /proc/30933/task/30938/stat : 30938 (java) S 30931 30933 30365 0 -1 4202560 30585 0 0 0 36 3 0 0 16 0 19 0 891505263 6589607936 615039 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 212699491225 0 4 0 16800975 18446604453926299584 0 0 -1 0 0 0 0 [pid=30933/tid=30939] ppid=30931 vsize=6435164 CPUtime=0.69 cores=0,2 /proc/30933/task/30939/stat : 30939 (java) S 30931 30933 30365 0 -1 4202560 22261 0 0 0 66 3 0 0 16 0 19 0 891505263 6589607936 615039 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 212699491225 0 4 0 16800975 18446604453926299584 0 0 -1 0 0 0 0 [pid=30933/tid=30940] ppid=30931 vsize=6435164 CPUtime=0.62 cores=0,2 /proc/30933/task/30940/stat : 30940 (java) S 30931 30933 30365 0 -1 4202560 35990 0 0 0 58 4 0 0 15 0 19 0 891505263 6589607936 615039 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 212699491225 0 4 0 16800975 18446604453926299584 0 0 -1 0 0 0 0 [pid=30933/tid=30941] ppid=30931 vsize=6435164 CPUtime=1.09 cores=0,2 /proc/30933/task/30941/stat : 30941 (java) S 30931 30933 30365 0 -1 4202560 19676 0 0 0 107 2 0 0 16 0 19 0 891505263 6589607936 615039 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 212699491225 0 4 0 16800975 18446604453926299584 0 0 -1 2 0 0 0 [pid=30933/tid=30942] ppid=30931 vsize=6435164 CPUtime=0.42 cores=0,2 /proc/30933/task/30942/stat : 30942 (java) S 30931 30933 30365 0 -1 4202560 17790 0 0 0 40 2 0 0 16 0 19 0 891505263 6589607936 615039 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 212699491225 0 4 0 16800975 18446604453926299584 0 0 -1 2 0 0 0 [pid=30933/tid=30943] ppid=30931 vsize=6435164 CPUtime=0.46 cores=0,2 /proc/30933/task/30943/stat : 30943 (java) S 30931 30933 30365 0 -1 4202560 30320 0 0 0 43 3 0 0 15 0 19 0 891505263 6589607936 615039 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 212699491225 0 4 0 16800975 18446604453926299584 0 0 -1 0 0 0 0 [pid=30933/tid=30944] ppid=30931 vsize=6435164 CPUtime=0 cores=0,2 /proc/30933/task/30944/stat : 30944 (java) S 30931 30933 30365 0 -1 4202560 28 0 0 0 0 0 0 0 15 0 19 0 891505264 6589607936 615039 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 212699491840 0 0 0 16800975 18446604453926299584 0 0 -1 2 0 0 0 [pid=30933/tid=30945] ppid=30931 vsize=6435164 CPUtime=0 cores=0,2 /proc/30933/task/30945/stat : 30945 (java) S 30931 30933 30365 0 -1 4202560 19 0 0 0 0 0 0 0 15 0 19 0 891505265 6589607936 615039 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 212699491225 0 4 0 16800975 18446604453926299584 0 0 -1 2 0 0 0 [pid=30933/tid=30946] ppid=30931 vsize=6435164 CPUtime=0 cores=0,2 /proc/30933/task/30946/stat : 30946 (java) S 30931 30933 30365 0 -1 4202560 48 0 0 0 0 0 0 0 15 0 19 0 891505265 6589607936 615039 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 212699491225 0 4 0 16800975 18446604453926299584 0 0 -1 2 0 0 0 [pid=30933/tid=30947] ppid=30931 vsize=6435164 CPUtime=0 cores=0,2 /proc/30933/task/30947/stat : 30947 (java) S 30931 30933 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891505267 6589607936 615039 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 212699498929 0 4 0 16800975 18446604453926299584 0 0 -1 2 0 0 0 [pid=30933/tid=30948] ppid=30931 vsize=6435164 CPUtime=0.51 cores=0,2 /proc/30933/task/30948/stat : 30948 (java) S 30931 30933 30365 0 -1 4202560 2499 0 0 0 51 0 0 0 16 0 19 0 891505267 6589607936 615039 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 212699491225 0 4 0 16800975 18446604453926299584 0 0 -1 0 0 0 0 [pid=30933/tid=30949] ppid=30931 vsize=6435164 CPUtime=0.27 cores=0,2 /proc/30933/task/30949/stat : 30949 (java) S 30931 30933 30365 0 -1 4202560 2057 0 0 0 27 0 0 0 15 0 19 0 891505267 6589607936 615039 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 212699491225 0 4 0 16800975 18446604453926299584 0 0 -1 2 0 0 0 [pid=30933/tid=30950] ppid=30931 vsize=6435164 CPUtime=0 cores=0,2 /proc/30933/task/30950/stat : 30950 (java) S 30931 30933 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 891505267 6589607936 615039 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 212699491225 0 4 0 16800975 18446604453926299584 0 0 -1 2 0 0 0 [pid=30933/tid=30951] ppid=30931 vsize=6435164 CPUtime=0 cores=0,2 /proc/30933/task/30951/stat : 30951 (java) S 30931 30933 30365 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 891505267 6589607936 615039 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 212699491840 0 4 0 16800975 18446604453926299584 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 72.35 Current children cumulated vsize (KiB) 6435164 [startup+69.9013 s] /proc/loadavg: 3.36 1.77 0.95 6/260 1325 /proc/meminfo: memFree=22897028/32951124 swapFree=67076880/67111528 [pid=30933] ppid=30931 vsize=6446752 CPUtime=73.31 cores=0,2 /proc/30933/stat : 30933 (java) S 30931 30933 30365 0 -1 4202496 622938 0 1 0 7255 76 0 0 22 0 18 0 891505261 6601474048 617553 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/30933/statm: 1611688 617553 2240 9 0 1602426 0 [pid=30933/tid=30935] ppid=30931 vsize=6446752 CPUtime=66.71 cores=0,2 /proc/30933/task/30935/stat : 30935 (java) R 30931 30933 30365 0 -1 4202560 391595 0 1 0 6624 47 0 0 25 0 18 0 891505262 6601474048 617553 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 46912505830783 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=30933/tid=30936] ppid=30931 vsize=6446752 CPUtime=0.61 cores=0,2 /proc/30933/task/30936/stat : 30936 (java) S 30931 30933 30365 0 -1 4202560 26301 0 0 0 59 2 0 0 15 0 18 0 891505263 6601474048 617553 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 212699491225 0 4 0 16800975 18446604453926299584 0 0 -1 2 0 0 0 [pid=30933/tid=30937] ppid=30931 vsize=6446752 CPUtime=1.21 cores=0,2 /proc/30933/task/30937/stat : 30937 (java) S 30931 30933 30365 0 -1 4202560 39436 0 0 0 118 3 0 0 16 0 18 0 891505263 6601474048 617553 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 212699491225 0 4 0 16800975 18446604453926299584 0 0 -1 0 0 0 0 [pid=30933/tid=30938] ppid=30931 vsize=6446752 CPUtime=0.39 cores=0,2 /proc/30933/task/30938/stat : 30938 (java) S 30931 30933 30365 0 -1 4202560 30585 0 0 0 36 3 0 0 16 0 18 0 891505263 6601474048 617553 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 212699491225 0 4 0 16800975 18446604453926299584 0 0 -1 0 0 0 0 [pid=30933/tid=30939] ppid=30931 vsize=6446752 CPUtime=0.69 cores=0,2 /proc/30933/task/30939/stat : 30939 (java) S 30931 30933 30365 0 -1 4202560 22261 0 0 0 66 3 0 0 16 0 18 0 891505263 6601474048 617553 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 212699491225 0 4 0 16800975 18446604453926299584 0 0 -1 0 0 0 0 [pid=30933/tid=30940] ppid=30931 vsize=6446752 CPUtime=0.62 cores=0,2 /proc/30933/task/30940/stat : 30940 (java) S 30931 30933 30365 0 -1 4202560 35990 0 0 0 58 4 0 0 15 0 18 0 891505263 6601474048 617553 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 212699491225 0 4 0 16800975 18446604453926299584 0 0 -1 0 0 0 0 [pid=30933/tid=30941] ppid=30931 vsize=6446752 CPUtime=1.09 cores=0,2 /proc/30933/task/30941/stat : 30941 (java) S 30931 30933 30365 0 -1 4202560 19676 0 0 0 107 2 0 0 16 0 18 0 891505263 6601474048 617553 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 212699491225 0 4 0 16800975 18446604453926299584 0 0 -1 2 0 0 0 [pid=30933/tid=30942] ppid=30931 vsize=6446752 CPUtime=0.42 cores=0,2 /proc/30933/task/30942/stat : 30942 (java) S 30931 30933 30365 0 -1 4202560 17790 0 0 0 40 2 0 0 16 0 18 0 891505263 6601474048 617553 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 212699491225 0 4 0 16800975 18446604453926299584 0 0 -1 2 0 0 0 [pid=30933/tid=30943] ppid=30931 vsize=6446752 CPUtime=0.46 cores=0,2 /proc/30933/task/30943/stat : 30943 (java) S 30931 30933 30365 0 -1 4202560 30320 0 0 0 43 3 0 0 15 0 18 0 891505263 6601474048 617553 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 212699491225 0 4 0 16800975 18446604453926299584 0 0 -1 0 0 0 0 [pid=30933/tid=30944] ppid=30931 vsize=6446752 CPUtime=0 cores=0,2 /proc/30933/task/30944/stat : 30944 (java) S 30931 30933 30365 0 -1 4202560 28 0 0 0 0 0 0 0 15 0 18 0 891505264 6601474048 617553 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 212699491840 0 0 0 16800975 18446604453926299584 0 0 -1 2 0 0 0 [pid=30933/tid=30945] ppid=30931 vsize=6446752 CPUtime=0 cores=0,2 /proc/30933/task/30945/stat : 30945 (java) S 30931 30933 30365 0 -1 4202560 19 0 0 0 0 0 0 0 15 0 18 0 891505265 6601474048 617553 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 212699491225 0 4 0 16800975 18446604453926299584 0 0 -1 2 0 0 0 [pid=30933/tid=30946] ppid=30931 vsize=6446752 CPUtime=0 cores=0,2 /proc/30933/task/30946/stat : 30946 (java) S 30931 30933 30365 0 -1 4202560 48 0 0 0 0 0 0 0 15 0 18 0 891505265 6601474048 617553 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 212699491225 0 4 0 16800975 18446604453926299584 0 0 -1 2 0 0 0 [pid=30933/tid=30947] ppid=30931 vsize=6446752 CPUtime=0 cores=0,2 /proc/30933/task/30947/stat : 30947 (java) S 30931 30933 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891505267 6601474048 617553 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 212699498929 0 4 0 16800975 18446604453926299584 0 0 -1 2 0 0 0 [pid=30933/tid=30948] ppid=30931 vsize=6446752 CPUtime=0.69 cores=0,2 /proc/30933/task/30948/stat : 30948 (java) S 30931 30933 30365 0 -1 4202560 5604 0 0 0 69 0 0 0 15 0 18 0 891505267 6601474048 617553 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 212699491225 0 4 0 16800975 18446604453926299584 0 0 -1 0 0 0 0 [pid=30933/tid=30949] ppid=30931 vsize=6446752 CPUtime=0.29 cores=0,2 /proc/30933/task/30949/stat : 30949 (java) S 30931 30933 30365 0 -1 4202560 2076 0 0 0 29 0 0 0 16 0 18 0 891505267 6601474048 617553 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 212699491225 0 4 0 16800975 18446604453926299584 0 0 -1 2 0 0 0 [pid=30933/tid=30950] ppid=30931 vsize=6446752 CPUtime=0 cores=0,2 /proc/30933/task/30950/stat : 30950 (java) S 30931 30933 30365 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 891505267 6601474048 617553 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 212699491225 0 4 0 16800975 18446604453926299584 0 0 -1 2 0 0 0 [pid=30933/tid=30951] ppid=30931 vsize=6446752 CPUtime=0 cores=0,2 /proc/30933/task/30951/stat : 30951 (java) S 30931 30933 30365 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 18 0 891505267 6601474048 617553 33554432000 1073741824 1073778376 140734938114944 18446744073709551615 212699491840 0 4 0 16800975 18446604453926299584 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 73.31 Current children cumulated vsize (KiB) 6446752 [startup+70.1014 s] /proc/loadavg: 3.36 1.77 0.95 6/260 1325 /proc/meminfo: memFree=22897028/32951124 swapFree=67076880/67111528 [pid=30933] ppid=30931 vsize=0 CPUtime=73.5 cores=0,2 /proc/30933/stat : 30933 (java) Z 30931 30933 30365 0 -1 4203548 622950 0 1 0 7265 85 0 0 18 0 2 0 891505261 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/30933/statm: 0 0 0 0 0 0 0 [pid=30933/tid=30935] ppid=30931 vsize=0 CPUtime=66.9 cores=0,2 /proc/30933/task/30935/stat : 30935 (java) R 30931 30933 30365 0 -1 4203588 391599 0 1 0 6634 56 0 0 25 0 2 0 891505262 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 73.5 Current children cumulated vsize (KiB) 0 Child status: 20 Real time (s): 70.1034 CPU time (s): 73.5148 CPU user time (s): 72.659 CPU system time (s): 0.855869 CPU usage (%): 104.866 Max. virtual memory (cumulated for all children) (KiB): 6446752 getrusage(RUSAGE_CHILDREN,...) data: user time used= 72.659 system time used= 0.855869 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 622950 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= 3563 involuntary context switches= 3967 runsolver used 0.146977 second user time and 0.270958 second system time The end
Begin job on node139 at 2011-06-11 15:31:15 IDJOB=3493384 IDBENCH=89452 IDSOLVER=1972 FILE ID=node139/3493384-1307799075 RUNJOBID= node139-1307799074-30851 PBS_JOBID= 13551009 Free space on /tmp= 74064 MiB SOLVER NAME= SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 BENCH NAME= SAT11/mus/marques-silva/design-debugging/c6_DD_s3_f1_e1_v1-bug-gate-0.dimacs.seq.filtered.cnf COMMAND LINE= java -Xms6000m -Xmx6000m -jar sat4j-mus-v20110206.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3493384-1307799075/watcher-3493384-1307799075 -o /tmp/evaluation-result-3493384-1307799075/solver-3493384-1307799075 -C 1800 -W 1850 -M 7680 java -Xms6000m -Xmx6000m -jar sat4j-mus-v20110206.jar HOME/instance-3493384-1307799075.cnf TIME LIMIT= 1800 seconds MEMORY LIMIT= 7680 MiB NBCORE= 2 MD5SUM BENCH= a5e1fb3eb2044c9f49c2e722a36b1546 RANDOM SEED=862517091 node139.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.70 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5321.49 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31046712 kB Buffers: 288076 kB Cached: 1135960 kB SwapCached: 3520 kB Active: 843176 kB Inactive: 845312 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31046712 kB SwapTotal: 67111528 kB SwapFree: 67076880 kB Dirty: 71828 kB Writeback: 0 kB AnonPages: 262816 kB Mapped: 21712 kB Slab: 149532 kB PageTables: 5724 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 12674608 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= 74012 MiB End job on node139 at 2011-06-11 15:32:26