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-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-fiber.opb
MD5SUM	665f67f4b53c876b2782c354a2ecbf32
Bench Category	optimization, big integers (OPTBIGINT)
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	536870912
Number of bits of the biggest number in a constraint	30
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	95.7554
Number of variables	2574
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	61
Trace number 34079

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-27 19:34:45 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=13346 boxname=wulflinc31 idbench=1027 idsolver=8 numberseed=0
MD5SUM SOLVER: 4b637b3b6117f2add1a6288e91336322  /oldhome/oroussel/solvers/vallstSAT2005PB.sh
MD5SUM BENCH:  665f67f4b53c876b2782c354a2ecbf32  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-20-10-fiber.opb
REAL COMMAND:  vallstSAT2005PB.sh /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-20-10-fiber.opb 0
IDLAUNCH: 13346
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        572600 kB
Buffers:         33380 kB
Cached:         404492 kB
SwapCached:       1000 kB
Active:          69492 kB
Inactive:       370512 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        572348 kB
SwapTotal:     2097892 kB
SwapFree:      2095932 kB
Dirty:              48 kB
Writeback:           0 kB
Mapped:           5084 kB
Slab:            16344 kB
Committed_AS:    63800 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-27 19:38:37 (client local time) WITH STATUS 30 IN 230.589 SECONDS
stats: 13346 0 230.589 30
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
1:
seed: 0
Nr of vars set: 443  (#equs: 0)
Nr of vars set: 443  (#equs: 53)
#decisions: 2873917;  #end-nodes: 1620330;
#proof improvement attempts: 0;  #restarts: 3273
Current batch, end-nodes: 856 / 914 (898)
#axs: 750, #non-axs: 751
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: model found (1)
Model found with constant:  1465459157 (3342319366:>=*);
Model found with constant:
  (pushed:) 4294967295 (512811228:>=*)

With an increment of the last pushed constant, a proof of false was found.
result: proof of false found (0)
seed: 0
Nr of vars set: 443  (#equs: 53)
Time taken: 3 min, 49 sec
times:
0m0.018s 0m0.008s
3m25.815s 0m23.880s
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_10 -S010704_bit_9 -S010704_bit_8 -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 -S010704_bit13 -S010704_bit14 -S010704_bit15 -S010704_bit16 -S010704_bit17 -S010704_bit18 -S010704_bit19 -S100321_bit_10 -S100321_bit_9 -S100321_bit_8 -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 -S100321_bit13 -S100321_bit14 -S100321_bit15 -S100321_bit16 -S100321_bit17 -S100321_bit18 -S100321_bit19 -S110322_bit_10 -S110322_bit_9 -S110322_bit_8 -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 -S110322_bit13 -S110322_bit14 -S110322_bit15 -S110322_bit16 -S110322_bit17 -S110322_bit18 -S110322_bit19 -S121801_bit_10 -S121801_bit_9 -S121801_bit_8 -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 -S121801_bit13 -S121801_bit14 -S121801_bit15 -S121801_bit16 -S121801_bit17 -S121801_bit18 -S121801_bit19 -S131924_bit_10 -S131924_bit_9 -S131924_bit_8 -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 -S131924_bit13 -S131924_bit14 -S131924_bit15 -S131924_bit16 -S131924_bit17 -S131924_bit18 -S131924_bit19 -S141940_bit_10 -S141940_bit_9 -S141940_bit_8 -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 -S141940_bit13 -S141940_bit14 -S141940_bit15 -S141940_bit16 -S141940_bit17 -S141940_bit18 -S141940_bit19 -S151941_bit_10 -S151941_bit_9 -S151941_bit_8 -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 -S151941_bit13 -S151941_bit14 -S151941_bit15 -S151941_bit16 -S151941_bit17 -S151941_bit18 -S151941_bit19 -S162001_bit_10 -S162001_bit_9 -S162001_bit_8 -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 -S162001_bit13 -S162001_bit14 -S162001_bit15 -S162001_bit16 -S162001_bit17 -S162001_bit18 -S162001_bit19 -S172022_bit_10 -S172022_bit_9 -S172022_bit_8 -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 -S172022_bit13 -S172022_bit14 -S172022_bit15 -S172022_bit16 -S172022_bit17 -S172022_bit18 -S172022_bit19 -S182024_bit_10 -S182024_bit_9 -S182024_bit_8 -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 -S182024_bit13 -S182024_bit14 -S182024_bit15 -S182024_bit16 -S182024_bit17 -S182024_bit18 -S182024_bit19 -S190122_bit_10 -S190122_bit_9 -S190122_bit_8 -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 -S190122_bit13 -S190122_bit14 -S190122_bit15 -S190122_bit16 -S190122_bit17 -S190122_bit18 -S190122_bit19 -S020820_bit_10 -S020820_bit_9 -S020820_bit_8 -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 -S020820_bit13 -S020820_bit14 -S020820_bit15 -S020820_bit16 -S020820_bit17 -S020820_bit18 -S020820_bit19 -S200105_bit_10 -S200105_bit_9 -S200105_bit_8 -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 -S200105_bit13 -S200105_bit14 -S200105_bit15 -S200105_bit16 -S200105_bit17 -S200105_bit18 -S200105_bit19 -S210102_bit_10 -S210102_bit_9 -S210102_bit_8 -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 -S210102_bit13 -S210102_bit14 -S210102_bit15 -S210102_bit16 -S210102_bit17 -S210102_bit18 -S210102_bit19 -S220129_bit_10 -S220129_bit_9 -S220129_bit_8 -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 -S220129_bit13 -S220129_bit14 -S220129_bit15 -S220129_bit16 -S220129_bit17 -S220129_bit18 -S220129_bit19 -S230104_bit_10 -S230104_bit_9 -S230104_bit_8 -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 -S230104_bit13 -S230104_bit14 -S230104_bit15 -S230104_bit16 -S230104_bit17 -S230104_bit18 -S230104_bit19 -S240148_bit_10 -S240148_bit_9 -S240148_bit_8 -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 -S240148_bit13 -S240148_bit14 -S240148_bit15 -S240148_bit16 -S240148_bit17 -S240148_bit18 -S240148_bit19 -S252123_bit_10 -S252123_bit_9 -S252123_bit_8 -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 -S252123_bit13 -S252123_bit14 -S252123_bit15 -S252123_bit16 -S252123_bit17 -S252123_bit18 -S252123_bit19 -S260506_bit_10 -S260506_bit_9 -S260506_bit_8 -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 -S260506_bit13 -S260506_bit14 -S260506_bit15 -S260506_bit16 -S260506_bit17 -S260506_bit18 -S260506_bit19 -S270529_bit_10 -S270529_bit_9 -S270529_bit_8 -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 -S270529_bit13 -S270529_bit14 -S270529_bit15 -S270529_bit16 -S270529_bit17 -S270529_bit18 -S270529_bit19 -S280504_bit_10 -S280504_bit_9 -S280504_bit_8 -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 -S280504_bit13 -S280504_bit14 -S280504_bit15 -S280504_bit16 -S280504_bit17 -S280504_bit18 -S280504_bit19 -S290548_bit_10 -S290548_bit_9 -S290548_bit_8 -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 -S290548_bit13 -S290548_bit14 -S290548_bit15 -S290548_bit16 -S290548_bit17 -S290548_bit18 -S290548_bit19 -S030821_bit_10 -S030821_bit_9 -S030821_bit_8 -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 -S030821_bit13 -S030821_bit14 -S030821_bit15 -S030821_bit16 -S030821_bit17 -S030821_bit18 -S030821_bit19 -S302426_bit_10 -S302426_bit_9 -S302426_bit_8 -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 -S302426_bit13 -S302426_bit14 -S302426_bit15 -S302426_bit16 -S302426_bit17 -S302426_bit18 -S302426_bit19 -S312402_bit_10 -S312402_bit_9 -S312402_bit_8 -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 -S312402_bit13 -S312402_bit14 -S312402_bit15 -S312402_bit16 -S312402_bit17 -S312402_bit18 -S312402_bit19 -S322428_bit_10 -S322428_bit_9 -S322428_bit_8 -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 -S322428_bit13 -S322428_bit14 -S322428_bit15 -S322428_bit16 -S322428_bit17 -S322428_bit18 -S322428_bit19 -S332526_bit_10 -S332526_bit_9 -S332526_bit_8 -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 -S332526_bit13 -S332526_bit14 -S332526_bit15 -S332526_bit16 -S332526_bit17 -S332526_bit18 -S332526_bit19 -S342530_bit_10 -S342530_bit_9 -S342530_bit_8 -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 -S342530_bit13 -S342530_bit14 -S342530_bit15 -S342530_bit16 -S342530_bit17 -S342530_bit18 -S342530_bit19 -S350206_bit_10 -S350206_bit_9 -S350206_bit_8 -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 -S350206_bit13 -S350206_bit14 -S350206_bit15 -S350206_bit16 -S350206_bit17 -S350206_bit18 -S350206_bit19 -S360231_bit_10 -S360231_bit_9 -S360231_bit_8 -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 -S360231_bit13 -S360231_bit14 -S360231_bit15 -S360231_bit16 -S360231_bit17 -S360231_bit18 -S360231_bit19 -S372706_bit_10 -S372706_bit_9 -S372706_bit_8 -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 -S372706_bit13 -S372706_bit14 -S372706_bit15 -S372706_bit16 -S372706_bit17 -S372706_bit18 -S372706_bit19 -S382704_bit_10 -S382704_bit_9 -S382704_bit_8 -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 -S382704_bit13 -S382704_bit14 -S382704_bit15 -S382704_bit16 -S382704_bit17 -S382704_bit18 -S382704_bit19 -S392743_bit_10 -S392743_bit_9 -S392743_bit_8 -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 -S392743_bit13 -S392743_bit14 -S392743_bit15 -S392743_bit16 -S392743_bit17 -S392743_bit18 -S392743_bit19 -S040826_bit_10 -S040826_bit_9 -S040826_bit_8 -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 -S040826_bit13 -S040826_bit14 -S040826_bit15 -S040826_bit16 -S040826_bit17 -S040826_bit18 -S040826_bit19 -S402830_bit_10 -S402830_bit_9 -S402830_bit_8 -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 -S402830_bit13 -S402830_bit14 -S402830_bit15 -S402830_bit16 -S402830_bit17 -S402830_bit18 -S402830_bit19 -S410604_bit_10 -S410604_bit_9 -S410604_bit_8 -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 -S410604_bit13 -S410604_bit14 -S410604_bit15 -S410604_bit16 -S410604_bit17 -S410604_bit18 -S410604_bit19 -S422948_bit_10 -S422948_bit_9 -S422948_bit_8 -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 -S422948_bit13 -S422948_bit14 -S422948_bit15 -S422948_bit16 -S422948_bit17 -S422948_bit18 -S422948_bit19 -S433141_bit_10 -S433141_bit_9 -S433141_bit_8 -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 -S433141_bit13 -S433141_bit14 -S433141_bit15 -S433141_bit16 -S433141_bit17 -S433141_bit18 -S433141_bit19 -S444041_bit_10 -S444041_bit_9 -S444041_bit_8 -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 -S444041_bit13 -S444041_bit14 -S444041_bit15 -S444041_bit16 -S444041_bit17 -S444041_bit18 -S444041_bit19 -S050923_bit_10 -S050923_bit_9 -S050923_bit_8 -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 -S050923_bit13 -S050923_bit14 -S050923_bit15 -S050923_bit16 -S050923_bit17 -S050923_bit18 -S050923_bit19 -S061603_bit_10 -S061603_bit_9 -S061603_bit_8 -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 -S061603_bit13 -S061603_bit14 -S061603_bit15 -S061603_bit16 -S061603_bit17 -S061603_bit18 -S061603_bit19 -S071601_bit_10 -S071601_bit_9 -S071601_bit_8 -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 -S071601_bit13 -S071601_bit14 -S071601_bit15 -S071601_bit16 -S071601_bit17 -S071601_bit18 -S071601_bit19 -S081727_bit_10 -S081727_bit_9 -S081727_bit_8 -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 -S081727_bit13 -S081727_bit14 -S081727_bit15 -S081727_bit16 -S081727_bit17 -S081727_bit18 -S081727_bit19 -S090301_bit_10 -S090301_bit_9 -S090301_bit_8 -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 -S090301_bit13 -S090301_bit14 -S090301_bit15 -S090301_bit16 -S090301_bit17 -S090301_bit18 -S090301_bit19 
s OPTIMUM FOUND
#### 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.89 0.97 0.91 2/55 12253
Raw data (stat): 12253 (runsolver) R 12252 29618 29617 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 858700974 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.0014 s]
Raw data (loadavg): 0.91 0.97 0.91 2/56 12256
Raw data (stat): 12253 (vallstSAT2005PB) S 12252 29618 29617 0 -1 0 321 231 0 0 1 0 0 0 20 0 1 0 858700974 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.002 s]
Raw data (loadavg): 0.92 0.97 0.91 2/56 12256
Raw data (stat): 12253 (vallstSAT2005PB) S 12252 29618 29617 0 -1 0 321 231 0 0 1 0 0 0 20 0 1 0 858700974 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.0027 s]
Raw data (loadavg): 0.93 0.97 0.91 2/56 12256
Raw data (stat): 12253 (vallstSAT2005PB) S 12252 29618 29617 0 -1 0 321 231 0 0 1 0 0 0 20 0 1 0 858700974 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.0029 s]
Raw data (loadavg): 0.94 0.97 0.91 2/56 12256
Raw data (stat): 12253 (vallstSAT2005PB) S 12252 29618 29617 0 -1 0 321 231 0 0 1 0 0 0 20 0 1 0 858700974 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.0035 s]
Raw data (loadavg): 0.95 0.97 0.91 2/56 12256
Raw data (stat): 12253 (vallstSAT2005PB) S 12252 29618 29617 0 -1 0 321 231 0 0 1 0 0 0 20 0 1 0 858700974 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.0037 s]
Raw data (loadavg): 0.96 0.97 0.91 2/56 12258
Raw data (stat): 12253 (vallstSAT2005PB) S 12252 29618 29617 0 -1 0 321 231 0 0 1 0 0 0 20 0 1 0 858700974 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.0033 s]
Raw data (loadavg): 0.96 0.97 0.91 2/56 12258
Raw data (stat): 12253 (vallstSAT2005PB) S 12252 29618 29617 0 -1 0 321 231 0 0 1 0 0 0 20 0 1 0 858700974 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.0118 s]
Raw data (loadavg): 0.97 0.97 0.91 2/56 12258
Raw data (stat): 12253 (vallstSAT2005PB) S 12252 29618 29617 0 -1 0 321 231 0 0 1 0 0 0 20 0 1 0 858700974 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.0111 s]
Raw data (loadavg): 0.97 0.97 0.91 2/56 12258
Raw data (stat): 12253 (vallstSAT2005PB) S 12252 29618 29617 0 -1 0 321 231 0 0 1 0 0 0 20 0 1 0 858700974 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.011 s]
Raw data (loadavg): 0.98 0.97 0.91 2/56 12258
Raw data (stat): 12253 (vallstSAT2005PB) S 12252 29618 29617 0 -1 0 321 231 0 0 1 0 0 0 20 0 1 0 858700974 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.012 s]
Raw data (loadavg): 0.98 0.97 0.91 2/56 12258
Raw data (stat): 12253 (vallstSAT2005PB) S 12252 29618 29617 0 -1 0 321 231 0 0 1 0 0 0 20 0 1 0 858700974 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.015 s]
Raw data (loadavg): 0.98 0.97 0.91 2/56 12260
Raw data (stat): 12253 (vallstSAT2005PB) S 12252 29618 29617 0 -1 0 321 231 0 0 1 0 0 0 20 0 1 0 858700974 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.017 s]
Raw data (loadavg): 0.98 0.97 0.91 2/56 12260
Raw data (stat): 12253 (vallstSAT2005PB) S 12252 29618 29617 0 -1 0 321 231 0 0 1 0 0 0 20 0 1 0 858700974 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.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 12260
Raw data (stat): 12253 (vallstSAT2005PB) S 12252 29618 29617 0 -1 0 321 231 0 0 1 0 0 0 20 0 1 0 858700974 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.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 12260
Raw data (stat): 12253 (vallstSAT2005PB) S 12252 29618 29617 0 -1 0 321 231 0 0 1 0 0 0 20 0 1 0 858700974 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.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 12260
Raw data (stat): 12253 (vallstSAT2005PB) S 12252 29618 29617 0 -1 0 321 231 0 0 1 0 0 0 20 0 1 0 858700974 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.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 12260
Raw data (stat): 12253 (vallstSAT2005PB) S 12252 29618 29617 0 -1 0 321 231 0 0 1 0 0 0 20 0 1 0 858700974 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.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 12262
Raw data (stat): 12253 (vallstSAT2005PB) S 12252 29618 29617 0 -1 0 321 231 0 0 1 0 0 0 20 0 1 0 858700974 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.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 12262
Raw data (stat): 12253 (vallstSAT2005PB) S 12252 29618 29617 0 -1 0 321 231 0 0 1 0 0 0 20 0 1 0 858700974 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.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 12262
Raw data (stat): 12253 (vallstSAT2005PB) S 12252 29618 29617 0 -1 0 321 231 0 0 1 0 0 0 20 0 1 0 858700974 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.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 12262
Raw data (stat): 12253 (vallstSAT2005PB) S 12252 29618 29617 0 -1 0 321 231 0 0 1 0 0 0 20 0 1 0 858700974 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.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 12262
Raw data (stat): 12253 (vallstSAT2005PB) S 12252 29618 29617 0 -1 0 321 231 0 0 1 0 0 0 20 0 1 0 858700974 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.03 s]
Raw data (loadavg): 1.07 0.99 0.91 2/55 12268
Raw data (stat): 12253 (vallstSAT2005PB) R 12252 29618 29617 0 -1 0 430 1872 0 0 21 5 20584 2390 20 0 1 0 858700974 2179072 249 4294967295 134512640 135087896 3221224512 3221220988 1074810715 0 0 7 1132560120 0 0 0 17 1 0 0
Raw data (statm): 532 249 485 147 0 385 0
vsize: 2128
[startup+231.408 s]
Raw data (loadavg): 1.07 0.99 0.91 1/54 12272
Raw data (stat): 12253 (vallstSAT2005PB) R 12252 29618 29617 0 -1 0 430 1872 0 0 21 5 20584 2390 20 0 1 0 858700974 2179072 249 4294967295 134512640 135087896 3221224512 3221220988 1074810715 0 0 7 1132560120 0 0 0 17 1 0 0
Raw data (statm): 532 249 485 147 0 385 0
vsize: 0

Child status: 30
Real time (s): 231.407
CPU time (s): 230.589
CPU user time (s): 206.514
CPU system time (s): 24.0753
CPU usage (%): 99.6464
Max. virtual memory (Kb): 2128
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	3342319366
#### END VERIFIER DATA ####