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-markshare1_1.opb
MD5SUM	f88781e3d6e9a5487d13eaa213c27b55
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	4272
Optimality of the best value was proved	NO
Number of terms in the objective function	120
Biggest coefficient in the objective function	524288
Number of bits for the biggest coefficient in the objective function	20
Sum of the numbers in the objective function	6291450
Number of bits of the sum of numbers in the objective function	23
Biggest number in a constraint	524288
Number of bits of the biggest number in a constraint	20
Biggest sum of numbers in a constraint	6291450
Number of bits of the biggest sum of numbers	23
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.08
Number of variables	205
Total number of constraints	56
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	45
Number of constraints which are nor clauses,nor cardinality constraints	11
Minimum length of a constraint	1
Maximum length of a constraint	105
Trace number 39312

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-03 03:13:59 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27371 boxname=wulflinc6 idbench=1499 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  f88781e3d6e9a5487d13eaa213c27b55  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-markshare1_1.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-markshare1_1.opb
IDLAUNCH: 27371
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        267088 kB
Buffers:         33716 kB
Cached:         712588 kB
SwapCached:        540 kB
Active:          27704 kB
Inactive:       720664 kB
HighTotal:      131008 kB
HighFree:        25340 kB
LowTotal:       903652 kB
LowFree:        241748 kB
SwapTotal:     2097136 kB
SwapFree:      2095652 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5196 kB
Slab:            13496 kB
Committed_AS:    63736 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-03 03:33:48 (client local time) WITH STATUS 10 IN 1189.01 SECONDS
stats: 27371 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/wulflinc6/normalized-mps-v2-13-7-markshare1_1.opb
c #variables read: 205 - #constraints read: 63
s SATISFIABLE
v -s01_bit_7 -s01_bit_6 s01_bit_5 -s01_bit_4 s01_bit_3 s01_bit_2 -s01_bit_1 s01_bit0 s01_bit1 s01_bit2 s01_bit3 s01_bit4 s01_bit5 -s01_bit6 -s01_bit7 -s01_bit8 -s01_bit9 -s01_bit10 -s01_bit11 -s01_bit12 -s11_bit_7 s11_bit_6 s11_bit_5 s11_bit_4 -s11_bit_3 -s11_bit_2 -s11_bit_1 -s11_bit0 -s11_bit1 -s11_bit2 -s11_bit3 -s11_bit4 -s11_bit5 -s11_bit6 -s11_bit7 -s11_bit8 -s11_bit9 -s11_bit10 -s11_bit11 -s11_bit12 s21_bit_7 s21_bit_6 -s21_bit_5 -s21_bit_4 -s21_bit_3 s21_bit_2 -s21_bit_1 -s21_bit0 -s21_bit1 -s21_bit2 -s21_bit3 -s21_bit4 -s21_bit5 -s21_bit6 -s21_bit7 -s21_bit8 -s21_bit9 -s21_bit10 -s21_bit11 -s21_bit12 -s31_bit_7 s31_bit_6 -s31_bit_5 s31_bit_4 -s31_bit_3 s31_bit_2 s31_bit_1 -s31_bit0 -s31_bit1 s31_bit2 s31_bit3 -s31_bit4 -s31_bit5 -s31_bit6 -s31_bit7 -s31_bit8 -s31_bit9 -s31_bit10 -s31_bit11 -s31_bit12 s41_bit_7 -s41_bit_6 -s41_bit_5 s41_bit_4 -s41_bit_3 s41_bit_2 s41_bit_1 -s41_bit0 -s41_bit1 -s41_bit2 -s41_bit3 -s41_bit4 -s41_bit5 -s41_bit6 -s41_bit7 -s41_bit8 -s41_bit9 -s41_bit10 -s41_bit11 -s41_bit12 -s51_bit_7 -s51_bit_6 s51_bit_5 s51_bit_4 s51_bit_3 -s51_bit_2 s51_bit_1 s51_bit0 -s51_bit1 -s51_bit2 -s51_bit3 -s51_bit4 s51_bit5 -s51_bit6 -s51_bit7 -s51_bit8 -s51_bit9 -s51_bit10 -s51_bit11 -s51_bit12 -x0_bit_7 -x0_bit_6 x0_bit_5 x0_bit_4 -x0_bit_3 -x0_bit_2 x0_bit_1 -x0_bit0 -x1_bit0 x2_bit0 x3_bit0 -x4_bit0 x5_bit0 x6_bit0 x7_bit0 -x8_bit0 x9_bit0 x10_bit0 -x11_bit0 -x12_bit0 x13_bit0 -x14_bit0 x15_bit0 x16_bit0 x17_bit0 -x18_bit0 -x19_bit0 x20_bit0 -x21_bit0 -x22_bit0 -x23_bit0 -x24_bit0 x25_bit0 -x26_bit0 -x27_bit0 x28_bit0 -x29_bit0 x30_bit0 -x31_bit0 x32_bit0 x33_bit0 x34_bit0 x35_bit0 -x36_bit0 x37_bit0 x38_bit0 -x39_bit0 -x40_bit0 x41_bit0 -x42_bit0 x43_bit0 x44_bit0 x45_bit_7 x45_bit_6 x45_bit_5 -x45_bit_4 -x45_bit_3 -x45_bit_2 -x45_bit_1 -x45_bit0 x46_bit_7 -x46_bit_6 x46_bit_5 x46_bit_4 -x46_bit_3 x46_bit_2 x46_bit_1 -x46_bit0 -x47_bit_7 x47_bit_6 -x47_bit_5 x47_bit_4 x47_bit_3 x47_bit_2 x47_bit_1 -x47_bit0 -x48_bit0 -x49_bit_7 -x49_bit_6 x49_bit_5 -x49_bit_4 x49_bit_3 x49_bit_2 x49_bit_1 -x49_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.93 0.97 0.91 2/54 26588
Raw data (stat): 26588 (runsolver) R 26587 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 855101548 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0006 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 26588
Raw data (stat): 26588 (Pueblo-v2) R 26587 25568 25567 0 -1 0 314 0 0 0 993 6 0 0 25 0 1 0 855101548 6946816 288 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 288 566 18 0 1678 0
vsize: 6784
[startup+20.0007 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 26588
Raw data (stat): 26588 (Pueblo-v2) R 26587 25568 25567 0 -1 0 326 0 0 0 1989 10 0 0 25 0 1 0 855101548 6946816 300 4294967295 134512640 134581267 3221224576 3221223488 134527451 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 300 566 18 0 1678 0
vsize: 6784
[startup+30.0011 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 26588
Raw data (stat): 26588 (Pueblo-v2) R 26587 25568 25567 0 -1 0 328 0 0 0 2984 15 0 0 25 0 1 0 855101548 6946816 302 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 302 566 18 0 1678 0
vsize: 6784
[startup+40.001 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 26588
Raw data (stat): 26588 (Pueblo-v2) R 26587 25568 25567 0 -1 0 328 0 0 0 3981 18 0 0 25 0 1 0 855101548 6946816 302 4294967295 134512640 134581267 3221224576 3221223488 134527504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 302 566 18 0 1678 0
vsize: 6784
[startup+50.0011 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 26588
Raw data (stat): 26588 (Pueblo-v2) R 26587 25568 25567 0 -1 0 332 0 0 0 4978 22 0 0 25 0 1 0 855101548 6946816 306 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 306 566 18 0 1678 0
vsize: 6784
[startup+60.0015 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 26588
Raw data (stat): 26588 (Pueblo-v2) R 26587 25568 25567 0 -1 0 332 0 0 0 5972 29 0 0 25 0 1 0 855101548 6946816 306 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 306 566 18 0 1678 0
vsize: 6784
[startup+70.0014 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 26588
Raw data (stat): 26588 (Pueblo-v2) R 26587 25568 25567 0 -1 0 340 0 0 0 6968 32 0 0 25 0 1 0 855101548 7061504 314 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1724 314 566 18 0 1706 0
vsize: 6896
[startup+80.0015 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 26588
Raw data (stat): 26588 (Pueblo-v2) R 26587 25568 25567 0 -1 0 340 0 0 0 7965 36 0 0 25 0 1 0 855101548 7061504 314 4294967295 134512640 134581267 3221224576 3221223488 134527404 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1724 314 566 18 0 1706 0
vsize: 6896
[startup+90.002 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 26588
Raw data (stat): 26588 (Pueblo-v2) R 26587 25568 25567 0 -1 0 343 0 0 0 8961 41 0 0 25 0 1 0 855101548 7061504 317 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1724 317 566 18 0 1706 0
vsize: 6896
[startup+100.002 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 26588
Raw data (stat): 26588 (Pueblo-v2) R 26587 25568 25567 0 -1 0 344 0 0 0 9955 47 0 0 25 0 1 0 855101548 7061504 318 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1724 318 566 18 0 1706 0
vsize: 6896
[startup+110.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26588
Raw data (stat): 26588 (Pueblo-v2) R 26587 25568 25567 0 -1 0 344 0 0 0 10950 52 0 0 25 0 1 0 855101548 7061504 318 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1724 318 566 18 0 1706 0
vsize: 6896
[startup+120.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26588
Raw data (stat): 26588 (Pueblo-v2) R 26587 25568 25567 0 -1 0 347 0 0 0 11948 55 0 0 25 0 1 0 855101548 7061504 321 4294967295 134512640 134581267 3221224576 3221223488 134527768 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1724 321 566 18 0 1706 0
vsize: 6896
[startup+130.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26588
Raw data (stat): 26588 (Pueblo-v2) R 26587 25568 25567 0 -1 0 348 0 0 0 12945 58 0 0 25 0 1 0 855101548 7061504 322 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1724 322 566 18 0 1706 0
vsize: 6896
[startup+140.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26588
Raw data (stat): 26588 (Pueblo-v2) R 26587 25568 25567 0 -1 0 348 0 0 0 13941 62 0 0 25 0 1 0 855101548 7061504 322 4294967295 134512640 134581267 3221224576 3221223440 134528310 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1724 322 566 18 0 1706 0
vsize: 6896
[startup+150.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26588
Raw data (stat): 26588 (Pueblo-v2) R 26587 25568 25567 0 -1 0 348 0 0 0 14939 65 0 0 25 0 1 0 855101548 7061504 322 4294967295 134512640 134581267 3221224576 3221223488 134527416 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1724 322 566 18 0 1706 0
vsize: 6896
[startup+160.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26588
Raw data (stat): 26588 (Pueblo-v2) R 26587 25568 25567 0 -1 0 348 0 0 0 15935 69 0 0 25 0 1 0 855101548 7061504 322 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1724 322 566 18 0 1706 0
vsize: 6896
[startup+170.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26588
Raw data (stat): 26588 (Pueblo-v2) R 26587 25568 25567 0 -1 0 348 0 0 0 16932 72 0 0 25 0 1 0 855101548 7061504 322 4294967295 134512640 134581267 3221224576 3221223488 134527525 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1724 322 566 18 0 1706 0
vsize: 6896
[startup+180.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26588
Raw data (stat): 26588 (Pueblo-v2) R 26587 25568 25567 0 -1 0 348 0 0 0 17929 76 0 0 25 0 1 0 855101548 7061504 322 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1724 322 566 18 0 1706 0
vsize: 6896
[startup+190.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26588
Raw data (stat): 26588 (Pueblo-v2) R 26587 25568 25567 0 -1 0 348 0 0 0 18927 78 0 0 25 0 1 0 855101548 7061504 322 4294967295 134512640 134581267 3221224576 3221223088 134566244 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1724 322 566 18 0 1706 0
vsize: 6896
[startup+200.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26588
Raw data (stat): 26588 (Pueblo-v2) R 26587 25568 25567 0 -1 0 348 0 0 0 19924 81 0 0 25 0 1 0 855101548 7061504 322 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1724 322 566 18 0 1706 0
vsize: 6896
[startup+210.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26588
Raw data (stat): 26588 (Pueblo-v2) R 26587 25568 25567 0 -1 0 348 0 0 0 20920 86 0 0 25 0 1 0 855101548 7061504 322 4294967295 134512640 134581267 3221224576 3221223440 134528226 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1724 322 566 18 0 1706 0
vsize: 6896
[startup+220.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26588
Raw data (stat): 26588 (Pueblo-v2) R 26587 25568 25567 0 -1 0 348 0 0 0 21917 89 0 0 25 0 1 0 855101548 7061504 322 4294967295 134512640 134581267 3221224576 3221223472 134517900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1724 322 566 18 0 1706 0
vsize: 6896
[startup+230.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26588
Raw data (stat): 26588 (Pueblo-v2) R 26587 25568 25567 0 -1 0 351 0 0 0 22914 92 0 0 25 0 1 0 855101548 7061504 325 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1724 325 566 18 0 1706 0
vsize: 6896
[startup+240.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26588
Raw data (stat): 26588 (Pueblo-v2) R 26587 25568 25567 0 -1 0 351 0 0 0 23912 95 0 0 25 0 1 0 855101548 7061504 325 4294967295 134512640 134581267 3221224576 3221223264 1075288208 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1724 325 566 18 0 1706 0
vsize: 6896
[startup+250.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26588
Raw data (stat): 26588 (Pueblo-v2) R 26587 25568 25567 0 -1 0 351 0 0 0 24908 99 0 0 25 0 1 0 855101548 7061504 325 4294967295 134512640 134581267 3221224576 3221223488 134527531 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1724 325 566 18 0 1706 0
vsize: 6896
[startup+260.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26588
Raw data (stat): 26588 (Pueblo-v2) R 26587 25568 25567 0 -1 0 351 0 0 0 25905 102 0 0 25 0 1 0 855101548 7061504 325 4294967295 134512640 134581267 3221224576 3221223488 134527683 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1724 325 566 18 0 1706 0
vsize: 6896
[startup+270.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26588
Raw data (stat): 26588 (Pueblo-v2) R 26587 25568 25567 0 -1 0 364 0 0 0 26902 106 0 0 25 0 1 0 855101548 7061504 338 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1724 338 566 18 0 1706 0
vsize: 6896
[startup+280.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26588
Raw data (stat): 26588 (Pueblo-v2) R 26587 25568 25567 0 -1 0 364 0 0 0 27899 109 0 0 25 0 1 0 855101548 7061504 338 4294967295 134512640 134581267 3221224576 3221223488 134527475 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1724 338 566 18 0 1706 0
vsize: 6896
[startup+290.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26588
Raw data (stat): 26588 (Pueblo-v2) R 26587 25568 25567 0 -1 0 364 0 0 0 28896 113 0 0 25 0 1 0 855101548 7061504 338 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1724 338 566 18 0 1706 0
vsize: 6896
[startup+300.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26588
Raw data (stat): 26588 (Pueblo-v2) R 26587 25568 25567 0 -1 0 364 0 0 0 29892 116 0 0 25 0 1 0 855101548 7061504 338 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1724 338 566 18 0 1706 0
vsize: 6896
[startup+310.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26588
Raw data (stat): 26588 (Pueblo-v2) R 26587 25568 25567 0 -1 0 365 0 0 0 30889 120 0 0 25 0 1 0 855101548 7061504 339 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1724 339 566 18 0 1706 0
vsize: 6896
[startup+320.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26588
Raw data (stat): 26588 (Pueblo-v2) R 26587 25568 25567 0 -1 0 365 0 0 0 31886 124 0 0 25 0 1 0 855101548 7061504 339 4294967295 134512640 134581267 3221224576 3221223440 134526920 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1724 339 566 18 0 1706 0
vsize: 6896
[startup+330.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26588
Raw data (stat): 26588 (Pueblo-v2) R 26587 25568 25567 0 -1 0 365 0 0 0 32882 128 0 0 25 0 1 0 855101548 7061504 339 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1724 339 566 18 0 1706 0
vsize: 6896
[startup+340.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26588
Raw data (stat): 26588 (Pueblo-v2) R 26587 25568 25567 0 -1 0 365 0 0 0 33878 132 0 0 25 0 1 0 855101548 7061504 339 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1724 339 566 18 0 1706 0
vsize: 6896
[startup+350.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26588
Raw data (stat): 26588 (Pueblo-v2) R 26587 25568 25567 0 -1 0 365 0 0 0 34876 135 0 0 25 0 1 0 855101548 7061504 339 4294967295 134512640 134581267 3221224576 3221223488 134527416 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1724 339 566 18 0 1706 0
vsize: 6896
[startup+360.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26588
Raw data (stat): 26588 (Pueblo-v2) R 26587 25568 25567 0 -1 0 365 0 0 0 35872 139 0 0 25 0 1 0 855101548 7061504 339 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1724 339 566 18 0 1706 0
vsize: 6896
[startup+370.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26588
Raw data (stat): 26588 (Pueblo-v2) R 26587 25568 25567 0 -1 0 365 0 0 0 36868 143 0 0 25 0 1 0 855101548 7061504 339 4294967295 134512640 134581267 3221224576 3221223556 134560749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1724 339 566 18 0 1706 0
vsize: 6896
[startup+380.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26588
Raw data (stat): 26588 (Pueblo-v2) R 26587 25568 25567 0 -1 0 365 0 0 0 37864 148 0 0 25 0 1 0 855101548 7061504 339 4294967295 134512640 134581267 3221224576 3221223472 134517902 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1724 339 566 18 0 1706 0
vsize: 6896
[startup+390.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26588
Raw data (stat): 26588 (Pueblo-v2) R 26587 25568 25567 0 -1 0 365 0 0 0 38860 152 0 0 25 0 1 0 855101548 7061504 339 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1724 339 566 18 0 1706 0
vsize: 6896
[startup+400.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26588
Raw data (stat): 26588 (Pueblo-v2) R 26587 25568 25567 0 -1 0 365 0 0 0 39858 155 0 0 25 0 1 0 855101548 7061504 339 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1724 339 566 18 0 1706 0
vsize: 6896
[startup+410.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26588
Raw data (stat): 26588 (Pueblo-v2) R 26587 25568 25567 0 -1 0 365 0 0 0 40855 158 0 0 25 0 1 0 855101548 7061504 339 4294967295 134512640 134581267 3221224576 3221223440 134560456 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1724 339 566 18 0 1706 0
vsize: 6896
[startup+420.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26588
Raw data (stat): 26588 (Pueblo-v2) R 26587 25568 25567 0 -1 0 367 0 0 0 41852 161 0 0 25 0 1 0 855101548 7188480 341 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1755 341 566 18 0 1737 0
vsize: 7020
[startup+430.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26588
Raw data (stat): 26588 (Pueblo-v2) R 26587 25568 25567 0 -1 0 367 0 0 0 42849 165 0 0 25 0 1 0 855101548 7188480 341 4294967295 134512640 134581267 3221224576 3221223488 134531368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1755 341 566 18 0 1737 0
vsize: 7020
[startup+440.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26588
Raw data (stat): 26588 (Pueblo-v2) R 26587 25568 25567 0 -1 0 367 0 0 0 43846 168 0 0 25 0 1 0 855101548 7188480 341 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1755 341 566 18 0 1737 0
vsize: 7020
[startup+450.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26588
Raw data (stat): 26588 (Pueblo-v2) R 26587 25568 25567 0 -1 0 367 0 0 0 44843 171 0 0 25 0 1 0 855101548 7188480 341 4294967295 134512640 134581267 3221224576 3221223440 134528243 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1755 341 566 18 0 1737 0
vsize: 7020
[startup+460.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26588
Raw data (stat): 26588 (Pueblo-v2) R 26587 25568 25567 0 -1 0 368 0 0 0 45839 175 0 0 25 0 1 0 855101548 7188480 342 4294967295 134512640 134581267 3221224576 3221223488 134527445 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1755 342 566 18 0 1737 0
vsize: 7020
[startup+470.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26588
Raw data (stat): 26588 (Pueblo-v2) R 26587 25568 25567 0 -1 0 368 0 0 0 46836 179 0 0 25 0 1 0 855101548 7188480 342 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1755 342 566 18 0 1737 0
vsize: 7020
[startup+480.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26588
Raw data (stat): 26588 (Pueblo-v2) R 26587 25568 25567 0 -1 0 368 0 0 0 47833 182 0 0 25 0 1 0 855101548 7188480 342 4294967295 134512640 134581267 3221224576 3221223488 134527948 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1755 342 566 18 0 1737 0
vsize: 7020
[startup+490.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26588
Raw data (stat): 26588 (Pueblo-v2) R 26587 25568 25567 0 -1 0 368 0 0 0 48829 187 0 0 25 0 1 0 855101548 7188480 342 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1755 342 566 18 0 1737 0
vsize: 7020
[startup+500.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26588
Raw data (stat): 26588 (Pueblo-v2) R 26587 25568 25567 0 -1 0 368 0 0 0 49827 189 0 0 25 0 1 0 855101548 7188480 342 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1755 342 566 18 0 1737 0
vsize: 7020
[startup+510.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26588
Raw data (stat): 26588 (Pueblo-v2) R 26587 25568 25567 0 -1 0 369 0 0 0 50824 192 0 0 25 0 1 0 855101548 7188480 343 4294967295 134512640 134581267 3221224576 3221223488 134527445 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1755 343 566 18 0 1737 0
vsize: 7020
[startup+520.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26588
Raw data (stat): 26588 (Pueblo-v2) R 26587 25568 25567 0 -1 0 369 0 0 0 51821 196 0 0 25 0 1 0 855101548 7188480 343 4294967295 134512640 134581267 3221224576 3221223440 134528243 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1755 343 566 18 0 1737 0
vsize: 7020
[startup+530.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26588
Raw data (stat): 26588 (Pueblo-v2) R 26587 25568 25567 0 -1 0 369 0 0 0 52818 199 0 0 25 0 1 0 855101548 7188480 343 4294967295 134512640 134581267 3221224576 3221223488 134527459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1755 343 566 18 0 1737 0
vsize: 7020
[startup+540.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26588
Raw data (stat): 26588 (Pueblo-v2) R 26587 25568 25567 0 -1 0 372 0 0 0 53814 204 0 0 25 0 1 0 855101548 7188480 346 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1755 346 566 18 0 1737 0
vsize: 7020
[startup+550.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26588
Raw data (stat): 26588 (Pueblo-v2) R 26587 25568 25567 0 -1 0 372 0 0 0 54810 208 0 0 25 0 1 0 855101548 7188480 346 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1755 346 566 18 0 1737 0
vsize: 7020
[startup+560.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26588
Raw data (stat): 26588 (Pueblo-v2) R 26587 25568 25567 0 -1 0 373 0 0 0 55807 211 0 0 25 0 1 0 855101548 7188480 347 4294967295 134512640 134581267 3221224576 3221223504 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1755 347 566 18 0 1737 0
vsize: 7020
[startup+570.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26588
Raw data (stat): 26588 (Pueblo-v2) R 26587 25568 25567 0 -1 0 373 0 0 0 56803 215 0 0 25 0 1 0 855101548 7188480 347 4294967295 134512640 134581267 3221224576 3221223504 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1755 347 566 18 0 1737 0
vsize: 7020
[startup+580.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26588
Raw data (stat): 26588 (Pueblo-v2) R 26587 25568 25567 0 -1 0 373 0 0 0 57799 219 0 0 25 0 1 0 855101548 7188480 347 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1755 347 566 18 0 1737 0
vsize: 7020
[startup+590.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26588
Raw data (stat): 26588 (Pueblo-v2) R 26587 25568 25567 0 -1 0 373 0 0 0 58796 223 0 0 25 0 1 0 855101548 7188480 347 4294967295 134512640 134581267 3221224576 3221223472 134517767 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1755 347 566 18 0 1737 0
vsize: 7020
[startup+600.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26588
Raw data (stat): 26588 (Pueblo-v2) R 26587 25568 25567 0 -1 0 373 0 0 0 59793 227 0 0 25 0 1 0 855101548 7188480 347 4294967295 134512640 134581267 3221224576 3221223488 134528040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1755 347 566 18 0 1737 0
vsize: 7020
[startup+610.012 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 26588
Raw data (stat): 26588 (Pueblo-v2) R 26587 25568 25567 0 -1 0 373 0 0 0 60789 231 0 0 25 0 1 0 855101548 7188480 347 4294967295 134512640 134581267 3221224576 3221223488 134527445 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1755 347 566 18 0 1737 0
vsize: 7020
[startup+620.012 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 26588
Raw data (stat): 26588 (Pueblo-v2) R 26587 25568 25567 0 -1 0 373 0 0 0 61788 232 0 0 25 0 1 0 855101548 7188480 347 4294967295 134512640 134581267 3221224576 3221223472 134517608 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1755 347 566 18 0 1737 0
vsize: 7020
[startup+630.012 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 26588
Raw data (stat): 26588 (Pueblo-v2) R 26587 25568 25567 0 -1 0 373 0 0 0 62785 236 0 0 25 0 1 0 855101548 7188480 347 4294967295 134512640 134581267 3221224576 3221223440 134528226 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1755 347 566 18 0 1737 0
vsize: 7020
[startup+640.013 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 26588
Raw data (stat): 26588 (Pueblo-v2) R 26587 25568 25567 0 -1 0 373 0 0 0 63781 239 0 0 25 0 1 0 855101548 7188480 347 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1755 347 566 18 0 1737 0
vsize: 7020
[startup+650.013 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 26588
Raw data (stat): 26588 (Pueblo-v2) R 26587 25568 25567 0 -1 0 373 0 0 0 64777 244 0 0 25 0 1 0 855101548 7188480 347 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1755 347 566 18 0 1737 0
vsize: 7020
[startup+660.013 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 26588
Raw data (stat): 26588 (Pueblo-v2) R 26587 25568 25567 0 -1 0 373 0 0 0 65773 248 0 0 25 0 1 0 855101548 7188480 347 4294967295 134512640 134581267 3221224576 3221223520 134559225 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1755 347 566 18 0 1737 0
vsize: 7020
[startup+670.013 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 26588
Raw data (stat): 26588 (Pueblo-v2) R 26587 25568 25567 0 -1 0 373 0 0 0 66769 253 0 0 25 0 1 0 855101548 7188480 347 4294967295 134512640 134581267 3221224576 3221223440 134528255 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1755 347 566 18 0 1737 0
vsize: 7020
[startup+680.013 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 26588
Raw data (stat): 26588 (Pueblo-v2) R 26587 25568 25567 0 -1 0 373 0 0 0 67766 256 0 0 25 0 1 0 855101548 7188480 347 4294967295 134512640 134581267 3221224576 3221223488 134527440 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1755 347 566 18 0 1737 0
vsize: 7020
[startup+690.013 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 26588
Raw data (stat): 26588 (Pueblo-v2) R 26587 25568 25567 0 -1 0 373 0 0 0 68763 260 0 0 25 0 1 0 855101548 7188480 347 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1755 347 566 18 0 1737 0
vsize: 7020
[startup+700.014 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 26588
Raw data (stat): 26588 (Pueblo-v2) R 26587 25568 25567 0 -1 0 375 0 0 0 69758 265 0 0 25 0 1 0 855101548 7188480 349 4294967295 134512640 134581267 3221224576 3221223488 134527445 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1755 349 566 18 0 1737 0
vsize: 7020
[startup+710.015 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 26588
Raw data (stat): 26588 (Pueblo-v2) R 26587 25568 25567 0 -1 0 379 0 0 0 70755 268 0 0 25 0 1 0 855101548 7188480 353 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1755 353 566 18 0 1737 0
vsize: 7020
[startup+720.015 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 26588
Raw data (stat): 26588 (Pueblo-v2) R 26587 25568 25567 0 -1 0 379 0 0 0 71752 272 0 0 25 0 1 0 855101548 7188480 353 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1755 353 566 18 0 1737 0
vsize: 7020
[startup+730.015 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 26588
Raw data (stat): 26588 (Pueblo-v2) R 26587 25568 25567 0 -1 0 380 0 0 0 72747 277 0 0 25 0 1 0 855101548 7188480 354 4294967295 134512640 134581267 3221224576 3221223488 134527695 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1755 354 566 18 0 1737 0
vsize: 7020
[startup+740.015 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 26588
Raw data (stat): 26588 (Pueblo-v2) R 26587 25568 25567 0 -1 0 382 0 0 0 73742 282 0 0 25 0 1 0 855101548 7188480 356 4294967295 134512640 134581267 3221224576 3221223488 134527416 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1755 356 566 18 0 1737 0
vsize: 7020
[startup+750.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26588
Raw data (stat): 26588 (Pueblo-v2) R 26587 25568 25567 0 -1 0 382 0 0 0 74740 285 0 0 25 0 1 0 855101548 7188480 356 4294967295 134512640 134581267 3221224576 3221223488 134527416 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1755 356 566 18 0 1737 0
vsize: 7020
[startup+760.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26588
Raw data (stat): 26588 (Pueblo-v2) R 26587 25568 25567 0 -1 0 382 0 0 0 75736 289 0 0 25 0 1 0 855101548 7188480 356 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1755 356 566 18 0 1737 0
vsize: 7020
[startup+770.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26588
Raw data (stat): 26588 (Pueblo-v2) R 26587 25568 25567 0 -1 0 383 0 0 0 76733 293 0 0 25 0 1 0 855101548 7188480 357 4294967295 134512640 134581267 3221224576 3221223488 134527525 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1755 357 566 18 0 1737 0
vsize: 7020
[startup+780.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26588
Raw data (stat): 26588 (Pueblo-v2) R 26587 25568 25567 0 -1 0 383 0 0 0 77730 296 0 0 25 0 1 0 855101548 7188480 357 4294967295 134512640 134581267 3221224576 3221223440 134528390 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1755 357 566 18 0 1737 0
vsize: 7020
[startup+790.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26588
Raw data (stat): 26588 (Pueblo-v2) R 26587 25568 25567 0 -1 0 383 0 0 0 78726 300 0 0 25 0 1 0 855101548 7188480 357 4294967295 134512640 134581267 3221224576 3221223488 134527440 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1755 357 566 18 0 1737 0
vsize: 7020
[startup+800.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26588
Raw data (stat): 26588 (Pueblo-v2) R 26587 25568 25567 0 -1 0 383 0 0 0 79723 304 0 0 25 0 1 0 855101548 7188480 357 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1755 357 566 18 0 1737 0
vsize: 7020
[startup+810.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26588
Raw data (stat): 26588 (Pueblo-v2) R 26587 25568 25567 0 -1 0 383 0 0 0 80720 307 0 0 25 0 1 0 855101548 7188480 357 4294967295 134512640 134581267 3221224576 3221223488 134527459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1755 357 566 18 0 1737 0
vsize: 7020
[startup+820.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26588
Raw data (stat): 26588 (Pueblo-v2) R 26587 25568 25567 0 -1 0 383 0 0 0 81717 310 0 0 25 0 1 0 855101548 7188480 357 4294967295 134512640 134581267 3221224576 3221223468 134526884 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1755 357 566 18 0 1737 0
vsize: 7020
[startup+830.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26588
Raw data (stat): 26588 (Pueblo-v2) R 26587 25568 25567 0 -1 0 383 0 0 0 82716 312 0 0 25 0 1 0 855101548 7188480 357 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1755 357 566 18 0 1737 0
vsize: 7020
[startup+840.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26588
Raw data (stat): 26588 (Pueblo-v2) R 26587 25568 25567 0 -1 0 383 0 0 0 83712 316 0 0 25 0 1 0 855101548 7188480 357 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1755 357 566 18 0 1737 0
vsize: 7020
[startup+850.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26588
Raw data (stat): 26588 (Pueblo-v2) R 26587 25568 25567 0 -1 0 383 0 0 0 84708 320 0 0 25 0 1 0 855101548 7188480 357 4294967295 134512640 134581267 3221224576 3221223488 134527418 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1755 357 566 18 0 1737 0
vsize: 7020
[startup+860.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26588
Raw data (stat): 26588 (Pueblo-v2) R 26587 25568 25567 0 -1 0 383 0 0 0 85704 325 0 0 25 0 1 0 855101548 7188480 357 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1755 357 566 18 0 1737 0
vsize: 7020
[startup+870.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26588
Raw data (stat): 26588 (Pueblo-v2) R 26587 25568 25567 0 -1 0 383 0 0 0 86700 329 0 0 25 0 1 0 855101548 7188480 357 4294967295 134512640 134581267 3221224576 3221223488 134527404 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1755 357 566 18 0 1737 0
vsize: 7020
[startup+880.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26588
Raw data (stat): 26588 (Pueblo-v2) R 26587 25568 25567 0 -1 0 383 0 0 0 87696 333 0 0 25 0 1 0 855101548 7188480 357 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1755 357 566 18 0 1737 0
vsize: 7020
[startup+890.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26588
Raw data (stat): 26588 (Pueblo-v2) R 26587 25568 25567 0 -1 0 383 0 0 0 88693 337 0 0 25 0 1 0 855101548 7188480 357 4294967295 134512640 134581267 3221224576 3221223568 134561027 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1755 357 566 18 0 1737 0
vsize: 7020
[startup+900.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26588
Raw data (stat): 26588 (Pueblo-v2) R 26587 25568 25567 0 -1 0 383 0 0 0 89690 340 0 0 25 0 1 0 855101548 7188480 357 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1755 357 566 18 0 1737 0
vsize: 7020
[startup+910.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26588
Raw data (stat): 26588 (Pueblo-v2) R 26587 25568 25567 0 -1 0 383 0 0 0 90687 344 0 0 25 0 1 0 855101548 7188480 357 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1755 357 566 18 0 1737 0
vsize: 7020
[startup+920.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26588
Raw data (stat): 26588 (Pueblo-v2) R 26587 25568 25567 0 -1 0 383 0 0 0 91684 347 0 0 25 0 1 0 855101548 7188480 357 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1755 357 566 18 0 1737 0
vsize: 7020
[startup+930.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26588
Raw data (stat): 26588 (Pueblo-v2) R 26587 25568 25567 0 -1 0 383 0 0 0 92680 351 0 0 25 0 1 0 855101548 7188480 357 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1755 357 566 18 0 1737 0
vsize: 7020
[startup+940.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26588
Raw data (stat): 26588 (Pueblo-v2) R 26587 25568 25567 0 -1 0 383 0 0 0 93677 354 0 0 25 0 1 0 855101548 7188480 357 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1755 357 566 18 0 1737 0
vsize: 7020
[startup+950.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26588
Raw data (stat): 26588 (Pueblo-v2) R 26587 25568 25567 0 -1 0 383 0 0 0 94675 357 0 0 25 0 1 0 855101548 7188480 357 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1755 357 566 18 0 1737 0
vsize: 7020
[startup+960.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26588
Raw data (stat): 26588 (Pueblo-v2) R 26587 25568 25567 0 -1 0 383 0 0 0 95671 361 0 0 25 0 1 0 855101548 7188480 357 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1755 357 566 18 0 1737 0
vsize: 7020
[startup+970.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26588
Raw data (stat): 26588 (Pueblo-v2) R 26587 25568 25567 0 -1 0 383 0 0 0 96668 364 0 0 25 0 1 0 855101548 7188480 357 4294967295 134512640 134581267 3221224576 3221223488 134527537 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1755 357 566 18 0 1737 0
vsize: 7020
[startup+980.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26588
Raw data (stat): 26588 (Pueblo-v2) R 26587 25568 25567 0 -1 0 383 0 0 0 97664 369 0 0 25 0 1 0 855101548 7188480 357 4294967295 134512640 134581267 3221224576 3221223488 134527768 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1755 357 566 18 0 1737 0
vsize: 7020
[startup+990.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26588
Raw data (stat): 26588 (Pueblo-v2) R 26587 25568 25567 0 -1 0 383 0 0 0 98661 373 0 0 25 0 1 0 855101548 7188480 357 4294967295 134512640 134581267 3221224576 3221223488 134527504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1755 357 566 18 0 1737 0
vsize: 7020
[startup+1000.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26588
Raw data (stat): 26588 (Pueblo-v2) R 26587 25568 25567 0 -1 0 383 0 0 0 99659 376 0 0 25 0 1 0 855101548 7188480 357 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1755 357 566 18 0 1737 0
vsize: 7020
[startup+1010.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26588
Raw data (stat): 26588 (Pueblo-v2) R 26587 25568 25567 0 -1 0 384 0 0 0 100655 380 0 0 25 0 1 0 855101548 7188480 358 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1755 358 566 18 0 1737 0
vsize: 7020
[startup+1020.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26588
Raw data (stat): 26588 (Pueblo-v2) R 26587 25568 25567 0 -1 0 384 0 0 0 101651 385 0 0 25 0 1 0 855101548 7188480 358 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1755 358 566 18 0 1737 0
vsize: 7020
[startup+1030.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26588
Raw data (stat): 26588 (Pueblo-v2) R 26587 25568 25567 0 -1 0 384 0 0 0 102647 389 0 0 25 0 1 0 855101548 7188480 358 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1755 358 566 18 0 1737 0
vsize: 7020
[startup+1040.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26588
Raw data (stat): 26588 (Pueblo-v2) R 26587 25568 25567 0 -1 0 384 0 0 0 103644 393 0 0 25 0 1 0 855101548 7188480 358 4294967295 134512640 134581267 3221224576 3221223428 134527197 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1755 358 566 18 0 1737 0
vsize: 7020
[startup+1050.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26588
Raw data (stat): 26588 (Pueblo-v2) R 26587 25568 25567 0 -1 0 384 0 0 0 104641 396 0 0 25 0 1 0 855101548 7188480 358 4294967295 134512640 134581267 3221224576 3221223264 1075288414 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1755 358 566 18 0 1737 0
vsize: 7020
[startup+1060.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26588
Raw data (stat): 26588 (Pueblo-v2) R 26587 25568 25567 0 -1 0 384 0 0 0 105637 400 0 0 25 0 1 0 855101548 7188480 358 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1755 358 566 18 0 1737 0
vsize: 7020
[startup+1070.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26588
Raw data (stat): 26588 (Pueblo-v2) R 26587 25568 25567 0 -1 0 384 0 0 0 106634 403 0 0 25 0 1 0 855101548 7188480 358 4294967295 134512640 134581267 3221224576 3221223488 134527504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1755 358 566 18 0 1737 0
vsize: 7020
[startup+1080.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26588
Raw data (stat): 26588 (Pueblo-v2) R 26587 25568 25567 0 -1 0 384 0 0 0 107632 407 0 0 25 0 1 0 855101548 7188480 358 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1755 358 566 18 0 1737 0
vsize: 7020
[startup+1090.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26588
Raw data (stat): 26588 (Pueblo-v2) R 26587 25568 25567 0 -1 0 384 0 0 0 108629 410 0 0 25 0 1 0 855101548 7188480 358 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1755 358 566 18 0 1737 0
vsize: 7020
[startup+1100.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26588
Raw data (stat): 26588 (Pueblo-v2) R 26587 25568 25567 0 -1 0 385 0 0 0 109625 414 0 0 25 0 1 0 855101548 7188480 359 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1755 359 566 18 0 1737 0
vsize: 7020
[startup+1110.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26588
Raw data (stat): 26588 (Pueblo-v2) R 26587 25568 25567 0 -1 0 388 0 0 0 110622 418 0 0 25 0 1 0 855101548 7188480 362 4294967295 134512640 134581267 3221224576 3221223440 134528284 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1755 362 566 18 0 1737 0
vsize: 7020
[startup+1120.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26588
Raw data (stat): 26588 (Pueblo-v2) R 26587 25568 25567 0 -1 0 388 0 0 0 111618 421 0 0 25 0 1 0 855101548 7188480 362 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1755 362 566 18 0 1737 0
vsize: 7020
[startup+1130.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26588
Raw data (stat): 26588 (Pueblo-v2) R 26587 25568 25567 0 -1 0 388 0 0 0 112615 425 0 0 25 0 1 0 855101548 7188480 362 4294967295 134512640 134581267 3221224576 3221223488 134527423 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1755 362 566 18 0 1737 0
vsize: 7020
[startup+1140.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26588
Raw data (stat): 26588 (Pueblo-v2) R 26587 25568 25567 0 -1 0 388 0 0 0 113612 428 0 0 25 0 1 0 855101548 7188480 362 4294967295 134512640 134581267 3221224576 3221223488 134527457 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1755 362 566 18 0 1737 0
vsize: 7020
[startup+1150.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26588
Raw data (stat): 26588 (Pueblo-v2) R 26587 25568 25567 0 -1 0 388 0 0 0 114608 433 0 0 25 0 1 0 855101548 7188480 362 4294967295 134512640 134581267 3221224576 3221223472 134527747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1755 362 566 18 0 1737 0
vsize: 7020
[startup+1160.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26588
Raw data (stat): 26588 (Pueblo-v2) R 26587 25568 25567 0 -1 0 388 0 0 0 115604 437 0 0 25 0 1 0 855101548 7188480 362 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1755 362 566 18 0 1737 0
vsize: 7020
[startup+1170.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26588
Raw data (stat): 26588 (Pueblo-v2) R 26587 25568 25567 0 -1 0 388 0 0 0 116601 441 0 0 25 0 1 0 855101548 7188480 362 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1755 362 566 18 0 1737 0
vsize: 7020
[startup+1180.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26588
Raw data (stat): 26588 (Pueblo-v2) R 26587 25568 25567 0 -1 0 388 0 0 0 117597 445 0 0 25 0 1 0 855101548 7188480 362 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1755 362 566 18 0 1737 0
vsize: 7020
[startup+1188.62 s]
Raw data (loadavg): 1.00 0.99 0.91 1/53 26588
Raw data (stat): 26588 (Pueblo-v2) R 26587 25568 25567 0 -1 0 388 0 0 0 117597 445 0 0 25 0 1 0 855101548 7188480 362 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1755 362 566 18 0 1737 0
vsize: 0

Child status: 10
Real time (s): 1188.62
CPU time (s): 1189.01
CPU user time (s): 1184.52
CPU system time (s): 4.48532
CPU usage (%): 100.032
Max. virtual memory (Kb): 7020
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	14228
#### END VERIFIER DATA ####