Name | normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos16.opb |
MD5SUM | 44281820d2b00a47b643433ffa4e2d73 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 117 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 8 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 255 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 138 |
Number of bits of the biggest number in a constraint | 8 |
Biggest sum of numbers in a constraint | 535 |
Number of bits of the biggest sum of numbers | 10 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 6.02808 |
Number of variables | 464 |
Total number of constraints | 1395 |
Number of constraints which are clauses | 336 |
Number of constraints which are cardinality constraints (but not clauses) | 336 |
Number of constraints which are nor clauses,nor cardinality constraints | 723 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 128 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-05-18 02:08:21 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=19598 boxname=wulflinc31 idbench=1508 idsolver=7 numberseed=0 MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911 /oldhome/oroussel/solvers/Pueblo MD5SUM BENCH: 44281820d2b00a47b643433ffa4e2d73 /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-neos16.opb REAL COMMAND: Pueblo /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-neos16.opb IDLAUNCH: 19598 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.153 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 : 3 cpu MHz : 451.153 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 : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 912380 kB Buffers: 1972 kB Cached: 98484 kB SwapCached: 932 kB Active: 53008 kB Inactive: 50652 kB HighTotal: 131008 kB HighFree: 28700 kB LowTotal: 903652 kB LowFree: 883680 kB SwapTotal: 2097892 kB SwapFree: 2096072 kB Dirty: 72 kB Writeback: 0 kB Mapped: 5380 kB Slab: 12784 kB Committed_AS: 63840 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-18 02:28:10 (client local time) WITH STATUS 10 IN 1189.02 SECONDS stats: 19598 0 1189.02 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/wulflinc31/normalized-mps-v2-13-7-neos16.opb c #variables read: 464 - #constraints read: 1406 s SATISFIABLE v C0377_bit0 -C0377_bit1 C0377_bit2 -C0377_bit3 C0377_bit4 C0377_bit5 C0377_bit6 -C0377_bit7 C0001_bit0 C0002_bit0 C0003_bit0 C0004_bit0 C0005_bit0 C0006_bit0 -C0007_bit0 -C0008_bit0 -C0009_bit0 C0010_bit0 C0011_bit0 C0012_bit0 -C0013_bit0 C0014_bit0 C0015_bit0 -C0016_bit0 C0017_bit0 C0018_bit0 C0019_bit0 C0020_bit0 -C0021_bit0 -C0022_bit0 C0023_bit0 C0024_bit0 C0025_bit0 C0026_bit0 C0027_bit0 C0028_bit0 C0029_bit0 C0030_bit0 C0031_bit0 C0032_bit0 -C0033_bit0 -C0034_bit0 C0035_bit0 -C0036_bit0 -C0037_bit0 C0038_bit0 -C0039_bit0 C0040_bit0 -C0041_bit0 -C0042_bit0 C0043_bit0 C0044_bit0 -C0045_bit0 C0046_bit0 -C0047_bit0 C0048_bit0 C0049_bit0 -C0050_bit0 C0051_bit0 -C0052_bit0 C0053_bit0 -C0054_bit0 -C0055_bit0 -C0056_bit0 -C0057_bit0 C0058_bit0 C0059_bit0 C0060_bit0 -C0061_bit0 -C0062_bit0 C0063_bit0 -C0064_bit0 -C0065_bit0 -C0066_bit0 -C0067_bit0 -C0068_bit0 -C0069_bit0 -C0070_bit0 -C0071_bit0 -C0072_bit0 -C0073_bit0 -C0074_bit0 -C0075_bit0 -C0076_bit0 -C0077_bit0 -C0078_bit0 C0079_bit0 -C0080_bit0 C0081_bit0 -C0082_bit0 C0083_bit0 C0084_bit0 -C0085_bit0 -C0086_bit0 -C0087_bit0 -C0088_bit0 -C0089_bit0 -C0090_bit0 C0091_bit0 C0092_bit0 C0093_bit0 -C0094_bit0 -C0095_bit0 -C0096_bit0 C0097_bit0 -C0098_bit0 -C0099_bit0 C0100_bit0 -C0101_bit0 -C0102_bit0 -C0103_bit0 -C0104_bit0 C0105_bit0 C0106_bit0 -C0107_bit0 -C0108_bit0 -C0109_bit0 -C0110_bit0 -C0111_bit0 -C0112_bit0 -C0113_bit0 -C0114_bit0 -C0115_bit0 -C0116_bit0 C0117_bit0 C0118_bit0 -C0119_bit0 C0120_bit0 C0121_bit0 -C0122_bit0 C0123_bit0 -C0124_bit0 C0125_bit0 C0126_bit0 -C0127_bit0 -C0128_bit0 C0129_bit0 -C0130_bit0 C0131_bit0 -C0132_bit0 -C0133_bit0 C0134_bit0 -C0135_bit0 C0136_bit0 -C0137_bit0 C0138_bit0 C0139_bit0 C0140_bit0 C0141_bit0 -C0142_bit0 -C0143_bit0 -C0144_bit0 C0145_bit0 C0146_bit0 -C0147_bit0 C0148_bit0 C0149_bit0 C0150_bit0 C0151_bit0 C0152_bit0 C0153_bit0 C0154_bit0 C0155_bit0 C0156_bit0 C0157_bit0 C0158_bit0 C0159_bit0 C0160_bit0 C0161_bit0 C0162_bit0 -C0163_bit0 C0164_bit0 -C0165_bit0 C0166_bit0 -C0167_bit0 -C0168_bit0 C0169_bit0 C0170_bit0 C0171_bit0 C0172_bit0 C0173_bit0 C0174_bit0 -C0175_bit0 C0176_bit0 -C0177_bit0 C0178_bit0 C0179_bit0 C0180_bit0 C0181_bit0 C0182_bit0 C0183_bit0 -C0184_bit0 -C0185_bit0 C0186_bit0 C0187_bit0 C0188_bit0 C0189_bit0 C0190_bit0 C0191_bit0 -C0192_bit0 C0193_bit0 -C0194_bit0 C0195_bit0 C0196_bit0 -C0197_bit0 C0198_bit0 -C0199_bit0 C0200_bit0 -C0201_bit0 C0202_bit0 -C0203_bit0 -C0204_bit0 C0205_bit0 -C0206_bit0 C0207_bit0 -C0208_bit0 -C0209_bit0 C0210_bit0 C0211_bit0 C0212_bit0 C0213_bit0 C0214_bit0 -C0215_bit0 C0216_bit0 -C0217_bit0 -C0218_bit0 -C0219_bit0 -C0220_bit0 -C0221_bit0 C0222_bit0 C0223_bit0 -C0224_bit0 -C0225_bit0 C0226_bit0 -C0227_bit0 -C0228_bit0 -C0229_bit0 -C0230_bit0 C0231_bit0 -C0232_bit0 -C0233_bit0 C0234_bit0 -C0235_bit0 -C0236_bit0 -C0237_bit0 C0238_bit0 C0239_bit0 C0240_bit0 C0241_bit0 C0242_bit0 C0243_bit0 C0244_bit0 -C0245_bit0 C0246_bit0 -C0247_bit0 -C0248_bit0 -C0249_bit0 -C0250_bit0 -C0251_bit0 C0252_bit0 -C0253_bit0 -C0254_bit0 -C0255_bit0 -C0256_bit0 -C0257_bit0 -C0258_bit0 C0259_bit0 -C0260_bit0 C0261_bit0 -C0262_bit0 -C0263_bit0 -C0264_bit0 -C0265_bit0 -C0266_bit0 -C0267_bit0 C0268_bit0 C0269_bit0 -C0270_bit0 -C0271_bit0 -C0272_bit0 -C0273_bit0 -C0274_bit0 -C0275_bit0 C0276_bit0 -C0277_bit0 C0278_bit0 -C0279_bit0 -C0280_bit0 C0281_bit0 -C0282_bit0 C0283_bit0 -C0284_bit0 C0285_bit0 -C0286_bit0 C0287_bit0 C0288_bit0 -C0289_bit0 C0290_bit0 -C0291_bit0 C0292_bit0 C0293_bit0 -C0294_bit0 -C0295_bit0 -C0296_bit0 -C0297_bit0 -C0298_bit0 C0299_bit0 -C0300_bit0 C0301_bit0 C0302_bit0 C0303_bit0 C0304_bit0 C0305_bit0 -C0306_bit0 -C0307_bit0 C0308_bit0 C0309_bit0 -C0310_bit0 C0311_bit0 C0312_bit0 C0313_bit0 C0314_bit0 -C0315_bit0 C0316_bit0 C0317_bit0 -C0318_bit0 C0319_bit0 C0320_bit0 C0321_bit0 -C0322_bit0 -C0323_bit0 -C0324_bit0 -C0325_bit0 -C0326_bit0 -C0327_bit0 -C0328_bit0 C0329_bit0 -C0330_bit0 C0331_bit0 C0332_bit0 C0333_bit0 C0334_bit0 C0335_bit0 -C0336_bit0 -C0337_bit0 -C0337_bit1 -C0337_bit2 -C0338_bit0 -C0338_bit1 C0338_bit2 -C0339_bit0 C0339_bit1 -C0339_bit2 C0340_bit0 C0340_bit1 -C0340_bit2 C0341_bit0 -C0341_bit1 -C0341_bit2 -C0342_bit0 C0342_bit1 C0342_bit2 C0343_bit0 -C0343_bit1 C0343_bit2 C0344_bit0 C0344_bit1 -C0344_bit2 C0345_bit0 C0345_bit1 -C0345_bit2 -C0346_bit0 C0346_bit1 C0346_bit2 -C0347_bit0 -C0347_bit1 -C0347_bit2 C0348_bit0 -C0348_bit1 -C0348_bit2 -C0349_bit0 -C0349_bit1 -C0349_bit2 C0350_bit0 -C0350_bit1 C0350_bit2 -C0351_bit0 -C0351_bit1 C0351_bit2 C0352_bit0 C0352_bit1 -C0352_bit2 -C0353_bit0 C0353_bit1 C0353_bit2 -C0354_bit0 C0354_bit1 -C0354_bit2 C0355_bit0 -C0355_bit1 C0355_bit2 C0356_bit0 -C0356_bit1 -C0356_bit2 -C0357_bit0 -C0357_bit1 C0357_bit2 -C0358_bit0 C0358_bit1 C0358_bit2 -C0359_bit0 C0359_bit1 -C0359_bit2 C0360_bit0 C0360_bit1 -C0360_bit2 -C0361_bit0 C0361_bit1 C0361_bit2 -C0362_bit0 -C0362_bit1 -C0362_bit2 C0363_bit0 -C0363_bit1 C0363_bit2 C0364_bit0 -C0364_bit1 -C0364_bit2 -C0365_bit0 -C0365_bit1 C0365_bit2 -C0366_bit0 -C0366_bit1 C0366_bit2 -C0367_bit0 -C0367_bit1 -C0367_bit2 -C0368_bit0 -C0368_bit1 -C0368_bit2 C0369_bit0 -C0369_bit1 -C0369_bit2 -C0370_bit0 C0370_bit1 C0370_bit2 C0371_bit0 -C0371_bit1 C0371_bit2 -C0372_bit0 -C0372_bit1 C0372_bit2 C0373_bit0 -C0373_bit1 -C0373_bit2 -C0374_bit0 C0374_bit1 -C0374_bit2 -C0375_bit0 -C0375_bit1 -C0375_bit2 C0376_bit0 C0376_bit1 -C0376_bit2 #### 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.78 0.93 0.90 2/55 1159 Raw data (stat): 1159 (runsolver) R 1158 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 774652911 1056768 100 4294967295 134512640 135381576 3221221680 3221216904 135158418 0 0 1 90112 0 0 0 17 1 0 0 Raw data (statm): 258 100 215 215 0 43 0 vsize: 1032 [startup+10.0017 s] Raw data (loadavg): 0.82 0.93 0.90 2/55 1159 Raw data (stat): 1159 (Pueblo) R 1158 7876 7672 0 -1 0 426 0 0 0 989 7 0 0 25 0 1 0 774652911 7376896 403 4294967295 134512640 134581331 3221221792 3221220656 134528163 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1801 403 566 18 0 1783 0 vsize: 7204 [startup+20.0022 s] Raw data (loadavg): 0.84 0.93 0.90 2/55 1159 Raw data (stat): 1159 (Pueblo) R 1158 7876 7672 0 -1 0 451 0 0 0 1986 11 0 0 25 0 1 0 774652911 7512064 428 4294967295 134512640 134581331 3221221792 3221220704 134527364 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1834 428 566 18 0 1816 0 vsize: 7336 [startup+30.0021 s] Raw data (loadavg): 0.87 0.93 0.90 2/55 1159 Raw data (stat): 1159 (Pueblo) R 1158 7876 7672 0 -1 0 462 0 0 0 2983 14 0 0 25 0 1 0 774652911 7512064 439 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1834 439 566 18 0 1816 0 vsize: 7336 [startup+40.0026 s] Raw data (loadavg): 0.89 0.93 0.90 2/55 1159 Raw data (stat): 1159 (Pueblo) R 1158 7876 7672 0 -1 0 470 0 0 0 3979 18 0 0 25 0 1 0 774652911 7512064 447 4294967295 134512640 134581331 3221221792 3221220704 134527454 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1834 447 566 18 0 1816 0 vsize: 7336 [startup+50.003 s] Raw data (loadavg): 0.90 0.93 0.90 2/55 1159 Raw data (stat): 1159 (Pueblo) R 1158 7876 7672 0 -1 0 475 0 0 0 4977 20 0 0 25 0 1 0 774652911 7634944 452 4294967295 134512640 134581331 3221221792 3221220704 134527442 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1864 452 566 18 0 1846 0 vsize: 7456 [startup+60.004 s] Raw data (loadavg): 0.92 0.94 0.91 2/55 1159 Raw data (stat): 1159 (Pueblo) R 1158 7876 7672 0 -1 0 485 0 0 0 5975 23 0 0 25 0 1 0 774652911 7634944 462 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1864 462 566 18 0 1846 0 vsize: 7456 [startup+70.0043 s] Raw data (loadavg): 0.93 0.94 0.91 2/55 1159 Raw data (stat): 1159 (Pueblo) R 1158 7876 7672 0 -1 0 486 0 0 0 6973 25 0 0 25 0 1 0 774652911 7634944 463 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1864 463 566 18 0 1846 0 vsize: 7456 [startup+80.0039 s] Raw data (loadavg): 0.94 0.94 0.91 2/55 1159 Raw data (stat): 1159 (Pueblo) R 1158 7876 7672 0 -1 0 501 0 0 0 7970 28 0 0 25 0 1 0 774652911 7634944 478 4294967295 134512640 134581331 3221221792 3221220776 134560819 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1864 478 566 18 0 1846 0 vsize: 7456 [startup+90.0039 s] Raw data (loadavg): 0.95 0.94 0.91 2/55 1159 Raw data (stat): 1159 (Pueblo) R 1158 7876 7672 0 -1 0 506 0 0 0 8967 31 0 0 25 0 1 0 774652911 7770112 483 4294967295 134512640 134581331 3221221792 3221220704 134527513 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1897 483 566 18 0 1879 0 vsize: 7588 [startup+100.004 s] Raw data (loadavg): 0.96 0.94 0.91 2/55 1159 Raw data (stat): 1159 (Pueblo) R 1158 7876 7672 0 -1 0 510 0 0 0 9965 34 0 0 25 0 1 0 774652911 7770112 487 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1897 487 566 18 0 1879 0 vsize: 7588 [startup+110.005 s] Raw data (loadavg): 0.96 0.94 0.91 2/55 1159 Raw data (stat): 1159 (Pueblo) R 1158 7876 7672 0 -1 0 519 0 0 0 10963 35 0 0 25 0 1 0 774652911 7770112 496 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1897 496 566 18 0 1879 0 vsize: 7588 [startup+120.005 s] Raw data (loadavg): 0.97 0.95 0.91 2/55 1159 Raw data (stat): 1159 (Pueblo) R 1158 7876 7672 0 -1 0 522 0 0 0 11960 39 0 0 25 0 1 0 774652911 7770112 499 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1897 499 566 18 0 1879 0 vsize: 7588 [startup+130.005 s] Raw data (loadavg): 0.97 0.95 0.91 2/55 1159 Raw data (stat): 1159 (Pueblo) R 1158 7876 7672 0 -1 0 528 0 0 0 12958 41 0 0 25 0 1 0 774652911 7770112 505 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1897 505 566 18 0 1879 0 vsize: 7588 [startup+140.006 s] Raw data (loadavg): 0.98 0.95 0.91 2/55 1159 Raw data (stat): 1159 (Pueblo) R 1158 7876 7672 0 -1 0 533 0 0 0 13955 44 0 0 25 0 1 0 774652911 7770112 510 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1897 510 566 18 0 1879 0 vsize: 7588 [startup+150.006 s] Raw data (loadavg): 0.98 0.95 0.91 2/55 1159 Raw data (stat): 1159 (Pueblo) R 1158 7876 7672 0 -1 0 533 0 0 0 14952 47 0 0 25 0 1 0 774652911 7770112 510 4294967295 134512640 134581331 3221221792 3221220704 134527418 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1897 510 566 18 0 1879 0 vsize: 7588 [startup+160.006 s] Raw data (loadavg): 0.98 0.95 0.91 2/55 1159 Raw data (stat): 1159 (Pueblo) R 1158 7876 7672 0 -1 0 540 0 0 0 15950 49 0 0 25 0 1 0 774652911 7905280 517 4294967295 134512640 134581331 3221221792 3221220672 134520258 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1930 517 566 18 0 1912 0 vsize: 7720 [startup+170.006 s] Raw data (loadavg): 0.98 0.95 0.91 2/55 1159 Raw data (stat): 1159 (Pueblo) R 1158 7876 7672 0 -1 0 544 0 0 0 16948 52 0 0 25 0 1 0 774652911 7905280 521 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1930 521 566 18 0 1912 0 vsize: 7720 [startup+180.006 s] Raw data (loadavg): 0.99 0.95 0.91 2/55 1159 Raw data (stat): 1159 (Pueblo) R 1158 7876 7672 0 -1 0 544 0 0 0 17945 55 0 0 25 0 1 0 774652911 7905280 521 4294967295 134512640 134581331 3221221792 3221220704 134527404 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1930 521 566 18 0 1912 0 vsize: 7720 [startup+190.007 s] Raw data (loadavg): 0.99 0.95 0.91 2/55 1159 Raw data (stat): 1159 (Pueblo) R 1158 7876 7672 0 -1 0 545 0 0 0 18943 57 0 0 25 0 1 0 774652911 7897088 522 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1928 522 566 18 0 1910 0 vsize: 7712 [startup+200.006 s] Raw data (loadavg): 0.99 0.95 0.91 2/55 1159 Raw data (stat): 1159 (Pueblo) R 1158 7876 7672 0 -1 0 547 0 0 0 19941 60 0 0 25 0 1 0 774652911 7897088 524 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1928 524 566 18 0 1910 0 vsize: 7712 [startup+210.006 s] Raw data (loadavg): 0.99 0.95 0.91 2/55 1159 Raw data (stat): 1159 (Pueblo) R 1158 7876 7672 0 -1 0 553 0 0 0 20937 63 0 0 25 0 1 0 774652911 7897088 530 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1928 530 566 18 0 1910 0 vsize: 7712 [startup+220.008 s] Raw data (loadavg): 0.99 0.95 0.91 2/55 1159 Raw data (stat): 1159 (Pueblo) R 1158 7876 7672 0 -1 0 553 0 0 0 21935 66 0 0 25 0 1 0 774652911 7897088 530 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1928 530 566 18 0 1910 0 vsize: 7712 [startup+230.007 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 1159 Raw data (stat): 1159 (Pueblo) R 1158 7876 7672 0 -1 0 553 0 0 0 22932 68 0 0 25 0 1 0 774652911 7897088 530 4294967295 134512640 134581331 3221221792 3221220704 134527442 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1928 530 566 18 0 1910 0 vsize: 7712 [startup+240.007 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 1159 Raw data (stat): 1159 (Pueblo) R 1158 7876 7672 0 -1 0 553 0 0 0 23930 71 0 0 25 0 1 0 774652911 7897088 530 4294967295 134512640 134581331 3221221792 3221220704 134527457 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1928 530 566 18 0 1910 0 vsize: 7712 [startup+250.007 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 1159 Raw data (stat): 1159 (Pueblo) R 1158 7876 7672 0 -1 0 555 0 0 0 24928 73 0 0 25 0 1 0 774652911 7897088 532 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1928 532 566 18 0 1910 0 vsize: 7712 [startup+260.007 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 1159 Raw data (stat): 1159 (Pueblo) R 1158 7876 7672 0 -1 0 555 0 0 0 25925 76 0 0 25 0 1 0 774652911 7897088 532 4294967295 134512640 134581331 3221221792 3221220704 134527445 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1928 532 566 18 0 1910 0 vsize: 7712 [startup+270.007 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 1159 Raw data (stat): 1159 (Pueblo) R 1158 7876 7672 0 -1 0 556 0 0 0 26922 79 0 0 25 0 1 0 774652911 7897088 533 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1928 533 566 18 0 1910 0 vsize: 7712 [startup+280.007 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 1159 Raw data (stat): 1159 (Pueblo) R 1158 7876 7672 0 -1 0 556 0 0 0 27919 82 0 0 25 0 1 0 774652911 7897088 533 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1928 533 566 18 0 1910 0 vsize: 7712 [startup+290.008 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 1159 Raw data (stat): 1159 (Pueblo) R 1158 7876 7672 0 -1 0 556 0 0 0 28916 86 0 0 25 0 1 0 774652911 7897088 533 4294967295 134512640 134581331 3221221792 3221220704 134527454 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1928 533 566 18 0 1910 0 vsize: 7712 [startup+300.008 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 1159 Raw data (stat): 1159 (Pueblo) R 1158 7876 7672 0 -1 0 558 0 0 0 29913 88 0 0 25 0 1 0 774652911 7897088 535 4294967295 134512640 134581331 3221221792 3221220704 134528074 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1928 535 566 18 0 1910 0 vsize: 7712 [startup+310.008 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 1159 Raw data (stat): 1159 (Pueblo) R 1158 7876 7672 0 -1 0 563 0 0 0 30911 91 0 0 25 0 1 0 774652911 7897088 540 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1928 540 566 18 0 1910 0 vsize: 7712 [startup+320.009 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 1159 Raw data (stat): 1159 (Pueblo) R 1158 7876 7672 0 -1 0 563 0 0 0 31909 94 0 0 25 0 1 0 774652911 7897088 540 4294967295 134512640 134581331 3221221792 3221220496 1075288356 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1928 540 566 18 0 1910 0 vsize: 7712 [startup+330.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1159 Raw data (stat): 1159 (Pueblo) R 1158 7876 7672 0 -1 0 563 0 0 0 32906 96 0 0 25 0 1 0 774652911 7897088 540 4294967295 134512640 134581331 3221221792 3221220704 134527504 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1928 540 566 18 0 1910 0 vsize: 7712 [startup+340.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1159 Raw data (stat): 1159 (Pueblo) R 1158 7876 7672 0 -1 0 571 0 0 0 33904 99 0 0 25 0 1 0 774652911 8028160 548 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1960 548 566 18 0 1942 0 vsize: 7840 [startup+350.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1159 Raw data (stat): 1159 (Pueblo) R 1158 7876 7672 0 -1 0 571 0 0 0 34902 101 0 0 25 0 1 0 774652911 8024064 548 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1959 548 566 18 0 1941 0 vsize: 7836 [startup+360.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1159 Raw data (stat): 1159 (Pueblo) R 1158 7876 7672 0 -1 0 572 0 0 0 35899 104 0 0 25 0 1 0 774652911 8024064 549 4294967295 134512640 134581331 3221221792 3221220736 134559249 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1959 549 566 18 0 1941 0 vsize: 7836 [startup+370.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1159 Raw data (stat): 1159 (Pueblo) R 1158 7876 7672 0 -1 0 572 0 0 0 36896 107 0 0 25 0 1 0 774652911 8024064 549 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1959 549 566 18 0 1941 0 vsize: 7836 [startup+380.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1159 Raw data (stat): 1159 (Pueblo) R 1158 7876 7672 0 -1 0 576 0 0 0 37894 110 0 0 25 0 1 0 774652911 8024064 553 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1959 553 566 18 0 1941 0 vsize: 7836 [startup+390.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1159 Raw data (stat): 1159 (Pueblo) R 1158 7876 7672 0 -1 0 582 0 0 0 38891 112 0 0 25 0 1 0 774652911 8024064 559 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1959 559 566 18 0 1941 0 vsize: 7836 [startup+400.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1159 Raw data (stat): 1159 (Pueblo) R 1158 7876 7672 0 -1 0 582 0 0 0 39888 116 0 0 25 0 1 0 774652911 8024064 559 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1959 559 566 18 0 1941 0 vsize: 7836 [startup+410.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1159 Raw data (stat): 1159 (Pueblo) R 1158 7876 7672 0 -1 0 588 0 0 0 40884 119 0 0 25 0 1 0 774652911 8024064 565 4294967295 134512640 134581331 3221221792 3221220704 134527513 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1959 565 566 18 0 1941 0 vsize: 7836 [startup+420.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1159 Raw data (stat): 1159 (Pueblo) R 1158 7876 7672 0 -1 0 591 0 0 0 41882 122 0 0 25 0 1 0 774652911 8024064 568 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1959 568 566 18 0 1941 0 vsize: 7836 [startup+430.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1159 Raw data (stat): 1159 (Pueblo) R 1158 7876 7672 0 -1 0 598 0 0 0 42880 124 0 0 25 0 1 0 774652911 8024064 575 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1959 575 566 18 0 1941 0 vsize: 7836 [startup+440.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1159 Raw data (stat): 1159 (Pueblo) R 1158 7876 7672 0 -1 0 598 0 0 0 43878 126 0 0 25 0 1 0 774652911 8024064 575 4294967295 134512640 134581331 3221221792 3221220656 134526949 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1959 575 566 18 0 1941 0 vsize: 7836 [startup+450.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1159 Raw data (stat): 1159 (Pueblo) R 1158 7876 7672 0 -1 0 598 0 0 0 44876 129 0 0 25 0 1 0 774652911 8024064 575 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1959 575 566 18 0 1941 0 vsize: 7836 [startup+460.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1159 Raw data (stat): 1159 (Pueblo) R 1158 7876 7672 0 -1 0 598 0 0 0 45874 130 0 0 25 0 1 0 774652911 8024064 575 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1959 575 566 18 0 1941 0 vsize: 7836 [startup+470.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1159 Raw data (stat): 1159 (Pueblo) R 1158 7876 7672 0 -1 0 598 0 0 0 46871 134 0 0 25 0 1 0 774652911 8024064 575 4294967295 134512640 134581331 3221221792 3221220704 134519035 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1959 575 566 18 0 1941 0 vsize: 7836 [startup+480.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1159 Raw data (stat): 1159 (Pueblo) R 1158 7876 7672 0 -1 0 598 0 0 0 47869 136 0 0 25 0 1 0 774652911 8024064 575 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1959 575 566 18 0 1941 0 vsize: 7836 [startup+490.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1159 Raw data (stat): 1159 (Pueblo) R 1158 7876 7672 0 -1 0 598 0 0 0 48868 138 0 0 25 0 1 0 774652911 8024064 575 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1959 575 566 18 0 1941 0 vsize: 7836 [startup+500.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1159 Raw data (stat): 1159 (Pueblo) R 1158 7876 7672 0 -1 0 598 0 0 0 49865 140 0 0 25 0 1 0 774652911 8024064 575 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1959 575 566 18 0 1941 0 vsize: 7836 [startup+510.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1159 Raw data (stat): 1159 (Pueblo) R 1158 7876 7672 0 -1 0 611 0 0 0 50864 142 0 0 25 0 1 0 774652911 8155136 588 4294967295 134512640 134581331 3221221792 3221220704 134528079 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1991 588 566 18 0 1973 0 vsize: 7964 [startup+520.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1159 Raw data (stat): 1159 (Pueblo) R 1158 7876 7672 0 -1 0 611 0 0 0 51862 144 0 0 25 0 1 0 774652911 8155136 588 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1991 588 566 18 0 1973 0 vsize: 7964 [startup+530.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1159 Raw data (stat): 1159 (Pueblo) R 1158 7876 7672 0 -1 0 611 0 0 0 52859 147 0 0 25 0 1 0 774652911 8155136 588 4294967295 134512640 134581331 3221221792 3221220708 1075285509 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1991 588 566 18 0 1973 0 vsize: 7964 [startup+540.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1159 Raw data (stat): 1159 (Pueblo) R 1158 7876 7672 0 -1 0 611 0 0 0 53855 151 0 0 25 0 1 0 774652911 8155136 588 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1991 588 566 18 0 1973 0 vsize: 7964 [startup+550.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1159 Raw data (stat): 1159 (Pueblo) R 1158 7876 7672 0 -1 0 611 0 0 0 54853 154 0 0 25 0 1 0 774652911 8155136 588 4294967295 134512640 134581331 3221221792 3221220704 134527418 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1991 588 566 18 0 1973 0 vsize: 7964 [startup+560.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1159 Raw data (stat): 1159 (Pueblo) R 1158 7876 7672 0 -1 0 611 0 0 0 55850 157 0 0 25 0 1 0 774652911 8155136 588 4294967295 134512640 134581331 3221221792 3221220736 134516821 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1991 588 566 18 0 1973 0 vsize: 7964 [startup+570.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1159 Raw data (stat): 1159 (Pueblo) R 1158 7876 7672 0 -1 0 611 0 0 0 56846 160 0 0 25 0 1 0 774652911 8155136 588 4294967295 134512640 134581331 3221221792 3221220704 134528072 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1991 588 566 18 0 1973 0 vsize: 7964 [startup+580.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1159 Raw data (stat): 1159 (Pueblo) R 1158 7876 7672 0 -1 0 611 0 0 0 57844 163 0 0 25 0 1 0 774652911 8155136 588 4294967295 134512640 134581331 3221221792 3221220704 134527418 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1991 588 566 18 0 1973 0 vsize: 7964 [startup+590.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1159 Raw data (stat): 1159 (Pueblo) R 1158 7876 7672 0 -1 0 611 0 0 0 58841 166 0 0 25 0 1 0 774652911 8155136 588 4294967295 134512640 134581331 3221221792 3221220704 134527442 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1991 588 566 18 0 1973 0 vsize: 7964 [startup+600.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1159 Raw data (stat): 1159 (Pueblo) R 1158 7876 7672 0 -1 0 618 0 0 0 59838 169 0 0 25 0 1 0 774652911 8155136 595 4294967295 134512640 134581331 3221221792 3221220656 134527103 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1991 595 566 18 0 1973 0 vsize: 7964 [startup+610.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1159 Raw data (stat): 1159 (Pueblo) R 1158 7876 7672 0 -1 0 618 0 0 0 60836 172 0 0 25 0 1 0 774652911 8155136 595 4294967295 134512640 134581331 3221221792 3221220704 134527519 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1991 595 566 18 0 1973 0 vsize: 7964 [startup+620.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1159 Raw data (stat): 1159 (Pueblo) R 1158 7876 7672 0 -1 0 618 0 0 0 61833 175 0 0 25 0 1 0 774652911 8155136 595 4294967295 134512640 134581331 3221221792 3221220760 134527282 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1991 595 566 18 0 1973 0 vsize: 7964 [startup+630.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1159 Raw data (stat): 1159 (Pueblo) R 1158 7876 7672 0 -1 0 618 0 0 0 62830 177 0 0 25 0 1 0 774652911 8155136 595 4294967295 134512640 134581331 3221221792 3221220704 134527525 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1991 595 566 18 0 1973 0 vsize: 7964 [startup+640.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1159 Raw data (stat): 1159 (Pueblo) R 1158 7876 7672 0 -1 0 618 0 0 0 63828 180 0 0 25 0 1 0 774652911 8155136 595 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1991 595 566 18 0 1973 0 vsize: 7964 [startup+650.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1159 Raw data (stat): 1159 (Pueblo) R 1158 7876 7672 0 -1 0 618 0 0 0 64825 183 0 0 25 0 1 0 774652911 8155136 595 4294967295 134512640 134581331 3221221792 3221220704 134527695 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1991 595 566 18 0 1973 0 vsize: 7964 [startup+660.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1159 Raw data (stat): 1159 (Pueblo) R 1158 7876 7672 0 -1 0 618 0 0 0 65821 187 0 0 25 0 1 0 774652911 8155136 595 4294967295 134512640 134581331 3221221792 3221220704 134527995 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1991 595 566 18 0 1973 0 vsize: 7964 [startup+670.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1159 Raw data (stat): 1159 (Pueblo) R 1158 7876 7672 0 -1 0 618 0 0 0 66819 190 0 0 25 0 1 0 774652911 8155136 595 4294967295 134512640 134581331 3221221792 3221220488 1075291632 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1991 595 566 18 0 1973 0 vsize: 7964 [startup+680.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1159 Raw data (stat): 1159 (Pueblo) R 1158 7876 7672 0 -1 0 618 0 0 0 67816 193 0 0 25 0 1 0 774652911 8155136 595 4294967295 134512640 134581331 3221221792 3221220684 134526884 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1991 595 566 18 0 1973 0 vsize: 7964 [startup+690.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1159 Raw data (stat): 1159 (Pueblo) R 1158 7876 7672 0 -1 0 618 0 0 0 68813 196 0 0 25 0 1 0 774652911 8155136 595 4294967295 134512640 134581331 3221221792 3221220704 134527355 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1991 595 566 18 0 1973 0 vsize: 7964 [startup+700.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1159 Raw data (stat): 1159 (Pueblo) R 1158 7876 7672 0 -1 0 618 0 0 0 69810 199 0 0 25 0 1 0 774652911 8155136 595 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1991 595 566 18 0 1973 0 vsize: 7964 [startup+710.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1159 Raw data (stat): 1159 (Pueblo) R 1158 7876 7672 0 -1 0 618 0 0 0 70807 202 0 0 25 0 1 0 774652911 8155136 595 4294967295 134512640 134581331 3221221792 3221220704 134527539 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1991 595 566 18 0 1973 0 vsize: 7964 [startup+720.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1159 Raw data (stat): 1159 (Pueblo) R 1158 7876 7672 0 -1 0 618 0 0 0 71804 205 0 0 25 0 1 0 774652911 8155136 595 4294967295 134512640 134581331 3221221792 3221220704 134527445 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1991 595 566 18 0 1973 0 vsize: 7964 [startup+730.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1159 Raw data (stat): 1159 (Pueblo) R 1158 7876 7672 0 -1 0 618 0 0 0 72802 208 0 0 25 0 1 0 774652911 8155136 595 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1991 595 566 18 0 1973 0 vsize: 7964 [startup+740.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1159 Raw data (stat): 1159 (Pueblo) R 1158 7876 7672 0 -1 0 618 0 0 0 73799 211 0 0 25 0 1 0 774652911 8155136 595 4294967295 134512640 134581331 3221221792 3221220704 134527695 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1991 595 566 18 0 1973 0 vsize: 7964 [startup+750.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1159 Raw data (stat): 1159 (Pueblo) R 1158 7876 7672 0 -1 0 629 0 0 0 74797 213 0 0 25 0 1 0 774652911 8155136 606 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1991 606 566 18 0 1973 0 vsize: 7964 [startup+760.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1159 Raw data (stat): 1159 (Pueblo) R 1158 7876 7672 0 -1 0 641 0 0 0 75795 215 0 0 25 0 1 0 774652911 8286208 618 4294967295 134512640 134581331 3221221792 3221220704 134527454 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2023 618 566 18 0 2005 0 vsize: 8092 [startup+770.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1159 Raw data (stat): 1159 (Pueblo) R 1158 7876 7672 0 -1 0 645 0 0 0 76792 218 0 0 25 0 1 0 774652911 8286208 622 4294967295 134512640 134581331 3221221792 3221220704 134527451 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2023 622 566 18 0 2005 0 vsize: 8092 [startup+780.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1159 Raw data (stat): 1159 (Pueblo) R 1158 7876 7672 0 -1 0 645 0 0 0 77790 220 0 0 25 0 1 0 774652911 8286208 622 4294967295 134512640 134581331 3221221792 3221220704 134527418 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2023 622 566 18 0 2005 0 vsize: 8092 [startup+790.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1159 Raw data (stat): 1159 (Pueblo) R 1158 7876 7672 0 -1 0 648 0 0 0 78788 222 0 0 25 0 1 0 774652911 8286208 625 4294967295 134512640 134581331 3221221792 3221220768 134560826 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2023 625 566 18 0 2005 0 vsize: 8092 [startup+800.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1159 Raw data (stat): 1159 (Pueblo) R 1158 7876 7672 0 -1 0 648 0 0 0 79787 224 0 0 25 0 1 0 774652911 8286208 625 4294967295 134512640 134581331 3221221792 3221220704 134527404 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2023 625 566 18 0 2005 0 vsize: 8092 [startup+810.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1159 Raw data (stat): 1159 (Pueblo) R 1158 7876 7672 0 -1 0 648 0 0 0 80785 226 0 0 25 0 1 0 774652911 8286208 625 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2023 625 566 18 0 2005 0 vsize: 8092 [startup+820.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1159 Raw data (stat): 1159 (Pueblo) R 1158 7876 7672 0 -1 0 648 0 0 0 81783 228 0 0 25 0 1 0 774652911 8286208 625 4294967295 134512640 134581331 3221221792 3221220760 134527282 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2023 625 566 18 0 2005 0 vsize: 8092 [startup+830.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1159 Raw data (stat): 1159 (Pueblo) R 1158 7876 7672 0 -1 0 648 0 0 0 82782 229 0 0 25 0 1 0 774652911 8286208 625 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2023 625 566 18 0 2005 0 vsize: 8092 [startup+840.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1159 Raw data (stat): 1159 (Pueblo) R 1158 7876 7672 0 -1 0 650 0 0 0 83780 232 0 0 25 0 1 0 774652911 8286208 627 4294967295 134512640 134581331 3221221792 3221220704 134527418 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2023 627 566 18 0 2005 0 vsize: 8092 [startup+850.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1159 Raw data (stat): 1159 (Pueblo) R 1158 7876 7672 0 -1 0 650 0 0 0 84778 234 0 0 25 0 1 0 774652911 8286208 627 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2023 627 566 18 0 2005 0 vsize: 8092 [startup+860.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1159 Raw data (stat): 1159 (Pueblo) R 1158 7876 7672 0 -1 0 650 0 0 0 85775 236 0 0 25 0 1 0 774652911 8286208 627 4294967295 134512640 134581331 3221221792 3221220704 134527404 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2023 627 566 18 0 2005 0 vsize: 8092 [startup+870.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1159 Raw data (stat): 1159 (Pueblo) R 1158 7876 7672 0 -1 0 652 0 0 0 86775 237 0 0 25 0 1 0 774652911 8286208 629 4294967295 134512640 134581331 3221221792 3221220704 134527442 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2023 629 566 18 0 2005 0 vsize: 8092 [startup+880.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1159 Raw data (stat): 1159 (Pueblo) R 1158 7876 7672 0 -1 0 652 0 0 0 87773 239 0 0 25 0 1 0 774652911 8286208 629 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2023 629 566 18 0 2005 0 vsize: 8092 [startup+890.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1159 Raw data (stat): 1159 (Pueblo) R 1158 7876 7672 0 -1 0 652 0 0 0 88772 240 0 0 25 0 1 0 774652911 8286208 629 4294967295 134512640 134581331 3221221792 3221220704 134527454 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2023 629 566 18 0 2005 0 vsize: 8092 [startup+900.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1159 Raw data (stat): 1159 (Pueblo) R 1158 7876 7672 0 -1 0 652 0 0 0 89769 243 0 0 25 0 1 0 774652911 8286208 629 4294967295 134512640 134581331 3221221792 3221220704 134527418 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2023 629 566 18 0 2005 0 vsize: 8092 [startup+910.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1159 Raw data (stat): 1159 (Pueblo) R 1158 7876 7672 0 -1 0 652 0 0 0 90768 244 0 0 25 0 1 0 774652911 8286208 629 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2023 629 566 18 0 2005 0 vsize: 8092 [startup+920.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1159 Raw data (stat): 1159 (Pueblo) R 1158 7876 7672 0 -1 0 652 0 0 0 91766 247 0 0 25 0 1 0 774652911 8286208 629 4294967295 134512640 134581331 3221221792 3221220704 134528079 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2023 629 566 18 0 2005 0 vsize: 8092 [startup+930.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1159 Raw data (stat): 1159 (Pueblo) R 1158 7876 7672 0 -1 0 657 0 0 0 92764 248 0 0 25 0 1 0 774652911 8286208 634 4294967295 134512640 134581331 3221221792 3221220704 134527534 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2023 634 566 18 0 2005 0 vsize: 8092 [startup+940.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1159 Raw data (stat): 1159 (Pueblo) R 1158 7876 7672 0 -1 0 657 0 0 0 93762 251 0 0 25 0 1 0 774652911 8286208 634 4294967295 134512640 134581331 3221221792 3221220768 134560826 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2023 634 566 18 0 2005 0 vsize: 8092 [startup+950.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1159 Raw data (stat): 1159 (Pueblo) R 1158 7876 7672 0 -1 0 657 0 0 0 94760 253 0 0 25 0 1 0 774652911 8286208 634 4294967295 134512640 134581331 3221221792 3221220704 134527554 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2023 634 566 18 0 2005 0 vsize: 8092 [startup+960.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1159 Raw data (stat): 1159 (Pueblo) R 1158 7876 7672 0 -1 0 657 0 0 0 95758 255 0 0 25 0 1 0 774652911 8286208 634 4294967295 134512640 134581331 3221221792 3221220784 134560785 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2023 634 566 18 0 2005 0 vsize: 8092 [startup+970.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1159 Raw data (stat): 1159 (Pueblo) R 1158 7876 7672 0 -1 0 657 0 0 0 96755 259 0 0 25 0 1 0 774652911 8286208 634 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2023 634 566 18 0 2005 0 vsize: 8092 [startup+980.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1159 Raw data (stat): 1159 (Pueblo) R 1158 7876 7672 0 -1 0 657 0 0 0 97753 261 0 0 25 0 1 0 774652911 8286208 634 4294967295 134512640 134581331 3221221792 3221220488 1075291632 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2023 634 566 18 0 2005 0 vsize: 8092 [startup+990.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1159 Raw data (stat): 1159 (Pueblo) R 1158 7876 7672 0 -1 0 657 0 0 0 98749 264 0 0 25 0 1 0 774652911 8286208 634 4294967295 134512640 134581331 3221221792 3221220704 134527539 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2023 634 566 18 0 2005 0 vsize: 8092 [startup+1000.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1159 Raw data (stat): 1159 (Pueblo) R 1158 7876 7672 0 -1 0 657 0 0 0 99747 267 0 0 25 0 1 0 774652911 8286208 634 4294967295 134512640 134581331 3221221792 3221220704 134527534 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2023 634 566 18 0 2005 0 vsize: 8092 [startup+1010.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1159 Raw data (stat): 1159 (Pueblo) R 1158 7876 7672 0 -1 0 657 0 0 0 100744 269 0 0 25 0 1 0 774652911 8286208 634 4294967295 134512640 134581331 3221221792 3221220704 134527451 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2023 634 566 18 0 2005 0 vsize: 8092 [startup+1020.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1159 Raw data (stat): 1159 (Pueblo) R 1158 7876 7672 0 -1 0 657 0 0 0 101743 271 0 0 25 0 1 0 774652911 8286208 634 4294967295 134512640 134581331 3221221792 3221220704 134527440 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2023 634 566 18 0 2005 0 vsize: 8092 [startup+1030.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1159 Raw data (stat): 1159 (Pueblo) R 1158 7876 7672 0 -1 0 657 0 0 0 102740 274 0 0 25 0 1 0 774652911 8286208 634 4294967295 134512640 134581331 3221221792 3221220704 134527442 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2023 634 566 18 0 2005 0 vsize: 8092 [startup+1040.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1159 Raw data (stat): 1159 (Pueblo) R 1158 7876 7672 0 -1 0 657 0 0 0 103738 276 0 0 25 0 1 0 774652911 8286208 634 4294967295 134512640 134581331 3221221792 3221220760 134527282 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2023 634 566 18 0 2005 0 vsize: 8092 [startup+1050.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1159 Raw data (stat): 1159 (Pueblo) R 1158 7876 7672 0 -1 0 657 0 0 0 104736 279 0 0 25 0 1 0 774652911 8286208 634 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2023 634 566 18 0 2005 0 vsize: 8092 [startup+1060.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1159 Raw data (stat): 1159 (Pueblo) R 1158 7876 7672 0 -1 0 657 0 0 0 105734 281 0 0 25 0 1 0 774652911 8286208 634 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2023 634 566 18 0 2005 0 vsize: 8092 [startup+1070.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1159 Raw data (stat): 1159 (Pueblo) R 1158 7876 7672 0 -1 0 657 0 0 0 106731 284 0 0 25 0 1 0 774652911 8286208 634 4294967295 134512640 134581331 3221221792 3221220488 1075291632 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2023 634 566 18 0 2005 0 vsize: 8092 [startup+1080.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1159 Raw data (stat): 1159 (Pueblo) R 1158 7876 7672 0 -1 0 657 0 0 0 107729 286 0 0 25 0 1 0 774652911 8286208 634 4294967295 134512640 134581331 3221221792 3221220480 1075288243 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2023 634 566 18 0 2005 0 vsize: 8092 [startup+1090.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1159 Raw data (stat): 1159 (Pueblo) R 1158 7876 7672 0 -1 0 657 0 0 0 108726 289 0 0 25 0 1 0 774652911 8286208 634 4294967295 134512640 134581331 3221221792 3221220704 134527534 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2023 634 566 18 0 2005 0 vsize: 8092 [startup+1100.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1159 Raw data (stat): 1159 (Pueblo) R 1158 7876 7672 0 -1 0 661 0 0 0 109724 291 0 0 25 0 1 0 774652911 8286208 638 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2023 638 566 18 0 2005 0 vsize: 8092 [startup+1110.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1159 Raw data (stat): 1159 (Pueblo) R 1158 7876 7672 0 -1 0 661 0 0 0 110722 293 0 0 25 0 1 0 774652911 8286208 638 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2023 638 566 18 0 2005 0 vsize: 8092 [startup+1120.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1159 Raw data (stat): 1159 (Pueblo) R 1158 7876 7672 0 -1 0 661 0 0 0 111720 296 0 0 25 0 1 0 774652911 8286208 638 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2023 638 566 18 0 2005 0 vsize: 8092 [startup+1130.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1159 Raw data (stat): 1159 (Pueblo) R 1158 7876 7672 0 -1 0 661 0 0 0 112718 298 0 0 25 0 1 0 774652911 8286208 638 4294967295 134512640 134581331 3221221792 3221220704 134527418 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2023 638 566 18 0 2005 0 vsize: 8092 [startup+1140.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1159 Raw data (stat): 1159 (Pueblo) R 1158 7876 7672 0 -1 0 661 0 0 0 113716 300 0 0 25 0 1 0 774652911 8286208 638 4294967295 134512640 134581331 3221221792 3221220704 134528042 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2023 638 566 18 0 2005 0 vsize: 8092 [startup+1150.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1159 Raw data (stat): 1159 (Pueblo) R 1158 7876 7672 0 -1 0 661 0 0 0 114714 303 0 0 25 0 1 0 774652911 8286208 638 4294967295 134512640 134581331 3221221792 3221220692 134528056 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2023 638 566 18 0 2005 0 vsize: 8092 [startup+1160.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1159 Raw data (stat): 1159 (Pueblo) R 1158 7876 7672 0 -1 0 661 0 0 0 115711 305 0 0 25 0 1 0 774652911 8286208 638 4294967295 134512640 134581331 3221221792 3221220704 134527454 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2023 638 566 18 0 2005 0 vsize: 8092 [startup+1170.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1159 Raw data (stat): 1159 (Pueblo) R 1158 7876 7672 0 -1 0 661 0 0 0 116708 308 0 0 25 0 1 0 774652911 8286208 638 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2023 638 566 18 0 2005 0 vsize: 8092 [startup+1180.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1159 Raw data (stat): 1159 (Pueblo) R 1158 7876 7672 0 -1 0 661 0 0 0 117705 312 0 0 25 0 1 0 774652911 8286208 638 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2023 638 566 18 0 2005 0 vsize: 8092 [startup+1188.87 s] Raw data (loadavg): 0.99 0.97 0.91 1/54 1159 Raw data (stat): 1159 (Pueblo) R 1158 7876 7672 0 -1 0 661 0 0 0 117705 312 0 0 25 0 1 0 774652911 8286208 638 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2023 638 566 18 0 2005 0 vsize: 0 Child status: 10 Real time (s): 1188.87 CPU time (s): 1189.02 CPU user time (s): 1185.88 CPU system time (s): 3.14452 CPU usage (%): 100.013 Max. virtual memory (Kb): 8092 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 117 #### END VERIFIER DATA ####