PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-g250.29.opb
MD5SUM	95af9ee9e7f41d7e844f72bb8840ff83
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
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	14500
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	14500
Number of bits of the sum of numbers in the objective function	14
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	14500
Number of bits of the biggest sum of numbers	14
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.12398
Number of variables	14500
Total number of constraints	461872
Number of constraints which are clauses	461872
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	29
Trace number 38339

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-02 07:05:48 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26403 boxname=wulflinc5 idbench=133 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  95af9ee9e7f41d7e844f72bb8840ff83  /oldhome/oroussel/tmp/wulflinc5/normalized-g250.29.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-g250.29.opb
IDLAUNCH: 26403
/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:        664972 kB
Buffers:         34552 kB
Cached:         311136 kB
SwapCached:        568 kB
Active:          65048 kB
Inactive:       282744 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        664720 kB
SwapTotal:     2097136 kB
SwapFree:      2095632 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5140 kB
Slab:            16200 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 07:25:51 (client local time) WITH STATUS 0 IN 1200.28 SECONDS
stats: 26403 7 1200.28 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.86 0.97 0.92 1/54 1607
Raw data (stat): 1607 (runsolver) R 1606 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 847852345 884736 94 4294967295 134512640 135332820 3221224480 3221219660 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.0009 s]
Raw data (loadavg): 0.88 0.97 0.92 2/54 1609
Raw data (stat): 1607 (Pueblo-v2) R 1606 7266 7265 0 -1 0 9467 0 0 0 975 23 0 0 25 0 1 0 847852345 44347392 9442 4294967295 134512640 134581267 3221224592 3217028840 134533931 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10827 9442 566 18 0 10809 0
vsize: 43308
[startup+20.0012 s]
Raw data (loadavg): 0.90 0.97 0.92 2/54 1609
Raw data (stat): 1607 (Pueblo-v2) R 1606 7266 7265 0 -1 0 14816 0 0 0 1964 35 0 0 25 0 1 0 847852345 66301952 14790 4294967295 134512640 134581267 3221224592 3221223584 134531696 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16187 14790 566 18 0 16169 0
vsize: 64748
[startup+30.0024 s]
Raw data (loadavg): 0.91 0.97 0.92 2/54 1609
Raw data (stat): 1607 (Pueblo-v2) R 1606 7266 7265 0 -1 0 14891 0 0 0 2963 36 0 0 25 0 1 0 847852345 66564096 14865 4294967295 134512640 134581267 3221224592 3221223584 134531696 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16251 14865 566 18 0 16233 0
vsize: 65004
[startup+40.0031 s]
Raw data (loadavg): 0.93 0.97 0.92 2/54 1609
Raw data (stat): 1607 (Pueblo-v2) R 1606 7266 7265 0 -1 0 14934 0 0 0 3963 36 0 0 25 0 1 0 847852345 66826240 14908 4294967295 134512640 134581267 3221224592 3221223600 134531293 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16315 14908 566 18 0 16297 0
vsize: 65260
[startup+50.0044 s]
Raw data (loadavg): 0.94 0.97 0.92 2/54 1609
Raw data (stat): 1607 (Pueblo-v2) R 1606 7266 7265 0 -1 0 14977 0 0 0 4962 37 0 0 25 0 1 0 847852345 67350528 14951 4294967295 134512640 134581267 3221224592 3221223584 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16443 14951 566 18 0 16425 0
vsize: 65772
[startup+60.0046 s]
Raw data (loadavg): 0.95 0.97 0.92 2/54 1609
Raw data (stat): 1607 (Pueblo-v2) R 1606 7266 7265 0 -1 0 15021 0 0 0 5962 37 0 0 25 0 1 0 847852345 67350528 14995 4294967295 134512640 134581267 3221224592 3221223600 134531292 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16443 14995 566 18 0 16425 0
vsize: 65772
[startup+70.0043 s]
Raw data (loadavg): 0.95 0.97 0.92 2/54 1609
Raw data (stat): 1607 (Pueblo-v2) R 1606 7266 7265 0 -1 0 15064 0 0 0 6962 38 0 0 25 0 1 0 847852345 67350528 15038 4294967295 134512640 134581267 3221224592 3221223600 134531292 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16443 15038 566 18 0 16425 0
vsize: 65772
[startup+80.0046 s]
Raw data (loadavg): 0.96 0.97 0.92 2/54 1609
Raw data (stat): 1607 (Pueblo-v2) R 1606 7266 7265 0 -1 0 15107 0 0 0 7962 38 0 0 25 0 1 0 847852345 68399104 15081 4294967295 134512640 134581267 3221224592 3221223584 134531688 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16699 15081 566 18 0 16681 0
vsize: 66796
[startup+90.0048 s]
Raw data (loadavg): 0.97 0.97 0.92 2/54 1609
Raw data (stat): 1607 (Pueblo-v2) R 1606 7266 7265 0 -1 0 15217 0 0 0 8962 38 0 0 25 0 1 0 847852345 68804608 15191 4294967295 134512640 134581267 3221224592 3221223584 134531696 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16798 15191 566 18 0 16780 0
vsize: 67192
[startup+100.005 s]
Raw data (loadavg): 0.97 0.97 0.92 2/54 1609
Raw data (stat): 1607 (Pueblo-v2) R 1606 7266 7265 0 -1 0 15697 0 0 0 9961 39 0 0 25 0 1 0 847852345 70561792 15671 4294967295 134512640 134581267 3221224592 3221223600 134531292 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17227 15671 566 18 0 17209 0
vsize: 68908
[startup+110.007 s]
Raw data (loadavg): 0.97 0.97 0.92 2/54 1609
Raw data (stat): 1607 (Pueblo-v2) R 1606 7266 7265 0 -1 0 16211 0 0 0 10960 41 0 0 25 0 1 0 847852345 72454144 16185 4294967295 134512640 134581267 3221224592 3221223584 134531696 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17689 16185 566 18 0 17671 0
vsize: 70756
[startup+120.007 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 1609
Raw data (stat): 1607 (Pueblo-v2) R 1606 7266 7265 0 -1 0 17121 0 0 0 11957 43 0 0 25 0 1 0 847852345 75968512 17095 4294967295 134512640 134581267 3221224592 3221223568 134560674 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18547 17095 566 18 0 18529 0
vsize: 74188
[startup+130.007 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 1609
Raw data (stat): 1607 (Pueblo-v2) R 1606 7266 7265 0 -1 0 17136 0 0 0 12957 44 0 0 25 0 1 0 847852345 76128256 17110 4294967295 134512640 134581267 3221224592 3221223552 134519781 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18586 17110 566 18 0 18568 0
vsize: 74344
[startup+140.008 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 1609
Raw data (stat): 1607 (Pueblo-v2) R 1606 7266 7265 0 -1 0 17136 0 0 0 13957 44 0 0 25 0 1 0 847852345 76128256 17110 4294967295 134512640 134581267 3221224592 3221223488 134517873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18586 17110 566 18 0 18568 0
vsize: 74344
[startup+150.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1609
Raw data (stat): 1607 (Pueblo-v2) R 1606 7266 7265 0 -1 0 17136 0 0 0 14956 44 0 0 25 0 1 0 847852345 76128256 17110 4294967295 134512640 134581267 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18586 17110 566 18 0 18568 0
vsize: 74344
[startup+160.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1609
Raw data (stat): 1607 (Pueblo-v2) R 1606 7266 7265 0 -1 0 17136 0 0 0 15956 44 0 0 25 0 1 0 847852345 76128256 17110 4294967295 134512640 134581267 3221224592 3221223488 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18586 17110 566 18 0 18568 0
vsize: 74344
[startup+170.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1609
Raw data (stat): 1607 (Pueblo-v2) R 1606 7266 7265 0 -1 0 17136 0 0 0 16957 45 0 0 25 0 1 0 847852345 76128256 17110 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18586 17110 566 18 0 18568 0
vsize: 74344
[startup+180.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1609
Raw data (stat): 1607 (Pueblo-v2) R 1606 7266 7265 0 -1 0 17136 0 0 0 17956 45 0 0 25 0 1 0 847852345 76128256 17110 4294967295 134512640 134581267 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18586 17110 566 18 0 18568 0
vsize: 74344
[startup+190.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1609
Raw data (stat): 1607 (Pueblo-v2) R 1606 7266 7265 0 -1 0 17136 0 0 0 18956 45 0 0 25 0 1 0 847852345 76128256 17110 4294967295 134512640 134581267 3221224592 3221223488 134517900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18586 17110 566 18 0 18568 0
vsize: 74344
[startup+200.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1609
Raw data (stat): 1607 (Pueblo-v2) R 1606 7266 7265 0 -1 0 17136 0 0 0 19956 45 0 0 25 0 1 0 847852345 76128256 17110 4294967295 134512640 134581267 3221224592 3221223488 134517873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18586 17110 566 18 0 18568 0
vsize: 74344
[startup+210.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1609
Raw data (stat): 1607 (Pueblo-v2) R 1606 7266 7265 0 -1 0 17136 0 0 0 20956 46 0 0 25 0 1 0 847852345 76128256 17110 4294967295 134512640 134581267 3221224592 3221223488 134517868 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18586 17110 566 18 0 18568 0
vsize: 74344
[startup+220.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1609
Raw data (stat): 1607 (Pueblo-v2) R 1606 7266 7265 0 -1 0 17136 0 0 0 21956 46 0 0 25 0 1 0 847852345 76128256 17110 4294967295 134512640 134581267 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18586 17110 566 18 0 18568 0
vsize: 74344
[startup+230.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1609
Raw data (stat): 1607 (Pueblo-v2) R 1606 7266 7265 0 -1 0 17136 0 0 0 22956 46 0 0 25 0 1 0 847852345 76128256 17110 4294967295 134512640 134581267 3221224592 3221223536 134559415 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18586 17110 566 18 0 18568 0
vsize: 74344
[startup+240.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1609
Raw data (stat): 1607 (Pueblo-v2) R 1606 7266 7265 0 -1 0 17146 0 0 0 23956 46 0 0 25 0 1 0 847852345 76128256 17120 4294967295 134512640 134581267 3221224592 3221223488 134517900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18586 17120 566 18 0 18568 0
vsize: 74344
[startup+250.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1609
Raw data (stat): 1607 (Pueblo-v2) R 1606 7266 7265 0 -1 0 17147 0 0 0 24956 46 0 0 25 0 1 0 847852345 76128256 17121 4294967295 134512640 134581267 3221224592 3221223488 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18586 17121 566 18 0 18568 0
vsize: 74344
[startup+260.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1609
Raw data (stat): 1607 (Pueblo-v2) R 1606 7266 7265 0 -1 0 17148 0 0 0 25956 47 0 0 25 0 1 0 847852345 76128256 17122 4294967295 134512640 134581267 3221224592 3221223488 134517862 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18586 17122 566 18 0 18568 0
vsize: 74344
[startup+270.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1609
Raw data (stat): 1607 (Pueblo-v2) R 1606 7266 7265 0 -1 0 17329 0 0 0 26955 48 0 0 25 0 1 0 847852345 76873728 17303 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18768 17303 566 18 0 18750 0
vsize: 75072
[startup+280.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1609
Raw data (stat): 1607 (Pueblo-v2) R 1606 7266 7265 0 -1 0 18289 0 0 0 27954 49 0 0 25 0 1 0 847852345 80740352 18263 4294967295 134512640 134581267 3221224592 3221223472 134560391 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19712 18263 566 18 0 19694 0
vsize: 78848
[startup+290.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1609
Raw data (stat): 1607 (Pueblo-v2) R 1606 7266 7265 0 -1 0 19195 0 0 0 28952 51 0 0 25 0 1 0 847852345 84508672 19169 4294967295 134512640 134581267 3221224592 3221223536 134558775 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20632 19169 566 18 0 20614 0
vsize: 82528
[startup+300.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1609
Raw data (stat): 1607 (Pueblo-v2) R 1606 7266 7265 0 -1 0 20039 0 0 0 29949 54 0 0 25 0 1 0 847852345 87998464 20013 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21484 20013 566 18 0 21466 0
vsize: 85936
[startup+310.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1609
Raw data (stat): 1607 (Pueblo-v2) R 1606 7266 7265 0 -1 0 20893 0 0 0 30948 56 0 0 25 0 1 0 847852345 91492352 20867 4294967295 134512640 134581267 3221224592 3221223488 134517900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22337 20867 566 18 0 22319 0
vsize: 89348
[startup+320.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1609
Raw data (stat): 1607 (Pueblo-v2) R 1606 7266 7265 0 -1 0 21734 0 0 0 31946 58 0 0 25 0 1 0 847852345 94982144 21708 4294967295 134512640 134581267 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23189 21708 566 18 0 23171 0
vsize: 92756
[startup+330.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1609
Raw data (stat): 1607 (Pueblo-v2) R 1606 7266 7265 0 -1 0 22614 0 0 0 32944 60 0 0 25 0 1 0 847852345 98541568 22588 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24058 22588 566 18 0 24040 0
vsize: 96232
[startup+340.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1609
Raw data (stat): 1607 (Pueblo-v2) R 1606 7266 7265 0 -1 0 23431 0 0 0 33942 62 0 0 25 0 1 0 847852345 101826560 23405 4294967295 134512640 134581267 3221224592 3221223488 134517871 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24860 23405 566 18 0 24842 0
vsize: 99440
[startup+350.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1609
Raw data (stat): 1607 (Pueblo-v2) R 1606 7266 7265 0 -1 0 24237 0 0 0 34939 65 0 0 25 0 1 0 847852345 105222144 24211 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25689 24211 566 18 0 25671 0
vsize: 102756
[startup+360.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1609
Raw data (stat): 1607 (Pueblo-v2) R 1606 7266 7265 0 -1 0 25037 0 0 0 35938 67 0 0 25 0 1 0 847852345 108498944 25011 4294967295 134512640 134581267 3221224592 3221223520 134520027 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26489 25011 566 18 0 26471 0
vsize: 105956
[startup+370.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1609
Raw data (stat): 1607 (Pueblo-v2) R 1606 7266 7265 0 -1 0 25738 0 0 0 36935 69 0 0 25 0 1 0 847852345 111292416 25712 4294967295 134512640 134581267 3221224592 3221223488 134517888 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27171 25712 566 18 0 27153 0
vsize: 108684
[startup+380.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1609
Raw data (stat): 1607 (Pueblo-v2) R 1606 7266 7265 0 -1 0 26538 0 0 0 37934 70 0 0 25 0 1 0 847852345 114593792 26512 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27977 26512 566 18 0 27959 0
vsize: 111908
[startup+390.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1609
Raw data (stat): 1607 (Pueblo-v2) R 1606 7266 7265 0 -1 0 27236 0 0 0 38932 72 0 0 25 0 1 0 847852345 117477376 27210 4294967295 134512640 134581267 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28681 27210 566 18 0 28663 0
vsize: 114724
[startup+400.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1609
Raw data (stat): 1607 (Pueblo-v2) R 1606 7266 7265 0 -1 0 27889 0 0 0 39931 73 0 0 25 0 1 0 847852345 120168448 27863 4294967295 134512640 134581267 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29338 27863 566 18 0 29320 0
vsize: 117352
[startup+410.026 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1609
Raw data (stat): 1607 (Pueblo-v2) R 1606 7266 7265 0 -1 0 28395 0 0 0 40930 74 0 0 25 0 1 0 847852345 122138624 28369 4294967295 134512640 134581267 3221224592 3221223488 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29819 28369 566 18 0 29801 0
vsize: 119276
[startup+420.026 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1609
Raw data (stat): 1607 (Pueblo-v2) R 1606 7266 7265 0 -1 0 29069 0 0 0 41929 76 0 0 25 0 1 0 847852345 124923904 29043 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30499 29043 566 18 0 30481 0
vsize: 121996
[startup+430.027 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1609
Raw data (stat): 1607 (Pueblo-v2) R 1606 7266 7265 0 -1 0 29631 0 0 0 42927 78 0 0 25 0 1 0 847852345 127266816 29605 4294967295 134512640 134581267 3221224592 3221223488 134517617 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31071 29605 566 18 0 31053 0
vsize: 124284
[startup+440.027 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1609
Raw data (stat): 1607 (Pueblo-v2) R 1606 7266 7265 0 -1 0 30098 0 0 0 43926 79 0 0 25 0 1 0 847852345 129150976 30072 4294967295 134512640 134581267 3221224592 3221223488 134517873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31531 30072 566 18 0 31513 0
vsize: 126124
[startup+450.028 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1609
Raw data (stat): 1607 (Pueblo-v2) R 1606 7266 7265 0 -1 0 30461 0 0 0 44925 81 0 0 25 0 1 0 847852345 130695168 30435 4294967295 134512640 134581267 3221224592 3221223520 134520092 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31908 30435 566 18 0 31890 0
vsize: 127632
[startup+460.028 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1609
Raw data (stat): 1607 (Pueblo-v2) R 1606 7266 7265 0 -1 0 30856 0 0 0 45924 82 0 0 25 0 1 0 847852345 132239360 30830 4294967295 134512640 134581267 3221224592 3221223488 134517878 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32285 30830 566 18 0 32267 0
vsize: 129140
[startup+470.028 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1609
Raw data (stat): 1607 (Pueblo-v2) R 1606 7266 7265 0 -1 0 31418 0 0 0 46922 83 0 0 25 0 1 0 847852345 134569984 31392 4294967295 134512640 134581267 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32854 31392 566 18 0 32836 0
vsize: 131416
[startup+480.029 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1609
Raw data (stat): 1607 (Pueblo-v2) R 1606 7266 7265 0 -1 0 32097 0 0 0 47921 84 0 0 25 0 1 0 847852345 137285632 32071 4294967295 134512640 134581267 3221224592 3221223520 134520084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33517 32071 566 18 0 33499 0
vsize: 134068
[startup+490.029 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1609
Raw data (stat): 1607 (Pueblo-v2) R 1606 7266 7265 0 -1 0 32604 0 0 0 48920 86 0 0 25 0 1 0 847852345 139456512 32578 4294967295 134512640 134581267 3221224592 3221223488 134517912 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34047 32578 566 18 0 34029 0
vsize: 136188
[startup+500.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1609
Raw data (stat): 1607 (Pueblo-v2) R 1606 7266 7265 0 -1 0 33130 0 0 0 49919 87 0 0 25 0 1 0 847852345 141639680 33104 4294967295 134512640 134581267 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34580 33104 566 18 0 34562 0
vsize: 138320
[startup+510.031 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1609
Raw data (stat): 1607 (Pueblo-v2) R 1606 7266 7265 0 -1 0 33672 0 0 0 50917 89 0 0 25 0 1 0 847852345 143736832 33646 4294967295 134512640 134581267 3221224592 3221223488 134517873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35092 33646 566 18 0 35074 0
vsize: 140368
[startup+520.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1609
Raw data (stat): 1607 (Pueblo-v2) R 1606 7266 7265 0 -1 0 34137 0 0 0 51917 90 0 0 25 0 1 0 847852345 145653760 34111 4294967295 134512640 134581267 3221224592 3221223488 134517905 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35560 34111 566 18 0 35542 0
vsize: 142240
[startup+530.032 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1609
Raw data (stat): 1607 (Pueblo-v2) R 1606 7266 7265 0 -1 0 34764 0 0 0 52916 91 0 0 25 0 1 0 847852345 148373504 34738 4294967295 134512640 134581267 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36224 34738 566 18 0 36206 0
vsize: 144896
[startup+540.032 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1609
Raw data (stat): 1607 (Pueblo-v2) R 1606 7266 7265 0 -1 0 35304 0 0 0 53914 92 0 0 25 0 1 0 847852345 150548480 35278 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36755 35278 566 18 0 36737 0
vsize: 147020
[startup+550.033 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1609
Raw data (stat): 1607 (Pueblo-v2) R 1606 7266 7265 0 -1 0 35719 0 0 0 54913 94 0 0 25 0 1 0 847852345 152334336 35693 4294967295 134512640 134581267 3221224592 3221223520 134519817 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37191 35693 566 18 0 37173 0
vsize: 148764
[startup+560.033 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1609
Raw data (stat): 1607 (Pueblo-v2) R 1606 7266 7265 0 -1 0 35997 0 0 0 55912 95 0 0 25 0 1 0 847852345 153407488 35971 4294967295 134512640 134581267 3221224592 3221223488 134517888 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37453 35971 566 18 0 37435 0
vsize: 149812
[startup+570.034 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1609
Raw data (stat): 1607 (Pueblo-v2) R 1606 7266 7265 0 -1 0 36345 0 0 0 56911 96 0 0 25 0 1 0 847852345 154853376 36319 4294967295 134512640 134581267 3221224592 3221223488 134517851 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37806 36319 566 18 0 37788 0
vsize: 151224
[startup+580.034 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1609
Raw data (stat): 1607 (Pueblo-v2) R 1606 7266 7265 0 -1 0 36640 0 0 0 57910 98 0 0 25 0 1 0 847852345 156020736 36614 4294967295 134512640 134581267 3221224592 3221223520 134520076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38091 36614 566 18 0 38073 0
vsize: 152364
[startup+590.034 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1609
Raw data (stat): 1607 (Pueblo-v2) R 1606 7266 7265 0 -1 0 37028 0 0 0 58909 98 0 0 25 0 1 0 847852345 157683712 37002 4294967295 134512640 134581267 3221224592 3221223488 134517873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38497 37002 566 18 0 38479 0
vsize: 153988
[startup+600.035 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1609
Raw data (stat): 1607 (Pueblo-v2) R 1606 7266 7265 0 -1 0 37334 0 0 0 59908 99 0 0 25 0 1 0 847852345 158900224 37308 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38794 37308 566 18 0 38776 0
vsize: 155176
[startup+610.035 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1609
Raw data (stat): 1607 (Pueblo-v2) R 1606 7266 7265 0 -1 0 37679 0 0 0 60908 100 0 0 25 0 1 0 847852345 160325632 37653 4294967295 134512640 134581267 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39142 37653 566 18 0 39124 0
vsize: 156568
[startup+620.035 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1609
Raw data (stat): 1607 (Pueblo-v2) R 1606 7266 7265 0 -1 0 37955 0 0 0 61907 100 0 0 25 0 1 0 847852345 161497088 37929 4294967295 134512640 134581267 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39428 37929 566 18 0 39410 0
vsize: 157712
[startup+630.036 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1609
Raw data (stat): 1607 (Pueblo-v2) R 1606 7266 7265 0 -1 0 38189 0 0 0 62907 101 0 0 25 0 1 0 847852345 162443264 38163 4294967295 134512640 134581267 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39659 38163 566 18 0 39641 0
vsize: 158636
[startup+640.036 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1609
Raw data (stat): 1607 (Pueblo-v2) R 1606 7266 7265 0 -1 0 38451 0 0 0 63906 102 0 0 25 0 1 0 847852345 163524608 38425 4294967295 134512640 134581267 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39923 38425 566 18 0 39905 0
vsize: 159692
[startup+650.038 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1609
Raw data (stat): 1607 (Pueblo-v2) R 1606 7266 7265 0 -1 0 38873 0 0 0 64905 103 0 0 25 0 1 0 847852345 165199872 38847 4294967295 134512640 134581267 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40332 38847 566 18 0 40314 0
vsize: 161328
[startup+660.038 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1609
Raw data (stat): 1607 (Pueblo-v2) R 1606 7266 7265 0 -1 0 39221 0 0 0 65905 104 0 0 25 0 1 0 847852345 166596608 39195 4294967295 134512640 134581267 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40673 39195 566 18 0 40655 0
vsize: 162692
[startup+670.038 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1609
Raw data (stat): 1607 (Pueblo-v2) R 1606 7266 7265 0 -1 0 39547 0 0 0 66904 105 0 0 25 0 1 0 847852345 168001536 39521 4294967295 134512640 134581267 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41016 39521 566 18 0 40998 0
vsize: 164064
[startup+680.039 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1609
Raw data (stat): 1607 (Pueblo-v2) R 1606 7266 7265 0 -1 0 39902 0 0 0 67903 106 0 0 25 0 1 0 847852345 169410560 39876 4294967295 134512640 134581267 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41360 39876 566 18 0 41342 0
vsize: 165440
[startup+690.039 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1609
Raw data (stat): 1607 (Pueblo-v2) R 1606 7266 7265 0 -1 0 40264 0 0 0 68902 107 0 0 25 0 1 0 847852345 170946560 40238 4294967295 134512640 134581267 3221224592 3221223488 134517902 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41735 40238 566 18 0 41717 0
vsize: 166940
[startup+700.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1609
Raw data (stat): 1607 (Pueblo-v2) R 1606 7266 7265 0 -1 0 40519 0 0 0 69902 107 0 0 25 0 1 0 847852345 171896832 40493 4294967295 134512640 134581267 3221224592 3221223488 134517888 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41967 40493 566 18 0 41949 0
vsize: 167868
[startup+710.041 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1609
Raw data (stat): 1607 (Pueblo-v2) R 1606 7266 7265 0 -1 0 40824 0 0 0 70901 108 0 0 25 0 1 0 847852345 173182976 40798 4294967295 134512640 134581267 3221224592 3221223488 134517859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42281 40798 566 18 0 42263 0
vsize: 169124
[startup+720.042 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1609
Raw data (stat): 1607 (Pueblo-v2) R 1606 7266 7265 0 -1 0 41169 0 0 0 71900 109 0 0 25 0 1 0 847852345 174604288 41143 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42628 41143 566 18 0 42610 0
vsize: 170512
[startup+730.043 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1609
Raw data (stat): 1607 (Pueblo-v2) R 1606 7266 7265 0 -1 0 41487 0 0 0 72899 110 0 0 25 0 1 0 847852345 175910912 41461 4294967295 134512640 134581267 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42947 41461 566 18 0 42929 0
vsize: 171788
[startup+740.043 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1609
Raw data (stat): 1607 (Pueblo-v2) R 1606 7266 7265 0 -1 0 41720 0 0 0 73899 111 0 0 25 0 1 0 847852345 176861184 41694 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43179 41694 566 18 0 43161 0
vsize: 172716
[startup+750.045 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1609
Raw data (stat): 1607 (Pueblo-v2) R 1606 7266 7265 0 -1 0 42159 0 0 0 74898 112 0 0 25 0 1 0 847852345 178647040 42133 4294967295 134512640 134581267 3221224592 3221223488 134517888 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43615 42133 566 18 0 43597 0
vsize: 174460
[startup+760.046 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1609
Raw data (stat): 1607 (Pueblo-v2) R 1606 7266 7265 0 -1 0 42550 0 0 0 75896 114 0 0 25 0 1 0 847852345 180219904 42524 4294967295 134512640 134581267 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43999 42524 566 18 0 43981 0
vsize: 175996
[startup+770.046 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1609
Raw data (stat): 1607 (Pueblo-v2) R 1606 7266 7265 0 -1 0 42874 0 0 0 76895 115 0 0 25 0 1 0 847852345 181547008 42848 4294967295 134512640 134581267 3221224592 3221223488 134517902 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44323 42848 566 18 0 44305 0
vsize: 177292
[startup+780.047 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1609
Raw data (stat): 1607 (Pueblo-v2) R 1606 7266 7265 0 -1 0 43217 0 0 0 77894 116 0 0 25 0 1 0 847852345 182980608 43191 4294967295 134512640 134581267 3221224592 3221223488 134517873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44673 43191 566 18 0 44655 0
vsize: 178692
[startup+790.048 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1609
Raw data (stat): 1607 (Pueblo-v2) R 1606 7266 7265 0 -1 0 43490 0 0 0 78893 117 0 0 25 0 1 0 847852345 184082432 43464 4294967295 134512640 134581267 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44942 43464 566 18 0 44924 0
vsize: 179768
[startup+800.049 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1609
Raw data (stat): 1607 (Pueblo-v2) R 1606 7266 7265 0 -1 0 43792 0 0 0 79892 118 0 0 25 0 1 0 847852345 185319424 43766 4294967295 134512640 134581267 3221224592 3221223488 134517862 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45244 43766 566 18 0 45226 0
vsize: 180976
[startup+810.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1609
Raw data (stat): 1607 (Pueblo-v2) R 1606 7266 7265 0 -1 0 44096 0 0 0 80891 119 0 0 25 0 1 0 847852345 186671104 44070 4294967295 134512640 134581267 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45574 44070 566 18 0 45556 0
vsize: 182296
[startup+820.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1609
Raw data (stat): 1607 (Pueblo-v2) R 1606 7266 7265 0 -1 0 44386 0 0 0 81890 120 0 0 25 0 1 0 847852345 187863040 44360 4294967295 134512640 134581267 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45865 44360 566 18 0 45847 0
vsize: 183460
[startup+830.051 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1609
Raw data (stat): 1607 (Pueblo-v2) R 1606 7266 7265 0 -1 0 44654 0 0 0 82890 121 0 0 25 0 1 0 847852345 188919808 44628 4294967295 134512640 134581267 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46123 44628 566 18 0 46105 0
vsize: 184492
[startup+840.052 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1609
Raw data (stat): 1607 (Pueblo-v2) R 1606 7266 7265 0 -1 0 44934 0 0 0 83889 122 0 0 25 0 1 0 847852345 190009344 44908 4294967295 134512640 134581267 3221224592 3221223488 134517921 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46389 44908 566 18 0 46371 0
vsize: 185556
[startup+850.052 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1609
Raw data (stat): 1607 (Pueblo-v2) R 1606 7266 7265 0 -1 0 45171 0 0 0 84888 123 0 0 25 0 1 0 847852345 190988288 45145 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46628 45145 566 18 0 46610 0
vsize: 186512
[startup+860.053 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1609
Raw data (stat): 1607 (Pueblo-v2) R 1606 7266 7265 0 -1 0 45415 0 0 0 85888 124 0 0 25 0 1 0 847852345 191950848 45389 4294967295 134512640 134581267 3221224592 3221223488 134517878 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46863 45389 566 18 0 46845 0
vsize: 187452
[startup+870.053 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1609
Raw data (stat): 1607 (Pueblo-v2) R 1606 7266 7265 0 -1 0 45699 0 0 0 86886 125 0 0 25 0 1 0 847852345 193118208 45673 4294967295 134512640 134581267 3221224592 3221223488 134517844 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47148 45673 566 18 0 47130 0
vsize: 188592
[startup+880.054 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1609
Raw data (stat): 1607 (Pueblo-v2) R 1606 7266 7265 0 -1 0 46050 0 0 0 87886 126 0 0 25 0 1 0 847852345 194576384 46024 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47504 46024 566 18 0 47486 0
vsize: 190016
[startup+890.055 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1609
Raw data (stat): 1607 (Pueblo-v2) R 1606 7266 7265 0 -1 0 46375 0 0 0 88885 126 0 0 25 0 1 0 847852345 195895296 46349 4294967295 134512640 134581267 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47826 46349 566 18 0 47808 0
vsize: 191304
[startup+900.054 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1609
Raw data (stat): 1607 (Pueblo-v2) R 1606 7266 7265 0 -1 0 46673 0 0 0 89885 127 0 0 25 0 1 0 847852345 197107712 46647 4294967295 134512640 134581267 3221224592 3221223488 134517862 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48122 46647 566 18 0 48104 0
vsize: 192488
[startup+910.055 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1609
Raw data (stat): 1607 (Pueblo-v2) R 1606 7266 7265 0 -1 0 46932 0 0 0 90884 128 0 0 25 0 1 0 847852345 198160384 46906 4294967295 134512640 134581267 3221224592 3221223488 134517880 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48379 46906 566 18 0 48361 0
vsize: 193516
[startup+920.056 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1609
Raw data (stat): 1607 (Pueblo-v2) R 1606 7266 7265 0 -1 0 47523 0 0 0 91883 129 0 0 25 0 1 0 847852345 200654848 47497 4294967295 134512640 134581267 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48988 47497 566 18 0 48970 0
vsize: 195952
[startup+930.056 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1609
Raw data (stat): 1607 (Pueblo-v2) R 1606 7266 7265 0 -1 0 48282 0 0 0 92881 131 0 0 25 0 1 0 847852345 203718656 48256 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49736 48256 566 18 0 49718 0
vsize: 198944
[startup+940.057 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1609
Raw data (stat): 1607 (Pueblo-v2) R 1606 7266 7265 0 -1 0 49024 0 0 0 93879 133 0 0 25 0 1 0 847852345 206815232 48998 4294967295 134512640 134581267 3221224592 3221223488 134517851 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50492 48998 566 18 0 50474 0
vsize: 201968
[startup+950.058 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1609
Raw data (stat): 1607 (Pueblo-v2) R 1606 7266 7265 0 -1 0 49764 0 0 0 94878 135 0 0 25 0 1 0 847852345 209772544 49738 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51214 49738 566 18 0 51196 0
vsize: 204856
[startup+960.059 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1609
Raw data (stat): 1607 (Pueblo-v2) R 1606 7266 7265 0 -1 0 50443 0 0 0 95877 136 0 0 25 0 1 0 847852345 212566016 50417 4294967295 134512640 134581267 3221224592 3221223488 134517883 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51896 50417 566 18 0 51878 0
vsize: 207584
[startup+970.058 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1609
Raw data (stat): 1607 (Pueblo-v2) R 1606 7266 7265 0 -1 0 51119 0 0 0 96875 138 0 0 25 0 1 0 847852345 215351296 51093 4294967295 134512640 134581267 3221224592 3221223520 134519958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52576 51093 566 18 0 52558 0
vsize: 210304
[startup+980.059 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1609
Raw data (stat): 1607 (Pueblo-v2) R 1606 7266 7265 0 -1 0 51786 0 0 0 97874 139 0 0 25 0 1 0 847852345 218095616 51760 4294967295 134512640 134581267 3221224592 3221223488 134517878 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53246 51760 566 18 0 53228 0
vsize: 212984
[startup+990.06 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1609
Raw data (stat): 1607 (Pueblo-v2) R 1606 7266 7265 0 -1 0 52499 0 0 0 98872 141 0 0 25 0 1 0 847852345 221032448 52473 4294967295 134512640 134581267 3221224592 3221223488 134517905 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53963 52473 566 18 0 53945 0
vsize: 215852
[startup+1000.06 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1609
Raw data (stat): 1607 (Pueblo-v2) R 1606 7266 7265 0 -1 0 53132 0 0 0 99871 143 0 0 25 0 1 0 847852345 223535104 53106 4294967295 134512640 134581267 3221224592 3221223488 134517851 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 54574 53106 566 18 0 54556 0
vsize: 218296
[startup+1010.06 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1609
Raw data (stat): 1607 (Pueblo-v2) R 1606 7266 7265 0 -1 0 53721 0 0 0 100869 144 0 0 25 0 1 0 847852345 225968128 53695 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55168 53695 566 18 0 55150 0
vsize: 220672
[startup+1020.06 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1609
Raw data (stat): 1607 (Pueblo-v2) R 1606 7266 7265 0 -1 0 54380 0 0 0 101867 146 0 0 25 0 1 0 847852345 228720640 54354 4294967295 134512640 134581267 3221224592 3221223520 134520109 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55840 54354 566 18 0 55822 0
vsize: 223360
[startup+1030.06 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1609
Raw data (stat): 1607 (Pueblo-v2) R 1606 7266 7265 0 -1 0 55077 0 0 0 102866 148 0 0 25 0 1 0 847852345 231526400 55051 4294967295 134512640 134581267 3221224592 3221223488 134517888 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 56525 55051 566 18 0 56507 0
vsize: 226100
[startup+1040.06 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1609
Raw data (stat): 1607 (Pueblo-v2) R 1606 7266 7265 0 -1 0 55711 0 0 0 103864 149 0 0 25 0 1 0 847852345 234156032 55685 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57167 55685 566 18 0 57149 0
vsize: 228668
[startup+1050.06 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1609
Raw data (stat): 1607 (Pueblo-v2) R 1606 7266 7265 0 -1 0 56338 0 0 0 104863 151 0 0 25 0 1 0 847852345 236744704 56312 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57799 56312 566 18 0 57781 0
vsize: 231196
[startup+1060.06 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1609
Raw data (stat): 1607 (Pueblo-v2) R 1606 7266 7265 0 -1 0 56826 0 0 0 105861 153 0 0 25 0 1 0 847852345 238710784 56800 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58279 56800 566 18 0 58261 0
vsize: 233116
[startup+1070.06 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1609
Raw data (stat): 1607 (Pueblo-v2) R 1606 7266 7265 0 -1 0 57319 0 0 0 106860 154 0 0 25 0 1 0 847852345 240762880 57293 4294967295 134512640 134581267 3221224592 3221223520 134520009 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58780 57293 566 18 0 58762 0
vsize: 235120
[startup+1080.06 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1609
Raw data (stat): 1607 (Pueblo-v2) R 1606 7266 7265 0 -1 0 57854 0 0 0 107858 156 0 0 25 0 1 0 847852345 242913280 57828 4294967295 134512640 134581267 3221224592 3221223648 134555831 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59305 57828 566 18 0 59287 0
vsize: 237220
[startup+1090.07 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1609
Raw data (stat): 1607 (Pueblo-v2) R 1606 7266 7265 0 -1 0 58339 0 0 0 108857 157 0 0 25 0 1 0 847852345 244973568 58313 4294967295 134512640 134581267 3221224592 3221223488 134517902 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59808 58313 566 18 0 59790 0
vsize: 239232
[startup+1100.07 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1609
Raw data (stat): 1607 (Pueblo-v2) R 1606 7266 7265 0 -1 0 58888 0 0 0 109856 159 0 0 25 0 1 0 847852345 247197696 58862 4294967295 134512640 134581267 3221224592 3221223520 134520076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60351 58862 566 18 0 60333 0
vsize: 241404
[startup+1110.07 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 1609
Raw data (stat): 1607 (Pueblo-v2) R 1606 7266 7265 0 -1 0 59442 0 0 0 110855 160 0 0 25 0 1 0 847852345 249368576 59416 4294967295 134512640 134581267 3221224592 3221223488 134517859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60881 59416 566 18 0 60863 0
vsize: 243524
[startup+1120.07 s]
Raw data (loadavg): 1.07 0.99 0.93 2/54 1609
Raw data (stat): 1607 (Pueblo-v2) R 1606 7266 7265 0 -1 0 59930 0 0 0 111853 161 0 0 25 0 1 0 847852345 251432960 59904 4294967295 134512640 134581267 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61385 59904 566 18 0 61367 0
vsize: 245540
[startup+1130.07 s]
Raw data (loadavg): 1.06 0.99 0.93 2/54 1609
Raw data (stat): 1607 (Pueblo-v2) R 1606 7266 7265 0 -1 0 60380 0 0 0 112853 162 0 0 25 0 1 0 847852345 253304832 60354 4294967295 134512640 134581267 3221224592 3221223488 134517888 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61842 60354 566 18 0 61824 0
vsize: 247368
[startup+1140.07 s]
Raw data (loadavg): 1.05 0.99 0.93 2/54 1609
Raw data (stat): 1607 (Pueblo-v2) R 1606 7266 7265 0 -1 0 60877 0 0 0 113852 163 0 0 25 0 1 0 847852345 255336448 60851 4294967295 134512640 134581267 3221224592 3221223584 134561093 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 62338 60851 566 18 0 62320 0
vsize: 249352
[startup+1150.07 s]
Raw data (loadavg): 1.04 0.99 0.93 2/54 1609
Raw data (stat): 1607 (Pueblo-v2) R 1606 7266 7265 0 -1 0 61370 0 0 0 114850 165 0 0 25 0 1 0 847852345 257310720 61344 4294967295 134512640 134581267 3221224592 3221223488 134517871 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 62820 61344 566 18 0 62802 0
vsize: 251280
[startup+1160.07 s]
Raw data (loadavg): 1.03 0.99 0.93 2/54 1609
Raw data (stat): 1607 (Pueblo-v2) R 1606 7266 7265 0 -1 0 61948 0 0 0 115849 166 0 0 25 0 1 0 847852345 259702784 61922 4294967295 134512640 134581267 3221224592 3221223568 134560956 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 63404 61922 566 18 0 63386 0
vsize: 253616
[startup+1170.07 s]
Raw data (loadavg): 1.03 0.99 0.93 2/54 1609
Raw data (stat): 1607 (Pueblo-v2) R 1606 7266 7265 0 -1 0 62514 0 0 0 116847 168 0 0 25 0 1 0 847852345 262004736 62488 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 63966 62488 566 18 0 63948 0
vsize: 255864
[startup+1180.07 s]
Raw data (loadavg): 1.02 0.99 0.93 2/54 1609
Raw data (stat): 1607 (Pueblo-v2) R 1606 7266 7265 0 -1 0 63132 0 0 0 117845 170 0 0 25 0 1 0 847852345 264527872 63106 4294967295 134512640 134581267 3221224592 3221223488 134517897 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 64582 63106 566 18 0 64564 0
vsize: 258328
[startup+1190.07 s]
Raw data (loadavg): 1.02 0.99 0.93 2/54 1609
Raw data (stat): 1607 (Pueblo-v2) R 1606 7266 7265 0 -1 0 63529 0 0 0 118845 170 0 0 25 0 1 0 847852345 266186752 63503 4294967295 134512640 134581267 3221224592 3221223488 134517859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 64987 63503 566 18 0 64969 0
vsize: 259948
[startup+1200.07 s]
Raw data (loadavg): 1.02 0.99 0.93 2/54 1609
Raw data (stat): 1607 (Pueblo-v2) R 1606 7266 7265 0 -1 0 63870 0 0 0 119844 172 0 0 25 0 1 0 847852345 267497472 63844 4294967295 134512640 134581267 3221224592 3221223488 134517862 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65307 63844 566 18 0 65289 0
vsize: 261228
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.19 s]
Raw data (loadavg): 1.02 0.99 0.93 1/54 1609
Raw data (stat): 1607 (Pueblo-v2) Z 1606 7266 7265 0 -1 1036 63870 0 0 0 119844 183 0 0 25 0 1 0 847852345 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.19
CPU time (s): 1200.28
CPU user time (s): 1198.44
CPU system time (s): 1.83672
CPU usage (%): 100.007
Max. virtual memory (Kb): 261228
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####