Name | normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran6x43.opb |
MD5SUM | 795a1eda830447df9b9714fdf1d66b4e |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 2795888 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 5418 |
Biggest coefficient in the objective function | 5242880 |
Number of bits for the biggest coefficient in the objective function | 23 |
Sum of the numbers in the objective function | 1537450315 |
Number of bits of the sum of numbers in the objective function | 31 |
Biggest number in a constraint | 5242880 |
Number of bits of the biggest number in a constraint | 23 |
Biggest sum of numbers in a constraint | 1537450315 |
Number of bits of the biggest sum of numbers | 31 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1224.65 |
Number of variables | 5418 |
Total number of constraints | 307 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 307 |
Minimum length of a constraint | 21 |
Maximum length of a constraint | 860 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-05-20 09:16:03 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=19351 boxname=wulflinc31 idbench=1489 idsolver=7 numberseed=0 MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911 /oldhome/oroussel/solvers/Pueblo MD5SUM BENCH: 795a1eda830447df9b9714fdf1d66b4e /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-ran6x43.opb REAL COMMAND: Pueblo /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-ran6x43.opb IDLAUNCH: 19351 /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: 720212 kB Buffers: 15752 kB Cached: 278492 kB SwapCached: 944 kB Active: 182520 kB Inactive: 113808 kB HighTotal: 131008 kB HighFree: 448 kB LowTotal: 903652 kB LowFree: 719764 kB SwapTotal: 2097892 kB SwapFree: 2095936 kB Dirty: 768 kB Writeback: 0 kB Mapped: 5088 kB Slab: 12600 kB Committed_AS: 63860 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-20 09:36:05 (client local time) WITH STATUS 0 IN 1200.19 SECONDS stats: 19351 7 1200.19 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): 1.07 1.02 0.99 2/55 30753 Raw data (stat): 30753 (runsolver) R 30752 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 794501419 1056768 100 4294967295 134512640 135381576 3221221680 3221216904 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0 Raw data (statm): 258 100 215 215 0 43 0 vsize: 1032 [startup+10.0009 s] Raw data (loadavg): 1.06 1.01 0.99 2/55 30753 Raw data (stat): 30753 (Pueblo) R 30752 7876 7672 0 -1 0 2052 0 0 0 990 7 0 0 25 0 1 0 794501419 14135296 2029 4294967295 134512640 134581331 3221221792 3221220704 134527459 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3451 2029 566 18 0 3433 0 vsize: 13804 [startup+20.0017 s] Raw data (loadavg): 1.05 1.01 0.99 2/55 30753 Raw data (stat): 30753 (Pueblo) R 30752 7876 7672 0 -1 0 2063 0 0 0 1990 7 0 0 25 0 1 0 794501419 14135296 2040 4294967295 134512640 134581331 3221221792 3221220704 134527510 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3451 2040 566 18 0 3433 0 vsize: 13804 [startup+30.0019 s] Raw data (loadavg): 1.04 1.01 0.99 2/55 30753 Raw data (stat): 30753 (Pueblo) R 30752 7876 7672 0 -1 0 2063 0 0 0 2990 7 0 0 25 0 1 0 794501419 14114816 2040 4294967295 134512640 134581331 3221221792 3221220704 134527539 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3446 2040 566 18 0 3428 0 vsize: 13784 [startup+40.0025 s] Raw data (loadavg): 1.03 1.01 0.99 2/55 30753 Raw data (stat): 30753 (Pueblo) R 30752 7876 7672 0 -1 0 2063 0 0 0 3990 7 0 0 25 0 1 0 794501419 14114816 2040 4294967295 134512640 134581331 3221221792 3221220704 134528088 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3446 2040 566 18 0 3428 0 vsize: 13784 [startup+50.0025 s] Raw data (loadavg): 1.03 1.01 0.99 2/55 30753 Raw data (stat): 30753 (Pueblo) R 30752 7876 7672 0 -1 0 2063 0 0 0 4990 7 0 0 25 0 1 0 794501419 14114816 2040 4294967295 134512640 134581331 3221221792 3221220576 134528844 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3446 2040 566 18 0 3428 0 vsize: 13784 [startup+60.0027 s] Raw data (loadavg): 1.02 1.01 0.99 2/55 30753 Raw data (stat): 30753 (Pueblo) R 30752 7876 7672 0 -1 0 2063 0 0 0 5991 7 0 0 25 0 1 0 794501419 14114816 2040 4294967295 134512640 134581331 3221221792 3221220704 134527513 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3446 2040 566 18 0 3428 0 vsize: 13784 [startup+70.0033 s] Raw data (loadavg): 1.02 1.01 0.99 2/55 30753 Raw data (stat): 30753 (Pueblo) R 30752 7876 7672 0 -1 0 2063 0 0 0 6991 7 0 0 25 0 1 0 794501419 14114816 2040 4294967295 134512640 134581331 3221221792 3221220736 134559087 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3446 2040 566 18 0 3428 0 vsize: 13784 [startup+80.0032 s] Raw data (loadavg): 1.02 1.01 0.99 2/55 30753 Raw data (stat): 30753 (Pueblo) R 30752 7876 7672 0 -1 0 2063 0 0 0 7991 7 0 0 25 0 1 0 794501419 14114816 2040 4294967295 134512640 134581331 3221221792 3221220704 134527432 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3446 2040 566 18 0 3428 0 vsize: 13784 [startup+90.0032 s] Raw data (loadavg): 1.01 1.01 0.99 2/55 30753 Raw data (stat): 30753 (Pueblo) R 30752 7876 7672 0 -1 0 2063 0 0 0 8991 7 0 0 25 0 1 0 794501419 14114816 2040 4294967295 134512640 134581331 3221221792 3221220704 134527645 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3446 2040 566 18 0 3428 0 vsize: 13784 [startup+100.003 s] Raw data (loadavg): 1.01 1.01 0.99 2/55 30753 Raw data (stat): 30753 (Pueblo) R 30752 7876 7672 0 -1 0 2063 0 0 0 9991 7 0 0 25 0 1 0 794501419 14114816 2040 4294967295 134512640 134581331 3221221792 3221220656 134527148 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3446 2040 566 18 0 3428 0 vsize: 13784 [startup+110.004 s] Raw data (loadavg): 1.01 1.00 0.99 2/55 30753 Raw data (stat): 30753 (Pueblo) R 30752 7876 7672 0 -1 0 2063 0 0 0 10991 7 0 0 25 0 1 0 794501419 14114816 2040 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3446 2040 566 18 0 3428 0 vsize: 13784 [startup+120.005 s] Raw data (loadavg): 1.01 1.00 0.99 2/55 30753 Raw data (stat): 30753 (Pueblo) R 30752 7876 7672 0 -1 0 2063 0 0 0 11992 7 0 0 25 0 1 0 794501419 14114816 2040 4294967295 134512640 134581331 3221221792 3221220704 134527442 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3446 2040 566 18 0 3428 0 vsize: 13784 [startup+130.005 s] Raw data (loadavg): 1.00 1.00 0.99 2/55 30753 Raw data (stat): 30753 (Pueblo) R 30752 7876 7672 0 -1 0 2063 0 0 0 12992 7 0 0 25 0 1 0 794501419 14114816 2040 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3446 2040 566 18 0 3428 0 vsize: 13784 [startup+140.005 s] Raw data (loadavg): 1.00 1.00 0.99 2/55 30753 Raw data (stat): 30753 (Pueblo) R 30752 7876 7672 0 -1 0 2063 0 0 0 13992 7 0 0 25 0 1 0 794501419 14114816 2040 4294967295 134512640 134581331 3221221792 3221220656 134528261 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3446 2040 566 18 0 3428 0 vsize: 13784 [startup+150.005 s] Raw data (loadavg): 1.00 1.00 0.99 2/55 30753 Raw data (stat): 30753 (Pueblo) R 30752 7876 7672 0 -1 0 2063 0 0 0 14992 7 0 0 25 0 1 0 794501419 14114816 2040 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3446 2040 566 18 0 3428 0 vsize: 13784 [startup+160.005 s] Raw data (loadavg): 1.00 1.00 0.99 2/55 30753 Raw data (stat): 30753 (Pueblo) R 30752 7876 7672 0 -1 0 2063 0 0 0 15992 7 0 0 25 0 1 0 794501419 14114816 2040 4294967295 134512640 134581331 3221221792 3221220736 134560149 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3446 2040 566 18 0 3428 0 vsize: 13784 [startup+170.005 s] Raw data (loadavg): 1.00 1.00 0.99 2/55 30753 Raw data (stat): 30753 (Pueblo) R 30752 7876 7672 0 -1 0 2063 0 0 0 16992 7 0 0 25 0 1 0 794501419 14114816 2040 4294967295 134512640 134581331 3221221792 3221220704 134527525 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3446 2040 566 18 0 3428 0 vsize: 13784 [startup+180.005 s] Raw data (loadavg): 1.00 1.00 0.99 2/55 30753 Raw data (stat): 30753 (Pueblo) R 30752 7876 7672 0 -1 0 2063 0 0 0 17992 7 0 0 25 0 1 0 794501419 14114816 2040 4294967295 134512640 134581331 3221221792 3221220704 134527451 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3446 2040 566 18 0 3428 0 vsize: 13784 [startup+190.005 s] Raw data (loadavg): 1.00 1.00 0.99 2/55 30753 Raw data (stat): 30753 (Pueblo) R 30752 7876 7672 0 -1 0 2063 0 0 0 18993 7 0 0 25 0 1 0 794501419 14114816 2040 4294967295 134512640 134581331 3221221792 3221220704 134527504 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3446 2040 566 18 0 3428 0 vsize: 13784 [startup+200.005 s] Raw data (loadavg): 1.00 1.00 0.99 2/55 30753 Raw data (stat): 30753 (Pueblo) R 30752 7876 7672 0 -1 0 2063 0 0 0 19993 7 0 0 25 0 1 0 794501419 14114816 2040 4294967295 134512640 134581331 3221221792 3221220656 134528384 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3446 2040 566 18 0 3428 0 vsize: 13784 [startup+210.005 s] Raw data (loadavg): 1.00 1.00 0.99 2/55 30753 Raw data (stat): 30753 (Pueblo) R 30752 7876 7672 0 -1 0 2063 0 0 0 20993 7 0 0 25 0 1 0 794501419 14114816 2040 4294967295 134512640 134581331 3221221792 3221220688 134517528 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3446 2040 566 18 0 3428 0 vsize: 13784 [startup+220.005 s] Raw data (loadavg): 1.00 1.00 0.99 2/55 30753 Raw data (stat): 30753 (Pueblo) R 30752 7876 7672 0 -1 0 2063 0 0 0 21993 7 0 0 25 0 1 0 794501419 14114816 2040 4294967295 134512640 134581331 3221221792 3221220704 134527442 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3446 2040 566 18 0 3428 0 vsize: 13784 [startup+230.006 s] Raw data (loadavg): 1.00 1.00 0.99 2/55 30753 Raw data (stat): 30753 (Pueblo) R 30752 7876 7672 0 -1 0 2063 0 0 0 22993 7 0 0 25 0 1 0 794501419 14114816 2040 4294967295 134512640 134581331 3221221792 3221220676 134557830 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3446 2040 566 18 0 3428 0 vsize: 13784 [startup+240.006 s] Raw data (loadavg): 1.00 1.00 0.99 2/55 30753 Raw data (stat): 30753 (Pueblo) R 30752 7876 7672 0 -1 0 2063 0 0 0 23993 7 0 0 25 0 1 0 794501419 14114816 2040 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3446 2040 566 18 0 3428 0 vsize: 13784 [startup+250.006 s] Raw data (loadavg): 1.00 1.00 0.99 2/55 30753 Raw data (stat): 30753 (Pueblo) R 30752 7876 7672 0 -1 0 2063 0 0 0 24993 7 0 0 25 0 1 0 794501419 14114816 2040 4294967295 134512640 134581331 3221221792 3221220704 134527513 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3446 2040 566 18 0 3428 0 vsize: 13784 [startup+260.006 s] Raw data (loadavg): 1.00 1.00 0.99 2/55 30753 Raw data (stat): 30753 (Pueblo) R 30752 7876 7672 0 -1 0 2063 0 0 0 25994 7 0 0 25 0 1 0 794501419 14114816 2040 4294967295 134512640 134581331 3221221792 3221220704 134527778 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3446 2040 566 18 0 3428 0 vsize: 13784 [startup+270.006 s] Raw data (loadavg): 1.00 1.00 0.99 2/55 30753 Raw data (stat): 30753 (Pueblo) R 30752 7876 7672 0 -1 0 2063 0 0 0 26994 7 0 0 25 0 1 0 794501419 14114816 2040 4294967295 134512640 134581331 3221221792 3221220704 134527510 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3446 2040 566 18 0 3428 0 vsize: 13784 [startup+280.006 s] Raw data (loadavg): 1.00 1.00 0.99 2/55 30753 Raw data (stat): 30753 (Pueblo) R 30752 7876 7672 0 -1 0 2063 0 0 0 27994 7 0 0 25 0 1 0 794501419 14114816 2040 4294967295 134512640 134581331 3221221792 3221220676 134558002 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3446 2040 566 18 0 3428 0 vsize: 13784 [startup+290.007 s] Raw data (loadavg): 1.00 1.00 0.99 2/55 30753 Raw data (stat): 30753 (Pueblo) R 30752 7876 7672 0 -1 0 2063 0 0 0 28994 7 0 0 25 0 1 0 794501419 14114816 2040 4294967295 134512640 134581331 3221221792 3221220704 134527652 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3446 2040 566 18 0 3428 0 vsize: 13784 [startup+300.007 s] Raw data (loadavg): 1.00 1.00 0.99 2/55 30753 Raw data (stat): 30753 (Pueblo) R 30752 7876 7672 0 -1 0 2063 0 0 0 29994 7 0 0 25 0 1 0 794501419 14114816 2040 4294967295 134512640 134581331 3221221792 3221220704 134528088 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3446 2040 566 18 0 3428 0 vsize: 13784 [startup+310.007 s] Raw data (loadavg): 1.00 1.00 0.99 2/55 30753 Raw data (stat): 30753 (Pueblo) R 30752 7876 7672 0 -1 0 2063 0 0 0 30994 7 0 0 25 0 1 0 794501419 14114816 2040 4294967295 134512640 134581331 3221221792 3221220704 134527513 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3446 2040 566 18 0 3428 0 vsize: 13784 [startup+320.006 s] Raw data (loadavg): 1.00 1.00 0.99 2/55 30753 Raw data (stat): 30753 (Pueblo) R 30752 7876 7672 0 -1 0 2063 0 0 0 31994 7 0 0 25 0 1 0 794501419 14114816 2040 4294967295 134512640 134581331 3221221792 3221220704 134527519 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3446 2040 566 18 0 3428 0 vsize: 13784 [startup+330.006 s] Raw data (loadavg): 1.00 1.00 0.99 2/55 30753 Raw data (stat): 30753 (Pueblo) R 30752 7876 7672 0 -1 0 2063 0 0 0 32995 7 0 0 25 0 1 0 794501419 14114816 2040 4294967295 134512640 134581331 3221221792 3221220704 134527534 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3446 2040 566 18 0 3428 0 vsize: 13784 [startup+340.006 s] Raw data (loadavg): 1.00 1.00 0.99 2/55 30753 Raw data (stat): 30753 (Pueblo) R 30752 7876 7672 0 -1 0 2063 0 0 0 33995 7 0 0 25 0 1 0 794501419 14114816 2040 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3446 2040 566 18 0 3428 0 vsize: 13784 [startup+350.007 s] Raw data (loadavg): 1.00 1.00 0.99 2/55 30753 Raw data (stat): 30753 (Pueblo) R 30752 7876 7672 0 -1 0 2063 0 0 0 34995 7 0 0 25 0 1 0 794501419 14114816 2040 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3446 2040 566 18 0 3428 0 vsize: 13784 [startup+360.007 s] Raw data (loadavg): 1.00 1.00 0.99 2/55 30753 Raw data (stat): 30753 (Pueblo) R 30752 7876 7672 0 -1 0 2063 0 0 0 35995 7 0 0 25 0 1 0 794501419 14114816 2040 4294967295 134512640 134581331 3221221792 3221220676 134557928 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3446 2040 566 18 0 3428 0 vsize: 13784 [startup+370.007 s] Raw data (loadavg): 1.00 1.00 0.99 2/55 30753 Raw data (stat): 30753 (Pueblo) R 30752 7876 7672 0 -1 0 2063 0 0 0 36995 7 0 0 25 0 1 0 794501419 14114816 2040 4294967295 134512640 134581331 3221221792 3221220704 134528088 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3446 2040 566 18 0 3428 0 vsize: 13784 [startup+380.007 s] Raw data (loadavg): 1.00 1.00 0.99 2/55 30753 Raw data (stat): 30753 (Pueblo) R 30752 7876 7672 0 -1 0 2063 0 0 0 37995 7 0 0 25 0 1 0 794501419 14114816 2040 4294967295 134512640 134581331 3221221792 3221220704 134528088 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3446 2040 566 18 0 3428 0 vsize: 13784 [startup+390.008 s] Raw data (loadavg): 1.00 1.00 0.99 2/55 30753 Raw data (stat): 30753 (Pueblo) R 30752 7876 7672 0 -1 0 2063 0 0 0 38996 7 0 0 25 0 1 0 794501419 14114816 2040 4294967295 134512640 134581331 3221221792 3221220704 134527440 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3446 2040 566 18 0 3428 0 vsize: 13784 [startup+400.008 s] Raw data (loadavg): 1.00 1.00 0.99 2/55 30753 Raw data (stat): 30753 (Pueblo) R 30752 7876 7672 0 -1 0 2063 0 0 0 39996 7 0 0 25 0 1 0 794501419 14114816 2040 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3446 2040 566 18 0 3428 0 vsize: 13784 [startup+410.008 s] Raw data (loadavg): 1.00 1.00 0.99 2/55 30753 Raw data (stat): 30753 (Pueblo) R 30752 7876 7672 0 -1 0 2063 0 0 0 40996 7 0 0 25 0 1 0 794501419 14114816 2040 4294967295 134512640 134581331 3221221792 3221220704 134527695 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3446 2040 566 18 0 3428 0 vsize: 13784 [startup+420.008 s] Raw data (loadavg): 1.00 1.00 0.99 2/55 30753 Raw data (stat): 30753 (Pueblo) R 30752 7876 7672 0 -1 0 2063 0 0 0 41996 7 0 0 25 0 1 0 794501419 14114816 2040 4294967295 134512640 134581331 3221221792 3221220736 134558859 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3446 2040 566 18 0 3428 0 vsize: 13784 [startup+430.008 s] Raw data (loadavg): 1.00 1.00 0.99 2/55 30753 Raw data (stat): 30753 (Pueblo) R 30752 7876 7672 0 -1 0 2063 0 0 0 42996 7 0 0 25 0 1 0 794501419 14114816 2040 4294967295 134512640 134581331 3221221792 3221220704 134527513 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3446 2040 566 18 0 3428 0 vsize: 13784 [startup+440.008 s] Raw data (loadavg): 1.00 1.00 0.99 2/55 30753 Raw data (stat): 30753 (Pueblo) R 30752 7876 7672 0 -1 0 2063 0 0 0 43996 7 0 0 25 0 1 0 794501419 14114816 2040 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3446 2040 566 18 0 3428 0 vsize: 13784 [startup+450.008 s] Raw data (loadavg): 1.00 1.00 0.99 2/55 30753 Raw data (stat): 30753 (Pueblo) R 30752 7876 7672 0 -1 0 2063 0 0 0 44996 7 0 0 25 0 1 0 794501419 14114816 2040 4294967295 134512640 134581331 3221221792 3221220704 134527652 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3446 2040 566 18 0 3428 0 vsize: 13784 [startup+460.009 s] Raw data (loadavg): 1.00 1.00 0.99 2/55 30753 Raw data (stat): 30753 (Pueblo) R 30752 7876 7672 0 -1 0 2063 0 0 0 45997 8 0 0 25 0 1 0 794501419 14114816 2040 4294967295 134512640 134581331 3221221792 3221220488 1075291632 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3446 2040 566 18 0 3428 0 vsize: 13784 [startup+470.009 s] Raw data (loadavg): 1.00 1.00 0.99 2/55 30753 Raw data (stat): 30753 (Pueblo) R 30752 7876 7672 0 -1 0 2063 0 0 0 46997 8 0 0 25 0 1 0 794501419 14114816 2040 4294967295 134512640 134581331 3221221792 3221220704 134528079 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3446 2040 566 18 0 3428 0 vsize: 13784 [startup+480.008 s] Raw data (loadavg): 1.00 1.00 0.99 2/55 30753 Raw data (stat): 30753 (Pueblo) R 30752 7876 7672 0 -1 0 2063 0 0 0 47997 8 0 0 25 0 1 0 794501419 14114816 2040 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3446 2040 566 18 0 3428 0 vsize: 13784 [startup+490.008 s] Raw data (loadavg): 1.00 1.00 0.99 2/55 30753 Raw data (stat): 30753 (Pueblo) R 30752 7876 7672 0 -1 0 2063 0 0 0 48997 8 0 0 25 0 1 0 794501419 14114816 2040 4294967295 134512640 134581331 3221221792 3221220704 134527513 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3446 2040 566 18 0 3428 0 vsize: 13784 [startup+500.008 s] Raw data (loadavg): 1.00 1.00 0.99 2/55 30753 Raw data (stat): 30753 (Pueblo) R 30752 7876 7672 0 -1 0 2063 0 0 0 49997 8 0 0 25 0 1 0 794501419 14114816 2040 4294967295 134512640 134581331 3221221792 3221220704 134528079 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3446 2040 566 18 0 3428 0 vsize: 13784 [startup+510.008 s] Raw data (loadavg): 1.00 1.00 0.99 2/55 30753 Raw data (stat): 30753 (Pueblo) R 30752 7876 7672 0 -1 0 2063 0 0 0 50997 8 0 0 25 0 1 0 794501419 14114816 2040 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3446 2040 566 18 0 3428 0 vsize: 13784 [startup+520.008 s] Raw data (loadavg): 1.00 1.00 0.99 2/55 30753 Raw data (stat): 30753 (Pueblo) R 30752 7876 7672 0 -1 0 2063 0 0 0 51997 8 0 0 25 0 1 0 794501419 14114816 2040 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3446 2040 566 18 0 3428 0 vsize: 13784 [startup+530.008 s] Raw data (loadavg): 1.00 1.00 0.99 2/55 30753 Raw data (stat): 30753 (Pueblo) R 30752 7876 7672 0 -1 0 2063 0 0 0 52997 8 0 0 25 0 1 0 794501419 14114816 2040 4294967295 134512640 134581331 3221221792 3221220704 134527642 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3446 2040 566 18 0 3428 0 vsize: 13784 [startup+540.009 s] Raw data (loadavg): 1.00 1.00 0.99 2/55 30753 Raw data (stat): 30753 (Pueblo) R 30752 7876 7672 0 -1 0 2063 0 0 0 53997 8 0 0 25 0 1 0 794501419 14114816 2040 4294967295 134512640 134581331 3221221792 3221220704 134527534 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3446 2040 566 18 0 3428 0 vsize: 13784 [startup+550.009 s] Raw data (loadavg): 1.00 1.00 0.99 2/55 30753 Raw data (stat): 30753 (Pueblo) R 30752 7876 7672 0 -1 0 2063 0 0 0 54997 9 0 0 25 0 1 0 794501419 14114816 2040 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3446 2040 566 18 0 3428 0 vsize: 13784 [startup+560.009 s] Raw data (loadavg): 1.00 1.00 0.99 2/55 30753 Raw data (stat): 30753 (Pueblo) R 30752 7876 7672 0 -1 0 2063 0 0 0 55997 9 0 0 25 0 1 0 794501419 14114816 2040 4294967295 134512640 134581331 3221221792 3221220704 134528088 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3446 2040 566 18 0 3428 0 vsize: 13784 [startup+570.009 s] Raw data (loadavg): 1.00 1.00 0.99 2/55 30753 Raw data (stat): 30753 (Pueblo) R 30752 7876 7672 0 -1 0 2063 0 0 0 56997 9 0 0 25 0 1 0 794501419 14114816 2040 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3446 2040 566 18 0 3428 0 vsize: 13784 [startup+580.009 s] Raw data (loadavg): 1.00 1.00 0.99 2/55 30753 Raw data (stat): 30753 (Pueblo) R 30752 7876 7672 0 -1 0 2063 0 0 0 57997 9 0 0 25 0 1 0 794501419 14114816 2040 4294967295 134512640 134581331 3221221792 3221220704 134528085 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3446 2040 566 18 0 3428 0 vsize: 13784 [startup+590.009 s] Raw data (loadavg): 1.00 1.00 0.99 2/55 30753 Raw data (stat): 30753 (Pueblo) R 30752 7876 7672 0 -1 0 2063 0 0 0 58997 9 0 0 25 0 1 0 794501419 14114816 2040 4294967295 134512640 134581331 3221221792 3221220656 134560421 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3446 2040 566 18 0 3428 0 vsize: 13784 [startup+600.01 s] Raw data (loadavg): 1.00 1.00 0.99 2/55 30753 Raw data (stat): 30753 (Pueblo) R 30752 7876 7672 0 -1 0 2063 0 0 0 59998 9 0 0 25 0 1 0 794501419 14114816 2040 4294967295 134512640 134581331 3221221792 3221220704 134527434 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3446 2040 566 18 0 3428 0 vsize: 13784 [startup+610.009 s] Raw data (loadavg): 1.00 1.00 0.99 2/55 30753 Raw data (stat): 30753 (Pueblo) R 30752 7876 7672 0 -1 0 2063 0 0 0 60998 9 0 0 25 0 1 0 794501419 14114816 2040 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3446 2040 566 18 0 3428 0 vsize: 13784 [startup+620.009 s] Raw data (loadavg): 1.00 1.00 0.99 2/55 30753 Raw data (stat): 30753 (Pueblo) R 30752 7876 7672 0 -1 0 2063 0 0 0 61998 9 0 0 25 0 1 0 794501419 14114816 2040 4294967295 134512640 134581331 3221221792 3221220704 134528079 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3446 2040 566 18 0 3428 0 vsize: 13784 [startup+630.009 s] Raw data (loadavg): 1.00 1.00 0.99 2/55 30753 Raw data (stat): 30753 (Pueblo) R 30752 7876 7672 0 -1 0 2063 0 0 0 62998 9 0 0 25 0 1 0 794501419 14114816 2040 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3446 2040 566 18 0 3428 0 vsize: 13784 [startup+640.009 s] Raw data (loadavg): 1.00 1.00 0.99 2/55 30753 Raw data (stat): 30753 (Pueblo) R 30752 7876 7672 0 -1 0 2063 0 0 0 63998 9 0 0 25 0 1 0 794501419 14114816 2040 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3446 2040 566 18 0 3428 0 vsize: 13784 [startup+650.009 s] Raw data (loadavg): 1.00 1.00 0.99 2/55 30753 Raw data (stat): 30753 (Pueblo) R 30752 7876 7672 0 -1 0 2063 0 0 0 64998 9 0 0 25 0 1 0 794501419 14114816 2040 4294967295 134512640 134581331 3221221792 3221220704 134527454 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3446 2040 566 18 0 3428 0 vsize: 13784 [startup+660.01 s] Raw data (loadavg): 1.00 1.00 0.99 2/55 30753 Raw data (stat): 30753 (Pueblo) R 30752 7876 7672 0 -1 0 2063 0 0 0 65998 9 0 0 25 0 1 0 794501419 14114816 2040 4294967295 134512640 134581331 3221221792 3221220720 134519952 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3446 2040 566 18 0 3428 0 vsize: 13784 [startup+670.01 s] Raw data (loadavg): 1.00 1.00 0.99 2/55 30753 Raw data (stat): 30753 (Pueblo) R 30752 7876 7672 0 -1 0 2063 0 0 0 66999 9 0 0 25 0 1 0 794501419 14114816 2040 4294967295 134512640 134581331 3221221792 3221220704 134527510 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3446 2040 566 18 0 3428 0 vsize: 13784 [startup+680.01 s] Raw data (loadavg): 1.00 1.00 0.99 2/55 30753 Raw data (stat): 30753 (Pueblo) R 30752 7876 7672 0 -1 0 2063 0 0 0 67999 9 0 0 25 0 1 0 794501419 14114816 2040 4294967295 134512640 134581331 3221221792 3221220704 134527459 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3446 2040 566 18 0 3428 0 vsize: 13784 [startup+690.01 s] Raw data (loadavg): 1.00 1.00 0.99 2/55 30753 Raw data (stat): 30753 (Pueblo) R 30752 7876 7672 0 -1 0 2063 0 0 0 68999 9 0 0 25 0 1 0 794501419 14114816 2040 4294967295 134512640 134581331 3221221792 3221220704 134527964 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3446 2040 566 18 0 3428 0 vsize: 13784 [startup+700.011 s] Raw data (loadavg): 1.00 1.00 0.99 2/55 30753 Raw data (stat): 30753 (Pueblo) R 30752 7876 7672 0 -1 0 2063 0 0 0 69999 9 0 0 25 0 1 0 794501419 14114816 2040 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3446 2040 566 18 0 3428 0 vsize: 13784 [startup+710.011 s] Raw data (loadavg): 1.00 1.00 0.99 2/55 30753 Raw data (stat): 30753 (Pueblo) R 30752 7876 7672 0 -1 0 2063 0 0 0 70999 9 0 0 25 0 1 0 794501419 14114816 2040 4294967295 134512640 134581331 3221221792 3221220704 134528088 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3446 2040 566 18 0 3428 0 vsize: 13784 [startup+720.011 s] Raw data (loadavg): 1.00 1.00 0.99 2/55 30753 Raw data (stat): 30753 (Pueblo) R 30752 7876 7672 0 -1 0 2063 0 0 0 71999 9 0 0 25 0 1 0 794501419 14114816 2040 4294967295 134512640 134581331 3221221792 3221220704 134527434 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3446 2040 566 18 0 3428 0 vsize: 13784 [startup+730.011 s] Raw data (loadavg): 1.00 1.00 0.99 2/55 30753 Raw data (stat): 30753 (Pueblo) R 30752 7876 7672 0 -1 0 2063 0 0 0 72999 9 0 0 25 0 1 0 794501419 14114816 2040 4294967295 134512640 134581331 3221221792 3221220704 134527645 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3446 2040 566 18 0 3428 0 vsize: 13784 [startup+740.011 s] Raw data (loadavg): 1.00 1.00 0.99 2/55 30753 Raw data (stat): 30753 (Pueblo) R 30752 7876 7672 0 -1 0 2063 0 0 0 74000 9 0 0 25 0 1 0 794501419 14114816 2040 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3446 2040 566 18 0 3428 0 vsize: 13784 [startup+750.012 s] Raw data (loadavg): 1.00 1.00 0.99 2/55 30753 Raw data (stat): 30753 (Pueblo) R 30752 7876 7672 0 -1 0 2063 0 0 0 75000 9 0 0 25 0 1 0 794501419 14114816 2040 4294967295 134512640 134581331 3221221792 3221220704 134527434 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3446 2040 566 18 0 3428 0 vsize: 13784 [startup+760.012 s] Raw data (loadavg): 1.00 1.00 0.99 2/55 30753 Raw data (stat): 30753 (Pueblo) R 30752 7876 7672 0 -1 0 2063 0 0 0 76000 9 0 0 25 0 1 0 794501419 14114816 2040 4294967295 134512640 134581331 3221221792 3221220704 134528072 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3446 2040 566 18 0 3428 0 vsize: 13784 [startup+770.013 s] Raw data (loadavg): 1.00 1.00 0.99 2/55 30753 Raw data (stat): 30753 (Pueblo) R 30752 7876 7672 0 -1 0 2063 0 0 0 77000 9 0 0 25 0 1 0 794501419 14114816 2040 4294967295 134512640 134581331 3221221792 3221220704 134528079 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3446 2040 566 18 0 3428 0 vsize: 13784 [startup+780.013 s] Raw data (loadavg): 1.00 1.00 0.99 2/55 30753 Raw data (stat): 30753 (Pueblo) R 30752 7876 7672 0 -1 0 2063 0 0 0 78000 9 0 0 25 0 1 0 794501419 14114816 2040 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3446 2040 566 18 0 3428 0 vsize: 13784 [startup+790.013 s] Raw data (loadavg): 1.00 1.00 0.99 2/55 30753 Raw data (stat): 30753 (Pueblo) R 30752 7876 7672 0 -1 0 2063 0 0 0 79000 9 0 0 25 0 1 0 794501419 14114816 2040 4294967295 134512640 134581331 3221221792 3221220704 134527975 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3446 2040 566 18 0 3428 0 vsize: 13784 [startup+800.013 s] Raw data (loadavg): 1.00 1.00 0.99 2/55 30753 Raw data (stat): 30753 (Pueblo) R 30752 7876 7672 0 -1 0 2063 0 0 0 80001 9 0 0 25 0 1 0 794501419 14114816 2040 4294967295 134512640 134581331 3221221792 3221220704 134528088 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3446 2040 566 18 0 3428 0 vsize: 13784 [startup+810.014 s] Raw data (loadavg): 1.00 1.00 0.99 2/55 30753 Raw data (stat): 30753 (Pueblo) R 30752 7876 7672 0 -1 0 2063 0 0 0 81001 9 0 0 25 0 1 0 794501419 14114816 2040 4294967295 134512640 134581331 3221221792 3221220704 134527975 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3446 2040 566 18 0 3428 0 vsize: 13784 [startup+820.014 s] Raw data (loadavg): 1.00 1.00 0.99 2/55 30753 Raw data (stat): 30753 (Pueblo) R 30752 7876 7672 0 -1 0 2063 0 0 0 82001 9 0 0 25 0 1 0 794501419 14114816 2040 4294967295 134512640 134581331 3221221792 3221220704 134528079 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3446 2040 566 18 0 3428 0 vsize: 13784 [startup+830.014 s] Raw data (loadavg): 1.00 1.00 0.99 2/55 30753 Raw data (stat): 30753 (Pueblo) R 30752 7876 7672 0 -1 0 2063 0 0 0 83001 9 0 0 25 0 1 0 794501419 14114816 2040 4294967295 134512640 134581331 3221221792 3221220704 134527510 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3446 2040 566 18 0 3428 0 vsize: 13784 [startup+840.015 s] Raw data (loadavg): 1.00 1.00 0.99 2/55 30753 Raw data (stat): 30753 (Pueblo) R 30752 7876 7672 0 -1 0 2063 0 0 0 84001 9 0 0 25 0 1 0 794501419 14114816 2040 4294967295 134512640 134581331 3221221792 3221220704 134528088 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3446 2040 566 18 0 3428 0 vsize: 13784 [startup+850.015 s] Raw data (loadavg): 1.00 1.00 0.99 2/55 30753 Raw data (stat): 30753 (Pueblo) R 30752 7876 7672 0 -1 0 2063 0 0 0 85001 9 0 0 25 0 1 0 794501419 14114816 2040 4294967295 134512640 134581331 3221221792 3221220488 1075291632 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3446 2040 566 18 0 3428 0 vsize: 13784 [startup+860.015 s] Raw data (loadavg): 1.00 1.00 0.99 2/55 30753 Raw data (stat): 30753 (Pueblo) R 30752 7876 7672 0 -1 0 2063 0 0 0 86002 9 0 0 25 0 1 0 794501419 14114816 2040 4294967295 134512640 134581331 3221221792 3221220704 134527445 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3446 2040 566 18 0 3428 0 vsize: 13784 [startup+870.015 s] Raw data (loadavg): 1.00 1.00 0.99 2/55 30753 Raw data (stat): 30753 (Pueblo) R 30752 7876 7672 0 -1 0 2063 0 0 0 87002 9 0 0 25 0 1 0 794501419 14114816 2040 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3446 2040 566 18 0 3428 0 vsize: 13784 [startup+880.014 s] Raw data (loadavg): 1.00 1.00 0.99 2/55 30753 Raw data (stat): 30753 (Pueblo) R 30752 7876 7672 0 -1 0 2063 0 0 0 88002 9 0 0 25 0 1 0 794501419 14114816 2040 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3446 2040 566 18 0 3428 0 vsize: 13784 [startup+890.015 s] Raw data (loadavg): 1.00 1.00 0.99 2/55 30753 Raw data (stat): 30753 (Pueblo) R 30752 7876 7672 0 -1 0 2063 0 0 0 89002 9 0 0 25 0 1 0 794501419 14114816 2040 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3446 2040 566 18 0 3428 0 vsize: 13784 [startup+900.016 s] Raw data (loadavg): 1.00 1.00 0.99 2/55 30753 Raw data (stat): 30753 (Pueblo) R 30752 7876 7672 0 -1 0 2063 0 0 0 90002 9 0 0 25 0 1 0 794501419 14114816 2040 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3446 2040 566 18 0 3428 0 vsize: 13784 [startup+910.016 s] Raw data (loadavg): 1.00 1.00 0.99 2/55 30753 Raw data (stat): 30753 (Pueblo) R 30752 7876 7672 0 -1 0 2063 0 0 0 91002 9 0 0 25 0 1 0 794501419 14114816 2040 4294967295 134512640 134581331 3221221792 3221220704 134527434 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3446 2040 566 18 0 3428 0 vsize: 13784 [startup+920.016 s] Raw data (loadavg): 1.00 1.00 0.99 2/55 30753 Raw data (stat): 30753 (Pueblo) R 30752 7876 7672 0 -1 0 2063 0 0 0 92003 9 0 0 25 0 1 0 794501419 14114816 2040 4294967295 134512640 134581331 3221221792 3221220704 134528088 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3446 2040 566 18 0 3428 0 vsize: 13784 [startup+930.016 s] Raw data (loadavg): 1.00 1.00 0.99 2/55 30753 Raw data (stat): 30753 (Pueblo) R 30752 7876 7672 0 -1 0 2063 0 0 0 93003 9 0 0 25 0 1 0 794501419 14114816 2040 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3446 2040 566 18 0 3428 0 vsize: 13784 [startup+940.017 s] Raw data (loadavg): 1.00 1.00 0.99 2/55 30753 Raw data (stat): 30753 (Pueblo) R 30752 7876 7672 0 -1 0 2063 0 0 0 94003 9 0 0 25 0 1 0 794501419 14114816 2040 4294967295 134512640 134581331 3221221792 3221220704 134527454 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3446 2040 566 18 0 3428 0 vsize: 13784 [startup+950.017 s] Raw data (loadavg): 1.00 1.00 0.99 2/55 30753 Raw data (stat): 30753 (Pueblo) R 30752 7876 7672 0 -1 0 2063 0 0 0 95003 9 0 0 25 0 1 0 794501419 14114816 2040 4294967295 134512640 134581331 3221221792 3221220656 134528316 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3446 2040 566 18 0 3428 0 vsize: 13784 [startup+960.018 s] Raw data (loadavg): 1.00 1.00 0.99 2/55 30753 Raw data (stat): 30753 (Pueblo) R 30752 7876 7672 0 -1 0 2063 0 0 0 96003 9 0 0 25 0 1 0 794501419 14114816 2040 4294967295 134512640 134581331 3221221792 3221220704 134527964 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3446 2040 566 18 0 3428 0 vsize: 13784 [startup+970.019 s] Raw data (loadavg): 1.00 1.00 0.99 2/55 30753 Raw data (stat): 30753 (Pueblo) R 30752 7876 7672 0 -1 0 2063 0 0 0 97004 9 0 0 25 0 1 0 794501419 14114816 2040 4294967295 134512640 134581331 3221221792 3221220704 134527404 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3446 2040 566 18 0 3428 0 vsize: 13784 [startup+980.019 s] Raw data (loadavg): 1.00 1.00 0.99 2/55 30753 Raw data (stat): 30753 (Pueblo) R 30752 7876 7672 0 -1 0 2063 0 0 0 98004 9 0 0 25 0 1 0 794501419 14114816 2040 4294967295 134512640 134581331 3221221792 3221220704 134527692 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3446 2040 566 18 0 3428 0 vsize: 13784 [startup+990.019 s] Raw data (loadavg): 1.00 1.00 0.99 2/55 30753 Raw data (stat): 30753 (Pueblo) R 30752 7876 7672 0 -1 0 2063 0 0 0 99004 9 0 0 25 0 1 0 794501419 14114816 2040 4294967295 134512640 134581331 3221221792 3221220704 134527537 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3446 2040 566 18 0 3428 0 vsize: 13784 [startup+1000.02 s] Raw data (loadavg): 1.00 1.00 0.99 2/55 30753 Raw data (stat): 30753 (Pueblo) R 30752 7876 7672 0 -1 0 2063 0 0 0 100004 9 0 0 25 0 1 0 794501419 14114816 2040 4294967295 134512640 134581331 3221221792 3221220704 134527692 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3446 2040 566 18 0 3428 0 vsize: 13784 [startup+1010.02 s] Raw data (loadavg): 1.00 1.00 0.99 2/55 30753 Raw data (stat): 30753 (Pueblo) R 30752 7876 7672 0 -1 0 2063 0 0 0 101004 9 0 0 25 0 1 0 794501419 14114816 2040 4294967295 134512640 134581331 3221221792 3221220704 134528088 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3446 2040 566 18 0 3428 0 vsize: 13784 [startup+1020.02 s] Raw data (loadavg): 1.00 1.00 0.99 2/55 30753 Raw data (stat): 30753 (Pueblo) R 30752 7876 7672 0 -1 0 2063 0 0 0 102004 9 0 0 25 0 1 0 794501419 14114816 2040 4294967295 134512640 134581331 3221221792 3221220656 134528503 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3446 2040 566 18 0 3428 0 vsize: 13784 [startup+1030.02 s] Raw data (loadavg): 1.00 1.00 0.99 2/55 30753 Raw data (stat): 30753 (Pueblo) R 30752 7876 7672 0 -1 0 2063 0 0 0 103005 9 0 0 25 0 1 0 794501419 14114816 2040 4294967295 134512640 134581331 3221221792 3221220704 134527510 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3446 2040 566 18 0 3428 0 vsize: 13784 [startup+1040.02 s] Raw data (loadavg): 1.00 1.00 0.99 2/55 30753 Raw data (stat): 30753 (Pueblo) R 30752 7876 7672 0 -1 0 2063 0 0 0 104005 9 0 0 25 0 1 0 794501419 14114816 2040 4294967295 134512640 134581331 3221221792 3221220704 134527440 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3446 2040 566 18 0 3428 0 vsize: 13784 [startup+1050.02 s] Raw data (loadavg): 1.00 1.00 0.99 2/55 30753 Raw data (stat): 30753 (Pueblo) R 30752 7876 7672 0 -1 0 2063 0 0 0 105005 9 0 0 25 0 1 0 794501419 14114816 2040 4294967295 134512640 134581331 3221221792 3221220704 134527459 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3446 2040 566 18 0 3428 0 vsize: 13784 [startup+1060.02 s] Raw data (loadavg): 1.00 1.00 0.99 2/55 30753 Raw data (stat): 30753 (Pueblo) R 30752 7876 7672 0 -1 0 2063 0 0 0 106005 10 0 0 25 0 1 0 794501419 14114816 2040 4294967295 134512640 134581331 3221221792 3221220704 134527525 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3446 2040 566 18 0 3428 0 vsize: 13784 [startup+1070.02 s] Raw data (loadavg): 1.00 1.00 0.99 2/55 30753 Raw data (stat): 30753 (Pueblo) R 30752 7876 7672 0 -1 0 2063 0 0 0 107005 10 0 0 25 0 1 0 794501419 14114816 2040 4294967295 134512640 134581331 3221221792 3221220704 134528079 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3446 2040 566 18 0 3428 0 vsize: 13784 [startup+1080.02 s] Raw data (loadavg): 1.00 1.00 0.99 2/55 30753 Raw data (stat): 30753 (Pueblo) R 30752 7876 7672 0 -1 0 2063 0 0 0 108005 10 0 0 25 0 1 0 794501419 14114816 2040 4294967295 134512640 134581331 3221221792 3221220656 134528541 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3446 2040 566 18 0 3428 0 vsize: 13784 [startup+1090.02 s] Raw data (loadavg): 1.00 1.00 0.99 2/55 30753 Raw data (stat): 30753 (Pueblo) R 30752 7876 7672 0 -1 0 2063 0 0 0 109005 10 0 0 25 0 1 0 794501419 14114816 2040 4294967295 134512640 134581331 3221221792 3221220704 134527783 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3446 2040 566 18 0 3428 0 vsize: 13784 [startup+1100.02 s] Raw data (loadavg): 1.00 1.00 0.99 2/55 30753 Raw data (stat): 30753 (Pueblo) R 30752 7876 7672 0 -1 0 2063 0 0 0 110005 10 0 0 25 0 1 0 794501419 14114816 2040 4294967295 134512640 134581331 3221221792 3221220704 134527434 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3446 2040 566 18 0 3428 0 vsize: 13784 [startup+1110.02 s] Raw data (loadavg): 1.00 1.00 0.99 2/55 30753 Raw data (stat): 30753 (Pueblo) R 30752 7876 7672 0 -1 0 2063 0 0 0 111005 10 0 0 25 0 1 0 794501419 14114816 2040 4294967295 134512640 134581331 3221221792 3221220784 134560650 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3446 2040 566 18 0 3428 0 vsize: 13784 [startup+1120.02 s] Raw data (loadavg): 1.00 1.00 0.99 2/55 30753 Raw data (stat): 30753 (Pueblo) R 30752 7876 7672 0 -1 0 2063 0 0 0 112005 10 0 0 25 0 1 0 794501419 14114816 2040 4294967295 134512640 134581331 3221221792 3221220704 134527636 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3446 2040 566 18 0 3428 0 vsize: 13784 [startup+1130.02 s] Raw data (loadavg): 1.00 1.00 0.99 2/55 30753 Raw data (stat): 30753 (Pueblo) R 30752 7876 7672 0 -1 0 2063 0 0 0 113005 10 0 0 25 0 1 0 794501419 14114816 2040 4294967295 134512640 134581331 3221221792 3221220704 134527987 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3446 2040 566 18 0 3428 0 vsize: 13784 [startup+1140.02 s] Raw data (loadavg): 1.00 1.00 0.99 2/55 30753 Raw data (stat): 30753 (Pueblo) R 30752 7876 7672 0 -1 0 2063 0 0 0 114006 10 0 0 25 0 1 0 794501419 14114816 2040 4294967295 134512640 134581331 3221221792 3221220704 134527504 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3446 2040 566 18 0 3428 0 vsize: 13784 [startup+1150.02 s] Raw data (loadavg): 1.00 1.00 0.99 2/55 30753 Raw data (stat): 30753 (Pueblo) R 30752 7876 7672 0 -1 0 2063 0 0 0 115006 11 0 0 25 0 1 0 794501419 14114816 2040 4294967295 134512640 134581331 3221221792 3221220704 134527459 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3446 2040 566 18 0 3428 0 vsize: 13784 [startup+1160.02 s] Raw data (loadavg): 1.00 1.00 0.99 2/55 30753 Raw data (stat): 30753 (Pueblo) R 30752 7876 7672 0 -1 0 2063 0 0 0 116006 11 0 0 25 0 1 0 794501419 14114816 2040 4294967295 134512640 134581331 3221221792 3221220704 134527703 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3446 2040 566 18 0 3428 0 vsize: 13784 [startup+1170.02 s] Raw data (loadavg): 1.00 1.00 0.99 2/55 30753 Raw data (stat): 30753 (Pueblo) R 30752 7876 7672 0 -1 0 2063 0 0 0 117006 11 0 0 25 0 1 0 794501419 14114816 2040 4294967295 134512640 134581331 3221221792 3221220704 134527440 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3446 2040 566 18 0 3428 0 vsize: 13784 [startup+1180.02 s] Raw data (loadavg): 1.00 1.00 0.99 2/55 30753 Raw data (stat): 30753 (Pueblo) R 30752 7876 7672 0 -1 0 2063 0 0 0 118006 11 0 0 25 0 1 0 794501419 14114816 2040 4294967295 134512640 134581331 3221221792 3221220704 134528088 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3446 2040 566 18 0 3428 0 vsize: 13784 [startup+1190.03 s] Raw data (loadavg): 1.00 1.00 0.99 2/55 30753 Raw data (stat): 30753 (Pueblo) R 30752 7876 7672 0 -1 0 2063 0 0 0 119006 11 0 0 25 0 1 0 794501419 14114816 2040 4294967295 134512640 134581331 3221221792 3221220676 134557960 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3446 2040 566 18 0 3428 0 vsize: 13784 [startup+1200.03 s] Raw data (loadavg): 1.00 1.00 0.99 2/55 30753 Raw data (stat): 30753 (Pueblo) R 30752 7876 7672 0 -1 0 2063 0 0 0 120006 11 0 0 25 0 1 0 794501419 14114816 2040 4294967295 134512640 134581331 3221221792 3221220704 134527416 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3446 2040 566 18 0 3428 0 vsize: 13784 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.03 s] Raw data (loadavg): 1.00 1.00 0.99 1/55 30753 Raw data (stat): 30753 (Pueblo) Z 30752 7876 7672 0 -1 1036 2063 0 0 0 120006 11 0 0 25 0 1 0 794501419 0 0 4294967295 0 0 0 0 0 0 0 1 0 3222412051 0 0 17 0 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.03 CPU time (s): 1200.19 CPU user time (s): 1200.07 CPU system time (s): 0.116982 CPU usage (%): 100.013 Max. virtual memory (Kb): 13804 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####