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 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc8 THE 2005-05-24 17:02:05 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=11416 boxname=wulflinc8 idbench=879 idsolver=2 numberseed=0 MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7 /oldhome/oroussel/solvers/bsolo_lpr_cuts MD5SUM BENCH: 0b425344c538e99a27247a487d2e5952 /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-20-10-ship04s.opb REAL COMMAND: bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-20-10-ship04s.opb IDLAUNCH: 11416 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.007 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.007 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 564452 kB Buffers: 34612 kB Cached: 413848 kB SwapCached: 0 kB Active: 68632 kB Inactive: 382796 kB HighTotal: 131008 kB HighFree: 2576 kB LowTotal: 903652 kB LowFree: 561876 kB SwapTotal: 2097136 kB SwapFree: 2097136 kB Dirty: 44 kB Writeback: 0 kB Mapped: 7064 kB Slab: 13156 kB Committed_AS: 63732 kB PageTables: 320 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-24 17:11:24 (client local time) WITH STATUS 0 IN 559.076 SECONDS stats: 11416 7 559.076 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/wulflinc8/normalized-mps-v2-20-10-ship04s.opb s UNKNOWN c Exit Code: 0 c Total time: 559.029 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.95 0.97 0.95 2/54 5047 Raw data (stat): 5047 (runsolver) R 5046 3132 3131 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 760094160 1052672 99 4294967295 134512640 135381576 3221224480 3221219692 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.0008 s] Raw data (loadavg): 0.96 0.97 0.95 2/54 5047 Raw data (stat): 5047 (bsolo_lpr_cuts) R 5046 3132 3131 0 -1 0 938 0 0 0 994 3 0 0 25 0 1 0 760094160 15810560 862 4294967295 134512640 134714508 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3860 862 1111 63 0 3797 0 vsize: 15440 [startup+20.0008 s] Raw data (loadavg): 0.96 0.97 0.95 2/54 5047 Raw data (stat): 5047 (bsolo_lpr_cuts) R 5046 3132 3131 0 -1 0 1152 0 0 0 1994 3 0 0 25 0 1 0 760094160 16687104 1076 4294967295 134512640 134714508 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4074 1076 1111 63 0 4011 0 vsize: 16296 [startup+30.0013 s] Raw data (loadavg): 1.05 0.99 0.95 2/54 5047 Raw data (stat): 5047 (bsolo_lpr_cuts) R 5046 3132 3131 0 -1 0 1383 0 0 0 2994 4 0 0 25 0 1 0 760094160 17702912 1307 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4322 1307 1111 63 0 4259 0 vsize: 17288 [startup+40.0011 s] Raw data (loadavg): 1.04 0.99 0.95 2/54 5047 Raw data (stat): 5047 (bsolo_lpr_cuts) R 5046 3132 3131 0 -1 0 1617 0 0 0 3993 4 0 0 25 0 1 0 760094160 18591744 1541 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4539 1541 1111 63 0 4476 0 vsize: 18156 [startup+50.0011 s] Raw data (loadavg): 1.03 0.99 0.95 2/54 5047 Raw data (stat): 5047 (bsolo_lpr_cuts) R 5046 3132 3131 0 -1 0 1850 0 0 0 4993 4 0 0 25 0 1 0 760094160 19644416 1774 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4796 1774 1111 63 0 4733 0 vsize: 19184 [startup+60.0016 s] Raw data (loadavg): 1.03 0.99 0.95 2/54 5047 Raw data (stat): 5047 (bsolo_lpr_cuts) R 5046 3132 3131 0 -1 0 2080 0 0 0 5993 5 0 0 25 0 1 0 760094160 20545536 2004 4294967295 134512640 134714508 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5016 2004 1111 63 0 4953 0 vsize: 20064 [startup+70.0074 s] Raw data (loadavg): 1.02 0.99 0.95 2/54 5047 Raw data (stat): 5047 (bsolo_lpr_cuts) R 5046 3132 3131 0 -1 0 2321 0 0 0 6993 5 0 0 25 0 1 0 760094160 21602304 2245 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5274 2245 1111 63 0 5211 0 vsize: 21096 [startup+80.0081 s] Raw data (loadavg): 1.02 0.99 0.95 2/54 5047 Raw data (stat): 5047 (bsolo_lpr_cuts) R 5046 3132 3131 0 -1 0 2557 0 0 0 7993 6 0 0 25 0 1 0 760094160 22503424 2481 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5494 2481 1111 63 0 5431 0 vsize: 21976 [startup+90.0082 s] Raw data (loadavg): 1.02 0.99 0.95 2/54 5047 Raw data (stat): 5047 (bsolo_lpr_cuts) R 5046 3132 3131 0 -1 0 2805 0 0 0 8993 6 0 0 25 0 1 0 760094160 23543808 2729 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5748 2729 1111 63 0 5685 0 vsize: 22992 [startup+100.008 s] Raw data (loadavg): 1.01 0.99 0.95 2/54 5047 Raw data (stat): 5047 (bsolo_lpr_cuts) R 5046 3132 3131 0 -1 0 3041 0 0 0 9993 6 0 0 25 0 1 0 760094160 24444928 2965 4294967295 134512640 134714508 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5968 2965 1111 63 0 5905 0 vsize: 23872 [startup+110.008 s] Raw data (loadavg): 1.01 0.99 0.95 2/54 5047 Raw data (stat): 5047 (bsolo_lpr_cuts) R 5046 3132 3131 0 -1 0 3292 0 0 0 10993 7 0 0 25 0 1 0 760094160 25501696 3216 4294967295 134512640 134714508 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6226 3216 1111 63 0 6163 0 vsize: 24904 [startup+120.009 s] Raw data (loadavg): 1.01 0.99 0.95 2/54 5047 Raw data (stat): 5047 (bsolo_lpr_cuts) R 5046 3132 3131 0 -1 0 3535 0 0 0 11992 7 0 0 25 0 1 0 760094160 26550272 3459 4294967295 134512640 134714508 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6482 3459 1111 63 0 6419 0 vsize: 25928 [startup+130.009 s] Raw data (loadavg): 1.01 0.99 0.95 2/54 5047 Raw data (stat): 5047 (bsolo_lpr_cuts) R 5046 3132 3131 0 -1 0 3786 0 0 0 12992 7 0 0 25 0 1 0 760094160 27574272 3710 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6732 3710 1111 63 0 6669 0 vsize: 26928 [startup+140.009 s] Raw data (loadavg): 1.00 0.99 0.95 2/54 5047 Raw data (stat): 5047 (bsolo_lpr_cuts) R 5046 3132 3131 0 -1 0 4036 0 0 0 13992 8 0 0 25 0 1 0 760094160 28626944 3960 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6989 3960 1111 63 0 6926 0 vsize: 27956 [startup+150.009 s] Raw data (loadavg): 1.00 0.99 0.95 2/54 5047 Raw data (stat): 5047 (bsolo_lpr_cuts) R 5046 3132 3131 0 -1 0 4295 0 0 0 14992 8 0 0 25 0 1 0 760094160 29683712 4219 4294967295 134512640 134714508 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7247 4219 1111 63 0 7184 0 vsize: 28988 [startup+160.009 s] Raw data (loadavg): 1.00 0.99 0.95 2/54 5047 Raw data (stat): 5047 (bsolo_lpr_cuts) R 5046 3132 3131 0 -1 0 4552 0 0 0 15991 9 0 0 25 0 1 0 760094160 30740480 4476 4294967295 134512640 134714508 3221224576 3221222804 1077414407 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7505 4476 1111 63 0 7442 0 vsize: 30020 [startup+170.009 s] Raw data (loadavg): 1.00 0.99 0.95 2/54 5047 Raw data (stat): 5047 (bsolo_lpr_cuts) R 5046 3132 3131 0 -1 0 4821 0 0 0 16991 10 0 0 25 0 1 0 760094160 31825920 4745 4294967295 134512640 134714508 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7770 4745 1111 63 0 7707 0 vsize: 31080 [startup+180.009 s] Raw data (loadavg): 1.00 0.99 0.95 2/54 5047 Raw data (stat): 5047 (bsolo_lpr_cuts) R 5046 3132 3131 0 -1 0 5085 0 0 0 17990 10 0 0 25 0 1 0 760094160 32882688 5009 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8028 5009 1111 63 0 7965 0 vsize: 32112 [startup+190.01 s] Raw data (loadavg): 1.00 0.99 0.95 2/54 5047 Raw data (stat): 5047 (bsolo_lpr_cuts) R 5046 3132 3131 0 -1 0 5351 0 0 0 18990 11 0 0 25 0 1 0 760094160 33931264 5275 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8284 5275 1111 63 0 8221 0 vsize: 33136 [startup+200.009 s] Raw data (loadavg): 1.00 0.99 0.95 2/54 5047 Raw data (stat): 5047 (bsolo_lpr_cuts) R 5046 3132 3131 0 -1 0 5617 0 0 0 19989 12 0 0 25 0 1 0 760094160 35139584 5541 4294967295 134512640 134714508 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8579 5541 1111 63 0 8516 0 vsize: 34316 [startup+210.009 s] Raw data (loadavg): 1.00 0.99 0.95 2/54 5049 Raw data (stat): 5047 (bsolo_lpr_cuts) R 5046 3132 3131 0 -1 0 5883 0 0 0 20988 13 0 0 25 0 1 0 760094160 36192256 5807 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8836 5807 1111 63 0 8773 0 vsize: 35344 [startup+220.01 s] Raw data (loadavg): 1.00 0.99 0.95 2/54 5049 Raw data (stat): 5047 (bsolo_lpr_cuts) R 5046 3132 3131 0 -1 0 6162 0 0 0 21988 13 0 0 25 0 1 0 760094160 37244928 6086 4294967295 134512640 134714508 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9093 6086 1111 63 0 9030 0 vsize: 36372 [startup+230.011 s] Raw data (loadavg): 1.00 0.99 0.95 2/54 5049 Raw data (stat): 5047 (bsolo_lpr_cuts) R 5046 3132 3131 0 -1 0 6436 0 0 0 22988 14 0 0 25 0 1 0 760094160 38445056 6360 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9386 6360 1111 63 0 9323 0 vsize: 37544 [startup+240.023 s] Raw data (loadavg): 1.00 0.99 0.95 2/54 5049 Raw data (stat): 5047 (bsolo_lpr_cuts) R 5046 3132 3131 0 -1 0 6725 0 0 0 23989 14 0 0 25 0 1 0 760094160 39653376 6649 4294967295 134512640 134714508 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9681 6649 1111 63 0 9618 0 vsize: 38724 [startup+250.023 s] Raw data (loadavg): 1.00 0.99 0.95 2/54 5049 Raw data (stat): 5047 (bsolo_lpr_cuts) R 5046 3132 3131 0 -1 0 7005 0 0 0 24988 15 0 0 25 0 1 0 760094160 40710144 6929 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9939 6929 1111 63 0 9876 0 vsize: 39756 [startup+260.024 s] Raw data (loadavg): 1.00 0.99 0.95 2/54 5049 Raw data (stat): 5047 (bsolo_lpr_cuts) R 5046 3132 3131 0 -1 0 7300 0 0 0 25988 15 0 0 25 0 1 0 760094160 41910272 7224 4294967295 134512640 134714508 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10232 7224 1111 63 0 10169 0 vsize: 40928 [startup+270.024 s] Raw data (loadavg): 1.00 0.99 0.95 2/54 5049 Raw data (stat): 5047 (bsolo_lpr_cuts) R 5046 3132 3131 0 -1 0 7593 0 0 0 26988 16 0 0 25 0 1 0 760094160 43081728 7517 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10518 7517 1111 63 0 10455 0 vsize: 42072 [startup+280.024 s] Raw data (loadavg): 1.00 0.99 0.95 2/54 5049 Raw data (stat): 5047 (bsolo_lpr_cuts) R 5046 3132 3131 0 -1 0 7890 0 0 0 27987 17 0 0 25 0 1 0 760094160 44290048 7814 4294967295 134512640 134714508 3221224576 3221223232 134527953 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10813 7814 1111 63 0 10750 0 vsize: 43252 [startup+290.025 s] Raw data (loadavg): 1.00 0.99 0.95 2/54 5049 Raw data (stat): 5047 (bsolo_lpr_cuts) R 5046 3132 3131 0 -1 0 8191 0 0 0 28986 17 0 0 25 0 1 0 760094160 45641728 8115 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11143 8115 1111 63 0 11080 0 vsize: 44572 [startup+300.028 s] Raw data (loadavg): 1.00 0.99 0.95 2/54 5049 Raw data (stat): 5047 (bsolo_lpr_cuts) R 5046 3132 3131 0 -1 0 8500 0 0 0 29987 18 0 0 25 0 1 0 760094160 46845952 8424 4294967295 134512640 134714508 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11437 8424 1111 63 0 11374 0 vsize: 45748 [startup+310.028 s] Raw data (loadavg): 1.00 0.99 0.95 2/54 5049 Raw data (stat): 5047 (bsolo_lpr_cuts) R 5046 3132 3131 0 -1 0 8827 0 0 0 30986 19 0 0 25 0 1 0 760094160 48304128 8751 4294967295 134512640 134714508 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11793 8751 1111 63 0 11730 0 vsize: 47172 [startup+320.028 s] Raw data (loadavg): 1.08 1.00 0.96 2/54 5049 Raw data (stat): 5047 (bsolo_lpr_cuts) R 5046 3132 3131 0 -1 0 9143 0 0 0 31986 19 0 0 25 0 1 0 760094160 49627136 9067 4294967295 134512640 134714508 3221224576 3221223232 134527930 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12116 9067 1111 63 0 12053 0 vsize: 48464 [startup+330.029 s] Raw data (loadavg): 1.07 1.00 0.96 2/54 5049 Raw data (stat): 5047 (bsolo_lpr_cuts) R 5046 3132 3131 0 -1 0 9468 0 0 0 32985 20 0 0 25 0 1 0 760094160 50954240 9392 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12440 9392 1111 63 0 12377 0 vsize: 49760 [startup+340.028 s] Raw data (loadavg): 1.06 1.00 0.96 2/54 5049 Raw data (stat): 5047 (bsolo_lpr_cuts) R 5046 3132 3131 0 -1 0 9793 0 0 0 33985 20 0 0 25 0 1 0 760094160 52305920 9717 4294967295 134512640 134714508 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12770 9717 1111 63 0 12707 0 vsize: 51080 [startup+350.028 s] Raw data (loadavg): 1.05 1.00 0.96 2/54 5049 Raw data (stat): 5047 (bsolo_lpr_cuts) R 5046 3132 3131 0 -1 0 10127 0 0 0 34984 21 0 0 25 0 1 0 760094160 53661696 10051 4294967295 134512640 134714508 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13101 10051 1111 63 0 13038 0 vsize: 52404 [startup+360.043 s] Raw data (loadavg): 1.04 1.00 0.96 2/54 5049 Raw data (stat): 5047 (bsolo_lpr_cuts) R 5046 3132 3131 0 -1 0 10471 0 0 0 35985 22 0 0 25 0 1 0 760094160 55013376 10395 4294967295 134512640 134714508 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13431 10395 1111 63 0 13368 0 vsize: 53724 [startup+370.043 s] Raw data (loadavg): 1.11 1.02 0.96 2/54 5049 Raw data (stat): 5047 (bsolo_lpr_cuts) R 5046 3132 3131 0 -1 0 10826 0 0 0 36984 23 0 0 25 0 1 0 760094160 56520704 10750 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13799 10750 1111 63 0 13736 0 vsize: 55196 [startup+380.043 s] Raw data (loadavg): 1.09 1.02 0.96 2/54 5049 Raw data (stat): 5047 (bsolo_lpr_cuts) R 5046 3132 3131 0 -1 0 11197 0 0 0 37984 23 0 0 25 0 1 0 760094160 58028032 11121 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14167 11121 1111 63 0 14104 0 vsize: 56668 [startup+390.043 s] Raw data (loadavg): 1.08 1.01 0.96 2/54 5049 Raw data (stat): 5047 (bsolo_lpr_cuts) R 5046 3132 3131 0 -1 0 11601 0 0 0 38983 24 0 0 25 0 1 0 760094160 59678720 11525 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14570 11525 1111 63 0 14507 0 vsize: 58280 [startup+400.043 s] Raw data (loadavg): 1.06 1.01 0.96 2/54 5049 Raw data (stat): 5047 (bsolo_lpr_cuts) R 5046 3132 3131 0 -1 0 12036 0 0 0 39982 25 0 0 25 0 1 0 760094160 61333504 11960 4294967295 134512640 134714508 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14974 11960 1111 63 0 14911 0 vsize: 59896 [startup+410.043 s] Raw data (loadavg): 1.05 1.01 0.96 2/54 5049 Raw data (stat): 5047 (bsolo_lpr_cuts) R 5046 3132 3131 0 -1 0 12509 0 0 0 40982 26 0 0 25 0 1 0 760094160 63291392 12433 4294967295 134512640 134714508 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 15452 12433 1111 63 0 15389 0 vsize: 61808 [startup+420.043 s] Raw data (loadavg): 1.04 1.01 0.96 2/54 5049 Raw data (stat): 5047 (bsolo_lpr_cuts) R 5046 3132 3131 0 -1 0 13017 0 0 0 41981 27 0 0 25 0 1 0 760094160 65400832 12941 4294967295 134512640 134714508 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 15967 12941 1111 63 0 15904 0 vsize: 63868 [startup+430.043 s] Raw data (loadavg): 1.04 1.01 0.96 2/54 5049 Raw data (stat): 5047 (bsolo_lpr_cuts) R 5046 3132 3131 0 -1 0 13540 0 0 0 42980 28 0 0 25 0 1 0 760094160 67506176 13464 4294967295 134512640 134714508 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16481 13464 1111 63 0 16418 0 vsize: 65924 [startup+440.043 s] Raw data (loadavg): 1.03 1.01 0.96 2/54 5049 Raw data (stat): 5047 (bsolo_lpr_cuts) R 5046 3132 3131 0 -1 0 14081 0 0 0 43979 29 0 0 25 0 1 0 760094160 69767168 14005 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17033 14005 1111 63 0 16970 0 vsize: 68132 [startup+450.048 s] Raw data (loadavg): 1.03 1.01 0.96 2/54 5049 Raw data (stat): 5047 (bsolo_lpr_cuts) R 5046 3132 3131 0 -1 0 14642 0 0 0 44979 30 0 0 25 0 1 0 760094160 72024064 14566 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17584 14566 1111 63 0 17521 0 vsize: 70336 [startup+460.048 s] Raw data (loadavg): 1.02 1.01 0.96 2/54 5049 Raw data (stat): 5047 (bsolo_lpr_cuts) R 5046 3132 3131 0 -1 0 15225 0 0 0 45978 31 0 0 25 0 1 0 760094160 74399744 15149 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18164 15149 1111 63 0 18101 0 vsize: 72656 [startup+470.054 s] Raw data (loadavg): 1.02 1.01 0.96 2/54 5049 Raw data (stat): 5047 (bsolo_lpr_cuts) R 5046 3132 3131 0 -1 0 15829 0 0 0 46977 32 0 0 25 0 1 0 760094160 76804096 15753 4294967295 134512640 134714508 3221224576 3221222804 1077414397 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18751 15753 1111 63 0 18688 0 vsize: 75004 [startup+480.088 s] Raw data (loadavg): 1.01 1.01 0.96 2/54 5049 Raw data (stat): 5047 (bsolo_lpr_cuts) R 5046 3132 3131 0 -1 0 16453 0 0 0 47980 34 0 0 25 0 1 0 760094160 79368192 16377 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19377 16377 1111 63 0 19314 0 vsize: 77508 [startup+490.094 s] Raw data (loadavg): 1.01 1.00 0.96 2/54 5049 Raw data (stat): 5047 (bsolo_lpr_cuts) R 5046 3132 3131 0 -1 0 17129 0 0 0 48980 35 0 0 25 0 1 0 760094160 82403328 17053 4294967295 134512640 134714508 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20118 17053 1111 63 0 20055 0 vsize: 80472 [startup+500.101 s] Raw data (loadavg): 1.01 1.00 0.96 2/54 5049 Raw data (stat): 5047 (bsolo_lpr_cuts) R 5046 3132 3131 0 -1 0 17799 0 0 0 49979 36 0 0 25 0 1 0 760094160 85114880 17723 4294967295 134512640 134714508 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20780 17723 1111 63 0 20717 0 vsize: 83120 [startup+510.101 s] Raw data (loadavg): 1.01 1.00 0.96 2/54 5049 Raw data (stat): 5047 (bsolo_lpr_cuts) R 5046 3132 3131 0 -1 0 18493 0 0 0 50978 38 0 0 25 0 1 0 760094160 87969792 18417 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21477 18417 1111 63 0 21414 0 vsize: 85908 [startup+520.101 s] Raw data (loadavg): 1.01 1.00 0.96 2/54 5049 Raw data (stat): 5047 (bsolo_lpr_cuts) R 5046 3132 3131 0 -1 0 19217 0 0 0 51976 39 0 0 25 0 1 0 760094160 90951680 19141 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22205 19141 1111 63 0 22142 0 vsize: 88820 [startup+530.102 s] Raw data (loadavg): 1.00 1.00 0.96 2/54 5049 Raw data (stat): 5047 (bsolo_lpr_cuts) R 5046 3132 3131 0 -1 0 19976 0 0 0 52975 41 0 0 25 0 1 0 760094160 94113792 19900 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22977 19900 1111 63 0 22914 0 vsize: 91908 [startup+540.103 s] Raw data (loadavg): 1.00 1.00 0.96 2/54 5049 Raw data (stat): 5047 (bsolo_lpr_cuts) R 5046 3132 3131 0 -1 0 20767 0 0 0 53973 42 0 0 25 0 1 0 760094160 97271808 20691 4294967295 134512640 134714508 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 23748 20691 1111 63 0 23685 0 vsize: 94992 [startup+550.102 s] Raw data (loadavg): 1.00 1.00 0.96 2/54 5049 Raw data (stat): 5047 (bsolo_lpr_cuts) R 5046 3132 3131 0 -1 0 21613 0 0 0 54972 44 0 0 25 0 1 0 760094160 100732928 21537 4294967295 134512640 134714508 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24593 21537 1111 63 0 24530 0 vsize: 98372 [startup+559.097 s] Raw data (loadavg): 1.00 1.00 0.96 1/53 5049 Raw data (stat): 5047 (bsolo_lpr_cuts) R 5046 3132 3131 0 -1 0 21613 0 0 0 54972 44 0 0 25 0 1 0 760094160 100732928 21537 4294967295 134512640 134714508 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24593 21537 1111 63 0 24530 0 vsize: 0 Child status: 0 Real time (s): 559.086 CPU time (s): 559.076 CPU user time (s): 558.574 CPU system time (s): 0.501923 CPU usage (%): 99.9983 Max. virtual memory (Kb): 98372 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####