Name | normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0548.opb |
MD5SUM | 6f47095f2d417d23ced995954e641689 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 14938 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 416 |
Biggest coefficient in the objective function | 11000 |
Number of bits for the biggest coefficient in the objective function | 14 |
Sum of the numbers in the objective function | 96797 |
Number of bits of the sum of numbers in the objective function | 17 |
Biggest number in a constraint | 11000 |
Number of bits of the biggest number in a constraint | 14 |
Biggest sum of numbers in a constraint | 96797 |
Number of bits of the biggest sum of numbers | 17 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1236.51 |
Number of variables | 548 |
Total number of constraints | 724 |
Number of constraints which are clauses | 40 |
Number of constraints which are cardinality constraints (but not clauses) | 550 |
Number of constraints which are nor clauses,nor cardinality constraints | 134 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 143 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc17 THE 2005-05-25 03:44:45 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=12162 boxname=wulflinc17 idbench=936 idsolver=7 numberseed=0 MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911 /oldhome/oroussel/solvers/Pueblo MD5SUM BENCH: 6f47095f2d417d23ced995954e641689 /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-20-10-p0548.opb REAL COMMAND: Pueblo /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-20-10-p0548.opb IDLAUNCH: 12162 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.072 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.072 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 822616 kB Buffers: 20436 kB Cached: 168724 kB SwapCached: 492 kB Active: 48568 kB Inactive: 142772 kB HighTotal: 131008 kB HighFree: 2884 kB LowTotal: 903652 kB LowFree: 819732 kB SwapTotal: 2097892 kB SwapFree: 2096592 kB Dirty: 40 kB Writeback: 0 kB Mapped: 5324 kB Slab: 14924 kB Committed_AS: 63600 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-25 04:04:48 (client local time) WITH STATUS 0 IN 1200.2 SECONDS stats: 12162 7 1200.2 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.65 0.81 0.86 2/54 18261 Raw data (stat): 18261 (runsolver) R 18260 7475 7474 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 835750099 1052672 99 4294967295 134512640 135381576 3221224496 3221219716 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0001 s] Raw data (loadavg): 0.71 0.82 0.86 2/54 18261 Raw data (stat): 18261 (Pueblo) R 18260 7475 7474 0 -1 0 391 0 0 0 998 1 0 0 25 0 1 0 835750099 7229440 369 4294967295 134512640 134581331 3221224592 3221223456 134528384 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1765 369 566 18 0 1747 0 vsize: 7060 [startup+19.9998 s] Raw data (loadavg): 0.75 0.83 0.86 2/54 18261 Raw data (stat): 18261 (Pueblo) R 18260 7475 7474 0 -1 0 407 0 0 0 1997 1 0 0 25 0 1 0 835750099 7356416 385 4294967295 134512640 134581331 3221224592 3221223476 134557799 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1796 385 566 18 0 1778 0 vsize: 7184 [startup+30.0001 s] Raw data (loadavg): 0.79 0.83 0.86 2/54 18261 Raw data (stat): 18261 (Pueblo) R 18260 7475 7474 0 -1 0 417 0 0 0 2998 1 0 0 25 0 1 0 835750099 7356416 395 4294967295 134512640 134581331 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1796 395 566 18 0 1778 0 vsize: 7184 [startup+39.9997 s] Raw data (loadavg): 0.82 0.83 0.86 2/54 18261 Raw data (stat): 18261 (Pueblo) R 18260 7475 7474 0 -1 0 427 0 0 0 3998 1 0 0 25 0 1 0 835750099 7356416 405 4294967295 134512640 134581331 3221224592 3221223504 134527780 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1796 405 566 18 0 1778 0 vsize: 7184 [startup+50.0006 s] Raw data (loadavg): 0.85 0.84 0.86 2/54 18261 Raw data (stat): 18261 (Pueblo) R 18260 7475 7474 0 -1 0 432 0 0 0 4998 1 0 0 25 0 1 0 835750099 7487488 410 4294967295 134512640 134581331 3221224592 3221223584 134561089 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1828 410 566 18 0 1810 0 vsize: 7312 [startup+59.9999 s] Raw data (loadavg): 0.87 0.84 0.86 2/54 18261 Raw data (stat): 18261 (Pueblo) R 18260 7475 7474 0 -1 0 441 0 0 0 5998 1 0 0 25 0 1 0 835750099 7487488 419 4294967295 134512640 134581331 3221224592 3221223376 134528822 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1828 419 566 18 0 1810 0 vsize: 7312 [startup+69.9995 s] Raw data (loadavg): 0.89 0.85 0.87 2/54 18261 Raw data (stat): 18261 (Pueblo) R 18260 7475 7474 0 -1 0 446 0 0 0 6998 1 0 0 25 0 1 0 835750099 7487488 424 4294967295 134512640 134581331 3221224592 3221223552 134554660 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1828 424 566 18 0 1810 0 vsize: 7312 [startup+80.0004 s] Raw data (loadavg): 0.91 0.85 0.87 2/54 18261 Raw data (stat): 18261 (Pueblo) R 18260 7475 7474 0 -1 0 449 0 0 0 7998 1 0 0 25 0 1 0 835750099 7487488 427 4294967295 134512640 134581331 3221224592 3221223376 134528804 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1828 427 566 18 0 1810 0 vsize: 7312 [startup+89.9997 s] Raw data (loadavg): 0.92 0.86 0.87 2/54 18261 Raw data (stat): 18261 (Pueblo) R 18260 7475 7474 0 -1 0 458 0 0 0 8998 1 0 0 25 0 1 0 835750099 7487488 436 4294967295 134512640 134581331 3221224592 3221223376 134528844 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1828 436 566 18 0 1810 0 vsize: 7312 [startup+99.9994 s] Raw data (loadavg): 0.93 0.86 0.87 2/54 18261 Raw data (stat): 18261 (Pueblo) R 18260 7475 7474 0 -1 0 460 0 0 0 9998 1 0 0 25 0 1 0 835750099 7487488 438 4294967295 134512640 134581331 3221224592 3221223536 134558812 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1828 438 566 18 0 1810 0 vsize: 7312 [startup+109.999 s] Raw data (loadavg): 0.94 0.87 0.87 2/54 18261 Raw data (stat): 18261 (Pueblo) R 18260 7475 7474 0 -1 0 467 0 0 0 10998 1 0 0 25 0 1 0 835750099 7626752 445 4294967295 134512640 134581331 3221224592 3221223584 134561089 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1862 445 566 18 0 1844 0 vsize: 7448 [startup+119.999 s] Raw data (loadavg): 0.95 0.87 0.87 2/54 18261 Raw data (stat): 18261 (Pueblo) R 18260 7475 7474 0 -1 0 469 0 0 0 11998 1 0 0 25 0 1 0 835750099 7626752 447 4294967295 134512640 134581331 3221224592 3221223584 134561122 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1862 447 566 18 0 1844 0 vsize: 7448 [startup+129.999 s] Raw data (loadavg): 0.96 0.87 0.87 2/54 18261 Raw data (stat): 18261 (Pueblo) R 18260 7475 7474 0 -1 0 481 0 0 0 12999 1 0 0 25 0 1 0 835750099 7626752 459 4294967295 134512640 134581331 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1862 459 566 18 0 1844 0 vsize: 7448 [startup+139.999 s] Raw data (loadavg): 0.96 0.88 0.87 2/54 18261 Raw data (stat): 18261 (Pueblo) R 18260 7475 7474 0 -1 0 483 0 0 0 13999 1 0 0 25 0 1 0 835750099 7626752 461 4294967295 134512640 134581331 3221224592 3221223572 134560793 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1862 461 566 18 0 1844 0 vsize: 7448 [startup+149.999 s] Raw data (loadavg): 0.97 0.88 0.87 2/54 18261 Raw data (stat): 18261 (Pueblo) R 18260 7475 7474 0 -1 0 483 0 0 0 14999 1 0 0 25 0 1 0 835750099 7626752 461 4294967295 134512640 134581331 3221224592 3221223456 134528463 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1862 461 566 18 0 1844 0 vsize: 7448 [startup+159.999 s] Raw data (loadavg): 0.97 0.89 0.87 2/54 18261 Raw data (stat): 18261 (Pueblo) R 18260 7475 7474 0 -1 0 483 0 0 0 15999 2 0 0 25 0 1 0 835750099 7626752 461 4294967295 134512640 134581331 3221224592 3221223504 134527429 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1862 461 566 18 0 1844 0 vsize: 7448 [startup+169.999 s] Raw data (loadavg): 0.98 0.89 0.87 2/54 18261 Raw data (stat): 18261 (Pueblo) R 18260 7475 7474 0 -1 0 493 0 0 0 16999 2 0 0 25 0 1 0 835750099 7626752 471 4294967295 134512640 134581331 3221224592 3221223376 134528804 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1862 471 566 18 0 1844 0 vsize: 7448 [startup+180 s] Raw data (loadavg): 0.98 0.89 0.88 2/54 18261 Raw data (stat): 18261 (Pueblo) R 18260 7475 7474 0 -1 0 502 0 0 0 17999 2 0 0 25 0 1 0 835750099 7766016 480 4294967295 134512640 134581331 3221224592 3221223476 134557849 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1896 480 566 18 0 1878 0 vsize: 7584 [startup+189.999 s] Raw data (loadavg): 0.98 0.89 0.88 2/54 18261 Raw data (stat): 18261 (Pueblo) R 18260 7475 7474 0 -1 0 505 0 0 0 19000 2 0 0 25 0 1 0 835750099 7766016 483 4294967295 134512640 134581331 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1896 483 566 18 0 1878 0 vsize: 7584 [startup+199.998 s] Raw data (loadavg): 0.98 0.90 0.88 2/54 18261 Raw data (stat): 18261 (Pueblo) R 18260 7475 7474 0 -1 0 508 0 0 0 20000 2 0 0 25 0 1 0 835750099 7766016 486 4294967295 134512640 134581331 3221224592 3221223376 134528824 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1896 486 566 18 0 1878 0 vsize: 7584 [startup+209.998 s] Raw data (loadavg): 0.99 0.90 0.88 2/54 18261 Raw data (stat): 18261 (Pueblo) R 18260 7475 7474 0 -1 0 510 0 0 0 21000 2 0 0 25 0 1 0 835750099 7766016 488 4294967295 134512640 134581331 3221224592 3221223504 134527519 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1896 488 566 18 0 1878 0 vsize: 7584 [startup+219.998 s] Raw data (loadavg): 0.99 0.90 0.88 2/54 18261 Raw data (stat): 18261 (Pueblo) R 18260 7475 7474 0 -1 0 512 0 0 0 22000 2 0 0 25 0 1 0 835750099 7766016 490 4294967295 134512640 134581331 3221224592 3221223456 134560372 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1896 490 566 18 0 1878 0 vsize: 7584 [startup+229.997 s] Raw data (loadavg): 0.99 0.91 0.88 2/54 18261 Raw data (stat): 18261 (Pueblo) R 18260 7475 7474 0 -1 0 516 0 0 0 23000 2 0 0 25 0 1 0 835750099 7766016 494 4294967295 134512640 134581331 3221224592 3221223456 134528516 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1896 494 566 18 0 1878 0 vsize: 7584 [startup+239.997 s] Raw data (loadavg): 0.99 0.91 0.88 2/54 18261 Raw data (stat): 18261 (Pueblo) R 18260 7475 7474 0 -1 0 518 0 0 0 24000 2 0 0 25 0 1 0 835750099 7766016 496 4294967295 134512640 134581331 3221224592 3221223504 134527454 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1896 496 566 18 0 1878 0 vsize: 7584 [startup+249.997 s] Raw data (loadavg): 0.99 0.91 0.88 2/54 18261 Raw data (stat): 18261 (Pueblo) R 18260 7475 7474 0 -1 0 521 0 0 0 25000 2 0 0 25 0 1 0 835750099 7766016 499 4294967295 134512640 134581331 3221224592 3221223456 134527074 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1896 499 566 18 0 1878 0 vsize: 7584 [startup+259.997 s] Raw data (loadavg): 0.99 0.91 0.88 2/54 18261 Raw data (stat): 18261 (Pueblo) R 18260 7475 7474 0 -1 0 521 0 0 0 26001 2 0 0 25 0 1 0 835750099 7766016 499 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1896 499 566 18 0 1878 0 vsize: 7584 [startup+269.997 s] Raw data (loadavg): 0.99 0.92 0.88 2/54 18261 Raw data (stat): 18261 (Pueblo) R 18260 7475 7474 0 -1 0 521 0 0 0 27001 2 0 0 25 0 1 0 835750099 7766016 499 4294967295 134512640 134581331 3221224592 3221223504 134528088 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1896 499 566 18 0 1878 0 vsize: 7584 [startup+279.997 s] Raw data (loadavg): 0.99 0.92 0.89 2/54 18261 Raw data (stat): 18261 (Pueblo) R 18260 7475 7474 0 -1 0 521 0 0 0 28001 2 0 0 25 0 1 0 835750099 7766016 499 4294967295 134512640 134581331 3221224592 3221223408 134528848 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1896 499 566 18 0 1878 0 vsize: 7584 [startup+289.997 s] Raw data (loadavg): 0.99 0.92 0.89 2/54 18261 Raw data (stat): 18261 (Pueblo) R 18260 7475 7474 0 -1 0 521 0 0 0 29001 2 0 0 25 0 1 0 835750099 7766016 499 4294967295 134512640 134581331 3221224592 3221223536 134558859 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1896 499 566 18 0 1878 0 vsize: 7584 [startup+299.997 s] Raw data (loadavg): 0.99 0.92 0.89 2/54 18261 Raw data (stat): 18261 (Pueblo) R 18260 7475 7474 0 -1 0 522 0 0 0 30001 2 0 0 25 0 1 0 835750099 7766016 500 4294967295 134512640 134581331 3221224592 3221223584 134561084 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1896 500 566 18 0 1878 0 vsize: 7584 [startup+309.997 s] Raw data (loadavg): 0.99 0.92 0.89 2/54 18261 Raw data (stat): 18261 (Pueblo) R 18260 7475 7474 0 -1 0 534 0 0 0 31001 2 0 0 25 0 1 0 835750099 7897088 512 4294967295 134512640 134581331 3221224592 3221223504 134527975 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1928 512 566 18 0 1910 0 vsize: 7712 [startup+319.997 s] Raw data (loadavg): 0.99 0.93 0.89 2/54 18261 Raw data (stat): 18261 (Pueblo) R 18260 7475 7474 0 -1 0 536 0 0 0 32002 2 0 0 25 0 1 0 835750099 7897088 514 4294967295 134512640 134581331 3221224592 3221223456 134528254 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1928 514 566 18 0 1910 0 vsize: 7712 [startup+329.997 s] Raw data (loadavg): 0.99 0.93 0.89 2/54 18261 Raw data (stat): 18261 (Pueblo) R 18260 7475 7474 0 -1 0 536 0 0 0 33002 2 0 0 25 0 1 0 835750099 7897088 514 4294967295 134512640 134581331 3221224592 3221223280 1075288535 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1928 514 566 18 0 1910 0 vsize: 7712 [startup+339.997 s] Raw data (loadavg): 0.99 0.93 0.89 2/54 18261 Raw data (stat): 18261 (Pueblo) R 18260 7475 7474 0 -1 0 536 0 0 0 34002 2 0 0 25 0 1 0 835750099 7897088 514 4294967295 134512640 134581331 3221224592 3221223584 134561084 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1928 514 566 18 0 1910 0 vsize: 7712 [startup+349.996 s] Raw data (loadavg): 0.99 0.93 0.89 2/54 18261 Raw data (stat): 18261 (Pueblo) R 18260 7475 7474 0 -1 0 536 0 0 0 35002 2 0 0 25 0 1 0 835750099 7897088 514 4294967295 134512640 134581331 3221224592 3221223504 134528088 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1928 514 566 18 0 1910 0 vsize: 7712 [startup+359.997 s] Raw data (loadavg): 0.99 0.93 0.89 2/54 18261 Raw data (stat): 18261 (Pueblo) R 18260 7475 7474 0 -1 0 536 0 0 0 36002 2 0 0 25 0 1 0 835750099 7897088 514 4294967295 134512640 134581331 3221224592 3221223456 134526928 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1928 514 566 18 0 1910 0 vsize: 7712 [startup+369.997 s] Raw data (loadavg): 0.99 0.94 0.89 2/54 18261 Raw data (stat): 18261 (Pueblo) R 18260 7475 7474 0 -1 0 536 0 0 0 37002 2 0 0 25 0 1 0 835750099 7897088 514 4294967295 134512640 134581331 3221224592 3221223456 134528425 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1928 514 566 18 0 1910 0 vsize: 7712 [startup+379.996 s] Raw data (loadavg): 0.99 0.94 0.90 2/54 18261 Raw data (stat): 18261 (Pueblo) R 18260 7475 7474 0 -1 0 536 0 0 0 38003 2 0 0 25 0 1 0 835750099 7897088 514 4294967295 134512640 134581331 3221224592 3221223520 134520109 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1928 514 566 18 0 1910 0 vsize: 7712 [startup+389.996 s] Raw data (loadavg): 0.99 0.94 0.90 2/54 18261 Raw data (stat): 18261 (Pueblo) R 18260 7475 7474 0 -1 0 539 0 0 0 39003 2 0 0 25 0 1 0 835750099 7897088 517 4294967295 134512640 134581331 3221224592 3221223584 134561089 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1928 517 566 18 0 1910 0 vsize: 7712 [startup+399.997 s] Raw data (loadavg): 0.99 0.94 0.90 2/54 18261 Raw data (stat): 18261 (Pueblo) R 18260 7475 7474 0 -1 0 539 0 0 0 40003 2 0 0 25 0 1 0 835750099 7897088 517 4294967295 134512640 134581331 3221224592 3221223584 134561089 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1928 517 566 18 0 1910 0 vsize: 7712 [startup+409.996 s] Raw data (loadavg): 0.99 0.94 0.90 2/54 18261 Raw data (stat): 18261 (Pueblo) R 18260 7475 7474 0 -1 0 548 0 0 0 41003 2 0 0 25 0 1 0 835750099 7897088 526 4294967295 134512640 134581331 3221224592 3221223584 134561117 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1928 526 566 18 0 1910 0 vsize: 7712 [startup+419.996 s] Raw data (loadavg): 0.99 0.94 0.90 2/54 18261 Raw data (stat): 18261 (Pueblo) R 18260 7475 7474 0 -1 0 548 0 0 0 42003 2 0 0 25 0 1 0 835750099 7897088 526 4294967295 134512640 134581331 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1928 526 566 18 0 1910 0 vsize: 7712 [startup+429.996 s] Raw data (loadavg): 0.99 0.94 0.90 2/54 18261 Raw data (stat): 18261 (Pueblo) R 18260 7475 7474 0 -1 0 548 0 0 0 43003 2 0 0 25 0 1 0 835750099 7897088 526 4294967295 134512640 134581331 3221224592 3221223584 134561131 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1928 526 566 18 0 1910 0 vsize: 7712 [startup+439.996 s] Raw data (loadavg): 0.99 0.95 0.90 2/54 18261 Raw data (stat): 18261 (Pueblo) R 18260 7475 7474 0 -1 0 548 0 0 0 44004 2 0 0 25 0 1 0 835750099 7897088 526 4294967295 134512640 134581331 3221224592 3221223456 134528370 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1928 526 566 18 0 1910 0 vsize: 7712 [startup+449.996 s] Raw data (loadavg): 0.99 0.95 0.90 2/54 18261 Raw data (stat): 18261 (Pueblo) R 18260 7475 7474 0 -1 0 548 0 0 0 45004 2 0 0 25 0 1 0 835750099 7897088 526 4294967295 134512640 134581331 3221224592 3221223476 134557957 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1928 526 566 18 0 1910 0 vsize: 7712 [startup+459.995 s] Raw data (loadavg): 0.99 0.95 0.90 2/54 18261 Raw data (stat): 18261 (Pueblo) R 18260 7475 7474 0 -1 0 548 0 0 0 46004 2 0 0 25 0 1 0 835750099 7897088 526 4294967295 134512640 134581331 3221224592 3221223504 134527345 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1928 526 566 18 0 1910 0 vsize: 7712 [startup+469.995 s] Raw data (loadavg): 0.99 0.95 0.90 2/54 18261 Raw data (stat): 18261 (Pueblo) R 18260 7475 7474 0 -1 0 553 0 0 0 47004 2 0 0 25 0 1 0 835750099 7897088 531 4294967295 134512640 134581331 3221224592 3221223536 134559736 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1928 531 566 18 0 1910 0 vsize: 7712 [startup+479.995 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 18261 Raw data (stat): 18261 (Pueblo) R 18260 7475 7474 0 -1 0 557 0 0 0 48004 2 0 0 25 0 1 0 835750099 7897088 535 4294967295 134512640 134581331 3221224592 3221223536 134559308 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1928 535 566 18 0 1910 0 vsize: 7712 [startup+489.994 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 18261 Raw data (stat): 18261 (Pueblo) R 18260 7475 7474 0 -1 0 573 0 0 0 49004 2 0 0 25 0 1 0 835750099 8019968 551 4294967295 134512640 134581331 3221224592 3221223520 134520099 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1958 551 566 18 0 1940 0 vsize: 7832 [startup+499.995 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 18261 Raw data (stat): 18261 (Pueblo) R 18260 7475 7474 0 -1 0 573 0 0 0 50004 2 0 0 25 0 1 0 835750099 8015872 551 4294967295 134512640 134581331 3221224592 3221223504 134527516 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1957 551 566 18 0 1939 0 vsize: 7828 [startup+509.994 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 18261 Raw data (stat): 18261 (Pueblo) R 18260 7475 7474 0 -1 0 573 0 0 0 51005 2 0 0 25 0 1 0 835750099 8015872 551 4294967295 134512640 134581331 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1957 551 566 18 0 1939 0 vsize: 7828 [startup+519.994 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 18261 Raw data (stat): 18261 (Pueblo) R 18260 7475 7474 0 -1 0 573 0 0 0 52005 2 0 0 25 0 1 0 835750099 8015872 551 4294967295 134512640 134581331 3221224592 3221223508 1075285590 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1957 551 566 18 0 1939 0 vsize: 7828 [startup+529.993 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 18261 Raw data (stat): 18261 (Pueblo) R 18260 7475 7474 0 -1 0 573 0 0 0 53005 2 0 0 25 0 1 0 835750099 8015872 551 4294967295 134512640 134581331 3221224592 3221223504 134527418 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1957 551 566 18 0 1939 0 vsize: 7828 [startup+539.993 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 18261 Raw data (stat): 18261 (Pueblo) R 18260 7475 7474 0 -1 0 573 0 0 0 54005 2 0 0 25 0 1 0 835750099 8015872 551 4294967295 134512640 134581331 3221224592 3221223340 1075285220 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1957 551 566 18 0 1939 0 vsize: 7828 [startup+549.994 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 18261 Raw data (stat): 18261 (Pueblo) R 18260 7475 7474 0 -1 0 573 0 0 0 55005 2 0 0 25 0 1 0 835750099 8015872 551 4294967295 134512640 134581331 3221224592 3221223600 134560322 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1957 551 566 18 0 1939 0 vsize: 7828 [startup+559.993 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 18261 Raw data (stat): 18261 (Pueblo) R 18260 7475 7474 0 -1 0 573 0 0 0 56005 2 0 0 25 0 1 0 835750099 8015872 551 4294967295 134512640 134581331 3221224592 3221223280 1075288754 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1957 551 566 18 0 1939 0 vsize: 7828 [startup+569.993 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 18261 Raw data (stat): 18261 (Pueblo) R 18260 7475 7474 0 -1 0 573 0 0 0 57005 2 0 0 25 0 1 0 835750099 8015872 551 4294967295 134512640 134581331 3221224592 3221223456 134528287 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1957 551 566 18 0 1939 0 vsize: 7828 [startup+579.993 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 18261 Raw data (stat): 18261 (Pueblo) R 18260 7475 7474 0 -1 0 573 0 0 0 58006 2 0 0 25 0 1 0 835750099 8015872 551 4294967295 134512640 134581331 3221224592 3221223584 134561089 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1957 551 566 18 0 1939 0 vsize: 7828 [startup+589.993 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 18261 Raw data (stat): 18261 (Pueblo) R 18260 7475 7474 0 -1 0 573 0 0 0 59006 2 0 0 25 0 1 0 835750099 8015872 551 4294967295 134512640 134581331 3221224592 3221223536 134560136 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1957 551 566 18 0 1939 0 vsize: 7828 [startup+599.993 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 18261 Raw data (stat): 18261 (Pueblo) R 18260 7475 7474 0 -1 0 581 0 0 0 60006 2 0 0 25 0 1 0 835750099 8015872 559 4294967295 134512640 134581331 3221224592 3221223456 134528275 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1957 559 566 18 0 1939 0 vsize: 7828 [startup+609.993 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 18261 Raw data (stat): 18261 (Pueblo) R 18260 7475 7474 0 -1 0 581 0 0 0 61006 2 0 0 25 0 1 0 835750099 8015872 559 4294967295 134512640 134581331 3221224592 3221223456 134528350 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1957 559 566 18 0 1939 0 vsize: 7828 [startup+619.993 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 18261 Raw data (stat): 18261 (Pueblo) R 18260 7475 7474 0 -1 0 581 0 0 0 62006 2 0 0 25 0 1 0 835750099 8015872 559 4294967295 134512640 134581331 3221224592 3221223472 134560244 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1957 559 566 18 0 1939 0 vsize: 7828 [startup+629.993 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 18261 Raw data (stat): 18261 (Pueblo) R 18260 7475 7474 0 -1 0 581 0 0 0 63006 2 0 0 25 0 1 0 835750099 8015872 559 4294967295 134512640 134581331 3221224592 3221223504 134527964 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1957 559 566 18 0 1939 0 vsize: 7828 [startup+639.993 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 18261 Raw data (stat): 18261 (Pueblo) R 18260 7475 7474 0 -1 0 581 0 0 0 64007 2 0 0 25 0 1 0 835750099 8015872 559 4294967295 134512640 134581331 3221224592 3221223504 134527451 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1957 559 566 18 0 1939 0 vsize: 7828 [startup+649.994 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18261 Raw data (stat): 18261 (Pueblo) R 18260 7475 7474 0 -1 0 581 0 0 0 65007 2 0 0 25 0 1 0 835750099 8015872 559 4294967295 134512640 134581331 3221224592 3221223476 134557928 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1957 559 566 18 0 1939 0 vsize: 7828 [startup+659.994 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18261 Raw data (stat): 18261 (Pueblo) R 18260 7475 7474 0 -1 0 581 0 0 0 66007 3 0 0 25 0 1 0 835750099 8015872 559 4294967295 134512640 134581331 3221224592 3221223504 134531405 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1957 559 566 18 0 1939 0 vsize: 7828 [startup+669.993 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18261 Raw data (stat): 18261 (Pueblo) R 18260 7475 7474 0 -1 0 581 0 0 0 67007 3 0 0 25 0 1 0 835750099 8015872 559 4294967295 134512640 134581331 3221224592 3221223536 134559087 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1957 559 566 18 0 1939 0 vsize: 7828 [startup+679.993 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18261 Raw data (stat): 18261 (Pueblo) R 18260 7475 7474 0 -1 0 581 0 0 0 68007 3 0 0 25 0 1 0 835750099 8015872 559 4294967295 134512640 134581331 3221224592 3221223560 134527301 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1957 559 566 18 0 1939 0 vsize: 7828 [startup+689.993 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18261 Raw data (stat): 18261 (Pueblo) R 18260 7475 7474 0 -1 0 581 0 0 0 69007 3 0 0 25 0 1 0 835750099 8015872 559 4294967295 134512640 134581331 3221224592 3221223228 1075288867 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1957 559 566 18 0 1939 0 vsize: 7828 [startup+699.994 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18261 Raw data (stat): 18261 (Pueblo) R 18260 7475 7474 0 -1 0 581 0 0 0 70007 3 0 0 25 0 1 0 835750099 8015872 559 4294967295 134512640 134581331 3221224592 3221223456 134560358 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1957 559 566 18 0 1939 0 vsize: 7828 [startup+709.993 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18261 Raw data (stat): 18261 (Pueblo) R 18260 7475 7474 0 -1 0 581 0 0 0 71008 3 0 0 25 0 1 0 835750099 8015872 559 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1957 559 566 18 0 1939 0 vsize: 7828 [startup+719.993 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18261 Raw data (stat): 18261 (Pueblo) R 18260 7475 7474 0 -1 0 583 0 0 0 72008 3 0 0 25 0 1 0 835750099 8015872 561 4294967295 134512640 134581331 3221224592 3221223584 134561150 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1957 561 566 18 0 1939 0 vsize: 7828 [startup+729.993 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18261 Raw data (stat): 18261 (Pueblo) R 18260 7475 7474 0 -1 0 586 0 0 0 73008 3 0 0 25 0 1 0 835750099 8015872 564 4294967295 134512640 134581331 3221224592 3221223424 134528569 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1957 564 566 18 0 1939 0 vsize: 7828 [startup+739.993 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18261 Raw data (stat): 18261 (Pueblo) R 18260 7475 7474 0 -1 0 589 0 0 0 74008 3 0 0 25 0 1 0 835750099 8015872 567 4294967295 134512640 134581331 3221224592 3221223584 134561089 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1957 567 566 18 0 1939 0 vsize: 7828 [startup+749.994 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18261 Raw data (stat): 18261 (Pueblo) R 18260 7475 7474 0 -1 0 592 0 0 0 75008 3 0 0 25 0 1 0 835750099 8163328 570 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1993 570 566 18 0 1975 0 vsize: 7972 [startup+759.993 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18261 Raw data (stat): 18261 (Pueblo) R 18260 7475 7474 0 -1 0 598 0 0 0 76008 3 0 0 25 0 1 0 835750099 8163328 576 4294967295 134512640 134581331 3221224592 3221223376 134528714 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1993 576 566 18 0 1975 0 vsize: 7972 [startup+769.993 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18261 Raw data (stat): 18261 (Pueblo) R 18260 7475 7474 0 -1 0 598 0 0 0 77009 3 0 0 25 0 1 0 835750099 8163328 576 4294967295 134512640 134581331 3221224592 3221223564 134519776 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1993 576 566 18 0 1975 0 vsize: 7972 [startup+779.998 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18261 Raw data (stat): 18261 (Pueblo) R 18260 7475 7474 0 -1 0 598 0 0 0 78009 3 0 0 25 0 1 0 835750099 8163328 576 4294967295 134512640 134581331 3221224592 3221223584 134561089 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1993 576 566 18 0 1975 0 vsize: 7972 [startup+789.997 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18261 Raw data (stat): 18261 (Pueblo) R 18260 7475 7474 0 -1 0 598 0 0 0 79009 3 0 0 25 0 1 0 835750099 8163328 576 4294967295 134512640 134581331 3221224592 3221223340 1075285189 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1993 576 566 18 0 1975 0 vsize: 7972 [startup+799.998 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18261 Raw data (stat): 18261 (Pueblo) R 18260 7475 7474 0 -1 0 598 0 0 0 80010 3 0 0 25 0 1 0 835750099 8163328 576 4294967295 134512640 134581331 3221224592 3221223504 134527519 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1993 576 566 18 0 1975 0 vsize: 7972 [startup+809.997 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18261 Raw data (stat): 18261 (Pueblo) R 18260 7475 7474 0 -1 0 601 0 0 0 81010 3 0 0 25 0 1 0 835750099 8163328 579 4294967295 134512640 134581331 3221224592 3221223520 134519812 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1993 579 566 18 0 1975 0 vsize: 7972 [startup+819.997 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18261 Raw data (stat): 18261 (Pueblo) R 18260 7475 7474 0 -1 0 601 0 0 0 82010 3 0 0 25 0 1 0 835750099 8163328 579 4294967295 134512640 134581331 3221224592 3221223520 134520076 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1993 579 566 18 0 1975 0 vsize: 7972 [startup+829.997 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18261 Raw data (stat): 18261 (Pueblo) R 18260 7475 7474 0 -1 0 601 0 0 0 83010 3 0 0 25 0 1 0 835750099 8163328 579 4294967295 134512640 134581331 3221224592 3221223444 134528553 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1993 579 566 18 0 1975 0 vsize: 7972 [startup+839.997 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18261 Raw data (stat): 18261 (Pueblo) R 18260 7475 7474 0 -1 0 601 0 0 0 84010 3 0 0 25 0 1 0 835750099 8163328 579 4294967295 134512640 134581331 3221224592 3221223552 134516726 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1993 579 566 18 0 1975 0 vsize: 7972 [startup+849.997 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18261 Raw data (stat): 18261 (Pueblo) R 18260 7475 7474 0 -1 0 601 0 0 0 85010 3 0 0 25 0 1 0 835750099 8163328 579 4294967295 134512640 134581331 3221224592 3221223520 134519941 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1993 579 566 18 0 1975 0 vsize: 7972 [startup+859.997 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18261 Raw data (stat): 18261 (Pueblo) R 18260 7475 7474 0 -1 0 601 0 0 0 86011 3 0 0 25 0 1 0 835750099 8163328 579 4294967295 134512640 134581331 3221224592 3221223376 134528824 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1993 579 566 18 0 1975 0 vsize: 7972 [startup+869.996 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18261 Raw data (stat): 18261 (Pueblo) R 18260 7475 7474 0 -1 0 612 0 0 0 87011 3 0 0 25 0 1 0 835750099 8163328 590 4294967295 134512640 134581331 3221224592 3221223536 134560149 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1993 590 566 18 0 1975 0 vsize: 7972 [startup+879.996 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18261 Raw data (stat): 18261 (Pueblo) R 18260 7475 7474 0 -1 0 612 0 0 0 88011 3 0 0 25 0 1 0 835750099 8163328 590 4294967295 134512640 134581331 3221224592 3221223520 134519812 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1993 590 566 18 0 1975 0 vsize: 7972 [startup+889.996 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18261 Raw data (stat): 18261 (Pueblo) R 18260 7475 7474 0 -1 0 612 0 0 0 89011 3 0 0 25 0 1 0 835750099 8163328 590 4294967295 134512640 134581331 3221224592 3221223456 134560389 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1993 590 566 18 0 1975 0 vsize: 7972 [startup+899.997 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18261 Raw data (stat): 18261 (Pueblo) R 18260 7475 7474 0 -1 0 612 0 0 0 90011 3 0 0 25 0 1 0 835750099 8163328 590 4294967295 134512640 134581331 3221224592 3221223296 1075288356 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1993 590 566 18 0 1975 0 vsize: 7972 [startup+909.997 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 18261 Raw data (stat): 18261 (Pueblo) R 18260 7475 7474 0 -1 0 612 0 0 0 91011 3 0 0 25 0 1 0 835750099 8163328 590 4294967295 134512640 134581331 3221224592 3221223476 134557882 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1993 590 566 18 0 1975 0 vsize: 7972 [startup+920.002 s] Raw data (loadavg): 1.07 0.99 0.91 2/56 18309 Raw data (stat): 18261 (Pueblo) R 18260 7475 7474 0 -1 0 612 0 0 0 92008 6 0 0 25 0 1 0 835750099 8163328 590 4294967295 134512640 134581331 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1993 590 566 18 0 1975 0 vsize: 7972 [startup+930.001 s] Raw data (loadavg): 1.06 0.99 0.91 2/54 18314 Raw data (stat): 18261 (Pueblo) R 18260 7475 7474 0 -1 0 612 0 0 0 93009 6 0 0 25 0 1 0 835750099 8163328 590 4294967295 134512640 134581331 3221224592 3221223404 1075285664 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1993 590 566 18 0 1975 0 vsize: 7972 [startup+940.001 s] Raw data (loadavg): 1.05 0.99 0.91 2/54 18314 Raw data (stat): 18261 (Pueblo) R 18260 7475 7474 0 -1 0 612 0 0 0 94009 6 0 0 25 0 1 0 835750099 8163328 590 4294967295 134512640 134581331 3221224592 3221223568 134561101 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1993 590 566 18 0 1975 0 vsize: 7972 [startup+950.002 s] Raw data (loadavg): 1.04 0.99 0.91 2/54 18314 Raw data (stat): 18261 (Pueblo) R 18260 7475 7474 0 -1 0 612 0 0 0 95009 6 0 0 25 0 1 0 835750099 8163328 590 4294967295 134512640 134581331 3221224592 3221223536 134558842 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1993 590 566 18 0 1975 0 vsize: 7972 [startup+960.001 s] Raw data (loadavg): 1.04 0.99 0.91 2/54 18314 Raw data (stat): 18261 (Pueblo) R 18260 7475 7474 0 -1 0 612 0 0 0 96009 6 0 0 25 0 1 0 835750099 8163328 590 4294967295 134512640 134581331 3221224592 3221223288 1075291632 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1993 590 566 18 0 1975 0 vsize: 7972 [startup+970.001 s] Raw data (loadavg): 1.03 0.99 0.91 2/54 18314 Raw data (stat): 18261 (Pueblo) R 18260 7475 7474 0 -1 0 612 0 0 0 97009 6 0 0 25 0 1 0 835750099 8163328 590 4294967295 134512640 134581331 3221224592 3221223408 134531798 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1993 590 566 18 0 1975 0 vsize: 7972 [startup+980.001 s] Raw data (loadavg): 1.03 0.99 0.91 2/54 18314 Raw data (stat): 18261 (Pueblo) R 18260 7475 7474 0 -1 0 612 0 0 0 98009 6 0 0 25 0 1 0 835750099 8163328 590 4294967295 134512640 134581331 3221224592 3221223456 134560506 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1993 590 566 18 0 1975 0 vsize: 7972 [startup+990.001 s] Raw data (loadavg): 1.02 0.99 0.91 2/54 18314 Raw data (stat): 18261 (Pueblo) R 18260 7475 7474 0 -1 0 612 0 0 0 99009 6 0 0 25 0 1 0 835750099 8163328 590 4294967295 134512640 134581331 3221224592 3221223504 134527670 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1993 590 566 18 0 1975 0 vsize: 7972 [startup+1000 s] Raw data (loadavg): 1.02 0.99 0.91 2/54 18316 Raw data (stat): 18261 (Pueblo) R 18260 7475 7474 0 -1 0 612 0 0 0 100010 6 0 0 25 0 1 0 835750099 8163328 590 4294967295 134512640 134581331 3221224592 3221223536 134559115 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1993 590 566 18 0 1975 0 vsize: 7972 [startup+1010 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 18316 Raw data (stat): 18261 (Pueblo) R 18260 7475 7474 0 -1 0 612 0 0 0 101010 6 0 0 25 0 1 0 835750099 8163328 590 4294967295 134512640 134581331 3221224592 3221223548 134519782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1993 590 566 18 0 1975 0 vsize: 7972 [startup+1020 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 18316 Raw data (stat): 18261 (Pueblo) R 18260 7475 7474 0 -1 0 612 0 0 0 102010 6 0 0 25 0 1 0 835750099 8163328 590 4294967295 134512640 134581331 3221224592 3221223476 134557882 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1993 590 566 18 0 1975 0 vsize: 7972 [startup+1030 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 18316 Raw data (stat): 18261 (Pueblo) R 18260 7475 7474 0 -1 0 612 0 0 0 103010 6 0 0 25 0 1 0 835750099 8163328 590 4294967295 134512640 134581331 3221224592 3221223648 134531446 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1993 590 566 18 0 1975 0 vsize: 7972 [startup+1040 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 18316 Raw data (stat): 18261 (Pueblo) R 18260 7475 7474 0 -1 0 612 0 0 0 104010 6 0 0 25 0 1 0 835750099 8163328 590 4294967295 134512640 134581331 3221224592 3221223376 134528804 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1993 590 566 18 0 1975 0 vsize: 7972 [startup+1050 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 18316 Raw data (stat): 18261 (Pueblo) R 18260 7475 7474 0 -1 0 612 0 0 0 105010 6 0 0 25 0 1 0 835750099 8163328 590 4294967295 134512640 134581331 3221224592 3221223456 134528323 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1993 590 566 18 0 1975 0 vsize: 7972 [startup+1060 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 18316 Raw data (stat): 18261 (Pueblo) R 18260 7475 7474 0 -1 0 612 0 0 0 106011 6 0 0 25 0 1 0 835750099 8163328 590 4294967295 134512640 134581331 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1993 590 566 18 0 1975 0 vsize: 7972 [startup+1070 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 18316 Raw data (stat): 18261 (Pueblo) R 18260 7475 7474 0 -1 0 612 0 0 0 107011 6 0 0 25 0 1 0 835750099 8163328 590 4294967295 134512640 134581331 3221224592 3221223536 134558806 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1993 590 566 18 0 1975 0 vsize: 7972 [startup+1080 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 18316 Raw data (stat): 18261 (Pueblo) R 18260 7475 7474 0 -1 0 612 0 0 0 108011 7 0 0 25 0 1 0 835750099 8163328 590 4294967295 134512640 134581331 3221224592 3221223536 134558939 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1993 590 566 18 0 1975 0 vsize: 7972 [startup+1090 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 18316 Raw data (stat): 18261 (Pueblo) R 18260 7475 7474 0 -1 0 612 0 0 0 109011 7 0 0 25 0 1 0 835750099 8163328 590 4294967295 134512640 134581331 3221224592 3221223520 134519812 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1993 590 566 18 0 1975 0 vsize: 7972 [startup+1100 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 18316 Raw data (stat): 18261 (Pueblo) R 18260 7475 7474 0 -1 0 612 0 0 0 110011 7 0 0 25 0 1 0 835750099 8163328 590 4294967295 134512640 134581331 3221224592 3221223424 134531777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1993 590 566 18 0 1975 0 vsize: 7972 [startup+1110 s] Raw data (loadavg): 1.08 1.00 0.92 2/54 18316 Raw data (stat): 18261 (Pueblo) R 18260 7475 7474 0 -1 0 614 0 0 0 111011 7 0 0 25 0 1 0 835750099 8163328 592 4294967295 134512640 134581331 3221224592 3221223476 134557951 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1993 592 566 18 0 1975 0 vsize: 7972 [startup+1120 s] Raw data (loadavg): 1.07 1.00 0.92 2/54 18316 Raw data (stat): 18261 (Pueblo) R 18260 7475 7474 0 -1 0 621 0 0 0 112011 7 0 0 25 0 1 0 835750099 8163328 599 4294967295 134512640 134581331 3221224592 3221223456 134528275 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1993 599 566 18 0 1975 0 vsize: 7972 [startup+1130 s] Raw data (loadavg): 1.06 1.00 0.92 2/54 18316 Raw data (stat): 18261 (Pueblo) R 18260 7475 7474 0 -1 0 621 0 0 0 113011 7 0 0 25 0 1 0 835750099 8163328 599 4294967295 134512640 134581331 3221224592 3221223504 134527429 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1993 599 566 18 0 1975 0 vsize: 7972 [startup+1140 s] Raw data (loadavg): 1.05 1.00 0.92 2/54 18316 Raw data (stat): 18261 (Pueblo) R 18260 7475 7474 0 -1 0 632 0 0 0 114011 7 0 0 25 0 1 0 835750099 8290304 610 4294967295 134512640 134581331 3221224592 3221223584 134561122 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2024 610 566 18 0 2006 0 vsize: 8096 [startup+1150 s] Raw data (loadavg): 1.04 1.00 0.92 2/54 18316 Raw data (stat): 18261 (Pueblo) R 18260 7475 7474 0 -1 0 632 0 0 0 115012 7 0 0 25 0 1 0 835750099 8290304 610 4294967295 134512640 134581331 3221224592 3221223504 134527510 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2024 610 566 18 0 2006 0 vsize: 8096 [startup+1160 s] Raw data (loadavg): 1.03 1.00 0.92 2/54 18316 Raw data (stat): 18261 (Pueblo) R 18260 7475 7474 0 -1 0 632 0 0 0 116012 7 0 0 25 0 1 0 835750099 8290304 610 4294967295 134512640 134581331 3221224592 3221223548 134519782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2024 610 566 18 0 2006 0 vsize: 8096 [startup+1170 s] Raw data (loadavg): 1.03 1.00 0.92 2/54 18316 Raw data (stat): 18261 (Pueblo) R 18260 7475 7474 0 -1 0 632 0 0 0 117012 7 0 0 25 0 1 0 835750099 8290304 610 4294967295 134512640 134581331 3221224592 3221223456 134528375 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2024 610 566 18 0 2006 0 vsize: 8096 [startup+1180 s] Raw data (loadavg): 1.02 1.00 0.92 2/54 18316 Raw data (stat): 18261 (Pueblo) R 18260 7475 7474 0 -1 0 632 0 0 0 118012 7 0 0 25 0 1 0 835750099 8290304 610 4294967295 134512640 134581331 3221224592 3221223456 134528535 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2024 610 566 18 0 2006 0 vsize: 8096 [startup+1190 s] Raw data (loadavg): 1.02 1.00 0.92 2/54 18316 Raw data (stat): 18261 (Pueblo) R 18260 7475 7474 0 -1 0 632 0 0 0 119012 7 0 0 25 0 1 0 835750099 8290304 610 4294967295 134512640 134581331 3221224592 3221223456 134528261 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2024 610 566 18 0 2006 0 vsize: 8096 [startup+1200 s] Raw data (loadavg): 1.02 1.00 0.92 2/54 18316 Raw data (stat): 18261 (Pueblo) R 18260 7475 7474 0 -1 0 636 0 0 0 120012 7 0 0 25 0 1 0 835750099 8290304 614 4294967295 134512640 134581331 3221224592 3221223568 134561104 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2024 614 566 18 0 2006 0 vsize: 8096 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200 s] Raw data (loadavg): 1.02 1.00 0.92 1/54 18316 Raw data (stat): 18261 (Pueblo) Z 18260 7475 7474 0 -1 1036 636 0 0 0 120012 7 0 0 25 0 1 0 835750099 0 0 4294967295 0 0 0 0 0 0 0 7 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 CPU time (s): 1200.2 CPU user time (s): 1200.12 CPU system time (s): 0.079987 CPU usage (%): 100.017 Max. virtual memory (Kb): 8096 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####