Name | normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-f1000.opb |
MD5SUM | 3b740c03d309134e8e181ea08fc4a1e3 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
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 | 2000 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 2000 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 2000 |
Number of bits of the biggest sum of numbers | 11 |
Best result obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Number of variables | 2000 |
Total number of constraints | 5250 |
Number of constraints which are clauses | 5250 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 3 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc5 THE 2005-06-02 06:45:34 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=26397 boxname=wulflinc5 idbench=127 idsolver=19 numberseed=0 MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea /oldhome/oroussel/solvers/Pueblo-v2 MD5SUM BENCH: 3b740c03d309134e8e181ea08fc4a1e3 /oldhome/oroussel/tmp/wulflinc5/normalized-f1000.opb REAL COMMAND: Pueblo-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-f1000.opb IDLAUNCH: 26397 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.007 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.007 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: 688748 kB Buffers: 34536 kB Cached: 287964 kB SwapCached: 568 kB Active: 53480 kB Inactive: 271060 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 688496 kB SwapTotal: 2097136 kB SwapFree: 2095632 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5140 kB Slab: 15612 kB Committed_AS: 63600 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-02 07:05:37 (client local time) WITH STATUS 0 IN 1200.68 SECONDS stats: 26397 7 1200.68 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.29 0.71 0.84 1/54 1457 Raw data (stat): 1457 (runsolver) R 1456 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 847730920 884736 94 4294967295 134512640 135332820 3221224480 3221219660 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.0004 s] Raw data (loadavg): 0.40 0.72 0.84 2/54 1457 Raw data (stat): 1457 (Pueblo-v2) R 1456 7266 7265 0 -1 0 875 0 0 0 996 2 0 0 25 0 1 0 847730920 9277440 849 4294967295 134512640 134581267 3221224592 3221223488 134517615 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2265 849 566 18 0 2247 0 vsize: 9060 [startup+20.0012 s] Raw data (loadavg): 0.49 0.73 0.84 2/54 1457 Raw data (stat): 1457 (Pueblo-v2) R 1456 7266 7265 0 -1 0 1011 0 0 0 1996 2 0 0 25 0 1 0 847730920 9805824 985 4294967295 134512640 134581267 3221224592 3221223536 134559230 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2394 985 566 18 0 2376 0 vsize: 9576 [startup+30.0016 s] Raw data (loadavg): 0.57 0.74 0.85 2/54 1457 Raw data (stat): 1457 (Pueblo-v2) R 1456 7266 7265 0 -1 0 1075 0 0 0 2997 2 0 0 25 0 1 0 847730920 10072064 1049 4294967295 134512640 134581267 3221224592 3221223536 134559046 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2459 1049 566 18 0 2441 0 vsize: 9836 [startup+40.0017 s] Raw data (loadavg): 0.63 0.75 0.85 2/54 1457 Raw data (stat): 1457 (Pueblo-v2) R 1456 7266 7265 0 -1 0 1127 0 0 0 3997 2 0 0 25 0 1 0 847730920 10207232 1101 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2492 1101 566 18 0 2474 0 vsize: 9968 [startup+50.0025 s] Raw data (loadavg): 0.69 0.75 0.85 2/54 1457 Raw data (stat): 1457 (Pueblo-v2) R 1456 7266 7265 0 -1 0 1194 0 0 0 4997 2 0 0 25 0 1 0 847730920 10473472 1168 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2557 1168 566 18 0 2539 0 vsize: 10228 [startup+60.0018 s] Raw data (loadavg): 0.74 0.76 0.85 2/54 1457 Raw data (stat): 1457 (Pueblo-v2) R 1456 7266 7265 0 -1 0 1206 0 0 0 5997 2 0 0 25 0 1 0 847730920 10604544 1180 4294967295 134512640 134581267 3221224592 3221223520 134520043 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2589 1180 566 18 0 2571 0 vsize: 10356 [startup+70.003 s] Raw data (loadavg): 0.78 0.77 0.85 2/54 1457 Raw data (stat): 1457 (Pueblo-v2) R 1456 7266 7265 0 -1 0 1266 0 0 0 6997 3 0 0 25 0 1 0 847730920 10870784 1240 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2654 1240 566 18 0 2636 0 vsize: 10616 [startup+80.0038 s] Raw data (loadavg): 0.81 0.78 0.85 2/54 1457 Raw data (stat): 1457 (Pueblo-v2) R 1456 7266 7265 0 -1 0 1342 0 0 0 7997 3 0 0 25 0 1 0 847730920 11137024 1316 4294967295 134512640 134581267 3221224592 3221223488 134517875 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2719 1316 566 18 0 2701 0 vsize: 10876 [startup+90.0041 s] Raw data (loadavg): 0.84 0.78 0.85 2/54 1457 Raw data (stat): 1457 (Pueblo-v2) R 1456 7266 7265 0 -1 0 1394 0 0 0 8997 3 0 0 25 0 1 0 847730920 11268096 1368 4294967295 134512640 134581267 3221224592 3221223520 134519817 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2751 1368 566 18 0 2733 0 vsize: 11004 [startup+100.004 s] Raw data (loadavg): 0.86 0.79 0.85 2/54 1457 Raw data (stat): 1457 (Pueblo-v2) R 1456 7266 7265 0 -1 0 1394 0 0 0 9997 3 0 0 25 0 1 0 847730920 11268096 1368 4294967295 134512640 134581267 3221224592 3221223568 134560677 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2751 1368 566 18 0 2733 0 vsize: 11004 [startup+110.004 s] Raw data (loadavg): 0.88 0.80 0.85 2/54 1457 Raw data (stat): 1457 (Pueblo-v2) R 1456 7266 7265 0 -1 0 1453 0 0 0 10997 3 0 0 25 0 1 0 847730920 11591680 1427 4294967295 134512640 134581267 3221224592 3221223472 134520432 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2830 1427 566 18 0 2812 0 vsize: 11320 [startup+120.004 s] Raw data (loadavg): 0.90 0.80 0.85 2/54 1457 Raw data (stat): 1457 (Pueblo-v2) R 1456 7266 7265 0 -1 0 1503 0 0 0 11997 3 0 0 25 0 1 0 847730920 11857920 1477 4294967295 134512640 134581267 3221224592 3221223584 134561094 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2895 1477 566 18 0 2877 0 vsize: 11580 [startup+130.005 s] Raw data (loadavg): 0.92 0.81 0.85 2/54 1457 Raw data (stat): 1457 (Pueblo-v2) R 1456 7266 7265 0 -1 0 1526 0 0 0 12998 3 0 0 25 0 1 0 847730920 11857920 1500 4294967295 134512640 134581267 3221224592 3221223564 134519895 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2895 1500 566 18 0 2877 0 vsize: 11580 [startup+140.005 s] Raw data (loadavg): 0.93 0.81 0.86 2/54 1457 Raw data (stat): 1457 (Pueblo-v2) R 1456 7266 7265 0 -1 0 1528 0 0 0 13998 3 0 0 25 0 1 0 847730920 11857920 1502 4294967295 134512640 134581267 3221224592 3221223520 134520043 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2895 1502 566 18 0 2877 0 vsize: 11580 [startup+150.005 s] Raw data (loadavg): 0.94 0.82 0.86 2/54 1457 Raw data (stat): 1457 (Pueblo-v2) R 1456 7266 7265 0 -1 0 1578 0 0 0 14998 3 0 0 25 0 1 0 847730920 12120064 1552 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2959 1552 566 18 0 2941 0 vsize: 11836 [startup+160.005 s] Raw data (loadavg): 0.95 0.83 0.86 2/54 1457 Raw data (stat): 1457 (Pueblo-v2) R 1456 7266 7265 0 -1 0 1594 0 0 0 15998 4 0 0 25 0 1 0 847730920 12120064 1568 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2959 1568 566 18 0 2941 0 vsize: 11836 [startup+170.006 s] Raw data (loadavg): 0.95 0.83 0.86 2/54 1457 Raw data (stat): 1457 (Pueblo-v2) R 1456 7266 7265 0 -1 0 1665 0 0 0 16998 4 0 0 25 0 1 0 847730920 12525568 1639 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3058 1639 566 18 0 3040 0 vsize: 12232 [startup+180.005 s] Raw data (loadavg): 0.96 0.84 0.86 2/54 1457 Raw data (stat): 1457 (Pueblo-v2) R 1456 7266 7265 0 -1 0 1707 0 0 0 17998 4 0 0 25 0 1 0 847730920 12656640 1681 4294967295 134512640 134581267 3221224592 3221223488 134517873 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3090 1681 566 18 0 3072 0 vsize: 12360 [startup+190.005 s] Raw data (loadavg): 0.97 0.84 0.86 2/54 1457 Raw data (stat): 1457 (Pueblo-v2) R 1456 7266 7265 0 -1 0 1735 0 0 0 18998 4 0 0 25 0 1 0 847730920 12791808 1709 4294967295 134512640 134581267 3221224592 3221223520 134520109 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3123 1709 566 18 0 3105 0 vsize: 12492 [startup+200.006 s] Raw data (loadavg): 0.97 0.85 0.86 2/54 1457 Raw data (stat): 1457 (Pueblo-v2) R 1456 7266 7265 0 -1 0 1736 0 0 0 19998 4 0 0 25 0 1 0 847730920 12791808 1710 4294967295 134512640 134581267 3221224592 3221223584 134561036 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3123 1710 566 18 0 3105 0 vsize: 12492 [startup+210.005 s] Raw data (loadavg): 0.98 0.85 0.86 2/54 1457 Raw data (stat): 1457 (Pueblo-v2) R 1456 7266 7265 0 -1 0 1736 0 0 0 20998 4 0 0 25 0 1 0 847730920 12791808 1710 4294967295 134512640 134581267 3221224592 3221223488 134517875 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3123 1710 566 18 0 3105 0 vsize: 12492 [startup+220.006 s] Raw data (loadavg): 0.98 0.85 0.86 2/54 1457 Raw data (stat): 1457 (Pueblo-v2) R 1456 7266 7265 0 -1 0 1752 0 0 0 21998 4 0 0 25 0 1 0 847730920 12791808 1726 4294967295 134512640 134581267 3221224592 3221223520 134519965 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3123 1726 566 18 0 3105 0 vsize: 12492 [startup+230.006 s] Raw data (loadavg): 0.98 0.86 0.86 2/54 1457 Raw data (stat): 1457 (Pueblo-v2) R 1456 7266 7265 0 -1 0 1766 0 0 0 22999 4 0 0 25 0 1 0 847730920 12922880 1740 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3155 1740 566 18 0 3137 0 vsize: 12620 [startup+240.007 s] Raw data (loadavg): 0.98 0.86 0.87 2/54 1457 Raw data (stat): 1457 (Pueblo-v2) R 1456 7266 7265 0 -1 0 1833 0 0 0 23999 4 0 0 25 0 1 0 847730920 13185024 1807 4294967295 134512640 134581267 3221224592 3221223520 134520084 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3219 1807 566 18 0 3201 0 vsize: 12876 [startup+250.007 s] Raw data (loadavg): 0.99 0.87 0.87 2/54 1457 Raw data (stat): 1457 (Pueblo-v2) R 1456 7266 7265 0 -1 0 1833 0 0 0 24999 4 0 0 25 0 1 0 847730920 13185024 1807 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3219 1807 566 18 0 3201 0 vsize: 12876 [startup+260.006 s] Raw data (loadavg): 0.99 0.87 0.87 2/54 1457 Raw data (stat): 1457 (Pueblo-v2) R 1456 7266 7265 0 -1 0 1833 0 0 0 25999 4 0 0 25 0 1 0 847730920 13185024 1807 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3219 1807 566 18 0 3201 0 vsize: 12876 [startup+270.007 s] Raw data (loadavg): 0.99 0.87 0.87 2/54 1457 Raw data (stat): 1457 (Pueblo-v2) R 1456 7266 7265 0 -1 0 1851 0 0 0 26999 4 0 0 25 0 1 0 847730920 13185024 1825 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3219 1825 566 18 0 3201 0 vsize: 12876 [startup+280.007 s] Raw data (loadavg): 0.99 0.88 0.87 2/54 1457 Raw data (stat): 1457 (Pueblo-v2) R 1456 7266 7265 0 -1 0 1898 0 0 0 27999 4 0 0 25 0 1 0 847730920 13447168 1872 4294967295 134512640 134581267 3221224592 3221223520 134519788 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3283 1872 566 18 0 3265 0 vsize: 13132 [startup+290.008 s] Raw data (loadavg): 0.99 0.88 0.87 2/54 1457 Raw data (stat): 1457 (Pueblo-v2) R 1456 7266 7265 0 -1 0 1898 0 0 0 28999 4 0 0 25 0 1 0 847730920 13447168 1872 4294967295 134512640 134581267 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3283 1872 566 18 0 3265 0 vsize: 13132 [startup+300.008 s] Raw data (loadavg): 0.99 0.89 0.87 2/54 1457 Raw data (stat): 1457 (Pueblo-v2) R 1456 7266 7265 0 -1 0 1908 0 0 0 30000 4 0 0 25 0 1 0 847730920 13447168 1882 4294967295 134512640 134581267 3221224592 3221223564 134519776 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3283 1882 566 18 0 3265 0 vsize: 13132 [startup+310.008 s] Raw data (loadavg): 0.99 0.89 0.87 2/54 1457 Raw data (stat): 1457 (Pueblo-v2) R 1456 7266 7265 0 -1 0 1946 0 0 0 31000 5 0 0 25 0 1 0 847730920 13582336 1920 4294967295 134512640 134581267 3221224592 3221223488 134517931 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3316 1920 566 18 0 3298 0 vsize: 13264 [startup+320.009 s] Raw data (loadavg): 0.99 0.89 0.87 2/54 1457 Raw data (stat): 1457 (Pueblo-v2) R 1456 7266 7265 0 -1 0 2011 0 0 0 32000 5 0 0 25 0 1 0 847730920 13848576 1985 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3381 1985 566 18 0 3363 0 vsize: 13524 [startup+330.01 s] Raw data (loadavg): 0.99 0.89 0.87 2/54 1457 Raw data (stat): 1457 (Pueblo-v2) R 1456 7266 7265 0 -1 0 2011 0 0 0 33000 5 0 0 25 0 1 0 847730920 13848576 1985 4294967295 134512640 134581267 3221224592 3221223536 134558815 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3381 1985 566 18 0 3363 0 vsize: 13524 [startup+340.01 s] Raw data (loadavg): 0.99 0.90 0.88 2/54 1457 Raw data (stat): 1457 (Pueblo-v2) R 1456 7266 7265 0 -1 0 2011 0 0 0 34000 5 0 0 25 0 1 0 847730920 13848576 1985 4294967295 134512640 134581267 3221224592 3221223536 134559205 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3381 1985 566 18 0 3363 0 vsize: 13524 [startup+350.01 s] Raw data (loadavg): 0.99 0.90 0.88 2/54 1457 Raw data (stat): 1457 (Pueblo-v2) R 1456 7266 7265 0 -1 0 2011 0 0 0 35000 5 0 0 25 0 1 0 847730920 13848576 1985 4294967295 134512640 134581267 3221224592 3221223536 134559432 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3381 1985 566 18 0 3363 0 vsize: 13524 [startup+360.009 s] Raw data (loadavg): 0.99 0.90 0.88 2/54 1457 Raw data (stat): 1457 (Pueblo-v2) R 1456 7266 7265 0 -1 0 2011 0 0 0 36001 5 0 0 25 0 1 0 847730920 13848576 1985 4294967295 134512640 134581267 3221224592 3221223536 134559268 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3381 1985 566 18 0 3363 0 vsize: 13524 [startup+370.009 s] Raw data (loadavg): 0.99 0.91 0.88 2/54 1457 Raw data (stat): 1457 (Pueblo-v2) R 1456 7266 7265 0 -1 0 2011 0 0 0 37001 5 0 0 25 0 1 0 847730920 13848576 1985 4294967295 134512640 134581267 3221224592 3221223488 134517871 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3381 1985 566 18 0 3363 0 vsize: 13524 [startup+380.009 s] Raw data (loadavg): 0.99 0.91 0.88 2/54 1457 Raw data (stat): 1457 (Pueblo-v2) R 1456 7266 7265 0 -1 0 2011 0 0 0 38001 5 0 0 25 0 1 0 847730920 13848576 1985 4294967295 134512640 134581267 3221224592 3221223584 134560930 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3381 1985 566 18 0 3363 0 vsize: 13524 [startup+390.009 s] Raw data (loadavg): 0.99 0.91 0.88 2/54 1457 Raw data (stat): 1457 (Pueblo-v2) R 1456 7266 7265 0 -1 0 2011 0 0 0 39001 5 0 0 25 0 1 0 847730920 13848576 1985 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3381 1985 566 18 0 3363 0 vsize: 13524 [startup+400.01 s] Raw data (loadavg): 0.99 0.91 0.88 2/54 1457 Raw data (stat): 1457 (Pueblo-v2) R 1456 7266 7265 0 -1 0 2074 0 0 0 40001 5 0 0 25 0 1 0 847730920 14110720 2048 4294967295 134512640 134581267 3221224592 3221223520 134519883 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3445 2048 566 18 0 3427 0 vsize: 13780 [startup+410.01 s] Raw data (loadavg): 0.99 0.92 0.88 2/54 1457 Raw data (stat): 1457 (Pueblo-v2) R 1456 7266 7265 0 -1 0 2076 0 0 0 41001 5 0 0 25 0 1 0 847730920 14110720 2050 4294967295 134512640 134581267 3221224592 3221223488 134517878 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3445 2050 566 18 0 3427 0 vsize: 13780 [startup+420.011 s] Raw data (loadavg): 0.99 0.92 0.88 2/54 1457 Raw data (stat): 1457 (Pueblo-v2) R 1456 7266 7265 0 -1 0 2123 0 0 0 42002 5 0 0 25 0 1 0 847730920 14372864 2097 4294967295 134512640 134581267 3221224592 3221223488 134517873 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3509 2097 566 18 0 3491 0 vsize: 14036 [startup+430.012 s] Raw data (loadavg): 0.99 0.92 0.88 2/54 1457 Raw data (stat): 1457 (Pueblo-v2) R 1456 7266 7265 0 -1 0 2139 0 0 0 43002 5 0 0 25 0 1 0 847730920 14372864 2113 4294967295 134512640 134581267 3221224592 3221223520 134520041 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3509 2113 566 18 0 3491 0 vsize: 14036 [startup+440.012 s] Raw data (loadavg): 0.99 0.92 0.89 2/54 1457 Raw data (stat): 1457 (Pueblo-v2) R 1456 7266 7265 0 -1 0 2196 0 0 0 44002 5 0 0 25 0 1 0 847730920 14639104 2170 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3574 2170 566 18 0 3556 0 vsize: 14296 [startup+450.012 s] Raw data (loadavg): 0.99 0.92 0.89 2/54 1457 Raw data (stat): 1457 (Pueblo-v2) R 1456 7266 7265 0 -1 0 2219 0 0 0 45002 5 0 0 25 0 1 0 847730920 14770176 2193 4294967295 134512640 134581267 3221224592 3221223524 134558709 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3606 2193 566 18 0 3588 0 vsize: 14424 [startup+460.012 s] Raw data (loadavg): 0.99 0.93 0.89 2/54 1457 Raw data (stat): 1457 (Pueblo-v2) R 1456 7266 7265 0 -1 0 2240 0 0 0 46002 5 0 0 25 0 1 0 847730920 14770176 2214 4294967295 134512640 134581267 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3606 2214 566 18 0 3588 0 vsize: 14424 [startup+470.013 s] Raw data (loadavg): 0.99 0.93 0.89 2/54 1457 Raw data (stat): 1457 (Pueblo-v2) R 1456 7266 7265 0 -1 0 2242 0 0 0 47002 5 0 0 25 0 1 0 847730920 14909440 2216 4294967295 134512640 134581267 3221224592 3221223472 134560260 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3640 2216 566 18 0 3622 0 vsize: 14560 [startup+480.012 s] Raw data (loadavg): 0.99 0.93 0.89 2/54 1457 Raw data (stat): 1457 (Pueblo-v2) R 1456 7266 7265 0 -1 0 2242 0 0 0 48002 5 0 0 25 0 1 0 847730920 14909440 2216 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3640 2216 566 18 0 3622 0 vsize: 14560 [startup+490.013 s] Raw data (loadavg): 0.99 0.93 0.89 2/54 1457 Raw data (stat): 1457 (Pueblo-v2) R 1456 7266 7265 0 -1 0 2242 0 0 0 49003 5 0 0 25 0 1 0 847730920 14909440 2216 4294967295 134512640 134581267 3221224592 3221223472 134560160 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3640 2216 566 18 0 3622 0 vsize: 14560 [startup+500.014 s] Raw data (loadavg): 0.99 0.93 0.89 2/54 1457 Raw data (stat): 1457 (Pueblo-v2) R 1456 7266 7265 0 -1 0 2242 0 0 0 50003 5 0 0 25 0 1 0 847730920 14909440 2216 4294967295 134512640 134581267 3221224592 3221223536 134559432 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3640 2216 566 18 0 3622 0 vsize: 14560 [startup+510.013 s] Raw data (loadavg): 0.99 0.94 0.89 2/54 1457 Raw data (stat): 1457 (Pueblo-v2) R 1456 7266 7265 0 -1 0 2242 0 0 0 51003 5 0 0 25 0 1 0 847730920 14909440 2216 4294967295 134512640 134581267 3221224592 3221223488 134517888 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3640 2216 566 18 0 3622 0 vsize: 14560 [startup+520.013 s] Raw data (loadavg): 0.99 0.94 0.89 2/54 1457 Raw data (stat): 1457 (Pueblo-v2) R 1456 7266 7265 0 -1 0 2309 0 0 0 52003 6 0 0 25 0 1 0 847730920 15171584 2283 4294967295 134512640 134581267 3221224592 3221223536 134559248 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3704 2283 566 18 0 3686 0 vsize: 14816 [startup+530.013 s] Raw data (loadavg): 0.99 0.94 0.89 2/54 1457 Raw data (stat): 1457 (Pueblo-v2) R 1456 7266 7265 0 -1 0 2309 0 0 0 53003 6 0 0 25 0 1 0 847730920 15171584 2283 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3704 2283 566 18 0 3686 0 vsize: 14816 [startup+540.014 s] Raw data (loadavg): 0.99 0.94 0.89 2/54 1457 Raw data (stat): 1457 (Pueblo-v2) R 1456 7266 7265 0 -1 0 2309 0 0 0 54003 6 0 0 25 0 1 0 847730920 15171584 2283 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3704 2283 566 18 0 3686 0 vsize: 14816 [startup+550.014 s] Raw data (loadavg): 0.99 0.94 0.90 2/54 1457 Raw data (stat): 1457 (Pueblo-v2) R 1456 7266 7265 0 -1 0 2309 0 0 0 55003 6 0 0 25 0 1 0 847730920 15171584 2283 4294967295 134512640 134581267 3221224592 3221223520 134520043 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3704 2283 566 18 0 3686 0 vsize: 14816 [startup+560.013 s] Raw data (loadavg): 0.99 0.94 0.90 2/54 1457 Raw data (stat): 1457 (Pueblo-v2) R 1456 7266 7265 0 -1 0 2309 0 0 0 56003 6 0 0 25 0 1 0 847730920 15171584 2283 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3704 2283 566 18 0 3686 0 vsize: 14816 [startup+570.014 s] Raw data (loadavg): 0.99 0.94 0.90 2/54 1457 Raw data (stat): 1457 (Pueblo-v2) R 1456 7266 7265 0 -1 0 2309 0 0 0 57004 6 0 0 25 0 1 0 847730920 15171584 2283 4294967295 134512640 134581267 3221224592 3221223520 134519888 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3704 2283 566 18 0 3686 0 vsize: 14816 [startup+580.014 s] Raw data (loadavg): 0.99 0.95 0.90 2/54 1457 Raw data (stat): 1457 (Pueblo-v2) R 1456 7266 7265 0 -1 0 2309 0 0 0 58004 6 0 0 25 0 1 0 847730920 15171584 2283 4294967295 134512640 134581267 3221224592 3221223472 134560284 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3704 2283 566 18 0 3686 0 vsize: 14816 [startup+590.015 s] Raw data (loadavg): 0.99 0.95 0.90 2/54 1457 Raw data (stat): 1457 (Pueblo-v2) R 1456 7266 7265 0 -1 0 2309 0 0 0 59004 6 0 0 25 0 1 0 847730920 15171584 2283 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3704 2283 566 18 0 3686 0 vsize: 14816 [startup+600.014 s] Raw data (loadavg): 0.99 0.95 0.90 2/54 1457 Raw data (stat): 1457 (Pueblo-v2) R 1456 7266 7265 0 -1 0 2309 0 0 0 60004 6 0 0 25 0 1 0 847730920 15171584 2283 4294967295 134512640 134581267 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3704 2283 566 18 0 3686 0 vsize: 14816 [startup+610.014 s] Raw data (loadavg): 0.99 0.95 0.90 2/54 1457 Raw data (stat): 1457 (Pueblo-v2) R 1456 7266 7265 0 -1 0 2333 0 0 0 61004 6 0 0 25 0 1 0 847730920 15171584 2307 4294967295 134512640 134581267 3221224592 3221223584 134560972 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3704 2307 566 18 0 3686 0 vsize: 14816 [startup+620.015 s] Raw data (loadavg): 0.99 0.95 0.90 2/54 1457 Raw data (stat): 1457 (Pueblo-v2) R 1456 7266 7265 0 -1 0 2333 0 0 0 62005 6 0 0 25 0 1 0 847730920 15171584 2307 4294967295 134512640 134581267 3221224592 3221223520 134519869 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3704 2307 566 18 0 3686 0 vsize: 14816 [startup+630.014 s] Raw data (loadavg): 0.99 0.95 0.90 2/54 1457 Raw data (stat): 1457 (Pueblo-v2) R 1456 7266 7265 0 -1 0 2334 0 0 0 63004 6 0 0 25 0 1 0 847730920 15171584 2308 4294967295 134512640 134581267 3221224592 3221223496 134560149 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3704 2308 566 18 0 3686 0 vsize: 14816 [startup+640.015 s] Raw data (loadavg): 0.99 0.95 0.90 2/54 1457 Raw data (stat): 1457 (Pueblo-v2) R 1456 7266 7265 0 -1 0 2379 0 0 0 64004 6 0 0 25 0 1 0 847730920 15433728 2353 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3768 2353 566 18 0 3750 0 vsize: 15072 [startup+650.015 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 1457 Raw data (stat): 1457 (Pueblo-v2) R 1456 7266 7265 0 -1 0 2386 0 0 0 65005 6 0 0 25 0 1 0 847730920 15433728 2360 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3768 2360 566 18 0 3750 0 vsize: 15072 [startup+660.015 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 1457 Raw data (stat): 1457 (Pueblo-v2) R 1456 7266 7265 0 -1 0 2390 0 0 0 66005 6 0 0 25 0 1 0 847730920 15433728 2364 4294967295 134512640 134581267 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3768 2364 566 18 0 3750 0 vsize: 15072 [startup+670.016 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 1457 Raw data (stat): 1457 (Pueblo-v2) R 1456 7266 7265 0 -1 0 2394 0 0 0 67005 6 0 0 25 0 1 0 847730920 15433728 2368 4294967295 134512640 134581267 3221224592 3221223520 134519817 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3768 2368 566 18 0 3750 0 vsize: 15072 [startup+680.016 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 1457 Raw data (stat): 1457 (Pueblo-v2) R 1456 7266 7265 0 -1 0 2443 0 0 0 68005 6 0 0 25 0 1 0 847730920 15699968 2417 4294967295 134512640 134581267 3221224592 3221223520 134520043 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3833 2417 566 18 0 3815 0 vsize: 15332 [startup+690.017 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 1457 Raw data (stat): 1457 (Pueblo-v2) R 1456 7266 7265 0 -1 0 2447 0 0 0 69005 6 0 0 25 0 1 0 847730920 15699968 2421 4294967295 134512640 134581267 3221224592 3221223536 134558930 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3833 2421 566 18 0 3815 0 vsize: 15332 [startup+700.017 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 1457 Raw data (stat): 1457 (Pueblo-v2) R 1456 7266 7265 0 -1 0 2457 0 0 0 70005 6 0 0 25 0 1 0 847730920 15699968 2431 4294967295 134512640 134581267 3221224592 3221223584 134560619 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3833 2431 566 18 0 3815 0 vsize: 15332 [startup+710.017 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 1457 Raw data (stat): 1457 (Pueblo-v2) R 1456 7266 7265 0 -1 0 2477 0 0 0 71006 6 0 0 25 0 1 0 847730920 15831040 2451 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3865 2451 566 18 0 3847 0 vsize: 15460 [startup+720.017 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 1457 Raw data (stat): 1457 (Pueblo-v2) R 1456 7266 7265 0 -1 0 2477 0 0 0 72006 6 0 0 25 0 1 0 847730920 15831040 2451 4294967295 134512640 134581267 3221224592 3221223520 134520109 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3865 2451 566 18 0 3847 0 vsize: 15460 [startup+730.017 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 1457 Raw data (stat): 1457 (Pueblo-v2) R 1456 7266 7265 0 -1 0 2477 0 0 0 73006 6 0 0 25 0 1 0 847730920 15831040 2451 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3865 2451 566 18 0 3847 0 vsize: 15460 [startup+740.018 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 1457 Raw data (stat): 1457 (Pueblo-v2) R 1456 7266 7265 0 -1 0 2477 0 0 0 74006 6 0 0 25 0 1 0 847730920 15831040 2451 4294967295 134512640 134581267 3221224592 3221223520 134520076 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3865 2451 566 18 0 3847 0 vsize: 15460 [startup+750.018 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 1457 Raw data (stat): 1457 (Pueblo-v2) R 1456 7266 7265 0 -1 0 2477 0 0 0 75006 6 0 0 25 0 1 0 847730920 15831040 2451 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3865 2451 566 18 0 3847 0 vsize: 15460 [startup+760.018 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 1457 Raw data (stat): 1457 (Pueblo-v2) R 1456 7266 7265 0 -1 0 2477 0 0 0 76006 6 0 0 25 0 1 0 847730920 15831040 2451 4294967295 134512640 134581267 3221224592 3221223520 134519896 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3865 2451 566 18 0 3847 0 vsize: 15460 [startup+770.019 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 1457 Raw data (stat): 1457 (Pueblo-v2) R 1456 7266 7265 0 -1 0 2496 0 0 0 77007 6 0 0 25 0 1 0 847730920 15831040 2470 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3865 2470 566 18 0 3847 0 vsize: 15460 [startup+780.02 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 1457 Raw data (stat): 1457 (Pueblo-v2) R 1456 7266 7265 0 -1 0 2513 0 0 0 78007 6 0 0 25 0 1 0 847730920 15966208 2487 4294967295 134512640 134581267 3221224592 3221223524 134558724 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3898 2487 566 18 0 3880 0 vsize: 15592 [startup+790.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1457 Raw data (stat): 1457 (Pueblo-v2) R 1456 7266 7265 0 -1 0 2532 0 0 0 79007 6 0 0 25 0 1 0 847730920 16097280 2506 4294967295 134512640 134581267 3221224592 3221222432 134566780 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3930 2506 566 18 0 3912 0 vsize: 15720 [startup+800.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1457 Raw data (stat): 1457 (Pueblo-v2) R 1456 7266 7265 0 -1 0 2532 0 0 0 80007 6 0 0 25 0 1 0 847730920 16089088 2506 4294967295 134512640 134581267 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3928 2506 566 18 0 3910 0 vsize: 15712 [startup+810.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1457 Raw data (stat): 1457 (Pueblo-v2) R 1456 7266 7265 0 -1 0 2532 0 0 0 81007 6 0 0 25 0 1 0 847730920 16089088 2506 4294967295 134512640 134581267 3221224592 3221223488 134517897 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3928 2506 566 18 0 3910 0 vsize: 15712 [startup+820.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1457 Raw data (stat): 1457 (Pueblo-v2) R 1456 7266 7265 0 -1 0 2532 0 0 0 82008 6 0 0 25 0 1 0 847730920 16084992 2506 4294967295 134512640 134581267 3221224592 3221223564 134554668 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3927 2506 566 18 0 3909 0 vsize: 15708 [startup+830.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1457 Raw data (stat): 1457 (Pueblo-v2) R 1456 7266 7265 0 -1 0 2532 0 0 0 83008 6 0 0 25 0 1 0 847730920 16084992 2506 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3927 2506 566 18 0 3909 0 vsize: 15708 [startup+840.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1457 Raw data (stat): 1457 (Pueblo-v2) R 1456 7266 7265 0 -1 0 2532 0 0 0 84008 6 0 0 25 0 1 0 847730920 16084992 2506 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3927 2506 566 18 0 3909 0 vsize: 15708 [startup+850.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1457 Raw data (stat): 1457 (Pueblo-v2) R 1456 7266 7265 0 -1 0 2607 0 0 0 85008 7 0 0 25 0 1 0 847730920 16351232 2581 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3992 2581 566 18 0 3974 0 vsize: 15968 [startup+860.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1457 Raw data (stat): 1457 (Pueblo-v2) R 1456 7266 7265 0 -1 0 2610 0 0 0 86008 7 0 0 25 0 1 0 847730920 16351232 2584 4294967295 134512640 134581267 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3992 2584 566 18 0 3974 0 vsize: 15968 [startup+870.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1457 Raw data (stat): 1457 (Pueblo-v2) R 1456 7266 7265 0 -1 0 2685 0 0 0 87008 7 0 0 25 0 1 0 847730920 16625664 2659 4294967295 134512640 134581267 3221224592 3221223552 134516740 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4059 2659 566 18 0 4041 0 vsize: 16236 [startup+880.25 s] Raw data (loadavg): 1.15 1.00 0.92 2/56 1498 Raw data (stat): 1457 (Pueblo-v2) R 1456 7266 7265 0 -1 0 2685 0 0 0 88027 10 0 0 25 0 1 0 847730920 16625664 2659 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4059 2659 566 18 0 4041 0 vsize: 16236 [startup+890.48 s] Raw data (loadavg): 1.20 1.02 0.93 4/59 1509 Raw data (stat): 1457 (Pueblo-v2) R 1456 7266 7265 0 -1 0 2685 0 0 0 89050 10 0 0 25 0 1 0 847730920 16625664 2659 4294967295 134512640 134581267 3221224592 3221223536 134559043 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4059 2659 566 18 0 4041 0 vsize: 16236 [startup+900.48 s] Raw data (loadavg): 1.25 1.03 0.93 2/54 1510 Raw data (stat): 1457 (Pueblo-v2) R 1456 7266 7265 0 -1 0 2685 0 0 0 90050 11 0 0 25 0 1 0 847730920 16625664 2659 4294967295 134512640 134581267 3221224592 3221223520 134520049 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4059 2659 566 18 0 4041 0 vsize: 16236 [startup+910.479 s] Raw data (loadavg): 1.21 1.03 0.93 2/54 1510 Raw data (stat): 1457 (Pueblo-v2) R 1456 7266 7265 0 -1 0 2685 0 0 0 91050 11 0 0 25 0 1 0 847730920 16625664 2659 4294967295 134512640 134581267 3221224592 3221223520 134520109 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4059 2659 566 18 0 4041 0 vsize: 16236 [startup+920.48 s] Raw data (loadavg): 1.18 1.03 0.93 2/54 1510 Raw data (stat): 1457 (Pueblo-v2) R 1456 7266 7265 0 -1 0 2685 0 0 0 92051 11 0 0 25 0 1 0 847730920 16625664 2659 4294967295 134512640 134581267 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4059 2659 566 18 0 4041 0 vsize: 16236 [startup+930.48 s] Raw data (loadavg): 1.15 1.03 0.93 2/54 1510 Raw data (stat): 1457 (Pueblo-v2) R 1456 7266 7265 0 -1 0 2685 0 0 0 93051 11 0 0 25 0 1 0 847730920 16625664 2659 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4059 2659 566 18 0 4041 0 vsize: 16236 [startup+940.481 s] Raw data (loadavg): 1.12 1.03 0.93 2/54 1510 Raw data (stat): 1457 (Pueblo-v2) R 1456 7266 7265 0 -1 0 2685 0 0 0 94051 11 0 0 25 0 1 0 847730920 16625664 2659 4294967295 134512640 134581267 3221224592 3221223560 134519777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4059 2659 566 18 0 4041 0 vsize: 16236 [startup+950.48 s] Raw data (loadavg): 1.10 1.03 0.93 2/54 1510 Raw data (stat): 1457 (Pueblo-v2) R 1456 7266 7265 0 -1 0 2685 0 0 0 95051 11 0 0 25 0 1 0 847730920 16625664 2659 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4059 2659 566 18 0 4041 0 vsize: 16236 [startup+960.48 s] Raw data (loadavg): 1.09 1.03 0.93 2/54 1510 Raw data (stat): 1457 (Pueblo-v2) R 1456 7266 7265 0 -1 0 2685 0 0 0 96051 11 0 0 25 0 1 0 847730920 16625664 2659 4294967295 134512640 134581267 3221224592 3221223524 134558724 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4059 2659 566 18 0 4041 0 vsize: 16236 [startup+970.481 s] Raw data (loadavg): 1.07 1.02 0.93 2/54 1512 Raw data (stat): 1457 (Pueblo-v2) R 1456 7266 7265 0 -1 0 2685 0 0 0 97051 11 0 0 25 0 1 0 847730920 16625664 2659 4294967295 134512640 134581267 3221224592 3221223556 134519780 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4059 2659 566 18 0 4041 0 vsize: 16236 [startup+980.481 s] Raw data (loadavg): 1.06 1.02 0.93 2/54 1512 Raw data (stat): 1457 (Pueblo-v2) R 1456 7266 7265 0 -1 0 2685 0 0 0 98051 11 0 0 25 0 1 0 847730920 16625664 2659 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4059 2659 566 18 0 4041 0 vsize: 16236 [startup+990.481 s] Raw data (loadavg): 1.05 1.02 0.93 2/54 1512 Raw data (stat): 1457 (Pueblo-v2) R 1456 7266 7265 0 -1 0 2686 0 0 0 99052 11 0 0 25 0 1 0 847730920 16625664 2660 4294967295 134512640 134581267 3221224592 3221223520 134520043 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4059 2660 566 18 0 4041 0 vsize: 16236 [startup+1000.48 s] Raw data (loadavg): 1.04 1.02 0.93 2/54 1512 Raw data (stat): 1457 (Pueblo-v2) R 1456 7266 7265 0 -1 0 2686 0 0 0 100052 11 0 0 25 0 1 0 847730920 16625664 2660 4294967295 134512640 134581267 3221224592 3221223520 134519958 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4059 2660 566 18 0 4041 0 vsize: 16236 [startup+1010.48 s] Raw data (loadavg): 1.04 1.02 0.93 2/54 1512 Raw data (stat): 1457 (Pueblo-v2) R 1456 7266 7265 0 -1 0 2715 0 0 0 101052 11 0 0 25 0 1 0 847730920 16760832 2689 4294967295 134512640 134581267 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4092 2689 566 18 0 4074 0 vsize: 16368 [startup+1020.48 s] Raw data (loadavg): 1.03 1.02 0.93 2/54 1512 Raw data (stat): 1457 (Pueblo-v2) R 1456 7266 7265 0 -1 0 2740 0 0 0 102052 11 0 0 25 0 1 0 847730920 16896000 2714 4294967295 134512640 134581267 3221224592 3221223536 134559230 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4125 2714 566 18 0 4107 0 vsize: 16500 [startup+1030.48 s] Raw data (loadavg): 1.03 1.02 0.93 2/54 1512 Raw data (stat): 1457 (Pueblo-v2) R 1456 7266 7265 0 -1 0 2740 0 0 0 103052 11 0 0 25 0 1 0 847730920 16896000 2714 4294967295 134512640 134581267 3221224592 3221223584 134561029 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4125 2714 566 18 0 4107 0 vsize: 16500 [startup+1040.48 s] Raw data (loadavg): 1.02 1.02 0.93 2/54 1512 Raw data (stat): 1457 (Pueblo-v2) R 1456 7266 7265 0 -1 0 2741 0 0 0 104052 11 0 0 25 0 1 0 847730920 16896000 2715 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4125 2715 566 18 0 4107 0 vsize: 16500 [startup+1050.48 s] Raw data (loadavg): 1.02 1.02 0.93 2/54 1512 Raw data (stat): 1457 (Pueblo-v2) R 1456 7266 7265 0 -1 0 2752 0 0 0 105052 11 0 0 25 0 1 0 847730920 16896000 2726 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4125 2726 566 18 0 4107 0 vsize: 16500 [startup+1060.48 s] Raw data (loadavg): 1.01 1.02 0.93 2/54 1512 Raw data (stat): 1457 (Pueblo-v2) R 1456 7266 7265 0 -1 0 2760 0 0 0 106052 11 0 0 25 0 1 0 847730920 17027072 2734 4294967295 134512640 134581267 3221224592 3221223568 134560951 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4157 2734 566 18 0 4139 0 vsize: 16628 [startup+1070.48 s] Raw data (loadavg): 1.01 1.02 0.93 2/54 1512 Raw data (stat): 1457 (Pueblo-v2) R 1456 7266 7265 0 -1 0 2760 0 0 0 107052 11 0 0 25 0 1 0 847730920 17027072 2734 4294967295 134512640 134581267 3221224592 3221223520 134519996 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4157 2734 566 18 0 4139 0 vsize: 16628 [startup+1080.48 s] Raw data (loadavg): 1.01 1.01 0.93 2/54 1512 Raw data (stat): 1457 (Pueblo-v2) R 1456 7266 7265 0 -1 0 2764 0 0 0 108052 11 0 0 25 0 1 0 847730920 17027072 2738 4294967295 134512640 134581267 3221224592 3221223368 1075291632 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4157 2738 566 18 0 4139 0 vsize: 16628 [startup+1090.48 s] Raw data (loadavg): 1.01 1.01 0.93 2/54 1512 Raw data (stat): 1457 (Pueblo-v2) R 1456 7266 7265 0 -1 0 2800 0 0 0 109053 11 0 0 25 0 1 0 847730920 17158144 2774 4294967295 134512640 134581267 3221224592 3221223520 134520030 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4189 2774 566 18 0 4171 0 vsize: 16756 [startup+1100.48 s] Raw data (loadavg): 1.01 1.01 0.93 2/54 1512 Raw data (stat): 1457 (Pueblo-v2) R 1456 7266 7265 0 -1 0 2829 0 0 0 110053 11 0 0 25 0 1 0 847730920 17289216 2803 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4221 2803 566 18 0 4203 0 vsize: 16884 [startup+1110.48 s] Raw data (loadavg): 1.00 1.01 0.93 2/54 1512 Raw data (stat): 1457 (Pueblo-v2) R 1456 7266 7265 0 -1 0 2829 0 0 0 111053 11 0 0 25 0 1 0 847730920 17289216 2803 4294967295 134512640 134581267 3221224592 3221223472 134560456 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4221 2803 566 18 0 4203 0 vsize: 16884 [startup+1120.48 s] Raw data (loadavg): 1.00 1.01 0.93 2/54 1512 Raw data (stat): 1457 (Pueblo-v2) R 1456 7266 7265 0 -1 0 2856 0 0 0 112053 11 0 0 25 0 1 0 847730920 17432576 2830 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4256 2830 566 18 0 4238 0 vsize: 17024 [startup+1130.49 s] Raw data (loadavg): 1.00 1.01 0.93 2/54 1512 Raw data (stat): 1457 (Pueblo-v2) R 1456 7266 7265 0 -1 0 2862 0 0 0 113053 11 0 0 25 0 1 0 847730920 17432576 2836 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4256 2836 566 18 0 4238 0 vsize: 17024 [startup+1140.49 s] Raw data (loadavg): 1.00 1.01 0.93 2/54 1512 Raw data (stat): 1457 (Pueblo-v2) R 1456 7266 7265 0 -1 0 2862 0 0 0 114053 11 0 0 25 0 1 0 847730920 17432576 2836 4294967295 134512640 134581267 3221224592 3221223552 134516740 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4256 2836 566 18 0 4238 0 vsize: 17024 [startup+1150.49 s] Raw data (loadavg): 1.00 1.01 0.93 2/54 1512 Raw data (stat): 1457 (Pueblo-v2) R 1456 7266 7265 0 -1 0 2862 0 0 0 115054 11 0 0 25 0 1 0 847730920 17432576 2836 4294967295 134512640 134581267 3221224592 3221223488 134560256 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4256 2836 566 18 0 4238 0 vsize: 17024 [startup+1160.49 s] Raw data (loadavg): 1.00 1.01 0.93 2/54 1512 Raw data (stat): 1457 (Pueblo-v2) R 1456 7266 7265 0 -1 0 2862 0 0 0 116054 11 0 0 25 0 1 0 847730920 17432576 2836 4294967295 134512640 134581267 3221224592 3221223536 134559013 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4256 2836 566 18 0 4238 0 vsize: 17024 [startup+1170.49 s] Raw data (loadavg): 1.00 1.01 0.93 2/54 1512 Raw data (stat): 1457 (Pueblo-v2) R 1456 7266 7265 0 -1 0 2862 0 0 0 117054 12 0 0 25 0 1 0 847730920 17432576 2836 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4256 2836 566 18 0 4238 0 vsize: 17024 [startup+1180.49 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1512 Raw data (stat): 1457 (Pueblo-v2) R 1456 7266 7265 0 -1 0 2862 0 0 0 118054 12 0 0 25 0 1 0 847730920 17432576 2836 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4256 2836 566 18 0 4238 0 vsize: 17024 [startup+1190.49 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1512 Raw data (stat): 1457 (Pueblo-v2) R 1456 7266 7265 0 -1 0 2893 0 0 0 119054 12 0 0 25 0 1 0 847730920 17563648 2867 4294967295 134512640 134581267 3221224592 3221223520 134520043 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4288 2867 566 18 0 4270 0 vsize: 17152 [startup+1200.49 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1512 Raw data (stat): 1457 (Pueblo-v2) R 1456 7266 7265 0 -1 0 2897 0 0 0 120054 12 0 0 25 0 1 0 847730920 17563648 2871 4294967295 134512640 134581267 3221224592 3221223520 134520084 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4288 2871 566 18 0 4270 0 vsize: 17152 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.5 s] Raw data (loadavg): 1.00 1.00 0.93 1/54 1512 Raw data (stat): 1457 (Pueblo-v2) Z 1456 7266 7265 0 -1 1036 2897 0 0 0 120054 12 0 0 25 0 1 0 847730920 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.5 CPU time (s): 1200.68 CPU user time (s): 1200.55 CPU system time (s): 0.12998 CPU usage (%): 100.015 Max. virtual memory (Kb): 17152 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####