Name | normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-mod013.opb |
MD5SUM | b964292d4197638ce79b3f213e8fe89b |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 5130240 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 1008 |
Biggest coefficient in the objective function | 366477312 |
Number of bits for the biggest coefficient in the objective function | 29 |
Sum of the numbers in the objective function | 12643636975 |
Number of bits of the sum of numbers in the objective function | 34 |
Biggest number in a constraint | 366477312 |
Number of bits of the biggest number in a constraint | 29 |
Biggest sum of numbers in a constraint | 12643636975 |
Number of bits of the biggest sum of numbers | 34 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1189.01 |
Number of variables | 1008 |
Total number of constraints | 110 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 48 |
Number of constraints which are nor clauses,nor cardinality constraints | 62 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 160 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc5 THE 2005-06-02 21:06:06 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=27184 boxname=wulflinc5 idbench=1312 idsolver=19 numberseed=0 MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea /oldhome/oroussel/solvers/Pueblo-v2 MD5SUM BENCH: b964292d4197638ce79b3f213e8fe89b /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-mod013.opb REAL COMMAND: Pueblo-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-mod013.opb IDLAUNCH: 27184 /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: 673736 kB Buffers: 27144 kB Cached: 310588 kB SwapCached: 568 kB Active: 20248 kB Inactive: 319540 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 673484 kB SwapTotal: 2097136 kB SwapFree: 2095632 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5148 kB Slab: 15452 kB Committed_AS: 63604 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-02 21:25:55 (client local time) WITH STATUS 10 IN 1189.01 SECONDS stats: 27184 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/wulflinc5/normalized-mps-v2-13-7-mod013.opb c #variables read: 1008 - #constraints read: 125 s SATISFIABLE v -C1_0x2e__bit_7 -C1_0x2e__bit_6 -C1_0x2e__bit_5 -C1_0x2e__bit_4 -C1_0x2e__bit_3 -C1_0x2e__bit_2 -C1_0x2e__bit_1 -C1_0x2e__bit0 -C1_0x2e__bit1 -C1_0x2e__bit2 -C1_0x2e__bit3 -C1_0x2e__bit4 -C1_0x2e__bit5 -C1_0x2e__bit6 -C1_0x2e__bit7 -C1_0x2e__bit8 -C1_0x2e__bit9 -C1_0x2e__bit10 -C1_0x2e__bit11 -C1_0x2e__bit12 C2_0x2e__bit_7 -C2_0x2e__bit_6 -C2_0x2e__bit_5 -C2_0x2e__bit_4 -C2_0x2e__bit_3 -C2_0x2e__bit_2 C2_0x2e__bit_1 C2_0x2e__bit0 C2_0x2e__bit1 C2_0x2e__bit2 C2_0x2e__bit3 -C2_0x2e__bit4 -C2_0x2e__bit5 -C2_0x2e__bit6 -C2_0x2e__bit7 -C2_0x2e__bit8 -C2_0x2e__bit9 -C2_0x2e__bit10 -C2_0x2e__bit11 -C2_0x2e__bit12 C3_0x2e__bit_7 C3_0x2e__bit_6 C3_0x2e__bit_5 C3_0x2e__bit_4 C3_0x2e__bit_3 C3_0x2e__bit_2 -C3_0x2e__bit_1 -C3_0x2e__bit0 -C3_0x2e__bit1 -C3_0x2e__bit2 C3_0x2e__bit3 C3_0x2e__bit4 -C3_0x2e__bit5 -C3_0x2e__bit6 -C3_0x2e__bit7 -C3_0x2e__bit8 -C3_0x2e__bit9 -C3_0x2e__bit10 -C3_0x2e__bit11 -C3_0x2e__bit12 -C4_0x2e__bit_7 -C4_0x2e__bit_6 -C4_0x2e__bit_5 -C4_0x2e__bit_4 -C4_0x2e__bit_3 -C4_0x2e__bit_2 -C4_0x2e__bit_1 -C4_0x2e__bit0 -C4_0x2e__bit1 -C4_0x2e__bit2 -C4_0x2e__bit3 -C4_0x2e__bit4 -C4_0x2e__bit5 -C4_0x2e__bit6 -C4_0x2e__bit7 -C4_0x2e__bit8 -C4_0x2e__bit9 -C4_0x2e__bit10 -C4_0x2e__bit11 -C4_0x2e__bit12 -C5_0x2e__bit_7 -C5_0x2e__bit_6 -C5_0x2e__bit_5 -C5_0x2e__bit_4 -C5_0x2e__bit_3 -C5_0x2e__bit_2 -C5_0x2e__bit_1 -C5_0x2e__bit0 -C5_0x2e__bit1 -C5_0x2e__bit2 -C5_0x2e__bit3 -C5_0x2e__bit4 -C5_0x2e__bit5 -C5_0x2e__bit6 -C5_0x2e__bit7 -C5_0x2e__bit8 -C5_0x2e__bit9 -C5_0x2e__bit10 -C5_0x2e__bit11 -C5_0x2e__bit12 -C6_0x2e__bit_7 -C6_0x2e__bit_6 -C6_0x2e__bit_5 -C6_0x2e__bit_4 -C6_0x2e__bit_3 -C6_0x2e__bit_2 -C6_0x2e__bit_1 -C6_0x2e__bit0 -C6_0x2e__bit1 -C6_0x2e__bit2 -C6_0x2e__bit3 -C6_0x2e__bit4 -C6_0x2e__bit5 -C6_0x2e__bit6 -C6_0x2e__bit7 -C6_0x2e__bit8 -C6_0x2e__bit9 -C6_0x2e__bit10 -C6_0x2e__bit11 -C6_0x2e__bit12 -C7_0x2e__bit_7 -C7_0x2e__bit_6 -C7_0x2e__bit_5 -C7_0x2e__bit_4 -C7_0x2e__bit_3 -C7_0x2e__bit_2 -C7_0x2e__bit_1 -C7_0x2e__bit0 -C7_0x2e__bit1 -C7_0x2e__bit2 -C7_0x2e__bit3 -C7_0x2e__bit4 -C7_0x2e__bit5 -C7_0x2e__bit6 -C7_0x2e__bit7 -C7_0x2e__bit8 -C7_0x2e__bit9 -C7_0x2e__bit10 -C7_0x2e__bit11 -C7_0x2e__bit12 -C8_0x2e__bit_7 -C8_0x2e__bit_6 -C8_0x2e__bit_5 -C8_0x2e__bit_4 -C8_0x2e__bit_3 -C8_0x2e__bit_2 -C8_0x2e__bit_1 C8_0x2e__bit0 -C8_0x2e__bit1 C8_0x2e__bit2 -C8_0x2e__bit3 -C8_0x2e__bit4 -C8_0x2e__bit5 -C8_0x2e__bit6 -C8_0x2e__bit7 -C8_0x2e__bit8 -C8_0x2e__bit9 -C8_0x2e__bit10 -C8_0x2e__bit11 -C8_0x2e__bit12 C9_0x2e__bit_7 -C9_0x2e__bit_6 -C9_0x2e__bit_5 -C9_0x2e__bit_4 -C9_0x2e__bit_3 -C9_0x2e__bit_2 C9_0x2e__bit_1 C9_0x2e__bit0 -C9_0x2e__bit1 C9_0x2e__bit2 -C9_0x2e__bit3 -C9_0x2e__bit4 -C9_0x2e__bit5 -C9_0x2e__bit6 -C9_0x2e__bit7 -C9_0x2e__bit8 -C9_0x2e__bit9 -C9_0x2e__bit10 -C9_0x2e__bit11 -C9_0x2e__bit12 C10_0x2e__bit_7 C10_0x2e__bit_6 C10_0x2e__bit_5 C10_0x2e__bit_4 C10_0x2e__bit_3 C10_0x2e__bit_2 -C10_0x2e__bit_1 -C10_0x2e__bit0 C10_0x2e__bit1 C10_0x2e__bit2 C10_0x2e__bit3 -C10_0x2e__bit4 -C10_0x2e__bit5 -C10_0x2e__bit6 -C10_0x2e__bit7 -C10_0x2e__bit8 -C10_0x2e__bit9 -C10_0x2e__bit10 -C10_0x2e__bit11 -C10_0x2e__bit12 -C11_0x2e__bit_7 -C11_0x2e__bit_6 -C11_0x2e__bit_5 -C11_0x2e__bit_4 -C11_0x2e__bit_3 -C11_0x2e__bit_2 -C11_0x2e__bit_1 -C11_0x2e__bit0 -C11_0x2e__bit1 -C11_0x2e__bit2 -C11_0x2e__bit3 -C11_0x2e__bit4 -C11_0x2e__bit5 -C11_0x2e__bit6 -C11_0x2e__bit7 -C11_0x2e__bit8 -C11_0x2e__bit9 -C11_0x2e__bit10 -C11_0x2e__bit11 -C11_0x2e__bit12 -C12_0x2e__bit_7 -C12_0x2e__bit_6 -C12_0x2e__bit_5 -C12_0x2e__bit_4 -C12_0x2e__bit_3 -C12_0x2e__bit_2 -C12_0x2e__bit_1 -C12_0x2e__bit0 -C12_0x2e__bit1 -C12_0x2e__bit2 -C12_0x2e__bit3 -C12_0x2e__bit4 -C12_0x2e__bit5 -C12_0x2e__bit6 -C12_0x2e__bit7 -C12_0x2e__bit8 -C12_0x2e__bit9 -C12_0x2e__bit10 -C12_0x2e__bit11 -C12_0x2e__bit12 -C13_0x2e__bit_7 -C13_0x2e__bit_6 -C13_0x2e__bit_5 -C13_0x2e__bit_4 -C13_0x2e__bit_3 -C13_0x2e__bit_2 -C13_0x2e__bit_1 C13_0x2e__bit0 C13_0x2e__bit1 C13_0x2e__bit2 C13_0x2e__bit3 -C13_0x2e__bit4 -C13_0x2e__bit5 -C13_0x2e__bit6 -C13_0x2e__bit7 -C13_0x2e__bit8 -C13_0x2e__bit9 -C13_0x2e__bit10 -C13_0x2e__bit11 -C13_0x2e__bit12 -C14_0x2e__bit_7 -C14_0x2e__bit_6 -C14_0x2e__bit_5 -C14_0x2e__bit_4 -C14_0x2e__bit_3 -C14_0x2e__bit_2 -C14_0x2e__bit_1 -C14_0x2e__bit0 -C14_0x2e__bit1 -C14_0x2e__bit2 -C14_0x2e__bit3 -C14_0x2e__bit4 -C14_0x2e__bit5 -C14_0x2e__bit6 -C14_0x2e__bit7 -C14_0x2e__bit8 -C14_0x2e__bit9 -C14_0x2e__bit10 -C14_0x2e__bit11 -C14_0x2e__bit12 -C15_0x2e__bit_7 -C15_0x2e__bit_6 -C15_0x2e__bit_5 -C15_0x2e__bit_4 -C15_0x2e__bit_3 -C15_0x2e__bit_2 -C15_0x2e__bit_1 C15_0x2e__bit0 -C15_0x2e__bit1 C15_0x2e__bit2 -C15_0x2e__bit3 -C15_0x2e__bit4 -C15_0x2e__bit5 -C15_0x2e__bit6 -C15_0x2e__bit7 -C15_0x2e__bit8 -C15_0x2e__bit9 -C15_0x2e__bit10 -C15_0x2e__bit11 -C15_0x2e__bit12 -C16_0x2e__bit_7 -C16_0x2e__bit_6 -C16_0x2e__bit_5 -C16_0x2e__bit_4 -C16_0x2e__bit_3 -C16_0x2e__bit_2 -C16_0x2e__bit_1 -C16_0x2e__bit0 -C16_0x2e__bit1 -C16_0x2e__bit2 -C16_0x2e__bit3 -C16_0x2e__bit4 -C16_0x2e__bit5 -C16_0x2e__bit6 -C16_0x2e__bit7 -C16_0x2e__bit8 -C16_0x2e__bit9 -C16_0x2e__bit10 -C16_0x2e__bit11 -C16_0x2e__bit12 -C17_0x2e__bit_7 -C17_0x2e__bit_6 -C17_0x2e__bit_5 -C17_0x2e__bit_4 -C17_0x2e__bit_3 -C17_0x2e__bit_2 -C17_0x2e__bit_1 -C17_0x2e__bit0 -C17_0x2e__bit1 -C17_0x2e__bit2 -C17_0x2e__bit3 -C17_0x2e__bit4 -C17_0x2e__bit5 -C17_0x2e__bit6 -C17_0x2e__bit7 -C17_0x2e__bit8 -C17_0x2e__bit9 -C17_0x2e__bit10 -C17_0x2e__bit11 -C17_0x2e__bit12 -C18_0x2e__bit_7 -C18_0x2e__bit_6 -C18_0x2e__bit_5 -C18_0x2e__bit_4 -C18_0x2e__bit_3 -C18_0x2e__bit_2 -C18_0x2e__bit_1 -C18_0x2e__bit0 -C18_0x2e__bit1 -C18_0x2e__bit2 -C18_0x2e__bit3 -C18_0x2e__bit4 -C18_0x2e__bit5 -C18_0x2e__bit6 -C18_0x2e__bit7 -C18_0x2e__bit8 -C18_0x2e__bit9 -C18_0x2e__bit10 -C18_0x2e__bit11 -C18_0x2e__bit12 -C19_0x2e__bit_7 -C19_0x2e__bit_6 -C19_0x2e__bit_5 -C19_0x2e__bit_4 -C19_0x2e__bit_3 -C19_0x2e__bit_2 -C19_0x2e__bit_1 -C19_0x2e__bit0 -C19_0x2e__bit1 -C19_0x2e__bit2 -C19_0x2e__bit3 -C19_0x2e__bit4 -C19_0x2e__bit5 -C19_0x2e__bit6 -C19_0x2e__bit7 -C19_0x2e__bit8 -C19_0x2e__bit9 -C19_0x2e__bit10 -C19_0x2e__bit11 -C19_0x2e__bit12 -C20_0x2e__bit_7 -C20_0x2e__bit_6 -C20_0x2e__bit_5 -C20_0x2e__bit_4 -C20_0x2e__bit_3 -C20_0x2e__bit_2 -C20_0x2e__bit_1 -C20_0x2e__bit0 -C20_0x2e__bit1 C20_0x2e__bit2 -C20_0x2e__bit3 C20_0x2e__bit4 -C20_0x2e__bit5 -C20_0x2e__bit6 -C20_0x2e__bit7 -C20_0x2e__bit8 -C20_0x2e__bit9 -C20_0x2e__bit10 -C20_0x2e__bit11 -C20_0x2e__bit12 -C21_0x2e__bit_7 -C21_0x2e__bit_6 -C21_0x2e__bit_5 -C21_0x2e__bit_4 -C21_0x2e__bit_3 -C21_0x2e__bit_2 -C21_0x2e__bit_1 -C21_0x2e__bit0 -C21_0x2e__bit1 -C21_0x2e__bit2 -C21_0x2e__bit3 -C21_0x2e__bit4 -C21_0x2e__bit5 -C21_0x2e__bit6 -C21_0x2e__bit7 -C21_0x2e__bit8 -C21_0x2e__bit9 -C21_0x2e__bit10 -C21_0x2e__bit11 -C21_0x2e__bit12 -C22_0x2e__bit_7 -C22_0x2e__bit_6 -C22_0x2e__bit_5 -C22_0x2e__bit_4 -C22_0x2e__bit_3 -C22_0x2e__bit_2 -C22_0x2e__bit_1 -C22_0x2e__bit0 C22_0x2e__bit1 -C22_0x2e__bit2 C22_0x2e__bit3 -C22_0x2e__bit4 -C22_0x2e__bit5 -C22_0x2e__bit6 -C22_0x2e__bit7 -C22_0x2e__bit8 -C22_0x2e__bit9 -C22_0x2e__bit10 -C22_0x2e__bit11 -C22_0x2e__bit12 -C23_0x2e__bit_7 -C23_0x2e__bit_6 -C23_0x2e__bit_5 -C23_0x2e__bit_4 -C23_0x2e__bit_3 -C23_0x2e__bit_2 -C23_0x2e__bit_1 -C23_0x2e__bit0 -C23_0x2e__bit1 -C23_0x2e__bit2 -C23_0x2e__bit3 -C23_0x2e__bit4 -C23_0x2e__bit5 -C23_0x2e__bit6 -C23_0x2e__bit7 -C23_0x2e__bit8 -C23_0x2e__bit9 -C23_0x2e__bit10 -C23_0x2e__bit11 -C23_0x2e__bit12 -C24_0x2e__bit_7 -C24_0x2e__bit_6 -C24_0x2e__bit_5 -C24_0x2e__bit_4 -C24_0x2e__bit_3 -C24_0x2e__bit_2 -C24_0x2e__bit_1 -C24_0x2e__bit0 -C24_0x2e__bit1 -C24_0x2e__bit2 -C24_0x2e__bit3 -C24_0x2e__bit4 -C24_0x2e__bit5 -C24_0x2e__bit6 -C24_0x2e__bit7 -C24_0x2e__bit8 -C24_0x2e__bit9 -C24_0x2e__bit10 -C24_0x2e__bit11 -C24_0x2e__bit12 C25_0x2e__bit_7 C25_0x2e__bit_6 C25_0x2e__bit_5 C25_0x2e__bit_4 C25_0x2e__bit_3 C25_0x2e__bit_2 -C25_0x2e__bit_1 C25_0x2e__bit0 C25_0x2e__bit1 -C25_0x2e__bit2 -C25_0x2e__bit3 C25_0x2e__bit4 -C25_0x2e__bit5 -C25_0x2e__bit6 -C25_0x2e__bit7 -C25_0x2e__bit8 -C25_0x2e__bit9 -C25_0x2e__bit10 -C25_0x2e__bit11 -C25_0x2e__bit12 -C26_0x2e__bit_7 -C26_0x2e__bit_6 -C26_0x2e__bit_5 -C26_0x2e__bit_4 -C26_0x2e__bit_3 -C26_0x2e__bit_2 -C26_0x2e__bit_1 -C26_0x2e__bit0 -C26_0x2e__bit1 -C26_0x2e__bit2 -C26_0x2e__bit3 -C26_0x2e__bit4 -C26_0x2e__bit5 -C26_0x2e__bit6 -C26_0x2e__bit7 -C26_0x2e__bit8 -C26_0x2e__bit9 -C26_0x2e__bit10 -C26_0x2e__bit11 -C26_0x2e__bit12 C27_0x2e__bit_7 -C27_0x2e__bit_6 -C27_0x2e__bit_5 -C27_0x2e__bit_4 -C27_0x2e__bit_3 -C27_0x2e__bit_2 C27_0x2e__bit_1 -C27_0x2e__bit0 -C27_0x2e__bit1 -C27_0x2e__bit2 -C27_0x2e__bit3 -C27_0x2e__bit4 -C27_0x2e__bit5 -C27_0x2e__bit6 -C27_0x2e__bit7 -C27_0x2e__bit8 -C27_0x2e__bit9 -C27_0x2e__bit10 -C27_0x2e__bit11 -C27_0x2e__bit12 -C28_0x2e__bit_7 -C28_0x2e__bit_6 -C28_0x2e__bit_5 -C28_0x2e__bit_4 -C28_0x2e__bit_3 -C28_0x2e__bit_2 -C28_0x2e__bit_1 -C28_0x2e__bit0 -C28_0x2e__bit1 -C28_0x2e__bit2 -C28_0x2e__bit3 -C28_0x2e__bit4 -C28_0x2e__bit5 -C28_0x2e__bit6 -C28_0x2e__bit7 -C28_0x2e__bit8 -C28_0x2e__bit9 -C28_0x2e__bit10 -C28_0x2e__bit11 -C28_0x2e__bit12 -C29_0x2e__bit_7 -C29_0x2e__bit_6 -C29_0x2e__bit_5 -C29_0x2e__bit_4 -C29_0x2e__bit_3 -C29_0x2e__bit_2 -C29_0x2e__bit_1 -C29_0x2e__bit0 -C29_0x2e__bit1 -C29_0x2e__bit2 -C29_0x2e__bit3 -C29_0x2e__bit4 -C29_0x2e__bit5 -C29_0x2e__bit6 -C29_0x2e__bit7 -C29_0x2e__bit8 -C29_0x2e__bit9 -C29_0x2e__bit10 -C29_0x2e__bit11 -C29_0x2e__bit12 -C30_0x2e__bit_7 -C30_0x2e__bit_6 -C30_0x2e__bit_5 -C30_0x2e__bit_4 -C30_0x2e__bit_3 -C30_0x2e__bit_2 -C30_0x2e__bit_1 -C30_0x2e__bit0 -C30_0x2e__bit1 -C30_0x2e__bit2 -C30_0x2e__bit3 -C30_0x2e__bit4 -C30_0x2e__bit5 -C30_0x2e__bit6 -C30_0x2e__bit7 -C30_0x2e__bit8 -C30_0x2e__bit9 -C30_0x2e__bit10 -C30_0x2e__bit11 -C30_0x2e__bit12 -C31_0x2e__bit_7 -C31_0x2e__bit_6 -C31_0x2e__bit_5 -C31_0x2e__bit_4 -C31_0x2e__bit_3 -C31_0x2e__bit_2 -C31_0x2e__bit_1 -C31_0x2e__bit0 -C31_0x2e__bit1 -C31_0x2e__bit2 -C31_0x2e__bit3 -C31_0x2e__bit4 -C31_0x2e__bit5 -C31_0x2e__bit6 -C31_0x2e__bit7 -C31_0x2e__bit8 -C31_0x2e__bit9 -C31_0x2e__bit10 -C31_0x2e__bit11 -C31_0x2e__bit12 -C32_0x2e__bit_7 -C32_0x2e__bit_6 -C32_0x2e__bit_5 -C32_0x2e__bit_4 -C32_0x2e__bit_3 -C32_0x2e__bit_2 -C32_0x2e__bit_1 -C32_0x2e__bit0 -C32_0x2e__bit1 -C32_0x2e__bit2 -C32_0x2e__bit3 -C32_0x2e__bit4 -C32_0x2e__bit5 -C32_0x2e__bit6 -C32_0x2e__bit7 -C32_0x2e__bit8 -C32_0x2e__bit9 -C32_0x2e__bit10 -C32_0x2e__bit11 -C32_0x2e__bit12 -C33_0x2e__bit_7 -C33_0x2e__bit_6 -C33_0x2e__bit_5 -C33_0x2e__bit_4 -C33_0x2e__bit_3 -C33_0x2e__bit_2 -C33_0x2e__bit_1 -C33_0x2e__bit0 C33_0x2e__bit1 -C33_0x2e__bit2 C33_0x2e__bit3 -C33_0x2e__bit4 -C33_0x2e__bit5 -C33_0x2e__bit6 -C33_0x2e__bit7 -C33_0x2e__bit8 -C33_0x2e__bit9 -C33_0x2e__bit10 -C33_0x2e__bit11 -C33_0x2e__bit12 -C34_0x2e__bit_7 -C34_0x2e__bit_6 -C34_0x2e__bit_5 -C34_0x2e__bit_4 -C34_0x2e__bit_3 -C34_0x2e__bit_2 -C34_0x2e__bit_1 -C34_0x2e__bit0 -C34_0x2e__bit1 -C34_0x2e__bit2 -C34_0x2e__bit3 -C34_0x2e__bit4 -C34_0x2e__bit5 -C34_0x2e__bit6 -C34_0x2e__bit7 -C34_0x2e__bit8 -C34_0x2e__bit9 -C34_0x2e__bit10 -C34_0x2e__bit11 -C34_0x2e__bit12 -C35_0x2e__bit_7 -C35_0x2e__bit_6 -C35_0x2e__bit_5 -C35_0x2e__bit_4 -C35_0x2e__bit_3 -C35_0x2e__bit_2 -C35_0x2e__bit_1 -C35_0x2e__bit0 -C35_0x2e__bit1 -C35_0x2e__bit2 -C35_0x2e__bit3 -C35_0x2e__bit4 -C35_0x2e__bit5 -C35_0x2e__bit6 -C35_0x2e__bit7 -C35_0x2e__bit8 -C35_0x2e__bit9 -C35_0x2e__bit10 -C35_0x2e__bit11 -C35_0x2e__bit12 -C36_0x2e__bit_7 -C36_0x2e__bit_6 -C36_0x2e__bit_5 -C36_0x2e__bit_4 -C36_0x2e__bit_3 -C36_0x2e__bit_2 -C36_0x2e__bit_1 -C36_0x2e__bit0 -C36_0x2e__bit1 -C36_0x2e__bit2 -C36_0x2e__bit3 -C36_0x2e__bit4 -C36_0x2e__bit5 -C36_0x2e__bit6 -C36_0x2e__bit7 -C36_0x2e__bit8 -C36_0x2e__bit9 -C36_0x2e__bit10 -C36_0x2e__bit11 -C36_0x2e__bit12 -C37_0x2e__bit_7 -C37_0x2e__bit_6 -C37_0x2e__bit_5 -C37_0x2e__bit_4 -C37_0x2e__bit_3 -C37_0x2e__bit_2 -C37_0x2e__bit_1 -C37_0x2e__bit0 -C37_0x2e__bit1 -C37_0x2e__bit2 -C37_0x2e__bit3 -C37_0x2e__bit4 -C37_0x2e__bit5 -C37_0x2e__bit6 -C37_0x2e__bit7 -C37_0x2e__bit8 -C37_0x2e__bit9 -C37_0x2e__bit10 -C37_0x2e__bit11 -C37_0x2e__bit12 -C38_0x2e__bit_7 -C38_0x2e__bit_6 -C38_0x2e__bit_5 -C38_0x2e__bit_4 -C38_0x2e__bit_3 -C38_0x2e__bit_2 -C38_0x2e__bit_1 -C38_0x2e__bit0 -C38_0x2e__bit1 -C38_0x2e__bit2 -C38_0x2e__bit3 -C38_0x2e__bit4 -C38_0x2e__bit5 -C38_0x2e__bit6 -C38_0x2e__bit7 -C38_0x2e__bit8 -C38_0x2e__bit9 -C38_0x2e__bit10 -C38_0x2e__bit11 -C38_0x2e__bit12 -C39_0x2e__bit_7 -C39_0x2e__bit_6 -C39_0x2e__bit_5 -C39_0x2e__bit_4 -C39_0x2e__bit_3 -C39_0x2e__bit_2 -C39_0x2e__bit_1 -C39_0x2e__bit0 -C39_0x2e__bit1 -C39_0x2e__bit2 -C39_0x2e__bit3 -C39_0x2e__bit4 -C39_0x2e__bit5 -C39_0x2e__bit6 -C39_0x2e__bit7 -C39_0x2e__bit8 -C39_0x2e__bit9 -C39_0x2e__bit10 -C39_0x2e__bit11 -C39_0x2e__bit12 -C40_0x2e__bit_7 -C40_0x2e__bit_6 -C40_0x2e__bit_5 -C40_0x2e__bit_4 -C40_0x2e__bit_3 -C40_0x2e__bit_2 -C40_0x2e__bit_1 -C40_0x2e__bit0 -C40_0x2e__bit1 -C40_0x2e__bit2 -C40_0x2e__bit3 -C40_0x2e__bit4 -C40_0x2e__bit5 -C40_0x2e__bit6 -C40_0x2e__bit7 -C40_0x2e__bit8 -C40_0x2e__bit9 -C40_0x2e__bit10 -C40_0x2e__bit11 -C40_0x2e__bit12 -C41_0x2e__bit_7 -C41_0x2e__bit_6 -C41_0x2e__bit_5 -C41_0x2e__bit_4 -C41_0x2e__bit_3 -C41_0x2e__bit_2 -C41_0x2e__bit_1 -C41_0x2e__bit0 -C41_0x2e__bit1 -C41_0x2e__bit2 -C41_0x2e__bit3 -C41_0x2e__bit4 -C41_0x2e__bit5 -C41_0x2e__bit6 -C41_0x2e__bit7 -C41_0x2e__bit8 -C41_0x2e__bit9 -C41_0x2e__bit10 -C41_0x2e__bit11 -C41_0x2e__bit12 -C42_0x2e__bit_7 -C42_0x2e__bit_6 -C42_0x2e__bit_5 -C42_0x2e__bit_4 -C42_0x2e__bit_3 -C42_0x2e__bit_2 -C42_0x2e__bit_1 -C42_0x2e__bit0 -C42_0x2e__bit1 -C42_0x2e__bit2 -C42_0x2e__bit3 -C42_0x2e__bit4 -C42_0x2e__bit5 -C42_0x2e__bit6 -C42_0x2e__bit7 -C42_0x2e__bit8 -C42_0x2e__bit9 -C42_0x2e__bit10 -C42_0x2e__bit11 -C42_0x2e__bit12 -C43_0x2e__bit_7 -C43_0x2e__bit_6 -C43_0x2e__bit_5 -C43_0x2e__bit_4 -C43_0x2e__bit_3 -C43_0x2e__bit_2 -C43_0x2e__bit_1 -C43_0x2e__bit0 -C43_0x2e__bit1 -C43_0x2e__bit2 -C43_0x2e__bit3 -C43_0x2e__bit4 -C43_0x2e__bit5 -C43_0x2e__bit6 -C43_0x2e__bit7 -C43_0x2e__bit8 -C43_0x2e__bit9 -C43_0x2e__bit10 -C43_0x2e__bit11 -C43_0x2e__bit12 -C44_0x2e__bit_7 -C44_0x2e__bit_6 -C44_0x2e__bit_5 -C44_0x2e__bit_4 -C44_0x2e__bit_3 -C44_0x2e__bit_2 -C44_0x2e__bit_1 -C44_0x2e__bit0 -C44_0x2e__bit1 -C44_0x2e__bit2 -C44_0x2e__bit3 -C44_0x2e__bit4 -C44_0x2e__bit5 -C44_0x2e__bit6 -C44_0x2e__bit7 -C44_0x2e__bit8 -C44_0x2e__bit9 -C44_0x2e__bit10 -C44_0x2e__bit11 -C44_0x2e__bit12 -C45_0x2e__bit_7 -C45_0x2e__bit_6 -C45_0x2e__bit_5 -C45_0x2e__bit_4 -C45_0x2e__bit_3 -C45_0x2e__bit_2 -C45_0x2e__bit_1 -C45_0x2e__bit0 -C45_0x2e__bit1 -C45_0x2e__bit2 -C45_0x2e__bit3 -C45_0x2e__bit4 -C45_0x2e__bit5 -C45_0x2e__bit6 -C45_0x2e__bit7 -C45_0x2e__bit8 -C45_0x2e__bit9 -C45_0x2e__bit10 -C45_0x2e__bit11 -C45_0x2e__bit12 -C46_0x2e__bit_7 -C46_0x2e__bit_6 -C46_0x2e__bit_5 -C46_0x2e__bit_4 -C46_0x2e__bit_3 -C46_0x2e__bit_2 -C46_0x2e__bit_1 -C46_0x2e__bit0 -C46_0x2e__bit1 -C46_0x2e__bit2 -C46_0x2e__bit3 -C46_0x2e__bit4 -C46_0x2e__bit5 -C46_0x2e__bit6 -C46_0x2e__bit7 -C46_0x2e__bit8 -C46_0x2e__bit9 -C46_0x2e__bit10 -C46_0x2e__bit11 -C46_0x2e__bit12 -C47_0x2e__bit_7 -C47_0x2e__bit_6 -C47_0x2e__bit_5 -C47_0x2e__bit_4 -C47_0x2e__bit_3 -C47_0x2e__bit_2 -C47_0x2e__bit_1 C47_0x2e__bit0 -C47_0x2e__bit1 C47_0x2e__bit2 -C47_0x2e__bit3 -C47_0x2e__bit4 -C47_0x2e__bit5 -C47_0x2e__bit6 -C47_0x2e__bit7 -C47_0x2e__bit8 -C47_0x2e__bit9 -C47_0x2e__bit10 -C47_0x2e__bit11 -C47_0x2e__bit12 -C48_0x2e__bit_7 -C48_0x2e__bit_6 -C48_0x2e__bit_5 -C48_0x2e__bit_4 -C48_0x2e__bit_3 -C48_0x2e__bit_2 -C48_0x2e__bit_1 -C48_0x2e__bit0 -C48_0x2e__bit1 -C48_0x2e__bit2 -C48_0x2e__bit3 -C48_0x2e__bit4 -C48_0x2e__bit5 -C48_0x2e__bit6 -C48_0x2e__bit7 -C48_0x2e__bit8 -C48_0x2e__bit9 -C48_0x2e__bit10 -C48_0x2e__bit11 -C48_0x2e__bit12 -C50_0x2e__bit0 C51_0x2e__bit0 C52_0x2e__bit0 -C53_0x2e__bit0 -C54_0x2e__bit0 -C55_0x2e__bit0 -C56_0x2e__bit0 C57_0x2e__bit0 C58_0x2e__bit0 C59_0x2e__bit0 -C60_0x2e__bit0 -C61_0x2e__bit0 C62_0x2e__bit0 -C63_0x2e__bit0 C64_0x2e__bit0 -C65_0x2e__bit0 -C66_0x2e__bit0 -C67_0x2e__bit0 -C68_0x2e__bit0 C69_0x2e__bit0 -C70_0x2e__bit0 C71_0x2e__bit0 -C72_0x2e__bit0 -C73_0x2e__bit0 C74_0x2e__bit0 -C75_0x2e__bit0 C76_0x2e__bit0 -C77_0x2e__bit0 -C78_0x2e__bit0 -C79_0x2e__bit0 -C80_0x2e__bit0 -C81_0x2e__bit0 C82_0x2e__bit0 -C83_0x2e__bit0 -C84_0x2e__bit0 -C85_0x2e__bit0 -C86_0x2e__bit0 -C87_0x2e__bit0 -C88_0x2e__bit0 -C89_0x2e__bit0 -C90_0x2e__bit0 -C91_0x2e__bit0 -C92_0x2e__bit0 -C93_0x2e__bit0 -C94_0x2e__bit0 -C95_0x2e__bit0 C96_0x2e__bit0 -C97_0x2e__bit0 #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Enforcing Stack size limit: 67108864 bytes Current StackSize limit: 67108864 bytes Raw data (loadavg): 1.04 1.01 0.93 2/54 13382 Raw data (stat): 13382 (runsolver) R 13381 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 852894826 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 216 94 205 205 0 11 0 vsize: 864 [startup+10.0003 s] Raw data (loadavg): 1.03 1.01 0.93 2/54 13382 Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 410 0 0 0 998 0 0 0 25 0 1 0 852894826 7245824 384 4294967295 134512640 134581267 3221224576 3221223488 134527537 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1769 384 566 18 0 1751 0 vsize: 7076 [startup+20.0005 s] Raw data (loadavg): 1.03 1.01 0.93 2/54 13382 Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 505 0 0 0 1998 1 0 0 25 0 1 0 852894826 7639040 479 4294967295 134512640 134581267 3221224576 3221223520 134558815 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1865 479 566 18 0 1847 0 vsize: 7460 [startup+30.0013 s] Raw data (loadavg): 1.02 1.01 0.93 2/54 13382 Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 704 0 0 0 2996 3 0 0 25 0 1 0 852894826 8425472 678 4294967295 134512640 134581267 3221224576 3221223440 134560319 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2057 678 566 18 0 2039 0 vsize: 8228 [startup+40.0006 s] Raw data (loadavg): 1.02 1.01 0.93 2/54 13382 Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 742 0 0 0 3993 6 0 0 25 0 1 0 852894826 8695808 716 4294967295 134512640 134581267 3221224576 3221223440 134528229 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2123 716 566 18 0 2105 0 vsize: 8492 [startup+50.0018 s] Raw data (loadavg): 1.02 1.01 0.93 2/54 13382 Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 775 0 0 0 4991 8 0 0 25 0 1 0 852894826 8830976 749 4294967295 134512640 134581267 3221224576 3221223488 134527695 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2156 749 566 18 0 2138 0 vsize: 8624 [startup+60.0028 s] Raw data (loadavg): 1.01 1.01 0.93 2/54 13382 Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 795 0 0 0 5989 10 0 0 25 0 1 0 852894826 8830976 769 4294967295 134512640 134581267 3221224576 3221223488 134527525 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2156 769 566 18 0 2138 0 vsize: 8624 [startup+70.0028 s] Raw data (loadavg): 1.01 1.00 0.93 2/54 13382 Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 795 0 0 0 6986 13 0 0 25 0 1 0 852894826 8830976 769 4294967295 134512640 134581267 3221224576 3221223488 134527475 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2156 769 566 18 0 2138 0 vsize: 8624 [startup+80.004 s] Raw data (loadavg): 1.01 1.00 0.93 2/54 13382 Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 795 0 0 0 7984 15 0 0 25 0 1 0 852894826 8830976 769 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2156 769 566 18 0 2138 0 vsize: 8624 [startup+90.0038 s] Raw data (loadavg): 1.01 1.00 0.93 2/54 13382 Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 795 0 0 0 8982 17 0 0 25 0 1 0 852894826 8830976 769 4294967295 134512640 134581267 3221224576 3221223440 134528229 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2156 769 566 18 0 2138 0 vsize: 8624 [startup+100.004 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13382 Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 851 0 0 0 9980 19 0 0 25 0 1 0 852894826 9097216 825 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2221 825 566 18 0 2203 0 vsize: 8884 [startup+110.005 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13382 Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 886 0 0 0 10978 20 0 0 25 0 1 0 852894826 9228288 860 4294967295 134512640 134581267 3221224576 3221223440 134528226 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2253 860 566 18 0 2235 0 vsize: 9012 [startup+120.006 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13382 Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 916 0 0 0 11976 23 0 0 25 0 1 0 852894826 9273344 886 4294967295 134512640 134581267 3221224576 3221223488 134527404 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2264 886 566 18 0 2246 0 vsize: 9056 [startup+130.006 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13382 Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 923 0 0 0 12975 24 0 0 25 0 1 0 852894826 9400320 892 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2295 892 566 18 0 2277 0 vsize: 9180 [startup+140.007 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13382 Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 923 0 0 0 13973 26 0 0 25 0 1 0 852894826 9396224 892 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2294 892 566 18 0 2276 0 vsize: 9176 [startup+150.008 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13382 Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 923 0 0 0 14970 29 0 0 25 0 1 0 852894826 9396224 892 4294967295 134512640 134581267 3221224576 3221223656 134556293 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2294 892 566 18 0 2276 0 vsize: 9176 [startup+160.009 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13382 Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 923 0 0 0 15968 31 0 0 25 0 1 0 852894826 9396224 892 4294967295 134512640 134581267 3221224576 3221223488 134527695 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2294 892 566 18 0 2276 0 vsize: 9176 [startup+170.009 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13382 Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 923 0 0 0 16967 33 0 0 25 0 1 0 852894826 9396224 892 4294967295 134512640 134581267 3221224576 3221223488 134527720 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2294 892 566 18 0 2276 0 vsize: 9176 [startup+180.009 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13382 Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 923 0 0 0 17964 35 0 0 25 0 1 0 852894826 9396224 892 4294967295 134512640 134581267 3221224576 3221223488 134527701 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2294 892 566 18 0 2276 0 vsize: 9176 [startup+190.01 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13382 Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 923 0 0 0 18962 37 0 0 25 0 1 0 852894826 9396224 892 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2294 892 566 18 0 2276 0 vsize: 9176 [startup+200.011 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13382 Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 923 0 0 0 19959 40 0 0 25 0 1 0 852894826 9396224 892 4294967295 134512640 134581267 3221224576 3221223472 134517871 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2294 892 566 18 0 2276 0 vsize: 9176 [startup+210.012 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13382 Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 923 0 0 0 20955 44 0 0 25 0 1 0 852894826 9396224 892 4294967295 134512640 134581267 3221224576 3221223520 134558798 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2294 892 566 18 0 2276 0 vsize: 9176 [startup+220.012 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13382 Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 923 0 0 0 21952 47 0 0 25 0 1 0 852894826 9396224 892 4294967295 134512640 134581267 3221224576 3221223440 134528246 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2294 892 566 18 0 2276 0 vsize: 9176 [startup+230.014 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13382 Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 923 0 0 0 22951 49 0 0 25 0 1 0 852894826 9396224 892 4294967295 134512640 134581267 3221224576 3221223440 134528222 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2294 892 566 18 0 2276 0 vsize: 9176 [startup+240.014 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13382 Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 923 0 0 0 23950 50 0 0 25 0 1 0 852894826 9396224 892 4294967295 134512640 134581267 3221224576 3221223488 134527513 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2294 892 566 18 0 2276 0 vsize: 9176 [startup+250.014 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13382 Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 923 0 0 0 24947 53 0 0 25 0 1 0 852894826 9396224 892 4294967295 134512640 134581267 3221224576 3221223440 134528304 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2294 892 566 18 0 2276 0 vsize: 9176 [startup+260.016 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13382 Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 923 0 0 0 25946 54 0 0 25 0 1 0 852894826 9396224 892 4294967295 134512640 134581267 3221224576 3221223488 134527667 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2294 892 566 18 0 2276 0 vsize: 9176 [startup+270.015 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13382 Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 937 0 0 0 26943 57 0 0 25 0 1 0 852894826 9396224 906 4294967295 134512640 134581267 3221224576 3221223488 134527451 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2294 906 566 18 0 2276 0 vsize: 9176 [startup+280.016 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13382 Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 950 0 0 0 27940 60 0 0 25 0 1 0 852894826 9527296 919 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2326 919 566 18 0 2308 0 vsize: 9304 [startup+290.017 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13382 Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 982 0 0 0 28939 61 0 0 25 0 1 0 852894826 9588736 951 4294967295 134512640 134581267 3221224576 3221223488 134527404 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2341 951 566 18 0 2323 0 vsize: 9364 [startup+300.018 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13382 Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1023 0 0 0 29938 63 0 0 25 0 1 0 852894826 9633792 974 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2352 974 566 18 0 2334 0 vsize: 9408 [startup+310.018 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13382 Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1023 0 0 0 30934 66 0 0 25 0 1 0 852894826 9633792 974 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2352 974 566 18 0 2334 0 vsize: 9408 [startup+320.018 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13382 Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1023 0 0 0 31932 68 0 0 25 0 1 0 852894826 9633792 974 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2352 974 566 18 0 2334 0 vsize: 9408 [startup+330.019 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13382 Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1023 0 0 0 32929 71 0 0 25 0 1 0 852894826 9633792 974 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2352 974 566 18 0 2334 0 vsize: 9408 [startup+340.019 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13382 Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1023 0 0 0 33927 74 0 0 25 0 1 0 852894826 9633792 974 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2352 974 566 18 0 2334 0 vsize: 9408 [startup+350.021 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13382 Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1023 0 0 0 34924 77 0 0 25 0 1 0 852894826 9633792 974 4294967295 134512640 134581267 3221224576 3221223488 134527737 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2352 974 566 18 0 2334 0 vsize: 9408 [startup+360.021 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13382 Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1023 0 0 0 35921 80 0 0 25 0 1 0 852894826 9633792 974 4294967295 134512640 134581267 3221224576 3221223440 134528243 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2352 974 566 18 0 2334 0 vsize: 9408 [startup+370.02 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13382 Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1023 0 0 0 36918 83 0 0 25 0 1 0 852894826 9633792 974 4294967295 134512640 134581267 3221224576 3221223540 134519780 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2352 974 566 18 0 2334 0 vsize: 9408 [startup+380.02 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13382 Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1023 0 0 0 37916 85 0 0 25 0 1 0 852894826 9633792 974 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2352 974 566 18 0 2334 0 vsize: 9408 [startup+390.02 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13382 Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1023 0 0 0 38912 89 0 0 25 0 1 0 852894826 9633792 974 4294967295 134512640 134581267 3221224576 3221223488 134527445 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2352 974 566 18 0 2334 0 vsize: 9408 [startup+400.022 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13382 Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1026 0 0 0 39910 91 0 0 25 0 1 0 852894826 9719808 977 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2373 977 566 18 0 2355 0 vsize: 9492 [startup+410.022 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13382 Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1026 0 0 0 40906 95 0 0 25 0 1 0 852894826 9719808 977 4294967295 134512640 134581267 3221224576 3221223440 134528299 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2373 977 566 18 0 2355 0 vsize: 9492 [startup+420.022 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13382 Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1026 0 0 0 41901 100 0 0 25 0 1 0 852894826 9715712 977 4294967295 134512640 134581267 3221224576 3221223520 134559043 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2372 977 566 18 0 2354 0 vsize: 9488 [startup+430.023 s] Raw data (loadavg): 1.07 1.02 0.93 2/54 13382 Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1026 0 0 0 42895 106 0 0 25 0 1 0 852894826 9715712 977 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2372 977 566 18 0 2354 0 vsize: 9488 [startup+440.023 s] Raw data (loadavg): 1.06 1.01 0.93 2/54 13382 Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1026 0 0 0 43890 111 0 0 25 0 1 0 852894826 9715712 977 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2372 977 566 18 0 2354 0 vsize: 9488 [startup+450.024 s] Raw data (loadavg): 1.05 1.01 0.93 2/54 13382 Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1026 0 0 0 44888 114 0 0 25 0 1 0 852894826 9715712 977 4294967295 134512640 134581267 3221224576 3221223520 134558908 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2372 977 566 18 0 2354 0 vsize: 9488 [startup+460.024 s] Raw data (loadavg): 1.04 1.01 0.93 2/54 13382 Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1026 0 0 0 45886 116 0 0 25 0 1 0 852894826 9715712 977 4294967295 134512640 134581267 3221224576 3221223440 134528216 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2372 977 566 18 0 2354 0 vsize: 9488 [startup+470.024 s] Raw data (loadavg): 1.03 1.01 0.93 2/54 13382 Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1048 0 0 0 46884 118 0 0 25 0 1 0 852894826 9846784 999 4294967295 134512640 134581267 3221224576 3221223488 134527434 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2404 999 566 18 0 2386 0 vsize: 9616 [startup+480.025 s] Raw data (loadavg): 1.03 1.01 0.93 2/54 13382 Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1067 0 0 0 47881 121 0 0 25 0 1 0 852894826 9850880 1014 4294967295 134512640 134581267 3221224576 3221223520 134558912 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2405 1014 566 18 0 2387 0 vsize: 9620 [startup+490.025 s] Raw data (loadavg): 1.02 1.01 0.93 2/54 13382 Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1129 0 0 0 48878 123 0 0 25 0 1 0 852894826 9924608 1045 4294967295 134512640 134581267 3221224576 3221223488 134527695 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2423 1045 566 18 0 2405 0 vsize: 9692 [startup+500.026 s] Raw data (loadavg): 1.02 1.01 0.93 2/54 13382 Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1129 0 0 0 49876 125 0 0 25 0 1 0 852894826 9924608 1045 4294967295 134512640 134581267 3221224576 3221223368 1075288541 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2423 1045 566 18 0 2405 0 vsize: 9692 [startup+510.027 s] Raw data (loadavg): 1.02 1.01 0.93 2/54 13382 Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1129 0 0 0 50874 128 0 0 25 0 1 0 852894826 9924608 1045 4294967295 134512640 134581267 3221224576 3221223440 134528243 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2423 1045 566 18 0 2405 0 vsize: 9692 [startup+520.026 s] Raw data (loadavg): 1.01 1.01 0.93 2/54 13382 Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1129 0 0 0 51871 131 0 0 25 0 1 0 852894826 9924608 1045 4294967295 134512640 134581267 3221224576 3221223488 134527701 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2423 1045 566 18 0 2405 0 vsize: 9692 [startup+530.027 s] Raw data (loadavg): 1.01 1.01 0.93 2/54 13382 Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1129 0 0 0 52868 134 0 0 25 0 1 0 852894826 9924608 1045 4294967295 134512640 134581267 3221224576 3221223440 134528240 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2423 1045 566 18 0 2405 0 vsize: 9692 [startup+540.027 s] Raw data (loadavg): 1.01 1.00 0.93 2/54 13382 Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1129 0 0 0 53865 137 0 0 25 0 1 0 852894826 9924608 1045 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2423 1045 566 18 0 2405 0 vsize: 9692 [startup+550.028 s] Raw data (loadavg): 1.01 1.00 0.93 2/54 13382 Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1129 0 0 0 54862 139 0 0 25 0 1 0 852894826 9924608 1045 4294967295 134512640 134581267 3221224576 3221223440 134528226 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2423 1045 566 18 0 2405 0 vsize: 9692 [startup+560.028 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13382 Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1129 0 0 0 55860 142 0 0 25 0 1 0 852894826 9924608 1045 4294967295 134512640 134581267 3221224576 3221223488 134527652 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2423 1045 566 18 0 2405 0 vsize: 9692 [startup+570.029 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13382 Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1165 0 0 0 56857 144 0 0 25 0 1 0 852894826 10039296 1073 4294967295 134512640 134581267 3221224576 3221223488 134527445 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2451 1073 566 18 0 2433 0 vsize: 9804 [startup+580.029 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13382 Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1165 0 0 0 57855 147 0 0 25 0 1 0 852894826 10014720 1067 4294967295 134512640 134581267 3221224576 3221223488 134527701 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2445 1067 566 18 0 2427 0 vsize: 9780 [startup+590.029 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13382 Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1165 0 0 0 58851 151 0 0 25 0 1 0 852894826 10014720 1067 4294967295 134512640 134581267 3221224576 3221223680 134562407 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2445 1067 566 18 0 2427 0 vsize: 9780 [startup+600.03 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13382 Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1165 0 0 0 59845 156 0 0 25 0 1 0 852894826 10014720 1067 4294967295 134512640 134581267 3221224576 3221223328 134566319 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2445 1067 566 18 0 2427 0 vsize: 9780 [startup+610.03 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13382 Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1165 0 0 0 60841 161 0 0 25 0 1 0 852894826 10014720 1067 4294967295 134512640 134581267 3221224576 3221223488 134527652 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2445 1067 566 18 0 2427 0 vsize: 9780 [startup+620.03 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13382 Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1165 0 0 0 61837 165 0 0 25 0 1 0 852894826 10014720 1067 4294967295 134512640 134581267 3221224576 3221223440 134528284 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2445 1067 566 18 0 2427 0 vsize: 9780 [startup+630.031 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13382 Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1165 0 0 0 62834 168 0 0 25 0 1 0 852894826 10014720 1067 4294967295 134512640 134581267 3221224576 3221223488 134527531 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2445 1067 566 18 0 2427 0 vsize: 9780 [startup+640.031 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13382 Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1250 0 0 0 63832 170 0 0 25 0 1 0 852894826 10399744 1152 4294967295 134512640 134581267 3221224576 3221223488 134527695 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2539 1152 566 18 0 2521 0 vsize: 10156 [startup+650.033 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13382 Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1274 0 0 0 64828 174 0 0 25 0 1 0 852894826 10526720 1176 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2570 1176 566 18 0 2552 0 vsize: 10280 [startup+660.034 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13382 Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1274 0 0 0 65825 177 0 0 25 0 1 0 852894826 10395648 1160 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2538 1160 566 18 0 2520 0 vsize: 10152 [startup+670.033 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13382 Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1274 0 0 0 66821 180 0 0 25 0 1 0 852894826 10395648 1160 4294967295 134512640 134581267 3221224576 3221223456 134520266 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2538 1160 566 18 0 2520 0 vsize: 10152 [startup+680.034 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13382 Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1274 0 0 0 67819 183 0 0 25 0 1 0 852894826 10395648 1160 4294967295 134512640 134581267 3221224576 3221223440 134528246 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2538 1160 566 18 0 2520 0 vsize: 10152 [startup+690.035 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13382 Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1274 0 0 0 68815 186 0 0 25 0 1 0 852894826 10395648 1160 4294967295 134512640 134581267 3221224576 3221223464 1075285473 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2538 1160 566 18 0 2520 0 vsize: 10152 [startup+700.035 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13382 Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1274 0 0 0 69812 189 0 0 25 0 1 0 852894826 10395648 1160 4294967295 134512640 134581267 3221224576 3221223488 134527525 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2538 1160 566 18 0 2520 0 vsize: 10152 [startup+710.036 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13382 Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1274 0 0 0 70809 193 0 0 25 0 1 0 852894826 10395648 1160 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2538 1160 566 18 0 2520 0 vsize: 10152 [startup+720.036 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13382 Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1276 0 0 0 71807 195 0 0 25 0 1 0 852894826 10457088 1162 4294967295 134512640 134581267 3221224576 3221223488 134527678 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2553 1162 566 18 0 2535 0 vsize: 10212 [startup+730.036 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13382 Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1276 0 0 0 72805 198 0 0 25 0 1 0 852894826 10457088 1162 4294967295 134512640 134581267 3221224576 3221223440 134528302 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2553 1162 566 18 0 2535 0 vsize: 10212 [startup+740.036 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13382 Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1315 0 0 0 73803 200 0 0 25 0 1 0 852894826 10473472 1179 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2557 1179 566 18 0 2539 0 vsize: 10228 [startup+750.037 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13382 Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1346 0 0 0 74800 203 0 0 25 0 1 0 852894826 10604544 1210 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2589 1210 566 18 0 2571 0 vsize: 10356 [startup+760.037 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13382 Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1346 0 0 0 75797 206 0 0 25 0 1 0 852894826 10604544 1210 4294967295 134512640 134581267 3221224576 3221223488 134527410 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2589 1210 566 18 0 2571 0 vsize: 10356 [startup+770.038 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13382 Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1346 0 0 0 76795 209 0 0 25 0 1 0 852894826 10604544 1210 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2589 1210 566 18 0 2571 0 vsize: 10356 [startup+780.038 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13382 Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1346 0 0 0 77790 213 0 0 25 0 1 0 852894826 10604544 1210 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2589 1210 566 18 0 2571 0 vsize: 10356 [startup+790.037 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13382 Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1346 0 0 0 78789 215 0 0 25 0 1 0 852894826 10604544 1210 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2589 1210 566 18 0 2571 0 vsize: 10356 [startup+800.038 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13382 Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1346 0 0 0 79787 217 0 0 25 0 1 0 852894826 10604544 1210 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2589 1210 566 18 0 2571 0 vsize: 10356 [startup+810.038 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13382 Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1346 0 0 0 80784 219 0 0 25 0 1 0 852894826 10604544 1210 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2589 1210 566 18 0 2571 0 vsize: 10356 [startup+820.038 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13382 Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1346 0 0 0 81782 222 0 0 25 0 1 0 852894826 10604544 1210 4294967295 134512640 134581267 3221224576 3221223472 134528027 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2589 1210 566 18 0 2571 0 vsize: 10356 [startup+830.038 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13382 Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1346 0 0 0 82778 226 0 0 25 0 1 0 852894826 10604544 1210 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2589 1210 566 18 0 2571 0 vsize: 10356 [startup+840.038 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13382 Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1346 0 0 0 83774 229 0 0 25 0 1 0 852894826 10604544 1210 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2589 1210 566 18 0 2571 0 vsize: 10356 [startup+850.039 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13382 Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1346 0 0 0 84772 232 0 0 25 0 1 0 852894826 10604544 1210 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2589 1210 566 18 0 2571 0 vsize: 10356 [startup+860.039 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13382 Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1346 0 0 0 85765 239 0 0 25 0 1 0 852894826 10604544 1210 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2589 1210 566 18 0 2571 0 vsize: 10356 [startup+870.039 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13382 Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1346 0 0 0 86760 244 0 0 25 0 1 0 852894826 10604544 1210 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2589 1210 566 18 0 2571 0 vsize: 10356 [startup+880.039 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13382 Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1346 0 0 0 87757 248 0 0 25 0 1 0 852894826 10604544 1210 4294967295 134512640 134581267 3221224576 3221223488 134527779 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2589 1210 566 18 0 2571 0 vsize: 10356 [startup+890.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13382 Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1346 0 0 0 88753 251 0 0 25 0 1 0 852894826 10604544 1210 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2589 1210 566 18 0 2571 0 vsize: 10356 [startup+900.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13382 Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1346 0 0 0 89749 256 0 0 25 0 1 0 852894826 10604544 1210 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2589 1210 566 18 0 2571 0 vsize: 10356 [startup+910.039 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13382 Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1346 0 0 0 90746 259 0 0 25 0 1 0 852894826 10604544 1210 4294967295 134512640 134581267 3221224576 3221223488 134527537 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2589 1210 566 18 0 2571 0 vsize: 10356 [startup+920.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13382 Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1346 0 0 0 91743 262 0 0 25 0 1 0 852894826 10604544 1210 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2589 1210 566 18 0 2571 0 vsize: 10356 [startup+930.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13382 Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1346 0 0 0 92740 265 0 0 25 0 1 0 852894826 10604544 1210 4294967295 134512640 134581267 3221224576 3221223440 134528315 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2589 1210 566 18 0 2571 0 vsize: 10356 [startup+940.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13382 Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1360 0 0 0 93737 268 0 0 25 0 1 0 852894826 10735616 1224 4294967295 134512640 134581267 3221224576 3221223504 134519924 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2621 1224 566 18 0 2603 0 vsize: 10484 [startup+950.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13382 Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1360 0 0 0 94735 270 0 0 25 0 1 0 852894826 10698752 1224 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2612 1224 566 18 0 2594 0 vsize: 10448 [startup+960.041 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13382 Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1360 0 0 0 95732 274 0 0 25 0 1 0 852894826 10698752 1224 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2612 1224 566 18 0 2594 0 vsize: 10448 [startup+970.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13382 Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1360 0 0 0 96728 278 0 0 25 0 1 0 852894826 10698752 1224 4294967295 134512640 134581267 3221224576 3221223368 1075289488 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2612 1224 566 18 0 2594 0 vsize: 10448 [startup+980.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13382 Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1399 0 0 0 97724 282 0 0 25 0 1 0 852894826 10829824 1263 4294967295 134512640 134581267 3221224576 3221223440 134528304 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2644 1263 566 18 0 2626 0 vsize: 10576 [startup+990.041 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13382 Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1399 0 0 0 98721 285 0 0 25 0 1 0 852894826 10829824 1263 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2644 1263 566 18 0 2626 0 vsize: 10576 [startup+1000.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13382 Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1399 0 0 0 99719 288 0 0 25 0 1 0 852894826 10829824 1263 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2644 1263 566 18 0 2626 0 vsize: 10576 [startup+1010.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13382 Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1399 0 0 0 100717 290 0 0 25 0 1 0 852894826 10829824 1263 4294967295 134512640 134581267 3221224576 3221223488 134527445 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2644 1263 566 18 0 2626 0 vsize: 10576 [startup+1020.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13382 Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1399 0 0 0 101715 292 0 0 25 0 1 0 852894826 10829824 1263 4294967295 134512640 134581267 3221224576 3221223488 134527695 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2644 1263 566 18 0 2626 0 vsize: 10576 [startup+1030.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13382 Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1399 0 0 0 102712 295 0 0 25 0 1 0 852894826 10829824 1263 4294967295 134512640 134581267 3221224576 3221223440 134528216 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2644 1263 566 18 0 2626 0 vsize: 10576 [startup+1040.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13382 Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1399 0 0 0 103710 297 0 0 25 0 1 0 852894826 10829824 1263 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2644 1263 566 18 0 2626 0 vsize: 10576 [startup+1050.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13382 Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1399 0 0 0 104708 300 0 0 25 0 1 0 852894826 10829824 1263 4294967295 134512640 134581267 3221224576 3221223232 134566344 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2644 1263 566 18 0 2626 0 vsize: 10576 [startup+1060.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13382 Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1399 0 0 0 105706 302 0 0 25 0 1 0 852894826 10829824 1263 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2644 1263 566 18 0 2626 0 vsize: 10576 [startup+1070.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13382 Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1399 0 0 0 106704 304 0 0 25 0 1 0 852894826 10829824 1263 4294967295 134512640 134581267 3221224576 3221223520 134558830 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2644 1263 566 18 0 2626 0 vsize: 10576 [startup+1080.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13382 Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1402 0 0 0 107701 307 0 0 25 0 1 0 852894826 10829824 1266 4294967295 134512640 134581267 3221224576 3221223456 134520222 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2644 1266 566 18 0 2626 0 vsize: 10576 [startup+1090.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13382 Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1402 0 0 0 108699 309 0 0 25 0 1 0 852894826 10829824 1266 4294967295 134512640 134581267 3221224576 3221223488 134527667 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2644 1266 566 18 0 2626 0 vsize: 10576 [startup+1100.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13382 Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1402 0 0 0 109697 311 0 0 25 0 1 0 852894826 10829824 1266 4294967295 134512640 134581267 3221224576 3221223488 134527539 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2644 1266 566 18 0 2626 0 vsize: 10576 [startup+1110.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13382 Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1402 0 0 0 110695 313 0 0 25 0 1 0 852894826 10829824 1266 4294967295 134512640 134581267 3221224576 3221223440 134528240 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2644 1266 566 18 0 2626 0 vsize: 10576 [startup+1120.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13382 Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1402 0 0 0 111693 316 0 0 25 0 1 0 852894826 10829824 1266 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2644 1266 566 18 0 2626 0 vsize: 10576 [startup+1130.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13382 Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1402 0 0 0 112691 318 0 0 25 0 1 0 852894826 10829824 1266 4294967295 134512640 134581267 3221224576 3221223520 134558889 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2644 1266 566 18 0 2626 0 vsize: 10576 [startup+1140.05 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13382 Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1402 0 0 0 113689 320 0 0 25 0 1 0 852894826 10829824 1266 4294967295 134512640 134581267 3221224576 3221223520 134559425 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2644 1266 566 18 0 2626 0 vsize: 10576 [startup+1150.05 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13382 Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1402 0 0 0 114687 323 0 0 25 0 1 0 852894826 10829824 1266 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2644 1266 566 18 0 2626 0 vsize: 10576 [startup+1160.05 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13382 Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1402 0 0 0 115684 325 0 0 25 0 1 0 852894826 10829824 1266 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2644 1266 566 18 0 2626 0 vsize: 10576 [startup+1170.05 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13382 Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1402 0 0 0 116683 327 0 0 25 0 1 0 852894826 10829824 1266 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2644 1266 566 18 0 2626 0 vsize: 10576 [startup+1180.05 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 13382 Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1402 0 0 0 117681 329 0 0 25 0 1 0 852894826 10829824 1266 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2644 1266 566 18 0 2626 0 vsize: 10576 [startup+1188.95 s] Raw data (loadavg): 1.00 1.00 0.93 1/53 13382 Raw data (stat): 13382 (Pueblo-v2) R 13381 7266 7265 0 -1 0 1402 0 0 0 117681 329 0 0 25 0 1 0 852894826 10829824 1266 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2644 1266 566 18 0 2626 0 vsize: 0 Child status: 10 Real time (s): 1188.95 CPU time (s): 1189.01 CPU user time (s): 1185.69 CPU system time (s): 3.3135 CPU usage (%): 100.005 Max. virtual memory (Kb): 10576 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 5482925 #### END VERIFIER DATA ####