Name | normalized-opb/web/uclid_pb_benchmarks/normalized-cache.inv14.ucl.opb |
MD5SUM | 5b41c3eb79e4b3bf301d25b20a1c7b76 |
Bench Category | no optimization function (SAT) |
Has Objective Function | NO |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 33 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 126 |
Number of bits of the biggest sum of numbers | 7 |
Best result obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Number of variables | 62704 |
Total number of constraints | 187107 |
Number of constraints which are clauses | 186603 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 504 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 11 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-05-11 03:25:06 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=2572 boxname=wulflinc31 idbench=286 idsolver=7 numberseed=0 MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911 /oldhome/oroussel/solvers/Pueblo MD5SUM BENCH: 5b41c3eb79e4b3bf301d25b20a1c7b76 /oldhome/oroussel/tmp/wulflinc31/normalized-cache.inv14.ucl.opb REAL COMMAND: Pueblo /oldhome/oroussel/tmp/wulflinc31/normalized-cache.inv14.ucl.opb IDLAUNCH: 2572 /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: 920292 kB Buffers: 9528 kB Cached: 82352 kB SwapCached: 668 kB Active: 65960 kB Inactive: 27764 kB HighTotal: 131008 kB HighFree: 47040 kB LowTotal: 903652 kB LowFree: 873252 kB SwapTotal: 2097892 kB SwapFree: 2095980 kB Dirty: 28 kB Writeback: 0 kB Mapped: 4700 kB Slab: 14840 kB Committed_AS: 63652 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-11 03:45:09 (client local time) WITH STATUS 0 IN 1200.2 SECONDS stats: 2572 7 1200.2 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Raw data (loadavg): 0.92 0.95 0.91 2/54 22469 Raw data (stat): 22469 (runsolver) R 22468 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 714626577 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.0006 s] Raw data (loadavg): 0.93 0.96 0.91 2/54 22469 Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 90364 0 0 0 831 166 0 0 25 0 1 0 714626577 39002112 8067 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9522 8067 566 18 0 9504 0 vsize: 38088 [startup+20.0019 s] Raw data (loadavg): 0.94 0.96 0.91 2/54 22469 Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 409840 0 0 0 1286 710 0 0 25 0 1 0 714626577 39002112 8057 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9522 8057 566 18 0 9504 0 vsize: 38088 [startup+30.0024 s] Raw data (loadavg): 0.95 0.96 0.91 2/54 22469 Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 729302 0 0 0 1749 1248 0 0 25 0 1 0 714626577 39002112 8033 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9522 8033 566 18 0 9504 0 vsize: 38088 [startup+40.0023 s] Raw data (loadavg): 0.95 0.96 0.91 2/54 22469 Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 1048691 0 0 0 2208 1789 0 0 25 0 1 0 714626577 39002112 8060 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9522 8060 566 18 0 9504 0 vsize: 38088 [startup+50.004 s] Raw data (loadavg): 0.96 0.96 0.91 2/54 22469 Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 1368261 0 0 0 2672 2325 0 0 25 0 1 0 714626577 39002112 8082 4294967295 134512640 134581331 3221221792 3221220800 134531325 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9522 8082 566 18 0 9504 0 vsize: 38088 [startup+60.0042 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 22469 Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 1687685 0 0 0 3130 2867 0 0 25 0 1 0 714626577 39002112 8082 4294967295 134512640 134581331 3221221792 3221220800 134531324 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9522 8082 566 18 0 9504 0 vsize: 38088 [startup+70.0052 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 22469 Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 2007199 0 0 0 3591 3406 0 0 25 0 1 0 714626577 39002112 8048 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9522 8048 566 18 0 9504 0 vsize: 38088 [startup+80.0066 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 22469 Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 2326322 0 0 0 4051 3947 0 0 25 0 1 0 714626577 39010304 8057 4294967295 134512640 134581331 3221221792 3221220760 1075710225 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9524 8057 566 18 0 9506 0 vsize: 38096 [startup+90.006 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 22469 Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 2645472 0 0 0 4501 4497 0 0 25 0 1 0 714626577 39264256 8093 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9586 8093 566 18 0 9568 0 vsize: 38344 [startup+100.006 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 22469 Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 2964725 0 0 0 4962 5036 0 0 25 0 1 0 714626577 39264256 8108 4294967295 134512640 134581331 3221221792 3221220784 134531728 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9586 8108 566 18 0 9568 0 vsize: 38344 [startup+110.008 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 22469 Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 3282960 0 0 0 5410 5588 0 0 25 0 1 0 714626577 39264256 8097 4294967295 134512640 134581331 3221221792 3221220784 134531728 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9586 8097 566 18 0 9568 0 vsize: 38344 [startup+120.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22469 Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 3601878 0 0 0 5865 6133 0 0 25 0 1 0 714626577 39264256 8087 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9586 8087 566 18 0 9568 0 vsize: 38344 [startup+130.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22469 Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 3919853 0 0 0 6332 6667 0 0 25 0 1 0 714626577 39264256 8126 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9586 8126 566 18 0 9568 0 vsize: 38344 [startup+140.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22469 Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 4238360 0 0 0 6801 7198 0 0 25 0 1 0 714626577 39526400 8139 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9650 8139 566 18 0 9632 0 vsize: 38600 [startup+150.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22469 Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 4556559 0 0 0 7267 7732 0 0 25 0 1 0 714626577 39526400 8154 4294967295 134512640 134581331 3221221792 3221220800 134531324 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9650 8154 566 18 0 9632 0 vsize: 38600 [startup+160.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22469 Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 4873709 0 0 0 7737 8262 0 0 25 0 1 0 714626577 39526400 8112 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9650 8112 566 18 0 9632 0 vsize: 38600 [startup+170.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22469 Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 5188904 0 0 0 8184 8815 0 0 25 0 1 0 714626577 39526400 8161 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9650 8161 566 18 0 9632 0 vsize: 38600 [startup+180.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22469 Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 5502684 0 0 0 8642 9357 0 0 25 0 1 0 714626577 39796736 8221 4294967295 134512640 134581331 3221221792 3221220800 134531324 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9716 8221 566 18 0 9698 0 vsize: 38864 [startup+190.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22469 Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 5818637 0 0 0 9109 9891 0 0 25 0 1 0 714626577 40202240 8284 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9815 8284 566 18 0 9797 0 vsize: 39260 [startup+200.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22469 Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 6137642 0 0 0 9563 10436 0 0 25 0 1 0 714626577 40738816 8423 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9946 8423 566 18 0 9928 0 vsize: 39784 [startup+210.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22469 Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 6457401 0 0 0 10018 10982 0 0 25 0 1 0 714626577 41144320 8510 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10045 8510 566 18 0 10027 0 vsize: 40180 [startup+220.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22469 Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 6777564 0 0 0 10479 11521 0 0 25 0 1 0 714626577 41549824 8629 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10144 8629 566 18 0 10126 0 vsize: 40576 [startup+230.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22469 Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 7097591 0 0 0 10943 12058 0 0 25 0 1 0 714626577 42090496 8736 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10276 8736 566 18 0 10258 0 vsize: 41104 [startup+240.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22469 Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 7417113 0 0 0 11395 12606 0 0 25 0 1 0 714626577 42496000 8896 4294967295 134512640 134581331 3221221792 3221220784 134531728 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10375 8896 566 18 0 10357 0 vsize: 41500 [startup+250.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22469 Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 7735759 0 0 0 11848 13153 0 0 25 0 1 0 714626577 42901504 8986 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10474 8986 566 18 0 10456 0 vsize: 41896 [startup+260.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22469 Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 8054323 0 0 0 12301 13700 0 0 25 0 1 0 714626577 43307008 9118 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10573 9118 566 18 0 10555 0 vsize: 42292 [startup+270.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22469 Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 8370132 0 0 0 12767 14234 0 0 25 0 1 0 714626577 44371968 9223 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10833 9223 566 18 0 10815 0 vsize: 43332 [startup+280.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22469 Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 8688879 0 0 0 13229 14772 0 0 25 0 1 0 714626577 44777472 9290 4294967295 134512640 134581331 3221221792 3221220784 134531728 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10932 9290 566 18 0 10914 0 vsize: 43728 [startup+290.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22469 Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 9007098 0 0 0 13690 15312 0 0 25 0 1 0 714626577 45182976 9449 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 11031 9449 566 18 0 11013 0 vsize: 44124 [startup+300.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22469 Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 9323270 0 0 0 14152 15849 0 0 25 0 1 0 714626577 45588480 9545 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 11130 9545 566 18 0 11112 0 vsize: 44520 [startup+310.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22469 Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 9638005 0 0 0 14612 16390 0 0 25 0 1 0 714626577 46125056 9692 4294967295 134512640 134581331 3221221792 3221220800 134531324 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 11261 9692 566 18 0 11243 0 vsize: 45044 [startup+320.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22469 Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 9948735 0 0 0 15032 16969 0 0 25 0 1 0 714626577 46530560 9802 4294967295 134512640 134581331 3221221792 3221220800 134531325 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 11360 9802 566 18 0 11342 0 vsize: 45440 [startup+330.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22469 Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 10257168 0 0 0 15480 17522 0 0 25 0 1 0 714626577 46936064 9909 4294967295 134512640 134581331 3221221792 3221220760 1075710225 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 11459 9909 566 18 0 11441 0 vsize: 45836 [startup+340.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22469 Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 10568950 0 0 0 15947 18055 0 0 25 0 1 0 714626577 47087616 9955 4294967295 134512640 134581331 3221221792 3221220760 1075710225 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 11496 9955 566 18 0 11478 0 vsize: 45984 [startup+350.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22469 Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 10881844 0 0 0 16401 18602 0 0 25 0 1 0 714626577 47747072 10121 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 11657 10121 566 18 0 11639 0 vsize: 46628 [startup+360.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22469 Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11197023 0 0 0 16852 19150 0 0 25 0 1 0 714626577 48287744 10216 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 11789 10216 566 18 0 11771 0 vsize: 47156 [startup+370.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22469 Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11509332 0 0 0 17314 19689 0 0 25 0 1 0 714626577 48439296 10293 4294967295 134512640 134581331 3221221792 3221220760 1075710225 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 11826 10293 566 18 0 11808 0 vsize: 47304 [startup+380.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22469 Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11611340 0 0 0 18123 19880 0 0 25 0 1 0 714626577 50073600 10683 4294967295 134512640 134581331 3221221792 3221220688 134517902 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 12225 10683 566 18 0 12207 0 vsize: 48900 [startup+390.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22469 Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11611345 0 0 0 19122 19881 0 0 25 0 1 0 714626577 50073600 10688 4294967295 134512640 134581331 3221221792 3221220672 134560421 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 12225 10688 566 18 0 12207 0 vsize: 48900 [startup+400.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22469 Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11611351 0 0 0 20122 19881 0 0 25 0 1 0 714626577 50073600 10694 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 12225 10694 566 18 0 12207 0 vsize: 48900 [startup+410.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22469 Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11611351 0 0 0 21122 19881 0 0 25 0 1 0 714626577 50073600 10694 4294967295 134512640 134581331 3221221792 3221220752 134531400 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 12225 10694 566 18 0 12207 0 vsize: 48900 [startup+420.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22469 Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11611357 0 0 0 22122 19882 0 0 25 0 1 0 714626577 50073600 10700 4294967295 134512640 134581331 3221221792 3221220736 134559274 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 12225 10700 566 18 0 12207 0 vsize: 48900 [startup+430.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22469 Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11611357 0 0 0 23121 19882 0 0 25 0 1 0 714626577 50073600 10700 4294967295 134512640 134581331 3221221792 3221220676 134557951 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 12225 10700 566 18 0 12207 0 vsize: 48900 [startup+440.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22469 Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11611357 0 0 0 24121 19882 0 0 25 0 1 0 714626577 50073600 10700 4294967295 134512640 134581331 3221221792 3221220688 134517844 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 12225 10700 566 18 0 12207 0 vsize: 48900 [startup+450.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22469 Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11611357 0 0 0 25121 19883 0 0 25 0 1 0 714626577 50073600 10700 4294967295 134512640 134581331 3221221792 3221220720 134519939 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 12225 10700 566 18 0 12207 0 vsize: 48900 [startup+460.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22469 Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11611357 0 0 0 26121 19883 0 0 25 0 1 0 714626577 50073600 10700 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 12225 10700 566 18 0 12207 0 vsize: 48900 [startup+470.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22469 Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11611357 0 0 0 27121 19883 0 0 25 0 1 0 714626577 50073600 10700 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 12225 10700 566 18 0 12207 0 vsize: 48900 [startup+480.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22469 Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11611357 0 0 0 28120 19884 0 0 25 0 1 0 714626577 50073600 10700 4294967295 134512640 134581331 3221221792 3221220736 134559274 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 12225 10700 566 18 0 12207 0 vsize: 48900 [startup+490.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22469 Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11611358 0 0 0 29120 19884 0 0 25 0 1 0 714626577 50073600 10701 4294967295 134512640 134581331 3221221792 3221220676 134557874 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 12225 10701 566 18 0 12207 0 vsize: 48900 [startup+500.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22469 Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11611358 0 0 0 30120 19885 0 0 25 0 1 0 714626577 50073600 10701 4294967295 134512640 134581331 3221221792 3221220720 134519803 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 12225 10701 566 18 0 12207 0 vsize: 48900 [startup+510.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22469 Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11611358 0 0 0 31120 19885 0 0 25 0 1 0 714626577 50073600 10701 4294967295 134512640 134581331 3221221792 3221220688 134517902 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 12225 10701 566 18 0 12207 0 vsize: 48900 [startup+520.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22469 Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11611358 0 0 0 32120 19885 0 0 25 0 1 0 714626577 50073600 10701 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 12225 10701 566 18 0 12207 0 vsize: 48900 [startup+530.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22469 Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11611358 0 0 0 33120 19886 0 0 25 0 1 0 714626577 50073600 10701 4294967295 134512640 134581331 3221221792 3221220752 134519892 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 12225 10701 566 18 0 12207 0 vsize: 48900 [startup+540.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22469 Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11611358 0 0 0 34120 19886 0 0 25 0 1 0 714626577 50073600 10701 4294967295 134512640 134581331 3221221792 3221220736 134560143 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 12225 10701 566 18 0 12207 0 vsize: 48900 [startup+550.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22469 Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11611358 0 0 0 35120 19886 0 0 25 0 1 0 714626577 50073600 10701 4294967295 134512640 134581331 3221221792 3221220676 134557928 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 12225 10701 566 18 0 12207 0 vsize: 48900 [startup+560.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22469 Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11611358 0 0 0 36119 19886 0 0 25 0 1 0 714626577 50073600 10701 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 12225 10701 566 18 0 12207 0 vsize: 48900 [startup+570.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22469 Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11611358 0 0 0 37119 19887 0 0 25 0 1 0 714626577 50073600 10701 4294967295 134512640 134581331 3221221792 3221220672 134520219 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 12225 10701 566 18 0 12207 0 vsize: 48900 [startup+580.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22469 Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11611358 0 0 0 38119 19887 0 0 25 0 1 0 714626577 50073600 10701 4294967295 134512640 134581331 3221221792 3221220736 134559308 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 12225 10701 566 18 0 12207 0 vsize: 48900 [startup+590.039 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22469 Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11611358 0 0 0 39118 19888 0 0 25 0 1 0 714626577 50073600 10701 4294967295 134512640 134581331 3221221792 3221220768 134561009 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 12225 10701 566 18 0 12207 0 vsize: 48900 [startup+600.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22469 Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11611360 0 0 0 40118 19888 0 0 25 0 1 0 714626577 50073600 10703 4294967295 134512640 134581331 3221221792 3221220676 134557930 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 12225 10703 566 18 0 12207 0 vsize: 48900 [startup+610.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22469 Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11611360 0 0 0 41118 19889 0 0 25 0 1 0 714626577 50073600 10703 4294967295 134512640 134581331 3221221792 3221220704 134528085 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 12225 10703 566 18 0 12207 0 vsize: 48900 [startup+620.041 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22469 Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11611360 0 0 0 42117 19889 0 0 25 0 1 0 714626577 50073600 10703 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 12225 10703 566 18 0 12207 0 vsize: 48900 [startup+630.042 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22469 Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11611360 0 0 0 43117 19890 0 0 25 0 1 0 714626577 50073600 10703 4294967295 134512640 134581331 3221221792 3221220704 134527410 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 12225 10703 566 18 0 12207 0 vsize: 48900 [startup+640.042 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22469 Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11611360 0 0 0 44117 19890 0 0 25 0 1 0 714626577 50073600 10703 4294967295 134512640 134581331 3221221792 3221220676 134557874 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 12225 10703 566 18 0 12207 0 vsize: 48900 [startup+650.043 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22469 Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11611360 0 0 0 45117 19890 0 0 25 0 1 0 714626577 50073600 10703 4294967295 134512640 134581331 3221221792 3221220720 134519803 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 12225 10703 566 18 0 12207 0 vsize: 48900 [startup+660.043 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22469 Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11611360 0 0 0 46117 19891 0 0 25 0 1 0 714626577 50073600 10703 4294967295 134512640 134581331 3221221792 3221220676 134557960 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 12225 10703 566 18 0 12207 0 vsize: 48900 [startup+670.044 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22469 Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11611360 0 0 0 47116 19892 0 0 25 0 1 0 714626577 50073600 10703 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 12225 10703 566 18 0 12207 0 vsize: 48900 [startup+680.045 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22469 Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11611360 0 0 0 48116 19892 0 0 25 0 1 0 714626577 50073600 10703 4294967295 134512640 134581331 3221221792 3221220672 134560409 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 12225 10703 566 18 0 12207 0 vsize: 48900 [startup+690.044 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22469 Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11611360 0 0 0 49115 19892 0 0 25 0 1 0 714626577 50073600 10703 4294967295 134512640 134581331 3221221792 3221220720 134519803 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 12225 10703 566 18 0 12207 0 vsize: 48900 [startup+700.045 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22469 Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11611360 0 0 0 50115 19893 0 0 25 0 1 0 714626577 50073600 10703 4294967295 134512640 134581331 3221221792 3221220720 134519829 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 12225 10703 566 18 0 12207 0 vsize: 48900 [startup+710.046 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22469 Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11611360 0 0 0 51115 19893 0 0 25 0 1 0 714626577 50073600 10703 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 12225 10703 566 18 0 12207 0 vsize: 48900 [startup+720.046 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22469 Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11611503 0 0 0 52114 19894 0 0 25 0 1 0 714626577 50724864 10846 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 12384 10846 566 18 0 12366 0 vsize: 49536 [startup+730.046 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22469 Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11611650 0 0 0 53114 19894 0 0 25 0 1 0 714626577 51376128 10993 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 12543 10993 566 18 0 12525 0 vsize: 50172 [startup+740.047 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22469 Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11611799 0 0 0 54113 19895 0 0 25 0 1 0 714626577 51912704 11142 4294967295 134512640 134581331 3221221792 3221220736 134559370 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 12674 11142 566 18 0 12656 0 vsize: 50696 [startup+750.048 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22469 Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11611955 0 0 0 55112 19896 0 0 25 0 1 0 714626577 52555776 11298 4294967295 134512640 134581331 3221221792 3221220704 134519980 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 12831 11298 566 18 0 12813 0 vsize: 51324 [startup+760.048 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22469 Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11612138 0 0 0 56111 19897 0 0 25 0 1 0 714626577 53280768 11481 4294967295 134512640 134581331 3221221792 3221220672 134560389 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 13008 11481 566 18 0 12990 0 vsize: 52032 [startup+770.049 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22469 Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11612248 0 0 0 57111 19898 0 0 25 0 1 0 714626577 53764096 11591 4294967295 134512640 134581331 3221221792 3221220704 134527459 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 13126 11591 566 18 0 13108 0 vsize: 52504 [startup+780.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22469 Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11612447 0 0 0 58110 19899 0 0 25 0 1 0 714626577 54566912 11790 4294967295 134512640 134581331 3221221792 3221220784 134560979 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 13322 11790 566 18 0 13304 0 vsize: 53288 [startup+790.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22469 Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11612566 0 0 0 59110 19899 0 0 25 0 1 0 714626577 55074816 11909 4294967295 134512640 134581331 3221221792 3221220512 134523352 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 13446 11909 566 18 0 13428 0 vsize: 53784 [startup+800.051 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22469 Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11612861 0 0 0 60108 19901 0 0 25 0 1 0 714626577 56291328 12204 4294967295 134512640 134581331 3221221792 3221220676 134557901 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 13743 12204 566 18 0 13725 0 vsize: 54972 [startup+810.052 s] Raw data (loadavg): 1.07 0.99 0.91 2/54 22469 Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11613019 0 0 0 61107 19902 0 0 25 0 1 0 714626577 56942592 12362 4294967295 134512640 134581331 3221221792 3221220688 134517875 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 13902 12362 566 18 0 13884 0 vsize: 55608 [startup+820.052 s] Raw data (loadavg): 1.06 0.99 0.91 2/54 22469 Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11613135 0 0 0 62106 19903 0 0 25 0 1 0 714626577 57356288 12478 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14003 12478 566 18 0 13985 0 vsize: 56012 [startup+830.053 s] Raw data (loadavg): 1.05 0.99 0.91 2/54 22469 Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11613139 0 0 0 63106 19903 0 0 25 0 1 0 714626577 57466880 12482 4294967295 134512640 134581331 3221221792 3221220676 134557954 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14030 12482 566 18 0 14012 0 vsize: 56120 [startup+840.053 s] Raw data (loadavg): 1.04 0.99 0.91 2/54 22469 Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11613277 0 0 0 64106 19904 0 0 25 0 1 0 714626577 58073088 12620 4294967295 134512640 134581331 3221221792 3221220736 134560142 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14178 12620 566 18 0 14160 0 vsize: 56712 [startup+850.054 s] Raw data (loadavg): 1.03 0.99 0.91 2/54 22469 Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11613380 0 0 0 65105 19905 0 0 25 0 1 0 714626577 58523648 12723 4294967295 134512640 134581331 3221221792 3221220736 134559274 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14288 12723 566 18 0 14270 0 vsize: 57152 [startup+860.055 s] Raw data (loadavg): 1.03 0.99 0.91 2/54 22469 Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11613524 0 0 0 66105 19905 0 0 25 0 1 0 714626577 59043840 12867 4294967295 134512640 134581331 3221221792 3221220688 134517880 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14415 12867 566 18 0 14397 0 vsize: 57660 [startup+870.055 s] Raw data (loadavg): 1.02 0.99 0.91 2/54 22469 Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11613603 0 0 0 67105 19905 0 0 25 0 1 0 714626577 59375616 12946 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14496 12946 566 18 0 14478 0 vsize: 57984 [startup+880.056 s] Raw data (loadavg): 1.02 0.99 0.91 2/54 22469 Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11613829 0 0 0 68104 19906 0 0 25 0 1 0 714626577 60342272 13172 4294967295 134512640 134581331 3221221792 3221220768 134560718 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14732 13172 566 18 0 14714 0 vsize: 58928 [startup+890.057 s] Raw data (loadavg): 1.02 0.99 0.91 2/54 22469 Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11613944 0 0 0 69104 19907 0 0 25 0 1 0 714626577 60731392 13287 4294967295 134512640 134581331 3221221792 3221220800 134519703 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14827 13287 566 18 0 14809 0 vsize: 59308 [startup+900.057 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 22469 Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11614036 0 0 0 70103 19908 0 0 25 0 1 0 714626577 61116416 13379 4294967295 134512640 134581331 3221221792 3221220720 134520030 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14921 13379 566 18 0 14903 0 vsize: 59684 [startup+910.058 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 22469 Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11614121 0 0 0 71103 19908 0 0 25 0 1 0 714626577 61517824 13464 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 15019 13464 566 18 0 15001 0 vsize: 60076 [startup+920.059 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 22469 Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11614306 0 0 0 72102 19909 0 0 25 0 1 0 714626577 62267392 13649 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 15202 13649 566 18 0 15184 0 vsize: 60808 [startup+930.06 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 22469 Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11614548 0 0 0 73101 19910 0 0 25 0 1 0 714626577 63275008 13891 4294967295 134512640 134581331 3221221792 3221220736 134559312 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 15448 13891 566 18 0 15430 0 vsize: 61792 [startup+940.06 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 22469 Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11614671 0 0 0 74101 19911 0 0 25 0 1 0 714626577 63758336 14014 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 15566 14014 566 18 0 15548 0 vsize: 62264 [startup+950.061 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 22469 Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11614737 0 0 0 75100 19911 0 0 25 0 1 0 714626577 64020480 14080 4294967295 134512640 134581331 3221221792 3221220676 134557796 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 15630 14080 566 18 0 15612 0 vsize: 62520 [startup+960.062 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 22469 Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11614796 0 0 0 76099 19913 0 0 25 0 1 0 714626577 64286720 14139 4294967295 134512640 134581331 3221221792 3221220672 134560477 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 15695 14139 566 18 0 15677 0 vsize: 62780 [startup+970.062 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 22469 Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11614941 0 0 0 77098 19914 0 0 25 0 1 0 714626577 64798720 14284 4294967295 134512640 134581331 3221221792 3221220720 134519803 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 15820 14284 566 18 0 15802 0 vsize: 63280 [startup+980.063 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 22469 Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11615126 0 0 0 78098 19914 0 0 25 0 1 0 714626577 65581056 14469 4294967295 134512640 134581331 3221221792 3221220736 134559274 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 16011 14469 566 18 0 15993 0 vsize: 64044 [startup+990.063 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 22469 Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11615253 0 0 0 79098 19915 0 0 25 0 1 0 714626577 66097152 14596 4294967295 134512640 134581331 3221221792 3221220704 134519017 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 16137 14596 566 18 0 16119 0 vsize: 64548 [startup+1000.06 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 22469 Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11615367 0 0 0 80097 19915 0 0 25 0 1 0 714626577 66588672 14710 4294967295 134512640 134581331 3221221792 3221220720 134519867 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 16257 14710 566 18 0 16239 0 vsize: 65028 [startup+1010.06 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 22469 Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11615483 0 0 0 81097 19916 0 0 25 0 1 0 714626577 67088384 14826 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 16379 14826 566 18 0 16361 0 vsize: 65516 [startup+1020.06 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 22469 Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11615580 0 0 0 82096 19917 0 0 25 0 1 0 714626577 67457024 14923 4294967295 134512640 134581331 3221221792 3221220676 134557809 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 16469 14923 566 18 0 16451 0 vsize: 65876 [startup+1030.06 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 22469 Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11615728 0 0 0 83096 19917 0 0 25 0 1 0 714626577 68083712 15071 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 16622 15071 566 18 0 16604 0 vsize: 66488 [startup+1040.06 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 22469 Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11616021 0 0 0 84096 19917 0 0 25 0 1 0 714626577 69193728 15364 4294967295 134512640 134581331 3221221792 3221220704 134527418 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 16893 15364 566 18 0 16875 0 vsize: 67572 [startup+1050.06 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 22469 Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11616147 0 0 0 85096 19918 0 0 25 0 1 0 714626577 69808128 15490 4294967295 134512640 134581331 3221221792 3221220720 134520084 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 17043 15490 566 18 0 17025 0 vsize: 68172 [startup+1060.06 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 22469 Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11616357 0 0 0 86096 19918 0 0 25 0 1 0 714626577 70574080 15700 4294967295 134512640 134581331 3221221792 3221220784 134560666 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 17230 15700 566 18 0 17212 0 vsize: 68920 [startup+1070.07 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 22469 Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11616515 0 0 0 87095 19919 0 0 25 0 1 0 714626577 71344128 15858 4294967295 134512640 134581331 3221221792 3221220688 134517875 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 17418 15858 566 18 0 17400 0 vsize: 69672 [startup+1080.07 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 22469 Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11616679 0 0 0 88095 19919 0 0 25 0 1 0 714626577 71991296 16022 4294967295 134512640 134581331 3221221792 3221220736 134559274 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 17576 16022 566 18 0 17558 0 vsize: 70304 [startup+1090.07 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 22469 Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11616813 0 0 0 89095 19920 0 0 25 0 1 0 714626577 72470528 16156 4294967295 134512640 134581331 3221221792 3221220736 134559618 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 17693 16156 566 18 0 17675 0 vsize: 70772 [startup+1100.07 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 22469 Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11616932 0 0 0 90094 19920 0 0 25 0 1 0 714626577 72970240 16275 4294967295 134512640 134581331 3221221792 3221220776 134560678 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 17815 16275 566 18 0 17797 0 vsize: 71260 [startup+1110.07 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 22469 Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11617057 0 0 0 91094 19920 0 0 25 0 1 0 714626577 73494528 16400 4294967295 134512640 134581331 3221221792 3221220720 134519913 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 17943 16400 566 18 0 17925 0 vsize: 71772 [startup+1120.07 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 22469 Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11617139 0 0 0 92094 19921 0 0 25 0 1 0 714626577 73871360 16482 4294967295 134512640 134581331 3221221792 3221220736 134559274 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18035 16482 566 18 0 18017 0 vsize: 72140 [startup+1130.07 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 22469 Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11617312 0 0 0 93094 19921 0 0 25 0 1 0 714626577 74502144 16655 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18189 16655 566 18 0 18171 0 vsize: 72756 [startup+1140.07 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 22469 Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11617424 0 0 0 94093 19922 0 0 25 0 1 0 714626577 74948608 16767 4294967295 134512640 134581331 3221221792 3221220736 134559312 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18298 16767 566 18 0 18280 0 vsize: 73192 [startup+1150.07 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 22469 Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11617568 0 0 0 95093 19922 0 0 25 0 1 0 714626577 75603968 16911 4294967295 134512640 134581331 3221221792 3221220704 134528088 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18458 16911 566 18 0 18440 0 vsize: 73832 [startup+1160.07 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 22469 Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11617766 0 0 0 96093 19922 0 0 25 0 1 0 714626577 76386304 17109 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18649 17109 566 18 0 18631 0 vsize: 74596 [startup+1170.07 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 22469 Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11617799 0 0 0 97093 19922 0 0 25 0 1 0 714626577 76509184 17142 4294967295 134512640 134581331 3221221792 3221220784 134561117 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18679 17142 566 18 0 18661 0 vsize: 74716 [startup+1180.06 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 22469 Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11618019 0 0 0 98093 19923 0 0 25 0 1 0 714626577 77414400 17362 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18900 17362 566 18 0 18882 0 vsize: 75600 [startup+1190.07 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 22469 Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11618100 0 0 0 99093 19923 0 0 25 0 1 0 714626577 77795328 17443 4294967295 134512640 134581331 3221221792 3221220720 134519797 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18993 17443 566 18 0 18975 0 vsize: 75972 [startup+1200.07 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 22469 Raw data (stat): 22469 (Pueblo) R 22468 7876 7672 0 -1 0 11618246 0 0 0 100092 19924 0 0 25 0 1 0 714626577 78434304 17589 4294967295 134512640 134581331 3221221792 3221220764 134554712 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19149 17589 566 18 0 19131 0 vsize: 76596 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.1 s] Raw data (loadavg): 1.00 0.99 0.91 1/54 22469 Raw data (stat): 22469 (Pueblo) Z 22468 7876 7672 0 -1 1036 11618246 0 0 0 100092 19927 0 0 25 0 1 0 714626577 0 0 4294967295 0 0 0 0 0 0 0 1 0 3222412051 0 0 17 0 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child ended because it received signal 15 (SIGTERM) Real time (s): 1200.1 CPU time (s): 1200.2 CPU user time (s): 1000.93 CPU system time (s): 199.275 CPU usage (%): 100.009 Max. virtual memory (Kb): 76596 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####