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 34222

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc28 THE 2005-05-27 20:32:04 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=18338 boxname=wulflinc28 idbench=1411 idsolver=8 numberseed=0
MD5SUM SOLVER: 4b637b3b6117f2add1a6288e91336322  /oldhome/oroussel/solvers/vallstSAT2005PB.sh
MD5SUM BENCH:  cc38717029ffa5880438a73ef1ac0ab0  /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-13-7-fiber.opb
REAL COMMAND:  vallstSAT2005PB.sh /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-13-7-fiber.opb 0
IDLAUNCH: 18338
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.077
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.077
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:        669224 kB
Buffers:         35948 kB
Cached:         307536 kB
SwapCached:        800 kB
Active:          59520 kB
Inactive:       286240 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        668972 kB
SwapTotal:     2097640 kB
SwapFree:      2096144 kB
Dirty:             268 kB
Writeback:           0 kB
Mapped:           5456 kB
Slab:            14016 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-27 20:54:05 (client local time) WITH STATUS 10 IN 1320.82 SECONDS
stats: 18338 0 1320.82 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
1:
seed: 0
Nr of vars set: 135  (#equs: 0)
Nr of vars set: 135  (#equs: 53)
#decisions: 4710964;  #end-nodes: 2599006;
#proof improvement attempts: 0;  #restarts: 4224
Current batch, end-nodes: 0 / 1135 (1135)
#axs: 750, #non-axs: 932
tight: meta-meta: start: 3, end: 4;  meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14;  meta: start: 30, end (keep): 50
result: the time limit has been exceeded (2)
No model found at all.
result: the time limit has been exceeded (2)
seed: 0
Nr of vars set: 135  (#equs: 53)
Time taken: 5 min, 5 sec

2:
seed: 0
Nr of vars set: 135  (#equs: 0)
Nr of vars set: 135  (#equs: 0)
#decisions: 15696708;  #end-nodes: 10718954;
#proof improvement attempts: 0;  #restarts: 8755
Current batch, end-nodes: 2282 / 2318 (2308)
#axs: 590, #non-axs: 1553
tight: meta-meta: start: 3, end: 3;  meta: start: 6, end (keep): 10
loose: meta-meta: start: 3, end: 4;  meta: start: 4, end (keep): 5
result: model found (1)
seed: 0
Nr of vars set: 2081  (#equs: 0)
Time taken: 16 min, 53 sec
times:
0m0.026s 0m0.006s
20m14.478s 1m45.546s
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 
s SATISFIABLE
#### 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.92 0.97 0.92 2/54 1851
Raw data (stat): 1851 (runsolver) R 1850 24821 24820 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 859071445 884736 94 4294967295 134512640 135332820 3221224448 3221219612 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.0009 s]
Raw data (loadavg): 0.93 0.97 0.92 2/55 1854
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 321 231 0 0 1 0 0 0 19 0 1 0 859071445 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+20.0019 s]
Raw data (loadavg): 0.94 0.97 0.92 2/55 1854
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 321 231 0 0 1 0 0 0 19 0 1 0 859071445 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+30.0012 s]
Raw data (loadavg): 0.95 0.97 0.92 2/55 1854
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 321 231 0 0 1 0 0 0 19 0 1 0 859071445 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+40.0009 s]
Raw data (loadavg): 0.96 0.97 0.92 2/55 1854
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 321 231 0 0 1 0 0 0 19 0 1 0 859071445 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+50.0009 s]
Raw data (loadavg): 0.96 0.97 0.92 2/55 1854
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 321 231 0 0 1 0 0 0 19 0 1 0 859071445 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+60.0012 s]
Raw data (loadavg): 0.97 0.97 0.92 2/55 1854
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 321 231 0 0 1 0 0 0 19 0 1 0 859071445 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+70.0019 s]
Raw data (loadavg): 0.97 0.97 0.92 2/55 1854
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 321 231 0 0 1 0 0 0 19 0 1 0 859071445 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+80.0018 s]
Raw data (loadavg): 0.98 0.97 0.92 2/55 1854
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 321 231 0 0 1 0 0 0 19 0 1 0 859071445 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+90.0023 s]
Raw data (loadavg): 0.98 0.97 0.92 2/55 1854
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 321 231 0 0 1 0 0 0 19 0 1 0 859071445 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+100.002 s]
Raw data (loadavg): 0.98 0.97 0.92 2/55 1854
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 321 231 0 0 1 0 0 0 19 0 1 0 859071445 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+110.003 s]
Raw data (loadavg): 0.98 0.97 0.92 2/55 1854
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 321 231 0 0 1 0 0 0 19 0 1 0 859071445 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+120.003 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 1854
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 321 231 0 0 1 0 0 0 19 0 1 0 859071445 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+130.003 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 1854
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 321 231 0 0 1 0 0 0 19 0 1 0 859071445 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+140.003 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 1854
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 321 231 0 0 1 0 0 0 19 0 1 0 859071445 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+150.003 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 1854
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 321 231 0 0 1 0 0 0 19 0 1 0 859071445 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+160.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 1854
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 321 231 0 0 1 0 0 0 19 0 1 0 859071445 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+170.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 1854
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 321 231 0 0 1 0 0 0 19 0 1 0 859071445 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+180.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 1854
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 321 231 0 0 1 0 0 0 19 0 1 0 859071445 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+190.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 1854
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 321 231 0 0 1 0 0 0 19 0 1 0 859071445 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+200.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 1854
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 321 231 0 0 1 0 0 0 19 0 1 0 859071445 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+210.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 1854
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 321 231 0 0 1 0 0 0 19 0 1 0 859071445 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+220.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 1854
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 321 231 0 0 1 0 0 0 19 0 1 0 859071445 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+230.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 1854
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 321 231 0 0 1 0 0 0 19 0 1 0 859071445 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+240.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 1854
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 321 231 0 0 1 0 0 0 19 0 1 0 859071445 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+250.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 1854
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 321 231 0 0 1 0 0 0 19 0 1 0 859071445 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+260.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 1854
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 321 231 0 0 1 0 0 0 19 0 1 0 859071445 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+270.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 1854
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 321 231 0 0 1 0 0 0 19 0 1 0 859071445 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+280.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 1854
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 321 231 0 0 1 0 0 0 19 0 1 0 859071445 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+290.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 1854
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 321 231 0 0 1 0 0 0 19 0 1 0 859071445 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+300.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 1854
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 321 231 0 0 1 0 0 0 19 0 1 0 859071445 2179072 242 4294967295 134512640 135087896 3221224512 3221223784 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 242 485 147 0 385 0
vsize: 2128
[startup+310.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 1856
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 369 1294 0 0 2 0 27366 3236 19 0 1 0 859071445 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+320.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 1856
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 369 1294 0 0 2 0 27366 3236 19 0 1 0 859071445 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+330.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 1856
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 369 1294 0 0 2 0 27366 3236 19 0 1 0 859071445 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+340.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 1856
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 369 1294 0 0 2 0 27366 3236 19 0 1 0 859071445 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+350.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 1856
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 369 1294 0 0 2 0 27366 3236 19 0 1 0 859071445 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+360.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 1856
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 369 1294 0 0 2 0 27366 3236 19 0 1 0 859071445 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+370.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 1856
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 369 1294 0 0 2 0 27366 3236 19 0 1 0 859071445 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+380.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 1856
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 369 1294 0 0 2 0 27366 3236 19 0 1 0 859071445 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+390.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 1856
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 369 1294 0 0 2 0 27366 3236 19 0 1 0 859071445 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+400.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 1856
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 369 1294 0 0 2 0 27366 3236 19 0 1 0 859071445 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+410.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 1856
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 369 1294 0 0 2 0 27366 3236 19 0 1 0 859071445 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+420.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 1856
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 369 1294 0 0 2 0 27366 3236 19 0 1 0 859071445 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+430.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 1856
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 369 1294 0 0 2 0 27366 3236 19 0 1 0 859071445 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+440.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 1856
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 369 1294 0 0 2 0 27366 3236 19 0 1 0 859071445 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+450.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 1856
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 369 1294 0 0 2 0 27366 3236 19 0 1 0 859071445 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+460.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 1856
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 369 1294 0 0 2 0 27366 3236 19 0 1 0 859071445 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+470.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 1856
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 369 1294 0 0 2 0 27366 3236 19 0 1 0 859071445 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+480.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 1856
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 369 1294 0 0 2 0 27366 3236 19 0 1 0 859071445 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+490.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 1856
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 369 1294 0 0 2 0 27366 3236 19 0 1 0 859071445 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+500.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 1856
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 369 1294 0 0 2 0 27366 3236 19 0 1 0 859071445 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+510.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 1856
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 369 1294 0 0 2 0 27366 3236 19 0 1 0 859071445 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+520.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 1856
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 369 1294 0 0 2 0 27366 3236 19 0 1 0 859071445 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+530.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 1856
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 369 1294 0 0 2 0 27366 3236 19 0 1 0 859071445 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+540.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 1856
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 369 1294 0 0 2 0 27366 3236 19 0 1 0 859071445 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+550.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 1856
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 369 1294 0 0 2 0 27366 3236 19 0 1 0 859071445 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+560.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 1856
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 369 1294 0 0 2 0 27366 3236 19 0 1 0 859071445 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+570.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 1856
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 369 1294 0 0 2 0 27366 3236 19 0 1 0 859071445 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+580.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 1856
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 369 1294 0 0 2 0 27366 3236 19 0 1 0 859071445 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+590.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 1856
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 369 1294 0 0 2 0 27366 3236 19 0 1 0 859071445 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+600.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 1856
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 369 1294 0 0 2 0 27366 3236 19 0 1 0 859071445 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+610.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 1856
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 369 1294 0 0 2 0 27366 3236 19 0 1 0 859071445 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+620.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 1856
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 369 1294 0 0 2 0 27366 3236 19 0 1 0 859071445 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+630.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 1856
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 369 1294 0 0 2 0 27366 3236 19 0 1 0 859071445 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+640.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 1856
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 369 1294 0 0 2 0 27366 3236 19 0 1 0 859071445 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+650.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 1856
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 369 1294 0 0 2 0 27366 3236 19 0 1 0 859071445 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+660.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 1856
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 369 1294 0 0 2 0 27366 3236 19 0 1 0 859071445 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+670.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 1856
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 369 1294 0 0 2 0 27366 3236 19 0 1 0 859071445 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+680.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 1856
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 369 1294 0 0 2 0 27366 3236 19 0 1 0 859071445 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+690.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 1856
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 369 1294 0 0 2 0 27366 3236 19 0 1 0 859071445 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+700.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 1856
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 369 1294 0 0 2 0 27366 3236 19 0 1 0 859071445 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+710.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 1856
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 369 1294 0 0 2 0 27366 3236 19 0 1 0 859071445 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+720.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 1856
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 369 1294 0 0 2 0 27366 3236 19 0 1 0 859071445 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+730.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 1856
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 369 1294 0 0 2 0 27366 3236 19 0 1 0 859071445 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+740.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 1856
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 369 1294 0 0 2 0 27366 3236 19 0 1 0 859071445 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+750.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 1856
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 369 1294 0 0 2 0 27366 3236 19 0 1 0 859071445 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+760.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 1856
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 369 1294 0 0 2 0 27366 3236 19 0 1 0 859071445 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+770.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 1856
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 369 1294 0 0 2 0 27366 3236 19 0 1 0 859071445 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+780.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 1856
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 369 1294 0 0 2 0 27366 3236 19 0 1 0 859071445 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+790.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 1856
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 369 1294 0 0 2 0 27366 3236 19 0 1 0 859071445 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+800.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 1856
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 369 1294 0 0 2 0 27366 3236 19 0 1 0 859071445 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+810.026 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 1856
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 369 1294 0 0 2 0 27366 3236 19 0 1 0 859071445 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+820.026 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 1856
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 369 1294 0 0 2 0 27366 3236 19 0 1 0 859071445 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+830.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 1856
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 369 1294 0 0 2 0 27366 3236 19 0 1 0 859071445 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+840.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 1856
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 369 1294 0 0 2 0 27366 3236 19 0 1 0 859071445 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+850.026 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 1856
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 369 1294 0 0 2 0 27366 3236 19 0 1 0 859071445 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+860.026 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 1856
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 369 1294 0 0 2 0 27366 3236 19 0 1 0 859071445 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+870.026 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 1856
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 369 1294 0 0 2 0 27366 3236 19 0 1 0 859071445 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+880.026 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 1856
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 369 1294 0 0 2 0 27366 3236 19 0 1 0 859071445 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+890.026 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 1856
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 369 1294 0 0 2 0 27366 3236 19 0 1 0 859071445 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+900.026 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 1856
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 369 1294 0 0 2 0 27366 3236 19 0 1 0 859071445 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+910.027 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 1856
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 369 1294 0 0 2 0 27366 3236 19 0 1 0 859071445 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+920.027 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 1856
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 369 1294 0 0 2 0 27366 3236 19 0 1 0 859071445 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+930.027 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 1856
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 369 1294 0 0 2 0 27366 3236 19 0 1 0 859071445 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+940.027 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 1856
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 369 1294 0 0 2 0 27366 3236 19 0 1 0 859071445 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+950.027 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 1856
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 369 1294 0 0 2 0 27366 3236 19 0 1 0 859071445 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+960.028 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 1856
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 369 1294 0 0 2 0 27366 3236 19 0 1 0 859071445 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+970.027 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 1856
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 369 1294 0 0 2 0 27366 3236 19 0 1 0 859071445 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+980.027 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 1856
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 369 1294 0 0 2 0 27366 3236 19 0 1 0 859071445 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+990.028 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 1856
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 369 1294 0 0 2 0 27366 3236 19 0 1 0 859071445 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 1856
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 369 1294 0 0 2 0 27366 3236 19 0 1 0 859071445 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 1856
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 369 1294 0 0 2 0 27366 3236 19 0 1 0 859071445 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 1856
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 369 1294 0 0 2 0 27366 3236 19 0 1 0 859071445 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 1856
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 369 1294 0 0 2 0 27366 3236 19 0 1 0 859071445 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 1856
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 369 1294 0 0 2 0 27366 3236 19 0 1 0 859071445 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 1856
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 369 1294 0 0 2 0 27366 3236 19 0 1 0 859071445 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 1856
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 369 1294 0 0 2 0 27366 3236 19 0 1 0 859071445 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 1856
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 369 1294 0 0 2 0 27366 3236 19 0 1 0 859071445 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 1856
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 369 1294 0 0 2 0 27366 3236 19 0 1 0 859071445 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 1856
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 369 1294 0 0 2 0 27366 3236 19 0 1 0 859071445 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 1856
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 369 1294 0 0 2 0 27366 3236 19 0 1 0 859071445 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 1856
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 369 1294 0 0 2 0 27366 3236 19 0 1 0 859071445 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 1856
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 369 1294 0 0 2 0 27366 3236 19 0 1 0 859071445 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 1856
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 369 1294 0 0 2 0 27366 3236 19 0 1 0 859071445 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1140.05 s]
Raw data (loadavg): 1.07 0.99 0.93 2/55 1856
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 369 1294 0 0 2 0 27366 3236 19 0 1 0 859071445 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1150.05 s]
Raw data (loadavg): 1.06 0.99 0.93 2/55 1856
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 369 1294 0 0 2 0 27366 3236 19 0 1 0 859071445 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1160.05 s]
Raw data (loadavg): 1.05 0.99 0.93 2/55 1856
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 369 1294 0 0 2 0 27366 3236 19 0 1 0 859071445 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1170.05 s]
Raw data (loadavg): 1.04 0.99 0.93 2/55 1856
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 369 1294 0 0 2 0 27366 3236 19 0 1 0 859071445 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1180.05 s]
Raw data (loadavg): 1.03 0.99 0.93 2/55 1856
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 369 1294 0 0 2 0 27366 3236 19 0 1 0 859071445 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1190.05 s]
Raw data (loadavg): 1.03 0.99 0.93 2/55 1856
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 369 1294 0 0 2 0 27366 3236 19 0 1 0 859071445 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1200.05 s]
Raw data (loadavg): 1.02 0.99 0.93 2/55 1856
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 369 1294 0 0 2 0 27366 3236 19 0 1 0 859071445 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1210.05 s]
Raw data (loadavg): 1.02 0.99 0.93 2/55 1856
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 369 1294 0 0 2 0 27366 3236 19 0 1 0 859071445 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1220.05 s]
Raw data (loadavg): 1.02 0.99 0.93 2/55 1856
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 369 1294 0 0 2 0 27366 3236 19 0 1 0 859071445 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1230.05 s]
Raw data (loadavg): 1.01 0.99 0.93 2/55 1856
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 369 1294 0 0 2 0 27366 3236 19 0 1 0 859071445 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1240.05 s]
Raw data (loadavg): 1.01 0.99 0.93 2/55 1856
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 369 1294 0 0 2 0 27366 3236 19 0 1 0 859071445 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1250.05 s]
Raw data (loadavg): 1.01 0.99 0.93 2/55 1856
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 369 1294 0 0 2 0 27366 3236 19 0 1 0 859071445 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1260.05 s]
Raw data (loadavg): 1.01 0.99 0.93 2/55 1856
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 369 1294 0 0 2 0 27366 3236 19 0 1 0 859071445 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1270.05 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 1856
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 369 1294 0 0 2 0 27366 3236 19 0 1 0 859071445 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1280.05 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 1856
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 369 1294 0 0 2 0 27366 3236 19 0 1 0 859071445 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1290.05 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 1856
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 369 1294 0 0 2 0 27366 3236 19 0 1 0 859071445 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1300.05 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 1856
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 369 1294 0 0 2 0 27366 3236 19 0 1 0 859071445 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1310.05 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 1856
Raw data (stat): 1851 (vallstSAT2005PB) S 1850 24821 24820 0 -1 0 369 1294 0 0 2 0 27366 3236 19 0 1 0 859071445 2179072 248 4294967295 134512640 135087896 3221224512 3221223240 1074634510 0 65536 5 1132560122 3222414538 0 0 17 0 0 0
Raw data (statm): 532 248 485 147 0 385 0
vsize: 2128
[startup+1320.05 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 1862
Raw data (stat): 1851 (vallstSAT2005PB) R 1850 24821 24820 0 -1 0 473 6466 0 0 9 3 121450 10557 20 0 1 0 859071445 2179072 252 4294967295 134512640 135087896 3221224512 3221221280 134737505 0 0 7 1132560120 0 0 0 17 0 0 0
Raw data (statm): 532 252 485 147 0 385 0
vsize: 2128
[startup+1320.98 s]
Raw data (loadavg): 1.00 0.99 0.93 1/53 1866
Raw data (stat): 1851 (vallstSAT2005PB) R 1850 24821 24820 0 -1 0 473 6466 0 0 9 3 121450 10557 20 0 1 0 859071445 2179072 252 4294967295 134512640 135087896 3221224512 3221221280 134737505 0 0 7 1132560120 0 0 0 17 0 0 0
Raw data (statm): 532 252 485 147 0 385 0
vsize: 0

Child status: 10
Real time (s): 1320.98
CPU time (s): 1320.82
CPU user time (s): 1215.09
CPU system time (s): 105.735
CPU usage (%): 99.9876
Max. virtual memory (Kb): 2128
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	3405585472
#### END VERIFIER DATA ####