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/submitted/manquinho/primes-dimacs-cnf/normalized-par32-1.opb
MD5SUM	64e81a7b23abbb8a6da4e2377ea69dee
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	6352
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	6352
Number of bits of the sum of numbers in the objective function	13
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	6352
Number of bits of the biggest sum of numbers	13
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	6352
Total number of constraints	13453
Number of constraints which are clauses	13453
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	3
Trace number 38408

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-02 09:05:36 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26474 boxname=wulflinc1 idbench=204 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  64e81a7b23abbb8a6da4e2377ea69dee  /oldhome/oroussel/tmp/wulflinc1/normalized-par32-1.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-par32-1.opb
IDLAUNCH: 26474
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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	: 2
cpu MHz		: 451.053
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        670756 kB
Buffers:         34196 kB
Cached:         305572 kB
SwapCached:        640 kB
Active:          68292 kB
Inactive:       273696 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        670504 kB
SwapTotal:     2097136 kB
SwapFree:      2095412 kB
Dirty:              32 kB
Writeback:           0 kB
Mapped:           5820 kB
Slab:            16184 kB
Committed_AS:    92716 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 09:25:38 (client local time) WITH STATUS 0 IN 1200.22 SECONDS
stats: 26474 7 1200.22 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
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.68 0.79 0.84 2/55 1628
Raw data (stat): 1628 (runsolver) R 1627 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 791714519 884736 94 4294967295 134512640 135332820 3221224480 3221219660 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0004 s]
Raw data (loadavg): 0.73 0.79 0.84 2/55 1628
Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 1304 0 0 0 996 3 0 0 25 0 1 0 791714519 11063296 1278 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2701 1278 566 18 0 2683 0
vsize: 10804
[startup+20.0001 s]
Raw data (loadavg): 0.77 0.80 0.84 2/55 1628
Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 1381 0 0 0 1995 3 0 0 25 0 1 0 791714519 11325440 1355 4294967295 134512640 134581267 3221224592 3221223472 134560433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2765 1355 566 18 0 2747 0
vsize: 11060
[startup+30.0009 s]
Raw data (loadavg): 0.81 0.81 0.84 2/55 1628
Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 1452 0 0 0 2995 4 0 0 25 0 1 0 791714519 11591680 1426 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2830 1426 566 18 0 2812 0
vsize: 11320
[startup+40.0007 s]
Raw data (loadavg): 0.84 0.81 0.84 2/55 1628
Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 1605 0 0 0 3995 4 0 0 25 0 1 0 791714519 12349440 1579 4294967295 134512640 134581267 3221224592 3221223556 134519780 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3015 1579 566 18 0 2997 0
vsize: 12060
[startup+50.0015 s]
Raw data (loadavg): 0.86 0.82 0.85 2/55 1628
Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 1605 0 0 0 4995 4 0 0 25 0 1 0 791714519 12349440 1579 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3015 1579 566 18 0 2997 0
vsize: 12060
[startup+60.0013 s]
Raw data (loadavg): 0.88 0.82 0.85 2/55 1628
Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 1616 0 0 0 5994 5 0 0 25 0 1 0 791714519 12349440 1590 4294967295 134512640 134581267 3221224592 3221223536 134559190 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3015 1590 566 18 0 2997 0
vsize: 12060
[startup+70.0011 s]
Raw data (loadavg): 0.90 0.83 0.85 2/55 1628
Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 1625 0 0 0 6995 5 0 0 25 0 1 0 791714519 12349440 1599 4294967295 134512640 134581267 3221224592 3221223568 134560967 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3015 1599 566 18 0 2997 0
vsize: 12060
[startup+80.0019 s]
Raw data (loadavg): 0.91 0.83 0.85 2/55 1628
Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 1747 0 0 0 7995 5 0 0 25 0 1 0 791714519 12877824 1721 4294967295 134512640 134581267 3221224592 3221223572 134561052 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3144 1721 566 18 0 3126 0
vsize: 12576
[startup+90.0016 s]
Raw data (loadavg): 0.93 0.84 0.85 2/55 1628
Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 1750 0 0 0 8994 5 0 0 25 0 1 0 791714519 12877824 1724 4294967295 134512640 134581267 3221224592 3221223536 134559268 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3144 1724 566 18 0 3126 0
vsize: 12576
[startup+100.002 s]
Raw data (loadavg): 0.94 0.84 0.85 2/55 1628
Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 1856 0 0 0 9994 6 0 0 25 0 1 0 791714519 13279232 1830 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3242 1830 566 18 0 3224 0
vsize: 12968
[startup+110.003 s]
Raw data (loadavg): 0.95 0.85 0.85 2/55 1628
Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 1884 0 0 0 10994 6 0 0 25 0 1 0 791714519 13422592 1858 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3277 1858 566 18 0 3259 0
vsize: 13108
[startup+120.003 s]
Raw data (loadavg): 0.95 0.85 0.85 2/55 1628
Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 1911 0 0 0 11994 6 0 0 25 0 1 0 791714519 13557760 1885 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3310 1885 566 18 0 3292 0
vsize: 13240
[startup+130.003 s]
Raw data (loadavg): 0.96 0.86 0.85 2/55 1628
Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 1939 0 0 0 12994 6 0 0 25 0 1 0 791714519 13713408 1913 4294967295 134512640 134581267 3221224592 3221223584 134561036 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3348 1913 566 18 0 3330 0
vsize: 13392
[startup+140.003 s]
Raw data (loadavg): 0.97 0.86 0.85 2/55 1628
Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 1944 0 0 0 13994 7 0 0 25 0 1 0 791714519 13713408 1918 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3348 1918 566 18 0 3330 0
vsize: 13392
[startup+150.003 s]
Raw data (loadavg): 0.97 0.87 0.85 2/55 1628
Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 1956 0 0 0 14994 7 0 0 25 0 1 0 791714519 13873152 1930 4294967295 134512640 134581267 3221224592 3221223536 134559230 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3387 1930 566 18 0 3369 0
vsize: 13548
[startup+160.003 s]
Raw data (loadavg): 0.98 0.87 0.86 2/55 1628
Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 1978 0 0 0 15994 7 0 0 25 0 1 0 791714519 14020608 1952 4294967295 134512640 134581267 3221224592 3221223584 134561036 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3423 1952 566 18 0 3405 0
vsize: 13692
[startup+170.003 s]
Raw data (loadavg): 0.98 0.87 0.86 2/55 1628
Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 1982 0 0 0 16993 8 0 0 25 0 1 0 791714519 14020608 1956 4294967295 134512640 134581267 3221224592 3221223568 134560674 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3423 1956 566 18 0 3405 0
vsize: 13692
[startup+180.003 s]
Raw data (loadavg): 0.98 0.88 0.86 2/55 1628
Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 1982 0 0 0 17993 8 0 0 25 0 1 0 791714519 14020608 1956 4294967295 134512640 134581267 3221224592 3221223556 134519780 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3423 1956 566 18 0 3405 0
vsize: 13692
[startup+190.003 s]
Raw data (loadavg): 0.98 0.88 0.86 2/55 1628
Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 1982 0 0 0 18993 8 0 0 25 0 1 0 791714519 14020608 1956 4294967295 134512640 134581267 3221224592 3221223520 134520099 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3423 1956 566 18 0 3405 0
vsize: 13692
[startup+200.004 s]
Raw data (loadavg): 0.99 0.88 0.86 2/55 1628
Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 1986 0 0 0 19993 8 0 0 25 0 1 0 791714519 14020608 1960 4294967295 134512640 134581267 3221224592 3221223520 134519968 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3423 1960 566 18 0 3405 0
vsize: 13692
[startup+210.004 s]
Raw data (loadavg): 0.99 0.89 0.86 2/55 1628
Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 2060 0 0 0 20993 9 0 0 25 0 1 0 791714519 14282752 2034 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3487 2034 566 18 0 3469 0
vsize: 13948
[startup+220.004 s]
Raw data (loadavg): 0.99 0.89 0.86 2/55 1628
Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 2076 0 0 0 21992 10 0 0 25 0 1 0 791714519 14282752 2050 4294967295 134512640 134581267 3221224592 3221223536 134559049 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3487 2050 566 18 0 3469 0
vsize: 13948
[startup+230.004 s]
Raw data (loadavg): 0.99 0.89 0.86 2/55 1628
Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 2209 0 0 0 22992 10 0 0 25 0 1 0 791714519 14950400 2183 4294967295 134512640 134581267 3221224592 3221223536 134559190 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3650 2183 566 18 0 3632 0
vsize: 14600
[startup+240.003 s]
Raw data (loadavg): 0.99 0.90 0.86 2/55 1628
Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 2496 0 0 0 23991 11 0 0 25 0 1 0 791714519 16146432 2470 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3942 2470 566 18 0 3924 0
vsize: 15768
[startup+250.005 s]
Raw data (loadavg): 0.99 0.90 0.86 2/55 1628
Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 2525 0 0 0 24991 12 0 0 25 0 1 0 791714519 16146432 2499 4294967295 134512640 134581267 3221224592 3221223552 134554618 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3942 2499 566 18 0 3924 0
vsize: 15768
[startup+260.005 s]
Raw data (loadavg): 0.99 0.90 0.87 2/55 1628
Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 2527 0 0 0 25991 12 0 0 25 0 1 0 791714519 16146432 2501 4294967295 134512640 134581267 3221224592 3221223584 134561090 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3942 2501 566 18 0 3924 0
vsize: 15768
[startup+270.005 s]
Raw data (loadavg): 0.99 0.90 0.87 2/55 1628
Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 2740 0 0 0 26990 12 0 0 25 0 1 0 791714519 17072128 2714 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4168 2714 566 18 0 4150 0
vsize: 16672
[startup+280.005 s]
Raw data (loadavg): 0.99 0.91 0.87 2/55 1628
Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 2791 0 0 0 27990 13 0 0 25 0 1 0 791714519 17338368 2765 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4233 2765 566 18 0 4215 0
vsize: 16932
[startup+290.005 s]
Raw data (loadavg): 0.99 0.91 0.87 2/55 1628
Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 2791 0 0 0 28990 13 0 0 25 0 1 0 791714519 17338368 2765 4294967295 134512640 134581267 3221224592 3221223584 134561104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4233 2765 566 18 0 4215 0
vsize: 16932
[startup+300.006 s]
Raw data (loadavg): 0.99 0.91 0.87 2/55 1628
Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 2791 0 0 0 29990 13 0 0 25 0 1 0 791714519 17338368 2765 4294967295 134512640 134581267 3221224592 3221223568 134560967 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4233 2765 566 18 0 4215 0
vsize: 16932
[startup+310.006 s]
Raw data (loadavg): 0.99 0.91 0.87 2/55 1628
Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 2859 0 0 0 30990 14 0 0 25 0 1 0 791714519 17604608 2833 4294967295 134512640 134581267 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4298 2833 566 18 0 4280 0
vsize: 17192
[startup+320.006 s]
Raw data (loadavg): 0.99 0.92 0.87 2/55 1628
Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 2859 0 0 0 31990 14 0 0 25 0 1 0 791714519 17604608 2833 4294967295 134512640 134581267 3221224592 3221223468 1075285088 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4298 2833 566 18 0 4280 0
vsize: 17192
[startup+330.006 s]
Raw data (loadavg): 0.99 0.92 0.87 2/55 1628
Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 2859 0 0 0 32990 14 0 0 25 0 1 0 791714519 17604608 2833 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4298 2833 566 18 0 4280 0
vsize: 17192
[startup+340.006 s]
Raw data (loadavg): 0.99 0.92 0.87 2/55 1628
Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3104 0 0 0 33989 15 0 0 25 0 1 0 791714519 18530304 3078 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4524 3078 566 18 0 4506 0
vsize: 18096
[startup+350.007 s]
Raw data (loadavg): 0.99 0.92 0.87 2/55 1628
Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3283 0 0 0 34988 16 0 0 25 0 1 0 791714519 19316736 3257 4294967295 134512640 134581267 3221224592 3221223584 134561094 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4716 3257 566 18 0 4698 0
vsize: 18864
[startup+360.008 s]
Raw data (loadavg): 0.99 0.92 0.88 2/55 1628
Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3288 0 0 0 35988 16 0 0 25 0 1 0 791714519 19316736 3262 4294967295 134512640 134581267 3221224592 3221223520 134520049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4716 3262 566 18 0 4698 0
vsize: 18864
[startup+370.008 s]
Raw data (loadavg): 0.99 0.93 0.88 2/55 1628
Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3297 0 0 0 36988 16 0 0 25 0 1 0 791714519 19316736 3271 4294967295 134512640 134581267 3221224592 3221223536 134558824 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4716 3271 566 18 0 4698 0
vsize: 18864
[startup+380.008 s]
Raw data (loadavg): 0.99 0.93 0.88 2/55 1628
Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3298 0 0 0 37989 16 0 0 25 0 1 0 791714519 19316736 3272 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4716 3272 566 18 0 4698 0
vsize: 18864
[startup+390.008 s]
Raw data (loadavg): 0.99 0.93 0.88 2/55 1628
Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3299 0 0 0 38989 16 0 0 25 0 1 0 791714519 19316736 3273 4294967295 134512640 134581267 3221224592 3221223524 134558724 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4716 3273 566 18 0 4698 0
vsize: 18864
[startup+400.009 s]
Raw data (loadavg): 0.99 0.93 0.88 2/55 1628
Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3299 0 0 0 39989 16 0 0 25 0 1 0 791714519 19316736 3273 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4716 3273 566 18 0 4698 0
vsize: 18864
[startup+410.009 s]
Raw data (loadavg): 0.99 0.93 0.88 2/55 1628
Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3299 0 0 0 40989 16 0 0 25 0 1 0 791714519 19316736 3273 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4716 3273 566 18 0 4698 0
vsize: 18864
[startup+420.008 s]
Raw data (loadavg): 0.99 0.94 0.88 2/55 1628
Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3313 0 0 0 41989 16 0 0 25 0 1 0 791714519 19464192 3287 4294967295 134512640 134581267 3221224592 3221223552 134516716 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4752 3287 566 18 0 4734 0
vsize: 19008
[startup+430.01 s]
Raw data (loadavg): 0.99 0.94 0.88 2/55 1628
Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3313 0 0 0 42990 16 0 0 25 0 1 0 791714519 19464192 3287 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4752 3287 566 18 0 4734 0
vsize: 19008
[startup+440.009 s]
Raw data (loadavg): 0.99 0.94 0.88 2/55 1628
Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3318 0 0 0 43990 16 0 0 25 0 1 0 791714519 19464192 3292 4294967295 134512640 134581267 3221224592 3221223472 134560459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4752 3292 566 18 0 4734 0
vsize: 19008
[startup+450.01 s]
Raw data (loadavg): 0.99 0.94 0.88 2/55 1628
Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3319 0 0 0 44990 16 0 0 25 0 1 0 791714519 19464192 3293 4294967295 134512640 134581267 3221224592 3221223584 134561117 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4752 3293 566 18 0 4734 0
vsize: 19008
[startup+460.01 s]
Raw data (loadavg): 0.99 0.94 0.89 2/55 1628
Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3327 0 0 0 45990 16 0 0 25 0 1 0 791714519 19464192 3301 4294967295 134512640 134581267 3221224592 3221223472 134560322 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4752 3301 566 18 0 4734 0
vsize: 19008
[startup+470.009 s]
Raw data (loadavg): 0.99 0.94 0.89 2/55 1628
Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3327 0 0 0 46990 16 0 0 25 0 1 0 791714519 19464192 3301 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4752 3301 566 18 0 4734 0
vsize: 19008
[startup+480.009 s]
Raw data (loadavg): 0.99 0.94 0.89 2/55 1628
Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3327 0 0 0 47991 16 0 0 25 0 1 0 791714519 19464192 3301 4294967295 134512640 134581267 3221224592 3221223520 134519883 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4752 3301 566 18 0 4734 0
vsize: 19008
[startup+490.009 s]
Raw data (loadavg): 0.99 0.95 0.89 2/55 1628
Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3327 0 0 0 48991 16 0 0 25 0 1 0 791714519 19464192 3301 4294967295 134512640 134581267 3221224592 3221223520 134519817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4752 3301 566 18 0 4734 0
vsize: 19008
[startup+500.01 s]
Raw data (loadavg): 0.99 0.95 0.89 2/55 1628
Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3327 0 0 0 49991 16 0 0 25 0 1 0 791714519 19464192 3301 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4752 3301 566 18 0 4734 0
vsize: 19008
[startup+510.009 s]
Raw data (loadavg): 0.99 0.95 0.89 2/55 1628
Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3328 0 0 0 50991 16 0 0 25 0 1 0 791714519 19464192 3302 4294967295 134512640 134581267 3221224592 3221223584 134561067 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4752 3302 566 18 0 4734 0
vsize: 19008
[startup+520.009 s]
Raw data (loadavg): 0.99 0.95 0.89 2/55 1628
Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3328 0 0 0 51991 16 0 0 25 0 1 0 791714519 19464192 3302 4294967295 134512640 134581267 3221224592 3221223504 134531431 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4752 3302 566 18 0 4734 0
vsize: 19008
[startup+530.009 s]
Raw data (loadavg): 0.99 0.95 0.89 2/55 1628
Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3328 0 0 0 52991 16 0 0 25 0 1 0 791714519 19464192 3302 4294967295 134512640 134581267 3221224592 3221223552 134516723 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4752 3302 566 18 0 4734 0
vsize: 19008
[startup+540.009 s]
Raw data (loadavg): 0.99 0.95 0.89 2/55 1628
Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3328 0 0 0 53991 16 0 0 25 0 1 0 791714519 19464192 3302 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4752 3302 566 18 0 4734 0
vsize: 19008
[startup+550.01 s]
Raw data (loadavg): 0.99 0.95 0.89 2/55 1628
Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3328 0 0 0 54992 16 0 0 25 0 1 0 791714519 19464192 3302 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4752 3302 566 18 0 4734 0
vsize: 19008
[startup+560.009 s]
Raw data (loadavg): 0.99 0.95 0.89 2/55 1628
Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3328 0 0 0 55992 16 0 0 25 0 1 0 791714519 19464192 3302 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4752 3302 566 18 0 4734 0
vsize: 19008
[startup+570.009 s]
Raw data (loadavg): 0.99 0.95 0.90 2/55 1628
Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3329 0 0 0 56992 16 0 0 25 0 1 0 791714519 19464192 3303 4294967295 134512640 134581267 3221224592 3221223564 134519776 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4752 3303 566 18 0 4734 0
vsize: 19008
[startup+580.009 s]
Raw data (loadavg): 0.99 0.95 0.90 2/55 1628
Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3330 0 0 0 57992 16 0 0 25 0 1 0 791714519 19464192 3304 4294967295 134512640 134581267 3221224592 3221223472 134560515 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4752 3304 566 18 0 4734 0
vsize: 19008
[startup+590.009 s]
Raw data (loadavg): 0.99 0.96 0.90 2/55 1628
Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3330 0 0 0 58992 16 0 0 25 0 1 0 791714519 19464192 3304 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4752 3304 566 18 0 4734 0
vsize: 19008
[startup+600.01 s]
Raw data (loadavg): 0.99 0.96 0.90 2/55 1628
Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3335 0 0 0 59993 16 0 0 25 0 1 0 791714519 19628032 3309 4294967295 134512640 134581267 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4792 3309 566 18 0 4774 0
vsize: 19168
[startup+610.011 s]
Raw data (loadavg): 0.99 0.96 0.90 2/55 1628
Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3336 0 0 0 60993 16 0 0 25 0 1 0 791714519 19628032 3310 4294967295 134512640 134581267 3221224592 3221223520 134520034 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4792 3310 566 18 0 4774 0
vsize: 19168
[startup+620.01 s]
Raw data (loadavg): 0.99 0.96 0.90 2/55 1628
Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3336 0 0 0 61993 16 0 0 25 0 1 0 791714519 19628032 3310 4294967295 134512640 134581267 3221224592 3221223568 134560680 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4792 3310 566 18 0 4774 0
vsize: 19168
[startup+630.01 s]
Raw data (loadavg): 0.99 0.96 0.90 2/55 1628
Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3341 0 0 0 62993 16 0 0 25 0 1 0 791714519 19628032 3315 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4792 3315 566 18 0 4774 0
vsize: 19168
[startup+640.01 s]
Raw data (loadavg): 0.99 0.96 0.90 2/55 1628
Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3343 0 0 0 63993 16 0 0 25 0 1 0 791714519 19628032 3317 4294967295 134512640 134581267 3221224592 3221223568 134560674 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4792 3317 566 18 0 4774 0
vsize: 19168
[startup+650.01 s]
Raw data (loadavg): 0.99 0.96 0.90 2/55 1628
Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3343 0 0 0 64993 16 0 0 25 0 1 0 791714519 19628032 3317 4294967295 134512640 134581267 3221224592 3221223584 134560619 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4792 3317 566 18 0 4774 0
vsize: 19168
[startup+660.01 s]
Raw data (loadavg): 0.99 0.96 0.90 2/55 1628
Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3359 0 0 0 65993 16 0 0 25 0 1 0 791714519 19628032 3333 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4792 3333 566 18 0 4774 0
vsize: 19168
[startup+670.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 1628
Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3360 0 0 0 66994 16 0 0 25 0 1 0 791714519 19628032 3334 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4792 3334 566 18 0 4774 0
vsize: 19168
[startup+680.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 1628
Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3360 0 0 0 67994 16 0 0 25 0 1 0 791714519 19628032 3334 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4792 3334 566 18 0 4774 0
vsize: 19168
[startup+690.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1628
Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3360 0 0 0 68994 16 0 0 25 0 1 0 791714519 19628032 3334 4294967295 134512640 134581267 3221224592 3221223472 134560354 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4792 3334 566 18 0 4774 0
vsize: 19168
[startup+700.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1628
Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3360 0 0 0 69994 16 0 0 25 0 1 0 791714519 19628032 3334 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4792 3334 566 18 0 4774 0
vsize: 19168
[startup+710.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1628
Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3360 0 0 0 70994 16 0 0 25 0 1 0 791714519 19628032 3334 4294967295 134512640 134581267 3221224592 3221223564 134519895 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4792 3334 566 18 0 4774 0
vsize: 19168
[startup+720.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1628
Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3360 0 0 0 71995 16 0 0 25 0 1 0 791714519 19628032 3334 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4792 3334 566 18 0 4774 0
vsize: 19168
[startup+730.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1628
Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3362 0 0 0 72995 16 0 0 25 0 1 0 791714519 19628032 3336 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4792 3336 566 18 0 4774 0
vsize: 19168
[startup+740.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1628
Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3372 0 0 0 73995 16 0 0 25 0 1 0 791714519 19820544 3346 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4839 3346 566 18 0 4821 0
vsize: 19356
[startup+750.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1628
Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3372 0 0 0 74995 16 0 0 25 0 1 0 791714519 19820544 3346 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4839 3346 566 18 0 4821 0
vsize: 19356
[startup+760.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1628
Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3372 0 0 0 75995 16 0 0 25 0 1 0 791714519 19820544 3346 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4839 3346 566 18 0 4821 0
vsize: 19356
[startup+770.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1628
Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3372 0 0 0 76995 16 0 0 25 0 1 0 791714519 19820544 3346 4294967295 134512640 134581267 3221224592 3221223520 134520076 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4839 3346 566 18 0 4821 0
vsize: 19356
[startup+780.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1628
Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3372 0 0 0 77996 16 0 0 25 0 1 0 791714519 19820544 3346 4294967295 134512640 134581267 3221224592 3221223552 134516745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4839 3346 566 18 0 4821 0
vsize: 19356
[startup+790.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1628
Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3372 0 0 0 78996 16 0 0 25 0 1 0 791714519 19820544 3346 4294967295 134512640 134581267 3221224592 3221223584 134561111 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4839 3346 566 18 0 4821 0
vsize: 19356
[startup+800.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1628
Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3372 0 0 0 79996 16 0 0 25 0 1 0 791714519 19820544 3346 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4839 3346 566 18 0 4821 0
vsize: 19356
[startup+810.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1628
Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3372 0 0 0 80996 16 0 0 25 0 1 0 791714519 19820544 3346 4294967295 134512640 134581267 3221224592 3221223584 134560929 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4839 3346 566 18 0 4821 0
vsize: 19356
[startup+820.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1628
Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3378 0 0 0 81996 16 0 0 25 0 1 0 791714519 19820544 3352 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4839 3352 566 18 0 4821 0
vsize: 19356
[startup+830.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1628
Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3378 0 0 0 82996 16 0 0 25 0 1 0 791714519 19820544 3352 4294967295 134512640 134581267 3221224592 3221223568 134560674 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4839 3352 566 18 0 4821 0
vsize: 19356
[startup+840.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1628
Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3378 0 0 0 83997 16 0 0 25 0 1 0 791714519 19820544 3352 4294967295 134512640 134581267 3221224592 3221223568 134561060 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4839 3352 566 18 0 4821 0
vsize: 19356
[startup+850.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1628
Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3378 0 0 0 84997 16 0 0 25 0 1 0 791714519 19820544 3352 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4839 3352 566 18 0 4821 0
vsize: 19356
[startup+860.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1628
Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3383 0 0 0 85997 16 0 0 25 0 1 0 791714519 19820544 3357 4294967295 134512640 134581267 3221224592 3221223536 134559230 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4839 3357 566 18 0 4821 0
vsize: 19356
[startup+870.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1628
Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3389 0 0 0 86997 16 0 0 25 0 1 0 791714519 19820544 3363 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4839 3363 566 18 0 4821 0
vsize: 19356
[startup+880.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1628
Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3389 0 0 0 87997 16 0 0 25 0 1 0 791714519 19820544 3363 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4839 3363 566 18 0 4821 0
vsize: 19356
[startup+890.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1628
Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3389 0 0 0 88998 16 0 0 25 0 1 0 791714519 19820544 3363 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4839 3363 566 18 0 4821 0
vsize: 19356
[startup+900.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1628
Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3390 0 0 0 89998 16 0 0 25 0 1 0 791714519 19820544 3364 4294967295 134512640 134581267 3221224592 3221223504 134558736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4839 3364 566 18 0 4821 0
vsize: 19356
[startup+910.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1628
Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3398 0 0 0 90998 16 0 0 25 0 1 0 791714519 19820544 3372 4294967295 134512640 134581267 3221224592 3221223584 134561098 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4839 3372 566 18 0 4821 0
vsize: 19356
[startup+920.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1628
Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3398 0 0 0 91998 16 0 0 25 0 1 0 791714519 19820544 3372 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4839 3372 566 18 0 4821 0
vsize: 19356
[startup+930.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1628
Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3398 0 0 0 92998 16 0 0 25 0 1 0 791714519 19820544 3372 4294967295 134512640 134581267 3221224592 3221223536 134559268 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4839 3372 566 18 0 4821 0
vsize: 19356
[startup+940.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1628
Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3407 0 0 0 93998 16 0 0 25 0 1 0 791714519 20017152 3381 4294967295 134512640 134581267 3221224592 3221223580 134561046 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4887 3381 566 18 0 4869 0
vsize: 19548
[startup+950.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1628
Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3408 0 0 0 94999 16 0 0 25 0 1 0 791714519 20017152 3382 4294967295 134512640 134581267 3221224592 3221223524 134558724 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4887 3382 566 18 0 4869 0
vsize: 19548
[startup+960.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1628
Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3408 0 0 0 95999 16 0 0 25 0 1 0 791714519 20017152 3382 4294967295 134512640 134581267 3221224592 3221223520 134520105 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4887 3382 566 18 0 4869 0
vsize: 19548
[startup+970.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1628
Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3408 0 0 0 96999 16 0 0 25 0 1 0 791714519 20017152 3382 4294967295 134512640 134581267 3221224592 3221223556 134519780 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4887 3382 566 18 0 4869 0
vsize: 19548
[startup+980.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1628
Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3408 0 0 0 97999 16 0 0 25 0 1 0 791714519 20017152 3382 4294967295 134512640 134581267 3221224592 3221223488 134560256 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4887 3382 566 18 0 4869 0
vsize: 19548
[startup+990.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1628
Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3408 0 0 0 98999 16 0 0 25 0 1 0 791714519 20017152 3382 4294967295 134512640 134581267 3221224592 3221223584 134561084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4887 3382 566 18 0 4869 0
vsize: 19548
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1628
Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3408 0 0 0 100000 16 0 0 25 0 1 0 791714519 20017152 3382 4294967295 134512640 134581267 3221224592 3221223472 134560314 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4887 3382 566 18 0 4869 0
vsize: 19548
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1628
Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3409 0 0 0 101000 16 0 0 25 0 1 0 791714519 20017152 3383 4294967295 134512640 134581267 3221224592 3221223648 134556132 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4887 3383 566 18 0 4869 0
vsize: 19548
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1628
Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3409 0 0 0 102000 16 0 0 25 0 1 0 791714519 20017152 3383 4294967295 134512640 134581267 3221224592 3221223580 134561046 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4887 3383 566 18 0 4869 0
vsize: 19548
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1628
Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3409 0 0 0 103000 16 0 0 25 0 1 0 791714519 20017152 3383 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4887 3383 566 18 0 4869 0
vsize: 19548
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1628
Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3409 0 0 0 104000 16 0 0 25 0 1 0 791714519 20017152 3383 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4887 3383 566 18 0 4869 0
vsize: 19548
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1628
Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3409 0 0 0 105001 16 0 0 25 0 1 0 791714519 20017152 3383 4294967295 134512640 134581267 3221224592 3221223472 134560252 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4887 3383 566 18 0 4869 0
vsize: 19548
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1628
Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3409 0 0 0 106001 16 0 0 25 0 1 0 791714519 20017152 3383 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4887 3383 566 18 0 4869 0
vsize: 19548
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1628
Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3410 0 0 0 107001 16 0 0 25 0 1 0 791714519 20017152 3384 4294967295 134512640 134581267 3221224592 3221223536 134558840 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4887 3384 566 18 0 4869 0
vsize: 19548
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1628
Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3420 0 0 0 108001 16 0 0 25 0 1 0 791714519 20017152 3394 4294967295 134512640 134581267 3221224592 3221223488 134517844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4887 3394 566 18 0 4869 0
vsize: 19548
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1628
Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3420 0 0 0 109001 16 0 0 25 0 1 0 791714519 20017152 3394 4294967295 134512640 134581267 3221224592 3221223568 134560711 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4887 3394 566 18 0 4869 0
vsize: 19548
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1628
Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3420 0 0 0 110002 16 0 0 25 0 1 0 791714519 20017152 3394 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4887 3394 566 18 0 4869 0
vsize: 19548
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1628
Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3420 0 0 0 111002 16 0 0 25 0 1 0 791714519 20017152 3394 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4887 3394 566 18 0 4869 0
vsize: 19548
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1628
Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3420 0 0 0 112002 16 0 0 25 0 1 0 791714519 20017152 3394 4294967295 134512640 134581267 3221224592 3221223584 134561101 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4887 3394 566 18 0 4869 0
vsize: 19548
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1628
Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3420 0 0 0 113002 16 0 0 25 0 1 0 791714519 20017152 3394 4294967295 134512640 134581267 3221224592 3221223520 134519797 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4887 3394 566 18 0 4869 0
vsize: 19548
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1628
Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3420 0 0 0 114002 16 0 0 25 0 1 0 791714519 20017152 3394 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4887 3394 566 18 0 4869 0
vsize: 19548
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1628
Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3420 0 0 0 115003 16 0 0 25 0 1 0 791714519 20017152 3394 4294967295 134512640 134581267 3221224592 3221223488 134517868 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4887 3394 566 18 0 4869 0
vsize: 19548
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1628
Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3420 0 0 0 116003 16 0 0 25 0 1 0 791714519 20017152 3394 4294967295 134512640 134581267 3221224592 3221223568 134560674 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4887 3394 566 18 0 4869 0
vsize: 19548
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1628
Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3420 0 0 0 117003 16 0 0 25 0 1 0 791714519 20017152 3394 4294967295 134512640 134581267 3221224592 3221223536 134558759 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4887 3394 566 18 0 4869 0
vsize: 19548
[startup+1180.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1628
Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3421 0 0 0 118003 16 0 0 25 0 1 0 791714519 20017152 3395 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4887 3395 566 18 0 4869 0
vsize: 19548
[startup+1190.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1628
Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3421 0 0 0 119003 16 0 0 25 0 1 0 791714519 20017152 3395 4294967295 134512640 134581267 3221224592 3221223584 134561029 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4887 3395 566 18 0 4869 0
vsize: 19548
[startup+1200.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1628
Raw data (stat): 1628 (Pueblo-v2) R 1627 8378 8377 0 -1 0 3421 0 0 0 120003 16 0 0 25 0 1 0 791714519 20017152 3395 4294967295 134512640 134581267 3221224592 3221223568 134560674 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4887 3395 566 18 0 4869 0
vsize: 19548
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 1628
Raw data (stat): 1628 (Pueblo-v2) Z 1627 8378 8377 0 -1 1036 3421 0 0 0 120003 17 0 0 25 0 1 0 791714519 0 0 4294967295 0 0 0 0 0 0 0 7 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.03
CPU time (s): 1200.22
CPU user time (s): 1200.04
CPU system time (s): 0.175973
CPU usage (%): 100.015
Max. virtual memory (Kb): 19548
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####