Name | normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-pk1.opb |
MD5SUM | 9c5126d785c8d5465220e290c5fc25a6 |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 5120 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 20 |
Biggest coefficient in the objective function | 524288 |
Number of bits for the biggest coefficient in the objective function | 20 |
Sum of the numbers in the objective function | 1048575 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 524288 |
Number of bits of the biggest number in a constraint | 20 |
Biggest sum of numbers in a constraint | 2421502 |
Number of bits of the biggest sum of numbers | 22 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1175.04 |
Number of variables | 675 |
Total number of constraints | 100 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 55 |
Number of constraints which are nor clauses,nor cardinality constraints | 45 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 95 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc7 THE 2005-05-24 20:16:24 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=17895 boxname=wulflinc7 idbench=1377 idsolver=7 numberseed=0 MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911 /oldhome/oroussel/solvers/Pueblo MD5SUM BENCH: 9c5126d785c8d5465220e290c5fc25a6 /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-13-7-pk1.opb REAL COMMAND: Pueblo /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-13-7-pk1.opb IDLAUNCH: 17895 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.050 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.050 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: 650236 kB Buffers: 35496 kB Cached: 328136 kB SwapCached: 100 kB Active: 76360 kB Inactive: 290024 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 649984 kB SwapTotal: 2097136 kB SwapFree: 2096820 kB Dirty: 40 kB Writeback: 0 kB Mapped: 6740 kB Slab: 12440 kB Committed_AS: 63600 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-24 20:36:13 (client local time) WITH STATUS 10 IN 1189.01 SECONDS stats: 17895 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/wulflinc7/normalized-mps-v2-13-7-pk1.opb c #variables read: 675 - #constraints read: 116 s SATISFIABLE v -x1_bit_7 -x1_bit_6 -x1_bit_5 -x1_bit_4 -x1_bit_3 -x1_bit_2 -x1_bit_1 -x1_bit0 -x1_bit1 x1_bit2 -x1_bit3 x1_bit4 x1_bit5 -x1_bit6 -x1_bit7 -x1_bit8 -x1_bit9 -x1_bit10 -x1_bit11 -x1_bit12 x2_bit0 x3_bit0 x4_bit0 x5_bit0 x6_bit0 x7_bit0 x8_bit0 -x9_bit0 x10_bit0 -x11_bit0 x12_bit0 -x13_bit0 -x14_bit0 x15_bit0 x16_bit0 x17_bit0 x18_bit0 -x19_bit0 x20_bit0 x21_bit0 -x22_bit0 -x23_bit0 -x24_bit0 x25_bit0 x26_bit0 -x27_bit0 -x28_bit0 -x29_bit0 x30_bit0 -x31_bit0 x32_bit0 -x33_bit0 -x34_bit0 -x35_bit0 x36_bit0 x37_bit0 x38_bit0 -x39_bit0 -x40_bit0 -x41_bit0 -x42_bit0 -x43_bit0 -x44_bit0 -x45_bit0 -x46_bit0 -x47_bit0 x48_bit0 -x49_bit0 -x50_bit0 -x51_bit0 x52_bit0 -x53_bit0 -x54_bit0 -x55_bit0 -x56_bit0 -x57_bit_7 -x57_bit_6 -x57_bit_5 -x57_bit_4 -x57_bit_3 -x57_bit_2 -x57_bit_1 x57_bit0 x57_bit1 -x57_bit2 -x57_bit3 x57_bit4 x57_bit5 -x57_bit6 -x57_bit7 -x57_bit8 -x57_bit9 -x57_bit10 -x57_bit11 -x57_bit12 -x58_bit_7 -x58_bit_6 -x58_bit_5 -x58_bit_4 -x58_bit_3 -x58_bit_2 -x58_bit_1 -x58_bit0 -x58_bit1 -x58_bit2 -x58_bit3 -x58_bit4 -x58_bit5 -x58_bit6 -x58_bit7 -x58_bit8 -x58_bit9 -x58_bit10 -x58_bit11 -x58_bit12 -x75_bit_7 -x75_bit_6 -x75_bit_5 -x75_bit_4 -x75_bit_3 -x75_bit_2 -x75_bit_1 -x75_bit0 x75_bit1 x75_bit2 x75_bit3 -x75_bit4 -x75_bit5 -x75_bit6 -x75_bit7 -x75_bit8 -x75_bit9 -x75_bit10 -x75_bit11 -x75_bit12 -x76_bit_7 -x76_bit_6 -x76_bit_5 -x76_bit_4 -x76_bit_3 -x76_bit_2 -x76_bit_1 -x76_bit0 -x76_bit1 -x76_bit2 -x76_bit3 -x76_bit4 -x76_bit5 -x76_bit6 -x76_bit7 -x76_bit8 -x76_bit9 -x76_bit10 -x76_bit11 -x76_bit12 -x77_bit_7 -x77_bit_6 -x77_bit_5 -x77_bit_4 -x77_bit_3 -x77_bit_2 -x77_bit_1 -x77_bit0 -x77_bit1 x77_bit2 -x77_bit3 x77_bit4 x77_bit5 -x77_bit6 -x77_bit7 -x77_bit8 -x77_bit9 -x77_bit10 -x77_bit11 -x77_bit12 -x78_bit_7 -x78_bit_6 -x78_bit_5 -x78_bit_4 -x78_bit_3 -x78_bit_2 -x78_bit_1 -x78_bit0 x78_bit1 -x78_bit2 -x78_bit3 -x78_bit4 -x78_bit5 -x78_bit6 -x78_bit7 -x78_bit8 -x78_bit9 -x78_bit10 -x78_bit11 -x78_bit12 -x79_bit_7 -x79_bit_6 -x79_bit_5 -x79_bit_4 -x79_bit_3 -x79_bit_2 -x79_bit_1 -x79_bit0 -x79_bit1 -x79_bit2 -x79_bit3 -x79_bit4 -x79_bit5 -x79_bit6 -x79_bit7 -x79_bit8 -x79_bit9 -x79_bit10 -x79_bit11 -x79_bit12 -x80_bit_7 -x80_bit_6 -x80_bit_5 -x80_bit_4 -x80_bit_3 -x80_bit_2 -x80_bit_1 x80_bit0 x80_bit1 x80_bit2 x80_bit3 -x80_bit4 x80_bit5 -x80_bit6 -x80_bit7 -x80_bit8 -x80_bit9 -x80_bit10 -x80_bit11 -x80_bit12 -x81_bit_7 -x81_bit_6 -x81_bit_5 -x81_bit_4 -x81_bit_3 -x81_bit_2 -x81_bit_1 x81_bit0 -x81_bit1 -x81_bit2 -x81_bit3 -x81_bit4 -x81_bit5 -x81_bit6 -x81_bit7 -x81_bit8 -x81_bit9 -x81_bit10 -x81_bit11 -x81_bit12 -x82_bit_7 -x82_bit_6 -x82_bit_5 -x82_bit_4 -x82_bit_3 -x82_bit_2 -x82_bit_1 -x82_bit0 -x82_bit1 -x82_bit2 x82_bit3 -x82_bit4 x82_bit5 -x82_bit6 -x82_bit7 -x82_bit8 -x82_bit9 -x82_bit10 -x82_bit11 -x82_bit12 -x83_bit_7 -x83_bit_6 -x83_bit_5 -x83_bit_4 -x83_bit_3 -x83_bit_2 -x83_bit_1 -x83_bit0 -x83_bit1 -x83_bit2 -x83_bit3 -x83_bit4 -x83_bit5 -x83_bit6 -x83_bit7 -x83_bit8 -x83_bit9 -x83_bit10 -x83_bit11 -x83_bit12 -x84_bit_7 -x84_bit_6 -x84_bit_5 -x84_bit_4 -x84_bit_3 -x84_bit_2 -x84_bit_1 -x84_bit0 x84_bit1 -x84_bit2 x84_bit3 x84_bit4 -x84_bit5 -x84_bit6 -x84_bit7 -x84_bit8 -x84_bit9 -x84_bit10 -x84_bit11 -x84_bit12 -x85_bit_7 -x85_bit_6 -x85_bit_5 -x85_bit_4 -x85_bit_3 -x85_bit_2 -x85_bit_1 -x85_bit0 x85_bit1 -x85_bit2 x85_bit3 x85_bit4 -x85_bit5 -x85_bit6 -x85_bit7 -x85_bit8 -x85_bit9 -x85_bit10 -x85_bit11 -x85_bit12 -x86_bit_7 -x86_bit_6 -x86_bit_5 -x86_bit_4 -x86_bit_3 -x86_bit_2 -x86_bit_1 -x86_bit0 -x86_bit1 -x86_bit2 -x86_bit3 -x86_bit4 -x86_bit5 -x86_bit6 -x86_bit7 -x86_bit8 -x86_bit9 -x86_bit10 -x86_bit11 -x86_bit12 -x59_bit_7 -x59_bit_6 -x59_bit_5 -x59_bit_4 -x59_bit_3 -x59_bit_2 -x59_bit_1 -x59_bit0 -x59_bit1 -x59_bit2 -x59_bit3 -x59_bit4 -x59_bit5 -x59_bit6 -x59_bit7 -x59_bit8 -x59_bit9 -x59_bit10 -x59_bit11 -x59_bit12 -x60_bit_7 -x60_bit_6 -x60_bit_5 -x60_bit_4 -x60_bit_3 -x60_bit_2 -x60_bit_1 -x60_bit0 -x60_bit1 x60_bit2 -x60_bit3 x60_bit4 x60_bit5 -x60_bit6 -x60_bit7 -x60_bit8 -x60_bit9 -x60_bit10 -x60_bit11 -x60_bit12 -x61_bit_7 -x61_bit_6 -x61_bit_5 -x61_bit_4 -x61_bit_3 -x61_bit_2 -x61_bit_1 -x61_bit0 -x61_bit1 -x61_bit2 -x61_bit3 -x61_bit4 -x61_bit5 -x61_bit6 -x61_bit7 -x61_bit8 -x61_bit9 -x61_bit10 -x61_bit11 -x61_bit12 -x62_bit_7 -x62_bit_6 -x62_bit_5 -x62_bit_4 -x62_bit_3 -x62_bit_2 -x62_bit_1 -x62_bit0 x62_bit1 x62_bit2 -x62_bit3 x62_bit4 -x62_bit5 -x62_bit6 -x62_bit7 -x62_bit8 -x62_bit9 -x62_bit10 -x62_bit11 -x62_bit12 -x63_bit_7 -x63_bit_6 -x63_bit_5 -x63_bit_4 -x63_bit_3 -x63_bit_2 -x63_bit_1 x63_bit0 -x63_bit1 -x63_bit2 -x63_bit3 -x63_bit4 -x63_bit5 -x63_bit6 -x63_bit7 -x63_bit8 -x63_bit9 -x63_bit10 -x63_bit11 -x63_bit12 -x64_bit_7 -x64_bit_6 -x64_bit_5 -x64_bit_4 -x64_bit_3 -x64_bit_2 -x64_bit_1 -x64_bit0 -x64_bit1 -x64_bit2 x64_bit3 -x64_bit4 x64_bit5 -x64_bit6 -x64_bit7 -x64_bit8 -x64_bit9 -x64_bit10 -x64_bit11 -x64_bit12 -x65_bit_7 -x65_bit_6 -x65_bit_5 -x65_bit_4 -x65_bit_3 -x65_bit_2 -x65_bit_1 -x65_bit0 -x65_bit1 -x65_bit2 -x65_bit3 -x65_bit4 -x65_bit5 -x65_bit6 -x65_bit7 -x65_bit8 -x65_bit9 -x65_bit10 -x65_bit11 -x65_bit12 -x66_bit_7 -x66_bit_6 -x66_bit_5 -x66_bit_4 -x66_bit_3 -x66_bit_2 -x66_bit_1 -x66_bit0 -x66_bit1 x66_bit2 x66_bit3 -x66_bit4 x66_bit5 -x66_bit6 -x66_bit7 -x66_bit8 -x66_bit9 -x66_bit10 -x66_bit11 -x66_bit12 -x67_bit_7 -x67_bit_6 -x67_bit_5 -x67_bit_4 -x67_bit_3 -x67_bit_2 -x67_bit_1 x67_bit0 x67_bit1 -x67_bit2 x67_bit3 -x67_bit4 -x67_bit5 -x67_bit6 -x67_bit7 -x67_bit8 -x67_bit9 -x67_bit10 -x67_bit11 -x67_bit12 -x68_bit_7 -x68_bit_6 -x68_bit_5 -x68_bit_4 -x68_bit_3 -x68_bit_2 -x68_bit_1 -x68_bit0 -x68_bit1 -x68_bit2 -x68_bit3 -x68_bit4 -x68_bit5 -x68_bit6 -x68_bit7 -x68_bit8 -x68_bit9 -x68_bit10 -x68_bit11 -x68_bit12 -x69_bit_7 -x69_bit_6 -x69_bit_5 -x69_bit_4 -x69_bit_3 -x69_bit_2 -x69_bit_1 x69_bit0 -x69_bit1 x69_bit2 -x69_bit3 x69_bit4 -x69_bit5 -x69_bit6 -x69_bit7 -x69_bit8 -x69_bit9 -x69_bit10 -x69_bit11 -x69_bit12 -x70_bit_7 -x70_bit_6 -x70_bit_5 -x70_bit_4 -x70_bit_3 -x70_bit_2 -x70_bit_1 -x70_bit0 -x70_bit1 -x70_bit2 -x70_bit3 -x70_bit4 -x70_bit5 -x70_bit6 -x70_bit7 -x70_bit8 -x70_bit9 -x70_bit10 -x70_bit11 -x70_bit12 -x71_bit_7 -x71_bit_6 -x71_bit_5 -x71_bit_4 -x71_bit_3 -x71_bit_2 -x71_bit_1 -x71_bit0 -x71_bit1 -x71_bit2 -x71_bit3 x71_bit4 x71_bit5 -x71_bit6 -x71_bit7 -x71_bit8 -x71_bit9 -x71_bit10 -x71_bit11 -x71_bit12 -x72_bit_7 -x72_bit_6 -x72_bit_5 -x72_bit_4 -x72_bit_3 -x72_bit_2 -x72_bit_1 -x72_bit0 -x72_bit1 -x72_bit2 -x72_bit3 -x72_bit4 -x72_bit5 -x72_bit6 -x72_bit7 -x72_bit8 -x72_bit9 -x72_bit10 -x72_bit11 -x72_bit12 -x73_bit_7 -x73_bit_6 -x73_bit_5 -x73_bit_4 -x73_bit_3 -x73_bit_2 -x73_bit_1 -x73_bit0 -x73_bit1 -x73_bit2 -x73_bit3 -x73_bit4 -x73_bit5 -x73_bit6 -x73_bit7 -x73_bit8 -x73_bit9 -x73_bit10 -x73_bit11 -x73_bit12 -x74_bit_7 -x74_bit_6 -x74_bit_5 -x74_bit_4 -x74_bit_3 -x74_bit_2 -x74_bit_1 -x74_bit0 x74_bit1 x74_bit2 x74_bit3 -x74_bit4 x74_bit5 -x74_bit6 -x74_bit7 -x74_bit8 -x74_bit9 -x74_bit10 -x74_bit11 -x74_bit12 #### 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.93 0.95 0.90 2/54 30760 Raw data (stat): 30760 (runsolver) R 30759 24300 24299 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 774834228 1052672 99 4294967295 134512640 135381576 3221224496 3221219716 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0002 s] Raw data (loadavg): 0.94 0.96 0.91 2/54 30760 Raw data (stat): 30760 (Pueblo) R 30759 24300 24299 0 -1 0 362 0 0 0 996 2 0 0 25 0 1 0 774834228 7098368 340 4294967295 134512640 134581331 3221224608 3221223520 134527519 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1733 340 566 18 0 1715 0 vsize: 6932 [startup+20.0003 s] Raw data (loadavg): 0.95 0.96 0.91 2/54 30760 Raw data (stat): 30760 (Pueblo) R 30759 24300 24299 0 -1 0 363 0 0 0 1995 4 0 0 25 0 1 0 774834228 7098368 341 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1733 341 566 18 0 1715 0 vsize: 6932 [startup+30.001 s] Raw data (loadavg): 0.95 0.96 0.91 2/54 30760 Raw data (stat): 30760 (Pueblo) R 30759 24300 24299 0 -1 0 364 0 0 0 2993 6 0 0 25 0 1 0 774834228 7098368 342 4294967295 134512640 134581331 3221224608 3221223520 134527432 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1733 342 566 18 0 1715 0 vsize: 6932 [startup+40.0009 s] Raw data (loadavg): 0.96 0.96 0.91 2/54 30760 Raw data (stat): 30760 (Pueblo) R 30759 24300 24299 0 -1 0 366 0 0 0 3991 8 0 0 25 0 1 0 774834228 7098368 344 4294967295 134512640 134581331 3221224608 3221223520 134528088 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1733 344 566 18 0 1715 0 vsize: 6932 [startup+50.0002 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 30760 Raw data (stat): 30760 (Pueblo) R 30759 24300 24299 0 -1 0 369 0 0 0 4990 9 0 0 25 0 1 0 774834228 7225344 347 4294967295 134512640 134581331 3221224608 3221223520 134527410 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1764 347 566 18 0 1746 0 vsize: 7056 [startup+59.9999 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 30760 Raw data (stat): 30760 (Pueblo) R 30759 24300 24299 0 -1 0 373 0 0 0 5987 12 0 0 25 0 1 0 774834228 7225344 351 4294967295 134512640 134581331 3221224608 3221223520 134527513 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1764 351 566 18 0 1746 0 vsize: 7056 [startup+69.9995 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 30760 Raw data (stat): 30760 (Pueblo) R 30759 24300 24299 0 -1 0 375 0 0 0 6985 14 0 0 25 0 1 0 774834228 7225344 353 4294967295 134512640 134581331 3221224608 3221223520 134527534 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1764 353 566 18 0 1746 0 vsize: 7056 [startup+80.0005 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 30760 Raw data (stat): 30760 (Pueblo) R 30759 24300 24299 0 -1 0 379 0 0 0 7983 16 0 0 25 0 1 0 774834228 7225344 357 4294967295 134512640 134581331 3221224608 3221223520 134527504 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1764 357 566 18 0 1746 0 vsize: 7056 [startup+89.9998 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 30760 Raw data (stat): 30760 (Pueblo) R 30759 24300 24299 0 -1 0 381 0 0 0 8981 19 0 0 25 0 1 0 774834228 7225344 359 4294967295 134512640 134581331 3221224608 3221223516 134527740 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1764 359 566 18 0 1746 0 vsize: 7056 [startup+99.9994 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 30760 Raw data (stat): 30760 (Pueblo) R 30759 24300 24299 0 -1 0 404 0 0 0 9979 21 0 0 25 0 1 0 774834228 7360512 382 4294967295 134512640 134581331 3221224608 3221223472 134527153 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1797 382 566 18 0 1779 0 vsize: 7188 [startup+110 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30760 Raw data (stat): 30760 (Pueblo) R 30759 24300 24299 0 -1 0 407 0 0 0 10976 24 0 0 25 0 1 0 774834228 7360512 385 4294967295 134512640 134581331 3221224608 3221223520 134527649 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1797 385 566 18 0 1779 0 vsize: 7188 [startup+120.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30760 Raw data (stat): 30760 (Pueblo) R 30759 24300 24299 0 -1 0 407 0 0 0 11974 26 0 0 25 0 1 0 774834228 7360512 385 4294967295 134512640 134581331 3221224608 3221223520 134527429 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1797 385 566 18 0 1779 0 vsize: 7188 [startup+130.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30760 Raw data (stat): 30760 (Pueblo) R 30759 24300 24299 0 -1 0 407 0 0 0 12971 29 0 0 25 0 1 0 774834228 7360512 385 4294967295 134512640 134581331 3221224608 3221223540 134558768 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1797 385 566 18 0 1779 0 vsize: 7188 [startup+140.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30760 Raw data (stat): 30760 (Pueblo) R 30759 24300 24299 0 -1 0 407 0 0 0 13969 32 0 0 25 0 1 0 774834228 7360512 385 4294967295 134512640 134581331 3221224608 3221223520 134527440 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1797 385 566 18 0 1779 0 vsize: 7188 [startup+150.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30760 Raw data (stat): 30760 (Pueblo) R 30759 24300 24299 0 -1 0 407 0 0 0 14966 34 0 0 25 0 1 0 774834228 7360512 385 4294967295 134512640 134581331 3221224608 3221223520 134528074 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1797 385 566 18 0 1779 0 vsize: 7188 [startup+160 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30760 Raw data (stat): 30760 (Pueblo) R 30759 24300 24299 0 -1 0 407 0 0 0 15964 37 0 0 25 0 1 0 774834228 7360512 385 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1797 385 566 18 0 1779 0 vsize: 7188 [startup+170 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30760 Raw data (stat): 30760 (Pueblo) R 30759 24300 24299 0 -1 0 407 0 0 0 16962 39 0 0 25 0 1 0 774834228 7360512 385 4294967295 134512640 134581331 3221224608 3221223520 134527410 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1797 385 566 18 0 1779 0 vsize: 7188 [startup+180 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30760 Raw data (stat): 30760 (Pueblo) R 30759 24300 24299 0 -1 0 407 0 0 0 17959 42 0 0 25 0 1 0 774834228 7360512 385 4294967295 134512640 134581331 3221224608 3221223520 134527451 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1797 385 566 18 0 1779 0 vsize: 7188 [startup+190.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30760 Raw data (stat): 30760 (Pueblo) R 30759 24300 24299 0 -1 0 407 0 0 0 18956 45 0 0 25 0 1 0 774834228 7360512 385 4294967295 134512640 134581331 3221224608 3221223520 134527984 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1797 385 566 18 0 1779 0 vsize: 7188 [startup+200.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30760 Raw data (stat): 30760 (Pueblo) R 30759 24300 24299 0 -1 0 407 0 0 0 19954 47 0 0 25 0 1 0 774834228 7360512 385 4294967295 134512640 134581331 3221224608 3221223472 134560381 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1797 385 566 18 0 1779 0 vsize: 7188 [startup+210.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30760 Raw data (stat): 30760 (Pueblo) R 30759 24300 24299 0 -1 0 407 0 0 0 20951 51 0 0 25 0 1 0 774834228 7360512 385 4294967295 134512640 134581331 3221224608 3221223472 134528347 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1797 385 566 18 0 1779 0 vsize: 7188 [startup+220.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30760 Raw data (stat): 30760 (Pueblo) R 30759 24300 24299 0 -1 0 407 0 0 0 21948 54 0 0 25 0 1 0 774834228 7360512 385 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1797 385 566 18 0 1779 0 vsize: 7188 [startup+230.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30760 Raw data (stat): 30760 (Pueblo) R 30759 24300 24299 0 -1 0 407 0 0 0 22944 58 0 0 25 0 1 0 774834228 7360512 385 4294967295 134512640 134581331 3221224608 3221223472 134528347 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1797 385 566 18 0 1779 0 vsize: 7188 [startup+240.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30760 Raw data (stat): 30760 (Pueblo) R 30759 24300 24299 0 -1 0 407 0 0 0 23942 60 0 0 25 0 1 0 774834228 7360512 385 4294967295 134512640 134581331 3221224608 3221223520 134527418 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1797 385 566 18 0 1779 0 vsize: 7188 [startup+250 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30760 Raw data (stat): 30760 (Pueblo) R 30759 24300 24299 0 -1 0 407 0 0 0 24939 63 0 0 25 0 1 0 774834228 7360512 385 4294967295 134512640 134581331 3221224608 3221223520 134527539 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1797 385 566 18 0 1779 0 vsize: 7188 [startup+260.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30760 Raw data (stat): 30760 (Pueblo) R 30759 24300 24299 0 -1 0 407 0 0 0 25936 66 0 0 25 0 1 0 774834228 7360512 385 4294967295 134512640 134581331 3221224608 3221223520 134527504 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1797 385 566 18 0 1779 0 vsize: 7188 [startup+270 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30760 Raw data (stat): 30760 (Pueblo) R 30759 24300 24299 0 -1 0 407 0 0 0 26934 69 0 0 25 0 1 0 774834228 7360512 385 4294967295 134512640 134581331 3221224608 3221223520 134527504 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1797 385 566 18 0 1779 0 vsize: 7188 [startup+280 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30760 Raw data (stat): 30760 (Pueblo) R 30759 24300 24299 0 -1 0 407 0 0 0 27931 71 0 0 25 0 1 0 774834228 7360512 385 4294967295 134512640 134581331 3221224608 3221223520 134527454 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1797 385 566 18 0 1779 0 vsize: 7188 [startup+290.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30760 Raw data (stat): 30760 (Pueblo) R 30759 24300 24299 0 -1 0 407 0 0 0 28929 74 0 0 25 0 1 0 774834228 7360512 385 4294967295 134512640 134581331 3221224608 3221223520 134528079 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1797 385 566 18 0 1779 0 vsize: 7188 [startup+300 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30760 Raw data (stat): 30760 (Pueblo) R 30759 24300 24299 0 -1 0 407 0 0 0 29927 76 0 0 25 0 1 0 774834228 7360512 385 4294967295 134512640 134581331 3221224608 3221223576 134527282 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1797 385 566 18 0 1779 0 vsize: 7188 [startup+310.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30760 Raw data (stat): 30760 (Pueblo) R 30759 24300 24299 0 -1 0 407 0 0 0 30924 79 0 0 25 0 1 0 774834228 7360512 385 4294967295 134512640 134581331 3221224608 3221223476 1075289770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1797 385 566 18 0 1779 0 vsize: 7188 [startup+320.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30760 Raw data (stat): 30760 (Pueblo) R 30759 24300 24299 0 -1 0 407 0 0 0 31922 81 0 0 25 0 1 0 774834228 7360512 385 4294967295 134512640 134581331 3221224608 3221223472 134528353 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1797 385 566 18 0 1779 0 vsize: 7188 [startup+330.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30760 Raw data (stat): 30760 (Pueblo) R 30759 24300 24299 0 -1 0 407 0 0 0 32919 84 0 0 25 0 1 0 774834228 7360512 385 4294967295 134512640 134581331 3221224608 3221223520 134528088 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1797 385 566 18 0 1779 0 vsize: 7188 [startup+340 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30760 Raw data (stat): 30760 (Pueblo) R 30759 24300 24299 0 -1 0 407 0 0 0 33917 86 0 0 25 0 1 0 774834228 7360512 385 4294967295 134512640 134581331 3221224608 3221223520 134527539 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1797 385 566 18 0 1779 0 vsize: 7188 [startup+350.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30760 Raw data (stat): 30760 (Pueblo) R 30759 24300 24299 0 -1 0 407 0 0 0 34915 88 0 0 25 0 1 0 774834228 7360512 385 4294967295 134512640 134581331 3221224608 3221223520 134527534 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1797 385 566 18 0 1779 0 vsize: 7188 [startup+360.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30760 Raw data (stat): 30760 (Pueblo) R 30759 24300 24299 0 -1 0 407 0 0 0 35913 91 0 0 25 0 1 0 774834228 7360512 385 4294967295 134512640 134581331 3221224608 3221223520 134527519 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1797 385 566 18 0 1779 0 vsize: 7188 [startup+370.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30760 Raw data (stat): 30760 (Pueblo) R 30759 24300 24299 0 -1 0 407 0 0 0 36910 94 0 0 25 0 1 0 774834228 7360512 385 4294967295 134512640 134581331 3221224608 3221223520 134527404 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1797 385 566 18 0 1779 0 vsize: 7188 [startup+380.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30760 Raw data (stat): 30760 (Pueblo) R 30759 24300 24299 0 -1 0 407 0 0 0 37907 96 0 0 25 0 1 0 774834228 7360512 385 4294967295 134512640 134581331 3221224608 3221223520 134527442 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1797 385 566 18 0 1779 0 vsize: 7188 [startup+390.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30760 Raw data (stat): 30760 (Pueblo) R 30759 24300 24299 0 -1 0 407 0 0 0 38905 99 0 0 25 0 1 0 774834228 7360512 385 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1797 385 566 18 0 1779 0 vsize: 7188 [startup+400.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30760 Raw data (stat): 30760 (Pueblo) R 30759 24300 24299 0 -1 0 407 0 0 0 39903 101 0 0 25 0 1 0 774834228 7360512 385 4294967295 134512640 134581331 3221224608 3221223552 134559255 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1797 385 566 18 0 1779 0 vsize: 7188 [startup+410.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30760 Raw data (stat): 30760 (Pueblo) R 30759 24300 24299 0 -1 0 407 0 0 0 40901 103 0 0 25 0 1 0 774834228 7360512 385 4294967295 134512640 134581331 3221224608 3221223472 134528278 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1797 385 566 18 0 1779 0 vsize: 7188 [startup+420.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30760 Raw data (stat): 30760 (Pueblo) R 30759 24300 24299 0 -1 0 407 0 0 0 41898 106 0 0 25 0 1 0 774834228 7360512 385 4294967295 134512640 134581331 3221224608 3221223552 134558893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1797 385 566 18 0 1779 0 vsize: 7188 [startup+430.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30760 Raw data (stat): 30760 (Pueblo) R 30759 24300 24299 0 -1 0 407 0 0 0 42896 108 0 0 25 0 1 0 774834228 7360512 385 4294967295 134512640 134581331 3221224608 3221223520 134527539 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1797 385 566 18 0 1779 0 vsize: 7188 [startup+440.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30760 Raw data (stat): 30760 (Pueblo) R 30759 24300 24299 0 -1 0 407 0 0 0 43894 110 0 0 25 0 1 0 774834228 7360512 385 4294967295 134512640 134581331 3221224608 3221223520 134527445 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1797 385 566 18 0 1779 0 vsize: 7188 [startup+450.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30760 Raw data (stat): 30760 (Pueblo) R 30759 24300 24299 0 -1 0 407 0 0 0 44891 113 0 0 25 0 1 0 774834228 7360512 385 4294967295 134512640 134581331 3221224608 3221223520 134527410 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1797 385 566 18 0 1779 0 vsize: 7188 [startup+460.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30760 Raw data (stat): 30760 (Pueblo) R 30759 24300 24299 0 -1 0 407 0 0 0 45889 116 0 0 25 0 1 0 774834228 7360512 385 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1797 385 566 18 0 1779 0 vsize: 7188 [startup+470.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30760 Raw data (stat): 30760 (Pueblo) R 30759 24300 24299 0 -1 0 407 0 0 0 46886 118 0 0 25 0 1 0 774834228 7360512 385 4294967295 134512640 134581331 3221224608 3221223672 134558533 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1797 385 566 18 0 1779 0 vsize: 7188 [startup+480.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30760 Raw data (stat): 30760 (Pueblo) R 30759 24300 24299 0 -1 0 407 0 0 0 47884 121 0 0 25 0 1 0 774834228 7360512 385 4294967295 134512640 134581331 3221224608 3221223504 134517905 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1797 385 566 18 0 1779 0 vsize: 7188 [startup+490.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30760 Raw data (stat): 30760 (Pueblo) R 30759 24300 24299 0 -1 0 407 0 0 0 48881 124 0 0 25 0 1 0 774834228 7360512 385 4294967295 134512640 134581331 3221224608 3221223520 134527442 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1797 385 566 18 0 1779 0 vsize: 7188 [startup+500.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30760 Raw data (stat): 30760 (Pueblo) R 30759 24300 24299 0 -1 0 407 0 0 0 49878 128 0 0 25 0 1 0 774834228 7360512 385 4294967295 134512640 134581331 3221224608 3221223516 134528050 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1797 385 566 18 0 1779 0 vsize: 7188 [startup+510.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30760 Raw data (stat): 30760 (Pueblo) R 30759 24300 24299 0 -1 0 407 0 0 0 50874 132 0 0 25 0 1 0 774834228 7360512 385 4294967295 134512640 134581331 3221224608 3221223576 134527289 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1797 385 566 18 0 1779 0 vsize: 7188 [startup+520.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30760 Raw data (stat): 30760 (Pueblo) R 30759 24300 24299 0 -1 0 407 0 0 0 51872 134 0 0 25 0 1 0 774834228 7360512 385 4294967295 134512640 134581331 3221224608 3221223472 134528378 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1797 385 566 18 0 1779 0 vsize: 7188 [startup+530.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30760 Raw data (stat): 30760 (Pueblo) R 30759 24300 24299 0 -1 0 407 0 0 0 52869 137 0 0 25 0 1 0 774834228 7360512 385 4294967295 134512640 134581331 3221224608 3221223520 134527464 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1797 385 566 18 0 1779 0 vsize: 7188 [startup+540.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30760 Raw data (stat): 30760 (Pueblo) R 30759 24300 24299 0 -1 0 407 0 0 0 53866 140 0 0 25 0 1 0 774834228 7360512 385 4294967295 134512640 134581331 3221224608 3221223520 134527510 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1797 385 566 18 0 1779 0 vsize: 7188 [startup+550.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30760 Raw data (stat): 30760 (Pueblo) R 30759 24300 24299 0 -1 0 407 0 0 0 54864 142 0 0 25 0 1 0 774834228 7360512 385 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1797 385 566 18 0 1779 0 vsize: 7188 [startup+560.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30760 Raw data (stat): 30760 (Pueblo) R 30759 24300 24299 0 -1 0 407 0 0 0 55861 145 0 0 25 0 1 0 774834228 7360512 385 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1797 385 566 18 0 1779 0 vsize: 7188 [startup+570.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30760 Raw data (stat): 30760 (Pueblo) R 30759 24300 24299 0 -1 0 407 0 0 0 56859 148 0 0 25 0 1 0 774834228 7360512 385 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1797 385 566 18 0 1779 0 vsize: 7188 [startup+580.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30760 Raw data (stat): 30760 (Pueblo) R 30759 24300 24299 0 -1 0 407 0 0 0 57856 150 0 0 25 0 1 0 774834228 7360512 385 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1797 385 566 18 0 1779 0 vsize: 7188 [startup+590.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30760 Raw data (stat): 30760 (Pueblo) R 30759 24300 24299 0 -1 0 407 0 0 0 58854 153 0 0 25 0 1 0 774834228 7360512 385 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1797 385 566 18 0 1779 0 vsize: 7188 [startup+600.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30760 Raw data (stat): 30760 (Pueblo) R 30759 24300 24299 0 -1 0 407 0 0 0 59852 155 0 0 25 0 1 0 774834228 7360512 385 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1797 385 566 18 0 1779 0 vsize: 7188 [startup+610.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30760 Raw data (stat): 30760 (Pueblo) R 30759 24300 24299 0 -1 0 407 0 0 0 60850 157 0 0 25 0 1 0 774834228 7360512 385 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1797 385 566 18 0 1779 0 vsize: 7188 [startup+620.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30760 Raw data (stat): 30760 (Pueblo) R 30759 24300 24299 0 -1 0 407 0 0 0 61846 161 0 0 25 0 1 0 774834228 7360512 385 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1797 385 566 18 0 1779 0 vsize: 7188 [startup+630.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30760 Raw data (stat): 30760 (Pueblo) R 30759 24300 24299 0 -1 0 407 0 0 0 62843 164 0 0 25 0 1 0 774834228 7360512 385 4294967295 134512640 134581331 3221224608 3221223520 134527519 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1797 385 566 18 0 1779 0 vsize: 7188 [startup+640.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30760 Raw data (stat): 30760 (Pueblo) R 30759 24300 24299 0 -1 0 407 0 0 0 63840 167 0 0 25 0 1 0 774834228 7360512 385 4294967295 134512640 134581331 3221224608 3221223520 134527442 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1797 385 566 18 0 1779 0 vsize: 7188 [startup+650.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30760 Raw data (stat): 30760 (Pueblo) R 30759 24300 24299 0 -1 0 407 0 0 0 64838 170 0 0 25 0 1 0 774834228 7360512 385 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1797 385 566 18 0 1779 0 vsize: 7188 [startup+660.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30760 Raw data (stat): 30760 (Pueblo) R 30759 24300 24299 0 -1 0 407 0 0 0 65834 173 0 0 25 0 1 0 774834228 7360512 385 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1797 385 566 18 0 1779 0 vsize: 7188 [startup+670.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30760 Raw data (stat): 30760 (Pueblo) R 30759 24300 24299 0 -1 0 407 0 0 0 66832 176 0 0 25 0 1 0 774834228 7360512 385 4294967295 134512640 134581331 3221224608 3221223520 134528085 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1797 385 566 18 0 1779 0 vsize: 7188 [startup+680.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30760 Raw data (stat): 30760 (Pueblo) R 30759 24300 24299 0 -1 0 407 0 0 0 67830 178 0 0 25 0 1 0 774834228 7360512 385 4294967295 134512640 134581331 3221224608 3221223520 134527432 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1797 385 566 18 0 1779 0 vsize: 7188 [startup+690.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30760 Raw data (stat): 30760 (Pueblo) R 30759 24300 24299 0 -1 0 407 0 0 0 68828 180 0 0 25 0 1 0 774834228 7360512 385 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1797 385 566 18 0 1779 0 vsize: 7188 [startup+700.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30760 Raw data (stat): 30760 (Pueblo) R 30759 24300 24299 0 -1 0 407 0 0 0 69824 184 0 0 25 0 1 0 774834228 7360512 385 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1797 385 566 18 0 1779 0 vsize: 7188 [startup+710.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30760 Raw data (stat): 30760 (Pueblo) R 30759 24300 24299 0 -1 0 407 0 0 0 70822 187 0 0 25 0 1 0 774834228 7360512 385 4294967295 134512640 134581331 3221224608 3221223520 134527454 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1797 385 566 18 0 1779 0 vsize: 7188 [startup+720.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30760 Raw data (stat): 30760 (Pueblo) R 30759 24300 24299 0 -1 0 407 0 0 0 71819 189 0 0 25 0 1 0 774834228 7360512 385 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1797 385 566 18 0 1779 0 vsize: 7188 [startup+730.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30760 Raw data (stat): 30760 (Pueblo) R 30759 24300 24299 0 -1 0 407 0 0 0 72817 192 0 0 25 0 1 0 774834228 7360512 385 4294967295 134512640 134581331 3221224608 3221223520 134527459 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1797 385 566 18 0 1779 0 vsize: 7188 [startup+740.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30760 Raw data (stat): 30760 (Pueblo) R 30759 24300 24299 0 -1 0 407 0 0 0 73815 194 0 0 25 0 1 0 774834228 7360512 385 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1797 385 566 18 0 1779 0 vsize: 7188 [startup+750.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30760 Raw data (stat): 30760 (Pueblo) R 30759 24300 24299 0 -1 0 408 0 0 0 74813 196 0 0 25 0 1 0 774834228 7360512 386 4294967295 134512640 134581331 3221224608 3221223552 134560136 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1797 386 566 18 0 1779 0 vsize: 7188 [startup+760.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30760 Raw data (stat): 30760 (Pueblo) R 30759 24300 24299 0 -1 0 408 0 0 0 75810 199 0 0 25 0 1 0 774834228 7360512 386 4294967295 134512640 134581331 3221224608 3221223600 134561089 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1797 386 566 18 0 1779 0 vsize: 7188 [startup+770.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30760 Raw data (stat): 30760 (Pueblo) R 30759 24300 24299 0 -1 0 408 0 0 0 76808 202 0 0 25 0 1 0 774834228 7360512 386 4294967295 134512640 134581331 3221224608 3221223488 134520297 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1797 386 566 18 0 1779 0 vsize: 7188 [startup+780.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30760 Raw data (stat): 30760 (Pueblo) R 30759 24300 24299 0 -1 0 408 0 0 0 77804 206 0 0 25 0 1 0 774834228 7360512 386 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1797 386 566 18 0 1779 0 vsize: 7188 [startup+790.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30760 Raw data (stat): 30760 (Pueblo) R 30759 24300 24299 0 -1 0 408 0 0 0 78802 208 0 0 25 0 1 0 774834228 7360512 386 4294967295 134512640 134581331 3221224608 3221223520 134527454 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1797 386 566 18 0 1779 0 vsize: 7188 [startup+800.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30760 Raw data (stat): 30760 (Pueblo) R 30759 24300 24299 0 -1 0 408 0 0 0 79799 211 0 0 25 0 1 0 774834228 7360512 386 4294967295 134512640 134581331 3221224608 3221223520 134527410 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1797 386 566 18 0 1779 0 vsize: 7188 [startup+810.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30760 Raw data (stat): 30760 (Pueblo) R 30759 24300 24299 0 -1 0 408 0 0 0 80797 214 0 0 25 0 1 0 774834228 7360512 386 4294967295 134512640 134581331 3221224608 3221223520 134527434 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1797 386 566 18 0 1779 0 vsize: 7188 [startup+820.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30760 Raw data (stat): 30760 (Pueblo) R 30759 24300 24299 0 -1 0 408 0 0 0 81794 217 0 0 25 0 1 0 774834228 7360512 386 4294967295 134512640 134581331 3221224608 3221223520 134527416 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1797 386 566 18 0 1779 0 vsize: 7188 [startup+830.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30760 Raw data (stat): 30760 (Pueblo) R 30759 24300 24299 0 -1 0 408 0 0 0 82791 220 0 0 25 0 1 0 774834228 7360512 386 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1797 386 566 18 0 1779 0 vsize: 7188 [startup+840.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30760 Raw data (stat): 30760 (Pueblo) R 30759 24300 24299 0 -1 0 408 0 0 0 83788 223 0 0 25 0 1 0 774834228 7360512 386 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1797 386 566 18 0 1779 0 vsize: 7188 [startup+850.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30760 Raw data (stat): 30760 (Pueblo) R 30759 24300 24299 0 -1 0 409 0 0 0 84786 226 0 0 25 0 1 0 774834228 7360512 387 4294967295 134512640 134581331 3221224608 3221223472 134560459 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1797 387 566 18 0 1779 0 vsize: 7188 [startup+860.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30760 Raw data (stat): 30760 (Pueblo) R 30759 24300 24299 0 -1 0 410 0 0 0 85783 228 0 0 25 0 1 0 774834228 7360512 388 4294967295 134512640 134581331 3221224608 3221223472 134528414 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1797 388 566 18 0 1779 0 vsize: 7188 [startup+870.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30760 Raw data (stat): 30760 (Pueblo) R 30759 24300 24299 0 -1 0 410 0 0 0 86781 230 0 0 25 0 1 0 774834228 7360512 388 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1797 388 566 18 0 1779 0 vsize: 7188 [startup+880.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30760 Raw data (stat): 30760 (Pueblo) R 30759 24300 24299 0 -1 0 410 0 0 0 87779 233 0 0 25 0 1 0 774834228 7360512 388 4294967295 134512640 134581331 3221224608 3221223520 134527539 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1797 388 566 18 0 1779 0 vsize: 7188 [startup+890.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30760 Raw data (stat): 30760 (Pueblo) R 30759 24300 24299 0 -1 0 410 0 0 0 88776 236 0 0 25 0 1 0 774834228 7360512 388 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1797 388 566 18 0 1779 0 vsize: 7188 [startup+900.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30760 Raw data (stat): 30760 (Pueblo) R 30759 24300 24299 0 -1 0 410 0 0 0 89773 239 0 0 25 0 1 0 774834228 7360512 388 4294967295 134512640 134581331 3221224608 3221223520 134527432 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1797 388 566 18 0 1779 0 vsize: 7188 [startup+910.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30760 Raw data (stat): 30760 (Pueblo) R 30759 24300 24299 0 -1 0 411 0 0 0 90770 242 0 0 25 0 1 0 774834228 7360512 389 4294967295 134512640 134581331 3221224608 3221223472 134560462 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1797 389 566 18 0 1779 0 vsize: 7188 [startup+920.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30760 Raw data (stat): 30760 (Pueblo) R 30759 24300 24299 0 -1 0 412 0 0 0 91767 245 0 0 25 0 1 0 774834228 7360512 390 4294967295 134512640 134581331 3221224608 3221223520 134527442 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1797 390 566 18 0 1779 0 vsize: 7188 [startup+930.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30760 Raw data (stat): 30760 (Pueblo) R 30759 24300 24299 0 -1 0 412 0 0 0 92765 248 0 0 25 0 1 0 774834228 7360512 390 4294967295 134512640 134581331 3221224608 3221223392 134528769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1797 390 566 18 0 1779 0 vsize: 7188 [startup+940.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30760 Raw data (stat): 30760 (Pueblo) R 30759 24300 24299 0 -1 0 412 0 0 0 93762 251 0 0 25 0 1 0 774834228 7360512 390 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1797 390 566 18 0 1779 0 vsize: 7188 [startup+950.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30760 Raw data (stat): 30760 (Pueblo) R 30759 24300 24299 0 -1 0 412 0 0 0 94760 253 0 0 25 0 1 0 774834228 7360512 390 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1797 390 566 18 0 1779 0 vsize: 7188 [startup+960.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30760 Raw data (stat): 30760 (Pueblo) R 30759 24300 24299 0 -1 0 412 0 0 0 95757 256 0 0 25 0 1 0 774834228 7360512 390 4294967295 134512640 134581331 3221224608 3221223520 134527404 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1797 390 566 18 0 1779 0 vsize: 7188 [startup+970.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30760 Raw data (stat): 30760 (Pueblo) R 30759 24300 24299 0 -1 0 412 0 0 0 96755 259 0 0 25 0 1 0 774834228 7360512 390 4294967295 134512640 134581331 3221224608 3221223520 134527404 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1797 390 566 18 0 1779 0 vsize: 7188 [startup+980.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30760 Raw data (stat): 30760 (Pueblo) R 30759 24300 24299 0 -1 0 412 0 0 0 97752 261 0 0 25 0 1 0 774834228 7360512 390 4294967295 134512640 134581331 3221224608 3221223504 134517844 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1797 390 566 18 0 1779 0 vsize: 7188 [startup+990.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30760 Raw data (stat): 30760 (Pueblo) R 30759 24300 24299 0 -1 0 412 0 0 0 98750 264 0 0 25 0 1 0 774834228 7360512 390 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1797 390 566 18 0 1779 0 vsize: 7188 [startup+1000.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30760 Raw data (stat): 30760 (Pueblo) R 30759 24300 24299 0 -1 0 412 0 0 0 99747 266 0 0 25 0 1 0 774834228 7360512 390 4294967295 134512640 134581331 3221224608 3221223520 134527432 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1797 390 566 18 0 1779 0 vsize: 7188 [startup+1010.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30760 Raw data (stat): 30760 (Pueblo) R 30759 24300 24299 0 -1 0 412 0 0 0 100745 269 0 0 25 0 1 0 774834228 7360512 390 4294967295 134512640 134581331 3221224608 3221223520 134527786 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1797 390 566 18 0 1779 0 vsize: 7188 [startup+1020.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30760 Raw data (stat): 30760 (Pueblo) R 30759 24300 24299 0 -1 0 413 0 0 0 101743 272 0 0 25 0 1 0 774834228 7360512 391 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1797 391 566 18 0 1779 0 vsize: 7188 [startup+1030.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30760 Raw data (stat): 30760 (Pueblo) R 30759 24300 24299 0 -1 0 413 0 0 0 102740 274 0 0 25 0 1 0 774834228 7360512 391 4294967295 134512640 134581331 3221224608 3221223520 134527645 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1797 391 566 18 0 1779 0 vsize: 7188 [startup+1040.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30760 Raw data (stat): 30760 (Pueblo) R 30759 24300 24299 0 -1 0 413 0 0 0 103737 277 0 0 25 0 1 0 774834228 7360512 391 4294967295 134512640 134581331 3221224608 3221223552 134559087 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1797 391 566 18 0 1779 0 vsize: 7188 [startup+1050.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30760 Raw data (stat): 30760 (Pueblo) R 30759 24300 24299 0 -1 0 413 0 0 0 104734 280 0 0 25 0 1 0 774834228 7360512 391 4294967295 134512640 134581331 3221224608 3221223520 134527445 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1797 391 566 18 0 1779 0 vsize: 7188 [startup+1060.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30760 Raw data (stat): 30760 (Pueblo) R 30759 24300 24299 0 -1 0 415 0 0 0 105732 284 0 0 25 0 1 0 774834228 7360512 393 4294967295 134512640 134581331 3221224608 3221223520 134527404 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1797 393 566 18 0 1779 0 vsize: 7188 [startup+1070.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30760 Raw data (stat): 30760 (Pueblo) R 30759 24300 24299 0 -1 0 415 0 0 0 106730 286 0 0 25 0 1 0 774834228 7360512 393 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1797 393 566 18 0 1779 0 vsize: 7188 [startup+1080.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30760 Raw data (stat): 30760 (Pueblo) R 30759 24300 24299 0 -1 0 415 0 0 0 107727 289 0 0 25 0 1 0 774834228 7360512 393 4294967295 134512640 134581331 3221224608 3221223520 134527534 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1797 393 566 18 0 1779 0 vsize: 7188 [startup+1090.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30760 Raw data (stat): 30760 (Pueblo) R 30759 24300 24299 0 -1 0 415 0 0 0 108724 292 0 0 25 0 1 0 774834228 7360512 393 4294967295 134512640 134581331 3221224608 3221223520 134527420 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1797 393 566 18 0 1779 0 vsize: 7188 [startup+1100.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30760 Raw data (stat): 30760 (Pueblo) R 30759 24300 24299 0 -1 0 415 0 0 0 109721 295 0 0 25 0 1 0 774834228 7360512 393 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1797 393 566 18 0 1779 0 vsize: 7188 [startup+1110.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30760 Raw data (stat): 30760 (Pueblo) R 30759 24300 24299 0 -1 0 415 0 0 0 110719 297 0 0 25 0 1 0 774834228 7360512 393 4294967295 134512640 134581331 3221224608 3221223520 134527434 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1797 393 566 18 0 1779 0 vsize: 7188 [startup+1120.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30760 Raw data (stat): 30760 (Pueblo) R 30759 24300 24299 0 -1 0 415 0 0 0 111716 300 0 0 25 0 1 0 774834228 7360512 393 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1797 393 566 18 0 1779 0 vsize: 7188 [startup+1130.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30760 Raw data (stat): 30760 (Pueblo) R 30759 24300 24299 0 -1 0 415 0 0 0 112714 302 0 0 25 0 1 0 774834228 7360512 393 4294967295 134512640 134581331 3221224608 3221223520 134527445 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1797 393 566 18 0 1779 0 vsize: 7188 [startup+1140.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30760 Raw data (stat): 30760 (Pueblo) R 30759 24300 24299 0 -1 0 415 0 0 0 113712 304 0 0 25 0 1 0 774834228 7360512 393 4294967295 134512640 134581331 3221224608 3221223520 134527772 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1797 393 566 18 0 1779 0 vsize: 7188 [startup+1150.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30760 Raw data (stat): 30760 (Pueblo) R 30759 24300 24299 0 -1 0 415 0 0 0 114710 307 0 0 25 0 1 0 774834228 7360512 393 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1797 393 566 18 0 1779 0 vsize: 7188 [startup+1160.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30760 Raw data (stat): 30760 (Pueblo) R 30759 24300 24299 0 -1 0 416 0 0 0 115707 310 0 0 25 0 1 0 774834228 7360512 394 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1797 394 566 18 0 1779 0 vsize: 7188 [startup+1170.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30760 Raw data (stat): 30760 (Pueblo) R 30759 24300 24299 0 -1 0 416 0 0 0 116704 313 0 0 25 0 1 0 774834228 7360512 394 4294967295 134512640 134581331 3221224608 3221223520 134527440 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1797 394 566 18 0 1779 0 vsize: 7188 [startup+1180.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30760 Raw data (stat): 30760 (Pueblo) R 30759 24300 24299 0 -1 0 416 0 0 0 117702 316 0 0 25 0 1 0 774834228 7360512 394 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1797 394 566 18 0 1779 0 vsize: 7188 [startup+1188.84 s] Raw data (loadavg): 0.99 0.97 0.91 1/53 30760 Raw data (stat): 30760 (Pueblo) R 30759 24300 24299 0 -1 0 416 0 0 0 117702 316 0 0 25 0 1 0 774834228 7360512 394 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1797 394 566 18 0 1779 0 vsize: 0 Child status: 10 Real time (s): 1188.84 CPU time (s): 1189.01 CPU user time (s): 1185.82 CPU system time (s): 3.19151 CPU usage (%): 100.015 Max. virtual memory (Kb): 7188 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 6656 #### END VERIFIER DATA ####