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/uclid_pb_benchmarks/normalized-cache-ibm-q-unbounded.Ih1arity.ucl.opb
MD5SUM	2fc65c15b9b26fc3028e8a890f1d86ad
Bench Category	no optimization function (SAT)
Has Objective Function	NO
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	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	131
Number of bits of the biggest number in a constraint	8
Biggest sum of numbers in a constraint	513
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1075.62
Number of variables	201731
Total number of constraints	592525
Number of constraints which are clauses	579429
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	13096
Minimum length of a constraint	1
Maximum length of a constraint	15
Trace number 38502

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-02 11:12:20 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26552 boxname=wulflinc4 idbench=282 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  2fc65c15b9b26fc3028e8a890f1d86ad  /oldhome/oroussel/tmp/wulflinc4/normalized-cache-ibm-q-unbounded.Ih1arity.ucl.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-cache-ibm-q-unbounded.Ih1arity.ucl.opb
IDLAUNCH: 26552
/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:        640344 kB
Buffers:         34080 kB
Cached:         337720 kB
SwapCached:        568 kB
Active:          72772 kB
Inactive:       301148 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        640092 kB
SwapTotal:     2097136 kB
SwapFree:      2095660 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5312 kB
Slab:            14664 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 11:32:22 (client local time) WITH STATUS 0 IN 1200.26 SECONDS
stats: 26552 7 1200.26 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.89 0.97 0.97 2/54 8087
Raw data (stat): 8087 (runsolver) R 8086 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 849322728 884736 94 4294967295 134512640 135332820 3221224448 3221219628 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.0003 s]
Raw data (loadavg): 0.91 0.97 0.97 2/54 8087
Raw data (stat): 8087 (Pueblo-v2) R 8086 21152 21151 0 -1 0 10249 0 0 0 970 28 0 0 25 0 1 0 849322728 47628288 10224 4294967295 134512640 134581267 3221224560 3217028796 1075310604 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11628 10224 566 18 0 11610 0
vsize: 46512
[startup+20.0002 s]
Raw data (loadavg): 0.92 0.97 0.97 2/54 8087
Raw data (stat): 8087 (Pueblo-v2) R 8086 21152 21151 0 -1 0 19568 0 0 0 1944 54 0 0 25 0 1 0 849322728 85819392 19543 4294967295 134512640 134581267 3221224560 3217028892 1075310628 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20952 19543 566 18 0 20934 0
vsize: 83808
[startup+30.0005 s]
Raw data (loadavg): 0.93 0.97 0.97 2/54 8087
Raw data (stat): 8087 (Pueblo-v2) R 8086 21152 21151 0 -1 0 134642 0 0 0 2706 292 0 0 25 0 1 0 849322728 128184320 28561 4294967295 134512640 134581267 3221224560 3221223528 1075710225 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31295 28561 566 18 0 31277 0
vsize: 125180
[startup+40.001 s]
Raw data (loadavg): 0.94 0.97 0.97 2/54 8087
Raw data (stat): 8087 (Pueblo-v2) R 8086 21152 21151 0 -1 0 424118 0 0 0 3115 883 0 0 25 0 1 0 849322728 128184320 28561 4294967295 134512640 134581267 3221224560 3221223528 1075710225 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31493 28570 566 18 0 31475 0
vsize: 125180
[startup+50.0017 s]
Raw data (loadavg): 0.95 0.97 0.97 2/54 8087
Raw data (stat): 8087 (Pueblo-v2) R 8086 21152 21151 0 -1 0 713524 0 0 0 3536 1463 0 0 25 0 1 0 849322728 128995328 28689 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31493 28697 566 18 0 31475 0
vsize: 125972
[startup+60.0016 s]
Raw data (loadavg): 0.96 0.97 0.97 3/54 8087
Raw data (stat): 8087 (Pueblo-v2) R 8086 21152 21151 0 -1 0 1003221 0 0 0 3957 2041 0 0 25 0 1 0 849322728 128995328 28712 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31493 28719 566 18 0 31475 0
vsize: 125972
[startup+70.0015 s]
Raw data (loadavg): 0.97 0.97 0.97 2/54 8087
Raw data (stat): 8087 (Pueblo-v2) R 8086 21152 21151 0 -1 0 1293122 0 0 0 4371 2628 0 0 25 0 1 0 849322728 128995328 28741 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31493 28748 566 18 0 31475 0
vsize: 125972
[startup+80.0023 s]
Raw data (loadavg): 0.97 0.97 0.97 2/54 8087
Raw data (stat): 8087 (Pueblo-v2) R 8086 21152 21151 0 -1 0 1583069 0 0 0 4793 3206 0 0 25 0 1 0 849322728 128995328 28618 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31493 28626 566 18 0 31475 0
vsize: 125972
[startup+90.0021 s]
Raw data (loadavg): 0.97 0.97 0.97 2/54 8087
Raw data (stat): 8087 (Pueblo-v2) R 8086 21152 21151 0 -1 0 1873280 0 0 0 5207 3792 0 0 25 0 1 0 849322728 128184320 28561 4294967295 134512640 134581267 3221224560 3221223528 1075710225 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31493 28569 566 18 0 31475 0
vsize: 125180
[startup+100.003 s]
Raw data (loadavg): 0.98 0.97 0.97 2/54 8087
Raw data (stat): 8087 (Pueblo-v2) R 8086 21152 21151 0 -1 0 2163436 0 0 0 5627 4372 0 0 25 0 1 0 849322728 128995328 28647 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31493 28655 566 18 0 31475 0
vsize: 125972
[startup+110.004 s]
Raw data (loadavg): 0.98 0.97 0.97 2/54 8087
Raw data (stat): 8087 (Pueblo-v2) R 8086 21152 21151 0 -1 0 2453651 0 0 0 6040 4959 0 0 25 0 1 0 849322728 128995328 28594 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31493 28603 566 18 0 31475 0
vsize: 125972
[startup+120.004 s]
Raw data (loadavg): 0.98 0.97 0.97 2/54 8087
Raw data (stat): 8087 (Pueblo-v2) R 8086 21152 21151 0 -1 0 2742698 0 0 0 6456 5543 0 0 25 0 1 0 849322728 128995328 28759 4294967295 134512640 134581267 3221224560 3221223568 134531292 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31493 28759 566 18 0 31475 0
vsize: 125972
[startup+130.004 s]
Raw data (loadavg): 0.98 0.97 0.97 2/54 8087
Raw data (stat): 8087 (Pueblo-v2) R 8086 21152 21151 0 -1 0 3032404 0 0 0 6874 6126 0 0 25 0 1 0 849322728 128995328 28593 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31493 28602 566 18 0 31475 0
vsize: 125972
[startup+140.003 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8087
Raw data (stat): 8087 (Pueblo-v2) R 8086 21152 21151 0 -1 0 3322456 0 0 0 7298 6702 0 0 25 0 1 0 849322728 128995328 28575 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31493 28584 566 18 0 31475 0
vsize: 125972
[startup+150.004 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8087
Raw data (stat): 8087 (Pueblo-v2) R 8086 21152 21151 0 -1 0 3612738 0 0 0 7713 7287 0 0 25 0 1 0 849322728 128995328 28589 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31493 28599 566 18 0 31475 0
vsize: 125972
[startup+160.004 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8087
Raw data (stat): 8087 (Pueblo-v2) R 8086 21152 21151 0 -1 0 3903082 0 0 0 8126 7874 0 0 25 0 1 0 849322728 128995328 28666 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31493 28673 566 18 0 31475 0
vsize: 125972
[startup+170.004 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8087
Raw data (stat): 8087 (Pueblo-v2) R 8086 21152 21151 0 -1 0 4193423 0 0 0 8550 8451 0 0 25 0 1 0 849322728 128995328 28738 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31493 28746 566 18 0 31475 0
vsize: 125972
[startup+180.004 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8087
Raw data (stat): 8087 (Pueblo-v2) R 8086 21152 21151 0 -1 0 4483545 0 0 0 8971 9030 0 0 25 0 1 0 849322728 128995328 28593 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31493 28601 566 18 0 31475 0
vsize: 125972
[startup+190.004 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8087
Raw data (stat): 8087 (Pueblo-v2) R 8086 21152 21151 0 -1 0 4773359 0 0 0 9388 9613 0 0 25 0 1 0 849322728 128995328 28732 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31493 28739 566 18 0 31475 0
vsize: 125972
[startup+200.005 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8087
Raw data (stat): 8087 (Pueblo-v2) R 8086 21152 21151 0 -1 0 5063064 0 0 0 9804 10197 0 0 25 0 1 0 849322728 128995328 28565 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31493 28574 566 18 0 31475 0
vsize: 125972
[startup+210.005 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8087
Raw data (stat): 8087 (Pueblo-v2) R 8086 21152 21151 0 -1 0 5353328 0 0 0 10215 10786 0 0 25 0 1 0 849322728 128995328 28759 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31493 28759 566 18 0 31475 0
vsize: 125972
[startup+220.004 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8087
Raw data (stat): 8087 (Pueblo-v2) R 8086 21152 21151 0 -1 0 5643794 0 0 0 10636 11365 0 0 25 0 1 0 849322728 128995328 28759 4294967295 134512640 134581267 3221224560 3221223568 134531292 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31493 28759 566 18 0 31475 0
vsize: 125972
[startup+230.004 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8087
Raw data (stat): 8087 (Pueblo-v2) R 8086 21152 21151 0 -1 0 5934762 0 0 0 11053 11948 0 0 25 0 1 0 849322728 128995328 28667 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31493 28674 566 18 0 31475 0
vsize: 125972
[startup+240.004 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8087
Raw data (stat): 8087 (Pueblo-v2) R 8086 21152 21151 0 -1 0 6225123 0 0 0 11470 12532 0 0 25 0 1 0 849322728 128995328 28562 4294967295 134512640 134581267 3221224560 3221223348 1075298458 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31493 28572 566 18 0 31475 0
vsize: 125972
[startup+250.005 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8087
Raw data (stat): 8087 (Pueblo-v2) R 8086 21152 21151 0 -1 0 6515786 0 0 0 11888 13114 0 0 25 0 1 0 849322728 128995328 28759 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31493 28759 566 18 0 31475 0
vsize: 125972
[startup+260.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8087
Raw data (stat): 8087 (Pueblo-v2) R 8086 21152 21151 0 -1 0 6806533 0 0 0 12309 13694 0 0 25 0 1 0 849322728 128995328 28644 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31493 28653 566 18 0 31475 0
vsize: 125972
[startup+270.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8087
Raw data (stat): 8087 (Pueblo-v2) R 8086 21152 21151 0 -1 0 7096333 0 0 0 12729 14274 0 0 25 0 1 0 849322728 128995328 28572 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31493 28582 566 18 0 31475 0
vsize: 125972
[startup+280.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8087
Raw data (stat): 8087 (Pueblo-v2) R 8086 21152 21151 0 -1 0 7386194 0 0 0 13149 14854 0 0 25 0 1 0 849322728 128995328 28759 4294967295 134512640 134581267 3221224560 3221223568 134531292 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31493 28759 566 18 0 31475 0
vsize: 125972
[startup+290.005 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8087
Raw data (stat): 8087 (Pueblo-v2) R 8086 21152 21151 0 -1 0 7676250 0 0 0 13566 15436 0 0 25 0 1 0 849322728 128995328 28745 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31493 28752 566 18 0 31475 0
vsize: 125972
[startup+300.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8087
Raw data (stat): 8087 (Pueblo-v2) R 8086 21152 21151 0 -1 0 7966442 0 0 0 13976 16027 0 0 25 0 1 0 849322728 128995328 28669 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31493 28677 566 18 0 31475 0
vsize: 125972
[startup+310.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8087
Raw data (stat): 8087 (Pueblo-v2) R 8086 21152 21151 0 -1 0 8256881 0 0 0 14395 16608 0 0 25 0 1 0 849322728 128995328 28642 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31493 28650 566 18 0 31475 0
vsize: 125972
[startup+320.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8087
Raw data (stat): 8087 (Pueblo-v2) R 8086 21152 21151 0 -1 0 8547662 0 0 0 14805 17198 0 0 25 0 1 0 849322728 128995328 28759 4294967295 134512640 134581267 3221224560 3221223568 134531293 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31493 28759 566 18 0 31475 0
vsize: 125972
[startup+330.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8087
Raw data (stat): 8087 (Pueblo-v2) R 8086 21152 21151 0 -1 0 8838394 0 0 0 15232 17771 0 0 25 0 1 0 849322728 128995328 28629 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31493 28638 566 18 0 31475 0
vsize: 125972
[startup+340.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8087
Raw data (stat): 8087 (Pueblo-v2) R 8086 21152 21151 0 -1 0 9129089 0 0 0 15658 18346 0 0 25 0 1 0 849322728 128995328 28660 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31493 28668 566 18 0 31475 0
vsize: 125972
[startup+350.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8087
Raw data (stat): 8087 (Pueblo-v2) R 8086 21152 21151 0 -1 0 9419759 0 0 0 16076 18928 0 0 25 0 1 0 849322728 128995328 28666 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31493 28675 566 18 0 31475 0
vsize: 125972
[startup+360.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8087
Raw data (stat): 8087 (Pueblo-v2) R 8086 21152 21151 0 -1 0 9710318 0 0 0 16497 19507 0 0 25 0 1 0 849322728 128995328 28759 4294967295 134512640 134581267 3221224560 3221223568 134531293 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31493 28759 566 18 0 31475 0
vsize: 125972
[startup+370.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8087
Raw data (stat): 8087 (Pueblo-v2) R 8086 21152 21151 0 -1 0 10000625 0 0 0 16917 20087 0 0 25 0 1 0 849322728 128995328 28600 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31493 28609 566 18 0 31475 0
vsize: 125972
[startup+380.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8087
Raw data (stat): 8087 (Pueblo-v2) R 8086 21152 21151 0 -1 0 10290928 0 0 0 17341 20664 0 0 25 0 1 0 849322728 128995328 28635 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31493 28643 566 18 0 31475 0
vsize: 125972
[startup+390.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8087
Raw data (stat): 8087 (Pueblo-v2) R 8086 21152 21151 0 -1 0 10581122 0 0 0 17765 21239 0 0 25 0 1 0 849322728 128995328 28759 4294967295 134512640 134581267 3221224560 3221223568 134531293 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31295 28561 566 18 0 31277 0
vsize: 125972
[startup+400.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8087
Raw data (stat): 8087 (Pueblo-v2) R 8086 21152 21151 0 -1 0 10871160 0 0 0 18185 21820 0 0 25 0 1 0 849322728 128995328 28727 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31493 28734 566 18 0 31475 0
vsize: 125972
[startup+410.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8087
Raw data (stat): 8087 (Pueblo-v2) R 8086 21152 21151 0 -1 0 11160985 0 0 0 18598 22406 0 0 25 0 1 0 849322728 128995328 28680 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31493 28688 566 18 0 31475 0
vsize: 125972
[startup+420.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8087
Raw data (stat): 8087 (Pueblo-v2) R 8086 21152 21151 0 -1 0 11450866 0 0 0 19013 22992 0 0 25 0 1 0 849322728 128995328 28689 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31493 28697 566 18 0 31475 0
vsize: 125972
[startup+430.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8087
Raw data (stat): 8087 (Pueblo-v2) R 8086 21152 21151 0 -1 0 11740864 0 0 0 19439 23566 0 0 25 0 1 0 849322728 128995328 28617 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31493 28626 566 18 0 31475 0
vsize: 125972
[startup+440.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8087
Raw data (stat): 8087 (Pueblo-v2) R 8086 21152 21151 0 -1 0 12030284 0 0 0 19852 24153 0 0 25 0 1 0 849322728 128995328 28759 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31493 28759 566 18 0 31475 0
vsize: 125972
[startup+450.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8087
Raw data (stat): 8087 (Pueblo-v2) R 8086 21152 21151 0 -1 0 12319668 0 0 0 20269 24737 0 0 25 0 1 0 849322728 128995328 28667 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31493 28674 566 18 0 31475 0
vsize: 125972
[startup+460.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8087
Raw data (stat): 8087 (Pueblo-v2) R 8086 21152 21151 0 -1 0 12609236 0 0 0 20682 25323 0 0 25 0 1 0 849322728 128995328 28759 4294967295 134512640 134581267 3221224560 3221223568 134531292 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31295 28561 566 18 0 31277 0
vsize: 125972
[startup+470.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8087
Raw data (stat): 8087 (Pueblo-v2) R 8086 21152 21151 0 -1 0 12899936 0 0 0 21098 25908 0 0 25 0 1 0 849322728 128995328 28597 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31493 28606 566 18 0 31475 0
vsize: 125972
[startup+480.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8087
Raw data (stat): 8087 (Pueblo-v2) R 8086 21152 21151 0 -1 0 13189598 0 0 0 21521 26485 0 0 25 0 1 0 849322728 129519616 28783 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31621 28791 566 18 0 31603 0
vsize: 126484
[startup+490.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8087
Raw data (stat): 8087 (Pueblo-v2) R 8086 21152 21151 0 -1 0 13479425 0 0 0 21944 27062 0 0 25 0 1 0 849322728 129519616 28738 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31621 28745 566 18 0 31603 0
vsize: 126484
[startup+500.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8087
Raw data (stat): 8087 (Pueblo-v2) R 8086 21152 21151 0 -1 0 13769785 0 0 0 22360 27646 0 0 25 0 1 0 849322728 129519616 28632 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31621 28641 566 18 0 31603 0
vsize: 126484
[startup+510.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8087
Raw data (stat): 8087 (Pueblo-v2) R 8086 21152 21151 0 -1 0 14060086 0 0 0 22770 28237 0 0 25 0 1 0 849322728 129519616 28665 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31621 28674 566 18 0 31603 0
vsize: 126484
[startup+520.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8087
Raw data (stat): 8087 (Pueblo-v2) R 8086 21152 21151 0 -1 0 14349639 0 0 0 23191 28816 0 0 25 0 1 0 849322728 129519616 28742 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31621 28749 566 18 0 31603 0
vsize: 126484
[startup+530.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8087
Raw data (stat): 8087 (Pueblo-v2) R 8086 21152 21151 0 -1 0 14638605 0 0 0 23606 29401 0 0 25 0 1 0 849322728 129519616 28826 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31621 28832 566 18 0 31603 0
vsize: 126484
[startup+540.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8087
Raw data (stat): 8087 (Pueblo-v2) R 8086 21152 21151 0 -1 0 14927701 0 0 0 24014 29993 0 0 25 0 1 0 849322728 129519616 28645 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31621 28653 566 18 0 31603 0
vsize: 126484
[startup+550.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8087
Raw data (stat): 8087 (Pueblo-v2) R 8086 21152 21151 0 -1 0 15217361 0 0 0 24434 30573 0 0 25 0 1 0 849322728 129519616 28828 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31621 28834 566 18 0 31603 0
vsize: 126484
[startup+560.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8087
Raw data (stat): 8087 (Pueblo-v2) R 8086 21152 21151 0 -1 0 15506905 0 0 0 24849 31159 0 0 25 0 1 0 849322728 129519616 28698 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31621 28706 566 18 0 31603 0
vsize: 126484
[startup+570.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8087
Raw data (stat): 8087 (Pueblo-v2) R 8086 21152 21151 0 -1 0 15796456 0 0 0 25264 31744 0 0 25 0 1 0 849322728 129519616 28773 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31621 28780 566 18 0 31603 0
vsize: 126484
[startup+580.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8087
Raw data (stat): 8087 (Pueblo-v2) R 8086 21152 21151 0 -1 0 16085918 0 0 0 25685 32323 0 0 25 0 1 0 849322728 129519616 28759 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31621 28767 566 18 0 31603 0
vsize: 126484
[startup+590.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8087
Raw data (stat): 8087 (Pueblo-v2) R 8086 21152 21151 0 -1 0 16375609 0 0 0 26107 32900 0 0 25 0 1 0 849322728 129519616 28776 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31621 28784 566 18 0 31603 0
vsize: 126484
[startup+600.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8087
Raw data (stat): 8087 (Pueblo-v2) R 8086 21152 21151 0 -1 0 16665476 0 0 0 26522 33487 0 0 25 0 1 0 849322728 129519616 28771 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31621 28779 566 18 0 31603 0
vsize: 126484
[startup+610.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8087
Raw data (stat): 8087 (Pueblo-v2) R 8086 21152 21151 0 -1 0 16955231 0 0 0 26938 34070 0 0 25 0 1 0 849322728 129519616 28654 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31621 28663 566 18 0 31603 0
vsize: 126484
[startup+620.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8087
Raw data (stat): 8087 (Pueblo-v2) R 8086 21152 21151 0 -1 0 17245038 0 0 0 27350 34659 0 0 25 0 1 0 849322728 129519616 28787 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31621 28794 566 18 0 31603 0
vsize: 126484
[startup+630.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8087
Raw data (stat): 8087 (Pueblo-v2) R 8086 21152 21151 0 -1 0 17535141 0 0 0 27774 35234 0 0 25 0 1 0 849322728 129519616 28820 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31621 28827 566 18 0 31603 0
vsize: 126484
[startup+640.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8087
Raw data (stat): 8087 (Pueblo-v2) R 8086 21152 21151 0 -1 0 17825238 0 0 0 28187 35821 0 0 25 0 1 0 849322728 129519616 28847 4294967295 134512640 134581267 3221224560 3221223568 134531293 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31423 28649 566 18 0 31405 0
vsize: 126484
[startup+650.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8087
Raw data (stat): 8087 (Pueblo-v2) R 8086 21152 21151 0 -1 0 18115655 0 0 0 28605 36404 0 0 25 0 1 0 849322728 129519616 28798 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31621 28806 566 18 0 31603 0
vsize: 126484
[startup+660.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8087
Raw data (stat): 8087 (Pueblo-v2) R 8086 21152 21151 0 -1 0 18405869 0 0 0 29018 36991 0 0 25 0 1 0 849322728 129519616 28744 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31621 28752 566 18 0 31603 0
vsize: 126484
[startup+670.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8087
Raw data (stat): 8087 (Pueblo-v2) R 8086 21152 21151 0 -1 0 18696027 0 0 0 29443 37566 0 0 25 0 1 0 849322728 129519616 28832 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31621 28840 566 18 0 31603 0
vsize: 126484
[startup+680.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8087
Raw data (stat): 8087 (Pueblo-v2) R 8086 21152 21151 0 -1 0 18986368 0 0 0 29869 38141 0 0 25 0 1 0 849322728 129519616 28707 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31621 28716 566 18 0 31603 0
vsize: 126484
[startup+690.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8087
Raw data (stat): 8087 (Pueblo-v2) R 8086 21152 21151 0 -1 0 19276642 0 0 0 30288 38721 0 0 25 0 1 0 849322728 129519616 28713 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31621 28722 566 18 0 31603 0
vsize: 126484
[startup+700.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8087
Raw data (stat): 8087 (Pueblo-v2) R 8086 21152 21151 0 -1 0 19567053 0 0 0 30707 39303 0 0 25 0 1 0 849322728 129519616 28856 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31621 28856 566 18 0 31603 0
vsize: 126484
[startup+710.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8087
Raw data (stat): 8087 (Pueblo-v2) R 8086 21152 21151 0 -1 0 19857000 0 0 0 31136 39874 0 0 25 0 1 0 849322728 129519616 28733 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31621 28741 566 18 0 31603 0
vsize: 126484
[startup+720.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8087
Raw data (stat): 8087 (Pueblo-v2) R 8086 21152 21151 0 -1 0 20146978 0 0 0 31551 40459 0 0 25 0 1 0 849322728 129519616 28839 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31621 28846 566 18 0 31603 0
vsize: 126484
[startup+730.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8087
Raw data (stat): 8087 (Pueblo-v2) R 8086 21152 21151 0 -1 0 20436956 0 0 0 31969 41042 0 0 25 0 1 0 849322728 129519616 28747 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31621 28755 566 18 0 31603 0
vsize: 126484
[startup+740.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8087
Raw data (stat): 8087 (Pueblo-v2) R 8086 21152 21151 0 -1 0 20726931 0 0 0 32388 41623 0 0 25 0 1 0 849322728 129519616 28850 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31621 28857 566 18 0 31603 0
vsize: 126484
[startup+750.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8087
Raw data (stat): 8087 (Pueblo-v2) R 8086 21152 21151 0 -1 0 21017014 0 0 0 32802 42209 0 0 25 0 1 0 849322728 128708608 28665 4294967295 134512640 134581267 3221224560 3221223528 1075710225 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31621 28673 566 18 0 31603 0
vsize: 125692
[startup+760.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8087
Raw data (stat): 8087 (Pueblo-v2) R 8086 21152 21151 0 -1 0 21306887 0 0 0 33220 42792 0 0 25 0 1 0 849322728 128708608 28666 4294967295 134512640 134581267 3221224560 3221223528 1075710225 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31621 28674 566 18 0 31603 0
vsize: 125692
[startup+770.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8087
Raw data (stat): 8087 (Pueblo-v2) R 8086 21152 21151 0 -1 0 21596715 0 0 0 33639 43372 0 0 25 0 1 0 849322728 129519616 28820 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31621 28828 566 18 0 31603 0
vsize: 126484
[startup+780.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8087
Raw data (stat): 8087 (Pueblo-v2) R 8086 21152 21151 0 -1 0 21886603 0 0 0 34060 43952 0 0 25 0 1 0 849322728 129519616 28836 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31621 28844 566 18 0 31603 0
vsize: 126484
[startup+790.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8087
Raw data (stat): 8087 (Pueblo-v2) R 8086 21152 21151 0 -1 0 22176255 0 0 0 34474 44537 0 0 25 0 1 0 849322728 129519616 28815 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31621 28823 566 18 0 31603 0
vsize: 126484
[startup+800.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8087
Raw data (stat): 8087 (Pueblo-v2) R 8086 21152 21151 0 -1 0 22465787 0 0 0 34892 45120 0 0 25 0 1 0 849322728 129519616 28672 4294967295 134512640 134581267 3221224560 3221223348 1075298458 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31621 28682 566 18 0 31603 0
vsize: 126484
[startup+810.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8087
Raw data (stat): 8087 (Pueblo-v2) R 8086 21152 21151 0 -1 0 22755521 0 0 0 35309 45703 0 0 25 0 1 0 849322728 129519616 28732 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31621 28741 566 18 0 31603 0
vsize: 126484
[startup+820.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8087
Raw data (stat): 8087 (Pueblo-v2) R 8086 21152 21151 0 -1 0 23045732 0 0 0 35727 46285 0 0 25 0 1 0 849322728 128708608 28675 4294967295 134512640 134581267 3221224560 3221223528 1075710225 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31621 28684 566 18 0 31603 0
vsize: 125692
[startup+830.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8087
Raw data (stat): 8087 (Pueblo-v2) R 8086 21152 21151 0 -1 0 23335965 0 0 0 36146 46866 0 0 25 0 1 0 849322728 129519616 28838 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31621 28846 566 18 0 31603 0
vsize: 126484
[startup+840.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8087
Raw data (stat): 8087 (Pueblo-v2) R 8086 21152 21151 0 -1 0 23626383 0 0 0 36568 47444 0 0 25 0 1 0 849322728 129519616 28790 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31621 28798 566 18 0 31603 0
vsize: 126484
[startup+850.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8087
Raw data (stat): 8087 (Pueblo-v2) R 8086 21152 21151 0 -1 0 23917070 0 0 0 36995 48018 0 0 25 0 1 0 849322728 129519616 28813 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31621 28820 566 18 0 31603 0
vsize: 126484
[startup+860.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8087
Raw data (stat): 8087 (Pueblo-v2) R 8086 21152 21151 0 -1 0 24207788 0 0 0 37413 48600 0 0 25 0 1 0 849322728 129519616 28867 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31621 28874 566 18 0 31603 0
vsize: 126484
[startup+870.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8087
Raw data (stat): 8087 (Pueblo-v2) R 8086 21152 21151 0 -1 0 24496925 0 0 0 37829 49185 0 0 25 0 1 0 849322728 129519616 28726 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31621 28735 566 18 0 31603 0
vsize: 126484
[startup+880.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8087
Raw data (stat): 8087 (Pueblo-v2) R 8086 21152 21151 0 -1 0 24786302 0 0 0 38244 49769 0 0 25 0 1 0 849322728 129519616 28825 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31621 28833 566 18 0 31603 0
vsize: 126484
[startup+890.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8087
Raw data (stat): 8087 (Pueblo-v2) R 8086 21152 21151 0 -1 0 25075409 0 0 0 38660 50353 0 0 25 0 1 0 849322728 129519616 28852 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31621 28860 566 18 0 31603 0
vsize: 126484
[startup+900.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8087
Raw data (stat): 8087 (Pueblo-v2) R 8086 21152 21151 0 -1 0 25364669 0 0 0 39072 50942 0 0 25 0 1 0 849322728 129519616 28834 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31621 28842 566 18 0 31603 0
vsize: 126484
[startup+910.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8087
Raw data (stat): 8087 (Pueblo-v2) R 8086 21152 21151 0 -1 0 25654395 0 0 0 39491 51523 0 0 25 0 1 0 849322728 129519616 28886 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31621 28886 566 18 0 31603 0
vsize: 126484
[startup+920.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8087
Raw data (stat): 8087 (Pueblo-v2) R 8086 21152 21151 0 -1 0 25943872 0 0 0 39914 52100 0 0 25 0 1 0 849322728 129519616 28887 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31621 28887 566 18 0 31603 0
vsize: 126484
[startup+930.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8087
Raw data (stat): 8087 (Pueblo-v2) R 8086 21152 21151 0 -1 0 26232756 0 0 0 40327 52688 0 0 25 0 1 0 849322728 130043904 28692 4294967295 134512640 134581267 3221224560 3221223348 1075298458 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31749 28701 566 18 0 31731 0
vsize: 126996
[startup+940.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8087
Raw data (stat): 8087 (Pueblo-v2) R 8086 21152 21151 0 -1 0 26521639 0 0 0 40746 53268 0 0 25 0 1 0 849322728 130043904 28890 4294967295 134512640 134581267 3221224560 3221223568 134531293 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31749 28890 566 18 0 31731 0
vsize: 126996
[startup+950.023 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8087
Raw data (stat): 8087 (Pueblo-v2) R 8086 21152 21151 0 -1 0 26810002 0 0 0 41161 53854 0 0 25 0 1 0 849322728 130043904 28767 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31749 28776 566 18 0 31731 0
vsize: 126996
[startup+960.023 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8087
Raw data (stat): 8087 (Pueblo-v2) R 8086 21152 21151 0 -1 0 27098519 0 0 0 41574 54441 0 0 25 0 1 0 849322728 130043904 28798 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31749 28806 566 18 0 31731 0
vsize: 126996
[startup+970.024 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8087
Raw data (stat): 8087 (Pueblo-v2) R 8086 21152 21151 0 -1 0 27387337 0 0 0 41988 55028 0 0 25 0 1 0 849322728 130043904 28734 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31749 28744 566 18 0 31731 0
vsize: 126996
[startup+980.023 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8087
Raw data (stat): 8087 (Pueblo-v2) R 8086 21152 21151 0 -1 0 27676467 0 0 0 42402 55614 0 0 25 0 1 0 849322728 130043904 28784 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31749 28792 566 18 0 31731 0
vsize: 126996
[startup+990.023 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8087
Raw data (stat): 8087 (Pueblo-v2) R 8086 21152 21151 0 -1 0 27965402 0 0 0 42824 56191 0 0 25 0 1 0 849322728 130043904 28837 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31749 28844 566 18 0 31731 0
vsize: 126996
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8087
Raw data (stat): 8087 (Pueblo-v2) R 8086 21152 21151 0 -1 0 28254494 0 0 0 43240 56776 0 0 25 0 1 0 849322728 130043904 28849 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31749 28856 566 18 0 31731 0
vsize: 126996
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8087
Raw data (stat): 8087 (Pueblo-v2) R 8086 21152 21151 0 -1 0 28543789 0 0 0 43657 57359 0 0 25 0 1 0 849322728 130043904 28866 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31749 28873 566 18 0 31731 0
vsize: 126996
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8087
Raw data (stat): 8087 (Pueblo-v2) R 8086 21152 21151 0 -1 0 28832905 0 0 0 44072 57944 0 0 25 0 1 0 849322728 130043904 28902 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31749 28902 566 18 0 31731 0
vsize: 126996
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8087
Raw data (stat): 8087 (Pueblo-v2) R 8086 21152 21151 0 -1 0 29122241 0 0 0 44489 58528 0 0 25 0 1 0 849322728 130043904 28762 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31749 28771 566 18 0 31731 0
vsize: 126996
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8087
Raw data (stat): 8087 (Pueblo-v2) R 8086 21152 21151 0 -1 0 29411211 0 0 0 44901 59116 0 0 25 0 1 0 849322728 130043904 28850 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31749 28858 566 18 0 31731 0
vsize: 126996
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8087
Raw data (stat): 8087 (Pueblo-v2) R 8086 21152 21151 0 -1 0 29700590 0 0 0 45320 59697 0 0 25 0 1 0 849322728 130043904 28753 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31749 28762 566 18 0 31731 0
vsize: 126996
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8087
Raw data (stat): 8087 (Pueblo-v2) R 8086 21152 21151 0 -1 0 29990129 0 0 0 45735 60282 0 0 25 0 1 0 849322728 130043904 28816 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31749 28824 566 18 0 31731 0
vsize: 126996
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8087
Raw data (stat): 8087 (Pueblo-v2) R 8086 21152 21151 0 -1 0 30279741 0 0 0 46149 60868 0 0 25 0 1 0 849322728 130043904 28755 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31749 28764 566 18 0 31731 0
vsize: 126996
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8087
Raw data (stat): 8087 (Pueblo-v2) R 8086 21152 21151 0 -1 0 30569679 0 0 0 46570 61447 0 0 25 0 1 0 849322728 130043904 28820 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31749 28830 566 18 0 31731 0
vsize: 126996
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8087
Raw data (stat): 8087 (Pueblo-v2) R 8086 21152 21151 0 -1 0 30859163 0 0 0 46989 62028 0 0 25 0 1 0 849322728 130043904 28828 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31749 28836 566 18 0 31731 0
vsize: 126996
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8087
Raw data (stat): 8087 (Pueblo-v2) R 8086 21152 21151 0 -1 0 31148484 0 0 0 47406 62612 0 0 25 0 1 0 849322728 130043904 28871 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31749 28878 566 18 0 31731 0
vsize: 126996
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8087
Raw data (stat): 8087 (Pueblo-v2) R 8086 21152 21151 0 -1 0 31437409 0 0 0 47821 63197 0 0 25 0 1 0 849322728 129232896 28716 4294967295 134512640 134581267 3221224560 3221223528 1075710225 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31749 28724 566 18 0 31731 0
vsize: 126204
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8087
Raw data (stat): 8087 (Pueblo-v2) R 8086 21152 21151 0 -1 0 31726491 0 0 0 48238 63780 0 0 25 0 1 0 849322728 130043904 28916 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31749 28916 566 18 0 31731 0
vsize: 126996
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8087
Raw data (stat): 8087 (Pueblo-v2) R 8086 21152 21151 0 -1 0 32015478 0 0 0 48654 64364 0 0 25 0 1 0 849322728 130043904 28823 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31749 28831 566 18 0 31731 0
vsize: 126996
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8087
Raw data (stat): 8087 (Pueblo-v2) R 8086 21152 21151 0 -1 0 32304258 0 0 0 49067 64952 0 0 25 0 1 0 849322728 130043904 28919 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31749 28919 566 18 0 31731 0
vsize: 126996
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8087
Raw data (stat): 8087 (Pueblo-v2) R 8086 21152 21151 0 -1 0 32593161 0 0 0 49488 65530 0 0 25 0 1 0 849322728 130043904 28742 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31749 28752 566 18 0 31731 0
vsize: 126996
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8087
Raw data (stat): 8087 (Pueblo-v2) R 8086 21152 21151 0 -1 0 32882102 0 0 0 49904 66115 0 0 25 0 1 0 849322728 130043904 28801 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31749 28810 566 18 0 31731 0
vsize: 126996
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8087
Raw data (stat): 8087 (Pueblo-v2) R 8086 21152 21151 0 -1 0 33170836 0 0 0 50323 66696 0 0 25 0 1 0 849322728 130043904 28851 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31749 28858 566 18 0 31731 0
vsize: 126996
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8087
Raw data (stat): 8087 (Pueblo-v2) R 8086 21152 21151 0 -1 0 33459989 0 0 0 50743 67276 0 0 25 0 1 0 849322728 130043904 28924 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31749 28924 566 18 0 31731 0
vsize: 126996
[startup+1190.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8087
Raw data (stat): 8087 (Pueblo-v2) R 8086 21152 21151 0 -1 0 33749237 0 0 0 51164 67855 0 0 25 0 1 0 849322728 130043904 28894 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31749 28902 566 18 0 31731 0
vsize: 126996
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 8087
Raw data (stat): 8087 (Pueblo-v2) R 8086 21152 21151 0 -1 0 34038506 0 0 0 51580 68440 0 0 25 0 1 0 849322728 130043904 28885 4294967295 134512640 134581267 3221224560 3221223552 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31749 28893 566 18 0 31731 0
vsize: 126996
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.09 s]
Raw data (loadavg): 0.99 0.97 0.97 1/54 8087
Raw data (stat): 8087 (Pueblo-v2) Z 8086 21152 21151 0 -1 1036 34038523 0 0 0 51580 68445 0 0 25 0 1 0 849322728 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.09
CPU time (s): 1200.26
CPU user time (s): 515.801
CPU system time (s): 684.46
CPU usage (%): 100.015
Max. virtual memory (Kb): 126996
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####