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/submitted/aloul/FPGA_SAT05/normalized-chnl40_50_pb.cnf.cr.opb
MD5SUM	2cb05b3a6451c60276a625949666f14e
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	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	51
Number of bits of the biggest sum of numbers	6
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.12498
Number of variables	4000
Total number of constraints	180
Number of constraints which are clauses	100
Number of constraints which are cardinality constraints (but not clauses)	80
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	40
Maximum length of a constraint	50
Trace number 38257

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-02 05:35:37 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26289 boxname=wulflinc4 idbench=19 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  2cb05b3a6451c60276a625949666f14e  /oldhome/oroussel/tmp/wulflinc4/normalized-chnl40_50_pb.cnf.cr.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-chnl40_50_pb.cnf.cr.opb
IDLAUNCH: 26289
/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:        691204 kB
Buffers:         33784 kB
Cached:         287968 kB
SwapCached:        568 kB
Active:          53196 kB
Inactive:       270696 kB
HighTotal:      131008 kB
HighFree:         4088 kB
LowTotal:       903652 kB
LowFree:        687116 kB
SwapTotal:     2097136 kB
SwapFree:      2095660 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5312 kB
Slab:            13824 kB
Committed_AS:    71780 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 05:55:39 (client local time) WITH STATUS 0 IN 1200.23 SECONDS
stats: 26289 7 1200.23 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.92 0.97 0.90 1/54 6075
Raw data (stat): 6075 (runsolver) R 6074 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 847302206 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+9.99982 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 6075
Raw data (stat): 6075 (Pueblo-v2) R 6074 21152 21151 0 -1 0 849 0 0 0 997 1 0 0 25 0 1 0 847302206 9080832 823 4294967295 134512640 134581267 3221224576 3221223632 134555831 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2217 823 566 18 0 2199 0
vsize: 8868
[startup+20.001 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 6075
Raw data (stat): 6075 (Pueblo-v2) R 6074 21152 21151 0 -1 0 849 0 0 0 1997 1 0 0 25 0 1 0 847302206 9080832 823 4294967295 134512640 134581267 3221224576 3221223504 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2217 823 566 18 0 2199 0
vsize: 8868
[startup+30.0019 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 6075
Raw data (stat): 6075 (Pueblo-v2) R 6074 21152 21151 0 -1 0 1073 0 0 0 2997 2 0 0 25 0 1 0 847302206 9986048 1047 4294967295 134512640 134581267 3221224576 3221223504 134519931 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2438 1047 566 18 0 2420 0
vsize: 9752
[startup+40.0024 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 6075
Raw data (stat): 6075 (Pueblo-v2) R 6074 21152 21151 0 -1 0 1524 0 0 0 3996 3 0 0 25 0 1 0 847302206 11874304 1498 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2899 1498 566 18 0 2881 0
vsize: 11596
[startup+50.0037 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 6075
Raw data (stat): 6075 (Pueblo-v2) R 6074 21152 21151 0 -1 0 2330 0 0 0 4994 5 0 0 25 0 1 0 847302206 15126528 2304 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3693 2304 566 18 0 3675 0
vsize: 14772
[startup+60.0036 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 6075
Raw data (stat): 6075 (Pueblo-v2) R 6074 21152 21151 0 -1 0 2675 0 0 0 5993 6 0 0 25 0 1 0 847302206 15958016 2510 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3896 2510 566 18 0 3878 0
vsize: 15584
[startup+70.0041 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 6075
Raw data (stat): 6075 (Pueblo-v2) R 6074 21152 21151 0 -1 0 3136 0 0 0 6992 8 0 0 25 0 1 0 847302206 17088512 2786 4294967295 134512640 134581267 3221224576 3221223632 134556132 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4172 2786 566 18 0 4154 0
vsize: 16688
[startup+80.0043 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 6075
Raw data (stat): 6075 (Pueblo-v2) R 6074 21152 21151 0 -1 0 3136 0 0 0 7992 8 0 0 25 0 1 0 847302206 15446016 2385 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3771 2385 566 18 0 3753 0
vsize: 15084
[startup+90.0056 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 6075
Raw data (stat): 6075 (Pueblo-v2) R 6074 21152 21151 0 -1 0 3136 0 0 0 8992 8 0 0 25 0 1 0 847302206 15446016 2385 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3771 2385 566 18 0 3753 0
vsize: 15084
[startup+100.006 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 6075
Raw data (stat): 6075 (Pueblo-v2) R 6074 21152 21151 0 -1 0 3136 0 0 0 9992 8 0 0 25 0 1 0 847302206 15446016 2385 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3771 2385 566 18 0 3753 0
vsize: 15084
[startup+110.006 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 6075
Raw data (stat): 6075 (Pueblo-v2) R 6074 21152 21151 0 -1 0 3136 0 0 0 10992 8 0 0 25 0 1 0 847302206 15446016 2385 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3771 2385 566 18 0 3753 0
vsize: 15084
[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6075
Raw data (stat): 6075 (Pueblo-v2) R 6074 21152 21151 0 -1 0 3136 0 0 0 11993 8 0 0 25 0 1 0 847302206 15446016 2385 4294967295 134512640 134581267 3221224576 3221223504 134520076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3771 2385 566 18 0 3753 0
vsize: 15084
[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6075
Raw data (stat): 6075 (Pueblo-v2) R 6074 21152 21151 0 -1 0 3136 0 0 0 12993 8 0 0 25 0 1 0 847302206 15446016 2385 4294967295 134512640 134581267 3221224576 3221223504 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3771 2385 566 18 0 3753 0
vsize: 15084
[startup+140.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6075
Raw data (stat): 6075 (Pueblo-v2) R 6074 21152 21151 0 -1 0 3136 0 0 0 13993 8 0 0 25 0 1 0 847302206 15446016 2385 4294967295 134512640 134581267 3221224576 3221223632 134556093 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3771 2385 566 18 0 3753 0
vsize: 15084
[startup+150.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6075
Raw data (stat): 6075 (Pueblo-v2) R 6074 21152 21151 0 -1 0 3136 0 0 0 14993 8 0 0 25 0 1 0 847302206 15446016 2385 4294967295 134512640 134581267 3221224576 3221223456 134520282 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3771 2385 566 18 0 3753 0
vsize: 15084
[startup+160.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6075
Raw data (stat): 6075 (Pueblo-v2) R 6074 21152 21151 0 -1 0 3136 0 0 0 15993 8 0 0 25 0 1 0 847302206 15446016 2385 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3771 2385 566 18 0 3753 0
vsize: 15084
[startup+170.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6075
Raw data (stat): 6075 (Pueblo-v2) R 6074 21152 21151 0 -1 0 3136 0 0 0 16994 8 0 0 25 0 1 0 847302206 15446016 2385 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3771 2385 566 18 0 3753 0
vsize: 15084
[startup+180.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6075
Raw data (stat): 6075 (Pueblo-v2) R 6074 21152 21151 0 -1 0 3136 0 0 0 17994 8 0 0 25 0 1 0 847302206 15446016 2385 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3771 2385 566 18 0 3753 0
vsize: 15084
[startup+190.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6075
Raw data (stat): 6075 (Pueblo-v2) R 6074 21152 21151 0 -1 0 3136 0 0 0 18994 8 0 0 25 0 1 0 847302206 15446016 2385 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3771 2385 566 18 0 3753 0
vsize: 15084
[startup+200.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6075
Raw data (stat): 6075 (Pueblo-v2) R 6074 21152 21151 0 -1 0 3136 0 0 0 19994 8 0 0 25 0 1 0 847302206 15446016 2385 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3771 2385 566 18 0 3753 0
vsize: 15084
[startup+210.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6075
Raw data (stat): 6075 (Pueblo-v2) R 6074 21152 21151 0 -1 0 3136 0 0 0 20994 8 0 0 25 0 1 0 847302206 15446016 2385 4294967295 134512640 134581267 3221224576 3221223504 134519958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3771 2385 566 18 0 3753 0
vsize: 15084
[startup+220.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6075
Raw data (stat): 6075 (Pueblo-v2) R 6074 21152 21151 0 -1 0 3136 0 0 0 21995 8 0 0 25 0 1 0 847302206 15446016 2385 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3771 2385 566 18 0 3753 0
vsize: 15084
[startup+230.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6075
Raw data (stat): 6075 (Pueblo-v2) R 6074 21152 21151 0 -1 0 3136 0 0 0 22995 8 0 0 25 0 1 0 847302206 15446016 2385 4294967295 134512640 134581267 3221224576 3221223504 134519931 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3771 2385 566 18 0 3753 0
vsize: 15084
[startup+240.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6075
Raw data (stat): 6075 (Pueblo-v2) R 6074 21152 21151 0 -1 0 3136 0 0 0 23995 8 0 0 25 0 1 0 847302206 15446016 2385 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3771 2385 566 18 0 3753 0
vsize: 15084
[startup+250.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6075
Raw data (stat): 6075 (Pueblo-v2) R 6074 21152 21151 0 -1 0 3426 0 0 0 24994 9 0 0 25 0 1 0 847302206 15941632 2506 4294967295 134512640 134581267 3221224576 3221223520 134558815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3892 2506 566 18 0 3874 0
vsize: 15568
[startup+260.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6075
Raw data (stat): 6075 (Pueblo-v2) R 6074 21152 21151 0 -1 0 3426 0 0 0 25995 9 0 0 25 0 1 0 847302206 15900672 2496 4294967295 134512640 134581267 3221224576 3221223612 134565058 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3882 2496 566 18 0 3864 0
vsize: 15528
[startup+270.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6075
Raw data (stat): 6075 (Pueblo-v2) R 6074 21152 21151 0 -1 0 3426 0 0 0 26995 9 0 0 25 0 1 0 847302206 15634432 2431 4294967295 134512640 134581267 3221224576 3221223544 134554609 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3817 2431 566 18 0 3799 0
vsize: 15268
[startup+280.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6075
Raw data (stat): 6075 (Pueblo-v2) R 6074 21152 21151 0 -1 0 3426 0 0 0 27995 9 0 0 25 0 1 0 847302206 15634432 2431 4294967295 134512640 134581267 3221224576 3221223504 134520076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3817 2431 566 18 0 3799 0
vsize: 15268
[startup+290.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6075
Raw data (stat): 6075 (Pueblo-v2) R 6074 21152 21151 0 -1 0 3426 0 0 0 28995 9 0 0 25 0 1 0 847302206 15446016 2385 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3771 2385 566 18 0 3753 0
vsize: 15084
[startup+300.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6075
Raw data (stat): 6075 (Pueblo-v2) R 6074 21152 21151 0 -1 0 3426 0 0 0 29995 9 0 0 25 0 1 0 847302206 15446016 2385 4294967295 134512640 134581267 3221224576 3221223504 134519958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3771 2385 566 18 0 3753 0
vsize: 15084
[startup+310.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6075
Raw data (stat): 6075 (Pueblo-v2) R 6074 21152 21151 0 -1 0 3426 0 0 0 30995 9 0 0 25 0 1 0 847302206 15446016 2385 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3771 2385 566 18 0 3753 0
vsize: 15084
[startup+320.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6075
Raw data (stat): 6075 (Pueblo-v2) R 6074 21152 21151 0 -1 0 3426 0 0 0 31996 9 0 0 25 0 1 0 847302206 15446016 2385 4294967295 134512640 134581267 3221224576 3221223504 134520084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3771 2385 566 18 0 3753 0
vsize: 15084
[startup+330.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6075
Raw data (stat): 6075 (Pueblo-v2) R 6074 21152 21151 0 -1 0 3426 0 0 0 32996 9 0 0 25 0 1 0 847302206 15446016 2385 4294967295 134512640 134581267 3221224576 3221223472 134517900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3771 2385 566 18 0 3753 0
vsize: 15084
[startup+340.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6075
Raw data (stat): 6075 (Pueblo-v2) R 6074 21152 21151 0 -1 0 3426 0 0 0 33996 9 0 0 25 0 1 0 847302206 15446016 2385 4294967295 134512640 134581267 3221224576 3221223504 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3771 2385 566 18 0 3753 0
vsize: 15084
[startup+350.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6075
Raw data (stat): 6075 (Pueblo-v2) R 6074 21152 21151 0 -1 0 3426 0 0 0 34996 9 0 0 25 0 1 0 847302206 15446016 2385 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3771 2385 566 18 0 3753 0
vsize: 15084
[startup+360.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6075
Raw data (stat): 6075 (Pueblo-v2) R 6074 21152 21151 0 -1 0 3426 0 0 0 35996 9 0 0 25 0 1 0 847302206 15446016 2385 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3771 2385 566 18 0 3753 0
vsize: 15084
[startup+370.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6075
Raw data (stat): 6075 (Pueblo-v2) R 6074 21152 21151 0 -1 0 3426 0 0 0 36997 9 0 0 25 0 1 0 847302206 15446016 2385 4294967295 134512640 134581267 3221224576 3221223504 134519958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3771 2385 566 18 0 3753 0
vsize: 15084
[startup+380.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6075
Raw data (stat): 6075 (Pueblo-v2) R 6074 21152 21151 0 -1 0 3430 0 0 0 37997 9 0 0 25 0 1 0 847302206 15572992 2389 4294967295 134512640 134581267 3221224576 3221223504 134520084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3802 2389 566 18 0 3784 0
vsize: 15208
[startup+390.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6075
Raw data (stat): 6075 (Pueblo-v2) R 6074 21152 21151 0 -1 0 3573 0 0 0 38996 10 0 0 25 0 1 0 847302206 15855616 2485 4294967295 134512640 134581267 3221224576 3221223504 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3871 2485 566 18 0 3853 0
vsize: 15484
[startup+400.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6075
Raw data (stat): 6075 (Pueblo-v2) R 6074 21152 21151 0 -1 0 3573 0 0 0 39997 10 0 0 25 0 1 0 847302206 15855616 2485 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3871 2485 566 18 0 3853 0
vsize: 15484
[startup+410.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6075
Raw data (stat): 6075 (Pueblo-v2) R 6074 21152 21151 0 -1 0 3573 0 0 0 40997 10 0 0 25 0 1 0 847302206 15855616 2485 4294967295 134512640 134581267 3221224576 3221223504 134520084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3871 2485 566 18 0 3853 0
vsize: 15484
[startup+420.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6075
Raw data (stat): 6075 (Pueblo-v2) R 6074 21152 21151 0 -1 0 3573 0 0 0 41997 10 0 0 25 0 1 0 847302206 15855616 2485 4294967295 134512640 134581267 3221224576 3221223504 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3871 2485 566 18 0 3853 0
vsize: 15484
[startup+430.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6075
Raw data (stat): 6075 (Pueblo-v2) R 6074 21152 21151 0 -1 0 3573 0 0 0 42997 10 0 0 25 0 1 0 847302206 15855616 2485 4294967295 134512640 134581267 3221224576 3221223472 134517871 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3871 2485 566 18 0 3853 0
vsize: 15484
[startup+440.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6075
Raw data (stat): 6075 (Pueblo-v2) R 6074 21152 21151 0 -1 0 3788 0 0 0 43997 10 0 0 25 0 1 0 847302206 16424960 2624 4294967295 134512640 134581267 3221224576 3221223504 134520084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4010 2624 566 18 0 3992 0
vsize: 16040
[startup+450.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6075
Raw data (stat): 6075 (Pueblo-v2) R 6074 21152 21151 0 -1 0 3788 0 0 0 44997 10 0 0 25 0 1 0 847302206 15880192 2491 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3877 2491 566 18 0 3859 0
vsize: 15508
[startup+460.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6075
Raw data (stat): 6075 (Pueblo-v2) R 6074 21152 21151 0 -1 0 3788 0 0 0 45997 10 0 0 25 0 1 0 847302206 15880192 2491 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3877 2491 566 18 0 3859 0
vsize: 15508
[startup+470.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6075
Raw data (stat): 6075 (Pueblo-v2) R 6074 21152 21151 0 -1 0 3788 0 0 0 46997 10 0 0 25 0 1 0 847302206 15880192 2491 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3877 2491 566 18 0 3859 0
vsize: 15508
[startup+480.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6075
Raw data (stat): 6075 (Pueblo-v2) R 6074 21152 21151 0 -1 0 3788 0 0 0 47998 10 0 0 25 0 1 0 847302206 15880192 2491 4294967295 134512640 134581267 3221224576 3221223504 134520076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3877 2491 566 18 0 3859 0
vsize: 15508
[startup+490.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6075
Raw data (stat): 6075 (Pueblo-v2) R 6074 21152 21151 0 -1 0 3788 0 0 0 48998 10 0 0 25 0 1 0 847302206 15880192 2491 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3877 2491 566 18 0 3859 0
vsize: 15508
[startup+500.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6075
Raw data (stat): 6075 (Pueblo-v2) R 6074 21152 21151 0 -1 0 3788 0 0 0 49998 10 0 0 25 0 1 0 847302206 15880192 2491 4294967295 134512640 134581267 3221224576 3221223472 134517900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3877 2491 566 18 0 3859 0
vsize: 15508
[startup+510.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6075
Raw data (stat): 6075 (Pueblo-v2) R 6074 21152 21151 0 -1 0 3788 0 0 0 50998 10 0 0 25 0 1 0 847302206 15880192 2491 4294967295 134512640 134581267 3221224576 3221223472 134517854 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3877 2491 566 18 0 3859 0
vsize: 15508
[startup+520.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6075
Raw data (stat): 6075 (Pueblo-v2) R 6074 21152 21151 0 -1 0 3788 0 0 0 51998 10 0 0 25 0 1 0 847302206 15880192 2491 4294967295 134512640 134581267 3221224576 3221223504 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3877 2491 566 18 0 3859 0
vsize: 15508
[startup+530.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6075
Raw data (stat): 6075 (Pueblo-v2) R 6074 21152 21151 0 -1 0 3829 0 0 0 52998 10 0 0 25 0 1 0 847302206 16130048 2532 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3938 2532 566 18 0 3920 0
vsize: 15752
[startup+540.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6075
Raw data (stat): 6075 (Pueblo-v2) R 6074 21152 21151 0 -1 0 4263 0 0 0 53997 11 0 0 25 0 1 0 847302206 17887232 2966 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4367 2966 566 18 0 4349 0
vsize: 17468
[startup+550.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6075
Raw data (stat): 6075 (Pueblo-v2) R 6074 21152 21151 0 -1 0 4263 0 0 0 54998 11 0 0 25 0 1 0 847302206 17887232 2966 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4367 2966 566 18 0 4349 0
vsize: 17468
[startup+560.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6075
Raw data (stat): 6075 (Pueblo-v2) R 6074 21152 21151 0 -1 0 4263 0 0 0 55998 11 0 0 25 0 1 0 847302206 17801216 2960 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4346 2960 566 18 0 4328 0
vsize: 17384
[startup+570.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6075
Raw data (stat): 6075 (Pueblo-v2) R 6074 21152 21151 0 -1 0 4263 0 0 0 56998 11 0 0 25 0 1 0 847302206 17801216 2960 4294967295 134512640 134581267 3221224576 3221223472 134517871 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4346 2960 566 18 0 4328 0
vsize: 17384
[startup+580.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6075
Raw data (stat): 6075 (Pueblo-v2) R 6074 21152 21151 0 -1 0 4263 0 0 0 57998 11 0 0 25 0 1 0 847302206 16695296 2690 4294967295 134512640 134581267 3221224576 3221223472 134517871 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4076 2690 566 18 0 4058 0
vsize: 16304
[startup+590.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6075
Raw data (stat): 6075 (Pueblo-v2) R 6074 21152 21151 0 -1 0 4263 0 0 0 58998 11 0 0 25 0 1 0 847302206 16695296 2690 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4076 2690 566 18 0 4058 0
vsize: 16304
[startup+600.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6075
Raw data (stat): 6075 (Pueblo-v2) R 6074 21152 21151 0 -1 0 4263 0 0 0 59999 11 0 0 25 0 1 0 847302206 16453632 2631 4294967295 134512640 134581267 3221224576 3221223504 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4017 2631 566 18 0 3999 0
vsize: 16068
[startup+610.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6075
Raw data (stat): 6075 (Pueblo-v2) R 6074 21152 21151 0 -1 0 4263 0 0 0 60999 11 0 0 25 0 1 0 847302206 16453632 2631 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4017 2631 566 18 0 3999 0
vsize: 16068
[startup+620.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6075
Raw data (stat): 6075 (Pueblo-v2) R 6074 21152 21151 0 -1 0 4263 0 0 0 61999 11 0 0 25 0 1 0 847302206 16453632 2631 4294967295 134512640 134581267 3221224576 3221223472 134517871 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4017 2631 566 18 0 3999 0
vsize: 16068
[startup+630.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6075
Raw data (stat): 6075 (Pueblo-v2) R 6074 21152 21151 0 -1 0 4509 0 0 0 62999 12 0 0 25 0 1 0 847302206 17592320 2877 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4295 2877 566 18 0 4277 0
vsize: 17180
[startup+640.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6075
Raw data (stat): 6075 (Pueblo-v2) R 6074 21152 21151 0 -1 0 4670 0 0 0 63998 12 0 0 25 0 1 0 847302206 18186240 3038 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4440 3038 566 18 0 4422 0
vsize: 17760
[startup+650.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6075
Raw data (stat): 6075 (Pueblo-v2) R 6074 21152 21151 0 -1 0 4670 0 0 0 64999 12 0 0 25 0 1 0 847302206 18186240 3038 4294967295 134512640 134581267 3221224576 3221223504 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4440 3038 566 18 0 4422 0
vsize: 17760
[startup+660.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6075
Raw data (stat): 6075 (Pueblo-v2) R 6074 21152 21151 0 -1 0 4670 0 0 0 65999 12 0 0 25 0 1 0 847302206 18186240 3038 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4440 3038 566 18 0 4422 0
vsize: 17760
[startup+670.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6075
Raw data (stat): 6075 (Pueblo-v2) R 6074 21152 21151 0 -1 0 4670 0 0 0 66999 12 0 0 25 0 1 0 847302206 18186240 3038 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4440 3038 566 18 0 4422 0
vsize: 17760
[startup+680.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6075
Raw data (stat): 6075 (Pueblo-v2) R 6074 21152 21151 0 -1 0 4670 0 0 0 67999 12 0 0 25 0 1 0 847302206 18186240 3038 4294967295 134512640 134581267 3221224576 3221223504 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4440 3038 566 18 0 4422 0
vsize: 17760
[startup+690.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6075
Raw data (stat): 6075 (Pueblo-v2) R 6074 21152 21151 0 -1 0 4670 0 0 0 68999 12 0 0 25 0 1 0 847302206 18186240 3038 4294967295 134512640 134581267 3221224576 3221223504 134519931 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4440 3038 566 18 0 4422 0
vsize: 17760
[startup+700.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6075
Raw data (stat): 6075 (Pueblo-v2) R 6074 21152 21151 0 -1 0 4670 0 0 0 70000 12 0 0 25 0 1 0 847302206 18186240 3038 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4440 3038 566 18 0 4422 0
vsize: 17760
[startup+710.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6075
Raw data (stat): 6075 (Pueblo-v2) R 6074 21152 21151 0 -1 0 4709 0 0 0 71000 12 0 0 25 0 1 0 847302206 18313216 3077 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4471 3077 566 18 0 4453 0
vsize: 17884
[startup+720.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6075
Raw data (stat): 6075 (Pueblo-v2) R 6074 21152 21151 0 -1 0 4853 0 0 0 72000 13 0 0 25 0 1 0 847302206 18944000 3221 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4625 3221 566 18 0 4607 0
vsize: 18500
[startup+730.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6075
Raw data (stat): 6075 (Pueblo-v2) R 6074 21152 21151 0 -1 0 4853 0 0 0 73000 13 0 0 25 0 1 0 847302206 18944000 3221 4294967295 134512640 134581267 3221224576 3221223472 134517868 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4625 3221 566 18 0 4607 0
vsize: 18500
[startup+740.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6075
Raw data (stat): 6075 (Pueblo-v2) R 6074 21152 21151 0 -1 0 4853 0 0 0 74000 13 0 0 25 0 1 0 847302206 18944000 3221 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4625 3221 566 18 0 4607 0
vsize: 18500
[startup+750.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6075
Raw data (stat): 6075 (Pueblo-v2) R 6074 21152 21151 0 -1 0 4853 0 0 0 75000 13 0 0 25 0 1 0 847302206 18944000 3221 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4625 3221 566 18 0 4607 0
vsize: 18500
[startup+760.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6075
Raw data (stat): 6075 (Pueblo-v2) R 6074 21152 21151 0 -1 0 4853 0 0 0 76000 13 0 0 25 0 1 0 847302206 18944000 3221 4294967295 134512640 134581267 3221224576 3221223472 134517902 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4625 3221 566 18 0 4607 0
vsize: 18500
[startup+770.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6075
Raw data (stat): 6075 (Pueblo-v2) R 6074 21152 21151 0 -1 0 4853 0 0 0 77001 13 0 0 25 0 1 0 847302206 18944000 3221 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4625 3221 566 18 0 4607 0
vsize: 18500
[startup+780.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6075
Raw data (stat): 6075 (Pueblo-v2) R 6074 21152 21151 0 -1 0 4853 0 0 0 78001 13 0 0 25 0 1 0 847302206 18944000 3221 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4625 3221 566 18 0 4607 0
vsize: 18500
[startup+790.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6075
Raw data (stat): 6075 (Pueblo-v2) R 6074 21152 21151 0 -1 0 4853 0 0 0 79001 13 0 0 25 0 1 0 847302206 18944000 3221 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4625 3221 566 18 0 4607 0
vsize: 18500
[startup+800.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6075
Raw data (stat): 6075 (Pueblo-v2) R 6074 21152 21151 0 -1 0 4853 0 0 0 80001 13 0 0 25 0 1 0 847302206 18944000 3221 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4625 3221 566 18 0 4607 0
vsize: 18500
[startup+810.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6075
Raw data (stat): 6075 (Pueblo-v2) R 6074 21152 21151 0 -1 0 4853 0 0 0 81001 13 0 0 25 0 1 0 847302206 18944000 3221 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4625 3221 566 18 0 4607 0
vsize: 18500
[startup+820.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6075
Raw data (stat): 6075 (Pueblo-v2) R 6074 21152 21151 0 -1 0 4853 0 0 0 82002 13 0 0 25 0 1 0 847302206 18944000 3221 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4625 3221 566 18 0 4607 0
vsize: 18500
[startup+830.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6075
Raw data (stat): 6075 (Pueblo-v2) R 6074 21152 21151 0 -1 0 4853 0 0 0 83002 13 0 0 25 0 1 0 847302206 18944000 3221 4294967295 134512640 134581267 3221224576 3221223472 134517871 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4625 3221 566 18 0 4607 0
vsize: 18500
[startup+840.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6075
Raw data (stat): 6075 (Pueblo-v2) R 6074 21152 21151 0 -1 0 4853 0 0 0 84002 13 0 0 25 0 1 0 847302206 18944000 3221 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4625 3221 566 18 0 4607 0
vsize: 18500
[startup+850.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6075
Raw data (stat): 6075 (Pueblo-v2) R 6074 21152 21151 0 -1 0 4853 0 0 0 85002 13 0 0 25 0 1 0 847302206 18944000 3221 4294967295 134512640 134581267 3221224576 3221223472 134517897 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4625 3221 566 18 0 4607 0
vsize: 18500
[startup+860.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6075
Raw data (stat): 6075 (Pueblo-v2) R 6074 21152 21151 0 -1 0 4853 0 0 0 86002 13 0 0 25 0 1 0 847302206 18944000 3221 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4625 3221 566 18 0 4607 0
vsize: 18500
[startup+870.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6075
Raw data (stat): 6075 (Pueblo-v2) R 6074 21152 21151 0 -1 0 4853 0 0 0 87002 13 0 0 25 0 1 0 847302206 18944000 3221 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4625 3221 566 18 0 4607 0
vsize: 18500
[startup+880.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6075
Raw data (stat): 6075 (Pueblo-v2) R 6074 21152 21151 0 -1 0 4853 0 0 0 88003 13 0 0 25 0 1 0 847302206 18944000 3221 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4625 3221 566 18 0 4607 0
vsize: 18500
[startup+890.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6075
Raw data (stat): 6075 (Pueblo-v2) R 6074 21152 21151 0 -1 0 4853 0 0 0 89003 13 0 0 25 0 1 0 847302206 18944000 3221 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4625 3221 566 18 0 4607 0
vsize: 18500
[startup+900.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6075
Raw data (stat): 6075 (Pueblo-v2) R 6074 21152 21151 0 -1 0 4853 0 0 0 90003 13 0 0 25 0 1 0 847302206 18944000 3221 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4625 3221 566 18 0 4607 0
vsize: 18500
[startup+910.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6075
Raw data (stat): 6075 (Pueblo-v2) R 6074 21152 21151 0 -1 0 4853 0 0 0 91003 13 0 0 25 0 1 0 847302206 18944000 3221 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4625 3221 566 18 0 4607 0
vsize: 18500
[startup+920.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6075
Raw data (stat): 6075 (Pueblo-v2) R 6074 21152 21151 0 -1 0 4853 0 0 0 92004 13 0 0 25 0 1 0 847302206 18944000 3221 4294967295 134512640 134581267 3221224576 3221223504 134519950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4625 3221 566 18 0 4607 0
vsize: 18500
[startup+930.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6075
Raw data (stat): 6075 (Pueblo-v2) R 6074 21152 21151 0 -1 0 4853 0 0 0 93004 13 0 0 25 0 1 0 847302206 18944000 3221 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4625 3221 566 18 0 4607 0
vsize: 18500
[startup+940.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6075
Raw data (stat): 6075 (Pueblo-v2) R 6074 21152 21151 0 -1 0 4853 0 0 0 94004 13 0 0 25 0 1 0 847302206 18944000 3221 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4625 3221 566 18 0 4607 0
vsize: 18500
[startup+950.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6075
Raw data (stat): 6075 (Pueblo-v2) R 6074 21152 21151 0 -1 0 4853 0 0 0 95004 13 0 0 25 0 1 0 847302206 18944000 3221 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4625 3221 566 18 0 4607 0
vsize: 18500
[startup+960.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6075
Raw data (stat): 6075 (Pueblo-v2) R 6074 21152 21151 0 -1 0 4853 0 0 0 96004 13 0 0 25 0 1 0 847302206 18944000 3221 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4625 3221 566 18 0 4607 0
vsize: 18500
[startup+970.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6075
Raw data (stat): 6075 (Pueblo-v2) R 6074 21152 21151 0 -1 0 4853 0 0 0 97004 13 0 0 25 0 1 0 847302206 18944000 3221 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4625 3221 566 18 0 4607 0
vsize: 18500
[startup+980.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6075
Raw data (stat): 6075 (Pueblo-v2) R 6074 21152 21151 0 -1 0 4853 0 0 0 98005 13 0 0 25 0 1 0 847302206 18944000 3221 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4625 3221 566 18 0 4607 0
vsize: 18500
[startup+990.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6075
Raw data (stat): 6075 (Pueblo-v2) R 6074 21152 21151 0 -1 0 4853 0 0 0 99005 13 0 0 25 0 1 0 847302206 18944000 3221 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4625 3221 566 18 0 4607 0
vsize: 18500
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6075
Raw data (stat): 6075 (Pueblo-v2) R 6074 21152 21151 0 -1 0 4853 0 0 0 100005 13 0 0 25 0 1 0 847302206 18944000 3221 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4625 3221 566 18 0 4607 0
vsize: 18500
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6075
Raw data (stat): 6075 (Pueblo-v2) R 6074 21152 21151 0 -1 0 4853 0 0 0 101005 13 0 0 25 0 1 0 847302206 18944000 3221 4294967295 134512640 134581267 3221224576 3221223504 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4625 3221 566 18 0 4607 0
vsize: 18500
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6075
Raw data (stat): 6075 (Pueblo-v2) R 6074 21152 21151 0 -1 0 4853 0 0 0 102005 13 0 0 25 0 1 0 847302206 18944000 3221 4294967295 134512640 134581267 3221224576 3221223456 134520439 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4625 3221 566 18 0 4607 0
vsize: 18500
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6075
Raw data (stat): 6075 (Pueblo-v2) R 6074 21152 21151 0 -1 0 4853 0 0 0 103006 13 0 0 25 0 1 0 847302206 18944000 3221 4294967295 134512640 134581267 3221224576 3221223504 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4625 3221 566 18 0 4607 0
vsize: 18500
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6075
Raw data (stat): 6075 (Pueblo-v2) R 6074 21152 21151 0 -1 0 4853 0 0 0 104006 13 0 0 25 0 1 0 847302206 18944000 3221 4294967295 134512640 134581267 3221224576 3221223504 134519958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4625 3221 566 18 0 4607 0
vsize: 18500
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6075
Raw data (stat): 6075 (Pueblo-v2) R 6074 21152 21151 0 -1 0 4853 0 0 0 105006 13 0 0 25 0 1 0 847302206 18944000 3221 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4625 3221 566 18 0 4607 0
vsize: 18500
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6075
Raw data (stat): 6075 (Pueblo-v2) R 6074 21152 21151 0 -1 0 4890 0 0 0 106006 13 0 0 25 0 1 0 847302206 19066880 3258 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4655 3258 566 18 0 4637 0
vsize: 18620
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6075
Raw data (stat): 6075 (Pueblo-v2) R 6074 21152 21151 0 -1 0 4890 0 0 0 107006 13 0 0 25 0 1 0 847302206 19066880 3258 4294967295 134512640 134581267 3221224576 3221223472 134517868 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4655 3258 566 18 0 4637 0
vsize: 18620
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6075
Raw data (stat): 6075 (Pueblo-v2) R 6074 21152 21151 0 -1 0 4906 0 0 0 108006 13 0 0 25 0 1 0 847302206 19193856 3274 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4686 3274 566 18 0 4668 0
vsize: 18744
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6075
Raw data (stat): 6075 (Pueblo-v2) R 6074 21152 21151 0 -1 0 4915 0 0 0 109007 13 0 0 25 0 1 0 847302206 19193856 3283 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4686 3283 566 18 0 4668 0
vsize: 18744
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6075
Raw data (stat): 6075 (Pueblo-v2) R 6074 21152 21151 0 -1 0 4915 0 0 0 110007 13 0 0 25 0 1 0 847302206 19193856 3283 4294967295 134512640 134581267 3221224576 3221223472 134517868 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4686 3283 566 18 0 4668 0
vsize: 18744
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6075
Raw data (stat): 6075 (Pueblo-v2) R 6074 21152 21151 0 -1 0 4919 0 0 0 111007 13 0 0 25 0 1 0 847302206 19193856 3287 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4686 3287 566 18 0 4668 0
vsize: 18744
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6075
Raw data (stat): 6075 (Pueblo-v2) R 6074 21152 21151 0 -1 0 4941 0 0 0 112007 13 0 0 25 0 1 0 847302206 19316736 3309 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4716 3309 566 18 0 4698 0
vsize: 18864
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6075
Raw data (stat): 6075 (Pueblo-v2) R 6074 21152 21151 0 -1 0 4941 0 0 0 113007 13 0 0 25 0 1 0 847302206 19316736 3309 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4716 3309 566 18 0 4698 0
vsize: 18864
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6075
Raw data (stat): 6075 (Pueblo-v2) R 6074 21152 21151 0 -1 0 4941 0 0 0 114008 13 0 0 25 0 1 0 847302206 19173376 3295 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4681 3295 566 18 0 4663 0
vsize: 18724
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6075
Raw data (stat): 6075 (Pueblo-v2) R 6074 21152 21151 0 -1 0 4941 0 0 0 115008 13 0 0 25 0 1 0 847302206 19079168 3272 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4658 3272 566 18 0 4640 0
vsize: 18632
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6075
Raw data (stat): 6075 (Pueblo-v2) R 6074 21152 21151 0 -1 0 4941 0 0 0 116008 13 0 0 25 0 1 0 847302206 19079168 3272 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4658 3272 566 18 0 4640 0
vsize: 18632
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6075
Raw data (stat): 6075 (Pueblo-v2) R 6074 21152 21151 0 -1 0 4941 0 0 0 117008 13 0 0 25 0 1 0 847302206 18980864 3248 4294967295 134512640 134581267 3221224576 3221223648 134531368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4634 3248 566 18 0 4616 0
vsize: 18536
[startup+1180.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6075
Raw data (stat): 6075 (Pueblo-v2) R 6074 21152 21151 0 -1 0 4941 0 0 0 118008 13 0 0 25 0 1 0 847302206 18980864 3248 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4634 3248 566 18 0 4616 0
vsize: 18536
[startup+1190.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6075
Raw data (stat): 6075 (Pueblo-v2) R 6074 21152 21151 0 -1 0 4941 0 0 0 119009 13 0 0 25 0 1 0 847302206 18980864 3248 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4634 3248 566 18 0 4616 0
vsize: 18536
[startup+1200.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6075
Raw data (stat): 6075 (Pueblo-v2) R 6074 21152 21151 0 -1 0 4941 0 0 0 120009 13 0 0 25 0 1 0 847302206 18980864 3248 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4634 3248 566 18 0 4616 0
vsize: 18536
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.06 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 6075
Raw data (stat): 6075 (Pueblo-v2) Z 6074 21152 21151 0 -1 1036 4941 0 0 0 120009 13 0 0 25 0 1 0 847302206 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.06
CPU time (s): 1200.23
CPU user time (s): 1200.09
CPU system time (s): 0.138978
CPU usage (%): 100.015
Max. virtual memory (Kb): 18864
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####