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-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-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	1244.18
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 39252

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        612444 kB
Buffers:         31188 kB
Cached:         368628 kB
SwapCached:        568 kB
Active:          19336 kB
Inactive:       382572 kB
HighTotal:      131008 kB
HighFree:       106456 kB
LowTotal:       903652 kB
LowFree:        505988 kB
SwapTotal:     2097136 kB
SwapFree:      2095660 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5316 kB
Slab:            14524 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-03 01:01:41 (client local time) WITH STATUS 0 IN 1200.15 SECONDS
stats: 27313 7 1200.15 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.81 0.93 0.90 1/54 24078
Raw data (stat): 24078 (runsolver) D 24077 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 18 0 1 0 854179183 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 3225161850 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0015 s]
Raw data (loadavg): 0.84 0.93 0.90 2/54 24078
Raw data (stat): 24078 (Pueblo-v2) R 24077 21152 21151 0 -1 0 412 0 0 0 997 1 0 0 25 0 1 0 854179183 7364608 386 4294967295 134512640 134581267 3221224576 3221223504 134520041 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1798 386 566 18 0 1780 0
vsize: 7192
[startup+20.0019 s]
Raw data (loadavg): 0.86 0.93 0.90 2/54 24078
Raw data (stat): 24078 (Pueblo-v2) R 24077 21152 21151 0 -1 0 430 0 0 0 1996 2 0 0 25 0 1 0 854179183 7364608 404 4294967295 134512640 134581267 3221224576 3221223176 1075289641 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1798 404 566 18 0 1780 0
vsize: 7192
[startup+30.0028 s]
Raw data (loadavg): 0.89 0.93 0.90 2/54 24078
Raw data (stat): 24078 (Pueblo-v2) R 24077 21152 21151 0 -1 0 440 0 0 0 2996 2 0 0 25 0 1 0 854179183 7495680 414 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1830 414 566 18 0 1812 0
vsize: 7320
[startup+40.0031 s]
Raw data (loadavg): 0.90 0.93 0.90 2/54 24078
Raw data (stat): 24078 (Pueblo-v2) R 24077 21152 21151 0 -1 0 440 0 0 0 3995 3 0 0 25 0 1 0 854179183 7495680 414 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1830 414 566 18 0 1812 0
vsize: 7320
[startup+50.0035 s]
Raw data (loadavg): 0.92 0.93 0.90 2/54 24078
Raw data (stat): 24078 (Pueblo-v2) R 24077 21152 21151 0 -1 0 455 0 0 0 4995 3 0 0 25 0 1 0 854179183 7495680 429 4294967295 134512640 134581267 3221224576 3221223488 134527434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1830 429 566 18 0 1812 0
vsize: 7320
[startup+60.0034 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 24078
Raw data (stat): 24078 (Pueblo-v2) R 24077 21152 21151 0 -1 0 457 0 0 0 5995 4 0 0 25 0 1 0 854179183 7495680 431 4294967295 134512640 134581267 3221224576 3221223212 1075288754 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1830 431 566 18 0 1812 0
vsize: 7320
[startup+70.0045 s]
Raw data (loadavg): 0.94 0.94 0.90 2/54 24078
Raw data (stat): 24078 (Pueblo-v2) R 24077 21152 21151 0 -1 0 463 0 0 0 6995 4 0 0 25 0 1 0 854179183 7495680 437 4294967295 134512640 134581267 3221224576 3221223488 134527776 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1830 437 566 18 0 1812 0
vsize: 7320
[startup+80.0061 s]
Raw data (loadavg): 0.95 0.94 0.90 2/54 24078
Raw data (stat): 24078 (Pueblo-v2) R 24077 21152 21151 0 -1 0 466 0 0 0 7995 5 0 0 25 0 1 0 854179183 7495680 440 4294967295 134512640 134581267 3221224576 3221223492 1075285548 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1830 440 566 18 0 1812 0
vsize: 7320
[startup+90.006 s]
Raw data (loadavg): 0.96 0.94 0.90 2/54 24078
Raw data (stat): 24078 (Pueblo-v2) R 24077 21152 21151 0 -1 0 468 0 0 0 8994 5 0 0 25 0 1 0 854179183 7495680 442 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1830 442 566 18 0 1812 0
vsize: 7320
[startup+100.006 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 24078
Raw data (stat): 24078 (Pueblo-v2) R 24077 21152 21151 0 -1 0 468 0 0 0 9994 5 0 0 25 0 1 0 854179183 7495680 442 4294967295 134512640 134581267 3221224576 3221223440 134560433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1830 442 566 18 0 1812 0
vsize: 7320
[startup+110.007 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 24078
Raw data (stat): 24078 (Pueblo-v2) R 24077 21152 21151 0 -1 0 481 0 0 0 10994 6 0 0 25 0 1 0 854179183 7626752 455 4294967295 134512640 134581267 3221224576 3221223488 134527687 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1862 455 566 18 0 1844 0
vsize: 7448
[startup+120.008 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 24078
Raw data (stat): 24078 (Pueblo-v2) R 24077 21152 21151 0 -1 0 485 0 0 0 11994 6 0 0 25 0 1 0 854179183 7626752 459 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1862 459 566 18 0 1844 0
vsize: 7448
[startup+130.009 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 24078
Raw data (stat): 24078 (Pueblo-v2) R 24077 21152 21151 0 -1 0 485 0 0 0 12994 6 0 0 25 0 1 0 854179183 7626752 459 4294967295 134512640 134581267 3221224576 3221223520 134558784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1862 459 566 18 0 1844 0
vsize: 7448
[startup+140.009 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 24078
Raw data (stat): 24078 (Pueblo-v2) R 24077 21152 21151 0 -1 0 492 0 0 0 13994 6 0 0 25 0 1 0 854179183 7626752 466 4294967295 134512640 134581267 3221224576 3221223292 1075288535 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1862 466 566 18 0 1844 0
vsize: 7448
[startup+150.009 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 24078
Raw data (stat): 24078 (Pueblo-v2) R 24077 21152 21151 0 -1 0 492 0 0 0 14994 6 0 0 25 0 1 0 854179183 7626752 466 4294967295 134512640 134581267 3221224576 3221223264 1075288805 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1862 466 566 18 0 1844 0
vsize: 7448
[startup+160.01 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 24078
Raw data (stat): 24078 (Pueblo-v2) R 24077 21152 21151 0 -1 0 492 0 0 0 15994 7 0 0 25 0 1 0 854179183 7626752 466 4294967295 134512640 134581267 3221224576 3221223504 134519829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1862 466 566 18 0 1844 0
vsize: 7448
[startup+170.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 24078
Raw data (stat): 24078 (Pueblo-v2) R 24077 21152 21151 0 -1 0 504 0 0 0 16994 7 0 0 25 0 1 0 854179183 7757824 478 4294967295 134512640 134581267 3221224576 3221223568 134561093 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1894 478 566 18 0 1876 0
vsize: 7576
[startup+180.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 24078
Raw data (stat): 24078 (Pueblo-v2) R 24077 21152 21151 0 -1 0 505 0 0 0 17993 8 0 0 25 0 1 0 854179183 7757824 479 4294967295 134512640 134581267 3221224576 3221223504 134519829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1894 479 566 18 0 1876 0
vsize: 7576
[startup+190.012 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 24078
Raw data (stat): 24078 (Pueblo-v2) R 24077 21152 21151 0 -1 0 505 0 0 0 18993 8 0 0 25 0 1 0 854179183 7757824 479 4294967295 134512640 134581267 3221224576 3221223488 134527513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1894 479 566 18 0 1876 0
vsize: 7576
[startup+200.012 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 24078
Raw data (stat): 24078 (Pueblo-v2) R 24077 21152 21151 0 -1 0 505 0 0 0 19993 8 0 0 25 0 1 0 854179183 7757824 479 4294967295 134512640 134581267 3221224576 3221223440 134528257 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1894 479 566 18 0 1876 0
vsize: 7576
[startup+210.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 24078
Raw data (stat): 24078 (Pueblo-v2) R 24077 21152 21151 0 -1 0 507 0 0 0 20993 9 0 0 25 0 1 0 854179183 7757824 481 4294967295 134512640 134581267 3221224576 3221223440 134528390 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1894 481 566 18 0 1876 0
vsize: 7576
[startup+220.013 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 24078
Raw data (stat): 24078 (Pueblo-v2) R 24077 21152 21151 0 -1 0 515 0 0 0 21992 9 0 0 25 0 1 0 854179183 7757824 489 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1894 489 566 18 0 1876 0
vsize: 7576
[startup+230.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 24078
Raw data (stat): 24078 (Pueblo-v2) R 24077 21152 21151 0 -1 0 525 0 0 0 22992 10 0 0 25 0 1 0 854179183 7757824 499 4294967295 134512640 134581267 3221224576 3221223536 134516751 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1894 499 566 18 0 1876 0
vsize: 7576
[startup+240.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 24078
Raw data (stat): 24078 (Pueblo-v2) R 24077 21152 21151 0 -1 0 525 0 0 0 23992 10 0 0 25 0 1 0 854179183 7757824 499 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1894 499 566 18 0 1876 0
vsize: 7576
[startup+250.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 24078
Raw data (stat): 24078 (Pueblo-v2) R 24077 21152 21151 0 -1 0 533 0 0 0 24991 11 0 0 25 0 1 0 854179183 7757824 507 4294967295 134512640 134581267 3221224576 3221223456 134520309 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1894 507 566 18 0 1876 0
vsize: 7576
[startup+260.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 24078
Raw data (stat): 24078 (Pueblo-v2) R 24077 21152 21151 0 -1 0 533 0 0 0 25991 11 0 0 25 0 1 0 854179183 7757824 507 4294967295 134512640 134581267 3221224576 3221223472 134517806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1894 507 566 18 0 1876 0
vsize: 7576
[startup+270.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 24078
Raw data (stat): 24078 (Pueblo-v2) R 24077 21152 21151 0 -1 0 533 0 0 0 26991 11 0 0 25 0 1 0 854179183 7757824 507 4294967295 134512640 134581267 3221224576 3221223440 134528229 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1894 507 566 18 0 1876 0
vsize: 7576
[startup+280.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 24078
Raw data (stat): 24078 (Pueblo-v2) R 24077 21152 21151 0 -1 0 535 0 0 0 27991 11 0 0 25 0 1 0 854179183 7897088 509 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1928 509 566 18 0 1910 0
vsize: 7712
[startup+290.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 24078
Raw data (stat): 24078 (Pueblo-v2) R 24077 21152 21151 0 -1 0 535 0 0 0 28991 11 0 0 25 0 1 0 854179183 7897088 509 4294967295 134512640 134581267 3221224576 3221223488 134527927 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1928 509 566 18 0 1910 0
vsize: 7712
[startup+300.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 24078
Raw data (stat): 24078 (Pueblo-v2) R 24077 21152 21151 0 -1 0 535 0 0 0 29991 12 0 0 25 0 1 0 854179183 7897088 509 4294967295 134512640 134581267 3221224576 3221223440 134528315 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1928 509 566 18 0 1910 0
vsize: 7712
[startup+310.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 24078
Raw data (stat): 24078 (Pueblo-v2) R 24077 21152 21151 0 -1 0 535 0 0 0 30991 12 0 0 25 0 1 0 854179183 7897088 509 4294967295 134512640 134581267 3221224576 3221223472 134517764 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1928 509 566 18 0 1910 0
vsize: 7712
[startup+320.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 24078
Raw data (stat): 24078 (Pueblo-v2) R 24077 21152 21151 0 -1 0 535 0 0 0 31991 12 0 0 25 0 1 0 854179183 7897088 509 4294967295 134512640 134581267 3221224576 3221223472 134517762 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1928 509 566 18 0 1910 0
vsize: 7712
[startup+330.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24078
Raw data (stat): 24078 (Pueblo-v2) R 24077 21152 21151 0 -1 0 535 0 0 0 32991 12 0 0 25 0 1 0 854179183 7897088 509 4294967295 134512640 134581267 3221224576 3221223520 134559341 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1928 509 566 18 0 1910 0
vsize: 7712
[startup+340.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24078
Raw data (stat): 24078 (Pueblo-v2) R 24077 21152 21151 0 -1 0 535 0 0 0 33991 12 0 0 25 0 1 0 854179183 7897088 509 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1928 509 566 18 0 1910 0
vsize: 7712
[startup+350.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24078
Raw data (stat): 24078 (Pueblo-v2) R 24077 21152 21151 0 -1 0 538 0 0 0 34991 13 0 0 25 0 1 0 854179183 7897088 512 4294967295 134512640 134581267 3221224576 3221223556 134561052 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1928 512 566 18 0 1910 0
vsize: 7712
[startup+360.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24078
Raw data (stat): 24078 (Pueblo-v2) R 24077 21152 21151 0 -1 0 538 0 0 0 35990 13 0 0 25 0 1 0 854179183 7897088 512 4294967295 134512640 134581267 3221224576 3221223520 134559591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1928 512 566 18 0 1910 0
vsize: 7712
[startup+370.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24078
Raw data (stat): 24078 (Pueblo-v2) R 24077 21152 21151 0 -1 0 538 0 0 0 36990 14 0 0 25 0 1 0 854179183 7897088 512 4294967295 134512640 134581267 3221224576 3221223540 134519893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1928 512 566 18 0 1910 0
vsize: 7712
[startup+380.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24078
Raw data (stat): 24078 (Pueblo-v2) R 24077 21152 21151 0 -1 0 544 0 0 0 37990 14 0 0 25 0 1 0 854179183 7897088 518 4294967295 134512640 134581267 3221224576 3221223520 134559211 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1928 518 566 18 0 1910 0
vsize: 7712
[startup+390.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24078
Raw data (stat): 24078 (Pueblo-v2) R 24077 21152 21151 0 -1 0 546 0 0 0 38989 15 0 0 25 0 1 0 854179183 7897088 520 4294967295 134512640 134581267 3221224576 3221223440 134528302 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1928 520 566 18 0 1910 0
vsize: 7712
[startup+400.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24078
Raw data (stat): 24078 (Pueblo-v2) R 24077 21152 21151 0 -1 0 546 0 0 0 39989 15 0 0 25 0 1 0 854179183 7897088 520 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1928 520 566 18 0 1910 0
vsize: 7712
[startup+410.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24078
Raw data (stat): 24078 (Pueblo-v2) R 24077 21152 21151 0 -1 0 546 0 0 0 40989 15 0 0 25 0 1 0 854179183 7897088 520 4294967295 134512640 134581267 3221224576 3221223568 134561096 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1928 520 566 18 0 1910 0
vsize: 7712
[startup+420.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24078
Raw data (stat): 24078 (Pueblo-v2) R 24077 21152 21151 0 -1 0 546 0 0 0 41989 15 0 0 25 0 1 0 854179183 7897088 520 4294967295 134512640 134581267 3221224576 3221223440 134528255 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1928 520 566 18 0 1910 0
vsize: 7712
[startup+430.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24078
Raw data (stat): 24078 (Pueblo-v2) R 24077 21152 21151 0 -1 0 546 0 0 0 42989 16 0 0 25 0 1 0 854179183 7897088 520 4294967295 134512640 134581267 3221224576 3221223520 134558671 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1928 520 566 18 0 1910 0
vsize: 7712
[startup+440.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24078
Raw data (stat): 24078 (Pueblo-v2) R 24077 21152 21151 0 -1 0 547 0 0 0 43988 16 0 0 25 0 1 0 854179183 7897088 521 4294967295 134512640 134581267 3221224576 3221223488 134527692 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1928 521 566 18 0 1910 0
vsize: 7712
[startup+450.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24078
Raw data (stat): 24078 (Pueblo-v2) R 24077 21152 21151 0 -1 0 549 0 0 0 44988 17 0 0 25 0 1 0 854179183 7897088 523 4294967295 134512640 134581267 3221224576 3221223536 134519781 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1928 523 566 18 0 1910 0
vsize: 7712
[startup+460.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24078
Raw data (stat): 24078 (Pueblo-v2) R 24077 21152 21151 0 -1 0 549 0 0 0 45988 17 0 0 25 0 1 0 854179183 7897088 523 4294967295 134512640 134581267 3221224576 3221223440 134528229 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1928 523 566 18 0 1910 0
vsize: 7712
[startup+470.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24078
Raw data (stat): 24078 (Pueblo-v2) R 24077 21152 21151 0 -1 0 549 0 0 0 46987 17 0 0 25 0 1 0 854179183 7897088 523 4294967295 134512640 134581267 3221224576 3221223440 134527173 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1928 523 566 18 0 1910 0
vsize: 7712
[startup+480.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24078
Raw data (stat): 24078 (Pueblo-v2) R 24077 21152 21151 0 -1 0 550 0 0 0 47987 18 0 0 25 0 1 0 854179183 7897088 524 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1928 524 566 18 0 1910 0
vsize: 7712
[startup+490.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24078
Raw data (stat): 24078 (Pueblo-v2) R 24077 21152 21151 0 -1 0 554 0 0 0 48987 18 0 0 25 0 1 0 854179183 7897088 528 4294967295 134512640 134581267 3221224576 3221223520 134559171 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1928 528 566 18 0 1910 0
vsize: 7712
[startup+500.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24078
Raw data (stat): 24078 (Pueblo-v2) R 24077 21152 21151 0 -1 0 556 0 0 0 49986 19 0 0 25 0 1 0 854179183 7897088 530 4294967295 134512640 134581267 3221224576 3221223488 134527963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1928 530 566 18 0 1910 0
vsize: 7712
[startup+510.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24078
Raw data (stat): 24078 (Pueblo-v2) R 24077 21152 21151 0 -1 0 556 0 0 0 50986 19 0 0 25 0 1 0 854179183 7897088 530 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1928 530 566 18 0 1910 0
vsize: 7712
[startup+520.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24078
Raw data (stat): 24078 (Pueblo-v2) R 24077 21152 21151 0 -1 0 556 0 0 0 51986 19 0 0 25 0 1 0 854179183 7897088 530 4294967295 134512640 134581267 3221224576 3221223520 134559228 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1928 530 566 18 0 1910 0
vsize: 7712
[startup+530.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24078
Raw data (stat): 24078 (Pueblo-v2) R 24077 21152 21151 0 -1 0 556 0 0 0 52986 20 0 0 25 0 1 0 854179183 7897088 530 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1928 530 566 18 0 1910 0
vsize: 7712
[startup+540.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24078
Raw data (stat): 24078 (Pueblo-v2) R 24077 21152 21151 0 -1 0 556 0 0 0 53986 20 0 0 25 0 1 0 854179183 7897088 530 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1928 530 566 18 0 1910 0
vsize: 7712
[startup+550.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24078
Raw data (stat): 24078 (Pueblo-v2) R 24077 21152 21151 0 -1 0 556 0 0 0 54986 20 0 0 25 0 1 0 854179183 7897088 530 4294967295 134512640 134581267 3221224576 3221223440 134528346 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1928 530 566 18 0 1910 0
vsize: 7712
[startup+560.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24078
Raw data (stat): 24078 (Pueblo-v2) R 24077 21152 21151 0 -1 0 556 0 0 0 55985 20 0 0 25 0 1 0 854179183 7897088 530 4294967295 134512640 134581267 3221224576 3221223440 134528336 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.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24078
Raw data (stat): 24078 (Pueblo-v2) R 24077 21152 21151 0 -1 0 559 0 0 0 56985 20 0 0 25 0 1 0 854179183 7897088 533 4294967295 134512640 134581267 3221224576 3221223488 134527918 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.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24078
Raw data (stat): 24078 (Pueblo-v2) R 24077 21152 21151 0 -1 0 565 0 0 0 57985 20 0 0 25 0 1 0 854179183 7897088 539 4294967295 134512640 134581267 3221224576 3221223504 134519829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1928 539 566 18 0 1910 0
vsize: 7712
[startup+590.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24078
Raw data (stat): 24078 (Pueblo-v2) R 24077 21152 21151 0 -1 0 570 0 0 0 58985 21 0 0 25 0 1 0 854179183 8028160 544 4294967295 134512640 134581267 3221224576 3221223504 134520099 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1960 544 566 18 0 1942 0
vsize: 7840
[startup+600.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24078
Raw data (stat): 24078 (Pueblo-v2) R 24077 21152 21151 0 -1 0 573 0 0 0 59984 21 0 0 25 0 1 0 854179183 8028160 547 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1960 547 566 18 0 1942 0
vsize: 7840
[startup+610.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24078
Raw data (stat): 24078 (Pueblo-v2) R 24077 21152 21151 0 -1 0 576 0 0 0 60984 21 0 0 25 0 1 0 854179183 8028160 550 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1960 550 566 18 0 1942 0
vsize: 7840
[startup+620.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24078
Raw data (stat): 24078 (Pueblo-v2) R 24077 21152 21151 0 -1 0 578 0 0 0 61983 22 0 0 25 0 1 0 854179183 8028160 552 4294967295 134512640 134581267 3221224576 3221223488 134527554 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1960 552 566 18 0 1942 0
vsize: 7840
[startup+630.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24078
Raw data (stat): 24078 (Pueblo-v2) R 24077 21152 21151 0 -1 0 581 0 0 0 62983 22 0 0 25 0 1 0 854179183 8028160 555 4294967295 134512640 134581267 3221224576 3221223520 134559241 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1960 555 566 18 0 1942 0
vsize: 7840
[startup+640.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24078
Raw data (stat): 24078 (Pueblo-v2) R 24077 21152 21151 0 -1 0 588 0 0 0 63983 23 0 0 25 0 1 0 854179183 8028160 562 4294967295 134512640 134581267 3221224576 3221223472 134517395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1960 562 566 18 0 1942 0
vsize: 7840
[startup+650.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24078
Raw data (stat): 24078 (Pueblo-v2) R 24077 21152 21151 0 -1 0 590 0 0 0 64983 23 0 0 25 0 1 0 854179183 8028160 564 4294967295 134512640 134581267 3221224576 3221223568 134561106 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1960 564 566 18 0 1942 0
vsize: 7840
[startup+660.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24078
Raw data (stat): 24078 (Pueblo-v2) R 24077 21152 21151 0 -1 0 590 0 0 0 65982 24 0 0 25 0 1 0 854179183 8028160 564 4294967295 134512640 134581267 3221224576 3221223440 134560435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1960 564 566 18 0 1942 0
vsize: 7840
[startup+670.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24078
Raw data (stat): 24078 (Pueblo-v2) R 24077 21152 21151 0 -1 0 590 0 0 0 66982 24 0 0 25 0 1 0 854179183 8028160 564 4294967295 134512640 134581267 3221224576 3221223536 134516751 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1960 564 566 18 0 1942 0
vsize: 7840
[startup+680.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24078
Raw data (stat): 24078 (Pueblo-v2) R 24077 21152 21151 0 -1 0 590 0 0 0 67982 24 0 0 25 0 1 0 854179183 8028160 564 4294967295 134512640 134581267 3221224576 3221223456 134520278 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1960 564 566 18 0 1942 0
vsize: 7840
[startup+690.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24078
Raw data (stat): 24078 (Pueblo-v2) R 24077 21152 21151 0 -1 0 590 0 0 0 68982 25 0 0 25 0 1 0 854179183 8028160 564 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1960 564 566 18 0 1942 0
vsize: 7840
[startup+700.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24078
Raw data (stat): 24078 (Pueblo-v2) R 24077 21152 21151 0 -1 0 597 0 0 0 69981 25 0 0 25 0 1 0 854179183 8159232 571 4294967295 134512640 134581267 3221224576 3221223440 134528229 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1992 571 566 18 0 1974 0
vsize: 7968
[startup+710.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24078
Raw data (stat): 24078 (Pueblo-v2) R 24077 21152 21151 0 -1 0 597 0 0 0 70981 25 0 0 25 0 1 0 854179183 8159232 571 4294967295 134512640 134581267 3221224576 3221223440 134560433 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.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24078
Raw data (stat): 24078 (Pueblo-v2) R 24077 21152 21151 0 -1 0 600 0 0 0 71981 26 0 0 25 0 1 0 854179183 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+730.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24078
Raw data (stat): 24078 (Pueblo-v2) R 24077 21152 21151 0 -1 0 600 0 0 0 72981 26 0 0 25 0 1 0 854179183 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.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24078
Raw data (stat): 24078 (Pueblo-v2) R 24077 21152 21151 0 -1 0 600 0 0 0 73980 26 0 0 25 0 1 0 854179183 8159232 574 4294967295 134512640 134581267 3221224576 3221223504 134519829 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.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24078
Raw data (stat): 24078 (Pueblo-v2) R 24077 21152 21151 0 -1 0 603 0 0 0 74980 26 0 0 25 0 1 0 854179183 8159232 577 4294967295 134512640 134581267 3221224576 3221223504 134520092 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.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24078
Raw data (stat): 24078 (Pueblo-v2) R 24077 21152 21151 0 -1 0 606 0 0 0 75980 27 0 0 25 0 1 0 854179183 8159232 580 4294967295 134512640 134581267 3221224576 3221223440 134528229 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.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24078
Raw data (stat): 24078 (Pueblo-v2) R 24077 21152 21151 0 -1 0 609 0 0 0 76980 27 0 0 25 0 1 0 854179183 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+780.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24078
Raw data (stat): 24078 (Pueblo-v2) R 24077 21152 21151 0 -1 0 609 0 0 0 77980 27 0 0 25 0 1 0 854179183 8159232 583 4294967295 134512640 134581267 3221224576 3221223544 134519777 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.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24078
Raw data (stat): 24078 (Pueblo-v2) R 24077 21152 21151 0 -1 0 609 0 0 0 78979 27 0 0 25 0 1 0 854179183 8159232 583 4294967295 134512640 134581267 3221224576 3221223520 134559020 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.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24078
Raw data (stat): 24078 (Pueblo-v2) R 24077 21152 21151 0 -1 0 609 0 0 0 79979 28 0 0 25 0 1 0 854179183 8159232 583 4294967295 134512640 134581267 3221224576 3221223440 134528235 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.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24078
Raw data (stat): 24078 (Pueblo-v2) R 24077 21152 21151 0 -1 0 609 0 0 0 80979 28 0 0 25 0 1 0 854179183 8159232 583 4294967295 134512640 134581267 3221224576 3221223472 134517875 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.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24078
Raw data (stat): 24078 (Pueblo-v2) R 24077 21152 21151 0 -1 0 609 0 0 0 81979 28 0 0 25 0 1 0 854179183 8159232 583 4294967295 134512640 134581267 3221224576 3221223548 134519776 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.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24078
Raw data (stat): 24078 (Pueblo-v2) R 24077 21152 21151 0 -1 0 609 0 0 0 82978 29 0 0 25 0 1 0 854179183 8159232 583 4294967295 134512640 134581267 3221224576 3221223568 134561040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1992 583 566 18 0 1974 0
vsize: 7968
[startup+840.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24078
Raw data (stat): 24078 (Pueblo-v2) R 24077 21152 21151 0 -1 0 612 0 0 0 83979 29 0 0 25 0 1 0 854179183 8159232 586 4294967295 134512640 134581267 3221224576 3221223520 134558849 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1992 586 566 18 0 1974 0
vsize: 7968
[startup+850.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24078
Raw data (stat): 24078 (Pueblo-v2) R 24077 21152 21151 0 -1 0 612 0 0 0 84979 29 0 0 25 0 1 0 854179183 8159232 586 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1992 586 566 18 0 1974 0
vsize: 7968
[startup+860.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24078
Raw data (stat): 24078 (Pueblo-v2) R 24077 21152 21151 0 -1 0 612 0 0 0 85979 29 0 0 25 0 1 0 854179183 8159232 586 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1992 586 566 18 0 1974 0
vsize: 7968
[startup+870.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24078
Raw data (stat): 24078 (Pueblo-v2) R 24077 21152 21151 0 -1 0 612 0 0 0 86979 29 0 0 25 0 1 0 854179183 8159232 586 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1992 586 566 18 0 1974 0
vsize: 7968
[startup+880.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24078
Raw data (stat): 24078 (Pueblo-v2) R 24077 21152 21151 0 -1 0 612 0 0 0 87979 29 0 0 25 0 1 0 854179183 8159232 586 4294967295 134512640 134581267 3221224576 3221223480 1075289689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1992 586 566 18 0 1974 0
vsize: 7968
[startup+890.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24078
Raw data (stat): 24078 (Pueblo-v2) R 24077 21152 21151 0 -1 0 612 0 0 0 88979 29 0 0 25 0 1 0 854179183 8159232 586 4294967295 134512640 134581267 3221224576 3221223440 134528324 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1992 586 566 18 0 1974 0
vsize: 7968
[startup+900.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24078
Raw data (stat): 24078 (Pueblo-v2) R 24077 21152 21151 0 -1 0 613 0 0 0 89980 29 0 0 25 0 1 0 854179183 8159232 587 4294967295 134512640 134581267 3221224576 3221223440 134528226 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1992 587 566 18 0 1974 0
vsize: 7968
[startup+910.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24078
Raw data (stat): 24078 (Pueblo-v2) R 24077 21152 21151 0 -1 0 613 0 0 0 90980 29 0 0 25 0 1 0 854179183 8159232 587 4294967295 134512640 134581267 3221224576 3221223472 134517512 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1992 587 566 18 0 1974 0
vsize: 7968
[startup+920.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24078
Raw data (stat): 24078 (Pueblo-v2) R 24077 21152 21151 0 -1 0 613 0 0 0 91980 29 0 0 25 0 1 0 854179183 8159232 587 4294967295 134512640 134581267 3221224576 3221223520 134559333 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1992 587 566 18 0 1974 0
vsize: 7968
[startup+930.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24078
Raw data (stat): 24078 (Pueblo-v2) R 24077 21152 21151 0 -1 0 613 0 0 0 92980 29 0 0 25 0 1 0 854179183 8159232 587 4294967295 134512640 134581267 3221224576 3221223440 134528216 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1992 587 566 18 0 1974 0
vsize: 7968
[startup+940.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24078
Raw data (stat): 24078 (Pueblo-v2) R 24077 21152 21151 0 -1 0 616 0 0 0 93980 29 0 0 25 0 1 0 854179183 8159232 590 4294967295 134512640 134581267 3221224576 3221223536 134516745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1992 590 566 18 0 1974 0
vsize: 7968
[startup+950.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24078
Raw data (stat): 24078 (Pueblo-v2) R 24077 21152 21151 0 -1 0 616 0 0 0 94980 29 0 0 25 0 1 0 854179183 8159232 590 4294967295 134512640 134581267 3221224576 3221223544 134519777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1992 590 566 18 0 1974 0
vsize: 7968
[startup+960.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24078
Raw data (stat): 24078 (Pueblo-v2) R 24077 21152 21151 0 -1 0 628 0 0 0 95980 29 0 0 25 0 1 0 854179183 8298496 602 4294967295 134512640 134581267 3221224576 3221223488 134527670 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2026 602 566 18 0 2008 0
vsize: 8104
[startup+970.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24078
Raw data (stat): 24078 (Pueblo-v2) R 24077 21152 21151 0 -1 0 628 0 0 0 96981 29 0 0 25 0 1 0 854179183 8298496 602 4294967295 134512640 134581267 3221224576 3221223520 134559326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2026 602 566 18 0 2008 0
vsize: 8104
[startup+980.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24078
Raw data (stat): 24078 (Pueblo-v2) R 24077 21152 21151 0 -1 0 628 0 0 0 97981 29 0 0 25 0 1 0 854179183 8298496 602 4294967295 134512640 134581267 3221224576 3221223568 134561067 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2026 602 566 18 0 2008 0
vsize: 8104
[startup+990.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24078
Raw data (stat): 24078 (Pueblo-v2) R 24077 21152 21151 0 -1 0 628 0 0 0 98981 29 0 0 25 0 1 0 854179183 8298496 602 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2026 602 566 18 0 2008 0
vsize: 8104
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24078
Raw data (stat): 24078 (Pueblo-v2) R 24077 21152 21151 0 -1 0 629 0 0 0 99981 29 0 0 25 0 1 0 854179183 8298496 603 4294967295 134512640 134581267 3221224576 3221223488 134566357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2026 603 566 18 0 2008 0
vsize: 8104
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24078
Raw data (stat): 24078 (Pueblo-v2) R 24077 21152 21151 0 -1 0 629 0 0 0 100981 29 0 0 25 0 1 0 854179183 8298496 603 4294967295 134512640 134581267 3221224576 3221223440 134528312 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2026 603 566 18 0 2008 0
vsize: 8104
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24078
Raw data (stat): 24078 (Pueblo-v2) R 24077 21152 21151 0 -1 0 629 0 0 0 101982 29 0 0 25 0 1 0 854179183 8298496 603 4294967295 134512640 134581267 3221224576 3221223520 134558889 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2026 603 566 18 0 2008 0
vsize: 8104
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24078
Raw data (stat): 24078 (Pueblo-v2) R 24077 21152 21151 0 -1 0 631 0 0 0 102982 29 0 0 25 0 1 0 854179183 8298496 605 4294967295 134512640 134581267 3221224576 3221223360 134566331 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2026 605 566 18 0 2008 0
vsize: 8104
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24078
Raw data (stat): 24078 (Pueblo-v2) R 24077 21152 21151 0 -1 0 631 0 0 0 103982 29 0 0 25 0 1 0 854179183 8298496 605 4294967295 134512640 134581267 3221224576 3221223568 134561040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2026 605 566 18 0 2008 0
vsize: 8104
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24078
Raw data (stat): 24078 (Pueblo-v2) R 24077 21152 21151 0 -1 0 636 0 0 0 104982 29 0 0 25 0 1 0 854179183 8298496 610 4294967295 134512640 134581267 3221224576 3221223552 134560756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2026 610 566 18 0 2008 0
vsize: 8104
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24078
Raw data (stat): 24078 (Pueblo-v2) R 24077 21152 21151 0 -1 0 636 0 0 0 105982 29 0 0 25 0 1 0 854179183 8298496 610 4294967295 134512640 134581267 3221224576 3221223568 134561040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2026 610 566 18 0 2008 0
vsize: 8104
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24078
Raw data (stat): 24078 (Pueblo-v2) R 24077 21152 21151 0 -1 0 636 0 0 0 106983 29 0 0 25 0 1 0 854179183 8298496 610 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2026 610 566 18 0 2008 0
vsize: 8104
[startup+1080.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24078
Raw data (stat): 24078 (Pueblo-v2) R 24077 21152 21151 0 -1 0 641 0 0 0 107983 29 0 0 25 0 1 0 854179183 8298496 615 4294967295 134512640 134581267 3221224576 3221223440 134560512 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2026 615 566 18 0 2008 0
vsize: 8104
[startup+1090.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24078
Raw data (stat): 24078 (Pueblo-v2) R 24077 21152 21151 0 -1 0 641 0 0 0 108983 29 0 0 25 0 1 0 854179183 8298496 615 4294967295 134512640 134581267 3221224576 3221223440 134528243 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2026 615 566 18 0 2008 0
vsize: 8104
[startup+1100.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24078
Raw data (stat): 24078 (Pueblo-v2) R 24077 21152 21151 0 -1 0 641 0 0 0 109983 29 0 0 25 0 1 0 854179183 8298496 615 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2026 615 566 18 0 2008 0
vsize: 8104
[startup+1110.06 s]
Raw data (loadavg): 1.15 1.00 0.92 2/54 24131
Raw data (stat): 24078 (Pueblo-v2) R 24077 21152 21151 0 -1 0 641 0 0 0 110983 29 0 0 25 0 1 0 854179183 8298496 615 4294967295 134512640 134581267 3221224576 3221223532 134519782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2026 615 566 18 0 2008 0
vsize: 8104
[startup+1120.06 s]
Raw data (loadavg): 1.12 1.00 0.92 2/54 24131
Raw data (stat): 24078 (Pueblo-v2) R 24077 21152 21151 0 -1 0 641 0 0 0 111983 29 0 0 25 0 1 0 854179183 8298496 615 4294967295 134512640 134581267 3221224576 3221223440 134528346 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2026 615 566 18 0 2008 0
vsize: 8104
[startup+1130.06 s]
Raw data (loadavg): 1.10 1.00 0.92 2/54 24131
Raw data (stat): 24078 (Pueblo-v2) R 24077 21152 21151 0 -1 0 641 0 0 0 112983 29 0 0 25 0 1 0 854179183 8298496 615 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2026 615 566 18 0 2008 0
vsize: 8104
[startup+1140.06 s]
Raw data (loadavg): 1.09 1.00 0.92 2/54 24131
Raw data (stat): 24078 (Pueblo-v2) R 24077 21152 21151 0 -1 0 641 0 0 0 113983 29 0 0 25 0 1 0 854179183 8298496 615 4294967295 134512640 134581267 3221224576 3221223488 134527703 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2026 615 566 18 0 2008 0
vsize: 8104
[startup+1150.06 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 24131
Raw data (stat): 24078 (Pueblo-v2) R 24077 21152 21151 0 -1 0 641 0 0 0 114983 29 0 0 25 0 1 0 854179183 8298496 615 4294967295 134512640 134581267 3221224576 3221223268 1075289600 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2026 615 566 18 0 2008 0
vsize: 8104
[startup+1160.06 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 24131
Raw data (stat): 24078 (Pueblo-v2) R 24077 21152 21151 0 -1 0 641 0 0 0 115983 29 0 0 25 0 1 0 854179183 8298496 615 4294967295 134512640 134581267 3221224576 3221223504 134519829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2026 615 566 18 0 2008 0
vsize: 8104
[startup+1170.06 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 24131
Raw data (stat): 24078 (Pueblo-v2) R 24077 21152 21151 0 -1 0 641 0 0 0 116983 29 0 0 25 0 1 0 854179183 8298496 615 4294967295 134512640 134581267 3221224576 3221223440 134528315 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2026 615 566 18 0 2008 0
vsize: 8104
[startup+1180.06 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 24133
Raw data (stat): 24078 (Pueblo-v2) R 24077 21152 21151 0 -1 0 641 0 0 0 117984 29 0 0 25 0 1 0 854179183 8298496 615 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2026 615 566 18 0 2008 0
vsize: 8104
[startup+1190.06 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 24133
Raw data (stat): 24078 (Pueblo-v2) R 24077 21152 21151 0 -1 0 641 0 0 0 118984 29 0 0 25 0 1 0 854179183 8298496 615 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2026 615 566 18 0 2008 0
vsize: 8104
[startup+1200.06 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 24133
Raw data (stat): 24078 (Pueblo-v2) R 24077 21152 21151 0 -1 0 641 0 0 0 119984 29 0 0 25 0 1 0 854179183 8298496 615 4294967295 134512640 134581267 3221224576 3221223504 134519812 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2026 615 566 18 0 2008 0
vsize: 8104
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.06 s]
Raw data (loadavg): 1.03 1.00 0.92 1/54 24133
Raw data (stat): 24078 (Pueblo-v2) Z 24077 21152 21151 0 -1 1036 641 0 0 0 119984 30 0 0 25 0 1 0 854179183 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.06
CPU time (s): 1200.15
CPU user time (s): 1199.85
CPU system time (s): 0.300954
CPU usage (%): 100.007
Max. virtual memory (Kb): 8104
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####