Name | normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-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.639901 |
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 wulflinc24 THE 2005-05-24 14:42:21 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=14613 boxname=wulflinc24 idbench=1125 idsolver=1 numberseed=0 MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef /oldhome/oroussel/solvers/bsolo_lpr MD5SUM BENCH: 0853c744a5ee2b1e483b2f80d22b20a0 /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-20-10-neos18.opb REAL COMMAND: bsolo_lpr /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-20-10-neos18.opb IDLAUNCH: 14613 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.080 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 : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.080 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: 940580 kB Buffers: 35968 kB Cached: 34672 kB SwapCached: 624 kB Active: 49040 kB Inactive: 24056 kB HighTotal: 131008 kB HighFree: 95760 kB LowTotal: 903652 kB LowFree: 844820 kB SwapTotal: 2097892 kB SwapFree: 2096776 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5648 kB Slab: 15332 kB Committed_AS: 63600 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-24 15:02:02 (client local time) WITH STATUS 10 IN 1176.19 SECONDS stats: 14613 0 1176.19 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 643.943 s c Initial Lower Bound: 9 c Lower Bound Elapsed time: 12.967 c Not use computed LB before first solution. c NEW SOLUTION FOUND: 62 @ 696.013 c NEW SOLUTION FOUND: 61 @ 696.046 c NEW SOLUTION FOUND: 60 @ 696.077 c NEW SOLUTION FOUND: 59 @ 696.109 c NEW SOLUTION FOUND: 58 @ 696.142 c NEW SOLUTION FOUND: 57 @ 696.175 c NEW SOLUTION FOUND: 56 @ 696.208 c NEW SOLUTION FOUND: 55 @ 696.241 c NEW SOLUTION FOUND: 54 @ 696.276 c NEW SOLUTION FOUND: 53 @ 696.311 c NEW SOLUTION FOUND: 52 @ 696.346 c NEW SOLUTION FOUND: 51 @ 696.383 c NEW SOLUTION FOUND: 50 @ 696.42 c NEW SOLUTION FOUND: 49 @ 696.458 c NEW SOLUTION FOUND: 48 @ 696.495 c NEW SOLUTION FOUND: 47 @ 696.535 c NEW SOLUTION FOUND: 46 @ 696.576 c NEW SOLUTION FOUND: 45 @ 696.658 c NEW SOLUTION FOUND: 44 @ 696.701 c NEW SOLUTION FOUND: 43 @ 696.745 c NEW SOLUTION FOUND: 42 @ 696.951 c NEW SOLUTION FOUND: 41 @ 697.113 c NEW SOLUTION FOUND: 40 @ 697.372 c NEW SOLUTION FOUND: 39 @ 698.095 c NEW SOLUTION FOUND: 38 @ 698.377 c NEW SOLUTION FOUND: 37 @ 698.568 c NEW SOLUTION FOUND: 36 @ 699.546 c NEW SOLUTION FOUND: 35 @ 699.954 c NEW SOLUTION FOUND: 34 @ 702.067 c NEW SOLUTION FOUND: 33 @ 705.279 c NEW SOLUTION FOUND: 32 @ 707.485 c NEW SOLUTION FOUND: 29 @ 710.628 c NEW SOLUTION FOUND: 28 @ 712 c NEW SOLUTION FOUND: 27 @ 729.023 c NEW SOLUTION FOUND: 26 @ 1079.92 c NEW SOLUTION FOUND: 25 @ 1134.2 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: 1176.09 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.92 1.05 1.50 1/54 4750 Raw data (stat): 4750 (runsolver) D 4749 4613 4612 0 -1 64 4 0 0 0 0 0 0 0 18 0 1 0 831040975 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 3225161850 0 0 17 0 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0148 s] Raw data (loadavg): 0.93 1.05 1.49 2/54 4750 Raw data (stat): 4750 (bsolo_lpr) R 4749 4613 4612 0 -1 0 48210 0 0 0 880 117 0 0 25 0 1 0 831040975 200667136 48132 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 48991 48132 1111 63 0 48928 0 vsize: 195964 [startup+20.0226 s] Raw data (loadavg): 0.94 1.05 1.49 2/54 4750 Raw data (stat): 4750 (bsolo_lpr) R 4749 4613 4612 0 -1 0 48210 0 0 0 1880 117 0 0 25 0 1 0 831040975 200667136 48132 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 48991 48132 1111 63 0 48928 0 vsize: 195964 [startup+30.022 s] Raw data (loadavg): 0.95 1.05 1.48 2/54 4750 Raw data (stat): 4750 (bsolo_lpr) R 4749 4613 4612 0 -1 0 51488 0 0 0 2872 125 0 0 25 0 1 0 831040975 214065152 51410 4294967295 134512640 134714508 3221224592 3221223232 134606498 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 52262 51410 1111 63 0 52199 0 vsize: 209048 [startup+40.0229 s] Raw data (loadavg): 0.96 1.04 1.48 2/54 4750 Raw data (stat): 4750 (bsolo_lpr) R 4749 4613 4612 0 -1 0 53031 0 0 0 3869 129 0 0 25 0 1 0 831040975 220409856 52953 4294967295 134512640 134714508 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 53811 52953 1111 63 0 53748 0 vsize: 215244 [startup+50.0237 s] Raw data (loadavg): 0.96 1.04 1.47 2/54 4750 Raw data (stat): 4750 (bsolo_lpr) R 4749 4613 4612 0 -1 0 53031 0 0 0 4869 129 0 0 25 0 1 0 831040975 220409856 52953 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 53811 52953 1111 63 0 53748 0 vsize: 215244 [startup+60.0234 s] Raw data (loadavg): 0.97 1.04 1.46 2/54 4750 Raw data (stat): 4750 (bsolo_lpr) R 4749 4613 4612 0 -1 0 53031 0 0 0 5869 129 0 0 25 0 1 0 831040975 220409856 52953 4294967295 134512640 134714508 3221224592 3221223232 134606456 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 53811 52953 1111 63 0 53748 0 vsize: 215244 [startup+70.0243 s] Raw data (loadavg): 0.97 1.04 1.46 2/54 4750 Raw data (stat): 4750 (bsolo_lpr) R 4749 4613 4612 0 -1 0 53031 0 0 0 6869 129 0 0 25 0 1 0 831040975 220409856 52953 4294967295 134512640 134714508 3221224592 3221223392 134617624 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 53811 52953 1111 63 0 53748 0 vsize: 215244 [startup+80.0248 s] Raw data (loadavg): 0.98 1.04 1.45 2/54 4750 Raw data (stat): 4750 (bsolo_lpr) R 4749 4613 4612 0 -1 0 53031 0 0 0 7870 129 0 0 25 0 1 0 831040975 220409856 52953 4294967295 134512640 134714508 3221224592 3221223232 134606468 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 53811 52953 1111 63 0 53748 0 vsize: 215244 [startup+90.0321 s] Raw data (loadavg): 0.98 1.03 1.45 2/54 4750 Raw data (stat): 4750 (bsolo_lpr) R 4749 4613 4612 0 -1 0 53031 0 0 0 8871 129 0 0 25 0 1 0 831040975 220409856 52953 4294967295 134512640 134714508 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 53811 52953 1111 63 0 53748 0 vsize: 215244 [startup+100.032 s] Raw data (loadavg): 0.98 1.03 1.44 2/54 4750 Raw data (stat): 4750 (bsolo_lpr) R 4749 4613 4612 0 -1 0 53031 0 0 0 9871 129 0 0 25 0 1 0 831040975 220409856 52953 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 53811 52953 1111 63 0 53748 0 vsize: 215244 [startup+110.039 s] Raw data (loadavg): 0.98 1.03 1.44 2/54 4750 Raw data (stat): 4750 (bsolo_lpr) R 4749 4613 4612 0 -1 0 53031 0 0 0 10872 129 0 0 25 0 1 0 831040975 220409856 52953 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 53811 52953 1111 63 0 53748 0 vsize: 215244 [startup+120.047 s] Raw data (loadavg): 0.99 1.03 1.43 2/54 4750 Raw data (stat): 4750 (bsolo_lpr) R 4749 4613 4612 0 -1 0 53031 0 0 0 11872 129 0 0 25 0 1 0 831040975 220409856 52953 4294967295 134512640 134714508 3221224592 3221223232 134606498 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 53811 52953 1111 63 0 53748 0 vsize: 215244 [startup+130.047 s] Raw data (loadavg): 0.99 1.03 1.43 2/54 4750 Raw data (stat): 4750 (bsolo_lpr) R 4749 4613 4612 0 -1 0 53031 0 0 0 12873 129 0 0 25 0 1 0 831040975 220409856 52953 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 53811 52953 1111 63 0 53748 0 vsize: 215244 [startup+140.047 s] Raw data (loadavg): 0.99 1.03 1.42 2/54 4750 Raw data (stat): 4750 (bsolo_lpr) R 4749 4613 4612 0 -1 0 53031 0 0 0 13873 129 0 0 25 0 1 0 831040975 220409856 52953 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 53811 52953 1111 63 0 53748 0 vsize: 215244 [startup+150.048 s] Raw data (loadavg): 0.99 1.03 1.42 2/54 4750 Raw data (stat): 4750 (bsolo_lpr) R 4749 4613 4612 0 -1 0 53031 0 0 0 14873 129 0 0 25 0 1 0 831040975 220409856 52953 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 53811 52953 1111 63 0 53748 0 vsize: 215244 [startup+160.047 s] Raw data (loadavg): 0.99 1.02 1.41 2/54 4750 Raw data (stat): 4750 (bsolo_lpr) R 4749 4613 4612 0 -1 0 53031 0 0 0 15873 129 0 0 25 0 1 0 831040975 220409856 52953 4294967295 134512640 134714508 3221224592 3221223096 1077378310 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 53811 52953 1111 63 0 53748 0 vsize: 215244 [startup+170.048 s] Raw data (loadavg): 0.99 1.02 1.41 2/54 4750 Raw data (stat): 4750 (bsolo_lpr) R 4749 4613 4612 0 -1 0 53031 0 0 0 16874 129 0 0 25 0 1 0 831040975 220409856 52953 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 53811 52953 1111 63 0 53748 0 vsize: 215244 [startup+180.048 s] Raw data (loadavg): 0.99 1.02 1.40 2/54 4750 Raw data (stat): 4750 (bsolo_lpr) R 4749 4613 4612 0 -1 0 53031 0 0 0 17874 129 0 0 25 0 1 0 831040975 220409856 52953 4294967295 134512640 134714508 3221224592 3221223144 1077378310 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 53811 52953 1111 63 0 53748 0 vsize: 215244 [startup+190.049 s] Raw data (loadavg): 0.99 1.02 1.40 2/54 4750 Raw data (stat): 4750 (bsolo_lpr) R 4749 4613 4612 0 -1 0 53031 0 0 0 18874 129 0 0 25 0 1 0 831040975 220409856 52953 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 53811 52953 1111 63 0 53748 0 vsize: 215244 [startup+200.049 s] Raw data (loadavg): 0.99 1.02 1.39 2/54 4750 Raw data (stat): 4750 (bsolo_lpr) R 4749 4613 4612 0 -1 0 53031 0 0 0 19874 129 0 0 25 0 1 0 831040975 220409856 52953 4294967295 134512640 134714508 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 53811 52953 1111 63 0 53748 0 vsize: 215244 [startup+210.049 s] Raw data (loadavg): 0.99 1.02 1.39 2/54 4750 Raw data (stat): 4750 (bsolo_lpr) R 4749 4613 4612 0 -1 0 53031 0 0 0 20874 129 0 0 25 0 1 0 831040975 220409856 52953 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 53811 52953 1111 63 0 53748 0 vsize: 215244 [startup+220.05 s] Raw data (loadavg): 0.99 1.02 1.38 2/54 4750 Raw data (stat): 4750 (bsolo_lpr) R 4749 4613 4612 0 -1 0 53031 0 0 0 21874 129 0 0 25 0 1 0 831040975 220409856 52953 4294967295 134512640 134714508 3221224592 3221223264 134606975 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 53811 52953 1111 63 0 53748 0 vsize: 215244 [startup+230.049 s] Raw data (loadavg): 0.99 1.02 1.38 2/54 4750 Raw data (stat): 4750 (bsolo_lpr) R 4749 4613 4612 0 -1 0 53031 0 0 0 22875 129 0 0 25 0 1 0 831040975 220409856 52953 4294967295 134512640 134714508 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 53811 52953 1111 63 0 53748 0 vsize: 215244 [startup+240.05 s] Raw data (loadavg): 0.99 1.02 1.37 2/54 4750 Raw data (stat): 4750 (bsolo_lpr) R 4749 4613 4612 0 -1 0 53031 0 0 0 23875 129 0 0 25 0 1 0 831040975 220409856 52953 4294967295 134512640 134714508 3221224592 3221223232 134606498 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 53811 52953 1111 63 0 53748 0 vsize: 215244 [startup+250.051 s] Raw data (loadavg): 0.99 1.02 1.37 2/54 4750 Raw data (stat): 4750 (bsolo_lpr) R 4749 4613 4612 0 -1 0 53031 0 0 0 24875 129 0 0 25 0 1 0 831040975 220409856 52953 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 53811 52953 1111 63 0 53748 0 vsize: 215244 [startup+260.051 s] Raw data (loadavg): 0.99 1.02 1.37 2/54 4750 Raw data (stat): 4750 (bsolo_lpr) R 4749 4613 4612 0 -1 0 53031 0 0 0 25875 129 0 0 25 0 1 0 831040975 220409856 52953 4294967295 134512640 134714508 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 53811 52953 1111 63 0 53748 0 vsize: 215244 [startup+270.051 s] Raw data (loadavg): 0.99 1.01 1.36 2/54 4750 Raw data (stat): 4750 (bsolo_lpr) R 4749 4613 4612 0 -1 0 53031 0 0 0 26875 129 0 0 25 0 1 0 831040975 220409856 52953 4294967295 134512640 134714508 3221224592 3221223232 134606468 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 53811 52953 1111 63 0 53748 0 vsize: 215244 [startup+280.051 s] Raw data (loadavg): 0.99 1.01 1.36 2/54 4750 Raw data (stat): 4750 (bsolo_lpr) R 4749 4613 4612 0 -1 0 53031 0 0 0 27876 129 0 0 25 0 1 0 831040975 220409856 52953 4294967295 134512640 134714508 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 53811 52953 1111 63 0 53748 0 vsize: 215244 [startup+290.051 s] Raw data (loadavg): 0.99 1.01 1.35 2/54 4750 Raw data (stat): 4750 (bsolo_lpr) R 4749 4613 4612 0 -1 0 53031 0 0 0 28876 129 0 0 25 0 1 0 831040975 220409856 52953 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 53811 52953 1111 63 0 53748 0 vsize: 215244 [startup+300.051 s] Raw data (loadavg): 0.99 1.01 1.35 2/54 4750 Raw data (stat): 4750 (bsolo_lpr) R 4749 4613 4612 0 -1 0 53031 0 0 0 29876 129 0 0 25 0 1 0 831040975 220409856 52953 4294967295 134512640 134714508 3221224592 3221223232 134606488 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 53811 52953 1111 63 0 53748 0 vsize: 215244 [startup+310.051 s] Raw data (loadavg): 0.99 1.01 1.35 2/54 4750 Raw data (stat): 4750 (bsolo_lpr) R 4749 4613 4612 0 -1 0 53031 0 0 0 30876 129 0 0 25 0 1 0 831040975 220409856 52953 4294967295 134512640 134714508 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 53811 52953 1111 63 0 53748 0 vsize: 215244 [startup+320.052 s] Raw data (loadavg): 0.99 1.01 1.34 2/54 4750 Raw data (stat): 4750 (bsolo_lpr) R 4749 4613 4612 0 -1 0 53031 0 0 0 31876 129 0 0 25 0 1 0 831040975 220409856 52953 4294967295 134512640 134714508 3221224592 3221223232 134606488 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 53811 52953 1111 63 0 53748 0 vsize: 215244 [startup+330.053 s] Raw data (loadavg): 0.99 1.01 1.34 2/54 4750 Raw data (stat): 4750 (bsolo_lpr) R 4749 4613 4612 0 -1 0 53031 0 0 0 32877 129 0 0 25 0 1 0 831040975 220409856 52953 4294967295 134512640 134714508 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 53811 52953 1111 63 0 53748 0 vsize: 215244 [startup+340.053 s] Raw data (loadavg): 0.99 1.01 1.33 2/54 4750 Raw data (stat): 4750 (bsolo_lpr) R 4749 4613 4612 0 -1 0 53031 0 0 0 33877 129 0 0 25 0 1 0 831040975 220409856 52953 4294967295 134512640 134714508 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 53811 52953 1111 63 0 53748 0 vsize: 215244 [startup+350.053 s] Raw data (loadavg): 0.99 1.01 1.33 2/54 4750 Raw data (stat): 4750 (bsolo_lpr) R 4749 4613 4612 0 -1 0 53031 0 0 0 34877 129 0 0 25 0 1 0 831040975 220409856 52953 4294967295 134512640 134714508 3221224592 3221223232 134606456 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 53811 52953 1111 63 0 53748 0 vsize: 215244 [startup+360.054 s] Raw data (loadavg): 0.99 1.01 1.33 2/54 4750 Raw data (stat): 4750 (bsolo_lpr) R 4749 4613 4612 0 -1 0 53031 0 0 0 35877 129 0 0 25 0 1 0 831040975 220409856 52953 4294967295 134512640 134714508 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 53811 52953 1111 63 0 53748 0 vsize: 215244 [startup+370.054 s] Raw data (loadavg): 0.99 1.00 1.32 2/54 4750 Raw data (stat): 4750 (bsolo_lpr) R 4749 4613 4612 0 -1 0 53031 0 0 0 36877 129 0 0 25 0 1 0 831040975 220409856 52953 4294967295 134512640 134714508 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 53811 52953 1111 63 0 53748 0 vsize: 215244 [startup+380.054 s] Raw data (loadavg): 0.99 1.00 1.32 2/54 4750 Raw data (stat): 4750 (bsolo_lpr) R 4749 4613 4612 0 -1 0 53031 0 0 0 37878 129 0 0 25 0 1 0 831040975 220409856 52953 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 53811 52953 1111 63 0 53748 0 vsize: 215244 [startup+390.055 s] Raw data (loadavg): 0.99 1.00 1.31 2/54 4750 Raw data (stat): 4750 (bsolo_lpr) R 4749 4613 4612 0 -1 0 53031 0 0 0 38878 129 0 0 25 0 1 0 831040975 220409856 52953 4294967295 134512640 134714508 3221224592 3221223232 134606468 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 53811 52953 1111 63 0 53748 0 vsize: 215244 [startup+400.056 s] Raw data (loadavg): 0.99 1.00 1.31 2/54 4750 Raw data (stat): 4750 (bsolo_lpr) R 4749 4613 4612 0 -1 0 53031 0 0 0 39878 129 0 0 25 0 1 0 831040975 220409856 52953 4294967295 134512640 134714508 3221224592 3221223232 134606456 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 53811 52953 1111 63 0 53748 0 vsize: 215244 [startup+410.056 s] Raw data (loadavg): 0.99 1.00 1.31 2/54 4750 Raw data (stat): 4750 (bsolo_lpr) R 4749 4613 4612 0 -1 0 53031 0 0 0 40878 130 0 0 25 0 1 0 831040975 220409856 52953 4294967295 134512640 134714508 3221224592 3221223328 134618202 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 53811 52953 1111 63 0 53748 0 vsize: 215244 [startup+420.057 s] Raw data (loadavg): 0.99 1.00 1.30 2/54 4750 Raw data (stat): 4750 (bsolo_lpr) R 4749 4613 4612 0 -1 0 53031 0 0 0 41878 130 0 0 25 0 1 0 831040975 220409856 52953 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 53811 52953 1111 63 0 53748 0 vsize: 215244 [startup+430.057 s] Raw data (loadavg): 0.99 1.00 1.30 2/54 4750 Raw data (stat): 4750 (bsolo_lpr) R 4749 4613 4612 0 -1 0 53031 0 0 0 42879 130 0 0 25 0 1 0 831040975 220409856 52953 4294967295 134512640 134714508 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 53811 52953 1111 63 0 53748 0 vsize: 215244 [startup+440.058 s] Raw data (loadavg): 0.99 1.00 1.29 2/54 4750 Raw data (stat): 4750 (bsolo_lpr) R 4749 4613 4612 0 -1 0 53031 0 0 0 43878 130 0 0 25 0 1 0 831040975 220409856 52953 4294967295 134512640 134714508 3221224592 3221223232 134606456 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 53811 52953 1111 63 0 53748 0 vsize: 215244 [startup+450.059 s] Raw data (loadavg): 0.99 1.00 1.29 2/54 4750 Raw data (stat): 4750 (bsolo_lpr) R 4749 4613 4612 0 -1 0 53031 0 0 0 44879 130 0 0 25 0 1 0 831040975 220409856 52953 4294967295 134512640 134714508 3221224592 3221223336 134630805 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 53811 52953 1111 63 0 53748 0 vsize: 215244 [startup+460.058 s] Raw data (loadavg): 0.99 1.00 1.29 2/54 4750 Raw data (stat): 4750 (bsolo_lpr) R 4749 4613 4612 0 -1 0 53031 0 0 0 45879 130 0 0 25 0 1 0 831040975 220409856 52953 4294967295 134512640 134714508 3221224592 3221223312 134618215 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 53811 52953 1111 63 0 53748 0 vsize: 215244 [startup+470.06 s] Raw data (loadavg): 0.99 1.00 1.28 2/54 4750 Raw data (stat): 4750 (bsolo_lpr) R 4749 4613 4612 0 -1 0 53031 0 0 0 46879 130 0 0 25 0 1 0 831040975 220409856 52953 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 53811 52953 1111 63 0 53748 0 vsize: 215244 [startup+480.059 s] Raw data (loadavg): 0.99 1.00 1.28 2/54 4750 Raw data (stat): 4750 (bsolo_lpr) R 4749 4613 4612 0 -1 0 53031 0 0 0 47879 130 0 0 25 0 1 0 831040975 220409856 52953 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 53811 52953 1111 63 0 53748 0 vsize: 215244 [startup+490.065 s] Raw data (loadavg): 0.99 1.00 1.27 2/54 4750 Raw data (stat): 4750 (bsolo_lpr) R 4749 4613 4612 0 -1 0 53031 0 0 0 48880 130 0 0 25 0 1 0 831040975 220409856 52953 4294967295 134512640 134714508 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 53811 52953 1111 63 0 53748 0 vsize: 215244 [startup+500.067 s] Raw data (loadavg): 0.99 1.00 1.27 2/54 4750 Raw data (stat): 4750 (bsolo_lpr) R 4749 4613 4612 0 -1 0 53031 0 0 0 49880 131 0 0 25 0 1 0 831040975 220409856 52953 4294967295 134512640 134714508 3221224592 3221223232 134606468 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 53811 52953 1111 63 0 53748 0 vsize: 215244 [startup+510.066 s] Raw data (loadavg): 0.99 1.00 1.27 2/54 4750 Raw data (stat): 4750 (bsolo_lpr) R 4749 4613 4612 0 -1 0 53031 0 0 0 50880 131 0 0 25 0 1 0 831040975 220409856 52953 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 53811 52953 1111 63 0 53748 0 vsize: 215244 [startup+520.067 s] Raw data (loadavg): 0.99 1.00 1.27 2/54 4750 Raw data (stat): 4750 (bsolo_lpr) R 4749 4613 4612 0 -1 0 53031 0 0 0 51880 131 0 0 25 0 1 0 831040975 220409856 52953 4294967295 134512640 134714508 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 53811 52953 1111 63 0 53748 0 vsize: 215244 [startup+530.067 s] Raw data (loadavg): 0.99 1.00 1.26 2/54 4750 Raw data (stat): 4750 (bsolo_lpr) R 4749 4613 4612 0 -1 0 53031 0 0 0 52880 131 0 0 25 0 1 0 831040975 220409856 52953 4294967295 134512640 134714508 3221224592 3221223244 134554888 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 53811 52953 1111 63 0 53748 0 vsize: 215244 [startup+540.067 s] Raw data (loadavg): 0.99 1.00 1.26 2/54 4750 Raw data (stat): 4750 (bsolo_lpr) R 4749 4613 4612 0 -1 0 53031 0 0 0 53880 131 0 0 25 0 1 0 831040975 220409856 52953 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 53811 52953 1111 63 0 53748 0 vsize: 215244 [startup+550.068 s] Raw data (loadavg): 0.99 1.00 1.26 2/54 4750 Raw data (stat): 4750 (bsolo_lpr) R 4749 4613 4612 0 -1 0 53031 0 0 0 54881 131 0 0 25 0 1 0 831040975 220409856 52953 4294967295 134512640 134714508 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 53811 52953 1111 63 0 53748 0 vsize: 215244 [startup+560.069 s] Raw data (loadavg): 0.99 1.00 1.25 2/54 4750 Raw data (stat): 4750 (bsolo_lpr) R 4749 4613 4612 0 -1 0 53031 0 0 0 55881 131 0 0 25 0 1 0 831040975 220409856 52953 4294967295 134512640 134714508 3221224592 3221223232 134606456 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 53811 52953 1111 63 0 53748 0 vsize: 215244 [startup+570.07 s] Raw data (loadavg): 0.99 1.00 1.25 2/54 4750 Raw data (stat): 4750 (bsolo_lpr) R 4749 4613 4612 0 -1 0 53031 0 0 0 56881 131 0 0 25 0 1 0 831040975 220409856 52953 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 53811 52953 1111 63 0 53748 0 vsize: 215244 [startup+580.074 s] Raw data (loadavg): 0.99 1.00 1.25 2/54 4750 Raw data (stat): 4750 (bsolo_lpr) R 4749 4613 4612 0 -1 0 53031 0 0 0 57882 131 0 0 25 0 1 0 831040975 220409856 52953 4294967295 134512640 134714508 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 53811 52953 1111 63 0 53748 0 vsize: 215244 [startup+590.079 s] Raw data (loadavg): 0.99 1.00 1.24 2/54 4750 Raw data (stat): 4750 (bsolo_lpr) R 4749 4613 4612 0 -1 0 53031 0 0 0 58882 131 0 0 25 0 1 0 831040975 220409856 52953 4294967295 134512640 134714508 3221224592 3221223232 134606456 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 53811 52953 1111 63 0 53748 0 vsize: 215244 [startup+600.079 s] Raw data (loadavg): 0.99 1.00 1.24 2/54 4750 Raw data (stat): 4750 (bsolo_lpr) R 4749 4613 4612 0 -1 0 53031 0 0 0 59882 131 0 0 25 0 1 0 831040975 220409856 52953 4294967295 134512640 134714508 3221224592 3221223232 134606488 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 53811 52953 1111 63 0 53748 0 vsize: 215244 [startup+610.102 s] Raw data (loadavg): 0.99 1.00 1.24 2/54 4750 Raw data (stat): 4750 (bsolo_lpr) R 4749 4613 4612 0 -1 0 53031 0 0 0 60885 131 0 0 25 0 1 0 831040975 220409856 52953 4294967295 134512640 134714508 3221224592 3221223232 134606498 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 53811 52953 1111 63 0 53748 0 vsize: 215244 [startup+620.205 s] Raw data (loadavg): 0.99 1.00 1.24 2/54 4750 Raw data (stat): 4750 (bsolo_lpr) R 4749 4613 4612 0 -1 0 53031 0 0 0 61895 131 0 0 25 0 1 0 831040975 220409856 52953 4294967295 134512640 134714508 3221224592 3221223252 134627197 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 53811 52953 1111 63 0 53748 0 vsize: 215244 [startup+630.205 s] Raw data (loadavg): 0.99 1.00 1.23 2/54 4750 Raw data (stat): 4750 (bsolo_lpr) R 4749 4613 4612 0 -1 0 53031 0 0 0 62895 131 0 0 25 0 1 0 831040975 220409856 52953 4294967295 134512640 134714508 3221224592 3221223264 134627187 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 53811 52953 1111 63 0 53748 0 vsize: 215244 [startup+640.205 s] Raw data (loadavg): 0.99 1.00 1.23 2/54 4750 Raw data (stat): 4750 (bsolo_lpr) R 4749 4613 4612 0 -1 0 53031 0 0 0 63896 131 0 0 25 0 1 0 831040975 220409856 52953 4294967295 134512640 134714508 3221224592 3221223264 134627187 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 53811 52953 1111 63 0 53748 0 vsize: 215244 [startup+650.206 s] Raw data (loadavg): 0.99 1.00 1.23 2/54 4750 Raw data (stat): 4750 (bsolo_lpr) R 4749 4613 4612 0 -1 0 54102 0 3 0 64724 134 0 0 25 0 1 0 831040975 224174080 53811 4294967295 134512640 134714508 3221224592 3221220656 1074969471 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 54730 53811 1111 63 0 54667 0 vsize: 218920 [startup+660.206 s] Raw data (loadavg): 0.99 1.00 1.22 2/54 4750 Raw data (stat): 4750 (bsolo_lpr) R 4749 4613 4612 0 -1 0 54261 0 3 0 65724 135 0 0 25 0 1 0 831040975 224235520 53835 4294967295 134512640 134714508 3221224592 3221220396 1074788930 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 54745 53835 1111 63 0 54682 0 vsize: 218980 [startup+670.206 s] Raw data (loadavg): 0.99 1.00 1.22 2/54 4750 Raw data (stat): 4750 (bsolo_lpr) R 4749 4613 4612 0 -1 0 56324 0 3 0 66719 140 0 0 25 0 1 0 831040975 223342592 53788 4294967295 134512640 134714508 3221224592 3221222812 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 54527 53788 1111 63 0 54464 0 vsize: 218108 [startup+680.206 s] Raw data (loadavg): 0.99 1.00 1.22 2/54 4750 Raw data (stat): 4750 (bsolo_lpr) R 4749 4613 4612 0 -1 0 57027 0 3 0 67717 143 0 0 25 0 1 0 831040975 225148928 53970 4294967295 134512640 134714508 3221224592 3221220388 1074786567 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 54968 53970 1111 63 0 54905 0 vsize: 219872 [startup+690.207 s] Raw data (loadavg): 0.99 1.00 1.22 2/54 4750 Raw data (stat): 4750 (bsolo_lpr) R 4749 4613 4612 0 -1 0 58499 0 3 0 68712 147 0 0 25 0 1 0 831040975 226299904 54205 4294967295 134512640 134714508 3221224592 3221220656 1074969461 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 55249 54205 1111 63 0 55186 0 vsize: 220996 [startup+700.207 s] Raw data (loadavg): 0.99 1.00 1.21 2/54 4750 Raw data (stat): 4750 (bsolo_lpr) R 4749 4613 4612 0 -1 0 59715 0 3 0 69708 151 0 0 25 0 1 0 831040975 222281728 53572 4294967295 134512640 134714508 3221224592 3221222976 1074153812 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 54268 53572 1111 63 0 54205 0 vsize: 217072 [startup+710.208 s] Raw data (loadavg): 0.99 1.00 1.21 2/54 4750 Raw data (stat): 4750 (bsolo_lpr) R 4749 4613 4612 0 -1 0 69660 0 3 0 70682 177 0 0 25 0 1 0 831040975 224215040 53694 4294967295 134512640 134714508 3221224592 3221220592 1075965308 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 54740 53696 1111 63 0 54677 0 vsize: 218960 [startup+720.208 s] Raw data (loadavg): 0.99 1.00 1.21 2/54 4750 Raw data (stat): 4750 (bsolo_lpr) R 4749 4613 4612 0 -1 0 74726 0 3 0 71669 191 0 0 25 0 1 0 831040975 222281728 53573 4294967295 134512640 134714508 3221224592 3221222888 1074138158 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 54268 53573 1111 63 0 54205 0 vsize: 217072 [startup+730.208 s] Raw data (loadavg): 0.99 1.00 1.20 2/54 4750 Raw data (stat): 4750 (bsolo_lpr) R 4749 4613 4612 0 -1 0 81342 0 3 0 72653 207 0 0 25 0 1 0 831040975 222281728 53573 4294967295 134512640 134714508 3221224592 3221222992 1074153663 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 54268 53573 1111 63 0 54205 0 vsize: 217072 [startup+740.209 s] Raw data (loadavg): 0.99 1.00 1.20 2/54 4750 Raw data (stat): 4750 (bsolo_lpr) R 4749 4613 4612 0 -1 0 86752 0 3 0 73641 219 0 0 25 0 1 0 831040975 222281728 53573 4294967295 134512640 134714508 3221224592 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 54268 53573 1111 63 0 54205 0 vsize: 217072 [startup+750.208 s] Raw data (loadavg): 0.99 1.00 1.20 2/54 4750 Raw data (stat): 4750 (bsolo_lpr) R 4749 4613 4612 0 -1 0 92507 0 3 0 74626 234 0 0 25 0 1 0 831040975 222281728 53573 4294967295 134512640 134714508 3221224592 3221222704 1074867305 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 54268 53573 1111 63 0 54205 0 vsize: 217072 [startup+760.208 s] Raw data (loadavg): 0.99 1.00 1.19 2/54 4750 Raw data (stat): 4750 (bsolo_lpr) R 4749 4613 4612 0 -1 0 97239 0 3 0 75613 247 0 0 25 0 1 0 831040975 222281728 53573 4294967295 134512640 134714508 3221224592 3221221344 1074247419 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 54622 53575 1111 63 0 54559 0 vsize: 217072 [startup+770.209 s] Raw data (loadavg): 0.99 1.00 1.19 2/54 4750 Raw data (stat): 4750 (bsolo_lpr) R 4749 4613 4612 0 -1 0 103932 0 3 0 76597 263 0 0 25 0 1 0 831040975 222281728 53573 4294967295 134512640 134714508 3221224592 3221222968 1077410279 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 54268 53573 1111 63 0 54205 0 vsize: 217072 [startup+780.208 s] Raw data (loadavg): 0.99 1.00 1.19 2/54 4750 Raw data (stat): 4750 (bsolo_lpr) R 4749 4613 4612 0 -1 0 113401 0 3 0 77574 287 0 0 25 0 1 0 831040975 222281728 53573 4294967295 134512640 134714508 3221224592 3221222976 1074153675 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 54268 53573 1111 63 0 54205 0 vsize: 217072 [startup+790.21 s] Raw data (loadavg): 0.99 1.00 1.19 2/54 4750 Raw data (stat): 4750 (bsolo_lpr) R 4749 4613 4612 0 -1 0 119789 0 3 0 78558 302 0 0 25 0 1 0 831040975 225181696 53938 4294967295 134512640 134714508 3221224592 3221221168 1076047903 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 54976 53938 1111 63 0 54913 0 vsize: 219904 [startup+800.21 s] Raw data (loadavg): 0.99 1.00 1.18 2/54 4750 Raw data (stat): 4750 (bsolo_lpr) R 4749 4613 4612 0 -1 0 125010 0 3 0 79546 315 0 0 25 0 1 0 831040975 222281728 53573 4294967295 134512640 134714508 3221224592 3221222992 1074153822 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 54268 53573 1111 63 0 54205 0 vsize: 217072 [startup+810.209 s] Raw data (loadavg): 0.99 1.00 1.18 2/54 4750 Raw data (stat): 4750 (bsolo_lpr) R 4749 4613 4612 0 -1 0 131994 0 3 0 80529 333 0 0 25 0 1 0 831040975 224215040 53707 4294967295 134512640 134714508 3221224592 3221221664 1075895994 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 54740 53707 1111 63 0 54677 0 vsize: 218960 [startup+820.209 s] Raw data (loadavg): 0.99 1.00 1.18 2/54 4750 Raw data (stat): 4750 (bsolo_lpr) R 4749 4613 4612 0 -1 0 142388 0 3 0 81503 359 0 0 25 0 1 0 831040975 222281728 53573 4294967295 134512640 134714508 3221224592 3221222976 1074153815 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 54268 53573 1111 63 0 54205 0 vsize: 217072 [startup+830.21 s] Raw data (loadavg): 0.99 1.00 1.18 2/54 4750 Raw data (stat): 4750 (bsolo_lpr) R 4749 4613 4612 0 -1 0 148760 0 3 0 82487 374 0 0 25 0 1 0 831040975 222281728 53573 4294967295 134512640 134714508 3221224592 3221222976 1074153672 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 54268 53573 1111 63 0 54205 0 vsize: 217072 [startup+840.211 s] Raw data (loadavg): 0.99 1.00 1.17 2/54 4750 Raw data (stat): 4750 (bsolo_lpr) R 4749 4613 4612 0 -1 0 152363 0 3 0 83479 383 0 0 25 0 1 0 831040975 222281728 53573 4294967295 134512640 134714508 3221224592 3221222904 1074138144 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 54268 53573 1111 63 0 54205 0 vsize: 217072 [startup+850.211 s] Raw data (loadavg): 0.99 1.00 1.17 2/54 4750 Raw data (stat): 4750 (bsolo_lpr) R 4749 4613 4612 0 -1 0 157830 0 3 0 84464 398 0 0 25 0 1 0 831040975 222281728 53573 4294967295 134512640 134714508 3221224592 3221223312 134551791 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 54268 53573 1111 63 0 54205 0 vsize: 217072 [startup+860.211 s] Raw data (loadavg): 0.99 1.00 1.17 2/54 4750 Raw data (stat): 4750 (bsolo_lpr) R 4749 4613 4612 0 -1 0 165714 0 3 0 85446 417 0 0 25 0 1 0 831040975 222281728 53573 4294967295 134512640 134714508 3221224592 3221222992 1074153675 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 54268 53573 1111 63 0 54205 0 vsize: 217072 [startup+870.212 s] Raw data (loadavg): 0.99 1.00 1.17 2/54 4750 Raw data (stat): 4750 (bsolo_lpr) R 4749 4613 4612 0 -1 0 175695 0 3 0 86421 441 0 0 25 0 1 0 831040975 222281728 53573 4294967295 134512640 134714508 3221224592 3221222992 1074153648 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 54268 53573 1111 63 0 54205 0 vsize: 217072 [startup+880.212 s] Raw data (loadavg): 0.99 1.00 1.17 2/54 4750 Raw data (stat): 4750 (bsolo_lpr) R 4749 4613 4612 0 -1 0 183013 0 3 0 87403 460 0 0 25 0 1 0 831040975 222281728 53573 4294967295 134512640 134714508 3221224592 3221222992 1074153675 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 54268 53573 1111 63 0 54205 0 vsize: 217072 [startup+890.212 s] Raw data (loadavg): 0.99 1.00 1.16 2/54 4750 Raw data (stat): 4750 (bsolo_lpr) R 4749 4613 4612 0 -1 0 189711 0 3 0 88387 476 0 0 25 0 1 0 831040975 222281728 53573 4294967295 134512640 134714508 3221224592 3221222992 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 54268 53573 1111 63 0 54205 0 vsize: 217072 [startup+900.212 s] Raw data (loadavg): 0.99 1.00 1.16 2/54 4750 Raw data (stat): 4750 (bsolo_lpr) R 4749 4613 4612 0 -1 0 197270 0 3 0 89369 494 0 0 25 0 1 0 831040975 222281728 53573 4294967295 134512640 134714508 3221224592 3221222488 1077410279 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 54268 53573 1111 63 0 54205 0 vsize: 217072 [startup+910.212 s] Raw data (loadavg): 0.99 1.00 1.16 2/54 4750 Raw data (stat): 4750 (bsolo_lpr) R 4749 4613 4612 0 -1 0 204394 0 3 0 90352 511 0 0 25 0 1 0 831040975 222281728 53573 4294967295 134512640 134714508 3221224592 3221222976 1074153675 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 54268 53573 1111 63 0 54205 0 vsize: 217072 [startup+920.212 s] Raw data (loadavg): 0.99 1.00 1.16 2/54 4750 Raw data (stat): 4750 (bsolo_lpr) R 4749 4613 4612 0 -1 0 207290 0 3 0 91345 519 0 0 25 0 1 0 831040975 222281728 53573 4294967295 134512640 134714508 3221224592 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 54268 53573 1111 63 0 54205 0 vsize: 217072 [startup+930.233 s] Raw data (loadavg): 0.99 1.00 1.16 2/54 4750 Raw data (stat): 4750 (bsolo_lpr) R 4749 4613 4612 0 -1 0 211417 0 3 0 92336 530 0 0 25 0 1 0 831040975 222281728 53573 4294967295 134512640 134714508 3221224592 3221222920 1074143377 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 54268 53573 1111 63 0 54205 0 vsize: 217072 [startup+940.232 s] Raw data (loadavg): 0.99 1.00 1.16 2/54 4750 Raw data (stat): 4750 (bsolo_lpr) R 4749 4613 4612 0 -1 0 218060 0 3 0 93318 548 0 0 25 0 1 0 831040975 222281728 53573 4294967295 134512640 134714508 3221224592 3221222904 1074138166 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 54268 53573 1111 63 0 54205 0 vsize: 217072 [startup+950.232 s] Raw data (loadavg): 0.99 1.00 1.15 2/54 4750 Raw data (stat): 4750 (bsolo_lpr) R 4749 4613 4612 0 -1 0 224936 0 3 0 94301 565 0 0 25 0 1 0 831040975 222281728 53573 4294967295 134512640 134714508 3221224592 3221222992 1074153663 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 54268 53573 1111 63 0 54205 0 vsize: 217072 [startup+960.231 s] Raw data (loadavg): 0.99 1.00 1.15 2/54 4750 Raw data (stat): 4750 (bsolo_lpr) R 4749 4613 4612 0 -1 0 227776 0 3 0 95293 573 0 0 25 0 1 0 831040975 222281728 53573 4294967295 134512640 134714508 3221224592 3221222992 1074153663 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 54268 53573 1111 63 0 54205 0 vsize: 217072 [startup+970.238 s] Raw data (loadavg): 0.99 1.00 1.15 2/54 4750 Raw data (stat): 4750 (bsolo_lpr) R 4749 4613 4612 0 -1 0 231602 0 3 0 96283 584 0 0 25 0 1 0 831040975 225181696 53606 4294967295 134512640 134714508 3221224592 3221220472 1074788507 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 54976 53606 1111 63 0 54913 0 vsize: 219904 [startup+980.24 s] Raw data (loadavg): 0.99 1.00 1.15 2/54 4750 Raw data (stat): 4750 (bsolo_lpr) R 4749 4613 4612 0 -1 0 237058 0 3 0 97271 596 0 0 25 0 1 0 831040975 222281728 53573 4294967295 134512640 134714508 3221224592 3221222704 1074867305 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 54268 53573 1111 63 0 54205 0 vsize: 217072 [startup+990.245 s] Raw data (loadavg): 0.99 1.00 1.15 2/54 4750 Raw data (stat): 4750 (bsolo_lpr) R 4749 4613 4612 0 -1 0 243872 0 3 0 98255 613 0 0 25 0 1 0 831040975 222281728 53573 4294967295 134512640 134714508 3221224592 3221222992 1074153736 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 54268 53573 1111 63 0 54205 0 vsize: 217072 [startup+1000.25 s] Raw data (loadavg): 0.99 1.00 1.14 2/54 4750 Raw data (stat): 4750 (bsolo_lpr) R 4749 4613 4612 0 -1 0 252984 0 3 0 99234 634 0 0 25 0 1 0 831040975 224215040 53699 4294967295 134512640 134714508 3221224592 3221220928 1075114265 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 54740 53699 1111 63 0 54677 0 vsize: 218960 [startup+1010.25 s] Raw data (loadavg): 0.99 1.00 1.14 2/54 4750 Raw data (stat): 4750 (bsolo_lpr) R 4749 4613 4612 0 -1 0 259689 0 3 0 100217 652 0 0 25 0 1 0 831040975 222281728 53573 4294967295 134512640 134714508 3221224592 3221222992 1074153660 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 54268 53573 1111 63 0 54205 0 vsize: 217072 [startup+1020.25 s] Raw data (loadavg): 0.99 1.00 1.14 2/54 4750 Raw data (stat): 4750 (bsolo_lpr) R 4749 4613 4612 0 -1 0 272322 0 3 0 101187 682 0 0 25 0 1 0 831040975 222281728 53573 4294967295 134512640 134714508 3221224592 3221222992 1074153822 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 54268 53573 1111 63 0 54205 0 vsize: 217072 [startup+1030.25 s] Raw data (loadavg): 0.99 1.00 1.14 2/54 4750 Raw data (stat): 4750 (bsolo_lpr) R 4749 4613 4612 0 -1 0 284140 0 3 0 102158 711 0 0 25 0 1 0 831040975 222281728 53573 4294967295 134512640 134714508 3221224592 3221222976 1074153749 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 54268 53573 1111 63 0 54205 0 vsize: 217072 [startup+1040.25 s] Raw data (loadavg): 0.99 1.00 1.14 2/54 4750 Raw data (stat): 4750 (bsolo_lpr) R 4749 4613 4612 0 -1 0 294526 0 3 0 103132 737 0 0 25 0 1 0 831040975 222281728 53573 4294967295 134512640 134714508 3221224592 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 54268 53573 1111 63 0 54205 0 vsize: 217072 [startup+1050.25 s] Raw data (loadavg): 0.99 1.00 1.13 2/54 4750 Raw data (stat): 4750 (bsolo_lpr) R 4749 4613 4612 0 -1 0 307764 0 3 0 104100 769 0 0 25 0 1 0 831040975 222281728 53573 4294967295 134512640 134714508 3221224592 3221222992 1074118815 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 54268 53573 1111 63 0 54205 0 vsize: 217072 [startup+1060.25 s] Raw data (loadavg): 0.99 1.00 1.13 2/56 4758 Raw data (stat): 4750 (bsolo_lpr) R 4749 4613 4612 0 -1 0 316357 0 3 0 105080 789 0 0 25 0 1 0 831040975 222281728 53573 4294967295 134512640 134714508 3221224592 3221222336 1075640367 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 54268 53573 1111 63 0 54205 0 vsize: 217072 [startup+1070.25 s] Raw data (loadavg): 1.07 1.02 1.14 2/54 4803 Raw data (stat): 4750 (bsolo_lpr) R 4749 4613 4612 0 -1 0 325908 0 3 0 106057 812 0 0 25 0 1 0 831040975 222281728 53573 4294967295 134512640 134714508 3221224592 3221222976 1074153794 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 54268 53573 1111 63 0 54205 0 vsize: 217072 [startup+1080.25 s] Raw data (loadavg): 1.06 1.02 1.13 2/54 4803 Raw data (stat): 4750 (bsolo_lpr) R 4749 4613 4612 0 -1 0 334203 0 3 0 107038 831 0 0 25 0 1 0 831040975 222281728 53573 4294967295 134512640 134714508 3221224592 3221222992 1074118815 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 54268 53573 1111 63 0 54205 0 vsize: 217072 [startup+1090.25 s] Raw data (loadavg): 1.05 1.01 1.13 2/54 4803 Raw data (stat): 4750 (bsolo_lpr) R 4749 4613 4612 0 -1 0 339756 0 3 0 108023 846 0 0 25 0 1 0 831040975 222281728 53573 4294967295 134512640 134714508 3221224592 3221222924 1073986656 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 54268 53573 1111 63 0 54205 0 vsize: 217072 [startup+1100.25 s] Raw data (loadavg): 1.04 1.01 1.13 2/54 4803 Raw data (stat): 4750 (bsolo_lpr) R 4749 4613 4612 0 -1 0 346592 0 3 0 109008 862 0 0 25 0 1 0 831040975 224215040 53701 4294967295 134512640 134714508 3221224592 3221220936 1075895169 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 54740 53701 1111 63 0 54677 0 vsize: 218960 [startup+1110.25 s] Raw data (loadavg): 1.03 1.01 1.13 2/54 4803 Raw data (stat): 4750 (bsolo_lpr) R 4749 4613 4612 0 -1 0 352544 0 3 0 109993 876 0 0 25 0 1 0 831040975 222281728 53573 4294967295 134512640 134714508 3221224592 3221222576 1074056223 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 54268 53573 1111 63 0 54205 0 vsize: 217072 [startup+1120.25 s] Raw data (loadavg): 1.03 1.01 1.13 2/54 4803 Raw data (stat): 4750 (bsolo_lpr) R 4749 4613 4612 0 -1 0 355241 0 3 0 110986 884 0 0 25 0 1 0 831040975 222281728 53573 4294967295 134512640 134714508 3221224592 3221222992 1074153663 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 54268 53573 1111 63 0 54205 0 vsize: 217072 [startup+1130.25 s] Raw data (loadavg): 1.02 1.01 1.12 2/54 4805 Raw data (stat): 4750 (bsolo_lpr) R 4749 4613 4612 0 -1 0 358482 0 3 0 111977 893 0 0 25 0 1 0 831040975 222281728 53573 4294967295 134512640 134714508 3221224592 3221222904 1074138155 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 54268 53573 1111 63 0 54205 0 vsize: 217072 [startup+1140.25 s] Raw data (loadavg): 1.02 1.01 1.12 2/54 4805 Raw data (stat): 4750 (bsolo_lpr) R 4749 4613 4612 0 -1 0 364794 0 3 0 112961 909 0 0 25 0 1 0 831040975 222281728 53573 4294967295 134512640 134714508 3221224592 3221221784 1074138155 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 54740 53577 1111 63 0 54677 0 vsize: 217072 [startup+1150.25 s] Raw data (loadavg): 1.02 1.01 1.12 2/54 4805 Raw data (stat): 4750 (bsolo_lpr) R 4749 4613 4612 0 -1 0 372716 0 3 0 113942 928 0 0 25 0 1 0 831040975 222281728 53573 4294967295 134512640 134714508 3221224592 3221222888 1074138150 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 54268 53573 1111 63 0 54205 0 vsize: 217072 [startup+1160.25 s] Raw data (loadavg): 1.01 1.01 1.12 2/54 4805 Raw data (stat): 4750 (bsolo_lpr) R 4749 4613 4612 0 -1 0 382855 0 3 0 114918 952 0 0 25 0 1 0 831040975 222281728 53573 4294967295 134512640 134714508 3221224592 3221223152 134549327 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 54268 53573 1111 63 0 54205 0 vsize: 217072 [startup+1170.25 s] Raw data (loadavg): 1.01 1.01 1.12 2/54 4805 Raw data (stat): 4750 (bsolo_lpr) R 4749 4613 4612 0 -1 0 390480 0 3 0 115900 971 0 0 25 0 1 0 831040975 222281728 53573 4294967295 134512640 134714508 3221224592 3221222976 1074153675 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 54268 53573 1111 63 0 54205 0 vsize: 217072 [startup+1177.74 s] Raw data (loadavg): 1.01 1.01 1.11 1/53 4805 Raw data (stat): 4750 (bsolo_lpr) R 4749 4613 4612 0 -1 0 390480 0 3 0 115900 971 0 0 25 0 1 0 831040975 222281728 53573 4294967295 134512640 134714508 3221224592 3221222976 1074153675 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 54268 53573 1111 63 0 54205 0 vsize: 0 Child status: 10 Real time (s): 1177.74 CPU time (s): 1176.19 CPU user time (s): 1166.21 CPU system time (s): 9.98848 CPU usage (%): 99.869 Max. virtual memory (Kb): 220996 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 25 #### END VERIFIER DATA ####