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/unibo/normalized-mps-v2-13-7-usAbbrv.8.25_70.opb
MD5SUM	0b6e5fd99af8bfe5c5be00124c8da261
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	20736
Optimality of the best value was proved	NO
Number of terms in the objective function	125
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	1062015
Number of bits of the sum of numbers in the objective function	21
Biggest number in a constraint	128000000
Number of bits of the biggest number in a constraint	27
Biggest sum of numbers in a constraint	268444670
Number of bits of the biggest sum of numbers	29
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1201.16
Number of variables	18711
Total number of constraints	5602
Number of constraints which are clauses	563
Number of constraints which are cardinality constraints (but not clauses)	1681
Number of constraints which are nor clauses,nor cardinality constraints	3358
Minimum length of a constraint	1
Maximum length of a constraint	55
Trace number 25305

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-18 07:50:47 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20326 boxname=wulflinc31 idbench=1564 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  0b6e5fd99af8bfe5c5be00124c8da261  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-usAbbrv.8.25_70.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-usAbbrv.8.25_70.opb
IDLAUNCH: 20326
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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.153
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        765176 kB
Buffers:          5928 kB
Cached:         240388 kB
SwapCached:        932 kB
Active:          69856 kB
Inactive:       179780 kB
HighTotal:      131008 kB
HighFree:         7140 kB
LowTotal:       903652 kB
LowFree:        758036 kB
SwapTotal:     2097892 kB
SwapFree:      2096072 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5380 kB
Slab:            14140 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-18 08:10:50 (client local time) WITH STATUS 0 IN 1200.41 SECONDS
stats: 20326 7 1200.41 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): 1.01 1.06 1.02 2/55 5360
Raw data (stat): 5360 (runsolver) R 5359 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 776707789 1056768 100 4294967295 134512640 135381576 3221221680 3221216904 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0015 s]
Raw data (loadavg): 1.00 1.06 1.02 2/55 5360
Raw data (stat): 5360 (Pueblo) R 5359 7876 7672 0 -1 0 2967 0 0 0 985 12 0 0 25 0 1 0 776707789 18919424 2944 4294967295 134512640 134581331 3221221776 3221220688 134527432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4619 2944 566 18 0 4601 0
vsize: 18476
[startup+20.0025 s]
Raw data (loadavg): 1.00 1.06 1.02 2/55 5360
Raw data (stat): 5360 (Pueblo) R 5359 7876 7672 0 -1 0 3235 0 0 0 1984 13 0 0 25 0 1 0 776707789 19976192 3212 4294967295 134512640 134581331 3221221776 3221220688 134527707 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4877 3212 566 18 0 4859 0
vsize: 19508
[startup+30.0034 s]
Raw data (loadavg): 1.00 1.06 1.02 2/55 5360
Raw data (stat): 5360 (Pueblo) R 5359 7876 7672 0 -1 0 3424 0 0 0 2984 13 0 0 25 0 1 0 776707789 20766720 3401 4294967295 134512640 134581331 3221221776 3221220672 134517888 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5070 3401 566 18 0 5052 0
vsize: 20280
[startup+40.0043 s]
Raw data (loadavg): 1.00 1.05 1.02 2/55 5360
Raw data (stat): 5360 (Pueblo) R 5359 7876 7672 0 -1 0 3647 0 0 0 3983 14 0 0 25 0 1 0 776707789 21684224 3624 4294967295 134512640 134581331 3221221776 3221220672 134517873 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5294 3624 566 18 0 5276 0
vsize: 21176
[startup+50.005 s]
Raw data (loadavg): 1.00 1.05 1.02 2/55 5360
Raw data (stat): 5360 (Pueblo) R 5359 7876 7672 0 -1 0 3918 0 0 0 4983 14 0 0 25 0 1 0 776707789 22736896 3895 4294967295 134512640 134581331 3221221776 3221220688 134528072 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5551 3895 566 18 0 5533 0
vsize: 22204
[startup+60.0061 s]
Raw data (loadavg): 1.00 1.05 1.02 2/55 5360
Raw data (stat): 5360 (Pueblo) R 5359 7876 7672 0 -1 0 4216 0 0 0 5982 15 0 0 25 0 1 0 776707789 24051712 4193 4294967295 134512640 134581331 3221221776 3221220688 134528085 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5872 4193 566 18 0 5854 0
vsize: 23488
[startup+70.0058 s]
Raw data (loadavg): 1.00 1.05 1.02 2/55 5360
Raw data (stat): 5360 (Pueblo) R 5359 7876 7672 0 -1 0 4576 0 0 0 6982 16 0 0 25 0 1 0 776707789 25468928 4553 4294967295 134512640 134581331 3221221776 3221220688 134527534 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6218 4553 566 18 0 6200 0
vsize: 24872
[startup+80.0067 s]
Raw data (loadavg): 1.00 1.05 1.02 2/55 5360
Raw data (stat): 5360 (Pueblo) R 5359 7876 7672 0 -1 0 4763 0 0 0 7981 17 0 0 25 0 1 0 776707789 26279936 4740 4294967295 134512640 134581331 3221221776 3221220672 134527747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6416 4740 566 18 0 6398 0
vsize: 25664
[startup+90.0067 s]
Raw data (loadavg): 1.00 1.04 1.02 2/55 5360
Raw data (stat): 5360 (Pueblo) R 5359 7876 7672 0 -1 0 4763 0 0 0 8981 17 0 0 25 0 1 0 776707789 26279936 4740 4294967295 134512640 134581331 3221221776 3221220688 134527459 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6416 4740 566 18 0 6398 0
vsize: 25664
[startup+100.007 s]
Raw data (loadavg): 1.00 1.04 1.02 2/55 5360
Raw data (stat): 5360 (Pueblo) R 5359 7876 7672 0 -1 0 4763 0 0 0 9981 17 0 0 25 0 1 0 776707789 26279936 4740 4294967295 134512640 134581331 3221221776 3221220704 134519947 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6416 4740 566 18 0 6398 0
vsize: 25664
[startup+110.01 s]
Raw data (loadavg): 1.00 1.04 1.01 2/55 5360
Raw data (stat): 5360 (Pueblo) R 5359 7876 7672 0 -1 0 4937 0 0 0 10982 17 0 0 25 0 1 0 776707789 26923008 4914 4294967295 134512640 134581331 3221221776 3221220720 134559057 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6573 4914 566 18 0 6555 0
vsize: 26292
[startup+120.01 s]
Raw data (loadavg): 1.00 1.04 1.01 2/55 5360
Raw data (stat): 5360 (Pueblo) R 5359 7876 7672 0 -1 0 5201 0 0 0 11981 18 0 0 25 0 1 0 776707789 27971584 5178 4294967295 134512640 134581331 3221221776 3221220640 134526995 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6829 5178 566 18 0 6811 0
vsize: 27316
[startup+130.011 s]
Raw data (loadavg): 1.00 1.04 1.01 2/55 5360
Raw data (stat): 5360 (Pueblo) R 5359 7876 7672 0 -1 0 5446 0 0 0 12980 19 0 0 25 0 1 0 776707789 29044736 5423 4294967295 134512640 134581331 3221221776 3221220688 134527519 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7091 5423 566 18 0 7073 0
vsize: 28364
[startup+140.012 s]
Raw data (loadavg): 1.08 1.05 1.02 2/55 5360
Raw data (stat): 5360 (Pueblo) R 5359 7876 7672 0 -1 0 5468 0 0 0 13980 19 0 0 25 0 1 0 776707789 29175808 5445 4294967295 134512640 134581331 3221221776 3221220688 134527510 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7123 5445 566 18 0 7105 0
vsize: 28492
[startup+150.012 s]
Raw data (loadavg): 1.07 1.05 1.02 2/55 5360
Raw data (stat): 5360 (Pueblo) R 5359 7876 7672 0 -1 0 5468 0 0 0 14981 19 0 0 25 0 1 0 776707789 29175808 5445 4294967295 134512640 134581331 3221221776 3221220688 134527539 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7123 5445 566 18 0 7105 0
vsize: 28492
[startup+160.012 s]
Raw data (loadavg): 1.06 1.05 1.01 2/55 5360
Raw data (stat): 5360 (Pueblo) R 5359 7876 7672 0 -1 0 5468 0 0 0 15981 19 0 0 25 0 1 0 776707789 29175808 5445 4294967295 134512640 134581331 3221221776 3221220672 134517894 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7123 5445 566 18 0 7105 0
vsize: 28492
[startup+170.012 s]
Raw data (loadavg): 1.13 1.06 1.02 2/55 5360
Raw data (stat): 5360 (Pueblo) R 5359 7876 7672 0 -1 0 5554 0 0 0 16980 19 0 0 25 0 1 0 776707789 29425664 5531 4294967295 134512640 134581331 3221221776 3221220688 134527420 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7184 5531 566 18 0 7166 0
vsize: 28736
[startup+180.013 s]
Raw data (loadavg): 1.11 1.06 1.02 2/55 5360
Raw data (stat): 5360 (Pueblo) R 5359 7876 7672 0 -1 0 5934 0 0 0 17980 20 0 0 25 0 1 0 776707789 31059968 5911 4294967295 134512640 134581331 3221221776 3221220688 134527418 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7583 5911 566 18 0 7565 0
vsize: 30332
[startup+190.013 s]
Raw data (loadavg): 1.09 1.06 1.02 2/55 5360
Raw data (stat): 5360 (Pueblo) R 5359 7876 7672 0 -1 0 6260 0 0 0 18980 20 0 0 25 0 1 0 776707789 32399360 6237 4294967295 134512640 134581331 3221221776 3221220720 134558842 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7910 6237 566 18 0 7892 0
vsize: 31640
[startup+200.013 s]
Raw data (loadavg): 1.08 1.05 1.02 2/55 5360
Raw data (stat): 5360 (Pueblo) R 5359 7876 7672 0 -1 0 6295 0 0 0 19980 21 0 0 25 0 1 0 776707789 32534528 6272 4294967295 134512640 134581331 3221221776 3221220688 134527513 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7943 6272 566 18 0 7925 0
vsize: 31772
[startup+210.013 s]
Raw data (loadavg): 1.06 1.05 1.02 2/55 5360
Raw data (stat): 5360 (Pueblo) R 5359 7876 7672 0 -1 0 6295 0 0 0 20980 21 0 0 25 0 1 0 776707789 32534528 6272 4294967295 134512640 134581331 3221221776 3221220672 134517888 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7943 6272 566 18 0 7925 0
vsize: 31772
[startup+220.013 s]
Raw data (loadavg): 1.05 1.05 1.01 2/55 5360
Raw data (stat): 5360 (Pueblo) R 5359 7876 7672 0 -1 0 6295 0 0 0 21980 21 0 0 25 0 1 0 776707789 32534528 6272 4294967295 134512640 134581331 3221221776 3221220720 134560143 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7943 6272 566 18 0 7925 0
vsize: 31772
[startup+230.014 s]
Raw data (loadavg): 1.04 1.05 1.01 2/55 5360
Raw data (stat): 5360 (Pueblo) R 5359 7876 7672 0 -1 0 6295 0 0 0 22980 21 0 0 25 0 1 0 776707789 32534528 6272 4294967295 134512640 134581331 3221221776 3221220688 134527772 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7943 6272 566 18 0 7925 0
vsize: 31772
[startup+240.014 s]
Raw data (loadavg): 1.04 1.05 1.01 2/55 5360
Raw data (stat): 5360 (Pueblo) R 5359 7876 7672 0 -1 0 6295 0 0 0 23980 21 0 0 25 0 1 0 776707789 32534528 6272 4294967295 134512640 134581331 3221221776 3221220688 134528072 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7943 6272 566 18 0 7925 0
vsize: 31772
[startup+250.014 s]
Raw data (loadavg): 1.03 1.04 1.01 2/55 5360
Raw data (stat): 5360 (Pueblo) R 5359 7876 7672 0 -1 0 6295 0 0 0 24980 21 0 0 25 0 1 0 776707789 32534528 6272 4294967295 134512640 134581331 3221221776 3221220692 1075285509 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7943 6272 566 18 0 7925 0
vsize: 31772
[startup+260.015 s]
Raw data (loadavg): 1.03 1.04 1.01 2/55 5360
Raw data (stat): 5360 (Pueblo) R 5359 7876 7672 0 -1 0 6473 0 0 0 25980 22 0 0 25 0 1 0 776707789 33173504 6450 4294967295 134512640 134581331 3221221776 3221220688 134527537 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8099 6450 566 18 0 8081 0
vsize: 32396
[startup+270.014 s]
Raw data (loadavg): 1.02 1.04 1.01 2/55 5360
Raw data (stat): 5360 (Pueblo) R 5359 7876 7672 0 -1 0 6683 0 0 0 26979 22 0 0 25 0 1 0 776707789 34107392 6660 4294967295 134512640 134581331 3221221776 3221220672 134517878 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8327 6660 566 18 0 8309 0
vsize: 33308
[startup+280.015 s]
Raw data (loadavg): 1.02 1.04 1.01 2/55 5360
Raw data (stat): 5360 (Pueblo) R 5359 7876 7672 0 -1 0 6921 0 0 0 27979 23 0 0 25 0 1 0 776707789 35041280 6898 4294967295 134512640 134581331 3221221776 3221220688 134527404 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8555 6898 566 18 0 8537 0
vsize: 34220
[startup+290.015 s]
Raw data (loadavg): 1.01 1.04 1.01 2/55 5360
Raw data (stat): 5360 (Pueblo) R 5359 7876 7672 0 -1 0 7254 0 0 0 28979 23 0 0 25 0 1 0 776707789 36388864 7231 4294967295 134512640 134581331 3221221776 3221220688 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8884 7231 566 18 0 8866 0
vsize: 35536
[startup+300.015 s]
Raw data (loadavg): 1.01 1.03 1.01 2/55 5360
Raw data (stat): 5360 (Pueblo) R 5359 7876 7672 0 -1 0 7445 0 0 0 29978 24 0 0 25 0 1 0 776707789 37167104 7422 4294967295 134512640 134581331 3221221776 3221220688 134528074 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9074 7422 566 18 0 9056 0
vsize: 36296
[startup+310.016 s]
Raw data (loadavg): 1.01 1.03 1.01 2/55 5360
Raw data (stat): 5360 (Pueblo) R 5359 7876 7672 0 -1 0 7630 0 0 0 30978 24 0 0 25 0 1 0 776707789 37957632 7607 4294967295 134512640 134581331 3221221776 3221220672 134517905 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9267 7607 566 18 0 9249 0
vsize: 37068
[startup+320.016 s]
Raw data (loadavg): 1.01 1.03 1.00 2/55 5360
Raw data (stat): 5360 (Pueblo) R 5359 7876 7672 0 -1 0 7812 0 0 0 31978 24 0 0 25 0 1 0 776707789 38748160 7789 4294967295 134512640 134581331 3221221776 3221220688 134527454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9460 7789 566 18 0 9442 0
vsize: 37840
[startup+330.017 s]
Raw data (loadavg): 1.01 1.03 1.00 2/55 5360
Raw data (stat): 5360 (Pueblo) R 5359 7876 7672 0 -1 0 8047 0 0 0 32978 25 0 0 25 0 1 0 776707789 39665664 8024 4294967295 134512640 134581331 3221221776 3221220672 134517844 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9684 8024 566 18 0 9666 0
vsize: 38736
[startup+340.018 s]
Raw data (loadavg): 1.00 1.03 1.00 2/55 5360
Raw data (stat): 5360 (Pueblo) R 5359 7876 7672 0 -1 0 8267 0 0 0 33977 26 0 0 25 0 1 0 776707789 40615936 8244 4294967295 134512640 134581331 3221221776 3221220688 134527772 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9916 8244 566 18 0 9898 0
vsize: 39664
[startup+350.018 s]
Raw data (loadavg): 1.00 1.03 1.00 2/55 5360
Raw data (stat): 5360 (Pueblo) R 5359 7876 7672 0 -1 0 8474 0 0 0 34977 26 0 0 25 0 1 0 776707789 41406464 8451 4294967295 134512640 134581331 3221221776 3221220688 134527695 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10109 8451 566 18 0 10091 0
vsize: 40436
[startup+360.019 s]
Raw data (loadavg): 1.00 1.03 1.00 2/55 5360
Raw data (stat): 5360 (Pueblo) R 5359 7876 7672 0 -1 0 8486 0 0 0 35977 26 0 0 25 0 1 0 776707789 41537536 8463 4294967295 134512640 134581331 3221221776 3221220688 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10141 8463 566 18 0 10123 0
vsize: 40564
[startup+370.02 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 5360
Raw data (stat): 5360 (Pueblo) R 5359 7876 7672 0 -1 0 8486 0 0 0 36977 26 0 0 25 0 1 0 776707789 41537536 8463 4294967295 134512640 134581331 3221221776 3221220688 134528088 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10141 8463 566 18 0 10123 0
vsize: 40564
[startup+380.021 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 5360
Raw data (stat): 5360 (Pueblo) R 5359 7876 7672 0 -1 0 8486 0 0 0 37977 26 0 0 25 0 1 0 776707789 41537536 8463 4294967295 134512640 134581331 3221221776 3221220756 134560793 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10141 8463 566 18 0 10123 0
vsize: 40564
[startup+390.021 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 5360
Raw data (stat): 5360 (Pueblo) R 5359 7876 7672 0 -1 0 8486 0 0 0 38978 26 0 0 25 0 1 0 776707789 41537536 8463 4294967295 134512640 134581331 3221221776 3221220688 134527737 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10141 8463 566 18 0 10123 0
vsize: 40564
[startup+400.021 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 5360
Raw data (stat): 5360 (Pueblo) R 5359 7876 7672 0 -1 0 8486 0 0 0 39978 26 0 0 25 0 1 0 776707789 41537536 8463 4294967295 134512640 134581331 3221221776 3221220688 134527404 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10141 8463 566 18 0 10123 0
vsize: 40564
[startup+410.021 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 5360
Raw data (stat): 5360 (Pueblo) R 5359 7876 7672 0 -1 0 8486 0 0 0 40978 26 0 0 25 0 1 0 776707789 41537536 8463 4294967295 134512640 134581331 3221221776 3221220688 134527423 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10141 8463 566 18 0 10123 0
vsize: 40564
[startup+420.021 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 5360
Raw data (stat): 5360 (Pueblo) R 5359 7876 7672 0 -1 0 8486 0 0 0 41978 26 0 0 25 0 1 0 776707789 41537536 8463 4294967295 134512640 134581331 3221221776 3221220756 134560793 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10141 8463 566 18 0 10123 0
vsize: 40564
[startup+430.023 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 5360
Raw data (stat): 5360 (Pueblo) R 5359 7876 7672 0 -1 0 8486 0 0 0 42978 27 0 0 25 0 1 0 776707789 41537536 8463 4294967295 134512640 134581331 3221221776 3221220688 134527519 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10141 8463 566 18 0 10123 0
vsize: 40564
[startup+440.023 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 5360
Raw data (stat): 5360 (Pueblo) R 5359 7876 7672 0 -1 0 8486 0 0 0 43978 27 0 0 25 0 1 0 776707789 41537536 8463 4294967295 134512640 134581331 3221221776 3221220672 134517868 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10141 8463 566 18 0 10123 0
vsize: 40564
[startup+450.023 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 5360
Raw data (stat): 5360 (Pueblo) R 5359 7876 7672 0 -1 0 8486 0 0 0 44979 27 0 0 25 0 1 0 776707789 41537536 8463 4294967295 134512640 134581331 3221221776 3221220768 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10141 8463 566 18 0 10123 0
vsize: 40564
[startup+460.024 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 5360
Raw data (stat): 5360 (Pueblo) R 5359 7876 7672 0 -1 0 8486 0 0 0 45979 27 0 0 25 0 1 0 776707789 41537536 8463 4294967295 134512640 134581331 3221221776 3221220688 134527667 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10141 8463 566 18 0 10123 0
vsize: 40564
[startup+470.024 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 5360
Raw data (stat): 5360 (Pueblo) R 5359 7876 7672 0 -1 0 8486 0 0 0 46979 27 0 0 25 0 1 0 776707789 41537536 8463 4294967295 134512640 134581331 3221221776 3221220688 134527695 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10141 8463 566 18 0 10123 0
vsize: 40564
[startup+480.025 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 5360
Raw data (stat): 5360 (Pueblo) R 5359 7876 7672 0 -1 0 8492 0 0 0 47979 27 0 0 25 0 1 0 776707789 41537536 8469 4294967295 134512640 134581331 3221221776 3221220688 134527695 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10141 8469 566 18 0 10123 0
vsize: 40564
[startup+490.025 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 5360
Raw data (stat): 5360 (Pueblo) R 5359 7876 7672 0 -1 0 8651 0 0 0 48979 27 0 0 25 0 1 0 776707789 42184704 8628 4294967295 134512640 134581331 3221221776 3221220688 134527454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10299 8628 566 18 0 10281 0
vsize: 41196
[startup+500.026 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 5360
Raw data (stat): 5360 (Pueblo) R 5359 7876 7672 0 -1 0 8866 0 0 0 49978 28 0 0 25 0 1 0 776707789 43085824 8843 4294967295 134512640 134581331 3221221776 3221220752 134560740 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10519 8843 566 18 0 10501 0
vsize: 42076
[startup+510.027 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 5360
Raw data (stat): 5360 (Pueblo) R 5359 7876 7672 0 -1 0 9101 0 0 0 50978 28 0 0 25 0 1 0 776707789 43991040 9078 4294967295 134512640 134581331 3221221776 3221220688 134527410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10740 9078 566 18 0 10722 0
vsize: 42960
[startup+520.027 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 5360
Raw data (stat): 5360 (Pueblo) R 5359 7876 7672 0 -1 0 9336 0 0 0 51977 29 0 0 25 0 1 0 776707789 45019136 9313 4294967295 134512640 134581331 3221221776 3221220688 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10991 9313 566 18 0 10973 0
vsize: 43964
[startup+530.028 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 5360
Raw data (stat): 5360 (Pueblo) R 5359 7876 7672 0 -1 0 9569 0 0 0 52977 30 0 0 25 0 1 0 776707789 45936640 9546 4294967295 134512640 134581331 3221221776 3221220688 134527701 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11215 9546 566 18 0 11197 0
vsize: 44860
[startup+540.028 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 5360
Raw data (stat): 5360 (Pueblo) R 5359 7876 7672 0 -1 0 9808 0 0 0 53976 31 0 0 25 0 1 0 776707789 46858240 9785 4294967295 134512640 134581331 3221221776 3221220688 134527667 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11440 9785 566 18 0 11422 0
vsize: 45760
[startup+550.028 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 5360
Raw data (stat): 5360 (Pueblo) R 5359 7876 7672 0 -1 0 9967 0 0 0 54976 31 0 0 25 0 1 0 776707789 47513600 9944 4294967295 134512640 134581331 3221221776 3221220688 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11600 9944 566 18 0 11582 0
vsize: 46400
[startup+560.028 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 5361
Raw data (stat): 5360 (Pueblo) R 5359 7876 7672 0 -1 0 9967 0 0 0 55976 31 0 0 25 0 1 0 776707789 47513600 9944 4294967295 134512640 134581331 3221221776 3221220688 134527454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11600 9944 566 18 0 11582 0
vsize: 46400
[startup+570.029 s]
Raw data (loadavg): 1.15 1.04 1.01 2/57 5403
Raw data (stat): 5360 (Pueblo) R 5359 7876 7672 0 -1 0 9967 0 0 0 56976 31 0 0 25 0 1 0 776707789 47513600 9944 4294967295 134512640 134581331 3221221776 3221220688 134527967 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11600 9944 566 18 0 11582 0
vsize: 46400
[startup+580.225 s]
Raw data (loadavg): 1.28 1.07 1.02 2/55 5413
Raw data (stat): 5360 (Pueblo) R 5359 7876 7672 0 -1 0 9967 0 0 0 57996 31 0 0 25 0 1 0 776707789 47513600 9944 4294967295 134512640 134581331 3221221776 3221220688 134527689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11600 9944 566 18 0 11582 0
vsize: 46400
[startup+590.225 s]
Raw data (loadavg): 1.24 1.07 1.02 2/55 5413
Raw data (stat): 5360 (Pueblo) R 5359 7876 7672 0 -1 0 9967 0 0 0 58996 31 0 0 25 0 1 0 776707789 47513600 9944 4294967295 134512640 134581331 3221221776 3221220756 134560793 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11600 9944 566 18 0 11582 0
vsize: 46400
[startup+600.225 s]
Raw data (loadavg): 1.20 1.06 1.02 2/55 5413
Raw data (stat): 5360 (Pueblo) R 5359 7876 7672 0 -1 0 9967 0 0 0 59996 31 0 0 25 0 1 0 776707789 47513600 9944 4294967295 134512640 134581331 3221221776 3221220688 134528088 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11600 9944 566 18 0 11582 0
vsize: 46400
[startup+610.225 s]
Raw data (loadavg): 1.17 1.06 1.02 2/55 5413
Raw data (stat): 5360 (Pueblo) R 5359 7876 7672 0 -1 0 9967 0 0 0 60996 31 0 0 25 0 1 0 776707789 47513600 9944 4294967295 134512640 134581331 3221221776 3221220640 134528425 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11600 9944 566 18 0 11582 0
vsize: 46400
[startup+620.225 s]
Raw data (loadavg): 1.14 1.06 1.02 2/55 5413
Raw data (stat): 5360 (Pueblo) R 5359 7876 7672 0 -1 0 9967 0 0 0 61997 31 0 0 25 0 1 0 776707789 47513600 9944 4294967295 134512640 134581331 3221221776 3221220640 134528248 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11600 9944 566 18 0 11582 0
vsize: 46400
[startup+630.225 s]
Raw data (loadavg): 1.12 1.06 1.02 2/55 5413
Raw data (stat): 5360 (Pueblo) R 5359 7876 7672 0 -1 0 9967 0 0 0 62997 31 0 0 25 0 1 0 776707789 47513600 9944 4294967295 134512640 134581331 3221221776 3221220688 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11600 9944 566 18 0 11582 0
vsize: 46400
[startup+640.224 s]
Raw data (loadavg): 1.10 1.05 1.01 2/55 5413
Raw data (stat): 5360 (Pueblo) R 5359 7876 7672 0 -1 0 9967 0 0 0 63997 31 0 0 25 0 1 0 776707789 47513600 9944 4294967295 134512640 134581331 3221221776 3221220672 134517859 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11600 9944 566 18 0 11582 0
vsize: 46400
[startup+650.224 s]
Raw data (loadavg): 1.09 1.05 1.01 2/55 5415
Raw data (stat): 5360 (Pueblo) R 5359 7876 7672 0 -1 0 9967 0 0 0 64997 31 0 0 25 0 1 0 776707789 47513600 9944 4294967295 134512640 134581331 3221221776 3221220756 134560793 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11600 9944 566 18 0 11582 0
vsize: 46400
[startup+660.224 s]
Raw data (loadavg): 1.07 1.05 1.01 2/55 5415
Raw data (stat): 5360 (Pueblo) R 5359 7876 7672 0 -1 0 9967 0 0 0 65997 31 0 0 25 0 1 0 776707789 47513600 9944 4294967295 134512640 134581331 3221221776 3221220688 134527614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11600 9944 566 18 0 11582 0
vsize: 46400
[startup+670.225 s]
Raw data (loadavg): 1.06 1.05 1.01 2/55 5415
Raw data (stat): 5360 (Pueblo) R 5359 7876 7672 0 -1 0 9967 0 0 0 66997 31 0 0 25 0 1 0 776707789 47513600 9944 4294967295 134512640 134581331 3221221776 3221220688 134527695 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11600 9944 566 18 0 11582 0
vsize: 46400
[startup+680.225 s]
Raw data (loadavg): 1.05 1.05 1.01 2/55 5415
Raw data (stat): 5360 (Pueblo) R 5359 7876 7672 0 -1 0 9967 0 0 0 67997 31 0 0 25 0 1 0 776707789 47513600 9944 4294967295 134512640 134581331 3221221776 3221220640 134527190 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11600 9944 566 18 0 11582 0
vsize: 46400
[startup+690.225 s]
Raw data (loadavg): 1.04 1.04 1.01 2/55 5415
Raw data (stat): 5360 (Pueblo) R 5359 7876 7672 0 -1 0 9967 0 0 0 68998 31 0 0 25 0 1 0 776707789 47513600 9944 4294967295 134512640 134581331 3221221776 3221220672 134517865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11600 9944 566 18 0 11582 0
vsize: 46400
[startup+700.225 s]
Raw data (loadavg): 1.04 1.04 1.01 2/55 5415
Raw data (stat): 5360 (Pueblo) R 5359 7876 7672 0 -1 0 9967 0 0 0 69998 31 0 0 25 0 1 0 776707789 47513600 9944 4294967295 134512640 134581331 3221221776 3221220688 134527800 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11600 9944 566 18 0 11582 0
vsize: 46400
[startup+710.226 s]
Raw data (loadavg): 1.03 1.04 1.01 2/55 5415
Raw data (stat): 5360 (Pueblo) R 5359 7876 7672 0 -1 0 9967 0 0 0 70998 31 0 0 25 0 1 0 776707789 47513600 9944 4294967295 134512640 134581331 3221221776 3221220756 134560793 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11600 9944 566 18 0 11582 0
vsize: 46400
[startup+720.226 s]
Raw data (loadavg): 1.02 1.04 1.01 2/55 5415
Raw data (stat): 5360 (Pueblo) R 5359 7876 7672 0 -1 0 9967 0 0 0 71998 31 0 0 25 0 1 0 776707789 47513600 9944 4294967295 134512640 134581331 3221221776 3221220688 134527445 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11600 9944 566 18 0 11582 0
vsize: 46400
[startup+730.226 s]
Raw data (loadavg): 1.02 1.04 1.01 2/55 5415
Raw data (stat): 5360 (Pueblo) R 5359 7876 7672 0 -1 0 9968 0 0 0 72998 31 0 0 25 0 1 0 776707789 47513600 9945 4294967295 134512640 134581331 3221221776 3221220688 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11600 9945 566 18 0 11582 0
vsize: 46400
[startup+740.227 s]
Raw data (loadavg): 1.02 1.03 1.00 2/55 5415
Raw data (stat): 5360 (Pueblo) R 5359 7876 7672 0 -1 0 9968 0 0 0 73998 31 0 0 25 0 1 0 776707789 47513600 9945 4294967295 134512640 134581331 3221221776 3221220688 134527459 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11600 9945 566 18 0 11582 0
vsize: 46400
[startup+750.227 s]
Raw data (loadavg): 1.01 1.03 1.00 2/55 5415
Raw data (stat): 5360 (Pueblo) R 5359 7876 7672 0 -1 0 9968 0 0 0 74999 31 0 0 25 0 1 0 776707789 47513600 9945 4294967295 134512640 134581331 3221221776 3221220744 134527282 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11600 9945 566 18 0 11582 0
vsize: 46400
[startup+760.227 s]
Raw data (loadavg): 1.01 1.03 1.00 2/55 5415
Raw data (stat): 5360 (Pueblo) R 5359 7876 7672 0 -1 0 9968 0 0 0 75999 31 0 0 25 0 1 0 776707789 47513600 9945 4294967295 134512640 134581331 3221221776 3221220688 134527513 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11600 9945 566 18 0 11582 0
vsize: 46400
[startup+770.226 s]
Raw data (loadavg): 1.01 1.03 1.00 2/55 5415
Raw data (stat): 5360 (Pueblo) R 5359 7876 7672 0 -1 0 9968 0 0 0 76999 31 0 0 25 0 1 0 776707789 47513600 9945 4294967295 134512640 134581331 3221221776 3221220672 134517888 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11600 9945 566 18 0 11582 0
vsize: 46400
[startup+780.226 s]
Raw data (loadavg): 1.01 1.03 1.00 2/55 5415
Raw data (stat): 5360 (Pueblo) R 5359 7876 7672 0 -1 0 9968 0 0 0 77999 31 0 0 25 0 1 0 776707789 47513600 9945 4294967295 134512640 134581331 3221221776 3221220672 134517803 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11600 9945 566 18 0 11582 0
vsize: 46400
[startup+790.227 s]
Raw data (loadavg): 1.01 1.03 1.00 2/55 5415
Raw data (stat): 5360 (Pueblo) R 5359 7876 7672 0 -1 0 9968 0 0 0 78999 31 0 0 25 0 1 0 776707789 47513600 9945 4294967295 134512640 134581331 3221221776 3221220744 134527292 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11600 9945 566 18 0 11582 0
vsize: 46400
[startup+800.226 s]
Raw data (loadavg): 1.00 1.03 1.00 2/55 5415
Raw data (stat): 5360 (Pueblo) R 5359 7876 7672 0 -1 0 9968 0 0 0 79999 31 0 0 25 0 1 0 776707789 47513600 9945 4294967295 134512640 134581331 3221221776 3221220688 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11600 9945 566 18 0 11582 0
vsize: 46400
[startup+810.227 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 5415
Raw data (stat): 5360 (Pueblo) R 5359 7876 7672 0 -1 0 9968 0 0 0 81000 31 0 0 25 0 1 0 776707789 47513600 9945 4294967295 134512640 134581331 3221221776 3221220688 134527418 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11600 9945 566 18 0 11582 0
vsize: 46400
[startup+820.227 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 5415
Raw data (stat): 5360 (Pueblo) R 5359 7876 7672 0 -1 0 9968 0 0 0 82000 32 0 0 25 0 1 0 776707789 47513600 9945 4294967295 134512640 134581331 3221221776 3221220688 134527636 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11600 9945 566 18 0 11582 0
vsize: 46400
[startup+830.227 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 5415
Raw data (stat): 5360 (Pueblo) R 5359 7876 7672 0 -1 0 9968 0 0 0 83000 32 0 0 25 0 1 0 776707789 47513600 9945 4294967295 134512640 134581331 3221221776 3221220720 134560149 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11600 9945 566 18 0 11582 0
vsize: 46400
[startup+840.227 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 5415
Raw data (stat): 5360 (Pueblo) R 5359 7876 7672 0 -1 0 9968 0 0 0 84000 32 0 0 25 0 1 0 776707789 47513600 9945 4294967295 134512640 134581331 3221221776 3221220756 134560793 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11600 9945 566 18 0 11582 0
vsize: 46400
[startup+850.227 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 5415
Raw data (stat): 5360 (Pueblo) R 5359 7876 7672 0 -1 0 9968 0 0 0 85000 32 0 0 25 0 1 0 776707789 47513600 9945 4294967295 134512640 134581331 3221221776 3221220688 134527451 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11600 9945 566 18 0 11582 0
vsize: 46400
[startup+860.228 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 5415
Raw data (stat): 5360 (Pueblo) R 5359 7876 7672 0 -1 0 9968 0 0 0 86000 32 0 0 25 0 1 0 776707789 47513600 9945 4294967295 134512640 134581331 3221221776 3221220688 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11600 9945 566 18 0 11582 0
vsize: 46400
[startup+870.23 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 5415
Raw data (stat): 5360 (Pueblo) R 5359 7876 7672 0 -1 0 9968 0 0 0 87000 32 0 0 25 0 1 0 776707789 47513600 9945 4294967295 134512640 134581331 3221221776 3221220688 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11600 9945 566 18 0 11582 0
vsize: 46400
[startup+880.23 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 5415
Raw data (stat): 5360 (Pueblo) R 5359 7876 7672 0 -1 0 9968 0 0 0 88000 32 0 0 25 0 1 0 776707789 47513600 9945 4294967295 134512640 134581331 3221221776 3221220720 134558819 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11600 9945 566 18 0 11582 0
vsize: 46400
[startup+890.23 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 5415
Raw data (stat): 5360 (Pueblo) R 5359 7876 7672 0 -1 0 9968 0 0 0 89000 32 0 0 25 0 1 0 776707789 47513600 9945 4294967295 134512640 134581331 3221221776 3221220720 134560136 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11600 9945 566 18 0 11582 0
vsize: 46400
[startup+900.23 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 5415
Raw data (stat): 5360 (Pueblo) R 5359 7876 7672 0 -1 0 9968 0 0 0 90000 32 0 0 25 0 1 0 776707789 47513600 9945 4294967295 134512640 134581331 3221221776 3221220688 134527429 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11600 9945 566 18 0 11582 0
vsize: 46400
[startup+910.231 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 5415
Raw data (stat): 5360 (Pueblo) R 5359 7876 7672 0 -1 0 9968 0 0 0 91000 33 0 0 25 0 1 0 776707789 47513600 9945 4294967295 134512640 134581331 3221221776 3221220688 134528077 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11600 9945 566 18 0 11582 0
vsize: 46400
[startup+920.231 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 5415
Raw data (stat): 5360 (Pueblo) R 5359 7876 7672 0 -1 0 9968 0 0 0 92001 33 0 0 25 0 1 0 776707789 47513600 9945 4294967295 134512640 134581331 3221221776 3221220688 134527763 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11600 9945 566 18 0 11582 0
vsize: 46400
[startup+930.23 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 5415
Raw data (stat): 5360 (Pueblo) R 5359 7876 7672 0 -1 0 9968 0 0 0 93001 33 0 0 25 0 1 0 776707789 47513600 9945 4294967295 134512640 134581331 3221221776 3221220688 134527534 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11600 9945 566 18 0 11582 0
vsize: 46400
[startup+940.23 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 5415
Raw data (stat): 5360 (Pueblo) R 5359 7876 7672 0 -1 0 9968 0 0 0 94001 33 0 0 25 0 1 0 776707789 47513600 9945 4294967295 134512640 134581331 3221221776 3221220688 134527432 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11600 9945 566 18 0 11582 0
vsize: 46400
[startup+950.23 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 5417
Raw data (stat): 5360 (Pueblo) R 5359 7876 7672 0 -1 0 9968 0 0 0 95001 33 0 0 25 0 1 0 776707789 47513600 9945 4294967295 134512640 134581331 3221221776 3221220672 134517851 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11600 9945 566 18 0 11582 0
vsize: 46400
[startup+960.23 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 5417
Raw data (stat): 5360 (Pueblo) R 5359 7876 7672 0 -1 0 9968 0 0 0 96001 33 0 0 25 0 1 0 776707789 47513600 9945 4294967295 134512640 134581331 3221221776 3221220672 134517894 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11600 9945 566 18 0 11582 0
vsize: 46400
[startup+970.23 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 5417
Raw data (stat): 5360 (Pueblo) R 5359 7876 7672 0 -1 0 9968 0 0 0 97001 33 0 0 25 0 1 0 776707789 47513600 9945 4294967295 134512640 134581331 3221221776 3221220688 134527519 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11600 9945 566 18 0 11582 0
vsize: 46400
[startup+980.231 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 5417
Raw data (stat): 5360 (Pueblo) R 5359 7876 7672 0 -1 0 9968 0 0 0 98001 33 0 0 25 0 1 0 776707789 47513600 9945 4294967295 134512640 134581331 3221221776 3221220688 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11600 9945 566 18 0 11582 0
vsize: 46400
[startup+990.231 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 5417
Raw data (stat): 5360 (Pueblo) R 5359 7876 7672 0 -1 0 9968 0 0 0 99001 33 0 0 25 0 1 0 776707789 47513600 9945 4294967295 134512640 134581331 3221221776 3221220688 134527454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11600 9945 566 18 0 11582 0
vsize: 46400
[startup+1000.23 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 5417
Raw data (stat): 5360 (Pueblo) R 5359 7876 7672 0 -1 0 9968 0 0 0 100001 33 0 0 25 0 1 0 776707789 47513600 9945 4294967295 134512640 134581331 3221221776 3221220688 134527652 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11600 9945 566 18 0 11582 0
vsize: 46400
[startup+1010.23 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 5417
Raw data (stat): 5360 (Pueblo) R 5359 7876 7672 0 -1 0 9968 0 0 0 101002 33 0 0 25 0 1 0 776707789 47513600 9945 4294967295 134512640 134581331 3221221776 3221220688 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11600 9945 566 18 0 11582 0
vsize: 46400
[startup+1020.23 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5417
Raw data (stat): 5360 (Pueblo) R 5359 7876 7672 0 -1 0 9968 0 0 0 102002 33 0 0 25 0 1 0 776707789 47513600 9945 4294967295 134512640 134581331 3221221776 3221220672 134517902 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11600 9945 566 18 0 11582 0
vsize: 46400
[startup+1030.23 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5417
Raw data (stat): 5360 (Pueblo) R 5359 7876 7672 0 -1 0 9968 0 0 0 103002 33 0 0 25 0 1 0 776707789 47513600 9945 4294967295 134512640 134581331 3221221776 3221220688 134527510 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11600 9945 566 18 0 11582 0
vsize: 46400
[startup+1040.23 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5417
Raw data (stat): 5360 (Pueblo) R 5359 7876 7672 0 -1 0 9968 0 0 0 104002 33 0 0 25 0 1 0 776707789 47513600 9945 4294967295 134512640 134581331 3221221776 3221220656 134526889 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11600 9945 566 18 0 11582 0
vsize: 46400
[startup+1050.23 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5417
Raw data (stat): 5360 (Pueblo) R 5359 7876 7672 0 -1 0 9968 0 0 0 105002 33 0 0 25 0 1 0 776707789 47513600 9945 4294967295 134512640 134581331 3221221776 3221220672 134517844 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11600 9945 566 18 0 11582 0
vsize: 46400
[startup+1060.23 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5417
Raw data (stat): 5360 (Pueblo) R 5359 7876 7672 0 -1 0 9968 0 0 0 106002 33 0 0 25 0 1 0 776707789 47513600 9945 4294967295 134512640 134581331 3221221776 3221220672 134517844 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11600 9945 566 18 0 11582 0
vsize: 46400
[startup+1070.23 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5417
Raw data (stat): 5360 (Pueblo) R 5359 7876 7672 0 -1 0 9968 0 0 0 107003 33 0 0 25 0 1 0 776707789 47513600 9945 4294967295 134512640 134581331 3221221776 3221220672 134517894 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11600 9945 566 18 0 11582 0
vsize: 46400
[startup+1080.23 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5417
Raw data (stat): 5360 (Pueblo) R 5359 7876 7672 0 -1 0 9968 0 0 0 108003 33 0 0 25 0 1 0 776707789 47513600 9945 4294967295 134512640 134581331 3221221776 3221220688 134527534 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11600 9945 566 18 0 11582 0
vsize: 46400
[startup+1090.23 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5417
Raw data (stat): 5360 (Pueblo) R 5359 7876 7672 0 -1 0 9968 0 0 0 109003 33 0 0 25 0 1 0 776707789 47513600 9945 4294967295 134512640 134581331 3221221776 3221220688 134527980 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11600 9945 566 18 0 11582 0
vsize: 46400
[startup+1100.23 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5417
Raw data (stat): 5360 (Pueblo) R 5359 7876 7672 0 -1 0 9968 0 0 0 110003 33 0 0 25 0 1 0 776707789 47513600 9945 4294967295 134512640 134581331 3221221776 3221220688 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11600 9945 566 18 0 11582 0
vsize: 46400
[startup+1110.23 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5417
Raw data (stat): 5360 (Pueblo) R 5359 7876 7672 0 -1 0 9968 0 0 0 111003 33 0 0 25 0 1 0 776707789 47513600 9945 4294967295 134512640 134581331 3221221776 3221220744 134519777 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11600 9945 566 18 0 11582 0
vsize: 46400
[startup+1120.23 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5417
Raw data (stat): 5360 (Pueblo) R 5359 7876 7672 0 -1 0 9968 0 0 0 112003 33 0 0 25 0 1 0 776707789 47513600 9945 4294967295 134512640 134581331 3221221776 3221220688 134527778 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11600 9945 566 18 0 11582 0
vsize: 46400
[startup+1130.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5417
Raw data (stat): 5360 (Pueblo) R 5359 7876 7672 0 -1 0 9968 0 0 0 113004 33 0 0 25 0 1 0 776707789 47513600 9945 4294967295 134512640 134581331 3221221776 3221220672 134517875 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11600 9945 566 18 0 11582 0
vsize: 46400
[startup+1140.23 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5417
Raw data (stat): 5360 (Pueblo) R 5359 7876 7672 0 -1 0 9968 0 0 0 114004 33 0 0 25 0 1 0 776707789 47513600 9945 4294967295 134512640 134581331 3221221776 3221220688 134527420 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11600 9945 566 18 0 11582 0
vsize: 46400
[startup+1150.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5417
Raw data (stat): 5360 (Pueblo) R 5359 7876 7672 0 -1 0 9968 0 0 0 115004 33 0 0 25 0 1 0 776707789 47513600 9945 4294967295 134512640 134581331 3221221776 3221220688 134527454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11600 9945 566 18 0 11582 0
vsize: 46400
[startup+1160.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5417
Raw data (stat): 5360 (Pueblo) R 5359 7876 7672 0 -1 0 9997 0 0 0 116004 33 0 0 25 0 1 0 776707789 47640576 9974 4294967295 134512640 134581331 3221221776 3221220688 134528088 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11631 9974 566 18 0 11613 0
vsize: 46524
[startup+1170.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5417
Raw data (stat): 5360 (Pueblo) R 5359 7876 7672 0 -1 0 10171 0 0 0 117004 34 0 0 25 0 1 0 776707789 48418816 10148 4294967295 134512640 134581331 3221221776 3221220688 134527410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11821 10148 566 18 0 11803 0
vsize: 47284
[startup+1180.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5417
Raw data (stat): 5360 (Pueblo) R 5359 7876 7672 0 -1 0 10361 0 0 0 118004 34 0 0 25 0 1 0 776707789 49205248 10338 4294967295 134512640 134581331 3221221776 3221220688 134527964 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12013 10338 566 18 0 11995 0
vsize: 48052
[startup+1190.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5417
Raw data (stat): 5360 (Pueblo) R 5359 7876 7672 0 -1 0 10534 0 0 0 119003 34 0 0 25 0 1 0 776707789 49856512 10511 4294967295 134512640 134581331 3221221776 3221220748 134554712 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12172 10511 566 18 0 12154 0
vsize: 48688
[startup+1200.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 5417
Raw data (stat): 5360 (Pueblo) R 5359 7876 7672 0 -1 0 10710 0 0 0 120003 35 0 0 25 0 1 0 776707789 50647040 10687 4294967295 134512640 134581331 3221221776 3221220688 134527519 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12365 10687 566 18 0 12347 0
vsize: 49460
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.26 s]
Raw data (loadavg): 1.00 1.00 1.00 1/55 5417
Raw data (stat): 5360 (Pueblo) Z 5359 7876 7672 0 -1 1036 10710 0 0 0 120003 37 0 0 25 0 1 0 776707789 0 0 4294967295 0 0 0 0 0 0 0 1 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.26
CPU time (s): 1200.41
CPU user time (s): 1200.04
CPU system time (s): 0.373943
CPU usage (%): 100.013
Max. virtual memory (Kb): 49460
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####