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/miplib2003/normalized-mps-v2-13-7-tr12-30.opb
MD5SUM	2d8f46b77d84c45a7178d4a463744176
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	7560
Biggest coefficient in the objective function	2097152
Number of bits for the biggest coefficient in the objective function	22
Sum of the numbers in the objective function	876993750
Number of bits of the sum of numbers in the objective function	30
Biggest number in a constraint	2097152
Number of bits of the biggest number in a constraint	22
Biggest sum of numbers in a constraint	876993750
Number of bits of the biggest sum of numbers	30
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.128979
Number of variables	14760
Total number of constraints	1110
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	360
Number of constraints which are nor clauses,nor cardinality constraints	750
Minimum length of a constraint	1
Maximum length of a constraint	252
Trace number 39200

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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:        118072 kB
Buffers:         35176 kB
Cached:         858864 kB
SwapCached:        568 kB
Active:          50084 kB
Inactive:       846048 kB
HighTotal:      131008 kB
HighFree:         2492 kB
LowTotal:       903652 kB
LowFree:        115580 kB
SwapTotal:     2097136 kB
SwapFree:      2095660 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5316 kB
Slab:            14900 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 23:40:29 (client local time) WITH STATUS 0 IN 1200.26 SECONDS
stats: 27265 7 1200.26 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.79 0.94 0.90 2/54 23186
Raw data (stat): 23186 (runsolver) R 23185 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 853691925 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0005 s]
Raw data (loadavg): 0.83 0.94 0.90 2/54 23186
Raw data (stat): 23186 (Pueblo-v2) R 23185 21152 21151 0 -1 0 2267 0 0 0 992 6 0 0 25 0 1 0 853691925 14921728 2241 4294967295 134512640 134581267 3221224576 3221223536 134516745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3643 2241 566 18 0 3625 0
vsize: 14572
[startup+20.0009 s]
Raw data (loadavg): 0.85 0.94 0.90 2/54 23186
Raw data (stat): 23186 (Pueblo-v2) R 23185 21152 21151 0 -1 0 2804 0 0 0 1991 7 0 0 25 0 1 0 853691925 17162240 2778 4294967295 134512640 134581267 3221224576 3221223488 134527355 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4190 2778 566 18 0 4172 0
vsize: 16760
[startup+30.0011 s]
Raw data (loadavg): 0.87 0.94 0.90 2/54 23186
Raw data (stat): 23186 (Pueblo-v2) R 23185 21152 21151 0 -1 0 2904 0 0 0 2992 7 0 0 25 0 1 0 853691925 17555456 2878 4294967295 134512640 134581267 3221224576 3221223488 134527457 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4286 2878 566 18 0 4268 0
vsize: 17144
[startup+40.001 s]
Raw data (loadavg): 0.89 0.94 0.90 2/54 23186
Raw data (stat): 23186 (Pueblo-v2) R 23185 21152 21151 0 -1 0 2904 0 0 0 3992 7 0 0 25 0 1 0 853691925 17555456 2878 4294967295 134512640 134581267 3221224576 3221223488 134527464 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4286 2878 566 18 0 4268 0
vsize: 17144
[startup+50.0015 s]
Raw data (loadavg): 0.91 0.94 0.90 2/54 23186
Raw data (stat): 23186 (Pueblo-v2) R 23185 21152 21151 0 -1 0 2904 0 0 0 4992 7 0 0 25 0 1 0 853691925 17555456 2878 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4286 2878 566 18 0 4268 0
vsize: 17144
[startup+60.0182 s]
Raw data (loadavg): 0.92 0.95 0.91 2/54 23186
Raw data (stat): 23186 (Pueblo-v2) R 23185 21152 21151 0 -1 0 2904 0 0 0 5994 7 0 0 25 0 1 0 853691925 17555456 2878 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4286 2878 566 18 0 4268 0
vsize: 17144
[startup+70.0352 s]
Raw data (loadavg): 0.93 0.95 0.91 2/54 23186
Raw data (stat): 23186 (Pueblo-v2) R 23185 21152 21151 0 -1 0 2917 0 0 0 6996 7 0 0 25 0 1 0 853691925 17555456 2891 4294967295 134512640 134581267 3221224576 3221223488 134527539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4286 2891 566 18 0 4268 0
vsize: 17144
[startup+80.0354 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 23186
Raw data (stat): 23186 (Pueblo-v2) R 23185 21152 21151 0 -1 0 3030 0 0 0 7995 8 0 0 25 0 1 0 853691925 18092032 3004 4294967295 134512640 134581267 3221224576 3221223504 134520084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4417 3004 566 18 0 4399 0
vsize: 17668
[startup+90.0354 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 23186
Raw data (stat): 23186 (Pueblo-v2) R 23185 21152 21151 0 -1 0 3031 0 0 0 8995 8 0 0 25 0 1 0 853691925 18092032 3005 4294967295 134512640 134581267 3221224576 3221223488 134527464 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4417 3005 566 18 0 4399 0
vsize: 17668
[startup+100.036 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 23186
Raw data (stat): 23186 (Pueblo-v2) R 23185 21152 21151 0 -1 0 3031 0 0 0 9996 8 0 0 25 0 1 0 853691925 18092032 3005 4294967295 134512640 134581267 3221224576 3221223568 134561106 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4417 3005 566 18 0 4399 0
vsize: 17668
[startup+110.036 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 23186
Raw data (stat): 23186 (Pueblo-v2) R 23185 21152 21151 0 -1 0 3031 0 0 0 10996 8 0 0 25 0 1 0 853691925 18092032 3005 4294967295 134512640 134581267 3221224576 3221223488 134527695 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4417 3005 566 18 0 4399 0
vsize: 17668
[startup+120.037 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 23186
Raw data (stat): 23186 (Pueblo-v2) R 23185 21152 21151 0 -1 0 3052 0 0 0 11996 8 0 0 25 0 1 0 853691925 18092032 3026 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4417 3026 566 18 0 4399 0
vsize: 17668
[startup+130.036 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 23186
Raw data (stat): 23186 (Pueblo-v2) R 23185 21152 21151 0 -1 0 3075 0 0 0 12996 8 0 0 25 0 1 0 853691925 18231296 3049 4294967295 134512640 134581267 3221224576 3221223488 134527418 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4451 3049 566 18 0 4433 0
vsize: 17804
[startup+140.037 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 23186
Raw data (stat): 23186 (Pueblo-v2) R 23185 21152 21151 0 -1 0 3624 0 0 0 13995 9 0 0 25 0 1 0 853691925 20480000 3598 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5000 3598 566 18 0 4982 0
vsize: 20000
[startup+150.038 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 23186
Raw data (stat): 23186 (Pueblo-v2) R 23185 21152 21151 0 -1 0 3654 0 0 0 14996 9 0 0 25 0 1 0 853691925 20615168 3628 4294967295 134512640 134581267 3221224576 3221223504 134519803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5033 3628 566 18 0 5015 0
vsize: 20132
[startup+160.037 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 23186
Raw data (stat): 23186 (Pueblo-v2) R 23185 21152 21151 0 -1 0 3669 0 0 0 15996 9 0 0 25 0 1 0 853691925 20750336 3643 4294967295 134512640 134581267 3221224576 3221223536 134516747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5066 3643 566 18 0 5048 0
vsize: 20264
[startup+170.037 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 23186
Raw data (stat): 23186 (Pueblo-v2) R 23185 21152 21151 0 -1 0 3669 0 0 0 16996 9 0 0 25 0 1 0 853691925 20688896 3643 4294967295 134512640 134581267 3221224576 3221223488 134527442 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5051 3643 566 18 0 5033 0
vsize: 20204
[startup+180.037 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 23186
Raw data (stat): 23186 (Pueblo-v2) R 23185 21152 21151 0 -1 0 4185 0 0 0 17995 10 0 0 25 0 1 0 853691925 22478848 4096 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5488 4096 566 18 0 5470 0
vsize: 21952
[startup+190.037 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 23186
Raw data (stat): 23186 (Pueblo-v2) R 23185 21152 21151 0 -1 0 4185 0 0 0 18995 10 0 0 25 0 1 0 853691925 22241280 4038 4294967295 134512640 134581267 3221224576 3221223472 134517737 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5430 4038 566 18 0 5412 0
vsize: 21720
[startup+200.037 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 23186
Raw data (stat): 23186 (Pueblo-v2) R 23185 21152 21151 0 -1 0 4185 0 0 0 19996 10 0 0 25 0 1 0 853691925 22241280 4038 4294967295 134512640 134581267 3221224576 3221223468 134527044 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5430 4038 566 18 0 5412 0
vsize: 21720
[startup+210.037 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 23186
Raw data (stat): 23186 (Pueblo-v2) R 23185 21152 21151 0 -1 0 4185 0 0 0 20996 10 0 0 25 0 1 0 853691925 22241280 4038 4294967295 134512640 134581267 3221224576 3221223488 134527513 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5430 4038 566 18 0 5412 0
vsize: 21720
[startup+220.037 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 23186
Raw data (stat): 23186 (Pueblo-v2) R 23185 21152 21151 0 -1 0 4185 0 0 0 21996 10 0 0 25 0 1 0 853691925 22241280 4038 4294967295 134512640 134581267 3221224576 3221223568 134560810 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5430 4038 566 18 0 5412 0
vsize: 21720
[startup+230.037 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 23186
Raw data (stat): 23186 (Pueblo-v2) R 23185 21152 21151 0 -1 0 4185 0 0 0 22996 10 0 0 25 0 1 0 853691925 22241280 4038 4294967295 134512640 134581267 3221224576 3221223504 134519829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5430 4038 566 18 0 5412 0
vsize: 21720
[startup+240.037 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 23186
Raw data (stat): 23186 (Pueblo-v2) R 23185 21152 21151 0 -1 0 4185 0 0 0 23996 10 0 0 25 0 1 0 853691925 22241280 4038 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5430 4038 566 18 0 5412 0
vsize: 21720
[startup+250.038 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 23186
Raw data (stat): 23186 (Pueblo-v2) R 23185 21152 21151 0 -1 0 4185 0 0 0 24996 10 0 0 25 0 1 0 853691925 22241280 4038 4294967295 134512640 134581267 3221224576 3221223504 134519812 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5430 4038 566 18 0 5412 0
vsize: 21720
[startup+260.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23186
Raw data (stat): 23186 (Pueblo-v2) R 23185 21152 21151 0 -1 0 4185 0 0 0 25996 10 0 0 25 0 1 0 853691925 22241280 4038 4294967295 134512640 134581267 3221224576 3221223536 134516745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5430 4038 566 18 0 5412 0
vsize: 21720
[startup+270.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23186
Raw data (stat): 23186 (Pueblo-v2) R 23185 21152 21151 0 -1 0 4185 0 0 0 26996 10 0 0 25 0 1 0 853691925 22241280 4038 4294967295 134512640 134581267 3221224576 3221223488 134527701 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5430 4038 566 18 0 5412 0
vsize: 21720
[startup+280.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23186
Raw data (stat): 23186 (Pueblo-v2) R 23185 21152 21151 0 -1 0 4185 0 0 0 27997 10 0 0 25 0 1 0 853691925 22241280 4038 4294967295 134512640 134581267 3221224576 3221223488 134527404 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5430 4038 566 18 0 5412 0
vsize: 21720
[startup+290.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23186
Raw data (stat): 23186 (Pueblo-v2) R 23185 21152 21151 0 -1 0 4185 0 0 0 28997 10 0 0 25 0 1 0 853691925 22241280 4038 4294967295 134512640 134581267 3221224576 3221223488 134527332 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5430 4038 566 18 0 5412 0
vsize: 21720
[startup+300.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23186
Raw data (stat): 23186 (Pueblo-v2) R 23185 21152 21151 0 -1 0 4185 0 0 0 29997 10 0 0 25 0 1 0 853691925 22241280 4038 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5430 4038 566 18 0 5412 0
vsize: 21720
[startup+310.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23186
Raw data (stat): 23186 (Pueblo-v2) R 23185 21152 21151 0 -1 0 4185 0 0 0 30997 10 0 0 25 0 1 0 853691925 22241280 4038 4294967295 134512640 134581267 3221224576 3221223568 134561036 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5430 4038 566 18 0 5412 0
vsize: 21720
[startup+320.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23186
Raw data (stat): 23186 (Pueblo-v2) R 23185 21152 21151 0 -1 0 4185 0 0 0 31997 10 0 0 25 0 1 0 853691925 22241280 4038 4294967295 134512640 134581267 3221224576 3221223536 134519781 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5430 4038 566 18 0 5412 0
vsize: 21720
[startup+330.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23186
Raw data (stat): 23186 (Pueblo-v2) R 23185 21152 21151 0 -1 0 4185 0 0 0 32998 10 0 0 25 0 1 0 853691925 22241280 4038 4294967295 134512640 134581267 3221224576 3221223540 134519780 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5430 4038 566 18 0 5412 0
vsize: 21720
[startup+340.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23186
Raw data (stat): 23186 (Pueblo-v2) R 23185 21152 21151 0 -1 0 4185 0 0 0 33998 10 0 0 25 0 1 0 853691925 22241280 4038 4294967295 134512640 134581267 3221224576 3221223488 134527504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5430 4038 566 18 0 5412 0
vsize: 21720
[startup+350.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23186
Raw data (stat): 23186 (Pueblo-v2) R 23185 21152 21151 0 -1 0 4185 0 0 0 34998 10 0 0 25 0 1 0 853691925 22241280 4038 4294967295 134512640 134581267 3221224576 3221222224 134566799 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5430 4038 566 18 0 5412 0
vsize: 21720
[startup+360.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23186
Raw data (stat): 23186 (Pueblo-v2) R 23185 21152 21151 0 -1 0 4185 0 0 0 35998 10 0 0 25 0 1 0 853691925 22241280 4038 4294967295 134512640 134581267 3221224576 3221223536 134516740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5430 4038 566 18 0 5412 0
vsize: 21720
[startup+370.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23186
Raw data (stat): 23186 (Pueblo-v2) R 23185 21152 21151 0 -1 0 4185 0 0 0 36998 10 0 0 25 0 1 0 853691925 22241280 4038 4294967295 134512640 134581267 3221224576 3221223600 134561476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5430 4038 566 18 0 5412 0
vsize: 21720
[startup+380.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23186
Raw data (stat): 23186 (Pueblo-v2) R 23185 21152 21151 0 -1 0 4185 0 0 0 37999 10 0 0 25 0 1 0 853691925 22241280 4038 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5430 4038 566 18 0 5412 0
vsize: 21720
[startup+390.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23186
Raw data (stat): 23186 (Pueblo-v2) R 23185 21152 21151 0 -1 0 4185 0 0 0 38999 10 0 0 25 0 1 0 853691925 22241280 4038 4294967295 134512640 134581267 3221224576 3221223488 134527649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5430 4038 566 18 0 5412 0
vsize: 21720
[startup+400.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23186
Raw data (stat): 23186 (Pueblo-v2) R 23185 21152 21151 0 -1 0 4185 0 0 0 39999 10 0 0 25 0 1 0 853691925 22241280 4038 4294967295 134512640 134581267 3221224576 3221223504 134519812 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5430 4038 566 18 0 5412 0
vsize: 21720
[startup+410.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23186
Raw data (stat): 23186 (Pueblo-v2) R 23185 21152 21151 0 -1 0 4185 0 0 0 40999 10 0 0 25 0 1 0 853691925 22241280 4038 4294967295 134512640 134581267 3221224576 3221223504 134519803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5430 4038 566 18 0 5412 0
vsize: 21720
[startup+420.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23186
Raw data (stat): 23186 (Pueblo-v2) R 23185 21152 21151 0 -1 0 4185 0 0 0 41999 10 0 0 25 0 1 0 853691925 22241280 4038 4294967295 134512640 134581267 3221224576 3221223488 134527459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5430 4038 566 18 0 5412 0
vsize: 21720
[startup+430.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23186
Raw data (stat): 23186 (Pueblo-v2) R 23185 21152 21151 0 -1 0 4185 0 0 0 42999 10 0 0 25 0 1 0 853691925 22241280 4038 4294967295 134512640 134581267 3221224576 3221223552 134561060 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5430 4038 566 18 0 5412 0
vsize: 21720
[startup+440.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23186
Raw data (stat): 23186 (Pueblo-v2) R 23185 21152 21151 0 -1 0 4185 0 0 0 44000 10 0 0 25 0 1 0 853691925 22241280 4038 4294967295 134512640 134581267 3221224576 3221223540 134519780 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5430 4038 566 18 0 5412 0
vsize: 21720
[startup+450.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23186
Raw data (stat): 23186 (Pueblo-v2) R 23185 21152 21151 0 -1 0 4185 0 0 0 45000 10 0 0 25 0 1 0 853691925 22241280 4038 4294967295 134512640 134581267 3221224576 3221223504 134520078 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5430 4038 566 18 0 5412 0
vsize: 21720
[startup+460.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23186
Raw data (stat): 23186 (Pueblo-v2) R 23185 21152 21151 0 -1 0 4185 0 0 0 46000 10 0 0 25 0 1 0 853691925 22241280 4038 4294967295 134512640 134581267 3221224576 3221223520 134559268 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5430 4038 566 18 0 5412 0
vsize: 21720
[startup+470.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23186
Raw data (stat): 23186 (Pueblo-v2) R 23185 21152 21151 0 -1 0 4185 0 0 0 47000 10 0 0 25 0 1 0 853691925 22241280 4038 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5430 4038 566 18 0 5412 0
vsize: 21720
[startup+480.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23186
Raw data (stat): 23186 (Pueblo-v2) R 23185 21152 21151 0 -1 0 4185 0 0 0 48000 10 0 0 25 0 1 0 853691925 22241280 4038 4294967295 134512640 134581267 3221224576 3221223440 134528312 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5430 4038 566 18 0 5412 0
vsize: 21720
[startup+490.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23186
Raw data (stat): 23186 (Pueblo-v2) R 23185 21152 21151 0 -1 0 4185 0 0 0 49000 10 0 0 25 0 1 0 853691925 22241280 4038 4294967295 134512640 134581267 3221224576 3221223488 134527537 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5430 4038 566 18 0 5412 0
vsize: 21720
[startup+500.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23186
Raw data (stat): 23186 (Pueblo-v2) R 23185 21152 21151 0 -1 0 4185 0 0 0 50001 10 0 0 25 0 1 0 853691925 22241280 4038 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5430 4038 566 18 0 5412 0
vsize: 21720
[startup+510.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23186
Raw data (stat): 23186 (Pueblo-v2) R 23185 21152 21151 0 -1 0 4185 0 0 0 51001 10 0 0 25 0 1 0 853691925 22241280 4038 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5430 4038 566 18 0 5412 0
vsize: 21720
[startup+520.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23186
Raw data (stat): 23186 (Pueblo-v2) R 23185 21152 21151 0 -1 0 4185 0 0 0 52001 10 0 0 25 0 1 0 853691925 22241280 4038 4294967295 134512640 134581267 3221224576 3221223568 134561040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5430 4038 566 18 0 5412 0
vsize: 21720
[startup+530.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23186
Raw data (stat): 23186 (Pueblo-v2) R 23185 21152 21151 0 -1 0 4185 0 0 0 53001 10 0 0 25 0 1 0 853691925 22241280 4038 4294967295 134512640 134581267 3221224576 3221223504 134519829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5430 4038 566 18 0 5412 0
vsize: 21720
[startup+540.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23186
Raw data (stat): 23186 (Pueblo-v2) R 23185 21152 21151 0 -1 0 4185 0 0 0 54001 10 0 0 25 0 1 0 853691925 22241280 4038 4294967295 134512640 134581267 3221224576 3221223568 134561093 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5430 4038 566 18 0 5412 0
vsize: 21720
[startup+550.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23186
Raw data (stat): 23186 (Pueblo-v2) R 23185 21152 21151 0 -1 0 4185 0 0 0 55002 10 0 0 25 0 1 0 853691925 22241280 4038 4294967295 134512640 134581267 3221224576 3221223536 134516745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5430 4038 566 18 0 5412 0
vsize: 21720
[startup+560.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23186
Raw data (stat): 23186 (Pueblo-v2) R 23185 21152 21151 0 -1 0 4185 0 0 0 56002 10 0 0 25 0 1 0 853691925 22241280 4038 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5430 4038 566 18 0 5412 0
vsize: 21720
[startup+570.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23186
Raw data (stat): 23186 (Pueblo-v2) R 23185 21152 21151 0 -1 0 4185 0 0 0 57002 10 0 0 25 0 1 0 853691925 22241280 4038 4294967295 134512640 134581267 3221224576 3221223568 134561071 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5430 4038 566 18 0 5412 0
vsize: 21720
[startup+580.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23186
Raw data (stat): 23186 (Pueblo-v2) R 23185 21152 21151 0 -1 0 4185 0 0 0 58002 10 0 0 25 0 1 0 853691925 22241280 4038 4294967295 134512640 134581267 3221224576 3221223488 134527434 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5430 4038 566 18 0 5412 0
vsize: 21720
[startup+590.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23186
Raw data (stat): 23186 (Pueblo-v2) R 23185 21152 21151 0 -1 0 4185 0 0 0 59003 10 0 0 25 0 1 0 853691925 22241280 4038 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5430 4038 566 18 0 5412 0
vsize: 21720
[startup+600.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23186
Raw data (stat): 23186 (Pueblo-v2) R 23185 21152 21151 0 -1 0 4185 0 0 0 60003 10 0 0 25 0 1 0 853691925 22241280 4038 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5430 4038 566 18 0 5412 0
vsize: 21720
[startup+610.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23186
Raw data (stat): 23186 (Pueblo-v2) R 23185 21152 21151 0 -1 0 4185 0 0 0 61003 10 0 0 25 0 1 0 853691925 22241280 4038 4294967295 134512640 134581267 3221224576 3221223504 134519803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5430 4038 566 18 0 5412 0
vsize: 21720
[startup+620.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23186
Raw data (stat): 23186 (Pueblo-v2) R 23185 21152 21151 0 -1 0 4185 0 0 0 62003 10 0 0 25 0 1 0 853691925 22241280 4038 4294967295 134512640 134581267 3221224576 3221223504 134519803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5430 4038 566 18 0 5412 0
vsize: 21720
[startup+630.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23186
Raw data (stat): 23186 (Pueblo-v2) R 23185 21152 21151 0 -1 0 4185 0 0 0 63003 10 0 0 25 0 1 0 853691925 22241280 4038 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5430 4038 566 18 0 5412 0
vsize: 21720
[startup+640.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23186
Raw data (stat): 23186 (Pueblo-v2) R 23185 21152 21151 0 -1 0 4185 0 0 0 64003 10 0 0 25 0 1 0 853691925 22241280 4038 4294967295 134512640 134581267 3221224576 3221223504 134519829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5430 4038 566 18 0 5412 0
vsize: 21720
[startup+650.053 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 23186
Raw data (stat): 23186 (Pueblo-v2) R 23185 21152 21151 0 -1 0 4185 0 0 0 65004 10 0 0 25 0 1 0 853691925 22241280 4038 4294967295 134512640 134581267 3221224576 3221223568 134561104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5430 4038 566 18 0 5412 0
vsize: 21720
[startup+660.053 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 23186
Raw data (stat): 23186 (Pueblo-v2) R 23185 21152 21151 0 -1 0 4185 0 0 0 66004 10 0 0 25 0 1 0 853691925 22241280 4038 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5430 4038 566 18 0 5412 0
vsize: 21720
[startup+670.055 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 23186
Raw data (stat): 23186 (Pueblo-v2) R 23185 21152 21151 0 -1 0 4185 0 0 0 67004 10 0 0 25 0 1 0 853691925 22241280 4038 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5430 4038 566 18 0 5412 0
vsize: 21720
[startup+680.055 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 23186
Raw data (stat): 23186 (Pueblo-v2) R 23185 21152 21151 0 -1 0 4185 0 0 0 68004 10 0 0 25 0 1 0 853691925 22241280 4038 4294967295 134512640 134581267 3221224576 3221223440 134528235 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5430 4038 566 18 0 5412 0
vsize: 21720
[startup+690.054 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 23186
Raw data (stat): 23186 (Pueblo-v2) R 23185 21152 21151 0 -1 0 4185 0 0 0 69005 10 0 0 25 0 1 0 853691925 22241280 4038 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5430 4038 566 18 0 5412 0
vsize: 21720
[startup+700.055 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 23186
Raw data (stat): 23186 (Pueblo-v2) R 23185 21152 21151 0 -1 0 4185 0 0 0 70005 10 0 0 25 0 1 0 853691925 22241280 4038 4294967295 134512640 134581267 3221224576 3221223504 134519803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5430 4038 566 18 0 5412 0
vsize: 21720
[startup+710.055 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 23186
Raw data (stat): 23186 (Pueblo-v2) R 23185 21152 21151 0 -1 0 4185 0 0 0 71005 10 0 0 25 0 1 0 853691925 22241280 4038 4294967295 134512640 134581267 3221224576 3221223488 134527440 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5430 4038 566 18 0 5412 0
vsize: 21720
[startup+720.055 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 23186
Raw data (stat): 23186 (Pueblo-v2) R 23185 21152 21151 0 -1 0 4185 0 0 0 72005 10 0 0 25 0 1 0 853691925 22241280 4038 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5430 4038 566 18 0 5412 0
vsize: 21720
[startup+730.056 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 23186
Raw data (stat): 23186 (Pueblo-v2) R 23185 21152 21151 0 -1 0 4185 0 0 0 73005 10 0 0 25 0 1 0 853691925 22241280 4038 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5430 4038 566 18 0 5412 0
vsize: 21720
[startup+740.056 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 23186
Raw data (stat): 23186 (Pueblo-v2) R 23185 21152 21151 0 -1 0 4185 0 0 0 74005 10 0 0 25 0 1 0 853691925 22241280 4038 4294967295 134512640 134581267 3221224576 3221223504 134519883 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5430 4038 566 18 0 5412 0
vsize: 21720
[startup+750.057 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 23186
Raw data (stat): 23186 (Pueblo-v2) R 23185 21152 21151 0 -1 0 4185 0 0 0 75006 10 0 0 25 0 1 0 853691925 22241280 4038 4294967295 134512640 134581267 3221224576 3221222848 134566357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5430 4038 566 18 0 5412 0
vsize: 21720
[startup+760.058 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 23186
Raw data (stat): 23186 (Pueblo-v2) R 23185 21152 21151 0 -1 0 4185 0 0 0 76006 10 0 0 25 0 1 0 853691925 22241280 4038 4294967295 134512640 134581267 3221224576 3221223568 134561040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5430 4038 566 18 0 5412 0
vsize: 21720
[startup+770.058 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 23186
Raw data (stat): 23186 (Pueblo-v2) R 23185 21152 21151 0 -1 0 4185 0 0 0 77006 10 0 0 25 0 1 0 853691925 22241280 4038 4294967295 134512640 134581267 3221224576 3221223488 134527416 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5430 4038 566 18 0 5412 0
vsize: 21720
[startup+780.058 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23186
Raw data (stat): 23186 (Pueblo-v2) R 23185 21152 21151 0 -1 0 4185 0 0 0 78006 10 0 0 25 0 1 0 853691925 22241280 4038 4294967295 134512640 134581267 3221224576 3221223568 134561036 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5430 4038 566 18 0 5412 0
vsize: 21720
[startup+790.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23186
Raw data (stat): 23186 (Pueblo-v2) R 23185 21152 21151 0 -1 0 4185 0 0 0 79007 10 0 0 25 0 1 0 853691925 22241280 4038 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5430 4038 566 18 0 5412 0
vsize: 21720
[startup+800.062 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23186
Raw data (stat): 23186 (Pueblo-v2) R 23185 21152 21151 0 -1 0 4185 0 0 0 80007 10 0 0 25 0 1 0 853691925 22241280 4038 4294967295 134512640 134581267 3221224576 3221223440 134528304 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5430 4038 566 18 0 5412 0
vsize: 21720
[startup+810.062 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23186
Raw data (stat): 23186 (Pueblo-v2) R 23185 21152 21151 0 -1 0 4185 0 0 0 81007 10 0 0 25 0 1 0 853691925 22241280 4038 4294967295 134512640 134581267 3221224576 3221223568 134561094 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5430 4038 566 18 0 5412 0
vsize: 21720
[startup+820.063 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23186
Raw data (stat): 23186 (Pueblo-v2) R 23185 21152 21151 0 -1 0 4185 0 0 0 82007 10 0 0 25 0 1 0 853691925 22241280 4038 4294967295 134512640 134581267 3221224576 3221223532 134519782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5430 4038 566 18 0 5412 0
vsize: 21720
[startup+830.063 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23186
Raw data (stat): 23186 (Pueblo-v2) R 23185 21152 21151 0 -1 0 4185 0 0 0 83008 10 0 0 25 0 1 0 853691925 22241280 4038 4294967295 134512640 134581267 3221224576 3221223548 134519895 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5430 4038 566 18 0 5412 0
vsize: 21720
[startup+840.063 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23186
Raw data (stat): 23186 (Pueblo-v2) R 23185 21152 21151 0 -1 0 4185 0 0 0 84008 10 0 0 25 0 1 0 853691925 22241280 4038 4294967295 134512640 134581267 3221224576 3221223504 134519803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5430 4038 566 18 0 5412 0
vsize: 21720
[startup+850.064 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23186
Raw data (stat): 23186 (Pueblo-v2) R 23185 21152 21151 0 -1 0 4185 0 0 0 85008 10 0 0 25 0 1 0 853691925 22241280 4038 4294967295 134512640 134581267 3221224576 3221223568 134561038 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5430 4038 566 18 0 5412 0
vsize: 21720
[startup+860.065 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23186
Raw data (stat): 23186 (Pueblo-v2) R 23185 21152 21151 0 -1 0 4185 0 0 0 86008 10 0 0 25 0 1 0 853691925 22241280 4038 4294967295 134512640 134581267 3221224576 3221223488 134527774 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5430 4038 566 18 0 5412 0
vsize: 21720
[startup+870.066 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23186
Raw data (stat): 23186 (Pueblo-v2) R 23185 21152 21151 0 -1 0 4185 0 0 0 87009 10 0 0 25 0 1 0 853691925 22241280 4038 4294967295 134512640 134581267 3221224576 3221223504 134519803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5430 4038 566 18 0 5412 0
vsize: 21720
[startup+880.066 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23186
Raw data (stat): 23186 (Pueblo-v2) R 23185 21152 21151 0 -1 0 4185 0 0 0 88009 10 0 0 25 0 1 0 853691925 22241280 4038 4294967295 134512640 134581267 3221224576 3221223568 134561106 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5430 4038 566 18 0 5412 0
vsize: 21720
[startup+890.065 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23186
Raw data (stat): 23186 (Pueblo-v2) R 23185 21152 21151 0 -1 0 4185 0 0 0 89009 10 0 0 25 0 1 0 853691925 22241280 4038 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5430 4038 566 18 0 5412 0
vsize: 21720
[startup+900.066 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23186
Raw data (stat): 23186 (Pueblo-v2) R 23185 21152 21151 0 -1 0 4185 0 0 0 90009 10 0 0 25 0 1 0 853691925 22241280 4038 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5430 4038 566 18 0 5412 0
vsize: 21720
[startup+910.066 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23186
Raw data (stat): 23186 (Pueblo-v2) R 23185 21152 21151 0 -1 0 4185 0 0 0 91009 10 0 0 25 0 1 0 853691925 22241280 4038 4294967295 134512640 134581267 3221224576 3221223504 134519931 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5430 4038 566 18 0 5412 0
vsize: 21720
[startup+920.066 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23186
Raw data (stat): 23186 (Pueblo-v2) R 23185 21152 21151 0 -1 0 4185 0 0 0 92009 10 0 0 25 0 1 0 853691925 22241280 4038 4294967295 134512640 134581267 3221224576 3221223568 134561040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5430 4038 566 18 0 5412 0
vsize: 21720
[startup+930.066 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23186
Raw data (stat): 23186 (Pueblo-v2) R 23185 21152 21151 0 -1 0 4185 0 0 0 93010 10 0 0 25 0 1 0 853691925 22241280 4038 4294967295 134512640 134581267 3221224576 3221223648 134531373 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5430 4038 566 18 0 5412 0
vsize: 21720
[startup+940.066 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23186
Raw data (stat): 23186 (Pueblo-v2) R 23185 21152 21151 0 -1 0 4185 0 0 0 94010 10 0 0 25 0 1 0 853691925 22241280 4038 4294967295 134512640 134581267 3221224576 3221223564 134561046 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5430 4038 566 18 0 5412 0
vsize: 21720
[startup+950.067 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23186
Raw data (stat): 23186 (Pueblo-v2) R 23185 21152 21151 0 -1 0 4185 0 0 0 95010 10 0 0 25 0 1 0 853691925 22241280 4038 4294967295 134512640 134581267 3221224576 3221223472 134517931 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5430 4038 566 18 0 5412 0
vsize: 21720
[startup+960.067 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23186
Raw data (stat): 23186 (Pueblo-v2) R 23185 21152 21151 0 -1 0 4185 0 0 0 96010 10 0 0 25 0 1 0 853691925 22241280 4038 4294967295 134512640 134581267 3221224576 3221223504 134520076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5430 4038 566 18 0 5412 0
vsize: 21720
[startup+970.068 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23186
Raw data (stat): 23186 (Pueblo-v2) R 23185 21152 21151 0 -1 0 4185 0 0 0 97010 10 0 0 25 0 1 0 853691925 22241280 4038 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5430 4038 566 18 0 5412 0
vsize: 21720
[startup+980.069 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23186
Raw data (stat): 23186 (Pueblo-v2) R 23185 21152 21151 0 -1 0 4185 0 0 0 98011 10 0 0 25 0 1 0 853691925 22241280 4038 4294967295 134512640 134581267 3221224576 3221223568 134561040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5430 4038 566 18 0 5412 0
vsize: 21720
[startup+990.068 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23186
Raw data (stat): 23186 (Pueblo-v2) R 23185 21152 21151 0 -1 0 4185 0 0 0 99011 10 0 0 25 0 1 0 853691925 22241280 4038 4294967295 134512640 134581267 3221224576 3221223456 134527008 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5430 4038 566 18 0 5412 0
vsize: 21720
[startup+1000.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23186
Raw data (stat): 23186 (Pueblo-v2) R 23185 21152 21151 0 -1 0 4185 0 0 0 100011 10 0 0 25 0 1 0 853691925 22241280 4038 4294967295 134512640 134581267 3221224576 3221223504 134519829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5430 4038 566 18 0 5412 0
vsize: 21720
[startup+1010.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23186
Raw data (stat): 23186 (Pueblo-v2) R 23185 21152 21151 0 -1 0 4185 0 0 0 101011 10 0 0 25 0 1 0 853691925 22241280 4038 4294967295 134512640 134581267 3221224576 3221223568 134561040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5430 4038 566 18 0 5412 0
vsize: 21720
[startup+1020.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23186
Raw data (stat): 23186 (Pueblo-v2) R 23185 21152 21151 0 -1 0 4185 0 0 0 102011 10 0 0 25 0 1 0 853691925 22241280 4038 4294967295 134512640 134581267 3221224576 3221223544 134519777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5430 4038 566 18 0 5412 0
vsize: 21720
[startup+1030.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23186
Raw data (stat): 23186 (Pueblo-v2) R 23185 21152 21151 0 -1 0 4185 0 0 0 103012 10 0 0 25 0 1 0 853691925 22241280 4038 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5430 4038 566 18 0 5412 0
vsize: 21720
[startup+1040.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23186
Raw data (stat): 23186 (Pueblo-v2) R 23185 21152 21151 0 -1 0 4185 0 0 0 104012 10 0 0 25 0 1 0 853691925 22241280 4038 4294967295 134512640 134581267 3221224576 3221223536 134516740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5430 4038 566 18 0 5412 0
vsize: 21720
[startup+1050.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23186
Raw data (stat): 23186 (Pueblo-v2) R 23185 21152 21151 0 -1 0 4745 0 0 0 105011 11 0 0 25 0 1 0 853691925 24612864 4598 4294967295 134512640 134581267 3221224576 3221223488 134527513 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6009 4598 566 18 0 5991 0
vsize: 24036
[startup+1060.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23186
Raw data (stat): 23186 (Pueblo-v2) R 23185 21152 21151 0 -1 0 4811 0 0 0 106011 11 0 0 25 0 1 0 853691925 24879104 4664 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6074 4664 566 18 0 6056 0
vsize: 24296
[startup+1070.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23186
Raw data (stat): 23186 (Pueblo-v2) R 23185 21152 21151 0 -1 0 4811 0 0 0 107011 11 0 0 25 0 1 0 853691925 24879104 4664 4294967295 134512640 134581267 3221224576 3221223472 134517737 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6074 4664 566 18 0 6056 0
vsize: 24296
[startup+1080.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23186
Raw data (stat): 23186 (Pueblo-v2) R 23185 21152 21151 0 -1 0 4811 0 0 0 108012 11 0 0 25 0 1 0 853691925 24879104 4664 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6074 4664 566 18 0 6056 0
vsize: 24296
[startup+1090.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23186
Raw data (stat): 23186 (Pueblo-v2) R 23185 21152 21151 0 -1 0 4811 0 0 0 109012 11 0 0 25 0 1 0 853691925 24879104 4664 4294967295 134512640 134581267 3221224576 3221223440 134528243 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6074 4664 566 18 0 6056 0
vsize: 24296
[startup+1100.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23186
Raw data (stat): 23186 (Pueblo-v2) R 23185 21152 21151 0 -1 0 4811 0 0 0 110012 11 0 0 25 0 1 0 853691925 24879104 4664 4294967295 134512640 134581267 3221224576 3221223568 134561090 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6074 4664 566 18 0 6056 0
vsize: 24296
[startup+1110.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23186
Raw data (stat): 23186 (Pueblo-v2) R 23185 21152 21151 0 -1 0 4811 0 0 0 111012 11 0 0 25 0 1 0 853691925 24879104 4664 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6074 4664 566 18 0 6056 0
vsize: 24296
[startup+1120.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23186
Raw data (stat): 23186 (Pueblo-v2) R 23185 21152 21151 0 -1 0 4811 0 0 0 112012 11 0 0 25 0 1 0 853691925 24879104 4664 4294967295 134512640 134581267 3221224576 3221223504 134519913 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6074 4664 566 18 0 6056 0
vsize: 24296
[startup+1130.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23186
Raw data (stat): 23186 (Pueblo-v2) R 23185 21152 21151 0 -1 0 4811 0 0 0 113013 11 0 0 25 0 1 0 853691925 24879104 4664 4294967295 134512640 134581267 3221224576 3221223504 134519867 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6074 4664 566 18 0 6056 0
vsize: 24296
[startup+1140.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23186
Raw data (stat): 23186 (Pueblo-v2) R 23185 21152 21151 0 -1 0 4811 0 0 0 114013 11 0 0 25 0 1 0 853691925 24879104 4664 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6074 4664 566 18 0 6056 0
vsize: 24296
[startup+1150.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23186
Raw data (stat): 23186 (Pueblo-v2) R 23185 21152 21151 0 -1 0 4811 0 0 0 115013 11 0 0 25 0 1 0 853691925 24879104 4664 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6074 4664 566 18 0 6056 0
vsize: 24296
[startup+1160.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23186
Raw data (stat): 23186 (Pueblo-v2) R 23185 21152 21151 0 -1 0 4811 0 0 0 116013 11 0 0 25 0 1 0 853691925 24879104 4664 4294967295 134512640 134581267 3221224576 3221223488 134527429 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6074 4664 566 18 0 6056 0
vsize: 24296
[startup+1170.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23186
Raw data (stat): 23186 (Pueblo-v2) R 23185 21152 21151 0 -1 0 4811 0 0 0 117013 11 0 0 25 0 1 0 853691925 24879104 4664 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6074 4664 566 18 0 6056 0
vsize: 24296
[startup+1180.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23186
Raw data (stat): 23186 (Pueblo-v2) R 23185 21152 21151 0 -1 0 4811 0 0 0 118013 11 0 0 25 0 1 0 853691925 24879104 4664 4294967295 134512640 134581267 3221224576 3221223504 134519803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6074 4664 566 18 0 6056 0
vsize: 24296
[startup+1190.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23186
Raw data (stat): 23186 (Pueblo-v2) R 23185 21152 21151 0 -1 0 4811 0 0 0 119014 11 0 0 25 0 1 0 853691925 24879104 4664 4294967295 134512640 134581267 3221224576 3221223568 134561098 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6074 4664 566 18 0 6056 0
vsize: 24296
[startup+1200.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23186
Raw data (stat): 23186 (Pueblo-v2) R 23185 21152 21151 0 -1 0 4811 0 0 0 120014 11 0 0 25 0 1 0 853691925 24879104 4664 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6074 4664 566 18 0 6056 0
vsize: 24296
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.08 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 23186
Raw data (stat): 23186 (Pueblo-v2) Z 23185 21152 21151 0 -1 1036 4811 0 0 0 120014 12 0 0 25 0 1 0 853691925 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.08
CPU time (s): 1200.26
CPU user time (s): 1200.14
CPU system time (s): 0.121981
CPU usage (%): 100.015
Max. virtual memory (Kb): 24296
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####