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/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-p0548.opb
MD5SUM	10547c6c0f11ab5df74fcaff6ba6d160
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	14938
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.87
Number of variables	548
Total number of constraints	724
Number of constraints which are clauses	40
Number of constraints which are cardinality constraints (but not clauses)	550
Number of constraints which are nor clauses,nor cardinality constraints	134
Minimum length of a constraint	1
Maximum length of a constraint	143
Trace number 38875

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-02 18:27:06 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26929 boxname=wulflinc3 idbench=1057 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  10547c6c0f11ab5df74fcaff6ba6d160  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-p0548.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-p0548.opb
IDLAUNCH: 26929
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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.190
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:        819496 kB
Buffers:         13376 kB
Cached:         179504 kB
SwapCached:        240 kB
Active:          25088 kB
Inactive:       170308 kB
HighTotal:      131008 kB
HighFree:       101220 kB
LowTotal:       903652 kB
LowFree:        718276 kB
SwapTotal:     2097136 kB
SwapFree:      2096352 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6212 kB
Slab:            14056 kB
Committed_AS:    71784 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 18:47:09 (client local time) WITH STATUS 0 IN 1200.24 SECONDS
stats: 26929 7 1200.24 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.86 0.94 0.90 1/54 13821
Raw data (stat): 13821 (runsolver) R 13820 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 851932649 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+10.0006 s]
Raw data (loadavg): 0.88 0.94 0.90 2/54 13821
Raw data (stat): 13821 (Pueblo-v2) R 13820 20224 20223 0 -1 0 412 0 0 0 998 1 0 0 25 0 1 0 851932649 7364608 386 4294967295 134512640 134581267 3221224576 3221223548 134519776 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1798 386 566 18 0 1780 0
vsize: 7192
[startup+20.0009 s]
Raw data (loadavg): 0.90 0.94 0.90 2/54 13821
Raw data (stat): 13821 (Pueblo-v2) R 13820 20224 20223 0 -1 0 430 0 0 0 1997 1 0 0 25 0 1 0 851932649 7364608 404 4294967295 134512640 134581267 3221224576 3221223504 134519835 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1798 404 566 18 0 1780 0
vsize: 7192
[startup+30.0017 s]
Raw data (loadavg): 0.91 0.94 0.90 2/54 13821
Raw data (stat): 13821 (Pueblo-v2) R 13820 20224 20223 0 -1 0 440 0 0 0 2997 2 0 0 25 0 1 0 851932649 7495680 414 4294967295 134512640 134581267 3221224576 3221223556 134560749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1830 414 566 18 0 1812 0
vsize: 7320
[startup+40.0021 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 13821
Raw data (stat): 13821 (Pueblo-v2) R 13820 20224 20223 0 -1 0 440 0 0 0 3997 2 0 0 25 0 1 0 851932649 7495680 414 4294967295 134512640 134581267 3221224576 3221223520 134559568 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1830 414 566 18 0 1812 0
vsize: 7320
[startup+50.0034 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 13821
Raw data (stat): 13821 (Pueblo-v2) R 13820 20224 20223 0 -1 0 455 0 0 0 4996 2 0 0 25 0 1 0 851932649 7495680 429 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1830 429 566 18 0 1812 0
vsize: 7320
[startup+60.0042 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 13821
Raw data (stat): 13821 (Pueblo-v2) R 13820 20224 20223 0 -1 0 457 0 0 0 5996 3 0 0 25 0 1 0 851932649 7495680 431 4294967295 134512640 134581267 3221224576 3221223504 134519803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1830 431 566 18 0 1812 0
vsize: 7320
[startup+70.0047 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 13821
Raw data (stat): 13821 (Pueblo-v2) R 13820 20224 20223 0 -1 0 463 0 0 0 6996 3 0 0 25 0 1 0 851932649 7495680 437 4294967295 134512640 134581267 3221224576 3221223488 134528047 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1830 437 566 18 0 1812 0
vsize: 7320
[startup+80.0059 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 13821
Raw data (stat): 13821 (Pueblo-v2) R 13820 20224 20223 0 -1 0 466 0 0 0 7996 3 0 0 25 0 1 0 851932649 7495680 440 4294967295 134512640 134581267 3221224576 3221223520 134559627 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1830 440 566 18 0 1812 0
vsize: 7320
[startup+90.0067 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 13821
Raw data (stat): 13821 (Pueblo-v2) R 13820 20224 20223 0 -1 0 468 0 0 0 8996 3 0 0 25 0 1 0 851932649 7495680 442 4294967295 134512640 134581267 3221224576 3221223440 134560389 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1830 442 566 18 0 1812 0
vsize: 7320
[startup+100.007 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 13821
Raw data (stat): 13821 (Pueblo-v2) R 13820 20224 20223 0 -1 0 468 0 0 0 9996 4 0 0 25 0 1 0 851932649 7495680 442 4294967295 134512640 134581267 3221224576 3221223536 134519781 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1830 442 566 18 0 1812 0
vsize: 7320
[startup+110.008 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 13821
Raw data (stat): 13821 (Pueblo-v2) R 13820 20224 20223 0 -1 0 481 0 0 0 10996 4 0 0 25 0 1 0 851932649 7626752 455 4294967295 134512640 134581267 3221224576 3221223440 134528382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1862 455 566 18 0 1844 0
vsize: 7448
[startup+120.009 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 13821
Raw data (stat): 13821 (Pueblo-v2) R 13820 20224 20223 0 -1 0 485 0 0 0 11996 4 0 0 25 0 1 0 851932649 7626752 459 4294967295 134512640 134581267 3221224576 3221223488 134527418 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1862 459 566 18 0 1844 0
vsize: 7448
[startup+130.01 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 13821
Raw data (stat): 13821 (Pueblo-v2) R 13820 20224 20223 0 -1 0 485 0 0 0 12996 4 0 0 25 0 1 0 851932649 7626752 459 4294967295 134512640 134581267 3221224576 3221223440 134560529 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1862 459 566 18 0 1844 0
vsize: 7448
[startup+140.01 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 13821
Raw data (stat): 13821 (Pueblo-v2) R 13820 20224 20223 0 -1 0 492 0 0 0 13996 5 0 0 25 0 1 0 851932649 7626752 466 4294967295 134512640 134581267 3221224576 3221223468 1075285472 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1862 466 566 18 0 1844 0
vsize: 7448
[startup+150.012 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 13821
Raw data (stat): 13821 (Pueblo-v2) R 13820 20224 20223 0 -1 0 492 0 0 0 14996 5 0 0 25 0 1 0 851932649 7626752 466 4294967295 134512640 134581267 3221224576 3221223568 134561015 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1862 466 566 18 0 1844 0
vsize: 7448
[startup+160.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13821
Raw data (stat): 13821 (Pueblo-v2) R 13820 20224 20223 0 -1 0 492 0 0 0 15995 5 0 0 25 0 1 0 851932649 7626752 466 4294967295 134512640 134581267 3221224576 3221223504 134519803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1862 466 566 18 0 1844 0
vsize: 7448
[startup+170.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13821
Raw data (stat): 13821 (Pueblo-v2) R 13820 20224 20223 0 -1 0 504 0 0 0 16995 6 0 0 25 0 1 0 851932649 7757824 478 4294967295 134512640 134581267 3221224576 3221223440 134528340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1894 478 566 18 0 1876 0
vsize: 7576
[startup+180.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13821
Raw data (stat): 13821 (Pueblo-v2) R 13820 20224 20223 0 -1 0 505 0 0 0 17995 6 0 0 25 0 1 0 851932649 7757824 479 4294967295 134512640 134581267 3221224576 3221223568 134561015 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1894 479 566 18 0 1876 0
vsize: 7576
[startup+190.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13821
Raw data (stat): 13821 (Pueblo-v2) R 13820 20224 20223 0 -1 0 505 0 0 0 18995 6 0 0 25 0 1 0 851932649 7757824 479 4294967295 134512640 134581267 3221224576 3221223504 134519950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1894 479 566 18 0 1876 0
vsize: 7576
[startup+200.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13821
Raw data (stat): 13821 (Pueblo-v2) R 13820 20224 20223 0 -1 0 505 0 0 0 19995 6 0 0 25 0 1 0 851932649 7757824 479 4294967295 134512640 134581267 3221224576 3221223648 134531368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1894 479 566 18 0 1876 0
vsize: 7576
[startup+210.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13821
Raw data (stat): 13821 (Pueblo-v2) R 13820 20224 20223 0 -1 0 507 0 0 0 20995 7 0 0 25 0 1 0 851932649 7757824 481 4294967295 134512640 134581267 3221224576 3221223540 134519893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1894 481 566 18 0 1876 0
vsize: 7576
[startup+220.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13821
Raw data (stat): 13821 (Pueblo-v2) R 13820 20224 20223 0 -1 0 515 0 0 0 21995 7 0 0 25 0 1 0 851932649 7757824 489 4294967295 134512640 134581267 3221224576 3221223440 134528390 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1894 489 566 18 0 1876 0
vsize: 7576
[startup+230.018 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13821
Raw data (stat): 13821 (Pueblo-v2) R 13820 20224 20223 0 -1 0 525 0 0 0 22995 7 0 0 25 0 1 0 851932649 7757824 499 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1894 499 566 18 0 1876 0
vsize: 7576
[startup+240.018 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13821
Raw data (stat): 13821 (Pueblo-v2) R 13820 20224 20223 0 -1 0 525 0 0 0 23995 8 0 0 25 0 1 0 851932649 7757824 499 4294967295 134512640 134581267 3221224576 3221223548 134519895 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1894 499 566 18 0 1876 0
vsize: 7576
[startup+250.019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13821
Raw data (stat): 13821 (Pueblo-v2) R 13820 20224 20223 0 -1 0 533 0 0 0 24995 8 0 0 25 0 1 0 851932649 7757824 507 4294967295 134512640 134581267 3221224576 3221223568 134561111 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1894 507 566 18 0 1876 0
vsize: 7576
[startup+260.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13821
Raw data (stat): 13821 (Pueblo-v2) R 13820 20224 20223 0 -1 0 533 0 0 0 25994 8 0 0 25 0 1 0 851932649 7757824 507 4294967295 134512640 134581267 3221224576 3221223536 134554628 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1894 507 566 18 0 1876 0
vsize: 7576
[startup+270.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13821
Raw data (stat): 13821 (Pueblo-v2) R 13820 20224 20223 0 -1 0 533 0 0 0 26994 8 0 0 25 0 1 0 851932649 7757824 507 4294967295 134512640 134581267 3221224576 3221223480 134527797 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1894 507 566 18 0 1876 0
vsize: 7576
[startup+280.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13821
Raw data (stat): 13821 (Pueblo-v2) R 13820 20224 20223 0 -1 0 535 0 0 0 27993 9 0 0 25 0 1 0 851932649 7897088 509 4294967295 134512640 134581267 3221224576 3221223536 134516751 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1928 509 566 18 0 1910 0
vsize: 7712
[startup+290.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13821
Raw data (stat): 13821 (Pueblo-v2) R 13820 20224 20223 0 -1 0 535 0 0 0 28993 9 0 0 25 0 1 0 851932649 7897088 509 4294967295 134512640 134581267 3221224576 3221223488 134527963 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1928 509 566 18 0 1910 0
vsize: 7712
[startup+300.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13821
Raw data (stat): 13821 (Pueblo-v2) R 13820 20224 20223 0 -1 0 535 0 0 0 29993 10 0 0 25 0 1 0 851932649 7897088 509 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1928 509 566 18 0 1910 0
vsize: 7712
[startup+310.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13821
Raw data (stat): 13821 (Pueblo-v2) R 13820 20224 20223 0 -1 0 535 0 0 0 30993 10 0 0 25 0 1 0 851932649 7897088 509 4294967295 134512640 134581267 3221224576 3221223536 134519892 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1928 509 566 18 0 1910 0
vsize: 7712
[startup+320.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13821
Raw data (stat): 13821 (Pueblo-v2) R 13820 20224 20223 0 -1 0 535 0 0 0 31993 10 0 0 25 0 1 0 851932649 7897088 509 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1928 509 566 18 0 1910 0
vsize: 7712
[startup+330.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13821
Raw data (stat): 13821 (Pueblo-v2) R 13820 20224 20223 0 -1 0 535 0 0 0 32993 10 0 0 25 0 1 0 851932649 7897088 509 4294967295 134512640 134581267 3221224576 3221223264 1075288456 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1928 509 566 18 0 1910 0
vsize: 7712
[startup+340.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13821
Raw data (stat): 13821 (Pueblo-v2) R 13820 20224 20223 0 -1 0 535 0 0 0 33993 11 0 0 25 0 1 0 851932649 7897088 509 4294967295 134512640 134581267 3221224576 3221223536 134531369 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1928 509 566 18 0 1910 0
vsize: 7712
[startup+350.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13821
Raw data (stat): 13821 (Pueblo-v2) R 13820 20224 20223 0 -1 0 538 0 0 0 34992 11 0 0 25 0 1 0 851932649 7897088 512 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1928 512 566 18 0 1910 0
vsize: 7712
[startup+360.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13821
Raw data (stat): 13821 (Pueblo-v2) R 13820 20224 20223 0 -1 0 538 0 0 0 35993 11 0 0 25 0 1 0 851932649 7897088 512 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1928 512 566 18 0 1910 0
vsize: 7712
[startup+370.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13821
Raw data (stat): 13821 (Pueblo-v2) R 13820 20224 20223 0 -1 0 538 0 0 0 36992 11 0 0 25 0 1 0 851932649 7897088 512 4294967295 134512640 134581267 3221224576 3221223264 1075288251 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1928 512 566 18 0 1910 0
vsize: 7712
[startup+380.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13821
Raw data (stat): 13821 (Pueblo-v2) R 13820 20224 20223 0 -1 0 544 0 0 0 37993 12 0 0 25 0 1 0 851932649 7897088 518 4294967295 134512640 134581267 3221224576 3221223548 134519776 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1928 518 566 18 0 1910 0
vsize: 7712
[startup+390.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13821
Raw data (stat): 13821 (Pueblo-v2) R 13820 20224 20223 0 -1 0 546 0 0 0 38993 12 0 0 25 0 1 0 851932649 7897088 520 4294967295 134512640 134581267 3221224576 3221223504 134520084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1928 520 566 18 0 1910 0
vsize: 7712
[startup+400.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13821
Raw data (stat): 13821 (Pueblo-v2) R 13820 20224 20223 0 -1 0 546 0 0 0 39993 12 0 0 25 0 1 0 851932649 7897088 520 4294967295 134512640 134581267 3221224576 3221223564 134561046 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1928 520 566 18 0 1910 0
vsize: 7712
[startup+410.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13821
Raw data (stat): 13821 (Pueblo-v2) R 13820 20224 20223 0 -1 0 546 0 0 0 40993 12 0 0 25 0 1 0 851932649 7897088 520 4294967295 134512640 134581267 3221224576 3221223472 134517767 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1928 520 566 18 0 1910 0
vsize: 7712
[startup+420.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13821
Raw data (stat): 13821 (Pueblo-v2) R 13820 20224 20223 0 -1 0 546 0 0 0 41993 12 0 0 25 0 1 0 851932649 7897088 520 4294967295 134512640 134581267 3221224576 3221223488 134527539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1928 520 566 18 0 1910 0
vsize: 7712
[startup+430.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13821
Raw data (stat): 13821 (Pueblo-v2) R 13820 20224 20223 0 -1 0 546 0 0 0 42993 12 0 0 25 0 1 0 851932649 7897088 520 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1928 520 566 18 0 1910 0
vsize: 7712
[startup+440.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13821
Raw data (stat): 13821 (Pueblo-v2) R 13820 20224 20223 0 -1 0 547 0 0 0 43993 12 0 0 25 0 1 0 851932649 7897088 521 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1928 521 566 18 0 1910 0
vsize: 7712
[startup+450.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13821
Raw data (stat): 13821 (Pueblo-v2) R 13820 20224 20223 0 -1 0 549 0 0 0 44993 12 0 0 25 0 1 0 851932649 7897088 523 4294967295 134512640 134581267 3221224576 3221223568 134560606 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1928 523 566 18 0 1910 0
vsize: 7712
[startup+460.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13821
Raw data (stat): 13821 (Pueblo-v2) R 13820 20224 20223 0 -1 0 549 0 0 0 45993 13 0 0 25 0 1 0 851932649 7897088 523 4294967295 134512640 134581267 3221224576 3221223504 134519803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1928 523 566 18 0 1910 0
vsize: 7712
[startup+470.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13821
Raw data (stat): 13821 (Pueblo-v2) R 13820 20224 20223 0 -1 0 549 0 0 0 46993 13 0 0 25 0 1 0 851932649 7897088 523 4294967295 134512640 134581267 3221224576 3221223488 134527459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1928 523 566 18 0 1910 0
vsize: 7712
[startup+480.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13821
Raw data (stat): 13821 (Pueblo-v2) R 13820 20224 20223 0 -1 0 550 0 0 0 47993 13 0 0 25 0 1 0 851932649 7897088 524 4294967295 134512640 134581267 3221224576 3221223520 134558824 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1928 524 566 18 0 1910 0
vsize: 7712
[startup+490.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13821
Raw data (stat): 13821 (Pueblo-v2) R 13820 20224 20223 0 -1 0 554 0 0 0 48992 13 0 0 25 0 1 0 851932649 7897088 528 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1928 528 566 18 0 1910 0
vsize: 7712
[startup+500.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13821
Raw data (stat): 13821 (Pueblo-v2) R 13820 20224 20223 0 -1 0 556 0 0 0 49992 14 0 0 25 0 1 0 851932649 7897088 530 4294967295 134512640 134581267 3221224576 3221223536 134519781 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1928 530 566 18 0 1910 0
vsize: 7712
[startup+510.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13821
Raw data (stat): 13821 (Pueblo-v2) R 13820 20224 20223 0 -1 0 556 0 0 0 50992 14 0 0 25 0 1 0 851932649 7897088 530 4294967295 134512640 134581267 3221224576 3221223456 134520309 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1928 530 566 18 0 1910 0
vsize: 7712
[startup+520.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13821
Raw data (stat): 13821 (Pueblo-v2) R 13820 20224 20223 0 -1 0 556 0 0 0 51992 14 0 0 25 0 1 0 851932649 7897088 530 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1928 530 566 18 0 1910 0
vsize: 7712
[startup+530.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13821
Raw data (stat): 13821 (Pueblo-v2) R 13820 20224 20223 0 -1 0 556 0 0 0 52992 15 0 0 25 0 1 0 851932649 7897088 530 4294967295 134512640 134581267 3221224576 3221223568 134561073 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1928 530 566 18 0 1910 0
vsize: 7712
[startup+540.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13821
Raw data (stat): 13821 (Pueblo-v2) R 13820 20224 20223 0 -1 0 556 0 0 0 53992 15 0 0 25 0 1 0 851932649 7897088 530 4294967295 134512640 134581267 3221224576 3221223488 134527720 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1928 530 566 18 0 1910 0
vsize: 7712
[startup+550.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13821
Raw data (stat): 13821 (Pueblo-v2) R 13820 20224 20223 0 -1 0 556 0 0 0 54991 15 0 0 25 0 1 0 851932649 7897088 530 4294967295 134512640 134581267 3221224576 3221223536 134516716 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1928 530 566 18 0 1910 0
vsize: 7712
[startup+560.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13821
Raw data (stat): 13821 (Pueblo-v2) R 13820 20224 20223 0 -1 0 556 0 0 0 55991 16 0 0 25 0 1 0 851932649 7897088 530 4294967295 134512640 134581267 3221224576 3221223536 134516723 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1928 530 566 18 0 1910 0
vsize: 7712
[startup+570.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13821
Raw data (stat): 13821 (Pueblo-v2) R 13820 20224 20223 0 -1 0 559 0 0 0 56991 16 0 0 25 0 1 0 851932649 7897088 533 4294967295 134512640 134581267 3221224576 3221223568 134561073 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1928 533 566 18 0 1910 0
vsize: 7712
[startup+580.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13821
Raw data (stat): 13821 (Pueblo-v2) R 13820 20224 20223 0 -1 0 565 0 0 0 57991 16 0 0 25 0 1 0 851932649 7897088 539 4294967295 134512640 134581267 3221224576 3221223352 1075285701 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1928 539 566 18 0 1910 0
vsize: 7712
[startup+590.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13821
Raw data (stat): 13821 (Pueblo-v2) R 13820 20224 20223 0 -1 0 570 0 0 0 58991 17 0 0 25 0 1 0 851932649 8028160 544 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1960 544 566 18 0 1942 0
vsize: 7840
[startup+600.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13821
Raw data (stat): 13821 (Pueblo-v2) R 13820 20224 20223 0 -1 0 573 0 0 0 59990 17 0 0 25 0 1 0 851932649 8028160 547 4294967295 134512640 134581267 3221224576 3221223440 134528238 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1960 547 566 18 0 1942 0
vsize: 7840
[startup+610.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13821
Raw data (stat): 13821 (Pueblo-v2) R 13820 20224 20223 0 -1 0 576 0 0 0 60990 17 0 0 25 0 1 0 851932649 8028160 550 4294967295 134512640 134581267 3221224576 3221223440 134528302 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1960 550 566 18 0 1942 0
vsize: 7840
[startup+620.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13821
Raw data (stat): 13821 (Pueblo-v2) R 13820 20224 20223 0 -1 0 578 0 0 0 61990 17 0 0 25 0 1 0 851932649 8028160 552 4294967295 134512640 134581267 3221224576 3221223440 134560405 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1960 552 566 18 0 1942 0
vsize: 7840
[startup+630.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13821
Raw data (stat): 13821 (Pueblo-v2) R 13820 20224 20223 0 -1 0 581 0 0 0 62990 18 0 0 25 0 1 0 851932649 8028160 555 4294967295 134512640 134581267 3221224576 3221223504 134519958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1960 555 566 18 0 1942 0
vsize: 7840
[startup+640.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13821
Raw data (stat): 13821 (Pueblo-v2) R 13820 20224 20223 0 -1 0 588 0 0 0 63990 18 0 0 25 0 1 0 851932649 8028160 562 4294967295 134512640 134581267 3221224576 3221223504 134519803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1960 562 566 18 0 1942 0
vsize: 7840
[startup+650.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13821
Raw data (stat): 13821 (Pueblo-v2) R 13820 20224 20223 0 -1 0 590 0 0 0 64990 18 0 0 25 0 1 0 851932649 8028160 564 4294967295 134512640 134581267 3221224576 3221223488 134527484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1960 564 566 18 0 1942 0
vsize: 7840
[startup+660.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13821
Raw data (stat): 13821 (Pueblo-v2) R 13820 20224 20223 0 -1 0 590 0 0 0 65990 18 0 0 25 0 1 0 851932649 8028160 564 4294967295 134512640 134581267 3221224576 3221223440 134528315 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1960 564 566 18 0 1942 0
vsize: 7840
[startup+670.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13821
Raw data (stat): 13821 (Pueblo-v2) R 13820 20224 20223 0 -1 0 590 0 0 0 66989 19 0 0 25 0 1 0 851932649 8028160 564 4294967295 134512640 134581267 3221224576 3221223504 134520027 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1960 564 566 18 0 1942 0
vsize: 7840
[startup+680.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13821
Raw data (stat): 13821 (Pueblo-v2) R 13820 20224 20223 0 -1 0 590 0 0 0 67989 19 0 0 25 0 1 0 851932649 8028160 564 4294967295 134512640 134581267 3221224576 3221223568 134561073 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1960 564 566 18 0 1942 0
vsize: 7840
[startup+690.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13821
Raw data (stat): 13821 (Pueblo-v2) R 13820 20224 20223 0 -1 0 590 0 0 0 68989 20 0 0 25 0 1 0 851932649 8028160 564 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1960 564 566 18 0 1942 0
vsize: 7840
[startup+700.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13821
Raw data (stat): 13821 (Pueblo-v2) R 13820 20224 20223 0 -1 0 597 0 0 0 69988 20 0 0 25 0 1 0 851932649 8159232 571 4294967295 134512640 134581267 3221224576 3221223348 1074910621 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1992 571 566 18 0 1974 0
vsize: 7968
[startup+710.049 s]
Raw data (loadavg): 0.99 0.97 0.91 3/54 13821
Raw data (stat): 13821 (Pueblo-v2) R 13820 20224 20223 0 -1 0 597 0 0 0 70988 20 0 0 25 0 1 0 851932649 8159232 571 4294967295 134512640 134581267 3221224576 3221223472 134517665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1992 571 566 18 0 1974 0
vsize: 7968
[startup+720.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13821
Raw data (stat): 13821 (Pueblo-v2) R 13820 20224 20223 0 -1 0 600 0 0 0 71988 20 0 0 25 0 1 0 851932649 8159232 574 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1992 574 566 18 0 1974 0
vsize: 7968
[startup+730.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13821
Raw data (stat): 13821 (Pueblo-v2) R 13820 20224 20223 0 -1 0 600 0 0 0 72989 20 0 0 25 0 1 0 851932649 8159232 574 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1992 574 566 18 0 1974 0
vsize: 7968
[startup+740.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13821
Raw data (stat): 13821 (Pueblo-v2) R 13820 20224 20223 0 -1 0 600 0 0 0 73989 20 0 0 25 0 1 0 851932649 8159232 574 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1992 574 566 18 0 1974 0
vsize: 7968
[startup+750.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13821
Raw data (stat): 13821 (Pueblo-v2) R 13820 20224 20223 0 -1 0 603 0 0 0 74989 20 0 0 25 0 1 0 851932649 8159232 577 4294967295 134512640 134581267 3221224576 3221223504 134519829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1992 577 566 18 0 1974 0
vsize: 7968
[startup+760.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13821
Raw data (stat): 13821 (Pueblo-v2) R 13820 20224 20223 0 -1 0 606 0 0 0 75989 20 0 0 25 0 1 0 851932649 8159232 580 4294967295 134512640 134581267 3221224576 3221223488 134527776 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1992 580 566 18 0 1974 0
vsize: 7968
[startup+770.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13821
Raw data (stat): 13821 (Pueblo-v2) R 13820 20224 20223 0 -1 0 609 0 0 0 76989 20 0 0 25 0 1 0 851932649 8159232 583 4294967295 134512640 134581267 3221224576 3221223552 134560674 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1992 583 566 18 0 1974 0
vsize: 7968
[startup+780.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13821
Raw data (stat): 13821 (Pueblo-v2) R 13820 20224 20223 0 -1 0 609 0 0 0 77990 20 0 0 25 0 1 0 851932649 8159232 583 4294967295 134512640 134581267 3221224576 3221223504 134519829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1992 583 566 18 0 1974 0
vsize: 7968
[startup+790.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13821
Raw data (stat): 13821 (Pueblo-v2) R 13820 20224 20223 0 -1 0 609 0 0 0 78990 20 0 0 25 0 1 0 851932649 8159232 583 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1992 583 566 18 0 1974 0
vsize: 7968
[startup+800.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13821
Raw data (stat): 13821 (Pueblo-v2) R 13820 20224 20223 0 -1 0 609 0 0 0 79990 20 0 0 25 0 1 0 851932649 8159232 583 4294967295 134512640 134581267 3221224576 3221223536 134519781 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1992 583 566 18 0 1974 0
vsize: 7968
[startup+810.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13821
Raw data (stat): 13821 (Pueblo-v2) R 13820 20224 20223 0 -1 0 609 0 0 0 80990 20 0 0 25 0 1 0 851932649 8159232 583 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1992 583 566 18 0 1974 0
vsize: 7968
[startup+820.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13821
Raw data (stat): 13821 (Pueblo-v2) R 13820 20224 20223 0 -1 0 609 0 0 0 81990 20 0 0 25 0 1 0 851932649 8159232 583 4294967295 134512640 134581267 3221224576 3221223488 134527709 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1992 583 566 18 0 1974 0
vsize: 7968
[startup+830.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13821
Raw data (stat): 13821 (Pueblo-v2) R 13820 20224 20223 0 -1 0 609 0 0 0 82990 20 0 0 25 0 1 0 851932649 8159232 583 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1992 583 566 18 0 1974 0
vsize: 7968
[startup+840.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13821
Raw data (stat): 13821 (Pueblo-v2) R 13820 20224 20223 0 -1 0 612 0 0 0 83991 20 0 0 25 0 1 0 851932649 8159232 586 4294967295 134512640 134581267 3221224576 3221223520 134559264 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1992 586 566 18 0 1974 0
vsize: 7968
[startup+850.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13821
Raw data (stat): 13821 (Pueblo-v2) R 13820 20224 20223 0 -1 0 612 0 0 0 84991 20 0 0 25 0 1 0 851932649 8159232 586 4294967295 134512640 134581267 3221224576 3221223488 134527418 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1992 586 566 18 0 1974 0
vsize: 7968
[startup+860.071 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13821
Raw data (stat): 13821 (Pueblo-v2) R 13820 20224 20223 0 -1 0 612 0 0 0 85993 20 0 0 25 0 1 0 851932649 8159232 586 4294967295 134512640 134581267 3221224576 3221222992 134566790 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1992 586 566 18 0 1974 0
vsize: 7968
[startup+870.071 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13821
Raw data (stat): 13821 (Pueblo-v2) R 13820 20224 20223 0 -1 0 612 0 0 0 86993 20 0 0 25 0 1 0 851932649 8159232 586 4294967295 134512640 134581267 3221224576 3221223352 1075291632 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1992 586 566 18 0 1974 0
vsize: 7968
[startup+880.072 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13821
Raw data (stat): 13821 (Pueblo-v2) R 13820 20224 20223 0 -1 0 612 0 0 0 87993 20 0 0 25 0 1 0 851932649 8159232 586 4294967295 134512640 134581267 3221224576 3221223488 134527768 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1992 586 566 18 0 1974 0
vsize: 7968
[startup+890.072 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13821
Raw data (stat): 13821 (Pueblo-v2) R 13820 20224 20223 0 -1 0 612 0 0 0 88993 21 0 0 25 0 1 0 851932649 8159232 586 4294967295 134512640 134581267 3221224576 3221223568 134561078 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1992 586 566 18 0 1974 0
vsize: 7968
[startup+900.072 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13821
Raw data (stat): 13821 (Pueblo-v2) R 13820 20224 20223 0 -1 0 613 0 0 0 89993 21 0 0 25 0 1 0 851932649 8159232 587 4294967295 134512640 134581267 3221224576 3221223568 134560731 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1992 587 566 18 0 1974 0
vsize: 7968
[startup+910.071 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13821
Raw data (stat): 13821 (Pueblo-v2) R 13820 20224 20223 0 -1 0 613 0 0 0 90993 21 0 0 25 0 1 0 851932649 8159232 587 4294967295 134512640 134581267 3221224576 3221223504 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1992 587 566 18 0 1974 0
vsize: 7968
[startup+920.072 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13821
Raw data (stat): 13821 (Pueblo-v2) R 13820 20224 20223 0 -1 0 613 0 0 0 91993 21 0 0 25 0 1 0 851932649 8159232 587 4294967295 134512640 134581267 3221224576 3221223480 134527797 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1992 587 566 18 0 1974 0
vsize: 7968
[startup+930.072 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13821
Raw data (stat): 13821 (Pueblo-v2) R 13820 20224 20223 0 -1 0 613 0 0 0 92993 21 0 0 25 0 1 0 851932649 8159232 587 4294967295 134512640 134581267 3221224576 3221223504 134519823 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1992 587 566 18 0 1974 0
vsize: 7968
[startup+940.072 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 13821
Raw data (stat): 13821 (Pueblo-v2) R 13820 20224 20223 0 -1 0 616 0 0 0 93993 21 0 0 25 0 1 0 851932649 8159232 590 4294967295 134512640 134581267 3221224576 3221223552 134561057 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1992 590 566 18 0 1974 0
vsize: 7968
[startup+950.071 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 13821
Raw data (stat): 13821 (Pueblo-v2) R 13820 20224 20223 0 -1 0 616 0 0 0 94993 21 0 0 25 0 1 0 851932649 8159232 590 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1992 590 566 18 0 1974 0
vsize: 7968
[startup+960.072 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 13821
Raw data (stat): 13821 (Pueblo-v2) R 13820 20224 20223 0 -1 0 625 0 0 0 95993 21 0 0 25 0 1 0 851932649 8298496 599 4294967295 134512640 134581267 3221224576 3221223344 134566364 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2026 599 566 18 0 2008 0
vsize: 8104
[startup+970.071 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 13821
Raw data (stat): 13821 (Pueblo-v2) R 13820 20224 20223 0 -1 0 628 0 0 0 96993 22 0 0 25 0 1 0 851932649 8298496 602 4294967295 134512640 134581267 3221224576 3221223520 134559013 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2026 602 566 18 0 2008 0
vsize: 8104
[startup+980.072 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 13821
Raw data (stat): 13821 (Pueblo-v2) R 13820 20224 20223 0 -1 0 628 0 0 0 97994 22 0 0 25 0 1 0 851932649 8298496 602 4294967295 134512640 134581267 3221224576 3221223520 134558875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2026 602 566 18 0 2008 0
vsize: 8104
[startup+990.072 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 13821
Raw data (stat): 13821 (Pueblo-v2) R 13820 20224 20223 0 -1 0 628 0 0 0 98994 22 0 0 25 0 1 0 851932649 8298496 602 4294967295 134512640 134581267 3221224576 3221223488 134527513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2026 602 566 18 0 2008 0
vsize: 8104
[startup+1000.07 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 13821
Raw data (stat): 13821 (Pueblo-v2) R 13820 20224 20223 0 -1 0 629 0 0 0 99994 22 0 0 25 0 1 0 851932649 8298496 603 4294967295 134512640 134581267 3221224576 3221223568 134561106 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2026 603 566 18 0 2008 0
vsize: 8104
[startup+1010.09 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 13821
Raw data (stat): 13821 (Pueblo-v2) R 13820 20224 20223 0 -1 0 629 0 0 0 100996 22 0 0 25 0 1 0 851932649 8298496 603 4294967295 134512640 134581267 3221224576 3221223504 134519803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2026 603 566 18 0 2008 0
vsize: 8104
[startup+1020.11 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 13821
Raw data (stat): 13821 (Pueblo-v2) R 13820 20224 20223 0 -1 0 629 0 0 0 101997 22 0 0 25 0 1 0 851932649 8298496 603 4294967295 134512640 134581267 3221224576 3221223536 134516740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2026 603 566 18 0 2008 0
vsize: 8104
[startup+1030.11 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 13821
Raw data (stat): 13821 (Pueblo-v2) R 13820 20224 20223 0 -1 0 631 0 0 0 102998 22 0 0 25 0 1 0 851932649 8298496 605 4294967295 134512640 134581267 3221224576 3221223504 134519803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2026 605 566 18 0 2008 0
vsize: 8104
[startup+1040.11 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 13821
Raw data (stat): 13821 (Pueblo-v2) R 13820 20224 20223 0 -1 0 631 0 0 0 103998 22 0 0 25 0 1 0 851932649 8298496 605 4294967295 134512640 134581267 3221224576 3221223536 134516751 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2026 605 566 18 0 2008 0
vsize: 8104
[startup+1050.11 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 13821
Raw data (stat): 13821 (Pueblo-v2) R 13820 20224 20223 0 -1 0 636 0 0 0 104998 22 0 0 25 0 1 0 851932649 8298496 610 4294967295 134512640 134581267 3221224576 3221223568 134561067 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2026 610 566 18 0 2008 0
vsize: 8104
[startup+1060.11 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 13821
Raw data (stat): 13821 (Pueblo-v2) R 13820 20224 20223 0 -1 0 636 0 0 0 105998 22 0 0 25 0 1 0 851932649 8298496 610 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2026 610 566 18 0 2008 0
vsize: 8104
[startup+1070.11 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 13821
Raw data (stat): 13821 (Pueblo-v2) R 13820 20224 20223 0 -1 0 636 0 0 0 106998 22 0 0 25 0 1 0 851932649 8298496 610 4294967295 134512640 134581267 3221224576 3221223632 134555995 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2026 610 566 18 0 2008 0
vsize: 8104
[startup+1080.11 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13821
Raw data (stat): 13821 (Pueblo-v2) R 13820 20224 20223 0 -1 0 641 0 0 0 107998 22 0 0 25 0 1 0 851932649 8298496 615 4294967295 134512640 134581267 3221224576 3221223488 134527457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2026 615 566 18 0 2008 0
vsize: 8104
[startup+1090.11 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13821
Raw data (stat): 13821 (Pueblo-v2) R 13820 20224 20223 0 -1 0 641 0 0 0 108999 22 0 0 25 0 1 0 851932649 8298496 615 4294967295 134512640 134581267 3221224576 3221223536 134519781 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2026 615 566 18 0 2008 0
vsize: 8104
[startup+1100.11 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13821
Raw data (stat): 13821 (Pueblo-v2) R 13820 20224 20223 0 -1 0 641 0 0 0 109999 22 0 0 25 0 1 0 851932649 8298496 615 4294967295 134512640 134581267 3221224576 3221223488 134527451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2026 615 566 18 0 2008 0
vsize: 8104
[startup+1110.11 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13821
Raw data (stat): 13821 (Pueblo-v2) R 13820 20224 20223 0 -1 0 641 0 0 0 110999 22 0 0 25 0 1 0 851932649 8298496 615 4294967295 134512640 134581267 3221224576 3221223556 134561052 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2026 615 566 18 0 2008 0
vsize: 8104
[startup+1120.11 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13821
Raw data (stat): 13821 (Pueblo-v2) R 13820 20224 20223 0 -1 0 641 0 0 0 111999 22 0 0 25 0 1 0 851932649 8298496 615 4294967295 134512640 134581267 3221224576 3221223568 134561093 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2026 615 566 18 0 2008 0
vsize: 8104
[startup+1130.11 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13821
Raw data (stat): 13821 (Pueblo-v2) R 13820 20224 20223 0 -1 0 641 0 0 0 112999 22 0 0 25 0 1 0 851932649 8298496 615 4294967295 134512640 134581267 3221224576 3221223492 1075285608 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2026 615 566 18 0 2008 0
vsize: 8104
[startup+1140.11 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13821
Raw data (stat): 13821 (Pueblo-v2) R 13820 20224 20223 0 -1 0 641 0 0 0 113999 22 0 0 25 0 1 0 851932649 8298496 615 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2026 615 566 18 0 2008 0
vsize: 8104
[startup+1150.11 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13821
Raw data (stat): 13821 (Pueblo-v2) R 13820 20224 20223 0 -1 0 641 0 0 0 115000 22 0 0 25 0 1 0 851932649 8298496 615 4294967295 134512640 134581267 3221224576 3221223564 134561046 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2026 615 566 18 0 2008 0
vsize: 8104
[startup+1160.11 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13821
Raw data (stat): 13821 (Pueblo-v2) R 13820 20224 20223 0 -1 0 641 0 0 0 116000 22 0 0 25 0 1 0 851932649 8298496 615 4294967295 134512640 134581267 3221224576 3221223536 134516745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2026 615 566 18 0 2008 0
vsize: 8104
[startup+1170.11 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13821
Raw data (stat): 13821 (Pueblo-v2) R 13820 20224 20223 0 -1 0 641 0 0 0 117000 22 0 0 25 0 1 0 851932649 8298496 615 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2026 615 566 18 0 2008 0
vsize: 8104
[startup+1180.11 s]
Raw data (loadavg): 1.08 1.00 0.92 2/54 13821
Raw data (stat): 13821 (Pueblo-v2) R 13820 20224 20223 0 -1 0 641 0 0 0 118000 22 0 0 25 0 1 0 851932649 8298496 615 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2026 615 566 18 0 2008 0
vsize: 8104
[startup+1190.11 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 13821
Raw data (stat): 13821 (Pueblo-v2) R 13820 20224 20223 0 -1 0 641 0 0 0 119000 22 0 0 25 0 1 0 851932649 8298496 615 4294967295 134512640 134581267 3221224576 3221223488 134527410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2026 615 566 18 0 2008 0
vsize: 8104
[startup+1200.11 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 13821
Raw data (stat): 13821 (Pueblo-v2) R 13820 20224 20223 0 -1 0 641 0 0 0 120000 22 0 0 25 0 1 0 851932649 8298496 615 4294967295 134512640 134581267 3221224576 3221223520 134559230 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2026 615 566 18 0 2008 0
vsize: 8104
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.11 s]
Raw data (loadavg): 1.06 1.00 0.92 1/54 13821
Raw data (stat): 13821 (Pueblo-v2) Z 13820 20224 20223 0 -1 1036 641 0 0 0 120000 22 0 0 25 0 1 0 851932649 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.11
CPU time (s): 1200.24
CPU user time (s): 1200.01
CPU system time (s): 0.227965
CPU usage (%): 100.01
Max. virtual memory (Kb): 8104
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####