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 28912

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc13 THE 2005-05-25 04:17:41 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=11417 boxname=wulflinc13 idbench=879 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  0b425344c538e99a27247a487d2e5952  /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-20-10-ship04s.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-20-10-ship04s.opb
IDLAUNCH: 11417
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
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.242
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:        715072 kB
Buffers:         30076 kB
Cached:         268856 kB
SwapCached:        608 kB
Active:          50476 kB
Inactive:       251064 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        714820 kB
SwapTotal:     2097136 kB
SwapFree:      2096148 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6152 kB
Slab:            12468 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 04:26:57 (client local time) WITH STATUS 0 IN 555.652 SECONDS
stats: 11417 7 555.652 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
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/wulflinc13/normalized-mps-v2-20-10-ship04s.opb
s UNKNOWN
c Exit Code: 0
c Total time: 555.601 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
Raw data (loadavg): 0.91 0.95 0.90 2/54 8902
Raw data (stat): 8902 (runsolver) R 8901 1269 1268 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 777720654 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0004 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 8902
Raw data (stat): 8902 (bsolo_mis) R 8901 1269 1268 0 -1 0 783 0 0 0 997 2 0 0 25 0 1 0 777720654 15790080 761 4294967295 134512640 134714540 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3855 761 1111 63 0 3792 0
vsize: 15420
[startup+20.0007 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 8902
Raw data (stat): 8902 (bsolo_mis) R 8901 1269 1268 0 -1 0 1003 0 0 0 1996 2 0 0 25 0 1 0 777720654 16678912 981 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4072 981 1111 63 0 4009 0
vsize: 16288
[startup+30.0013 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 8902
Raw data (stat): 8902 (bsolo_mis) R 8901 1269 1268 0 -1 0 1240 0 0 0 2996 3 0 0 25 0 1 0 777720654 17690624 1218 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4319 1218 1111 63 0 4256 0
vsize: 17276
[startup+40.0014 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 8902
Raw data (stat): 8902 (bsolo_mis) R 8901 1269 1268 0 -1 0 1469 0 0 0 3996 3 0 0 25 0 1 0 777720654 18571264 1447 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4534 1447 1111 63 0 4471 0
vsize: 18136
[startup+50.0017 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 8902
Raw data (stat): 8902 (bsolo_mis) R 8901 1269 1268 0 -1 0 1715 0 0 0 4995 4 0 0 25 0 1 0 777720654 19582976 1693 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4781 1693 1111 63 0 4718 0
vsize: 19124
[startup+60.0013 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 8902
Raw data (stat): 8902 (bsolo_mis) R 8901 1269 1268 0 -1 0 1953 0 0 0 5995 4 0 0 25 0 1 0 777720654 20631552 1931 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5037 1931 1111 63 0 4974 0
vsize: 20148
[startup+70.007 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 8902
Raw data (stat): 8902 (bsolo_mis) R 8901 1269 1268 0 -1 0 2202 0 0 0 6995 5 0 0 25 0 1 0 777720654 21655552 2180 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5287 2180 1111 63 0 5224 0
vsize: 21148
[startup+80.0079 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 8902
Raw data (stat): 8902 (bsolo_mis) R 8901 1269 1268 0 -1 0 2451 0 0 0 7994 6 0 0 25 0 1 0 777720654 22556672 2429 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5507 2429 1111 63 0 5444 0
vsize: 22028
[startup+90.0073 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 8902
Raw data (stat): 8902 (bsolo_mis) R 8901 1269 1268 0 -1 0 2708 0 0 0 8993 7 0 0 25 0 1 0 777720654 23748608 2686 4294967295 134512640 134714540 3221224592 3221221276 1077359302 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5798 2686 1111 63 0 5735 0
vsize: 23192
[startup+100.007 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 8902
Raw data (stat): 8902 (bsolo_mis) R 8901 1269 1268 0 -1 0 2958 0 0 0 9992 7 0 0 25 0 1 0 777720654 24649728 2936 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6018 2936 1111 63 0 5955 0
vsize: 24072
[startup+110.021 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 8902
Raw data (stat): 8902 (bsolo_mis) R 8901 1269 1268 0 -1 0 3216 0 0 0 10994 8 0 0 25 0 1 0 777720654 25706496 3194 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6276 3194 1111 63 0 6213 0
vsize: 25104
[startup+120.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8902
Raw data (stat): 8902 (bsolo_mis) R 8901 1269 1268 0 -1 0 3475 0 0 0 11994 9 0 0 25 0 1 0 777720654 26755072 3453 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6532 3453 1111 63 0 6469 0
vsize: 26128
[startup+130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8902
Raw data (stat): 8902 (bsolo_mis) R 8901 1269 1268 0 -1 0 3741 0 0 0 12993 10 0 0 25 0 1 0 777720654 27934720 3719 4294967295 134512640 134714540 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6820 3719 1111 63 0 6757 0
vsize: 27280
[startup+140.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8902
Raw data (stat): 8902 (bsolo_mis) R 8901 1269 1268 0 -1 0 4005 0 0 0 13993 11 0 0 25 0 1 0 777720654 28987392 3983 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7077 3983 1111 63 0 7014 0
vsize: 28308
[startup+150.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8902
Raw data (stat): 8902 (bsolo_mis) R 8901 1269 1268 0 -1 0 4271 0 0 0 14993 11 0 0 25 0 1 0 777720654 30040064 4249 4294967295 134512640 134714540 3221224592 3221222764 1076647876 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7334 4249 1111 63 0 7271 0
vsize: 29336
[startup+160.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8902
Raw data (stat): 8902 (bsolo_mis) R 8901 1269 1268 0 -1 0 4554 0 0 0 15992 12 0 0 25 0 1 0 777720654 31277056 4532 4294967295 134512640 134714540 3221224592 3221222760 1077374049 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7636 4532 1111 63 0 7573 0
vsize: 30544
[startup+170.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8902
Raw data (stat): 8902 (bsolo_mis) R 8901 1269 1268 0 -1 0 4827 0 0 0 16991 13 0 0 25 0 1 0 777720654 32337920 4805 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7895 4805 1111 63 0 7832 0
vsize: 31580
[startup+180.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8902
Raw data (stat): 8902 (bsolo_mis) R 8901 1269 1268 0 -1 0 5107 0 0 0 17991 14 0 0 25 0 1 0 777720654 33538048 5085 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8188 5085 1111 63 0 8125 0
vsize: 32752
[startup+190.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8902
Raw data (stat): 8902 (bsolo_mis) R 8901 1269 1268 0 -1 0 5373 0 0 0 18990 15 0 0 25 0 1 0 777720654 34590720 5351 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8445 5351 1111 63 0 8382 0
vsize: 33780
[startup+200.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8902
Raw data (stat): 8902 (bsolo_mis) R 8901 1269 1268 0 -1 0 5660 0 0 0 19989 16 0 0 25 0 1 0 777720654 35794944 5638 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8739 5638 1111 63 0 8676 0
vsize: 34956
[startup+210.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8902
Raw data (stat): 8902 (bsolo_mis) R 8901 1269 1268 0 -1 0 5955 0 0 0 20988 17 0 0 25 0 1 0 777720654 37003264 5933 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9034 5933 1111 63 0 8971 0
vsize: 36136
[startup+220.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8902
Raw data (stat): 8902 (bsolo_mis) R 8901 1269 1268 0 -1 0 6258 0 0 0 21987 17 0 0 25 0 1 0 777720654 38203392 6236 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9327 6236 1111 63 0 9264 0
vsize: 37308
[startup+230.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8902
Raw data (stat): 8902 (bsolo_mis) R 8901 1269 1268 0 -1 0 6576 0 0 0 22986 18 0 0 25 0 1 0 777720654 39559168 6554 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9658 6554 1111 63 0 9595 0
vsize: 38632
[startup+240.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8902
Raw data (stat): 8902 (bsolo_mis) R 8901 1269 1268 0 -1 0 6892 0 0 0 23986 19 0 0 25 0 1 0 777720654 40763392 6870 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9952 6870 1111 63 0 9889 0
vsize: 39808
[startup+250.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8902
Raw data (stat): 8902 (bsolo_mis) R 8901 1269 1268 0 -1 0 7216 0 0 0 24985 20 0 0 25 0 1 0 777720654 42115072 7194 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10282 7194 1111 63 0 10219 0
vsize: 41128
[startup+260.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8902
Raw data (stat): 8902 (bsolo_mis) R 8901 1269 1268 0 -1 0 7542 0 0 0 25985 20 0 0 25 0 1 0 777720654 43442176 7520 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10606 7520 1111 63 0 10543 0
vsize: 42424
[startup+270.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8902
Raw data (stat): 8902 (bsolo_mis) R 8901 1269 1268 0 -1 0 7872 0 0 0 26984 21 0 0 25 0 1 0 777720654 44793856 7850 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10936 7850 1111 63 0 10873 0
vsize: 43744
[startup+280.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8902
Raw data (stat): 8902 (bsolo_mis) R 8901 1269 1268 0 -1 0 8205 0 0 0 27983 22 0 0 25 0 1 0 777720654 46153728 8183 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11268 8183 1111 63 0 11205 0
vsize: 45072
[startup+290.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8902
Raw data (stat): 8902 (bsolo_mis) R 8901 1269 1268 0 -1 0 8561 0 0 0 28982 23 0 0 25 0 1 0 777720654 47755264 8539 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11659 8539 1111 63 0 11596 0
vsize: 46636
[startup+300.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8902
Raw data (stat): 8902 (bsolo_mis) R 8901 1269 1268 0 -1 0 8900 0 0 0 29982 24 0 0 25 0 1 0 777720654 49082368 8878 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11983 8878 1111 63 0 11920 0
vsize: 47932
[startup+310.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8902
Raw data (stat): 8902 (bsolo_mis) R 8901 1269 1268 0 -1 0 9248 0 0 0 30982 24 0 0 25 0 1 0 777720654 50581504 9226 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12349 9226 1111 63 0 12286 0
vsize: 49396
[startup+320.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8902
Raw data (stat): 8902 (bsolo_mis) R 8901 1269 1268 0 -1 0 9602 0 0 0 31981 25 0 0 25 0 1 0 777720654 52060160 9580 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12710 9580 1111 63 0 12647 0
vsize: 50840
[startup+330.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8902
Raw data (stat): 8902 (bsolo_mis) R 8901 1269 1268 0 -1 0 9963 0 0 0 32981 26 0 0 25 0 1 0 777720654 53415936 9941 4294967295 134512640 134714540 3221224592 3221222820 1077414347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13041 9941 1111 63 0 12978 0
vsize: 52164
[startup+340.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8902
Raw data (stat): 8902 (bsolo_mis) R 8901 1269 1268 0 -1 0 10316 0 0 0 33980 26 0 0 25 0 1 0 777720654 54919168 10294 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13408 10294 1111 63 0 13345 0
vsize: 53632
[startup+350.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8902
Raw data (stat): 8902 (bsolo_mis) R 8901 1269 1268 0 -1 0 10679 0 0 0 34980 27 0 0 25 0 1 0 777720654 56426496 10657 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13776 10657 1111 63 0 13713 0
vsize: 55104
[startup+360.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8902
Raw data (stat): 8902 (bsolo_mis) R 8901 1269 1268 0 -1 0 11049 0 0 0 35980 27 0 0 25 0 1 0 777720654 57933824 11027 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14144 11027 1111 63 0 14081 0
vsize: 56576
[startup+370.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8902
Raw data (stat): 8902 (bsolo_mis) R 8901 1269 1268 0 -1 0 11430 0 0 0 36979 28 0 0 25 0 1 0 777720654 59432960 11408 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14510 11408 1111 63 0 14447 0
vsize: 58040
[startup+380.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8902
Raw data (stat): 8902 (bsolo_mis) R 8901 1269 1268 0 -1 0 11829 0 0 0 37978 29 0 0 25 0 1 0 777720654 61091840 11807 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14915 11807 1111 63 0 14852 0
vsize: 59660
[startup+390.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8902
Raw data (stat): 8902 (bsolo_mis) R 8901 1269 1268 0 -1 0 12235 0 0 0 38979 30 0 0 25 0 1 0 777720654 62746624 12213 4294967295 134512640 134714540 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15319 12213 1111 63 0 15256 0
vsize: 61276
[startup+400.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8902
Raw data (stat): 8902 (bsolo_mis) R 8901 1269 1268 0 -1 0 12649 0 0 0 39978 31 0 0 25 0 1 0 777720654 64405504 12627 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15724 12627 1111 63 0 15661 0
vsize: 62896
[startup+410.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8902
Raw data (stat): 8902 (bsolo_mis) R 8901 1269 1268 0 -1 0 13077 0 0 0 40977 31 0 0 25 0 1 0 777720654 66211840 13055 4294967295 134512640 134714540 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16165 13055 1111 63 0 16102 0
vsize: 64660
[startup+420.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8902
Raw data (stat): 8902 (bsolo_mis) R 8901 1269 1268 0 -1 0 13513 0 0 0 41977 32 0 0 25 0 1 0 777720654 68018176 13491 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16606 13491 1111 63 0 16543 0
vsize: 66424
[startup+430.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8902
Raw data (stat): 8902 (bsolo_mis) R 8901 1269 1268 0 -1 0 13963 0 0 0 42977 32 0 0 25 0 1 0 777720654 69824512 13941 4294967295 134512640 134714540 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17047 13941 1111 63 0 16984 0
vsize: 68188
[startup+440.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8902
Raw data (stat): 8902 (bsolo_mis) R 8901 1269 1268 0 -1 0 14457 0 0 0 43976 33 0 0 25 0 1 0 777720654 71778304 14435 4294967295 134512640 134714540 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17524 14435 1111 63 0 17461 0
vsize: 70096
[startup+450.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8902
Raw data (stat): 8902 (bsolo_mis) R 8901 1269 1268 0 -1 0 14966 0 0 0 44975 34 0 0 25 0 1 0 777720654 73854976 14944 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18031 14944 1111 63 0 17968 0
vsize: 72124
[startup+460.074 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8902
Raw data (stat): 8902 (bsolo_mis) R 8901 1269 1268 0 -1 0 15496 0 0 0 45976 35 0 0 25 0 1 0 777720654 76111872 15474 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18582 15474 1111 63 0 18519 0
vsize: 74328
[startup+470.075 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8902
Raw data (stat): 8902 (bsolo_mis) R 8901 1269 1268 0 -1 0 16033 0 0 0 46976 36 0 0 25 0 1 0 777720654 78217216 16011 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19096 16011 1111 63 0 19033 0
vsize: 76384
[startup+480.075 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8902
Raw data (stat): 8902 (bsolo_mis) R 8901 1269 1268 0 -1 0 16619 0 0 0 47975 37 0 0 25 0 1 0 777720654 80830464 16597 4294967295 134512640 134714540 3221224592 3221222924 1077399560 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19734 16597 1111 63 0 19671 0
vsize: 78936
[startup+490.081 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8902
Raw data (stat): 8902 (bsolo_mis) R 8901 1269 1268 0 -1 0 17244 0 0 0 48974 38 0 0 25 0 1 0 777720654 83513344 17222 4294967295 134512640 134714540 3221224592 3221221308 1077198876 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20389 17222 1111 63 0 20326 0
vsize: 81556
[startup+500.082 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8902
Raw data (stat): 8902 (bsolo_mis) R 8901 1269 1268 0 -1 0 17902 0 0 0 49973 40 0 0 25 0 1 0 777720654 86069248 17880 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21013 17880 1111 63 0 20950 0
vsize: 84052
[startup+510.081 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8902
Raw data (stat): 8902 (bsolo_mis) R 8901 1269 1268 0 -1 0 18594 0 0 0 50972 41 0 0 25 0 1 0 777720654 88928256 18572 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21711 18572 1111 63 0 21648 0
vsize: 86844
[startup+520.082 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8902
Raw data (stat): 8902 (bsolo_mis) R 8901 1269 1268 0 -1 0 19319 0 0 0 51970 42 0 0 25 0 1 0 777720654 91914240 19297 4294967295 134512640 134714540 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22440 19297 1111 63 0 22377 0
vsize: 89760
[startup+530.085 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8902
Raw data (stat): 8902 (bsolo_mis) R 8901 1269 1268 0 -1 0 20078 0 0 0 52970 43 0 0 25 0 1 0 777720654 95072256 20056 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23211 20056 1111 63 0 23148 0
vsize: 92844
[startup+540.084 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8902
Raw data (stat): 8902 (bsolo_mis) R 8901 1269 1268 0 -1 0 20891 0 0 0 53968 45 0 0 25 0 1 0 777720654 98385920 20869 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24020 20869 1111 63 0 23957 0
vsize: 96080
[startup+550.087 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8902
Raw data (stat): 8902 (bsolo_mis) R 8901 1269 1268 0 -1 0 21752 0 0 0 54967 47 0 0 25 0 1 0 777720654 101847040 21730 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24865 21730 1111 63 0 24802 0
vsize: 99460
[startup+555.609 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 8902
Raw data (stat): 8902 (bsolo_mis) R 8901 1269 1268 0 -1 0 21752 0 0 0 54967 47 0 0 25 0 1 0 777720654 101847040 21730 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24865 21730 1111 63 0 24802 0
vsize: 0

Child status: 0
Real time (s): 555.608
CPU time (s): 555.652
CPU user time (s): 555.117
CPU system time (s): 0.534918
CPU usage (%): 100.008
Max. virtual memory (Kb): 99460
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####