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 wulflinc1 THE 2005-06-07 21:28:29 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=27923 boxname=wulflinc1 idbench=879 idsolver=20 numberseed=0 MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048 /oldhome/oroussel/solvers/bsolo_lpr-v2 MD5SUM BENCH: 0b425344c538e99a27247a487d2e5952 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-ship04s.opb REAL COMMAND: bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-ship04s.opb IDLAUNCH: 27923 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.053 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.053 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 784016 kB Buffers: 32120 kB Cached: 192856 kB SwapCached: 1192 kB Active: 30720 kB Inactive: 196496 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 783764 kB SwapTotal: 2097136 kB SwapFree: 2094852 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5736 kB Slab: 17560 kB Committed_AS: 92720 kB PageTables: 332 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-07 21:38:03 (client local time) WITH STATUS 0 IN 573.148 SECONDS stats: 27923 7 573.148 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c ERROR Parsing file!!! c ERROR parsing line: +625*PREG0401_bit_10 +1250*PREG0401_bit_9 +2500*PREG0401_bit_8 +5000*PREG0401_bit_7 +10000*PREG0401_bit_6 +20000*PREG0401_bit_5 +40000*PREG0401_bit_4 +80000*PREG0401_bit_3 +160000*PREG0401_bit_2 +320000*PREG0401_bit_1 +640000*PREG0401_bit0 +1280000*PREG0401_bit1 +2560000*PREG0401_bit2 +5120000*PREG0401_bit3 +10240000*PREG0401_bit4 +20480000*PREG0401_bit5 +40960000*PREG0401_bit6 +81920000*PREG0401_bit7 +163840000*PREG0401_bit8 +327680000*PREG0401_bit9 +655360000*PREG0401_bit10 +1310720000*PREG0401_bit11 +2621440000*PREG0401_bit12 +5242880000*PREG0401_bit13 +10485760000*PREG0401_bit14 +20971520000*PREG0401_bit15 +41943040000*PREG0401_bit16 +83886080000*PREG0401_bit17 +167772160000*PREG0401_bit18 +335544320000*PREG0401_bit19 +625*POVR0401_bit_10 +1250*POVR0401_bit_9 +2500*POVR0401_bit_8 +5000*POVR0401_bit_7 +10000*POVR0401_bit_6 +20000*POVR0401_bit_5 +40000*POVR0401_bit_4 +80000*POVR0401_bit_3 +160000*POVR0401_bit_2 +320000*POVR0401_bit_1 +640000*POVR0401_bit0 +1280000*POVR0401_bit1 +2560000*POVR0401_bit2 +5120000*POVR0401_bit3 +10240000*POVR0401_bit4 +20480000*POVR0401_bit5 +40960000*POVR0401_bit6 +81920000*POVR0401_bit7 +163840000*POVR0401_bit8 +327680000*POVR0401_bit9 +655360000*POVR0401_bit10 +1310720000*POVR0401_bit11 +2621440000*POVR0401_bit12 +5242880000*POVR0401_bit13 +10485760000*POVR0401_bit14 +20971520000*POVR0401_bit15 +41943040000*POVR0401_bit16 +83886080000*POVR0401_bit17 +167772160000*POVR0401_bit18 +335544320000*POVR0401_bit19 -625*SH010401_bit_10 -1250*SH010401_bit_9 -2500*SH010401_bit_8 -5000*SH010401_bit_7 -10000*SH010401_bit_6 -20000*SH010401_bit_5 -40000*SH010401_bit_4 -80000*SH010401_bit_3 -160000*SH010401_bit_2 -320000*SH010401_bit_1 -640000*SH010401_bit0 -1280000*SH010401_bit1 -2560000*SH010401_bit2 -5120000*SH010401_bit3 -10240000*SH010401_bit4 -20480000*SH010401_bit5 -40960000*SH010401_bit6 -81920000*SH010401_bit7 -163840000*SH010401_bit8 -327680000*SH010401_bit9 -655360000*SH010401_bit10 -1310720000*SH010401_bit11 -2621440000*SH010401_bit12 -5242880000*SH010401_bit13 -10485760000*SH010401_bit14 -20971520000*SH010401_bit15 -41943040000*SH010401_bit16 -83886080000*SH010401_bit17 -167772160000*SH010401_bit18 -335544320000*SH010401_bit19 -625*SH010402_bit_10 -1250*SH010402_bit_9 -2500*SH010402_bit_8 -5000*SH010402_bit_7 -10000*SH010402_bit_6 -20000*SH010402_bit_5 -40000*SH010402_bit_4 -80000*SH010402_bit_3 -160000*SH010402_bit_2 -320000*SH010402_bit_1 -640000*SH010402_bit0 -1280000*SH010402_bit1 -2560000*SH010402_bit2 -5120000*SH010402_bit3 -10240000*SH010402_bit4 -20480000*SH010402_bit5 -40960000*SH010402_bit6 -81920000*SH010402_bit7 -163840000*SH010402_bit8 -327680000*SH010402_bit9 -655360000*SH010402_bit10 -1310720000*SH010402_bit11 -2621440000*SH010402_bit12 -5242880000*SH010402_bit13 -10485760000*SH010402_bit14 -20971520000*SH010402_bit15 -41943040000*SH010402_bit16 -83886080000*SH010402_bit17 -167772160000*SH010402_bit18 -335544320000*SH010402_bit19 -625*SH010403_bit_10 -1250*SH010403_bit_9 -2500*SH010403_bit_8 -5000*SH010403_bit_7 -10000*SH010403_bit_6 -20000*SH010403_bit_5 -40000*SH010403_bit_4 -80000*SH010403_bit_3 -160000*SH010403_bit_2 -320000*SH010403_bit_1 -640000*SH010403_bit0 -1280000*SH010403_bit1 -2560000*SH010403_bit2 -5120000*SH010403_bit3 -10240000*SH010403_bit4 -20480000*SH010403_bit5 -40960000*SH010403_bit6 -81920000*SH010403_bit7 -163840000*SH010403_bit8 -327680000*SH010403_bit9 -655360000*SH010403_bit10 -1310720000*SH010403_bit11 -2621440000*SH010403_bit12 -5242880000*SH010403_bit13 -10485760000*SH010403_bit14 -20971520000*SH010403_bit15 -41943040000*SH010403_bit16 -83886080000*SH010403_bit17 -167772160000*SH010403_bit18 -335544320000*SH010403_bit19 +625*SH010104_bit_10 +1250*SH010104_bit_9 +2500*SH010104_bit_8 +5000*SH010104_bit_7 +10000*SH010104_bit_6 +20000*SH010104_bit_5 +40000*SH010104_bit_4 +80000*SH010104_bit_3 +160000*SH010104_bit_2 +320000*SH010104_bit_1 +640000*SH010104_bit0 +1280000*SH010104_bit1 +2560000*SH010104_bit2 +5120000*SH010104_bit3 +10240000*SH010104_bit4 +20480000*SH010104_bit5 +40960000*SH010104_bit6 +81920000*SH010104_bit7 +163840000*SH010104_bit8 +327680000*SH010104_bit9 +655360000*SH010104_bit10 +1310720000*SH010104_bit11 +2621440000*SH010104_bit12 +5242880000*SH010104_bit13 +10485760000*SH010104_bit14 +20971520000*SH010104_bit15 +41943040000*SH010104_bit16 +83886080000*SH010104_bit17 +167772160000*SH010104_bit18 +335544320000*SH010104_bit19 +625*SH010204_bit_10 +1250*SH010204_bit_9 +2500*SH010204_bit_8 +5000*SH010204_bit_7 +10000*SH010204_bit_6 +20000*SH010204_bit_5 +40000*SH010204_bit_4 +80000*SH010204_bit_3 +160000*SH010204_bit_2 +320000*SH010204_bit_1 +640000*SH010204_bit0 +1280000*SH010204_bit1 +2560000*SH010204_bit2 +5120000*SH010204_bit3 +10240000*SH010204_bit4 +20480000*SH010204_bit5 +40960000*SH010204_bit6 +81920000*SH010204_bit7 +163840000*SH010204_bit8 +327680000*SH010204_bit9 +655360000*SH010204_bit10 +1310720000*SH010204_bit11 +2621440000*SH010204_bit12 +5242880000*SH010204_bit13 +10485760000*SH010204_bit14 +20971520000*SH010204_bit15 +41943040000*SH010204_bit16 +83886080000*SH010204_bit17 +167772160000*SH010204_bit18 +335544320000*SH010204_bit19 +625*SH010304_bit_10 +1250*SH010304_bit_9 +2500*SH010304_bit_8 +5000*SH010304_bit_7 +10000*SH010304_bit_6 +20000*SH010304_bit_5 +40000*SH010304_bit_4 +80000*SH010304_bit_3 +160000*SH010304_bit_2 +320000*SH010304_bit_1 +640000*SH010304_bit0 +1280000*SH010304_bit1 +2560000*SH010304_bit2 +5120000*SH010304_bit3 +10240000*SH010304_bit4 +20480000*SH010304_bit5 +40960000*SH010304_bit6 +81920000*SH010304_bit7 +163840000*SH010304_bit8 +327680000*SH010304_bit9 +655360000*SH010304_bit10 +1310720000*SH010304_bit11 +2621440000*SH010304_bit12 +5242880000*SH010304_bit13 +10485760000*SH010304_bit14 +20971520000*SH010304_bit15 +41943040000*SH010304_bit16 +83886080000*SH010304_bit17 +167772160000*SH010304_bit18 +335544320000*SH010304_bit19 +625*SH010504_bit_10 +1250*SH010504_bit_9 +2500*SH010504_bit_8 +5000*SH010504_bit_7 +10000*SH010504_bit_6 +20000*SH010504_bit_5 +40000*SH010504_bit_4 +80000*SH010504_bit_3 +160000*SH010504_bit_2 +320000*SH010504_bit_1 +640000*SH010504_bit0 +1280000*SH010504_bit1 +2560000*SH010504_bit2 +5120000*SH010504_bit3 +10240000*SH010504_bit4 +20480000*SH010504_bit5 +40960000*SH010504_bit6 +81920000*SH010504_bit7 +163840000*SH010504_bit8 +327680000*SH010504_bit9 +655360000*SH010504_bit10 +1310720000*SH010504_bit11 +2621440000*SH010504_bit12 +5242880000*SH010504_bit13 +10485760000*SH010504_bit14 +20971520000*SH010504_bit15 +41943040000*SH010504_bit16 +83886080000*SH010504_bit17 +167772160000*SH010504_bit18 +335544320000*SH010504_bit19 +625*SH010604_bit_10 +1250*SH010604_bit_9 +2500*SH010604_bit_8 +5000*SH010604_bit_7 +10000*SH010604_bit_6 +20000*SH010604_bit_5 +40000*SH010604_bit_4 +80000*SH010604_bit_3 +160000*SH010604_bit_2 +320000*SH010604_bit_1 +640000*SH010604_bit0 +1280000*SH010604_bit1 +2560000*SH010604_bit2 +5120000*SH010604_bit3 +10240000*SH010604_bit4 +20480000*SH010604_bit5 +40960000*SH010604_bit6 +81920000*SH010604_bit7 +163840000*SH010604_bit8 +327680000*SH010604_bit9 +655360000*SH010604_bit10 +1310720000*SH010604_bit11 +2621440000*SH010604_bit12 +5242880000*SH010604_bit13 +10485760000*SH010604_bit14 +20971520000*SH010604_bit15 +41943040000*SH010604_bit16 +83886080000*SH010604_bit17 +167772160000*SH010604_bit18 +335544320000*SH010604_bit19 +625*SH010804_bit_10 +1250*SH010804_bit_9 +2500*SH010804_bit_8 +5000*SH010804_bit_7 +10000*SH010804_bit_6 +20000*SH010804_bit_5 +40000*SH010804_bit_4 +80000*SH010804_bit_3 +160000*SH010804_bit_2 +320000*SH010804_bit_1 +640000*SH010804_bit0 +1280000*SH010804_bit1 +2560000*SH010804_bit2 +5120000*SH010804_bit3 +10240000*SH010804_bit4 +20480000*SH010804_bit5 +40960000*SH010804_bit6 +81920000*SH010804_bit7 +163840000*SH010804_bit8 +327680000*SH010804_bit9 +655360000*SH010804_bit10 +1310720000*SH010804_bit11 +2621440000*SH010804_bit12 +5242880000*SH010804_bit13 +10485760000*SH010804_bit14 +20971520000*SH010804_bit15 +41943040000*SH010804_bit16 +83886080000*SH010804_bit17 +167772160000*SH010804_bit18 +335544320000*SH010804_bit19 -625*SH010405_bit_10 -1250*SH010405_bit_9 -2500*SH010405_bit_8 -5000*SH010405_bit_7 -10000*SH010405_bit_6 -20000*SH010405_bit_5 -40000*SH010405_bit_4 -80000*SH010405_bit_3 -160000*SH010405_bit_2 -320000*SH010405_bit_1 -640000*SH010405_bit0 -1280000*SH010405_bit1 -2560000*SH010405_bit2 -5120000*SH010405_bit3 -10240000*SH010405_bit4 -20480000*SH010405_bit5 -40960000*SH010405_bit6 -81920000*SH010405_bit7 -163840000*SH010405_bit8 -327680000*SH010405_bit9 -655360000*SH010405_bit10 -1310720000*SH010405_bit11 -2621440000*SH010405_bit12 -5242880000*SH010405_bit13 -10485760000*SH010405_bit14 -20971520000*SH010405_bit15 -41943040000*SH010405_bit16 -83886080000*SH010405_bit17 -167772160000*SH010405_bit18 -335544320000*SH010405_bit19 -625*SH010406_bit_10 -1250*SH010406_bit_9 -2500*SH010406_bit_8 -5000*SH010406_bit_7 -10000*SH010406_bit_6 -20000*SH010406_bit_5 -40000*SH010406_bit_4 -80000*SH010406_bit_3 -160000*SH010406_bit_2 -320000*SH010406_bit_1 -640000*SH010406_bit0 -1280000*SH010406_bit1 -2560000*SH010406_bit2 -5120000*SH010406_bit3 -10240000*SH010406_bit4 -20480000*SH010406_bit5 -40960000*SH010406_bit6 -81920000*SH010406_bit7 -163840000*SH010406_bit8 -327680000*SH010406_bit9 -655360000*SH010406_bit10 -1310720000*SH010406_bit11 -2621440000*SH010406_bit12 -5242880000*SH010406_bit13 -10485760000*SH010406_bit14 -20971520000*SH010406_bit15 -41943040000*SH010406_bit16 -83886080000*SH010406_bit17 -167772160000*SH010406_bit18 -335544320000*SH010406_bit19 -625*SH010407_bit_10 -1250*SH010407_bit_9 -2500*SH010407_bit_8 -5000*SH010407_bit_7 -10000*SH010407_bit_6 -20000*SH010407_bit_5 -40000*SH010407_bit_4 -80000*SH010407_bit_3 -160000*SH010407_bit_2 -320000*SH010407_bit_1 -640000*SH010407_bit0 -1280000*SH010407_bit1 -2560000*SH010407_bit2 -5120000*SH010407_bit3 -10240000*SH010407_bit4 -20480000*SH010407_bit5 -40960000*SH010407_bit6 -81920000*SH010407_bit7 -163840000*SH010407_bit8 -327680000*SH010407_bit9 -655360000*SH010407_bit10 -1310720000*SH010407_bit11 -2621440000*SH010407_bit12 -5242880000*SH010407_bit13 -10485760000*SH010407_bit14 -20971520000*SH010407_bit15 -41943040000*SH010407_bit16 -83886080000*SH010407_bit17 -167772160000*SH010407_bit18 -335544320000*SH010407_bit19 -625*SH010408_bit_10 -1250*SH010408_bit_9 -2500*SH010408_bit_8 -5000*SH010408_bit_7 -10000*SH010408_bit_6 -20000*SH010408_bit_5 -40000*SH010408_bit_4 -80000*SH010408_bit_3 -160000*SH010408_bit_2 -320000*SH010408_bit_1 -640000*SH010408_bit0 -1280000*SH010408_bit1 -2560000*SH010408_bit2 -5120000*SH010408_bit3 -10240000*SH010408_bit4 -20480000*SH010408_bit5 -40960000*SH010408_bit6 -81920000*SH010408_bit7 -163840000*SH010408_bit8 -327680000*SH010408_bit9 -655360000*SH010408_bit10 -1310720000*SH010408_bit11 -2621440000*SH010408_bit12 -5242880000*SH010408_bit13 -10485760000*SH010408_bit14 -20971520000*SH010408_bit15 -41943040000*SH010408_bit16 -83886080000*SH010408_bit17 -167772160000*SH010408_bit18 -335544320000*SH010408_bit19 -625*SH010409_bit_10 -1250*SH010409_bit_9 -2500*SH010409_bit_8 -5000*SH010409_bit_7 -10000*SH010409_bit_6 -20000*SH010409_bit_5 -40000*SH010409_bit_4 -80000*SH010409_bit_3 -160000*SH010409_bit_2 -320000*SH010409_bit_1 -640000*SH010409_bit0 -1280000*SH010409_bit1 -2560000*SH010409_bit2 -5120000*SH010409_bit3 -10240000*SH010409_bit4 -20480000*SH010409_bit5 -40960000*SH010409_bit6 -81920000*SH010409_bit7 -163840000*SH010409_bit8 -327680000*SH010409_bit9 -655360000*SH010409_bit10 -1310720000*SH010409_bit11 -2621440000*SH010409_bit12 -5242880000*SH010409_bit13 -10485760000*SH010409_bit14 -20971520000*SH010409_bit15 -41943040000*SH010409_bit16 -83886080000*SH010409_bit17 -167772160000*SH010409_bit18 -335544320000*SH010409_bit19 -625*SH010410_bit_10 -1250*SH010410_bit_9 -2500*SH010410_bit_8 -5000*SH010410_bit_7 -10000*SH010410_bit_6 -20000*SH010410_bit_5 -40000*SH010410_bit_4 -80000*SH010410_bit_3 -160000*SH010410_bit_2 -320000*SH010410_bit_1 -640000*SH010410_bit0 -1280000*SH010410_bit1 -2560000*SH010410_bit2 -5120000*SH010410_bit3 -10240000*SH010410_bit4 -20480000*SH010410_bit5 -40960000*SH010410_bit6 -81920000*SH010410_bit7 -163840000*SH010410_bit8 -327680000*SH010410_bit9 -655360000*SH010410_bit10 -1310720000*SH010410_bit11 -2621440000*SH010410_bit12 -5242880000*SH010410_bit13 -10485760000*SH010410_bit14 -20971520000*SH010410_bit15 -41943040000*SH010410_bit16 -83886080000*SH010410_bit17 -167772160000*SH010410_bit18 -335544320000*SH010410_bit19 -625*SH010411_bit_10 -1250*SH010411_bit_9 -2500*SH010411_bit_8 -5000*SH010411_bit_7 -10000*SH010411_bit_6 -20000*SH010411_bit_5 -40000*SH010411_bit_4 -80000*SH010411_bit_3 -160000*SH010411_bit_2 -320000*SH010411_bit_1 -640000*SH010411_bit0 -1280000*SH010411_bit1 -2560000*SH010411_bit2 -5120000*SH010411_bit3 -10240000*SH010411_bit4 -20480000*SH010411_bit5 -40960000*SH010411_bit6 -81920000*SH010411_bit7 -163840000*SH010411_bit8 -327680000*SH010411_bit9 -655360000*SH010411_bit10 -1310720000*SH010411_bit11 -2621440000*SH010411_bit12 -5242880000*SH010411_bit13 -10485760000*SH010411_bit14 -20971520000*SH010411_bit15 -41943040000*SH010411_bit16 -83886080000*SH010411_bit17 -167772160000*SH010411_bit18 -335544320000*SH010411_bit19 -625*SH010412_bit_10 -1250*SH010412_bit_9 -2500*SH010412_bit_8 -5000*SH010412_bit_7 -10000*SH010412_bit_6 -20000*SH010412_bit_5 -40000*SH010412_bit_4 -80000*SH010412_bit_3 -160000*SH010412_bit_2 -320000*SH010412_bit_1 -640000*SH010412_bit0 -1280000*SH010412_bit1 -2560000*SH010412_bit2 -5120000*SH010412_bit3 -10240000*SH010412_bit4 -20480000*SH010412_bit5 -40960000*SH010412_bit6 -81920000*SH010412_bit7 -163840000*SH010412_bit8 -327680000*SH010412_bit9 -655360000*SH010412_bit10 -1310720000*SH010412_bit11 -2621440000*SH010412_bit12 -5242880000*SH010412_bit13 -10485760000*SH010412_bit14 -20971520000*SH010412_bit15 -41943040000*SH010412_bit16 -83886080000*SH010412_bit17 -167772160000*SH010412_bit18 -335544320000*SH010412_bit19 -625*SH010414_bit_10 -1250*SH010414_bit_9 -2500*SH010414_bit_8 -5000*SH010414_bit_7 -10000*SH010414_bit_6 -20000*SH010414_bit_5 -40000*SH010414_bit_4 -80000*SH010414_bit_3 -160000*SH010414_bit_2 -320000*SH010414_bit_1 -640000*SH010414_bit0 -1280000*SH010414_bit1 -2560000*SH010414_bit2 -5120000*SH010414_bit3 -10240000*SH010414_bit4 -20480000*SH010414_bit5 -40960000*SH010414_bit6 -81920000*SH010414_bit7 -163840000*SH010414_bit8 -327680000*SH010414_bit9 -655360000*SH010414_bit10 -1310720000*SH010414_bit11 -2621440000*SH010414_bit12 -5242880000*SH010414_bit13 -10485760000*SH010414_bit14 -20971520000*SH010414_bit15 -41943040000*SH010414_bit16 -83886080000*SH010414_bit17 -167772160000*SH010414_bit18 -335544320000*SH010414_bit19 -625*SH010415_bit_10 -1250*SH010415_bit_9 -2500*SH010415_bit_8 -5000*SH010415_bit_7 -10000*SH010415_bit_6 -20000*SH010415_bit_5 -40000*SH010415_bit_4 -80000*SH010415_bit_3 -160000*SH010415_bit_2 -320000*SH010415_bit_1 -640000*SH010415_bit0 -1280000*SH010415_bit1 -2560000*SH010415_bit2 -5120000*SH010415_bit3 -10240000*SH010415_bit4 -20480000*SH010415_bit5 -40960000*SH010415_bit6 -81920000*SH010415_bit7 -163840000*SH010415_bit8 -327680000*SH010415_bit9 -655360000*SH010415_bit10 -1310720000*SH010415_bit11 -2621440000*SH010415_bit12 -5242880000*SH010415_bit13 -10485760000*SH010415_bit14 -20971520000*SH010415_bit15 -41943040000*SH010415_bit16 -83886080000*SH010415_bit17 -167772160000*SH010415_bit18 -335544320000*SH010415_bit19 -625*SH010416_bit_10 -1250*SH010416_bit_9 -2500*SH010416_bit_8 -5000*SH010416_bit_7 -10000*SH010416_bit_6 -20000*SH010416_bit_5 -40000*SH010416_bit_4 -80000*SH010416_bit_3 -160000*SH010416_bit_2 -320000*SH010416_bit_1 -640000*SH010416_bit0 -1280000*SH010416_bit1 -2560000*SH010416_bit2 -5120000*SH010416_bit3 -10240000*SH010416_bit4 -20480000*SH010416_bit5 -40960000*SH010416_bit6 -81920000*SH010416_bit7 -163840000*SH010416_bit8 -327680000*SH010416_bit9 -655360000*SH010416_bit10 -1310720000*SH010416_bit11 -2621440000*SH010416_bit12 -5242880000*SH010416_bit13 -10485760000*SH010416_bit14 -20971520000*SH010416_bit15 -41943040000*SH010416_bit16 -83886080000*SH010416_bit17 -167772160000*SH010416_bit18 -335544320000*SH010416_bit19 -625*SH010418_bit_10 -1250*SH010418_bit_9 -2500*SH010418_bit_8 -5000*SH010418_bit_7 -10000*SH010418_bit_6 -20000*SH010418_bit_5 -40000*SH010418_bit_4 -80000*SH010418_bit_3 -160000*SH010418_bit_2 -320000*SH010418_bit_1 -640000*SH010418_bit0 -1280000*SH010418_bit1 -2560000*SH010418_bit2 -5120000*SH010418_bit3 -10240000*SH010418_bit4 -20480000*SH010418_bit5 -40960000*SH010418_bit6 -81920000*SH010418_bit7 -163840000*SH010418_bit8 -327680000*SH010418_bit9 -655360000*SH010418_bit10 -1310720000*SH010418_bit11 -2621440000*SH010418_bit12 -5242880000*SH010418_bit13 -10485760000*SH010418_bit14 -20971520000*SH010418_bit15 -41943040000*SH010418_bit16 -83886080000*SH010418_bit17 -167772160000*SH010418_bit18 -335544320000*SH010418_bit19 -625*SH010419_bit_10 -1250*SH010419_bit_9 -2500*SH010419_bit_8 -5000*SH010419_bit_7 -10000*SH010419_bit_6 -20000*SH010419_bit_5 -40000*SH010419_bit_4 -80000*SH010419_bit_3 -160000*SH010419_bit_2 -320000*SH010419_bit_1 -640000*SH010419_bit0 -1280000*SH010419_bit1 -2560000*SH010419_bit2 -5120000*SH010419_bit3 -10240000*SH010419_bit4 -20480000*SH010419_bit5 -40960000*SH010419_bit6 -81920000*SH010419_bit7 -163840000*SH010419_bit8 -327680000*SH010419_bit9 -655360000*SH010419_bit10 -1310720000*SH010419_bit11 -2621440000*SH010419_bit12 -5242880000*SH010419_bit13 -10485760000*SH010419_bit14 -20971520000*SH010419_bit15 -41943040000*SH010419_bit16 -83886080000*SH010419_bit17 -167772160000*SH010419_bit18 -335544320000*SH010419_bit19 -625*SH010420_bit_10 -1250*SH010420_bit_9 -2500*SH010420_bit_8 -5000*SH010420_bit_7 -10000*SH010420_bit_6 -20000*SH010420_bit_5 -40000*SH010420_bit_4 -80000*SH010420_bit_3 -160000*SH010420_bit_2 -320000*SH010420_bit_1 -640000*SH010420_bit0 -1280000*SH010420_bit1 -2560000*SH010420_bit2 -5120000*SH010420_bit3 -10240000*SH010420_bit4 -20480000*SH010420_bit5 -40960000*SH010420_bit6 -81920000*SH010420_bit7 -163840000*SH010420_bit8 -327680000*SH010420_bit9 -655360000*SH010420_bit10 -1310720000*SH010420_bit11 -2621440000*SH010420_bit12 -5242880000*SH010420_bit13 -10485760000*SH010420_bit14 -20971520000*SH010420_bit15 -41943040000*SH010420_bit16 -83886080000*SH010420_bit17 -167772160000*SH010420_bit18 -335544320000*SH010420_bit19 -625*SH010421_bit_10 -1250*SH010421_bit_9 -2500*SH010421_bit_8 -5000*SH010421_bit_7 -10000*SH010421_bit_6 -20000*SH010421_bit_5 -40000*SH010421_bit_4 -80000*SH010421_bit_3 -160000*SH010421_bit_2 -320000*SH010421_bit_1 -640000*SH010421_bit0 -1280000*SH010421_bit1 -2560000*SH010421_bit2 -5120000*SH010421_bit3 -10240000*SH010421_bit4 -20480000*SH010421_bit5 -40960000*SH010421_bit6 -81920000*SH010421_bit7 -163840000*SH010421_bit8 -327680000*SH010421_bit9 -655360000*SH010421_bit10 -1310720000*SH010421_bit11 -2621440000*SH010421_bit12 -5242880000*SH010421_bit13 -10485760000*SH010421_bit14 -20971520000*SH010421_bit15 -41943040000*SH010421_bit16 -83886080000*SH010421_bit17 -167772160000*SH010421_bit18 -335544320000*SH010421_bit19 -625*SH010422_bit_10 -1250*SH010422_bit_9 -2500*SH010422_bit_8 -5000*SH010422_bit_7 -10000*SH010422_bit_6 -20000*SH010422_bit_5 -40000*SH010422_bit_4 -80000*SH010422_bit_3 -160000*SH010422_bit_2 -320000*SH010422_bit_1 -640000*SH010422_bit0 -1280000*SH010422_bit1 -2560000*SH010422_bit2 -5120000*SH010422_bit3 -10240000*SH010422_bit4 -20480000*SH010422_bit5 -40960000*SH010422_bit6 -81920000*SH010422_bit7 -163840000*SH010422_bit8 -327680000*SH010422_bit9 -655360000*SH010422_bit10 -1310720000*SH010422_bit11 -2621440000*SH010422_bit12 -5242880000*SH010422_bit13 -10485760000*SH010422_bit14 -20971520000*SH010422_bit15 -41943040000*SH010422_bit16 -83886080000*SH010422_bit17 -167772160000*SH010422_bit18 -335544320000*SH010422_bit19 -625*SH010423_bit_10 -1250*SH010423_bit_9 -2500*SH010423_bit_8 -5000*SH010423_bit_7 -10000*SH010423_bit_6 -20000*SH010423_bit_5 -40000*SH010423_bit_4 -80000*SH010423_bit_3 -160000*SH010423_bit_2 -320000*SH010423_bit_1 -640000*SH010423_bit0 -1280000*SH010423_bit1 -2560000*SH010423_bit2 -5120000*SH010423_bit3 -10240000*SH010423_bit4 -20480000*SH010423_bit5 -40960000*SH010423_bit6 -81920000*SH010423_bit7 -163840000*SH010423_bit8 -327680000*SH010423_bit9 -655360000*SH010423_bit10 -1310720000*SH010423_bit11 -2621440000*SH010423_bit12 -5242880000*SH010423_bit13 -10485760000*SH010423_bit14 -20971520000*SH010423_bit15 -41943040000*SH010423_bit16 -83886080000*SH010423_bit17 -167772160000*SH010423_bit18 -335544320000*SH010423_bit19 -625*SH010426_bit_10 -1250*SH010426_bit_9 -2500*SH010426_bit_8 -5000*SH010426_bit_7 -10000*SH010426_bit_6 -20000*SH010426_bit_5 -40000*SH010426_bit_4 -80000*SH010426_bit_3 -160000*SH010426_bit_2 -320000*SH010426_bit_1 -640000*SH010426_bit0 -1280000*SH010426_bit1 -2560000*SH010426_bit2 -5120000*SH010426_bit3 -10240000*SH010426_bit4 -20480000*SH010426_bit5 -40960000*SH010426_bit6 -81920000*SH010426_bit7 -163840000*SH010426_bit8 -327680000*SH010426_bit9 -655360000*SH010426_bit10 -1310720000*SH010426_bit11 -2621440000*SH010426_bit12 -5242880000*SH010426_bit13 -10485760000*SH010426_bit14 -20971520000*SH010426_bit15 -41943040000*SH010426_bit16 -83886080000*SH010426_bit17 -167772160000*SH010426_bit18 -335544320000*SH010426_bit19 -625*SH010427_bit_10 -1250*SH010427_bit_9 -2500*SH010427_bit_8 -5000*SH010427_bit_7 -10000*SH010427_bit_6 -20000*SH010427_bit_5 -40000*SH010427_bit_4 -80000*SH010427_bit_3 -160000*SH010427_bit_2 -320000*SH010427_bit_1 -640000*SH010427_bit0 -1280000*SH010427_bit1 -2560000*SH010427_bit2 -5120000*SH010427_bit3 -10240000*SH010427_bit4 -20480000*SH010427_bit5 -40960000*SH010427_bit6 -81920000*SH010427_bit7 -163840000*SH010427_bit8 -327680000*SH010427_bit9 -655360000*SH010427_bit10 -1310720000*SH010427_bit11 -2621440000*SH010427_bit12 -5242880000*SH010427_bit13 -10485760000*SH010427_bit14 -20971520000*SH010427_bit15 -41943040000*SH010427_bit16 -83886080000*SH010427_bit17 -167772160000*SH010427_bit18 -335544320000*SH010427_bit19 -625*SH010429_bit_10 -1250*SH010429_bit_9 -2500*SH010429_bit_8 -5000*SH010429_bit_7 -10000*SH010429_bit_6 -20000*SH010429_bit_5 -40000*SH010429_bit_4 -80000*SH010429_bit_3 -160000*SH010429_bit_2 -320000*SH010429_bit_1 -640000*SH010429_bit0 -1280000*SH010429_bit1 -2560000*SH010429_bit2 -5120000*SH010429_bit3 -10240000*SH010429_bit4 -20480000*SH010429_bit5 -40960000*SH010429_bit6 -81920000*SH010429_bit7 -163840000*SH010429_bit8 -327680000*SH010429_bit9 -655360000*SH010429_bit10 -1310720000*SH010429_bit11 -2621440000*SH010429_bit12 -5242880000*SH010429_bit13 -10485760000*SH010429_bit14 -20971520000*SH010429_bit15 -41943040000*SH010429_bit16 -83886080000*SH010429_bit17 -167772160000*SH010429_bit18 -335544320000*SH010429_bit19 -625*SH010430_bit_10 -1250*SH010430_bit_9 -2500*SH010430_bit_8 -5000*SH010430_bit_7 -10000*SH010430_bit_6 -20000*SH010430_bit_5 -40000*SH010430_bit_4 -80000*SH010430_bit_3 -160000*SH010430_bit_2 -320000*SH010430_bit_1 -640000*SH010430_bit0 -1280000*SH010430_bit1 -2560000*SH010430_bit2 -5120000*SH010430_bit3 -10240000*SH010430_bit4 -20480000*SH010430_bit5 -40960000*SH010430_bit6 -81920000*SH010430_bit7 -163840000*SH010430_bit8 -327680000*SH010430_bit9 -655360000*SH010430_bit10 -1310720000*SH010430_bit11 -2621440000*SH010430_bit12 -5242880000*SH010430_bit13 -10485760000*SH010430_bit14 -20971520000*SH010430_bit15 -41943040000*SH010430_bit16 -83886080000*SH010430_bit17 -167772160000*SH010430_bit18 -335544320000*SH010430_bit19 -625*SH010432_bit_10 -1250*SH010432_bit_9 -2500*SH010432_bit_8 -5000*SH010432_bit_7 -10000*SH010432_bit_6 -20000*SH010432_bit_5 -40000*SH010432_bit_4 -80000*SH010432_bit_3 -160000*SH010432_bit_2 -320000*SH010432_bit_1 -640000*SH010432_bit0 -1280000*SH010432_bit1 -2560000*SH010432_bit2 -5120000*SH010432_bit3 -10240000*SH010432_bit4 -20480000*SH010432_bit5 -40960000*SH010432_bit6 -81920000*SH010432_bit7 -163840000*SH010432_bit8 -327680000*SH010432_bit9 -655360000*SH010432_bit10 -1310720000*SH010432_bit11 -2621440000*SH010432_bit12 -5242880000*SH010432_bit13 -10485760000*SH010432_bit14 -20971520000*SH010432_bit15 -41943040000*SH010432_bit16 -83886080000*SH010432_bit17 -167772160000*SH010432_bit18 -335544320000*SH010432_bit19 -625*SH010434_bit_10 -1250*SH010434_bit_9 -2500*SH010434_bit_8 -5000*SH010434_bit_7 -10000*SH010434_bit_6 -20000*SH010434_bit_5 -40000*SH010434_bit_4 -80000*SH010434_bit_3 -160000*SH010434_bit_2 -320000*SH010434_bit_1 -640000*SH010434_bit0 -1280000*SH010434_bit1 -2560000*SH010434_bit2 -5120000*SH010434_bit3 -10240000*SH010434_bit4 -20480000*SH010434_bit5 -40960000*SH010434_bit6 -81920000*SH010434_bit7 -163840000*SH010434_bit8 -327680000*SH010434_bit9 -655360000*SH010434_bit10 -1310720000*SH010434_bit11 -2621440000*SH010434_bit12 -5242880000*SH010434_bit13 -10485760000*SH010434_bit14 -20971520000*SH010434_bit15 -41943040000*SH010434_bit16 -83886080000*SH010434_bit17 -167772160000*SH010434_bit18 -335544320000*SH010434_bit19 -625*SH010435_bit_10 -1250*SH010435_bit_9 -2500*SH010435_bit_8 -5000*SH010435_bit_7 -10000*SH010435_bit_6 -20000*SH010435_bit_5 -40000*SH010435_bit_4 -80000*SH010435_bit_3 -160000*SH010435_bit_2 -320000*SH010435_bit_1 -640000*SH010435_bit0 -1280000*SH010435_bit1 -2560000*SH010435_bit2 -5120000*SH010435_bit3 -10240000*SH010435_bit4 -20480000*SH010435_bit5 -40960000*SH010435_bit6 -81920000*SH010435_bit7 -163840000*SH010435_bit8 -327680000*SH010435_bit9 -655360000*SH010435_bit10 -1310720000*SH010435_bit11 -2621440000*SH010435_bit12 -5242880000*SH010435_bit13 -10485760000*SH010435_bit14 -20971520000*SH010435_bit15 -41943040000*SH010435_bit16 -83886080000*SH010435_bit17 -167772160000*SH010435_bit18 -335544320000*SH010435_bit19 -625*SH010437_bit_10 -1250*SH010437_bit_9 -2500*SH010437_bit_8 -5000*SH010437_bit_7 -10000*SH010437_bit_6 -20000*SH010437_bit_5 -40000*SH010437_bit_4 -80000*SH010437_bit_3 -160000*SH010437_bit_2 -320000*SH010437_bit_1 -640000*SH010437_bit0 -1280000*SH010437_bit1 -2560000*SH010437_bit2 -5120000*SH010437_bit3 -10240000*SH010437_bit4 -20480000*SH010437_bit5 -40960000*SH010437_bit6 -81920000*SH010437_bit7 -163840000*SH010437_bit8 -327680000*SH010437_bit9 -655360000*SH010437_bit10 -1310720000*SH010437_bit11 -2621440000*SH010437_bit12 -5242880000*SH010437_bit13 -10485760000*SH010437_bit14 -20971520000*SH010437_bit15 -41943040000*SH010437_bit16 -83886080000*SH010437_bit17 -167772160000*SH010437_bit18 -335544320000*SH010437_bit19 -625*SH010438_bit_10 -1250*SH010438_bit_9 -2500*SH010438_bit_8 -5000*SH010438_bit_7 -10000*SH010438_bit_6 -20000*SH010438_bit_5 -40000*SH010438_bit_4 -80000*SH010438_bit_3 -160000*SH010438_bit_2 -320000*SH010438_bit_1 -640000*SH010438_bit0 -1280000*SH010438_bit1 -2560000*SH010438_bit2 -5120000*SH010438_bit3 -10240000*SH010438_bit4 -20480000*SH010438_bit5 -40960000*SH010438_bit6 -81920000*SH010438_bit7 -163840000*SH010438_bit8 -327680000*SH010438_bit9 -655360000*SH010438_bit10 -1310720000*SH010438_bit11 -2621440000*SH010438_bit12 -5242880000*SH010438_bit13 -10485760000*SH010438_bit14 -20971520000*SH010438_bit15 -41943040000*SH010438_bit16 -83886080000*SH010438_bit17 -167772160000*SH010438_bit18 -335544320000*SH010438_bit19 -625*SH010439_bit_10 -1250*SH010439_bit_9 -2500*SH010439_bit_8 -5000*SH010439_bit_7 -10000*SH010439_bit_6 -20000*SH010439_bit_5 -40000*SH010439_bit_4 -80000*SH010439_bit_3 -160000*SH010439_bit_2 -320000*SH010439_bit_1 -640000*SH010439_bit0 -1280000*SH010439_bit1 -2560000*SH010439_bit2 -5120000*SH010439_bit3 -10240000*SH010439_bit4 -20480000*SH010439_bit5 -40960000*SH010439_bit6 -81920000*SH010439_bit7 -163840000*SH010439_bit8 -327680000*SH010439_bit9 -655360000*SH010439_bit10 -1310720000*SH010439_bit11 -2621440000*SH010439_bit12 -5242880000*SH010439_bit13 -10485760000*SH010439_bit14 -20971520000*SH010439_bit15 -41943040000*SH010439_bit16 -83886080000*SH010439_bit17 -167772160000*SH010439_bit18 -335544320000*SH010439_bit19 -625*SH010441_bit_10 -1250*SH010441_bit_9 -2500*SH010441_bit_8 -5000*SH010441_bit_7 -10000*SH010441_bit_6 -20000*SH010441_bit_5 -40000*SH010441_bit_4 -80000*SH010441_bit_3 -160000*SH010441_bit_2 -320000*SH010441_bit_1 -640000*SH010441_bit0 -1280000*SH010441_bit1 -2560000*SH010441_bit2 -5120000*SH010441_bit3 -10240000*SH010441_bit4 -20480000*SH010441_bit5 -40960000*SH010441_bit6 -81920000*SH010441_bit7 -163840000*SH010441_bit8 -327680000*SH010441_bit9 -655360000*SH010441_bit10 -1310720000*SH010441_bit11 -2621440000*SH010441_bit12 -5242880000*SH010441_bit13 -10485760000*SH010441_bit14 -20971520000*SH010441_bit15 -41943040000*SH010441_bit16 -83886080000*SH010441_bit17 -167772160000*SH010441_bit18 -335544320000*SH010441_bit19 -625*SH010442_bit_10 -1250*SH010442_bit_9 -2500*SH010442_bit_8 -5000*SH010442_bit_7 -10000*SH010442_bit_6 -20000*SH010442_bit_5 -40000*SH010442_bit_4 -80000*SH010442_bit_3 -160000*SH010442_bit_2 -320000*SH010442_bit_1 -640000*SH010442_bit0 -1280000*SH010442_bit1 -2560000*SH010442_bit2 -5120000*SH010442_bit3 -10240000*SH010442_bit4 -20480000*SH010442_bit5 -40960000*SH010442_bit6 -81920000*SH010442_bit7 -163840000*SH010442_bit8 -327680000*SH010442_bit9 -655360000*SH010442_bit10 -1310720000*SH010442_bit11 -2621440000*SH010442_bit12 -5242880000*SH010442_bit13 -10485760000*SH010442_bit14 -20971520000*SH010442_bit15 -41943040000*SH010442_bit16 -83886080000*SH010442_bit17 -167772160000*SH010442_bit18 -335544320000*SH010442_bit19 -625*SH010443_bit_10 -1250*SH010443_bit_9 -2500*SH010443_bit_8 -5000*SH010443_bit_7 -10000*SH010443_bit_6 -20000*SH010443_bit_5 -40000*SH010443_bit_4 -80000*SH010443_bit_3 -160000*SH010443_bit_2 -320000*SH010443_bit_1 -640000*SH010443_bit0 -1280000*SH010443_bit1 -2560000*SH010443_bit2 -5120000*SH010443_bit3 -10240000*SH010443_bit4 -20480000*SH010443_bit5 -40960000*SH010443_bit6 -81920000*SH010443_bit7 -163840000*SH010443_bit8 -327680000*SH010443_bit9 -655360000*SH010443_bit10 -1310720000*SH010443_bit11 -2621440000*SH010443_bit12 -5242880000*SH010443_bit13 -10485760000*SH010443_bit14 -20971520000*SH010443_bit15 -41943040000*SH010443_bit16 -83886080000*SH010443_bit17 -167772160000*SH010443_bit18 -335544320000*SH010443_bit19 -625*SH010445_bit_10 -1250*SH010445_bit_9 -2500*SH010445_bit_8 -5000*SH010445_bit_7 -10000*SH010445_bit_6 -20000*SH010445_bit_5 -40000*SH010445_bit_4 -80000*SH010445_bit_3 -160000*SH010445_bit_2 -320000*SH010445_bit_1 -640000*SH010445_bit0 -1280000*SH010445_bit1 -2560000*SH010445_bit2 -5120000*SH010445_bit3 -10240000*SH010445_bit4 -20480000*SH010445_bit5 -40960000*SH010445_bit6 -81920000*SH010445_bit7 -163840000*SH010445_bit8 -327680000*SH010445_bit9 -655360000*SH010445_bit10 -1310720000*SH010445_bit11 -2621440000*SH010445_bit12 -5242880000*SH010445_bit13 -10485760000*SH010445_bit14 -20971520000*SH010445_bit15 -41943040000*SH010445_bit16 -83886080000*SH010445_bit17 -167772160000*SH010445_bit18 -335544320000*SH010445_bit19 -625*SH010446_bit_10 -1250*SH010446_bit_9 -2500*SH010446_bit_8 -5000*SH010446_bit_7 -10000*SH010446_bit_6 -20000*SH010446_bit_5 -40000*SH010446_bit_4 -80000*SH010446_bit_3 -160000*SH010446_bit_2 -320000*SH010446_bit_1 -640000*SH010446_bit0 -1280000*SH010446_bit1 -2560000*SH010446_bit2 -5120000*SH010446_bit3 -10240000*SH010446_bit4 -20480000*SH010446_bit5 -40960000*SH010446_bit6 -81920000*SH010446_bit7 -163840000*SH010446_bit8 -327680000*SH010446_bit9 -655360000*SH010446_bit10 -1310720000*SH010446_bit11 -2621440000*SH010446_bit12 -5242880000*SH010446_bit13 -10485760000*SH010446_bit14 -20971520000*SH010446_bit15 -41943040000*SH010446_bit16 -83886080000*SH010446_bit17 -167772160000*SH010446_bit18 -335544320000*SH010446_bit19 -625*SH010448_bit_10 -1250*SH010448_bit_9 -2500*SH010448_bit_8 -5000*SH010448_bit_7 -10000*SH010448_bit_6 -20000*SH010448_bit_5 -40000*SH010448_bit_4 -80000*SH010448_bit_3 -160000*SH010448_bit_2 -320000*SH010448_bit_1 -640000*SH010448_bit0 -1280000*SH010448_bit1 -2560000*SH010448_bit2 -5120000*SH010448_bit3 -10240000*SH010448_bit4 -20480000*SH010448_bit5 -40960000*SH010448_bit6 -81920000*SH010448_bit7 -163840000*SH010448_bit8 -327680000*SH010448_bit9 -655360000*SH010448_bit10 -1310720000*SH010448_bit11 -2621440000*SH010448_bit12 -5242880000*SH010448_bit13 -10485760000*SH010448_bit14 -20971520000*SH010448_bit15 -41943040000*SH010448_bit16 -83886080000*SH010448_bit17 -167772160000*SH010448_bit18 -335544320000*SH010448_bit19 -625*SH010452_bit_10 -1250*SH010452_bit_9 -2500*SH010452_bit_8 -5000*SH010452_bit_7 -10000*SH010452_bit_6 -20000*SH010452_bit_5 -40000*SH010452_bit_4 -80000*SH010452_bit_3 -160000*SH010452_bit_2 -320000*SH010452_bit_1 -640000*SH010452_bit0 -1280000*SH010452_bit1 -2560000*SH010452_bit2 -5120000*SH010452_bit3 -10240000*SH010452_bit4 -20480000*SH010452_bit5 -40960000*SH010452_bit6 -81920000*SH010452_bit7 -163840000*SH010452_bit8 -327680000*SH010452_bit9 -655360000*SH010452_bit10 -1310720000*SH010452_bit11 -2621440000*SH010452_bit12 -5242880000*SH010452_bit13 -10485760000*SH010452_bit14 -20971520000*SH010452_bit15 -41943040000*SH010452_bit16 -83886080000*SH010452_bit17 -167772160000*SH010452_bit18 -335544320000*SH010452_bit19 -625*SH010455_bit_10 -1250*SH010455_bit_9 -2500*SH010455_bit_8 -5000*SH010455_bit_7 -10000*SH010455_bit_6 -20000*SH010455_bit_5 -40000*SH010455_bit_4 -80000*SH010455_bit_3 -160000*SH010455_bit_2 -320000*SH010455_bit_1 -640000*SH010455_bit0 -1280000*SH010455_bit1 -2560000*SH010455_bit2 -5120000*SH010455_bit3 -10240000*SH010455_bit4 -20480000*SH010455_bit5 -40960000*SH010455_bit6 -81920000*SH010455_bit7 -163840000*SH010455_bit8 -327680000*SH010455_bit9 -655360000*SH010455_bit10 -1310720000*SH010455_bit11 -2621440000*SH010455_bit12 -5242880000*SH010455_bit13 -10485760000*SH010455_bit14 -20971520000*SH010455_bit15 -41943040000*SH010455_bit16 -83886080000*SH010455_bit17 -167772160000*SH010455_bit18 -335544320000*SH010455_bit19 -625*SH010458_bit_10 -1250*SH010458_bit_9 -2500*SH010458_bit_8 -5000*SH010458_bit_7 -10000*SH010458_bit_6 -20000*SH010458_bit_5 -40000*SH010458_bit_4 -80000*SH010458_bit_3 -160000*SH010458_bit_2 -320000*SH010458_bit_1 -640000*SH010458_bit0 -1280000*SH010458_bit1 -2560000*SH010458_bit2 -5120000*SH010458_bit3 -10240000*SH010458_bit4 -20480000*SH010458_bit5 -40960000*SH010458_bit6 -81920000*SH010458_bit7 -163840000*SH010458_bit8 -327680000*SH010458_bit9 -655360000*SH010458_bit10 -1310720000*SH010458_bit11 -2621440000*SH010458_bit12 -5242880000*SH010458_bit13 -10485760000*SH010458_bit14 -20971520000*SH010458_bit15 -41943040000*SH010458_bit16 -83886080000*SH010458_bit17 -167772160000*SH010458_bit18 -335544320000*SH010458_bit19 -625*SH010460_bit_10 -1250*SH010460_bit_9 -2500*SH010460_bit_8 -5000*SH010460_bit_7 -10000*SH010460_bit_6 -20000*SH010460_bit_5 -40000*SH010460_bit_4 -80000*SH010460_bit_3 -160000*SH010460_bit_2 -320000*SH010460_bit_1 -640000*SH010460_bit0 -1280000*SH010460_bit1 -2560000*SH010460_bit2 -5120000*SH010460_bit3 -10240000*SH010460_bit4 -20480000*SH010460_bit5 -40960000*SH010460_bit6 -81920000*SH010460_bit7 -163840000*SH010460_bit8 -327680000*SH010460_bit9 -655360000*SH010460_bit10 -1310720000*SH010460_bit11 -2621440000*SH010460_bit12 -5242880000*SH010460_bit13 -10485760000*SH010460_bit14 -20971520000*SH010460_bit15 -41943040000*SH010460_bit16 -83886080000*SH010460_bit17 -167772160000*SH010460_bit18 -335544320000*SH010460_bit19 -625*SH010464_bit_10 -1250*SH010464_bit_9 -2500*SH010464_bit_8 -5000*SH010464_bit_7 -10000*SH010464_bit_6 -20000*SH010464_bit_5 -40000*SH010464_bit_4 -80000*SH010464_bit_3 -160000*SH010464_bit_2 -320000*SH010464_bit_1 -640000*SH010464_bit0 -1280000*SH010464_bit1 -2560000*SH010464_bit2 -5120000*SH010464_bit3 -10240000*SH010464_bit4 -20480000*SH010464_bit5 -40960000*SH010464_bit6 -81920000*SH010464_bit7 -163840000*SH010464_bit8 -327680000*SH010464_bit9 -655360000*SH010464_bit10 -1310720000*SH010464_bit11 -2621440000*SH010464_bit12 -5242880000*SH010464_bit13 -10485760000*SH010464_bit14 -20971520000*SH010464_bit15 -41943040000*SH010464_bit16 -83886080000*SH010464_bit17 -167772160000*SH010464_bit18 -335544320000*SH010464_bit19 -625*SH010467_bit_10 -1250*SH010467_bit_9 -2500*SH010467_bit_8 -5000*SH010467_bit_7 -10000*SH010467_bit_6 -20000*SH010467_bit_5 -40000*SH010467_bit_4 -80000*SH010467_bit_3 -160000*SH010467_bit_2 -320000*SH010467_bit_1 -640000*SH010467_bit0 -1280000*SH010467_bit1 -2560000*SH010467_bit2 -5120000*SH010467_bit3 -10240000*SH010467_bit4 -20480000*SH010467_bit5 -40960000*SH010467_bit6 -81920000*SH010467_bit7 -163840000*SH010467_bit8 -327680000*SH010467_bit9 -655360000*SH010467_bit10 -1310720000*SH010467_bit11 -2621440000*SH010467_bit12 -5242880000*SH010467_bit13 -10485760000*SH010467_bit14 -20971520000*SH010467_bit15 -41943040000*SH010467_bit16 -83886080000*SH010467_bit17 -167772160000*SH010467_bit18 -335544320000*SH010467_bit19 -625*SH010471_bit_10 -1250*SH010471_bit_9 -2500*SH010471_bit_8 -5000*SH010471_bit_7 -10000*SH010471_bit_6 -20000*SH010471_bit_5 -40000*SH010471_bit_4 -80000*SH010471_bit_3 -160000*SH010471_bit_2 -320000*SH010471_bit_1 -640000*SH010471_bit0 -1280000*SH010471_bit1 -2560000*SH010471_bit2 -5120000*SH010471_bit3 -10240000*SH010471_bit4 -20480000*SH010471_bit5 -40960000*SH010471_bit6 -81920000*SH010471_bit7 -163840000*SH010471_bit8 -327680000*SH010471_bit9 -655360000*SH010471_bit10 -1310720000*SH010471_bit11 -2621440000*SH010471_bit12 -5242880000*SH010471_bit13 -10485760000*SH010471_bit14 -20971520000*SH010471_bit15 -41943040000*SH010471_bit16 -83886080000*SH010471_bit17 -167772160000*SH010471_bit18 -335544320000*SH010471_bit19 -625*SH010473_bit_10 -1250*SH010473_bit_9 -2500*SH010473_bit_8 -5000*SH010473_bit_7 -10000*SH010473_bit_6 -20000*SH010473_bit_5 -40000*SH010473_bit_4 -80000*SH010473_bit_3 -160000*SH010473_bit_2 -320000*SH010473_bit_1 -640000*SH010473_bit0 -1280000*SH010473_bit1 -2560000*SH010473_bit2 -5120000*SH010473_bit3 -10240000*SH010473_bit4 -20480000*SH010473_bit5 -40960000*SH010473_bit6 -81920000*SH010473_bit7 -163840000*SH010473_bit8 -327680000*SH010473_bit9 -655360000*SH010473_bit10 -1310720000*SH010473_bit11 -2621440000*SH010473_bit12 -5242880000*SH010473_bit13 -10485760000*SH010473_bit14 -20971520000*SH010473_bit15 -41943040000*SH010473_bit16 -83886080000*SH010473_bit17 -167772160000*SH010473_bit18 -335544320000*SH010473_bit19 -625*SH010477_bit_10 -1250*SH010477_bit_9 -2500*SH010477_bit_8 -5000*SH010477_bit_7 -10000*SH010477_bit_6 -20000*SH010477_bit_5 -40000*SH010477_bit_4 -80000*SH010477_bit_3 -160000*SH010477_bit_2 -320000*SH010477_bit_1 -640000*SH010477_bit0 -1280000*SH010477_bit1 -2560000*SH010477_bit2 -5120000*SH010477_bit3 -10240000*SH010477_bit4 -20480000*SH010477_bit5 -40960000*SH010477_bit6 -81920000*SH010477_bit7 -163840000*SH010477_bit8 -327680000*SH010477_bit9 -655360000*SH010477_bit10 -1310720000*SH010477_bit11 -2621440000*SH010477_bit12 -5242880000*SH010477_bit13 -10485760000*SH010477_bit14 -20971520000*SH010477_bit15 -41943040000*SH010477_bit16 -83886080000*SH010477_bit17 -167772160000*SH010477_bit18 -335544320000*SH010477_bit19 -625*SH010478_bit_10 -1250*SH010478_bit_9 -2500*SH010478_bit_8 -5000*SH010478_bit_7 -10000*SH010478_bit_6 -20000*SH010478_bit_5 -40000*SH010478_bit_4 -80000*SH010478_bit_3 -160000*SH010478_bit_2 -320000*SH010478_bit_1 -640000*SH010478_bit0 -1280000*SH010478_bit1 -2560000*SH010478_bit2 -5120000*SH010478_bit3 -10240000*SH010478_bit4 -20480000*SH010478_bit5 -40960000*SH010478_bit6 -81920000*SH010478_bit7 -163840000*SH010478_bit8 -327680000*SH010478_bit9 -655360000*SH010478_bit10 -1310720000*SH010478_bit11 -2621440000*SH010478_bit12 -5242880000*SH010478_bit13 -10485760000*SH010478_bit14 -20971520000*SH010478_bit15 -41943040000*SH010478_bit16 -83886080000*SH010478_bit17 -167772160000*SH010478_bit18 -335544320000*SH010478_bit19 -625*SH010480_bit_10 -1250*SH010480_bit_9 -2500*SH010480_bit_8 -5000*SH010480_bit_7 -10000*SH010480_bit_6 -20000*SH010480_bit_5 -40000*SH010480_bit_4 -80000*SH010480_bit_3 -160000*SH010480_bit_2 -320000*SH010480_bit_1 -640000*SH010480_bit0 -1280000*SH010480_bit1 -2560000*SH010480_bit2 -5120000*SH010480_bit3 -10240000*SH010480_bit4 -20480000*SH010480_bit5 -40960000*SH010480_bit6 -81920000*SH010480_bit7 -163840000*SH010480_bit8 -327680000*SH010480_bit9 -655360000*SH010480_bit10 -1310720000*SH010480_bit11 -2621440000*SH010480_bit12 -5242880000*SH010480_bit13 -10485760000*SH010480_bit14 -20971520000*SH010480_bit15 -41943040000*SH010480_bit16 -83886080000*SH010480_bit17 -167772160000*SH010480_bit18 -335544320000*SH010480_bit19 -625*SH010482_bit_10 -1250*SH010482_bit_9 -2500*SH010482_bit_8 -5000*SH010482_bit_7 -10000*SH010482_bit_6 -20000*SH010482_bit_5 -40000*SH010482_bit_4 -80000*SH010482_bit_3 -160000*SH010482_bit_2 -320000*SH010482_bit_1 -640000*SH010482_bit0 -1280000*SH010482_bit1 -2560000*SH010482_bit2 -5120000*SH010482_bit3 -10240000*SH010482_bit4 -20480000*SH010482_bit5 -40960000*SH010482_bit6 -81920000*SH010482_bit7 -163840000*SH010482_bit8 -327680000*SH010482_bit9 -655360000*SH010482_bit10 -1310720000*SH010482_bit11 -2621440000*SH010482_bit12 -5242880000*SH010482_bit13 -10485760000*SH010482_bit14 -20971520000*SH010482_bit15 -41943040000*SH010482_bit16 -83886080000*SH010482_bit17 -167772160000*SH010482_bit18 -335544320000*SH010482_bit19 -625*SH010483_bit_10 -1250*SH010483_bit_9 -2500*SH010483_bit_8 -5000*SH010483_bit_7 -10000*SH010483_bit_6 -20000*SH010483_bit_5 -40000*SH010483_bit_4 -80000*SH010483_bit_3 -160000*SH010483_bit_2 -320000*SH010483_bit_1 -640000*SH010483_bit0 -1280000*SH010483_bit1 -2560000*SH010483_bit2 -5120000*SH010483_bit3 -10240000*SH010483_bit4 -20480000*SH010483_bit5 -40960000*SH010483_bit6 -81920000*SH010483_bit7 -163840000*SH010483_bit8 -327680000*SH010483_bit9 -655360000*SH010483_bit10 -1310720000*SH010483_bit11 -2621440000*SH010483_bit12 -5242880000*SH010483_bit13 -10485760000*SH010483_bit14 -20971520000*SH010483_bit15 -41943040000*SH010483_bit16 -83886080000*SH010483_bit17 -167772160000*SH010483_bit18 -335544320000*SH010483_bit19 -625*SH010484_bit_10 -1250*SH010484_bit_9 -2500*SH010484_bit_8 -5000*SH010484_bit_7 -10000*SH010484_bit_6 -20000*SH010484_bit_5 -40000*SH010484_bit_4 -80000*SH010484_bit_3 -160000*SH010484_bit_2 -320000*SH010484_bit_1 -640000*SH010484_bit0 -1280000*SH010484_bit1 -2560000*SH010484_bit2 -5120000*SH010484_bit3 -10240000*SH010484_bit4 -20480000*SH010484_bit5 -40960000*SH010484_bit6 -81920000*SH010484_bit7 -163840000*SH010484_bit8 -327680000*SH010484_bit9 -655360000*SH010484_bit10 -1310720000*SH010484_bit11 -2621440000*SH010484_bit12 -5242880000*SH010484_bit13 -10485760000*SH010484_bit14 -20971520000*SH010484_bit15 -41943040000*SH010484_bit16 -83886080000*SH010484_bit17 -167772160000*SH010484_bit18 -335544320000*SH010484_bit19 = +915872; c Cannot parse input file name: /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-ship04s.opb s UNKNOWN c Exit Code: 0 c Total time: 573.094 s #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Enforcing Stack size limit: 67108864 bytes Current StackSize limit: 67108864 bytes Raw data (loadavg): 0.92 0.95 0.90 2/55 11601 Raw data (stat): 11601 (runsolver) R 11600 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 839378084 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 216 94 205 205 0 11 0 vsize: 864 [startup+10.0006 s] Raw data (loadavg): 0.93 0.96 0.91 2/55 11601 Raw data (stat): 11601 (bsolo_lpr-v2) R 11600 8378 8377 0 -1 0 940 0 0 0 995 2 0 0 25 0 1 0 839378084 15810560 860 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3860 860 1111 63 0 3797 0 vsize: 15440 [startup+20.0004 s] Raw data (loadavg): 0.94 0.96 0.91 2/55 11601 Raw data (stat): 11601 (bsolo_lpr-v2) R 11600 8378 8377 0 -1 0 1153 0 0 0 1994 3 0 0 25 0 1 0 839378084 16687104 1073 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4074 1073 1111 63 0 4011 0 vsize: 16296 [startup+30.0012 s] Raw data (loadavg): 0.95 0.96 0.91 2/55 11601 Raw data (stat): 11601 (bsolo_lpr-v2) R 11600 8378 8377 0 -1 0 1384 0 0 0 2995 3 0 0 25 0 1 0 839378084 17702912 1304 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4322 1304 1111 63 0 4259 0 vsize: 17288 [startup+40.002 s] Raw data (loadavg): 0.96 0.96 0.91 2/55 11601 Raw data (stat): 11601 (bsolo_lpr-v2) R 11600 8378 8377 0 -1 0 1605 0 0 0 3994 3 0 0 25 0 1 0 839378084 18591744 1525 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4539 1525 1111 63 0 4476 0 vsize: 18156 [startup+50.0018 s] Raw data (loadavg): 0.96 0.96 0.91 2/55 11601 Raw data (stat): 11601 (bsolo_lpr-v2) R 11600 8378 8377 0 -1 0 1838 0 0 0 4994 4 0 0 25 0 1 0 839378084 19488768 1758 4294967295 134512640 134716908 3221224576 3221222804 1077414374 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4758 1758 1111 63 0 4695 0 vsize: 19032 [startup+60.0015 s] Raw data (loadavg): 0.97 0.96 0.91 2/55 11601 Raw data (stat): 11601 (bsolo_lpr-v2) R 11600 8378 8377 0 -1 0 2073 0 0 0 5994 4 0 0 25 0 1 0 839378084 20545536 1993 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5016 1993 1111 63 0 4953 0 vsize: 20064 [startup+70.0013 s] Raw data (loadavg): 0.97 0.96 0.91 2/55 11601 Raw data (stat): 11601 (bsolo_lpr-v2) R 11600 8378 8377 0 -1 0 2302 0 0 0 6994 4 0 0 25 0 1 0 839378084 21450752 2222 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5237 2222 1111 63 0 5174 0 vsize: 20948 [startup+80.0021 s] Raw data (loadavg): 0.98 0.96 0.91 2/55 11601 Raw data (stat): 11601 (bsolo_lpr-v2) R 11600 8378 8377 0 -1 0 2537 0 0 0 7994 5 0 0 25 0 1 0 839378084 22351872 2457 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5457 2457 1111 63 0 5394 0 vsize: 21828 [startup+90.0019 s] Raw data (loadavg): 0.98 0.96 0.91 2/55 11601 Raw data (stat): 11601 (bsolo_lpr-v2) R 11600 8378 8377 0 -1 0 2779 0 0 0 8994 5 0 0 25 0 1 0 839378084 23400448 2699 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5713 2699 1111 63 0 5650 0 vsize: 22852 [startup+100.002 s] Raw data (loadavg): 0.98 0.96 0.91 2/55 11601 Raw data (stat): 11601 (bsolo_lpr-v2) R 11600 8378 8377 0 -1 0 3021 0 0 0 9993 6 0 0 25 0 1 0 839378084 24444928 2941 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5968 2941 1111 63 0 5905 0 vsize: 23872 [startup+110.002 s] Raw data (loadavg): 0.98 0.97 0.91 2/55 11601 Raw data (stat): 11601 (bsolo_lpr-v2) R 11600 8378 8377 0 -1 0 3265 0 0 0 10993 6 0 0 25 0 1 0 839378084 25350144 3185 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6189 3185 1111 63 0 6126 0 vsize: 24756 [startup+120.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11601 Raw data (stat): 11601 (bsolo_lpr-v2) R 11600 8378 8377 0 -1 0 3507 0 0 0 11993 6 0 0 25 0 1 0 839378084 26402816 3427 4294967295 134512640 134716908 3221224576 3221222444 1077270148 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6446 3427 1111 63 0 6383 0 vsize: 25784 [startup+130.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11601 Raw data (stat): 11601 (bsolo_lpr-v2) R 11600 8378 8377 0 -1 0 3752 0 0 0 12993 7 0 0 25 0 1 0 839378084 27426816 3672 4294967295 134512640 134716908 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6696 3672 1111 63 0 6633 0 vsize: 26784 [startup+140.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11601 Raw data (stat): 11601 (bsolo_lpr-v2) R 11600 8378 8377 0 -1 0 4001 0 0 0 13992 8 0 0 25 0 1 0 839378084 28475392 3921 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6952 3921 1111 63 0 6889 0 vsize: 27808 [startup+150.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11601 Raw data (stat): 11601 (bsolo_lpr-v2) R 11600 8378 8377 0 -1 0 4252 0 0 0 14992 8 0 0 25 0 1 0 839378084 29380608 4172 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7173 4172 1111 63 0 7110 0 vsize: 28692 [startup+160.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11601 Raw data (stat): 11601 (bsolo_lpr-v2) R 11600 8378 8377 0 -1 0 4510 0 0 0 15991 9 0 0 25 0 1 0 839378084 30433280 4430 4294967295 134512640 134716908 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7430 4430 1111 63 0 7367 0 vsize: 29720 [startup+170.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11601 Raw data (stat): 11601 (bsolo_lpr-v2) R 11600 8378 8377 0 -1 0 4778 0 0 0 16991 10 0 0 25 0 1 0 839378084 31678464 4698 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7734 4698 1111 63 0 7671 0 vsize: 30936 [startup+180.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11601 Raw data (stat): 11601 (bsolo_lpr-v2) R 11600 8378 8377 0 -1 0 5042 0 0 0 17991 10 0 0 25 0 1 0 839378084 32731136 4962 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7991 4962 1111 63 0 7928 0 vsize: 31964 [startup+190.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11601 Raw data (stat): 11601 (bsolo_lpr-v2) R 11600 8378 8377 0 -1 0 5308 0 0 0 18990 10 0 0 25 0 1 0 839378084 33783808 5228 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8248 5228 1111 63 0 8185 0 vsize: 32992 [startup+200.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11601 Raw data (stat): 11601 (bsolo_lpr-v2) R 11600 8378 8377 0 -1 0 5572 0 0 0 19990 11 0 0 25 0 1 0 839378084 34836480 5492 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8505 5492 1111 63 0 8442 0 vsize: 34020 [startup+210.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11601 Raw data (stat): 11601 (bsolo_lpr-v2) R 11600 8378 8377 0 -1 0 5841 0 0 0 20989 12 0 0 25 0 1 0 839378084 36044800 5761 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8800 5761 1111 63 0 8737 0 vsize: 35200 [startup+220.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11601 Raw data (stat): 11601 (bsolo_lpr-v2) R 11600 8378 8377 0 -1 0 6119 0 0 0 21988 13 0 0 25 0 1 0 839378084 37097472 6039 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9057 6039 1111 63 0 8994 0 vsize: 36228 [startup+230.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11601 Raw data (stat): 11601 (bsolo_lpr-v2) R 11600 8378 8377 0 -1 0 6400 0 0 0 22988 13 0 0 25 0 1 0 839378084 38297600 6320 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9350 6320 1111 63 0 9287 0 vsize: 37400 [startup+240.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11601 Raw data (stat): 11601 (bsolo_lpr-v2) R 11600 8378 8377 0 -1 0 6682 0 0 0 23988 14 0 0 25 0 1 0 839378084 39350272 6602 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9607 6602 1111 63 0 9544 0 vsize: 38428 [startup+250.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11601 Raw data (stat): 11601 (bsolo_lpr-v2) R 11600 8378 8377 0 -1 0 6976 0 0 0 24988 14 0 0 25 0 1 0 839378084 40558592 6896 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9902 6896 1111 63 0 9839 0 vsize: 39608 [startup+260.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11601 Raw data (stat): 11601 (bsolo_lpr-v2) R 11600 8378 8377 0 -1 0 7271 0 0 0 25987 15 0 0 25 0 1 0 839378084 41758720 7191 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10195 7191 1111 63 0 10132 0 vsize: 40780 [startup+270.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11601 Raw data (stat): 11601 (bsolo_lpr-v2) R 11600 8378 8377 0 -1 0 7565 0 0 0 26987 15 0 0 25 0 1 0 839378084 43081728 7485 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10518 7485 1111 63 0 10455 0 vsize: 42072 [startup+280.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11601 Raw data (stat): 11601 (bsolo_lpr-v2) R 11600 8378 8377 0 -1 0 7869 0 0 0 27986 16 0 0 25 0 1 0 839378084 44290048 7789 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10813 7789 1111 63 0 10750 0 vsize: 43252 [startup+290.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11601 Raw data (stat): 11601 (bsolo_lpr-v2) R 11600 8378 8377 0 -1 0 8178 0 0 0 28986 17 0 0 25 0 1 0 839378084 45490176 8098 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11106 8098 1111 63 0 11043 0 vsize: 44424 [startup+300.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11601 Raw data (stat): 11601 (bsolo_lpr-v2) R 11600 8378 8377 0 -1 0 8495 0 0 0 29985 17 0 0 25 0 1 0 839378084 46845952 8415 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11437 8415 1111 63 0 11374 0 vsize: 45748 [startup+310.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11601 Raw data (stat): 11601 (bsolo_lpr-v2) R 11600 8378 8377 0 -1 0 8830 0 0 0 30985 18 0 0 25 0 1 0 839378084 48304128 8750 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11793 8750 1111 63 0 11730 0 vsize: 47172 [startup+320.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11601 Raw data (stat): 11601 (bsolo_lpr-v2) R 11600 8378 8377 0 -1 0 9154 0 0 0 31984 19 0 0 25 0 1 0 839378084 49627136 9074 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12116 9074 1111 63 0 12053 0 vsize: 48464 [startup+330.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11601 Raw data (stat): 11601 (bsolo_lpr-v2) R 11600 8378 8377 0 -1 0 9486 0 0 0 32984 19 0 0 25 0 1 0 839378084 50954240 9406 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12440 9406 1111 63 0 12377 0 vsize: 49760 [startup+340.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11601 Raw data (stat): 11601 (bsolo_lpr-v2) R 11600 8378 8377 0 -1 0 9825 0 0 0 33984 20 0 0 25 0 1 0 839378084 52305920 9745 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12770 9745 1111 63 0 12707 0 vsize: 51080 [startup+350.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11601 Raw data (stat): 11601 (bsolo_lpr-v2) R 11600 8378 8377 0 -1 0 10172 0 0 0 34983 21 0 0 25 0 1 0 839378084 53809152 10092 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13137 10092 1111 63 0 13074 0 vsize: 52548 [startup+360.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11601 Raw data (stat): 11601 (bsolo_lpr-v2) R 11600 8378 8377 0 -1 0 10526 0 0 0 35982 21 0 0 25 0 1 0 839378084 55164928 10446 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13468 10446 1111 63 0 13405 0 vsize: 53872 [startup+370.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11601 Raw data (stat): 11601 (bsolo_lpr-v2) R 11600 8378 8377 0 -1 0 10888 0 0 0 36982 22 0 0 25 0 1 0 839378084 56672256 10808 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13836 10808 1111 63 0 13773 0 vsize: 55344 [startup+380.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11601 Raw data (stat): 11601 (bsolo_lpr-v2) R 11600 8378 8377 0 -1 0 11272 0 0 0 37981 23 0 0 25 0 1 0 839378084 58327040 11192 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14240 11192 1111 63 0 14177 0 vsize: 56960 [startup+390.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11601 Raw data (stat): 11601 (bsolo_lpr-v2) R 11600 8378 8377 0 -1 0 11664 0 0 0 38981 23 0 0 25 0 1 0 839378084 59834368 11584 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14608 11584 1111 63 0 14545 0 vsize: 58432 [startup+400.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11601 Raw data (stat): 11601 (bsolo_lpr-v2) R 11600 8378 8377 0 -1 0 12069 0 0 0 39980 24 0 0 25 0 1 0 839378084 61485056 11989 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 15011 11989 1111 63 0 14948 0 vsize: 60044 [startup+410.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11601 Raw data (stat): 11601 (bsolo_lpr-v2) R 11600 8378 8377 0 -1 0 12495 0 0 0 40980 25 0 0 25 0 1 0 839378084 63291392 12415 4294967295 134512640 134716908 3221224576 3221222804 1077414347 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 15452 12415 1111 63 0 15389 0 vsize: 61808 [startup+420.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11601 Raw data (stat): 11601 (bsolo_lpr-v2) R 11600 8378 8377 0 -1 0 12930 0 0 0 41979 25 0 0 25 0 1 0 839378084 65097728 12850 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 15893 12850 1111 63 0 15830 0 vsize: 63572 [startup+430.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11601 Raw data (stat): 11601 (bsolo_lpr-v2) R 11600 8378 8377 0 -1 0 13380 0 0 0 42978 26 0 0 25 0 1 0 839378084 66904064 13300 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16334 13300 1111 63 0 16271 0 vsize: 65336 [startup+440.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11601 Raw data (stat): 11601 (bsolo_lpr-v2) R 11600 8378 8377 0 -1 0 13838 0 0 0 43978 27 0 0 25 0 1 0 839378084 68710400 13758 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16775 13758 1111 63 0 16712 0 vsize: 67100 [startup+450.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11601 Raw data (stat): 11601 (bsolo_lpr-v2) R 11600 8378 8377 0 -1 0 14311 0 0 0 44977 28 0 0 25 0 1 0 839378084 70668288 14231 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17253 14231 1111 63 0 17190 0 vsize: 69012 [startup+460.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11601 Raw data (stat): 11601 (bsolo_lpr-v2) R 11600 8378 8377 0 -1 0 14812 0 0 0 45977 29 0 0 25 0 1 0 839378084 72773632 14732 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17767 14732 1111 63 0 17704 0 vsize: 71068 [startup+470.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11601 Raw data (stat): 11601 (bsolo_lpr-v2) R 11600 8378 8377 0 -1 0 15322 0 0 0 46976 30 0 0 25 0 1 0 839378084 74850304 15242 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18274 15242 1111 63 0 18211 0 vsize: 73096 [startup+480.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11601 Raw data (stat): 11601 (bsolo_lpr-v2) R 11600 8378 8377 0 -1 0 15854 0 0 0 47975 30 0 0 25 0 1 0 839378084 76955648 15774 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18788 15774 1111 63 0 18725 0 vsize: 75152 [startup+490.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11601 Raw data (stat): 11601 (bsolo_lpr-v2) R 11600 8378 8377 0 -1 0 16390 0 0 0 48975 31 0 0 25 0 1 0 839378084 79216640 16310 4294967295 134512640 134716908 3221224576 3221222804 1077414399 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19340 16310 1111 63 0 19277 0 vsize: 77360 [startup+500.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11601 Raw data (stat): 11601 (bsolo_lpr-v2) R 11600 8378 8377 0 -1 0 16982 0 0 0 49973 33 0 0 25 0 1 0 839378084 81801216 16902 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19971 16902 1111 63 0 19908 0 vsize: 79884 [startup+510.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11601 Raw data (stat): 11601 (bsolo_lpr-v2) R 11600 8378 8377 0 -1 0 17573 0 0 0 50972 35 0 0 25 0 1 0 839378084 84209664 17493 4294967295 134512640 134716908 3221224576 3221223232 134527953 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20559 17493 1111 63 0 20496 0 vsize: 82236 [startup+520.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11601 Raw data (stat): 11601 (bsolo_lpr-v2) R 11600 8378 8377 0 -1 0 18201 0 0 0 51970 36 0 0 25 0 1 0 839378084 86769664 18121 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21184 18121 1111 63 0 21121 0 vsize: 84736 [startup+530.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11601 Raw data (stat): 11601 (bsolo_lpr-v2) R 11600 8378 8377 0 -1 0 18900 0 0 0 52970 37 0 0 25 0 1 0 839378084 89628672 18820 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21882 18820 1111 63 0 21819 0 vsize: 87528 [startup+540.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11601 Raw data (stat): 11601 (bsolo_lpr-v2) R 11600 8378 8377 0 -1 0 19639 0 0 0 53969 38 0 0 25 0 1 0 839378084 92606464 19559 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22609 19559 1111 63 0 22546 0 vsize: 90436 [startup+550.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11601 Raw data (stat): 11601 (bsolo_lpr-v2) R 11600 8378 8377 0 -1 0 20413 0 0 0 54968 39 0 0 25 0 1 0 839378084 95768576 20333 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 23381 20333 1111 63 0 23318 0 vsize: 93524 [startup+560.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11601 Raw data (stat): 11601 (bsolo_lpr-v2) R 11600 8378 8377 0 -1 0 21247 0 0 0 55967 41 0 0 25 0 1 0 839378084 99229696 21167 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24226 21167 1111 63 0 24163 0 vsize: 96904 [startup+570.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 11601 Raw data (stat): 11601 (bsolo_lpr-v2) R 11600 8378 8377 0 -1 0 22147 0 0 0 56965 43 0 0 25 0 1 0 839378084 102842368 22067 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 25108 22067 1111 63 0 25045 0 vsize: 100432 [startup+573.079 s] Raw data (loadavg): 0.99 0.97 0.91 1/54 11601 Raw data (stat): 11601 (bsolo_lpr-v2) R 11600 8378 8377 0 -1 0 22147 0 0 0 56965 43 0 0 25 0 1 0 839378084 102842368 22067 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 25108 22067 1111 63 0 25045 0 vsize: 0 Child status: 0 Real time (s): 573.079 CPU time (s): 573.148 CPU user time (s): 572.662 CPU system time (s): 0.485926 CPU usage (%): 100.012 Max. virtual memory (Kb): 100432 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####