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-cache-ibm-q-full.all.ucl.opb
MD5SUM	b8424149645ffb0af409a9e7aef74685
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	68
Number of bits of the biggest number in a constraint	7
Biggest sum of numbers in a constraint	257
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	81558
Total number of constraints	240469
Number of constraints which are clauses	235865
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	4604
Minimum length of a constraint	1
Maximum length of a constraint	13
Trace number 24495

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-10 18:49:36 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2437 boxname=wulflinc31 idbench=271 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  b8424149645ffb0af409a9e7aef74685  /oldhome/oroussel/tmp/wulflinc31/normalized-cache-ibm-q-full.all.ucl.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc31/normalized-cache-ibm-q-full.all.ucl.opb
IDLAUNCH: 2437
/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:        910524 kB
Buffers:         35692 kB
Cached:          59388 kB
SwapCached:       4608 kB
Active:          25976 kB
Inactive:        74844 kB
HighTotal:      131008 kB
HighFree:        92260 kB
LowTotal:       903652 kB
LowFree:        818264 kB
SwapTotal:     2097892 kB
SwapFree:      2092144 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4660 kB
Slab:            17560 kB
Committed_AS:    63640 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-10 19:09:38 (client local time) WITH STATUS 0 IN 1200.25 SECONDS
stats: 2437 7 1200.25 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.91 0.97 0.92 2/54 15340
Raw data (stat): 15340 (runsolver) R 15339 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 711533180 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.0008 s]
Raw data (loadavg): 0.93 0.97 0.92 2/54 15340
Raw data (stat): 15340 (Pueblo) R 15339 7876 7672 0 -1 0 9154 0 0 0 969 28 0 0 25 0 1 0 711533180 43835392 9131 4294967295 134512640 134581331 3221221776 3221220992 134555049 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10702 9134 566 18 0 10684 0
vsize: 42808
[startup+20.0019 s]
Raw data (loadavg): 0.94 0.97 0.92 2/54 15340
Raw data (stat): 15340 (Pueblo) R 15339 7876 7672 0 -1 0 10629 0 0 0 1965 31 0 0 25 0 1 0 711533180 53153792 10481 4294967295 134512640 134581331 3221221776 3221220768 134531728 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12977 10481 566 18 0 12959 0
vsize: 51908
[startup+30.0025 s]
Raw data (loadavg): 0.95 0.97 0.92 2/54 15340
Raw data (stat): 15340 (Pueblo) R 15339 7876 7672 0 -1 0 10629 0 0 0 2965 32 0 0 25 0 1 0 711533180 53153792 10481 4294967295 134512640 134581331 3221221776 3221220768 134531728 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12977 10481 566 18 0 12959 0
vsize: 51908
[startup+40.0025 s]
Raw data (loadavg): 0.95 0.97 0.92 2/54 15340
Raw data (stat): 15340 (Pueblo) R 15339 7876 7672 0 -1 0 10629 0 0 0 3965 32 0 0 25 0 1 0 711533180 53153792 10481 4294967295 134512640 134581331 3221221776 3221220768 134531720 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12977 10481 566 18 0 12959 0
vsize: 51908
[startup+50.0034 s]
Raw data (loadavg): 0.96 0.97 0.92 2/54 15340
Raw data (stat): 15340 (Pueblo) R 15339 7876 7672 0 -1 0 10629 0 0 0 4965 32 0 0 25 0 1 0 711533180 53153792 10481 4294967295 134512640 134581331 3221221776 3221220768 134531720 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12977 10481 566 18 0 12959 0
vsize: 51908
[startup+60.0033 s]
Raw data (loadavg): 0.97 0.97 0.92 2/54 15340
Raw data (stat): 15340 (Pueblo) R 15339 7876 7672 0 -1 0 290756 0 0 0 5495 502 0 0 25 0 1 0 711533180 53481472 10528 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13057 10536 566 18 0 13039 0
vsize: 52228
[startup+70.0043 s]
Raw data (loadavg): 0.97 0.97 0.92 2/54 15340
Raw data (stat): 15340 (Pueblo) R 15339 7876 7672 0 -1 0 609237 0 0 0 5965 1033 0 0 25 0 1 0 711533180 53481472 10529 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13057 10538 566 18 0 13039 0
vsize: 52228
[startup+80.0055 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 15340
Raw data (stat): 15340 (Pueblo) R 15339 7876 7672 0 -1 0 927771 0 0 0 6426 1572 0 0 25 0 1 0 711533180 53481472 10503 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13057 10512 566 18 0 13039 0
vsize: 52228
[startup+90.0052 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 15340
Raw data (stat): 15340 (Pueblo) R 15339 7876 7672 0 -1 0 1246149 0 0 0 6892 2106 0 0 25 0 1 0 711533180 53153792 10481 4294967295 134512640 134581331 3221221776 3221220744 1075710225 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13057 10490 566 18 0 13039 0
vsize: 51908
[startup+100.006 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 15340
Raw data (stat): 15340 (Pueblo) R 15339 7876 7672 0 -1 0 1564697 0 0 0 7347 2651 0 0 25 0 1 0 711533180 53481472 10549 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13057 10558 566 18 0 13039 0
vsize: 52228
[startup+110.007 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 15340
Raw data (stat): 15340 (Pueblo) R 15339 7876 7672 0 -1 0 1883109 0 0 0 7810 3189 0 0 25 0 1 0 711533180 53481472 10561 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13057 10561 566 18 0 13039 0
vsize: 52228
[startup+120.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15340
Raw data (stat): 15340 (Pueblo) R 15339 7876 7672 0 -1 0 2201742 0 0 0 8270 3729 0 0 25 0 1 0 711533180 53481472 10554 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13057 10561 566 18 0 13039 0
vsize: 52228
[startup+130.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15340
Raw data (stat): 15340 (Pueblo) R 15339 7876 7672 0 -1 0 2520357 0 0 0 8731 4267 0 0 25 0 1 0 711533180 53481472 10529 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13057 10538 566 18 0 13039 0
vsize: 52228
[startup+140.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15340
Raw data (stat): 15340 (Pueblo) R 15339 7876 7672 0 -1 0 2632139 0 0 0 9546 4453 0 0 25 0 1 0 711533180 53678080 10551 4294967295 134512640 134581331 3221221776 3221220768 134531720 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13105 10551 566 18 0 13087 0
vsize: 52420
[startup+150.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15340
Raw data (stat): 15340 (Pueblo) R 15339 7876 7672 0 -1 0 2632146 0 0 0 10546 4453 0 0 25 0 1 0 711533180 53678080 10558 4294967295 134512640 134581331 3221221776 3221220784 134531324 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13105 10558 566 18 0 13087 0
vsize: 52420
[startup+160.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15340
Raw data (stat): 15340 (Pueblo) R 15339 7876 7672 0 -1 0 2632154 0 0 0 11546 4454 0 0 25 0 1 0 711533180 53678080 10566 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13105 10566 566 18 0 13087 0
vsize: 52420
[startup+170.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15340
Raw data (stat): 15340 (Pueblo) R 15339 7876 7672 0 -1 0 2632162 0 0 0 12546 4454 0 0 25 0 1 0 711533180 53678080 10574 4294967295 134512640 134581331 3221221776 3221220784 134531325 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13105 10574 566 18 0 13087 0
vsize: 52420
[startup+180.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15340
Raw data (stat): 15340 (Pueblo) R 15339 7876 7672 0 -1 0 2632170 0 0 0 13545 4454 0 0 25 0 1 0 711533180 53678080 10582 4294967295 134512640 134581331 3221221776 3221220784 134531324 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13105 10582 566 18 0 13087 0
vsize: 52420
[startup+190.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15340
Raw data (stat): 15340 (Pueblo) R 15339 7876 7672 0 -1 0 2632257 0 0 0 14545 4455 0 0 25 0 1 0 711533180 54083584 10669 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13204 10669 566 18 0 13186 0
vsize: 52816
[startup+200.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15340
Raw data (stat): 15340 (Pueblo) R 15339 7876 7672 0 -1 0 2632433 0 0 0 15545 4455 0 0 25 0 1 0 711533180 54759424 10845 4294967295 134512640 134581331 3221221776 3221220768 134531728 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13369 10845 566 18 0 13351 0
vsize: 53476
[startup+210.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15340
Raw data (stat): 15340 (Pueblo) R 15339 7876 7672 0 -1 0 2632610 0 0 0 16543 4457 0 0 25 0 1 0 711533180 55435264 11022 4294967295 134512640 134581331 3221221776 3221220784 134531325 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13534 11022 566 18 0 13516 0
vsize: 54136
[startup+220.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15340
Raw data (stat): 15340 (Pueblo) R 15339 7876 7672 0 -1 0 2632793 0 0 0 17543 4458 0 0 25 0 1 0 711533180 56635392 11205 4294967295 134512640 134581331 3221221776 3221220768 134531720 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13827 11205 566 18 0 13809 0
vsize: 55308
[startup+230.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15340
Raw data (stat): 15340 (Pueblo) R 15339 7876 7672 0 -1 0 2632977 0 0 0 18542 4458 0 0 25 0 1 0 711533180 57446400 11389 4294967295 134512640 134581331 3221221776 3221220784 134531324 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14025 11389 566 18 0 14007 0
vsize: 56100
[startup+240.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15340
Raw data (stat): 15340 (Pueblo) R 15339 7876 7672 0 -1 0 2633167 0 0 0 19541 4460 0 0 25 0 1 0 711533180 58122240 11579 4294967295 134512640 134581331 3221221776 3221220768 134531720 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14190 11579 566 18 0 14172 0
vsize: 56760
[startup+250.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15340
Raw data (stat): 15340 (Pueblo) R 15339 7876 7672 0 -1 0 2633341 0 0 0 20540 4461 0 0 25 0 1 0 711533180 58798080 11753 4294967295 134512640 134581331 3221221776 3221220784 134531325 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14355 11753 566 18 0 14337 0
vsize: 57420
[startup+260.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15340
Raw data (stat): 15340 (Pueblo) R 15339 7876 7672 0 -1 0 2633518 0 0 0 21540 4461 0 0 25 0 1 0 711533180 59469824 11930 4294967295 134512640 134581331 3221221776 3221220768 134531728 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14519 11930 566 18 0 14501 0
vsize: 58076
[startup+270.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15340
Raw data (stat): 15340 (Pueblo) R 15339 7876 7672 0 -1 0 2633701 0 0 0 22539 4462 0 0 25 0 1 0 711533180 60280832 12113 4294967295 134512640 134581331 3221221776 3221220768 134531728 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14717 12113 566 18 0 14699 0
vsize: 58868
[startup+280.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15340
Raw data (stat): 15340 (Pueblo) R 15339 7876 7672 0 -1 0 2633881 0 0 0 23539 4463 0 0 25 0 1 0 711533180 60956672 12293 4294967295 134512640 134581331 3221221776 3221220784 134531325 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14882 12293 566 18 0 14864 0
vsize: 59528
[startup+290.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15340
Raw data (stat): 15340 (Pueblo) R 15339 7876 7672 0 -1 0 2634059 0 0 0 24538 4464 0 0 25 0 1 0 711533180 61632512 12471 4294967295 134512640 134581331 3221221776 3221220768 134531720 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15047 12471 566 18 0 15029 0
vsize: 60188
[startup+300.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15340
Raw data (stat): 15340 (Pueblo) R 15339 7876 7672 0 -1 0 2634237 0 0 0 25538 4464 0 0 25 0 1 0 711533180 62308352 12649 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15212 12649 566 18 0 15194 0
vsize: 60848
[startup+310.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15340
Raw data (stat): 15340 (Pueblo) R 15339 7876 7672 0 -1 0 2634410 0 0 0 26537 4465 0 0 25 0 1 0 711533180 62984192 12822 4294967295 134512640 134581331 3221221776 3221220768 134531720 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15377 12822 566 18 0 15359 0
vsize: 61508
[startup+320.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15340
Raw data (stat): 15340 (Pueblo) R 15339 7876 7672 0 -1 0 2634585 0 0 0 27537 4466 0 0 25 0 1 0 711533180 63660032 12997 4294967295 134512640 134581331 3221221776 3221220448 134532673 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15542 12997 566 18 0 15524 0
vsize: 62168
[startup+330.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15340
Raw data (stat): 15340 (Pueblo) R 15339 7876 7672 0 -1 0 2634757 0 0 0 28536 4467 0 0 25 0 1 0 711533180 64335872 13169 4294967295 134512640 134581331 3221221776 3221220768 134531728 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15707 13169 566 18 0 15689 0
vsize: 62828
[startup+340.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15340
Raw data (stat): 15340 (Pueblo) R 15339 7876 7672 0 -1 0 2634934 0 0 0 29536 4467 0 0 25 0 1 0 711533180 65146880 13346 4294967295 134512640 134581331 3221221776 3221220768 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15905 13346 566 18 0 15887 0
vsize: 63620
[startup+350.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15340
Raw data (stat): 15340 (Pueblo) R 15339 7876 7672 0 -1 0 2635236 0 0 0 30534 4469 0 0 25 0 1 0 711533180 66228224 13648 4294967295 134512640 134581331 3221221776 3221220784 134531324 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16169 13648 566 18 0 16151 0
vsize: 64676
[startup+360.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15340
Raw data (stat): 15340 (Pueblo) R 15339 7876 7672 0 -1 0 2635907 0 0 0 31532 4471 0 0 25 0 1 0 711533180 69103616 14287 4294967295 134512640 134581331 3221221776 3221220720 134559274 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16871 14287 566 18 0 16853 0
vsize: 67484
[startup+370.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15340
Raw data (stat): 15340 (Pueblo) R 15339 7876 7672 0 -1 0 2635920 0 0 0 32533 4471 0 0 25 0 1 0 711533180 69103616 14300 4294967295 134512640 134581331 3221221776 3221220704 134519803 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16871 14300 566 18 0 16853 0
vsize: 67484
[startup+380.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15340
Raw data (stat): 15340 (Pueblo) R 15339 7876 7672 0 -1 0 2635920 0 0 0 33533 4471 0 0 25 0 1 0 711533180 69103616 14300 4294967295 134512640 134581331 3221221776 3221220784 134519682 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16871 14300 566 18 0 16853 0
vsize: 67484
[startup+390.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15340
Raw data (stat): 15340 (Pueblo) R 15339 7876 7672 0 -1 0 2635920 0 0 0 34533 4471 0 0 25 0 1 0 711533180 69103616 14300 4294967295 134512640 134581331 3221221776 3221220736 134554657 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16871 14300 566 18 0 16853 0
vsize: 67484
[startup+400.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15340
Raw data (stat): 15340 (Pueblo) R 15339 7876 7672 0 -1 0 2635920 0 0 0 35533 4471 0 0 25 0 1 0 711533180 69103616 14300 4294967295 134512640 134581331 3221221776 3221220656 134560398 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16871 14300 566 18 0 16853 0
vsize: 67484
[startup+410.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15340
Raw data (stat): 15340 (Pueblo) R 15339 7876 7672 0 -1 0 2635920 0 0 0 36533 4471 0 0 25 0 1 0 711533180 69103616 14300 4294967295 134512640 134581331 3221221776 3221220768 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16871 14300 566 18 0 16853 0
vsize: 67484
[startup+420.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15340
Raw data (stat): 15340 (Pueblo) R 15339 7876 7672 0 -1 0 2635920 0 0 0 37533 4471 0 0 25 0 1 0 711533180 69103616 14300 4294967295 134512640 134581331 3221221776 3221220768 134561084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16871 14300 566 18 0 16853 0
vsize: 67484
[startup+430.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15340
Raw data (stat): 15340 (Pueblo) R 15339 7876 7672 0 -1 0 2635920 0 0 0 38534 4471 0 0 25 0 1 0 711533180 69103616 14300 4294967295 134512640 134581331 3221221776 3221220768 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16871 14300 566 18 0 16853 0
vsize: 67484
[startup+440.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15340
Raw data (stat): 15340 (Pueblo) R 15339 7876 7672 0 -1 0 2635920 0 0 0 39534 4471 0 0 25 0 1 0 711533180 69103616 14300 4294967295 134512640 134581331 3221221776 3221220704 134519829 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16871 14300 566 18 0 16853 0
vsize: 67484
[startup+450.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15340
Raw data (stat): 15340 (Pueblo) R 15339 7876 7672 0 -1 0 2635920 0 0 0 40534 4471 0 0 25 0 1 0 711533180 69103616 14300 4294967295 134512640 134581331 3221221776 3221220768 134561084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16871 14300 566 18 0 16853 0
vsize: 67484
[startup+460.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15340
Raw data (stat): 15340 (Pueblo) R 15339 7876 7672 0 -1 0 2635920 0 0 0 41534 4471 0 0 25 0 1 0 711533180 69103616 14300 4294967295 134512640 134581331 3221221776 3221220768 134561117 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16871 14300 566 18 0 16853 0
vsize: 67484
[startup+470.026 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15340
Raw data (stat): 15340 (Pueblo) R 15339 7876 7672 0 -1 0 2635920 0 0 0 42534 4471 0 0 25 0 1 0 711533180 69103616 14300 4294967295 134512640 134581331 3221221776 3221220720 134560142 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16871 14300 566 18 0 16853 0
vsize: 67484
[startup+480.027 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15340
Raw data (stat): 15340 (Pueblo) R 15339 7876 7672 0 -1 0 2635920 0 0 0 43535 4471 0 0 25 0 1 0 711533180 69103616 14300 4294967295 134512640 134581331 3221221776 3221220768 134561152 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16871 14300 566 18 0 16853 0
vsize: 67484
[startup+490.026 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15340
Raw data (stat): 15340 (Pueblo) R 15339 7876 7672 0 -1 0 2635920 0 0 0 44535 4471 0 0 25 0 1 0 711533180 69103616 14300 4294967295 134512640 134581331 3221221776 3221220752 134560718 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16871 14300 566 18 0 16853 0
vsize: 67484
[startup+500.028 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15340
Raw data (stat): 15340 (Pueblo) R 15339 7876 7672 0 -1 0 2635920 0 0 0 45535 4472 0 0 25 0 1 0 711533180 69103616 14300 4294967295 134512640 134581331 3221221776 3221220768 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16871 14300 566 18 0 16853 0
vsize: 67484
[startup+510.029 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15340
Raw data (stat): 15340 (Pueblo) R 15339 7876 7672 0 -1 0 2635920 0 0 0 46535 4472 0 0 25 0 1 0 711533180 69103616 14300 4294967295 134512640 134581331 3221221776 3221220768 134560650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16871 14300 566 18 0 16853 0
vsize: 67484
[startup+520.029 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15340
Raw data (stat): 15340 (Pueblo) R 15339 7876 7672 0 -1 0 2635920 0 0 0 47535 4472 0 0 25 0 1 0 711533180 69103616 14300 4294967295 134512640 134581331 3221221776 3221220768 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16871 14300 566 18 0 16853 0
vsize: 67484
[startup+530.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15340
Raw data (stat): 15340 (Pueblo) R 15339 7876 7672 0 -1 0 2635920 0 0 0 48535 4472 0 0 25 0 1 0 711533180 69103616 14300 4294967295 134512640 134581331 3221221776 3221220768 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16871 14300 566 18 0 16853 0
vsize: 67484
[startup+540.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15340
Raw data (stat): 15340 (Pueblo) R 15339 7876 7672 0 -1 0 2635920 0 0 0 49535 4472 0 0 25 0 1 0 711533180 69103616 14300 4294967295 134512640 134581331 3221221776 3221220720 134559255 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16871 14300 566 18 0 16853 0
vsize: 67484
[startup+550.031 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15340
Raw data (stat): 15340 (Pueblo) R 15339 7876 7672 0 -1 0 2635920 0 0 0 50535 4472 0 0 25 0 1 0 711533180 69103616 14300 4294967295 134512640 134581331 3221221776 3221220748 134519895 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16871 14300 566 18 0 16853 0
vsize: 67484
[startup+560.031 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15340
Raw data (stat): 15340 (Pueblo) R 15339 7876 7672 0 -1 0 2635920 0 0 0 51535 4472 0 0 25 0 1 0 711533180 69103616 14300 4294967295 134512640 134581331 3221221776 3221220656 134560389 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16871 14300 566 18 0 16853 0
vsize: 67484
[startup+570.033 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15340
Raw data (stat): 15340 (Pueblo) R 15339 7876 7672 0 -1 0 2635920 0 0 0 52536 4472 0 0 25 0 1 0 711533180 69103616 14300 4294967295 134512640 134581331 3221221776 3221220768 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16871 14300 566 18 0 16853 0
vsize: 67484
[startup+580.033 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15340
Raw data (stat): 15340 (Pueblo) R 15339 7876 7672 0 -1 0 2635920 0 0 0 53536 4472 0 0 25 0 1 0 711533180 69103616 14300 4294967295 134512640 134581331 3221221776 3221220704 134519867 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16871 14300 566 18 0 16853 0
vsize: 67484
[startup+590.033 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15340
Raw data (stat): 15340 (Pueblo) R 15339 7876 7672 0 -1 0 2635920 0 0 0 54536 4472 0 0 25 0 1 0 711533180 69103616 14300 4294967295 134512640 134581331 3221221776 3221220768 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16871 14300 566 18 0 16853 0
vsize: 67484
[startup+600.034 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15340
Raw data (stat): 15340 (Pueblo) R 15339 7876 7672 0 -1 0 2635920 0 0 0 55536 4472 0 0 25 0 1 0 711533180 69103616 14300 4294967295 134512640 134581331 3221221776 3221220720 134560142 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16871 14300 566 18 0 16853 0
vsize: 67484
[startup+610.034 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15340
Raw data (stat): 15340 (Pueblo) R 15339 7876 7672 0 -1 0 2635920 0 0 0 56536 4473 0 0 25 0 1 0 711533180 69103616 14300 4294967295 134512640 134581331 3221221776 3221220736 134519892 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16871 14300 566 18 0 16853 0
vsize: 67484
[startup+620.035 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15340
Raw data (stat): 15340 (Pueblo) R 15339 7876 7672 0 -1 0 2635920 0 0 0 57536 4473 0 0 25 0 1 0 711533180 69103616 14300 4294967295 134512640 134581331 3221221776 3221220672 134517871 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16871 14300 566 18 0 16853 0
vsize: 67484
[startup+630.036 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15340
Raw data (stat): 15340 (Pueblo) R 15339 7876 7672 0 -1 0 2635920 0 0 0 58537 4473 0 0 25 0 1 0 711533180 69103616 14300 4294967295 134512640 134581331 3221221776 3221220704 134519996 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16871 14300 566 18 0 16853 0
vsize: 67484
[startup+640.035 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15340
Raw data (stat): 15340 (Pueblo) R 15339 7876 7672 0 -1 0 2635920 0 0 0 59537 4473 0 0 25 0 1 0 711533180 69103616 14300 4294967295 134512640 134581331 3221221776 3221220704 134519867 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16871 14300 566 18 0 16853 0
vsize: 67484
[startup+650.036 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15340
Raw data (stat): 15340 (Pueblo) R 15339 7876 7672 0 -1 0 2635920 0 0 0 60537 4473 0 0 25 0 1 0 711533180 69103616 14300 4294967295 134512640 134581331 3221221776 3221220720 134560142 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16871 14300 566 18 0 16853 0
vsize: 67484
[startup+660.036 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15340
Raw data (stat): 15340 (Pueblo) R 15339 7876 7672 0 -1 0 2635920 0 0 0 61537 4473 0 0 25 0 1 0 711533180 69103616 14300 4294967295 134512640 134581331 3221221776 3221220720 134559274 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16871 14300 566 18 0 16853 0
vsize: 67484
[startup+670.036 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15340
Raw data (stat): 15340 (Pueblo) R 15339 7876 7672 0 -1 0 2635920 0 0 0 62537 4473 0 0 25 0 1 0 711533180 69103616 14300 4294967295 134512640 134581331 3221221776 3221220768 134561068 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16871 14300 566 18 0 16853 0
vsize: 67484
[startup+680.037 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15340
Raw data (stat): 15340 (Pueblo) R 15339 7876 7672 0 -1 0 2635920 0 0 0 63537 4473 0 0 25 0 1 0 711533180 69103616 14300 4294967295 134512640 134581331 3221221776 3221220768 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16871 14300 566 18 0 16853 0
vsize: 67484
[startup+690.036 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15340
Raw data (stat): 15340 (Pueblo) R 15339 7876 7672 0 -1 0 2635920 0 0 0 64537 4473 0 0 25 0 1 0 711533180 69103616 14300 4294967295 134512640 134581331 3221221776 3221220768 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16871 14300 566 18 0 16853 0
vsize: 67484
[startup+700.037 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15340
Raw data (stat): 15340 (Pueblo) R 15339 7876 7672 0 -1 0 2635920 0 0 0 65538 4473 0 0 25 0 1 0 711533180 69103616 14300 4294967295 134512640 134581331 3221221776 3221220720 134559312 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16871 14300 566 18 0 16853 0
vsize: 67484
[startup+710.037 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15340
Raw data (stat): 15340 (Pueblo) R 15339 7876 7672 0 -1 0 2635920 0 0 0 66538 4473 0 0 25 0 1 0 711533180 69103616 14300 4294967295 134512640 134581331 3221221776 3221220720 134560149 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16871 14300 566 18 0 16853 0
vsize: 67484
[startup+720.038 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15340
Raw data (stat): 15340 (Pueblo) R 15339 7876 7672 0 -1 0 2635920 0 0 0 67538 4473 0 0 25 0 1 0 711533180 69103616 14300 4294967295 134512640 134581331 3221221776 3221220720 134560142 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16871 14300 566 18 0 16853 0
vsize: 67484
[startup+730.039 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15340
Raw data (stat): 15340 (Pueblo) R 15339 7876 7672 0 -1 0 2635920 0 0 0 68538 4473 0 0 25 0 1 0 711533180 69103616 14300 4294967295 134512640 134581331 3221221776 3221220704 134519867 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16871 14300 566 18 0 16853 0
vsize: 67484
[startup+740.039 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15340
Raw data (stat): 15340 (Pueblo) R 15339 7876 7672 0 -1 0 2635920 0 0 0 69538 4473 0 0 25 0 1 0 711533180 69103616 14300 4294967295 134512640 134581331 3221221776 3221220688 134527513 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16871 14300 566 18 0 16853 0
vsize: 67484
[startup+750.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15340
Raw data (stat): 15340 (Pueblo) R 15339 7876 7672 0 -1 0 2635920 0 0 0 70539 4473 0 0 25 0 1 0 711533180 69103616 14300 4294967295 134512640 134581331 3221221776 3221220768 134561084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16871 14300 566 18 0 16853 0
vsize: 67484
[startup+760.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15340
Raw data (stat): 15340 (Pueblo) R 15339 7876 7672 0 -1 0 2635920 0 0 0 71539 4473 0 0 25 0 1 0 711533180 69103616 14300 4294967295 134512640 134581331 3221221776 3221220768 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16871 14300 566 18 0 16853 0
vsize: 67484
[startup+770.041 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15340
Raw data (stat): 15340 (Pueblo) R 15339 7876 7672 0 -1 0 2635931 0 0 0 72539 4473 0 0 25 0 1 0 711533180 69365760 14311 4294967295 134512640 134581331 3221221776 3221220720 134560142 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16935 14311 566 18 0 16917 0
vsize: 67740
[startup+780.042 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15340
Raw data (stat): 15340 (Pueblo) R 15339 7876 7672 0 -1 0 2635931 0 0 0 73539 4473 0 0 25 0 1 0 711533180 69365760 14311 4294967295 134512640 134581331 3221221776 3221220704 134519968 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16935 14311 566 18 0 16917 0
vsize: 67740
[startup+790.041 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15340
Raw data (stat): 15340 (Pueblo) R 15339 7876 7672 0 -1 0 2635931 0 0 0 74539 4473 0 0 25 0 1 0 711533180 69365760 14311 4294967295 134512640 134581331 3221221776 3221220704 134519867 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16935 14311 566 18 0 16917 0
vsize: 67740
[startup+800.042 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15340
Raw data (stat): 15340 (Pueblo) R 15339 7876 7672 0 -1 0 2635931 0 0 0 75539 4473 0 0 25 0 1 0 711533180 69365760 14311 4294967295 134512640 134581331 3221221776 3221220560 134528822 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16935 14311 566 18 0 16917 0
vsize: 67740
[startup+810.043 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15340
Raw data (stat): 15340 (Pueblo) R 15339 7876 7672 0 -1 0 2635931 0 0 0 76540 4473 0 0 25 0 1 0 711533180 69365760 14311 4294967295 134512640 134581331 3221221776 3221220740 134519780 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16935 14311 566 18 0 16917 0
vsize: 67740
[startup+820.043 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15340
Raw data (stat): 15340 (Pueblo) R 15339 7876 7672 0 -1 0 2635931 0 0 0 77540 4473 0 0 25 0 1 0 711533180 69365760 14311 4294967295 134512640 134581331 3221221776 3221220832 134556137 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16935 14311 566 18 0 16917 0
vsize: 67740
[startup+830.043 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15340
Raw data (stat): 15340 (Pueblo) R 15339 7876 7672 0 -1 0 2635931 0 0 0 78540 4473 0 0 25 0 1 0 711533180 69365760 14311 4294967295 134512640 134581331 3221221776 3221220720 134560143 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16935 14311 566 18 0 16917 0
vsize: 67740
[startup+840.043 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15340
Raw data (stat): 15340 (Pueblo) R 15339 7876 7672 0 -1 0 2635931 0 0 0 79540 4473 0 0 25 0 1 0 711533180 69365760 14311 4294967295 134512640 134581331 3221221776 3221220736 134554662 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16935 14311 566 18 0 16917 0
vsize: 67740
[startup+850.044 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15340
Raw data (stat): 15340 (Pueblo) R 15339 7876 7672 0 -1 0 2635931 0 0 0 80540 4473 0 0 25 0 1 0 711533180 69365760 14311 4294967295 134512640 134581331 3221221776 3221220768 134561084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16935 14311 566 18 0 16917 0
vsize: 67740
[startup+860.044 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15340
Raw data (stat): 15340 (Pueblo) R 15339 7876 7672 0 -1 0 2635931 0 0 0 81540 4473 0 0 25 0 1 0 711533180 69365760 14311 4294967295 134512640 134581331 3221221776 3221220704 134519803 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16935 14311 566 18 0 16917 0
vsize: 67740
[startup+870.045 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15340
Raw data (stat): 15340 (Pueblo) R 15339 7876 7672 0 -1 0 2635931 0 0 0 82541 4473 0 0 25 0 1 0 711533180 69365760 14311 4294967295 134512640 134581331 3221221776 3221220720 134559312 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16935 14311 566 18 0 16917 0
vsize: 67740
[startup+880.046 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15340
Raw data (stat): 15340 (Pueblo) R 15339 7876 7672 0 -1 0 2635964 0 0 0 83541 4473 0 0 25 0 1 0 711533180 69627904 14344 4294967295 134512640 134581331 3221221776 3221220752 134560718 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16999 14344 566 18 0 16981 0
vsize: 67996
[startup+890.046 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15340
Raw data (stat): 15340 (Pueblo) R 15339 7876 7672 0 -1 0 2635965 0 0 0 84541 4473 0 0 25 0 1 0 711533180 69627904 14345 4294967295 134512640 134581331 3221221776 3221220704 134519803 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16999 14345 566 18 0 16981 0
vsize: 67996
[startup+900.047 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15340
Raw data (stat): 15340 (Pueblo) R 15339 7876 7672 0 -1 0 2635965 0 0 0 85541 4473 0 0 25 0 1 0 711533180 69627904 14345 4294967295 134512640 134581331 3221221776 3221220704 134519829 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16999 14345 566 18 0 16981 0
vsize: 67996
[startup+910.047 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15340
Raw data (stat): 15340 (Pueblo) R 15339 7876 7672 0 -1 0 2635966 0 0 0 86541 4473 0 0 25 0 1 0 711533180 69627904 14346 4294967295 134512640 134581331 3221221776 3221220768 134561084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16999 14346 566 18 0 16981 0
vsize: 67996
[startup+920.048 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15340
Raw data (stat): 15340 (Pueblo) R 15339 7876 7672 0 -1 0 2635966 0 0 0 87542 4473 0 0 25 0 1 0 711533180 69627904 14346 4294967295 134512640 134581331 3221221776 3221220656 134560204 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16999 14346 566 18 0 16981 0
vsize: 67996
[startup+930.049 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15340
Raw data (stat): 15340 (Pueblo) R 15339 7876 7672 0 -1 0 2635967 0 0 0 88542 4473 0 0 25 0 1 0 711533180 69627904 14347 4294967295 134512640 134581331 3221221776 3221220768 134561084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16999 14347 566 18 0 16981 0
vsize: 67996
[startup+940.048 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15340
Raw data (stat): 15340 (Pueblo) R 15339 7876 7672 0 -1 0 2635967 0 0 0 89542 4473 0 0 25 0 1 0 711533180 69627904 14347 4294967295 134512640 134581331 3221221776 3221220768 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16999 14347 566 18 0 16981 0
vsize: 67996
[startup+950.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15340
Raw data (stat): 15340 (Pueblo) R 15339 7876 7672 0 -1 0 2635968 0 0 0 90542 4473 0 0 25 0 1 0 711533180 69627904 14348 4294967295 134512640 134581331 3221221776 3221220768 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16999 14348 566 18 0 16981 0
vsize: 67996
[startup+960.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15340
Raw data (stat): 15340 (Pueblo) R 15339 7876 7672 0 -1 0 2635968 0 0 0 91542 4473 0 0 25 0 1 0 711533180 69627904 14348 4294967295 134512640 134581331 3221221776 3221220704 134519803 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16999 14348 566 18 0 16981 0
vsize: 67996
[startup+970.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15340
Raw data (stat): 15340 (Pueblo) R 15339 7876 7672 0 -1 0 2635969 0 0 0 92543 4473 0 0 25 0 1 0 711533180 69627904 14349 4294967295 134512640 134581331 3221221776 3221220720 134559274 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16999 14349 566 18 0 16981 0
vsize: 67996
[startup+980.051 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15340
Raw data (stat): 15340 (Pueblo) R 15339 7876 7672 0 -1 0 2635969 0 0 0 93543 4473 0 0 25 0 1 0 711533180 69627904 14349 4294967295 134512640 134581331 3221221776 3221220704 134520027 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16999 14349 566 18 0 16981 0
vsize: 67996
[startup+990.051 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15340
Raw data (stat): 15340 (Pueblo) R 15339 7876 7672 0 -1 0 2635970 0 0 0 94543 4473 0 0 25 0 1 0 711533180 69627904 14350 4294967295 134512640 134581331 3221221776 3221220768 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16999 14350 566 18 0 16981 0
vsize: 67996
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15340
Raw data (stat): 15340 (Pueblo) R 15339 7876 7672 0 -1 0 2635971 0 0 0 95543 4473 0 0 25 0 1 0 711533180 69627904 14351 4294967295 134512640 134581331 3221221776 3221220768 134561059 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16999 14351 566 18 0 16981 0
vsize: 67996
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15340
Raw data (stat): 15340 (Pueblo) R 15339 7876 7672 0 -1 0 2635971 0 0 0 96543 4473 0 0 25 0 1 0 711533180 69627904 14351 4294967295 134512640 134581331 3221221776 3221220768 134561084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16999 14351 566 18 0 16981 0
vsize: 67996
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15340
Raw data (stat): 15340 (Pueblo) R 15339 7876 7672 0 -1 0 2635972 0 0 0 97544 4473 0 0 25 0 1 0 711533180 69627904 14352 4294967295 134512640 134581331 3221221776 3221220720 134559274 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16999 14352 566 18 0 16981 0
vsize: 67996
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15340
Raw data (stat): 15340 (Pueblo) R 15339 7876 7672 0 -1 0 2635972 0 0 0 98544 4473 0 0 25 0 1 0 711533180 69627904 14352 4294967295 134512640 134581331 3221221776 3221220704 134520095 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16999 14352 566 18 0 16981 0
vsize: 67996
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15340
Raw data (stat): 15340 (Pueblo) R 15339 7876 7672 0 -1 0 2635973 0 0 0 99544 4473 0 0 25 0 1 0 711533180 69627904 14353 4294967295 134512640 134581331 3221221776 3221220768 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16999 14353 566 18 0 16981 0
vsize: 67996
[startup+1050.06 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15340
Raw data (stat): 15340 (Pueblo) R 15339 7876 7672 0 -1 0 2635974 0 0 0 100544 4473 0 0 25 0 1 0 711533180 69627904 14354 4294967295 134512640 134581331 3221221776 3221220768 134561084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16999 14354 566 18 0 16981 0
vsize: 67996
[startup+1060.06 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15340
Raw data (stat): 15340 (Pueblo) R 15339 7876 7672 0 -1 0 2635975 0 0 0 101544 4473 0 0 25 0 1 0 711533180 69627904 14355 4294967295 134512640 134581331 3221221776 3221220768 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16999 14355 566 18 0 16981 0
vsize: 67996
[startup+1070.06 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15340
Raw data (stat): 15340 (Pueblo) R 15339 7876 7672 0 -1 0 2635975 0 0 0 102545 4473 0 0 25 0 1 0 711533180 69627904 14355 4294967295 134512640 134581331 3221221776 3221220684 134560192 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16999 14355 566 18 0 16981 0
vsize: 67996
[startup+1080.06 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15340
Raw data (stat): 15340 (Pueblo) R 15339 7876 7672 0 -1 0 2635976 0 0 0 103545 4473 0 0 25 0 1 0 711533180 69627904 14356 4294967295 134512640 134581331 3221221776 3221220752 134560697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16999 14356 566 18 0 16981 0
vsize: 67996
[startup+1090.06 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15340
Raw data (stat): 15340 (Pueblo) R 15339 7876 7672 0 -1 0 2635977 0 0 0 104545 4473 0 0 25 0 1 0 711533180 69627904 14357 4294967295 134512640 134581331 3221221776 3221220704 134519829 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16999 14357 566 18 0 16981 0
vsize: 67996
[startup+1100.06 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15340
Raw data (stat): 15340 (Pueblo) R 15339 7876 7672 0 -1 0 2635978 0 0 0 105545 4474 0 0 25 0 1 0 711533180 69627904 14358 4294967295 134512640 134581331 3221221776 3221220704 134519829 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16999 14358 566 18 0 16981 0
vsize: 67996
[startup+1110.06 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15340
Raw data (stat): 15340 (Pueblo) R 15339 7876 7672 0 -1 0 2635978 0 0 0 106545 4474 0 0 25 0 1 0 711533180 69627904 14358 4294967295 134512640 134581331 3221221776 3221220704 134519850 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16999 14358 566 18 0 16981 0
vsize: 67996
[startup+1120.06 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15340
Raw data (stat): 15340 (Pueblo) R 15339 7876 7672 0 -1 0 2635979 0 0 0 107545 4474 0 0 25 0 1 0 711533180 69627904 14359 4294967295 134512640 134581331 3221221776 3221220720 134560142 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16999 14359 566 18 0 16981 0
vsize: 67996
[startup+1130.06 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15340
Raw data (stat): 15340 (Pueblo) R 15339 7876 7672 0 -1 0 2635979 0 0 0 108545 4474 0 0 25 0 1 0 711533180 69627904 14359 4294967295 134512640 134581331 3221221776 3221220736 134519892 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16999 14359 566 18 0 16981 0
vsize: 67996
[startup+1140.06 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15340
Raw data (stat): 15340 (Pueblo) R 15339 7876 7672 0 -1 0 2635980 0 0 0 109545 4474 0 0 25 0 1 0 711533180 69627904 14360 4294967295 134512640 134581331 3221221776 3221220768 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16999 14360 566 18 0 16981 0
vsize: 67996
[startup+1150.06 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15340
Raw data (stat): 15340 (Pueblo) R 15339 7876 7672 0 -1 0 2635981 0 0 0 110545 4474 0 0 25 0 1 0 711533180 69627904 14361 4294967295 134512640 134581331 3221221776 3221220768 134561084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16999 14361 566 18 0 16981 0
vsize: 67996
[startup+1160.06 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15340
Raw data (stat): 15340 (Pueblo) R 15339 7876 7672 0 -1 0 2635981 0 0 0 111546 4475 0 0 25 0 1 0 711533180 69627904 14361 4294967295 134512640 134581331 3221221776 3221220704 134519791 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16999 14361 566 18 0 16981 0
vsize: 67996
[startup+1170.06 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15340
Raw data (stat): 15340 (Pueblo) R 15339 7876 7672 0 -1 0 2635982 0 0 0 112546 4475 0 0 25 0 1 0 711533180 69627904 14362 4294967295 134512640 134581331 3221221776 3221220768 134561084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16999 14362 566 18 0 16981 0
vsize: 67996
[startup+1180.07 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15340
Raw data (stat): 15340 (Pueblo) R 15339 7876 7672 0 -1 0 2635982 0 0 0 113546 4475 0 0 25 0 1 0 711533180 69627904 14362 4294967295 134512640 134581331 3221221776 3221220752 134560690 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16999 14362 566 18 0 16981 0
vsize: 67996
[startup+1190.07 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15340
Raw data (stat): 15340 (Pueblo) R 15339 7876 7672 0 -1 0 2635983 0 0 0 114546 4475 0 0 25 0 1 0 711533180 69627904 14363 4294967295 134512640 134581331 3221221776 3221220768 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16999 14363 566 18 0 16981 0
vsize: 67996
[startup+1200.07 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 15340
Raw data (stat): 15340 (Pueblo) R 15339 7876 7672 0 -1 0 2635984 0 0 0 115546 4475 0 0 25 0 1 0 711533180 69627904 14364 4294967295 134512640 134581331 3221221776 3221220688 134527440 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16999 14364 566 18 0 16981 0
vsize: 67996
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.1 s]
Raw data (loadavg): 0.99 0.97 0.92 1/54 15340
Raw data (stat): 15340 (Pueblo) Z 15339 7876 7672 0 -1 1036 2635984 0 0 0 115546 4477 0 0 25 0 1 0 711533180 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.25
CPU user time (s): 1155.47
CPU system time (s): 44.7782
CPU usage (%): 100.013
Max. virtual memory (Kb): 67996
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####