Name | normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-aflow40b.opb |
MD5SUM | 7872170cf5be0e3f0e6be125266c16ee |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 1364 |
Biggest coefficient in the objective function | 500 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 230637 |
Number of bits of the sum of numbers in the objective function | 18 |
Biggest number in a constraint | 12800 |
Number of bits of the biggest number in a constraint | 14 |
Biggest sum of numbers in a constraint | 879673 |
Number of bits of the biggest sum of numbers | 20 |
Best result obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Number of variables | 19292 |
Total number of constraints | 4170 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 1403 |
Number of constraints which are nor clauses,nor cardinality constraints | 2767 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 980 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-05-22 16:47:25 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=17414 boxname=wulflinc31 idbench=1340 idsolver=7 numberseed=0 MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911 /oldhome/oroussel/solvers/Pueblo MD5SUM BENCH: 7872170cf5be0e3f0e6be125266c16ee /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-aflow40b.opb REAL COMMAND: Pueblo /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-aflow40b.opb IDLAUNCH: 17414 /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: 893692 kB Buffers: 7656 kB Cached: 113380 kB SwapCached: 1024 kB Active: 67488 kB Inactive: 55688 kB HighTotal: 131008 kB HighFree: 18620 kB LowTotal: 903652 kB LowFree: 875072 kB SwapTotal: 2097892 kB SwapFree: 2095884 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5096 kB Slab: 12264 kB Committed_AS: 63848 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-22 17:07:28 (client local time) WITH STATUS 0 IN 1200.21 SECONDS stats: 17414 7 1200.21 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### #### 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.92 0.95 0.91 2/55 26783 Raw data (stat): 26783 (runsolver) R 26782 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 814491949 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+9.99967 s] Raw data (loadavg): 0.93 0.96 0.91 2/55 26783 Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 2656 0 0 0 989 7 0 0 25 0 1 0 814491949 17481728 2633 4294967295 134512640 134581331 3221221792 3221220688 134517871 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4268 2633 566 18 0 4250 0 vsize: 17072 [startup+20.0007 s] Raw data (loadavg): 0.94 0.96 0.91 2/55 26783 Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 2706 0 0 0 1988 8 0 0 25 0 1 0 814491949 17657856 2683 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4311 2683 566 18 0 4293 0 vsize: 17244 [startup+30.001 s] Raw data (loadavg): 0.95 0.96 0.91 2/55 26783 Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 2890 0 0 0 2988 9 0 0 25 0 1 0 814491949 18448384 2867 4294967295 134512640 134581331 3221221792 3221220704 134527539 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4504 2867 566 18 0 4486 0 vsize: 18016 [startup+40.0015 s] Raw data (loadavg): 0.96 0.96 0.91 2/55 26783 Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 3178 0 0 0 3986 10 0 0 25 0 1 0 814491949 19619840 3155 4294967295 134512640 134581331 3221221792 3221220704 134527539 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4790 3155 566 18 0 4772 0 vsize: 19160 [startup+50.0024 s] Raw data (loadavg): 0.96 0.96 0.91 2/55 26783 Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 3623 0 0 0 4985 12 0 0 25 0 1 0 814491949 21442560 3600 4294967295 134512640 134581331 3221221792 3221220772 134560793 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5235 3600 566 18 0 5217 0 vsize: 20940 [startup+60.0028 s] Raw data (loadavg): 0.97 0.96 0.91 2/55 26783 Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 3922 0 0 0 5985 12 0 0 25 0 1 0 814491949 22728704 3899 4294967295 134512640 134581331 3221221792 3221220508 1075288233 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5549 3899 566 18 0 5531 0 vsize: 22196 [startup+70.0033 s] Raw data (loadavg): 0.97 0.96 0.91 2/55 26783 Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 4170 0 0 0 6984 14 0 0 25 0 1 0 814491949 23638016 4147 4294967295 134512640 134581331 3221221792 3221220704 134528074 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5771 4147 566 18 0 5753 0 vsize: 23084 [startup+80.0032 s] Raw data (loadavg): 0.98 0.96 0.91 2/55 26783 Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 4474 0 0 0 7982 15 0 0 25 0 1 0 814491949 24940544 4451 4294967295 134512640 134581331 3221221792 3221220704 134527432 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6089 4451 566 18 0 6071 0 vsize: 24356 [startup+90.0042 s] Raw data (loadavg): 0.98 0.96 0.91 2/55 26783 Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 4535 0 0 0 8982 16 0 0 25 0 1 0 814491949 25194496 4512 4294967295 134512640 134581331 3221221792 3221220704 134527454 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6151 4512 566 18 0 6133 0 vsize: 24604 [startup+100.004 s] Raw data (loadavg): 0.98 0.96 0.91 2/55 26783 Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 4535 0 0 0 9982 16 0 0 25 0 1 0 814491949 25194496 4512 4294967295 134512640 134581331 3221221792 3221220704 134527418 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6151 4512 566 18 0 6133 0 vsize: 24604 [startup+110.004 s] Raw data (loadavg): 0.98 0.97 0.91 2/55 26783 Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 4535 0 0 0 10981 16 0 0 25 0 1 0 814491949 25194496 4512 4294967295 134512640 134581331 3221221792 3221220704 134527432 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6151 4512 566 18 0 6133 0 vsize: 24604 [startup+120.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 26783 Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 4727 0 0 0 11981 17 0 0 25 0 1 0 814491949 25952256 4704 4294967295 134512640 134581331 3221221792 3221220704 134527429 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6336 4704 566 18 0 6318 0 vsize: 25344 [startup+130.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 26783 Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 4727 0 0 0 12981 17 0 0 25 0 1 0 814491949 25952256 4704 4294967295 134512640 134581331 3221221792 3221220704 134528074 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6336 4704 566 18 0 6318 0 vsize: 25344 [startup+140.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 26783 Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 4727 0 0 0 13980 18 0 0 25 0 1 0 814491949 25952256 4704 4294967295 134512640 134581331 3221221792 3221220704 134527534 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6336 4704 566 18 0 6318 0 vsize: 25344 [startup+150.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 26783 Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 4866 0 0 0 14980 18 0 0 25 0 1 0 814491949 26591232 4843 4294967295 134512640 134581331 3221221792 3221220704 134527418 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6492 4843 566 18 0 6474 0 vsize: 25968 [startup+160.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 26783 Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 5186 0 0 0 15979 20 0 0 25 0 1 0 814491949 27852800 5163 4294967295 134512640 134581331 3221221792 3221220672 134520271 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6800 5163 566 18 0 6782 0 vsize: 27200 [startup+170.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 26783 Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 5290 0 0 0 16978 20 0 0 25 0 1 0 814491949 28237824 5267 4294967295 134512640 134581331 3221221792 3221220704 134527418 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6894 5267 566 18 0 6876 0 vsize: 27576 [startup+180.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 26783 Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 5290 0 0 0 17978 20 0 0 25 0 1 0 814491949 28237824 5267 4294967295 134512640 134581331 3221221792 3221220704 134527519 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6894 5267 566 18 0 6876 0 vsize: 27576 [startup+190.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 26783 Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 5290 0 0 0 18978 21 0 0 25 0 1 0 814491949 28237824 5267 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6894 5267 566 18 0 6876 0 vsize: 27576 [startup+200.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 26783 Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 5290 0 0 0 19978 21 0 0 25 0 1 0 814491949 28237824 5267 4294967295 134512640 134581331 3221221792 3221220688 134517862 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6894 5267 566 18 0 6876 0 vsize: 27576 [startup+210.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 26783 Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 5467 0 0 0 20977 22 0 0 25 0 1 0 814491949 28999680 5444 4294967295 134512640 134581331 3221221792 3221220688 134517905 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7080 5444 566 18 0 7062 0 vsize: 28320 [startup+220.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 26783 Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 5766 0 0 0 21977 22 0 0 25 0 1 0 814491949 30269440 5743 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7390 5743 566 18 0 7372 0 vsize: 29560 [startup+230.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 26783 Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 5956 0 0 0 22976 23 0 0 25 0 1 0 814491949 31047680 5933 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7580 5933 566 18 0 7562 0 vsize: 30320 [startup+240.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 26783 Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 6156 0 0 0 23975 24 0 0 25 0 1 0 814491949 31854592 6133 4294967295 134512640 134581331 3221221792 3221220704 134527534 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7777 6133 566 18 0 7759 0 vsize: 31108 [startup+250.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 26783 Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 6551 0 0 0 24975 25 0 0 25 0 1 0 814491949 33517568 6528 4294967295 134512640 134581331 3221221792 3221220688 134517902 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8183 6528 566 18 0 8165 0 vsize: 32732 [startup+260.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 26783 Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 6853 0 0 0 25974 26 0 0 25 0 1 0 814491949 34652160 6830 4294967295 134512640 134581331 3221221792 3221220704 134527454 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8460 6830 566 18 0 8442 0 vsize: 33840 [startup+270.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 26783 Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 7119 0 0 0 26973 27 0 0 25 0 1 0 814491949 35811328 7096 4294967295 134512640 134581331 3221221792 3221220704 134527539 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8743 7096 566 18 0 8725 0 vsize: 34972 [startup+280.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 26783 Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 7315 0 0 0 27972 28 0 0 25 0 1 0 814491949 36577280 7292 4294967295 134512640 134581331 3221221792 3221220704 134528088 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8930 7292 566 18 0 8912 0 vsize: 35720 [startup+290.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 26783 Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 7315 0 0 0 28972 28 0 0 25 0 1 0 814491949 36577280 7292 4294967295 134512640 134581331 3221221792 3221220688 134517880 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8930 7292 566 18 0 8912 0 vsize: 35720 [startup+300.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 26783 Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 7315 0 0 0 29972 29 0 0 25 0 1 0 814491949 36577280 7292 4294967295 134512640 134581331 3221221792 3221220704 134527510 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8930 7292 566 18 0 8912 0 vsize: 35720 [startup+310.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 26783 Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 7315 0 0 0 30972 29 0 0 25 0 1 0 814491949 36577280 7292 4294967295 134512640 134581331 3221221792 3221220688 134517905 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8930 7292 566 18 0 8912 0 vsize: 35720 [startup+320.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 26783 Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 7315 0 0 0 31971 29 0 0 25 0 1 0 814491949 36577280 7292 4294967295 134512640 134581331 3221221792 3221220704 134527459 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8930 7292 566 18 0 8912 0 vsize: 35720 [startup+330.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 26783 Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 7425 0 0 0 32971 30 0 0 25 0 1 0 814491949 37093376 7402 4294967295 134512640 134581331 3221221792 3221220704 134527534 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9056 7402 566 18 0 9038 0 vsize: 36224 [startup+340.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 26783 Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 7763 0 0 0 33971 30 0 0 25 0 1 0 814491949 38473728 7740 4294967295 134512640 134581331 3221221792 3221220704 134527510 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9393 7740 566 18 0 9375 0 vsize: 37572 [startup+350.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 26783 Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 8015 0 0 0 34970 31 0 0 25 0 1 0 814491949 39391232 7992 4294967295 134512640 134581331 3221221792 3221220704 134527701 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9617 7992 566 18 0 9599 0 vsize: 38468 [startup+360.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 26783 Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 8279 0 0 0 35970 32 0 0 25 0 1 0 814491949 40542208 8256 4294967295 134512640 134581331 3221221792 3221220688 134517883 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9898 8256 566 18 0 9880 0 vsize: 39592 [startup+370.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 26783 Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 8562 0 0 0 36969 33 0 0 25 0 1 0 814491949 41680896 8539 4294967295 134512640 134581331 3221221792 3221220704 134527445 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10176 8539 566 18 0 10158 0 vsize: 40704 [startup+380.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 26783 Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 8830 0 0 0 37968 34 0 0 25 0 1 0 814491949 42844160 8807 4294967295 134512640 134581331 3221221792 3221220704 134527454 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10460 8807 566 18 0 10442 0 vsize: 41840 [startup+390.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 26783 Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 9090 0 0 0 38967 35 0 0 25 0 1 0 814491949 43851776 9067 4294967295 134512640 134581331 3221221792 3221220704 134527534 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10706 9067 566 18 0 10688 0 vsize: 42824 [startup+400.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 26783 Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 9478 0 0 0 39967 35 0 0 25 0 1 0 814491949 45498368 9455 4294967295 134512640 134581331 3221221792 3221220704 134527537 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11108 9455 566 18 0 11090 0 vsize: 44432 [startup+410.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 26783 Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 9822 0 0 0 40966 36 0 0 25 0 1 0 814491949 46903296 9799 4294967295 134512640 134581331 3221221792 3221220688 134517875 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11451 9799 566 18 0 11433 0 vsize: 45804 [startup+420.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 26783 Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 10176 0 0 0 41965 37 0 0 25 0 1 0 814491949 48275456 10153 4294967295 134512640 134581331 3221221792 3221220688 134517871 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11786 10153 566 18 0 11768 0 vsize: 47144 [startup+430.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 26783 Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 10176 0 0 0 42966 37 0 0 25 0 1 0 814491949 48275456 10153 4294967295 134512640 134581331 3221221792 3221220704 134527454 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11786 10153 566 18 0 11768 0 vsize: 47144 [startup+440.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 26783 Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 10176 0 0 0 43966 37 0 0 25 0 1 0 814491949 48275456 10153 4294967295 134512640 134581331 3221221792 3221220688 134517905 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11786 10153 566 18 0 11768 0 vsize: 47144 [startup+450.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 26783 Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 10176 0 0 0 44966 37 0 0 25 0 1 0 814491949 48275456 10153 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11786 10153 566 18 0 11768 0 vsize: 47144 [startup+460.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 26783 Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 10176 0 0 0 45966 37 0 0 25 0 1 0 814491949 48275456 10153 4294967295 134512640 134581331 3221221792 3221220688 134517875 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11786 10153 566 18 0 11768 0 vsize: 47144 [startup+470.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 26783 Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 10176 0 0 0 46966 37 0 0 25 0 1 0 814491949 48275456 10153 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11786 10153 566 18 0 11768 0 vsize: 47144 [startup+480.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 26783 Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 10176 0 0 0 47966 37 0 0 25 0 1 0 814491949 48275456 10153 4294967295 134512640 134581331 3221221792 3221220704 134527670 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11786 10153 566 18 0 11768 0 vsize: 47144 [startup+490.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 26783 Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 10176 0 0 0 48966 37 0 0 25 0 1 0 814491949 48275456 10153 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11786 10153 566 18 0 11768 0 vsize: 47144 [startup+500.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 26783 Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 10176 0 0 0 49966 37 0 0 25 0 1 0 814491949 48275456 10153 4294967295 134512640 134581331 3221221792 3221220704 134528072 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11786 10153 566 18 0 11768 0 vsize: 47144 [startup+510.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 26783 Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 10176 0 0 0 50967 37 0 0 25 0 1 0 814491949 48275456 10153 4294967295 134512640 134581331 3221221792 3221220704 134527534 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11786 10153 566 18 0 11768 0 vsize: 47144 [startup+520.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 26783 Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 10176 0 0 0 51967 37 0 0 25 0 1 0 814491949 48275456 10153 4294967295 134512640 134581331 3221221792 3221220688 134517888 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11786 10153 566 18 0 11768 0 vsize: 47144 [startup+530.015 s] Raw data (loadavg): 0.99 0.97 0.91 3/55 26783 Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 10176 0 0 0 52967 37 0 0 25 0 1 0 814491949 48275456 10153 4294967295 134512640 134581331 3221221792 3221220736 134554722 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11786 10153 566 18 0 11768 0 vsize: 47144 [startup+540.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 26783 Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 10176 0 0 0 53967 38 0 0 25 0 1 0 814491949 48275456 10153 4294967295 134512640 134581331 3221221792 3221220688 134517862 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11786 10153 566 18 0 11768 0 vsize: 47144 [startup+550.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 26783 Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 10221 0 0 0 54967 38 0 0 25 0 1 0 814491949 48504832 10198 4294967295 134512640 134581331 3221221792 3221220688 134517859 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11842 10198 566 18 0 11824 0 vsize: 47368 [startup+560.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 26783 Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 10361 0 0 0 55966 38 0 0 25 0 1 0 814491949 49090560 10338 4294967295 134512640 134581331 3221221792 3221220688 134517862 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11985 10338 566 18 0 11967 0 vsize: 47940 [startup+570.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 26783 Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 10519 0 0 0 56966 39 0 0 25 0 1 0 814491949 49692672 10496 4294967295 134512640 134581331 3221221792 3221220688 134517875 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 12132 10496 566 18 0 12114 0 vsize: 48528 [startup+580.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 26783 Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 10669 0 0 0 57966 39 0 0 25 0 1 0 814491949 50294784 10646 4294967295 134512640 134581331 3221221792 3221220688 134517883 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 12279 10646 566 18 0 12261 0 vsize: 49116 [startup+590.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 26783 Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 10825 0 0 0 58966 40 0 0 25 0 1 0 814491949 51060736 10802 4294967295 134512640 134581331 3221221792 3221220688 134517905 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 12466 10802 566 18 0 12448 0 vsize: 49864 [startup+600.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 26783 Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 10950 0 0 0 59966 40 0 0 25 0 1 0 814491949 51572736 10927 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 12591 10927 566 18 0 12573 0 vsize: 50364 [startup+610.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 26783 Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 11054 0 0 0 60966 40 0 0 25 0 1 0 814491949 51933184 11031 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 12679 11031 566 18 0 12661 0 vsize: 50716 [startup+620.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 26783 Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 11281 0 0 0 61965 41 0 0 25 0 1 0 814491949 52801536 11258 4294967295 134512640 134581331 3221221792 3221220704 134527534 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 12891 11258 566 18 0 12873 0 vsize: 51564 [startup+630.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 26783 Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 11616 0 0 0 62964 42 0 0 25 0 1 0 814491949 54231040 11593 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13240 11593 566 18 0 13222 0 vsize: 52960 [startup+640.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 26783 Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 11888 0 0 0 63963 43 0 0 25 0 1 0 814491949 55312384 11865 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13504 11865 566 18 0 13486 0 vsize: 54016 [startup+650.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 26783 Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 12096 0 0 0 64963 44 0 0 25 0 1 0 814491949 56266752 12073 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13737 12073 566 18 0 13719 0 vsize: 54948 [startup+660.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 26783 Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 12267 0 0 0 65963 44 0 0 25 0 1 0 814491949 56901632 12244 4294967295 134512640 134581331 3221221792 3221220688 134517871 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13892 12244 566 18 0 13874 0 vsize: 55568 [startup+670.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 26783 Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 12431 0 0 0 66963 45 0 0 25 0 1 0 814491949 57634816 12408 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 14071 12408 566 18 0 14053 0 vsize: 56284 [startup+680.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 26783 Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 12751 0 0 0 67962 45 0 0 25 0 1 0 814491949 58822656 12728 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 14361 12728 566 18 0 14343 0 vsize: 57444 [startup+690.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 26783 Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 12981 0 0 0 68962 45 0 0 25 0 1 0 814491949 59785216 12958 4294967295 134512640 134581331 3221221792 3221220688 134517859 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 14596 12958 566 18 0 14578 0 vsize: 58384 [startup+700.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 26783 Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 13233 0 0 0 69962 46 0 0 25 0 1 0 814491949 60813312 13210 4294967295 134512640 134581331 3221221792 3221220688 134517859 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 14847 13210 566 18 0 14829 0 vsize: 59388 [startup+710.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 26783 Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 13413 0 0 0 70962 46 0 0 25 0 1 0 814491949 61587456 13390 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 15036 13390 566 18 0 15018 0 vsize: 60144 [startup+720.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 26783 Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 13677 0 0 0 71961 47 0 0 25 0 1 0 814491949 62754816 13654 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 15321 13654 566 18 0 15303 0 vsize: 61284 [startup+730.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 26783 Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 13881 0 0 0 72961 47 0 0 25 0 1 0 814491949 63475712 13858 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 15497 13858 566 18 0 15479 0 vsize: 61988 [startup+740.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 26783 Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 14151 0 0 0 73961 48 0 0 25 0 1 0 814491949 64614400 14128 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 15775 14128 566 18 0 15757 0 vsize: 63100 [startup+750.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 26783 Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 14551 0 0 0 74959 50 0 0 25 0 1 0 814491949 66256896 14528 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 16176 14528 566 18 0 16158 0 vsize: 64704 [startup+760.025 s] Raw data (loadavg): 0.99 0.97 0.91 3/58 26821 Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 14867 0 0 0 75959 50 0 0 25 0 1 0 814491949 67497984 14844 4294967295 134512640 134581331 3221221792 3221220688 134517900 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 16479 14844 566 18 0 16461 0 vsize: 65916 [startup+770.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 26836 Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 15088 0 0 0 76959 50 0 0 25 0 1 0 814491949 68435968 15065 4294967295 134512640 134581331 3221221792 3221220688 134517862 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 16708 15065 566 18 0 16690 0 vsize: 66832 [startup+780.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 26836 Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 15204 0 0 0 77958 51 0 0 25 0 1 0 814491949 68902912 15181 4294967295 134512640 134581331 3221221792 3221220688 134517862 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16822 15181 566 18 0 16804 0 vsize: 67288 [startup+790.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 26836 Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 15270 0 0 0 78958 51 0 0 25 0 1 0 814491949 69140480 15247 4294967295 134512640 134581331 3221221792 3221220688 134517905 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16880 15247 566 18 0 16862 0 vsize: 67520 [startup+800.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 26836 Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 15338 0 0 0 79958 51 0 0 25 0 1 0 814491949 69550080 15315 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16980 15315 566 18 0 16962 0 vsize: 67920 [startup+810.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 26836 Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 15588 0 0 0 80958 52 0 0 25 0 1 0 814491949 70451200 15565 4294967295 134512640 134581331 3221221792 3221220688 134517878 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17200 15565 566 18 0 17182 0 vsize: 68800 [startup+820.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 26836 Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 15699 0 0 0 81958 52 0 0 25 0 1 0 814491949 70959104 15676 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17324 15676 566 18 0 17306 0 vsize: 69296 [startup+830.028 s] Raw data (loadavg): 1.07 0.99 0.91 2/55 26838 Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 15814 0 0 0 82958 52 0 0 25 0 1 0 814491949 71430144 15791 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17439 15791 566 18 0 17421 0 vsize: 69756 [startup+840.029 s] Raw data (loadavg): 1.06 0.99 0.91 2/55 26838 Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 15915 0 0 0 83958 53 0 0 25 0 1 0 814491949 71909376 15892 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17556 15892 566 18 0 17538 0 vsize: 70224 [startup+850.029 s] Raw data (loadavg): 1.05 0.99 0.91 2/55 26838 Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 16080 0 0 0 84957 53 0 0 25 0 1 0 814491949 72466432 16057 4294967295 134512640 134581331 3221221792 3221220688 134517844 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17692 16057 566 18 0 17674 0 vsize: 70768 [startup+860.029 s] Raw data (loadavg): 1.04 0.99 0.91 2/55 26838 Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 16241 0 0 0 85957 54 0 0 25 0 1 0 814491949 73175040 16218 4294967295 134512640 134581331 3221221792 3221220688 134517902 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17865 16218 566 18 0 17847 0 vsize: 71460 [startup+870.03 s] Raw data (loadavg): 1.03 0.99 0.91 2/55 26838 Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 16476 0 0 0 86957 54 0 0 25 0 1 0 814491949 74137600 16453 4294967295 134512640 134581331 3221221792 3221220688 134517902 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18100 16453 566 18 0 18082 0 vsize: 72400 [startup+880.029 s] Raw data (loadavg): 1.03 0.99 0.91 2/55 26838 Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 16602 0 0 0 87957 54 0 0 25 0 1 0 814491949 74616832 16579 4294967295 134512640 134581331 3221221792 3221220688 134517873 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18217 16579 566 18 0 18199 0 vsize: 72868 [startup+890.03 s] Raw data (loadavg): 1.02 0.99 0.91 2/55 26838 Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 16798 0 0 0 88957 55 0 0 25 0 1 0 814491949 75517952 16775 4294967295 134512640 134581331 3221221792 3221220688 134517888 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18437 16775 566 18 0 18419 0 vsize: 73748 [startup+900.031 s] Raw data (loadavg): 1.02 0.99 0.91 2/55 26838 Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 16929 0 0 0 89957 55 0 0 25 0 1 0 814491949 76054528 16906 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18568 16906 566 18 0 18550 0 vsize: 74272 [startup+910.03 s] Raw data (loadavg): 1.02 0.99 0.91 2/55 26838 Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 17054 0 0 0 90956 55 0 0 25 0 1 0 814491949 76505088 17031 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18678 17031 566 18 0 18660 0 vsize: 74712 [startup+920.032 s] Raw data (loadavg): 1.01 0.99 0.91 2/55 26838 Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 17167 0 0 0 91956 55 0 0 25 0 1 0 814491949 77029376 17144 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18806 17144 566 18 0 18788 0 vsize: 75224 [startup+930.032 s] Raw data (loadavg): 1.01 0.99 0.91 2/55 26838 Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 17286 0 0 0 92956 56 0 0 25 0 1 0 814491949 77516800 17263 4294967295 134512640 134581331 3221221792 3221220688 134517844 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18925 17263 566 18 0 18907 0 vsize: 75700 [startup+940.032 s] Raw data (loadavg): 1.01 0.99 0.91 2/55 26838 Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 17400 0 0 0 93956 56 0 0 25 0 1 0 814491949 77864960 17377 4294967295 134512640 134581331 3221221792 3221220688 134517875 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19010 17377 566 18 0 18992 0 vsize: 76040 [startup+950.032 s] Raw data (loadavg): 1.01 0.99 0.91 2/55 26838 Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 17547 0 0 0 94956 56 0 0 25 0 1 0 814491949 78495744 17524 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19164 17524 566 18 0 19146 0 vsize: 76656 [startup+960.032 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 26838 Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 17769 0 0 0 95956 57 0 0 25 0 1 0 814491949 79491072 17746 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19407 17746 566 18 0 19389 0 vsize: 77628 [startup+970.033 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 26838 Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 18003 0 0 0 96955 57 0 0 25 0 1 0 814491949 80326656 17980 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19611 17980 566 18 0 19593 0 vsize: 78444 [startup+980.033 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 26838 Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 18115 0 0 0 97955 57 0 0 25 0 1 0 814491949 80793600 18092 4294967295 134512640 134581331 3221221792 3221220704 134527652 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19725 18092 566 18 0 19707 0 vsize: 78900 [startup+990.034 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 26838 Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 18115 0 0 0 98955 57 0 0 25 0 1 0 814491949 80793600 18092 4294967295 134512640 134581331 3221221792 3221220688 134517888 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19725 18092 566 18 0 19707 0 vsize: 78900 [startup+1000.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 26838 Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 18115 0 0 0 99956 58 0 0 25 0 1 0 814491949 80793600 18092 4294967295 134512640 134581331 3221221792 3221220704 134527459 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19725 18092 566 18 0 19707 0 vsize: 78900 [startup+1010.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 26838 Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 18115 0 0 0 100956 58 0 0 25 0 1 0 814491949 80793600 18092 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19725 18092 566 18 0 19707 0 vsize: 78900 [startup+1020.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 26838 Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 18115 0 0 0 101956 58 0 0 25 0 1 0 814491949 80793600 18092 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19725 18092 566 18 0 19707 0 vsize: 78900 [startup+1030.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 26838 Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 18115 0 0 0 102956 58 0 0 25 0 1 0 814491949 80793600 18092 4294967295 134512640 134581331 3221221792 3221220704 134527434 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19725 18092 566 18 0 19707 0 vsize: 78900 [startup+1040.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 26838 Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 18115 0 0 0 103956 58 0 0 25 0 1 0 814491949 80793600 18092 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19725 18092 566 18 0 19707 0 vsize: 78900 [startup+1050.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 26838 Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 18115 0 0 0 104956 58 0 0 25 0 1 0 814491949 80793600 18092 4294967295 134512640 134581331 3221221792 3221220704 134527454 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19725 18092 566 18 0 19707 0 vsize: 78900 [startup+1060.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 26838 Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 18115 0 0 0 105957 58 0 0 25 0 1 0 814491949 80793600 18092 4294967295 134512640 134581331 3221221792 3221220480 1075288902 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19725 18092 566 18 0 19707 0 vsize: 78900 [startup+1070.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 26838 Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 18115 0 0 0 106957 58 0 0 25 0 1 0 814491949 80793600 18092 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19725 18092 566 18 0 19707 0 vsize: 78900 [startup+1080.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 26838 Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 18115 0 0 0 107957 58 0 0 25 0 1 0 814491949 80793600 18092 4294967295 134512640 134581331 3221221792 3221220704 134527703 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19725 18092 566 18 0 19707 0 vsize: 78900 [startup+1090.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 26838 Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 18115 0 0 0 108957 58 0 0 25 0 1 0 814491949 80793600 18092 4294967295 134512640 134581331 3221221792 3221220688 134517878 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19725 18092 566 18 0 19707 0 vsize: 78900 [startup+1100.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 26838 Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 18115 0 0 0 109957 58 0 0 25 0 1 0 814491949 80793600 18092 4294967295 134512640 134581331 3221221792 3221220704 134527445 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19725 18092 566 18 0 19707 0 vsize: 78900 [startup+1110.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 26840 Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 18115 0 0 0 110957 58 0 0 25 0 1 0 814491949 80793600 18092 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19725 18092 566 18 0 19707 0 vsize: 78900 [startup+1120.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 26840 Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 18115 0 0 0 111957 58 0 0 25 0 1 0 814491949 80793600 18092 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19725 18092 566 18 0 19707 0 vsize: 78900 [startup+1130.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 26840 Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 18115 0 0 0 112958 58 0 0 25 0 1 0 814491949 80793600 18092 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19725 18092 566 18 0 19707 0 vsize: 78900 [startup+1140.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 26840 Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 18115 0 0 0 113958 58 0 0 25 0 1 0 814491949 80793600 18092 4294967295 134512640 134581331 3221221792 3221220688 134517859 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19725 18092 566 18 0 19707 0 vsize: 78900 [startup+1150.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 26840 Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 18115 0 0 0 114958 58 0 0 25 0 1 0 814491949 80793600 18092 4294967295 134512640 134581331 3221221792 3221220480 1075288208 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19725 18092 566 18 0 19707 0 vsize: 78900 [startup+1160.04 s] Raw data (loadavg): 1.00 0.99 0.91 3/55 26840 Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 18115 0 0 0 115958 58 0 0 25 0 1 0 814491949 80793600 18092 4294967295 134512640 134581331 3221221792 3221220704 134527418 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19725 18092 566 18 0 19707 0 vsize: 78900 [startup+1170.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 26840 Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 18115 0 0 0 116958 58 0 0 25 0 1 0 814491949 80793600 18092 4294967295 134512640 134581331 3221221792 3221220688 134517905 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19725 18092 566 18 0 19707 0 vsize: 78900 [startup+1180.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 26840 Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 18115 0 0 0 117959 58 0 0 25 0 1 0 814491949 80793600 18092 4294967295 134512640 134581331 3221221792 3221220688 134517784 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19725 18092 566 18 0 19707 0 vsize: 78900 [startup+1190.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 26840 Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 18115 0 0 0 118959 58 0 0 25 0 1 0 814491949 80793600 18092 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19725 18092 566 18 0 19707 0 vsize: 78900 [startup+1200.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 26840 Raw data (stat): 26783 (Pueblo) R 26782 7876 7672 0 -1 0 18115 0 0 0 119959 58 0 0 25 0 1 0 814491949 80793600 18092 4294967295 134512640 134581331 3221221792 3221220688 134517900 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19725 18092 566 18 0 19707 0 vsize: 78900 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.08 s] Raw data (loadavg): 1.00 0.99 0.91 1/55 26840 Raw data (stat): 26783 (Pueblo) Z 26782 7876 7672 0 -1 1036 18115 0 0 0 119959 61 0 0 25 0 1 0 814491949 0 0 4294967295 0 0 0 0 0 0 0 1 0 3222412051 0 0 17 1 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child ended because it received signal 15 (SIGTERM) Real time (s): 1200.08 CPU time (s): 1200.21 CPU user time (s): 1199.6 CPU system time (s): 0.615906 CPU usage (%): 100.011 Max. virtual memory (Kb): 78900 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####