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/web/uclid_pb_benchmarks/normalized-ooo.burch_dill.6.accl.ucl.opb
MD5SUM	f306f9e77db4c563a096b79aebdedeaa
Bench Category	no optimization function (SAT)
Has Objective Function	NO
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	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	71
Number of bits of the biggest number in a constraint	7
Biggest sum of numbers in a constraint	261
Number of bits of the biggest sum of numbers	9
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	23621
Total number of constraints	67526
Number of constraints which are clauses	65126
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	2400
Minimum length of a constraint	1
Maximum length of a constraint	13
Trace number 38504

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-02 11:18:31 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26569 boxname=wulflinc5 idbench=299 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  f306f9e77db4c563a096b79aebdedeaa  /oldhome/oroussel/tmp/wulflinc5/normalized-ooo.burch_dill.6.accl.ucl.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-ooo.burch_dill.6.accl.ucl.opb
IDLAUNCH: 26569
/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:        664428 kB
Buffers:         34924 kB
Cached:         311512 kB
SwapCached:        568 kB
Active:          55976 kB
Inactive:       292504 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        664176 kB
SwapTotal:     2097136 kB
SwapFree:      2095632 kB
Dirty:              32 kB
Writeback:           0 kB
Mapped:           5140 kB
Slab:            16024 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 11:38:33 (client local time) WITH STATUS 0 IN 1200.29 SECONDS
stats: 26569 7 1200.29 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.69 0.87 0.88 2/54 4445
Raw data (stat): 4445 (runsolver) R 4444 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 849368835 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0001 s]
Raw data (loadavg): 0.73 0.87 0.88 2/54 4445
Raw data (stat): 4445 (Pueblo-v2) R 4444 7266 7265 0 -1 0 3648 0 0 0 989 8 0 0 25 0 1 0 849368835 21229568 3622 4294967295 134512640 134581267 3221224576 3221223584 134531293 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5183 3622 566 18 0 5165 0
vsize: 20732
[startup+20.0007 s]
Raw data (loadavg): 0.77 0.88 0.89 2/54 4445
Raw data (stat): 4445 (Pueblo-v2) R 4444 7266 7265 0 -1 0 4025 0 0 0 1988 10 0 0 25 0 1 0 849368835 22843392 3999 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5577 3999 566 18 0 5559 0
vsize: 22308
[startup+30.0008 s]
Raw data (loadavg): 0.81 0.88 0.89 2/54 4445
Raw data (stat): 4445 (Pueblo-v2) R 4444 7266 7265 0 -1 0 4731 0 0 0 2985 12 0 0 25 0 1 0 849368835 26095616 4705 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6371 4705 566 18 0 6353 0
vsize: 25484
[startup+40.0012 s]
Raw data (loadavg): 0.84 0.88 0.89 2/54 4445
Raw data (stat): 4445 (Pueblo-v2) R 4444 7266 7265 0 -1 0 4733 0 0 0 3986 12 0 0 25 0 1 0 849368835 26095616 4707 4294967295 134512640 134581267 3221224576 3221223464 134526885 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6371 4707 566 18 0 6353 0
vsize: 25484
[startup+50.0019 s]
Raw data (loadavg): 0.86 0.89 0.89 2/54 4445
Raw data (stat): 4445 (Pueblo-v2) R 4444 7266 7265 0 -1 0 4733 0 0 0 4986 12 0 0 25 0 1 0 849368835 26095616 4707 4294967295 134512640 134581267 3221224576 3221223440 134528246 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6371 4707 566 18 0 6353 0
vsize: 25484
[startup+60.0017 s]
Raw data (loadavg): 0.88 0.89 0.89 2/54 4445
Raw data (stat): 4445 (Pueblo-v2) R 4444 7266 7265 0 -1 0 4733 0 0 0 5986 12 0 0 25 0 1 0 849368835 26095616 4707 4294967295 134512640 134581267 3221224576 3221223504 134519910 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6371 4707 566 18 0 6353 0
vsize: 25484
[startup+70.0025 s]
Raw data (loadavg): 0.90 0.89 0.89 2/54 4445
Raw data (stat): 4445 (Pueblo-v2) R 4444 7266 7265 0 -1 0 4733 0 0 0 6986 12 0 0 25 0 1 0 849368835 26095616 4707 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6371 4707 566 18 0 6353 0
vsize: 25484
[startup+80.0022 s]
Raw data (loadavg): 0.92 0.89 0.89 2/54 4445
Raw data (stat): 4445 (Pueblo-v2) R 4444 7266 7265 0 -1 0 4921 0 0 0 7986 13 0 0 25 0 1 0 849368835 26853376 4895 4294967295 134512640 134581267 3221224576 3221223584 134519709 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6556 4895 566 18 0 6538 0
vsize: 26224
[startup+90.0032 s]
Raw data (loadavg): 0.93 0.90 0.89 2/54 4445
Raw data (stat): 4445 (Pueblo-v2) R 4444 7266 7265 0 -1 0 5673 0 0 0 8984 15 0 0 25 0 1 0 849368835 29978624 5647 4294967295 134512640 134581267 3221224576 3221223472 134517868 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7319 5647 566 18 0 7301 0
vsize: 29276
[startup+100.003 s]
Raw data (loadavg): 0.94 0.90 0.89 2/54 4445
Raw data (stat): 4445 (Pueblo-v2) R 4444 7266 7265 0 -1 0 6415 0 0 0 9982 17 0 0 25 0 1 0 849368835 32985088 6389 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8053 6389 566 18 0 8035 0
vsize: 32212
[startup+110.002 s]
Raw data (loadavg): 0.95 0.90 0.89 2/54 4445
Raw data (stat): 4445 (Pueblo-v2) R 4444 7266 7265 0 -1 0 7148 0 0 0 10980 20 0 0 25 0 1 0 849368835 35938304 7122 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8774 7122 566 18 0 8756 0
vsize: 35096
[startup+120.003 s]
Raw data (loadavg): 0.95 0.91 0.89 2/54 4445
Raw data (stat): 4445 (Pueblo-v2) R 4444 7266 7265 0 -1 0 7796 0 0 0 11978 21 0 0 25 0 1 0 849368835 38666240 7770 4294967295 134512640 134581267 3221224576 3221223504 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9440 7770 566 18 0 9422 0
vsize: 37760
[startup+130.003 s]
Raw data (loadavg): 0.96 0.91 0.90 2/54 4445
Raw data (stat): 4445 (Pueblo-v2) R 4444 7266 7265 0 -1 0 8448 0 0 0 12976 23 0 0 25 0 1 0 849368835 41279488 8422 4294967295 134512640 134581267 3221224576 3221223456 134560372 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10078 8422 566 18 0 10060 0
vsize: 40312
[startup+140.004 s]
Raw data (loadavg): 0.97 0.91 0.90 2/54 4445
Raw data (stat): 4445 (Pueblo-v2) R 4444 7266 7265 0 -1 0 9215 0 0 0 13975 25 0 0 25 0 1 0 849368835 44363776 9189 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10831 9189 566 18 0 10813 0
vsize: 43324
[startup+150.005 s]
Raw data (loadavg): 0.97 0.91 0.90 2/54 4445
Raw data (stat): 4445 (Pueblo-v2) R 4444 7266 7265 0 -1 0 9965 0 0 0 14973 27 0 0 25 0 1 0 849368835 47480832 9939 4294967295 134512640 134581267 3221224576 3221223504 134520027 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11592 9939 566 18 0 11574 0
vsize: 46368
[startup+160.004 s]
Raw data (loadavg): 0.98 0.92 0.90 2/54 4445
Raw data (stat): 4445 (Pueblo-v2) R 4444 7266 7265 0 -1 0 10460 0 0 0 15973 28 0 0 25 0 1 0 849368835 49549312 10434 4294967295 134512640 134581267 3221224576 3221223540 134554612 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12097 10434 566 18 0 12079 0
vsize: 48388
[startup+170.004 s]
Raw data (loadavg): 0.98 0.92 0.90 2/54 4445
Raw data (stat): 4445 (Pueblo-v2) R 4444 7266 7265 0 -1 0 11113 0 0 0 16971 29 0 0 25 0 1 0 849368835 52285440 11087 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12765 11087 566 18 0 12747 0
vsize: 51060
[startup+180.004 s]
Raw data (loadavg): 1.06 0.94 0.91 2/54 4445
Raw data (stat): 4445 (Pueblo-v2) R 4444 7266 7265 0 -1 0 11725 0 0 0 17970 31 0 0 25 0 1 0 849368835 54796288 11699 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13378 11699 566 18 0 13360 0
vsize: 53512
[startup+190.004 s]
Raw data (loadavg): 1.13 0.95 0.91 2/54 4445
Raw data (stat): 4445 (Pueblo-v2) R 4444 7266 7265 0 -1 0 12327 0 0 0 18969 32 0 0 25 0 1 0 849368835 57237504 12301 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13974 12301 566 18 0 13956 0
vsize: 55896
[startup+200.004 s]
Raw data (loadavg): 1.11 0.96 0.91 2/54 4445
Raw data (stat): 4445 (Pueblo-v2) R 4444 7266 7265 0 -1 0 13035 0 0 0 19967 34 0 0 25 0 1 0 849368835 60141568 13009 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14683 13009 566 18 0 14665 0
vsize: 58732
[startup+210.004 s]
Raw data (loadavg): 1.09 0.96 0.91 2/54 4445
Raw data (stat): 4445 (Pueblo-v2) R 4444 7266 7265 0 -1 0 13481 0 0 0 20966 35 0 0 25 0 1 0 849368835 61943808 13455 4294967295 134512640 134581267 3221224576 3221223456 134560314 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15123 13455 566 18 0 15105 0
vsize: 60492
[startup+220.005 s]
Raw data (loadavg): 1.08 0.96 0.91 2/54 4445
Raw data (stat): 4445 (Pueblo-v2) R 4444 7266 7265 0 -1 0 14024 0 0 0 21964 38 0 0 25 0 1 0 849368835 64172032 13998 4294967295 134512640 134581267 3221224576 3221223520 134559233 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15667 13998 566 18 0 15649 0
vsize: 62668
[startup+230.004 s]
Raw data (loadavg): 1.06 0.96 0.91 2/54 4445
Raw data (stat): 4445 (Pueblo-v2) R 4444 7266 7265 0 -1 0 14625 0 0 0 22962 39 0 0 25 0 1 0 849368835 66588672 14599 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16257 14599 566 18 0 16239 0
vsize: 65028
[startup+240.005 s]
Raw data (loadavg): 1.05 0.96 0.91 2/54 4445
Raw data (stat): 4445 (Pueblo-v2) R 4444 7266 7265 0 -1 0 15470 0 0 0 23961 41 0 0 25 0 1 0 849368835 70111232 15444 4294967295 134512640 134581267 3221224576 3221223456 134520219 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17117 15444 566 18 0 17099 0
vsize: 68468
[startup+250.005 s]
Raw data (loadavg): 1.04 0.96 0.91 2/54 4445
Raw data (stat): 4445 (Pueblo-v2) R 4444 7266 7265 0 -1 0 16237 0 0 0 24959 43 0 0 25 0 1 0 849368835 73158656 16211 4294967295 134512640 134581267 3221224576 3221223552 134560680 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17861 16211 566 18 0 17843 0
vsize: 71444
[startup+260.006 s]
Raw data (loadavg): 1.04 0.96 0.91 2/54 4445
Raw data (stat): 4445 (Pueblo-v2) R 4444 7266 7265 0 -1 0 16988 0 0 0 25957 45 0 0 25 0 1 0 849368835 76226560 16962 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18610 16962 566 18 0 18592 0
vsize: 74440
[startup+270.006 s]
Raw data (loadavg): 1.03 0.96 0.91 2/54 4445
Raw data (stat): 4445 (Pueblo-v2) R 4444 7266 7265 0 -1 0 17593 0 0 0 26956 47 0 0 25 0 1 0 849368835 78786560 17567 4294967295 134512640 134581267 3221224576 3221223548 134519776 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19235 17567 566 18 0 19217 0
vsize: 76940
[startup+280.005 s]
Raw data (loadavg): 1.03 0.96 0.91 2/54 4445
Raw data (stat): 4445 (Pueblo-v2) R 4444 7266 7265 0 -1 0 18292 0 0 0 27954 48 0 0 25 0 1 0 849368835 81616896 18266 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19926 18266 566 18 0 19908 0
vsize: 79704
[startup+290.006 s]
Raw data (loadavg): 1.02 0.96 0.91 2/54 4445
Raw data (stat): 4445 (Pueblo-v2) R 4444 7266 7265 0 -1 0 19108 0 0 0 28952 50 0 0 25 0 1 0 849368835 84926464 19082 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20734 19082 566 18 0 20716 0
vsize: 82936
[startup+300.006 s]
Raw data (loadavg): 1.02 0.97 0.91 2/54 4445
Raw data (stat): 4445 (Pueblo-v2) R 4444 7266 7265 0 -1 0 19929 0 0 0 29951 52 0 0 25 0 1 0 849368835 88363008 19903 4294967295 134512640 134581267 3221224576 3221223564 134561046 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21573 19903 566 18 0 21555 0
vsize: 86292
[startup+310.005 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 4445
Raw data (stat): 4445 (Pueblo-v2) R 4444 7266 7265 0 -1 0 20457 0 0 0 30950 53 0 0 25 0 1 0 849368835 90537984 20431 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22104 20431 566 18 0 22086 0
vsize: 88416
[startup+320.005 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 4445
Raw data (stat): 4445 (Pueblo-v2) R 4444 7266 7265 0 -1 0 20826 0 0 0 31949 54 0 0 25 0 1 0 849368835 91971584 20800 4294967295 134512640 134581267 3221224576 3221223504 134519829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22454 20800 566 18 0 22436 0
vsize: 89816
[startup+330.005 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 4445
Raw data (stat): 4445 (Pueblo-v2) R 4444 7266 7265 0 -1 0 21298 0 0 0 32948 55 0 0 25 0 1 0 849368835 93925376 21272 4294967295 134512640 134581267 3221224576 3221223504 134519955 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22931 21272 566 18 0 22913 0
vsize: 91724
[startup+340.006 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 4445
Raw data (stat): 4445 (Pueblo-v2) R 4444 7266 7265 0 -1 0 21928 0 0 0 33946 58 0 0 25 0 1 0 849368835 96538624 21902 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23569 21902 566 18 0 23551 0
vsize: 94276
[startup+350.005 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 4445
Raw data (stat): 4445 (Pueblo-v2) R 4444 7266 7265 0 -1 0 22558 0 0 0 34944 59 0 0 25 0 1 0 849368835 99074048 22532 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24188 22532 566 18 0 24170 0
vsize: 96752
[startup+360.005 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4445
Raw data (stat): 4445 (Pueblo-v2) R 4444 7266 7265 0 -1 0 23110 0 0 0 35942 61 0 0 25 0 1 0 849368835 101539840 23084 4294967295 134512640 134581267 3221224576 3221223568 134561040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24790 23084 566 18 0 24772 0
vsize: 99160
[startup+370.005 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4445
Raw data (stat): 4445 (Pueblo-v2) R 4444 7266 7265 0 -1 0 23684 0 0 0 36941 63 0 0 25 0 1 0 849368835 103964672 23658 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25382 23658 566 18 0 25364 0
vsize: 101528
[startup+380.005 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4445
Raw data (stat): 4445 (Pueblo-v2) R 4444 7266 7265 0 -1 0 24343 0 0 0 37939 65 0 0 25 0 1 0 849368835 106643456 24317 4294967295 134512640 134581267 3221224576 3221223472 134517900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26036 24317 566 18 0 26018 0
vsize: 104144
[startup+390.005 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4445
Raw data (stat): 4445 (Pueblo-v2) R 4444 7266 7265 0 -1 0 24904 0 0 0 38937 67 0 0 25 0 1 0 849368835 108843008 24878 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26573 24878 566 18 0 26555 0
vsize: 106292
[startup+400.005 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4445
Raw data (stat): 4445 (Pueblo-v2) R 4444 7266 7265 0 -1 0 25489 0 0 0 39936 69 0 0 25 0 1 0 849368835 111304704 25463 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27174 25463 566 18 0 27156 0
vsize: 108696
[startup+410.005 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4445
Raw data (stat): 4445 (Pueblo-v2) R 4444 7266 7265 0 -1 0 26045 0 0 0 40935 70 0 0 25 0 1 0 849368835 113606656 26019 4294967295 134512640 134581267 3221224576 3221223568 134561084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27736 26019 566 18 0 27718 0
vsize: 110944
[startup+420.005 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4445
Raw data (stat): 4445 (Pueblo-v2) R 4444 7266 7265 0 -1 0 26566 0 0 0 41934 71 0 0 25 0 1 0 849368835 115675136 26540 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28241 26540 566 18 0 28223 0
vsize: 112964
[startup+430.004 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4445
Raw data (stat): 4445 (Pueblo-v2) R 4444 7266 7265 0 -1 0 26979 0 0 0 42932 72 0 0 25 0 1 0 849368835 117366784 26953 4294967295 134512640 134581267 3221224576 3221223504 134519829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28654 26953 566 18 0 28636 0
vsize: 114616
[startup+440.005 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4445
Raw data (stat): 4445 (Pueblo-v2) R 4444 7266 7265 0 -1 0 27229 0 0 0 43932 73 0 0 25 0 1 0 849368835 118427648 27203 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28913 27203 566 18 0 28895 0
vsize: 115652
[startup+450.005 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4445
Raw data (stat): 4445 (Pueblo-v2) R 4444 7266 7265 0 -1 0 27611 0 0 0 44931 74 0 0 25 0 1 0 849368835 119955456 27585 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29286 27585 566 18 0 29268 0
vsize: 117144
[startup+460.005 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4445
Raw data (stat): 4445 (Pueblo-v2) R 4444 7266 7265 0 -1 0 28016 0 0 0 45930 75 0 0 25 0 1 0 849368835 121630720 27990 4294967295 134512640 134581267 3221224576 3221223520 134559268 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29695 27990 566 18 0 29677 0
vsize: 118780
[startup+470.005 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4445
Raw data (stat): 4445 (Pueblo-v2) R 4444 7266 7265 0 -1 0 28564 0 0 0 46928 77 0 0 25 0 1 0 849368835 123830272 28538 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30232 28538 566 18 0 30214 0
vsize: 120928
[startup+480.005 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4445
Raw data (stat): 4445 (Pueblo-v2) R 4444 7266 7265 0 -1 0 29121 0 0 0 47928 78 0 0 25 0 1 0 849368835 126181376 29095 4294967295 134512640 134581267 3221224576 3221223504 134520084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30806 29095 566 18 0 30788 0
vsize: 123224
[startup+490.006 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4445
Raw data (stat): 4445 (Pueblo-v2) R 4444 7266 7265 0 -1 0 29735 0 0 0 48926 80 0 0 25 0 1 0 849368835 128675840 29709 4294967295 134512640 134581267 3221224576 3221223504 134519913 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31415 29709 566 18 0 31397 0
vsize: 125660
[startup+500.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4445
Raw data (stat): 4445 (Pueblo-v2) R 4444 7266 7265 0 -1 0 30406 0 0 0 49925 81 0 0 25 0 1 0 849368835 131395584 30380 4294967295 134512640 134581267 3221224576 3221223552 134561060 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32079 30380 566 18 0 32061 0
vsize: 128316
[startup+510.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4445
Raw data (stat): 4445 (Pueblo-v2) R 4444 7266 7265 0 -1 0 31047 0 0 0 50923 83 0 0 25 0 1 0 849368835 134053888 31021 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32728 31021 566 18 0 32710 0
vsize: 130912
[startup+520.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4445
Raw data (stat): 4445 (Pueblo-v2) R 4444 7266 7265 0 -1 0 31609 0 0 0 51922 85 0 0 25 0 1 0 849368835 136314880 31583 4294967295 134512640 134581267 3221224576 3221223584 134519705 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33280 31583 566 18 0 33262 0
vsize: 133120
[startup+530.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4445
Raw data (stat): 4445 (Pueblo-v2) R 4444 7266 7265 0 -1 0 31969 0 0 0 52922 85 0 0 25 0 1 0 849368835 137834496 31943 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33651 31943 566 18 0 33633 0
vsize: 134604
[startup+540.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4445
Raw data (stat): 4445 (Pueblo-v2) R 4444 7266 7265 0 -1 0 32357 0 0 0 53921 86 0 0 25 0 1 0 849368835 139382784 32331 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34029 32331 566 18 0 34011 0
vsize: 136116
[startup+550.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4445
Raw data (stat): 4445 (Pueblo-v2) R 4444 7266 7265 0 -1 0 32798 0 0 0 54920 87 0 0 25 0 1 0 849368835 141135872 32772 4294967295 134512640 134581267 3221224576 3221223472 134517883 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34457 32772 566 18 0 34439 0
vsize: 137828
[startup+560.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4445
Raw data (stat): 4445 (Pueblo-v2) R 4444 7266 7265 0 -1 0 33210 0 0 0 55919 88 0 0 25 0 1 0 849368835 142897152 33184 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34887 33184 566 18 0 34869 0
vsize: 139548
[startup+570.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4445
Raw data (stat): 4445 (Pueblo-v2) R 4444 7266 7265 0 -1 0 33622 0 0 0 56919 89 0 0 25 0 1 0 849368835 144519168 33596 4294967295 134512640 134581267 3221224576 3221223504 134520027 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35283 33596 566 18 0 35265 0
vsize: 141132
[startup+580.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4445
Raw data (stat): 4445 (Pueblo-v2) R 4444 7266 7265 0 -1 0 34021 0 0 0 57918 90 0 0 25 0 1 0 849368835 146161664 33995 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35684 33995 566 18 0 35666 0
vsize: 142736
[startup+590.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4445
Raw data (stat): 4445 (Pueblo-v2) R 4444 7266 7265 0 -1 0 34594 0 0 0 58917 91 0 0 25 0 1 0 849368835 148578304 34568 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36274 34568 566 18 0 36256 0
vsize: 145096
[startup+600.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4445
Raw data (stat): 4445 (Pueblo-v2) R 4444 7266 7265 0 -1 0 35058 0 0 0 59917 91 0 0 25 0 1 0 849368835 150474752 35032 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36737 35032 566 18 0 36719 0
vsize: 146948
[startup+610.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4445
Raw data (stat): 4445 (Pueblo-v2) R 4444 7266 7265 0 -1 0 35525 0 0 0 60916 93 0 0 25 0 1 0 849368835 152326144 35499 4294967295 134512640 134581267 3221224576 3221223568 134561040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37189 35499 566 18 0 37171 0
vsize: 148756
[startup+620.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4445
Raw data (stat): 4445 (Pueblo-v2) R 4444 7266 7265 0 -1 0 36028 0 0 0 61915 94 0 0 25 0 1 0 849368835 154431488 36002 4294967295 134512640 134581267 3221224576 3221223504 134520084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37703 36002 566 18 0 37685 0
vsize: 150812
[startup+630.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4445
Raw data (stat): 4445 (Pueblo-v2) R 4444 7266 7265 0 -1 0 36531 0 0 0 62913 96 0 0 25 0 1 0 849368835 156475392 36505 4294967295 134512640 134581267 3221224576 3221223504 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38202 36505 566 18 0 38184 0
vsize: 152808
[startup+640.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4445
Raw data (stat): 4445 (Pueblo-v2) R 4444 7266 7265 0 -1 0 37130 0 0 0 63912 97 0 0 25 0 1 0 849368835 158986240 37104 4294967295 134512640 134581267 3221224576 3221223504 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38815 37104 566 18 0 38797 0
vsize: 155260
[startup+650.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4445
Raw data (stat): 4445 (Pueblo-v2) R 4444 7266 7265 0 -1 0 37729 0 0 0 64911 98 0 0 25 0 1 0 849368835 161419264 37703 4294967295 134512640 134581267 3221224576 3221223552 134561060 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39409 37703 566 18 0 39391 0
vsize: 157636
[startup+660.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4445
Raw data (stat): 4445 (Pueblo-v2) R 4444 7266 7265 0 -1 0 38496 0 0 0 65909 101 0 0 25 0 1 0 849368835 164528128 38470 4294967295 134512640 134581267 3221224576 3221223504 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40168 38470 566 18 0 40150 0
vsize: 160672
[startup+670.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4445
Raw data (stat): 4445 (Pueblo-v2) R 4444 7266 7265 0 -1 0 39360 0 0 0 66907 103 0 0 25 0 1 0 849368835 168140800 39334 4294967295 134512640 134581267 3221224576 3221223568 134561040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41050 39334 566 18 0 41032 0
vsize: 164200
[startup+680.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4445
Raw data (stat): 4445 (Pueblo-v2) R 4444 7266 7265 0 -1 0 39896 0 0 0 67905 104 0 0 25 0 1 0 849368835 170307584 39870 4294967295 134512640 134581267 3221224576 3221223536 134516726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41579 39870 566 18 0 41561 0
vsize: 166316
[startup+690.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4445
Raw data (stat): 4445 (Pueblo-v2) R 4444 7266 7265 0 -1 0 39896 0 0 0 68906 104 0 0 25 0 1 0 849368835 170307584 39870 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41579 39870 566 18 0 41561 0
vsize: 166316
[startup+700.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4445
Raw data (stat): 4445 (Pueblo-v2) R 4444 7266 7265 0 -1 0 39896 0 0 0 69906 104 0 0 25 0 1 0 849368835 170307584 39870 4294967295 134512640 134581267 3221224576 3221223488 134527692 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41579 39870 566 18 0 41561 0
vsize: 166316
[startup+710.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4445
Raw data (stat): 4445 (Pueblo-v2) R 4444 7266 7265 0 -1 0 39896 0 0 0 70906 104 0 0 25 0 1 0 849368835 170307584 39870 4294967295 134512640 134581267 3221224576 3221223568 134561040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41579 39870 566 18 0 41561 0
vsize: 166316
[startup+720.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4445
Raw data (stat): 4445 (Pueblo-v2) R 4444 7266 7265 0 -1 0 39896 0 0 0 71906 104 0 0 25 0 1 0 849368835 170307584 39870 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41579 39870 566 18 0 41561 0
vsize: 166316
[startup+730.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4445
Raw data (stat): 4445 (Pueblo-v2) R 4444 7266 7265 0 -1 0 39896 0 0 0 72906 105 0 0 25 0 1 0 849368835 170307584 39870 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41579 39870 566 18 0 41561 0
vsize: 166316
[startup+740.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4445
Raw data (stat): 4445 (Pueblo-v2) R 4444 7266 7265 0 -1 0 39896 0 0 0 73906 105 0 0 25 0 1 0 849368835 170307584 39870 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41579 39870 566 18 0 41561 0
vsize: 166316
[startup+750.013 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4445
Raw data (stat): 4445 (Pueblo-v2) R 4444 7266 7265 0 -1 0 39896 0 0 0 74906 105 0 0 25 0 1 0 849368835 170307584 39870 4294967295 134512640 134581267 3221224576 3221223504 134519950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41579 39870 566 18 0 41561 0
vsize: 166316
[startup+760.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4445
Raw data (stat): 4445 (Pueblo-v2) R 4444 7266 7265 0 -1 0 39896 0 0 0 75906 105 0 0 25 0 1 0 849368835 170307584 39870 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41579 39870 566 18 0 41561 0
vsize: 166316
[startup+770.013 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4445
Raw data (stat): 4445 (Pueblo-v2) R 4444 7266 7265 0 -1 0 39896 0 0 0 76906 105 0 0 25 0 1 0 849368835 170307584 39870 4294967295 134512640 134581267 3221224576 3221223488 134527459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41579 39870 566 18 0 41561 0
vsize: 166316
[startup+780.013 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4445
Raw data (stat): 4445 (Pueblo-v2) R 4444 7266 7265 0 -1 0 39896 0 0 0 77907 105 0 0 25 0 1 0 849368835 170307584 39870 4294967295 134512640 134581267 3221224576 3221223520 134558775 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41579 39870 566 18 0 41561 0
vsize: 166316
[startup+790.013 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4445
Raw data (stat): 4445 (Pueblo-v2) R 4444 7266 7265 0 -1 0 39896 0 0 0 78907 105 0 0 25 0 1 0 849368835 170307584 39870 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41579 39870 566 18 0 41561 0
vsize: 166316
[startup+800.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4445
Raw data (stat): 4445 (Pueblo-v2) R 4444 7266 7265 0 -1 0 39896 0 0 0 79907 105 0 0 25 0 1 0 849368835 170307584 39870 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41579 39870 566 18 0 41561 0
vsize: 166316
[startup+810.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4445
Raw data (stat): 4445 (Pueblo-v2) R 4444 7266 7265 0 -1 0 39896 0 0 0 80907 105 0 0 25 0 1 0 849368835 170307584 39870 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41579 39870 566 18 0 41561 0
vsize: 166316
[startup+820.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4445
Raw data (stat): 4445 (Pueblo-v2) R 4444 7266 7265 0 -1 0 39896 0 0 0 81907 105 0 0 25 0 1 0 849368835 170307584 39870 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41579 39870 566 18 0 41561 0
vsize: 166316
[startup+830.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4445
Raw data (stat): 4445 (Pueblo-v2) R 4444 7266 7265 0 -1 0 39896 0 0 0 82907 105 0 0 25 0 1 0 849368835 170307584 39870 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41579 39870 566 18 0 41561 0
vsize: 166316
[startup+840.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4445
Raw data (stat): 4445 (Pueblo-v2) R 4444 7266 7265 0 -1 0 39896 0 0 0 83908 106 0 0 25 0 1 0 849368835 170307584 39870 4294967295 134512640 134581267 3221224576 3221223472 134517897 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41579 39870 566 18 0 41561 0
vsize: 166316
[startup+850.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4445
Raw data (stat): 4445 (Pueblo-v2) R 4444 7266 7265 0 -1 0 39896 0 0 0 84908 106 0 0 25 0 1 0 849368835 170307584 39870 4294967295 134512640 134581267 3221224576 3221223472 134517854 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41579 39870 566 18 0 41561 0
vsize: 166316
[startup+860.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4445
Raw data (stat): 4445 (Pueblo-v2) R 4444 7266 7265 0 -1 0 39896 0 0 0 85908 106 0 0 25 0 1 0 849368835 170307584 39870 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41579 39870 566 18 0 41561 0
vsize: 166316
[startup+870.016 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4445
Raw data (stat): 4445 (Pueblo-v2) R 4444 7266 7265 0 -1 0 39896 0 0 0 86908 106 0 0 25 0 1 0 849368835 170307584 39870 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41579 39870 566 18 0 41561 0
vsize: 166316
[startup+880.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4445
Raw data (stat): 4445 (Pueblo-v2) R 4444 7266 7265 0 -1 0 39896 0 0 0 87908 106 0 0 25 0 1 0 849368835 170307584 39870 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41579 39870 566 18 0 41561 0
vsize: 166316
[startup+890.016 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4445
Raw data (stat): 4445 (Pueblo-v2) R 4444 7266 7265 0 -1 0 39896 0 0 0 88908 106 0 0 25 0 1 0 849368835 170307584 39870 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41579 39870 566 18 0 41561 0
vsize: 166316
[startup+900.016 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4445
Raw data (stat): 4445 (Pueblo-v2) R 4444 7266 7265 0 -1 0 39896 0 0 0 89909 106 0 0 25 0 1 0 849368835 170307584 39870 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41579 39870 566 18 0 41561 0
vsize: 166316
[startup+910.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4445
Raw data (stat): 4445 (Pueblo-v2) R 4444 7266 7265 0 -1 0 39896 0 0 0 90909 106 0 0 25 0 1 0 849368835 170307584 39870 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41579 39870 566 18 0 41561 0
vsize: 166316
[startup+920.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4445
Raw data (stat): 4445 (Pueblo-v2) R 4444 7266 7265 0 -1 0 39896 0 0 0 91909 106 0 0 25 0 1 0 849368835 170307584 39870 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41579 39870 566 18 0 41561 0
vsize: 166316
[startup+930.016 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4445
Raw data (stat): 4445 (Pueblo-v2) R 4444 7266 7265 0 -1 0 39896 0 0 0 92909 106 0 0 25 0 1 0 849368835 170307584 39870 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41579 39870 566 18 0 41561 0
vsize: 166316
[startup+940.017 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4445
Raw data (stat): 4445 (Pueblo-v2) R 4444 7266 7265 0 -1 0 39896 0 0 0 93909 106 0 0 25 0 1 0 849368835 170307584 39870 4294967295 134512640 134581267 3221224576 3221223552 134560674 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41579 39870 566 18 0 41561 0
vsize: 166316
[startup+950.017 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4445
Raw data (stat): 4445 (Pueblo-v2) R 4444 7266 7265 0 -1 0 39896 0 0 0 94909 106 0 0 25 0 1 0 849368835 170307584 39870 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41579 39870 566 18 0 41561 0
vsize: 166316
[startup+960.016 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4445
Raw data (stat): 4445 (Pueblo-v2) R 4444 7266 7265 0 -1 0 39896 0 0 0 95909 106 0 0 25 0 1 0 849368835 170307584 39870 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41579 39870 566 18 0 41561 0
vsize: 166316
[startup+970.016 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4445
Raw data (stat): 4445 (Pueblo-v2) R 4444 7266 7265 0 -1 0 39896 0 0 0 96910 106 0 0 25 0 1 0 849368835 170307584 39870 4294967295 134512640 134581267 3221224576 3221223520 134558775 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41579 39870 566 18 0 41561 0
vsize: 166316
[startup+980.016 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4445
Raw data (stat): 4445 (Pueblo-v2) R 4444 7266 7265 0 -1 0 39896 0 0 0 97910 106 0 0 25 0 1 0 849368835 170307584 39870 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41579 39870 566 18 0 41561 0
vsize: 166316
[startup+990.017 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4445
Raw data (stat): 4445 (Pueblo-v2) R 4444 7266 7265 0 -1 0 39896 0 0 0 98910 106 0 0 25 0 1 0 849368835 170307584 39870 4294967295 134512640 134581267 3221224576 3221223456 134560319 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41579 39870 566 18 0 41561 0
vsize: 166316
[startup+1000.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4445
Raw data (stat): 4445 (Pueblo-v2) R 4444 7266 7265 0 -1 0 39896 0 0 0 99910 106 0 0 25 0 1 0 849368835 170307584 39870 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41579 39870 566 18 0 41561 0
vsize: 166316
[startup+1010.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4445
Raw data (stat): 4445 (Pueblo-v2) R 4444 7266 7265 0 -1 0 39896 0 0 0 100910 106 0 0 25 0 1 0 849368835 170307584 39870 4294967295 134512640 134581267 3221224576 3221223504 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41579 39870 566 18 0 41561 0
vsize: 166316
[startup+1020.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4445
Raw data (stat): 4445 (Pueblo-v2) R 4444 7266 7265 0 -1 0 39896 0 0 0 101911 106 0 0 25 0 1 0 849368835 170307584 39870 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41579 39870 566 18 0 41561 0
vsize: 166316
[startup+1030.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4445
Raw data (stat): 4445 (Pueblo-v2) R 4444 7266 7265 0 -1 0 39896 0 0 0 102911 106 0 0 25 0 1 0 849368835 170307584 39870 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41579 39870 566 18 0 41561 0
vsize: 166316
[startup+1040.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4445
Raw data (stat): 4445 (Pueblo-v2) R 4444 7266 7265 0 -1 0 39896 0 0 0 103911 106 0 0 25 0 1 0 849368835 170307584 39870 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41579 39870 566 18 0 41561 0
vsize: 166316
[startup+1050.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4445
Raw data (stat): 4445 (Pueblo-v2) R 4444 7266 7265 0 -1 0 39896 0 0 0 104911 106 0 0 25 0 1 0 849368835 170307584 39870 4294967295 134512640 134581267 3221224576 3221223552 134560674 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41579 39870 566 18 0 41561 0
vsize: 166316
[startup+1060.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4445
Raw data (stat): 4445 (Pueblo-v2) R 4444 7266 7265 0 -1 0 39896 0 0 0 105911 106 0 0 25 0 1 0 849368835 170307584 39870 4294967295 134512640 134581267 3221224576 3221223520 134559412 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41579 39870 566 18 0 41561 0
vsize: 166316
[startup+1070.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4445
Raw data (stat): 4445 (Pueblo-v2) R 4444 7266 7265 0 -1 0 39896 0 0 0 106911 106 0 0 25 0 1 0 849368835 170307584 39870 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41579 39870 566 18 0 41561 0
vsize: 166316
[startup+1080.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4445
Raw data (stat): 4445 (Pueblo-v2) R 4444 7266 7265 0 -1 0 39896 0 0 0 107912 106 0 0 25 0 1 0 849368835 170307584 39870 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41579 39870 566 18 0 41561 0
vsize: 166316
[startup+1090.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4445
Raw data (stat): 4445 (Pueblo-v2) R 4444 7266 7265 0 -1 0 39896 0 0 0 108912 106 0 0 25 0 1 0 849368835 170307584 39870 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41579 39870 566 18 0 41561 0
vsize: 166316
[startup+1100.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4445
Raw data (stat): 4445 (Pueblo-v2) R 4444 7266 7265 0 -1 0 39896 0 0 0 109912 106 0 0 25 0 1 0 849368835 170307584 39870 4294967295 134512640 134581267 3221224576 3221223472 134517862 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41579 39870 566 18 0 41561 0
vsize: 166316
[startup+1110.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4445
Raw data (stat): 4445 (Pueblo-v2) R 4444 7266 7265 0 -1 0 39896 0 0 0 110912 106 0 0 25 0 1 0 849368835 170307584 39870 4294967295 134512640 134581267 3221224576 3221223472 134517924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41579 39870 566 18 0 41561 0
vsize: 166316
[startup+1120.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4445
Raw data (stat): 4445 (Pueblo-v2) R 4444 7266 7265 0 -1 0 39896 0 0 0 111912 106 0 0 25 0 1 0 849368835 170307584 39870 4294967295 134512640 134581267 3221224576 3221223504 134519950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41579 39870 566 18 0 41561 0
vsize: 166316
[startup+1130.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4445
Raw data (stat): 4445 (Pueblo-v2) R 4444 7266 7265 0 -1 0 39896 0 0 0 112913 106 0 0 25 0 1 0 849368835 170307584 39870 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41579 39870 566 18 0 41561 0
vsize: 166316
[startup+1140.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4445
Raw data (stat): 4445 (Pueblo-v2) R 4444 7266 7265 0 -1 0 39896 0 0 0 113913 106 0 0 25 0 1 0 849368835 170307584 39870 4294967295 134512640 134581267 3221224576 3221223568 134561040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41579 39870 566 18 0 41561 0
vsize: 166316
[startup+1150.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4445
Raw data (stat): 4445 (Pueblo-v2) R 4444 7266 7265 0 -1 0 39896 0 0 0 114913 106 0 0 25 0 1 0 849368835 170307584 39870 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41579 39870 566 18 0 41561 0
vsize: 166316
[startup+1160.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4445
Raw data (stat): 4445 (Pueblo-v2) R 4444 7266 7265 0 -1 0 39896 0 0 0 115913 106 0 0 25 0 1 0 849368835 170307584 39870 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41579 39870 566 18 0 41561 0
vsize: 166316
[startup+1170.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4445
Raw data (stat): 4445 (Pueblo-v2) R 4444 7266 7265 0 -1 0 39896 0 0 0 116913 106 0 0 25 0 1 0 849368835 170307584 39870 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41579 39870 566 18 0 41561 0
vsize: 166316
[startup+1180.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4445
Raw data (stat): 4445 (Pueblo-v2) R 4444 7266 7265 0 -1 0 39896 0 0 0 117913 106 0 0 25 0 1 0 849368835 170307584 39870 4294967295 134512640 134581267 3221224576 3221223456 134560194 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41579 39870 566 18 0 41561 0
vsize: 166316
[startup+1190.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4445
Raw data (stat): 4445 (Pueblo-v2) R 4444 7266 7265 0 -1 0 39896 0 0 0 118914 106 0 0 25 0 1 0 849368835 170307584 39870 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41579 39870 566 18 0 41561 0
vsize: 166316
[startup+1200.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 4445
Raw data (stat): 4445 (Pueblo-v2) R 4444 7266 7265 0 -1 0 39896 0 0 0 119914 106 0 0 25 0 1 0 849368835 170307584 39870 4294967295 134512640 134581267 3221224576 3221223520 134559013 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41579 39870 566 18 0 41561 0
vsize: 166316
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.1 s]
Raw data (loadavg): 1.00 0.97 0.91 1/54 4445
Raw data (stat): 4445 (Pueblo-v2) Z 4444 7266 7265 0 -1 1036 39896 0 0 0 119914 114 0 0 25 0 1 0 849368835 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.29
CPU user time (s): 1199.14
CPU system time (s): 1.14183
CPU usage (%): 100.016
Max. virtual memory (Kb): 166316
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####