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/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-bienst2.opb
MD5SUM	3c3e6264ad2029dcb2dc81be78ef5988
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	524288
Number of bits of the biggest number in a constraint	20
Biggest sum of numbers in a constraint	13633395
Number of bits of the biggest sum of numbers	24
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	103.29
Number of variables	9183
Total number of constraints	632
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	40
Number of constraints which are nor clauses,nor cardinality constraints	592
Minimum length of a constraint	1
Maximum length of a constraint	260
Trace number 39301

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-03 02:58:14 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27367 boxname=wulflinc5 idbench=1495 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  3c3e6264ad2029dcb2dc81be78ef5988  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-bienst2.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-bienst2.opb
IDLAUNCH: 27367
/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:        418544 kB
Buffers:         32704 kB
Cached:         559484 kB
SwapCached:        568 kB
Active:          37644 kB
Inactive:       556548 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        418292 kB
SwapTotal:     2097136 kB
SwapFree:      2095632 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5148 kB
Slab:            16284 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-03 03:18:17 (client local time) WITH STATUS 0 IN 1200.19 SECONDS
stats: 27367 7 1200.19 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.95 0.99 0.95 1/54 16466
Raw data (stat): 16466 (runsolver) R 16465 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 855007920 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.0004 s]
Raw data (loadavg): 0.96 0.99 0.95 2/54 16466
Raw data (stat): 16466 (Pueblo-v2) R 16465 7266 7265 0 -1 0 1826 0 0 0 994 4 0 0 25 0 1 0 855007920 13557760 1800 4294967295 134512640 134581267 3221224576 3221223488 134527429 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3310 1800 566 18 0 3292 0
vsize: 13240
[startup+20.0011 s]
Raw data (loadavg): 0.97 0.99 0.95 2/54 16466
Raw data (stat): 16466 (Pueblo-v2) R 16465 7266 7265 0 -1 0 2047 0 0 0 1993 5 0 0 25 0 1 0 855007920 14483456 2021 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3536 2021 566 18 0 3518 0
vsize: 14144
[startup+30.0011 s]
Raw data (loadavg): 0.97 0.99 0.95 2/54 16466
Raw data (stat): 16466 (Pueblo-v2) R 16465 7266 7265 0 -1 0 2504 0 0 0 2992 6 0 0 25 0 1 0 855007920 16318464 2478 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3984 2478 566 18 0 3966 0
vsize: 15936
[startup+40.0019 s]
Raw data (loadavg): 0.97 0.99 0.95 2/54 16466
Raw data (stat): 16466 (Pueblo-v2) R 16465 7266 7265 0 -1 0 2627 0 0 0 3992 6 0 0 25 0 1 0 855007920 16842752 2601 4294967295 134512640 134581267 3221224576 3221223472 134527803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4112 2601 566 18 0 4094 0
vsize: 16448
[startup+50.0023 s]
Raw data (loadavg): 0.98 0.99 0.95 2/54 16466
Raw data (stat): 16466 (Pueblo-v2) R 16465 7266 7265 0 -1 0 2627 0 0 0 4992 6 0 0 25 0 1 0 855007920 16842752 2601 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4112 2601 566 18 0 4094 0
vsize: 16448
[startup+60.0024 s]
Raw data (loadavg): 0.98 0.99 0.95 2/54 16466
Raw data (stat): 16466 (Pueblo-v2) R 16465 7266 7265 0 -1 0 2628 0 0 0 5992 6 0 0 25 0 1 0 855007920 16842752 2602 4294967295 134512640 134581267 3221224576 3221223488 134528042 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4112 2602 566 18 0 4094 0
vsize: 16448
[startup+70.0028 s]
Raw data (loadavg): 0.98 0.99 0.95 2/54 16466
Raw data (stat): 16466 (Pueblo-v2) R 16465 7266 7265 0 -1 0 2628 0 0 0 6992 6 0 0 25 0 1 0 855007920 16842752 2602 4294967295 134512640 134581267 3221224576 3221223488 134527418 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4112 2602 566 18 0 4094 0
vsize: 16448
[startup+80.0025 s]
Raw data (loadavg): 0.98 0.99 0.95 2/54 16466
Raw data (stat): 16466 (Pueblo-v2) R 16465 7266 7265 0 -1 0 2628 0 0 0 7992 6 0 0 25 0 1 0 855007920 16842752 2602 4294967295 134512640 134581267 3221224576 3221223488 134528042 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4112 2602 566 18 0 4094 0
vsize: 16448
[startup+90.0026 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 16466
Raw data (stat): 16466 (Pueblo-v2) R 16465 7266 7265 0 -1 0 2628 0 0 0 8993 6 0 0 25 0 1 0 855007920 16842752 2602 4294967295 134512640 134581267 3221224576 3221223488 134527445 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4112 2602 566 18 0 4094 0
vsize: 16448
[startup+100.003 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 16466
Raw data (stat): 16466 (Pueblo-v2) R 16465 7266 7265 0 -1 0 2628 0 0 0 9993 6 0 0 25 0 1 0 855007920 16842752 2602 4294967295 134512640 134581267 3221224576 3221223488 134527418 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4112 2602 566 18 0 4094 0
vsize: 16448
[startup+110.004 s]
Raw data (loadavg): 0.99 0.99 0.95 3/57 16505
Raw data (stat): 16466 (Pueblo-v2) R 16465 7266 7265 0 -1 0 2628 0 0 0 10992 6 0 0 25 0 1 0 855007920 16842752 2602 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4112 2602 566 18 0 4094 0
vsize: 16448
[startup+120.004 s]
Raw data (loadavg): 1.06 1.01 0.95 2/54 16519
Raw data (stat): 16466 (Pueblo-v2) R 16465 7266 7265 0 -1 0 2628 0 0 0 11993 6 0 0 25 0 1 0 855007920 16842752 2602 4294967295 134512640 134581267 3221224576 3221223488 134527440 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4112 2602 566 18 0 4094 0
vsize: 16448
[startup+130.004 s]
Raw data (loadavg): 1.05 1.01 0.95 2/54 16519
Raw data (stat): 16466 (Pueblo-v2) R 16465 7266 7265 0 -1 0 2674 0 0 0 12992 7 0 0 25 0 1 0 855007920 17108992 2648 4294967295 134512640 134581267 3221224576 3221223488 134527652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4177 2648 566 18 0 4159 0
vsize: 16708
[startup+140.004 s]
Raw data (loadavg): 1.05 1.01 0.95 2/54 16519
Raw data (stat): 16466 (Pueblo-v2) R 16465 7266 7265 0 -1 0 2674 0 0 0 13992 7 0 0 25 0 1 0 855007920 17108992 2648 4294967295 134512640 134581267 3221224576 3221223488 134527504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4177 2648 566 18 0 4159 0
vsize: 16708
[startup+150.004 s]
Raw data (loadavg): 1.04 1.01 0.95 2/54 16519
Raw data (stat): 16466 (Pueblo-v2) R 16465 7266 7265 0 -1 0 2674 0 0 0 14992 8 0 0 25 0 1 0 855007920 17068032 2648 4294967295 134512640 134581267 3221224576 3221223488 134527768 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4167 2648 566 18 0 4149 0
vsize: 16668
[startup+160.004 s]
Raw data (loadavg): 1.03 1.01 0.95 2/54 16519
Raw data (stat): 16466 (Pueblo-v2) R 16465 7266 7265 0 -1 0 2674 0 0 0 15992 8 0 0 25 0 1 0 855007920 17068032 2648 4294967295 134512640 134581267 3221224576 3221223488 134527935 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4167 2648 566 18 0 4149 0
vsize: 16668
[startup+170.004 s]
Raw data (loadavg): 1.03 1.01 0.95 2/54 16519
Raw data (stat): 16466 (Pueblo-v2) R 16465 7266 7265 0 -1 0 2674 0 0 0 16992 8 0 0 25 0 1 0 855007920 17068032 2648 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4167 2648 566 18 0 4149 0
vsize: 16668
[startup+180.004 s]
Raw data (loadavg): 1.02 1.00 0.95 2/54 16519
Raw data (stat): 16466 (Pueblo-v2) R 16465 7266 7265 0 -1 0 2674 0 0 0 17991 9 0 0 25 0 1 0 855007920 17068032 2648 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4167 2648 566 18 0 4149 0
vsize: 16668
[startup+190.004 s]
Raw data (loadavg): 1.02 1.00 0.95 2/54 16521
Raw data (stat): 16466 (Pueblo-v2) R 16465 7266 7265 0 -1 0 2674 0 0 0 18991 9 0 0 25 0 1 0 855007920 17068032 2648 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4167 2648 566 18 0 4149 0
vsize: 16668
[startup+200.003 s]
Raw data (loadavg): 1.02 1.00 0.95 2/54 16521
Raw data (stat): 16466 (Pueblo-v2) R 16465 7266 7265 0 -1 0 2674 0 0 0 19991 9 0 0 25 0 1 0 855007920 17068032 2648 4294967295 134512640 134581267 3221224576 3221223488 134527445 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4167 2648 566 18 0 4149 0
vsize: 16668
[startup+210.003 s]
Raw data (loadavg): 1.01 1.00 0.95 2/54 16521
Raw data (stat): 16466 (Pueblo-v2) R 16465 7266 7265 0 -1 0 2674 0 0 0 20991 10 0 0 25 0 1 0 855007920 17068032 2648 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4167 2648 566 18 0 4149 0
vsize: 16668
[startup+220.005 s]
Raw data (loadavg): 1.01 1.00 0.95 2/54 16521
Raw data (stat): 16466 (Pueblo-v2) R 16465 7266 7265 0 -1 0 2674 0 0 0 21990 11 0 0 25 0 1 0 855007920 17068032 2648 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4167 2648 566 18 0 4149 0
vsize: 16668
[startup+230.004 s]
Raw data (loadavg): 1.01 1.00 0.95 2/54 16521
Raw data (stat): 16466 (Pueblo-v2) R 16465 7266 7265 0 -1 0 2674 0 0 0 22990 11 0 0 25 0 1 0 855007920 17068032 2648 4294967295 134512640 134581267 3221224576 3221223488 134527695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4167 2648 566 18 0 4149 0
vsize: 16668
[startup+240.003 s]
Raw data (loadavg): 1.01 1.00 0.95 2/54 16521
Raw data (stat): 16466 (Pueblo-v2) R 16465 7266 7265 0 -1 0 2674 0 0 0 23990 11 0 0 25 0 1 0 855007920 17068032 2648 4294967295 134512640 134581267 3221224576 3221223488 134527737 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4167 2648 566 18 0 4149 0
vsize: 16668
[startup+250.004 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16521
Raw data (stat): 16466 (Pueblo-v2) R 16465 7266 7265 0 -1 0 2674 0 0 0 24990 12 0 0 25 0 1 0 855007920 17068032 2648 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4167 2648 566 18 0 4149 0
vsize: 16668
[startup+260.004 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16521
Raw data (stat): 16466 (Pueblo-v2) R 16465 7266 7265 0 -1 0 2674 0 0 0 25989 12 0 0 25 0 1 0 855007920 17068032 2648 4294967295 134512640 134581267 3221224576 3221223488 134527442 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4167 2648 566 18 0 4149 0
vsize: 16668
[startup+270.004 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16521
Raw data (stat): 16466 (Pueblo-v2) R 16465 7266 7265 0 -1 0 2674 0 0 0 26989 13 0 0 25 0 1 0 855007920 17068032 2648 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4167 2648 566 18 0 4149 0
vsize: 16668
[startup+280.004 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16521
Raw data (stat): 16466 (Pueblo-v2) R 16465 7266 7265 0 -1 0 2674 0 0 0 27989 13 0 0 25 0 1 0 855007920 17068032 2648 4294967295 134512640 134581267 3221224576 3221223488 134527703 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4167 2648 566 18 0 4149 0
vsize: 16668
[startup+290.004 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16521
Raw data (stat): 16466 (Pueblo-v2) R 16465 7266 7265 0 -1 0 2674 0 0 0 28988 13 0 0 25 0 1 0 855007920 17068032 2648 4294967295 134512640 134581267 3221224576 3221223488 134527504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4167 2648 566 18 0 4149 0
vsize: 16668
[startup+300.004 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16521
Raw data (stat): 16466 (Pueblo-v2) R 16465 7266 7265 0 -1 0 2674 0 0 0 29988 14 0 0 25 0 1 0 855007920 17068032 2648 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4167 2648 566 18 0 4149 0
vsize: 16668
[startup+310.004 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16521
Raw data (stat): 16466 (Pueblo-v2) R 16465 7266 7265 0 -1 0 2674 0 0 0 30988 14 0 0 25 0 1 0 855007920 17068032 2648 4294967295 134512640 134581267 3221224576 3221223488 134527429 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4167 2648 566 18 0 4149 0
vsize: 16668
[startup+320.004 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16521
Raw data (stat): 16466 (Pueblo-v2) R 16465 7266 7265 0 -1 0 2674 0 0 0 31988 14 0 0 25 0 1 0 855007920 17068032 2648 4294967295 134512640 134581267 3221224576 3221223488 134527670 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4167 2648 566 18 0 4149 0
vsize: 16668
[startup+330.004 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16521
Raw data (stat): 16466 (Pueblo-v2) R 16465 7266 7265 0 -1 0 2674 0 0 0 32988 15 0 0 25 0 1 0 855007920 17068032 2648 4294967295 134512640 134581267 3221224576 3221223488 134527442 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4167 2648 566 18 0 4149 0
vsize: 16668
[startup+340.005 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16521
Raw data (stat): 16466 (Pueblo-v2) R 16465 7266 7265 0 -1 0 2674 0 0 0 33988 15 0 0 25 0 1 0 855007920 17068032 2648 4294967295 134512640 134581267 3221224576 3221223488 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4167 2648 566 18 0 4149 0
vsize: 16668
[startup+350.004 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16521
Raw data (stat): 16466 (Pueblo-v2) R 16465 7266 7265 0 -1 0 2727 0 0 0 34988 15 0 0 25 0 1 0 855007920 17330176 2701 4294967295 134512640 134581267 3221224576 3221223488 134527429 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4231 2701 566 18 0 4213 0
vsize: 16924
[startup+360.004 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16521
Raw data (stat): 16466 (Pueblo-v2) R 16465 7266 7265 0 -1 0 2830 0 0 0 35988 16 0 0 25 0 1 0 855007920 17723392 2804 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4327 2804 566 18 0 4309 0
vsize: 17308
[startup+370.005 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16521
Raw data (stat): 16466 (Pueblo-v2) R 16465 7266 7265 0 -1 0 2844 0 0 0 36988 16 0 0 25 0 1 0 855007920 17723392 2818 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4327 2818 566 18 0 4309 0
vsize: 17308
[startup+380.004 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16521
Raw data (stat): 16466 (Pueblo-v2) R 16465 7266 7265 0 -1 0 2865 0 0 0 37988 16 0 0 25 0 1 0 855007920 17866752 2839 4294967295 134512640 134581267 3221224576 3221223488 134527636 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4362 2839 566 18 0 4344 0
vsize: 17448
[startup+390.005 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16521
Raw data (stat): 16466 (Pueblo-v2) R 16465 7266 7265 0 -1 0 2865 0 0 0 38987 16 0 0 25 0 1 0 855007920 17866752 2839 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4362 2839 566 18 0 4344 0
vsize: 17448
[startup+400.005 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16521
Raw data (stat): 16466 (Pueblo-v2) R 16465 7266 7265 0 -1 0 2865 0 0 0 39987 17 0 0 25 0 1 0 855007920 17866752 2839 4294967295 134512640 134581267 3221224576 3221223488 134527774 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4362 2839 566 18 0 4344 0
vsize: 17448
[startup+410.005 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16521
Raw data (stat): 16466 (Pueblo-v2) R 16465 7266 7265 0 -1 0 2865 0 0 0 40987 17 0 0 25 0 1 0 855007920 17866752 2839 4294967295 134512640 134581267 3221224576 3221223488 134528053 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4362 2839 566 18 0 4344 0
vsize: 17448
[startup+420.005 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16521
Raw data (stat): 16466 (Pueblo-v2) R 16465 7266 7265 0 -1 0 2865 0 0 0 41987 18 0 0 25 0 1 0 855007920 17866752 2839 4294967295 134512640 134581267 3221224576 3221223488 134527636 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4362 2839 566 18 0 4344 0
vsize: 17448
[startup+430.005 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16521
Raw data (stat): 16466 (Pueblo-v2) R 16465 7266 7265 0 -1 0 2865 0 0 0 42986 18 0 0 25 0 1 0 855007920 17866752 2839 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4362 2839 566 18 0 4344 0
vsize: 17448
[startup+440.005 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16521
Raw data (stat): 16466 (Pueblo-v2) R 16465 7266 7265 0 -1 0 2865 0 0 0 43986 19 0 0 25 0 1 0 855007920 17866752 2839 4294967295 134512640 134581267 3221224576 3221223520 134558775 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4362 2839 566 18 0 4344 0
vsize: 17448
[startup+450.005 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16523
Raw data (stat): 16466 (Pueblo-v2) R 16465 7266 7265 0 -1 0 2907 0 0 0 44986 19 0 0 25 0 1 0 855007920 17997824 2881 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4394 2881 566 18 0 4376 0
vsize: 17576
[startup+460.007 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16523
Raw data (stat): 16466 (Pueblo-v2) R 16465 7266 7265 0 -1 0 3042 0 0 0 45986 19 0 0 25 0 1 0 855007920 18522112 3016 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4522 3016 566 18 0 4504 0
vsize: 18088
[startup+470.007 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16523
Raw data (stat): 16466 (Pueblo-v2) R 16465 7266 7265 0 -1 0 3068 0 0 0 46985 20 0 0 25 0 1 0 855007920 18653184 3042 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4554 3042 566 18 0 4536 0
vsize: 18216
[startup+480.006 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16523
Raw data (stat): 16466 (Pueblo-v2) R 16465 7266 7265 0 -1 0 3068 0 0 0 47985 21 0 0 25 0 1 0 855007920 18653184 3042 4294967295 134512640 134581267 3221224576 3221223488 134527948 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4554 3042 566 18 0 4536 0
vsize: 18216
[startup+490.006 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16523
Raw data (stat): 16466 (Pueblo-v2) R 16465 7266 7265 0 -1 0 3079 0 0 0 48985 21 0 0 25 0 1 0 855007920 18784256 3053 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4586 3053 566 18 0 4568 0
vsize: 18344
[startup+500.007 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16523
Raw data (stat): 16466 (Pueblo-v2) R 16465 7266 7265 0 -1 0 3193 0 0 0 49984 22 0 0 25 0 1 0 855007920 19177472 3167 4294967295 134512640 134581267 3221224576 3221223488 134527703 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4682 3167 566 18 0 4664 0
vsize: 18728
[startup+510.007 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16523
Raw data (stat): 16466 (Pueblo-v2) R 16465 7266 7265 0 -1 0 3306 0 0 0 50984 22 0 0 25 0 1 0 855007920 19701760 3280 4294967295 134512640 134581267 3221224576 3221223488 134527695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4810 3280 566 18 0 4792 0
vsize: 19240
[startup+520.007 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16523
Raw data (stat): 16466 (Pueblo-v2) R 16465 7266 7265 0 -1 0 3329 0 0 0 51984 22 0 0 25 0 1 0 855007920 19701760 3303 4294967295 134512640 134581267 3221224576 3221223568 134561036 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4810 3303 566 18 0 4792 0
vsize: 19240
[startup+530.007 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16523
Raw data (stat): 16466 (Pueblo-v2) R 16465 7266 7265 0 -1 0 3329 0 0 0 52984 23 0 0 25 0 1 0 855007920 19701760 3303 4294967295 134512640 134581267 3221224576 3221223440 134528229 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4810 3303 566 18 0 4792 0
vsize: 19240
[startup+540.007 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16523
Raw data (stat): 16466 (Pueblo-v2) R 16465 7266 7265 0 -1 0 3329 0 0 0 53984 23 0 0 25 0 1 0 855007920 19701760 3303 4294967295 134512640 134581267 3221224576 3221223488 134527451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4810 3303 566 18 0 4792 0
vsize: 19240
[startup+550.007 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16523
Raw data (stat): 16466 (Pueblo-v2) R 16465 7266 7265 0 -1 0 3329 0 0 0 54983 23 0 0 25 0 1 0 855007920 19701760 3303 4294967295 134512640 134581267 3221224576 3221223488 134527516 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4810 3303 566 18 0 4792 0
vsize: 19240
[startup+560.006 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16523
Raw data (stat): 16466 (Pueblo-v2) R 16465 7266 7265 0 -1 0 3398 0 0 0 55983 24 0 0 25 0 1 0 855007920 20094976 3372 4294967295 134512640 134581267 3221224576 3221223520 134558815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4906 3372 566 18 0 4888 0
vsize: 19624
[startup+570.008 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16523
Raw data (stat): 16466 (Pueblo-v2) R 16465 7266 7265 0 -1 0 3435 0 0 0 56983 24 0 0 25 0 1 0 855007920 20226048 3409 4294967295 134512640 134581267 3221224576 3221223488 134528040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4938 3409 566 18 0 4920 0
vsize: 19752
[startup+580.007 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16523
Raw data (stat): 16466 (Pueblo-v2) R 16465 7266 7265 0 -1 0 3435 0 0 0 57983 24 0 0 25 0 1 0 855007920 20226048 3409 4294967295 134512640 134581267 3221224576 3221223440 134528240 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4938 3409 566 18 0 4920 0
vsize: 19752
[startup+590.008 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16523
Raw data (stat): 16466 (Pueblo-v2) R 16465 7266 7265 0 -1 0 3435 0 0 0 58983 25 0 0 25 0 1 0 855007920 20144128 3409 4294967295 134512640 134581267 3221224576 3221223488 134527636 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4918 3409 566 18 0 4900 0
vsize: 19672
[startup+600.008 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16523
Raw data (stat): 16466 (Pueblo-v2) R 16465 7266 7265 0 -1 0 3435 0 0 0 59982 25 0 0 25 0 1 0 855007920 20144128 3409 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4918 3409 566 18 0 4900 0
vsize: 19672
[startup+610.008 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16523
Raw data (stat): 16466 (Pueblo-v2) R 16465 7266 7265 0 -1 0 3435 0 0 0 60982 26 0 0 25 0 1 0 855007920 20131840 3409 4294967295 134512640 134581267 3221224576 3221223488 134527676 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4915 3409 566 18 0 4897 0
vsize: 19660
[startup+620.008 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16523
Raw data (stat): 16466 (Pueblo-v2) R 16465 7266 7265 0 -1 0 3583 0 0 0 61982 26 0 0 25 0 1 0 855007920 20791296 3557 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5076 3557 566 18 0 5058 0
vsize: 20304
[startup+630.008 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16523
Raw data (stat): 16466 (Pueblo-v2) R 16465 7266 7265 0 -1 0 3583 0 0 0 62982 26 0 0 25 0 1 0 855007920 20791296 3557 4294967295 134512640 134581267 3221224576 3221223488 134527513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5076 3557 566 18 0 5058 0
vsize: 20304
[startup+640.009 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16523
Raw data (stat): 16466 (Pueblo-v2) R 16465 7266 7265 0 -1 0 3583 0 0 0 63982 27 0 0 25 0 1 0 855007920 20791296 3557 4294967295 134512640 134581267 3221224576 3221223440 134528240 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5076 3557 566 18 0 5058 0
vsize: 20304
[startup+650.009 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16523
Raw data (stat): 16466 (Pueblo-v2) R 16465 7266 7265 0 -1 0 3583 0 0 0 64982 27 0 0 25 0 1 0 855007920 20791296 3557 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5076 3557 566 18 0 5058 0
vsize: 20304
[startup+660.009 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16523
Raw data (stat): 16466 (Pueblo-v2) R 16465 7266 7265 0 -1 0 3583 0 0 0 65982 27 0 0 25 0 1 0 855007920 20791296 3557 4294967295 134512640 134581267 3221224576 3221223488 134527712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5076 3557 566 18 0 5058 0
vsize: 20304
[startup+670.01 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16523
Raw data (stat): 16466 (Pueblo-v2) R 16465 7266 7265 0 -1 0 3925 0 0 0 66981 28 0 0 25 0 1 0 855007920 22216704 3899 4294967295 134512640 134581267 3221224576 3221223488 134527537 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5424 3899 566 18 0 5406 0
vsize: 21696
[startup+680.009 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16523
Raw data (stat): 16466 (Pueblo-v2) R 16465 7266 7265 0 -1 0 3970 0 0 0 67981 28 0 0 25 0 1 0 855007920 22351872 3944 4294967295 134512640 134581267 3221224576 3221223488 134527645 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5457 3944 566 18 0 5439 0
vsize: 21828
[startup+690.009 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16523
Raw data (stat): 16466 (Pueblo-v2) R 16465 7266 7265 0 -1 0 4038 0 0 0 68981 29 0 0 25 0 1 0 855007920 22618112 4012 4294967295 134512640 134581267 3221224576 3221223488 134527434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5522 4012 566 18 0 5504 0
vsize: 22088
[startup+700.01 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16523
Raw data (stat): 16466 (Pueblo-v2) R 16465 7266 7265 0 -1 0 4296 0 0 0 69980 29 0 0 25 0 1 0 855007920 23662592 4270 4294967295 134512640 134581267 3221224576 3221223632 134556132 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5777 4270 566 18 0 5759 0
vsize: 23108
[startup+710.011 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16523
Raw data (stat): 16466 (Pueblo-v2) R 16465 7266 7265 0 -1 0 4296 0 0 0 70980 29 0 0 25 0 1 0 855007920 23662592 4270 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5777 4270 566 18 0 5759 0
vsize: 23108
[startup+720.01 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16523
Raw data (stat): 16466 (Pueblo-v2) R 16465 7266 7265 0 -1 0 4296 0 0 0 71980 30 0 0 25 0 1 0 855007920 23662592 4270 4294967295 134512640 134581267 3221224576 3221223488 134528042 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5777 4270 566 18 0 5759 0
vsize: 23108
[startup+730.01 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16523
Raw data (stat): 16466 (Pueblo-v2) R 16465 7266 7265 0 -1 0 4296 0 0 0 72980 30 0 0 25 0 1 0 855007920 23662592 4270 4294967295 134512640 134581267 3221224576 3221223488 134527445 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5777 4270 566 18 0 5759 0
vsize: 23108
[startup+740.011 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16523
Raw data (stat): 16466 (Pueblo-v2) R 16465 7266 7265 0 -1 0 4296 0 0 0 73980 30 0 0 25 0 1 0 855007920 23662592 4270 4294967295 134512640 134581267 3221224576 3221223488 134527645 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5777 4270 566 18 0 5759 0
vsize: 23108
[startup+750.01 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16523
Raw data (stat): 16466 (Pueblo-v2) R 16465 7266 7265 0 -1 0 4296 0 0 0 74980 30 0 0 25 0 1 0 855007920 23613440 4262 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5765 4262 566 18 0 5747 0
vsize: 23060
[startup+760.011 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16523
Raw data (stat): 16466 (Pueblo-v2) R 16465 7266 7265 0 -1 0 4369 0 0 0 75980 30 0 0 25 0 1 0 855007920 24018944 4335 4294967295 134512640 134581267 3221224576 3221223536 134516745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5864 4335 566 18 0 5846 0
vsize: 23456
[startup+770.011 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16523
Raw data (stat): 16466 (Pueblo-v2) R 16465 7266 7265 0 -1 0 4456 0 0 0 76980 30 0 0 25 0 1 0 855007920 24281088 4422 4294967295 134512640 134581267 3221224576 3221223488 134527955 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5928 4423 566 18 0 5910 0
vsize: 23712
[startup+780.011 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16523
Raw data (stat): 16466 (Pueblo-v2) R 16465 7266 7265 0 -1 0 4557 0 0 0 77980 31 0 0 25 0 1 0 855007920 24809472 4523 4294967295 134512640 134581267 3221224576 3221223448 134531345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6057 4523 566 18 0 6039 0
vsize: 24228
[startup+790.01 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16523
Raw data (stat): 16466 (Pueblo-v2) R 16465 7266 7265 0 -1 0 4631 0 0 0 78979 31 0 0 25 0 1 0 855007920 25071616 4597 4294967295 134512640 134581267 3221224576 3221223488 134527636 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6121 4597 566 18 0 6103 0
vsize: 24484
[startup+800.011 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16523
Raw data (stat): 16466 (Pueblo-v2) R 16465 7266 7265 0 -1 0 4754 0 0 0 79979 31 0 0 25 0 1 0 855007920 25595904 4720 4294967295 134512640 134581267 3221224576 3221223488 134527689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6249 4720 566 18 0 6231 0
vsize: 24996
[startup+810.011 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16523
Raw data (stat): 16466 (Pueblo-v2) R 16465 7266 7265 0 -1 0 5193 0 0 0 80978 32 0 0 25 0 1 0 855007920 27324416 5159 4294967295 134512640 134581267 3221224576 3221223440 134528315 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6671 5159 566 18 0 6653 0
vsize: 26684
[startup+820.011 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16523
Raw data (stat): 16466 (Pueblo-v2) R 16465 7266 7265 0 -1 0 5410 0 0 0 81978 33 0 0 25 0 1 0 855007920 28241920 5376 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6895 5376 566 18 0 6877 0
vsize: 27580
[startup+830.011 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16523
Raw data (stat): 16466 (Pueblo-v2) R 16465 7266 7265 0 -1 0 5474 0 0 0 82977 33 0 0 25 0 1 0 855007920 28504064 5440 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6959 5440 566 18 0 6941 0
vsize: 27836
[startup+840.011 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16523
Raw data (stat): 16466 (Pueblo-v2) R 16465 7266 7265 0 -1 0 5474 0 0 0 83978 33 0 0 25 0 1 0 855007920 28504064 5440 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6959 5440 566 18 0 6941 0
vsize: 27836
[startup+850.011 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16523
Raw data (stat): 16466 (Pueblo-v2) R 16465 7266 7265 0 -1 0 5474 0 0 0 84978 33 0 0 25 0 1 0 855007920 28504064 5440 4294967295 134512640 134581267 3221224576 3221223440 134528302 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6959 5440 566 18 0 6941 0
vsize: 27836
[startup+860.011 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16523
Raw data (stat): 16466 (Pueblo-v2) R 16465 7266 7265 0 -1 0 5474 0 0 0 85978 33 0 0 25 0 1 0 855007920 28504064 5440 4294967295 134512640 134581267 3221224576 3221223488 134527423 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6959 5440 566 18 0 6941 0
vsize: 27836
[startup+870.011 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16523
Raw data (stat): 16466 (Pueblo-v2) R 16465 7266 7265 0 -1 0 5474 0 0 0 86978 33 0 0 25 0 1 0 855007920 28504064 5440 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6959 5440 566 18 0 6941 0
vsize: 27836
[startup+880.012 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16523
Raw data (stat): 16466 (Pueblo-v2) R 16465 7266 7265 0 -1 0 5474 0 0 0 87978 33 0 0 25 0 1 0 855007920 28504064 5440 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6959 5440 566 18 0 6941 0
vsize: 27836
[startup+890.012 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16523
Raw data (stat): 16466 (Pueblo-v2) R 16465 7266 7265 0 -1 0 5474 0 0 0 88979 33 0 0 25 0 1 0 855007920 27967488 5325 4294967295 134512640 134581267 3221224576 3221223440 134560403 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6828 5325 566 18 0 6810 0
vsize: 27312
[startup+900.012 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16523
Raw data (stat): 16466 (Pueblo-v2) R 16465 7266 7265 0 -1 0 5474 0 0 0 89979 33 0 0 25 0 1 0 855007920 27967488 5325 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6828 5325 566 18 0 6810 0
vsize: 27312
[startup+910.013 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16523
Raw data (stat): 16466 (Pueblo-v2) R 16465 7266 7265 0 -1 0 5474 0 0 0 90979 33 0 0 25 0 1 0 855007920 27959296 5323 4294967295 134512640 134581267 3221224576 3221223488 134527948 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6826 5323 566 18 0 6808 0
vsize: 27304
[startup+920.013 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16523
Raw data (stat): 16466 (Pueblo-v2) R 16465 7266 7265 0 -1 0 5474 0 0 0 91979 33 0 0 25 0 1 0 855007920 27959296 5323 4294967295 134512640 134581267 3221224576 3221223488 134527645 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6826 5323 566 18 0 6808 0
vsize: 27304
[startup+930.012 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16523
Raw data (stat): 16466 (Pueblo-v2) R 16465 7266 7265 0 -1 0 5474 0 0 0 92979 33 0 0 25 0 1 0 855007920 27959296 5323 4294967295 134512640 134581267 3221224576 3221223488 134527442 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6826 5323 566 18 0 6808 0
vsize: 27304
[startup+940.012 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16523
Raw data (stat): 16466 (Pueblo-v2) R 16465 7266 7265 0 -1 0 5474 0 0 0 93979 33 0 0 25 0 1 0 855007920 27959296 5323 4294967295 134512640 134581267 3221224576 3221223488 134527645 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6826 5323 566 18 0 6808 0
vsize: 27304
[startup+950.013 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16523
Raw data (stat): 16466 (Pueblo-v2) R 16465 7266 7265 0 -1 0 5474 0 0 0 94980 33 0 0 25 0 1 0 855007920 27959296 5323 4294967295 134512640 134581267 3221224576 3221223488 134527418 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6826 5323 566 18 0 6808 0
vsize: 27304
[startup+960.013 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16523
Raw data (stat): 16466 (Pueblo-v2) R 16465 7266 7265 0 -1 0 5474 0 0 0 95980 33 0 0 25 0 1 0 855007920 27959296 5323 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6826 5323 566 18 0 6808 0
vsize: 27304
[startup+970.013 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16523
Raw data (stat): 16466 (Pueblo-v2) R 16465 7266 7265 0 -1 0 5474 0 0 0 96980 33 0 0 25 0 1 0 855007920 27959296 5323 4294967295 134512640 134581267 3221224576 3221223488 134527768 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6826 5323 566 18 0 6808 0
vsize: 27304
[startup+980.013 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16523
Raw data (stat): 16466 (Pueblo-v2) R 16465 7266 7265 0 -1 0 5474 0 0 0 97980 33 0 0 25 0 1 0 855007920 27959296 5323 4294967295 134512640 134581267 3221224576 3221223488 134527504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6826 5323 566 18 0 6808 0
vsize: 27304
[startup+990.013 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16523
Raw data (stat): 16466 (Pueblo-v2) R 16465 7266 7265 0 -1 0 5474 0 0 0 98980 33 0 0 25 0 1 0 855007920 27959296 5323 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6826 5323 566 18 0 6808 0
vsize: 27304
[startup+1000.01 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16523
Raw data (stat): 16466 (Pueblo-v2) R 16465 7266 7265 0 -1 0 5474 0 0 0 99981 33 0 0 25 0 1 0 855007920 27947008 5320 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6823 5320 566 18 0 6805 0
vsize: 27292
[startup+1010.01 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16523
Raw data (stat): 16466 (Pueblo-v2) R 16465 7266 7265 0 -1 0 5474 0 0 0 100981 33 0 0 25 0 1 0 855007920 27938816 5318 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6821 5318 566 18 0 6803 0
vsize: 27284
[startup+1020.01 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16523
Raw data (stat): 16466 (Pueblo-v2) R 16465 7266 7265 0 -1 0 5474 0 0 0 101981 33 0 0 25 0 1 0 855007920 27938816 5318 4294967295 134512640 134581267 3221224576 3221223488 134528042 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6821 5318 566 18 0 6803 0
vsize: 27284
[startup+1030.01 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16523
Raw data (stat): 16466 (Pueblo-v2) R 16465 7266 7265 0 -1 0 5475 0 0 0 102981 33 0 0 25 0 1 0 855007920 27938816 5319 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6821 5319 566 18 0 6803 0
vsize: 27284
[startup+1040.01 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16523
Raw data (stat): 16466 (Pueblo-v2) R 16465 7266 7265 0 -1 0 5475 0 0 0 103981 33 0 0 25 0 1 0 855007920 27922432 5315 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6817 5315 566 18 0 6799 0
vsize: 27268
[startup+1050.01 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16523
Raw data (stat): 16466 (Pueblo-v2) R 16465 7266 7265 0 -1 0 5475 0 0 0 104982 33 0 0 25 0 1 0 855007920 27922432 5315 4294967295 134512640 134581267 3221224576 3221223440 134528226 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6817 5315 566 18 0 6799 0
vsize: 27268
[startup+1060.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16523
Raw data (stat): 16466 (Pueblo-v2) R 16465 7266 7265 0 -1 0 5475 0 0 0 105982 33 0 0 25 0 1 0 855007920 27922432 5315 4294967295 134512640 134581267 3221224576 3221223440 134528222 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6817 5315 566 18 0 6799 0
vsize: 27268
[startup+1070.01 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16523
Raw data (stat): 16466 (Pueblo-v2) R 16465 7266 7265 0 -1 0 5475 0 0 0 106982 33 0 0 25 0 1 0 855007920 27922432 5315 4294967295 134512640 134581267 3221224576 3221223456 134520299 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6817 5315 566 18 0 6799 0
vsize: 27268
[startup+1080.01 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16523
Raw data (stat): 16466 (Pueblo-v2) R 16465 7266 7265 0 -1 0 5475 0 0 0 107982 33 0 0 25 0 1 0 855007920 27922432 5315 4294967295 134512640 134581267 3221224576 3221223472 134517809 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6817 5315 566 18 0 6799 0
vsize: 27268
[startup+1090.01 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16523
Raw data (stat): 16466 (Pueblo-v2) R 16465 7266 7265 0 -1 0 5475 0 0 0 108982 33 0 0 25 0 1 0 855007920 27922432 5315 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6817 5315 566 18 0 6799 0
vsize: 27268
[startup+1100.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16523
Raw data (stat): 16466 (Pueblo-v2) R 16465 7266 7265 0 -1 0 5475 0 0 0 109982 33 0 0 25 0 1 0 855007920 27922432 5315 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6817 5315 566 18 0 6799 0
vsize: 27268
[startup+1110.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16523
Raw data (stat): 16466 (Pueblo-v2) R 16465 7266 7265 0 -1 0 5475 0 0 0 110983 33 0 0 25 0 1 0 855007920 27922432 5315 4294967295 134512640 134581267 3221224576 3221223472 134517900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6817 5315 566 18 0 6799 0
vsize: 27268
[startup+1120.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16523
Raw data (stat): 16466 (Pueblo-v2) R 16465 7266 7265 0 -1 0 5475 0 0 0 111983 33 0 0 25 0 1 0 855007920 27922432 5315 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6817 5315 566 18 0 6799 0
vsize: 27268
[startup+1130.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16523
Raw data (stat): 16466 (Pueblo-v2) R 16465 7266 7265 0 -1 0 5475 0 0 0 112983 33 0 0 25 0 1 0 855007920 27922432 5315 4294967295 134512640 134581267 3221224576 3221223488 134527410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6817 5315 566 18 0 6799 0
vsize: 27268
[startup+1140.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16523
Raw data (stat): 16466 (Pueblo-v2) R 16465 7266 7265 0 -1 0 5475 0 0 0 113983 33 0 0 25 0 1 0 855007920 27922432 5315 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6817 5315 566 18 0 6799 0
vsize: 27268
[startup+1150.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16523
Raw data (stat): 16466 (Pueblo-v2) R 16465 7266 7265 0 -1 0 5475 0 0 0 114983 33 0 0 25 0 1 0 855007920 27922432 5315 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6817 5315 566 18 0 6799 0
vsize: 27268
[startup+1160.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16523
Raw data (stat): 16466 (Pueblo-v2) R 16465 7266 7265 0 -1 0 5475 0 0 0 115984 33 0 0 25 0 1 0 855007920 27922432 5315 4294967295 134512640 134581267 3221224576 3221223488 134527451 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6817 5315 566 18 0 6799 0
vsize: 27268
[startup+1170.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16523
Raw data (stat): 16466 (Pueblo-v2) R 16465 7266 7265 0 -1 0 5475 0 0 0 116984 33 0 0 25 0 1 0 855007920 27922432 5315 4294967295 134512640 134581267 3221224576 3221223488 134527451 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6817 5315 566 18 0 6799 0
vsize: 27268
[startup+1180.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16523
Raw data (stat): 16466 (Pueblo-v2) R 16465 7266 7265 0 -1 0 5475 0 0 0 117984 33 0 0 25 0 1 0 855007920 27922432 5315 4294967295 134512640 134581267 3221224576 3221223544 134527282 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6817 5315 566 18 0 6799 0
vsize: 27268
[startup+1190.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16523
Raw data (stat): 16466 (Pueblo-v2) R 16465 7266 7265 0 -1 0 5475 0 0 0 118984 33 0 0 25 0 1 0 855007920 27922432 5315 4294967295 134512640 134581267 3221224576 3221223472 134517900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6817 5315 566 18 0 6799 0
vsize: 27268
[startup+1200.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 16523
Raw data (stat): 16466 (Pueblo-v2) R 16465 7266 7265 0 -1 0 5475 0 0 0 119984 33 0 0 25 0 1 0 855007920 27922432 5315 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6817 5315 566 18 0 6799 0
vsize: 27268
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.03 s]
Raw data (loadavg): 1.00 1.00 0.95 1/54 16523
Raw data (stat): 16466 (Pueblo-v2) Z 16465 7266 7265 0 -1 1036 5475 0 0 0 119984 34 0 0 25 0 1 0 855007920 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.03
CPU time (s): 1200.19
CPU user time (s): 1199.85
CPU system time (s): 0.343947
CPU usage (%): 100.014
Max. virtual memory (Kb): 27836
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####