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-fpga35_33_sat_pb.cnf.cr.opb
MD5SUM	d4fd8917eebbcee2e1b2df9714e1fab8
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
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	36
Number of bits of the biggest sum of numbers	6
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.59276
Number of variables	1733
Total number of constraints	1256
Number of constraints which are clauses	1188
Number of constraints which are cardinality constraints (but not clauses)	68
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	17
Maximum length of a constraint	35
Trace number 38261

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-02 05:41:24 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26319 boxname=wulflinc3 idbench=49 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  d4fd8917eebbcee2e1b2df9714e1fab8  /oldhome/oroussel/tmp/wulflinc3/normalized-fpga35_33_sat_pb.cnf.cr.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-fpga35_33_sat_pb.cnf.cr.opb
IDLAUNCH: 26319
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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:        734944 kB
Buffers:         33424 kB
Cached:         244264 kB
SwapCached:        228 kB
Active:          60420 kB
Inactive:       219864 kB
HighTotal:      131008 kB
HighFree:          532 kB
LowTotal:       903652 kB
LowFree:        734412 kB
SwapTotal:     2097136 kB
SwapFree:      2096480 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           6328 kB
Slab:            13856 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 06:01:26 (client local time) WITH STATUS 0 IN 1200.71 SECONDS
stats: 26319 7 1200.71 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.67 0.79 1/54 3041
Raw data (stat): 3041 (runsolver) R 3040 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 847337822 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.0012 s]
Raw data (loadavg): 0.56 0.68 0.79 2/54 3041
Raw data (stat): 3041 (Pueblo-v2) R 3040 20224 20223 0 -1 0 988 0 0 0 996 2 0 0 25 0 1 0 847337822 9674752 962 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2362 962 566 18 0 2344 0
vsize: 9448
[startup+20.002 s]
Raw data (loadavg): 0.63 0.69 0.79 2/54 3041
Raw data (stat): 3041 (Pueblo-v2) R 3040 20224 20223 0 -1 0 1174 0 0 0 1996 3 0 0 25 0 1 0 847337822 10461184 1148 4294967295 134512640 134581267 3221224576 3221223552 134561060 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2554 1148 566 18 0 2536 0
vsize: 10216
[startup+30.0022 s]
Raw data (loadavg): 0.69 0.70 0.79 2/54 3041
Raw data (stat): 3041 (Pueblo-v2) R 3040 20224 20223 0 -1 0 1764 0 0 0 2995 4 0 0 25 0 1 0 847337822 12808192 1738 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3127 1738 566 18 0 3109 0
vsize: 12508
[startup+40.0027 s]
Raw data (loadavg): 0.73 0.71 0.79 2/54 3041
Raw data (stat): 3041 (Pueblo-v2) R 3040 20224 20223 0 -1 0 1764 0 0 0 3995 4 0 0 25 0 1 0 847337822 12808192 1738 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3127 1738 566 18 0 3109 0
vsize: 12508
[startup+50.0025 s]
Raw data (loadavg): 0.77 0.72 0.80 2/54 3041
Raw data (stat): 3041 (Pueblo-v2) R 3040 20224 20223 0 -1 0 2462 0 0 0 4994 6 0 0 25 0 1 0 847337822 15667200 2436 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3825 2436 566 18 0 3807 0
vsize: 15300
[startup+60.0037 s]
Raw data (loadavg): 0.81 0.72 0.80 2/54 3041
Raw data (stat): 3041 (Pueblo-v2) R 3040 20224 20223 0 -1 0 2603 0 0 0 5994 6 0 0 25 0 1 0 847337822 16326656 2577 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3986 2577 566 18 0 3968 0
vsize: 15944
[startup+70.0042 s]
Raw data (loadavg): 0.92 0.75 0.80 2/54 3041
Raw data (stat): 3041 (Pueblo-v2) R 3040 20224 20223 0 -1 0 2642 0 0 0 6994 6 0 0 25 0 1 0 847337822 16441344 2616 4294967295 134512640 134581267 3221224576 3221223472 134517862 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4014 2616 566 18 0 3996 0
vsize: 16056
[startup+80.0041 s]
Raw data (loadavg): 1.00 0.77 0.81 2/54 3041
Raw data (stat): 3041 (Pueblo-v2) R 3040 20224 20223 0 -1 0 2656 0 0 0 7994 6 0 0 25 0 1 0 847337822 16572416 2630 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4046 2630 566 18 0 4028 0
vsize: 16184
[startup+90.0107 s]
Raw data (loadavg): 1.00 0.78 0.81 2/54 3041
Raw data (stat): 3041 (Pueblo-v2) R 3040 20224 20223 0 -1 0 2770 0 0 0 8995 6 0 0 25 0 1 0 847337822 16961536 2744 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4141 2744 566 18 0 4123 0
vsize: 16564
[startup+100.011 s]
Raw data (loadavg): 1.00 0.79 0.82 2/54 3041
Raw data (stat): 3041 (Pueblo-v2) R 3040 20224 20223 0 -1 0 2770 0 0 0 9995 6 0 0 25 0 1 0 847337822 16961536 2744 4294967295 134512640 134581267 3221224576 3221223504 134519952 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4141 2744 566 18 0 4123 0
vsize: 16564
[startup+110.012 s]
Raw data (loadavg): 1.00 0.79 0.82 2/54 3041
Raw data (stat): 3041 (Pueblo-v2) R 3040 20224 20223 0 -1 0 2770 0 0 0 10995 6 0 0 25 0 1 0 847337822 16961536 2744 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4141 2744 566 18 0 4123 0
vsize: 16564
[startup+120.013 s]
Raw data (loadavg): 1.00 0.80 0.82 2/54 3041
Raw data (stat): 3041 (Pueblo-v2) R 3040 20224 20223 0 -1 0 2770 0 0 0 11995 6 0 0 25 0 1 0 847337822 16818176 2718 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4106 2718 566 18 0 4088 0
vsize: 16424
[startup+130.012 s]
Raw data (loadavg): 1.00 0.81 0.82 2/54 3041
Raw data (stat): 3041 (Pueblo-v2) R 3040 20224 20223 0 -1 0 2770 0 0 0 12995 7 0 0 25 0 1 0 847337822 16818176 2718 4294967295 134512640 134581267 3221224576 3221223472 134517871 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4106 2718 566 18 0 4088 0
vsize: 16424
[startup+140.012 s]
Raw data (loadavg): 1.00 0.81 0.82 2/54 3041
Raw data (stat): 3041 (Pueblo-v2) R 3040 20224 20223 0 -1 0 2770 0 0 0 13995 7 0 0 25 0 1 0 847337822 16818176 2718 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4106 2718 566 18 0 4088 0
vsize: 16424
[startup+150.012 s]
Raw data (loadavg): 1.00 0.82 0.82 2/54 3041
Raw data (stat): 3041 (Pueblo-v2) R 3040 20224 20223 0 -1 0 2770 0 0 0 14995 7 0 0 25 0 1 0 847337822 16818176 2718 4294967295 134512640 134581267 3221224576 3221223504 134519952 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4106 2718 566 18 0 4088 0
vsize: 16424
[startup+160.013 s]
Raw data (loadavg): 1.00 0.82 0.82 2/54 3041
Raw data (stat): 3041 (Pueblo-v2) R 3040 20224 20223 0 -1 0 2770 0 0 0 15996 7 0 0 25 0 1 0 847337822 16818176 2718 4294967295 134512640 134581267 3221224576 3221223504 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4106 2718 566 18 0 4088 0
vsize: 16424
[startup+170.013 s]
Raw data (loadavg): 1.00 0.83 0.82 2/54 3041
Raw data (stat): 3041 (Pueblo-v2) R 3040 20224 20223 0 -1 0 2770 0 0 0 16996 7 0 0 25 0 1 0 847337822 16818176 2718 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4106 2718 566 18 0 4088 0
vsize: 16424
[startup+180.013 s]
Raw data (loadavg): 1.00 0.83 0.83 2/54 3041
Raw data (stat): 3041 (Pueblo-v2) R 3040 20224 20223 0 -1 0 2770 0 0 0 17996 7 0 0 25 0 1 0 847337822 16818176 2718 4294967295 134512640 134581267 3221224576 3221223504 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4106 2718 566 18 0 4088 0
vsize: 16424
[startup+190.013 s]
Raw data (loadavg): 1.00 0.84 0.83 2/54 3041
Raw data (stat): 3041 (Pueblo-v2) R 3040 20224 20223 0 -1 0 2883 0 0 0 18996 7 0 0 25 0 1 0 847337822 17326080 2831 4294967295 134512640 134581267 3221224576 3221223504 134520084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4230 2831 566 18 0 4212 0
vsize: 16920
[startup+200.013 s]
Raw data (loadavg): 1.00 0.84 0.83 2/54 3041
Raw data (stat): 3041 (Pueblo-v2) R 3040 20224 20223 0 -1 0 2915 0 0 0 19996 7 0 0 25 0 1 0 847337822 17453056 2863 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4261 2863 566 18 0 4243 0
vsize: 17044
[startup+210.022 s]
Raw data (loadavg): 1.00 0.85 0.83 2/54 3041
Raw data (stat): 3041 (Pueblo-v2) R 3040 20224 20223 0 -1 0 2915 0 0 0 20997 7 0 0 25 0 1 0 847337822 17453056 2863 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4261 2863 566 18 0 4243 0
vsize: 17044
[startup+220.03 s]
Raw data (loadavg): 1.00 0.85 0.83 2/54 3041
Raw data (stat): 3041 (Pueblo-v2) R 3040 20224 20223 0 -1 0 2915 0 0 0 21998 7 0 0 25 0 1 0 847337822 17346560 2847 4294967295 134512640 134581267 3221224576 3221223504 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4235 2847 566 18 0 4217 0
vsize: 16940
[startup+230.03 s]
Raw data (loadavg): 1.00 0.86 0.83 2/54 3041
Raw data (stat): 3041 (Pueblo-v2) R 3040 20224 20223 0 -1 0 2915 0 0 0 22998 7 0 0 25 0 1 0 847337822 17346560 2847 4294967295 134512640 134581267 3221224576 3221223552 134561057 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4235 2847 566 18 0 4217 0
vsize: 16940
[startup+240.03 s]
Raw data (loadavg): 1.00 0.86 0.83 2/54 3041
Raw data (stat): 3041 (Pueblo-v2) R 3040 20224 20223 0 -1 0 2915 0 0 0 23998 7 0 0 25 0 1 0 847337822 17346560 2847 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4235 2847 566 18 0 4217 0
vsize: 16940
[startup+250.029 s]
Raw data (loadavg): 1.00 0.86 0.83 2/54 3041
Raw data (stat): 3041 (Pueblo-v2) R 3040 20224 20223 0 -1 0 3084 0 0 0 24997 8 0 0 25 0 1 0 847337822 18120704 3016 4294967295 134512640 134581267 3221224576 3221223440 134560341 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4424 3016 566 18 0 4406 0
vsize: 17696
[startup+260.03 s]
Raw data (loadavg): 1.00 0.87 0.83 2/54 3041
Raw data (stat): 3041 (Pueblo-v2) R 3040 20224 20223 0 -1 0 3106 0 0 0 25998 8 0 0 25 0 1 0 847337822 18251776 3038 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4456 3038 566 18 0 4438 0
vsize: 17824
[startup+270.03 s]
Raw data (loadavg): 1.00 0.87 0.83 2/54 3041
Raw data (stat): 3041 (Pueblo-v2) R 3040 20224 20223 0 -1 0 3106 0 0 0 26998 8 0 0 25 0 1 0 847337822 18247680 3038 4294967295 134512640 134581267 3221224576 3221223504 134520076 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4455 3038 566 18 0 4437 0
vsize: 17820
[startup+280.03 s]
Raw data (loadavg): 1.00 0.88 0.83 2/54 3041
Raw data (stat): 3041 (Pueblo-v2) R 3040 20224 20223 0 -1 0 3222 0 0 0 27998 8 0 0 25 0 1 0 847337822 18632704 3154 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4549 3154 566 18 0 4531 0
vsize: 18196
[startup+290.031 s]
Raw data (loadavg): 1.00 0.88 0.84 2/54 3041
Raw data (stat): 3041 (Pueblo-v2) R 3040 20224 20223 0 -1 0 3292 0 0 0 28998 8 0 0 25 0 1 0 847337822 18890752 3224 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4612 3224 566 18 0 4594 0
vsize: 18448
[startup+300.031 s]
Raw data (loadavg): 1.00 0.88 0.84 2/54 3041
Raw data (stat): 3041 (Pueblo-v2) R 3040 20224 20223 0 -1 0 3388 0 0 0 29998 8 0 0 25 0 1 0 847337822 19406848 3320 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4738 3320 566 18 0 4720 0
vsize: 18952
[startup+310.032 s]
Raw data (loadavg): 1.00 0.89 0.84 2/54 3041
Raw data (stat): 3041 (Pueblo-v2) R 3040 20224 20223 0 -1 0 3415 0 0 0 30998 8 0 0 25 0 1 0 847337822 19406848 3347 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4738 3347 566 18 0 4720 0
vsize: 18952
[startup+320.031 s]
Raw data (loadavg): 1.00 0.89 0.84 2/54 3041
Raw data (stat): 3041 (Pueblo-v2) R 3040 20224 20223 0 -1 0 3434 0 0 0 31998 8 0 0 25 0 1 0 847337822 19537920 3366 4294967295 134512640 134581267 3221224576 3221223472 134517900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4770 3366 566 18 0 4752 0
vsize: 19080
[startup+330.032 s]
Raw data (loadavg): 1.00 0.89 0.84 2/54 3041
Raw data (stat): 3041 (Pueblo-v2) R 3040 20224 20223 0 -1 0 3434 0 0 0 32998 8 0 0 25 0 1 0 847337822 19505152 3366 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4762 3366 566 18 0 4744 0
vsize: 19048
[startup+340.033 s]
Raw data (loadavg): 1.00 0.90 0.84 2/54 3041
Raw data (stat): 3041 (Pueblo-v2) R 3040 20224 20223 0 -1 0 3434 0 0 0 33999 8 0 0 25 0 1 0 847337822 19456000 3362 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4750 3362 566 18 0 4732 0
vsize: 19000
[startup+350.032 s]
Raw data (loadavg): 1.00 0.90 0.84 2/54 3041
Raw data (stat): 3041 (Pueblo-v2) R 3040 20224 20223 0 -1 0 3434 0 0 0 34999 8 0 0 25 0 1 0 847337822 19451904 3361 4294967295 134512640 134581267 3221224576 3221223504 134519947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4749 3361 566 18 0 4731 0
vsize: 18996
[startup+360.033 s]
Raw data (loadavg): 1.00 0.90 0.84 2/54 3041
Raw data (stat): 3041 (Pueblo-v2) R 3040 20224 20223 0 -1 0 3434 0 0 0 35999 8 0 0 25 0 1 0 847337822 19451904 3361 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4749 3361 566 18 0 4731 0
vsize: 18996
[startup+370.033 s]
Raw data (loadavg): 1.00 0.90 0.84 2/54 3041
Raw data (stat): 3041 (Pueblo-v2) R 3040 20224 20223 0 -1 0 3434 0 0 0 36999 8 0 0 25 0 1 0 847337822 19451904 3361 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4749 3361 566 18 0 4731 0
vsize: 18996
[startup+380.033 s]
Raw data (loadavg): 1.00 0.91 0.84 2/54 3041
Raw data (stat): 3041 (Pueblo-v2) R 3040 20224 20223 0 -1 0 3434 0 0 0 37999 9 0 0 25 0 1 0 847337822 19451904 3361 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4749 3361 566 18 0 4731 0
vsize: 18996
[startup+390.033 s]
Raw data (loadavg): 1.00 0.91 0.85 2/54 3041
Raw data (stat): 3041 (Pueblo-v2) R 3040 20224 20223 0 -1 0 3439 0 0 0 38999 9 0 0 25 0 1 0 847337822 19582976 3366 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4781 3366 566 18 0 4763 0
vsize: 19124
[startup+400.033 s]
Raw data (loadavg): 1.00 0.91 0.85 2/54 3041
Raw data (stat): 3041 (Pueblo-v2) R 3040 20224 20223 0 -1 0 3439 0 0 0 40000 9 0 0 25 0 1 0 847337822 19451904 3361 4294967295 134512640 134581267 3221224576 3221223504 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4749 3361 566 18 0 4731 0
vsize: 18996
[startup+410.033 s]
Raw data (loadavg): 1.00 0.91 0.85 2/54 3041
Raw data (stat): 3041 (Pueblo-v2) R 3040 20224 20223 0 -1 0 3439 0 0 0 41000 9 0 0 25 0 1 0 847337822 19451904 3361 4294967295 134512640 134581267 3221224576 3221223456 134520219 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4749 3361 566 18 0 4731 0
vsize: 18996
[startup+420.033 s]
Raw data (loadavg): 1.00 0.92 0.85 2/54 3041
Raw data (stat): 3041 (Pueblo-v2) R 3040 20224 20223 0 -1 0 3470 0 0 0 42000 9 0 0 25 0 1 0 847337822 19587072 3392 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4782 3392 566 18 0 4764 0
vsize: 19128
[startup+430.033 s]
Raw data (loadavg): 1.00 0.92 0.85 2/54 3041
Raw data (stat): 3041 (Pueblo-v2) R 3040 20224 20223 0 -1 0 3526 0 0 0 43000 9 0 0 25 0 1 0 847337822 19849216 3448 4294967295 134512640 134581267 3221224576 3221223472 134517868 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4846 3448 566 18 0 4828 0
vsize: 19384
[startup+440.033 s]
Raw data (loadavg): 1.00 0.92 0.85 2/54 3041
Raw data (stat): 3041 (Pueblo-v2) R 3040 20224 20223 0 -1 0 3526 0 0 0 44000 9 0 0 25 0 1 0 847337822 19849216 3448 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4846 3448 566 18 0 4828 0
vsize: 19384
[startup+450.033 s]
Raw data (loadavg): 1.00 0.92 0.85 2/54 3041
Raw data (stat): 3041 (Pueblo-v2) R 3040 20224 20223 0 -1 0 3552 0 0 0 45000 9 0 0 25 0 1 0 847337822 19976192 3474 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4877 3474 566 18 0 4859 0
vsize: 19508
[startup+460.034 s]
Raw data (loadavg): 1.00 0.92 0.85 2/54 3041
Raw data (stat): 3041 (Pueblo-v2) R 3040 20224 20223 0 -1 0 3638 0 0 0 46000 9 0 0 25 0 1 0 847337822 20312064 3560 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4959 3560 566 18 0 4941 0
vsize: 19836
[startup+470.035 s]
Raw data (loadavg): 1.00 0.93 0.85 2/54 3041
Raw data (stat): 3041 (Pueblo-v2) R 3040 20224 20223 0 -1 0 3638 0 0 0 47000 9 0 0 25 0 1 0 847337822 20127744 3526 4294967295 134512640 134581267 3221224576 3221223504 134519931 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4914 3526 566 18 0 4896 0
vsize: 19656
[startup+480.034 s]
Raw data (loadavg): 1.00 0.93 0.85 2/54 3041
Raw data (stat): 3041 (Pueblo-v2) R 3040 20224 20223 0 -1 0 3638 0 0 0 48001 9 0 0 25 0 1 0 847337822 20127744 3526 4294967295 134512640 134581267 3221224576 3221223520 134559425 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4914 3526 566 18 0 4896 0
vsize: 19656
[startup+490.034 s]
Raw data (loadavg): 1.00 0.93 0.86 2/54 3041
Raw data (stat): 3041 (Pueblo-v2) R 3040 20224 20223 0 -1 0 3638 0 0 0 49001 9 0 0 25 0 1 0 847337822 20127744 3526 4294967295 134512640 134581267 3221224576 3221223504 134520046 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4914 3526 566 18 0 4896 0
vsize: 19656
[startup+500.034 s]
Raw data (loadavg): 1.00 0.93 0.86 2/54 3041
Raw data (stat): 3041 (Pueblo-v2) R 3040 20224 20223 0 -1 0 3638 0 0 0 50001 9 0 0 25 0 1 0 847337822 20127744 3526 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4914 3526 566 18 0 4896 0
vsize: 19656
[startup+510.035 s]
Raw data (loadavg): 1.00 0.93 0.86 2/54 3041
Raw data (stat): 3041 (Pueblo-v2) R 3040 20224 20223 0 -1 0 3638 0 0 0 51001 9 0 0 25 0 1 0 847337822 20127744 3526 4294967295 134512640 134581267 3221224576 3221223504 134519947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4914 3526 566 18 0 4896 0
vsize: 19656
[startup+520.035 s]
Raw data (loadavg): 1.00 0.94 0.86 2/54 3041
Raw data (stat): 3041 (Pueblo-v2) R 3040 20224 20223 0 -1 0 3638 0 0 0 52001 9 0 0 25 0 1 0 847337822 20127744 3526 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4914 3526 566 18 0 4896 0
vsize: 19656
[startup+530.035 s]
Raw data (loadavg): 1.00 0.94 0.86 2/54 3041
Raw data (stat): 3041 (Pueblo-v2) R 3040 20224 20223 0 -1 0 3638 0 0 0 53001 9 0 0 25 0 1 0 847337822 20127744 3526 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4914 3526 566 18 0 4896 0
vsize: 19656
[startup+540.036 s]
Raw data (loadavg): 1.00 0.94 0.86 2/54 3041
Raw data (stat): 3041 (Pueblo-v2) R 3040 20224 20223 0 -1 0 3638 0 0 0 54001 9 0 0 25 0 1 0 847337822 20127744 3526 4294967295 134512640 134581267 3221224576 3221223504 134519829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4914 3526 566 18 0 4896 0
vsize: 19656
[startup+550.035 s]
Raw data (loadavg): 1.00 0.94 0.86 2/54 3041
Raw data (stat): 3041 (Pueblo-v2) R 3040 20224 20223 0 -1 0 3638 0 0 0 55002 9 0 0 25 0 1 0 847337822 20127744 3526 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4914 3526 566 18 0 4896 0
vsize: 19656
[startup+560.036 s]
Raw data (loadavg): 1.00 0.94 0.86 2/54 3041
Raw data (stat): 3041 (Pueblo-v2) R 3040 20224 20223 0 -1 0 3638 0 0 0 56002 9 0 0 25 0 1 0 847337822 20127744 3526 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4914 3526 566 18 0 4896 0
vsize: 19656
[startup+570.037 s]
Raw data (loadavg): 1.00 0.94 0.86 2/54 3041
Raw data (stat): 3041 (Pueblo-v2) R 3040 20224 20223 0 -1 0 3638 0 0 0 57002 9 0 0 25 0 1 0 847337822 20127744 3526 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4914 3526 566 18 0 4896 0
vsize: 19656
[startup+580.037 s]
Raw data (loadavg): 1.00 0.94 0.86 2/54 3041
Raw data (stat): 3041 (Pueblo-v2) R 3040 20224 20223 0 -1 0 3638 0 0 0 58002 9 0 0 25 0 1 0 847337822 20127744 3526 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4914 3526 566 18 0 4896 0
vsize: 19656
[startup+590.038 s]
Raw data (loadavg): 1.00 0.95 0.87 2/54 3041
Raw data (stat): 3041 (Pueblo-v2) R 3040 20224 20223 0 -1 0 3638 0 0 0 59003 9 0 0 25 0 1 0 847337822 20127744 3526 4294967295 134512640 134581267 3221224576 3221223488 134531369 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4914 3526 566 18 0 4896 0
vsize: 19656
[startup+600.038 s]
Raw data (loadavg): 1.00 0.95 0.87 2/54 3041
Raw data (stat): 3041 (Pueblo-v2) R 3040 20224 20223 0 -1 0 3638 0 0 0 60003 9 0 0 25 0 1 0 847337822 20127744 3526 4294967295 134512640 134581267 3221224576 3221223488 134527695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4914 3526 566 18 0 4896 0
vsize: 19656
[startup+610.039 s]
Raw data (loadavg): 1.00 0.95 0.87 2/54 3041
Raw data (stat): 3041 (Pueblo-v2) R 3040 20224 20223 0 -1 0 3638 0 0 0 61003 9 0 0 25 0 1 0 847337822 20127744 3526 4294967295 134512640 134581267 3221224576 3221223504 134520076 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4914 3526 566 18 0 4896 0
vsize: 19656
[startup+620.039 s]
Raw data (loadavg): 1.00 0.95 0.87 2/54 3041
Raw data (stat): 3041 (Pueblo-v2) R 3040 20224 20223 0 -1 0 3950 0 0 0 62003 10 0 0 25 0 1 0 847337822 21434368 3838 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5233 3838 566 18 0 5215 0
vsize: 20932
[startup+630.038 s]
Raw data (loadavg): 1.00 0.95 0.87 2/54 3041
Raw data (stat): 3041 (Pueblo-v2) R 3040 20224 20223 0 -1 0 4054 0 0 0 63003 10 0 0 25 0 1 0 847337822 21958656 3942 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5361 3942 566 18 0 5343 0
vsize: 21444
[startup+640.04 s]
Raw data (loadavg): 1.00 0.95 0.87 2/54 3041
Raw data (stat): 3041 (Pueblo-v2) R 3040 20224 20223 0 -1 0 4054 0 0 0 64002 10 0 0 25 0 1 0 847337822 21958656 3942 4294967295 134512640 134581267 3221224576 3221223504 134520084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5361 3942 566 18 0 5343 0
vsize: 21444
[startup+650.039 s]
Raw data (loadavg): 1.00 0.95 0.87 2/54 3041
Raw data (stat): 3041 (Pueblo-v2) R 3040 20224 20223 0 -1 0 4092 0 0 0 65002 10 0 0 25 0 1 0 847337822 22085632 3980 4294967295 134512640 134581267 3221224576 3221223472 134517514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5392 3980 566 18 0 5374 0
vsize: 21568
[startup+660.04 s]
Raw data (loadavg): 1.00 0.95 0.87 2/54 3041
Raw data (stat): 3041 (Pueblo-v2) R 3040 20224 20223 0 -1 0 4092 0 0 0 66003 10 0 0 25 0 1 0 847337822 22085632 3980 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5392 3980 566 18 0 5374 0
vsize: 21568
[startup+670.04 s]
Raw data (loadavg): 1.00 0.95 0.87 2/54 3041
Raw data (stat): 3041 (Pueblo-v2) R 3040 20224 20223 0 -1 0 4092 0 0 0 67003 11 0 0 25 0 1 0 847337822 22085632 3980 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5392 3980 566 18 0 5374 0
vsize: 21568
[startup+680.04 s]
Raw data (loadavg): 1.00 0.95 0.87 2/54 3041
Raw data (stat): 3041 (Pueblo-v2) R 3040 20224 20223 0 -1 0 4148 0 0 0 68002 11 0 0 25 0 1 0 847337822 22351872 4036 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5457 4036 566 18 0 5439 0
vsize: 21828
[startup+690.04 s]
Raw data (loadavg): 1.00 0.96 0.87 2/54 3041
Raw data (stat): 3041 (Pueblo-v2) R 3040 20224 20223 0 -1 0 4257 0 0 0 69002 11 0 0 25 0 1 0 847337822 22732800 4145 4294967295 134512640 134581267 3221224576 3221223472 134517756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5550 4145 566 18 0 5532 0
vsize: 22200
[startup+700.04 s]
Raw data (loadavg): 1.00 0.96 0.88 2/54 3041
Raw data (stat): 3041 (Pueblo-v2) R 3040 20224 20223 0 -1 0 4257 0 0 0 70002 11 0 0 25 0 1 0 847337822 22732800 4145 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5550 4145 566 18 0 5532 0
vsize: 22200
[startup+710.039 s]
Raw data (loadavg): 1.00 0.96 0.88 2/54 3041
Raw data (stat): 3041 (Pueblo-v2) R 3040 20224 20223 0 -1 0 4257 0 0 0 71002 11 0 0 25 0 1 0 847337822 22732800 4145 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5550 4145 566 18 0 5532 0
vsize: 22200
[startup+720.039 s]
Raw data (loadavg): 1.00 0.96 0.88 2/54 3041
Raw data (stat): 3041 (Pueblo-v2) R 3040 20224 20223 0 -1 0 4266 0 0 0 72002 12 0 0 25 0 1 0 847337822 22732800 4154 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5550 4154 566 18 0 5532 0
vsize: 22200
[startup+730.039 s]
Raw data (loadavg): 1.00 0.96 0.88 2/54 3041
Raw data (stat): 3041 (Pueblo-v2) R 3040 20224 20223 0 -1 0 4308 0 0 0 73002 12 0 0 25 0 1 0 847337822 22994944 4196 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5614 4196 566 18 0 5596 0
vsize: 22456
[startup+740.039 s]
Raw data (loadavg): 1.00 0.96 0.88 2/54 3041
Raw data (stat): 3041 (Pueblo-v2) R 3040 20224 20223 0 -1 0 4308 0 0 0 74003 12 0 0 25 0 1 0 847337822 22990848 4196 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5613 4196 566 18 0 5595 0
vsize: 22452
[startup+750.039 s]
Raw data (loadavg): 1.00 0.96 0.88 2/54 3041
Raw data (stat): 3041 (Pueblo-v2) R 3040 20224 20223 0 -1 0 4308 0 0 0 75003 12 0 0 25 0 1 0 847337822 22958080 4196 4294967295 134512640 134581267 3221224576 3221223520 134558865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5605 4196 566 18 0 5587 0
vsize: 22420
[startup+760.039 s]
Raw data (loadavg): 1.00 0.96 0.88 2/54 3041
Raw data (stat): 3041 (Pueblo-v2) R 3040 20224 20223 0 -1 0 4308 0 0 0 76003 12 0 0 25 0 1 0 847337822 22949888 4196 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5603 4196 566 18 0 5585 0
vsize: 22412
[startup+770.038 s]
Raw data (loadavg): 1.00 0.96 0.88 2/54 3041
Raw data (stat): 3041 (Pueblo-v2) R 3040 20224 20223 0 -1 0 4308 0 0 0 77003 12 0 0 25 0 1 0 847337822 22949888 4196 4294967295 134512640 134581267 3221224576 3221223472 134517900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5603 4196 566 18 0 5585 0
vsize: 22412
[startup+780.038 s]
Raw data (loadavg): 1.00 0.96 0.88 2/54 3041
Raw data (stat): 3041 (Pueblo-v2) R 3040 20224 20223 0 -1 0 4308 0 0 0 78003 12 0 0 25 0 1 0 847337822 22949888 4196 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5603 4196 566 18 0 5585 0
vsize: 22412
[startup+790.038 s]
Raw data (loadavg): 1.00 0.97 0.88 2/54 3041
Raw data (stat): 3041 (Pueblo-v2) R 3040 20224 20223 0 -1 0 4308 0 0 0 79003 12 0 0 25 0 1 0 847337822 22949888 4196 4294967295 134512640 134581267 3221224576 3221223504 134519958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5603 4196 566 18 0 5585 0
vsize: 22412
[startup+800.038 s]
Raw data (loadavg): 1.00 0.97 0.89 2/54 3041
Raw data (stat): 3041 (Pueblo-v2) R 3040 20224 20223 0 -1 0 4308 0 0 0 80003 12 0 0 25 0 1 0 847337822 22949888 4196 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5603 4196 566 18 0 5585 0
vsize: 22412
[startup+810.038 s]
Raw data (loadavg): 1.00 0.97 0.89 2/54 3041
Raw data (stat): 3041 (Pueblo-v2) R 3040 20224 20223 0 -1 0 4308 0 0 0 81003 12 0 0 25 0 1 0 847337822 22949888 4196 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5603 4196 566 18 0 5585 0
vsize: 22412
[startup+820.039 s]
Raw data (loadavg): 1.00 0.97 0.89 2/54 3041
Raw data (stat): 3041 (Pueblo-v2) R 3040 20224 20223 0 -1 0 4308 0 0 0 82004 12 0 0 25 0 1 0 847337822 22949888 4196 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5603 4196 566 18 0 5585 0
vsize: 22412
[startup+830.039 s]
Raw data (loadavg): 1.00 0.97 0.89 2/54 3041
Raw data (stat): 3041 (Pueblo-v2) R 3040 20224 20223 0 -1 0 4308 0 0 0 83004 12 0 0 25 0 1 0 847337822 22949888 4196 4294967295 134512640 134581267 3221224576 3221223520 134558872 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5603 4196 566 18 0 5585 0
vsize: 22412
[startup+840.038 s]
Raw data (loadavg): 1.00 0.97 0.89 2/54 3041
Raw data (stat): 3041 (Pueblo-v2) R 3040 20224 20223 0 -1 0 4333 0 0 0 84004 12 0 0 25 0 1 0 847337822 23080960 4221 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5635 4221 566 18 0 5617 0
vsize: 22540
[startup+850.038 s]
Raw data (loadavg): 1.00 0.97 0.89 2/54 3041
Raw data (stat): 3041 (Pueblo-v2) R 3040 20224 20223 0 -1 0 4333 0 0 0 85004 12 0 0 25 0 1 0 847337822 23080960 4221 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5635 4221 566 18 0 5617 0
vsize: 22540
[startup+860.038 s]
Raw data (loadavg): 1.00 0.97 0.89 2/54 3041
Raw data (stat): 3041 (Pueblo-v2) R 3040 20224 20223 0 -1 0 4333 0 0 0 86004 12 0 0 25 0 1 0 847337822 23080960 4221 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5635 4221 566 18 0 5617 0
vsize: 22540
[startup+870.038 s]
Raw data (loadavg): 1.00 0.97 0.89 2/54 3041
Raw data (stat): 3041 (Pueblo-v2) R 3040 20224 20223 0 -1 0 4333 0 0 0 87004 12 0 0 25 0 1 0 847337822 23080960 4221 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5635 4221 566 18 0 5617 0
vsize: 22540
[startup+880.038 s]
Raw data (loadavg): 1.00 0.97 0.89 2/54 3041
Raw data (stat): 3041 (Pueblo-v2) R 3040 20224 20223 0 -1 0 4333 0 0 0 88004 12 0 0 25 0 1 0 847337822 23080960 4221 4294967295 134512640 134581267 3221224576 3221223504 134519958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5635 4221 566 18 0 5617 0
vsize: 22540
[startup+890.039 s]
Raw data (loadavg): 1.00 0.97 0.89 2/54 3041
Raw data (stat): 3041 (Pueblo-v2) R 3040 20224 20223 0 -1 0 4347 0 0 0 89004 12 0 0 25 0 1 0 847337822 23080960 4235 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5635 4235 566 18 0 5617 0
vsize: 22540
[startup+900.039 s]
Raw data (loadavg): 1.00 0.97 0.90 2/54 3041
Raw data (stat): 3041 (Pueblo-v2) R 3040 20224 20223 0 -1 0 4347 0 0 0 90005 12 0 0 25 0 1 0 847337822 23080960 4235 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5635 4235 566 18 0 5617 0
vsize: 22540
[startup+910.038 s]
Raw data (loadavg): 1.00 0.97 0.90 2/54 3041
Raw data (stat): 3041 (Pueblo-v2) R 3040 20224 20223 0 -1 0 4347 0 0 0 91005 12 0 0 25 0 1 0 847337822 23080960 4235 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5635 4235 566 18 0 5617 0
vsize: 22540
[startup+920.039 s]
Raw data (loadavg): 1.00 0.97 0.90 2/54 3041
Raw data (stat): 3041 (Pueblo-v2) R 3040 20224 20223 0 -1 0 4347 0 0 0 92005 12 0 0 25 0 1 0 847337822 23080960 4235 4294967295 134512640 134581267 3221224576 3221223504 134520084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5635 4235 566 18 0 5617 0
vsize: 22540
[startup+930.039 s]
Raw data (loadavg): 1.00 0.97 0.90 2/54 3041
Raw data (stat): 3041 (Pueblo-v2) R 3040 20224 20223 0 -1 0 4347 0 0 0 93005 12 0 0 25 0 1 0 847337822 23080960 4235 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5635 4235 566 18 0 5617 0
vsize: 22540
[startup+940.039 s]
Raw data (loadavg): 1.00 0.97 0.90 2/54 3041
Raw data (stat): 3041 (Pueblo-v2) R 3040 20224 20223 0 -1 0 4347 0 0 0 94005 12 0 0 25 0 1 0 847337822 23080960 4235 4294967295 134512640 134581267 3221224576 3221223472 134517871 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5635 4235 566 18 0 5617 0
vsize: 22540
[startup+950.04 s]
Raw data (loadavg): 1.00 0.97 0.90 2/54 3041
Raw data (stat): 3041 (Pueblo-v2) R 3040 20224 20223 0 -1 0 4347 0 0 0 95005 12 0 0 25 0 1 0 847337822 23080960 4235 4294967295 134512640 134581267 3221224576 3221223472 134517868 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5635 4235 566 18 0 5617 0
vsize: 22540
[startup+960.04 s]
Raw data (loadavg): 1.00 0.97 0.90 2/54 3041
Raw data (stat): 3041 (Pueblo-v2) R 3040 20224 20223 0 -1 0 4347 0 0 0 96006 12 0 0 25 0 1 0 847337822 23080960 4235 4294967295 134512640 134581267 3221224576 3221223456 134520302 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5635 4235 566 18 0 5617 0
vsize: 22540
[startup+970.041 s]
Raw data (loadavg): 1.00 0.97 0.90 2/54 3041
Raw data (stat): 3041 (Pueblo-v2) R 3040 20224 20223 0 -1 0 4347 0 0 0 97006 12 0 0 25 0 1 0 847337822 23080960 4235 4294967295 134512640 134581267 3221224576 3221223504 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5635 4235 566 18 0 5617 0
vsize: 22540
[startup+980.04 s]
Raw data (loadavg): 1.00 0.97 0.90 2/54 3041
Raw data (stat): 3041 (Pueblo-v2) R 3040 20224 20223 0 -1 0 4347 0 0 0 98006 12 0 0 25 0 1 0 847337822 23080960 4235 4294967295 134512640 134581267 3221224576 3221223504 134520076 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5635 4235 566 18 0 5617 0
vsize: 22540
[startup+990.042 s]
Raw data (loadavg): 1.00 0.97 0.90 2/54 3041
Raw data (stat): 3041 (Pueblo-v2) R 3040 20224 20223 0 -1 0 4347 0 0 0 99006 12 0 0 25 0 1 0 847337822 23080960 4235 4294967295 134512640 134581267 3221224576 3221223504 134519947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5635 4235 566 18 0 5617 0
vsize: 22540
[startup+1000.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3041
Raw data (stat): 3041 (Pueblo-v2) R 3040 20224 20223 0 -1 0 4347 0 0 0 100006 12 0 0 25 0 1 0 847337822 23080960 4235 4294967295 134512640 134581267 3221224576 3221223648 134531380 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5635 4235 566 18 0 5617 0
vsize: 22540
[startup+1010.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3041
Raw data (stat): 3041 (Pueblo-v2) R 3040 20224 20223 0 -1 0 4347 0 0 0 101006 12 0 0 25 0 1 0 847337822 23080960 4235 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5635 4235 566 18 0 5617 0
vsize: 22540
[startup+1020.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3041
Raw data (stat): 3041 (Pueblo-v2) R 3040 20224 20223 0 -1 0 4347 0 0 0 102007 12 0 0 25 0 1 0 847337822 23080960 4235 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5635 4235 566 18 0 5617 0
vsize: 22540
[startup+1030.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3041
Raw data (stat): 3041 (Pueblo-v2) R 3040 20224 20223 0 -1 0 4347 0 0 0 103007 12 0 0 25 0 1 0 847337822 23080960 4235 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5635 4235 566 18 0 5617 0
vsize: 22540
[startup+1040.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3041
Raw data (stat): 3041 (Pueblo-v2) R 3040 20224 20223 0 -1 0 4347 0 0 0 104007 12 0 0 25 0 1 0 847337822 23080960 4235 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5635 4235 566 18 0 5617 0
vsize: 22540
[startup+1050.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3041
Raw data (stat): 3041 (Pueblo-v2) R 3040 20224 20223 0 -1 0 4347 0 0 0 105007 12 0 0 25 0 1 0 847337822 23080960 4235 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5635 4235 566 18 0 5617 0
vsize: 22540
[startup+1060.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3041
Raw data (stat): 3041 (Pueblo-v2) R 3040 20224 20223 0 -1 0 4347 0 0 0 106007 12 0 0 25 0 1 0 847337822 23080960 4235 4294967295 134512640 134581267 3221224576 3221223472 134517871 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5635 4235 566 18 0 5617 0
vsize: 22540
[startup+1070.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3041
Raw data (stat): 3041 (Pueblo-v2) R 3040 20224 20223 0 -1 0 4347 0 0 0 107007 12 0 0 25 0 1 0 847337822 23080960 4235 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5635 4235 566 18 0 5617 0
vsize: 22540
[startup+1080.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3041
Raw data (stat): 3041 (Pueblo-v2) R 3040 20224 20223 0 -1 0 4347 0 0 0 108008 12 0 0 25 0 1 0 847337822 23080960 4235 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5635 4235 566 18 0 5617 0
vsize: 22540
[startup+1090.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3041
Raw data (stat): 3041 (Pueblo-v2) R 3040 20224 20223 0 -1 0 4347 0 0 0 109008 12 0 0 25 0 1 0 847337822 23080960 4235 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5635 4235 566 18 0 5617 0
vsize: 22540
[startup+1100.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3041
Raw data (stat): 3041 (Pueblo-v2) R 3040 20224 20223 0 -1 0 4347 0 0 0 110008 12 0 0 25 0 1 0 847337822 23080960 4235 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5635 4235 566 18 0 5617 0
vsize: 22540
[startup+1110.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3041
Raw data (stat): 3041 (Pueblo-v2) R 3040 20224 20223 0 -1 0 4347 0 0 0 111008 12 0 0 25 0 1 0 847337822 23080960 4235 4294967295 134512640 134581267 3221224576 3221223456 134520219 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5635 4235 566 18 0 5617 0
vsize: 22540
[startup+1120.08 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 3041
Raw data (stat): 3041 (Pueblo-v2) R 3040 20224 20223 0 -1 0 4347 0 0 0 112012 12 0 0 25 0 1 0 847337822 23080960 4235 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5635 4235 566 18 0 5617 0
vsize: 22540
[startup+1130.08 s]
Raw data (loadavg): 1.15 1.00 0.92 2/58 3084
Raw data (stat): 3041 (Pueblo-v2) R 3040 20224 20223 0 -1 0 4347 0 0 0 113012 13 0 0 25 0 1 0 847337822 23080960 4235 4294967295 134512640 134581267 3221224576 3221223504 134520109 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5635 4235 566 18 0 5617 0
vsize: 22540
[startup+1140.22 s]
Raw data (loadavg): 1.28 1.04 0.93 2/54 3094
Raw data (stat): 3041 (Pueblo-v2) R 3040 20224 20223 0 -1 0 4347 0 0 0 114026 13 0 0 25 0 1 0 847337822 23080960 4235 4294967295 134512640 134581267 3221224576 3221223536 134516726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5635 4235 566 18 0 5617 0
vsize: 22540
[startup+1150.25 s]
Raw data (loadavg): 1.24 1.03 0.93 2/54 3094
Raw data (stat): 3041 (Pueblo-v2) R 3040 20224 20223 0 -1 0 4347 0 0 0 115030 13 0 0 25 0 1 0 847337822 23080960 4235 4294967295 134512640 134581267 3221224576 3221223540 134519893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5635 4235 566 18 0 5617 0
vsize: 22540
[startup+1160.52 s]
Raw data (loadavg): 1.20 1.03 0.93 2/54 3094
Raw data (stat): 3041 (Pueblo-v2) R 3040 20224 20223 0 -1 0 4347 0 0 0 116056 13 0 0 25 0 1 0 847337822 23080960 4235 4294967295 134512640 134581267 3221224576 3221223472 134517525 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5635 4235 566 18 0 5617 0
vsize: 22540
[startup+1170.52 s]
Raw data (loadavg): 1.17 1.03 0.93 2/54 3094
Raw data (stat): 3041 (Pueblo-v2) R 3040 20224 20223 0 -1 0 4347 0 0 0 117056 13 0 0 25 0 1 0 847337822 23080960 4235 4294967295 134512640 134581267 3221224576 3221223540 134519780 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5635 4235 566 18 0 5617 0
vsize: 22540
[startup+1180.52 s]
Raw data (loadavg): 1.14 1.03 0.93 2/54 3094
Raw data (stat): 3041 (Pueblo-v2) R 3040 20224 20223 0 -1 0 4347 0 0 0 118056 13 0 0 25 0 1 0 847337822 23080960 4235 4294967295 134512640 134581267 3221224576 3221223504 134519896 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5635 4235 566 18 0 5617 0
vsize: 22540
[startup+1190.52 s]
Raw data (loadavg): 1.12 1.03 0.93 2/54 3094
Raw data (stat): 3041 (Pueblo-v2) R 3040 20224 20223 0 -1 0 4347 0 0 0 119057 13 0 0 25 0 1 0 847337822 23080960 4235 4294967295 134512640 134581267 3221224576 3221223568 134561040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5635 4235 566 18 0 5617 0
vsize: 22540
[startup+1200.52 s]
Raw data (loadavg): 1.10 1.03 0.93 2/54 3094
Raw data (stat): 3041 (Pueblo-v2) R 3040 20224 20223 0 -1 0 4347 0 0 0 120057 13 0 0 25 0 1 0 847337822 23080960 4235 4294967295 134512640 134581267 3221224576 3221223540 1075285608 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5635 4235 566 18 0 5617 0
vsize: 22540
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.53 s]
Raw data (loadavg): 1.10 1.03 0.93 1/54 3094
Raw data (stat): 3041 (Pueblo-v2) Z 3040 20224 20223 0 -1 1036 4347 0 0 0 120057 13 0 0 25 0 1 0 847337822 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.53
CPU time (s): 1200.71
CPU user time (s): 1200.57
CPU system time (s): 0.138978
CPU usage (%): 100.015
Max. virtual memory (Kb): 22540
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####