Name | normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-sentoy.opb |
MD5SUM | 4df3e7eb358d27d446e34b975724a6c1 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -7772 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 60 |
Biggest coefficient in the objective function | 974 |
Number of bits for the biggest coefficient in the objective function | 10 |
Sum of the numbers in the objective function | 9460 |
Number of bits of the sum of numbers in the objective function | 14 |
Biggest number in a constraint | 6000 |
Number of bits of the biggest number in a constraint | 13 |
Biggest sum of numbers in a constraint | 26162 |
Number of bits of the biggest sum of numbers | 15 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.01884 |
Number of variables | 60 |
Total number of constraints | 90 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 60 |
Number of constraints which are nor clauses,nor cardinality constraints | 30 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 60 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-05-22 21:30:04 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=17258 boxname=wulflinc31 idbench=1328 idsolver=7 numberseed=0 MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911 /oldhome/oroussel/solvers/Pueblo MD5SUM BENCH: 4df3e7eb358d27d446e34b975724a6c1 /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-sentoy.opb REAL COMMAND: Pueblo /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-sentoy.opb IDLAUNCH: 17258 /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: 868688 kB Buffers: 26352 kB Cached: 119572 kB SwapCached: 1024 kB Active: 81308 kB Inactive: 66772 kB HighTotal: 131008 kB HighFree: 12432 kB LowTotal: 903652 kB LowFree: 856256 kB SwapTotal: 2097892 kB SwapFree: 2095884 kB Dirty: 12 kB Writeback: 0 kB Mapped: 5096 kB Slab: 12324 kB Committed_AS: 63860 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-22 21:49:54 (client local time) WITH STATUS 10 IN 1189.02 SECONDS stats: 17258 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-sentoy.opb c #variables read: 60 - #constraints read: 91 s SATISFIABLE v -Y1_bit0 Y2_bit0 -Y3_bit0 -Y4_bit0 Y5_bit0 -Y6_bit0 -Y7_bit0 Y8_bit0 Y9_bit0 -Y10_bit0 Y11_bit0 -Y12_bit0 Y13_bit0 -Y14_bit0 -Y15_bit0 -Y16_bit0 Y17_bit0 Y18_bit0 Y19_bit0 Y20_bit0 Y21_bit0 -Y22_bit0 -Y23_bit0 -Y24_bit0 -Y25_bit0 -Y26_bit0 Y27_bit0 -Y28_bit0 -Y29_bit0 Y30_bit0 -Y31_bit0 -Y32_bit0 -Y33_bit0 -Y34_bit0 -Y35_bit0 Y36_bit0 -Y37_bit0 -Y38_bit0 Y39_bit0 -Y40_bit0 -Y41_bit0 -Y42_bit0 -Y43_bit0 Y44_bit0 -Y45_bit0 -Y46_bit0 Y47_bit0 -Y48_bit0 -Y49_bit0 -Y50_bit0 -Y51_bit0 -Y52_bit0 -Y53_bit0 -Y54_bit0 -Y55_bit0 -Y56_bit0 Y57_bit0 -Y58_bit0 Y59_bit0 -Y60_bit0 #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Raw data (loadavg): 0.76 0.91 0.89 2/55 29700 Raw data (stat): 29700 (runsolver) R 29699 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 816188032 1056768 100 4294967295 134512640 135381576 3221221680 3221216904 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0 Raw data (statm): 258 100 215 215 0 43 0 vsize: 1032 [startup+10.001 s] Raw data (loadavg): 0.79 0.91 0.89 2/55 29700 Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 277 0 0 0 989 8 0 0 25 0 1 0 816188032 6815744 254 4294967295 134512640 134581331 3221221792 3221220656 134528254 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1664 254 566 18 0 1646 0 vsize: 6656 [startup+20.0016 s] Raw data (loadavg): 0.83 0.91 0.89 2/55 29700 Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 278 0 0 0 1982 15 0 0 25 0 1 0 816188032 6815744 255 4294967295 134512640 134581331 3221221792 3221220704 134527510 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1664 255 566 18 0 1646 0 vsize: 6656 [startup+30.0012 s] Raw data (loadavg): 0.85 0.92 0.89 2/55 29700 Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 280 0 0 0 2974 23 0 0 25 0 1 0 816188032 6815744 257 4294967295 134512640 134581331 3221221792 3221220688 134517902 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1664 257 566 18 0 1646 0 vsize: 6656 [startup+40.0015 s] Raw data (loadavg): 0.87 0.92 0.89 2/55 29700 Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 282 0 0 0 3965 31 0 0 25 0 1 0 816188032 6815744 259 4294967295 134512640 134581331 3221221792 3221220656 134528368 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1664 259 566 18 0 1646 0 vsize: 6656 [startup+50.002 s] Raw data (loadavg): 0.89 0.92 0.90 2/55 29700 Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 283 0 0 0 4958 39 0 0 25 0 1 0 816188032 6815744 260 4294967295 134512640 134581331 3221221792 3221220704 134527731 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1664 260 566 18 0 1646 0 vsize: 6656 [startup+60.003 s] Raw data (loadavg): 0.91 0.92 0.90 2/55 29700 Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 285 0 0 0 5948 48 0 0 25 0 1 0 816188032 6815744 262 4294967295 134512640 134581331 3221221792 3221220704 134527701 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1664 262 566 18 0 1646 0 vsize: 6656 [startup+70.0042 s] Raw data (loadavg): 0.92 0.92 0.90 2/55 29700 Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 286 0 0 0 6940 56 0 0 25 0 1 0 816188032 6815744 263 4294967295 134512640 134581331 3221221792 3221220736 134558874 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1664 263 566 18 0 1646 0 vsize: 6656 [startup+80.0042 s] Raw data (loadavg): 0.93 0.93 0.90 2/55 29700 Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 287 0 0 0 7932 65 0 0 25 0 1 0 816188032 6815744 264 4294967295 134512640 134581331 3221221792 3221220704 134527410 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1664 264 566 18 0 1646 0 vsize: 6656 [startup+90.0048 s] Raw data (loadavg): 0.94 0.93 0.90 2/55 29700 Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 288 0 0 0 8925 72 0 0 25 0 1 0 816188032 6815744 265 4294967295 134512640 134581331 3221221792 3221220688 134517851 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1664 265 566 18 0 1646 0 vsize: 6656 [startup+100.005 s] Raw data (loadavg): 0.95 0.93 0.90 2/55 29700 Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 288 0 0 0 9917 79 0 0 25 0 1 0 816188032 6815744 265 4294967295 134512640 134581331 3221221792 3221220656 134528258 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1664 265 566 18 0 1646 0 vsize: 6656 [startup+110.006 s] Raw data (loadavg): 0.96 0.93 0.90 2/55 29700 Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 290 0 0 0 10910 86 0 0 25 0 1 0 816188032 6815744 267 4294967295 134512640 134581331 3221221792 3221220704 134528039 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1664 267 566 18 0 1646 0 vsize: 6656 [startup+120.007 s] Raw data (loadavg): 0.96 0.93 0.90 2/55 29700 Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 292 0 0 0 11902 95 0 0 25 0 1 0 816188032 6815744 269 4294967295 134512640 134581331 3221221792 3221220896 134562799 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1664 269 566 18 0 1646 0 vsize: 6656 [startup+130.007 s] Raw data (loadavg): 0.97 0.94 0.90 2/55 29700 Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 292 0 0 0 12896 101 0 0 25 0 1 0 816188032 6815744 269 4294967295 134512640 134581331 3221221792 3221220756 134554656 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1664 269 566 18 0 1646 0 vsize: 6656 [startup+140.008 s] Raw data (loadavg): 0.97 0.94 0.90 2/55 29700 Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 292 0 0 0 13887 110 0 0 25 0 1 0 816188032 6815744 269 4294967295 134512640 134581331 3221221792 3221220704 134527454 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1664 269 566 18 0 1646 0 vsize: 6656 [startup+150.008 s] Raw data (loadavg): 0.98 0.94 0.91 2/55 29700 Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 292 0 0 0 14878 119 0 0 25 0 1 0 816188032 6815744 269 4294967295 134512640 134581331 3221221792 3221220656 134528358 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1664 269 566 18 0 1646 0 vsize: 6656 [startup+160.01 s] Raw data (loadavg): 0.98 0.94 0.91 2/55 29700 Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 293 0 0 0 15869 128 0 0 25 0 1 0 816188032 6815744 270 4294967295 134512640 134581331 3221221792 3221220800 134560559 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1664 270 566 18 0 1646 0 vsize: 6656 [startup+170.009 s] Raw data (loadavg): 0.98 0.94 0.91 2/55 29700 Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 293 0 0 0 16861 137 0 0 25 0 1 0 816188032 6815744 270 4294967295 134512640 134581331 3221221792 3221220656 134528287 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1664 270 566 18 0 1646 0 vsize: 6656 [startup+180.009 s] Raw data (loadavg): 0.98 0.94 0.91 2/55 29700 Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 293 0 0 0 17853 145 0 0 25 0 1 0 816188032 6815744 270 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1664 270 566 18 0 1646 0 vsize: 6656 [startup+190.01 s] Raw data (loadavg): 0.99 0.94 0.91 2/55 29700 Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 294 0 0 0 18845 153 0 0 25 0 1 0 816188032 6815744 271 4294967295 134512640 134581331 3221221792 3221220704 134527432 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1664 271 566 18 0 1646 0 vsize: 6656 [startup+200.01 s] Raw data (loadavg): 0.99 0.95 0.91 2/55 29700 Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 295 0 0 0 19836 162 0 0 25 0 1 0 816188032 6815744 272 4294967295 134512640 134581331 3221221792 3221220704 134527525 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1664 272 566 18 0 1646 0 vsize: 6656 [startup+210.011 s] Raw data (loadavg): 0.99 0.95 0.91 2/55 29700 Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 296 0 0 0 20830 168 0 0 25 0 1 0 816188032 6815744 273 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1664 273 566 18 0 1646 0 vsize: 6656 [startup+220.011 s] Raw data (loadavg): 0.99 0.95 0.91 2/55 29700 Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 296 0 0 0 21823 175 0 0 25 0 1 0 816188032 6815744 273 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1664 273 566 18 0 1646 0 vsize: 6656 [startup+230.011 s] Raw data (loadavg): 0.99 0.95 0.91 2/55 29700 Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 296 0 0 0 22816 182 0 0 25 0 1 0 816188032 6815744 273 4294967295 134512640 134581331 3221221792 3221220676 134557882 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1664 273 566 18 0 1646 0 vsize: 6656 [startup+240.011 s] Raw data (loadavg): 0.99 0.95 0.91 2/55 29700 Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 296 0 0 0 23807 192 0 0 25 0 1 0 816188032 6815744 273 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1664 273 566 18 0 1646 0 vsize: 6656 [startup+250.011 s] Raw data (loadavg): 0.99 0.95 0.91 2/55 29700 Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 296 0 0 0 24798 200 0 0 25 0 1 0 816188032 6815744 273 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1664 273 566 18 0 1646 0 vsize: 6656 [startup+260.012 s] Raw data (loadavg): 0.99 0.95 0.91 2/55 29700 Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 296 0 0 0 25789 209 0 0 25 0 1 0 816188032 6815744 273 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1664 273 566 18 0 1646 0 vsize: 6656 [startup+270.011 s] Raw data (loadavg): 0.99 0.95 0.91 2/55 29700 Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 297 0 0 0 26782 217 0 0 25 0 1 0 816188032 6815744 274 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1664 274 566 18 0 1646 0 vsize: 6656 [startup+280.012 s] Raw data (loadavg): 0.99 0.95 0.91 2/55 29700 Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 298 0 0 0 27774 225 0 0 25 0 1 0 816188032 6815744 275 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1664 275 566 18 0 1646 0 vsize: 6656 [startup+290.012 s] Raw data (loadavg): 0.99 0.95 0.91 2/55 29700 Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 298 0 0 0 28767 233 0 0 25 0 1 0 816188032 6815744 275 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1664 275 566 18 0 1646 0 vsize: 6656 [startup+300.012 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 29700 Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 299 0 0 0 29760 240 0 0 25 0 1 0 816188032 6815744 276 4294967295 134512640 134581331 3221221792 3221220576 134528824 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1664 276 566 18 0 1646 0 vsize: 6656 [startup+310.013 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 29700 Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 303 0 0 0 30753 247 0 0 25 0 1 0 816188032 6815744 280 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1664 280 566 18 0 1646 0 vsize: 6656 [startup+320.012 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 29700 Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 303 0 0 0 31745 254 0 0 25 0 1 0 816188032 6815744 280 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1664 280 566 18 0 1646 0 vsize: 6656 [startup+330.012 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 29700 Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 303 0 0 0 32737 263 0 0 25 0 1 0 816188032 6815744 280 4294967295 134512640 134581331 3221221792 3221220704 134527534 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1664 280 566 18 0 1646 0 vsize: 6656 [startup+340.012 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 29700 Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 303 0 0 0 33728 272 0 0 25 0 1 0 816188032 6815744 280 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1664 280 566 18 0 1646 0 vsize: 6656 [startup+350.012 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 29700 Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 303 0 0 0 34720 280 0 0 25 0 1 0 816188032 6815744 280 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1664 280 566 18 0 1646 0 vsize: 6656 [startup+360.013 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 29700 Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 303 0 0 0 35713 288 0 0 25 0 1 0 816188032 6815744 280 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1664 280 566 18 0 1646 0 vsize: 6656 [startup+370.013 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 29700 Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 303 0 0 0 36706 294 0 0 25 0 1 0 816188032 6815744 280 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1664 280 566 18 0 1646 0 vsize: 6656 [startup+380.013 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 29700 Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 303 0 0 0 37697 304 0 0 25 0 1 0 816188032 6815744 280 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1664 280 566 18 0 1646 0 vsize: 6656 [startup+390.014 s] Raw data (loadavg): 0.99 0.96 0.91 2/55 29700 Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 303 0 0 0 38690 311 0 0 25 0 1 0 816188032 6815744 280 4294967295 134512640 134581331 3221221792 3221220704 134527703 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1664 280 566 18 0 1646 0 vsize: 6656 [startup+400.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29700 Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 303 0 0 0 39683 318 0 0 25 0 1 0 816188032 6815744 280 4294967295 134512640 134581331 3221221792 3221220576 134528804 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1664 280 566 18 0 1646 0 vsize: 6656 [startup+410.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29700 Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 303 0 0 0 40675 326 0 0 25 0 1 0 816188032 6815744 280 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1664 280 566 18 0 1646 0 vsize: 6656 [startup+420.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29700 Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 303 0 0 0 41667 335 0 0 25 0 1 0 816188032 6815744 280 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1664 280 566 18 0 1646 0 vsize: 6656 [startup+430.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29700 Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 303 0 0 0 42661 341 0 0 25 0 1 0 816188032 6815744 280 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1664 280 566 18 0 1646 0 vsize: 6656 [startup+440.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29700 Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 303 0 0 0 43651 351 0 0 25 0 1 0 816188032 6815744 280 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1664 280 566 18 0 1646 0 vsize: 6656 [startup+450.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29700 Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 303 0 0 0 44642 360 0 0 25 0 1 0 816188032 6815744 280 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1664 280 566 18 0 1646 0 vsize: 6656 [startup+460.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29700 Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 303 0 0 0 45635 368 0 0 25 0 1 0 816188032 6815744 280 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1664 280 566 18 0 1646 0 vsize: 6656 [startup+470.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29700 Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 303 0 0 0 46626 377 0 0 25 0 1 0 816188032 6815744 280 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1664 280 566 18 0 1646 0 vsize: 6656 [startup+480.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29700 Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 303 0 0 0 47618 385 0 0 25 0 1 0 816188032 6815744 280 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1664 280 566 18 0 1646 0 vsize: 6656 [startup+490.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29700 Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 303 0 0 0 48611 392 0 0 25 0 1 0 816188032 6815744 280 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1664 280 566 18 0 1646 0 vsize: 6656 [startup+500.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29700 Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 303 0 0 0 49603 400 0 0 25 0 1 0 816188032 6815744 280 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1664 280 566 18 0 1646 0 vsize: 6656 [startup+510.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29700 Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 303 0 0 0 50597 407 0 0 25 0 1 0 816188032 6815744 280 4294967295 134512640 134581331 3221221792 3221220688 134517608 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1664 280 566 18 0 1646 0 vsize: 6656 [startup+520.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29700 Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 303 0 0 0 51590 413 0 0 25 0 1 0 816188032 6815744 280 4294967295 134512640 134581331 3221221792 3221220720 134519829 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1664 280 566 18 0 1646 0 vsize: 6656 [startup+530.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29700 Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 303 0 0 0 52581 423 0 0 25 0 1 0 816188032 6815744 280 4294967295 134512640 134581331 3221221792 3221220656 134560416 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1664 280 566 18 0 1646 0 vsize: 6656 [startup+540.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29700 Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 304 0 0 0 53573 431 0 0 25 0 1 0 816188032 6930432 281 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1692 281 566 18 0 1674 0 vsize: 6768 [startup+550.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29700 Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 304 0 0 0 54566 438 0 0 25 0 1 0 816188032 6930432 281 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1692 281 566 18 0 1674 0 vsize: 6768 [startup+560.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29700 Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 304 0 0 0 55558 446 0 0 25 0 1 0 816188032 6930432 281 4294967295 134512640 134581331 3221221792 3221220656 134528278 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1692 281 566 18 0 1674 0 vsize: 6768 [startup+570.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29700 Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 304 0 0 0 56549 456 0 0 25 0 1 0 816188032 6930432 281 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1692 281 566 18 0 1674 0 vsize: 6768 [startup+580.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29700 Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 304 0 0 0 57541 464 0 0 25 0 1 0 816188032 6930432 281 4294967295 134512640 134581331 3221221792 3221220656 134528368 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1692 281 566 18 0 1674 0 vsize: 6768 [startup+590.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29700 Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 304 0 0 0 58534 471 0 0 25 0 1 0 816188032 6930432 281 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1692 281 566 18 0 1674 0 vsize: 6768 [startup+600.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29700 Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 304 0 0 0 59527 478 0 0 25 0 1 0 816188032 6930432 281 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1692 281 566 18 0 1674 0 vsize: 6768 [startup+610.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29700 Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 304 0 0 0 60519 487 0 0 25 0 1 0 816188032 6930432 281 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1692 281 566 18 0 1674 0 vsize: 6768 [startup+620.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29700 Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 304 0 0 0 61511 495 0 0 25 0 1 0 816188032 6930432 281 4294967295 134512640 134581331 3221221792 3221220656 134528248 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1692 281 566 18 0 1674 0 vsize: 6768 [startup+630.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29700 Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 304 0 0 0 62504 502 0 0 25 0 1 0 816188032 6930432 281 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1692 281 566 18 0 1674 0 vsize: 6768 [startup+640.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29700 Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 304 0 0 0 63496 510 0 0 25 0 1 0 816188032 6930432 281 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1692 281 566 18 0 1674 0 vsize: 6768 [startup+650.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29700 Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 304 0 0 0 64488 518 0 0 25 0 1 0 816188032 6930432 281 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1692 281 566 18 0 1674 0 vsize: 6768 [startup+660.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29700 Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 304 0 0 0 65481 525 0 0 25 0 1 0 816188032 6930432 281 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1692 281 566 18 0 1674 0 vsize: 6768 [startup+670.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29700 Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 304 0 0 0 66474 532 0 0 25 0 1 0 816188032 6930432 281 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1692 281 566 18 0 1674 0 vsize: 6768 [startup+680.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29700 Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 304 0 0 0 67464 542 0 0 25 0 1 0 816188032 6930432 281 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1692 281 566 18 0 1674 0 vsize: 6768 [startup+690.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29700 Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 304 0 0 0 68455 552 0 0 25 0 1 0 816188032 6930432 281 4294967295 134512640 134581331 3221221792 3221220656 134528258 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1692 281 566 18 0 1674 0 vsize: 6768 [startup+700.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29700 Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 304 0 0 0 69447 560 0 0 25 0 1 0 816188032 6930432 281 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1692 281 566 18 0 1674 0 vsize: 6768 [startup+710.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29700 Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 304 0 0 0 70439 568 0 0 25 0 1 0 816188032 6930432 281 4294967295 134512640 134581331 3221221792 3221220704 134528079 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1692 281 566 18 0 1674 0 vsize: 6768 [startup+720.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29700 Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 304 0 0 0 71430 577 0 0 25 0 1 0 816188032 6930432 281 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1692 281 566 18 0 1674 0 vsize: 6768 [startup+730.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29700 Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 307 0 0 0 72422 585 0 0 25 0 1 0 816188032 6930432 284 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1692 284 566 18 0 1674 0 vsize: 6768 [startup+740.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29700 Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 307 0 0 0 73414 593 0 0 25 0 1 0 816188032 6930432 284 4294967295 134512640 134581331 3221221792 3221220704 134558513 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1692 284 566 18 0 1674 0 vsize: 6768 [startup+750.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29700 Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 307 0 0 0 74404 604 0 0 25 0 1 0 816188032 6930432 284 4294967295 134512640 134581331 3221221792 3221220656 134528378 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1692 284 566 18 0 1674 0 vsize: 6768 [startup+760.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29700 Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 307 0 0 0 75395 613 0 0 25 0 1 0 816188032 6930432 284 4294967295 134512640 134581331 3221221792 3221220688 134517875 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1692 284 566 18 0 1674 0 vsize: 6768 [startup+770.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29700 Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 307 0 0 0 76386 622 0 0 25 0 1 0 816188032 6930432 284 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1692 284 566 18 0 1674 0 vsize: 6768 [startup+780.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29700 Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 307 0 0 0 77378 630 0 0 25 0 1 0 816188032 6930432 284 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1692 284 566 18 0 1674 0 vsize: 6768 [startup+790.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29700 Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 307 0 0 0 78369 639 0 0 25 0 1 0 816188032 6930432 284 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1692 284 566 18 0 1674 0 vsize: 6768 [startup+800.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29700 Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 307 0 0 0 79359 649 0 0 25 0 1 0 816188032 6930432 284 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1692 284 566 18 0 1674 0 vsize: 6768 [startup+810.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29700 Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 307 0 0 0 80349 660 0 0 25 0 1 0 816188032 6930432 284 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1692 284 566 18 0 1674 0 vsize: 6768 [startup+820.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29700 Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 309 0 0 0 81340 669 0 0 25 0 1 0 816188032 6930432 286 4294967295 134512640 134581331 3221221792 3221220656 134528350 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1692 286 566 18 0 1674 0 vsize: 6768 [startup+830.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29700 Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 309 0 0 0 82331 678 0 0 25 0 1 0 816188032 6930432 286 4294967295 134512640 134581331 3221221792 3221220736 134558956 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1692 286 566 18 0 1674 0 vsize: 6768 [startup+840.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29700 Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 309 0 0 0 83321 688 0 0 25 0 1 0 816188032 6930432 286 4294967295 134512640 134581331 3221221792 3221220656 134528366 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1692 286 566 18 0 1674 0 vsize: 6768 [startup+850.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29700 Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 309 0 0 0 84313 696 0 0 25 0 1 0 816188032 6930432 286 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1692 286 566 18 0 1674 0 vsize: 6768 [startup+860.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29700 Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 309 0 0 0 85305 705 0 0 25 0 1 0 816188032 6930432 286 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1692 286 566 18 0 1674 0 vsize: 6768 [startup+870.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29700 Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 309 0 0 0 86296 714 0 0 25 0 1 0 816188032 6930432 286 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1692 286 566 18 0 1674 0 vsize: 6768 [startup+880.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29700 Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 309 0 0 0 87287 723 0 0 25 0 1 0 816188032 6930432 286 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1692 286 566 18 0 1674 0 vsize: 6768 [startup+890.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29700 Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 309 0 0 0 88279 731 0 0 25 0 1 0 816188032 6930432 286 4294967295 134512640 134581331 3221221792 3221220656 134528287 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1692 286 566 18 0 1674 0 vsize: 6768 [startup+900.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29700 Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 309 0 0 0 89270 740 0 0 25 0 1 0 816188032 6930432 286 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1692 286 566 18 0 1674 0 vsize: 6768 [startup+910.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29700 Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 309 0 0 0 90264 747 0 0 25 0 1 0 816188032 6930432 286 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1692 286 566 18 0 1674 0 vsize: 6768 [startup+920.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29700 Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 309 0 0 0 91252 759 0 0 25 0 1 0 816188032 6930432 286 4294967295 134512640 134581331 3221221792 3221220704 134527504 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1692 286 566 18 0 1674 0 vsize: 6768 [startup+930.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29700 Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 309 0 0 0 92243 768 0 0 25 0 1 0 816188032 6930432 286 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1692 286 566 18 0 1674 0 vsize: 6768 [startup+940.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29700 Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 309 0 0 0 93232 779 0 0 25 0 1 0 816188032 6930432 286 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1692 286 566 18 0 1674 0 vsize: 6768 [startup+950.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29700 Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 309 0 0 0 94222 789 0 0 25 0 1 0 816188032 6930432 286 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1692 286 566 18 0 1674 0 vsize: 6768 [startup+960.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29700 Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 310 0 0 0 95212 799 0 0 25 0 1 0 816188032 6930432 287 4294967295 134512640 134581331 3221221792 3221220764 134527304 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1692 287 566 18 0 1674 0 vsize: 6768 [startup+970.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29700 Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 310 0 0 0 96202 810 0 0 25 0 1 0 816188032 6930432 287 4294967295 134512640 134581331 3221221792 3221220656 134528267 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1692 287 566 18 0 1674 0 vsize: 6768 [startup+980.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29700 Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 310 0 0 0 97191 821 0 0 25 0 1 0 816188032 6930432 287 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1692 287 566 18 0 1674 0 vsize: 6768 [startup+990.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29700 Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 310 0 0 0 98183 830 0 0 25 0 1 0 816188032 6930432 287 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1692 287 566 18 0 1674 0 vsize: 6768 [startup+1000.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29700 Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 310 0 0 0 99172 841 0 0 25 0 1 0 816188032 6930432 287 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1692 287 566 18 0 1674 0 vsize: 6768 [startup+1010.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29700 Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 310 0 0 0 100163 850 0 0 25 0 1 0 816188032 6930432 287 4294967295 134512640 134581331 3221221792 3221220656 134528272 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1692 287 566 18 0 1674 0 vsize: 6768 [startup+1020.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29700 Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 310 0 0 0 101154 859 0 0 25 0 1 0 816188032 6930432 287 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1692 287 566 18 0 1674 0 vsize: 6768 [startup+1030.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29700 Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 310 0 0 0 102144 869 0 0 25 0 1 0 816188032 6930432 287 4294967295 134512640 134581331 3221221792 3221220704 134527423 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1692 287 566 18 0 1674 0 vsize: 6768 [startup+1040.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29700 Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 310 0 0 0 103132 881 0 0 25 0 1 0 816188032 6930432 287 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1692 287 566 18 0 1674 0 vsize: 6768 [startup+1050.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29700 Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 311 0 0 0 104122 891 0 0 25 0 1 0 816188032 6930432 288 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1692 288 566 18 0 1674 0 vsize: 6768 [startup+1060.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29700 Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 311 0 0 0 105111 903 0 0 25 0 1 0 816188032 6930432 288 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1692 288 566 18 0 1674 0 vsize: 6768 [startup+1070.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29700 Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 311 0 0 0 106098 916 0 0 25 0 1 0 816188032 6930432 288 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1692 288 566 18 0 1674 0 vsize: 6768 [startup+1080.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29700 Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 313 0 0 0 107089 925 0 0 25 0 1 0 816188032 6930432 290 4294967295 134512640 134581331 3221221792 3221220656 134528272 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1692 290 566 18 0 1674 0 vsize: 6768 [startup+1090.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29700 Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 313 0 0 0 108077 937 0 0 25 0 1 0 816188032 6930432 290 4294967295 134512640 134581331 3221221792 3221220576 134528820 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1692 290 566 18 0 1674 0 vsize: 6768 [startup+1100.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29700 Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 313 0 0 0 109066 948 0 0 25 0 1 0 816188032 6930432 290 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1692 290 566 18 0 1674 0 vsize: 6768 [startup+1110.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29700 Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 313 0 0 0 110056 958 0 0 25 0 1 0 816188032 6930432 290 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1692 290 566 18 0 1674 0 vsize: 6768 [startup+1120.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29700 Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 314 0 0 0 111045 969 0 0 25 0 1 0 816188032 6930432 291 4294967295 134512640 134581331 3221221792 3221220772 134560793 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1692 291 566 18 0 1674 0 vsize: 6768 [startup+1130.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29700 Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 314 0 0 0 112035 980 0 0 25 0 1 0 816188032 6930432 291 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1692 291 566 18 0 1674 0 vsize: 6768 [startup+1140.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29700 Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 315 0 0 0 113023 992 0 0 25 0 1 0 816188032 6930432 292 4294967295 134512640 134581331 3221221792 3221220676 134557948 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1692 292 566 18 0 1674 0 vsize: 6768 [startup+1150.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29700 Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 315 0 0 0 114012 1004 0 0 25 0 1 0 816188032 6930432 292 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1692 292 566 18 0 1674 0 vsize: 6768 [startup+1160.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29700 Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 317 0 0 0 115001 1015 0 0 25 0 1 0 816188032 6930432 294 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1692 294 566 18 0 1674 0 vsize: 6768 [startup+1170.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29700 Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 317 0 0 0 115989 1027 0 0 25 0 1 0 816188032 6930432 294 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1692 294 566 18 0 1674 0 vsize: 6768 [startup+1180.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 29700 Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 317 0 0 0 116978 1038 0 0 25 0 1 0 816188032 6930432 294 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1692 294 566 18 0 1674 0 vsize: 6768 [startup+1188.89 s] Raw data (loadavg): 0.99 0.97 0.91 1/54 29700 Raw data (stat): 29700 (Pueblo) R 29699 7876 7672 0 -1 0 317 0 0 0 116978 1038 0 0 25 0 1 0 816188032 6930432 294 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 1692 294 566 18 0 1674 0 vsize: 0 Child status: 10 Real time (s): 1188.89 CPU time (s): 1189.02 CPU user time (s): 1178.51 CPU system time (s): 10.5064 CPU usage (%): 100.011 Max. virtual memory (Kb): 6768 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK -3888 #### END VERIFIER DATA ####