Name | normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl35_40_pb.cnf.cr.opb |
MD5SUM | 85d4e2fa5fd7a61a85d3ecb1e311bddb |
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 | 41 |
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.083986 |
Number of variables | 2800 |
Total number of constraints | 150 |
Number of constraints which are clauses | 80 |
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 | 40 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc1 THE 2005-06-02 05:16:08 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=26285 boxname=wulflinc1 idbench=15 idsolver=19 numberseed=0 MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea /oldhome/oroussel/solvers/Pueblo-v2 MD5SUM BENCH: 85d4e2fa5fd7a61a85d3ecb1e311bddb /oldhome/oroussel/tmp/wulflinc1/normalized-chnl35_40_pb.cnf.cr.opb REAL COMMAND: Pueblo-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-chnl35_40_pb.cnf.cr.opb IDLAUNCH: 26285 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.053 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.053 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: 678100 kB Buffers: 33724 kB Cached: 298836 kB SwapCached: 640 kB Active: 67240 kB Inactive: 267568 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 677848 kB SwapTotal: 2097136 kB SwapFree: 2095412 kB Dirty: 24 kB Writeback: 0 kB Mapped: 5824 kB Slab: 15900 kB Committed_AS: 92716 kB PageTables: 332 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-02 05:36:10 (client local time) WITH STATUS 0 IN 1200.2 SECONDS stats: 26285 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 Enforcing Stack size limit: 67108864 bytes Current StackSize limit: 67108864 bytes Raw data (loadavg): 0.92 0.97 0.89 2/55 30593 Raw data (stat): 30593 (runsolver) R 30592 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 790337523 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 216 94 205 205 0 11 0 vsize: 864 [startup+10.0001 s] Raw data (loadavg): 0.93 0.97 0.89 2/55 30593 Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 640 0 0 0 998 0 0 0 25 0 1 0 790337523 8294400 614 4294967295 134512640 134581267 3221224576 3221223504 134519931 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2025 614 566 18 0 2007 0 vsize: 8100 [startup+20.0009 s] Raw data (loadavg): 0.94 0.97 0.89 2/55 30593 Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 838 0 0 0 1998 1 0 0 25 0 1 0 790337523 9158656 812 4294967295 134512640 134581267 3221224576 3221223504 134520076 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2236 812 566 18 0 2218 0 vsize: 8944 [startup+30.0006 s] Raw data (loadavg): 0.95 0.97 0.89 2/55 30593 Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 965 0 0 0 2998 1 0 0 25 0 1 0 790337523 9527296 925 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2326 925 566 18 0 2308 0 vsize: 9304 [startup+40.0004 s] Raw data (loadavg): 0.96 0.97 0.89 2/55 30593 Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 1317 0 0 0 3997 2 0 0 25 0 1 0 790337523 10981376 1267 4294967295 134512640 134581267 3221224576 3221223456 134520302 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2681 1267 566 18 0 2663 0 vsize: 10724 [startup+50.0012 s] Raw data (loadavg): 0.96 0.97 0.89 2/55 30593 Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 1498 0 0 0 4997 2 0 0 25 0 1 0 790337523 11673600 1448 4294967295 134512640 134581267 3221224576 3221223504 134519947 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2850 1448 566 18 0 2832 0 vsize: 11400 [startup+60.001 s] Raw data (loadavg): 0.97 0.97 0.89 2/55 30593 Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 1498 0 0 0 5997 2 0 0 25 0 1 0 790337523 11636736 1440 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2841 1440 566 18 0 2823 0 vsize: 11364 [startup+70.0018 s] Raw data (loadavg): 0.97 0.97 0.89 2/55 30593 Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 1498 0 0 0 6997 2 0 0 25 0 1 0 790337523 11636736 1440 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2841 1440 566 18 0 2823 0 vsize: 11364 [startup+80.0015 s] Raw data (loadavg): 0.98 0.97 0.89 2/55 30593 Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 1498 0 0 0 7997 2 0 0 25 0 1 0 790337523 11636736 1440 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2841 1440 566 18 0 2823 0 vsize: 11364 [startup+90.0013 s] Raw data (loadavg): 0.98 0.97 0.89 2/55 30593 Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 1498 0 0 0 8997 2 0 0 25 0 1 0 790337523 11636736 1440 4294967295 134512640 134581267 3221224576 3221223520 134559425 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2841 1440 566 18 0 2823 0 vsize: 11364 [startup+100.001 s] Raw data (loadavg): 0.98 0.97 0.89 2/55 30593 Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 1498 0 0 0 9998 2 0 0 25 0 1 0 790337523 11636736 1440 4294967295 134512640 134581267 3221224576 3221223472 134517868 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2841 1440 566 18 0 2823 0 vsize: 11364 [startup+110.001 s] Raw data (loadavg): 0.98 0.97 0.90 2/55 30593 Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 1498 0 0 0 10998 2 0 0 25 0 1 0 790337523 11636736 1440 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2841 1440 566 18 0 2823 0 vsize: 11364 [startup+120.002 s] Raw data (loadavg): 0.99 0.97 0.90 2/55 30593 Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 1574 0 0 0 11998 3 0 0 25 0 1 0 790337523 12021760 1516 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2935 1516 566 18 0 2917 0 vsize: 11740 [startup+130.001 s] Raw data (loadavg): 0.99 0.97 0.90 2/55 30593 Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 1718 0 0 0 12997 3 0 0 25 0 1 0 790337523 12648448 1660 4294967295 134512640 134581267 3221224576 3221223472 134517871 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3088 1660 566 18 0 3070 0 vsize: 12352 [startup+140.001 s] Raw data (loadavg): 0.99 0.97 0.90 2/55 30593 Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 1760 0 0 0 13997 3 0 0 25 0 1 0 790337523 12730368 1702 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3108 1702 566 18 0 3090 0 vsize: 12432 [startup+150.002 s] Raw data (loadavg): 0.99 0.97 0.90 2/55 30593 Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 1815 0 0 0 14998 3 0 0 25 0 1 0 790337523 12976128 1757 4294967295 134512640 134581267 3221224576 3221223472 134517902 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3168 1757 566 18 0 3150 0 vsize: 12672 [startup+160.002 s] Raw data (loadavg): 0.99 0.97 0.90 2/55 30593 Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 1939 0 0 0 15998 4 0 0 25 0 1 0 790337523 13471744 1881 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3289 1881 566 18 0 3271 0 vsize: 13156 [startup+170.002 s] Raw data (loadavg): 0.99 0.97 0.90 2/55 30593 Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 1939 0 0 0 16998 4 0 0 25 0 1 0 790337523 13471744 1881 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3289 1881 566 18 0 3271 0 vsize: 13156 [startup+180.001 s] Raw data (loadavg): 0.99 0.97 0.90 2/55 30593 Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 1939 0 0 0 17998 4 0 0 25 0 1 0 790337523 13471744 1881 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3289 1881 566 18 0 3271 0 vsize: 13156 [startup+190.001 s] Raw data (loadavg): 0.99 0.97 0.90 2/55 30593 Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 1939 0 0 0 18998 4 0 0 25 0 1 0 790337523 13471744 1881 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3289 1881 566 18 0 3271 0 vsize: 13156 [startup+200.001 s] Raw data (loadavg): 0.99 0.97 0.90 2/55 30593 Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 1939 0 0 0 19998 4 0 0 25 0 1 0 790337523 13471744 1881 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3289 1881 566 18 0 3271 0 vsize: 13156 [startup+210.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30593 Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 1939 0 0 0 20998 4 0 0 25 0 1 0 790337523 13385728 1867 4294967295 134512640 134581267 3221224576 3221223504 134519931 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3268 1867 566 18 0 3250 0 vsize: 13072 [startup+220.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30593 Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 1960 0 0 0 21999 4 0 0 25 0 1 0 790337523 13508608 1888 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3298 1888 566 18 0 3280 0 vsize: 13192 [startup+230.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30593 Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 1976 0 0 0 22999 4 0 0 25 0 1 0 790337523 13639680 1904 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3330 1904 566 18 0 3312 0 vsize: 13320 [startup+240.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30593 Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2013 0 0 0 23999 4 0 0 25 0 1 0 790337523 13754368 1941 4294967295 134512640 134581267 3221224576 3221223472 134517897 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3358 1941 566 18 0 3340 0 vsize: 13432 [startup+250.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30593 Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2013 0 0 0 24999 4 0 0 25 0 1 0 790337523 13754368 1941 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3358 1941 566 18 0 3340 0 vsize: 13432 [startup+260.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30593 Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2048 0 0 0 25999 4 0 0 25 0 1 0 790337523 13840384 1976 4294967295 134512640 134581267 3221224576 3221223472 134517871 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3379 1976 566 18 0 3361 0 vsize: 13516 [startup+270.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30593 Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2048 0 0 0 26999 4 0 0 25 0 1 0 790337523 13783040 1964 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3365 1964 566 18 0 3347 0 vsize: 13460 [startup+280 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30593 Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2048 0 0 0 27999 4 0 0 25 0 1 0 790337523 13778944 1963 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3364 1963 566 18 0 3346 0 vsize: 13456 [startup+290.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30593 Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2048 0 0 0 28999 4 0 0 25 0 1 0 790337523 13770752 1961 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3362 1961 566 18 0 3344 0 vsize: 13448 [startup+300.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30593 Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2048 0 0 0 30000 4 0 0 25 0 1 0 790337523 13754368 1957 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3358 1957 566 18 0 3340 0 vsize: 13432 [startup+310.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30593 Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2048 0 0 0 31000 4 0 0 25 0 1 0 790337523 13754368 1957 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3358 1957 566 18 0 3340 0 vsize: 13432 [startup+320.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30593 Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2094 0 0 0 32000 4 0 0 25 0 1 0 790337523 13754368 1957 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3358 1957 566 18 0 3340 0 vsize: 13432 [startup+330 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30593 Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2253 0 0 0 33000 4 0 0 25 0 1 0 790337523 14475264 2116 4294967295 134512640 134581267 3221224576 3221223472 134517912 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3534 2116 566 18 0 3516 0 vsize: 14136 [startup+340 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30593 Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2253 0 0 0 34000 4 0 0 25 0 1 0 790337523 14475264 2116 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3534 2116 566 18 0 3516 0 vsize: 14136 [startup+350 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30593 Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2253 0 0 0 35000 4 0 0 25 0 1 0 790337523 14475264 2116 4294967295 134512640 134581267 3221224576 3221223472 134517871 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3534 2116 566 18 0 3516 0 vsize: 14136 [startup+360 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30593 Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2253 0 0 0 36000 4 0 0 25 0 1 0 790337523 14475264 2116 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3534 2116 566 18 0 3516 0 vsize: 14136 [startup+370 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30593 Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2253 0 0 0 37000 4 0 0 25 0 1 0 790337523 14098432 2041 4294967295 134512640 134581267 3221224576 3221223472 134517900 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3442 2041 566 18 0 3424 0 vsize: 13768 [startup+380 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30593 Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2253 0 0 0 38000 4 0 0 25 0 1 0 790337523 14098432 2041 4294967295 134512640 134581267 3221224576 3221223472 134517871 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3442 2041 566 18 0 3424 0 vsize: 13768 [startup+389.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30593 Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2253 0 0 0 39001 4 0 0 25 0 1 0 790337523 14098432 2041 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3442 2041 566 18 0 3424 0 vsize: 13768 [startup+400 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30593 Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2253 0 0 0 40001 4 0 0 25 0 1 0 790337523 14098432 2041 4294967295 134512640 134581267 3221224576 3221223472 134517902 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3442 2041 566 18 0 3424 0 vsize: 13768 [startup+410 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30593 Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2253 0 0 0 41001 4 0 0 25 0 1 0 790337523 14098432 2041 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3442 2041 566 18 0 3424 0 vsize: 13768 [startup+420.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30593 Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2253 0 0 0 42001 4 0 0 25 0 1 0 790337523 14098432 2041 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3442 2041 566 18 0 3424 0 vsize: 13768 [startup+430.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30593 Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2253 0 0 0 43001 4 0 0 25 0 1 0 790337523 14098432 2041 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3442 2041 566 18 0 3424 0 vsize: 13768 [startup+440 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30593 Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2253 0 0 0 44002 4 0 0 25 0 1 0 790337523 14098432 2041 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3442 2041 566 18 0 3424 0 vsize: 13768 [startup+450 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30593 Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2253 0 0 0 45002 4 0 0 25 0 1 0 790337523 14098432 2041 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3442 2041 566 18 0 3424 0 vsize: 13768 [startup+460 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30593 Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2253 0 0 0 46002 4 0 0 25 0 1 0 790337523 14098432 2041 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3442 2041 566 18 0 3424 0 vsize: 13768 [startup+470.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30593 Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2253 0 0 0 47002 4 0 0 25 0 1 0 790337523 14098432 2041 4294967295 134512640 134581267 3221224576 3221223472 134517897 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3442 2041 566 18 0 3424 0 vsize: 13768 [startup+480.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30593 Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2253 0 0 0 48002 4 0 0 25 0 1 0 790337523 14098432 2041 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3442 2041 566 18 0 3424 0 vsize: 13768 [startup+490.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30593 Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2253 0 0 0 49002 4 0 0 25 0 1 0 790337523 14098432 2041 4294967295 134512640 134581267 3221224576 3221223504 134519947 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3442 2041 566 18 0 3424 0 vsize: 13768 [startup+500.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30593 Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2253 0 0 0 50003 4 0 0 25 0 1 0 790337523 14098432 2041 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3442 2041 566 18 0 3424 0 vsize: 13768 [startup+510.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30593 Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2253 0 0 0 51003 4 0 0 25 0 1 0 790337523 14098432 2041 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3442 2041 566 18 0 3424 0 vsize: 13768 [startup+520.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30593 Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2253 0 0 0 52003 4 0 0 25 0 1 0 790337523 14098432 2041 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3442 2041 566 18 0 3424 0 vsize: 13768 [startup+530.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30593 Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2253 0 0 0 53003 4 0 0 25 0 1 0 790337523 14098432 2041 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3442 2041 566 18 0 3424 0 vsize: 13768 [startup+540.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30593 Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2253 0 0 0 54003 4 0 0 25 0 1 0 790337523 14098432 2041 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3442 2041 566 18 0 3424 0 vsize: 13768 [startup+550.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30593 Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2253 0 0 0 55003 4 0 0 25 0 1 0 790337523 14098432 2041 4294967295 134512640 134581267 3221224576 3221223472 134517900 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3442 2041 566 18 0 3424 0 vsize: 13768 [startup+560 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30593 Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2253 0 0 0 56003 4 0 0 25 0 1 0 790337523 14098432 2041 4294967295 134512640 134581267 3221224576 3221223472 134517897 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3442 2041 566 18 0 3424 0 vsize: 13768 [startup+570.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30593 Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2253 0 0 0 57004 4 0 0 25 0 1 0 790337523 14098432 2041 4294967295 134512640 134581267 3221224576 3221223556 134561052 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3442 2041 566 18 0 3424 0 vsize: 13768 [startup+580.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30593 Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2253 0 0 0 58004 4 0 0 25 0 1 0 790337523 14098432 2041 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3442 2041 566 18 0 3424 0 vsize: 13768 [startup+590.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30593 Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2253 0 0 0 59004 4 0 0 25 0 1 0 790337523 14098432 2041 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3442 2041 566 18 0 3424 0 vsize: 13768 [startup+600.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30593 Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2253 0 0 0 60004 4 0 0 25 0 1 0 790337523 14098432 2041 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3442 2041 566 18 0 3424 0 vsize: 13768 [startup+610.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30593 Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2253 0 0 0 61004 4 0 0 25 0 1 0 790337523 14098432 2041 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3442 2041 566 18 0 3424 0 vsize: 13768 [startup+620.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30593 Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2253 0 0 0 62004 4 0 0 25 0 1 0 790337523 14098432 2041 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3442 2041 566 18 0 3424 0 vsize: 13768 [startup+630.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30593 Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2253 0 0 0 63005 4 0 0 25 0 1 0 790337523 14098432 2041 4294967295 134512640 134581267 3221224576 3221223504 134519952 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3442 2041 566 18 0 3424 0 vsize: 13768 [startup+640.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30593 Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2253 0 0 0 64005 4 0 0 25 0 1 0 790337523 14098432 2041 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3442 2041 566 18 0 3424 0 vsize: 13768 [startup+650.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30593 Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2253 0 0 0 65005 4 0 0 25 0 1 0 790337523 14098432 2041 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3442 2041 566 18 0 3424 0 vsize: 13768 [startup+660.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30593 Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2253 0 0 0 66005 4 0 0 25 0 1 0 790337523 14098432 2041 4294967295 134512640 134581267 3221224576 3221223616 134555851 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3442 2041 566 18 0 3424 0 vsize: 13768 [startup+670.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30593 Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2253 0 0 0 67005 4 0 0 25 0 1 0 790337523 14098432 2041 4294967295 134512640 134581267 3221224576 3221223504 134519952 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3442 2041 566 18 0 3424 0 vsize: 13768 [startup+680.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30593 Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2253 0 0 0 68005 4 0 0 25 0 1 0 790337523 14098432 2041 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3442 2041 566 18 0 3424 0 vsize: 13768 [startup+690 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30593 Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2253 0 0 0 69006 4 0 0 25 0 1 0 790337523 14098432 2041 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3442 2041 566 18 0 3424 0 vsize: 13768 [startup+700 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30593 Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2253 0 0 0 70006 4 0 0 25 0 1 0 790337523 14098432 2041 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3442 2041 566 18 0 3424 0 vsize: 13768 [startup+710 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30593 Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2253 0 0 0 71006 4 0 0 25 0 1 0 790337523 14098432 2041 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3442 2041 566 18 0 3424 0 vsize: 13768 [startup+720.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30593 Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2253 0 0 0 72006 4 0 0 25 0 1 0 790337523 14098432 2041 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3442 2041 566 18 0 3424 0 vsize: 13768 [startup+730.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30593 Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2269 0 0 0 73006 4 0 0 25 0 1 0 790337523 14221312 2057 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3472 2057 566 18 0 3454 0 vsize: 13888 [startup+740 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30593 Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2269 0 0 0 74006 4 0 0 25 0 1 0 790337523 14118912 2046 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3447 2046 566 18 0 3429 0 vsize: 13788 [startup+750.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30593 Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2269 0 0 0 75007 4 0 0 25 0 1 0 790337523 14118912 2046 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3447 2046 566 18 0 3429 0 vsize: 13788 [startup+760.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30593 Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2269 0 0 0 76007 4 0 0 25 0 1 0 790337523 14118912 2046 4294967295 134512640 134581267 3221224576 3221223472 134517902 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3447 2046 566 18 0 3429 0 vsize: 13788 [startup+770.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30593 Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2269 0 0 0 77007 4 0 0 25 0 1 0 790337523 14118912 2046 4294967295 134512640 134581267 3221224576 3221223504 134519952 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3447 2046 566 18 0 3429 0 vsize: 13788 [startup+780.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30593 Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2269 0 0 0 78007 4 0 0 25 0 1 0 790337523 14114816 2045 4294967295 134512640 134581267 3221224576 3221223472 134517777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3446 2045 566 18 0 3428 0 vsize: 13784 [startup+790.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30593 Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2269 0 0 0 79007 4 0 0 25 0 1 0 790337523 14110720 2044 4294967295 134512640 134581267 3221224576 3221223456 134520304 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3445 2044 566 18 0 3427 0 vsize: 13780 [startup+800.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30593 Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2269 0 0 0 80007 4 0 0 25 0 1 0 790337523 14110720 2044 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3445 2044 566 18 0 3427 0 vsize: 13780 [startup+810.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30593 Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2269 0 0 0 81008 4 0 0 25 0 1 0 790337523 14098432 2041 4294967295 134512640 134581267 3221224576 3221223456 134520297 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3442 2041 566 18 0 3424 0 vsize: 13768 [startup+820.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30593 Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2269 0 0 0 82008 4 0 0 25 0 1 0 790337523 14098432 2041 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3442 2041 566 18 0 3424 0 vsize: 13768 [startup+830.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30593 Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2269 0 0 0 83008 4 0 0 25 0 1 0 790337523 14098432 2041 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3442 2041 566 18 0 3424 0 vsize: 13768 [startup+840.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30593 Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2269 0 0 0 84008 4 0 0 25 0 1 0 790337523 14098432 2041 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3442 2041 566 18 0 3424 0 vsize: 13768 [startup+850.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30593 Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2269 0 0 0 85008 4 0 0 25 0 1 0 790337523 14098432 2041 4294967295 134512640 134581267 3221224576 3221223504 134520084 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3442 2041 566 18 0 3424 0 vsize: 13768 [startup+860.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30593 Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2269 0 0 0 86009 4 0 0 25 0 1 0 790337523 14098432 2041 4294967295 134512640 134581267 3221224576 3221223504 134519947 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3442 2041 566 18 0 3424 0 vsize: 13768 [startup+870.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30593 Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2269 0 0 0 87009 4 0 0 25 0 1 0 790337523 14098432 2041 4294967295 134512640 134581267 3221224576 3221223504 134519958 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3442 2041 566 18 0 3424 0 vsize: 13768 [startup+880.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30593 Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2269 0 0 0 88009 4 0 0 25 0 1 0 790337523 14098432 2041 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3442 2041 566 18 0 3424 0 vsize: 13768 [startup+890.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30593 Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2269 0 0 0 89009 4 0 0 25 0 1 0 790337523 14098432 2041 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3442 2041 566 18 0 3424 0 vsize: 13768 [startup+900.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30593 Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2286 0 0 0 90009 4 0 0 25 0 1 0 790337523 14221312 2058 4294967295 134512640 134581267 3221224576 3221223472 134517871 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3472 2058 566 18 0 3454 0 vsize: 13888 [startup+910.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30593 Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2286 0 0 0 91009 4 0 0 25 0 1 0 790337523 14221312 2058 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3472 2058 566 18 0 3454 0 vsize: 13888 [startup+920.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30593 Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2286 0 0 0 92009 4 0 0 25 0 1 0 790337523 14098432 2041 4294967295 134512640 134581267 3221224576 3221223472 134517900 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3442 2041 566 18 0 3424 0 vsize: 13768 [startup+930.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30593 Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2286 0 0 0 93010 4 0 0 25 0 1 0 790337523 14098432 2041 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3442 2041 566 18 0 3424 0 vsize: 13768 [startup+940.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30593 Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2286 0 0 0 94010 4 0 0 25 0 1 0 790337523 14098432 2041 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3442 2041 566 18 0 3424 0 vsize: 13768 [startup+950.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30593 Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2286 0 0 0 95010 4 0 0 25 0 1 0 790337523 14098432 2041 4294967295 134512640 134581267 3221224576 3221223456 134560297 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3442 2041 566 18 0 3424 0 vsize: 13768 [startup+960.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30593 Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2286 0 0 0 96010 4 0 0 25 0 1 0 790337523 14098432 2041 4294967295 134512640 134581267 3221224576 3221223568 134560929 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3442 2041 566 18 0 3424 0 vsize: 13768 [startup+970.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30593 Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2286 0 0 0 97010 4 0 0 25 0 1 0 790337523 14098432 2041 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3442 2041 566 18 0 3424 0 vsize: 13768 [startup+980.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30593 Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2286 0 0 0 98010 4 0 0 25 0 1 0 790337523 14098432 2041 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3442 2041 566 18 0 3424 0 vsize: 13768 [startup+990.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30593 Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2286 0 0 0 99011 4 0 0 25 0 1 0 790337523 14098432 2041 4294967295 134512640 134581267 3221224576 3221223472 134517900 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3442 2041 566 18 0 3424 0 vsize: 13768 [startup+1000 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30593 Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2286 0 0 0 100011 4 0 0 25 0 1 0 790337523 14098432 2041 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3442 2041 566 18 0 3424 0 vsize: 13768 [startup+1010 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30593 Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2286 0 0 0 101011 4 0 0 25 0 1 0 790337523 14098432 2041 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3442 2041 566 18 0 3424 0 vsize: 13768 [startup+1020 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30593 Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2286 0 0 0 102011 4 0 0 25 0 1 0 790337523 14098432 2041 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3442 2041 566 18 0 3424 0 vsize: 13768 [startup+1030 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30593 Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2304 0 0 0 103011 4 0 0 25 0 1 0 790337523 14225408 2059 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3473 2059 566 18 0 3455 0 vsize: 13892 [startup+1040 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30593 Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2371 0 0 0 104011 5 0 0 25 0 1 0 790337523 14467072 2126 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3532 2126 566 18 0 3514 0 vsize: 14128 [startup+1050 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30593 Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2371 0 0 0 105011 5 0 0 25 0 1 0 790337523 14467072 2126 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3532 2126 566 18 0 3514 0 vsize: 14128 [startup+1060 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30593 Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2371 0 0 0 106011 5 0 0 25 0 1 0 790337523 14467072 2126 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3532 2126 566 18 0 3514 0 vsize: 14128 [startup+1070 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30593 Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2371 0 0 0 107011 5 0 0 25 0 1 0 790337523 14467072 2126 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3532 2126 566 18 0 3514 0 vsize: 14128 [startup+1080 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30593 Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2371 0 0 0 108012 5 0 0 25 0 1 0 790337523 14467072 2126 4294967295 134512640 134581267 3221224576 3221223504 134520084 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3532 2126 566 18 0 3514 0 vsize: 14128 [startup+1090 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30593 Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2378 0 0 0 109012 5 0 0 25 0 1 0 790337523 14585856 2133 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3561 2133 566 18 0 3543 0 vsize: 14244 [startup+1100 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30593 Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2654 0 0 0 110011 6 0 0 25 0 1 0 790337523 15609856 2409 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3811 2409 566 18 0 3793 0 vsize: 15244 [startup+1110 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30593 Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2654 0 0 0 111011 6 0 0 25 0 1 0 790337523 15609856 2409 4294967295 134512640 134581267 3221224576 3221223504 134520084 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3811 2409 566 18 0 3793 0 vsize: 15244 [startup+1120 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30593 Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2654 0 0 0 112012 6 0 0 25 0 1 0 790337523 15609856 2409 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3811 2409 566 18 0 3793 0 vsize: 15244 [startup+1130 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30593 Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2654 0 0 0 113012 6 0 0 25 0 1 0 790337523 15609856 2409 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3811 2409 566 18 0 3793 0 vsize: 15244 [startup+1140 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30593 Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2654 0 0 0 114012 6 0 0 25 0 1 0 790337523 15609856 2409 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3811 2409 566 18 0 3793 0 vsize: 15244 [startup+1150 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30593 Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2654 0 0 0 115012 6 0 0 25 0 1 0 790337523 15609856 2409 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3811 2409 566 18 0 3793 0 vsize: 15244 [startup+1160 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30593 Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2654 0 0 0 116012 6 0 0 25 0 1 0 790337523 15609856 2409 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3811 2409 566 18 0 3793 0 vsize: 15244 [startup+1170 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30593 Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2654 0 0 0 117012 6 0 0 25 0 1 0 790337523 15609856 2409 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3811 2409 566 18 0 3793 0 vsize: 15244 [startup+1180 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30593 Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2654 0 0 0 118013 6 0 0 25 0 1 0 790337523 15609856 2409 4294967295 134512640 134581267 3221224576 3221223228 1075289104 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3811 2409 566 18 0 3793 0 vsize: 15244 [startup+1190 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30593 Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2654 0 0 0 119013 6 0 0 25 0 1 0 790337523 15609856 2409 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3811 2409 566 18 0 3793 0 vsize: 15244 [startup+1200 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 30593 Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2654 0 0 0 120013 6 0 0 25 0 1 0 790337523 15609856 2409 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3811 2409 566 18 0 3793 0 vsize: 15244 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.01 s] Raw data (loadavg): 0.99 0.97 0.91 1/55 30593 Raw data (stat): 30593 (Pueblo-v2) Z 30592 8378 8377 0 -1 1036 2654 0 0 0 120013 6 0 0 25 0 1 0 790337523 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child ended because it received signal 15 (SIGTERM) Real time (s): 1200.01 CPU time (s): 1200.2 CPU user time (s): 1200.14 CPU system time (s): 0.065989 CPU usage (%): 100.016 Max. virtual memory (Kb): 15244 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####