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/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-ship04s.opb
MD5SUM	0b425344c538e99a27247a487d2e5952
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	43740
Biggest coefficient in the objective function	1977295568896000
Number of bits for the biggest coefficient in the objective function	51
Sum of the numbers in the objective function	276588440762806557
Number of bits of the sum of numbers in the objective function	58
Biggest number in a constraint	1977295568896000
Number of bits of the biggest number in a constraint	51
Biggest sum of numbers in a constraint	276588440762806557
Number of bits of the biggest sum of numbers	58
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.375942
Number of variables	43740
Total number of constraints	352
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	352
Minimum length of a constraint	30
Maximum length of a constraint	1980
Trace number 41027

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-09 04:32:00 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29095 boxname=wulflinc1 idbench=879 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  0b425344c538e99a27247a487d2e5952  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-ship04s.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-ship04s.opb
IDLAUNCH: 29095
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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:        814928 kB
Buffers:         23520 kB
Cached:         171612 kB
SwapCached:       1184 kB
Active:          37776 kB
Inactive:       159552 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        814676 kB
SwapTotal:     2097136 kB
SwapFree:      2094812 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5260 kB
Slab:            16548 kB
Committed_AS:    92720 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 04:41:17 (client local time) WITH STATUS 0 IN 556.645 SECONDS
stats: 29095 7 556.645 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c ERROR Parsing file!!!
c ERROR parsing line: +625*PREG0401_bit_10 +1250*PREG0401_bit_9 +2500*PREG0401_bit_8 +5000*PREG0401_bit_7 +10000*PREG0401_bit_6 +20000*PREG0401_bit_5 +40000*PREG0401_bit_4 +80000*PREG0401_bit_3 +160000*PREG0401_bit_2 +320000*PREG0401_bit_1 +640000*PREG0401_bit0 +1280000*PREG0401_bit1 +2560000*PREG0401_bit2 +5120000*PREG0401_bit3 +10240000*PREG0401_bit4 +20480000*PREG0401_bit5 +40960000*PREG0401_bit6 +81920000*PREG0401_bit7 +163840000*PREG0401_bit8 +327680000*PREG0401_bit9 +655360000*PREG0401_bit10 +1310720000*PREG0401_bit11 +2621440000*PREG0401_bit12 +5242880000*PREG0401_bit13 +10485760000*PREG0401_bit14 +20971520000*PREG0401_bit15 +41943040000*PREG0401_bit16 +83886080000*PREG0401_bit17 +167772160000*PREG0401_bit18 +335544320000*PREG0401_bit19 +625*POVR0401_bit_10 +1250*POVR0401_bit_9 +2500*POVR0401_bit_8 +5000*POVR0401_bit_7 +10000*POVR0401_bit_6 +20000*POVR0401_bit_5 +40000*POVR0401_bit_4 +80000*POVR0401_bit_3 +160000*POVR0401_bit_2 +320000*POVR0401_bit_1 +640000*POVR0401_bit0 +1280000*POVR0401_bit1 +2560000*POVR0401_bit2 +5120000*POVR0401_bit3 +10240000*POVR0401_bit4 +20480000*POVR0401_bit5 +40960000*POVR0401_bit6 +81920000*POVR0401_bit7 +163840000*POVR0401_bit8 +327680000*POVR0401_bit9 +655360000*POVR0401_bit10 +1310720000*POVR0401_bit11 +2621440000*POVR0401_bit12 +5242880000*POVR0401_bit13 +10485760000*POVR0401_bit14 +20971520000*POVR0401_bit15 +41943040000*POVR0401_bit16 +83886080000*POVR0401_bit17 +167772160000*POVR0401_bit18 +335544320000*POVR0401_bit19 -625*SH010401_bit_10 -1250*SH010401_bit_9 -2500*SH010401_bit_8 -5000*SH010401_bit_7 -10000*SH010401_bit_6 -20000*SH010401_bit_5 -40000*SH010401_bit_4 -80000*SH010401_bit_3 -160000*SH010401_bit_2 -320000*SH010401_bit_1 -640000*SH010401_bit0 -1280000*SH010401_bit1 -2560000*SH010401_bit2 -5120000*SH010401_bit3 -10240000*SH010401_bit4 -20480000*SH010401_bit5 -40960000*SH010401_bit6 -81920000*SH010401_bit7 -163840000*SH010401_bit8 -327680000*SH010401_bit9 -655360000*SH010401_bit10 -1310720000*SH010401_bit11 -2621440000*SH010401_bit12 -5242880000*SH010401_bit13 -10485760000*SH010401_bit14 -20971520000*SH010401_bit15 -41943040000*SH010401_bit16 -83886080000*SH010401_bit17 -167772160000*SH010401_bit18 -335544320000*SH010401_bit19 -625*SH010402_bit_10 -1250*SH010402_bit_9 -2500*SH010402_bit_8 -5000*SH010402_bit_7 -10000*SH010402_bit_6 -20000*SH010402_bit_5 -40000*SH010402_bit_4 -80000*SH010402_bit_3 -160000*SH010402_bit_2 -320000*SH010402_bit_1 -640000*SH010402_bit0 -1280000*SH010402_bit1 -2560000*SH010402_bit2 -5120000*SH010402_bit3 -10240000*SH010402_bit4 -20480000*SH010402_bit5 -40960000*SH010402_bit6 -81920000*SH010402_bit7 -163840000*SH010402_bit8 -327680000*SH010402_bit9 -655360000*SH010402_bit10 -1310720000*SH010402_bit11 -2621440000*SH010402_bit12 -5242880000*SH010402_bit13 -10485760000*SH010402_bit14 -20971520000*SH010402_bit15 -41943040000*SH010402_bit16 -83886080000*SH010402_bit17 -167772160000*SH010402_bit18 -335544320000*SH010402_bit19 -625*SH010403_bit_10 -1250*SH010403_bit_9 -2500*SH010403_bit_8 -5000*SH010403_bit_7 -10000*SH010403_bit_6 -20000*SH010403_bit_5 -40000*SH010403_bit_4 -80000*SH010403_bit_3 -160000*SH010403_bit_2 -320000*SH010403_bit_1 -640000*SH010403_bit0 -1280000*SH010403_bit1 -2560000*SH010403_bit2 -5120000*SH010403_bit3 -10240000*SH010403_bit4 -20480000*SH010403_bit5 -40960000*SH010403_bit6 -81920000*SH010403_bit7 -163840000*SH010403_bit8 -327680000*SH010403_bit9 -655360000*SH010403_bit10 -1310720000*SH010403_bit11 -2621440000*SH010403_bit12 -5242880000*SH010403_bit13 -10485760000*SH010403_bit14 -20971520000*SH010403_bit15 -41943040000*SH010403_bit16 -83886080000*SH010403_bit17 -167772160000*SH010403_bit18 -335544320000*SH010403_bit19 +625*SH010104_bit_10 +1250*SH010104_bit_9 +2500*SH010104_bit_8 +5000*SH010104_bit_7 +10000*SH010104_bit_6 +20000*SH010104_bit_5 +40000*SH010104_bit_4 +80000*SH010104_bit_3 +160000*SH010104_bit_2 +320000*SH010104_bit_1 +640000*SH010104_bit0 +1280000*SH010104_bit1 +2560000*SH010104_bit2 +5120000*SH010104_bit3 +10240000*SH010104_bit4 +20480000*SH010104_bit5 +40960000*SH010104_bit6 +81920000*SH010104_bit7 +163840000*SH010104_bit8 +327680000*SH010104_bit9 +655360000*SH010104_bit10 +1310720000*SH010104_bit11 +2621440000*SH010104_bit12 +5242880000*SH010104_bit13 +10485760000*SH010104_bit14 +20971520000*SH010104_bit15 +41943040000*SH010104_bit16 +83886080000*SH010104_bit17 +167772160000*SH010104_bit18 +335544320000*SH010104_bit19 +625*SH010204_bit_10 +1250*SH010204_bit_9 +2500*SH010204_bit_8 +5000*SH010204_bit_7 +10000*SH010204_bit_6 +20000*SH010204_bit_5 +40000*SH010204_bit_4 +80000*SH010204_bit_3 +160000*SH010204_bit_2 +320000*SH010204_bit_1 +640000*SH010204_bit0 +1280000*SH010204_bit1 +2560000*SH010204_bit2 +5120000*SH010204_bit3 +10240000*SH010204_bit4 +20480000*SH010204_bit5 +40960000*SH010204_bit6 +81920000*SH010204_bit7 +163840000*SH010204_bit8 +327680000*SH010204_bit9 +655360000*SH010204_bit10 +1310720000*SH010204_bit11 +2621440000*SH010204_bit12 +5242880000*SH010204_bit13 +10485760000*SH010204_bit14 +20971520000*SH010204_bit15 +41943040000*SH010204_bit16 +83886080000*SH010204_bit17 +167772160000*SH010204_bit18 +335544320000*SH010204_bit19 +625*SH010304_bit_10 +1250*SH010304_bit_9 +2500*SH010304_bit_8 +5000*SH010304_bit_7 +10000*SH010304_bit_6 +20000*SH010304_bit_5 +40000*SH010304_bit_4 +80000*SH010304_bit_3 +160000*SH010304_bit_2 +320000*SH010304_bit_1 +640000*SH010304_bit0 +1280000*SH010304_bit1 +2560000*SH010304_bit2 +5120000*SH010304_bit3 +10240000*SH010304_bit4 +20480000*SH010304_bit5 +40960000*SH010304_bit6 +81920000*SH010304_bit7 +163840000*SH010304_bit8 +327680000*SH010304_bit9 +655360000*SH010304_bit10 +1310720000*SH010304_bit11 +2621440000*SH010304_bit12 +5242880000*SH010304_bit13 +10485760000*SH010304_bit14 +20971520000*SH010304_bit15 +41943040000*SH010304_bit16 +83886080000*SH010304_bit17 +167772160000*SH010304_bit18 +335544320000*SH010304_bit19 +625*SH010504_bit_10 +1250*SH010504_bit_9 +2500*SH010504_bit_8 +5000*SH010504_bit_7 +10000*SH010504_bit_6 +20000*SH010504_bit_5 +40000*SH010504_bit_4 +80000*SH010504_bit_3 +160000*SH010504_bit_2 +320000*SH010504_bit_1 +640000*SH010504_bit0 +1280000*SH010504_bit1 +2560000*SH010504_bit2 +5120000*SH010504_bit3 +10240000*SH010504_bit4 +20480000*SH010504_bit5 +40960000*SH010504_bit6 +81920000*SH010504_bit7 +163840000*SH010504_bit8 +327680000*SH010504_bit9 +655360000*SH010504_bit10 +1310720000*SH010504_bit11 +2621440000*SH010504_bit12 +5242880000*SH010504_bit13 +10485760000*SH010504_bit14 +20971520000*SH010504_bit15 +41943040000*SH010504_bit16 +83886080000*SH010504_bit17 +167772160000*SH010504_bit18 +335544320000*SH010504_bit19 +625*SH010604_bit_10 +1250*SH010604_bit_9 +2500*SH010604_bit_8 +5000*SH010604_bit_7 +10000*SH010604_bit_6 +20000*SH010604_bit_5 +40000*SH010604_bit_4 +80000*SH010604_bit_3 +160000*SH010604_bit_2 +320000*SH010604_bit_1 +640000*SH010604_bit0 +1280000*SH010604_bit1 +2560000*SH010604_bit2 +5120000*SH010604_bit3 +10240000*SH010604_bit4 +20480000*SH010604_bit5 +40960000*SH010604_bit6 +81920000*SH010604_bit7 +163840000*SH010604_bit8 +327680000*SH010604_bit9 +655360000*SH010604_bit10 +1310720000*SH010604_bit11 +2621440000*SH010604_bit12 +5242880000*SH010604_bit13 +10485760000*SH010604_bit14 +20971520000*SH010604_bit15 +41943040000*SH010604_bit16 +83886080000*SH010604_bit17 +167772160000*SH010604_bit18 +335544320000*SH010604_bit19 +625*SH010804_bit_10 +1250*SH010804_bit_9 +2500*SH010804_bit_8 +5000*SH010804_bit_7 +10000*SH010804_bit_6 +20000*SH010804_bit_5 +40000*SH010804_bit_4 +80000*SH010804_bit_3 +160000*SH010804_bit_2 +320000*SH010804_bit_1 +640000*SH010804_bit0 +1280000*SH010804_bit1 +2560000*SH010804_bit2 +5120000*SH010804_bit3 +10240000*SH010804_bit4 +20480000*SH010804_bit5 +40960000*SH010804_bit6 +81920000*SH010804_bit7 +163840000*SH010804_bit8 +327680000*SH010804_bit9 +655360000*SH010804_bit10 +1310720000*SH010804_bit11 +2621440000*SH010804_bit12 +5242880000*SH010804_bit13 +10485760000*SH010804_bit14 +20971520000*SH010804_bit15 +41943040000*SH010804_bit16 +83886080000*SH010804_bit17 +167772160000*SH010804_bit18 +335544320000*SH010804_bit19 -625*SH010405_bit_10 -1250*SH010405_bit_9 -2500*SH010405_bit_8 -5000*SH010405_bit_7 -10000*SH010405_bit_6 -20000*SH010405_bit_5 -40000*SH010405_bit_4 -80000*SH010405_bit_3 -160000*SH010405_bit_2 -320000*SH010405_bit_1 -640000*SH010405_bit0 -1280000*SH010405_bit1 -2560000*SH010405_bit2 -5120000*SH010405_bit3 -10240000*SH010405_bit4 -20480000*SH010405_bit5 -40960000*SH010405_bit6 -81920000*SH010405_bit7 -163840000*SH010405_bit8 -327680000*SH010405_bit9 -655360000*SH010405_bit10 -1310720000*SH010405_bit11 -2621440000*SH010405_bit12 -5242880000*SH010405_bit13 -10485760000*SH010405_bit14 -20971520000*SH010405_bit15 -41943040000*SH010405_bit16 -83886080000*SH010405_bit17 -167772160000*SH010405_bit18 -335544320000*SH010405_bit19 -625*SH010406_bit_10 -1250*SH010406_bit_9 -2500*SH010406_bit_8 -5000*SH010406_bit_7 -10000*SH010406_bit_6 -20000*SH010406_bit_5 -40000*SH010406_bit_4 -80000*SH010406_bit_3 -160000*SH010406_bit_2 -320000*SH010406_bit_1 -640000*SH010406_bit0 -1280000*SH010406_bit1 -2560000*SH010406_bit2 -5120000*SH010406_bit3 -10240000*SH010406_bit4 -20480000*SH010406_bit5 -40960000*SH010406_bit6 -81920000*SH010406_bit7 -163840000*SH010406_bit8 -327680000*SH010406_bit9 -655360000*SH010406_bit10 -1310720000*SH010406_bit11 -2621440000*SH010406_bit12 -5242880000*SH010406_bit13 -10485760000*SH010406_bit14 -20971520000*SH010406_bit15 -41943040000*SH010406_bit16 -83886080000*SH010406_bit17 -167772160000*SH010406_bit18 -335544320000*SH010406_bit19 -625*SH010407_bit_10 -1250*SH010407_bit_9 -2500*SH010407_bit_8 -5000*SH010407_bit_7 -10000*SH010407_bit_6 -20000*SH010407_bit_5 -40000*SH010407_bit_4 -80000*SH010407_bit_3 -160000*SH010407_bit_2 -320000*SH010407_bit_1 -640000*SH010407_bit0 -1280000*SH010407_bit1 -2560000*SH010407_bit2 -5120000*SH010407_bit3 -10240000*SH010407_bit4 -20480000*SH010407_bit5 -40960000*SH010407_bit6 -81920000*SH010407_bit7 -163840000*SH010407_bit8 -327680000*SH010407_bit9 -655360000*SH010407_bit10 -1310720000*SH010407_bit11 -2621440000*SH010407_bit12 -5242880000*SH010407_bit13 -10485760000*SH010407_bit14 -20971520000*SH010407_bit15 -41943040000*SH010407_bit16 -83886080000*SH010407_bit17 -167772160000*SH010407_bit18 -335544320000*SH010407_bit19 -625*SH010408_bit_10 -1250*SH010408_bit_9 -2500*SH010408_bit_8 -5000*SH010408_bit_7 -10000*SH010408_bit_6 -20000*SH010408_bit_5 -40000*SH010408_bit_4 -80000*SH010408_bit_3 -160000*SH010408_bit_2 -320000*SH010408_bit_1 -640000*SH010408_bit0 -1280000*SH010408_bit1 -2560000*SH010408_bit2 -5120000*SH010408_bit3 -10240000*SH010408_bit4 -20480000*SH010408_bit5 -40960000*SH010408_bit6 -81920000*SH010408_bit7 -163840000*SH010408_bit8 -327680000*SH010408_bit9 -655360000*SH010408_bit10 -1310720000*SH010408_bit11 -2621440000*SH010408_bit12 -5242880000*SH010408_bit13 -10485760000*SH010408_bit14 -20971520000*SH010408_bit15 -41943040000*SH010408_bit16 -83886080000*SH010408_bit17 -167772160000*SH010408_bit18 -335544320000*SH010408_bit19 -625*SH010409_bit_10 -1250*SH010409_bit_9 -2500*SH010409_bit_8 -5000*SH010409_bit_7 -10000*SH010409_bit_6 -20000*SH010409_bit_5 -40000*SH010409_bit_4 -80000*SH010409_bit_3 -160000*SH010409_bit_2 -320000*SH010409_bit_1 -640000*SH010409_bit0 -1280000*SH010409_bit1 -2560000*SH010409_bit2 -5120000*SH010409_bit3 -10240000*SH010409_bit4 -20480000*SH010409_bit5 -40960000*SH010409_bit6 -81920000*SH010409_bit7 -163840000*SH010409_bit8 -327680000*SH010409_bit9 -655360000*SH010409_bit10 -1310720000*SH010409_bit11 -2621440000*SH010409_bit12 -5242880000*SH010409_bit13 -10485760000*SH010409_bit14 -20971520000*SH010409_bit15 -41943040000*SH010409_bit16 -83886080000*SH010409_bit17 -167772160000*SH010409_bit18 -335544320000*SH010409_bit19 -625*SH010410_bit_10 -1250*SH010410_bit_9 -2500*SH010410_bit_8 -5000*SH010410_bit_7 -10000*SH010410_bit_6 -20000*SH010410_bit_5 -40000*SH010410_bit_4 -80000*SH010410_bit_3 -160000*SH010410_bit_2 -320000*SH010410_bit_1 -640000*SH010410_bit0 -1280000*SH010410_bit1 -2560000*SH010410_bit2 -5120000*SH010410_bit3 -10240000*SH010410_bit4 -20480000*SH010410_bit5 -40960000*SH010410_bit6 -81920000*SH010410_bit7 -163840000*SH010410_bit8 -327680000*SH010410_bit9 -655360000*SH010410_bit10 -1310720000*SH010410_bit11 -2621440000*SH010410_bit12 -5242880000*SH010410_bit13 -10485760000*SH010410_bit14 -20971520000*SH010410_bit15 -41943040000*SH010410_bit16 -83886080000*SH010410_bit17 -167772160000*SH010410_bit18 -335544320000*SH010410_bit19 -625*SH010411_bit_10 -1250*SH010411_bit_9 -2500*SH010411_bit_8 -5000*SH010411_bit_7 -10000*SH010411_bit_6 -20000*SH010411_bit_5 -40000*SH010411_bit_4 -80000*SH010411_bit_3 -160000*SH010411_bit_2 -320000*SH010411_bit_1 -640000*SH010411_bit0 -1280000*SH010411_bit1 -2560000*SH010411_bit2 -5120000*SH010411_bit3 -10240000*SH010411_bit4 -20480000*SH010411_bit5 -40960000*SH010411_bit6 -81920000*SH010411_bit7 -163840000*SH010411_bit8 -327680000*SH010411_bit9 -655360000*SH010411_bit10 -1310720000*SH010411_bit11 -2621440000*SH010411_bit12 -5242880000*SH010411_bit13 -10485760000*SH010411_bit14 -20971520000*SH010411_bit15 -41943040000*SH010411_bit16 -83886080000*SH010411_bit17 -167772160000*SH010411_bit18 -335544320000*SH010411_bit19 -625*SH010412_bit_10 -1250*SH010412_bit_9 -2500*SH010412_bit_8 -5000*SH010412_bit_7 -10000*SH010412_bit_6 -20000*SH010412_bit_5 -40000*SH010412_bit_4 -80000*SH010412_bit_3 -160000*SH010412_bit_2 -320000*SH010412_bit_1 -640000*SH010412_bit0 -1280000*SH010412_bit1 -2560000*SH010412_bit2 -5120000*SH010412_bit3 -10240000*SH010412_bit4 -20480000*SH010412_bit5 -40960000*SH010412_bit6 -81920000*SH010412_bit7 -163840000*SH010412_bit8 -327680000*SH010412_bit9 -655360000*SH010412_bit10 -1310720000*SH010412_bit11 -2621440000*SH010412_bit12 -5242880000*SH010412_bit13 -10485760000*SH010412_bit14 -20971520000*SH010412_bit15 -41943040000*SH010412_bit16 -83886080000*SH010412_bit17 -167772160000*SH010412_bit18 -335544320000*SH010412_bit19 -625*SH010414_bit_10 -1250*SH010414_bit_9 -2500*SH010414_bit_8 -5000*SH010414_bit_7 -10000*SH010414_bit_6 -20000*SH010414_bit_5 -40000*SH010414_bit_4 -80000*SH010414_bit_3 -160000*SH010414_bit_2 -320000*SH010414_bit_1 -640000*SH010414_bit0 -1280000*SH010414_bit1 -2560000*SH010414_bit2 -5120000*SH010414_bit3 -10240000*SH010414_bit4 -20480000*SH010414_bit5 -40960000*SH010414_bit6 -81920000*SH010414_bit7 -163840000*SH010414_bit8 -327680000*SH010414_bit9 -655360000*SH010414_bit10 -1310720000*SH010414_bit11 -2621440000*SH010414_bit12 -5242880000*SH010414_bit13 -10485760000*SH010414_bit14 -20971520000*SH010414_bit15 -41943040000*SH010414_bit16 -83886080000*SH010414_bit17 -167772160000*SH010414_bit18 -335544320000*SH010414_bit19 -625*SH010415_bit_10 -1250*SH010415_bit_9 -2500*SH010415_bit_8 -5000*SH010415_bit_7 -10000*SH010415_bit_6 -20000*SH010415_bit_5 -40000*SH010415_bit_4 -80000*SH010415_bit_3 -160000*SH010415_bit_2 -320000*SH010415_bit_1 -640000*SH010415_bit0 -1280000*SH010415_bit1 -2560000*SH010415_bit2 -5120000*SH010415_bit3 -10240000*SH010415_bit4 -20480000*SH010415_bit5 -40960000*SH010415_bit6 -81920000*SH010415_bit7 -163840000*SH010415_bit8 -327680000*SH010415_bit9 -655360000*SH010415_bit10 -1310720000*SH010415_bit11 -2621440000*SH010415_bit12 -5242880000*SH010415_bit13 -10485760000*SH010415_bit14 -20971520000*SH010415_bit15 -41943040000*SH010415_bit16 -83886080000*SH010415_bit17 -167772160000*SH010415_bit18 -335544320000*SH010415_bit19 -625*SH010416_bit_10 -1250*SH010416_bit_9 -2500*SH010416_bit_8 -5000*SH010416_bit_7 -10000*SH010416_bit_6 -20000*SH010416_bit_5 -40000*SH010416_bit_4 -80000*SH010416_bit_3 -160000*SH010416_bit_2 -320000*SH010416_bit_1 -640000*SH010416_bit0 -1280000*SH010416_bit1 -2560000*SH010416_bit2 -5120000*SH010416_bit3 -10240000*SH010416_bit4 -20480000*SH010416_bit5 -40960000*SH010416_bit6 -81920000*SH010416_bit7 -163840000*SH010416_bit8 -327680000*SH010416_bit9 -655360000*SH010416_bit10 -1310720000*SH010416_bit11 -2621440000*SH010416_bit12 -5242880000*SH010416_bit13 -10485760000*SH010416_bit14 -20971520000*SH010416_bit15 -41943040000*SH010416_bit16 -83886080000*SH010416_bit17 -167772160000*SH010416_bit18 -335544320000*SH010416_bit19 -625*SH010418_bit_10 -1250*SH010418_bit_9 -2500*SH010418_bit_8 -5000*SH010418_bit_7 -10000*SH010418_bit_6 -20000*SH010418_bit_5 -40000*SH010418_bit_4 -80000*SH010418_bit_3 -160000*SH010418_bit_2 -320000*SH010418_bit_1 -640000*SH010418_bit0 -1280000*SH010418_bit1 -2560000*SH010418_bit2 -5120000*SH010418_bit3 -10240000*SH010418_bit4 -20480000*SH010418_bit5 -40960000*SH010418_bit6 -81920000*SH010418_bit7 -163840000*SH010418_bit8 -327680000*SH010418_bit9 -655360000*SH010418_bit10 -1310720000*SH010418_bit11 -2621440000*SH010418_bit12 -5242880000*SH010418_bit13 -10485760000*SH010418_bit14 -20971520000*SH010418_bit15 -41943040000*SH010418_bit16 -83886080000*SH010418_bit17 -167772160000*SH010418_bit18 -335544320000*SH010418_bit19 -625*SH010419_bit_10 -1250*SH010419_bit_9 -2500*SH010419_bit_8 -5000*SH010419_bit_7 -10000*SH010419_bit_6 -20000*SH010419_bit_5 -40000*SH010419_bit_4 -80000*SH010419_bit_3 -160000*SH010419_bit_2 -320000*SH010419_bit_1 -640000*SH010419_bit0 -1280000*SH010419_bit1 -2560000*SH010419_bit2 -5120000*SH010419_bit3 -10240000*SH010419_bit4 -20480000*SH010419_bit5 -40960000*SH010419_bit6 -81920000*SH010419_bit7 -163840000*SH010419_bit8 -327680000*SH010419_bit9 -655360000*SH010419_bit10 -1310720000*SH010419_bit11 -2621440000*SH010419_bit12 -5242880000*SH010419_bit13 -10485760000*SH010419_bit14 -20971520000*SH010419_bit15 -41943040000*SH010419_bit16 -83886080000*SH010419_bit17 -167772160000*SH010419_bit18 -335544320000*SH010419_bit19 -625*SH010420_bit_10 -1250*SH010420_bit_9 -2500*SH010420_bit_8 -5000*SH010420_bit_7 -10000*SH010420_bit_6 -20000*SH010420_bit_5 -40000*SH010420_bit_4 -80000*SH010420_bit_3 -160000*SH010420_bit_2 -320000*SH010420_bit_1 -640000*SH010420_bit0 -1280000*SH010420_bit1 -2560000*SH010420_bit2 -5120000*SH010420_bit3 -10240000*SH010420_bit4 -20480000*SH010420_bit5 -40960000*SH010420_bit6 -81920000*SH010420_bit7 -163840000*SH010420_bit8 -327680000*SH010420_bit9 -655360000*SH010420_bit10 -1310720000*SH010420_bit11 -2621440000*SH010420_bit12 -5242880000*SH010420_bit13 -10485760000*SH010420_bit14 -20971520000*SH010420_bit15 -41943040000*SH010420_bit16 -83886080000*SH010420_bit17 -167772160000*SH010420_bit18 -335544320000*SH010420_bit19 -625*SH010421_bit_10 -1250*SH010421_bit_9 -2500*SH010421_bit_8 -5000*SH010421_bit_7 -10000*SH010421_bit_6 -20000*SH010421_bit_5 -40000*SH010421_bit_4 -80000*SH010421_bit_3 -160000*SH010421_bit_2 -320000*SH010421_bit_1 -640000*SH010421_bit0 -1280000*SH010421_bit1 -2560000*SH010421_bit2 -5120000*SH010421_bit3 -10240000*SH010421_bit4 -20480000*SH010421_bit5 -40960000*SH010421_bit6 -81920000*SH010421_bit7 -163840000*SH010421_bit8 -327680000*SH010421_bit9 -655360000*SH010421_bit10 -1310720000*SH010421_bit11 -2621440000*SH010421_bit12 -5242880000*SH010421_bit13 -10485760000*SH010421_bit14 -20971520000*SH010421_bit15 -41943040000*SH010421_bit16 -83886080000*SH010421_bit17 -167772160000*SH010421_bit18 -335544320000*SH010421_bit19 -625*SH010422_bit_10 -1250*SH010422_bit_9 -2500*SH010422_bit_8 -5000*SH010422_bit_7 -10000*SH010422_bit_6 -20000*SH010422_bit_5 -40000*SH010422_bit_4 -80000*SH010422_bit_3 -160000*SH010422_bit_2 -320000*SH010422_bit_1 -640000*SH010422_bit0 -1280000*SH010422_bit1 -2560000*SH010422_bit2 -5120000*SH010422_bit3 -10240000*SH010422_bit4 -20480000*SH010422_bit5 -40960000*SH010422_bit6 -81920000*SH010422_bit7 -163840000*SH010422_bit8 -327680000*SH010422_bit9 -655360000*SH010422_bit10 -1310720000*SH010422_bit11 -2621440000*SH010422_bit12 -5242880000*SH010422_bit13 -10485760000*SH010422_bit14 -20971520000*SH010422_bit15 -41943040000*SH010422_bit16 -83886080000*SH010422_bit17 -167772160000*SH010422_bit18 -335544320000*SH010422_bit19 -625*SH010423_bit_10 -1250*SH010423_bit_9 -2500*SH010423_bit_8 -5000*SH010423_bit_7 -10000*SH010423_bit_6 -20000*SH010423_bit_5 -40000*SH010423_bit_4 -80000*SH010423_bit_3 -160000*SH010423_bit_2 -320000*SH010423_bit_1 -640000*SH010423_bit0 -1280000*SH010423_bit1 -2560000*SH010423_bit2 -5120000*SH010423_bit3 -10240000*SH010423_bit4 -20480000*SH010423_bit5 -40960000*SH010423_bit6 -81920000*SH010423_bit7 -163840000*SH010423_bit8 -327680000*SH010423_bit9 -655360000*SH010423_bit10 -1310720000*SH010423_bit11 -2621440000*SH010423_bit12 -5242880000*SH010423_bit13 -10485760000*SH010423_bit14 -20971520000*SH010423_bit15 -41943040000*SH010423_bit16 -83886080000*SH010423_bit17 -167772160000*SH010423_bit18 -335544320000*SH010423_bit19 -625*SH010426_bit_10 -1250*SH010426_bit_9 -2500*SH010426_bit_8 -5000*SH010426_bit_7 -10000*SH010426_bit_6 -20000*SH010426_bit_5 -40000*SH010426_bit_4 -80000*SH010426_bit_3 -160000*SH010426_bit_2 -320000*SH010426_bit_1 -640000*SH010426_bit0 -1280000*SH010426_bit1 -2560000*SH010426_bit2 -5120000*SH010426_bit3 -10240000*SH010426_bit4 -20480000*SH010426_bit5 -40960000*SH010426_bit6 -81920000*SH010426_bit7 -163840000*SH010426_bit8 -327680000*SH010426_bit9 -655360000*SH010426_bit10 -1310720000*SH010426_bit11 -2621440000*SH010426_bit12 -5242880000*SH010426_bit13 -10485760000*SH010426_bit14 -20971520000*SH010426_bit15 -41943040000*SH010426_bit16 -83886080000*SH010426_bit17 -167772160000*SH010426_bit18 -335544320000*SH010426_bit19 -625*SH010427_bit_10 -1250*SH010427_bit_9 -2500*SH010427_bit_8 -5000*SH010427_bit_7 -10000*SH010427_bit_6 -20000*SH010427_bit_5 -40000*SH010427_bit_4 -80000*SH010427_bit_3 -160000*SH010427_bit_2 -320000*SH010427_bit_1 -640000*SH010427_bit0 -1280000*SH010427_bit1 -2560000*SH010427_bit2 -5120000*SH010427_bit3 -10240000*SH010427_bit4 -20480000*SH010427_bit5 -40960000*SH010427_bit6 -81920000*SH010427_bit7 -163840000*SH010427_bit8 -327680000*SH010427_bit9 -655360000*SH010427_bit10 -1310720000*SH010427_bit11 -2621440000*SH010427_bit12 -5242880000*SH010427_bit13 -10485760000*SH010427_bit14 -20971520000*SH010427_bit15 -41943040000*SH010427_bit16 -83886080000*SH010427_bit17 -167772160000*SH010427_bit18 -335544320000*SH010427_bit19 -625*SH010429_bit_10 -1250*SH010429_bit_9 -2500*SH010429_bit_8 -5000*SH010429_bit_7 -10000*SH010429_bit_6 -20000*SH010429_bit_5 -40000*SH010429_bit_4 -80000*SH010429_bit_3 -160000*SH010429_bit_2 -320000*SH010429_bit_1 -640000*SH010429_bit0 -1280000*SH010429_bit1 -2560000*SH010429_bit2 -5120000*SH010429_bit3 -10240000*SH010429_bit4 -20480000*SH010429_bit5 -40960000*SH010429_bit6 -81920000*SH010429_bit7 -163840000*SH010429_bit8 -327680000*SH010429_bit9 -655360000*SH010429_bit10 -1310720000*SH010429_bit11 -2621440000*SH010429_bit12 -5242880000*SH010429_bit13 -10485760000*SH010429_bit14 -20971520000*SH010429_bit15 -41943040000*SH010429_bit16 -83886080000*SH010429_bit17 -167772160000*SH010429_bit18 -335544320000*SH010429_bit19 -625*SH010430_bit_10 -1250*SH010430_bit_9 -2500*SH010430_bit_8 -5000*SH010430_bit_7 -10000*SH010430_bit_6 -20000*SH010430_bit_5 -40000*SH010430_bit_4 -80000*SH010430_bit_3 -160000*SH010430_bit_2 -320000*SH010430_bit_1 -640000*SH010430_bit0 -1280000*SH010430_bit1 -2560000*SH010430_bit2 -5120000*SH010430_bit3 -10240000*SH010430_bit4 -20480000*SH010430_bit5 -40960000*SH010430_bit6 -81920000*SH010430_bit7 -163840000*SH010430_bit8 -327680000*SH010430_bit9 -655360000*SH010430_bit10 -1310720000*SH010430_bit11 -2621440000*SH010430_bit12 -5242880000*SH010430_bit13 -10485760000*SH010430_bit14 -20971520000*SH010430_bit15 -41943040000*SH010430_bit16 -83886080000*SH010430_bit17 -167772160000*SH010430_bit18 -335544320000*SH010430_bit19 -625*SH010432_bit_10 -1250*SH010432_bit_9 -2500*SH010432_bit_8 -5000*SH010432_bit_7 -10000*SH010432_bit_6 -20000*SH010432_bit_5 -40000*SH010432_bit_4 -80000*SH010432_bit_3 -160000*SH010432_bit_2 -320000*SH010432_bit_1 -640000*SH010432_bit0 -1280000*SH010432_bit1 -2560000*SH010432_bit2 -5120000*SH010432_bit3 -10240000*SH010432_bit4 -20480000*SH010432_bit5 -40960000*SH010432_bit6 -81920000*SH010432_bit7 -163840000*SH010432_bit8 -327680000*SH010432_bit9 -655360000*SH010432_bit10 -1310720000*SH010432_bit11 -2621440000*SH010432_bit12 -5242880000*SH010432_bit13 -10485760000*SH010432_bit14 -20971520000*SH010432_bit15 -41943040000*SH010432_bit16 -83886080000*SH010432_bit17 -167772160000*SH010432_bit18 -335544320000*SH010432_bit19 -625*SH010434_bit_10 -1250*SH010434_bit_9 -2500*SH010434_bit_8 -5000*SH010434_bit_7 -10000*SH010434_bit_6 -20000*SH010434_bit_5 -40000*SH010434_bit_4 -80000*SH010434_bit_3 -160000*SH010434_bit_2 -320000*SH010434_bit_1 -640000*SH010434_bit0 -1280000*SH010434_bit1 -2560000*SH010434_bit2 -5120000*SH010434_bit3 -10240000*SH010434_bit4 -20480000*SH010434_bit5 -40960000*SH010434_bit6 -81920000*SH010434_bit7 -163840000*SH010434_bit8 -327680000*SH010434_bit9 -655360000*SH010434_bit10 -1310720000*SH010434_bit11 -2621440000*SH010434_bit12 -5242880000*SH010434_bit13 -10485760000*SH010434_bit14 -20971520000*SH010434_bit15 -41943040000*SH010434_bit16 -83886080000*SH010434_bit17 -167772160000*SH010434_bit18 -335544320000*SH010434_bit19 -625*SH010435_bit_10 -1250*SH010435_bit_9 -2500*SH010435_bit_8 -5000*SH010435_bit_7 -10000*SH010435_bit_6 -20000*SH010435_bit_5 -40000*SH010435_bit_4 -80000*SH010435_bit_3 -160000*SH010435_bit_2 -320000*SH010435_bit_1 -640000*SH010435_bit0 -1280000*SH010435_bit1 -2560000*SH010435_bit2 -5120000*SH010435_bit3 -10240000*SH010435_bit4 -20480000*SH010435_bit5 -40960000*SH010435_bit6 -81920000*SH010435_bit7 -163840000*SH010435_bit8 -327680000*SH010435_bit9 -655360000*SH010435_bit10 -1310720000*SH010435_bit11 -2621440000*SH010435_bit12 -5242880000*SH010435_bit13 -10485760000*SH010435_bit14 -20971520000*SH010435_bit15 -41943040000*SH010435_bit16 -83886080000*SH010435_bit17 -167772160000*SH010435_bit18 -335544320000*SH010435_bit19 -625*SH010437_bit_10 -1250*SH010437_bit_9 -2500*SH010437_bit_8 -5000*SH010437_bit_7 -10000*SH010437_bit_6 -20000*SH010437_bit_5 -40000*SH010437_bit_4 -80000*SH010437_bit_3 -160000*SH010437_bit_2 -320000*SH010437_bit_1 -640000*SH010437_bit0 -1280000*SH010437_bit1 -2560000*SH010437_bit2 -5120000*SH010437_bit3 -10240000*SH010437_bit4 -20480000*SH010437_bit5 -40960000*SH010437_bit6 -81920000*SH010437_bit7 -163840000*SH010437_bit8 -327680000*SH010437_bit9 -655360000*SH010437_bit10 -1310720000*SH010437_bit11 -2621440000*SH010437_bit12 -5242880000*SH010437_bit13 -10485760000*SH010437_bit14 -20971520000*SH010437_bit15 -41943040000*SH010437_bit16 -83886080000*SH010437_bit17 -167772160000*SH010437_bit18 -335544320000*SH010437_bit19 -625*SH010438_bit_10 -1250*SH010438_bit_9 -2500*SH010438_bit_8 -5000*SH010438_bit_7 -10000*SH010438_bit_6 -20000*SH010438_bit_5 -40000*SH010438_bit_4 -80000*SH010438_bit_3 -160000*SH010438_bit_2 -320000*SH010438_bit_1 -640000*SH010438_bit0 -1280000*SH010438_bit1 -2560000*SH010438_bit2 -5120000*SH010438_bit3 -10240000*SH010438_bit4 -20480000*SH010438_bit5 -40960000*SH010438_bit6 -81920000*SH010438_bit7 -163840000*SH010438_bit8 -327680000*SH010438_bit9 -655360000*SH010438_bit10 -1310720000*SH010438_bit11 -2621440000*SH010438_bit12 -5242880000*SH010438_bit13 -10485760000*SH010438_bit14 -20971520000*SH010438_bit15 -41943040000*SH010438_bit16 -83886080000*SH010438_bit17 -167772160000*SH010438_bit18 -335544320000*SH010438_bit19 -625*SH010439_bit_10 -1250*SH010439_bit_9 -2500*SH010439_bit_8 -5000*SH010439_bit_7 -10000*SH010439_bit_6 -20000*SH010439_bit_5 -40000*SH010439_bit_4 -80000*SH010439_bit_3 -160000*SH010439_bit_2 -320000*SH010439_bit_1 -640000*SH010439_bit0 -1280000*SH010439_bit1 -2560000*SH010439_bit2 -5120000*SH010439_bit3 -10240000*SH010439_bit4 -20480000*SH010439_bit5 -40960000*SH010439_bit6 -81920000*SH010439_bit7 -163840000*SH010439_bit8 -327680000*SH010439_bit9 -655360000*SH010439_bit10 -1310720000*SH010439_bit11 -2621440000*SH010439_bit12 -5242880000*SH010439_bit13 -10485760000*SH010439_bit14 -20971520000*SH010439_bit15 -41943040000*SH010439_bit16 -83886080000*SH010439_bit17 -167772160000*SH010439_bit18 -335544320000*SH010439_bit19 -625*SH010441_bit_10 -1250*SH010441_bit_9 -2500*SH010441_bit_8 -5000*SH010441_bit_7 -10000*SH010441_bit_6 -20000*SH010441_bit_5 -40000*SH010441_bit_4 -80000*SH010441_bit_3 -160000*SH010441_bit_2 -320000*SH010441_bit_1 -640000*SH010441_bit0 -1280000*SH010441_bit1 -2560000*SH010441_bit2 -5120000*SH010441_bit3 -10240000*SH010441_bit4 -20480000*SH010441_bit5 -40960000*SH010441_bit6 -81920000*SH010441_bit7 -163840000*SH010441_bit8 -327680000*SH010441_bit9 -655360000*SH010441_bit10 -1310720000*SH010441_bit11 -2621440000*SH010441_bit12 -5242880000*SH010441_bit13 -10485760000*SH010441_bit14 -20971520000*SH010441_bit15 -41943040000*SH010441_bit16 -83886080000*SH010441_bit17 -167772160000*SH010441_bit18 -335544320000*SH010441_bit19 -625*SH010442_bit_10 -1250*SH010442_bit_9 -2500*SH010442_bit_8 -5000*SH010442_bit_7 -10000*SH010442_bit_6 -20000*SH010442_bit_5 -40000*SH010442_bit_4 -80000*SH010442_bit_3 -160000*SH010442_bit_2 -320000*SH010442_bit_1 -640000*SH010442_bit0 -1280000*SH010442_bit1 -2560000*SH010442_bit2 -5120000*SH010442_bit3 -10240000*SH010442_bit4 -20480000*SH010442_bit5 -40960000*SH010442_bit6 -81920000*SH010442_bit7 -163840000*SH010442_bit8 -327680000*SH010442_bit9 -655360000*SH010442_bit10 -1310720000*SH010442_bit11 -2621440000*SH010442_bit12 -5242880000*SH010442_bit13 -10485760000*SH010442_bit14 -20971520000*SH010442_bit15 -41943040000*SH010442_bit16 -83886080000*SH010442_bit17 -167772160000*SH010442_bit18 -335544320000*SH010442_bit19 -625*SH010443_bit_10 -1250*SH010443_bit_9 -2500*SH010443_bit_8 -5000*SH010443_bit_7 -10000*SH010443_bit_6 -20000*SH010443_bit_5 -40000*SH010443_bit_4 -80000*SH010443_bit_3 -160000*SH010443_bit_2 -320000*SH010443_bit_1 -640000*SH010443_bit0 -1280000*SH010443_bit1 -2560000*SH010443_bit2 -5120000*SH010443_bit3 -10240000*SH010443_bit4 -20480000*SH010443_bit5 -40960000*SH010443_bit6 -81920000*SH010443_bit7 -163840000*SH010443_bit8 -327680000*SH010443_bit9 -655360000*SH010443_bit10 -1310720000*SH010443_bit11 -2621440000*SH010443_bit12 -5242880000*SH010443_bit13 -10485760000*SH010443_bit14 -20971520000*SH010443_bit15 -41943040000*SH010443_bit16 -83886080000*SH010443_bit17 -167772160000*SH010443_bit18 -335544320000*SH010443_bit19 -625*SH010445_bit_10 -1250*SH010445_bit_9 -2500*SH010445_bit_8 -5000*SH010445_bit_7 -10000*SH010445_bit_6 -20000*SH010445_bit_5 -40000*SH010445_bit_4 -80000*SH010445_bit_3 -160000*SH010445_bit_2 -320000*SH010445_bit_1 -640000*SH010445_bit0 -1280000*SH010445_bit1 -2560000*SH010445_bit2 -5120000*SH010445_bit3 -10240000*SH010445_bit4 -20480000*SH010445_bit5 -40960000*SH010445_bit6 -81920000*SH010445_bit7 -163840000*SH010445_bit8 -327680000*SH010445_bit9 -655360000*SH010445_bit10 -1310720000*SH010445_bit11 -2621440000*SH010445_bit12 -5242880000*SH010445_bit13 -10485760000*SH010445_bit14 -20971520000*SH010445_bit15 -41943040000*SH010445_bit16 -83886080000*SH010445_bit17 -167772160000*SH010445_bit18 -335544320000*SH010445_bit19 -625*SH010446_bit_10 -1250*SH010446_bit_9 -2500*SH010446_bit_8 -5000*SH010446_bit_7 -10000*SH010446_bit_6 -20000*SH010446_bit_5 -40000*SH010446_bit_4 -80000*SH010446_bit_3 -160000*SH010446_bit_2 -320000*SH010446_bit_1 -640000*SH010446_bit0 -1280000*SH010446_bit1 -2560000*SH010446_bit2 -5120000*SH010446_bit3 -10240000*SH010446_bit4 -20480000*SH010446_bit5 -40960000*SH010446_bit6 -81920000*SH010446_bit7 -163840000*SH010446_bit8 -327680000*SH010446_bit9 -655360000*SH010446_bit10 -1310720000*SH010446_bit11 -2621440000*SH010446_bit12 -5242880000*SH010446_bit13 -10485760000*SH010446_bit14 -20971520000*SH010446_bit15 -41943040000*SH010446_bit16 -83886080000*SH010446_bit17 -167772160000*SH010446_bit18 -335544320000*SH010446_bit19 -625*SH010448_bit_10 -1250*SH010448_bit_9 -2500*SH010448_bit_8 -5000*SH010448_bit_7 -10000*SH010448_bit_6 -20000*SH010448_bit_5 -40000*SH010448_bit_4 -80000*SH010448_bit_3 -160000*SH010448_bit_2 -320000*SH010448_bit_1 -640000*SH010448_bit0 -1280000*SH010448_bit1 -2560000*SH010448_bit2 -5120000*SH010448_bit3 -10240000*SH010448_bit4 -20480000*SH010448_bit5 -40960000*SH010448_bit6 -81920000*SH010448_bit7 -163840000*SH010448_bit8 -327680000*SH010448_bit9 -655360000*SH010448_bit10 -1310720000*SH010448_bit11 -2621440000*SH010448_bit12 -5242880000*SH010448_bit13 -10485760000*SH010448_bit14 -20971520000*SH010448_bit15 -41943040000*SH010448_bit16 -83886080000*SH010448_bit17 -167772160000*SH010448_bit18 -335544320000*SH010448_bit19 -625*SH010452_bit_10 -1250*SH010452_bit_9 -2500*SH010452_bit_8 -5000*SH010452_bit_7 -10000*SH010452_bit_6 -20000*SH010452_bit_5 -40000*SH010452_bit_4 -80000*SH010452_bit_3 -160000*SH010452_bit_2 -320000*SH010452_bit_1 -640000*SH010452_bit0 -1280000*SH010452_bit1 -2560000*SH010452_bit2 -5120000*SH010452_bit3 -10240000*SH010452_bit4 -20480000*SH010452_bit5 -40960000*SH010452_bit6 -81920000*SH010452_bit7 -163840000*SH010452_bit8 -327680000*SH010452_bit9 -655360000*SH010452_bit10 -1310720000*SH010452_bit11 -2621440000*SH010452_bit12 -5242880000*SH010452_bit13 -10485760000*SH010452_bit14 -20971520000*SH010452_bit15 -41943040000*SH010452_bit16 -83886080000*SH010452_bit17 -167772160000*SH010452_bit18 -335544320000*SH010452_bit19 -625*SH010455_bit_10 -1250*SH010455_bit_9 -2500*SH010455_bit_8 -5000*SH010455_bit_7 -10000*SH010455_bit_6 -20000*SH010455_bit_5 -40000*SH010455_bit_4 -80000*SH010455_bit_3 -160000*SH010455_bit_2 -320000*SH010455_bit_1 -640000*SH010455_bit0 -1280000*SH010455_bit1 -2560000*SH010455_bit2 -5120000*SH010455_bit3 -10240000*SH010455_bit4 -20480000*SH010455_bit5 -40960000*SH010455_bit6 -81920000*SH010455_bit7 -163840000*SH010455_bit8 -327680000*SH010455_bit9 -655360000*SH010455_bit10 -1310720000*SH010455_bit11 -2621440000*SH010455_bit12 -5242880000*SH010455_bit13 -10485760000*SH010455_bit14 -20971520000*SH010455_bit15 -41943040000*SH010455_bit16 -83886080000*SH010455_bit17 -167772160000*SH010455_bit18 -335544320000*SH010455_bit19 -625*SH010458_bit_10 -1250*SH010458_bit_9 -2500*SH010458_bit_8 -5000*SH010458_bit_7 -10000*SH010458_bit_6 -20000*SH010458_bit_5 -40000*SH010458_bit_4 -80000*SH010458_bit_3 -160000*SH010458_bit_2 -320000*SH010458_bit_1 -640000*SH010458_bit0 -1280000*SH010458_bit1 -2560000*SH010458_bit2 -5120000*SH010458_bit3 -10240000*SH010458_bit4 -20480000*SH010458_bit5 -40960000*SH010458_bit6 -81920000*SH010458_bit7 -163840000*SH010458_bit8 -327680000*SH010458_bit9 -655360000*SH010458_bit10 -1310720000*SH010458_bit11 -2621440000*SH010458_bit12 -5242880000*SH010458_bit13 -10485760000*SH010458_bit14 -20971520000*SH010458_bit15 -41943040000*SH010458_bit16 -83886080000*SH010458_bit17 -167772160000*SH010458_bit18 -335544320000*SH010458_bit19 -625*SH010460_bit_10 -1250*SH010460_bit_9 -2500*SH010460_bit_8 -5000*SH010460_bit_7 -10000*SH010460_bit_6 -20000*SH010460_bit_5 -40000*SH010460_bit_4 -80000*SH010460_bit_3 -160000*SH010460_bit_2 -320000*SH010460_bit_1 -640000*SH010460_bit0 -1280000*SH010460_bit1 -2560000*SH010460_bit2 -5120000*SH010460_bit3 -10240000*SH010460_bit4 -20480000*SH010460_bit5 -40960000*SH010460_bit6 -81920000*SH010460_bit7 -163840000*SH010460_bit8 -327680000*SH010460_bit9 -655360000*SH010460_bit10 -1310720000*SH010460_bit11 -2621440000*SH010460_bit12 -5242880000*SH010460_bit13 -10485760000*SH010460_bit14 -20971520000*SH010460_bit15 -41943040000*SH010460_bit16 -83886080000*SH010460_bit17 -167772160000*SH010460_bit18 -335544320000*SH010460_bit19 -625*SH010464_bit_10 -1250*SH010464_bit_9 -2500*SH010464_bit_8 -5000*SH010464_bit_7 -10000*SH010464_bit_6 -20000*SH010464_bit_5 -40000*SH010464_bit_4 -80000*SH010464_bit_3 -160000*SH010464_bit_2 -320000*SH010464_bit_1 -640000*SH010464_bit0 -1280000*SH010464_bit1 -2560000*SH010464_bit2 -5120000*SH010464_bit3 -10240000*SH010464_bit4 -20480000*SH010464_bit5 -40960000*SH010464_bit6 -81920000*SH010464_bit7 -163840000*SH010464_bit8 -327680000*SH010464_bit9 -655360000*SH010464_bit10 -1310720000*SH010464_bit11 -2621440000*SH010464_bit12 -5242880000*SH010464_bit13 -10485760000*SH010464_bit14 -20971520000*SH010464_bit15 -41943040000*SH010464_bit16 -83886080000*SH010464_bit17 -167772160000*SH010464_bit18 -335544320000*SH010464_bit19 -625*SH010467_bit_10 -1250*SH010467_bit_9 -2500*SH010467_bit_8 -5000*SH010467_bit_7 -10000*SH010467_bit_6 -20000*SH010467_bit_5 -40000*SH010467_bit_4 -80000*SH010467_bit_3 -160000*SH010467_bit_2 -320000*SH010467_bit_1 -640000*SH010467_bit0 -1280000*SH010467_bit1 -2560000*SH010467_bit2 -5120000*SH010467_bit3 -10240000*SH010467_bit4 -20480000*SH010467_bit5 -40960000*SH010467_bit6 -81920000*SH010467_bit7 -163840000*SH010467_bit8 -327680000*SH010467_bit9 -655360000*SH010467_bit10 -1310720000*SH010467_bit11 -2621440000*SH010467_bit12 -5242880000*SH010467_bit13 -10485760000*SH010467_bit14 -20971520000*SH010467_bit15 -41943040000*SH010467_bit16 -83886080000*SH010467_bit17 -167772160000*SH010467_bit18 -335544320000*SH010467_bit19 -625*SH010471_bit_10 -1250*SH010471_bit_9 -2500*SH010471_bit_8 -5000*SH010471_bit_7 -10000*SH010471_bit_6 -20000*SH010471_bit_5 -40000*SH010471_bit_4 -80000*SH010471_bit_3 -160000*SH010471_bit_2 -320000*SH010471_bit_1 -640000*SH010471_bit0 -1280000*SH010471_bit1 -2560000*SH010471_bit2 -5120000*SH010471_bit3 -10240000*SH010471_bit4 -20480000*SH010471_bit5 -40960000*SH010471_bit6 -81920000*SH010471_bit7 -163840000*SH010471_bit8 -327680000*SH010471_bit9 -655360000*SH010471_bit10 -1310720000*SH010471_bit11 -2621440000*SH010471_bit12 -5242880000*SH010471_bit13 -10485760000*SH010471_bit14 -20971520000*SH010471_bit15 -41943040000*SH010471_bit16 -83886080000*SH010471_bit17 -167772160000*SH010471_bit18 -335544320000*SH010471_bit19 -625*SH010473_bit_10 -1250*SH010473_bit_9 -2500*SH010473_bit_8 -5000*SH010473_bit_7 -10000*SH010473_bit_6 -20000*SH010473_bit_5 -40000*SH010473_bit_4 -80000*SH010473_bit_3 -160000*SH010473_bit_2 -320000*SH010473_bit_1 -640000*SH010473_bit0 -1280000*SH010473_bit1 -2560000*SH010473_bit2 -5120000*SH010473_bit3 -10240000*SH010473_bit4 -20480000*SH010473_bit5 -40960000*SH010473_bit6 -81920000*SH010473_bit7 -163840000*SH010473_bit8 -327680000*SH010473_bit9 -655360000*SH010473_bit10 -1310720000*SH010473_bit11 -2621440000*SH010473_bit12 -5242880000*SH010473_bit13 -10485760000*SH010473_bit14 -20971520000*SH010473_bit15 -41943040000*SH010473_bit16 -83886080000*SH010473_bit17 -167772160000*SH010473_bit18 -335544320000*SH010473_bit19 -625*SH010477_bit_10 -1250*SH010477_bit_9 -2500*SH010477_bit_8 -5000*SH010477_bit_7 -10000*SH010477_bit_6 -20000*SH010477_bit_5 -40000*SH010477_bit_4 -80000*SH010477_bit_3 -160000*SH010477_bit_2 -320000*SH010477_bit_1 -640000*SH010477_bit0 -1280000*SH010477_bit1 -2560000*SH010477_bit2 -5120000*SH010477_bit3 -10240000*SH010477_bit4 -20480000*SH010477_bit5 -40960000*SH010477_bit6 -81920000*SH010477_bit7 -163840000*SH010477_bit8 -327680000*SH010477_bit9 -655360000*SH010477_bit10 -1310720000*SH010477_bit11 -2621440000*SH010477_bit12 -5242880000*SH010477_bit13 -10485760000*SH010477_bit14 -20971520000*SH010477_bit15 -41943040000*SH010477_bit16 -83886080000*SH010477_bit17 -167772160000*SH010477_bit18 -335544320000*SH010477_bit19 -625*SH010478_bit_10 -1250*SH010478_bit_9 -2500*SH010478_bit_8 -5000*SH010478_bit_7 -10000*SH010478_bit_6 -20000*SH010478_bit_5 -40000*SH010478_bit_4 -80000*SH010478_bit_3 -160000*SH010478_bit_2 -320000*SH010478_bit_1 -640000*SH010478_bit0 -1280000*SH010478_bit1 -2560000*SH010478_bit2 -5120000*SH010478_bit3 -10240000*SH010478_bit4 -20480000*SH010478_bit5 -40960000*SH010478_bit6 -81920000*SH010478_bit7 -163840000*SH010478_bit8 -327680000*SH010478_bit9 -655360000*SH010478_bit10 -1310720000*SH010478_bit11 -2621440000*SH010478_bit12 -5242880000*SH010478_bit13 -10485760000*SH010478_bit14 -20971520000*SH010478_bit15 -41943040000*SH010478_bit16 -83886080000*SH010478_bit17 -167772160000*SH010478_bit18 -335544320000*SH010478_bit19 -625*SH010480_bit_10 -1250*SH010480_bit_9 -2500*SH010480_bit_8 -5000*SH010480_bit_7 -10000*SH010480_bit_6 -20000*SH010480_bit_5 -40000*SH010480_bit_4 -80000*SH010480_bit_3 -160000*SH010480_bit_2 -320000*SH010480_bit_1 -640000*SH010480_bit0 -1280000*SH010480_bit1 -2560000*SH010480_bit2 -5120000*SH010480_bit3 -10240000*SH010480_bit4 -20480000*SH010480_bit5 -40960000*SH010480_bit6 -81920000*SH010480_bit7 -163840000*SH010480_bit8 -327680000*SH010480_bit9 -655360000*SH010480_bit10 -1310720000*SH010480_bit11 -2621440000*SH010480_bit12 -5242880000*SH010480_bit13 -10485760000*SH010480_bit14 -20971520000*SH010480_bit15 -41943040000*SH010480_bit16 -83886080000*SH010480_bit17 -167772160000*SH010480_bit18 -335544320000*SH010480_bit19 -625*SH010482_bit_10 -1250*SH010482_bit_9 -2500*SH010482_bit_8 -5000*SH010482_bit_7 -10000*SH010482_bit_6 -20000*SH010482_bit_5 -40000*SH010482_bit_4 -80000*SH010482_bit_3 -160000*SH010482_bit_2 -320000*SH010482_bit_1 -640000*SH010482_bit0 -1280000*SH010482_bit1 -2560000*SH010482_bit2 -5120000*SH010482_bit3 -10240000*SH010482_bit4 -20480000*SH010482_bit5 -40960000*SH010482_bit6 -81920000*SH010482_bit7 -163840000*SH010482_bit8 -327680000*SH010482_bit9 -655360000*SH010482_bit10 -1310720000*SH010482_bit11 -2621440000*SH010482_bit12 -5242880000*SH010482_bit13 -10485760000*SH010482_bit14 -20971520000*SH010482_bit15 -41943040000*SH010482_bit16 -83886080000*SH010482_bit17 -167772160000*SH010482_bit18 -335544320000*SH010482_bit19 -625*SH010483_bit_10 -1250*SH010483_bit_9 -2500*SH010483_bit_8 -5000*SH010483_bit_7 -10000*SH010483_bit_6 -20000*SH010483_bit_5 -40000*SH010483_bit_4 -80000*SH010483_bit_3 -160000*SH010483_bit_2 -320000*SH010483_bit_1 -640000*SH010483_bit0 -1280000*SH010483_bit1 -2560000*SH010483_bit2 -5120000*SH010483_bit3 -10240000*SH010483_bit4 -20480000*SH010483_bit5 -40960000*SH010483_bit6 -81920000*SH010483_bit7 -163840000*SH010483_bit8 -327680000*SH010483_bit9 -655360000*SH010483_bit10 -1310720000*SH010483_bit11 -2621440000*SH010483_bit12 -5242880000*SH010483_bit13 -10485760000*SH010483_bit14 -20971520000*SH010483_bit15 -41943040000*SH010483_bit16 -83886080000*SH010483_bit17 -167772160000*SH010483_bit18 -335544320000*SH010483_bit19 -625*SH010484_bit_10 -1250*SH010484_bit_9 -2500*SH010484_bit_8 -5000*SH010484_bit_7 -10000*SH010484_bit_6 -20000*SH010484_bit_5 -40000*SH010484_bit_4 -80000*SH010484_bit_3 -160000*SH010484_bit_2 -320000*SH010484_bit_1 -640000*SH010484_bit0 -1280000*SH010484_bit1 -2560000*SH010484_bit2 -5120000*SH010484_bit3 -10240000*SH010484_bit4 -20480000*SH010484_bit5 -40960000*SH010484_bit6 -81920000*SH010484_bit7 -163840000*SH010484_bit8 -327680000*SH010484_bit9 -655360000*SH010484_bit10 -1310720000*SH010484_bit11 -2621440000*SH010484_bit12 -5242880000*SH010484_bit13 -10485760000*SH010484_bit14 -20971520000*SH010484_bit15 -41943040000*SH010484_bit16 -83886080000*SH010484_bit17 -167772160000*SH010484_bit18 -335544320000*SH010484_bit19 = +915872;
c Cannot parse input file name: /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-ship04s.opb
s UNKNOWN
c Exit Code: 0
c Total time: 556.597 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.91 0.97 0.96 2/55 30411
Raw data (stat): 30411 (runsolver) R 30410 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 850560653 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0001 s]
Raw data (loadavg): 0.93 0.97 0.96 2/55 30411
Raw data (stat): 30411 (bsolo_lpr_cuts-) R 30410 8378 8377 0 -1 0 940 0 0 0 995 2 0 0 25 0 1 0 850560653 15810560 860 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3860 860 1111 63 0 3797 0
vsize: 15440
[startup+20.0009 s]
Raw data (loadavg): 0.94 0.97 0.96 2/55 30411
Raw data (stat): 30411 (bsolo_lpr_cuts-) R 30410 8378 8377 0 -1 0 1154 0 0 0 1995 2 0 0 25 0 1 0 850560653 16687104 1074 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4074 1074 1111 63 0 4011 0
vsize: 16296
[startup+30.0007 s]
Raw data (loadavg): 0.95 0.97 0.96 2/55 30411
Raw data (stat): 30411 (bsolo_lpr_cuts-) R 30410 8378 8377 0 -1 0 1385 0 0 0 2994 3 0 0 25 0 1 0 850560653 17702912 1305 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4322 1305 1111 63 0 4259 0
vsize: 17288
[startup+40.0005 s]
Raw data (loadavg): 0.95 0.97 0.96 2/55 30411
Raw data (stat): 30411 (bsolo_lpr_cuts-) R 30410 8378 8377 0 -1 0 1619 0 0 0 3994 3 0 0 25 0 1 0 850560653 18591744 1539 4294967295 134512640 134716908 3221224560 3221221388 1077254531 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4539 1539 1111 63 0 4476 0
vsize: 18156
[startup+50.0013 s]
Raw data (loadavg): 0.96 0.97 0.96 2/55 30411
Raw data (stat): 30411 (bsolo_lpr_cuts-) R 30410 8378 8377 0 -1 0 1852 0 0 0 4994 4 0 0 25 0 1 0 850560653 19644416 1772 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4796 1772 1111 63 0 4733 0
vsize: 19184
[startup+60.001 s]
Raw data (loadavg): 0.97 0.97 0.96 2/55 30411
Raw data (stat): 30411 (bsolo_lpr_cuts-) R 30410 8378 8377 0 -1 0 2082 0 0 0 5994 4 0 0 25 0 1 0 850560653 20545536 2002 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5016 2002 1111 63 0 4953 0
vsize: 20064
[startup+70.0019 s]
Raw data (loadavg): 0.97 0.97 0.96 2/55 30411
Raw data (stat): 30411 (bsolo_lpr_cuts-) R 30410 8378 8377 0 -1 0 2323 0 0 0 6993 5 0 0 25 0 1 0 850560653 21602304 2243 4294967295 134512640 134716908 3221224560 3221222912 134567410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5274 2243 1111 63 0 5211 0
vsize: 21096
[startup+80.0026 s]
Raw data (loadavg): 0.98 0.97 0.96 2/55 30411
Raw data (stat): 30411 (bsolo_lpr_cuts-) R 30410 8378 8377 0 -1 0 2559 0 0 0 7993 5 0 0 25 0 1 0 850560653 22503424 2479 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5494 2479 1111 63 0 5431 0
vsize: 21976
[startup+90.0027 s]
Raw data (loadavg): 0.98 0.97 0.96 2/55 30411
Raw data (stat): 30411 (bsolo_lpr_cuts-) R 30410 8378 8377 0 -1 0 2807 0 0 0 8993 6 0 0 25 0 1 0 850560653 23543808 2727 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5748 2727 1111 63 0 5685 0
vsize: 22992
[startup+100.003 s]
Raw data (loadavg): 0.98 0.97 0.96 2/55 30411
Raw data (stat): 30411 (bsolo_lpr_cuts-) R 30410 8378 8377 0 -1 0 3043 0 0 0 9993 6 0 0 25 0 1 0 850560653 24444928 2963 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5968 2963 1111 63 0 5905 0
vsize: 23872
[startup+110.003 s]
Raw data (loadavg): 0.98 0.97 0.96 2/55 30411
Raw data (stat): 30411 (bsolo_lpr_cuts-) R 30410 8378 8377 0 -1 0 3294 0 0 0 10992 7 0 0 25 0 1 0 850560653 25501696 3214 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6226 3214 1111 63 0 6163 0
vsize: 24904
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 30411
Raw data (stat): 30411 (bsolo_lpr_cuts-) R 30410 8378 8377 0 -1 0 3536 0 0 0 11992 7 0 0 25 0 1 0 850560653 26550272 3456 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6482 3456 1111 63 0 6419 0
vsize: 25928
[startup+130.004 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 30411
Raw data (stat): 30411 (bsolo_lpr_cuts-) R 30410 8378 8377 0 -1 0 3788 0 0 0 12992 7 0 0 25 0 1 0 850560653 27574272 3708 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6732 3708 1111 63 0 6669 0
vsize: 26928
[startup+140.003 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 30411
Raw data (stat): 30411 (bsolo_lpr_cuts-) R 30410 8378 8377 0 -1 0 4038 0 0 0 13991 8 0 0 25 0 1 0 850560653 28626944 3958 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6989 3958 1111 63 0 6926 0
vsize: 27956
[startup+150.004 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 30411
Raw data (stat): 30411 (bsolo_lpr_cuts-) R 30410 8378 8377 0 -1 0 4297 0 0 0 14991 8 0 0 25 0 1 0 850560653 29683712 4217 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7247 4217 1111 63 0 7184 0
vsize: 28988
[startup+160.004 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 30411
Raw data (stat): 30411 (bsolo_lpr_cuts-) R 30410 8378 8377 0 -1 0 4561 0 0 0 15991 9 0 0 25 0 1 0 850560653 30740480 4481 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7505 4481 1111 63 0 7442 0
vsize: 30020
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 30411
Raw data (stat): 30411 (bsolo_lpr_cuts-) R 30410 8378 8377 0 -1 0 4836 0 0 0 16991 9 0 0 25 0 1 0 850560653 31825920 4756 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7770 4756 1111 63 0 7707 0
vsize: 31080
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 30411
Raw data (stat): 30411 (bsolo_lpr_cuts-) R 30410 8378 8377 0 -1 0 5101 0 0 0 17991 10 0 0 25 0 1 0 850560653 33030144 5021 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8064 5021 1111 63 0 8001 0
vsize: 32256
[startup+190.004 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 30411
Raw data (stat): 30411 (bsolo_lpr_cuts-) R 30410 8378 8377 0 -1 0 5368 0 0 0 18990 10 0 0 25 0 1 0 850560653 34082816 5288 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8321 5288 1111 63 0 8258 0
vsize: 33284
[startup+200.004 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 30411
Raw data (stat): 30411 (bsolo_lpr_cuts-) R 30410 8378 8377 0 -1 0 5641 0 0 0 19990 10 0 0 25 0 1 0 850560653 35139584 5561 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8579 5561 1111 63 0 8516 0
vsize: 34316
[startup+210.004 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 30411
Raw data (stat): 30411 (bsolo_lpr_cuts-) R 30410 8378 8377 0 -1 0 5914 0 0 0 20989 12 0 0 25 0 1 0 850560653 36343808 5834 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8873 5834 1111 63 0 8810 0
vsize: 35492
[startup+220.005 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 30411
Raw data (stat): 30411 (bsolo_lpr_cuts-) R 30410 8378 8377 0 -1 0 6201 0 0 0 21989 12 0 0 25 0 1 0 850560653 37396480 6121 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9130 6121 1111 63 0 9067 0
vsize: 36520
[startup+230.005 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 30411
Raw data (stat): 30411 (bsolo_lpr_cuts-) R 30410 8378 8377 0 -1 0 6488 0 0 0 22988 13 0 0 25 0 1 0 850560653 38596608 6408 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9423 6408 1111 63 0 9360 0
vsize: 37692
[startup+240.005 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 30411
Raw data (stat): 30411 (bsolo_lpr_cuts-) R 30410 8378 8377 0 -1 0 6792 0 0 0 23987 14 0 0 25 0 1 0 850560653 39804928 6712 4294967295 134512640 134716908 3221224560 3221222428 1077270241 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9718 6712 1111 63 0 9655 0
vsize: 38872
[startup+250.005 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 30411
Raw data (stat): 30411 (bsolo_lpr_cuts-) R 30410 8378 8377 0 -1 0 7093 0 0 0 24987 14 0 0 25 0 1 0 850560653 41156608 7013 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10048 7013 1111 63 0 9985 0
vsize: 40192
[startup+260.005 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 30411
Raw data (stat): 30411 (bsolo_lpr_cuts-) R 30410 8378 8377 0 -1 0 7404 0 0 0 25987 15 0 0 25 0 1 0 850560653 42356736 7324 4294967295 134512640 134716908 3221224560 3221222788 1077414399 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10341 7324 1111 63 0 10278 0
vsize: 41364
[startup+270.006 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 30411
Raw data (stat): 30411 (bsolo_lpr_cuts-) R 30410 8378 8377 0 -1 0 7714 0 0 0 26987 15 0 0 25 0 1 0 850560653 43683840 7634 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10665 7634 1111 63 0 10602 0
vsize: 42660
[startup+280.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 30411
Raw data (stat): 30411 (bsolo_lpr_cuts-) R 30410 8378 8377 0 -1 0 8023 0 0 0 27986 16 0 0 25 0 1 0 850560653 44888064 7943 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10959 7943 1111 63 0 10896 0
vsize: 43836
[startup+290.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 30411
Raw data (stat): 30411 (bsolo_lpr_cuts-) R 30410 8378 8377 0 -1 0 8348 0 0 0 28985 17 0 0 25 0 1 0 850560653 46247936 8268 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11291 8268 1111 63 0 11228 0
vsize: 45164
[startup+300.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 30411
Raw data (stat): 30411 (bsolo_lpr_cuts-) R 30410 8378 8377 0 -1 0 8696 0 0 0 29985 17 0 0 25 0 1 0 850560653 47710208 8616 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11648 8616 1111 63 0 11585 0
vsize: 46592
[startup+310.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 30411
Raw data (stat): 30411 (bsolo_lpr_cuts-) R 30410 8378 8377 0 -1 0 9028 0 0 0 30984 18 0 0 25 0 1 0 850560653 49176576 8948 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12006 8948 1111 63 0 11943 0
vsize: 48024
[startup+320.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 30411
Raw data (stat): 30411 (bsolo_lpr_cuts-) R 30410 8378 8377 0 -1 0 9374 0 0 0 31983 19 0 0 25 0 1 0 850560653 50528256 9294 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12336 9294 1111 63 0 12273 0
vsize: 49344
[startup+330.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 30411
Raw data (stat): 30411 (bsolo_lpr_cuts-) R 30410 8378 8377 0 -1 0 9723 0 0 0 32983 20 0 0 25 0 1 0 850560653 52006912 9643 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12697 9643 1111 63 0 12634 0
vsize: 50788
[startup+340.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 30411
Raw data (stat): 30411 (bsolo_lpr_cuts-) R 30410 8378 8377 0 -1 0 10084 0 0 0 33983 20 0 0 25 0 1 0 850560653 53358592 10004 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13027 10004 1111 63 0 12964 0
vsize: 52108
[startup+350.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 30411
Raw data (stat): 30411 (bsolo_lpr_cuts-) R 30410 8378 8377 0 -1 0 10444 0 0 0 34982 21 0 0 25 0 1 0 850560653 54865920 10364 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13395 10364 1111 63 0 13332 0
vsize: 53580
[startup+360.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 30411
Raw data (stat): 30411 (bsolo_lpr_cuts-) R 30410 8378 8377 0 -1 0 10813 0 0 0 35981 22 0 0 25 0 1 0 850560653 56373248 10733 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13763 10733 1111 63 0 13700 0
vsize: 55052
[startup+370.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 30411
Raw data (stat): 30411 (bsolo_lpr_cuts-) R 30410 8378 8377 0 -1 0 11191 0 0 0 36981 23 0 0 25 0 1 0 850560653 57872384 11111 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14129 11111 1111 63 0 14066 0
vsize: 56516
[startup+380.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 30411
Raw data (stat): 30411 (bsolo_lpr_cuts-) R 30410 8378 8377 0 -1 0 11581 0 0 0 37980 24 0 0 25 0 1 0 850560653 59527168 11501 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14533 11501 1111 63 0 14470 0
vsize: 58132
[startup+390.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 30411
Raw data (stat): 30411 (bsolo_lpr_cuts-) R 30410 8378 8377 0 -1 0 11993 0 0 0 38979 25 0 0 25 0 1 0 850560653 61186048 11913 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14938 11913 1111 63 0 14875 0
vsize: 59752
[startup+400.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 30411
Raw data (stat): 30411 (bsolo_lpr_cuts-) R 30410 8378 8377 0 -1 0 12421 0 0 0 39978 26 0 0 25 0 1 0 850560653 62992384 12341 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15379 12341 1111 63 0 15316 0
vsize: 61516
[startup+410.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 30411
Raw data (stat): 30411 (bsolo_lpr_cuts-) R 30410 8378 8377 0 -1 0 12865 0 0 0 40978 27 0 0 25 0 1 0 850560653 64798720 12785 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15820 12785 1111 63 0 15757 0
vsize: 63280
[startup+420.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 30411
Raw data (stat): 30411 (bsolo_lpr_cuts-) R 30410 8378 8377 0 -1 0 13344 0 0 0 41977 28 0 0 25 0 1 0 850560653 66752512 13264 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16297 13264 1111 63 0 16234 0
vsize: 65188
[startup+430.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 30411
Raw data (stat): 30411 (bsolo_lpr_cuts-) R 30410 8378 8377 0 -1 0 13854 0 0 0 42976 29 0 0 25 0 1 0 850560653 68861952 13774 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16812 13774 1111 63 0 16749 0
vsize: 67248
[startup+440.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 30411
Raw data (stat): 30411 (bsolo_lpr_cuts-) R 30410 8378 8377 0 -1 0 14371 0 0 0 43975 31 0 0 25 0 1 0 850560653 70967296 14291 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17326 14291 1111 63 0 17263 0
vsize: 69304
[startup+450.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 30411
Raw data (stat): 30411 (bsolo_lpr_cuts-) R 30410 8378 8377 0 -1 0 14908 0 0 0 44974 31 0 0 25 0 1 0 850560653 73072640 14828 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17840 14828 1111 63 0 17777 0
vsize: 71360
[startup+460.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 30411
Raw data (stat): 30411 (bsolo_lpr_cuts-) R 30410 8378 8377 0 -1 0 15462 0 0 0 45973 32 0 0 25 0 1 0 850560653 75304960 15382 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18385 15382 1111 63 0 18322 0
vsize: 73540
[startup+470.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 30411
Raw data (stat): 30411 (bsolo_lpr_cuts-) R 30410 8378 8377 0 -1 0 16035 0 0 0 46972 33 0 0 25 0 1 0 850560653 77709312 15955 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18972 15955 1111 63 0 18909 0
vsize: 75888
[startup+480.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 30411
Raw data (stat): 30411 (bsolo_lpr_cuts-) R 30410 8378 8377 0 -1 0 16651 0 0 0 47972 34 0 0 25 0 1 0 850560653 80478208 16571 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19648 16571 1111 63 0 19585 0
vsize: 78592
[startup+490.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 30411
Raw data (stat): 30411 (bsolo_lpr_cuts-) R 30410 8378 8377 0 -1 0 17279 0 0 0 48970 36 0 0 25 0 1 0 850560653 83009536 17199 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20266 17199 1111 63 0 20203 0
vsize: 81064
[startup+500.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 30411
Raw data (stat): 30411 (bsolo_lpr_cuts-) R 30410 8378 8377 0 -1 0 17943 0 0 0 49969 37 0 0 25 0 1 0 850560653 85716992 17863 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20927 17863 1111 63 0 20864 0
vsize: 83708
[startup+510.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 30411
Raw data (stat): 30411 (bsolo_lpr_cuts-) R 30410 8378 8377 0 -1 0 18636 0 0 0 50968 38 0 0 25 0 1 0 850560653 88576000 18556 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21625 18556 1111 63 0 21562 0
vsize: 86500
[startup+520.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 30411
Raw data (stat): 30411 (bsolo_lpr_cuts-) R 30410 8378 8377 0 -1 0 19358 0 0 0 51967 39 0 0 25 0 1 0 850560653 91553792 19278 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22352 19278 1111 63 0 22289 0
vsize: 89408
[startup+530.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 30411
Raw data (stat): 30411 (bsolo_lpr_cuts-) R 30410 8378 8377 0 -1 0 20127 0 0 0 52965 41 0 0 25 0 1 0 850560653 94715904 20047 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23124 20047 1111 63 0 23061 0
vsize: 92496
[startup+540.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 30411
Raw data (stat): 30411 (bsolo_lpr_cuts-) R 30410 8378 8377 0 -1 0 20937 0 0 0 53964 43 0 0 25 0 1 0 850560653 98021376 20857 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23931 20857 1111 63 0 23868 0
vsize: 95724
[startup+550.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 30411
Raw data (stat): 30411 (bsolo_lpr_cuts-) R 30410 8378 8377 0 -1 0 21806 0 0 0 54963 44 0 0 25 0 1 0 850560653 101486592 21726 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24777 21726 1111 63 0 24714 0
vsize: 99108
[startup+556.582 s]
Raw data (loadavg): 0.99 0.97 0.96 1/54 30411
Raw data (stat): 30411 (bsolo_lpr_cuts-) R 30410 8378 8377 0 -1 0 21806 0 0 0 54963 44 0 0 25 0 1 0 850560653 101486592 21726 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24777 21726 1111 63 0 24714 0
vsize: 0

Child status: 0
Real time (s): 556.582
CPU time (s): 556.645
CPU user time (s): 556.142
CPU system time (s): 0.502923
CPU usage (%): 100.011
Max. virtual memory (Kb): 99108
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####