Name | normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl35_45_pb.cnf.cr.opb |
MD5SUM | 1f5fb3c191c2c77719f10f35e4f5f992 |
Bench Category | no optimization function (SAT) |
Has Objective Function | NO |
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 | 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 | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 46 |
Number of bits of the biggest sum of numbers | 6 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.094985 |
Number of variables | 3150 |
Total number of constraints | 160 |
Number of constraints which are clauses | 90 |
Number of constraints which are cardinality constraints (but not clauses) | 70 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 35 |
Maximum length of a constraint | 45 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc2 THE 2005-06-02 05:16:20 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=26286 boxname=wulflinc2 idbench=16 idsolver=19 numberseed=0 MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea /oldhome/oroussel/solvers/Pueblo-v2 MD5SUM BENCH: 1f5fb3c191c2c77719f10f35e4f5f992 /oldhome/oroussel/tmp/wulflinc2/normalized-chnl35_45_pb.cnf.cr.opb REAL COMMAND: Pueblo-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-chnl35_45_pb.cnf.cr.opb IDLAUNCH: 26286 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.191 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.191 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: 719224 kB Buffers: 33480 kB Cached: 260164 kB SwapCached: 1136 kB Active: 53792 kB Inactive: 242216 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 718972 kB SwapTotal: 2097136 kB SwapFree: 2095024 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5052 kB Slab: 13628 kB Committed_AS: 71792 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-02 05:36:23 (client local time) WITH STATUS 0 IN 1200.21 SECONDS stats: 26286 7 1200.21 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 Enforcing Stack size limit: 67108864 bytes Current StackSize limit: 67108864 bytes Raw data (loadavg): 0.92 0.98 0.89 2/54 19183 Raw data (stat): 19183 (runsolver) R 19182 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 847198959 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 216 94 205 205 0 11 0 vsize: 864 [startup+10.0003 s] Raw data (loadavg): 0.93 0.98 0.89 2/54 19183 Raw data (stat): 19183 (Pueblo-v2) R 19182 31399 31398 0 -1 0 638 0 0 0 998 1 0 0 25 0 1 0 847198959 8302592 612 4294967295 134512640 134581267 3221224576 3221223552 134560674 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2027 612 566 18 0 2009 0 vsize: 8108 [startup+20.0009 s] Raw data (loadavg): 0.94 0.98 0.89 2/54 19183 Raw data (stat): 19183 (Pueblo-v2) R 19182 31399 31398 0 -1 0 857 0 0 0 1997 1 0 0 25 0 1 0 847198959 9170944 831 4294967295 134512640 134581267 3221224576 3221223504 134519931 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2239 831 566 18 0 2221 0 vsize: 8956 [startup+30.0007 s] Raw data (loadavg): 0.95 0.98 0.89 2/54 19183 Raw data (stat): 19183 (Pueblo-v2) R 19182 31399 31398 0 -1 0 857 0 0 0 2998 1 0 0 25 0 1 0 847198959 9170944 831 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2239 831 566 18 0 2221 0 vsize: 8956 [startup+40.0007 s] Raw data (loadavg): 0.96 0.98 0.90 2/54 19183 Raw data (stat): 19183 (Pueblo-v2) R 19182 31399 31398 0 -1 0 1096 0 0 0 3997 2 0 0 25 0 1 0 847198959 10133504 1070 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2474 1070 566 18 0 2456 0 vsize: 9896 [startup+50.0011 s] Raw data (loadavg): 0.96 0.98 0.90 2/54 19183 Raw data (stat): 19183 (Pueblo-v2) R 19182 31399 31398 0 -1 0 1096 0 0 0 4996 2 0 0 25 0 1 0 847198959 10133504 1070 4294967295 134512640 134581267 3221224576 3221223504 134519958 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2474 1070 566 18 0 2456 0 vsize: 9896 [startup+60.0007 s] Raw data (loadavg): 0.97 0.98 0.90 2/54 19183 Raw data (stat): 19183 (Pueblo-v2) R 19182 31399 31398 0 -1 0 1240 0 0 0 5996 3 0 0 25 0 1 0 847198959 10727424 1214 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2619 1214 566 18 0 2601 0 vsize: 10476 [startup+70.0014 s] Raw data (loadavg): 0.97 0.98 0.90 2/54 19183 Raw data (stat): 19183 (Pueblo-v2) R 19182 31399 31398 0 -1 0 1271 0 0 0 6996 3 0 0 25 0 1 0 847198959 10797056 1238 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2636 1238 566 18 0 2618 0 vsize: 10544 [startup+80.0021 s] Raw data (loadavg): 0.98 0.98 0.90 2/54 19183 Raw data (stat): 19183 (Pueblo-v2) R 19182 31399 31398 0 -1 0 1737 0 0 0 7995 4 0 0 25 0 1 0 847198959 12734464 1704 4294967295 134512640 134581267 3221224576 3221223504 134519952 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3109 1704 566 18 0 3091 0 vsize: 12436 [startup+90.0021 s] Raw data (loadavg): 0.98 0.98 0.90 2/54 19183 Raw data (stat): 19183 (Pueblo-v2) R 19182 31399 31398 0 -1 0 1791 0 0 0 8995 4 0 0 25 0 1 0 847198959 12640256 1688 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3086 1688 566 18 0 3068 0 vsize: 12344 [startup+100.003 s] Raw data (loadavg): 0.98 0.98 0.90 2/54 19183 Raw data (stat): 19183 (Pueblo-v2) R 19182 31399 31398 0 -1 0 1791 0 0 0 9995 4 0 0 25 0 1 0 847198959 12640256 1688 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3086 1688 566 18 0 3068 0 vsize: 12344 [startup+110.003 s] Raw data (loadavg): 0.98 0.98 0.90 2/54 19183 Raw data (stat): 19183 (Pueblo-v2) R 19182 31399 31398 0 -1 0 1873 0 0 0 10995 4 0 0 25 0 1 0 847198959 12996608 1770 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3173 1770 566 18 0 3155 0 vsize: 12692 [startup+120.004 s] Raw data (loadavg): 0.99 0.98 0.90 2/54 19183 Raw data (stat): 19183 (Pueblo-v2) R 19182 31399 31398 0 -1 0 1873 0 0 0 11995 4 0 0 25 0 1 0 847198959 12996608 1770 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3173 1770 566 18 0 3155 0 vsize: 12692 [startup+130.004 s] Raw data (loadavg): 0.99 0.98 0.90 2/54 19183 Raw data (stat): 19183 (Pueblo-v2) R 19182 31399 31398 0 -1 0 2038 0 0 0 12995 5 0 0 25 0 1 0 847198959 13733888 1935 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3353 1935 566 18 0 3335 0 vsize: 13412 [startup+140.003 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 19183 Raw data (stat): 19183 (Pueblo-v2) R 19182 31399 31398 0 -1 0 2038 0 0 0 13995 5 0 0 25 0 1 0 847198959 13733888 1935 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3353 1935 566 18 0 3335 0 vsize: 13412 [startup+150.004 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 19183 Raw data (stat): 19183 (Pueblo-v2) R 19182 31399 31398 0 -1 0 2058 0 0 0 14995 5 0 0 25 0 1 0 847198959 13733888 1955 4294967295 134512640 134581267 3221224576 3221223472 134517907 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3353 1955 566 18 0 3335 0 vsize: 13412 [startup+160.004 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 19183 Raw data (stat): 19183 (Pueblo-v2) R 19182 31399 31398 0 -1 0 2058 0 0 0 15996 5 0 0 25 0 1 0 847198959 13733888 1955 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3353 1955 566 18 0 3335 0 vsize: 13412 [startup+170.003 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 19183 Raw data (stat): 19183 (Pueblo-v2) R 19182 31399 31398 0 -1 0 2058 0 0 0 16996 5 0 0 25 0 1 0 847198959 13733888 1955 4294967295 134512640 134581267 3221224576 3221223520 134558815 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3353 1955 566 18 0 3335 0 vsize: 13412 [startup+180.003 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 19183 Raw data (stat): 19183 (Pueblo-v2) R 19182 31399 31398 0 -1 0 2058 0 0 0 17996 5 0 0 25 0 1 0 847198959 13733888 1955 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3353 1955 566 18 0 3335 0 vsize: 13412 [startup+190.003 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 19183 Raw data (stat): 19183 (Pueblo-v2) R 19182 31399 31398 0 -1 0 2058 0 0 0 18996 5 0 0 25 0 1 0 847198959 13733888 1955 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3353 1955 566 18 0 3335 0 vsize: 13412 [startup+200.003 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 19183 Raw data (stat): 19183 (Pueblo-v2) R 19182 31399 31398 0 -1 0 2058 0 0 0 19996 5 0 0 25 0 1 0 847198959 13733888 1955 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3353 1955 566 18 0 3335 0 vsize: 13412 [startup+210.003 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 19183 Raw data (stat): 19183 (Pueblo-v2) R 19182 31399 31398 0 -1 0 2058 0 0 0 20996 5 0 0 25 0 1 0 847198959 13733888 1955 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3353 1955 566 18 0 3335 0 vsize: 13412 [startup+220.003 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 19183 Raw data (stat): 19183 (Pueblo-v2) R 19182 31399 31398 0 -1 0 2058 0 0 0 21997 5 0 0 25 0 1 0 847198959 13733888 1955 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3353 1955 566 18 0 3335 0 vsize: 13412 [startup+230.004 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 19183 Raw data (stat): 19183 (Pueblo-v2) R 19182 31399 31398 0 -1 0 2058 0 0 0 22997 5 0 0 25 0 1 0 847198959 13733888 1955 4294967295 134512640 134581267 3221224576 3221223504 134520076 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3353 1955 566 18 0 3335 0 vsize: 13412 [startup+240.003 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 19183 Raw data (stat): 19183 (Pueblo-v2) R 19182 31399 31398 0 -1 0 2058 0 0 0 23997 5 0 0 25 0 1 0 847198959 13733888 1955 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3353 1955 566 18 0 3335 0 vsize: 13412 [startup+250.003 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 19183 Raw data (stat): 19183 (Pueblo-v2) R 19182 31399 31398 0 -1 0 2058 0 0 0 24997 5 0 0 25 0 1 0 847198959 13733888 1955 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3353 1955 566 18 0 3335 0 vsize: 13412 [startup+260.003 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 19183 Raw data (stat): 19183 (Pueblo-v2) R 19182 31399 31398 0 -1 0 2058 0 0 0 25997 5 0 0 25 0 1 0 847198959 13733888 1955 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3353 1955 566 18 0 3335 0 vsize: 13412 [startup+270.002 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 19183 Raw data (stat): 19183 (Pueblo-v2) R 19182 31399 31398 0 -1 0 2058 0 0 0 26997 5 0 0 25 0 1 0 847198959 13733888 1955 4294967295 134512640 134581267 3221224576 3221223472 134517924 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3353 1955 566 18 0 3335 0 vsize: 13412 [startup+280.002 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 19183 Raw data (stat): 19183 (Pueblo-v2) R 19182 31399 31398 0 -1 0 2058 0 0 0 27998 5 0 0 25 0 1 0 847198959 13733888 1955 4294967295 134512640 134581267 3221224576 3221223456 134520291 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3353 1955 566 18 0 3335 0 vsize: 13412 [startup+290.002 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 19183 Raw data (stat): 19183 (Pueblo-v2) R 19182 31399 31398 0 -1 0 2058 0 0 0 28998 5 0 0 25 0 1 0 847198959 13733888 1955 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3353 1955 566 18 0 3335 0 vsize: 13412 [startup+300.001 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 19183 Raw data (stat): 19183 (Pueblo-v2) R 19182 31399 31398 0 -1 0 2058 0 0 0 29998 5 0 0 25 0 1 0 847198959 13733888 1955 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3353 1955 566 18 0 3335 0 vsize: 13412 [startup+310.001 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 19183 Raw data (stat): 19183 (Pueblo-v2) R 19182 31399 31398 0 -1 0 2058 0 0 0 30998 5 0 0 25 0 1 0 847198959 13733888 1955 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3353 1955 566 18 0 3335 0 vsize: 13412 [startup+320.001 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 19183 Raw data (stat): 19183 (Pueblo-v2) R 19182 31399 31398 0 -1 0 2058 0 0 0 31998 5 0 0 25 0 1 0 847198959 13733888 1955 4294967295 134512640 134581267 3221224576 3221223472 134517909 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3353 1955 566 18 0 3335 0 vsize: 13412 [startup+330.002 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 19183 Raw data (stat): 19183 (Pueblo-v2) R 19182 31399 31398 0 -1 0 2058 0 0 0 32998 5 0 0 25 0 1 0 847198959 13733888 1955 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3353 1955 566 18 0 3335 0 vsize: 13412 [startup+340.002 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 19183 Raw data (stat): 19183 (Pueblo-v2) R 19182 31399 31398 0 -1 0 2058 0 0 0 33999 5 0 0 25 0 1 0 847198959 13733888 1955 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3353 1955 566 18 0 3335 0 vsize: 13412 [startup+350.002 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 19183 Raw data (stat): 19183 (Pueblo-v2) R 19182 31399 31398 0 -1 0 2058 0 0 0 34999 5 0 0 25 0 1 0 847198959 13733888 1955 4294967295 134512640 134581267 3221224576 3221223504 134519958 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3353 1955 566 18 0 3335 0 vsize: 13412 [startup+360.002 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 19183 Raw data (stat): 19183 (Pueblo-v2) R 19182 31399 31398 0 -1 0 2058 0 0 0 35999 5 0 0 25 0 1 0 847198959 13733888 1955 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3353 1955 566 18 0 3335 0 vsize: 13412 [startup+370.002 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 19183 Raw data (stat): 19183 (Pueblo-v2) R 19182 31399 31398 0 -1 0 2058 0 0 0 36999 5 0 0 25 0 1 0 847198959 13733888 1955 4294967295 134512640 134581267 3221224576 3221223520 134558875 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3353 1955 566 18 0 3335 0 vsize: 13412 [startup+380.002 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 19183 Raw data (stat): 19183 (Pueblo-v2) R 19182 31399 31398 0 -1 0 2058 0 0 0 37999 5 0 0 25 0 1 0 847198959 13733888 1955 4294967295 134512640 134581267 3221224576 3221223268 134566442 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3353 1955 566 18 0 3335 0 vsize: 13412 [startup+390.002 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 19183 Raw data (stat): 19183 (Pueblo-v2) R 19182 31399 31398 0 -1 0 2058 0 0 0 38999 5 0 0 25 0 1 0 847198959 13733888 1955 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3353 1955 566 18 0 3335 0 vsize: 13412 [startup+400.003 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 19183 Raw data (stat): 19183 (Pueblo-v2) R 19182 31399 31398 0 -1 0 2058 0 0 0 40000 5 0 0 25 0 1 0 847198959 13733888 1955 4294967295 134512640 134581267 3221224576 3221223472 134517862 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3353 1955 566 18 0 3335 0 vsize: 13412 [startup+410.003 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 19183 Raw data (stat): 19183 (Pueblo-v2) R 19182 31399 31398 0 -1 0 2058 0 0 0 41000 5 0 0 25 0 1 0 847198959 13733888 1955 4294967295 134512640 134581267 3221224576 3221223504 134519947 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3353 1955 566 18 0 3335 0 vsize: 13412 [startup+420.003 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 19183 Raw data (stat): 19183 (Pueblo-v2) R 19182 31399 31398 0 -1 0 2058 0 0 0 42000 5 0 0 25 0 1 0 847198959 13733888 1955 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3353 1955 566 18 0 3335 0 vsize: 13412 [startup+430.004 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 19183 Raw data (stat): 19183 (Pueblo-v2) R 19182 31399 31398 0 -1 0 2058 0 0 0 43000 5 0 0 25 0 1 0 847198959 13733888 1955 4294967295 134512640 134581267 3221224576 3221223472 134517868 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3353 1955 566 18 0 3335 0 vsize: 13412 [startup+440.003 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 19183 Raw data (stat): 19183 (Pueblo-v2) R 19182 31399 31398 0 -1 0 2058 0 0 0 44001 5 0 0 25 0 1 0 847198959 13733888 1955 4294967295 134512640 134581267 3221224576 3221223472 134517897 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3353 1955 566 18 0 3335 0 vsize: 13412 [startup+450.003 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 19183 Raw data (stat): 19183 (Pueblo-v2) R 19182 31399 31398 0 -1 0 2058 0 0 0 45001 5 0 0 25 0 1 0 847198959 13733888 1955 4294967295 134512640 134581267 3221224576 3221223504 134520076 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3353 1955 566 18 0 3335 0 vsize: 13412 [startup+460.003 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 19183 Raw data (stat): 19183 (Pueblo-v2) R 19182 31399 31398 0 -1 0 2058 0 0 0 46001 5 0 0 25 0 1 0 847198959 13733888 1955 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3353 1955 566 18 0 3335 0 vsize: 13412 [startup+470.002 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 19183 Raw data (stat): 19183 (Pueblo-v2) R 19182 31399 31398 0 -1 0 2058 0 0 0 47001 5 0 0 25 0 1 0 847198959 13733888 1955 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3353 1955 566 18 0 3335 0 vsize: 13412 [startup+480.002 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 19183 Raw data (stat): 19183 (Pueblo-v2) R 19182 31399 31398 0 -1 0 2097 0 0 0 48001 5 0 0 25 0 1 0 847198959 13770752 1964 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3362 1964 566 18 0 3344 0 vsize: 13448 [startup+490.002 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 19183 Raw data (stat): 19183 (Pueblo-v2) R 19182 31399 31398 0 -1 0 2097 0 0 0 49001 5 0 0 25 0 1 0 847198959 13750272 1959 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3357 1959 566 18 0 3339 0 vsize: 13428 [startup+500.002 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 19183 Raw data (stat): 19183 (Pueblo-v2) R 19182 31399 31398 0 -1 0 2097 0 0 0 50001 5 0 0 25 0 1 0 847198959 13750272 1959 4294967295 134512640 134581267 3221224576 3221223472 134517900 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3357 1959 566 18 0 3339 0 vsize: 13428 [startup+510.004 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 19183 Raw data (stat): 19183 (Pueblo-v2) R 19182 31399 31398 0 -1 0 2097 0 0 0 51001 5 0 0 25 0 1 0 847198959 13750272 1959 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3357 1959 566 18 0 3339 0 vsize: 13428 [startup+520.005 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 19183 Raw data (stat): 19183 (Pueblo-v2) R 19182 31399 31398 0 -1 0 2097 0 0 0 52002 5 0 0 25 0 1 0 847198959 13750272 1959 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3357 1959 566 18 0 3339 0 vsize: 13428 [startup+530.005 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 19183 Raw data (stat): 19183 (Pueblo-v2) R 19182 31399 31398 0 -1 0 2097 0 0 0 53002 5 0 0 25 0 1 0 847198959 13750272 1959 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3357 1959 566 18 0 3339 0 vsize: 13428 [startup+540.005 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 19183 Raw data (stat): 19183 (Pueblo-v2) R 19182 31399 31398 0 -1 0 2097 0 0 0 54002 5 0 0 25 0 1 0 847198959 13750272 1959 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3357 1959 566 18 0 3339 0 vsize: 13428 [startup+550.005 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 19183 Raw data (stat): 19183 (Pueblo-v2) R 19182 31399 31398 0 -1 0 2097 0 0 0 55002 5 0 0 25 0 1 0 847198959 13750272 1959 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3357 1959 566 18 0 3339 0 vsize: 13428 [startup+560.005 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 19183 Raw data (stat): 19183 (Pueblo-v2) R 19182 31399 31398 0 -1 0 2128 0 0 0 56003 5 0 0 25 0 1 0 847198959 13893632 1990 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3392 1990 566 18 0 3374 0 vsize: 13568 [startup+570.004 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 19183 Raw data (stat): 19183 (Pueblo-v2) R 19182 31399 31398 0 -1 0 2128 0 0 0 57003 5 0 0 25 0 1 0 847198959 13852672 1984 4294967295 134512640 134581267 3221224576 3221223504 134519950 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3382 1984 566 18 0 3364 0 vsize: 13528 [startup+580.004 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 19183 Raw data (stat): 19183 (Pueblo-v2) R 19182 31399 31398 0 -1 0 2128 0 0 0 58003 5 0 0 25 0 1 0 847198959 13852672 1984 4294967295 134512640 134581267 3221224576 3221223656 134560539 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3382 1984 566 18 0 3364 0 vsize: 13528 [startup+590.004 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 19183 Raw data (stat): 19183 (Pueblo-v2) R 19182 31399 31398 0 -1 0 2128 0 0 0 59003 5 0 0 25 0 1 0 847198959 13852672 1984 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3382 1984 566 18 0 3364 0 vsize: 13528 [startup+600.004 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 19183 Raw data (stat): 19183 (Pueblo-v2) R 19182 31399 31398 0 -1 0 2128 0 0 0 60003 5 0 0 25 0 1 0 847198959 13852672 1984 4294967295 134512640 134581267 3221224576 3221223472 134517868 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3382 1984 566 18 0 3364 0 vsize: 13528 [startup+610.004 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 19183 Raw data (stat): 19183 (Pueblo-v2) R 19182 31399 31398 0 -1 0 2260 0 0 0 61003 5 0 0 25 0 1 0 847198959 14475264 2116 4294967295 134512640 134581267 3221224576 3221223504 134520084 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3534 2116 566 18 0 3516 0 vsize: 14136 [startup+620.004 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 19183 Raw data (stat): 19183 (Pueblo-v2) R 19182 31399 31398 0 -1 0 2260 0 0 0 62003 5 0 0 25 0 1 0 847198959 14475264 2116 4294967295 134512640 134581267 3221224576 3221223472 134517900 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3534 2116 566 18 0 3516 0 vsize: 14136 [startup+630.003 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 19183 Raw data (stat): 19183 (Pueblo-v2) R 19182 31399 31398 0 -1 0 2263 0 0 0 63004 5 0 0 25 0 1 0 847198959 14475264 2119 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3534 2119 566 18 0 3516 0 vsize: 14136 [startup+640.004 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 19183 Raw data (stat): 19183 (Pueblo-v2) R 19182 31399 31398 0 -1 0 2263 0 0 0 64004 5 0 0 25 0 1 0 847198959 14401536 2118 4294967295 134512640 134581267 3221224576 3221223504 134519924 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3516 2118 566 18 0 3498 0 vsize: 14064 [startup+650.004 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 19183 Raw data (stat): 19183 (Pueblo-v2) R 19182 31399 31398 0 -1 0 2263 0 0 0 65004 5 0 0 25 0 1 0 847198959 14401536 2118 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3516 2118 566 18 0 3498 0 vsize: 14064 [startup+660.004 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 19183 Raw data (stat): 19183 (Pueblo-v2) R 19182 31399 31398 0 -1 0 2263 0 0 0 66004 5 0 0 25 0 1 0 847198959 14397440 2117 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3515 2117 566 18 0 3497 0 vsize: 14060 [startup+670.004 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 19183 Raw data (stat): 19183 (Pueblo-v2) R 19182 31399 31398 0 -1 0 2263 0 0 0 67004 5 0 0 25 0 1 0 847198959 14397440 2117 4294967295 134512640 134581267 3221224576 3221223472 134517514 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3515 2117 566 18 0 3497 0 vsize: 14060 [startup+680.004 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 19183 Raw data (stat): 19183 (Pueblo-v2) R 19182 31399 31398 0 -1 0 2263 0 0 0 68005 5 0 0 25 0 1 0 847198959 14397440 2117 4294967295 134512640 134581267 3221224576 3221223472 134517838 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3515 2117 566 18 0 3497 0 vsize: 14060 [startup+690.004 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 19183 Raw data (stat): 19183 (Pueblo-v2) R 19182 31399 31398 0 -1 0 2263 0 0 0 69005 5 0 0 25 0 1 0 847198959 14397440 2117 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3515 2117 566 18 0 3497 0 vsize: 14060 [startup+700.004 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 19183 Raw data (stat): 19183 (Pueblo-v2) R 19182 31399 31398 0 -1 0 2263 0 0 0 70005 5 0 0 25 0 1 0 847198959 14397440 2117 4294967295 134512640 134581267 3221224576 3221223504 134519931 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3515 2117 566 18 0 3497 0 vsize: 14060 [startup+710.004 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 19183 Raw data (stat): 19183 (Pueblo-v2) R 19182 31399 31398 0 -1 0 2263 0 0 0 71005 5 0 0 25 0 1 0 847198959 14397440 2117 4294967295 134512640 134581267 3221224576 3221223504 134519952 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3515 2117 566 18 0 3497 0 vsize: 14060 [startup+720.004 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 19183 Raw data (stat): 19183 (Pueblo-v2) R 19182 31399 31398 0 -1 0 2263 0 0 0 72005 5 0 0 25 0 1 0 847198959 14397440 2117 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3515 2117 566 18 0 3497 0 vsize: 14060 [startup+730.004 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 19183 Raw data (stat): 19183 (Pueblo-v2) R 19182 31399 31398 0 -1 0 2288 0 0 0 73005 5 0 0 25 0 1 0 847198959 14520320 2142 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3545 2142 566 18 0 3527 0 vsize: 14180 [startup+740.003 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 19183 Raw data (stat): 19183 (Pueblo-v2) R 19182 31399 31398 0 -1 0 2528 0 0 0 74005 6 0 0 25 0 1 0 847198959 15511552 2382 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3787 2382 566 18 0 3769 0 vsize: 15148 [startup+750.004 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 19183 Raw data (stat): 19183 (Pueblo-v2) R 19182 31399 31398 0 -1 0 2588 0 0 0 75005 6 0 0 25 0 1 0 847198959 15458304 2376 4294967295 134512640 134581267 3221224576 3221223504 134519952 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3774 2376 566 18 0 3756 0 vsize: 15096 [startup+760.004 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 19183 Raw data (stat): 19183 (Pueblo-v2) R 19182 31399 31398 0 -1 0 2588 0 0 0 76005 6 0 0 25 0 1 0 847198959 15446016 2373 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3771 2373 566 18 0 3753 0 vsize: 15084 [startup+770.003 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 19183 Raw data (stat): 19183 (Pueblo-v2) R 19182 31399 31398 0 -1 0 2588 0 0 0 77005 6 0 0 25 0 1 0 847198959 14905344 2241 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3639 2241 566 18 0 3621 0 vsize: 14556 [startup+780.004 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 19183 Raw data (stat): 19183 (Pueblo-v2) R 19182 31399 31398 0 -1 0 2588 0 0 0 78006 6 0 0 25 0 1 0 847198959 14397440 2117 4294967295 134512640 134581267 3221224576 3221223504 134519947 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3515 2117 566 18 0 3497 0 vsize: 14060 [startup+790.004 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 19183 Raw data (stat): 19183 (Pueblo-v2) R 19182 31399 31398 0 -1 0 2588 0 0 0 79006 6 0 0 25 0 1 0 847198959 14397440 2117 4294967295 134512640 134581267 3221224576 3221223504 134519947 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3515 2117 566 18 0 3497 0 vsize: 14060 [startup+800.004 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 19183 Raw data (stat): 19183 (Pueblo-v2) R 19182 31399 31398 0 -1 0 2588 0 0 0 80006 6 0 0 25 0 1 0 847198959 14397440 2117 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3515 2117 566 18 0 3497 0 vsize: 14060 [startup+810.004 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 19183 Raw data (stat): 19183 (Pueblo-v2) R 19182 31399 31398 0 -1 0 2634 0 0 0 81006 6 0 0 25 0 1 0 847198959 14639104 2163 4294967295 134512640 134581267 3221224576 3221223472 134517868 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3574 2163 566 18 0 3556 0 vsize: 14296 [startup+820.004 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 19183 Raw data (stat): 19183 (Pueblo-v2) R 19182 31399 31398 0 -1 0 2634 0 0 0 82006 6 0 0 25 0 1 0 847198959 14639104 2163 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3574 2163 566 18 0 3556 0 vsize: 14296 [startup+830.004 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 19183 Raw data (stat): 19183 (Pueblo-v2) R 19182 31399 31398 0 -1 0 2649 0 0 0 83007 6 0 0 25 0 1 0 847198959 14684160 2178 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3585 2178 566 18 0 3567 0 vsize: 14340 [startup+840.004 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 19183 Raw data (stat): 19183 (Pueblo-v2) R 19182 31399 31398 0 -1 0 2649 0 0 0 84007 6 0 0 25 0 1 0 847198959 14589952 2164 4294967295 134512640 134581267 3221224576 3221223472 134517902 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3562 2164 566 18 0 3544 0 vsize: 14248 [startup+850.005 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 19183 Raw data (stat): 19183 (Pueblo-v2) R 19182 31399 31398 0 -1 0 2649 0 0 0 85007 6 0 0 25 0 1 0 847198959 14589952 2164 4294967295 134512640 134581267 3221224576 3221223472 134517868 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3562 2164 566 18 0 3544 0 vsize: 14248 [startup+860.004 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 19183 Raw data (stat): 19183 (Pueblo-v2) R 19182 31399 31398 0 -1 0 2756 0 0 0 86007 6 0 0 25 0 1 0 847198959 15081472 2271 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3682 2271 566 18 0 3664 0 vsize: 14728 [startup+870.004 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 19183 Raw data (stat): 19183 (Pueblo-v2) R 19182 31399 31398 0 -1 0 2756 0 0 0 87007 6 0 0 25 0 1 0 847198959 15081472 2271 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3682 2271 566 18 0 3664 0 vsize: 14728 [startup+880.004 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 19183 Raw data (stat): 19183 (Pueblo-v2) R 19182 31399 31398 0 -1 0 2756 0 0 0 88007 6 0 0 25 0 1 0 847198959 15081472 2271 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3682 2271 566 18 0 3664 0 vsize: 14728 [startup+890.005 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 19183 Raw data (stat): 19183 (Pueblo-v2) R 19182 31399 31398 0 -1 0 2756 0 0 0 89007 6 0 0 25 0 1 0 847198959 15069184 2271 4294967295 134512640 134581267 3221224576 3221223504 134520076 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3679 2271 566 18 0 3661 0 vsize: 14716 [startup+900.005 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 19183 Raw data (stat): 19183 (Pueblo-v2) R 19182 31399 31398 0 -1 0 2756 0 0 0 90008 6 0 0 25 0 1 0 847198959 15065088 2271 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3678 2271 566 18 0 3660 0 vsize: 14712 [startup+910.004 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 19183 Raw data (stat): 19183 (Pueblo-v2) R 19182 31399 31398 0 -1 0 2756 0 0 0 91008 6 0 0 25 0 1 0 847198959 15065088 2271 4294967295 134512640 134581267 3221224576 3221223520 134558798 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3678 2271 566 18 0 3660 0 vsize: 14712 [startup+920.004 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 19183 Raw data (stat): 19183 (Pueblo-v2) R 19182 31399 31398 0 -1 0 2756 0 0 0 92008 6 0 0 25 0 1 0 847198959 15060992 2271 4294967295 134512640 134581267 3221224576 3221223472 134517815 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3677 2271 566 18 0 3659 0 vsize: 14708 [startup+930.004 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 19183 Raw data (stat): 19183 (Pueblo-v2) R 19182 31399 31398 0 -1 0 2756 0 0 0 93008 6 0 0 25 0 1 0 847198959 14405632 2119 4294967295 134512640 134581267 3221224576 3221223504 134520076 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3517 2119 566 18 0 3499 0 vsize: 14068 [startup+940.004 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 19183 Raw data (stat): 19183 (Pueblo-v2) R 19182 31399 31398 0 -1 0 2756 0 0 0 94008 6 0 0 25 0 1 0 847198959 14405632 2119 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3517 2119 566 18 0 3499 0 vsize: 14068 [startup+950.004 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 19183 Raw data (stat): 19183 (Pueblo-v2) R 19182 31399 31398 0 -1 0 2756 0 0 0 95008 6 0 0 25 0 1 0 847198959 14405632 2119 4294967295 134512640 134581267 3221224576 3221223472 134517871 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3517 2119 566 18 0 3499 0 vsize: 14068 [startup+960.003 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 19183 Raw data (stat): 19183 (Pueblo-v2) R 19182 31399 31398 0 -1 0 2756 0 0 0 96008 6 0 0 25 0 1 0 847198959 14405632 2119 4294967295 134512640 134581267 3221224576 3221223520 134558815 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3517 2119 566 18 0 3499 0 vsize: 14068 [startup+970.004 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 19183 Raw data (stat): 19183 (Pueblo-v2) R 19182 31399 31398 0 -1 0 2756 0 0 0 97009 6 0 0 25 0 1 0 847198959 14405632 2119 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3517 2119 566 18 0 3499 0 vsize: 14068 [startup+980.004 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 19183 Raw data (stat): 19183 (Pueblo-v2) R 19182 31399 31398 0 -1 0 2777 0 0 0 98009 6 0 0 25 0 1 0 847198959 14532608 2140 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3548 2140 566 18 0 3530 0 vsize: 14192 [startup+990.004 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 19183 Raw data (stat): 19183 (Pueblo-v2) R 19182 31399 31398 0 -1 0 2777 0 0 0 99009 6 0 0 25 0 1 0 847198959 14524416 2140 4294967295 134512640 134581267 3221224576 3221223504 134520076 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3546 2140 566 18 0 3528 0 vsize: 14184 [startup+1000 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 19183 Raw data (stat): 19183 (Pueblo-v2) R 19182 31399 31398 0 -1 0 2777 0 0 0 100009 6 0 0 25 0 1 0 847198959 14499840 2140 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3540 2140 566 18 0 3522 0 vsize: 14160 [startup+1010 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 19183 Raw data (stat): 19183 (Pueblo-v2) R 19182 31399 31398 0 -1 0 2777 0 0 0 101009 6 0 0 25 0 1 0 847198959 14499840 2140 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3540 2140 566 18 0 3522 0 vsize: 14160 [startup+1020 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 19183 Raw data (stat): 19183 (Pueblo-v2) R 19182 31399 31398 0 -1 0 2851 0 0 0 102009 7 0 0 25 0 1 0 847198959 14864384 2214 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3629 2214 566 18 0 3611 0 vsize: 14516 [startup+1030 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 19183 Raw data (stat): 19183 (Pueblo-v2) R 19182 31399 31398 0 -1 0 2851 0 0 0 103009 7 0 0 25 0 1 0 847198959 14864384 2214 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3629 2214 566 18 0 3611 0 vsize: 14516 [startup+1040 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 19183 Raw data (stat): 19183 (Pueblo-v2) R 19182 31399 31398 0 -1 0 2851 0 0 0 104009 7 0 0 25 0 1 0 847198959 14864384 2214 4294967295 134512640 134581267 3221224576 3221223504 134520084 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3629 2214 566 18 0 3611 0 vsize: 14516 [startup+1050 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 19183 Raw data (stat): 19183 (Pueblo-v2) R 19182 31399 31398 0 -1 0 2941 0 0 0 105009 7 0 0 25 0 1 0 847198959 15224832 2304 4294967295 134512640 134581267 3221224576 3221223504 134519958 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3717 2304 566 18 0 3699 0 vsize: 14868 [startup+1060 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 19183 Raw data (stat): 19183 (Pueblo-v2) R 19182 31399 31398 0 -1 0 2941 0 0 0 106010 7 0 0 25 0 1 0 847198959 15155200 2302 4294967295 134512640 134581267 3221224576 3221223520 134558875 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3700 2302 566 18 0 3682 0 vsize: 14800 [startup+1070 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 19183 Raw data (stat): 19183 (Pueblo-v2) R 19182 31399 31398 0 -1 0 2941 0 0 0 107010 7 0 0 25 0 1 0 847198959 15155200 2302 4294967295 134512640 134581267 3221224576 3221223472 134517902 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3700 2302 566 18 0 3682 0 vsize: 14800 [startup+1080 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 19183 Raw data (stat): 19183 (Pueblo-v2) R 19182 31399 31398 0 -1 0 2941 0 0 0 108010 7 0 0 25 0 1 0 847198959 15155200 2302 4294967295 134512640 134581267 3221224576 3221223616 134565018 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3700 2302 566 18 0 3682 0 vsize: 14800 [startup+1090 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 19183 Raw data (stat): 19183 (Pueblo-v2) R 19182 31399 31398 0 -1 0 2941 0 0 0 109010 7 0 0 25 0 1 0 847198959 15155200 2302 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3700 2302 566 18 0 3682 0 vsize: 14800 [startup+1100 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 19183 Raw data (stat): 19183 (Pueblo-v2) R 19182 31399 31398 0 -1 0 2941 0 0 0 110010 7 0 0 25 0 1 0 847198959 15155200 2302 4294967295 134512640 134581267 3221224576 3221223472 134517900 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3700 2302 566 18 0 3682 0 vsize: 14800 [startup+1110 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 19183 Raw data (stat): 19183 (Pueblo-v2) R 19182 31399 31398 0 -1 0 2941 0 0 0 111011 7 0 0 25 0 1 0 847198959 15155200 2302 4294967295 134512640 134581267 3221224576 3221223472 134517767 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3700 2302 566 18 0 3682 0 vsize: 14800 [startup+1120 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 19183 Raw data (stat): 19183 (Pueblo-v2) R 19182 31399 31398 0 -1 0 2941 0 0 0 112011 7 0 0 25 0 1 0 847198959 15155200 2302 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3700 2302 566 18 0 3682 0 vsize: 14800 [startup+1130 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 19183 Raw data (stat): 19183 (Pueblo-v2) R 19182 31399 31398 0 -1 0 2941 0 0 0 113011 7 0 0 25 0 1 0 847198959 15155200 2302 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3700 2302 566 18 0 3682 0 vsize: 14800 [startup+1140 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 19183 Raw data (stat): 19183 (Pueblo-v2) R 19182 31399 31398 0 -1 0 2941 0 0 0 114011 7 0 0 25 0 1 0 847198959 15155200 2302 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3700 2302 566 18 0 3682 0 vsize: 14800 [startup+1150 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 19183 Raw data (stat): 19183 (Pueblo-v2) R 19182 31399 31398 0 -1 0 2941 0 0 0 115011 7 0 0 25 0 1 0 847198959 15155200 2302 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3700 2302 566 18 0 3682 0 vsize: 14800 [startup+1160 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 19183 Raw data (stat): 19183 (Pueblo-v2) R 19182 31399 31398 0 -1 0 2941 0 0 0 116011 7 0 0 25 0 1 0 847198959 15155200 2302 4294967295 134512640 134581267 3221224576 3221223504 134519931 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3700 2302 566 18 0 3682 0 vsize: 14800 [startup+1170 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 19183 Raw data (stat): 19183 (Pueblo-v2) R 19182 31399 31398 0 -1 0 2941 0 0 0 117012 7 0 0 25 0 1 0 847198959 15155200 2302 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3700 2302 566 18 0 3682 0 vsize: 14800 [startup+1180 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 19183 Raw data (stat): 19183 (Pueblo-v2) R 19182 31399 31398 0 -1 0 2941 0 0 0 118012 7 0 0 25 0 1 0 847198959 15155200 2302 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3700 2302 566 18 0 3682 0 vsize: 14800 [startup+1190 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 19183 Raw data (stat): 19183 (Pueblo-v2) R 19182 31399 31398 0 -1 0 2965 0 0 0 119012 7 0 0 25 0 1 0 847198959 15278080 2326 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3730 2326 566 18 0 3712 0 vsize: 14920 [startup+1200 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 19183 Raw data (stat): 19183 (Pueblo-v2) R 19182 31399 31398 0 -1 0 2965 0 0 0 120012 7 0 0 25 0 1 0 847198959 15278080 2326 4294967295 134512640 134581267 3221224576 3221223504 134519952 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3730 2326 566 18 0 3712 0 vsize: 14920 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.01 s] Raw data (loadavg): 0.99 0.98 0.91 1/54 19183 Raw data (stat): 19183 (Pueblo-v2) Z 19182 31399 31398 0 -1 1036 2965 0 0 0 120012 7 0 0 25 0 1 0 847198959 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child ended because it received signal 15 (SIGTERM) Real time (s): 1200.01 CPU time (s): 1200.21 CPU user time (s): 1200.13 CPU system time (s): 0.077988 CPU usage (%): 100.016 Max. virtual memory (Kb): 15148 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####