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-chnl10_20_pb.cnf.cr.opb
MD5SUM	f6063d1ff7b0ba7c7cab7a438daedff8
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	21
Number of bits of the biggest sum of numbers	5
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.013997
Number of variables	400
Total number of constraints	60
Number of constraints which are clauses	40
Number of constraints which are cardinality constraints (but not clauses)	20
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	10
Maximum length of a constraint	20
Trace number 38212

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-02 04:36:01 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26274 boxname=wulflinc2 idbench=4 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  f6063d1ff7b0ba7c7cab7a438daedff8  /oldhome/oroussel/tmp/wulflinc2/normalized-chnl10_20_pb.cnf.cr.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-chnl10_20_pb.cnf.cr.opb
IDLAUNCH: 26274
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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.191
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:        719192 kB
Buffers:         33448 kB
Cached:         259992 kB
SwapCached:       1136 kB
Active:          44544 kB
Inactive:       251312 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        718940 kB
SwapTotal:     2097136 kB
SwapFree:      2095024 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5052 kB
Slab:            14012 kB
Committed_AS:    71788 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 04:56:03 (client local time) WITH STATUS 0 IN 1200.13 SECONDS
stats: 26274 7 1200.13 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.48 0.14 0.04 2/54 18942
Raw data (stat): 18942 (runsolver) R 18941 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 846956979 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.0016 s]
Raw data (loadavg): 0.56 0.16 0.05 2/54 18942
Raw data (stat): 18942 (Pueblo-v2) R 18941 31399 31398 0 -1 0 334 0 0 0 999 0 0 0 25 0 1 0 846956979 6959104 308 4294967295 134512640 134581267 3221224576 3221223456 134520439 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1699 308 566 18 0 1681 0
vsize: 6796
[startup+20.0022 s]
Raw data (loadavg): 0.63 0.19 0.06 2/54 18942
Raw data (stat): 18942 (Pueblo-v2) R 18941 31399 31398 0 -1 0 334 0 0 0 1999 0 0 0 25 0 1 0 846956979 6959104 308 4294967295 134512640 134581267 3221224576 3221223520 134559049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1699 308 566 18 0 1681 0
vsize: 6796
[startup+30.0029 s]
Raw data (loadavg): 0.69 0.22 0.07 2/54 18942
Raw data (stat): 18942 (Pueblo-v2) R 18941 31399 31398 0 -1 0 334 0 0 0 2999 0 0 0 25 0 1 0 846956979 6959104 308 4294967295 134512640 134581267 3221224576 3221223520 134558775 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1699 308 566 18 0 1681 0
vsize: 6796
[startup+40.0036 s]
Raw data (loadavg): 0.73 0.24 0.08 2/54 18942
Raw data (stat): 18942 (Pueblo-v2) R 18941 31399 31398 0 -1 0 340 0 0 0 3998 1 0 0 25 0 1 0 846956979 7073792 314 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1727 314 566 18 0 1709 0
vsize: 6908
[startup+50.0043 s]
Raw data (loadavg): 0.77 0.27 0.09 2/54 18942
Raw data (stat): 18942 (Pueblo-v2) R 18941 31399 31398 0 -1 0 346 0 0 0 4998 1 0 0 25 0 1 0 846956979 7073792 320 4294967295 134512640 134581267 3221224576 3221223504 134519958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1727 320 566 18 0 1709 0
vsize: 6908
[startup+60.004 s]
Raw data (loadavg): 0.81 0.29 0.10 2/54 18942
Raw data (stat): 18942 (Pueblo-v2) R 18941 31399 31398 0 -1 0 346 0 0 0 5998 1 0 0 25 0 1 0 846956979 7073792 320 4294967295 134512640 134581267 3221224576 3221223488 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1727 320 566 18 0 1709 0
vsize: 6908
[startup+70.0047 s]
Raw data (loadavg): 0.84 0.31 0.11 2/54 18942
Raw data (stat): 18942 (Pueblo-v2) R 18941 31399 31398 0 -1 0 349 0 0 0 6998 1 0 0 25 0 1 0 846956979 7073792 323 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1727 323 566 18 0 1709 0
vsize: 6908
[startup+80.0054 s]
Raw data (loadavg): 0.86 0.33 0.12 2/54 18942
Raw data (stat): 18942 (Pueblo-v2) R 18941 31399 31398 0 -1 0 351 0 0 0 7998 1 0 0 25 0 1 0 846956979 7073792 325 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1727 325 566 18 0 1709 0
vsize: 6908
[startup+90.0061 s]
Raw data (loadavg): 0.88 0.36 0.13 2/54 18942
Raw data (stat): 18942 (Pueblo-v2) R 18941 31399 31398 0 -1 0 365 0 0 0 8998 2 0 0 25 0 1 0 846956979 7073792 339 4294967295 134512640 134581267 3221224576 3221223520 134558872 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1727 339 566 18 0 1709 0
vsize: 6908
[startup+100.006 s]
Raw data (loadavg): 0.90 0.38 0.14 2/54 18942
Raw data (stat): 18942 (Pueblo-v2) R 18941 31399 31398 0 -1 0 365 0 0 0 9998 2 0 0 25 0 1 0 846956979 7073792 339 4294967295 134512640 134581267 3221224576 3221223568 134560860 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1727 339 566 18 0 1709 0
vsize: 6908
[startup+110.005 s]
Raw data (loadavg): 0.91 0.40 0.15 2/54 18942
Raw data (stat): 18942 (Pueblo-v2) R 18941 31399 31398 0 -1 0 365 0 0 0 10998 2 0 0 25 0 1 0 846956979 7073792 339 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1727 339 566 18 0 1709 0
vsize: 6908
[startup+120.006 s]
Raw data (loadavg): 0.93 0.42 0.15 2/54 18942
Raw data (stat): 18942 (Pueblo-v2) R 18941 31399 31398 0 -1 0 365 0 0 0 11998 2 0 0 25 0 1 0 846956979 7073792 339 4294967295 134512640 134581267 3221224576 3221223520 134558843 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1727 339 566 18 0 1709 0
vsize: 6908
[startup+130.006 s]
Raw data (loadavg): 0.94 0.43 0.16 2/54 18942
Raw data (stat): 18942 (Pueblo-v2) R 18941 31399 31398 0 -1 0 365 0 0 0 12997 3 0 0 25 0 1 0 846956979 7073792 339 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1727 339 566 18 0 1709 0
vsize: 6908
[startup+140.007 s]
Raw data (loadavg): 0.95 0.45 0.17 2/54 18942
Raw data (stat): 18942 (Pueblo-v2) R 18941 31399 31398 0 -1 0 365 0 0 0 13997 3 0 0 25 0 1 0 846956979 7073792 339 4294967295 134512640 134581267 3221224576 3221223568 134561040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1727 339 566 18 0 1709 0
vsize: 6908
[startup+150.007 s]
Raw data (loadavg): 0.95 0.47 0.18 2/54 18942
Raw data (stat): 18942 (Pueblo-v2) R 18941 31399 31398 0 -1 0 365 0 0 0 14997 3 0 0 25 0 1 0 846956979 7073792 339 4294967295 134512640 134581267 3221224576 3221223472 134517862 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1727 339 566 18 0 1709 0
vsize: 6908
[startup+160.007 s]
Raw data (loadavg): 0.96 0.49 0.19 2/54 18942
Raw data (stat): 18942 (Pueblo-v2) R 18941 31399 31398 0 -1 0 365 0 0 0 15997 4 0 0 25 0 1 0 846956979 7073792 339 4294967295 134512640 134581267 3221224576 3221223492 134519972 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1727 339 566 18 0 1709 0
vsize: 6908
[startup+170.008 s]
Raw data (loadavg): 0.97 0.50 0.20 2/54 18942
Raw data (stat): 18942 (Pueblo-v2) R 18941 31399 31398 0 -1 0 365 0 0 0 16997 4 0 0 25 0 1 0 846956979 7073792 339 4294967295 134512640 134581267 3221224576 3221223632 134555810 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1727 339 566 18 0 1709 0
vsize: 6908
[startup+180.007 s]
Raw data (loadavg): 0.97 0.52 0.20 2/54 18942
Raw data (stat): 18942 (Pueblo-v2) R 18941 31399 31398 0 -1 0 365 0 0 0 17997 4 0 0 25 0 1 0 846956979 7073792 339 4294967295 134512640 134581267 3221224576 3221223472 134517902 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1727 339 566 18 0 1709 0
vsize: 6908
[startup+190.008 s]
Raw data (loadavg): 0.98 0.54 0.21 2/54 18942
Raw data (stat): 18942 (Pueblo-v2) R 18941 31399 31398 0 -1 0 369 0 0 0 18996 4 0 0 25 0 1 0 846956979 7200768 343 4294967295 134512640 134581267 3221224576 3221223488 134527459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1758 343 566 18 0 1740 0
vsize: 7032
[startup+200.008 s]
Raw data (loadavg): 0.98 0.55 0.22 2/54 18942
Raw data (stat): 18942 (Pueblo-v2) R 18941 31399 31398 0 -1 0 373 0 0 0 19996 4 0 0 25 0 1 0 846956979 7200768 347 4294967295 134512640 134581267 3221224576 3221223520 134559023 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1758 347 566 18 0 1740 0
vsize: 7032
[startup+210.007 s]
Raw data (loadavg): 0.98 0.56 0.23 2/54 18942
Raw data (stat): 18942 (Pueblo-v2) R 18941 31399 31398 0 -1 0 373 0 0 0 20996 5 0 0 25 0 1 0 846956979 7200768 347 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1758 347 566 18 0 1740 0
vsize: 7032
[startup+220.008 s]
Raw data (loadavg): 0.98 0.58 0.24 2/54 18942
Raw data (stat): 18942 (Pueblo-v2) R 18941 31399 31398 0 -1 0 378 0 0 0 21996 5 0 0 25 0 1 0 846956979 7200768 352 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1758 352 566 18 0 1740 0
vsize: 7032
[startup+230.009 s]
Raw data (loadavg): 0.99 0.59 0.24 2/54 18942
Raw data (stat): 18942 (Pueblo-v2) R 18941 31399 31398 0 -1 0 378 0 0 0 22996 5 0 0 25 0 1 0 846956979 7200768 352 4294967295 134512640 134581267 3221224576 3221223504 134519952 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1758 352 566 18 0 1740 0
vsize: 7032
[startup+240.01 s]
Raw data (loadavg): 0.99 0.60 0.25 2/54 18942
Raw data (stat): 18942 (Pueblo-v2) R 18941 31399 31398 0 -1 0 378 0 0 0 23996 5 0 0 25 0 1 0 846956979 7200768 352 4294967295 134512640 134581267 3221224576 3221223552 134560643 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1758 352 566 18 0 1740 0
vsize: 7032
[startup+250.009 s]
Raw data (loadavg): 0.99 0.62 0.26 2/54 18942
Raw data (stat): 18942 (Pueblo-v2) R 18941 31399 31398 0 -1 0 378 0 0 0 24995 6 0 0 25 0 1 0 846956979 7200768 352 4294967295 134512640 134581267 3221224576 3221223520 134558775 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1758 352 566 18 0 1740 0
vsize: 7032
[startup+260.01 s]
Raw data (loadavg): 0.99 0.63 0.27 2/54 18942
Raw data (stat): 18942 (Pueblo-v2) R 18941 31399 31398 0 -1 0 378 0 0 0 25995 6 0 0 25 0 1 0 846956979 7200768 352 4294967295 134512640 134581267 3221224576 3221223568 134560606 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1758 352 566 18 0 1740 0
vsize: 7032
[startup+270.011 s]
Raw data (loadavg): 0.99 0.64 0.27 2/54 18942
Raw data (stat): 18942 (Pueblo-v2) R 18941 31399 31398 0 -1 0 378 0 0 0 26995 7 0 0 25 0 1 0 846956979 7200768 352 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1758 352 566 18 0 1740 0
vsize: 7032
[startup+280.011 s]
Raw data (loadavg): 0.99 0.65 0.28 2/54 18942
Raw data (stat): 18942 (Pueblo-v2) R 18941 31399 31398 0 -1 0 378 0 0 0 27994 7 0 0 25 0 1 0 846956979 7200768 352 4294967295 134512640 134581267 3221224576 3221223520 134559268 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1758 352 566 18 0 1740 0
vsize: 7032
[startup+290.012 s]
Raw data (loadavg): 0.99 0.66 0.29 2/54 18942
Raw data (stat): 18942 (Pueblo-v2) R 18941 31399 31398 0 -1 0 378 0 0 0 28994 7 0 0 25 0 1 0 846956979 7200768 352 4294967295 134512640 134581267 3221224576 3221223440 134528243 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1758 352 566 18 0 1740 0
vsize: 7032
[startup+300.013 s]
Raw data (loadavg): 0.99 0.67 0.30 2/54 18942
Raw data (stat): 18942 (Pueblo-v2) R 18941 31399 31398 0 -1 0 384 0 0 0 29994 8 0 0 25 0 1 0 846956979 7200768 358 4294967295 134512640 134581267 3221224576 3221223520 134559268 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1758 358 566 18 0 1740 0
vsize: 7032
[startup+310.012 s]
Raw data (loadavg): 0.99 0.68 0.30 2/54 18942
Raw data (stat): 18942 (Pueblo-v2) R 18941 31399 31398 0 -1 0 384 0 0 0 30994 8 0 0 25 0 1 0 846956979 7200768 358 4294967295 134512640 134581267 3221224576 3221223456 134520258 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1758 358 566 18 0 1740 0
vsize: 7032
[startup+320.013 s]
Raw data (loadavg): 0.99 0.69 0.31 2/54 18942
Raw data (stat): 18942 (Pueblo-v2) R 18941 31399 31398 0 -1 0 384 0 0 0 31994 8 0 0 25 0 1 0 846956979 7200768 358 4294967295 134512640 134581267 3221224576 3221223520 134558815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1758 358 566 18 0 1740 0
vsize: 7032
[startup+330.014 s]
Raw data (loadavg): 0.99 0.70 0.32 2/54 18942
Raw data (stat): 18942 (Pueblo-v2) R 18941 31399 31398 0 -1 0 384 0 0 0 32993 9 0 0 25 0 1 0 846956979 7200768 358 4294967295 134512640 134581267 3221224576 3221223520 134559586 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1758 358 566 18 0 1740 0
vsize: 7032
[startup+340.015 s]
Raw data (loadavg): 0.99 0.71 0.32 2/54 18942
Raw data (stat): 18942 (Pueblo-v2) R 18941 31399 31398 0 -1 0 384 0 0 0 33993 9 0 0 25 0 1 0 846956979 7200768 358 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1758 358 566 18 0 1740 0
vsize: 7032
[startup+350.015 s]
Raw data (loadavg): 0.99 0.72 0.33 2/54 18942
Raw data (stat): 18942 (Pueblo-v2) R 18941 31399 31398 0 -1 0 384 0 0 0 34992 10 0 0 25 0 1 0 846956979 7200768 358 4294967295 134512640 134581267 3221224576 3221223504 134519958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1758 358 566 18 0 1740 0
vsize: 7032
[startup+360.016 s]
Raw data (loadavg): 0.99 0.73 0.34 2/54 18942
Raw data (stat): 18942 (Pueblo-v2) R 18941 31399 31398 0 -1 0 384 0 0 0 35992 10 0 0 25 0 1 0 846956979 7200768 358 4294967295 134512640 134581267 3221224576 3221223504 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1758 358 566 18 0 1740 0
vsize: 7032
[startup+370.017 s]
Raw data (loadavg): 0.99 0.74 0.34 2/54 18942
Raw data (stat): 18942 (Pueblo-v2) R 18941 31399 31398 0 -1 0 384 0 0 0 36992 11 0 0 25 0 1 0 846956979 7200768 358 4294967295 134512640 134581267 3221224576 3221223520 134559230 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1758 358 566 18 0 1740 0
vsize: 7032
[startup+380.016 s]
Raw data (loadavg): 0.99 0.75 0.35 2/54 18942
Raw data (stat): 18942 (Pueblo-v2) R 18941 31399 31398 0 -1 0 384 0 0 0 37992 11 0 0 25 0 1 0 846956979 7200768 358 4294967295 134512640 134581267 3221224576 3221223520 134558815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1758 358 566 18 0 1740 0
vsize: 7032
[startup+390.017 s]
Raw data (loadavg): 0.99 0.75 0.36 2/54 18942
Raw data (stat): 18942 (Pueblo-v2) R 18941 31399 31398 0 -1 0 384 0 0 0 38991 12 0 0 25 0 1 0 846956979 7200768 358 4294967295 134512640 134581267 3221224576 3221223440 134528229 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1758 358 566 18 0 1740 0
vsize: 7032
[startup+400.018 s]
Raw data (loadavg): 0.99 0.76 0.36 2/54 18942
Raw data (stat): 18942 (Pueblo-v2) R 18941 31399 31398 0 -1 0 384 0 0 0 39991 12 0 0 25 0 1 0 846956979 7200768 358 4294967295 134512640 134581267 3221224576 3221223504 134519908 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1758 358 566 18 0 1740 0
vsize: 7032
[startup+410.017 s]
Raw data (loadavg): 0.99 0.77 0.37 2/54 18942
Raw data (stat): 18942 (Pueblo-v2) R 18941 31399 31398 0 -1 0 384 0 0 0 40991 12 0 0 25 0 1 0 846956979 7200768 358 4294967295 134512640 134581267 3221224576 3221223504 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1758 358 566 18 0 1740 0
vsize: 7032
[startup+420.018 s]
Raw data (loadavg): 0.99 0.78 0.38 2/54 18942
Raw data (stat): 18942 (Pueblo-v2) R 18941 31399 31398 0 -1 0 384 0 0 0 41991 12 0 0 25 0 1 0 846956979 7200768 358 4294967295 134512640 134581267 3221224576 3221223504 134519788 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1758 358 566 18 0 1740 0
vsize: 7032
[startup+430.019 s]
Raw data (loadavg): 0.99 0.78 0.38 2/54 18942
Raw data (stat): 18942 (Pueblo-v2) R 18941 31399 31398 0 -1 0 389 0 0 0 42991 13 0 0 25 0 1 0 846956979 7200768 363 4294967295 134512640 134581267 3221224576 3221223324 1075285120 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1758 363 566 18 0 1740 0
vsize: 7032
[startup+440.019 s]
Raw data (loadavg): 0.99 0.79 0.39 2/54 18942
Raw data (stat): 18942 (Pueblo-v2) R 18941 31399 31398 0 -1 0 389 0 0 0 43991 13 0 0 25 0 1 0 846956979 7200768 363 4294967295 134512640 134581267 3221224576 3221223488 134527440 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1758 363 566 18 0 1740 0
vsize: 7032
[startup+450.02 s]
Raw data (loadavg): 0.99 0.80 0.39 2/54 18942
Raw data (stat): 18942 (Pueblo-v2) R 18941 31399 31398 0 -1 0 389 0 0 0 44991 13 0 0 25 0 1 0 846956979 7200768 363 4294967295 134512640 134581267 3221224576 3221223520 134558798 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1758 363 566 18 0 1740 0
vsize: 7032
[startup+460.02 s]
Raw data (loadavg): 0.99 0.80 0.40 2/54 18942
Raw data (stat): 18942 (Pueblo-v2) R 18941 31399 31398 0 -1 0 389 0 0 0 45991 13 0 0 25 0 1 0 846956979 7200768 363 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1758 363 566 18 0 1740 0
vsize: 7032
[startup+470.021 s]
Raw data (loadavg): 0.99 0.81 0.40 2/54 18942
Raw data (stat): 18942 (Pueblo-v2) R 18941 31399 31398 0 -1 0 389 0 0 0 46991 13 0 0 25 0 1 0 846956979 7200768 363 4294967295 134512640 134581267 3221224576 3221223504 134519797 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1758 363 566 18 0 1740 0
vsize: 7032
[startup+480.02 s]
Raw data (loadavg): 0.99 0.81 0.41 2/54 18942
Raw data (stat): 18942 (Pueblo-v2) R 18941 31399 31398 0 -1 0 389 0 0 0 47990 13 0 0 25 0 1 0 846956979 7200768 363 4294967295 134512640 134581267 3221224576 3221223504 134519853 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1758 363 566 18 0 1740 0
vsize: 7032
[startup+490.021 s]
Raw data (loadavg): 0.99 0.82 0.42 2/54 18942
Raw data (stat): 18942 (Pueblo-v2) R 18941 31399 31398 0 -1 0 389 0 0 0 48990 14 0 0 25 0 1 0 846956979 7200768 363 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1758 363 566 18 0 1740 0
vsize: 7032
[startup+500.022 s]
Raw data (loadavg): 0.99 0.83 0.42 2/54 18942
Raw data (stat): 18942 (Pueblo-v2) R 18941 31399 31398 0 -1 0 389 0 0 0 49990 14 0 0 25 0 1 0 846956979 7200768 363 4294967295 134512640 134581267 3221224576 3221223472 134517931 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1758 363 566 18 0 1740 0
vsize: 7032
[startup+510.021 s]
Raw data (loadavg): 0.99 0.83 0.43 2/54 18942
Raw data (stat): 18942 (Pueblo-v2) R 18941 31399 31398 0 -1 0 389 0 0 0 50990 14 0 0 25 0 1 0 846956979 7200768 363 4294967295 134512640 134581267 3221224576 3221223504 134520084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1758 363 566 18 0 1740 0
vsize: 7032
[startup+520.022 s]
Raw data (loadavg): 0.99 0.84 0.43 2/54 18942
Raw data (stat): 18942 (Pueblo-v2) R 18941 31399 31398 0 -1 0 389 0 0 0 51989 15 0 0 25 0 1 0 846956979 7200768 363 4294967295 134512640 134581267 3221224576 3221223456 134520271 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1758 363 566 18 0 1740 0
vsize: 7032
[startup+530.025 s]
Raw data (loadavg): 0.99 0.84 0.44 2/54 18942
Raw data (stat): 18942 (Pueblo-v2) R 18941 31399 31398 0 -1 0 389 0 0 0 52989 15 0 0 25 0 1 0 846956979 7200768 363 4294967295 134512640 134581267 3221224576 3221223352 1075291632 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1758 363 566 18 0 1740 0
vsize: 7032
[startup+540.027 s]
Raw data (loadavg): 0.99 0.85 0.45 2/54 18942
Raw data (stat): 18942 (Pueblo-v2) R 18941 31399 31398 0 -1 0 389 0 0 0 53989 16 0 0 25 0 1 0 846956979 7200768 363 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1758 363 566 18 0 1740 0
vsize: 7032
[startup+550.027 s]
Raw data (loadavg): 0.99 0.85 0.45 2/54 18942
Raw data (stat): 18942 (Pueblo-v2) R 18941 31399 31398 0 -1 0 389 0 0 0 54989 16 0 0 25 0 1 0 846956979 7200768 363 4294967295 134512640 134581267 3221224576 3221223264 1075288574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1758 363 566 18 0 1740 0
vsize: 7032
[startup+560.027 s]
Raw data (loadavg): 0.99 0.85 0.46 2/54 18942
Raw data (stat): 18942 (Pueblo-v2) R 18941 31399 31398 0 -1 0 389 0 0 0 55989 16 0 0 25 0 1 0 846956979 7200768 363 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1758 363 566 18 0 1740 0
vsize: 7032
[startup+570.028 s]
Raw data (loadavg): 0.99 0.86 0.46 2/54 18942
Raw data (stat): 18942 (Pueblo-v2) R 18941 31399 31398 0 -1 0 389 0 0 0 56989 16 0 0 25 0 1 0 846956979 7200768 363 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1758 363 566 18 0 1740 0
vsize: 7032
[startup+580.028 s]
Raw data (loadavg): 0.99 0.86 0.47 2/54 18942
Raw data (stat): 18942 (Pueblo-v2) R 18941 31399 31398 0 -1 0 389 0 0 0 57989 16 0 0 25 0 1 0 846956979 7200768 363 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1758 363 566 18 0 1740 0
vsize: 7032
[startup+590.028 s]
Raw data (loadavg): 0.99 0.87 0.47 2/54 18942
Raw data (stat): 18942 (Pueblo-v2) R 18941 31399 31398 0 -1 0 389 0 0 0 58989 17 0 0 25 0 1 0 846956979 7200768 363 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1758 363 566 18 0 1740 0
vsize: 7032
[startup+600.029 s]
Raw data (loadavg): 0.99 0.87 0.48 2/54 18942
Raw data (stat): 18942 (Pueblo-v2) R 18941 31399 31398 0 -1 0 389 0 0 0 59989 17 0 0 25 0 1 0 846956979 7200768 363 4294967295 134512640 134581267 3221224576 3221223504 134519947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1758 363 566 18 0 1740 0
vsize: 7032
[startup+610.029 s]
Raw data (loadavg): 0.99 0.87 0.48 2/54 18942
Raw data (stat): 18942 (Pueblo-v2) R 18941 31399 31398 0 -1 0 389 0 0 0 60988 17 0 0 25 0 1 0 846956979 7200768 363 4294967295 134512640 134581267 3221224576 3221223504 134519996 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1758 363 566 18 0 1740 0
vsize: 7032
[startup+620.03 s]
Raw data (loadavg): 0.99 0.88 0.49 2/54 18942
Raw data (stat): 18942 (Pueblo-v2) R 18941 31399 31398 0 -1 0 389 0 0 0 61989 17 0 0 25 0 1 0 846956979 7200768 363 4294967295 134512640 134581267 3221224576 3221223488 134527636 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1758 363 566 18 0 1740 0
vsize: 7032
[startup+630.03 s]
Raw data (loadavg): 0.99 0.88 0.49 2/54 18942
Raw data (stat): 18942 (Pueblo-v2) R 18941 31399 31398 0 -1 0 389 0 0 0 62989 17 0 0 25 0 1 0 846956979 7200768 363 4294967295 134512640 134581267 3221224576 3221223520 134558815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1758 363 566 18 0 1740 0
vsize: 7032
[startup+640.031 s]
Raw data (loadavg): 0.99 0.89 0.50 2/54 18942
Raw data (stat): 18942 (Pueblo-v2) R 18941 31399 31398 0 -1 0 389 0 0 0 63988 18 0 0 25 0 1 0 846956979 7200768 363 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1758 363 566 18 0 1740 0
vsize: 7032
[startup+650.031 s]
Raw data (loadavg): 0.99 0.89 0.50 2/54 18942
Raw data (stat): 18942 (Pueblo-v2) R 18941 31399 31398 0 -1 0 389 0 0 0 64988 18 0 0 25 0 1 0 846956979 7200768 363 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1758 363 566 18 0 1740 0
vsize: 7032
[startup+660.031 s]
Raw data (loadavg): 0.99 0.89 0.51 2/54 18942
Raw data (stat): 18942 (Pueblo-v2) R 18941 31399 31398 0 -1 0 389 0 0 0 65988 18 0 0 25 0 1 0 846956979 7200768 363 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1758 363 566 18 0 1740 0
vsize: 7032
[startup+670.032 s]
Raw data (loadavg): 0.99 0.89 0.51 2/54 18942
Raw data (stat): 18942 (Pueblo-v2) R 18941 31399 31398 0 -1 0 389 0 0 0 66988 18 0 0 25 0 1 0 846956979 7200768 363 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1758 363 566 18 0 1740 0
vsize: 7032
[startup+680.032 s]
Raw data (loadavg): 0.99 0.90 0.52 2/54 18942
Raw data (stat): 18942 (Pueblo-v2) R 18941 31399 31398 0 -1 0 389 0 0 0 67988 19 0 0 25 0 1 0 846956979 7200768 363 4294967295 134512640 134581267 3221224576 3221223368 1075288465 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1758 363 566 18 0 1740 0
vsize: 7032
[startup+690.033 s]
Raw data (loadavg): 0.99 0.90 0.52 2/54 18942
Raw data (stat): 18942 (Pueblo-v2) R 18941 31399 31398 0 -1 0 389 0 0 0 68988 19 0 0 25 0 1 0 846956979 7200768 363 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1758 363 566 18 0 1740 0
vsize: 7032
[startup+700.034 s]
Raw data (loadavg): 0.99 0.90 0.53 2/54 18942
Raw data (stat): 18942 (Pueblo-v2) R 18941 31399 31398 0 -1 0 389 0 0 0 69988 19 0 0 25 0 1 0 846956979 7200768 363 4294967295 134512640 134581267 3221224576 3221223520 134559378 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1758 363 566 18 0 1740 0
vsize: 7032
[startup+710.034 s]
Raw data (loadavg): 0.99 0.91 0.53 2/54 18942
Raw data (stat): 18942 (Pueblo-v2) R 18941 31399 31398 0 -1 0 390 0 0 0 70988 19 0 0 25 0 1 0 846956979 7200768 364 4294967295 134512640 134581267 3221224576 3221223612 134565053 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1758 364 566 18 0 1740 0
vsize: 7032
[startup+720.035 s]
Raw data (loadavg): 0.99 0.91 0.54 2/54 18942
Raw data (stat): 18942 (Pueblo-v2) R 18941 31399 31398 0 -1 0 390 0 0 0 71988 19 0 0 25 0 1 0 846956979 7200768 364 4294967295 134512640 134581267 3221224576 3221223472 134517912 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1758 364 566 18 0 1740 0
vsize: 7032
[startup+730.035 s]
Raw data (loadavg): 0.99 0.91 0.54 2/54 18942
Raw data (stat): 18942 (Pueblo-v2) R 18941 31399 31398 0 -1 0 390 0 0 0 72987 20 0 0 25 0 1 0 846956979 7200768 364 4294967295 134512640 134581267 3221224576 3221223264 1075288435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1758 364 566 18 0 1740 0
vsize: 7032
[startup+740.035 s]
Raw data (loadavg): 0.99 0.91 0.54 2/54 18942
Raw data (stat): 18942 (Pueblo-v2) R 18941 31399 31398 0 -1 0 398 0 0 0 73987 20 0 0 25 0 1 0 846956979 7200768 372 4294967295 134512640 134581267 3221224576 3221223472 134517885 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1758 372 566 18 0 1740 0
vsize: 7032
[startup+750.036 s]
Raw data (loadavg): 0.99 0.92 0.55 2/54 18942
Raw data (stat): 18942 (Pueblo-v2) R 18941 31399 31398 0 -1 0 398 0 0 0 74987 20 0 0 25 0 1 0 846956979 7200768 372 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1758 372 566 18 0 1740 0
vsize: 7032
[startup+760.036 s]
Raw data (loadavg): 0.99 0.92 0.55 2/54 18942
Raw data (stat): 18942 (Pueblo-v2) R 18941 31399 31398 0 -1 0 398 0 0 0 75987 20 0 0 25 0 1 0 846956979 7200768 372 4294967295 134512640 134581267 3221224576 3221223504 134519958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1758 372 566 18 0 1740 0
vsize: 7032
[startup+770.036 s]
Raw data (loadavg): 0.99 0.92 0.56 2/54 18942
Raw data (stat): 18942 (Pueblo-v2) R 18941 31399 31398 0 -1 0 398 0 0 0 76987 21 0 0 25 0 1 0 846956979 7200768 372 4294967295 134512640 134581267 3221224576 3221223024 134566772 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1758 372 566 18 0 1740 0
vsize: 7032
[startup+780.037 s]
Raw data (loadavg): 0.99 0.92 0.56 2/54 18942
Raw data (stat): 18942 (Pueblo-v2) R 18941 31399 31398 0 -1 0 398 0 0 0 77987 21 0 0 25 0 1 0 846956979 7200768 372 4294967295 134512640 134581267 3221224576 3221223520 134559432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1758 372 566 18 0 1740 0
vsize: 7032
[startup+790.038 s]
Raw data (loadavg): 0.99 0.92 0.56 2/54 18942
Raw data (stat): 18942 (Pueblo-v2) R 18941 31399 31398 0 -1 0 398 0 0 0 78987 21 0 0 25 0 1 0 846956979 7200768 372 4294967295 134512640 134581267 3221224576 3221223568 134561104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1758 372 566 18 0 1740 0
vsize: 7032
[startup+800.037 s]
Raw data (loadavg): 0.99 0.93 0.57 2/54 18942
Raw data (stat): 18942 (Pueblo-v2) R 18941 31399 31398 0 -1 0 398 0 0 0 79987 21 0 0 25 0 1 0 846956979 7200768 372 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1758 372 566 18 0 1740 0
vsize: 7032
[startup+810.037 s]
Raw data (loadavg): 0.99 0.93 0.57 2/54 18942
Raw data (stat): 18942 (Pueblo-v2) R 18941 31399 31398 0 -1 0 398 0 0 0 80986 21 0 0 25 0 1 0 846956979 7200768 372 4294967295 134512640 134581267 3221224576 3221223520 134558837 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1758 372 566 18 0 1740 0
vsize: 7032
[startup+820.038 s]
Raw data (loadavg): 0.99 0.93 0.58 2/54 18942
Raw data (stat): 18942 (Pueblo-v2) R 18941 31399 31398 0 -1 0 398 0 0 0 81986 22 0 0 25 0 1 0 846956979 7200768 372 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1758 372 566 18 0 1740 0
vsize: 7032
[startup+830.038 s]
Raw data (loadavg): 0.99 0.93 0.58 2/54 18942
Raw data (stat): 18942 (Pueblo-v2) R 18941 31399 31398 0 -1 0 398 0 0 0 82986 22 0 0 25 0 1 0 846956979 7200768 372 4294967295 134512640 134581267 3221224576 3221223520 134559627 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1758 372 566 18 0 1740 0
vsize: 7032
[startup+840.039 s]
Raw data (loadavg): 0.99 0.93 0.58 2/54 18942
Raw data (stat): 18942 (Pueblo-v2) R 18941 31399 31398 0 -1 0 398 0 0 0 83986 22 0 0 25 0 1 0 846956979 7200768 372 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1758 372 566 18 0 1740 0
vsize: 7032
[startup+850.04 s]
Raw data (loadavg): 0.99 0.94 0.59 2/54 18942
Raw data (stat): 18942 (Pueblo-v2) R 18941 31399 31398 0 -1 0 398 0 0 0 84986 23 0 0 25 0 1 0 846956979 7200768 372 4294967295 134512640 134581267 3221224576 3221223520 134558775 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1758 372 566 18 0 1740 0
vsize: 7032
[startup+860.04 s]
Raw data (loadavg): 0.99 0.94 0.59 2/54 18942
Raw data (stat): 18942 (Pueblo-v2) R 18941 31399 31398 0 -1 0 398 0 0 0 85985 23 0 0 25 0 1 0 846956979 7200768 372 4294967295 134512640 134581267 3221224576 3221223504 134520043 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1758 372 566 18 0 1740 0
vsize: 7032
[startup+870.04 s]
Raw data (loadavg): 0.99 0.94 0.60 2/54 18942
Raw data (stat): 18942 (Pueblo-v2) R 18941 31399 31398 0 -1 0 398 0 0 0 86985 23 0 0 25 0 1 0 846956979 7200768 372 4294967295 134512640 134581267 3221224576 3221223504 134520084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1758 372 566 18 0 1740 0
vsize: 7032
[startup+880.04 s]
Raw data (loadavg): 0.99 0.94 0.60 2/54 18942
Raw data (stat): 18942 (Pueblo-v2) R 18941 31399 31398 0 -1 0 403 0 0 0 87985 24 0 0 25 0 1 0 846956979 7335936 377 4294967295 134512640 134581267 3221224576 3221223472 134517862 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1791 377 566 18 0 1773 0
vsize: 7164
[startup+890.042 s]
Raw data (loadavg): 0.99 0.94 0.60 2/54 18942
Raw data (stat): 18942 (Pueblo-v2) R 18941 31399 31398 0 -1 0 403 0 0 0 88984 25 0 0 25 0 1 0 846956979 7335936 377 4294967295 134512640 134581267 3221224576 3221223568 134561040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1791 377 566 18 0 1773 0
vsize: 7164
[startup+900.042 s]
Raw data (loadavg): 0.99 0.94 0.61 2/54 18942
Raw data (stat): 18942 (Pueblo-v2) R 18941 31399 31398 0 -1 0 404 0 0 0 89984 25 0 0 25 0 1 0 846956979 7335936 378 4294967295 134512640 134581267 3221224576 3221223520 134559235 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1791 378 566 18 0 1773 0
vsize: 7164
[startup+910.042 s]
Raw data (loadavg): 0.99 0.94 0.61 2/54 18942
Raw data (stat): 18942 (Pueblo-v2) R 18941 31399 31398 0 -1 0 404 0 0 0 90983 26 0 0 25 0 1 0 846956979 7335936 378 4294967295 134512640 134581267 3221224576 3221223504 134520084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1791 378 566 18 0 1773 0
vsize: 7164
[startup+920.043 s]
Raw data (loadavg): 0.99 0.95 0.62 2/54 18942
Raw data (stat): 18942 (Pueblo-v2) R 18941 31399 31398 0 -1 0 408 0 0 0 91984 26 0 0 25 0 1 0 846956979 7335936 382 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1791 382 566 18 0 1773 0
vsize: 7164
[startup+930.043 s]
Raw data (loadavg): 0.99 0.95 0.62 2/54 18942
Raw data (stat): 18942 (Pueblo-v2) R 18941 31399 31398 0 -1 0 409 0 0 0 92983 26 0 0 25 0 1 0 846956979 7335936 383 4294967295 134512640 134581267 3221224576 3221223504 134520084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1791 383 566 18 0 1773 0
vsize: 7164
[startup+940.043 s]
Raw data (loadavg): 0.99 0.95 0.62 2/54 18942
Raw data (stat): 18942 (Pueblo-v2) R 18941 31399 31398 0 -1 0 409 0 0 0 93983 26 0 0 25 0 1 0 846956979 7335936 383 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1791 383 566 18 0 1773 0
vsize: 7164
[startup+950.044 s]
Raw data (loadavg): 0.99 0.95 0.63 2/54 18942
Raw data (stat): 18942 (Pueblo-v2) R 18941 31399 31398 0 -1 0 409 0 0 0 94983 26 0 0 25 0 1 0 846956979 7335936 383 4294967295 134512640 134581267 3221224576 3221223616 134564993 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1791 383 566 18 0 1773 0
vsize: 7164
[startup+960.044 s]
Raw data (loadavg): 0.99 0.95 0.63 2/54 18942
Raw data (stat): 18942 (Pueblo-v2) R 18941 31399 31398 0 -1 0 409 0 0 0 95983 26 0 0 25 0 1 0 846956979 7335936 383 4294967295 134512640 134581267 3221224576 3221223568 134560800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1791 383 566 18 0 1773 0
vsize: 7164
[startup+970.044 s]
Raw data (loadavg): 0.99 0.95 0.64 2/54 18942
Raw data (stat): 18942 (Pueblo-v2) R 18941 31399 31398 0 -1 0 415 0 0 0 96983 27 0 0 25 0 1 0 846956979 7335936 389 4294967295 134512640 134581267 3221224576 3221223472 134517767 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1791 389 566 18 0 1773 0
vsize: 7164
[startup+980.044 s]
Raw data (loadavg): 0.99 0.95 0.64 2/54 18942
Raw data (stat): 18942 (Pueblo-v2) R 18941 31399 31398 0 -1 0 415 0 0 0 97983 27 0 0 25 0 1 0 846956979 7335936 389 4294967295 134512640 134581267 3221224576 3221223504 134519803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1791 389 566 18 0 1773 0
vsize: 7164
[startup+990.045 s]
Raw data (loadavg): 0.99 0.95 0.64 2/54 18942
Raw data (stat): 18942 (Pueblo-v2) R 18941 31399 31398 0 -1 0 415 0 0 0 98983 27 0 0 25 0 1 0 846956979 7335936 389 4294967295 134512640 134581267 3221224576 3221223440 134528304 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1791 389 566 18 0 1773 0
vsize: 7164
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.95 0.64 2/54 18942
Raw data (stat): 18942 (Pueblo-v2) R 18941 31399 31398 0 -1 0 415 0 0 0 99983 27 0 0 25 0 1 0 846956979 7335936 389 4294967295 134512640 134581267 3221224576 3221223520 134558930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1791 389 566 18 0 1773 0
vsize: 7164
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.95 0.65 2/54 18942
Raw data (stat): 18942 (Pueblo-v2) R 18941 31399 31398 0 -1 0 415 0 0 0 100983 27 0 0 25 0 1 0 846956979 7335936 389 4294967295 134512640 134581267 3221224576 3221223548 134519776 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1791 389 566 18 0 1773 0
vsize: 7164
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.95 0.65 2/54 18942
Raw data (stat): 18942 (Pueblo-v2) R 18941 31399 31398 0 -1 0 415 0 0 0 101983 27 0 0 25 0 1 0 846956979 7335936 389 4294967295 134512640 134581267 3221224576 3221223456 134520297 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1791 389 566 18 0 1773 0
vsize: 7164
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.96 0.65 2/54 18942
Raw data (stat): 18942 (Pueblo-v2) R 18941 31399 31398 0 -1 0 415 0 0 0 102983 28 0 0 25 0 1 0 846956979 7335936 389 4294967295 134512640 134581267 3221224576 3221223520 134558756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1791 389 566 18 0 1773 0
vsize: 7164
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.96 0.66 2/54 18942
Raw data (stat): 18942 (Pueblo-v2) R 18941 31399 31398 0 -1 0 415 0 0 0 103983 28 0 0 25 0 1 0 846956979 7335936 389 4294967295 134512640 134581267 3221224576 3221223520 134558912 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1791 389 566 18 0 1773 0
vsize: 7164
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.96 0.66 2/54 18942
Raw data (stat): 18942 (Pueblo-v2) R 18941 31399 31398 0 -1 0 415 0 0 0 104983 28 0 0 25 0 1 0 846956979 7335936 389 4294967295 134512640 134581267 3221224576 3221223472 134517912 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1791 389 566 18 0 1773 0
vsize: 7164
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.96 0.66 2/54 18942
Raw data (stat): 18942 (Pueblo-v2) R 18941 31399 31398 0 -1 0 415 0 0 0 105982 28 0 0 25 0 1 0 846956979 7335936 389 4294967295 134512640 134581267 3221224576 3221223456 134560435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1791 389 566 18 0 1773 0
vsize: 7164
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.96 0.66 2/54 18942
Raw data (stat): 18942 (Pueblo-v2) R 18941 31399 31398 0 -1 0 415 0 0 0 106983 28 0 0 25 0 1 0 846956979 7335936 389 4294967295 134512640 134581267 3221224576 3221223648 134531368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1791 389 566 18 0 1773 0
vsize: 7164
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.96 0.67 2/54 18942
Raw data (stat): 18942 (Pueblo-v2) R 18941 31399 31398 0 -1 0 415 0 0 0 107982 29 0 0 25 0 1 0 846956979 7335936 389 4294967295 134512640 134581267 3221224576 3221223568 134561067 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1791 389 566 18 0 1773 0
vsize: 7164
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.96 0.67 2/54 18942
Raw data (stat): 18942 (Pueblo-v2) R 18941 31399 31398 0 -1 0 415 0 0 0 108982 29 0 0 25 0 1 0 846956979 7335936 389 4294967295 134512640 134581267 3221224576 3221223568 134561084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1791 389 566 18 0 1773 0
vsize: 7164
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.96 0.67 2/54 18942
Raw data (stat): 18942 (Pueblo-v2) R 18941 31399 31398 0 -1 0 415 0 0 0 109982 29 0 0 25 0 1 0 846956979 7335936 389 4294967295 134512640 134581267 3221224576 3221223520 134559422 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1791 389 566 18 0 1773 0
vsize: 7164
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.96 0.68 2/54 18942
Raw data (stat): 18942 (Pueblo-v2) R 18941 31399 31398 0 -1 0 415 0 0 0 110982 29 0 0 25 0 1 0 846956979 7335936 389 4294967295 134512640 134581267 3221224576 3221223520 134559432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1791 389 566 18 0 1773 0
vsize: 7164
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.96 0.68 2/54 18942
Raw data (stat): 18942 (Pueblo-v2) R 18941 31399 31398 0 -1 0 415 0 0 0 111982 30 0 0 25 0 1 0 846956979 7335936 389 4294967295 134512640 134581267 3221224576 3221223568 134560972 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1791 389 566 18 0 1773 0
vsize: 7164
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.97 0.68 2/54 18942
Raw data (stat): 18942 (Pueblo-v2) R 18941 31399 31398 0 -1 0 416 0 0 0 112981 30 0 0 25 0 1 0 846956979 7335936 390 4294967295 134512640 134581267 3221224576 3221223504 134520084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1791 390 566 18 0 1773 0
vsize: 7164
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.69 2/54 18942
Raw data (stat): 18942 (Pueblo-v2) R 18941 31399 31398 0 -1 0 420 0 0 0 113981 31 0 0 25 0 1 0 846956979 7335936 394 4294967295 134512640 134581267 3221224576 3221223456 134520288 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1791 394 566 18 0 1773 0
vsize: 7164
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.69 2/54 18942
Raw data (stat): 18942 (Pueblo-v2) R 18941 31399 31398 0 -1 0 420 0 0 0 114981 31 0 0 25 0 1 0 846956979 7335936 394 4294967295 134512640 134581267 3221224576 3221223520 134559043 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1791 394 566 18 0 1773 0
vsize: 7164
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.69 2/54 18942
Raw data (stat): 18942 (Pueblo-v2) R 18941 31399 31398 0 -1 0 420 0 0 0 115981 31 0 0 25 0 1 0 846956979 7335936 394 4294967295 134512640 134581267 3221224576 3221223504 134519880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1791 394 566 18 0 1773 0
vsize: 7164
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.69 2/54 18942
Raw data (stat): 18942 (Pueblo-v2) R 18941 31399 31398 0 -1 0 420 0 0 0 116981 31 0 0 25 0 1 0 846956979 7335936 394 4294967295 134512640 134581267 3221224576 3221223504 134520084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1791 394 566 18 0 1773 0
vsize: 7164
[startup+1180.05 s]
Raw data (loadavg): 0.99 0.97 0.70 2/54 18942
Raw data (stat): 18942 (Pueblo-v2) R 18941 31399 31398 0 -1 0 420 0 0 0 117981 31 0 0 25 0 1 0 846956979 7335936 394 4294967295 134512640 134581267 3221224576 3221223520 134558912 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1791 394 566 18 0 1773 0
vsize: 7164
[startup+1190.05 s]
Raw data (loadavg): 0.99 0.97 0.70 2/54 18942
Raw data (stat): 18942 (Pueblo-v2) R 18941 31399 31398 0 -1 0 420 0 0 0 118981 32 0 0 25 0 1 0 846956979 7335936 394 4294967295 134512640 134581267 3221224576 3221223536 134554618 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1791 394 566 18 0 1773 0
vsize: 7164
[startup+1200.05 s]
Raw data (loadavg): 0.99 0.97 0.70 2/54 18942
Raw data (stat): 18942 (Pueblo-v2) R 18941 31399 31398 0 -1 0 420 0 0 0 119981 32 0 0 25 0 1 0 846956979 7335936 394 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1791 394 566 18 0 1773 0
vsize: 7164
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.06 s]
Raw data (loadavg): 0.99 0.97 0.70 1/54 18942
Raw data (stat): 18942 (Pueblo-v2) Z 18941 31399 31398 0 -1 1036 420 0 0 0 119981 32 0 0 25 0 1 0 846956979 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.06
CPU time (s): 1200.13
CPU user time (s): 1199.81
CPU system time (s): 0.32295
CPU usage (%): 100.006
Max. virtual memory (Kb): 7164
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####