Name | normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-fiber.opb |
MD5SUM | cc38717029ffa5880438a73ef1ac0ab0 |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 108097879 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 1254 |
Biggest coefficient in the objective function | 72966962 |
Number of bits for the biggest coefficient in the objective function | 27 |
Sum of the numbers in the objective function | 4807778524 |
Number of bits of the sum of numbers in the objective function | 33 |
Biggest number in a constraint | 72966962 |
Number of bits of the biggest number in a constraint | 27 |
Biggest sum of numbers in a constraint | 4807778524 |
Number of bits of the biggest sum of numbers | 33 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 90.2693 |
Number of variables | 2134 |
Total number of constraints | 1617 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 1290 |
Number of constraints which are nor clauses,nor cardinality constraints | 327 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 51 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-05-21 16:56:28 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=18337 boxname=wulflinc31 idbench=1411 idsolver=7 numberseed=0 MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911 /oldhome/oroussel/solvers/Pueblo MD5SUM BENCH: cc38717029ffa5880438a73ef1ac0ab0 /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-fiber.opb REAL COMMAND: Pueblo /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-fiber.opb IDLAUNCH: 18337 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.153 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.153 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 881192 kB Buffers: 28248 kB Cached: 104840 kB SwapCached: 1076 kB Active: 72212 kB Inactive: 63168 kB HighTotal: 131008 kB HighFree: 57484 kB LowTotal: 903652 kB LowFree: 823708 kB SwapTotal: 2097892 kB SwapFree: 2095984 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5356 kB Slab: 12568 kB Committed_AS: 63860 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-21 17:16:18 (client local time) WITH STATUS 10 IN 1189.05 SECONDS stats: 18337 0 1189.05 10 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c Pueblo version 1.2 (Sept 2004) c Developed @ University of Michigan, Ann Arbor, MI c by Hossein Sheini c Solving: /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-fiber.opb c #variables read: 2134 - #constraints read: 1966 s SATISFIABLE v -F040704_bit0 -F040407_bit0 -F040820_bit0 -F042008_bit0 -F040821_bit0 -F042108_bit0 -F040826_bit0 -F042608_bit0 -F040923_bit0 -F042309_bit0 -F041603_bit0 -F040316_bit0 -F040116_bit0 -F041727_bit0 -F042717_bit0 -F040103_bit0 -F040321_bit0 -F042103_bit0 -F040322_bit0 -F042203_bit0 -F040118_bit0 -F041924_bit0 -F042419_bit0 -F041940_bit0 -F044019_bit0 -F041941_bit0 -F044119_bit0 -F040120_bit0 -F042022_bit0 -F042220_bit0 -F042024_bit0 -F042420_bit0 -F040122_bit0 F040105_bit0 -F040102_bit0 -F040129_bit0 -F040104_bit0 -F040148_bit0 -F042123_bit0 -F042321_bit0 -F040506_bit0 -F040605_bit0 -F040529_bit0 -F042905_bit0 F040504_bit0 -F040405_bit0 -F040548_bit0 -F044805_bit0 -F042426_bit0 -F042624_bit0 -F042402_bit0 -F040224_bit0 -F042428_bit0 -F042824_bit0 -F042526_bit0 -F042625_bit0 -F042530_bit0 -F043025_bit0 -F040206_bit0 -F040602_bit0 -F040231_bit0 -F043102_bit0 -F042706_bit0 -F040627_bit0 -F042704_bit0 F040427_bit0 -F042743_bit0 -F044327_bit0 -F042830_bit0 -F043028_bit0 -F040604_bit0 -F040406_bit0 -F042948_bit0 -F044829_bit0 -F043141_bit0 -F044131_bit0 -F044041_bit0 -F044140_bit0 -F050704_bit0 -F050407_bit0 -F050820_bit0 -F052008_bit0 -F050821_bit0 -F052108_bit0 -F050826_bit0 -F052608_bit0 F050923_bit0 F052309_bit0 -F051603_bit0 -F050316_bit0 -F050116_bit0 -F051727_bit0 -F052717_bit0 -F050103_bit0 -F050321_bit0 -F052103_bit0 -F050322_bit0 -F052203_bit0 -F050118_bit0 -F051924_bit0 -F052419_bit0 -F051940_bit0 -F054019_bit0 -F051941_bit0 -F054119_bit0 -F050120_bit0 -F052022_bit0 -F052220_bit0 -F052024_bit0 -F052420_bit0 -F050122_bit0 -F050105_bit0 -F050102_bit0 -F050129_bit0 -F050104_bit0 F050148_bit0 -F052123_bit0 -F052321_bit0 -F050506_bit0 -F050605_bit0 -F050529_bit0 -F052905_bit0 F050504_bit0 -F050405_bit0 -F050548_bit0 F054805_bit0 -F052426_bit0 -F052624_bit0 -F052402_bit0 -F050224_bit0 -F052428_bit0 -F052824_bit0 -F052526_bit0 -F052625_bit0 -F052530_bit0 -F053025_bit0 -F050206_bit0 -F050602_bit0 -F050231_bit0 -F053102_bit0 -F052706_bit0 -F050627_bit0 -F052704_bit0 -F050427_bit0 -F052743_bit0 -F054327_bit0 -F052830_bit0 -F053028_bit0 -F050604_bit0 -F050406_bit0 -F052948_bit0 -F054829_bit0 -F053141_bit0 -F054131_bit0 -F054041_bit0 -F054140_bit0 -F060704_bit0 -F060407_bit0 -F060820_bit0 -F062008_bit0 -F060821_bit0 -F062108_bit0 -F060826_bit0 -F062608_bit0 -F060923_bit0 -F062309_bit0 -F061603_bit0 -F060316_bit0 -F060116_bit0 -F061727_bit0 -F062717_bit0 -F060103_bit0 -F060321_bit0 -F062103_bit0 -F060322_bit0 -F062203_bit0 -F060118_bit0 -F061924_bit0 -F062419_bit0 -F061940_bit0 -F064019_bit0 -F061941_bit0 -F064119_bit0 F060120_bit0 -F062022_bit0 -F062220_bit0 F062024_bit0 -F062420_bit0 -F060122_bit0 -F060105_bit0 -F060102_bit0 -F060129_bit0 -F060104_bit0 -F060148_bit0 -F062123_bit0 -F062321_bit0 -F060506_bit0 -F060605_bit0 -F060529_bit0 -F062905_bit0 -F060504_bit0 -F060405_bit0 -F060548_bit0 -F064805_bit0 -F062426_bit0 -F062624_bit0 F062402_bit0 -F060224_bit0 -F062428_bit0 -F062824_bit0 -F062526_bit0 -F062625_bit0 -F062530_bit0 -F063025_bit0 F060206_bit0 -F060602_bit0 -F060231_bit0 -F063102_bit0 -F062706_bit0 -F060627_bit0 -F062704_bit0 -F060427_bit0 -F062743_bit0 -F064327_bit0 -F062830_bit0 -F063028_bit0 -F060604_bit0 -F060406_bit0 -F062948_bit0 -F064829_bit0 -F063141_bit0 -F064131_bit0 -F064041_bit0 -F064140_bit0 -F070704_bit0 F070407_bit0 -F070820_bit0 -F072008_bit0 -F070821_bit0 -F072108_bit0 -F070826_bit0 -F072608_bit0 -F070923_bit0 -F072309_bit0 -F071603_bit0 -F070316_bit0 -F070116_bit0 -F071727_bit0 -F072717_bit0 -F070103_bit0 -F070321_bit0 -F072103_bit0 -F070322_bit0 -F072203_bit0 -F070118_bit0 -F071924_bit0 -F072419_bit0 -F071940_bit0 -F074019_bit0 -F071941_bit0 -F074119_bit0 F070120_bit0 -F072022_bit0 -F072220_bit0 F072024_bit0 -F072420_bit0 -F070122_bit0 -F070105_bit0 -F070102_bit0 -F070129_bit0 -F070104_bit0 -F070148_bit0 -F072123_bit0 -F072321_bit0 -F070506_bit0 -F070605_bit0 -F070529_bit0 -F072905_bit0 -F070504_bit0 -F070405_bit0 -F070548_bit0 -F074805_bit0 -F072426_bit0 -F072624_bit0 F072402_bit0 -F070224_bit0 -F072428_bit0 -F072824_bit0 -F072526_bit0 -F072625_bit0 -F072530_bit0 -F073025_bit0 F070206_bit0 -F070602_bit0 -F070231_bit0 -F073102_bit0 -F072706_bit0 -F070627_bit0 -F072704_bit0 -F070427_bit0 -F072743_bit0 -F074327_bit0 -F072830_bit0 -F073028_bit0 F070604_bit0 -F070406_bit0 -F072948_bit0 -F074829_bit0 -F073141_bit0 -F074131_bit0 -F074041_bit0 -F074140_bit0 -F190704_bit0 -F190407_bit0 -F190820_bit0 -F192008_bit0 -F190821_bit0 -F192108_bit0 -F190826_bit0 -F192608_bit0 -F190923_bit0 -F192309_bit0 -F191603_bit0 -F190316_bit0 -F190116_bit0 -F191727_bit0 -F192717_bit0 -F190103_bit0 -F190321_bit0 -F192103_bit0 -F190322_bit0 -F192203_bit0 -F190118_bit0 -F191924_bit0 F192419_bit0 -F191940_bit0 -F194019_bit0 F191941_bit0 -F194119_bit0 F190120_bit0 -F192022_bit0 -F192220_bit0 F192024_bit0 -F192420_bit0 -F190122_bit0 -F190105_bit0 -F190102_bit0 -F190129_bit0 -F190104_bit0 -F190148_bit0 -F192123_bit0 -F192321_bit0 -F190506_bit0 -F190605_bit0 -F190529_bit0 -F192905_bit0 F190504_bit0 F190405_bit0 -F190548_bit0 -F194805_bit0 -F192426_bit0 -F192624_bit0 -F192402_bit0 -F190224_bit0 -F192428_bit0 -F192824_bit0 -F192526_bit0 -F192625_bit0 -F192530_bit0 -F193025_bit0 -F190206_bit0 -F190602_bit0 -F190231_bit0 -F193102_bit0 -F192706_bit0 -F190627_bit0 -F192704_bit0 -F190427_bit0 -F192743_bit0 -F194327_bit0 -F192830_bit0 -F193028_bit0 -F190604_bit0 -F190406_bit0 -F192948_bit0 -F194829_bit0 -F193141_bit0 -F194131_bit0 -F194041_bit0 -F194140_bit0 -F200704_bit0 -F200407_bit0 -F200820_bit0 -F202008_bit0 -F200821_bit0 -F202108_bit0 -F200826_bit0 -F202608_bit0 -F200923_bit0 -F202309_bit0 -F201603_bit0 -F200316_bit0 -F200116_bit0 -F201727_bit0 -F202717_bit0 -F200103_bit0 -F200321_bit0 -F202103_bit0 -F200322_bit0 -F202203_bit0 -F200118_bit0 -F201924_bit0 -F202419_bit0 -F201940_bit0 -F204019_bit0 -F201941_bit0 -F204119_bit0 -F200120_bit0 -F202022_bit0 F202220_bit0 -F202024_bit0 -F202420_bit0 F200122_bit0 -F200105_bit0 -F200102_bit0 -F200129_bit0 -F200104_bit0 -F200148_bit0 -F202123_bit0 -F202321_bit0 -F200506_bit0 -F200605_bit0 -F200529_bit0 -F202905_bit0 -F200504_bit0 -F200405_bit0 -F200548_bit0 -F204805_bit0 -F202426_bit0 -F202624_bit0 -F202402_bit0 -F200224_bit0 -F202428_bit0 -F202824_bit0 -F202526_bit0 -F202625_bit0 -F202530_bit0 -F203025_bit0 -F200206_bit0 -F200602_bit0 -F200231_bit0 -F203102_bit0 -F202706_bit0 -F200627_bit0 -F202704_bit0 -F200427_bit0 -F202743_bit0 -F204327_bit0 -F202830_bit0 -F203028_bit0 -F200604_bit0 -F200406_bit0 -F202948_bit0 -F204829_bit0 -F203141_bit0 -F204131_bit0 -F204041_bit0 -F204140_bit0 -F240704_bit0 -F240407_bit0 -F240820_bit0 -F242008_bit0 -F240821_bit0 -F242108_bit0 -F240826_bit0 -F242608_bit0 -F240923_bit0 -F242309_bit0 -F241603_bit0 -F240316_bit0 -F240116_bit0 -F241727_bit0 -F242717_bit0 -F240103_bit0 -F240321_bit0 -F242103_bit0 -F240322_bit0 -F242203_bit0 -F240118_bit0 -F241924_bit0 F242419_bit0 -F241940_bit0 -F244019_bit0 -F241941_bit0 -F244119_bit0 -F240120_bit0 -F242022_bit0 -F242220_bit0 -F242024_bit0 -F242420_bit0 -F240122_bit0 -F240105_bit0 F240102_bit0 -F240129_bit0 -F240104_bit0 -F240148_bit0 -F242123_bit0 -F242321_bit0 -F240506_bit0 -F240605_bit0 -F240529_bit0 -F242905_bit0 -F240504_bit0 -F240405_bit0 -F240548_bit0 -F244805_bit0 -F242426_bit0 -F242624_bit0 -F242402_bit0 F240224_bit0 -F242428_bit0 -F242824_bit0 -F242526_bit0 -F242625_bit0 -F242530_bit0 -F243025_bit0 -F240206_bit0 -F240602_bit0 -F240231_bit0 -F243102_bit0 -F242706_bit0 -F240627_bit0 -F242704_bit0 -F240427_bit0 -F242743_bit0 -F244327_bit0 -F242830_bit0 -F243028_bit0 -F240604_bit0 -F240406_bit0 -F242948_bit0 -F244829_bit0 -F243141_bit0 -F244131_bit0 -F244041_bit0 -F244140_bit0 -F260704_bit0 -F260407_bit0 -F260820_bit0 -F262008_bit0 -F260821_bit0 F262108_bit0 F260826_bit0 -F262608_bit0 -F260923_bit0 -F262309_bit0 -F261603_bit0 -F260316_bit0 -F260116_bit0 -F261727_bit0 -F262717_bit0 F260103_bit0 F260321_bit0 -F262103_bit0 -F260322_bit0 -F262203_bit0 -F260118_bit0 -F261924_bit0 -F262419_bit0 -F261940_bit0 -F264019_bit0 -F261941_bit0 -F264119_bit0 -F260120_bit0 -F262022_bit0 -F262220_bit0 -F262024_bit0 -F262420_bit0 -F260122_bit0 -F260105_bit0 -F260102_bit0 -F260129_bit0 -F260104_bit0 -F260148_bit0 -F262123_bit0 -F262321_bit0 -F260506_bit0 -F260605_bit0 -F260529_bit0 -F262905_bit0 -F260504_bit0 -F260405_bit0 -F260548_bit0 -F264805_bit0 -F262426_bit0 -F262624_bit0 -F262402_bit0 -F260224_bit0 -F262428_bit0 -F262824_bit0 -F262526_bit0 -F262625_bit0 -F262530_bit0 -F263025_bit0 -F260206_bit0 -F260602_bit0 -F260231_bit0 -F263102_bit0 -F262706_bit0 -F260627_bit0 -F262704_bit0 -F260427_bit0 -F262743_bit0 -F264327_bit0 -F262830_bit0 -F263028_bit0 -F260604_bit0 -F260406_bit0 -F262948_bit0 -F264829_bit0 -F263141_bit0 -F264131_bit0 -F264041_bit0 -F264140_bit0 -F270704_bit0 -F270407_bit0 -F270820_bit0 -F272008_bit0 -F270821_bit0 -F272108_bit0 -F270826_bit0 -F272608_bit0 -F270923_bit0 -F272309_bit0 -F271603_bit0 -F270316_bit0 -F270116_bit0 -F271727_bit0 -F272717_bit0 -F270103_bit0 -F270321_bit0 -F272103_bit0 -F270322_bit0 -F272203_bit0 -F270118_bit0 -F271924_bit0 -F272419_bit0 -F271940_bit0 -F274019_bit0 -F271941_bit0 -F274119_bit0 F270120_bit0 -F272022_bit0 -F272220_bit0 F272024_bit0 -F272420_bit0 -F270122_bit0 -F270105_bit0 -F270102_bit0 -F270129_bit0 -F270104_bit0 -F270148_bit0 -F272123_bit0 -F272321_bit0 -F270506_bit0 -F270605_bit0 -F270529_bit0 -F272905_bit0 -F270504_bit0 -F270405_bit0 -F270548_bit0 -F274805_bit0 -F272426_bit0 -F272624_bit0 F272402_bit0 -F270224_bit0 -F272428_bit0 -F272824_bit0 -F272526_bit0 -F272625_bit0 -F272530_bit0 -F273025_bit0 F270206_bit0 -F270602_bit0 -F270231_bit0 -F273102_bit0 -F272706_bit0 F270627_bit0 -F272704_bit0 -F270427_bit0 -F272743_bit0 -F274327_bit0 -F272830_bit0 -F273028_bit0 -F270604_bit0 -F270406_bit0 -F272948_bit0 -F274829_bit0 -F273141_bit0 -F274131_bit0 -F274041_bit0 -F274140_bit0 -F400704_bit0 -F400407_bit0 -F400820_bit0 -F402008_bit0 -F400821_bit0 -F402108_bit0 -F400826_bit0 -F402608_bit0 -F400923_bit0 -F402309_bit0 F401603_bit0 F400316_bit0 -F400116_bit0 -F401727_bit0 -F402717_bit0 -F400103_bit0 -F400321_bit0 -F402103_bit0 -F400322_bit0 -F402203_bit0 -F400118_bit0 -F401924_bit0 F402419_bit0 -F401940_bit0 -F404019_bit0 F401941_bit0 -F404119_bit0 -F400120_bit0 -F402022_bit0 -F402220_bit0 -F402024_bit0 -F402420_bit0 -F400122_bit0 -F400105_bit0 -F400102_bit0 F400129_bit0 -F400104_bit0 -F400148_bit0 -F402123_bit0 -F402321_bit0 F400506_bit0 -F400605_bit0 -F400529_bit0 -F402905_bit0 -F400504_bit0 -F400405_bit0 -F400548_bit0 F404805_bit0 -F402426_bit0 -F402624_bit0 -F402402_bit0 F400224_bit0 -F402428_bit0 -F402824_bit0 -F402526_bit0 -F402625_bit0 -F402530_bit0 -F403025_bit0 -F400206_bit0 F400602_bit0 -F400231_bit0 -F403102_bit0 -F402706_bit0 -F400627_bit0 -F402704_bit0 -F400427_bit0 -F402743_bit0 -F404327_bit0 -F402830_bit0 -F403028_bit0 -F400604_bit0 -F400406_bit0 F402948_bit0 -F404829_bit0 -F403141_bit0 -F404131_bit0 -F404041_bit0 F404140_bit0 -F480704_bit0 -F480407_bit0 -F480820_bit0 -F482008_bit0 -F480821_bit0 -F482108_bit0 -F480826_bit0 -F482608_bit0 -F480923_bit0 -F482309_bit0 -F481603_bit0 -F480316_bit0 -F480116_bit0 -F481727_bit0 -F482717_bit0 -F480103_bit0 -F480321_bit0 -F482103_bit0 -F480322_bit0 -F482203_bit0 -F480118_bit0 -F481924_bit0 -F482419_bit0 -F481940_bit0 -F484019_bit0 -F481941_bit0 -F484119_bit0 -F480120_bit0 -F482022_bit0 -F482220_bit0 -F482024_bit0 -F482420_bit0 -F480122_bit0 F480105_bit0 -F480102_bit0 -F480129_bit0 -F480104_bit0 -F480148_bit0 -F482123_bit0 -F482321_bit0 -F480506_bit0 -F480605_bit0 -F480529_bit0 -F482905_bit0 -F480504_bit0 -F480405_bit0 F480548_bit0 -F484805_bit0 -F482426_bit0 -F482624_bit0 -F482402_bit0 -F480224_bit0 -F482428_bit0 -F482824_bit0 -F482526_bit0 -F482625_bit0 -F482530_bit0 -F483025_bit0 -F480206_bit0 -F480602_bit0 -F480231_bit0 -F483102_bit0 -F482706_bit0 -F480627_bit0 -F482704_bit0 -F480427_bit0 -F482743_bit0 -F484327_bit0 -F482830_bit0 -F483028_bit0 -F480604_bit0 -F480406_bit0 -F482948_bit0 -F484829_bit0 -F483141_bit0 -F484131_bit0 -F484041_bit0 -F484140_bit0 Y010704_bit0 Y020704_bit0 -Y030704_bit0 -Y040704_bit0 -Y050704_bit0 -Y060704_bit0 -Y070704_bit0 -Y080704_bit0 -Y090704_bit0 -Y010820_bit0 -Y020820_bit0 -Y030820_bit0 -Y040820_bit0 -Y050820_bit0 -Y060820_bit0 -Y070820_bit0 -Y080820_bit0 -Y090820_bit0 -Y010821_bit0 -Y020821_bit0 -Y030821_bit0 Y040821_bit0 -Y050821_bit0 -Y060821_bit0 -Y070821_bit0 -Y080821_bit0 -Y090821_bit0 Y010826_bit0 -Y020826_bit0 Y030826_bit0 -Y040826_bit0 -Y050826_bit0 -Y060826_bit0 -Y070826_bit0 -Y080826_bit0 -Y090826_bit0 -Y010923_bit0 Y020923_bit0 -Y030923_bit0 -Y040923_bit0 -Y050923_bit0 -Y060923_bit0 -Y070923_bit0 -Y080923_bit0 -Y090923_bit0 -Y011603_bit0 -Y021603_bit0 -Y031603_bit0 -Y041603_bit0 -Y051603_bit0 -Y061603_bit0 -Y071603_bit0 -Y081603_bit0 -Y091603_bit0 -Y011601_bit0 -Y021601_bit0 -Y031601_bit0 -Y041601_bit0 -Y051601_bit0 -Y061601_bit0 -Y071601_bit0 -Y081601_bit0 -Y091601_bit0 Y011727_bit0 -Y021727_bit0 -Y031727_bit0 -Y041727_bit0 -Y051727_bit0 -Y061727_bit0 -Y071727_bit0 -Y081727_bit0 -Y091727_bit0 -Y010301_bit0 -Y020301_bit0 -Y030301_bit0 -Y040301_bit0 -Y050301_bit0 -Y060301_bit0 -Y070301_bit0 -Y080301_bit0 Y090301_bit0 -Y010321_bit0 -Y020321_bit0 -Y030321_bit0 -Y040321_bit0 -Y050321_bit0 -Y060321_bit0 -Y070321_bit0 -Y080321_bit0 -Y090321_bit0 -Y010322_bit0 -Y020322_bit0 -Y030322_bit0 -Y040322_bit0 -Y050322_bit0 -Y060322_bit0 -Y070322_bit0 -Y080322_bit0 -Y090322_bit0 -Y011801_bit0 -Y021801_bit0 -Y031801_bit0 -Y041801_bit0 -Y051801_bit0 -Y061801_bit0 -Y071801_bit0 -Y081801_bit0 -Y091801_bit0 -Y011924_bit0 -Y021924_bit0 -Y031924_bit0 -Y041924_bit0 -Y051924_bit0 Y061924_bit0 -Y071924_bit0 -Y081924_bit0 -Y091924_bit0 -Y011940_bit0 -Y021940_bit0 -Y031940_bit0 -Y041940_bit0 -Y051940_bit0 -Y061940_bit0 -Y071940_bit0 -Y081940_bit0 -Y091940_bit0 -Y011941_bit0 Y021941_bit0 -Y031941_bit0 -Y041941_bit0 -Y051941_bit0 -Y061941_bit0 -Y071941_bit0 -Y081941_bit0 -Y091941_bit0 -Y012001_bit0 -Y022001_bit0 -Y032001_bit0 -Y042001_bit0 -Y052001_bit0 -Y062001_bit0 -Y072001_bit0 -Y082001_bit0 Y092001_bit0 -Y012022_bit0 -Y022022_bit0 -Y032022_bit0 -Y042022_bit0 Y052022_bit0 -Y062022_bit0 -Y072022_bit0 -Y082022_bit0 -Y092022_bit0 -Y012024_bit0 -Y022024_bit0 -Y032024_bit0 -Y042024_bit0 -Y052024_bit0 -Y062024_bit0 -Y072024_bit0 -Y082024_bit0 -Y092024_bit0 -Y010122_bit0 Y020122_bit0 -Y030122_bit0 -Y040122_bit0 -Y050122_bit0 -Y060122_bit0 -Y070122_bit0 -Y080122_bit0 -Y090122_bit0 -Y010105_bit0 -Y020105_bit0 -Y030105_bit0 Y040105_bit0 -Y050105_bit0 -Y060105_bit0 -Y070105_bit0 -Y080105_bit0 -Y090105_bit0 -Y010102_bit0 -Y020102_bit0 -Y030102_bit0 -Y040102_bit0 -Y050102_bit0 -Y060102_bit0 -Y070102_bit0 -Y080102_bit0 -Y090102_bit0 -Y010129_bit0 -Y020129_bit0 -Y030129_bit0 -Y040129_bit0 -Y050129_bit0 -Y060129_bit0 -Y070129_bit0 Y080129_bit0 -Y090129_bit0 -Y010104_bit0 -Y020104_bit0 -Y030104_bit0 -Y040104_bit0 -Y050104_bit0 -Y060104_bit0 -Y070104_bit0 -Y080104_bit0 -Y090104_bit0 -Y010148_bit0 -Y020148_bit0 -Y030148_bit0 Y040148_bit0 -Y050148_bit0 -Y060148_bit0 -Y070148_bit0 -Y080148_bit0 -Y090148_bit0 Y012123_bit0 -Y022123_bit0 -Y032123_bit0 -Y042123_bit0 -Y052123_bit0 -Y062123_bit0 -Y072123_bit0 -Y082123_bit0 -Y092123_bit0 -Y010506_bit0 -Y020506_bit0 -Y030506_bit0 -Y040506_bit0 -Y050506_bit0 -Y060506_bit0 -Y070506_bit0 -Y080506_bit0 -Y090506_bit0 Y010529_bit0 -Y020529_bit0 -Y030529_bit0 -Y040529_bit0 -Y050529_bit0 -Y060529_bit0 -Y070529_bit0 -Y080529_bit0 -Y090529_bit0 -Y010504_bit0 -Y020504_bit0 -Y030504_bit0 -Y040504_bit0 -Y050504_bit0 -Y060504_bit0 -Y070504_bit0 Y080504_bit0 -Y090504_bit0 -Y010548_bit0 -Y020548_bit0 -Y030548_bit0 -Y040548_bit0 -Y050548_bit0 -Y060548_bit0 Y070548_bit0 -Y080548_bit0 -Y090548_bit0 -Y012426_bit0 -Y022426_bit0 -Y032426_bit0 -Y042426_bit0 -Y052426_bit0 -Y062426_bit0 -Y072426_bit0 -Y082426_bit0 -Y092426_bit0 -Y012402_bit0 -Y022402_bit0 -Y032402_bit0 -Y042402_bit0 -Y052402_bit0 -Y062402_bit0 -Y072402_bit0 -Y082402_bit0 -Y092402_bit0 -Y012428_bit0 -Y022428_bit0 -Y032428_bit0 -Y042428_bit0 -Y052428_bit0 -Y062428_bit0 -Y072428_bit0 -Y082428_bit0 -Y092428_bit0 -Y012526_bit0 -Y022526_bit0 -Y032526_bit0 -Y042526_bit0 -Y052526_bit0 -Y062526_bit0 -Y072526_bit0 -Y082526_bit0 -Y092526_bit0 -Y012530_bit0 -Y022530_bit0 -Y032530_bit0 -Y042530_bit0 -Y052530_bit0 -Y062530_bit0 -Y072530_bit0 -Y082530_bit0 -Y092530_bit0 -Y010206_bit0 -Y020206_bit0 -Y030206_bit0 -Y040206_bit0 -Y050206_bit0 -Y060206_bit0 -Y070206_bit0 -Y080206_bit0 -Y090206_bit0 Y010231_bit0 -Y020231_bit0 -Y030231_bit0 -Y040231_bit0 -Y050231_bit0 -Y060231_bit0 -Y070231_bit0 -Y080231_bit0 -Y090231_bit0 Y012706_bit0 -Y022706_bit0 -Y032706_bit0 -Y042706_bit0 -Y052706_bit0 -Y062706_bit0 -Y072706_bit0 -Y082706_bit0 -Y092706_bit0 -Y012704_bit0 -Y022704_bit0 -Y032704_bit0 -Y042704_bit0 -Y052704_bit0 -Y062704_bit0 -Y072704_bit0 -Y082704_bit0 -Y092704_bit0 -Y012743_bit0 -Y022743_bit0 -Y032743_bit0 -Y042743_bit0 -Y052743_bit0 -Y062743_bit0 -Y072743_bit0 -Y082743_bit0 -Y092743_bit0 -Y012830_bit0 -Y022830_bit0 -Y032830_bit0 -Y042830_bit0 -Y052830_bit0 -Y062830_bit0 -Y072830_bit0 -Y082830_bit0 -Y092830_bit0 -Y010604_bit0 Y020604_bit0 Y030604_bit0 -Y040604_bit0 -Y050604_bit0 -Y060604_bit0 -Y070604_bit0 -Y080604_bit0 -Y090604_bit0 -Y012948_bit0 -Y022948_bit0 -Y032948_bit0 -Y042948_bit0 -Y052948_bit0 Y062948_bit0 -Y072948_bit0 -Y082948_bit0 -Y092948_bit0 -Y013141_bit0 -Y023141_bit0 -Y033141_bit0 -Y043141_bit0 -Y053141_bit0 -Y063141_bit0 -Y073141_bit0 -Y083141_bit0 -Y093141_bit0 -Y014041_bit0 -Y024041_bit0 -Y034041_bit0 -Y044041_bit0 -Y054041_bit0 -Y064041_bit0 -Y074041_bit0 -Y084041_bit0 -Y094041_bit0 -S010704_bit_7 -S010704_bit_6 -S010704_bit_5 -S010704_bit_4 -S010704_bit_3 -S010704_bit_2 -S010704_bit_1 -S010704_bit0 -S010704_bit1 S010704_bit2 -S010704_bit3 -S010704_bit4 -S010704_bit5 -S010704_bit6 -S010704_bit7 -S010704_bit8 -S010704_bit9 -S010704_bit10 -S010704_bit11 -S010704_bit12 -S100321_bit_7 -S100321_bit_6 -S100321_bit_5 -S100321_bit_4 -S100321_bit_3 -S100321_bit_2 -S100321_bit_1 -S100321_bit0 -S100321_bit1 -S100321_bit2 S100321_bit3 S100321_bit4 S100321_bit5 -S100321_bit6 -S100321_bit7 -S100321_bit8 -S100321_bit9 -S100321_bit10 -S100321_bit11 -S100321_bit12 -S110322_bit_7 -S110322_bit_6 -S110322_bit_5 -S110322_bit_4 -S110322_bit_3 -S110322_bit_2 -S110322_bit_1 -S110322_bit0 -S110322_bit1 -S110322_bit2 -S110322_bit3 -S110322_bit4 -S110322_bit5 -S110322_bit6 -S110322_bit7 -S110322_bit8 -S110322_bit9 -S110322_bit10 -S110322_bit11 -S110322_bit12 -S121801_bit_7 -S121801_bit_6 -S121801_bit_5 -S121801_bit_4 -S121801_bit_3 -S121801_bit_2 -S121801_bit_1 -S121801_bit0 -S121801_bit1 -S121801_bit2 S121801_bit3 S121801_bit4 -S121801_bit5 -S121801_bit6 -S121801_bit7 -S121801_bit8 -S121801_bit9 -S121801_bit10 -S121801_bit11 -S121801_bit12 -S131924_bit_7 -S131924_bit_6 -S131924_bit_5 -S131924_bit_4 -S131924_bit_3 -S131924_bit_2 -S131924_bit_1 -S131924_bit0 S131924_bit1 -S131924_bit2 -S131924_bit3 S131924_bit4 -S131924_bit5 -S131924_bit6 -S131924_bit7 -S131924_bit8 -S131924_bit9 -S131924_bit10 -S131924_bit11 -S131924_bit12 -S141940_bit_7 -S141940_bit_6 -S141940_bit_5 -S141940_bit_4 -S141940_bit_3 -S141940_bit_2 -S141940_bit_1 -S141940_bit0 -S141940_bit1 -S141940_bit2 -S141940_bit3 -S141940_bit4 -S141940_bit5 -S141940_bit6 -S141940_bit7 -S141940_bit8 -S141940_bit9 -S141940_bit10 -S141940_bit11 -S141940_bit12 -S151941_bit_7 -S151941_bit_6 -S151941_bit_5 -S151941_bit_4 -S151941_bit_3 -S151941_bit_2 -S151941_bit_1 -S151941_bit0 -S151941_bit1 S151941_bit2 -S151941_bit3 S151941_bit4 S151941_bit5 -S151941_bit6 -S151941_bit7 -S151941_bit8 -S151941_bit9 -S151941_bit10 -S151941_bit11 -S151941_bit12 -S162001_bit_7 -S162001_bit_6 -S162001_bit_5 -S162001_bit_4 -S162001_bit_3 -S162001_bit_2 -S162001_bit_1 -S162001_bit0 -S162001_bit1 -S162001_bit2 S162001_bit3 S162001_bit4 S162001_bit5 S162001_bit6 -S162001_bit7 -S162001_bit8 -S162001_bit9 -S162001_bit10 -S162001_bit11 -S162001_bit12 -S172022_bit_7 -S172022_bit_6 -S172022_bit_5 -S172022_bit_4 -S172022_bit_3 -S172022_bit_2 -S172022_bit_1 -S172022_bit0 S172022_bit1 S172022_bit2 S172022_bit3 -S172022_bit4 -S172022_bit5 -S172022_bit6 -S172022_bit7 -S172022_bit8 -S172022_bit9 -S172022_bit10 -S172022_bit11 -S172022_bit12 -S182024_bit_7 -S182024_bit_6 -S182024_bit_5 -S182024_bit_4 -S182024_bit_3 -S182024_bit_2 -S182024_bit_1 -S182024_bit0 S182024_bit1 -S182024_bit2 S182024_bit3 S182024_bit4 -S182024_bit5 -S182024_bit6 -S182024_bit7 -S182024_bit8 -S182024_bit9 -S182024_bit10 -S182024_bit11 -S182024_bit12 -S190122_bit_7 -S190122_bit_6 -S190122_bit_5 -S190122_bit_4 -S190122_bit_3 -S190122_bit_2 -S190122_bit_1 -S190122_bit0 -S190122_bit1 -S190122_bit2 -S190122_bit3 -S190122_bit4 -S190122_bit5 -S190122_bit6 -S190122_bit7 -S190122_bit8 -S190122_bit9 -S190122_bit10 -S190122_bit11 -S190122_bit12 -S020820_bit_7 -S020820_bit_6 -S020820_bit_5 -S020820_bit_4 -S020820_bit_3 -S020820_bit_2 -S020820_bit_1 -S020820_bit0 S020820_bit1 S020820_bit2 S020820_bit3 -S020820_bit4 -S020820_bit5 S020820_bit6 -S020820_bit7 -S020820_bit8 -S020820_bit9 -S020820_bit10 -S020820_bit11 -S020820_bit12 -S200105_bit_7 -S200105_bit_6 -S200105_bit_5 -S200105_bit_4 -S200105_bit_3 -S200105_bit_2 -S200105_bit_1 S200105_bit0 -S200105_bit1 S200105_bit2 -S200105_bit3 S200105_bit4 -S200105_bit5 -S200105_bit6 -S200105_bit7 -S200105_bit8 -S200105_bit9 -S200105_bit10 -S200105_bit11 -S200105_bit12 -S210102_bit_7 -S210102_bit_6 -S210102_bit_5 -S210102_bit_4 -S210102_bit_3 -S210102_bit_2 -S210102_bit_1 -S210102_bit0 S210102_bit1 -S210102_bit2 -S210102_bit3 -S210102_bit4 -S210102_bit5 -S210102_bit6 -S210102_bit7 -S210102_bit8 -S210102_bit9 -S210102_bit10 -S210102_bit11 -S210102_bit12 -S220129_bit_7 -S220129_bit_6 -S220129_bit_5 -S220129_bit_4 -S220129_bit_3 -S220129_bit_2 -S220129_bit_1 -S220129_bit0 S220129_bit1 S220129_bit2 -S220129_bit3 -S220129_bit4 -S220129_bit5 -S220129_bit6 S220129_bit7 -S220129_bit8 -S220129_bit9 -S220129_bit10 -S220129_bit11 -S220129_bit12 -S230104_bit_7 -S230104_bit_6 -S230104_bit_5 -S230104_bit_4 -S230104_bit_3 -S230104_bit_2 -S230104_bit_1 -S230104_bit0 S230104_bit1 -S230104_bit2 -S230104_bit3 S230104_bit4 -S230104_bit5 -S230104_bit6 S230104_bit7 -S230104_bit8 -S230104_bit9 -S230104_bit10 -S230104_bit11 -S230104_bit12 -S240148_bit_7 -S240148_bit_6 -S240148_bit_5 -S240148_bit_4 -S240148_bit_3 -S240148_bit_2 -S240148_bit_1 -S240148_bit0 -S240148_bit1 -S240148_bit2 S240148_bit3 S240148_bit4 -S240148_bit5 -S240148_bit6 -S240148_bit7 -S240148_bit8 -S240148_bit9 -S240148_bit10 -S240148_bit11 -S240148_bit12 -S252123_bit_7 -S252123_bit_6 -S252123_bit_5 -S252123_bit_4 -S252123_bit_3 -S252123_bit_2 -S252123_bit_1 -S252123_bit0 -S252123_bit1 S252123_bit2 -S252123_bit3 -S252123_bit4 -S252123_bit5 -S252123_bit6 S252123_bit7 -S252123_bit8 -S252123_bit9 -S252123_bit10 -S252123_bit11 -S252123_bit12 -S260506_bit_7 -S260506_bit_6 -S260506_bit_5 -S260506_bit_4 -S260506_bit_3 -S260506_bit_2 -S260506_bit_1 -S260506_bit0 S260506_bit1 -S260506_bit2 -S260506_bit3 -S260506_bit4 -S260506_bit5 S260506_bit6 -S260506_bit7 -S260506_bit8 -S260506_bit9 -S260506_bit10 -S260506_bit11 -S260506_bit12 -S270529_bit_7 -S270529_bit_6 -S270529_bit_5 -S270529_bit_4 -S270529_bit_3 -S270529_bit_2 -S270529_bit_1 -S270529_bit0 S270529_bit1 -S270529_bit2 S270529_bit3 S270529_bit4 -S270529_bit5 -S270529_bit6 -S270529_bit7 -S270529_bit8 -S270529_bit9 -S270529_bit10 -S270529_bit11 -S270529_bit12 -S280504_bit_7 -S280504_bit_6 -S280504_bit_5 -S280504_bit_4 -S280504_bit_3 -S280504_bit_2 -S280504_bit_1 S280504_bit0 S280504_bit1 S280504_bit2 S280504_bit3 S280504_bit4 S280504_bit5 -S280504_bit6 -S280504_bit7 -S280504_bit8 -S280504_bit9 -S280504_bit10 -S280504_bit11 -S280504_bit12 -S290548_bit_7 -S290548_bit_6 -S290548_bit_5 -S290548_bit_4 -S290548_bit_3 -S290548_bit_2 -S290548_bit_1 -S290548_bit0 S290548_bit1 -S290548_bit2 S290548_bit3 -S290548_bit4 S290548_bit5 -S290548_bit6 -S290548_bit7 -S290548_bit8 -S290548_bit9 -S290548_bit10 -S290548_bit11 -S290548_bit12 -S030821_bit_7 -S030821_bit_6 -S030821_bit_5 -S030821_bit_4 -S030821_bit_3 -S030821_bit_2 -S030821_bit_1 S030821_bit0 -S030821_bit1 -S030821_bit2 -S030821_bit3 -S030821_bit4 S030821_bit5 -S030821_bit6 -S030821_bit7 -S030821_bit8 -S030821_bit9 -S030821_bit10 -S030821_bit11 -S030821_bit12 -S302426_bit_7 -S302426_bit_6 -S302426_bit_5 -S302426_bit_4 -S302426_bit_3 -S302426_bit_2 -S302426_bit_1 -S302426_bit0 -S302426_bit1 -S302426_bit2 -S302426_bit3 -S302426_bit4 -S302426_bit5 -S302426_bit6 -S302426_bit7 -S302426_bit8 -S302426_bit9 -S302426_bit10 -S302426_bit11 -S302426_bit12 -S312402_bit_7 -S312402_bit_6 -S312402_bit_5 -S312402_bit_4 -S312402_bit_3 -S312402_bit_2 -S312402_bit_1 -S312402_bit0 -S312402_bit1 S312402_bit2 -S312402_bit3 S312402_bit4 -S312402_bit5 -S312402_bit6 -S312402_bit7 -S312402_bit8 -S312402_bit9 -S312402_bit10 -S312402_bit11 -S312402_bit12 -S322428_bit_7 -S322428_bit_6 -S322428_bit_5 -S322428_bit_4 -S322428_bit_3 -S322428_bit_2 -S322428_bit_1 S322428_bit0 S322428_bit1 S322428_bit2 S322428_bit3 S322428_bit4 S322428_bit5 S322428_bit6 S322428_bit7 -S322428_bit8 -S322428_bit9 -S322428_bit10 -S322428_bit11 -S322428_bit12 -S332526_bit_7 -S332526_bit_6 -S332526_bit_5 -S332526_bit_4 -S332526_bit_3 -S332526_bit_2 -S332526_bit_1 -S332526_bit0 S332526_bit1 -S332526_bit2 S332526_bit3 -S332526_bit4 -S332526_bit5 -S332526_bit6 -S332526_bit7 -S332526_bit8 -S332526_bit9 -S332526_bit10 -S332526_bit11 -S332526_bit12 -S342530_bit_7 -S342530_bit_6 -S342530_bit_5 -S342530_bit_4 -S342530_bit_3 -S342530_bit_2 -S342530_bit_1 -S342530_bit0 S342530_bit1 S342530_bit2 -S342530_bit3 -S342530_bit4 -S342530_bit5 -S342530_bit6 -S342530_bit7 -S342530_bit8 -S342530_bit9 -S342530_bit10 -S342530_bit11 -S342530_bit12 -S350206_bit_7 -S350206_bit_6 -S350206_bit_5 -S350206_bit_4 -S350206_bit_3 -S350206_bit_2 -S350206_bit_1 -S350206_bit0 S350206_bit1 S350206_bit2 S350206_bit3 -S350206_bit4 S350206_bit5 -S350206_bit6 -S350206_bit7 -S350206_bit8 -S350206_bit9 -S350206_bit10 -S350206_bit11 -S350206_bit12 -S360231_bit_7 -S360231_bit_6 -S360231_bit_5 -S360231_bit_4 -S360231_bit_3 -S360231_bit_2 -S360231_bit_1 -S360231_bit0 S360231_bit1 -S360231_bit2 -S360231_bit3 S360231_bit4 -S360231_bit5 -S360231_bit6 S360231_bit7 -S360231_bit8 -S360231_bit9 -S360231_bit10 -S360231_bit11 -S360231_bit12 -S372706_bit_7 -S372706_bit_6 -S372706_bit_5 -S372706_bit_4 -S372706_bit_3 -S372706_bit_2 -S372706_bit_1 -S372706_bit0 S372706_bit1 -S372706_bit2 -S372706_bit3 S372706_bit4 -S372706_bit5 -S372706_bit6 -S372706_bit7 -S372706_bit8 -S372706_bit9 -S372706_bit10 -S372706_bit11 -S372706_bit12 -S382704_bit_7 -S382704_bit_6 -S382704_bit_5 -S382704_bit_4 -S382704_bit_3 -S382704_bit_2 -S382704_bit_1 S382704_bit0 -S382704_bit1 -S382704_bit2 S382704_bit3 -S382704_bit4 -S382704_bit5 -S382704_bit6 -S382704_bit7 -S382704_bit8 -S382704_bit9 -S382704_bit10 -S382704_bit11 -S382704_bit12 -S392743_bit_7 -S392743_bit_6 -S392743_bit_5 -S392743_bit_4 -S392743_bit_3 -S392743_bit_2 -S392743_bit_1 -S392743_bit0 -S392743_bit1 -S392743_bit2 -S392743_bit3 -S392743_bit4 S392743_bit5 -S392743_bit6 -S392743_bit7 -S392743_bit8 -S392743_bit9 -S392743_bit10 -S392743_bit11 -S392743_bit12 -S040826_bit_7 -S040826_bit_6 -S040826_bit_5 -S040826_bit_4 -S040826_bit_3 -S040826_bit_2 -S040826_bit_1 -S040826_bit0 S040826_bit1 -S040826_bit2 S040826_bit3 -S040826_bit4 -S040826_bit5 -S040826_bit6 -S040826_bit7 -S040826_bit8 -S040826_bit9 -S040826_bit10 -S040826_bit11 -S040826_bit12 -S402830_bit_7 -S402830_bit_6 -S402830_bit_5 -S402830_bit_4 -S402830_bit_3 -S402830_bit_2 -S402830_bit_1 -S402830_bit0 S402830_bit1 -S402830_bit2 -S402830_bit3 S402830_bit4 -S402830_bit5 -S402830_bit6 -S402830_bit7 -S402830_bit8 -S402830_bit9 -S402830_bit10 -S402830_bit11 -S402830_bit12 -S410604_bit_7 -S410604_bit_6 -S410604_bit_5 -S410604_bit_4 -S410604_bit_3 -S410604_bit_2 -S410604_bit_1 -S410604_bit0 -S410604_bit1 S410604_bit2 -S410604_bit3 -S410604_bit4 -S410604_bit5 -S410604_bit6 -S410604_bit7 -S410604_bit8 -S410604_bit9 -S410604_bit10 -S410604_bit11 -S410604_bit12 -S422948_bit_7 -S422948_bit_6 -S422948_bit_5 -S422948_bit_4 -S422948_bit_3 -S422948_bit_2 -S422948_bit_1 -S422948_bit0 S422948_bit1 -S422948_bit2 -S422948_bit3 -S422948_bit4 -S422948_bit5 S422948_bit6 -S422948_bit7 -S422948_bit8 -S422948_bit9 -S422948_bit10 -S422948_bit11 -S422948_bit12 -S433141_bit_7 -S433141_bit_6 -S433141_bit_5 -S433141_bit_4 -S433141_bit_3 -S433141_bit_2 -S433141_bit_1 S433141_bit0 -S433141_bit1 S433141_bit2 -S433141_bit3 S433141_bit4 -S433141_bit5 -S433141_bit6 -S433141_bit7 -S433141_bit8 -S433141_bit9 -S433141_bit10 -S433141_bit11 -S433141_bit12 -S444041_bit_7 -S444041_bit_6 -S444041_bit_5 -S444041_bit_4 -S444041_bit_3 -S444041_bit_2 -S444041_bit_1 -S444041_bit0 -S444041_bit1 -S444041_bit2 S444041_bit3 -S444041_bit4 -S444041_bit5 -S444041_bit6 -S444041_bit7 -S444041_bit8 -S444041_bit9 -S444041_bit10 -S444041_bit11 -S444041_bit12 -S050923_bit_7 -S050923_bit_6 -S050923_bit_5 -S050923_bit_4 -S050923_bit_3 -S050923_bit_2 -S050923_bit_1 S050923_bit0 -S050923_bit1 S050923_bit2 -S050923_bit3 S050923_bit4 S050923_bit5 S050923_bit6 -S050923_bit7 -S050923_bit8 -S050923_bit9 -S050923_bit10 -S050923_bit11 -S050923_bit12 -S061603_bit_7 -S061603_bit_6 -S061603_bit_5 -S061603_bit_4 -S061603_bit_3 -S061603_bit_2 -S061603_bit_1 S061603_bit0 -S061603_bit1 S061603_bit2 -S061603_bit3 S061603_bit4 -S061603_bit5 -S061603_bit6 -S061603_bit7 -S061603_bit8 -S061603_bit9 -S061603_bit10 -S061603_bit11 -S061603_bit12 -S071601_bit_7 -S071601_bit_6 -S071601_bit_5 -S071601_bit_4 -S071601_bit_3 -S071601_bit_2 -S071601_bit_1 -S071601_bit0 S071601_bit1 S071601_bit2 S071601_bit3 S071601_bit4 S071601_bit5 -S071601_bit6 -S071601_bit7 -S071601_bit8 -S071601_bit9 -S071601_bit10 -S071601_bit11 -S071601_bit12 -S081727_bit_7 -S081727_bit_6 -S081727_bit_5 -S081727_bit_4 -S081727_bit_3 -S081727_bit_2 -S081727_bit_1 S081727_bit0 -S081727_bit1 S081727_bit2 S081727_bit3 -S081727_bit4 -S081727_bit5 -S081727_bit6 -S081727_bit7 -S081727_bit8 -S081727_bit9 -S081727_bit10 -S081727_bit11 -S081727_bit12 -S090301_bit_7 -S090301_bit_6 -S090301_bit_5 -S090301_bit_4 -S090301_bit_3 -S090301_bit_2 -S090301_bit_1 -S090301_bit0 S090301_bit1 S090301_bit2 S090301_bit3 -S090301_bit4 S090301_bit5 S090301_bit6 -S090301_bit7 S090301_bit8 -S090301_bit9 -S090301_bit10 -S090301_bit11 -S090301_bit12 #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Raw data (loadavg): 1.14 1.00 0.95 2/55 13738 Raw data (stat): 13738 (runsolver) R 13737 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 805905275 1056768 100 4294967295 134512640 135381576 3221221680 3221216904 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0 Raw data (statm): 258 100 215 215 0 43 0 vsize: 1032 [startup+10.0003 s] Raw data (loadavg): 1.11 1.00 0.95 2/55 13738 Raw data (stat): 13738 (Pueblo) R 13737 7876 7672 0 -1 0 980 0 0 0 989 8 0 0 25 0 1 0 805905275 9940992 957 4294967295 134512640 134581331 3221221792 3221220800 134530845 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2427 957 566 18 0 2409 0 vsize: 9708 [startup+20.0007 s] Raw data (loadavg): 1.10 1.00 0.95 2/55 13738 Raw data (stat): 13738 (Pueblo) R 13737 7876 7672 0 -1 0 1104 0 0 0 1984 13 0 0 25 0 1 0 805905275 10518528 1081 4294967295 134512640 134581331 3221221792 3221220800 134530828 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2568 1081 566 18 0 2550 0 vsize: 10272 [startup+30.0006 s] Raw data (loadavg): 1.08 1.00 0.95 2/55 13738 Raw data (stat): 13738 (Pueblo) R 13737 7876 7672 0 -1 0 1162 0 0 0 2979 18 0 0 25 0 1 0 805905275 10518528 1139 4294967295 134512640 134581331 3221221792 3221220800 134530010 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2568 1139 566 18 0 2550 0 vsize: 10272 [startup+40.0009 s] Raw data (loadavg): 1.07 1.00 0.95 2/55 13738 Raw data (stat): 13738 (Pueblo) R 13737 7876 7672 0 -1 0 1352 0 0 0 3976 22 0 0 25 0 1 0 805905275 12021760 1329 4294967295 134512640 134581331 3221221792 3221220800 134530003 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2935 1329 566 18 0 2917 0 vsize: 11740 [startup+50.0015 s] Raw data (loadavg): 1.06 1.00 0.95 2/55 13738 Raw data (stat): 13738 (Pueblo) R 13737 7876 7672 0 -1 0 1425 0 0 0 4973 25 0 0 25 0 1 0 805905275 12021760 1402 4294967295 134512640 134581331 3221221792 3221220800 134530031 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2935 1402 566 18 0 2917 0 vsize: 11740 [startup+60.0014 s] Raw data (loadavg): 1.05 1.00 0.95 2/55 13738 Raw data (stat): 13738 (Pueblo) R 13737 7876 7672 0 -1 0 1460 0 0 0 5973 25 0 0 25 0 1 0 805905275 12021760 1437 4294967295 134512640 134581331 3221221792 3221220800 134530008 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2935 1437 566 18 0 2917 0 vsize: 11740 [startup+70.0024 s] Raw data (loadavg): 1.04 1.00 0.95 2/55 13738 Raw data (stat): 13738 (Pueblo) R 13737 7876 7672 0 -1 0 1475 0 0 0 6973 25 0 0 25 0 1 0 805905275 12021760 1452 4294967295 134512640 134581331 3221221792 3221220800 134530845 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2935 1452 566 18 0 2917 0 vsize: 11740 [startup+80.0023 s] Raw data (loadavg): 1.03 1.00 0.95 2/55 13738 Raw data (stat): 13738 (Pueblo) R 13737 7876 7672 0 -1 0 1778 0 0 0 7972 26 0 0 25 0 1 0 805905275 14180352 1755 4294967295 134512640 134581331 3221221792 3221220800 134529981 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3462 1755 566 18 0 3444 0 vsize: 13848 [startup+90.0026 s] Raw data (loadavg): 1.03 1.00 0.95 2/55 13738 Raw data (stat): 13738 (Pueblo) R 13737 7876 7672 0 -1 0 1814 0 0 0 8971 27 0 0 25 0 1 0 805905275 14180352 1791 4294967295 134512640 134581331 3221221792 3221220800 134530845 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3462 1791 566 18 0 3444 0 vsize: 13848 [startup+100.002 s] Raw data (loadavg): 1.02 1.00 0.95 2/55 13738 Raw data (stat): 13738 (Pueblo) R 13737 7876 7672 0 -1 0 1851 0 0 0 9971 27 0 0 25 0 1 0 805905275 14180352 1828 4294967295 134512640 134581331 3221221792 3221220800 134529968 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3462 1828 566 18 0 3444 0 vsize: 13848 [startup+110.002 s] Raw data (loadavg): 1.02 1.00 0.95 2/55 13738 Raw data (stat): 13738 (Pueblo) R 13737 7876 7672 0 -1 0 1887 0 0 0 10970 28 0 0 25 0 1 0 805905275 14180352 1864 4294967295 134512640 134581331 3221221792 3221220800 134530845 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3462 1864 566 18 0 3444 0 vsize: 13848 [startup+120.003 s] Raw data (loadavg): 1.02 1.00 0.95 2/55 13738 Raw data (stat): 13738 (Pueblo) R 13737 7876 7672 0 -1 0 1923 0 0 0 11970 28 0 0 25 0 1 0 805905275 14180352 1900 4294967295 134512640 134581331 3221221792 3221220800 134530003 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3462 1900 566 18 0 3444 0 vsize: 13848 [startup+130.003 s] Raw data (loadavg): 1.01 1.00 0.95 2/55 13738 Raw data (stat): 13738 (Pueblo) R 13737 7876 7672 0 -1 0 1957 0 0 0 12970 29 0 0 25 0 1 0 805905275 14180352 1934 4294967295 134512640 134581331 3221221792 3221220800 134529981 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3462 1934 566 18 0 3444 0 vsize: 13848 [startup+140.003 s] Raw data (loadavg): 1.01 1.00 0.95 2/55 13738 Raw data (stat): 13738 (Pueblo) R 13737 7876 7672 0 -1 0 1970 0 0 0 13970 29 0 0 25 0 1 0 805905275 14180352 1947 4294967295 134512640 134581331 3221221792 3221220800 134529988 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3462 1947 566 18 0 3444 0 vsize: 13848 [startup+150.003 s] Raw data (loadavg): 1.01 1.00 0.95 2/55 13738 Raw data (stat): 13738 (Pueblo) R 13737 7876 7672 0 -1 0 2544 0 0 0 14969 31 0 0 25 0 1 0 805905275 18370560 2521 4294967295 134512640 134581331 3221221792 3221220800 134530828 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4485 2521 566 18 0 4467 0 vsize: 17940 [startup+160.003 s] Raw data (loadavg): 1.01 1.00 0.95 2/55 13738 Raw data (stat): 13738 (Pueblo) R 13737 7876 7672 0 -1 0 2581 0 0 0 15968 31 0 0 25 0 1 0 805905275 18370560 2558 4294967295 134512640 134581331 3221221792 3221220800 134530003 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4485 2558 566 18 0 4467 0 vsize: 17940 [startup+170.003 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 13738 Raw data (stat): 13738 (Pueblo) R 13737 7876 7672 0 -1 0 2618 0 0 0 16968 32 0 0 25 0 1 0 805905275 18370560 2595 4294967295 134512640 134581331 3221221792 3221220800 134530845 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4485 2595 566 18 0 4467 0 vsize: 17940 [startup+180.003 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 13738 Raw data (stat): 13738 (Pueblo) R 13737 7876 7672 0 -1 0 2654 0 0 0 17967 32 0 0 25 0 1 0 805905275 18370560 2631 4294967295 134512640 134581331 3221221792 3221220800 134530845 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4485 2631 566 18 0 4467 0 vsize: 17940 [startup+190.004 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 13738 Raw data (stat): 13738 (Pueblo) R 13737 7876 7672 0 -1 0 2711 0 0 0 18967 33 0 0 25 0 1 0 805905275 18370560 2688 4294967295 134512640 134581331 3221221792 3221220800 134530845 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4485 2688 566 18 0 4467 0 vsize: 17940 [startup+200.004 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 13738 Raw data (stat): 13738 (Pueblo) R 13737 7876 7672 0 -1 0 2749 0 0 0 19967 33 0 0 25 0 1 0 805905275 18370560 2726 4294967295 134512640 134581331 3221221792 3221220800 134530843 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4485 2726 566 18 0 4467 0 vsize: 17940 [startup+210.004 s] Raw data (loadavg): 1.00 1.00 0.95 2/55 13738 Raw data (stat): 13738 (Pueblo) R 13737 7876 7672 0 -1 0 2788 0 0 0 20967 33 0 0 25 0 1 0 805905275 18370560 2765 4294967295 134512640 134581331 3221221792 3221220800 134530003 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4485 2765 566 18 0 4467 0 vsize: 17940 [startup+220.005 s] Raw data (loadavg): 1.00 1.00 0.95 3/58 13773 Raw data (stat): 13738 (Pueblo) R 13737 7876 7672 0 -1 0 2828 0 0 0 21966 34 0 0 25 0 1 0 805905275 18370560 2805 4294967295 134512640 134581331 3221221792 3221220800 134530845 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4485 2805 566 18 0 4467 0 vsize: 17940 [startup+230.006 s] Raw data (loadavg): 1.15 1.03 0.96 2/55 13791 Raw data (stat): 13738 (Pueblo) R 13737 7876 7672 0 -1 0 2877 0 0 0 22966 34 0 0 25 0 1 0 805905275 18370560 2854 4294967295 134512640 134581331 3221221792 3221220984 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4485 2854 566 18 0 4467 0 vsize: 17940 [startup+240.007 s] Raw data (loadavg): 1.13 1.03 0.96 2/55 13791 Raw data (stat): 13738 (Pueblo) R 13737 7876 7672 0 -1 0 2924 0 0 0 23966 35 0 0 25 0 1 0 805905275 18370560 2901 4294967295 134512640 134581331 3221221792 3221220800 134530010 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4485 2901 566 18 0 4467 0 vsize: 17940 [startup+250.006 s] Raw data (loadavg): 1.11 1.03 0.96 2/55 13791 Raw data (stat): 13738 (Pueblo) R 13737 7876 7672 0 -1 0 2974 0 0 0 24966 35 0 0 25 0 1 0 805905275 18370560 2951 4294967295 134512640 134581331 3221221792 3221220800 134530010 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4485 2951 566 18 0 4467 0 vsize: 17940 [startup+260.006 s] Raw data (loadavg): 1.09 1.03 0.96 2/55 13791 Raw data (stat): 13738 (Pueblo) R 13737 7876 7672 0 -1 0 3022 0 0 0 25965 36 0 0 25 0 1 0 805905275 18370560 2999 4294967295 134512640 134581331 3221221792 3221220800 134529981 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4485 2999 566 18 0 4467 0 vsize: 17940 [startup+270.008 s] Raw data (loadavg): 1.08 1.03 0.96 2/55 13791 Raw data (stat): 13738 (Pueblo) R 13737 7876 7672 0 -1 0 3071 0 0 0 26965 37 0 0 25 0 1 0 805905275 18370560 3048 4294967295 134512640 134581331 3221221792 3221220800 134530008 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4485 3048 566 18 0 4467 0 vsize: 17940 [startup+280.008 s] Raw data (loadavg): 1.06 1.03 0.96 2/55 13791 Raw data (stat): 13738 (Pueblo) R 13737 7876 7672 0 -1 0 4071 0 0 0 27963 39 0 0 25 0 1 0 805905275 26234880 4048 4294967295 134512640 134581331 3221221792 3221220800 134530008 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6405 4048 566 18 0 6387 0 vsize: 25620 [startup+290.009 s] Raw data (loadavg): 1.05 1.02 0.96 2/55 13791 Raw data (stat): 13738 (Pueblo) R 13737 7876 7672 0 -1 0 4148 0 0 0 28962 39 0 0 25 0 1 0 805905275 26497024 4125 4294967295 134512640 134581331 3221221792 3221220800 134530031 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6469 4125 566 18 0 6451 0 vsize: 25876 [startup+300.009 s] Raw data (loadavg): 1.05 1.02 0.96 2/55 13791 Raw data (stat): 13738 (Pueblo) R 13737 7876 7672 0 -1 0 4190 0 0 0 29962 40 0 0 25 0 1 0 805905275 27545600 4167 4294967295 134512640 134581331 3221221792 3221220800 134529981 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6725 4167 566 18 0 6707 0 vsize: 26900 [startup+310.009 s] Raw data (loadavg): 1.04 1.02 0.96 2/55 13793 Raw data (stat): 13738 (Pueblo) R 13737 7876 7672 0 -1 0 4232 0 0 0 30962 40 0 0 25 0 1 0 805905275 27545600 4209 4294967295 134512640 134581331 3221221792 3221220800 134530031 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6725 4209 566 18 0 6707 0 vsize: 26900 [startup+320.01 s] Raw data (loadavg): 1.03 1.02 0.96 2/55 13793 Raw data (stat): 13738 (Pueblo) R 13737 7876 7672 0 -1 0 4273 0 0 0 31962 41 0 0 25 0 1 0 805905275 27545600 4250 4294967295 134512640 134581331 3221221792 3221220800 134530828 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6725 4250 566 18 0 6707 0 vsize: 26900 [startup+330.01 s] Raw data (loadavg): 1.03 1.02 0.96 2/55 13793 Raw data (stat): 13738 (Pueblo) R 13737 7876 7672 0 -1 0 4347 0 0 0 32961 41 0 0 25 0 1 0 805905275 27734016 4306 4294967295 134512640 134581331 3221221792 3221220800 134530843 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6771 4306 566 18 0 6753 0 vsize: 27084 [startup+340.011 s] Raw data (loadavg): 1.02 1.02 0.96 2/55 13793 Raw data (stat): 13738 (Pueblo) R 13737 7876 7672 0 -1 0 4419 0 0 0 33961 42 0 0 25 0 1 0 805905275 27734016 4378 4294967295 134512640 134581331 3221221792 3221220800 134530031 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6771 4378 566 18 0 6753 0 vsize: 27084 [startup+350.011 s] Raw data (loadavg): 1.02 1.02 0.96 2/55 13793 Raw data (stat): 13738 (Pueblo) R 13737 7876 7672 0 -1 0 4463 0 0 0 34961 42 0 0 25 0 1 0 805905275 27734016 4422 4294967295 134512640 134581331 3221221792 3221220800 134529981 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6771 4422 566 18 0 6753 0 vsize: 27084 [startup+360.011 s] Raw data (loadavg): 1.02 1.02 0.96 2/55 13793 Raw data (stat): 13738 (Pueblo) R 13737 7876 7672 0 -1 0 4505 0 0 0 35961 42 0 0 25 0 1 0 805905275 27734016 4464 4294967295 134512640 134581331 3221221792 3221220800 134529988 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6771 4464 566 18 0 6753 0 vsize: 27084 [startup+370.012 s] Raw data (loadavg): 1.01 1.02 0.96 2/55 13793 Raw data (stat): 13738 (Pueblo) R 13737 7876 7672 0 -1 0 4547 0 0 0 36960 43 0 0 25 0 1 0 805905275 27734016 4506 4294967295 134512640 134581331 3221221792 3221220800 134529968 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6771 4506 566 18 0 6753 0 vsize: 27084 [startup+380.011 s] Raw data (loadavg): 1.01 1.02 0.96 2/55 13793 Raw data (stat): 13738 (Pueblo) R 13737 7876 7672 0 -1 0 4589 0 0 0 37960 43 0 0 25 0 1 0 805905275 27734016 4548 4294967295 134512640 134581331 3221221792 3221220720 134529176 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6771 4548 566 18 0 6753 0 vsize: 27084 [startup+390.013 s] Raw data (loadavg): 1.01 1.02 0.96 2/55 13793 Raw data (stat): 13738 (Pueblo) R 13737 7876 7672 0 -1 0 4630 0 0 0 38960 43 0 0 25 0 1 0 805905275 27734016 4589 4294967295 134512640 134581331 3221221792 3221220984 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6771 4589 566 18 0 6753 0 vsize: 27084 [startup+400.013 s] Raw data (loadavg): 1.01 1.01 0.96 2/55 13793 Raw data (stat): 13738 (Pueblo) R 13737 7876 7672 0 -1 0 4702 0 0 0 39960 44 0 0 25 0 1 0 805905275 27734016 4661 4294967295 134512640 134581331 3221221792 3221220800 134529981 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6771 4661 566 18 0 6753 0 vsize: 27084 [startup+410.013 s] Raw data (loadavg): 1.00 1.01 0.96 2/55 13793 Raw data (stat): 13738 (Pueblo) R 13737 7876 7672 0 -1 0 4746 0 0 0 40959 45 0 0 25 0 1 0 805905275 27734016 4705 4294967295 134512640 134581331 3221221792 3221220800 134529798 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6771 4705 566 18 0 6753 0 vsize: 27084 [startup+420.014 s] Raw data (loadavg): 1.00 1.01 0.96 2/55 13793 Raw data (stat): 13738 (Pueblo) R 13737 7876 7672 0 -1 0 4788 0 0 0 41959 45 0 0 25 0 1 0 805905275 27734016 4747 4294967295 134512640 134581331 3221221792 3221220800 134530828 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6771 4747 566 18 0 6753 0 vsize: 27084 [startup+430.014 s] Raw data (loadavg): 1.00 1.01 0.96 2/55 13793 Raw data (stat): 13738 (Pueblo) R 13737 7876 7672 0 -1 0 4830 0 0 0 42959 46 0 0 25 0 1 0 805905275 27734016 4789 4294967295 134512640 134581331 3221221792 3221220800 134530008 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6771 4789 566 18 0 6753 0 vsize: 27084 [startup+440.015 s] Raw data (loadavg): 1.00 1.01 0.96 2/55 13793 Raw data (stat): 13738 (Pueblo) R 13737 7876 7672 0 -1 0 4872 0 0 0 43958 46 0 0 25 0 1 0 805905275 27734016 4831 4294967295 134512640 134581331 3221221792 3221220800 134530843 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6771 4831 566 18 0 6753 0 vsize: 27084 [startup+450.016 s] Raw data (loadavg): 1.00 1.01 0.96 2/55 13793 Raw data (stat): 13738 (Pueblo) R 13737 7876 7672 0 -1 0 4914 0 0 0 44958 47 0 0 25 0 1 0 805905275 27734016 4873 4294967295 134512640 134581331 3221221792 3221220800 134530010 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6771 4873 566 18 0 6753 0 vsize: 27084 [startup+460.016 s] Raw data (loadavg): 1.00 1.01 0.96 2/55 13793 Raw data (stat): 13738 (Pueblo) R 13737 7876 7672 0 -1 0 4986 0 0 0 45957 47 0 0 25 0 1 0 805905275 27734016 4945 4294967295 134512640 134581331 3221221792 3221220800 134530843 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6771 4945 566 18 0 6753 0 vsize: 27084 [startup+470.017 s] Raw data (loadavg): 1.00 1.01 0.96 2/55 13793 Raw data (stat): 13738 (Pueblo) R 13737 7876 7672 0 -1 0 5030 0 0 0 46957 48 0 0 25 0 1 0 805905275 27734016 4989 4294967295 134512640 134581331 3221221792 3221220800 134530828 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6771 4989 566 18 0 6753 0 vsize: 27084 [startup+480.017 s] Raw data (loadavg): 1.00 1.01 0.96 2/55 13793 Raw data (stat): 13738 (Pueblo) R 13737 7876 7672 0 -1 0 5071 0 0 0 47957 48 0 0 25 0 1 0 805905275 27734016 5030 4294967295 134512640 134581331 3221221792 3221220800 134530031 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6771 5030 566 18 0 6753 0 vsize: 27084 [startup+490.018 s] Raw data (loadavg): 1.00 1.01 0.96 2/55 13793 Raw data (stat): 13738 (Pueblo) R 13737 7876 7672 0 -1 0 5113 0 0 0 48957 48 0 0 25 0 1 0 805905275 27734016 5072 4294967295 134512640 134581331 3221221792 3221220800 134530845 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6771 5072 566 18 0 6753 0 vsize: 27084 [startup+500.017 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 13793 Raw data (stat): 13738 (Pueblo) R 13737 7876 7672 0 -1 0 5154 0 0 0 49957 49 0 0 25 0 1 0 805905275 27734016 5113 4294967295 134512640 134581331 3221221792 3221220800 134529968 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6771 5113 566 18 0 6753 0 vsize: 27084 [startup+510.018 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 13793 Raw data (stat): 13738 (Pueblo) R 13737 7876 7672 0 -1 0 5195 0 0 0 50957 49 0 0 25 0 1 0 805905275 27734016 5154 4294967295 134512640 134581331 3221221792 3221220800 134529968 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6771 5154 566 18 0 6753 0 vsize: 27084 [startup+520.019 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 13793 Raw data (stat): 13738 (Pueblo) R 13737 7876 7672 0 -1 0 5267 0 0 0 51956 50 0 0 25 0 1 0 805905275 27734016 5226 4294967295 134512640 134581331 3221221792 3221220800 134530845 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6771 5226 566 18 0 6753 0 vsize: 27084 [startup+530.019 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 13793 Raw data (stat): 13738 (Pueblo) R 13737 7876 7672 0 -1 0 5310 0 0 0 52956 50 0 0 25 0 1 0 805905275 27734016 5269 4294967295 134512640 134581331 3221221792 3221220800 134529781 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6771 5269 566 18 0 6753 0 vsize: 27084 [startup+540.019 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 13793 Raw data (stat): 13738 (Pueblo) R 13737 7876 7672 0 -1 0 5351 0 0 0 53956 51 0 0 25 0 1 0 805905275 27734016 5310 4294967295 134512640 134581331 3221221792 3221220800 134529981 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6771 5310 566 18 0 6753 0 vsize: 27084 [startup+550.02 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 13793 Raw data (stat): 13738 (Pueblo) R 13737 7876 7672 0 -1 0 5393 0 0 0 54956 51 0 0 25 0 1 0 805905275 27734016 5352 4294967295 134512640 134581331 3221221792 3221220800 134530845 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6771 5352 566 18 0 6753 0 vsize: 27084 [startup+560.02 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 13793 Raw data (stat): 13738 (Pueblo) R 13737 7876 7672 0 -1 0 6344 0 0 0 55953 54 0 0 25 0 1 0 805905275 43200512 6303 4294967295 134512640 134581331 3221221792 3221220800 134530003 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10547 6303 566 18 0 10529 0 vsize: 42188 [startup+570.021 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 13795 Raw data (stat): 13738 (Pueblo) R 13737 7876 7672 0 -1 0 6399 0 0 0 56953 54 0 0 25 0 1 0 805905275 45297664 6358 4294967295 134512640 134581331 3221221792 3221220800 134530003 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11059 6358 566 18 0 11041 0 vsize: 44236 [startup+580.021 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 13795 Raw data (stat): 13738 (Pueblo) R 13737 7876 7672 0 -1 0 6499 0 0 0 57953 55 0 0 25 0 1 0 805905275 45297664 6458 4294967295 134512640 134581331 3221221792 3221220800 134529968 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11059 6458 566 18 0 11041 0 vsize: 44236 [startup+590.022 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 13795 Raw data (stat): 13738 (Pueblo) R 13737 7876 7672 0 -1 0 6556 0 0 0 58952 55 0 0 25 0 1 0 805905275 45297664 6515 4294967295 134512640 134581331 3221221792 3221220800 134530003 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11059 6515 566 18 0 11041 0 vsize: 44236 [startup+600.022 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 13795 Raw data (stat): 13738 (Pueblo) R 13737 7876 7672 0 -1 0 6676 0 0 0 59952 56 0 0 25 0 1 0 805905275 45334528 6452 4294967295 134512640 134581331 3221221792 3221220800 134530845 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11068 6452 566 18 0 11050 0 vsize: 44272 [startup+610.022 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 13795 Raw data (stat): 13738 (Pueblo) R 13737 7876 7672 0 -1 0 6733 0 0 0 60951 57 0 0 25 0 1 0 805905275 45334528 6509 4294967295 134512640 134581331 3221221792 3221220800 134530010 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11068 6509 566 18 0 11050 0 vsize: 44272 [startup+620.023 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 13795 Raw data (stat): 13738 (Pueblo) R 13737 7876 7672 0 -1 0 6789 0 0 0 61951 57 0 0 25 0 1 0 805905275 45334528 6565 4294967295 134512640 134581331 3221221792 3221220800 134530845 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11068 6565 566 18 0 11050 0 vsize: 44272 [startup+630.023 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 13795 Raw data (stat): 13738 (Pueblo) R 13737 7876 7672 0 -1 0 6846 0 0 0 62950 58 0 0 25 0 1 0 805905275 45334528 6622 4294967295 134512640 134581331 3221221792 3221220800 134529981 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11068 6622 566 18 0 11050 0 vsize: 44272 [startup+640.024 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 13795 Raw data (stat): 13738 (Pueblo) R 13737 7876 7672 0 -1 0 6947 0 0 0 63950 59 0 0 25 0 1 0 805905275 45334528 6723 4294967295 134512640 134581331 3221221792 3221220800 134530828 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11068 6723 566 18 0 11050 0 vsize: 44272 [startup+650.024 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 13795 Raw data (stat): 13738 (Pueblo) R 13737 7876 7672 0 -1 0 7005 0 0 0 64949 59 0 0 25 0 1 0 805905275 45334528 6781 4294967295 134512640 134581331 3221221792 3221220800 134529968 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11068 6781 566 18 0 11050 0 vsize: 44272 [startup+660.024 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 13795 Raw data (stat): 13738 (Pueblo) R 13737 7876 7672 0 -1 0 7061 0 0 0 65949 60 0 0 25 0 1 0 805905275 45334528 6837 4294967295 134512640 134581331 3221221792 3221220800 134530843 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11068 6837 566 18 0 11050 0 vsize: 44272 [startup+670.025 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 13795 Raw data (stat): 13738 (Pueblo) R 13737 7876 7672 0 -1 0 7118 0 0 0 66949 60 0 0 25 0 1 0 805905275 45334528 6894 4294967295 134512640 134581331 3221221792 3221220800 134530845 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11068 6894 566 18 0 11050 0 vsize: 44272 [startup+680.025 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 13795 Raw data (stat): 13738 (Pueblo) R 13737 7876 7672 0 -1 0 7174 0 0 0 67948 61 0 0 25 0 1 0 805905275 45334528 6950 4294967295 134512640 134581331 3221221792 3221220800 134530845 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11068 6950 566 18 0 11050 0 vsize: 44272 [startup+690.027 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 13795 Raw data (stat): 13738 (Pueblo) R 13737 7876 7672 0 -1 0 7231 0 0 0 68948 62 0 0 25 0 1 0 805905275 45334528 7007 4294967295 134512640 134581331 3221221792 3221220800 134530845 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11068 7007 566 18 0 11050 0 vsize: 44272 [startup+700.027 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 13795 Raw data (stat): 13738 (Pueblo) R 13737 7876 7672 0 -1 0 7331 0 0 0 69948 62 0 0 25 0 1 0 805905275 45334528 7107 4294967295 134512640 134581331 3221221792 3221220800 134530008 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11068 7107 566 18 0 11050 0 vsize: 44272 [startup+710.027 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 13795 Raw data (stat): 13738 (Pueblo) R 13737 7876 7672 0 -1 0 7390 0 0 0 70948 62 0 0 25 0 1 0 805905275 45334528 7166 4294967295 134512640 134581331 3221221792 3221220800 134530843 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11068 7166 566 18 0 11050 0 vsize: 44272 [startup+720.028 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 13795 Raw data (stat): 13738 (Pueblo) R 13737 7876 7672 0 -1 0 7446 0 0 0 71948 62 0 0 25 0 1 0 805905275 45334528 7222 4294967295 134512640 134581331 3221221792 3221220800 134530010 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11068 7222 566 18 0 11050 0 vsize: 44272 [startup+730.028 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 13795 Raw data (stat): 13738 (Pueblo) R 13737 7876 7672 0 -1 0 7502 0 0 0 72947 63 0 0 25 0 1 0 805905275 45334528 7278 4294967295 134512640 134581331 3221221792 3221220800 134530845 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11068 7278 566 18 0 11050 0 vsize: 44272 [startup+740.029 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 13795 Raw data (stat): 13738 (Pueblo) R 13737 7876 7672 0 -1 0 7559 0 0 0 73947 64 0 0 25 0 1 0 805905275 45334528 7335 4294967295 134512640 134581331 3221221792 3221220800 134530008 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11068 7335 566 18 0 11050 0 vsize: 44272 [startup+750.029 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 13795 Raw data (stat): 13738 (Pueblo) R 13737 7876 7672 0 -1 0 7695 0 0 0 74946 65 0 0 25 0 1 0 805905275 44810240 7307 4294967295 134512640 134581331 3221221792 3221220800 134529988 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10940 7307 566 18 0 10922 0 vsize: 43760 [startup+760.029 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 13795 Raw data (stat): 13738 (Pueblo) R 13737 7876 7672 0 -1 0 7741 0 0 0 75943 68 0 0 25 0 1 0 805905275 44810240 7353 4294967295 134512640 134581331 3221221792 3221220800 134529988 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10940 7353 566 18 0 10922 0 vsize: 43760 [startup+770.03 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 13795 Raw data (stat): 13738 (Pueblo) R 13737 7876 7672 0 -1 0 7830 0 0 0 76941 70 0 0 25 0 1 0 805905275 44810240 7442 4294967295 134512640 134581331 3221221792 3221220800 134530021 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10940 7442 566 18 0 10922 0 vsize: 43760 [startup+780.031 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 13795 Raw data (stat): 13738 (Pueblo) R 13737 7876 7672 0 -1 0 8285 0 0 0 77937 74 0 0 25 0 1 0 805905275 43556864 7319 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10634 7319 566 18 0 10616 0 vsize: 42536 [startup+790.032 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 13795 Raw data (stat): 13738 (Pueblo) R 13737 7876 7672 0 -1 0 8316 0 0 0 78934 77 0 0 25 0 1 0 805905275 39886848 6715 4294967295 134512640 134581331 3221221792 3221220800 134530021 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9738 6715 566 18 0 9720 0 vsize: 38952 [startup+800.032 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 13795 Raw data (stat): 13738 (Pueblo) R 13737 7876 7672 0 -1 0 8834 0 0 0 79932 79 0 0 25 0 1 0 805905275 41943040 7233 4294967295 134512640 134581331 3221221792 3221220704 134527645 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10240 7233 566 18 0 10222 0 vsize: 40960 [startup+810.032 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 13795 Raw data (stat): 13738 (Pueblo) R 13737 7876 7672 0 -1 0 8963 0 0 0 80932 80 0 0 25 0 1 0 805905275 42491904 7362 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10374 7362 566 18 0 10356 0 vsize: 41496 [startup+820.033 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 13795 Raw data (stat): 13738 (Pueblo) R 13737 7876 7672 0 -1 0 8980 0 0 0 81932 80 0 0 25 0 1 0 805905275 42491904 7379 4294967295 134512640 134581331 3221221792 3221220704 134527519 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10374 7379 566 18 0 10356 0 vsize: 41496 [startup+830.033 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 13795 Raw data (stat): 13738 (Pueblo) R 13737 7876 7672 0 -1 0 9005 0 0 0 82932 80 0 0 25 0 1 0 805905275 42631168 7404 4294967295 134512640 134581331 3221221792 3221220704 134527703 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10408 7404 566 18 0 10390 0 vsize: 41632 [startup+840.033 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 13795 Raw data (stat): 13738 (Pueblo) R 13737 7876 7672 0 -1 0 9256 0 0 0 83931 81 0 0 25 0 1 0 805905275 43601920 7655 4294967295 134512640 134581331 3221221792 3221220704 134527404 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10645 7655 566 18 0 10627 0 vsize: 42580 [startup+850.034 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 13795 Raw data (stat): 13738 (Pueblo) R 13737 7876 7672 0 -1 0 10694 0 0 0 84928 84 0 0 25 0 1 0 805905275 51212288 9093 4294967295 134512640 134581331 3221221792 3221220704 134527423 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 12503 9093 566 18 0 12485 0 vsize: 50012 [startup+860.034 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 13795 Raw data (stat): 13738 (Pueblo) R 13737 7876 7672 0 -1 0 10916 0 0 0 85928 85 0 0 25 0 1 0 805905275 51929088 9315 4294967295 134512640 134581331 3221221792 3221220704 134527432 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 12678 9315 566 18 0 12660 0 vsize: 50712 [startup+870.035 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 13795 Raw data (stat): 13738 (Pueblo) R 13737 7876 7672 0 -1 0 11036 0 0 0 86928 85 0 0 25 0 1 0 805905275 52076544 9435 4294967295 134512640 134581331 3221221792 3221220704 134527434 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 12714 9435 566 18 0 12696 0 vsize: 50856 [startup+880.036 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 13795 Raw data (stat): 13738 (Pueblo) R 13737 7876 7672 0 -1 0 11128 0 0 0 87928 85 0 0 25 0 1 0 805905275 52224000 9527 4294967295 134512640 134581331 3221221792 3221220704 134527432 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 12750 9527 566 18 0 12732 0 vsize: 51000 [startup+890.037 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 13795 Raw data (stat): 13738 (Pueblo) R 13737 7876 7672 0 -1 0 11199 0 0 0 88928 86 0 0 25 0 1 0 805905275 52224000 9598 4294967295 134512640 134581331 3221221792 3221220704 134527639 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 12750 9598 566 18 0 12732 0 vsize: 51000 [startup+900.037 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 13795 Raw data (stat): 13738 (Pueblo) R 13737 7876 7672 0 -1 0 11266 0 0 0 89928 86 0 0 25 0 1 0 805905275 52224000 9665 4294967295 134512640 134581331 3221221792 3221220704 134527504 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 12750 9665 566 18 0 12732 0 vsize: 51000 [startup+910.037 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 13795 Raw data (stat): 13738 (Pueblo) R 13737 7876 7672 0 -1 0 11566 0 0 0 90927 87 0 0 25 0 1 0 805905275 53395456 9965 4294967295 134512640 134581331 3221221792 3221220704 134527434 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13036 9965 566 18 0 13018 0 vsize: 52144 [startup+920.038 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 13795 Raw data (stat): 13738 (Pueblo) R 13737 7876 7672 0 -1 0 11639 0 0 0 91927 87 0 0 25 0 1 0 805905275 53395456 10038 4294967295 134512640 134581331 3221221792 3221220704 134527445 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13036 10038 566 18 0 13018 0 vsize: 52144 [startup+930.038 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 13795 Raw data (stat): 13738 (Pueblo) R 13737 7876 7672 0 -1 0 11655 0 0 0 92927 87 0 0 25 0 1 0 805905275 53395456 10054 4294967295 134512640 134581331 3221221792 3221220704 134527504 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13036 10054 566 18 0 13018 0 vsize: 52144 [startup+940.039 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 13795 Raw data (stat): 13738 (Pueblo) R 13737 7876 7672 0 -1 0 11668 0 0 0 93927 88 0 0 25 0 1 0 805905275 53395456 10067 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13036 10067 566 18 0 13018 0 vsize: 52144 [startup+950.04 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 13795 Raw data (stat): 13738 (Pueblo) R 13737 7876 7672 0 -1 0 11689 0 0 0 94927 88 0 0 25 0 1 0 805905275 53522432 10088 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13067 10088 566 18 0 13049 0 vsize: 52268 [startup+960.04 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 13795 Raw data (stat): 13738 (Pueblo) R 13737 7876 7672 0 -1 0 11705 0 0 0 95927 88 0 0 25 0 1 0 805905275 53522432 10104 4294967295 134512640 134581331 3221221792 3221220704 134527504 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13067 10104 566 18 0 13049 0 vsize: 52268 [startup+970.041 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 13795 Raw data (stat): 13738 (Pueblo) R 13737 7876 7672 0 -1 0 11709 0 0 0 96927 88 0 0 25 0 1 0 805905275 53522432 10108 4294967295 134512640 134581331 3221221792 3221220704 134527701 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13067 10108 566 18 0 13049 0 vsize: 52268 [startup+980.042 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 13795 Raw data (stat): 13738 (Pueblo) R 13737 7876 7672 0 -1 0 13617 0 0 0 97923 92 0 0 25 0 1 0 805905275 54161408 10230 4294967295 134512640 134581331 3221221792 3221220704 134527416 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13223 10230 566 18 0 13205 0 vsize: 52892 [startup+990.043 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 13795 Raw data (stat): 13738 (Pueblo) R 13737 7876 7672 0 -1 0 22081 0 0 0 98901 115 0 0 25 0 1 0 805905275 52064256 9858 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 12711 9858 566 18 0 12693 0 vsize: 50844 [startup+1000.04 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 13795 Raw data (stat): 13738 (Pueblo) R 13737 7876 7672 0 -1 0 22081 0 0 0 99894 122 0 0 25 0 1 0 805905275 52064256 9858 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 12711 9858 566 18 0 12693 0 vsize: 50844 [startup+1010.04 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 13795 Raw data (stat): 13738 (Pueblo) R 13737 7876 7672 0 -1 0 22081 0 0 0 100885 131 0 0 25 0 1 0 805905275 52064256 9858 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 12711 9858 566 18 0 12693 0 vsize: 50844 [startup+1020.04 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 13795 Raw data (stat): 13738 (Pueblo) R 13737 7876 7672 0 -1 0 22081 0 0 0 101878 138 0 0 25 0 1 0 805905275 52064256 9858 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 12711 9858 566 18 0 12693 0 vsize: 50844 [startup+1030.04 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 13795 Raw data (stat): 13738 (Pueblo) R 13737 7876 7672 0 -1 0 22081 0 0 0 102871 145 0 0 25 0 1 0 805905275 51539968 9764 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 12583 9764 566 18 0 12565 0 vsize: 50332 [startup+1040.05 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 13795 Raw data (stat): 13738 (Pueblo) R 13737 7876 7672 0 -1 0 22085 0 0 0 103864 153 0 0 25 0 1 0 805905275 51015680 9674 4294967295 134512640 134581331 3221221792 3221220704 134527510 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 12455 9674 566 18 0 12437 0 vsize: 49820 [startup+1050.05 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 13795 Raw data (stat): 13738 (Pueblo) R 13737 7876 7672 0 -1 0 22087 0 0 0 104863 153 0 0 25 0 1 0 805905275 51015680 9676 4294967295 134512640 134581331 3221221792 3221220800 134530010 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 12455 9676 566 18 0 12437 0 vsize: 49820 [startup+1060.05 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 13795 Raw data (stat): 13738 (Pueblo) R 13737 7876 7672 0 -1 0 22109 0 0 0 105860 157 0 0 25 0 1 0 805905275 48918528 9327 4294967295 134512640 134581331 3221221792 3221220704 134527432 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11943 9327 566 18 0 11925 0 vsize: 47772 [startup+1070.05 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 13795 Raw data (stat): 13738 (Pueblo) R 13737 7876 7672 0 -1 0 22110 0 0 0 106860 157 0 0 25 0 1 0 805905275 48394240 9233 4294967295 134512640 134581331 3221221792 3221220800 134529981 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11815 9233 566 18 0 11797 0 vsize: 47260 [startup+1080.05 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 13795 Raw data (stat): 13738 (Pueblo) R 13737 7876 7672 0 -1 0 22115 0 0 0 107855 162 0 0 25 0 1 0 805905275 48394240 9238 4294967295 134512640 134581331 3221221792 3221220704 134527769 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11815 9238 566 18 0 11797 0 vsize: 47260 [startup+1090.05 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 13795 Raw data (stat): 13738 (Pueblo) R 13737 7876 7672 0 -1 0 22137 0 0 0 108847 170 0 0 25 0 1 0 805905275 47312896 9063 4294967295 134512640 134581331 3221221792 3221220800 134529968 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11551 9063 566 18 0 11533 0 vsize: 46204 [startup+1100.05 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 13795 Raw data (stat): 13738 (Pueblo) R 13737 7876 7672 0 -1 0 23277 0 0 0 109837 180 0 0 25 0 1 0 805905275 54661120 10203 4294967295 134512640 134581331 3221221792 3221220800 134529981 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13345 10203 566 18 0 13327 0 vsize: 53380 [startup+1110.05 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 13795 Raw data (stat): 13738 (Pueblo) R 13737 7876 7672 0 -1 0 23295 0 0 0 110832 186 0 0 25 0 1 0 805905275 54661120 10221 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13345 10221 566 18 0 13327 0 vsize: 53380 [startup+1120.05 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 13795 Raw data (stat): 13738 (Pueblo) R 13737 7876 7672 0 -1 0 23295 0 0 0 111827 191 0 0 25 0 1 0 805905275 54661120 10221 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13345 10221 566 18 0 13327 0 vsize: 53380 [startup+1130.05 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 13795 Raw data (stat): 13738 (Pueblo) R 13737 7876 7672 0 -1 0 23295 0 0 0 112821 197 0 0 25 0 1 0 805905275 54661120 10221 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13345 10221 566 18 0 13327 0 vsize: 53380 [startup+1140.05 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 13795 Raw data (stat): 13738 (Pueblo) R 13737 7876 7672 0 -1 0 23295 0 0 0 113815 203 0 0 25 0 1 0 805905275 52039680 9736 4294967295 134512640 134581331 3221221792 3221220704 134527537 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 12705 9736 566 18 0 12687 0 vsize: 50820 [startup+1150.05 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 13795 Raw data (stat): 13738 (Pueblo) R 13737 7876 7672 0 -1 0 23363 0 0 0 114812 206 0 0 25 0 1 0 805905275 49942528 9418 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 12193 9418 566 18 0 12175 0 vsize: 48772 [startup+1160.05 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 13795 Raw data (stat): 13738 (Pueblo) R 13737 7876 7672 0 -1 0 23385 0 0 0 115806 213 0 0 25 0 1 0 805905275 49942528 9440 4294967295 134512640 134581331 3221221792 3221220800 134530003 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 12193 9440 566 18 0 12175 0 vsize: 48772 [startup+1170.05 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 13795 Raw data (stat): 13738 (Pueblo) R 13737 7876 7672 0 -1 0 23472 0 0 0 116803 216 0 0 25 0 1 0 805905275 49942528 9527 4294967295 134512640 134581331 3221221792 3221220800 134530010 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 12193 9527 566 18 0 12175 0 vsize: 48772 [startup+1180.05 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 13795 Raw data (stat): 13738 (Pueblo) R 13737 7876 7672 0 -1 0 23609 0 0 0 117800 219 0 0 25 0 1 0 805905275 49942528 9664 4294967295 134512640 134581331 3221221792 3221220800 134529968 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 12193 9664 566 18 0 12175 0 vsize: 48772 [startup+1188.9 s] Raw data (loadavg): 1.00 1.00 0.96 1/54 13795 Raw data (stat): 13738 (Pueblo) R 13737 7876 7672 0 -1 0 23609 0 0 0 117800 219 0 0 25 0 1 0 805905275 49942528 9664 4294967295 134512640 134581331 3221221792 3221220800 134529968 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 12193 9664 566 18 0 12175 0 vsize: 0 Child status: 10 Real time (s): 1188.9 CPU time (s): 1189.05 CPU user time (s): 1186.82 CPU system time (s): 2.23166 CPU usage (%): 100.012 Max. virtual memory (Kb): 53380 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 236170881 #### END VERIFIER DATA ####