Name | 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 | -21 |
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 | 1195.11 |
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 |
LAUNCH ON wulflinc5 THE 2005-09-20 16:52:38 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=5665 boxname=wulflinc5 idbench=977 idsolver=5 numberseed=0 MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f /oldhome/oroussel/solvers/Pueblo MD5SUM BENCH: c5ca7819a7dcae16ff6045242cdd1f87 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-protfold.opb REAL COMMAND: Pueblo IDLAUNCH: 5665 /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: 819588 kB Buffers: 33156 kB Cached: 155848 kB SwapCached: 784 kB Active: 73124 kB Inactive: 118672 kB HighTotal: 131008 kB HighFree: 8736 kB LowTotal: 903652 kB LowFree: 810852 kB SwapTotal: 2097136 kB SwapFree: 2095884 kB Dirty: 4 kB Writeback: 0 kB Mapped: 5820 kB Slab: 17604 kB Committed_AS: 64304 kB PageTables: 332 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-20 17:13:00 (client local time) WITH STATUS 10 IN 1189.02 SECONDS stats: 5665 0 1189.02 10
c Pueblo version 1.3 (July 2005) c Developed @ University of Michigan, Ann Arbor, MI c by Hossein Sheini c starting to Solve c #variables read: 1835 - #constraints read: 3985 c total time : 1189 s s SATISFIABLE v N_0x23_1_0x23_2_bit0 -N_0x23_2_0x23_3_bit0 -N_0x23_3_0x23_4_bit0 -N_0x23_4_0x23_5_bit0 -N_0x23_5_0x23_6_bit0 -N_0x23_6_0x23_7_bit0 -N_0x23_8_0x23_9_bit0 -N_0x23_9_0x23_10_bit0 -N_0x23_10_0x23_11_bit0 -N_0x23_11_0x23_12_bit0 -N_0x23_12_0x23_13_bit0 -N_0x23_13_0x23_14_bit0 N_0x23_15_0x23_16_bit0 N_0x23_16_0x23_17_bit0 N_0x23_17_0x23_18_bit0 -N_0x23_18_0x23_19_bit0 -N_0x23_19_0x23_20_bit0 -N_0x23_20_0x23_21_bit0 -N_0x23_22_0x23_23_bit0 -N_0x23_23_0x23_24_bit0 -N_0x23_24_0x23_25_bit0 -N_0x23_25_0x23_26_bit0 N_0x23_26_0x23_27_bit0 -N_0x23_27_0x23_28_bit0 -N_0x23_29_0x23_30_bit0 -N_0x23_30_0x23_31_bit0 -N_0x23_31_0x23_32_bit0 -N_0x23_32_0x23_33_bit0 -N_0x23_33_0x23_34_bit0 -N_0x23_34_0x23_35_bit0 -N_0x23_36_0x23_37_bit0 -N_0x23_37_0x23_38_bit0 N_0x23_38_0x23_39_bit0 -N_0x23_39_0x23_40_bit0 -N_0x23_40_0x23_41_bit0 -N_0x23_41_0x23_42_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_1_0x23_8_bit0 N_0x23_2_0x23_9_bit0 -N_0x23_3_0x23_10_bit0 -N_0x23_4_0x23_11_bit0 -N_0x23_5_0x23_12_bit0 -N_0x23_6_0x23_13_bit0 -N_0x23_7_0x23_14_bit0 -N_0x23_8_0x23_15_bit0 N_0x23_9_0x23_16_bit0 -N_0x23_10_0x23_17_bit0 N_0x23_11_0x23_18_bit0 -N_0x23_12_0x23_19_bit0 -N_0x23_13_0x23_20_bit0 -N_0x23_14_0x23_21_bit0 -N_0x23_15_0x23_22_bit0 -N_0x23_16_0x23_23_bit0 -N_0x23_17_0x23_24_bit0 -N_0x23_18_0x23_25_bit0 -N_0x23_19_0x23_26_bit0 -N_0x23_20_0x23_27_bit0 -N_0x23_21_0x23_28_bit0 -N_0x23_22_0x23_29_bit0 -N_0x23_23_0x23_30_bit0 -N_0x23_24_0x23_31_bit0 -N_0x23_25_0x23_32_bit0 -N_0x23_26_0x23_33_bit0 N_0x23_27_0x23_34_bit0 -N_0x23_28_0x23_35_bit0 -N_0x23_29_0x23_36_bit0 -N_0x23_30_0x23_37_bit0 -N_0x23_31_0x23_38_bit0 -N_0x23_32_0x23_39_bit0 -N_0x23_33_0x23_40_bit0 N_0x23_34_0x23_41_bit0 -N_0x23_35_0x23_42_bit0 -N_0x23_36_0x23_43_bit0 -N_0x23_37_0x23_44_bit0 N_0x23_38_0x23_45_bit0 N_0x23_39_0x23_46_bit0 -N_0x23_40_0x23_47_bit0 N_0x23_41_0x23_48_bit0 -N_0x23_42_0x23_49_bit0 N_0x23_1_0x23_9_bit0 -N_0x23_2_0x23_10_bit0 -N_0x23_3_0x23_11_bit0 -N_0x23_4_0x23_12_bit0 -N_0x23_5_0x23_13_bit0 -N_0x23_6_0x23_14_bit0 -N_0x23_8_0x23_16_bit0 N_0x23_9_0x23_17_bit0 -N_0x23_10_0x23_18_bit0 -N_0x23_11_0x23_19_bit0 -N_0x23_12_0x23_20_bit0 -N_0x23_13_0x23_21_bit0 -N_0x23_15_0x23_23_bit0 -N_0x23_16_0x23_24_bit0 -N_0x23_17_0x23_25_bit0 N_0x23_18_0x23_26_bit0 -N_0x23_19_0x23_27_bit0 -N_0x23_20_0x23_28_bit0 -N_0x23_22_0x23_30_bit0 -N_0x23_23_0x23_31_bit0 -N_0x23_24_0x23_32_bit0 -N_0x23_25_0x23_33_bit0 N_0x23_26_0x23_34_bit0 -N_0x23_27_0x23_35_bit0 -N_0x23_29_0x23_37_bit0 -N_0x23_30_0x23_38_bit0 -N_0x23_31_0x23_39_bit0 -N_0x23_32_0x23_40_bit0 -N_0x23_33_0x23_41_bit0 -N_0x23_34_0x23_42_bit0 -N_0x23_36_0x23_44_bit0 -N_0x23_37_0x23_45_bit0 N_0x23_38_0x23_46_bit0 -N_0x23_39_0x23_47_bit0 -N_0x23_40_0x23_48_bit0 -N_0x23_41_0x23_49_bit0 -x_0x23_49_0x23_34_bit0 -x_0x23_49_0x23_32_bit0 -x_0x23_49_0x23_30_bit0 -x_0x23_49_0x23_29_bit0 -x_0x23_49_0x23_27_bit0 -x_0x23_49_0x23_26_bit0 -x_0x23_49_0x23_23_bit0 -x_0x23_49_0x23_20_bit0 -x_0x23_49_0x23_18_bit0 -x_0x23_49_0x23_16_bit0 -x_0x23_49_0x23_13_bit0 -x_0x23_49_0x23_11_bit0 -x_0x23_49_0x23_9_bit0 -x_0x23_49_0x23_8_bit0 -x_0x23_49_0x23_6_bit0 -x_0x23_49_0x23_3_bit0 -x_0x23_49_0x23_1_bit0 -x_0x23_48_0x23_34_bit0 -x_0x23_48_0x23_32_bit0 -x_0x23_48_0x23_30_bit0 -x_0x23_48_0x23_29_bit0 -x_0x23_48_0x23_27_bit0 -x_0x23_48_0x23_26_bit0 -x_0x23_48_0x23_23_bit0 -x_0x23_48_0x23_20_bit0 -x_0x23_48_0x23_18_bit0 -x_0x23_48_0x23_16_bit0 -x_0x23_48_0x23_13_bit0 -x_0x23_48_0x23_11_bit0 -x_0x23_48_0x23_9_bit0 -x_0x23_48_0x23_8_bit0 x_0x23_48_0x23_6_bit0 -x_0x23_48_0x23_3_bit0 -x_0x23_48_0x23_1_bit0 -x_0x23_47_0x23_34_bit0 -x_0x23_47_0x23_32_bit0 -x_0x23_47_0x23_30_bit0 -x_0x23_47_0x23_29_bit0 -x_0x23_47_0x23_27_bit0 -x_0x23_47_0x23_26_bit0 -x_0x23_47_0x23_23_bit0 -x_0x23_47_0x23_20_bit0 -x_0x23_47_0x23_18_bit0 -x_0x23_47_0x23_16_bit0 -x_0x23_47_0x23_13_bit0 -x_0x23_47_0x23_11_bit0 -x_0x23_47_0x23_9_bit0 -x_0x23_47_0x23_8_bit0 -x_0x23_47_0x23_6_bit0 -x_0x23_47_0x23_3_bit0 -x_0x23_47_0x23_1_bit0 -x_0x23_46_0x23_34_bit0 -x_0x23_46_0x23_32_bit0 -x_0x23_46_0x23_30_bit0 -x_0x23_46_0x23_29_bit0 -x_0x23_46_0x23_27_bit0 -x_0x23_46_0x23_26_bit0 -x_0x23_46_0x23_23_bit0 -x_0x23_46_0x23_20_bit0 -x_0x23_46_0x23_18_bit0 -x_0x23_46_0x23_16_bit0 -x_0x23_46_0x23_13_bit0 -x_0x23_46_0x23_11_bit0 -x_0x23_46_0x23_9_bit0 x_0x23_46_0x23_8_bit0 -x_0x23_46_0x23_6_bit0 -x_0x23_46_0x23_3_bit0 -x_0x23_46_0x23_1_bit0 -x_0x23_45_0x23_34_bit0 -x_0x23_45_0x23_32_bit0 -x_0x23_45_0x23_30_bit0 -x_0x23_45_0x23_29_bit0 -x_0x23_45_0x23_27_bit0 -x_0x23_45_0x23_26_bit0 -x_0x23_45_0x23_23_bit0 -x_0x23_45_0x23_20_bit0 -x_0x23_45_0x23_18_bit0 -x_0x23_45_0x23_16_bit0 -x_0x23_45_0x23_13_bit0 -x_0x23_45_0x23_11_bit0 x_0x23_45_0x23_9_bit0 -x_0x23_45_0x23_8_bit0 -x_0x23_45_0x23_6_bit0 -x_0x23_45_0x23_3_bit0 -x_0x23_45_0x23_1_bit0 -x_0x23_44_0x23_34_bit0 -x_0x23_44_0x23_32_bit0 -x_0x23_44_0x23_30_bit0 -x_0x23_44_0x23_29_bit0 -x_0x23_44_0x23_27_bit0 -x_0x23_44_0x23_26_bit0 -x_0x23_44_0x23_23_bit0 -x_0x23_44_0x23_20_bit0 -x_0x23_44_0x23_18_bit0 -x_0x23_44_0x23_16_bit0 -x_0x23_44_0x23_13_bit0 -x_0x23_44_0x23_11_bit0 -x_0x23_44_0x23_9_bit0 -x_0x23_44_0x23_8_bit0 -x_0x23_44_0x23_6_bit0 -x_0x23_44_0x23_3_bit0 -x_0x23_44_0x23_1_bit0 -x_0x23_43_0x23_34_bit0 -x_0x23_43_0x23_32_bit0 -x_0x23_43_0x23_30_bit0 -x_0x23_43_0x23_29_bit0 -x_0x23_43_0x23_27_bit0 -x_0x23_43_0x23_26_bit0 -x_0x23_43_0x23_23_bit0 -x_0x23_43_0x23_20_bit0 -x_0x23_43_0x23_18_bit0 -x_0x23_43_0x23_16_bit0 -x_0x23_43_0x23_13_bit0 -x_0x23_43_0x23_11_bit0 -x_0x23_43_0x23_9_bit0 -x_0x23_43_0x23_8_bit0 -x_0x23_43_0x23_6_bit0 -x_0x23_43_0x23_3_bit0 -x_0x23_43_0x23_1_bit0 -x_0x23_42_0x23_34_bit0 -x_0x23_42_0x23_32_bit0 -x_0x23_42_0x23_30_bit0 -x_0x23_42_0x23_29_bit0 -x_0x23_42_0x23_27_bit0 -x_0x23_42_0x23_26_bit0 -x_0x23_42_0x23_23_bit0 -x_0x23_42_0x23_20_bit0 -x_0x23_42_0x23_18_bit0 -x_0x23_42_0x23_16_bit0 -x_0x23_42_0x23_13_bit0 -x_0x23_42_0x23_11_bit0 -x_0x23_42_0x23_9_bit0 -x_0x23_42_0x23_8_bit0 -x_0x23_42_0x23_6_bit0 -x_0x23_42_0x23_3_bit0 -x_0x23_42_0x23_1_bit0 -x_0x23_41_0x23_34_bit0 -x_0x23_41_0x23_32_bit0 -x_0x23_41_0x23_30_bit0 -x_0x23_41_0x23_29_bit0 -x_0x23_41_0x23_27_bit0 -x_0x23_41_0x23_26_bit0 -x_0x23_41_0x23_23_bit0 -x_0x23_41_0x23_20_bit0 -x_0x23_41_0x23_18_bit0 x_0x23_41_0x23_16_bit0 -x_0x23_41_0x23_13_bit0 -x_0x23_41_0x23_11_bit0 -x_0x23_41_0x23_9_bit0 -x_0x23_41_0x23_8_bit0 -x_0x23_41_0x23_6_bit0 -x_0x23_41_0x23_3_bit0 -x_0x23_41_0x23_1_bit0 -x_0x23_40_0x23_34_bit0 -x_0x23_40_0x23_32_bit0 -x_0x23_40_0x23_30_bit0 -x_0x23_40_0x23_29_bit0 -x_0x23_40_0x23_27_bit0 -x_0x23_40_0x23_26_bit0 -x_0x23_40_0x23_23_bit0 -x_0x23_40_0x23_20_bit0 -x_0x23_40_0x23_18_bit0 -x_0x23_40_0x23_16_bit0 -x_0x23_40_0x23_13_bit0 -x_0x23_40_0x23_11_bit0 -x_0x23_40_0x23_9_bit0 -x_0x23_40_0x23_8_bit0 -x_0x23_40_0x23_6_bit0 -x_0x23_40_0x23_3_bit0 -x_0x23_40_0x23_1_bit0 -x_0x23_39_0x23_34_bit0 -x_0x23_39_0x23_32_bit0 -x_0x23_39_0x23_30_bit0 -x_0x23_39_0x23_29_bit0 -x_0x23_39_0x23_27_bit0 -x_0x23_39_0x23_26_bit0 -x_0x23_39_0x23_23_bit0 -x_0x23_39_0x23_20_bit0 -x_0x23_39_0x23_18_bit0 -x_0x23_39_0x23_16_bit0 x_0x23_39_0x23_13_bit0 -x_0x23_39_0x23_11_bit0 -x_0x23_39_0x23_9_bit0 -x_0x23_39_0x23_8_bit0 -x_0x23_39_0x23_6_bit0 -x_0x23_39_0x23_3_bit0 -x_0x23_39_0x23_1_bit0 -x_0x23_38_0x23_34_bit0 -x_0x23_38_0x23_32_bit0 -x_0x23_38_0x23_30_bit0 -x_0x23_38_0x23_29_bit0 -x_0x23_38_0x23_27_bit0 -x_0x23_38_0x23_26_bit0 -x_0x23_38_0x23_23_bit0 -x_0x23_38_0x23_20_bit0 -x_0x23_38_0x23_18_bit0 -x_0x23_38_0x23_16_bit0 -x_0x23_38_0x23_13_bit0 x_0x23_38_0x23_11_bit0 -x_0x23_38_0x23_9_bit0 -x_0x23_38_0x23_8_bit0 -x_0x23_38_0x23_6_bit0 -x_0x23_38_0x23_3_bit0 -x_0x23_38_0x23_1_bit0 -x_0x23_37_0x23_34_bit0 -x_0x23_37_0x23_32_bit0 -x_0x23_37_0x23_30_bit0 -x_0x23_37_0x23_29_bit0 -x_0x23_37_0x23_27_bit0 -x_0x23_37_0x23_26_bit0 -x_0x23_37_0x23_23_bit0 -x_0x23_37_0x23_20_bit0 -x_0x23_37_0x23_18_bit0 -x_0x23_37_0x23_16_bit0 -x_0x23_37_0x23_13_bit0 -x_0x23_37_0x23_11_bit0 -x_0x23_37_0x23_9_bit0 -x_0x23_37_0x23_8_bit0 -x_0x23_37_0x23_6_bit0 -x_0x23_37_0x23_3_bit0 -x_0x23_37_0x23_1_bit0 -x_0x23_36_0x23_34_bit0 -x_0x23_36_0x23_32_bit0 -x_0x23_36_0x23_30_bit0 -x_0x23_36_0x23_29_bit0 -x_0x23_36_0x23_27_bit0 -x_0x23_36_0x23_26_bit0 -x_0x23_36_0x23_23_bit0 -x_0x23_36_0x23_20_bit0 -x_0x23_36_0x23_18_bit0 -x_0x23_36_0x23_16_bit0 -x_0x23_36_0x23_13_bit0 -x_0x23_36_0x23_11_bit0 -x_0x23_36_0x23_9_bit0 -x_0x23_36_0x23_8_bit0 -x_0x23_36_0x23_6_bit0 -x_0x23_36_0x23_3_bit0 -x_0x23_36_0x23_1_bit0 -x_0x23_35_0x23_34_bit0 -x_0x23_35_0x23_32_bit0 -x_0x23_35_0x23_30_bit0 -x_0x23_35_0x23_29_bit0 -x_0x23_35_0x23_27_bit0 -x_0x23_35_0x23_26_bit0 -x_0x23_35_0x23_23_bit0 -x_0x23_35_0x23_20_bit0 -x_0x23_35_0x23_18_bit0 -x_0x23_35_0x23_16_bit0 -x_0x23_35_0x23_13_bit0 -x_0x23_35_0x23_11_bit0 -x_0x23_35_0x23_9_bit0 -x_0x23_35_0x23_8_bit0 -x_0x23_35_0x23_6_bit0 -x_0x23_35_0x23_3_bit0 -x_0x23_35_0x23_1_bit0 -x_0x23_34_0x23_34_bit0 -x_0x23_34_0x23_32_bit0 -x_0x23_34_0x23_30_bit0 -x_0x23_34_0x23_29_bit0 -x_0x23_34_0x23_27_bit0 -x_0x23_34_0x23_26_bit0 -x_0x23_34_0x23_23_bit0 -x_0x23_34_0x23_20_bit0 -x_0x23_34_0x23_18_bit0 -x_0x23_34_0x23_16_bit0 -x_0x23_34_0x23_13_bit0 -x_0x23_34_0x23_11_bit0 -x_0x23_34_0x23_9_bit0 -x_0x23_34_0x23_8_bit0 -x_0x23_34_0x23_6_bit0 x_0x23_34_0x23_3_bit0 -x_0x23_34_0x23_1_bit0 -x_0x23_33_0x23_34_bit0 -x_0x23_33_0x23_32_bit0 -x_0x23_33_0x23_30_bit0 -x_0x23_33_0x23_29_bit0 -x_0x23_33_0x23_27_bit0 -x_0x23_33_0x23_26_bit0 -x_0x23_33_0x23_23_bit0 -x_0x23_33_0x23_20_bit0 -x_0x23_33_0x23_18_bit0 -x_0x23_33_0x23_16_bit0 -x_0x23_33_0x23_13_bit0 -x_0x23_33_0x23_11_bit0 -x_0x23_33_0x23_9_bit0 -x_0x23_33_0x23_8_bit0 -x_0x23_33_0x23_6_bit0 -x_0x23_33_0x23_3_bit0 -x_0x23_33_0x23_1_bit0 -x_0x23_32_0x23_34_bit0 -x_0x23_32_0x23_32_bit0 -x_0x23_32_0x23_30_bit0 -x_0x23_32_0x23_29_bit0 -x_0x23_32_0x23_27_bit0 -x_0x23_32_0x23_26_bit0 -x_0x23_32_0x23_23_bit0 -x_0x23_32_0x23_20_bit0 -x_0x23_32_0x23_18_bit0 -x_0x23_32_0x23_16_bit0 -x_0x23_32_0x23_13_bit0 -x_0x23_32_0x23_11_bit0 -x_0x23_32_0x23_9_bit0 -x_0x23_32_0x23_8_bit0 -x_0x23_32_0x23_6_bit0 -x_0x23_32_0x23_3_bit0 -x_0x23_32_0x23_1_bit0 -x_0x23_31_0x23_34_bit0 -x_0x23_31_0x23_32_bit0 -x_0x23_31_0x23_30_bit0 -x_0x23_31_0x23_29_bit0 -x_0x23_31_0x23_27_bit0 -x_0x23_31_0x23_26_bit0 -x_0x23_31_0x23_23_bit0 -x_0x23_31_0x23_20_bit0 -x_0x23_31_0x23_18_bit0 -x_0x23_31_0x23_16_bit0 -x_0x23_31_0x23_13_bit0 -x_0x23_31_0x23_11_bit0 -x_0x23_31_0x23_9_bit0 -x_0x23_31_0x23_8_bit0 -x_0x23_31_0x23_6_bit0 -x_0x23_31_0x23_3_bit0 -x_0x23_31_0x23_1_bit0 -x_0x23_30_0x23_34_bit0 -x_0x23_30_0x23_32_bit0 -x_0x23_30_0x23_30_bit0 -x_0x23_30_0x23_29_bit0 -x_0x23_30_0x23_27_bit0 -x_0x23_30_0x23_26_bit0 -x_0x23_30_0x23_23_bit0 -x_0x23_30_0x23_20_bit0 -x_0x23_30_0x23_18_bit0 -x_0x23_30_0x23_16_bit0 -x_0x23_30_0x23_13_bit0 -x_0x23_30_0x23_11_bit0 -x_0x23_30_0x23_9_bit0 -x_0x23_30_0x23_8_bit0 -x_0x23_30_0x23_6_bit0 -x_0x23_30_0x23_3_bit0 -x_0x23_30_0x23_1_bit0 -x_0x23_29_0x23_34_bit0 -x_0x23_29_0x23_32_bit0 -x_0x23_29_0x23_30_bit0 -x_0x23_29_0x23_29_bit0 -x_0x23_29_0x23_27_bit0 -x_0x23_29_0x23_26_bit0 -x_0x23_29_0x23_23_bit0 -x_0x23_29_0x23_20_bit0 -x_0x23_29_0x23_18_bit0 -x_0x23_29_0x23_16_bit0 -x_0x23_29_0x23_13_bit0 -x_0x23_29_0x23_11_bit0 -x_0x23_29_0x23_9_bit0 -x_0x23_29_0x23_8_bit0 -x_0x23_29_0x23_6_bit0 -x_0x23_29_0x23_3_bit0 -x_0x23_29_0x23_1_bit0 -x_0x23_28_0x23_34_bit0 -x_0x23_28_0x23_32_bit0 -x_0x23_28_0x23_30_bit0 -x_0x23_28_0x23_29_bit0 -x_0x23_28_0x23_27_bit0 -x_0x23_28_0x23_26_bit0 -x_0x23_28_0x23_23_bit0 -x_0x23_28_0x23_20_bit0 -x_0x23_28_0x23_18_bit0 -x_0x23_28_0x23_16_bit0 -x_0x23_28_0x23_13_bit0 -x_0x23_28_0x23_11_bit0 -x_0x23_28_0x23_9_bit0 -x_0x23_28_0x23_8_bit0 -x_0x23_28_0x23_6_bit0 -x_0x23_28_0x23_3_bit0 -x_0x23_28_0x23_1_bit0 -x_0x23_27_0x23_34_bit0 -x_0x23_27_0x23_32_bit0 -x_0x23_27_0x23_30_bit0 -x_0x23_27_0x23_29_bit0 -x_0x23_27_0x23_27_bit0 -x_0x23_27_0x23_26_bit0 -x_0x23_27_0x23_23_bit0 -x_0x23_27_0x23_20_bit0 -x_0x23_27_0x23_18_bit0 -x_0x23_27_0x23_16_bit0 -x_0x23_27_0x23_13_bit0 -x_0x23_27_0x23_11_bit0 -x_0x23_27_0x23_9_bit0 -x_0x23_27_0x23_8_bit0 -x_0x23_27_0x23_6_bit0 -x_0x23_27_0x23_3_bit0 x_0x23_27_0x23_1_bit0 -x_0x23_26_0x23_34_bit0 -x_0x23_26_0x23_32_bit0 -x_0x23_26_0x23_30_bit0 -x_0x23_26_0x23_29_bit0 -x_0x23_26_0x23_27_bit0 -x_0x23_26_0x23_26_bit0 -x_0x23_26_0x23_23_bit0 -x_0x23_26_0x23_20_bit0 x_0x23_26_0x23_18_bit0 -x_0x23_26_0x23_16_bit0 -x_0x23_26_0x23_13_bit0 -x_0x23_26_0x23_11_bit0 -x_0x23_26_0x23_9_bit0 -x_0x23_26_0x23_8_bit0 -x_0x23_26_0x23_6_bit0 -x_0x23_26_0x23_3_bit0 -x_0x23_26_0x23_1_bit0 -x_0x23_25_0x23_34_bit0 -x_0x23_25_0x23_32_bit0 -x_0x23_25_0x23_30_bit0 -x_0x23_25_0x23_29_bit0 -x_0x23_25_0x23_27_bit0 -x_0x23_25_0x23_26_bit0 -x_0x23_25_0x23_23_bit0 -x_0x23_25_0x23_20_bit0 -x_0x23_25_0x23_18_bit0 -x_0x23_25_0x23_16_bit0 -x_0x23_25_0x23_13_bit0 -x_0x23_25_0x23_11_bit0 -x_0x23_25_0x23_9_bit0 -x_0x23_25_0x23_8_bit0 -x_0x23_25_0x23_6_bit0 -x_0x23_25_0x23_3_bit0 -x_0x23_25_0x23_1_bit0 -x_0x23_24_0x23_34_bit0 -x_0x23_24_0x23_32_bit0 -x_0x23_24_0x23_30_bit0 -x_0x23_24_0x23_29_bit0 -x_0x23_24_0x23_27_bit0 -x_0x23_24_0x23_26_bit0 -x_0x23_24_0x23_23_bit0 -x_0x23_24_0x23_20_bit0 -x_0x23_24_0x23_18_bit0 -x_0x23_24_0x23_16_bit0 -x_0x23_24_0x23_13_bit0 -x_0x23_24_0x23_11_bit0 -x_0x23_24_0x23_9_bit0 -x_0x23_24_0x23_8_bit0 -x_0x23_24_0x23_6_bit0 -x_0x23_24_0x23_3_bit0 -x_0x23_24_0x23_1_bit0 -x_0x23_23_0x23_34_bit0 -x_0x23_23_0x23_32_bit0 -x_0x23_23_0x23_30_bit0 -x_0x23_23_0x23_29_bit0 -x_0x23_23_0x23_27_bit0 -x_0x23_23_0x23_26_bit0 -x_0x23_23_0x23_23_bit0 -x_0x23_23_0x23_20_bit0 -x_0x23_23_0x23_18_bit0 -x_0x23_23_0x23_16_bit0 -x_0x23_23_0x23_13_bit0 -x_0x23_23_0x23_11_bit0 -x_0x23_23_0x23_9_bit0 -x_0x23_23_0x23_8_bit0 -x_0x23_23_0x23_6_bit0 -x_0x23_23_0x23_3_bit0 -x_0x23_23_0x23_1_bit0 -x_0x23_22_0x23_34_bit0 -x_0x23_22_0x23_32_bit0 -x_0x23_22_0x23_30_bit0 -x_0x23_22_0x23_29_bit0 -x_0x23_22_0x23_27_bit0 -x_0x23_22_0x23_26_bit0 -x_0x23_22_0x23_23_bit0 -x_0x23_22_0x23_20_bit0 -x_0x23_22_0x23_18_bit0 -x_0x23_22_0x23_16_bit0 -x_0x23_22_0x23_13_bit0 -x_0x23_22_0x23_11_bit0 -x_0x23_22_0x23_9_bit0 -x_0x23_22_0x23_8_bit0 -x_0x23_22_0x23_6_bit0 -x_0x23_22_0x23_3_bit0 -x_0x23_22_0x23_1_bit0 -x_0x23_21_0x23_34_bit0 -x_0x23_21_0x23_32_bit0 -x_0x23_21_0x23_30_bit0 -x_0x23_21_0x23_29_bit0 -x_0x23_21_0x23_27_bit0 -x_0x23_21_0x23_26_bit0 -x_0x23_21_0x23_23_bit0 -x_0x23_21_0x23_20_bit0 -x_0x23_21_0x23_18_bit0 -x_0x23_21_0x23_16_bit0 -x_0x23_21_0x23_13_bit0 -x_0x23_21_0x23_11_bit0 -x_0x23_21_0x23_9_bit0 -x_0x23_21_0x23_8_bit0 -x_0x23_21_0x23_6_bit0 -x_0x23_21_0x23_3_bit0 -x_0x23_21_0x23_1_bit0 -x_0x23_20_0x23_34_bit0 -x_0x23_20_0x23_32_bit0 -x_0x23_20_0x23_30_bit0 -x_0x23_20_0x23_29_bit0 -x_0x23_20_0x23_27_bit0 -x_0x23_20_0x23_26_bit0 -x_0x23_20_0x23_23_bit0 -x_0x23_20_0x23_20_bit0 -x_0x23_20_0x23_18_bit0 -x_0x23_20_0x23_16_bit0 -x_0x23_20_0x23_13_bit0 -x_0x23_20_0x23_11_bit0 -x_0x23_20_0x23_9_bit0 -x_0x23_20_0x23_8_bit0 -x_0x23_20_0x23_6_bit0 -x_0x23_20_0x23_3_bit0 -x_0x23_20_0x23_1_bit0 -x_0x23_19_0x23_34_bit0 -x_0x23_19_0x23_32_bit0 -x_0x23_19_0x23_30_bit0 -x_0x23_19_0x23_29_bit0 -x_0x23_19_0x23_27_bit0 -x_0x23_19_0x23_26_bit0 -x_0x23_19_0x23_23_bit0 -x_0x23_19_0x23_20_bit0 -x_0x23_19_0x23_18_bit0 -x_0x23_19_0x23_16_bit0 -x_0x23_19_0x23_13_bit0 -x_0x23_19_0x23_11_bit0 -x_0x23_19_0x23_9_bit0 -x_0x23_19_0x23_8_bit0 -x_0x23_19_0x23_6_bit0 -x_0x23_19_0x23_3_bit0 -x_0x23_19_0x23_1_bit0 -x_0x23_18_0x23_34_bit0 -x_0x23_18_0x23_32_bit0 -x_0x23_18_0x23_30_bit0 -x_0x23_18_0x23_29_bit0 -x_0x23_18_0x23_27_bit0 -x_0x23_18_0x23_26_bit0 -x_0x23_18_0x23_23_bit0 x_0x23_18_0x23_20_bit0 -x_0x23_18_0x23_18_bit0 -x_0x23_18_0x23_16_bit0 -x_0x23_18_0x23_13_bit0 -x_0x23_18_0x23_11_bit0 -x_0x23_18_0x23_9_bit0 -x_0x23_18_0x23_8_bit0 -x_0x23_18_0x23_6_bit0 -x_0x23_18_0x23_3_bit0 -x_0x23_18_0x23_1_bit0 -x_0x23_17_0x23_34_bit0 -x_0x23_17_0x23_32_bit0 x_0x23_17_0x23_30_bit0 -x_0x23_17_0x23_29_bit0 -x_0x23_17_0x23_27_bit0 -x_0x23_17_0x23_26_bit0 -x_0x23_17_0x23_23_bit0 -x_0x23_17_0x23_20_bit0 -x_0x23_17_0x23_18_bit0 -x_0x23_17_0x23_16_bit0 -x_0x23_17_0x23_13_bit0 -x_0x23_17_0x23_11_bit0 -x_0x23_17_0x23_9_bit0 -x_0x23_17_0x23_8_bit0 -x_0x23_17_0x23_6_bit0 -x_0x23_17_0x23_3_bit0 -x_0x23_17_0x23_1_bit0 -x_0x23_16_0x23_34_bit0 x_0x23_16_0x23_32_bit0 -x_0x23_16_0x23_30_bit0 -x_0x23_16_0x23_29_bit0 -x_0x23_16_0x23_27_bit0 -x_0x23_16_0x23_26_bit0 -x_0x23_16_0x23_23_bit0 -x_0x23_16_0x23_20_bit0 -x_0x23_16_0x23_18_bit0 -x_0x23_16_0x23_16_bit0 -x_0x23_16_0x23_13_bit0 -x_0x23_16_0x23_11_bit0 -x_0x23_16_0x23_9_bit0 -x_0x23_16_0x23_8_bit0 -x_0x23_16_0x23_6_bit0 -x_0x23_16_0x23_3_bit0 -x_0x23_16_0x23_1_bit0 x_0x23_15_0x23_34_bit0 -x_0x23_15_0x23_32_bit0 -x_0x23_15_0x23_30_bit0 -x_0x23_15_0x23_29_bit0 -x_0x23_15_0x23_27_bit0 -x_0x23_15_0x23_26_bit0 -x_0x23_15_0x23_23_bit0 -x_0x23_15_0x23_20_bit0 -x_0x23_15_0x23_18_bit0 -x_0x23_15_0x23_16_bit0 -x_0x23_15_0x23_13_bit0 -x_0x23_15_0x23_11_bit0 -x_0x23_15_0x23_9_bit0 -x_0x23_15_0x23_8_bit0 -x_0x23_15_0x23_6_bit0 -x_0x23_15_0x23_3_bit0 -x_0x23_15_0x23_1_bit0 -x_0x23_14_0x23_34_bit0 -x_0x23_14_0x23_32_bit0 -x_0x23_14_0x23_30_bit0 -x_0x23_14_0x23_29_bit0 -x_0x23_14_0x23_27_bit0 -x_0x23_14_0x23_26_bit0 -x_0x23_14_0x23_23_bit0 -x_0x23_14_0x23_20_bit0 -x_0x23_14_0x23_18_bit0 -x_0x23_14_0x23_16_bit0 -x_0x23_14_0x23_13_bit0 -x_0x23_14_0x23_11_bit0 -x_0x23_14_0x23_9_bit0 -x_0x23_14_0x23_8_bit0 -x_0x23_14_0x23_6_bit0 -x_0x23_14_0x23_3_bit0 -x_0x23_14_0x23_1_bit0 -x_0x23_13_0x23_34_bit0 -x_0x23_13_0x23_32_bit0 -x_0x23_13_0x23_30_bit0 -x_0x23_13_0x23_29_bit0 -x_0x23_13_0x23_27_bit0 -x_0x23_13_0x23_26_bit0 -x_0x23_13_0x23_23_bit0 -x_0x23_13_0x23_20_bit0 -x_0x23_13_0x23_18_bit0 -x_0x23_13_0x23_16_bit0 -x_0x23_13_0x23_13_bit0 -x_0x23_13_0x23_11_bit0 -x_0x23_13_0x23_9_bit0 -x_0x23_13_0x23_8_bit0 -x_0x23_13_0x23_6_bit0 -x_0x23_13_0x23_3_bit0 -x_0x23_13_0x23_1_bit0 -x_0x23_12_0x23_34_bit0 -x_0x23_12_0x23_32_bit0 -x_0x23_12_0x23_30_bit0 -x_0x23_12_0x23_29_bit0 -x_0x23_12_0x23_27_bit0 -x_0x23_12_0x23_26_bit0 -x_0x23_12_0x23_23_bit0 -x_0x23_12_0x23_20_bit0 -x_0x23_12_0x23_18_bit0 -x_0x23_12_0x23_16_bit0 -x_0x23_12_0x23_13_bit0 -x_0x23_12_0x23_11_bit0 -x_0x23_12_0x23_9_bit0 -x_0x23_12_0x23_8_bit0 -x_0x23_12_0x23_6_bit0 -x_0x23_12_0x23_3_bit0 -x_0x23_12_0x23_1_bit0 -x_0x23_11_0x23_34_bit0 -x_0x23_11_0x23_32_bit0 -x_0x23_11_0x23_30_bit0 -x_0x23_11_0x23_29_bit0 -x_0x23_11_0x23_27_bit0 -x_0x23_11_0x23_26_bit0 x_0x23_11_0x23_23_bit0 -x_0x23_11_0x23_20_bit0 -x_0x23_11_0x23_18_bit0 -x_0x23_11_0x23_16_bit0 -x_0x23_11_0x23_13_bit0 -x_0x23_11_0x23_11_bit0 -x_0x23_11_0x23_9_bit0 -x_0x23_11_0x23_8_bit0 -x_0x23_11_0x23_6_bit0 -x_0x23_11_0x23_3_bit0 -x_0x23_11_0x23_1_bit0 -x_0x23_10_0x23_34_bit0 -x_0x23_10_0x23_32_bit0 -x_0x23_10_0x23_30_bit0 -x_0x23_10_0x23_29_bit0 -x_0x23_10_0x23_27_bit0 -x_0x23_10_0x23_26_bit0 -x_0x23_10_0x23_23_bit0 -x_0x23_10_0x23_20_bit0 -x_0x23_10_0x23_18_bit0 -x_0x23_10_0x23_16_bit0 -x_0x23_10_0x23_13_bit0 -x_0x23_10_0x23_11_bit0 -x_0x23_10_0x23_9_bit0 -x_0x23_10_0x23_8_bit0 -x_0x23_10_0x23_6_bit0 -x_0x23_10_0x23_3_bit0 -x_0x23_10_0x23_1_bit0 -x_0x23_9_0x23_34_bit0 -x_0x23_9_0x23_32_bit0 -x_0x23_9_0x23_30_bit0 x_0x23_9_0x23_29_bit0 -x_0x23_9_0x23_27_bit0 -x_0x23_9_0x23_26_bit0 -x_0x23_9_0x23_23_bit0 -x_0x23_9_0x23_20_bit0 -x_0x23_9_0x23_18_bit0 -x_0x23_9_0x23_16_bit0 -x_0x23_9_0x23_13_bit0 -x_0x23_9_0x23_11_bit0 -x_0x23_9_0x23_9_bit0 -x_0x23_9_0x23_8_bit0 -x_0x23_9_0x23_6_bit0 -x_0x23_9_0x23_3_bit0 -x_0x23_9_0x23_1_bit0 -x_0x23_8_0x23_34_bit0 -x_0x23_8_0x23_32_bit0 -x_0x23_8_0x23_30_bit0 -x_0x23_8_0x23_29_bit0 -x_0x23_8_0x23_27_bit0 -x_0x23_8_0x23_26_bit0 -x_0x23_8_0x23_23_bit0 -x_0x23_8_0x23_20_bit0 -x_0x23_8_0x23_18_bit0 -x_0x23_8_0x23_16_bit0 -x_0x23_8_0x23_13_bit0 -x_0x23_8_0x23_11_bit0 -x_0x23_8_0x23_9_bit0 -x_0x23_8_0x23_8_bit0 -x_0x23_8_0x23_6_bit0 -x_0x23_8_0x23_3_bit0 -x_0x23_8_0x23_1_bit0 -x_0x23_7_0x23_34_bit0 -x_0x23_7_0x23_32_bit0 -x_0x23_7_0x23_30_bit0 -x_0x23_7_0x23_29_bit0 -x_0x23_7_0x23_27_bit0 -x_0x23_7_0x23_26_bit0 -x_0x23_7_0x23_23_bit0 -x_0x23_7_0x23_20_bit0 -x_0x23_7_0x23_18_bit0 -x_0x23_7_0x23_16_bit0 -x_0x23_7_0x23_13_bit0 -x_0x23_7_0x23_11_bit0 -x_0x23_7_0x23_9_bit0 -x_0x23_7_0x23_8_bit0 -x_0x23_7_0x23_6_bit0 -x_0x23_7_0x23_3_bit0 -x_0x23_7_0x23_1_bit0 -x_0x23_6_0x23_34_bit0 -x_0x23_6_0x23_32_bit0 -x_0x23_6_0x23_30_bit0 -x_0x23_6_0x23_29_bit0 -x_0x23_6_0x23_27_bit0 -x_0x23_6_0x23_26_bit0 -x_0x23_6_0x23_23_bit0 -x_0x23_6_0x23_20_bit0 -x_0x23_6_0x23_18_bit0 -x_0x23_6_0x23_16_bit0 -x_0x23_6_0x23_13_bit0 -x_0x23_6_0x23_11_bit0 -x_0x23_6_0x23_9_bit0 -x_0x23_6_0x23_8_bit0 -x_0x23_6_0x23_6_bit0 -x_0x23_6_0x23_3_bit0 -x_0x23_6_0x23_1_bit0 -x_0x23_5_0x23_34_bit0 -x_0x23_5_0x23_32_bit0 -x_0x23_5_0x23_30_bit0 -x_0x23_5_0x23_29_bit0 -x_0x23_5_0x23_27_bit0 -x_0x23_5_0x23_26_bit0 -x_0x23_5_0x23_23_bit0 -x_0x23_5_0x23_20_bit0 -x_0x23_5_0x23_18_bit0 -x_0x23_5_0x23_16_bit0 -x_0x23_5_0x23_13_bit0 -x_0x23_5_0x23_11_bit0 -x_0x23_5_0x23_9_bit0 -x_0x23_5_0x23_8_bit0 -x_0x23_5_0x23_6_bit0 -x_0x23_5_0x23_3_bit0 -x_0x23_5_0x23_1_bit0 -x_0x23_4_0x23_34_bit0 -x_0x23_4_0x23_32_bit0 -x_0x23_4_0x23_30_bit0 -x_0x23_4_0x23_29_bit0 -x_0x23_4_0x23_27_bit0 -x_0x23_4_0x23_26_bit0 -x_0x23_4_0x23_23_bit0 -x_0x23_4_0x23_20_bit0 -x_0x23_4_0x23_18_bit0 -x_0x23_4_0x23_16_bit0 -x_0x23_4_0x23_13_bit0 -x_0x23_4_0x23_11_bit0 -x_0x23_4_0x23_9_bit0 -x_0x23_4_0x23_8_bit0 -x_0x23_4_0x23_6_bit0 -x_0x23_4_0x23_3_bit0 -x_0x23_4_0x23_1_bit0 -x_0x23_3_0x23_34_bit0 -x_0x23_3_0x23_32_bit0 -x_0x23_3_0x23_30_bit0 -x_0x23_3_0x23_29_bit0 -x_0x23_3_0x23_27_bit0 -x_0x23_3_0x23_26_bit0 -x_0x23_3_0x23_23_bit0 -x_0x23_3_0x23_20_bit0 -x_0x23_3_0x23_18_bit0 -x_0x23_3_0x23_16_bit0 -x_0x23_3_0x23_13_bit0 -x_0x23_3_0x23_11_bit0 -x_0x23_3_0x23_9_bit0 -x_0x23_3_0x23_8_bit0 -x_0x23_3_0x23_6_bit0 -x_0x23_3_0x23_3_bit0 -x_0x23_3_0x23_1_bit0 -x_0x23_2_0x23_34_bit0 -x_0x23_2_0x23_32_bit0 -x_0x23_2_0x23_30_bit0 -x_0x23_2_0x23_29_bit0 -x_0x23_2_0x23_27_bit0 x_0x23_2_0x23_26_bit0 -x_0x23_2_0x23_23_bit0 -x_0x23_2_0x23_20_bit0 -x_0x23_2_0x23_18_bit0 -x_0x23_2_0x23_16_bit0 -x_0x23_2_0x23_13_bit0 -x_0x23_2_0x23_11_bit0 -x_0x23_2_0x23_9_bit0 -x_0x23_2_0x23_8_bit0 -x_0x23_2_0x23_6_bit0 -x_0x23_2_0x23_3_bit0 -x_0x23_2_0x23_1_bit0 -x_0x23_1_0x23_34_bit0 -x_0x23_1_0x23_32_bit0 -x_0x23_1_0x23_30_bit0 -x_0x23_1_0x23_29_bit0 x_0x23_1_0x23_27_bit0 -x_0x23_1_0x23_26_bit0 -x_0x23_1_0x23_23_bit0 -x_0x23_1_0x23_20_bit0 -x_0x23_1_0x23_18_bit0 -x_0x23_1_0x23_16_bit0 -x_0x23_1_0x23_13_bit0 -x_0x23_1_0x23_11_bit0 -x_0x23_1_0x23_9_bit0 -x_0x23_1_0x23_8_bit0 -x_0x23_1_0x23_6_bit0 -x_0x23_1_0x23_3_bit0 -x_0x23_1_0x23_1_bit0 -x_0x23_49_0x23_35_bit0 -x_0x23_49_0x23_33_bit0 -x_0x23_49_0x23_31_bit0 -x_0x23_49_0x23_28_bit0 -x_0x23_49_0x23_25_bit0 -x_0x23_49_0x23_24_bit0 -x_0x23_49_0x23_22_bit0 -x_0x23_49_0x23_21_bit0 -x_0x23_49_0x23_19_bit0 -x_0x23_49_0x23_17_bit0 -x_0x23_49_0x23_15_bit0 -x_0x23_49_0x23_14_bit0 -x_0x23_49_0x23_12_bit0 -x_0x23_49_0x23_10_bit0 -x_0x23_49_0x23_7_bit0 x_0x23_49_0x23_5_bit0 -x_0x23_49_0x23_4_bit0 -x_0x23_49_0x23_2_bit0 -x_0x23_48_0x23_35_bit0 -x_0x23_48_0x23_33_bit0 -x_0x23_48_0x23_31_bit0 -x_0x23_48_0x23_28_bit0 -x_0x23_48_0x23_25_bit0 -x_0x23_48_0x23_24_bit0 -x_0x23_48_0x23_22_bit0 -x_0x23_48_0x23_21_bit0 -x_0x23_48_0x23_19_bit0 -x_0x23_48_0x23_17_bit0 -x_0x23_48_0x23_15_bit0 -x_0x23_48_0x23_14_bit0 -x_0x23_48_0x23_12_bit0 -x_0x23_48_0x23_10_bit0 -x_0x23_48_0x23_7_bit0 -x_0x23_48_0x23_5_bit0 -x_0x23_48_0x23_4_bit0 -x_0x23_48_0x23_2_bit0 -x_0x23_47_0x23_35_bit0 -x_0x23_47_0x23_33_bit0 -x_0x23_47_0x23_31_bit0 -x_0x23_47_0x23_28_bit0 -x_0x23_47_0x23_25_bit0 -x_0x23_47_0x23_24_bit0 -x_0x23_47_0x23_22_bit0 -x_0x23_47_0x23_21_bit0 -x_0x23_47_0x23_19_bit0 -x_0x23_47_0x23_17_bit0 -x_0x23_47_0x23_15_bit0 -x_0x23_47_0x23_14_bit0 -x_0x23_47_0x23_12_bit0 -x_0x23_47_0x23_10_bit0 x_0x23_47_0x23_7_bit0 -x_0x23_47_0x23_5_bit0 -x_0x23_47_0x23_4_bit0 -x_0x23_47_0x23_2_bit0 -x_0x23_46_0x23_35_bit0 -x_0x23_46_0x23_33_bit0 -x_0x23_46_0x23_31_bit0 -x_0x23_46_0x23_28_bit0 -x_0x23_46_0x23_25_bit0 -x_0x23_46_0x23_24_bit0 -x_0x23_46_0x23_22_bit0 -x_0x23_46_0x23_21_bit0 -x_0x23_46_0x23_19_bit0 -x_0x23_46_0x23_17_bit0 -x_0x23_46_0x23_15_bit0 -x_0x23_46_0x23_14_bit0 -x_0x23_46_0x23_12_bit0 -x_0x23_46_0x23_10_bit0 -x_0x23_46_0x23_7_bit0 -x_0x23_46_0x23_5_bit0 -x_0x23_46_0x23_4_bit0 -x_0x23_46_0x23_2_bit0 -x_0x23_45_0x23_35_bit0 -x_0x23_45_0x23_33_bit0 -x_0x23_45_0x23_31_bit0 -x_0x23_45_0x23_28_bit0 -x_0x23_45_0x23_25_bit0 -x_0x23_45_0x23_24_bit0 -x_0x23_45_0x23_22_bit0 -x_0x23_45_0x23_21_bit0 -x_0x23_45_0x23_19_bit0 -x_0x23_45_0x23_17_bit0 -x_0x23_45_0x23_15_bit0 -x_0x23_45_0x23_14_bit0 -x_0x23_45_0x23_12_bit0 -x_0x23_45_0x23_10_bit0 -x_0x23_45_0x23_7_bit0 -x_0x23_45_0x23_5_bit0 -x_0x23_45_0x23_4_bit0 -x_0x23_45_0x23_2_bit0 -x_0x23_44_0x23_35_bit0 -x_0x23_44_0x23_33_bit0 -x_0x23_44_0x23_31_bit0 -x_0x23_44_0x23_28_bit0 -x_0x23_44_0x23_25_bit0 -x_0x23_44_0x23_24_bit0 -x_0x23_44_0x23_22_bit0 -x_0x23_44_0x23_21_bit0 -x_0x23_44_0x23_19_bit0 -x_0x23_44_0x23_17_bit0 -x_0x23_44_0x23_15_bit0 -x_0x23_44_0x23_14_bit0 -x_0x23_44_0x23_12_bit0 -x_0x23_44_0x23_10_bit0 -x_0x23_44_0x23_7_bit0 -x_0x23_44_0x23_5_bit0 -x_0x23_44_0x23_4_bit0 -x_0x23_44_0x23_2_bit0 -x_0x23_43_0x23_35_bit0 -x_0x23_43_0x23_33_bit0 -x_0x23_43_0x23_31_bit0 -x_0x23_43_0x23_28_bit0 -x_0x23_43_0x23_25_bit0 -x_0x23_43_0x23_24_bit0 -x_0x23_43_0x23_22_bit0 -x_0x23_43_0x23_21_bit0 -x_0x23_43_0x23_19_bit0 -x_0x23_43_0x23_17_bit0 -x_0x23_43_0x23_15_bit0 -x_0x23_43_0x23_14_bit0 -x_0x23_43_0x23_12_bit0 -x_0x23_43_0x23_10_bit0 -x_0x23_43_0x23_7_bit0 -x_0x23_43_0x23_5_bit0 -x_0x23_43_0x23_4_bit0 -x_0x23_43_0x23_2_bit0 -x_0x23_42_0x23_35_bit0 -x_0x23_42_0x23_33_bit0 -x_0x23_42_0x23_31_bit0 -x_0x23_42_0x23_28_bit0 -x_0x23_42_0x23_25_bit0 -x_0x23_42_0x23_24_bit0 -x_0x23_42_0x23_22_bit0 -x_0x23_42_0x23_21_bit0 -x_0x23_42_0x23_19_bit0 -x_0x23_42_0x23_17_bit0 -x_0x23_42_0x23_15_bit0 -x_0x23_42_0x23_14_bit0 -x_0x23_42_0x23_12_bit0 -x_0x23_42_0x23_10_bit0 -x_0x23_42_0x23_7_bit0 -x_0x23_42_0x23_5_bit0 x_0x23_42_0x23_4_bit0 -x_0x23_42_0x23_2_bit0 -x_0x23_41_0x23_35_bit0 -x_0x23_41_0x23_33_bit0 -x_0x23_41_0x23_31_bit0 -x_0x23_41_0x23_28_bit0 -x_0x23_41_0x23_25_bit0 -x_0x23_41_0x23_24_bit0 -x_0x23_41_0x23_22_bit0 -x_0x23_41_0x23_21_bit0 -x_0x23_41_0x23_19_bit0 -x_0x23_41_0x23_17_bit0 -x_0x23_41_0x23_15_bit0 -x_0x23_41_0x23_14_bit0 -x_0x23_41_0x23_12_bit0 -x_0x23_41_0x23_10_bit0 -x_0x23_41_0x23_7_bit0 -x_0x23_41_0x23_5_bit0 -x_0x23_41_0x23_4_bit0 -x_0x23_41_0x23_2_bit0 -x_0x23_40_0x23_35_bit0 -x_0x23_40_0x23_33_bit0 -x_0x23_40_0x23_31_bit0 -x_0x23_40_0x23_28_bit0 -x_0x23_40_0x23_25_bit0 -x_0x23_40_0x23_24_bit0 -x_0x23_40_0x23_22_bit0 -x_0x23_40_0x23_21_bit0 -x_0x23_40_0x23_19_bit0 -x_0x23_40_0x23_17_bit0 x_0x23_40_0x23_15_bit0 -x_0x23_40_0x23_14_bit0 -x_0x23_40_0x23_12_bit0 -x_0x23_40_0x23_10_bit0 -x_0x23_40_0x23_7_bit0 -x_0x23_40_0x23_5_bit0 -x_0x23_40_0x23_4_bit0 -x_0x23_40_0x23_2_bit0 -x_0x23_39_0x23_35_bit0 -x_0x23_39_0x23_33_bit0 -x_0x23_39_0x23_31_bit0 -x_0x23_39_0x23_28_bit0 -x_0x23_39_0x23_25_bit0 -x_0x23_39_0x23_24_bit0 -x_0x23_39_0x23_22_bit0 -x_0x23_39_0x23_21_bit0 -x_0x23_39_0x23_19_bit0 -x_0x23_39_0x23_17_bit0 -x_0x23_39_0x23_15_bit0 -x_0x23_39_0x23_14_bit0 -x_0x23_39_0x23_12_bit0 -x_0x23_39_0x23_10_bit0 -x_0x23_39_0x23_7_bit0 -x_0x23_39_0x23_5_bit0 -x_0x23_39_0x23_4_bit0 -x_0x23_39_0x23_2_bit0 -x_0x23_38_0x23_35_bit0 -x_0x23_38_0x23_33_bit0 -x_0x23_38_0x23_31_bit0 -x_0x23_38_0x23_28_bit0 -x_0x23_38_0x23_25_bit0 -x_0x23_38_0x23_24_bit0 -x_0x23_38_0x23_22_bit0 -x_0x23_38_0x23_21_bit0 -x_0x23_38_0x23_19_bit0 -x_0x23_38_0x23_17_bit0 -x_0x23_38_0x23_15_bit0 -x_0x23_38_0x23_14_bit0 -x_0x23_38_0x23_12_bit0 -x_0x23_38_0x23_10_bit0 -x_0x23_38_0x23_7_bit0 -x_0x23_38_0x23_5_bit0 -x_0x23_38_0x23_4_bit0 -x_0x23_38_0x23_2_bit0 -x_0x23_37_0x23_35_bit0 -x_0x23_37_0x23_33_bit0 -x_0x23_37_0x23_31_bit0 -x_0x23_37_0x23_28_bit0 -x_0x23_37_0x23_25_bit0 -x_0x23_37_0x23_24_bit0 -x_0x23_37_0x23_22_bit0 -x_0x23_37_0x23_21_bit0 -x_0x23_37_0x23_19_bit0 -x_0x23_37_0x23_17_bit0 -x_0x23_37_0x23_15_bit0 -x_0x23_37_0x23_14_bit0 -x_0x23_37_0x23_12_bit0 x_0x23_37_0x23_10_bit0 -x_0x23_37_0x23_7_bit0 -x_0x23_37_0x23_5_bit0 -x_0x23_37_0x23_4_bit0 -x_0x23_37_0x23_2_bit0 -x_0x23_36_0x23_35_bit0 -x_0x23_36_0x23_33_bit0 -x_0x23_36_0x23_31_bit0 -x_0x23_36_0x23_28_bit0 -x_0x23_36_0x23_25_bit0 -x_0x23_36_0x23_24_bit0 -x_0x23_36_0x23_22_bit0 -x_0x23_36_0x23_21_bit0 -x_0x23_36_0x23_19_bit0 -x_0x23_36_0x23_17_bit0 -x_0x23_36_0x23_15_bit0 -x_0x23_36_0x23_14_bit0 -x_0x23_36_0x23_12_bit0 -x_0x23_36_0x23_10_bit0 -x_0x23_36_0x23_7_bit0 -x_0x23_36_0x23_5_bit0 -x_0x23_36_0x23_4_bit0 -x_0x23_36_0x23_2_bit0 -x_0x23_35_0x23_35_bit0 -x_0x23_35_0x23_33_bit0 -x_0x23_35_0x23_31_bit0 -x_0x23_35_0x23_28_bit0 -x_0x23_35_0x23_25_bit0 -x_0x23_35_0x23_24_bit0 -x_0x23_35_0x23_22_bit0 -x_0x23_35_0x23_21_bit0 -x_0x23_35_0x23_19_bit0 -x_0x23_35_0x23_17_bit0 -x_0x23_35_0x23_15_bit0 -x_0x23_35_0x23_14_bit0 -x_0x23_35_0x23_12_bit0 -x_0x23_35_0x23_10_bit0 -x_0x23_35_0x23_7_bit0 -x_0x23_35_0x23_5_bit0 -x_0x23_35_0x23_4_bit0 x_0x23_35_0x23_2_bit0 -x_0x23_34_0x23_35_bit0 -x_0x23_34_0x23_33_bit0 -x_0x23_34_0x23_31_bit0 -x_0x23_34_0x23_28_bit0 -x_0x23_34_0x23_25_bit0 -x_0x23_34_0x23_24_bit0 -x_0x23_34_0x23_22_bit0 -x_0x23_34_0x23_21_bit0 -x_0x23_34_0x23_19_bit0 -x_0x23_34_0x23_17_bit0 -x_0x23_34_0x23_15_bit0 -x_0x23_34_0x23_14_bit0 -x_0x23_34_0x23_12_bit0 -x_0x23_34_0x23_10_bit0 -x_0x23_34_0x23_7_bit0 -x_0x23_34_0x23_5_bit0 -x_0x23_34_0x23_4_bit0 -x_0x23_34_0x23_2_bit0 -x_0x23_33_0x23_35_bit0 -x_0x23_33_0x23_33_bit0 -x_0x23_33_0x23_31_bit0 -x_0x23_33_0x23_28_bit0 -x_0x23_33_0x23_25_bit0 -x_0x23_33_0x23_24_bit0 -x_0x23_33_0x23_22_bit0 -x_0x23_33_0x23_21_bit0 -x_0x23_33_0x23_19_bit0 x_0x23_33_0x23_17_bit0 -x_0x23_33_0x23_15_bit0 -x_0x23_33_0x23_14_bit0 -x_0x23_33_0x23_12_bit0 -x_0x23_33_0x23_10_bit0 -x_0x23_33_0x23_7_bit0 -x_0x23_33_0x23_5_bit0 -x_0x23_33_0x23_4_bit0 -x_0x23_33_0x23_2_bit0 -x_0x23_32_0x23_35_bit0 -x_0x23_32_0x23_33_bit0 -x_0x23_32_0x23_31_bit0 -x_0x23_32_0x23_28_bit0 -x_0x23_32_0x23_25_bit0 -x_0x23_32_0x23_24_bit0 -x_0x23_32_0x23_22_bit0 -x_0x23_32_0x23_21_bit0 -x_0x23_32_0x23_19_bit0 -x_0x23_32_0x23_17_bit0 -x_0x23_32_0x23_15_bit0 x_0x23_32_0x23_14_bit0 -x_0x23_32_0x23_12_bit0 -x_0x23_32_0x23_10_bit0 -x_0x23_32_0x23_7_bit0 -x_0x23_32_0x23_5_bit0 -x_0x23_32_0x23_4_bit0 -x_0x23_32_0x23_2_bit0 -x_0x23_31_0x23_35_bit0 -x_0x23_31_0x23_33_bit0 -x_0x23_31_0x23_31_bit0 -x_0x23_31_0x23_28_bit0 -x_0x23_31_0x23_25_bit0 -x_0x23_31_0x23_24_bit0 -x_0x23_31_0x23_22_bit0 -x_0x23_31_0x23_21_bit0 -x_0x23_31_0x23_19_bit0 -x_0x23_31_0x23_17_bit0 -x_0x23_31_0x23_15_bit0 -x_0x23_31_0x23_14_bit0 x_0x23_31_0x23_12_bit0 -x_0x23_31_0x23_10_bit0 -x_0x23_31_0x23_7_bit0 -x_0x23_31_0x23_5_bit0 -x_0x23_31_0x23_4_bit0 -x_0x23_31_0x23_2_bit0 -x_0x23_30_0x23_35_bit0 -x_0x23_30_0x23_33_bit0 -x_0x23_30_0x23_31_bit0 -x_0x23_30_0x23_28_bit0 -x_0x23_30_0x23_25_bit0 -x_0x23_30_0x23_24_bit0 -x_0x23_30_0x23_22_bit0 -x_0x23_30_0x23_21_bit0 -x_0x23_30_0x23_19_bit0 -x_0x23_30_0x23_17_bit0 -x_0x23_30_0x23_15_bit0 -x_0x23_30_0x23_14_bit0 -x_0x23_30_0x23_12_bit0 -x_0x23_30_0x23_10_bit0 -x_0x23_30_0x23_7_bit0 -x_0x23_30_0x23_5_bit0 -x_0x23_30_0x23_4_bit0 -x_0x23_30_0x23_2_bit0 -x_0x23_29_0x23_35_bit0 -x_0x23_29_0x23_33_bit0 -x_0x23_29_0x23_31_bit0 -x_0x23_29_0x23_28_bit0 -x_0x23_29_0x23_25_bit0 -x_0x23_29_0x23_24_bit0 -x_0x23_29_0x23_22_bit0 -x_0x23_29_0x23_21_bit0 -x_0x23_29_0x23_19_bit0 -x_0x23_29_0x23_17_bit0 -x_0x23_29_0x23_15_bit0 -x_0x23_29_0x23_14_bit0 -x_0x23_29_0x23_12_bit0 -x_0x23_29_0x23_10_bit0 -x_0x23_29_0x23_7_bit0 -x_0x23_29_0x23_5_bit0 -x_0x23_29_0x23_4_bit0 -x_0x23_29_0x23_2_bit0 -x_0x23_28_0x23_35_bit0 -x_0x23_28_0x23_33_bit0 -x_0x23_28_0x23_31_bit0 -x_0x23_28_0x23_28_bit0 -x_0x23_28_0x23_25_bit0 -x_0x23_28_0x23_24_bit0 -x_0x23_28_0x23_22_bit0 -x_0x23_28_0x23_21_bit0 -x_0x23_28_0x23_19_bit0 -x_0x23_28_0x23_17_bit0 -x_0x23_28_0x23_15_bit0 -x_0x23_28_0x23_14_bit0 -x_0x23_28_0x23_12_bit0 -x_0x23_28_0x23_10_bit0 -x_0x23_28_0x23_7_bit0 -x_0x23_28_0x23_5_bit0 -x_0x23_28_0x23_4_bit0 -x_0x23_28_0x23_2_bit0 -x_0x23_27_0x23_35_bit0 -x_0x23_27_0x23_33_bit0 -x_0x23_27_0x23_31_bit0 -x_0x23_27_0x23_28_bit0 -x_0x23_27_0x23_25_bit0 -x_0x23_27_0x23_24_bit0 -x_0x23_27_0x23_22_bit0 -x_0x23_27_0x23_21_bit0 -x_0x23_27_0x23_19_bit0 -x_0x23_27_0x23_17_bit0 -x_0x23_27_0x23_15_bit0 -x_0x23_27_0x23_14_bit0 -x_0x23_27_0x23_12_bit0 -x_0x23_27_0x23_10_bit0 -x_0x23_27_0x23_7_bit0 -x_0x23_27_0x23_5_bit0 -x_0x23_27_0x23_4_bit0 -x_0x23_27_0x23_2_bit0 -x_0x23_26_0x23_35_bit0 -x_0x23_26_0x23_33_bit0 -x_0x23_26_0x23_31_bit0 -x_0x23_26_0x23_28_bit0 -x_0x23_26_0x23_25_bit0 -x_0x23_26_0x23_24_bit0 -x_0x23_26_0x23_22_bit0 -x_0x23_26_0x23_21_bit0 -x_0x23_26_0x23_19_bit0 -x_0x23_26_0x23_17_bit0 -x_0x23_26_0x23_15_bit0 -x_0x23_26_0x23_14_bit0 -x_0x23_26_0x23_12_bit0 -x_0x23_26_0x23_10_bit0 -x_0x23_26_0x23_7_bit0 -x_0x23_26_0x23_5_bit0 -x_0x23_26_0x23_4_bit0 -x_0x23_26_0x23_2_bit0 -x_0x23_25_0x23_35_bit0 -x_0x23_25_0x23_33_bit0 -x_0x23_25_0x23_31_bit0 -x_0x23_25_0x23_28_bit0 -x_0x23_25_0x23_25_bit0 -x_0x23_25_0x23_24_bit0 -x_0x23_25_0x23_22_bit0 -x_0x23_25_0x23_21_bit0 x_0x23_25_0x23_19_bit0 -x_0x23_25_0x23_17_bit0 -x_0x23_25_0x23_15_bit0 -x_0x23_25_0x23_14_bit0 -x_0x23_25_0x23_12_bit0 -x_0x23_25_0x23_10_bit0 -x_0x23_25_0x23_7_bit0 -x_0x23_25_0x23_5_bit0 -x_0x23_25_0x23_4_bit0 -x_0x23_25_0x23_2_bit0 -x_0x23_24_0x23_35_bit0 -x_0x23_24_0x23_33_bit0 x_0x23_24_0x23_31_bit0 -x_0x23_24_0x23_28_bit0 -x_0x23_24_0x23_25_bit0 -x_0x23_24_0x23_24_bit0 -x_0x23_24_0x23_22_bit0 -x_0x23_24_0x23_21_bit0 -x_0x23_24_0x23_19_bit0 -x_0x23_24_0x23_17_bit0 -x_0x23_24_0x23_15_bit0 -x_0x23_24_0x23_14_bit0 -x_0x23_24_0x23_12_bit0 -x_0x23_24_0x23_10_bit0 -x_0x23_24_0x23_7_bit0 -x_0x23_24_0x23_5_bit0 -x_0x23_24_0x23_4_bit0 -x_0x23_24_0x23_2_bit0 -x_0x23_23_0x23_35_bit0 x_0x23_23_0x23_33_bit0 -x_0x23_23_0x23_31_bit0 -x_0x23_23_0x23_28_bit0 -x_0x23_23_0x23_25_bit0 -x_0x23_23_0x23_24_bit0 -x_0x23_23_0x23_22_bit0 -x_0x23_23_0x23_21_bit0 -x_0x23_23_0x23_19_bit0 -x_0x23_23_0x23_17_bit0 -x_0x23_23_0x23_15_bit0 -x_0x23_23_0x23_14_bit0 -x_0x23_23_0x23_12_bit0 -x_0x23_23_0x23_10_bit0 -x_0x23_23_0x23_7_bit0 -x_0x23_23_0x23_5_bit0 -x_0x23_23_0x23_4_bit0 -x_0x23_23_0x23_2_bit0 x_0x23_22_0x23_35_bit0 -x_0x23_22_0x23_33_bit0 -x_0x23_22_0x23_31_bit0 -x_0x23_22_0x23_28_bit0 -x_0x23_22_0x23_25_bit0 -x_0x23_22_0x23_24_bit0 -x_0x23_22_0x23_22_bit0 -x_0x23_22_0x23_21_bit0 -x_0x23_22_0x23_19_bit0 -x_0x23_22_0x23_17_bit0 -x_0x23_22_0x23_15_bit0 -x_0x23_22_0x23_14_bit0 -x_0x23_22_0x23_12_bit0 -x_0x23_22_0x23_10_bit0 -x_0x23_22_0x23_7_bit0 -x_0x23_22_0x23_5_bit0 -x_0x23_22_0x23_4_bit0 -x_0x23_22_0x23_2_bit0 -x_0x23_21_0x23_35_bit0 -x_0x23_21_0x23_33_bit0 -x_0x23_21_0x23_31_bit0 -x_0x23_21_0x23_28_bit0 -x_0x23_21_0x23_25_bit0 -x_0x23_21_0x23_24_bit0 -x_0x23_21_0x23_22_bit0 -x_0x23_21_0x23_21_bit0 -x_0x23_21_0x23_19_bit0 -x_0x23_21_0x23_17_bit0 -x_0x23_21_0x23_15_bit0 -x_0x23_21_0x23_14_bit0 -x_0x23_21_0x23_12_bit0 -x_0x23_21_0x23_10_bit0 -x_0x23_21_0x23_7_bit0 -x_0x23_21_0x23_5_bit0 -x_0x23_21_0x23_4_bit0 -x_0x23_21_0x23_2_bit0 -x_0x23_20_0x23_35_bit0 -x_0x23_20_0x23_33_bit0 -x_0x23_20_0x23_31_bit0 -x_0x23_20_0x23_28_bit0 -x_0x23_20_0x23_25_bit0 -x_0x23_20_0x23_24_bit0 -x_0x23_20_0x23_22_bit0 -x_0x23_20_0x23_21_bit0 -x_0x23_20_0x23_19_bit0 -x_0x23_20_0x23_17_bit0 -x_0x23_20_0x23_15_bit0 -x_0x23_20_0x23_14_bit0 -x_0x23_20_0x23_12_bit0 -x_0x23_20_0x23_10_bit0 -x_0x23_20_0x23_7_bit0 -x_0x23_20_0x23_5_bit0 -x_0x23_20_0x23_4_bit0 -x_0x23_20_0x23_2_bit0 -x_0x23_19_0x23_35_bit0 -x_0x23_19_0x23_33_bit0 -x_0x23_19_0x23_31_bit0 -x_0x23_19_0x23_28_bit0 -x_0x23_19_0x23_25_bit0 -x_0x23_19_0x23_24_bit0 -x_0x23_19_0x23_22_bit0 x_0x23_19_0x23_21_bit0 -x_0x23_19_0x23_19_bit0 -x_0x23_19_0x23_17_bit0 -x_0x23_19_0x23_15_bit0 -x_0x23_19_0x23_14_bit0 -x_0x23_19_0x23_12_bit0 -x_0x23_19_0x23_10_bit0 -x_0x23_19_0x23_7_bit0 -x_0x23_19_0x23_5_bit0 -x_0x23_19_0x23_4_bit0 -x_0x23_19_0x23_2_bit0 -x_0x23_18_0x23_35_bit0 -x_0x23_18_0x23_33_bit0 -x_0x23_18_0x23_31_bit0 -x_0x23_18_0x23_28_bit0 -x_0x23_18_0x23_25_bit0 -x_0x23_18_0x23_24_bit0 -x_0x23_18_0x23_22_bit0 -x_0x23_18_0x23_21_bit0 -x_0x23_18_0x23_19_bit0 -x_0x23_18_0x23_17_bit0 -x_0x23_18_0x23_15_bit0 -x_0x23_18_0x23_14_bit0 -x_0x23_18_0x23_12_bit0 -x_0x23_18_0x23_10_bit0 -x_0x23_18_0x23_7_bit0 -x_0x23_18_0x23_5_bit0 -x_0x23_18_0x23_4_bit0 -x_0x23_18_0x23_2_bit0 -x_0x23_17_0x23_35_bit0 -x_0x23_17_0x23_33_bit0 -x_0x23_17_0x23_31_bit0 -x_0x23_17_0x23_28_bit0 -x_0x23_17_0x23_25_bit0 -x_0x23_17_0x23_24_bit0 -x_0x23_17_0x23_22_bit0 -x_0x23_17_0x23_21_bit0 -x_0x23_17_0x23_19_bit0 -x_0x23_17_0x23_17_bit0 -x_0x23_17_0x23_15_bit0 -x_0x23_17_0x23_14_bit0 -x_0x23_17_0x23_12_bit0 -x_0x23_17_0x23_10_bit0 -x_0x23_17_0x23_7_bit0 -x_0x23_17_0x23_5_bit0 -x_0x23_17_0x23_4_bit0 -x_0x23_17_0x23_2_bit0 -x_0x23_16_0x23_35_bit0 -x_0x23_16_0x23_33_bit0 -x_0x23_16_0x23_31_bit0 -x_0x23_16_0x23_28_bit0 -x_0x23_16_0x23_25_bit0 -x_0x23_16_0x23_24_bit0 -x_0x23_16_0x23_22_bit0 -x_0x23_16_0x23_21_bit0 -x_0x23_16_0x23_19_bit0 -x_0x23_16_0x23_17_bit0 -x_0x23_16_0x23_15_bit0 -x_0x23_16_0x23_14_bit0 -x_0x23_16_0x23_12_bit0 -x_0x23_16_0x23_10_bit0 -x_0x23_16_0x23_7_bit0 -x_0x23_16_0x23_5_bit0 -x_0x23_16_0x23_4_bit0 -x_0x23_16_0x23_2_bit0 -x_0x23_15_0x23_35_bit0 -x_0x23_15_0x23_33_bit0 -x_0x23_15_0x23_31_bit0 -x_0x23_15_0x23_28_bit0 -x_0x23_15_0x23_25_bit0 -x_0x23_15_0x23_24_bit0 -x_0x23_15_0x23_22_bit0 -x_0x23_15_0x23_21_bit0 -x_0x23_15_0x23_19_bit0 -x_0x23_15_0x23_17_bit0 -x_0x23_15_0x23_15_bit0 -x_0x23_15_0x23_14_bit0 -x_0x23_15_0x23_12_bit0 -x_0x23_15_0x23_10_bit0 -x_0x23_15_0x23_7_bit0 -x_0x23_15_0x23_5_bit0 -x_0x23_15_0x23_4_bit0 -x_0x23_15_0x23_2_bit0 -x_0x23_14_0x23_35_bit0 -x_0x23_14_0x23_33_bit0 -x_0x23_14_0x23_31_bit0 -x_0x23_14_0x23_28_bit0 -x_0x23_14_0x23_25_bit0 -x_0x23_14_0x23_24_bit0 -x_0x23_14_0x23_22_bit0 -x_0x23_14_0x23_21_bit0 -x_0x23_14_0x23_19_bit0 -x_0x23_14_0x23_17_bit0 -x_0x23_14_0x23_15_bit0 -x_0x23_14_0x23_14_bit0 -x_0x23_14_0x23_12_bit0 -x_0x23_14_0x23_10_bit0 -x_0x23_14_0x23_7_bit0 -x_0x23_14_0x23_5_bit0 -x_0x23_14_0x23_4_bit0 -x_0x23_14_0x23_2_bit0 -x_0x23_13_0x23_35_bit0 -x_0x23_13_0x23_33_bit0 -x_0x23_13_0x23_31_bit0 -x_0x23_13_0x23_28_bit0 -x_0x23_13_0x23_25_bit0 -x_0x23_13_0x23_24_bit0 -x_0x23_13_0x23_22_bit0 -x_0x23_13_0x23_21_bit0 -x_0x23_13_0x23_19_bit0 -x_0x23_13_0x23_17_bit0 -x_0x23_13_0x23_15_bit0 -x_0x23_13_0x23_14_bit0 -x_0x23_13_0x23_12_bit0 -x_0x23_13_0x23_10_bit0 -x_0x23_13_0x23_7_bit0 -x_0x23_13_0x23_5_bit0 -x_0x23_13_0x23_4_bit0 -x_0x23_13_0x23_2_bit0 -x_0x23_12_0x23_35_bit0 -x_0x23_12_0x23_33_bit0 -x_0x23_12_0x23_31_bit0 -x_0x23_12_0x23_28_bit0 -x_0x23_12_0x23_25_bit0 -x_0x23_12_0x23_24_bit0 x_0x23_12_0x23_22_bit0 -x_0x23_12_0x23_21_bit0 -x_0x23_12_0x23_19_bit0 -x_0x23_12_0x23_17_bit0 -x_0x23_12_0x23_15_bit0 -x_0x23_12_0x23_14_bit0 -x_0x23_12_0x23_12_bit0 -x_0x23_12_0x23_10_bit0 -x_0x23_12_0x23_7_bit0 -x_0x23_12_0x23_5_bit0 -x_0x23_12_0x23_4_bit0 -x_0x23_12_0x23_2_bit0 -x_0x23_11_0x23_35_bit0 -x_0x23_11_0x23_33_bit0 -x_0x23_11_0x23_31_bit0 -x_0x23_11_0x23_28_bit0 -x_0x23_11_0x23_25_bit0 -x_0x23_11_0x23_24_bit0 -x_0x23_11_0x23_22_bit0 -x_0x23_11_0x23_21_bit0 -x_0x23_11_0x23_19_bit0 -x_0x23_11_0x23_17_bit0 -x_0x23_11_0x23_15_bit0 -x_0x23_11_0x23_14_bit0 -x_0x23_11_0x23_12_bit0 -x_0x23_11_0x23_10_bit0 -x_0x23_11_0x23_7_bit0 -x_0x23_11_0x23_5_bit0 -x_0x23_11_0x23_4_bit0 -x_0x23_11_0x23_2_bit0 -x_0x23_10_0x23_35_bit0 -x_0x23_10_0x23_33_bit0 -x_0x23_10_0x23_31_bit0 -x_0x23_10_0x23_28_bit0 x_0x23_10_0x23_25_bit0 -x_0x23_10_0x23_24_bit0 -x_0x23_10_0x23_22_bit0 -x_0x23_10_0x23_21_bit0 -x_0x23_10_0x23_19_bit0 -x_0x23_10_0x23_17_bit0 -x_0x23_10_0x23_15_bit0 -x_0x23_10_0x23_14_bit0 -x_0x23_10_0x23_12_bit0 -x_0x23_10_0x23_10_bit0 -x_0x23_10_0x23_7_bit0 -x_0x23_10_0x23_5_bit0 -x_0x23_10_0x23_4_bit0 -x_0x23_10_0x23_2_bit0 -x_0x23_9_0x23_35_bit0 -x_0x23_9_0x23_33_bit0 -x_0x23_9_0x23_31_bit0 -x_0x23_9_0x23_28_bit0 -x_0x23_9_0x23_25_bit0 -x_0x23_9_0x23_24_bit0 -x_0x23_9_0x23_22_bit0 -x_0x23_9_0x23_21_bit0 -x_0x23_9_0x23_19_bit0 -x_0x23_9_0x23_17_bit0 -x_0x23_9_0x23_15_bit0 -x_0x23_9_0x23_14_bit0 -x_0x23_9_0x23_12_bit0 -x_0x23_9_0x23_10_bit0 -x_0x23_9_0x23_7_bit0 -x_0x23_9_0x23_5_bit0 -x_0x23_9_0x23_4_bit0 -x_0x23_9_0x23_2_bit0 -x_0x23_8_0x23_35_bit0 -x_0x23_8_0x23_33_bit0 -x_0x23_8_0x23_31_bit0 x_0x23_8_0x23_28_bit0 -x_0x23_8_0x23_25_bit0 -x_0x23_8_0x23_24_bit0 -x_0x23_8_0x23_22_bit0 -x_0x23_8_0x23_21_bit0 -x_0x23_8_0x23_19_bit0 -x_0x23_8_0x23_17_bit0 -x_0x23_8_0x23_15_bit0 -x_0x23_8_0x23_14_bit0 -x_0x23_8_0x23_12_bit0 -x_0x23_8_0x23_10_bit0 -x_0x23_8_0x23_7_bit0 -x_0x23_8_0x23_5_bit0 -x_0x23_8_0x23_4_bit0 -x_0x23_8_0x23_2_bit0 -x_0x23_7_0x23_35_bit0 -x_0x23_7_0x23_33_bit0 -x_0x23_7_0x23_31_bit0 -x_0x23_7_0x23_28_bit0 -x_0x23_7_0x23_25_bit0 -x_0x23_7_0x23_24_bit0 -x_0x23_7_0x23_22_bit0 -x_0x23_7_0x23_21_bit0 -x_0x23_7_0x23_19_bit0 -x_0x23_7_0x23_17_bit0 -x_0x23_7_0x23_15_bit0 -x_0x23_7_0x23_14_bit0 -x_0x23_7_0x23_12_bit0 -x_0x23_7_0x23_10_bit0 -x_0x23_7_0x23_7_bit0 -x_0x23_7_0x23_5_bit0 -x_0x23_7_0x23_4_bit0 -x_0x23_7_0x23_2_bit0 -x_0x23_6_0x23_35_bit0 -x_0x23_6_0x23_33_bit0 -x_0x23_6_0x23_31_bit0 -x_0x23_6_0x23_28_bit0 -x_0x23_6_0x23_25_bit0 -x_0x23_6_0x23_24_bit0 -x_0x23_6_0x23_22_bit0 -x_0x23_6_0x23_21_bit0 -x_0x23_6_0x23_19_bit0 -x_0x23_6_0x23_17_bit0 -x_0x23_6_0x23_15_bit0 -x_0x23_6_0x23_14_bit0 -x_0x23_6_0x23_12_bit0 -x_0x23_6_0x23_10_bit0 -x_0x23_6_0x23_7_bit0 -x_0x23_6_0x23_5_bit0 -x_0x23_6_0x23_4_bit0 -x_0x23_6_0x23_2_bit0 -x_0x23_5_0x23_35_bit0 -x_0x23_5_0x23_33_bit0 -x_0x23_5_0x23_31_bit0 -x_0x23_5_0x23_28_bit0 -x_0x23_5_0x23_25_bit0 -x_0x23_5_0x23_24_bit0 -x_0x23_5_0x23_22_bit0 -x_0x23_5_0x23_21_bit0 -x_0x23_5_0x23_19_bit0 -x_0x23_5_0x23_17_bit0 -x_0x23_5_0x23_15_bit0 -x_0x23_5_0x23_14_bit0 -x_0x23_5_0x23_12_bit0 -x_0x23_5_0x23_10_bit0 -x_0x23_5_0x23_7_bit0 -x_0x23_5_0x23_5_bit0 -x_0x23_5_0x23_4_bit0 -x_0x23_5_0x23_2_bit0 -x_0x23_4_0x23_35_bit0 -x_0x23_4_0x23_33_bit0 -x_0x23_4_0x23_31_bit0 -x_0x23_4_0x23_28_bit0 -x_0x23_4_0x23_25_bit0 -x_0x23_4_0x23_24_bit0 -x_0x23_4_0x23_22_bit0 -x_0x23_4_0x23_21_bit0 -x_0x23_4_0x23_19_bit0 -x_0x23_4_0x23_17_bit0 -x_0x23_4_0x23_15_bit0 -x_0x23_4_0x23_14_bit0 -x_0x23_4_0x23_12_bit0 -x_0x23_4_0x23_10_bit0 -x_0x23_4_0x23_7_bit0 -x_0x23_4_0x23_5_bit0 -x_0x23_4_0x23_4_bit0 -x_0x23_4_0x23_2_bit0 -x_0x23_3_0x23_35_bit0 -x_0x23_3_0x23_33_bit0 -x_0x23_3_0x23_31_bit0 -x_0x23_3_0x23_28_bit0 -x_0x23_3_0x23_25_bit0 x_0x23_3_0x23_24_bit0 -x_0x23_3_0x23_22_bit0 -x_0x23_3_0x23_21_bit0 -x_0x23_3_0x23_19_bit0 -x_0x23_3_0x23_17_bit0 -x_0x23_3_0x23_15_bit0 -x_0x23_3_0x23_14_bit0 -x_0x23_3_0x23_12_bit0 -x_0x23_3_0x23_10_bit0 -x_0x23_3_0x23_7_bit0 -x_0x23_3_0x23_5_bit0 -x_0x23_3_0x23_4_bit0 -x_0x23_3_0x23_2_bit0 -x_0x23_2_0x23_35_bit0 -x_0x23_2_0x23_33_bit0 -x_0x23_2_0x23_31_bit0 -x_0x23_2_0x23_28_bit0 -x_0x23_2_0x23_25_bit0 -x_0x23_2_0x23_24_bit0 -x_0x23_2_0x23_22_bit0 -x_0x23_2_0x23_21_bit0 -x_0x23_2_0x23_19_bit0 -x_0x23_2_0x23_17_bit0 -x_0x23_2_0x23_15_bit0 -x_0x23_2_0x23_14_bit0 -x_0x23_2_0x23_12_bit0 -x_0x23_2_0x23_10_bit0 -x_0x23_2_0x23_7_bit0 -x_0x23_2_0x23_5_bit0 -x_0x23_2_0x23_4_bit0 -x_0x23_2_0x23_2_bit0 -x_0x23_1_0x23_35_bit0 -x_0x23_1_0x23_33_bit0 -x_0x23_1_0x23_31_bit0 -x_0x23_1_0x23_28_bit0 -x_0x23_1_0x23_25_bit0 -x_0x23_1_0x23_24_bit0 -x_0x23_1_0x23_22_bit0 -x_0x23_1_0x23_21_bit0 -x_0x23_1_0x23_19_bit0 -x_0x23_1_0x23_17_bit0 -x_0x23_1_0x23_15_bit0 -x_0x23_1_0x23_14_bit0 -x_0x23_1_0x23_12_bit0 -x_0x23_1_0x23_10_bit0 -x_0x23_1_0x23_7_bit0 -x_0x23_1_0x23_5_bit0 -x_0x23_1_0x23_4_bit0 -x_0x23_1_0x23_2_bit0
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb Enforcing VSIZE limit: 994918400 bytes Current StackSize limit: 67108864 bytes Raw data (/proc/6033/stat): 6033 (Pueblo) R 6032 6033 824 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1801901489 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6033/statm): 41 3 40 18 0 23 0 [pid=6033] vsize: 164 open syscall for file /etc/ld.so.preload open syscall for file tls/i686/mmx/libstdc++.so.5 open syscall for file tls/i686/libstdc++.so.5 open syscall for file tls/mmx/libstdc++.so.5 open syscall for file tls/libstdc++.so.5 open syscall for file i686/mmx/libstdc++.so.5 open syscall for file i686/libstdc++.so.5 open syscall for file mmx/libstdc++.so.5 open syscall for file libstdc++.so.5 open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libstdc++.so.5 open syscall for file /oldhome/oroussel/lib/tls/i686/libstdc++.so.5 open syscall for file /oldhome/oroussel/lib/tls/mmx/libstdc++.so.5 open syscall for file /oldhome/oroussel/lib/tls/libstdc++.so.5 open syscall for file /oldhome/oroussel/lib/i686/mmx/libstdc++.so.5 open syscall for file /oldhome/oroussel/lib/i686/libstdc++.so.5 open syscall for file /oldhome/oroussel/lib/mmx/libstdc++.so.5 open syscall for file /oldhome/oroussel/lib/libstdc++.so.5 open syscall for file /etc/ld.so.cache open syscall for file /usr/lib/libstdc++.so.5 open syscall for file tls/i686/mmx/libm.so.6 open syscall for file tls/i686/libm.so.6 open syscall for file tls/mmx/libm.so.6 open syscall for file tls/libm.so.6 open syscall for file i686/mmx/libm.so.6 open syscall for file i686/libm.so.6 open syscall for file mmx/libm.so.6 open syscall for file libm.so.6 open syscall for file /oldhome/oroussel/lib/libm.so.6 open syscall for file /lib/tls/libm.so.6 open syscall for file tls/i686/mmx/libgcc_s.so.1 open syscall for file tls/i686/libgcc_s.so.1 open syscall for file tls/mmx/libgcc_s.so.1 open syscall for file tls/libgcc_s.so.1 open syscall for file i686/mmx/libgcc_s.so.1 open syscall for file i686/libgcc_s.so.1 open syscall for file mmx/libgcc_s.so.1 open syscall for file libgcc_s.so.1 open syscall for file /oldhome/oroussel/lib/libgcc_s.so.1 open syscall for file /lib/libgcc_s.so.1 open syscall for file tls/i686/mmx/libc.so.6 open syscall for file tls/i686/libc.so.6 open syscall for file tls/mmx/libc.so.6 open syscall for file tls/libc.so.6 open syscall for file i686/mmx/libc.so.6 open syscall for file i686/libc.so.6 open syscall for file mmx/libc.so.6 open syscall for file libc.so.6 open syscall for file /oldhome/oroussel/lib/libc.so.6 open syscall for file /lib/tls/libc.so.6 [startup+10.003 s] Raw data (loadavg): 0.74 0.95 0.90 2/56 6033 Raw data (/proc/6033/stat): 6033 (Pueblo) R 6032 6033 824 0 -1 0 1414 0 0 0 993 4 0 0 25 0 1 0 1801901489 7303168 1375 4294967295 134512640 134578447 3221224624 3221223504 134528172 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/6033/statm): 1783 1375 566 18 0 1765 0 [pid=6033] vsize: 7132 Current children cumulated CPU time (s) 9.97 Current children cumulated vsize (Kb) 7132 [startup+20.0037 s] Raw data (loadavg): 0.78 0.95 0.90 2/56 6033 Raw data (/proc/6033/stat): 6033 (Pueblo) R 6032 6033 824 0 -1 0 2058 0 0 0 1991 6 0 0 25 0 1 0 1801901489 9932800 2019 4294967295 134512640 134578447 3221224624 3221223296 134522255 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/6033/statm): 2425 2019 566 18 0 2407 0 [pid=6033] vsize: 9700 Current children cumulated CPU time (s) 19.97 Current children cumulated vsize (Kb) 9700 [startup+30.0035 s] Raw data (loadavg): 0.81 0.95 0.91 2/56 6033 Raw data (/proc/6033/stat): 6033 (Pueblo) R 6032 6033 824 0 -1 0 2634 0 0 0 2978 11 0 0 25 0 1 0 1801901489 12259328 2595 4294967295 134512640 134578447 3221224624 3221223504 134518953 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/6033/statm): 2993 2595 566 18 0 2975 0 [pid=6033] vsize: 11972 Current children cumulated CPU time (s) 29.89 Current children cumulated vsize (Kb) 11972 [startup+40.0042 s] Raw data (loadavg): 0.84 0.95 0.91 2/56 6033 Raw data (/proc/6033/stat): 6033 (Pueblo) R 6032 6033 824 0 -1 0 2634 0 0 0 3962 17 0 0 25 0 1 0 1801901489 12259328 2595 4294967295 134512640 134578447 3221224624 3221223520 134519872 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6033/statm): 2993 2595 566 18 0 2975 0 [pid=6033] vsize: 11972 Current children cumulated CPU time (s) 39.79 Current children cumulated vsize (Kb) 11972 [startup+50.0049 s] Raw data (loadavg): 0.86 0.95 0.91 2/56 6033 Raw data (/proc/6033/stat): 6033 (Pueblo) R 6032 6033 824 0 -1 0 2736 0 0 0 4947 23 0 0 25 0 1 0 1801901489 12738560 2697 4294967295 134512640 134578447 3221224624 3221223520 134519900 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6033/statm): 3110 2697 566 18 0 3092 0 [pid=6033] vsize: 12440 Current children cumulated CPU time (s) 49.7 Current children cumulated vsize (Kb) 12440 [startup+60.0047 s] Raw data (loadavg): 0.88 0.95 0.91 2/56 6033 Raw data (/proc/6033/stat): 6033 (Pueblo) R 6032 6033 824 0 -1 0 2804 0 0 0 5927 29 0 0 25 0 1 0 1801901489 13000704 2765 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/6033/statm): 3174 2765 566 18 0 3156 0 [pid=6033] vsize: 12696 Current children cumulated CPU time (s) 59.56 Current children cumulated vsize (Kb) 12696 [startup+70.0054 s] Raw data (loadavg): 0.90 0.95 0.91 2/56 6033 Raw data (/proc/6033/stat): 6033 (Pueblo) R 6032 6033 824 0 -1 0 2804 0 0 0 6832 62 0 0 25 0 1 0 1801901489 12955648 2765 4294967295 134512640 134578447 3221224624 3221223520 134519906 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6033/statm): 3163 2765 566 18 0 3145 0 [pid=6033] vsize: 12652 Current children cumulated CPU time (s) 68.94 Current children cumulated vsize (Kb) 12652 [startup+80.0061 s] Raw data (loadavg): 0.92 0.95 0.91 2/56 6033 Raw data (/proc/6033/stat): 6033 (Pueblo) R 6032 6033 824 0 -1 0 2804 0 0 0 7695 106 0 0 25 0 1 0 1801901489 12955648 2765 4294967295 134512640 134578447 3221224624 3221223504 134518981 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6033/statm): 3163 2765 566 18 0 3145 0 [pid=6033] vsize: 12652 Current children cumulated CPU time (s) 78.01 Current children cumulated vsize (Kb) 12652 [startup+90.0069 s] Raw data (loadavg): 1.01 0.97 0.91 2/56 6033 Raw data (/proc/6033/stat): 6033 (Pueblo) R 6032 6033 824 0 -1 0 2804 0 0 0 8564 149 0 0 25 0 1 0 1801901489 12955648 2765 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/6033/statm): 3163 2765 566 18 0 3145 0 [pid=6033] vsize: 12652 Current children cumulated CPU time (s) 87.13 Current children cumulated vsize (Kb) 12652 [startup+100.008 s] Raw data (loadavg): 1.01 0.97 0.91 1/56 6033 Raw data (/proc/6033/stat): 6033 (Pueblo) T 6032 6033 824 0 -1 0 2804 0 0 0 9510 168 0 0 25 0 1 0 1801901489 12955648 2765 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/6033/statm): 3163 2765 566 18 0 3145 0 [pid=6033] vsize: 12652 Current children cumulated CPU time (s) 96.78 Current children cumulated vsize (Kb) 12652 [startup+110.007 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 6033 Raw data (/proc/6033/stat): 6033 (Pueblo) R 6032 6033 824 0 -1 0 2804 0 0 0 10450 187 0 0 23 0 1 0 1801901489 12955648 2765 4294967295 134512640 134578447 3221224624 3221222672 134532616 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/6033/statm): 3163 2765 566 18 0 3145 0 [pid=6033] vsize: 12652 Current children cumulated CPU time (s) 106.37 Current children cumulated vsize (Kb) 12652 [startup+120.008 s] Raw data (loadavg): 1.00 0.97 0.91 1/56 6033 Raw data (/proc/6033/stat): 6033 (Pueblo) T 6032 6033 824 0 -1 0 2804 0 0 0 11405 204 0 0 25 0 1 0 1801901489 12955648 2765 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/6033/statm): 3163 2765 566 18 0 3145 0 [pid=6033] vsize: 12652 Current children cumulated CPU time (s) 116.09 Current children cumulated vsize (Kb) 12652 [startup+130.009 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 6033 Raw data (/proc/6033/stat): 6033 (Pueblo) R 6032 6033 824 0 -1 0 2804 0 0 0 12333 226 0 0 22 0 1 0 1801901489 12955648 2765 4294967295 134512640 134578447 3221224624 3221223296 134522534 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/6033/statm): 3163 2765 566 18 0 3145 0 [pid=6033] vsize: 12652 Current children cumulated CPU time (s) 125.59 Current children cumulated vsize (Kb) 12652 [startup+140.01 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 6033 Raw data (/proc/6033/stat): 6033 (Pueblo) R 6032 6033 824 0 -1 0 2804 0 0 0 13273 245 0 0 21 0 1 0 1801901489 12955648 2765 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6033/statm): 3163 2765 566 18 0 3145 0 [pid=6033] vsize: 12652 Current children cumulated CPU time (s) 135.18 Current children cumulated vsize (Kb) 12652 [startup+150.01 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 6033 Raw data (/proc/6033/stat): 6033 (Pueblo) R 6032 6033 824 0 -1 0 2804 0 0 0 14163 282 0 0 25 0 1 0 1801901489 12955648 2765 4294967295 134512640 134578447 3221224624 3221223504 134518971 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/6033/statm): 3163 2765 566 18 0 3145 0 [pid=6033] vsize: 12652 Current children cumulated CPU time (s) 144.45 Current children cumulated vsize (Kb) 12652 [startup+160.01 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 6033 Raw data (/proc/6033/stat): 6033 (Pueblo) R 6032 6033 824 0 -1 0 2804 0 0 0 15079 310 0 0 25 0 1 0 1801901489 12955648 2765 4294967295 134512640 134578447 3221224624 3221223504 134518968 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6033/statm): 3163 2765 566 18 0 3145 0 [pid=6033] vsize: 12652 Current children cumulated CPU time (s) 153.89 Current children cumulated vsize (Kb) 12652 [startup+170.011 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 6033 Raw data (/proc/6033/stat): 6033 (Pueblo) R 6032 6033 824 0 -1 0 2804 0 0 0 16052 320 0 0 25 0 1 0 1801901489 12955648 2765 4294967295 134512640 134578447 3221224624 3221223536 134556798 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6033/statm): 3163 2765 566 18 0 3145 0 [pid=6033] vsize: 12652 Current children cumulated CPU time (s) 163.72 Current children cumulated vsize (Kb) 12652 [startup+180.011 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 6033 Raw data (/proc/6033/stat): 6033 (Pueblo) R 6032 6033 824 0 -1 0 2804 0 0 0 17026 329 0 0 25 0 1 0 1801901489 12955648 2765 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/6033/statm): 3163 2765 566 18 0 3145 0 [pid=6033] vsize: 12652 Current children cumulated CPU time (s) 173.55 Current children cumulated vsize (Kb) 12652 [startup+190.012 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 6033 Raw data (/proc/6033/stat): 6033 (Pueblo) R 6032 6033 824 0 -1 0 2804 0 0 0 18003 337 0 0 25 0 1 0 1801901489 12955648 2765 4294967295 134512640 134578447 3221224624 3221223536 134516778 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/6033/statm): 3163 2765 566 18 0 3145 0 [pid=6033] vsize: 12652 Current children cumulated CPU time (s) 183.4 Current children cumulated vsize (Kb) 12652 [startup+200.012 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 6033 Raw data (/proc/6033/stat): 6033 (Pueblo) R 6032 6033 824 0 -1 0 2804 0 0 0 18972 349 0 0 25 0 1 0 1801901489 12955648 2765 4294967295 134512640 134578447 3221224624 3221223488 134517795 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/6033/statm): 3163 2765 566 18 0 3145 0 [pid=6033] vsize: 12652 Current children cumulated CPU time (s) 193.21 Current children cumulated vsize (Kb) 12652 [startup+210.012 s] Raw data (loadavg): 1.00 0.97 0.91 1/56 6033 Raw data (/proc/6033/stat): 6033 (Pueblo) T 6032 6033 824 0 -1 0 2804 0 0 0 19947 358 0 0 25 0 1 0 1801901489 12955648 2765 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/6033/statm): 3163 2765 566 18 0 3145 0 [pid=6033] vsize: 12652 Current children cumulated CPU time (s) 203.05 Current children cumulated vsize (Kb) 12652 [startup+220.012 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 6033 Raw data (/proc/6033/stat): 6033 (Pueblo) R 6032 6033 824 0 -1 0 3190 0 0 0 20931 364 0 0 25 0 1 0 1801901489 14557184 3151 4294967295 134512640 134578447 3221224624 3221223476 134555786 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/6033/statm): 3554 3151 566 18 0 3536 0 [pid=6033] vsize: 14216 Current children cumulated CPU time (s) 212.95 Current children cumulated vsize (Kb) 14216 [startup+230.012 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 6033 Raw data (/proc/6033/stat): 6033 (Pueblo) R 6032 6033 824 0 -1 0 3493 0 0 0 21911 371 0 0 25 0 1 0 1801901489 15785984 3454 4294967295 134512640 134578447 3221224624 3221223504 134528163 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/6033/statm): 3854 3454 566 18 0 3836 0 [pid=6033] vsize: 15416 Current children cumulated CPU time (s) 222.82 Current children cumulated vsize (Kb) 15416 [startup+240.013 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 6033 Raw data (/proc/6033/stat): 6033 (Pueblo) R 6032 6033 824 0 -1 0 3499 0 0 0 22894 377 0 0 25 0 1 0 1801901489 15859712 3460 4294967295 134512640 134578447 3221224624 3221223476 134555717 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/6033/statm): 3872 3460 566 18 0 3854 0 [pid=6033] vsize: 15488 Current children cumulated CPU time (s) 232.71 Current children cumulated vsize (Kb) 15488 [startup+250.014 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 6033 Raw data (/proc/6033/stat): 6033 (Pueblo) R 6032 6033 824 0 -1 0 3901 0 0 0 23873 385 0 0 25 0 1 0 1801901489 17494016 3850 4294967295 134512640 134578447 3221224624 3221223504 134518966 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/6033/statm): 4271 3850 566 18 0 4253 0 [pid=6033] vsize: 17084 Current children cumulated CPU time (s) 242.58 Current children cumulated vsize (Kb) 17084 [startup+260.013 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 6033 Raw data (/proc/6033/stat): 6033 (Pueblo) R 6032 6033 824 0 -1 0 4124 0 0 0 24855 392 0 0 25 0 1 0 1801901489 18395136 4073 4294967295 134512640 134578447 3221224624 3221223504 134527632 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/6033/statm): 4491 4073 566 18 0 4473 0 [pid=6033] vsize: 17964 Current children cumulated CPU time (s) 252.47 Current children cumulated vsize (Kb) 17964 [startup+270.014 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 6033 Raw data (/proc/6033/stat): 6033 (Pueblo) R 6032 6033 824 0 -1 0 4124 0 0 0 25788 414 0 0 25 0 1 0 1801901489 18391040 4073 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6033/statm): 4490 4073 566 18 0 4472 0 [pid=6033] vsize: 17960 Current children cumulated CPU time (s) 262.02 Current children cumulated vsize (Kb) 17960 [startup+280.015 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 6033 Raw data (/proc/6033/stat): 6033 (Pueblo) R 6032 6033 824 0 -1 0 4124 0 0 0 26730 434 0 0 25 0 1 0 1801901489 18391040 4073 4294967295 134512640 134578447 3221224624 3221223296 134522572 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6033/statm): 4490 4073 566 18 0 4472 0 [pid=6033] vsize: 17960 Current children cumulated CPU time (s) 271.64 Current children cumulated vsize (Kb) 17960 [startup+290.015 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 6033 Raw data (/proc/6033/stat): 6033 (Pueblo) R 6032 6033 824 0 -1 0 4124 0 0 0 27668 456 0 0 25 0 1 0 1801901489 18284544 4069 4294967295 134512640 134578447 3221224624 3221223504 134528156 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/6033/statm): 4464 4069 566 18 0 4446 0 [pid=6033] vsize: 17856 Current children cumulated CPU time (s) 281.24 Current children cumulated vsize (Kb) 17856 [startup+300.016 s] Raw data (loadavg): 1.00 0.97 0.91 1/56 6033 Raw data (/proc/6033/stat): 6033 (Pueblo) T 6032 6033 824 0 -1 0 4124 0 0 0 28597 478 0 0 25 0 1 0 1801901489 18284544 4069 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/6033/statm): 4464 4069 566 18 0 4446 0 [pid=6033] vsize: 17856 Current children cumulated CPU time (s) 290.75 Current children cumulated vsize (Kb) 17856 [startup+310.017 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 6033 Raw data (/proc/6033/stat): 6033 (Pueblo) R 6032 6033 824 0 -1 0 4124 0 0 0 29453 525 0 0 25 0 1 0 1801901489 18284544 4069 4294967295 134512640 134578447 3221224624 3221223520 134520032 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6033/statm): 4464 4069 566 18 0 4446 0 [pid=6033] vsize: 17856 Current children cumulated CPU time (s) 299.78 Current children cumulated vsize (Kb) 17856 [startup+320.018 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 6033 Raw data (/proc/6033/stat): 6033 (Pueblo) R 6032 6033 824 0 -1 0 4124 0 0 0 30402 541 0 0 25 0 1 0 1801901489 18284544 4069 4294967295 134512640 134578447 3221224624 3221221600 134533075 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6033/statm): 4464 4069 566 18 0 4446 0 [pid=6033] vsize: 17856 Current children cumulated CPU time (s) 309.43 Current children cumulated vsize (Kb) 17856 [startup+330.018 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 6033 Raw data (/proc/6033/stat): 6033 (Pueblo) R 6032 6033 824 0 -1 0 4124 0 0 0 31344 561 0 0 25 0 1 0 1801901489 18284544 4069 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/6033/statm): 4464 4069 566 18 0 4446 0 [pid=6033] vsize: 17856 Current children cumulated CPU time (s) 319.05 Current children cumulated vsize (Kb) 17856 [startup+340.019 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 6033 Raw data (/proc/6033/stat): 6033 (Pueblo) R 6032 6033 824 0 -1 0 4124 0 0 0 32320 570 0 0 25 0 1 0 1801901489 18284544 4069 4294967295 134512640 134578447 3221224624 3221223520 134519879 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6033/statm): 4464 4069 566 18 0 4446 0 [pid=6033] vsize: 17856 Current children cumulated CPU time (s) 328.9 Current children cumulated vsize (Kb) 17856 [startup+350.019 s] Raw data (loadavg): 1.00 0.97 0.91 1/56 6033 Raw data (/proc/6033/stat): 6033 (Pueblo) T 6032 6033 824 0 -1 0 4124 0 0 0 33291 579 0 0 25 0 1 0 1801901489 18284544 4069 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/6033/statm): 4464 4069 566 18 0 4446 0 [pid=6033] vsize: 17856 Current children cumulated CPU time (s) 338.7 Current children cumulated vsize (Kb) 17856 [startup+360.02 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 6033 Raw data (/proc/6033/stat): 6033 (Pueblo) R 6032 6033 824 0 -1 0 4124 0 0 0 34264 589 0 0 25 0 1 0 1801901489 18284544 4069 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/6033/statm): 4464 4069 566 18 0 4446 0 [pid=6033] vsize: 17856 Current children cumulated CPU time (s) 348.53 Current children cumulated vsize (Kb) 17856 [startup+370.02 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 6033 Raw data (/proc/6033/stat): 6033 (Pueblo) R 6032 6033 824 0 -1 0 4124 0 0 0 35247 595 0 0 25 0 1 0 1801901489 18284544 4069 4294967295 134512640 134578447 3221224624 3221223488 134517816 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/6033/statm): 4464 4069 566 18 0 4446 0 [pid=6033] vsize: 17856 Current children cumulated CPU time (s) 358.42 Current children cumulated vsize (Kb) 17856 [startup+380.02 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 6033 Raw data (/proc/6033/stat): 6033 (Pueblo) R 6032 6033 824 0 -1 0 4124 0 0 0 36231 599 0 0 25 0 1 0 1801901489 18284544 4069 4294967295 134512640 134578447 3221224624 3221223488 134517814 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/6033/statm): 4464 4069 566 18 0 4446 0 [pid=6033] vsize: 17856 Current children cumulated CPU time (s) 368.3 Current children cumulated vsize (Kb) 17856 [startup+390.021 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 6033 Raw data (/proc/6033/stat): 6033 (Pueblo) R 6032 6033 824 0 -1 0 4124 0 0 0 37092 645 0 0 25 0 1 0 1801901489 18284544 4069 4294967295 134512640 134578447 3221224624 3221223520 134519997 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6033/statm): 4464 4069 566 18 0 4446 0 [pid=6033] vsize: 17856 Current children cumulated CPU time (s) 377.37 Current children cumulated vsize (Kb) 17856 [startup+400.021 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 6033 Raw data (/proc/6033/stat): 6033 (Pueblo) R 6032 6033 824 0 -1 0 4124 0 0 0 38058 657 0 0 25 0 1 0 1801901489 18284544 4069 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6033/statm): 4464 4069 566 18 0 4446 0 [pid=6033] vsize: 17856 Current children cumulated CPU time (s) 387.15 Current children cumulated vsize (Kb) 17856 [startup+410.021 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 6033 Raw data (/proc/6033/stat): 6033 (Pueblo) R 6032 6033 824 0 -1 0 4124 0 0 0 39035 666 0 0 25 0 1 0 1801901489 18284544 4069 4294967295 134512640 134578447 3221224624 3221223472 134520250 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/6033/statm): 4464 4069 566 18 0 4446 0 [pid=6033] vsize: 17856 Current children cumulated CPU time (s) 397.01 Current children cumulated vsize (Kb) 17856 [startup+420.022 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 6033 Raw data (/proc/6033/stat): 6033 (Pueblo) R 6032 6033 824 0 -1 0 4124 0 0 0 40017 671 0 0 25 0 1 0 1801901489 18284544 4069 4294967295 134512640 134578447 3221224624 3221223476 134555717 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/6033/statm): 4464 4069 566 18 0 4446 0 [pid=6033] vsize: 17856 Current children cumulated CPU time (s) 406.88 Current children cumulated vsize (Kb) 17856 [startup+430.023 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 6033 Raw data (/proc/6033/stat): 6033 (Pueblo) R 6032 6033 824 0 -1 0 4124 0 0 0 41002 676 0 0 25 0 1 0 1801901489 18284544 4069 4294967295 134512640 134578447 3221224624 3221223552 134552669 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/6033/statm): 4464 4069 566 18 0 4446 0 [pid=6033] vsize: 17856 Current children cumulated CPU time (s) 416.78 Current children cumulated vsize (Kb) 17856 [startup+440.023 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 6033 Raw data (/proc/6033/stat): 6033 (Pueblo) R 6032 6033 824 0 -1 0 4124 0 0 0 41987 681 0 0 25 0 1 0 1801901489 18284544 4069 4294967295 134512640 134578447 3221224624 3221223476 134555800 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/6033/statm): 4464 4069 566 18 0 4446 0 [pid=6033] vsize: 17856 Current children cumulated CPU time (s) 426.68 Current children cumulated vsize (Kb) 17856 [startup+450.024 s] Raw data (loadavg): 1.00 0.97 0.91 1/59 6087 Raw data (/proc/6033/stat): 6033 (Pueblo) T 6032 6033 824 0 -1 0 4124 0 0 0 42927 705 0 0 17 0 1 0 1801901489 18284544 4069 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/6033/statm): 4464 4069 566 18 0 4446 0 [pid=6033] vsize: 17856 Current children cumulated CPU time (s) 436.32 Current children cumulated vsize (Kb) 17856 [startup+460.026 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 6088 Raw data (/proc/6033/stat): 6033 (Pueblo) R 6032 6033 824 0 -1 0 4299 0 0 0 43896 714 0 0 25 0 1 0 1801901489 19042304 4244 4294967295 134512640 134578447 3221224624 3221223476 134555717 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6033/statm): 4649 4244 566 18 0 4631 0 [pid=6033] vsize: 18596 Current children cumulated CPU time (s) 446.1 Current children cumulated vsize (Kb) 18596 [startup+470.027 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 6088 Raw data (/proc/6033/stat): 6033 (Pueblo) R 6032 6033 824 0 -1 0 4299 0 0 0 44876 721 0 0 25 0 1 0 1801901489 19042304 4244 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/6033/statm): 4649 4244 566 18 0 4631 0 [pid=6033] vsize: 18596 Current children cumulated CPU time (s) 455.97 Current children cumulated vsize (Kb) 18596 [startup+480.026 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 6088 Raw data (/proc/6033/stat): 6033 (Pueblo) R 6032 6033 824 0 -1 0 4299 0 0 0 45863 725 0 0 25 0 1 0 1801901489 19042304 4244 4294967295 134512640 134578447 3221224624 3221223476 134555913 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/6033/statm): 4649 4244 566 18 0 4631 0 [pid=6033] vsize: 18596 Current children cumulated CPU time (s) 465.88 Current children cumulated vsize (Kb) 18596 [startup+490.027 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 6088 Raw data (/proc/6033/stat): 6033 (Pueblo) R 6032 6033 824 0 -1 0 4299 0 0 0 46845 733 0 0 25 0 1 0 1801901489 19042304 4244 4294967295 134512640 134578447 3221224624 3221223488 134517780 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/6033/statm): 4649 4244 566 18 0 4631 0 [pid=6033] vsize: 18596 Current children cumulated CPU time (s) 475.78 Current children cumulated vsize (Kb) 18596 [startup+500.028 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 6088 Raw data (/proc/6033/stat): 6033 (Pueblo) R 6032 6033 824 0 -1 0 4299 0 0 0 47823 741 0 0 25 0 1 0 1801901489 19042304 4244 4294967295 134512640 134578447 3221224624 3221223520 134519991 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/6033/statm): 4649 4244 566 18 0 4631 0 [pid=6033] vsize: 18596 Current children cumulated CPU time (s) 485.64 Current children cumulated vsize (Kb) 18596 [startup+510.029 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 6088 Raw data (/proc/6033/stat): 6033 (Pueblo) R 6032 6033 824 0 -1 0 4299 0 0 0 48804 749 0 0 25 0 1 0 1801901489 19042304 4244 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/6033/statm): 4649 4244 566 18 0 4631 0 [pid=6033] vsize: 18596 Current children cumulated CPU time (s) 495.53 Current children cumulated vsize (Kb) 18596 [startup+520.029 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 6090 Raw data (/proc/6033/stat): 6033 (Pueblo) R 6032 6033 824 0 -1 0 4299 0 0 0 49716 777 0 0 25 0 1 0 1801901489 19042304 4244 4294967295 134512640 134578447 3221224624 3221223504 134527615 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6033/statm): 4649 4244 566 18 0 4631 0 [pid=6033] vsize: 18596 Current children cumulated CPU time (s) 504.93 Current children cumulated vsize (Kb) 18596 [startup+530.029 s] Raw data (loadavg): 1.00 0.97 0.91 1/56 6092 Raw data (/proc/6033/stat): 6033 (Pueblo) T 6032 6033 824 0 -1 0 4299 0 0 0 50699 783 0 0 25 0 1 0 1801901489 19042304 4244 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/6033/statm): 4649 4244 566 18 0 4631 0 [pid=6033] vsize: 18596 Current children cumulated CPU time (s) 514.82 Current children cumulated vsize (Kb) 18596 [startup+540.03 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 6092 Raw data (/proc/6033/stat): 6033 (Pueblo) R 6032 6033 824 0 -1 0 4321 0 0 0 51691 785 0 0 25 0 1 0 1801901489 19124224 4266 4294967295 134512640 134578447 3221224624 3221223296 134522534 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6033/statm): 4669 4266 566 18 0 4651 0 [pid=6033] vsize: 18676 Current children cumulated CPU time (s) 524.76 Current children cumulated vsize (Kb) 18676 [startup+550.029 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 6092 Raw data (/proc/6033/stat): 6033 (Pueblo) T 6032 6033 824 0 -1 0 4321 0 0 0 52644 801 0 0 25 0 1 0 1801901489 19124224 4266 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/6033/statm): 4669 4266 566 18 0 4651 0 [pid=6033] vsize: 18676 Current children cumulated CPU time (s) 534.45 Current children cumulated vsize (Kb) 18676 [startup+560.029 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 6092 Raw data (/proc/6033/stat): 6033 (Pueblo) R 6032 6033 824 0 -1 0 4321 0 0 0 53581 821 0 0 25 0 1 0 1801901489 19124224 4266 4294967295 134512640 134578447 3221224624 3221223504 134518976 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6033/statm): 4669 4266 566 18 0 4651 0 [pid=6033] vsize: 18676 Current children cumulated CPU time (s) 544.02 Current children cumulated vsize (Kb) 18676 [startup+570.03 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 6092 Raw data (/proc/6033/stat): 6033 (Pueblo) R 6032 6033 824 0 -1 0 4321 0 0 0 54540 833 0 0 25 0 1 0 1801901489 19120128 4266 4294967295 134512640 134578447 3221224624 3221223476 134555702 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/6033/statm): 4668 4266 566 18 0 4650 0 [pid=6033] vsize: 18672 Current children cumulated CPU time (s) 553.73 Current children cumulated vsize (Kb) 18672 [startup+580.03 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 6092 Raw data (/proc/6033/stat): 6033 (Pueblo) R 6032 6033 824 0 -1 0 4321 0 0 0 55509 843 0 0 25 0 1 0 1801901489 19120128 4266 4294967295 134512640 134578447 3221224624 3221223504 134518950 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/6033/statm): 4668 4266 566 18 0 4650 0 [pid=6033] vsize: 18672 Current children cumulated CPU time (s) 563.52 Current children cumulated vsize (Kb) 18672 [startup+590.03 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 6092 Raw data (/proc/6033/stat): 6033 (Pueblo) R 6032 6033 824 0 -1 0 4321 0 0 0 56476 854 0 0 25 0 1 0 1801901489 19120128 4266 4294967295 134512640 134578447 3221224624 3221223296 134522529 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6033/statm): 4668 4266 566 18 0 4650 0 [pid=6033] vsize: 18672 Current children cumulated CPU time (s) 573.3 Current children cumulated vsize (Kb) 18672 [startup+600.03 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 6092 Raw data (/proc/6033/stat): 6033 (Pueblo) R 6032 6033 824 0 -1 0 4321 0 0 0 57439 866 0 0 25 0 1 0 1801901489 19120128 4266 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/6033/statm): 4668 4266 566 18 0 4650 0 [pid=6033] vsize: 18672 Current children cumulated CPU time (s) 583.05 Current children cumulated vsize (Kb) 18672 [startup+610.031 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 6092 Raw data (/proc/6033/stat): 6033 (Pueblo) R 6032 6033 824 0 -1 0 4321 0 0 0 58406 876 0 0 25 0 1 0 1801901489 19120128 4266 4294967295 134512640 134578447 3221224624 3221223520 134519906 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/6033/statm): 4668 4266 566 18 0 4650 0 [pid=6033] vsize: 18672 Current children cumulated CPU time (s) 592.82 Current children cumulated vsize (Kb) 18672 [startup+620.032 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 6092 Raw data (/proc/6033/stat): 6033 (Pueblo) R 6032 6033 824 0 -1 0 4321 0 0 0 59384 885 0 0 25 0 1 0 1801901489 19111936 4266 4294967295 134512640 134578447 3221224624 3221223412 1075289762 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/6033/statm): 4666 4266 566 18 0 4648 0 [pid=6033] vsize: 18664 Current children cumulated CPU time (s) 602.69 Current children cumulated vsize (Kb) 18664 [startup+630.032 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 6092 Raw data (/proc/6033/stat): 6033 (Pueblo) R 6032 6033 824 0 -1 0 4321 0 0 0 60373 889 0 0 25 0 1 0 1801901489 19111936 4266 4294967295 134512640 134578447 3221224624 3221223488 134517819 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/6033/statm): 4666 4266 566 18 0 4648 0 [pid=6033] vsize: 18664 Current children cumulated CPU time (s) 612.62 Current children cumulated vsize (Kb) 18664 [startup+640.033 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 6092 Raw data (/proc/6033/stat): 6033 (Pueblo) R 6032 6033 824 0 -1 0 4321 0 0 0 61361 893 0 0 25 0 1 0 1801901489 19111936 4266 4294967295 134512640 134578447 3221224624 3221223476 134555775 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6033/statm): 4666 4266 566 18 0 4648 0 [pid=6033] vsize: 18664 Current children cumulated CPU time (s) 622.54 Current children cumulated vsize (Kb) 18664 [startup+650.033 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 6092 Raw data (/proc/6033/stat): 6033 (Pueblo) R 6032 6033 824 0 -1 0 4737 0 0 0 62350 897 0 0 25 0 1 0 1801901489 20926464 4682 4294967295 134512640 134578447 3221224624 3221223504 134528163 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/6033/statm): 5109 4682 566 18 0 5091 0 [pid=6033] vsize: 20436 Current children cumulated CPU time (s) 632.47 Current children cumulated vsize (Kb) 20436 [startup+660.032 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 6092 Raw data (/proc/6033/stat): 6033 (Pueblo) R 6032 6033 824 0 -1 0 4801 0 0 0 63291 915 0 0 25 0 1 0 1801901489 21028864 4739 4294967295 134512640 134578447 3221224624 3221223520 134519900 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6033/statm): 5134 4739 566 18 0 5116 0 [pid=6033] vsize: 20536 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (Kb) 20536 [startup+670.033 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 6092 Raw data (/proc/6033/stat): 6033 (Pueblo) R 6032 6033 824 0 -1 0 4801 0 0 0 64274 921 0 0 25 0 1 0 1801901489 21028864 4739 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/6033/statm): 5134 4739 566 18 0 5116 0 [pid=6033] vsize: 20536 Current children cumulated CPU time (s) 651.95 Current children cumulated vsize (Kb) 20536 [startup+680.034 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 6092 Raw data (/proc/6033/stat): 6033 (Pueblo) R 6032 6033 824 0 -1 0 4805 0 0 0 65261 925 0 0 25 0 1 0 1801901489 21139456 4743 4294967295 134512640 134578447 3221224624 3221223488 134517780 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/6033/statm): 5161 4743 566 18 0 5143 0 [pid=6033] vsize: 20644 Current children cumulated CPU time (s) 661.86 Current children cumulated vsize (Kb) 20644 [startup+690.035 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 6092 Raw data (/proc/6033/stat): 6033 (Pueblo) R 6032 6033 824 0 -1 0 4830 0 0 0 66248 931 0 0 25 0 1 0 1801901489 21266432 4768 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/6033/statm): 5192 4768 566 18 0 5174 0 [pid=6033] vsize: 20768 Current children cumulated CPU time (s) 671.79 Current children cumulated vsize (Kb) 20768 [startup+700.034 s] Raw data (loadavg): 1.00 0.97 0.91 1/56 6092 Raw data (/proc/6033/stat): 6033 (Pueblo) T 6032 6033 824 0 -1 0 4830 0 0 0 67147 964 0 0 21 0 1 0 1801901489 21229568 4768 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/6033/statm): 5183 4768 566 18 0 5165 0 [pid=6033] vsize: 20732 Current children cumulated CPU time (s) 681.11 Current children cumulated vsize (Kb) 20732 [startup+710.035 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 6092 Raw data (/proc/6033/stat): 6033 (Pueblo) R 6032 6033 824 0 -1 0 4830 0 0 0 68047 998 0 0 25 0 1 0 1801901489 21229568 4768 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6033/statm): 5183 4768 566 18 0 5165 0 [pid=6033] vsize: 20732 Current children cumulated CPU time (s) 690.45 Current children cumulated vsize (Kb) 20732 [startup+720.036 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 6092 Raw data (/proc/6033/stat): 6033 (Pueblo) R 6032 6033 824 0 -1 0 4830 0 0 0 68993 1016 0 0 25 0 1 0 1801901489 21143552 4767 4294967295 134512640 134578447 3221224624 3221223488 134517867 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/6033/statm): 5162 4767 566 18 0 5144 0 [pid=6033] vsize: 20648 Current children cumulated CPU time (s) 700.09 Current children cumulated vsize (Kb) 20648 [startup+730.036 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 6092 Raw data (/proc/6033/stat): 6033 (Pueblo) R 6032 6033 824 0 -1 0 4830 0 0 0 69961 1026 0 0 25 0 1 0 1801901489 21143552 4767 4294967295 134512640 134578447 3221224624 3221223520 134519765 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/6033/statm): 5162 4767 566 18 0 5144 0 [pid=6033] vsize: 20648 Current children cumulated CPU time (s) 709.87 Current children cumulated vsize (Kb) 20648 [startup+740.036 s] Raw data (loadavg): 1.00 0.97 0.91 1/56 6092 Raw data (/proc/6033/stat): 6033 (Pueblo) T 6032 6033 824 0 -1 0 4830 0 0 0 70921 1040 0 0 23 0 1 0 1801901489 21143552 4767 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0 Raw data (/proc/6033/statm): 5162 4767 566 18 0 5144 0 [pid=6033] vsize: 20648 Current children cumulated CPU time (s) 719.61 Current children cumulated vsize (Kb) 20648 [startup+750.037 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 6092 Raw data (/proc/6033/stat): 6033 (Pueblo) R 6032 6033 824 0 -1 0 4830 0 0 0 71817 1074 0 0 23 0 1 0 1801901489 21143552 4767 4294967295 134512640 134578447 3221224624 3221223504 134518903 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/6033/statm): 5162 4767 566 18 0 5144 0 [pid=6033] vsize: 20648 Current children cumulated CPU time (s) 728.91 Current children cumulated vsize (Kb) 20648 [startup+760.037 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 6092 Raw data (/proc/6033/stat): 6033 (Pueblo) R 6032 6033 824 0 -1 0 4830 0 0 0 72747 1098 0 0 25 0 1 0 1801901489 21143552 4767 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/6033/statm): 5162 4767 566 18 0 5144 0 [pid=6033] vsize: 20648 Current children cumulated CPU time (s) 738.45 Current children cumulated vsize (Kb) 20648 [startup+770.038 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 6092 Raw data (/proc/6033/stat): 6033 (Pueblo) R 6032 6033 824 0 -1 0 4830 0 0 0 73708 1113 0 0 25 0 1 0 1801901489 21143552 4767 4294967295 134512640 134578447 3221224624 3221223504 134527535 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6033/statm): 5162 4767 566 18 0 5144 0 [pid=6033] vsize: 20648 Current children cumulated CPU time (s) 748.21 Current children cumulated vsize (Kb) 20648 [startup+780.038 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 6092 Raw data (/proc/6033/stat): 6033 (Pueblo) R 6032 6033 824 0 -1 0 4830 0 0 0 74671 1124 0 0 25 0 1 0 1801901489 21143552 4767 4294967295 134512640 134578447 3221224624 3221221888 134533081 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6033/statm): 5162 4767 566 18 0 5144 0 [pid=6033] vsize: 20648 Current children cumulated CPU time (s) 757.95 Current children cumulated vsize (Kb) 20648 [startup+790.039 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 6092 Raw data (/proc/6033/stat): 6033 (Pueblo) R 6032 6033 824 0 -1 0 4830 0 0 0 75629 1138 0 0 25 0 1 0 1801901489 21143552 4767 4294967295 134512640 134578447 3221224624 3221223504 134518953 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6033/statm): 5162 4767 566 18 0 5144 0 [pid=6033] vsize: 20648 Current children cumulated CPU time (s) 767.67 Current children cumulated vsize (Kb) 20648 [startup+800.039 s] Raw data (loadavg): 1.00 0.97 0.91 1/56 6092 Raw data (/proc/6033/stat): 6033 (Pueblo) T 6032 6033 824 0 -1 0 4830 0 0 0 76595 1148 0 0 25 0 1 0 1801901489 21143552 4767 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/6033/statm): 5162 4767 566 18 0 5144 0 [pid=6033] vsize: 20648 Current children cumulated CPU time (s) 777.43 Current children cumulated vsize (Kb) 20648 [startup+810.038 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 6092 Raw data (/proc/6033/stat): 6033 (Pueblo) R 6032 6033 824 0 -1 0 4830 0 0 0 77556 1162 0 0 25 0 1 0 1801901489 21143552 4767 4294967295 134512640 134578447 3221224624 3221223504 134527535 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/6033/statm): 5162 4767 566 18 0 5144 0 [pid=6033] vsize: 20648 Current children cumulated CPU time (s) 787.18 Current children cumulated vsize (Kb) 20648 [startup+820.039 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 6092 Raw data (/proc/6033/stat): 6033 (Pueblo) R 6032 6033 824 0 -1 0 4830 0 0 0 78515 1177 0 0 25 0 1 0 1801901489 21143552 4767 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6033/statm): 5162 4767 566 18 0 5144 0 [pid=6033] vsize: 20648 Current children cumulated CPU time (s) 796.92 Current children cumulated vsize (Kb) 20648 [startup+830.039 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 6094 Raw data (/proc/6033/stat): 6033 (Pueblo) R 6032 6033 824 0 -1 0 4830 0 0 0 79451 1198 0 0 21 0 1 0 1801901489 21143552 4767 4294967295 134512640 134578447 3221224624 3221223504 134518976 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6033/statm): 5162 4767 566 18 0 5144 0 [pid=6033] vsize: 20648 Current children cumulated CPU time (s) 806.49 Current children cumulated vsize (Kb) 20648 [startup+840.04 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 6094 Raw data (/proc/6033/stat): 6033 (Pueblo) R 6032 6033 824 0 -1 0 4830 0 0 0 80389 1219 0 0 25 0 1 0 1801901489 21143552 4767 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/6033/statm): 5162 4767 566 18 0 5144 0 [pid=6033] vsize: 20648 Current children cumulated CPU time (s) 816.08 Current children cumulated vsize (Kb) 20648 [startup+850.04 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 6094 Raw data (/proc/6033/stat): 6033 (Pueblo) R 6032 6033 824 0 -1 0 4830 0 0 0 81317 1244 0 0 25 0 1 0 1801901489 21143552 4767 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/6033/statm): 5162 4767 566 18 0 5144 0 [pid=6033] vsize: 20648 Current children cumulated CPU time (s) 825.61 Current children cumulated vsize (Kb) 20648 [startup+860.04 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 6094 Raw data (/proc/6033/stat): 6033 (Pueblo) R 6032 6033 824 0 -1 0 4830 0 0 0 82290 1253 0 0 25 0 1 0 1801901489 21143552 4767 4294967295 134512640 134578447 3221224624 3221223504 134519000 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/6033/statm): 5162 4767 566 18 0 5144 0 [pid=6033] vsize: 20648 Current children cumulated CPU time (s) 835.43 Current children cumulated vsize (Kb) 20648 [startup+870.041 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 6094 Raw data (/proc/6033/stat): 6033 (Pueblo) R 6032 6033 824 0 -1 0 4830 0 0 0 83206 1283 0 0 25 0 1 0 1801901489 21143552 4767 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/6033/statm): 5162 4767 566 18 0 5144 0 [pid=6033] vsize: 20648 Current children cumulated CPU time (s) 844.89 Current children cumulated vsize (Kb) 20648 [startup+880.041 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 6094 Raw data (/proc/6033/stat): 6033 (Pueblo) R 6032 6033 824 0 -1 0 4830 0 0 0 84149 1304 0 0 25 0 1 0 1801901489 21143552 4767 4294967295 134512640 134578447 3221224624 3221223488 134517836 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6033/statm): 5162 4767 566 18 0 5144 0 [pid=6033] vsize: 20648 Current children cumulated CPU time (s) 854.53 Current children cumulated vsize (Kb) 20648 [startup+890.041 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 6094 Raw data (/proc/6033/stat): 6033 (Pueblo) R 6032 6033 824 0 -1 0 4830 0 0 0 85109 1317 0 0 25 0 1 0 1801901489 21143552 4767 4294967295 134512640 134578447 3221224624 3221223476 134555857 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6033/statm): 5162 4767 566 18 0 5144 0 [pid=6033] vsize: 20648 Current children cumulated CPU time (s) 864.26 Current children cumulated vsize (Kb) 20648 [startup+900.041 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 6094 Raw data (/proc/6033/stat): 6033 (Pueblo) R 6032 6033 824 0 -1 0 4830 0 0 0 86064 1332 0 0 25 0 1 0 1801901489 21143552 4767 4294967295 134512640 134578447 3221224624 3221223476 134555838 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/6033/statm): 5162 4767 566 18 0 5144 0 [pid=6033] vsize: 20648 Current children cumulated CPU time (s) 873.96 Current children cumulated vsize (Kb) 20648 [startup+910.041 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 6094 Raw data (/proc/6033/stat): 6033 (Pueblo) R 6032 6033 824 0 -1 0 4830 0 0 0 87022 1345 0 0 25 0 1 0 1801901489 21143552 4767 4294967295 134512640 134578447 3221224624 3221223488 134517807 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6033/statm): 5162 4767 566 18 0 5144 0 [pid=6033] vsize: 20648 Current children cumulated CPU time (s) 883.67 Current children cumulated vsize (Kb) 20648 [startup+920.042 s] Raw data (loadavg): 1.00 0.97 0.91 2/56 6094 Raw data (/proc/6033/stat): 6033 (Pueblo) R 6032 6033 824 0 -1 0 4830 0 0 0 87979 1358 0 0 25 0 1 0 1801901489 21143552 4767 4294967295 134512640 134578447 3221224624 3221223568 134558657 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/6033/statm): 5162 4767 566 18 0 5144 0 [pid=6033] vsize: 20648 Current children cumulated CPU time (s) 893.37 Current children cumulated vsize (Kb) 20648 [startup+930.042 s] Raw data (loadavg): 1.07 0.99 0.92 2/56 6094 Raw data (/proc/6033/stat): 6033 (Pueblo) R 6032 6033 824 0 -1 0 4830 0 0 0 88931 1374 0 0 25 0 1 0 1801901489 21143552 4767 4294967295 134512640 134578447 3221224624 3221223520 134519900 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6033/statm): 5162 4767 566 18 0 5144 0 [pid=6033] vsize: 20648 Current children cumulated CPU time (s) 903.05 Current children cumulated vsize (Kb) 20648 [startup+940.043 s] Raw data (loadavg): 1.06 0.99 0.92 1/56 6094 Raw data (/proc/6033/stat): 6033 (Pueblo) T 6032 6033 824 0 -1 0 4830 0 0 0 89898 1385 0 0 25 0 1 0 1801901489 21143552 4767 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/6033/statm): 5162 4767 566 18 0 5144 0 [pid=6033] vsize: 20648 Current children cumulated CPU time (s) 912.83 Current children cumulated vsize (Kb) 20648 [startup+950.044 s] Raw data (loadavg): 1.05 0.99 0.92 2/56 6094 Raw data (/proc/6033/stat): 6033 (Pueblo) R 6032 6033 824 0 -1 0 4830 0 0 0 90855 1397 0 0 25 0 1 0 1801901489 21143552 4767 4294967295 134512640 134578447 3221224624 3221223296 134524463 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/6033/statm): 5162 4767 566 18 0 5144 0 [pid=6033] vsize: 20648 Current children cumulated CPU time (s) 922.52 Current children cumulated vsize (Kb) 20648 [startup+960.044 s] Raw data (loadavg): 1.04 0.99 0.92 2/56 6094 Raw data (/proc/6033/stat): 6033 (Pueblo) R 6032 6033 824 0 -1 0 4830 0 0 0 91822 1409 0 0 25 0 1 0 1801901489 21143552 4767 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6033/statm): 5162 4767 566 18 0 5144 0 [pid=6033] vsize: 20648 Current children cumulated CPU time (s) 932.31 Current children cumulated vsize (Kb) 20648 [startup+970.045 s] Raw data (loadavg): 1.04 0.99 0.92 2/56 6094 Raw data (/proc/6033/stat): 6033 (Pueblo) R 6032 6033 824 0 -1 0 4830 0 0 0 92784 1422 0 0 25 0 1 0 1801901489 21143552 4767 4294967295 134512640 134578447 3221224624 3221223476 134555775 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6033/statm): 5162 4767 566 18 0 5144 0 [pid=6033] vsize: 20648 Current children cumulated CPU time (s) 942.06 Current children cumulated vsize (Kb) 20648 [startup+980.045 s] Raw data (loadavg): 1.03 0.99 0.92 2/56 6094 Raw data (/proc/6033/stat): 6033 (Pueblo) R 6032 6033 824 0 -1 0 4830 0 0 0 93749 1434 0 0 25 0 1 0 1801901489 21143552 4767 4294967295 134512640 134578447 3221224624 3221223504 134527603 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6033/statm): 5162 4767 566 18 0 5144 0 [pid=6033] vsize: 20648 Current children cumulated CPU time (s) 951.83 Current children cumulated vsize (Kb) 20648 [startup+990.047 s] Raw data (loadavg): 1.02 0.99 0.92 2/56 6094 Raw data (/proc/6033/stat): 6033 (Pueblo) R 6032 6033 824 0 -1 0 4830 0 0 0 94723 1443 0 0 25 0 1 0 1801901489 21143552 4767 4294967295 134512640 134578447 3221224624 3221223280 1075289350 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/6033/statm): 5162 4767 566 18 0 5144 0 [pid=6033] vsize: 20648 Current children cumulated CPU time (s) 961.66 Current children cumulated vsize (Kb) 20648 [startup+1000.05 s] Raw data (loadavg): 1.02 0.99 0.92 2/56 6094 Raw data (/proc/6033/stat): 6033 (Pueblo) R 6032 6033 824 0 -1 0 4830 0 0 0 95697 1450 0 0 25 0 1 0 1801901489 21143552 4767 4294967295 134512640 134578447 3221224624 3221223504 134527488 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6033/statm): 5162 4767 566 18 0 5144 0 [pid=6033] vsize: 20648 Current children cumulated CPU time (s) 971.47 Current children cumulated vsize (Kb) 20648 [startup+1010.05 s] Raw data (loadavg): 1.02 0.99 0.92 2/56 6094 Raw data (/proc/6033/stat): 6033 (Pueblo) R 6032 6033 824 0 -1 0 4830 0 0 0 96666 1459 0 0 25 0 1 0 1801901489 21143552 4767 4294967295 134512640 134578447 3221224624 3221223296 134522557 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6033/statm): 5162 4767 566 18 0 5144 0 [pid=6033] vsize: 20648 Current children cumulated CPU time (s) 981.25 Current children cumulated vsize (Kb) 20648 [startup+1020.05 s] Raw data (loadavg): 1.01 0.99 0.92 2/56 6094 Raw data (/proc/6033/stat): 6033 (Pueblo) R 6032 6033 824 0 -1 0 4830 0 0 0 97639 1469 0 0 25 0 1 0 1801901489 21143552 4767 4294967295 134512640 134578447 3221224624 3221223504 134527864 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6033/statm): 5162 4767 566 18 0 5144 0 [pid=6033] vsize: 20648 Current children cumulated CPU time (s) 991.08 Current children cumulated vsize (Kb) 20648 [startup+1030.05 s] Raw data (loadavg): 1.01 0.99 0.92 2/56 6094 Raw data (/proc/6033/stat): 6033 (Pueblo) R 6032 6033 824 0 -1 0 4830 0 0 0 98604 1480 0 0 25 0 1 0 1801901489 21143552 4767 4294967295 134512640 134578447 3221224624 3221223504 134527864 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/6033/statm): 5162 4767 566 18 0 5144 0 [pid=6033] vsize: 20648 Current children cumulated CPU time (s) 1000.84 Current children cumulated vsize (Kb) 20648 [startup+1040.05 s] Raw data (loadavg): 1.01 0.99 0.92 2/56 6094 Raw data (/proc/6033/stat): 6033 (Pueblo) R 6032 6033 824 0 -1 0 4830 0 0 0 99573 1491 0 0 25 0 1 0 1801901489 21143552 4767 4294967295 134512640 134578447 3221224624 3221223504 134527500 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/6033/statm): 5162 4767 566 18 0 5144 0 [pid=6033] vsize: 20648 Current children cumulated CPU time (s) 1010.64 Current children cumulated vsize (Kb) 20648 [startup+1050.05 s] Raw data (loadavg): 1.01 0.99 0.92 1/56 6094 Raw data (/proc/6033/stat): 6033 (Pueblo) T 6032 6033 824 0 -1 0 4830 0 0 0 100548 1500 0 0 25 0 1 0 1801901489 21143552 4767 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/6033/statm): 5162 4767 566 18 0 5144 0 [pid=6033] vsize: 20648 Current children cumulated CPU time (s) 1020.48 Current children cumulated vsize (Kb) 20648 [startup+1060.05 s] Raw data (loadavg): 1.01 0.99 0.92 2/56 6094 Raw data (/proc/6033/stat): 6033 (Pueblo) R 6032 6033 824 0 -1 0 4830 0 0 0 101519 1509 0 0 25 0 1 0 1801901489 21143552 4767 4294967295 134512640 134578447 3221224624 3221223476 134555857 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6033/statm): 5162 4767 566 18 0 5144 0 [pid=6033] vsize: 20648 Current children cumulated CPU time (s) 1030.28 Current children cumulated vsize (Kb) 20648 [startup+1070.05 s] Raw data (loadavg): 1.00 0.99 0.92 2/56 6094 Raw data (/proc/6033/stat): 6033 (Pueblo) R 6032 6033 824 0 -1 0 4830 0 0 0 102496 1516 0 0 25 0 1 0 1801901489 21143552 4767 4294967295 134512640 134578447 3221224624 3221223488 134517807 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/6033/statm): 5162 4767 566 18 0 5144 0 [pid=6033] vsize: 20648 Current children cumulated CPU time (s) 1040.12 Current children cumulated vsize (Kb) 20648 [startup+1080.05 s] Raw data (loadavg): 1.00 0.99 0.92 2/56 6094 Raw data (/proc/6033/stat): 6033 (Pueblo) R 6032 6033 824 0 -1 0 4830 0 0 0 103474 1524 0 0 25 0 1 0 1801901489 21143552 4767 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6033/statm): 5162 4767 566 18 0 5144 0 [pid=6033] vsize: 20648 Current children cumulated CPU time (s) 1049.98 Current children cumulated vsize (Kb) 20648 [startup+1090.05 s] Raw data (loadavg): 1.00 0.99 0.92 2/56 6094 Raw data (/proc/6033/stat): 6033 (Pueblo) R 6032 6033 824 0 -1 0 4830 0 0 0 104454 1531 0 0 25 0 1 0 1801901489 21143552 4767 4294967295 134512640 134578447 3221224624 3221223488 134517816 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6033/statm): 5162 4767 566 18 0 5144 0 [pid=6033] vsize: 20648 Current children cumulated CPU time (s) 1059.85 Current children cumulated vsize (Kb) 20648 [startup+1100.05 s] Raw data (loadavg): 1.00 0.99 0.92 2/56 6094 Raw data (/proc/6033/stat): 6033 (Pueblo) R 6032 6033 824 0 -1 0 4830 0 0 0 105425 1541 0 0 25 0 1 0 1801901489 21143552 4767 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6033/statm): 5162 4767 566 18 0 5144 0 [pid=6033] vsize: 20648 Current children cumulated CPU time (s) 1069.66 Current children cumulated vsize (Kb) 20648 [startup+1110.05 s] Raw data (loadavg): 1.00 0.99 0.92 2/56 6094 Raw data (/proc/6033/stat): 6033 (Pueblo) R 6032 6033 824 0 -1 0 4830 0 0 0 106411 1545 0 0 25 0 1 0 1801901489 21143552 4767 4294967295 134512640 134578447 3221224624 3221223476 134555869 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/6033/statm): 5162 4767 566 18 0 5144 0 [pid=6033] vsize: 20648 Current children cumulated CPU time (s) 1079.56 Current children cumulated vsize (Kb) 20648 [startup+1120.05 s] Raw data (loadavg): 1.00 0.99 0.92 2/56 6094 Raw data (/proc/6033/stat): 6033 (Pueblo) R 6032 6033 824 0 -1 0 4830 0 0 0 107387 1553 0 0 25 0 1 0 1801901489 21143552 4767 4294967295 134512640 134578447 3221224624 3221223296 134524448 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6033/statm): 5162 4767 566 18 0 5144 0 [pid=6033] vsize: 20648 Current children cumulated CPU time (s) 1089.4 Current children cumulated vsize (Kb) 20648 [startup+1130.05 s] Raw data (loadavg): 1.00 0.99 0.92 2/56 6094 Raw data (/proc/6033/stat): 6033 (Pueblo) R 6032 6033 824 0 -1 0 4830 0 0 0 108364 1561 0 0 25 0 1 0 1801901489 21143552 4767 4294967295 134512640 134578447 3221224624 3221223584 134558593 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/6033/statm): 5162 4767 566 18 0 5144 0 [pid=6033] vsize: 20648 Current children cumulated CPU time (s) 1099.25 Current children cumulated vsize (Kb) 20648 [startup+1140.05 s] Raw data (loadavg): 1.00 0.99 0.92 2/56 6094 Raw data (/proc/6033/stat): 6033 (Pueblo) R 6032 6033 824 0 -1 0 4830 0 0 0 109334 1571 0 0 25 0 1 0 1801901489 21143552 4767 4294967295 134512640 134578447 3221224624 3221223504 134528158 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6033/statm): 5162 4767 566 18 0 5144 0 [pid=6033] vsize: 20648 Current children cumulated CPU time (s) 1109.05 Current children cumulated vsize (Kb) 20648 [startup+1150.05 s] Raw data (loadavg): 1.00 0.99 0.92 2/56 6094 Raw data (/proc/6033/stat): 6033 (Pueblo) R 6032 6033 824 0 -1 0 4830 0 0 0 110303 1582 0 0 25 0 1 0 1801901489 21143552 4767 4294967295 134512640 134578447 3221224624 3221223296 134524463 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/6033/statm): 5162 4767 566 18 0 5144 0 [pid=6033] vsize: 20648 Current children cumulated CPU time (s) 1118.85 Current children cumulated vsize (Kb) 20648 [startup+1160.05 s] Raw data (loadavg): 1.00 0.99 0.92 1/56 6094 Raw data (/proc/6033/stat): 6033 (Pueblo) T 6032 6033 824 0 -1 0 4830 0 0 0 111272 1591 0 0 25 0 1 0 1801901489 21143552 4767 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/6033/statm): 5162 4767 566 18 0 5144 0 [pid=6033] vsize: 20648 Current children cumulated CPU time (s) 1128.63 Current children cumulated vsize (Kb) 20648 [startup+1170.05 s] Raw data (loadavg): 1.00 0.99 0.92 2/56 6094 Raw data (/proc/6033/stat): 6033 (Pueblo) R 6032 6033 824 0 -1 0 4830 0 0 0 112245 1602 0 0 25 0 1 0 1801901489 21143552 4767 4294967295 134512640 134578447 3221224624 3221223488 134517809 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6033/statm): 5162 4767 566 18 0 5144 0 [pid=6033] vsize: 20648 Current children cumulated CPU time (s) 1138.47 Current children cumulated vsize (Kb) 20648 [startup+1180.05 s] Raw data (loadavg): 1.00 0.99 0.92 2/56 6094 Raw data (/proc/6033/stat): 6033 (Pueblo) T 6032 6033 824 0 -1 0 4830 0 0 0 113226 1609 0 0 25 0 1 0 1801901489 21143552 4767 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/6033/statm): 5162 4767 566 18 0 5144 0 [pid=6033] vsize: 20648 Current children cumulated CPU time (s) 1148.35 Current children cumulated vsize (Kb) 20648 [startup+1190.05 s] Raw data (loadavg): 1.00 0.99 0.92 2/56 6094 Raw data (/proc/6033/stat): 6033 (Pueblo) R 6032 6033 824 0 -1 0 4830 0 0 0 114195 1620 0 0 25 0 1 0 1801901489 21143552 4767 4294967295 134512640 134578447 3221224624 3221223296 134522554 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6033/statm): 5162 4767 566 18 0 5144 0 [pid=6033] vsize: 20648 Current children cumulated CPU time (s) 1158.15 Current children cumulated vsize (Kb) 20648 [startup+1200.05 s] Raw data (loadavg): 1.00 0.99 0.92 2/56 6094 Raw data (/proc/6033/stat): 6033 (Pueblo) R 6032 6033 824 0 -1 0 4830 0 0 0 115173 1629 0 0 25 0 1 0 1801901489 21143552 4767 4294967295 134512640 134578447 3221224624 3221223504 134527507 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6033/statm): 5162 4767 566 18 0 5144 0 [pid=6033] vsize: 20648 Current children cumulated CPU time (s) 1168.02 Current children cumulated vsize (Kb) 20648 [startup+1210.05 s] Raw data (loadavg): 1.00 0.99 0.92 2/56 6094 Raw data (/proc/6033/stat): 6033 (Pueblo) R 6032 6033 824 0 -1 0 4830 0 0 0 116151 1637 0 0 25 0 1 0 1801901489 21143552 4767 4294967295 134512640 134578447 3221224624 3221223488 134517814 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/6033/statm): 5162 4767 566 18 0 5144 0 [pid=6033] vsize: 20648 Current children cumulated CPU time (s) 1177.88 Current children cumulated vsize (Kb) 20648 [startup+1220.06 s] Raw data (loadavg): 1.00 0.99 0.92 2/56 6094 Raw data (/proc/6033/stat): 6033 (Pueblo) R 6032 6033 824 0 -1 0 4830 0 0 0 117128 1645 0 0 25 0 1 0 1801901489 21143552 4767 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/6033/statm): 5162 4767 566 18 0 5144 0 [pid=6033] vsize: 20648 Current children cumulated CPU time (s) 1187.73 Current children cumulated vsize (Kb) 20648 One traced child (pid=6033) exited with status: 10 All traced children have exited ! Game is over. Child status: 10 Real time (s): 1221.36 CPU time (s): 1189.02 CPU user time (s): 1172.55 CPU system time (s): 16.4745 CPU usage (%): 97.3521 Max. virtual memory (cumulated for all children) (Kb): 20768
Verifier: OK -20