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/www.csit.fsu.edu/~burkardt/datasets/mps/normalized-mps-v2-13-7-afiro.opb
MD5SUM	54588598df6d934a1c188bcc0918a0bb
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-1486831
Optimality of the best value was proved	NO
Number of terms in the objective function	100
Biggest coefficient in the objective function	131072000
Number of bits for the biggest coefficient in the objective function	27
Sum of the numbers in the objective function	309329625
Number of bits of the sum of numbers in the objective function	29
Biggest number in a constraint	1273495552
Number of bits of the biggest number in a constraint	31
Biggest sum of numbers in a constraint	20473426875
Number of bits of the biggest sum of numbers	35
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	482.164
Number of variables	640
Total number of constraints	27
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	27
Minimum length of a constraint	20
Maximum length of a constraint	180
Trace number 39376

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        191368 kB
Buffers:         34080 kB
Cached:         786064 kB
SwapCached:       1160 kB
Active:          61636 kB
Inactive:       760964 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        191116 kB
SwapTotal:     2097136 kB
SwapFree:      2095024 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5052 kB
Slab:            14964 kB
Committed_AS:    71788 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-03 04:45:08 (client local time) WITH STATUS 10 IN 1189.01 SECONDS
stats: 27439 6 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/wulflinc2/normalized-mps-v2-13-7-afiro.opb
c #variables read: 640 - #constraints read: 36
s SATISFIABLE
v -X02_bit_7 -X02_bit_6 -X02_bit_5 X02_bit_4 X02_bit_3 -X02_bit_2 -X02_bit_1 X02_bit0 -X02_bit1 -X02_bit2 X02_bit3 X02_bit4 -X02_bit5 -X02_bit6 -X02_bit7 -X02_bit8 -X02_bit9 -X02_bit10 -X02_bit11 -X02_bit12 X14_bit_7 X14_bit_6 X14_bit_5 -X14_bit_4 -X14_bit_3 X14_bit_2 -X14_bit_1 -X14_bit0 -X14_bit1 -X14_bit2 -X14_bit3 -X14_bit4 -X14_bit5 -X14_bit6 -X14_bit7 -X14_bit8 -X14_bit9 -X14_bit10 -X14_bit11 -X14_bit12 X23_bit_7 -X23_bit_6 -X23_bit_5 -X23_bit_4 -X23_bit_3 -X23_bit_2 -X23_bit_1 -X23_bit0 -X23_bit1 X23_bit2 X23_bit3 X23_bit4 -X23_bit5 X23_bit6 X23_bit7 X23_bit8 -X23_bit9 -X23_bit10 -X23_bit11 -X23_bit12 -X36_bit_7 -X36_bit_6 -X36_bit_5 -X36_bit_4 -X36_bit_3 -X36_bit_2 -X36_bit_1 -X36_bit0 -X36_bit1 X36_bit2 -X36_bit3 X36_bit4 -X36_bit5 X36_bit6 -X36_bit7 X36_bit8 -X36_bit9 -X36_bit10 -X36_bit11 -X36_bit12 -X39_bit_7 -X39_bit_6 -X39_bit_5 -X39_bit_4 -X39_bit_3 -X39_bit_2 -X39_bit_1 -X39_bit0 -X39_bit1 -X39_bit2 -X39_bit3 -X39_bit4 -X39_bit5 -X39_bit6 -X39_bit7 -X39_bit8 -X39_bit9 -X39_bit10 -X39_bit11 -X39_bit12 -X01_bit_7 -X01_bit_6 -X01_bit_5 X01_bit_4 X01_bit_3 -X01_bit_2 X01_bit_1 X01_bit0 X01_bit1 X01_bit2 X01_bit3 -X01_bit4 -X01_bit5 X01_bit6 -X01_bit7 -X01_bit8 -X01_bit9 -X01_bit10 -X01_bit11 -X01_bit12 -X03_bit_7 -X03_bit_6 -X03_bit_5 -X03_bit_4 -X03_bit_3 -X03_bit_2 X03_bit_1 -X03_bit0 X03_bit1 X03_bit2 -X03_bit3 X03_bit4 X03_bit5 -X03_bit6 -X03_bit7 -X03_bit8 -X03_bit9 -X03_bit10 -X03_bit11 -X03_bit12 -X04_bit_7 -X04_bit_6 X04_bit_5 X04_bit_4 X04_bit_3 X04_bit_2 -X04_bit_1 -X04_bit0 -X04_bit1 X04_bit2 -X04_bit3 X04_bit4 -X04_bit5 X04_bit6 -X04_bit7 -X04_bit8 -X04_bit9 -X04_bit10 -X04_bit11 -X04_bit12 -X06_bit_7 -X06_bit_6 -X06_bit_5 X06_bit_4 -X06_bit_3 -X06_bit_2 -X06_bit_1 -X06_bit0 -X06_bit1 -X06_bit2 -X06_bit3 -X06_bit4 -X06_bit5 -X06_bit6 -X06_bit7 -X06_bit8 -X06_bit9 -X06_bit10 -X06_bit11 -X06_bit12 -X07_bit_7 -X07_bit_6 -X07_bit_5 -X07_bit_4 X07_bit_3 -X07_bit_2 -X07_bit_1 -X07_bit0 -X07_bit1 -X07_bit2 -X07_bit3 -X07_bit4 -X07_bit5 -X07_bit6 -X07_bit7 -X07_bit8 -X07_bit9 -X07_bit10 -X07_bit11 -X07_bit12 -X08_bit_7 -X08_bit_6 -X08_bit_5 X08_bit_4 -X08_bit_3 -X08_bit_2 -X08_bit_1 -X08_bit0 -X08_bit1 -X08_bit2 -X08_bit3 -X08_bit4 -X08_bit5 -X08_bit6 -X08_bit7 -X08_bit8 -X08_bit9 -X08_bit10 -X08_bit11 -X08_bit12 -X09_bit_7 -X09_bit_6 -X09_bit_5 X09_bit_4 -X09_bit_3 -X09_bit_2 -X09_bit_1 -X09_bit0 -X09_bit1 -X09_bit2 -X09_bit3 -X09_bit4 -X09_bit5 -X09_bit6 -X09_bit7 -X09_bit8 -X09_bit9 -X09_bit10 -X09_bit11 -X09_bit12 X15_bit_7 -X15_bit_6 -X15_bit_5 -X15_bit_4 -X15_bit_3 -X15_bit_2 -X15_bit_1 -X15_bit0 -X15_bit1 -X15_bit2 -X15_bit3 -X15_bit4 -X15_bit5 -X15_bit6 -X15_bit7 -X15_bit8 -X15_bit9 -X15_bit10 -X15_bit11 -X15_bit12 -X16_bit_7 -X16_bit_6 -X16_bit_5 X16_bit_4 -X16_bit_3 X16_bit_2 -X16_bit_1 -X16_bit0 -X16_bit1 -X16_bit2 -X16_bit3 -X16_bit4 -X16_bit5 -X16_bit6 -X16_bit7 -X16_bit8 -X16_bit9 -X16_bit10 -X16_bit11 -X16_bit12 -X22_bit_7 -X22_bit_6 -X22_bit_5 -X22_bit_4 -X22_bit_3 -X22_bit_2 -X22_bit_1 -X22_bit0 -X22_bit1 X22_bit2 -X22_bit3 X22_bit4 X22_bit5 X22_bit6 X22_bit7 X22_bit8 -X22_bit9 -X22_bit10 -X22_bit11 -X22_bit12 X24_bit_7 X24_bit_6 X24_bit_5 X24_bit_4 X24_bit_3 X24_bit_2 X24_bit_1 X24_bit0 X24_bit1 X24_bit2 -X24_bit3 X24_bit4 -X24_bit5 -X24_bit6 -X24_bit7 -X24_bit8 -X24_bit9 -X24_bit10 -X24_bit11 -X24_bit12 -X25_bit_7 -X25_bit_6 -X25_bit_5 -X25_bit_4 -X25_bit_3 -X25_bit_2 -X25_bit_1 -X25_bit0 -X25_bit1 -X25_bit2 -X25_bit3 -X25_bit4 -X25_bit5 -X25_bit6 -X25_bit7 -X25_bit8 -X25_bit9 -X25_bit10 -X25_bit11 -X25_bit12 -X26_bit_7 -X26_bit_6 -X26_bit_5 -X26_bit_4 -X26_bit_3 -X26_bit_2 -X26_bit_1 X26_bit0 X26_bit1 X26_bit2 -X26_bit3 X26_bit4 -X26_bit5 X26_bit6 X26_bit7 -X26_bit8 -X26_bit9 -X26_bit10 -X26_bit11 -X26_bit12 -X28_bit_7 -X28_bit_6 -X28_bit_5 -X28_bit_4 -X28_bit_3 -X28_bit_2 -X28_bit_1 -X28_bit0 -X28_bit1 -X28_bit2 -X28_bit3 -X28_bit4 -X28_bit5 -X28_bit6 -X28_bit7 -X28_bit8 -X28_bit9 -X28_bit10 -X28_bit11 -X28_bit12 -X29_bit_7 -X29_bit_6 -X29_bit_5 -X29_bit_4 -X29_bit_3 -X29_bit_2 -X29_bit_1 -X29_bit0 -X29_bit1 -X29_bit2 -X29_bit3 -X29_bit4 -X29_bit5 -X29_bit6 -X29_bit7 -X29_bit8 -X29_bit9 -X29_bit10 -X29_bit11 -X29_bit12 -X30_bit_7 X30_bit_6 -X30_bit_5 -X30_bit_4 -X30_bit_3 -X30_bit_2 -X30_bit_1 -X30_bit0 -X30_bit1 -X30_bit2 -X30_bit3 -X30_bit4 -X30_bit5 -X30_bit6 -X30_bit7 -X30_bit8 -X30_bit9 -X30_bit10 -X30_bit11 -X30_bit12 -X31_bit_7 X31_bit_6 X31_bit_5 -X31_bit_4 -X31_bit_3 -X31_bit_2 -X31_bit_1 -X31_bit0 -X31_bit1 -X31_bit2 -X31_bit3 -X31_bit4 -X31_bit5 -X31_bit6 -X31_bit7 -X31_bit8 -X31_bit9 -X31_bit10 -X31_bit11 -X31_bit12 X38_bit_7 X38_bit_6 -X38_bit_5 -X38_bit_4 -X38_bit_3 -X38_bit_2 -X38_bit_1 -X38_bit0 -X38_bit1 -X38_bit2 -X38_bit3 -X38_bit4 -X38_bit5 -X38_bit6 -X38_bit7 -X38_bit8 -X38_bit9 -X38_bit10 -X38_bit11 -X38_bit12 -X37_bit_7 -X37_bit_6 -X37_bit_5 X37_bit_4 X37_bit_3 X37_bit_2 X37_bit_1 X37_bit0 X37_bit1 X37_bit2 X37_bit3 X37_bit4 X37_bit5 X37_bit6 -X37_bit7 X37_bit8 -X37_bit9 -X37_bit10 -X37_bit11 -X37_bit12 -X10_bit_7 -X10_bit_6 -X10_bit_5 -X10_bit_4 -X10_bit_3 -X10_bit_2 -X10_bit_1 -X10_bit0 -X10_bit1 -X10_bit2 -X10_bit3 -X10_bit4 -X10_bit5 -X10_bit6 -X10_bit7 -X10_bit8 -X10_bit9 -X10_bit10 -X10_bit11 -X10_bit12 -X11_bit_7 -X11_bit_6 -X11_bit_5 -X11_bit_4 -X11_bit_3 -X11_bit_2 -X11_bit_1 -X11_bit0 -X11_bit1 -X11_bit2 -X11_bit3 -X11_bit4 -X11_bit5 -X11_bit6 -X11_bit7 -X11_bit8 -X11_bit9 -X11_bit10 -X11_bit11 X11_bit12 -X12_bit_7 -X12_bit_6 -X12_bit_5 -X12_bit_4 -X12_bit_3 -X12_bit_2 -X12_bit_1 -X12_bit0 -X12_bit1 -X12_bit2 -X12_bit3 -X12_bit4 -X12_bit5 -X12_bit6 -X12_bit7 -X12_bit8 -X12_bit9 -X12_bit10 -X12_bit11 X12_bit12 -X13_bit_7 -X13_bit_6 -X13_bit_5 -X13_bit_4 -X13_bit_3 -X13_bit_2 -X13_bit_1 -X13_bit0 -X13_bit1 -X13_bit2 -X13_bit3 -X13_bit4 -X13_bit5 -X13_bit6 -X13_bit7 -X13_bit8 -X13_bit9 -X13_bit10 -X13_bit11 X13_bit12 -X32_bit_7 -X32_bit_6 -X32_bit_5 -X32_bit_4 -X32_bit_3 -X32_bit_2 -X32_bit_1 -X32_bit0 -X32_bit1 -X32_bit2 -X32_bit3 -X32_bit4 -X32_bit5 -X32_bit6 -X32_bit7 -X32_bit8 -X32_bit9 -X32_bit10 -X32_bit11 -X32_bit12 -X33_bit_7 -X33_bit_6 -X33_bit_5 -X33_bit_4 -X33_bit_3 -X33_bit_2 -X33_bit_1 -X33_bit0 -X33_bit1 -X33_bit2 -X33_bit3 -X33_bit4 -X33_bit5 -X33_bit6 -X33_bit7 -X33_bit8 -X33_bit9 -X33_bit10 -X33_bit11 -X33_bit12 -X34_bit_7 -X34_bit_6 -X34_bit_5 -X34_bit_4 -X34_bit_3 -X34_bit_2 -X34_bit_1 -X34_bit0 -X34_bit1 -X34_bit2 -X34_bit3 -X34_bit4 -X34_bit5 -X34_bit6 -X34_bit7 -X34_bit8 -X34_bit9 -X34_bit10 -X34_bit11 X34_bit12 -X35_bit_7 -X35_bit_6 -X35_bit_5 -X35_bit_4 -X35_bit_3 -X35_bit_2 -X35_bit_1 -X35_bit0 -X35_bit1 -X35_bit2 -X35_bit3 -X35_bit4 -X35_bit5 -X35_bit6 -X35_bit7 -X35_bit8 -X35_bit9 -X35_bit10 -X35_bit11 X35_bit12 
#### 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.95 0.96 0.91 2/54 4589
Raw data (stat): 4589 (runsolver) R 4588 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 855533989 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0009 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 4589
Raw data (stat): 4589 (Pueblo-v2) R 4588 31399 31398 0 -1 0 881 0 0 0 956 42 0 0 25 0 1 0 855533989 10215424 855 4294967295 134512640 134581267 3221224576 3221223488 134527695 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2494 855 566 18 0 2476 0
vsize: 9976
[startup+20.0014 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 4589
Raw data (stat): 4589 (Pueblo-v2) R 4588 31399 31398 0 -1 0 1030 0 0 0 1933 65 0 0 25 0 1 0 855533989 11030528 1004 4294967295 134512640 134581267 3221224576 3221223488 134527539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2693 1004 566 18 0 2675 0
vsize: 10772
[startup+30.0016 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 4589
Raw data (stat): 4589 (Pueblo-v2) R 4588 31399 31398 0 -1 0 1056 0 0 0 2922 77 0 0 25 0 1 0 855533989 11030528 1030 4294967295 134512640 134581267 3221224576 3221223488 134527718 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2693 1030 566 18 0 2675 0
vsize: 10772
[startup+40.002 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 4589
Raw data (stat): 4589 (Pueblo-v2) R 4588 31399 31398 0 -1 0 1115 0 0 0 3903 96 0 0 25 0 1 0 855533989 11177984 1089 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2729 1089 566 18 0 2711 0
vsize: 10916
[startup+50.0024 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 4589
Raw data (stat): 4589 (Pueblo-v2) R 4588 31399 31398 0 -1 0 1258 0 0 0 4892 107 0 0 25 0 1 0 855533989 12124160 1232 4294967295 134512640 134581267 3221224576 3221223488 134527423 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2960 1232 566 18 0 2942 0
vsize: 11840
[startup+60.0027 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 4589
Raw data (stat): 4589 (Pueblo-v2) R 4588 31399 31398 0 -1 0 1422 0 0 0 5883 116 0 0 25 0 1 0 855533989 12910592 1396 4294967295 134512640 134581267 3221224576 3221223488 134527539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3152 1396 566 18 0 3134 0
vsize: 12608
[startup+70.0038 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 4589
Raw data (stat): 4589 (Pueblo-v2) R 4588 31399 31398 0 -1 0 1453 0 0 0 6857 142 0 0 25 0 1 0 855533989 12124160 1307 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2960 1307 566 18 0 2942 0
vsize: 11840
[startup+80.0034 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 4589
Raw data (stat): 4589 (Pueblo-v2) R 4588 31399 31398 0 -1 0 1477 0 0 0 7827 173 0 0 25 0 1 0 855533989 12124160 1331 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2960 1331 566 18 0 2942 0
vsize: 11840
[startup+90.0028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4589
Raw data (stat): 4589 (Pueblo-v2) R 4588 31399 31398 0 -1 0 1685 0 0 0 8792 207 0 0 25 0 1 0 855533989 13434880 1539 4294967295 134512640 134581267 3221224576 3221223488 134527652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3280 1539 566 18 0 3262 0
vsize: 13120
[startup+100.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4589
Raw data (stat): 4589 (Pueblo-v2) R 4588 31399 31398 0 -1 0 1685 0 0 0 9783 217 0 0 25 0 1 0 855533989 13434880 1539 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3280 1539 566 18 0 3262 0
vsize: 13120
[startup+110.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4589
Raw data (stat): 4589 (Pueblo-v2) R 4588 31399 31398 0 -1 0 1694 0 0 0 10777 223 0 0 25 0 1 0 855533989 13434880 1548 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3280 1548 566 18 0 3262 0
vsize: 13120
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4589
Raw data (stat): 4589 (Pueblo-v2) R 4588 31399 31398 0 -1 0 1712 0 0 0 11741 259 0 0 25 0 1 0 855533989 12648448 1446 4294967295 134512640 134581267 3221224576 3221223488 134527737 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3088 1446 566 18 0 3070 0
vsize: 12352
[startup+130.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4589
Raw data (stat): 4589 (Pueblo-v2) R 4588 31399 31398 0 -1 0 1772 0 0 0 12704 297 0 0 25 0 1 0 855533989 12976128 1506 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3168 1506 566 18 0 3150 0
vsize: 12672
[startup+140.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4589
Raw data (stat): 4589 (Pueblo-v2) R 4588 31399 31398 0 -1 0 1931 0 0 0 13680 320 0 0 25 0 1 0 855533989 13926400 1665 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3400 1665 566 18 0 3382 0
vsize: 13600
[startup+150.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4589
Raw data (stat): 4589 (Pueblo-v2) R 4588 31399 31398 0 -1 0 1954 0 0 0 14667 333 0 0 25 0 1 0 855533989 13926400 1688 4294967295 134512640 134581267 3221224576 3221223488 134527539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3400 1688 566 18 0 3382 0
vsize: 13600
[startup+160.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4589
Raw data (stat): 4589 (Pueblo-v2) R 4588 31399 31398 0 -1 0 1969 0 0 0 15656 345 0 0 25 0 1 0 855533989 13926400 1703 4294967295 134512640 134581267 3221224576 3221223488 134527442 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3400 1703 566 18 0 3382 0
vsize: 13600
[startup+170.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4589
Raw data (stat): 4589 (Pueblo-v2) R 4588 31399 31398 0 -1 0 1984 0 0 0 16640 361 0 0 25 0 1 0 855533989 13926400 1718 4294967295 134512640 134581267 3221224576 3221223488 134527774 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3400 1718 566 18 0 3382 0
vsize: 13600
[startup+180.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4589
Raw data (stat): 4589 (Pueblo-v2) R 4588 31399 31398 0 -1 0 1984 0 0 0 17640 361 0 0 25 0 1 0 855533989 13926400 1718 4294967295 134512640 134581267 3221224576 3221223488 134527442 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3400 1718 566 18 0 3382 0
vsize: 13600
[startup+190.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4589
Raw data (stat): 4589 (Pueblo-v2) R 4588 31399 31398 0 -1 0 1984 0 0 0 18640 361 0 0 25 0 1 0 855533989 13926400 1718 4294967295 134512640 134581267 3221224576 3221223488 134527539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3400 1718 566 18 0 3382 0
vsize: 13600
[startup+200.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4589
Raw data (stat): 4589 (Pueblo-v2) R 4588 31399 31398 0 -1 0 1984 0 0 0 19640 361 0 0 25 0 1 0 855533989 13926400 1718 4294967295 134512640 134581267 3221224576 3221223548 134527302 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3400 1718 566 18 0 3382 0
vsize: 13600
[startup+210.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4589
Raw data (stat): 4589 (Pueblo-v2) R 4588 31399 31398 0 -1 0 1984 0 0 0 20641 361 0 0 25 0 1 0 855533989 13926400 1718 4294967295 134512640 134581267 3221224576 3221223488 134527774 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3400 1718 566 18 0 3382 0
vsize: 13600
[startup+220.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4589
Raw data (stat): 4589 (Pueblo-v2) R 4588 31399 31398 0 -1 0 2016 0 0 0 21621 381 0 0 25 0 1 0 855533989 13926400 1750 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3400 1750 566 18 0 3382 0
vsize: 13600
[startup+230.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4589
Raw data (stat): 4589 (Pueblo-v2) R 4588 31399 31398 0 -1 0 2433 0 0 0 22597 405 0 0 25 0 1 0 855533989 17072128 2167 4294967295 134512640 134581267 3221224576 3221223488 134527525 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4168 2167 566 18 0 4150 0
vsize: 16672
[startup+240.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4589
Raw data (stat): 4589 (Pueblo-v2) R 4588 31399 31398 0 -1 0 2509 0 0 0 23570 432 0 0 25 0 1 0 855533989 17264640 2243 4294967295 134512640 134581267 3221224576 3221223488 134527768 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4215 2243 566 18 0 4197 0
vsize: 16860
[startup+250.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4589
Raw data (stat): 4589 (Pueblo-v2) R 4588 31399 31398 0 -1 0 2537 0 0 0 24542 461 0 0 25 0 1 0 855533989 17264640 2271 4294967295 134512640 134581267 3221224576 3221223488 134527692 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4215 2271 566 18 0 4197 0
vsize: 16860
[startup+260.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4589
Raw data (stat): 4589 (Pueblo-v2) R 4588 31399 31398 0 -1 0 2577 0 0 0 25510 493 0 0 25 0 1 0 855533989 17264640 2311 4294967295 134512640 134581267 3221224576 3221223488 134527725 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4215 2311 566 18 0 4197 0
vsize: 16860
[startup+270.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4589
Raw data (stat): 4589 (Pueblo-v2) R 4588 31399 31398 0 -1 0 2605 0 0 0 26485 518 0 0 25 0 1 0 855533989 17264640 2339 4294967295 134512640 134581267 3221224576 3221223488 134527712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4215 2339 566 18 0 4197 0
vsize: 16860
[startup+280.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4589
Raw data (stat): 4589 (Pueblo-v2) R 4588 31399 31398 0 -1 0 2619 0 0 0 27476 527 0 0 25 0 1 0 855533989 17264640 2353 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4215 2353 566 18 0 4197 0
vsize: 16860
[startup+290.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4589
Raw data (stat): 4589 (Pueblo-v2) R 4588 31399 31398 0 -1 0 2621 0 0 0 28468 535 0 0 25 0 1 0 855533989 17264640 2355 4294967295 134512640 134581267 3221224576 3221223488 134527768 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4215 2355 566 18 0 4197 0
vsize: 16860
[startup+300.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4589
Raw data (stat): 4589 (Pueblo-v2) R 4588 31399 31398 0 -1 0 2634 0 0 0 29460 544 0 0 25 0 1 0 855533989 17264640 2368 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4215 2368 566 18 0 4197 0
vsize: 16860
[startup+310.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4589
Raw data (stat): 4589 (Pueblo-v2) R 4588 31399 31398 0 -1 0 2647 0 0 0 30454 550 0 0 25 0 1 0 855533989 17264640 2381 4294967295 134512640 134581267 3221224576 3221223488 134527539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4215 2381 566 18 0 4197 0
vsize: 16860
[startup+320.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4589
Raw data (stat): 4589 (Pueblo-v2) R 4588 31399 31398 0 -1 0 2669 0 0 0 31442 562 0 0 25 0 1 0 855533989 17461248 2403 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4263 2403 566 18 0 4245 0
vsize: 17052
[startup+330.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4589
Raw data (stat): 4589 (Pueblo-v2) R 4588 31399 31398 0 -1 0 2688 0 0 0 32430 574 0 0 25 0 1 0 855533989 17461248 2422 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4263 2422 566 18 0 4245 0
vsize: 17052
[startup+340.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4589
Raw data (stat): 4589 (Pueblo-v2) R 4588 31399 31398 0 -1 0 2715 0 0 0 33418 586 0 0 25 0 1 0 855533989 17461248 2449 4294967295 134512640 134581267 3221224576 3221223488 134527342 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4263 2449 566 18 0 4245 0
vsize: 17052
[startup+350.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4589
Raw data (stat): 4589 (Pueblo-v2) R 4588 31399 31398 0 -1 0 2753 0 0 0 34408 596 0 0 25 0 1 0 855533989 17657856 2487 4294967295 134512640 134581267 3221224576 3221223488 134527678 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4311 2487 566 18 0 4293 0
vsize: 17244
[startup+360.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4589
Raw data (stat): 4589 (Pueblo-v2) R 4588 31399 31398 0 -1 0 2798 0 0 0 35401 603 0 0 25 0 1 0 855533989 17854464 2532 4294967295 134512640 134581267 3221224576 3221223536 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4359 2532 566 18 0 4341 0
vsize: 17436
[startup+370.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4589
Raw data (stat): 4589 (Pueblo-v2) R 4588 31399 31398 0 -1 0 2824 0 0 0 36393 612 0 0 25 0 1 0 855533989 18051072 2558 4294967295 134512640 134581267 3221224576 3221223488 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4407 2558 566 18 0 4389 0
vsize: 17628
[startup+380.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4589
Raw data (stat): 4589 (Pueblo-v2) R 4588 31399 31398 0 -1 0 3480 0 0 0 37379 626 0 0 25 0 1 0 855533989 20606976 2936 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5031 2936 566 18 0 5013 0
vsize: 20124
[startup+390.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4589
Raw data (stat): 4589 (Pueblo-v2) R 4588 31399 31398 0 -1 0 3537 0 0 0 38344 661 0 0 25 0 1 0 855533989 19038208 2697 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4648 2697 566 18 0 4630 0
vsize: 18592
[startup+400.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4589
Raw data (stat): 4589 (Pueblo-v2) R 4588 31399 31398 0 -1 0 3574 0 0 0 39314 691 0 0 25 0 1 0 855533989 19038208 2734 4294967295 134512640 134581267 3221224576 3221223488 134527445 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4648 2734 566 18 0 4630 0
vsize: 18592
[startup+410.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4589
Raw data (stat): 4589 (Pueblo-v2) R 4588 31399 31398 0 -1 0 3609 0 0 0 40296 710 0 0 25 0 1 0 855533989 19038208 2769 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4648 2769 566 18 0 4630 0
vsize: 18592
[startup+420.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4589
Raw data (stat): 4589 (Pueblo-v2) R 4588 31399 31398 0 -1 0 3610 0 0 0 41292 714 0 0 25 0 1 0 855533989 17989632 2610 4294967295 134512640 134581267 3221224576 3221223488 134527695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4392 2610 566 18 0 4374 0
vsize: 17568
[startup+430.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4589
Raw data (stat): 4589 (Pueblo-v2) R 4588 31399 31398 0 -1 0 3739 0 0 0 42285 721 0 0 25 0 1 0 855533989 17203200 2499 4294967295 134512640 134581267 3221224576 3221223488 134527418 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4200 2499 566 18 0 4182 0
vsize: 16800
[startup+440.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4589
Raw data (stat): 4589 (Pueblo-v2) R 4588 31399 31398 0 -1 0 3739 0 0 0 43285 721 0 0 25 0 1 0 855533989 17203200 2499 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4200 2499 566 18 0 4182 0
vsize: 16800
[startup+450.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4589
Raw data (stat): 4589 (Pueblo-v2) R 4588 31399 31398 0 -1 0 3739 0 0 0 44285 721 0 0 25 0 1 0 855533989 17203200 2499 4294967295 134512640 134581267 3221224576 3221223488 134527516 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4200 2499 566 18 0 4182 0
vsize: 16800
[startup+460.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4589
Raw data (stat): 4589 (Pueblo-v2) R 4588 31399 31398 0 -1 0 3739 0 0 0 45285 721 0 0 25 0 1 0 855533989 17203200 2499 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4200 2499 566 18 0 4182 0
vsize: 16800
[startup+470.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4589
Raw data (stat): 4589 (Pueblo-v2) R 4588 31399 31398 0 -1 0 3739 0 0 0 46286 721 0 0 25 0 1 0 855533989 17203200 2499 4294967295 134512640 134581267 3221224576 3221223488 134527768 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4200 2499 566 18 0 4182 0
vsize: 16800
[startup+480.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4589
Raw data (stat): 4589 (Pueblo-v2) R 4588 31399 31398 0 -1 0 3739 0 0 0 47286 721 0 0 25 0 1 0 855533989 17203200 2499 4294967295 134512640 134581267 3221224576 3221223488 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4200 2499 566 18 0 4182 0
vsize: 16800
[startup+490.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4589
Raw data (stat): 4589 (Pueblo-v2) R 4588 31399 31398 0 -1 0 3739 0 0 0 48286 721 0 0 25 0 1 0 855533989 17203200 2499 4294967295 134512640 134581267 3221224576 3221223488 134527765 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4200 2499 566 18 0 4182 0
vsize: 16800
[startup+500.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4589
Raw data (stat): 4589 (Pueblo-v2) R 4588 31399 31398 0 -1 0 3739 0 0 0 49286 721 0 0 25 0 1 0 855533989 17203200 2499 4294967295 134512640 134581267 3221224576 3221223488 134527768 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4200 2499 566 18 0 4182 0
vsize: 16800
[startup+510.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4589
Raw data (stat): 4589 (Pueblo-v2) R 4588 31399 31398 0 -1 0 3739 0 0 0 50286 721 0 0 25 0 1 0 855533989 17203200 2499 4294967295 134512640 134581267 3221224576 3221223488 134527445 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4200 2499 566 18 0 4182 0
vsize: 16800
[startup+520.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4589
Raw data (stat): 4589 (Pueblo-v2) R 4588 31399 31398 0 -1 0 3739 0 0 0 51286 721 0 0 25 0 1 0 855533989 17203200 2499 4294967295 134512640 134581267 3221224576 3221223488 134527539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4200 2499 566 18 0 4182 0
vsize: 16800
[startup+530.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4589
Raw data (stat): 4589 (Pueblo-v2) R 4588 31399 31398 0 -1 0 3739 0 0 0 52286 722 0 0 25 0 1 0 855533989 17203200 2499 4294967295 134512640 134581267 3221224576 3221223480 134527797 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4200 2499 566 18 0 4182 0
vsize: 16800
[startup+540.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4589
Raw data (stat): 4589 (Pueblo-v2) R 4588 31399 31398 0 -1 0 3739 0 0 0 53286 722 0 0 25 0 1 0 855533989 17203200 2499 4294967295 134512640 134581267 3221224576 3221223488 134527779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4200 2499 566 18 0 4182 0
vsize: 16800
[startup+550.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4589
Raw data (stat): 4589 (Pueblo-v2) R 4588 31399 31398 0 -1 0 3739 0 0 0 54286 722 0 0 25 0 1 0 855533989 17203200 2499 4294967295 134512640 134581267 3221224576 3221223488 134527434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4200 2499 566 18 0 4182 0
vsize: 16800
[startup+560.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4589
Raw data (stat): 4589 (Pueblo-v2) R 4588 31399 31398 0 -1 0 3779 0 0 0 55281 727 0 0 25 0 1 0 855533989 16678912 2419 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4072 2419 566 18 0 4054 0
vsize: 16288
[startup+570.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4589
Raw data (stat): 4589 (Pueblo-v2) R 4588 31399 31398 0 -1 0 3999 0 0 0 56252 756 0 0 25 0 1 0 855533989 16678912 2437 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4072 2437 566 18 0 4054 0
vsize: 16288
[startup+580.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4589
Raw data (stat): 4589 (Pueblo-v2) R 4588 31399 31398 0 -1 0 4008 0 0 0 57229 779 0 0 25 0 1 0 855533989 16416768 2385 4294967295 134512640 134581267 3221224576 3221223488 134527779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4008 2385 566 18 0 3990 0
vsize: 16032
[startup+590.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4589
Raw data (stat): 4589 (Pueblo-v2) R 4588 31399 31398 0 -1 0 4017 0 0 0 58220 789 0 0 25 0 1 0 855533989 16416768 2394 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4008 2394 566 18 0 3990 0
vsize: 16032
[startup+600.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4589
Raw data (stat): 4589 (Pueblo-v2) R 4588 31399 31398 0 -1 0 4023 0 0 0 59204 805 0 0 25 0 1 0 855533989 15630336 2214 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3816 2214 566 18 0 3798 0
vsize: 15264
[startup+610.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4589
Raw data (stat): 4589 (Pueblo-v2) R 4588 31399 31398 0 -1 0 4023 0 0 0 60192 818 0 0 25 0 1 0 855533989 15630336 2214 4294967295 134512640 134581267 3221224576 3221223488 134527948 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3816 2214 566 18 0 3798 0
vsize: 15264
[startup+620.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4589
Raw data (stat): 4589 (Pueblo-v2) R 4588 31399 31398 0 -1 0 4029 0 0 0 61175 834 0 0 25 0 1 0 855533989 15630336 2220 4294967295 134512640 134581267 3221224576 3221223488 134527410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3816 2220 566 18 0 3798 0
vsize: 15264
[startup+630.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4589
Raw data (stat): 4589 (Pueblo-v2) R 4588 31399 31398 0 -1 0 4035 0 0 0 62162 847 0 0 25 0 1 0 855533989 17203200 2226 4294967295 134512640 134581267 3221224576 3221223488 134531368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4200 2226 566 18 0 4182 0
vsize: 16800
[startup+640.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4589
Raw data (stat): 4589 (Pueblo-v2) R 4588 31399 31398 0 -1 0 4041 0 0 0 63148 862 0 0 25 0 1 0 855533989 17203200 2232 4294967295 134512640 134581267 3221224576 3221223556 134560749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4200 2232 566 18 0 4182 0
vsize: 16800
[startup+650.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4589
Raw data (stat): 4589 (Pueblo-v2) R 4588 31399 31398 0 -1 0 4041 0 0 0 64143 867 0 0 25 0 1 0 855533989 17203200 2232 4294967295 134512640 134581267 3221224576 3221223520 134559422 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4200 2232 566 18 0 4182 0
vsize: 16800
[startup+660.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4589
Raw data (stat): 4589 (Pueblo-v2) R 4588 31399 31398 0 -1 0 4047 0 0 0 65122 888 0 0 25 0 1 0 855533989 17203200 2238 4294967295 134512640 134581267 3221224576 3221223488 134527513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4200 2238 566 18 0 4182 0
vsize: 16800
[startup+670.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4589
Raw data (stat): 4589 (Pueblo-v2) R 4588 31399 31398 0 -1 0 4065 0 0 0 66090 921 0 0 25 0 1 0 855533989 17203200 2256 4294967295 134512640 134581267 3221224576 3221223488 134527645 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4200 2256 566 18 0 4182 0
vsize: 16800
[startup+680.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4589
Raw data (stat): 4589 (Pueblo-v2) R 4588 31399 31398 0 -1 0 4071 0 0 0 67068 942 0 0 25 0 1 0 855533989 17203200 2262 4294967295 134512640 134581267 3221224576 3221223488 134528040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4200 2262 566 18 0 4182 0
vsize: 16800
[startup+690.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4589
Raw data (stat): 4589 (Pueblo-v2) R 4588 31399 31398 0 -1 0 4089 0 0 0 68037 973 0 0 25 0 1 0 855533989 17203200 2280 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4200 2280 566 18 0 4182 0
vsize: 16800
[startup+700.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4589
Raw data (stat): 4589 (Pueblo-v2) R 4588 31399 31398 0 -1 0 4095 0 0 0 69017 994 0 0 25 0 1 0 855533989 17203200 2286 4294967295 134512640 134581267 3221224576 3221223488 134527445 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4200 2286 566 18 0 4182 0
vsize: 16800
[startup+710.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4589
Raw data (stat): 4589 (Pueblo-v2) R 4588 31399 31398 0 -1 0 4101 0 0 0 70009 1002 0 0 25 0 1 0 855533989 17203200 2292 4294967295 134512640 134581267 3221224576 3221223488 134527695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4200 2292 566 18 0 4182 0
vsize: 16800
[startup+720.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4589
Raw data (stat): 4589 (Pueblo-v2) R 4588 31399 31398 0 -1 0 4214 0 0 0 70984 1028 0 0 25 0 1 0 855533989 17985536 2405 4294967295 134512640 134581267 3221224576 3221223488 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4391 2405 566 18 0 4373 0
vsize: 17564
[startup+730.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4589
Raw data (stat): 4589 (Pueblo-v2) R 4588 31399 31398 0 -1 0 4230 0 0 0 71973 1039 0 0 25 0 1 0 855533989 18116608 2421 4294967295 134512640 134581267 3221224576 3221223488 134528047 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4423 2421 566 18 0 4405 0
vsize: 17692
[startup+740.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4589
Raw data (stat): 4589 (Pueblo-v2) R 4588 31399 31398 0 -1 0 4254 0 0 0 72947 1065 0 0 25 0 1 0 855533989 18116608 2445 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4423 2445 566 18 0 4405 0
vsize: 17692
[startup+750.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4589
Raw data (stat): 4589 (Pueblo-v2) R 4588 31399 31398 0 -1 0 4412 0 0 0 73921 1091 0 0 25 0 1 0 855533989 19165184 2603 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4679 2603 566 18 0 4661 0
vsize: 18716
[startup+760.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4589
Raw data (stat): 4589 (Pueblo-v2) R 4588 31399 31398 0 -1 0 4492 0 0 0 74870 1142 0 0 25 0 1 0 855533989 19165184 2683 4294967295 134512640 134581267 3221224576 3221223488 134527737 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4679 2683 566 18 0 4661 0
vsize: 18716
[startup+770.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4589
Raw data (stat): 4589 (Pueblo-v2) R 4588 31399 31398 0 -1 0 4544 0 0 0 75838 1174 0 0 25 0 1 0 855533989 19165184 2735 4294967295 134512640 134581267 3221224576 3221223488 134527765 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4679 2735 566 18 0 4661 0
vsize: 18716
[startup+780.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4589
Raw data (stat): 4589 (Pueblo-v2) R 4588 31399 31398 0 -1 0 4610 0 0 0 76795 1218 0 0 25 0 1 0 855533989 19165184 2801 4294967295 134512640 134581267 3221224576 3221223488 134527525 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4679 2801 566 18 0 4661 0
vsize: 18716
[startup+790.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4589
Raw data (stat): 4589 (Pueblo-v2) R 4588 31399 31398 0 -1 0 4618 0 0 0 77783 1229 0 0 25 0 1 0 855533989 19165184 2809 4294967295 134512640 134581267 3221224576 3221223488 134527525 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4679 2809 566 18 0 4661 0
vsize: 18716
[startup+800.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4589
Raw data (stat): 4589 (Pueblo-v2) R 4588 31399 31398 0 -1 0 4942 0 0 0 78735 1278 0 0 25 0 1 0 855533989 20738048 3067 4294967295 134512640 134581267 3221224576 3221223488 134527701 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5063 3067 566 18 0 5045 0
vsize: 20252
[startup+810.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4589
Raw data (stat): 4589 (Pueblo-v2) R 4588 31399 31398 0 -1 0 5218 0 0 0 79704 1309 0 0 25 0 1 0 855533989 22573056 3343 4294967295 134512640 134581267 3221224576 3221223488 134527768 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5511 3343 566 18 0 5493 0
vsize: 22044
[startup+820.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4589
Raw data (stat): 4589 (Pueblo-v2) R 4588 31399 31398 0 -1 0 5259 0 0 0 80673 1340 0 0 25 0 1 0 855533989 22310912 3348 4294967295 134512640 134581267 3221224576 3221223400 1075291632 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5447 3348 566 18 0 5429 0
vsize: 21788
[startup+830.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4589
Raw data (stat): 4589 (Pueblo-v2) R 4588 31399 31398 0 -1 0 5727 0 0 0 81672 1341 0 0 25 0 1 0 855533989 22310912 3348 4294967295 134512640 134581267 3221224576 3221223488 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5447 3348 566 18 0 5429 0
vsize: 21788
[startup+840.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4589
Raw data (stat): 4589 (Pueblo-v2) R 4588 31399 31398 0 -1 0 6591 0 0 0 82669 1344 0 0 25 0 1 0 855533989 21524480 3239 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5255 3239 566 18 0 5237 0
vsize: 21020
[startup+850.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4589
Raw data (stat): 4589 (Pueblo-v2) R 4588 31399 31398 0 -1 0 6606 0 0 0 83655 1359 0 0 25 0 1 0 855533989 21000192 3181 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5127 3181 566 18 0 5109 0
vsize: 20508
[startup+860.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4589
Raw data (stat): 4589 (Pueblo-v2) R 4588 31399 31398 0 -1 0 6606 0 0 0 84649 1364 0 0 25 0 1 0 855533989 21000192 3181 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5127 3181 566 18 0 5109 0
vsize: 20508
[startup+870.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4589
Raw data (stat): 4589 (Pueblo-v2) R 4588 31399 31398 0 -1 0 6606 0 0 0 85646 1368 0 0 25 0 1 0 855533989 20738048 3144 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5063 3144 566 18 0 5045 0
vsize: 20252
[startup+880.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4589
Raw data (stat): 4589 (Pueblo-v2) R 4588 31399 31398 0 -1 0 6606 0 0 0 86640 1374 0 0 25 0 1 0 855533989 20738048 3144 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5063 3144 566 18 0 5045 0
vsize: 20252
[startup+890.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4589
Raw data (stat): 4589 (Pueblo-v2) R 4588 31399 31398 0 -1 0 6619 0 0 0 87622 1392 0 0 25 0 1 0 855533989 20475904 3115 4294967295 134512640 134581267 3221224576 3221223440 134527171 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4999 3115 566 18 0 4981 0
vsize: 19996
[startup+900.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4589
Raw data (stat): 4589 (Pueblo-v2) R 4588 31399 31398 0 -1 0 6631 0 0 0 88615 1400 0 0 25 0 1 0 855533989 20475904 3127 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4999 3127 566 18 0 4981 0
vsize: 19996
[startup+910.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4589
Raw data (stat): 4589 (Pueblo-v2) R 4588 31399 31398 0 -1 0 6631 0 0 0 89604 1410 0 0 25 0 1 0 855533989 20475904 3127 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4999 3127 566 18 0 4981 0
vsize: 19996
[startup+920.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4589
Raw data (stat): 4589 (Pueblo-v2) R 4588 31399 31398 0 -1 0 6637 0 0 0 90596 1419 0 0 25 0 1 0 855533989 20475904 3133 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4999 3133 566 18 0 4981 0
vsize: 19996
[startup+930.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4589
Raw data (stat): 4589 (Pueblo-v2) R 4588 31399 31398 0 -1 0 6638 0 0 0 91591 1424 0 0 25 0 1 0 855533989 20475904 3134 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4999 3134 566 18 0 4981 0
vsize: 19996
[startup+940.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4589
Raw data (stat): 4589 (Pueblo-v2) R 4588 31399 31398 0 -1 0 6643 0 0 0 92584 1431 0 0 25 0 1 0 855533989 20475904 3139 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4999 3139 566 18 0 4981 0
vsize: 19996
[startup+950.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4589
Raw data (stat): 4589 (Pueblo-v2) R 4588 31399 31398 0 -1 0 6643 0 0 0 93579 1436 0 0 25 0 1 0 855533989 20475904 3139 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4999 3139 566 18 0 4981 0
vsize: 19996
[startup+960.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4589
Raw data (stat): 4589 (Pueblo-v2) R 4588 31399 31398 0 -1 0 6643 0 0 0 94572 1444 0 0 25 0 1 0 855533989 20213760 3095 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4935 3095 566 18 0 4917 0
vsize: 19740
[startup+970.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4589
Raw data (stat): 4589 (Pueblo-v2) R 4588 31399 31398 0 -1 0 6654 0 0 0 95560 1455 0 0 25 0 1 0 855533989 20213760 3106 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4935 3106 566 18 0 4917 0
vsize: 19740
[startup+980.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4589
Raw data (stat): 4589 (Pueblo-v2) R 4588 31399 31398 0 -1 0 6654 0 0 0 96553 1462 0 0 25 0 1 0 855533989 20213760 3106 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4935 3106 566 18 0 4917 0
vsize: 19740
[startup+990.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4589
Raw data (stat): 4589 (Pueblo-v2) R 4588 31399 31398 0 -1 0 6654 0 0 0 97548 1467 0 0 25 0 1 0 855533989 19898368 3029 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4858 3029 566 18 0 4840 0
vsize: 19432
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4589
Raw data (stat): 4589 (Pueblo-v2) R 4588 31399 31398 0 -1 0 6654 0 0 0 98543 1474 0 0 25 0 1 0 855533989 19898368 3029 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4858 3029 566 18 0 4840 0
vsize: 19432
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4589
Raw data (stat): 4589 (Pueblo-v2) R 4588 31399 31398 0 -1 0 6665 0 0 0 99524 1492 0 0 25 0 1 0 855533989 19832832 3024 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4842 3024 566 18 0 4824 0
vsize: 19368
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4589
Raw data (stat): 4589 (Pueblo-v2) R 4588 31399 31398 0 -1 0 6676 0 0 0 100511 1506 0 0 25 0 1 0 855533989 19570688 2971 4294967295 134512640 134581267 3221224576 3221223488 134527440 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4778 2971 566 18 0 4760 0
vsize: 19112
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4589
Raw data (stat): 4589 (Pueblo-v2) R 4588 31399 31398 0 -1 0 6676 0 0 0 101504 1513 0 0 25 0 1 0 855533989 19570688 2971 4294967295 134512640 134581267 3221224576 3221223488 134527695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4778 2971 566 18 0 4760 0
vsize: 19112
[startup+1040.01 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 4589
Raw data (stat): 4589 (Pueblo-v2) R 4588 31399 31398 0 -1 0 6676 0 0 0 102498 1518 0 0 25 0 1 0 855533989 19570688 2971 4294967295 134512640 134581267 3221224576 3221223444 1075289684 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4778 2971 566 18 0 4760 0
vsize: 19112
[startup+1050.01 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 4589
Raw data (stat): 4589 (Pueblo-v2) R 4588 31399 31398 0 -1 0 6676 0 0 0 103492 1525 0 0 25 0 1 0 855533989 18259968 2740 4294967295 134512640 134581267 3221224576 3221223400 1075291632 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4458 2740 566 18 0 4440 0
vsize: 17832
[startup+1060.01 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 4589
Raw data (stat): 4589 (Pueblo-v2) R 4588 31399 31398 0 -1 0 6682 0 0 0 104475 1542 0 0 25 0 1 0 855533989 18259968 2746 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4458 2746 566 18 0 4440 0
vsize: 17832
[startup+1070.01 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 4589
Raw data (stat): 4589 (Pueblo-v2) R 4588 31399 31398 0 -1 0 6682 0 0 0 105471 1547 0 0 25 0 1 0 855533989 18259968 2746 4294967295 134512640 134581267 3221224576 3221223472 134517868 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4458 2746 566 18 0 4440 0
vsize: 17832
[startup+1080.01 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 4589
Raw data (stat): 4589 (Pueblo-v2) R 4588 31399 31398 0 -1 0 6682 0 0 0 106464 1554 0 0 25 0 1 0 855533989 18259968 2746 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4458 2746 566 18 0 4440 0
vsize: 17832
[startup+1090.01 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 4589
Raw data (stat): 4589 (Pueblo-v2) R 4588 31399 31398 0 -1 0 6688 0 0 0 107457 1561 0 0 25 0 1 0 855533989 18259968 2752 4294967295 134512640 134581267 3221224576 3221223488 134527445 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4458 2752 566 18 0 4440 0
vsize: 17832
[startup+1100.01 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 4589
Raw data (stat): 4589 (Pueblo-v2) R 4588 31399 31398 0 -1 0 6688 0 0 0 108449 1569 0 0 25 0 1 0 855533989 18259968 2752 4294967295 134512640 134581267 3221224576 3221223488 134527442 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4458 2752 566 18 0 4440 0
vsize: 17832
[startup+1110.01 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 4589
Raw data (stat): 4589 (Pueblo-v2) R 4588 31399 31398 0 -1 0 6688 0 0 0 109441 1577 0 0 25 0 1 0 855533989 18259968 2752 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4458 2752 566 18 0 4440 0
vsize: 17832
[startup+1120.01 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 4589
Raw data (stat): 4589 (Pueblo-v2) R 4588 31399 31398 0 -1 0 6694 0 0 0 110426 1592 0 0 25 0 1 0 855533989 18259968 2758 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4458 2758 566 18 0 4440 0
vsize: 17832
[startup+1130.01 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 4589
Raw data (stat): 4589 (Pueblo-v2) R 4588 31399 31398 0 -1 0 6694 0 0 0 111417 1602 0 0 25 0 1 0 855533989 18259968 2758 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4458 2758 566 18 0 4440 0
vsize: 17832
[startup+1140.01 s]
Raw data (loadavg): 1.01 0.99 0.91 3/54 4589
Raw data (stat): 4589 (Pueblo-v2) R 4588 31399 31398 0 -1 0 6694 0 0 0 112406 1612 0 0 25 0 1 0 855533989 18259968 2758 4294967295 134512640 134581267 3221224576 3221223520 134558815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4458 2758 566 18 0 4440 0
vsize: 17832
[startup+1150.01 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 4589
Raw data (stat): 4589 (Pueblo-v2) R 4588 31399 31398 0 -1 0 6694 0 0 0 113399 1620 0 0 25 0 1 0 855533989 18259968 2758 4294967295 134512640 134581267 3221224576 3221223400 1075291632 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4458 2758 566 18 0 4440 0
vsize: 17832
[startup+1160.01 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 4589
Raw data (stat): 4589 (Pueblo-v2) R 4588 31399 31398 0 -1 0 6694 0 0 0 114395 1624 0 0 25 0 1 0 855533989 18259968 2758 4294967295 134512640 134581267 3221224576 3221223488 134527418 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4458 2758 566 18 0 4440 0
vsize: 17832
[startup+1170.01 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 4589
Raw data (stat): 4589 (Pueblo-v2) R 4588 31399 31398 0 -1 0 6694 0 0 0 115387 1632 0 0 25 0 1 0 855533989 18259968 2758 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4458 2758 566 18 0 4440 0
vsize: 17832
[startup+1180.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4589
Raw data (stat): 4589 (Pueblo-v2) R 4588 31399 31398 0 -1 0 6694 0 0 0 116373 1646 0 0 25 0 1 0 855533989 18259968 2758 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4458 2758 566 18 0 4440 0
vsize: 17832
[startup+1188.81 s]
Raw data (loadavg): 1.00 0.99 0.91 1/53 4589
Raw data (stat): 4589 (Pueblo-v2) R 4588 31399 31398 0 -1 0 6694 0 0 0 116373 1646 0 0 25 0 1 0 855533989 18259968 2758 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4458 2758 566 18 0 4440 0
vsize: 0

Child status: 10
Real time (s): 1188.81
CPU time (s): 1189.01
CPU user time (s): 1172.42
CPU system time (s): 16.5875
CPU usage (%): 100.016
Max. virtual memory (Kb): 22044
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	FAILED
ERROR: unsatisfied constraint on line 57
#### END VERIFIER DATA ####