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/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3704.opb
MD5SUM	ff4950ed0b09d2cfc714de8611974ec9
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	105000
Biggest coefficient in the objective function	4194304
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	39088316758
Number of bits of the sum of numbers in the objective function	36
Biggest number in a constraint	4194304
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	39088316758
Number of bits of the biggest sum of numbers	36
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.98385
Number of variables	105000
Total number of constraints	5150
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	5150
Minimum length of a constraint	21
Maximum length of a constraint	2000
Trace number 27017

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc17 THE 2005-05-24 18:47:02 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19052 boxname=wulflinc17 idbench=1466 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  ff4950ed0b09d2cfc714de8611974ec9  /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-13-7-n3704.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-13-7-n3704.opb
IDLAUNCH: 19052
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
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.072
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:        831996 kB
Buffers:         35164 kB
Cached:         144556 kB
SwapCached:        480 kB
Active:          89820 kB
Inactive:        92616 kB
HighTotal:      131008 kB
HighFree:          280 kB
LowTotal:       903652 kB
LowFree:        831716 kB
SwapTotal:     2097892 kB
SwapFree:      2097148 kB
Dirty:              44 kB
Writeback:           0 kB
Mapped:           6040 kB
Slab:            14508 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 19:07:04 (client local time) WITH STATUS 0 IN 1200.3 SECONDS
stats: 19052 7 1200.3 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.74 0.89 0.89 2/54 11188
Raw data (stat): 11188 (runsolver) R 11187 7475 7474 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 832523261 1052672 99 4294967295 134512640 135381576 3221224496 3221219716 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0002 s]
Raw data (loadavg): 0.78 0.90 0.90 2/54 11188
Raw data (stat): 11188 (Pueblo) R 11187 7475 7474 0 -1 0 80870 0 0 0 838 160 0 0 25 0 1 0 832523261 56029184 12090 4294967295 134512640 134581331 3221224608 3221223616 134531324 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13679 11988 566 18 0 13661 0
vsize: 54716
[startup+19.9998 s]
Raw data (loadavg): 0.82 0.90 0.90 2/54 11188
Raw data (stat): 11188 (Pueblo) R 11187 7475 7474 0 -1 0 388136 0 0 0 1293 705 0 0 25 0 1 0 832523261 57651200 12416 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14075 12425 566 18 0 14057 0
vsize: 56300
[startup+30.0004 s]
Raw data (loadavg): 0.84 0.90 0.90 2/54 11188
Raw data (stat): 11188 (Pueblo) R 11187 7475 7474 0 -1 0 558781 0 0 0 1984 1014 0 0 25 0 1 0 832523261 57126912 12390 4294967295 134512640 134581331 3221224608 3221223536 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13947 12390 566 18 0 13929 0
vsize: 55788
[startup+40.001 s]
Raw data (loadavg): 0.87 0.91 0.90 2/54 11188
Raw data (stat): 11188 (Pueblo) R 11187 7475 7474 0 -1 0 559009 0 0 0 2983 1015 0 0 25 0 1 0 832523261 58007552 12618 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14162 12618 566 18 0 14144 0
vsize: 56648
[startup+50.0006 s]
Raw data (loadavg): 0.89 0.91 0.90 2/54 11188
Raw data (stat): 11188 (Pueblo) R 11187 7475 7474 0 -1 0 560467 0 0 0 3979 1020 0 0 25 0 1 0 832523261 63983616 14076 4294967295 134512640 134581331 3221224608 3221223520 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15621 14076 566 18 0 15603 0
vsize: 62484
[startup+60.0002 s]
Raw data (loadavg): 0.90 0.91 0.90 2/54 11188
Raw data (stat): 11188 (Pueblo) R 11187 7475 7474 0 -1 0 561909 0 0 0 4975 1024 0 0 25 0 1 0 832523261 69861376 15518 4294967295 134512640 134581331 3221224608 3221223520 134527661 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17056 15518 566 18 0 17038 0
vsize: 68224
[startup+69.9998 s]
Raw data (loadavg): 0.99 0.93 0.91 2/54 11188
Raw data (stat): 11188 (Pueblo) R 11187 7475 7474 0 -1 0 563333 0 0 0 5970 1029 0 0 25 0 1 0 832523261 75743232 16942 4294967295 134512640 134581331 3221224608 3221223472 134528261 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18492 16942 566 18 0 18474 0
vsize: 73968
[startup+80.0006 s]
Raw data (loadavg): 0.99 0.93 0.91 2/54 11188
Raw data (stat): 11188 (Pueblo) R 11187 7475 7474 0 -1 0 564660 0 0 0 6967 1032 0 0 25 0 1 0 832523261 81190912 18269 4294967295 134512640 134581331 3221224608 3221223552 134558842 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19822 18269 566 18 0 19804 0
vsize: 79288
[startup+90 s]
Raw data (loadavg): 0.99 0.93 0.91 2/54 11188
Raw data (stat): 11188 (Pueblo) R 11187 7475 7474 0 -1 0 566036 0 0 0 7963 1036 0 0 25 0 1 0 832523261 86745088 19645 4294967295 134512640 134581331 3221224608 3221223472 134528261 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21178 19645 566 18 0 21160 0
vsize: 84712
[startup+99.9996 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 11188
Raw data (stat): 11188 (Pueblo) R 11187 7475 7474 0 -1 0 567373 0 0 0 8960 1040 0 0 25 0 1 0 832523261 92307456 20982 4294967295 134512640 134581331 3221224608 3221223472 134528334 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22536 20982 566 18 0 22518 0
vsize: 90144
[startup+110 s]
Raw data (loadavg): 0.99 0.94 0.91 3/54 11188
Raw data (stat): 11188 (Pueblo) R 11187 7475 7474 0 -1 0 568727 0 0 0 9956 1044 0 0 25 0 1 0 832523261 97742848 22336 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23863 22336 566 18 0 23845 0
vsize: 95452
[startup+120 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 11188
Raw data (stat): 11188 (Pueblo) R 11187 7475 7474 0 -1 0 570068 0 0 0 10953 1047 0 0 25 0 1 0 832523261 103354368 23677 4294967295 134512640 134581331 3221224608 3221223384 1075291826 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25233 23677 566 18 0 25215 0
vsize: 100932
[startup+130 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 11188
Raw data (stat): 11188 (Pueblo) R 11187 7475 7474 0 -1 0 571435 0 0 0 11950 1050 0 0 25 0 1 0 832523261 108883968 25044 4294967295 134512640 134581331 3221224608 3221223552 134558819 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26583 25044 566 18 0 26565 0
vsize: 106332
[startup+140 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 11188
Raw data (stat): 11188 (Pueblo) R 11187 7475 7474 0 -1 0 572788 0 0 0 12946 1055 0 0 25 0 1 0 832523261 114409472 26397 4294967295 134512640 134581331 3221224608 3221223472 134528261 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27932 26397 566 18 0 27914 0
vsize: 111728
[startup+150 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 11188
Raw data (stat): 11188 (Pueblo) R 11187 7475 7474 0 -1 0 574118 0 0 0 13941 1060 0 0 25 0 1 0 832523261 119898112 27727 4294967295 134512640 134581331 3221224608 3221223472 134528412 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29272 27727 566 18 0 29254 0
vsize: 117088
[startup+159.999 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 11188
Raw data (stat): 11188 (Pueblo) R 11187 7475 7474 0 -1 0 575473 0 0 0 14936 1065 0 0 25 0 1 0 832523261 125452288 29082 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30628 29082 566 18 0 30610 0
vsize: 122512
[startup+169.999 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 11188
Raw data (stat): 11188 (Pueblo) R 11187 7475 7474 0 -1 0 576822 0 0 0 15932 1069 0 0 25 0 1 0 832523261 130998272 30431 4294967295 134512640 134581331 3221224608 3221223520 134527513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31982 30431 566 18 0 31964 0
vsize: 127928
[startup+179.999 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 11188
Raw data (stat): 11188 (Pueblo) R 11187 7475 7474 0 -1 0 578172 0 0 0 16928 1073 0 0 25 0 1 0 832523261 136482816 31781 4294967295 134512640 134581331 3221224608 3221223520 134527778 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33321 31781 566 18 0 33303 0
vsize: 133284
[startup+190 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 11188
Raw data (stat): 11188 (Pueblo) R 11187 7475 7474 0 -1 0 579511 0 0 0 17924 1078 0 0 25 0 1 0 832523261 141991936 33120 4294967295 134512640 134581331 3221224608 3221223520 134527537 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34666 33120 566 18 0 34648 0
vsize: 138664
[startup+200.001 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 11188
Raw data (stat): 11188 (Pueblo) R 11187 7475 7474 0 -1 0 580861 0 0 0 18919 1082 0 0 25 0 1 0 832523261 147496960 34470 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36010 34470 566 18 0 35992 0
vsize: 144040
[startup+210.001 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 11188
Raw data (stat): 11188 (Pueblo) R 11187 7475 7474 0 -1 0 582184 0 0 0 19916 1086 0 0 25 0 1 0 832523261 152981504 35793 4294967295 134512640 134581331 3221224608 3221223520 134527434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37349 35793 566 18 0 37331 0
vsize: 149396
[startup+220.001 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 11188
Raw data (stat): 11188 (Pueblo) R 11187 7475 7474 0 -1 0 583516 0 0 0 20913 1089 0 0 25 0 1 0 832523261 158429184 37125 4294967295 134512640 134581331 3221224608 3221223520 134527513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38679 37125 566 18 0 38661 0
vsize: 154716
[startup+230.001 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 11188
Raw data (stat): 11188 (Pueblo) R 11187 7475 7474 0 -1 0 584838 0 0 0 21909 1093 0 0 25 0 1 0 832523261 163774464 38447 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39984 38447 566 18 0 39966 0
vsize: 159936
[startup+240.001 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 11188
Raw data (stat): 11188 (Pueblo) R 11187 7475 7474 0 -1 0 586194 0 0 0 22906 1097 0 0 25 0 1 0 832523261 169398272 39803 4294967295 134512640 134581331 3221224608 3221223472 134528289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41357 39803 566 18 0 41339 0
vsize: 165428
[startup+250.001 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 11188
Raw data (stat): 11188 (Pueblo) R 11187 7475 7474 0 -1 0 587517 0 0 0 23902 1101 0 0 25 0 1 0 832523261 174825472 41126 4294967295 134512640 134581331 3221224608 3221223472 134528287 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42682 41126 566 18 0 42664 0
vsize: 170728
[startup+260.001 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 11188
Raw data (stat): 11188 (Pueblo) R 11187 7475 7474 0 -1 0 588853 0 0 0 24898 1105 0 0 25 0 1 0 832523261 180215808 42462 4294967295 134512640 134581331 3221224608 3221223520 134527504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43998 42462 566 18 0 43980 0
vsize: 175992
[startup+270 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11188
Raw data (stat): 11188 (Pueblo) R 11187 7475 7474 0 -1 0 590187 0 0 0 25894 1109 0 0 25 0 1 0 832523261 185720832 43796 4294967295 134512640 134581331 3221224608 3221223520 134527440 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45342 43796 566 18 0 45324 0
vsize: 181368
[startup+280 s]
Raw data (loadavg): 1.07 0.97 0.91 2/54 11188
Raw data (stat): 11188 (Pueblo) R 11187 7475 7474 0 -1 0 591514 0 0 0 26891 1113 0 0 25 0 1 0 832523261 191209472 45123 4294967295 134512640 134581331 3221224608 3221223552 134560136 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46682 45123 566 18 0 46664 0
vsize: 186728
[startup+290 s]
Raw data (loadavg): 1.06 0.97 0.91 2/54 11188
Raw data (stat): 11188 (Pueblo) R 11187 7475 7474 0 -1 0 592841 0 0 0 27887 1117 0 0 25 0 1 0 832523261 196595712 46450 4294967295 134512640 134581331 3221224608 3221223472 134528261 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47997 46452 566 18 0 47979 0
vsize: 191988
[startup+300 s]
Raw data (loadavg): 1.05 0.97 0.91 2/54 11188
Raw data (stat): 11188 (Pueblo) R 11187 7475 7474 0 -1 0 594153 0 0 0 28884 1120 0 0 25 0 1 0 832523261 201957376 47762 4294967295 134512640 134581331 3221224608 3221223552 134560142 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49306 47762 566 18 0 49288 0
vsize: 197224
[startup+309.999 s]
Raw data (loadavg): 1.04 0.97 0.91 2/54 11188
Raw data (stat): 11188 (Pueblo) R 11187 7475 7474 0 -1 0 595465 0 0 0 29880 1124 0 0 25 0 1 0 832523261 207306752 49074 4294967295 134512640 134581331 3221224608 3221223520 134527451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50612 49074 566 18 0 50594 0
vsize: 202448
[startup+319.999 s]
Raw data (loadavg): 1.03 0.97 0.91 2/54 11188
Raw data (stat): 11188 (Pueblo) R 11187 7475 7474 0 -1 0 596772 0 0 0 30877 1127 0 0 25 0 1 0 832523261 212647936 50381 4294967295 134512640 134581331 3221224608 3221223520 134527778 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51916 50381 566 18 0 51898 0
vsize: 207664
[startup+329.999 s]
Raw data (loadavg): 1.03 0.97 0.91 2/54 11188
Raw data (stat): 11188 (Pueblo) R 11187 7475 7474 0 -1 0 598116 0 0 0 31872 1132 0 0 25 0 1 0 832523261 218230784 51725 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53279 51725 566 18 0 53261 0
vsize: 213116
[startup+339.999 s]
Raw data (loadavg): 1.02 0.97 0.91 2/54 11188
Raw data (stat): 11188 (Pueblo) R 11187 7475 7474 0 -1 0 599417 0 0 0 32869 1136 0 0 25 0 1 0 832523261 223453184 53026 4294967295 134512640 134581331 3221224608 3221223552 134560143 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54554 53026 566 18 0 54536 0
vsize: 218216
[startup+349.999 s]
Raw data (loadavg): 1.02 0.97 0.91 2/54 11188
Raw data (stat): 11188 (Pueblo) R 11187 7475 7474 0 -1 0 600739 0 0 0 33866 1139 0 0 25 0 1 0 832523261 228876288 54348 4294967295 134512640 134581331 3221224608 3221223488 134520439 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55878 54348 566 18 0 55860 0
vsize: 223512
[startup+359.999 s]
Raw data (loadavg): 1.02 0.97 0.91 2/54 11188
Raw data (stat): 11188 (Pueblo) R 11187 7475 7474 0 -1 0 601921 0 0 0 34862 1142 0 0 25 0 1 0 832523261 233816064 55530 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57084 55530 566 18 0 57066 0
vsize: 228336
[startup+369.999 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 11188
Raw data (stat): 11188 (Pueblo) R 11187 7475 7474 0 -1 0 601921 0 0 0 35862 1142 0 0 25 0 1 0 832523261 233816064 55530 4294967295 134512640 134581331 3221224608 3221223520 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57084 55530 566 18 0 57066 0
vsize: 228336
[startup+380 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 11188
Raw data (stat): 11188 (Pueblo) R 11187 7475 7474 0 -1 0 601921 0 0 0 36862 1142 0 0 25 0 1 0 832523261 233816064 55530 4294967295 134512640 134581331 3221224608 3221223520 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57084 55530 566 18 0 57066 0
vsize: 228336
[startup+390 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 11188
Raw data (stat): 11188 (Pueblo) R 11187 7475 7474 0 -1 0 601921 0 0 0 37863 1142 0 0 25 0 1 0 832523261 233816064 55530 4294967295 134512640 134581331 3221224608 3221223424 134531793 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57084 55530 566 18 0 57066 0
vsize: 228336
[startup+400 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 11188
Raw data (stat): 11188 (Pueblo) R 11187 7475 7474 0 -1 0 601921 0 0 0 38863 1143 0 0 25 0 1 0 832523261 233816064 55530 4294967295 134512640 134581331 3221224608 3221223520 134527539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57084 55530 566 18 0 57066 0
vsize: 228336
[startup+410.001 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11188
Raw data (stat): 11188 (Pueblo) R 11187 7475 7474 0 -1 0 601921 0 0 0 39863 1143 0 0 25 0 1 0 832523261 233816064 55530 4294967295 134512640 134581331 3221224608 3221223520 134527783 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57084 55530 566 18 0 57066 0
vsize: 228336
[startup+420 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11188
Raw data (stat): 11188 (Pueblo) R 11187 7475 7474 0 -1 0 601921 0 0 0 40863 1143 0 0 25 0 1 0 832523261 233816064 55530 4294967295 134512640 134581331 3221224608 3221223520 134527537 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57084 55530 566 18 0 57066 0
vsize: 228336
[startup+430 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11188
Raw data (stat): 11188 (Pueblo) R 11187 7475 7474 0 -1 0 601921 0 0 0 41863 1143 0 0 25 0 1 0 832523261 233816064 55530 4294967295 134512640 134581331 3221224608 3221223504 134517737 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57084 55530 566 18 0 57066 0
vsize: 228336
[startup+440.002 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11188
Raw data (stat): 11188 (Pueblo) R 11187 7475 7474 0 -1 0 601921 0 0 0 42864 1143 0 0 25 0 1 0 832523261 233816064 55530 4294967295 134512640 134581331 3221224608 3221223520 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57084 55530 566 18 0 57066 0
vsize: 228336
[startup+450.001 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11188
Raw data (stat): 11188 (Pueblo) R 11187 7475 7474 0 -1 0 601921 0 0 0 43864 1143 0 0 25 0 1 0 832523261 233816064 55530 4294967295 134512640 134581331 3221224608 3221223384 1075291637 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57084 55530 566 18 0 57066 0
vsize: 228336
[startup+460 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11188
Raw data (stat): 11188 (Pueblo) R 11187 7475 7474 0 -1 0 601921 0 0 0 44864 1143 0 0 25 0 1 0 832523261 233816064 55530 4294967295 134512640 134581331 3221224608 3221223536 134520084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57084 55530 566 18 0 57066 0
vsize: 228336
[startup+470 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11188
Raw data (stat): 11188 (Pueblo) R 11187 7475 7474 0 -1 0 601921 0 0 0 45864 1143 0 0 25 0 1 0 832523261 233816064 55530 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57084 55530 566 18 0 57066 0
vsize: 228336
[startup+480 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11188
Raw data (stat): 11188 (Pueblo) R 11187 7475 7474 0 -1 0 601921 0 0 0 46864 1143 0 0 25 0 1 0 832523261 233816064 55530 4294967295 134512640 134581331 3221224608 3221223520 134528088 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57084 55530 566 18 0 57066 0
vsize: 228336
[startup+490 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11188
Raw data (stat): 11188 (Pueblo) R 11187 7475 7474 0 -1 0 601921 0 0 0 47864 1143 0 0 25 0 1 0 832523261 233816064 55530 4294967295 134512640 134581331 3221224608 3221223520 134527513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57084 55530 566 18 0 57066 0
vsize: 228336
[startup+500 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11188
Raw data (stat): 11188 (Pueblo) R 11187 7475 7474 0 -1 0 601921 0 0 0 48865 1143 0 0 25 0 1 0 832523261 233816064 55530 4294967295 134512640 134581331 3221224608 3221223520 134527451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57084 55530 566 18 0 57066 0
vsize: 228336
[startup+510 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11188
Raw data (stat): 11188 (Pueblo) R 11187 7475 7474 0 -1 0 601921 0 0 0 49865 1143 0 0 25 0 1 0 832523261 233816064 55530 4294967295 134512640 134581331 3221224608 3221223552 134560142 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57084 55530 566 18 0 57066 0
vsize: 228336
[startup+520 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11188
Raw data (stat): 11188 (Pueblo) R 11187 7475 7474 0 -1 0 601921 0 0 0 50865 1143 0 0 25 0 1 0 832523261 233816064 55530 4294967295 134512640 134581331 3221224608 3221223520 134527980 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57084 55530 566 18 0 57066 0
vsize: 228336
[startup+530.001 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11188
Raw data (stat): 11188 (Pueblo) R 11187 7475 7474 0 -1 0 601921 0 0 0 51865 1143 0 0 25 0 1 0 832523261 233816064 55530 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57084 55530 566 18 0 57066 0
vsize: 228336
[startup+540.001 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11188
Raw data (stat): 11188 (Pueblo) R 11187 7475 7474 0 -1 0 601921 0 0 0 52865 1143 0 0 25 0 1 0 832523261 233816064 55530 4294967295 134512640 134581331 3221224608 3221223472 134528378 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57084 55530 566 18 0 57066 0
vsize: 228336
[startup+550.001 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11188
Raw data (stat): 11188 (Pueblo) R 11187 7475 7474 0 -1 0 601921 0 0 0 53866 1143 0 0 25 0 1 0 832523261 233816064 55530 4294967295 134512640 134581331 3221224608 3221223520 134527513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57084 55530 566 18 0 57066 0
vsize: 228336
[startup+560.001 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11188
Raw data (stat): 11188 (Pueblo) R 11187 7475 7474 0 -1 0 601921 0 0 0 54866 1143 0 0 25 0 1 0 832523261 233816064 55530 4294967295 134512640 134581331 3221224608 3221223520 134527504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57084 55530 566 18 0 57066 0
vsize: 228336
[startup+570.001 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11188
Raw data (stat): 11188 (Pueblo) R 11187 7475 7474 0 -1 0 603053 0 0 0 55862 1147 0 0 25 0 1 0 832523261 238444544 56662 4294967295 134512640 134581331 3221224608 3221223552 134560142 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58214 56662 566 18 0 58196 0
vsize: 232856
[startup+580.001 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11188
Raw data (stat): 11188 (Pueblo) R 11187 7475 7474 0 -1 0 603671 0 0 0 56861 1148 0 0 25 0 1 0 832523261 240975872 57280 4294967295 134512640 134581331 3221224608 3221223520 134527434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58832 57280 566 18 0 58814 0
vsize: 235328
[startup+590.001 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11188
Raw data (stat): 11188 (Pueblo) R 11187 7475 7474 0 -1 0 603671 0 0 0 57861 1148 0 0 25 0 1 0 832523261 240975872 57280 4294967295 134512640 134581331 3221224608 3221223520 134527451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58832 57280 566 18 0 58814 0
vsize: 235328
[startup+600.001 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11188
Raw data (stat): 11188 (Pueblo) R 11187 7475 7474 0 -1 0 603671 0 0 0 58861 1148 0 0 25 0 1 0 832523261 240975872 57280 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58832 57280 566 18 0 58814 0
vsize: 235328
[startup+610.001 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11188
Raw data (stat): 11188 (Pueblo) R 11187 7475 7474 0 -1 0 603671 0 0 0 59861 1148 0 0 25 0 1 0 832523261 240975872 57280 4294967295 134512640 134581331 3221224608 3221223552 134560142 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58832 57280 566 18 0 58814 0
vsize: 235328
[startup+620.001 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11188
Raw data (stat): 11188 (Pueblo) R 11187 7475 7474 0 -1 0 603671 0 0 0 60861 1148 0 0 25 0 1 0 832523261 240975872 57280 4294967295 134512640 134581331 3221224608 3221223520 134528088 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58832 57280 566 18 0 58814 0
vsize: 235328
[startup+630 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11188
Raw data (stat): 11188 (Pueblo) R 11187 7475 7474 0 -1 0 603671 0 0 0 61861 1148 0 0 25 0 1 0 832523261 240975872 57280 4294967295 134512640 134581331 3221224608 3221223552 134558819 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58832 57280 566 18 0 58814 0
vsize: 235328
[startup+640.001 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11188
Raw data (stat): 11188 (Pueblo) R 11187 7475 7474 0 -1 0 603671 0 0 0 62862 1148 0 0 25 0 1 0 832523261 240975872 57280 4294967295 134512640 134581331 3221224608 3221223520 134527695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58832 57280 566 18 0 58814 0
vsize: 235328
[startup+650.001 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11188
Raw data (stat): 11188 (Pueblo) R 11187 7475 7474 0 -1 0 603671 0 0 0 63862 1149 0 0 25 0 1 0 832523261 240975872 57280 4294967295 134512640 134581331 3221224608 3221223552 134558842 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58832 57280 566 18 0 58814 0
vsize: 235328
[startup+660 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11188
Raw data (stat): 11188 (Pueblo) R 11187 7475 7474 0 -1 0 603671 0 0 0 64862 1149 0 0 25 0 1 0 832523261 240975872 57280 4294967295 134512640 134581331 3221224608 3221223552 134560142 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58832 57280 566 18 0 58814 0
vsize: 235328
[startup+670 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11188
Raw data (stat): 11188 (Pueblo) R 11187 7475 7474 0 -1 0 603671 0 0 0 65862 1149 0 0 25 0 1 0 832523261 240975872 57280 4294967295 134512640 134581331 3221224608 3221223552 134558828 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58832 57280 566 18 0 58814 0
vsize: 235328
[startup+680 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11188
Raw data (stat): 11188 (Pueblo) R 11187 7475 7474 0 -1 0 603671 0 0 0 66862 1149 0 0 25 0 1 0 832523261 240975872 57280 4294967295 134512640 134581331 3221224608 3221223552 134560149 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58832 57280 566 18 0 58814 0
vsize: 235328
[startup+690 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11188
Raw data (stat): 11188 (Pueblo) R 11187 7475 7474 0 -1 0 603671 0 0 0 67862 1149 0 0 25 0 1 0 832523261 240975872 57280 4294967295 134512640 134581331 3221224608 3221223520 134527410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58832 57280 566 18 0 58814 0
vsize: 235328
[startup+700 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11188
Raw data (stat): 11188 (Pueblo) R 11187 7475 7474 0 -1 0 603671 0 0 0 68862 1149 0 0 25 0 1 0 832523261 240975872 57280 4294967295 134512640 134581331 3221224608 3221223520 134528085 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58832 57280 566 18 0 58814 0
vsize: 235328
[startup+710 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11188
Raw data (stat): 11188 (Pueblo) R 11187 7475 7474 0 -1 0 603671 0 0 0 69862 1149 0 0 25 0 1 0 832523261 240975872 57280 4294967295 134512640 134581331 3221224608 3221223520 134528072 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58832 57280 566 18 0 58814 0
vsize: 235328
[startup+720 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11188
Raw data (stat): 11188 (Pueblo) R 11187 7475 7474 0 -1 0 603671 0 0 0 70863 1149 0 0 25 0 1 0 832523261 240975872 57280 4294967295 134512640 134581331 3221224608 3221223536 134520084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58832 57280 566 18 0 58814 0
vsize: 235328
[startup+730 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11188
Raw data (stat): 11188 (Pueblo) R 11187 7475 7474 0 -1 0 603671 0 0 0 71863 1149 0 0 25 0 1 0 832523261 240975872 57280 4294967295 134512640 134581331 3221224608 3221223472 134528261 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58832 57280 566 18 0 58814 0
vsize: 235328
[startup+739.999 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11188
Raw data (stat): 11188 (Pueblo) R 11187 7475 7474 0 -1 0 603671 0 0 0 72863 1149 0 0 25 0 1 0 832523261 240975872 57280 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58832 57280 566 18 0 58814 0
vsize: 235328
[startup+749.999 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11188
Raw data (stat): 11188 (Pueblo) R 11187 7475 7474 0 -1 0 603671 0 0 0 73863 1149 0 0 25 0 1 0 832523261 240975872 57280 4294967295 134512640 134581331 3221224608 3221223520 134527459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58832 57280 566 18 0 58814 0
vsize: 235328
[startup+759.998 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11188
Raw data (stat): 11188 (Pueblo) R 11187 7475 7474 0 -1 0 603671 0 0 0 74863 1149 0 0 25 0 1 0 832523261 240975872 57280 4294967295 134512640 134581331 3221224608 3221223520 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58832 57280 566 18 0 58814 0
vsize: 235328
[startup+769.998 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11188
Raw data (stat): 11188 (Pueblo) R 11187 7475 7474 0 -1 0 603671 0 0 0 75863 1149 0 0 25 0 1 0 832523261 240975872 57280 4294967295 134512640 134581331 3221224608 3221223520 134528079 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58832 57280 566 18 0 58814 0
vsize: 235328
[startup+779.997 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11188
Raw data (stat): 11188 (Pueblo) R 11187 7475 7474 0 -1 0 603671 0 0 0 76863 1149 0 0 25 0 1 0 832523261 240975872 57280 4294967295 134512640 134581331 3221224608 3221223520 134527442 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58832 57280 566 18 0 58814 0
vsize: 235328
[startup+789.997 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11241
Raw data (stat): 11188 (Pueblo) R 11187 7475 7474 0 -1 0 603671 0 0 0 77862 1150 0 0 25 0 1 0 832523261 240975872 57280 4294967295 134512640 134581331 3221224608 3221223520 134527504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58832 57280 566 18 0 58814 0
vsize: 235328
[startup+799.997 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11241
Raw data (stat): 11188 (Pueblo) R 11187 7475 7474 0 -1 0 603671 0 0 0 78862 1150 0 0 25 0 1 0 832523261 232697856 55286 4294967295 134512640 134581331 3221224608 3221223552 134560143 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56811 55286 566 18 0 56793 0
vsize: 227244
[startup+809.997 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11241
Raw data (stat): 11188 (Pueblo) R 11187 7475 7474 0 -1 0 603671 0 0 0 79862 1150 0 0 25 0 1 0 832523261 232697856 55286 4294967295 134512640 134581331 3221224608 3221223552 134559064 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56811 55286 566 18 0 56793 0
vsize: 227244
[startup+819.997 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11241
Raw data (stat): 11188 (Pueblo) R 11187 7475 7474 0 -1 0 603671 0 0 0 80862 1150 0 0 25 0 1 0 832523261 232697856 55286 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56811 55286 566 18 0 56793 0
vsize: 227244
[startup+829.996 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11241
Raw data (stat): 11188 (Pueblo) R 11187 7475 7474 0 -1 0 603671 0 0 0 81862 1150 0 0 25 0 1 0 832523261 232697856 55286 4294967295 134512640 134581331 3221224608 3221223552 134560149 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56811 55286 566 18 0 56793 0
vsize: 227244
[startup+839.996 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11241
Raw data (stat): 11188 (Pueblo) R 11187 7475 7474 0 -1 0 603671 0 0 0 82863 1150 0 0 25 0 1 0 832523261 232697856 55286 4294967295 134512640 134581331 3221224608 3221223552 134560142 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56811 55286 566 18 0 56793 0
vsize: 227244
[startup+849.996 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11243
Raw data (stat): 11188 (Pueblo) R 11187 7475 7474 0 -1 0 603671 0 0 0 83863 1150 0 0 25 0 1 0 832523261 232697856 55286 4294967295 134512640 134581331 3221224608 3221223472 134528381 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56811 55286 566 18 0 56793 0
vsize: 227244
[startup+859.996 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11243
Raw data (stat): 11188 (Pueblo) R 11187 7475 7474 0 -1 0 603671 0 0 0 84863 1150 0 0 25 0 1 0 832523261 232697856 55286 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56811 55286 566 18 0 56793 0
vsize: 227244
[startup+869.995 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11243
Raw data (stat): 11188 (Pueblo) R 11187 7475 7474 0 -1 0 603671 0 0 0 85863 1150 0 0 25 0 1 0 832523261 232697856 55286 4294967295 134512640 134581331 3221224608 3221223520 134528088 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56811 55286 566 18 0 56793 0
vsize: 227244
[startup+879.995 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11243
Raw data (stat): 11188 (Pueblo) R 11187 7475 7474 0 -1 0 603671 0 0 0 86863 1150 0 0 25 0 1 0 832523261 232697856 55286 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56811 55286 566 18 0 56793 0
vsize: 227244
[startup+889.994 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11243
Raw data (stat): 11188 (Pueblo) R 11187 7475 7474 0 -1 0 603671 0 0 0 87863 1150 0 0 25 0 1 0 832523261 232697856 55286 4294967295 134512640 134581331 3221224608 3221223552 134560142 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56811 55286 566 18 0 56793 0
vsize: 227244
[startup+899.994 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11243
Raw data (stat): 11188 (Pueblo) R 11187 7475 7474 0 -1 0 603671 0 0 0 88863 1150 0 0 25 0 1 0 832523261 232697856 55286 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56811 55286 566 18 0 56793 0
vsize: 227244
[startup+909.993 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11243
Raw data (stat): 11188 (Pueblo) R 11187 7475 7474 0 -1 0 603671 0 0 0 89863 1150 0 0 25 0 1 0 832523261 232697856 55286 4294967295 134512640 134581331 3221224608 3221223472 134528344 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56811 55286 566 18 0 56793 0
vsize: 227244
[startup+919.993 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11243
Raw data (stat): 11188 (Pueblo) R 11187 7475 7474 0 -1 0 603671 0 0 0 90863 1150 0 0 25 0 1 0 832523261 232697856 55286 4294967295 134512640 134581331 3221224608 3221223552 134560143 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56811 55286 566 18 0 56793 0
vsize: 227244
[startup+929.992 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11243
Raw data (stat): 11188 (Pueblo) R 11187 7475 7474 0 -1 0 603671 0 0 0 91864 1150 0 0 25 0 1 0 832523261 232697856 55286 4294967295 134512640 134581331 3221224608 3221223472 134528258 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56811 55286 566 18 0 56793 0
vsize: 227244
[startup+939.992 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11243
Raw data (stat): 11188 (Pueblo) R 11187 7475 7474 0 -1 0 603671 0 0 0 92864 1150 0 0 25 0 1 0 832523261 232697856 55286 4294967295 134512640 134581331 3221224608 3221223552 134560143 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56811 55286 566 18 0 56793 0
vsize: 227244
[startup+949.992 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11243
Raw data (stat): 11188 (Pueblo) R 11187 7475 7474 0 -1 0 603671 0 0 0 93864 1150 0 0 25 0 1 0 832523261 232697856 55286 4294967295 134512640 134581331 3221224608 3221223520 134527442 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56811 55286 566 18 0 56793 0
vsize: 227244
[startup+959.991 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11243
Raw data (stat): 11188 (Pueblo) R 11187 7475 7474 0 -1 0 603671 0 0 0 94864 1150 0 0 25 0 1 0 832523261 232697856 55286 4294967295 134512640 134581331 3221224608 3221223552 134560149 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56811 55286 566 18 0 56793 0
vsize: 227244
[startup+969.991 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11243
Raw data (stat): 11188 (Pueblo) R 11187 7475 7474 0 -1 0 603671 0 0 0 95864 1150 0 0 25 0 1 0 832523261 232697856 55286 4294967295 134512640 134581331 3221224608 3221223552 134560143 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56811 55286 566 18 0 56793 0
vsize: 227244
[startup+979.991 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11243
Raw data (stat): 11188 (Pueblo) R 11187 7475 7474 0 -1 0 603671 0 0 0 96864 1150 0 0 25 0 1 0 832523261 232697856 55286 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56811 55286 566 18 0 56793 0
vsize: 227244
[startup+989.991 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11243
Raw data (stat): 11188 (Pueblo) R 11187 7475 7474 0 -1 0 603671 0 0 0 97865 1150 0 0 25 0 1 0 832523261 232697856 55286 4294967295 134512640 134581331 3221224608 3221223600 134561059 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56811 55286 566 18 0 56793 0
vsize: 227244
[startup+999.991 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11243
Raw data (stat): 11188 (Pueblo) R 11187 7475 7474 0 -1 0 603671 0 0 0 98865 1151 0 0 25 0 1 0 832523261 232697856 55286 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56811 55286 566 18 0 56793 0
vsize: 227244
[startup+1009.99 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11243
Raw data (stat): 11188 (Pueblo) R 11187 7475 7474 0 -1 0 603671 0 0 0 99865 1151 0 0 25 0 1 0 832523261 232697856 55286 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56811 55286 566 18 0 56793 0
vsize: 227244
[startup+1019.99 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11243
Raw data (stat): 11188 (Pueblo) R 11187 7475 7474 0 -1 0 603671 0 0 0 100865 1151 0 0 25 0 1 0 832523261 232697856 55286 4294967295 134512640 134581331 3221224608 3221223536 134519952 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56811 55286 566 18 0 56793 0
vsize: 227244
[startup+1029.99 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11243
Raw data (stat): 11188 (Pueblo) R 11187 7475 7474 0 -1 0 603671 0 0 0 101865 1151 0 0 25 0 1 0 832523261 232697856 55286 4294967295 134512640 134581331 3221224608 3221223472 134528272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56811 55286 566 18 0 56793 0
vsize: 227244
[startup+1039.99 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11243
Raw data (stat): 11188 (Pueblo) R 11187 7475 7474 0 -1 0 603671 0 0 0 102865 1151 0 0 25 0 1 0 832523261 232697856 55286 4294967295 134512640 134581331 3221224608 3221223552 134560142 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56811 55286 566 18 0 56793 0
vsize: 227244
[startup+1049.99 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11243
Raw data (stat): 11188 (Pueblo) R 11187 7475 7474 0 -1 0 603671 0 0 0 103865 1151 0 0 25 0 1 0 832523261 232697856 55286 4294967295 134512640 134581331 3221224608 3221223472 134528261 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56811 55286 566 18 0 56793 0
vsize: 227244
[startup+1059.99 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11243
Raw data (stat): 11188 (Pueblo) R 11187 7475 7474 0 -1 0 603671 0 0 0 104866 1151 0 0 25 0 1 0 832523261 232697856 55286 4294967295 134512640 134581331 3221224608 3221223392 134528782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56811 55286 566 18 0 56793 0
vsize: 227244
[startup+1069.99 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11243
Raw data (stat): 11188 (Pueblo) R 11187 7475 7474 0 -1 0 603671 0 0 0 105866 1151 0 0 25 0 1 0 832523261 232697856 55286 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56811 55286 566 18 0 56793 0
vsize: 227244
[startup+1079.99 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11243
Raw data (stat): 11188 (Pueblo) R 11187 7475 7474 0 -1 0 603671 0 0 0 106866 1151 0 0 25 0 1 0 832523261 232697856 55286 4294967295 134512640 134581331 3221224608 3221223520 134527537 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56811 55286 566 18 0 56793 0
vsize: 227244
[startup+1089.99 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11243
Raw data (stat): 11188 (Pueblo) R 11187 7475 7474 0 -1 0 603671 0 0 0 107866 1151 0 0 25 0 1 0 832523261 232697856 55286 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56811 55286 566 18 0 56793 0
vsize: 227244
[startup+1099.99 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11243
Raw data (stat): 11188 (Pueblo) R 11187 7475 7474 0 -1 0 603671 0 0 0 108866 1151 0 0 25 0 1 0 832523261 232697856 55286 4294967295 134512640 134581331 3221224608 3221223504 134517764 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56811 55286 566 18 0 56793 0
vsize: 227244
[startup+1109.99 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11243
Raw data (stat): 11188 (Pueblo) R 11187 7475 7474 0 -1 0 603671 0 0 0 109866 1151 0 0 25 0 1 0 832523261 232697856 55286 4294967295 134512640 134581331 3221224608 3221223520 134528072 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56811 55286 566 18 0 56793 0
vsize: 227244
[startup+1119.99 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11243
Raw data (stat): 11188 (Pueblo) R 11187 7475 7474 0 -1 0 603671 0 0 0 110867 1151 0 0 25 0 1 0 832523261 232697856 55286 4294967295 134512640 134581331 3221224608 3221223472 134528289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56811 55286 566 18 0 56793 0
vsize: 227244
[startup+1129.99 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11243
Raw data (stat): 11188 (Pueblo) R 11187 7475 7474 0 -1 0 603671 0 0 0 111867 1151 0 0 25 0 1 0 832523261 232697856 55286 4294967295 134512640 134581331 3221224608 3221223392 134528763 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56811 55286 566 18 0 56793 0
vsize: 227244
[startup+1139.99 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11243
Raw data (stat): 11188 (Pueblo) R 11187 7475 7474 0 -1 0 603671 0 0 0 112867 1151 0 0 25 0 1 0 832523261 232697856 55286 4294967295 134512640 134581331 3221224608 3221223472 134528261 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56811 55286 566 18 0 56793 0
vsize: 227244
[startup+1149.99 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11245
Raw data (stat): 11188 (Pueblo) R 11187 7475 7474 0 -1 0 603671 0 0 0 113867 1151 0 0 25 0 1 0 832523261 232697856 55286 4294967295 134512640 134581331 3221224608 3221223520 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56811 55286 566 18 0 56793 0
vsize: 227244
[startup+1159.99 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11245
Raw data (stat): 11188 (Pueblo) R 11187 7475 7474 0 -1 0 603671 0 0 0 114867 1151 0 0 25 0 1 0 832523261 232697856 55286 4294967295 134512640 134581331 3221224608 3221223536 134519947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56811 55286 566 18 0 56793 0
vsize: 227244
[startup+1169.99 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11245
Raw data (stat): 11188 (Pueblo) R 11187 7475 7474 0 -1 0 603671 0 0 0 115867 1151 0 0 25 0 1 0 832523261 232697856 55286 4294967295 134512640 134581331 3221224608 3221223520 134528079 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56811 55286 566 18 0 56793 0
vsize: 227244
[startup+1179.99 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11245
Raw data (stat): 11188 (Pueblo) R 11187 7475 7474 0 -1 0 603671 0 0 0 116867 1151 0 0 25 0 1 0 832523261 232697856 55286 4294967295 134512640 134581331 3221224608 3221223472 134528425 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56811 55286 566 18 0 56793 0
vsize: 227244
[startup+1189.99 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11245
Raw data (stat): 11188 (Pueblo) R 11187 7475 7474 0 -1 0 603671 0 0 0 117867 1151 0 0 25 0 1 0 832523261 232697856 55286 4294967295 134512640 134581331 3221224608 3221223520 134527531 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56811 55286 566 18 0 56793 0
vsize: 227244
[startup+1199.99 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 11245
Raw data (stat): 11188 (Pueblo) R 11187 7475 7474 0 -1 0 603671 0 0 0 118867 1151 0 0 25 0 1 0 832523261 232697856 55286 4294967295 134512640 134581331 3221224608 3221223504 134517900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56811 55286 566 18 0 56793 0
vsize: 227244
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.09 s]
Raw data (loadavg): 1.00 0.97 0.91 1/54 11245
Raw data (stat): 11188 (Pueblo) Z 11187 7475 7474 0 -1 1036 603671 0 0 0 118867 1162 0 0 25 0 1 0 832523261 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.09
CPU time (s): 1200.3
CPU user time (s): 1188.68
CPU system time (s): 11.6202
CPU usage (%): 100.017
Max. virtual memory (Kb): 235328
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####