| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 | UNSAT | 50.1954 | 48.8307 |
| Name | mus/marques-silva/abstraction-refinement-intel/ edn_20403_10.cnf_0.03000000.unsat.cnf |
| MD5SUM | 1b4f687b975e1b5d4dc38f0dc496f6fc |
| Bench Category | MUS (MUS) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 0.232963 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 69746 |
| Number of clauses | 198942 |
| Sum of the clauses size | 460585 |
| Maximum clause length | 3 |
| Minimum clause length | 1 |
| Number of clauses of size 1 | 394 |
| Number of clauses of size 2 | 135453 |
| Number of clauses of size 3 | 63095 |
| Number of clauses of size 4 | 0 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 0 |
0.00/0.06 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.00/0.06 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.06 c See www.sat4j.org for details. 0.00/0.07 c version 2.3.0.v20110206 0.00/0.07 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.07 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.07 c java.vm.version 19.1-b02 0.00/0.07 c java.vm.vendor Sun Microsystems Inc. 0.00/0.07 c sun.arch.data.model 64 0.00/0.07 c java.version 1.6.0_24 0.00/0.07 c os.name Linux 0.00/0.07 c os.version 2.6.18-164.el5 0.00/0.07 c os.arch amd64 0.00/0.07 c Free memory 5997854704 0.00/0.07 c Max memory 6029312000 0.00/0.07 c Total memory 6029312000 0.00/0.07 c Number of processors 8 0.10/0.10 c Explanation (MUS) enabled solver 0.10/0.10 c QuickXplain (AAAI 2004 version) minimization strategy 0.10/0.10 c --- Begin Solver configuration --- 0.10/0.10 c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@aa470b8 0.10/0.10 c Learn all clauses as in MiniSAT 0.10/0.10 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.1 initConflictBound=100 0.10/0.10 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT 0.10/0.10 c Expensive reason simplification 0.10/0.10 c Armin Biere (Picosat) restarts strategy 0.10/0.10 c Glucose learned constraints deletion strategy 0.10/0.10 c timeout=2147483647s 0.10/0.10 c DB Simplification allowed=true 0.10/0.10 c --- End Solver configuration --- 0.10/0.10 c solving HOME/instance-3483008-1307605066.cnf 0.10/0.10 c reading problem ... 0.45/0.44 c ... done. Wall clock time 0.337s. 1.63/1.17 c #vars 268688 1.63/1.17 c #constraints 198942 1.63/1.17 c constraints type 1.63/1.17 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 198548 1.63/1.17 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 394 1.63/1.17 c Unsat detection wall clock time (in seconds) : 0.584 1.63/1.17 c Size of initial unsat subformula: 307 1.63/1.17 c Computing MUS ... 1.63/1.17 c initial unsat core 69745[?] 268683[?] -69745[?] 268682[?] 11318[?] 817[?] 265667[?] 69700[?] 69699[?] 265665[?] 809[?] 69697[?] 265661[?] 800[?] -69700[?] 265656[?] -257[?] -69699[?] 265654[?] -809[?] -69697[?] 265650[?] -800[?] 265647[?] -769[?] 11261[?] 260300[?] -11264[?] 20293[?] 260298[?] -20296[?] 30198[?] 260296[?] -30201[?] 260294[?] -37949[?] 47690[?] 260285[?] -47707[?] 260283[?] -37964[?] 47709[?] 260274[?] -47722[?] 260272[?] -37979[?] 47724[?] 260263[?] -47737[?] 260261[?] -37989[?] 47739[?] 260252[?] -47747[?] 260250[?] -38000[?] 47748[?] 260241[?] -47758[?] 260239[?] 37945[?] 260230[?] 47762[?] -47703[?] 260228[?] 38008[?] 47767[?] 260219[?] -47766[?] 260217[?] 38014[?] 260208[?] 47773[?] -47772[?] 260206[?] 38019[?] 260197[?] 47778[?] -47777[?] 260195[?] 38024[?] 260186[?] 47783[?] -47782[?] 260184[?] 38039[?] 47788[?] 260175[?] -47797[?] 260173[?] -38029[?] 260164[?] 47798[?] -47787[?] 260162[?] -60926[?] 47787[?] 47797[?] 234398[?] 60913[?] 47797[?] 234396[?] 60925[?] 60926[?] 234393[?] -60924[?] 47782[?] -60925[?] 234389[?] 60914[?] -60925[?] 234388[?] 60923[?] 60924[?] 234384[?] -60922[?] 47777[?] -60923[?] 234380[?] 60911[?] -60923[?] 234379[?] 60921[?] 60922[?] 234375[?] -60920[?] -60921[?] 47772[?] 234371[?] 60908[?] 47772[?] 234369[?] 60919[?] 60920[?] 234366[?] -60918[?] 47766[?] -60919[?] 234362[?] 60905[?] -60919[?] 234361[?] 60917[?] 60918[?] 234357[?] -60916[?] 47703[?] -60917[?] 234353[?] 60902[?] -60917[?] 234352[?] 60898[?] 60916[?] 234348[?] 60893[?] -60898[?] 234346[?] -60915[?] 47747[?] -60898[?] 234341[?] 60890[?] 60915[?] 234340[?] -60912[?] -60914[?] -60913[?] 234335[?] 60888[?] -60913[?] 234333[?] 60910[?] 60912[?] 234330[?] -60909[?] -60911[?] -60910[?] 234326[?] 60889[?] -60910[?] 234324[?] 60907[?] 60909[?] 234321[?] -60906[?] -60908[?] -60907[?] 234317[?] 60885[?] -60907[?] 234315[?] 60904[?] 60906[?] 234312[?] -60903[?] -60905[?] -60904[?] 234308[?] 60881[?] -60904[?] 234306[?] 60901[?] 60903[?] 234303[?] -60900[?] -60902[?] -60901[?] 234299[?] 60877[?] -60901[?] 234297[?] 60899[?] 60900[?] 234294[?] -60873[?] -60898[?] -60899[?] 234290[?] 60896[?] 60873[?] 234285[?] 60867[?] -60896[?] 234283[?] -60895[?] 47758[?] -60896[?] 234278[?] 60894[?] 60895[?] 234277[?] 60868[?] -60893[?] 234273[?] -60892[?] -60894[?] -60893[?] 234269[?] 60891[?] 60892[?] 234268[?] -60862[?] -60890[?] -60891[?] 234263[?] -60886[?] -60889[?] -60888[?] 234260[?] 60884[?] 60886[?] 234255[?] -60882[?] -60885[?] -60884[?] 234251[?] 60880[?] 60882[?] 234246[?] -60878[?] -60881[?] -60880[?] 234242[?] 60876[?] 60878[?] 234237[?] -60874[?] -60877[?] -60876[?] 234233[?] 60872[?] 60874[?] 234228[?] -60842[?] 60873[?] -60872[?] 234224[?] 60870[?] 60842[?] 234219[?] 60859[?] -60870[?] 234217[?] -60869[?] 47737[?] -60870[?] 234212[?] 60866[?] 60869[?] 234211[?] -60865[?] -60867[?] -60868[?] 234206[?] 60860[?] 60865[?] 234205[?] -60864[?] -60866[?] 60865[?] 234200[?] 60863[?] 60864[?] 234199[?] -60854[?] -60863[?] 60862[?] 234194[?] 60851[?] 60842[?] 234193[?] -60861[?] 47722[?] 60842[?] 234188[?] 60858[?] 60861[?] 234187[?] -60857[?] -60859[?] -60860[?] 234182[?] 60852[?] 60857[?] 234181[?] -60856[?] -60858[?] 60857[?] 234176[?] 60855[?] 60856[?] 234175[?] -60846[?] -60855[?] 60854[?] 234170[?] 60844[?] 60842[?] 234169[?] -60853[?] 47707[?] 60842[?] 234164[?] 60850[?] 60853[?] 234163[?] -60849[?] -60852[?] -60851[?] 234158[?] 60845[?] 60849[?] 234157[?] -60848[?] -60850[?] 60849[?] 234152[?] 60847[?] 60848[?] 234151[?] -60838[?] -60847[?] 60846[?] 234146[?] -60843[?] -60845[?] -60844[?] 234143[?] -60841[?] 60843[?] 60842[?] 234137[?] 60839[?] 60841[?] 234136[?] -60837[?] 60838[?] -60839[?] 234131[?] 40819[?] 60837[?] 234130[?] 48324[?] 257[?] 198227[?] 27625[?] 48325[?] 198225[?] -48325[?] -48324[?] 198222[?] -48292[?] -38039[?] 38029[?] 198141[?] 48279[?] 38029[?] 198140[?] 48291[?] 48292[?] 198136[?] -48290[?] -48291[?] -38024[?] 198132[?] 48280[?] -38024[?] 198130[?] 48289[?] 48290[?] 198127[?] -48288[?] -48289[?] -38019[?] 198123[?] 48277[?] -38019[?] 198121[?] 48287[?] 48288[?] 198118[?] -48286[?] -48287[?] -38014[?] 198114[?] 48274[?] -38014[?] 198112[?] 48285[?] 48286[?] 198109[?] -48284[?] -48285[?] -38008[?] 198105[?] 48271[?] -38008[?] 198103[?] 48283[?] 48284[?] 198100[?] -48282[?] -48283[?] -37945[?] 198096[?] 48268[?] -37945[?] 198094[?] 48264[?] 48282[?] 198091[?] 48259[?] 37989[?] 198088[?] -48281[?] -48264[?] 37989[?] 198084[?] 48256[?] 48281[?] 198083[?] -48278[?] -48280[?] -48279[?] 198078[?] 48254[?] -48279[?] 198076[?] 48276[?] 48278[?] 198073[?] -48275[?] -48277[?] -48276[?] 198069[?] 48255[?] -48276[?] 198067[?] 48273[?] 48275[?] 198064[?] -48272[?] -48274[?] -48273[?] 198060[?] 48251[?] -48273[?] 198058[?] 48270[?] 48272[?] 198055[?] -48269[?] -48270[?] -48271[?] 198051[?] 48247[?] -48271[?] 198050[?] 48267[?] 48269[?] 198046[?] -48266[?] -48268[?] -48267[?] 198042[?] 48243[?] -48267[?] 198040[?] 48265[?] 48266[?] 198037[?] -48239[?] -48264[?] -48265[?] 198033[?] 48262[?] 48239[?] 198028[?] 48233[?] 38000[?] 198025[?] -48261[?] -48262[?] 38000[?] 198021[?] 48260[?] 48261[?] 198020[?] 48234[?] -48259[?] 198016[?] -48258[?] -48260[?] -48259[?] 198012[?] 48257[?] 48258[?] 198011[?] -48228[?] -48257[?] -48256[?] 198006[?] -48252[?] -48255[?] -48254[?] 198003[?] 48250[?] 48252[?] 197998[?] -48248[?] -48251[?] -48250[?] 197994[?] 48246[?] 48248[?] 197989[?] -48244[?] -48247[?] -48246[?] 197985[?] 48242[?] 48244[?] 197980[?] -48240[?] -48243[?] -48242[?] 197976[?] 48238[?] 48240[?] 197971[?] -48208[?] 48239[?] -48238[?] 197967[?] 48236[?] 48208[?] 197962[?] 48225[?] 37979[?] 197959[?] -48235[?] -48236[?] 37979[?] 197955[?] 48232[?] 48235[?] 197954[?] -48231[?] -48234[?] -48233[?] 197949[?] 48226[?] 48231[?] 197948[?] -48230[?] -48232[?] 48231[?] 197943[?] 48229[?] 48230[?] 197942[?] -48220[?] 48228[?] -48229[?] 197937[?] 48217[?] 37964[?] 197935[?] -48227[?] 48208[?] 37964[?] 197931[?] 48224[?] 48227[?] 197930[?] -48223[?] -48226[?] -48225[?] 197925[?] 48218[?] 48223[?] 197924[?] -48222[?] -48224[?] 48223[?] 197919[?] 48221[?] 48222[?] 197918[?] -48212[?] 48220[?] -48221[?] 197913[?] 48210[?] 37949[?] 197911[?] -48219[?] 48208[?] 37949[?] 197907[?] 48216[?] 48219[?] 197906[?] -48215[?] -48218[?] -48217[?] 197901[?] 48211[?] 48215[?] 197900[?] -48214[?] -48216[?] 48215[?] 197895[?] 48213[?] 48214[?] 197894[?] -48204[?] 48212[?] -48213[?] 197889[?] -48209[?] -48211[?] -48210[?] 197886[?] -48207[?] 48208[?] 48209[?] 197880[?] 48205[?] 48207[?] 197879[?] -48203[?] 48204[?] -48205[?] 197874[?] 30269[?] 48203[?] 197873[?] 47801[?] 47797[?] 196582[?] 47799[?] -47801[?] 196578[?] 47800[?] 47787[?] 196575[?] -47798[?] -47800[?] -47799[?] 196571[?] 47789[?] 47797[?] 196569[?] 47790[?] 800[?] 196552[?] -47788[?] -47790[?] -47789[?] 196547[?] 47786[?] 47787[?] 196546[?] 47784[?] -47786[?] 196542[?] 47785[?] 47782[?] 196539[?] -47783[?] -47785[?] -47784[?] 196535[?] 47781[?] 47782[?] 196534[?] 47779[?] -47781[?] 196530[?] 47780[?] 47777[?] 196527[?] -47778[?] -47780[?] -47779[?] 196523[?] 47776[?] 47777[?] 196522[?] 47774[?] -47776[?] 196518[?] 47775[?] 47772[?] 196515[?] -47773[?] -47774[?] -47775[?] 196511[?] 47768[?] 47766[?] 196509[?] 47771[?] 47772[?] 196506[?] 47770[?] -47771[?] 196504[?] 47769[?] -47770[?] 196500[?] -47767[?] -47768[?] -47769[?] 196496[?] 47765[?] 47766[?] 196495[?] 47763[?] -47765[?] 196491[?] 47764[?] 47703[?] 196488[?] -47762[?] -47764[?] -47763[?] 196484[?] 47749[?] 47758[?] 196482[?] 47759[?] 47747[?] 196479[?] 47744[?] 47703[?] 196470[?] 47738[?] 47758[?] 196467[?] -47757[?] -47759[?] 47758[?] 196463[?] 47756[?] 47757[?] 196462[?] 47732[?] 47703[?] 196458[?] -47755[?] -47756[?] 47703[?] 196454[?] 47754[?] 47755[?] 196453[?] 47733[?] -47744[?] 196449[?] -47753[?] -47754[?] -47744[?] 196445[?] 47752[?] 47753[?] 196444[?] 47751[?] -47752[?] 196441[?] 47750[?] -47751[?] 196437[?] -47748[?] -47750[?] -47749[?] 196433[?] 47740[?] 47747[?] 196431[?] 47741[?] 800[?] 196420[?] -47739[?] -47741[?] -47740[?] 196415[?] 47725[?] 47737[?] 196413[?] 47723[?] -47738[?] 196411[?] -47736[?] 47737[?] -47738[?] 196406[?] 47735[?] 47736[?] 196405[?] 47717[?] 47703[?] 196401[?] -47734[?] -47735[?] 47703[?] 196397[?] 47731[?] 47734[?] 196396[?] -47730[?] -47733[?] -47732[?] 196391[?] 47718[?] 47730[?] 196390[?] -47729[?] -47731[?] 47730[?] 196385[?] 47728[?] 47729[?] 196384[?] 47727[?] -47728[?] 196381[?] 47726[?] -47727[?] 196377[?] -47724[?] -47726[?] -47725[?] 196373[?] 47710[?] 47722[?] 196371[?] 47708[?] -47723[?] 196369[?] -47721[?] 47722[?] -47723[?] 196364[?] 47720[?] 47721[?] 196363[?] 47699[?] 47703[?] 196359[?] -47719[?] -47720[?] 47703[?] 196355[?] 47716[?] 47719[?] 196354[?] -47715[?] -47718[?] -47717[?] 196349[?] 47700[?] 47715[?] 196348[?] -47714[?] -47716[?] 47715[?] 196343[?] 47713[?] 47714[?] 196342[?] 47712[?] -47713[?] 196339[?] 47711[?] -47712[?] 196335[?] -47709[?] -47711[?] -47710[?] 196331[?] 47691[?] 47707[?] 196329[?] -47706[?] 47707[?] -47708[?] 196322[?] 47704[?] 47706[?] 196321[?] -47702[?] -47704[?] 47703[?] 196313[?] 47698[?] 47702[?] 196312[?] -47697[?] -47700[?] -47699[?] 196307[?] -47696[?] -47698[?] 47697[?] 196301[?] 47694[?] 47696[?] 196300[?] 47693[?] -47694[?] 196297[?] 47692[?] -47693[?] 196293[?] -47690[?] -47692[?] -47691[?] 196289[?] 30200[?] -40819[?] 177703[?] 11265[?] 809[?] 170104[?] 20295[?] -30269[?] 148698[?] 30199[?] 30201[?] 148556[?] -30198[?] -30200[?] -30199[?] 148552[?] -770[?] -27625[?] -817[?] 141316[?] 11263[?] -11265[?] 122080[?] 20294[?] 20296[?] 121927[?] -20293[?] -20295[?] -20294[?] 121923[?] 11319[?] 770[?] 97219[?] 11320[?] 769[?] 97212[?] -11318[?] -11319[?] -11320[?] 97208[?] 11262[?] 11264[?] 97104[?] -11261[?] -11263[?] -11262[?] 97100[?] 1.63/1.17 c qxplain 0/306 1.63/1.17 c qxplain 154/306 1.63/1.17 c qxplain 231/306 1.63/1.17 c qxplain 269/306 1.78/1.26 c qxplain 288/306 1.87/1.35 c qxplain 298/306 1.97/1.45 c qxplain 303/306 2.06/1.55 c qxplain 305/306 2.17/1.65 c qxplain 306/306 2.27/1.74 c 97100[?] -11262[?] -11261[?] -11263[?] is mandatory 2.27/1.74 c qxplain 305/305 2.36/1.84 c 97104[?] 11262[?] 11264[?] is mandatory 2.36/1.84 c qxplain 303/304 2.47/1.93 c qxplain 304/304 2.57/2.03 c 97208[?] -11320[?] -11319[?] -11318[?] is mandatory 2.57/2.03 c qxplain 303/303 2.67/2.13 c 97212[?] 769[?] 11320[?] is mandatory 2.67/2.13 c qxplain 298/302 2.77/2.22 c qxplain 301/302 2.89/2.32 c qxplain 302/302 2.97/2.42 c 97219[?] 11319[?] 770[?] is mandatory 2.97/2.42 c qxplain 301/301 3.07/2.51 c 121923[?] -20293[?] -20294[?] -20295[?] is mandatory 3.07/2.51 c qxplain 298/300 3.16/2.61 c qxplain 300/300 3.27/2.71 c 121927[?] 20294[?] 20296[?] is mandatory 3.27/2.71 c qxplain 298/299 3.37/2.80 c qxplain 299/299 3.46/2.90 c 122080[?] 11263[?] -11265[?] is mandatory 3.46/2.90 c qxplain 298/298 3.46/3.00 c 141316[?] -770[?] -27625[?] -817[?] is mandatory 3.46/3.00 c qxplain 288/297 3.57/3.09 c qxplain 293/297 3.67/3.19 c qxplain 296/297 3.77/3.28 c qxplain 297/297 3.87/3.38 c 148552[?] -30198[?] -30199[?] -30200[?] is mandatory 3.87/3.38 c qxplain 296/296 3.99/3.48 c 148556[?] 30199[?] 30201[?] is mandatory 3.99/3.48 c qxplain 293/295 4.07/3.58 c qxplain 295/295 4.17/3.67 c 148698[?] 20295[?] -30269[?] is mandatory 4.17/3.67 c qxplain 293/294 4.27/3.77 c qxplain 294/294 4.37/3.86 c 170104[?] 11265[?] 809[?] is mandatory 4.37/3.86 c qxplain 293/293 4.46/3.96 c 177703[?] 30200[?] -40819[?] is mandatory 4.46/3.96 c qxplain 288/292 4.57/4.06 c qxplain 291/292 4.67/4.16 c qxplain 292/292 4.77/4.26 c 196289[?] -47690[?] -47692[?] -47691[?] is mandatory 4.77/4.26 c qxplain 291/291 4.87/4.35 c 196293[?] 47692[?] -47693[?] is mandatory 4.87/4.35 c qxplain 288/290 4.97/4.45 c qxplain 290/290 5.09/4.54 c 196297[?] 47693[?] -47694[?] is mandatory 5.09/4.54 c qxplain 288/289 5.17/4.64 c qxplain 289/289 5.27/4.74 c 196300[?] 47694[?] 47696[?] is mandatory 5.27/4.74 c qxplain 288/288 5.37/4.84 c 196301[?] -47696[?] 47697[?] -47698[?] is mandatory 5.37/4.84 c qxplain 269/287 5.47/4.93 c qxplain 279/287 5.57/5.03 c qxplain 284/287 5.67/5.12 c qxplain 286/287 5.77/5.22 c qxplain 287/287 5.87/5.32 c 196307[?] -47697[?] -47700[?] -47699[?] is mandatory 5.87/5.32 c qxplain 286/286 5.97/5.42 c 196312[?] 47698[?] 47702[?] is mandatory 5.97/5.42 c qxplain 284/285 6.07/5.52 c qxplain 285/285 6.07/5.61 c 196313[?] -47702[?] -47704[?] 47703[?] is mandatory 6.07/5.61 c qxplain 284/284 6.27/5.71 c 196321[?] 47704[?] 47706[?] is mandatory 6.27/5.71 c qxplain 279/283 6.37/5.81 c qxplain 282/283 6.47/5.91 c qxplain 283/283 6.57/6.01 c 196322[?] -47706[?] -47708[?] 47707[?] is mandatory 6.57/6.01 c qxplain 282/282 6.67/6.11 c 196329[?] 47691[?] 47707[?] is mandatory 6.67/6.11 c qxplain 279/281 6.79/6.23 c qxplain 281/281 6.89/6.33 c 196331[?] -47709[?] -47711[?] -47710[?] is mandatory 6.89/6.33 c qxplain 279/280 6.99/6.43 c qxplain 280/280 7.09/6.53 c 196335[?] 47711[?] -47712[?] is mandatory 7.09/6.53 c qxplain 279/279 7.19/6.63 c 196339[?] 47712[?] -47713[?] is mandatory 7.19/6.63 c qxplain 269/278 7.31/6.72 c qxplain 274/278 7.39/6.83 c qxplain 277/278 7.49/6.92 c qxplain 278/278 7.60/7.02 c 196342[?] 47713[?] 47714[?] is mandatory 7.60/7.02 c qxplain 277/277 7.69/7.12 c 196343[?] -47714[?] 47715[?] -47716[?] is mandatory 7.69/7.12 c qxplain 274/276 7.79/7.21 c qxplain 276/276 7.89/7.31 c 196348[?] 47700[?] 47715[?] is mandatory 7.89/7.31 c qxplain 274/275 7.99/7.41 c qxplain 275/275 8.09/7.51 c 196349[?] -47715[?] -47718[?] -47717[?] is mandatory 8.09/7.51 c qxplain 274/274 8.19/7.60 c 196354[?] 47716[?] 47719[?] is mandatory 8.19/7.60 c qxplain 269/273 8.19/7.70 c qxplain 272/273 8.30/7.80 c qxplain 273/273 8.49/7.90 c 196355[?] -47719[?] -47720[?] 47703[?] is mandatory 8.49/7.90 c qxplain 272/272 8.49/7.99 c 196359[?] 47699[?] 47703[?] is mandatory 8.49/7.99 c qxplain 269/271 8.59/8.09 c qxplain 271/271 8.69/8.19 c 196363[?] 47720[?] 47721[?] is mandatory 8.69/8.19 c qxplain 269/270 8.79/8.29 c qxplain 270/270 8.89/8.38 c 196364[?] -47721[?] -47723[?] 47722[?] is mandatory 8.89/8.38 c qxplain 269/269 8.99/8.48 c 196369[?] 47708[?] -47723[?] is mandatory 8.99/8.48 c qxplain 231/268 9.10/8.58 c qxplain 250/268 9.19/8.67 c qxplain 260/268 9.29/8.77 c qxplain 265/268 9.40/8.87 c qxplain 267/268 9.51/8.97 c qxplain 268/268 9.59/9.06 c 196371[?] 47710[?] 47722[?] is mandatory 9.59/9.06 c qxplain 267/267 9.69/9.16 c 196373[?] -47724[?] -47726[?] -47725[?] is mandatory 9.69/9.16 c qxplain 265/266 9.81/9.26 c qxplain 266/266 9.91/9.35 c 196377[?] 47726[?] -47727[?] is mandatory 9.91/9.35 c qxplain 265/265 10.01/9.45 c 196381[?] 47727[?] -47728[?] is mandatory 10.01/9.45 c qxplain 260/264 10.11/9.55 c qxplain 263/264 10.21/9.65 c qxplain 264/264 10.31/9.75 c 196384[?] 47728[?] 47729[?] is mandatory 10.31/9.75 c qxplain 263/263 10.41/9.84 c 196385[?] -47729[?] 47730[?] -47731[?] is mandatory 10.41/9.84 c qxplain 260/262 10.51/9.94 c qxplain 262/262 10.63/10.04 c 196390[?] 47718[?] 47730[?] is mandatory 10.63/10.04 c qxplain 260/261 10.71/10.14 c qxplain 261/261 10.81/10.23 c 196391[?] -47730[?] -47733[?] -47732[?] is mandatory 10.81/10.23 c qxplain 260/260 10.91/10.33 c 196396[?] 47731[?] 47734[?] is mandatory 10.91/10.33 c qxplain 250/259 11.01/10.42 c qxplain 255/259 11.11/10.52 c qxplain 258/259 11.21/10.62 c qxplain 259/259 11.32/10.72 c 196397[?] -47734[?] -47735[?] 47703[?] is mandatory 11.32/10.72 c qxplain 258/258 11.41/10.82 c 196401[?] 47717[?] 47703[?] is mandatory 11.41/10.82 c qxplain 255/257 11.51/10.91 c qxplain 257/257 11.51/11.01 c 196405[?] 47735[?] 47736[?] is mandatory 11.51/11.01 c qxplain 255/256 11.61/11.11 c qxplain 256/256 11.81/11.21 c 196406[?] -47736[?] -47738[?] 47737[?] is mandatory 11.81/11.21 c qxplain 255/255 11.91/11.30 c 196411[?] 47723[?] -47738[?] is mandatory 11.91/11.30 c qxplain 250/254 12.01/11.40 c qxplain 253/254 12.11/11.50 c qxplain 254/254 12.11/11.60 c 196413[?] 47725[?] 47737[?] is mandatory 12.11/11.60 c qxplain 253/253 12.34/11.70 c 196415[?] -47739[?] -47741[?] -47740[?] is mandatory 12.34/11.70 c qxplain 250/252 12.34/11.80 c qxplain 252/252 12.44/11.89 c 196420[?] 47741[?] 800[?] is mandatory 12.44/11.89 c qxplain 250/251 12.53/11.99 c qxplain 251/251 12.64/12.09 c 196431[?] 47740[?] 47747[?] is mandatory 12.64/12.09 c qxplain 250/250 12.74/12.18 c 196433[?] -47748[?] -47750[?] -47749[?] is mandatory 12.74/12.18 c qxplain 231/249 12.85/12.28 c qxplain 241/249 12.93/12.38 c qxplain 246/249 13.04/12.48 c qxplain 248/249 13.14/12.58 c qxplain 249/249 13.24/12.67 c 196437[?] 47750[?] -47751[?] is mandatory 13.24/12.67 c qxplain 248/248 13.34/12.77 c 196441[?] 47751[?] -47752[?] is mandatory 13.34/12.77 c qxplain 246/247 13.44/12.87 c qxplain 247/247 13.54/12.96 c 196444[?] 47752[?] 47753[?] is mandatory 13.54/12.96 c qxplain 246/246 13.63/13.06 c 196445[?] -47753[?] -47754[?] -47744[?] is mandatory 13.63/13.06 c qxplain 241/245 13.74/13.16 c qxplain 244/245 13.84/13.26 c qxplain 245/245 13.95/13.35 c 196449[?] 47733[?] -47744[?] is mandatory 13.95/13.35 c qxplain 244/244 14.03/13.45 c 196453[?] 47754[?] 47755[?] is mandatory 14.03/13.45 c qxplain 241/243 14.13/13.55 c qxplain 243/243 14.24/13.64 c 196454[?] -47755[?] -47756[?] 47703[?] is mandatory 14.24/13.64 c qxplain 241/242 14.33/13.74 c qxplain 242/242 14.68/13.96 c 196458[?] 47732[?] 47703[?] is mandatory 14.68/13.96 c qxplain 241/241 14.78/14.03 c 196462[?] 47756[?] 47757[?] is mandatory 14.78/14.03 c qxplain 231/240 14.88/14.10 c qxplain 236/240 14.88/14.18 c qxplain 239/240 14.98/14.25 c qxplain 240/240 15.08/14.32 c 196463[?] -47757[?] -47759[?] 47758[?] is mandatory 15.08/14.32 c qxplain 239/239 15.08/14.39 c 196467[?] 47738[?] 47758[?] is mandatory 15.08/14.39 c qxplain 236/238 15.19/14.46 c qxplain 238/238 15.27/14.54 c 196470[?] 47744[?] 47703[?] is mandatory 15.27/14.54 c qxplain 236/237 15.37/14.61 c qxplain 237/237 15.37/14.68 c 196479[?] 47759[?] 47747[?] is mandatory 15.37/14.68 c qxplain 236/236 15.47/14.75 c 196482[?] 47749[?] 47758[?] is mandatory 15.47/14.75 c qxplain 231/235 15.57/14.82 c qxplain 234/235 15.57/14.89 c qxplain 235/235 15.67/14.97 c 196484[?] -47762[?] -47764[?] -47763[?] is mandatory 15.67/14.97 c qxplain 234/234 15.77/15.04 c 196488[?] 47764[?] 47703[?] is mandatory 15.77/15.04 c qxplain 231/233 15.88/15.11 c qxplain 233/233 15.88/15.18 c 196491[?] 47763[?] -47765[?] is mandatory 15.88/15.18 c qxplain 231/232 15.98/15.25 c qxplain 232/232 16.08/15.32 c 196495[?] 47765[?] 47766[?] is mandatory 16.08/15.32 c qxplain 231/231 16.08/15.39 c 196496[?] -47767[?] -47769[?] -47768[?] is mandatory 16.08/15.39 c qxplain 154/230 16.18/15.46 c qxplain 193/230 16.30/15.53 c qxplain 212/230 16.38/15.61 c qxplain 222/230 16.38/15.68 c qxplain 227/230 16.48/15.75 c qxplain 229/230 16.58/15.82 c qxplain 230/230 16.58/15.89 c 196500[?] 47769[?] -47770[?] is mandatory 16.58/15.89 c qxplain 229/229 16.68/15.96 c 196504[?] 47770[?] -47771[?] is mandatory 16.68/15.96 c qxplain 227/228 16.78/16.03 c qxplain 228/228 16.88/16.10 c 196506[?] 47771[?] 47772[?] is mandatory 16.88/16.10 c qxplain 227/227 16.88/16.17 c 196509[?] 47768[?] 47766[?] is mandatory 16.88/16.17 c qxplain 222/226 16.98/16.24 c qxplain 225/226 17.08/16.32 c qxplain 226/226 17.08/16.39 c 196511[?] -47773[?] -47775[?] -47774[?] is mandatory 17.08/16.39 c qxplain 225/225 17.18/16.46 c 196515[?] 47775[?] 47772[?] is mandatory 17.18/16.46 c qxplain 222/224 17.28/16.53 c qxplain 224/224 17.28/16.61 c 196518[?] 47774[?] -47776[?] is mandatory 17.28/16.61 c qxplain 222/223 17.40/16.68 c qxplain 223/223 17.48/16.75 c 196522[?] 47776[?] 47777[?] is mandatory 17.48/16.75 c qxplain 222/222 17.58/16.82 c 196523[?] -47778[?] -47780[?] -47779[?] is mandatory 17.58/16.82 c qxplain 212/221 17.58/16.89 c qxplain 217/221 17.68/16.96 c qxplain 220/221 17.78/17.03 c qxplain 221/221 17.88/17.11 c 196527[?] 47780[?] 47777[?] is mandatory 17.88/17.11 c qxplain 220/220 17.88/17.18 c 196530[?] 47779[?] -47781[?] is mandatory 17.88/17.18 c qxplain 217/219 17.98/17.25 c qxplain 219/219 18.08/17.32 c 196534[?] 47781[?] 47782[?] is mandatory 18.08/17.32 c qxplain 217/218 18.08/17.39 c qxplain 218/218 18.21/17.46 c 196535[?] -47783[?] -47785[?] -47784[?] is mandatory 18.21/17.46 c qxplain 217/217 18.31/17.53 c 196539[?] 47785[?] 47782[?] is mandatory 18.31/17.53 c qxplain 212/216 18.31/17.60 c qxplain 215/216 18.41/17.68 c qxplain 216/216 18.53/17.75 c 196542[?] 47784[?] -47786[?] is mandatory 18.53/17.75 c qxplain 215/215 18.61/17.82 c 196546[?] 47786[?] 47787[?] is mandatory 18.61/17.82 c qxplain 212/214 18.61/17.89 c qxplain 214/214 18.71/17.97 c 196547[?] -47788[?] -47790[?] -47789[?] is mandatory 18.71/17.97 c qxplain 212/213 18.81/18.04 c qxplain 213/213 18.91/18.11 c 196552[?] 47790[?] 800[?] is mandatory 18.91/18.11 c qxplain 212/212 18.91/18.18 c 196569[?] 47789[?] 47797[?] is mandatory 18.91/18.18 c qxplain 193/211 19.02/18.25 c qxplain 203/211 19.12/18.32 c qxplain 208/211 19.12/18.39 c qxplain 210/211 19.22/18.46 c qxplain 211/211 19.32/18.53 c 196571[?] -47798[?] -47800[?] -47799[?] is mandatory 19.32/18.53 c qxplain 210/210 19.42/18.61 c 196575[?] 47800[?] 47787[?] is mandatory 19.42/18.61 c qxplain 208/209 19.42/18.68 c qxplain 209/209 19.52/18.75 c 196578[?] 47799[?] -47801[?] is mandatory 19.52/18.75 c qxplain 208/208 19.64/18.82 c 196582[?] 47801[?] 47797[?] is mandatory 19.64/18.82 c qxplain 203/207 19.64/18.89 c qxplain 206/207 19.72/18.96 c qxplain 207/207 19.82/19.03 c 197873[?] 30269[?] 48203[?] is mandatory 19.82/19.03 c qxplain 206/206 19.92/19.10 c 197874[?] -48203[?] 48204[?] -48205[?] is mandatory 19.92/19.10 c qxplain 203/205 19.92/19.18 c qxplain 205/205 20.02/19.25 c 197879[?] 48205[?] 48207[?] is mandatory 20.02/19.25 c qxplain 203/204 20.12/19.32 c qxplain 204/204 20.12/19.39 c 197880[?] -48207[?] 48209[?] 48208[?] is mandatory 20.12/19.39 c qxplain 203/203 20.21/19.46 c 197886[?] -48209[?] -48210[?] -48211[?] is mandatory 20.21/19.46 c qxplain 193/202 20.31/19.53 c qxplain 198/202 20.41/19.60 c qxplain 201/202 20.41/19.67 c qxplain 202/202 20.51/19.74 c 197889[?] -48204[?] -48213[?] 48212[?] is mandatory 20.51/19.74 c qxplain 201/201 20.51/19.82 c 197894[?] 48213[?] 48214[?] is mandatory 20.62/19.82 c qxplain 198/200 20.62/19.89 c qxplain 200/200 20.73/19.96 c 197895[?] -48214[?] 48215[?] -48216[?] is mandatory 20.73/19.96 c qxplain 198/199 20.82/20.03 c qxplain 199/199 20.92/20.10 c 197900[?] 48211[?] 48215[?] is mandatory 20.92/20.10 c qxplain 198/198 20.92/20.17 c 197901[?] -48215[?] -48217[?] -48218[?] is mandatory 20.92/20.17 c qxplain 193/197 21.02/20.24 c qxplain 196/197 21.12/20.31 c qxplain 197/197 21.12/20.38 c 197906[?] 48216[?] 48219[?] is mandatory 21.12/20.38 c qxplain 196/196 21.22/20.45 c 197907[?] -48219[?] 37949[?] 48208[?] is mandatory 21.22/20.45 c qxplain 193/195 21.32/20.52 c qxplain 195/195 21.32/20.60 c 197911[?] 48210[?] 37949[?] is mandatory 21.32/20.60 c qxplain 193/194 21.42/20.67 c qxplain 194/194 21.52/20.74 c 197913[?] -48212[?] -48221[?] 48220[?] is mandatory 21.52/20.74 c qxplain 193/193 21.62/20.81 c 197918[?] 48221[?] 48222[?] is mandatory 21.62/20.81 c qxplain 154/192 21.62/20.88 c qxplain 174/192 21.72/20.95 c qxplain 184/192 21.84/21.02 c qxplain 189/192 21.84/21.09 c qxplain 191/192 21.92/21.16 c qxplain 192/192 22.02/21.23 c 197919[?] -48222[?] -48224[?] 48223[?] is mandatory 22.02/21.23 c qxplain 191/191 22.12/21.30 c 197924[?] 48218[?] 48223[?] is mandatory 22.12/21.30 c qxplain 189/190 22.12/21.38 c qxplain 190/190 22.22/21.45 c 197925[?] -48223[?] -48225[?] -48226[?] is mandatory 22.22/21.45 c qxplain 189/189 22.32/21.52 c 197930[?] 48224[?] 48227[?] is mandatory 22.32/21.52 c qxplain 184/188 22.32/21.59 c qxplain 187/188 22.42/21.66 c qxplain 188/188 22.52/21.73 c 197931[?] -48227[?] 37964[?] 48208[?] is mandatory 22.52/21.73 c qxplain 187/187 22.62/21.80 c 197935[?] 48217[?] 37964[?] is mandatory 22.62/21.80 c qxplain 184/186 22.62/21.87 c qxplain 186/186 22.72/21.95 c 197937[?] -48220[?] -48229[?] 48228[?] is mandatory 22.72/21.95 c qxplain 184/185 22.72/22.02 c qxplain 185/185 22.83/22.09 c 197942[?] 48229[?] 48230[?] is mandatory 22.83/22.09 c qxplain 184/184 22.94/22.16 c 197943[?] -48230[?] -48232[?] 48231[?] is mandatory 22.94/22.16 c qxplain 174/183 23.02/22.23 c qxplain 179/183 23.12/22.30 c qxplain 182/183 23.12/22.37 c qxplain 183/183 23.22/22.44 c 197948[?] 48226[?] 48231[?] is mandatory 23.22/22.44 c qxplain 182/182 23.33/22.51 c 197949[?] -48231[?] -48234[?] -48233[?] is mandatory 23.33/22.51 c qxplain 179/181 23.33/22.58 c qxplain 181/181 23.43/22.65 c 197954[?] 48232[?] 48235[?] is mandatory 23.43/22.65 c qxplain 179/180 23.53/22.72 c qxplain 180/180 23.53/22.79 c 197955[?] -48235[?] 37979[?] -48236[?] is mandatory 23.53/22.79 c qxplain 179/179 23.62/22.87 c 197959[?] 48225[?] 37979[?] is mandatory 23.62/22.87 c qxplain 174/178 23.73/22.94 c qxplain 177/178 23.83/23.01 c qxplain 178/178 23.83/23.08 c 197962[?] 48236[?] 48208[?] is mandatory 23.83/23.08 c qxplain 177/177 23.93/23.15 c 197967[?] -48208[?] 48239[?] -48238[?] is mandatory 23.93/23.15 c qxplain 174/176 24.04/23.22 c qxplain 176/176 24.04/23.29 c 197971[?] 48238[?] 48240[?] is mandatory 24.04/23.29 c qxplain 174/175 24.13/23.37 c qxplain 175/175 24.23/23.44 c 197976[?] -48240[?] -48242[?] -48243[?] is mandatory 24.23/23.44 c qxplain 174/174 24.33/23.51 c 197980[?] 48242[?] 48244[?] is mandatory 24.33/23.51 c qxplain 154/173 24.33/23.58 c qxplain 164/173 24.43/23.65 c qxplain 169/173 24.53/23.72 c qxplain 172/173 24.53/23.79 c qxplain 173/173 24.63/23.87 c 197985[?] -48244[?] -48246[?] -48247[?] is mandatory 24.63/23.87 c qxplain 172/172 24.73/23.94 c 197989[?] 48246[?] 48248[?] is mandatory 24.73/23.94 c qxplain 169/171 24.83/24.01 c qxplain 171/171 24.83/24.08 c 197994[?] -48248[?] -48250[?] -48251[?] is mandatory 24.83/24.08 c qxplain 169/170 24.93/24.15 c qxplain 170/170 25.27/24.36 c 197998[?] 48250[?] 48252[?] is mandatory 25.27/24.36 c qxplain 169/169 25.35/24.43 c 198003[?] -48252[?] -48255[?] -48254[?] is mandatory 25.35/24.43 c qxplain 164/168 25.45/24.50 c qxplain 167/168 25.45/24.57 c qxplain 168/168 25.55/24.64 c 198006[?] -48228[?] -48257[?] -48256[?] is mandatory 25.55/24.64 c qxplain 167/167 25.65/24.71 c 198011[?] 48257[?] 48258[?] is mandatory 25.65/24.71 c qxplain 164/166 25.65/24.78 c qxplain 166/166 25.75/24.85 c 198012[?] -48258[?] -48259[?] -48260[?] is mandatory 25.75/24.85 c qxplain 164/165 25.85/24.93 c qxplain 165/165 25.85/25.00 c 198016[?] 48234[?] -48259[?] is mandatory 25.85/25.00 c qxplain 164/164 25.95/25.07 c 198020[?] 48260[?] 48261[?] is mandatory 25.95/25.07 c qxplain 154/163 26.05/25.14 c qxplain 159/163 26.15/25.21 c qxplain 162/163 26.15/25.28 c qxplain 163/163 26.26/25.35 c 198021[?] -48261[?] 38000[?] -48262[?] is mandatory 26.26/25.35 c qxplain 162/162 26.37/25.42 c 198025[?] 48233[?] 38000[?] is mandatory 26.37/25.42 c qxplain 159/161 26.37/25.49 c qxplain 161/161 26.46/25.56 c 198028[?] 48262[?] 48239[?] is mandatory 26.46/25.56 c qxplain 159/160 26.55/25.64 c qxplain 160/160 26.65/25.71 c 198033[?] -48239[?] -48265[?] -48264[?] is mandatory 26.65/25.71 c qxplain 159/159 26.65/25.78 c 198037[?] 48265[?] 48266[?] is mandatory 26.65/25.78 c qxplain 154/158 26.75/25.85 c qxplain 157/158 26.85/25.92 c qxplain 158/158 26.85/25.99 c 198040[?] 48243[?] -48267[?] is mandatory 26.85/25.99 c qxplain 157/157 26.95/26.06 c 198042[?] -48266[?] -48268[?] -48267[?] is mandatory 26.95/26.06 c qxplain 154/156 27.05/26.13 c qxplain 156/156 27.15/26.20 c 198046[?] 48267[?] 48269[?] is mandatory 27.15/26.20 c qxplain 154/155 27.15/26.28 c qxplain 155/155 27.25/26.35 c 198050[?] 48247[?] -48271[?] is mandatory 27.25/26.35 c qxplain 154/154 27.36/26.42 c 198051[?] -48269[?] -48271[?] -48270[?] is mandatory 27.36/26.42 c qxplain 0/153 27.36/26.49 c qxplain 77/153 27.47/26.57 c qxplain 116/153 27.55/26.64 c qxplain 135/153 27.65/26.71 c qxplain 145/153 27.65/26.78 c qxplain 150/153 27.75/26.85 c qxplain 152/153 27.85/26.92 c qxplain 153/153 27.85/26.99 c 198055[?] 48270[?] 48272[?] is mandatory 27.85/26.99 c qxplain 152/152 27.95/27.07 c 198058[?] 48251[?] -48273[?] is mandatory 27.95/27.07 c qxplain 150/151 28.05/27.14 c qxplain 151/151 28.15/27.21 c 198060[?] -48272[?] -48274[?] -48273[?] is mandatory 28.15/27.21 c qxplain 150/150 28.15/27.28 c 198064[?] 48273[?] 48275[?] is mandatory 28.15/27.28 c qxplain 145/149 28.25/27.35 c qxplain 148/149 28.35/27.42 c qxplain 149/149 28.35/27.50 c 198067[?] 48255[?] -48276[?] is mandatory 28.35/27.50 c qxplain 148/148 28.45/27.57 c 198069[?] -48275[?] -48277[?] -48276[?] is mandatory 28.45/27.57 c qxplain 145/147 28.57/27.64 c qxplain 147/147 28.65/27.71 c 198073[?] 48276[?] 48278[?] is mandatory 28.65/27.71 c qxplain 145/146 28.65/27.78 c qxplain 146/146 28.75/27.85 c 198076[?] 48254[?] -48279[?] is mandatory 28.75/27.85 c qxplain 145/145 28.85/27.93 c 198078[?] -48278[?] -48280[?] -48279[?] is mandatory 28.85/27.93 c qxplain 135/144 28.95/28.00 c qxplain 140/144 28.95/28.07 c qxplain 143/144 29.05/28.14 c qxplain 144/144 29.15/28.21 c 198083[?] 48256[?] 48281[?] is mandatory 29.15/28.21 c qxplain 143/143 29.15/28.28 c 198084[?] -48281[?] 37989[?] -48264[?] is mandatory 29.15/28.28 c qxplain 140/142 29.25/28.35 c qxplain 142/142 29.35/28.42 c 198088[?] 48259[?] 37989[?] is mandatory 29.35/28.42 c qxplain 140/141 29.35/28.49 c qxplain 141/141 29.45/28.56 c 198091[?] 48264[?] 48282[?] is mandatory 29.45/28.57 c qxplain 140/140 29.55/28.64 c 198094[?] 48268[?] -37945[?] is mandatory 29.55/28.64 c qxplain 135/139 29.55/28.71 c qxplain 138/139 29.67/28.78 c qxplain 139/139 29.75/28.85 c 198096[?] -48282[?] -48283[?] -37945[?] is mandatory 29.75/28.85 c qxplain 138/138 29.85/28.92 c 198100[?] 48283[?] 48284[?] is mandatory 29.85/28.92 c qxplain 135/137 29.85/28.99 c qxplain 137/137 29.95/29.06 c 198103[?] 48271[?] -38008[?] is mandatory 29.95/29.06 c qxplain 135/136 30.05/29.13 c qxplain 136/136 30.15/29.20 c 198105[?] -48284[?] -48285[?] -38008[?] is mandatory 30.15/29.20 c qxplain 135/135 30.15/29.28 c 198109[?] 48285[?] 48286[?] is mandatory 30.15/29.28 c qxplain 116/134 30.25/29.35 c qxplain 126/134 30.35/29.42 c qxplain 131/134 30.35/29.49 c qxplain 133/134 30.45/29.56 c qxplain 134/134 30.55/29.63 c 198112[?] 48274[?] -38014[?] is mandatory 30.55/29.63 c qxplain 133/133 30.55/29.70 c 198114[?] -48286[?] -38014[?] -48287[?] is mandatory 30.55/29.70 c qxplain 131/132 30.65/29.78 c qxplain 132/132 30.77/29.85 c 198118[?] 48287[?] 48288[?] is mandatory 30.77/29.85 c qxplain 131/131 30.85/29.92 c 198121[?] 48277[?] -38019[?] is mandatory 30.85/29.92 c qxplain 126/130 30.85/29.99 c qxplain 129/130 30.95/30.06 c qxplain 130/130 31.05/30.13 c 198123[?] -48288[?] -48289[?] -38019[?] is mandatory 31.05/30.13 c qxplain 129/129 31.15/30.20 c 198127[?] 48289[?] 48290[?] is mandatory 31.15/30.20 c qxplain 126/128 31.15/30.27 c qxplain 128/128 31.25/30.34 c 198130[?] 48280[?] -38024[?] is mandatory 31.25/30.34 c qxplain 126/127 31.35/30.42 c qxplain 127/127 31.35/30.49 c 198132[?] -48290[?] -48291[?] -38024[?] is mandatory 31.35/30.49 c qxplain 126/126 31.45/30.56 c 198136[?] 48291[?] 48292[?] is mandatory 31.45/30.56 c qxplain 116/125 31.55/30.63 c qxplain 121/125 31.65/30.70 c qxplain 124/125 31.65/30.77 c qxplain 125/125 31.75/30.84 c 198140[?] 48279[?] 38029[?] is mandatory 31.75/30.84 c qxplain 124/124 31.75/30.91 c 198141[?] -48292[?] -38039[?] 38029[?] is mandatory 31.75/30.91 c qxplain 121/123 31.87/30.98 c qxplain 123/123 31.95/31.05 c 198222[?] -48325[?] -48324[?] is mandatory 31.95/31.05 c qxplain 121/122 32.05/31.13 c qxplain 122/122 32.15/31.20 c 198225[?] 27625[?] 48325[?] is mandatory 32.15/31.20 c qxplain 121/121 32.15/31.27 c 198227[?] 48324[?] 257[?] is mandatory 32.15/31.27 c qxplain 116/120 32.25/31.34 c qxplain 119/120 32.35/31.41 c qxplain 120/120 32.35/31.48 c 234130[?] 40819[?] 60837[?] is mandatory 32.35/31.48 c qxplain 119/119 32.45/31.55 c 234131[?] -60837[?] -60839[?] 60838[?] is mandatory 32.45/31.55 c qxplain 116/118 32.55/31.63 c qxplain 118/118 32.65/31.70 c 234136[?] 60839[?] 60841[?] is mandatory 32.65/31.70 c qxplain 116/117 32.65/31.77 c qxplain 117/117 32.75/31.84 c 234137[?] -60841[?] 60843[?] 60842[?] is mandatory 32.75/31.84 c qxplain 116/116 32.75/31.91 c 234143[?] -60843[?] -60845[?] -60844[?] is mandatory 32.75/31.91 c qxplain 77/115 32.85/31.99 c qxplain 97/115 32.97/32.06 c qxplain 107/115 33.05/32.13 c qxplain 112/115 33.15/32.20 c qxplain 114/115 33.15/32.27 c qxplain 115/115 33.25/32.34 c 234146[?] -60838[?] -60847[?] 60846[?] is mandatory 33.25/32.34 c qxplain 114/114 33.36/32.41 c 234151[?] 60847[?] 60848[?] is mandatory 33.36/32.41 c qxplain 112/113 33.36/32.48 c qxplain 113/113 33.46/32.55 c 234152[?] -60848[?] 60849[?] -60850[?] is mandatory 33.46/32.55 c qxplain 112/112 33.56/32.63 c 234157[?] 60845[?] 60849[?] is mandatory 33.56/32.63 c qxplain 107/111 33.56/32.70 c qxplain 110/111 33.66/32.77 c qxplain 111/111 33.76/32.84 c 234158[?] -60849[?] -60852[?] -60851[?] is mandatory 33.76/32.84 c qxplain 110/110 33.86/32.91 c 234163[?] 60850[?] 60853[?] is mandatory 33.86/32.91 c qxplain 107/109 33.86/32.98 c qxplain 109/109 33.96/33.05 c 234164[?] -60853[?] 47707[?] 60842[?] is mandatory 33.96/33.05 c qxplain 107/108 34.08/33.13 c qxplain 108/108 34.08/33.20 c 234169[?] 60844[?] 60842[?] is mandatory 34.08/33.20 c qxplain 107/107 34.16/33.27 c 234170[?] -60846[?] -60855[?] 60854[?] is mandatory 34.16/33.27 c qxplain 97/106 34.26/33.34 c qxplain 102/106 34.36/33.41 c qxplain 105/106 34.36/33.48 c qxplain 106/106 34.46/33.55 c 234175[?] 60855[?] 60856[?] is mandatory 34.46/33.55 c qxplain 105/105 34.56/33.62 c 234176[?] -60856[?] 60857[?] -60858[?] is mandatory 34.56/33.62 c qxplain 102/104 34.56/33.69 c qxplain 104/104 34.66/33.76 c 234181[?] 60852[?] 60857[?] is mandatory 34.66/33.76 c qxplain 102/103 34.76/33.83 c qxplain 103/103 34.86/33.91 c 234182[?] -60857[?] -60860[?] -60859[?] is mandatory 34.86/33.91 c qxplain 102/102 34.86/33.98 c 234187[?] 60858[?] 60861[?] is mandatory 34.86/33.98 c qxplain 97/101 34.96/34.05 c qxplain 100/101 35.06/34.12 c qxplain 101/101 35.06/34.19 c 234188[?] -60861[?] 47722[?] 60842[?] is mandatory 35.06/34.19 c qxplain 100/100 35.18/34.26 c 234193[?] 60851[?] 60842[?] is mandatory 35.18/34.26 c qxplain 97/99 35.26/34.34 c qxplain 99/99 35.36/34.41 c 234194[?] -60854[?] -60863[?] 60862[?] is mandatory 35.36/34.41 c qxplain 97/98 35.36/34.48 c qxplain 98/98 35.72/34.66 c 234199[?] 60863[?] 60864[?] is mandatory 35.72/34.66 c qxplain 97/97 35.77/34.73 c 234200[?] -60864[?] 60865[?] -60866[?] is mandatory 35.77/34.73 c qxplain 77/96 35.87/34.80 c qxplain 87/96 35.87/34.87 c qxplain 92/96 35.97/34.94 c qxplain 95/96 36.07/35.01 c qxplain 96/96 36.07/35.08 c 234205[?] 60860[?] 60865[?] is mandatory 36.07/35.08 c qxplain 95/95 36.17/35.15 c 234206[?] -60865[?] -60868[?] -60867[?] is mandatory 36.17/35.15 c qxplain 92/94 36.27/35.22 c qxplain 94/94 36.27/35.29 c 234211[?] 60866[?] 60869[?] is mandatory 36.27/35.29 c qxplain 92/93 36.39/35.36 c qxplain 93/93 36.47/35.43 c 234212[?] -60869[?] -60870[?] 47737[?] is mandatory 36.47/35.43 c qxplain 92/92 36.47/35.50 c 234217[?] 60859[?] -60870[?] is mandatory 36.47/35.50 c qxplain 87/91 36.57/35.56 c qxplain 90/91 36.67/35.63 c qxplain 91/91 36.77/35.70 c 234219[?] 60870[?] 60842[?] is mandatory 36.77/35.70 c qxplain 90/90 36.77/35.77 c 234224[?] -60842[?] -60872[?] 60873[?] is mandatory 36.77/35.77 c qxplain 87/89 36.87/35.84 c qxplain 89/89 36.97/35.91 c 234228[?] 60872[?] 60874[?] is mandatory 36.97/35.91 c qxplain 87/88 36.97/35.98 c qxplain 88/88 37.07/36.05 c 234233[?] -60874[?] -60876[?] -60877[?] is mandatory 37.07/36.05 c qxplain 87/87 37.17/36.12 c 234237[?] 60876[?] 60878[?] is mandatory 37.17/36.12 c qxplain 77/86 37.17/36.19 c qxplain 82/86 37.27/36.26 c qxplain 85/86 37.37/36.33 c qxplain 86/86 37.37/36.40 c 234242[?] -60878[?] -60880[?] -60881[?] is mandatory 37.37/36.40 c qxplain 85/85 37.49/36.47 c 234246[?] 60880[?] 60882[?] is mandatory 37.49/36.47 c qxplain 82/84 37.57/36.54 c qxplain 84/84 37.67/36.61 c 234251[?] -60882[?] -60884[?] -60885[?] is mandatory 37.67/36.61 c qxplain 82/83 37.67/36.68 c qxplain 83/83 37.77/36.75 c 234255[?] 60884[?] 60886[?] is mandatory 37.77/36.75 c qxplain 82/82 37.87/36.82 c 234260[?] -60886[?] -60889[?] -60888[?] is mandatory 37.87/36.82 c qxplain 77/81 37.87/36.89 c qxplain 80/81 37.97/36.96 c qxplain 81/81 38.07/37.02 c 234263[?] -60862[?] -60891[?] -60890[?] is mandatory 38.07/37.02 c qxplain 80/80 38.07/37.09 c 234268[?] 60891[?] 60892[?] is mandatory 38.07/37.09 c qxplain 77/79 38.17/37.16 c qxplain 79/79 38.27/37.23 c 234269[?] -60892[?] -60894[?] -60893[?] is mandatory 38.27/37.23 c qxplain 77/78 38.37/37.30 c qxplain 78/78 38.37/37.37 c 234273[?] 60868[?] -60893[?] is mandatory 38.37/37.37 c qxplain 77/77 38.47/37.44 c 234277[?] 60894[?] 60895[?] is mandatory 38.47/37.44 c qxplain 0/76 38.47/37.51 c qxplain 39/76 38.59/37.58 c qxplain 58/76 38.67/37.65 c qxplain 68/76 38.77/37.72 c qxplain 73/76 38.77/37.78 c qxplain 75/76 38.87/37.85 c qxplain 76/76 38.97/37.92 c 234278[?] -60895[?] -60896[?] 47758[?] is mandatory 38.97/37.92 c qxplain 75/75 38.97/37.99 c 234283[?] 60867[?] -60896[?] is mandatory 38.97/37.99 c qxplain 73/74 39.08/38.06 c qxplain 74/74 39.18/38.13 c 234285[?] 60896[?] 60873[?] is mandatory 39.18/38.13 c qxplain 73/73 39.18/38.20 c 234290[?] -60873[?] -60899[?] -60898[?] is mandatory 39.18/38.20 c qxplain 68/72 39.28/38.26 c qxplain 71/72 39.38/38.33 c qxplain 72/72 39.48/38.40 c 234294[?] 60899[?] 60900[?] is mandatory 39.48/38.40 c qxplain 71/71 39.48/38.47 c 234297[?] 60877[?] -60901[?] is mandatory 39.48/38.47 c qxplain 68/70 39.58/38.54 c qxplain 70/70 39.58/38.61 c 234299[?] -60900[?] -60901[?] -60902[?] is mandatory 39.58/38.61 c qxplain 68/69 39.70/38.68 c qxplain 69/69 39.78/38.75 c 234303[?] 60901[?] 60903[?] is mandatory 39.78/38.75 c qxplain 68/68 39.88/38.82 c 234306[?] 60881[?] -60904[?] is mandatory 39.88/38.82 c qxplain 58/67 39.88/38.89 c qxplain 63/67 39.98/38.96 c qxplain 66/67 40.08/39.03 c qxplain 67/67 40.18/39.10 c 234308[?] -60903[?] -60904[?] -60905[?] is mandatory 40.18/39.10 c qxplain 66/66 40.18/39.17 c 234312[?] 60904[?] 60906[?] is mandatory 40.18/39.17 c qxplain 63/65 40.27/39.24 c qxplain 65/65 40.37/39.31 c 234315[?] 60885[?] -60907[?] is mandatory 40.37/39.31 c qxplain 63/64 40.37/39.38 c qxplain 64/64 40.47/39.45 c 234317[?] -60906[?] -60907[?] -60908[?] is mandatory 40.47/39.45 c qxplain 63/63 40.57/39.52 c 234321[?] 60907[?] 60909[?] is mandatory 40.57/39.52 c qxplain 58/62 40.57/39.59 c qxplain 61/62 40.68/39.66 c qxplain 62/62 40.79/39.73 c 234324[?] 60889[?] -60910[?] is mandatory 40.79/39.73 c qxplain 61/61 40.87/39.80 c 234326[?] -60909[?] -60910[?] -60911[?] is mandatory 40.87/39.80 c qxplain 58/60 40.87/39.87 c qxplain 60/60 40.97/39.94 c 234330[?] 60910[?] 60912[?] is mandatory 40.97/39.94 c qxplain 58/59 41.07/40.00 c qxplain 59/59 41.07/40.07 c 234333[?] 60888[?] -60913[?] is mandatory 41.07/40.07 c qxplain 58/58 41.17/40.15 c 234335[?] -60912[?] -60914[?] -60913[?] is mandatory 41.17/40.15 c qxplain 39/57 41.27/40.22 c qxplain 49/57 41.27/40.29 c qxplain 54/57 41.37/40.36 c qxplain 56/57 41.47/40.42 c qxplain 57/57 41.47/40.49 c 234340[?] 60890[?] 60915[?] is mandatory 41.47/40.49 c qxplain 56/56 41.57/40.56 c 234341[?] -60915[?] -60898[?] 47747[?] is mandatory 41.57/40.57 c qxplain 54/55 41.67/40.63 c qxplain 55/55 41.67/40.70 c 234346[?] 60893[?] -60898[?] is mandatory 41.67/40.70 c qxplain 54/54 41.78/40.77 c 234348[?] 60898[?] 60916[?] is mandatory 41.78/40.77 c qxplain 49/53 41.89/40.84 c qxplain 52/53 41.97/40.91 c qxplain 53/53 41.97/40.98 c 234352[?] 60902[?] -60917[?] is mandatory 41.97/40.98 c qxplain 52/52 42.07/41.05 c 234353[?] -60916[?] -60917[?] 47703[?] is mandatory 42.07/41.05 c qxplain 49/51 42.17/41.12 c qxplain 51/51 42.17/41.19 c 234357[?] 60917[?] 60918[?] is mandatory 42.17/41.19 c qxplain 49/50 42.27/41.25 c qxplain 50/50 42.37/41.32 c 234361[?] 60905[?] -60919[?] is mandatory 42.37/41.32 c qxplain 49/49 42.37/41.39 c 234362[?] -60918[?] -60919[?] 47766[?] is mandatory 42.37/41.39 c qxplain 39/48 42.47/41.46 c qxplain 44/48 42.57/41.53 c qxplain 47/48 42.67/41.60 c qxplain 48/48 42.67/41.67 c 234366[?] 60919[?] 60920[?] is mandatory 42.67/41.67 c qxplain 47/47 42.77/41.74 c 234369[?] 60908[?] 47772[?] is mandatory 42.77/41.74 c qxplain 44/46 42.77/41.81 c qxplain 46/46 42.87/41.88 c 234371[?] -60920[?] -60921[?] 47772[?] is mandatory 42.87/41.88 c qxplain 44/45 42.99/41.95 c qxplain 45/45 43.07/42.02 c 234375[?] 60921[?] 60922[?] is mandatory 43.07/42.02 c qxplain 44/44 43.07/42.09 c 234379[?] 60911[?] -60923[?] is mandatory 43.07/42.09 c qxplain 39/43 43.17/42.16 c qxplain 42/43 43.27/42.23 c qxplain 43/43 43.27/42.30 c 234380[?] -60922[?] -60923[?] 47777[?] is mandatory 43.27/42.30 c qxplain 42/42 43.38/42.37 c 234384[?] 60923[?] 60924[?] is mandatory 43.38/42.37 c qxplain 39/41 43.48/42.44 c qxplain 41/41 43.58/42.51 c 234388[?] 60914[?] -60925[?] is mandatory 43.58/42.51 c qxplain 39/40 43.58/42.58 c qxplain 40/40 43.68/42.65 c 234389[?] -60924[?] -60925[?] 47782[?] is mandatory 43.68/42.65 c qxplain 39/39 43.78/42.72 c 234393[?] 60925[?] 60926[?] is mandatory 43.78/42.72 c qxplain 0/38 43.78/42.78 c qxplain 20/38 43.88/42.85 c qxplain 30/38 43.98/42.92 c qxplain 35/38 43.98/42.99 c qxplain 37/38 44.10/43.06 c qxplain 38/38 44.18/43.13 c 234396[?] 60913[?] 47797[?] is mandatory 44.18/43.13 c qxplain 37/37 44.28/43.20 c 234398[?] -60926[?] 47787[?] 47797[?] is mandatory 44.28/43.20 c qxplain 35/36 44.28/43.27 c qxplain 36/36 44.38/43.34 c -47787[?] 260162[?] is mandatory 44.38/43.34 c qxplain 35/35 44.48/43.41 c 260164[?] -38029[?] 47798[?] is mandatory 44.48/43.41 c qxplain 30/34 44.48/43.48 c qxplain 33/34 44.58/43.55 c qxplain 34/34 44.68/43.62 c -47797[?] 260173[?] is mandatory 44.68/43.62 c qxplain 33/33 44.68/43.69 c 260175[?] 38039[?] 47788[?] is mandatory 44.68/43.69 c qxplain 30/32 44.78/43.75 c qxplain 32/32 44.88/43.82 c -47782[?] 260184[?] is mandatory 44.88/43.82 c qxplain 30/31 44.88/43.89 c qxplain 31/31 44.98/43.96 c 260186[?] 38024[?] 47783[?] is mandatory 44.98/43.96 c qxplain 30/30 45.08/44.03 c -47777[?] 260195[?] is mandatory 45.08/44.03 c qxplain 20/29 45.08/44.10 c qxplain 25/29 45.20/44.17 c qxplain 28/29 45.28/44.24 c qxplain 29/29 45.38/44.31 c 260197[?] 38019[?] 47778[?] is mandatory 45.38/44.31 c qxplain 28/28 45.38/44.38 c -47772[?] 260206[?] is mandatory 45.38/44.38 c qxplain 25/27 45.48/44.45 c qxplain 27/27 45.58/44.51 c 260208[?] 38014[?] 47773[?] is mandatory 45.58/44.51 c qxplain 25/26 45.58/44.58 c qxplain 26/26 45.88/44.76 c -47766[?] 260217[?] is mandatory 45.88/44.76 c qxplain 25/25 45.98/44.83 c 260219[?] 38008[?] 47767[?] is mandatory 45.98/44.83 c qxplain 20/24 46.08/44.90 c qxplain 23/24 46.08/44.97 c qxplain 24/24 46.18/45.04 c -47703[?] 260228[?] is mandatory 46.18/45.04 c qxplain 23/23 46.18/45.11 c 260230[?] 37945[?] 47762[?] is mandatory 46.18/45.11 c qxplain 20/22 46.29/45.19 c qxplain 22/22 46.40/45.26 c -47758[?] 260239[?] is mandatory 46.40/45.26 c qxplain 20/21 46.48/45.33 c qxplain 21/21 46.58/45.40 c 260241[?] -38000[?] 47748[?] is mandatory 46.58/45.40 c qxplain 20/20 46.58/45.47 c -47747[?] 260250[?] is mandatory 46.58/45.47 c qxplain 0/19 46.68/45.54 c qxplain 10/19 46.78/45.61 c qxplain 15/19 46.78/45.68 c qxplain 18/19 46.88/45.75 c qxplain 19/19 46.98/45.82 c 260252[?] -37989[?] 47739[?] is mandatory 46.98/45.82 c qxplain 18/18 46.98/45.89 c -47737[?] 260261[?] is mandatory 46.98/45.89 c qxplain 15/17 47.08/45.96 c qxplain 17/17 47.18/46.03 c 260263[?] -37979[?] 47724[?] is mandatory 47.18/46.03 c qxplain 15/16 47.28/46.10 c qxplain 16/16 47.28/46.17 c -47722[?] 260272[?] is mandatory 47.28/46.17 c qxplain 15/15 47.38/46.24 c 260274[?] -37964[?] 47709[?] is mandatory 47.38/46.24 c qxplain 10/14 47.38/46.31 c qxplain 13/14 47.50/46.38 c qxplain 14/14 47.58/46.45 c -47707[?] 260283[?] is mandatory 47.58/46.45 c qxplain 13/13 47.68/46.52 c 260285[?] -37949[?] 47690[?] is mandatory 47.68/46.52 c qxplain 10/12 47.68/46.59 c qxplain 12/12 47.78/46.66 c -30201[?] 260294[?] is mandatory 47.78/46.66 c qxplain 10/11 47.88/46.73 c qxplain 11/11 47.98/46.80 c 260296[?] -20296[?] 30198[?] is mandatory 47.98/46.80 c qxplain 10/10 47.98/46.87 c 260298[?] -11264[?] 20293[?] is mandatory 47.98/46.87 c qxplain 0/9 48.08/46.94 c qxplain 5/9 48.18/47.01 c qxplain 8/9 48.18/47.08 c qxplain 9/9 48.28/47.15 c 260300[?] 11261[?] -769[?] is mandatory 48.28/47.15 c qxplain 8/8 48.38/47.22 c -800[?] 265647[?] is mandatory 48.38/47.22 c qxplain 5/7 48.38/47.29 c qxplain 7/7 48.48/47.36 c 265650[?] -809[?] -69697[?] is mandatory 48.48/47.36 c qxplain 5/6 48.60/47.44 c qxplain 6/6 48.68/47.50 c 265654[?] -257[?] -69699[?] is mandatory 48.68/47.50 c qxplain 5/5 48.68/47.58 c -69700[?] 265656[?] is mandatory 48.68/47.58 c qxplain 0/4 48.78/47.65 c qxplain 3/4 48.88/47.72 c qxplain 4/4 48.88/47.79 c 265661[?] 69697[?] 800[?] is mandatory 48.88/47.79 c qxplain 3/3 48.98/47.86 c 265665[?] 69699[?] 809[?] is mandatory 48.98/47.86 c qxplain 0/2 49.08/47.93 c qxplain 2/2 49.18/48.00 c 265667[?] 817[?] 69700[?] is mandatory 49.18/48.00 c qxplain 0/1 49.18/48.07 c qxplain 1/1 49.28/48.14 c 268682[?] 11318[?] -69745[?] is mandatory 49.28/48.14 c qxplain 0/0 49.38/48.21 c 69745[?] 268683[?] is mandatory 50.05/48.77 c Size of the MUS: 307 50.05/48.77 c Unsat core computation wall clock time (in seconds) : 48.082 50.05/48.77 c starts : 613 50.05/48.77 c conflicts : 26 50.05/48.77 c decisions : 42718808 50.05/48.77 c propagations : 165072147 50.05/48.77 c inspects : 42187004 50.05/48.77 c shortcuts : 0 50.05/48.77 c learnt literals : 0 50.05/48.77 c learnt binary clauses : 0 50.05/48.77 c learnt ternary clauses : 0 50.05/48.77 c learnt constraints : 26 50.05/48.77 c ignored constraints : 0 50.05/48.77 c root simplifications : 0 50.05/48.77 c removed literals (reason simplification) : 0 50.05/48.77 c reason swapping (by a shorter reason) : 0 50.05/48.77 c Calls to reduceDB : 0 50.05/48.77 c speed (assignments/second) : 2.6201928095238096E8 50.05/48.77 c non guided choices 42718735 50.05/48.77 c learnt constraints type 50.05/48.77 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 26 50.05/48.77 c constraints type 50.05/48.77 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 198548 50.05/48.77 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 394 50.05/48.77 s UNSATISFIABLE 50.05/48.77 v 27354 27358 27462 27466 27473 52177 52181 52334 71570 78806 78810 78952 100358 107957 126543 126547 126551 126554 126555 126561 126566 126567 126575 126576 126583 126585 126589 126593 126596 126597 126602 126603 126608 126609 126613 126617 126618 126623 126625 126627 126631 126635 126638 126639 126644 126645 126650 126651 126655 126659 126660 126665 126667 126669 126674 126685 126687 126691 126695 126698 126699 126703 126707 126708 126712 126716 126717 126721 126724 126733 126736 126738 126742 126745 126749 126750 126754 126758 126760 126763 126765 126769 126772 126776 126777 126781 126784 126788 126789 126793 126796 126800 126801 126806 126823 126825 126829 126832 126836 128127 128128 128133 128134 128140 128143 128148 128149 128154 128155 128160 128161 128165 128167 128172 128173 128178 128179 128184 128185 128189 128191 128196 128197 128202 128203 128208 128209 128213 128216 128221 128225 128230 128234 128239 128243 128248 128252 128257 128260 128265 128266 128270 128274 128275 128279 128282 128287 128291 128294 128296 128300 128304 128305 128309 128312 128314 128318 128321 128323 128327 128330 128332 128337 128338 128342 128345 128348 128350 128354 128357 128359 128363 128366 128368 128372 128375 128377 128381 128384 128386 128390 128394 128395 128476 128479 128481 164384 164385 164390 164391 164397 164400 164405 164406 164411 164412 164417 164418 164423 164424 164429 164430 164435 164436 164441 164442 164447 164448 164453 164454 164459 164460 164465 164466 164471 164473 164478 164482 164487 164491 164496 164500 164505 164509 164514 164517 164522 164523 164527 164531 164532 164537 164539 164544 164548 164551 164553 164557 164560 164562 164566 164569 164571 164575 164578 164580 164584 164587 164589 164594 164595 164600 164602 164606 164607 164611 164615 164616 164620 164623 164625 164629 164633 164634 164638 164642 164643 164647 164650 164652 190416 190418 190427 190429 190438 190440 190449 190451 190460 190462 190471 190473 190482 190484 190493 190495 190504 190506 190515 190517 190526 190528 190537 190539 190548 190550 190552 190554 195901 195904 195908 195910 195915 195919 195921 198936 198937 0 50.05/48.77 c Total wall clock time (in seconds) : 48.667
OK 307
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) 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-3483008-1307605066/watcher-3483008-1307605066 -o /tmp/evaluation-result-3483008-1307605066/solver-3483008-1307605066 -C 1800 -W 1850 -M 7680 java -Xms6000m -Xmx6000m -jar sat4j-mus-v20110206.jar HOME/instance-3483008-1307605066.cnf running on 2 cores: 4,6 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.00 0.27 0.09 4/605 1347 /proc/meminfo: memFree=17742980/32951124 swapFree=34789492/67111528 [pid=1347] ppid=1345 vsize=23028 CPUtime=0 cores=4,6 /proc/1347/stat : 1347 (java) R 1345 1347 32557 0 -1 4202496 953 0 0 0 0 0 0 0 21 0 1 0 872108976 23580672 696 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212431054737 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/1347/statm: 5757 696 513 9 0 124 0 [pid=1347/tid=1348] ppid=1345 vsize=6345532 CPUtime=0 cores=4,6 /proc/1347/task/1348/stat : 1348 (java) R 1345 1347 32557 0 -1 4202560 5907 0 1 0 0 0 0 0 25 0 10 0 872108977 6497824768 6729 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 46912504009893 0 4 0 16784584 0 0 0 -1 4 0 0 0 [pid=1347/tid=1349] ppid=1345 vsize=6345532 CPUtime=0 cores=4,6 /proc/1347/task/1349/stat : 1349 (java) S 1345 1347 32557 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 10 0 872108978 6497824768 6736 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447832985 0 4 0 16784584 18446604446324020288 0 0 -1 4 0 0 0 [pid=1347/tid=1350] ppid=1345 vsize=6345532 CPUtime=0 cores=4,6 /proc/1347/task/1350/stat : 1350 (java) S 1345 1347 32557 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 10 0 872108978 6497824768 6742 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447832985 0 4 0 16784584 18446604446324020288 0 0 -1 4 0 0 0 [pid=1347/tid=1351] ppid=1345 vsize=6345532 CPUtime=0 cores=4,6 /proc/1347/task/1351/stat : 1351 (java) S 1345 1347 32557 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 872108978 6497824768 6748 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447832985 0 4 0 16784584 18446604446324020288 0 0 -1 4 0 0 0 [pid=1347/tid=1352] ppid=1345 vsize=6345532 CPUtime=0 cores=4,6 /proc/1347/task/1352/stat : 1352 (java) R 1345 1347 32557 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 872108978 6497824768 6754 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447849080 0 4 0 16784584 0 0 0 -1 6 0 0 0 [pid=1347/tid=1353] ppid=1345 vsize=6345532 CPUtime=0 cores=4,6 /proc/1347/task/1353/stat : 1353 (java) S 1345 1347 32557 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 872108978 6497824768 6759 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447832985 0 4 0 16784584 18446604446324020288 0 0 -1 4 0 0 0 [pid=1347/tid=1354] ppid=1345 vsize=6345532 CPUtime=0 cores=4,6 /proc/1347/task/1354/stat : 1354 (java) S 1345 1347 32557 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 872108978 6497824768 6766 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447832985 0 4 0 16784584 18446604446324020288 0 0 -1 4 0 0 0 [pid=1347/tid=1355] ppid=1345 vsize=6345532 CPUtime=0 cores=4,6 /proc/1347/task/1355/stat : 1355 (java) S 1345 1347 32557 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 872108978 6497824768 6772 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447832985 0 4 0 16784584 18446604446324020288 0 0 -1 4 0 0 0 [pid=1347/tid=1356] ppid=1345 vsize=6345532 CPUtime=0 cores=4,6 /proc/1347/task/1356/stat : 1356 (java) S 1345 1347 32557 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 872108978 6497824768 6778 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447832985 0 4 0 16784584 18446604446324020288 0 0 -1 4 0 0 0 [startup+0.082416 s] /proc/loadavg: 1.00 0.27 0.09 4/605 1347 /proc/meminfo: memFree=17742980/32951124 swapFree=34789492/67111528 [pid=1347] ppid=1345 vsize=6363868 CPUtime=0.07 cores=4,6 /proc/1347/stat : 1347 (java) S 1345 1347 32557 0 -1 4202496 8746 0 1 0 6 1 0 0 21 0 18 0 872108976 6516600832 8443 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/1347/statm: 1590967 8443 1751 9 0 1581705 0 [pid=1347/tid=1348] ppid=1345 vsize=6363868 CPUtime=0.07 cores=4,6 /proc/1347/task/1348/stat : 1348 (java) R 1345 1347 32557 0 -1 4202560 7572 0 1 0 6 1 0 0 25 0 18 0 872108977 6516600832 8444 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447845755 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=1347/tid=1349] ppid=1345 vsize=6363868 CPUtime=0 cores=4,6 /proc/1347/task/1349/stat : 1349 (java) S 1345 1347 32557 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 872108978 6516600832 8444 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447832985 0 4 0 16800975 18446604446324020288 0 0 -1 4 0 0 0 [pid=1347/tid=1350] ppid=1345 vsize=6363868 CPUtime=0 cores=4,6 /proc/1347/task/1350/stat : 1350 (java) S 1345 1347 32557 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 872108978 6516600832 8444 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447832985 0 4 0 16800975 18446604446324020288 0 0 -1 4 0 0 0 [pid=1347/tid=1351] ppid=1345 vsize=6363868 CPUtime=0 cores=4,6 /proc/1347/task/1351/stat : 1351 (java) S 1345 1347 32557 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872108978 6516600832 8446 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447832985 0 4 0 16800975 18446604446324020288 0 0 -1 4 0 0 0 [pid=1347/tid=1352] ppid=1345 vsize=6363868 CPUtime=0 cores=4,6 /proc/1347/task/1352/stat : 1352 (java) S 1345 1347 32557 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872108978 6516600832 8446 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447832985 0 4 0 16800975 18446604446324020288 0 0 -1 6 0 0 0 [pid=1347/tid=1353] ppid=1345 vsize=6363868 CPUtime=0 cores=4,6 /proc/1347/task/1353/stat : 1353 (java) S 1345 1347 32557 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872108978 6516600832 8446 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447832985 0 4 0 16800975 18446604446324020288 0 0 -1 4 0 0 0 [pid=1347/tid=1354] ppid=1345 vsize=6363868 CPUtime=0 cores=4,6 /proc/1347/task/1354/stat : 1354 (java) S 1345 1347 32557 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872108978 6516600832 8447 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447832985 0 4 0 16800975 18446604446324020288 0 0 -1 4 0 0 0 [pid=1347/tid=1355] ppid=1345 vsize=6363868 CPUtime=0 cores=4,6 /proc/1347/task/1355/stat : 1355 (java) S 1345 1347 32557 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872108978 6516600832 8448 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447832985 0 4 0 16800975 18446604446324020288 0 0 -1 4 0 0 0 [pid=1347/tid=1356] ppid=1345 vsize=6363868 CPUtime=0 cores=4,6 /proc/1347/task/1356/stat : 1356 (java) S 1345 1347 32557 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872108978 6516600832 8448 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447832985 0 4 0 16800975 18446604446324020288 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 6363868 [startup+0.101409 s] /proc/loadavg: 1.00 0.27 0.09 4/605 1347 /proc/meminfo: memFree=17742980/32951124 swapFree=34789492/67111528 [pid=1347] ppid=1345 vsize=6431220 CPUtime=0.1 cores=4,6 /proc/1347/stat : 1347 (java) S 1345 1347 32557 0 -1 4202496 9678 0 1 0 9 1 0 0 21 0 18 0 872108976 6585569280 9374 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/1347/statm: 1607805 9374 2088 9 0 1598543 0 [pid=1347/tid=1348] ppid=1345 vsize=6431220 CPUtime=0.08 cores=4,6 /proc/1347/task/1348/stat : 1348 (java) R 1345 1347 32557 0 -1 4202560 7779 0 1 0 7 1 0 0 25 0 18 0 872108977 6585569280 9374 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 47921579161112 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=1347/tid=1349] ppid=1345 vsize=6431220 CPUtime=0 cores=4,6 /proc/1347/task/1349/stat : 1349 (java) S 1345 1347 32557 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 872108978 6585569280 9374 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447832985 0 4 0 16800975 18446604446324020288 0 0 -1 4 0 0 0 [pid=1347/tid=1350] ppid=1345 vsize=6431220 CPUtime=0 cores=4,6 /proc/1347/task/1350/stat : 1350 (java) S 1345 1347 32557 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 872108978 6585569280 9374 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447832985 0 4 0 16800975 18446604446324020288 0 0 -1 4 0 0 0 [pid=1347/tid=1351] ppid=1345 vsize=6431220 CPUtime=0 cores=4,6 /proc/1347/task/1351/stat : 1351 (java) S 1345 1347 32557 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872108978 6585569280 9374 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447832985 0 4 0 16800975 18446604446324020288 0 0 -1 4 0 0 0 [pid=1347/tid=1352] ppid=1345 vsize=6431220 CPUtime=0 cores=4,6 /proc/1347/task/1352/stat : 1352 (java) S 1345 1347 32557 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872108978 6585569280 9374 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447832985 0 4 0 16800975 18446604446324020288 0 0 -1 6 0 0 0 [pid=1347/tid=1353] ppid=1345 vsize=6431220 CPUtime=0 cores=4,6 /proc/1347/task/1353/stat : 1353 (java) S 1345 1347 32557 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872108978 6585569280 9374 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447832985 0 4 0 16800975 18446604446324020288 0 0 -1 4 0 0 0 [pid=1347/tid=1354] ppid=1345 vsize=6431220 CPUtime=0 cores=4,6 /proc/1347/task/1354/stat : 1354 (java) S 1345 1347 32557 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872108978 6585569280 9375 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447832985 0 4 0 16800975 18446604446324020288 0 0 -1 4 0 0 0 [pid=1347/tid=1355] ppid=1345 vsize=6431220 CPUtime=0 cores=4,6 /proc/1347/task/1355/stat : 1355 (java) S 1345 1347 32557 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872108978 6585569280 9375 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447832985 0 4 0 16800975 18446604446324020288 0 0 -1 4 0 0 0 [pid=1347/tid=1356] ppid=1345 vsize=6431220 CPUtime=0 cores=4,6 /proc/1347/task/1356/stat : 1356 (java) S 1345 1347 32557 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872108978 6585569280 9375 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447832985 0 4 0 16800975 18446604446324020288 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 6431220 [startup+0.301341 s] /proc/loadavg: 1.00 0.27 0.09 4/605 1347 /proc/meminfo: memFree=17742980/32951124 swapFree=34789492/67111528 [pid=1347] ppid=1345 vsize=6433136 CPUtime=0.45 cores=4,6 /proc/1347/stat : 1347 (java) S 1345 1347 32557 0 -1 4202496 19943 0 1 0 43 2 0 0 21 0 18 0 872108976 6587531264 19135 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/1347/statm: 1608284 19161 2196 9 0 1599022 0 [pid=1347/tid=1348] ppid=1345 vsize=6433136 CPUtime=0.27 cores=4,6 /proc/1347/task/1348/stat : 1348 (java) R 1345 1347 32557 0 -1 4202560 16594 0 1 0 25 2 0 0 25 0 18 0 872108977 6587531264 19174 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 47921576957576 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=1347/tid=1349] ppid=1345 vsize=6433136 CPUtime=0 cores=4,6 /proc/1347/task/1349/stat : 1349 (java) S 1345 1347 32557 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 872108978 6587531264 19190 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447832985 0 4 0 16800975 18446604446324020288 0 0 -1 4 0 0 0 [pid=1347/tid=1350] ppid=1345 vsize=6433136 CPUtime=0 cores=4,6 /proc/1347/task/1350/stat : 1350 (java) S 1345 1347 32557 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 872108978 6587531264 19205 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447832985 0 4 0 16800975 18446604446324020288 0 0 -1 4 0 0 0 [pid=1347/tid=1351] ppid=1345 vsize=6433136 CPUtime=0 cores=4,6 /proc/1347/task/1351/stat : 1351 (java) S 1345 1347 32557 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872108978 6587531264 19222 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447832985 0 4 0 16800975 18446604446324020288 0 0 -1 4 0 0 0 [pid=1347/tid=1352] ppid=1345 vsize=6433136 CPUtime=0 cores=4,6 /proc/1347/task/1352/stat : 1352 (java) S 1345 1347 32557 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872108978 6587531264 19236 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447832985 0 4 0 16800975 18446604446324020288 0 0 -1 6 0 0 0 [pid=1347/tid=1353] ppid=1345 vsize=6433136 CPUtime=0 cores=4,6 /proc/1347/task/1353/stat : 1353 (java) S 1345 1347 32557 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872108978 6587531264 19252 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447832985 0 4 0 16800975 18446604446324020288 0 0 -1 4 0 0 0 [pid=1347/tid=1354] ppid=1345 vsize=6433136 CPUtime=0 cores=4,6 /proc/1347/task/1354/stat : 1354 (java) S 1345 1347 32557 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872108978 6587531264 19267 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447832985 0 4 0 16800975 18446604446324020288 0 0 -1 4 0 0 0 [pid=1347/tid=1355] ppid=1345 vsize=6433136 CPUtime=0 cores=4,6 /proc/1347/task/1355/stat : 1355 (java) S 1345 1347 32557 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872108978 6587531264 19283 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447832985 0 4 0 16800975 18446604446324020288 0 0 -1 4 0 0 0 [pid=1347/tid=1356] ppid=1345 vsize=6433136 CPUtime=0 cores=4,6 /proc/1347/task/1356/stat : 1356 (java) S 1345 1347 32557 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872108978 6587531264 19299 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447832985 0 4 0 16800975 18446604446324020288 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 0.45 Current children cumulated vsize (KiB) 6433136 [startup+0.701265 s] /proc/loadavg: 1.00 0.27 0.09 4/605 1347 /proc/meminfo: memFree=17742980/32951124 swapFree=34789492/67111528 [pid=1347] ppid=1345 vsize=6433136 CPUtime=1.03 cores=4,6 /proc/1347/stat : 1347 (java) S 1345 1347 32557 0 -1 4202496 38510 0 1 0 99 4 0 0 21 0 18 0 872108976 6587531264 37324 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/1347/statm: 1608284 37324 2213 9 0 1599022 0 [pid=1347/tid=1348] ppid=1345 vsize=6433136 CPUtime=0.68 cores=4,6 /proc/1347/task/1348/stat : 1348 (java) R 1345 1347 32557 0 -1 4202560 34588 0 1 0 64 4 0 0 25 0 18 0 872108977 6587531264 37324 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447843659 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=1347/tid=1349] ppid=1345 vsize=6433136 CPUtime=0 cores=4,6 /proc/1347/task/1349/stat : 1349 (java) S 1345 1347 32557 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 872108978 6587531264 37324 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447832985 0 4 0 16800975 18446604446324020288 0 0 -1 4 0 0 0 [pid=1347/tid=1350] ppid=1345 vsize=6433136 CPUtime=0 cores=4,6 /proc/1347/task/1350/stat : 1350 (java) S 1345 1347 32557 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 872108978 6587531264 37324 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447832985 0 4 0 16800975 18446604446324020288 0 0 -1 4 0 0 0 [pid=1347/tid=1351] ppid=1345 vsize=6433136 CPUtime=0 cores=4,6 /proc/1347/task/1351/stat : 1351 (java) S 1345 1347 32557 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872108978 6587531264 37324 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447832985 0 4 0 16800975 18446604446324020288 0 0 -1 4 0 0 0 [pid=1347/tid=1352] ppid=1345 vsize=6433136 CPUtime=0 cores=4,6 /proc/1347/task/1352/stat : 1352 (java) S 1345 1347 32557 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872108978 6587531264 37324 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447832985 0 4 0 16800975 18446604446324020288 0 0 -1 6 0 0 0 [pid=1347/tid=1353] ppid=1345 vsize=6433136 CPUtime=0 cores=4,6 /proc/1347/task/1353/stat : 1353 (java) S 1345 1347 32557 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872108978 6587531264 37324 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447832985 0 4 0 16800975 18446604446324020288 0 0 -1 4 0 0 0 [pid=1347/tid=1354] ppid=1345 vsize=6433136 CPUtime=0 cores=4,6 /proc/1347/task/1354/stat : 1354 (java) S 1345 1347 32557 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872108978 6587531264 37325 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447832985 0 4 0 16800975 18446604446324020288 0 0 -1 4 0 0 0 [pid=1347/tid=1355] ppid=1345 vsize=6433136 CPUtime=0 cores=4,6 /proc/1347/task/1355/stat : 1355 (java) S 1345 1347 32557 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872108978 6587531264 37325 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447832985 0 4 0 16800975 18446604446324020288 0 0 -1 4 0 0 0 [pid=1347/tid=1356] ppid=1345 vsize=6433136 CPUtime=0 cores=4,6 /proc/1347/task/1356/stat : 1356 (java) S 1345 1347 32557 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872108978 6587531264 37325 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447832985 0 4 0 16800975 18446604446324020288 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 1.03 Current children cumulated vsize (KiB) 6433136 [startup+1.50115 s] /proc/loadavg: 1.00 0.27 0.09 5/623 1372 /proc/meminfo: memFree=16788416/32951124 swapFree=34789492/67111528 [pid=1347] ppid=1345 vsize=6434164 CPUtime=2.06 cores=4,6 /proc/1347/stat : 1347 (java) S 1345 1347 32557 0 -1 4202496 60872 0 1 0 199 7 0 0 21 0 19 0 872108976 6588583936 58157 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/1347/statm: 1608541 58157 2224 9 0 1599279 0 [pid=1347/tid=1348] ppid=1345 vsize=6434164 CPUtime=1.47 cores=4,6 /proc/1347/task/1348/stat : 1348 (java) R 1345 1347 32557 0 -1 4202560 55197 0 1 0 141 6 0 0 25 0 19 0 872108977 6588583936 58157 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 46912505715135 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=1347/tid=1349] ppid=1345 vsize=6434164 CPUtime=0 cores=4,6 /proc/1347/task/1349/stat : 1349 (java) S 1345 1347 32557 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 872108978 6588583936 58157 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447832985 0 4 0 16800975 18446604446324020288 0 0 -1 4 0 0 0 [pid=1347/tid=1350] ppid=1345 vsize=6434164 CPUtime=0 cores=4,6 /proc/1347/task/1350/stat : 1350 (java) S 1345 1347 32557 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 872108978 6588583936 58157 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447832985 0 4 0 16800975 18446604446324020288 0 0 -1 4 0 0 0 [pid=1347/tid=1351] ppid=1345 vsize=6434164 CPUtime=0 cores=4,6 /proc/1347/task/1351/stat : 1351 (java) S 1345 1347 32557 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 872108978 6588583936 58157 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447832985 0 4 0 16800975 18446604446324020288 0 0 -1 4 0 0 0 [pid=1347/tid=1352] ppid=1345 vsize=6434164 CPUtime=0 cores=4,6 /proc/1347/task/1352/stat : 1352 (java) S 1345 1347 32557 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 872108978 6588583936 58157 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447832985 0 4 0 16800975 18446604446324020288 0 0 -1 6 0 0 0 [pid=1347/tid=1353] ppid=1345 vsize=6434164 CPUtime=0 cores=4,6 /proc/1347/task/1353/stat : 1353 (java) S 1345 1347 32557 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 872108978 6588583936 58157 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447832985 0 4 0 16800975 18446604446324020288 0 0 -1 4 0 0 0 [pid=1347/tid=1354] ppid=1345 vsize=6434164 CPUtime=0 cores=4,6 /proc/1347/task/1354/stat : 1354 (java) S 1345 1347 32557 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 872108978 6588583936 58157 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447832985 0 4 0 16800975 18446604446324020288 0 0 -1 4 0 0 0 [pid=1347/tid=1355] ppid=1345 vsize=6434164 CPUtime=0 cores=4,6 /proc/1347/task/1355/stat : 1355 (java) S 1345 1347 32557 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 872108978 6588583936 58157 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447832985 0 4 0 16800975 18446604446324020288 0 0 -1 4 0 0 0 [pid=1347/tid=1356] ppid=1345 vsize=6434164 CPUtime=0 cores=4,6 /proc/1347/task/1356/stat : 1356 (java) S 1345 1347 32557 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 872108978 6588583936 58157 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447832985 0 4 0 16800975 18446604446324020288 0 0 -1 4 0 0 0 [pid=1347/tid=1358] ppid=1345 vsize=6434164 CPUtime=0 cores=4,6 /proc/1347/task/1358/stat : 1358 (java) S 1345 1347 32557 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 19 0 872108979 6588583936 58157 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447833600 0 0 0 16800975 18446604446324020288 0 0 -1 4 0 0 0 [pid=1347/tid=1359] ppid=1345 vsize=6434164 CPUtime=0 cores=4,6 /proc/1347/task/1359/stat : 1359 (java) S 1345 1347 32557 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 872108979 6588583936 58157 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447832985 0 4 0 16800975 18446604446324020288 0 0 -1 4 0 0 0 [pid=1347/tid=1360] ppid=1345 vsize=6434164 CPUtime=0 cores=4,6 /proc/1347/task/1360/stat : 1360 (java) S 1345 1347 32557 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 872108979 6588583936 58157 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447832985 0 4 0 16800975 18446604446324020288 0 0 -1 4 0 0 0 [pid=1347/tid=1361] ppid=1345 vsize=6434164 CPUtime=0 cores=4,6 /proc/1347/task/1361/stat : 1361 (java) S 1345 1347 32557 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 872108982 6588583936 58157 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447840689 0 4 0 16800975 18446604446324020288 0 0 -1 4 0 0 0 [pid=1347/tid=1362] ppid=1345 vsize=6434164 CPUtime=0.19 cores=4,6 /proc/1347/task/1362/stat : 1362 (java) S 1345 1347 32557 0 -1 4202560 1020 0 0 0 19 0 0 0 23 0 19 0 872108982 6588583936 58157 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447832985 0 4 0 16800975 18446604446324020288 0 0 -1 6 0 0 0 [pid=1347/tid=1363] ppid=1345 vsize=6434164 CPUtime=0.38 cores=4,6 /proc/1347/task/1363/stat : 1363 (java) S 1345 1347 32557 0 -1 4202560 3492 0 0 0 38 0 0 0 22 0 19 0 872108982 6588583936 58157 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447832985 0 4 0 16800975 18446604446324020288 0 0 -1 6 0 0 0 [pid=1347/tid=1364] ppid=1345 vsize=6434164 CPUtime=0 cores=4,6 /proc/1347/task/1364/stat : 1364 (java) S 1345 1347 32557 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 872108982 6588583936 58157 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447832985 0 4 0 16800975 18446604446324020288 0 0 -1 4 0 0 0 [pid=1347/tid=1365] ppid=1345 vsize=6434164 CPUtime=0 cores=4,6 /proc/1347/task/1365/stat : 1365 (java) S 1345 1347 32557 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 872108982 6588583936 58157 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447833600 0 4 0 16800975 18446604446324020288 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 2.06 Current children cumulated vsize (KiB) 6434164 [startup+3.10087 s] /proc/loadavg: 1.00 0.27 0.09 5/622 1388 /proc/meminfo: memFree=16000820/32951124 swapFree=34789492/67111528 ################ # More data... # ################ [pid=1347/tid=1351] ppid=1345 vsize=6433648 CPUtime=0.13 cores=4,6 /proc/1347/task/1351/stat : 1351 (java) S 1345 1347 32557 0 -1 4202560 4679 0 0 0 13 0 0 0 16 0 19 0 872108978 6588055552 442881 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447832985 0 4 0 16800975 18446604446324020288 0 0 -1 4 0 0 0 [pid=1347/tid=1352] ppid=1345 vsize=6433648 CPUtime=0.19 cores=4,6 /proc/1347/task/1352/stat : 1352 (java) S 1345 1347 32557 0 -1 4202560 9208 0 0 0 18 1 0 0 15 0 19 0 872108978 6588055552 442881 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447832985 0 4 0 16800975 18446604446324020288 0 0 -1 4 0 0 0 [pid=1347/tid=1353] ppid=1345 vsize=6433648 CPUtime=0.02 cores=4,6 /proc/1347/task/1353/stat : 1353 (java) S 1345 1347 32557 0 -1 4202560 90 0 0 0 2 0 0 0 15 0 19 0 872108978 6588055552 442881 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447832985 0 4 0 16800975 18446604446324020288 0 0 -1 4 0 0 0 [pid=1347/tid=1354] ppid=1345 vsize=6433648 CPUtime=0 cores=4,6 /proc/1347/task/1354/stat : 1354 (java) S 1345 1347 32557 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 872108978 6588055552 442881 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447832985 0 4 0 16800975 18446604446324020288 0 0 -1 6 0 0 0 [pid=1347/tid=1355] ppid=1345 vsize=6433648 CPUtime=0 cores=4,6 /proc/1347/task/1355/stat : 1355 (java) S 1345 1347 32557 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 872108978 6588055552 442881 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447832985 0 4 0 16800975 18446604446324020288 0 0 -1 6 0 0 0 [pid=1347/tid=1356] ppid=1345 vsize=6433648 CPUtime=0.23 cores=4,6 /proc/1347/task/1356/stat : 1356 (java) S 1345 1347 32557 0 -1 4202560 14862 0 0 0 22 1 0 0 16 0 19 0 872108978 6588055552 442881 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447832985 0 4 0 16800975 18446604446324020288 0 0 -1 6 0 0 0 [pid=1347/tid=1358] ppid=1345 vsize=6433648 CPUtime=0 cores=4,6 /proc/1347/task/1358/stat : 1358 (java) S 1345 1347 32557 0 -1 4202560 91 0 0 0 0 0 0 0 15 0 19 0 872108979 6588055552 442881 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447833600 0 0 0 16800975 18446604446324020288 0 0 -1 6 0 0 0 [pid=1347/tid=1359] ppid=1345 vsize=6433648 CPUtime=0 cores=4,6 /proc/1347/task/1359/stat : 1359 (java) S 1345 1347 32557 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 872108979 6588055552 442881 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447832985 0 4 0 16800975 18446604446324020288 0 0 -1 6 0 0 0 [pid=1347/tid=1360] ppid=1345 vsize=6433648 CPUtime=0 cores=4,6 /proc/1347/task/1360/stat : 1360 (java) S 1345 1347 32557 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 19 0 872108979 6588055552 442881 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447832985 0 4 0 16800975 18446604446324020288 0 0 -1 4 0 0 0 [pid=1347/tid=1361] ppid=1345 vsize=6433648 CPUtime=0 cores=4,6 /proc/1347/task/1361/stat : 1361 (java) S 1345 1347 32557 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 872108982 6588055552 442881 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447840689 0 4 0 16800975 18446604446324020288 0 0 -1 4 0 0 0 [pid=1347/tid=1362] ppid=1345 vsize=6433648 CPUtime=0.19 cores=4,6 /proc/1347/task/1362/stat : 1362 (java) S 1345 1347 32557 0 -1 4202560 1020 0 0 0 19 0 0 0 23 0 19 0 872108982 6588055552 442881 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447832985 0 4 0 16800975 18446604446324020288 0 0 -1 6 0 0 0 [pid=1347/tid=1363] ppid=1345 vsize=6433648 CPUtime=0.49 cores=4,6 /proc/1347/task/1363/stat : 1363 (java) S 1345 1347 32557 0 -1 4202560 4668 0 0 0 49 0 0 0 15 0 19 0 872108982 6588055552 442881 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447832985 0 4 0 16800975 18446604446324020288 0 0 -1 6 0 0 0 [pid=1347/tid=1364] ppid=1345 vsize=6433648 CPUtime=0 cores=4,6 /proc/1347/task/1364/stat : 1364 (java) S 1345 1347 32557 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 872108982 6588055552 442881 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447832985 0 4 0 16800975 18446604446324020288 0 0 -1 4 0 0 0 [pid=1347/tid=1365] ppid=1345 vsize=6433648 CPUtime=0 cores=4,6 /proc/1347/task/1365/stat : 1365 (java) S 1345 1347 32557 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 872108982 6588055552 442881 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447833600 0 4 0 16800975 18446604446324020288 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 45.98 Current children cumulated vsize (KiB) 6433648 [startup+46.4007 s] /proc/loadavg: 2.85 0.87 0.30 5/602 2259 /proc/meminfo: memFree=12145304/32951124 swapFree=34789492/67111528 [pid=1347] ppid=1345 vsize=6433648 CPUtime=47.58 cores=4,6 /proc/1347/stat : 1347 (java) S 1345 1347 32557 0 -1 4202496 447035 0 1 0 4703 55 0 0 21 0 18 0 872108976 6588055552 442881 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/1347/statm: 1608412 442881 2242 9 0 1599150 0 [pid=1347/tid=1348] ppid=1345 vsize=6433648 CPUtime=45.83 cores=4,6 /proc/1347/task/1348/stat : 1348 (java) R 1345 1347 32557 0 -1 4202560 391558 0 1 0 4538 45 0 0 25 0 18 0 872108977 6588055552 442881 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 46912505632647 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=1347/tid=1349] ppid=1345 vsize=6433648 CPUtime=0.24 cores=4,6 /proc/1347/task/1349/stat : 1349 (java) S 1345 1347 32557 0 -1 4202560 9804 0 0 0 23 1 0 0 15 0 18 0 872108978 6588055552 442881 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447832985 0 4 0 16800975 18446604446324020288 0 0 -1 4 0 0 0 [pid=1347/tid=1350] ppid=1345 vsize=6433648 CPUtime=0.11 cores=4,6 /proc/1347/task/1350/stat : 1350 (java) S 1345 1347 32557 0 -1 4202560 9780 0 0 0 11 0 0 0 15 0 18 0 872108978 6588055552 442881 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447832985 0 4 0 16800975 18446604446324020288 0 0 -1 6 0 0 0 [pid=1347/tid=1351] ppid=1345 vsize=6433648 CPUtime=0.13 cores=4,6 /proc/1347/task/1351/stat : 1351 (java) S 1345 1347 32557 0 -1 4202560 4679 0 0 0 13 0 0 0 16 0 18 0 872108978 6588055552 442881 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447832985 0 4 0 16800975 18446604446324020288 0 0 -1 4 0 0 0 [pid=1347/tid=1352] ppid=1345 vsize=6433648 CPUtime=0.19 cores=4,6 /proc/1347/task/1352/stat : 1352 (java) S 1345 1347 32557 0 -1 4202560 9208 0 0 0 18 1 0 0 15 0 18 0 872108978 6588055552 442881 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447832985 0 4 0 16800975 18446604446324020288 0 0 -1 4 0 0 0 [pid=1347/tid=1353] ppid=1345 vsize=6433648 CPUtime=0.02 cores=4,6 /proc/1347/task/1353/stat : 1353 (java) S 1345 1347 32557 0 -1 4202560 90 0 0 0 2 0 0 0 15 0 18 0 872108978 6588055552 442881 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447832985 0 4 0 16800975 18446604446324020288 0 0 -1 4 0 0 0 [pid=1347/tid=1354] ppid=1345 vsize=6433648 CPUtime=0 cores=4,6 /proc/1347/task/1354/stat : 1354 (java) S 1345 1347 32557 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 872108978 6588055552 442881 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447832985 0 4 0 16800975 18446604446324020288 0 0 -1 6 0 0 0 [pid=1347/tid=1355] ppid=1345 vsize=6433648 CPUtime=0 cores=4,6 /proc/1347/task/1355/stat : 1355 (java) S 1345 1347 32557 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 872108978 6588055552 442881 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447832985 0 4 0 16800975 18446604446324020288 0 0 -1 6 0 0 0 [pid=1347/tid=1356] ppid=1345 vsize=6433648 CPUtime=0.23 cores=4,6 /proc/1347/task/1356/stat : 1356 (java) S 1345 1347 32557 0 -1 4202560 14862 0 0 0 22 1 0 0 16 0 18 0 872108978 6588055552 442881 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447832985 0 4 0 16800975 18446604446324020288 0 0 -1 6 0 0 0 [pid=1347/tid=1358] ppid=1345 vsize=6433648 CPUtime=0 cores=4,6 /proc/1347/task/1358/stat : 1358 (java) S 1345 1347 32557 0 -1 4202560 91 0 0 0 0 0 0 0 15 0 18 0 872108979 6588055552 442881 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447833600 0 0 0 16800975 18446604446324020288 0 0 -1 6 0 0 0 [pid=1347/tid=1359] ppid=1345 vsize=6433648 CPUtime=0 cores=4,6 /proc/1347/task/1359/stat : 1359 (java) S 1345 1347 32557 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 18 0 872108979 6588055552 442881 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447832985 0 4 0 16800975 18446604446324020288 0 0 -1 6 0 0 0 [pid=1347/tid=1360] ppid=1345 vsize=6433648 CPUtime=0 cores=4,6 /proc/1347/task/1360/stat : 1360 (java) S 1345 1347 32557 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 18 0 872108979 6588055552 442881 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447832985 0 4 0 16800975 18446604446324020288 0 0 -1 4 0 0 0 [pid=1347/tid=1361] ppid=1345 vsize=6433648 CPUtime=0 cores=4,6 /proc/1347/task/1361/stat : 1361 (java) S 1345 1347 32557 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872108982 6588055552 442881 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447840689 0 4 0 16800975 18446604446324020288 0 0 -1 4 0 0 0 [pid=1347/tid=1362] ppid=1345 vsize=6433648 CPUtime=0.19 cores=4,6 /proc/1347/task/1362/stat : 1362 (java) S 1345 1347 32557 0 -1 4202560 1020 0 0 0 19 0 0 0 23 0 18 0 872108982 6588055552 442881 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447832985 0 4 0 16800975 18446604446324020288 0 0 -1 6 0 0 0 [pid=1347/tid=1363] ppid=1345 vsize=6433648 CPUtime=0.49 cores=4,6 /proc/1347/task/1363/stat : 1363 (java) S 1345 1347 32557 0 -1 4202560 4668 0 0 0 49 0 0 0 15 0 18 0 872108982 6588055552 442881 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447832985 0 4 0 16800975 18446604446324020288 0 0 -1 6 0 0 0 [pid=1347/tid=1364] ppid=1345 vsize=6433648 CPUtime=0 cores=4,6 /proc/1347/task/1364/stat : 1364 (java) S 1345 1347 32557 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872108982 6588055552 442881 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447832985 0 4 0 16800975 18446604446324020288 0 0 -1 4 0 0 0 [pid=1347/tid=1365] ppid=1345 vsize=6433648 CPUtime=0 cores=4,6 /proc/1347/task/1365/stat : 1365 (java) S 1345 1347 32557 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 18 0 872108982 6588055552 442881 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447833600 0 4 0 16800975 18446604446324020288 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 47.58 Current children cumulated vsize (KiB) 6433648 [startup+48.0014 s] /proc/loadavg: 2.85 0.87 0.30 5/601 2289 /proc/meminfo: memFree=12107816/32951124 swapFree=34789492/67111528 [pid=1347] ppid=1345 vsize=6433648 CPUtime=49.18 cores=4,6 /proc/1347/stat : 1347 (java) S 1345 1347 32557 0 -1 4202496 447036 0 1 0 4863 55 0 0 21 0 19 0 872108976 6588055552 442882 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/1347/statm: 1608412 442882 2242 9 0 1599150 0 [pid=1347/tid=1348] ppid=1345 vsize=6433648 CPUtime=47.43 cores=4,6 /proc/1347/task/1348/stat : 1348 (java) R 1345 1347 32557 0 -1 4202560 391559 0 1 0 4698 45 0 0 25 0 19 0 872108977 6588055552 442882 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 46912505678789 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=1347/tid=1349] ppid=1345 vsize=6433648 CPUtime=0.24 cores=4,6 /proc/1347/task/1349/stat : 1349 (java) S 1345 1347 32557 0 -1 4202560 9804 0 0 0 23 1 0 0 15 0 19 0 872108978 6588055552 442882 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447832985 0 4 0 16800975 18446604446324020288 0 0 -1 4 0 0 0 [pid=1347/tid=1350] ppid=1345 vsize=6433648 CPUtime=0.11 cores=4,6 /proc/1347/task/1350/stat : 1350 (java) S 1345 1347 32557 0 -1 4202560 9780 0 0 0 11 0 0 0 15 0 19 0 872108978 6588055552 442882 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447832985 0 4 0 16800975 18446604446324020288 0 0 -1 6 0 0 0 [pid=1347/tid=1351] ppid=1345 vsize=6433648 CPUtime=0.13 cores=4,6 /proc/1347/task/1351/stat : 1351 (java) S 1345 1347 32557 0 -1 4202560 4679 0 0 0 13 0 0 0 16 0 19 0 872108978 6588055552 442882 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447832985 0 4 0 16800975 18446604446324020288 0 0 -1 4 0 0 0 [pid=1347/tid=1352] ppid=1345 vsize=6433648 CPUtime=0.19 cores=4,6 /proc/1347/task/1352/stat : 1352 (java) S 1345 1347 32557 0 -1 4202560 9208 0 0 0 18 1 0 0 15 0 19 0 872108978 6588055552 442882 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447832985 0 4 0 16800975 18446604446324020288 0 0 -1 4 0 0 0 [pid=1347/tid=1353] ppid=1345 vsize=6433648 CPUtime=0.02 cores=4,6 /proc/1347/task/1353/stat : 1353 (java) S 1345 1347 32557 0 -1 4202560 90 0 0 0 2 0 0 0 15 0 19 0 872108978 6588055552 442882 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447832985 0 4 0 16800975 18446604446324020288 0 0 -1 4 0 0 0 [pid=1347/tid=1354] ppid=1345 vsize=6433648 CPUtime=0 cores=4,6 /proc/1347/task/1354/stat : 1354 (java) S 1345 1347 32557 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 872108978 6588055552 442882 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447832985 0 4 0 16800975 18446604446324020288 0 0 -1 6 0 0 0 [pid=1347/tid=1355] ppid=1345 vsize=6433648 CPUtime=0 cores=4,6 /proc/1347/task/1355/stat : 1355 (java) S 1345 1347 32557 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 872108978 6588055552 442882 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447832985 0 4 0 16800975 18446604446324020288 0 0 -1 6 0 0 0 [pid=1347/tid=1356] ppid=1345 vsize=6433648 CPUtime=0.23 cores=4,6 /proc/1347/task/1356/stat : 1356 (java) S 1345 1347 32557 0 -1 4202560 14862 0 0 0 22 1 0 0 16 0 19 0 872108978 6588055552 442882 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447832985 0 4 0 16800975 18446604446324020288 0 0 -1 6 0 0 0 [pid=1347/tid=1358] ppid=1345 vsize=6433648 CPUtime=0 cores=4,6 /proc/1347/task/1358/stat : 1358 (java) S 1345 1347 32557 0 -1 4202560 91 0 0 0 0 0 0 0 15 0 19 0 872108979 6588055552 442882 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447833600 0 0 0 16800975 18446604446324020288 0 0 -1 6 0 0 0 [pid=1347/tid=1359] ppid=1345 vsize=6433648 CPUtime=0 cores=4,6 /proc/1347/task/1359/stat : 1359 (java) S 1345 1347 32557 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 872108979 6588055552 442882 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447832985 0 4 0 16800975 18446604446324020288 0 0 -1 6 0 0 0 [pid=1347/tid=1360] ppid=1345 vsize=6433648 CPUtime=0 cores=4,6 /proc/1347/task/1360/stat : 1360 (java) S 1345 1347 32557 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 19 0 872108979 6588055552 442882 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447832985 0 4 0 16800975 18446604446324020288 0 0 -1 4 0 0 0 [pid=1347/tid=1361] ppid=1345 vsize=6433648 CPUtime=0 cores=4,6 /proc/1347/task/1361/stat : 1361 (java) S 1345 1347 32557 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 872108982 6588055552 442882 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447840689 0 4 0 16800975 18446604446324020288 0 0 -1 4 0 0 0 [pid=1347/tid=1362] ppid=1345 vsize=6433648 CPUtime=0.19 cores=4,6 /proc/1347/task/1362/stat : 1362 (java) S 1345 1347 32557 0 -1 4202560 1020 0 0 0 19 0 0 0 23 0 19 0 872108982 6588055552 442882 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447832985 0 4 0 16800975 18446604446324020288 0 0 -1 6 0 0 0 [pid=1347/tid=1363] ppid=1345 vsize=6433648 CPUtime=0.49 cores=4,6 /proc/1347/task/1363/stat : 1363 (java) S 1345 1347 32557 0 -1 4202560 4668 0 0 0 49 0 0 0 15 0 19 0 872108982 6588055552 442882 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447832985 0 4 0 16800975 18446604446324020288 0 0 -1 6 0 0 0 [pid=1347/tid=1364] ppid=1345 vsize=6433648 CPUtime=0 cores=4,6 /proc/1347/task/1364/stat : 1364 (java) S 1345 1347 32557 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 872108982 6588055552 442882 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447832985 0 4 0 16800975 18446604446324020288 0 0 -1 4 0 0 0 [pid=1347/tid=1365] ppid=1345 vsize=6433648 CPUtime=0 cores=4,6 /proc/1347/task/1365/stat : 1365 (java) S 1345 1347 32557 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 872108982 6588055552 442882 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447833600 0 4 0 16800975 18446604446324020288 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 49.18 Current children cumulated vsize (KiB) 6433648 [startup+48.4013 s] /proc/loadavg: 3.02 0.94 0.33 5/602 2308 /proc/meminfo: memFree=12059416/32951124 swapFree=34789492/67111528 [pid=1347] ppid=1345 vsize=6433648 CPUtime=49.74 cores=4,6 /proc/1347/stat : 1347 (java) S 1345 1347 32557 0 -1 4202496 451332 0 1 0 4918 56 0 0 21 0 18 0 872108976 6588055552 445416 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/1347/statm: 1608412 445416 2242 9 0 1599150 0 [pid=1347/tid=1348] ppid=1345 vsize=6433648 CPUtime=47.85 cores=4,6 /proc/1347/task/1348/stat : 1348 (java) R 1345 1347 32557 0 -1 4202560 391562 0 1 0 4740 45 0 0 25 0 18 0 872108977 6588055552 445416 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 46912505228285 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=1347/tid=1349] ppid=1345 vsize=6433648 CPUtime=0.24 cores=4,6 /proc/1347/task/1349/stat : 1349 (java) S 1345 1347 32557 0 -1 4202560 9804 0 0 0 23 1 0 0 15 0 18 0 872108978 6588055552 445416 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447832985 0 4 0 16800975 18446604446324020288 0 0 -1 4 0 0 0 [pid=1347/tid=1350] ppid=1345 vsize=6433648 CPUtime=0.11 cores=4,6 /proc/1347/task/1350/stat : 1350 (java) S 1345 1347 32557 0 -1 4202560 9780 0 0 0 11 0 0 0 15 0 18 0 872108978 6588055552 445416 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447832985 0 4 0 16800975 18446604446324020288 0 0 -1 6 0 0 0 [pid=1347/tid=1351] ppid=1345 vsize=6433648 CPUtime=0.13 cores=4,6 /proc/1347/task/1351/stat : 1351 (java) S 1345 1347 32557 0 -1 4202560 4679 0 0 0 13 0 0 0 16 0 18 0 872108978 6588055552 445416 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447832985 0 4 0 16800975 18446604446324020288 0 0 -1 4 0 0 0 [pid=1347/tid=1352] ppid=1345 vsize=6433648 CPUtime=0.19 cores=4,6 /proc/1347/task/1352/stat : 1352 (java) S 1345 1347 32557 0 -1 4202560 9208 0 0 0 18 1 0 0 15 0 18 0 872108978 6588055552 445416 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447832985 0 4 0 16800975 18446604446324020288 0 0 -1 4 0 0 0 [pid=1347/tid=1353] ppid=1345 vsize=6433648 CPUtime=0.02 cores=4,6 /proc/1347/task/1353/stat : 1353 (java) S 1345 1347 32557 0 -1 4202560 90 0 0 0 2 0 0 0 15 0 18 0 872108978 6588055552 445416 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447832985 0 4 0 16800975 18446604446324020288 0 0 -1 4 0 0 0 [pid=1347/tid=1354] ppid=1345 vsize=6433648 CPUtime=0 cores=4,6 /proc/1347/task/1354/stat : 1354 (java) S 1345 1347 32557 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 872108978 6588055552 445416 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447832985 0 4 0 16800975 18446604446324020288 0 0 -1 6 0 0 0 [pid=1347/tid=1355] ppid=1345 vsize=6433648 CPUtime=0 cores=4,6 /proc/1347/task/1355/stat : 1355 (java) S 1345 1347 32557 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 872108978 6588055552 445416 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447832985 0 4 0 16800975 18446604446324020288 0 0 -1 6 0 0 0 [pid=1347/tid=1356] ppid=1345 vsize=6433648 CPUtime=0.23 cores=4,6 /proc/1347/task/1356/stat : 1356 (java) S 1345 1347 32557 0 -1 4202560 14862 0 0 0 22 1 0 0 16 0 18 0 872108978 6588055552 445416 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447832985 0 4 0 16800975 18446604446324020288 0 0 -1 6 0 0 0 [pid=1347/tid=1358] ppid=1345 vsize=6433648 CPUtime=0 cores=4,6 /proc/1347/task/1358/stat : 1358 (java) S 1345 1347 32557 0 -1 4202560 91 0 0 0 0 0 0 0 15 0 18 0 872108979 6588055552 445416 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447833600 0 0 0 16800975 18446604446324020288 0 0 -1 6 0 0 0 [pid=1347/tid=1359] ppid=1345 vsize=6433648 CPUtime=0 cores=4,6 /proc/1347/task/1359/stat : 1359 (java) S 1345 1347 32557 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 18 0 872108979 6588055552 445416 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447832985 0 4 0 16800975 18446604446324020288 0 0 -1 6 0 0 0 [pid=1347/tid=1360] ppid=1345 vsize=6433648 CPUtime=0 cores=4,6 /proc/1347/task/1360/stat : 1360 (java) S 1345 1347 32557 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 18 0 872108979 6588055552 445416 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447832985 0 4 0 16800975 18446604446324020288 0 0 -1 4 0 0 0 [pid=1347/tid=1361] ppid=1345 vsize=6433648 CPUtime=0 cores=4,6 /proc/1347/task/1361/stat : 1361 (java) S 1345 1347 32557 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872108982 6588055552 445416 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447840689 0 4 0 16800975 18446604446324020288 0 0 -1 4 0 0 0 [pid=1347/tid=1362] ppid=1345 vsize=6433648 CPUtime=0.19 cores=4,6 /proc/1347/task/1362/stat : 1362 (java) R 1345 1347 32557 0 -1 4202560 1020 0 0 0 19 0 0 0 17 0 18 0 872108982 6588055552 445416 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447832985 0 4 0 16800975 0 0 0 -1 6 0 0 0 [pid=1347/tid=1363] ppid=1345 vsize=6433648 CPUtime=0.66 cores=4,6 /proc/1347/task/1363/stat : 1363 (java) S 1345 1347 32557 0 -1 4202560 8961 0 0 0 64 2 0 0 16 0 18 0 872108982 6588055552 445416 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447832985 0 4 0 16800975 18446604446324020288 0 0 -1 6 0 0 0 [pid=1347/tid=1364] ppid=1345 vsize=6433648 CPUtime=0 cores=4,6 /proc/1347/task/1364/stat : 1364 (java) S 1345 1347 32557 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 872108982 6588055552 445416 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447832985 0 4 0 16800975 18446604446324020288 0 0 -1 4 0 0 0 [pid=1347/tid=1365] ppid=1345 vsize=6433648 CPUtime=0 cores=4,6 /proc/1347/task/1365/stat : 1365 (java) S 1345 1347 32557 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 18 0 872108982 6588055552 445416 33554432000 1073741824 1073778376 140736579537040 18446744073709551615 212447833600 0 4 0 16800975 18446604446324020288 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 49.74 Current children cumulated vsize (KiB) 6433648 [startup+48.8012 s] /proc/loadavg: 3.02 0.94 0.33 5/602 2308 /proc/meminfo: memFree=12059416/32951124 swapFree=34789492/67111528 [pid=1347] ppid=1345 vsize=0 CPUtime=50.15 cores=4,6 /proc/1347/stat : 1347 (java) Z 1345 1347 32557 0 -1 4203548 451343 0 1 0 4956 59 0 0 18 0 2 0 872108976 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/1347/statm: 0 0 0 0 0 0 0 [pid=1347/tid=1348] ppid=1345 vsize=0 CPUtime=48.23 cores=4,6 /proc/1347/task/1348/stat : 1348 (java) R 1345 1347 32557 0 -1 4203588 391565 0 1 0 4775 48 0 0 18 0 2 0 872108977 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 50.15 Current children cumulated vsize (KiB) 0 Child status: 20 Real time (s): 48.8307 CPU time (s): 50.1954 CPU user time (s): 49.5695 CPU system time (s): 0.625904 CPU usage (%): 102.795 Max. virtual memory (cumulated for all children) (KiB): 6435192 getrusage(RUSAGE_CHILDREN,...) data: user time used= 49.5695 system time used= 0.625904 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 451343 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= 4066 involuntary context switches= 2802 runsolver used 0.299954 second user time and 0.58591 second system time The end
Begin job on node102 at 2011-06-09 09:37:46 IDJOB=3483008 IDBENCH=89264 IDSOLVER=1972 FILE ID=node102/3483008-1307605066 RUNJOBID= node102-1307605018-32576 PBS_JOBID= 13547793 Free space on /tmp= 73688 MiB SOLVER NAME= SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 BENCH NAME= SAT11/mus/marques-silva/abstraction-refinement-intel/edn_20403_10.cnf_0.03000000.unsat.cnf COMMAND LINE= java -Xms6000m -Xmx6000m -jar sat4j-mus-v20110206.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3483008-1307605066/watcher-3483008-1307605066 -o /tmp/evaluation-result-3483008-1307605066/solver-3483008-1307605066 -C 1800 -W 1850 -M 7680 java -Xms6000m -Xmx6000m -jar sat4j-mus-v20110206.jar HOME/instance-3483008-1307605066.cnf TIME LIMIT= 1800 seconds MEMORY LIMIT= 7680 MiB NBCORE= 2 MD5SUM BENCH= 1b4f687b975e1b5d4dc38f0dc496f6fc RANDOM SEED=858137671 node102.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.828 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.65 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.828 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.15 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.828 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.82 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.828 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.828 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 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.828 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.828 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.828 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 17743888 kB Buffers: 188708 kB Cached: 656240 kB SwapCached: 25580 kB Active: 14647096 kB Inactive: 210644 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 17743888 kB SwapTotal: 67111528 kB SwapFree: 34789492 kB Dirty: 95104 kB Writeback: 0 kB AnonPages: 14010152 kB Mapped: 45988 kB Slab: 150176 kB PageTables: 129412 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 167744404 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= 73620 MiB End job on node102 at 2011-06-09 09:38:35