Name | normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos18.opb |
MD5SUM | 0853c744a5ee2b1e483b2f80d22b20a0 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 16 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 80 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 80 |
Number of bits of the sum of numbers in the objective function | 7 |
Biggest number in a constraint | 78 |
Number of bits of the biggest number in a constraint | 7 |
Biggest sum of numbers in a constraint | 158 |
Number of bits of the biggest sum of numbers | 8 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 0.637902 |
Number of variables | 3312 |
Total number of constraints | 14714 |
Number of constraints which are clauses | 6510 |
Number of constraints which are cardinality constraints (but not clauses) | 7177 |
Number of constraints which are nor clauses,nor cardinality constraints | 1027 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 80 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-05-19 18:51:31 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=19618 boxname=wulflinc31 idbench=1510 idsolver=1 numberseed=0 MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef /oldhome/oroussel/solvers/bsolo_lpr MD5SUM BENCH: 0853c744a5ee2b1e483b2f80d22b20a0 /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-neos18.opb REAL COMMAND: bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-neos18.opb IDLAUNCH: 19618 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.153 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.153 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 916360 kB Buffers: 196 kB Cached: 97540 kB SwapCached: 796 kB Active: 39072 kB Inactive: 60692 kB HighTotal: 131008 kB HighFree: 30940 kB LowTotal: 903652 kB LowFree: 885420 kB SwapTotal: 2097892 kB SwapFree: 2095972 kB Dirty: 184 kB Writeback: 0 kB Mapped: 4848 kB Slab: 12828 kB Committed_AS: 63844 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-19 19:11:07 (client local time) WITH STATUS 10 IN 1175.27 SECONDS stats: 19618 0 1175.27 10 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 3312 variables and 8904 constraints. c After prepocess the problem consists of 963 variables and 5086 constraints. c preprocess terminated 637.099 s c Initial Lower Bound: 9 c Lower Bound Elapsed time: 12.6442 c Not use computed LB before first solution. c NEW SOLUTION FOUND: 62 @ 687.875 c NEW SOLUTION FOUND: 61 @ 687.909 c NEW SOLUTION FOUND: 60 @ 687.94 c NEW SOLUTION FOUND: 59 @ 687.972 c NEW SOLUTION FOUND: 58 @ 688.005 c NEW SOLUTION FOUND: 57 @ 688.038 c NEW SOLUTION FOUND: 56 @ 688.071 c NEW SOLUTION FOUND: 55 @ 688.105 c NEW SOLUTION FOUND: 54 @ 688.139 c NEW SOLUTION FOUND: 53 @ 688.174 c NEW SOLUTION FOUND: 52 @ 688.209 c NEW SOLUTION FOUND: 51 @ 688.247 c NEW SOLUTION FOUND: 50 @ 688.284 c NEW SOLUTION FOUND: 49 @ 688.322 c NEW SOLUTION FOUND: 48 @ 688.36 c NEW SOLUTION FOUND: 47 @ 688.399 c NEW SOLUTION FOUND: 46 @ 688.44 c NEW SOLUTION FOUND: 45 @ 688.526 c NEW SOLUTION FOUND: 44 @ 688.569 c NEW SOLUTION FOUND: 43 @ 688.614 c NEW SOLUTION FOUND: 42 @ 688.825 c NEW SOLUTION FOUND: 41 @ 688.99 c NEW SOLUTION FOUND: 40 @ 689.254 c NEW SOLUTION FOUND: 39 @ 689.994 c NEW SOLUTION FOUND: 38 @ 690.284 c NEW SOLUTION FOUND: 37 @ 690.48 c NEW SOLUTION FOUND: 36 @ 691.48 c NEW SOLUTION FOUND: 35 @ 691.892 c NEW SOLUTION FOUND: 34 @ 694.022 c NEW SOLUTION FOUND: 33 @ 697.261 c NEW SOLUTION FOUND: 32 @ 699.474 c NEW SOLUTION FOUND: 29 @ 702.633 c NEW SOLUTION FOUND: 28 @ 703.986 c NEW SOLUTION FOUND: 27 @ 720.962 c NEW SOLUTION FOUND: 26 @ 1072.25 c NEW SOLUTION FOUND: 25 @ 1126.76 s SATISFIABLE v -r_0_bit0 -r_1_bit0 -r_2_bit0 r_3_bit0 -r_4_bit0 -r_5_bit0 -r_6_bit0 -r_7_bit0 -r_8_bit0 -r_9_bit0 -r_10_bit0 -r_11_bit0 -r_12_bit0 -r_13_bit0 -r_14_bit0 r_15_bit0 -r_16_bit0 -r_17_bit0 -r_18_bit0 r_19_bit0 -r_20_bit0 -r_21_bit0 -r_22_bit0 -r_23_bit0 -r_24_bit0 -r_25_bit0 -r_26_bit0 -r_27_bit0 -r_28_bit0 -r_29_bit0 -r_30_bit0 -r_31_bit0 -r_32_bit0 -r_33_bit0 -r_34_bit0 -r_35_bit0 -r_36_bit0 -r_37_bit0 -r_38_bit0 r_39_bit0 -r_40_bit0 -r_41_bit0 -r_42_bit0 r_43_bit0 r_44_bit0 -r_45_bit0 -r_46_bit0 r_47_bit0 -r_48_bit0 -r_49_bit0 -r_50_bit0 r_51_bit0 -r_52_bit0 -r_53_bit0 -r_54_bit0 r_55_bit0 r_56_bit0 r_57_bit0 r_58_bit0 -r_59_bit0 -r_60_bit0 -r_61_bit0 r_62_bit0 -r_63_bit0 -r_64_bit0 r_65_bit0 -r_66_bit0 r_67_bit0 r_68_bit0 -r_69_bit0 -r_70_bit0 r_71_bit0 r_72_bit0 r_73_bit0 r_74_bit0 r_75_bit0 r_76_bit0 r_77_bit0 r_78_bit0 r_79_bit0 h_0_1_bit0 h_0_4_bit0 -x_26_2_bit0 h_0_52_bit0 -h_2_42_bit0 h_2_43_bit0 h_3_42_bit0 h_3_43_bit0 h_4_42_bit0 h_4_43_bit0 h_5_42_bit0 h_5_43_bit0 h_6_42_bit0 h_6_43_bit0 h_7_42_bit0 h_7_43_bit0 h_8_42_bit0 h_8_43_bit0 h_9_42_bit0 h_9_43_bit0 h_10_42_bit0 h_10_43_bit0 h_11_42_bit0 h_11_43_bit0 -x_2_1_bit0 h_4_40_bit0 h_12_42_bit0 h_12_43_bit0 h_13_42_bit0 h_13_43_bit0 h_14_42_bit0 h_14_43_bit0 h_15_42_bit0 h_15_43_bit0 h_16_42_bit0 h_16_43_bit0 h_17_42_bit0 h_17_43_bit0 h_18_42_bit0 h_18_43_bit0 h_19_42_bit0 h_19_43_bit0 h_20_42_bit0 h_20_43_bit0 h_21_42_bit0 h_21_43_bit0 h_22_42_bit0 h_22_43_bit0 h_23_42_bit0 h_23_43_bit0 h_24_42_bit0 h_24_43_bit0 h_25_42_bit0 h_25_43_bit0 h_26_42_bit0 h_26_43_bit0 h_27_42_bit0 h_27_43_bit0 h_28_42_bit0 h_28_43_bit0 h_29_42_bit0 h_29_43_bit0 h_30_42_bit0 h_30_43_bit0 h_31_42_bit0 h_31_43_bit0 -x_2_2_bit0 h_32_42_bit0 h_32_43_bit0 h_33_42_bit0 h_33_43_bit0 h_34_42_bit0 h_34_43_bit0 h_35_42_bit0 h_35_43_bit0 h_36_42_bit0 h_36_43_bit0 h_37_42_bit0 h_37_43_bit0 h_38_42_bit0 h_38_43_bit0 h_39_42_bit0 h_39_43_bit0 h_40_42_bit0 h_40_43_bit0 h_41_42_bit0 h_41_43_bit0 h_42_44_bit0 h_43_44_bit0 h_42_45_bit0 h_43_45_bit0 h_42_46_bit0 h_43_46_bit0 h_42_47_bit0 h_43_47_bit0 h_42_48_bit0 h_43_48_bit0 h_42_49_bit0 h_43_49_bit0 h_42_50_bit0 h_43_50_bit0 h_42_51_bit0 h_43_51_bit0 h_42_52_bit0 h_43_52_bit0 h_42_53_bit0 h_43_53_bit0 h_42_54_bit0 h_43_54_bit0 h_42_55_bit0 h_43_55_bit0 h_42_56_bit0 h_43_56_bit0 h_42_57_bit0 h_43_57_bit0 h_42_58_bit0 h_43_58_bit0 h_42_59_bit0 h_43_59_bit0 h_42_60_bit0 h_43_60_bit0 h_42_61_bit0 h_43_61_bit0 h_42_62_bit0 h_43_62_bit0 -h_42_63_bit0 h_43_63_bit0 x_2_0_bit0 h_4_41_bit0 h_42_64_bit0 h_43_64_bit0 h_42_65_bit0 h_43_65_bit0 -h_42_66_bit0 h_43_66_bit0 h_42_67_bit0 h_43_67_bit0 h_42_68_bit0 h_43_68_bit0 h_42_69_bit0 h_43_69_bit0 h_42_70_bit0 h_43_70_bit0 h_42_71_bit0 h_43_71_bit0 h_42_72_bit0 h_43_72_bit0 h_42_73_bit0 h_43_73_bit0 -x_20_0_bit0 h_42_74_bit0 h_43_74_bit0 h_42_75_bit0 h_43_75_bit0 h_42_76_bit0 h_43_76_bit0 h_42_77_bit0 h_43_77_bit0 h_42_78_bit0 h_43_78_bit0 h_42_79_bit0 h_43_79_bit0 h_0_44_bit0 h_0_45_bit0 h_1_44_bit0 -h_1_45_bit0 h_2_44_bit0 h_2_45_bit0 h_3_44_bit0 h_3_45_bit0 h_4_44_bit0 h_4_45_bit0 h_5_44_bit0 h_5_45_bit0 h_6_44_bit0 h_6_45_bit0 h_7_44_bit0 h_7_45_bit0 h_8_44_bit0 h_8_45_bit0 h_9_44_bit0 h_9_45_bit0 h_10_44_bit0 h_10_45_bit0 h_11_44_bit0 h_11_45_bit0 h_12_44_bit0 h_12_45_bit0 h_13_44_bit0 h_13_45_bit0 h_14_44_bit0 h_14_45_bit0 h_15_44_bit0 h_15_45_bit0 h_16_44_bit0 h_16_45_bit0 h_17_44_bit0 h_17_45_bit0 h_18_44_bit0 h_18_45_bit0 h_19_44_bit0 h_19_45_bit0 h_20_44_bit0 h_20_45_bit0 h_21_44_bit0 h_21_45_bit0 h_22_44_bit0 h_22_45_bit0 h_23_44_bit0 h_23_45_bit0 h_24_44_bit0 h_24_45_bit0 h_25_44_bit0 h_25_45_bit0 -h_26_44_bit0 h_26_45_bit0 h_27_44_bit0 -h_27_45_bit0 h_28_44_bit0 h_28_45_bit0 h_29_44_bit0 h_29_45_bit0 h_30_44_bit0 h_30_45_bit0 h_31_44_bit0 h_31_45_bit0 h_32_44_bit0 h_32_45_bit0 h_33_44_bit0 h_33_45_bit0 h_34_44_bit0 h_34_45_bit0 h_35_44_bit0 h_35_45_bit0 h_36_44_bit0 h_36_45_bit0 h_37_44_bit0 h_37_45_bit0 h_38_44_bit0 h_38_45_bit0 h_39_44_bit0 h_39_45_bit0 h_40_44_bit0 h_40_45_bit0 h_41_44_bit0 h_41_45_bit0 h_44_46_bit0 h_45_46_bit0 h_44_47_bit0 h_45_47_bit0 h_44_48_bit0 h_45_48_bit0 h_44_49_bit0 h_45_49_bit0 h_44_50_bit0 h_45_50_bit0 h_44_51_bit0 h_45_51_bit0 h_44_52_bit0 h_45_52_bit0 h_44_53_bit0 -h_45_53_bit0 h_44_54_bit0 h_45_54_bit0 h_44_55_bit0 h_45_55_bit0 h_44_56_bit0 h_45_56_bit0 h_44_57_bit0 h_45_57_bit0 h_44_58_bit0 h_45_58_bit0 h_44_59_bit0 h_45_59_bit0 h_44_60_bit0 h_45_60_bit0 h_44_61_bit0 h_45_61_bit0 h_44_62_bit0 h_45_62_bit0 h_44_63_bit0 h_45_63_bit0 h_44_64_bit0 h_45_64_bit0 h_44_65_bit0 h_45_65_bit0 h_44_66_bit0 h_45_66_bit0 h_44_67_bit0 h_45_67_bit0 h_44_68_bit0 h_45_68_bit0 h_44_69_bit0 h_45_69_bit0 h_44_70_bit0 h_45_70_bit0 h_44_71_bit0 h_45_71_bit0 h_44_72_bit0 h_45_72_bit0 h_44_73_bit0 h_45_73_bit0 h_44_74_bit0 h_45_74_bit0 h_44_75_bit0 h_45_75_bit0 h_44_76_bit0 h_45_76_bit0 h_44_77_bit0 h_45_77_bit0 h_44_78_bit0 h_45_78_bit0 h_44_79_bit0 h_45_79_bit0 h_0_46_bit0 h_0_47_bit0 h_1_46_bit0 h_1_47_bit0 h_2_46_bit0 h_2_47_bit0 h_3_46_bit0 h_3_47_bit0 h_4_46_bit0 h_4_47_bit0 h_5_46_bit0 h_5_47_bit0 h_6_46_bit0 h_6_47_bit0 h_7_46_bit0 h_7_47_bit0 h_8_46_bit0 h_8_47_bit0 h_9_46_bit0 h_9_47_bit0 h_10_46_bit0 h_10_47_bit0 h_11_46_bit0 h_11_47_bit0 -h_12_46_bit0 h_12_47_bit0 h_13_46_bit0 h_13_47_bit0 h_14_46_bit0 h_14_47_bit0 h_15_46_bit0 h_15_47_bit0 h_16_46_bit0 h_16_47_bit0 h_17_46_bit0 h_17_47_bit0 h_18_46_bit0 h_18_47_bit0 h_19_46_bit0 h_19_47_bit0 h_20_46_bit0 h_20_47_bit0 h_21_46_bit0 h_21_47_bit0 h_22_46_bit0 h_22_47_bit0 h_23_46_bit0 h_23_47_bit0 h_24_46_bit0 h_24_47_bit0 h_25_46_bit0 h_25_47_bit0 x_21_0_bit0 h_26_46_bit0 h_26_47_bit0 h_27_46_bit0 h_27_47_bit0 h_28_46_bit0 h_28_47_bit0 h_29_46_bit0 h_29_47_bit0 -h_30_46_bit0 h_30_47_bit0 -h_31_46_bit0 h_31_47_bit0 h_32_46_bit0 h_32_47_bit0 h_33_46_bit0 h_33_47_bit0 -h_34_46_bit0 h_34_47_bit0 -h_35_46_bit0 h_35_47_bit0 h_36_46_bit0 h_36_47_bit0 h_37_46_bit0 h_37_47_bit0 h_38_46_bit0 h_38_47_bit0 h_39_46_bit0 h_39_47_bit0 h_40_46_bit0 h_40_47_bit0 h_41_46_bit0 h_41_47_bit0 h_0_53_bit0 -h_46_48_bit0 h_47_48_bit0 h_46_49_bit0 h_47_49_bit0 h_46_50_bit0 h_47_50_bit0 h_46_51_bit0 h_47_51_bit0 -h_46_52_bit0 h_47_52_bit0 h_46_53_bit0 h_47_53_bit0 h_46_54_bit0 h_47_54_bit0 h_46_55_bit0 h_47_55_bit0 h_46_56_bit0 h_47_56_bit0 h_46_57_bit0 h_47_57_bit0 h_46_58_bit0 h_47_58_bit0 h_46_59_bit0 h_47_59_bit0 h_46_60_bit0 h_47_60_bit0 h_46_61_bit0 h_47_61_bit0 h_46_62_bit0 h_47_62_bit0 h_46_63_bit0 h_47_63_bit0 h_46_64_bit0 h_47_64_bit0 h_46_65_bit0 h_47_65_bit0 h_46_66_bit0 h_47_66_bit0 h_46_67_bit0 h_47_67_bit0 h_46_68_bit0 h_47_68_bit0 h_46_69_bit0 h_47_69_bit0 h_46_70_bit0 h_47_70_bit0 h_46_71_bit0 h_47_71_bit0 -h_46_72_bit0 h_47_72_bit0 h_46_73_bit0 h_47_73_bit0 h_46_74_bit0 h_47_74_bit0 h_46_75_bit0 h_47_75_bit0 h_46_76_bit0 h_47_76_bit0 h_46_77_bit0 h_47_77_bit0 -h_46_78_bit0 h_47_78_bit0 h_46_79_bit0 h_47_79_bit0 h_0_48_bit0 h_0_49_bit0 h_1_48_bit0 h_1_49_bit0 h_2_48_bit0 h_2_49_bit0 h_3_48_bit0 h_3_49_bit0 h_4_48_bit0 h_4_49_bit0 h_5_48_bit0 h_5_49_bit0 h_6_48_bit0 -h_6_49_bit0 h_7_48_bit0 h_7_49_bit0 h_8_48_bit0 h_8_49_bit0 h_9_48_bit0 h_9_49_bit0 h_10_48_bit0 h_10_49_bit0 h_11_48_bit0 h_11_49_bit0 h_12_48_bit0 h_12_49_bit0 h_13_48_bit0 h_13_49_bit0 h_14_48_bit0 h_14_49_bit0 h_15_48_bit0 h_15_49_bit0 h_16_48_bit0 h_16_49_bit0 h_17_48_bit0 h_17_49_bit0 -x_23_0_bit0 -h_18_48_bit0 h_18_49_bit0 h_19_48_bit0 h_19_49_bit0 h_20_48_bit0 h_20_49_bit0 h_21_48_bit0 h_21_49_bit0 -h_22_48_bit0 h_22_49_bit0 h_23_48_bit0 h_23_49_bit0 h_24_48_bit0 h_24_49_bit0 h_25_48_bit0 h_25_49_bit0 h_26_48_bit0 h_26_49_bit0 h_27_48_bit0 h_27_49_bit0 -x_23_1_bit0 -h_28_48_bit0 h_28_49_bit0 h_29_48_bit0 h_29_49_bit0 h_30_48_bit0 h_30_49_bit0 h_31_48_bit0 h_31_49_bit0 h_32_48_bit0 h_32_49_bit0 h_33_48_bit0 h_33_49_bit0 h_34_48_bit0 h_34_49_bit0 h_35_48_bit0 h_35_49_bit0 -h_36_48_bit0 h_36_49_bit0 h_37_48_bit0 h_37_49_bit0 h_38_48_bit0 h_38_49_bit0 h_39_48_bit0 h_39_49_bit0 h_40_48_bit0 h_40_49_bit0 h_41_48_bit0 h_41_49_bit0 -x_23_2_bit0 h_48_50_bit0 h_49_50_bit0 h_48_51_bit0 h_49_51_bit0 -h_48_52_bit0 h_49_52_bit0 h_48_53_bit0 h_49_53_bit0 h_48_54_bit0 h_49_54_bit0 h_48_55_bit0 h_49_55_bit0 h_48_56_bit0 h_49_56_bit0 h_48_57_bit0 h_49_57_bit0 h_48_58_bit0 h_49_58_bit0 h_48_59_bit0 h_49_59_bit0 -h_48_60_bit0 h_49_60_bit0 h_48_61_bit0 h_49_61_bit0 h_48_62_bit0 -h_49_62_bit0 h_48_63_bit0 h_49_63_bit0 h_48_64_bit0 h_49_64_bit0 h_48_65_bit0 h_49_65_bit0 h_48_66_bit0 h_49_66_bit0 h_48_67_bit0 h_49_67_bit0 h_48_68_bit0 h_49_68_bit0 h_48_69_bit0 h_49_69_bit0 h_0_54_bit0 h_48_70_bit0 h_49_70_bit0 h_48_71_bit0 h_49_71_bit0 h_48_72_bit0 h_49_72_bit0 h_48_73_bit0 h_49_73_bit0 h_48_74_bit0 h_49_74_bit0 h_48_75_bit0 h_49_75_bit0 h_48_76_bit0 h_49_76_bit0 h_48_77_bit0 h_49_77_bit0 h_48_78_bit0 h_49_78_bit0 h_48_79_bit0 h_49_79_bit0 h_0_50_bit0 h_0_51_bit0 h_1_50_bit0 h_1_51_bit0 h_2_50_bit0 h_2_51_bit0 h_3_50_bit0 h_3_51_bit0 -h_4_50_bit0 h_4_51_bit0 h_5_50_bit0 h_5_51_bit0 h_6_50_bit0 h_6_51_bit0 h_7_50_bit0 h_7_51_bit0 -h_8_50_bit0 h_8_51_bit0 h_9_50_bit0 h_9_51_bit0 h_10_50_bit0 h_10_51_bit0 h_11_50_bit0 h_11_51_bit0 h_12_50_bit0 h_12_51_bit0 h_13_50_bit0 h_13_51_bit0 h_14_50_bit0 h_14_51_bit0 h_15_50_bit0 h_15_51_bit0 h_16_50_bit0 h_16_51_bit0 h_17_50_bit0 h_17_51_bit0 h_18_50_bit0 h_18_51_bit0 h_19_50_bit0 h_19_51_bit0 h_20_50_bit0 h_20_51_bit0 h_21_50_bit0 h_21_51_bit0 h_22_50_bit0 h_22_51_bit0 h_23_50_bit0 h_23_51_bit0 h_24_50_bit0 h_24_51_bit0 h_25_50_bit0 h_25_51_bit0 h_26_50_bit0 h_26_51_bit0 h_27_50_bit0 h_27_51_bit0 h_28_50_bit0 h_28_51_bit0 h_29_50_bit0 h_29_51_bit0 h_30_50_bit0 h_30_51_bit0 h_31_50_bit0 h_31_51_bit0 -h_32_50_bit0 h_32_51_bit0 h_33_50_bit0 h_33_51_bit0 h_34_50_bit0 h_34_51_bit0 h_35_50_bit0 h_35_51_bit0 h_36_50_bit0 h_36_51_bit0 h_37_50_bit0 h_37_51_bit0 h_38_50_bit0 h_38_51_bit0 h_39_50_bit0 h_39_51_bit0 h_40_50_bit0 h_40_51_bit0 -h_41_50_bit0 h_41_51_bit0 h_50_52_bit0 h_51_52_bit0 h_50_53_bit0 h_51_53_bit0 -h_50_54_bit0 h_51_54_bit0 h_50_55_bit0 h_51_55_bit0 h_50_56_bit0 h_51_56_bit0 h_50_57_bit0 h_51_57_bit0 h_50_58_bit0 h_51_58_bit0 -h_50_59_bit0 h_51_59_bit0 h_50_60_bit0 h_51_60_bit0 h_50_61_bit0 h_51_61_bit0 h_50_62_bit0 h_51_62_bit0 h_50_63_bit0 h_51_63_bit0 h_50_64_bit0 h_51_64_bit0 h_50_65_bit0 h_51_65_bit0 h_50_66_bit0 h_51_66_bit0 h_50_67_bit0 h_51_67_bit0 h_50_68_bit0 h_51_68_bit0 -h_50_69_bit0 h_51_69_bit0 h_50_70_bit0 h_51_70_bit0 h_50_71_bit0 h_51_71_bit0 -x_24_0_bit0 h_50_72_bit0 h_51_72_bit0 h_50_73_bit0 h_51_73_bit0 h_50_74_bit0 h_51_74_bit0 h_50_75_bit0 h_51_75_bit0 -h_50_76_bit0 h_51_76_bit0 h_50_77_bit0 h_51_77_bit0 h_50_78_bit0 h_51_78_bit0 h_50_79_bit0 h_51_79_bit0 h_1_52_bit0 -h_1_53_bit0 h_2_52_bit0 h_2_53_bit0 h_3_52_bit0 h_3_53_bit0 h_4_52_bit0 h_4_53_bit0 h_5_52_bit0 h_5_53_bit0 h_6_52_bit0 h_6_53_bit0 h_7_52_bit0 h_7_53_bit0 h_8_52_bit0 h_8_53_bit0 h_9_52_bit0 h_9_53_bit0 h_10_52_bit0 h_10_53_bit0 h_11_52_bit0 -h_11_53_bit0 h_0_55_bit0 -x_24_1_bit0 -h_12_52_bit0 h_12_53_bit0 h_13_52_bit0 h_13_53_bit0 h_14_52_bit0 h_14_53_bit0 h_15_52_bit0 h_15_53_bit0 h_16_52_bit0 h_16_53_bit0 h_17_52_bit0 h_17_53_bit0 h_18_52_bit0 h_18_53_bit0 h_19_52_bit0 h_19_53_bit0 h_20_52_bit0 h_20_53_bit0 h_21_52_bit0 h_21_53_bit0 -h_22_52_bit0 h_22_53_bit0 h_23_52_bit0 h_23_53_bit0 h_24_52_bit0 h_24_53_bit0 h_25_52_bit0 h_25_53_bit0 h_26_52_bit0 h_26_53_bit0 h_27_52_bit0 h_27_53_bit0 -h_28_52_bit0 h_28_53_bit0 h_29_52_bit0 h_29_53_bit0 -h_30_52_bit0 h_30_53_bit0 -h_31_52_bit0 h_31_53_bit0 x_25_0_bit0 h_32_52_bit0 h_32_53_bit0 h_33_52_bit0 h_33_53_bit0 -h_34_52_bit0 h_34_53_bit0 -h_35_52_bit0 h_35_53_bit0 -h_36_52_bit0 h_36_53_bit0 h_37_52_bit0 h_37_53_bit0 -h_38_52_bit0 h_38_53_bit0 h_39_52_bit0 h_39_53_bit0 -h_40_52_bit0 h_40_53_bit0 h_41_52_bit0 h_41_53_bit0 -x_25_1_bit0 h_52_54_bit0 h_53_54_bit0 h_52_55_bit0 h_53_55_bit0 h_52_56_bit0 h_53_56_bit0 h_52_57_bit0 -h_53_57_bit0 h_52_58_bit0 h_53_58_bit0 h_52_59_bit0 h_53_59_bit0 -h_52_60_bit0 h_53_60_bit0 h_52_61_bit0 h_53_61_bit0 h_52_62_bit0 h_53_62_bit0 h_52_63_bit0 h_53_63_bit0 h_52_64_bit0 h_53_64_bit0 h_52_65_bit0 h_53_65_bit0 h_52_66_bit0 h_53_66_bit0 h_52_67_bit0 h_53_67_bit0 h_52_68_bit0 h_53_68_bit0 h_52_69_bit0 h_53_69_bit0 h_52_70_bit0 h_53_70_bit0 h_52_71_bit0 h_53_71_bit0 -h_52_72_bit0 h_53_72_bit0 h_52_73_bit0 h_53_73_bit0 h_52_74_bit0 h_53_74_bit0 h_52_75_bit0 h_53_75_bit0 h_52_76_bit0 h_53_76_bit0 h_52_77_bit0 h_53_77_bit0 -h_52_78_bit0 h_53_78_bit0 h_52_79_bit0 h_53_79_bit0 h_1_54_bit0 h_1_55_bit0 h_2_54_bit0 h_2_55_bit0 h_3_54_bit0 h_3_55_bit0 -x_25_2_bit0 -h_4_54_bit0 h_4_55_bit0 h_5_54_bit0 h_5_55_bit0 h_6_54_bit0 h_6_55_bit0 h_7_54_bit0 h_7_55_bit0 -h_8_54_bit0 h_8_55_bit0 h_9_54_bit0 h_9_55_bit0 h_10_54_bit0 h_10_55_bit0 h_11_54_bit0 h_11_55_bit0 h_12_54_bit0 h_12_55_bit0 h_13_54_bit0 h_13_55_bit0 -x_25_3_bit0 -h_14_54_bit0 h_14_55_bit0 h_15_54_bit0 h_15_55_bit0 h_16_54_bit0 h_16_55_bit0 h_17_54_bit0 h_17_55_bit0 h_18_54_bit0 h_18_55_bit0 h_19_54_bit0 h_19_55_bit0 h_20_54_bit0 h_20_55_bit0 h_21_54_bit0 h_21_55_bit0 h_22_54_bit0 h_22_55_bit0 h_23_54_bit0 h_23_55_bit0 h_24_54_bit0 h_24_55_bit0 h_25_54_bit0 h_25_55_bit0 h_26_54_bit0 h_26_55_bit0 h_27_54_bit0 h_27_55_bit0 h_28_54_bit0 h_28_55_bit0 h_29_54_bit0 h_29_55_bit0 h_30_54_bit0 h_30_55_bit0 h_31_54_bit0 h_31_55_bit0 -h_32_54_bit0 h_32_55_bit0 h_33_54_bit0 h_33_55_bit0 h_0_56_bit0 h_34_54_bit0 h_34_55_bit0 h_35_54_bit0 h_35_55_bit0 h_36_54_bit0 h_36_55_bit0 h_37_54_bit0 h_37_55_bit0 h_38_54_bit0 h_38_55_bit0 h_39_54_bit0 h_39_55_bit0 h_40_54_bit0 h_40_55_bit0 -h_41_54_bit0 h_41_55_bit0 -x_26_0_bit0 h_54_56_bit0 h_55_56_bit0 h_54_57_bit0 h_55_57_bit0 h_54_58_bit0 h_55_58_bit0 -h_54_59_bit0 h_55_59_bit0 h_54_60_bit0 h_55_60_bit0 h_54_61_bit0 h_55_61_bit0 h_54_62_bit0 h_55_62_bit0 h_54_63_bit0 h_55_63_bit0 h_54_64_bit0 h_55_64_bit0 h_54_65_bit0 h_55_65_bit0 -x_26_1_bit0 h_54_66_bit0 h_55_66_bit0 h_54_67_bit0 h_55_67_bit0 h_54_68_bit0 h_55_68_bit0 -h_54_69_bit0 h_55_69_bit0 h_54_70_bit0 h_55_70_bit0 h_54_71_bit0 h_55_71_bit0 h_54_72_bit0 h_55_72_bit0 h_54_73_bit0 h_55_73_bit0 h_54_74_bit0 h_55_74_bit0 h_54_75_bit0 h_55_75_bit0 h_54_76_bit0 h_55_76_bit0 h_54_77_bit0 h_55_77_bit0 h_54_78_bit0 h_55_78_bit0 h_54_79_bit0 h_55_79_bit0 h_0_57_bit0 h_1_56_bit0 -h_1_57_bit0 h_2_56_bit0 h_2_57_bit0 h_3_56_bit0 h_3_57_bit0 h_4_56_bit0 h_4_57_bit0 h_5_56_bit0 h_5_57_bit0 h_6_56_bit0 h_6_57_bit0 h_7_56_bit0 h_7_57_bit0 h_8_56_bit0 h_8_57_bit0 h_9_56_bit0 h_9_57_bit0 h_10_56_bit0 h_10_57_bit0 h_11_56_bit0 -h_11_57_bit0 h_12_56_bit0 h_12_57_bit0 h_13_56_bit0 h_13_57_bit0 h_14_56_bit0 h_14_57_bit0 h_15_56_bit0 h_15_57_bit0 h_16_56_bit0 h_16_57_bit0 h_17_56_bit0 h_17_57_bit0 h_18_56_bit0 h_18_57_bit0 h_19_56_bit0 h_19_57_bit0 h_20_56_bit0 h_20_57_bit0 h_21_56_bit0 h_21_57_bit0 h_22_56_bit0 h_22_57_bit0 h_23_56_bit0 h_23_57_bit0 h_24_56_bit0 h_24_57_bit0 h_25_56_bit0 h_25_57_bit0 h_26_56_bit0 h_26_57_bit0 h_27_56_bit0 -h_27_57_bit0 h_28_56_bit0 h_28_57_bit0 h_29_56_bit0 h_29_57_bit0 h_30_56_bit0 h_30_57_bit0 h_31_56_bit0 h_31_57_bit0 h_32_56_bit0 h_32_57_bit0 h_33_56_bit0 h_33_57_bit0 h_34_56_bit0 h_34_57_bit0 h_35_56_bit0 h_35_57_bit0 h_36_56_bit0 h_36_57_bit0 h_37_56_bit0 h_37_57_bit0 h_38_56_bit0 h_38_57_bit0 h_39_56_bit0 h_39_57_bit0 h_40_56_bit0 h_40_57_bit0 h_41_56_bit0 h_41_57_bit0 h_56_58_bit0 h_57_58_bit0 h_56_59_bit0 h_57_59_bit0 h_56_60_bit0 h_57_60_bit0 h_56_61_bit0 h_57_61_bit0 h_56_62_bit0 h_57_62_bit0 h_56_63_bit0 h_57_63_bit0 h_56_64_bit0 h_57_64_bit0 h_56_65_bit0 h_57_65_bit0 h_56_66_bit0 h_57_66_bit0 h_56_67_bit0 h_57_67_bit0 h_56_68_bit0 h_57_68_bit0 h_56_69_bit0 h_57_69_bit0 h_56_70_bit0 h_57_70_bit0 h_56_71_bit0 h_57_71_bit0 h_56_72_bit0 h_57_72_bit0 h_56_73_bit0 h_57_73_bit0 h_56_74_bit0 h_57_74_bit0 h_56_75_bit0 h_57_75_bit0 h_56_76_bit0 h_57_76_bit0 h_56_77_bit0 h_57_77_bit0 x_27_0_bit0 h_56_78_bit0 h_57_78_bit0 h_56_79_bit0 h_57_79_bit0 h_0_58_bit0 h_0_59_bit0 h_1_58_bit0 h_1_59_bit0 h_2_58_bit0 h_2_59_bit0 h_3_58_bit0 h_3_59_bit0 h_4_58_bit0 -h_4_59_bit0 h_5_58_bit0 h_5_59_bit0 h_6_58_bit0 h_6_59_bit0 h_7_58_bit0 h_7_59_bit0 h_8_58_bit0 -h_8_59_bit0 h_9_58_bit0 h_9_59_bit0 h_10_58_bit0 h_10_59_bit0 h_11_58_bit0 h_11_59_bit0 h_12_58_bit0 h_12_59_bit0 h_13_58_bit0 h_13_59_bit0 h_14_58_bit0 h_14_59_bit0 h_15_58_bit0 h_15_59_bit0 h_16_58_bit0 h_16_59_bit0 h_17_58_bit0 h_17_59_bit0 x_27_1_bit0 h_18_58_bit0 h_18_59_bit0 h_19_58_bit0 h_19_59_bit0 h_20_58_bit0 h_20_59_bit0 h_21_58_bit0 h_21_59_bit0 h_22_58_bit0 h_22_59_bit0 h_23_58_bit0 h_23_59_bit0 h_24_58_bit0 h_24_59_bit0 h_25_58_bit0 h_25_59_bit0 h_26_58_bit0 h_26_59_bit0 h_27_58_bit0 h_27_59_bit0 h_28_58_bit0 h_28_59_bit0 h_29_58_bit0 h_29_59_bit0 h_30_58_bit0 h_30_59_bit0 h_31_58_bit0 h_31_59_bit0 h_32_58_bit0 h_32_59_bit0 h_33_58_bit0 h_33_59_bit0 h_34_58_bit0 h_34_59_bit0 h_35_58_bit0 h_35_59_bit0 h_36_58_bit0 h_36_59_bit0 h_37_58_bit0 h_37_59_bit0 h_38_58_bit0 h_38_59_bit0 h_39_58_bit0 h_39_59_bit0 h_40_58_bit0 h_40_59_bit0 h_41_58_bit0 -h_41_59_bit0 -x_27_2_bit0 h_58_60_bit0 h_59_60_bit0 h_58_61_bit0 h_59_61_bit0 h_58_62_bit0 h_59_62_bit0 h_58_63_bit0 h_59_63_bit0 h_58_64_bit0 h_59_64_bit0 h_58_65_bit0 h_59_65_bit0 h_58_66_bit0 h_59_66_bit0 h_58_67_bit0 h_59_67_bit0 h_58_68_bit0 h_59_68_bit0 h_58_69_bit0 -h_59_69_bit0 h_58_70_bit0 h_59_70_bit0 h_58_71_bit0 h_59_71_bit0 h_58_72_bit0 h_59_72_bit0 h_58_73_bit0 h_59_73_bit0 h_58_74_bit0 h_59_74_bit0 h_58_75_bit0 h_59_75_bit0 h_58_76_bit0 h_59_76_bit0 h_58_77_bit0 h_59_77_bit0 h_58_78_bit0 h_59_78_bit0 h_58_79_bit0 h_59_79_bit0 h_0_60_bit0 -h_0_61_bit0 h_1_60_bit0 h_1_61_bit0 h_2_60_bit0 h_2_61_bit0 h_3_60_bit0 h_3_61_bit0 h_4_60_bit0 h_4_61_bit0 h_5_60_bit0 h_5_61_bit0 h_6_60_bit0 h_6_61_bit0 h_7_60_bit0 -h_7_61_bit0 h_8_60_bit0 h_8_61_bit0 h_9_60_bit0 -h_9_61_bit0 -x_27_3_bit0 h_10_60_bit0 -h_10_61_bit0 h_11_60_bit0 h_11_61_bit0 -h_12_60_bit0 h_12_61_bit0 h_13_60_bit0 h_13_61_bit0 h_14_60_bit0 h_14_61_bit0 h_15_60_bit0 h_15_61_bit0 h_16_60_bit0 -h_16_61_bit0 h_17_60_bit0 -h_17_61_bit0 h_18_60_bit0 h_18_61_bit0 h_19_60_bit0 h_19_61_bit0 h_20_60_bit0 -h_20_61_bit0 h_21_60_bit0 h_21_61_bit0 -h_22_60_bit0 h_22_61_bit0 h_23_60_bit0 -h_23_61_bit0 h_24_60_bit0 -h_24_61_bit0 h_25_60_bit0 h_25_61_bit0 h_26_60_bit0 h_26_61_bit0 h_27_60_bit0 h_27_61_bit0 -h_28_60_bit0 h_28_61_bit0 h_29_60_bit0 -h_29_61_bit0 -h_30_60_bit0 h_30_61_bit0 -h_31_60_bit0 h_31_61_bit0 h_32_60_bit0 h_32_61_bit0 h_33_60_bit0 h_33_61_bit0 -h_34_60_bit0 h_34_61_bit0 -h_35_60_bit0 h_35_61_bit0 -h_36_60_bit0 h_36_61_bit0 h_37_60_bit0 -h_37_61_bit0 h_38_60_bit0 h_38_61_bit0 h_39_60_bit0 h_39_61_bit0 h_40_60_bit0 h_40_61_bit0 h_41_60_bit0 h_41_61_bit0 h_60_62_bit0 h_61_62_bit0 h_60_63_bit0 -h_61_63_bit0 h_60_64_bit0 -h_61_64_bit0 h_60_65_bit0 h_61_65_bit0 h_60_66_bit0 -h_61_66_bit0 h_60_67_bit0 h_61_67_bit0 h_60_68_bit0 h_61_68_bit0 h_60_69_bit0 h_61_69_bit0 h_60_70_bit0 -h_61_70_bit0 h_60_71_bit0 -h_61_71_bit0 x_29_0_bit0 -h_60_72_bit0 h_61_72_bit0 h_60_73_bit0 h_61_73_bit0 h_60_74_bit0 h_61_74_bit0 h_60_75_bit0 -h_61_75_bit0 h_60_76_bit0 h_61_76_bit0 h_60_77_bit0 h_61_77_bit0 -h_60_78_bit0 h_61_78_bit0 h_60_79_bit0 h_61_79_bit0 h_0_62_bit0 -h_0_63_bit0 h_1_62_bit0 h_1_63_bit0 h_2_62_bit0 -h_2_63_bit0 h_3_62_bit0 h_3_63_bit0 h_4_62_bit0 h_4_63_bit0 h_5_62_bit0 h_5_63_bit0 h_6_62_bit0 h_6_63_bit0 h_7_62_bit0 h_7_63_bit0 h_8_62_bit0 h_8_63_bit0 h_9_62_bit0 h_9_63_bit0 h_10_62_bit0 h_10_63_bit0 h_11_62_bit0 h_11_63_bit0 h_12_62_bit0 h_12_63_bit0 h_13_62_bit0 h_13_63_bit0 h_14_62_bit0 h_14_63_bit0 h_15_62_bit0 h_15_63_bit0 h_16_62_bit0 h_16_63_bit0 h_17_62_bit0 h_17_63_bit0 h_18_62_bit0 h_18_63_bit0 h_19_62_bit0 h_19_63_bit0 h_20_62_bit0 h_20_63_bit0 h_21_62_bit0 h_21_63_bit0 x_29_1_bit0 h_22_62_bit0 h_22_63_bit0 h_23_62_bit0 -h_23_63_bit0 h_24_62_bit0 h_24_63_bit0 h_25_62_bit0 h_25_63_bit0 h_26_62_bit0 h_26_63_bit0 h_27_62_bit0 h_27_63_bit0 h_28_62_bit0 h_28_63_bit0 h_29_62_bit0 -h_29_63_bit0 h_30_62_bit0 h_30_63_bit0 h_31_62_bit0 h_31_63_bit0 x_29_2_bit0 h_32_62_bit0 h_32_63_bit0 h_33_62_bit0 h_33_63_bit0 h_34_62_bit0 h_34_63_bit0 h_35_62_bit0 h_35_63_bit0 h_36_62_bit0 h_36_63_bit0 h_37_62_bit0 -h_37_63_bit0 h_38_62_bit0 h_38_63_bit0 h_39_62_bit0 h_39_63_bit0 h_40_62_bit0 h_40_63_bit0 h_41_62_bit0 h_41_63_bit0 h_62_64_bit0 h_63_64_bit0 h_62_65_bit0 h_63_65_bit0 h_62_66_bit0 -h_63_66_bit0 h_62_67_bit0 h_63_67_bit0 h_62_68_bit0 h_63_68_bit0 h_62_69_bit0 h_63_69_bit0 h_62_70_bit0 h_63_70_bit0 h_62_71_bit0 h_63_71_bit0 h_62_72_bit0 h_63_72_bit0 h_62_73_bit0 h_63_73_bit0 h_62_74_bit0 h_63_74_bit0 h_62_75_bit0 -h_63_75_bit0 h_62_76_bit0 h_63_76_bit0 h_62_77_bit0 h_63_77_bit0 h_62_78_bit0 h_63_78_bit0 h_62_79_bit0 h_63_79_bit0 -h_0_64_bit0 h_0_65_bit0 h_1_64_bit0 h_1_65_bit0 h_2_64_bit0 h_2_65_bit0 h_3_64_bit0 h_3_65_bit0 h_4_64_bit0 h_4_65_bit0 h_5_64_bit0 h_5_65_bit0 h_6_64_bit0 h_6_65_bit0 h_7_64_bit0 h_7_65_bit0 h_8_64_bit0 h_8_65_bit0 -h_9_64_bit0 h_9_65_bit0 -h_10_64_bit0 h_10_65_bit0 h_11_64_bit0 h_11_65_bit0 h_12_64_bit0 h_12_65_bit0 h_13_64_bit0 h_13_65_bit0 h_14_64_bit0 h_14_65_bit0 h_15_64_bit0 h_15_65_bit0 -h_16_64_bit0 h_16_65_bit0 -h_17_64_bit0 h_17_65_bit0 h_18_64_bit0 h_18_65_bit0 h_19_64_bit0 h_19_65_bit0 -h_20_64_bit0 h_20_65_bit0 h_21_64_bit0 -h_21_65_bit0 h_22_64_bit0 h_22_65_bit0 -h_23_64_bit0 h_23_65_bit0 -h_24_64_bit0 h_24_65_bit0 h_25_64_bit0 -h_25_65_bit0 h_26_64_bit0 h_26_65_bit0 h_27_64_bit0 h_27_65_bit0 h_28_64_bit0 h_28_65_bit0 -h_29_64_bit0 h_29_65_bit0 h_30_64_bit0 h_30_65_bit0 h_31_64_bit0 h_31_65_bit0 h_32_64_bit0 h_32_65_bit0 h_33_64_bit0 h_33_65_bit0 h_34_64_bit0 h_34_65_bit0 h_35_64_bit0 h_35_65_bit0 h_36_64_bit0 h_36_65_bit0 -h_37_64_bit0 h_37_65_bit0 h_38_64_bit0 h_38_65_bit0 h_39_64_bit0 h_39_65_bit0 h_40_64_bit0 h_40_65_bit0 h_41_64_bit0 h_41_65_bit0 -h_64_66_bit0 h_65_66_bit0 h_64_67_bit0 h_65_67_bit0 h_64_68_bit0 h_65_68_bit0 h_64_69_bit0 h_65_69_bit0 -h_64_70_bit0 h_65_70_bit0 -h_64_71_bit0 h_65_71_bit0 h_64_72_bit0 h_65_72_bit0 h_64_73_bit0 h_65_73_bit0 h_64_74_bit0 h_65_74_bit0 h_64_75_bit0 h_65_75_bit0 -x_30_0_bit0 h_64_76_bit0 h_65_76_bit0 h_64_77_bit0 h_65_77_bit0 h_64_78_bit0 h_65_78_bit0 h_64_79_bit0 h_65_79_bit0 -h_0_66_bit0 h_0_67_bit0 h_1_66_bit0 h_1_67_bit0 -h_2_66_bit0 h_2_67_bit0 h_3_66_bit0 h_3_67_bit0 h_4_66_bit0 h_4_67_bit0 h_5_66_bit0 h_5_67_bit0 h_6_66_bit0 h_6_67_bit0 -h_7_66_bit0 h_7_67_bit0 h_8_66_bit0 h_8_67_bit0 -h_9_66_bit0 h_9_67_bit0 -h_10_66_bit0 h_10_67_bit0 h_11_66_bit0 h_11_67_bit0 h_12_66_bit0 h_12_67_bit0 h_13_66_bit0 h_13_67_bit0 h_14_66_bit0 h_14_67_bit0 h_15_66_bit0 h_15_67_bit0 -h_16_66_bit0 h_16_67_bit0 -h_17_66_bit0 h_17_67_bit0 h_18_66_bit0 h_18_67_bit0 h_19_66_bit0 h_19_67_bit0 -h_20_66_bit0 h_20_67_bit0 h_21_66_bit0 h_21_67_bit0 h_22_66_bit0 h_22_67_bit0 -h_23_66_bit0 h_23_67_bit0 -h_24_66_bit0 h_24_67_bit0 h_25_66_bit0 h_25_67_bit0 h_26_66_bit0 h_26_67_bit0 h_27_66_bit0 h_27_67_bit0 h_28_66_bit0 h_28_67_bit0 -h_29_66_bit0 h_29_67_bit0 h_30_66_bit0 h_30_67_bit0 h_31_66_bit0 h_31_67_bit0 h_32_66_bit0 h_32_67_bit0 h_33_66_bit0 h_33_67_bit0 h_34_66_bit0 h_34_67_bit0 h_35_66_bit0 h_35_67_bit0 h_36_66_bit0 h_36_67_bit0 -h_37_66_bit0 h_37_67_bit0 h_38_66_bit0 h_38_67_bit0 h_39_66_bit0 h_39_67_bit0 h_40_66_bit0 h_40_67_bit0 h_41_66_bit0 h_41_67_bit0 -x_30_1_bit0 h_0_5_bit0 h_66_68_bit0 h_67_68_bit0 h_66_69_bit0 h_67_69_bit0 -h_66_70_bit0 h_67_70_bit0 -h_66_71_bit0 h_67_71_bit0 h_66_72_bit0 h_67_72_bit0 h_66_73_bit0 h_67_73_bit0 h_66_74_bit0 h_67_74_bit0 h_66_75_bit0 h_67_75_bit0 h_66_76_bit0 h_67_76_bit0 h_66_77_bit0 h_67_77_bit0 h_66_78_bit0 h_67_78_bit0 h_66_79_bit0 h_67_79_bit0 h_0_68_bit0 h_0_69_bit0 h_1_68_bit0 h_1_69_bit0 h_2_68_bit0 h_2_69_bit0 h_3_68_bit0 h_3_69_bit0 h_4_68_bit0 -h_4_69_bit0 h_5_68_bit0 h_5_69_bit0 h_6_68_bit0 h_6_69_bit0 h_7_68_bit0 h_7_69_bit0 h_8_68_bit0 -h_8_69_bit0 h_9_68_bit0 h_9_69_bit0 h_10_68_bit0 h_10_69_bit0 h_11_68_bit0 h_11_69_bit0 h_12_68_bit0 h_12_69_bit0 h_13_68_bit0 h_13_69_bit0 h_14_68_bit0 h_14_69_bit0 h_15_68_bit0 h_15_69_bit0 h_16_68_bit0 h_16_69_bit0 h_17_68_bit0 h_17_69_bit0 h_18_68_bit0 h_18_69_bit0 h_19_68_bit0 h_19_69_bit0 h_20_68_bit0 h_20_69_bit0 h_21_68_bit0 h_21_69_bit0 h_22_68_bit0 h_22_69_bit0 h_23_68_bit0 h_23_69_bit0 h_24_68_bit0 h_24_69_bit0 h_25_68_bit0 h_25_69_bit0 h_26_68_bit0 h_26_69_bit0 h_27_68_bit0 h_27_69_bit0 h_28_68_bit0 h_28_69_bit0 h_29_68_bit0 h_29_69_bit0 h_30_68_bit0 h_30_69_bit0 h_31_68_bit0 h_31_69_bit0 h_32_68_bit0 -h_32_69_bit0 h_33_68_bit0 h_33_69_bit0 h_34_68_bit0 h_34_69_bit0 h_35_68_bit0 h_35_69_bit0 h_36_68_bit0 h_36_69_bit0 h_37_68_bit0 h_37_69_bit0 h_38_68_bit0 h_38_69_bit0 h_39_68_bit0 h_39_69_bit0 h_40_68_bit0 h_40_69_bit0 h_41_68_bit0 -h_41_69_bit0 h_68_70_bit0 h_69_70_bit0 h_68_71_bit0 h_69_71_bit0 h_68_72_bit0 h_69_72_bit0 h_68_73_bit0 h_69_73_bit0 h_68_74_bit0 h_69_74_bit0 h_68_75_bit0 h_69_75_bit0 h_68_76_bit0 -h_69_76_bit0 h_68_77_bit0 h_69_77_bit0 h_68_78_bit0 h_69_78_bit0 h_68_79_bit0 h_69_79_bit0 h_0_72_bit0 h_0_73_bit0 h_1_72_bit0 h_1_73_bit0 h_2_72_bit0 h_2_73_bit0 h_3_72_bit0 h_3_73_bit0 h_4_72_bit0 h_4_73_bit0 h_5_72_bit0 h_5_73_bit0 h_6_72_bit0 h_6_73_bit0 h_7_72_bit0 h_7_73_bit0 h_8_72_bit0 h_8_73_bit0 h_9_72_bit0 h_9_73_bit0 h_10_72_bit0 h_10_73_bit0 h_11_72_bit0 h_11_73_bit0 -h_12_72_bit0 h_12_73_bit0 h_13_72_bit0 h_13_73_bit0 h_14_72_bit0 h_14_73_bit0 h_15_72_bit0 h_15_73_bit0 h_16_72_bit0 h_16_73_bit0 h_17_72_bit0 h_17_73_bit0 h_18_72_bit0 h_18_73_bit0 h_19_72_bit0 h_19_73_bit0 h_20_72_bit0 h_20_73_bit0 h_21_72_bit0 h_21_73_bit0 -h_22_72_bit0 h_22_73_bit0 h_23_72_bit0 h_23_73_bit0 h_24_72_bit0 h_24_73_bit0 h_25_72_bit0 h_25_73_bit0 h_26_72_bit0 h_26_73_bit0 h_27_72_bit0 h_27_73_bit0 -h_28_72_bit0 h_28_73_bit0 h_29_72_bit0 h_29_73_bit0 -h_30_72_bit0 h_30_73_bit0 -h_31_72_bit0 h_31_73_bit0 h_32_72_bit0 h_32_73_bit0 h_33_72_bit0 h_33_73_bit0 -h_34_72_bit0 h_34_73_bit0 -h_35_72_bit0 h_35_73_bit0 -h_36_72_bit0 h_36_73_bit0 h_37_72_bit0 h_37_73_bit0 h_38_72_bit0 h_38_73_bit0 h_39_72_bit0 h_39_73_bit0 x_31_0_bit0 h_40_72_bit0 h_40_73_bit0 h_41_72_bit0 h_41_73_bit0 -x_31_1_bit0 h_70_72_bit0 h_70_73_bit0 h_71_72_bit0 h_71_73_bit0 h_72_74_bit0 h_73_74_bit0 h_72_75_bit0 h_73_75_bit0 h_72_76_bit0 h_73_76_bit0 h_72_77_bit0 h_73_77_bit0 h_72_78_bit0 h_73_78_bit0 h_72_79_bit0 h_73_79_bit0 h_0_74_bit0 h_0_75_bit0 h_1_74_bit0 h_1_75_bit0 x_31_2_bit0 h_2_74_bit0 h_2_75_bit0 h_3_74_bit0 h_3_75_bit0 h_4_74_bit0 h_4_75_bit0 h_5_74_bit0 h_5_75_bit0 h_6_74_bit0 h_6_75_bit0 h_7_74_bit0 -h_7_75_bit0 h_8_74_bit0 h_8_75_bit0 h_9_74_bit0 h_9_75_bit0 h_10_74_bit0 h_10_75_bit0 h_11_74_bit0 h_11_75_bit0 h_12_74_bit0 h_12_75_bit0 h_13_74_bit0 h_13_75_bit0 h_14_74_bit0 h_14_75_bit0 h_15_74_bit0 h_15_75_bit0 h_16_74_bit0 h_16_75_bit0 h_17_74_bit0 h_17_75_bit0 h_18_74_bit0 h_18_75_bit0 h_19_74_bit0 h_19_75_bit0 h_20_74_bit0 h_20_75_bit0 h_21_74_bit0 h_21_75_bit0 h_22_74_bit0 h_22_75_bit0 h_23_74_bit0 -h_23_75_bit0 h_24_74_bit0 h_24_75_bit0 h_25_74_bit0 h_25_75_bit0 h_26_74_bit0 h_26_75_bit0 h_27_74_bit0 h_27_75_bit0 h_28_74_bit0 h_28_75_bit0 h_29_74_bit0 -h_29_75_bit0 h_30_74_bit0 h_30_75_bit0 h_31_74_bit0 h_31_75_bit0 h_32_74_bit0 h_32_75_bit0 h_33_74_bit0 h_33_75_bit0 h_34_74_bit0 h_34_75_bit0 h_35_74_bit0 h_35_75_bit0 h_36_74_bit0 h_36_75_bit0 h_37_74_bit0 -h_37_75_bit0 h_38_74_bit0 h_38_75_bit0 h_39_74_bit0 h_39_75_bit0 h_40_74_bit0 h_40_75_bit0 h_41_74_bit0 h_41_75_bit0 h_70_74_bit0 h_70_75_bit0 h_71_74_bit0 h_71_75_bit0 h_74_76_bit0 h_75_76_bit0 h_74_77_bit0 h_75_77_bit0 h_74_78_bit0 h_75_78_bit0 h_74_79_bit0 h_75_79_bit0 h_0_76_bit0 h_0_77_bit0 h_1_76_bit0 h_1_77_bit0 h_2_76_bit0 h_2_77_bit0 h_3_76_bit0 h_3_77_bit0 -h_4_76_bit0 h_4_77_bit0 h_5_76_bit0 h_5_77_bit0 h_6_76_bit0 h_6_77_bit0 h_7_76_bit0 h_7_77_bit0 -h_8_76_bit0 h_8_77_bit0 h_9_76_bit0 h_9_77_bit0 h_10_76_bit0 h_10_77_bit0 h_11_76_bit0 h_11_77_bit0 h_12_76_bit0 h_12_77_bit0 h_13_76_bit0 h_13_77_bit0 h_14_76_bit0 h_14_77_bit0 h_15_76_bit0 h_15_77_bit0 h_16_76_bit0 h_16_77_bit0 h_17_76_bit0 h_17_77_bit0 h_18_76_bit0 h_18_77_bit0 h_19_76_bit0 h_19_77_bit0 h_20_76_bit0 h_20_77_bit0 h_21_76_bit0 h_21_77_bit0 h_22_76_bit0 h_22_77_bit0 h_23_76_bit0 h_23_77_bit0 h_24_76_bit0 h_24_77_bit0 h_25_76_bit0 h_25_77_bit0 h_26_76_bit0 h_26_77_bit0 h_27_76_bit0 h_27_77_bit0 h_28_76_bit0 h_28_77_bit0 h_29_76_bit0 h_29_77_bit0 h_30_76_bit0 h_30_77_bit0 h_31_76_bit0 h_31_77_bit0 -h_32_76_bit0 h_32_77_bit0 h_33_76_bit0 -h_33_77_bit0 h_34_76_bit0 h_34_77_bit0 h_35_76_bit0 h_35_77_bit0 h_36_76_bit0 h_36_77_bit0 h_37_76_bit0 h_37_77_bit0 h_38_76_bit0 h_38_77_bit0 h_39_76_bit0 h_39_77_bit0 h_40_76_bit0 h_40_77_bit0 -h_41_76_bit0 h_41_77_bit0 h_70_76_bit0 h_70_77_bit0 h_71_76_bit0 h_71_77_bit0 h_76_78_bit0 h_77_78_bit0 h_76_79_bit0 h_77_79_bit0 h_0_78_bit0 h_0_79_bit0 h_1_78_bit0 h_1_79_bit0 h_2_78_bit0 h_2_79_bit0 h_3_78_bit0 h_3_79_bit0 h_4_78_bit0 h_4_79_bit0 h_5_78_bit0 h_5_79_bit0 h_6_78_bit0 h_6_79_bit0 h_7_78_bit0 h_7_79_bit0 h_8_78_bit0 h_8_79_bit0 h_9_78_bit0 h_9_79_bit0 h_10_78_bit0 h_10_79_bit0 h_11_78_bit0 h_11_79_bit0 h_12_78_bit0 h_12_79_bit0 h_13_78_bit0 h_13_79_bit0 h_14_78_bit0 h_14_79_bit0 h_15_78_bit0 h_15_79_bit0 x_33_0_bit0 h_16_78_bit0 h_16_79_bit0 h_17_78_bit0 h_17_79_bit0 -h_18_78_bit0 h_18_79_bit0 h_19_78_bit0 h_19_79_bit0 h_20_78_bit0 h_20_79_bit0 h_21_78_bit0 h_21_79_bit0 -h_22_78_bit0 h_22_79_bit0 h_23_78_bit0 h_23_79_bit0 h_24_78_bit0 h_24_79_bit0 h_25_78_bit0 h_25_79_bit0 h_26_78_bit0 h_26_79_bit0 h_27_78_bit0 h_27_79_bit0 -h_28_78_bit0 h_28_79_bit0 h_29_78_bit0 h_29_79_bit0 h_30_78_bit0 h_30_79_bit0 h_31_78_bit0 h_31_79_bit0 h_32_78_bit0 h_32_79_bit0 h_33_78_bit0 h_33_79_bit0 h_34_78_bit0 h_34_79_bit0 h_35_78_bit0 h_35_79_bit0 -h_36_78_bit0 h_36_79_bit0 h_37_78_bit0 h_37_79_bit0 h_38_78_bit0 h_38_79_bit0 h_39_78_bit0 h_39_79_bit0 h_40_78_bit0 h_40_79_bit0 h_41_78_bit0 h_41_79_bit0 -x_33_1_bit0 h_70_78_bit0 h_70_79_bit0 h_71_78_bit0 h_71_79_bit0 -x_33_2_bit0 -x_34_0_bit0 x_34_1_bit0 x_34_2_bit0 x_34_3_bit0 h_4_70_bit0 h_4_71_bit0 x_37_0_bit0 x_37_1_bit0 x_38_0_bit0 x_38_1_bit0 -x_38_2_bit0 h_5_6_bit0 h_5_7_bit0 h_5_8_bit0 h_5_9_bit0 h_5_10_bit0 h_5_11_bit0 h_0_6_bit0 h_5_12_bit0 h_5_13_bit0 h_5_14_bit0 h_5_15_bit0 h_5_16_bit0 h_5_17_bit0 h_5_18_bit0 h_5_19_bit0 -x_9_0_bit0 -x_9_1_bit0 -x_9_2_bit0 -x_9_3_bit0 h_5_20_bit0 h_5_21_bit0 h_5_22_bit0 h_5_23_bit0 h_5_24_bit0 h_5_25_bit0 h_5_26_bit0 -x_13_0_bit0 -x_13_1_bit0 h_5_27_bit0 h_5_28_bit0 h_5_29_bit0 h_5_30_bit0 h_5_31_bit0 h_5_32_bit0 x_16_0_bit0 h_5_33_bit0 x_16_1_bit0 -x_16_2_bit0 h_5_34_bit0 h_5_35_bit0 h_5_36_bit0 h_5_37_bit0 h_5_38_bit0 -h_5_39_bit0 -x_19_0_bit0 -x_19_1_bit0 -x_19_2_bit0 h_5_40_bit0 h_5_41_bit0 -x_22_0_bit0 -x_22_1_bit0 h_5_70_bit0 h_5_71_bit0 h_6_7_bit0 h_6_8_bit0 h_6_9_bit0 h_6_10_bit0 h_6_11_bit0 h_6_12_bit0 h_6_13_bit0 h_6_14_bit0 h_6_15_bit0 h_6_16_bit0 h_6_17_bit0 h_6_18_bit0 x_3_0_bit0 -x_3_1_bit0 x_3_2_bit0 h_6_19_bit0 h_6_20_bit0 h_0_7_bit0 h_6_21_bit0 -x_11_0_bit0 h_6_22_bit0 -x_11_1_bit0 h_6_23_bit0 h_6_24_bit0 h_6_25_bit0 h_6_26_bit0 h_6_27_bit0 -x_14_0_bit0 h_6_28_bit0 -x_14_1_bit0 h_6_29_bit0 h_6_30_bit0 h_6_31_bit0 h_6_32_bit0 h_6_33_bit0 h_6_34_bit0 h_6_35_bit0 -x_18_0_bit0 h_6_36_bit0 -x_18_1_bit0 h_6_37_bit0 h_6_38_bit0 -h_0_70_bit0 h_6_39_bit0 h_6_40_bit0 h_6_41_bit0 -h_0_71_bit0 h_6_70_bit0 h_6_71_bit0 h_7_8_bit0 h_7_9_bit0 h_7_10_bit0 h_7_11_bit0 h_7_12_bit0 h_7_13_bit0 h_7_14_bit0 -x_7_0_bit0 -x_7_1_bit0 -x_7_2_bit0 h_7_15_bit0 h_7_16_bit0 h_7_17_bit0 h_7_18_bit0 h_7_19_bit0 h_7_20_bit0 h_7_21_bit0 h_7_22_bit0 -h_7_23_bit0 h_7_24_bit0 h_7_25_bit0 h_1_2_bit0 h_7_26_bit0 h_7_27_bit0 h_7_28_bit0 -h_7_29_bit0 h_7_30_bit0 h_7_31_bit0 h_7_32_bit0 -x_1_0_bit0 h_1_3_bit0 h_7_33_bit0 h_7_34_bit0 h_7_35_bit0 h_7_36_bit0 -h_7_37_bit0 x_1_1_bit0 h_7_38_bit0 h_7_39_bit0 h_7_40_bit0 h_7_41_bit0 -x_1_2_bit0 -x_1_3_bit0 h_1_4_bit0 h_1_5_bit0 h_1_6_bit0 h_1_7_bit0 h_1_8_bit0 h_1_9_bit0 h_1_10_bit0 h_7_70_bit0 -h_1_11_bit0 h_7_71_bit0 h_1_12_bit0 h_1_13_bit0 h_1_14_bit0 h_8_9_bit0 h_8_10_bit0 h_8_11_bit0 h_8_12_bit0 h_8_13_bit0 h_1_15_bit0 -h_8_14_bit0 h_8_15_bit0 h_8_16_bit0 h_8_17_bit0 h_8_18_bit0 h_8_19_bit0 h_1_16_bit0 h_8_20_bit0 h_8_21_bit0 h_8_22_bit0 h_8_23_bit0 h_8_24_bit0 h_8_25_bit0 h_8_26_bit0 h_1_17_bit0 h_8_27_bit0 h_8_28_bit0 h_8_29_bit0 h_8_30_bit0 h_8_31_bit0 -h_8_32_bit0 h_1_18_bit0 h_8_33_bit0 h_8_34_bit0 h_8_35_bit0 h_8_36_bit0 h_8_37_bit0 h_0_8_bit0 h_1_19_bit0 h_8_38_bit0 h_8_39_bit0 h_8_40_bit0 h_8_41_bit0 h_1_20_bit0 h_1_21_bit0 h_1_22_bit0 h_1_23_bit0 h_1_24_bit0 h_1_25_bit0 h_1_26_bit0 -h_1_27_bit0 h_8_70_bit0 h_8_71_bit0 h_0_2_bit0 -h_0_9_bit0 -h_9_10_bit0 h_9_11_bit0 h_9_12_bit0 h_9_13_bit0 h_9_14_bit0 h_9_15_bit0 -h_9_16_bit0 -h_9_17_bit0 h_9_18_bit0 h_1_28_bit0 h_9_19_bit0 -h_9_20_bit0 h_9_21_bit0 h_9_22_bit0 -h_9_23_bit0 -h_9_24_bit0 h_1_29_bit0 h_9_25_bit0 h_9_26_bit0 h_9_27_bit0 h_9_28_bit0 -h_9_29_bit0 h_9_30_bit0 h_1_30_bit0 h_9_31_bit0 h_9_32_bit0 h_9_33_bit0 h_9_34_bit0 h_9_35_bit0 h_1_31_bit0 h_9_36_bit0 -h_9_37_bit0 h_9_38_bit0 h_9_39_bit0 h_9_40_bit0 h_9_41_bit0 h_1_32_bit0 h_1_33_bit0 -h_9_70_bit0 -h_9_71_bit0 h_1_34_bit0 h_1_35_bit0 h_10_11_bit0 h_10_12_bit0 h_10_13_bit0 h_10_14_bit0 h_1_36_bit0 h_10_15_bit0 -h_10_16_bit0 -h_10_17_bit0 h_1_37_bit0 h_10_18_bit0 h_10_19_bit0 -h_10_20_bit0 h_10_21_bit0 h_10_22_bit0 -h_10_23_bit0 h_1_38_bit0 -h_10_24_bit0 h_10_25_bit0 h_10_26_bit0 h_10_27_bit0 h_10_28_bit0 -h_10_29_bit0 h_1_39_bit0 h_10_30_bit0 h_10_31_bit0 h_10_32_bit0 h_10_33_bit0 h_10_34_bit0 h_1_40_bit0 h_10_35_bit0 h_10_36_bit0 -h_10_37_bit0 h_10_38_bit0 h_10_39_bit0 h_10_40_bit0 h_10_41_bit0 -h_0_10_bit0 h_1_41_bit0 h_1_42_bit0 h_1_43_bit0 -h_10_70_bit0 -h_10_71_bit0 h_11_12_bit0 h_11_13_bit0 h_11_14_bit0 h_11_15_bit0 h_11_16_bit0 h_11_17_bit0 h_11_18_bit0 h_11_19_bit0 h_11_20_bit0 h_11_21_bit0 h_11_22_bit0 h_11_23_bit0 h_11_24_bit0 h_11_25_bit0 h_11_26_bit0 -h_11_27_bit0 h_11_28_bit0 h_11_29_bit0 h_11_30_bit0 h_11_31_bit0 h_11_32_bit0 h_11_33_bit0 h_11_34_bit0 h_11_35_bit0 h_11_36_bit0 h_11_37_bit0 h_11_38_bit0 h_11_39_bit0 h_11_40_bit0 h_11_41_bit0 h_11_70_bit0 h_11_71_bit0 h_12_13_bit0 h_12_14_bit0 h_12_15_bit0 h_12_16_bit0 h_12_17_bit0 -h_12_18_bit0 h_12_19_bit0 h_12_20_bit0 h_12_21_bit0 -h_12_22_bit0 h_12_23_bit0 h_12_24_bit0 h_0_11_bit0 h_12_25_bit0 h_12_26_bit0 h_12_27_bit0 -h_12_28_bit0 h_12_29_bit0 -h_12_30_bit0 -h_12_31_bit0 h_12_32_bit0 h_12_33_bit0 -h_12_34_bit0 -h_12_35_bit0 -h_12_36_bit0 h_12_37_bit0 h_12_38_bit0 h_12_39_bit0 h_12_40_bit0 h_12_41_bit0 h_12_70_bit0 h_12_71_bit0 h_0_12_bit0 -x_39_0_bit0 h_13_14_bit0 h_13_15_bit0 h_13_16_bit0 h_13_17_bit0 h_13_18_bit0 h_13_19_bit0 h_13_20_bit0 h_13_21_bit0 h_13_22_bit0 h_13_23_bit0 h_13_24_bit0 h_13_25_bit0 -h_13_26_bit0 h_13_27_bit0 h_13_28_bit0 h_13_29_bit0 h_13_30_bit0 h_13_31_bit0 h_13_32_bit0 h_13_33_bit0 h_13_34_bit0 h_13_35_bit0 h_13_36_bit0 h_13_37_bit0 h_13_38_bit0 h_13_39_bit0 h_13_40_bit0 h_13_41_bit0 h_1_70_bit0 h_0_13_bit0 h_1_71_bit0 h_13_70_bit0 h_13_71_bit0 h_14_15_bit0 h_14_16_bit0 h_14_17_bit0 h_14_18_bit0 h_14_19_bit0 h_14_20_bit0 h_14_21_bit0 h_14_22_bit0 h_14_23_bit0 h_14_24_bit0 h_14_25_bit0 h_14_26_bit0 h_14_27_bit0 h_14_28_bit0 h_14_29_bit0 h_14_30_bit0 h_14_31_bit0 h_14_32_bit0 h_14_33_bit0 h_14_34_bit0 h_14_35_bit0 h_14_36_bit0 h_14_37_bit0 h_14_38_bit0 h_14_39_bit0 h_0_14_bit0 h_14_40_bit0 -h_14_41_bit0 h_2_3_bit0 h_2_4_bit0 h_14_70_bit0 h_14_71_bit0 h_15_16_bit0 h_15_17_bit0 h_15_18_bit0 h_15_19_bit0 h_15_20_bit0 h_15_21_bit0 h_15_22_bit0 h_15_23_bit0 h_15_24_bit0 h_15_25_bit0 h_15_26_bit0 h_15_27_bit0 h_15_28_bit0 h_15_29_bit0 h_15_30_bit0 h_15_31_bit0 h_15_32_bit0 h_15_33_bit0 h_15_34_bit0 h_2_5_bit0 h_15_35_bit0 h_15_36_bit0 h_15_37_bit0 h_15_38_bit0 h_15_39_bit0 h_15_40_bit0 h_15_41_bit0 h_2_6_bit0 h_2_7_bit0 h_15_70_bit0 h_15_71_bit0 -h_16_17_bit0 h_16_18_bit0 h_16_19_bit0 -h_16_20_bit0 h_16_21_bit0 h_16_22_bit0 -h_16_23_bit0 -h_16_24_bit0 h_16_25_bit0 h_16_26_bit0 h_16_27_bit0 h_16_28_bit0 -h_16_29_bit0 h_16_30_bit0 h_16_31_bit0 h_16_32_bit0 h_16_33_bit0 h_16_34_bit0 h_16_35_bit0 h_16_36_bit0 -h_16_37_bit0 h_16_38_bit0 h_16_39_bit0 h_16_40_bit0 h_16_41_bit0 h_2_8_bit0 -h_16_70_bit0 -h_16_71_bit0 h_17_18_bit0 h_17_19_bit0 -h_17_20_bit0 h_17_21_bit0 h_17_22_bit0 -h_17_23_bit0 -h_17_24_bit0 h_17_25_bit0 h_17_26_bit0 h_17_27_bit0 h_17_28_bit0 -h_17_29_bit0 h_2_9_bit0 h_17_30_bit0 h_17_31_bit0 h_17_32_bit0 h_17_33_bit0 h_17_34_bit0 h_17_35_bit0 h_17_36_bit0 -h_17_37_bit0 h_17_38_bit0 h_17_39_bit0 h_17_40_bit0 h_17_41_bit0 h_2_10_bit0 -h_17_70_bit0 -h_17_71_bit0 h_18_19_bit0 h_18_20_bit0 h_18_21_bit0 h_18_22_bit0 h_18_23_bit0 h_18_24_bit0 h_18_25_bit0 h_18_26_bit0 h_18_27_bit0 h_18_28_bit0 h_18_29_bit0 -h_18_30_bit0 -h_18_31_bit0 h_18_32_bit0 h_2_11_bit0 h_18_33_bit0 h_18_34_bit0 h_2_12_bit0 h_18_35_bit0 h_2_13_bit0 h_18_36_bit0 h_0_15_bit0 h_2_14_bit0 h_18_37_bit0 h_18_38_bit0 h_18_39_bit0 h_18_40_bit0 h_18_41_bit0 h_2_15_bit0 -h_0_16_bit0 h_18_70_bit0 h_18_71_bit0 h_2_16_bit0 h_19_20_bit0 h_19_21_bit0 h_19_22_bit0 h_19_23_bit0 h_19_24_bit0 h_19_25_bit0 h_19_26_bit0 h_19_27_bit0 h_19_28_bit0 h_19_29_bit0 h_19_30_bit0 h_19_31_bit0 h_19_32_bit0 h_19_33_bit0 h_19_34_bit0 h_19_35_bit0 h_19_36_bit0 h_19_37_bit0 h_19_38_bit0 h_19_39_bit0 h_19_40_bit0 h_19_41_bit0 -h_2_17_bit0 -h_0_17_bit0 h_19_70_bit0 h_19_71_bit0 h_2_18_bit0 h_2_19_bit0 h_20_21_bit0 h_20_22_bit0 -h_20_23_bit0 -h_20_24_bit0 h_20_25_bit0 h_2_20_bit0 h_20_26_bit0 h_20_27_bit0 h_20_28_bit0 -h_20_29_bit0 h_20_30_bit0 h_20_31_bit0 h_20_32_bit0 h_20_33_bit0 h_20_34_bit0 h_20_35_bit0 h_20_36_bit0 -h_20_37_bit0 h_20_38_bit0 h_20_39_bit0 h_20_40_bit0 h_20_41_bit0 h_2_21_bit0 h_2_22_bit0 -h_20_70_bit0 -h_20_71_bit0 h_2_23_bit0 h_21_22_bit0 h_21_23_bit0 h_21_24_bit0 -h_21_25_bit0 h_21_26_bit0 h_21_27_bit0 h_21_28_bit0 h_21_29_bit0 h_21_30_bit0 h_21_31_bit0 h_21_32_bit0 h_21_33_bit0 h_21_34_bit0 h_21_35_bit0 h_21_36_bit0 h_21_37_bit0 h_21_38_bit0 h_21_39_bit0 h_21_40_bit0 h_21_41_bit0 h_0_18_bit0 h_21_70_bit0 h_21_71_bit0 h_22_23_bit0 h_22_24_bit0 h_22_25_bit0 h_22_26_bit0 h_22_27_bit0 -h_22_28_bit0 h_22_29_bit0 -h_22_30_bit0 -h_22_31_bit0 h_2_24_bit0 h_22_32_bit0 h_22_33_bit0 -h_22_34_bit0 -h_22_35_bit0 -h_22_36_bit0 h_22_37_bit0 h_22_38_bit0 h_22_39_bit0 h_22_40_bit0 h_22_41_bit0 h_0_19_bit0 h_2_25_bit0 h_2_26_bit0 h_2_27_bit0 h_2_28_bit0 h_2_29_bit0 h_22_70_bit0 h_22_71_bit0 -h_23_24_bit0 h_23_25_bit0 h_23_26_bit0 h_23_27_bit0 h_23_28_bit0 -h_0_20_bit0 -h_23_29_bit0 h_23_30_bit0 h_23_31_bit0 h_23_32_bit0 h_23_33_bit0 h_23_34_bit0 h_23_35_bit0 h_23_36_bit0 -h_23_37_bit0 h_23_38_bit0 h_23_39_bit0 h_23_40_bit0 h_23_41_bit0 h_2_30_bit0 h_2_31_bit0 h_2_32_bit0 -h_23_70_bit0 -h_23_71_bit0 h_24_25_bit0 h_24_26_bit0 h_24_27_bit0 h_24_28_bit0 -h_24_29_bit0 h_24_30_bit0 h_24_31_bit0 h_24_32_bit0 h_24_33_bit0 h_24_34_bit0 h_24_35_bit0 h_24_36_bit0 -h_24_37_bit0 h_24_38_bit0 h_24_39_bit0 h_24_40_bit0 h_24_41_bit0 h_0_21_bit0 h_2_33_bit0 h_2_34_bit0 h_2_35_bit0 h_2_36_bit0 h_2_37_bit0 -h_24_70_bit0 -h_24_71_bit0 h_25_26_bit0 h_25_27_bit0 h_25_28_bit0 h_25_29_bit0 h_25_30_bit0 h_25_31_bit0 h_25_32_bit0 h_25_33_bit0 h_25_34_bit0 h_25_35_bit0 h_25_36_bit0 h_25_37_bit0 h_25_38_bit0 h_25_39_bit0 h_25_40_bit0 h_25_41_bit0 h_0_22_bit0 h_25_70_bit0 h_25_71_bit0 h_26_27_bit0 h_26_28_bit0 h_26_29_bit0 h_2_38_bit0 h_26_30_bit0 h_26_31_bit0 h_26_32_bit0 h_26_33_bit0 h_26_34_bit0 h_2_39_bit0 h_26_35_bit0 h_26_36_bit0 h_26_37_bit0 h_26_38_bit0 h_26_39_bit0 h_2_40_bit0 h_26_40_bit0 h_26_41_bit0 h_2_41_bit0 -h_0_23_bit0 h_26_70_bit0 h_26_71_bit0 h_27_28_bit0 h_27_29_bit0 h_27_30_bit0 h_27_31_bit0 h_27_32_bit0 h_27_33_bit0 h_27_34_bit0 h_27_35_bit0 h_27_36_bit0 h_27_37_bit0 h_27_38_bit0 h_27_39_bit0 h_27_40_bit0 h_27_41_bit0 h_27_70_bit0 h_27_71_bit0 h_28_29_bit0 -h_28_30_bit0 -h_28_31_bit0 h_28_32_bit0 h_28_33_bit0 -h_28_34_bit0 -h_28_35_bit0 -h_28_36_bit0 h_28_37_bit0 h_28_38_bit0 h_28_39_bit0 h_28_40_bit0 h_28_41_bit0 h_28_70_bit0 h_28_71_bit0 h_29_30_bit0 h_29_31_bit0 h_29_32_bit0 h_29_33_bit0 h_29_34_bit0 h_29_35_bit0 h_29_36_bit0 -h_29_37_bit0 h_29_38_bit0 h_29_39_bit0 h_29_40_bit0 h_29_41_bit0 -h_0_24_bit0 -h_29_70_bit0 -h_29_71_bit0 -h_30_31_bit0 h_30_32_bit0 h_30_33_bit0 -h_30_34_bit0 -h_30_35_bit0 -h_30_36_bit0 h_30_37_bit0 h_30_38_bit0 h_30_39_bit0 h_30_40_bit0 h_30_41_bit0 h_30_70_bit0 h_30_71_bit0 h_31_32_bit0 h_31_33_bit0 -h_31_34_bit0 -h_31_35_bit0 -h_31_36_bit0 h_31_37_bit0 h_31_38_bit0 h_31_39_bit0 h_31_40_bit0 h_31_41_bit0 h_0_25_bit0 h_31_70_bit0 h_31_71_bit0 h_32_33_bit0 h_32_34_bit0 h_32_35_bit0 h_32_36_bit0 h_32_37_bit0 h_32_38_bit0 h_32_39_bit0 h_32_40_bit0 -h_32_41_bit0 h_0_26_bit0 h_0_27_bit0 h_32_70_bit0 h_32_71_bit0 h_0_28_bit0 h_33_34_bit0 h_33_35_bit0 h_33_36_bit0 h_33_37_bit0 h_33_38_bit0 h_33_39_bit0 h_33_40_bit0 h_33_41_bit0 -h_0_29_bit0 h_33_70_bit0 h_33_71_bit0 -h_34_35_bit0 -h_34_36_bit0 h_34_37_bit0 h_34_38_bit0 h_34_39_bit0 h_34_40_bit0 h_34_41_bit0 h_34_70_bit0 h_34_71_bit0 -h_35_36_bit0 h_35_37_bit0 h_35_38_bit0 h_35_39_bit0 h_35_40_bit0 h_35_41_bit0 h_35_70_bit0 h_35_71_bit0 h_36_37_bit0 h_36_38_bit0 h_36_39_bit0 h_36_40_bit0 h_36_41_bit0 h_36_70_bit0 h_36_71_bit0 h_37_38_bit0 h_37_39_bit0 h_37_40_bit0 h_37_41_bit0 h_0_30_bit0 -h_37_70_bit0 -h_37_71_bit0 h_38_39_bit0 h_38_40_bit0 h_38_41_bit0 h_0_31_bit0 h_0_32_bit0 h_38_70_bit0 h_38_71_bit0 h_39_40_bit0 h_39_41_bit0 h_39_70_bit0 h_39_71_bit0 h_2_70_bit0 h_40_41_bit0 h_2_71_bit0 h_40_70_bit0 h_40_71_bit0 h_41_70_bit0 h_41_71_bit0 h_42_43_bit0 h_44_45_bit0 h_3_4_bit0 h_0_33_bit0 h_3_5_bit0 h_46_47_bit0 h_0_34_bit0 h_3_6_bit0 h_3_7_bit0 h_3_8_bit0 h_3_9_bit0 h_3_10_bit0 h_3_11_bit0 h_0_35_bit0 h_3_12_bit0 h_3_13_bit0 h_3_14_bit0 h_0_36_bit0 h_3_15_bit0 h_3_16_bit0 h_3_17_bit0 h_3_18_bit0 h_48_49_bit0 h_3_19_bit0 h_3_20_bit0 h_3_21_bit0 h_3_22_bit0 h_3_23_bit0 h_3_24_bit0 -h_0_37_bit0 h_3_25_bit0 h_3_26_bit0 h_3_27_bit0 h_50_51_bit0 h_3_28_bit0 h_3_29_bit0 h_3_30_bit0 h_3_31_bit0 h_3_32_bit0 h_3_33_bit0 h_3_34_bit0 h_3_35_bit0 h_3_36_bit0 h_3_37_bit0 h_52_53_bit0 h_3_38_bit0 h_3_39_bit0 h_3_40_bit0 h_3_41_bit0 h_0_38_bit0 h_0_39_bit0 h_54_55_bit0 h_0_40_bit0 h_0_41_bit0 h_56_57_bit0 h_0_42_bit0 h_58_59_bit0 h_60_61_bit0 h_0_43_bit0 h_62_63_bit0 h_64_65_bit0 h_66_67_bit0 h_68_69_bit0 h_3_70_bit0 h_3_71_bit0 -h_70_71_bit0 h_72_73_bit0 h_74_75_bit0 h_76_77_bit0 h_78_79_bit0 h_0_3_bit0 h_4_5_bit0 h_4_6_bit0 h_4_7_bit0 h_4_8_bit0 h_4_9_bit0 h_4_10_bit0 h_4_11_bit0 h_4_12_bit0 h_4_13_bit0 -h_4_14_bit0 h_4_15_bit0 h_4_16_bit0 h_4_17_bit0 h_4_18_bit0 h_4_19_bit0 h_4_20_bit0 h_4_21_bit0 h_4_22_bit0 h_4_23_bit0 h_4_24_bit0 h_4_25_bit0 h_4_26_bit0 h_4_27_bit0 h_4_28_bit0 h_4_29_bit0 h_4_30_bit0 h_4_31_bit0 -h_4_32_bit0 h_4_33_bit0 h_4_34_bit0 h_4_35_bit0 h_4_36_bit0 h_4_37_bit0 h_4_38_bit0 h_4_39_bit0 c Exit Code: 10 c Total time: 1175.14 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.79 0.94 0.97 2/55 24247 Raw data (stat): 24247 (runsolver) R 24246 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 789313614 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0 Raw data (statm): 258 100 215 215 0 43 0 vsize: 1032 [startup+10.0011 s] Raw data (loadavg): 0.82 0.94 0.97 2/55 24247 Raw data (stat): 24247 (bsolo_lpr) R 24246 7876 7672 0 -1 0 48212 0 0 0 883 112 0 0 25 0 1 0 789313614 200671232 48133 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 48992 48133 1111 63 0 48929 0 vsize: 195968 [startup+20.002 s] Raw data (loadavg): 0.85 0.94 0.97 2/55 24247 Raw data (stat): 24247 (bsolo_lpr) R 24246 7876 7672 0 -1 0 48212 0 0 0 1883 112 0 0 25 0 1 0 789313614 200671232 48133 4294967295 134512640 134714508 3221221776 3221220528 134630795 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 48992 48133 1111 63 0 48929 0 vsize: 195968 [startup+30.003 s] Raw data (loadavg): 0.87 0.94 0.97 2/55 24247 Raw data (stat): 24247 (bsolo_lpr) R 24246 7876 7672 0 -1 0 51490 0 0 0 2875 120 0 0 25 0 1 0 789313614 214069248 51411 4294967295 134512640 134714508 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 52263 51411 1111 63 0 52200 0 vsize: 209052 [startup+40.0039 s] Raw data (loadavg): 0.89 0.94 0.97 2/55 24247 Raw data (stat): 24247 (bsolo_lpr) R 24246 7876 7672 0 -1 0 53033 0 0 0 3871 124 0 0 25 0 1 0 789313614 220413952 52954 4294967295 134512640 134714508 3221221776 3221220500 134618349 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 53812 52954 1111 63 0 53749 0 vsize: 215248 [startup+50.0053 s] Raw data (loadavg): 0.91 0.94 0.97 2/55 24247 Raw data (stat): 24247 (bsolo_lpr) R 24246 7876 7672 0 -1 0 53033 0 0 0 4871 124 0 0 25 0 1 0 789313614 220413952 52954 4294967295 134512640 134714508 3221221776 3221220576 134617546 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 53812 52954 1111 63 0 53749 0 vsize: 215248 [startup+60.0058 s] Raw data (loadavg): 0.92 0.94 0.97 2/55 24247 Raw data (stat): 24247 (bsolo_lpr) R 24246 7876 7672 0 -1 0 53033 0 0 0 5871 124 0 0 25 0 1 0 789313614 220413952 52954 4294967295 134512640 134714508 3221221776 3221220416 134606468 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 53812 52954 1111 63 0 53749 0 vsize: 215248 [startup+70.0067 s] Raw data (loadavg): 0.93 0.95 0.97 2/55 24247 Raw data (stat): 24247 (bsolo_lpr) R 24246 7876 7672 0 -1 0 53033 0 0 0 6871 125 0 0 25 0 1 0 789313614 220413952 52954 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 53812 52954 1111 63 0 53749 0 vsize: 215248 [startup+80.0076 s] Raw data (loadavg): 0.94 0.95 0.97 2/55 24247 Raw data (stat): 24247 (bsolo_lpr) R 24246 7876 7672 0 -1 0 53033 0 0 0 7871 125 0 0 25 0 1 0 789313614 220413952 52954 4294967295 134512640 134714508 3221221776 3221220364 1076533524 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 53812 52954 1111 63 0 53749 0 vsize: 215248 [startup+90.0086 s] Raw data (loadavg): 0.95 0.95 0.97 2/55 24247 Raw data (stat): 24247 (bsolo_lpr) R 24246 7876 7672 0 -1 0 53033 0 0 0 8870 126 0 0 25 0 1 0 789313614 220413952 52954 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 53812 52954 1111 63 0 53749 0 vsize: 215248 [startup+100.009 s] Raw data (loadavg): 0.96 0.95 0.97 2/55 24247 Raw data (stat): 24247 (bsolo_lpr) R 24246 7876 7672 0 -1 0 53033 0 0 0 9870 126 0 0 25 0 1 0 789313614 220413952 52954 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 53812 52954 1111 63 0 53749 0 vsize: 215248 [startup+110.01 s] Raw data (loadavg): 0.96 0.95 0.97 2/55 24247 Raw data (stat): 24247 (bsolo_lpr) R 24246 7876 7672 0 -1 0 53033 0 0 0 10869 126 0 0 25 0 1 0 789313614 220413952 52954 4294967295 134512640 134714508 3221221776 3221220328 1077377411 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 53812 52954 1111 63 0 53749 0 vsize: 215248 [startup+120.01 s] Raw data (loadavg): 0.97 0.95 0.97 2/55 24247 Raw data (stat): 24247 (bsolo_lpr) R 24246 7876 7672 0 -1 0 53033 0 0 0 11869 127 0 0 25 0 1 0 789313614 220413952 52954 4294967295 134512640 134714508 3221221776 3221220428 134532440 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 53812 52954 1111 63 0 53749 0 vsize: 215248 [startup+130.01 s] Raw data (loadavg): 0.97 0.95 0.97 2/55 24247 Raw data (stat): 24247 (bsolo_lpr) R 24246 7876 7672 0 -1 0 53033 0 0 0 12869 127 0 0 25 0 1 0 789313614 220413952 52954 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 53812 52954 1111 63 0 53749 0 vsize: 215248 [startup+140.011 s] Raw data (loadavg): 0.98 0.95 0.97 2/55 24247 Raw data (stat): 24247 (bsolo_lpr) R 24246 7876 7672 0 -1 0 53033 0 0 0 13869 128 0 0 25 0 1 0 789313614 220413952 52954 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 53812 52954 1111 63 0 53749 0 vsize: 215248 [startup+150.012 s] Raw data (loadavg): 0.98 0.95 0.97 2/55 24247 Raw data (stat): 24247 (bsolo_lpr) R 24246 7876 7672 0 -1 0 53033 0 0 0 14868 128 0 0 25 0 1 0 789313614 220413952 52954 4294967295 134512640 134714508 3221221776 3221220416 134606456 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 53812 52954 1111 63 0 53749 0 vsize: 215248 [startup+160.013 s] Raw data (loadavg): 0.98 0.95 0.97 2/55 24247 Raw data (stat): 24247 (bsolo_lpr) R 24246 7876 7672 0 -1 0 53033 0 0 0 15868 129 0 0 25 0 1 0 789313614 220413952 52954 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 53812 52954 1111 63 0 53749 0 vsize: 215248 [startup+170.014 s] Raw data (loadavg): 0.98 0.96 0.97 2/55 24247 Raw data (stat): 24247 (bsolo_lpr) R 24246 7876 7672 0 -1 0 53033 0 0 0 16867 129 0 0 25 0 1 0 789313614 220413952 52954 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 53812 52954 1111 63 0 53749 0 vsize: 215248 [startup+180.014 s] Raw data (loadavg): 0.99 0.96 0.97 2/55 24247 Raw data (stat): 24247 (bsolo_lpr) R 24246 7876 7672 0 -1 0 53033 0 0 0 17867 130 0 0 25 0 1 0 789313614 220413952 52954 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 53812 52954 1111 63 0 53749 0 vsize: 215248 [startup+190.015 s] Raw data (loadavg): 0.99 0.96 0.97 2/55 24247 Raw data (stat): 24247 (bsolo_lpr) R 24246 7876 7672 0 -1 0 53033 0 0 0 18866 130 0 0 25 0 1 0 789313614 220413952 52954 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 53812 52954 1111 63 0 53749 0 vsize: 215248 [startup+200.015 s] Raw data (loadavg): 0.99 0.96 0.97 2/55 24247 Raw data (stat): 24247 (bsolo_lpr) R 24246 7876 7672 0 -1 0 53033 0 0 0 19866 131 0 0 25 0 1 0 789313614 220413952 52954 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 53812 52954 1111 63 0 53749 0 vsize: 215248 [startup+210.016 s] Raw data (loadavg): 0.99 0.96 0.97 2/55 24247 Raw data (stat): 24247 (bsolo_lpr) R 24246 7876 7672 0 -1 0 53033 0 0 0 20866 131 0 0 25 0 1 0 789313614 220413952 52954 4294967295 134512640 134714508 3221221776 3221220416 134606479 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 53812 52954 1111 63 0 53749 0 vsize: 215248 [startup+220.017 s] Raw data (loadavg): 0.99 0.96 0.97 2/55 24247 Raw data (stat): 24247 (bsolo_lpr) R 24246 7876 7672 0 -1 0 53033 0 0 0 21865 132 0 0 25 0 1 0 789313614 220413952 52954 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 53812 52954 1111 63 0 53749 0 vsize: 215248 [startup+230.017 s] Raw data (loadavg): 0.99 0.96 0.97 2/55 24247 Raw data (stat): 24247 (bsolo_lpr) R 24246 7876 7672 0 -1 0 53033 0 0 0 22865 132 0 0 25 0 1 0 789313614 220413952 52954 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 53812 52954 1111 63 0 53749 0 vsize: 215248 [startup+240.018 s] Raw data (loadavg): 0.99 0.96 0.97 2/55 24247 Raw data (stat): 24247 (bsolo_lpr) R 24246 7876 7672 0 -1 0 53033 0 0 0 23864 133 0 0 25 0 1 0 789313614 220413952 52954 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 53812 52954 1111 63 0 53749 0 vsize: 215248 [startup+250.018 s] Raw data (loadavg): 0.99 0.96 0.97 2/55 24247 Raw data (stat): 24247 (bsolo_lpr) R 24246 7876 7672 0 -1 0 53033 0 0 0 24864 133 0 0 25 0 1 0 789313614 220413952 52954 4294967295 134512640 134714508 3221221776 3221220416 134606468 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 53812 52954 1111 63 0 53749 0 vsize: 215248 [startup+260.018 s] Raw data (loadavg): 0.99 0.96 0.97 2/55 24247 Raw data (stat): 24247 (bsolo_lpr) R 24246 7876 7672 0 -1 0 53033 0 0 0 25864 134 0 0 25 0 1 0 789313614 220413952 52954 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 53812 52954 1111 63 0 53749 0 vsize: 215248 [startup+270.018 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 24247 Raw data (stat): 24247 (bsolo_lpr) R 24246 7876 7672 0 -1 0 53033 0 0 0 26864 134 0 0 25 0 1 0 789313614 220413952 52954 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 53812 52954 1111 63 0 53749 0 vsize: 215248 [startup+280.018 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 24247 Raw data (stat): 24247 (bsolo_lpr) R 24246 7876 7672 0 -1 0 53033 0 0 0 27863 134 0 0 25 0 1 0 789313614 220413952 52954 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 53812 52954 1111 63 0 53749 0 vsize: 215248 [startup+290.02 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 24247 Raw data (stat): 24247 (bsolo_lpr) R 24246 7876 7672 0 -1 0 53033 0 0 0 28863 135 0 0 25 0 1 0 789313614 220413952 52954 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 53812 52954 1111 63 0 53749 0 vsize: 215248 [startup+300.02 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 24247 Raw data (stat): 24247 (bsolo_lpr) R 24246 7876 7672 0 -1 0 53033 0 0 0 29862 135 0 0 25 0 1 0 789313614 220413952 52954 4294967295 134512640 134714508 3221221776 3221220416 134606456 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 53812 52954 1111 63 0 53749 0 vsize: 215248 [startup+310.02 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 24247 Raw data (stat): 24247 (bsolo_lpr) R 24246 7876 7672 0 -1 0 53033 0 0 0 30862 136 0 0 25 0 1 0 789313614 220413952 52954 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 53812 52954 1111 63 0 53749 0 vsize: 215248 [startup+320.02 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 24247 Raw data (stat): 24247 (bsolo_lpr) R 24246 7876 7672 0 -1 0 53033 0 0 0 31861 136 0 0 25 0 1 0 789313614 220413952 52954 4294967295 134512640 134714508 3221221776 3221220516 134630783 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 53812 52954 1111 63 0 53749 0 vsize: 215248 [startup+330.021 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 24247 Raw data (stat): 24247 (bsolo_lpr) R 24246 7876 7672 0 -1 0 53033 0 0 0 32861 137 0 0 25 0 1 0 789313614 220413952 52954 4294967295 134512640 134714508 3221221776 3221220528 134630792 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 53812 52954 1111 63 0 53749 0 vsize: 215248 [startup+340.022 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 24247 Raw data (stat): 24247 (bsolo_lpr) R 24246 7876 7672 0 -1 0 53033 0 0 0 33861 138 0 0 25 0 1 0 789313614 220413952 52954 4294967295 134512640 134714508 3221221776 3221220200 1077378064 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 53812 52954 1111 63 0 53749 0 vsize: 215248 [startup+350.022 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 24247 Raw data (stat): 24247 (bsolo_lpr) R 24246 7876 7672 0 -1 0 53033 0 0 0 34860 138 0 0 25 0 1 0 789313614 220413952 52954 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 53812 52954 1111 63 0 53749 0 vsize: 215248 [startup+360.023 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 24247 Raw data (stat): 24247 (bsolo_lpr) R 24246 7876 7672 0 -1 0 53033 0 0 0 35860 138 0 0 25 0 1 0 789313614 220413952 52954 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 53812 52954 1111 63 0 53749 0 vsize: 215248 [startup+370.024 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 24247 Raw data (stat): 24247 (bsolo_lpr) R 24246 7876 7672 0 -1 0 53033 0 0 0 36860 138 0 0 25 0 1 0 789313614 220413952 52954 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 53812 52954 1111 63 0 53749 0 vsize: 215248 [startup+380.024 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 24247 Raw data (stat): 24247 (bsolo_lpr) R 24246 7876 7672 0 -1 0 53033 0 0 0 37860 138 0 0 25 0 1 0 789313614 220413952 52954 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 53812 52954 1111 63 0 53749 0 vsize: 215248 [startup+390.025 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 24247 Raw data (stat): 24247 (bsolo_lpr) R 24246 7876 7672 0 -1 0 53033 0 0 0 38860 139 0 0 25 0 1 0 789313614 220413952 52954 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 53812 52954 1111 63 0 53749 0 vsize: 215248 [startup+400.026 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 24247 Raw data (stat): 24247 (bsolo_lpr) R 24246 7876 7672 0 -1 0 53033 0 0 0 39860 139 0 0 25 0 1 0 789313614 220413952 52954 4294967295 134512640 134714508 3221221776 3221220416 134606468 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 53812 52954 1111 63 0 53749 0 vsize: 215248 [startup+410.026 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 24247 Raw data (stat): 24247 (bsolo_lpr) R 24246 7876 7672 0 -1 0 53033 0 0 0 40860 139 0 0 25 0 1 0 789313614 220413952 52954 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 53812 52954 1111 63 0 53749 0 vsize: 215248 [startup+420.026 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 24247 Raw data (stat): 24247 (bsolo_lpr) R 24246 7876 7672 0 -1 0 53033 0 0 0 41860 139 0 0 25 0 1 0 789313614 220413952 52954 4294967295 134512640 134714508 3221221776 3221220432 134606194 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 53812 52954 1111 63 0 53749 0 vsize: 215248 [startup+430.027 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 24247 Raw data (stat): 24247 (bsolo_lpr) R 24246 7876 7672 0 -1 0 53033 0 0 0 42860 139 0 0 25 0 1 0 789313614 220413952 52954 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 53812 52954 1111 63 0 53749 0 vsize: 215248 [startup+440.028 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 24247 Raw data (stat): 24247 (bsolo_lpr) R 24246 7876 7672 0 -1 0 53033 0 0 0 43859 140 0 0 25 0 1 0 789313614 220413952 52954 4294967295 134512640 134714508 3221221776 3221220416 134606479 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 53812 52954 1111 63 0 53749 0 vsize: 215248 [startup+450.028 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 24247 Raw data (stat): 24247 (bsolo_lpr) R 24246 7876 7672 0 -1 0 53033 0 0 0 44859 141 0 0 25 0 1 0 789313614 220413952 52954 4294967295 134512640 134714508 3221221776 3221220416 134606479 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 53812 52954 1111 63 0 53749 0 vsize: 215248 [startup+460.028 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 24247 Raw data (stat): 24247 (bsolo_lpr) R 24246 7876 7672 0 -1 0 53033 0 0 0 45858 141 0 0 25 0 1 0 789313614 220413952 52954 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 53812 52954 1111 63 0 53749 0 vsize: 215248 [startup+470.03 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 24247 Raw data (stat): 24247 (bsolo_lpr) R 24246 7876 7672 0 -1 0 53033 0 0 0 46858 142 0 0 25 0 1 0 789313614 220413952 52954 4294967295 134512640 134714508 3221221776 3221220416 134606479 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 53812 52954 1111 63 0 53749 0 vsize: 215248 [startup+480.03 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 24247 Raw data (stat): 24247 (bsolo_lpr) R 24246 7876 7672 0 -1 0 53033 0 0 0 47858 142 0 0 25 0 1 0 789313614 220413952 52954 4294967295 134512640 134714508 3221221776 3221220328 1077377416 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 53812 52954 1111 63 0 53749 0 vsize: 215248 [startup+490.031 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 24247 Raw data (stat): 24247 (bsolo_lpr) R 24246 7876 7672 0 -1 0 53033 0 0 0 48857 143 0 0 25 0 1 0 789313614 220413952 52954 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 53812 52954 1111 63 0 53749 0 vsize: 215248 [startup+500.032 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 24247 Raw data (stat): 24247 (bsolo_lpr) R 24246 7876 7672 0 -1 0 53033 0 0 0 49857 143 0 0 25 0 1 0 789313614 220413952 52954 4294967295 134512640 134714508 3221221776 3221220200 1077377254 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 53812 52954 1111 63 0 53749 0 vsize: 215248 [startup+510.032 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 24247 Raw data (stat): 24247 (bsolo_lpr) R 24246 7876 7672 0 -1 0 53033 0 0 0 50857 143 0 0 25 0 1 0 789313614 220413952 52954 4294967295 134512640 134714508 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 53812 52954 1111 63 0 53749 0 vsize: 215248 [startup+520.252 s] Raw data (loadavg): 1.15 1.00 0.98 3/59 24293 Raw data (stat): 24247 (bsolo_lpr) R 24246 7876 7672 0 -1 0 53033 0 0 0 51873 149 0 0 25 0 1 0 789313614 220413952 52954 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 53812 52954 1111 63 0 53749 0 vsize: 215248 [startup+530.252 s] Raw data (loadavg): 1.20 1.02 0.98 2/55 24300 Raw data (stat): 24247 (bsolo_lpr) R 24246 7876 7672 0 -1 0 53033 0 0 0 52873 149 0 0 25 0 1 0 789313614 220413952 52954 4294967295 134512640 134714508 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 53812 52954 1111 63 0 53749 0 vsize: 215248 [startup+540.254 s] Raw data (loadavg): 1.17 1.02 0.98 2/55 24300 Raw data (stat): 24247 (bsolo_lpr) R 24246 7876 7672 0 -1 0 53033 0 0 0 53873 149 0 0 25 0 1 0 789313614 220413952 52954 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 53812 52954 1111 63 0 53749 0 vsize: 215248 [startup+550.255 s] Raw data (loadavg): 1.14 1.02 0.98 2/55 24300 Raw data (stat): 24247 (bsolo_lpr) R 24246 7876 7672 0 -1 0 53033 0 0 0 54873 149 0 0 25 0 1 0 789313614 220413952 52954 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 53812 52954 1111 63 0 53749 0 vsize: 215248 [startup+560.255 s] Raw data (loadavg): 1.12 1.02 0.98 2/55 24300 Raw data (stat): 24247 (bsolo_lpr) R 24246 7876 7672 0 -1 0 53033 0 0 0 55873 149 0 0 25 0 1 0 789313614 220413952 52954 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 53812 52954 1111 63 0 53749 0 vsize: 215248 [startup+570.255 s] Raw data (loadavg): 1.10 1.02 0.98 2/55 24300 Raw data (stat): 24247 (bsolo_lpr) R 24246 7876 7672 0 -1 0 53033 0 0 0 56874 149 0 0 25 0 1 0 789313614 220413952 52954 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 53812 52954 1111 63 0 53749 0 vsize: 215248 [startup+580.255 s] Raw data (loadavg): 1.08 1.01 0.98 2/55 24300 Raw data (stat): 24247 (bsolo_lpr) R 24246 7876 7672 0 -1 0 53033 0 0 0 57874 149 0 0 25 0 1 0 789313614 220413952 52954 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 53812 52954 1111 63 0 53749 0 vsize: 215248 [startup+590.257 s] Raw data (loadavg): 1.07 1.01 0.98 2/55 24300 Raw data (stat): 24247 (bsolo_lpr) R 24246 7876 7672 0 -1 0 53033 0 0 0 58874 149 0 0 25 0 1 0 789313614 220413952 52954 4294967295 134512640 134714508 3221221776 3221220180 1077379755 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 53812 52954 1111 63 0 53749 0 vsize: 215248 [startup+600.257 s] Raw data (loadavg): 1.06 1.01 0.98 2/55 24302 Raw data (stat): 24247 (bsolo_lpr) R 24246 7876 7672 0 -1 0 53033 0 0 0 59874 149 0 0 25 0 1 0 789313614 220413952 52954 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 53812 52954 1111 63 0 53749 0 vsize: 215248 [startup+610.257 s] Raw data (loadavg): 1.05 1.01 0.98 2/55 24302 Raw data (stat): 24247 (bsolo_lpr) R 24246 7876 7672 0 -1 0 53033 0 0 0 60874 149 0 0 25 0 1 0 789313614 220413952 52954 4294967295 134512640 134714508 3221221776 3221220416 134606479 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 53812 52954 1111 63 0 53749 0 vsize: 215248 [startup+620.258 s] Raw data (loadavg): 1.04 1.01 0.98 2/55 24302 Raw data (stat): 24247 (bsolo_lpr) R 24246 7876 7672 0 -1 0 53033 0 0 0 61875 149 0 0 25 0 1 0 789313614 220413952 52954 4294967295 134512640 134714508 3221221776 3221220448 134627252 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 53812 52954 1111 63 0 53749 0 vsize: 215248 [startup+630.258 s] Raw data (loadavg): 1.04 1.01 0.98 2/55 24302 Raw data (stat): 24247 (bsolo_lpr) R 24246 7876 7672 0 -1 0 53033 0 0 0 62875 149 0 0 25 0 1 0 789313614 220413952 52954 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 53812 52954 1111 63 0 53749 0 vsize: 215248 [startup+640.259 s] Raw data (loadavg): 1.03 1.01 0.98 2/55 24302 Raw data (stat): 24247 (bsolo_lpr) R 24246 7876 7672 0 -1 0 53364 0 0 0 63874 150 0 0 25 0 1 0 789313614 221810688 53285 4294967295 134512640 134714508 3221221776 3221220048 1074153779 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 54153 53285 1111 63 0 54090 0 vsize: 216612 [startup+650.26 s] Raw data (loadavg): 1.02 1.01 0.98 2/55 24302 Raw data (stat): 24247 (bsolo_lpr) R 24246 7876 7672 0 -1 0 54266 0 0 0 64872 152 0 0 25 0 1 0 789313614 224239616 53836 4294967295 134512640 134714508 3221221776 3221218120 1075110816 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 54746 53836 1111 63 0 54683 0 vsize: 218984 [startup+660.26 s] Raw data (loadavg): 1.02 1.01 0.98 2/55 24302 Raw data (stat): 24247 (bsolo_lpr) R 24246 7876 7672 0 -1 0 56329 0 0 0 65866 158 0 0 25 0 1 0 789313614 223346688 53789 4294967295 134512640 134714508 3221221776 3221220224 134648533 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 54528 53789 1111 63 0 54465 0 vsize: 218112 [startup+670.261 s] Raw data (loadavg): 1.02 1.01 0.98 2/55 24302 Raw data (stat): 24247 (bsolo_lpr) R 24246 7876 7672 0 -1 0 57032 0 0 0 66864 160 0 0 25 0 1 0 789313614 225153024 53971 4294967295 134512640 134714508 3221221776 3221217708 1074788953 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 54969 53971 1111 63 0 54906 0 vsize: 219876 [startup+680.261 s] Raw data (loadavg): 1.01 1.00 0.98 2/55 24302 Raw data (stat): 24247 (bsolo_lpr) R 24246 7876 7672 0 -1 0 58205 0 0 0 67860 165 0 0 25 0 1 0 789313614 226304000 53907 4294967295 134512640 134714508 3221221776 3221217840 1074969461 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 55250 53907 1111 63 0 55187 0 vsize: 221000 [startup+690.262 s] Raw data (loadavg): 1.01 1.00 0.98 2/55 24302 Raw data (stat): 24247 (bsolo_lpr) R 24246 7876 7672 0 -1 0 59630 0 0 0 68854 170 0 0 25 0 1 0 789313614 222285824 53573 4294967295 134512640 134714508 3221221776 3221220176 1074153675 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 54269 53573 1111 63 0 54206 0 vsize: 217076 [startup+700.263 s] Raw data (loadavg): 1.01 1.00 0.98 2/55 24302 Raw data (stat): 24247 (bsolo_lpr) R 24246 7876 7672 0 -1 0 69392 0 0 0 69831 194 0 0 25 0 1 0 789313614 222285824 53574 4294967295 134512640 134714508 3221221776 3221220176 1074153663 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 54269 53574 1111 63 0 54206 0 vsize: 217076 [startup+710.263 s] Raw data (loadavg): 1.01 1.00 0.98 2/55 24302 Raw data (stat): 24247 (bsolo_lpr) R 24246 7876 7672 0 -1 0 74569 0 0 0 70818 207 0 0 25 0 1 0 789313614 222285824 53574 4294967295 134512640 134714508 3221221776 3221220128 1074153770 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 54269 53574 1111 63 0 54206 0 vsize: 217076 [startup+720.264 s] Raw data (loadavg): 1.01 1.00 0.98 2/55 24302 Raw data (stat): 24247 (bsolo_lpr) R 24246 7876 7672 0 -1 0 81156 0 0 0 71802 223 0 0 25 0 1 0 789313614 222285824 53574 4294967295 134512640 134714508 3221221776 3221220088 1074138153 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 54269 53574 1111 63 0 54206 0 vsize: 217076 [startup+730.263 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 24302 Raw data (stat): 24247 (bsolo_lpr) R 24246 7876 7672 0 -1 0 86605 0 0 0 72789 236 0 0 25 0 1 0 789313614 222285824 53574 4294967295 134512640 134714508 3221221776 3221220152 1077410279 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 54269 53574 1111 63 0 54206 0 vsize: 217076 [startup+740.264 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 24302 Raw data (stat): 24247 (bsolo_lpr) R 24246 7876 7672 0 -1 0 92512 0 0 0 73774 251 0 0 25 0 1 0 789313614 222285824 53574 4294967295 134512640 134714508 3221221776 3221220160 1074153660 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 54269 53574 1111 63 0 54206 0 vsize: 217076 [startup+750.265 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 24302 Raw data (stat): 24247 (bsolo_lpr) R 24246 7876 7672 0 -1 0 97215 0 0 0 74761 264 0 0 25 0 1 0 789313614 222285824 53574 4294967295 134512640 134714508 3221221776 3221220160 1074153672 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 54269 53574 1111 63 0 54206 0 vsize: 217076 [startup+760.264 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 24302 Raw data (stat): 24247 (bsolo_lpr) R 24246 7876 7672 0 -1 0 103448 0 0 0 75746 279 0 0 25 0 1 0 789313614 222285824 53574 4294967295 134512640 134714508 3221221776 3221220176 1074153749 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 54269 53574 1111 63 0 54206 0 vsize: 217076 [startup+770.265 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 24302 Raw data (stat): 24247 (bsolo_lpr) R 24246 7876 7672 0 -1 0 113007 0 0 0 76723 303 0 0 25 0 1 0 789313614 222285824 53574 4294967295 134512640 134714508 3221221776 3221220176 1074153812 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 54269 53574 1111 63 0 54206 0 vsize: 217076 [startup+780.265 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 24302 Raw data (stat): 24247 (bsolo_lpr) R 24246 7876 7672 0 -1 0 119429 0 0 0 77707 319 0 0 25 0 1 0 789313614 225185792 53608 4294967295 134512640 134714508 3221221776 3221218432 1075967692 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 54977 53608 1111 63 0 54914 0 vsize: 219908 [startup+790.266 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 24302 Raw data (stat): 24247 (bsolo_lpr) R 24246 7876 7672 0 -1 0 124932 0 0 0 78692 334 0 0 25 0 1 0 789313614 222285824 53574 4294967295 134512640 134714508 3221221776 3221220448 134650216 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 54269 53574 1111 63 0 54206 0 vsize: 217076 [startup+800.267 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 24302 Raw data (stat): 24247 (bsolo_lpr) R 24246 7876 7672 0 -1 0 131229 0 0 0 79676 350 0 0 25 0 1 0 789313614 222285824 53574 4294967295 134512640 134714508 3221221776 3221220240 1074039267 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 54269 53574 1111 63 0 54206 0 vsize: 217076 [startup+810.267 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 24302 Raw data (stat): 24247 (bsolo_lpr) R 24246 7876 7672 0 -1 0 141989 0 0 0 80651 375 0 0 25 0 1 0 789313614 222285824 53574 4294967295 134512640 134714508 3221221776 3221220176 1074153660 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 54269 53574 1111 63 0 54206 0 vsize: 217076 [startup+820.267 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 24302 Raw data (stat): 24247 (bsolo_lpr) R 24246 7876 7672 0 -1 0 148694 0 0 0 81633 393 0 0 25 0 1 0 789313614 222285824 53574 4294967295 134512640 134714508 3221221776 3221219756 1077411564 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 54269 53574 1111 63 0 54206 0 vsize: 217076 [startup+830.267 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 24302 Raw data (stat): 24247 (bsolo_lpr) R 24246 7876 7672 0 -1 0 152048 0 0 0 82625 402 0 0 25 0 1 0 789313614 222285824 53574 4294967295 134512640 134714508 3221221776 3221220088 1074138150 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 54269 53574 1111 63 0 54206 0 vsize: 217076 [startup+840.268 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 24302 Raw data (stat): 24247 (bsolo_lpr) R 24246 7876 7672 0 -1 0 157611 0 0 0 83611 416 0 0 25 0 1 0 789313614 222285824 53574 4294967295 134512640 134714508 3221221776 3221220176 1074153675 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 54269 53574 1111 63 0 54206 0 vsize: 217076 [startup+850.268 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 24302 Raw data (stat): 24247 (bsolo_lpr) R 24246 7876 7672 0 -1 0 165410 0 0 0 84593 434 0 0 25 0 1 0 789313614 222285824 53574 4294967295 134512640 134714508 3221221776 3221220160 1074153736 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 54269 53574 1111 63 0 54206 0 vsize: 217076 [startup+860.268 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 24302 Raw data (stat): 24247 (bsolo_lpr) R 24246 7876 7672 0 -1 0 174905 0 0 0 85570 457 0 0 25 0 1 0 789313614 222285824 53574 4294967295 134512640 134714508 3221221776 3221220176 1074153736 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 54269 53574 1111 63 0 54206 0 vsize: 217076 [startup+870.269 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 24302 Raw data (stat): 24247 (bsolo_lpr) R 24246 7876 7672 0 -1 0 182923 0 0 0 86549 479 0 0 25 0 1 0 789313614 222285824 53574 4294967295 134512640 134714508 3221221776 3221220176 1074153672 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 54269 53574 1111 63 0 54206 0 vsize: 217076 [startup+880.269 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 24302 Raw data (stat): 24247 (bsolo_lpr) R 24246 7876 7672 0 -1 0 189099 0 0 0 87534 494 0 0 25 0 1 0 789313614 222285824 53574 4294967295 134512640 134714508 3221221776 3221220176 1074153675 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 54269 53574 1111 63 0 54206 0 vsize: 217076 [startup+890.27 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 24304 Raw data (stat): 24247 (bsolo_lpr) R 24246 7876 7672 0 -1 0 197200 0 0 0 88514 514 0 0 25 0 1 0 789313614 225185792 53625 4294967295 134512640 134714508 3221221776 3221218004 1075114969 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 54977 53625 1111 63 0 54914 0 vsize: 219908 [startup+900.27 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 24304 Raw data (stat): 24247 (bsolo_lpr) R 24246 7876 7672 0 -1 0 203842 0 0 0 89498 530 0 0 25 0 1 0 789313614 222285824 53574 4294967295 134512640 134714508 3221221776 3221219088 1075006815 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 54269 53574 1111 63 0 54206 0 vsize: 217076 [startup+910.27 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 24304 Raw data (stat): 24247 (bsolo_lpr) R 24246 7876 7672 0 -1 0 206973 0 0 0 90490 538 0 0 25 0 1 0 789313614 222285824 53574 4294967295 134512640 134714508 3221221776 3221220176 1074153786 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 54269 53574 1111 63 0 54206 0 vsize: 217076 [startup+920.27 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 24304 Raw data (stat): 24247 (bsolo_lpr) R 24246 7876 7672 0 -1 0 210948 0 0 0 91480 548 0 0 25 0 1 0 789313614 222285824 53574 4294967295 134512640 134714508 3221221776 3221220176 1074153675 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 54269 53574 1111 63 0 54206 0 vsize: 217076 [startup+930.27 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 24304 Raw data (stat): 24247 (bsolo_lpr) R 24246 7876 7672 0 -1 0 217598 0 0 0 92464 565 0 0 25 0 1 0 789313614 222285824 53574 4294967295 134512640 134714508 3221221776 3221220176 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 54269 53574 1111 63 0 54206 0 vsize: 217076 [startup+940.271 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 24304 Raw data (stat): 24247 (bsolo_lpr) R 24246 7876 7672 0 -1 0 224808 0 0 0 93446 583 0 0 25 0 1 0 789313614 225185792 53924 4294967295 134512640 134714508 3221221776 3221218144 1075894487 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 54977 53924 1111 63 0 54914 0 vsize: 219908 [startup+950.271 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 24304 Raw data (stat): 24247 (bsolo_lpr) R 24246 7876 7672 0 -1 0 227324 0 0 0 94440 589 0 0 25 0 1 0 789313614 222285824 53574 4294967295 134512640 134714508 3221221776 3221220088 1074138150 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 54269 53574 1111 63 0 54206 0 vsize: 217076 [startup+960.271 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 24304 Raw data (stat): 24247 (bsolo_lpr) R 24246 7876 7672 0 -1 0 231502 0 0 0 95429 601 0 0 25 0 1 0 789313614 222285824 53574 4294967295 134512640 134714508 3221221776 3221220176 1074153806 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 54269 53574 1111 63 0 54206 0 vsize: 217076 [startup+970.271 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 24304 Raw data (stat): 24247 (bsolo_lpr) R 24246 7876 7672 0 -1 0 236929 0 0 0 96416 614 0 0 25 0 1 0 789313614 222285824 53574 4294967295 134512640 134714508 3221221776 3221219756 1077411564 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 54269 53574 1111 63 0 54206 0 vsize: 217076 [startup+980.271 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 24304 Raw data (stat): 24247 (bsolo_lpr) R 24246 7876 7672 0 -1 0 243068 0 0 0 97401 629 0 0 25 0 1 0 789313614 225185792 53596 4294967295 134512640 134714508 3221221776 3221218768 1075110381 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 54977 53596 1111 63 0 54914 0 vsize: 219908 [startup+990.272 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 24304 Raw data (stat): 24247 (bsolo_lpr) R 24246 7876 7672 0 -1 0 252060 0 0 0 98380 649 0 0 25 0 1 0 789313614 222285824 53574 4294967295 134512640 134714508 3221221776 3221220160 1074153672 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 54269 53574 1111 63 0 54206 0 vsize: 217076 [startup+1000.27 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 24304 Raw data (stat): 24247 (bsolo_lpr) R 24246 7876 7672 0 -1 0 258788 0 0 0 99364 666 0 0 25 0 1 0 789313614 222285824 53574 4294967295 134512640 134714508 3221221776 3221220152 1077410279 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 54269 53574 1111 63 0 54206 0 vsize: 217076 [startup+1010.27 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 24304 Raw data (stat): 24247 (bsolo_lpr) R 24246 7876 7672 0 -1 0 271335 0 0 0 100334 696 0 0 25 0 1 0 789313614 224219136 53662 4294967295 134512640 134714508 3221221776 3221217936 1075095166 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 54741 53671 1111 63 0 54678 0 vsize: 218964 [startup+1020.27 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 24304 Raw data (stat): 24247 (bsolo_lpr) R 24246 7876 7672 0 -1 0 283322 0 0 0 101304 726 0 0 25 0 1 0 789313614 222285824 53574 4294967295 134512640 134714508 3221221776 3221220176 1074153815 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 54269 53574 1111 63 0 54206 0 vsize: 217076 [startup+1030.27 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 24304 Raw data (stat): 24247 (bsolo_lpr) R 24246 7876 7672 0 -1 0 293755 0 0 0 102279 752 0 0 25 0 1 0 789313614 224219136 53698 4294967295 134512640 134714508 3221221776 3221217936 1075091317 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 54741 53698 1111 63 0 54678 0 vsize: 218964 [startup+1040.27 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 24304 Raw data (stat): 24247 (bsolo_lpr) R 24246 7876 7672 0 -1 0 306775 0 0 0 103248 782 0 0 25 0 1 0 789313614 222285824 53574 4294967295 134512640 134714508 3221221776 3221219504 1075828201 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 54269 53574 1111 63 0 54206 0 vsize: 217076 [startup+1050.27 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 24304 Raw data (stat): 24247 (bsolo_lpr) R 24246 7876 7672 0 -1 0 315913 0 0 0 104225 806 0 0 25 0 1 0 789313614 222285824 53574 4294967295 134512640 134714508 3221221776 3221220088 1074138150 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 54269 53574 1111 63 0 54206 0 vsize: 217076 [startup+1060.27 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 24304 Raw data (stat): 24247 (bsolo_lpr) R 24246 7876 7672 0 -1 0 325347 0 0 0 105203 828 0 0 25 0 1 0 789313614 222285824 53574 4294967295 134512640 134714508 3221221776 3221220176 1074153675 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 54269 53574 1111 63 0 54206 0 vsize: 217076 [startup+1070.27 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 24304 Raw data (stat): 24247 (bsolo_lpr) R 24246 7876 7672 0 -1 0 333562 0 0 0 106184 847 0 0 25 0 1 0 789313614 222285824 53574 4294967295 134512640 134714508 3221221776 3221220176 1074153648 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 54269 53574 1111 63 0 54206 0 vsize: 217076 [startup+1080.28 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 24304 Raw data (stat): 24247 (bsolo_lpr) R 24246 7876 7672 0 -1 0 339249 0 0 0 107169 861 0 0 25 0 1 0 789313614 222285824 53574 4294967295 134512640 134714508 3221221776 3221220204 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 54269 53574 1111 63 0 54206 0 vsize: 217076 [startup+1090.28 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 24304 Raw data (stat): 24247 (bsolo_lpr) R 24246 7876 7672 0 -1 0 346146 0 0 0 108151 880 0 0 25 0 1 0 789313614 222285824 53574 4294967295 134512640 134714508 3221221776 3221220088 1074138153 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 54269 53574 1111 63 0 54206 0 vsize: 217076 [startup+1100.28 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 24304 Raw data (stat): 24247 (bsolo_lpr) R 24246 7876 7672 0 -1 0 352401 0 0 0 109136 895 0 0 25 0 1 0 789313614 222285824 53574 4294967295 134512640 134714508 3221221776 3221220160 1074153822 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 54269 53574 1111 63 0 54206 0 vsize: 217076 [startup+1110.28 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 24304 Raw data (stat): 24247 (bsolo_lpr) R 24246 7876 7672 0 -1 0 355093 0 0 0 110129 902 0 0 25 0 1 0 789313614 222285824 53574 4294967295 134512640 134714508 3221221776 3221220176 1074153794 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 54269 53574 1111 63 0 54206 0 vsize: 217076 [startup+1120.28 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 24304 Raw data (stat): 24247 (bsolo_lpr) R 24246 7876 7672 0 -1 0 358057 0 0 0 111122 909 0 0 25 0 1 0 789313614 224219136 53625 4294967295 134512640 134714508 3221221776 3221217936 1075095166 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 54741 53635 1111 63 0 54678 0 vsize: 218964 [startup+1130.28 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 24304 Raw data (stat): 24247 (bsolo_lpr) R 24246 7876 7672 0 -1 0 364701 0 0 0 112105 926 0 0 25 0 1 0 789313614 222285824 53574 4294967295 134512640 134714508 3221221776 3221220088 1074138150 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 54269 53574 1111 63 0 54206 0 vsize: 217076 [startup+1140.28 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 24304 Raw data (stat): 24247 (bsolo_lpr) R 24246 7876 7672 0 -1 0 371815 0 0 0 113088 944 0 0 25 0 1 0 789313614 222285824 53574 4294967295 134512640 134714508 3221221776 3221220176 1074118815 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 54269 53574 1111 63 0 54206 0 vsize: 217076 [startup+1150.28 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 24304 Raw data (stat): 24247 (bsolo_lpr) R 24246 7876 7672 0 -1 0 381957 0 0 0 114062 971 0 0 25 0 1 0 789313614 222285824 53574 4294967295 134512640 134714508 3221221776 3221219740 1077411564 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 54269 53574 1111 63 0 54206 0 vsize: 217076 [startup+1160.28 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 24304 Raw data (stat): 24247 (bsolo_lpr) R 24246 7876 7672 0 -1 0 389847 0 0 0 115043 990 0 0 25 0 1 0 789313614 222285824 53574 4294967295 134512640 134714508 3221221776 3221220136 1077410279 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 54269 53574 1111 63 0 54206 0 vsize: 217076 [startup+1170.28 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 24304 Raw data (stat): 24247 (bsolo_lpr) R 24246 7876 7672 0 -1 0 398987 0 0 0 116020 1013 0 0 25 0 1 0 789313614 222285824 53574 4294967295 134512640 134714508 3221221776 3221220160 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 54269 53574 1111 63 0 54206 0 vsize: 217076 [startup+1175.21 s] Raw data (loadavg): 1.00 1.00 0.98 1/54 24304 Raw data (stat): 24247 (bsolo_lpr) R 24246 7876 7672 0 -1 0 398987 0 0 0 116020 1013 0 0 25 0 1 0 789313614 222285824 53574 4294967295 134512640 134714508 3221221776 3221220160 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 54269 53574 1111 63 0 54206 0 vsize: 0 Child status: 10 Real time (s): 1175.21 CPU time (s): 1175.27 CPU user time (s): 1164.94 CPU system time (s): 10.3234 CPU usage (%): 100.005 Max. virtual memory (Kb): 221000 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 25 #### END VERIFIER DATA ####