Name | normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-air04.opb |
MD5SUM | 26490113618ae9605b5ebe6370b5910b |
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 | 8904 |
Biggest coefficient in the objective function | 2258 |
Number of bits for the biggest coefficient in the objective function | 12 |
Sum of the numbers in the objective function | 5135151 |
Number of bits of the sum of numbers in the objective function | 23 |
Biggest number in a constraint | 2258 |
Number of bits of the biggest number in a constraint | 12 |
Biggest sum of numbers in a constraint | 5135151 |
Number of bits of the biggest sum of numbers | 23 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.120981 |
Number of variables | 8904 |
Total number of constraints | 9727 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 9727 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 368 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-05-21 20:42:19 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=18168 boxname=wulflinc31 idbench=1398 idsolver=7 numberseed=0 MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911 /oldhome/oroussel/solvers/Pueblo MD5SUM BENCH: 26490113618ae9605b5ebe6370b5910b /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-air04.opb REAL COMMAND: Pueblo /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-air04.opb IDLAUNCH: 18168 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.153 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.153 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 911716 kB Buffers: 15172 kB Cached: 84504 kB SwapCached: 964 kB Active: 55888 kB Inactive: 45876 kB HighTotal: 131008 kB HighFree: 75600 kB LowTotal: 903652 kB LowFree: 836116 kB SwapTotal: 2097892 kB SwapFree: 2095964 kB Dirty: 24 kB Writeback: 0 kB Mapped: 5092 kB Slab: 15344 kB Committed_AS: 63860 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-21 21:02:22 (client local time) WITH STATUS 0 IN 1200.28 SECONDS stats: 18168 7 1200.28 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.84 0.95 0.96 2/55 16067 Raw data (stat): 16067 (runsolver) R 16066 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 807260540 1056768 100 4294967295 134512640 135381576 3221221680 3221216904 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0 Raw data (statm): 258 100 215 215 0 43 0 vsize: 1032 [startup+10.0003 s] Raw data (loadavg): 0.87 0.95 0.96 2/55 16067 Raw data (stat): 16067 (Pueblo) R 16066 7876 7672 0 -1 0 2100 0 0 0 989 7 0 0 25 0 1 0 807260540 14536704 2077 4294967295 134512640 134581331 3221221792 3221220784 134526640 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3549 2077 566 18 0 3531 0 vsize: 14196 [startup+20.0007 s] Raw data (loadavg): 0.89 0.95 0.96 2/55 16067 Raw data (stat): 16067 (Pueblo) R 16066 7876 7672 0 -1 0 2213 0 0 0 1989 8 0 0 25 0 1 0 807260540 14925824 2190 4294967295 134512640 134581331 3221221792 3221220704 134519003 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3644 2190 566 18 0 3626 0 vsize: 14576 [startup+30.0009 s] Raw data (loadavg): 0.90 0.95 0.96 2/55 16067 Raw data (stat): 16067 (Pueblo) R 16066 7876 7672 0 -1 0 2536 0 0 0 2988 9 0 0 25 0 1 0 807260540 16269312 2513 4294967295 134512640 134581331 3221221792 3221220512 134524447 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3972 2513 566 18 0 3954 0 vsize: 15888 [startup+40.0019 s] Raw data (loadavg): 0.92 0.95 0.96 2/55 16067 Raw data (stat): 16067 (Pueblo) R 16066 7876 7672 0 -1 0 2946 0 0 0 3987 10 0 0 25 0 1 0 807260540 18034688 2923 4294967295 134512640 134581331 3221221792 3221220704 134519017 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4403 2923 566 18 0 4385 0 vsize: 17612 [startup+50.0026 s] Raw data (loadavg): 0.93 0.96 0.96 2/55 16067 Raw data (stat): 16067 (Pueblo) R 16066 7876 7672 0 -1 0 3095 0 0 0 4987 10 0 0 25 0 1 0 807260540 18534400 3072 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4525 3072 566 18 0 4507 0 vsize: 18100 [startup+60.003 s] Raw data (loadavg): 0.94 0.96 0.96 2/55 16067 Raw data (stat): 16067 (Pueblo) R 16066 7876 7672 0 -1 0 3327 0 0 0 5987 10 0 0 25 0 1 0 807260540 19509248 3304 4294967295 134512640 134581331 3221221792 3221220784 134561059 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4763 3304 566 18 0 4745 0 vsize: 19052 [startup+70.0037 s] Raw data (loadavg): 0.95 0.96 0.96 2/55 16067 Raw data (stat): 16067 (Pueblo) R 16066 7876 7672 0 -1 0 3562 0 0 0 6986 11 0 0 25 0 1 0 807260540 20443136 3539 4294967295 134512640 134581331 3221221792 3221220736 134516859 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4991 3539 566 18 0 4973 0 vsize: 19964 [startup+80.0043 s] Raw data (loadavg): 0.96 0.96 0.96 2/55 16067 Raw data (stat): 16067 (Pueblo) R 16066 7876 7672 0 -1 0 3767 0 0 0 7986 11 0 0 25 0 1 0 807260540 21385216 3744 4294967295 134512640 134581331 3221221792 3221220512 134522568 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5221 3744 566 18 0 5203 0 vsize: 20884 [startup+90.0046 s] Raw data (loadavg): 0.96 0.96 0.96 2/55 16067 Raw data (stat): 16067 (Pueblo) R 16066 7876 7672 0 -1 0 3977 0 0 0 8986 12 0 0 25 0 1 0 807260540 22216704 3954 4294967295 134512640 134581331 3221221792 3221220512 134522402 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5424 3954 566 18 0 5406 0 vsize: 21696 [startup+100.004 s] Raw data (loadavg): 0.97 0.96 0.96 2/55 16067 Raw data (stat): 16067 (Pueblo) R 16066 7876 7672 0 -1 0 4163 0 0 0 9986 12 0 0 25 0 1 0 807260540 23015424 4140 4294967295 134512640 134581331 3221221792 3221220704 134527432 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5619 4140 566 18 0 5601 0 vsize: 22476 [startup+110.005 s] Raw data (loadavg): 0.97 0.96 0.96 2/55 16067 Raw data (stat): 16067 (Pueblo) R 16066 7876 7672 0 -1 0 4336 0 0 0 10985 13 0 0 25 0 1 0 807260540 23707648 4313 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5788 4313 566 18 0 5770 0 vsize: 23152 [startup+120.007 s] Raw data (loadavg): 0.98 0.96 0.96 2/55 16067 Raw data (stat): 16067 (Pueblo) R 16066 7876 7672 0 -1 0 4597 0 0 0 11985 14 0 0 25 0 1 0 807260540 24821760 4574 4294967295 134512640 134581331 3221221792 3221220784 134561145 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6060 4574 566 18 0 6042 0 vsize: 24240 [startup+130.006 s] Raw data (loadavg): 0.98 0.96 0.96 2/55 16067 Raw data (stat): 16067 (Pueblo) R 16066 7876 7672 0 -1 0 4718 0 0 0 12985 14 0 0 25 0 1 0 807260540 25231360 4695 4294967295 134512640 134581331 3221221792 3221220688 134517851 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6160 4695 566 18 0 6142 0 vsize: 24640 [startup+140.007 s] Raw data (loadavg): 0.98 0.96 0.96 2/55 16067 Raw data (stat): 16067 (Pueblo) R 16066 7876 7672 0 -1 0 4718 0 0 0 13985 14 0 0 25 0 1 0 807260540 25231360 4695 4294967295 134512640 134581331 3221221792 3221220704 134519017 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6160 4695 566 18 0 6142 0 vsize: 24640 [startup+150.008 s] Raw data (loadavg): 0.98 0.97 0.96 2/55 16067 Raw data (stat): 16067 (Pueblo) R 16066 7876 7672 0 -1 0 4718 0 0 0 14985 14 0 0 25 0 1 0 807260540 25231360 4695 4294967295 134512640 134581331 3221221792 3221220688 134517878 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6160 4695 566 18 0 6142 0 vsize: 24640 [startup+160.008 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 16067 Raw data (stat): 16067 (Pueblo) R 16066 7876 7672 0 -1 0 4718 0 0 0 15985 14 0 0 25 0 1 0 807260540 25231360 4695 4294967295 134512640 134581331 3221221792 3221220688 134517875 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6160 4695 566 18 0 6142 0 vsize: 24640 [startup+170.008 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 16067 Raw data (stat): 16067 (Pueblo) R 16066 7876 7672 0 -1 0 4718 0 0 0 16985 14 0 0 25 0 1 0 807260540 25231360 4695 4294967295 134512640 134581331 3221221792 3221220704 134519017 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6160 4695 566 18 0 6142 0 vsize: 24640 [startup+180.008 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 16067 Raw data (stat): 16067 (Pueblo) R 16066 7876 7672 0 -1 0 4945 0 0 0 17985 15 0 0 25 0 1 0 807260540 26189824 4922 4294967295 134512640 134581331 3221221792 3221220704 134519014 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6394 4922 566 18 0 6376 0 vsize: 25576 [startup+190.009 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 16067 Raw data (stat): 16067 (Pueblo) R 16066 7876 7672 0 -1 0 5172 0 0 0 18984 15 0 0 25 0 1 0 807260540 27103232 5149 4294967295 134512640 134581331 3221221792 3221220512 134522588 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6617 5149 566 18 0 6599 0 vsize: 26468 [startup+200.009 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 16067 Raw data (stat): 16067 (Pueblo) R 16066 7876 7672 0 -1 0 5324 0 0 0 19984 16 0 0 25 0 1 0 807260540 27783168 5301 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6783 5301 566 18 0 6765 0 vsize: 27132 [startup+210.009 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 16067 Raw data (stat): 16067 (Pueblo) R 16066 7876 7672 0 -1 0 5324 0 0 0 20985 16 0 0 25 0 1 0 807260540 27783168 5301 4294967295 134512640 134581331 3221221792 3221220704 134519025 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6783 5301 566 18 0 6765 0 vsize: 27132 [startup+220.01 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 16067 Raw data (stat): 16067 (Pueblo) R 16066 7876 7672 0 -1 0 5324 0 0 0 21985 16 0 0 25 0 1 0 807260540 27783168 5301 4294967295 134512640 134581331 3221221792 3221220704 134527432 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6783 5301 566 18 0 6765 0 vsize: 27132 [startup+230.009 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 16067 Raw data (stat): 16067 (Pueblo) R 16066 7876 7672 0 -1 0 5324 0 0 0 22985 16 0 0 25 0 1 0 807260540 27783168 5301 4294967295 134512640 134581331 3221221792 3221220512 134522634 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6783 5301 566 18 0 6765 0 vsize: 27132 [startup+240.01 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 16067 Raw data (stat): 16067 (Pueblo) R 16066 7876 7672 0 -1 0 5536 0 0 0 23985 16 0 0 25 0 1 0 807260540 28643328 5513 4294967295 134512640 134581331 3221221792 3221220704 134527687 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6993 5513 566 18 0 6975 0 vsize: 27972 [startup+250.011 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 16067 Raw data (stat): 16067 (Pueblo) R 16066 7876 7672 0 -1 0 5694 0 0 0 24984 17 0 0 25 0 1 0 807260540 29282304 5671 4294967295 134512640 134581331 3221221792 3221220704 134518872 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7149 5671 566 18 0 7131 0 vsize: 28596 [startup+260.01 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 16067 Raw data (stat): 16067 (Pueblo) R 16066 7876 7672 0 -1 0 5973 0 0 0 25984 17 0 0 25 0 1 0 807260540 30396416 5950 4294967295 134512640 134581331 3221221792 3221220672 134520246 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7421 5950 566 18 0 7403 0 vsize: 29684 [startup+270.01 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 16067 Raw data (stat): 16067 (Pueblo) R 16066 7876 7672 0 -1 0 6254 0 0 0 26982 19 0 0 25 0 1 0 807260540 31559680 6223 4294967295 134512640 134581331 3221221792 3221220512 134524447 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7705 6223 566 18 0 7687 0 vsize: 30820 [startup+280.01 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 16067 Raw data (stat): 16067 (Pueblo) R 16066 7876 7672 0 -1 0 6463 0 0 0 27982 19 0 0 25 0 1 0 807260540 32296960 6419 4294967295 134512640 134581331 3221221792 3221220704 134519040 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7885 6419 566 18 0 7867 0 vsize: 31540 [startup+290.011 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 16067 Raw data (stat): 16067 (Pueblo) R 16066 7876 7672 0 -1 0 6693 0 0 0 28982 20 0 0 25 0 1 0 807260540 33157120 6628 4294967295 134512640 134581331 3221221792 3221220772 134526382 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8095 6628 566 18 0 8077 0 vsize: 32380 [startup+300.011 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 16067 Raw data (stat): 16067 (Pueblo) R 16066 7876 7672 0 -1 0 6809 0 0 0 29982 20 0 0 25 0 1 0 807260540 33628160 6731 4294967295 134512640 134581331 3221221792 3221220512 134522586 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8210 6731 566 18 0 8192 0 vsize: 32840 [startup+310.011 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 16067 Raw data (stat): 16067 (Pueblo) R 16066 7876 7672 0 -1 0 6963 0 0 0 30981 20 0 0 25 0 1 0 807260540 34197504 6883 4294967295 134512640 134581331 3221221792 3221220772 134526342 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8349 6883 566 18 0 8331 0 vsize: 33396 [startup+320.012 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 16067 Raw data (stat): 16067 (Pueblo) R 16066 7876 7672 0 -1 0 7170 0 0 0 31981 21 0 0 25 0 1 0 807260540 35086336 7074 4294967295 134512640 134581331 3221221792 3221220704 134519017 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8566 7074 566 18 0 8548 0 vsize: 34264 [startup+330.012 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 16067 Raw data (stat): 16067 (Pueblo) R 16066 7876 7672 0 -1 0 7435 0 0 0 32981 21 0 0 25 0 1 0 807260540 36061184 7335 4294967295 134512640 134581331 3221221792 3221220704 134527519 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8804 7335 566 18 0 8786 0 vsize: 35216 [startup+340.013 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 16067 Raw data (stat): 16067 (Pueblo) R 16066 7876 7672 0 -1 0 7614 0 0 0 33981 22 0 0 25 0 1 0 807260540 36823040 7514 4294967295 134512640 134581331 3221221792 3221220704 134527355 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8990 7514 566 18 0 8972 0 vsize: 35960 [startup+350.013 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 16067 Raw data (stat): 16067 (Pueblo) R 16066 7876 7672 0 -1 0 7622 0 0 0 34981 22 0 0 25 0 1 0 807260540 36823040 7522 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8990 7522 566 18 0 8972 0 vsize: 35960 [startup+360.013 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 16067 Raw data (stat): 16067 (Pueblo) R 16066 7876 7672 0 -1 0 7622 0 0 0 35981 22 0 0 25 0 1 0 807260540 36823040 7522 4294967295 134512640 134581331 3221221792 3221220736 134560136 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8990 7522 566 18 0 8972 0 vsize: 35960 [startup+370.014 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 16067 Raw data (stat): 16067 (Pueblo) R 16066 7876 7672 0 -1 0 7622 0 0 0 36981 22 0 0 25 0 1 0 807260540 36823040 7522 4294967295 134512640 134581331 3221221792 3221220512 134522634 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8990 7522 566 18 0 8972 0 vsize: 35960 [startup+380.013 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 16067 Raw data (stat): 16067 (Pueblo) R 16066 7876 7672 0 -1 0 7622 0 0 0 37982 22 0 0 25 0 1 0 807260540 36823040 7522 4294967295 134512640 134581331 3221221792 3221220512 134522613 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8990 7522 566 18 0 8972 0 vsize: 35960 [startup+390.014 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 16067 Raw data (stat): 16067 (Pueblo) R 16066 7876 7672 0 -1 0 7622 0 0 0 38982 22 0 0 25 0 1 0 807260540 36823040 7522 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8990 7522 566 18 0 8972 0 vsize: 35960 [startup+400.014 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 16067 Raw data (stat): 16067 (Pueblo) R 16066 7876 7672 0 -1 0 7622 0 0 0 39982 22 0 0 25 0 1 0 807260540 36823040 7522 4294967295 134512640 134581331 3221221792 3221220656 134528358 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8990 7522 566 18 0 8972 0 vsize: 35960 [startup+410.014 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 16067 Raw data (stat): 16067 (Pueblo) R 16066 7876 7672 0 -1 0 7622 0 0 0 40982 22 0 0 25 0 1 0 807260540 36823040 7522 4294967295 134512640 134581331 3221221792 3221220704 134527432 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8990 7522 566 18 0 8972 0 vsize: 35960 [startup+420.015 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 16067 Raw data (stat): 16067 (Pueblo) R 16066 7876 7672 0 -1 0 7622 0 0 0 41982 22 0 0 25 0 1 0 807260540 36823040 7522 4294967295 134512640 134581331 3221221792 3221220704 134527703 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8990 7522 566 18 0 8972 0 vsize: 35960 [startup+430.015 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 16067 Raw data (stat): 16067 (Pueblo) R 16066 7876 7672 0 -1 0 7623 0 0 0 42982 22 0 0 25 0 1 0 807260540 36823040 7523 4294967295 134512640 134581331 3221221792 3221220784 134561087 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8990 7523 566 18 0 8972 0 vsize: 35960 [startup+440.016 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 16067 Raw data (stat): 16067 (Pueblo) R 16066 7876 7672 0 -1 0 7623 0 0 0 43983 22 0 0 25 0 1 0 807260540 36823040 7523 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8990 7523 566 18 0 8972 0 vsize: 35960 [startup+450.016 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 16067 Raw data (stat): 16067 (Pueblo) R 16066 7876 7672 0 -1 0 7623 0 0 0 44983 22 0 0 25 0 1 0 807260540 36823040 7523 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8990 7523 566 18 0 8972 0 vsize: 35960 [startup+460.016 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 16067 Raw data (stat): 16067 (Pueblo) R 16066 7876 7672 0 -1 0 7623 0 0 0 45983 22 0 0 25 0 1 0 807260540 36823040 7523 4294967295 134512640 134581331 3221221792 3221220704 134519014 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8990 7523 566 18 0 8972 0 vsize: 35960 [startup+470.017 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 16067 Raw data (stat): 16067 (Pueblo) R 16066 7876 7672 0 -1 0 7623 0 0 0 46983 22 0 0 25 0 1 0 807260540 36823040 7523 4294967295 134512640 134581331 3221221792 3221220512 134522611 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8990 7523 566 18 0 8972 0 vsize: 35960 [startup+480.017 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 16067 Raw data (stat): 16067 (Pueblo) R 16066 7876 7672 0 -1 0 7623 0 0 0 47983 22 0 0 25 0 1 0 807260540 36823040 7523 4294967295 134512640 134581331 3221221792 3221220704 134519040 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8990 7523 566 18 0 8972 0 vsize: 35960 [startup+490.018 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 16067 Raw data (stat): 16067 (Pueblo) R 16066 7876 7672 0 -1 0 7623 0 0 0 48983 22 0 0 25 0 1 0 807260540 36823040 7523 4294967295 134512640 134581331 3221221792 3221220656 134528323 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8990 7523 566 18 0 8972 0 vsize: 35960 [startup+500.019 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 16067 Raw data (stat): 16067 (Pueblo) R 16066 7876 7672 0 -1 0 7623 0 0 0 49984 22 0 0 25 0 1 0 807260540 36823040 7523 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8990 7523 566 18 0 8972 0 vsize: 35960 [startup+510.019 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 16067 Raw data (stat): 16067 (Pueblo) R 16066 7876 7672 0 -1 0 7623 0 0 0 50984 22 0 0 25 0 1 0 807260540 36823040 7523 4294967295 134512640 134581331 3221221792 3221220512 134524456 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8990 7523 566 18 0 8972 0 vsize: 35960 [startup+520.019 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 16067 Raw data (stat): 16067 (Pueblo) R 16066 7876 7672 0 -1 0 7623 0 0 0 51984 22 0 0 25 0 1 0 807260540 36823040 7523 4294967295 134512640 134581331 3221221792 3221220704 134519017 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8990 7523 566 18 0 8972 0 vsize: 35960 [startup+530.018 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 16067 Raw data (stat): 16067 (Pueblo) R 16066 7876 7672 0 -1 0 7623 0 0 0 52984 22 0 0 25 0 1 0 807260540 36823040 7523 4294967295 134512640 134581331 3221221792 3221220720 134519950 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8990 7523 566 18 0 8972 0 vsize: 35960 [startup+540.02 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 16067 Raw data (stat): 16067 (Pueblo) R 16066 7876 7672 0 -1 0 7623 0 0 0 53984 22 0 0 25 0 1 0 807260540 36823040 7523 4294967295 134512640 134581331 3221221792 3221220512 134522568 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8990 7523 566 18 0 8972 0 vsize: 35960 [startup+550.02 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 16067 Raw data (stat): 16067 (Pueblo) R 16066 7876 7672 0 -1 0 7623 0 0 0 54985 22 0 0 25 0 1 0 807260540 36823040 7523 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8990 7523 566 18 0 8972 0 vsize: 35960 [startup+560.02 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 16067 Raw data (stat): 16067 (Pueblo) R 16066 7876 7672 0 -1 0 7623 0 0 0 55985 22 0 0 25 0 1 0 807260540 36823040 7523 4294967295 134512640 134581331 3221221792 3221220428 1075289104 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8990 7523 566 18 0 8972 0 vsize: 35960 [startup+570.021 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 16067 Raw data (stat): 16067 (Pueblo) R 16066 7876 7672 0 -1 0 7623 0 0 0 56985 22 0 0 25 0 1 0 807260540 36823040 7523 4294967295 134512640 134581331 3221221792 3221220720 134519924 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8990 7523 566 18 0 8972 0 vsize: 35960 [startup+580.021 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 16067 Raw data (stat): 16067 (Pueblo) R 16066 7876 7672 0 -1 0 7623 0 0 0 57985 22 0 0 25 0 1 0 807260540 36823040 7523 4294967295 134512640 134581331 3221221792 3221220704 134527416 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8990 7523 566 18 0 8972 0 vsize: 35960 [startup+590.022 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 16067 Raw data (stat): 16067 (Pueblo) R 16066 7876 7672 0 -1 0 7623 0 0 0 58985 22 0 0 25 0 1 0 807260540 36823040 7523 4294967295 134512640 134581331 3221221792 3221220688 134517859 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8990 7523 566 18 0 8972 0 vsize: 35960 [startup+600.022 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 16067 Raw data (stat): 16067 (Pueblo) R 16066 7876 7672 0 -1 0 7623 0 0 0 59986 22 0 0 25 0 1 0 807260540 36823040 7523 4294967295 134512640 134581331 3221221792 3221220704 134527692 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8990 7523 566 18 0 8972 0 vsize: 35960 [startup+610.022 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 16067 Raw data (stat): 16067 (Pueblo) R 16066 7876 7672 0 -1 0 7623 0 0 0 60986 22 0 0 25 0 1 0 807260540 36823040 7523 4294967295 134512640 134581331 3221221792 3221220512 134522613 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8990 7523 566 18 0 8972 0 vsize: 35960 [startup+620.023 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 16067 Raw data (stat): 16067 (Pueblo) R 16066 7876 7672 0 -1 0 7624 0 0 0 61986 22 0 0 25 0 1 0 807260540 36823040 7524 4294967295 134512640 134581331 3221221792 3221220512 134522613 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8990 7524 566 18 0 8972 0 vsize: 35960 [startup+630.023 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 16067 Raw data (stat): 16067 (Pueblo) R 16066 7876 7672 0 -1 0 7624 0 0 0 62986 22 0 0 25 0 1 0 807260540 36823040 7524 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8990 7524 566 18 0 8972 0 vsize: 35960 [startup+640.024 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 16067 Raw data (stat): 16067 (Pueblo) R 16066 7876 7672 0 -1 0 7624 0 0 0 63986 22 0 0 25 0 1 0 807260540 36823040 7524 4294967295 134512640 134581331 3221221792 3221220512 134522624 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8990 7524 566 18 0 8972 0 vsize: 35960 [startup+650.024 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 16067 Raw data (stat): 16067 (Pueblo) R 16066 7876 7672 0 -1 0 7624 0 0 0 64986 22 0 0 25 0 1 0 807260540 36823040 7524 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8990 7524 566 18 0 8972 0 vsize: 35960 [startup+660.024 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 16067 Raw data (stat): 16067 (Pueblo) R 16066 7876 7672 0 -1 0 7624 0 0 0 65987 22 0 0 25 0 1 0 807260540 36823040 7524 4294967295 134512640 134581331 3221221792 3221220704 134519017 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8990 7524 566 18 0 8972 0 vsize: 35960 [startup+670.025 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 16067 Raw data (stat): 16067 (Pueblo) R 16066 7876 7672 0 -1 0 7624 0 0 0 66987 22 0 0 25 0 1 0 807260540 36823040 7524 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8990 7524 566 18 0 8972 0 vsize: 35960 [startup+680.024 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 16067 Raw data (stat): 16067 (Pueblo) R 16066 7876 7672 0 -1 0 7624 0 0 0 67987 22 0 0 25 0 1 0 807260540 36823040 7524 4294967295 134512640 134581331 3221221792 3221220688 134517897 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8990 7524 566 18 0 8972 0 vsize: 35960 [startup+690.026 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 16067 Raw data (stat): 16067 (Pueblo) R 16066 7876 7672 0 -1 0 7624 0 0 0 68987 22 0 0 25 0 1 0 807260540 36823040 7524 4294967295 134512640 134581331 3221221792 3221220688 134517875 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8990 7524 566 18 0 8972 0 vsize: 35960 [startup+700.025 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 16067 Raw data (stat): 16067 (Pueblo) R 16066 7876 7672 0 -1 0 7624 0 0 0 69987 22 0 0 25 0 1 0 807260540 36823040 7524 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8990 7524 566 18 0 8972 0 vsize: 35960 [startup+710.025 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 16067 Raw data (stat): 16067 (Pueblo) R 16066 7876 7672 0 -1 0 7624 0 0 0 70987 22 0 0 25 0 1 0 807260540 36823040 7524 4294967295 134512640 134581331 3221221792 3221220704 134519017 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8990 7524 566 18 0 8972 0 vsize: 35960 [startup+720.026 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 16067 Raw data (stat): 16067 (Pueblo) R 16066 7876 7672 0 -1 0 7839 0 0 0 71987 23 0 0 25 0 1 0 807260540 37781504 7739 4294967295 134512640 134581331 3221221792 3221220704 134519017 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9224 7739 566 18 0 9206 0 vsize: 36896 [startup+730.026 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 16067 Raw data (stat): 16067 (Pueblo) R 16066 7876 7672 0 -1 0 8105 0 0 0 72986 23 0 0 25 0 1 0 807260540 38801408 8005 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9473 8005 566 18 0 9455 0 vsize: 37892 [startup+740.027 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 16067 Raw data (stat): 16067 (Pueblo) R 16066 7876 7672 0 -1 0 8393 0 0 0 73986 24 0 0 25 0 1 0 807260540 40022016 8292 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9771 8292 566 18 0 9753 0 vsize: 39084 [startup+750.027 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 16067 Raw data (stat): 16067 (Pueblo) R 16066 7876 7672 0 -1 0 8649 0 0 0 74986 25 0 0 25 0 1 0 807260540 41013248 8548 4294967295 134512640 134581331 3221221792 3221220512 134522606 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10013 8548 566 18 0 9995 0 vsize: 40052 [startup+760.027 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 16067 Raw data (stat): 16067 (Pueblo) R 16066 7876 7672 0 -1 0 8897 0 0 0 75985 25 0 0 25 0 1 0 807260540 42049536 8790 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10266 8790 566 18 0 10248 0 vsize: 41064 [startup+770.028 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 16067 Raw data (stat): 16067 (Pueblo) R 16066 7876 7672 0 -1 0 9079 0 0 0 76985 25 0 0 25 0 1 0 807260540 42852352 8972 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10462 8972 566 18 0 10444 0 vsize: 41848 [startup+780.028 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 16067 Raw data (stat): 16067 (Pueblo) R 16066 7876 7672 0 -1 0 9355 0 0 0 77985 26 0 0 25 0 1 0 807260540 43888640 9245 4294967295 134512640 134581331 3221221792 3221220688 134517878 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10715 9245 566 18 0 10697 0 vsize: 42860 [startup+790.029 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 16067 Raw data (stat): 16067 (Pueblo) R 16066 7876 7672 0 -1 0 9604 0 0 0 78985 26 0 0 25 0 1 0 807260540 45019136 9494 4294967295 134512640 134581331 3221221792 3221220688 134517902 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10991 9494 566 18 0 10973 0 vsize: 43964 [startup+800.029 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 16067 Raw data (stat): 16067 (Pueblo) R 16066 7876 7672 0 -1 0 9737 0 0 0 79985 27 0 0 25 0 1 0 807260540 45465600 9626 4294967295 134512640 134581331 3221221792 3221220704 134519017 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 11100 9626 566 18 0 11082 0 vsize: 44400 [startup+810.029 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 16067 Raw data (stat): 16067 (Pueblo) R 16066 7876 7672 0 -1 0 9963 0 0 0 80984 27 0 0 25 0 1 0 807260540 46350336 9852 4294967295 134512640 134581331 3221221792 3221220688 134517897 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 11316 9852 566 18 0 11298 0 vsize: 45264 [startup+820.03 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 16067 Raw data (stat): 16067 (Pueblo) R 16066 7876 7672 0 -1 0 10250 0 0 0 81984 27 0 0 25 0 1 0 807260540 47628288 10139 4294967295 134512640 134581331 3221221792 3221220688 134517873 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 11628 10139 566 18 0 11610 0 vsize: 46512 [startup+830.029 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 16067 Raw data (stat): 16067 (Pueblo) R 16066 7876 7672 0 -1 0 10385 0 0 0 82984 28 0 0 25 0 1 0 807260540 48119808 10259 4294967295 134512640 134581331 3221221792 3221220704 134527432 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 11748 10259 566 18 0 11730 0 vsize: 46992 [startup+840.03 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 16067 Raw data (stat): 16067 (Pueblo) R 16066 7876 7672 0 -1 0 10704 0 0 0 83984 28 0 0 25 0 1 0 807260540 49410048 10578 4294967295 134512640 134581331 3221221792 3221220688 134517859 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 12063 10578 566 18 0 12045 0 vsize: 48252 [startup+850.031 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 16067 Raw data (stat): 16067 (Pueblo) R 16066 7876 7672 0 -1 0 10915 0 0 0 84984 28 0 0 25 0 1 0 807260540 50163712 10789 4294967295 134512640 134581331 3221221792 3221220704 134527459 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 12247 10789 566 18 0 12229 0 vsize: 48988 [startup+860.03 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 16067 Raw data (stat): 16067 (Pueblo) R 16066 7876 7672 0 -1 0 11093 0 0 0 85984 28 0 0 25 0 1 0 807260540 50892800 10967 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 12425 10967 566 18 0 12407 0 vsize: 49700 [startup+870.03 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 16067 Raw data (stat): 16067 (Pueblo) R 16066 7876 7672 0 -1 0 11288 0 0 0 86984 29 0 0 25 0 1 0 807260540 51830784 11162 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 12654 11162 566 18 0 12636 0 vsize: 50616 [startup+880.03 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 16067 Raw data (stat): 16067 (Pueblo) R 16066 7876 7672 0 -1 0 11433 0 0 0 87983 29 0 0 25 0 1 0 807260540 52363264 11307 4294967295 134512640 134581331 3221221792 3221220512 134523183 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 12784 11307 566 18 0 12766 0 vsize: 51136 [startup+890.031 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 16067 Raw data (stat): 16067 (Pueblo) R 16066 7876 7672 0 -1 0 11641 0 0 0 88983 29 0 0 25 0 1 0 807260540 53157888 11510 4294967295 134512640 134581331 3221221792 3221220688 134517859 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 12978 11510 566 18 0 12960 0 vsize: 51912 [startup+900.031 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 16067 Raw data (stat): 16067 (Pueblo) R 16066 7876 7672 0 -1 0 11993 0 0 0 89982 31 0 0 25 0 1 0 807260540 54599680 11862 4294967295 134512640 134581331 3221221792 3221220704 134519040 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 13330 11862 566 18 0 13312 0 vsize: 53320 [startup+910.032 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 16067 Raw data (stat): 16067 (Pueblo) R 16066 7876 7672 0 -1 0 12142 0 0 0 90982 31 0 0 25 0 1 0 807260540 55218176 12011 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 13481 12011 566 18 0 13463 0 vsize: 53924 [startup+920.033 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 16067 Raw data (stat): 16067 (Pueblo) R 16066 7876 7672 0 -1 0 12274 0 0 0 91982 32 0 0 25 0 1 0 807260540 55775232 12143 4294967295 134512640 134581331 3221221792 3221220704 134519017 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 13617 12143 566 18 0 13599 0 vsize: 54468 [startup+930.033 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 16067 Raw data (stat): 16067 (Pueblo) R 16066 7876 7672 0 -1 0 12377 0 0 0 92982 32 0 0 25 0 1 0 807260540 56098816 12240 4294967295 134512640 134581331 3221221792 3221220688 134517873 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 13696 12240 566 18 0 13678 0 vsize: 54784 [startup+940.034 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 16067 Raw data (stat): 16067 (Pueblo) R 16066 7876 7672 0 -1 0 12516 0 0 0 93982 32 0 0 25 0 1 0 807260540 56705024 12379 4294967295 134512640 134581331 3221221792 3221220688 134517888 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 13844 12379 566 18 0 13826 0 vsize: 55376 [startup+950.035 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 16067 Raw data (stat): 16067 (Pueblo) R 16066 7876 7672 0 -1 0 12695 0 0 0 94982 32 0 0 25 0 1 0 807260540 57450496 12558 4294967295 134512640 134581331 3221221792 3221220688 134517873 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14026 12558 566 18 0 14008 0 vsize: 56104 [startup+960.035 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 16067 Raw data (stat): 16067 (Pueblo) R 16066 7876 7672 0 -1 0 12906 0 0 0 95981 33 0 0 25 0 1 0 807260540 58384384 12765 4294967295 134512640 134581331 3221221792 3221220704 134519040 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14254 12765 566 18 0 14236 0 vsize: 57016 [startup+970.036 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 16067 Raw data (stat): 16067 (Pueblo) R 16066 7876 7672 0 -1 0 12992 0 0 0 96981 33 0 0 25 0 1 0 807260540 58654720 12851 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14320 12851 566 18 0 14302 0 vsize: 57280 [startup+980.036 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 16067 Raw data (stat): 16067 (Pueblo) R 16066 7876 7672 0 -1 0 13099 0 0 0 97981 34 0 0 25 0 1 0 807260540 59170816 12958 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14446 12958 566 18 0 14428 0 vsize: 57784 [startup+990.037 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 16067 Raw data (stat): 16067 (Pueblo) R 16066 7876 7672 0 -1 0 13259 0 0 0 98981 34 0 0 25 0 1 0 807260540 59764736 13118 4294967295 134512640 134581331 3221221792 3221220704 134519017 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14591 13118 566 18 0 14573 0 vsize: 58364 [startup+1000.04 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 16067 Raw data (stat): 16067 (Pueblo) R 16066 7876 7672 0 -1 0 13370 0 0 0 99980 35 0 0 25 0 1 0 807260540 60198912 13229 4294967295 134512640 134581331 3221221792 3221220704 134519017 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14697 13229 566 18 0 14679 0 vsize: 58788 [startup+1010.04 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 16067 Raw data (stat): 16067 (Pueblo) R 16066 7876 7672 0 -1 0 13496 0 0 0 100980 35 0 0 25 0 1 0 807260540 60735488 13355 4294967295 134512640 134581331 3221221792 3221220704 134519003 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14828 13355 566 18 0 14810 0 vsize: 59312 [startup+1020.04 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 16067 Raw data (stat): 16067 (Pueblo) R 16066 7876 7672 0 -1 0 13782 0 0 0 101979 36 0 0 25 0 1 0 807260540 61915136 13641 4294967295 134512640 134581331 3221221792 3221220688 134517862 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 15116 13641 566 18 0 15098 0 vsize: 60464 [startup+1030.04 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 16067 Raw data (stat): 16067 (Pueblo) R 16066 7876 7672 0 -1 0 13782 0 0 0 102979 36 0 0 25 0 1 0 807260540 61906944 13641 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 15114 13641 566 18 0 15096 0 vsize: 60456 [startup+1040.04 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 16067 Raw data (stat): 16067 (Pueblo) R 16066 7876 7672 0 -1 0 13984 0 0 0 103979 36 0 0 25 0 1 0 807260540 62795776 13843 4294967295 134512640 134581331 3221221792 3221220704 134519017 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 15331 13843 566 18 0 15313 0 vsize: 61324 [startup+1050.04 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 16067 Raw data (stat): 16067 (Pueblo) R 16066 7876 7672 0 -1 0 14036 0 0 0 104980 36 0 0 25 0 1 0 807260540 62869504 13893 4294967295 134512640 134581331 3221221792 3221220688 134517868 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 15349 13893 566 18 0 15331 0 vsize: 61396 [startup+1060.04 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 16067 Raw data (stat): 16067 (Pueblo) R 16066 7876 7672 0 -1 0 14114 0 0 0 105979 37 0 0 25 0 1 0 807260540 63225856 13971 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 15436 13971 566 18 0 15418 0 vsize: 61744 [startup+1070.09 s] Raw data (loadavg): 1.07 0.99 0.97 3/57 16105 Raw data (stat): 16067 (Pueblo) R 16066 7876 7672 0 -1 0 14248 0 0 0 106985 37 0 0 25 0 1 0 807260540 63881216 14105 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 15596 14105 566 18 0 15578 0 vsize: 62384 [startup+1080.1 s] Raw data (loadavg): 1.22 1.02 0.98 2/55 16120 Raw data (stat): 16067 (Pueblo) R 16066 7876 7672 0 -1 0 14388 0 0 0 107984 37 0 0 25 0 1 0 807260540 64401408 14245 4294967295 134512640 134581331 3221221792 3221220720 134520084 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 15723 14245 566 18 0 15705 0 vsize: 62892 [startup+1090.1 s] Raw data (loadavg): 1.18 1.02 0.98 2/55 16120 Raw data (stat): 16067 (Pueblo) R 16066 7876 7672 0 -1 0 14553 0 0 0 108984 37 0 0 25 0 1 0 807260540 65085440 14410 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 15890 14410 566 18 0 15872 0 vsize: 63560 [startup+1100.1 s] Raw data (loadavg): 1.15 1.02 0.98 2/55 16120 Raw data (stat): 16067 (Pueblo) R 16066 7876 7672 0 -1 0 14785 0 0 0 109983 38 0 0 25 0 1 0 807260540 66138112 14642 4294967295 134512640 134581331 3221221792 3221220512 134522568 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16147 14642 566 18 0 16129 0 vsize: 64588 [startup+1110.1 s] Raw data (loadavg): 1.13 1.02 0.98 2/55 16120 Raw data (stat): 16067 (Pueblo) R 16066 7876 7672 0 -1 0 14973 0 0 0 110983 39 0 0 25 0 1 0 807260540 66895872 14829 4294967295 134512640 134581331 3221221792 3221218416 134532750 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16332 14829 566 18 0 16314 0 vsize: 65328 [startup+1120.1 s] Raw data (loadavg): 1.11 1.02 0.98 2/55 16120 Raw data (stat): 16067 (Pueblo) R 16066 7876 7672 0 -1 0 15064 0 0 0 111983 39 0 0 25 0 1 0 807260540 67207168 14920 4294967295 134512640 134581331 3221221792 3221220704 134519017 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16408 14920 566 18 0 16390 0 vsize: 65632 [startup+1130.1 s] Raw data (loadavg): 1.09 1.02 0.98 2/55 16120 Raw data (stat): 16067 (Pueblo) R 16066 7876 7672 0 -1 0 15326 0 0 0 112983 40 0 0 25 0 1 0 807260540 68243456 15182 4294967295 134512640 134581331 3221221792 3221220704 134519003 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16661 15182 566 18 0 16643 0 vsize: 66644 [startup+1140.1 s] Raw data (loadavg): 1.08 1.01 0.98 2/55 16120 Raw data (stat): 16067 (Pueblo) R 16066 7876 7672 0 -1 0 15400 0 0 0 113983 40 0 0 25 0 1 0 807260540 68644864 15256 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16759 15256 566 18 0 16741 0 vsize: 67036 [startup+1150.1 s] Raw data (loadavg): 1.06 1.01 0.98 2/55 16120 Raw data (stat): 16067 (Pueblo) R 16066 7876 7672 0 -1 0 15531 0 0 0 114983 40 0 0 25 0 1 0 807260540 69062656 15385 4294967295 134512640 134581331 3221221792 3221220676 134557809 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16861 15385 566 18 0 16843 0 vsize: 67444 [startup+1160.1 s] Raw data (loadavg): 1.05 1.01 0.98 2/55 16122 Raw data (stat): 16067 (Pueblo) R 16066 7876 7672 0 -1 0 15629 0 0 0 115983 40 0 0 25 0 1 0 807260540 69541888 15483 4294967295 134512640 134581331 3221221792 3221220688 134517859 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16978 15483 566 18 0 16960 0 vsize: 67912 [startup+1170.1 s] Raw data (loadavg): 1.05 1.01 0.98 2/55 16122 Raw data (stat): 16067 (Pueblo) R 16066 7876 7672 0 -1 0 15740 0 0 0 116982 41 0 0 25 0 1 0 807260540 69971968 15594 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17083 15594 566 18 0 17065 0 vsize: 68332 [startup+1180.1 s] Raw data (loadavg): 1.04 1.01 0.98 2/55 16122 Raw data (stat): 16067 (Pueblo) R 16066 7876 7672 0 -1 0 15876 0 0 0 117982 41 0 0 25 0 1 0 807260540 70537216 15730 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17221 15730 566 18 0 17203 0 vsize: 68884 [startup+1190.1 s] Raw data (loadavg): 1.03 1.01 0.98 2/55 16122 Raw data (stat): 16067 (Pueblo) R 16066 7876 7672 0 -1 0 16047 0 0 0 118982 41 0 0 25 0 1 0 807260540 71233536 15901 4294967295 134512640 134581331 3221221792 3221220704 134519040 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17391 15901 566 18 0 17373 0 vsize: 69564 [startup+1200.1 s] Raw data (loadavg): 1.03 1.01 0.98 2/55 16122 Raw data (stat): 16067 (Pueblo) R 16066 7876 7672 0 -1 0 16199 0 0 0 119982 41 0 0 25 0 1 0 807260540 71892992 16053 4294967295 134512640 134581331 3221221792 3221220688 134517873 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17552 16053 566 18 0 17534 0 vsize: 70208 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.13 s] Raw data (loadavg): 1.03 1.01 0.98 1/55 16122 Raw data (stat): 16067 (Pueblo) Z 16066 7876 7672 0 -1 1036 16199 0 0 0 119982 44 0 0 25 0 1 0 807260540 0 0 4294967295 0 0 0 0 0 0 0 1 0 3222412051 0 0 17 1 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child ended because it received signal 15 (SIGTERM) Real time (s): 1200.13 CPU time (s): 1200.28 CPU user time (s): 1199.83 CPU system time (s): 0.449931 CPU usage (%): 100.012 Max. virtual memory (Kb): 70208 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####