Name | normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-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 | 1175.06 |
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 wulflinc3 THE 2005-06-16 08:41:00 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=25696 boxname=wulflinc3 idbench=996 idsolver=18 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: c5ca7819a7dcae16ff6045242cdd1f87 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-protfold.opb REAL COMMAND: pb2sat-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-protfold.opb IDLAUNCH: 25696 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.190 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 : 2 cpu MHz : 451.190 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: 776976 kB Buffers: 4596 kB Cached: 230952 kB SwapCached: 820 kB Active: 30896 kB Inactive: 206832 kB HighTotal: 131008 kB HighFree: 26208 kB LowTotal: 903652 kB LowFree: 750768 kB SwapTotal: 2097136 kB SwapFree: 2095340 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5104 kB Slab: 14252 kB Committed_AS: 71900 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-16 09:01:03 (client local time) WITH STATUS 10 IN 1200.49 SECONDS stats: 25696 0 1200.49 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: 116.588/86400 c Decision: 12484/88151 Time: 127.176/86400 c Decision: 12484/88151 Time: 141.34/86400 c Decision: 12484/88151 Time: 154.335/86400 c Decision: 12484/88151 Time: 162.055/86400 c Decision: 12484/88151 Time: 169.007/86400 c Decision: 12484/88151 Time: 182.215/86400 c Decision: 12484/88151 Time: 196.324/86400 c Decision: 12484/88151 Time: 206.408/86400 c Decision: 12484/88151 Time: 218.039/86400 c Decision: 12484/88151 Time: 232.485/86400 c Decision: 12484/88151 Time: 247.862/86400 c Decision: 12484/88151 Time: 259.649/86400 c Decision: 12484/88151 Time: 273.204/86400 c Decision: 12484/88151 Time: 290.997/86400 c Decision: 12484/88151 Time: 308.392/86400 c Decision: 12484/88151 Time: 324.022/86400 c Decision: 12484/88151 Time: 339.892/86400 c Decision: 12484/88151 Time: 352.195/86400 c Decision: 12484/88151 Time: 360.547/86400 c Decision: 12484/88151 Time: 375.724/86400 c Decision: 12484/88151 Time: 391.433/86400 c Decision: 12484/88151 Time: 403.372/86400 c Decision: 12484/88151 Time: 418.881/86400 c Decision: 12484/88151 Time: 434.325/86400 c Decision: 12484/88151 Time: 445.614/86400 c Decision: 12484/88151 Time: 461.726/86400 c Decision: 12484/88151 Time: 469.841/86400 c Decision: 12484/88151 Time: 479.027/86400 c Decision: 12484/88151 Time: 489.213/86400 c Decision: 12484/88151 Time: 505.895/86400 c Decision: 12484/88151 Time: 521.321/86400 c Decision: 12484/88151 Time: 535.714/86400 c Decision: 12484/88151 Time: 552.422/86400 c Decision: 12484/88151 Time: 567.317/86400 c Decision: 12484/88151 Time: 576.651/86400 c Decision: 12484/88151 Time: 585.358/86400 c Decision: 12484/88151 Time: 593.241/86400 c Decision: 12484/88151 Time: 602.442/86400 c Decision: 12484/88151 Time: 610.689/86400 c Decision: 12484/88151 Time: 618.932/86400 c Decision: 12484/88151 Time: 629.207/86400 c Decision: 12484/88151 Time: 640.318/86400 c Decision: 12484/88151 Time: 655.262/86400 c Decision: 12484/88151 Time: 672.556/86400 c Decision: 12484/88151 Time: 689.607/86400 c Decision: 12484/88151 Time: 701.541/86400 c Decision: 12484/88151 Time: 712.495/86400 c Decision: 12484/88151 Time: 726.796/86400 c Decision: 12484/88151 Time: 739.635/86400 c Decision: 12484/88151 Time: 754.663/86400 c Decision: 12484/88151 Time: 769.823/86400 c Decision: 12484/88151 Time: 785.659/86400 c Decision: 12484/88151 Time: 803.757/86400 c Decision: 12484/88151 Time: 820.928/86400 c Decision: 12484/88151 Time: 839.1/86400 c Decision: 12484/88151 Time: 854.947/86400 c Decision: 12484/88151 Time: 872.486/86400 c Decision: 12484/88151 Time: 889.729/86400 c Decision: 12484/88151 Time: 901.624/86400 c Decision: 12484/88151 Time: 916.607/86400 c Decision: 12484/88151 Time: 929.831/86400 c Decision: 12484/88151 Time: 948.79/86400 c Decision: 12484/88151 Time: 965.272/86400 c Decision: 12484/88151 Time: 973.732/86400 c Decision: 12484/88151 Time: 983.013/86400 c Decision: 12484/88151 Time: 996.053/86400 c Decision: 12484/88151 Time: 1012.07/86400 c Decision: 12484/88151 Time: 1030.04/86400 c Decision: 12484/88151 Time: 1044.61/86400 c Decision: 12484/88151 Time: 1057.27/86400 c Decision: 12484/88151 Time: 1075.22/86400 c Decision: 12484/88151 Time: 1084.73/86400 c Decision: 12484/88151 Time: 1097.27/86400 c Decision: 12484/88151 Time: 1114.51/86400 c Decision: 12484/88151 Time: 1128.29/86400 c Decision: 12484/88151 Time: 1139.34/86400 c Decision: 12484/88151 Time: 1148.04/86400 c Decision: 12484/88151 Time: 1159.79/86400 c Decision: 12484/88151 Time: 1175.12/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.92 0.95 0.91 2/54 19784 Raw data (stat): 19784 (runsolver) R 19783 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 969390720 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 216 94 205 205 0 11 0 vsize: 864 [startup+10.0009 s] Raw data (loadavg): 0.93 0.96 0.91 2/54 19784 Raw data (stat): 19784 (pb2sat-v2) R 19783 20224 20223 0 -1 0 13345 0 0 0 968 31 0 0 25 0 1 0 969390720 43327488 7449 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 10578 7449 301 301 0 10277 0 vsize: 42312 [startup+20.0018 s] Raw data (loadavg): 0.94 0.96 0.91 2/54 19784 Raw data (stat): 19784 (pb2sat-v2) R 19783 20224 20223 0 -1 0 13910 0 0 0 1966 33 0 0 25 0 1 0 969390720 45928448 8014 4294967295 134512640 135730672 3221224576 3221222976 134744763 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11213 8014 301 301 0 10912 0 vsize: 44852 [startup+30.0022 s] Raw data (loadavg): 0.95 0.96 0.91 2/54 19784 Raw data (stat): 19784 (pb2sat-v2) R 19783 20224 20223 0 -1 0 14265 0 0 0 2963 36 0 0 25 0 1 0 969390720 47505408 8369 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11598 8369 301 301 0 11297 0 vsize: 46392 [startup+40.0025 s] Raw data (loadavg): 0.96 0.96 0.91 2/54 19784 Raw data (stat): 19784 (pb2sat-v2) R 19783 20224 20223 0 -1 0 14615 0 0 0 3960 39 0 0 25 0 1 0 969390720 49147904 8719 4294967295 134512640 135730672 3221224576 3221222864 134747592 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 11999 8719 301 301 0 11698 0 vsize: 47996 [startup+50.0024 s] Raw data (loadavg): 0.96 0.96 0.91 2/54 19784 Raw data (stat): 19784 (pb2sat-v2) R 19783 20224 20223 0 -1 0 14836 0 0 0 4958 41 0 0 25 0 1 0 969390720 50143232 8940 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12242 8940 301 301 0 11941 0 vsize: 48968 [startup+60.0036 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 19784 Raw data (stat): 19784 (pb2sat-v2) R 19783 20224 20223 0 -1 0 15011 0 0 0 5957 43 0 0 25 0 1 0 969390720 50745344 9115 4294967295 134512640 135730672 3221224576 3221223024 134734835 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12389 9115 301 301 0 12088 0 vsize: 49556 [startup+70.004 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 19784 Raw data (stat): 19784 (pb2sat-v2) R 19783 20224 20223 0 -1 0 15139 0 0 0 6956 44 0 0 25 0 1 0 969390720 51347456 9243 4294967295 134512640 135730672 3221224576 3221222912 134740310 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12536 9243 301 301 0 12235 0 vsize: 50144 [startup+80.0058 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 19784 Raw data (stat): 19784 (pb2sat-v2) R 19783 20224 20223 0 -1 0 15183 0 0 0 7954 46 0 0 25 0 1 0 969390720 51347456 9287 4294967295 134512640 135730672 3221224576 3221222864 134747592 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12536 9287 301 301 0 12235 0 vsize: 50144 [startup+90.0061 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 19784 Raw data (stat): 19784 (pb2sat-v2) R 19783 20224 20223 0 -1 0 15231 0 0 0 8953 47 0 0 25 0 1 0 969390720 51544064 9335 4294967295 134512640 135730672 3221224576 3221222732 135291214 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12584 9335 301 301 0 12283 0 vsize: 50336 [startup+100.006 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 19784 Raw data (stat): 19784 (pb2sat-v2) R 19783 20224 20223 0 -1 0 15267 0 0 0 9952 48 0 0 25 0 1 0 969390720 51544064 9371 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12584 9371 301 301 0 12283 0 vsize: 50336 [startup+110.006 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 19784 Raw data (stat): 19784 (pb2sat-v2) R 19783 20224 20223 0 -1 0 15305 0 0 0 10951 50 0 0 25 0 1 0 969390720 51544064 9409 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12584 9409 301 301 0 12283 0 vsize: 50336 [startup+120.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19784 Raw data (stat): 19784 (pb2sat-v2) R 19783 20224 20223 0 -1 0 15372 0 0 0 11949 52 0 0 25 0 1 0 969390720 51814400 9476 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12650 9476 301 301 0 12349 0 vsize: 50600 [startup+130.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19784 Raw data (stat): 19784 (pb2sat-v2) R 19783 20224 20223 0 -1 0 15631 0 0 0 12947 54 0 0 25 0 1 0 969390720 52146176 9562 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12731 9562 301 301 0 12430 0 vsize: 50924 [startup+140.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19784 Raw data (stat): 19784 (pb2sat-v2) R 19783 20224 20223 0 -1 0 15814 0 0 0 13946 55 0 0 25 0 1 0 969390720 52146176 9572 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12731 9572 301 301 0 12430 0 vsize: 50924 [startup+150.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19784 Raw data (stat): 19784 (pb2sat-v2) R 19783 20224 20223 0 -1 0 16035 0 0 0 14944 58 0 0 25 0 1 0 969390720 52416512 9620 4294967295 134512640 135730672 3221224576 3221222752 134762765 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12797 9620 301 301 0 12496 0 vsize: 51188 [startup+160.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19784 Raw data (stat): 19784 (pb2sat-v2) R 19783 20224 20223 0 -1 0 16064 0 0 0 15942 59 0 0 25 0 1 0 969390720 52551680 9649 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12830 9649 301 301 0 12529 0 vsize: 51320 [startup+170.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19784 Raw data (stat): 19784 (pb2sat-v2) R 19783 20224 20223 0 -1 0 16550 0 0 0 16941 61 0 0 25 0 1 0 969390720 52551680 9789 4294967295 134512640 135730672 3221224576 3221222864 134747592 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12830 9789 301 301 0 12529 0 vsize: 51320 [startup+180.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19784 Raw data (stat): 19784 (pb2sat-v2) R 19783 20224 20223 0 -1 0 16790 0 0 0 17940 62 0 0 25 0 1 0 969390720 52551680 9856 4294967295 134512640 135730672 3221224576 3221222692 134732533 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12830 9856 301 301 0 12529 0 vsize: 51320 [startup+190.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19784 Raw data (stat): 19784 (pb2sat-v2) R 19783 20224 20223 0 -1 0 16990 0 0 0 18938 63 0 0 25 0 1 0 969390720 52686848 9883 4294967295 134512640 135730672 3221224576 3221222864 134747808 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 12863 9883 301 301 0 12562 0 vsize: 51452 [startup+200.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19784 Raw data (stat): 19784 (pb2sat-v2) R 19783 20224 20223 0 -1 0 17012 0 0 0 19936 65 0 0 25 0 1 0 969390720 52822016 9905 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12896 9905 301 301 0 12595 0 vsize: 51584 [startup+210.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19784 Raw data (stat): 19784 (pb2sat-v2) R 19783 20224 20223 0 -1 0 17195 0 0 0 20935 66 0 0 25 0 1 0 969390720 52822016 9915 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12896 9915 301 301 0 12595 0 vsize: 51584 [startup+220.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19784 Raw data (stat): 19784 (pb2sat-v2) R 19783 20224 20223 0 -1 0 17476 0 0 0 21933 68 0 0 25 0 1 0 969390720 53227520 10023 4294967295 134512640 135730672 3221224576 3221223024 134734847 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12995 10023 301 301 0 12694 0 vsize: 51980 [startup+230.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19784 Raw data (stat): 19784 (pb2sat-v2) R 19783 20224 20223 0 -1 0 17679 0 0 0 22933 69 0 0 25 0 1 0 969390720 53227520 10053 4294967295 134512640 135730672 3221224576 3221222864 134747610 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12995 10053 301 301 0 12694 0 vsize: 51980 [startup+240.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19784 Raw data (stat): 19784 (pb2sat-v2) R 19783 20224 20223 0 -1 0 17880 0 0 0 23932 70 0 0 25 0 1 0 969390720 53227520 10081 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12995 10081 301 301 0 12694 0 vsize: 51980 [startup+250.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19784 Raw data (stat): 19784 (pb2sat-v2) R 19783 20224 20223 0 -1 0 17885 0 0 0 24931 71 0 0 25 0 1 0 969390720 53227520 10086 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12995 10086 301 301 0 12694 0 vsize: 51980 [startup+260.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19784 Raw data (stat): 19784 (pb2sat-v2) R 19783 20224 20223 0 -1 0 18065 0 0 0 25930 73 0 0 25 0 1 0 969390720 53227520 10093 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12995 10093 301 301 0 12694 0 vsize: 51980 [startup+270.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19784 Raw data (stat): 19784 (pb2sat-v2) R 19783 20224 20223 0 -1 0 18246 0 0 0 26928 74 0 0 25 0 1 0 969390720 53227520 10101 4294967295 134512640 135730672 3221224576 3221222864 134747733 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12995 10101 301 301 0 12694 0 vsize: 51980 [startup+280.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19784 Raw data (stat): 19784 (pb2sat-v2) R 19783 20224 20223 0 -1 0 18422 0 0 0 27927 76 0 0 25 0 1 0 969390720 53227520 10104 4294967295 134512640 135730672 3221224576 3221222864 134747594 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 12995 10104 301 301 0 12694 0 vsize: 51980 [startup+290.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19784 Raw data (stat): 19784 (pb2sat-v2) R 19783 20224 20223 0 -1 0 18466 0 0 0 28926 77 0 0 25 0 1 0 969390720 53497856 10148 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13061 10148 301 301 0 12760 0 vsize: 52244 [startup+300.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19784 Raw data (stat): 19784 (pb2sat-v2) R 19783 20224 20223 0 -1 0 18679 0 0 0 29925 79 0 0 25 0 1 0 969390720 53768192 10188 4294967295 134512640 135730672 3221224576 3221222960 134764020 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13127 10188 301 301 0 12826 0 vsize: 52508 [startup+310.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19784 Raw data (stat): 19784 (pb2sat-v2) R 19783 20224 20223 0 -1 0 18683 0 0 0 30923 81 0 0 25 0 1 0 969390720 53768192 10192 4294967295 134512640 135730672 3221224576 3221223056 134748554 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13127 10192 301 301 0 12826 0 vsize: 52508 [startup+320.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19784 Raw data (stat): 19784 (pb2sat-v2) R 19783 20224 20223 0 -1 0 18892 0 0 0 31922 81 0 0 25 0 1 0 969390720 53903360 10228 4294967295 134512640 135730672 3221224576 3221223056 134748554 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13160 10228 301 301 0 12859 0 vsize: 52640 [startup+330.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19784 Raw data (stat): 19784 (pb2sat-v2) R 19783 20224 20223 0 -1 0 19075 0 0 0 32922 83 0 0 25 0 1 0 969390720 54611968 10411 4294967295 134512640 135730672 3221224576 3221222528 134769202 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13333 10411 301 301 0 13032 0 vsize: 53332 [startup+340.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19784 Raw data (stat): 19784 (pb2sat-v2) R 19783 20224 20223 0 -1 0 19112 0 0 0 33921 84 0 0 25 0 1 0 969390720 54235136 10275 4294967295 134512640 135730672 3221224576 3221222864 134747747 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13241 10275 301 301 0 12940 0 vsize: 52964 [startup+350.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19784 Raw data (stat): 19784 (pb2sat-v2) R 19783 20224 20223 0 -1 0 19310 0 0 0 34919 85 0 0 25 0 1 0 969390720 54235136 10300 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13241 10300 301 301 0 12940 0 vsize: 52964 [startup+360.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19784 Raw data (stat): 19784 (pb2sat-v2) R 19783 20224 20223 0 -1 0 19487 0 0 0 35918 87 0 0 25 0 1 0 969390720 54235136 10304 4294967295 134512640 135730672 3221224576 3221222864 134747555 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13241 10304 301 301 0 12940 0 vsize: 52964 [startup+370.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19784 Raw data (stat): 19784 (pb2sat-v2) R 19783 20224 20223 0 -1 0 19687 0 0 0 36915 89 0 0 25 0 1 0 969390720 54370304 10331 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13274 10331 301 301 0 12973 0 vsize: 53096 [startup+380.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19784 Raw data (stat): 19784 (pb2sat-v2) R 19783 20224 20223 0 -1 0 19720 0 0 0 37914 90 0 0 25 0 1 0 969390720 54566912 10364 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13322 10364 301 301 0 13021 0 vsize: 53288 [startup+390.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19784 Raw data (stat): 19784 (pb2sat-v2) R 19783 20224 20223 0 -1 0 19910 0 0 0 38913 91 0 0 25 0 1 0 969390720 54566912 10381 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13322 10381 301 301 0 13021 0 vsize: 53288 [startup+400.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19784 Raw data (stat): 19784 (pb2sat-v2) R 19783 20224 20223 0 -1 0 20088 0 0 0 39912 93 0 0 25 0 1 0 969390720 54566912 10386 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13322 10386 301 301 0 13021 0 vsize: 53288 [startup+410.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19784 Raw data (stat): 19784 (pb2sat-v2) R 19783 20224 20223 0 -1 0 20264 0 0 0 40911 94 0 0 25 0 1 0 969390720 54566912 10389 4294967295 134512640 135730672 3221224576 3221222992 134748249 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13322 10389 301 301 0 13021 0 vsize: 53288 [startup+420.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19784 Raw data (stat): 19784 (pb2sat-v2) R 19783 20224 20223 0 -1 0 20272 0 0 0 41910 95 0 0 25 0 1 0 969390720 54566912 10397 4294967295 134512640 135730672 3221224576 3221222864 134747616 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13322 10397 301 301 0 13021 0 vsize: 53288 [startup+430.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19784 Raw data (stat): 19784 (pb2sat-v2) R 19783 20224 20223 0 -1 0 20453 0 0 0 42908 97 0 0 25 0 1 0 969390720 54566912 10405 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13322 10405 301 301 0 13021 0 vsize: 53288 [startup+440.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19784 Raw data (stat): 19784 (pb2sat-v2) R 19783 20224 20223 0 -1 0 20474 0 0 0 43908 98 0 0 25 0 1 0 969390720 54763520 10426 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13370 10426 301 301 0 13069 0 vsize: 53480 [startup+450.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19784 Raw data (stat): 19784 (pb2sat-v2) R 19783 20224 20223 0 -1 0 20718 0 0 0 44906 99 0 0 25 0 1 0 969390720 54763520 10497 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13370 10497 301 301 0 13069 0 vsize: 53480 [startup+460.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19784 Raw data (stat): 19784 (pb2sat-v2) R 19783 20224 20223 0 -1 0 20898 0 0 0 45905 101 0 0 25 0 1 0 969390720 54763520 10504 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13370 10504 301 301 0 13069 0 vsize: 53480 [startup+470.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19784 Raw data (stat): 19784 (pb2sat-v2) R 19783 20224 20223 0 -1 0 21074 0 0 0 46903 103 0 0 25 0 1 0 969390720 54763520 10507 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13370 10507 301 301 0 13069 0 vsize: 53480 [startup+480.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19784 Raw data (stat): 19784 (pb2sat-v2) R 19783 20224 20223 0 -1 0 21314 0 0 0 47903 104 0 0 25 0 1 0 969390720 54763520 10574 4294967295 134512640 135730672 3221224576 3221223024 134734847 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13370 10574 301 301 0 13069 0 vsize: 53480 [startup+490.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19784 Raw data (stat): 19784 (pb2sat-v2) R 19783 20224 20223 0 -1 0 21585 0 0 0 48902 105 0 0 25 0 1 0 969390720 54763520 10672 4294967295 134512640 135730672 3221224576 3221223024 134734847 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13370 10672 301 301 0 13069 0 vsize: 53480 [startup+500.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19784 Raw data (stat): 19784 (pb2sat-v2) R 19783 20224 20223 0 -1 0 21800 0 0 0 49900 106 0 0 25 0 1 0 969390720 54763520 10714 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13370 10714 301 301 0 13069 0 vsize: 53480 [startup+510.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19784 Raw data (stat): 19784 (pb2sat-v2) R 19783 20224 20223 0 -1 0 21943 0 0 0 50898 109 0 0 25 0 1 0 969390720 55476224 10857 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13544 10857 301 301 0 13243 0 vsize: 54176 [startup+520.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19784 Raw data (stat): 19784 (pb2sat-v2) R 19783 20224 20223 0 -1 0 22124 0 0 0 51897 110 0 0 25 0 1 0 969390720 55476224 10865 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13544 10865 301 301 0 13243 0 vsize: 54176 [startup+530.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19784 Raw data (stat): 19784 (pb2sat-v2) R 19783 20224 20223 0 -1 0 22300 0 0 0 52896 112 0 0 25 0 1 0 969390720 55476224 10868 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13544 10868 301 301 0 13243 0 vsize: 54176 [startup+540.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19784 Raw data (stat): 19784 (pb2sat-v2) R 19783 20224 20223 0 -1 0 22309 0 0 0 53895 112 0 0 25 0 1 0 969390720 55476224 10877 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13544 10877 301 301 0 13243 0 vsize: 54176 [startup+550.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19784 Raw data (stat): 19784 (pb2sat-v2) R 19783 20224 20223 0 -1 0 22488 0 0 0 54894 114 0 0 25 0 1 0 969390720 55476224 10883 4294967295 134512640 135730672 3221224576 3221222864 134747639 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13544 10883 301 301 0 13243 0 vsize: 54176 [startup+560.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19784 Raw data (stat): 19784 (pb2sat-v2) R 19783 20224 20223 0 -1 0 22664 0 0 0 55893 115 0 0 25 0 1 0 969390720 55476224 10886 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13544 10886 301 301 0 13243 0 vsize: 54176 [startup+570.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19784 Raw data (stat): 19784 (pb2sat-v2) R 19783 20224 20223 0 -1 0 22691 0 0 0 56892 116 0 0 25 0 1 0 969390720 55611392 10913 4294967295 134512640 135730672 3221224576 3221222864 134747823 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13577 10913 301 301 0 13276 0 vsize: 54308 [startup+580.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19784 Raw data (stat): 19784 (pb2sat-v2) R 19783 20224 20223 0 -1 0 22911 0 0 0 57890 118 0 0 25 0 1 0 969390720 55775232 10960 4294967295 134512640 135730672 3221224576 3221223024 134734759 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13617 10960 301 301 0 13316 0 vsize: 54468 [startup+590.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19784 Raw data (stat): 19784 (pb2sat-v2) R 19783 20224 20223 0 -1 0 23089 0 0 0 58890 119 0 0 25 0 1 0 969390720 55775232 10965 4294967295 134512640 135730672 3221224576 3221222864 134747970 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 13617 10965 301 301 0 13316 0 vsize: 54468 [startup+600.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19784 Raw data (stat): 19784 (pb2sat-v2) R 19783 20224 20223 0 -1 0 23528 0 0 0 59889 120 0 0 25 0 1 0 969390720 64163840 11058 4294967295 134512640 135730672 3221224576 3221223024 134734759 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 15665 11058 301 301 0 15364 0 vsize: 62660 [startup+610.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19784 Raw data (stat): 19784 (pb2sat-v2) R 19783 20224 20223 0 -1 0 23833 0 0 0 60888 121 0 0 25 0 1 0 969390720 64163840 11190 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 15665 11190 301 301 0 15364 0 vsize: 62660 [startup+620.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19784 Raw data (stat): 19784 (pb2sat-v2) R 19783 20224 20223 0 -1 0 24137 0 0 0 61887 122 0 0 25 0 1 0 969390720 64299008 11321 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 15698 11321 301 301 0 15397 0 vsize: 62792 [startup+630.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19784 Raw data (stat): 19784 (pb2sat-v2) R 19783 20224 20223 0 -1 0 24372 0 0 0 62887 123 0 0 25 0 1 0 969390720 64294912 11383 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 15697 11383 301 301 0 15396 0 vsize: 62788 [startup+640.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19784 Raw data (stat): 19784 (pb2sat-v2) R 19783 20224 20223 0 -1 0 24554 0 0 0 63886 124 0 0 25 0 1 0 969390720 64294912 11392 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 15697 11392 301 301 0 15396 0 vsize: 62788 [startup+650.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19784 Raw data (stat): 19784 (pb2sat-v2) R 19783 20224 20223 0 -1 0 24767 0 0 0 64885 125 0 0 25 0 1 0 969390720 64565248 11432 4294967295 134512640 135730672 3221224576 3221223024 134734847 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 15763 11432 301 301 0 15462 0 vsize: 63052 [startup+660.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19784 Raw data (stat): 19784 (pb2sat-v2) R 19783 20224 20223 0 -1 0 24769 0 0 0 65884 126 0 0 25 0 1 0 969390720 64565248 11434 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 15763 11434 301 301 0 15462 0 vsize: 63052 [startup+670.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19784 Raw data (stat): 19784 (pb2sat-v2) R 19783 20224 20223 0 -1 0 24947 0 0 0 66883 127 0 0 25 0 1 0 969390720 64565248 11439 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 15763 11439 301 301 0 15462 0 vsize: 63052 [startup+680.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19784 Raw data (stat): 19784 (pb2sat-v2) R 19783 20224 20223 0 -1 0 25181 0 0 0 67881 128 0 0 25 0 1 0 969390720 64864256 11500 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 15836 11500 301 301 0 15535 0 vsize: 63344 [startup+690.043 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19784 Raw data (stat): 19784 (pb2sat-v2) R 19783 20224 20223 0 -1 0 25185 0 0 0 68881 130 0 0 25 0 1 0 969390720 64864256 11504 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 15836 11504 301 301 0 15535 0 vsize: 63344 [startup+700.043 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19784 Raw data (stat): 19784 (pb2sat-v2) R 19783 20224 20223 0 -1 0 25361 0 0 0 69880 131 0 0 25 0 1 0 969390720 64864256 11507 4294967295 134512640 135730672 3221224576 3221222864 134747592 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 15836 11507 301 301 0 15535 0 vsize: 63344 [startup+710.044 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19784 Raw data (stat): 19784 (pb2sat-v2) R 19783 20224 20223 0 -1 0 25538 0 0 0 70879 132 0 0 25 0 1 0 969390720 64864256 11511 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 15836 11511 301 301 0 15535 0 vsize: 63344 [startup+720.044 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19784 Raw data (stat): 19784 (pb2sat-v2) R 19783 20224 20223 0 -1 0 25714 0 0 0 71878 133 0 0 25 0 1 0 969390720 64864256 11514 4294967295 134512640 135730672 3221224576 3221222880 135283013 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 15836 11514 301 301 0 15535 0 vsize: 63344 [startup+730.044 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19784 Raw data (stat): 19784 (pb2sat-v2) R 19783 20224 20223 0 -1 0 25717 0 0 0 72878 134 0 0 25 0 1 0 969390720 64864256 11517 4294967295 134512640 135730672 3221224576 3221222864 134747735 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 15836 11517 301 301 0 15535 0 vsize: 63344 [startup+740.045 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19784 Raw data (stat): 19784 (pb2sat-v2) R 19783 20224 20223 0 -1 0 25935 0 0 0 73877 135 0 0 25 0 1 0 969390720 65134592 11562 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 15902 11562 301 301 0 15601 0 vsize: 63608 [startup+750.045 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19784 Raw data (stat): 19784 (pb2sat-v2) R 19783 20224 20223 0 -1 0 26130 0 0 0 74875 137 0 0 25 0 1 0 969390720 65269760 11584 4294967295 134512640 135730672 3221224576 3221222864 134747808 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 15935 11584 301 301 0 15634 0 vsize: 63740 [startup+760.045 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19784 Raw data (stat): 19784 (pb2sat-v2) R 19783 20224 20223 0 -1 0 26132 0 0 0 75874 137 0 0 25 0 1 0 969390720 65269760 11586 4294967295 134512640 135730672 3221224576 3221222880 134746183 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 15935 11586 301 301 0 15634 0 vsize: 63740 [startup+770.045 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19784 Raw data (stat): 19784 (pb2sat-v2) R 19783 20224 20223 0 -1 0 26309 0 0 0 76873 139 0 0 25 0 1 0 969390720 65269760 11590 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 15935 11590 301 301 0 15634 0 vsize: 63740 [startup+780.046 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19784 Raw data (stat): 19784 (pb2sat-v2) R 19783 20224 20223 0 -1 0 26487 0 0 0 77872 140 0 0 25 0 1 0 969390720 65269760 11595 4294967295 134512640 135730672 3221224576 3221222960 134747445 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 15935 11595 301 301 0 15634 0 vsize: 63740 [startup+790.045 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19784 Raw data (stat): 19784 (pb2sat-v2) R 19783 20224 20223 0 -1 0 26491 0 0 0 78871 141 0 0 25 0 1 0 969390720 65269760 11599 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 15935 11599 301 301 0 15634 0 vsize: 63740 [startup+800.045 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19784 Raw data (stat): 19784 (pb2sat-v2) R 19783 20224 20223 0 -1 0 26698 0 0 0 79870 142 0 0 25 0 1 0 969390720 65466368 11633 4294967295 134512640 135730672 3221224576 3221222864 134747834 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 15983 11633 301 301 0 15682 0 vsize: 63932 [startup+810.052 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19784 Raw data (stat): 19784 (pb2sat-v2) R 19783 20224 20223 0 -1 0 26873 0 0 0 80869 144 0 0 25 0 1 0 969390720 65466368 11635 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 15983 11635 301 301 0 15682 0 vsize: 63932 [startup+820.052 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19784 Raw data (stat): 19784 (pb2sat-v2) R 19783 20224 20223 0 -1 0 26930 0 0 0 81868 145 0 0 25 0 1 0 969390720 65871872 11692 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 16082 11692 301 301 0 15781 0 vsize: 64328 [startup+830.053 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19784 Raw data (stat): 19784 (pb2sat-v2) R 19783 20224 20223 0 -1 0 27113 0 0 0 82867 146 0 0 25 0 1 0 969390720 65871872 11702 4294967295 134512640 135730672 3221224576 3221222864 134747893 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 16082 11702 301 301 0 15781 0 vsize: 64328 [startup+840.054 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19784 Raw data (stat): 19784 (pb2sat-v2) R 19783 20224 20223 0 -1 0 27153 0 0 0 83866 148 0 0 25 0 1 0 969390720 66068480 11742 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 16130 11742 301 301 0 15829 0 vsize: 64520 [startup+850.054 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19784 Raw data (stat): 19784 (pb2sat-v2) R 19783 20224 20223 0 -1 0 27328 0 0 0 84865 149 0 0 25 0 1 0 969390720 66068480 11744 4294967295 134512640 135730672 3221224576 3221223056 134746852 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 16130 11744 301 301 0 15829 0 vsize: 64520 [startup+860.053 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19784 Raw data (stat): 19784 (pb2sat-v2) R 19783 20224 20223 0 -1 0 27334 0 0 0 85864 151 0 0 25 0 1 0 969390720 66068480 11750 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 16130 11750 301 301 0 15829 0 vsize: 64520 [startup+870.053 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19784 Raw data (stat): 19784 (pb2sat-v2) R 19783 20224 20223 0 -1 0 27528 0 0 0 86862 152 0 0 25 0 1 0 969390720 66203648 11771 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 16163 11771 301 301 0 15862 0 vsize: 64652 [startup+880.054 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19784 Raw data (stat): 19784 (pb2sat-v2) R 19783 20224 20223 0 -1 0 27723 0 0 0 87861 154 0 0 25 0 1 0 969390720 66338816 11793 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 16196 11793 301 301 0 15895 0 vsize: 64784 [startup+890.054 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19784 Raw data (stat): 19784 (pb2sat-v2) R 19783 20224 20223 0 -1 0 27726 0 0 0 88860 155 0 0 25 0 1 0 969390720 66338816 11796 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 16196 11796 301 301 0 15895 0 vsize: 64784 [startup+900.054 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19784 Raw data (stat): 19784 (pb2sat-v2) R 19783 20224 20223 0 -1 0 27903 0 0 0 89859 156 0 0 25 0 1 0 969390720 66338816 11800 4294967295 134512640 135730672 3221224576 3221222608 134786288 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 16196 11800 301 301 0 15895 0 vsize: 64784 [startup+910.054 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19784 Raw data (stat): 19784 (pb2sat-v2) R 19783 20224 20223 0 -1 0 28079 0 0 0 90858 157 0 0 25 0 1 0 969390720 66338816 11803 4294967295 134512640 135730672 3221224576 3221222976 134748227 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 16196 11803 301 301 0 15895 0 vsize: 64784 [startup+920.053 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19784 Raw data (stat): 19784 (pb2sat-v2) R 19783 20224 20223 0 -1 0 28082 0 0 0 91858 158 0 0 25 0 1 0 969390720 66338816 11806 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 16196 11806 301 301 0 15895 0 vsize: 64784 [startup+930.054 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19784 Raw data (stat): 19784 (pb2sat-v2) R 19783 20224 20223 0 -1 0 28262 0 0 0 92857 159 0 0 25 0 1 0 969390720 66338816 11813 4294967295 134512640 135730672 3221224576 3221222992 134748108 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 16196 11813 301 301 0 15895 0 vsize: 64784 [startup+940.054 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19784 Raw data (stat): 19784 (pb2sat-v2) R 19783 20224 20223 0 -1 0 28438 0 0 0 93855 160 0 0 25 0 1 0 969390720 66338816 11816 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 16196 11816 301 301 0 15895 0 vsize: 64784 [startup+950.054 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19784 Raw data (stat): 19784 (pb2sat-v2) R 19783 20224 20223 0 -1 0 28440 0 0 0 94855 161 0 0 25 0 1 0 969390720 66338816 11818 4294967295 134512640 135730672 3221224576 3221222864 134747534 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 16196 11818 301 301 0 15895 0 vsize: 64784 [startup+960.055 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19784 Raw data (stat): 19784 (pb2sat-v2) R 19783 20224 20223 0 -1 0 28623 0 0 0 95854 162 0 0 25 0 1 0 969390720 66502656 11828 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 16236 11828 301 301 0 15935 0 vsize: 64944 [startup+970.055 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19784 Raw data (stat): 19784 (pb2sat-v2) R 19783 20224 20223 0 -1 0 28627 0 0 0 96852 164 0 0 25 0 1 0 969390720 66502656 11832 4294967295 134512640 135730672 3221224576 3221222864 134747892 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 16236 11832 301 301 0 15935 0 vsize: 64944 [startup+980.056 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19784 Raw data (stat): 19784 (pb2sat-v2) R 19783 20224 20223 0 -1 0 28983 0 0 0 97850 166 0 0 25 0 1 0 969390720 66502656 11842 4294967295 134512640 135730672 3221224576 3221222864 134747823 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 16236 11842 301 301 0 15935 0 vsize: 64944 [startup+990.057 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19784 Raw data (stat): 19784 (pb2sat-v2) R 19783 20224 20223 0 -1 0 29166 0 0 0 98850 167 0 0 25 0 1 0 969390720 66502656 11852 4294967295 134512640 135730672 3221224576 3221222864 134747563 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 16236 11852 301 301 0 15935 0 vsize: 64944 [startup+1000.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19784 Raw data (stat): 19784 (pb2sat-v2) R 19783 20224 20223 0 -1 0 29184 0 0 0 99849 168 0 0 25 0 1 0 969390720 66650112 11870 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 16272 11870 301 301 0 15971 0 vsize: 65088 [startup+1010.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19784 Raw data (stat): 19784 (pb2sat-v2) R 19783 20224 20223 0 -1 0 29360 0 0 0 100848 169 0 0 25 0 1 0 969390720 66650112 11873 4294967295 134512640 135730672 3221224576 3221222864 134747808 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 16272 11873 301 301 0 15971 0 vsize: 65088 [startup+1020.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19784 Raw data (stat): 19784 (pb2sat-v2) R 19783 20224 20223 0 -1 0 29582 0 0 0 101846 171 0 0 25 0 1 0 969390720 66785280 11922 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 16305 11922 301 301 0 16004 0 vsize: 65220 [startup+1030.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19784 Raw data (stat): 19784 (pb2sat-v2) R 19783 20224 20223 0 -1 0 29586 0 0 0 102846 172 0 0 25 0 1 0 969390720 66785280 11926 4294967295 134512640 135730672 3221224576 3221222864 134747657 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 16305 11926 301 301 0 16004 0 vsize: 65220 [startup+1040.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19784 Raw data (stat): 19784 (pb2sat-v2) R 19783 20224 20223 0 -1 0 29763 0 0 0 103845 173 0 0 25 0 1 0 969390720 66785280 11930 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 16305 11930 301 301 0 16004 0 vsize: 65220 [startup+1050.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19784 Raw data (stat): 19784 (pb2sat-v2) R 19783 20224 20223 0 -1 0 29785 0 0 0 104843 174 0 0 25 0 1 0 969390720 66785280 11952 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 16305 11952 301 301 0 16004 0 vsize: 65220 [startup+1060.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19784 Raw data (stat): 19784 (pb2sat-v2) R 19783 20224 20223 0 -1 0 30031 0 0 0 105843 175 0 0 25 0 1 0 969390720 66785280 12025 4294967295 134512640 135730672 3221224576 3221222992 134748166 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 16305 12025 301 301 0 16004 0 vsize: 65220 [startup+1070.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19784 Raw data (stat): 19784 (pb2sat-v2) R 19783 20224 20223 0 -1 0 30234 0 0 0 106841 177 0 0 25 0 1 0 969390720 66920448 12055 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 16338 12055 301 301 0 16037 0 vsize: 65352 [startup+1080.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19784 Raw data (stat): 19784 (pb2sat-v2) R 19783 20224 20223 0 -1 0 30236 0 0 0 107840 178 0 0 25 0 1 0 969390720 66920448 12057 4294967295 134512640 135730672 3221224576 3221222992 134748108 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 16338 12057 301 301 0 16037 0 vsize: 65352 [startup+1090.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19784 Raw data (stat): 19784 (pb2sat-v2) R 19783 20224 20223 0 -1 0 30413 0 0 0 108840 179 0 0 25 0 1 0 969390720 66920448 12061 4294967295 134512640 135730672 3221224576 3221222864 134747647 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 16338 12061 301 301 0 16037 0 vsize: 65352 [startup+1100.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19784 Raw data (stat): 19784 (pb2sat-v2) R 19783 20224 20223 0 -1 0 30591 0 0 0 109839 180 0 0 25 0 1 0 969390720 66920448 12066 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 16338 12066 301 301 0 16037 0 vsize: 65352 [startup+1110.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19784 Raw data (stat): 19784 (pb2sat-v2) R 19783 20224 20223 0 -1 0 30800 0 0 0 110837 182 0 0 25 0 1 0 969390720 66920448 12102 4294967295 134512640 135730672 3221224576 3221222864 134747563 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 16338 12102 301 301 0 16037 0 vsize: 65352 [startup+1120.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19784 Raw data (stat): 19784 (pb2sat-v2) R 19783 20224 20223 0 -1 0 30835 0 0 0 111836 183 0 0 25 0 1 0 969390720 66920448 12137 4294967295 134512640 135730672 3221224576 3221222880 134745782 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 16338 12137 301 301 0 16037 0 vsize: 65352 [startup+1130.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19784 Raw data (stat): 19784 (pb2sat-v2) R 19783 20224 20223 0 -1 0 31074 0 0 0 112835 184 0 0 25 0 1 0 969390720 67055616 12203 4294967295 134512640 135730672 3221224576 3221222864 134747483 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 16371 12203 301 301 0 16070 0 vsize: 65484 [startup+1140.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 19784 Raw data (stat): 19784 (pb2sat-v2) R 19783 20224 20223 0 -1 0 31311 0 0 0 113834 185 0 0 25 0 1 0 969390720 67035136 12267 4294967295 134512640 135730672 3221224576 3221222864 134747587 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 16366 12267 301 301 0 16065 0 vsize: 65464 [startup+1150.06 s] Raw data (loadavg): 1.15 1.00 0.93 2/54 19837 Raw data (stat): 19784 (pb2sat-v2) R 19783 20224 20223 0 -1 0 31499 0 0 0 114829 189 0 0 25 0 1 0 969390720 67035136 12282 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 16366 12282 301 301 0 16065 0 vsize: 65464 [startup+1160.06 s] Raw data (loadavg): 1.12 1.00 0.93 2/54 19837 Raw data (stat): 19784 (pb2sat-v2) R 19783 20224 20223 0 -1 0 31767 0 0 0 115828 191 0 0 25 0 1 0 969390720 67035136 12377 4294967295 134512640 135730672 3221224576 3221222992 134748214 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 16366 12377 301 301 0 16065 0 vsize: 65464 [startup+1170.06 s] Raw data (loadavg): 1.10 1.00 0.93 2/54 19837 Raw data (stat): 19784 (pb2sat-v2) R 19783 20224 20223 0 -1 0 31986 0 0 0 116827 192 0 0 25 0 1 0 969390720 67035136 12423 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 16366 12423 301 301 0 16065 0 vsize: 65464 [startup+1180.06 s] Raw data (loadavg): 1.09 1.00 0.93 2/54 19837 Raw data (stat): 19784 (pb2sat-v2) R 19783 20224 20223 0 -1 0 32035 0 0 0 117826 193 0 0 25 0 1 0 969390720 67170304 12472 4294967295 134512640 135730672 3221224576 3221222992 134748163 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 16399 12472 301 301 0 16098 0 vsize: 65596 [startup+1190.06 s] Raw data (loadavg): 1.07 1.00 0.93 2/54 19837 Raw data (stat): 19784 (pb2sat-v2) R 19783 20224 20223 0 -1 0 32249 0 0 0 118824 195 0 0 25 0 1 0 969390720 67170304 12513 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 16399 12513 301 301 0 16098 0 vsize: 65596 [startup+1200.06 s] Raw data (loadavg): 1.06 1.00 0.93 2/54 19837 Raw data (stat): 19784 (pb2sat-v2) R 19783 20224 20223 0 -1 0 32457 0 0 0 119823 196 0 0 25 0 1 0 969390720 67878912 12721 4294967295 134512640 135730672 3221224576 3221222528 134769144 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 16572 12721 301 301 0 16271 0 vsize: 66288 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.35 s] Raw data (loadavg): 1.06 1.00 0.93 1/54 19837 Raw data (stat): 19784 (pb2sat-v2) Z 19783 20224 20223 0 -1 12 32459 0 0 0 119849 199 0 0 25 0 1 0 969390720 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 1 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.35 CPU time (s): 1200.49 CPU user time (s): 1198.49 CPU system time (s): 1.9917 CPU usage (%): 100.011 Max. virtual memory (Kb): 66288 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK -19 #### END VERIFIER DATA ####