Name | normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-misc05.opb |
MD5SUM | 4f7891bf040f9fa135208e1a9808a8bc |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1430464 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 21 |
Biggest coefficient in the objective function | 1048576 |
Number of bits for the biggest coefficient in the objective function | 21 |
Sum of the numbers in the objective function | 2097151 |
Number of bits of the sum of numbers in the objective function | 21 |
Biggest number in a constraint | 5242880 |
Number of bits of the biggest number in a constraint | 23 |
Biggest sum of numbers in a constraint | 81788220 |
Number of bits of the biggest sum of numbers | 27 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 6.00309 |
Number of variables | 1320 |
Total number of constraints | 374 |
Number of constraints which are clauses | 155 |
Number of constraints which are cardinality constraints (but not clauses) | 82 |
Number of constraints which are nor clauses,nor cardinality constraints | 137 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 301 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc24 THE 2005-05-24 21:59:10 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=16985 boxname=wulflinc24 idbench=1307 idsolver=7 numberseed=0 MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911 /oldhome/oroussel/solvers/Pueblo MD5SUM BENCH: 4f7891bf040f9fa135208e1a9808a8bc /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-13-7-misc05.opb REAL COMMAND: Pueblo /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-13-7-misc05.opb IDLAUNCH: 16985 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.080 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.080 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 903884 kB Buffers: 3908 kB Cached: 104408 kB SwapCached: 620 kB Active: 21828 kB Inactive: 88976 kB HighTotal: 131008 kB HighFree: 24808 kB LowTotal: 903652 kB LowFree: 879076 kB SwapTotal: 2097892 kB SwapFree: 2096776 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5652 kB Slab: 14328 kB Committed_AS: 63600 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-24 22:18:59 (client local time) WITH STATUS 10 IN 1189.01 SECONDS stats: 16985 0 1189.01 10 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c Pueblo version 1.2 (Sept 2004) c Developed @ University of Michigan, Ann Arbor, MI c by Hossein Sheini c Solving: /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-13-7-misc05.opb c #variables read: 1320 - #constraints read: 404 s SATISFIABLE v -COL133_bit_7 -COL133_bit_6 -COL133_bit_5 -COL133_bit_4 -COL133_bit_3 -COL133_bit_2 COL133_bit_1 COL133_bit0 -COL133_bit1 COL133_bit2 -COL133_bit3 -COL133_bit4 -COL133_bit5 COL133_bit6 COL133_bit7 COL133_bit8 COL133_bit9 -COL133_bit10 COL133_bit11 -COL133_bit12 COL133_bit13 -COL001_bit0 -COL002_bit0 -COL003_bit0 -COL004_bit0 -COL005_bit0 -COL006_bit0 COL007_bit0 -COL008_bit0 -COL009_bit0 -COL010_bit0 -COL011_bit0 -COL012_bit0 -COL013_bit0 -COL014_bit0 COL015_bit0 -COL016_bit0 -COL017_bit0 COL018_bit0 -COL019_bit0 -COL020_bit0 -COL021_bit0 -COL022_bit0 -COL023_bit0 -COL024_bit0 -COL025_bit0 -COL026_bit0 -COL027_bit0 -COL028_bit0 -COL029_bit0 -COL030_bit0 COL031_bit0 -COL032_bit0 -COL033_bit0 -COL034_bit0 -COL035_bit0 -COL036_bit0 -COL037_bit0 -COL038_bit0 -COL039_bit0 COL040_bit0 -COL041_bit0 -COL042_bit0 -COL043_bit0 -COL044_bit0 COL045_bit0 -COL046_bit0 -COL047_bit0 -COL048_bit0 -COL049_bit0 -COL050_bit0 -COL051_bit0 -COL052_bit0 -COL053_bit0 COL054_bit0 -COL055_bit0 -COL056_bit0 COL057_bit0 -COL058_bit0 COL059_bit0 COL060_bit0 -COL061_bit0 -COL062_bit0 -COL063_bit0 -COL064_bit0 -COL065_bit0 -COL066_bit0 -COL067_bit0 -COL068_bit0 -COL069_bit0 -COL070_bit0 COL071_bit0 -COL072_bit0 COL129_bit0 COL130_bit0 -COL134_bit_7 -COL134_bit_6 -COL134_bit_5 -COL134_bit_4 -COL134_bit_3 -COL134_bit_2 -COL134_bit_1 COL134_bit0 COL134_bit1 -COL134_bit2 -COL134_bit3 -COL134_bit4 COL134_bit5 -COL134_bit6 COL134_bit7 -COL134_bit8 COL134_bit9 COL134_bit10 -COL134_bit11 -COL134_bit12 COL134_bit13 -COL135_bit_7 -COL135_bit_6 -COL135_bit_5 -COL135_bit_4 -COL135_bit_3 -COL135_bit_2 -COL135_bit_1 COL135_bit0 -COL135_bit1 COL135_bit2 -COL135_bit3 -COL135_bit4 -COL135_bit5 -COL135_bit6 COL135_bit7 COL135_bit8 COL135_bit9 -COL135_bit10 -COL135_bit11 -COL135_bit12 COL135_bit13 -COL136_bit_7 -COL136_bit_6 -COL136_bit_5 -COL136_bit_4 -COL136_bit_3 -COL136_bit_2 COL136_bit_1 COL136_bit0 COL136_bit1 -COL136_bit2 COL136_bit3 COL136_bit4 -COL136_bit5 -COL136_bit6 COL136_bit7 COL136_bit8 -COL136_bit9 -COL136_bit10 -COL136_bit11 -COL136_bit12 COL136_bit13 -COL115_bit_7 -COL115_bit_6 -COL115_bit_5 -COL115_bit_4 -COL115_bit_3 -COL115_bit_2 -COL115_bit_1 -COL115_bit0 -COL115_bit1 COL115_bit2 COL115_bit3 -COL115_bit4 COL115_bit5 -COL115_bit6 -COL115_bit7 COL115_bit8 -COL115_bit9 -COL115_bit10 -COL115_bit11 -COL115_bit12 -COL116_bit_7 -COL116_bit_6 -COL116_bit_5 -COL116_bit_4 -COL116_bit_3 -COL116_bit_2 -COL116_bit_1 -COL116_bit0 -COL116_bit1 -COL116_bit2 -COL116_bit3 -COL116_bit4 -COL116_bit5 -COL116_bit6 -COL116_bit7 -COL116_bit8 -COL116_bit9 -COL116_bit10 -COL116_bit11 -COL116_bit12 -COL117_bit_7 -COL117_bit_6 -COL117_bit_5 -COL117_bit_4 -COL117_bit_3 -COL117_bit_2 -COL117_bit_1 -COL117_bit0 -COL117_bit1 -COL117_bit2 -COL117_bit3 COL117_bit4 COL117_bit5 COL117_bit6 COL117_bit7 -COL117_bit8 -COL117_bit9 -COL117_bit10 -COL117_bit11 -COL117_bit12 -COL118_bit_7 -COL118_bit_6 -COL118_bit_5 -COL118_bit_4 -COL118_bit_3 -COL118_bit_2 -COL118_bit_1 -COL118_bit0 COL118_bit1 -COL118_bit2 COL118_bit3 COL118_bit4 COL118_bit5 COL118_bit6 COL118_bit7 -COL118_bit8 -COL118_bit9 -COL118_bit10 -COL118_bit11 -COL118_bit12 -COL119_bit_7 -COL119_bit_6 -COL119_bit_5 -COL119_bit_4 -COL119_bit_3 -COL119_bit_2 -COL119_bit_1 -COL119_bit0 -COL119_bit1 -COL119_bit2 -COL119_bit3 -COL119_bit4 -COL119_bit5 -COL119_bit6 -COL119_bit7 -COL119_bit8 -COL119_bit9 -COL119_bit10 -COL119_bit11 -COL119_bit12 -COL120_bit_7 -COL120_bit_6 -COL120_bit_5 -COL120_bit_4 -COL120_bit_3 -COL120_bit_2 -COL120_bit_1 -COL120_bit0 -COL120_bit1 -COL120_bit2 -COL120_bit3 -COL120_bit4 -COL120_bit5 -COL120_bit6 -COL120_bit7 -COL120_bit8 -COL120_bit9 -COL120_bit10 -COL120_bit11 -COL120_bit12 -COL121_bit_7 -COL121_bit_6 -COL121_bit_5 -COL121_bit_4 -COL121_bit_3 -COL121_bit_2 -COL121_bit_1 -COL121_bit0 -COL121_bit1 -COL121_bit2 -COL121_bit3 -COL121_bit4 -COL121_bit5 -COL121_bit6 -COL121_bit7 -COL121_bit8 -COL121_bit9 -COL121_bit10 -COL121_bit11 -COL121_bit12 -COL122_bit_7 -COL122_bit_6 -COL122_bit_5 -COL122_bit_4 -COL122_bit_3 -COL122_bit_2 -COL122_bit_1 -COL122_bit0 -COL122_bit1 -COL122_bit2 -COL122_bit3 -COL122_bit4 -COL122_bit5 -COL122_bit6 -COL122_bit7 -COL122_bit8 -COL122_bit9 -COL122_bit10 -COL122_bit11 -COL122_bit12 -COL123_bit_7 -COL123_bit_6 -COL123_bit_5 -COL123_bit_4 -COL123_bit_3 -COL123_bit_2 -COL123_bit_1 -COL123_bit0 -COL123_bit1 -COL123_bit2 -COL123_bit3 -COL123_bit4 -COL123_bit5 -COL123_bit6 -COL123_bit7 -COL123_bit8 -COL123_bit9 -COL123_bit10 -COL123_bit11 -COL123_bit12 -COL124_bit_7 -COL124_bit_6 -COL124_bit_5 -COL124_bit_4 -COL124_bit_3 -COL124_bit_2 -COL124_bit_1 -COL124_bit0 -COL124_bit1 -COL124_bit2 -COL124_bit3 -COL124_bit4 -COL124_bit5 -COL124_bit6 -COL124_bit7 -COL124_bit8 -COL124_bit9 -COL124_bit10 -COL124_bit11 -COL124_bit12 -COL125_bit_7 -COL125_bit_6 -COL125_bit_5 -COL125_bit_4 -COL125_bit_3 -COL125_bit_2 -COL125_bit_1 -COL125_bit0 -COL125_bit1 -COL125_bit2 -COL125_bit3 -COL125_bit4 -COL125_bit5 -COL125_bit6 -COL125_bit7 -COL125_bit8 -COL125_bit9 -COL125_bit10 -COL125_bit11 -COL125_bit12 -COL126_bit_7 -COL126_bit_6 -COL126_bit_5 -COL126_bit_4 -COL126_bit_3 -COL126_bit_2 -COL126_bit_1 -COL126_bit0 -COL126_bit1 -COL126_bit2 -COL126_bit3 -COL126_bit4 -COL126_bit5 -COL126_bit6 -COL126_bit7 -COL126_bit8 -COL126_bit9 -COL126_bit10 -COL126_bit11 -COL126_bit12 -COL127_bit_7 -COL127_bit_6 -COL127_bit_5 -COL127_bit_4 -COL127_bit_3 -COL127_bit_2 -COL127_bit_1 -COL127_bit0 -COL127_bit1 -COL127_bit2 -COL127_bit3 -COL127_bit4 -COL127_bit5 -COL127_bit6 -COL127_bit7 -COL127_bit8 -COL127_bit9 -COL127_bit10 -COL127_bit11 -COL127_bit12 -COL128_bit_7 -COL128_bit_6 -COL128_bit_5 -COL128_bit_4 -COL128_bit_3 -COL128_bit_2 -COL128_bit_1 -COL128_bit0 COL128_bit1 COL128_bit2 COL128_bit3 -COL128_bit4 -COL128_bit5 -COL128_bit6 -COL128_bit7 COL128_bit8 -COL128_bit9 -COL128_bit10 -COL128_bit11 -COL128_bit12 -COL073_bit_7 -COL073_bit_6 -COL073_bit_5 -COL073_bit_4 -COL073_bit_3 -COL073_bit_2 -COL073_bit_1 -COL073_bit0 -COL073_bit1 -COL073_bit2 -COL073_bit3 -COL073_bit4 -COL073_bit5 -COL073_bit6 -COL073_bit7 -COL073_bit8 -COL073_bit9 -COL073_bit10 -COL073_bit11 -COL073_bit12 -COL074_bit_7 -COL074_bit_6 -COL074_bit_5 -COL074_bit_4 -COL074_bit_3 -COL074_bit_2 -COL074_bit_1 -COL074_bit0 -COL074_bit1 -COL074_bit2 -COL074_bit3 -COL074_bit4 -COL074_bit5 -COL074_bit6 -COL074_bit7 -COL074_bit8 -COL074_bit9 -COL074_bit10 -COL074_bit11 -COL074_bit12 -COL075_bit_7 -COL075_bit_6 -COL075_bit_5 -COL075_bit_4 -COL075_bit_3 -COL075_bit_2 -COL075_bit_1 -COL075_bit0 -COL075_bit1 -COL075_bit2 -COL075_bit3 -COL075_bit4 -COL075_bit5 -COL075_bit6 -COL075_bit7 -COL075_bit8 -COL075_bit9 -COL075_bit10 -COL075_bit11 -COL075_bit12 -COL076_bit_7 -COL076_bit_6 -COL076_bit_5 -COL076_bit_4 -COL076_bit_3 -COL076_bit_2 -COL076_bit_1 -COL076_bit0 -COL076_bit1 -COL076_bit2 -COL076_bit3 -COL076_bit4 -COL076_bit5 -COL076_bit6 -COL076_bit7 -COL076_bit8 -COL076_bit9 -COL076_bit10 -COL076_bit11 -COL076_bit12 -COL077_bit_7 -COL077_bit_6 -COL077_bit_5 -COL077_bit_4 -COL077_bit_3 -COL077_bit_2 -COL077_bit_1 -COL077_bit0 -COL077_bit1 -COL077_bit2 -COL077_bit3 -COL077_bit4 -COL077_bit5 -COL077_bit6 -COL077_bit7 -COL077_bit8 -COL077_bit9 -COL077_bit10 -COL077_bit11 -COL077_bit12 -COL078_bit_7 -COL078_bit_6 -COL078_bit_5 -COL078_bit_4 -COL078_bit_3 -COL078_bit_2 -COL078_bit_1 -COL078_bit0 -COL078_bit1 -COL078_bit2 -COL078_bit3 -COL078_bit4 -COL078_bit5 -COL078_bit6 -COL078_bit7 -COL078_bit8 -COL078_bit9 -COL078_bit10 -COL078_bit11 -COL078_bit12 -COL079_bit_7 -COL079_bit_6 -COL079_bit_5 -COL079_bit_4 -COL079_bit_3 -COL079_bit_2 -COL079_bit_1 -COL079_bit0 -COL079_bit1 -COL079_bit2 -COL079_bit3 -COL079_bit4 -COL079_bit5 -COL079_bit6 -COL079_bit7 -COL079_bit8 -COL079_bit9 -COL079_bit10 -COL079_bit11 -COL079_bit12 -COL085_bit_7 -COL085_bit_6 -COL085_bit_5 -COL085_bit_4 -COL085_bit_3 -COL085_bit_2 -COL085_bit_1 -COL085_bit0 -COL085_bit1 -COL085_bit2 -COL085_bit3 -COL085_bit4 -COL085_bit5 -COL085_bit6 -COL085_bit7 -COL085_bit8 -COL085_bit9 -COL085_bit10 -COL085_bit11 -COL085_bit12 -COL091_bit_7 -COL091_bit_6 -COL091_bit_5 -COL091_bit_4 -COL091_bit_3 -COL091_bit_2 -COL091_bit_1 -COL091_bit0 -COL091_bit1 -COL091_bit2 -COL091_bit3 -COL091_bit4 -COL091_bit5 -COL091_bit6 -COL091_bit7 -COL091_bit8 -COL091_bit9 -COL091_bit10 -COL091_bit11 -COL091_bit12 -COL097_bit_7 -COL097_bit_6 -COL097_bit_5 -COL097_bit_4 -COL097_bit_3 -COL097_bit_2 -COL097_bit_1 -COL097_bit0 -COL097_bit1 -COL097_bit2 -COL097_bit3 -COL097_bit4 -COL097_bit5 -COL097_bit6 -COL097_bit7 -COL097_bit8 -COL097_bit9 -COL097_bit10 -COL097_bit11 -COL097_bit12 -COL103_bit_7 -COL103_bit_6 -COL103_bit_5 -COL103_bit_4 -COL103_bit_3 -COL103_bit_2 -COL103_bit_1 -COL103_bit0 -COL103_bit1 -COL103_bit2 -COL103_bit3 -COL103_bit4 -COL103_bit5 -COL103_bit6 -COL103_bit7 -COL103_bit8 -COL103_bit9 -COL103_bit10 -COL103_bit11 -COL103_bit12 -COL109_bit_7 -COL109_bit_6 -COL109_bit_5 -COL109_bit_4 -COL109_bit_3 -COL109_bit_2 -COL109_bit_1 -COL109_bit0 -COL109_bit1 -COL109_bit2 -COL109_bit3 -COL109_bit4 -COL109_bit5 -COL109_bit6 -COL109_bit7 -COL109_bit8 -COL109_bit9 -COL109_bit10 -COL109_bit11 -COL109_bit12 -COL080_bit_7 -COL080_bit_6 -COL080_bit_5 -COL080_bit_4 -COL080_bit_3 -COL080_bit_2 -COL080_bit_1 -COL080_bit0 -COL080_bit1 -COL080_bit2 -COL080_bit3 -COL080_bit4 -COL080_bit5 -COL080_bit6 -COL080_bit7 -COL080_bit8 -COL080_bit9 -COL080_bit10 -COL080_bit11 -COL080_bit12 -COL081_bit_7 -COL081_bit_6 -COL081_bit_5 -COL081_bit_4 -COL081_bit_3 -COL081_bit_2 -COL081_bit_1 -COL081_bit0 -COL081_bit1 -COL081_bit2 -COL081_bit3 -COL081_bit4 -COL081_bit5 -COL081_bit6 -COL081_bit7 -COL081_bit8 -COL081_bit9 -COL081_bit10 -COL081_bit11 -COL081_bit12 -COL082_bit_7 -COL082_bit_6 -COL082_bit_5 -COL082_bit_4 -COL082_bit_3 -COL082_bit_2 -COL082_bit_1 -COL082_bit0 -COL082_bit1 -COL082_bit2 -COL082_bit3 -COL082_bit4 -COL082_bit5 -COL082_bit6 -COL082_bit7 -COL082_bit8 -COL082_bit9 -COL082_bit10 -COL082_bit11 -COL082_bit12 -COL083_bit_7 -COL083_bit_6 -COL083_bit_5 -COL083_bit_4 -COL083_bit_3 -COL083_bit_2 -COL083_bit_1 -COL083_bit0 -COL083_bit1 -COL083_bit2 -COL083_bit3 -COL083_bit4 -COL083_bit5 -COL083_bit6 -COL083_bit7 -COL083_bit8 -COL083_bit9 -COL083_bit10 -COL083_bit11 -COL083_bit12 -COL084_bit_7 -COL084_bit_6 -COL084_bit_5 -COL084_bit_4 -COL084_bit_3 -COL084_bit_2 -COL084_bit_1 -COL084_bit0 -COL084_bit1 -COL084_bit2 -COL084_bit3 -COL084_bit4 -COL084_bit5 -COL084_bit6 -COL084_bit7 -COL084_bit8 -COL084_bit9 -COL084_bit10 -COL084_bit11 -COL084_bit12 -COL086_bit_7 -COL086_bit_6 -COL086_bit_5 -COL086_bit_4 -COL086_bit_3 -COL086_bit_2 -COL086_bit_1 -COL086_bit0 -COL086_bit1 -COL086_bit2 COL086_bit3 -COL086_bit4 COL086_bit5 -COL086_bit6 -COL086_bit7 -COL086_bit8 -COL086_bit9 -COL086_bit10 -COL086_bit11 -COL086_bit12 -COL092_bit_7 -COL092_bit_6 -COL092_bit_5 -COL092_bit_4 -COL092_bit_3 -COL092_bit_2 -COL092_bit_1 -COL092_bit0 -COL092_bit1 -COL092_bit2 -COL092_bit3 -COL092_bit4 -COL092_bit5 -COL092_bit6 -COL092_bit7 -COL092_bit8 -COL092_bit9 -COL092_bit10 -COL092_bit11 -COL092_bit12 -COL098_bit_7 -COL098_bit_6 -COL098_bit_5 -COL098_bit_4 -COL098_bit_3 -COL098_bit_2 -COL098_bit_1 -COL098_bit0 -COL098_bit1 -COL098_bit2 -COL098_bit3 -COL098_bit4 -COL098_bit5 -COL098_bit6 -COL098_bit7 -COL098_bit8 -COL098_bit9 -COL098_bit10 -COL098_bit11 -COL098_bit12 -COL104_bit_7 -COL104_bit_6 -COL104_bit_5 -COL104_bit_4 -COL104_bit_3 -COL104_bit_2 -COL104_bit_1 -COL104_bit0 -COL104_bit1 -COL104_bit2 -COL104_bit3 -COL104_bit4 -COL104_bit5 -COL104_bit6 -COL104_bit7 -COL104_bit8 -COL104_bit9 -COL104_bit10 -COL104_bit11 -COL104_bit12 -COL110_bit_7 -COL110_bit_6 -COL110_bit_5 -COL110_bit_4 -COL110_bit_3 -COL110_bit_2 -COL110_bit_1 -COL110_bit0 -COL110_bit1 -COL110_bit2 -COL110_bit3 -COL110_bit4 -COL110_bit5 -COL110_bit6 -COL110_bit7 -COL110_bit8 -COL110_bit9 -COL110_bit10 -COL110_bit11 -COL110_bit12 -COL087_bit_7 -COL087_bit_6 -COL087_bit_5 -COL087_bit_4 -COL087_bit_3 -COL087_bit_2 -COL087_bit_1 -COL087_bit0 -COL087_bit1 -COL087_bit2 -COL087_bit3 -COL087_bit4 -COL087_bit5 -COL087_bit6 -COL087_bit7 -COL087_bit8 -COL087_bit9 -COL087_bit10 -COL087_bit11 -COL087_bit12 -COL088_bit_7 -COL088_bit_6 -COL088_bit_5 -COL088_bit_4 -COL088_bit_3 -COL088_bit_2 -COL088_bit_1 -COL088_bit0 -COL088_bit1 -COL088_bit2 -COL088_bit3 -COL088_bit4 -COL088_bit5 -COL088_bit6 -COL088_bit7 -COL088_bit8 -COL088_bit9 -COL088_bit10 -COL088_bit11 -COL088_bit12 -COL089_bit_7 -COL089_bit_6 -COL089_bit_5 -COL089_bit_4 -COL089_bit_3 -COL089_bit_2 -COL089_bit_1 -COL089_bit0 -COL089_bit1 -COL089_bit2 -COL089_bit3 -COL089_bit4 -COL089_bit5 -COL089_bit6 -COL089_bit7 -COL089_bit8 -COL089_bit9 -COL089_bit10 -COL089_bit11 -COL089_bit12 -COL090_bit_7 -COL090_bit_6 -COL090_bit_5 -COL090_bit_4 -COL090_bit_3 -COL090_bit_2 -COL090_bit_1 -COL090_bit0 -COL090_bit1 -COL090_bit2 -COL090_bit3 -COL090_bit4 -COL090_bit5 -COL090_bit6 -COL090_bit7 -COL090_bit8 -COL090_bit9 -COL090_bit10 -COL090_bit11 -COL090_bit12 -COL093_bit_7 -COL093_bit_6 -COL093_bit_5 -COL093_bit_4 -COL093_bit_3 -COL093_bit_2 -COL093_bit_1 -COL093_bit0 -COL093_bit1 -COL093_bit2 -COL093_bit3 -COL093_bit4 -COL093_bit5 -COL093_bit6 -COL093_bit7 -COL093_bit8 -COL093_bit9 -COL093_bit10 -COL093_bit11 -COL093_bit12 -COL099_bit_7 -COL099_bit_6 -COL099_bit_5 -COL099_bit_4 -COL099_bit_3 -COL099_bit_2 -COL099_bit_1 -COL099_bit0 -COL099_bit1 -COL099_bit2 -COL099_bit3 -COL099_bit4 -COL099_bit5 -COL099_bit6 -COL099_bit7 -COL099_bit8 -COL099_bit9 -COL099_bit10 -COL099_bit11 -COL099_bit12 -COL105_bit_7 -COL105_bit_6 -COL105_bit_5 -COL105_bit_4 -COL105_bit_3 -COL105_bit_2 -COL105_bit_1 -COL105_bit0 -COL105_bit1 -COL105_bit2 -COL105_bit3 -COL105_bit4 -COL105_bit5 -COL105_bit6 -COL105_bit7 -COL105_bit8 -COL105_bit9 -COL105_bit10 -COL105_bit11 -COL105_bit12 -COL111_bit_7 -COL111_bit_6 -COL111_bit_5 -COL111_bit_4 -COL111_bit_3 -COL111_bit_2 -COL111_bit_1 -COL111_bit0 -COL111_bit1 -COL111_bit2 -COL111_bit3 -COL111_bit4 -COL111_bit5 -COL111_bit6 -COL111_bit7 -COL111_bit8 -COL111_bit9 -COL111_bit10 -COL111_bit11 -COL111_bit12 -COL094_bit_7 -COL094_bit_6 -COL094_bit_5 -COL094_bit_4 -COL094_bit_3 -COL094_bit_2 -COL094_bit_1 -COL094_bit0 -COL094_bit1 -COL094_bit2 -COL094_bit3 -COL094_bit4 -COL094_bit5 -COL094_bit6 -COL094_bit7 -COL094_bit8 -COL094_bit9 -COL094_bit10 -COL094_bit11 -COL094_bit12 -COL095_bit_7 -COL095_bit_6 -COL095_bit_5 -COL095_bit_4 -COL095_bit_3 -COL095_bit_2 -COL095_bit_1 -COL095_bit0 -COL095_bit1 -COL095_bit2 -COL095_bit3 -COL095_bit4 -COL095_bit5 -COL095_bit6 -COL095_bit7 -COL095_bit8 -COL095_bit9 -COL095_bit10 -COL095_bit11 -COL095_bit12 -COL096_bit_7 -COL096_bit_6 -COL096_bit_5 -COL096_bit_4 -COL096_bit_3 -COL096_bit_2 -COL096_bit_1 -COL096_bit0 -COL096_bit1 -COL096_bit2 -COL096_bit3 -COL096_bit4 -COL096_bit5 -COL096_bit6 -COL096_bit7 -COL096_bit8 -COL096_bit9 -COL096_bit10 -COL096_bit11 -COL096_bit12 -COL100_bit_7 -COL100_bit_6 -COL100_bit_5 -COL100_bit_4 -COL100_bit_3 -COL100_bit_2 -COL100_bit_1 -COL100_bit0 -COL100_bit1 -COL100_bit2 -COL100_bit3 -COL100_bit4 -COL100_bit5 -COL100_bit6 -COL100_bit7 -COL100_bit8 -COL100_bit9 -COL100_bit10 -COL100_bit11 -COL100_bit12 -COL106_bit_7 -COL106_bit_6 -COL106_bit_5 -COL106_bit_4 -COL106_bit_3 -COL106_bit_2 -COL106_bit_1 -COL106_bit0 -COL106_bit1 -COL106_bit2 -COL106_bit3 -COL106_bit4 -COL106_bit5 -COL106_bit6 -COL106_bit7 -COL106_bit8 -COL106_bit9 -COL106_bit10 -COL106_bit11 -COL106_bit12 -COL112_bit_7 -COL112_bit_6 -COL112_bit_5 -COL112_bit_4 -COL112_bit_3 -COL112_bit_2 -COL112_bit_1 -COL112_bit0 -COL112_bit1 -COL112_bit2 -COL112_bit3 -COL112_bit4 -COL112_bit5 -COL112_bit6 -COL112_bit7 -COL112_bit8 -COL112_bit9 -COL112_bit10 -COL112_bit11 -COL112_bit12 -COL101_bit_7 -COL101_bit_6 -COL101_bit_5 -COL101_bit_4 -COL101_bit_3 -COL101_bit_2 -COL101_bit_1 -COL101_bit0 -COL101_bit1 -COL101_bit2 -COL101_bit3 -COL101_bit4 -COL101_bit5 -COL101_bit6 -COL101_bit7 -COL101_bit8 -COL101_bit9 -COL101_bit10 -COL101_bit11 -COL101_bit12 -COL102_bit_7 -COL102_bit_6 -COL102_bit_5 -COL102_bit_4 -COL102_bit_3 -COL102_bit_2 -COL102_bit_1 -COL102_bit0 -COL102_bit1 -COL102_bit2 -COL102_bit3 -COL102_bit4 -COL102_bit5 -COL102_bit6 -COL102_bit7 -COL102_bit8 -COL102_bit9 -COL102_bit10 -COL102_bit11 -COL102_bit12 -COL107_bit_7 -COL107_bit_6 -COL107_bit_5 -COL107_bit_4 -COL107_bit_3 -COL107_bit_2 -COL107_bit_1 -COL107_bit0 -COL107_bit1 COL107_bit2 COL107_bit3 COL107_bit4 COL107_bit5 -COL107_bit6 -COL107_bit7 -COL107_bit8 -COL107_bit9 -COL107_bit10 -COL107_bit11 -COL107_bit12 -COL113_bit_7 -COL113_bit_6 -COL113_bit_5 -COL113_bit_4 -COL113_bit_3 -COL113_bit_2 -COL113_bit_1 -COL113_bit0 -COL113_bit1 -COL113_bit2 -COL113_bit3 -COL113_bit4 -COL113_bit5 -COL113_bit6 -COL113_bit7 -COL113_bit8 -COL113_bit9 -COL113_bit10 -COL113_bit11 -COL113_bit12 -COL108_bit_7 -COL108_bit_6 -COL108_bit_5 -COL108_bit_4 -COL108_bit_3 -COL108_bit_2 -COL108_bit_1 -COL108_bit0 -COL108_bit1 -COL108_bit2 -COL108_bit3 -COL108_bit4 -COL108_bit5 -COL108_bit6 -COL108_bit7 -COL108_bit8 -COL108_bit9 -COL108_bit10 -COL108_bit11 -COL108_bit12 -COL114_bit_7 -COL114_bit_6 -COL114_bit_5 -COL114_bit_4 -COL114_bit_3 -COL114_bit_2 -COL114_bit_1 -COL114_bit0 COL114_bit1 -COL114_bit2 COL114_bit3 COL114_bit4 -COL114_bit5 COL114_bit6 -COL114_bit7 -COL114_bit8 -COL114_bit9 -COL114_bit10 -COL114_bit11 -COL114_bit12 -COL131_bit_7 -COL131_bit_6 -COL131_bit_5 -COL131_bit_4 -COL131_bit_3 -COL131_bit_2 -COL131_bit_1 -COL131_bit0 COL131_bit1 -COL131_bit2 -COL131_bit3 -COL131_bit4 -COL131_bit5 -COL131_bit6 -COL131_bit7 -COL131_bit8 -COL131_bit9 -COL131_bit10 -COL131_bit11 -COL131_bit12 COL131_bit13 -COL132_bit_7 -COL132_bit_6 -COL132_bit_5 -COL132_bit_4 -COL132_bit_3 -COL132_bit_2 -COL132_bit_1 -COL132_bit0 -COL132_bit1 -COL132_bit2 -COL132_bit3 -COL132_bit4 -COL132_bit5 -COL132_bit6 -COL132_bit7 -COL132_bit8 -COL132_bit9 -COL132_bit10 -COL132_bit11 -COL132_bit12 COL132_bit13 #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Raw data (loadavg): 0.99 0.97 0.96 2/54 8452 Raw data (stat): 8452 (runsolver) R 8451 4613 4612 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 833661906 1052672 99 4294967295 134512640 135381576 3221224496 3221219716 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0013 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 8452 Raw data (stat): 8452 (Pueblo) R 8451 4613 4612 0 -1 0 508 0 0 0 997 1 0 0 25 0 1 0 833661906 7770112 486 4294967295 134512640 134581331 3221224592 3221223504 134528074 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1897 486 566 18 0 1879 0 vsize: 7588 [startup+20.0019 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 8452 Raw data (stat): 8452 (Pueblo) R 8451 4613 4612 0 -1 0 766 0 0 0 1996 2 0 0 25 0 1 0 833661906 8781824 744 4294967295 134512640 134581331 3221224592 3221223504 134527510 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2144 744 566 18 0 2126 0 vsize: 8576 [startup+30.0012 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 8452 Raw data (stat): 8452 (Pueblo) R 8451 4613 4612 0 -1 0 766 0 0 0 2996 3 0 0 25 0 1 0 833661906 8781824 744 4294967295 134512640 134581331 3221224592 3221223456 134528267 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2144 744 566 18 0 2126 0 vsize: 8576 [startup+40.0014 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 8452 Raw data (stat): 8452 (Pueblo) R 8451 4613 4612 0 -1 0 958 0 0 0 3994 5 0 0 25 0 1 0 833661906 9572352 936 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2337 936 566 18 0 2319 0 vsize: 9348 [startup+50.0018 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 8452 Raw data (stat): 8452 (Pueblo) R 8451 4613 4612 0 -1 0 1020 0 0 0 4993 6 0 0 25 0 1 0 833661906 9842688 998 4294967295 134512640 134581331 3221224592 3221223488 134517868 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2403 998 566 18 0 2385 0 vsize: 9612 [startup+60.0024 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 8505 Raw data (stat): 8452 (Pueblo) R 8451 4613 4612 0 -1 0 1162 0 0 0 5987 12 0 0 25 0 1 0 833661906 10383360 1140 4294967295 134512640 134581331 3221224592 3221223504 134527418 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2535 1140 566 18 0 2517 0 vsize: 10140 [startup+70.0032 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 8505 Raw data (stat): 8452 (Pueblo) R 8451 4613 4612 0 -1 0 1246 0 0 0 6987 12 0 0 25 0 1 0 833661906 10780672 1224 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2632 1224 566 18 0 2614 0 vsize: 10528 [startup+80.0039 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 8505 Raw data (stat): 8452 (Pueblo) R 8451 4613 4612 0 -1 0 1246 0 0 0 7987 13 0 0 25 0 1 0 833661906 10780672 1224 4294967295 134512640 134581331 3221224592 3221223504 134528088 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2632 1224 566 18 0 2614 0 vsize: 10528 [startup+90.0033 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 8505 Raw data (stat): 8452 (Pueblo) R 8451 4613 4612 0 -1 0 1246 0 0 0 8986 13 0 0 25 0 1 0 833661906 10780672 1224 4294967295 134512640 134581331 3221224592 3221223504 134527778 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2632 1224 566 18 0 2614 0 vsize: 10528 [startup+100.004 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 8505 Raw data (stat): 8452 (Pueblo) R 8451 4613 4612 0 -1 0 1246 0 0 0 9986 14 0 0 25 0 1 0 833661906 10780672 1224 4294967295 134512640 134581331 3221224592 3221223504 134528072 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2632 1224 566 18 0 2614 0 vsize: 10528 [startup+110.004 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 8505 Raw data (stat): 8452 (Pueblo) R 8451 4613 4612 0 -1 0 1246 0 0 0 10985 15 0 0 25 0 1 0 833661906 10780672 1224 4294967295 134512640 134581331 3221224592 3221223504 134527355 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2632 1224 566 18 0 2614 0 vsize: 10528 [startup+120.004 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 8505 Raw data (stat): 8452 (Pueblo) R 8451 4613 4612 0 -1 0 1246 0 0 0 11984 16 0 0 25 0 1 0 833661906 10780672 1224 4294967295 134512640 134581331 3221224592 3221223536 134559308 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2632 1224 566 18 0 2614 0 vsize: 10528 [startup+130.004 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 8507 Raw data (stat): 8452 (Pueblo) R 8451 4613 4612 0 -1 0 1246 0 0 0 12984 17 0 0 25 0 1 0 833661906 10780672 1224 4294967295 134512640 134581331 3221224592 3221223504 134527534 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2632 1224 566 18 0 2614 0 vsize: 10528 [startup+140.005 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 8507 Raw data (stat): 8452 (Pueblo) R 8451 4613 4612 0 -1 0 1246 0 0 0 13984 17 0 0 25 0 1 0 833661906 10780672 1224 4294967295 134512640 134581331 3221224592 3221223504 134527504 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2632 1224 566 18 0 2614 0 vsize: 10528 [startup+150.005 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 8507 Raw data (stat): 8452 (Pueblo) R 8451 4613 4612 0 -1 0 1246 0 0 0 14984 17 0 0 25 0 1 0 833661906 10780672 1224 4294967295 134512640 134581331 3221224592 3221223504 134527432 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2632 1224 566 18 0 2614 0 vsize: 10528 [startup+160.005 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 8507 Raw data (stat): 8452 (Pueblo) R 8451 4613 4612 0 -1 0 1246 0 0 0 15983 18 0 0 25 0 1 0 833661906 10780672 1224 4294967295 134512640 134581331 3221224592 3221223504 134528072 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2632 1224 566 18 0 2614 0 vsize: 10528 [startup+170.005 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 8507 Raw data (stat): 8452 (Pueblo) R 8451 4613 4612 0 -1 0 1246 0 0 0 16983 19 0 0 25 0 1 0 833661906 10780672 1224 4294967295 134512640 134581331 3221224592 3221223504 134527434 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2632 1224 566 18 0 2614 0 vsize: 10528 [startup+180.005 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 8507 Raw data (stat): 8452 (Pueblo) R 8451 4613 4612 0 -1 0 1246 0 0 0 17983 19 0 0 25 0 1 0 833661906 10780672 1224 4294967295 134512640 134581331 3221224592 3221223536 134560149 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2632 1224 566 18 0 2614 0 vsize: 10528 [startup+190.006 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 8507 Raw data (stat): 8452 (Pueblo) R 8451 4613 4612 0 -1 0 1246 0 0 0 18982 20 0 0 25 0 1 0 833661906 10780672 1224 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2632 1224 566 18 0 2614 0 vsize: 10528 [startup+200.005 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 8507 Raw data (stat): 8452 (Pueblo) R 8451 4613 4612 0 -1 0 1366 0 0 0 19982 20 0 0 25 0 1 0 833661906 11321344 1344 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2764 1344 566 18 0 2746 0 vsize: 11056 [startup+210.006 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 8507 Raw data (stat): 8452 (Pueblo) R 8451 4613 4612 0 -1 0 1375 0 0 0 20981 22 0 0 25 0 1 0 833661906 11321344 1353 4294967295 134512640 134581331 3221224592 3221223488 134517873 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2764 1353 566 18 0 2746 0 vsize: 11056 [startup+220.006 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 8507 Raw data (stat): 8452 (Pueblo) R 8451 4613 4612 0 -1 0 1401 0 0 0 21980 22 0 0 25 0 1 0 833661906 11456512 1379 4294967295 134512640 134581331 3221224592 3221223488 134517875 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2797 1379 566 18 0 2779 0 vsize: 11188 [startup+230.005 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 8507 Raw data (stat): 8452 (Pueblo) R 8451 4613 4612 0 -1 0 1401 0 0 0 22980 22 0 0 25 0 1 0 833661906 11456512 1379 4294967295 134512640 134581331 3221224592 3221223504 134527442 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2797 1379 566 18 0 2779 0 vsize: 11188 [startup+240.005 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 8507 Raw data (stat): 8452 (Pueblo) R 8451 4613 4612 0 -1 0 1401 0 0 0 23980 23 0 0 25 0 1 0 833661906 11456512 1379 4294967295 134512640 134581331 3221224592 3221223504 134527429 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2797 1379 566 18 0 2779 0 vsize: 11188 [startup+250.005 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 8507 Raw data (stat): 8452 (Pueblo) R 8451 4613 4612 0 -1 0 1401 0 0 0 24980 23 0 0 25 0 1 0 833661906 11456512 1379 4294967295 134512640 134581331 3221224592 3221223504 134527525 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2797 1379 566 18 0 2779 0 vsize: 11188 [startup+260.006 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 8507 Raw data (stat): 8452 (Pueblo) R 8451 4613 4612 0 -1 0 1401 0 0 0 25980 23 0 0 25 0 1 0 833661906 11456512 1379 4294967295 134512640 134581331 3221224592 3221223504 134527510 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2797 1379 566 18 0 2779 0 vsize: 11188 [startup+270.005 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 8507 Raw data (stat): 8452 (Pueblo) R 8451 4613 4612 0 -1 0 1401 0 0 0 26980 23 0 0 25 0 1 0 833661906 11456512 1379 4294967295 134512640 134581331 3221224592 3221223456 134528321 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2797 1379 566 18 0 2779 0 vsize: 11188 [startup+280.005 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 8507 Raw data (stat): 8452 (Pueblo) R 8451 4613 4612 0 -1 0 1401 0 0 0 27980 23 0 0 25 0 1 0 833661906 11456512 1379 4294967295 134512640 134581331 3221224592 3221223488 134517875 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2797 1379 566 18 0 2779 0 vsize: 11188 [startup+290.006 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 8507 Raw data (stat): 8452 (Pueblo) R 8451 4613 4612 0 -1 0 1401 0 0 0 28979 24 0 0 25 0 1 0 833661906 11444224 1379 4294967295 134512640 134581331 3221224592 3221223504 134527769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2794 1379 566 18 0 2776 0 vsize: 11176 [startup+300.005 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 8507 Raw data (stat): 8452 (Pueblo) R 8451 4613 4612 0 -1 0 1401 0 0 0 29979 25 0 0 25 0 1 0 833661906 11444224 1379 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2794 1379 566 18 0 2776 0 vsize: 11176 [startup+310.005 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 8507 Raw data (stat): 8452 (Pueblo) R 8451 4613 4612 0 -1 0 1401 0 0 0 30978 26 0 0 25 0 1 0 833661906 11444224 1379 4294967295 134512640 134581331 3221224592 3221223504 134528088 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2794 1379 566 18 0 2776 0 vsize: 11176 [startup+320.005 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 8507 Raw data (stat): 8452 (Pueblo) R 8451 4613 4612 0 -1 0 1401 0 0 0 31978 26 0 0 25 0 1 0 833661906 11444224 1379 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2794 1379 566 18 0 2776 0 vsize: 11176 [startup+330.004 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 8507 Raw data (stat): 8452 (Pueblo) R 8451 4613 4612 0 -1 0 1401 0 0 0 32977 27 0 0 25 0 1 0 833661906 11444224 1379 4294967295 134512640 134581331 3221224592 3221223504 134527454 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2794 1379 566 18 0 2776 0 vsize: 11176 [startup+340.004 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 8507 Raw data (stat): 8452 (Pueblo) R 8451 4613 4612 0 -1 0 1401 0 0 0 33977 27 0 0 25 0 1 0 833661906 11444224 1379 4294967295 134512640 134581331 3221224592 3221223504 134527454 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2794 1379 566 18 0 2776 0 vsize: 11176 [startup+350.004 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 8507 Raw data (stat): 8452 (Pueblo) R 8451 4613 4612 0 -1 0 1401 0 0 0 34976 28 0 0 25 0 1 0 833661906 11444224 1379 4294967295 134512640 134581331 3221224592 3221223504 134527534 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2794 1379 566 18 0 2776 0 vsize: 11176 [startup+360.004 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 8507 Raw data (stat): 8452 (Pueblo) R 8451 4613 4612 0 -1 0 1401 0 0 0 35976 29 0 0 25 0 1 0 833661906 11444224 1379 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2794 1379 566 18 0 2776 0 vsize: 11176 [startup+370.004 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 8507 Raw data (stat): 8452 (Pueblo) R 8451 4613 4612 0 -1 0 1451 0 0 0 36976 29 0 0 25 0 1 0 833661906 11575296 1429 4294967295 134512640 134581331 3221224592 3221223488 134517905 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2826 1429 566 18 0 2808 0 vsize: 11304 [startup+380.004 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 8507 Raw data (stat): 8452 (Pueblo) R 8451 4613 4612 0 -1 0 1706 0 0 0 37975 30 0 0 25 0 1 0 833661906 12619776 1684 4294967295 134512640 134581331 3221224592 3221223488 134517905 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3081 1684 566 18 0 3063 0 vsize: 12324 [startup+390.003 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 8507 Raw data (stat): 8452 (Pueblo) R 8451 4613 4612 0 -1 0 1711 0 0 0 38975 30 0 0 25 0 1 0 833661906 12619776 1689 4294967295 134512640 134581331 3221224592 3221223456 134528375 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3081 1689 566 18 0 3063 0 vsize: 12324 [startup+400.004 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 8509 Raw data (stat): 8452 (Pueblo) R 8451 4613 4612 0 -1 0 1721 0 0 0 39974 32 0 0 25 0 1 0 833661906 12750848 1699 4294967295 134512640 134581331 3221224592 3221223504 134527432 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3113 1699 566 18 0 3095 0 vsize: 12452 [startup+410.004 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 8509 Raw data (stat): 8452 (Pueblo) R 8451 4613 4612 0 -1 0 1721 0 0 0 40973 33 0 0 25 0 1 0 833661906 12722176 1699 4294967295 134512640 134581331 3221224592 3221223504 134528088 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3106 1699 566 18 0 3088 0 vsize: 12424 [startup+420.003 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 8509 Raw data (stat): 8452 (Pueblo) R 8451 4613 4612 0 -1 0 1721 0 0 0 41972 33 0 0 25 0 1 0 833661906 12578816 1681 4294967295 134512640 134581331 3221224592 3221223488 134517905 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3071 1681 566 18 0 3053 0 vsize: 12284 [startup+430.003 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 8509 Raw data (stat): 8452 (Pueblo) R 8451 4613 4612 0 -1 0 1721 0 0 0 42972 33 0 0 25 0 1 0 833661906 12578816 1681 4294967295 134512640 134581331 3221224592 3221223488 134517859 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3071 1681 566 18 0 3053 0 vsize: 12284 [startup+440.003 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 8509 Raw data (stat): 8452 (Pueblo) R 8451 4613 4612 0 -1 0 1721 0 0 0 43972 34 0 0 25 0 1 0 833661906 12578816 1681 4294967295 134512640 134581331 3221224592 3221223504 134527434 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3071 1681 566 18 0 3053 0 vsize: 12284 [startup+450.003 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 8509 Raw data (stat): 8452 (Pueblo) R 8451 4613 4612 0 -1 0 1721 0 0 0 44972 34 0 0 25 0 1 0 833661906 12578816 1681 4294967295 134512640 134581331 3221224592 3221223456 134528258 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3071 1681 566 18 0 3053 0 vsize: 12284 [startup+460.003 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 8509 Raw data (stat): 8452 (Pueblo) R 8451 4613 4612 0 -1 0 1721 0 0 0 45972 34 0 0 25 0 1 0 833661906 12578816 1681 4294967295 134512640 134581331 3221224592 3221223500 134527740 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3071 1681 566 18 0 3053 0 vsize: 12284 [startup+470.003 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 8509 Raw data (stat): 8452 (Pueblo) R 8451 4613 4612 0 -1 0 1721 0 0 0 46972 35 0 0 25 0 1 0 833661906 12578816 1681 4294967295 134512640 134581331 3221224592 3221223560 134527305 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3071 1681 566 18 0 3053 0 vsize: 12284 [startup+480.003 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 8509 Raw data (stat): 8452 (Pueblo) R 8451 4613 4612 0 -1 0 1721 0 0 0 47972 35 0 0 25 0 1 0 833661906 12578816 1681 4294967295 134512640 134581331 3221224592 3221223504 134527454 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3071 1681 566 18 0 3053 0 vsize: 12284 [startup+490.003 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 8509 Raw data (stat): 8452 (Pueblo) R 8451 4613 4612 0 -1 0 1721 0 0 0 48971 35 0 0 25 0 1 0 833661906 12578816 1681 4294967295 134512640 134581331 3221224592 3221223456 134528316 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3071 1681 566 18 0 3053 0 vsize: 12284 [startup+500.002 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 8509 Raw data (stat): 8452 (Pueblo) R 8451 4613 4612 0 -1 0 1721 0 0 0 49971 36 0 0 25 0 1 0 833661906 12578816 1681 4294967295 134512640 134581331 3221224592 3221223504 134527772 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3071 1681 566 18 0 3053 0 vsize: 12284 [startup+510.003 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 8509 Raw data (stat): 8452 (Pueblo) R 8451 4613 4612 0 -1 0 1721 0 0 0 50971 36 0 0 25 0 1 0 833661906 12578816 1681 4294967295 134512640 134581331 3221224592 3221223504 134527445 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3071 1681 566 18 0 3053 0 vsize: 12284 [startup+520.003 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 8509 Raw data (stat): 8452 (Pueblo) R 8451 4613 4612 0 -1 0 1721 0 0 0 51971 37 0 0 25 0 1 0 833661906 12574720 1680 4294967295 134512640 134581331 3221224592 3221223456 134528336 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3070 1680 566 18 0 3052 0 vsize: 12280 [startup+530.003 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 8509 Raw data (stat): 8452 (Pueblo) R 8451 4613 4612 0 -1 0 1721 0 0 0 52970 37 0 0 25 0 1 0 833661906 12562432 1677 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3067 1677 566 18 0 3049 0 vsize: 12268 [startup+540.002 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 8509 Raw data (stat): 8452 (Pueblo) R 8451 4613 4612 0 -1 0 1721 0 0 0 53970 38 0 0 25 0 1 0 833661906 12537856 1671 4294967295 134512640 134581331 3221224592 3221223488 134517875 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3061 1671 566 18 0 3043 0 vsize: 12244 [startup+550.002 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 8509 Raw data (stat): 8452 (Pueblo) R 8451 4613 4612 0 -1 0 1721 0 0 0 54970 38 0 0 25 0 1 0 833661906 12537856 1671 4294967295 134512640 134581331 3221224592 3221223536 134558842 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3061 1671 566 18 0 3043 0 vsize: 12244 [startup+560.003 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 8509 Raw data (stat): 8452 (Pueblo) R 8451 4613 4612 0 -1 0 1721 0 0 0 55969 39 0 0 25 0 1 0 833661906 12537856 1671 4294967295 134512640 134581331 3221224592 3221223504 134527554 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3061 1671 566 18 0 3043 0 vsize: 12244 [startup+570.003 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 8509 Raw data (stat): 8452 (Pueblo) R 8451 4613 4612 0 -1 0 1721 0 0 0 56970 39 0 0 25 0 1 0 833661906 12537856 1671 4294967295 134512640 134581331 3221224592 3221223504 134527454 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3061 1671 566 18 0 3043 0 vsize: 12244 [startup+580.003 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 8509 Raw data (stat): 8452 (Pueblo) R 8451 4613 4612 0 -1 0 1721 0 0 0 57969 39 0 0 25 0 1 0 833661906 12537856 1671 4294967295 134512640 134581331 3221224592 3221223504 134528088 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3061 1671 566 18 0 3043 0 vsize: 12244 [startup+590.004 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 8509 Raw data (stat): 8452 (Pueblo) R 8451 4613 4612 0 -1 0 1721 0 0 0 58969 39 0 0 25 0 1 0 833661906 12537856 1671 4294967295 134512640 134581331 3221224592 3221223504 134527434 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3061 1671 566 18 0 3043 0 vsize: 12244 [startup+600.003 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 8509 Raw data (stat): 8452 (Pueblo) R 8451 4613 4612 0 -1 0 1721 0 0 0 59969 40 0 0 25 0 1 0 833661906 12537856 1671 4294967295 134512640 134581331 3221224592 3221223488 134517878 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3061 1671 566 18 0 3043 0 vsize: 12244 [startup+610.003 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 8509 Raw data (stat): 8452 (Pueblo) R 8451 4613 4612 0 -1 0 1721 0 0 0 60967 42 0 0 25 0 1 0 833661906 12537856 1671 4294967295 134512640 134581331 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3061 1671 566 18 0 3043 0 vsize: 12244 [startup+620.005 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 8509 Raw data (stat): 8452 (Pueblo) R 8451 4613 4612 0 -1 0 1721 0 0 0 61966 44 0 0 25 0 1 0 833661906 12537856 1671 4294967295 134512640 134581331 3221224592 3221223504 134527695 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3061 1671 566 18 0 3043 0 vsize: 12244 [startup+630.004 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 8509 Raw data (stat): 8452 (Pueblo) R 8451 4613 4612 0 -1 0 1721 0 0 0 62965 45 0 0 25 0 1 0 833661906 12537856 1671 4294967295 134512640 134581331 3221224592 3221223504 134527534 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3061 1671 566 18 0 3043 0 vsize: 12244 [startup+640.005 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 8509 Raw data (stat): 8452 (Pueblo) R 8451 4613 4612 0 -1 0 1721 0 0 0 63964 45 0 0 25 0 1 0 833661906 12537856 1671 4294967295 134512640 134581331 3221224592 3221223504 134527454 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3061 1671 566 18 0 3043 0 vsize: 12244 [startup+650.004 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 8509 Raw data (stat): 8452 (Pueblo) R 8451 4613 4612 0 -1 0 1721 0 0 0 64964 46 0 0 25 0 1 0 833661906 12537856 1671 4294967295 134512640 134581331 3221224592 3221223504 134527454 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3061 1671 566 18 0 3043 0 vsize: 12244 [startup+660.004 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 8509 Raw data (stat): 8452 (Pueblo) R 8451 4613 4612 0 -1 0 1721 0 0 0 65963 47 0 0 25 0 1 0 833661906 12537856 1671 4294967295 134512640 134581331 3221224592 3221223504 134527510 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3061 1671 566 18 0 3043 0 vsize: 12244 [startup+670.004 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 8509 Raw data (stat): 8452 (Pueblo) R 8451 4613 4612 0 -1 0 1721 0 0 0 66963 47 0 0 25 0 1 0 833661906 12537856 1671 4294967295 134512640 134581331 3221224592 3221223504 134527454 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3061 1671 566 18 0 3043 0 vsize: 12244 [startup+680.004 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 8509 Raw data (stat): 8452 (Pueblo) R 8451 4613 4612 0 -1 0 1721 0 0 0 67962 48 0 0 25 0 1 0 833661906 12537856 1671 4294967295 134512640 134581331 3221224592 3221223504 134527683 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3061 1671 566 18 0 3043 0 vsize: 12244 [startup+690.003 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 8509 Raw data (stat): 8452 (Pueblo) R 8451 4613 4612 0 -1 0 1721 0 0 0 68962 49 0 0 25 0 1 0 833661906 12537856 1671 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3061 1671 566 18 0 3043 0 vsize: 12244 [startup+700.004 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 8509 Raw data (stat): 8452 (Pueblo) R 8451 4613 4612 0 -1 0 1721 0 0 0 69961 49 0 0 25 0 1 0 833661906 12537856 1671 4294967295 134512640 134581331 3221224592 3221223340 1075285182 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3061 1671 566 18 0 3043 0 vsize: 12244 [startup+710.004 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 8509 Raw data (stat): 8452 (Pueblo) R 8451 4613 4612 0 -1 0 1721 0 0 0 70961 50 0 0 25 0 1 0 833661906 12537856 1671 4294967295 134512640 134581331 3221224592 3221223456 134528347 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3061 1671 566 18 0 3043 0 vsize: 12244 [startup+720.004 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 8509 Raw data (stat): 8452 (Pueblo) R 8451 4613 4612 0 -1 0 1721 0 0 0 71961 50 0 0 25 0 1 0 833661906 12537856 1671 4294967295 134512640 134581331 3221224592 3221223504 134527410 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3061 1671 566 18 0 3043 0 vsize: 12244 [startup+730.004 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 8509 Raw data (stat): 8452 (Pueblo) R 8451 4613 4612 0 -1 0 1779 0 0 0 72960 51 0 0 25 0 1 0 833661906 12808192 1729 4294967295 134512640 134581331 3221224592 3221223504 134527513 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3127 1729 566 18 0 3109 0 vsize: 12508 [startup+740.004 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 8509 Raw data (stat): 8452 (Pueblo) R 8451 4613 4612 0 -1 0 1779 0 0 0 73959 53 0 0 25 0 1 0 833661906 12574720 1680 4294967295 134512640 134581331 3221224592 3221223504 134527513 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3070 1680 566 18 0 3052 0 vsize: 12280 [startup+750.004 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 8509 Raw data (stat): 8452 (Pueblo) R 8451 4613 4612 0 -1 0 1779 0 0 0 74958 53 0 0 25 0 1 0 833661906 12574720 1680 4294967295 134512640 134581331 3221224592 3221223504 134527459 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3070 1680 566 18 0 3052 0 vsize: 12280 [startup+760.004 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 8509 Raw data (stat): 8452 (Pueblo) R 8451 4613 4612 0 -1 0 1779 0 0 0 75958 54 0 0 25 0 1 0 833661906 12574720 1680 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3070 1680 566 18 0 3052 0 vsize: 12280 [startup+770.004 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 8509 Raw data (stat): 8452 (Pueblo) R 8451 4613 4612 0 -1 0 1779 0 0 0 76957 55 0 0 25 0 1 0 833661906 12574720 1680 4294967295 134512640 134581331 3221224592 3221223504 134527418 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3070 1680 566 18 0 3052 0 vsize: 12280 [startup+780.004 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 8509 Raw data (stat): 8452 (Pueblo) R 8451 4613 4612 0 -1 0 1779 0 0 0 77957 55 0 0 25 0 1 0 833661906 12574720 1680 4294967295 134512640 134581331 3221224592 3221223504 134527510 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3070 1680 566 18 0 3052 0 vsize: 12280 [startup+790.004 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 8509 Raw data (stat): 8452 (Pueblo) R 8451 4613 4612 0 -1 0 1779 0 0 0 78957 55 0 0 25 0 1 0 833661906 12574720 1680 4294967295 134512640 134581331 3221224592 3221223456 134528287 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3070 1680 566 18 0 3052 0 vsize: 12280 [startup+800.003 s] Raw data (loadavg): 0.99 0.97 0.96 2/54 8509 Raw data (stat): 8452 (Pueblo) R 8451 4613 4612 0 -1 0 1779 0 0 0 79957 55 0 0 25 0 1 0 833661906 12574720 1680 4294967295 134512640 134581331 3221224592 3221223504 134527442 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3070 1680 566 18 0 3052 0 vsize: 12280 [startup+810.004 s] Raw data (loadavg): 1.15 1.00 0.97 2/54 8509 Raw data (stat): 8452 (Pueblo) R 8451 4613 4612 0 -1 0 1779 0 0 0 80957 56 0 0 25 0 1 0 833661906 12574720 1680 4294967295 134512640 134581331 3221224592 3221223536 134559461 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3070 1680 566 18 0 3052 0 vsize: 12280 [startup+820.004 s] Raw data (loadavg): 1.12 1.00 0.97 2/54 8509 Raw data (stat): 8452 (Pueblo) R 8451 4613 4612 0 -1 0 1779 0 0 0 81957 56 0 0 25 0 1 0 833661906 12574720 1680 4294967295 134512640 134581331 3221224592 3221223504 134527434 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3070 1680 566 18 0 3052 0 vsize: 12280 [startup+830.003 s] Raw data (loadavg): 1.10 1.00 0.97 2/54 8509 Raw data (stat): 8452 (Pueblo) R 8451 4613 4612 0 -1 0 1809 0 0 0 82957 56 0 0 25 0 1 0 833661906 12705792 1710 4294967295 134512640 134581331 3221224592 3221223504 134527701 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3102 1710 566 18 0 3084 0 vsize: 12408 [startup+840.004 s] Raw data (loadavg): 1.09 1.00 0.97 2/54 8509 Raw data (stat): 8452 (Pueblo) R 8451 4613 4612 0 -1 0 1809 0 0 0 83956 57 0 0 25 0 1 0 833661906 12664832 1702 4294967295 134512640 134581331 3221224592 3221223280 1075288811 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3092 1702 566 18 0 3074 0 vsize: 12368 [startup+850.004 s] Raw data (loadavg): 1.07 1.00 0.97 2/54 8509 Raw data (stat): 8452 (Pueblo) R 8451 4613 4612 0 -1 0 1896 0 0 0 84955 58 0 0 25 0 1 0 833661906 13066240 1789 4294967295 134512640 134581331 3221224592 3221223584 134561137 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3190 1789 566 18 0 3172 0 vsize: 12760 [startup+860.005 s] Raw data (loadavg): 1.06 1.00 0.97 2/54 8509 Raw data (stat): 8452 (Pueblo) R 8451 4613 4612 0 -1 0 1993 0 0 0 85955 59 0 0 25 0 1 0 833661906 13459456 1886 4294967295 134512640 134581331 3221224592 3221223504 134527434 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3286 1886 566 18 0 3268 0 vsize: 13144 [startup+870.005 s] Raw data (loadavg): 1.05 1.00 0.97 2/54 8509 Raw data (stat): 8452 (Pueblo) R 8451 4613 4612 0 -1 0 2019 0 0 0 86955 59 0 0 25 0 1 0 833661906 13590528 1912 4294967295 134512640 134581331 3221224592 3221223504 134527519 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3318 1912 566 18 0 3300 0 vsize: 13272 [startup+880.005 s] Raw data (loadavg): 1.04 1.00 0.97 2/54 8509 Raw data (stat): 8452 (Pueblo) R 8451 4613 4612 0 -1 0 2019 0 0 0 87954 60 0 0 25 0 1 0 833661906 13590528 1912 4294967295 134512640 134581331 3221224592 3221223488 134517875 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3318 1912 566 18 0 3300 0 vsize: 13272 [startup+890.006 s] Raw data (loadavg): 1.04 1.00 0.97 2/54 8509 Raw data (stat): 8452 (Pueblo) R 8451 4613 4612 0 -1 0 2019 0 0 0 88954 60 0 0 25 0 1 0 833661906 13590528 1912 4294967295 134512640 134581331 3221224592 3221223504 134527519 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3318 1912 566 18 0 3300 0 vsize: 13272 [startup+900.005 s] Raw data (loadavg): 1.10 1.02 0.97 2/54 8509 Raw data (stat): 8452 (Pueblo) R 8451 4613 4612 0 -1 0 2019 0 0 0 89953 61 0 0 25 0 1 0 833661906 13344768 1868 4294967295 134512640 134581331 3221224592 3221223308 1075288614 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3258 1868 566 18 0 3240 0 vsize: 13032 [startup+910.006 s] Raw data (loadavg): 1.09 1.02 0.97 2/54 8509 Raw data (stat): 8452 (Pueblo) R 8451 4613 4612 0 -1 0 2019 0 0 0 90952 63 0 0 25 0 1 0 833661906 13344768 1868 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3258 1868 566 18 0 3240 0 vsize: 13032 [startup+920.006 s] Raw data (loadavg): 1.07 1.01 0.97 2/54 8509 Raw data (stat): 8452 (Pueblo) R 8451 4613 4612 0 -1 0 2019 0 0 0 91952 63 0 0 25 0 1 0 833661906 13344768 1868 4294967295 134512640 134581331 3221224592 3221223504 134527420 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3258 1868 566 18 0 3240 0 vsize: 13032 [startup+930.005 s] Raw data (loadavg): 1.06 1.01 0.97 2/54 8509 Raw data (stat): 8452 (Pueblo) R 8451 4613 4612 0 -1 0 2136 0 0 0 92951 64 0 0 25 0 1 0 833661906 13869056 1985 4294967295 134512640 134581331 3221224592 3221223488 134517875 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3386 1985 566 18 0 3368 0 vsize: 13544 [startup+940.006 s] Raw data (loadavg): 1.05 1.01 0.97 2/54 8509 Raw data (stat): 8452 (Pueblo) R 8451 4613 4612 0 -1 0 2136 0 0 0 93951 64 0 0 25 0 1 0 833661906 13869056 1985 4294967295 134512640 134581331 3221224592 3221223488 134517880 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3386 1985 566 18 0 3368 0 vsize: 13544 [startup+950.006 s] Raw data (loadavg): 1.04 1.01 0.97 2/54 8509 Raw data (stat): 8452 (Pueblo) R 8451 4613 4612 0 -1 0 2136 0 0 0 94951 65 0 0 25 0 1 0 833661906 13869056 1985 4294967295 134512640 134581331 3221224592 3221223504 134527667 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3386 1985 566 18 0 3368 0 vsize: 13544 [startup+960.006 s] Raw data (loadavg): 1.11 1.03 0.98 2/54 8509 Raw data (stat): 8452 (Pueblo) R 8451 4613 4612 0 -1 0 2136 0 0 0 95950 65 0 0 25 0 1 0 833661906 13869056 1985 4294967295 134512640 134581331 3221224592 3221223456 134528350 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3386 1985 566 18 0 3368 0 vsize: 13544 [startup+970.006 s] Raw data (loadavg): 1.09 1.03 0.98 2/54 8509 Raw data (stat): 8452 (Pueblo) R 8451 4613 4612 0 -1 0 2136 0 0 0 96950 66 0 0 25 0 1 0 833661906 13869056 1985 4294967295 134512640 134581331 3221224592 3221223504 134527445 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3386 1985 566 18 0 3368 0 vsize: 13544 [startup+980.006 s] Raw data (loadavg): 1.08 1.02 0.98 2/54 8509 Raw data (stat): 8452 (Pueblo) R 8451 4613 4612 0 -1 0 2136 0 0 0 97949 66 0 0 25 0 1 0 833661906 13869056 1985 4294967295 134512640 134581331 3221224592 3221223456 134528323 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3386 1985 566 18 0 3368 0 vsize: 13544 [startup+990.005 s] Raw data (loadavg): 1.07 1.02 0.98 2/54 8509 Raw data (stat): 8452 (Pueblo) R 8451 4613 4612 0 -1 0 2136 0 0 0 98949 67 0 0 25 0 1 0 833661906 13869056 1985 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3386 1985 566 18 0 3368 0 vsize: 13544 [startup+1000.01 s] Raw data (loadavg): 1.06 1.02 0.98 2/54 8509 Raw data (stat): 8452 (Pueblo) R 8451 4613 4612 0 -1 0 2136 0 0 0 99948 68 0 0 25 0 1 0 833661906 13869056 1985 4294967295 134512640 134581331 3221224592 3221223488 134517873 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3386 1985 566 18 0 3368 0 vsize: 13544 [startup+1010.01 s] Raw data (loadavg): 1.05 1.02 0.98 2/54 8509 Raw data (stat): 8452 (Pueblo) R 8451 4613 4612 0 -1 0 2136 0 0 0 100948 68 0 0 25 0 1 0 833661906 13869056 1985 4294967295 134512640 134581331 3221224592 3221223504 134527434 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3386 1985 566 18 0 3368 0 vsize: 13544 [startup+1020.01 s] Raw data (loadavg): 1.04 1.02 0.98 2/54 8509 Raw data (stat): 8452 (Pueblo) R 8451 4613 4612 0 -1 0 2136 0 0 0 101948 69 0 0 25 0 1 0 833661906 13869056 1985 4294967295 134512640 134581331 3221224592 3221223504 134527442 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3386 1985 566 18 0 3368 0 vsize: 13544 [startup+1030.01 s] Raw data (loadavg): 1.03 1.02 0.98 2/54 8509 Raw data (stat): 8452 (Pueblo) R 8451 4613 4612 0 -1 0 2136 0 0 0 102947 70 0 0 25 0 1 0 833661906 13869056 1985 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3386 1985 566 18 0 3368 0 vsize: 13544 [startup+1040.01 s] Raw data (loadavg): 1.03 1.02 0.98 2/54 8509 Raw data (stat): 8452 (Pueblo) R 8451 4613 4612 0 -1 0 2136 0 0 0 103946 71 0 0 25 0 1 0 833661906 13869056 1985 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3386 1985 566 18 0 3368 0 vsize: 13544 [startup+1050.01 s] Raw data (loadavg): 1.02 1.02 0.98 2/54 8509 Raw data (stat): 8452 (Pueblo) R 8451 4613 4612 0 -1 0 2136 0 0 0 104946 71 0 0 25 0 1 0 833661906 13869056 1985 4294967295 134512640 134581331 3221224592 3221223536 134560149 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3386 1985 566 18 0 3368 0 vsize: 13544 [startup+1060.01 s] Raw data (loadavg): 1.02 1.02 0.98 2/54 8509 Raw data (stat): 8452 (Pueblo) R 8451 4613 4612 0 -1 0 2136 0 0 0 105945 72 0 0 25 0 1 0 833661906 13869056 1985 4294967295 134512640 134581331 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3386 1985 566 18 0 3368 0 vsize: 13544 [startup+1070.01 s] Raw data (loadavg): 1.02 1.02 0.98 2/54 8509 Raw data (stat): 8452 (Pueblo) R 8451 4613 4612 0 -1 0 2136 0 0 0 106945 72 0 0 25 0 1 0 833661906 13869056 1985 4294967295 134512640 134581331 3221224592 3221223504 134527525 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3386 1985 566 18 0 3368 0 vsize: 13544 [startup+1080.01 s] Raw data (loadavg): 1.01 1.02 0.98 2/54 8509 Raw data (stat): 8452 (Pueblo) R 8451 4613 4612 0 -1 0 2136 0 0 0 107944 73 0 0 25 0 1 0 833661906 13869056 1985 4294967295 134512640 134581331 3221224592 3221223504 134527687 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3386 1985 566 18 0 3368 0 vsize: 13544 [startup+1090.01 s] Raw data (loadavg): 1.01 1.01 0.98 2/54 8509 Raw data (stat): 8452 (Pueblo) R 8451 4613 4612 0 -1 0 2136 0 0 0 108943 74 0 0 25 0 1 0 833661906 13869056 1985 4294967295 134512640 134581331 3221224592 3221223472 134558100 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3386 1985 566 18 0 3368 0 vsize: 13544 [startup+1100.01 s] Raw data (loadavg): 1.01 1.01 0.98 2/54 8509 Raw data (stat): 8452 (Pueblo) R 8451 4613 4612 0 -1 0 2136 0 0 0 109943 75 0 0 25 0 1 0 833661906 13869056 1985 4294967295 134512640 134581331 3221224592 3221223504 134527429 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3386 1985 566 18 0 3368 0 vsize: 13544 [startup+1110.01 s] Raw data (loadavg): 1.01 1.01 0.98 2/54 8509 Raw data (stat): 8452 (Pueblo) R 8451 4613 4612 0 -1 0 2136 0 0 0 110943 75 0 0 25 0 1 0 833661906 13869056 1985 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3386 1985 566 18 0 3368 0 vsize: 13544 [startup+1120.01 s] Raw data (loadavg): 1.00 1.01 0.98 2/54 8509 Raw data (stat): 8452 (Pueblo) R 8451 4613 4612 0 -1 0 2136 0 0 0 111943 76 0 0 25 0 1 0 833661906 13869056 1985 4294967295 134512640 134581331 3221224592 3221223488 134517844 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3386 1985 566 18 0 3368 0 vsize: 13544 [startup+1130.01 s] Raw data (loadavg): 1.00 1.01 0.98 2/54 8509 Raw data (stat): 8452 (Pueblo) R 8451 4613 4612 0 -1 0 2136 0 0 0 112942 76 0 0 25 0 1 0 833661906 13869056 1985 4294967295 134512640 134581331 3221224592 3221223504 134527432 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3386 1985 566 18 0 3368 0 vsize: 13544 [startup+1140.01 s] Raw data (loadavg): 1.00 1.01 0.98 2/54 8509 Raw data (stat): 8452 (Pueblo) R 8451 4613 4612 0 -1 0 2136 0 0 0 113942 77 0 0 25 0 1 0 833661906 13869056 1985 4294967295 134512640 134581331 3221224592 3221223488 134517859 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3386 1985 566 18 0 3368 0 vsize: 13544 [startup+1150.01 s] Raw data (loadavg): 1.00 1.01 0.98 2/54 8509 Raw data (stat): 8452 (Pueblo) R 8451 4613 4612 0 -1 0 2136 0 0 0 114941 78 0 0 25 0 1 0 833661906 13869056 1985 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3386 1985 566 18 0 3368 0 vsize: 13544 [startup+1160.01 s] Raw data (loadavg): 1.00 1.01 0.98 2/54 8509 Raw data (stat): 8452 (Pueblo) R 8451 4613 4612 0 -1 0 2136 0 0 0 115941 78 0 0 25 0 1 0 833661906 13869056 1985 4294967295 134512640 134581331 3221224592 3221223504 134527534 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3386 1985 566 18 0 3368 0 vsize: 13544 [startup+1170.01 s] Raw data (loadavg): 1.00 1.01 0.98 2/54 8509 Raw data (stat): 8452 (Pueblo) R 8451 4613 4612 0 -1 0 2136 0 0 0 116941 78 0 0 25 0 1 0 833661906 13869056 1985 4294967295 134512640 134581331 3221224592 3221223504 134527432 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3386 1985 566 18 0 3368 0 vsize: 13544 [startup+1180.01 s] Raw data (loadavg): 1.00 1.01 0.98 2/54 8509 Raw data (stat): 8452 (Pueblo) R 8451 4613 4612 0 -1 0 2136 0 0 0 117941 78 0 0 25 0 1 0 833661906 13869056 1985 4294967295 134512640 134581331 3221224592 3221223504 134527404 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3386 1985 566 18 0 3368 0 vsize: 13544 [startup+1188.81 s] Raw data (loadavg): 1.00 1.00 0.98 1/53 8509 Raw data (stat): 8452 (Pueblo) R 8451 4613 4612 0 -1 0 2136 0 0 0 117941 78 0 0 25 0 1 0 833661906 13869056 1985 4294967295 134512640 134581331 3221224592 3221223504 134527404 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3386 1985 566 18 0 3368 0 vsize: 0 Child status: 10 Real time (s): 1188.81 CPU time (s): 1189.01 CPU user time (s): 1188.21 CPU system time (s): 0.796878 CPU usage (%): 100.017 Max. virtual memory (Kb): 13544 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 1434304 #### END VERIFIER DATA ####