PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-l152lav.opb
MD5SUM	00855a9538cee8df79108d56ee6867b4
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	5046
Optimality of the best value was proved	NO
Number of terms in the objective function	1989
Biggest coefficient in the objective function	268
Number of bits for the biggest coefficient in the objective function	9
Sum of the numbers in the objective function	382524
Number of bits of the sum of numbers in the objective function	19
Biggest number in a constraint	268
Number of bits of the biggest number in a constraint	9
Biggest sum of numbers in a constraint	382524
Number of bits of the biggest sum of numbers	19
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1176.34
Number of variables	1989
Total number of constraints	2086
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	2085
Number of constraints which are nor clauses,nor cardinality constraints	1
Minimum length of a constraint	1
Maximum length of a constraint	1989
Trace number 39111

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-02 20:41:14 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27172 boxname=wulflinc2 idbench=1300 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  00855a9538cee8df79108d56ee6867b4  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-l152lav.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-l152lav.opb
IDLAUNCH: 27172
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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.191
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:        448568 kB
Buffers:         28608 kB
Cached:         535040 kB
SwapCached:       1160 kB
Active:          38028 kB
Inactive:       528072 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        448316 kB
SwapTotal:     2097136 kB
SwapFree:      2095024 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5056 kB
Slab:            14396 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 21:01:16 (client local time) WITH STATUS 0 IN 1200.22 SECONDS
stats: 27172 7 1200.22 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.96 0.96 0.91 2/54 32037
Raw data (stat): 32037 (runsolver) R 32036 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 852749046 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0001 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 32037
Raw data (stat): 32037 (Pueblo-v2) R 32036 31399 31398 0 -1 0 1427 0 0 0 996 2 0 0 25 0 1 0 852749046 11395072 1401 4294967295 134512640 134581267 3221224576 3221223520 134558798 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2782 1401 566 18 0 2764 0
vsize: 11128
[startup+19.9997 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 32037
Raw data (stat): 32037 (Pueblo-v2) R 32036 31399 31398 0 -1 0 1716 0 0 0 1996 3 0 0 25 0 1 0 852749046 12570624 1690 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3069 1690 566 18 0 3051 0
vsize: 12276
[startup+30.0007 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 32037
Raw data (stat): 32037 (Pueblo-v2) R 32036 31399 31398 0 -1 0 2300 0 0 0 2995 4 0 0 25 0 1 0 852749046 15028224 2274 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3669 2274 566 18 0 3651 0
vsize: 14676
[startup+40.0001 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 32037
Raw data (stat): 32037 (Pueblo-v2) R 32036 31399 31398 0 -1 0 2617 0 0 0 3995 4 0 0 25 0 1 0 852749046 16310272 2591 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3982 2591 566 18 0 3964 0
vsize: 15928
[startup+49.9998 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 32037
Raw data (stat): 32037 (Pueblo-v2) R 32036 31399 31398 0 -1 0 2816 0 0 0 4994 5 0 0 25 0 1 0 852749046 17076224 2790 4294967295 134512640 134581267 3221224576 3221223504 134519952 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4169 2790 566 18 0 4151 0
vsize: 16676
[startup+60.0001 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 32037
Raw data (stat): 32037 (Pueblo-v2) R 32036 31399 31398 0 -1 0 2816 0 0 0 5994 5 0 0 25 0 1 0 852749046 16896000 2749 4294967295 134512640 134581267 3221224576 3221223472 134517897 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4125 2749 566 18 0 4107 0
vsize: 16500
[startup+70.0002 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 32037
Raw data (stat): 32037 (Pueblo-v2) R 32036 31399 31398 0 -1 0 2816 0 0 0 6994 5 0 0 25 0 1 0 852749046 16891904 2748 4294967295 134512640 134581267 3221224576 3221223488 134527504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4124 2748 566 18 0 4106 0
vsize: 16496
[startup+80.0009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32037
Raw data (stat): 32037 (Pueblo-v2) R 32036 31399 31398 0 -1 0 2816 0 0 0 7995 5 0 0 25 0 1 0 852749046 16891904 2748 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4124 2748 566 18 0 4106 0
vsize: 16496
[startup+90.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32037
Raw data (stat): 32037 (Pueblo-v2) R 32036 31399 31398 0 -1 0 2889 0 0 0 8994 5 0 0 25 0 1 0 852749046 17293312 2821 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4222 2821 566 18 0 4204 0
vsize: 16888
[startup+100 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32037
Raw data (stat): 32037 (Pueblo-v2) R 32036 31399 31398 0 -1 0 3014 0 0 0 9994 6 0 0 25 0 1 0 852749046 17805312 2946 4294967295 134512640 134581267 3221224576 3221223488 134531368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4347 2946 566 18 0 4329 0
vsize: 17388
[startup+110.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32037
Raw data (stat): 32037 (Pueblo-v2) R 32036 31399 31398 0 -1 0 3014 0 0 0 10994 6 0 0 25 0 1 0 852749046 17805312 2946 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4347 2946 566 18 0 4329 0
vsize: 17388
[startup+120.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32037
Raw data (stat): 32037 (Pueblo-v2) R 32036 31399 31398 0 -1 0 3146 0 0 0 11994 6 0 0 25 0 1 0 852749046 18309120 3078 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4470 3078 566 18 0 4452 0
vsize: 17880
[startup+130.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32037
Raw data (stat): 32037 (Pueblo-v2) R 32036 31399 31398 0 -1 0 3616 0 0 0 12992 8 0 0 25 0 1 0 852749046 20176896 3548 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4926 3548 566 18 0 4908 0
vsize: 19704
[startup+140.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32037
Raw data (stat): 32037 (Pueblo-v2) R 32036 31399 31398 0 -1 0 3616 0 0 0 13993 8 0 0 25 0 1 0 852749046 20164608 3547 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4923 3547 566 18 0 4905 0
vsize: 19692
[startup+150.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32037
Raw data (stat): 32037 (Pueblo-v2) R 32036 31399 31398 0 -1 0 3616 0 0 0 14993 8 0 0 25 0 1 0 852749046 20164608 3547 4294967295 134512640 134581267 3221224576 3221223440 134528304 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4923 3547 566 18 0 4905 0
vsize: 19692
[startup+160.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32037
Raw data (stat): 32037 (Pueblo-v2) R 32036 31399 31398 0 -1 0 3616 0 0 0 15993 8 0 0 25 0 1 0 852749046 20164608 3547 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4923 3547 566 18 0 4905 0
vsize: 19692
[startup+170.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32037
Raw data (stat): 32037 (Pueblo-v2) R 32036 31399 31398 0 -1 0 3616 0 0 0 16993 8 0 0 25 0 1 0 852749046 20164608 3547 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4923 3547 566 18 0 4905 0
vsize: 19692
[startup+180.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32037
Raw data (stat): 32037 (Pueblo-v2) R 32036 31399 31398 0 -1 0 3616 0 0 0 17993 8 0 0 25 0 1 0 852749046 20164608 3547 4294967295 134512640 134581267 3221224576 3221223440 134528226 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4923 3547 566 18 0 4905 0
vsize: 19692
[startup+190.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32037
Raw data (stat): 32037 (Pueblo-v2) R 32036 31399 31398 0 -1 0 3616 0 0 0 18993 8 0 0 25 0 1 0 852749046 20148224 3543 4294967295 134512640 134581267 3221224576 3221223440 134528243 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4919 3543 566 18 0 4901 0
vsize: 19676
[startup+200.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32037
Raw data (stat): 32037 (Pueblo-v2) R 32036 31399 31398 0 -1 0 3616 0 0 0 19993 8 0 0 25 0 1 0 852749046 20148224 3543 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4919 3543 566 18 0 4901 0
vsize: 19676
[startup+210.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32037
Raw data (stat): 32037 (Pueblo-v2) R 32036 31399 31398 0 -1 0 3616 0 0 0 20994 8 0 0 25 0 1 0 852749046 20148224 3543 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4919 3543 566 18 0 4901 0
vsize: 19676
[startup+220.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32037
Raw data (stat): 32037 (Pueblo-v2) R 32036 31399 31398 0 -1 0 3616 0 0 0 21994 8 0 0 25 0 1 0 852749046 20148224 3543 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4919 3543 566 18 0 4901 0
vsize: 19676
[startup+230.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32037
Raw data (stat): 32037 (Pueblo-v2) R 32036 31399 31398 0 -1 0 3616 0 0 0 22994 8 0 0 25 0 1 0 852749046 20148224 3543 4294967295 134512640 134581267 3221224576 3221223472 134517900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4919 3543 566 18 0 4901 0
vsize: 19676
[startup+240.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32037
Raw data (stat): 32037 (Pueblo-v2) R 32036 31399 31398 0 -1 0 3616 0 0 0 23994 8 0 0 25 0 1 0 852749046 20148224 3543 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4919 3543 566 18 0 4901 0
vsize: 19676
[startup+250.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32037
Raw data (stat): 32037 (Pueblo-v2) R 32036 31399 31398 0 -1 0 3730 0 0 0 24994 9 0 0 25 0 1 0 852749046 20647936 3657 4294967295 134512640 134581267 3221224576 3221223456 134520297 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5041 3657 566 18 0 5023 0
vsize: 20164
[startup+260.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32037
Raw data (stat): 32037 (Pueblo-v2) R 32036 31399 31398 0 -1 0 4396 0 0 0 25993 10 0 0 25 0 1 0 852749046 23396352 4323 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5712 4323 566 18 0 5694 0
vsize: 22848
[startup+270.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32037
Raw data (stat): 32037 (Pueblo-v2) R 32036 31399 31398 0 -1 0 4396 0 0 0 26993 10 0 0 25 0 1 0 852749046 23273472 4306 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5682 4306 566 18 0 5664 0
vsize: 22728
[startup+280.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32037
Raw data (stat): 32037 (Pueblo-v2) R 32036 31399 31398 0 -1 0 4396 0 0 0 27993 10 0 0 25 0 1 0 852749046 22798336 4190 4294967295 134512640 134581267 3221224576 3221223504 134519958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5566 4190 566 18 0 5548 0
vsize: 22264
[startup+290.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32037
Raw data (stat): 32037 (Pueblo-v2) R 32036 31399 31398 0 -1 0 4396 0 0 0 28993 10 0 0 25 0 1 0 852749046 22798336 4190 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5566 4190 566 18 0 5548 0
vsize: 22264
[startup+300.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32037
Raw data (stat): 32037 (Pueblo-v2) R 32036 31399 31398 0 -1 0 4396 0 0 0 29993 10 0 0 25 0 1 0 852749046 22798336 4190 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5566 4190 566 18 0 5548 0
vsize: 22264
[startup+310.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32037
Raw data (stat): 32037 (Pueblo-v2) R 32036 31399 31398 0 -1 0 4396 0 0 0 30993 10 0 0 25 0 1 0 852749046 22798336 4190 4294967295 134512640 134581267 3221224576 3221223504 134519958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5566 4190 566 18 0 5548 0
vsize: 22264
[startup+320.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32037
Raw data (stat): 32037 (Pueblo-v2) R 32036 31399 31398 0 -1 0 4396 0 0 0 31994 10 0 0 25 0 1 0 852749046 22798336 4190 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5566 4190 566 18 0 5548 0
vsize: 22264
[startup+330.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32037
Raw data (stat): 32037 (Pueblo-v2) R 32036 31399 31398 0 -1 0 4396 0 0 0 32994 11 0 0 25 0 1 0 852749046 22798336 4190 4294967295 134512640 134581267 3221224576 3221223488 134527683 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5566 4190 566 18 0 5548 0
vsize: 22264
[startup+340.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32037
Raw data (stat): 32037 (Pueblo-v2) R 32036 31399 31398 0 -1 0 4396 0 0 0 33994 11 0 0 25 0 1 0 852749046 22798336 4190 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5566 4190 566 18 0 5548 0
vsize: 22264
[startup+350.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32037
Raw data (stat): 32037 (Pueblo-v2) R 32036 31399 31398 0 -1 0 4396 0 0 0 34994 11 0 0 25 0 1 0 852749046 22798336 4190 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5566 4190 566 18 0 5548 0
vsize: 22264
[startup+360.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32037
Raw data (stat): 32037 (Pueblo-v2) R 32036 31399 31398 0 -1 0 4396 0 0 0 35994 11 0 0 25 0 1 0 852749046 22798336 4190 4294967295 134512640 134581267 3221224576 3221223472 134517897 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5566 4190 566 18 0 5548 0
vsize: 22264
[startup+370.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32037
Raw data (stat): 32037 (Pueblo-v2) R 32036 31399 31398 0 -1 0 4396 0 0 0 36994 11 0 0 25 0 1 0 852749046 22798336 4190 4294967295 134512640 134581267 3221224576 3221223440 134528291 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5566 4190 566 18 0 5548 0
vsize: 22264
[startup+380.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32037
Raw data (stat): 32037 (Pueblo-v2) R 32036 31399 31398 0 -1 0 4396 0 0 0 37995 11 0 0 25 0 1 0 852749046 22798336 4190 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5566 4190 566 18 0 5548 0
vsize: 22264
[startup+390.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32037
Raw data (stat): 32037 (Pueblo-v2) R 32036 31399 31398 0 -1 0 4396 0 0 0 38995 11 0 0 25 0 1 0 852749046 22798336 4190 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5566 4190 566 18 0 5548 0
vsize: 22264
[startup+400 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32037
Raw data (stat): 32037 (Pueblo-v2) R 32036 31399 31398 0 -1 0 4396 0 0 0 39995 11 0 0 25 0 1 0 852749046 22798336 4190 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5566 4190 566 18 0 5548 0
vsize: 22264
[startup+410 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32037
Raw data (stat): 32037 (Pueblo-v2) R 32036 31399 31398 0 -1 0 4396 0 0 0 40995 11 0 0 25 0 1 0 852749046 22798336 4190 4294967295 134512640 134581267 3221224576 3221223440 134528238 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5566 4190 566 18 0 5548 0
vsize: 22264
[startup+420 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32037
Raw data (stat): 32037 (Pueblo-v2) R 32036 31399 31398 0 -1 0 4396 0 0 0 41995 11 0 0 25 0 1 0 852749046 22798336 4190 4294967295 134512640 134581267 3221224576 3221223504 134520084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5566 4190 566 18 0 5548 0
vsize: 22264
[startup+430 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32037
Raw data (stat): 32037 (Pueblo-v2) R 32036 31399 31398 0 -1 0 4396 0 0 0 42995 11 0 0 25 0 1 0 852749046 22798336 4190 4294967295 134512640 134581267 3221224576 3221223472 134517871 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5566 4190 566 18 0 5548 0
vsize: 22264
[startup+440 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32037
Raw data (stat): 32037 (Pueblo-v2) R 32036 31399 31398 0 -1 0 4396 0 0 0 43995 11 0 0 25 0 1 0 852749046 22798336 4190 4294967295 134512640 134581267 3221224576 3221223504 134519958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5566 4190 566 18 0 5548 0
vsize: 22264
[startup+450 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32037
Raw data (stat): 32037 (Pueblo-v2) R 32036 31399 31398 0 -1 0 4396 0 0 0 44996 11 0 0 25 0 1 0 852749046 22798336 4190 4294967295 134512640 134581267 3221224576 3221223504 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5566 4190 566 18 0 5548 0
vsize: 22264
[startup+460.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32037
Raw data (stat): 32037 (Pueblo-v2) R 32036 31399 31398 0 -1 0 4396 0 0 0 45996 11 0 0 25 0 1 0 852749046 22798336 4190 4294967295 134512640 134581267 3221224576 3221223472 134517902 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5566 4190 566 18 0 5548 0
vsize: 22264
[startup+470 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32037
Raw data (stat): 32037 (Pueblo-v2) R 32036 31399 31398 0 -1 0 4396 0 0 0 46996 11 0 0 25 0 1 0 852749046 22798336 4190 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5566 4190 566 18 0 5548 0
vsize: 22264
[startup+480.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32037
Raw data (stat): 32037 (Pueblo-v2) R 32036 31399 31398 0 -1 0 4396 0 0 0 47996 11 0 0 25 0 1 0 852749046 22798336 4190 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5566 4190 566 18 0 5548 0
vsize: 22264
[startup+490.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32037
Raw data (stat): 32037 (Pueblo-v2) R 32036 31399 31398 0 -1 0 4396 0 0 0 48996 11 0 0 25 0 1 0 852749046 22798336 4190 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5566 4190 566 18 0 5548 0
vsize: 22264
[startup+500 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32037
Raw data (stat): 32037 (Pueblo-v2) R 32036 31399 31398 0 -1 0 4396 0 0 0 49996 11 0 0 25 0 1 0 852749046 22798336 4190 4294967295 134512640 134581267 3221224576 3221223472 134517902 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5566 4190 566 18 0 5548 0
vsize: 22264
[startup+510 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32037
Raw data (stat): 32037 (Pueblo-v2) R 32036 31399 31398 0 -1 0 4396 0 0 0 50997 11 0 0 25 0 1 0 852749046 22798336 4190 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5566 4190 566 18 0 5548 0
vsize: 22264
[startup+520 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32037
Raw data (stat): 32037 (Pueblo-v2) R 32036 31399 31398 0 -1 0 4673 0 0 0 51996 12 0 0 25 0 1 0 852749046 23949312 4467 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5847 4467 566 18 0 5829 0
vsize: 23388
[startup+530 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32037
Raw data (stat): 32037 (Pueblo-v2) R 32036 31399 31398 0 -1 0 4944 0 0 0 52996 12 0 0 25 0 1 0 852749046 25116672 4738 4294967295 134512640 134581267 3221224576 3221223520 134559049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6132 4738 566 18 0 6114 0
vsize: 24528
[startup+540.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32037
Raw data (stat): 32037 (Pueblo-v2) R 32036 31399 31398 0 -1 0 4944 0 0 0 53996 12 0 0 25 0 1 0 852749046 25116672 4738 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6132 4738 566 18 0 6114 0
vsize: 24528
[startup+550 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32037
Raw data (stat): 32037 (Pueblo-v2) R 32036 31399 31398 0 -1 0 4944 0 0 0 54996 12 0 0 25 0 1 0 852749046 25116672 4738 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6132 4738 566 18 0 6114 0
vsize: 24528
[startup+560 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32037
Raw data (stat): 32037 (Pueblo-v2) R 32036 31399 31398 0 -1 0 4944 0 0 0 55996 12 0 0 25 0 1 0 852749046 25010176 4730 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6106 4730 566 18 0 6088 0
vsize: 24424
[startup+570 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32037
Raw data (stat): 32037 (Pueblo-v2) R 32036 31399 31398 0 -1 0 4944 0 0 0 56996 12 0 0 25 0 1 0 852749046 25010176 4730 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6106 4730 566 18 0 6088 0
vsize: 24424
[startup+580 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32037
Raw data (stat): 32037 (Pueblo-v2) R 32036 31399 31398 0 -1 0 4944 0 0 0 57996 13 0 0 25 0 1 0 852749046 25010176 4730 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6106 4730 566 18 0 6088 0
vsize: 24424
[startup+590 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32037
Raw data (stat): 32037 (Pueblo-v2) R 32036 31399 31398 0 -1 0 4944 0 0 0 58996 13 0 0 25 0 1 0 852749046 25010176 4730 4294967295 134512640 134581267 3221224576 3221223472 134517871 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6106 4730 566 18 0 6088 0
vsize: 24424
[startup+600 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32037
Raw data (stat): 32037 (Pueblo-v2) R 32036 31399 31398 0 -1 0 4944 0 0 0 59996 13 0 0 25 0 1 0 852749046 25010176 4730 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6106 4730 566 18 0 6088 0
vsize: 24424
[startup+610 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32037
Raw data (stat): 32037 (Pueblo-v2) R 32036 31399 31398 0 -1 0 4944 0 0 0 60996 13 0 0 25 0 1 0 852749046 25010176 4730 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6106 4730 566 18 0 6088 0
vsize: 24424
[startup+620 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32037
Raw data (stat): 32037 (Pueblo-v2) R 32036 31399 31398 0 -1 0 4944 0 0 0 61997 13 0 0 25 0 1 0 852749046 24985600 4724 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6100 4724 566 18 0 6082 0
vsize: 24400
[startup+630 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32037
Raw data (stat): 32037 (Pueblo-v2) R 32036 31399 31398 0 -1 0 4944 0 0 0 62997 13 0 0 25 0 1 0 852749046 24981504 4723 4294967295 134512640 134581267 3221224576 3221223504 134519947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6099 4723 566 18 0 6081 0
vsize: 24396
[startup+640 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32037
Raw data (stat): 32037 (Pueblo-v2) R 32036 31399 31398 0 -1 0 4944 0 0 0 63997 13 0 0 25 0 1 0 852749046 24977408 4722 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6098 4722 566 18 0 6080 0
vsize: 24392
[startup+650 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32037
Raw data (stat): 32037 (Pueblo-v2) R 32036 31399 31398 0 -1 0 4944 0 0 0 64997 13 0 0 25 0 1 0 852749046 24977408 4722 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6098 4722 566 18 0 6080 0
vsize: 24392
[startup+660 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32037
Raw data (stat): 32037 (Pueblo-v2) R 32036 31399 31398 0 -1 0 4944 0 0 0 65997 13 0 0 25 0 1 0 852749046 24969216 4720 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6096 4720 566 18 0 6078 0
vsize: 24384
[startup+670 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32037
Raw data (stat): 32037 (Pueblo-v2) R 32036 31399 31398 0 -1 0 4944 0 0 0 66997 13 0 0 25 0 1 0 852749046 24969216 4720 4294967295 134512640 134581267 3221224576 3221223472 134517897 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6096 4720 566 18 0 6078 0
vsize: 24384
[startup+680 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32037
Raw data (stat): 32037 (Pueblo-v2) R 32036 31399 31398 0 -1 0 4944 0 0 0 67997 13 0 0 25 0 1 0 852749046 24969216 4720 4294967295 134512640 134581267 3221224576 3221223504 134519947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6096 4720 566 18 0 6078 0
vsize: 24384
[startup+690 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32037
Raw data (stat): 32037 (Pueblo-v2) R 32036 31399 31398 0 -1 0 4944 0 0 0 68998 13 0 0 25 0 1 0 852749046 24969216 4720 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6096 4720 566 18 0 6078 0
vsize: 24384
[startup+699.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32037
Raw data (stat): 32037 (Pueblo-v2) R 32036 31399 31398 0 -1 0 4944 0 0 0 69998 13 0 0 25 0 1 0 852749046 24928256 4710 4294967295 134512640 134581267 3221224576 3221223520 134558849 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6086 4710 566 18 0 6068 0
vsize: 24344
[startup+710 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32037
Raw data (stat): 32037 (Pueblo-v2) R 32036 31399 31398 0 -1 0 4944 0 0 0 70998 13 0 0 25 0 1 0 852749046 24846336 4690 4294967295 134512640 134581267 3221224576 3221223440 134528318 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6066 4690 566 18 0 6048 0
vsize: 24264
[startup+720 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32037
Raw data (stat): 32037 (Pueblo-v2) R 32036 31399 31398 0 -1 0 4944 0 0 0 71998 13 0 0 25 0 1 0 852749046 24846336 4690 4294967295 134512640 134581267 3221224576 3221223472 134517900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6066 4690 566 18 0 6048 0
vsize: 24264
[startup+730.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32037
Raw data (stat): 32037 (Pueblo-v2) R 32036 31399 31398 0 -1 0 4944 0 0 0 72998 13 0 0 25 0 1 0 852749046 24846336 4690 4294967295 134512640 134581267 3221224576 3221223520 134558881 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6066 4690 566 18 0 6048 0
vsize: 24264
[startup+740 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32037
Raw data (stat): 32037 (Pueblo-v2) R 32036 31399 31398 0 -1 0 4944 0 0 0 73998 13 0 0 25 0 1 0 852749046 24846336 4690 4294967295 134512640 134581267 3221224576 3221223488 134527652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6066 4690 566 18 0 6048 0
vsize: 24264
[startup+750 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32037
Raw data (stat): 32037 (Pueblo-v2) R 32036 31399 31398 0 -1 0 4944 0 0 0 74998 13 0 0 25 0 1 0 852749046 24846336 4690 4294967295 134512640 134581267 3221224576 3221223456 134520448 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6066 4690 566 18 0 6048 0
vsize: 24264
[startup+760.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32037
Raw data (stat): 32037 (Pueblo-v2) R 32036 31399 31398 0 -1 0 4944 0 0 0 75999 13 0 0 25 0 1 0 852749046 24846336 4690 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6066 4690 566 18 0 6048 0
vsize: 24264
[startup+770 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32037
Raw data (stat): 32037 (Pueblo-v2) R 32036 31399 31398 0 -1 0 4944 0 0 0 76999 13 0 0 25 0 1 0 852749046 24846336 4690 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6066 4690 566 18 0 6048 0
vsize: 24264
[startup+780.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32037
Raw data (stat): 32037 (Pueblo-v2) R 32036 31399 31398 0 -1 0 4944 0 0 0 77999 13 0 0 25 0 1 0 852749046 24846336 4690 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6066 4690 566 18 0 6048 0
vsize: 24264
[startup+790.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32037
Raw data (stat): 32037 (Pueblo-v2) R 32036 31399 31398 0 -1 0 4944 0 0 0 78999 13 0 0 25 0 1 0 852749046 24846336 4690 4294967295 134512640 134581267 3221224576 3221223472 134517720 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6066 4690 566 18 0 6048 0
vsize: 24264
[startup+800.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32037
Raw data (stat): 32037 (Pueblo-v2) R 32036 31399 31398 0 -1 0 4944 0 0 0 79999 13 0 0 25 0 1 0 852749046 24846336 4690 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6066 4690 566 18 0 6048 0
vsize: 24264
[startup+810.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32037
Raw data (stat): 32037 (Pueblo-v2) R 32036 31399 31398 0 -1 0 5298 0 0 0 80999 14 0 0 25 0 1 0 852749046 26341376 5044 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6431 5044 566 18 0 6413 0
vsize: 25724
[startup+820.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32037
Raw data (stat): 32037 (Pueblo-v2) R 32036 31399 31398 0 -1 0 5298 0 0 0 81999 14 0 0 25 0 1 0 852749046 26341376 5044 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6431 5044 566 18 0 6413 0
vsize: 25724
[startup+830.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32037
Raw data (stat): 32037 (Pueblo-v2) R 32036 31399 31398 0 -1 0 5298 0 0 0 82999 14 0 0 25 0 1 0 852749046 26341376 5044 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6431 5044 566 18 0 6413 0
vsize: 25724
[startup+840.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32037
Raw data (stat): 32037 (Pueblo-v2) R 32036 31399 31398 0 -1 0 5298 0 0 0 83999 14 0 0 25 0 1 0 852749046 26341376 5044 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6431 5044 566 18 0 6413 0
vsize: 25724
[startup+850.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32037
Raw data (stat): 32037 (Pueblo-v2) R 32036 31399 31398 0 -1 0 5298 0 0 0 84999 14 0 0 25 0 1 0 852749046 26341376 5044 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6431 5044 566 18 0 6413 0
vsize: 25724
[startup+860.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32037
Raw data (stat): 32037 (Pueblo-v2) R 32036 31399 31398 0 -1 0 5298 0 0 0 86000 14 0 0 25 0 1 0 852749046 26341376 5044 4294967295 134512640 134581267 3221224576 3221223488 134527429 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6431 5044 566 18 0 6413 0
vsize: 25724
[startup+870.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32037
Raw data (stat): 32037 (Pueblo-v2) R 32036 31399 31398 0 -1 0 5298 0 0 0 87000 14 0 0 25 0 1 0 852749046 26341376 5044 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6431 5044 566 18 0 6413 0
vsize: 25724
[startup+880.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32037
Raw data (stat): 32037 (Pueblo-v2) R 32036 31399 31398 0 -1 0 5298 0 0 0 88000 14 0 0 25 0 1 0 852749046 26341376 5044 4294967295 134512640 134581267 3221224576 3221223520 134559417 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6431 5044 566 18 0 6413 0
vsize: 25724
[startup+890.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32037
Raw data (stat): 32037 (Pueblo-v2) R 32036 31399 31398 0 -1 0 5298 0 0 0 89000 14 0 0 25 0 1 0 852749046 26341376 5044 4294967295 134512640 134581267 3221224576 3221223440 134528216 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6431 5044 566 18 0 6413 0
vsize: 25724
[startup+900.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32037
Raw data (stat): 32037 (Pueblo-v2) R 32036 31399 31398 0 -1 0 5298 0 0 0 90000 14 0 0 25 0 1 0 852749046 26341376 5044 4294967295 134512640 134581267 3221224576 3221223472 134517767 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6431 5044 566 18 0 6413 0
vsize: 25724
[startup+910.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32037
Raw data (stat): 32037 (Pueblo-v2) R 32036 31399 31398 0 -1 0 5298 0 0 0 91000 14 0 0 25 0 1 0 852749046 26341376 5044 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6431 5044 566 18 0 6413 0
vsize: 25724
[startup+920.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32037
Raw data (stat): 32037 (Pueblo-v2) R 32036 31399 31398 0 -1 0 5298 0 0 0 92001 14 0 0 25 0 1 0 852749046 26341376 5044 4294967295 134512640 134581267 3221224576 3221223504 134519958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6431 5044 566 18 0 6413 0
vsize: 25724
[startup+930.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32037
Raw data (stat): 32037 (Pueblo-v2) R 32036 31399 31398 0 -1 0 5298 0 0 0 93001 14 0 0 25 0 1 0 852749046 26341376 5044 4294967295 134512640 134581267 3221224576 3221223472 134517900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6431 5044 566 18 0 6413 0
vsize: 25724
[startup+940.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32037
Raw data (stat): 32037 (Pueblo-v2) R 32036 31399 31398 0 -1 0 5298 0 0 0 94001 14 0 0 25 0 1 0 852749046 26341376 5044 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6431 5044 566 18 0 6413 0
vsize: 25724
[startup+950.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32037
Raw data (stat): 32037 (Pueblo-v2) R 32036 31399 31398 0 -1 0 5298 0 0 0 95001 14 0 0 25 0 1 0 852749046 26341376 5044 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6431 5044 566 18 0 6413 0
vsize: 25724
[startup+960.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32037
Raw data (stat): 32037 (Pueblo-v2) R 32036 31399 31398 0 -1 0 5298 0 0 0 96001 14 0 0 25 0 1 0 852749046 26341376 5044 4294967295 134512640 134581267 3221224576 3221223548 134519895 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6431 5044 566 18 0 6413 0
vsize: 25724
[startup+970.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32037
Raw data (stat): 32037 (Pueblo-v2) R 32036 31399 31398 0 -1 0 5298 0 0 0 97001 14 0 0 25 0 1 0 852749046 26341376 5044 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6431 5044 566 18 0 6413 0
vsize: 25724
[startup+980.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32037
Raw data (stat): 32037 (Pueblo-v2) R 32036 31399 31398 0 -1 0 5298 0 0 0 98002 14 0 0 25 0 1 0 852749046 26341376 5044 4294967295 134512640 134581267 3221224576 3221223440 134528238 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6431 5044 566 18 0 6413 0
vsize: 25724
[startup+990.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32037
Raw data (stat): 32037 (Pueblo-v2) R 32036 31399 31398 0 -1 0 5298 0 0 0 99002 14 0 0 25 0 1 0 852749046 26341376 5044 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6431 5044 566 18 0 6413 0
vsize: 25724
[startup+1000 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32037
Raw data (stat): 32037 (Pueblo-v2) R 32036 31399 31398 0 -1 0 5298 0 0 0 100002 14 0 0 25 0 1 0 852749046 26341376 5044 4294967295 134512640 134581267 3221224576 3221223504 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6431 5044 566 18 0 6413 0
vsize: 25724
[startup+1010 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32037
Raw data (stat): 32037 (Pueblo-v2) R 32036 31399 31398 0 -1 0 5298 0 0 0 101002 14 0 0 25 0 1 0 852749046 26341376 5044 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6431 5044 566 18 0 6413 0
vsize: 25724
[startup+1020 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32037
Raw data (stat): 32037 (Pueblo-v2) R 32036 31399 31398 0 -1 0 5298 0 0 0 102002 14 0 0 25 0 1 0 852749046 26341376 5044 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6431 5044 566 18 0 6413 0
vsize: 25724
[startup+1030 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32037
Raw data (stat): 32037 (Pueblo-v2) R 32036 31399 31398 0 -1 0 5298 0 0 0 103002 14 0 0 25 0 1 0 852749046 26341376 5044 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6431 5044 566 18 0 6413 0
vsize: 25724
[startup+1040 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32037
Raw data (stat): 32037 (Pueblo-v2) R 32036 31399 31398 0 -1 0 5298 0 0 0 104002 14 0 0 25 0 1 0 852749046 26341376 5044 4294967295 134512640 134581267 3221224576 3221223520 134558768 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6431 5044 566 18 0 6413 0
vsize: 25724
[startup+1050 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32037
Raw data (stat): 32037 (Pueblo-v2) R 32036 31399 31398 0 -1 0 5298 0 0 0 105003 14 0 0 25 0 1 0 852749046 26341376 5044 4294967295 134512640 134581267 3221224576 3221223488 134527678 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6431 5044 566 18 0 6413 0
vsize: 25724
[startup+1060 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32037
Raw data (stat): 32037 (Pueblo-v2) R 32036 31399 31398 0 -1 0 5298 0 0 0 106003 14 0 0 25 0 1 0 852749046 26341376 5044 4294967295 134512640 134581267 3221224576 3221223472 134517871 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6431 5044 566 18 0 6413 0
vsize: 25724
[startup+1070 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32037
Raw data (stat): 32037 (Pueblo-v2) R 32036 31399 31398 0 -1 0 5298 0 0 0 107003 14 0 0 25 0 1 0 852749046 26341376 5044 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6431 5044 566 18 0 6413 0
vsize: 25724
[startup+1080 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32037
Raw data (stat): 32037 (Pueblo-v2) R 32036 31399 31398 0 -1 0 5298 0 0 0 108003 14 0 0 25 0 1 0 852749046 26341376 5044 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6431 5044 566 18 0 6413 0
vsize: 25724
[startup+1090 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32037
Raw data (stat): 32037 (Pueblo-v2) R 32036 31399 31398 0 -1 0 5298 0 0 0 109003 14 0 0 25 0 1 0 852749046 26341376 5044 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6431 5044 566 18 0 6413 0
vsize: 25724
[startup+1100 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32037
Raw data (stat): 32037 (Pueblo-v2) R 32036 31399 31398 0 -1 0 5298 0 0 0 110003 14 0 0 25 0 1 0 852749046 26341376 5044 4294967295 134512640 134581267 3221224576 3221223472 134517615 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6431 5044 566 18 0 6413 0
vsize: 25724
[startup+1110 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32037
Raw data (stat): 32037 (Pueblo-v2) R 32036 31399 31398 0 -1 0 5298 0 0 0 111004 14 0 0 25 0 1 0 852749046 26341376 5044 4294967295 134512640 134581267 3221224576 3221223488 134527416 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6431 5044 566 18 0 6413 0
vsize: 25724
[startup+1120 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32037
Raw data (stat): 32037 (Pueblo-v2) R 32036 31399 31398 0 -1 0 5298 0 0 0 112003 15 0 0 25 0 1 0 852749046 26341376 5044 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6431 5044 566 18 0 6413 0
vsize: 25724
[startup+1130 s]
Raw data (loadavg): 0.99 0.97 0.91 3/58 32069
Raw data (stat): 32037 (Pueblo-v2) R 32036 31399 31398 0 -1 0 5298 0 0 0 113003 15 0 0 25 0 1 0 852749046 26341376 5044 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6431 5044 566 18 0 6413 0
vsize: 25724
[startup+1140 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32090
Raw data (stat): 32037 (Pueblo-v2) R 32036 31399 31398 0 -1 0 5298 0 0 0 114003 15 0 0 25 0 1 0 852749046 26341376 5044 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6431 5044 566 18 0 6413 0
vsize: 25724
[startup+1150 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32090
Raw data (stat): 32037 (Pueblo-v2) R 32036 31399 31398 0 -1 0 5298 0 0 0 115003 15 0 0 25 0 1 0 852749046 26341376 5044 4294967295 134512640 134581267 3221224576 3221223488 134527774 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6431 5044 566 18 0 6413 0
vsize: 25724
[startup+1160 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32090
Raw data (stat): 32037 (Pueblo-v2) R 32036 31399 31398 0 -1 0 5298 0 0 0 116004 15 0 0 25 0 1 0 852749046 26341376 5044 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6431 5044 566 18 0 6413 0
vsize: 25724
[startup+1170 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32090
Raw data (stat): 32037 (Pueblo-v2) R 32036 31399 31398 0 -1 0 5298 0 0 0 117004 15 0 0 25 0 1 0 852749046 26341376 5044 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6431 5044 566 18 0 6413 0
vsize: 25724
[startup+1180 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32090
Raw data (stat): 32037 (Pueblo-v2) R 32036 31399 31398 0 -1 0 5298 0 0 0 118004 15 0 0 25 0 1 0 852749046 26341376 5044 4294967295 134512640 134581267 3221224576 3221223504 134519958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6431 5044 566 18 0 6413 0
vsize: 25724
[startup+1190 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32090
Raw data (stat): 32037 (Pueblo-v2) R 32036 31399 31398 0 -1 0 5298 0 0 0 119004 15 0 0 25 0 1 0 852749046 26341376 5044 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6431 5044 566 18 0 6413 0
vsize: 25724
[startup+1200 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32092
Raw data (stat): 32037 (Pueblo-v2) R 32036 31399 31398 0 -1 0 5298 0 0 0 120004 16 0 0 25 0 1 0 852749046 26341376 5044 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6431 5044 566 18 0 6413 0
vsize: 25724
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.01 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 32092
Raw data (stat): 32037 (Pueblo-v2) Z 32036 31399 31398 0 -1 1036 5298 0 0 0 120004 17 0 0 25 0 1 0 852749046 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.01
CPU time (s): 1200.22
CPU user time (s): 1200.05
CPU system time (s): 0.170974
CPU usage (%): 100.017
Max. virtual memory (Kb): 25724
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####