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/web/uclid_pb_benchmarks/normalized-ooo.burch_dill.6.accl.ucl.opb
MD5SUM	f306f9e77db4c563a096b79aebdedeaa
Bench Category	no optimization function (SAT)
Has Objective Function	NO
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	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	71
Number of bits of the biggest number in a constraint	7
Biggest sum of numbers in a constraint	261
Number of bits of the biggest sum of numbers	9
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	23621
Total number of constraints	67526
Number of constraints which are clauses	65126
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	2400
Minimum length of a constraint	1
Maximum length of a constraint	13
Trace number 24635

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-11 08:27:42 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2689 boxname=wulflinc31 idbench=299 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  f306f9e77db4c563a096b79aebdedeaa  /oldhome/oroussel/tmp/wulflinc31/normalized-ooo.burch_dill.6.accl.ucl.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc31/normalized-ooo.burch_dill.6.accl.ucl.opb
IDLAUNCH: 2689
/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:        921984 kB
Buffers:          9980 kB
Cached:          77404 kB
SwapCached:       3940 kB
Active:          50004 kB
Inactive:        42436 kB
HighTotal:      131008 kB
HighFree:        51828 kB
LowTotal:       903652 kB
LowFree:        870156 kB
SwapTotal:     2097892 kB
SwapFree:      2092708 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           4696 kB
Slab:            14408 kB
Committed_AS:    63652 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-11 08:47:45 (client local time) WITH STATUS 0 IN 1200.26 SECONDS
stats: 2689 7 1200.26 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.89 0.93 0.90 2/54 28636
Raw data (stat): 28636 (runsolver) R 28635 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 716442385 1056768 100 4294967295 134512640 135381576 3221221680 3221216904 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10 s]
Raw data (loadavg): 0.91 0.93 0.90 2/54 28636
Raw data (stat): 28636 (Pueblo) R 28635 7876 7672 0 -1 0 3289 0 0 0 987 10 0 0 25 0 1 0 716442385 19763200 3266 4294967295 134512640 134581331 3221221776 3221220784 134531325 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4825 3266 566 18 0 4807 0
vsize: 19300
[startup+20.0001 s]
Raw data (loadavg): 0.92 0.93 0.91 2/54 28636
Raw data (stat): 28636 (Pueblo) R 28635 7876 7672 0 -1 0 3670 0 0 0 1986 10 0 0 25 0 1 0 716442385 21377024 3647 4294967295 134512640 134581331 3221221776 3221220768 134531720 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5219 3647 566 18 0 5201 0
vsize: 20876
[startup+30.0008 s]
Raw data (loadavg): 0.93 0.93 0.91 2/54 28636
Raw data (stat): 28636 (Pueblo) R 28635 7876 7672 0 -1 0 4403 0 0 0 2985 12 0 0 25 0 1 0 716442385 24633344 4380 4294967295 134512640 134581331 3221221776 3221220736 134519781 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6014 4380 566 18 0 5996 0
vsize: 24056
[startup+40.0007 s]
Raw data (loadavg): 0.94 0.93 0.91 2/54 28636
Raw data (stat): 28636 (Pueblo) R 28635 7876 7672 0 -1 0 4406 0 0 0 3985 12 0 0 25 0 1 0 716442385 24633344 4383 4294967295 134512640 134581331 3221221776 3221220720 134560149 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6014 4383 566 18 0 5996 0
vsize: 24056
[startup+50.0019 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 28636
Raw data (stat): 28636 (Pueblo) R 28635 7876 7672 0 -1 0 4408 0 0 0 4985 12 0 0 25 0 1 0 716442385 24633344 4385 4294967295 134512640 134581331 3221221776 3221220672 134517878 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6014 4385 566 18 0 5996 0
vsize: 24056
[startup+60.0016 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 28636
Raw data (stat): 28636 (Pueblo) R 28635 7876 7672 0 -1 0 4408 0 0 0 5985 12 0 0 25 0 1 0 716442385 24633344 4385 4294967295 134512640 134581331 3221221776 3221220704 134520078 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6014 4385 566 18 0 5996 0
vsize: 24056
[startup+70.0015 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 28636
Raw data (stat): 28636 (Pueblo) R 28635 7876 7672 0 -1 0 4408 0 0 0 6985 12 0 0 25 0 1 0 716442385 24633344 4385 4294967295 134512640 134581331 3221221776 3221220688 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6014 4385 566 18 0 5996 0
vsize: 24056
[startup+80.0027 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 28636
Raw data (stat): 28636 (Pueblo) R 28635 7876 7672 0 -1 0 4541 0 0 0 7985 13 0 0 25 0 1 0 716442385 25292800 4518 4294967295 134512640 134581331 3221221776 3221220688 134519017 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6175 4518 566 18 0 6157 0
vsize: 24700
[startup+90.0024 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 28636
Raw data (stat): 28636 (Pueblo) R 28635 7876 7672 0 -1 0 5016 0 0 0 8984 14 0 0 25 0 1 0 716442385 27168768 4993 4294967295 134512640 134581331 3221221776 3221220672 134517894 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6633 4993 566 18 0 6615 0
vsize: 26532
[startup+100.002 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 28636
Raw data (stat): 28636 (Pueblo) R 28635 7876 7672 0 -1 0 5111 0 0 0 9983 15 0 0 25 0 1 0 716442385 27570176 5088 4294967295 134512640 134581331 3221221776 3221220688 134527355 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6731 5088 566 18 0 6713 0
vsize: 26924
[startup+110.003 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 28636
Raw data (stat): 28636 (Pueblo) R 28635 7876 7672 0 -1 0 5333 0 0 0 10983 16 0 0 25 0 1 0 716442385 28479488 5310 4294967295 134512640 134581331 3221221776 3221220660 134557761 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6953 5310 566 18 0 6935 0
vsize: 27812
[startup+120.002 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 28636
Raw data (stat): 28636 (Pueblo) R 28635 7876 7672 0 -1 0 5907 0 0 0 11982 17 0 0 25 0 1 0 716442385 30912512 5884 4294967295 134512640 134581331 3221221776 3221220672 134517894 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7547 5884 566 18 0 7529 0
vsize: 30188
[startup+130.002 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 28636
Raw data (stat): 28636 (Pueblo) R 28635 7876 7672 0 -1 0 6324 0 0 0 12981 17 0 0 25 0 1 0 716442385 32546816 6301 4294967295 134512640 134581331 3221221776 3221220660 134557830 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7946 6301 566 18 0 7928 0
vsize: 31784
[startup+140.002 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 28636
Raw data (stat): 28636 (Pueblo) R 28635 7876 7672 0 -1 0 6894 0 0 0 13980 19 0 0 25 0 1 0 716442385 34942976 6871 4294967295 134512640 134581331 3221221776 3221220672 134517865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8531 6871 566 18 0 8513 0
vsize: 34124
[startup+150.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 28636
Raw data (stat): 28636 (Pueblo) R 28635 7876 7672 0 -1 0 7481 0 0 0 14979 20 0 0 25 0 1 0 716442385 37351424 7458 4294967295 134512640 134581331 3221221776 3221220704 134519867 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9119 7458 566 18 0 9101 0
vsize: 36476
[startup+160.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 28636
Raw data (stat): 28636 (Pueblo) R 28635 7876 7672 0 -1 0 7700 0 0 0 15978 21 0 0 25 0 1 0 716442385 38256640 7677 4294967295 134512640 134581331 3221221776 3221220660 134557861 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9340 7677 566 18 0 9322 0
vsize: 37360
[startup+170.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 28636
Raw data (stat): 28636 (Pueblo) R 28635 7876 7672 0 -1 0 8240 0 0 0 16977 22 0 0 25 0 1 0 716442385 40415232 8217 4294967295 134512640 134581331 3221221776 3221220672 134517865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9867 8217 566 18 0 9849 0
vsize: 39468
[startup+180.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 28636
Raw data (stat): 28636 (Pueblo) R 28635 7876 7672 0 -1 0 8611 0 0 0 17977 23 0 0 25 0 1 0 716442385 41926656 8588 4294967295 134512640 134581331 3221221776 3221220672 134517875 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10236 8588 566 18 0 10218 0
vsize: 40944
[startup+190.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 28636
Raw data (stat): 28636 (Pueblo) R 28635 7876 7672 0 -1 0 9052 0 0 0 18976 24 0 0 25 0 1 0 716442385 43724800 9029 4294967295 134512640 134581331 3221221776 3221220688 134519017 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10675 9029 566 18 0 10657 0
vsize: 42700
[startup+200.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 28636
Raw data (stat): 28636 (Pueblo) R 28635 7876 7672 0 -1 0 9465 0 0 0 19975 25 0 0 25 0 1 0 716442385 45420544 9442 4294967295 134512640 134581331 3221221776 3221220672 134517859 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11089 9442 566 18 0 11071 0
vsize: 44356
[startup+210.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 28636
Raw data (stat): 28636 (Pueblo) R 28635 7876 7672 0 -1 0 10006 0 0 0 20973 27 0 0 25 0 1 0 716442385 47624192 9983 4294967295 134512640 134581331 3221221776 3221220660 134557874 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11627 9983 566 18 0 11609 0
vsize: 46508
[startup+220.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 28636
Raw data (stat): 28636 (Pueblo) R 28635 7876 7672 0 -1 0 10389 0 0 0 21972 28 0 0 25 0 1 0 716442385 49213440 10366 4294967295 134512640 134581331 3221221776 3221220688 134519025 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12015 10366 566 18 0 11997 0
vsize: 48060
[startup+230.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 28636
Raw data (stat): 28636 (Pueblo) R 28635 7876 7672 0 -1 0 10726 0 0 0 22972 29 0 0 25 0 1 0 716442385 50647040 10703 4294967295 134512640 134581331 3221221776 3221220672 134517865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12365 10703 566 18 0 12347 0
vsize: 49460
[startup+240.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 28636
Raw data (stat): 28636 (Pueblo) R 28635 7876 7672 0 -1 0 11401 0 0 0 23970 30 0 0 25 0 1 0 716442385 53506048 11378 4294967295 134512640 134581331 3221221776 3221220660 134557861 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13063 11378 566 18 0 13045 0
vsize: 52252
[startup+250.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 28636
Raw data (stat): 28636 (Pueblo) R 28635 7876 7672 0 -1 0 12068 0 0 0 24968 32 0 0 25 0 1 0 716442385 56209408 12045 4294967295 134512640 134581331 3221221776 3221220688 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13723 12045 566 18 0 13705 0
vsize: 54892
[startup+260.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 28636
Raw data (stat): 28636 (Pueblo) R 28635 7876 7672 0 -1 0 12463 0 0 0 25968 33 0 0 25 0 1 0 716442385 57868288 12440 4294967295 134512640 134581331 3221221776 3221220392 1075289811 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14128 12440 566 18 0 14110 0
vsize: 56512
[startup+270.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 28636
Raw data (stat): 28636 (Pueblo) R 28635 7876 7672 0 -1 0 12846 0 0 0 26967 34 0 0 25 0 1 0 716442385 59396096 12823 4294967295 134512640 134581331 3221221776 3221220660 134557901 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14501 12823 566 18 0 14483 0
vsize: 58004
[startup+280.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 28636
Raw data (stat): 28636 (Pueblo) R 28635 7876 7672 0 -1 0 13198 0 0 0 27966 35 0 0 25 0 1 0 716442385 60805120 13175 4294967295 134512640 134581331 3221221776 3221220704 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14845 13175 566 18 0 14827 0
vsize: 59380
[startup+290.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 28636
Raw data (stat): 28636 (Pueblo) R 28635 7876 7672 0 -1 0 13435 0 0 0 28966 36 0 0 25 0 1 0 716442385 61734912 13412 4294967295 134512640 134581331 3221221776 3221220768 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15072 13412 566 18 0 15054 0
vsize: 60288
[startup+300.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 28636
Raw data (stat): 28636 (Pueblo) R 28635 7876 7672 0 -1 0 13901 0 0 0 29965 37 0 0 25 0 1 0 716442385 63737856 13878 4294967295 134512640 134581331 3221221776 3221220672 134517859 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15561 13878 566 18 0 15543 0
vsize: 62244
[startup+310.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 28636
Raw data (stat): 28636 (Pueblo) R 28635 7876 7672 0 -1 0 14191 0 0 0 30964 38 0 0 25 0 1 0 716442385 64897024 14168 4294967295 134512640 134581331 3221221776 3221220660 134557954 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15844 14168 566 18 0 15826 0
vsize: 63376
[startup+320.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 28636
Raw data (stat): 28636 (Pueblo) R 28635 7876 7672 0 -1 0 14747 0 0 0 31963 39 0 0 25 0 1 0 716442385 67190784 14724 4294967295 134512640 134581331 3221221776 3221220704 134519803 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16404 14724 566 18 0 16386 0
vsize: 65616
[startup+330.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28636
Raw data (stat): 28636 (Pueblo) R 28635 7876 7672 0 -1 0 15013 0 0 0 32962 40 0 0 25 0 1 0 716442385 68231168 14990 4294967295 134512640 134581331 3221221776 3221220672 134517859 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16658 14990 566 18 0 16640 0
vsize: 66632
[startup+340.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28636
Raw data (stat): 28636 (Pueblo) R 28635 7876 7672 0 -1 0 15462 0 0 0 33961 41 0 0 25 0 1 0 716442385 70098944 15439 4294967295 134512640 134581331 3221221776 3221220656 134558344 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17114 15439 566 18 0 17096 0
vsize: 68456
[startup+350.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28636
Raw data (stat): 28636 (Pueblo) R 28635 7876 7672 0 -1 0 15891 0 0 0 34960 43 0 0 25 0 1 0 716442385 71774208 15868 4294967295 134512640 134581331 3221221776 3221220704 134519803 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17523 15868 566 18 0 17505 0
vsize: 70092
[startup+360.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28636
Raw data (stat): 28636 (Pueblo) R 28635 7876 7672 0 -1 0 16330 0 0 0 35959 44 0 0 25 0 1 0 716442385 73592832 16307 4294967295 134512640 134581331 3221221776 3221220672 134517894 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17967 16307 566 18 0 17949 0
vsize: 71868
[startup+370.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28636
Raw data (stat): 28636 (Pueblo) R 28635 7876 7672 0 -1 0 16764 0 0 0 36958 45 0 0 25 0 1 0 716442385 75304960 16741 4294967295 134512640 134581331 3221221776 3221218684 134532895 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18385 16741 566 18 0 18367 0
vsize: 73540
[startup+380.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28636
Raw data (stat): 28636 (Pueblo) R 28635 7876 7672 0 -1 0 17178 0 0 0 37957 46 0 0 25 0 1 0 716442385 77012992 17155 4294967295 134512640 134581331 3221221776 3221220720 134559240 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18802 17155 566 18 0 18784 0
vsize: 75208
[startup+390.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28636
Raw data (stat): 28636 (Pueblo) R 28635 7876 7672 0 -1 0 17501 0 0 0 38956 47 0 0 25 0 1 0 716442385 78323712 17478 4294967295 134512640 134581331 3221221776 3221220496 134522611 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19122 17478 566 18 0 19104 0
vsize: 76488
[startup+400.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28636
Raw data (stat): 28636 (Pueblo) R 28635 7876 7672 0 -1 0 17809 0 0 0 39955 48 0 0 25 0 1 0 716442385 79634432 17786 4294967295 134512640 134581331 3221221776 3221220704 134520027 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19442 17786 566 18 0 19424 0
vsize: 77768
[startup+410.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28636
Raw data (stat): 28636 (Pueblo) R 28635 7876 7672 0 -1 0 18177 0 0 0 40954 49 0 0 25 0 1 0 716442385 81154048 18154 4294967295 134512640 134581331 3221221776 3221220720 134558859 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19813 18154 566 18 0 19795 0
vsize: 79252
[startup+420.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28636
Raw data (stat): 28636 (Pueblo) R 28635 7876 7672 0 -1 0 18458 0 0 0 41954 50 0 0 25 0 1 0 716442385 82276352 18435 4294967295 134512640 134581331 3221221776 3221220660 134557882 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20087 18435 566 18 0 20069 0
vsize: 80348
[startup+430.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28636
Raw data (stat): 28636 (Pueblo) R 28635 7876 7672 0 -1 0 18833 0 0 0 42953 51 0 0 25 0 1 0 716442385 83824640 18810 4294967295 134512640 134581331 3221221776 3221220660 134557874 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20465 18810 566 18 0 20447 0
vsize: 81860
[startup+440.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28636
Raw data (stat): 28636 (Pueblo) R 28635 7876 7672 0 -1 0 19220 0 0 0 43953 51 0 0 25 0 1 0 716442385 85385216 19197 4294967295 134512640 134581331 3221221776 3221220704 134519867 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20846 19197 566 18 0 20828 0
vsize: 83384
[startup+450.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28636
Raw data (stat): 28636 (Pueblo) R 28635 7876 7672 0 -1 0 19492 0 0 0 44952 52 0 0 25 0 1 0 716442385 86433792 19469 4294967295 134512640 134581331 3221221776 3221220768 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21102 19469 566 18 0 21084 0
vsize: 84408
[startup+460.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28636
Raw data (stat): 28636 (Pueblo) R 28635 7876 7672 0 -1 0 19730 0 0 0 45951 53 0 0 25 0 1 0 716442385 87486464 19707 4294967295 134512640 134581331 3221221776 3221220688 134527445 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21359 19707 566 18 0 21341 0
vsize: 85436
[startup+470.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28636
Raw data (stat): 28636 (Pueblo) R 28635 7876 7672 0 -1 0 20148 0 0 0 46950 54 0 0 25 0 1 0 716442385 89153536 20125 4294967295 134512640 134581331 3221221776 3221220768 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21766 20125 566 18 0 21748 0
vsize: 87064
[startup+480.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28636
Raw data (stat): 28636 (Pueblo) R 28635 7876 7672 0 -1 0 20544 0 0 0 47949 55 0 0 25 0 1 0 716442385 91009024 20521 4294967295 134512640 134581331 3221221776 3221220672 134517894 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22219 20521 566 18 0 22201 0
vsize: 88876
[startup+490.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28636
Raw data (stat): 28636 (Pueblo) R 28635 7876 7672 0 -1 0 20912 0 0 0 48949 56 0 0 25 0 1 0 716442385 92528640 20889 4294967295 134512640 134581331 3221221776 3221220660 134557925 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22590 20889 566 18 0 22572 0
vsize: 90360
[startup+500.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28636
Raw data (stat): 28636 (Pueblo) R 28635 7876 7672 0 -1 0 21166 0 0 0 49949 56 0 0 25 0 1 0 716442385 93540352 21143 4294967295 134512640 134581331 3221221776 3221220848 134531401 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22837 21143 566 18 0 22819 0
vsize: 91348
[startup+510.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28636
Raw data (stat): 28636 (Pueblo) R 28635 7876 7672 0 -1 0 21477 0 0 0 50948 57 0 0 25 0 1 0 716442385 94806016 21454 4294967295 134512640 134581331 3221221776 3221220672 134517754 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23146 21454 566 18 0 23128 0
vsize: 92584
[startup+520.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28636
Raw data (stat): 28636 (Pueblo) R 28635 7876 7672 0 -1 0 21722 0 0 0 51948 57 0 0 25 0 1 0 716442385 95895552 21699 4294967295 134512640 134581331 3221221776 3221220688 134519032 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23412 21699 566 18 0 23394 0
vsize: 93648
[startup+530.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28636
Raw data (stat): 28636 (Pueblo) R 28635 7876 7672 0 -1 0 22055 0 0 0 52947 58 0 0 25 0 1 0 716442385 97259520 22032 4294967295 134512640 134581331 3221221776 3221220672 134517865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23745 22032 566 18 0 23727 0
vsize: 94980
[startup+540.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28636
Raw data (stat): 28636 (Pueblo) R 28635 7876 7672 0 -1 0 22377 0 0 0 53947 59 0 0 25 0 1 0 716442385 98496512 22354 4294967295 134512640 134581331 3221221776 3221220704 134519924 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24047 22354 566 18 0 24029 0
vsize: 96188
[startup+550.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28636
Raw data (stat): 28636 (Pueblo) R 28635 7876 7672 0 -1 0 22759 0 0 0 54946 60 0 0 25 0 1 0 716442385 100093952 22736 4294967295 134512640 134581331 3221221776 3221220720 134560149 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24437 22736 566 18 0 24419 0
vsize: 97748
[startup+560.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28636
Raw data (stat): 28636 (Pueblo) R 28635 7876 7672 0 -1 0 23085 0 0 0 55945 61 0 0 25 0 1 0 716442385 101408768 23062 4294967295 134512640 134581331 3221221776 3221220768 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24758 23062 566 18 0 24740 0
vsize: 99032
[startup+570.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28636
Raw data (stat): 28636 (Pueblo) R 28635 7876 7672 0 -1 0 23600 0 0 0 56944 62 0 0 25 0 1 0 716442385 103505920 23577 4294967295 134512640 134581331 3221221776 3221220660 134557861 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25270 23577 566 18 0 25252 0
vsize: 101080
[startup+580.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28636
Raw data (stat): 28636 (Pueblo) R 28635 7876 7672 0 -1 0 24059 0 0 0 57943 64 0 0 25 0 1 0 716442385 105365504 24036 4294967295 134512640 134581331 3221221776 3221220672 134517905 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25724 24036 566 18 0 25706 0
vsize: 102896
[startup+590.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28636
Raw data (stat): 28636 (Pueblo) R 28635 7876 7672 0 -1 0 24434 0 0 0 58942 64 0 0 25 0 1 0 716442385 106934272 24411 4294967295 134512640 134581331 3221221776 3221220672 134517865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26107 24411 566 18 0 26089 0
vsize: 104428
[startup+600.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28636
Raw data (stat): 28636 (Pueblo) R 28635 7876 7672 0 -1 0 24722 0 0 0 59942 65 0 0 25 0 1 0 716442385 108105728 24699 4294967295 134512640 134581331 3221221776 3221220768 134561084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26393 24699 566 18 0 26375 0
vsize: 105572
[startup+610.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28636
Raw data (stat): 28636 (Pueblo) R 28635 7876 7672 0 -1 0 25118 0 0 0 60941 66 0 0 25 0 1 0 716442385 109776896 25095 4294967295 134512640 134581331 3221221776 3221220708 134558768 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26801 25095 566 18 0 26783 0
vsize: 107204
[startup+620.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28636
Raw data (stat): 28636 (Pueblo) R 28635 7876 7672 0 -1 0 25474 0 0 0 61940 67 0 0 25 0 1 0 716442385 111276032 25451 4294967295 134512640 134581331 3221221776 3221220384 134525225 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27167 25451 566 18 0 27149 0
vsize: 108668
[startup+630.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28636
Raw data (stat): 28636 (Pueblo) R 28635 7876 7672 0 -1 0 25696 0 0 0 62940 68 0 0 25 0 1 0 716442385 112160768 25673 4294967295 134512640 134581331 3221221776 3221220720 134560136 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27383 25673 566 18 0 27365 0
vsize: 109532
[startup+640.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28636
Raw data (stat): 28636 (Pueblo) R 28635 7876 7672 0 -1 0 26116 0 0 0 63939 69 0 0 25 0 1 0 716442385 113803264 26093 4294967295 134512640 134581331 3221221776 3221220660 1075693979 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27784 26093 566 18 0 27766 0
vsize: 111136
[startup+650.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28636
Raw data (stat): 28636 (Pueblo) R 28635 7876 7672 0 -1 0 26333 0 0 0 64939 69 0 0 25 0 1 0 716442385 114724864 26310 4294967295 134512640 134581331 3221221776 3221220660 134557901 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28009 26310 566 18 0 27991 0
vsize: 112036
[startup+660.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28636
Raw data (stat): 28636 (Pueblo) R 28635 7876 7672 0 -1 0 26684 0 0 0 65938 70 0 0 25 0 1 0 716442385 116158464 26661 4294967295 134512640 134581331 3221221776 3221220768 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28359 26661 566 18 0 28341 0
vsize: 113436
[startup+670.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28636
Raw data (stat): 28636 (Pueblo) R 28635 7876 7672 0 -1 0 26887 0 0 0 66938 70 0 0 25 0 1 0 716442385 116981760 26864 4294967295 134512640 134581331 3221221776 3221220688 134527355 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28560 26864 566 18 0 28542 0
vsize: 114240
[startup+680.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28636
Raw data (stat): 28636 (Pueblo) R 28635 7876 7672 0 -1 0 27311 0 0 0 67937 71 0 0 25 0 1 0 716442385 118738944 27288 4294967295 134512640 134581331 3221221776 3221220384 134525265 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28989 27288 566 18 0 28971 0
vsize: 115956
[startup+690.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28636
Raw data (stat): 28636 (Pueblo) R 28635 7876 7672 0 -1 0 27633 0 0 0 68937 72 0 0 25 0 1 0 716442385 120029184 27610 4294967295 134512640 134581331 3221221776 3221220768 134561131 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29304 27610 566 18 0 29286 0
vsize: 117216
[startup+700.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28636
Raw data (stat): 28636 (Pueblo) R 28635 7876 7672 0 -1 0 28018 0 0 0 69936 73 0 0 25 0 1 0 716442385 121683968 27995 4294967295 134512640 134581331 3221221776 3221220672 134517859 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29708 27995 566 18 0 29690 0
vsize: 118832
[startup+710.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28636
Raw data (stat): 28636 (Pueblo) R 28635 7876 7672 0 -1 0 28493 0 0 0 70935 74 0 0 25 0 1 0 716442385 123621376 28470 4294967295 134512640 134581331 3221221776 3221220688 134519017 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30181 28470 566 18 0 30163 0
vsize: 120724
[startup+720.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28636
Raw data (stat): 28636 (Pueblo) R 28635 7876 7672 0 -1 0 28813 0 0 0 71934 75 0 0 25 0 1 0 716442385 124854272 28790 4294967295 134512640 134581331 3221221776 3221220720 134559312 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30482 28790 566 18 0 30464 0
vsize: 121928
[startup+730.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28636
Raw data (stat): 28636 (Pueblo) R 28635 7876 7672 0 -1 0 29072 0 0 0 72934 75 0 0 25 0 1 0 716442385 125865984 29049 4294967295 134512640 134581331 3221221776 3221220672 134517862 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30729 29049 566 18 0 30711 0
vsize: 122916
[startup+740.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28636
Raw data (stat): 28636 (Pueblo) R 28635 7876 7672 0 -1 0 29332 0 0 0 73933 76 0 0 25 0 1 0 716442385 127025152 29309 4294967295 134512640 134581331 3221221776 3221220672 134517878 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31012 29309 566 18 0 30994 0
vsize: 124048
[startup+750.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28636
Raw data (stat): 28636 (Pueblo) R 28635 7876 7672 0 -1 0 29727 0 0 0 74933 77 0 0 25 0 1 0 716442385 128667648 29704 4294967295 134512640 134581331 3221221776 3221220496 134523390 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31413 29704 566 18 0 31395 0
vsize: 125652
[startup+760.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28636
Raw data (stat): 28636 (Pueblo) R 28635 7876 7672 0 -1 0 30083 0 0 0 75932 78 0 0 25 0 1 0 716442385 130023424 30060 4294967295 134512640 134581331 3221221776 3221220660 134557954 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31744 30060 566 18 0 31726 0
vsize: 126976
[startup+770.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28636
Raw data (stat): 28636 (Pueblo) R 28635 7876 7672 0 -1 0 30269 0 0 0 76932 78 0 0 25 0 1 0 716442385 130809856 30246 4294967295 134512640 134581331 3221221776 3221220768 134561084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31936 30246 566 18 0 31918 0
vsize: 127744
[startup+780.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28636
Raw data (stat): 28636 (Pueblo) R 28635 7876 7672 0 -1 0 30713 0 0 0 77930 80 0 0 25 0 1 0 716442385 132698112 30690 4294967295 134512640 134581331 3221221776 3221220672 134517844 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32397 30690 566 18 0 32379 0
vsize: 129588
[startup+790.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28636
Raw data (stat): 28636 (Pueblo) R 28635 7876 7672 0 -1 0 31117 0 0 0 78929 81 0 0 25 0 1 0 716442385 134238208 31094 4294967295 134512640 134581331 3221221776 3221220768 134561084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32773 31094 566 18 0 32755 0
vsize: 131092
[startup+800.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28636
Raw data (stat): 28636 (Pueblo) R 28635 7876 7672 0 -1 0 31419 0 0 0 79929 82 0 0 25 0 1 0 716442385 135565312 31396 4294967295 134512640 134581331 3221221776 3221220672 134517862 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33097 31396 566 18 0 33079 0
vsize: 132388
[startup+810.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28636
Raw data (stat): 28636 (Pueblo) R 28635 7876 7672 0 -1 0 31641 0 0 0 80928 82 0 0 25 0 1 0 716442385 136474624 31618 4294967295 134512640 134581331 3221221776 3221220672 134517862 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33319 31618 566 18 0 33301 0
vsize: 133276
[startup+820.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28636
Raw data (stat): 28636 (Pueblo) R 28635 7876 7672 0 -1 0 32101 0 0 0 81927 83 0 0 25 0 1 0 716442385 138297344 32078 4294967295 134512640 134581331 3221221776 3221220704 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33764 32078 566 18 0 33746 0
vsize: 135056
[startup+830.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28636
Raw data (stat): 28636 (Pueblo) R 28635 7876 7672 0 -1 0 32403 0 0 0 82927 84 0 0 25 0 1 0 716442385 139509760 32380 4294967295 134512640 134581331 3221221776 3221220672 134517902 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34060 32380 566 18 0 34042 0
vsize: 136240
[startup+840.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28636
Raw data (stat): 28636 (Pueblo) R 28635 7876 7672 0 -1 0 32835 0 0 0 83926 86 0 0 25 0 1 0 716442385 141381632 32812 4294967295 134512640 134581331 3221221776 3221220704 134519947 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34517 32812 566 18 0 34499 0
vsize: 138068
[startup+850.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28636
Raw data (stat): 28636 (Pueblo) R 28635 7876 7672 0 -1 0 33298 0 0 0 84925 87 0 0 25 0 1 0 716442385 143216640 33275 4294967295 134512640 134581331 3221221776 3221220688 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34965 33275 566 18 0 34947 0
vsize: 139860
[startup+860.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28636
Raw data (stat): 28636 (Pueblo) R 28635 7876 7672 0 -1 0 33484 0 0 0 85925 87 0 0 25 0 1 0 716442385 144048128 33461 4294967295 134512640 134581331 3221221776 3221220672 134517878 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35168 33461 566 18 0 35150 0
vsize: 140672
[startup+870.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28636
Raw data (stat): 28636 (Pueblo) R 28635 7876 7672 0 -1 0 33818 0 0 0 86924 88 0 0 25 0 1 0 716442385 145367040 33795 4294967295 134512640 134581331 3221221776 3221220704 134520084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35490 33795 566 18 0 35472 0
vsize: 141960
[startup+880.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28636
Raw data (stat): 28636 (Pueblo) R 28635 7876 7672 0 -1 0 34244 0 0 0 87923 89 0 0 25 0 1 0 716442385 147152896 34221 4294967295 134512640 134581331 3221221776 3221220496 134523390 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35926 34221 566 18 0 35908 0
vsize: 143704
[startup+890.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28636
Raw data (stat): 28636 (Pueblo) R 28635 7876 7672 0 -1 0 34629 0 0 0 88922 90 0 0 25 0 1 0 716442385 148656128 34606 4294967295 134512640 134581331 3221221776 3221220768 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36293 34606 566 18 0 36275 0
vsize: 145172
[startup+900.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28636
Raw data (stat): 28636 (Pueblo) R 28635 7876 7672 0 -1 0 34764 0 0 0 89922 90 0 0 25 0 1 0 716442385 149200896 34741 4294967295 134512640 134581331 3221221776 3221220660 134557919 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36426 34741 566 18 0 36408 0
vsize: 145704
[startup+910.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28636
Raw data (stat): 28636 (Pueblo) R 28635 7876 7672 0 -1 0 35215 0 0 0 90920 92 0 0 25 0 1 0 716442385 151117824 35192 4294967295 134512640 134581331 3221221776 3221220688 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36894 35192 566 18 0 36876 0
vsize: 147576
[startup+920.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28636
Raw data (stat): 28636 (Pueblo) R 28635 7876 7672 0 -1 0 35495 0 0 0 91920 92 0 0 25 0 1 0 716442385 152252416 35472 4294967295 134512640 134581331 3221221776 3221220672 134517865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37171 35472 566 18 0 37153 0
vsize: 148684
[startup+930.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28636
Raw data (stat): 28636 (Pueblo) R 28635 7876 7672 0 -1 0 35709 0 0 0 92920 93 0 0 25 0 1 0 716442385 153075712 35686 4294967295 134512640 134581331 3221221776 3221220672 134517873 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37372 35686 566 18 0 37354 0
vsize: 149488
[startup+940.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28636
Raw data (stat): 28636 (Pueblo) R 28635 7876 7672 0 -1 0 36161 0 0 0 93919 94 0 0 25 0 1 0 716442385 154882048 36138 4294967295 134512640 134581331 3221221776 3221220688 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37813 36138 566 18 0 37795 0
vsize: 151252
[startup+950.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28636
Raw data (stat): 28636 (Pueblo) R 28635 7876 7672 0 -1 0 36268 0 0 0 94919 94 0 0 25 0 1 0 716442385 155385856 36245 4294967295 134512640 134581331 3221221776 3221220720 134558914 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37936 36245 566 18 0 37918 0
vsize: 151744
[startup+960.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28636
Raw data (stat): 28636 (Pueblo) R 28635 7876 7672 0 -1 0 36773 0 0 0 95918 95 0 0 25 0 1 0 716442385 157433856 36750 4294967295 134512640 134581331 3221221776 3221220704 134520076 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38436 36750 566 18 0 38418 0
vsize: 153744
[startup+970.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28636
Raw data (stat): 28636 (Pueblo) R 28635 7876 7672 0 -1 0 37122 0 0 0 96918 96 0 0 25 0 1 0 716442385 158826496 37099 4294967295 134512640 134581331 3221221776 3221220688 134519017 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38776 37099 566 18 0 38758 0
vsize: 155104
[startup+980.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28636
Raw data (stat): 28636 (Pueblo) R 28635 7876 7672 0 -1 0 37292 0 0 0 97918 96 0 0 25 0 1 0 716442385 159567872 37269 4294967295 134512640 134581331 3221221776 3221220660 134557775 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38957 37269 566 18 0 38939 0
vsize: 155828
[startup+990.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28636
Raw data (stat): 28636 (Pueblo) R 28635 7876 7672 0 -1 0 37610 0 0 0 98917 97 0 0 25 0 1 0 716442385 160854016 37587 4294967295 134512640 134581331 3221221776 3221220672 134517894 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39271 37587 566 18 0 39253 0
vsize: 157084
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28636
Raw data (stat): 28636 (Pueblo) R 28635 7876 7672 0 -1 0 38012 0 0 0 99916 98 0 0 25 0 1 0 716442385 162471936 37989 4294967295 134512640 134581331 3221221776 3221220672 134517894 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39666 37989 566 18 0 39648 0
vsize: 158664
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28636
Raw data (stat): 28636 (Pueblo) R 28635 7876 7672 0 -1 0 38201 0 0 0 100916 98 0 0 25 0 1 0 716442385 163233792 38178 4294967295 134512640 134581331 3221221776 3221220688 134519017 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39852 38178 566 18 0 39834 0
vsize: 159408
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28636
Raw data (stat): 28636 (Pueblo) R 28635 7876 7672 0 -1 0 38201 0 0 0 101916 98 0 0 25 0 1 0 716442385 163233792 38178 4294967295 134512640 134581331 3221221776 3221220672 134517880 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39852 38178 566 18 0 39834 0
vsize: 159408
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28636
Raw data (stat): 28636 (Pueblo) R 28635 7876 7672 0 -1 0 38581 0 0 0 102916 98 0 0 25 0 1 0 716442385 164790272 38558 4294967295 134512640 134581331 3221221776 3221220672 134517894 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40232 38558 566 18 0 40214 0
vsize: 160928
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28636
Raw data (stat): 28636 (Pueblo) R 28635 7876 7672 0 -1 0 38912 0 0 0 103915 99 0 0 25 0 1 0 716442385 166223872 38889 4294967295 134512640 134581331 3221221776 3221220672 134517894 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40582 38889 566 18 0 40564 0
vsize: 162328
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28636
Raw data (stat): 28636 (Pueblo) R 28635 7876 7672 0 -1 0 38912 0 0 0 104915 99 0 0 25 0 1 0 716442385 166223872 38889 4294967295 134512640 134581331 3221221776 3221220768 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40582 38889 566 18 0 40564 0
vsize: 162328
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28636
Raw data (stat): 28636 (Pueblo) R 28635 7876 7672 0 -1 0 39057 0 0 0 105915 100 0 0 25 0 1 0 716442385 166875136 39034 4294967295 134512640 134581331 3221221776 3221220704 134520027 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40741 39034 566 18 0 40723 0
vsize: 162964
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28636
Raw data (stat): 28636 (Pueblo) R 28635 7876 7672 0 -1 0 39147 0 0 0 106915 100 0 0 25 0 1 0 716442385 167137280 39124 4294967295 134512640 134581331 3221221776 3221220660 134557951 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40805 39124 566 18 0 40787 0
vsize: 163220
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28636
Raw data (stat): 28636 (Pueblo) R 28635 7876 7672 0 -1 0 39147 0 0 0 107916 100 0 0 25 0 1 0 716442385 167137280 39124 4294967295 134512640 134581331 3221221776 3221220660 134557898 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40805 39124 566 18 0 40787 0
vsize: 163220
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28636
Raw data (stat): 28636 (Pueblo) R 28635 7876 7672 0 -1 0 39147 0 0 0 108916 100 0 0 25 0 1 0 716442385 167137280 39124 4294967295 134512640 134581331 3221221776 3221220688 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40805 39124 566 18 0 40787 0
vsize: 163220
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28636
Raw data (stat): 28636 (Pueblo) R 28635 7876 7672 0 -1 0 39147 0 0 0 109916 100 0 0 25 0 1 0 716442385 167137280 39124 4294967295 134512640 134581331 3221221776 3221220704 134519829 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40805 39124 566 18 0 40787 0
vsize: 163220
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28636
Raw data (stat): 28636 (Pueblo) R 28635 7876 7672 0 -1 0 39147 0 0 0 110916 100 0 0 25 0 1 0 716442385 167137280 39124 4294967295 134512640 134581331 3221221776 3221220704 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40805 39124 566 18 0 40787 0
vsize: 163220
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28636
Raw data (stat): 28636 (Pueblo) R 28635 7876 7672 0 -1 0 39147 0 0 0 111916 100 0 0 25 0 1 0 716442385 167137280 39124 4294967295 134512640 134581331 3221221776 3221220660 134557746 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40805 39124 566 18 0 40787 0
vsize: 163220
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28636
Raw data (stat): 28636 (Pueblo) R 28635 7876 7672 0 -1 0 39147 0 0 0 112916 100 0 0 25 0 1 0 716442385 167137280 39124 4294967295 134512640 134581331 3221221776 3221220688 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40805 39124 566 18 0 40787 0
vsize: 163220
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28636
Raw data (stat): 28636 (Pueblo) R 28635 7876 7672 0 -1 0 39147 0 0 0 113917 100 0 0 25 0 1 0 716442385 167137280 39124 4294967295 134512640 134581331 3221221776 3221220428 1075289104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40805 39124 566 18 0 40787 0
vsize: 163220
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28636
Raw data (stat): 28636 (Pueblo) R 28635 7876 7672 0 -1 0 39147 0 0 0 114917 100 0 0 25 0 1 0 716442385 167137280 39124 4294967295 134512640 134581331 3221221776 3221220672 134517868 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40805 39124 566 18 0 40787 0
vsize: 163220
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28636
Raw data (stat): 28636 (Pueblo) R 28635 7876 7672 0 -1 0 39147 0 0 0 115917 100 0 0 25 0 1 0 716442385 167137280 39124 4294967295 134512640 134581331 3221221776 3221220672 134517912 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40805 39124 566 18 0 40787 0
vsize: 163220
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28636
Raw data (stat): 28636 (Pueblo) R 28635 7876 7672 0 -1 0 39147 0 0 0 116917 100 0 0 25 0 1 0 716442385 167137280 39124 4294967295 134512640 134581331 3221221776 3221220672 134517865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40805 39124 566 18 0 40787 0
vsize: 163220
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28636
Raw data (stat): 28636 (Pueblo) R 28635 7876 7672 0 -1 0 39147 0 0 0 117917 100 0 0 25 0 1 0 716442385 167137280 39124 4294967295 134512640 134581331 3221221776 3221220688 134519017 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40805 39124 566 18 0 40787 0
vsize: 163220
[startup+1190.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28636
Raw data (stat): 28636 (Pueblo) R 28635 7876 7672 0 -1 0 39147 0 0 0 118917 100 0 0 25 0 1 0 716442385 167137280 39124 4294967295 134512640 134581331 3221221776 3221220768 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40805 39124 566 18 0 40787 0
vsize: 163220
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28636
Raw data (stat): 28636 (Pueblo) R 28635 7876 7672 0 -1 0 39147 0 0 0 119917 100 0 0 25 0 1 0 716442385 167137280 39124 4294967295 134512640 134581331 3221221776 3221220496 134523390 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40805 39124 566 18 0 40787 0
vsize: 163220
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.1 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 28636
Raw data (stat): 28636 (Pueblo) Z 28635 7876 7672 0 -1 1036 39147 0 0 0 119917 108 0 0 25 0 1 0 716442385 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.1
CPU time (s): 1200.26
CPU user time (s): 1199.17
CPU system time (s): 1.08183
CPU usage (%): 100.013
Max. virtual memory (Kb): 163220
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####