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/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-9,16-19.opb
MD5SUM	a788dbf2f72289ace41b812e06d88575
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	10
Number of bits of the biggest number in a constraint	4
Biggest sum of numbers in a constraint	101
Number of bits of the biggest sum of numbers	7
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	362.64
Number of variables	4626
Total number of constraints	35373
Number of constraints which are clauses	29724
Number of constraints which are cardinality constraints (but not clauses)	5571
Number of constraints which are nor clauses,nor cardinality constraints	78
Minimum length of a constraint	1
Maximum length of a constraint	29
Trace number 38568

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-02 14:14:18 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26634 boxname=wulflinc4 idbench=364 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  a788dbf2f72289ace41b812e06d88575  /oldhome/oroussel/tmp/wulflinc4/normalized-ppp:1-9,16-19.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-ppp:1-9,16-19.opb
IDLAUNCH: 26634
/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:        676208 kB
Buffers:         34264 kB
Cached:         301768 kB
SwapCached:        568 kB
Active:          25740 kB
Inactive:       312376 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        675956 kB
SwapTotal:     2097136 kB
SwapFree:      2095660 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5312 kB
Slab:            14412 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 14:34:20 (client local time) WITH STATUS 0 IN 1200.25 SECONDS
stats: 26634 7 1200.25 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.74 0.91 0.97 2/54 9465
Raw data (stat): 9465 (runsolver) R 9464 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 850414644 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0005 s]
Raw data (loadavg): 0.78 0.91 0.97 2/54 9465
Raw data (stat): 9465 (Pueblo-v2) R 9464 21152 21151 0 -1 0 2748 0 0 0 992 6 0 0 25 0 1 0 850414644 17244160 2722 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4210 2722 566 18 0 4192 0
vsize: 16840
[startup+20.0006 s]
Raw data (loadavg): 0.81 0.91 0.97 2/54 9465
Raw data (stat): 9465 (Pueblo-v2) R 9464 21152 21151 0 -1 0 4717 0 0 0 1988 11 0 0 25 0 1 0 850414644 25260032 4691 4294967295 134512640 134581267 3221224576 3221223548 134519776 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6167 4691 566 18 0 6149 0
vsize: 24668
[startup+30.0012 s]
Raw data (loadavg): 0.84 0.92 0.97 2/54 9465
Raw data (stat): 9465 (Pueblo-v2) R 9464 21152 21151 0 -1 0 5352 0 0 0 2987 12 0 0 25 0 1 0 850414644 28045312 5326 4294967295 134512640 134581267 3221224576 3221223352 1075285701 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6847 5326 566 18 0 6829 0
vsize: 27388
[startup+40.0014 s]
Raw data (loadavg): 0.87 0.92 0.97 2/54 9465
Raw data (stat): 9465 (Pueblo-v2) R 9464 21152 21151 0 -1 0 5352 0 0 0 3987 12 0 0 25 0 1 0 850414644 28045312 5326 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6847 5326 566 18 0 6829 0
vsize: 27388
[startup+50.0024 s]
Raw data (loadavg): 0.89 0.92 0.97 2/54 9465
Raw data (stat): 9465 (Pueblo-v2) R 9464 21152 21151 0 -1 0 6261 0 0 0 4985 14 0 0 25 0 1 0 850414644 31744000 6235 4294967295 134512640 134581267 3221224576 3221223504 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7750 6235 566 18 0 7732 0
vsize: 31000
[startup+60.0028 s]
Raw data (loadavg): 0.90 0.92 0.97 2/54 9465
Raw data (stat): 9465 (Pueblo-v2) R 9464 21152 21151 0 -1 0 6904 0 0 0 5983 16 0 0 25 0 1 0 850414644 34406400 6878 4294967295 134512640 134581267 3221224576 3221223544 134519777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8400 6878 566 18 0 8382 0
vsize: 33600
[startup+70.0027 s]
Raw data (loadavg): 0.92 0.92 0.97 2/54 9465
Raw data (stat): 9465 (Pueblo-v2) R 9464 21152 21151 0 -1 0 6904 0 0 0 6984 16 0 0 25 0 1 0 850414644 34406400 6878 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8400 6878 566 18 0 8382 0
vsize: 33600
[startup+80.0039 s]
Raw data (loadavg): 0.93 0.93 0.97 2/54 9465
Raw data (stat): 9465 (Pueblo-v2) R 9464 21152 21151 0 -1 0 6908 0 0 0 7984 16 0 0 25 0 1 0 850414644 34406400 6882 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8400 6882 566 18 0 8382 0
vsize: 33600
[startup+90.0034 s]
Raw data (loadavg): 0.94 0.93 0.97 2/54 9465
Raw data (stat): 9465 (Pueblo-v2) R 9464 21152 21151 0 -1 0 6908 0 0 0 8984 16 0 0 25 0 1 0 850414644 34406400 6882 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8400 6882 566 18 0 8382 0
vsize: 33600
[startup+100.005 s]
Raw data (loadavg): 0.95 0.93 0.97 2/54 9465
Raw data (stat): 9465 (Pueblo-v2) R 9464 21152 21151 0 -1 0 7439 0 0 0 9983 17 0 0 25 0 1 0 850414644 36536320 7413 4294967295 134512640 134581267 3221224576 3221223440 134528229 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8920 7413 566 18 0 8902 0
vsize: 35680
[startup+110.005 s]
Raw data (loadavg): 0.96 0.93 0.97 2/54 9465
Raw data (stat): 9465 (Pueblo-v2) R 9464 21152 21151 0 -1 0 8054 0 0 0 10981 20 0 0 25 0 1 0 850414644 39047168 8028 4294967295 134512640 134581267 3221224576 3221223504 134519829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9533 8028 566 18 0 9515 0
vsize: 38132
[startup+120.006 s]
Raw data (loadavg): 0.96 0.93 0.97 2/54 9465
Raw data (stat): 9465 (Pueblo-v2) R 9464 21152 21151 0 -1 0 8156 0 0 0 11981 20 0 0 25 0 1 0 850414644 39444480 8130 4294967295 134512640 134581267 3221224576 3221223552 134561057 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9630 8130 566 18 0 9612 0
vsize: 38520
[startup+130.006 s]
Raw data (loadavg): 0.97 0.94 0.97 2/54 9465
Raw data (stat): 9465 (Pueblo-v2) R 9464 21152 21151 0 -1 0 8156 0 0 0 12981 20 0 0 25 0 1 0 850414644 39444480 8130 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9630 8130 566 18 0 9612 0
vsize: 38520
[startup+140.006 s]
Raw data (loadavg): 0.97 0.94 0.97 2/54 9465
Raw data (stat): 9465 (Pueblo-v2) R 9464 21152 21151 0 -1 0 8159 0 0 0 13981 20 0 0 25 0 1 0 850414644 39444480 8133 4294967295 134512640 134581267 3221224576 3221223504 134519829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9630 8133 566 18 0 9612 0
vsize: 38520
[startup+150.006 s]
Raw data (loadavg): 0.98 0.94 0.97 2/54 9465
Raw data (stat): 9465 (Pueblo-v2) R 9464 21152 21151 0 -1 0 8159 0 0 0 14981 20 0 0 25 0 1 0 850414644 39444480 8133 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9630 8133 566 18 0 9612 0
vsize: 38520
[startup+160.006 s]
Raw data (loadavg): 0.98 0.94 0.97 2/54 9465
Raw data (stat): 9465 (Pueblo-v2) R 9464 21152 21151 0 -1 0 8159 0 0 0 15981 20 0 0 25 0 1 0 850414644 39444480 8133 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9630 8133 566 18 0 9612 0
vsize: 38520
[startup+170.006 s]
Raw data (loadavg): 0.98 0.94 0.97 2/54 9465
Raw data (stat): 9465 (Pueblo-v2) R 9464 21152 21151 0 -1 0 8394 0 0 0 16981 20 0 0 25 0 1 0 850414644 40501248 8368 4294967295 134512640 134581267 3221224576 3221223504 134519869 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9888 8368 566 18 0 9870 0
vsize: 39552
[startup+180.006 s]
Raw data (loadavg): 0.98 0.94 0.97 2/54 9465
Raw data (stat): 9465 (Pueblo-v2) R 9464 21152 21151 0 -1 0 8696 0 0 0 17981 21 0 0 25 0 1 0 850414644 41807872 8670 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10207 8670 566 18 0 10189 0
vsize: 40828
[startup+190.006 s]
Raw data (loadavg): 0.99 0.94 0.97 2/54 9465
Raw data (stat): 9465 (Pueblo-v2) R 9464 21152 21151 0 -1 0 8942 0 0 0 18980 22 0 0 25 0 1 0 850414644 42762240 8916 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10440 8916 566 18 0 10422 0
vsize: 41760
[startup+200.006 s]
Raw data (loadavg): 0.99 0.95 0.97 2/54 9465
Raw data (stat): 9465 (Pueblo-v2) R 9464 21152 21151 0 -1 0 9038 0 0 0 19980 22 0 0 25 0 1 0 850414644 43155456 9012 4294967295 134512640 134581267 3221224576 3221223568 134561040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10536 9012 566 18 0 10518 0
vsize: 42144
[startup+210.007 s]
Raw data (loadavg): 0.99 0.95 0.97 2/54 9465
Raw data (stat): 9465 (Pueblo-v2) R 9464 21152 21151 0 -1 0 9040 0 0 0 20980 22 0 0 25 0 1 0 850414644 43155456 9014 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10536 9014 566 18 0 10518 0
vsize: 42144
[startup+220.008 s]
Raw data (loadavg): 0.99 0.95 0.97 2/54 9465
Raw data (stat): 9465 (Pueblo-v2) R 9464 21152 21151 0 -1 0 9042 0 0 0 21980 22 0 0 25 0 1 0 850414644 43155456 9016 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10536 9016 566 18 0 10518 0
vsize: 42144
[startup+230.009 s]
Raw data (loadavg): 0.99 0.95 0.97 2/54 9465
Raw data (stat): 9465 (Pueblo-v2) R 9464 21152 21151 0 -1 0 9042 0 0 0 22981 22 0 0 25 0 1 0 850414644 43155456 9016 4294967295 134512640 134581267 3221224576 3221223660 134555932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10536 9016 566 18 0 10518 0
vsize: 42144
[startup+240.009 s]
Raw data (loadavg): 0.99 0.95 0.97 2/54 9465
Raw data (stat): 9465 (Pueblo-v2) R 9464 21152 21151 0 -1 0 9042 0 0 0 23981 22 0 0 25 0 1 0 850414644 43155456 9016 4294967295 134512640 134581267 3221224576 3221223504 134519829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10536 9016 566 18 0 10518 0
vsize: 42144
[startup+250.009 s]
Raw data (loadavg): 0.99 0.95 0.97 2/54 9465
Raw data (stat): 9465 (Pueblo-v2) R 9464 21152 21151 0 -1 0 9042 0 0 0 24981 22 0 0 25 0 1 0 850414644 43155456 9016 4294967295 134512640 134581267 3221224576 3221223568 134561036 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10536 9016 566 18 0 10518 0
vsize: 42144
[startup+260.01 s]
Raw data (loadavg): 0.99 0.95 0.97 2/54 9465
Raw data (stat): 9465 (Pueblo-v2) R 9464 21152 21151 0 -1 0 9044 0 0 0 25981 22 0 0 25 0 1 0 850414644 43155456 9018 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10536 9018 566 18 0 10518 0
vsize: 42144
[startup+270.009 s]
Raw data (loadavg): 0.99 0.95 0.97 2/54 9465
Raw data (stat): 9465 (Pueblo-v2) R 9464 21152 21151 0 -1 0 9044 0 0 0 26981 22 0 0 25 0 1 0 850414644 43155456 9018 4294967295 134512640 134581267 3221224576 3221223504 134519803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10536 9018 566 18 0 10518 0
vsize: 42144
[startup+280.01 s]
Raw data (loadavg): 0.99 0.95 0.97 2/54 9465
Raw data (stat): 9465 (Pueblo-v2) R 9464 21152 21151 0 -1 0 9046 0 0 0 27981 22 0 0 25 0 1 0 850414644 43155456 9020 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10536 9020 566 18 0 10518 0
vsize: 42144
[startup+290.011 s]
Raw data (loadavg): 0.99 0.95 0.97 2/54 9465
Raw data (stat): 9465 (Pueblo-v2) R 9464 21152 21151 0 -1 0 9046 0 0 0 28982 22 0 0 25 0 1 0 850414644 43155456 9020 4294967295 134512640 134581267 3221224576 3221223552 134561060 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10536 9020 566 18 0 10518 0
vsize: 42144
[startup+300.011 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 9465
Raw data (stat): 9465 (Pueblo-v2) R 9464 21152 21151 0 -1 0 9047 0 0 0 29982 22 0 0 25 0 1 0 850414644 43155456 9021 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10536 9021 566 18 0 10518 0
vsize: 42144
[startup+310.012 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 9465
Raw data (stat): 9465 (Pueblo-v2) R 9464 21152 21151 0 -1 0 9047 0 0 0 30982 22 0 0 25 0 1 0 850414644 43155456 9021 4294967295 134512640 134581267 3221224576 3221223536 134519892 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10536 9021 566 18 0 10518 0
vsize: 42144
[startup+320.012 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 9465
Raw data (stat): 9465 (Pueblo-v2) R 9464 21152 21151 0 -1 0 9047 0 0 0 31982 22 0 0 25 0 1 0 850414644 43155456 9021 4294967295 134512640 134581267 3221224576 3221223552 134561060 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10536 9021 566 18 0 10518 0
vsize: 42144
[startup+330.013 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 9465
Raw data (stat): 9465 (Pueblo-v2) R 9464 21152 21151 0 -1 0 9052 0 0 0 32982 22 0 0 25 0 1 0 850414644 43155456 9026 4294967295 134512640 134581267 3221224576 3221223552 134516689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10536 9026 566 18 0 10518 0
vsize: 42144
[startup+340.013 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 9465
Raw data (stat): 9465 (Pueblo-v2) R 9464 21152 21151 0 -1 0 9052 0 0 0 33983 22 0 0 25 0 1 0 850414644 43155456 9026 4294967295 134512640 134581267 3221224576 3221223228 1075288331 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10536 9026 566 18 0 10518 0
vsize: 42144
[startup+350.013 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 9465
Raw data (stat): 9465 (Pueblo-v2) R 9464 21152 21151 0 -1 0 9052 0 0 0 34983 22 0 0 25 0 1 0 850414644 43155456 9026 4294967295 134512640 134581267 3221224576 3221223504 134519803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10536 9026 566 18 0 10518 0
vsize: 42144
[startup+360.013 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 9465
Raw data (stat): 9465 (Pueblo-v2) R 9464 21152 21151 0 -1 0 9052 0 0 0 35983 22 0 0 25 0 1 0 850414644 43155456 9026 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10536 9026 566 18 0 10518 0
vsize: 42144
[startup+370.013 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 9465
Raw data (stat): 9465 (Pueblo-v2) R 9464 21152 21151 0 -1 0 9052 0 0 0 36983 22 0 0 25 0 1 0 850414644 43155456 9026 4294967295 134512640 134581267 3221224576 3221223472 134517900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10536 9026 566 18 0 10518 0
vsize: 42144
[startup+380.013 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 9465
Raw data (stat): 9465 (Pueblo-v2) R 9464 21152 21151 0 -1 0 9052 0 0 0 37983 22 0 0 25 0 1 0 850414644 43155456 9026 4294967295 134512640 134581267 3221224576 3221223440 134560430 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10536 9026 566 18 0 10518 0
vsize: 42144
[startup+390.014 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 9465
Raw data (stat): 9465 (Pueblo-v2) R 9464 21152 21151 0 -1 0 9052 0 0 0 38983 22 0 0 25 0 1 0 850414644 43155456 9026 4294967295 134512640 134581267 3221224576 3221223520 134559417 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10536 9026 566 18 0 10518 0
vsize: 42144
[startup+400.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 9465
Raw data (stat): 9465 (Pueblo-v2) R 9464 21152 21151 0 -1 0 9052 0 0 0 39984 22 0 0 25 0 1 0 850414644 43155456 9026 4294967295 134512640 134581267 3221224576 3221223568 134561040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10536 9026 566 18 0 10518 0
vsize: 42144
[startup+410.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 9465
Raw data (stat): 9465 (Pueblo-v2) R 9464 21152 21151 0 -1 0 9052 0 0 0 40984 22 0 0 25 0 1 0 850414644 43155456 9026 4294967295 134512640 134581267 3221224576 3221223456 134520278 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10536 9026 566 18 0 10518 0
vsize: 42144
[startup+420.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 9465
Raw data (stat): 9465 (Pueblo-v2) R 9464 21152 21151 0 -1 0 9052 0 0 0 41984 22 0 0 25 0 1 0 850414644 43155456 9026 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10536 9026 566 18 0 10518 0
vsize: 42144
[startup+430.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 9465
Raw data (stat): 9465 (Pueblo-v2) R 9464 21152 21151 0 -1 0 9052 0 0 0 42984 22 0 0 25 0 1 0 850414644 43155456 9026 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10536 9026 566 18 0 10518 0
vsize: 42144
[startup+440.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 9465
Raw data (stat): 9465 (Pueblo-v2) R 9464 21152 21151 0 -1 0 9052 0 0 0 43984 22 0 0 25 0 1 0 850414644 43155456 9026 4294967295 134512640 134581267 3221224576 3221223568 134561040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10536 9026 566 18 0 10518 0
vsize: 42144
[startup+450.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 9465
Raw data (stat): 9465 (Pueblo-v2) R 9464 21152 21151 0 -1 0 9052 0 0 0 44985 22 0 0 25 0 1 0 850414644 43155456 9026 4294967295 134512640 134581267 3221224576 3221223504 134519869 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10536 9026 566 18 0 10518 0
vsize: 42144
[startup+460.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 9465
Raw data (stat): 9465 (Pueblo-v2) R 9464 21152 21151 0 -1 0 9052 0 0 0 45985 22 0 0 25 0 1 0 850414644 43155456 9026 4294967295 134512640 134581267 3221224576 3221223552 134561060 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10536 9026 566 18 0 10518 0
vsize: 42144
[startup+470.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 9465
Raw data (stat): 9465 (Pueblo-v2) R 9464 21152 21151 0 -1 0 9052 0 0 0 46985 22 0 0 25 0 1 0 850414644 43155456 9026 4294967295 134512640 134581267 3221224576 3221223540 134519780 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10536 9026 566 18 0 10518 0
vsize: 42144
[startup+480.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 9465
Raw data (stat): 9465 (Pueblo-v2) R 9464 21152 21151 0 -1 0 9052 0 0 0 47985 22 0 0 25 0 1 0 850414644 43155456 9026 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10536 9026 566 18 0 10518 0
vsize: 42144
[startup+490.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 9465
Raw data (stat): 9465 (Pueblo-v2) R 9464 21152 21151 0 -1 0 9052 0 0 0 48985 22 0 0 25 0 1 0 850414644 43155456 9026 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10536 9026 566 18 0 10518 0
vsize: 42144
[startup+500.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 9465
Raw data (stat): 9465 (Pueblo-v2) R 9464 21152 21151 0 -1 0 9052 0 0 0 49985 22 0 0 25 0 1 0 850414644 43155456 9026 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10536 9026 566 18 0 10518 0
vsize: 42144
[startup+510.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 9465
Raw data (stat): 9465 (Pueblo-v2) R 9464 21152 21151 0 -1 0 9052 0 0 0 50986 22 0 0 25 0 1 0 850414644 43155456 9026 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10536 9026 566 18 0 10518 0
vsize: 42144
[startup+520.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 9465
Raw data (stat): 9465 (Pueblo-v2) R 9464 21152 21151 0 -1 0 9052 0 0 0 51986 22 0 0 25 0 1 0 850414644 43155456 9026 4294967295 134512640 134581267 3221224576 3221223456 134560525 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10536 9026 566 18 0 10518 0
vsize: 42144
[startup+530.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 9465
Raw data (stat): 9465 (Pueblo-v2) R 9464 21152 21151 0 -1 0 9052 0 0 0 52986 22 0 0 25 0 1 0 850414644 43155456 9026 4294967295 134512640 134581267 3221224576 3221223504 134519803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10536 9026 566 18 0 10518 0
vsize: 42144
[startup+540.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 9465
Raw data (stat): 9465 (Pueblo-v2) R 9464 21152 21151 0 -1 0 9053 0 0 0 53986 22 0 0 25 0 1 0 850414644 43290624 9027 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10569 9027 566 18 0 10551 0
vsize: 42276
[startup+550.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 9465
Raw data (stat): 9465 (Pueblo-v2) R 9464 21152 21151 0 -1 0 9680 0 0 0 54984 24 0 0 25 0 1 0 850414644 46043136 9654 4294967295 134512640 134581267 3221224576 3221223504 134519803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11241 9654 566 18 0 11223 0
vsize: 44964
[startup+560.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 9465
Raw data (stat): 9465 (Pueblo-v2) R 9464 21152 21151 0 -1 0 9680 0 0 0 55985 24 0 0 25 0 1 0 850414644 46043136 9654 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11241 9654 566 18 0 11223 0
vsize: 44964
[startup+570.019 s]
Raw data (loadavg): 1.07 0.99 0.97 2/54 9465
Raw data (stat): 9465 (Pueblo-v2) R 9464 21152 21151 0 -1 0 9680 0 0 0 56985 24 0 0 25 0 1 0 850414644 46043136 9654 4294967295 134512640 134581267 3221224576 3221223564 134561046 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11241 9654 566 18 0 11223 0
vsize: 44964
[startup+580.02 s]
Raw data (loadavg): 1.06 0.99 0.97 2/54 9465
Raw data (stat): 9465 (Pueblo-v2) R 9464 21152 21151 0 -1 0 9689 0 0 0 57985 24 0 0 25 0 1 0 850414644 46223360 9663 4294967295 134512640 134581267 3221224576 3221223504 134520084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11285 9663 566 18 0 11267 0
vsize: 45140
[startup+590.019 s]
Raw data (loadavg): 1.05 0.99 0.97 2/54 9465
Raw data (stat): 9465 (Pueblo-v2) R 9464 21152 21151 0 -1 0 9689 0 0 0 58985 24 0 0 25 0 1 0 850414644 46223360 9663 4294967295 134512640 134581267 3221224576 3221223504 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11285 9663 566 18 0 11267 0
vsize: 45140
[startup+600.019 s]
Raw data (loadavg): 1.04 0.99 0.97 2/54 9465
Raw data (stat): 9465 (Pueblo-v2) R 9464 21152 21151 0 -1 0 9689 0 0 0 59985 24 0 0 25 0 1 0 850414644 46223360 9663 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11285 9663 566 18 0 11267 0
vsize: 45140
[startup+610.02 s]
Raw data (loadavg): 1.03 0.99 0.97 2/54 9465
Raw data (stat): 9465 (Pueblo-v2) R 9464 21152 21151 0 -1 0 9689 0 0 0 60986 24 0 0 25 0 1 0 850414644 46223360 9663 4294967295 134512640 134581267 3221224576 3221223536 134519892 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11285 9663 566 18 0 11267 0
vsize: 45140
[startup+620.02 s]
Raw data (loadavg): 1.03 0.99 0.97 2/54 9465
Raw data (stat): 9465 (Pueblo-v2) R 9464 21152 21151 0 -1 0 9707 0 0 0 61986 24 0 0 25 0 1 0 850414644 46223360 9681 4294967295 134512640 134581267 3221224576 3221223504 134519899 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11285 9681 566 18 0 11267 0
vsize: 45140
[startup+630.021 s]
Raw data (loadavg): 1.02 0.99 0.97 2/54 9465
Raw data (stat): 9465 (Pueblo-v2) R 9464 21152 21151 0 -1 0 9712 0 0 0 62986 24 0 0 25 0 1 0 850414644 46223360 9686 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11285 9686 566 18 0 11267 0
vsize: 45140
[startup+640.022 s]
Raw data (loadavg): 1.02 0.99 0.97 2/54 9465
Raw data (stat): 9465 (Pueblo-v2) R 9464 21152 21151 0 -1 0 9757 0 0 0 63986 24 0 0 25 0 1 0 850414644 46419968 9731 4294967295 134512640 134581267 3221224576 3221223504 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11333 9731 566 18 0 11315 0
vsize: 45332
[startup+650.022 s]
Raw data (loadavg): 1.02 0.99 0.97 2/54 9465
Raw data (stat): 9465 (Pueblo-v2) R 9464 21152 21151 0 -1 0 9778 0 0 0 64986 24 0 0 25 0 1 0 850414644 46682112 9752 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11397 9752 566 18 0 11379 0
vsize: 45588
[startup+660.023 s]
Raw data (loadavg): 1.01 0.99 0.97 2/54 9465
Raw data (stat): 9465 (Pueblo-v2) R 9464 21152 21151 0 -1 0 9780 0 0 0 65986 24 0 0 25 0 1 0 850414644 46682112 9754 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11397 9754 566 18 0 11379 0
vsize: 45588
[startup+670.023 s]
Raw data (loadavg): 1.01 0.99 0.97 2/54 9465
Raw data (stat): 9465 (Pueblo-v2) R 9464 21152 21151 0 -1 0 9797 0 0 0 66987 25 0 0 25 0 1 0 850414644 46682112 9771 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11397 9771 566 18 0 11379 0
vsize: 45588
[startup+680.024 s]
Raw data (loadavg): 1.01 0.99 0.97 2/54 9465
Raw data (stat): 9465 (Pueblo-v2) R 9464 21152 21151 0 -1 0 9815 0 0 0 67987 25 0 0 25 0 1 0 850414644 46944256 9789 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11461 9789 566 18 0 11443 0
vsize: 45844
[startup+690.024 s]
Raw data (loadavg): 1.01 0.99 0.97 2/54 9465
Raw data (stat): 9465 (Pueblo-v2) R 9464 21152 21151 0 -1 0 9815 0 0 0 68987 25 0 0 25 0 1 0 850414644 46944256 9789 4294967295 134512640 134581267 3221224576 3221223568 134561073 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11461 9789 566 18 0 11443 0
vsize: 45844
[startup+700.024 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 9465
Raw data (stat): 9465 (Pueblo-v2) R 9464 21152 21151 0 -1 0 9828 0 0 0 69987 25 0 0 25 0 1 0 850414644 46944256 9802 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11461 9802 566 18 0 11443 0
vsize: 45844
[startup+710.025 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 9465
Raw data (stat): 9465 (Pueblo-v2) R 9464 21152 21151 0 -1 0 9831 0 0 0 70987 25 0 0 25 0 1 0 850414644 46944256 9805 4294967295 134512640 134581267 3221224576 3221223568 134561040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11461 9805 566 18 0 11443 0
vsize: 45844
[startup+720.025 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 9465
Raw data (stat): 9465 (Pueblo-v2) R 9464 21152 21151 0 -1 0 9831 0 0 0 71987 25 0 0 25 0 1 0 850414644 46944256 9805 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11461 9805 566 18 0 11443 0
vsize: 45844
[startup+730.025 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 9465
Raw data (stat): 9465 (Pueblo-v2) R 9464 21152 21151 0 -1 0 9846 0 0 0 72988 25 0 0 25 0 1 0 850414644 46944256 9820 4294967295 134512640 134581267 3221224576 3221223564 134561046 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11461 9820 566 18 0 11443 0
vsize: 45844
[startup+740.026 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 9465
Raw data (stat): 9465 (Pueblo-v2) R 9464 21152 21151 0 -1 0 9850 0 0 0 73988 25 0 0 25 0 1 0 850414644 46944256 9824 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11461 9824 566 18 0 11443 0
vsize: 45844
[startup+750.025 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 9465
Raw data (stat): 9465 (Pueblo-v2) R 9464 21152 21151 0 -1 0 9874 0 0 0 74988 25 0 0 25 0 1 0 850414644 47140864 9848 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11509 9848 566 18 0 11491 0
vsize: 46036
[startup+760.026 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 9465
Raw data (stat): 9465 (Pueblo-v2) R 9464 21152 21151 0 -1 0 9877 0 0 0 75988 25 0 0 25 0 1 0 850414644 47140864 9851 4294967295 134512640 134581267 3221224576 3221223504 134520092 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11509 9851 566 18 0 11491 0
vsize: 46036
[startup+770.026 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 9465
Raw data (stat): 9465 (Pueblo-v2) R 9464 21152 21151 0 -1 0 9879 0 0 0 76988 25 0 0 25 0 1 0 850414644 47140864 9853 4294967295 134512640 134581267 3221224576 3221223504 134519803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11509 9853 566 18 0 11491 0
vsize: 46036
[startup+780.027 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 9465
Raw data (stat): 9465 (Pueblo-v2) R 9464 21152 21151 0 -1 0 9879 0 0 0 77988 25 0 0 25 0 1 0 850414644 47140864 9853 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11509 9853 566 18 0 11491 0
vsize: 46036
[startup+790.027 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 9465
Raw data (stat): 9465 (Pueblo-v2) R 9464 21152 21151 0 -1 0 9896 0 0 0 78988 25 0 0 25 0 1 0 850414644 47333376 9870 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11556 9870 566 18 0 11538 0
vsize: 46224
[startup+800.027 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 9465
Raw data (stat): 9465 (Pueblo-v2) R 9464 21152 21151 0 -1 0 9897 0 0 0 79989 25 0 0 25 0 1 0 850414644 47333376 9871 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11556 9871 566 18 0 11538 0
vsize: 46224
[startup+810.027 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 9465
Raw data (stat): 9465 (Pueblo-v2) R 9464 21152 21151 0 -1 0 9898 0 0 0 80989 25 0 0 25 0 1 0 850414644 47333376 9872 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11556 9872 566 18 0 11538 0
vsize: 46224
[startup+820.028 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 9465
Raw data (stat): 9465 (Pueblo-v2) R 9464 21152 21151 0 -1 0 9898 0 0 0 81989 25 0 0 25 0 1 0 850414644 47333376 9872 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11556 9872 566 18 0 11538 0
vsize: 46224
[startup+830.028 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 9465
Raw data (stat): 9465 (Pueblo-v2) R 9464 21152 21151 0 -1 0 9898 0 0 0 82989 25 0 0 25 0 1 0 850414644 47333376 9872 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11556 9872 566 18 0 11538 0
vsize: 46224
[startup+840.028 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 9465
Raw data (stat): 9465 (Pueblo-v2) R 9464 21152 21151 0 -1 0 9898 0 0 0 83989 25 0 0 25 0 1 0 850414644 47333376 9872 4294967295 134512640 134581267 3221224576 3221223504 134520003 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11556 9872 566 18 0 11538 0
vsize: 46224
[startup+850.028 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 9465
Raw data (stat): 9465 (Pueblo-v2) R 9464 21152 21151 0 -1 0 9898 0 0 0 84990 25 0 0 25 0 1 0 850414644 47333376 9872 4294967295 134512640 134581267 3221224576 3221223568 134561087 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11556 9872 566 18 0 11538 0
vsize: 46224
[startup+860.028 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 9465
Raw data (stat): 9465 (Pueblo-v2) R 9464 21152 21151 0 -1 0 9898 0 0 0 85990 25 0 0 25 0 1 0 850414644 47333376 9872 4294967295 134512640 134581267 3221224576 3221223504 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11556 9872 566 18 0 11538 0
vsize: 46224
[startup+870.028 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 9465
Raw data (stat): 9465 (Pueblo-v2) R 9464 21152 21151 0 -1 0 9906 0 0 0 86990 25 0 0 25 0 1 0 850414644 47333376 9880 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11556 9880 566 18 0 11538 0
vsize: 46224
[startup+880.029 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 9465
Raw data (stat): 9465 (Pueblo-v2) R 9464 21152 21151 0 -1 0 10557 0 0 0 87988 27 0 0 25 0 1 0 850414644 49975296 10531 4294967295 134512640 134581267 3221224576 3221223568 134561040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12201 10531 566 18 0 12183 0
vsize: 48804
[startup+890.029 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 9465
Raw data (stat): 9465 (Pueblo-v2) R 9464 21152 21151 0 -1 0 11141 0 0 0 88986 29 0 0 25 0 1 0 850414644 52367360 11115 4294967295 134512640 134581267 3221224576 3221223440 134528304 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12785 11115 566 18 0 12767 0
vsize: 51140
[startup+900.028 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 9465
Raw data (stat): 9465 (Pueblo-v2) R 9464 21152 21151 0 -1 0 11558 0 0 0 89986 30 0 0 25 0 1 0 850414644 54087680 11532 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13205 11532 566 18 0 13187 0
vsize: 52820
[startup+910.028 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 9465
Raw data (stat): 9465 (Pueblo-v2) R 9464 21152 21151 0 -1 0 11559 0 0 0 90986 30 0 0 25 0 1 0 850414644 54087680 11533 4294967295 134512640 134581267 3221224576 3221223504 134519829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13205 11533 566 18 0 13187 0
vsize: 52820
[startup+920.028 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 9465
Raw data (stat): 9465 (Pueblo-v2) R 9464 21152 21151 0 -1 0 11559 0 0 0 91986 30 0 0 25 0 1 0 850414644 54087680 11533 4294967295 134512640 134581267 3221224576 3221223472 134517615 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13205 11533 566 18 0 13187 0
vsize: 52820
[startup+930.029 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 9465
Raw data (stat): 9465 (Pueblo-v2) R 9464 21152 21151 0 -1 0 11560 0 0 0 92986 30 0 0 25 0 1 0 850414644 54087680 11534 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13205 11534 566 18 0 13187 0
vsize: 52820
[startup+940.029 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 9465
Raw data (stat): 9465 (Pueblo-v2) R 9464 21152 21151 0 -1 0 11560 0 0 0 93986 30 0 0 25 0 1 0 850414644 54087680 11534 4294967295 134512640 134581267 3221224576 3221223504 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13205 11534 566 18 0 13187 0
vsize: 52820
[startup+950.029 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 9465
Raw data (stat): 9465 (Pueblo-v2) R 9464 21152 21151 0 -1 0 11561 0 0 0 94986 30 0 0 25 0 1 0 850414644 54087680 11535 4294967295 134512640 134581267 3221224576 3221223472 134517883 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13205 11535 566 18 0 13187 0
vsize: 52820
[startup+960.029 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 9465
Raw data (stat): 9465 (Pueblo-v2) R 9464 21152 21151 0 -1 0 11561 0 0 0 95987 30 0 0 25 0 1 0 850414644 54087680 11535 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13205 11535 566 18 0 13187 0
vsize: 52820
[startup+970.029 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 9465
Raw data (stat): 9465 (Pueblo-v2) R 9464 21152 21151 0 -1 0 11561 0 0 0 96987 30 0 0 25 0 1 0 850414644 54087680 11535 4294967295 134512640 134581267 3221224576 3221223568 134561106 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13205 11535 566 18 0 13187 0
vsize: 52820
[startup+980.029 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 9465
Raw data (stat): 9465 (Pueblo-v2) R 9464 21152 21151 0 -1 0 11561 0 0 0 97987 30 0 0 25 0 1 0 850414644 54087680 11535 4294967295 134512640 134581267 3221224576 3221223504 134519853 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13205 11535 566 18 0 13187 0
vsize: 52820
[startup+990.03 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 9465
Raw data (stat): 9465 (Pueblo-v2) R 9464 21152 21151 0 -1 0 11561 0 0 0 98987 30 0 0 25 0 1 0 850414644 54087680 11535 4294967295 134512640 134581267 3221224576 3221223472 134528093 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13205 11535 566 18 0 13187 0
vsize: 52820
[startup+1000.03 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 9465
Raw data (stat): 9465 (Pueblo-v2) R 9464 21152 21151 0 -1 0 13038 0 0 0 99984 33 0 0 25 0 1 0 850414644 60153856 13012 4294967295 134512640 134581267 3221224576 3221223352 1075291826 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14686 13012 566 18 0 14668 0
vsize: 58744
[startup+1010.03 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 9465
Raw data (stat): 9465 (Pueblo-v2) R 9464 21152 21151 0 -1 0 13923 0 0 0 100982 35 0 0 25 0 1 0 850414644 63692800 13897 4294967295 134512640 134581267 3221224576 3221223504 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15550 13897 566 18 0 15532 0
vsize: 62200
[startup+1020.03 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 9465
Raw data (stat): 9465 (Pueblo-v2) R 9464 21152 21151 0 -1 0 14129 0 0 0 101982 35 0 0 25 0 1 0 850414644 64618496 14103 4294967295 134512640 134581267 3221224576 3221223568 134561084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15776 14103 566 18 0 15758 0
vsize: 63104
[startup+1030.03 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 9465
Raw data (stat): 9465 (Pueblo-v2) R 9464 21152 21151 0 -1 0 14129 0 0 0 102982 35 0 0 25 0 1 0 850414644 64618496 14103 4294967295 134512640 134581267 3221224576 3221223504 134519829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15776 14103 566 18 0 15758 0
vsize: 63104
[startup+1040.03 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 9465
Raw data (stat): 9465 (Pueblo-v2) R 9464 21152 21151 0 -1 0 14129 0 0 0 103983 35 0 0 25 0 1 0 850414644 64618496 14103 4294967295 134512640 134581267 3221224576 3221223504 134519803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15776 14103 566 18 0 15758 0
vsize: 63104
[startup+1050.03 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 9465
Raw data (stat): 9465 (Pueblo-v2) R 9464 21152 21151 0 -1 0 14129 0 0 0 104983 35 0 0 25 0 1 0 850414644 64618496 14103 4294967295 134512640 134581267 3221224576 3221223504 134519939 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15776 14103 566 18 0 15758 0
vsize: 63104
[startup+1060.03 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 9465
Raw data (stat): 9465 (Pueblo-v2) R 9464 21152 21151 0 -1 0 14129 0 0 0 105983 35 0 0 25 0 1 0 850414644 64618496 14103 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15776 14103 566 18 0 15758 0
vsize: 63104
[startup+1070.03 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 9465
Raw data (stat): 9465 (Pueblo-v2) R 9464 21152 21151 0 -1 0 14129 0 0 0 106983 35 0 0 25 0 1 0 850414644 64618496 14103 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15776 14103 566 18 0 15758 0
vsize: 63104
[startup+1080.03 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 9465
Raw data (stat): 9465 (Pueblo-v2) R 9464 21152 21151 0 -1 0 14130 0 0 0 107983 35 0 0 25 0 1 0 850414644 64618496 14104 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15776 14104 566 18 0 15758 0
vsize: 63104
[startup+1090.03 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 9465
Raw data (stat): 9465 (Pueblo-v2) R 9464 21152 21151 0 -1 0 14130 0 0 0 108984 35 0 0 25 0 1 0 850414644 64618496 14104 4294967295 134512640 134581267 3221224576 3221223536 134519781 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15776 14104 566 18 0 15758 0
vsize: 63104
[startup+1100.03 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 9465
Raw data (stat): 9465 (Pueblo-v2) R 9464 21152 21151 0 -1 0 14130 0 0 0 109984 35 0 0 25 0 1 0 850414644 64618496 14104 4294967295 134512640 134581267 3221224576 3221223504 134519803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15776 14104 566 18 0 15758 0
vsize: 63104
[startup+1110.03 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 9465
Raw data (stat): 9465 (Pueblo-v2) R 9464 21152 21151 0 -1 0 14131 0 0 0 110984 35 0 0 25 0 1 0 850414644 64618496 14105 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15776 14105 566 18 0 15758 0
vsize: 63104
[startup+1120.03 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 9465
Raw data (stat): 9465 (Pueblo-v2) R 9464 21152 21151 0 -1 0 14131 0 0 0 111984 35 0 0 25 0 1 0 850414644 64618496 14105 4294967295 134512640 134581267 3221224576 3221223504 134519803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15776 14105 566 18 0 15758 0
vsize: 63104
[startup+1130.04 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 9465
Raw data (stat): 9465 (Pueblo-v2) R 9464 21152 21151 0 -1 0 14131 0 0 0 112984 35 0 0 25 0 1 0 850414644 64618496 14105 4294967295 134512640 134581267 3221224576 3221223504 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15776 14105 566 18 0 15758 0
vsize: 63104
[startup+1140.04 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 9465
Raw data (stat): 9465 (Pueblo-v2) R 9464 21152 21151 0 -1 0 14131 0 0 0 113985 35 0 0 25 0 1 0 850414644 64618496 14105 4294967295 134512640 134581267 3221224576 3221223504 134519958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15776 14105 566 18 0 15758 0
vsize: 63104
[startup+1150.04 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 9465
Raw data (stat): 9465 (Pueblo-v2) R 9464 21152 21151 0 -1 0 14131 0 0 0 114985 35 0 0 25 0 1 0 850414644 64618496 14105 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15776 14105 566 18 0 15758 0
vsize: 63104
[startup+1160.04 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 9465
Raw data (stat): 9465 (Pueblo-v2) R 9464 21152 21151 0 -1 0 14131 0 0 0 115985 35 0 0 25 0 1 0 850414644 64618496 14105 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15776 14105 566 18 0 15758 0
vsize: 63104
[startup+1170.04 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 9465
Raw data (stat): 9465 (Pueblo-v2) R 9464 21152 21151 0 -1 0 14165 0 0 0 116985 36 0 0 25 0 1 0 850414644 64749568 14139 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15808 14139 566 18 0 15790 0
vsize: 63232
[startup+1180.04 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 9465
Raw data (stat): 9465 (Pueblo-v2) R 9464 21152 21151 0 -1 0 14588 0 0 0 117984 37 0 0 25 0 1 0 850414644 66465792 14562 4294967295 134512640 134581267 3221224576 3221223504 134519958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16227 14562 566 18 0 16209 0
vsize: 64908
[startup+1190.04 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 9465
Raw data (stat): 9465 (Pueblo-v2) R 9464 21152 21151 0 -1 0 14985 0 0 0 118983 38 0 0 25 0 1 0 850414644 68055040 14959 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16615 14959 566 18 0 16597 0
vsize: 66460
[startup+1200.04 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 9465
Raw data (stat): 9465 (Pueblo-v2) R 9464 21152 21151 0 -1 0 15277 0 0 0 119982 39 0 0 25 0 1 0 850414644 69398528 15251 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16943 15251 566 18 0 16925 0
vsize: 67772
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.07 s]
Raw data (loadavg): 1.00 0.99 0.97 1/54 9465
Raw data (stat): 9465 (Pueblo-v2) Z 9464 21152 21151 0 -1 1036 15277 0 0 0 119982 42 0 0 25 0 1 0 850414644 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.07
CPU time (s): 1200.25
CPU user time (s): 1199.82
CPU system time (s): 0.427934
CPU usage (%): 100.015
Max. virtual memory (Kb): 67772
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####