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/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-afiro.opb
MD5SUM	b9a386a980af3ebe560fd16ca36e17ae
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	484.119
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 39045

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        332992 kB
Buffers:         17976 kB
Cached:         660832 kB
SwapCached:        240 kB
Active:          27724 kB
Inactive:       653608 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        332740 kB
SwapTotal:     2097136 kB
SwapFree:      2096352 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6212 kB
Slab:            14692 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 19:57:09 (client local time) WITH STATUS 10 IN 1189.01 SECONDS
stats: 27061 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/wulflinc3/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.49 0.79 0.85 2/54 18341
Raw data (stat): 18341 (runsolver) R 18340 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 852354105 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0009 s]
Raw data (loadavg): 0.57 0.80 0.85 2/54 18341
Raw data (stat): 18341 (Pueblo-v2) R 18340 20224 20223 0 -1 0 881 0 0 0 952 47 0 0 25 0 1 0 852354105 10215424 855 4294967295 134512640 134581267 3221224576 3221223488 134527537 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2494 855 566 18 0 2476 0
vsize: 9976
[startup+20.0021 s]
Raw data (loadavg): 0.63 0.80 0.85 2/54 18341
Raw data (stat): 18341 (Pueblo-v2) R 18340 20224 20223 0 -1 0 1029 0 0 0 1929 69 0 0 25 0 1 0 852354105 11030528 1003 4294967295 134512640 134581267 3221224576 3221223488 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2693 1003 566 18 0 2675 0
vsize: 10772
[startup+30.0029 s]
Raw data (loadavg): 0.69 0.81 0.85 2/54 18341
Raw data (stat): 18341 (Pueblo-v2) R 18340 20224 20223 0 -1 0 1055 0 0 0 2918 81 0 0 25 0 1 0 852354105 11030528 1029 4294967295 134512640 134581267 3221224576 3221223488 134527774 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2693 1029 566 18 0 2675 0
vsize: 10772
[startup+40.0035 s]
Raw data (loadavg): 0.74 0.81 0.86 2/54 18341
Raw data (stat): 18341 (Pueblo-v2) R 18340 20224 20223 0 -1 0 1114 0 0 0 3901 98 0 0 25 0 1 0 852354105 11177984 1088 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2729 1088 566 18 0 2711 0
vsize: 10916
[startup+50.005 s]
Raw data (loadavg): 0.78 0.82 0.86 2/54 18341
Raw data (stat): 18341 (Pueblo-v2) R 18340 20224 20223 0 -1 0 1258 0 0 0 4889 110 0 0 25 0 1 0 852354105 12124160 1232 4294967295 134512640 134581267 3221224576 3221223488 134527451 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.0055 s]
Raw data (loadavg): 0.81 0.83 0.86 2/54 18341
Raw data (stat): 18341 (Pueblo-v2) R 18340 20224 20223 0 -1 0 1422 0 0 0 5880 119 0 0 25 0 1 0 852354105 12910592 1396 4294967295 134512640 134581267 3221224576 3221223488 134527768 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.0068 s]
Raw data (loadavg): 0.84 0.83 0.86 2/54 18341
Raw data (stat): 18341 (Pueblo-v2) R 18340 20224 20223 0 -1 0 1451 0 0 0 6856 144 0 0 25 0 1 0 852354105 12124160 1305 4294967295 134512640 134581267 3221224576 3221223680 134563234 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2960 1305 566 18 0 2942 0
vsize: 11840
[startup+80.0076 s]
Raw data (loadavg): 0.86 0.84 0.86 2/54 18341
Raw data (stat): 18341 (Pueblo-v2) R 18340 20224 20223 0 -1 0 1477 0 0 0 7825 175 0 0 25 0 1 0 852354105 12124160 1331 4294967295 134512640 134581267 3221224576 3221223488 134527525 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.007 s]
Raw data (loadavg): 0.88 0.84 0.86 2/54 18341
Raw data (stat): 18341 (Pueblo-v2) R 18340 20224 20223 0 -1 0 1685 0 0 0 8786 213 0 0 25 0 1 0 852354105 13434880 1539 4294967295 134512640 134581267 3221224576 3221223488 134527683 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.009 s]
Raw data (loadavg): 0.90 0.85 0.86 2/54 18341
Raw data (stat): 18341 (Pueblo-v2) R 18340 20224 20223 0 -1 0 1685 0 0 0 9778 222 0 0 25 0 1 0 852354105 13434880 1539 4294967295 134512640 134581267 3221224576 3221223488 134528040 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.009 s]
Raw data (loadavg): 0.92 0.85 0.86 2/54 18341
Raw data (stat): 18341 (Pueblo-v2) R 18340 20224 20223 0 -1 0 1694 0 0 0 10769 231 0 0 25 0 1 0 852354105 13434880 1548 4294967295 134512640 134581267 3221224576 3221223488 134527454 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.011 s]
Raw data (loadavg): 0.93 0.85 0.86 2/54 18341
Raw data (stat): 18341 (Pueblo-v2) R 18340 20224 20223 0 -1 0 1709 0 0 0 11737 264 0 0 25 0 1 0 852354105 13041664 1505 4294967295 134512640 134581267 3221224576 3221223488 134527695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3184 1505 566 18 0 3166 0
vsize: 12736
[startup+130.011 s]
Raw data (loadavg): 0.94 0.86 0.86 2/54 18341
Raw data (stat): 18341 (Pueblo-v2) R 18340 20224 20223 0 -1 0 1769 0 0 0 12701 299 0 0 25 0 1 0 852354105 12976128 1503 4294967295 134512640 134581267 3221224576 3221223488 134527652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3168 1503 566 18 0 3150 0
vsize: 12672
[startup+140.011 s]
Raw data (loadavg): 0.95 0.86 0.87 2/54 18341
Raw data (stat): 18341 (Pueblo-v2) R 18340 20224 20223 0 -1 0 1814 0 0 0 13673 328 0 0 25 0 1 0 852354105 13139968 1548 4294967295 134512640 134581267 3221224576 3221223488 134527513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3208 1548 566 18 0 3190 0
vsize: 12832
[startup+150.011 s]
Raw data (loadavg): 0.95 0.87 0.87 2/54 18341
Raw data (stat): 18341 (Pueblo-v2) R 18340 20224 20223 0 -1 0 1954 0 0 0 14657 344 0 0 25 0 1 0 852354105 13926400 1688 4294967295 134512640 134581267 3221224576 3221223488 134528056 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.012 s]
Raw data (loadavg): 0.96 0.87 0.87 2/54 18341
Raw data (stat): 18341 (Pueblo-v2) R 18340 20224 20223 0 -1 0 1965 0 0 0 15648 353 0 0 25 0 1 0 852354105 13926400 1699 4294967295 134512640 134581267 3221224576 3221223488 134527776 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3400 1699 566 18 0 3382 0
vsize: 13600
[startup+170.012 s]
Raw data (loadavg): 0.97 0.87 0.87 2/54 18341
Raw data (stat): 18341 (Pueblo-v2) R 18340 20224 20223 0 -1 0 1984 0 0 0 16629 372 0 0 25 0 1 0 852354105 13926400 1718 4294967295 134512640 134581267 3221224576 3221223488 134527510 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.012 s]
Raw data (loadavg): 0.97 0.88 0.87 2/54 18341
Raw data (stat): 18341 (Pueblo-v2) R 18340 20224 20223 0 -1 0 1984 0 0 0 17627 374 0 0 25 0 1 0 852354105 13926400 1718 4294967295 134512640 134581267 3221224576 3221223488 134528053 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3400 1718 566 18 0 3382 0
vsize: 13600
[startup+190.012 s]
Raw data (loadavg): 0.98 0.88 0.87 2/54 18341
Raw data (stat): 18341 (Pueblo-v2) R 18340 20224 20223 0 -1 0 1984 0 0 0 18627 374 0 0 25 0 1 0 852354105 13926400 1718 4294967295 134512640 134581267 3221224576 3221223488 134527404 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3400 1718 566 18 0 3382 0
vsize: 13600
[startup+200.013 s]
Raw data (loadavg): 0.98 0.89 0.87 2/54 18341
Raw data (stat): 18341 (Pueblo-v2) R 18340 20224 20223 0 -1 0 1984 0 0 0 19627 374 0 0 25 0 1 0 852354105 13926400 1718 4294967295 134512640 134581267 3221224576 3221223488 134527516 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3400 1718 566 18 0 3382 0
vsize: 13600
[startup+210.013 s]
Raw data (loadavg): 0.98 0.89 0.87 2/54 18341
Raw data (stat): 18341 (Pueblo-v2) R 18340 20224 20223 0 -1 0 1984 0 0 0 20627 374 0 0 25 0 1 0 852354105 13926400 1718 4294967295 134512640 134581267 3221224576 3221223488 134527596 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3400 1718 566 18 0 3382 0
vsize: 13600
[startup+220.014 s]
Raw data (loadavg): 0.98 0.89 0.87 2/54 18341
Raw data (stat): 18341 (Pueblo-v2) R 18340 20224 20223 0 -1 0 2015 0 0 0 21610 392 0 0 25 0 1 0 852354105 13926400 1749 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3400 1749 566 18 0 3382 0
vsize: 13600
[startup+230.015 s]
Raw data (loadavg): 0.99 0.89 0.87 2/54 18341
Raw data (stat): 18341 (Pueblo-v2) R 18340 20224 20223 0 -1 0 2433 0 0 0 22583 419 0 0 25 0 1 0 852354105 17072128 2167 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4168 2167 566 18 0 4150 0
vsize: 16672
[startup+240.014 s]
Raw data (loadavg): 0.99 0.90 0.87 2/54 18341
Raw data (stat): 18341 (Pueblo-v2) R 18340 20224 20223 0 -1 0 2507 0 0 0 23559 443 0 0 25 0 1 0 852354105 17264640 2241 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4215 2241 566 18 0 4197 0
vsize: 16860
[startup+250.015 s]
Raw data (loadavg): 0.99 0.90 0.88 2/54 18341
Raw data (stat): 18341 (Pueblo-v2) R 18340 20224 20223 0 -1 0 2535 0 0 0 24534 469 0 0 25 0 1 0 852354105 17264640 2269 4294967295 134512640 134581267 3221224576 3221223488 134527943 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4215 2269 566 18 0 4197 0
vsize: 16860
[startup+260.015 s]
Raw data (loadavg): 0.99 0.90 0.88 2/54 18341
Raw data (stat): 18341 (Pueblo-v2) R 18340 20224 20223 0 -1 0 2577 0 0 0 25500 503 0 0 25 0 1 0 852354105 17264640 2311 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4215 2311 566 18 0 4197 0
vsize: 16860
[startup+270.016 s]
Raw data (loadavg): 0.99 0.91 0.88 2/54 18341
Raw data (stat): 18341 (Pueblo-v2) R 18340 20224 20223 0 -1 0 2605 0 0 0 26472 531 0 0 25 0 1 0 852354105 17264640 2339 4294967295 134512640 134581267 3221224576 3221223568 134560731 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4215 2339 566 18 0 4197 0
vsize: 16860
[startup+280.016 s]
Raw data (loadavg): 0.99 0.91 0.88 2/54 18341
Raw data (stat): 18341 (Pueblo-v2) R 18340 20224 20223 0 -1 0 2619 0 0 0 27461 542 0 0 25 0 1 0 852354105 17264640 2353 4294967295 134512640 134581267 3221224576 3221223488 134527670 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4215 2353 566 18 0 4197 0
vsize: 16860
[startup+290.017 s]
Raw data (loadavg): 0.99 0.91 0.88 2/54 18341
Raw data (stat): 18341 (Pueblo-v2) R 18340 20224 20223 0 -1 0 2621 0 0 0 28453 551 0 0 25 0 1 0 852354105 17264640 2355 4294967295 134512640 134581267 3221224576 3221223488 134527776 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4215 2355 566 18 0 4197 0
vsize: 16860
[startup+300.017 s]
Raw data (loadavg): 0.99 0.91 0.88 2/54 18341
Raw data (stat): 18341 (Pueblo-v2) R 18340 20224 20223 0 -1 0 2633 0 0 0 29446 558 0 0 25 0 1 0 852354105 17264640 2367 4294967295 134512640 134581267 3221224576 3221223488 134527774 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4215 2367 566 18 0 4197 0
vsize: 16860
[startup+310.018 s]
Raw data (loadavg): 0.99 0.92 0.88 2/54 18341
Raw data (stat): 18341 (Pueblo-v2) R 18340 20224 20223 0 -1 0 2635 0 0 0 30439 565 0 0 25 0 1 0 852354105 17264640 2369 4294967295 134512640 134581267 3221224576 3221223488 134527709 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4215 2369 566 18 0 4197 0
vsize: 16860
[startup+320.018 s]
Raw data (loadavg): 0.99 0.92 0.88 2/54 18341
Raw data (stat): 18341 (Pueblo-v2) R 18340 20224 20223 0 -1 0 2669 0 0 0 31427 577 0 0 25 0 1 0 852354105 17461248 2403 4294967295 134512640 134581267 3221224576 3221223488 134527445 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4263 2403 566 18 0 4245 0
vsize: 17052
[startup+330.019 s]
Raw data (loadavg): 0.99 0.92 0.88 2/54 18341
Raw data (stat): 18341 (Pueblo-v2) R 18340 20224 20223 0 -1 0 2688 0 0 0 32414 591 0 0 25 0 1 0 852354105 17461248 2422 4294967295 134512640 134581267 3221224576 3221223488 134527948 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4263 2422 566 18 0 4245 0
vsize: 17052
[startup+340.019 s]
Raw data (loadavg): 0.99 0.92 0.88 2/54 18341
Raw data (stat): 18341 (Pueblo-v2) R 18340 20224 20223 0 -1 0 2715 0 0 0 33404 601 0 0 25 0 1 0 852354105 17461248 2449 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4263 2449 566 18 0 4245 0
vsize: 17052
[startup+350.02 s]
Raw data (loadavg): 0.99 0.92 0.89 2/54 18341
Raw data (stat): 18341 (Pueblo-v2) R 18340 20224 20223 0 -1 0 2748 0 0 0 34393 611 0 0 25 0 1 0 852354105 17657856 2482 4294967295 134512640 134581267 3221224576 3221223488 134527918 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4311 2482 566 18 0 4293 0
vsize: 17244
[startup+360.02 s]
Raw data (loadavg): 0.99 0.93 0.89 2/54 18341
Raw data (stat): 18341 (Pueblo-v2) R 18340 20224 20223 0 -1 0 2765 0 0 0 35385 620 0 0 25 0 1 0 852354105 17657856 2499 4294967295 134512640 134581267 3221224576 3221223488 134528042 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4311 2499 566 18 0 4293 0
vsize: 17244
[startup+370.022 s]
Raw data (loadavg): 0.99 0.93 0.89 2/54 18341
Raw data (stat): 18341 (Pueblo-v2) R 18340 20224 20223 0 -1 0 2823 0 0 0 36375 630 0 0 25 0 1 0 852354105 18051072 2557 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4407 2557 566 18 0 4389 0
vsize: 17628
[startup+380.021 s]
Raw data (loadavg): 0.99 0.93 0.89 2/54 18341
Raw data (stat): 18341 (Pueblo-v2) R 18340 20224 20223 0 -1 0 3082 0 0 0 37367 639 0 0 25 0 1 0 852354105 17985536 2604 4294967295 134512640 134581267 3221224576 3221223488 134527768 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4391 2604 566 18 0 4373 0
vsize: 17564
[startup+390.021 s]
Raw data (loadavg): 0.99 0.93 0.89 2/54 18341
Raw data (stat): 18341 (Pueblo-v2) R 18340 20224 20223 0 -1 0 3528 0 0 0 38330 675 0 0 25 0 1 0 852354105 19038208 2688 4294967295 134512640 134581267 3221224576 3221223584 134530811 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4648 2688 566 18 0 4630 0
vsize: 18592
[startup+400.022 s]
Raw data (loadavg): 0.99 0.93 0.89 2/54 18341
Raw data (stat): 18341 (Pueblo-v2) R 18340 20224 20223 0 -1 0 3574 0 0 0 39294 712 0 0 25 0 1 0 852354105 19038208 2734 4294967295 134512640 134581267 3221224576 3221223488 134527943 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4648 2734 566 18 0 4630 0
vsize: 18592
[startup+410.023 s]
Raw data (loadavg): 0.99 0.94 0.89 2/54 18341
Raw data (stat): 18341 (Pueblo-v2) R 18340 20224 20223 0 -1 0 3601 0 0 0 40273 733 0 0 25 0 1 0 852354105 19038208 2761 4294967295 134512640 134581267 3221224576 3221223488 134527451 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4648 2761 566 18 0 4630 0
vsize: 18592
[startup+420.023 s]
Raw data (loadavg): 0.99 0.94 0.89 2/54 18341
Raw data (stat): 18341 (Pueblo-v2) R 18340 20224 20223 0 -1 0 3610 0 0 0 41267 739 0 0 25 0 1 0 852354105 18251776 2650 4294967295 134512640 134581267 3221224576 3221223556 134560749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4456 2650 566 18 0 4438 0
vsize: 17824
[startup+430.025 s]
Raw data (loadavg): 0.99 0.94 0.89 2/54 18341
Raw data (stat): 18341 (Pueblo-v2) R 18340 20224 20223 0 -1 0 3739 0 0 0 42259 747 0 0 25 0 1 0 852354105 17203200 2499 4294967295 134512640 134581267 3221224576 3221223488 134527342 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4200 2499 566 18 0 4182 0
vsize: 16800
[startup+440.025 s]
Raw data (loadavg): 0.99 0.94 0.89 2/54 18341
Raw data (stat): 18341 (Pueblo-v2) R 18340 20224 20223 0 -1 0 3739 0 0 0 43259 747 0 0 25 0 1 0 852354105 17203200 2499 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4200 2499 566 18 0 4182 0
vsize: 16800
[startup+450.025 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 18341
Raw data (stat): 18341 (Pueblo-v2) R 18340 20224 20223 0 -1 0 3739 0 0 0 44260 747 0 0 25 0 1 0 852354105 17203200 2499 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4200 2499 566 18 0 4182 0
vsize: 16800
[startup+460.026 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 18341
Raw data (stat): 18341 (Pueblo-v2) R 18340 20224 20223 0 -1 0 3739 0 0 0 45260 747 0 0 25 0 1 0 852354105 17203200 2499 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4200 2499 566 18 0 4182 0
vsize: 16800
[startup+470.027 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 18341
Raw data (stat): 18341 (Pueblo-v2) R 18340 20224 20223 0 -1 0 3739 0 0 0 46260 747 0 0 25 0 1 0 852354105 17203200 2499 4294967295 134512640 134581267 3221224576 3221223488 134528047 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4200 2499 566 18 0 4182 0
vsize: 16800
[startup+480.026 s]
Raw data (loadavg): 0.99 0.95 0.90 2/54 18341
Raw data (stat): 18341 (Pueblo-v2) R 18340 20224 20223 0 -1 0 3739 0 0 0 47260 747 0 0 25 0 1 0 852354105 17203200 2499 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4200 2499 566 18 0 4182 0
vsize: 16800
[startup+490.027 s]
Raw data (loadavg): 0.99 0.95 0.90 2/54 18341
Raw data (stat): 18341 (Pueblo-v2) R 18340 20224 20223 0 -1 0 3739 0 0 0 48260 747 0 0 25 0 1 0 852354105 17203200 2499 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4200 2499 566 18 0 4182 0
vsize: 16800
[startup+500.027 s]
Raw data (loadavg): 0.99 0.95 0.90 2/54 18341
Raw data (stat): 18341 (Pueblo-v2) R 18340 20224 20223 0 -1 0 3739 0 0 0 49260 748 0 0 25 0 1 0 852354105 17203200 2499 4294967295 134512640 134581267 3221224576 3221223488 134527504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4200 2499 566 18 0 4182 0
vsize: 16800
[startup+510.027 s]
Raw data (loadavg): 0.99 0.95 0.90 2/54 18341
Raw data (stat): 18341 (Pueblo-v2) R 18340 20224 20223 0 -1 0 3739 0 0 0 50261 748 0 0 25 0 1 0 852354105 17203200 2499 4294967295 134512640 134581267 3221224576 3221223488 134528042 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4200 2499 566 18 0 4182 0
vsize: 16800
[startup+520.028 s]
Raw data (loadavg): 0.99 0.95 0.90 2/54 18341
Raw data (stat): 18341 (Pueblo-v2) R 18340 20224 20223 0 -1 0 3739 0 0 0 51261 748 0 0 25 0 1 0 852354105 17203200 2499 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4200 2499 566 18 0 4182 0
vsize: 16800
[startup+530.029 s]
Raw data (loadavg): 0.99 0.95 0.90 2/54 18341
Raw data (stat): 18341 (Pueblo-v2) R 18340 20224 20223 0 -1 0 3739 0 0 0 52261 748 0 0 25 0 1 0 852354105 17203200 2499 4294967295 134512640 134581267 3221224576 3221223488 134527768 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4200 2499 566 18 0 4182 0
vsize: 16800
[startup+540.029 s]
Raw data (loadavg): 1.15 0.98 0.91 2/54 18341
Raw data (stat): 18341 (Pueblo-v2) R 18340 20224 20223 0 -1 0 3739 0 0 0 53261 748 0 0 25 0 1 0 852354105 17203200 2499 4294967295 134512640 134581267 3221224576 3221223488 134527701 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4200 2499 566 18 0 4182 0
vsize: 16800
[startup+550.029 s]
Raw data (loadavg): 1.12 0.98 0.91 2/54 18341
Raw data (stat): 18341 (Pueblo-v2) R 18340 20224 20223 0 -1 0 3739 0 0 0 54261 748 0 0 25 0 1 0 852354105 17203200 2499 4294967295 134512640 134581267 3221224576 3221223488 134527513 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4200 2499 566 18 0 4182 0
vsize: 16800
[startup+560.029 s]
Raw data (loadavg): 1.10 0.98 0.91 2/54 18341
Raw data (stat): 18341 (Pueblo-v2) R 18340 20224 20223 0 -1 0 3779 0 0 0 55257 752 0 0 25 0 1 0 852354105 16941056 2459 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4136 2459 566 18 0 4118 0
vsize: 16544
[startup+570.029 s]
Raw data (loadavg): 1.09 0.98 0.91 2/54 18341
Raw data (stat): 18341 (Pueblo-v2) R 18340 20224 20223 0 -1 0 3999 0 0 0 56229 781 0 0 25 0 1 0 852354105 16678912 2437 4294967295 134512640 134581267 3221224576 3221223768 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4072 2437 566 18 0 4054 0
vsize: 16288
[startup+580.029 s]
Raw data (loadavg): 1.07 0.98 0.91 2/54 18341
Raw data (stat): 18341 (Pueblo-v2) R 18340 20224 20223 0 -1 0 4008 0 0 0 57204 805 0 0 25 0 1 0 852354105 16678912 2446 4294967295 134512640 134581267 3221224576 3221223488 134527504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4072 2446 566 18 0 4054 0
vsize: 16288
[startup+590.029 s]
Raw data (loadavg): 1.06 0.98 0.91 2/54 18341
Raw data (stat): 18341 (Pueblo-v2) R 18340 20224 20223 0 -1 0 4017 0 0 0 58191 818 0 0 25 0 1 0 852354105 16416768 2394 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4008 2394 566 18 0 3990 0
vsize: 16032
[startup+600.03 s]
Raw data (loadavg): 1.05 0.98 0.91 2/54 18341
Raw data (stat): 18341 (Pueblo-v2) R 18340 20224 20223 0 -1 0 4023 0 0 0 59172 838 0 0 25 0 1 0 852354105 15630336 2214 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3816 2214 566 18 0 3798 0
vsize: 15264
[startup+610.03 s]
Raw data (loadavg): 1.04 0.98 0.91 2/54 18341
Raw data (stat): 18341 (Pueblo-v2) R 18340 20224 20223 0 -1 0 4023 0 0 0 60162 848 0 0 25 0 1 0 852354105 15630336 2214 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3816 2214 566 18 0 3798 0
vsize: 15264
[startup+620.03 s]
Raw data (loadavg): 1.04 0.98 0.91 2/54 18341
Raw data (stat): 18341 (Pueblo-v2) R 18340 20224 20223 0 -1 0 4029 0 0 0 61150 861 0 0 25 0 1 0 852354105 15630336 2220 4294967295 134512640 134581267 3221224576 3221223504 134519869 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3816 2220 566 18 0 3798 0
vsize: 15264
[startup+630.03 s]
Raw data (loadavg): 1.03 0.98 0.91 2/54 18341
Raw data (stat): 18341 (Pueblo-v2) R 18340 20224 20223 0 -1 0 4035 0 0 0 62138 872 0 0 25 0 1 0 852354105 17203200 2226 4294967295 134512640 134581267 3221224576 3221223488 134527459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4200 2226 566 18 0 4182 0
vsize: 16800
[startup+640.03 s]
Raw data (loadavg): 1.03 0.98 0.91 2/54 18341
Raw data (stat): 18341 (Pueblo-v2) R 18340 20224 20223 0 -1 0 4035 0 0 0 63125 885 0 0 25 0 1 0 852354105 17203200 2226 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4200 2226 566 18 0 4182 0
vsize: 16800
[startup+650.031 s]
Raw data (loadavg): 1.02 0.98 0.91 2/54 18341
Raw data (stat): 18341 (Pueblo-v2) R 18340 20224 20223 0 -1 0 4041 0 0 0 64119 892 0 0 25 0 1 0 852354105 17203200 2232 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4200 2232 566 18 0 4182 0
vsize: 16800
[startup+660.031 s]
Raw data (loadavg): 1.02 0.98 0.91 2/54 18341
Raw data (stat): 18341 (Pueblo-v2) R 18340 20224 20223 0 -1 0 4047 0 0 0 65097 914 0 0 25 0 1 0 852354105 17203200 2238 4294967295 134512640 134581267 3221224576 3221223488 134527701 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4200 2238 566 18 0 4182 0
vsize: 16800
[startup+670.036 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 18341
Raw data (stat): 18341 (Pueblo-v2) R 18340 20224 20223 0 -1 0 4059 0 0 0 66066 945 0 0 25 0 1 0 852354105 17203200 2250 4294967295 134512640 134581267 3221224576 3221223768 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4200 2250 566 18 0 4182 0
vsize: 16800
[startup+680.139 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 18341
Raw data (stat): 18341 (Pueblo-v2) R 18340 20224 20223 0 -1 0 4071 0 0 0 67051 971 0 0 25 0 1 0 852354105 17203200 2262 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4200 2262 566 18 0 4182 0
vsize: 16800
[startup+690.139 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 18341
Raw data (stat): 18341 (Pueblo-v2) R 18340 20224 20223 0 -1 0 4083 0 0 0 68026 996 0 0 25 0 1 0 852354105 17203200 2274 4294967295 134512640 134581267 3221224576 3221223488 134527459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4200 2274 566 18 0 4182 0
vsize: 16800
[startup+700.139 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 18341
Raw data (stat): 18341 (Pueblo-v2) R 18340 20224 20223 0 -1 0 4095 0 0 0 69008 1015 0 0 25 0 1 0 852354105 17203200 2286 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4200 2286 566 18 0 4182 0
vsize: 16800
[startup+710.14 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 18341
Raw data (stat): 18341 (Pueblo-v2) R 18340 20224 20223 0 -1 0 4095 0 0 0 70003 1019 0 0 25 0 1 0 852354105 17203200 2286 4294967295 134512640 134581267 3221224576 3221223768 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4200 2286 566 18 0 4182 0
vsize: 16800
[startup+720.141 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18341
Raw data (stat): 18341 (Pueblo-v2) R 18340 20224 20223 0 -1 0 4107 0 0 0 70975 1048 0 0 25 0 1 0 852354105 17203200 2298 4294967295 134512640 134581267 3221224576 3221223488 134527525 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4200 2298 566 18 0 4182 0
vsize: 16800
[startup+730.14 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18341
Raw data (stat): 18341 (Pueblo-v2) R 18340 20224 20223 0 -1 0 4230 0 0 0 71963 1060 0 0 25 0 1 0 852354105 18116608 2421 4294967295 134512640 134581267 3221224576 3221223488 134527531 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4423 2421 566 18 0 4405 0
vsize: 17692
[startup+740.14 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18341
Raw data (stat): 18341 (Pueblo-v2) R 18340 20224 20223 0 -1 0 4248 0 0 0 72948 1075 0 0 25 0 1 0 852354105 18116608 2439 4294967295 134512640 134581267 3221224576 3221223488 134527539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4423 2439 566 18 0 4405 0
vsize: 17692
[startup+750.141 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18341
Raw data (stat): 18341 (Pueblo-v2) R 18340 20224 20223 0 -1 0 4412 0 0 0 73910 1114 0 0 25 0 1 0 852354105 19165184 2603 4294967295 134512640 134581267 3221224576 3221223488 134527731 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4679 2603 566 18 0 4661 0
vsize: 18716
[startup+760.142 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18341
Raw data (stat): 18341 (Pueblo-v2) R 18340 20224 20223 0 -1 0 4488 0 0 0 74864 1160 0 0 25 0 1 0 852354105 19165184 2679 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4679 2679 566 18 0 4661 0
vsize: 18716
[startup+770.142 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18341
Raw data (stat): 18341 (Pueblo-v2) R 18340 20224 20223 0 -1 0 4532 0 0 0 75830 1193 0 0 25 0 1 0 852354105 19165184 2723 4294967295 134512640 134581267 3221224576 3221223440 134527103 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4679 2723 566 18 0 4661 0
vsize: 18716
[startup+780.143 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18341
Raw data (stat): 18341 (Pueblo-v2) R 18340 20224 20223 0 -1 0 4601 0 0 0 76789 1235 0 0 25 0 1 0 852354105 19165184 2792 4294967295 134512640 134581267 3221224576 3221223488 134527768 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4679 2792 566 18 0 4661 0
vsize: 18716
[startup+790.142 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18341
Raw data (stat): 18341 (Pueblo-v2) R 18340 20224 20223 0 -1 0 4612 0 0 0 77782 1243 0 0 25 0 1 0 852354105 19165184 2803 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4679 2803 566 18 0 4661 0
vsize: 18716
[startup+800.142 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18341
Raw data (stat): 18341 (Pueblo-v2) R 18340 20224 20223 0 -1 0 4942 0 0 0 78734 1291 0 0 25 0 1 0 852354105 20738048 3067 4294967295 134512640 134581267 3221224576 3221223488 134527652 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5063 3067 566 18 0 5045 0
vsize: 20252
[startup+810.142 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18341
Raw data (stat): 18341 (Pueblo-v2) R 18340 20224 20223 0 -1 0 5199 0 0 0 79700 1325 0 0 25 0 1 0 852354105 22573056 3324 4294967295 134512640 134581267 3221224576 3221223488 134527692 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5511 3324 566 18 0 5493 0
vsize: 22044
[startup+820.143 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18341
Raw data (stat): 18341 (Pueblo-v2) R 18340 20224 20223 0 -1 0 5258 0 0 0 80671 1354 0 0 25 0 1 0 852354105 22573056 3383 4294967295 134512640 134581267 3221224576 3221223488 134527695 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5511 3383 566 18 0 5493 0
vsize: 22044
[startup+830.143 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18341
Raw data (stat): 18341 (Pueblo-v2) R 18340 20224 20223 0 -1 0 5655 0 0 0 81666 1358 0 0 25 0 1 0 852354105 22048768 3312 4294967295 134512640 134581267 3221224576 3221223488 134527504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5383 3312 566 18 0 5365 0
vsize: 21532
[startup+840.143 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18341
Raw data (stat): 18341 (Pueblo-v2) R 18340 20224 20223 0 -1 0 6591 0 0 0 82664 1361 0 0 25 0 1 0 852354105 21524480 3239 4294967295 134512640 134581267 3221224576 3221223488 134527504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5255 3239 566 18 0 5237 0
vsize: 21020
[startup+850.143 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18341
Raw data (stat): 18341 (Pueblo-v2) R 18340 20224 20223 0 -1 0 6606 0 0 0 83652 1374 0 0 25 0 1 0 852354105 21000192 3181 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5127 3181 566 18 0 5109 0
vsize: 20508
[startup+860.143 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18341
Raw data (stat): 18341 (Pueblo-v2) R 18340 20224 20223 0 -1 0 6606 0 0 0 84647 1378 0 0 25 0 1 0 852354105 21000192 3181 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5127 3181 566 18 0 5109 0
vsize: 20508
[startup+870.144 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18341
Raw data (stat): 18341 (Pueblo-v2) R 18340 20224 20223 0 -1 0 6606 0 0 0 85642 1383 0 0 25 0 1 0 852354105 20738048 3144 4294967295 134512640 134581267 3221224576 3221223472 134517514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5063 3144 566 18 0 5045 0
vsize: 20252
[startup+880.145 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18341
Raw data (stat): 18341 (Pueblo-v2) R 18340 20224 20223 0 -1 0 6606 0 0 0 86636 1390 0 0 25 0 1 0 852354105 20738048 3144 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5063 3144 566 18 0 5045 0
vsize: 20252
[startup+890.145 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18341
Raw data (stat): 18341 (Pueblo-v2) R 18340 20224 20223 0 -1 0 6619 0 0 0 87619 1407 0 0 25 0 1 0 852354105 20475904 3115 4294967295 134512640 134581267 3221224576 3221223488 134527434 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4999 3115 566 18 0 4981 0
vsize: 19996
[startup+900.145 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18341
Raw data (stat): 18341 (Pueblo-v2) R 18340 20224 20223 0 -1 0 6626 0 0 0 88609 1417 0 0 25 0 1 0 852354105 20475904 3122 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4999 3122 566 18 0 4981 0
vsize: 19996
[startup+910.144 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18341
Raw data (stat): 18341 (Pueblo-v2) R 18340 20224 20223 0 -1 0 6631 0 0 0 89597 1429 0 0 25 0 1 0 852354105 20475904 3127 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4999 3127 566 18 0 4981 0
vsize: 19996
[startup+920.152 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18341
Raw data (stat): 18341 (Pueblo-v2) R 18340 20224 20223 0 -1 0 6631 0 0 0 90590 1437 0 0 25 0 1 0 852354105 20475904 3127 4294967295 134512640 134581267 3221224576 3221223488 134527652 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4999 3127 566 18 0 4981 0
vsize: 19996
[startup+930.152 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18341
Raw data (stat): 18341 (Pueblo-v2) R 18340 20224 20223 0 -1 0 6637 0 0 0 91586 1441 0 0 25 0 1 0 852354105 20475904 3133 4294967295 134512640 134581267 3221224576 3221223488 134527774 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4999 3133 566 18 0 4981 0
vsize: 19996
[startup+940.152 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18341
Raw data (stat): 18341 (Pueblo-v2) R 18340 20224 20223 0 -1 0 6643 0 0 0 92577 1451 0 0 25 0 1 0 852354105 20475904 3139 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4999 3139 566 18 0 4981 0
vsize: 19996
[startup+950.153 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18341
Raw data (stat): 18341 (Pueblo-v2) R 18340 20224 20223 0 -1 0 6643 0 0 0 93572 1456 0 0 25 0 1 0 852354105 20475904 3139 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4999 3139 566 18 0 4981 0
vsize: 19996
[startup+960.153 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18341
Raw data (stat): 18341 (Pueblo-v2) R 18340 20224 20223 0 -1 0 6643 0 0 0 94567 1461 0 0 25 0 1 0 852354105 20213760 3095 4294967295 134512640 134581267 3221224576 3221223488 134527445 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4935 3095 566 18 0 4917 0
vsize: 19740
[startup+970.154 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18341
Raw data (stat): 18341 (Pueblo-v2) R 18340 20224 20223 0 -1 0 6654 0 0 0 95554 1474 0 0 25 0 1 0 852354105 20213760 3106 4294967295 134512640 134581267 3221224576 3221223488 134527513 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4935 3106 566 18 0 4917 0
vsize: 19740
[startup+980.153 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18341
Raw data (stat): 18341 (Pueblo-v2) R 18340 20224 20223 0 -1 0 6654 0 0 0 96546 1483 0 0 25 0 1 0 852354105 20213760 3106 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4935 3106 566 18 0 4917 0
vsize: 19740
[startup+990.165 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18341
Raw data (stat): 18341 (Pueblo-v2) R 18340 20224 20223 0 -1 0 6654 0 0 0 97542 1488 0 0 25 0 1 0 852354105 19898368 3029 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4858 3029 566 18 0 4840 0
vsize: 19432
[startup+1000.17 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18341
Raw data (stat): 18341 (Pueblo-v2) R 18340 20224 20223 0 -1 0 6654 0 0 0 98535 1495 0 0 25 0 1 0 852354105 19898368 3029 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4858 3029 566 18 0 4840 0
vsize: 19432
[startup+1010.16 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18341
Raw data (stat): 18341 (Pueblo-v2) R 18340 20224 20223 0 -1 0 6665 0 0 0 99519 1511 0 0 25 0 1 0 852354105 19832832 3024 4294967295 134512640 134581267 3221224576 3221223556 134560749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4842 3024 566 18 0 4824 0
vsize: 19368
[startup+1020.17 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18341
Raw data (stat): 18341 (Pueblo-v2) R 18340 20224 20223 0 -1 0 6676 0 0 0 100503 1528 0 0 25 0 1 0 852354105 19570688 2971 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4778 2971 566 18 0 4760 0
vsize: 19112
[startup+1030.17 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18341
Raw data (stat): 18341 (Pueblo-v2) R 18340 20224 20223 0 -1 0 6676 0 0 0 101497 1534 0 0 25 0 1 0 852354105 19570688 2971 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4778 2971 566 18 0 4760 0
vsize: 19112
[startup+1040.17 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18341
Raw data (stat): 18341 (Pueblo-v2) R 18340 20224 20223 0 -1 0 6676 0 0 0 102491 1540 0 0 25 0 1 0 852354105 19570688 2971 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4778 2971 566 18 0 4760 0
vsize: 19112
[startup+1050.17 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18341
Raw data (stat): 18341 (Pueblo-v2) R 18340 20224 20223 0 -1 0 6676 0 0 0 103485 1546 0 0 25 0 1 0 852354105 18259968 2740 4294967295 134512640 134581267 3221224576 3221223568 134561232 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4458 2740 566 18 0 4440 0
vsize: 17832
[startup+1060.17 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18341
Raw data (stat): 18341 (Pueblo-v2) R 18340 20224 20223 0 -1 0 6682 0 0 0 104469 1562 0 0 25 0 1 0 852354105 18259968 2746 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4458 2746 566 18 0 4440 0
vsize: 17832
[startup+1070.17 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18341
Raw data (stat): 18341 (Pueblo-v2) R 18340 20224 20223 0 -1 0 6682 0 0 0 105463 1569 0 0 25 0 1 0 852354105 18259968 2746 4294967295 134512640 134581267 3221224576 3221223488 134527504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4458 2746 566 18 0 4440 0
vsize: 17832
[startup+1080.17 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18341
Raw data (stat): 18341 (Pueblo-v2) R 18340 20224 20223 0 -1 0 6682 0 0 0 106455 1576 0 0 25 0 1 0 852354105 18259968 2746 4294967295 134512640 134581267 3221224576 3221223452 134531344 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4458 2746 566 18 0 4440 0
vsize: 17832
[startup+1090.17 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18341
Raw data (stat): 18341 (Pueblo-v2) R 18340 20224 20223 0 -1 0 6688 0 0 0 107448 1584 0 0 25 0 1 0 852354105 18259968 2752 4294967295 134512640 134581267 3221224576 3221223488 134527429 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4458 2752 566 18 0 4440 0
vsize: 17832
[startup+1100.17 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18341
Raw data (stat): 18341 (Pueblo-v2) R 18340 20224 20223 0 -1 0 6688 0 0 0 108441 1591 0 0 25 0 1 0 852354105 18259968 2752 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4458 2752 566 18 0 4440 0
vsize: 17832
[startup+1110.17 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18341
Raw data (stat): 18341 (Pueblo-v2) R 18340 20224 20223 0 -1 0 6688 0 0 0 109435 1597 0 0 25 0 1 0 852354105 18259968 2752 4294967295 134512640 134581267 3221224576 3221223488 134528040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4458 2752 566 18 0 4440 0
vsize: 17832
[startup+1120.17 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 18341
Raw data (stat): 18341 (Pueblo-v2) R 18340 20224 20223 0 -1 0 6694 0 0 0 110414 1618 0 0 25 0 1 0 852354105 18259968 2758 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4458 2758 566 18 0 4440 0
vsize: 17832
[startup+1130.17 s]
Raw data (loadavg): 1.08 1.00 0.92 2/54 18341
Raw data (stat): 18341 (Pueblo-v2) R 18340 20224 20223 0 -1 0 6694 0 0 0 111405 1627 0 0 25 0 1 0 852354105 18259968 2758 4294967295 134512640 134581267 3221224576 3221223440 134526896 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4458 2758 566 18 0 4440 0
vsize: 17832
[startup+1140.17 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 18341
Raw data (stat): 18341 (Pueblo-v2) R 18340 20224 20223 0 -1 0 6694 0 0 0 112395 1638 0 0 25 0 1 0 852354105 18259968 2758 4294967295 134512640 134581267 3221224576 3221223488 134527464 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4458 2758 566 18 0 4440 0
vsize: 17832
[startup+1150.17 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 18341
Raw data (stat): 18341 (Pueblo-v2) R 18340 20224 20223 0 -1 0 6694 0 0 0 113386 1647 0 0 25 0 1 0 852354105 18259968 2758 4294967295 134512640 134581267 3221224576 3221223568 134561217 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4458 2758 566 18 0 4440 0
vsize: 17832
[startup+1160.17 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 18341
Raw data (stat): 18341 (Pueblo-v2) R 18340 20224 20223 0 -1 0 6694 0 0 0 114382 1651 0 0 25 0 1 0 852354105 18259968 2758 4294967295 134512640 134581267 3221224576 3221223440 134528243 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4458 2758 566 18 0 4440 0
vsize: 17832
[startup+1170.17 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 18341
Raw data (stat): 18341 (Pueblo-v2) R 18340 20224 20223 0 -1 0 6694 0 0 0 115373 1661 0 0 25 0 1 0 852354105 18259968 2758 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4458 2758 566 18 0 4440 0
vsize: 17832
[startup+1180.17 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 18341
Raw data (stat): 18341 (Pueblo-v2) R 18340 20224 20223 0 -1 0 6694 0 0 0 116362 1671 0 0 25 0 1 0 852354105 18259968 2758 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4458 2758 566 18 0 4440 0
vsize: 17832
[startup+1188.84 s]
Raw data (loadavg): 1.03 1.00 0.92 1/53 18341
Raw data (stat): 18341 (Pueblo-v2) R 18340 20224 20223 0 -1 0 6694 0 0 0 116362 1671 0 0 25 0 1 0 852354105 18259968 2758 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4458 2758 566 18 0 4440 0
vsize: 0

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