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/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-danoint.opb
MD5SUM	bf9bbda6f586f0b888182a433f63f010
Bench Category	optimization, medium integers (OPTMEDINT)
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	20
Biggest coefficient in the objective function	524288
Number of bits for the biggest coefficient in the objective function	20
Sum of the numbers in the objective function	1048575
Number of bits of the sum of numbers in the objective function	20
Biggest number in a constraint	13107200
Number of bits of the biggest number in a constraint	24
Biggest sum of numbers in a constraint	52829966
Number of bits of the biggest sum of numbers	26
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.39179
Number of variables	9304
Total number of constraints	728
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	72
Number of constraints which are nor clauses,nor cardinality constraints	656
Minimum length of a constraint	1
Maximum length of a constraint	1000
Trace number 39214

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-02 23:42:06 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27278 boxname=wulflinc1 idbench=1406 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  bf9bbda6f586f0b888182a433f63f010  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-danoint.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-danoint.opb
IDLAUNCH: 27278
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        212556 kB
Buffers:         32536 kB
Cached:         764912 kB
SwapCached:        668 kB
Active:          41644 kB
Inactive:       758076 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        212304 kB
SwapTotal:     2097136 kB
SwapFree:      2095384 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5824 kB
Slab:            16720 kB
Committed_AS:    92716 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-03 00:02:08 (client local time) WITH STATUS 0 IN 1200.22 SECONDS
stats: 27278 7 1200.22 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.98 0.94 2/55 14834
Raw data (stat): 14834 (runsolver) R 14833 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 796974246 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.0013 s]
Raw data (loadavg): 0.93 0.98 0.94 2/55 14834
Raw data (stat): 14834 (Pueblo-v2) R 14833 8378 8377 0 -1 0 1599 0 0 0 995 3 0 0 25 0 1 0 796974246 12599296 1573 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3076 1573 566 18 0 3058 0
vsize: 12304
[startup+20.0016 s]
Raw data (loadavg): 0.94 0.98 0.94 2/55 14834
Raw data (stat): 14834 (Pueblo-v2) R 14833 8378 8377 0 -1 0 2111 0 0 0 1994 5 0 0 25 0 1 0 796974246 14696448 2085 4294967295 134512640 134581267 3221224576 3221223488 134527504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3588 2085 566 18 0 3570 0
vsize: 14352
[startup+30.0024 s]
Raw data (loadavg): 0.95 0.98 0.94 2/55 14834
Raw data (stat): 14834 (Pueblo-v2) R 14833 8378 8377 0 -1 0 2111 0 0 0 2994 5 0 0 25 0 1 0 796974246 14696448 2085 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3588 2085 566 18 0 3570 0
vsize: 14352
[startup+40.0022 s]
Raw data (loadavg): 0.96 0.98 0.94 2/55 14834
Raw data (stat): 14834 (Pueblo-v2) R 14833 8378 8377 0 -1 0 2154 0 0 0 3994 5 0 0 25 0 1 0 796974246 14958592 2128 4294967295 134512640 134581267 3221224576 3221223488 134528040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3652 2128 566 18 0 3634 0
vsize: 14608
[startup+50.002 s]
Raw data (loadavg): 0.96 0.98 0.94 2/55 14834
Raw data (stat): 14834 (Pueblo-v2) R 14833 8378 8377 0 -1 0 2156 0 0 0 4994 5 0 0 25 0 1 0 796974246 14958592 2130 4294967295 134512640 134581267 3221224576 3221223488 134528053 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3652 2130 566 18 0 3634 0
vsize: 14608
[startup+60.0018 s]
Raw data (loadavg): 0.97 0.98 0.94 2/55 14834
Raw data (stat): 14834 (Pueblo-v2) R 14833 8378 8377 0 -1 0 2156 0 0 0 5994 5 0 0 25 0 1 0 796974246 14958592 2130 4294967295 134512640 134581267 3221224576 3221223488 134527537 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3652 2130 566 18 0 3634 0
vsize: 14608
[startup+70.0019 s]
Raw data (loadavg): 0.97 0.98 0.94 2/55 14834
Raw data (stat): 14834 (Pueblo-v2) R 14833 8378 8377 0 -1 0 2168 0 0 0 6995 5 0 0 25 0 1 0 796974246 14958592 2142 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3652 2142 566 18 0 3634 0
vsize: 14608
[startup+80.0023 s]
Raw data (loadavg): 0.98 0.98 0.94 2/55 14834
Raw data (stat): 14834 (Pueblo-v2) R 14833 8378 8377 0 -1 0 2169 0 0 0 7995 5 0 0 25 0 1 0 796974246 14958592 2143 4294967295 134512640 134581267 3221224576 3221223488 134527420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3652 2143 566 18 0 3634 0
vsize: 14608
[startup+90.0021 s]
Raw data (loadavg): 0.98 0.98 0.94 2/55 14834
Raw data (stat): 14834 (Pueblo-v2) R 14833 8378 8377 0 -1 0 2169 0 0 0 8995 5 0 0 25 0 1 0 796974246 14958592 2143 4294967295 134512640 134581267 3221224576 3221223488 134527516 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3652 2143 566 18 0 3634 0
vsize: 14608
[startup+100.002 s]
Raw data (loadavg): 0.98 0.98 0.94 2/55 14834
Raw data (stat): 14834 (Pueblo-v2) R 14833 8378 8377 0 -1 0 2182 0 0 0 9995 5 0 0 25 0 1 0 796974246 14958592 2156 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3652 2156 566 18 0 3634 0
vsize: 14608
[startup+110.003 s]
Raw data (loadavg): 0.98 0.98 0.94 2/55 14834
Raw data (stat): 14834 (Pueblo-v2) R 14833 8378 8377 0 -1 0 2182 0 0 0 10995 5 0 0 25 0 1 0 796974246 14958592 2156 4294967295 134512640 134581267 3221224576 3221223488 134527513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3652 2156 566 18 0 3634 0
vsize: 14608
[startup+120.002 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 14834
Raw data (stat): 14834 (Pueblo-v2) R 14833 8378 8377 0 -1 0 2182 0 0 0 11996 5 0 0 25 0 1 0 796974246 14958592 2156 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3652 2156 566 18 0 3634 0
vsize: 14608
[startup+130.003 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 14834
Raw data (stat): 14834 (Pueblo-v2) R 14833 8378 8377 0 -1 0 2182 0 0 0 12996 5 0 0 25 0 1 0 796974246 14958592 2156 4294967295 134512640 134581267 3221224576 3221223488 134527513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3652 2156 566 18 0 3634 0
vsize: 14608
[startup+140.002 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 14834
Raw data (stat): 14834 (Pueblo-v2) R 14833 8378 8377 0 -1 0 2182 0 0 0 13996 5 0 0 25 0 1 0 796974246 14958592 2156 4294967295 134512640 134581267 3221224576 3221223488 134528040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3652 2156 566 18 0 3634 0
vsize: 14608
[startup+150.002 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 14834
Raw data (stat): 14834 (Pueblo-v2) R 14833 8378 8377 0 -1 0 2193 0 0 0 14996 5 0 0 25 0 1 0 796974246 15089664 2167 4294967295 134512640 134581267 3221224576 3221223488 134527516 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3684 2167 566 18 0 3666 0
vsize: 14736
[startup+160.002 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 14834
Raw data (stat): 14834 (Pueblo-v2) R 14833 8378 8377 0 -1 0 2193 0 0 0 15996 5 0 0 25 0 1 0 796974246 15089664 2167 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3684 2167 566 18 0 3666 0
vsize: 14736
[startup+170.002 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 14834
Raw data (stat): 14834 (Pueblo-v2) R 14833 8378 8377 0 -1 0 2193 0 0 0 16996 5 0 0 25 0 1 0 796974246 15089664 2167 4294967295 134512640 134581267 3221224576 3221223488 134527935 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3684 2167 566 18 0 3666 0
vsize: 14736
[startup+180.002 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 14834
Raw data (stat): 14834 (Pueblo-v2) R 14833 8378 8377 0 -1 0 2193 0 0 0 17996 5 0 0 25 0 1 0 796974246 15089664 2167 4294967295 134512640 134581267 3221224576 3221223552 134560674 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3684 2167 566 18 0 3666 0
vsize: 14736
[startup+190.002 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 14834
Raw data (stat): 14834 (Pueblo-v2) R 14833 8378 8377 0 -1 0 2193 0 0 0 18997 5 0 0 25 0 1 0 796974246 15089664 2167 4294967295 134512640 134581267 3221224576 3221223488 134527948 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3684 2167 566 18 0 3666 0
vsize: 14736
[startup+200.002 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 14834
Raw data (stat): 14834 (Pueblo-v2) R 14833 8378 8377 0 -1 0 2193 0 0 0 19997 5 0 0 25 0 1 0 796974246 15089664 2167 4294967295 134512640 134581267 3221224576 3221223488 134527429 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3684 2167 566 18 0 3666 0
vsize: 14736
[startup+210.002 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 14834
Raw data (stat): 14834 (Pueblo-v2) R 14833 8378 8377 0 -1 0 2193 0 0 0 20997 5 0 0 25 0 1 0 796974246 15089664 2167 4294967295 134512640 134581267 3221224576 3221223488 134527513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3684 2167 566 18 0 3666 0
vsize: 14736
[startup+220.001 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 14834
Raw data (stat): 14834 (Pueblo-v2) R 14833 8378 8377 0 -1 0 2207 0 0 0 21997 5 0 0 25 0 1 0 796974246 15089664 2181 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3684 2181 566 18 0 3666 0
vsize: 14736
[startup+230.002 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 14834
Raw data (stat): 14834 (Pueblo-v2) R 14833 8378 8377 0 -1 0 2207 0 0 0 22997 5 0 0 25 0 1 0 796974246 15089664 2181 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3684 2181 566 18 0 3666 0
vsize: 14736
[startup+240.001 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 14834
Raw data (stat): 14834 (Pueblo-v2) R 14833 8378 8377 0 -1 0 2210 0 0 0 23997 5 0 0 25 0 1 0 796974246 15089664 2184 4294967295 134512640 134581267 3221224576 3221223488 134527459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3684 2184 566 18 0 3666 0
vsize: 14736
[startup+250.001 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 14834
Raw data (stat): 14834 (Pueblo-v2) R 14833 8378 8377 0 -1 0 2210 0 0 0 24997 5 0 0 25 0 1 0 796974246 15089664 2184 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3684 2184 566 18 0 3666 0
vsize: 14736
[startup+260.001 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 14834
Raw data (stat): 14834 (Pueblo-v2) R 14833 8378 8377 0 -1 0 2210 0 0 0 25998 5 0 0 25 0 1 0 796974246 15089664 2184 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3684 2184 566 18 0 3666 0
vsize: 14736
[startup+270.001 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 14834
Raw data (stat): 14834 (Pueblo-v2) R 14833 8378 8377 0 -1 0 2210 0 0 0 26998 5 0 0 25 0 1 0 796974246 15089664 2184 4294967295 134512640 134581267 3221224576 3221223488 134527531 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3684 2184 566 18 0 3666 0
vsize: 14736
[startup+280.001 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 14834
Raw data (stat): 14834 (Pueblo-v2) R 14833 8378 8377 0 -1 0 2210 0 0 0 27998 5 0 0 25 0 1 0 796974246 15089664 2184 4294967295 134512640 134581267 3221224576 3221223488 134527539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3684 2184 566 18 0 3666 0
vsize: 14736
[startup+290.002 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 14834
Raw data (stat): 14834 (Pueblo-v2) R 14833 8378 8377 0 -1 0 2213 0 0 0 28998 5 0 0 25 0 1 0 796974246 15089664 2187 4294967295 134512640 134581267 3221224576 3221223396 1075289822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3684 2187 566 18 0 3666 0
vsize: 14736
[startup+300.002 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 14834
Raw data (stat): 14834 (Pueblo-v2) R 14833 8378 8377 0 -1 0 2213 0 0 0 29998 5 0 0 25 0 1 0 796974246 15089664 2187 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3684 2187 566 18 0 3666 0
vsize: 14736
[startup+310.002 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 14834
Raw data (stat): 14834 (Pueblo-v2) R 14833 8378 8377 0 -1 0 2214 0 0 0 30998 5 0 0 25 0 1 0 796974246 15089664 2188 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3684 2188 566 18 0 3666 0
vsize: 14736
[startup+320.002 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 14834
Raw data (stat): 14834 (Pueblo-v2) R 14833 8378 8377 0 -1 0 2214 0 0 0 31999 5 0 0 25 0 1 0 796974246 15089664 2188 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3684 2188 566 18 0 3666 0
vsize: 14736
[startup+330.002 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 14834
Raw data (stat): 14834 (Pueblo-v2) R 14833 8378 8377 0 -1 0 2214 0 0 0 32999 5 0 0 25 0 1 0 796974246 15089664 2188 4294967295 134512640 134581267 3221224576 3221223488 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3684 2188 566 18 0 3666 0
vsize: 14736
[startup+340.002 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 14834
Raw data (stat): 14834 (Pueblo-v2) R 14833 8378 8377 0 -1 0 2214 0 0 0 33999 5 0 0 25 0 1 0 796974246 15089664 2188 4294967295 134512640 134581267 3221224576 3221223488 134527418 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3684 2188 566 18 0 3666 0
vsize: 14736
[startup+350.002 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 14834
Raw data (stat): 14834 (Pueblo-v2) R 14833 8378 8377 0 -1 0 2214 0 0 0 34999 5 0 0 25 0 1 0 796974246 15089664 2188 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3684 2188 566 18 0 3666 0
vsize: 14736
[startup+360.002 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 14834
Raw data (stat): 14834 (Pueblo-v2) R 14833 8378 8377 0 -1 0 2216 0 0 0 35999 5 0 0 25 0 1 0 796974246 15089664 2190 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3684 2190 566 18 0 3666 0
vsize: 14736
[startup+370.003 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 14834
Raw data (stat): 14834 (Pueblo-v2) R 14833 8378 8377 0 -1 0 2216 0 0 0 36999 5 0 0 25 0 1 0 796974246 15089664 2190 4294967295 134512640 134581267 3221224576 3221223488 134527434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3684 2190 566 18 0 3666 0
vsize: 14736
[startup+380.003 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 14834
Raw data (stat): 14834 (Pueblo-v2) R 14833 8378 8377 0 -1 0 2216 0 0 0 38000 5 0 0 25 0 1 0 796974246 15089664 2190 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3684 2190 566 18 0 3666 0
vsize: 14736
[startup+390.004 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 14834
Raw data (stat): 14834 (Pueblo-v2) R 14833 8378 8377 0 -1 0 2232 0 0 0 39000 5 0 0 25 0 1 0 796974246 15220736 2206 4294967295 134512640 134581267 3221224576 3221223488 134527451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3716 2206 566 18 0 3698 0
vsize: 14864
[startup+400.004 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 14834
Raw data (stat): 14834 (Pueblo-v2) R 14833 8378 8377 0 -1 0 2232 0 0 0 40000 5 0 0 25 0 1 0 796974246 15220736 2206 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3716 2206 566 18 0 3698 0
vsize: 14864
[startup+410.004 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 14834
Raw data (stat): 14834 (Pueblo-v2) R 14833 8378 8377 0 -1 0 2232 0 0 0 41000 5 0 0 25 0 1 0 796974246 15220736 2206 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3716 2206 566 18 0 3698 0
vsize: 14864
[startup+420.003 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 14834
Raw data (stat): 14834 (Pueblo-v2) R 14833 8378 8377 0 -1 0 2232 0 0 0 42000 5 0 0 25 0 1 0 796974246 15220736 2206 4294967295 134512640 134581267 3221224576 3221223504 134519829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3716 2206 566 18 0 3698 0
vsize: 14864
[startup+430.004 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 14834
Raw data (stat): 14834 (Pueblo-v2) R 14833 8378 8377 0 -1 0 2232 0 0 0 43001 5 0 0 25 0 1 0 796974246 15220736 2206 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3716 2206 566 18 0 3698 0
vsize: 14864
[startup+440.004 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 14834
Raw data (stat): 14834 (Pueblo-v2) R 14833 8378 8377 0 -1 0 2232 0 0 0 44001 5 0 0 25 0 1 0 796974246 15220736 2206 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3716 2206 566 18 0 3698 0
vsize: 14864
[startup+450.003 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 14834
Raw data (stat): 14834 (Pueblo-v2) R 14833 8378 8377 0 -1 0 2233 0 0 0 45001 5 0 0 25 0 1 0 796974246 15220736 2207 4294967295 134512640 134581267 3221224576 3221223488 134527636 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3716 2207 566 18 0 3698 0
vsize: 14864
[startup+460.004 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 14834
Raw data (stat): 14834 (Pueblo-v2) R 14833 8378 8377 0 -1 0 2233 0 0 0 46001 5 0 0 25 0 1 0 796974246 15220736 2207 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3716 2207 566 18 0 3698 0
vsize: 14864
[startup+470.004 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 14834
Raw data (stat): 14834 (Pueblo-v2) R 14833 8378 8377 0 -1 0 2233 0 0 0 47001 5 0 0 25 0 1 0 796974246 15220736 2207 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3716 2207 566 18 0 3698 0
vsize: 14864
[startup+480.005 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 14834
Raw data (stat): 14834 (Pueblo-v2) R 14833 8378 8377 0 -1 0 2238 0 0 0 48002 5 0 0 25 0 1 0 796974246 15220736 2212 4294967295 134512640 134581267 3221224576 3221223536 134516723 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3716 2212 566 18 0 3698 0
vsize: 14864
[startup+490.005 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 14834
Raw data (stat): 14834 (Pueblo-v2) R 14833 8378 8377 0 -1 0 2238 0 0 0 49002 5 0 0 25 0 1 0 796974246 15220736 2212 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3716 2212 566 18 0 3698 0
vsize: 14864
[startup+500.004 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 14834
Raw data (stat): 14834 (Pueblo-v2) R 14833 8378 8377 0 -1 0 2238 0 0 0 50002 5 0 0 25 0 1 0 796974246 15220736 2212 4294967295 134512640 134581267 3221224576 3221223440 134527148 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3716 2212 566 18 0 3698 0
vsize: 14864
[startup+510.004 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 14834
Raw data (stat): 14834 (Pueblo-v2) R 14833 8378 8377 0 -1 0 2238 0 0 0 51002 5 0 0 25 0 1 0 796974246 15220736 2212 4294967295 134512640 134581267 3221224576 3221223492 1075285501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3716 2212 566 18 0 3698 0
vsize: 14864
[startup+520.004 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 14834
Raw data (stat): 14834 (Pueblo-v2) R 14833 8378 8377 0 -1 0 2238 0 0 0 52002 5 0 0 25 0 1 0 796974246 15220736 2212 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3716 2212 566 18 0 3698 0
vsize: 14864
[startup+530.005 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 14834
Raw data (stat): 14834 (Pueblo-v2) R 14833 8378 8377 0 -1 0 2238 0 0 0 53002 5 0 0 25 0 1 0 796974246 15220736 2212 4294967295 134512640 134581267 3221224576 3221223488 134527504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3716 2212 566 18 0 3698 0
vsize: 14864
[startup+540.005 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 14834
Raw data (stat): 14834 (Pueblo-v2) R 14833 8378 8377 0 -1 0 2238 0 0 0 54002 5 0 0 25 0 1 0 796974246 15220736 2212 4294967295 134512640 134581267 3221224576 3221223488 134527768 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3716 2212 566 18 0 3698 0
vsize: 14864
[startup+550.005 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 14834
Raw data (stat): 14834 (Pueblo-v2) R 14833 8378 8377 0 -1 0 2244 0 0 0 55003 5 0 0 25 0 1 0 796974246 15220736 2218 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3716 2218 566 18 0 3698 0
vsize: 14864
[startup+560.005 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 14834
Raw data (stat): 14834 (Pueblo-v2) R 14833 8378 8377 0 -1 0 2244 0 0 0 56003 5 0 0 25 0 1 0 796974246 15220736 2218 4294967295 134512640 134581267 3221224576 3221223488 134527516 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3716 2218 566 18 0 3698 0
vsize: 14864
[startup+570.005 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 14834
Raw data (stat): 14834 (Pueblo-v2) R 14833 8378 8377 0 -1 0 2244 0 0 0 57003 5 0 0 25 0 1 0 796974246 15220736 2218 4294967295 134512640 134581267 3221224576 3221223488 134527451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3716 2218 566 18 0 3698 0
vsize: 14864
[startup+580.005 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 14834
Raw data (stat): 14834 (Pueblo-v2) R 14833 8378 8377 0 -1 0 2245 0 0 0 58003 5 0 0 25 0 1 0 796974246 15220736 2219 4294967295 134512640 134581267 3221224576 3221223488 134527941 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3716 2219 566 18 0 3698 0
vsize: 14864
[startup+590.005 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 14834
Raw data (stat): 14834 (Pueblo-v2) R 14833 8378 8377 0 -1 0 2266 0 0 0 59003 5 0 0 25 0 1 0 796974246 15351808 2240 4294967295 134512640 134581267 3221224576 3221223488 134527434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3748 2240 566 18 0 3730 0
vsize: 14992
[startup+600.004 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 14834
Raw data (stat): 14834 (Pueblo-v2) R 14833 8378 8377 0 -1 0 2266 0 0 0 60003 5 0 0 25 0 1 0 796974246 15351808 2240 4294967295 134512640 134581267 3221224576 3221223488 134527445 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3748 2240 566 18 0 3730 0
vsize: 14992
[startup+610.004 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 14834
Raw data (stat): 14834 (Pueblo-v2) R 14833 8378 8377 0 -1 0 2277 0 0 0 61004 5 0 0 25 0 1 0 796974246 15482880 2251 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3780 2251 566 18 0 3762 0
vsize: 15120
[startup+620.004 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 14834
Raw data (stat): 14834 (Pueblo-v2) R 14833 8378 8377 0 -1 0 2309 0 0 0 62004 5 0 0 25 0 1 0 796974246 15613952 2283 4294967295 134512640 134581267 3221224576 3221223488 134527416 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3812 2283 566 18 0 3794 0
vsize: 15248
[startup+630.004 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 14834
Raw data (stat): 14834 (Pueblo-v2) R 14833 8378 8377 0 -1 0 2309 0 0 0 63004 5 0 0 25 0 1 0 796974246 15613952 2283 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3812 2283 566 18 0 3794 0
vsize: 15248
[startup+640.003 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 14834
Raw data (stat): 14834 (Pueblo-v2) R 14833 8378 8377 0 -1 0 2348 0 0 0 64004 5 0 0 25 0 1 0 796974246 15745024 2322 4294967295 134512640 134581267 3221224576 3221223488 134527676 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3844 2322 566 18 0 3826 0
vsize: 15376
[startup+650.004 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 14834
Raw data (stat): 14834 (Pueblo-v2) R 14833 8378 8377 0 -1 0 2348 0 0 0 65004 5 0 0 25 0 1 0 796974246 15745024 2322 4294967295 134512640 134581267 3221224576 3221223488 134527513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3844 2322 566 18 0 3826 0
vsize: 15376
[startup+660.004 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 14834
Raw data (stat): 14834 (Pueblo-v2) R 14833 8378 8377 0 -1 0 2348 0 0 0 66004 5 0 0 25 0 1 0 796974246 15745024 2322 4294967295 134512640 134581267 3221224576 3221223488 134527418 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3844 2322 566 18 0 3826 0
vsize: 15376
[startup+670.004 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 14834
Raw data (stat): 14834 (Pueblo-v2) R 14833 8378 8377 0 -1 0 2377 0 0 0 67004 5 0 0 25 0 1 0 796974246 15876096 2351 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3876 2351 566 18 0 3858 0
vsize: 15504
[startup+680.005 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 14834
Raw data (stat): 14834 (Pueblo-v2) R 14833 8378 8377 0 -1 0 2377 0 0 0 68005 5 0 0 25 0 1 0 796974246 15876096 2351 4294967295 134512640 134581267 3221224576 3221223488 134527695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3876 2351 566 18 0 3858 0
vsize: 15504
[startup+690.004 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 14834
Raw data (stat): 14834 (Pueblo-v2) R 14833 8378 8377 0 -1 0 2377 0 0 0 69005 5 0 0 25 0 1 0 796974246 15876096 2351 4294967295 134512640 134581267 3221224576 3221223488 134527459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3876 2351 566 18 0 3858 0
vsize: 15504
[startup+700.004 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 14834
Raw data (stat): 14834 (Pueblo-v2) R 14833 8378 8377 0 -1 0 2378 0 0 0 70005 5 0 0 25 0 1 0 796974246 15876096 2352 4294967295 134512640 134581267 3221224576 3221223488 134527434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3876 2352 566 18 0 3858 0
vsize: 15504
[startup+710.005 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 14834
Raw data (stat): 14834 (Pueblo-v2) R 14833 8378 8377 0 -1 0 2386 0 0 0 71005 6 0 0 25 0 1 0 796974246 15876096 2360 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3876 2360 566 18 0 3858 0
vsize: 15504
[startup+720.005 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 14834
Raw data (stat): 14834 (Pueblo-v2) R 14833 8378 8377 0 -1 0 2386 0 0 0 72005 6 0 0 25 0 1 0 796974246 15876096 2360 4294967295 134512640 134581267 3221224576 3221223488 134527504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3876 2360 566 18 0 3858 0
vsize: 15504
[startup+730.005 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 14834
Raw data (stat): 14834 (Pueblo-v2) R 14833 8378 8377 0 -1 0 2386 0 0 0 73005 6 0 0 25 0 1 0 796974246 15876096 2360 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3876 2360 566 18 0 3858 0
vsize: 15504
[startup+740.005 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 14834
Raw data (stat): 14834 (Pueblo-v2) R 14833 8378 8377 0 -1 0 2386 0 0 0 74006 6 0 0 25 0 1 0 796974246 15876096 2360 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3876 2360 566 18 0 3858 0
vsize: 15504
[startup+750.005 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 14834
Raw data (stat): 14834 (Pueblo-v2) R 14833 8378 8377 0 -1 0 2386 0 0 0 75006 6 0 0 25 0 1 0 796974246 15876096 2360 4294967295 134512640 134581267 3221224576 3221223488 134527689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3876 2360 566 18 0 3858 0
vsize: 15504
[startup+760.005 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 14834
Raw data (stat): 14834 (Pueblo-v2) R 14833 8378 8377 0 -1 0 2386 0 0 0 76006 6 0 0 25 0 1 0 796974246 15876096 2360 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3876 2360 566 18 0 3858 0
vsize: 15504
[startup+770.005 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 14834
Raw data (stat): 14834 (Pueblo-v2) R 14833 8378 8377 0 -1 0 2386 0 0 0 77006 6 0 0 25 0 1 0 796974246 15876096 2360 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3876 2360 566 18 0 3858 0
vsize: 15504
[startup+780.005 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 14834
Raw data (stat): 14834 (Pueblo-v2) R 14833 8378 8377 0 -1 0 2386 0 0 0 78006 6 0 0 25 0 1 0 796974246 15876096 2360 4294967295 134512640 134581267 3221224576 3221223488 134527537 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3876 2360 566 18 0 3858 0
vsize: 15504
[startup+790.006 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 14834
Raw data (stat): 14834 (Pueblo-v2) R 14833 8378 8377 0 -1 0 2386 0 0 0 79006 6 0 0 25 0 1 0 796974246 15876096 2360 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3876 2360 566 18 0 3858 0
vsize: 15504
[startup+800.005 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 14834
Raw data (stat): 14834 (Pueblo-v2) R 14833 8378 8377 0 -1 0 2402 0 0 0 80006 6 0 0 25 0 1 0 796974246 15876096 2376 4294967295 134512640 134581267 3221224576 3221223568 134561087 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3876 2376 566 18 0 3858 0
vsize: 15504
[startup+810.006 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 14834
Raw data (stat): 14834 (Pueblo-v2) R 14833 8378 8377 0 -1 0 2402 0 0 0 81007 6 0 0 25 0 1 0 796974246 15876096 2376 4294967295 134512640 134581267 3221224576 3221223488 134528040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3876 2376 566 18 0 3858 0
vsize: 15504
[startup+820.006 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 14834
Raw data (stat): 14834 (Pueblo-v2) R 14833 8378 8377 0 -1 0 2415 0 0 0 82007 6 0 0 25 0 1 0 796974246 16007168 2389 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3908 2389 566 18 0 3890 0
vsize: 15632
[startup+830.006 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 14834
Raw data (stat): 14834 (Pueblo-v2) R 14833 8378 8377 0 -1 0 2455 0 0 0 83007 6 0 0 25 0 1 0 796974246 16138240 2429 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3940 2429 566 18 0 3922 0
vsize: 15760
[startup+840.005 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 14834
Raw data (stat): 14834 (Pueblo-v2) R 14833 8378 8377 0 -1 0 2481 0 0 0 84007 6 0 0 25 0 1 0 796974246 16269312 2455 4294967295 134512640 134581267 3221224576 3221223488 134527418 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3972 2455 566 18 0 3954 0
vsize: 15888
[startup+850.005 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 14834
Raw data (stat): 14834 (Pueblo-v2) R 14833 8378 8377 0 -1 0 2490 0 0 0 85007 6 0 0 25 0 1 0 796974246 16269312 2464 4294967295 134512640 134581267 3221224576 3221223504 134520076 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3972 2464 566 18 0 3954 0
vsize: 15888
[startup+860.006 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 14834
Raw data (stat): 14834 (Pueblo-v2) R 14833 8378 8377 0 -1 0 2491 0 0 0 86007 6 0 0 25 0 1 0 796974246 16269312 2465 4294967295 134512640 134581267 3221224576 3221223488 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3972 2465 566 18 0 3954 0
vsize: 15888
[startup+870.005 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 14834
Raw data (stat): 14834 (Pueblo-v2) R 14833 8378 8377 0 -1 0 2491 0 0 0 87007 6 0 0 25 0 1 0 796974246 16269312 2465 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3972 2465 566 18 0 3954 0
vsize: 15888
[startup+880.006 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 14834
Raw data (stat): 14834 (Pueblo-v2) R 14833 8378 8377 0 -1 0 2491 0 0 0 88008 6 0 0 25 0 1 0 796974246 16269312 2465 4294967295 134512640 134581267 3221224576 3221223488 134527943 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3972 2465 566 18 0 3954 0
vsize: 15888
[startup+890.007 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 14834
Raw data (stat): 14834 (Pueblo-v2) R 14833 8378 8377 0 -1 0 2762 0 0 0 89007 7 0 0 25 0 1 0 796974246 17469440 2736 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4265 2736 566 18 0 4247 0
vsize: 17060
[startup+900.006 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 14834
Raw data (stat): 14834 (Pueblo-v2) R 14833 8378 8377 0 -1 0 2893 0 0 0 90006 7 0 0 25 0 1 0 796974246 17993728 2867 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4393 2867 566 18 0 4375 0
vsize: 17572
[startup+910.006 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 14834
Raw data (stat): 14834 (Pueblo-v2) R 14833 8378 8377 0 -1 0 3004 0 0 0 91006 8 0 0 25 0 1 0 796974246 18386944 2978 4294967295 134512640 134581267 3221224576 3221223488 134528053 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4489 2978 566 18 0 4471 0
vsize: 17956
[startup+920.006 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 14834
Raw data (stat): 14834 (Pueblo-v2) R 14833 8378 8377 0 -1 0 3066 0 0 0 92007 8 0 0 25 0 1 0 796974246 18649088 3040 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4553 3040 566 18 0 4535 0
vsize: 18212
[startup+930.006 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 14834
Raw data (stat): 14834 (Pueblo-v2) R 14833 8378 8377 0 -1 0 3094 0 0 0 93007 8 0 0 25 0 1 0 796974246 18784256 3068 4294967295 134512640 134581267 3221224576 3221223324 1075285102 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4586 3068 566 18 0 4568 0
vsize: 18344
[startup+940.006 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 14834
Raw data (stat): 14834 (Pueblo-v2) R 14833 8378 8377 0 -1 0 3094 0 0 0 94007 8 0 0 25 0 1 0 796974246 18784256 3068 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4586 3068 566 18 0 4568 0
vsize: 18344
[startup+950.006 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 14834
Raw data (stat): 14834 (Pueblo-v2) R 14833 8378 8377 0 -1 0 3094 0 0 0 95007 8 0 0 25 0 1 0 796974246 18784256 3068 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4586 3068 566 18 0 4568 0
vsize: 18344
[startup+960.007 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 14834
Raw data (stat): 14834 (Pueblo-v2) R 14833 8378 8377 0 -1 0 3094 0 0 0 96007 8 0 0 25 0 1 0 796974246 18784256 3068 4294967295 134512640 134581267 3221224576 3221223488 134527513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4586 3068 566 18 0 4568 0
vsize: 18344
[startup+970.007 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 14834
Raw data (stat): 14834 (Pueblo-v2) R 14833 8378 8377 0 -1 0 3356 0 0 0 97007 8 0 0 25 0 1 0 796974246 19836928 3330 4294967295 134512640 134581267 3221224576 3221223488 134528047 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4843 3330 566 18 0 4825 0
vsize: 19372
[startup+980.007 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 14834
Raw data (stat): 14834 (Pueblo-v2) R 14833 8378 8377 0 -1 0 3518 0 0 0 98007 9 0 0 25 0 1 0 796974246 20496384 3492 4294967295 134512640 134581267 3221224576 3221223440 134528382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5004 3492 566 18 0 4986 0
vsize: 20016
[startup+990.008 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 14834
Raw data (stat): 14834 (Pueblo-v2) R 14833 8378 8377 0 -1 0 3518 0 0 0 99007 9 0 0 25 0 1 0 796974246 20496384 3492 4294967295 134512640 134581267 3221224576 3221223488 134527459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5004 3492 566 18 0 4986 0
vsize: 20016
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 14834
Raw data (stat): 14834 (Pueblo-v2) R 14833 8378 8377 0 -1 0 3518 0 0 0 100007 9 0 0 25 0 1 0 796974246 20496384 3492 4294967295 134512640 134581267 3221224576 3221223396 1075289714 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5004 3492 566 18 0 4986 0
vsize: 20016
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 14834
Raw data (stat): 14834 (Pueblo-v2) R 14833 8378 8377 0 -1 0 3518 0 0 0 101007 9 0 0 25 0 1 0 796974246 20496384 3492 4294967295 134512640 134581267 3221224576 3221223488 134527765 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5004 3492 566 18 0 4986 0
vsize: 20016
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 14834
Raw data (stat): 14834 (Pueblo-v2) R 14833 8378 8377 0 -1 0 3519 0 0 0 102008 9 0 0 25 0 1 0 796974246 20299776 3461 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4956 3461 566 18 0 4938 0
vsize: 19824
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 14834
Raw data (stat): 14834 (Pueblo-v2) R 14833 8378 8377 0 -1 0 3519 0 0 0 103008 9 0 0 25 0 1 0 796974246 20299776 3461 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4956 3461 566 18 0 4938 0
vsize: 19824
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 14834
Raw data (stat): 14834 (Pueblo-v2) R 14833 8378 8377 0 -1 0 3519 0 0 0 104008 9 0 0 25 0 1 0 796974246 20299776 3461 4294967295 134512640 134581267 3221224576 3221223488 134527445 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4956 3461 566 18 0 4938 0
vsize: 19824
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 14834
Raw data (stat): 14834 (Pueblo-v2) R 14833 8378 8377 0 -1 0 3737 0 0 0 105008 9 0 0 25 0 1 0 796974246 21225472 3679 4294967295 134512640 134581267 3221224576 3221223488 134527525 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5182 3679 566 18 0 5164 0
vsize: 20728
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 14834
Raw data (stat): 14834 (Pueblo-v2) R 14833 8378 8377 0 -1 0 3737 0 0 0 106008 9 0 0 25 0 1 0 796974246 21225472 3679 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5182 3679 566 18 0 5164 0
vsize: 20728
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 14834
Raw data (stat): 14834 (Pueblo-v2) R 14833 8378 8377 0 -1 0 3879 0 0 0 107008 9 0 0 25 0 1 0 796974246 21893120 3821 4294967295 134512640 134581267 3221224576 3221223488 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5345 3821 566 18 0 5327 0
vsize: 21380
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 14887
Raw data (stat): 14834 (Pueblo-v2) R 14833 8378 8377 0 -1 0 4043 0 0 0 108008 9 0 0 25 0 1 0 796974246 22552576 3985 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5506 3985 566 18 0 5488 0
vsize: 22024
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 14887
Raw data (stat): 14834 (Pueblo-v2) R 14833 8378 8377 0 -1 0 4349 0 0 0 109009 10 0 0 25 0 1 0 796974246 23732224 4291 4294967295 134512640 134581267 3221224576 3221223488 134528042 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5794 4291 566 18 0 5776 0
vsize: 23176
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 14887
Raw data (stat): 14834 (Pueblo-v2) R 14833 8378 8377 0 -1 0 4349 0 0 0 110009 10 0 0 25 0 1 0 796974246 23732224 4291 4294967295 134512640 134581267 3221224576 3221223488 134527504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5794 4291 566 18 0 5776 0
vsize: 23176
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 14887
Raw data (stat): 14834 (Pueblo-v2) R 14833 8378 8377 0 -1 0 4349 0 0 0 111009 10 0 0 25 0 1 0 796974246 23732224 4291 4294967295 134512640 134581267 3221224576 3221223488 134527457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5794 4291 566 18 0 5776 0
vsize: 23176
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 14887
Raw data (stat): 14834 (Pueblo-v2) R 14833 8378 8377 0 -1 0 4349 0 0 0 112009 10 0 0 25 0 1 0 796974246 23732224 4291 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5794 4291 566 18 0 5776 0
vsize: 23176
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 14887
Raw data (stat): 14834 (Pueblo-v2) R 14833 8378 8377 0 -1 0 4349 0 0 0 113009 10 0 0 25 0 1 0 796974246 23732224 4291 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5794 4291 566 18 0 5776 0
vsize: 23176
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 14889
Raw data (stat): 14834 (Pueblo-v2) R 14833 8378 8377 0 -1 0 4349 0 0 0 114009 10 0 0 25 0 1 0 796974246 23732224 4291 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5794 4291 566 18 0 5776 0
vsize: 23176
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 14891
Raw data (stat): 14834 (Pueblo-v2) R 14833 8378 8377 0 -1 0 4349 0 0 0 115009 10 0 0 25 0 1 0 796974246 23719936 4291 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5791 4291 566 18 0 5773 0
vsize: 23164
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 14891
Raw data (stat): 14834 (Pueblo-v2) R 14833 8378 8377 0 -1 0 4349 0 0 0 116009 10 0 0 25 0 1 0 796974246 23719936 4291 4294967295 134512640 134581267 3221224576 3221223488 134527791 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5791 4291 566 18 0 5773 0
vsize: 23164
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 14891
Raw data (stat): 14834 (Pueblo-v2) R 14833 8378 8377 0 -1 0 4349 0 0 0 117009 10 0 0 25 0 1 0 796974246 23719936 4291 4294967295 134512640 134581267 3221224576 3221223488 134527779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5791 4291 566 18 0 5773 0
vsize: 23164
[startup+1180.02 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 14891
Raw data (stat): 14834 (Pueblo-v2) R 14833 8378 8377 0 -1 0 4349 0 0 0 118009 10 0 0 25 0 1 0 796974246 23719936 4291 4294967295 134512640 134581267 3221224576 3221223488 134527539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5791 4291 566 18 0 5773 0
vsize: 23164
[startup+1190.02 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 14891
Raw data (stat): 14834 (Pueblo-v2) R 14833 8378 8377 0 -1 0 4349 0 0 0 119009 10 0 0 25 0 1 0 796974246 23719936 4291 4294967295 134512640 134581267 3221224576 3221223556 134560749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5791 4291 566 18 0 5773 0
vsize: 23164
[startup+1200.02 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 14891
Raw data (stat): 14834 (Pueblo-v2) R 14833 8378 8377 0 -1 0 4349 0 0 0 120009 10 0 0 25 0 1 0 796974246 23719936 4291 4294967295 134512640 134581267 3221224576 3221223488 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5791 4291 566 18 0 5773 0
vsize: 23164
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.98 0.94 1/55 14891
Raw data (stat): 14834 (Pueblo-v2) Z 14833 8378 8377 0 -1 1036 4349 0 0 0 120009 11 0 0 25 0 1 0 796974246 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.03
CPU time (s): 1200.22
CPU user time (s): 1200.1
CPU system time (s): 0.117982
CPU usage (%): 100.015
Max. virtual memory (Kb): 23176
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####