Name | normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-share2b.opb |
MD5SUM | 093811c51770a4a5a69679d486994a51 |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 580 |
Biggest coefficient in the objective function | 199229440 |
Number of bits for the biggest coefficient in the objective function | 28 |
Sum of the numbers in the objective function | 4428132225 |
Number of bits of the sum of numbers in the objective function | 33 |
Biggest number in a constraint | 540016640 |
Number of bits of the biggest number in a constraint | 30 |
Biggest sum of numbers in a constraint | 10719582225 |
Number of bits of the biggest sum of numbers | 34 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.184971 |
Number of variables | 1580 |
Total number of constraints | 96 |
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 | 96 |
Minimum length of a constraint | 20 |
Maximum length of a constraint | 240 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc9 THE 2005-05-24 22:46:58 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=16374 boxname=wulflinc9 idbench=1260 idsolver=7 numberseed=0 MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911 /oldhome/oroussel/solvers/Pueblo MD5SUM BENCH: 093811c51770a4a5a69679d486994a51 /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-13-7-share2b.opb REAL COMMAND: Pueblo /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-13-7-share2b.opb IDLAUNCH: 16374 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.242 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 : 2 cpu MHz : 451.242 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: 880592 kB Buffers: 21016 kB Cached: 112516 kB SwapCached: 360 kB Active: 31004 kB Inactive: 105096 kB HighTotal: 131008 kB HighFree: 51996 kB LowTotal: 903652 kB LowFree: 828596 kB SwapTotal: 2097136 kB SwapFree: 2096368 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6348 kB Slab: 12400 kB Committed_AS: 63596 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-24 23:07:01 (client local time) WITH STATUS 0 IN 1200.24 SECONDS stats: 16374 7 1200.24 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.71 0.90 0.89 2/54 10810 Raw data (stat): 10810 (runsolver) R 10809 3944 3943 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 775728592 1052672 99 4294967295 134512640 135381576 3221224496 3221219716 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0008 s] Raw data (loadavg): 0.76 0.90 0.89 2/54 10810 Raw data (stat): 10810 (Pueblo) R 10809 3944 3943 0 -1 0 549 0 0 0 998 1 0 0 25 0 1 0 775728592 7917568 527 4294967295 134512640 134581331 3221224608 3221223520 134527432 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1933 527 566 18 0 1915 0 vsize: 7732 [startup+20.0015 s] Raw data (loadavg): 0.79 0.90 0.89 2/54 10810 Raw data (stat): 10810 (Pueblo) R 10809 3944 3943 0 -1 0 557 0 0 0 1998 1 0 0 25 0 1 0 775728592 7917568 535 4294967295 134512640 134581331 3221224608 3221223520 134527516 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1933 535 566 18 0 1915 0 vsize: 7732 [startup+30.0018 s] Raw data (loadavg): 0.82 0.90 0.89 2/54 10810 Raw data (stat): 10810 (Pueblo) R 10809 3944 3943 0 -1 0 557 0 0 0 2998 1 0 0 25 0 1 0 775728592 7917568 535 4294967295 134512640 134581331 3221224608 3221223552 134558819 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1933 535 566 18 0 1915 0 vsize: 7732 [startup+40.0017 s] Raw data (loadavg): 0.85 0.91 0.89 2/54 10810 Raw data (stat): 10810 (Pueblo) R 10809 3944 3943 0 -1 0 559 0 0 0 3998 1 0 0 25 0 1 0 775728592 7917568 537 4294967295 134512640 134581331 3221224608 3221223536 134519947 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1933 537 566 18 0 1915 0 vsize: 7732 [startup+50.0025 s] Raw data (loadavg): 0.87 0.91 0.89 2/54 10810 Raw data (stat): 10810 (Pueblo) R 10809 3944 3943 0 -1 0 559 0 0 0 4998 1 0 0 25 0 1 0 775728592 7917568 537 4294967295 134512640 134581331 3221224608 3221223536 134519952 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1933 537 566 18 0 1915 0 vsize: 7732 [startup+60.0019 s] Raw data (loadavg): 0.89 0.91 0.89 2/54 10810 Raw data (stat): 10810 (Pueblo) R 10809 3944 3943 0 -1 0 562 0 0 0 5998 1 0 0 25 0 1 0 775728592 7917568 540 4294967295 134512640 134581331 3221224608 3221223552 134558819 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1933 540 566 18 0 1915 0 vsize: 7732 [startup+70.0021 s] Raw data (loadavg): 0.91 0.91 0.89 2/54 10810 Raw data (stat): 10810 (Pueblo) R 10809 3944 3943 0 -1 0 572 0 0 0 6998 2 0 0 25 0 1 0 775728592 8048640 550 4294967295 134512640 134581331 3221224608 3221223520 134527519 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1965 550 566 18 0 1947 0 vsize: 7860 [startup+80.0028 s] Raw data (loadavg): 0.92 0.92 0.89 2/54 10810 Raw data (stat): 10810 (Pueblo) R 10809 3944 3943 0 -1 0 584 0 0 0 7998 2 0 0 25 0 1 0 775728592 8044544 562 4294967295 134512640 134581331 3221224608 3221223552 134560149 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1964 562 566 18 0 1946 0 vsize: 7856 [startup+90.0022 s] Raw data (loadavg): 0.93 0.92 0.89 2/54 10810 Raw data (stat): 10810 (Pueblo) R 10809 3944 3943 0 -1 0 584 0 0 0 8998 2 0 0 25 0 1 0 775728592 8044544 562 4294967295 134512640 134581331 3221224608 3221223472 134528375 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1964 562 566 18 0 1946 0 vsize: 7856 [startup+100.002 s] Raw data (loadavg): 0.94 0.92 0.90 2/54 10810 Raw data (stat): 10810 (Pueblo) R 10809 3944 3943 0 -1 0 587 0 0 0 9998 2 0 0 25 0 1 0 775728592 8044544 565 4294967295 134512640 134581331 3221224608 3221223600 134560949 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1964 565 566 18 0 1946 0 vsize: 7856 [startup+110.003 s] Raw data (loadavg): 0.95 0.92 0.90 2/54 10810 Raw data (stat): 10810 (Pueblo) R 10809 3944 3943 0 -1 0 587 0 0 0 10999 2 0 0 25 0 1 0 775728592 8044544 565 4294967295 134512640 134581331 3221224608 3221223520 134527987 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1964 565 566 18 0 1946 0 vsize: 7856 [startup+120.003 s] Raw data (loadavg): 0.96 0.92 0.90 2/54 10810 Raw data (stat): 10810 (Pueblo) R 10809 3944 3943 0 -1 0 589 0 0 0 11999 2 0 0 25 0 1 0 775728592 8044544 567 4294967295 134512640 134581331 3221224608 3221223520 134527519 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1964 567 566 18 0 1946 0 vsize: 7856 [startup+130.003 s] Raw data (loadavg): 0.96 0.93 0.90 2/54 10810 Raw data (stat): 10810 (Pueblo) R 10809 3944 3943 0 -1 0 589 0 0 0 12999 2 0 0 25 0 1 0 775728592 8044544 567 4294967295 134512640 134581331 3221224608 3221223472 134528384 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1964 567 566 18 0 1946 0 vsize: 7856 [startup+140.004 s] Raw data (loadavg): 0.97 0.93 0.90 2/54 10810 Raw data (stat): 10810 (Pueblo) R 10809 3944 3943 0 -1 0 590 0 0 0 13999 2 0 0 25 0 1 0 775728592 8044544 568 4294967295 134512640 134581331 3221224608 3221223600 134561089 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1964 568 566 18 0 1946 0 vsize: 7856 [startup+150.004 s] Raw data (loadavg): 0.97 0.93 0.90 2/54 10810 Raw data (stat): 10810 (Pueblo) R 10809 3944 3943 0 -1 0 595 0 0 0 14999 2 0 0 25 0 1 0 775728592 8044544 573 4294967295 134512640 134581331 3221224608 3221223520 134527964 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1964 573 566 18 0 1946 0 vsize: 7856 [startup+160.004 s] Raw data (loadavg): 0.98 0.93 0.90 2/54 10810 Raw data (stat): 10810 (Pueblo) R 10809 3944 3943 0 -1 0 597 0 0 0 15999 2 0 0 25 0 1 0 775728592 8044544 575 4294967295 134512640 134581331 3221224608 3221223472 134528375 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1964 575 566 18 0 1946 0 vsize: 7856 [startup+170.004 s] Raw data (loadavg): 0.98 0.93 0.90 2/54 10810 Raw data (stat): 10810 (Pueblo) R 10809 3944 3943 0 -1 0 597 0 0 0 17000 2 0 0 25 0 1 0 775728592 8044544 575 4294967295 134512640 134581331 3221224608 3221223472 134528278 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1964 575 566 18 0 1946 0 vsize: 7856 [startup+180.004 s] Raw data (loadavg): 0.98 0.94 0.90 2/54 10810 Raw data (stat): 10810 (Pueblo) R 10809 3944 3943 0 -1 0 603 0 0 0 18000 2 0 0 25 0 1 0 775728592 8171520 581 4294967295 134512640 134581331 3221224608 3221223520 134527451 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1995 581 566 18 0 1977 0 vsize: 7980 [startup+190.004 s] Raw data (loadavg): 0.98 0.94 0.90 2/54 10810 Raw data (stat): 10810 (Pueblo) R 10809 3944 3943 0 -1 0 603 0 0 0 19000 2 0 0 25 0 1 0 775728592 8171520 581 4294967295 134512640 134581331 3221224608 3221223520 134527510 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1995 581 566 18 0 1977 0 vsize: 7980 [startup+200.005 s] Raw data (loadavg): 0.99 0.94 0.91 2/54 10810 Raw data (stat): 10810 (Pueblo) R 10809 3944 3943 0 -1 0 608 0 0 0 20000 2 0 0 25 0 1 0 775728592 8171520 586 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1995 586 566 18 0 1977 0 vsize: 7980 [startup+210.005 s] Raw data (loadavg): 0.99 0.94 0.91 2/54 10810 Raw data (stat): 10810 (Pueblo) R 10809 3944 3943 0 -1 0 608 0 0 0 21000 2 0 0 25 0 1 0 775728592 8171520 586 4294967295 134512640 134581331 3221224608 3221223536 134519853 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1995 586 566 18 0 1977 0 vsize: 7980 [startup+220.005 s] Raw data (loadavg): 0.99 0.94 0.91 2/54 10810 Raw data (stat): 10810 (Pueblo) R 10809 3944 3943 0 -1 0 608 0 0 0 22000 2 0 0 25 0 1 0 775728592 8171520 586 4294967295 134512640 134581331 3221224608 3221223536 134558762 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1995 586 566 18 0 1977 0 vsize: 7980 [startup+230.005 s] Raw data (loadavg): 0.99 0.94 0.91 2/54 10810 Raw data (stat): 10810 (Pueblo) R 10809 3944 3943 0 -1 0 616 0 0 0 23001 2 0 0 25 0 1 0 775728592 8171520 594 4294967295 134512640 134581331 3221224608 3221223472 134528375 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1995 594 566 18 0 1977 0 vsize: 7980 [startup+240.005 s] Raw data (loadavg): 0.99 0.94 0.91 2/54 10810 Raw data (stat): 10810 (Pueblo) R 10809 3944 3943 0 -1 0 625 0 0 0 24001 2 0 0 25 0 1 0 775728592 8171520 603 4294967295 134512640 134581331 3221224608 3221223472 134528258 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1995 603 566 18 0 1977 0 vsize: 7980 [startup+250.005 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 10810 Raw data (stat): 10810 (Pueblo) R 10809 3944 3943 0 -1 0 625 0 0 0 25001 2 0 0 25 0 1 0 775728592 8171520 603 4294967295 134512640 134581331 3221224608 3221223472 134528342 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1995 603 566 18 0 1977 0 vsize: 7980 [startup+260.006 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 10810 Raw data (stat): 10810 (Pueblo) R 10809 3944 3943 0 -1 0 625 0 0 0 26001 2 0 0 25 0 1 0 775728592 8171520 603 4294967295 134512640 134581331 3221224608 3221223520 134527410 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1995 603 566 18 0 1977 0 vsize: 7980 [startup+270.005 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 10810 Raw data (stat): 10810 (Pueblo) R 10809 3944 3943 0 -1 0 625 0 0 0 27001 2 0 0 25 0 1 0 775728592 8171520 603 4294967295 134512640 134581331 3221224608 3221223472 134528358 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1995 603 566 18 0 1977 0 vsize: 7980 [startup+280.005 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 10810 Raw data (stat): 10810 (Pueblo) R 10809 3944 3943 0 -1 0 625 0 0 0 28001 2 0 0 25 0 1 0 775728592 8171520 603 4294967295 134512640 134581331 3221224608 3221223552 134558952 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1995 603 566 18 0 1977 0 vsize: 7980 [startup+290.006 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 10810 Raw data (stat): 10810 (Pueblo) R 10809 3944 3943 0 -1 0 629 0 0 0 29001 2 0 0 25 0 1 0 775728592 8171520 607 4294967295 134512640 134581331 3221224608 3221223648 134565068 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1995 607 566 18 0 1977 0 vsize: 7980 [startup+300.007 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 10810 Raw data (stat): 10810 (Pueblo) R 10809 3944 3943 0 -1 0 631 0 0 0 30002 2 0 0 25 0 1 0 775728592 8171520 609 4294967295 134512640 134581331 3221224608 3221223600 134561148 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1995 609 566 18 0 1977 0 vsize: 7980 [startup+310.007 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 10810 Raw data (stat): 10810 (Pueblo) R 10809 3944 3943 0 -1 0 631 0 0 0 31002 2 0 0 25 0 1 0 775728592 8171520 609 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1995 609 566 18 0 1977 0 vsize: 7980 [startup+320.006 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 10810 Raw data (stat): 10810 (Pueblo) R 10809 3944 3943 0 -1 0 637 0 0 0 32002 2 0 0 25 0 1 0 775728592 8302592 615 4294967295 134512640 134581331 3221224608 3221223552 134558819 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2027 615 566 18 0 2009 0 vsize: 8108 [startup+330.007 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 10810 Raw data (stat): 10810 (Pueblo) R 10809 3944 3943 0 -1 0 637 0 0 0 33002 3 0 0 25 0 1 0 775728592 8302592 615 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2027 615 566 18 0 2009 0 vsize: 8108 [startup+340.007 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 10810 Raw data (stat): 10810 (Pueblo) R 10809 3944 3943 0 -1 0 637 0 0 0 34002 3 0 0 25 0 1 0 775728592 8302592 615 4294967295 134512640 134581331 3221224608 3221223552 134558952 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2027 615 566 18 0 2009 0 vsize: 8108 [startup+350.008 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 10810 Raw data (stat): 10810 (Pueblo) R 10809 3944 3943 0 -1 0 637 0 0 0 35002 3 0 0 25 0 1 0 775728592 8302592 615 4294967295 134512640 134581331 3221224608 3221223472 134528258 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2027 615 566 18 0 2009 0 vsize: 8108 [startup+360.007 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 10810 Raw data (stat): 10810 (Pueblo) R 10809 3944 3943 0 -1 0 637 0 0 0 36003 3 0 0 25 0 1 0 775728592 8302592 615 4294967295 134512640 134581331 3221224608 3221223504 134517894 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2027 615 566 18 0 2009 0 vsize: 8108 [startup+370.007 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 10810 Raw data (stat): 10810 (Pueblo) R 10809 3944 3943 0 -1 0 637 0 0 0 37003 3 0 0 25 0 1 0 775728592 8302592 615 4294967295 134512640 134581331 3221224608 3221223472 134528412 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2027 615 566 18 0 2009 0 vsize: 8108 [startup+380.008 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 10810 Raw data (stat): 10810 (Pueblo) R 10809 3944 3943 0 -1 0 637 0 0 0 38003 3 0 0 25 0 1 0 775728592 8302592 615 4294967295 134512640 134581331 3221224608 3221223436 134528696 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2027 615 566 18 0 2009 0 vsize: 8108 [startup+390.007 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 10810 Raw data (stat): 10810 (Pueblo) R 10809 3944 3943 0 -1 0 637 0 0 0 39003 3 0 0 25 0 1 0 775728592 8302592 615 4294967295 134512640 134581331 3221224608 3221223520 134527636 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2027 615 566 18 0 2009 0 vsize: 8108 [startup+400.009 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 10810 Raw data (stat): 10810 (Pueblo) R 10809 3944 3943 0 -1 0 637 0 0 0 40003 3 0 0 25 0 1 0 775728592 8302592 615 4294967295 134512640 134581331 3221224608 3221223472 134528275 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2027 615 566 18 0 2009 0 vsize: 8108 [startup+410.008 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 10810 Raw data (stat): 10810 (Pueblo) R 10809 3944 3943 0 -1 0 637 0 0 0 41003 3 0 0 25 0 1 0 775728592 8302592 615 4294967295 134512640 134581331 3221224608 3221223520 134527434 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2027 615 566 18 0 2009 0 vsize: 8108 [startup+420.008 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 10810 Raw data (stat): 10810 (Pueblo) R 10809 3944 3943 0 -1 0 637 0 0 0 42004 3 0 0 25 0 1 0 775728592 8302592 615 4294967295 134512640 134581331 3221224608 3221223520 134527950 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2027 615 566 18 0 2009 0 vsize: 8108 [startup+430.008 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 10810 Raw data (stat): 10810 (Pueblo) R 10809 3944 3943 0 -1 0 637 0 0 0 43004 3 0 0 25 0 1 0 775728592 8302592 615 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2027 615 566 18 0 2009 0 vsize: 8108 [startup+440.009 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 10810 Raw data (stat): 10810 (Pueblo) R 10809 3944 3943 0 -1 0 637 0 0 0 44004 3 0 0 25 0 1 0 775728592 8302592 615 4294967295 134512640 134581331 3221224608 3221223376 1075288274 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2027 615 566 18 0 2009 0 vsize: 8108 [startup+450.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 10810 Raw data (stat): 10810 (Pueblo) R 10809 3944 3943 0 -1 0 637 0 0 0 45004 3 0 0 25 0 1 0 775728592 8302592 615 4294967295 134512640 134581331 3221224608 3221223520 134527778 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2027 615 566 18 0 2009 0 vsize: 8108 [startup+460.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 10810 Raw data (stat): 10810 (Pueblo) R 10809 3944 3943 0 -1 0 637 0 0 0 46004 3 0 0 25 0 1 0 775728592 8302592 615 4294967295 134512640 134581331 3221224608 3221223488 134527049 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2027 615 566 18 0 2009 0 vsize: 8108 [startup+470.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 10810 Raw data (stat): 10810 (Pueblo) R 10809 3944 3943 0 -1 0 637 0 0 0 47004 3 0 0 25 0 1 0 775728592 8302592 615 4294967295 134512640 134581331 3221224608 3221223520 134527531 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2027 615 566 18 0 2009 0 vsize: 8108 [startup+480.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 10810 Raw data (stat): 10810 (Pueblo) R 10809 3944 3943 0 -1 0 637 0 0 0 48005 3 0 0 25 0 1 0 775728592 8302592 615 4294967295 134512640 134581331 3221224608 3221223520 134528088 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2027 615 566 18 0 2009 0 vsize: 8108 [startup+490.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 10810 Raw data (stat): 10810 (Pueblo) R 10809 3944 3943 0 -1 0 638 0 0 0 49005 4 0 0 25 0 1 0 775728592 8302592 616 4294967295 134512640 134581331 3221224608 3221223324 1075288356 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2027 616 566 18 0 2009 0 vsize: 8108 [startup+500.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 10810 Raw data (stat): 10810 (Pueblo) R 10809 3944 3943 0 -1 0 643 0 0 0 50005 4 0 0 25 0 1 0 775728592 8302592 621 4294967295 134512640 134581331 3221224608 3221223520 134527729 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2027 621 566 18 0 2009 0 vsize: 8108 [startup+510.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 10810 Raw data (stat): 10810 (Pueblo) R 10809 3944 3943 0 -1 0 649 0 0 0 51005 4 0 0 25 0 1 0 775728592 8302592 627 4294967295 134512640 134581331 3221224608 3221223520 134527440 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2027 627 566 18 0 2009 0 vsize: 8108 [startup+520.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 10810 Raw data (stat): 10810 (Pueblo) R 10809 3944 3943 0 -1 0 653 0 0 0 52005 4 0 0 25 0 1 0 775728592 8302592 631 4294967295 134512640 134581331 3221224608 3221223520 134527695 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2027 631 566 18 0 2009 0 vsize: 8108 [startup+530.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 10810 Raw data (stat): 10810 (Pueblo) R 10809 3944 3943 0 -1 0 653 0 0 0 53005 4 0 0 25 0 1 0 775728592 8302592 631 4294967295 134512640 134581331 3221224608 3221223520 134527975 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2027 631 566 18 0 2009 0 vsize: 8108 [startup+540.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 10810 Raw data (stat): 10810 (Pueblo) R 10809 3944 3943 0 -1 0 653 0 0 0 54005 4 0 0 25 0 1 0 775728592 8302592 631 4294967295 134512640 134581331 3221224608 3221223520 134527729 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2027 631 566 18 0 2009 0 vsize: 8108 [startup+550.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 10810 Raw data (stat): 10810 (Pueblo) R 10809 3944 3943 0 -1 0 653 0 0 0 55006 4 0 0 25 0 1 0 775728592 8302592 631 4294967295 134512640 134581331 3221224608 3221223472 134528381 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2027 631 566 18 0 2009 0 vsize: 8108 [startup+560.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 10810 Raw data (stat): 10810 (Pueblo) R 10809 3944 3943 0 -1 0 653 0 0 0 56006 4 0 0 25 0 1 0 775728592 8302592 631 4294967295 134512640 134581331 3221224608 3221223520 134528079 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2027 631 566 18 0 2009 0 vsize: 8108 [startup+570.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 10810 Raw data (stat): 10810 (Pueblo) R 10809 3944 3943 0 -1 0 654 0 0 0 57006 4 0 0 25 0 1 0 775728592 8302592 632 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2027 632 566 18 0 2009 0 vsize: 8108 [startup+580.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 10810 Raw data (stat): 10810 (Pueblo) R 10809 3944 3943 0 -1 0 659 0 0 0 58006 4 0 0 25 0 1 0 775728592 8302592 637 4294967295 134512640 134581331 3221224608 3221223520 134527454 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2027 637 566 18 0 2009 0 vsize: 8108 [startup+590.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 10810 Raw data (stat): 10810 (Pueblo) R 10809 3944 3943 0 -1 0 659 0 0 0 59006 4 0 0 25 0 1 0 775728592 8302592 637 4294967295 134512640 134581331 3221224608 3221223472 134528258 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2027 637 566 18 0 2009 0 vsize: 8108 [startup+600.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 10810 Raw data (stat): 10810 (Pueblo) R 10809 3944 3943 0 -1 0 659 0 0 0 60006 4 0 0 25 0 1 0 775728592 8302592 637 4294967295 134512640 134581331 3221224608 3221223520 134527695 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2027 637 566 18 0 2009 0 vsize: 8108 [startup+610.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 10810 Raw data (stat): 10810 (Pueblo) R 10809 3944 3943 0 -1 0 659 0 0 0 61007 4 0 0 25 0 1 0 775728592 8302592 637 4294967295 134512640 134581331 3221224608 3221223520 134528074 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2027 637 566 18 0 2009 0 vsize: 8108 [startup+620.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 10810 Raw data (stat): 10810 (Pueblo) R 10809 3944 3943 0 -1 0 659 0 0 0 62007 4 0 0 25 0 1 0 775728592 8302592 637 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2027 637 566 18 0 2009 0 vsize: 8108 [startup+630.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 10810 Raw data (stat): 10810 (Pueblo) R 10809 3944 3943 0 -1 0 659 0 0 0 63007 4 0 0 25 0 1 0 775728592 8302592 637 4294967295 134512640 134581331 3221224608 3221223520 134527967 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2027 637 566 18 0 2009 0 vsize: 8108 [startup+640.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 10810 Raw data (stat): 10810 (Pueblo) R 10809 3944 3943 0 -1 0 659 0 0 0 64007 4 0 0 25 0 1 0 775728592 8302592 637 4294967295 134512640 134581331 3221224608 3221223520 134527531 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2027 637 566 18 0 2009 0 vsize: 8108 [startup+650.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 10810 Raw data (stat): 10810 (Pueblo) R 10809 3944 3943 0 -1 0 659 0 0 0 65007 4 0 0 25 0 1 0 775728592 8302592 637 4294967295 134512640 134581331 3221224608 3221223472 134528422 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2027 637 566 18 0 2009 0 vsize: 8108 [startup+660.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 10810 Raw data (stat): 10810 (Pueblo) R 10809 3944 3943 0 -1 0 662 0 0 0 66007 4 0 0 25 0 1 0 775728592 8302592 640 4294967295 134512640 134581331 3221224608 3221223520 134527769 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2027 640 566 18 0 2009 0 vsize: 8108 [startup+670.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 10810 Raw data (stat): 10810 (Pueblo) R 10809 3944 3943 0 -1 0 662 0 0 0 67008 4 0 0 25 0 1 0 775728592 8302592 640 4294967295 134512640 134581331 3221224608 3221223520 134527695 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2027 640 566 18 0 2009 0 vsize: 8108 [startup+680.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 10810 Raw data (stat): 10810 (Pueblo) R 10809 3944 3943 0 -1 0 662 0 0 0 68008 4 0 0 25 0 1 0 775728592 8302592 640 4294967295 134512640 134581331 3221224608 3221223520 134527404 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2027 640 566 18 0 2009 0 vsize: 8108 [startup+690.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 10810 Raw data (stat): 10810 (Pueblo) R 10809 3944 3943 0 -1 0 662 0 0 0 69008 4 0 0 25 0 1 0 775728592 8302592 640 4294967295 134512640 134581331 3221224608 3221223472 134528323 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2027 640 566 18 0 2009 0 vsize: 8108 [startup+700.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 10810 Raw data (stat): 10810 (Pueblo) R 10809 3944 3943 0 -1 0 662 0 0 0 70008 4 0 0 25 0 1 0 775728592 8302592 640 4294967295 134512640 134581331 3221224608 3221223520 134527531 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2027 640 566 18 0 2009 0 vsize: 8108 [startup+710.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 10810 Raw data (stat): 10810 (Pueblo) R 10809 3944 3943 0 -1 0 662 0 0 0 71008 4 0 0 25 0 1 0 775728592 8302592 640 4294967295 134512640 134581331 3221224608 3221223520 134527778 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2027 640 566 18 0 2009 0 vsize: 8108 [startup+720.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 10810 Raw data (stat): 10810 (Pueblo) R 10809 3944 3943 0 -1 0 662 0 0 0 72008 4 0 0 25 0 1 0 775728592 8302592 640 4294967295 134512640 134581331 3221224608 3221223472 134528261 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2027 640 566 18 0 2009 0 vsize: 8108 [startup+730.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 10810 Raw data (stat): 10810 (Pueblo) R 10809 3944 3943 0 -1 0 662 0 0 0 73009 4 0 0 25 0 1 0 775728592 8302592 640 4294967295 134512640 134581331 3221224608 3221223520 134527525 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2027 640 566 18 0 2009 0 vsize: 8108 [startup+740.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 10810 Raw data (stat): 10810 (Pueblo) R 10809 3944 3943 0 -1 0 662 0 0 0 74009 4 0 0 25 0 1 0 775728592 8302592 640 4294967295 134512640 134581331 3221224608 3221223488 134518065 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2027 640 566 18 0 2009 0 vsize: 8108 [startup+750.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 10810 Raw data (stat): 10810 (Pueblo) R 10809 3944 3943 0 -1 0 662 0 0 0 75009 4 0 0 25 0 1 0 775728592 8302592 640 4294967295 134512640 134581331 3221224608 3221223472 134528278 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2027 640 566 18 0 2009 0 vsize: 8108 [startup+760.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 10810 Raw data (stat): 10810 (Pueblo) R 10809 3944 3943 0 -1 0 662 0 0 0 76009 4 0 0 25 0 1 0 775728592 8302592 640 4294967295 134512640 134581331 3221224608 3221223392 134528785 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2027 640 566 18 0 2009 0 vsize: 8108 [startup+770.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 10810 Raw data (stat): 10810 (Pueblo) R 10809 3944 3943 0 -1 0 662 0 0 0 77009 4 0 0 25 0 1 0 775728592 8302592 640 4294967295 134512640 134581331 3221224608 3221223472 134528366 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2027 640 566 18 0 2009 0 vsize: 8108 [startup+780.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 10810 Raw data (stat): 10810 (Pueblo) R 10809 3944 3943 0 -1 0 662 0 0 0 78010 5 0 0 25 0 1 0 775728592 8302592 640 4294967295 134512640 134581331 3221224608 3221223600 134560844 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2027 640 566 18 0 2009 0 vsize: 8108 [startup+790.027 s] Raw data (loadavg): 1.15 1.00 0.92 3/58 10863 Raw data (stat): 10810 (Pueblo) R 10809 3944 3943 0 -1 0 662 0 0 0 79010 5 0 0 25 0 1 0 775728592 8302592 640 4294967295 134512640 134581331 3221224608 3221223520 134527513 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2027 640 566 18 0 2009 0 vsize: 8108 [startup+800.027 s] Raw data (loadavg): 1.12 1.00 0.92 2/54 10863 Raw data (stat): 10810 (Pueblo) R 10809 3944 3943 0 -1 0 662 0 0 0 80010 5 0 0 25 0 1 0 775728592 8302592 640 4294967295 134512640 134581331 3221224608 3221223576 134527282 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2027 640 566 18 0 2009 0 vsize: 8108 [startup+810.027 s] Raw data (loadavg): 1.10 1.00 0.92 2/54 10863 Raw data (stat): 10810 (Pueblo) R 10809 3944 3943 0 -1 0 662 0 0 0 81010 5 0 0 25 0 1 0 775728592 8302592 640 4294967295 134512640 134581331 3221224608 3221223520 134527404 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2027 640 566 18 0 2009 0 vsize: 8108 [startup+820.027 s] Raw data (loadavg): 1.09 1.00 0.92 2/54 10863 Raw data (stat): 10810 (Pueblo) R 10809 3944 3943 0 -1 0 662 0 0 0 82010 5 0 0 25 0 1 0 775728592 8302592 640 4294967295 134512640 134581331 3221224608 3221223472 134528254 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2027 640 566 18 0 2009 0 vsize: 8108 [startup+830.027 s] Raw data (loadavg): 1.07 1.00 0.92 2/54 10863 Raw data (stat): 10810 (Pueblo) R 10809 3944 3943 0 -1 0 662 0 0 0 83010 5 0 0 25 0 1 0 775728592 8302592 640 4294967295 134512640 134581331 3221224608 3221223472 134528366 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2027 640 566 18 0 2009 0 vsize: 8108 [startup+840.027 s] Raw data (loadavg): 1.06 1.00 0.92 2/54 10863 Raw data (stat): 10810 (Pueblo) R 10809 3944 3943 0 -1 0 662 0 0 0 84011 5 0 0 25 0 1 0 775728592 8302592 640 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2027 640 566 18 0 2009 0 vsize: 8108 [startup+850.027 s] Raw data (loadavg): 1.05 1.00 0.92 2/54 10863 Raw data (stat): 10810 (Pueblo) R 10809 3944 3943 0 -1 0 662 0 0 0 85011 5 0 0 25 0 1 0 775728592 8302592 640 4294967295 134512640 134581331 3221224608 3221223472 134528275 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2027 640 566 18 0 2009 0 vsize: 8108 [startup+860.028 s] Raw data (loadavg): 1.04 1.00 0.92 2/54 10863 Raw data (stat): 10810 (Pueblo) R 10809 3944 3943 0 -1 0 662 0 0 0 86011 5 0 0 25 0 1 0 775728592 8302592 640 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2027 640 566 18 0 2009 0 vsize: 8108 [startup+870.028 s] Raw data (loadavg): 1.04 1.00 0.92 2/54 10865 Raw data (stat): 10810 (Pueblo) R 10809 3944 3943 0 -1 0 662 0 0 0 87011 5 0 0 25 0 1 0 775728592 8302592 640 4294967295 134512640 134581331 3221224608 3221223520 134527510 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2027 640 566 18 0 2009 0 vsize: 8108 [startup+880.027 s] Raw data (loadavg): 1.03 1.00 0.92 2/54 10865 Raw data (stat): 10810 (Pueblo) R 10809 3944 3943 0 -1 0 662 0 0 0 88011 5 0 0 25 0 1 0 775728592 8302592 640 4294967295 134512640 134581331 3221224608 3221223472 134528334 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2027 640 566 18 0 2009 0 vsize: 8108 [startup+890.027 s] Raw data (loadavg): 1.03 1.00 0.92 2/54 10865 Raw data (stat): 10810 (Pueblo) R 10809 3944 3943 0 -1 0 662 0 0 0 89011 5 0 0 25 0 1 0 775728592 8302592 640 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2027 640 566 18 0 2009 0 vsize: 8108 [startup+900.028 s] Raw data (loadavg): 1.02 1.00 0.92 2/54 10865 Raw data (stat): 10810 (Pueblo) R 10809 3944 3943 0 -1 0 662 0 0 0 90012 5 0 0 25 0 1 0 775728592 8302592 640 4294967295 134512640 134581331 3221224608 3221223504 134517924 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2027 640 566 18 0 2009 0 vsize: 8108 [startup+910.029 s] Raw data (loadavg): 1.02 1.00 0.92 2/54 10865 Raw data (stat): 10810 (Pueblo) R 10809 3944 3943 0 -1 0 662 0 0 0 91012 5 0 0 25 0 1 0 775728592 8302592 640 4294967295 134512640 134581331 3221224608 3221223520 134527434 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2027 640 566 18 0 2009 0 vsize: 8108 [startup+920.029 s] Raw data (loadavg): 1.01 1.00 0.92 2/54 10865 Raw data (stat): 10810 (Pueblo) R 10809 3944 3943 0 -1 0 662 0 0 0 92012 5 0 0 25 0 1 0 775728592 8302592 640 4294967295 134512640 134581331 3221224608 3221223472 134528289 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2027 640 566 18 0 2009 0 vsize: 8108 [startup+930.029 s] Raw data (loadavg): 1.01 1.00 0.92 2/54 10865 Raw data (stat): 10810 (Pueblo) R 10809 3944 3943 0 -1 0 662 0 0 0 93012 5 0 0 25 0 1 0 775728592 8302592 640 4294967295 134512640 134581331 3221224608 3221223520 134527537 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2027 640 566 18 0 2009 0 vsize: 8108 [startup+940.029 s] Raw data (loadavg): 1.01 1.00 0.92 2/54 10865 Raw data (stat): 10810 (Pueblo) R 10809 3944 3943 0 -1 0 662 0 0 0 94012 5 0 0 25 0 1 0 775728592 8302592 640 4294967295 134512640 134581331 3221224608 3221223520 134527636 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2027 640 566 18 0 2009 0 vsize: 8108 [startup+950.03 s] Raw data (loadavg): 1.01 1.00 0.92 2/54 10865 Raw data (stat): 10810 (Pueblo) R 10809 3944 3943 0 -1 0 662 0 0 0 95013 5 0 0 25 0 1 0 775728592 8302592 640 4294967295 134512640 134581331 3221224608 3221223520 134527636 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2027 640 566 18 0 2009 0 vsize: 8108 [startup+960.031 s] Raw data (loadavg): 1.01 1.00 0.92 2/54 10865 Raw data (stat): 10810 (Pueblo) R 10809 3944 3943 0 -1 0 662 0 0 0 96013 5 0 0 25 0 1 0 775728592 8302592 640 4294967295 134512640 134581331 3221224608 3221223520 134527442 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2027 640 566 18 0 2009 0 vsize: 8108 [startup+970.03 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 10865 Raw data (stat): 10810 (Pueblo) R 10809 3944 3943 0 -1 0 662 0 0 0 97013 5 0 0 25 0 1 0 775728592 8302592 640 4294967295 134512640 134581331 3221224608 3221223552 134558806 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2027 640 566 18 0 2009 0 vsize: 8108 [startup+980.03 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 10865 Raw data (stat): 10810 (Pueblo) R 10809 3944 3943 0 -1 0 662 0 0 0 98013 5 0 0 25 0 1 0 775728592 8302592 640 4294967295 134512640 134581331 3221224608 3221223520 134527432 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2027 640 566 18 0 2009 0 vsize: 8108 [startup+990.03 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 10865 Raw data (stat): 10810 (Pueblo) R 10809 3944 3943 0 -1 0 662 0 0 0 99013 5 0 0 25 0 1 0 775728592 8302592 640 4294967295 134512640 134581331 3221224608 3221223504 134517894 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2027 640 566 18 0 2009 0 vsize: 8108 [startup+1000.03 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 10865 Raw data (stat): 10810 (Pueblo) R 10809 3944 3943 0 -1 0 662 0 0 0 100013 5 0 0 25 0 1 0 775728592 8302592 640 4294967295 134512640 134581331 3221224608 3221223472 134528384 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2027 640 566 18 0 2009 0 vsize: 8108 [startup+1010.03 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 10865 Raw data (stat): 10810 (Pueblo) R 10809 3944 3943 0 -1 0 662 0 0 0 101013 5 0 0 25 0 1 0 775728592 8302592 640 4294967295 134512640 134581331 3221224608 3221223536 134519928 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2027 640 566 18 0 2009 0 vsize: 8108 [startup+1020.03 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 10865 Raw data (stat): 10810 (Pueblo) R 10809 3944 3943 0 -1 0 662 0 0 0 102014 5 0 0 25 0 1 0 775728592 8302592 640 4294967295 134512640 134581331 3221224608 3221223552 134558842 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2027 640 566 18 0 2009 0 vsize: 8108 [startup+1030.03 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 10865 Raw data (stat): 10810 (Pueblo) R 10809 3944 3943 0 -1 0 662 0 0 0 103014 5 0 0 25 0 1 0 775728592 8302592 640 4294967295 134512640 134581331 3221224608 3221223520 134528079 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2027 640 566 18 0 2009 0 vsize: 8108 [startup+1040.03 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 10865 Raw data (stat): 10810 (Pueblo) R 10809 3944 3943 0 -1 0 662 0 0 0 104014 5 0 0 25 0 1 0 775728592 8302592 640 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2027 640 566 18 0 2009 0 vsize: 8108 [startup+1050.03 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 10865 Raw data (stat): 10810 (Pueblo) R 10809 3944 3943 0 -1 0 662 0 0 0 105014 5 0 0 25 0 1 0 775728592 8302592 640 4294967295 134512640 134581331 3221224608 3221223520 134527404 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2027 640 566 18 0 2009 0 vsize: 8108 [startup+1060.03 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 10865 Raw data (stat): 10810 (Pueblo) R 10809 3944 3943 0 -1 0 662 0 0 0 106014 6 0 0 25 0 1 0 775728592 8302592 640 4294967295 134512640 134581331 3221224608 3221223520 134527692 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2027 640 566 18 0 2009 0 vsize: 8108 [startup+1070.03 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 10865 Raw data (stat): 10810 (Pueblo) R 10809 3944 3943 0 -1 0 662 0 0 0 107014 6 0 0 25 0 1 0 775728592 8302592 640 4294967295 134512640 134581331 3221224608 3221223520 134527670 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2027 640 566 18 0 2009 0 vsize: 8108 [startup+1080.03 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 10865 Raw data (stat): 10810 (Pueblo) R 10809 3944 3943 0 -1 0 662 0 0 0 108014 6 0 0 25 0 1 0 775728592 8302592 640 4294967295 134512640 134581331 3221224608 3221223520 134527636 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2027 640 566 18 0 2009 0 vsize: 8108 [startup+1090.03 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 10865 Raw data (stat): 10810 (Pueblo) R 10809 3944 3943 0 -1 0 678 0 0 0 109014 6 0 0 25 0 1 0 775728592 8433664 656 4294967295 134512640 134581331 3221224608 3221223472 134528323 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2059 656 566 18 0 2041 0 vsize: 8236 [startup+1100.04 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 10865 Raw data (stat): 10810 (Pueblo) R 10809 3944 3943 0 -1 0 688 0 0 0 110015 6 0 0 25 0 1 0 775728592 8433664 666 4294967295 134512640 134581331 3221224608 3221223520 134527695 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2059 666 566 18 0 2041 0 vsize: 8236 [startup+1110.04 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 10865 Raw data (stat): 10810 (Pueblo) R 10809 3944 3943 0 -1 0 688 0 0 0 111015 6 0 0 25 0 1 0 775728592 8433664 666 4294967295 134512640 134581331 3221224608 3221223520 134527636 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2059 666 566 18 0 2041 0 vsize: 8236 [startup+1120.04 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 10865 Raw data (stat): 10810 (Pueblo) R 10809 3944 3943 0 -1 0 688 0 0 0 112015 6 0 0 25 0 1 0 775728592 8433664 666 4294967295 134512640 134581331 3221224608 3221223520 134527695 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2059 666 566 18 0 2041 0 vsize: 8236 [startup+1130.04 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 10865 Raw data (stat): 10810 (Pueblo) R 10809 3944 3943 0 -1 0 688 0 0 0 113015 6 0 0 25 0 1 0 775728592 8433664 666 4294967295 134512640 134581331 3221224608 3221223472 134528384 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2059 666 566 18 0 2041 0 vsize: 8236 [startup+1140.04 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 10865 Raw data (stat): 10810 (Pueblo) R 10809 3944 3943 0 -1 0 688 0 0 0 114015 6 0 0 25 0 1 0 775728592 8433664 666 4294967295 134512640 134581331 3221224608 3221223504 134517875 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2059 666 566 18 0 2041 0 vsize: 8236 [startup+1150.04 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 10865 Raw data (stat): 10810 (Pueblo) R 10809 3944 3943 0 -1 0 690 0 0 0 115015 6 0 0 25 0 1 0 775728592 8433664 668 4294967295 134512640 134581331 3221224608 3221223552 134558842 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2059 668 566 18 0 2041 0 vsize: 8236 [startup+1160.04 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 10865 Raw data (stat): 10810 (Pueblo) R 10809 3944 3943 0 -1 0 690 0 0 0 116015 6 0 0 25 0 1 0 775728592 8433664 668 4294967295 134512640 134581331 3221224608 3221223520 134528079 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2059 668 566 18 0 2041 0 vsize: 8236 [startup+1170.04 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 10867 Raw data (stat): 10810 (Pueblo) R 10809 3944 3943 0 -1 0 698 0 0 0 117016 6 0 0 25 0 1 0 775728592 8556544 676 4294967295 134512640 134581331 3221224608 3221223472 134528422 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2089 676 566 18 0 2071 0 vsize: 8356 [startup+1180.04 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 10867 Raw data (stat): 10810 (Pueblo) R 10809 3944 3943 0 -1 0 698 0 0 0 118016 6 0 0 25 0 1 0 775728592 8527872 676 4294967295 134512640 134581331 3221224608 3221223472 134528372 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2082 676 566 18 0 2064 0 vsize: 8328 [startup+1190.04 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 10867 Raw data (stat): 10810 (Pueblo) R 10809 3944 3943 0 -1 0 698 0 0 0 119016 6 0 0 25 0 1 0 775728592 8527872 676 4294967295 134512640 134581331 3221224608 3221223520 134527950 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2082 676 566 18 0 2064 0 vsize: 8328 [startup+1200.04 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 10867 Raw data (stat): 10810 (Pueblo) R 10809 3944 3943 0 -1 0 698 0 0 0 120016 6 0 0 25 0 1 0 775728592 8527872 676 4294967295 134512640 134581331 3221224608 3221223520 134527442 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2082 676 566 18 0 2064 0 vsize: 8328 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.04 s] Raw data (loadavg): 1.00 1.00 0.92 1/54 10867 Raw data (stat): 10810 (Pueblo) Z 10809 3944 3943 0 -1 1036 698 0 0 0 120016 7 0 0 25 0 1 0 775728592 0 0 4294967295 0 0 0 0 0 0 0 7 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.04 CPU time (s): 1200.24 CPU user time (s): 1200.16 CPU system time (s): 0.071989 CPU usage (%): 100.016 Max. virtual memory (Kb): 8356 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####