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.8.accl.ucl.opb
MD5SUM	0e5bfa52e1e730089f4eefb216f69dfd
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	73
Number of bits of the biggest number in a constraint	7
Biggest sum of numbers in a constraint	262
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	21380
Total number of constraints	60984
Number of constraints which are clauses	58828
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	2156
Minimum length of a constraint	1
Maximum length of a constraint	13
Trace number 24640

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-11 10:36:45 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2698 boxname=wulflinc31 idbench=300 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  0e5bfa52e1e730089f4eefb216f69dfd  /oldhome/oroussel/tmp/wulflinc31/normalized-ooo.burch_dill.8.accl.ucl.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc31/normalized-ooo.burch_dill.8.accl.ucl.opb
IDLAUNCH: 2698
/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:        922744 kB
Buffers:         14276 kB
Cached:          75504 kB
SwapCached:        864 kB
Active:          47068 kB
Inactive:        44640 kB
HighTotal:      131008 kB
HighFree:        53788 kB
LowTotal:       903652 kB
LowFree:        868956 kB
SwapTotal:     2097892 kB
SwapFree:      2095780 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4696 kB
Slab:            14360 kB
Committed_AS:    63652 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-11 10:57:01 (client local time) WITH STATUS 0 IN 1200.9 SECONDS
stats: 2698 7 1200.9 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.77 0.94 0.90 2/54 29125
Raw data (stat): 29125 (runsolver) R 29124 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 717216758 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.0001 s]
Raw data (loadavg): 0.81 0.94 0.90 2/54 29125
Raw data (stat): 29125 (Pueblo) R 29124 7876 7672 0 -1 0 3012 0 0 0 985 12 0 0 25 0 1 0 717216758 18817024 2989 4294967295 134512640 134581331 3221221776 3221220768 134531728 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4594 2989 566 18 0 4576 0
vsize: 18376
[startup+20.0011 s]
Raw data (loadavg): 0.84 0.94 0.91 2/54 29125
Raw data (stat): 29125 (Pueblo) R 29124 7876 7672 0 -1 0 3552 0 0 0 1983 14 0 0 25 0 1 0 717216758 21106688 3529 4294967295 134512640 134581331 3221221776 3221220768 134531720 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5153 3529 566 18 0 5135 0
vsize: 20612
[startup+30.0021 s]
Raw data (loadavg): 0.86 0.94 0.91 2/54 29125
Raw data (stat): 29125 (Pueblo) R 29124 7876 7672 0 -1 0 4000 0 0 0 2982 15 0 0 25 0 1 0 717216758 22999040 3977 4294967295 134512640 134581331 3221221776 3221220496 134523332 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5615 3977 566 18 0 5597 0
vsize: 22460
[startup+40.002 s]
Raw data (loadavg): 0.88 0.94 0.91 2/54 29125
Raw data (stat): 29125 (Pueblo) R 29124 7876 7672 0 -1 0 4000 0 0 0 3981 16 0 0 25 0 1 0 717216758 22999040 3977 4294967295 134512640 134581331 3221221776 3221220672 134517880 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5615 3977 566 18 0 5597 0
vsize: 22460
[startup+50.0029 s]
Raw data (loadavg): 0.90 0.94 0.91 2/54 29125
Raw data (stat): 29125 (Pueblo) R 29124 7876 7672 0 -1 0 4000 0 0 0 4981 16 0 0 25 0 1 0 717216758 22999040 3977 4294967295 134512640 134581331 3221221776 3221220660 134557714 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5615 3977 566 18 0 5597 0
vsize: 22460
[startup+60.0028 s]
Raw data (loadavg): 0.91 0.95 0.91 2/54 29125
Raw data (stat): 29125 (Pueblo) R 29124 7876 7672 0 -1 0 4000 0 0 0 5980 17 0 0 25 0 1 0 717216758 22999040 3977 4294967295 134512640 134581331 3221221776 3221220768 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5615 3977 566 18 0 5597 0
vsize: 22460
[startup+70.0038 s]
Raw data (loadavg): 0.93 0.95 0.91 2/54 29125
Raw data (stat): 29125 (Pueblo) R 29124 7876 7672 0 -1 0 4476 0 0 0 6978 20 0 0 25 0 1 0 717216758 24834048 4453 4294967295 134512640 134581331 3221221776 3221220704 134519958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6063 4453 566 18 0 6045 0
vsize: 24252
[startup+80.0047 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 29125
Raw data (stat): 29125 (Pueblo) R 29124 7876 7672 0 -1 0 4917 0 0 0 7976 21 0 0 25 0 1 0 717216758 26738688 4894 4294967295 134512640 134581331 3221221776 3221220660 134557960 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6528 4894 566 18 0 6510 0
vsize: 26112
[startup+90.0046 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 29125
Raw data (stat): 29125 (Pueblo) R 29124 7876 7672 0 -1 0 5510 0 0 0 8974 24 0 0 25 0 1 0 717216758 29065216 5487 4294967295 134512640 134581331 3221221776 3221220660 134557846 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7096 5487 566 18 0 7078 0
vsize: 28384
[startup+100.005 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 29125
Raw data (stat): 29125 (Pueblo) R 29124 7876 7672 0 -1 0 6052 0 0 0 9972 25 0 0 25 0 1 0 717216758 31383552 6029 4294967295 134512640 134581331 3221221776 3221220660 134557844 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7662 6029 566 18 0 7644 0
vsize: 30648
[startup+110.005 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 29125
Raw data (stat): 29125 (Pueblo) R 29124 7876 7672 0 -1 0 6598 0 0 0 10970 28 0 0 25 0 1 0 717216758 33632256 6575 4294967295 134512640 134581331 3221221776 3221220660 134557830 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8211 6575 566 18 0 8193 0
vsize: 32844
[startup+120.005 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 29125
Raw data (stat): 29125 (Pueblo) R 29124 7876 7672 0 -1 0 7064 0 0 0 11968 30 0 0 25 0 1 0 717216758 35549184 7041 4294967295 134512640 134581331 3221221776 3221220464 1075288736 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8679 7041 566 18 0 8661 0
vsize: 34716
[startup+130.005 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 29125
Raw data (stat): 29125 (Pueblo) R 29124 7876 7672 0 -1 0 7604 0 0 0 12966 32 0 0 25 0 1 0 717216758 37814272 7581 4294967295 134512640 134581331 3221221776 3221220672 134517871 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9232 7581 566 18 0 9214 0
vsize: 36928
[startup+140.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 29125
Raw data (stat): 29125 (Pueblo) R 29124 7876 7672 0 -1 0 8112 0 0 0 13964 34 0 0 25 0 1 0 717216758 39809024 8089 4294967295 134512640 134581331 3221221776 3221220660 134557874 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9719 8089 566 18 0 9701 0
vsize: 38876
[startup+150.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 29125
Raw data (stat): 29125 (Pueblo) R 29124 7876 7672 0 -1 0 8434 0 0 0 14963 36 0 0 25 0 1 0 717216758 41086976 8411 4294967295 134512640 134581331 3221221776 3221220660 134557861 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10031 8411 566 18 0 10013 0
vsize: 40124
[startup+160.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 29125
Raw data (stat): 29125 (Pueblo) R 29124 7876 7672 0 -1 0 8925 0 0 0 15961 37 0 0 25 0 1 0 717216758 43204608 8902 4294967295 134512640 134581331 3221221776 3221220660 134557761 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10548 8902 566 18 0 10530 0
vsize: 42192
[startup+170.007 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 29125
Raw data (stat): 29125 (Pueblo) R 29124 7876 7672 0 -1 0 9137 0 0 0 16960 38 0 0 25 0 1 0 717216758 43978752 9114 4294967295 134512640 134581331 3221221776 3221220688 134527445 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10737 9114 566 18 0 10719 0
vsize: 42948
[startup+180.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29125
Raw data (stat): 29125 (Pueblo) R 29124 7876 7672 0 -1 0 9297 0 0 0 17960 39 0 0 25 0 1 0 717216758 44777472 9274 4294967295 134512640 134581331 3221221776 3221220704 134519829 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10932 9274 566 18 0 10914 0
vsize: 43728
[startup+190.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29125
Raw data (stat): 29125 (Pueblo) R 29124 7876 7672 0 -1 0 9466 0 0 0 18959 40 0 0 25 0 1 0 717216758 45416448 9443 4294967295 134512640 134581331 3221221776 3221220768 134561087 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11088 9443 566 18 0 11070 0
vsize: 44352
[startup+200.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29125
Raw data (stat): 29125 (Pueblo) R 29124 7876 7672 0 -1 0 10085 0 0 0 19957 42 0 0 25 0 1 0 717216758 48070656 10062 4294967295 134512640 134581331 3221221776 3221220768 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11736 10062 566 18 0 11718 0
vsize: 46944
[startup+210.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29125
Raw data (stat): 29125 (Pueblo) R 29124 7876 7672 0 -1 0 10592 0 0 0 20955 45 0 0 25 0 1 0 717216758 50012160 10569 4294967295 134512640 134581331 3221221776 3221220688 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12210 10569 566 18 0 12192 0
vsize: 48840
[startup+220.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29125
Raw data (stat): 29125 (Pueblo) R 29124 7876 7672 0 -1 0 11109 0 0 0 21953 46 0 0 25 0 1 0 717216758 52158464 11086 4294967295 134512640 134581331 3221221776 3221220660 134557913 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12734 11086 566 18 0 12716 0
vsize: 50936
[startup+230.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29125
Raw data (stat): 29125 (Pueblo) R 29124 7876 7672 0 -1 0 11546 0 0 0 22952 48 0 0 25 0 1 0 717216758 53964800 11523 4294967295 134512640 134581331 3221221776 3221220660 134557960 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13175 11523 566 18 0 13157 0
vsize: 52700
[startup+240.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29125
Raw data (stat): 29125 (Pueblo) R 29124 7876 7672 0 -1 0 11957 0 0 0 23951 49 0 0 25 0 1 0 717216758 55693312 11934 4294967295 134512640 134581331 3221221776 3221220708 134559722 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13597 11934 566 18 0 13579 0
vsize: 54388
[startup+250.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29125
Raw data (stat): 29125 (Pueblo) R 29124 7876 7672 0 -1 0 12538 0 0 0 24949 51 0 0 25 0 1 0 717216758 58068992 12515 4294967295 134512640 134581331 3221221776 3221220660 134557948 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14177 12515 566 18 0 14159 0
vsize: 56708
[startup+260.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29125
Raw data (stat): 29125 (Pueblo) R 29124 7876 7672 0 -1 0 12992 0 0 0 25947 53 0 0 25 0 1 0 717216758 59916288 12969 4294967295 134512640 134581331 3221221776 3221220496 134522634 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14628 12969 566 18 0 14610 0
vsize: 58512
[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29125
Raw data (stat): 29125 (Pueblo) R 29124 7876 7672 0 -1 0 13598 0 0 0 26946 55 0 0 25 0 1 0 717216758 62345216 13575 4294967295 134512640 134581331 3221221776 3221220704 134520032 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15221 13575 566 18 0 15203 0
vsize: 60884
[startup+280.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29125
Raw data (stat): 29125 (Pueblo) R 29124 7876 7672 0 -1 0 14022 0 0 0 27943 57 0 0 25 0 1 0 717216758 64053248 13999 4294967295 134512640 134581331 3221221776 3221220704 134519829 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15638 13999 566 18 0 15620 0
vsize: 62552
[startup+290.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29125
Raw data (stat): 29125 (Pueblo) R 29124 7876 7672 0 -1 0 14545 0 0 0 28941 59 0 0 25 0 1 0 717216758 66191360 14522 4294967295 134512640 134581331 3221221776 3221220660 134557948 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16160 14522 566 18 0 16142 0
vsize: 64640
[startup+300.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29125
Raw data (stat): 29125 (Pueblo) R 29124 7876 7672 0 -1 0 15002 0 0 0 29940 61 0 0 25 0 1 0 717216758 68128768 14979 4294967295 134512640 134581331 3221221776 3221220768 134561111 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16633 14979 566 18 0 16615 0
vsize: 66532
[startup+310.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29125
Raw data (stat): 29125 (Pueblo) R 29124 7876 7672 0 -1 0 15563 0 0 0 30939 62 0 0 25 0 1 0 717216758 70307840 15540 4294967295 134512640 134581331 3221221776 3221220704 134520027 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17165 15540 566 18 0 17147 0
vsize: 68660
[startup+320.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29125
Raw data (stat): 29125 (Pueblo) R 29124 7876 7672 0 -1 0 16086 0 0 0 31937 64 0 0 25 0 1 0 717216758 72458240 16063 4294967295 134512640 134581331 3221221776 3221220660 134557928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17690 16063 566 18 0 17672 0
vsize: 70760
[startup+330.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29125
Raw data (stat): 29125 (Pueblo) R 29124 7876 7672 0 -1 0 16667 0 0 0 32935 66 0 0 25 0 1 0 717216758 74895360 16644 4294967295 134512640 134581331 3221221776 3221220704 134519996 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18285 16644 566 18 0 18267 0
vsize: 73140
[startup+340.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29125
Raw data (stat): 29125 (Pueblo) R 29124 7876 7672 0 -1 0 17157 0 0 0 33933 68 0 0 25 0 1 0 717216758 76849152 17134 4294967295 134512640 134581331 3221221776 3221220768 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18762 17134 566 18 0 18744 0
vsize: 75048
[startup+350.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29125
Raw data (stat): 29125 (Pueblo) R 29124 7876 7672 0 -1 0 17380 0 0 0 34932 69 0 0 25 0 1 0 717216758 77778944 17357 4294967295 134512640 134581331 3221221776 3221220752 134560724 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18989 17357 566 18 0 18971 0
vsize: 75956
[startup+360.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29125
Raw data (stat): 29125 (Pueblo) R 29124 7876 7672 0 -1 0 17441 0 0 0 35932 69 0 0 25 0 1 0 717216758 78045184 17418 4294967295 134512640 134581331 3221221776 3221220768 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19054 17418 566 18 0 19036 0
vsize: 76216
[startup+370.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29125
Raw data (stat): 29125 (Pueblo) R 29124 7876 7672 0 -1 0 17802 0 0 0 36931 71 0 0 25 0 1 0 717216758 79486976 17779 4294967295 134512640 134581331 3221221776 3221220768 134561142 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19406 17779 566 18 0 19388 0
vsize: 77624
[startup+380.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29125
Raw data (stat): 29125 (Pueblo) R 29124 7876 7672 0 -1 0 18215 0 0 0 37930 72 0 0 25 0 1 0 717216758 81534976 18192 4294967295 134512640 134581331 3221221776 3221220768 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19906 18192 566 18 0 19888 0
vsize: 79624
[startup+390.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29125
Raw data (stat): 29125 (Pueblo) R 29124 7876 7672 0 -1 0 18671 0 0 0 38929 73 0 0 25 0 1 0 717216758 83320832 18648 4294967295 134512640 134581331 3221221776 3221220704 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20342 18648 566 18 0 20324 0
vsize: 81368
[startup+400.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29125
Raw data (stat): 29125 (Pueblo) R 29124 7876 7672 0 -1 0 19051 0 0 0 39928 74 0 0 25 0 1 0 717216758 84955136 19028 4294967295 134512640 134581331 3221221776 3221220660 134557830 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20741 19028 566 18 0 20723 0
vsize: 82964
[startup+410.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29125
Raw data (stat): 29125 (Pueblo) R 29124 7876 7672 0 -1 0 19508 0 0 0 40926 76 0 0 25 0 1 0 717216758 86732800 19485 4294967295 134512640 134581331 3221221776 3221220704 134519829 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21175 19485 566 18 0 21157 0
vsize: 84700
[startup+420.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29125
Raw data (stat): 29125 (Pueblo) R 29124 7876 7672 0 -1 0 19688 0 0 0 41926 77 0 0 25 0 1 0 717216758 87494656 19665 4294967295 134512640 134581331 3221221776 3221220768 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21361 19665 566 18 0 21343 0
vsize: 85444
[startup+430.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29125
Raw data (stat): 29125 (Pueblo) R 29124 7876 7672 0 -1 0 20089 0 0 0 42924 78 0 0 25 0 1 0 717216758 89141248 20066 4294967295 134512640 134581331 3221221776 3221220720 134559377 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21763 20066 566 18 0 21745 0
vsize: 87052
[startup+440.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29125
Raw data (stat): 29125 (Pueblo) R 29124 7876 7672 0 -1 0 20436 0 0 0 43923 80 0 0 25 0 1 0 717216758 90537984 20413 4294967295 134512640 134581331 3221221776 3221220704 134519803 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22104 20413 566 18 0 22086 0
vsize: 88416
[startup+450.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29125
Raw data (stat): 29125 (Pueblo) R 29124 7876 7672 0 -1 0 20729 0 0 0 44922 81 0 0 25 0 1 0 717216758 91758592 20706 4294967295 134512640 134581331 3221221776 3221220704 134519945 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22402 20706 566 18 0 22384 0
vsize: 89608
[startup+460.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29125
Raw data (stat): 29125 (Pueblo) R 29124 7876 7672 0 -1 0 21013 0 0 0 45921 82 0 0 25 0 1 0 717216758 92852224 20990 4294967295 134512640 134581331 3221221776 3221220768 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22669 20990 566 18 0 22651 0
vsize: 90676
[startup+470.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29125
Raw data (stat): 29125 (Pueblo) R 29124 7876 7672 0 -1 0 21418 0 0 0 46919 84 0 0 25 0 1 0 717216758 94568448 21395 4294967295 134512640 134581331 3221221776 3221220704 134520076 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23088 21395 566 18 0 23070 0
vsize: 92352
[startup+480.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29125
Raw data (stat): 29125 (Pueblo) R 29124 7876 7672 0 -1 0 21604 0 0 0 47919 85 0 0 25 0 1 0 717216758 95326208 21581 4294967295 134512640 134581331 3221221776 3221220716 134559718 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23273 21581 566 18 0 23255 0
vsize: 93092
[startup+490.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29125
Raw data (stat): 29125 (Pueblo) R 29124 7876 7672 0 -1 0 21984 0 0 0 48917 87 0 0 25 0 1 0 717216758 96874496 21961 4294967295 134512640 134581331 3221221776 3221220768 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23651 21961 566 18 0 23633 0
vsize: 94604
[startup+500.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29125
Raw data (stat): 29125 (Pueblo) R 29124 7876 7672 0 -1 0 22296 0 0 0 49915 89 0 0 25 0 1 0 717216758 98181120 22273 4294967295 134512640 134581331 3221221776 3221220768 134561084 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23970 22273 566 18 0 23952 0
vsize: 95880
[startup+510.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29125
Raw data (stat): 29125 (Pueblo) R 29124 7876 7672 0 -1 0 22686 0 0 0 50914 90 0 0 25 0 1 0 717216758 99733504 22663 4294967295 134512640 134581331 3221221776 3221220704 134519829 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24349 22663 566 18 0 24331 0
vsize: 97396
[startup+520.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29125
Raw data (stat): 29125 (Pueblo) R 29124 7876 7672 0 -1 0 23074 0 0 0 51913 91 0 0 25 0 1 0 717216758 101421056 23051 4294967295 134512640 134581331 3221221776 3221220672 134517865 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24761 23051 566 18 0 24743 0
vsize: 99044
[startup+530.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29125
Raw data (stat): 29125 (Pueblo) R 29124 7876 7672 0 -1 0 23400 0 0 0 52912 92 0 0 25 0 1 0 717216758 102703104 23377 4294967295 134512640 134581331 3221221776 3221220704 134519899 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25074 23377 566 18 0 25056 0
vsize: 100296
[startup+540.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29125
Raw data (stat): 29125 (Pueblo) R 29124 7876 7672 0 -1 0 23889 0 0 0 53911 94 0 0 25 0 1 0 717216758 104714240 23866 4294967295 134512640 134581331 3221221776 3221220768 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25565 23866 566 18 0 25547 0
vsize: 102260
[startup+550.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29125
Raw data (stat): 29125 (Pueblo) R 29124 7876 7672 0 -1 0 24148 0 0 0 54910 94 0 0 25 0 1 0 717216758 105742336 24125 4294967295 134512640 134581331 3221221776 3221220768 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25816 24125 566 18 0 25798 0
vsize: 103264
[startup+560.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29125
Raw data (stat): 29125 (Pueblo) R 29124 7876 7672 0 -1 0 24561 0 0 0 55909 95 0 0 25 0 1 0 717216758 107454464 24538 4294967295 134512640 134581331 3221221776 3221220768 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26234 24538 566 18 0 26216 0
vsize: 104936
[startup+570.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29125
Raw data (stat): 29125 (Pueblo) R 29124 7876 7672 0 -1 0 24738 0 0 0 56909 96 0 0 25 0 1 0 717216758 108208128 24715 4294967295 134512640 134581331 3221221776 3221220744 134519777 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26418 24715 566 18 0 26400 0
vsize: 105672
[startup+580.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29125
Raw data (stat): 29125 (Pueblo) R 29124 7876 7672 0 -1 0 25038 0 0 0 57908 97 0 0 25 0 1 0 717216758 109436928 25015 4294967295 134512640 134581331 3221221776 3221220704 134519950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26718 25015 566 18 0 26700 0
vsize: 106872
[startup+590.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29125
Raw data (stat): 29125 (Pueblo) R 29124 7876 7672 0 -1 0 25293 0 0 0 58907 98 0 0 25 0 1 0 717216758 110456832 25270 4294967295 134512640 134581331 3221221776 3221220672 134517764 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26967 25270 566 18 0 26949 0
vsize: 107868
[startup+600.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29125
Raw data (stat): 29125 (Pueblo) R 29124 7876 7672 0 -1 0 25656 0 0 0 59905 100 0 0 25 0 1 0 717216758 112021504 25633 4294967295 134512640 134581331 3221221776 3221220688 134519017 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27349 25633 566 18 0 27331 0
vsize: 109396
[startup+610.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29125
Raw data (stat): 29125 (Pueblo) R 29124 7876 7672 0 -1 0 25989 0 0 0 60905 100 0 0 25 0 1 0 717216758 113287168 25966 4294967295 134512640 134581331 3221221776 3221220660 134557761 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27658 25966 566 18 0 27640 0
vsize: 110632
[startup+620.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29125
Raw data (stat): 29125 (Pueblo) R 29124 7876 7672 0 -1 0 26338 0 0 0 61904 102 0 0 25 0 1 0 717216758 114749440 26315 4294967295 134512640 134581331 3221221776 3221220768 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28015 26315 566 18 0 27997 0
vsize: 112060
[startup+630.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29125
Raw data (stat): 29125 (Pueblo) R 29124 7876 7672 0 -1 0 26697 0 0 0 62903 103 0 0 25 0 1 0 717216758 116310016 26674 4294967295 134512640 134581331 3221221776 3221220704 134519838 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28396 26674 566 18 0 28378 0
vsize: 113584
[startup+640.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29125
Raw data (stat): 29125 (Pueblo) R 29124 7876 7672 0 -1 0 26933 0 0 0 63902 104 0 0 25 0 1 0 717216758 117178368 26910 4294967295 134512640 134581331 3221221776 3221220524 1075285163 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28608 26910 566 18 0 28590 0
vsize: 114432
[startup+650.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29125
Raw data (stat): 29125 (Pueblo) R 29124 7876 7672 0 -1 0 26933 0 0 0 64902 104 0 0 25 0 1 0 717216758 117178368 26910 4294967295 134512640 134581331 3221221776 3221220660 134557876 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28608 26910 566 18 0 28590 0
vsize: 114432
[startup+660.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29125
Raw data (stat): 29125 (Pueblo) R 29124 7876 7672 0 -1 0 26933 0 0 0 65902 104 0 0 25 0 1 0 717216758 117178368 26910 4294967295 134512640 134581331 3221221776 3221220704 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28608 26910 566 18 0 28590 0
vsize: 114432
[startup+670.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29125
Raw data (stat): 29125 (Pueblo) R 29124 7876 7672 0 -1 0 26933 0 0 0 66902 104 0 0 25 0 1 0 717216758 117178368 26910 4294967295 134512640 134581331 3221221776 3221220660 134557874 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28608 26910 566 18 0 28590 0
vsize: 114432
[startup+680.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29125
Raw data (stat): 29125 (Pueblo) R 29124 7876 7672 0 -1 0 26933 0 0 0 67902 105 0 0 25 0 1 0 717216758 117178368 26910 4294967295 134512640 134581331 3221221776 3221220688 134519017 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28608 26910 566 18 0 28590 0
vsize: 114432
[startup+690.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29125
Raw data (stat): 29125 (Pueblo) R 29124 7876 7672 0 -1 0 26933 0 0 0 68902 105 0 0 25 0 1 0 717216758 117178368 26910 4294967295 134512640 134581331 3221221776 3221220672 134517897 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28608 26910 566 18 0 28590 0
vsize: 114432
[startup+700.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29125
Raw data (stat): 29125 (Pueblo) R 29124 7876 7672 0 -1 0 26933 0 0 0 69902 105 0 0 25 0 1 0 717216758 117178368 26910 4294967295 134512640 134581331 3221221776 3221220660 134557761 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28608 26910 566 18 0 28590 0
vsize: 114432
[startup+710.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29125
Raw data (stat): 29125 (Pueblo) R 29124 7876 7672 0 -1 0 26933 0 0 0 70902 105 0 0 25 0 1 0 717216758 117178368 26910 4294967295 134512640 134581331 3221221776 3221220704 134519945 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28608 26910 566 18 0 28590 0
vsize: 114432
[startup+720.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29125
Raw data (stat): 29125 (Pueblo) R 29124 7876 7672 0 -1 0 26933 0 0 0 71902 105 0 0 25 0 1 0 717216758 117178368 26910 4294967295 134512640 134581331 3221221776 3221219824 134532306 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28608 26910 566 18 0 28590 0
vsize: 114432
[startup+730.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29125
Raw data (stat): 29125 (Pueblo) R 29124 7876 7672 0 -1 0 26933 0 0 0 72903 105 0 0 25 0 1 0 717216758 117178368 26910 4294967295 134512640 134581331 3221221776 3221220672 134517873 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28608 26910 566 18 0 28590 0
vsize: 114432
[startup+740.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29125
Raw data (stat): 29125 (Pueblo) R 29124 7876 7672 0 -1 0 26933 0 0 0 73903 105 0 0 25 0 1 0 717216758 117178368 26910 4294967295 134512640 134581331 3221221776 3221220660 134557830 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28608 26910 566 18 0 28590 0
vsize: 114432
[startup+750.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29125
Raw data (stat): 29125 (Pueblo) R 29124 7876 7672 0 -1 0 26933 0 0 0 74903 105 0 0 25 0 1 0 717216758 117178368 26910 4294967295 134512640 134581331 3221221776 3221220660 134557930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28608 26910 566 18 0 28590 0
vsize: 114432
[startup+760.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29125
Raw data (stat): 29125 (Pueblo) R 29124 7876 7672 0 -1 0 26933 0 0 0 75903 105 0 0 25 0 1 0 717216758 117178368 26910 4294967295 134512640 134581331 3221221776 3221220688 134519011 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28608 26910 566 18 0 28590 0
vsize: 114432
[startup+770.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29125
Raw data (stat): 29125 (Pueblo) R 29124 7876 7672 0 -1 0 26933 0 0 0 76903 105 0 0 25 0 1 0 717216758 117178368 26910 4294967295 134512640 134581331 3221221776 3221220768 134561084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28608 26910 566 18 0 28590 0
vsize: 114432
[startup+780.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29125
Raw data (stat): 29125 (Pueblo) R 29124 7876 7672 0 -1 0 26933 0 0 0 77903 105 0 0 25 0 1 0 717216758 117178368 26910 4294967295 134512640 134581331 3221221776 3221220704 134519947 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28608 26910 566 18 0 28590 0
vsize: 114432
[startup+790.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29125
Raw data (stat): 29125 (Pueblo) R 29124 7876 7672 0 -1 0 26934 0 0 0 78904 105 0 0 25 0 1 0 717216758 117178368 26911 4294967295 134512640 134581331 3221221776 3221220660 134557830 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28608 26911 566 18 0 28590 0
vsize: 114432
[startup+800.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29125
Raw data (stat): 29125 (Pueblo) R 29124 7876 7672 0 -1 0 26934 0 0 0 79904 105 0 0 25 0 1 0 717216758 117178368 26911 4294967295 134512640 134581331 3221221776 3221220660 134557863 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28608 26911 566 18 0 28590 0
vsize: 114432
[startup+810.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29125
Raw data (stat): 29125 (Pueblo) R 29124 7876 7672 0 -1 0 26934 0 0 0 80904 105 0 0 25 0 1 0 717216758 117178368 26911 4294967295 134512640 134581331 3221221776 3221220672 134517875 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28608 26911 566 18 0 28590 0
vsize: 114432
[startup+820.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29125
Raw data (stat): 29125 (Pueblo) R 29124 7876 7672 0 -1 0 26936 0 0 0 81904 105 0 0 25 0 1 0 717216758 117178368 26913 4294967295 134512640 134581331 3221221776 3221220704 134520032 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28608 26913 566 18 0 28590 0
vsize: 114432
[startup+830.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29125
Raw data (stat): 29125 (Pueblo) R 29124 7876 7672 0 -1 0 26936 0 0 0 82904 105 0 0 25 0 1 0 717216758 117178368 26913 4294967295 134512640 134581331 3221221776 3221220656 134520297 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28608 26913 566 18 0 28590 0
vsize: 114432
[startup+840.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29125
Raw data (stat): 29125 (Pueblo) R 29124 7876 7672 0 -1 0 26936 0 0 0 83904 105 0 0 25 0 1 0 717216758 117178368 26913 4294967295 134512640 134581331 3221221776 3221220768 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28608 26913 566 18 0 28590 0
vsize: 114432
[startup+850.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29125
Raw data (stat): 29125 (Pueblo) R 29124 7876 7672 0 -1 0 26938 0 0 0 84904 105 0 0 25 0 1 0 717216758 117178368 26915 4294967295 134512640 134581331 3221221776 3221220660 134557761 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28608 26915 566 18 0 28590 0
vsize: 114432
[startup+860.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29125
Raw data (stat): 29125 (Pueblo) R 29124 7876 7672 0 -1 0 26940 0 0 0 85904 105 0 0 25 0 1 0 717216758 117178368 26917 4294967295 134512640 134581331 3221221776 3221220656 134520258 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28608 26917 566 18 0 28590 0
vsize: 114432
[startup+870.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29125
Raw data (stat): 29125 (Pueblo) R 29124 7876 7672 0 -1 0 26940 0 0 0 86905 105 0 0 25 0 1 0 717216758 117178368 26917 4294967295 134512640 134581331 3221221776 3221220672 134517873 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28608 26917 566 18 0 28590 0
vsize: 114432
[startup+880.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29125
Raw data (stat): 29125 (Pueblo) R 29124 7876 7672 0 -1 0 26941 0 0 0 87905 105 0 0 25 0 1 0 717216758 117178368 26918 4294967295 134512640 134581331 3221221776 3221220660 134557849 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28608 26918 566 18 0 28590 0
vsize: 114432
[startup+890.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29125
Raw data (stat): 29125 (Pueblo) R 29124 7876 7672 0 -1 0 26941 0 0 0 88905 105 0 0 25 0 1 0 717216758 117178368 26918 4294967295 134512640 134581331 3221221776 3221220768 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28608 26918 566 18 0 28590 0
vsize: 114432
[startup+900.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29125
Raw data (stat): 29125 (Pueblo) R 29124 7876 7672 0 -1 0 26941 0 0 0 89905 105 0 0 25 0 1 0 717216758 117178368 26918 4294967295 134512640 134581331 3221221776 3221220752 134561101 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28608 26918 566 18 0 28590 0
vsize: 114432
[startup+910.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29125
Raw data (stat): 29125 (Pueblo) R 29124 7876 7672 0 -1 0 26941 0 0 0 90905 105 0 0 25 0 1 0 717216758 117178368 26918 4294967295 134512640 134581331 3221221776 3221220704 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28608 26918 566 18 0 28590 0
vsize: 114432
[startup+920.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29125
Raw data (stat): 29125 (Pueblo) R 29124 7876 7672 0 -1 0 26941 0 0 0 91906 105 0 0 25 0 1 0 717216758 117178368 26918 4294967295 134512640 134581331 3221221776 3221220496 134524432 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28608 26918 566 18 0 28590 0
vsize: 114432
[startup+930.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29125
Raw data (stat): 29125 (Pueblo) R 29124 7876 7672 0 -1 0 26941 0 0 0 92906 105 0 0 25 0 1 0 717216758 117178368 26918 4294967295 134512640 134581331 3221221776 3221220660 134557849 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28608 26918 566 18 0 28590 0
vsize: 114432
[startup+940.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29125
Raw data (stat): 29125 (Pueblo) R 29124 7876 7672 0 -1 0 26941 0 0 0 93906 105 0 0 25 0 1 0 717216758 117178368 26918 4294967295 134512640 134581331 3221221776 3221220768 134560631 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28608 26918 566 18 0 28590 0
vsize: 114432
[startup+950.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29125
Raw data (stat): 29125 (Pueblo) R 29124 7876 7672 0 -1 0 26941 0 0 0 94906 105 0 0 25 0 1 0 717216758 117178368 26918 4294967295 134512640 134581331 3221221776 3221220720 134559618 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28608 26918 566 18 0 28590 0
vsize: 114432
[startup+960.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29125
Raw data (stat): 29125 (Pueblo) R 29124 7876 7672 0 -1 0 26941 0 0 0 95906 105 0 0 25 0 1 0 717216758 117178368 26918 4294967295 134512640 134581331 3221221776 3221220752 134561101 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28608 26918 566 18 0 28590 0
vsize: 114432
[startup+970.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29125
Raw data (stat): 29125 (Pueblo) R 29124 7876 7672 0 -1 0 26941 0 0 0 96906 105 0 0 25 0 1 0 717216758 117178368 26918 4294967295 134512640 134581331 3221221776 3221220660 134557882 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28608 26918 566 18 0 28590 0
vsize: 114432
[startup+980.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29125
Raw data (stat): 29125 (Pueblo) R 29124 7876 7672 0 -1 0 26941 0 0 0 97907 105 0 0 25 0 1 0 717216758 117178368 26918 4294967295 134512640 134581331 3221221776 3221220656 134558046 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28608 26918 566 18 0 28590 0
vsize: 114432
[startup+990.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29125
Raw data (stat): 29125 (Pueblo) R 29124 7876 7672 0 -1 0 26941 0 0 0 98907 106 0 0 25 0 1 0 717216758 117178368 26918 4294967295 134512640 134581331 3221221776 3221220720 134559093 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28608 26918 566 18 0 28590 0
vsize: 114432
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29125
Raw data (stat): 29125 (Pueblo) R 29124 7876 7672 0 -1 0 26941 0 0 0 99907 106 0 0 25 0 1 0 717216758 117178368 26918 4294967295 134512640 134581331 3221221776 3221220496 134523352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28608 26918 566 18 0 28590 0
vsize: 114432
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29125
Raw data (stat): 29125 (Pueblo) R 29124 7876 7672 0 -1 0 26941 0 0 0 100907 106 0 0 25 0 1 0 717216758 117178368 26918 4294967295 134512640 134581331 3221221776 3221220768 134561084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28608 26918 566 18 0 28590 0
vsize: 114432
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29125
Raw data (stat): 29125 (Pueblo) R 29124 7876 7672 0 -1 0 26941 0 0 0 101907 106 0 0 25 0 1 0 717216758 117178368 26918 4294967295 134512640 134581331 3221221776 3221220768 134561084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28608 26918 566 18 0 28590 0
vsize: 114432
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29125
Raw data (stat): 29125 (Pueblo) R 29124 7876 7672 0 -1 0 26941 0 0 0 102907 106 0 0 25 0 1 0 717216758 117178368 26918 4294967295 134512640 134581331 3221221776 3221220720 134560143 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28608 26918 566 18 0 28590 0
vsize: 114432
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29125
Raw data (stat): 29125 (Pueblo) R 29124 7876 7672 0 -1 0 26941 0 0 0 103908 106 0 0 25 0 1 0 717216758 117178368 26918 4294967295 134512640 134581331 3221221776 3221220768 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28608 26918 566 18 0 28590 0
vsize: 114432
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29125
Raw data (stat): 29125 (Pueblo) R 29124 7876 7672 0 -1 0 26941 0 0 0 104908 106 0 0 25 0 1 0 717216758 117178368 26918 4294967295 134512640 134581331 3221221776 3221220768 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28608 26918 566 18 0 28590 0
vsize: 114432
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29125
Raw data (stat): 29125 (Pueblo) R 29124 7876 7672 0 -1 0 26941 0 0 0 105908 106 0 0 25 0 1 0 717216758 117178368 26918 4294967295 134512640 134581331 3221221776 3221220784 134519740 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28608 26918 566 18 0 28590 0
vsize: 114432
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29125
Raw data (stat): 29125 (Pueblo) R 29124 7876 7672 0 -1 0 26947 0 0 0 106908 106 0 0 25 0 1 0 717216758 117178368 26924 4294967295 134512640 134581331 3221221776 3221220640 134526904 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28608 26924 566 18 0 28590 0
vsize: 114432
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29125
Raw data (stat): 29125 (Pueblo) R 29124 7876 7672 0 -1 0 26947 0 0 0 107908 106 0 0 25 0 1 0 717216758 117178368 26924 4294967295 134512640 134581331 3221221776 3221220704 134519853 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28608 26924 566 18 0 28590 0
vsize: 114432
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29125
Raw data (stat): 29125 (Pueblo) R 29124 7876 7672 0 -1 0 26947 0 0 0 108908 106 0 0 25 0 1 0 717216758 117178368 26924 4294967295 134512640 134581331 3221221776 3221220768 134561155 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28608 26924 566 18 0 28590 0
vsize: 114432
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29125
Raw data (stat): 29125 (Pueblo) R 29124 7876 7672 0 -1 0 26950 0 0 0 109909 106 0 0 25 0 1 0 717216758 117178368 26927 4294967295 134512640 134581331 3221221776 3221220768 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28608 26927 566 18 0 28590 0
vsize: 114432
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29125
Raw data (stat): 29125 (Pueblo) R 29124 7876 7672 0 -1 0 26950 0 0 0 110909 106 0 0 25 0 1 0 717216758 117178368 26927 4294967295 134512640 134581331 3221221776 3221220768 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28608 26927 566 18 0 28590 0
vsize: 114432
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29125
Raw data (stat): 29125 (Pueblo) R 29124 7876 7672 0 -1 0 26951 0 0 0 111909 106 0 0 25 0 1 0 717216758 117178368 26928 4294967295 134512640 134581331 3221221776 3221220672 134517878 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28608 26928 566 18 0 28590 0
vsize: 114432
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29125
Raw data (stat): 29125 (Pueblo) R 29124 7876 7672 0 -1 0 26951 0 0 0 112909 106 0 0 25 0 1 0 717216758 117178368 26928 4294967295 134512640 134581331 3221221776 3221220660 134557746 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28608 26928 566 18 0 28590 0
vsize: 114432
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29125
Raw data (stat): 29125 (Pueblo) R 29124 7876 7672 0 -1 0 26951 0 0 0 113909 106 0 0 25 0 1 0 717216758 117178368 26928 4294967295 134512640 134581331 3221221776 3221220660 134557948 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28608 26928 566 18 0 28590 0
vsize: 114432
[startup+1150.18 s]
Raw data (loadavg): 1.07 0.99 0.91 3/57 29160
Raw data (stat): 29125 (Pueblo) R 29124 7876 7672 0 -1 0 26951 0 0 0 114924 106 0 0 25 0 1 0 717216758 117178368 26928 4294967295 134512640 134581331 3221221776 3221220816 134565296 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28608 26928 566 18 0 28590 0
vsize: 114432
[startup+1160.3 s]
Raw data (loadavg): 1.22 1.02 0.93 2/58 29168
Raw data (stat): 29125 (Pueblo) R 29124 7876 7672 0 -1 0 27313 0 0 0 115935 106 0 0 25 0 1 0 717216758 118759424 27290 4294967295 134512640 134581331 3221221776 3221220496 134522412 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28994 27290 566 18 0 28976 0
vsize: 115976
[startup+1170.31 s]
Raw data (loadavg): 1.26 1.04 0.93 2/58 29168
Raw data (stat): 29125 (Pueblo) R 29124 7876 7672 0 -1 0 27691 0 0 0 116934 108 0 0 25 0 1 0 717216758 120336384 27668 4294967295 134512640 134581331 3221221776 3221220768 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29379 27668 566 18 0 29361 0
vsize: 117516
[startup+1180.48 s]
Raw data (loadavg): 1.22 1.03 0.93 2/58 29168
Raw data (stat): 29125 (Pueblo) R 29124 7876 7672 0 -1 0 27986 0 0 0 117951 109 0 0 25 0 1 0 717216758 121520128 27963 4294967295 134512640 134581331 3221221776 3221220768 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29668 27963 566 18 0 29650 0
vsize: 118672
[startup+1190.57 s]
Raw data (loadavg): 1.26 1.05 0.94 2/54 29170
Raw data (stat): 29125 (Pueblo) R 29124 7876 7672 0 -1 0 28403 0 0 0 118959 110 0 0 25 0 1 0 717216758 123248640 28380 4294967295 134512640 134581331 3221221776 3221220660 134557761 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30090 28380 566 18 0 30072 0
vsize: 120360
[startup+1200.57 s]
Raw data (loadavg): 1.22 1.05 0.94 2/54 29170
Raw data (stat): 29125 (Pueblo) R 29124 7876 7672 0 -1 0 28752 0 0 0 119958 111 0 0 25 0 1 0 717216758 124678144 28729 4294967295 134512640 134581331 3221221776 3221220660 134557928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30439 28729 566 18 0 30421 0
vsize: 121756
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1201.28 s]
Raw data (loadavg): 1.22 1.05 0.94 1/54 29170
Raw data (stat): 29125 (Pueblo) Z 29124 7876 7672 0 -1 1036 28756 0 0 0 119973 116 0 0 22 0 1 0 717216758 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): 1201.28
CPU time (s): 1200.9
CPU user time (s): 1199.73
CPU system time (s): 1.16882
CPU usage (%): 99.9687
Max. virtual memory (Kb): 121756
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####