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-ooo.tag14.ucl.opb
MD5SUM	e4be8a88d340bbbbfb27e034f74a6524
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	65
Number of bits of the biggest number in a constraint	7
Biggest sum of numbers in a constraint	254
Number of bits of the biggest sum of numbers	8
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	56.8973
Number of variables	40605
Total number of constraints	118930
Number of constraints which are clauses	117190
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	1740
Minimum length of a constraint	1
Maximum length of a constraint	13
Trace number 38517

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-02 11:41:04 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26582 boxname=wulflinc5 idbench=312 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  e4be8a88d340bbbbfb27e034f74a6524  /oldhome/oroussel/tmp/wulflinc5/normalized-ooo.tag14.ucl.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-ooo.tag14.ucl.opb
IDLAUNCH: 26582
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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:        657620 kB
Buffers:         34988 kB
Cached:         318316 kB
SwapCached:        568 kB
Active:          57428 kB
Inactive:       297880 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        657368 kB
SwapTotal:     2097136 kB
SwapFree:      2095632 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5140 kB
Slab:            15980 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 12:01:07 (client local time) WITH STATUS 0 IN 1200.39 SECONDS
stats: 26582 7 1200.39 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.88 0.92 0.90 2/54 4909
Raw data (stat): 4909 (runsolver) R 4908 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 849504174 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+9.99993 s]
Raw data (loadavg): 0.90 0.92 0.90 2/54 4909
Raw data (stat): 4909 (Pueblo-v2) R 4908 7266 7265 0 -1 0 6005 0 0 0 984 14 0 0 25 0 1 0 849504174 32251904 5979 4294967295 134512640 134581267 3221224576 3221223568 134531688 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7874 5979 566 18 0 7856 0
vsize: 31496
[startup+20.001 s]
Raw data (loadavg): 0.91 0.92 0.90 2/54 4909
Raw data (stat): 4909 (Pueblo-v2) R 4908 7266 7265 0 -1 0 6005 0 0 0 1984 14 0 0 25 0 1 0 849504174 32251904 5979 4294967295 134512640 134581267 3221224576 3221223568 134531696 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7874 5979 566 18 0 7856 0
vsize: 31496
[startup+30.0014 s]
Raw data (loadavg): 0.93 0.92 0.90 2/54 4909
Raw data (stat): 4909 (Pueblo-v2) R 4908 7266 7265 0 -1 0 6045 0 0 0 2984 14 0 0 25 0 1 0 849504174 32514048 6019 4294967295 134512640 134581267 3221224576 3221223568 134531696 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7938 6019 566 18 0 7920 0
vsize: 31752
[startup+40.0011 s]
Raw data (loadavg): 0.94 0.92 0.90 2/54 4909
Raw data (stat): 4909 (Pueblo-v2) R 4908 7266 7265 0 -1 0 6107 0 0 0 3984 15 0 0 25 0 1 0 849504174 32784384 6081 4294967295 134512640 134581267 3221224576 3221223568 134531688 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8004 6081 566 18 0 7986 0
vsize: 32016
[startup+50.0022 s]
Raw data (loadavg): 0.95 0.93 0.90 2/54 4909
Raw data (stat): 4909 (Pueblo-v2) R 4908 7266 7265 0 -1 0 6458 0 0 0 4984 15 0 0 25 0 1 0 849504174 34398208 6432 4294967295 134512640 134581267 3221224576 3221223568 134531696 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8398 6432 566 18 0 8380 0
vsize: 33592
[startup+60.0016 s]
Raw data (loadavg): 0.95 0.93 0.91 2/54 4909
Raw data (stat): 4909 (Pueblo-v2) R 4908 7266 7265 0 -1 0 6812 0 0 0 5982 17 0 0 25 0 1 0 849504174 35749888 6786 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8728 6786 566 18 0 8710 0
vsize: 34912
[startup+70.0024 s]
Raw data (loadavg): 0.96 0.93 0.91 2/54 4909
Raw data (stat): 4909 (Pueblo-v2) R 4908 7266 7265 0 -1 0 7163 0 0 0 6982 18 0 0 25 0 1 0 849504174 37101568 7137 4294967295 134512640 134581267 3221224576 3221223568 134531696 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9058 7137 566 18 0 9040 0
vsize: 36232
[startup+80.0025 s]
Raw data (loadavg): 0.97 0.93 0.91 2/54 4909
Raw data (stat): 4909 (Pueblo-v2) R 4908 7266 7265 0 -1 0 7797 0 0 0 7980 20 0 0 25 0 1 0 849504174 39825408 7771 4294967295 134512640 134581267 3221224576 3221223632 134556132 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9723 7771 566 18 0 9705 0
vsize: 38892
[startup+90.0029 s]
Raw data (loadavg): 0.97 0.93 0.91 2/54 4909
Raw data (stat): 4909 (Pueblo-v2) R 4908 7266 7265 0 -1 0 7797 0 0 0 8980 20 0 0 25 0 1 0 849504174 39825408 7771 4294967295 134512640 134581267 3221224576 3221223632 134556093 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9723 7771 566 18 0 9705 0
vsize: 38892
[startup+100.003 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 4909
Raw data (stat): 4909 (Pueblo-v2) R 4908 7266 7265 0 -1 0 7797 0 0 0 9980 20 0 0 25 0 1 0 849504174 39825408 7771 4294967295 134512640 134581267 3221224576 3221223456 134560377 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9723 7771 566 18 0 9705 0
vsize: 38892
[startup+110.003 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 4909
Raw data (stat): 4909 (Pueblo-v2) R 4908 7266 7265 0 -1 0 7797 0 0 0 10980 20 0 0 25 0 1 0 849504174 39825408 7771 4294967295 134512640 134581267 3221224576 3221223520 134559049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9723 7771 566 18 0 9705 0
vsize: 38892
[startup+120.003 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 4909
Raw data (stat): 4909 (Pueblo-v2) R 4908 7266 7265 0 -1 0 7797 0 0 0 11981 20 0 0 25 0 1 0 849504174 39825408 7771 4294967295 134512640 134581267 3221224576 3221223520 134559230 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9723 7771 566 18 0 9705 0
vsize: 38892
[startup+130.003 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 4909
Raw data (stat): 4909 (Pueblo-v2) R 4908 7266 7265 0 -1 0 7797 0 0 0 12981 20 0 0 25 0 1 0 849504174 39825408 7771 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9723 7771 566 18 0 9705 0
vsize: 38892
[startup+140.004 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 4909
Raw data (stat): 4909 (Pueblo-v2) R 4908 7266 7265 0 -1 0 7797 0 0 0 13981 20 0 0 25 0 1 0 849504174 39825408 7771 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9723 7771 566 18 0 9705 0
vsize: 38892
[startup+150.004 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 4909
Raw data (stat): 4909 (Pueblo-v2) R 4908 7266 7265 0 -1 0 7797 0 0 0 14981 20 0 0 25 0 1 0 849504174 39825408 7771 4294967295 134512640 134581267 3221224576 3221223520 134559046 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9723 7771 566 18 0 9705 0
vsize: 38892
[startup+160.004 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 4909
Raw data (stat): 4909 (Pueblo-v2) R 4908 7266 7265 0 -1 0 7797 0 0 0 15981 20 0 0 25 0 1 0 849504174 39825408 7771 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9723 7771 566 18 0 9705 0
vsize: 38892
[startup+170.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 4909
Raw data (stat): 4909 (Pueblo-v2) R 4908 7266 7265 0 -1 0 7797 0 0 0 16981 20 0 0 25 0 1 0 849504174 39825408 7771 4294967295 134512640 134581267 3221224576 3221223520 134559268 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9723 7771 566 18 0 9705 0
vsize: 38892
[startup+180.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 4909
Raw data (stat): 4909 (Pueblo-v2) R 4908 7266 7265 0 -1 0 7797 0 0 0 17982 20 0 0 25 0 1 0 849504174 39825408 7771 4294967295 134512640 134581267 3221224576 3221223540 134554612 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9723 7771 566 18 0 9705 0
vsize: 38892
[startup+190.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 4909
Raw data (stat): 4909 (Pueblo-v2) R 4908 7266 7265 0 -1 0 7797 0 0 0 18982 20 0 0 25 0 1 0 849504174 39825408 7771 4294967295 134512640 134581267 3221224576 3221223488 134519980 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9723 7771 566 18 0 9705 0
vsize: 38892
[startup+200.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 4909
Raw data (stat): 4909 (Pueblo-v2) R 4908 7266 7265 0 -1 0 7797 0 0 0 19982 20 0 0 25 0 1 0 849504174 39825408 7771 4294967295 134512640 134581267 3221224576 3221223552 134560674 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9723 7771 566 18 0 9705 0
vsize: 38892
[startup+210.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 4909
Raw data (stat): 4909 (Pueblo-v2) R 4908 7266 7265 0 -1 0 7797 0 0 0 20982 20 0 0 25 0 1 0 849504174 39825408 7771 4294967295 134512640 134581267 3221224576 3221223520 134559049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9723 7771 566 18 0 9705 0
vsize: 38892
[startup+220.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 4909
Raw data (stat): 4909 (Pueblo-v2) R 4908 7266 7265 0 -1 0 7797 0 0 0 21982 20 0 0 25 0 1 0 849504174 39825408 7771 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9723 7771 566 18 0 9705 0
vsize: 38892
[startup+230.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 4909
Raw data (stat): 4909 (Pueblo-v2) R 4908 7266 7265 0 -1 0 7797 0 0 0 22982 20 0 0 25 0 1 0 849504174 39825408 7771 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9723 7771 566 18 0 9705 0
vsize: 38892
[startup+240.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 4909
Raw data (stat): 4909 (Pueblo-v2) R 4908 7266 7265 0 -1 0 7797 0 0 0 23983 20 0 0 25 0 1 0 849504174 39825408 7771 4294967295 134512640 134581267 3221224576 3221223520 134559230 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9723 7771 566 18 0 9705 0
vsize: 38892
[startup+250.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 4909
Raw data (stat): 4909 (Pueblo-v2) R 4908 7266 7265 0 -1 0 7797 0 0 0 24983 20 0 0 25 0 1 0 849504174 39825408 7771 4294967295 134512640 134581267 3221224576 3221223520 134559230 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9723 7771 566 18 0 9705 0
vsize: 38892
[startup+260.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 4909
Raw data (stat): 4909 (Pueblo-v2) R 4908 7266 7265 0 -1 0 7797 0 0 0 25983 20 0 0 25 0 1 0 849504174 39825408 7771 4294967295 134512640 134581267 3221224576 3221223520 134559013 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9723 7771 566 18 0 9705 0
vsize: 38892
[startup+270.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 4909
Raw data (stat): 4909 (Pueblo-v2) R 4908 7266 7265 0 -1 0 7797 0 0 0 26983 20 0 0 25 0 1 0 849504174 39825408 7771 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9723 7771 566 18 0 9705 0
vsize: 38892
[startup+280.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 4909
Raw data (stat): 4909 (Pueblo-v2) R 4908 7266 7265 0 -1 0 7797 0 0 0 27983 20 0 0 25 0 1 0 849504174 39825408 7771 4294967295 134512640 134581267 3221224576 3221223504 134519829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9723 7771 566 18 0 9705 0
vsize: 38892
[startup+290.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 4909
Raw data (stat): 4909 (Pueblo-v2) R 4908 7266 7265 0 -1 0 8021 0 0 0 28983 21 0 0 25 0 1 0 849504174 40878080 7995 4294967295 134512640 134581267 3221224576 3221223568 134561040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9980 7995 566 18 0 9962 0
vsize: 39920
[startup+300.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 4909
Raw data (stat): 4909 (Pueblo-v2) R 4908 7266 7265 0 -1 0 8288 0 0 0 29983 21 0 0 25 0 1 0 849504174 41918464 8262 4294967295 134512640 134581267 3221224576 3221223568 134560619 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10234 8262 566 18 0 10216 0
vsize: 40936
[startup+310.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 4909
Raw data (stat): 4909 (Pueblo-v2) R 4908 7266 7265 0 -1 0 8424 0 0 0 30982 22 0 0 25 0 1 0 849504174 42450944 8398 4294967295 134512640 134581267 3221224576 3221223536 134554664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10364 8398 566 18 0 10346 0
vsize: 41456
[startup+320.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 4909
Raw data (stat): 4909 (Pueblo-v2) R 4908 7266 7265 0 -1 0 8623 0 0 0 31982 22 0 0 25 0 1 0 849504174 43233280 8597 4294967295 134512640 134581267 3221224576 3221223456 134560345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10555 8597 566 18 0 10537 0
vsize: 42220
[startup+330.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 4909
Raw data (stat): 4909 (Pueblo-v2) R 4908 7266 7265 0 -1 0 8779 0 0 0 32981 23 0 0 25 0 1 0 849504174 43888640 8753 4294967295 134512640 134581267 3221224576 3221223456 134560377 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10715 8753 566 18 0 10697 0
vsize: 42860
[startup+340.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 4909
Raw data (stat): 4909 (Pueblo-v2) R 4908 7266 7265 0 -1 0 9017 0 0 0 33981 24 0 0 25 0 1 0 849504174 44990464 8991 4294967295 134512640 134581267 3221224576 3221223548 134519776 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10984 8991 566 18 0 10966 0
vsize: 43936
[startup+350.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 4909
Raw data (stat): 4909 (Pueblo-v2) R 4908 7266 7265 0 -1 0 9213 0 0 0 34980 24 0 0 25 0 1 0 849504174 45772800 9187 4294967295 134512640 134581267 3221224576 3221223504 134519867 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11175 9187 566 18 0 11157 0
vsize: 44700
[startup+360.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 4909
Raw data (stat): 4909 (Pueblo-v2) R 4908 7266 7265 0 -1 0 9367 0 0 0 35980 25 0 0 25 0 1 0 849504174 46432256 9341 4294967295 134512640 134581267 3221224576 3221223568 134561040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11336 9341 566 18 0 11318 0
vsize: 45344
[startup+370.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 4909
Raw data (stat): 4909 (Pueblo-v2) R 4908 7266 7265 0 -1 0 9479 0 0 0 36980 25 0 0 25 0 1 0 849504174 46862336 9453 4294967295 134512640 134581267 3221224576 3221223504 134519791 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11441 9453 566 18 0 11423 0
vsize: 45764
[startup+380.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4909
Raw data (stat): 4909 (Pueblo-v2) R 4908 7266 7265 0 -1 0 9622 0 0 0 37979 26 0 0 25 0 1 0 849504174 47386624 9596 4294967295 134512640 134581267 3221224576 3221223520 134559384 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11569 9596 566 18 0 11551 0
vsize: 46276
[startup+390.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4909
Raw data (stat): 4909 (Pueblo-v2) R 4908 7266 7265 0 -1 0 9750 0 0 0 38978 27 0 0 25 0 1 0 849504174 47910912 9724 4294967295 134512640 134581267 3221224576 3221223472 134517902 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11697 9724 566 18 0 11679 0
vsize: 46788
[startup+400.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4909
Raw data (stat): 4909 (Pueblo-v2) R 4908 7266 7265 0 -1 0 9935 0 0 0 39978 28 0 0 25 0 1 0 849504174 48836608 9909 4294967295 134512640 134581267 3221224576 3221223520 134559268 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11923 9909 566 18 0 11905 0
vsize: 47692
[startup+410.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4909
Raw data (stat): 4909 (Pueblo-v2) R 4908 7266 7265 0 -1 0 10104 0 0 0 40978 28 0 0 25 0 1 0 849504174 49491968 10078 4294967295 134512640 134581267 3221224576 3221223552 134560674 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12083 10078 566 18 0 12065 0
vsize: 48332
[startup+420.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4909
Raw data (stat): 4909 (Pueblo-v2) R 4908 7266 7265 0 -1 0 10320 0 0 0 41978 29 0 0 25 0 1 0 849504174 50470912 10294 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12322 10294 566 18 0 12304 0
vsize: 49288
[startup+430.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4909
Raw data (stat): 4909 (Pueblo-v2) R 4908 7266 7265 0 -1 0 10478 0 0 0 42977 29 0 0 25 0 1 0 849504174 51134464 10452 4294967295 134512640 134581267 3221224576 3221223568 134561104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12484 10452 566 18 0 12466 0
vsize: 49936
[startup+440.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4909
Raw data (stat): 4909 (Pueblo-v2) R 4908 7266 7265 0 -1 0 10653 0 0 0 43977 29 0 0 25 0 1 0 849504174 51798016 10627 4294967295 134512640 134581267 3221224576 3221223504 134519812 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12646 10627 566 18 0 12628 0
vsize: 50584
[startup+450.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4909
Raw data (stat): 4909 (Pueblo-v2) R 4908 7266 7265 0 -1 0 10826 0 0 0 44977 30 0 0 25 0 1 0 849504174 52453376 10800 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12806 10800 566 18 0 12788 0
vsize: 51224
[startup+460.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4909
Raw data (stat): 4909 (Pueblo-v2) R 4908 7266 7265 0 -1 0 11036 0 0 0 45977 30 0 0 25 0 1 0 849504174 53370880 11010 4294967295 134512640 134581267 3221224576 3221223504 134519803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13030 11010 566 18 0 13012 0
vsize: 52120
[startup+470.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4909
Raw data (stat): 4909 (Pueblo-v2) R 4908 7266 7265 0 -1 0 11165 0 0 0 46977 30 0 0 25 0 1 0 849504174 53895168 11139 4294967295 134512640 134581267 3221224576 3221223552 134560693 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13158 11139 566 18 0 13140 0
vsize: 52632
[startup+480.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4909
Raw data (stat): 4909 (Pueblo-v2) R 4908 7266 7265 0 -1 0 11336 0 0 0 47976 31 0 0 25 0 1 0 849504174 54550528 11310 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13318 11310 566 18 0 13300 0
vsize: 53272
[startup+490.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4909
Raw data (stat): 4909 (Pueblo-v2) R 4908 7266 7265 0 -1 0 11517 0 0 0 48976 32 0 0 25 0 1 0 849504174 55476224 11491 4294967295 134512640 134581267 3221224576 3221223520 134559043 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13544 11491 566 18 0 13526 0
vsize: 54176
[startup+500.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4909
Raw data (stat): 4909 (Pueblo-v2) R 4908 7266 7265 0 -1 0 11646 0 0 0 49976 32 0 0 25 0 1 0 849504174 55873536 11620 4294967295 134512640 134581267 3221224576 3221223568 134561040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13641 11620 566 18 0 13623 0
vsize: 54564
[startup+510.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4909
Raw data (stat): 4909 (Pueblo-v2) R 4908 7266 7265 0 -1 0 11899 0 0 0 50975 33 0 0 25 0 1 0 849504174 56934400 11873 4294967295 134512640 134581267 3221224576 3221223504 134519829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13900 11873 566 18 0 13882 0
vsize: 55600
[startup+520.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4909
Raw data (stat): 4909 (Pueblo-v2) R 4908 7266 7265 0 -1 0 12113 0 0 0 51974 34 0 0 25 0 1 0 849504174 57831424 12087 4294967295 134512640 134581267 3221224576 3221223568 134561015 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14119 12087 566 18 0 14101 0
vsize: 56476
[startup+530.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4909
Raw data (stat): 4909 (Pueblo-v2) R 4908 7266 7265 0 -1 0 12312 0 0 0 52974 34 0 0 25 0 1 0 849504174 58626048 12286 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14313 12286 566 18 0 14295 0
vsize: 57252
[startup+540.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4909
Raw data (stat): 4909 (Pueblo-v2) R 4908 7266 7265 0 -1 0 12537 0 0 0 53974 35 0 0 25 0 1 0 849504174 59543552 12511 4294967295 134512640 134581267 3221224576 3221223456 134560421 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14537 12511 566 18 0 14519 0
vsize: 58148
[startup+550.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4909
Raw data (stat): 4909 (Pueblo-v2) R 4908 7266 7265 0 -1 0 12758 0 0 0 54973 35 0 0 25 0 1 0 849504174 60473344 12732 4294967295 134512640 134581267 3221224576 3221223504 134519788 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14764 12732 566 18 0 14746 0
vsize: 59056
[startup+560.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4909
Raw data (stat): 4909 (Pueblo-v2) R 4908 7266 7265 0 -1 0 13029 0 0 0 55972 37 0 0 25 0 1 0 849504174 61648896 13003 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15051 13003 566 18 0 15033 0
vsize: 60204
[startup+570.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4909
Raw data (stat): 4909 (Pueblo-v2) R 4908 7266 7265 0 -1 0 13297 0 0 0 56971 38 0 0 25 0 1 0 849504174 62713856 13271 4294967295 134512640 134581267 3221224576 3221223540 134554612 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15311 13271 566 18 0 15293 0
vsize: 61244
[startup+580.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4909
Raw data (stat): 4909 (Pueblo-v2) R 4908 7266 7265 0 -1 0 13599 0 0 0 57971 38 0 0 25 0 1 0 849504174 63885312 13573 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15597 13573 566 18 0 15579 0
vsize: 62388
[startup+590.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4909
Raw data (stat): 4909 (Pueblo-v2) R 4908 7266 7265 0 -1 0 13879 0 0 0 58970 39 0 0 25 0 1 0 849504174 65044480 13853 4294967295 134512640 134581267 3221224576 3221223520 134559268 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15880 13853 566 18 0 15862 0
vsize: 63520
[startup+600.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4909
Raw data (stat): 4909 (Pueblo-v2) R 4908 7266 7265 0 -1 0 14171 0 0 0 59969 40 0 0 25 0 1 0 849504174 66207744 14145 4294967295 134512640 134581267 3221224576 3221223520 134559230 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16164 14145 566 18 0 16146 0
vsize: 64656
[startup+610.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4909
Raw data (stat): 4909 (Pueblo-v2) R 4908 7266 7265 0 -1 0 14432 0 0 0 60969 41 0 0 25 0 1 0 849504174 67391488 14406 4294967295 134512640 134581267 3221224576 3221223552 134561057 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16453 14406 566 18 0 16435 0
vsize: 65812
[startup+620.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4909
Raw data (stat): 4909 (Pueblo-v2) R 4908 7266 7265 0 -1 0 14709 0 0 0 61969 41 0 0 25 0 1 0 849504174 68435968 14683 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16708 14683 566 18 0 16690 0
vsize: 66832
[startup+630.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4909
Raw data (stat): 4909 (Pueblo-v2) R 4908 7266 7265 0 -1 0 15003 0 0 0 62968 42 0 0 25 0 1 0 849504174 69615616 14977 4294967295 134512640 134581267 3221224576 3221223504 134519829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16996 14977 566 18 0 16978 0
vsize: 67984
[startup+640.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4909
Raw data (stat): 4909 (Pueblo-v2) R 4908 7266 7265 0 -1 0 15201 0 0 0 63968 43 0 0 25 0 1 0 849504174 70537216 15175 4294967295 134512640 134581267 3221224576 3221223456 134560160 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17221 15175 566 18 0 17203 0
vsize: 68884
[startup+650.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4909
Raw data (stat): 4909 (Pueblo-v2) R 4908 7266 7265 0 -1 0 15303 0 0 0 64967 43 0 0 25 0 1 0 849504174 70930432 15277 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17317 15277 566 18 0 17299 0
vsize: 69268
[startup+660.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4909
Raw data (stat): 4909 (Pueblo-v2) R 4908 7266 7265 0 -1 0 15507 0 0 0 65966 44 0 0 25 0 1 0 849504174 71741440 15481 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17515 15481 566 18 0 17497 0
vsize: 70060
[startup+670.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4909
Raw data (stat): 4909 (Pueblo-v2) R 4908 7266 7265 0 -1 0 15761 0 0 0 66966 45 0 0 25 0 1 0 849504174 72785920 15735 4294967295 134512640 134581267 3221224576 3221223568 134561078 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17770 15735 566 18 0 17752 0
vsize: 71080
[startup+680.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4909
Raw data (stat): 4909 (Pueblo-v2) R 4908 7266 7265 0 -1 0 16079 0 0 0 67965 46 0 0 25 0 1 0 849504174 74100736 16053 4294967295 134512640 134581267 3221224576 3221223568 134561040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18091 16053 566 18 0 18073 0
vsize: 72364
[startup+690.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4909
Raw data (stat): 4909 (Pueblo-v2) R 4908 7266 7265 0 -1 0 16395 0 0 0 68964 47 0 0 25 0 1 0 849504174 75403264 16369 4294967295 134512640 134581267 3221224576 3221223540 134554612 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18409 16369 566 18 0 18391 0
vsize: 73636
[startup+700.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4909
Raw data (stat): 4909 (Pueblo-v2) R 4908 7266 7265 0 -1 0 16660 0 0 0 69963 48 0 0 25 0 1 0 849504174 76455936 16634 4294967295 134512640 134581267 3221224576 3221223548 134554608 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18666 16634 566 18 0 18648 0
vsize: 74664
[startup+710.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4909
Raw data (stat): 4909 (Pueblo-v2) R 4908 7266 7265 0 -1 0 16940 0 0 0 70963 49 0 0 25 0 1 0 849504174 77606912 16914 4294967295 134512640 134581267 3221224576 3221223504 134519867 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18947 16914 566 18 0 18929 0
vsize: 75788
[startup+720.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4909
Raw data (stat): 4909 (Pueblo-v2) R 4908 7266 7265 0 -1 0 17168 0 0 0 71962 50 0 0 25 0 1 0 849504174 78512128 17142 4294967295 134512640 134581267 3221224576 3221223456 134560337 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19168 17142 566 18 0 19150 0
vsize: 76672
[startup+730.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4909
Raw data (stat): 4909 (Pueblo-v2) R 4908 7266 7265 0 -1 0 17296 0 0 0 72961 50 0 0 25 0 1 0 849504174 79298560 17270 4294967295 134512640 134581267 3221224576 3221223504 134519803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19360 17270 566 18 0 19342 0
vsize: 77440
[startup+740.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4909
Raw data (stat): 4909 (Pueblo-v2) R 4908 7266 7265 0 -1 0 17389 0 0 0 73961 51 0 0 25 0 1 0 849504174 79695872 17363 4294967295 134512640 134581267 3221224576 3221223552 134560674 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19457 17363 566 18 0 19439 0
vsize: 77828
[startup+750.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4909
Raw data (stat): 4909 (Pueblo-v2) R 4908 7266 7265 0 -1 0 17514 0 0 0 74961 51 0 0 25 0 1 0 849504174 80220160 17488 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19585 17488 566 18 0 19567 0
vsize: 78340
[startup+760.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4909
Raw data (stat): 4909 (Pueblo-v2) R 4908 7266 7265 0 -1 0 17603 0 0 0 75961 51 0 0 25 0 1 0 849504174 80613376 17577 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19681 17577 566 18 0 19663 0
vsize: 78724
[startup+770.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4909
Raw data (stat): 4909 (Pueblo-v2) R 4908 7266 7265 0 -1 0 17711 0 0 0 76961 52 0 0 25 0 1 0 849504174 81010688 17685 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19778 17685 566 18 0 19760 0
vsize: 79112
[startup+780.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4909
Raw data (stat): 4909 (Pueblo-v2) R 4908 7266 7265 0 -1 0 17865 0 0 0 77960 53 0 0 25 0 1 0 849504174 81690624 17839 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19944 17839 566 18 0 19926 0
vsize: 79776
[startup+790.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4909
Raw data (stat): 4909 (Pueblo-v2) R 4908 7266 7265 0 -1 0 18042 0 0 0 78960 53 0 0 25 0 1 0 849504174 82341888 18016 4294967295 134512640 134581267 3221224576 3221223504 134519803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20103 18016 566 18 0 20085 0
vsize: 80412
[startup+800.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4909
Raw data (stat): 4909 (Pueblo-v2) R 4908 7266 7265 0 -1 0 18159 0 0 0 79960 54 0 0 25 0 1 0 849504174 82866176 18133 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20231 18133 566 18 0 20213 0
vsize: 80924
[startup+810.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4909
Raw data (stat): 4909 (Pueblo-v2) R 4908 7266 7265 0 -1 0 18260 0 0 0 80959 54 0 0 25 0 1 0 849504174 83259392 18234 4294967295 134512640 134581267 3221224576 3221223564 134561046 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20327 18234 566 18 0 20309 0
vsize: 81308
[startup+820.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4909
Raw data (stat): 4909 (Pueblo-v2) R 4908 7266 7265 0 -1 0 18364 0 0 0 81959 54 0 0 25 0 1 0 849504174 83652608 18338 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20423 18338 566 18 0 20405 0
vsize: 81692
[startup+830.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4909
Raw data (stat): 4909 (Pueblo-v2) R 4908 7266 7265 0 -1 0 18526 0 0 0 82959 55 0 0 25 0 1 0 849504174 84307968 18500 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20583 18500 566 18 0 20565 0
vsize: 82332
[startup+840.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4909
Raw data (stat): 4909 (Pueblo-v2) R 4908 7266 7265 0 -1 0 18752 0 0 0 83959 55 0 0 25 0 1 0 849504174 85213184 18726 4294967295 134512640 134581267 3221224576 3221223552 134560674 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20804 18726 566 18 0 20786 0
vsize: 83216
[startup+850.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4909
Raw data (stat): 4909 (Pueblo-v2) R 4908 7266 7265 0 -1 0 18942 0 0 0 84958 56 0 0 25 0 1 0 849504174 85995520 18916 4294967295 134512640 134581267 3221224576 3221223504 134519829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20995 18916 566 18 0 20977 0
vsize: 83980
[startup+860.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4909
Raw data (stat): 4909 (Pueblo-v2) R 4908 7266 7265 0 -1 0 19187 0 0 0 85957 58 0 0 25 0 1 0 849504174 87044096 19161 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21251 19161 566 18 0 21233 0
vsize: 85004
[startup+870.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4909
Raw data (stat): 4909 (Pueblo-v2) R 4908 7266 7265 0 -1 0 19453 0 0 0 86956 58 0 0 25 0 1 0 849504174 88092672 19427 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21507 19427 566 18 0 21489 0
vsize: 86028
[startup+880.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4909
Raw data (stat): 4909 (Pueblo-v2) R 4908 7266 7265 0 -1 0 19618 0 0 0 87956 59 0 0 25 0 1 0 849504174 88743936 19592 4294967295 134512640 134581267 3221224576 3221223568 134561040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21666 19592 566 18 0 21648 0
vsize: 86664
[startup+890.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4909
Raw data (stat): 4909 (Pueblo-v2) R 4908 7266 7265 0 -1 0 19866 0 0 0 88955 60 0 0 25 0 1 0 849504174 89669632 19840 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21892 19840 566 18 0 21874 0
vsize: 87568
[startup+900.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4909
Raw data (stat): 4909 (Pueblo-v2) R 4908 7266 7265 0 -1 0 20108 0 0 0 89955 60 0 0 25 0 1 0 849504174 90718208 20082 4294967295 134512640 134581267 3221224576 3221223520 134559225 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22148 20082 566 18 0 22130 0
vsize: 88592
[startup+910.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4909
Raw data (stat): 4909 (Pueblo-v2) R 4908 7266 7265 0 -1 0 20326 0 0 0 90954 61 0 0 25 0 1 0 849504174 91639808 20300 4294967295 134512640 134581267 3221224576 3221223504 134519958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22373 20300 566 18 0 22355 0
vsize: 89492
[startup+920.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4909
Raw data (stat): 4909 (Pueblo-v2) R 4908 7266 7265 0 -1 0 20603 0 0 0 91954 62 0 0 25 0 1 0 849504174 92696576 20577 4294967295 134512640 134581267 3221224576 3221223568 134560972 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22631 20577 566 18 0 22613 0
vsize: 90524
[startup+930.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4909
Raw data (stat): 4909 (Pueblo-v2) R 4908 7266 7265 0 -1 0 20869 0 0 0 92953 63 0 0 25 0 1 0 849504174 93868032 20843 4294967295 134512640 134581267 3221224576 3221223520 134559568 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22917 20843 566 18 0 22899 0
vsize: 91668
[startup+940.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4909
Raw data (stat): 4909 (Pueblo-v2) R 4908 7266 7265 0 -1 0 21175 0 0 0 93952 64 0 0 25 0 1 0 849504174 95055872 21149 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23207 21149 566 18 0 23189 0
vsize: 92828
[startup+950.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4909
Raw data (stat): 4909 (Pueblo-v2) R 4908 7266 7265 0 -1 0 21492 0 0 0 94951 65 0 0 25 0 1 0 849504174 96366592 21466 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23527 21466 566 18 0 23509 0
vsize: 94108
[startup+960.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4909
Raw data (stat): 4909 (Pueblo-v2) R 4908 7266 7265 0 -1 0 21714 0 0 0 95951 66 0 0 25 0 1 0 849504174 97415168 21688 4294967295 134512640 134581267 3221224576 3221223520 134559268 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23783 21688 566 18 0 23765 0
vsize: 95132
[startup+970.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4909
Raw data (stat): 4909 (Pueblo-v2) R 4908 7266 7265 0 -1 0 21866 0 0 0 96950 66 0 0 25 0 1 0 849504174 98033664 21840 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23934 21840 566 18 0 23916 0
vsize: 95736
[startup+980.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4909
Raw data (stat): 4909 (Pueblo-v2) R 4908 7266 7265 0 -1 0 21951 0 0 0 97950 67 0 0 25 0 1 0 849504174 98430976 21925 4294967295 134512640 134581267 3221224576 3221223568 134561015 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24031 21925 566 18 0 24013 0
vsize: 96124
[startup+990.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4909
Raw data (stat): 4909 (Pueblo-v2) R 4908 7266 7265 0 -1 0 22033 0 0 0 98950 67 0 0 25 0 1 0 849504174 98697216 22007 4294967295 134512640 134581267 3221224576 3221223560 134560628 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24096 22007 566 18 0 24078 0
vsize: 96384
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4909
Raw data (stat): 4909 (Pueblo-v2) R 4908 7266 7265 0 -1 0 22127 0 0 0 99950 67 0 0 25 0 1 0 849504174 99090432 22101 4294967295 134512640 134581267 3221224576 3221223520 134559230 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24192 22101 566 18 0 24174 0
vsize: 96768
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4909
Raw data (stat): 4909 (Pueblo-v2) R 4908 7266 7265 0 -1 0 22320 0 0 0 100949 68 0 0 25 0 1 0 849504174 100069376 22294 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24431 22294 566 18 0 24413 0
vsize: 97724
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4909
Raw data (stat): 4909 (Pueblo-v2) R 4908 7266 7265 0 -1 0 22543 0 0 0 101949 69 0 0 25 0 1 0 849504174 100855808 22517 4294967295 134512640 134581267 3221224576 3221223520 134559230 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24623 22518 566 18 0 24605 0
vsize: 98492
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4909
Raw data (stat): 4909 (Pueblo-v2) R 4908 7266 7265 0 -1 0 22778 0 0 0 102949 69 0 0 25 0 1 0 849504174 101896192 22752 4294967295 134512640 134581267 3221224576 3221223536 134554664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24877 22752 566 18 0 24859 0
vsize: 99508
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4909
Raw data (stat): 4909 (Pueblo-v2) R 4908 7266 7265 0 -1 0 23047 0 0 0 103948 70 0 0 25 0 1 0 849504174 102944768 23021 4294967295 134512640 134581267 3221224576 3221223520 134559013 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25133 23021 566 18 0 25115 0
vsize: 100532
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4909
Raw data (stat): 4909 (Pueblo-v2) R 4908 7266 7265 0 -1 0 23267 0 0 0 104948 71 0 0 25 0 1 0 849504174 103870464 23241 4294967295 134512640 134581267 3221224576 3221223520 134559020 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25359 23241 566 18 0 25341 0
vsize: 101436
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4909
Raw data (stat): 4909 (Pueblo-v2) R 4908 7266 7265 0 -1 0 23467 0 0 0 105947 72 0 0 25 0 1 0 849504174 104665088 23441 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25553 23441 566 18 0 25535 0
vsize: 102212
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4909
Raw data (stat): 4909 (Pueblo-v2) R 4908 7266 7265 0 -1 0 23678 0 0 0 106946 72 0 0 25 0 1 0 849504174 105463808 23652 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25748 23652 566 18 0 25730 0
vsize: 102992
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4909
Raw data (stat): 4909 (Pueblo-v2) R 4908 7266 7265 0 -1 0 23873 0 0 0 107946 73 0 0 25 0 1 0 849504174 106254336 23847 4294967295 134512640 134581267 3221224576 3221223568 134561106 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25941 23847 566 18 0 25923 0
vsize: 103764
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4909
Raw data (stat): 4909 (Pueblo-v2) R 4908 7266 7265 0 -1 0 24020 0 0 0 108946 73 0 0 25 0 1 0 849504174 106905600 23994 4294967295 134512640 134581267 3221224576 3221223568 134560816 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26100 23994 566 18 0 26082 0
vsize: 104400
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4909
Raw data (stat): 4909 (Pueblo-v2) R 4908 7266 7265 0 -1 0 24197 0 0 0 109946 73 0 0 25 0 1 0 849504174 107687936 24171 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26291 24171 566 18 0 26273 0
vsize: 105164
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4909
Raw data (stat): 4909 (Pueblo-v2) R 4908 7266 7265 0 -1 0 24333 0 0 0 110946 74 0 0 25 0 1 0 849504174 108212224 24307 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26419 24307 566 18 0 26401 0
vsize: 105676
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4909
Raw data (stat): 4909 (Pueblo-v2) R 4908 7266 7265 0 -1 0 24614 0 0 0 111945 74 0 0 25 0 1 0 849504174 109264896 24588 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26676 24588 566 18 0 26658 0
vsize: 106704
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4909
Raw data (stat): 4909 (Pueblo-v2) R 4908 7266 7265 0 -1 0 24845 0 0 0 112944 75 0 0 25 0 1 0 849504174 110309376 24819 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26931 24819 566 18 0 26913 0
vsize: 107724
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4909
Raw data (stat): 4909 (Pueblo-v2) R 4908 7266 7265 0 -1 0 25141 0 0 0 113944 76 0 0 25 0 1 0 849504174 111570944 25115 4294967295 134512640 134581267 3221224576 3221223504 134519829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27239 25115 566 18 0 27221 0
vsize: 108956
[startup+1150.14 s]
Raw data (loadavg): 1.07 0.99 0.91 2/58 4952
Raw data (stat): 4909 (Pueblo-v2) R 4908 7266 7265 0 -1 0 25352 0 0 0 114954 77 0 0 25 0 1 0 849504174 112492544 25326 4294967295 134512640 134581267 3221224576 3221223552 134560674 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27464 25326 566 18 0 27446 0
vsize: 109856
[startup+1160.14 s]
Raw data (loadavg): 1.14 1.00 0.92 2/54 4962
Raw data (stat): 4909 (Pueblo-v2) R 4908 7266 7265 0 -1 0 25600 0 0 0 115954 78 0 0 25 0 1 0 849504174 113414144 25574 4294967295 134512640 134581267 3221224576 3221223568 134561040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27689 25574 566 18 0 27671 0
vsize: 110756
[startup+1170.14 s]
Raw data (loadavg): 1.12 1.00 0.92 2/54 4962
Raw data (stat): 4909 (Pueblo-v2) R 4908 7266 7265 0 -1 0 25840 0 0 0 116953 79 0 0 25 0 1 0 849504174 114454528 25814 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27943 25814 566 18 0 27925 0
vsize: 111772
[startup+1180.14 s]
Raw data (loadavg): 1.10 1.00 0.92 2/54 4962
Raw data (stat): 4909 (Pueblo-v2) R 4908 7266 7265 0 -1 0 26096 0 0 0 117952 80 0 0 25 0 1 0 849504174 115482624 26070 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28194 26070 566 18 0 28176 0
vsize: 112776
[startup+1190.14 s]
Raw data (loadavg): 1.08 1.00 0.92 2/54 4962
Raw data (stat): 4909 (Pueblo-v2) R 4908 7266 7265 0 -1 0 26285 0 0 0 118951 81 0 0 25 0 1 0 849504174 116260864 26259 4294967295 134512640 134581267 3221224576 3221223568 134561036 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28384 26259 566 18 0 28366 0
vsize: 113536
[startup+1200.14 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 4962
Raw data (stat): 4909 (Pueblo-v2) R 4908 7266 7265 0 -1 0 26492 0 0 0 119951 82 0 0 25 0 1 0 849504174 117051392 26466 4294967295 134512640 134581267 3221224576 3221223520 134559268 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28577 26466 566 18 0 28559 0
vsize: 114308
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.19 s]
Raw data (loadavg): 1.07 1.00 0.92 1/54 4962
Raw data (stat): 4909 (Pueblo-v2) Z 4908 7266 7265 0 -1 1036 26492 0 0 0 119951 87 0 0 25 0 1 0 849504174 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.19
CPU time (s): 1200.39
CPU user time (s): 1199.52
CPU system time (s): 0.871867
CPU usage (%): 100.016
Max. virtual memory (Kb): 114308
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####