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/milp/normalized-mps-v2-13-7-neos5.opb
MD5SUM	4f5f6e30a602f3968daa9ca41c7da043
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	2058
Optimality of the best value was proved	NO
Number of terms in the objective function	133
Biggest coefficient in the objective function	128
Number of bits for the biggest coefficient in the objective function	8
Sum of the numbers in the objective function	9334
Number of bits of the sum of numbers in the objective function	14
Biggest number in a constraint	1024
Number of bits of the biggest number in a constraint	11
Biggest sum of numbers in a constraint	9334
Number of bits of the biggest sum of numbers	14
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.05284
Number of variables	133
Total number of constraints	126
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	56
Number of constraints which are nor clauses,nor cardinality constraints	70
Minimum length of a constraint	1
Maximum length of a constraint	81
Trace number 39326

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-03 03:40:52 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27389 boxname=wulflinc5 idbench=1517 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  4f5f6e30a602f3968daa9ca41c7da043  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-neos5.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-neos5.opb
IDLAUNCH: 27389
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        393472 kB
Buffers:         32968 kB
Cached:         584380 kB
SwapCached:        568 kB
Active:          39032 kB
Inactive:       580328 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        393220 kB
SwapTotal:     2097136 kB
SwapFree:      2095632 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5148 kB
Slab:            16184 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-03 04:00:41 (client local time) WITH STATUS 10 IN 1189.01 SECONDS
stats: 27389 0 1189.01 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Pueblo version 1.2 (Sept 2004)
c Developed @ University of Michigan, Ann Arbor, MI
c  by Hossein Sheini
c Solving: /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-neos5.opb
c #variables read: 133 - #constraints read: 127
s SATISFIABLE
v -d1_bit0 d2_bit0 d3_bit0 -d4_bit0 d5_bit0 -d6_bit0 -d7_bit0 -d8_bit0 d9_bit0 -d10_bit0 -d11_bit0 -d12_bit0 -d13_bit0 -d14_bit0 -d15_bit0 d16_bit0 d17_bit0 -d18_bit0 -d19_bit0 -d20_bit0 d21_bit0 -d22_bit0 -d23_bit0 -d24_bit0 -d25_bit0 -d26_bit0 d27_bit0 d28_bit0 -d29_bit0 -d30_bit0 -d31_bit0 -d32_bit0 d33_bit0 -d34_bit0 -d35_bit0 d36_bit0 -d37_bit0 -d38_bit0 -d39_bit0 -d40_bit0 -d41_bit0 d42_bit0 -d43_bit0 -d44_bit0 -d45_bit0 -d46_bit0 d47_bit0 -d48_bit0 -d49_bit0 -d50_bit0 -d51_bit0 -d52_bit0 -d53_bit0 -d54_bit_7 -d54_bit_6 -d54_bit_5 -d54_bit_4 -d54_bit_3 -d54_bit_2 -d54_bit_1 -d54_bit0 -d55_bit_7 -d55_bit_6 -d55_bit_5 -d55_bit_4 -d55_bit_3 -d55_bit_2 -d55_bit_1 d55_bit0 -d56_bit_7 -d56_bit_6 -d56_bit_5 -d56_bit_4 -d56_bit_3 -d56_bit_2 -d56_bit_1 d56_bit0 -d57_bit_7 -d57_bit_6 -d57_bit_5 -d57_bit_4 -d57_bit_3 -d57_bit_2 -d57_bit_1 -d57_bit0 -d58_bit_7 -d58_bit_6 -d58_bit_5 -d58_bit_4 -d58_bit_3 -d58_bit_2 -d58_bit_1 -d58_bit0 -d59_bit_7 -d59_bit_6 -d59_bit_5 -d59_bit_4 -d59_bit_3 -d59_bit_2 -d59_bit_1 d59_bit0 -d60_bit_7 -d60_bit_6 -d60_bit_5 -d60_bit_4 -d60_bit_3 -d60_bit_2 -d60_bit_1 -d60_bit0 -d61_bit_7 -d61_bit_6 -d61_bit_5 -d61_bit_4 -d61_bit_3 -d61_bit_2 -d61_bit_1 -d61_bit0 -d62_bit_7 -d62_bit_6 -d62_bit_5 -d62_bit_4 -d62_bit_3 -d62_bit_2 -d62_bit_1 d62_bit0 -d63_bit_7 -d63_bit_6 -d63_bit_5 -d63_bit_4 -d63_bit_3 -d63_bit_2 -d63_bit_1 -d63_bit0 
#### 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.76 0.92 0.91 2/54 17173
Raw data (stat): 17173 (runsolver) R 17172 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 855263716 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.0009 s]
Raw data (loadavg): 0.79 0.93 0.91 2/54 17173
Raw data (stat): 17173 (Pueblo-v2) R 17172 7266 7265 0 -1 0 335 0 0 0 987 11 0 0 25 0 1 0 855263716 6963200 309 4294967295 134512640 134581267 3221224576 3221223552 134561060 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1700 309 566 18 0 1682 0
vsize: 6800
[startup+20.0013 s]
Raw data (loadavg): 0.82 0.93 0.91 2/54 17173
Raw data (stat): 17173 (Pueblo-v2) R 17172 7266 7265 0 -1 0 340 0 0 0 1973 25 0 0 25 0 1 0 855263716 6963200 314 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1700 314 566 18 0 1682 0
vsize: 6800
[startup+30.0016 s]
Raw data (loadavg): 0.85 0.93 0.91 2/54 17173
Raw data (stat): 17173 (Pueblo-v2) R 17172 7266 7265 0 -1 0 343 0 0 0 2963 36 0 0 25 0 1 0 855263716 7090176 317 4294967295 134512640 134581267 3221224576 3221223440 134528226 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1731 317 566 18 0 1713 0
vsize: 6924
[startup+40.0017 s]
Raw data (loadavg): 0.87 0.93 0.91 2/54 17173
Raw data (stat): 17173 (Pueblo-v2) R 17172 7266 7265 0 -1 0 353 0 0 0 3950 49 0 0 25 0 1 0 855263716 7090176 327 4294967295 134512640 134581267 3221224576 3221223472 134517897 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1731 327 566 18 0 1713 0
vsize: 6924
[startup+50.0026 s]
Raw data (loadavg): 0.89 0.93 0.91 2/54 17173
Raw data (stat): 17173 (Pueblo-v2) R 17172 7266 7265 0 -1 0 353 0 0 0 4937 62 0 0 25 0 1 0 855263716 7090176 327 4294967295 134512640 134581267 3221224576 3221223536 1075289691 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1731 327 566 18 0 1713 0
vsize: 6924
[startup+60.0028 s]
Raw data (loadavg): 0.91 0.94 0.91 2/54 17173
Raw data (stat): 17173 (Pueblo-v2) R 17172 7266 7265 0 -1 0 353 0 0 0 5924 75 0 0 25 0 1 0 855263716 7090176 327 4294967295 134512640 134581267 3221224576 3221223488 134527464 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1731 327 566 18 0 1713 0
vsize: 6924
[startup+70.003 s]
Raw data (loadavg): 0.92 0.94 0.91 2/54 17173
Raw data (stat): 17173 (Pueblo-v2) R 17172 7266 7265 0 -1 0 363 0 0 0 6910 90 0 0 25 0 1 0 855263716 7090176 337 4294967295 134512640 134581267 3221224576 3221223440 134528243 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1731 337 566 18 0 1713 0
vsize: 6924
[startup+80.0037 s]
Raw data (loadavg): 0.93 0.94 0.91 2/54 17173
Raw data (stat): 17173 (Pueblo-v2) R 17172 7266 7265 0 -1 0 373 0 0 0 7896 104 0 0 25 0 1 0 855263716 7192576 347 4294967295 134512640 134581267 3221224576 3221223520 134558778 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1756 347 566 18 0 1738 0
vsize: 7024
[startup+90.0041 s]
Raw data (loadavg): 0.94 0.94 0.91 2/54 17173
Raw data (stat): 17173 (Pueblo-v2) R 17172 7266 7265 0 -1 0 373 0 0 0 8879 120 0 0 25 0 1 0 855263716 7192576 347 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1756 347 566 18 0 1738 0
vsize: 7024
[startup+100.004 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 17173
Raw data (stat): 17173 (Pueblo-v2) R 17172 7266 7265 0 -1 0 378 0 0 0 9871 129 0 0 25 0 1 0 855263716 7192576 352 4294967295 134512640 134581267 3221224576 3221223488 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1756 352 566 18 0 1738 0
vsize: 7024
[startup+110.005 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 17173
Raw data (stat): 17173 (Pueblo-v2) R 17172 7266 7265 0 -1 0 385 0 0 0 10866 134 0 0 25 0 1 0 855263716 7192576 359 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1756 359 566 18 0 1738 0
vsize: 7024
[startup+120.005 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 17173
Raw data (stat): 17173 (Pueblo-v2) R 17172 7266 7265 0 -1 0 388 0 0 0 11857 143 0 0 25 0 1 0 855263716 7192576 362 4294967295 134512640 134581267 3221224576 3221223488 134531384 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1756 362 566 18 0 1738 0
vsize: 7024
[startup+130.006 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 17173
Raw data (stat): 17173 (Pueblo-v2) R 17172 7266 7265 0 -1 0 394 0 0 0 12847 153 0 0 25 0 1 0 855263716 7192576 368 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1756 368 566 18 0 1738 0
vsize: 7024
[startup+140.007 s]
Raw data (loadavg): 1.05 0.96 0.92 2/54 17173
Raw data (stat): 17173 (Pueblo-v2) R 17172 7266 7265 0 -1 0 394 0 0 0 13836 164 0 0 25 0 1 0 855263716 7192576 368 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1756 368 566 18 0 1738 0
vsize: 7024
[startup+150.008 s]
Raw data (loadavg): 1.04 0.96 0.92 2/54 17173
Raw data (stat): 17173 (Pueblo-v2) R 17172 7266 7265 0 -1 0 396 0 0 0 14824 176 0 0 25 0 1 0 855263716 7192576 370 4294967295 134512640 134581267 3221224576 3221223520 134558775 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1756 370 566 18 0 1738 0
vsize: 7024
[startup+160.008 s]
Raw data (loadavg): 1.03 0.97 0.92 2/54 17173
Raw data (stat): 17173 (Pueblo-v2) R 17172 7266 7265 0 -1 0 396 0 0 0 15811 190 0 0 25 0 1 0 855263716 7192576 370 4294967295 134512640 134581267 3221224576 3221223520 134558815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1756 370 566 18 0 1738 0
vsize: 7024
[startup+170.007 s]
Raw data (loadavg): 1.03 0.97 0.92 2/54 17173
Raw data (stat): 17173 (Pueblo-v2) R 17172 7266 7265 0 -1 0 396 0 0 0 16796 205 0 0 25 0 1 0 855263716 7192576 370 4294967295 134512640 134581267 3221224576 3221223488 134527695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1756 370 566 18 0 1738 0
vsize: 7024
[startup+180.008 s]
Raw data (loadavg): 1.02 0.97 0.92 2/54 17173
Raw data (stat): 17173 (Pueblo-v2) R 17172 7266 7265 0 -1 0 396 0 0 0 17783 218 0 0 25 0 1 0 855263716 7192576 370 4294967295 134512640 134581267 3221224576 3221223440 134528216 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1756 370 566 18 0 1738 0
vsize: 7024
[startup+190.009 s]
Raw data (loadavg): 1.02 0.97 0.92 2/54 17173
Raw data (stat): 17173 (Pueblo-v2) R 17172 7266 7265 0 -1 0 397 0 0 0 18773 229 0 0 25 0 1 0 855263716 7192576 371 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1756 371 566 18 0 1738 0
vsize: 7024
[startup+200.017 s]
Raw data (loadavg): 1.02 0.97 0.92 2/54 17173
Raw data (stat): 17173 (Pueblo-v2) R 17172 7266 7265 0 -1 0 399 0 0 0 19759 243 0 0 25 0 1 0 855263716 7311360 373 4294967295 134512640 134581267 3221224576 3221223520 134558798 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1785 373 566 18 0 1767 0
vsize: 7140
[startup+210.017 s]
Raw data (loadavg): 1.01 0.97 0.92 2/54 17173
Raw data (stat): 17173 (Pueblo-v2) R 17172 7266 7265 0 -1 0 405 0 0 0 20748 254 0 0 25 0 1 0 855263716 7311360 379 4294967295 134512640 134581267 3221224576 3221223472 134517871 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1785 379 566 18 0 1767 0
vsize: 7140
[startup+220.018 s]
Raw data (loadavg): 1.01 0.97 0.92 2/54 17173
Raw data (stat): 17173 (Pueblo-v2) R 17172 7266 7265 0 -1 0 408 0 0 0 21738 265 0 0 25 0 1 0 855263716 7311360 382 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1785 382 566 18 0 1767 0
vsize: 7140
[startup+230.019 s]
Raw data (loadavg): 1.01 0.97 0.92 2/54 17173
Raw data (stat): 17173 (Pueblo-v2) R 17172 7266 7265 0 -1 0 408 0 0 0 22724 279 0 0 25 0 1 0 855263716 7311360 382 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1785 382 566 18 0 1767 0
vsize: 7140
[startup+240.019 s]
Raw data (loadavg): 1.01 0.97 0.92 2/54 17173
Raw data (stat): 17173 (Pueblo-v2) R 17172 7266 7265 0 -1 0 410 0 0 0 23713 289 0 0 25 0 1 0 855263716 7311360 384 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1785 384 566 18 0 1767 0
vsize: 7140
[startup+250.019 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 17173
Raw data (stat): 17173 (Pueblo-v2) R 17172 7266 7265 0 -1 0 410 0 0 0 24704 299 0 0 25 0 1 0 855263716 7311360 384 4294967295 134512640 134581267 3221224576 3221223520 134558912 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1785 384 566 18 0 1767 0
vsize: 7140
[startup+260.02 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 17173
Raw data (stat): 17173 (Pueblo-v2) R 17172 7266 7265 0 -1 0 411 0 0 0 25694 309 0 0 25 0 1 0 855263716 7311360 385 4294967295 134512640 134581267 3221224576 3221223440 134528346 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1785 385 566 18 0 1767 0
vsize: 7140
[startup+270.02 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 17173
Raw data (stat): 17173 (Pueblo-v2) R 17172 7266 7265 0 -1 0 411 0 0 0 26685 318 0 0 25 0 1 0 855263716 7311360 385 4294967295 134512640 134581267 3221224576 3221223488 134527440 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1785 385 566 18 0 1767 0
vsize: 7140
[startup+280.021 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 17173
Raw data (stat): 17173 (Pueblo-v2) R 17172 7266 7265 0 -1 0 419 0 0 0 27677 326 0 0 25 0 1 0 855263716 7311360 393 4294967295 134512640 134581267 3221224576 3221223472 134517885 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1785 393 566 18 0 1767 0
vsize: 7140
[startup+290.021 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 17173
Raw data (stat): 17173 (Pueblo-v2) R 17172 7266 7265 0 -1 0 423 0 0 0 28668 335 0 0 25 0 1 0 855263716 7311360 397 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1785 397 566 18 0 1767 0
vsize: 7140
[startup+300.021 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 17173
Raw data (stat): 17173 (Pueblo-v2) R 17172 7266 7265 0 -1 0 423 0 0 0 29661 343 0 0 25 0 1 0 855263716 7311360 397 4294967295 134512640 134581267 3221224576 3221223488 134527390 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1785 397 566 18 0 1767 0
vsize: 7140
[startup+310.021 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 17173
Raw data (stat): 17173 (Pueblo-v2) R 17172 7266 7265 0 -1 0 423 0 0 0 30652 351 0 0 25 0 1 0 855263716 7311360 397 4294967295 134512640 134581267 3221224576 3221223472 134517665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1785 397 566 18 0 1767 0
vsize: 7140
[startup+320.022 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 17173
Raw data (stat): 17173 (Pueblo-v2) R 17172 7266 7265 0 -1 0 423 0 0 0 31644 360 0 0 25 0 1 0 855263716 7311360 397 4294967295 134512640 134581267 3221224576 3221223504 134519947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1785 397 566 18 0 1767 0
vsize: 7140
[startup+330.022 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 17173
Raw data (stat): 17173 (Pueblo-v2) R 17172 7266 7265 0 -1 0 427 0 0 0 32636 367 0 0 25 0 1 0 855263716 7409664 401 4294967295 134512640 134581267 3221224576 3221223472 134517921 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1809 401 566 18 0 1791 0
vsize: 7236
[startup+340.022 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 17173
Raw data (stat): 17173 (Pueblo-v2) R 17172 7266 7265 0 -1 0 427 0 0 0 33628 376 0 0 25 0 1 0 855263716 7401472 401 4294967295 134512640 134581267 3221224576 3221223520 134558887 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1807 401 566 18 0 1789 0
vsize: 7228
[startup+350.022 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 17173
Raw data (stat): 17173 (Pueblo-v2) R 17172 7266 7265 0 -1 0 427 0 0 0 34619 385 0 0 25 0 1 0 855263716 7401472 401 4294967295 134512640 134581267 3221224576 3221223644 1075422326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1807 401 566 18 0 1789 0
vsize: 7228
[startup+360.022 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 17173
Raw data (stat): 17173 (Pueblo-v2) R 17172 7266 7265 0 -1 0 427 0 0 0 35611 393 0 0 25 0 1 0 855263716 7401472 401 4294967295 134512640 134581267 3221224576 3221223488 134527525 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1807 401 566 18 0 1789 0
vsize: 7228
[startup+370.022 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 17173
Raw data (stat): 17173 (Pueblo-v2) R 17172 7266 7265 0 -1 0 427 0 0 0 36603 401 0 0 25 0 1 0 855263716 7401472 401 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1807 401 566 18 0 1789 0
vsize: 7228
[startup+380.023 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 17173
Raw data (stat): 17173 (Pueblo-v2) R 17172 7266 7265 0 -1 0 427 0 0 0 37595 409 0 0 25 0 1 0 855263716 7401472 401 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1807 401 566 18 0 1789 0
vsize: 7228
[startup+390.023 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 17173
Raw data (stat): 17173 (Pueblo-v2) R 17172 7266 7265 0 -1 0 428 0 0 0 38588 417 0 0 25 0 1 0 855263716 7401472 402 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1807 402 566 18 0 1789 0
vsize: 7228
[startup+400.023 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 17173
Raw data (stat): 17173 (Pueblo-v2) R 17172 7266 7265 0 -1 0 428 0 0 0 39579 426 0 0 25 0 1 0 855263716 7401472 402 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1807 402 566 18 0 1789 0
vsize: 7228
[startup+410.024 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 17173
Raw data (stat): 17173 (Pueblo-v2) R 17172 7266 7265 0 -1 0 428 0 0 0 40567 437 0 0 25 0 1 0 855263716 7401472 402 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1807 402 566 18 0 1789 0
vsize: 7228
[startup+420.024 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 17173
Raw data (stat): 17173 (Pueblo-v2) R 17172 7266 7265 0 -1 0 428 0 0 0 41561 444 0 0 25 0 1 0 855263716 7401472 402 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1807 402 566 18 0 1789 0
vsize: 7228
[startup+430.025 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 17173
Raw data (stat): 17173 (Pueblo-v2) R 17172 7266 7265 0 -1 0 432 0 0 0 42548 457 0 0 25 0 1 0 855263716 7401472 406 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1807 406 566 18 0 1789 0
vsize: 7228
[startup+440.025 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 17173
Raw data (stat): 17173 (Pueblo-v2) R 17172 7266 7265 0 -1 0 432 0 0 0 43535 471 0 0 25 0 1 0 855263716 7401472 406 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1807 406 566 18 0 1789 0
vsize: 7228
[startup+450.024 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 17173
Raw data (stat): 17173 (Pueblo-v2) R 17172 7266 7265 0 -1 0 432 0 0 0 44521 485 0 0 25 0 1 0 855263716 7401472 406 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1807 406 566 18 0 1789 0
vsize: 7228
[startup+460.025 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 17173
Raw data (stat): 17173 (Pueblo-v2) R 17172 7266 7265 0 -1 0 432 0 0 0 45505 501 0 0 25 0 1 0 855263716 7401472 406 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1807 406 566 18 0 1789 0
vsize: 7228
[startup+470.025 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 17173
Raw data (stat): 17173 (Pueblo-v2) R 17172 7266 7265 0 -1 0 432 0 0 0 46490 516 0 0 25 0 1 0 855263716 7401472 406 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1807 406 566 18 0 1789 0
vsize: 7228
[startup+480.025 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 17173
Raw data (stat): 17173 (Pueblo-v2) R 17172 7266 7265 0 -1 0 445 0 0 0 47475 532 0 0 25 0 1 0 855263716 7401472 419 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1807 419 566 18 0 1789 0
vsize: 7228
[startup+490.025 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 17173
Raw data (stat): 17173 (Pueblo-v2) R 17172 7266 7265 0 -1 0 445 0 0 0 48461 546 0 0 25 0 1 0 855263716 7401472 419 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1807 419 566 18 0 1789 0
vsize: 7228
[startup+500.025 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 17173
Raw data (stat): 17173 (Pueblo-v2) R 17172 7266 7265 0 -1 0 445 0 0 0 49448 559 0 0 25 0 1 0 855263716 7401472 419 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1807 419 566 18 0 1789 0
vsize: 7228
[startup+510.025 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 17173
Raw data (stat): 17173 (Pueblo-v2) R 17172 7266 7265 0 -1 0 445 0 0 0 50436 571 0 0 25 0 1 0 855263716 7401472 419 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1807 419 566 18 0 1789 0
vsize: 7228
[startup+520.025 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 17173
Raw data (stat): 17173 (Pueblo-v2) R 17172 7266 7265 0 -1 0 445 0 0 0 51424 583 0 0 25 0 1 0 855263716 7401472 419 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1807 419 566 18 0 1789 0
vsize: 7228
[startup+530.026 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 17173
Raw data (stat): 17173 (Pueblo-v2) R 17172 7266 7265 0 -1 0 445 0 0 0 52410 598 0 0 25 0 1 0 855263716 7401472 419 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1807 419 566 18 0 1789 0
vsize: 7228
[startup+540.026 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 17173
Raw data (stat): 17173 (Pueblo-v2) R 17172 7266 7265 0 -1 0 445 0 0 0 53398 610 0 0 25 0 1 0 855263716 7401472 419 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1807 419 566 18 0 1789 0
vsize: 7228
[startup+550.026 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 17173
Raw data (stat): 17173 (Pueblo-v2) R 17172 7266 7265 0 -1 0 445 0 0 0 54384 623 0 0 25 0 1 0 855263716 7401472 419 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1807 419 566 18 0 1789 0
vsize: 7228
[startup+560.027 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 17173
Raw data (stat): 17173 (Pueblo-v2) R 17172 7266 7265 0 -1 0 445 0 0 0 55372 636 0 0 25 0 1 0 855263716 7401472 419 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1807 419 566 18 0 1789 0
vsize: 7228
[startup+570.027 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 17173
Raw data (stat): 17173 (Pueblo-v2) R 17172 7266 7265 0 -1 0 445 0 0 0 56361 647 0 0 25 0 1 0 855263716 7401472 419 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1807 419 566 18 0 1789 0
vsize: 7228
[startup+580.028 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 17173
Raw data (stat): 17173 (Pueblo-v2) R 17172 7266 7265 0 -1 0 445 0 0 0 57346 662 0 0 25 0 1 0 855263716 7401472 419 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1807 419 566 18 0 1789 0
vsize: 7228
[startup+590.028 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 17173
Raw data (stat): 17173 (Pueblo-v2) R 17172 7266 7265 0 -1 0 448 0 0 0 58335 674 0 0 25 0 1 0 855263716 7401472 422 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1807 422 566 18 0 1789 0
vsize: 7228
[startup+600.027 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 17173
Raw data (stat): 17173 (Pueblo-v2) R 17172 7266 7265 0 -1 0 448 0 0 0 59325 683 0 0 25 0 1 0 855263716 7401472 422 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1807 422 566 18 0 1789 0
vsize: 7228
[startup+610.027 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 17173
Raw data (stat): 17173 (Pueblo-v2) R 17172 7266 7265 0 -1 0 448 0 0 0 60314 695 0 0 25 0 1 0 855263716 7401472 422 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1807 422 566 18 0 1789 0
vsize: 7228
[startup+620.028 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 17173
Raw data (stat): 17173 (Pueblo-v2) R 17172 7266 7265 0 -1 0 448 0 0 0 61305 704 0 0 25 0 1 0 855263716 7401472 422 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1807 422 566 18 0 1789 0
vsize: 7228
[startup+630.028 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 17173
Raw data (stat): 17173 (Pueblo-v2) R 17172 7266 7265 0 -1 0 448 0 0 0 62288 721 0 0 25 0 1 0 855263716 7401472 422 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1807 422 566 18 0 1789 0
vsize: 7228
[startup+640.029 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 17173
Raw data (stat): 17173 (Pueblo-v2) R 17172 7266 7265 0 -1 0 448 0 0 0 63265 744 0 0 25 0 1 0 855263716 7401472 422 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1807 422 566 18 0 1789 0
vsize: 7228
[startup+650.029 s]
Raw data (loadavg): 1.08 0.99 0.93 2/54 17173
Raw data (stat): 17173 (Pueblo-v2) R 17172 7266 7265 0 -1 0 448 0 0 0 64255 755 0 0 25 0 1 0 855263716 7401472 422 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1807 422 566 18 0 1789 0
vsize: 7228
[startup+660.03 s]
Raw data (loadavg): 1.14 1.00 0.93 2/54 17173
Raw data (stat): 17173 (Pueblo-v2) R 17172 7266 7265 0 -1 0 448 0 0 0 65236 774 0 0 25 0 1 0 855263716 7401472 422 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1807 422 566 18 0 1789 0
vsize: 7228
[startup+670.03 s]
Raw data (loadavg): 1.12 1.00 0.93 2/54 17173
Raw data (stat): 17173 (Pueblo-v2) R 17172 7266 7265 0 -1 0 448 0 0 0 66219 791 0 0 25 0 1 0 855263716 7401472 422 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1807 422 566 18 0 1789 0
vsize: 7228
[startup+680.031 s]
Raw data (loadavg): 1.10 1.00 0.93 2/54 17173
Raw data (stat): 17173 (Pueblo-v2) R 17172 7266 7265 0 -1 0 448 0 0 0 67203 807 0 0 25 0 1 0 855263716 7401472 422 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1807 422 566 18 0 1789 0
vsize: 7228
[startup+690.031 s]
Raw data (loadavg): 1.08 1.00 0.93 2/54 17173
Raw data (stat): 17173 (Pueblo-v2) R 17172 7266 7265 0 -1 0 448 0 0 0 68192 818 0 0 25 0 1 0 855263716 7401472 422 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1807 422 566 18 0 1789 0
vsize: 7228
[startup+700.031 s]
Raw data (loadavg): 1.07 1.00 0.93 2/54 17173
Raw data (stat): 17173 (Pueblo-v2) R 17172 7266 7265 0 -1 0 448 0 0 0 69180 830 0 0 25 0 1 0 855263716 7401472 422 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1807 422 566 18 0 1789 0
vsize: 7228
[startup+710.032 s]
Raw data (loadavg): 1.06 1.00 0.93 2/54 17173
Raw data (stat): 17173 (Pueblo-v2) R 17172 7266 7265 0 -1 0 448 0 0 0 70165 846 0 0 25 0 1 0 855263716 7401472 422 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1807 422 566 18 0 1789 0
vsize: 7228
[startup+720.031 s]
Raw data (loadavg): 1.05 1.00 0.93 2/54 17173
Raw data (stat): 17173 (Pueblo-v2) R 17172 7266 7265 0 -1 0 450 0 0 0 71153 858 0 0 25 0 1 0 855263716 7507968 424 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1833 424 566 18 0 1815 0
vsize: 7332
[startup+730.032 s]
Raw data (loadavg): 1.04 1.00 0.93 2/54 17173
Raw data (stat): 17173 (Pueblo-v2) R 17172 7266 7265 0 -1 0 450 0 0 0 72128 883 0 0 25 0 1 0 855263716 7499776 424 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1831 424 566 18 0 1813 0
vsize: 7324
[startup+740.033 s]
Raw data (loadavg): 1.04 1.00 0.93 2/54 17173
Raw data (stat): 17173 (Pueblo-v2) R 17172 7266 7265 0 -1 0 450 0 0 0 73106 905 0 0 25 0 1 0 855263716 7499776 424 4294967295 134512640 134581267 3221224576 3221223440 134528226 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1831 424 566 18 0 1813 0
vsize: 7324
[startup+750.032 s]
Raw data (loadavg): 1.03 1.00 0.93 2/54 17173
Raw data (stat): 17173 (Pueblo-v2) R 17172 7266 7265 0 -1 0 450 0 0 0 74083 929 0 0 25 0 1 0 855263716 7499776 424 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1831 424 566 18 0 1813 0
vsize: 7324
[startup+760.032 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 17173
Raw data (stat): 17173 (Pueblo-v2) R 17172 7266 7265 0 -1 0 450 0 0 0 75060 951 0 0 25 0 1 0 855263716 7499776 424 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1831 424 566 18 0 1813 0
vsize: 7324
[startup+770.032 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 17173
Raw data (stat): 17173 (Pueblo-v2) R 17172 7266 7265 0 -1 0 450 0 0 0 76040 972 0 0 25 0 1 0 855263716 7499776 424 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1831 424 566 18 0 1813 0
vsize: 7324
[startup+780.033 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 17173
Raw data (stat): 17173 (Pueblo-v2) R 17172 7266 7265 0 -1 0 450 0 0 0 77022 990 0 0 25 0 1 0 855263716 7499776 424 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1831 424 566 18 0 1813 0
vsize: 7324
[startup+790.033 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 17173
Raw data (stat): 17173 (Pueblo-v2) R 17172 7266 7265 0 -1 0 450 0 0 0 78010 1002 0 0 25 0 1 0 855263716 7499776 424 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1831 424 566 18 0 1813 0
vsize: 7324
[startup+800.033 s]
Raw data (loadavg): 1.09 1.02 0.94 2/54 17173
Raw data (stat): 17173 (Pueblo-v2) R 17172 7266 7265 0 -1 0 450 0 0 0 78997 1015 0 0 25 0 1 0 855263716 7499776 424 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1831 424 566 18 0 1813 0
vsize: 7324
[startup+810.033 s]
Raw data (loadavg): 1.15 1.03 0.94 2/54 17173
Raw data (stat): 17173 (Pueblo-v2) R 17172 7266 7265 0 -1 0 450 0 0 0 79985 1028 0 0 25 0 1 0 855263716 7499776 424 4294967295 134512640 134581267 3221224576 3221223440 134528226 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1831 424 566 18 0 1813 0
vsize: 7324
[startup+820.033 s]
Raw data (loadavg): 1.13 1.03 0.94 2/54 17173
Raw data (stat): 17173 (Pueblo-v2) R 17172 7266 7265 0 -1 0 450 0 0 0 80967 1046 0 0 25 0 1 0 855263716 7499776 424 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1831 424 566 18 0 1813 0
vsize: 7324
[startup+830.034 s]
Raw data (loadavg): 1.11 1.03 0.94 2/54 17173
Raw data (stat): 17173 (Pueblo-v2) R 17172 7266 7265 0 -1 0 450 0 0 0 81946 1067 0 0 25 0 1 0 855263716 7499776 424 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1831 424 566 18 0 1813 0
vsize: 7324
[startup+840.033 s]
Raw data (loadavg): 1.09 1.03 0.94 2/54 17173
Raw data (stat): 17173 (Pueblo-v2) R 17172 7266 7265 0 -1 0 450 0 0 0 82933 1081 0 0 25 0 1 0 855263716 7499776 424 4294967295 134512640 134581267 3221224576 3221223536 134516731 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1831 424 566 18 0 1813 0
vsize: 7324
[startup+850.033 s]
Raw data (loadavg): 1.08 1.03 0.94 2/54 17173
Raw data (stat): 17173 (Pueblo-v2) R 17172 7266 7265 0 -1 0 451 0 0 0 83921 1092 0 0 25 0 1 0 855263716 7499776 425 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1831 425 566 18 0 1813 0
vsize: 7324
[startup+860.034 s]
Raw data (loadavg): 1.06 1.03 0.94 2/54 17173
Raw data (stat): 17173 (Pueblo-v2) R 17172 7266 7265 0 -1 0 451 0 0 0 84910 1104 0 0 25 0 1 0 855263716 7499776 425 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1831 425 566 18 0 1813 0
vsize: 7324
[startup+870.034 s]
Raw data (loadavg): 1.05 1.02 0.94 2/54 17173
Raw data (stat): 17173 (Pueblo-v2) R 17172 7266 7265 0 -1 0 452 0 0 0 85900 1114 0 0 25 0 1 0 855263716 7499776 426 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1831 426 566 18 0 1813 0
vsize: 7324
[startup+880.035 s]
Raw data (loadavg): 1.04 1.02 0.94 2/54 17173
Raw data (stat): 17173 (Pueblo-v2) R 17172 7266 7265 0 -1 0 453 0 0 0 86889 1125 0 0 25 0 1 0 855263716 7499776 427 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1831 427 566 18 0 1813 0
vsize: 7324
[startup+890.035 s]
Raw data (loadavg): 1.04 1.02 0.94 2/54 17173
Raw data (stat): 17173 (Pueblo-v2) R 17172 7266 7265 0 -1 0 453 0 0 0 87876 1138 0 0 25 0 1 0 855263716 7499776 427 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1831 427 566 18 0 1813 0
vsize: 7324
[startup+900.034 s]
Raw data (loadavg): 1.03 1.02 0.94 2/54 17173
Raw data (stat): 17173 (Pueblo-v2) R 17172 7266 7265 0 -1 0 453 0 0 0 88866 1149 0 0 25 0 1 0 855263716 7499776 427 4294967295 134512640 134581267 3221224576 3221223440 134528324 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1831 427 566 18 0 1813 0
vsize: 7324
[startup+910.035 s]
Raw data (loadavg): 1.03 1.02 0.94 2/54 17173
Raw data (stat): 17173 (Pueblo-v2) R 17172 7266 7265 0 -1 0 453 0 0 0 89854 1160 0 0 25 0 1 0 855263716 7499776 427 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1831 427 566 18 0 1813 0
vsize: 7324
[startup+920.036 s]
Raw data (loadavg): 1.02 1.02 0.94 2/54 17173
Raw data (stat): 17173 (Pueblo-v2) R 17172 7266 7265 0 -1 0 453 0 0 0 90843 1172 0 0 25 0 1 0 855263716 7499776 427 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1831 427 566 18 0 1813 0
vsize: 7324
[startup+930.036 s]
Raw data (loadavg): 1.02 1.02 0.94 2/54 17173
Raw data (stat): 17173 (Pueblo-v2) R 17172 7266 7265 0 -1 0 455 0 0 0 91831 1184 0 0 25 0 1 0 855263716 7499776 429 4294967295 134512640 134581267 3221224576 3221223472 134517512 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1831 429 566 18 0 1813 0
vsize: 7324
[startup+940.036 s]
Raw data (loadavg): 1.01 1.02 0.94 2/54 17173
Raw data (stat): 17173 (Pueblo-v2) R 17172 7266 7265 0 -1 0 459 0 0 0 92815 1200 0 0 25 0 1 0 855263716 7499776 433 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1831 433 566 18 0 1813 0
vsize: 7324
[startup+950.035 s]
Raw data (loadavg): 1.01 1.02 0.94 2/54 17173
Raw data (stat): 17173 (Pueblo-v2) R 17172 7266 7265 0 -1 0 459 0 0 0 93803 1212 0 0 25 0 1 0 855263716 7499776 433 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1831 433 566 18 0 1813 0
vsize: 7324
[startup+960.036 s]
Raw data (loadavg): 1.01 1.02 0.94 2/54 17173
Raw data (stat): 17173 (Pueblo-v2) R 17172 7266 7265 0 -1 0 459 0 0 0 94786 1229 0 0 25 0 1 0 855263716 7499776 433 4294967295 134512640 134581267 3221224576 3221223488 134527445 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1831 433 566 18 0 1813 0
vsize: 7324
[startup+970.036 s]
Raw data (loadavg): 1.01 1.01 0.94 2/54 17173
Raw data (stat): 17173 (Pueblo-v2) R 17172 7266 7265 0 -1 0 468 0 0 0 95775 1241 0 0 25 0 1 0 855263716 7499776 442 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1831 442 566 18 0 1813 0
vsize: 7324
[startup+980.037 s]
Raw data (loadavg): 1.01 1.01 0.94 2/54 17173
Raw data (stat): 17173 (Pueblo-v2) R 17172 7266 7265 0 -1 0 468 0 0 0 96762 1254 0 0 25 0 1 0 855263716 7499776 442 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1831 442 566 18 0 1813 0
vsize: 7324
[startup+990.037 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 17173
Raw data (stat): 17173 (Pueblo-v2) R 17172 7266 7265 0 -1 0 468 0 0 0 97749 1267 0 0 25 0 1 0 855263716 7499776 442 4294967295 134512640 134581267 3221224576 3221223472 134517737 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1831 442 566 18 0 1813 0
vsize: 7324
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 17173
Raw data (stat): 17173 (Pueblo-v2) R 17172 7266 7265 0 -1 0 468 0 0 0 98735 1281 0 0 25 0 1 0 855263716 7499776 442 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1831 442 566 18 0 1813 0
vsize: 7324
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 17173
Raw data (stat): 17173 (Pueblo-v2) R 17172 7266 7265 0 -1 0 468 0 0 0 99722 1295 0 0 25 0 1 0 855263716 7499776 442 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1831 442 566 18 0 1813 0
vsize: 7324
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 17173
Raw data (stat): 17173 (Pueblo-v2) R 17172 7266 7265 0 -1 0 468 0 0 0 100708 1309 0 0 25 0 1 0 855263716 7499776 442 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1831 442 566 18 0 1813 0
vsize: 7324
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 17173
Raw data (stat): 17173 (Pueblo-v2) R 17172 7266 7265 0 -1 0 468 0 0 0 101689 1328 0 0 25 0 1 0 855263716 7499776 442 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1831 442 566 18 0 1813 0
vsize: 7324
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 17173
Raw data (stat): 17173 (Pueblo-v2) R 17172 7266 7265 0 -1 0 468 0 0 0 102680 1337 0 0 25 0 1 0 855263716 7499776 442 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1831 442 566 18 0 1813 0
vsize: 7324
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 17173
Raw data (stat): 17173 (Pueblo-v2) R 17172 7266 7265 0 -1 0 468 0 0 0 103671 1346 0 0 25 0 1 0 855263716 7499776 442 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1831 442 566 18 0 1813 0
vsize: 7324
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 17173
Raw data (stat): 17173 (Pueblo-v2) R 17172 7266 7265 0 -1 0 468 0 0 0 104658 1360 0 0 25 0 1 0 855263716 7499776 442 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1831 442 566 18 0 1813 0
vsize: 7324
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 17173
Raw data (stat): 17173 (Pueblo-v2) R 17172 7266 7265 0 -1 0 468 0 0 0 105647 1371 0 0 25 0 1 0 855263716 7499776 442 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1831 442 566 18 0 1813 0
vsize: 7324
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 17173
Raw data (stat): 17173 (Pueblo-v2) R 17172 7266 7265 0 -1 0 468 0 0 0 106633 1385 0 0 25 0 1 0 855263716 7499776 442 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1831 442 566 18 0 1813 0
vsize: 7324
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 17173
Raw data (stat): 17173 (Pueblo-v2) R 17172 7266 7265 0 -1 0 468 0 0 0 107619 1399 0 0 25 0 1 0 855263716 7499776 442 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1831 442 566 18 0 1813 0
vsize: 7324
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 17173
Raw data (stat): 17173 (Pueblo-v2) R 17172 7266 7265 0 -1 0 468 0 0 0 108608 1410 0 0 25 0 1 0 855263716 7499776 442 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1831 442 566 18 0 1813 0
vsize: 7324
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 17173
Raw data (stat): 17173 (Pueblo-v2) R 17172 7266 7265 0 -1 0 468 0 0 0 109594 1425 0 0 25 0 1 0 855263716 7499776 442 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1831 442 566 18 0 1813 0
vsize: 7324
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 17173
Raw data (stat): 17173 (Pueblo-v2) R 17172 7266 7265 0 -1 0 468 0 0 0 110581 1438 0 0 25 0 1 0 855263716 7499776 442 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1831 442 566 18 0 1813 0
vsize: 7324
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 17173
Raw data (stat): 17173 (Pueblo-v2) R 17172 7266 7265 0 -1 0 468 0 0 0 111566 1453 0 0 25 0 1 0 855263716 7499776 442 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1831 442 566 18 0 1813 0
vsize: 7324
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 17173
Raw data (stat): 17173 (Pueblo-v2) R 17172 7266 7265 0 -1 0 468 0 0 0 112556 1463 0 0 25 0 1 0 855263716 7499776 442 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1831 442 566 18 0 1813 0
vsize: 7324
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 17173
Raw data (stat): 17173 (Pueblo-v2) R 17172 7266 7265 0 -1 0 468 0 0 0 113537 1482 0 0 25 0 1 0 855263716 7499776 442 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1831 442 566 18 0 1813 0
vsize: 7324
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 17226
Raw data (stat): 17173 (Pueblo-v2) R 17172 7266 7265 0 -1 0 468 0 0 0 114509 1510 0 0 25 0 1 0 855263716 7499776 442 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1831 442 566 18 0 1813 0
vsize: 7324
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 17226
Raw data (stat): 17173 (Pueblo-v2) R 17172 7266 7265 0 -1 0 468 0 0 0 115490 1528 0 0 25 0 1 0 855263716 7499776 442 4294967295 134512640 134581267 3221224576 3221223536 134516740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1831 442 566 18 0 1813 0
vsize: 7324
[startup+1180.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 17226
Raw data (stat): 17173 (Pueblo-v2) R 17172 7266 7265 0 -1 0 468 0 0 0 116477 1542 0 0 25 0 1 0 855263716 7499776 442 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1831 442 566 18 0 1813 0
vsize: 7324
[startup+1188.85 s]
Raw data (loadavg): 1.00 1.00 0.94 1/53 17226
Raw data (stat): 17173 (Pueblo-v2) R 17172 7266 7265 0 -1 0 468 0 0 0 116477 1542 0 0 25 0 1 0 855263716 7499776 442 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1831 442 566 18 0 1813 0
vsize: 0

Child status: 10
Real time (s): 1188.85
CPU time (s): 1189.01
CPU user time (s): 1173.51
CPU system time (s): 15.4996
CPU usage (%): 100.013
Max. virtual memory (Kb): 7332
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	2176
#### END VERIFIER DATA ####