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/een/normalized-p0548.opb
MD5SUM	422c0da7d5380a26c4dac413428db5c9
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	14670
Optimality of the best value was proved	NO
Number of terms in the objective function	416
Biggest coefficient in the objective function	11000
Number of bits for the biggest coefficient in the objective function	14
Sum of the numbers in the objective function	96797
Number of bits of the sum of numbers in the objective function	17
Biggest number in a constraint	11000
Number of bits of the biggest number in a constraint	14
Biggest sum of numbers in a constraint	96797
Number of bits of the biggest sum of numbers	17
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1230.14
Number of variables	527
Total number of constraints	156
Number of constraints which are clauses	40
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	116
Minimum length of a constraint	2
Maximum length of a constraint	134
Trace number 25155

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-17 03:57:48 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=5233 boxname=wulflinc31 idbench=403 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  422c0da7d5380a26c4dac413428db5c9  /oldhome/oroussel/tmp/wulflinc31/normalized-p0548.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc31/normalized-p0548.opb
IDLAUNCH: 5233
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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	: 3
cpu MHz		: 451.153
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        764556 kB
Buffers:         52128 kB
Cached:         188680 kB
SwapCached:       1952 kB
Active:         204812 kB
Inactive:        44936 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        764304 kB
SwapTotal:     2097892 kB
SwapFree:      2095228 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5380 kB
Slab:            14644 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-17 04:17:51 (client local time) WITH STATUS 0 IN 1200.57 SECONDS
stats: 5233 7 1200.57 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
Raw data (loadavg): 0.92 0.99 0.97 2/55 21833
Raw data (stat): 21833 (runsolver) R 21832 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 766668741 1056768 100 4294967295 134512640 135381576 3221221696 3221216920 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0009 s]
Raw data (loadavg): 0.93 0.99 0.97 2/55 21833
Raw data (stat): 21833 (Pueblo) R 21832 7876 7672 0 -1 0 331 0 0 0 995 2 0 0 25 0 1 0 766668741 6971392 308 4294967295 134512640 134581331 3221221808 3221220692 134557889 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1702 308 566 18 0 1684 0
vsize: 6808
[startup+20.0013 s]
Raw data (loadavg): 0.94 0.99 0.97 2/55 21833
Raw data (stat): 21833 (Pueblo) R 21832 7876 7672 0 -1 0 335 0 0 0 1995 2 0 0 25 0 1 0 766668741 6971392 312 4294967295 134512640 134581331 3221221808 3221220720 134527670 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1702 312 566 18 0 1684 0
vsize: 6808
[startup+30.0016 s]
Raw data (loadavg): 0.95 0.99 0.97 2/55 21833
Raw data (stat): 21833 (Pueblo) R 21832 7876 7672 0 -1 0 338 0 0 0 2995 2 0 0 25 0 1 0 766668741 6971392 315 4294967295 134512640 134581331 3221221808 3221220688 134520299 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1702 315 566 18 0 1684 0
vsize: 6808
[startup+40.0016 s]
Raw data (loadavg): 0.96 0.99 0.97 2/55 21833
Raw data (stat): 21833 (Pueblo) R 21832 7876 7672 0 -1 0 341 0 0 0 3995 2 0 0 25 0 1 0 766668741 7102464 318 4294967295 134512640 134581331 3221221808 3221220672 134528287 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1734 318 566 18 0 1716 0
vsize: 6936
[startup+50.0032 s]
Raw data (loadavg): 0.97 0.99 0.97 2/55 21833
Raw data (stat): 21833 (Pueblo) R 21832 7876 7672 0 -1 0 343 0 0 0 4995 2 0 0 25 0 1 0 766668741 7102464 320 4294967295 134512640 134581331 3221221808 3221220784 134560800 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1734 320 566 18 0 1716 0
vsize: 6936
[startup+60.0038 s]
Raw data (loadavg): 0.97 0.99 0.97 2/55 21833
Raw data (stat): 21833 (Pueblo) R 21832 7876 7672 0 -1 0 345 0 0 0 5996 2 0 0 25 0 1 0 766668741 7102464 322 4294967295 134512640 134581331 3221221808 3221220720 134527772 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1734 322 566 18 0 1716 0
vsize: 6936
[startup+70.0033 s]
Raw data (loadavg): 0.97 0.99 0.97 2/55 21833
Raw data (stat): 21833 (Pueblo) R 21832 7876 7672 0 -1 0 348 0 0 0 6996 2 0 0 25 0 1 0 766668741 7102464 325 4294967295 134512640 134581331 3221221808 3221220672 134528254 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1734 325 566 18 0 1716 0
vsize: 6936
[startup+80.0048 s]
Raw data (loadavg): 0.98 0.99 0.97 2/55 21833
Raw data (stat): 21833 (Pueblo) R 21832 7876 7672 0 -1 0 350 0 0 0 7996 2 0 0 25 0 1 0 766668741 7102464 327 4294967295 134512640 134581331 3221221808 3221220660 134528553 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1734 327 566 18 0 1716 0
vsize: 6936
[startup+90.0042 s]
Raw data (loadavg): 0.98 0.99 0.97 2/55 21833
Raw data (stat): 21833 (Pueblo) R 21832 7876 7672 0 -1 0 351 0 0 0 8996 2 0 0 25 0 1 0 766668741 7102464 328 4294967295 134512640 134581331 3221221808 3221220800 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1734 328 566 18 0 1716 0
vsize: 6936
[startup+100.004 s]
Raw data (loadavg): 0.98 0.99 0.97 2/55 21833
Raw data (stat): 21833 (Pueblo) R 21832 7876 7672 0 -1 0 352 0 0 0 9996 2 0 0 25 0 1 0 766668741 7102464 329 4294967295 134512640 134581331 3221221808 3221220720 134527418 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1734 329 566 18 0 1716 0
vsize: 6936
[startup+110.004 s]
Raw data (loadavg): 0.98 0.99 0.97 2/55 21833
Raw data (stat): 21833 (Pueblo) R 21832 7876 7672 0 -1 0 353 0 0 0 10996 2 0 0 25 0 1 0 766668741 7102464 330 4294967295 134512640 134581331 3221221808 3221220672 134528368 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1734 330 566 18 0 1716 0
vsize: 6936
[startup+120.004 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 21833
Raw data (stat): 21833 (Pueblo) R 21832 7876 7672 0 -1 0 354 0 0 0 11996 2 0 0 25 0 1 0 766668741 7102464 331 4294967295 134512640 134581331 3221221808 3221220768 134554677 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1734 331 566 18 0 1716 0
vsize: 6936
[startup+130.004 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 21833
Raw data (stat): 21833 (Pueblo) R 21832 7876 7672 0 -1 0 355 0 0 0 12996 3 0 0 25 0 1 0 766668741 7102464 332 4294967295 134512640 134581331 3221221808 3221220720 134566356 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1734 332 566 18 0 1716 0
vsize: 6936
[startup+140.005 s]
Raw data (loadavg): 0.99 0.99 0.97 2/59 21837
Raw data (stat): 21833 (Pueblo) R 21832 7876 7672 0 -1 0 356 0 0 0 13996 3 0 0 25 0 1 0 766668741 7102464 333 4294967295 134512640 134581331 3221221808 3221220672 134528446 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1734 333 566 18 0 1716 0
vsize: 6936
[startup+150.007 s]
Raw data (loadavg): 1.14 1.02 0.98 2/59 21876
Raw data (stat): 21833 (Pueblo) R 21832 7876 7672 0 -1 0 356 0 0 0 14996 3 0 0 25 0 1 0 766668741 7102464 333 4294967295 134512640 134581331 3221221808 3221220736 134519950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1734 333 566 18 0 1716 0
vsize: 6936
[startup+160.091 s]
Raw data (loadavg): 1.28 1.05 0.99 2/55 21886
Raw data (stat): 21833 (Pueblo) R 21832 7876 7672 0 -1 0 357 0 0 0 16005 3 0 0 25 0 1 0 766668741 7102464 334 4294967295 134512640 134581331 3221221808 3221220672 134560363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1734 334 566 18 0 1716 0
vsize: 6936
[startup+170.091 s]
Raw data (loadavg): 1.23 1.05 0.99 2/55 21886
Raw data (stat): 21833 (Pueblo) R 21832 7876 7672 0 -1 0 359 0 0 0 17005 3 0 0 25 0 1 0 766668741 7102464 336 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1734 336 566 18 0 1716 0
vsize: 6936
[startup+180.092 s]
Raw data (loadavg): 1.20 1.05 0.99 2/55 21886
Raw data (stat): 21833 (Pueblo) R 21832 7876 7672 0 -1 0 360 0 0 0 18005 3 0 0 25 0 1 0 766668741 7102464 337 4294967295 134512640 134581331 3221221808 3221220720 134527454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1734 337 566 18 0 1716 0
vsize: 6936
[startup+190.092 s]
Raw data (loadavg): 1.17 1.04 0.99 2/55 21886
Raw data (stat): 21833 (Pueblo) R 21832 7876 7672 0 -1 0 361 0 0 0 19005 3 0 0 25 0 1 0 766668741 7102464 338 4294967295 134512640 134581331 3221221808 3221220720 134527539 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1734 338 566 18 0 1716 0
vsize: 6936
[startup+200.093 s]
Raw data (loadavg): 1.14 1.04 0.99 2/55 21886
Raw data (stat): 21833 (Pueblo) R 21832 7876 7672 0 -1 0 361 0 0 0 20005 3 0 0 25 0 1 0 766668741 7102464 338 4294967295 134512640 134581331 3221221808 3221220720 134527418 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1734 338 566 18 0 1716 0
vsize: 6936
[startup+210.094 s]
Raw data (loadavg): 1.12 1.04 0.99 2/55 21886
Raw data (stat): 21833 (Pueblo) R 21832 7876 7672 0 -1 0 361 0 0 0 21005 3 0 0 25 0 1 0 766668741 7102464 338 4294967295 134512640 134581331 3221221808 3221220720 134527504 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1734 338 566 18 0 1716 0
vsize: 6936
[startup+220.093 s]
Raw data (loadavg): 1.10 1.04 0.99 2/55 21888
Raw data (stat): 21833 (Pueblo) R 21832 7876 7672 0 -1 0 362 0 0 0 22006 3 0 0 25 0 1 0 766668741 7102464 339 4294967295 134512640 134581331 3221221808 3221220736 134520084 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1734 339 566 18 0 1716 0
vsize: 6936
[startup+230.093 s]
Raw data (loadavg): 1.08 1.04 0.99 2/55 21888
Raw data (stat): 21833 (Pueblo) R 21832 7876 7672 0 -1 0 363 0 0 0 23006 3 0 0 25 0 1 0 766668741 7102464 340 4294967295 134512640 134581331 3221221808 3221220704 134517862 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1734 340 566 18 0 1716 0
vsize: 6936
[startup+240.093 s]
Raw data (loadavg): 1.07 1.03 0.99 2/55 21888
Raw data (stat): 21833 (Pueblo) R 21832 7876 7672 0 -1 0 363 0 0 0 24006 3 0 0 25 0 1 0 766668741 7102464 340 4294967295 134512640 134581331 3221221808 3221220800 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1734 340 566 18 0 1716 0
vsize: 6936
[startup+250.379 s]
Raw data (loadavg): 1.06 1.03 0.99 2/55 21888
Raw data (stat): 21833 (Pueblo) R 21832 7876 7672 0 -1 0 365 0 0 0 25034 3 0 0 25 0 1 0 766668741 7102464 342 4294967295 134512640 134581331 3221221808 3221220800 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1734 342 566 18 0 1716 0
vsize: 6936
[startup+260.379 s]
Raw data (loadavg): 1.05 1.03 0.99 2/55 21888
Raw data (stat): 21833 (Pueblo) R 21832 7876 7672 0 -1 0 367 0 0 0 26035 3 0 0 25 0 1 0 766668741 7102464 344 4294967295 134512640 134581331 3221221808 3221220496 1075288544 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1734 344 566 18 0 1716 0
vsize: 6936
[startup+270.379 s]
Raw data (loadavg): 1.04 1.03 0.99 2/55 21888
Raw data (stat): 21833 (Pueblo) R 21832 7876 7672 0 -1 0 367 0 0 0 27035 3 0 0 25 0 1 0 766668741 7102464 344 4294967295 134512640 134581331 3221221808 3221220736 134519812 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1734 344 566 18 0 1716 0
vsize: 6936
[startup+280.379 s]
Raw data (loadavg): 1.03 1.03 0.99 2/55 21888
Raw data (stat): 21833 (Pueblo) R 21832 7876 7672 0 -1 0 367 0 0 0 28035 3 0 0 25 0 1 0 766668741 7102464 344 4294967295 134512640 134581331 3221221808 3221220720 134528077 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1734 344 566 18 0 1716 0
vsize: 6936
[startup+290.379 s]
Raw data (loadavg): 1.03 1.03 0.99 2/55 21888
Raw data (stat): 21833 (Pueblo) R 21832 7876 7672 0 -1 0 367 0 0 0 29035 4 0 0 25 0 1 0 766668741 7102464 344 4294967295 134512640 134581331 3221221808 3221220720 134527510 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1734 344 566 18 0 1716 0
vsize: 6936
[startup+300.379 s]
Raw data (loadavg): 1.02 1.03 0.99 2/55 21888
Raw data (stat): 21833 (Pueblo) R 21832 7876 7672 0 -1 0 367 0 0 0 30035 4 0 0 25 0 1 0 766668741 7102464 344 4294967295 134512640 134581331 3221221808 3221220692 134557861 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1734 344 566 18 0 1716 0
vsize: 6936
[startup+310.379 s]
Raw data (loadavg): 1.02 1.02 0.99 2/55 21888
Raw data (stat): 21833 (Pueblo) R 21832 7876 7672 0 -1 0 368 0 0 0 31035 4 0 0 25 0 1 0 766668741 7102464 345 4294967295 134512640 134581331 3221221808 3221220736 134520084 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1734 345 566 18 0 1716 0
vsize: 6936
[startup+320.379 s]
Raw data (loadavg): 1.02 1.02 0.99 2/55 21888
Raw data (stat): 21833 (Pueblo) R 21832 7876 7672 0 -1 0 369 0 0 0 32035 4 0 0 25 0 1 0 766668741 7102464 346 4294967295 134512640 134581331 3221221808 3221220736 134520084 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1734 346 566 18 0 1716 0
vsize: 6936
[startup+330.38 s]
Raw data (loadavg): 1.01 1.02 0.99 2/55 21888
Raw data (stat): 21833 (Pueblo) R 21832 7876 7672 0 -1 0 369 0 0 0 33035 4 0 0 25 0 1 0 766668741 7102464 346 4294967295 134512640 134581331 3221221808 3221220688 134520432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1734 346 566 18 0 1716 0
vsize: 6936
[startup+340.38 s]
Raw data (loadavg): 1.01 1.02 0.99 2/55 21888
Raw data (stat): 21833 (Pueblo) R 21832 7876 7672 0 -1 0 371 0 0 0 34035 4 0 0 25 0 1 0 766668741 7233536 348 4294967295 134512640 134581331 3221221808 3221220692 134557807 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1766 348 566 18 0 1748 0
vsize: 7064
[startup+350.381 s]
Raw data (loadavg): 1.01 1.02 0.99 2/55 21888
Raw data (stat): 21833 (Pueblo) R 21832 7876 7672 0 -1 0 373 0 0 0 35035 4 0 0 25 0 1 0 766668741 7233536 350 4294967295 134512640 134581331 3221221808 3221220736 134520076 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1766 350 566 18 0 1748 0
vsize: 7064
[startup+360.38 s]
Raw data (loadavg): 1.01 1.02 0.99 2/55 21888
Raw data (stat): 21833 (Pueblo) R 21832 7876 7672 0 -1 0 374 0 0 0 36035 4 0 0 25 0 1 0 766668741 7233536 351 4294967295 134512640 134581331 3221221808 3221220628 1075289770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1766 351 566 18 0 1748 0
vsize: 7064
[startup+370.38 s]
Raw data (loadavg): 1.01 1.02 0.99 2/55 21888
Raw data (stat): 21833 (Pueblo) R 21832 7876 7672 0 -1 0 375 0 0 0 37035 4 0 0 25 0 1 0 766668741 7233536 352 4294967295 134512640 134581331 3221221808 3221220676 1075289765 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1766 352 566 18 0 1748 0
vsize: 7064
[startup+380.381 s]
Raw data (loadavg): 1.00 1.02 0.99 2/55 21888
Raw data (stat): 21833 (Pueblo) R 21832 7876 7672 0 -1 0 378 0 0 0 38035 5 0 0 25 0 1 0 766668741 7233536 355 4294967295 134512640 134581331 3221221808 3221220704 134517900 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1766 355 566 18 0 1748 0
vsize: 7064
[startup+390.381 s]
Raw data (loadavg): 1.00 1.02 0.99 2/55 21888
Raw data (stat): 21833 (Pueblo) R 21832 7876 7672 0 -1 0 378 0 0 0 39035 5 0 0 25 0 1 0 766668741 7233536 355 4294967295 134512640 134581331 3221221808 3221220736 134520092 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1766 355 566 18 0 1748 0
vsize: 7064
[startup+400.381 s]
Raw data (loadavg): 1.00 1.02 0.99 2/55 21888
Raw data (stat): 21833 (Pueblo) R 21832 7876 7672 0 -1 0 379 0 0 0 40035 5 0 0 25 0 1 0 766668741 7233536 356 4294967295 134512640 134581331 3221221808 3221220720 134527519 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1766 356 566 18 0 1748 0
vsize: 7064
[startup+410.381 s]
Raw data (loadavg): 1.00 1.02 0.99 2/55 21888
Raw data (stat): 21833 (Pueblo) R 21832 7876 7672 0 -1 0 379 0 0 0 41035 5 0 0 25 0 1 0 766668741 7233536 356 4294967295 134512640 134581331 3221221808 3221220752 134559274 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1766 356 566 18 0 1748 0
vsize: 7064
[startup+420.381 s]
Raw data (loadavg): 1.00 1.01 0.99 2/55 21888
Raw data (stat): 21833 (Pueblo) R 21832 7876 7672 0 -1 0 382 0 0 0 42036 5 0 0 25 0 1 0 766668741 7233536 359 4294967295 134512640 134581331 3221221808 3221220752 134558859 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1766 359 566 18 0 1748 0
vsize: 7064
[startup+430.382 s]
Raw data (loadavg): 1.00 1.01 0.99 2/55 21888
Raw data (stat): 21833 (Pueblo) R 21832 7876 7672 0 -1 0 382 0 0 0 43036 5 0 0 25 0 1 0 766668741 7233536 359 4294967295 134512640 134581331 3221221808 3221220704 134517779 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1766 359 566 18 0 1748 0
vsize: 7064
[startup+440.382 s]
Raw data (loadavg): 1.00 1.01 0.99 2/55 21888
Raw data (stat): 21833 (Pueblo) R 21832 7876 7672 0 -1 0 382 0 0 0 44036 5 0 0 25 0 1 0 766668741 7233536 359 4294967295 134512640 134581331 3221221808 3221220800 134560973 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1766 359 566 18 0 1748 0
vsize: 7064
[startup+450.383 s]
Raw data (loadavg): 1.00 1.01 0.99 2/55 21888
Raw data (stat): 21833 (Pueblo) R 21832 7876 7672 0 -1 0 382 0 0 0 45036 5 0 0 25 0 1 0 766668741 7233536 359 4294967295 134512640 134581331 3221221808 3221220724 1075285608 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1766 359 566 18 0 1748 0
vsize: 7064
[startup+460.384 s]
Raw data (loadavg): 1.00 1.01 0.99 2/55 21888
Raw data (stat): 21833 (Pueblo) R 21832 7876 7672 0 -1 0 382 0 0 0 46036 5 0 0 25 0 1 0 766668741 7233536 359 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1766 359 566 18 0 1748 0
vsize: 7064
[startup+470.384 s]
Raw data (loadavg): 1.00 1.01 0.99 2/55 21888
Raw data (stat): 21833 (Pueblo) R 21832 7876 7672 0 -1 0 383 0 0 0 47036 5 0 0 25 0 1 0 766668741 7233536 360 4294967295 134512640 134581331 3221221808 3221220720 134527519 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1766 360 566 18 0 1748 0
vsize: 7064
[startup+480.384 s]
Raw data (loadavg): 1.00 1.01 0.99 2/55 21888
Raw data (stat): 21833 (Pueblo) R 21832 7876 7672 0 -1 0 383 0 0 0 48036 5 0 0 25 0 1 0 766668741 7233536 360 4294967295 134512640 134581331 3221221808 3221220800 134561111 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1766 360 566 18 0 1748 0
vsize: 7064
[startup+490.384 s]
Raw data (loadavg): 1.00 1.01 0.99 2/55 21888
Raw data (stat): 21833 (Pueblo) R 21832 7876 7672 0 -1 0 384 0 0 0 49036 6 0 0 25 0 1 0 766668741 7233536 361 4294967295 134512640 134581331 3221221808 3221220692 134557925 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1766 361 566 18 0 1748 0
vsize: 7064
[startup+500.385 s]
Raw data (loadavg): 1.00 1.01 0.99 2/55 21888
Raw data (stat): 21833 (Pueblo) R 21832 7876 7672 0 -1 0 385 0 0 0 50036 6 0 0 25 0 1 0 766668741 7233536 362 4294967295 134512640 134581331 3221221808 3221220672 134528422 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1766 362 566 18 0 1748 0
vsize: 7064
[startup+510.384 s]
Raw data (loadavg): 1.00 1.01 0.99 2/55 21888
Raw data (stat): 21833 (Pueblo) R 21832 7876 7672 0 -1 0 385 0 0 0 51036 6 0 0 25 0 1 0 766668741 7233536 362 4294967295 134512640 134581331 3221221808 3221220736 134519829 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1766 362 566 18 0 1748 0
vsize: 7064
[startup+520.384 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 21888
Raw data (stat): 21833 (Pueblo) R 21832 7876 7672 0 -1 0 386 0 0 0 52037 6 0 0 25 0 1 0 766668741 7233536 363 4294967295 134512640 134581331 3221221808 3221220720 134527534 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1766 363 566 18 0 1748 0
vsize: 7064
[startup+530.385 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 21888
Raw data (stat): 21833 (Pueblo) R 21832 7876 7672 0 -1 0 387 0 0 0 53037 6 0 0 25 0 1 0 766668741 7233536 364 4294967295 134512640 134581331 3221221808 3221220504 1075291632 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1766 364 566 18 0 1748 0
vsize: 7064
[startup+540.385 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 21890
Raw data (stat): 21833 (Pueblo) R 21832 7876 7672 0 -1 0 387 0 0 0 54037 6 0 0 25 0 1 0 766668741 7233536 364 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1766 364 566 18 0 1748 0
vsize: 7064
[startup+550.386 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 21890
Raw data (stat): 21833 (Pueblo) R 21832 7876 7672 0 -1 0 387 0 0 0 55037 6 0 0 25 0 1 0 766668741 7233536 364 4294967295 134512640 134581331 3221221808 3221220720 134527416 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1766 364 566 18 0 1748 0
vsize: 7064
[startup+560.388 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 21890
Raw data (stat): 21833 (Pueblo) R 21832 7876 7672 0 -1 0 387 0 0 0 56037 6 0 0 25 0 1 0 766668741 7233536 364 4294967295 134512640 134581331 3221221808 3221220720 134527504 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1766 364 566 18 0 1748 0
vsize: 7064
[startup+570.387 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 21890
Raw data (stat): 21833 (Pueblo) R 21832 7876 7672 0 -1 0 391 0 0 0 57037 6 0 0 25 0 1 0 766668741 7233536 368 4294967295 134512640 134581331 3221221808 3221220720 134527707 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1766 368 566 18 0 1748 0
vsize: 7064
[startup+580.387 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 21890
Raw data (stat): 21833 (Pueblo) R 21832 7876 7672 0 -1 0 392 0 0 0 58037 6 0 0 25 0 1 0 766668741 7233536 369 4294967295 134512640 134581331 3221221808 3221220720 134527534 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1766 369 566 18 0 1748 0
vsize: 7064
[startup+590.387 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 21890
Raw data (stat): 21833 (Pueblo) R 21832 7876 7672 0 -1 0 392 0 0 0 59037 6 0 0 25 0 1 0 766668741 7233536 369 4294967295 134512640 134581331 3221221808 3221220672 134528439 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1766 369 566 18 0 1748 0
vsize: 7064
[startup+600.388 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 21890
Raw data (stat): 21833 (Pueblo) R 21832 7876 7672 0 -1 0 392 0 0 0 60037 7 0 0 25 0 1 0 766668741 7233536 369 4294967295 134512640 134581331 3221221808 3221220704 134517521 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1766 369 566 18 0 1748 0
vsize: 7064
[startup+610.388 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 21890
Raw data (stat): 21833 (Pueblo) R 21832 7876 7672 0 -1 0 392 0 0 0 61037 7 0 0 25 0 1 0 766668741 7233536 369 4294967295 134512640 134581331 3221221808 3221220736 134519924 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1766 369 566 18 0 1748 0
vsize: 7064
[startup+620.393 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 21890
Raw data (stat): 21833 (Pueblo) R 21832 7876 7672 0 -1 0 392 0 0 0 62038 7 0 0 25 0 1 0 766668741 7233536 369 4294967295 134512640 134581331 3221221808 3221220752 134559312 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1766 369 566 18 0 1748 0
vsize: 7064
[startup+630.394 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 21890
Raw data (stat): 21833 (Pueblo) R 21832 7876 7672 0 -1 0 392 0 0 0 63038 7 0 0 25 0 1 0 766668741 7233536 369 4294967295 134512640 134581331 3221221808 3221220720 134527980 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1766 369 566 18 0 1748 0
vsize: 7064
[startup+640.394 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 21890
Raw data (stat): 21833 (Pueblo) R 21832 7876 7672 0 -1 0 392 0 0 0 64038 7 0 0 25 0 1 0 766668741 7233536 369 4294967295 134512640 134581331 3221221808 3221220720 134527454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1766 369 566 18 0 1748 0
vsize: 7064
[startup+650.395 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 21890
Raw data (stat): 21833 (Pueblo) R 21832 7876 7672 0 -1 0 392 0 0 0 65038 7 0 0 25 0 1 0 766668741 7233536 369 4294967295 134512640 134581331 3221221808 3221220592 134528824 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1766 369 566 18 0 1748 0
vsize: 7064
[startup+660.394 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 21890
Raw data (stat): 21833 (Pueblo) R 21832 7876 7672 0 -1 0 393 0 0 0 66038 7 0 0 25 0 1 0 766668741 7233536 370 4294967295 134512640 134581331 3221221808 3221220704 134517764 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1766 370 566 18 0 1748 0
vsize: 7064
[startup+670.394 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 21890
Raw data (stat): 21833 (Pueblo) R 21832 7876 7672 0 -1 0 393 0 0 0 67038 7 0 0 25 0 1 0 766668741 7233536 370 4294967295 134512640 134581331 3221221808 3221220672 134528358 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1766 370 566 18 0 1748 0
vsize: 7064
[startup+680.395 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 21890
Raw data (stat): 21833 (Pueblo) R 21832 7876 7672 0 -1 0 393 0 0 0 68039 7 0 0 25 0 1 0 766668741 7233536 370 4294967295 134512640 134581331 3221221808 3221220692 134557889 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1766 370 566 18 0 1748 0
vsize: 7064
[startup+690.394 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 21890
Raw data (stat): 21833 (Pueblo) R 21832 7876 7672 0 -1 0 394 0 0 0 69039 7 0 0 25 0 1 0 766668741 7233536 371 4294967295 134512640 134581331 3221221808 3221220768 134519781 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1766 371 566 18 0 1748 0
vsize: 7064
[startup+700.395 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 21890
Raw data (stat): 21833 (Pueblo) R 21832 7876 7672 0 -1 0 395 0 0 0 70039 7 0 0 25 0 1 0 766668741 7233536 372 4294967295 134512640 134581331 3221221808 3221220628 134528700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1766 372 566 18 0 1748 0
vsize: 7064
[startup+710.395 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 21890
Raw data (stat): 21833 (Pueblo) R 21832 7876 7672 0 -1 0 395 0 0 0 71039 8 0 0 25 0 1 0 766668741 7233536 372 4294967295 134512640 134581331 3221221808 3221220776 134527282 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1766 372 566 18 0 1748 0
vsize: 7064
[startup+720.395 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 21890
Raw data (stat): 21833 (Pueblo) R 21832 7876 7672 0 -1 0 395 0 0 0 72039 8 0 0 25 0 1 0 766668741 7233536 372 4294967295 134512640 134581331 3221221808 3221220672 134528601 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1766 372 566 18 0 1748 0
vsize: 7064
[startup+730.395 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 21890
Raw data (stat): 21833 (Pueblo) R 21832 7876 7672 0 -1 0 395 0 0 0 73039 8 0 0 25 0 1 0 766668741 7233536 372 4294967295 134512640 134581331 3221221808 3221220672 134528323 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1766 372 566 18 0 1748 0
vsize: 7064
[startup+740.395 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 21890
Raw data (stat): 21833 (Pueblo) R 21832 7876 7672 0 -1 0 395 0 0 0 74039 8 0 0 25 0 1 0 766668741 7233536 372 4294967295 134512640 134581331 3221221808 3221220720 134527445 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1766 372 566 18 0 1748 0
vsize: 7064
[startup+750.396 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 21890
Raw data (stat): 21833 (Pueblo) R 21832 7876 7672 0 -1 0 395 0 0 0 75039 8 0 0 25 0 1 0 766668741 7233536 372 4294967295 134512640 134581331 3221221808 3221220768 134516723 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1766 372 566 18 0 1748 0
vsize: 7064
[startup+760.396 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 21890
Raw data (stat): 21833 (Pueblo) R 21832 7876 7672 0 -1 0 395 0 0 0 76039 8 0 0 25 0 1 0 766668741 7233536 372 4294967295 134512640 134581331 3221221808 3221220736 134520084 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1766 372 566 18 0 1748 0
vsize: 7064
[startup+770.396 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 21890
Raw data (stat): 21833 (Pueblo) R 21832 7876 7672 0 -1 0 397 0 0 0 77039 8 0 0 25 0 1 0 766668741 7233536 374 4294967295 134512640 134581331 3221221808 3221220720 134527418 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1766 374 566 18 0 1748 0
vsize: 7064
[startup+780.397 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 21890
Raw data (stat): 21833 (Pueblo) R 21832 7876 7672 0 -1 0 397 0 0 0 78040 8 0 0 25 0 1 0 766668741 7233536 374 4294967295 134512640 134581331 3221221808 3221220776 134527282 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1766 374 566 18 0 1748 0
vsize: 7064
[startup+790.397 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 21890
Raw data (stat): 21833 (Pueblo) R 21832 7876 7672 0 -1 0 398 0 0 0 79040 8 0 0 25 0 1 0 766668741 7233536 375 4294967295 134512640 134581331 3221221808 3221220672 134560341 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1766 375 566 18 0 1748 0
vsize: 7064
[startup+800.398 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 21890
Raw data (stat): 21833 (Pueblo) R 21832 7876 7672 0 -1 0 399 0 0 0 80040 8 0 0 25 0 1 0 766668741 7233536 376 4294967295 134512640 134581331 3221221808 3221220640 134531489 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1766 376 566 18 0 1748 0
vsize: 7064
[startup+810.398 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 21890
Raw data (stat): 21833 (Pueblo) R 21832 7876 7672 0 -1 0 399 0 0 0 81040 8 0 0 25 0 1 0 766668741 7233536 376 4294967295 134512640 134581331 3221221808 3221220800 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1766 376 566 18 0 1748 0
vsize: 7064
[startup+820.398 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 21890
Raw data (stat): 21833 (Pueblo) R 21832 7876 7672 0 -1 0 400 0 0 0 82040 8 0 0 25 0 1 0 766668741 7233536 377 4294967295 134512640 134581331 3221221808 3221220776 134527282 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1766 377 566 18 0 1748 0
vsize: 7064
[startup+830.399 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 21890
Raw data (stat): 21833 (Pueblo) R 21832 7876 7672 0 -1 0 400 0 0 0 83040 8 0 0 25 0 1 0 766668741 7233536 377 4294967295 134512640 134581331 3221221808 3221220800 134561084 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1766 377 566 18 0 1748 0
vsize: 7064
[startup+840.399 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 21890
Raw data (stat): 21833 (Pueblo) R 21832 7876 7672 0 -1 0 400 0 0 0 84041 8 0 0 25 0 1 0 766668741 7233536 377 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1766 377 566 18 0 1748 0
vsize: 7064
[startup+850.399 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 21890
Raw data (stat): 21833 (Pueblo) R 21832 7876 7672 0 -1 0 400 0 0 0 85041 8 0 0 25 0 1 0 766668741 7233536 377 4294967295 134512640 134581331 3221221808 3221220720 134528072 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1766 377 566 18 0 1748 0
vsize: 7064
[startup+860.4 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 21890
Raw data (stat): 21833 (Pueblo) R 21832 7876 7672 0 -1 0 403 0 0 0 86041 8 0 0 25 0 1 0 766668741 7368704 380 4294967295 134512640 134581331 3221221808 3221220672 134528347 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1799 380 566 18 0 1781 0
vsize: 7196
[startup+870.4 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 21890
Raw data (stat): 21833 (Pueblo) R 21832 7876 7672 0 -1 0 403 0 0 0 87041 8 0 0 25 0 1 0 766668741 7368704 380 4294967295 134512640 134581331 3221221808 3221220688 134520222 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1799 380 566 18 0 1781 0
vsize: 7196
[startup+880.4 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 21890
Raw data (stat): 21833 (Pueblo) R 21832 7876 7672 0 -1 0 403 0 0 0 88041 9 0 0 25 0 1 0 766668741 7368704 380 4294967295 134512640 134581331 3221221808 3221220660 134528553 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1799 380 566 18 0 1781 0
vsize: 7196
[startup+890.4 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 21890
Raw data (stat): 21833 (Pueblo) R 21832 7876 7672 0 -1 0 403 0 0 0 89041 9 0 0 25 0 1 0 766668741 7368704 380 4294967295 134512640 134581331 3221221808 3221220592 134528765 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1799 380 566 18 0 1781 0
vsize: 7196
[startup+900.401 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 21890
Raw data (stat): 21833 (Pueblo) R 21832 7876 7672 0 -1 0 405 0 0 0 90041 9 0 0 25 0 1 0 766668741 7368704 382 4294967295 134512640 134581331 3221221808 3221220592 134528767 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1799 382 566 18 0 1781 0
vsize: 7196
[startup+910.401 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 21890
Raw data (stat): 21833 (Pueblo) R 21832 7876 7672 0 -1 0 405 0 0 0 91041 9 0 0 25 0 1 0 766668741 7368704 382 4294967295 134512640 134581331 3221221808 3221220720 134527519 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1799 382 566 18 0 1781 0
vsize: 7196
[startup+920.401 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 21890
Raw data (stat): 21833 (Pueblo) R 21832 7876 7672 0 -1 0 406 0 0 0 92041 9 0 0 25 0 1 0 766668741 7368704 383 4294967295 134512640 134581331 3221221808 3221220692 134557930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1799 383 566 18 0 1781 0
vsize: 7196
[startup+930.402 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 21890
Raw data (stat): 21833 (Pueblo) R 21832 7876 7672 0 -1 0 406 0 0 0 93041 9 0 0 25 0 1 0 766668741 7368704 383 4294967295 134512640 134581331 3221221808 3221220720 134527964 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1799 383 566 18 0 1781 0
vsize: 7196
[startup+940.402 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 21890
Raw data (stat): 21833 (Pueblo) R 21832 7876 7672 0 -1 0 406 0 0 0 94041 9 0 0 25 0 1 0 766668741 7368704 383 4294967295 134512640 134581331 3221221808 3221220752 134558828 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1799 383 566 18 0 1781 0
vsize: 7196
[startup+950.403 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 21890
Raw data (stat): 21833 (Pueblo) R 21832 7876 7672 0 -1 0 406 0 0 0 95041 9 0 0 25 0 1 0 766668741 7368704 383 4294967295 134512640 134581331 3221221808 3221220784 134560718 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1799 383 566 18 0 1781 0
vsize: 7196
[startup+960.402 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 21890
Raw data (stat): 21833 (Pueblo) R 21832 7876 7672 0 -1 0 406 0 0 0 96042 9 0 0 25 0 1 0 766668741 7368704 383 4294967295 134512640 134581331 3221221808 3221220672 134528366 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1799 383 566 18 0 1781 0
vsize: 7196
[startup+970.402 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 21890
Raw data (stat): 21833 (Pueblo) R 21832 7876 7672 0 -1 0 406 0 0 0 97042 10 0 0 25 0 1 0 766668741 7368704 383 4294967295 134512640 134581331 3221221808 3221220720 134527432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1799 383 566 18 0 1781 0
vsize: 7196
[startup+980.403 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 21890
Raw data (stat): 21833 (Pueblo) R 21832 7876 7672 0 -1 0 406 0 0 0 98042 10 0 0 25 0 1 0 766668741 7368704 383 4294967295 134512640 134581331 3221221808 3221220736 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1799 383 566 18 0 1781 0
vsize: 7196
[startup+990.402 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 21890
Raw data (stat): 21833 (Pueblo) R 21832 7876 7672 0 -1 0 406 0 0 0 99042 10 0 0 25 0 1 0 766668741 7368704 383 4294967295 134512640 134581331 3221221808 3221220720 134527539 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1799 383 566 18 0 1781 0
vsize: 7196
[startup+1000.4 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 21890
Raw data (stat): 21833 (Pueblo) R 21832 7876 7672 0 -1 0 406 0 0 0 100042 10 0 0 25 0 1 0 766668741 7368704 383 4294967295 134512640 134581331 3221221808 3221220504 1075291632 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1799 383 566 18 0 1781 0
vsize: 7196
[startup+1010.4 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 21890
Raw data (stat): 21833 (Pueblo) R 21832 7876 7672 0 -1 0 406 0 0 0 101042 10 0 0 25 0 1 0 766668741 7368704 383 4294967295 134512640 134581331 3221221808 3221220768 134516740 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1799 383 566 18 0 1781 0
vsize: 7196
[startup+1020.4 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 21890
Raw data (stat): 21833 (Pueblo) R 21832 7876 7672 0 -1 0 406 0 0 0 102042 10 0 0 25 0 1 0 766668741 7368704 383 4294967295 134512640 134581331 3221221808 3221220800 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1799 383 566 18 0 1781 0
vsize: 7196
[startup+1030.4 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 21890
Raw data (stat): 21833 (Pueblo) R 21832 7876 7672 0 -1 0 406 0 0 0 103042 10 0 0 25 0 1 0 766668741 7368704 383 4294967295 134512640 134581331 3221221808 3221220672 134528535 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1799 383 566 18 0 1781 0
vsize: 7196
[startup+1040.4 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 21890
Raw data (stat): 21833 (Pueblo) R 21832 7876 7672 0 -1 0 406 0 0 0 104042 10 0 0 25 0 1 0 766668741 7368704 383 4294967295 134512640 134581331 3221221808 3221220752 134558842 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1799 383 566 18 0 1781 0
vsize: 7196
[startup+1050.4 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 21890
Raw data (stat): 21833 (Pueblo) R 21832 7876 7672 0 -1 0 406 0 0 0 105042 10 0 0 25 0 1 0 766668741 7368704 383 4294967295 134512640 134581331 3221221808 3221220600 1075289220 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1799 383 566 18 0 1781 0
vsize: 7196
[startup+1060.4 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 21890
Raw data (stat): 21833 (Pueblo) R 21832 7876 7672 0 -1 0 408 0 0 0 106042 10 0 0 25 0 1 0 766668741 7368704 385 4294967295 134512640 134581331 3221221808 3221220632 134528850 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1799 385 566 18 0 1781 0
vsize: 7196
[startup+1070.4 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 21890
Raw data (stat): 21833 (Pueblo) R 21832 7876 7672 0 -1 0 408 0 0 0 107042 10 0 0 25 0 1 0 766668741 7368704 385 4294967295 134512640 134581331 3221221808 3221220720 134527995 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1799 385 566 18 0 1781 0
vsize: 7196
[startup+1080.4 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 21890
Raw data (stat): 21833 (Pueblo) R 21832 7876 7672 0 -1 0 411 0 0 0 108042 11 0 0 25 0 1 0 766668741 7368704 388 4294967295 134512640 134581331 3221221808 3221220720 134527429 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1799 388 566 18 0 1781 0
vsize: 7196
[startup+1090.4 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 21890
Raw data (stat): 21833 (Pueblo) R 21832 7876 7672 0 -1 0 412 0 0 0 109043 11 0 0 25 0 1 0 766668741 7368704 389 4294967295 134512640 134581331 3221221808 3221220636 134528851 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1799 389 566 18 0 1781 0
vsize: 7196
[startup+1100.41 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 21890
Raw data (stat): 21833 (Pueblo) R 21832 7876 7672 0 -1 0 412 0 0 0 110043 11 0 0 25 0 1 0 766668741 7368704 389 4294967295 134512640 134581331 3221221808 3221220736 134519829 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1799 389 566 18 0 1781 0
vsize: 7196
[startup+1110.41 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 21890
Raw data (stat): 21833 (Pueblo) R 21832 7876 7672 0 -1 0 412 0 0 0 111043 11 0 0 25 0 1 0 766668741 7368704 389 4294967295 134512640 134581331 3221221808 3221220752 134558847 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1799 389 566 18 0 1781 0
vsize: 7196
[startup+1120.41 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 21890
Raw data (stat): 21833 (Pueblo) R 21832 7876 7672 0 -1 0 413 0 0 0 112043 11 0 0 25 0 1 0 766668741 7368704 390 4294967295 134512640 134581331 3221221808 3221220752 134560143 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1799 390 566 18 0 1781 0
vsize: 7196
[startup+1130.41 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 21890
Raw data (stat): 21833 (Pueblo) R 21832 7876 7672 0 -1 0 413 0 0 0 113043 11 0 0 25 0 1 0 766668741 7368704 390 4294967295 134512640 134581331 3221221808 3221220720 134527513 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1799 390 566 18 0 1781 0
vsize: 7196
[startup+1140.41 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 21890
Raw data (stat): 21833 (Pueblo) R 21832 7876 7672 0 -1 0 413 0 0 0 114043 11 0 0 25 0 1 0 766668741 7368704 390 4294967295 134512640 134581331 3221221808 3221220720 134527498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1799 390 566 18 0 1781 0
vsize: 7196
[startup+1150.41 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 21890
Raw data (stat): 21833 (Pueblo) R 21832 7876 7672 0 -1 0 413 0 0 0 115043 11 0 0 25 0 1 0 766668741 7368704 390 4294967295 134512640 134581331 3221221808 3221220672 134560328 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1799 390 566 18 0 1781 0
vsize: 7196
[startup+1160.41 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 21890
Raw data (stat): 21833 (Pueblo) R 21832 7876 7672 0 -1 0 413 0 0 0 116043 11 0 0 25 0 1 0 766668741 7368704 390 4294967295 134512640 134581331 3221221808 3221220720 134527459 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1799 390 566 18 0 1781 0
vsize: 7196
[startup+1170.41 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 21890
Raw data (stat): 21833 (Pueblo) R 21832 7876 7672 0 -1 0 413 0 0 0 117043 11 0 0 25 0 1 0 766668741 7368704 390 4294967295 134512640 134581331 3221221808 3221220800 134561140 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1799 390 566 18 0 1781 0
vsize: 7196
[startup+1180.41 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 21890
Raw data (stat): 21833 (Pueblo) R 21832 7876 7672 0 -1 0 413 0 0 0 118043 12 0 0 25 0 1 0 766668741 7368704 390 4294967295 134512640 134581331 3221221808 3221220720 134527772 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1799 390 566 18 0 1781 0
vsize: 7196
[startup+1190.41 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 21890
Raw data (stat): 21833 (Pueblo) R 21832 7876 7672 0 -1 0 413 0 0 0 119043 12 0 0 25 0 1 0 766668741 7368704 390 4294967295 134512640 134581331 3221221808 3221220720 134527695 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1799 390 566 18 0 1781 0
vsize: 7196
[startup+1200.41 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 21890
Raw data (stat): 21833 (Pueblo) R 21832 7876 7672 0 -1 0 413 0 0 0 120044 12 0 0 25 0 1 0 766668741 7368704 390 4294967295 134512640 134581331 3221221808 3221220752 134559269 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1799 390 566 18 0 1781 0
vsize: 7196
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.41 s]
Raw data (loadavg): 1.00 1.00 0.99 1/55 21890
Raw data (stat): 21833 (Pueblo) Z 21832 7876 7672 0 -1 1036 413 0 0 0 120044 12 0 0 25 0 1 0 766668741 0 0 4294967295 0 0 0 0 0 0 0 1 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.41
CPU time (s): 1200.57
CPU user time (s): 1200.44
CPU system time (s): 0.123981
CPU usage (%): 100.013
Max. virtual memory (Kb): 7196
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####