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/aloul/FPGA_SAT05/normalized-chnl35_40_pb.cnf.cr.opb
MD5SUM	85d4e2fa5fd7a61a85d3ecb1e311bddb
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	NO
(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	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	41
Number of bits of the biggest sum of numbers	6
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.083986
Number of variables	2800
Total number of constraints	150
Number of constraints which are clauses	80
Number of constraints which are cardinality constraints (but not clauses)	70
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	35
Maximum length of a constraint	40
Trace number 38223

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-02 05:16:08 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26285 boxname=wulflinc1 idbench=15 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  85d4e2fa5fd7a61a85d3ecb1e311bddb  /oldhome/oroussel/tmp/wulflinc1/normalized-chnl35_40_pb.cnf.cr.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-chnl35_40_pb.cnf.cr.opb
IDLAUNCH: 26285
/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:        678100 kB
Buffers:         33724 kB
Cached:         298836 kB
SwapCached:        640 kB
Active:          67240 kB
Inactive:       267568 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        677848 kB
SwapTotal:     2097136 kB
SwapFree:      2095412 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5824 kB
Slab:            15900 kB
Committed_AS:    92716 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 05:36:10 (client local time) WITH STATUS 0 IN 1200.2 SECONDS
stats: 26285 7 1200.2 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.92 0.97 0.89 2/55 30593
Raw data (stat): 30593 (runsolver) R 30592 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 790337523 884736 94 4294967295 134512640 135332820 3221224464 3221219644 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.0001 s]
Raw data (loadavg): 0.93 0.97 0.89 2/55 30593
Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 640 0 0 0 998 0 0 0 25 0 1 0 790337523 8294400 614 4294967295 134512640 134581267 3221224576 3221223504 134519931 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2025 614 566 18 0 2007 0
vsize: 8100
[startup+20.0009 s]
Raw data (loadavg): 0.94 0.97 0.89 2/55 30593
Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 838 0 0 0 1998 1 0 0 25 0 1 0 790337523 9158656 812 4294967295 134512640 134581267 3221224576 3221223504 134520076 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2236 812 566 18 0 2218 0
vsize: 8944
[startup+30.0006 s]
Raw data (loadavg): 0.95 0.97 0.89 2/55 30593
Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 965 0 0 0 2998 1 0 0 25 0 1 0 790337523 9527296 925 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2326 925 566 18 0 2308 0
vsize: 9304
[startup+40.0004 s]
Raw data (loadavg): 0.96 0.97 0.89 2/55 30593
Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 1317 0 0 0 3997 2 0 0 25 0 1 0 790337523 10981376 1267 4294967295 134512640 134581267 3221224576 3221223456 134520302 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2681 1267 566 18 0 2663 0
vsize: 10724
[startup+50.0012 s]
Raw data (loadavg): 0.96 0.97 0.89 2/55 30593
Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 1498 0 0 0 4997 2 0 0 25 0 1 0 790337523 11673600 1448 4294967295 134512640 134581267 3221224576 3221223504 134519947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2850 1448 566 18 0 2832 0
vsize: 11400
[startup+60.001 s]
Raw data (loadavg): 0.97 0.97 0.89 2/55 30593
Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 1498 0 0 0 5997 2 0 0 25 0 1 0 790337523 11636736 1440 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2841 1440 566 18 0 2823 0
vsize: 11364
[startup+70.0018 s]
Raw data (loadavg): 0.97 0.97 0.89 2/55 30593
Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 1498 0 0 0 6997 2 0 0 25 0 1 0 790337523 11636736 1440 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2841 1440 566 18 0 2823 0
vsize: 11364
[startup+80.0015 s]
Raw data (loadavg): 0.98 0.97 0.89 2/55 30593
Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 1498 0 0 0 7997 2 0 0 25 0 1 0 790337523 11636736 1440 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2841 1440 566 18 0 2823 0
vsize: 11364
[startup+90.0013 s]
Raw data (loadavg): 0.98 0.97 0.89 2/55 30593
Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 1498 0 0 0 8997 2 0 0 25 0 1 0 790337523 11636736 1440 4294967295 134512640 134581267 3221224576 3221223520 134559425 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2841 1440 566 18 0 2823 0
vsize: 11364
[startup+100.001 s]
Raw data (loadavg): 0.98 0.97 0.89 2/55 30593
Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 1498 0 0 0 9998 2 0 0 25 0 1 0 790337523 11636736 1440 4294967295 134512640 134581267 3221224576 3221223472 134517868 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2841 1440 566 18 0 2823 0
vsize: 11364
[startup+110.001 s]
Raw data (loadavg): 0.98 0.97 0.90 2/55 30593
Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 1498 0 0 0 10998 2 0 0 25 0 1 0 790337523 11636736 1440 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2841 1440 566 18 0 2823 0
vsize: 11364
[startup+120.002 s]
Raw data (loadavg): 0.99 0.97 0.90 2/55 30593
Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 1574 0 0 0 11998 3 0 0 25 0 1 0 790337523 12021760 1516 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2935 1516 566 18 0 2917 0
vsize: 11740
[startup+130.001 s]
Raw data (loadavg): 0.99 0.97 0.90 2/55 30593
Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 1718 0 0 0 12997 3 0 0 25 0 1 0 790337523 12648448 1660 4294967295 134512640 134581267 3221224576 3221223472 134517871 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3088 1660 566 18 0 3070 0
vsize: 12352
[startup+140.001 s]
Raw data (loadavg): 0.99 0.97 0.90 2/55 30593
Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 1760 0 0 0 13997 3 0 0 25 0 1 0 790337523 12730368 1702 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3108 1702 566 18 0 3090 0
vsize: 12432
[startup+150.002 s]
Raw data (loadavg): 0.99 0.97 0.90 2/55 30593
Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 1815 0 0 0 14998 3 0 0 25 0 1 0 790337523 12976128 1757 4294967295 134512640 134581267 3221224576 3221223472 134517902 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3168 1757 566 18 0 3150 0
vsize: 12672
[startup+160.002 s]
Raw data (loadavg): 0.99 0.97 0.90 2/55 30593
Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 1939 0 0 0 15998 4 0 0 25 0 1 0 790337523 13471744 1881 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3289 1881 566 18 0 3271 0
vsize: 13156
[startup+170.002 s]
Raw data (loadavg): 0.99 0.97 0.90 2/55 30593
Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 1939 0 0 0 16998 4 0 0 25 0 1 0 790337523 13471744 1881 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3289 1881 566 18 0 3271 0
vsize: 13156
[startup+180.001 s]
Raw data (loadavg): 0.99 0.97 0.90 2/55 30593
Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 1939 0 0 0 17998 4 0 0 25 0 1 0 790337523 13471744 1881 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3289 1881 566 18 0 3271 0
vsize: 13156
[startup+190.001 s]
Raw data (loadavg): 0.99 0.97 0.90 2/55 30593
Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 1939 0 0 0 18998 4 0 0 25 0 1 0 790337523 13471744 1881 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3289 1881 566 18 0 3271 0
vsize: 13156
[startup+200.001 s]
Raw data (loadavg): 0.99 0.97 0.90 2/55 30593
Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 1939 0 0 0 19998 4 0 0 25 0 1 0 790337523 13471744 1881 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3289 1881 566 18 0 3271 0
vsize: 13156
[startup+210.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30593
Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 1939 0 0 0 20998 4 0 0 25 0 1 0 790337523 13385728 1867 4294967295 134512640 134581267 3221224576 3221223504 134519931 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3268 1867 566 18 0 3250 0
vsize: 13072
[startup+220.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30593
Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 1960 0 0 0 21999 4 0 0 25 0 1 0 790337523 13508608 1888 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3298 1888 566 18 0 3280 0
vsize: 13192
[startup+230.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30593
Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 1976 0 0 0 22999 4 0 0 25 0 1 0 790337523 13639680 1904 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3330 1904 566 18 0 3312 0
vsize: 13320
[startup+240.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30593
Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2013 0 0 0 23999 4 0 0 25 0 1 0 790337523 13754368 1941 4294967295 134512640 134581267 3221224576 3221223472 134517897 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3358 1941 566 18 0 3340 0
vsize: 13432
[startup+250.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30593
Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2013 0 0 0 24999 4 0 0 25 0 1 0 790337523 13754368 1941 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3358 1941 566 18 0 3340 0
vsize: 13432
[startup+260.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30593
Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2048 0 0 0 25999 4 0 0 25 0 1 0 790337523 13840384 1976 4294967295 134512640 134581267 3221224576 3221223472 134517871 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3379 1976 566 18 0 3361 0
vsize: 13516
[startup+270.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30593
Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2048 0 0 0 26999 4 0 0 25 0 1 0 790337523 13783040 1964 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3365 1964 566 18 0 3347 0
vsize: 13460
[startup+280 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30593
Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2048 0 0 0 27999 4 0 0 25 0 1 0 790337523 13778944 1963 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3364 1963 566 18 0 3346 0
vsize: 13456
[startup+290.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30593
Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2048 0 0 0 28999 4 0 0 25 0 1 0 790337523 13770752 1961 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3362 1961 566 18 0 3344 0
vsize: 13448
[startup+300.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30593
Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2048 0 0 0 30000 4 0 0 25 0 1 0 790337523 13754368 1957 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3358 1957 566 18 0 3340 0
vsize: 13432
[startup+310.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30593
Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2048 0 0 0 31000 4 0 0 25 0 1 0 790337523 13754368 1957 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3358 1957 566 18 0 3340 0
vsize: 13432
[startup+320.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30593
Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2094 0 0 0 32000 4 0 0 25 0 1 0 790337523 13754368 1957 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3358 1957 566 18 0 3340 0
vsize: 13432
[startup+330 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30593
Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2253 0 0 0 33000 4 0 0 25 0 1 0 790337523 14475264 2116 4294967295 134512640 134581267 3221224576 3221223472 134517912 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3534 2116 566 18 0 3516 0
vsize: 14136
[startup+340 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30593
Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2253 0 0 0 34000 4 0 0 25 0 1 0 790337523 14475264 2116 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3534 2116 566 18 0 3516 0
vsize: 14136
[startup+350 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30593
Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2253 0 0 0 35000 4 0 0 25 0 1 0 790337523 14475264 2116 4294967295 134512640 134581267 3221224576 3221223472 134517871 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3534 2116 566 18 0 3516 0
vsize: 14136
[startup+360 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30593
Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2253 0 0 0 36000 4 0 0 25 0 1 0 790337523 14475264 2116 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3534 2116 566 18 0 3516 0
vsize: 14136
[startup+370 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30593
Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2253 0 0 0 37000 4 0 0 25 0 1 0 790337523 14098432 2041 4294967295 134512640 134581267 3221224576 3221223472 134517900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3442 2041 566 18 0 3424 0
vsize: 13768
[startup+380 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30593
Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2253 0 0 0 38000 4 0 0 25 0 1 0 790337523 14098432 2041 4294967295 134512640 134581267 3221224576 3221223472 134517871 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3442 2041 566 18 0 3424 0
vsize: 13768
[startup+389.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30593
Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2253 0 0 0 39001 4 0 0 25 0 1 0 790337523 14098432 2041 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3442 2041 566 18 0 3424 0
vsize: 13768
[startup+400 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30593
Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2253 0 0 0 40001 4 0 0 25 0 1 0 790337523 14098432 2041 4294967295 134512640 134581267 3221224576 3221223472 134517902 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3442 2041 566 18 0 3424 0
vsize: 13768
[startup+410 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30593
Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2253 0 0 0 41001 4 0 0 25 0 1 0 790337523 14098432 2041 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3442 2041 566 18 0 3424 0
vsize: 13768
[startup+420.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30593
Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2253 0 0 0 42001 4 0 0 25 0 1 0 790337523 14098432 2041 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3442 2041 566 18 0 3424 0
vsize: 13768
[startup+430.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30593
Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2253 0 0 0 43001 4 0 0 25 0 1 0 790337523 14098432 2041 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3442 2041 566 18 0 3424 0
vsize: 13768
[startup+440 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30593
Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2253 0 0 0 44002 4 0 0 25 0 1 0 790337523 14098432 2041 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3442 2041 566 18 0 3424 0
vsize: 13768
[startup+450 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30593
Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2253 0 0 0 45002 4 0 0 25 0 1 0 790337523 14098432 2041 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3442 2041 566 18 0 3424 0
vsize: 13768
[startup+460 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30593
Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2253 0 0 0 46002 4 0 0 25 0 1 0 790337523 14098432 2041 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3442 2041 566 18 0 3424 0
vsize: 13768
[startup+470.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30593
Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2253 0 0 0 47002 4 0 0 25 0 1 0 790337523 14098432 2041 4294967295 134512640 134581267 3221224576 3221223472 134517897 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3442 2041 566 18 0 3424 0
vsize: 13768
[startup+480.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30593
Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2253 0 0 0 48002 4 0 0 25 0 1 0 790337523 14098432 2041 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3442 2041 566 18 0 3424 0
vsize: 13768
[startup+490.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30593
Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2253 0 0 0 49002 4 0 0 25 0 1 0 790337523 14098432 2041 4294967295 134512640 134581267 3221224576 3221223504 134519947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3442 2041 566 18 0 3424 0
vsize: 13768
[startup+500.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30593
Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2253 0 0 0 50003 4 0 0 25 0 1 0 790337523 14098432 2041 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3442 2041 566 18 0 3424 0
vsize: 13768
[startup+510.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30593
Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2253 0 0 0 51003 4 0 0 25 0 1 0 790337523 14098432 2041 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3442 2041 566 18 0 3424 0
vsize: 13768
[startup+520.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30593
Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2253 0 0 0 52003 4 0 0 25 0 1 0 790337523 14098432 2041 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3442 2041 566 18 0 3424 0
vsize: 13768
[startup+530.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30593
Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2253 0 0 0 53003 4 0 0 25 0 1 0 790337523 14098432 2041 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3442 2041 566 18 0 3424 0
vsize: 13768
[startup+540.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30593
Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2253 0 0 0 54003 4 0 0 25 0 1 0 790337523 14098432 2041 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3442 2041 566 18 0 3424 0
vsize: 13768
[startup+550.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30593
Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2253 0 0 0 55003 4 0 0 25 0 1 0 790337523 14098432 2041 4294967295 134512640 134581267 3221224576 3221223472 134517900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3442 2041 566 18 0 3424 0
vsize: 13768
[startup+560 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30593
Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2253 0 0 0 56003 4 0 0 25 0 1 0 790337523 14098432 2041 4294967295 134512640 134581267 3221224576 3221223472 134517897 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3442 2041 566 18 0 3424 0
vsize: 13768
[startup+570.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30593
Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2253 0 0 0 57004 4 0 0 25 0 1 0 790337523 14098432 2041 4294967295 134512640 134581267 3221224576 3221223556 134561052 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3442 2041 566 18 0 3424 0
vsize: 13768
[startup+580.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30593
Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2253 0 0 0 58004 4 0 0 25 0 1 0 790337523 14098432 2041 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3442 2041 566 18 0 3424 0
vsize: 13768
[startup+590.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30593
Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2253 0 0 0 59004 4 0 0 25 0 1 0 790337523 14098432 2041 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3442 2041 566 18 0 3424 0
vsize: 13768
[startup+600.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30593
Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2253 0 0 0 60004 4 0 0 25 0 1 0 790337523 14098432 2041 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3442 2041 566 18 0 3424 0
vsize: 13768
[startup+610.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30593
Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2253 0 0 0 61004 4 0 0 25 0 1 0 790337523 14098432 2041 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3442 2041 566 18 0 3424 0
vsize: 13768
[startup+620.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30593
Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2253 0 0 0 62004 4 0 0 25 0 1 0 790337523 14098432 2041 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3442 2041 566 18 0 3424 0
vsize: 13768
[startup+630.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30593
Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2253 0 0 0 63005 4 0 0 25 0 1 0 790337523 14098432 2041 4294967295 134512640 134581267 3221224576 3221223504 134519952 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3442 2041 566 18 0 3424 0
vsize: 13768
[startup+640.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30593
Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2253 0 0 0 64005 4 0 0 25 0 1 0 790337523 14098432 2041 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3442 2041 566 18 0 3424 0
vsize: 13768
[startup+650.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30593
Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2253 0 0 0 65005 4 0 0 25 0 1 0 790337523 14098432 2041 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3442 2041 566 18 0 3424 0
vsize: 13768
[startup+660.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30593
Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2253 0 0 0 66005 4 0 0 25 0 1 0 790337523 14098432 2041 4294967295 134512640 134581267 3221224576 3221223616 134555851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3442 2041 566 18 0 3424 0
vsize: 13768
[startup+670.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30593
Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2253 0 0 0 67005 4 0 0 25 0 1 0 790337523 14098432 2041 4294967295 134512640 134581267 3221224576 3221223504 134519952 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3442 2041 566 18 0 3424 0
vsize: 13768
[startup+680.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30593
Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2253 0 0 0 68005 4 0 0 25 0 1 0 790337523 14098432 2041 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3442 2041 566 18 0 3424 0
vsize: 13768
[startup+690 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30593
Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2253 0 0 0 69006 4 0 0 25 0 1 0 790337523 14098432 2041 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3442 2041 566 18 0 3424 0
vsize: 13768
[startup+700 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30593
Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2253 0 0 0 70006 4 0 0 25 0 1 0 790337523 14098432 2041 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3442 2041 566 18 0 3424 0
vsize: 13768
[startup+710 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30593
Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2253 0 0 0 71006 4 0 0 25 0 1 0 790337523 14098432 2041 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3442 2041 566 18 0 3424 0
vsize: 13768
[startup+720.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30593
Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2253 0 0 0 72006 4 0 0 25 0 1 0 790337523 14098432 2041 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3442 2041 566 18 0 3424 0
vsize: 13768
[startup+730.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30593
Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2269 0 0 0 73006 4 0 0 25 0 1 0 790337523 14221312 2057 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3472 2057 566 18 0 3454 0
vsize: 13888
[startup+740 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30593
Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2269 0 0 0 74006 4 0 0 25 0 1 0 790337523 14118912 2046 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3447 2046 566 18 0 3429 0
vsize: 13788
[startup+750.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30593
Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2269 0 0 0 75007 4 0 0 25 0 1 0 790337523 14118912 2046 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3447 2046 566 18 0 3429 0
vsize: 13788
[startup+760.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30593
Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2269 0 0 0 76007 4 0 0 25 0 1 0 790337523 14118912 2046 4294967295 134512640 134581267 3221224576 3221223472 134517902 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3447 2046 566 18 0 3429 0
vsize: 13788
[startup+770.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30593
Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2269 0 0 0 77007 4 0 0 25 0 1 0 790337523 14118912 2046 4294967295 134512640 134581267 3221224576 3221223504 134519952 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3447 2046 566 18 0 3429 0
vsize: 13788
[startup+780.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30593
Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2269 0 0 0 78007 4 0 0 25 0 1 0 790337523 14114816 2045 4294967295 134512640 134581267 3221224576 3221223472 134517777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3446 2045 566 18 0 3428 0
vsize: 13784
[startup+790.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30593
Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2269 0 0 0 79007 4 0 0 25 0 1 0 790337523 14110720 2044 4294967295 134512640 134581267 3221224576 3221223456 134520304 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3445 2044 566 18 0 3427 0
vsize: 13780
[startup+800.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30593
Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2269 0 0 0 80007 4 0 0 25 0 1 0 790337523 14110720 2044 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3445 2044 566 18 0 3427 0
vsize: 13780
[startup+810.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30593
Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2269 0 0 0 81008 4 0 0 25 0 1 0 790337523 14098432 2041 4294967295 134512640 134581267 3221224576 3221223456 134520297 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3442 2041 566 18 0 3424 0
vsize: 13768
[startup+820.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30593
Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2269 0 0 0 82008 4 0 0 25 0 1 0 790337523 14098432 2041 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3442 2041 566 18 0 3424 0
vsize: 13768
[startup+830.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30593
Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2269 0 0 0 83008 4 0 0 25 0 1 0 790337523 14098432 2041 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3442 2041 566 18 0 3424 0
vsize: 13768
[startup+840.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30593
Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2269 0 0 0 84008 4 0 0 25 0 1 0 790337523 14098432 2041 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3442 2041 566 18 0 3424 0
vsize: 13768
[startup+850.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30593
Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2269 0 0 0 85008 4 0 0 25 0 1 0 790337523 14098432 2041 4294967295 134512640 134581267 3221224576 3221223504 134520084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3442 2041 566 18 0 3424 0
vsize: 13768
[startup+860.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30593
Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2269 0 0 0 86009 4 0 0 25 0 1 0 790337523 14098432 2041 4294967295 134512640 134581267 3221224576 3221223504 134519947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3442 2041 566 18 0 3424 0
vsize: 13768
[startup+870.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30593
Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2269 0 0 0 87009 4 0 0 25 0 1 0 790337523 14098432 2041 4294967295 134512640 134581267 3221224576 3221223504 134519958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3442 2041 566 18 0 3424 0
vsize: 13768
[startup+880.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30593
Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2269 0 0 0 88009 4 0 0 25 0 1 0 790337523 14098432 2041 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3442 2041 566 18 0 3424 0
vsize: 13768
[startup+890.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30593
Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2269 0 0 0 89009 4 0 0 25 0 1 0 790337523 14098432 2041 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3442 2041 566 18 0 3424 0
vsize: 13768
[startup+900.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30593
Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2286 0 0 0 90009 4 0 0 25 0 1 0 790337523 14221312 2058 4294967295 134512640 134581267 3221224576 3221223472 134517871 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3472 2058 566 18 0 3454 0
vsize: 13888
[startup+910.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30593
Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2286 0 0 0 91009 4 0 0 25 0 1 0 790337523 14221312 2058 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3472 2058 566 18 0 3454 0
vsize: 13888
[startup+920.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30593
Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2286 0 0 0 92009 4 0 0 25 0 1 0 790337523 14098432 2041 4294967295 134512640 134581267 3221224576 3221223472 134517900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3442 2041 566 18 0 3424 0
vsize: 13768
[startup+930.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30593
Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2286 0 0 0 93010 4 0 0 25 0 1 0 790337523 14098432 2041 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3442 2041 566 18 0 3424 0
vsize: 13768
[startup+940.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30593
Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2286 0 0 0 94010 4 0 0 25 0 1 0 790337523 14098432 2041 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3442 2041 566 18 0 3424 0
vsize: 13768
[startup+950.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30593
Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2286 0 0 0 95010 4 0 0 25 0 1 0 790337523 14098432 2041 4294967295 134512640 134581267 3221224576 3221223456 134560297 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3442 2041 566 18 0 3424 0
vsize: 13768
[startup+960.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30593
Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2286 0 0 0 96010 4 0 0 25 0 1 0 790337523 14098432 2041 4294967295 134512640 134581267 3221224576 3221223568 134560929 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3442 2041 566 18 0 3424 0
vsize: 13768
[startup+970.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30593
Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2286 0 0 0 97010 4 0 0 25 0 1 0 790337523 14098432 2041 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3442 2041 566 18 0 3424 0
vsize: 13768
[startup+980.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30593
Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2286 0 0 0 98010 4 0 0 25 0 1 0 790337523 14098432 2041 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3442 2041 566 18 0 3424 0
vsize: 13768
[startup+990.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30593
Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2286 0 0 0 99011 4 0 0 25 0 1 0 790337523 14098432 2041 4294967295 134512640 134581267 3221224576 3221223472 134517900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3442 2041 566 18 0 3424 0
vsize: 13768
[startup+1000 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30593
Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2286 0 0 0 100011 4 0 0 25 0 1 0 790337523 14098432 2041 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3442 2041 566 18 0 3424 0
vsize: 13768
[startup+1010 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30593
Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2286 0 0 0 101011 4 0 0 25 0 1 0 790337523 14098432 2041 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3442 2041 566 18 0 3424 0
vsize: 13768
[startup+1020 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30593
Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2286 0 0 0 102011 4 0 0 25 0 1 0 790337523 14098432 2041 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3442 2041 566 18 0 3424 0
vsize: 13768
[startup+1030 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30593
Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2304 0 0 0 103011 4 0 0 25 0 1 0 790337523 14225408 2059 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3473 2059 566 18 0 3455 0
vsize: 13892
[startup+1040 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30593
Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2371 0 0 0 104011 5 0 0 25 0 1 0 790337523 14467072 2126 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3532 2126 566 18 0 3514 0
vsize: 14128
[startup+1050 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30593
Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2371 0 0 0 105011 5 0 0 25 0 1 0 790337523 14467072 2126 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3532 2126 566 18 0 3514 0
vsize: 14128
[startup+1060 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30593
Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2371 0 0 0 106011 5 0 0 25 0 1 0 790337523 14467072 2126 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3532 2126 566 18 0 3514 0
vsize: 14128
[startup+1070 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30593
Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2371 0 0 0 107011 5 0 0 25 0 1 0 790337523 14467072 2126 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3532 2126 566 18 0 3514 0
vsize: 14128
[startup+1080 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30593
Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2371 0 0 0 108012 5 0 0 25 0 1 0 790337523 14467072 2126 4294967295 134512640 134581267 3221224576 3221223504 134520084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3532 2126 566 18 0 3514 0
vsize: 14128
[startup+1090 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30593
Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2378 0 0 0 109012 5 0 0 25 0 1 0 790337523 14585856 2133 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3561 2133 566 18 0 3543 0
vsize: 14244
[startup+1100 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30593
Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2654 0 0 0 110011 6 0 0 25 0 1 0 790337523 15609856 2409 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3811 2409 566 18 0 3793 0
vsize: 15244
[startup+1110 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30593
Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2654 0 0 0 111011 6 0 0 25 0 1 0 790337523 15609856 2409 4294967295 134512640 134581267 3221224576 3221223504 134520084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3811 2409 566 18 0 3793 0
vsize: 15244
[startup+1120 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30593
Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2654 0 0 0 112012 6 0 0 25 0 1 0 790337523 15609856 2409 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3811 2409 566 18 0 3793 0
vsize: 15244
[startup+1130 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30593
Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2654 0 0 0 113012 6 0 0 25 0 1 0 790337523 15609856 2409 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3811 2409 566 18 0 3793 0
vsize: 15244
[startup+1140 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30593
Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2654 0 0 0 114012 6 0 0 25 0 1 0 790337523 15609856 2409 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3811 2409 566 18 0 3793 0
vsize: 15244
[startup+1150 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30593
Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2654 0 0 0 115012 6 0 0 25 0 1 0 790337523 15609856 2409 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3811 2409 566 18 0 3793 0
vsize: 15244
[startup+1160 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30593
Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2654 0 0 0 116012 6 0 0 25 0 1 0 790337523 15609856 2409 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3811 2409 566 18 0 3793 0
vsize: 15244
[startup+1170 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30593
Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2654 0 0 0 117012 6 0 0 25 0 1 0 790337523 15609856 2409 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3811 2409 566 18 0 3793 0
vsize: 15244
[startup+1180 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30593
Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2654 0 0 0 118013 6 0 0 25 0 1 0 790337523 15609856 2409 4294967295 134512640 134581267 3221224576 3221223228 1075289104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3811 2409 566 18 0 3793 0
vsize: 15244
[startup+1190 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30593
Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2654 0 0 0 119013 6 0 0 25 0 1 0 790337523 15609856 2409 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3811 2409 566 18 0 3793 0
vsize: 15244
[startup+1200 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30593
Raw data (stat): 30593 (Pueblo-v2) R 30592 8378 8377 0 -1 0 2654 0 0 0 120013 6 0 0 25 0 1 0 790337523 15609856 2409 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3811 2409 566 18 0 3793 0
vsize: 15244
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.01 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 30593
Raw data (stat): 30593 (Pueblo-v2) Z 30592 8378 8377 0 -1 1036 2654 0 0 0 120013 6 0 0 25 0 1 0 790337523 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.01
CPU time (s): 1200.2
CPU user time (s): 1200.14
CPU system time (s): 0.065989
CPU usage (%): 100.016
Max. virtual memory (Kb): 15244
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####