Name | normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3709.opb |
MD5SUM | 40c6760f4e05a9ceb06922f685226f97 |
Bench Category | optimization, medium integers (OPTMEDINT) |
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 | 105000 |
Biggest coefficient in the objective function | 4194304 |
Number of bits for the biggest coefficient in the objective function | 23 |
Sum of the numbers in the objective function | 39144954388 |
Number of bits of the sum of numbers in the objective function | 36 |
Biggest number in a constraint | 4194304 |
Number of bits of the biggest number in a constraint | 23 |
Biggest sum of numbers in a constraint | 39144954388 |
Number of bits of the biggest sum of numbers | 36 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 1.00884 |
Number of variables | 105000 |
Total number of constraints | 5150 |
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 | 5150 |
Minimum length of a constraint | 21 |
Maximum length of a constraint | 2000 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc22 THE 2005-05-24 18:09:17 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=19117 boxname=wulflinc22 idbench=1471 idsolver=7 numberseed=0 MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911 /oldhome/oroussel/solvers/Pueblo MD5SUM BENCH: 40c6760f4e05a9ceb06922f685226f97 /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-13-7-n3709.opb REAL COMMAND: Pueblo /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-13-7-n3709.opb IDLAUNCH: 19117 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.031 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 : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.031 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: 847776 kB Buffers: 36184 kB Cached: 116312 kB SwapCached: 12200 kB Active: 71296 kB Inactive: 95540 kB HighTotal: 131008 kB HighFree: 14252 kB LowTotal: 903652 kB LowFree: 833524 kB SwapTotal: 2097892 kB SwapFree: 2085472 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5780 kB Slab: 14420 kB Committed_AS: 63600 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-24 18:29:20 (client local time) WITH STATUS 0 IN 1200.27 SECONDS stats: 19117 7 1200.27 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.93 0.98 0.99 2/54 25410 Raw data (stat): 25410 (runsolver) R 25409 23310 23309 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 832283787 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.0005 s] Raw data (loadavg): 0.94 0.98 0.99 2/54 25410 Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 78940 0 0 0 844 154 0 0 25 0 1 0 832283787 56029184 12014 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13679 12014 566 18 0 13661 0 vsize: 54716 [startup+20.0017 s] Raw data (loadavg): 0.95 0.98 0.99 2/54 25410 Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 386607 0 0 0 1300 699 0 0 25 0 1 0 832283787 57651200 12432 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 14075 12432 566 18 0 14057 0 vsize: 56300 [startup+30.0009 s] Raw data (loadavg): 0.95 0.98 0.99 2/54 25410 Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 558783 0 0 0 1995 1004 0 0 25 0 1 0 832283787 57126912 12392 4294967295 134512640 134581331 3221224608 3221223520 134527513 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13947 12392 566 18 0 13929 0 vsize: 55788 [startup+40.0017 s] Raw data (loadavg): 0.96 0.98 0.99 2/54 25410 Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 558784 0 0 0 2994 1005 0 0 25 0 1 0 832283787 57126912 12393 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13947 12393 566 18 0 13929 0 vsize: 55788 [startup+50.0028 s] Raw data (loadavg): 0.97 0.98 0.99 2/54 25410 Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 559807 0 0 0 3992 1007 0 0 25 0 1 0 832283787 61288448 13416 4294967295 134512640 134581331 3221224608 3221223552 134560142 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 14963 13416 566 18 0 14945 0 vsize: 59852 [startup+60.0031 s] Raw data (loadavg): 0.97 0.98 0.99 2/54 25410 Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 561166 0 0 0 4987 1012 0 0 25 0 1 0 832283787 66842624 14775 4294967295 134512640 134581331 3221224608 3221223520 134527639 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16319 14775 566 18 0 16301 0 vsize: 65276 [startup+70.0029 s] Raw data (loadavg): 0.97 0.98 0.99 2/54 25410 Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 562348 0 0 0 5982 1017 0 0 25 0 1 0 832283787 71634944 15957 4294967295 134512640 134581331 3221224608 3221223472 134528492 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17489 15957 566 18 0 17471 0 vsize: 69956 [startup+80.004 s] Raw data (loadavg): 0.98 0.98 0.99 2/54 25410 Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 563578 0 0 0 6978 1021 0 0 25 0 1 0 832283787 76681216 17187 4294967295 134512640 134581331 3221224608 3221223520 134528079 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18721 17187 566 18 0 18703 0 vsize: 74884 [startup+90.0043 s] Raw data (loadavg): 0.98 0.98 0.99 2/54 25410 Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 564755 0 0 0 7974 1026 0 0 25 0 1 0 832283787 81489920 18364 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19895 18364 566 18 0 19877 0 vsize: 79580 [startup+100.004 s] Raw data (loadavg): 0.98 0.98 0.99 2/54 25410 Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 565990 0 0 0 8969 1031 0 0 25 0 1 0 832283787 86532096 19599 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21126 19599 566 18 0 21108 0 vsize: 84504 [startup+110.004 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 25410 Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 567176 0 0 0 9965 1034 0 0 25 0 1 0 832283787 91459584 20785 4294967295 134512640 134581331 3221224608 3221223552 134560149 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22329 20785 566 18 0 22311 0 vsize: 89316 [startup+120.004 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 25410 Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 568388 0 0 0 10961 1039 0 0 25 0 1 0 832283787 96370688 21997 4294967295 134512640 134581331 3221224608 3221223520 134527459 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 23528 21997 566 18 0 23510 0 vsize: 94112 [startup+130.004 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 25410 Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 569597 0 0 0 11957 1043 0 0 25 0 1 0 832283787 101416960 23206 4294967295 134512640 134581331 3221224608 3221223536 134519928 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 24760 23206 566 18 0 24742 0 vsize: 99040 [startup+140.005 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 25410 Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 570818 0 0 0 12953 1047 0 0 25 0 1 0 832283787 106323968 24427 4294967295 134512640 134581331 3221224608 3221223520 134528088 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25958 24427 566 18 0 25940 0 vsize: 103832 [startup+150.005 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 25410 Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 572047 0 0 0 13949 1052 0 0 25 0 1 0 832283787 111362048 25656 4294967295 134512640 134581331 3221224608 3221223520 134528085 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27188 25656 566 18 0 27170 0 vsize: 108752 [startup+160.004 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 25410 Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 573233 0 0 0 14944 1056 0 0 25 0 1 0 832283787 116264960 26842 4294967295 134512640 134581331 3221224608 3221223520 134527404 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28385 26842 566 18 0 28367 0 vsize: 113540 [startup+170.005 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 25410 Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 574449 0 0 0 15940 1061 0 0 25 0 1 0 832283787 121294848 28058 4294967295 134512640 134581331 3221224608 3221223520 134528072 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 29613 28058 566 18 0 29595 0 vsize: 118452 [startup+180.006 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 25410 Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 575639 0 0 0 16936 1065 0 0 25 0 1 0 832283787 126074880 29248 4294967295 134512640 134581331 3221224608 3221223520 134527537 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30780 29248 566 18 0 30762 0 vsize: 123120 [startup+190.006 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 25410 Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 576875 0 0 0 17932 1068 0 0 25 0 1 0 832283787 131235840 30484 4294967295 134512640 134581331 3221224608 3221223552 134559274 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 32040 30484 566 18 0 32022 0 vsize: 128160 [startup+200.007 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 25410 Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 578058 0 0 0 18929 1072 0 0 25 0 1 0 832283787 136007680 31667 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 33205 31667 566 18 0 33187 0 vsize: 132820 [startup+210.007 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 25410 Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 579307 0 0 0 19923 1078 0 0 25 0 1 0 832283787 141156352 32916 4294967295 134512640 134581331 3221224608 3221223536 134519829 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 34462 32916 566 18 0 34444 0 vsize: 137848 [startup+220.008 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 25410 Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 580534 0 0 0 20919 1082 0 0 25 0 1 0 832283787 146182144 34143 4294967295 134512640 134581331 3221224608 3221223600 134561089 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 35689 34143 566 18 0 35671 0 vsize: 142756 [startup+230.008 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 25410 Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 581729 0 0 0 21915 1087 0 0 25 0 1 0 832283787 151089152 35338 4294967295 134512640 134581331 3221224608 3221223520 134527513 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 36887 35338 566 18 0 36869 0 vsize: 147548 [startup+240.008 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 25410 Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 582940 0 0 0 22910 1092 0 0 25 0 1 0 832283787 156110848 36549 4294967295 134512640 134581331 3221224608 3221223552 134560143 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 38113 36549 566 18 0 38095 0 vsize: 152452 [startup+250.008 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 25410 Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 584132 0 0 0 23906 1096 0 0 25 0 1 0 832283787 160874496 37741 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 39276 37741 566 18 0 39258 0 vsize: 157104 [startup+260.008 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 25410 Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 585363 0 0 0 24902 1100 0 0 25 0 1 0 832283787 166019072 38972 4294967295 134512640 134581331 3221224608 3221223552 134560136 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 40532 38972 566 18 0 40514 0 vsize: 162128 [startup+270.009 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 25410 Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 586543 0 0 0 25897 1105 0 0 25 0 1 0 832283787 170782720 40152 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 41695 40152 566 18 0 41677 0 vsize: 166780 [startup+280.008 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 25410 Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 587785 0 0 0 26893 1109 0 0 25 0 1 0 832283787 175923200 41394 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 42950 41394 566 18 0 42932 0 vsize: 171800 [startup+290.009 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 25410 Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 589006 0 0 0 27889 1114 0 0 25 0 1 0 832283787 180940800 42615 4294967295 134512640 134581331 3221224608 3221223456 134528554 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 44175 42615 566 18 0 44157 0 vsize: 176700 [startup+300.009 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 25410 Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 590196 0 0 0 28884 1118 0 0 25 0 1 0 832283787 185712640 43805 4294967295 134512640 134581331 3221224608 3221223520 134528079 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 45340 43805 566 18 0 45322 0 vsize: 181360 [startup+310.009 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 25410 Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 591421 0 0 0 29879 1123 0 0 25 0 1 0 832283787 190722048 45030 4294967295 134512640 134581331 3221224608 3221223520 134527636 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 46563 45030 566 18 0 46545 0 vsize: 186252 [startup+320.009 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 25410 Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 592608 0 0 0 30876 1127 0 0 25 0 1 0 832283787 195608576 46217 4294967295 134512640 134581331 3221224608 3221223552 134558819 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 47756 46217 566 18 0 47738 0 vsize: 191024 [startup+330.01 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 25410 Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 593835 0 0 0 31872 1131 0 0 25 0 1 0 832283787 200617984 47444 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 48979 47444 566 18 0 48961 0 vsize: 195916 [startup+340.01 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 25410 Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 594993 0 0 0 32867 1136 0 0 25 0 1 0 832283787 205381632 48602 4294967295 134512640 134581331 3221224608 3221223520 134527434 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 50142 48602 566 18 0 50124 0 vsize: 200568 [startup+350.01 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 25410 Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 596224 0 0 0 33862 1141 0 0 25 0 1 0 832283787 210382848 49833 4294967295 134512640 134581331 3221224608 3221223552 134559476 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 51363 49833 566 18 0 51345 0 vsize: 205452 [startup+360.011 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 25410 Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 597450 0 0 0 34859 1145 0 0 25 0 1 0 832283787 215388160 51059 4294967295 134512640 134581331 3221224608 3221223504 134517792 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 52585 51059 566 18 0 52567 0 vsize: 210340 [startup+370.01 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 25410 Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 598642 0 0 0 35854 1149 0 0 25 0 1 0 832283787 220389376 52251 4294967295 134512640 134581331 3221224608 3221223520 134527984 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 53806 52251 566 18 0 53788 0 vsize: 215224 [startup+380.01 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 25410 Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 599865 0 0 0 36851 1153 0 0 25 0 1 0 832283787 225390592 53474 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 55027 53474 566 18 0 55009 0 vsize: 220108 [startup+390.011 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 25410 Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 601050 0 0 0 37846 1157 0 0 25 0 1 0 832283787 230150144 54659 4294967295 134512640 134581331 3221224608 3221223552 134560149 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 56189 54659 566 18 0 56171 0 vsize: 224756 [startup+400.011 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 25410 Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 602277 0 0 0 38841 1162 0 0 25 0 1 0 832283787 235147264 55886 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 57409 55886 566 18 0 57391 0 vsize: 229636 [startup+410.012 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 25410 Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 602912 0 0 0 39839 1165 0 0 25 0 1 0 832283787 237772800 56521 4294967295 134512640 134581331 3221224608 3221223520 134527639 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 58050 56521 566 18 0 58032 0 vsize: 232200 [startup+420.012 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 25410 Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 602912 0 0 0 40839 1165 0 0 25 0 1 0 832283787 237772800 56521 4294967295 134512640 134581331 3221224608 3221223552 134560142 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 58050 56521 566 18 0 58032 0 vsize: 232200 [startup+430.012 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 25410 Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 602912 0 0 0 41839 1166 0 0 25 0 1 0 832283787 237772800 56521 4294967295 134512640 134581331 3221224608 3221223552 134560143 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 58050 56521 566 18 0 58032 0 vsize: 232200 [startup+440.014 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 25410 Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 602912 0 0 0 42838 1166 0 0 25 0 1 0 832283787 237772800 56521 4294967295 134512640 134581331 3221224608 3221223472 134528422 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 58050 56521 566 18 0 58032 0 vsize: 232200 [startup+450.014 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 25410 Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 602912 0 0 0 43838 1167 0 0 25 0 1 0 832283787 237772800 56521 4294967295 134512640 134581331 3221224608 3221223520 134527510 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 58050 56521 566 18 0 58032 0 vsize: 232200 [startup+460.015 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 25410 Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 602912 0 0 0 44837 1167 0 0 25 0 1 0 832283787 237772800 56521 4294967295 134512640 134581331 3221224608 3221223520 134527513 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 58050 56521 566 18 0 58032 0 vsize: 232200 [startup+470.015 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 25410 Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 602912 0 0 0 45837 1168 0 0 25 0 1 0 832283787 237772800 56521 4294967295 134512640 134581331 3221224608 3221223552 134558884 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 58050 56521 566 18 0 58032 0 vsize: 232200 [startup+480.014 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 25410 Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 602912 0 0 0 46836 1169 0 0 25 0 1 0 832283787 237772800 56521 4294967295 134512640 134581331 3221224608 3221223520 134527442 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 58050 56521 566 18 0 58032 0 vsize: 232200 [startup+490.015 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 25410 Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 602912 0 0 0 47836 1169 0 0 25 0 1 0 832283787 237772800 56521 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 58050 56521 566 18 0 58032 0 vsize: 232200 [startup+500.015 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 25410 Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 602912 0 0 0 48835 1170 0 0 25 0 1 0 832283787 237772800 56521 4294967295 134512640 134581331 3221224608 3221223472 134528507 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 58050 56521 566 18 0 58032 0 vsize: 232200 [startup+510.015 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 25410 Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 602912 0 0 0 49835 1170 0 0 25 0 1 0 832283787 237772800 56521 4294967295 134512640 134581331 3221224608 3221223520 134528088 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 58050 56521 566 18 0 58032 0 vsize: 232200 [startup+520.015 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 25410 Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 602912 0 0 0 50835 1171 0 0 25 0 1 0 832283787 237772800 56521 4294967295 134512640 134581331 3221224608 3221223520 134527513 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 58050 56521 566 18 0 58032 0 vsize: 232200 [startup+530.016 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 25410 Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 602912 0 0 0 51835 1171 0 0 25 0 1 0 832283787 237772800 56521 4294967295 134512640 134581331 3221224608 3221223552 134560149 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 58050 56521 566 18 0 58032 0 vsize: 232200 [startup+540.016 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 25410 Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 602912 0 0 0 52834 1172 0 0 25 0 1 0 832283787 237772800 56521 4294967295 134512640 134581331 3221224608 3221223520 134527661 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 58050 56521 566 18 0 58032 0 vsize: 232200 [startup+550.016 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 25410 Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 602912 0 0 0 53834 1172 0 0 25 0 1 0 832283787 237772800 56521 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 58050 56521 566 18 0 58032 0 vsize: 232200 [startup+560.016 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 25410 Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 602912 0 0 0 54834 1172 0 0 25 0 1 0 832283787 237772800 56521 4294967295 134512640 134581331 3221224608 3221223520 134527404 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 58050 56521 566 18 0 58032 0 vsize: 232200 [startup+570.016 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 25410 Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 602912 0 0 0 55833 1173 0 0 25 0 1 0 832283787 237772800 56521 4294967295 134512640 134581331 3221224608 3221223536 134519947 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 58050 56521 566 18 0 58032 0 vsize: 232200 [startup+580.015 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 25410 Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 602912 0 0 0 56833 1173 0 0 25 0 1 0 832283787 237772800 56521 4294967295 134512640 134581331 3221224608 3221223552 134560142 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 58050 56521 566 18 0 58032 0 vsize: 232200 [startup+590.016 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 25410 Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 602912 0 0 0 57833 1174 0 0 25 0 1 0 832283787 237772800 56521 4294967295 134512640 134581331 3221224608 3221223472 134528261 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 58050 56521 566 18 0 58032 0 vsize: 232200 [startup+600.017 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 25410 Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 602912 0 0 0 58832 1174 0 0 25 0 1 0 832283787 237772800 56521 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 58050 56521 566 18 0 58032 0 vsize: 232200 [startup+610.017 s] Raw data (loadavg): 0.99 0.98 0.99 2/54 25410 Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 602912 0 0 0 59832 1175 0 0 25 0 1 0 832283787 237772800 56521 4294967295 134512640 134581331 3221224608 3221223552 134560142 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 58050 56521 566 18 0 58032 0 vsize: 232200 [startup+620.017 s] Raw data (loadavg): 1.07 1.00 0.99 2/54 25410 Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 602912 0 0 0 60831 1176 0 0 25 0 1 0 832283787 237772800 56521 4294967295 134512640 134581331 3221224608 3221223392 134528804 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 58050 56521 566 18 0 58032 0 vsize: 232200 [startup+630.018 s] Raw data (loadavg): 1.06 1.00 0.99 2/54 25410 Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 602912 0 0 0 61830 1176 0 0 25 0 1 0 832283787 237772800 56521 4294967295 134512640 134581331 3221224608 3221223520 134527513 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 58050 56521 566 18 0 58032 0 vsize: 232200 [startup+640.019 s] Raw data (loadavg): 1.05 1.00 0.99 2/54 25410 Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 602912 0 0 0 62830 1177 0 0 25 0 1 0 832283787 237772800 56521 4294967295 134512640 134581331 3221224608 3221223600 134561089 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 58050 56521 566 18 0 58032 0 vsize: 232200 [startup+650.018 s] Raw data (loadavg): 1.04 1.00 0.99 2/54 25410 Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 602912 0 0 0 63830 1177 0 0 25 0 1 0 832283787 237772800 56521 4294967295 134512640 134581331 3221224608 3221223504 134527752 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 58050 56521 566 18 0 58032 0 vsize: 232200 [startup+660.018 s] Raw data (loadavg): 1.03 1.00 0.99 2/54 25410 Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 603207 0 0 0 64828 1179 0 0 25 0 1 0 832283787 239034368 56816 4294967295 134512640 134581331 3221224608 3221223520 134527434 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 58358 56816 566 18 0 58340 0 vsize: 233432 [startup+670.019 s] Raw data (loadavg): 1.03 1.00 0.99 2/54 25410 Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 603207 0 0 0 65827 1180 0 0 25 0 1 0 832283787 239034368 56816 4294967295 134512640 134581331 3221224608 3221223520 134527519 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 58358 56816 566 18 0 58340 0 vsize: 233432 [startup+680.018 s] Raw data (loadavg): 1.02 1.00 0.99 2/54 25410 Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 603207 0 0 0 66827 1181 0 0 25 0 1 0 832283787 239034368 56816 4294967295 134512640 134581331 3221224608 3221223472 134528412 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 58358 56816 566 18 0 58340 0 vsize: 233432 [startup+690.02 s] Raw data (loadavg): 1.02 1.00 0.99 2/54 25410 Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 603207 0 0 0 67826 1182 0 0 25 0 1 0 832283787 239034368 56816 4294967295 134512640 134581331 3221224608 3221223472 134528270 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 58358 56816 566 18 0 58340 0 vsize: 233432 [startup+700.02 s] Raw data (loadavg): 1.02 1.00 0.99 2/54 25410 Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 603207 0 0 0 68826 1182 0 0 25 0 1 0 832283787 239034368 56816 4294967295 134512640 134581331 3221224608 3221223600 134561062 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 58358 56816 566 18 0 58340 0 vsize: 233432 [startup+710.019 s] Raw data (loadavg): 1.01 1.00 0.99 2/54 25410 Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 603207 0 0 0 69826 1182 0 0 25 0 1 0 832283787 239034368 56816 4294967295 134512640 134581331 3221224608 3221223552 134560142 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 58358 56816 566 18 0 58340 0 vsize: 233432 [startup+720.019 s] Raw data (loadavg): 1.01 1.00 0.99 2/54 25410 Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 603207 0 0 0 70826 1182 0 0 25 0 1 0 832283787 239034368 56816 4294967295 134512640 134581331 3221224608 3221223520 134527783 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 58358 56816 566 18 0 58340 0 vsize: 233432 [startup+730.019 s] Raw data (loadavg): 1.01 1.00 0.99 2/54 25410 Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 603207 0 0 0 71826 1182 0 0 25 0 1 0 832283787 239034368 56816 4294967295 134512640 134581331 3221224608 3221223520 134527534 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 58358 56816 566 18 0 58340 0 vsize: 233432 [startup+740.019 s] Raw data (loadavg): 1.01 1.00 0.99 2/54 25410 Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 603207 0 0 0 72826 1182 0 0 25 0 1 0 832283787 239034368 56816 4294967295 134512640 134581331 3221224608 3221223520 134527772 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 58358 56816 566 18 0 58340 0 vsize: 233432 [startup+750.02 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 25410 Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 603207 0 0 0 73826 1182 0 0 25 0 1 0 832283787 239034368 56816 4294967295 134512640 134581331 3221224608 3221223472 134528261 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 58358 56816 566 18 0 58340 0 vsize: 233432 [startup+760.019 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 25410 Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 603207 0 0 0 74826 1182 0 0 25 0 1 0 832283787 239034368 56816 4294967295 134512640 134581331 3221224608 3221223552 134558828 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 58358 56816 566 18 0 58340 0 vsize: 233432 [startup+770.02 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 25410 Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 603207 0 0 0 75827 1182 0 0 25 0 1 0 832283787 239034368 56816 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 58358 56816 566 18 0 58340 0 vsize: 233432 [startup+780.019 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 25410 Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 603207 0 0 0 76827 1182 0 0 25 0 1 0 832283787 239034368 56816 4294967295 134512640 134581331 3221224608 3221223552 134559269 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 58358 56816 566 18 0 58340 0 vsize: 233432 [startup+790.019 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 25410 Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 603207 0 0 0 77827 1182 0 0 25 0 1 0 832283787 239034368 56816 4294967295 134512640 134581331 3221224608 3221223520 134527510 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 58358 56816 566 18 0 58340 0 vsize: 233432 [startup+800.019 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 25410 Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 603207 0 0 0 78827 1182 0 0 25 0 1 0 832283787 239034368 56816 4294967295 134512640 134581331 3221224608 3221223552 134560142 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 58358 56816 566 18 0 58340 0 vsize: 233432 [startup+810.019 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 25410 Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 603207 0 0 0 79827 1182 0 0 25 0 1 0 832283787 239034368 56816 4294967295 134512640 134581331 3221224608 3221223536 134520084 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 58358 56816 566 18 0 58340 0 vsize: 233432 [startup+820.019 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 25410 Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 603207 0 0 0 80828 1182 0 0 25 0 1 0 832283787 239034368 56816 4294967295 134512640 134581331 3221224608 3221223520 134527432 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 58358 56816 566 18 0 58340 0 vsize: 233432 [startup+830.019 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 25410 Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 603207 0 0 0 81828 1182 0 0 25 0 1 0 832283787 239034368 56816 4294967295 134512640 134581331 3221224608 3221223552 134558859 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 58358 56816 566 18 0 58340 0 vsize: 233432 [startup+840.02 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 25410 Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 603207 0 0 0 82828 1182 0 0 25 0 1 0 832283787 239034368 56816 4294967295 134512640 134581331 3221224608 3221223520 134527720 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 58358 56816 566 18 0 58340 0 vsize: 233432 [startup+850.019 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 25410 Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 603207 0 0 0 83828 1182 0 0 25 0 1 0 832283787 239034368 56816 4294967295 134512640 134581331 3221224608 3221223520 134527510 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 58358 56816 566 18 0 58340 0 vsize: 233432 [startup+860.019 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 25410 Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 603207 0 0 0 84828 1182 0 0 25 0 1 0 832283787 239034368 56816 4294967295 134512640 134581331 3221224608 3221223472 134528344 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 58358 56816 566 18 0 58340 0 vsize: 233432 [startup+870.019 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 25410 Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 603207 0 0 0 85828 1182 0 0 25 0 1 0 832283787 239034368 56816 4294967295 134512640 134581331 3221224608 3221223472 134528261 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 58358 56816 566 18 0 58340 0 vsize: 233432 [startup+880.019 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 25410 Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 603207 0 0 0 86829 1182 0 0 25 0 1 0 832283787 239034368 56816 4294967295 134512640 134581331 3221224608 3221223520 134527513 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 58358 56816 566 18 0 58340 0 vsize: 233432 [startup+890.019 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 25410 Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 603207 0 0 0 87829 1182 0 0 25 0 1 0 832283787 239034368 56816 4294967295 134512640 134581331 3221224608 3221223552 134558847 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 58358 56816 566 18 0 58340 0 vsize: 233432 [startup+900.019 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 25410 Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 603207 0 0 0 88829 1182 0 0 25 0 1 0 832283787 239034368 56816 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 58358 56816 566 18 0 58340 0 vsize: 233432 [startup+910.019 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 25410 Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 603762 0 0 0 89827 1184 0 0 25 0 1 0 832283787 241262592 57371 4294967295 134512640 134581331 3221224608 3221223472 134528316 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 58902 57371 566 18 0 58884 0 vsize: 235608 [startup+920.018 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 25410 Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 603762 0 0 0 90827 1184 0 0 25 0 1 0 832283787 241262592 57371 4294967295 134512640 134581331 3221224608 3221223520 134527639 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 58902 57371 566 18 0 58884 0 vsize: 235608 [startup+930.018 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 25410 Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 603762 0 0 0 91828 1184 0 0 25 0 1 0 832283787 241262592 57371 4294967295 134512640 134581331 3221224608 3221223552 134559461 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 58902 57371 566 18 0 58884 0 vsize: 235608 [startup+940.019 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 25410 Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 603762 0 0 0 92828 1184 0 0 25 0 1 0 832283787 241262592 57371 4294967295 134512640 134581331 3221224608 3221223552 134558859 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 58902 57371 566 18 0 58884 0 vsize: 235608 [startup+950.019 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 25410 Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 603762 0 0 0 93828 1184 0 0 25 0 1 0 832283787 241262592 57371 4294967295 134512640 134581331 3221224608 3221223520 134527442 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 58902 57371 566 18 0 58884 0 vsize: 235608 [startup+960.018 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 25410 Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 603762 0 0 0 94828 1184 0 0 25 0 1 0 832283787 241262592 57371 4294967295 134512640 134581331 3221224608 3221223520 134527445 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 58902 57371 566 18 0 58884 0 vsize: 235608 [startup+970.018 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 25410 Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 603762 0 0 0 95828 1184 0 0 25 0 1 0 832283787 241262592 57371 4294967295 134512640 134581331 3221224608 3221223536 134519803 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 58902 57371 566 18 0 58884 0 vsize: 235608 [startup+980.018 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 25410 Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 603762 0 0 0 96828 1184 0 0 25 0 1 0 832283787 241262592 57371 4294967295 134512640 134581331 3221224608 3221223536 134519947 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 58902 57371 566 18 0 58884 0 vsize: 235608 [startup+990.018 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 25410 Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 603762 0 0 0 97829 1184 0 0 25 0 1 0 832283787 241262592 57371 4294967295 134512640 134581331 3221224608 3221223520 134527416 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 58902 57371 566 18 0 58884 0 vsize: 235608 [startup+1000.02 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 25410 Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 603762 0 0 0 98829 1184 0 0 25 0 1 0 832283787 241262592 57371 4294967295 134512640 134581331 3221224608 3221223520 134527636 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 58902 57371 566 18 0 58884 0 vsize: 235608 [startup+1010.02 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 25410 Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 603762 0 0 0 99829 1184 0 0 25 0 1 0 832283787 241262592 57371 4294967295 134512640 134581331 3221224608 3221223520 134527519 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 58902 57371 566 18 0 58884 0 vsize: 235608 [startup+1020.02 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 25410 Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 603762 0 0 0 100829 1184 0 0 25 0 1 0 832283787 241262592 57371 4294967295 134512640 134581331 3221224608 3221223552 134560142 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 58902 57371 566 18 0 58884 0 vsize: 235608 [startup+1030.02 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 25410 Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 603762 0 0 0 101829 1184 0 0 25 0 1 0 832283787 241262592 57371 4294967295 134512640 134581331 3221224608 3221223472 134560421 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 58902 57371 566 18 0 58884 0 vsize: 235608 [startup+1040.02 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 25410 Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 603762 0 0 0 102829 1184 0 0 25 0 1 0 832283787 241262592 57371 4294967295 134512640 134581331 3221224608 3221223504 134517815 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 58902 57371 566 18 0 58884 0 vsize: 235608 [startup+1050.02 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 25410 Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 603762 0 0 0 103829 1184 0 0 25 0 1 0 832283787 241262592 57371 4294967295 134512640 134581331 3221224608 3221223552 134559095 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 58902 57371 566 18 0 58884 0 vsize: 235608 [startup+1060.02 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 25410 Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 603762 0 0 0 104828 1185 0 0 25 0 1 0 832283787 241262592 57371 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 58902 57371 566 18 0 58884 0 vsize: 235608 [startup+1070.02 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 25410 Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 603762 0 0 0 105828 1185 0 0 25 0 1 0 832283787 241262592 57371 4294967295 134512640 134581331 3221224608 3221223552 134560136 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 58902 57371 566 18 0 58884 0 vsize: 235608 [startup+1080.01 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 25410 Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 603762 0 0 0 106828 1185 0 0 25 0 1 0 832283787 241262592 57371 4294967295 134512640 134581331 3221224608 3221223552 134560142 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 58902 57371 566 18 0 58884 0 vsize: 235608 [startup+1090.01 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 25410 Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 603762 0 0 0 107828 1185 0 0 25 0 1 0 832283787 241262592 57371 4294967295 134512640 134581331 3221224608 3221223488 134560197 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 58902 57371 566 18 0 58884 0 vsize: 235608 [startup+1100.01 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 25410 Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 603762 0 0 0 108828 1185 0 0 25 0 1 0 832283787 241262592 57371 4294967295 134512640 134581331 3221224608 3221223520 134528079 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 58902 57371 566 18 0 58884 0 vsize: 235608 [startup+1110.01 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 25410 Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 603762 0 0 0 109828 1185 0 0 25 0 1 0 832283787 241262592 57371 4294967295 134512640 134581331 3221224608 3221223472 134528261 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 58902 57371 566 18 0 58884 0 vsize: 235608 [startup+1120.01 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 25410 Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 603762 0 0 0 110829 1185 0 0 25 0 1 0 832283787 241262592 57371 4294967295 134512640 134581331 3221224608 3221223472 134528425 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 58902 57371 566 18 0 58884 0 vsize: 235608 [startup+1130.01 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 25410 Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 603762 0 0 0 111829 1185 0 0 25 0 1 0 832283787 241262592 57371 4294967295 134512640 134581331 3221224608 3221223392 134528765 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 58902 57371 566 18 0 58884 0 vsize: 235608 [startup+1140.01 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 25410 Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 603762 0 0 0 112829 1185 0 0 25 0 1 0 832283787 241262592 57371 4294967295 134512640 134581331 3221224608 3221223440 134531745 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 58902 57371 566 18 0 58884 0 vsize: 235608 [startup+1150.01 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 25410 Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 603762 0 0 0 113829 1185 0 0 25 0 1 0 832283787 241262592 57371 4294967295 134512640 134581331 3221224608 3221223536 134519958 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 58902 57371 566 18 0 58884 0 vsize: 235608 [startup+1160.01 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 25410 Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 604070 0 0 0 114829 1186 0 0 25 0 1 0 832283787 242507776 57679 4294967295 134512640 134581331 3221224608 3221223520 134527434 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 59206 57679 566 18 0 59188 0 vsize: 236824 [startup+1170.01 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 25410 Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 604442 0 0 0 115827 1187 0 0 25 0 1 0 832283787 244142080 58051 4294967295 134512640 134581331 3221224608 3221223520 134527783 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 59605 58051 566 18 0 59587 0 vsize: 238420 [startup+1180.01 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 25410 Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 604442 0 0 0 116827 1187 0 0 25 0 1 0 832283787 244142080 58051 4294967295 134512640 134581331 3221224608 3221223552 134558828 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 59605 58051 566 18 0 59587 0 vsize: 238420 [startup+1190.01 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 25410 Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 604442 0 0 0 117828 1187 0 0 25 0 1 0 832283787 244142080 58051 4294967295 134512640 134581331 3221224608 3221223520 134527442 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 59605 58051 566 18 0 59587 0 vsize: 238420 [startup+1200.01 s] Raw data (loadavg): 1.00 1.00 0.99 2/54 25410 Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 604442 0 0 0 118828 1187 0 0 25 0 1 0 832283787 244142080 58051 4294967295 134512640 134581331 3221224608 3221223520 134527459 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 59605 58051 566 18 0 59587 0 vsize: 238420 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.12 s] Raw data (loadavg): 1.00 1.00 0.99 1/54 25410 Raw data (stat): 25410 (Pueblo) Z 25409 23310 23309 0 -1 1036 604442 0 0 0 118828 1198 0 0 25 0 1 0 832283787 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.12 CPU time (s): 1200.27 CPU user time (s): 1188.28 CPU system time (s): 11.9822 CPU usage (%): 100.012 Max. virtual memory (Kb): 238420 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####