Name | normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-protfold.opb |
MD5SUM | c5ca7819a7dcae16ff6045242cdd1f87 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -23 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 120 |
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 | 120 |
Number of bits of the sum of numbers in the objective function | 7 |
Biggest number in a constraint | 18 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 900 |
Number of bits of the biggest sum of numbers | 10 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1176.86 |
Number of variables | 1835 |
Total number of constraints | 3947 |
Number of constraints which are clauses | 1906 |
Number of constraints which are cardinality constraints (but not clauses) | 1921 |
Number of constraints which are nor clauses,nor cardinality constraints | 120 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 882 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc5 THE 2005-06-16 17:00:11 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=26080 boxname=wulflinc5 idbench=1380 idsolver=18 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: c5ca7819a7dcae16ff6045242cdd1f87 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-protfold.opb REAL COMMAND: pb2sat-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-protfold.opb IDLAUNCH: 26080 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.007 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.007 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 703124 kB Buffers: 25224 kB Cached: 283108 kB SwapCached: 660 kB Active: 25456 kB Inactive: 284940 kB HighTotal: 131008 kB HighFree: 1848 kB LowTotal: 903652 kB LowFree: 701276 kB SwapTotal: 2097136 kB SwapFree: 2095536 kB Dirty: 40 kB Writeback: 0 kB Mapped: 5156 kB Slab: 15496 kB Committed_AS: 63716 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-16 17:20:13 (client local time) WITH STATUS 10 IN 1200.46 SECONDS stats: 26080 0 1200.46 10 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... c got solution with objective value: 101 c small objective detected c Decision: 12484/88151 Time: 114.053/86400 c Decision: 12484/88151 Time: 124.426/86400 c Decision: 12484/88151 Time: 138.312/86400 c Decision: 12484/88151 Time: 151.051/86400 c Decision: 12484/88151 Time: 158.649/86400 c Decision: 12484/88151 Time: 165.475/86400 c Decision: 12484/88151 Time: 178.344/86400 c Decision: 12484/88151 Time: 192.072/86400 c Decision: 12484/88151 Time: 201.848/86400 c Decision: 12484/88151 Time: 213.122/86400 c Decision: 12484/88151 Time: 227.115/86400 c Decision: 12484/88151 Time: 242.021/86400 c Decision: 12484/88151 Time: 253.454/86400 c Decision: 12484/88151 Time: 266.602/86400 c Decision: 12484/88151 Time: 283.847/86400 c Decision: 12484/88151 Time: 300.704/86400 c Decision: 12484/88151 Time: 315.866/86400 c Decision: 12484/88151 Time: 331.258/86400 c Decision: 12484/88151 Time: 343.189/86400 c Decision: 12484/88151 Time: 351.314/86400 c Decision: 12484/88151 Time: 366.02/86400 c Decision: 12484/88151 Time: 381.262/86400 c Decision: 12484/88151 Time: 392.844/86400 c Decision: 12484/88151 Time: 407.889/86400 c Decision: 12484/88151 Time: 422.868/86400 c Decision: 12484/88151 Time: 433.816/86400 c Decision: 12484/88151 Time: 449.45/86400 c Decision: 12484/88151 Time: 457.349/86400 c Decision: 12484/88151 Time: 466.266/86400 c Decision: 12484/88151 Time: 476.172/86400 c Decision: 12484/88151 Time: 492.359/86400 c Decision: 12484/88151 Time: 507.344/86400 c Decision: 12484/88151 Time: 521.395/86400 c Decision: 12484/88151 Time: 537.789/86400 c Decision: 12484/88151 Time: 552.413/86400 c Decision: 12484/88151 Time: 561.581/86400 c Decision: 12484/88151 Time: 570.158/86400 c Decision: 12484/88151 Time: 577.911/86400 c Decision: 12484/88151 Time: 586.963/86400 c Decision: 12484/88151 Time: 595.086/86400 c Decision: 12484/88151 Time: 603.184/86400 c Decision: 12484/88151 Time: 613.308/86400 c Decision: 12484/88151 Time: 624.231/86400 c Decision: 12484/88151 Time: 638.904/86400 c Decision: 12484/88151 Time: 655.881/86400 c Decision: 12484/88151 Time: 672.621/86400 c Decision: 12484/88151 Time: 684.362/86400 c Decision: 12484/88151 Time: 695.119/86400 c Decision: 12484/88151 Time: 709.167/86400 c Decision: 12484/88151 Time: 721.787/86400 c Decision: 12484/88151 Time: 736.548/86400 c Decision: 12484/88151 Time: 751.448/86400 c Decision: 12484/88151 Time: 767.001/86400 c Decision: 12484/88151 Time: 784.777/86400 c Decision: 12484/88151 Time: 801.644/86400 c Decision: 12484/88151 Time: 819.483/86400 c Decision: 12484/88151 Time: 835.046/86400 c Decision: 12484/88151 Time: 852.279/86400 c Decision: 12484/88151 Time: 869.227/86400 c Decision: 12484/88151 Time: 880.931/86400 c Decision: 12484/88151 Time: 895.656/86400 c Decision: 12484/88151 Time: 908.651/86400 c Decision: 12484/88151 Time: 927.278/86400 c Decision: 12484/88151 Time: 943.48/86400 c Decision: 12484/88151 Time: 951.806/86400 c Decision: 12484/88151 Time: 960.944/86400 c Decision: 12484/88151 Time: 973.762/86400 c Decision: 12484/88151 Time: 989.505/86400 c Decision: 12484/88151 Time: 1007.16/86400 c Decision: 12484/88151 Time: 1021.49/86400 c Decision: 12484/88151 Time: 1033.93/86400 c Decision: 12484/88151 Time: 1051.58/86400 c Decision: 12484/88151 Time: 1060.96/86400 c Decision: 12484/88151 Time: 1073.31/86400 c Decision: 12484/88151 Time: 1090.27/86400 c Decision: 12484/88151 Time: 1103.84/86400 c Decision: 12484/88151 Time: 1114.73/86400 c Decision: 12484/88151 Time: 1123.23/86400 c Decision: 12484/88151 Time: 1134.8/86400 c Decision: 12484/88151 Time: 1149.9/86400 c Decision: 12484/88151 Time: 1169.02/86400 c Decision: 12484/88151 Time: 1183.42/86400s SATISFIABLE v N_0x23_10_0x23_11_bit0 -N_0x23_10_0x23_17_bit0 N_0x23_10_0x23_18_bit0 N_0x23_11_0x23_12_bit0 N_0x23_11_0x23_18_bit0 -N_0x23_11_0x23_19_bit0 N_0x23_12_0x23_13_bit0 -N_0x23_12_0x23_19_bit0 -N_0x23_12_0x23_20_bit0 -N_0x23_13_0x23_14_bit0 -N_0x23_13_0x23_20_bit0 -N_0x23_13_0x23_21_bit0 -N_0x23_14_0x23_21_bit0 -N_0x23_15_0x23_16_bit0 -N_0x23_15_0x23_22_bit0 -N_0x23_15_0x23_23_bit0 -N_0x23_16_0x23_17_bit0 -N_0x23_16_0x23_23_bit0 -N_0x23_16_0x23_24_bit0 -N_0x23_17_0x23_18_bit0 -N_0x23_17_0x23_24_bit0 -N_0x23_17_0x23_25_bit0 -N_0x23_18_0x23_19_bit0 -N_0x23_18_0x23_25_bit0 -N_0x23_18_0x23_26_bit0 -N_0x23_19_0x23_20_bit0 -N_0x23_19_0x23_26_bit0 -N_0x23_19_0x23_27_bit0 -N_0x23_1_0x23_2_bit0 -N_0x23_1_0x23_8_bit0 -N_0x23_1_0x23_9_bit0 -N_0x23_20_0x23_21_bit0 -N_0x23_20_0x23_27_bit0 -N_0x23_20_0x23_28_bit0 -N_0x23_21_0x23_28_bit0 -N_0x23_22_0x23_23_bit0 -N_0x23_22_0x23_29_bit0 -N_0x23_22_0x23_30_bit0 -N_0x23_23_0x23_24_bit0 -N_0x23_23_0x23_30_bit0 -N_0x23_23_0x23_31_bit0 -N_0x23_24_0x23_25_bit0 -N_0x23_24_0x23_31_bit0 -N_0x23_24_0x23_32_bit0 -N_0x23_25_0x23_26_bit0 -N_0x23_25_0x23_32_bit0 -N_0x23_25_0x23_33_bit0 -N_0x23_26_0x23_27_bit0 -N_0x23_26_0x23_33_bit0 -N_0x23_26_0x23_34_bit0 -N_0x23_27_0x23_28_bit0 -N_0x23_27_0x23_34_bit0 -N_0x23_27_0x23_35_bit0 -N_0x23_28_0x23_35_bit0 -N_0x23_29_0x23_30_bit0 -N_0x23_29_0x23_36_bit0 -N_0x23_29_0x23_37_bit0 -N_0x23_2_0x23_10_bit0 -N_0x23_2_0x23_3_bit0 -N_0x23_2_0x23_9_bit0 N_0x23_30_0x23_31_bit0 N_0x23_30_0x23_37_bit0 N_0x23_30_0x23_38_bit0 -N_0x23_31_0x23_32_bit0 N_0x23_31_0x23_38_bit0 -N_0x23_31_0x23_39_bit0 -N_0x23_32_0x23_33_bit0 -N_0x23_32_0x23_39_bit0 -N_0x23_32_0x23_40_bit0 N_0x23_33_0x23_34_bit0 N_0x23_33_0x23_40_bit0 N_0x23_33_0x23_41_bit0 -N_0x23_34_0x23_35_bit0 N_0x23_34_0x23_41_bit0 -N_0x23_34_0x23_42_bit0 -N_0x23_35_0x23_42_bit0 -N_0x23_36_0x23_37_bit0 -N_0x23_36_0x23_43_bit0 -N_0x23_36_0x23_44_bit0 N_0x23_37_0x23_38_bit0 N_0x23_37_0x23_44_bit0 -N_0x23_37_0x23_45_bit0 -N_0x23_38_0x23_39_bit0 -N_0x23_38_0x23_45_bit0 N_0x23_38_0x23_46_bit0 -N_0x23_39_0x23_40_bit0 -N_0x23_39_0x23_46_bit0 -N_0x23_39_0x23_47_bit0 -N_0x23_3_0x23_10_bit0 -N_0x23_3_0x23_11_bit0 -N_0x23_3_0x23_4_bit0 N_0x23_40_0x23_41_bit0 -N_0x23_40_0x23_47_bit0 -N_0x23_40_0x23_48_bit0 -N_0x23_41_0x23_42_bit0 -N_0x23_41_0x23_48_bit0 -N_0x23_41_0x23_49_bit0 -N_0x23_42_0x23_49_bit0 -N_0x23_43_0x23_44_bit0 -N_0x23_44_0x23_45_bit0 -N_0x23_45_0x23_46_bit0 -N_0x23_46_0x23_47_bit0 -N_0x23_47_0x23_48_bit0 -N_0x23_48_0x23_49_bit0 -N_0x23_4_0x23_11_bit0 -N_0x23_4_0x23_12_bit0 -N_0x23_4_0x23_5_bit0 -N_0x23_5_0x23_12_bit0 -N_0x23_5_0x23_13_bit0 -N_0x23_5_0x23_6_bit0 -N_0x23_6_0x23_13_bit0 -N_0x23_6_0x23_14_bit0 -N_0x23_6_0x23_7_bit0 -N_0x23_7_0x23_14_bit0 -N_0x23_8_0x23_15_bit0 -N_0x23_8_0x23_16_bit0 -N_0x23_8_0x23_9_bit0 N_0x23_9_0x23_10_bit0 N_0x23_9_0x23_16_bit0 -N_0x23_9_0x23_17_bit0 -x_0x23_10_0x23_10_bit0 -x_0x23_10_0x23_11_bit0 -x_0x23_10_0x23_12_bit0 -x_0x23_10_0x23_13_bit0 -x_0x23_10_0x23_14_bit0 -x_0x23_10_0x23_15_bit0 -x_0x23_10_0x23_16_bit0 -x_0x23_10_0x23_17_bit0 -x_0x23_10_0x23_18_bit0 -x_0x23_10_0x23_19_bit0 -x_0x23_10_0x23_1_bit0 -x_0x23_10_0x23_20_bit0 -x_0x23_10_0x23_21_bit0 -x_0x23_10_0x23_22_bit0 -x_0x23_10_0x23_23_bit0 -x_0x23_10_0x23_24_bit0 -x_0x23_10_0x23_25_bit0 -x_0x23_10_0x23_26_bit0 -x_0x23_10_0x23_27_bit0 -x_0x23_10_0x23_28_bit0 -x_0x23_10_0x23_29_bit0 -x_0x23_10_0x23_2_bit0 -x_0x23_10_0x23_30_bit0 -x_0x23_10_0x23_31_bit0 -x_0x23_10_0x23_32_bit0 -x_0x23_10_0x23_33_bit0 -x_0x23_10_0x23_34_bit0 -x_0x23_10_0x23_35_bit0 -x_0x23_10_0x23_3_bit0 -x_0x23_10_0x23_4_bit0 -x_0x23_10_0x23_5_bit0 -x_0x23_10_0x23_6_bit0 -x_0x23_10_0x23_7_bit0 x_0x23_10_0x23_8_bit0 -x_0x23_10_0x23_9_bit0 -x_0x23_11_0x23_10_bit0 -x_0x23_11_0x23_11_bit0 -x_0x23_11_0x23_12_bit0 -x_0x23_11_0x23_13_bit0 -x_0x23_11_0x23_14_bit0 -x_0x23_11_0x23_15_bit0 -x_0x23_11_0x23_16_bit0 -x_0x23_11_0x23_17_bit0 -x_0x23_11_0x23_18_bit0 -x_0x23_11_0x23_19_bit0 -x_0x23_11_0x23_1_bit0 -x_0x23_11_0x23_20_bit0 -x_0x23_11_0x23_21_bit0 -x_0x23_11_0x23_22_bit0 -x_0x23_11_0x23_23_bit0 -x_0x23_11_0x23_24_bit0 -x_0x23_11_0x23_25_bit0 -x_0x23_11_0x23_26_bit0 -x_0x23_11_0x23_27_bit0 -x_0x23_11_0x23_28_bit0 -x_0x23_11_0x23_29_bit0 -x_0x23_11_0x23_2_bit0 -x_0x23_11_0x23_30_bit0 -x_0x23_11_0x23_31_bit0 -x_0x23_11_0x23_32_bit0 -x_0x23_11_0x23_33_bit0 -x_0x23_11_0x23_34_bit0 -x_0x23_11_0x23_35_bit0 -x_0x23_11_0x23_3_bit0 -x_0x23_11_0x23_4_bit0 -x_0x23_11_0x23_5_bit0 -x_0x23_11_0x23_6_bit0 -x_0x23_11_0x23_7_bit0 -x_0x23_11_0x23_8_bit0 x_0x23_11_0x23_9_bit0 -x_0x23_12_0x23_10_bit0 x_0x23_12_0x23_11_bit0 -x_0x23_12_0x23_12_bit0 -x_0x23_12_0x23_13_bit0 -x_0x23_12_0x23_14_bit0 -x_0x23_12_0x23_15_bit0 -x_0x23_12_0x23_16_bit0 -x_0x23_12_0x23_17_bit0 -x_0x23_12_0x23_18_bit0 -x_0x23_12_0x23_19_bit0 -x_0x23_12_0x23_1_bit0 -x_0x23_12_0x23_20_bit0 -x_0x23_12_0x23_21_bit0 -x_0x23_12_0x23_22_bit0 -x_0x23_12_0x23_23_bit0 -x_0x23_12_0x23_24_bit0 -x_0x23_12_0x23_25_bit0 -x_0x23_12_0x23_26_bit0 -x_0x23_12_0x23_27_bit0 -x_0x23_12_0x23_28_bit0 -x_0x23_12_0x23_29_bit0 -x_0x23_12_0x23_2_bit0 -x_0x23_12_0x23_30_bit0 -x_0x23_12_0x23_31_bit0 -x_0x23_12_0x23_32_bit0 -x_0x23_12_0x23_33_bit0 -x_0x23_12_0x23_34_bit0 -x_0x23_12_0x23_35_bit0 -x_0x23_12_0x23_3_bit0 -x_0x23_12_0x23_4_bit0 -x_0x23_12_0x23_5_bit0 -x_0x23_12_0x23_6_bit0 -x_0x23_12_0x23_7_bit0 -x_0x23_12_0x23_8_bit0 -x_0x23_12_0x23_9_bit0 -x_0x23_13_0x23_10_bit0 -x_0x23_13_0x23_11_bit0 -x_0x23_13_0x23_12_bit0 x_0x23_13_0x23_13_bit0 -x_0x23_13_0x23_14_bit0 -x_0x23_13_0x23_15_bit0 -x_0x23_13_0x23_16_bit0 -x_0x23_13_0x23_17_bit0 -x_0x23_13_0x23_18_bit0 -x_0x23_13_0x23_19_bit0 -x_0x23_13_0x23_1_bit0 -x_0x23_13_0x23_20_bit0 -x_0x23_13_0x23_21_bit0 -x_0x23_13_0x23_22_bit0 -x_0x23_13_0x23_23_bit0 -x_0x23_13_0x23_24_bit0 -x_0x23_13_0x23_25_bit0 -x_0x23_13_0x23_26_bit0 -x_0x23_13_0x23_27_bit0 -x_0x23_13_0x23_28_bit0 -x_0x23_13_0x23_29_bit0 -x_0x23_13_0x23_2_bit0 -x_0x23_13_0x23_30_bit0 -x_0x23_13_0x23_31_bit0 -x_0x23_13_0x23_32_bit0 -x_0x23_13_0x23_33_bit0 -x_0x23_13_0x23_34_bit0 -x_0x23_13_0x23_35_bit0 -x_0x23_13_0x23_3_bit0 -x_0x23_13_0x23_4_bit0 -x_0x23_13_0x23_5_bit0 -x_0x23_13_0x23_6_bit0 -x_0x23_13_0x23_7_bit0 -x_0x23_13_0x23_8_bit0 -x_0x23_13_0x23_9_bit0 -x_0x23_14_0x23_10_bit0 -x_0x23_14_0x23_11_bit0 -x_0x23_14_0x23_12_bit0 -x_0x23_14_0x23_13_bit0 -x_0x23_14_0x23_14_bit0 -x_0x23_14_0x23_15_bit0 -x_0x23_14_0x23_16_bit0 -x_0x23_14_0x23_17_bit0 -x_0x23_14_0x23_18_bit0 -x_0x23_14_0x23_19_bit0 -x_0x23_14_0x23_1_bit0 -x_0x23_14_0x23_20_bit0 -x_0x23_14_0x23_21_bit0 -x_0x23_14_0x23_22_bit0 -x_0x23_14_0x23_23_bit0 -x_0x23_14_0x23_24_bit0 -x_0x23_14_0x23_25_bit0 -x_0x23_14_0x23_26_bit0 -x_0x23_14_0x23_27_bit0 -x_0x23_14_0x23_28_bit0 -x_0x23_14_0x23_29_bit0 -x_0x23_14_0x23_2_bit0 -x_0x23_14_0x23_30_bit0 -x_0x23_14_0x23_31_bit0 -x_0x23_14_0x23_32_bit0 -x_0x23_14_0x23_33_bit0 -x_0x23_14_0x23_34_bit0 -x_0x23_14_0x23_35_bit0 -x_0x23_14_0x23_3_bit0 -x_0x23_14_0x23_4_bit0 -x_0x23_14_0x23_5_bit0 -x_0x23_14_0x23_6_bit0 -x_0x23_14_0x23_7_bit0 -x_0x23_14_0x23_8_bit0 -x_0x23_14_0x23_9_bit0 -x_0x23_15_0x23_10_bit0 -x_0x23_15_0x23_11_bit0 -x_0x23_15_0x23_12_bit0 -x_0x23_15_0x23_13_bit0 -x_0x23_15_0x23_14_bit0 -x_0x23_15_0x23_15_bit0 -x_0x23_15_0x23_16_bit0 -x_0x23_15_0x23_17_bit0 -x_0x23_15_0x23_18_bit0 -x_0x23_15_0x23_19_bit0 -x_0x23_15_0x23_1_bit0 -x_0x23_15_0x23_20_bit0 -x_0x23_15_0x23_21_bit0 -x_0x23_15_0x23_22_bit0 -x_0x23_15_0x23_23_bit0 x_0x23_15_0x23_24_bit0 -x_0x23_15_0x23_25_bit0 -x_0x23_15_0x23_26_bit0 -x_0x23_15_0x23_27_bit0 -x_0x23_15_0x23_28_bit0 -x_0x23_15_0x23_29_bit0 -x_0x23_15_0x23_2_bit0 -x_0x23_15_0x23_30_bit0 -x_0x23_15_0x23_31_bit0 -x_0x23_15_0x23_32_bit0 -x_0x23_15_0x23_33_bit0 -x_0x23_15_0x23_34_bit0 -x_0x23_15_0x23_35_bit0 -x_0x23_15_0x23_3_bit0 -x_0x23_15_0x23_4_bit0 -x_0x23_15_0x23_5_bit0 -x_0x23_15_0x23_6_bit0 -x_0x23_15_0x23_7_bit0 -x_0x23_15_0x23_8_bit0 -x_0x23_15_0x23_9_bit0 -x_0x23_16_0x23_10_bit0 -x_0x23_16_0x23_11_bit0 -x_0x23_16_0x23_12_bit0 -x_0x23_16_0x23_13_bit0 -x_0x23_16_0x23_14_bit0 -x_0x23_16_0x23_15_bit0 -x_0x23_16_0x23_16_bit0 -x_0x23_16_0x23_17_bit0 -x_0x23_16_0x23_18_bit0 -x_0x23_16_0x23_19_bit0 -x_0x23_16_0x23_1_bit0 -x_0x23_16_0x23_20_bit0 -x_0x23_16_0x23_21_bit0 -x_0x23_16_0x23_22_bit0 x_0x23_16_0x23_23_bit0 -x_0x23_16_0x23_24_bit0 -x_0x23_16_0x23_25_bit0 -x_0x23_16_0x23_26_bit0 -x_0x23_16_0x23_27_bit0 -x_0x23_16_0x23_28_bit0 -x_0x23_16_0x23_29_bit0 -x_0x23_16_0x23_2_bit0 -x_0x23_16_0x23_30_bit0 -x_0x23_16_0x23_31_bit0 -x_0x23_16_0x23_32_bit0 -x_0x23_16_0x23_33_bit0 -x_0x23_16_0x23_34_bit0 -x_0x23_16_0x23_35_bit0 -x_0x23_16_0x23_3_bit0 -x_0x23_16_0x23_4_bit0 -x_0x23_16_0x23_5_bit0 -x_0x23_16_0x23_6_bit0 -x_0x23_16_0x23_7_bit0 -x_0x23_16_0x23_8_bit0 -x_0x23_16_0x23_9_bit0 -x_0x23_17_0x23_10_bit0 -x_0x23_17_0x23_11_bit0 -x_0x23_17_0x23_12_bit0 -x_0x23_17_0x23_13_bit0 -x_0x23_17_0x23_14_bit0 -x_0x23_17_0x23_15_bit0 -x_0x23_17_0x23_16_bit0 -x_0x23_17_0x23_17_bit0 -x_0x23_17_0x23_18_bit0 -x_0x23_17_0x23_19_bit0 -x_0x23_17_0x23_1_bit0 -x_0x23_17_0x23_20_bit0 -x_0x23_17_0x23_21_bit0 -x_0x23_17_0x23_22_bit0 -x_0x23_17_0x23_23_bit0 -x_0x23_17_0x23_24_bit0 -x_0x23_17_0x23_25_bit0 -x_0x23_17_0x23_26_bit0 -x_0x23_17_0x23_27_bit0 -x_0x23_17_0x23_28_bit0 -x_0x23_17_0x23_29_bit0 -x_0x23_17_0x23_2_bit0 -x_0x23_17_0x23_30_bit0 -x_0x23_17_0x23_31_bit0 -x_0x23_17_0x23_32_bit0 -x_0x23_17_0x23_33_bit0 -x_0x23_17_0x23_34_bit0 -x_0x23_17_0x23_35_bit0 -x_0x23_17_0x23_3_bit0 -x_0x23_17_0x23_4_bit0 x_0x23_17_0x23_5_bit0 -x_0x23_17_0x23_6_bit0 -x_0x23_17_0x23_7_bit0 -x_0x23_17_0x23_8_bit0 -x_0x23_17_0x23_9_bit0 -x_0x23_18_0x23_10_bit0 -x_0x23_18_0x23_11_bit0 -x_0x23_18_0x23_12_bit0 -x_0x23_18_0x23_13_bit0 -x_0x23_18_0x23_14_bit0 -x_0x23_18_0x23_15_bit0 -x_0x23_18_0x23_16_bit0 -x_0x23_18_0x23_17_bit0 -x_0x23_18_0x23_18_bit0 -x_0x23_18_0x23_19_bit0 -x_0x23_18_0x23_1_bit0 -x_0x23_18_0x23_20_bit0 -x_0x23_18_0x23_21_bit0 -x_0x23_18_0x23_22_bit0 -x_0x23_18_0x23_23_bit0 -x_0x23_18_0x23_24_bit0 -x_0x23_18_0x23_25_bit0 -x_0x23_18_0x23_26_bit0 -x_0x23_18_0x23_27_bit0 -x_0x23_18_0x23_28_bit0 -x_0x23_18_0x23_29_bit0 -x_0x23_18_0x23_2_bit0 -x_0x23_18_0x23_30_bit0 -x_0x23_18_0x23_31_bit0 -x_0x23_18_0x23_32_bit0 -x_0x23_18_0x23_33_bit0 -x_0x23_18_0x23_34_bit0 -x_0x23_18_0x23_35_bit0 x_0x23_18_0x23_3_bit0 -x_0x23_18_0x23_4_bit0 -x_0x23_18_0x23_5_bit0 -x_0x23_18_0x23_6_bit0 -x_0x23_18_0x23_7_bit0 -x_0x23_18_0x23_8_bit0 -x_0x23_18_0x23_9_bit0 x_0x23_19_0x23_10_bit0 -x_0x23_19_0x23_11_bit0 -x_0x23_19_0x23_12_bit0 -x_0x23_19_0x23_13_bit0 -x_0x23_19_0x23_14_bit0 -x_0x23_19_0x23_15_bit0 -x_0x23_19_0x23_16_bit0 -x_0x23_19_0x23_17_bit0 -x_0x23_19_0x23_18_bit0 -x_0x23_19_0x23_19_bit0 -x_0x23_19_0x23_1_bit0 -x_0x23_19_0x23_20_bit0 -x_0x23_19_0x23_21_bit0 -x_0x23_19_0x23_22_bit0 -x_0x23_19_0x23_23_bit0 -x_0x23_19_0x23_24_bit0 -x_0x23_19_0x23_25_bit0 -x_0x23_19_0x23_26_bit0 -x_0x23_19_0x23_27_bit0 -x_0x23_19_0x23_28_bit0 -x_0x23_19_0x23_29_bit0 -x_0x23_19_0x23_2_bit0 -x_0x23_19_0x23_30_bit0 -x_0x23_19_0x23_31_bit0 -x_0x23_19_0x23_32_bit0 -x_0x23_19_0x23_33_bit0 -x_0x23_19_0x23_34_bit0 -x_0x23_19_0x23_35_bit0 -x_0x23_19_0x23_3_bit0 -x_0x23_19_0x23_4_bit0 -x_0x23_19_0x23_5_bit0 -x_0x23_19_0x23_6_bit0 -x_0x23_19_0x23_7_bit0 -x_0x23_19_0x23_8_bit0 -x_0x23_19_0x23_9_bit0 -x_0x23_1_0x23_10_bit0 -x_0x23_1_0x23_11_bit0 -x_0x23_1_0x23_12_bit0 -x_0x23_1_0x23_13_bit0 -x_0x23_1_0x23_14_bit0 -x_0x23_1_0x23_15_bit0 -x_0x23_1_0x23_16_bit0 -x_0x23_1_0x23_17_bit0 -x_0x23_1_0x23_18_bit0 -x_0x23_1_0x23_19_bit0 -x_0x23_1_0x23_1_bit0 -x_0x23_1_0x23_20_bit0 -x_0x23_1_0x23_21_bit0 -x_0x23_1_0x23_22_bit0 -x_0x23_1_0x23_23_bit0 -x_0x23_1_0x23_24_bit0 -x_0x23_1_0x23_25_bit0 -x_0x23_1_0x23_26_bit0 -x_0x23_1_0x23_27_bit0 -x_0x23_1_0x23_28_bit0 -x_0x23_1_0x23_29_bit0 -x_0x23_1_0x23_2_bit0 -x_0x23_1_0x23_30_bit0 -x_0x23_1_0x23_31_bit0 -x_0x23_1_0x23_32_bit0 -x_0x23_1_0x23_33_bit0 -x_0x23_1_0x23_34_bit0 -x_0x23_1_0x23_35_bit0 -x_0x23_1_0x23_3_bit0 -x_0x23_1_0x23_4_bit0 -x_0x23_1_0x23_5_bit0 -x_0x23_1_0x23_6_bit0 -x_0x23_1_0x23_7_bit0 -x_0x23_1_0x23_8_bit0 -x_0x23_1_0x23_9_bit0 -x_0x23_20_0x23_10_bit0 -x_0x23_20_0x23_11_bit0 -x_0x23_20_0x23_12_bit0 -x_0x23_20_0x23_13_bit0 x_0x23_20_0x23_14_bit0 -x_0x23_20_0x23_15_bit0 -x_0x23_20_0x23_16_bit0 -x_0x23_20_0x23_17_bit0 -x_0x23_20_0x23_18_bit0 -x_0x23_20_0x23_19_bit0 -x_0x23_20_0x23_1_bit0 -x_0x23_20_0x23_20_bit0 -x_0x23_20_0x23_21_bit0 -x_0x23_20_0x23_22_bit0 -x_0x23_20_0x23_23_bit0 -x_0x23_20_0x23_24_bit0 -x_0x23_20_0x23_25_bit0 -x_0x23_20_0x23_26_bit0 -x_0x23_20_0x23_27_bit0 -x_0x23_20_0x23_28_bit0 -x_0x23_20_0x23_29_bit0 -x_0x23_20_0x23_2_bit0 -x_0x23_20_0x23_30_bit0 -x_0x23_20_0x23_31_bit0 -x_0x23_20_0x23_32_bit0 -x_0x23_20_0x23_33_bit0 -x_0x23_20_0x23_34_bit0 -x_0x23_20_0x23_35_bit0 -x_0x23_20_0x23_3_bit0 -x_0x23_20_0x23_4_bit0 -x_0x23_20_0x23_5_bit0 -x_0x23_20_0x23_6_bit0 -x_0x23_20_0x23_7_bit0 -x_0x23_20_0x23_8_bit0 -x_0x23_20_0x23_9_bit0 -x_0x23_21_0x23_10_bit0 -x_0x23_21_0x23_11_bit0 -x_0x23_21_0x23_12_bit0 -x_0x23_21_0x23_13_bit0 -x_0x23_21_0x23_14_bit0 -x_0x23_21_0x23_15_bit0 -x_0x23_21_0x23_16_bit0 -x_0x23_21_0x23_17_bit0 -x_0x23_21_0x23_18_bit0 -x_0x23_21_0x23_19_bit0 -x_0x23_21_0x23_1_bit0 -x_0x23_21_0x23_20_bit0 -x_0x23_21_0x23_21_bit0 -x_0x23_21_0x23_22_bit0 -x_0x23_21_0x23_23_bit0 -x_0x23_21_0x23_24_bit0 -x_0x23_21_0x23_25_bit0 -x_0x23_21_0x23_26_bit0 -x_0x23_21_0x23_27_bit0 -x_0x23_21_0x23_28_bit0 -x_0x23_21_0x23_29_bit0 -x_0x23_21_0x23_2_bit0 -x_0x23_21_0x23_30_bit0 -x_0x23_21_0x23_31_bit0 -x_0x23_21_0x23_32_bit0 -x_0x23_21_0x23_33_bit0 -x_0x23_21_0x23_34_bit0 -x_0x23_21_0x23_35_bit0 -x_0x23_21_0x23_3_bit0 -x_0x23_21_0x23_4_bit0 -x_0x23_21_0x23_5_bit0 -x_0x23_21_0x23_6_bit0 -x_0x23_21_0x23_7_bit0 -x_0x23_21_0x23_8_bit0 -x_0x23_21_0x23_9_bit0 -x_0x23_22_0x23_10_bit0 -x_0x23_22_0x23_11_bit0 -x_0x23_22_0x23_12_bit0 -x_0x23_22_0x23_13_bit0 -x_0x23_22_0x23_14_bit0 -x_0x23_22_0x23_15_bit0 -x_0x23_22_0x23_16_bit0 -x_0x23_22_0x23_17_bit0 -x_0x23_22_0x23_18_bit0 -x_0x23_22_0x23_19_bit0 -x_0x23_22_0x23_1_bit0 -x_0x23_22_0x23_20_bit0 -x_0x23_22_0x23_21_bit0 -x_0x23_22_0x23_22_bit0 -x_0x23_22_0x23_23_bit0 -x_0x23_22_0x23_24_bit0 -x_0x23_22_0x23_25_bit0 -x_0x23_22_0x23_26_bit0 -x_0x23_22_0x23_27_bit0 -x_0x23_22_0x23_28_bit0 -x_0x23_22_0x23_29_bit0 -x_0x23_22_0x23_2_bit0 -x_0x23_22_0x23_30_bit0 -x_0x23_22_0x23_31_bit0 -x_0x23_22_0x23_32_bit0 -x_0x23_22_0x23_33_bit0 -x_0x23_22_0x23_34_bit0 -x_0x23_22_0x23_35_bit0 -x_0x23_22_0x23_3_bit0 -x_0x23_22_0x23_4_bit0 -x_0x23_22_0x23_5_bit0 -x_0x23_22_0x23_6_bit0 -x_0x23_22_0x23_7_bit0 -x_0x23_22_0x23_8_bit0 -x_0x23_22_0x23_9_bit0 -x_0x23_23_0x23_10_bit0 -x_0x23_23_0x23_11_bit0 -x_0x23_23_0x23_12_bit0 -x_0x23_23_0x23_13_bit0 -x_0x23_23_0x23_14_bit0 -x_0x23_23_0x23_15_bit0 -x_0x23_23_0x23_16_bit0 -x_0x23_23_0x23_17_bit0 -x_0x23_23_0x23_18_bit0 -x_0x23_23_0x23_19_bit0 -x_0x23_23_0x23_1_bit0 -x_0x23_23_0x23_20_bit0 -x_0x23_23_0x23_21_bit0 -x_0x23_23_0x23_22_bit0 -x_0x23_23_0x23_23_bit0 -x_0x23_23_0x23_24_bit0 x_0x23_23_0x23_25_bit0 -x_0x23_23_0x23_26_bit0 -x_0x23_23_0x23_27_bit0 -x_0x23_23_0x23_28_bit0 -x_0x23_23_0x23_29_bit0 -x_0x23_23_0x23_2_bit0 -x_0x23_23_0x23_30_bit0 -x_0x23_23_0x23_31_bit0 -x_0x23_23_0x23_32_bit0 -x_0x23_23_0x23_33_bit0 -x_0x23_23_0x23_34_bit0 -x_0x23_23_0x23_35_bit0 -x_0x23_23_0x23_3_bit0 -x_0x23_23_0x23_4_bit0 -x_0x23_23_0x23_5_bit0 -x_0x23_23_0x23_6_bit0 -x_0x23_23_0x23_7_bit0 -x_0x23_23_0x23_8_bit0 -x_0x23_23_0x23_9_bit0 -x_0x23_24_0x23_10_bit0 -x_0x23_24_0x23_11_bit0 -x_0x23_24_0x23_12_bit0 -x_0x23_24_0x23_13_bit0 -x_0x23_24_0x23_14_bit0 -x_0x23_24_0x23_15_bit0 -x_0x23_24_0x23_16_bit0 -x_0x23_24_0x23_17_bit0 -x_0x23_24_0x23_18_bit0 -x_0x23_24_0x23_19_bit0 -x_0x23_24_0x23_1_bit0 -x_0x23_24_0x23_20_bit0 -x_0x23_24_0x23_21_bit0 x_0x23_24_0x23_22_bit0 -x_0x23_24_0x23_23_bit0 -x_0x23_24_0x23_24_bit0 -x_0x23_24_0x23_25_bit0 -x_0x23_24_0x23_26_bit0 -x_0x23_24_0x23_27_bit0 -x_0x23_24_0x23_28_bit0 -x_0x23_24_0x23_29_bit0 -x_0x23_24_0x23_2_bit0 -x_0x23_24_0x23_30_bit0 -x_0x23_24_0x23_31_bit0 -x_0x23_24_0x23_32_bit0 -x_0x23_24_0x23_33_bit0 -x_0x23_24_0x23_34_bit0 -x_0x23_24_0x23_35_bit0 -x_0x23_24_0x23_3_bit0 -x_0x23_24_0x23_4_bit0 -x_0x23_24_0x23_5_bit0 -x_0x23_24_0x23_6_bit0 -x_0x23_24_0x23_7_bit0 -x_0x23_24_0x23_8_bit0 -x_0x23_24_0x23_9_bit0 -x_0x23_25_0x23_10_bit0 -x_0x23_25_0x23_11_bit0 -x_0x23_25_0x23_12_bit0 -x_0x23_25_0x23_13_bit0 -x_0x23_25_0x23_14_bit0 -x_0x23_25_0x23_15_bit0 -x_0x23_25_0x23_16_bit0 -x_0x23_25_0x23_17_bit0 -x_0x23_25_0x23_18_bit0 -x_0x23_25_0x23_19_bit0 -x_0x23_25_0x23_1_bit0 -x_0x23_25_0x23_20_bit0 -x_0x23_25_0x23_21_bit0 -x_0x23_25_0x23_22_bit0 -x_0x23_25_0x23_23_bit0 -x_0x23_25_0x23_24_bit0 -x_0x23_25_0x23_25_bit0 -x_0x23_25_0x23_26_bit0 -x_0x23_25_0x23_27_bit0 -x_0x23_25_0x23_28_bit0 -x_0x23_25_0x23_29_bit0 -x_0x23_25_0x23_2_bit0 -x_0x23_25_0x23_30_bit0 -x_0x23_25_0x23_31_bit0 -x_0x23_25_0x23_32_bit0 -x_0x23_25_0x23_33_bit0 -x_0x23_25_0x23_34_bit0 -x_0x23_25_0x23_35_bit0 -x_0x23_25_0x23_3_bit0 x_0x23_25_0x23_4_bit0 -x_0x23_25_0x23_5_bit0 -x_0x23_25_0x23_6_bit0 -x_0x23_25_0x23_7_bit0 -x_0x23_25_0x23_8_bit0 -x_0x23_25_0x23_9_bit0 -x_0x23_26_0x23_10_bit0 -x_0x23_26_0x23_11_bit0 -x_0x23_26_0x23_12_bit0 -x_0x23_26_0x23_13_bit0 -x_0x23_26_0x23_14_bit0 -x_0x23_26_0x23_15_bit0 -x_0x23_26_0x23_16_bit0 -x_0x23_26_0x23_17_bit0 -x_0x23_26_0x23_18_bit0 -x_0x23_26_0x23_19_bit0 -x_0x23_26_0x23_1_bit0 -x_0x23_26_0x23_20_bit0 -x_0x23_26_0x23_21_bit0 -x_0x23_26_0x23_22_bit0 -x_0x23_26_0x23_23_bit0 -x_0x23_26_0x23_24_bit0 -x_0x23_26_0x23_25_bit0 -x_0x23_26_0x23_26_bit0 -x_0x23_26_0x23_27_bit0 -x_0x23_26_0x23_28_bit0 -x_0x23_26_0x23_29_bit0 x_0x23_26_0x23_2_bit0 -x_0x23_26_0x23_30_bit0 -x_0x23_26_0x23_31_bit0 -x_0x23_26_0x23_32_bit0 -x_0x23_26_0x23_33_bit0 -x_0x23_26_0x23_34_bit0 -x_0x23_26_0x23_35_bit0 -x_0x23_26_0x23_3_bit0 -x_0x23_26_0x23_4_bit0 -x_0x23_26_0x23_5_bit0 -x_0x23_26_0x23_6_bit0 -x_0x23_26_0x23_7_bit0 -x_0x23_26_0x23_8_bit0 -x_0x23_26_0x23_9_bit0 -x_0x23_27_0x23_10_bit0 -x_0x23_27_0x23_11_bit0 -x_0x23_27_0x23_12_bit0 -x_0x23_27_0x23_13_bit0 -x_0x23_27_0x23_14_bit0 x_0x23_27_0x23_15_bit0 -x_0x23_27_0x23_16_bit0 -x_0x23_27_0x23_17_bit0 -x_0x23_27_0x23_18_bit0 -x_0x23_27_0x23_19_bit0 -x_0x23_27_0x23_1_bit0 -x_0x23_27_0x23_20_bit0 -x_0x23_27_0x23_21_bit0 -x_0x23_27_0x23_22_bit0 -x_0x23_27_0x23_23_bit0 -x_0x23_27_0x23_24_bit0 -x_0x23_27_0x23_25_bit0 -x_0x23_27_0x23_26_bit0 -x_0x23_27_0x23_27_bit0 -x_0x23_27_0x23_28_bit0 -x_0x23_27_0x23_29_bit0 -x_0x23_27_0x23_2_bit0 -x_0x23_27_0x23_30_bit0 -x_0x23_27_0x23_31_bit0 -x_0x23_27_0x23_32_bit0 -x_0x23_27_0x23_33_bit0 -x_0x23_27_0x23_34_bit0 -x_0x23_27_0x23_35_bit0 -x_0x23_27_0x23_3_bit0 -x_0x23_27_0x23_4_bit0 -x_0x23_27_0x23_5_bit0 -x_0x23_27_0x23_6_bit0 -x_0x23_27_0x23_7_bit0 -x_0x23_27_0x23_8_bit0 -x_0x23_27_0x23_9_bit0 -x_0x23_28_0x23_10_bit0 -x_0x23_28_0x23_11_bit0 -x_0x23_28_0x23_12_bit0 -x_0x23_28_0x23_13_bit0 -x_0x23_28_0x23_14_bit0 -x_0x23_28_0x23_15_bit0 -x_0x23_28_0x23_16_bit0 -x_0x23_28_0x23_17_bit0 -x_0x23_28_0x23_18_bit0 -x_0x23_28_0x23_19_bit0 -x_0x23_28_0x23_1_bit0 -x_0x23_28_0x23_20_bit0 -x_0x23_28_0x23_21_bit0 -x_0x23_28_0x23_22_bit0 -x_0x23_28_0x23_23_bit0 -x_0x23_28_0x23_24_bit0 -x_0x23_28_0x23_25_bit0 -x_0x23_28_0x23_26_bit0 -x_0x23_28_0x23_27_bit0 -x_0x23_28_0x23_28_bit0 -x_0x23_28_0x23_29_bit0 -x_0x23_28_0x23_2_bit0 -x_0x23_28_0x23_30_bit0 -x_0x23_28_0x23_31_bit0 -x_0x23_28_0x23_32_bit0 -x_0x23_28_0x23_33_bit0 -x_0x23_28_0x23_34_bit0 -x_0x23_28_0x23_35_bit0 -x_0x23_28_0x23_3_bit0 -x_0x23_28_0x23_4_bit0 -x_0x23_28_0x23_5_bit0 -x_0x23_28_0x23_6_bit0 -x_0x23_28_0x23_7_bit0 -x_0x23_28_0x23_8_bit0 -x_0x23_28_0x23_9_bit0 -x_0x23_29_0x23_10_bit0 -x_0x23_29_0x23_11_bit0 -x_0x23_29_0x23_12_bit0 -x_0x23_29_0x23_13_bit0 -x_0x23_29_0x23_14_bit0 -x_0x23_29_0x23_15_bit0 -x_0x23_29_0x23_16_bit0 -x_0x23_29_0x23_17_bit0 -x_0x23_29_0x23_18_bit0 -x_0x23_29_0x23_19_bit0 -x_0x23_29_0x23_1_bit0 -x_0x23_29_0x23_20_bit0 -x_0x23_29_0x23_21_bit0 -x_0x23_29_0x23_22_bit0 -x_0x23_29_0x23_23_bit0 -x_0x23_29_0x23_24_bit0 -x_0x23_29_0x23_25_bit0 -x_0x23_29_0x23_26_bit0 -x_0x23_29_0x23_27_bit0 -x_0x23_29_0x23_28_bit0 -x_0x23_29_0x23_29_bit0 -x_0x23_29_0x23_2_bit0 -x_0x23_29_0x23_30_bit0 -x_0x23_29_0x23_31_bit0 -x_0x23_29_0x23_32_bit0 -x_0x23_29_0x23_33_bit0 -x_0x23_29_0x23_34_bit0 -x_0x23_29_0x23_35_bit0 -x_0x23_29_0x23_3_bit0 -x_0x23_29_0x23_4_bit0 -x_0x23_29_0x23_5_bit0 -x_0x23_29_0x23_6_bit0 -x_0x23_29_0x23_7_bit0 -x_0x23_29_0x23_8_bit0 -x_0x23_29_0x23_9_bit0 -x_0x23_2_0x23_10_bit0 -x_0x23_2_0x23_11_bit0 -x_0x23_2_0x23_12_bit0 -x_0x23_2_0x23_13_bit0 -x_0x23_2_0x23_14_bit0 -x_0x23_2_0x23_15_bit0 -x_0x23_2_0x23_16_bit0 -x_0x23_2_0x23_17_bit0 -x_0x23_2_0x23_18_bit0 -x_0x23_2_0x23_19_bit0 -x_0x23_2_0x23_1_bit0 -x_0x23_2_0x23_20_bit0 -x_0x23_2_0x23_21_bit0 -x_0x23_2_0x23_22_bit0 -x_0x23_2_0x23_23_bit0 -x_0x23_2_0x23_24_bit0 -x_0x23_2_0x23_25_bit0 -x_0x23_2_0x23_26_bit0 -x_0x23_2_0x23_27_bit0 -x_0x23_2_0x23_28_bit0 -x_0x23_2_0x23_29_bit0 -x_0x23_2_0x23_2_bit0 -x_0x23_2_0x23_30_bit0 -x_0x23_2_0x23_31_bit0 -x_0x23_2_0x23_32_bit0 -x_0x23_2_0x23_33_bit0 -x_0x23_2_0x23_34_bit0 -x_0x23_2_0x23_35_bit0 -x_0x23_2_0x23_3_bit0 -x_0x23_2_0x23_4_bit0 -x_0x23_2_0x23_5_bit0 -x_0x23_2_0x23_6_bit0 x_0x23_2_0x23_7_bit0 -x_0x23_2_0x23_8_bit0 -x_0x23_2_0x23_9_bit0 -x_0x23_30_0x23_10_bit0 -x_0x23_30_0x23_11_bit0 -x_0x23_30_0x23_12_bit0 -x_0x23_30_0x23_13_bit0 -x_0x23_30_0x23_14_bit0 -x_0x23_30_0x23_15_bit0 -x_0x23_30_0x23_16_bit0 -x_0x23_30_0x23_17_bit0 -x_0x23_30_0x23_18_bit0 -x_0x23_30_0x23_19_bit0 -x_0x23_30_0x23_1_bit0 -x_0x23_30_0x23_20_bit0 -x_0x23_30_0x23_21_bit0 -x_0x23_30_0x23_22_bit0 -x_0x23_30_0x23_23_bit0 -x_0x23_30_0x23_24_bit0 -x_0x23_30_0x23_25_bit0 x_0x23_30_0x23_26_bit0 -x_0x23_30_0x23_27_bit0 -x_0x23_30_0x23_28_bit0 -x_0x23_30_0x23_29_bit0 -x_0x23_30_0x23_2_bit0 -x_0x23_30_0x23_30_bit0 -x_0x23_30_0x23_31_bit0 -x_0x23_30_0x23_32_bit0 -x_0x23_30_0x23_33_bit0 -x_0x23_30_0x23_34_bit0 -x_0x23_30_0x23_35_bit0 -x_0x23_30_0x23_3_bit0 -x_0x23_30_0x23_4_bit0 -x_0x23_30_0x23_5_bit0 -x_0x23_30_0x23_6_bit0 -x_0x23_30_0x23_7_bit0 -x_0x23_30_0x23_8_bit0 -x_0x23_30_0x23_9_bit0 -x_0x23_31_0x23_10_bit0 -x_0x23_31_0x23_11_bit0 -x_0x23_31_0x23_12_bit0 -x_0x23_31_0x23_13_bit0 -x_0x23_31_0x23_14_bit0 -x_0x23_31_0x23_15_bit0 -x_0x23_31_0x23_16_bit0 -x_0x23_31_0x23_17_bit0 -x_0x23_31_0x23_18_bit0 -x_0x23_31_0x23_19_bit0 -x_0x23_31_0x23_1_bit0 -x_0x23_31_0x23_20_bit0 -x_0x23_31_0x23_21_bit0 -x_0x23_31_0x23_22_bit0 -x_0x23_31_0x23_23_bit0 -x_0x23_31_0x23_24_bit0 -x_0x23_31_0x23_25_bit0 -x_0x23_31_0x23_26_bit0 x_0x23_31_0x23_27_bit0 -x_0x23_31_0x23_28_bit0 -x_0x23_31_0x23_29_bit0 -x_0x23_31_0x23_2_bit0 -x_0x23_31_0x23_30_bit0 -x_0x23_31_0x23_31_bit0 -x_0x23_31_0x23_32_bit0 -x_0x23_31_0x23_33_bit0 -x_0x23_31_0x23_34_bit0 -x_0x23_31_0x23_35_bit0 -x_0x23_31_0x23_3_bit0 -x_0x23_31_0x23_4_bit0 -x_0x23_31_0x23_5_bit0 -x_0x23_31_0x23_6_bit0 -x_0x23_31_0x23_7_bit0 -x_0x23_31_0x23_8_bit0 -x_0x23_31_0x23_9_bit0 -x_0x23_32_0x23_10_bit0 -x_0x23_32_0x23_11_bit0 -x_0x23_32_0x23_12_bit0 -x_0x23_32_0x23_13_bit0 -x_0x23_32_0x23_14_bit0 -x_0x23_32_0x23_15_bit0 -x_0x23_32_0x23_16_bit0 -x_0x23_32_0x23_17_bit0 -x_0x23_32_0x23_18_bit0 -x_0x23_32_0x23_19_bit0 -x_0x23_32_0x23_1_bit0 -x_0x23_32_0x23_20_bit0 x_0x23_32_0x23_21_bit0 -x_0x23_32_0x23_22_bit0 -x_0x23_32_0x23_23_bit0 -x_0x23_32_0x23_24_bit0 -x_0x23_32_0x23_25_bit0 -x_0x23_32_0x23_26_bit0 -x_0x23_32_0x23_27_bit0 -x_0x23_32_0x23_28_bit0 -x_0x23_32_0x23_29_bit0 -x_0x23_32_0x23_2_bit0 -x_0x23_32_0x23_30_bit0 -x_0x23_32_0x23_31_bit0 -x_0x23_32_0x23_32_bit0 -x_0x23_32_0x23_33_bit0 -x_0x23_32_0x23_34_bit0 -x_0x23_32_0x23_35_bit0 -x_0x23_32_0x23_3_bit0 -x_0x23_32_0x23_4_bit0 -x_0x23_32_0x23_5_bit0 -x_0x23_32_0x23_6_bit0 -x_0x23_32_0x23_7_bit0 -x_0x23_32_0x23_8_bit0 -x_0x23_32_0x23_9_bit0 -x_0x23_33_0x23_10_bit0 -x_0x23_33_0x23_11_bit0 -x_0x23_33_0x23_12_bit0 -x_0x23_33_0x23_13_bit0 -x_0x23_33_0x23_14_bit0 -x_0x23_33_0x23_15_bit0 -x_0x23_33_0x23_16_bit0 -x_0x23_33_0x23_17_bit0 -x_0x23_33_0x23_18_bit0 -x_0x23_33_0x23_19_bit0 x_0x23_33_0x23_1_bit0 -x_0x23_33_0x23_20_bit0 -x_0x23_33_0x23_21_bit0 -x_0x23_33_0x23_22_bit0 -x_0x23_33_0x23_23_bit0 -x_0x23_33_0x23_24_bit0 -x_0x23_33_0x23_25_bit0 -x_0x23_33_0x23_26_bit0 -x_0x23_33_0x23_27_bit0 -x_0x23_33_0x23_28_bit0 -x_0x23_33_0x23_29_bit0 -x_0x23_33_0x23_2_bit0 -x_0x23_33_0x23_30_bit0 -x_0x23_33_0x23_31_bit0 -x_0x23_33_0x23_32_bit0 -x_0x23_33_0x23_33_bit0 -x_0x23_33_0x23_34_bit0 -x_0x23_33_0x23_35_bit0 -x_0x23_33_0x23_3_bit0 -x_0x23_33_0x23_4_bit0 -x_0x23_33_0x23_5_bit0 -x_0x23_33_0x23_6_bit0 -x_0x23_33_0x23_7_bit0 -x_0x23_33_0x23_8_bit0 -x_0x23_33_0x23_9_bit0 -x_0x23_34_0x23_10_bit0 -x_0x23_34_0x23_11_bit0 -x_0x23_34_0x23_12_bit0 -x_0x23_34_0x23_13_bit0 -x_0x23_34_0x23_14_bit0 -x_0x23_34_0x23_15_bit0 x_0x23_34_0x23_16_bit0 -x_0x23_34_0x23_17_bit0 -x_0x23_34_0x23_18_bit0 -x_0x23_34_0x23_19_bit0 -x_0x23_34_0x23_1_bit0 -x_0x23_34_0x23_20_bit0 -x_0x23_34_0x23_21_bit0 -x_0x23_34_0x23_22_bit0 -x_0x23_34_0x23_23_bit0 -x_0x23_34_0x23_24_bit0 -x_0x23_34_0x23_25_bit0 -x_0x23_34_0x23_26_bit0 -x_0x23_34_0x23_27_bit0 -x_0x23_34_0x23_28_bit0 -x_0x23_34_0x23_29_bit0 -x_0x23_34_0x23_2_bit0 -x_0x23_34_0x23_30_bit0 -x_0x23_34_0x23_31_bit0 -x_0x23_34_0x23_32_bit0 -x_0x23_34_0x23_33_bit0 -x_0x23_34_0x23_34_bit0 -x_0x23_34_0x23_35_bit0 -x_0x23_34_0x23_3_bit0 -x_0x23_34_0x23_4_bit0 -x_0x23_34_0x23_5_bit0 -x_0x23_34_0x23_6_bit0 -x_0x23_34_0x23_7_bit0 -x_0x23_34_0x23_8_bit0 -x_0x23_34_0x23_9_bit0 -x_0x23_35_0x23_10_bit0 -x_0x23_35_0x23_11_bit0 -x_0x23_35_0x23_12_bit0 -x_0x23_35_0x23_13_bit0 -x_0x23_35_0x23_14_bit0 -x_0x23_35_0x23_15_bit0 -x_0x23_35_0x23_16_bit0 -x_0x23_35_0x23_17_bit0 -x_0x23_35_0x23_18_bit0 -x_0x23_35_0x23_19_bit0 -x_0x23_35_0x23_1_bit0 -x_0x23_35_0x23_20_bit0 -x_0x23_35_0x23_21_bit0 -x_0x23_35_0x23_22_bit0 -x_0x23_35_0x23_23_bit0 -x_0x23_35_0x23_24_bit0 -x_0x23_35_0x23_25_bit0 -x_0x23_35_0x23_26_bit0 -x_0x23_35_0x23_27_bit0 -x_0x23_35_0x23_28_bit0 -x_0x23_35_0x23_29_bit0 -x_0x23_35_0x23_2_bit0 -x_0x23_35_0x23_30_bit0 -x_0x23_35_0x23_31_bit0 -x_0x23_35_0x23_32_bit0 -x_0x23_35_0x23_33_bit0 -x_0x23_35_0x23_34_bit0 -x_0x23_35_0x23_35_bit0 -x_0x23_35_0x23_3_bit0 -x_0x23_35_0x23_4_bit0 -x_0x23_35_0x23_5_bit0 -x_0x23_35_0x23_6_bit0 -x_0x23_35_0x23_7_bit0 -x_0x23_35_0x23_8_bit0 -x_0x23_35_0x23_9_bit0 -x_0x23_36_0x23_10_bit0 -x_0x23_36_0x23_11_bit0 -x_0x23_36_0x23_12_bit0 -x_0x23_36_0x23_13_bit0 -x_0x23_36_0x23_14_bit0 -x_0x23_36_0x23_15_bit0 -x_0x23_36_0x23_16_bit0 -x_0x23_36_0x23_17_bit0 -x_0x23_36_0x23_18_bit0 -x_0x23_36_0x23_19_bit0 -x_0x23_36_0x23_1_bit0 -x_0x23_36_0x23_20_bit0 -x_0x23_36_0x23_21_bit0 -x_0x23_36_0x23_22_bit0 -x_0x23_36_0x23_23_bit0 -x_0x23_36_0x23_24_bit0 -x_0x23_36_0x23_25_bit0 -x_0x23_36_0x23_26_bit0 -x_0x23_36_0x23_27_bit0 -x_0x23_36_0x23_28_bit0 -x_0x23_36_0x23_29_bit0 -x_0x23_36_0x23_2_bit0 -x_0x23_36_0x23_30_bit0 -x_0x23_36_0x23_31_bit0 -x_0x23_36_0x23_32_bit0 x_0x23_36_0x23_33_bit0 -x_0x23_36_0x23_34_bit0 -x_0x23_36_0x23_35_bit0 -x_0x23_36_0x23_3_bit0 -x_0x23_36_0x23_4_bit0 -x_0x23_36_0x23_5_bit0 -x_0x23_36_0x23_6_bit0 -x_0x23_36_0x23_7_bit0 -x_0x23_36_0x23_8_bit0 -x_0x23_36_0x23_9_bit0 -x_0x23_37_0x23_10_bit0 -x_0x23_37_0x23_11_bit0 -x_0x23_37_0x23_12_bit0 -x_0x23_37_0x23_13_bit0 -x_0x23_37_0x23_14_bit0 -x_0x23_37_0x23_15_bit0 -x_0x23_37_0x23_16_bit0 -x_0x23_37_0x23_17_bit0 -x_0x23_37_0x23_18_bit0 -x_0x23_37_0x23_19_bit0 -x_0x23_37_0x23_1_bit0 -x_0x23_37_0x23_20_bit0 -x_0x23_37_0x23_21_bit0 -x_0x23_37_0x23_22_bit0 -x_0x23_37_0x23_23_bit0 -x_0x23_37_0x23_24_bit0 -x_0x23_37_0x23_25_bit0 -x_0x23_37_0x23_26_bit0 -x_0x23_37_0x23_27_bit0 -x_0x23_37_0x23_28_bit0 -x_0x23_37_0x23_29_bit0 -x_0x23_37_0x23_2_bit0 -x_0x23_37_0x23_30_bit0 -x_0x23_37_0x23_31_bit0 x_0x23_37_0x23_32_bit0 -x_0x23_37_0x23_33_bit0 -x_0x23_37_0x23_34_bit0 -x_0x23_37_0x23_35_bit0 -x_0x23_37_0x23_3_bit0 -x_0x23_37_0x23_4_bit0 -x_0x23_37_0x23_5_bit0 -x_0x23_37_0x23_6_bit0 -x_0x23_37_0x23_7_bit0 -x_0x23_37_0x23_8_bit0 -x_0x23_37_0x23_9_bit0 -x_0x23_38_0x23_10_bit0 -x_0x23_38_0x23_11_bit0 -x_0x23_38_0x23_12_bit0 -x_0x23_38_0x23_13_bit0 -x_0x23_38_0x23_14_bit0 -x_0x23_38_0x23_15_bit0 -x_0x23_38_0x23_16_bit0 -x_0x23_38_0x23_17_bit0 -x_0x23_38_0x23_18_bit0 -x_0x23_38_0x23_19_bit0 -x_0x23_38_0x23_1_bit0 -x_0x23_38_0x23_20_bit0 -x_0x23_38_0x23_21_bit0 -x_0x23_38_0x23_22_bit0 -x_0x23_38_0x23_23_bit0 -x_0x23_38_0x23_24_bit0 -x_0x23_38_0x23_25_bit0 -x_0x23_38_0x23_26_bit0 -x_0x23_38_0x23_27_bit0 -x_0x23_38_0x23_28_bit0 -x_0x23_38_0x23_29_bit0 -x_0x23_38_0x23_2_bit0 x_0x23_38_0x23_30_bit0 -x_0x23_38_0x23_31_bit0 -x_0x23_38_0x23_32_bit0 -x_0x23_38_0x23_33_bit0 -x_0x23_38_0x23_34_bit0 -x_0x23_38_0x23_35_bit0 -x_0x23_38_0x23_3_bit0 -x_0x23_38_0x23_4_bit0 -x_0x23_38_0x23_5_bit0 -x_0x23_38_0x23_6_bit0 -x_0x23_38_0x23_7_bit0 -x_0x23_38_0x23_8_bit0 -x_0x23_38_0x23_9_bit0 -x_0x23_39_0x23_10_bit0 -x_0x23_39_0x23_11_bit0 -x_0x23_39_0x23_12_bit0 -x_0x23_39_0x23_13_bit0 -x_0x23_39_0x23_14_bit0 -x_0x23_39_0x23_15_bit0 -x_0x23_39_0x23_16_bit0 -x_0x23_39_0x23_17_bit0 -x_0x23_39_0x23_18_bit0 -x_0x23_39_0x23_19_bit0 -x_0x23_39_0x23_1_bit0 -x_0x23_39_0x23_20_bit0 -x_0x23_39_0x23_21_bit0 -x_0x23_39_0x23_22_bit0 -x_0x23_39_0x23_23_bit0 -x_0x23_39_0x23_24_bit0 -x_0x23_39_0x23_25_bit0 -x_0x23_39_0x23_26_bit0 -x_0x23_39_0x23_27_bit0 x_0x23_39_0x23_28_bit0 -x_0x23_39_0x23_29_bit0 -x_0x23_39_0x23_2_bit0 -x_0x23_39_0x23_30_bit0 -x_0x23_39_0x23_31_bit0 -x_0x23_39_0x23_32_bit0 -x_0x23_39_0x23_33_bit0 -x_0x23_39_0x23_34_bit0 -x_0x23_39_0x23_35_bit0 -x_0x23_39_0x23_3_bit0 -x_0x23_39_0x23_4_bit0 -x_0x23_39_0x23_5_bit0 -x_0x23_39_0x23_6_bit0 -x_0x23_39_0x23_7_bit0 -x_0x23_39_0x23_8_bit0 -x_0x23_39_0x23_9_bit0 -x_0x23_3_0x23_10_bit0 -x_0x23_3_0x23_11_bit0 -x_0x23_3_0x23_12_bit0 -x_0x23_3_0x23_13_bit0 -x_0x23_3_0x23_14_bit0 -x_0x23_3_0x23_15_bit0 -x_0x23_3_0x23_16_bit0 -x_0x23_3_0x23_17_bit0 -x_0x23_3_0x23_18_bit0 -x_0x23_3_0x23_19_bit0 -x_0x23_3_0x23_1_bit0 -x_0x23_3_0x23_20_bit0 -x_0x23_3_0x23_21_bit0 -x_0x23_3_0x23_22_bit0 -x_0x23_3_0x23_23_bit0 -x_0x23_3_0x23_24_bit0 -x_0x23_3_0x23_25_bit0 -x_0x23_3_0x23_26_bit0 -x_0x23_3_0x23_27_bit0 -x_0x23_3_0x23_28_bit0 -x_0x23_3_0x23_29_bit0 -x_0x23_3_0x23_2_bit0 -x_0x23_3_0x23_30_bit0 -x_0x23_3_0x23_31_bit0 -x_0x23_3_0x23_32_bit0 -x_0x23_3_0x23_33_bit0 -x_0x23_3_0x23_34_bit0 -x_0x23_3_0x23_35_bit0 -x_0x23_3_0x23_3_bit0 -x_0x23_3_0x23_4_bit0 -x_0x23_3_0x23_5_bit0 -x_0x23_3_0x23_6_bit0 -x_0x23_3_0x23_7_bit0 -x_0x23_3_0x23_8_bit0 -x_0x23_3_0x23_9_bit0 -x_0x23_40_0x23_10_bit0 -x_0x23_40_0x23_11_bit0 -x_0x23_40_0x23_12_bit0 -x_0x23_40_0x23_13_bit0 -x_0x23_40_0x23_14_bit0 -x_0x23_40_0x23_15_bit0 -x_0x23_40_0x23_16_bit0 -x_0x23_40_0x23_17_bit0 -x_0x23_40_0x23_18_bit0 -x_0x23_40_0x23_19_bit0 -x_0x23_40_0x23_1_bit0 x_0x23_40_0x23_20_bit0 -x_0x23_40_0x23_21_bit0 -x_0x23_40_0x23_22_bit0 -x_0x23_40_0x23_23_bit0 -x_0x23_40_0x23_24_bit0 -x_0x23_40_0x23_25_bit0 -x_0x23_40_0x23_26_bit0 -x_0x23_40_0x23_27_bit0 -x_0x23_40_0x23_28_bit0 -x_0x23_40_0x23_29_bit0 -x_0x23_40_0x23_2_bit0 -x_0x23_40_0x23_30_bit0 -x_0x23_40_0x23_31_bit0 -x_0x23_40_0x23_32_bit0 -x_0x23_40_0x23_33_bit0 -x_0x23_40_0x23_34_bit0 -x_0x23_40_0x23_35_bit0 -x_0x23_40_0x23_3_bit0 -x_0x23_40_0x23_4_bit0 -x_0x23_40_0x23_5_bit0 -x_0x23_40_0x23_6_bit0 -x_0x23_40_0x23_7_bit0 -x_0x23_40_0x23_8_bit0 -x_0x23_40_0x23_9_bit0 -x_0x23_41_0x23_10_bit0 -x_0x23_41_0x23_11_bit0 -x_0x23_41_0x23_12_bit0 -x_0x23_41_0x23_13_bit0 -x_0x23_41_0x23_14_bit0 -x_0x23_41_0x23_15_bit0 -x_0x23_41_0x23_16_bit0 -x_0x23_41_0x23_17_bit0 x_0x23_41_0x23_18_bit0 -x_0x23_41_0x23_19_bit0 -x_0x23_41_0x23_1_bit0 -x_0x23_41_0x23_20_bit0 -x_0x23_41_0x23_21_bit0 -x_0x23_41_0x23_22_bit0 -x_0x23_41_0x23_23_bit0 -x_0x23_41_0x23_24_bit0 -x_0x23_41_0x23_25_bit0 -x_0x23_41_0x23_26_bit0 -x_0x23_41_0x23_27_bit0 -x_0x23_41_0x23_28_bit0 -x_0x23_41_0x23_29_bit0 -x_0x23_41_0x23_2_bit0 -x_0x23_41_0x23_30_bit0 -x_0x23_41_0x23_31_bit0 -x_0x23_41_0x23_32_bit0 -x_0x23_41_0x23_33_bit0 -x_0x23_41_0x23_34_bit0 -x_0x23_41_0x23_35_bit0 -x_0x23_41_0x23_3_bit0 -x_0x23_41_0x23_4_bit0 -x_0x23_41_0x23_5_bit0 -x_0x23_41_0x23_6_bit0 -x_0x23_41_0x23_7_bit0 -x_0x23_41_0x23_8_bit0 -x_0x23_41_0x23_9_bit0 -x_0x23_42_0x23_10_bit0 -x_0x23_42_0x23_11_bit0 -x_0x23_42_0x23_12_bit0 -x_0x23_42_0x23_13_bit0 -x_0x23_42_0x23_14_bit0 -x_0x23_42_0x23_15_bit0 -x_0x23_42_0x23_16_bit0 x_0x23_42_0x23_17_bit0 -x_0x23_42_0x23_18_bit0 -x_0x23_42_0x23_19_bit0 -x_0x23_42_0x23_1_bit0 -x_0x23_42_0x23_20_bit0 -x_0x23_42_0x23_21_bit0 -x_0x23_42_0x23_22_bit0 -x_0x23_42_0x23_23_bit0 -x_0x23_42_0x23_24_bit0 -x_0x23_42_0x23_25_bit0 -x_0x23_42_0x23_26_bit0 -x_0x23_42_0x23_27_bit0 -x_0x23_42_0x23_28_bit0 -x_0x23_42_0x23_29_bit0 -x_0x23_42_0x23_2_bit0 -x_0x23_42_0x23_30_bit0 -x_0x23_42_0x23_31_bit0 -x_0x23_42_0x23_32_bit0 -x_0x23_42_0x23_33_bit0 -x_0x23_42_0x23_34_bit0 -x_0x23_42_0x23_35_bit0 -x_0x23_42_0x23_3_bit0 -x_0x23_42_0x23_4_bit0 -x_0x23_42_0x23_5_bit0 -x_0x23_42_0x23_6_bit0 -x_0x23_42_0x23_7_bit0 -x_0x23_42_0x23_8_bit0 -x_0x23_42_0x23_9_bit0 -x_0x23_43_0x23_10_bit0 -x_0x23_43_0x23_11_bit0 -x_0x23_43_0x23_12_bit0 -x_0x23_43_0x23_13_bit0 -x_0x23_43_0x23_14_bit0 -x_0x23_43_0x23_15_bit0 -x_0x23_43_0x23_16_bit0 -x_0x23_43_0x23_17_bit0 -x_0x23_43_0x23_18_bit0 -x_0x23_43_0x23_19_bit0 -x_0x23_43_0x23_1_bit0 -x_0x23_43_0x23_20_bit0 -x_0x23_43_0x23_21_bit0 -x_0x23_43_0x23_22_bit0 -x_0x23_43_0x23_23_bit0 -x_0x23_43_0x23_24_bit0 -x_0x23_43_0x23_25_bit0 -x_0x23_43_0x23_26_bit0 -x_0x23_43_0x23_27_bit0 -x_0x23_43_0x23_28_bit0 -x_0x23_43_0x23_29_bit0 -x_0x23_43_0x23_2_bit0 -x_0x23_43_0x23_30_bit0 -x_0x23_43_0x23_31_bit0 -x_0x23_43_0x23_32_bit0 -x_0x23_43_0x23_33_bit0 -x_0x23_43_0x23_34_bit0 x_0x23_43_0x23_35_bit0 -x_0x23_43_0x23_3_bit0 -x_0x23_43_0x23_4_bit0 -x_0x23_43_0x23_5_bit0 -x_0x23_43_0x23_6_bit0 -x_0x23_43_0x23_7_bit0 -x_0x23_43_0x23_8_bit0 -x_0x23_43_0x23_9_bit0 -x_0x23_44_0x23_10_bit0 -x_0x23_44_0x23_11_bit0 -x_0x23_44_0x23_12_bit0 -x_0x23_44_0x23_13_bit0 -x_0x23_44_0x23_14_bit0 -x_0x23_44_0x23_15_bit0 -x_0x23_44_0x23_16_bit0 -x_0x23_44_0x23_17_bit0 -x_0x23_44_0x23_18_bit0 -x_0x23_44_0x23_19_bit0 -x_0x23_44_0x23_1_bit0 -x_0x23_44_0x23_20_bit0 -x_0x23_44_0x23_21_bit0 -x_0x23_44_0x23_22_bit0 -x_0x23_44_0x23_23_bit0 -x_0x23_44_0x23_24_bit0 -x_0x23_44_0x23_25_bit0 -x_0x23_44_0x23_26_bit0 -x_0x23_44_0x23_27_bit0 -x_0x23_44_0x23_28_bit0 -x_0x23_44_0x23_29_bit0 -x_0x23_44_0x23_2_bit0 -x_0x23_44_0x23_30_bit0 -x_0x23_44_0x23_31_bit0 -x_0x23_44_0x23_32_bit0 -x_0x23_44_0x23_33_bit0 x_0x23_44_0x23_34_bit0 -x_0x23_44_0x23_35_bit0 -x_0x23_44_0x23_3_bit0 -x_0x23_44_0x23_4_bit0 -x_0x23_44_0x23_5_bit0 -x_0x23_44_0x23_6_bit0 -x_0x23_44_0x23_7_bit0 -x_0x23_44_0x23_8_bit0 -x_0x23_44_0x23_9_bit0 -x_0x23_45_0x23_10_bit0 -x_0x23_45_0x23_11_bit0 -x_0x23_45_0x23_12_bit0 -x_0x23_45_0x23_13_bit0 -x_0x23_45_0x23_14_bit0 -x_0x23_45_0x23_15_bit0 -x_0x23_45_0x23_16_bit0 -x_0x23_45_0x23_17_bit0 -x_0x23_45_0x23_18_bit0 -x_0x23_45_0x23_19_bit0 -x_0x23_45_0x23_1_bit0 -x_0x23_45_0x23_20_bit0 -x_0x23_45_0x23_21_bit0 -x_0x23_45_0x23_22_bit0 -x_0x23_45_0x23_23_bit0 -x_0x23_45_0x23_24_bit0 -x_0x23_45_0x23_25_bit0 -x_0x23_45_0x23_26_bit0 -x_0x23_45_0x23_27_bit0 -x_0x23_45_0x23_28_bit0 -x_0x23_45_0x23_29_bit0 -x_0x23_45_0x23_2_bit0 -x_0x23_45_0x23_30_bit0 x_0x23_45_0x23_31_bit0 -x_0x23_45_0x23_32_bit0 -x_0x23_45_0x23_33_bit0 -x_0x23_45_0x23_34_bit0 -x_0x23_45_0x23_35_bit0 -x_0x23_45_0x23_3_bit0 -x_0x23_45_0x23_4_bit0 -x_0x23_45_0x23_5_bit0 -x_0x23_45_0x23_6_bit0 -x_0x23_45_0x23_7_bit0 -x_0x23_45_0x23_8_bit0 -x_0x23_45_0x23_9_bit0 -x_0x23_46_0x23_10_bit0 -x_0x23_46_0x23_11_bit0 -x_0x23_46_0x23_12_bit0 -x_0x23_46_0x23_13_bit0 -x_0x23_46_0x23_14_bit0 -x_0x23_46_0x23_15_bit0 -x_0x23_46_0x23_16_bit0 -x_0x23_46_0x23_17_bit0 -x_0x23_46_0x23_18_bit0 -x_0x23_46_0x23_19_bit0 -x_0x23_46_0x23_1_bit0 -x_0x23_46_0x23_20_bit0 -x_0x23_46_0x23_21_bit0 -x_0x23_46_0x23_22_bit0 -x_0x23_46_0x23_23_bit0 -x_0x23_46_0x23_24_bit0 -x_0x23_46_0x23_25_bit0 -x_0x23_46_0x23_26_bit0 -x_0x23_46_0x23_27_bit0 -x_0x23_46_0x23_28_bit0 x_0x23_46_0x23_29_bit0 -x_0x23_46_0x23_2_bit0 -x_0x23_46_0x23_30_bit0 -x_0x23_46_0x23_31_bit0 -x_0x23_46_0x23_32_bit0 -x_0x23_46_0x23_33_bit0 -x_0x23_46_0x23_34_bit0 -x_0x23_46_0x23_35_bit0 -x_0x23_46_0x23_3_bit0 -x_0x23_46_0x23_4_bit0 -x_0x23_46_0x23_5_bit0 -x_0x23_46_0x23_6_bit0 -x_0x23_46_0x23_7_bit0 -x_0x23_46_0x23_8_bit0 -x_0x23_46_0x23_9_bit0 -x_0x23_47_0x23_10_bit0 -x_0x23_47_0x23_11_bit0 -x_0x23_47_0x23_12_bit0 -x_0x23_47_0x23_13_bit0 -x_0x23_47_0x23_14_bit0 -x_0x23_47_0x23_15_bit0 -x_0x23_47_0x23_16_bit0 -x_0x23_47_0x23_17_bit0 -x_0x23_47_0x23_18_bit0 -x_0x23_47_0x23_19_bit0 -x_0x23_47_0x23_1_bit0 -x_0x23_47_0x23_20_bit0 -x_0x23_47_0x23_21_bit0 -x_0x23_47_0x23_22_bit0 -x_0x23_47_0x23_23_bit0 -x_0x23_47_0x23_24_bit0 -x_0x23_47_0x23_25_bit0 -x_0x23_47_0x23_26_bit0 -x_0x23_47_0x23_27_bit0 -x_0x23_47_0x23_28_bit0 -x_0x23_47_0x23_29_bit0 -x_0x23_47_0x23_2_bit0 -x_0x23_47_0x23_30_bit0 -x_0x23_47_0x23_31_bit0 -x_0x23_47_0x23_32_bit0 -x_0x23_47_0x23_33_bit0 -x_0x23_47_0x23_34_bit0 -x_0x23_47_0x23_35_bit0 -x_0x23_47_0x23_3_bit0 -x_0x23_47_0x23_4_bit0 -x_0x23_47_0x23_5_bit0 -x_0x23_47_0x23_6_bit0 -x_0x23_47_0x23_7_bit0 -x_0x23_47_0x23_8_bit0 -x_0x23_47_0x23_9_bit0 -x_0x23_48_0x23_10_bit0 -x_0x23_48_0x23_11_bit0 -x_0x23_48_0x23_12_bit0 -x_0x23_48_0x23_13_bit0 -x_0x23_48_0x23_14_bit0 -x_0x23_48_0x23_15_bit0 -x_0x23_48_0x23_16_bit0 -x_0x23_48_0x23_17_bit0 -x_0x23_48_0x23_18_bit0 x_0x23_48_0x23_19_bit0 -x_0x23_48_0x23_1_bit0 -x_0x23_48_0x23_20_bit0 -x_0x23_48_0x23_21_bit0 -x_0x23_48_0x23_22_bit0 -x_0x23_48_0x23_23_bit0 -x_0x23_48_0x23_24_bit0 -x_0x23_48_0x23_25_bit0 -x_0x23_48_0x23_26_bit0 -x_0x23_48_0x23_27_bit0 -x_0x23_48_0x23_28_bit0 -x_0x23_48_0x23_29_bit0 -x_0x23_48_0x23_2_bit0 -x_0x23_48_0x23_30_bit0 -x_0x23_48_0x23_31_bit0 -x_0x23_48_0x23_32_bit0 -x_0x23_48_0x23_33_bit0 -x_0x23_48_0x23_34_bit0 -x_0x23_48_0x23_35_bit0 -x_0x23_48_0x23_3_bit0 -x_0x23_48_0x23_4_bit0 -x_0x23_48_0x23_5_bit0 -x_0x23_48_0x23_6_bit0 -x_0x23_48_0x23_7_bit0 -x_0x23_48_0x23_8_bit0 -x_0x23_48_0x23_9_bit0 -x_0x23_49_0x23_10_bit0 -x_0x23_49_0x23_11_bit0 -x_0x23_49_0x23_12_bit0 -x_0x23_49_0x23_13_bit0 -x_0x23_49_0x23_14_bit0 -x_0x23_49_0x23_15_bit0 -x_0x23_49_0x23_16_bit0 -x_0x23_49_0x23_17_bit0 -x_0x23_49_0x23_18_bit0 -x_0x23_49_0x23_19_bit0 -x_0x23_49_0x23_1_bit0 -x_0x23_49_0x23_20_bit0 -x_0x23_49_0x23_21_bit0 -x_0x23_49_0x23_22_bit0 -x_0x23_49_0x23_23_bit0 -x_0x23_49_0x23_24_bit0 -x_0x23_49_0x23_25_bit0 -x_0x23_49_0x23_26_bit0 -x_0x23_49_0x23_27_bit0 -x_0x23_49_0x23_28_bit0 -x_0x23_49_0x23_29_bit0 -x_0x23_49_0x23_2_bit0 -x_0x23_49_0x23_30_bit0 -x_0x23_49_0x23_31_bit0 -x_0x23_49_0x23_32_bit0 -x_0x23_49_0x23_33_bit0 -x_0x23_49_0x23_34_bit0 -x_0x23_49_0x23_35_bit0 -x_0x23_49_0x23_3_bit0 -x_0x23_49_0x23_4_bit0 -x_0x23_49_0x23_5_bit0 -x_0x23_49_0x23_6_bit0 -x_0x23_49_0x23_7_bit0 -x_0x23_49_0x23_8_bit0 -x_0x23_49_0x23_9_bit0 -x_0x23_4_0x23_10_bit0 -x_0x23_4_0x23_11_bit0 -x_0x23_4_0x23_12_bit0 -x_0x23_4_0x23_13_bit0 -x_0x23_4_0x23_14_bit0 -x_0x23_4_0x23_15_bit0 -x_0x23_4_0x23_16_bit0 -x_0x23_4_0x23_17_bit0 -x_0x23_4_0x23_18_bit0 -x_0x23_4_0x23_19_bit0 -x_0x23_4_0x23_1_bit0 -x_0x23_4_0x23_20_bit0 -x_0x23_4_0x23_21_bit0 -x_0x23_4_0x23_22_bit0 -x_0x23_4_0x23_23_bit0 -x_0x23_4_0x23_24_bit0 -x_0x23_4_0x23_25_bit0 -x_0x23_4_0x23_26_bit0 -x_0x23_4_0x23_27_bit0 -x_0x23_4_0x23_28_bit0 -x_0x23_4_0x23_29_bit0 -x_0x23_4_0x23_2_bit0 -x_0x23_4_0x23_30_bit0 -x_0x23_4_0x23_31_bit0 -x_0x23_4_0x23_32_bit0 -x_0x23_4_0x23_33_bit0 -x_0x23_4_0x23_34_bit0 -x_0x23_4_0x23_35_bit0 -x_0x23_4_0x23_3_bit0 -x_0x23_4_0x23_4_bit0 -x_0x23_4_0x23_5_bit0 -x_0x23_4_0x23_6_bit0 -x_0x23_4_0x23_7_bit0 -x_0x23_4_0x23_8_bit0 -x_0x23_4_0x23_9_bit0 -x_0x23_5_0x23_10_bit0 -x_0x23_5_0x23_11_bit0 x_0x23_5_0x23_12_bit0 -x_0x23_5_0x23_13_bit0 -x_0x23_5_0x23_14_bit0 -x_0x23_5_0x23_15_bit0 -x_0x23_5_0x23_16_bit0 -x_0x23_5_0x23_17_bit0 -x_0x23_5_0x23_18_bit0 -x_0x23_5_0x23_19_bit0 -x_0x23_5_0x23_1_bit0 -x_0x23_5_0x23_20_bit0 -x_0x23_5_0x23_21_bit0 -x_0x23_5_0x23_22_bit0 -x_0x23_5_0x23_23_bit0 -x_0x23_5_0x23_24_bit0 -x_0x23_5_0x23_25_bit0 -x_0x23_5_0x23_26_bit0 -x_0x23_5_0x23_27_bit0 -x_0x23_5_0x23_28_bit0 -x_0x23_5_0x23_29_bit0 -x_0x23_5_0x23_2_bit0 -x_0x23_5_0x23_30_bit0 -x_0x23_5_0x23_31_bit0 -x_0x23_5_0x23_32_bit0 -x_0x23_5_0x23_33_bit0 -x_0x23_5_0x23_34_bit0 -x_0x23_5_0x23_35_bit0 -x_0x23_5_0x23_3_bit0 -x_0x23_5_0x23_4_bit0 -x_0x23_5_0x23_5_bit0 -x_0x23_5_0x23_6_bit0 -x_0x23_5_0x23_7_bit0 -x_0x23_5_0x23_8_bit0 -x_0x23_5_0x23_9_bit0 -x_0x23_6_0x23_10_bit0 -x_0x23_6_0x23_11_bit0 -x_0x23_6_0x23_12_bit0 -x_0x23_6_0x23_13_bit0 -x_0x23_6_0x23_14_bit0 -x_0x23_6_0x23_15_bit0 -x_0x23_6_0x23_16_bit0 -x_0x23_6_0x23_17_bit0 -x_0x23_6_0x23_18_bit0 -x_0x23_6_0x23_19_bit0 -x_0x23_6_0x23_1_bit0 -x_0x23_6_0x23_20_bit0 -x_0x23_6_0x23_21_bit0 -x_0x23_6_0x23_22_bit0 -x_0x23_6_0x23_23_bit0 -x_0x23_6_0x23_24_bit0 -x_0x23_6_0x23_25_bit0 -x_0x23_6_0x23_26_bit0 -x_0x23_6_0x23_27_bit0 -x_0x23_6_0x23_28_bit0 -x_0x23_6_0x23_29_bit0 -x_0x23_6_0x23_2_bit0 -x_0x23_6_0x23_30_bit0 -x_0x23_6_0x23_31_bit0 -x_0x23_6_0x23_32_bit0 -x_0x23_6_0x23_33_bit0 -x_0x23_6_0x23_34_bit0 -x_0x23_6_0x23_35_bit0 -x_0x23_6_0x23_3_bit0 -x_0x23_6_0x23_4_bit0 -x_0x23_6_0x23_5_bit0 -x_0x23_6_0x23_6_bit0 -x_0x23_6_0x23_7_bit0 -x_0x23_6_0x23_8_bit0 -x_0x23_6_0x23_9_bit0 -x_0x23_7_0x23_10_bit0 -x_0x23_7_0x23_11_bit0 -x_0x23_7_0x23_12_bit0 -x_0x23_7_0x23_13_bit0 -x_0x23_7_0x23_14_bit0 -x_0x23_7_0x23_15_bit0 -x_0x23_7_0x23_16_bit0 -x_0x23_7_0x23_17_bit0 -x_0x23_7_0x23_18_bit0 -x_0x23_7_0x23_19_bit0 -x_0x23_7_0x23_1_bit0 -x_0x23_7_0x23_20_bit0 -x_0x23_7_0x23_21_bit0 -x_0x23_7_0x23_22_bit0 -x_0x23_7_0x23_23_bit0 -x_0x23_7_0x23_24_bit0 -x_0x23_7_0x23_25_bit0 -x_0x23_7_0x23_26_bit0 -x_0x23_7_0x23_27_bit0 -x_0x23_7_0x23_28_bit0 -x_0x23_7_0x23_29_bit0 -x_0x23_7_0x23_2_bit0 -x_0x23_7_0x23_30_bit0 -x_0x23_7_0x23_31_bit0 -x_0x23_7_0x23_32_bit0 -x_0x23_7_0x23_33_bit0 -x_0x23_7_0x23_34_bit0 -x_0x23_7_0x23_35_bit0 -x_0x23_7_0x23_3_bit0 -x_0x23_7_0x23_4_bit0 -x_0x23_7_0x23_5_bit0 -x_0x23_7_0x23_6_bit0 -x_0x23_7_0x23_7_bit0 -x_0x23_7_0x23_8_bit0 -x_0x23_7_0x23_9_bit0 -x_0x23_8_0x23_10_bit0 -x_0x23_8_0x23_11_bit0 -x_0x23_8_0x23_12_bit0 -x_0x23_8_0x23_13_bit0 -x_0x23_8_0x23_14_bit0 -x_0x23_8_0x23_15_bit0 -x_0x23_8_0x23_16_bit0 -x_0x23_8_0x23_17_bit0 -x_0x23_8_0x23_18_bit0 -x_0x23_8_0x23_19_bit0 -x_0x23_8_0x23_1_bit0 -x_0x23_8_0x23_20_bit0 -x_0x23_8_0x23_21_bit0 -x_0x23_8_0x23_22_bit0 -x_0x23_8_0x23_23_bit0 -x_0x23_8_0x23_24_bit0 -x_0x23_8_0x23_25_bit0 -x_0x23_8_0x23_26_bit0 -x_0x23_8_0x23_27_bit0 -x_0x23_8_0x23_28_bit0 -x_0x23_8_0x23_29_bit0 -x_0x23_8_0x23_2_bit0 -x_0x23_8_0x23_30_bit0 -x_0x23_8_0x23_31_bit0 -x_0x23_8_0x23_32_bit0 -x_0x23_8_0x23_33_bit0 -x_0x23_8_0x23_34_bit0 -x_0x23_8_0x23_35_bit0 -x_0x23_8_0x23_3_bit0 -x_0x23_8_0x23_4_bit0 -x_0x23_8_0x23_5_bit0 -x_0x23_8_0x23_6_bit0 -x_0x23_8_0x23_7_bit0 -x_0x23_8_0x23_8_bit0 -x_0x23_8_0x23_9_bit0 -x_0x23_9_0x23_10_bit0 -x_0x23_9_0x23_11_bit0 -x_0x23_9_0x23_12_bit0 -x_0x23_9_0x23_13_bit0 -x_0x23_9_0x23_14_bit0 -x_0x23_9_0x23_15_bit0 -x_0x23_9_0x23_16_bit0 -x_0x23_9_0x23_17_bit0 -x_0x23_9_0x23_18_bit0 -x_0x23_9_0x23_19_bit0 -x_0x23_9_0x23_1_bit0 -x_0x23_9_0x23_20_bit0 -x_0x23_9_0x23_21_bit0 -x_0x23_9_0x23_22_bit0 -x_0x23_9_0x23_23_bit0 -x_0x23_9_0x23_24_bit0 -x_0x23_9_0x23_25_bit0 -x_0x23_9_0x23_26_bit0 -x_0x23_9_0x23_27_bit0 -x_0x23_9_0x23_28_bit0 -x_0x23_9_0x23_29_bit0 -x_0x23_9_0x23_2_bit0 -x_0x23_9_0x23_30_bit0 -x_0x23_9_0x23_31_bit0 -x_0x23_9_0x23_32_bit0 -x_0x23_9_0x23_33_bit0 -x_0x23_9_0x23_34_bit0 -x_0x23_9_0x23_35_bit0 -x_0x23_9_0x23_3_bit0 -x_0x23_9_0x23_4_bit0 -x_0x23_9_0x23_5_bit0 x_0x23_9_0x23_6_bit0 -x_0x23_9_0x23_7_bit0 -x_0x23_9_0x23_8_bit0 -x_0x23_9_0x23_9_bit0 #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Enforcing Stack size limit: 67108864 bytes Current StackSize limit: 67108864 bytes Raw data (loadavg): 0.84 0.94 0.90 2/54 17520 Raw data (stat): 17520 (runsolver) R 17519 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 972395381 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 216 94 205 205 0 11 0 vsize: 864 [startup+10.0003 s] Raw data (loadavg): 0.87 0.94 0.90 2/54 17520 Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 13346 0 0 0 970 29 0 0 25 0 1 0 972395381 43327488 7450 4294967295 134512640 135730672 3221224576 3221222704 134739213 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 10578 7450 301 301 0 10277 0 vsize: 42312 [startup+20.001 s] Raw data (loadavg): 0.89 0.94 0.90 2/54 17520 Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 13923 0 0 0 1967 32 0 0 25 0 1 0 972395381 45928448 8027 4294967295 134512640 135730672 3221224576 3221222992 134748214 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11213 8027 301 301 0 10912 0 vsize: 44852 [startup+30.0008 s] Raw data (loadavg): 0.90 0.94 0.90 2/54 17520 Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 14274 0 0 0 2964 35 0 0 25 0 1 0 972395381 47669248 8378 4294967295 134512640 135730672 3221224576 3221222992 134748249 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 11638 8378 301 301 0 11337 0 vsize: 46552 [startup+40.0016 s] Raw data (loadavg): 0.92 0.94 0.90 2/54 17520 Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 14667 0 0 0 3962 37 0 0 25 0 1 0 972395381 49479680 8771 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12080 8771 301 301 0 11779 0 vsize: 48320 [startup+50.0023 s] Raw data (loadavg): 0.93 0.94 0.90 2/54 17520 Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 14844 0 0 0 4961 39 0 0 25 0 1 0 972395381 50143232 8948 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12242 8948 301 301 0 11941 0 vsize: 48968 [startup+60.0021 s] Raw data (loadavg): 0.94 0.95 0.90 2/54 17522 Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 15017 0 0 0 5959 40 0 0 25 0 1 0 972395381 50745344 9121 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12389 9121 301 301 0 12088 0 vsize: 49556 [startup+70.0028 s] Raw data (loadavg): 0.95 0.95 0.91 2/54 17522 Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 15143 0 0 0 6957 42 0 0 25 0 1 0 972395381 51347456 9247 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12536 9247 301 301 0 12235 0 vsize: 50144 [startup+80.0035 s] Raw data (loadavg): 0.96 0.95 0.91 2/54 17522 Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 15197 0 0 0 7956 44 0 0 25 0 1 0 972395381 51544064 9301 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12584 9301 301 301 0 12283 0 vsize: 50336 [startup+90.0043 s] Raw data (loadavg): 0.96 0.95 0.91 2/54 17522 Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 15237 0 0 0 8954 46 0 0 25 0 1 0 972395381 51544064 9341 4294967295 134512640 135730672 3221224576 3221222864 134747599 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12584 9341 301 301 0 12283 0 vsize: 50336 [startup+100.004 s] Raw data (loadavg): 0.97 0.95 0.91 2/54 17522 Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 15272 0 0 0 9953 47 0 0 25 0 1 0 972395381 51544064 9376 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12584 9376 301 301 0 12283 0 vsize: 50336 [startup+110.004 s] Raw data (loadavg): 0.97 0.95 0.91 2/54 17522 Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 15334 0 0 0 10952 48 0 0 25 0 1 0 972395381 51679232 9438 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12617 9438 301 301 0 12316 0 vsize: 50468 [startup+120.005 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 17522 Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 15591 0 0 0 11950 50 0 0 25 0 1 0 972395381 52011008 9522 4294967295 134512640 135730672 3221224576 3221222992 134783353 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12698 9522 301 301 0 12397 0 vsize: 50792 [startup+130.004 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 17522 Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 15635 0 0 0 12948 52 0 0 25 0 1 0 972395381 52146176 9566 4294967295 134512640 135730672 3221224576 3221222864 134747592 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12731 9566 301 301 0 12430 0 vsize: 50924 [startup+140.005 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 17522 Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 15835 0 0 0 13947 54 0 0 25 0 1 0 972395381 52281344 9593 4294967295 134512640 135730672 3221224576 3221222864 134747566 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12764 9593 301 301 0 12463 0 vsize: 51056 [startup+150.011 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 17522 Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 16036 0 0 0 14946 56 0 0 25 0 1 0 972395381 52416512 9621 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12797 9621 301 301 0 12496 0 vsize: 51188 [startup+160.012 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 17522 Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 16266 0 0 0 15945 57 0 0 25 0 1 0 972395381 52551680 9678 4294967295 134512640 135730672 3221224576 3221222688 134732532 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12830 9678 301 301 0 12529 0 vsize: 51320 [startup+170.012 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 17522 Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 16605 0 0 0 16943 59 0 0 25 0 1 0 972395381 52551680 9844 4294967295 134512640 135730672 3221224576 3221223024 134734847 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12830 9844 301 301 0 12529 0 vsize: 51320 [startup+180.012 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 17522 Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 16813 0 0 0 17941 61 0 0 25 0 1 0 972395381 52686848 9879 4294967295 134512640 135730672 3221224576 3221222864 134747592 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12863 9879 301 301 0 12562 0 vsize: 51452 [startup+190.014 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 17522 Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 16991 0 0 0 18940 62 0 0 25 0 1 0 972395381 52686848 9884 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12863 9884 301 301 0 12562 0 vsize: 51452 [startup+200.013 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 17522 Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 17187 0 0 0 19939 64 0 0 25 0 1 0 972395381 52822016 9907 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12896 9907 301 301 0 12595 0 vsize: 51584 [startup+210.014 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 17522 Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 17449 0 0 0 20938 65 0 0 25 0 1 0 972395381 53227520 9996 4294967295 134512640 135730672 3221224576 3221222848 134732674 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12995 9996 301 301 0 12694 0 vsize: 51980 [startup+220.014 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 17522 Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 17665 0 0 0 21936 67 0 0 25 0 1 0 972395381 53227520 10039 4294967295 134512640 135730672 3221224576 3221222964 134747444 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12995 10039 301 301 0 12694 0 vsize: 51980 [startup+230.015 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 17522 Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 17695 0 0 0 22934 68 0 0 25 0 1 0 972395381 53227520 10069 4294967295 134512640 135730672 3221224576 3221222864 134747570 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12995 10069 301 301 0 12694 0 vsize: 51980 [startup+240.016 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 17522 Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 17883 0 0 0 23933 70 0 0 25 0 1 0 972395381 53227520 10084 4294967295 134512640 135730672 3221224576 3221222864 134747970 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12995 10084 301 301 0 12694 0 vsize: 51980 [startup+250.016 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 17522 Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 18062 0 0 0 24932 71 0 0 25 0 1 0 972395381 53227520 10090 4294967295 134512640 135730672 3221224576 3221222864 134747811 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12995 10090 301 301 0 12694 0 vsize: 51980 [startup+260.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17522 Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 18240 0 0 0 25930 73 0 0 25 0 1 0 972395381 53227520 10095 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12995 10095 301 301 0 12694 0 vsize: 51980 [startup+270.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17522 Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 18249 0 0 0 26929 74 0 0 25 0 1 0 972395381 53227520 10104 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12995 10104 301 301 0 12694 0 vsize: 51980 [startup+280.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17522 Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 18442 0 0 0 27927 76 0 0 25 0 1 0 972395381 53362688 10124 4294967295 134512640 135730672 3221224576 3221222880 135282415 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13028 10124 301 301 0 12727 0 vsize: 52112 [startup+290.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17522 Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 18661 0 0 0 28926 78 0 0 25 0 1 0 972395381 53633024 10170 4294967295 134512640 135730672 3221224576 3221223016 134748061 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13094 10170 301 301 0 12793 0 vsize: 52376 [startup+300.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17522 Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 18681 0 0 0 29924 79 0 0 25 0 1 0 972395381 53768192 10190 4294967295 134512640 135730672 3221224576 3221222864 134747539 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13127 10190 301 301 0 12826 0 vsize: 52508 [startup+310.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17522 Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 18861 0 0 0 30923 81 0 0 25 0 1 0 972395381 53768192 10197 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13127 10197 301 301 0 12826 0 vsize: 52508 [startup+320.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17522 Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 18902 0 0 0 31921 82 0 0 25 0 1 0 972395381 53903360 10238 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13160 10238 301 301 0 12859 0 vsize: 52640 [startup+330.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17522 Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 19112 0 0 0 32920 84 0 0 25 0 1 0 972395381 54235136 10275 4294967295 134512640 135730672 3221224576 3221222992 134748094 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13241 10275 301 301 0 12940 0 vsize: 52964 [startup+340.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17524 Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 19289 0 0 0 33917 86 0 0 25 0 1 0 972395381 54235136 10279 4294967295 134512640 135730672 3221224576 3221222864 134747519 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13241 10279 301 301 0 12940 0 vsize: 52964 [startup+350.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17524 Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 19487 0 0 0 34915 89 0 0 25 0 1 0 972395381 54235136 10304 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13241 10304 301 301 0 12940 0 vsize: 52964 [startup+360.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17524 Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 19687 0 0 0 35914 90 0 0 25 0 1 0 972395381 54370304 10331 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13274 10331 301 301 0 12973 0 vsize: 53096 [startup+370.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17524 Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 19719 0 0 0 36912 92 0 0 25 0 1 0 972395381 54566912 10363 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13322 10363 301 301 0 13021 0 vsize: 53288 [startup+380.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17524 Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 19910 0 0 0 37911 94 0 0 25 0 1 0 972395381 54566912 10381 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13322 10381 301 301 0 13021 0 vsize: 53288 [startup+390.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17524 Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 20088 0 0 0 38909 95 0 0 25 0 1 0 972395381 54566912 10386 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13322 10386 301 301 0 13021 0 vsize: 53288 [startup+400.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17524 Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 20265 0 0 0 39907 98 0 0 25 0 1 0 972395381 54566912 10390 4294967295 134512640 135730672 3221224576 3221222864 134747584 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13322 10390 301 301 0 13021 0 vsize: 53288 [startup+410.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17524 Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 20272 0 0 0 40906 99 0 0 25 0 1 0 972395381 54566912 10397 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13322 10397 301 301 0 13021 0 vsize: 53288 [startup+420.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17524 Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 20453 0 0 0 41904 101 0 0 25 0 1 0 972395381 54566912 10405 4294967295 134512640 135730672 3221224576 3221222732 135291103 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13322 10405 301 301 0 13021 0 vsize: 53288 [startup+430.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17524 Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 20663 0 0 0 42903 102 0 0 25 0 1 0 972395381 54763520 10442 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13370 10442 301 301 0 13069 0 vsize: 53480 [startup+440.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17524 Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 20896 0 0 0 43902 103 0 0 25 0 1 0 972395381 54763520 10502 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13370 10502 301 301 0 13069 0 vsize: 53480 [startup+450.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17524 Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 20898 0 0 0 44900 105 0 0 25 0 1 0 972395381 54763520 10504 4294967295 134512640 135730672 3221224576 3221222864 134747460 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13370 10504 301 301 0 13069 0 vsize: 53480 [startup+460.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17524 Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 21075 0 0 0 45899 106 0 0 25 0 1 0 972395381 54763520 10508 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13370 10508 301 301 0 13069 0 vsize: 53480 [startup+470.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17524 Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 21325 0 0 0 46898 108 0 0 25 0 1 0 972395381 54763520 10585 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13370 10585 301 301 0 13069 0 vsize: 53480 [startup+480.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17524 Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 21600 0 0 0 47896 109 0 0 25 0 1 0 972395381 54763520 10687 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13370 10687 301 301 0 13069 0 vsize: 53480 [startup+490.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17524 Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 21861 0 0 0 48894 111 0 0 25 0 1 0 972395381 55070720 10775 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13445 10775 301 301 0 13144 0 vsize: 53780 [startup+500.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17524 Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 22120 0 0 0 49892 113 0 0 25 0 1 0 972395381 55476224 10861 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13544 10861 301 301 0 13243 0 vsize: 54176 [startup+510.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17524 Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 22125 0 0 0 50891 115 0 0 25 0 1 0 972395381 55476224 10866 4294967295 134512640 135730672 3221224576 3221223036 134748650 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13544 10866 301 301 0 13243 0 vsize: 54176 [startup+520.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17524 Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 22301 0 0 0 51890 116 0 0 25 0 1 0 972395381 55476224 10869 4294967295 134512640 135730672 3221224576 3221222848 134732772 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13544 10869 301 301 0 13243 0 vsize: 54176 [startup+530.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17524 Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 22483 0 0 0 52888 118 0 0 25 0 1 0 972395381 55476224 10878 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13544 10878 301 301 0 13243 0 vsize: 54176 [startup+540.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17524 Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 22489 0 0 0 53888 119 0 0 25 0 1 0 972395381 55476224 10884 4294967295 134512640 135730672 3221224576 3221222988 134748215 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13544 10884 301 301 0 13243 0 vsize: 54176 [startup+550.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17524 Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 22684 0 0 0 54886 120 0 0 25 0 1 0 972395381 55611392 10906 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13577 10906 301 301 0 13276 0 vsize: 54308 [startup+560.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17524 Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 22909 0 0 0 55885 122 0 0 25 0 1 0 972395381 55775232 10958 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13617 10958 301 301 0 13316 0 vsize: 54468 [startup+570.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17524 Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 23087 0 0 0 56884 123 0 0 25 0 1 0 972395381 55775232 10963 4294967295 134512640 135730672 3221224576 3221223024 134734759 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 13617 10963 301 301 0 13316 0 vsize: 54468 [startup+580.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17524 Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 23277 0 0 0 57883 124 0 0 25 0 1 0 972395381 64163840 10980 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 15665 10980 301 301 0 15364 0 vsize: 62660 [startup+590.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17524 Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 23597 0 0 0 58882 125 0 0 25 0 1 0 972395381 64163840 11127 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 15665 11127 301 301 0 15364 0 vsize: 62660 [startup+600.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17524 Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 23918 0 0 0 59881 127 0 0 25 0 1 0 972395381 64163840 11275 4294967295 134512640 135730672 3221224576 3221222992 134748143 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 15665 11275 301 301 0 15364 0 vsize: 62660 [startup+610.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17524 Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 24366 0 0 0 60880 128 0 0 25 0 1 0 972395381 64294912 11377 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 15697 11377 301 301 0 15396 0 vsize: 62788 [startup+620.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17524 Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 24552 0 0 0 61879 128 0 0 25 0 1 0 972395381 64294912 11390 4294967295 134512640 135730672 3221224576 3221222880 135282963 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 15697 11390 301 301 0 15396 0 vsize: 62788 [startup+630.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17524 Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 24650 0 0 0 62879 129 0 0 25 0 1 0 972395381 65273856 11488 4294967295 134512640 135730672 3221224576 3221222704 134767241 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 15936 11498 301 301 0 15635 0 vsize: 63744 [startup+640.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17524 Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 24768 0 0 0 63878 130 0 0 25 0 1 0 972395381 64565248 11433 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 15763 11433 301 301 0 15462 0 vsize: 63052 [startup+650.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17524 Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 24944 0 0 0 64877 132 0 0 25 0 1 0 972395381 64565248 11436 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 15763 11436 301 301 0 15462 0 vsize: 63052 [startup+660.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17524 Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 25007 0 0 0 65875 133 0 0 25 0 1 0 972395381 64864256 11499 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 15836 11499 301 301 0 15535 0 vsize: 63344 [startup+670.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17524 Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 25182 0 0 0 66874 135 0 0 25 0 1 0 972395381 64864256 11501 4294967295 134512640 135730672 3221224576 3221222864 134747592 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 15836 11501 301 301 0 15535 0 vsize: 63344 [startup+680.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17524 Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 25360 0 0 0 67873 136 0 0 25 0 1 0 972395381 64864256 11506 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 15836 11506 301 301 0 15535 0 vsize: 63344 [startup+690.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17524 Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 25364 0 0 0 68871 137 0 0 25 0 1 0 972395381 64864256 11510 4294967295 134512640 135730672 3221224576 3221222880 134746501 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 15836 11510 301 301 0 15535 0 vsize: 63344 [startup+700.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17524 Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 25541 0 0 0 69870 139 0 0 25 0 1 0 972395381 64864256 11514 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 15836 11514 301 301 0 15535 0 vsize: 63344 [startup+710.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17524 Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 25717 0 0 0 70869 141 0 0 25 0 1 0 972395381 64864256 11517 4294967295 134512640 135730672 3221224576 3221222864 134747549 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 15836 11517 301 301 0 15535 0 vsize: 63344 [startup+720.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17524 Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 25934 0 0 0 71867 142 0 0 25 0 1 0 972395381 65134592 11561 4294967295 134512640 135730672 3221224576 3221222864 134747627 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 15902 11561 301 301 0 15601 0 vsize: 63608 [startup+730.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17524 Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 26128 0 0 0 72866 143 0 0 25 0 1 0 972395381 65269760 11582 4294967295 134512640 135730672 3221224576 3221222864 134747610 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 15935 11582 301 301 0 15634 0 vsize: 63740 [startup+740.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17524 Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 26132 0 0 0 73865 144 0 0 25 0 1 0 972395381 65269760 11586 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 15935 11586 301 301 0 15634 0 vsize: 63740 [startup+750.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17524 Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 26309 0 0 0 74865 145 0 0 25 0 1 0 972395381 65269760 11590 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 15935 11590 301 301 0 15634 0 vsize: 63740 [startup+760.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17524 Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 26486 0 0 0 75864 146 0 0 25 0 1 0 972395381 65269760 11594 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 15935 11594 301 301 0 15634 0 vsize: 63740 [startup+770.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17524 Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 26491 0 0 0 76863 148 0 0 25 0 1 0 972395381 65269760 11599 4294967295 134512640 135730672 3221224576 3221222864 134747602 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 15935 11599 301 301 0 15634 0 vsize: 63740 [startup+780.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17524 Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 26698 0 0 0 77862 149 0 0 25 0 1 0 972395381 65466368 11633 4294967295 134512640 135730672 3221224576 3221222864 134747927 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 15983 11633 301 301 0 15682 0 vsize: 63932 [startup+790.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17524 Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 26700 0 0 0 78861 150 0 0 25 0 1 0 972395381 65466368 11635 4294967295 134512640 135730672 3221224576 3221222864 134747578 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 15983 11635 301 301 0 15682 0 vsize: 63932 [startup+800.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17524 Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 26930 0 0 0 79860 151 0 0 25 0 1 0 972395381 65871872 11692 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16082 11692 301 301 0 15781 0 vsize: 64328 [startup+810.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17524 Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 27113 0 0 0 80859 152 0 0 25 0 1 0 972395381 65871872 11702 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16082 11702 301 301 0 15781 0 vsize: 64328 [startup+820.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17524 Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 27153 0 0 0 81857 154 0 0 25 0 1 0 972395381 66068480 11742 4294967295 134512640 135730672 3221224576 3221222864 134747602 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16130 11742 301 301 0 15829 0 vsize: 64520 [startup+830.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17524 Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 27328 0 0 0 82857 155 0 0 25 0 1 0 972395381 66068480 11744 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16130 11744 301 301 0 15829 0 vsize: 64520 [startup+840.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17524 Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 27334 0 0 0 83855 156 0 0 25 0 1 0 972395381 66068480 11750 4294967295 134512640 135730672 3221224576 3221222864 134747602 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16130 11750 301 301 0 15829 0 vsize: 64520 [startup+850.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17524 Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 27528 0 0 0 84855 157 0 0 25 0 1 0 972395381 66203648 11771 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16163 11771 301 301 0 15862 0 vsize: 64652 [startup+860.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17524 Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 27723 0 0 0 85853 159 0 0 25 0 1 0 972395381 66338816 11793 4294967295 134512640 135730672 3221224576 3221222864 134747730 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16196 11793 301 301 0 15895 0 vsize: 64784 [startup+870.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17524 Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 27727 0 0 0 86852 160 0 0 25 0 1 0 972395381 66338816 11797 4294967295 134512640 135730672 3221224576 3221222732 135291218 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16196 11797 301 301 0 15895 0 vsize: 64784 [startup+880.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17524 Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 27903 0 0 0 87850 162 0 0 25 0 1 0 972395381 66338816 11800 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16196 11800 301 301 0 15895 0 vsize: 64784 [startup+890.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17524 Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 28079 0 0 0 88848 164 0 0 25 0 1 0 972395381 66338816 11803 4294967295 134512640 135730672 3221224576 3221222848 134732625 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16196 11803 301 301 0 15895 0 vsize: 64784 [startup+900.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17524 Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 28082 0 0 0 89848 165 0 0 25 0 1 0 972395381 66338816 11806 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16196 11806 301 301 0 15895 0 vsize: 64784 [startup+910.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17524 Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 28262 0 0 0 90847 166 0 0 25 0 1 0 972395381 66338816 11813 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16196 11813 301 301 0 15895 0 vsize: 64784 [startup+920.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17524 Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 28438 0 0 0 91845 167 0 0 25 0 1 0 972395381 66338816 11816 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16196 11816 301 301 0 15895 0 vsize: 64784 [startup+930.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17524 Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 28441 0 0 0 92844 168 0 0 25 0 1 0 972395381 66338816 11819 4294967295 134512640 135730672 3221224576 3221222864 134747848 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16196 11819 301 301 0 15895 0 vsize: 64784 [startup+940.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17524 Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 28624 0 0 0 93844 170 0 0 25 0 1 0 972395381 66502656 11829 4294967295 134512640 135730672 3221224576 3221223024 134734832 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16236 11829 301 301 0 15935 0 vsize: 64944 [startup+950.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17524 Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 28801 0 0 0 94842 171 0 0 25 0 1 0 972395381 66502656 11833 4294967295 134512640 135730672 3221224576 3221222864 134747913 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16236 11833 301 301 0 15935 0 vsize: 64944 [startup+960.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17524 Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 28984 0 0 0 95841 172 0 0 25 0 1 0 972395381 66502656 11843 4294967295 134512640 135730672 3221224576 3221222864 134747730 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16236 11843 301 301 0 15935 0 vsize: 64944 [startup+970.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17524 Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 29167 0 0 0 96840 173 0 0 25 0 1 0 972395381 66502656 11853 4294967295 134512640 135730672 3221224576 3221222864 134747970 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16236 11853 301 301 0 15935 0 vsize: 64944 [startup+980.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17524 Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 29358 0 0 0 97838 175 0 0 25 0 1 0 972395381 66650112 11871 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16272 11871 301 301 0 15971 0 vsize: 65088 [startup+990.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17524 Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 29361 0 0 0 98837 176 0 0 25 0 1 0 972395381 66650112 11874 4294967295 134512640 135730672 3221224576 3221222864 134747728 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16272 11874 301 301 0 15971 0 vsize: 65088 [startup+1000.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17524 Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 29583 0 0 0 99836 178 0 0 25 0 1 0 972395381 66785280 11923 4294967295 134512640 135730672 3221224576 3221222864 134747916 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16305 11923 301 301 0 16004 0 vsize: 65220 [startup+1010.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17524 Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 29587 0 0 0 100835 179 0 0 25 0 1 0 972395381 66785280 11927 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16305 11927 301 301 0 16004 0 vsize: 65220 [startup+1020.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17524 Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 29768 0 0 0 101834 181 0 0 25 0 1 0 972395381 66785280 11935 4294967295 134512640 135730672 3221224576 3221222700 134739216 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16305 11935 301 301 0 16004 0 vsize: 65220 [startup+1030.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17524 Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 29979 0 0 0 102833 182 0 0 25 0 1 0 972395381 66785280 11973 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16305 11973 301 301 0 16004 0 vsize: 65220 [startup+1040.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17524 Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 30214 0 0 0 103831 184 0 0 25 0 1 0 972395381 66785280 12035 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16305 12035 301 301 0 16004 0 vsize: 65220 [startup+1050.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17524 Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 30234 0 0 0 104830 185 0 0 25 0 1 0 972395381 66920448 12055 4294967295 134512640 135730672 3221224576 3221222864 134747741 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16338 12055 301 301 0 16037 0 vsize: 65352 [startup+1060.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17524 Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 30410 0 0 0 105829 186 0 0 25 0 1 0 972395381 66920448 12058 4294967295 134512640 135730672 3221224576 3221222960 134763671 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16338 12058 301 301 0 16037 0 vsize: 65352 [startup+1070.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17524 Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 30588 0 0 0 106828 187 0 0 25 0 1 0 972395381 66920448 12063 4294967295 134512640 135730672 3221224576 3221223056 134748565 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16338 12063 301 301 0 16037 0 vsize: 65352 [startup+1080.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17524 Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 30779 0 0 0 107827 189 0 0 25 0 1 0 972395381 66920448 12081 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16338 12081 301 301 0 16037 0 vsize: 65352 [startup+1090.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17524 Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 30812 0 0 0 108826 190 0 0 25 0 1 0 972395381 66920448 12114 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16338 12114 301 301 0 16037 0 vsize: 65352 [startup+1100.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17524 Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 31032 0 0 0 109824 192 0 0 25 0 1 0 972395381 66920448 12161 4294967295 134512640 135730672 3221224576 3221222864 134747808 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16338 12161 301 301 0 16037 0 vsize: 65352 [startup+1110.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17524 Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 31308 0 0 0 110823 193 0 0 25 0 1 0 972395381 67035136 12264 4294967295 134512640 135730672 3221224576 3221222976 134744745 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16366 12264 301 301 0 16065 0 vsize: 65464 [startup+1120.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17524 Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 31316 0 0 0 111823 193 0 0 25 0 1 0 972395381 67035136 12272 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16366 12272 301 301 0 16065 0 vsize: 65464 [startup+1130.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17524 Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 31707 0 0 0 112821 195 0 0 25 0 1 0 972395381 67035136 12317 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16366 12317 301 301 0 16065 0 vsize: 65464 [startup+1140.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17524 Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 31788 0 0 0 113820 196 0 0 25 0 1 0 972395381 67035136 12398 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16366 12398 301 301 0 16065 0 vsize: 65464 [startup+1150.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17524 Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 32020 0 0 0 114820 197 0 0 25 0 1 0 972395381 67170304 12457 4294967295 134512640 135730672 3221224576 3221222864 134747811 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16399 12457 301 301 0 16098 0 vsize: 65596 [startup+1160.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17524 Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 32231 0 0 0 115818 199 0 0 25 0 1 0 972395381 67170304 12495 4294967295 134512640 135730672 3221224576 3221222864 134747592 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16399 12495 301 301 0 16098 0 vsize: 65596 [startup+1170.03 s] Raw data (loadavg): 1.30 1.04 0.93 2/54 17524 Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 32266 0 0 0 116818 200 0 0 25 0 1 0 972395381 67170304 12530 4294967295 134512640 135730672 3221224576 3221223056 134748557 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16399 12530 301 301 0 16098 0 vsize: 65596 [startup+1180.03 s] Raw data (loadavg): 1.25 1.03 0.93 2/54 17524 Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 32460 0 0 0 117817 201 0 0 25 0 1 0 972395381 67170304 12551 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16399 12551 301 301 0 16098 0 vsize: 65596 [startup+1190.03 s] Raw data (loadavg): 1.21 1.03 0.93 2/54 17524 Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 32640 0 0 0 118816 202 0 0 25 0 1 0 972395381 67170304 12558 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16399 12558 301 301 0 16098 0 vsize: 65596 [startup+1200.03 s] Raw data (loadavg): 1.18 1.03 0.93 2/54 17524 Raw data (stat): 17520 (pb2sat-v2) R 17519 7266 7265 0 -1 0 32652 0 0 0 119815 203 0 0 25 0 1 0 972395381 67170304 12570 4294967295 134512640 135730672 3221224576 3221222688 134732479 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 16399 12570 301 301 0 16098 0 vsize: 65596 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.31 s] Raw data (loadavg): 1.18 1.03 0.93 1/54 17524 Raw data (stat): 17520 (pb2sat-v2) Z 17519 7266 7265 0 -1 12 32654 0 0 0 119840 205 0 0 25 0 1 0 972395381 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 0 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child status: 10 Real time (s): 1200.31 CPU time (s): 1200.46 CPU user time (s): 1198.41 CPU system time (s): 2.05369 CPU usage (%): 100.013 Max. virtual memory (Kb): 65596 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK -19 #### END VERIFIER DATA ####