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-nw04.opb
MD5SUM	a5c401bba5afccf02c7b40cb1c595b15
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	87482
Biggest coefficient in the objective function	5220
Number of bits for the biggest coefficient in the objective function	13
Sum of the numbers in the objective function	120189580
Number of bits of the sum of numbers in the objective function	27
Biggest number in a constraint	5220
Number of bits of the biggest number in a constraint	13
Biggest sum of numbers in a constraint	120189580
Number of bits of the biggest sum of numbers	27
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.13683
Number of variables	87482
Total number of constraints	87518
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	87518
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	42032
Trace number 28271

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc27 THE 2005-05-25 01:20:44 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=13683 boxname=wulflinc27 idbench=1053 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  a5c401bba5afccf02c7b40cb1c595b15  /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-20-10-nw04.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-20-10-nw04.opb
IDLAUNCH: 13683
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
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	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
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:        682348 kB
Buffers:         24812 kB
Cached:         305436 kB
SwapCached:        640 kB
Active:          62744 kB
Inactive:       269984 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        682096 kB
SwapTotal:     2097892 kB
SwapFree:      2096760 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5644 kB
Slab:            13944 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 01:40:47 (client local time) WITH STATUS 0 IN 1200.25 SECONDS
stats: 13683 7 1200.25 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.95 0.90 2/54 11104
Raw data (stat): 11104 (runsolver) R 11103 3394 3393 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 834868327 1052672 99 4294967295 134512640 135381576 3221224496 3221219716 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0005 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 11104
Raw data (stat): 11104 (Pueblo) R 11103 3394 3393 0 -1 0 5848 0 0 0 982 16 0 0 25 0 1 0 834868327 28114944 5827 4294967295 134512640 134581331 3221224608 3217028864 134533984 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6864 5829 566 18 0 6846 0
vsize: 27456
[startup+20.0004 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 11104
Raw data (stat): 11104 (Pueblo) R 11103 3394 3393 0 -1 0 193599 0 0 0 1672 326 0 0 25 0 1 0 834868327 48476160 9717 4294967295 134512640 134581331 3221224608 3221223600 134531720 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11835 9717 566 18 0 11817 0
vsize: 47340
[startup+30.0005 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 11104
Raw data (stat): 11104 (Pueblo) R 11103 3394 3393 0 -1 0 522944 0 0 0 2138 860 0 0 25 0 1 0 834868327 48476160 9768 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11835 9768 566 18 0 11817 0
vsize: 47340
[startup+40.0009 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 11104
Raw data (stat): 11104 (Pueblo) R 11103 3394 3393 0 -1 0 849797 0 0 0 2596 1402 0 0 25 0 1 0 834868327 48476160 9735 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11835 9744 566 18 0 11817 0
vsize: 47340
[startup+50.0017 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 11104
Raw data (stat): 11104 (Pueblo) R 11103 3394 3393 0 -1 0 1176114 0 0 0 3061 1937 0 0 25 0 1 0 834868327 48123904 9682 4294967295 134512640 134581331 3221224608 3221223576 1075710225 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11835 9691 566 18 0 11817 0
vsize: 46996
[startup+60.0018 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 11104
Raw data (stat): 11104 (Pueblo) R 11103 3394 3393 0 -1 0 1501280 0 0 0 3522 2477 0 0 25 0 1 0 834868327 48476160 9768 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11835 9768 566 18 0 11817 0
vsize: 47340
[startup+70.0014 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 11104
Raw data (stat): 11104 (Pueblo) R 11103 3394 3393 0 -1 0 1826594 0 0 0 3974 3025 0 0 25 0 1 0 834868327 48476160 9744 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11835 9752 566 18 0 11817 0
vsize: 47340
[startup+80.0022 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 11104
Raw data (stat): 11104 (Pueblo) R 11103 3394 3393 0 -1 0 2151899 0 0 0 4445 3555 0 0 25 0 1 0 834868327 48476160 9711 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11835 9720 566 18 0 11817 0
vsize: 47340
[startup+90.0023 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 11104
Raw data (stat): 11104 (Pueblo) R 11103 3394 3393 0 -1 0 2477216 0 0 0 4911 4088 0 0 25 0 1 0 834868327 48476160 9690 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11835 9699 566 18 0 11817 0
vsize: 47340
[startup+100.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 11104
Raw data (stat): 11104 (Pueblo) R 11103 3394 3393 0 -1 0 2802377 0 0 0 5380 4620 0 0 25 0 1 0 834868327 48476160 9685 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11835 9694 566 18 0 11817 0
vsize: 47340
[startup+110.009 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 11104
Raw data (stat): 11104 (Pueblo) R 11103 3394 3393 0 -1 0 3127911 0 0 0 5843 5157 0 0 25 0 1 0 834868327 48476160 9709 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11835 9718 566 18 0 11817 0
vsize: 47340
[startup+120.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11104
Raw data (stat): 11104 (Pueblo) R 11103 3394 3393 0 -1 0 3452964 0 0 0 6309 5692 0 0 25 0 1 0 834868327 48476160 9768 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11749 9682 566 18 0 11731 0
vsize: 47340
[startup+130.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11104
Raw data (stat): 11104 (Pueblo) R 11103 3394 3393 0 -1 0 3778308 0 0 0 6764 6237 0 0 25 0 1 0 834868327 48476160 9688 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11835 9697 566 18 0 11817 0
vsize: 47340
[startup+140.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11104
Raw data (stat): 11104 (Pueblo) R 11103 3394 3393 0 -1 0 4103423 0 0 0 7235 6766 0 0 25 0 1 0 834868327 48476160 9723 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11835 9731 566 18 0 11817 0
vsize: 47340
[startup+150.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11104
Raw data (stat): 11104 (Pueblo) R 11103 3394 3393 0 -1 0 4428779 0 0 0 7708 7293 0 0 25 0 1 0 834868327 48476160 9741 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11835 9750 566 18 0 11817 0
vsize: 47340
[startup+160.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11104
Raw data (stat): 11104 (Pueblo) R 11103 3394 3393 0 -1 0 4754088 0 0 0 8162 7840 0 0 25 0 1 0 834868327 48476160 9712 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11835 9721 566 18 0 11817 0
vsize: 47340
[startup+170.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11104
Raw data (stat): 11104 (Pueblo) R 11103 3394 3393 0 -1 0 5079114 0 0 0 8615 8387 0 0 25 0 1 0 834868327 48476160 9744 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11835 9752 566 18 0 11817 0
vsize: 47340
[startup+180.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11104
Raw data (stat): 11104 (Pueblo) R 11103 3394 3393 0 -1 0 5404754 0 0 0 9074 8928 0 0 25 0 1 0 834868327 48611328 9788 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11868 9788 566 18 0 11850 0
vsize: 47472
[startup+190.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11104
Raw data (stat): 11104 (Pueblo) R 11103 3394 3393 0 -1 0 5731324 0 0 0 9533 9469 0 0 25 0 1 0 834868327 49053696 9816 4294967295 134512640 134581331 3221224608 3221223576 1075710225 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12062 9825 566 18 0 12044 0
vsize: 47904
[startup+200.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11104
Raw data (stat): 11104 (Pueblo) R 11103 3394 3393 0 -1 0 6059425 0 0 0 10003 9999 0 0 25 0 1 0 834868327 49405952 9913 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12062 9922 566 18 0 12044 0
vsize: 48248
[startup+210.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11104
Raw data (stat): 11104 (Pueblo) R 11103 3394 3393 0 -1 0 6386052 0 0 0 10462 10540 0 0 25 0 1 0 834868327 49676288 9998 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12128 9912 566 18 0 12110 0
vsize: 48512
[startup+220.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11104
Raw data (stat): 11104 (Pueblo) R 11103 3394 3393 0 -1 0 6710190 0 0 0 10922 11081 0 0 25 0 1 0 834868327 49946624 10002 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12194 10011 566 18 0 12176 0
vsize: 48776
[startup+230.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11104
Raw data (stat): 11104 (Pueblo) R 11103 3394 3393 0 -1 0 7031718 0 0 0 11370 11633 0 0 25 0 1 0 834868327 50216960 10062 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12260 10071 566 18 0 12242 0
vsize: 49040
[startup+240.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11104
Raw data (stat): 11104 (Pueblo) R 11103 3394 3393 0 -1 0 7352437 0 0 0 11833 12170 0 0 25 0 1 0 834868327 50487296 10173 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12326 10182 566 18 0 12308 0
vsize: 49304
[startup+250.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11104
Raw data (stat): 11104 (Pueblo) R 11103 3394 3393 0 -1 0 7548465 0 0 0 12492 12511 0 0 25 0 1 0 834868327 74022912 16026 4294967295 134512640 134581331 3221224608 3221223504 134517880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18072 16026 566 18 0 18054 0
vsize: 72288
[startup+260.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11104
Raw data (stat): 11104 (Pueblo) R 11103 3394 3393 0 -1 0 7548465 0 0 0 13492 12511 0 0 25 0 1 0 834868327 74022912 16026 4294967295 134512640 134581331 3221224608 3221223504 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18072 16026 566 18 0 18054 0
vsize: 72288
[startup+270.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11104
Raw data (stat): 11104 (Pueblo) R 11103 3394 3393 0 -1 0 7548465 0 0 0 14492 12511 0 0 25 0 1 0 834868327 74022912 16026 4294967295 134512640 134581331 3221224608 3221223504 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18072 16026 566 18 0 18054 0
vsize: 72288
[startup+280.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11104
Raw data (stat): 11104 (Pueblo) R 11103 3394 3393 0 -1 0 7548465 0 0 0 15492 12511 0 0 25 0 1 0 834868327 74022912 16026 4294967295 134512640 134581331 3221224608 3221223504 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18072 16026 566 18 0 18054 0
vsize: 72288
[startup+290.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11104
Raw data (stat): 11104 (Pueblo) R 11103 3394 3393 0 -1 0 7548465 0 0 0 16492 12511 0 0 25 0 1 0 834868327 74022912 16026 4294967295 134512640 134581331 3221224608 3221223504 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18072 16026 566 18 0 18054 0
vsize: 72288
[startup+300.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11104
Raw data (stat): 11104 (Pueblo) R 11103 3394 3393 0 -1 0 7548465 0 0 0 17493 12511 0 0 25 0 1 0 834868327 74022912 16026 4294967295 134512640 134581331 3221224608 3221223504 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18072 16026 566 18 0 18054 0
vsize: 72288
[startup+310.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11104
Raw data (stat): 11104 (Pueblo) R 11103 3394 3393 0 -1 0 7548465 0 0 0 18493 12511 0 0 25 0 1 0 834868327 74022912 16026 4294967295 134512640 134581331 3221224608 3221223504 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18072 16026 566 18 0 18054 0
vsize: 72288
[startup+320.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11104
Raw data (stat): 11104 (Pueblo) R 11103 3394 3393 0 -1 0 7548465 0 0 0 19493 12511 0 0 25 0 1 0 834868327 74022912 16026 4294967295 134512640 134581331 3221224608 3221223504 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18072 16026 566 18 0 18054 0
vsize: 72288
[startup+330.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11104
Raw data (stat): 11104 (Pueblo) R 11103 3394 3393 0 -1 0 7548465 0 0 0 20493 12511 0 0 25 0 1 0 834868327 74022912 16026 4294967295 134512640 134581331 3221224608 3221223504 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18072 16026 566 18 0 18054 0
vsize: 72288
[startup+340.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11104
Raw data (stat): 11104 (Pueblo) R 11103 3394 3393 0 -1 0 7548465 0 0 0 21493 12511 0 0 25 0 1 0 834868327 74022912 16026 4294967295 134512640 134581331 3221224608 3221223504 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18072 16026 566 18 0 18054 0
vsize: 72288
[startup+350.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11104
Raw data (stat): 11104 (Pueblo) R 11103 3394 3393 0 -1 0 7548465 0 0 0 22493 12512 0 0 25 0 1 0 834868327 74022912 16026 4294967295 134512640 134581331 3221224608 3221223504 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18072 16026 566 18 0 18054 0
vsize: 72288
[startup+360.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11104
Raw data (stat): 11104 (Pueblo) R 11103 3394 3393 0 -1 0 7548465 0 0 0 23494 12512 0 0 25 0 1 0 834868327 74022912 16026 4294967295 134512640 134581331 3221224608 3221223504 134517851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18072 16026 566 18 0 18054 0
vsize: 72288
[startup+370.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11104
Raw data (stat): 11104 (Pueblo) R 11103 3394 3393 0 -1 0 7548465 0 0 0 24494 12512 0 0 25 0 1 0 834868327 74022912 16026 4294967295 134512640 134581331 3221224608 3221223504 134517851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18072 16026 566 18 0 18054 0
vsize: 72288
[startup+380.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11104
Raw data (stat): 11104 (Pueblo) R 11103 3394 3393 0 -1 0 7548465 0 0 0 25494 12512 0 0 25 0 1 0 834868327 74022912 16026 4294967295 134512640 134581331 3221224608 3221223504 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18072 16026 566 18 0 18054 0
vsize: 72288
[startup+390.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11104
Raw data (stat): 11104 (Pueblo) R 11103 3394 3393 0 -1 0 7548465 0 0 0 26494 12512 0 0 25 0 1 0 834868327 74022912 16026 4294967295 134512640 134581331 3221224608 3221223504 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18072 16026 566 18 0 18054 0
vsize: 72288
[startup+400.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11104
Raw data (stat): 11104 (Pueblo) R 11103 3394 3393 0 -1 0 7548465 0 0 0 27494 12512 0 0 25 0 1 0 834868327 74022912 16026 4294967295 134512640 134581331 3221224608 3221223504 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18072 16026 566 18 0 18054 0
vsize: 72288
[startup+410.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11104
Raw data (stat): 11104 (Pueblo) R 11103 3394 3393 0 -1 0 7548465 0 0 0 28495 12512 0 0 25 0 1 0 834868327 74022912 16026 4294967295 134512640 134581331 3221224608 3221223504 134517862 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18072 16026 566 18 0 18054 0
vsize: 72288
[startup+420.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11104
Raw data (stat): 11104 (Pueblo) R 11103 3394 3393 0 -1 0 7548465 0 0 0 29495 12512 0 0 25 0 1 0 834868327 74022912 16026 4294967295 134512640 134581331 3221224608 3221223504 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18072 16026 566 18 0 18054 0
vsize: 72288
[startup+430.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11104
Raw data (stat): 11104 (Pueblo) R 11103 3394 3393 0 -1 0 7548465 0 0 0 30495 12512 0 0 25 0 1 0 834868327 74022912 16026 4294967295 134512640 134581331 3221224608 3221223504 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18072 16026 566 18 0 18054 0
vsize: 72288
[startup+440.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11104
Raw data (stat): 11104 (Pueblo) R 11103 3394 3393 0 -1 0 7548465 0 0 0 31495 12512 0 0 25 0 1 0 834868327 74022912 16026 4294967295 134512640 134581331 3221224608 3221223504 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18072 16026 566 18 0 18054 0
vsize: 72288
[startup+450.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11104
Raw data (stat): 11104 (Pueblo) R 11103 3394 3393 0 -1 0 7548465 0 0 0 32495 12512 0 0 25 0 1 0 834868327 74022912 16026 4294967295 134512640 134581331 3221224608 3221223504 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18072 16026 566 18 0 18054 0
vsize: 72288
[startup+460.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11104
Raw data (stat): 11104 (Pueblo) R 11103 3394 3393 0 -1 0 7548465 0 0 0 33496 12512 0 0 25 0 1 0 834868327 74022912 16026 4294967295 134512640 134581331 3221224608 3221223504 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18072 16026 566 18 0 18054 0
vsize: 72288
[startup+470.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11104
Raw data (stat): 11104 (Pueblo) R 11103 3394 3393 0 -1 0 7548465 0 0 0 34496 12512 0 0 25 0 1 0 834868327 74022912 16026 4294967295 134512640 134581331 3221224608 3221223504 134517900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18072 16026 566 18 0 18054 0
vsize: 72288
[startup+480.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11104
Raw data (stat): 11104 (Pueblo) R 11103 3394 3393 0 -1 0 7548465 0 0 0 35496 12512 0 0 25 0 1 0 834868327 74022912 16026 4294967295 134512640 134581331 3221224608 3221223504 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18072 16026 566 18 0 18054 0
vsize: 72288
[startup+490.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11104
Raw data (stat): 11104 (Pueblo) R 11103 3394 3393 0 -1 0 7548465 0 0 0 36496 12512 0 0 25 0 1 0 834868327 74022912 16026 4294967295 134512640 134581331 3221224608 3221223504 134517862 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18072 16026 566 18 0 18054 0
vsize: 72288
[startup+500.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11104
Raw data (stat): 11104 (Pueblo) R 11103 3394 3393 0 -1 0 7548465 0 0 0 37496 12512 0 0 25 0 1 0 834868327 74022912 16026 4294967295 134512640 134581331 3221224608 3221223504 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18072 16026 566 18 0 18054 0
vsize: 72288
[startup+510.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11104
Raw data (stat): 11104 (Pueblo) R 11103 3394 3393 0 -1 0 7548465 0 0 0 38496 12512 0 0 25 0 1 0 834868327 74022912 16026 4294967295 134512640 134581331 3221224608 3221223504 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18072 16026 566 18 0 18054 0
vsize: 72288
[startup+520.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11104
Raw data (stat): 11104 (Pueblo) R 11103 3394 3393 0 -1 0 7548465 0 0 0 39496 12512 0 0 25 0 1 0 834868327 74022912 16026 4294967295 134512640 134581331 3221224608 3221223504 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18072 16026 566 18 0 18054 0
vsize: 72288
[startup+530.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11104
Raw data (stat): 11104 (Pueblo) R 11103 3394 3393 0 -1 0 7548465 0 0 0 40497 12512 0 0 25 0 1 0 834868327 74022912 16026 4294967295 134512640 134581331 3221224608 3221223504 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18072 16026 566 18 0 18054 0
vsize: 72288
[startup+540.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11104
Raw data (stat): 11104 (Pueblo) R 11103 3394 3393 0 -1 0 7548465 0 0 0 41496 12512 0 0 25 0 1 0 834868327 74022912 16026 4294967295 134512640 134581331 3221224608 3221223504 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18072 16026 566 18 0 18054 0
vsize: 72288
[startup+550.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11104
Raw data (stat): 11104 (Pueblo) R 11103 3394 3393 0 -1 0 7548465 0 0 0 42496 12512 0 0 25 0 1 0 834868327 74022912 16026 4294967295 134512640 134581331 3221224608 3221223504 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18072 16026 566 18 0 18054 0
vsize: 72288
[startup+560.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11104
Raw data (stat): 11104 (Pueblo) R 11103 3394 3393 0 -1 0 7548465 0 0 0 43496 12512 0 0 25 0 1 0 834868327 74022912 16026 4294967295 134512640 134581331 3221224608 3221223504 134517880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18072 16026 566 18 0 18054 0
vsize: 72288
[startup+570.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11104
Raw data (stat): 11104 (Pueblo) R 11103 3394 3393 0 -1 0 7548465 0 0 0 44497 12513 0 0 25 0 1 0 834868327 74022912 16026 4294967295 134512640 134581331 3221224608 3221223504 134517844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18072 16026 566 18 0 18054 0
vsize: 72288
[startup+580.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11104
Raw data (stat): 11104 (Pueblo) R 11103 3394 3393 0 -1 0 7548465 0 0 0 45497 12513 0 0 25 0 1 0 834868327 74022912 16026 4294967295 134512640 134581331 3221224608 3221223504 134517905 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18072 16026 566 18 0 18054 0
vsize: 72288
[startup+590.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11104
Raw data (stat): 11104 (Pueblo) R 11103 3394 3393 0 -1 0 7548465 0 0 0 46497 12513 0 0 25 0 1 0 834868327 74022912 16026 4294967295 134512640 134581331 3221224608 3221223616 134530845 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18072 16026 566 18 0 18054 0
vsize: 72288
[startup+600.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11104
Raw data (stat): 11104 (Pueblo) R 11103 3394 3393 0 -1 0 7548465 0 0 0 47497 12513 0 0 25 0 1 0 834868327 74022912 16026 4294967295 134512640 134581331 3221224608 3221223616 134530843 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18072 16026 566 18 0 18054 0
vsize: 72288
[startup+610.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11104
Raw data (stat): 11104 (Pueblo) R 11103 3394 3393 0 -1 0 7548465 0 0 0 48497 12513 0 0 25 0 1 0 834868327 74022912 16026 4294967295 134512640 134581331 3221224608 3221223504 134517897 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18072 16026 566 18 0 18054 0
vsize: 72288
[startup+620.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11104
Raw data (stat): 11104 (Pueblo) R 11103 3394 3393 0 -1 0 7548465 0 0 0 49497 12513 0 0 25 0 1 0 834868327 74022912 16026 4294967295 134512640 134581331 3221224608 3221223504 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18072 16026 566 18 0 18054 0
vsize: 72288
[startup+630.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11104
Raw data (stat): 11104 (Pueblo) R 11103 3394 3393 0 -1 0 7548465 0 0 0 50497 12513 0 0 25 0 1 0 834868327 74022912 16026 4294967295 134512640 134581331 3221224608 3221223504 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18072 16026 566 18 0 18054 0
vsize: 72288
[startup+640.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11104
Raw data (stat): 11104 (Pueblo) R 11103 3394 3393 0 -1 0 7548465 0 0 0 51497 12513 0 0 25 0 1 0 834868327 74022912 16026 4294967295 134512640 134581331 3221224608 3221223504 134517905 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18072 16026 566 18 0 18054 0
vsize: 72288
[startup+650.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11104
Raw data (stat): 11104 (Pueblo) R 11103 3394 3393 0 -1 0 7548465 0 0 0 52498 12513 0 0 25 0 1 0 834868327 74022912 16026 4294967295 134512640 134581331 3221224608 3221223504 134517880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18072 16026 566 18 0 18054 0
vsize: 72288
[startup+660.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11104
Raw data (stat): 11104 (Pueblo) R 11103 3394 3393 0 -1 0 7548465 0 0 0 53498 12513 0 0 25 0 1 0 834868327 74022912 16026 4294967295 134512640 134581331 3221224608 3221223504 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18072 16026 566 18 0 18054 0
vsize: 72288
[startup+670.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11104
Raw data (stat): 11104 (Pueblo) R 11103 3394 3393 0 -1 0 7548465 0 0 0 54498 12513 0 0 25 0 1 0 834868327 74022912 16026 4294967295 134512640 134581331 3221224608 3221223504 134517851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18072 16026 566 18 0 18054 0
vsize: 72288
[startup+680.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11104
Raw data (stat): 11104 (Pueblo) R 11103 3394 3393 0 -1 0 7548465 0 0 0 55498 12513 0 0 25 0 1 0 834868327 74022912 16026 4294967295 134512640 134581331 3221224608 3221223504 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18072 16026 566 18 0 18054 0
vsize: 72288
[startup+690.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11104
Raw data (stat): 11104 (Pueblo) R 11103 3394 3393 0 -1 0 7548465 0 0 0 56498 12513 0 0 25 0 1 0 834868327 74022912 16026 4294967295 134512640 134581331 3221224608 3221223504 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18072 16026 566 18 0 18054 0
vsize: 72288
[startup+700.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11104
Raw data (stat): 11104 (Pueblo) R 11103 3394 3393 0 -1 0 7548465 0 0 0 57498 12513 0 0 25 0 1 0 834868327 74022912 16026 4294967295 134512640 134581331 3221224608 3221223504 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18072 16026 566 18 0 18054 0
vsize: 72288
[startup+710.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11104
Raw data (stat): 11104 (Pueblo) R 11103 3394 3393 0 -1 0 7548465 0 0 0 58499 12513 0 0 25 0 1 0 834868327 74022912 16026 4294967295 134512640 134581331 3221224608 3221223504 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18072 16026 566 18 0 18054 0
vsize: 72288
[startup+720.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11104
Raw data (stat): 11104 (Pueblo) R 11103 3394 3393 0 -1 0 7548465 0 0 0 59499 12513 0 0 25 0 1 0 834868327 74022912 16026 4294967295 134512640 134581331 3221224608 3221223504 134517905 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18072 16026 566 18 0 18054 0
vsize: 72288
[startup+730.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11104
Raw data (stat): 11104 (Pueblo) R 11103 3394 3393 0 -1 0 7548465 0 0 0 60499 12513 0 0 25 0 1 0 834868327 74022912 16026 4294967295 134512640 134581331 3221224608 3221223504 134517888 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18072 16026 566 18 0 18054 0
vsize: 72288
[startup+740.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11104
Raw data (stat): 11104 (Pueblo) R 11103 3394 3393 0 -1 0 7548465 0 0 0 61499 12513 0 0 25 0 1 0 834868327 74022912 16026 4294967295 134512640 134581331 3221224608 3221223504 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18072 16026 566 18 0 18054 0
vsize: 72288
[startup+750.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11104
Raw data (stat): 11104 (Pueblo) R 11103 3394 3393 0 -1 0 7548465 0 0 0 62499 12513 0 0 25 0 1 0 834868327 74022912 16026 4294967295 134512640 134581331 3221224608 3221223504 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18072 16026 566 18 0 18054 0
vsize: 72288
[startup+760.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11104
Raw data (stat): 11104 (Pueblo) R 11103 3394 3393 0 -1 0 7548465 0 0 0 63499 12513 0 0 25 0 1 0 834868327 74022912 16026 4294967295 134512640 134581331 3221224608 3221223504 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18072 16026 566 18 0 18054 0
vsize: 72288
[startup+770.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11104
Raw data (stat): 11104 (Pueblo) R 11103 3394 3393 0 -1 0 7548465 0 0 0 64499 12513 0 0 25 0 1 0 834868327 74022912 16026 4294967295 134512640 134581331 3221224608 3221223504 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18072 16026 566 18 0 18054 0
vsize: 72288
[startup+780.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11104
Raw data (stat): 11104 (Pueblo) R 11103 3394 3393 0 -1 0 7548465 0 0 0 65500 12513 0 0 25 0 1 0 834868327 74022912 16026 4294967295 134512640 134581331 3221224608 3221223504 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18072 16026 566 18 0 18054 0
vsize: 72288
[startup+790.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11104
Raw data (stat): 11104 (Pueblo) R 11103 3394 3393 0 -1 0 7548465 0 0 0 66500 12513 0 0 25 0 1 0 834868327 74022912 16026 4294967295 134512640 134581331 3221224608 3221223504 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18072 16026 566 18 0 18054 0
vsize: 72288
[startup+800.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11104
Raw data (stat): 11104 (Pueblo) R 11103 3394 3393 0 -1 0 7548465 0 0 0 67500 12513 0 0 25 0 1 0 834868327 74022912 16026 4294967295 134512640 134581331 3221224608 3221223504 134517902 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18072 16026 566 18 0 18054 0
vsize: 72288
[startup+810.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11104
Raw data (stat): 11104 (Pueblo) R 11103 3394 3393 0 -1 0 7548465 0 0 0 68500 12513 0 0 25 0 1 0 834868327 74022912 16026 4294967295 134512640 134581331 3221224608 3221223504 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18072 16026 566 18 0 18054 0
vsize: 72288
[startup+820.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11104
Raw data (stat): 11104 (Pueblo) R 11103 3394 3393 0 -1 0 7548465 0 0 0 69500 12514 0 0 25 0 1 0 834868327 74022912 16026 4294967295 134512640 134581331 3221224608 3221223504 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18072 16026 566 18 0 18054 0
vsize: 72288
[startup+830.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11104
Raw data (stat): 11104 (Pueblo) R 11103 3394 3393 0 -1 0 7548465 0 0 0 70500 12514 0 0 25 0 1 0 834868327 74022912 16026 4294967295 134512640 134581331 3221224608 3221223504 134517907 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18072 16026 566 18 0 18054 0
vsize: 72288
[startup+840.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11104
Raw data (stat): 11104 (Pueblo) R 11103 3394 3393 0 -1 0 7548465 0 0 0 71501 12514 0 0 25 0 1 0 834868327 74022912 16026 4294967295 134512640 134581331 3221224608 3221223504 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18072 16026 566 18 0 18054 0
vsize: 72288
[startup+850.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11104
Raw data (stat): 11104 (Pueblo) R 11103 3394 3393 0 -1 0 7548465 0 0 0 72501 12514 0 0 25 0 1 0 834868327 74022912 16026 4294967295 134512640 134581331 3221224608 3221223504 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18072 16026 566 18 0 18054 0
vsize: 72288
[startup+860.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11104
Raw data (stat): 11104 (Pueblo) R 11103 3394 3393 0 -1 0 7548465 0 0 0 73501 12514 0 0 25 0 1 0 834868327 74022912 16026 4294967295 134512640 134581331 3221224608 3221223504 134517888 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18072 16026 566 18 0 18054 0
vsize: 72288
[startup+870.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11104
Raw data (stat): 11104 (Pueblo) R 11103 3394 3393 0 -1 0 7548465 0 0 0 74501 12514 0 0 25 0 1 0 834868327 74022912 16026 4294967295 134512640 134581331 3221224608 3221223504 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18072 16026 566 18 0 18054 0
vsize: 72288
[startup+880.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11104
Raw data (stat): 11104 (Pueblo) R 11103 3394 3393 0 -1 0 7548465 0 0 0 75501 12514 0 0 25 0 1 0 834868327 74022912 16026 4294967295 134512640 134581331 3221224608 3221223504 134517862 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18072 16026 566 18 0 18054 0
vsize: 72288
[startup+890.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11104
Raw data (stat): 11104 (Pueblo) R 11103 3394 3393 0 -1 0 7548465 0 0 0 76501 12514 0 0 25 0 1 0 834868327 74022912 16026 4294967295 134512640 134581331 3221224608 3221223504 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18072 16026 566 18 0 18054 0
vsize: 72288
[startup+900.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11104
Raw data (stat): 11104 (Pueblo) R 11103 3394 3393 0 -1 0 7548465 0 0 0 77501 12514 0 0 25 0 1 0 834868327 74022912 16026 4294967295 134512640 134581331 3221224608 3221223504 134517907 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18072 16026 566 18 0 18054 0
vsize: 72288
[startup+910.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11104
Raw data (stat): 11104 (Pueblo) R 11103 3394 3393 0 -1 0 7548465 0 0 0 78502 12514 0 0 25 0 1 0 834868327 74022912 16026 4294967295 134512640 134581331 3221224608 3221223504 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18072 16026 566 18 0 18054 0
vsize: 72288
[startup+920.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11104
Raw data (stat): 11104 (Pueblo) R 11103 3394 3393 0 -1 0 7548465 0 0 0 79502 12514 0 0 25 0 1 0 834868327 74022912 16026 4294967295 134512640 134581331 3221224608 3221223504 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18072 16026 566 18 0 18054 0
vsize: 72288
[startup+930.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11104
Raw data (stat): 11104 (Pueblo) R 11103 3394 3393 0 -1 0 7548465 0 0 0 80502 12514 0 0 25 0 1 0 834868327 74022912 16026 4294967295 134512640 134581331 3221224608 3221223504 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18072 16026 566 18 0 18054 0
vsize: 72288
[startup+940.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11104
Raw data (stat): 11104 (Pueblo) R 11103 3394 3393 0 -1 0 7548465 0 0 0 81502 12514 0 0 25 0 1 0 834868327 74022912 16026 4294967295 134512640 134581331 3221224608 3221223504 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18072 16026 566 18 0 18054 0
vsize: 72288
[startup+950.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11104
Raw data (stat): 11104 (Pueblo) R 11103 3394 3393 0 -1 0 7548465 0 0 0 82502 12514 0 0 25 0 1 0 834868327 74022912 16026 4294967295 134512640 134581331 3221224608 3221223504 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18072 16026 566 18 0 18054 0
vsize: 72288
[startup+960.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11104
Raw data (stat): 11104 (Pueblo) R 11103 3394 3393 0 -1 0 7548465 0 0 0 83502 12514 0 0 25 0 1 0 834868327 74022912 16026 4294967295 134512640 134581331 3221224608 3221223504 134517905 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18072 16026 566 18 0 18054 0
vsize: 72288
[startup+970.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11104
Raw data (stat): 11104 (Pueblo) R 11103 3394 3393 0 -1 0 7548465 0 0 0 84502 12514 0 0 25 0 1 0 834868327 74022912 16026 4294967295 134512640 134581331 3221224608 3221223504 134517862 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18072 16026 566 18 0 18054 0
vsize: 72288
[startup+980.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11104
Raw data (stat): 11104 (Pueblo) R 11103 3394 3393 0 -1 0 7548465 0 0 0 85503 12514 0 0 25 0 1 0 834868327 74022912 16026 4294967295 134512640 134581331 3221224608 3221223504 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18072 16026 566 18 0 18054 0
vsize: 72288
[startup+990.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11104
Raw data (stat): 11104 (Pueblo) R 11103 3394 3393 0 -1 0 7548465 0 0 0 86503 12514 0 0 25 0 1 0 834868327 74022912 16026 4294967295 134512640 134581331 3221224608 3221223504 134517897 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18072 16026 566 18 0 18054 0
vsize: 72288
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11104
Raw data (stat): 11104 (Pueblo) R 11103 3394 3393 0 -1 0 7548465 0 0 0 87503 12514 0 0 25 0 1 0 834868327 74022912 16026 4294967295 134512640 134581331 3221224608 3221223504 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18072 16026 566 18 0 18054 0
vsize: 72288
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11104
Raw data (stat): 11104 (Pueblo) R 11103 3394 3393 0 -1 0 7548465 0 0 0 88503 12514 0 0 25 0 1 0 834868327 74022912 16026 4294967295 134512640 134581331 3221224608 3221223504 134517905 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18072 16026 566 18 0 18054 0
vsize: 72288
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11104
Raw data (stat): 11104 (Pueblo) R 11103 3394 3393 0 -1 0 7548465 0 0 0 89503 12514 0 0 25 0 1 0 834868327 74022912 16026 4294967295 134512640 134581331 3221224608 3221223504 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18072 16026 566 18 0 18054 0
vsize: 72288
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11104
Raw data (stat): 11104 (Pueblo) R 11103 3394 3393 0 -1 0 7548465 0 0 0 90504 12514 0 0 25 0 1 0 834868327 74022912 16026 4294967295 134512640 134581331 3221224608 3221223504 134517897 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18072 16026 566 18 0 18054 0
vsize: 72288
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11104
Raw data (stat): 11104 (Pueblo) R 11103 3394 3393 0 -1 0 7548465 0 0 0 91504 12514 0 0 25 0 1 0 834868327 74022912 16026 4294967295 134512640 134581331 3221224608 3221223504 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18072 16026 566 18 0 18054 0
vsize: 72288
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11104
Raw data (stat): 11104 (Pueblo) R 11103 3394 3393 0 -1 0 7548465 0 0 0 92504 12514 0 0 25 0 1 0 834868327 74022912 16026 4294967295 134512640 134581331 3221224608 3221223504 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18072 16026 566 18 0 18054 0
vsize: 72288
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11104
Raw data (stat): 11104 (Pueblo) R 11103 3394 3393 0 -1 0 7548465 0 0 0 93504 12514 0 0 25 0 1 0 834868327 74022912 16026 4294967295 134512640 134581331 3221224608 3221223504 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18072 16026 566 18 0 18054 0
vsize: 72288
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11104
Raw data (stat): 11104 (Pueblo) R 11103 3394 3393 0 -1 0 7548465 0 0 0 94504 12514 0 0 25 0 1 0 834868327 74022912 16026 4294967295 134512640 134581331 3221224608 3221223504 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18072 16026 566 18 0 18054 0
vsize: 72288
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11104
Raw data (stat): 11104 (Pueblo) R 11103 3394 3393 0 -1 0 7548465 0 0 0 95504 12514 0 0 25 0 1 0 834868327 74022912 16026 4294967295 134512640 134581331 3221224608 3221223504 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18072 16026 566 18 0 18054 0
vsize: 72288
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11104
Raw data (stat): 11104 (Pueblo) R 11103 3394 3393 0 -1 0 7548465 0 0 0 96505 12514 0 0 25 0 1 0 834868327 74022912 16026 4294967295 134512640 134581331 3221224608 3221223504 134517907 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18072 16026 566 18 0 18054 0
vsize: 72288
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11104
Raw data (stat): 11104 (Pueblo) R 11103 3394 3393 0 -1 0 7548465 0 0 0 97505 12514 0 0 25 0 1 0 834868327 74022912 16026 4294967295 134512640 134581331 3221224608 3221223504 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18072 16026 566 18 0 18054 0
vsize: 72288
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11104
Raw data (stat): 11104 (Pueblo) R 11103 3394 3393 0 -1 0 7548465 0 0 0 98505 12514 0 0 25 0 1 0 834868327 74022912 16026 4294967295 134512640 134581331 3221224608 3221223504 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18072 16026 566 18 0 18054 0
vsize: 72288
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11104
Raw data (stat): 11104 (Pueblo) R 11103 3394 3393 0 -1 0 7548465 0 0 0 99505 12514 0 0 25 0 1 0 834868327 74022912 16026 4294967295 134512640 134581331 3221224608 3221223504 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18072 16026 566 18 0 18054 0
vsize: 72288
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11104
Raw data (stat): 11104 (Pueblo) R 11103 3394 3393 0 -1 0 7548465 0 0 0 100505 12514 0 0 25 0 1 0 834868327 74022912 16026 4294967295 134512640 134581331 3221224608 3221223504 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18072 16026 566 18 0 18054 0
vsize: 72288
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11104
Raw data (stat): 11104 (Pueblo) R 11103 3394 3393 0 -1 0 7548465 0 0 0 101505 12515 0 0 25 0 1 0 834868327 74022912 16026 4294967295 134512640 134581331 3221224608 3221223504 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18072 16026 566 18 0 18054 0
vsize: 72288
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11104
Raw data (stat): 11104 (Pueblo) R 11103 3394 3393 0 -1 0 7548465 0 0 0 102505 12515 0 0 25 0 1 0 834868327 74022912 16026 4294967295 134512640 134581331 3221224608 3221223504 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18072 16026 566 18 0 18054 0
vsize: 72288
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11104
Raw data (stat): 11104 (Pueblo) R 11103 3394 3393 0 -1 0 7548465 0 0 0 103505 12515 0 0 25 0 1 0 834868327 74022912 16026 4294967295 134512640 134581331 3221224608 3221223504 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18072 16026 566 18 0 18054 0
vsize: 72288
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11104
Raw data (stat): 11104 (Pueblo) R 11103 3394 3393 0 -1 0 7548465 0 0 0 104505 12515 0 0 25 0 1 0 834868327 74022912 16026 4294967295 134512640 134581331 3221224608 3221223504 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18072 16026 566 18 0 18054 0
vsize: 72288
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11104
Raw data (stat): 11104 (Pueblo) R 11103 3394 3393 0 -1 0 7548465 0 0 0 105505 12515 0 0 25 0 1 0 834868327 74022912 16026 4294967295 134512640 134581331 3221224608 3221223504 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18072 16026 566 18 0 18054 0
vsize: 72288
[startup+1190.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11104
Raw data (stat): 11104 (Pueblo) R 11103 3394 3393 0 -1 0 7548465 0 0 0 106505 12515 0 0 25 0 1 0 834868327 74022912 16026 4294967295 134512640 134581331 3221224608 3221223504 134517897 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18072 16026 566 18 0 18054 0
vsize: 72288
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11104
Raw data (stat): 11104 (Pueblo) R 11103 3394 3393 0 -1 0 7548465 0 0 0 107505 12515 0 0 25 0 1 0 834868327 74022912 16026 4294967295 134512640 134581331 3221224608 3221223504 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18072 16026 566 18 0 18054 0
vsize: 72288
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.06 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 11104
Raw data (stat): 11104 (Pueblo) Z 11103 3394 3393 0 -1 1036 7548465 0 0 0 107505 12518 0 0 25 0 1 0 834868327 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.06
CPU time (s): 1200.25
CPU user time (s): 1075.06
CPU system time (s): 125.187
CPU usage (%): 100.015
Max. virtual memory (Kb): 72288
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####