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/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran13x13.opb
MD5SUM	688d61d0de54e028c8c4910e094a132c
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	893343
Optimality of the best value was proved	NO
Number of terms in the objective function	3549
Biggest coefficient in the objective function	5242880
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	949933178
Number of bits of the sum of numbers in the objective function	30
Biggest number in a constraint	5242880
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	949933178
Number of bits of the biggest sum of numbers	30
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.05
Number of variables	3549
Total number of constraints	195
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	195
Minimum length of a constraint	21
Maximum length of a constraint	260
Trace number 39290

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-03 02:33:52 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27356 boxname=wulflinc6 idbench=1484 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  688d61d0de54e028c8c4910e094a132c  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-ran13x13.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-ran13x13.opb
IDLAUNCH: 27356
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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.042
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:        267288 kB
Buffers:         33684 kB
Cached:         712416 kB
SwapCached:        540 kB
Active:          26628 kB
Inactive:       721528 kB
HighTotal:      131008 kB
HighFree:        25508 kB
LowTotal:       903652 kB
LowFree:        241780 kB
SwapTotal:     2097136 kB
SwapFree:      2095652 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5196 kB
Slab:            13672 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-03 02:53:54 (client local time) WITH STATUS 0 IN 1200.38 SECONDS
stats: 27356 7 1200.38 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.91 0.95 0.92 2/54 26346
Raw data (stat): 26346 (runsolver) R 26345 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 854860837 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0006 s]
Raw data (loadavg): 0.93 0.95 0.92 2/54 26346
Raw data (stat): 26346 (Pueblo-v2) R 26345 25568 25567 0 -1 0 890 0 0 0 996 2 0 0 25 0 1 0 854860837 9170944 864 4294967295 134512640 134581267 3221224576 3221223488 134527692 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2239 864 566 18 0 2221 0
vsize: 8956
[startup+20.0005 s]
Raw data (loadavg): 0.94 0.96 0.92 2/54 26346
Raw data (stat): 26346 (Pueblo-v2) R 26345 25568 25567 0 -1 0 899 0 0 0 1996 2 0 0 25 0 1 0 854860837 9302016 873 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2271 873 566 18 0 2253 0
vsize: 9084
[startup+30.0003 s]
Raw data (loadavg): 0.95 0.96 0.92 2/54 26346
Raw data (stat): 26346 (Pueblo-v2) R 26345 25568 25567 0 -1 0 903 0 0 0 2996 2 0 0 25 0 1 0 854860837 9302016 877 4294967295 134512640 134581267 3221224576 3221223488 134527504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2271 877 566 18 0 2253 0
vsize: 9084
[startup+39.9997 s]
Raw data (loadavg): 0.95 0.96 0.92 2/54 26346
Raw data (stat): 26346 (Pueblo-v2) R 26345 25568 25567 0 -1 0 908 0 0 0 3997 2 0 0 25 0 1 0 854860837 9302016 882 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2271 882 566 18 0 2253 0
vsize: 9084
[startup+49.9998 s]
Raw data (loadavg): 0.96 0.96 0.92 2/54 26346
Raw data (stat): 26346 (Pueblo-v2) R 26345 25568 25567 0 -1 0 914 0 0 0 4997 2 0 0 25 0 1 0 854860837 9302016 888 4294967295 134512640 134581267 3221224576 3221223488 134527683 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2271 888 566 18 0 2253 0
vsize: 9084
[startup+59.9996 s]
Raw data (loadavg): 0.97 0.96 0.92 2/54 26346
Raw data (stat): 26346 (Pueblo-v2) R 26345 25568 25567 0 -1 0 915 0 0 0 5997 3 0 0 25 0 1 0 854860837 9302016 889 4294967295 134512640 134581267 3221224576 3221223488 134528053 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2271 889 566 18 0 2253 0
vsize: 9084
[startup+70.0001 s]
Raw data (loadavg): 0.97 0.96 0.92 2/54 26346
Raw data (stat): 26346 (Pueblo-v2) R 26345 25568 25567 0 -1 0 918 0 0 0 6998 3 0 0 25 0 1 0 854860837 9302016 892 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2271 892 566 18 0 2253 0
vsize: 9084
[startup+80.0002 s]
Raw data (loadavg): 0.98 0.96 0.92 2/54 26346
Raw data (stat): 26346 (Pueblo-v2) R 26345 25568 25567 0 -1 0 923 0 0 0 7998 3 0 0 25 0 1 0 854860837 9433088 897 4294967295 134512640 134581267 3221224576 3221223488 134527434 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2303 897 566 18 0 2285 0
vsize: 9212
[startup+90 s]
Raw data (loadavg): 0.98 0.96 0.92 2/54 26346
Raw data (stat): 26346 (Pueblo-v2) R 26345 25568 25567 0 -1 0 928 0 0 0 8998 3 0 0 25 0 1 0 854860837 9433088 902 4294967295 134512640 134581267 3221224576 3221223440 134528246 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2303 902 566 18 0 2285 0
vsize: 9212
[startup+99.9994 s]
Raw data (loadavg): 0.98 0.96 0.92 2/54 26346
Raw data (stat): 26346 (Pueblo-v2) R 26345 25568 25567 0 -1 0 929 0 0 0 9999 3 0 0 25 0 1 0 854860837 9433088 903 4294967295 134512640 134581267 3221224576 3221223488 134527423 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2303 903 566 18 0 2285 0
vsize: 9212
[startup+110 s]
Raw data (loadavg): 0.98 0.96 0.92 2/54 26346
Raw data (stat): 26346 (Pueblo-v2) R 26345 25568 25567 0 -1 0 930 0 0 0 10999 3 0 0 25 0 1 0 854860837 9433088 904 4294967295 134512640 134581267 3221224576 3221223488 134527539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2303 904 566 18 0 2285 0
vsize: 9212
[startup+119.999 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 26346
Raw data (stat): 26346 (Pueblo-v2) R 26345 25568 25567 0 -1 0 934 0 0 0 11999 3 0 0 25 0 1 0 854860837 9433088 908 4294967295 134512640 134581267 3221224576 3221223488 134527692 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2303 908 566 18 0 2285 0
vsize: 9212
[startup+129.999 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 26346
Raw data (stat): 26346 (Pueblo-v2) R 26345 25568 25567 0 -1 0 934 0 0 0 12999 3 0 0 25 0 1 0 854860837 9433088 908 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2303 908 566 18 0 2285 0
vsize: 9212
[startup+139.999 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 26346
Raw data (stat): 26346 (Pueblo-v2) R 26345 25568 25567 0 -1 0 935 0 0 0 13999 3 0 0 25 0 1 0 854860837 9433088 909 4294967295 134512640 134581267 3221224576 3221223488 134527410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2303 909 566 18 0 2285 0
vsize: 9212
[startup+149.999 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 26346
Raw data (stat): 26346 (Pueblo-v2) R 26345 25568 25567 0 -1 0 935 0 0 0 15000 3 0 0 25 0 1 0 854860837 9433088 909 4294967295 134512640 134581267 3221224576 3221223488 134527504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2303 909 566 18 0 2285 0
vsize: 9212
[startup+159.998 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 26346
Raw data (stat): 26346 (Pueblo-v2) R 26345 25568 25567 0 -1 0 935 0 0 0 16000 3 0 0 25 0 1 0 854860837 9433088 909 4294967295 134512640 134581267 3221224576 3221223440 134528352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2303 909 566 18 0 2285 0
vsize: 9212
[startup+169.998 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 26346
Raw data (stat): 26346 (Pueblo-v2) R 26345 25568 25567 0 -1 0 939 0 0 0 17000 3 0 0 25 0 1 0 854860837 9433088 913 4294967295 134512640 134581267 3221224576 3221223488 134527404 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2303 913 566 18 0 2285 0
vsize: 9212
[startup+179.998 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 26346
Raw data (stat): 26346 (Pueblo-v2) R 26345 25568 25567 0 -1 0 939 0 0 0 18000 3 0 0 25 0 1 0 854860837 9433088 913 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2303 913 566 18 0 2285 0
vsize: 9212
[startup+189.999 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 26346
Raw data (stat): 26346 (Pueblo-v2) R 26345 25568 25567 0 -1 0 947 0 0 0 19001 3 0 0 25 0 1 0 854860837 9433088 921 4294967295 134512640 134581267 3221224576 3221223520 134558908 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2303 921 566 18 0 2285 0
vsize: 9212
[startup+199.999 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 26346
Raw data (stat): 26346 (Pueblo-v2) R 26345 25568 25567 0 -1 0 963 0 0 0 20001 3 0 0 25 0 1 0 854860837 9564160 937 4294967295 134512640 134581267 3221224576 3221223520 134558756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2335 937 566 18 0 2317 0
vsize: 9340
[startup+209.999 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 26346
Raw data (stat): 26346 (Pueblo-v2) R 26345 25568 25567 0 -1 0 967 0 0 0 21001 3 0 0 25 0 1 0 854860837 9564160 941 4294967295 134512640 134581267 3221224576 3221223488 134527513 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2335 941 566 18 0 2317 0
vsize: 9340
[startup+219.999 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 26346
Raw data (stat): 26346 (Pueblo-v2) R 26345 25568 25567 0 -1 0 967 0 0 0 22002 4 0 0 25 0 1 0 854860837 9564160 941 4294967295 134512640 134581267 3221224576 3221223488 134527531 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2335 941 566 18 0 2317 0
vsize: 9340
[startup+229.999 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 26346
Raw data (stat): 26346 (Pueblo-v2) R 26345 25568 25567 0 -1 0 967 0 0 0 23002 4 0 0 25 0 1 0 854860837 9564160 941 4294967295 134512640 134581267 3221224576 3221223504 134519869 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2335 941 566 18 0 2317 0
vsize: 9340
[startup+239.998 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 26346
Raw data (stat): 26346 (Pueblo-v2) R 26345 25568 25567 0 -1 0 968 0 0 0 24002 4 0 0 25 0 1 0 854860837 9564160 942 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2335 942 566 18 0 2317 0
vsize: 9340
[startup+249.997 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 26346
Raw data (stat): 26346 (Pueblo-v2) R 26345 25568 25567 0 -1 0 971 0 0 0 25002 4 0 0 25 0 1 0 854860837 9564160 945 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2335 945 566 18 0 2317 0
vsize: 9340
[startup+259.997 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 26346
Raw data (stat): 26346 (Pueblo-v2) R 26345 25568 25567 0 -1 0 971 0 0 0 26003 4 0 0 25 0 1 0 854860837 9564160 945 4294967295 134512640 134581267 3221224576 3221223488 134527701 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2335 945 566 18 0 2317 0
vsize: 9340
[startup+269.996 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 26346
Raw data (stat): 26346 (Pueblo-v2) R 26345 25568 25567 0 -1 0 971 0 0 0 27003 4 0 0 25 0 1 0 854860837 9564160 945 4294967295 134512640 134581267 3221224576 3221223488 134527451 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2335 945 566 18 0 2317 0
vsize: 9340
[startup+279.996 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 26346
Raw data (stat): 26346 (Pueblo-v2) R 26345 25568 25567 0 -1 0 977 0 0 0 28003 4 0 0 25 0 1 0 854860837 9564160 951 4294967295 134512640 134581267 3221224576 3221223536 134516745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2335 951 566 18 0 2317 0
vsize: 9340
[startup+289.996 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 26346
Raw data (stat): 26346 (Pueblo-v2) R 26345 25568 25567 0 -1 0 977 0 0 0 29003 4 0 0 25 0 1 0 854860837 9564160 951 4294967295 134512640 134581267 3221224576 3221223488 134527955 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2335 951 566 18 0 2317 0
vsize: 9340
[startup+299.995 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 26346
Raw data (stat): 26346 (Pueblo-v2) R 26345 25568 25567 0 -1 0 977 0 0 0 30004 4 0 0 25 0 1 0 854860837 9564160 951 4294967295 134512640 134581267 3221224576 3221223540 134527591 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2335 951 566 18 0 2317 0
vsize: 9340
[startup+309.994 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 26346
Raw data (stat): 26346 (Pueblo-v2) R 26345 25568 25567 0 -1 0 979 0 0 0 31004 4 0 0 25 0 1 0 854860837 9564160 953 4294967295 134512640 134581267 3221224576 3221223488 134527652 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2335 953 566 18 0 2317 0
vsize: 9340
[startup+319.994 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 26346
Raw data (stat): 26346 (Pueblo-v2) R 26345 25568 25567 0 -1 0 979 0 0 0 32004 4 0 0 25 0 1 0 854860837 9564160 953 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2335 953 566 18 0 2317 0
vsize: 9340
[startup+329.994 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 26346
Raw data (stat): 26346 (Pueblo-v2) R 26345 25568 25567 0 -1 0 979 0 0 0 33005 4 0 0 25 0 1 0 854860837 9564160 953 4294967295 134512640 134581267 3221224576 3221223488 134528040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2335 953 566 18 0 2317 0
vsize: 9340
[startup+339.993 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 26346
Raw data (stat): 26346 (Pueblo-v2) R 26345 25568 25567 0 -1 0 980 0 0 0 34005 4 0 0 25 0 1 0 854860837 9564160 954 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2335 954 566 18 0 2317 0
vsize: 9340
[startup+349.993 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 26346
Raw data (stat): 26346 (Pueblo-v2) R 26345 25568 25567 0 -1 0 980 0 0 0 35005 4 0 0 25 0 1 0 854860837 9564160 954 4294967295 134512640 134581267 3221224576 3221223504 134519788 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2335 954 566 18 0 2317 0
vsize: 9340
[startup+359.993 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 26346
Raw data (stat): 26346 (Pueblo-v2) R 26345 25568 25567 0 -1 0 980 0 0 0 36006 4 0 0 25 0 1 0 854860837 9564160 954 4294967295 134512640 134581267 3221224576 3221223488 134528040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2335 954 566 18 0 2317 0
vsize: 9340
[startup+369.993 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 26346
Raw data (stat): 26346 (Pueblo-v2) R 26345 25568 25567 0 -1 0 980 0 0 0 37006 4 0 0 25 0 1 0 854860837 9564160 954 4294967295 134512640 134581267 3221224576 3221223488 134527678 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2335 954 566 18 0 2317 0
vsize: 9340
[startup+379.993 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 26346
Raw data (stat): 26346 (Pueblo-v2) R 26345 25568 25567 0 -1 0 980 0 0 0 38006 4 0 0 25 0 1 0 854860837 9564160 954 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2335 954 566 18 0 2317 0
vsize: 9340
[startup+389.992 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 26346
Raw data (stat): 26346 (Pueblo-v2) R 26345 25568 25567 0 -1 0 1171 0 0 0 39006 4 0 0 25 0 1 0 854860837 10391552 1145 4294967295 134512640 134581267 3221224576 3221223488 134528040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2537 1145 566 18 0 2519 0
vsize: 10148
[startup+399.992 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 26346
Raw data (stat): 26346 (Pueblo-v2) R 26345 25568 25567 0 -1 0 1171 0 0 0 40006 4 0 0 25 0 1 0 854860837 10391552 1145 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2537 1145 566 18 0 2519 0
vsize: 10148
[startup+409.992 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 26346
Raw data (stat): 26346 (Pueblo-v2) R 26345 25568 25567 0 -1 0 1172 0 0 0 41006 4 0 0 25 0 1 0 854860837 10391552 1146 4294967295 134512640 134581267 3221224576 3221223488 134527948 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2537 1146 566 18 0 2519 0
vsize: 10148
[startup+419.992 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 26346
Raw data (stat): 26346 (Pueblo-v2) R 26345 25568 25567 0 -1 0 1179 0 0 0 42007 4 0 0 25 0 1 0 854860837 10391552 1153 4294967295 134512640 134581267 3221224576 3221223520 134558775 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2537 1153 566 18 0 2519 0
vsize: 10148
[startup+429.993 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 26346
Raw data (stat): 26346 (Pueblo-v2) R 26345 25568 25567 0 -1 0 1179 0 0 0 43007 4 0 0 25 0 1 0 854860837 10391552 1153 4294967295 134512640 134581267 3221224576 3221223504 134519788 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2537 1153 566 18 0 2519 0
vsize: 10148
[startup+439.993 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 26346
Raw data (stat): 26346 (Pueblo-v2) R 26345 25568 25567 0 -1 0 1179 0 0 0 44007 4 0 0 25 0 1 0 854860837 10391552 1153 4294967295 134512640 134581267 3221224576 3221223488 134528040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2537 1153 566 18 0 2519 0
vsize: 10148
[startup+449.993 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 26346
Raw data (stat): 26346 (Pueblo-v2) R 26345 25568 25567 0 -1 0 1179 0 0 0 45008 4 0 0 25 0 1 0 854860837 10391552 1153 4294967295 134512640 134581267 3221224576 3221223536 134516745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2537 1153 566 18 0 2519 0
vsize: 10148
[startup+459.993 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 26346
Raw data (stat): 26346 (Pueblo-v2) R 26345 25568 25567 0 -1 0 1179 0 0 0 46008 4 0 0 25 0 1 0 854860837 10391552 1153 4294967295 134512640 134581267 3221224576 3221223176 1075289645 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2537 1153 566 18 0 2519 0
vsize: 10148
[startup+469.993 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 26346
Raw data (stat): 26346 (Pueblo-v2) R 26345 25568 25567 0 -1 0 1181 0 0 0 47008 4 0 0 25 0 1 0 854860837 10391552 1155 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2537 1155 566 18 0 2519 0
vsize: 10148
[startup+479.993 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 26346
Raw data (stat): 26346 (Pueblo-v2) R 26345 25568 25567 0 -1 0 1184 0 0 0 48009 4 0 0 25 0 1 0 854860837 10391552 1158 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2537 1158 566 18 0 2519 0
vsize: 10148
[startup+489.993 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 26346
Raw data (stat): 26346 (Pueblo-v2) R 26345 25568 25567 0 -1 0 1184 0 0 0 49009 5 0 0 25 0 1 0 854860837 10391552 1158 4294967295 134512640 134581267 3221224576 3221223536 134516751 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2537 1158 566 18 0 2519 0
vsize: 10148
[startup+499.993 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 26346
Raw data (stat): 26346 (Pueblo-v2) R 26345 25568 25567 0 -1 0 1184 0 0 0 50009 5 0 0 25 0 1 0 854860837 10391552 1158 4294967295 134512640 134581267 3221224576 3221223488 134527645 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2537 1158 566 18 0 2519 0
vsize: 10148
[startup+509.994 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 26346
Raw data (stat): 26346 (Pueblo-v2) R 26345 25568 25567 0 -1 0 1184 0 0 0 51010 5 0 0 25 0 1 0 854860837 10391552 1158 4294967295 134512640 134581267 3221224576 3221223212 1075288351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2537 1158 566 18 0 2519 0
vsize: 10148
[startup+519.994 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 26346
Raw data (stat): 26346 (Pueblo-v2) R 26345 25568 25567 0 -1 0 1184 0 0 0 52010 5 0 0 25 0 1 0 854860837 10391552 1158 4294967295 134512640 134581267 3221224576 3221223552 134561060 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2537 1158 566 18 0 2519 0
vsize: 10148
[startup+529.994 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 26346
Raw data (stat): 26346 (Pueblo-v2) R 26345 25568 25567 0 -1 0 1184 0 0 0 53010 5 0 0 25 0 1 0 854860837 10391552 1158 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2537 1158 566 18 0 2519 0
vsize: 10148
[startup+539.994 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 26346
Raw data (stat): 26346 (Pueblo-v2) R 26345 25568 25567 0 -1 0 1184 0 0 0 54010 5 0 0 25 0 1 0 854860837 10391552 1158 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2537 1158 566 18 0 2519 0
vsize: 10148
[startup+549.995 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 26346
Raw data (stat): 26346 (Pueblo-v2) R 26345 25568 25567 0 -1 0 1185 0 0 0 55010 5 0 0 25 0 1 0 854860837 10391552 1159 4294967295 134512640 134581267 3221224576 3221223488 134528047 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2537 1159 566 18 0 2519 0
vsize: 10148
[startup+559.994 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 26346
Raw data (stat): 26346 (Pueblo-v2) R 26345 25568 25567 0 -1 0 1185 0 0 0 56010 6 0 0 25 0 1 0 854860837 10391552 1159 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2537 1159 566 18 0 2519 0
vsize: 10148
[startup+569.995 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 26346
Raw data (stat): 26346 (Pueblo-v2) R 26345 25568 25567 0 -1 0 1185 0 0 0 57010 6 0 0 25 0 1 0 854860837 10391552 1159 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2537 1159 566 18 0 2519 0
vsize: 10148
[startup+579.995 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 26346
Raw data (stat): 26346 (Pueblo-v2) R 26345 25568 25567 0 -1 0 1185 0 0 0 58010 6 0 0 25 0 1 0 854860837 10391552 1159 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2537 1159 566 18 0 2519 0
vsize: 10148
[startup+589.995 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 26346
Raw data (stat): 26346 (Pueblo-v2) R 26345 25568 25567 0 -1 0 1185 0 0 0 59010 7 0 0 25 0 1 0 854860837 10391552 1159 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2537 1159 566 18 0 2519 0
vsize: 10148
[startup+599.995 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 26346
Raw data (stat): 26346 (Pueblo-v2) R 26345 25568 25567 0 -1 0 1185 0 0 0 60010 7 0 0 25 0 1 0 854860837 10391552 1159 4294967295 134512640 134581267 3221224576 3221223488 134527513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2537 1159 566 18 0 2519 0
vsize: 10148
[startup+609.995 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 26346
Raw data (stat): 26346 (Pueblo-v2) R 26345 25568 25567 0 -1 0 1185 0 0 0 61010 7 0 0 25 0 1 0 854860837 10391552 1159 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2537 1159 566 18 0 2519 0
vsize: 10148
[startup+619.995 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 26346
Raw data (stat): 26346 (Pueblo-v2) R 26345 25568 25567 0 -1 0 1185 0 0 0 62010 7 0 0 25 0 1 0 854860837 10391552 1159 4294967295 134512640 134581267 3221224576 3221223212 1075288605 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2537 1159 566 18 0 2519 0
vsize: 10148
[startup+629.996 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 26346
Raw data (stat): 26346 (Pueblo-v2) R 26345 25568 25567 0 -1 0 1185 0 0 0 63010 7 0 0 25 0 1 0 854860837 10391552 1159 4294967295 134512640 134581267 3221224576 3221223520 134559417 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2537 1159 566 18 0 2519 0
vsize: 10148
[startup+639.997 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 26346
Raw data (stat): 26346 (Pueblo-v2) R 26345 25568 25567 0 -1 0 1187 0 0 0 64010 8 0 0 25 0 1 0 854860837 10391552 1161 4294967295 134512640 134581267 3221224576 3221223520 134558775 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2537 1161 566 18 0 2519 0
vsize: 10148
[startup+649.996 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 26346
Raw data (stat): 26346 (Pueblo-v2) R 26345 25568 25567 0 -1 0 1190 0 0 0 65010 8 0 0 25 0 1 0 854860837 10489856 1164 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2561 1164 566 18 0 2543 0
vsize: 10244
[startup+659.997 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 26346
Raw data (stat): 26346 (Pueblo-v2) R 26345 25568 25567 0 -1 0 1190 0 0 0 66011 8 0 0 25 0 1 0 854860837 10485760 1164 4294967295 134512640 134581267 3221224576 3221223440 134528343 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2560 1164 566 18 0 2542 0
vsize: 10240
[startup+669.997 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 26346
Raw data (stat): 26346 (Pueblo-v2) R 26345 25568 25567 0 -1 0 1190 0 0 0 67011 8 0 0 25 0 1 0 854860837 10485760 1164 4294967295 134512640 134581267 3221224576 3221223488 134528047 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2560 1164 566 18 0 2542 0
vsize: 10240
[startup+679.998 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 26346
Raw data (stat): 26346 (Pueblo-v2) R 26345 25568 25567 0 -1 0 1190 0 0 0 68010 9 0 0 25 0 1 0 854860837 10485760 1164 4294967295 134512640 134581267 3221224576 3221223504 134519826 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2560 1164 566 18 0 2542 0
vsize: 10240
[startup+689.998 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 26346
Raw data (stat): 26346 (Pueblo-v2) R 26345 25568 25567 0 -1 0 1190 0 0 0 69011 9 0 0 25 0 1 0 854860837 10485760 1164 4294967295 134512640 134581267 3221224576 3221223488 134527459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2560 1164 566 18 0 2542 0
vsize: 10240
[startup+699.999 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 26346
Raw data (stat): 26346 (Pueblo-v2) R 26345 25568 25567 0 -1 0 1191 0 0 0 70011 9 0 0 25 0 1 0 854860837 10485760 1165 4294967295 134512640 134581267 3221224576 3221223472 134517625 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2560 1165 566 18 0 2542 0
vsize: 10240
[startup+709.999 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 26346
Raw data (stat): 26346 (Pueblo-v2) R 26345 25568 25567 0 -1 0 1194 0 0 0 71011 10 0 0 25 0 1 0 854860837 10485760 1168 4294967295 134512640 134581267 3221224576 3221223292 1075288614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2560 1168 566 18 0 2542 0
vsize: 10240
[startup+719.999 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 26346
Raw data (stat): 26346 (Pueblo-v2) R 26345 25568 25567 0 -1 0 1194 0 0 0 72011 10 0 0 25 0 1 0 854860837 10485760 1168 4294967295 134512640 134581267 3221224576 3221223520 134559432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2560 1168 566 18 0 2542 0
vsize: 10240
[startup+730 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 26346
Raw data (stat): 26346 (Pueblo-v2) R 26345 25568 25567 0 -1 0 1198 0 0 0 73011 10 0 0 25 0 1 0 854860837 10485760 1172 4294967295 134512640 134581267 3221224576 3221223488 134527645 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2560 1172 566 18 0 2542 0
vsize: 10240
[startup+740 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 26346
Raw data (stat): 26346 (Pueblo-v2) R 26345 25568 25567 0 -1 0 1198 0 0 0 74011 10 0 0 25 0 1 0 854860837 10485760 1172 4294967295 134512640 134581267 3221224576 3221223488 134527537 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2560 1172 566 18 0 2542 0
vsize: 10240
[startup+750 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 26346
Raw data (stat): 26346 (Pueblo-v2) R 26345 25568 25567 0 -1 0 1198 0 0 0 75011 10 0 0 25 0 1 0 854860837 10485760 1172 4294967295 134512640 134581267 3221224576 3221223544 134527292 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2560 1172 566 18 0 2542 0
vsize: 10240
[startup+760 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 26346
Raw data (stat): 26346 (Pueblo-v2) R 26345 25568 25567 0 -1 0 1201 0 0 0 76012 10 0 0 25 0 1 0 854860837 10485760 1175 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2560 1175 566 18 0 2542 0
vsize: 10240
[startup+770 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 26346
Raw data (stat): 26346 (Pueblo-v2) R 26345 25568 25567 0 -1 0 1201 0 0 0 77012 10 0 0 25 0 1 0 854860837 10485760 1175 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2560 1175 566 18 0 2542 0
vsize: 10240
[startup+780 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 26346
Raw data (stat): 26346 (Pueblo-v2) R 26345 25568 25567 0 -1 0 1201 0 0 0 78013 10 0 0 25 0 1 0 854860837 10485760 1175 4294967295 134512640 134581267 3221224576 3221223488 134527948 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2560 1175 566 18 0 2542 0
vsize: 10240
[startup+790 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 26346
Raw data (stat): 26346 (Pueblo-v2) R 26345 25568 25567 0 -1 0 1201 0 0 0 79013 10 0 0 25 0 1 0 854860837 10485760 1175 4294967295 134512640 134581267 3221224576 3221223488 134527423 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2560 1175 566 18 0 2542 0
vsize: 10240
[startup+800 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 26346
Raw data (stat): 26346 (Pueblo-v2) R 26345 25568 25567 0 -1 0 1201 0 0 0 80013 10 0 0 25 0 1 0 854860837 10485760 1175 4294967295 134512640 134581267 3221224576 3221223440 134528255 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2560 1175 566 18 0 2542 0
vsize: 10240
[startup+810.001 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 26346
Raw data (stat): 26346 (Pueblo-v2) R 26345 25568 25567 0 -1 0 1201 0 0 0 81014 10 0 0 25 0 1 0 854860837 10485760 1175 4294967295 134512640 134581267 3221224576 3221223488 134527459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2560 1175 566 18 0 2542 0
vsize: 10240
[startup+820.001 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 26346
Raw data (stat): 26346 (Pueblo-v2) R 26345 25568 25567 0 -1 0 1202 0 0 0 82014 10 0 0 25 0 1 0 854860837 10485760 1176 4294967295 134512640 134581267 3221224576 3221223488 134527504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2560 1176 566 18 0 2542 0
vsize: 10240
[startup+830.001 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 26346
Raw data (stat): 26346 (Pueblo-v2) R 26345 25568 25567 0 -1 0 1202 0 0 0 83014 10 0 0 25 0 1 0 854860837 10485760 1176 4294967295 134512640 134581267 3221224576 3221223392 134531761 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2560 1176 566 18 0 2542 0
vsize: 10240
[startup+840.001 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 26346
Raw data (stat): 26346 (Pueblo-v2) R 26345 25568 25567 0 -1 0 1202 0 0 0 84015 10 0 0 25 0 1 0 854860837 10485760 1176 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2560 1176 566 18 0 2542 0
vsize: 10240
[startup+850.001 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 26346
Raw data (stat): 26346 (Pueblo-v2) R 26345 25568 25567 0 -1 0 1202 0 0 0 85015 10 0 0 25 0 1 0 854860837 10485760 1176 4294967295 134512640 134581267 3221224576 3221223440 134528255 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2560 1176 566 18 0 2542 0
vsize: 10240
[startup+860.001 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 26346
Raw data (stat): 26346 (Pueblo-v2) R 26345 25568 25567 0 -1 0 1202 0 0 0 86015 10 0 0 25 0 1 0 854860837 10485760 1176 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2560 1176 566 18 0 2542 0
vsize: 10240
[startup+870.002 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 26346
Raw data (stat): 26346 (Pueblo-v2) R 26345 25568 25567 0 -1 0 1202 0 0 0 87016 10 0 0 25 0 1 0 854860837 10485760 1176 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2560 1176 566 18 0 2542 0
vsize: 10240
[startup+880.002 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 26346
Raw data (stat): 26346 (Pueblo-v2) R 26345 25568 25567 0 -1 0 1202 0 0 0 88016 10 0 0 25 0 1 0 854860837 10485760 1176 4294967295 134512640 134581267 3221224576 3221223488 134527768 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2560 1176 566 18 0 2542 0
vsize: 10240
[startup+890.002 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 26346
Raw data (stat): 26346 (Pueblo-v2) R 26345 25568 25567 0 -1 0 1202 0 0 0 89016 10 0 0 25 0 1 0 854860837 10485760 1176 4294967295 134512640 134581267 3221224576 3221223440 134528343 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2560 1176 566 18 0 2542 0
vsize: 10240
[startup+900.002 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 26346
Raw data (stat): 26346 (Pueblo-v2) R 26345 25568 25567 0 -1 0 1206 0 0 0 90017 10 0 0 25 0 1 0 854860837 10485760 1180 4294967295 134512640 134581267 3221224576 3221223488 134527525 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2560 1180 566 18 0 2542 0
vsize: 10240
[startup+910.002 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 26346
Raw data (stat): 26346 (Pueblo-v2) R 26345 25568 25567 0 -1 0 1206 0 0 0 91017 10 0 0 25 0 1 0 854860837 10485760 1180 4294967295 134512640 134581267 3221224576 3221223488 134527531 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2560 1180 566 18 0 2542 0
vsize: 10240
[startup+920.002 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 26346
Raw data (stat): 26346 (Pueblo-v2) R 26345 25568 25567 0 -1 0 1206 0 0 0 92017 10 0 0 25 0 1 0 854860837 10485760 1180 4294967295 134512640 134581267 3221224576 3221223488 134527776 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2560 1180 566 18 0 2542 0
vsize: 10240
[startup+930.002 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 26346
Raw data (stat): 26346 (Pueblo-v2) R 26345 25568 25567 0 -1 0 1206 0 0 0 93017 11 0 0 25 0 1 0 854860837 10485760 1180 4294967295 134512640 134581267 3221224576 3221223492 1075285548 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2560 1180 566 18 0 2542 0
vsize: 10240
[startup+940.003 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 26346
Raw data (stat): 26346 (Pueblo-v2) R 26345 25568 25567 0 -1 0 1206 0 0 0 94017 11 0 0 25 0 1 0 854860837 10485760 1180 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2560 1180 566 18 0 2542 0
vsize: 10240
[startup+950.003 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 26346
Raw data (stat): 26346 (Pueblo-v2) R 26345 25568 25567 0 -1 0 1206 0 0 0 95018 11 0 0 25 0 1 0 854860837 10485760 1180 4294967295 134512640 134581267 3221224576 3221223440 134528340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2560 1180 566 18 0 2542 0
vsize: 10240
[startup+960.003 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 26346
Raw data (stat): 26346 (Pueblo-v2) R 26345 25568 25567 0 -1 0 1206 0 0 0 96018 11 0 0 25 0 1 0 854860837 10485760 1180 4294967295 134512640 134581267 3221224576 3221223488 134528040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2560 1180 566 18 0 2542 0
vsize: 10240
[startup+970.003 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 26346
Raw data (stat): 26346 (Pueblo-v2) R 26345 25568 25567 0 -1 0 1206 0 0 0 97018 11 0 0 25 0 1 0 854860837 10485760 1180 4294967295 134512640 134581267 3221224576 3221223488 134527963 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2560 1180 566 18 0 2542 0
vsize: 10240
[startup+980.003 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 26346
Raw data (stat): 26346 (Pueblo-v2) R 26345 25568 25567 0 -1 0 1206 0 0 0 98019 11 0 0 25 0 1 0 854860837 10485760 1180 4294967295 134512640 134581267 3221224576 3221223488 134527636 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2560 1180 566 18 0 2542 0
vsize: 10240
[startup+990.003 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 26346
Raw data (stat): 26346 (Pueblo-v2) R 26345 25568 25567 0 -1 0 1206 0 0 0 99019 11 0 0 25 0 1 0 854860837 10485760 1180 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2560 1180 566 18 0 2542 0
vsize: 10240
[startup+1000 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 26346
Raw data (stat): 26346 (Pueblo-v2) R 26345 25568 25567 0 -1 0 1206 0 0 0 100019 11 0 0 25 0 1 0 854860837 10485760 1180 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2560 1180 566 18 0 2542 0
vsize: 10240
[startup+1010 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 26346
Raw data (stat): 26346 (Pueblo-v2) R 26345 25568 25567 0 -1 0 1206 0 0 0 101020 11 0 0 25 0 1 0 854860837 10485760 1180 4294967295 134512640 134581267 3221224576 3221223488 134527943 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2560 1180 566 18 0 2542 0
vsize: 10240
[startup+1020 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 26346
Raw data (stat): 26346 (Pueblo-v2) R 26345 25568 25567 0 -1 0 1206 0 0 0 102020 11 0 0 25 0 1 0 854860837 10485760 1180 4294967295 134512640 134581267 3221224576 3221223504 134519829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2560 1180 566 18 0 2542 0
vsize: 10240
[startup+1030 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 26346
Raw data (stat): 26346 (Pueblo-v2) R 26345 25568 25567 0 -1 0 1206 0 0 0 103020 11 0 0 25 0 1 0 854860837 10485760 1180 4294967295 134512640 134581267 3221224576 3221223488 134527525 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2560 1180 566 18 0 2542 0
vsize: 10240
[startup+1040 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 26346
Raw data (stat): 26346 (Pueblo-v2) R 26345 25568 25567 0 -1 0 1206 0 0 0 104021 11 0 0 25 0 1 0 854860837 10485760 1180 4294967295 134512640 134581267 3221224576 3221223488 134527537 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2560 1180 566 18 0 2542 0
vsize: 10240
[startup+1050 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 26346
Raw data (stat): 26346 (Pueblo-v2) R 26345 25568 25567 0 -1 0 1206 0 0 0 105021 11 0 0 25 0 1 0 854860837 10485760 1180 4294967295 134512640 134581267 3221224576 3221223488 134528047 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2560 1180 566 18 0 2542 0
vsize: 10240
[startup+1060 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 26346
Raw data (stat): 26346 (Pueblo-v2) R 26345 25568 25567 0 -1 0 1206 0 0 0 106021 11 0 0 25 0 1 0 854860837 10485760 1180 4294967295 134512640 134581267 3221224576 3221223504 134519931 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2560 1180 566 18 0 2542 0
vsize: 10240
[startup+1070 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 26346
Raw data (stat): 26346 (Pueblo-v2) R 26345 25568 25567 0 -1 0 1206 0 0 0 107022 11 0 0 25 0 1 0 854860837 10485760 1180 4294967295 134512640 134581267 3221224576 3221223488 134527504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2560 1180 566 18 0 2542 0
vsize: 10240
[startup+1080 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 26346
Raw data (stat): 26346 (Pueblo-v2) R 26345 25568 25567 0 -1 0 1206 0 0 0 108022 11 0 0 25 0 1 0 854860837 10485760 1180 4294967295 134512640 134581267 3221224576 3221223488 134527410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2560 1180 566 18 0 2542 0
vsize: 10240
[startup+1090 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 26346
Raw data (stat): 26346 (Pueblo-v2) R 26345 25568 25567 0 -1 0 1206 0 0 0 109022 11 0 0 25 0 1 0 854860837 10485760 1180 4294967295 134512640 134581267 3221224576 3221223488 134527943 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2560 1180 566 18 0 2542 0
vsize: 10240
[startup+1100 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 26346
Raw data (stat): 26346 (Pueblo-v2) R 26345 25568 25567 0 -1 0 1215 0 0 0 110023 11 0 0 25 0 1 0 854860837 10616832 1189 4294967295 134512640 134581267 3221224576 3221223520 134558912 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2592 1189 566 18 0 2574 0
vsize: 10368
[startup+1110.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 26346
Raw data (stat): 26346 (Pueblo-v2) R 26345 25568 25567 0 -1 0 1222 0 0 0 111023 11 0 0 25 0 1 0 854860837 10616832 1196 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2592 1196 566 18 0 2574 0
vsize: 10368
[startup+1120.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 26346
Raw data (stat): 26346 (Pueblo-v2) R 26345 25568 25567 0 -1 0 1222 0 0 0 112023 11 0 0 25 0 1 0 854860837 10604544 1196 4294967295 134512640 134581267 3221224576 3221223488 134527513 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2589 1196 566 18 0 2571 0
vsize: 10356
[startup+1130.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 26346
Raw data (stat): 26346 (Pueblo-v2) R 26345 25568 25567 0 -1 0 1222 0 0 0 113024 11 0 0 25 0 1 0 854860837 10567680 1196 4294967295 134512640 134581267 3221224576 3221223440 134528216 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2580 1196 566 18 0 2562 0
vsize: 10320
[startup+1140.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 26346
Raw data (stat): 26346 (Pueblo-v2) R 26345 25568 25567 0 -1 0 1222 0 0 0 114024 11 0 0 25 0 1 0 854860837 10567680 1196 4294967295 134512640 134581267 3221224576 3221223440 134528246 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2580 1196 566 18 0 2562 0
vsize: 10320
[startup+1150.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 26346
Raw data (stat): 26346 (Pueblo-v2) R 26345 25568 25567 0 -1 0 1222 0 0 0 115024 11 0 0 25 0 1 0 854860837 10567680 1196 4294967295 134512640 134581267 3221224576 3221223488 134527765 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2580 1196 566 18 0 2562 0
vsize: 10320
[startup+1160.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 26346
Raw data (stat): 26346 (Pueblo-v2) R 26345 25568 25567 0 -1 0 1222 0 0 0 116025 11 0 0 25 0 1 0 854860837 10567680 1196 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2580 1196 566 18 0 2562 0
vsize: 10320
[startup+1170.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 26346
Raw data (stat): 26346 (Pueblo-v2) R 26345 25568 25567 0 -1 0 1222 0 0 0 117025 11 0 0 25 0 1 0 854860837 10567680 1196 4294967295 134512640 134581267 3221224576 3221223488 134527459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2580 1196 566 18 0 2562 0
vsize: 10320
[startup+1180.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 26346
Raw data (stat): 26346 (Pueblo-v2) R 26345 25568 25567 0 -1 0 1222 0 0 0 118025 11 0 0 25 0 1 0 854860837 10567680 1196 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2580 1196 566 18 0 2562 0
vsize: 10320
[startup+1190.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 26346
Raw data (stat): 26346 (Pueblo-v2) R 26345 25568 25567 0 -1 0 1222 0 0 0 119026 11 0 0 25 0 1 0 854860837 10567680 1196 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2580 1196 566 18 0 2562 0
vsize: 10320
[startup+1200.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 26346
Raw data (stat): 26346 (Pueblo-v2) R 26345 25568 25567 0 -1 0 1222 0 0 0 120026 11 0 0 25 0 1 0 854860837 10567680 1196 4294967295 134512640 134581267 3221224576 3221223536 134516745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2580 1196 566 18 0 2562 0
vsize: 10320
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.01 s]
Raw data (loadavg): 0.99 0.97 0.92 1/54 26346
Raw data (stat): 26346 (Pueblo-v2) Z 26345 25568 25567 0 -1 1036 1222 0 0 0 120026 11 0 0 25 0 1 0 854860837 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 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.38
CPU user time (s): 1200.26
CPU system time (s): 0.119981
CPU usage (%): 100.031
Max. virtual memory (Kb): 10368
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####