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/fctp/normalized-mps-v2-13-7-n370d.opb
MD5SUM	5482c063922cabc25678dee80f9b5125
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	105000
Biggest coefficient in the objective function	4194304
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	39256355821
Number of bits of the sum of numbers in the objective function	36
Biggest number in a constraint	4194304
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	39256355821
Number of bits of the biggest sum of numbers	36
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.965852
Number of variables	105000
Total number of constraints	5150
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	5150
Minimum length of a constraint	21
Maximum length of a constraint	2000
Trace number 39281

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-03 02:02:21 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27347 boxname=wulflinc4 idbench=1475 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  5482c063922cabc25678dee80f9b5125  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-n370d.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-n370d.opb
IDLAUNCH: 27347
/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:        580440 kB
Buffers:         31912 kB
Cached:         399320 kB
SwapCached:        568 kB
Active:          32016 kB
Inactive:       401364 kB
HighTotal:      131008 kB
HighFree:        75740 kB
LowTotal:       903652 kB
LowFree:        504700 kB
SwapTotal:     2097136 kB
SwapFree:      2095660 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5316 kB
Slab:            15084 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-03 02:22:24 (client local time) WITH STATUS 0 IN 1200.27 SECONDS
stats: 27347 7 1200.27 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.93 0.97 0.91 2/54 24652
Raw data (stat): 24652 (runsolver) R 24651 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 854663507 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.0008 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 24652
Raw data (stat): 24652 (Pueblo-v2) R 24651 21152 21151 0 -1 0 75495 0 0 0 846 152 0 0 25 0 1 0 854663507 57864192 12480 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14127 12490 566 18 0 14109 0
vsize: 56508
[startup+20.0016 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 24652
Raw data (stat): 24652 (Pueblo-v2) R 24651 21152 21151 0 -1 0 380766 0 0 0 1295 703 0 0 25 0 1 0 854663507 59351040 12871 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14490 12879 566 18 0 14472 0
vsize: 57960
[startup+30.0026 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 24652
Raw data (stat): 24652 (Pueblo-v2) R 24651 21152 21151 0 -1 0 559225 0 0 0 1969 1030 0 0 25 0 1 0 854663507 58826752 12831 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14362 12831 566 18 0 14344 0
vsize: 57448
[startup+40.0024 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 24652
Raw data (stat): 24652 (Pueblo-v2) R 24651 21152 21151 0 -1 0 559225 0 0 0 2969 1030 0 0 25 0 1 0 854663507 58826752 12831 4294967295 134512640 134581267 3221224576 3221223488 134527539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14362 12831 566 18 0 14344 0
vsize: 57448
[startup+50.0034 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 24652
Raw data (stat): 24652 (Pueblo-v2) R 24651 21152 21151 0 -1 0 559225 0 0 0 3969 1030 0 0 25 0 1 0 854663507 58826752 12831 4294967295 134512640 134581267 3221224576 3221223488 134527531 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14362 12831 566 18 0 14344 0
vsize: 57448
[startup+60.0033 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 24652
Raw data (stat): 24652 (Pueblo-v2) R 24651 21152 21151 0 -1 0 559225 0 0 0 4969 1030 0 0 25 0 1 0 854663507 58826752 12831 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14362 12831 566 18 0 14344 0
vsize: 57448
[startup+70.0042 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 24652
Raw data (stat): 24652 (Pueblo-v2) R 24651 21152 21151 0 -1 0 559225 0 0 0 5969 1030 0 0 25 0 1 0 854663507 58826752 12831 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14362 12831 566 18 0 14344 0
vsize: 57448
[startup+80.0051 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 24652
Raw data (stat): 24652 (Pueblo-v2) R 24651 21152 21151 0 -1 0 559225 0 0 0 6970 1030 0 0 25 0 1 0 854663507 58826752 12831 4294967295 134512640 134581267 3221224576 3221223488 134527451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14362 12831 566 18 0 14344 0
vsize: 57448
[startup+90.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 24652
Raw data (stat): 24652 (Pueblo-v2) R 24651 21152 21151 0 -1 0 559225 0 0 0 7970 1030 0 0 25 0 1 0 854663507 58826752 12831 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14362 12831 566 18 0 14344 0
vsize: 57448
[startup+100.006 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 24652
Raw data (stat): 24652 (Pueblo-v2) R 24651 21152 21151 0 -1 0 559225 0 0 0 8970 1030 0 0 25 0 1 0 854663507 58826752 12831 4294967295 134512640 134581267 3221224576 3221223488 134527636 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14362 12831 566 18 0 14344 0
vsize: 57448
[startup+110.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24652
Raw data (stat): 24652 (Pueblo-v2) R 24651 21152 21151 0 -1 0 559225 0 0 0 9970 1030 0 0 25 0 1 0 854663507 58826752 12831 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14362 12831 566 18 0 14344 0
vsize: 57448
[startup+120.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24652
Raw data (stat): 24652 (Pueblo-v2) R 24651 21152 21151 0 -1 0 559225 0 0 0 10970 1030 0 0 25 0 1 0 854663507 58826752 12831 4294967295 134512640 134581267 3221224576 3221223488 134528047 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14362 12831 566 18 0 14344 0
vsize: 57448
[startup+130.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24652
Raw data (stat): 24652 (Pueblo-v2) R 24651 21152 21151 0 -1 0 559225 0 0 0 11971 1030 0 0 25 0 1 0 854663507 58826752 12831 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14362 12831 566 18 0 14344 0
vsize: 57448
[startup+140.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24652
Raw data (stat): 24652 (Pueblo-v2) R 24651 21152 21151 0 -1 0 559225 0 0 0 12971 1030 0 0 25 0 1 0 854663507 58826752 12831 4294967295 134512640 134581267 3221224576 3221223488 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14362 12831 566 18 0 14344 0
vsize: 57448
[startup+150.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24652
Raw data (stat): 24652 (Pueblo-v2) R 24651 21152 21151 0 -1 0 559225 0 0 0 13971 1030 0 0 25 0 1 0 854663507 58826752 12831 4294967295 134512640 134581267 3221224576 3221223488 134527459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14362 12831 566 18 0 14344 0
vsize: 57448
[startup+160.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24652
Raw data (stat): 24652 (Pueblo-v2) R 24651 21152 21151 0 -1 0 559225 0 0 0 14971 1030 0 0 25 0 1 0 854663507 58826752 12831 4294967295 134512640 134581267 3221224576 3221223488 134528047 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14362 12831 566 18 0 14344 0
vsize: 57448
[startup+170.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24652
Raw data (stat): 24652 (Pueblo-v2) R 24651 21152 21151 0 -1 0 559225 0 0 0 15971 1030 0 0 25 0 1 0 854663507 58826752 12831 4294967295 134512640 134581267 3221224576 3221223520 134559190 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14362 12831 566 18 0 14344 0
vsize: 57448
[startup+180.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24654
Raw data (stat): 24652 (Pueblo-v2) R 24651 21152 21151 0 -1 0 559225 0 0 0 16972 1030 0 0 25 0 1 0 854663507 58826752 12831 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14362 12831 566 18 0 14344 0
vsize: 57448
[startup+190.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24654
Raw data (stat): 24652 (Pueblo-v2) R 24651 21152 21151 0 -1 0 559225 0 0 0 17972 1030 0 0 25 0 1 0 854663507 58826752 12831 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14362 12831 566 18 0 14344 0
vsize: 57448
[startup+200.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24654
Raw data (stat): 24652 (Pueblo-v2) R 24651 21152 21151 0 -1 0 559225 0 0 0 18972 1030 0 0 25 0 1 0 854663507 58826752 12831 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14362 12831 566 18 0 14344 0
vsize: 57448
[startup+210.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24654
Raw data (stat): 24652 (Pueblo-v2) R 24651 21152 21151 0 -1 0 559225 0 0 0 19972 1030 0 0 25 0 1 0 854663507 58826752 12831 4294967295 134512640 134581267 3221224576 3221223488 134527695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14362 12831 566 18 0 14344 0
vsize: 57448
[startup+220.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24654
Raw data (stat): 24652 (Pueblo-v2) R 24651 21152 21151 0 -1 0 559225 0 0 0 20972 1030 0 0 25 0 1 0 854663507 58826752 12831 4294967295 134512640 134581267 3221224576 3221223488 134527729 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14362 12831 566 18 0 14344 0
vsize: 57448
[startup+230.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24654
Raw data (stat): 24652 (Pueblo-v2) R 24651 21152 21151 0 -1 0 559225 0 0 0 21973 1030 0 0 25 0 1 0 854663507 58826752 12831 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14362 12831 566 18 0 14344 0
vsize: 57448
[startup+240.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24654
Raw data (stat): 24652 (Pueblo-v2) R 24651 21152 21151 0 -1 0 559225 0 0 0 22973 1030 0 0 25 0 1 0 854663507 58826752 12831 4294967295 134512640 134581267 3221224576 3221223488 134527774 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14362 12831 566 18 0 14344 0
vsize: 57448
[startup+250.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24654
Raw data (stat): 24652 (Pueblo-v2) R 24651 21152 21151 0 -1 0 559225 0 0 0 23973 1030 0 0 25 0 1 0 854663507 58826752 12831 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14362 12831 566 18 0 14344 0
vsize: 57448
[startup+260.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24654
Raw data (stat): 24652 (Pueblo-v2) R 24651 21152 21151 0 -1 0 559225 0 0 0 24973 1031 0 0 25 0 1 0 854663507 58826752 12831 4294967295 134512640 134581267 3221224576 3221223488 134527459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14362 12831 566 18 0 14344 0
vsize: 57448
[startup+270.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24654
Raw data (stat): 24652 (Pueblo-v2) R 24651 21152 21151 0 -1 0 559225 0 0 0 25973 1031 0 0 25 0 1 0 854663507 58826752 12831 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14362 12831 566 18 0 14344 0
vsize: 57448
[startup+280.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24654
Raw data (stat): 24652 (Pueblo-v2) R 24651 21152 21151 0 -1 0 559225 0 0 0 26973 1031 0 0 25 0 1 0 854663507 58826752 12831 4294967295 134512640 134581267 3221224576 3221223488 134527537 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14362 12831 566 18 0 14344 0
vsize: 57448
[startup+290.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24654
Raw data (stat): 24652 (Pueblo-v2) R 24651 21152 21151 0 -1 0 559225 0 0 0 27974 1031 0 0 25 0 1 0 854663507 58826752 12831 4294967295 134512640 134581267 3221224576 3221223488 134527423 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14362 12831 566 18 0 14344 0
vsize: 57448
[startup+300.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24654
Raw data (stat): 24652 (Pueblo-v2) R 24651 21152 21151 0 -1 0 559225 0 0 0 28974 1031 0 0 25 0 1 0 854663507 58826752 12831 4294967295 134512640 134581267 3221224576 3221223488 134527701 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14362 12831 566 18 0 14344 0
vsize: 57448
[startup+310.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24654
Raw data (stat): 24652 (Pueblo-v2) R 24651 21152 21151 0 -1 0 559225 0 0 0 29974 1031 0 0 25 0 1 0 854663507 58826752 12831 4294967295 134512640 134581267 3221224576 3221223488 134527459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14362 12831 566 18 0 14344 0
vsize: 57448
[startup+320.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24654
Raw data (stat): 24652 (Pueblo-v2) R 24651 21152 21151 0 -1 0 559225 0 0 0 30974 1031 0 0 25 0 1 0 854663507 58826752 12831 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14362 12831 566 18 0 14344 0
vsize: 57448
[startup+330.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24654
Raw data (stat): 24652 (Pueblo-v2) R 24651 21152 21151 0 -1 0 559225 0 0 0 31974 1031 0 0 25 0 1 0 854663507 58826752 12831 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14362 12831 566 18 0 14344 0
vsize: 57448
[startup+340.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24654
Raw data (stat): 24652 (Pueblo-v2) R 24651 21152 21151 0 -1 0 559225 0 0 0 32975 1031 0 0 25 0 1 0 854663507 58826752 12831 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14362 12831 566 18 0 14344 0
vsize: 57448
[startup+350.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24654
Raw data (stat): 24652 (Pueblo-v2) R 24651 21152 21151 0 -1 0 559225 0 0 0 33975 1031 0 0 25 0 1 0 854663507 58826752 12831 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14362 12831 566 18 0 14344 0
vsize: 57448
[startup+360.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24654
Raw data (stat): 24652 (Pueblo-v2) R 24651 21152 21151 0 -1 0 559225 0 0 0 34975 1031 0 0 25 0 1 0 854663507 58826752 12831 4294967295 134512640 134581267 3221224576 3221223488 134527525 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14362 12831 566 18 0 14344 0
vsize: 57448
[startup+370.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24654
Raw data (stat): 24652 (Pueblo-v2) R 24651 21152 21151 0 -1 0 559225 0 0 0 35975 1031 0 0 25 0 1 0 854663507 58826752 12831 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14362 12831 566 18 0 14344 0
vsize: 57448
[startup+380.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24654
Raw data (stat): 24652 (Pueblo-v2) R 24651 21152 21151 0 -1 0 559225 0 0 0 36975 1031 0 0 25 0 1 0 854663507 58826752 12831 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14362 12831 566 18 0 14344 0
vsize: 57448
[startup+390.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24654
Raw data (stat): 24652 (Pueblo-v2) R 24651 21152 21151 0 -1 0 559225 0 0 0 37976 1031 0 0 25 0 1 0 854663507 58826752 12831 4294967295 134512640 134581267 3221224576 3221223488 134527442 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14362 12831 566 18 0 14344 0
vsize: 57448
[startup+400.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24654
Raw data (stat): 24652 (Pueblo-v2) R 24651 21152 21151 0 -1 0 559225 0 0 0 38976 1031 0 0 25 0 1 0 854663507 58826752 12831 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14362 12831 566 18 0 14344 0
vsize: 57448
[startup+410.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24654
Raw data (stat): 24652 (Pueblo-v2) R 24651 21152 21151 0 -1 0 559225 0 0 0 39976 1031 0 0 25 0 1 0 854663507 58826752 12831 4294967295 134512640 134581267 3221224576 3221223488 134528040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14362 12831 566 18 0 14344 0
vsize: 57448
[startup+420.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24654
Raw data (stat): 24652 (Pueblo-v2) R 24651 21152 21151 0 -1 0 559254 0 0 0 40976 1031 0 0 25 0 1 0 854663507 58957824 12860 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14394 12860 566 18 0 14376 0
vsize: 57576
[startup+430.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24654
Raw data (stat): 24652 (Pueblo-v2) R 24651 21152 21151 0 -1 0 559289 0 0 0 41976 1031 0 0 25 0 1 0 854663507 59088896 12895 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14426 12895 566 18 0 14408 0
vsize: 57704
[startup+440.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24654
Raw data (stat): 24652 (Pueblo-v2) R 24651 21152 21151 0 -1 0 559378 0 0 0 42976 1031 0 0 25 0 1 0 854663507 59482112 12984 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14522 12984 566 18 0 14504 0
vsize: 58088
[startup+450.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24654
Raw data (stat): 24652 (Pueblo-v2) R 24651 21152 21151 0 -1 0 559478 0 0 0 43976 1032 0 0 25 0 1 0 854663507 59875328 13084 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14618 13084 566 18 0 14600 0
vsize: 58472
[startup+460.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24654
Raw data (stat): 24652 (Pueblo-v2) R 24651 21152 21151 0 -1 0 559558 0 0 0 44976 1032 0 0 25 0 1 0 854663507 60268544 13164 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14714 13164 566 18 0 14696 0
vsize: 58856
[startup+470.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24654
Raw data (stat): 24652 (Pueblo-v2) R 24651 21152 21151 0 -1 0 559628 0 0 0 45976 1033 0 0 25 0 1 0 854663507 60530688 13234 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14778 13234 566 18 0 14760 0
vsize: 59112
[startup+480.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24654
Raw data (stat): 24652 (Pueblo-v2) R 24651 21152 21151 0 -1 0 559671 0 0 0 46976 1033 0 0 25 0 1 0 854663507 60661760 13277 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14810 13277 566 18 0 14792 0
vsize: 59240
[startup+490.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24654
Raw data (stat): 24652 (Pueblo-v2) R 24651 21152 21151 0 -1 0 559748 0 0 0 47976 1033 0 0 25 0 1 0 854663507 60923904 13354 4294967295 134512640 134581267 3221224576 3221223488 134527642 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14874 13354 566 18 0 14856 0
vsize: 59496
[startup+500.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24654
Raw data (stat): 24652 (Pueblo-v2) R 24651 21152 21151 0 -1 0 559826 0 0 0 48975 1033 0 0 25 0 1 0 854663507 61317120 13432 4294967295 134512640 134581267 3221224576 3221223488 134527645 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14970 13432 566 18 0 14952 0
vsize: 59880
[startup+510.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24654
Raw data (stat): 24652 (Pueblo-v2) R 24651 21152 21151 0 -1 0 559871 0 0 0 49976 1033 0 0 25 0 1 0 854663507 61448192 13477 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15002 13477 566 18 0 14984 0
vsize: 60008
[startup+520.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24654
Raw data (stat): 24652 (Pueblo-v2) R 24651 21152 21151 0 -1 0 559938 0 0 0 50975 1034 0 0 25 0 1 0 854663507 61710336 13544 4294967295 134512640 134581267 3221224576 3221223488 134528053 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15066 13544 566 18 0 15048 0
vsize: 60264
[startup+530.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24654
Raw data (stat): 24652 (Pueblo-v2) R 24651 21152 21151 0 -1 0 560030 0 0 0 51975 1034 0 0 25 0 1 0 854663507 62103552 13636 4294967295 134512640 134581267 3221224576 3221223488 134527423 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15162 13636 566 18 0 15144 0
vsize: 60648
[startup+540.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24654
Raw data (stat): 24652 (Pueblo-v2) R 24651 21152 21151 0 -1 0 560100 0 0 0 52975 1034 0 0 25 0 1 0 854663507 62365696 13706 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15226 13706 566 18 0 15208 0
vsize: 60904
[startup+550.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24654
Raw data (stat): 24652 (Pueblo-v2) R 24651 21152 21151 0 -1 0 560168 0 0 0 53975 1034 0 0 25 0 1 0 854663507 62758912 13774 4294967295 134512640 134581267 3221224576 3221223488 134527692 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15322 13774 566 18 0 15304 0
vsize: 61288
[startup+560.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24654
Raw data (stat): 24652 (Pueblo-v2) R 24651 21152 21151 0 -1 0 560275 0 0 0 54975 1035 0 0 25 0 1 0 854663507 63152128 13881 4294967295 134512640 134581267 3221224576 3221223488 134527779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15418 13881 566 18 0 15400 0
vsize: 61672
[startup+570.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24654
Raw data (stat): 24652 (Pueblo-v2) R 24651 21152 21151 0 -1 0 560344 0 0 0 55975 1035 0 0 25 0 1 0 854663507 63414272 13950 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15482 13950 566 18 0 15464 0
vsize: 61928
[startup+580.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24654
Raw data (stat): 24652 (Pueblo-v2) R 24651 21152 21151 0 -1 0 560428 0 0 0 56974 1036 0 0 25 0 1 0 854663507 63807488 14034 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15578 14034 566 18 0 15560 0
vsize: 62312
[startup+590.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24654
Raw data (stat): 24652 (Pueblo-v2) R 24651 21152 21151 0 -1 0 560510 0 0 0 57974 1036 0 0 25 0 1 0 854663507 64069632 14116 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15642 14116 566 18 0 15624 0
vsize: 62568
[startup+600.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24654
Raw data (stat): 24652 (Pueblo-v2) R 24651 21152 21151 0 -1 0 560564 0 0 0 58974 1037 0 0 25 0 1 0 854663507 64331776 14170 4294967295 134512640 134581267 3221224576 3221223488 134527539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15706 14170 566 18 0 15688 0
vsize: 62824
[startup+610.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24654
Raw data (stat): 24652 (Pueblo-v2) R 24651 21152 21151 0 -1 0 560604 0 0 0 59974 1037 0 0 25 0 1 0 854663507 64462848 14210 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15738 14210 566 18 0 15720 0
vsize: 62952
[startup+620.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24654
Raw data (stat): 24652 (Pueblo-v2) R 24651 21152 21151 0 -1 0 560680 0 0 0 60974 1037 0 0 25 0 1 0 854663507 64856064 14286 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15834 14286 566 18 0 15816 0
vsize: 63336
[startup+630.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24654
Raw data (stat): 24652 (Pueblo-v2) R 24651 21152 21151 0 -1 0 560764 0 0 0 61974 1037 0 0 25 0 1 0 854663507 65114112 14370 4294967295 134512640 134581267 3221224576 3221223488 134527652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15897 14370 566 18 0 15879 0
vsize: 63588
[startup+640.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24654
Raw data (stat): 24652 (Pueblo-v2) R 24651 21152 21151 0 -1 0 560835 0 0 0 62974 1038 0 0 25 0 1 0 854663507 65507328 14441 4294967295 134512640 134581267 3221224576 3221223488 134527442 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15993 14441 566 18 0 15975 0
vsize: 63972
[startup+650.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24654
Raw data (stat): 24652 (Pueblo-v2) R 24651 21152 21151 0 -1 0 560910 0 0 0 63974 1038 0 0 25 0 1 0 854663507 65789952 14516 4294967295 134512640 134581267 3221224576 3221223488 134527695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16062 14516 566 18 0 16044 0
vsize: 64248
[startup+660.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24654
Raw data (stat): 24652 (Pueblo-v2) R 24651 21152 21151 0 -1 0 560991 0 0 0 64973 1039 0 0 25 0 1 0 854663507 66052096 14597 4294967295 134512640 134581267 3221224576 3221223488 134527537 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16126 14597 566 18 0 16108 0
vsize: 64504
[startup+670.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24654
Raw data (stat): 24652 (Pueblo-v2) R 24651 21152 21151 0 -1 0 561024 0 0 0 65974 1039 0 0 25 0 1 0 854663507 66314240 14630 4294967295 134512640 134581267 3221224576 3221223488 134527652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16190 14630 566 18 0 16172 0
vsize: 64760
[startup+680.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24654
Raw data (stat): 24652 (Pueblo-v2) R 24651 21152 21151 0 -1 0 561065 0 0 0 66974 1039 0 0 25 0 1 0 854663507 66445312 14671 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16222 14671 566 18 0 16204 0
vsize: 64888
[startup+690.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24654
Raw data (stat): 24652 (Pueblo-v2) R 24651 21152 21151 0 -1 0 561129 0 0 0 67974 1039 0 0 25 0 1 0 854663507 66707456 14735 4294967295 134512640 134581267 3221224576 3221223488 134527451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16286 14735 566 18 0 16268 0
vsize: 65144
[startup+700.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24654
Raw data (stat): 24652 (Pueblo-v2) R 24651 21152 21151 0 -1 0 561176 0 0 0 68974 1039 0 0 25 0 1 0 854663507 66838528 14782 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16318 14782 566 18 0 16300 0
vsize: 65272
[startup+710.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24654
Raw data (stat): 24652 (Pueblo-v2) R 24651 21152 21151 0 -1 0 561204 0 0 0 69974 1039 0 0 25 0 1 0 854663507 66969600 14810 4294967295 134512640 134581267 3221224576 3221223488 134527513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16350 14810 566 18 0 16332 0
vsize: 65400
[startup+720.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24654
Raw data (stat): 24652 (Pueblo-v2) R 24651 21152 21151 0 -1 0 561247 0 0 0 70974 1040 0 0 25 0 1 0 854663507 67100672 14853 4294967295 134512640 134581267 3221224576 3221223488 134527695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16382 14853 566 18 0 16364 0
vsize: 65528
[startup+730.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24654
Raw data (stat): 24652 (Pueblo-v2) R 24651 21152 21151 0 -1 0 561273 0 0 0 71974 1040 0 0 25 0 1 0 854663507 67231744 14879 4294967295 134512640 134581267 3221224576 3221223488 134527768 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16414 14879 566 18 0 16396 0
vsize: 65656
[startup+740.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24654
Raw data (stat): 24652 (Pueblo-v2) R 24651 21152 21151 0 -1 0 561296 0 0 0 72974 1040 0 0 25 0 1 0 854663507 67362816 14902 4294967295 134512640 134581267 3221224576 3221223556 134560749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16446 14902 566 18 0 16428 0
vsize: 65784
[startup+750.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24654
Raw data (stat): 24652 (Pueblo-v2) R 24651 21152 21151 0 -1 0 561331 0 0 0 73974 1040 0 0 25 0 1 0 854663507 67493888 14937 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16478 14937 566 18 0 16460 0
vsize: 65912
[startup+760.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24654
Raw data (stat): 24652 (Pueblo-v2) R 24651 21152 21151 0 -1 0 561361 0 0 0 74974 1040 0 0 25 0 1 0 854663507 67624960 14967 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16510 14967 566 18 0 16492 0
vsize: 66040
[startup+770.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24654
Raw data (stat): 24652 (Pueblo-v2) R 24651 21152 21151 0 -1 0 561405 0 0 0 75974 1040 0 0 25 0 1 0 854663507 67756032 15011 4294967295 134512640 134581267 3221224576 3221223488 134527459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16542 15011 566 18 0 16524 0
vsize: 66168
[startup+780.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24654
Raw data (stat): 24652 (Pueblo-v2) R 24651 21152 21151 0 -1 0 561454 0 0 0 76974 1040 0 0 25 0 1 0 854663507 68014080 15060 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16605 15060 566 18 0 16587 0
vsize: 66420
[startup+790.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24654
Raw data (stat): 24652 (Pueblo-v2) R 24651 21152 21151 0 -1 0 561499 0 0 0 77974 1040 0 0 25 0 1 0 854663507 68145152 15105 4294967295 134512640 134581267 3221224576 3221223488 134527429 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16637 15105 566 18 0 16619 0
vsize: 66548
[startup+800.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24654
Raw data (stat): 24652 (Pueblo-v2) R 24651 21152 21151 0 -1 0 561548 0 0 0 78974 1040 0 0 25 0 1 0 854663507 68407296 15154 4294967295 134512640 134581267 3221224576 3221223488 134527779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16701 15154 566 18 0 16683 0
vsize: 66804
[startup+810.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24654
Raw data (stat): 24652 (Pueblo-v2) R 24651 21152 21151 0 -1 0 561608 0 0 0 79974 1041 0 0 25 0 1 0 854663507 68669440 15214 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16765 15214 566 18 0 16747 0
vsize: 67060
[startup+820.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24654
Raw data (stat): 24652 (Pueblo-v2) R 24651 21152 21151 0 -1 0 561670 0 0 0 80974 1041 0 0 25 0 1 0 854663507 68947968 15276 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16833 15276 566 18 0 16815 0
vsize: 67332
[startup+830.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24654
Raw data (stat): 24652 (Pueblo-v2) R 24651 21152 21151 0 -1 0 561721 0 0 0 81975 1041 0 0 25 0 1 0 854663507 69079040 15327 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16865 15327 566 18 0 16847 0
vsize: 67460
[startup+840.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24654
Raw data (stat): 24652 (Pueblo-v2) R 24651 21152 21151 0 -1 0 561791 0 0 0 82975 1041 0 0 25 0 1 0 854663507 69341184 15397 4294967295 134512640 134581267 3221224576 3221223520 134559230 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16929 15397 566 18 0 16911 0
vsize: 67716
[startup+850.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24654
Raw data (stat): 24652 (Pueblo-v2) R 24651 21152 21151 0 -1 0 561847 0 0 0 83975 1041 0 0 25 0 1 0 854663507 69603328 15453 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16993 15453 566 18 0 16975 0
vsize: 67972
[startup+860.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24654
Raw data (stat): 24652 (Pueblo-v2) R 24651 21152 21151 0 -1 0 561893 0 0 0 84975 1041 0 0 25 0 1 0 854663507 69865472 15499 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17057 15499 566 18 0 17039 0
vsize: 68228
[startup+870.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24654
Raw data (stat): 24652 (Pueblo-v2) R 24651 21152 21151 0 -1 0 561944 0 0 0 85975 1041 0 0 25 0 1 0 854663507 69996544 15550 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17089 15550 566 18 0 17071 0
vsize: 68356
[startup+880.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24654
Raw data (stat): 24652 (Pueblo-v2) R 24651 21152 21151 0 -1 0 561990 0 0 0 86975 1042 0 0 25 0 1 0 854663507 70254592 15596 4294967295 134512640 134581267 3221224576 3221223396 1075289770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17152 15596 566 18 0 17134 0
vsize: 68608
[startup+890.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24654
Raw data (stat): 24652 (Pueblo-v2) R 24651 21152 21151 0 -1 0 562038 0 0 0 87975 1042 0 0 25 0 1 0 854663507 70385664 15644 4294967295 134512640 134581267 3221224576 3221223488 134527639 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17184 15644 566 18 0 17166 0
vsize: 68736
[startup+900.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24654
Raw data (stat): 24652 (Pueblo-v2) R 24651 21152 21151 0 -1 0 562086 0 0 0 88975 1042 0 0 25 0 1 0 854663507 70647808 15692 4294967295 134512640 134581267 3221224576 3221223488 134527442 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17248 15692 566 18 0 17230 0
vsize: 68992
[startup+910.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24654
Raw data (stat): 24652 (Pueblo-v2) R 24651 21152 21151 0 -1 0 562139 0 0 0 89975 1042 0 0 25 0 1 0 854663507 70774784 15745 4294967295 134512640 134581267 3221224576 3221223488 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17279 15745 566 18 0 17261 0
vsize: 69116
[startup+920.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24654
Raw data (stat): 24652 (Pueblo-v2) R 24651 21152 21151 0 -1 0 562181 0 0 0 90975 1043 0 0 25 0 1 0 854663507 71032832 15787 4294967295 134512640 134581267 3221224576 3221223520 134559230 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17342 15787 566 18 0 17324 0
vsize: 69368
[startup+930.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24654
Raw data (stat): 24652 (Pueblo-v2) R 24651 21152 21151 0 -1 0 562261 0 0 0 91975 1043 0 0 25 0 1 0 854663507 71294976 15867 4294967295 134512640 134581267 3221224576 3221223488 134527537 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17406 15867 566 18 0 17388 0
vsize: 69624
[startup+940.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24654
Raw data (stat): 24652 (Pueblo-v2) R 24651 21152 21151 0 -1 0 562320 0 0 0 92975 1043 0 0 25 0 1 0 854663507 71557120 15926 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17470 15926 566 18 0 17452 0
vsize: 69880
[startup+950.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24654
Raw data (stat): 24652 (Pueblo-v2) R 24651 21152 21151 0 -1 0 562433 0 0 0 93975 1043 0 0 25 0 1 0 854663507 71950336 16039 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17566 16039 566 18 0 17548 0
vsize: 70264
[startup+960.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24654
Raw data (stat): 24652 (Pueblo-v2) R 24651 21152 21151 0 -1 0 562522 0 0 0 94974 1044 0 0 25 0 1 0 854663507 72343552 16128 4294967295 134512640 134581267 3221224576 3221223504 134519958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17662 16128 566 18 0 17644 0
vsize: 70648
[startup+970.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24654
Raw data (stat): 24652 (Pueblo-v2) R 24651 21152 21151 0 -1 0 562591 0 0 0 95975 1044 0 0 25 0 1 0 854663507 72605696 16197 4294967295 134512640 134581267 3221224576 3221223568 134560606 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17726 16197 566 18 0 17708 0
vsize: 70904
[startup+980.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24654
Raw data (stat): 24652 (Pueblo-v2) R 24651 21152 21151 0 -1 0 562630 0 0 0 96974 1044 0 0 25 0 1 0 854663507 72867840 16236 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17790 16236 566 18 0 17772 0
vsize: 71160
[startup+990.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24654
Raw data (stat): 24652 (Pueblo-v2) R 24651 21152 21151 0 -1 0 562687 0 0 0 97974 1044 0 0 25 0 1 0 854663507 72998912 16293 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17822 16293 566 18 0 17804 0
vsize: 71288
[startup+1000.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24654
Raw data (stat): 24652 (Pueblo-v2) R 24651 21152 21151 0 -1 0 562722 0 0 0 98975 1044 0 0 25 0 1 0 854663507 73129984 16328 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17854 16328 566 18 0 17836 0
vsize: 71416
[startup+1010.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24654
Raw data (stat): 24652 (Pueblo-v2) R 24651 21152 21151 0 -1 0 562754 0 0 0 99975 1045 0 0 25 0 1 0 854663507 73261056 16360 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17886 16360 566 18 0 17868 0
vsize: 71544
[startup+1020.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24654
Raw data (stat): 24652 (Pueblo-v2) R 24651 21152 21151 0 -1 0 562808 0 0 0 100975 1045 0 0 25 0 1 0 854663507 73523200 16414 4294967295 134512640 134581267 3221224576 3221223212 1075289077 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17950 16414 566 18 0 17932 0
vsize: 71800
[startup+1030.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24654
Raw data (stat): 24652 (Pueblo-v2) R 24651 21152 21151 0 -1 0 562863 0 0 0 101975 1045 0 0 25 0 1 0 854663507 73785344 16469 4294967295 134512640 134581267 3221224576 3221223488 134527531 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18014 16469 566 18 0 17996 0
vsize: 72056
[startup+1040.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24654
Raw data (stat): 24652 (Pueblo-v2) R 24651 21152 21151 0 -1 0 562917 0 0 0 102975 1045 0 0 25 0 1 0 854663507 74047488 16523 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18078 16523 566 18 0 18060 0
vsize: 72312
[startup+1050.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24654
Raw data (stat): 24652 (Pueblo-v2) R 24651 21152 21151 0 -1 0 562968 0 0 0 103975 1045 0 0 25 0 1 0 854663507 74178560 16574 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18110 16574 566 18 0 18092 0
vsize: 72440
[startup+1060.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24654
Raw data (stat): 24652 (Pueblo-v2) R 24651 21152 21151 0 -1 0 563003 0 0 0 104975 1046 0 0 25 0 1 0 854663507 74309632 16609 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18142 16609 566 18 0 18124 0
vsize: 72568
[startup+1070.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24654
Raw data (stat): 24652 (Pueblo-v2) R 24651 21152 21151 0 -1 0 563037 0 0 0 105975 1046 0 0 25 0 1 0 854663507 74440704 16643 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18174 16643 566 18 0 18156 0
vsize: 72696
[startup+1080.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24654
Raw data (stat): 24652 (Pueblo-v2) R 24651 21152 21151 0 -1 0 563071 0 0 0 106975 1046 0 0 25 0 1 0 854663507 74571776 16677 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18206 16677 566 18 0 18188 0
vsize: 72824
[startup+1090.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24654
Raw data (stat): 24652 (Pueblo-v2) R 24651 21152 21151 0 -1 0 563102 0 0 0 107975 1046 0 0 25 0 1 0 854663507 74702848 16708 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18238 16708 566 18 0 18220 0
vsize: 72952
[startup+1100.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24654
Raw data (stat): 24652 (Pueblo-v2) R 24651 21152 21151 0 -1 0 563124 0 0 0 108975 1046 0 0 25 0 1 0 854663507 74833920 16730 4294967295 134512640 134581267 3221224576 3221223488 134527774 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18270 16730 566 18 0 18252 0
vsize: 73080
[startup+1110.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24654
Raw data (stat): 24652 (Pueblo-v2) R 24651 21152 21151 0 -1 0 563156 0 0 0 109976 1046 0 0 25 0 1 0 854663507 74964992 16762 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18302 16762 566 18 0 18284 0
vsize: 73208
[startup+1120.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24654
Raw data (stat): 24652 (Pueblo-v2) R 24651 21152 21151 0 -1 0 563194 0 0 0 110976 1046 0 0 25 0 1 0 854663507 75096064 16800 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18334 16800 566 18 0 18316 0
vsize: 73336
[startup+1130.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24654
Raw data (stat): 24652 (Pueblo-v2) R 24651 21152 21151 0 -1 0 563232 0 0 0 111976 1046 0 0 25 0 1 0 854663507 75227136 16838 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18366 16838 566 18 0 18348 0
vsize: 73464
[startup+1140.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24654
Raw data (stat): 24652 (Pueblo-v2) R 24651 21152 21151 0 -1 0 563281 0 0 0 112976 1046 0 0 25 0 1 0 854663507 75489280 16887 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18430 16887 566 18 0 18412 0
vsize: 73720
[startup+1150.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24654
Raw data (stat): 24652 (Pueblo-v2) R 24651 21152 21151 0 -1 0 563308 0 0 0 113976 1047 0 0 25 0 1 0 854663507 75620352 16914 4294967295 134512640 134581267 3221224576 3221223488 134527423 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18462 16914 566 18 0 18444 0
vsize: 73848
[startup+1160.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24654
Raw data (stat): 24652 (Pueblo-v2) R 24651 21152 21151 0 -1 0 563334 0 0 0 114976 1047 0 0 25 0 1 0 854663507 75751424 16940 4294967295 134512640 134581267 3221224576 3221223488 134527652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18494 16940 566 18 0 18476 0
vsize: 73976
[startup+1170.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24654
Raw data (stat): 24652 (Pueblo-v2) R 24651 21152 21151 0 -1 0 563370 0 0 0 115976 1047 0 0 25 0 1 0 854663507 75882496 16976 4294967295 134512640 134581267 3221224576 3221223488 134528053 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18526 16976 566 18 0 18508 0
vsize: 74104
[startup+1180.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24654
Raw data (stat): 24652 (Pueblo-v2) R 24651 21152 21151 0 -1 0 563400 0 0 0 116976 1047 0 0 25 0 1 0 854663507 76013568 17006 4294967295 134512640 134581267 3221224576 3221223488 134527652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18558 17006 566 18 0 18540 0
vsize: 74232
[startup+1190.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24654
Raw data (stat): 24652 (Pueblo-v2) R 24651 21152 21151 0 -1 0 563428 0 0 0 117975 1048 0 0 25 0 1 0 854663507 76013568 17034 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18558 17034 566 18 0 18540 0
vsize: 74232
[startup+1200.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24654
Raw data (stat): 24652 (Pueblo-v2) R 24651 21152 21151 0 -1 0 563484 0 0 0 118976 1048 0 0 25 0 1 0 854663507 76275712 17090 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18622 17090 566 18 0 18604 0
vsize: 74488
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.1 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 24654
Raw data (stat): 24652 (Pueblo-v2) Z 24651 21152 21151 0 -1 1036 563484 0 0 0 118976 1051 0 0 25 0 1 0 854663507 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.1
CPU time (s): 1200.27
CPU user time (s): 1189.76
CPU system time (s): 10.5134
CPU usage (%): 100.015
Max. virtual memory (Kb): 74488
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####