Name | normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-aflow40b.opb |
MD5SUM | 7872170cf5be0e3f0e6be125266c16ee |
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 | 1364 |
Biggest coefficient in the objective function | 500 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 230637 |
Number of bits of the sum of numbers in the objective function | 18 |
Biggest number in a constraint | 12800 |
Number of bits of the biggest number in a constraint | 14 |
Biggest sum of numbers in a constraint | 879673 |
Number of bits of the biggest sum of numbers | 20 |
Best result obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Number of variables | 19292 |
Total number of constraints | 4170 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 1403 |
Number of constraints which are nor clauses,nor cardinality constraints | 2767 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 980 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc3 THE 2005-06-02 21:38:57 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=27212 boxname=wulflinc3 idbench=1340 idsolver=19 numberseed=0 MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea /oldhome/oroussel/solvers/Pueblo-v2 MD5SUM BENCH: 7872170cf5be0e3f0e6be125266c16ee /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-aflow40b.opb REAL COMMAND: Pueblo-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-aflow40b.opb IDLAUNCH: 27212 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.190 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 : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.190 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: 296456 kB Buffers: 23944 kB Cached: 691720 kB SwapCached: 240 kB Active: 29172 kB Inactive: 688948 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 296204 kB SwapTotal: 2097136 kB SwapFree: 2096352 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6212 kB Slab: 14280 kB Committed_AS: 71792 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-02 21:59:00 (client local time) WITH STATUS 0 IN 1200.24 SECONDS stats: 27212 7 1200.24 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.95 0.90 2/54 20035 Raw data (stat): 20035 (runsolver) R 20034 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 853083893 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.0018 s] Raw data (loadavg): 0.93 0.96 0.91 2/54 20035 Raw data (stat): 20035 (Pueblo-v2) R 20034 20224 20223 0 -1 0 2739 0 0 0 992 7 0 0 25 0 1 0 853083893 17887232 2713 4294967295 134512640 134581267 3221224576 3221223472 134517862 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4367 2713 566 18 0 4349 0 vsize: 17468 [startup+20.0025 s] Raw data (loadavg): 0.94 0.96 0.91 2/54 20035 Raw data (stat): 20035 (Pueblo-v2) R 20034 20224 20223 0 -1 0 2789 0 0 0 1991 7 0 0 25 0 1 0 853083893 18161664 2763 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4434 2763 566 18 0 4416 0 vsize: 17736 [startup+30.0029 s] Raw data (loadavg): 0.95 0.96 0.91 2/54 20035 Raw data (stat): 20035 (Pueblo-v2) R 20034 20224 20223 0 -1 0 2960 0 0 0 2991 8 0 0 25 0 1 0 853083893 18776064 2934 4294967295 134512640 134581267 3221224576 3221223488 134527639 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4584 2934 566 18 0 4566 0 vsize: 18336 [startup+40.0032 s] Raw data (loadavg): 0.96 0.96 0.91 2/54 20035 Raw data (stat): 20035 (Pueblo-v2) R 20034 20224 20223 0 -1 0 3178 0 0 0 3990 8 0 0 25 0 1 0 853083893 19701760 3152 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4810 3152 566 18 0 4792 0 vsize: 19240 [startup+50.004 s] Raw data (loadavg): 0.96 0.96 0.91 2/54 20035 Raw data (stat): 20035 (Pueblo-v2) R 20034 20224 20223 0 -1 0 3612 0 0 0 4989 10 0 0 25 0 1 0 853083893 21417984 3586 4294967295 134512640 134581267 3221224576 3221223488 134527459 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5229 3586 566 18 0 5211 0 vsize: 20916 [startup+60.0044 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 20035 Raw data (stat): 20035 (Pueblo-v2) R 20034 20224 20223 0 -1 0 3955 0 0 0 5988 11 0 0 25 0 1 0 853083893 22863872 3929 4294967295 134512640 134581267 3221224576 3221223488 134527459 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5582 3929 566 18 0 5564 0 vsize: 22328 [startup+70.0057 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 20035 Raw data (stat): 20035 (Pueblo-v2) R 20034 20224 20223 0 -1 0 4214 0 0 0 6988 12 0 0 25 0 1 0 853083893 23916544 4188 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5839 4188 566 18 0 5821 0 vsize: 23356 [startup+80.0066 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 20035 Raw data (stat): 20035 (Pueblo-v2) R 20034 20224 20223 0 -1 0 4523 0 0 0 7987 13 0 0 25 0 1 0 853083893 25239552 4497 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6162 4497 566 18 0 6144 0 vsize: 24648 [startup+90.0069 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 20035 Raw data (stat): 20035 (Pueblo-v2) R 20034 20224 20223 0 -1 0 4523 0 0 0 8987 13 0 0 25 0 1 0 853083893 25239552 4497 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6162 4497 566 18 0 6144 0 vsize: 24648 [startup+100.008 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 20035 Raw data (stat): 20035 (Pueblo-v2) R 20034 20224 20223 0 -1 0 4523 0 0 0 9987 13 0 0 25 0 1 0 853083893 25239552 4497 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6162 4497 566 18 0 6144 0 vsize: 24648 [startup+110.009 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 20035 Raw data (stat): 20035 (Pueblo-v2) R 20034 20224 20223 0 -1 0 4578 0 0 0 10986 13 0 0 25 0 1 0 853083893 25354240 4552 4294967295 134512640 134581267 3221224576 3221223488 134527539 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6190 4552 566 18 0 6172 0 vsize: 24760 [startup+120.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20035 Raw data (stat): 20035 (Pueblo-v2) R 20034 20224 20223 0 -1 0 4717 0 0 0 11985 14 0 0 25 0 1 0 853083893 25997312 4691 4294967295 134512640 134581267 3221224576 3221223488 134527445 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6347 4691 566 18 0 6329 0 vsize: 25388 [startup+130.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20035 Raw data (stat): 20035 (Pueblo-v2) R 20034 20224 20223 0 -1 0 4717 0 0 0 12985 14 0 0 25 0 1 0 853083893 25997312 4691 4294967295 134512640 134581267 3221224576 3221223488 134528053 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6347 4691 566 18 0 6329 0 vsize: 25388 [startup+140.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20035 Raw data (stat): 20035 (Pueblo-v2) R 20034 20224 20223 0 -1 0 4717 0 0 0 13985 15 0 0 25 0 1 0 853083893 25997312 4691 4294967295 134512640 134581267 3221224576 3221223504 134519931 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6347 4691 566 18 0 6329 0 vsize: 25388 [startup+150.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20035 Raw data (stat): 20035 (Pueblo-v2) R 20034 20224 20223 0 -1 0 4985 0 0 0 14984 16 0 0 25 0 1 0 853083893 27033600 4959 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6600 4959 566 18 0 6582 0 vsize: 26400 [startup+160.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20035 Raw data (stat): 20035 (Pueblo-v2) R 20034 20224 20223 0 -1 0 5281 0 0 0 15984 16 0 0 25 0 1 0 853083893 28348416 5255 4294967295 134512640 134581267 3221224576 3221223488 134527429 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6921 5255 566 18 0 6903 0 vsize: 27684 [startup+170.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20035 Raw data (stat): 20035 (Pueblo-v2) R 20034 20224 20223 0 -1 0 5281 0 0 0 16984 16 0 0 25 0 1 0 853083893 28348416 5255 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6921 5255 566 18 0 6903 0 vsize: 27684 [startup+180.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20035 Raw data (stat): 20035 (Pueblo-v2) R 20034 20224 20223 0 -1 0 5281 0 0 0 17983 17 0 0 25 0 1 0 853083893 28348416 5255 4294967295 134512640 134581267 3221224576 3221223472 134517912 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6921 5255 566 18 0 6903 0 vsize: 27684 [startup+190.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20035 Raw data (stat): 20035 (Pueblo-v2) R 20034 20224 20223 0 -1 0 5281 0 0 0 18983 17 0 0 25 0 1 0 853083893 28348416 5255 4294967295 134512640 134581267 3221224576 3221223488 134527935 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6921 5255 566 18 0 6903 0 vsize: 27684 [startup+200.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20035 Raw data (stat): 20035 (Pueblo-v2) R 20034 20224 20223 0 -1 0 5369 0 0 0 19983 17 0 0 25 0 1 0 853083893 28598272 5343 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6982 5343 566 18 0 6964 0 vsize: 27928 [startup+210.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20035 Raw data (stat): 20035 (Pueblo-v2) R 20034 20224 20223 0 -1 0 5647 0 0 0 20982 18 0 0 25 0 1 0 853083893 29839360 5621 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7285 5621 566 18 0 7267 0 vsize: 29140 [startup+220.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20035 Raw data (stat): 20035 (Pueblo-v2) R 20034 20224 20223 0 -1 0 5896 0 0 0 21982 18 0 0 25 0 1 0 853083893 30846976 5870 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7531 5870 566 18 0 7513 0 vsize: 30124 [startup+230.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20035 Raw data (stat): 20035 (Pueblo-v2) R 20034 20224 20223 0 -1 0 6067 0 0 0 22982 19 0 0 25 0 1 0 853083893 31494144 6041 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7689 6041 566 18 0 7671 0 vsize: 30756 [startup+240.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20035 Raw data (stat): 20035 (Pueblo-v2) R 20034 20224 20223 0 -1 0 6324 0 0 0 23980 20 0 0 25 0 1 0 853083893 32595968 6298 4294967295 134512640 134581267 3221224576 3221223488 134527678 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7958 6298 566 18 0 7940 0 vsize: 31832 [startup+250.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20035 Raw data (stat): 20035 (Pueblo-v2) R 20034 20224 20223 0 -1 0 6741 0 0 0 24980 21 0 0 25 0 1 0 853083893 34217984 6715 4294967295 134512640 134581267 3221224576 3221223488 134527404 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8354 6715 566 18 0 8336 0 vsize: 33416 [startup+260.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20035 Raw data (stat): 20035 (Pueblo-v2) R 20034 20224 20223 0 -1 0 7038 0 0 0 25979 22 0 0 25 0 1 0 853083893 35524608 7012 4294967295 134512640 134581267 3221224576 3221223488 134527434 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8673 7012 566 18 0 8655 0 vsize: 34692 [startup+270.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20035 Raw data (stat): 20035 (Pueblo-v2) R 20034 20224 20223 0 -1 0 7303 0 0 0 26978 23 0 0 25 0 1 0 853083893 36519936 7277 4294967295 134512640 134581267 3221224576 3221223488 134527525 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8916 7277 566 18 0 8898 0 vsize: 35664 [startup+280.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20035 Raw data (stat): 20035 (Pueblo-v2) R 20034 20224 20223 0 -1 0 7303 0 0 0 27978 23 0 0 25 0 1 0 853083893 36519936 7277 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8916 7277 566 18 0 8898 0 vsize: 35664 [startup+290.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20035 Raw data (stat): 20035 (Pueblo-v2) R 20034 20224 20223 0 -1 0 7303 0 0 0 28978 23 0 0 25 0 1 0 853083893 36519936 7277 4294967295 134512640 134581267 3221224576 3221223488 134527774 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8916 7277 566 18 0 8898 0 vsize: 35664 [startup+300.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20035 Raw data (stat): 20035 (Pueblo-v2) R 20034 20224 20223 0 -1 0 7303 0 0 0 29978 23 0 0 25 0 1 0 853083893 36519936 7277 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8916 7277 566 18 0 8898 0 vsize: 35664 [startup+310.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20035 Raw data (stat): 20035 (Pueblo-v2) R 20034 20224 20223 0 -1 0 7303 0 0 0 30978 23 0 0 25 0 1 0 853083893 36519936 7277 4294967295 134512640 134581267 3221224576 3221223520 134558791 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8916 7277 566 18 0 8898 0 vsize: 35664 [startup+320.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20035 Raw data (stat): 20035 (Pueblo-v2) R 20034 20224 20223 0 -1 0 7388 0 0 0 31978 24 0 0 25 0 1 0 853083893 36904960 7362 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9010 7362 566 18 0 8992 0 vsize: 36040 [startup+330.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20035 Raw data (stat): 20035 (Pueblo-v2) R 20034 20224 20223 0 -1 0 7729 0 0 0 32977 25 0 0 25 0 1 0 853083893 38309888 7703 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9353 7703 566 18 0 9335 0 vsize: 37412 [startup+340.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20035 Raw data (stat): 20035 (Pueblo-v2) R 20034 20224 20223 0 -1 0 7961 0 0 0 33976 26 0 0 25 0 1 0 853083893 39227392 7935 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9577 7935 566 18 0 9559 0 vsize: 38308 [startup+350.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20035 Raw data (stat): 20035 (Pueblo-v2) R 20034 20224 20223 0 -1 0 8258 0 0 0 34976 26 0 0 25 0 1 0 853083893 40521728 8232 4294967295 134512640 134581267 3221224576 3221223488 134528045 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9893 8232 566 18 0 9875 0 vsize: 39572 [startup+360.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20035 Raw data (stat): 20035 (Pueblo-v2) R 20034 20224 20223 0 -1 0 8540 0 0 0 35974 28 0 0 25 0 1 0 853083893 41660416 8514 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10171 8514 566 18 0 10153 0 vsize: 40684 [startup+370.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20035 Raw data (stat): 20035 (Pueblo-v2) R 20034 20224 20223 0 -1 0 8831 0 0 0 36974 29 0 0 25 0 1 0 853083893 42799104 8805 4294967295 134512640 134581267 3221224576 3221223488 134527670 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10449 8805 566 18 0 10431 0 vsize: 41796 [startup+380.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20035 Raw data (stat): 20035 (Pueblo-v2) R 20034 20224 20223 0 -1 0 9097 0 0 0 37973 30 0 0 25 0 1 0 853083893 43937792 9071 4294967295 134512640 134581267 3221224576 3221223440 134528352 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10727 9071 566 18 0 10709 0 vsize: 42908 [startup+390.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20035 Raw data (stat): 20035 (Pueblo-v2) R 20034 20224 20223 0 -1 0 9476 0 0 0 38972 31 0 0 25 0 1 0 853083893 45481984 9450 4294967295 134512640 134581267 3221224576 3221223488 134528040 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11104 9450 566 18 0 11086 0 vsize: 44416 [startup+400.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20035 Raw data (stat): 20035 (Pueblo-v2) R 20034 20224 20223 0 -1 0 9897 0 0 0 39971 32 0 0 25 0 1 0 853083893 47259648 9871 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11538 9871 566 18 0 11520 0 vsize: 46152 [startup+410.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20035 Raw data (stat): 20035 (Pueblo-v2) R 20034 20224 20223 0 -1 0 10152 0 0 0 40971 32 0 0 25 0 1 0 853083893 48267264 10126 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11784 10126 566 18 0 11766 0 vsize: 47136 [startup+420.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20035 Raw data (stat): 20035 (Pueblo-v2) R 20034 20224 20223 0 -1 0 10152 0 0 0 41971 32 0 0 25 0 1 0 853083893 48267264 10126 4294967295 134512640 134581267 3221224576 3221223488 134527404 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11784 10126 566 18 0 11766 0 vsize: 47136 [startup+430.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20035 Raw data (stat): 20035 (Pueblo-v2) R 20034 20224 20223 0 -1 0 10152 0 0 0 42971 32 0 0 25 0 1 0 853083893 48267264 10126 4294967295 134512640 134581267 3221224576 3221223488 134527451 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11784 10126 566 18 0 11766 0 vsize: 47136 [startup+440.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20035 Raw data (stat): 20035 (Pueblo-v2) R 20034 20224 20223 0 -1 0 10152 0 0 0 43971 32 0 0 25 0 1 0 853083893 48267264 10126 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11784 10126 566 18 0 11766 0 vsize: 47136 [startup+450.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20035 Raw data (stat): 20035 (Pueblo-v2) R 20034 20224 20223 0 -1 0 10152 0 0 0 44971 33 0 0 25 0 1 0 853083893 48267264 10126 4294967295 134512640 134581267 3221224576 3221223488 134527504 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11784 10126 566 18 0 11766 0 vsize: 47136 [startup+460.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20035 Raw data (stat): 20035 (Pueblo-v2) R 20034 20224 20223 0 -1 0 10152 0 0 0 45972 33 0 0 25 0 1 0 853083893 48267264 10126 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11784 10126 566 18 0 11766 0 vsize: 47136 [startup+470.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20035 Raw data (stat): 20035 (Pueblo-v2) R 20034 20224 20223 0 -1 0 10152 0 0 0 46972 33 0 0 25 0 1 0 853083893 48267264 10126 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11784 10126 566 18 0 11766 0 vsize: 47136 [startup+480.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20035 Raw data (stat): 20035 (Pueblo-v2) R 20034 20224 20223 0 -1 0 10152 0 0 0 47972 33 0 0 25 0 1 0 853083893 48267264 10126 4294967295 134512640 134581267 3221224576 3221223504 134519812 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11784 10126 566 18 0 11766 0 vsize: 47136 [startup+490.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20035 Raw data (stat): 20035 (Pueblo-v2) R 20034 20224 20223 0 -1 0 10152 0 0 0 48972 33 0 0 25 0 1 0 853083893 48267264 10126 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11784 10126 566 18 0 11766 0 vsize: 47136 [startup+500.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20035 Raw data (stat): 20035 (Pueblo-v2) R 20034 20224 20223 0 -1 0 10152 0 0 0 49972 33 0 0 25 0 1 0 853083893 48267264 10126 4294967295 134512640 134581267 3221224576 3221223488 134528042 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11784 10126 566 18 0 11766 0 vsize: 47136 [startup+510.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20035 Raw data (stat): 20035 (Pueblo-v2) R 20034 20224 20223 0 -1 0 10152 0 0 0 50972 33 0 0 25 0 1 0 853083893 48267264 10126 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11784 10126 566 18 0 11766 0 vsize: 47136 [startup+520.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20035 Raw data (stat): 20035 (Pueblo-v2) R 20034 20224 20223 0 -1 0 10152 0 0 0 51973 33 0 0 25 0 1 0 853083893 48267264 10126 4294967295 134512640 134581267 3221224576 3221223488 134527768 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11784 10126 566 18 0 11766 0 vsize: 47136 [startup+530.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20035 Raw data (stat): 20035 (Pueblo-v2) R 20034 20224 20223 0 -1 0 10152 0 0 0 52973 33 0 0 25 0 1 0 853083893 48267264 10126 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11784 10126 566 18 0 11766 0 vsize: 47136 [startup+540.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20035 Raw data (stat): 20035 (Pueblo-v2) R 20034 20224 20223 0 -1 0 10260 0 0 0 53973 33 0 0 25 0 1 0 853083893 48726016 10234 4294967295 134512640 134581267 3221224576 3221223472 134517897 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11896 10234 566 18 0 11878 0 vsize: 47584 [startup+550.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20035 Raw data (stat): 20035 (Pueblo-v2) R 20034 20224 20223 0 -1 0 10410 0 0 0 54972 33 0 0 25 0 1 0 853083893 49332224 10384 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12044 10384 566 18 0 12026 0 vsize: 48176 [startup+560.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20035 Raw data (stat): 20035 (Pueblo-v2) R 20034 20224 20223 0 -1 0 10561 0 0 0 55972 34 0 0 25 0 1 0 853083893 49930240 10535 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12190 10535 566 18 0 12172 0 vsize: 48760 [startup+570.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20035 Raw data (stat): 20035 (Pueblo-v2) R 20034 20224 20223 0 -1 0 10719 0 0 0 56973 34 0 0 25 0 1 0 853083893 50655232 10693 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12367 10693 566 18 0 12349 0 vsize: 49468 [startup+580.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20035 Raw data (stat): 20035 (Pueblo-v2) R 20034 20224 20223 0 -1 0 10874 0 0 0 57972 34 0 0 25 0 1 0 853083893 51224576 10848 4294967295 134512640 134581267 3221224576 3221223472 134517902 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12506 10848 566 18 0 12488 0 vsize: 50024 [startup+590.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20035 Raw data (stat): 20035 (Pueblo-v2) R 20034 20224 20223 0 -1 0 10978 0 0 0 58972 35 0 0 25 0 1 0 853083893 51634176 10952 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12606 10952 566 18 0 12588 0 vsize: 50424 [startup+600.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20035 Raw data (stat): 20035 (Pueblo-v2) R 20034 20224 20223 0 -1 0 11082 0 0 0 59972 35 0 0 25 0 1 0 853083893 52039680 11056 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12705 11056 566 18 0 12687 0 vsize: 50820 [startup+610.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20035 Raw data (stat): 20035 (Pueblo-v2) R 20034 20224 20223 0 -1 0 11404 0 0 0 60972 36 0 0 25 0 1 0 853083893 53415936 11378 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13041 11378 566 18 0 13023 0 vsize: 52164 [startup+620.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20035 Raw data (stat): 20035 (Pueblo-v2) R 20034 20224 20223 0 -1 0 11741 0 0 0 61971 36 0 0 25 0 1 0 853083893 54808576 11715 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13381 11715 566 18 0 13363 0 vsize: 53524 [startup+630.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20035 Raw data (stat): 20035 (Pueblo-v2) R 20034 20224 20223 0 -1 0 11974 0 0 0 62971 37 0 0 25 0 1 0 853083893 55721984 11948 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13604 11948 566 18 0 13586 0 vsize: 54416 [startup+640.037 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20035 Raw data (stat): 20035 (Pueblo-v2) R 20034 20224 20223 0 -1 0 12181 0 0 0 63971 37 0 0 25 0 1 0 853083893 56643584 12155 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13829 12155 566 18 0 13811 0 vsize: 55316 [startup+650.037 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20035 Raw data (stat): 20035 (Pueblo-v2) R 20034 20224 20223 0 -1 0 12330 0 0 0 64971 37 0 0 25 0 1 0 853083893 57118720 12304 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13945 12304 566 18 0 13927 0 vsize: 55780 [startup+660.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20035 Raw data (stat): 20035 (Pueblo-v2) R 20034 20224 20223 0 -1 0 12506 0 0 0 65971 37 0 0 25 0 1 0 853083893 57929728 12480 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14143 12480 566 18 0 14125 0 vsize: 56572 [startup+670.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20035 Raw data (stat): 20035 (Pueblo-v2) R 20034 20224 20223 0 -1 0 12877 0 0 0 66970 38 0 0 25 0 1 0 853083893 59420672 12851 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14507 12851 566 18 0 14489 0 vsize: 58028 [startup+680.037 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20035 Raw data (stat): 20035 (Pueblo-v2) R 20034 20224 20223 0 -1 0 13107 0 0 0 67970 38 0 0 25 0 1 0 853083893 60325888 13081 4294967295 134512640 134581267 3221224576 3221223472 134517900 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14728 13081 566 18 0 14710 0 vsize: 58912 [startup+690.042 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20035 Raw data (stat): 20035 (Pueblo-v2) R 20034 20224 20223 0 -1 0 13343 0 0 0 68970 39 0 0 25 0 1 0 853083893 61280256 13317 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14961 13317 566 18 0 14943 0 vsize: 59844 [startup+700.043 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20035 Raw data (stat): 20035 (Pueblo-v2) R 20034 20224 20223 0 -1 0 13514 0 0 0 69970 39 0 0 25 0 1 0 853083893 61972480 13488 4294967295 134512640 134581267 3221224576 3221223472 134517871 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 15130 13488 566 18 0 15112 0 vsize: 60520 [startup+710.044 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20035 Raw data (stat): 20035 (Pueblo-v2) R 20034 20224 20223 0 -1 0 13764 0 0 0 70970 40 0 0 25 0 1 0 853083893 63094784 13738 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 15404 13738 566 18 0 15386 0 vsize: 61616 [startup+720.044 s] Raw data (loadavg): 0.99 0.97 0.91 3/54 20035 Raw data (stat): 20035 (Pueblo-v2) R 20034 20224 20223 0 -1 0 13932 0 0 0 71969 41 0 0 25 0 1 0 853083893 63737856 13906 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 15561 13906 566 18 0 15543 0 vsize: 62244 [startup+730.044 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20035 Raw data (stat): 20035 (Pueblo-v2) R 20034 20224 20223 0 -1 0 14425 0 0 0 72968 42 0 0 25 0 1 0 853083893 65748992 14399 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16052 14399 566 18 0 16034 0 vsize: 64208 [startup+740.044 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20035 Raw data (stat): 20035 (Pueblo-v2) R 20034 20224 20223 0 -1 0 14692 0 0 0 73967 43 0 0 25 0 1 0 853083893 66912256 14666 4294967295 134512640 134581267 3221224576 3221223472 134517871 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16336 14666 566 18 0 16318 0 vsize: 65344 [startup+750.044 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20035 Raw data (stat): 20035 (Pueblo-v2) R 20034 20224 20223 0 -1 0 14993 0 0 0 74967 43 0 0 25 0 1 0 853083893 68059136 14967 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16616 14967 566 18 0 16598 0 vsize: 66464 [startup+760.045 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20035 Raw data (stat): 20035 (Pueblo-v2) R 20034 20224 20223 0 -1 0 15154 0 0 0 75967 44 0 0 25 0 1 0 853083893 68698112 15128 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16772 15128 566 18 0 16754 0 vsize: 67088 [startup+770.045 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20035 Raw data (stat): 20035 (Pueblo-v2) R 20034 20224 20223 0 -1 0 15218 0 0 0 76966 44 0 0 25 0 1 0 853083893 68997120 15192 4294967295 134512640 134581267 3221224576 3221223472 134517902 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16845 15192 566 18 0 16827 0 vsize: 67380 [startup+780.045 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20035 Raw data (stat): 20035 (Pueblo-v2) R 20034 20224 20223 0 -1 0 15273 0 0 0 77966 45 0 0 25 0 1 0 853083893 69197824 15247 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16894 15247 566 18 0 16876 0 vsize: 67576 [startup+790.046 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20035 Raw data (stat): 20035 (Pueblo-v2) R 20034 20224 20223 0 -1 0 15417 0 0 0 78966 45 0 0 25 0 1 0 853083893 69775360 15391 4294967295 134512640 134581267 3221224576 3221223488 134527434 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17035 15391 566 18 0 17017 0 vsize: 68140 [startup+800.045 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20035 Raw data (stat): 20035 (Pueblo-v2) R 20034 20224 20223 0 -1 0 15639 0 0 0 79966 45 0 0 25 0 1 0 853083893 70688768 15613 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17258 15613 566 18 0 17240 0 vsize: 69032 [startup+810.048 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20035 Raw data (stat): 20035 (Pueblo-v2) R 20034 20224 20223 0 -1 0 15741 0 0 0 80966 46 0 0 25 0 1 0 853083893 71106560 15715 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17360 15715 566 18 0 17342 0 vsize: 69440 [startup+820.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20035 Raw data (stat): 20035 (Pueblo-v2) R 20034 20224 20223 0 -1 0 15849 0 0 0 81966 46 0 0 25 0 1 0 853083893 71667712 15823 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17497 15823 566 18 0 17479 0 vsize: 69988 [startup+830.049 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20035 Raw data (stat): 20035 (Pueblo-v2) R 20034 20224 20223 0 -1 0 15971 0 0 0 82966 46 0 0 25 0 1 0 853083893 72069120 15945 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17595 15945 566 18 0 17577 0 vsize: 70380 [startup+840.049 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20035 Raw data (stat): 20035 (Pueblo-v2) R 20034 20224 20223 0 -1 0 16136 0 0 0 83966 47 0 0 25 0 1 0 853083893 72765440 16110 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17765 16110 566 18 0 17747 0 vsize: 71060 [startup+850.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20035 Raw data (stat): 20035 (Pueblo-v2) R 20034 20224 20223 0 -1 0 16339 0 0 0 84965 47 0 0 25 0 1 0 853083893 73560064 16313 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17959 16313 566 18 0 17941 0 vsize: 71836 [startup+860.049 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20035 Raw data (stat): 20035 (Pueblo-v2) R 20034 20224 20223 0 -1 0 16524 0 0 0 85965 47 0 0 25 0 1 0 853083893 74428416 16498 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18171 16498 566 18 0 18153 0 vsize: 72684 [startup+870.054 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20035 Raw data (stat): 20035 (Pueblo-v2) R 20034 20224 20223 0 -1 0 16724 0 0 0 86966 48 0 0 25 0 1 0 853083893 75128832 16698 4294967295 134512640 134581267 3221224576 3221223472 134517862 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18342 16698 566 18 0 18324 0 vsize: 73368 [startup+880.055 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20035 Raw data (stat): 20035 (Pueblo-v2) R 20034 20224 20223 0 -1 0 16851 0 0 0 87965 48 0 0 25 0 1 0 853083893 75657216 16825 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18471 16825 566 18 0 18453 0 vsize: 73884 [startup+890.055 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20035 Raw data (stat): 20035 (Pueblo-v2) R 20034 20224 20223 0 -1 0 16977 0 0 0 88965 49 0 0 25 0 1 0 853083893 76283904 16951 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18624 16951 566 18 0 18606 0 vsize: 74496 [startup+900.055 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20035 Raw data (stat): 20035 (Pueblo-v2) R 20034 20224 20223 0 -1 0 17090 0 0 0 89965 49 0 0 25 0 1 0 853083893 76636160 17064 4294967295 134512640 134581267 3221224576 3221223472 134517868 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18710 17064 566 18 0 18692 0 vsize: 74840 [startup+910.055 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20035 Raw data (stat): 20035 (Pueblo-v2) R 20034 20224 20223 0 -1 0 17208 0 0 0 90965 49 0 0 25 0 1 0 853083893 77119488 17182 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18828 17182 566 18 0 18810 0 vsize: 75312 [startup+920.055 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20035 Raw data (stat): 20035 (Pueblo-v2) R 20034 20224 20223 0 -1 0 17320 0 0 0 91965 49 0 0 25 0 1 0 853083893 77606912 17294 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18947 17294 566 18 0 18929 0 vsize: 75788 [startup+930.055 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20035 Raw data (stat): 20035 (Pueblo-v2) R 20034 20224 20223 0 -1 0 17439 0 0 0 92965 49 0 0 25 0 1 0 853083893 78114816 17413 4294967295 134512640 134581267 3221224576 3221223472 134517862 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19071 17413 566 18 0 19053 0 vsize: 76284 [startup+940.056 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20035 Raw data (stat): 20035 (Pueblo-v2) R 20034 20224 20223 0 -1 0 17608 0 0 0 93965 50 0 0 25 0 1 0 853083893 78802944 17582 4294967295 134512640 134581267 3221224576 3221223488 134527695 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19239 17582 566 18 0 19221 0 vsize: 76956 [startup+950.056 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20035 Raw data (stat): 20035 (Pueblo-v2) R 20034 20224 20223 0 -1 0 17831 0 0 0 94965 50 0 0 25 0 1 0 853083893 79667200 17805 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19450 17805 566 18 0 19432 0 vsize: 77800 [startup+960.057 s] Raw data (loadavg): 0.99 0.97 0.91 3/54 20035 Raw data (stat): 20035 (Pueblo-v2) R 20034 20224 20223 0 -1 0 18043 0 0 0 95965 50 0 0 25 0 1 0 853083893 80650240 18017 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19690 18017 566 18 0 19672 0 vsize: 78760 [startup+970.057 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20035 Raw data (stat): 20035 (Pueblo-v2) R 20034 20224 20223 0 -1 0 18098 0 0 0 96965 50 0 0 25 0 1 0 853083893 80830464 18072 4294967295 134512640 134581267 3221224576 3221223472 134517883 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19734 18072 566 18 0 19716 0 vsize: 78936 [startup+980.056 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20035 Raw data (stat): 20035 (Pueblo-v2) R 20034 20224 20223 0 -1 0 18098 0 0 0 97965 50 0 0 25 0 1 0 853083893 80830464 18072 4294967295 134512640 134581267 3221224576 3221223472 134517862 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19734 18072 566 18 0 19716 0 vsize: 78936 [startup+990.057 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20035 Raw data (stat): 20035 (Pueblo-v2) R 20034 20224 20223 0 -1 0 18098 0 0 0 98965 50 0 0 25 0 1 0 853083893 80830464 18072 4294967295 134512640 134581267 3221224576 3221223504 134519952 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19734 18072 566 18 0 19716 0 vsize: 78936 [startup+1000.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20035 Raw data (stat): 20035 (Pueblo-v2) R 20034 20224 20223 0 -1 0 18098 0 0 0 99965 50 0 0 25 0 1 0 853083893 80830464 18072 4294967295 134512640 134581267 3221224576 3221223488 134527695 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19734 18072 566 18 0 19716 0 vsize: 78936 [startup+1010.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20035 Raw data (stat): 20035 (Pueblo-v2) R 20034 20224 20223 0 -1 0 18098 0 0 0 100965 50 0 0 25 0 1 0 853083893 80830464 18072 4294967295 134512640 134581267 3221224576 3221223488 134527661 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19734 18072 566 18 0 19716 0 vsize: 78936 [startup+1020.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20035 Raw data (stat): 20035 (Pueblo-v2) R 20034 20224 20223 0 -1 0 18098 0 0 0 101966 50 0 0 25 0 1 0 853083893 80830464 18072 4294967295 134512640 134581267 3221224576 3221223488 134527434 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19734 18072 566 18 0 19716 0 vsize: 78936 [startup+1030.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20035 Raw data (stat): 20035 (Pueblo-v2) R 20034 20224 20223 0 -1 0 18098 0 0 0 102966 50 0 0 25 0 1 0 853083893 80830464 18072 4294967295 134512640 134581267 3221224576 3221223472 134517868 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19734 18072 566 18 0 19716 0 vsize: 78936 [startup+1040.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20035 Raw data (stat): 20035 (Pueblo-v2) R 20034 20224 20223 0 -1 0 18098 0 0 0 103966 50 0 0 25 0 1 0 853083893 80830464 18072 4294967295 134512640 134581267 3221224576 3221223488 134527451 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19734 18072 566 18 0 19716 0 vsize: 78936 [startup+1050.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20035 Raw data (stat): 20035 (Pueblo-v2) R 20034 20224 20223 0 -1 0 18098 0 0 0 104966 51 0 0 25 0 1 0 853083893 80830464 18072 4294967295 134512640 134581267 3221224576 3221223552 134560674 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19734 18072 566 18 0 19716 0 vsize: 78936 [startup+1060.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20035 Raw data (stat): 20035 (Pueblo-v2) R 20034 20224 20223 0 -1 0 18098 0 0 0 105966 51 0 0 25 0 1 0 853083893 80830464 18072 4294967295 134512640 134581267 3221224576 3221223472 134517902 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19734 18072 566 18 0 19716 0 vsize: 78936 [startup+1070.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20035 Raw data (stat): 20035 (Pueblo-v2) R 20034 20224 20223 0 -1 0 18098 0 0 0 106967 51 0 0 25 0 1 0 853083893 80830464 18072 4294967295 134512640 134581267 3221224576 3221223472 134517883 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19734 18072 566 18 0 19716 0 vsize: 78936 [startup+1080.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20035 Raw data (stat): 20035 (Pueblo-v2) R 20034 20224 20223 0 -1 0 18098 0 0 0 107967 51 0 0 25 0 1 0 853083893 80830464 18072 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19734 18072 566 18 0 19716 0 vsize: 78936 [startup+1090.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20035 Raw data (stat): 20035 (Pueblo-v2) R 20034 20224 20223 0 -1 0 18098 0 0 0 108967 51 0 0 25 0 1 0 853083893 80830464 18072 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19734 18072 566 18 0 19716 0 vsize: 78936 [startup+1100.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20035 Raw data (stat): 20035 (Pueblo-v2) R 20034 20224 20223 0 -1 0 18098 0 0 0 109967 51 0 0 25 0 1 0 853083893 80830464 18072 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19734 18072 566 18 0 19716 0 vsize: 78936 [startup+1110.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20035 Raw data (stat): 20035 (Pueblo-v2) R 20034 20224 20223 0 -1 0 18098 0 0 0 110967 51 0 0 25 0 1 0 853083893 80830464 18072 4294967295 134512640 134581267 3221224576 3221223472 134517779 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19734 18072 566 18 0 19716 0 vsize: 78936 [startup+1120.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20035 Raw data (stat): 20035 (Pueblo-v2) R 20034 20224 20223 0 -1 0 18098 0 0 0 111967 51 0 0 25 0 1 0 853083893 80830464 18072 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19734 18072 566 18 0 19716 0 vsize: 78936 [startup+1130.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20035 Raw data (stat): 20035 (Pueblo-v2) R 20034 20224 20223 0 -1 0 18098 0 0 0 112968 51 0 0 25 0 1 0 853083893 80830464 18072 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19734 18072 566 18 0 19716 0 vsize: 78936 [startup+1140.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20035 Raw data (stat): 20035 (Pueblo-v2) R 20034 20224 20223 0 -1 0 18098 0 0 0 113968 51 0 0 25 0 1 0 853083893 80830464 18072 4294967295 134512640 134581267 3221224576 3221223488 134527703 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19734 18072 566 18 0 19716 0 vsize: 78936 [startup+1150.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20035 Raw data (stat): 20035 (Pueblo-v2) R 20034 20224 20223 0 -1 0 18098 0 0 0 114968 51 0 0 25 0 1 0 853083893 80830464 18072 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19734 18072 566 18 0 19716 0 vsize: 78936 [startup+1160.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20035 Raw data (stat): 20035 (Pueblo-v2) R 20034 20224 20223 0 -1 0 18098 0 0 0 115968 51 0 0 25 0 1 0 853083893 80830464 18072 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19734 18072 566 18 0 19716 0 vsize: 78936 [startup+1170.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20035 Raw data (stat): 20035 (Pueblo-v2) R 20034 20224 20223 0 -1 0 18098 0 0 0 116968 51 0 0 25 0 1 0 853083893 80830464 18072 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19734 18072 566 18 0 19716 0 vsize: 78936 [startup+1180.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20035 Raw data (stat): 20035 (Pueblo-v2) R 20034 20224 20223 0 -1 0 18098 0 0 0 117968 51 0 0 25 0 1 0 853083893 80830464 18072 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19734 18072 566 18 0 19716 0 vsize: 78936 [startup+1190.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20035 Raw data (stat): 20035 (Pueblo-v2) R 20034 20224 20223 0 -1 0 18098 0 0 0 118969 51 0 0 25 0 1 0 853083893 80830464 18072 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19734 18072 566 18 0 19716 0 vsize: 78936 [startup+1200.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20035 Raw data (stat): 20035 (Pueblo-v2) R 20034 20224 20223 0 -1 0 18098 0 0 0 119969 51 0 0 25 0 1 0 853083893 80830464 18072 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19734 18072 566 18 0 19716 0 vsize: 78936 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.1 s] Raw data (loadavg): 0.99 0.97 0.91 1/54 20035 Raw data (stat): 20035 (Pueblo-v2) Z 20034 20224 20223 0 -1 1036 18098 0 0 0 119969 54 0 0 25 0 1 0 853083893 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.1 CPU time (s): 1200.24 CPU user time (s): 1199.69 CPU system time (s): 0.547916 CPU usage (%): 100.012 Max. virtual memory (Kb): 78936 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####