PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-dano3mip.opb
MD5SUM	b6a39917c8daf46435ad718b26e9c6f0
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	20
Biggest coefficient in the objective function	524288
Number of bits for the biggest coefficient in the objective function	20
Sum of the numbers in the objective function	1048575
Number of bits of the sum of numbers in the objective function	20
Biggest number in a constraint	65536000
Number of bits of the biggest number in a constraint	26
Biggest sum of numbers in a constraint	555744750
Number of bits of the biggest sum of numbers	30
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	266924
Total number of constraints	3778
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	600
Number of constraints which are nor clauses,nor cardinality constraints	3178
Minimum length of a constraint	1
Maximum length of a constraint	10600
Trace number 27335

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc7 THE 2005-05-24 21:02:47 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=17492 boxname=wulflinc7 idbench=1346 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  b6a39917c8daf46435ad718b26e9c6f0  /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-13-7-dano3mip.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-13-7-dano3mip.opb
IDLAUNCH: 17492
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.050
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.050
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:        594004 kB
Buffers:         35564 kB
Cached:         383420 kB
SwapCached:        100 kB
Active:         101600 kB
Inactive:       320116 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        593752 kB
SwapTotal:     2097136 kB
SwapFree:      2096820 kB
Dirty:              36 kB
Writeback:           0 kB
Mapped:           6740 kB
Slab:            13264 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 21:22:50 (client local time) WITH STATUS 0 IN 1200.3 SECONDS
stats: 17492 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.86 0.97 0.91 2/54 31010
Raw data (stat): 31010 (runsolver) R 31009 24300 24299 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 775112660 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.88 0.97 0.91 2/54 31010
Raw data (stat): 31010 (Pueblo) R 31009 24300 24299 0 -1 0 7673 0 0 0 978 21 0 0 25 0 1 0 775112660 37117952 7652 4294967295 134512640 134581331 3221224592 3217028856 1075245138 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9062 7652 566 18 0 9044 0
vsize: 36248
[startup+20.0011 s]
Raw data (loadavg): 0.90 0.97 0.91 2/54 31010
Raw data (stat): 31010 (Pueblo) R 31009 24300 24299 0 -1 0 10534 0 0 0 1966 33 0 0 25 0 1 0 775112660 48578560 10513 4294967295 134512640 134581331 3221224592 3217028828 1075310610 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11860 10513 566 18 0 11842 0
vsize: 47440
[startup+30.0019 s]
Raw data (loadavg): 0.91 0.97 0.91 2/54 31010
Raw data (stat): 31010 (Pueblo) R 31009 24300 24299 0 -1 0 193196 0 0 0 2567 432 0 0 25 0 1 0 775112660 101888000 17513 4294967295 134512640 134581331 3221224592 3221223584 134531726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24875 17513 566 18 0 24857 0
vsize: 99500
[startup+40.0025 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 31010
Raw data (stat): 31010 (Pueblo) R 31009 24300 24299 0 -1 0 451126 0 0 0 3017 982 0 0 25 0 1 0 775112660 115568640 20968 4294967295 134512640 134581331 3221224592 3221223584 134531726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28215 20968 566 18 0 28197 0
vsize: 112860
[startup+50.0041 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 31010
Raw data (stat): 31010 (Pueblo) R 31009 24300 24299 0 -1 0 724925 0 0 0 3434 1565 0 0 25 0 1 0 775112660 123383808 22805 4294967295 134512640 134581331 3221224592 3221223584 134531726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30123 22805 566 18 0 30105 0
vsize: 120492
[startup+60.0048 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 31010
Raw data (stat): 31010 (Pueblo) R 31009 24300 24299 0 -1 0 1000094 0 0 0 3859 2141 0 0 25 0 1 0 775112660 129806336 24446 4294967295 134512640 134581331 3221224592 3221223584 134531726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31691 24446 566 18 0 31673 0
vsize: 126764
[startup+70.0044 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 31010
Raw data (stat): 31010 (Pueblo) R 31009 24300 24299 0 -1 0 1250972 0 0 0 4322 2678 0 0 25 0 1 0 775112660 157548544 31028 4294967295 134512640 134581331 3221224592 3221223584 134531726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38464 31028 566 18 0 38446 0
vsize: 153856
[startup+80.0049 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 31010
Raw data (stat): 31010 (Pueblo) R 31009 24300 24299 0 -1 0 1337658 0 0 0 5142 2857 0 0 25 0 1 0 775112660 158928896 31584 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38801 31584 566 18 0 38783 0
vsize: 155204
[startup+90.0046 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 31010
Raw data (stat): 31010 (Pueblo) R 31009 24300 24299 0 -1 0 1337658 0 0 0 6142 2858 0 0 25 0 1 0 775112660 158928896 31584 4294967295 134512640 134581331 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38801 31584 566 18 0 38783 0
vsize: 155204
[startup+100.005 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 31010
Raw data (stat): 31010 (Pueblo) R 31009 24300 24299 0 -1 0 1337658 0 0 0 7142 2858 0 0 25 0 1 0 775112660 158928896 31584 4294967295 134512640 134581331 3221224592 3221223504 134527445 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38801 31584 566 18 0 38783 0
vsize: 155204
[startup+110.006 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 31010
Raw data (stat): 31010 (Pueblo) R 31009 24300 24299 0 -1 0 1337658 0 0 0 8142 2858 0 0 25 0 1 0 775112660 158928896 31584 4294967295 134512640 134581331 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38801 31584 566 18 0 38783 0
vsize: 155204
[startup+120.006 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 31010
Raw data (stat): 31010 (Pueblo) R 31009 24300 24299 0 -1 0 1337668 0 0 0 9142 2859 0 0 25 0 1 0 775112660 158928896 31594 4294967295 134512640 134581331 3221224592 3221223456 134528287 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38801 31594 566 18 0 38783 0
vsize: 155204
[startup+130.006 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 31010
Raw data (stat): 31010 (Pueblo) R 31009 24300 24299 0 -1 0 1337668 0 0 0 10141 2859 0 0 25 0 1 0 775112660 158928896 31594 4294967295 134512640 134581331 3221224592 3221223488 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38801 31594 566 18 0 38783 0
vsize: 155204
[startup+140.007 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 31010
Raw data (stat): 31010 (Pueblo) R 31009 24300 24299 0 -1 0 1337668 0 0 0 11141 2860 0 0 25 0 1 0 775112660 158928896 31594 4294967295 134512640 134581331 3221224592 3221223536 134560136 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38801 31594 566 18 0 38783 0
vsize: 155204
[startup+150.008 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 31010
Raw data (stat): 31010 (Pueblo) R 31009 24300 24299 0 -1 0 1337668 0 0 0 12141 2860 0 0 25 0 1 0 775112660 158928896 31594 4294967295 134512640 134581331 3221224592 3221223504 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38801 31594 566 18 0 38783 0
vsize: 155204
[startup+160.009 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 31010
Raw data (stat): 31010 (Pueblo) R 31009 24300 24299 0 -1 0 1337668 0 0 0 13141 2860 0 0 25 0 1 0 775112660 158928896 31594 4294967295 134512640 134581331 3221224592 3221223504 134527701 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38801 31594 566 18 0 38783 0
vsize: 155204
[startup+170.01 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 31010
Raw data (stat): 31010 (Pueblo) R 31009 24300 24299 0 -1 0 1337817 0 0 0 14140 2861 0 0 25 0 1 0 775112660 159461376 31743 4294967295 134512640 134581331 3221224592 3221223456 134528272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38931 31743 566 18 0 38913 0
vsize: 155724
[startup+180.012 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 31010
Raw data (stat): 31010 (Pueblo) R 31009 24300 24299 0 -1 0 1338055 0 0 0 15139 2863 0 0 25 0 1 0 775112660 160518144 31981 4294967295 134512640 134581331 3221224592 3221223536 134560142 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39189 31981 566 18 0 39171 0
vsize: 156756
[startup+190.013 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 31010
Raw data (stat): 31010 (Pueblo) R 31009 24300 24299 0 -1 0 1338200 0 0 0 16138 2864 0 0 25 0 1 0 775112660 161034240 32126 4294967295 134512640 134581331 3221224592 3221223504 134528088 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39315 32126 566 18 0 39297 0
vsize: 157260
[startup+200.014 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 31010
Raw data (stat): 31010 (Pueblo) R 31009 24300 24299 0 -1 0 1338288 0 0 0 17138 2864 0 0 25 0 1 0 775112660 161415168 32214 4294967295 134512640 134581331 3221224592 3221223456 134560421 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39408 32214 566 18 0 39390 0
vsize: 157632
[startup+210.014 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 31010
Raw data (stat): 31010 (Pueblo) R 31009 24300 24299 0 -1 0 1338421 0 0 0 18137 2864 0 0 25 0 1 0 775112660 161927168 32347 4294967295 134512640 134581331 3221224592 3221223536 134559274 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39533 32347 566 18 0 39515 0
vsize: 158132
[startup+220.014 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 31012
Raw data (stat): 31010 (Pueblo) R 31009 24300 24299 0 -1 0 1338590 0 0 0 19136 2866 0 0 25 0 1 0 775112660 162693120 32516 4294967295 134512640 134581331 3221224592 3221223536 134560149 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39720 32516 566 18 0 39702 0
vsize: 158880
[startup+230.015 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 31012
Raw data (stat): 31010 (Pueblo) R 31009 24300 24299 0 -1 0 1338746 0 0 0 20135 2867 0 0 25 0 1 0 775112660 163336192 32672 4294967295 134512640 134581331 3221224592 3221223504 134527434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39877 32672 566 18 0 39859 0
vsize: 159508
[startup+240.015 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 31012
Raw data (stat): 31010 (Pueblo) R 31009 24300 24299 0 -1 0 1338878 0 0 0 21134 2868 0 0 25 0 1 0 775112660 163860480 32804 4294967295 134512640 134581331 3221224592 3221223456 134560421 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40005 32804 566 18 0 39987 0
vsize: 160020
[startup+250.016 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 31012
Raw data (stat): 31010 (Pueblo) R 31009 24300 24299 0 -1 0 1338997 0 0 0 22134 2868 0 0 25 0 1 0 775112660 164380672 32923 4294967295 134512640 134581331 3221224592 3221223504 134527457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40132 32923 566 18 0 40114 0
vsize: 160528
[startup+260.017 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 31012
Raw data (stat): 31010 (Pueblo) R 31009 24300 24299 0 -1 0 1339167 0 0 0 23133 2870 0 0 25 0 1 0 775112660 165023744 33093 4294967295 134512640 134581331 3221224592 3221223456 134528258 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40289 33093 566 18 0 40271 0
vsize: 161156
[startup+270.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31012
Raw data (stat): 31010 (Pueblo) R 31009 24300 24299 0 -1 0 1339305 0 0 0 24132 2870 0 0 25 0 1 0 775112660 165548032 33231 4294967295 134512640 134581331 3221224592 3221223456 134528261 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40417 33231 566 18 0 40399 0
vsize: 161668
[startup+280.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31012
Raw data (stat): 31010 (Pueblo) R 31009 24300 24299 0 -1 0 1339439 0 0 0 25132 2870 0 0 25 0 1 0 775112660 166105088 33365 4294967295 134512640 134581331 3221224592 3221223536 134560142 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40553 33365 566 18 0 40535 0
vsize: 162212
[startup+290.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31012
Raw data (stat): 31010 (Pueblo) R 31009 24300 24299 0 -1 0 1339550 0 0 0 26132 2871 0 0 25 0 1 0 775112660 166612992 33476 4294967295 134512640 134581331 3221224592 3221223504 134527772 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40677 33476 566 18 0 40659 0
vsize: 162708
[startup+300.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31012
Raw data (stat): 31010 (Pueblo) R 31009 24300 24299 0 -1 0 1339673 0 0 0 27131 2871 0 0 25 0 1 0 775112660 167137280 33599 4294967295 134512640 134581331 3221224592 3221223504 134527416 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40805 33599 566 18 0 40787 0
vsize: 163220
[startup+310.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31012
Raw data (stat): 31010 (Pueblo) R 31009 24300 24299 0 -1 0 1339798 0 0 0 28131 2872 0 0 25 0 1 0 775112660 167653376 33724 4294967295 134512640 134581331 3221224592 3221223504 134527984 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40931 33724 566 18 0 40913 0
vsize: 163724
[startup+320.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31012
Raw data (stat): 31010 (Pueblo) R 31009 24300 24299 0 -1 0 1339933 0 0 0 29131 2873 0 0 25 0 1 0 775112660 168169472 33859 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41057 33859 566 18 0 41039 0
vsize: 164228
[startup+330.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31012
Raw data (stat): 31010 (Pueblo) R 31009 24300 24299 0 -1 0 1340035 0 0 0 30131 2873 0 0 25 0 1 0 775112660 168562688 33961 4294967295 134512640 134581331 3221224592 3221223456 134560328 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41153 33961 566 18 0 41135 0
vsize: 164612
[startup+340.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31012
Raw data (stat): 31010 (Pueblo) R 31009 24300 24299 0 -1 0 1340152 0 0 0 31130 2873 0 0 25 0 1 0 775112660 169074688 34078 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41278 34078 566 18 0 41260 0
vsize: 165112
[startup+350.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31012
Raw data (stat): 31010 (Pueblo) R 31009 24300 24299 0 -1 0 1340252 0 0 0 32130 2874 0 0 25 0 1 0 775112660 169463808 34178 4294967295 134512640 134581331 3221224592 3221223504 134527537 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41373 34178 566 18 0 41355 0
vsize: 165492
[startup+360.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31012
Raw data (stat): 31010 (Pueblo) R 31009 24300 24299 0 -1 0 1340349 0 0 0 33130 2874 0 0 25 0 1 0 775112660 169844736 34275 4294967295 134512640 134581331 3221224592 3221223536 134559312 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41466 34275 566 18 0 41448 0
vsize: 165864
[startup+370.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31012
Raw data (stat): 31010 (Pueblo) R 31009 24300 24299 0 -1 0 1340450 0 0 0 34129 2875 0 0 25 0 1 0 775112660 170352640 34376 4294967295 134512640 134581331 3221224592 3221223536 134559087 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41590 34376 566 18 0 41572 0
vsize: 166360
[startup+380.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31012
Raw data (stat): 31010 (Pueblo) R 31009 24300 24299 0 -1 0 1340565 0 0 0 35129 2875 0 0 25 0 1 0 775112660 170745856 34491 4294967295 134512640 134581331 3221224592 3221223504 134528077 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41686 34491 566 18 0 41668 0
vsize: 166744
[startup+390.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31012
Raw data (stat): 31010 (Pueblo) R 31009 24300 24299 0 -1 0 1340686 0 0 0 36128 2876 0 0 25 0 1 0 775112660 171257856 34612 4294967295 134512640 134581331 3221224592 3221223536 134560143 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41811 34612 566 18 0 41793 0
vsize: 167244
[startup+400.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31012
Raw data (stat): 31010 (Pueblo) R 31009 24300 24299 0 -1 0 1340836 0 0 0 37128 2877 0 0 25 0 1 0 775112660 171896832 34762 4294967295 134512640 134581331 3221224592 3221223568 134560718 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41967 34762 566 18 0 41949 0
vsize: 167868
[startup+410.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31012
Raw data (stat): 31010 (Pueblo) R 31009 24300 24299 0 -1 0 1341011 0 0 0 38127 2878 0 0 25 0 1 0 775112660 172666880 34937 4294967295 134512640 134581331 3221224592 3221223504 134527539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42155 34937 566 18 0 42137 0
vsize: 168620
[startup+420.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31012
Raw data (stat): 31010 (Pueblo) R 31009 24300 24299 0 -1 0 1341161 0 0 0 39127 2878 0 0 25 0 1 0 775112660 173182976 35087 4294967295 134512640 134581331 3221224592 3221223536 134560142 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42281 35087 566 18 0 42263 0
vsize: 169124
[startup+430.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31012
Raw data (stat): 31010 (Pueblo) R 31009 24300 24299 0 -1 0 1341325 0 0 0 40127 2879 0 0 25 0 1 0 775112660 173948928 35251 4294967295 134512640 134581331 3221224592 3221223504 134527737 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42468 35251 566 18 0 42450 0
vsize: 169872
[startup+440.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31012
Raw data (stat): 31010 (Pueblo) R 31009 24300 24299 0 -1 0 1341557 0 0 0 41126 2880 0 0 25 0 1 0 775112660 174948352 35483 4294967295 134512640 134581331 3221224592 3221223504 134527429 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42712 35483 566 18 0 42694 0
vsize: 170848
[startup+450.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31012
Raw data (stat): 31010 (Pueblo) R 31009 24300 24299 0 -1 0 1341802 0 0 0 42125 2881 0 0 25 0 1 0 775112660 175984640 35728 4294967295 134512640 134581331 3221224592 3221223504 134527692 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42965 35728 566 18 0 42947 0
vsize: 171860
[startup+460.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31012
Raw data (stat): 31010 (Pueblo) R 31009 24300 24299 0 -1 0 1342010 0 0 0 43124 2882 0 0 25 0 1 0 775112660 176758784 35936 4294967295 134512640 134581331 3221224592 3221223504 134527709 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43154 35936 566 18 0 43136 0
vsize: 172616
[startup+470.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31012
Raw data (stat): 31010 (Pueblo) R 31009 24300 24299 0 -1 0 1342158 0 0 0 44123 2883 0 0 25 0 1 0 775112660 177397760 36084 4294967295 134512640 134581331 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43310 36084 566 18 0 43292 0
vsize: 173240
[startup+480.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31012
Raw data (stat): 31010 (Pueblo) R 31009 24300 24299 0 -1 0 1342390 0 0 0 45123 2884 0 0 25 0 1 0 775112660 178311168 36316 4294967295 134512640 134581331 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43533 36316 566 18 0 43515 0
vsize: 174132
[startup+490.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31012
Raw data (stat): 31010 (Pueblo) R 31009 24300 24299 0 -1 0 1342567 0 0 0 46122 2885 0 0 25 0 1 0 775112660 179113984 36493 4294967295 134512640 134581331 3221224592 3221223504 134527454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43729 36493 566 18 0 43711 0
vsize: 174916
[startup+500.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31012
Raw data (stat): 31010 (Pueblo) R 31009 24300 24299 0 -1 0 1342761 0 0 0 47121 2886 0 0 25 0 1 0 775112660 179904512 36687 4294967295 134512640 134581331 3221224592 3221223504 134527772 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43922 36687 566 18 0 43904 0
vsize: 175688
[startup+510.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31012
Raw data (stat): 31010 (Pueblo) R 31009 24300 24299 0 -1 0 1342909 0 0 0 48121 2886 0 0 25 0 1 0 775112660 180572160 36835 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44085 36835 566 18 0 44067 0
vsize: 176340
[startup+520.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31012
Raw data (stat): 31010 (Pueblo) R 31009 24300 24299 0 -1 0 1343063 0 0 0 49121 2886 0 0 25 0 1 0 775112660 181358592 36989 4294967295 134512640 134581331 3221224592 3221223504 134527420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44277 36989 566 18 0 44259 0
vsize: 177108
[startup+530.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31012
Raw data (stat): 31010 (Pueblo) R 31009 24300 24299 0 -1 0 1343233 0 0 0 50120 2887 0 0 25 0 1 0 775112660 182181888 37159 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44478 37159 566 18 0 44460 0
vsize: 177912
[startup+540.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31012
Raw data (stat): 31010 (Pueblo) R 31009 24300 24299 0 -1 0 1343449 0 0 0 51120 2888 0 0 25 0 1 0 775112660 183099392 37375 4294967295 134512640 134581331 3221224592 3221223504 134527652 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44702 37375 566 18 0 44684 0
vsize: 178808
[startup+550.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31012
Raw data (stat): 31010 (Pueblo) R 31009 24300 24299 0 -1 0 1343671 0 0 0 52120 2888 0 0 25 0 1 0 775112660 184008704 37597 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44924 37597 566 18 0 44906 0
vsize: 179696
[startup+560.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31012
Raw data (stat): 31010 (Pueblo) R 31009 24300 24299 0 -1 0 1343853 0 0 0 53119 2889 0 0 25 0 1 0 775112660 184778752 37779 4294967295 134512640 134581331 3221224592 3221223504 134527531 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45112 37779 566 18 0 45094 0
vsize: 180448
[startup+570.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31012
Raw data (stat): 31010 (Pueblo) R 31009 24300 24299 0 -1 0 1344034 0 0 0 54118 2890 0 0 25 0 1 0 775112660 185434112 37960 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45272 37960 566 18 0 45254 0
vsize: 181088
[startup+580.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31012
Raw data (stat): 31010 (Pueblo) R 31009 24300 24299 0 -1 0 1344226 0 0 0 55117 2891 0 0 25 0 1 0 775112660 186331136 38152 4294967295 134512640 134581331 3221224592 3221223504 134527420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45491 38152 566 18 0 45473 0
vsize: 181964
[startup+590.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31012
Raw data (stat): 31010 (Pueblo) R 31009 24300 24299 0 -1 0 1344393 0 0 0 56116 2892 0 0 25 0 1 0 775112660 186978304 38319 4294967295 134512640 134581331 3221224592 3221223504 134527432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45649 38319 566 18 0 45631 0
vsize: 182596
[startup+600.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31012
Raw data (stat): 31010 (Pueblo) R 31009 24300 24299 0 -1 0 1344568 0 0 0 57116 2893 0 0 25 0 1 0 775112660 187617280 38494 4294967295 134512640 134581331 3221224592 3221223504 134527636 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45805 38494 566 18 0 45787 0
vsize: 183220
[startup+610.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31012
Raw data (stat): 31010 (Pueblo) R 31009 24300 24299 0 -1 0 1344721 0 0 0 58115 2894 0 0 25 0 1 0 775112660 188264448 38647 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45963 38647 566 18 0 45945 0
vsize: 183852
[startup+620.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31012
Raw data (stat): 31010 (Pueblo) R 31009 24300 24299 0 -1 0 1344863 0 0 0 59114 2895 0 0 25 0 1 0 775112660 188923904 38789 4294967295 134512640 134581331 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46124 38789 566 18 0 46106 0
vsize: 184496
[startup+630.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31012
Raw data (stat): 31010 (Pueblo) R 31009 24300 24299 0 -1 0 1345010 0 0 0 60114 2896 0 0 25 0 1 0 775112660 189456384 38936 4294967295 134512640 134581331 3221224592 3221223536 134560142 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46254 38936 566 18 0 46236 0
vsize: 185016
[startup+640.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31012
Raw data (stat): 31010 (Pueblo) R 31009 24300 24299 0 -1 0 1345159 0 0 0 61113 2896 0 0 25 0 1 0 775112660 190111744 39085 4294967295 134512640 134581331 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46414 39085 566 18 0 46396 0
vsize: 185656
[startup+650.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31012
Raw data (stat): 31010 (Pueblo) R 31009 24300 24299 0 -1 0 1345309 0 0 0 62112 2897 0 0 25 0 1 0 775112660 190750720 39235 4294967295 134512640 134581331 3221224592 3221223536 134560142 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46570 39235 566 18 0 46552 0
vsize: 186280
[startup+660.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31012
Raw data (stat): 31010 (Pueblo) R 31009 24300 24299 0 -1 0 1345464 0 0 0 63112 2898 0 0 25 0 1 0 775112660 191385600 39390 4294967295 134512640 134581331 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46725 39390 566 18 0 46707 0
vsize: 186900
[startup+670.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31012
Raw data (stat): 31010 (Pueblo) R 31009 24300 24299 0 -1 0 1345635 0 0 0 64112 2898 0 0 25 0 1 0 775112660 192151552 39561 4294967295 134512640 134581331 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46912 39561 566 18 0 46894 0
vsize: 187648
[startup+680.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31012
Raw data (stat): 31010 (Pueblo) R 31009 24300 24299 0 -1 0 1345802 0 0 0 65111 2899 0 0 25 0 1 0 775112660 192794624 39728 4294967295 134512640 134581331 3221224592 3221223536 134560136 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47069 39728 566 18 0 47051 0
vsize: 188276
[startup+690.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31012
Raw data (stat): 31010 (Pueblo) R 31009 24300 24299 0 -1 0 1345957 0 0 0 66111 2899 0 0 25 0 1 0 775112660 193433600 39883 4294967295 134512640 134581331 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47225 39884 566 18 0 47207 0
vsize: 188900
[startup+700.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31012
Raw data (stat): 31010 (Pueblo) R 31009 24300 24299 0 -1 0 1346129 0 0 0 67110 2900 0 0 25 0 1 0 775112660 194093056 40055 4294967295 134512640 134581331 3221224592 3221223504 134527429 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47386 40055 566 18 0 47368 0
vsize: 189544
[startup+710.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31012
Raw data (stat): 31010 (Pueblo) R 31009 24300 24299 0 -1 0 1346296 0 0 0 68110 2901 0 0 25 0 1 0 775112660 194859008 40222 4294967295 134512640 134581331 3221224592 3221223456 134560398 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47573 40222 566 18 0 47555 0
vsize: 190292
[startup+720.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31012
Raw data (stat): 31010 (Pueblo) R 31009 24300 24299 0 -1 0 1346455 0 0 0 69109 2902 0 0 25 0 1 0 775112660 195497984 40381 4294967295 134512640 134581331 3221224592 3221223504 134527695 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47729 40381 566 18 0 47711 0
vsize: 190916
[startup+730.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31012
Raw data (stat): 31010 (Pueblo) R 31009 24300 24299 0 -1 0 1346607 0 0 0 70108 2903 0 0 25 0 1 0 775112660 196145152 40533 4294967295 134512640 134581331 3221224592 3221223504 134527432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47887 40533 566 18 0 47869 0
vsize: 191548
[startup+740.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31012
Raw data (stat): 31010 (Pueblo) R 31009 24300 24299 0 -1 0 1346760 0 0 0 71107 2904 0 0 25 0 1 0 775112660 196915200 40686 4294967295 134512640 134581331 3221224592 3221223536 134560142 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48075 40686 566 18 0 48057 0
vsize: 192300
[startup+750.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31012
Raw data (stat): 31010 (Pueblo) R 31009 24300 24299 0 -1 0 1346908 0 0 0 72107 2905 0 0 25 0 1 0 775112660 197586944 40834 4294967295 134512640 134581331 3221224592 3221223504 134527701 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48239 40834 566 18 0 48221 0
vsize: 192956
[startup+760.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31012
Raw data (stat): 31010 (Pueblo) R 31009 24300 24299 0 -1 0 1347077 0 0 0 73106 2906 0 0 25 0 1 0 775112660 198230016 41003 4294967295 134512640 134581331 3221224592 3221223536 134560143 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48396 41003 566 18 0 48378 0
vsize: 193584
[startup+770.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31012
Raw data (stat): 31010 (Pueblo) R 31009 24300 24299 0 -1 0 1347243 0 0 0 74105 2907 0 0 25 0 1 0 775112660 199004160 41169 4294967295 134512640 134581331 3221224592 3221223536 134559087 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48585 41169 566 18 0 48567 0
vsize: 194340
[startup+780.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31012
Raw data (stat): 31010 (Pueblo) R 31009 24300 24299 0 -1 0 1347398 0 0 0 75105 2907 0 0 25 0 1 0 775112660 199647232 41324 4294967295 134512640 134581331 3221224592 3221223536 134560142 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48742 41324 566 18 0 48724 0
vsize: 194968
[startup+790.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31012
Raw data (stat): 31010 (Pueblo) R 31009 24300 24299 0 -1 0 1347556 0 0 0 76104 2908 0 0 25 0 1 0 775112660 200310784 41482 4294967295 134512640 134581331 3221224592 3221223536 134560136 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48904 41482 566 18 0 48886 0
vsize: 195616
[startup+800.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31012
Raw data (stat): 31010 (Pueblo) R 31009 24300 24299 0 -1 0 1347726 0 0 0 77104 2909 0 0 25 0 1 0 775112660 200966144 41652 4294967295 134512640 134581331 3221224592 3221223504 134527703 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49064 41652 566 18 0 49046 0
vsize: 196256
[startup+810.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31012
Raw data (stat): 31010 (Pueblo) R 31009 24300 24299 0 -1 0 1347897 0 0 0 78103 2909 0 0 25 0 1 0 775112660 201617408 41823 4294967295 134512640 134581331 3221224592 3221223504 134528088 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49223 41823 566 18 0 49205 0
vsize: 196892
[startup+820.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31012
Raw data (stat): 31010 (Pueblo) R 31009 24300 24299 0 -1 0 1348082 0 0 0 79102 2910 0 0 25 0 1 0 775112660 202448896 42008 4294967295 134512640 134581331 3221224592 3221223536 134560143 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49426 42008 566 18 0 49408 0
vsize: 197704
[startup+830.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31012
Raw data (stat): 31010 (Pueblo) R 31009 24300 24299 0 -1 0 1348244 0 0 0 80102 2911 0 0 25 0 1 0 775112660 203104256 42170 4294967295 134512640 134581331 3221224592 3221223536 134560142 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49586 42170 566 18 0 49568 0
vsize: 198344
[startup+840.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31012
Raw data (stat): 31010 (Pueblo) R 31009 24300 24299 0 -1 0 1348412 0 0 0 81102 2912 0 0 25 0 1 0 775112660 203751424 42338 4294967295 134512640 134581331 3221224592 3221223504 134527513 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49744 42338 566 18 0 49726 0
vsize: 198976
[startup+850.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31012
Raw data (stat): 31010 (Pueblo) R 31009 24300 24299 0 -1 0 1348558 0 0 0 82101 2912 0 0 25 0 1 0 775112660 204513280 42484 4294967295 134512640 134581331 3221224592 3221223472 134560197 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49930 42484 566 18 0 49912 0
vsize: 199720
[startup+860.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31012
Raw data (stat): 31010 (Pueblo) R 31009 24300 24299 0 -1 0 1348679 0 0 0 83101 2913 0 0 25 0 1 0 775112660 204894208 42605 4294967295 134512640 134581331 3221224592 3221223536 134560136 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50023 42605 566 18 0 50005 0
vsize: 200092
[startup+870.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31012
Raw data (stat): 31010 (Pueblo) R 31009 24300 24299 0 -1 0 1348798 0 0 0 84101 2913 0 0 25 0 1 0 775112660 205463552 42724 4294967295 134512640 134581331 3221224592 3221223504 134527772 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50162 42724 566 18 0 50144 0
vsize: 200648
[startup+880.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31012
Raw data (stat): 31010 (Pueblo) R 31009 24300 24299 0 -1 0 1348919 0 0 0 85101 2914 0 0 25 0 1 0 775112660 205975552 42845 4294967295 134512640 134581331 3221224592 3221223536 134560143 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50287 42845 566 18 0 50269 0
vsize: 201148
[startup+890.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31012
Raw data (stat): 31010 (Pueblo) R 31009 24300 24299 0 -1 0 1349092 0 0 0 86100 2914 0 0 25 0 1 0 775112660 206618624 43018 4294967295 134512640 134581331 3221224592 3221223504 134527772 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50444 43018 566 18 0 50426 0
vsize: 201776
[startup+900.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31012
Raw data (stat): 31010 (Pueblo) R 31009 24300 24299 0 -1 0 1349236 0 0 0 87100 2915 0 0 25 0 1 0 775112660 207261696 43162 4294967295 134512640 134581331 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50601 43162 566 18 0 50583 0
vsize: 202404
[startup+910.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31012
Raw data (stat): 31010 (Pueblo) R 31009 24300 24299 0 -1 0 1349362 0 0 0 88099 2915 0 0 25 0 1 0 775112660 207773696 43288 4294967295 134512640 134581331 3221224592 3221223456 134560334 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50726 43288 566 18 0 50708 0
vsize: 202904
[startup+920.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31012
Raw data (stat): 31010 (Pueblo) R 31009 24300 24299 0 -1 0 1349509 0 0 0 89099 2916 0 0 25 0 1 0 775112660 208416768 43435 4294967295 134512640 134581331 3221224592 3221223504 134527772 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50883 43435 566 18 0 50865 0
vsize: 203532
[startup+930.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31012
Raw data (stat): 31010 (Pueblo) R 31009 24300 24299 0 -1 0 1349653 0 0 0 90099 2917 0 0 25 0 1 0 775112660 208932864 43579 4294967295 134512640 134581331 3221224592 3221223504 134527695 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51009 43579 566 18 0 50991 0
vsize: 204036
[startup+940.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31012
Raw data (stat): 31010 (Pueblo) R 31009 24300 24299 0 -1 0 1349833 0 0 0 91098 2918 0 0 25 0 1 0 775112660 209711104 43759 4294967295 134512640 134581331 3221224592 3221223504 134528074 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51199 43759 566 18 0 51181 0
vsize: 204796
[startup+950.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31012
Raw data (stat): 31010 (Pueblo) R 31009 24300 24299 0 -1 0 1350017 0 0 0 92097 2918 0 0 25 0 1 0 775112660 210583552 43943 4294967295 134512640 134581331 3221224592 3221223536 134560149 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51412 43943 566 18 0 51394 0
vsize: 205648
[startup+960.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31012
Raw data (stat): 31010 (Pueblo) R 31009 24300 24299 0 -1 0 1350225 0 0 0 93097 2919 0 0 25 0 1 0 775112660 211361792 44151 4294967295 134512640 134581331 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51602 44151 566 18 0 51584 0
vsize: 206408
[startup+970.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31012
Raw data (stat): 31010 (Pueblo) R 31009 24300 24299 0 -1 0 1350440 0 0 0 94096 2920 0 0 25 0 1 0 775112660 212275200 44366 4294967295 134512640 134581331 3221224592 3221223504 134527434 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51825 44366 566 18 0 51807 0
vsize: 207300
[startup+980.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31012
Raw data (stat): 31010 (Pueblo) R 31009 24300 24299 0 -1 0 1350613 0 0 0 95095 2921 0 0 25 0 1 0 775112660 212922368 44539 4294967295 134512640 134581331 3221224592 3221223536 134560142 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51983 44539 566 18 0 51965 0
vsize: 207932
[startup+990.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31012
Raw data (stat): 31010 (Pueblo) R 31009 24300 24299 0 -1 0 1350759 0 0 0 96095 2922 0 0 25 0 1 0 775112660 213565440 44685 4294967295 134512640 134581331 3221224592 3221223584 134561062 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52140 44685 566 18 0 52122 0
vsize: 208560
[startup+1000.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31012
Raw data (stat): 31010 (Pueblo) R 31009 24300 24299 0 -1 0 1350933 0 0 0 97095 2922 0 0 25 0 1 0 775112660 214343680 44859 4294967295 134512640 134581331 3221224592 3221223504 134527504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52330 44859 566 18 0 52312 0
vsize: 209320
[startup+1010.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31012
Raw data (stat): 31010 (Pueblo) R 31009 24300 24299 0 -1 0 1351077 0 0 0 98095 2922 0 0 25 0 1 0 775112660 214859776 45003 4294967295 134512640 134581331 3221224592 3221223552 134516723 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52456 45003 566 18 0 52438 0
vsize: 209824
[startup+1020.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31012
Raw data (stat): 31010 (Pueblo) R 31009 24300 24299 0 -1 0 1351077 0 0 0 99095 2922 0 0 25 0 1 0 775112660 214859776 45003 4294967295 134512640 134581331 3221224592 3221223504 134527729 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52456 45003 566 18 0 52438 0
vsize: 209824
[startup+1030.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31012
Raw data (stat): 31010 (Pueblo) R 31009 24300 24299 0 -1 0 1351077 0 0 0 100095 2922 0 0 25 0 1 0 775112660 214859776 45003 4294967295 134512640 134581331 3221224592 3221223536 134560149 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52456 45003 566 18 0 52438 0
vsize: 209824
[startup+1040.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31012
Raw data (stat): 31010 (Pueblo) R 31009 24300 24299 0 -1 0 1351077 0 0 0 101095 2922 0 0 25 0 1 0 775112660 214859776 45003 4294967295 134512640 134581331 3221224592 3221223468 134560198 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52456 45003 566 18 0 52438 0
vsize: 209824
[startup+1050.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31012
Raw data (stat): 31010 (Pueblo) R 31009 24300 24299 0 -1 0 1351077 0 0 0 102096 2922 0 0 25 0 1 0 775112660 214859776 45003 4294967295 134512640 134581331 3221224592 3221223504 134527429 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52456 45003 566 18 0 52438 0
vsize: 209824
[startup+1060.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31012
Raw data (stat): 31010 (Pueblo) R 31009 24300 24299 0 -1 0 1351077 0 0 0 103096 2922 0 0 25 0 1 0 775112660 214859776 45003 4294967295 134512640 134581331 3221224592 3221223536 134560149 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52456 45003 566 18 0 52438 0
vsize: 209824
[startup+1070.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31012
Raw data (stat): 31010 (Pueblo) R 31009 24300 24299 0 -1 0 1351077 0 0 0 104096 2922 0 0 25 0 1 0 775112660 214859776 45003 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52456 45003 566 18 0 52438 0
vsize: 209824
[startup+1080.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31012
Raw data (stat): 31010 (Pueblo) R 31009 24300 24299 0 -1 0 1351077 0 0 0 105096 2922 0 0 25 0 1 0 775112660 214859776 45003 4294967295 134512640 134581331 3221224592 3221223504 134528088 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52456 45003 566 18 0 52438 0
vsize: 209824
[startup+1090.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31012
Raw data (stat): 31010 (Pueblo) R 31009 24300 24299 0 -1 0 1351077 0 0 0 106096 2922 0 0 25 0 1 0 775112660 214859776 45003 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52456 45003 566 18 0 52438 0
vsize: 209824
[startup+1100.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31012
Raw data (stat): 31010 (Pueblo) R 31009 24300 24299 0 -1 0 1351078 0 0 0 107097 2922 0 0 25 0 1 0 775112660 214859776 45004 4294967295 134512640 134581331 3221224592 3221223504 134527459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52456 45004 566 18 0 52438 0
vsize: 209824
[startup+1110.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31012
Raw data (stat): 31010 (Pueblo) R 31009 24300 24299 0 -1 0 1351078 0 0 0 108097 2922 0 0 25 0 1 0 775112660 214859776 45004 4294967295 134512640 134581331 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52456 45004 566 18 0 52438 0
vsize: 209824
[startup+1120.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31012
Raw data (stat): 31010 (Pueblo) R 31009 24300 24299 0 -1 0 1351079 0 0 0 109097 2922 0 0 25 0 1 0 775112660 214859776 45005 4294967295 134512640 134581331 3221224592 3221223536 134560136 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52456 45005 566 18 0 52438 0
vsize: 209824
[startup+1130.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31012
Raw data (stat): 31010 (Pueblo) R 31009 24300 24299 0 -1 0 1351079 0 0 0 110097 2922 0 0 25 0 1 0 775112660 214859776 45005 4294967295 134512640 134581331 3221224592 3221223504 134527457 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52456 45005 566 18 0 52438 0
vsize: 209824
[startup+1140.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31012
Raw data (stat): 31010 (Pueblo) R 31009 24300 24299 0 -1 0 1351080 0 0 0 111097 2922 0 0 25 0 1 0 775112660 214859776 45006 4294967295 134512640 134581331 3221224592 3221223504 134528088 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52456 45006 566 18 0 52438 0
vsize: 209824
[startup+1150.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31012
Raw data (stat): 31010 (Pueblo) R 31009 24300 24299 0 -1 0 1351080 0 0 0 112097 2922 0 0 25 0 1 0 775112660 214859776 45006 4294967295 134512640 134581331 3221224592 3221223536 134560142 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52456 45006 566 18 0 52438 0
vsize: 209824
[startup+1160.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31012
Raw data (stat): 31010 (Pueblo) R 31009 24300 24299 0 -1 0 1351080 0 0 0 113098 2922 0 0 25 0 1 0 775112660 214859776 45006 4294967295 134512640 134581331 3221224592 3221223504 134527737 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52456 45006 566 18 0 52438 0
vsize: 209824
[startup+1170.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31012
Raw data (stat): 31010 (Pueblo) R 31009 24300 24299 0 -1 0 1351080 0 0 0 114098 2922 0 0 25 0 1 0 775112660 214859776 45006 4294967295 134512640 134581331 3221224592 3221223504 134527434 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52456 45006 566 18 0 52438 0
vsize: 209824
[startup+1180.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31012
Raw data (stat): 31010 (Pueblo) R 31009 24300 24299 0 -1 0 1351080 0 0 0 115098 2922 0 0 25 0 1 0 775112660 214859776 45006 4294967295 134512640 134581331 3221224592 3221223504 134527440 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52456 45006 566 18 0 52438 0
vsize: 209824
[startup+1190.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31012
Raw data (stat): 31010 (Pueblo) R 31009 24300 24299 0 -1 0 1351080 0 0 0 116098 2922 0 0 25 0 1 0 775112660 214859776 45006 4294967295 134512640 134581331 3221224592 3221223504 134527652 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52456 45006 566 18 0 52438 0
vsize: 209824
[startup+1200.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31012
Raw data (stat): 31010 (Pueblo) R 31009 24300 24299 0 -1 0 1351080 0 0 0 117098 2922 0 0 25 0 1 0 775112660 214859776 45006 4294967295 134512640 134581331 3221224592 3221223504 134527531 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52456 45006 566 18 0 52438 0
vsize: 209824
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.12 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 31012
Raw data (stat): 31010 (Pueblo) Z 31009 24300 24299 0 -1 1036 1351080 0 0 0 117098 2931 0 0 25 0 1 0 775112660 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.12
CPU time (s): 1200.3
CPU user time (s): 1170.99
CPU system time (s): 29.3125
CPU usage (%): 100.016
Max. virtual memory (Kb): 209824
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####