PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

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
Trace number 39225

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-02 23:54:17 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27283 boxname=wulflinc5 idbench=1411 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  cc38717029ffa5880438a73ef1ac0ab0  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-fiber.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-fiber.opb
IDLAUNCH: 27283
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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	: 2
cpu MHz		: 451.007
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	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        623384 kB
Buffers:         30876 kB
Cached:         357312 kB
SwapCached:        568 kB
Active:          28316 kB
Inactive:       361920 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        623132 kB
SwapTotal:     2097136 kB
SwapFree:      2095632 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5148 kB
Slab:            15476 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-03 00:14:06 (client local time) WITH STATUS 10 IN 1189.02 SECONDS
stats: 27283 0 1189.02 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/wulflinc5/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
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.91 0.95 0.90 2/54 14890
Raw data (stat): 14890 (runsolver) R 14889 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 853903987 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0008 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 14890
Raw data (stat): 14890 (Pueblo-v2) R 14889 7266 7265 0 -1 0 1262 0 0 0 992 6 0 0 25 0 1 0 853903987 11186176 1236 4294967295 134512640 134581267 3221224576 3221223584 134530813 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2731 1236 566 18 0 2713 0
vsize: 10924
[startup+20.0008 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 14890
Raw data (stat): 14890 (Pueblo-v2) R 14889 7266 7265 0 -1 0 1946 0 0 0 1989 9 0 0 25 0 1 0 853903987 14147584 1920 4294967295 134512640 134581267 3221224576 3221223584 134529956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3454 1920 566 18 0 3436 0
vsize: 13816
[startup+30.0012 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 14890
Raw data (stat): 14890 (Pueblo-v2) R 14889 7266 7265 0 -1 0 3162 0 0 0 2985 14 0 0 25 0 1 0 853903987 19255296 3136 4294967295 134512640 134581267 3221224576 3221223488 134527451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4701 3136 566 18 0 4683 0
vsize: 18804
[startup+40.001 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 14890
Raw data (stat): 14890 (Pueblo-v2) R 14889 7266 7265 0 -1 0 3208 0 0 0 3981 17 0 0 25 0 1 0 853903987 19398656 3182 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4736 3182 566 18 0 4718 0
vsize: 18944
[startup+50.0021 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 14890
Raw data (stat): 14890 (Pueblo-v2) R 14889 7266 7265 0 -1 0 3369 0 0 0 4977 22 0 0 25 0 1 0 853903987 20361216 3343 4294967295 134512640 134581267 3221224576 3221223584 134530813 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4971 3343 566 18 0 4953 0
vsize: 19884
[startup+60.0025 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 14890
Raw data (stat): 14890 (Pueblo-v2) R 14889 7266 7265 0 -1 0 5242 0 0 0 5970 29 0 0 25 0 1 0 853903987 29437952 5216 4294967295 134512640 134581267 3221224576 3221223584 134529976 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7187 5216 566 18 0 7169 0
vsize: 28748
[startup+70.0022 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 14890
Raw data (stat): 14890 (Pueblo-v2) R 14889 7266 7265 0 -1 0 5520 0 0 0 6968 32 0 0 25 0 1 0 853903987 29437952 5494 4294967295 134512640 134581267 3221224576 3221223552 134531293 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7187 5494 566 18 0 7169 0
vsize: 28748
[startup+80.0033 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 14890
Raw data (stat): 14890 (Pueblo-v2) R 14889 7266 7265 0 -1 0 5721 0 0 0 7964 36 0 0 25 0 1 0 853903987 29765632 5695 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7267 5695 566 18 0 7249 0
vsize: 29068
[startup+90.0027 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 14890
Raw data (stat): 14890 (Pueblo-v2) R 14889 7266 7265 0 -1 0 5722 0 0 0 8964 36 0 0 25 0 1 0 853903987 29765632 5696 4294967295 134512640 134581267 3221224576 3221223488 134527451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7267 5696 566 18 0 7249 0
vsize: 29068
[startup+100.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 14890
Raw data (stat): 14890 (Pueblo-v2) R 14889 7266 7265 0 -1 0 5722 0 0 0 9964 36 0 0 25 0 1 0 853903987 29765632 5696 4294967295 134512640 134581267 3221224576 3221223488 134527451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7267 5696 566 18 0 7249 0
vsize: 29068
[startup+110.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 14890
Raw data (stat): 14890 (Pueblo-v2) R 14889 7266 7265 0 -1 0 5725 0 0 0 10964 36 0 0 25 0 1 0 853903987 29765632 5699 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7267 5699 566 18 0 7249 0
vsize: 29068
[startup+120.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14890
Raw data (stat): 14890 (Pueblo-v2) R 14889 7266 7265 0 -1 0 5725 0 0 0 11963 37 0 0 25 0 1 0 853903987 29765632 5699 4294967295 134512640 134581267 3221224576 3221223488 134527434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7267 5699 566 18 0 7249 0
vsize: 29068
[startup+130.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14890
Raw data (stat): 14890 (Pueblo-v2) R 14889 7266 7265 0 -1 0 5728 0 0 0 12961 39 0 0 25 0 1 0 853903987 29765632 5702 4294967295 134512640 134581267 3221224576 3221223488 134527692 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7267 5702 566 18 0 7249 0
vsize: 29068
[startup+140.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14890
Raw data (stat): 14890 (Pueblo-v2) R 14889 7266 7265 0 -1 0 5728 0 0 0 13961 40 0 0 25 0 1 0 853903987 29765632 5702 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7267 5702 566 18 0 7249 0
vsize: 29068
[startup+150.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14890
Raw data (stat): 14890 (Pueblo-v2) R 14889 7266 7265 0 -1 0 5728 0 0 0 14961 40 0 0 25 0 1 0 853903987 29765632 5702 4294967295 134512640 134581267 3221224576 3221223488 134527459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7267 5702 566 18 0 7249 0
vsize: 29068
[startup+160.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14890
Raw data (stat): 14890 (Pueblo-v2) R 14889 7266 7265 0 -1 0 5731 0 0 0 15961 40 0 0 25 0 1 0 853903987 29765632 5705 4294967295 134512640 134581267 3221224576 3221223440 134528229 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7267 5705 566 18 0 7249 0
vsize: 29068
[startup+170.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14890
Raw data (stat): 14890 (Pueblo-v2) R 14889 7266 7265 0 -1 0 5731 0 0 0 16956 45 0 0 25 0 1 0 853903987 29765632 5705 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7267 5705 566 18 0 7249 0
vsize: 29068
[startup+180.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14890
Raw data (stat): 14890 (Pueblo-v2) R 14889 7266 7265 0 -1 0 5731 0 0 0 17956 45 0 0 25 0 1 0 853903987 29765632 5705 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7267 5705 566 18 0 7249 0
vsize: 29068
[startup+190.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14890
Raw data (stat): 14890 (Pueblo-v2) R 14889 7266 7265 0 -1 0 5731 0 0 0 18956 45 0 0 25 0 1 0 853903987 29765632 5705 4294967295 134512640 134581267 3221224576 3221223488 134527652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7267 5705 566 18 0 7249 0
vsize: 29068
[startup+200.004 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 14890
Raw data (stat): 14890 (Pueblo-v2) R 14889 7266 7265 0 -1 0 5731 0 0 0 19956 46 0 0 25 0 1 0 853903987 29765632 5705 4294967295 134512640 134581267 3221224576 3221223488 134527636 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7267 5705 566 18 0 7249 0
vsize: 29068
[startup+210.004 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 14890
Raw data (stat): 14890 (Pueblo-v2) R 14889 7266 7265 0 -1 0 5731 0 0 0 20951 51 0 0 25 0 1 0 853903987 29765632 5705 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7267 5705 566 18 0 7249 0
vsize: 29068
[startup+220.004 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 14890
Raw data (stat): 14890 (Pueblo-v2) R 14889 7266 7265 0 -1 0 5731 0 0 0 21947 55 0 0 25 0 1 0 853903987 29765632 5705 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7267 5705 566 18 0 7249 0
vsize: 29068
[startup+230.005 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 14890
Raw data (stat): 14890 (Pueblo-v2) R 14889 7266 7265 0 -1 0 5731 0 0 0 22946 56 0 0 25 0 1 0 853903987 29765632 5705 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7267 5705 566 18 0 7249 0
vsize: 29068
[startup+240.004 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 14890
Raw data (stat): 14890 (Pueblo-v2) R 14889 7266 7265 0 -1 0 5731 0 0 0 23941 61 0 0 25 0 1 0 853903987 29765632 5705 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7267 5705 566 18 0 7249 0
vsize: 29068
[startup+250.005 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 14890
Raw data (stat): 14890 (Pueblo-v2) R 14889 7266 7265 0 -1 0 5731 0 0 0 24939 63 0 0 25 0 1 0 853903987 29765632 5705 4294967295 134512640 134581267 3221224576 3221223488 134527687 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7267 5705 566 18 0 7249 0
vsize: 29068
[startup+260.006 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 14890
Raw data (stat): 14890 (Pueblo-v2) R 14889 7266 7265 0 -1 0 5731 0 0 0 25937 66 0 0 25 0 1 0 853903987 29765632 5705 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7267 5705 566 18 0 7249 0
vsize: 29068
[startup+270.005 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 14890
Raw data (stat): 14890 (Pueblo-v2) R 14889 7266 7265 0 -1 0 5731 0 0 0 26931 72 0 0 25 0 1 0 853903987 29765632 5705 4294967295 134512640 134581267 3221224576 3221223440 134528226 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7267 5705 566 18 0 7249 0
vsize: 29068
[startup+280.006 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 14890
Raw data (stat): 14890 (Pueblo-v2) R 14889 7266 7265 0 -1 0 5731 0 0 0 27925 78 0 0 25 0 1 0 853903987 29765632 5705 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7267 5705 566 18 0 7249 0
vsize: 29068
[startup+290.006 s]
Raw data (loadavg): 1.09 1.00 0.92 2/54 14890
Raw data (stat): 14890 (Pueblo-v2) R 14889 7266 7265 0 -1 0 5731 0 0 0 28922 82 0 0 25 0 1 0 853903987 29765632 5705 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7267 5705 566 18 0 7249 0
vsize: 29068
[startup+300.006 s]
Raw data (loadavg): 1.08 1.00 0.92 2/54 14890
Raw data (stat): 14890 (Pueblo-v2) R 14889 7266 7265 0 -1 0 5731 0 0 0 29918 86 0 0 25 0 1 0 853903987 29765632 5705 4294967295 134512640 134581267 3221224576 3221223488 134527737 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7267 5705 566 18 0 7249 0
vsize: 29068
[startup+310.007 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 14890
Raw data (stat): 14890 (Pueblo-v2) R 14889 7266 7265 0 -1 0 5731 0 0 0 30917 86 0 0 25 0 1 0 853903987 29765632 5705 4294967295 134512640 134581267 3221224576 3221223488 134527636 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7267 5705 566 18 0 7249 0
vsize: 29068
[startup+320.006 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 14890
Raw data (stat): 14890 (Pueblo-v2) R 14889 7266 7265 0 -1 0 5731 0 0 0 31914 91 0 0 25 0 1 0 853903987 29765632 5705 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7267 5705 566 18 0 7249 0
vsize: 29068
[startup+330.007 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 14890
Raw data (stat): 14890 (Pueblo-v2) R 14889 7266 7265 0 -1 0 5731 0 0 0 32910 94 0 0 25 0 1 0 853903987 29765632 5705 4294967295 134512640 134581267 3221224576 3221223440 134528229 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7267 5705 566 18 0 7249 0
vsize: 29068
[startup+340.007 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 14890
Raw data (stat): 14890 (Pueblo-v2) R 14889 7266 7265 0 -1 0 5731 0 0 0 33905 100 0 0 25 0 1 0 853903987 29765632 5705 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7267 5705 566 18 0 7249 0
vsize: 29068
[startup+350.021 s]
Raw data (loadavg): 1.11 1.02 0.93 2/57 14931
Raw data (stat): 14890 (Pueblo-v2) R 14889 7266 7265 0 -1 0 5731 0 0 0 34900 106 0 0 25 0 1 0 853903987 29765632 5705 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7267 5705 566 18 0 7249 0
vsize: 29068
[startup+360.022 s]
Raw data (loadavg): 1.10 1.02 0.93 2/54 14943
Raw data (stat): 14890 (Pueblo-v2) R 14889 7266 7265 0 -1 0 5731 0 0 0 35897 109 0 0 25 0 1 0 853903987 29765632 5705 4294967295 134512640 134581267 3221224576 3221223440 134528255 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7267 5705 566 18 0 7249 0
vsize: 29068
[startup+370.022 s]
Raw data (loadavg): 1.08 1.01 0.93 2/54 14943
Raw data (stat): 14890 (Pueblo-v2) R 14889 7266 7265 0 -1 0 5731 0 0 0 36894 113 0 0 25 0 1 0 853903987 29765632 5705 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7267 5705 566 18 0 7249 0
vsize: 29068
[startup+380.022 s]
Raw data (loadavg): 1.07 1.01 0.93 2/54 14943
Raw data (stat): 14890 (Pueblo-v2) R 14889 7266 7265 0 -1 0 5731 0 0 0 37890 117 0 0 25 0 1 0 853903987 29765632 5705 4294967295 134512640 134581267 3221224576 3221223488 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7267 5705 566 18 0 7249 0
vsize: 29068
[startup+390.022 s]
Raw data (loadavg): 1.06 1.01 0.93 2/54 14943
Raw data (stat): 14890 (Pueblo-v2) R 14889 7266 7265 0 -1 0 5731 0 0 0 38887 120 0 0 25 0 1 0 853903987 29765632 5705 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7267 5705 566 18 0 7249 0
vsize: 29068
[startup+400.023 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 14943
Raw data (stat): 14890 (Pueblo-v2) R 14889 7266 7265 0 -1 0 5731 0 0 0 39883 124 0 0 25 0 1 0 853903987 29765632 5705 4294967295 134512640 134581267 3221224576 3221223484 134527740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7267 5705 566 18 0 7249 0
vsize: 29068
[startup+410.023 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 14943
Raw data (stat): 14890 (Pueblo-v2) R 14889 7266 7265 0 -1 0 5731 0 0 0 40876 131 0 0 25 0 1 0 853903987 29765632 5705 4294967295 134512640 134581267 3221224576 3221223304 1075288182 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7267 5705 566 18 0 7249 0
vsize: 29068
[startup+420.022 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 14943
Raw data (stat): 14890 (Pueblo-v2) R 14889 7266 7265 0 -1 0 5731 0 0 0 41871 137 0 0 25 0 1 0 853903987 29765632 5705 4294967295 134512640 134581267 3221224576 3221223488 134527774 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7267 5705 566 18 0 7249 0
vsize: 29068
[startup+430.024 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 14945
Raw data (stat): 14890 (Pueblo-v2) R 14889 7266 7265 0 -1 0 5731 0 0 0 42866 141 0 0 25 0 1 0 853903987 29765632 5705 4294967295 134512640 134581267 3221224576 3221223440 134528229 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7267 5705 566 18 0 7249 0
vsize: 29068
[startup+440.023 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 14945
Raw data (stat): 14890 (Pueblo-v2) R 14889 7266 7265 0 -1 0 5731 0 0 0 43861 147 0 0 25 0 1 0 853903987 29765632 5705 4294967295 134512640 134581267 3221224576 3221223544 134527282 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7267 5705 566 18 0 7249 0
vsize: 29068
[startup+450.024 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 14945
Raw data (stat): 14890 (Pueblo-v2) R 14889 7266 7265 0 -1 0 5731 0 0 0 44855 153 0 0 25 0 1 0 853903987 29765632 5705 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7267 5705 566 18 0 7249 0
vsize: 29068
[startup+460.024 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 14945
Raw data (stat): 14890 (Pueblo-v2) R 14889 7266 7265 0 -1 0 5731 0 0 0 45850 158 0 0 25 0 1 0 853903987 29765632 5705 4294967295 134512640 134581267 3221224576 3221223176 1075289643 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7267 5705 566 18 0 7249 0
vsize: 29068
[startup+470.024 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 14945
Raw data (stat): 14890 (Pueblo-v2) R 14889 7266 7265 0 -1 0 5731 0 0 0 46847 162 0 0 25 0 1 0 853903987 29765632 5705 4294967295 134512640 134581267 3221224576 3221223488 134527645 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7267 5705 566 18 0 7249 0
vsize: 29068
[startup+480.024 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 14945
Raw data (stat): 14890 (Pueblo-v2) R 14889 7266 7265 0 -1 0 5731 0 0 0 47842 166 0 0 25 0 1 0 853903987 29765632 5705 4294967295 134512640 134581267 3221224576 3221223440 134528291 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7267 5705 566 18 0 7249 0
vsize: 29068
[startup+490.024 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 14945
Raw data (stat): 14890 (Pueblo-v2) R 14889 7266 7265 0 -1 0 5731 0 0 0 48839 170 0 0 25 0 1 0 853903987 29765632 5705 4294967295 134512640 134581267 3221224576 3221223488 134527440 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7267 5705 566 18 0 7249 0
vsize: 29068
[startup+500.024 s]
Raw data (loadavg): 1.17 1.04 0.94 2/54 14945
Raw data (stat): 14890 (Pueblo-v2) R 14889 7266 7265 0 -1 0 5731 0 0 0 49834 175 0 0 25 0 1 0 853903987 29765632 5705 4294967295 134512640 134581267 3221224576 3221223440 134528302 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7267 5705 566 18 0 7249 0
vsize: 29068
[startup+510.025 s]
Raw data (loadavg): 1.21 1.05 0.94 2/54 14945
Raw data (stat): 14890 (Pueblo-v2) R 14889 7266 7265 0 -1 0 5731 0 0 0 50829 180 0 0 25 0 1 0 853903987 29765632 5705 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7267 5705 566 18 0 7249 0
vsize: 29068
[startup+520.024 s]
Raw data (loadavg): 1.18 1.05 0.94 2/54 14945
Raw data (stat): 14890 (Pueblo-v2) R 14889 7266 7265 0 -1 0 5731 0 0 0 51827 183 0 0 25 0 1 0 853903987 29765632 5705 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7267 5705 566 18 0 7249 0
vsize: 29068
[startup+530.025 s]
Raw data (loadavg): 1.15 1.05 0.94 2/54 14945
Raw data (stat): 14890 (Pueblo-v2) R 14889 7266 7265 0 -1 0 5731 0 0 0 52822 188 0 0 25 0 1 0 853903987 29765632 5705 4294967295 134512640 134581267 3221224576 3221223488 134527440 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7267 5705 566 18 0 7249 0
vsize: 29068
[startup+540.024 s]
Raw data (loadavg): 1.13 1.04 0.94 2/54 14945
Raw data (stat): 14890 (Pueblo-v2) R 14889 7266 7265 0 -1 0 5731 0 0 0 53818 192 0 0 25 0 1 0 853903987 29765632 5705 4294967295 134512640 134581267 3221224576 3221223440 134528240 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7267 5705 566 18 0 7249 0
vsize: 29068
[startup+550.026 s]
Raw data (loadavg): 1.11 1.04 0.94 2/54 14945
Raw data (stat): 14890 (Pueblo-v2) R 14889 7266 7265 0 -1 0 5731 0 0 0 54814 196 0 0 25 0 1 0 853903987 29765632 5705 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7267 5705 566 18 0 7249 0
vsize: 29068
[startup+560.025 s]
Raw data (loadavg): 1.09 1.04 0.94 2/54 14945
Raw data (stat): 14890 (Pueblo-v2) R 14889 7266 7265 0 -1 0 5731 0 0 0 55809 201 0 0 25 0 1 0 853903987 29765632 5705 4294967295 134512640 134581267 3221224576 3221223440 134528299 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7267 5705 566 18 0 7249 0
vsize: 29068
[startup+570.025 s]
Raw data (loadavg): 1.08 1.04 0.94 2/54 14945
Raw data (stat): 14890 (Pueblo-v2) R 14889 7266 7265 0 -1 0 5731 0 0 0 56805 205 0 0 25 0 1 0 853903987 29765632 5705 4294967295 134512640 134581267 3221224576 3221223440 134560317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7267 5705 566 18 0 7249 0
vsize: 29068
[startup+580.026 s]
Raw data (loadavg): 1.06 1.04 0.94 2/54 14945
Raw data (stat): 14890 (Pueblo-v2) R 14889 7266 7265 0 -1 0 5731 0 0 0 57801 210 0 0 25 0 1 0 853903987 29765632 5705 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7267 5705 566 18 0 7249 0
vsize: 29068
[startup+590.025 s]
Raw data (loadavg): 1.05 1.03 0.94 2/54 14945
Raw data (stat): 14890 (Pueblo-v2) R 14889 7266 7265 0 -1 0 5731 0 0 0 58796 215 0 0 25 0 1 0 853903987 29765632 5705 4294967295 134512640 134581267 3221224576 3221223488 134527416 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7267 5705 566 18 0 7249 0
vsize: 29068
[startup+600.026 s]
Raw data (loadavg): 1.05 1.03 0.94 2/54 14945
Raw data (stat): 14890 (Pueblo-v2) R 14889 7266 7265 0 -1 0 5731 0 0 0 59791 220 0 0 25 0 1 0 853903987 29765632 5705 4294967295 134512640 134581267 3221224576 3221223520 134559196 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7267 5705 566 18 0 7249 0
vsize: 29068
[startup+610.026 s]
Raw data (loadavg): 1.04 1.03 0.94 2/54 14945
Raw data (stat): 14890 (Pueblo-v2) R 14889 7266 7265 0 -1 0 5731 0 0 0 60782 229 0 0 25 0 1 0 853903987 29765632 5705 4294967295 134512640 134581267 3221224576 3221223440 134560328 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7267 5705 566 18 0 7249 0
vsize: 29068
[startup+620.025 s]
Raw data (loadavg): 1.03 1.03 0.94 2/54 14945
Raw data (stat): 14890 (Pueblo-v2) R 14889 7266 7265 0 -1 0 5731 0 0 0 61778 233 0 0 25 0 1 0 853903987 29765632 5705 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7267 5705 566 18 0 7249 0
vsize: 29068
[startup+630.026 s]
Raw data (loadavg): 1.03 1.03 0.94 2/54 14945
Raw data (stat): 14890 (Pueblo-v2) R 14889 7266 7265 0 -1 0 5731 0 0 0 62772 239 0 0 25 0 1 0 853903987 29765632 5705 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7267 5705 566 18 0 7249 0
vsize: 29068
[startup+640.026 s]
Raw data (loadavg): 1.02 1.03 0.94 2/54 14945
Raw data (stat): 14890 (Pueblo-v2) R 14889 7266 7265 0 -1 0 5731 0 0 0 63768 244 0 0 25 0 1 0 853903987 29765632 5705 4294967295 134512640 134581267 3221224576 3221223440 134528284 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7267 5705 566 18 0 7249 0
vsize: 29068
[startup+650.027 s]
Raw data (loadavg): 1.02 1.03 0.94 2/54 14945
Raw data (stat): 14890 (Pueblo-v2) R 14889 7266 7265 0 -1 0 5731 0 0 0 64764 248 0 0 25 0 1 0 853903987 29765632 5705 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7267 5705 566 18 0 7249 0
vsize: 29068
[startup+660.026 s]
Raw data (loadavg): 1.02 1.02 0.94 2/54 14945
Raw data (stat): 14890 (Pueblo-v2) R 14889 7266 7265 0 -1 0 5731 0 0 0 65760 252 0 0 25 0 1 0 853903987 29765632 5705 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7267 5705 566 18 0 7249 0
vsize: 29068
[startup+670.027 s]
Raw data (loadavg): 1.01 1.02 0.94 2/54 14945
Raw data (stat): 14890 (Pueblo-v2) R 14889 7266 7265 0 -1 0 5731 0 0 0 66757 255 0 0 25 0 1 0 853903987 29765632 5705 4294967295 134512640 134581267 3221224576 3221223488 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7267 5705 566 18 0 7249 0
vsize: 29068
[startup+680.027 s]
Raw data (loadavg): 1.01 1.02 0.94 2/54 14945
Raw data (stat): 14890 (Pueblo-v2) R 14889 7266 7265 0 -1 0 5731 0 0 0 67754 258 0 0 25 0 1 0 853903987 29765632 5705 4294967295 134512640 134581267 3221224576 3221223272 1075291632 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7267 5705 566 18 0 7249 0
vsize: 29068
[startup+690.027 s]
Raw data (loadavg): 1.01 1.02 0.94 2/54 14947
Raw data (stat): 14890 (Pueblo-v2) R 14889 7266 7265 0 -1 0 5731 0 0 0 68751 262 0 0 25 0 1 0 853903987 29765632 5705 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7267 5705 566 18 0 7249 0
vsize: 29068
[startup+700.028 s]
Raw data (loadavg): 1.01 1.02 0.94 2/54 14947
Raw data (stat): 14890 (Pueblo-v2) R 14889 7266 7265 0 -1 0 5731 0 0 0 69748 265 0 0 25 0 1 0 853903987 29765632 5705 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7267 5705 566 18 0 7249 0
vsize: 29068
[startup+710.028 s]
Raw data (loadavg): 1.00 1.02 0.94 2/54 14947
Raw data (stat): 14890 (Pueblo-v2) R 14889 7266 7265 0 -1 0 5731 0 0 0 70744 269 0 0 25 0 1 0 853903987 29765632 5705 4294967295 134512640 134581267 3221224576 3221223488 134528053 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7267 5705 566 18 0 7249 0
vsize: 29068
[startup+720.028 s]
Raw data (loadavg): 1.00 1.02 0.94 2/54 14947
Raw data (stat): 14890 (Pueblo-v2) R 14889 7266 7265 0 -1 0 5731 0 0 0 71740 273 0 0 25 0 1 0 853903987 29765632 5705 4294967295 134512640 134581267 3221224576 3221223440 134528284 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7267 5705 566 18 0 7249 0
vsize: 29068
[startup+730.028 s]
Raw data (loadavg): 1.00 1.02 0.94 2/54 14947
Raw data (stat): 14890 (Pueblo-v2) R 14889 7266 7265 0 -1 0 5731 0 0 0 72737 277 0 0 25 0 1 0 853903987 29765632 5705 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7267 5705 566 18 0 7249 0
vsize: 29068
[startup+740.028 s]
Raw data (loadavg): 1.00 1.02 0.94 2/54 14947
Raw data (stat): 14890 (Pueblo-v2) R 14889 7266 7265 0 -1 0 5731 0 0 0 73733 280 0 0 25 0 1 0 853903987 29765632 5705 4294967295 134512640 134581267 3221224576 3221223440 134528284 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7267 5705 566 18 0 7249 0
vsize: 29068
[startup+750.029 s]
Raw data (loadavg): 1.00 1.02 0.94 2/54 14947
Raw data (stat): 14890 (Pueblo-v2) R 14889 7266 7265 0 -1 0 5731 0 0 0 74731 283 0 0 25 0 1 0 853903987 29765632 5705 4294967295 134512640 134581267 3221224576 3221223488 134527531 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7267 5705 566 18 0 7249 0
vsize: 29068
[startup+760.029 s]
Raw data (loadavg): 1.00 1.02 0.94 2/54 14947
Raw data (stat): 14890 (Pueblo-v2) R 14889 7266 7265 0 -1 0 5731 0 0 0 75727 287 0 0 25 0 1 0 853903987 29765632 5705 4294967295 134512640 134581267 3221224576 3221223504 134519844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7267 5705 566 18 0 7249 0
vsize: 29068
[startup+770.029 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 14947
Raw data (stat): 14890 (Pueblo-v2) R 14889 7266 7265 0 -1 0 5731 0 0 0 76723 291 0 0 25 0 1 0 853903987 29765632 5705 4294967295 134512640 134581267 3221224576 3221223440 134527179 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7267 5705 566 18 0 7249 0
vsize: 29068
[startup+780.029 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 14947
Raw data (stat): 14890 (Pueblo-v2) R 14889 7266 7265 0 -1 0 5731 0 0 0 77720 295 0 0 25 0 1 0 853903987 29765632 5705 4294967295 134512640 134581267 3221224576 3221223440 134528238 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7267 5705 566 18 0 7249 0
vsize: 29068
[startup+790.029 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 14947
Raw data (stat): 14890 (Pueblo-v2) R 14889 7266 7265 0 -1 0 5731 0 0 0 78717 297 0 0 25 0 1 0 853903987 29765632 5705 4294967295 134512640 134581267 3221224576 3221223440 134528299 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7267 5705 566 18 0 7249 0
vsize: 29068
[startup+800.03 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 14947
Raw data (stat): 14890 (Pueblo-v2) R 14889 7266 7265 0 -1 0 5731 0 0 0 79714 300 0 0 25 0 1 0 853903987 29765632 5705 4294967295 134512640 134581267 3221224576 3221223488 134527513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7267 5705 566 18 0 7249 0
vsize: 29068
[startup+810.031 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 14947
Raw data (stat): 14890 (Pueblo-v2) R 14889 7266 7265 0 -1 0 5731 0 0 0 80709 306 0 0 25 0 1 0 853903987 29765632 5705 4294967295 134512640 134581267 3221224576 3221223504 134519875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7267 5705 566 18 0 7249 0
vsize: 29068
[startup+820.03 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 14947
Raw data (stat): 14890 (Pueblo-v2) R 14889 7266 7265 0 -1 0 5731 0 0 0 81703 312 0 0 25 0 1 0 853903987 29765632 5705 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7267 5705 566 18 0 7249 0
vsize: 29068
[startup+830.03 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 14947
Raw data (stat): 14890 (Pueblo-v2) R 14889 7266 7265 0 -1 0 5731 0 0 0 82698 318 0 0 25 0 1 0 853903987 29765632 5705 4294967295 134512640 134581267 3221224576 3221223488 134527440 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7267 5705 566 18 0 7249 0
vsize: 29068
[startup+840.03 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 14947
Raw data (stat): 14890 (Pueblo-v2) R 14889 7266 7265 0 -1 0 5731 0 0 0 83692 324 0 0 25 0 1 0 853903987 29765632 5705 4294967295 134512640 134581267 3221224576 3221223568 134561104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7267 5705 566 18 0 7249 0
vsize: 29068
[startup+850.03 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 14947
Raw data (stat): 14890 (Pueblo-v2) R 14889 7266 7265 0 -1 0 5731 0 0 0 84687 328 0 0 25 0 1 0 853903987 29765632 5705 4294967295 134512640 134581267 3221224576 3221223440 134528246 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7267 5705 566 18 0 7249 0
vsize: 29068
[startup+860.029 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 14947
Raw data (stat): 14890 (Pueblo-v2) R 14889 7266 7265 0 -1 0 5731 0 0 0 85684 332 0 0 25 0 1 0 853903987 29765632 5705 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7267 5705 566 18 0 7249 0
vsize: 29068
[startup+870.029 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14947
Raw data (stat): 14890 (Pueblo-v2) R 14889 7266 7265 0 -1 0 5731 0 0 0 86680 336 0 0 25 0 1 0 853903987 29765632 5705 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7267 5705 566 18 0 7249 0
vsize: 29068
[startup+880.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14947
Raw data (stat): 14890 (Pueblo-v2) R 14889 7266 7265 0 -1 0 5731 0 0 0 87677 340 0 0 25 0 1 0 853903987 29765632 5705 4294967295 134512640 134581267 3221224576 3221223440 134531403 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7267 5705 566 18 0 7249 0
vsize: 29068
[startup+890.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14947
Raw data (stat): 14890 (Pueblo-v2) R 14889 7266 7265 0 -1 0 5731 0 0 0 88673 343 0 0 25 0 1 0 853903987 29765632 5705 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7267 5705 566 18 0 7249 0
vsize: 29068
[startup+900.029 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14947
Raw data (stat): 14890 (Pueblo-v2) R 14889 7266 7265 0 -1 0 5731 0 0 0 89669 347 0 0 25 0 1 0 853903987 29765632 5705 4294967295 134512640 134581267 3221224576 3221223504 134519857 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7267 5705 566 18 0 7249 0
vsize: 29068
[startup+910.029 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14947
Raw data (stat): 14890 (Pueblo-v2) R 14889 7266 7265 0 -1 0 5731 0 0 0 90664 353 0 0 25 0 1 0 853903987 29765632 5705 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7267 5705 566 18 0 7249 0
vsize: 29068
[startup+920.029 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14947
Raw data (stat): 14890 (Pueblo-v2) R 14889 7266 7265 0 -1 0 5731 0 0 0 91660 357 0 0 25 0 1 0 853903987 29765632 5705 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7267 5705 566 18 0 7249 0
vsize: 29068
[startup+930.029 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14947
Raw data (stat): 14890 (Pueblo-v2) R 14889 7266 7265 0 -1 0 5731 0 0 0 92655 362 0 0 25 0 1 0 853903987 29765632 5705 4294967295 134512640 134581267 3221224576 3221223568 134561093 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7267 5705 566 18 0 7249 0
vsize: 29068
[startup+940.028 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14947
Raw data (stat): 14890 (Pueblo-v2) R 14889 7266 7265 0 -1 0 5731 0 0 0 93651 366 0 0 25 0 1 0 853903987 29765632 5705 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7267 5705 566 18 0 7249 0
vsize: 29068
[startup+950.028 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14947
Raw data (stat): 14890 (Pueblo-v2) R 14889 7266 7265 0 -1 0 5731 0 0 0 94648 369 0 0 25 0 1 0 853903987 29765632 5705 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7267 5705 566 18 0 7249 0
vsize: 29068
[startup+960.028 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14947
Raw data (stat): 14890 (Pueblo-v2) R 14889 7266 7265 0 -1 0 5731 0 0 0 95642 376 0 0 25 0 1 0 853903987 29765632 5705 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7267 5705 566 18 0 7249 0
vsize: 29068
[startup+970.028 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14947
Raw data (stat): 14890 (Pueblo-v2) R 14889 7266 7265 0 -1 0 5731 0 0 0 96636 381 0 0 25 0 1 0 853903987 29765632 5705 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7267 5705 566 18 0 7249 0
vsize: 29068
[startup+980.027 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14947
Raw data (stat): 14890 (Pueblo-v2) R 14889 7266 7265 0 -1 0 5731 0 0 0 97632 386 0 0 25 0 1 0 853903987 29765632 5705 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7267 5705 566 18 0 7249 0
vsize: 29068
[startup+990.028 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14947
Raw data (stat): 14890 (Pueblo-v2) R 14889 7266 7265 0 -1 0 5731 0 0 0 98626 392 0 0 25 0 1 0 853903987 29765632 5705 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7267 5705 566 18 0 7249 0
vsize: 29068
[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14947
Raw data (stat): 14890 (Pueblo-v2) R 14889 7266 7265 0 -1 0 5731 0 0 0 99621 397 0 0 25 0 1 0 853903987 29765632 5705 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7267 5705 566 18 0 7249 0
vsize: 29068
[startup+1010.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14947
Raw data (stat): 14890 (Pueblo-v2) R 14889 7266 7265 0 -1 0 5731 0 0 0 100614 404 0 0 25 0 1 0 853903987 29765632 5705 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7267 5705 566 18 0 7249 0
vsize: 29068
[startup+1020.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14947
Raw data (stat): 14890 (Pueblo-v2) R 14889 7266 7265 0 -1 0 5731 0 0 0 101608 410 0 0 25 0 1 0 853903987 29765632 5705 4294967295 134512640 134581267 3221224576 3221223568 134561090 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7267 5705 566 18 0 7249 0
vsize: 29068
[startup+1030.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14947
Raw data (stat): 14890 (Pueblo-v2) R 14889 7266 7265 0 -1 0 5731 0 0 0 102602 417 0 0 25 0 1 0 853903987 29765632 5705 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7267 5705 566 18 0 7249 0
vsize: 29068
[startup+1040.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14947
Raw data (stat): 14890 (Pueblo-v2) R 14889 7266 7265 0 -1 0 5731 0 0 0 103596 422 0 0 25 0 1 0 853903987 29765632 5705 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7267 5705 566 18 0 7249 0
vsize: 29068
[startup+1050.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14947
Raw data (stat): 14890 (Pueblo-v2) R 14889 7266 7265 0 -1 0 5731 0 0 0 104590 428 0 0 25 0 1 0 853903987 29765632 5705 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7267 5705 566 18 0 7249 0
vsize: 29068
[startup+1060.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14947
Raw data (stat): 14890 (Pueblo-v2) R 14889 7266 7265 0 -1 0 5731 0 0 0 105585 434 0 0 25 0 1 0 853903987 29765632 5705 4294967295 134512640 134581267 3221224576 3221223504 134519803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7267 5705 566 18 0 7249 0
vsize: 29068
[startup+1070.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14947
Raw data (stat): 14890 (Pueblo-v2) R 14889 7266 7265 0 -1 0 5731 0 0 0 106580 439 0 0 25 0 1 0 853903987 29765632 5705 4294967295 134512640 134581267 3221224576 3221223440 134528393 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7267 5705 566 18 0 7249 0
vsize: 29068
[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14947
Raw data (stat): 14890 (Pueblo-v2) R 14889 7266 7265 0 -1 0 5731 0 0 0 107574 445 0 0 25 0 1 0 853903987 29765632 5705 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7267 5705 566 18 0 7249 0
vsize: 29068
[startup+1090.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14947
Raw data (stat): 14890 (Pueblo-v2) R 14889 7266 7265 0 -1 0 5731 0 0 0 108570 449 0 0 25 0 1 0 853903987 29765632 5705 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7267 5705 566 18 0 7249 0
vsize: 29068
[startup+1100.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14947
Raw data (stat): 14890 (Pueblo-v2) R 14889 7266 7265 0 -1 0 5731 0 0 0 109566 453 0 0 25 0 1 0 853903987 29765632 5705 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7267 5705 566 18 0 7249 0
vsize: 29068
[startup+1110.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14947
Raw data (stat): 14890 (Pueblo-v2) R 14889 7266 7265 0 -1 0 5731 0 0 0 110560 460 0 0 25 0 1 0 853903987 29765632 5705 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7267 5705 566 18 0 7249 0
vsize: 29068
[startup+1120.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14947
Raw data (stat): 14890 (Pueblo-v2) R 14889 7266 7265 0 -1 0 5731 0 0 0 111554 466 0 0 25 0 1 0 853903987 29765632 5705 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7267 5705 566 18 0 7249 0
vsize: 29068
[startup+1130.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14947
Raw data (stat): 14890 (Pueblo-v2) R 14889 7266 7265 0 -1 0 5731 0 0 0 112548 473 0 0 25 0 1 0 853903987 29765632 5705 4294967295 134512640 134581267 3221224576 3221223488 134527423 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7267 5705 566 18 0 7249 0
vsize: 29068
[startup+1140.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14947
Raw data (stat): 14890 (Pueblo-v2) R 14889 7266 7265 0 -1 0 5731 0 0 0 113545 475 0 0 25 0 1 0 853903987 29765632 5705 4294967295 134512640 134581267 3221224576 3221223584 134530796 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7267 5705 566 18 0 7249 0
vsize: 29068
[startup+1150.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14947
Raw data (stat): 14890 (Pueblo-v2) R 14889 7266 7265 0 -1 0 5731 0 0 0 114537 484 0 0 25 0 1 0 853903987 29569024 5692 4294967295 134512640 134581267 3221224576 3221223584 134529999 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7219 5692 566 18 0 7201 0
vsize: 28876
[startup+1160.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14947
Raw data (stat): 14890 (Pueblo-v2) R 14889 7266 7265 0 -1 0 5731 0 0 0 115531 490 0 0 25 0 1 0 853903987 29569024 5692 4294967295 134512640 134581267 3221224576 3221223584 134529999 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7219 5692 566 18 0 7201 0
vsize: 28876
[startup+1170.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14947
Raw data (stat): 14890 (Pueblo-v2) R 14889 7266 7265 0 -1 0 5732 0 0 0 116528 492 0 0 25 0 1 0 853903987 29569024 5693 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7219 5693 566 18 0 7201 0
vsize: 28876
[startup+1180.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14947
Raw data (stat): 14890 (Pueblo-v2) R 14889 7266 7265 0 -1 0 5732 0 0 0 117521 500 0 0 25 0 1 0 853903987 29569024 5693 4294967295 134512640 134581267 3221224576 3221223584 134530813 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7219 5693 566 18 0 7201 0
vsize: 28876
[startup+1188.84 s]
Raw data (loadavg): 1.00 1.00 0.94 1/53 14947
Raw data (stat): 14890 (Pueblo-v2) R 14889 7266 7265 0 -1 0 5732 0 0 0 117521 500 0 0 25 0 1 0 853903987 29569024 5693 4294967295 134512640 134581267 3221224576 3221223584 134530813 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7219 5693 566 18 0 7201 0
vsize: 0

Child status: 10
Real time (s): 1188.84
CPU time (s): 1189.02
CPU user time (s): 1183.94
CPU system time (s): 5.07423
CPU usage (%): 100.015
Max. virtual memory (Kb): 29068
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	380166158
#### END VERIFIER DATA ####