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-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-markshare1_1.opb
MD5SUM	452acf9ed3adc2d2cfe293dad01c0934
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	167110
Optimality of the best value was proved	NO
Number of terms in the objective function	180
Biggest coefficient in the objective function	536870912
Number of bits for the biggest coefficient in the objective function	30
Sum of the numbers in the objective function	6442450938
Number of bits of the sum of numbers in the objective function	33
Biggest number in a constraint	536870912
Number of bits of the biggest number in a constraint	30
Biggest sum of numbers in a constraint	6442450938
Number of bits of the biggest sum of numbers	33
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.02
Number of variables	280
Total number of constraints	56
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	45
Number of constraints which are nor clauses,nor cardinality constraints	11
Minimum length of a constraint	1
Maximum length of a constraint	130
Trace number 28104

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc13 THE 2005-05-25 00:30:39 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=14476 boxname=wulflinc13 idbench=1114 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  452acf9ed3adc2d2cfe293dad01c0934  /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-20-10-markshare1_1.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-20-10-markshare1_1.opb
IDLAUNCH: 14476
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
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.242
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        767728 kB
Buffers:         23228 kB
Cached:         223416 kB
SwapCached:        604 kB
Active:          30304 kB
Inactive:       218936 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        767476 kB
SwapTotal:     2097136 kB
SwapFree:      2096148 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6148 kB
Slab:            12008 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 00:50:29 (client local time) WITH STATUS 10 IN 1189.28 SECONDS
stats: 14476 6 1189.28 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/wulflinc13/normalized-mps-v2-20-10-markshare1_1.opb
c #variables read: 280 - #constraints read: 63
s SATISFIABLE
v -s01_bit_10 -s01_bit_9 -s01_bit_8 -s01_bit_7 -s01_bit_6 -s01_bit_5 -s01_bit_4 -s01_bit_3 -s01_bit_2 -s01_bit_1 -s01_bit0 -s01_bit1 -s01_bit2 -s01_bit3 -s01_bit4 -s01_bit5 -s01_bit6 -s01_bit7 -s01_bit8 -s01_bit9 -s01_bit10 -s01_bit11 -s01_bit12 -s01_bit13 -s01_bit14 -s01_bit15 -s01_bit16 -s01_bit17 s01_bit18 -s01_bit19 -s11_bit_10 -s11_bit_9 -s11_bit_8 -s11_bit_7 -s11_bit_6 -s11_bit_5 -s11_bit_4 -s11_bit_3 -s11_bit_2 -s11_bit_1 -s11_bit0 -s11_bit1 -s11_bit2 -s11_bit3 -s11_bit4 -s11_bit5 -s11_bit6 -s11_bit7 -s11_bit8 -s11_bit9 -s11_bit10 -s11_bit11 -s11_bit12 -s11_bit13 -s11_bit14 -s11_bit15 -s11_bit16 -s11_bit17 s11_bit18 -s11_bit19 -s21_bit_10 -s21_bit_9 -s21_bit_8 -s21_bit_7 -s21_bit_6 -s21_bit_5 -s21_bit_4 -s21_bit_3 -s21_bit_2 -s21_bit_1 -s21_bit0 -s21_bit1 -s21_bit2 -s21_bit3 -s21_bit4 -s21_bit5 -s21_bit6 -s21_bit7 -s21_bit8 -s21_bit9 -s21_bit10 -s21_bit11 -s21_bit12 -s21_bit13 -s21_bit14 -s21_bit15 -s21_bit16 -s21_bit17 s21_bit18 -s21_bit19 -s31_bit_10 -s31_bit_9 -s31_bit_8 -s31_bit_7 -s31_bit_6 -s31_bit_5 -s31_bit_4 -s31_bit_3 -s31_bit_2 -s31_bit_1 -s31_bit0 -s31_bit1 -s31_bit2 -s31_bit3 -s31_bit4 -s31_bit5 -s31_bit6 -s31_bit7 -s31_bit8 -s31_bit9 -s31_bit10 -s31_bit11 -s31_bit12 -s31_bit13 -s31_bit14 -s31_bit15 -s31_bit16 -s31_bit17 s31_bit18 -s31_bit19 -s41_bit_10 -s41_bit_9 -s41_bit_8 -s41_bit_7 -s41_bit_6 -s41_bit_5 -s41_bit_4 -s41_bit_3 -s41_bit_2 -s41_bit_1 -s41_bit0 -s41_bit1 -s41_bit2 -s41_bit3 -s41_bit4 -s41_bit5 -s41_bit6 -s41_bit7 -s41_bit8 -s41_bit9 -s41_bit10 -s41_bit11 -s41_bit12 -s41_bit13 -s41_bit14 -s41_bit15 -s41_bit16 -s41_bit17 s41_bit18 -s41_bit19 -s51_bit_10 -s51_bit_9 -s51_bit_8 -s51_bit_7 -s51_bit_6 -s51_bit_5 -s51_bit_4 -s51_bit_3 -s51_bit_2 -s51_bit_1 -s51_bit0 -s51_bit1 -s51_bit2 -s51_bit3 -s51_bit4 -s51_bit5 -s51_bit6 -s51_bit7 -s51_bit8 -s51_bit9 -s51_bit10 -s51_bit11 -s51_bit12 -s51_bit13 -s51_bit14 -s51_bit15 -s51_bit16 -s51_bit17 s51_bit18 -s51_bit19 -x0_bit_10 -x0_bit_9 -x0_bit_8 -x0_bit_7 -x0_bit_6 -x0_bit_5 -x0_bit_4 -x0_bit_3 -x0_bit_2 -x0_bit_1 -x0_bit0 -x1_bit0 -x2_bit0 -x3_bit0 -x4_bit0 -x5_bit0 -x6_bit0 -x7_bit0 -x8_bit0 -x9_bit0 -x10_bit0 -x11_bit0 -x12_bit0 -x13_bit0 -x14_bit0 -x15_bit0 -x16_bit0 -x17_bit0 -x18_bit0 -x19_bit0 -x20_bit0 -x21_bit0 -x22_bit0 -x23_bit0 -x24_bit0 -x25_bit0 -x26_bit0 -x27_bit0 -x28_bit0 -x29_bit0 -x30_bit0 -x31_bit0 -x32_bit0 -x33_bit0 x34_bit0 -x35_bit0 -x36_bit0 -x37_bit0 -x38_bit0 -x39_bit0 -x40_bit0 -x41_bit0 -x42_bit0 -x43_bit0 -x44_bit0 -x45_bit_10 -x45_bit_9 -x45_bit_8 -x45_bit_7 -x45_bit_6 -x45_bit_5 -x45_bit_4 -x45_bit_3 -x45_bit_2 -x45_bit_1 -x45_bit0 -x46_bit_10 -x46_bit_9 -x46_bit_8 -x46_bit_7 -x46_bit_6 -x46_bit_5 -x46_bit_4 -x46_bit_3 -x46_bit_2 -x46_bit_1 -x46_bit0 -x47_bit_10 -x47_bit_9 -x47_bit_8 -x47_bit_7 -x47_bit_6 -x47_bit_5 -x47_bit_4 -x47_bit_3 -x47_bit_2 -x47_bit_1 -x47_bit0 -x48_bit0 -x49_bit_10 -x49_bit_9 -x49_bit_8 -x49_bit_7 -x49_bit_6 -x49_bit_5 -x49_bit_4 -x49_bit_3 -x49_bit_2 -x49_bit_1 -x49_bit0 
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.73 0.84 0.89 2/54 6695
Raw data (stat): 6695 (runsolver) R 6694 1269 1268 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 776358282 1052672 99 4294967295 134512640 135381576 3221224480 3221219700 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.9997 s]
Raw data (loadavg): 0.77 0.85 0.89 2/54 6695
Raw data (stat): 6695 (Pueblo) R 6694 1269 1268 0 -1 0 1753 0 0 0 958 41 0 0 25 0 1 0 776358282 13611008 1731 4294967295 134512640 134581331 3221224592 3221223504 134527539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3323 1731 566 18 0 3305 0
vsize: 13292
[startup+20.0089 s]
Raw data (loadavg): 0.80 0.85 0.89 2/54 6695
Raw data (stat): 6695 (Pueblo) R 6694 1269 1268 0 -1 0 3152 0 0 0 1917 82 0 0 25 0 1 0 776358282 20516864 3130 4294967295 134512640 134581331 3221224592 3221223600 134530010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5009 3130 566 18 0 4991 0
vsize: 20036
[startup+30.01 s]
Raw data (loadavg): 0.83 0.86 0.89 2/54 6695
Raw data (stat): 6695 (Pueblo) R 6694 1269 1268 0 -1 0 3834 0 0 0 2879 120 0 0 25 0 1 0 776358282 22614016 3812 4294967295 134512640 134581331 3221224592 3221223504 134527445 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5521 3812 566 18 0 5503 0
vsize: 22084
[startup+40.0112 s]
Raw data (loadavg): 0.86 0.86 0.89 2/54 6695
Raw data (stat): 6695 (Pueblo) R 6694 1269 1268 0 -1 0 5940 0 0 0 3840 159 0 0 25 0 1 0 776358282 34398208 5918 4294967295 134512640 134581331 3221224592 3221223504 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8398 5918 566 18 0 8380 0
vsize: 33592
[startup+50.0221 s]
Raw data (loadavg): 0.88 0.86 0.90 2/54 6695
Raw data (stat): 6695 (Pueblo) R 6694 1269 1268 0 -1 0 6620 0 0 0 4803 198 0 0 25 0 1 0 776358282 38592512 6598 4294967295 134512640 134581331 3221224592 3221223632 134565293 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9422 6598 566 18 0 9404 0
vsize: 37688
[startup+60.022 s]
Raw data (loadavg): 0.90 0.87 0.90 2/54 6695
Raw data (stat): 6695 (Pueblo) R 6694 1269 1268 0 -1 0 7297 0 0 0 5766 235 0 0 25 0 1 0 776358282 38592512 7275 4294967295 134512640 134581331 3221224592 3221223504 134528072 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9422 7275 566 18 0 9404 0
vsize: 37688
[startup+70.0359 s]
Raw data (loadavg): 0.91 0.87 0.90 2/54 6695
Raw data (stat): 6695 (Pueblo) R 6694 1269 1268 0 -1 0 10781 0 0 0 6722 280 0 0 25 0 1 0 776358282 61923328 10759 4294967295 134512640 134581331 3221224592 3221223504 134527459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15118 10759 566 18 0 15100 0
vsize: 60472
[startup+80.0469 s]
Raw data (loadavg): 0.93 0.88 0.90 2/54 6695
Raw data (stat): 6695 (Pueblo) R 6694 1269 1268 0 -1 0 11473 0 0 0 7681 322 0 0 25 0 1 0 776358282 61923328 11451 4294967295 134512640 134581331 3221224592 3221223504 134527537 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15118 11451 566 18 0 15100 0
vsize: 60472
[startup+90.0516 s]
Raw data (loadavg): 1.02 0.90 0.91 2/54 6695
Raw data (stat): 6695 (Pueblo) R 6694 1269 1268 0 -1 0 12164 0 0 0 8641 363 0 0 25 0 1 0 776358282 70311936 12142 4294967295 134512640 134581331 3221224592 3221223504 134528088 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17166 12142 566 18 0 17148 0
vsize: 68664
[startup+100.052 s]
Raw data (loadavg): 1.02 0.90 0.91 2/54 6695
Raw data (stat): 6695 (Pueblo) R 6694 1269 1268 0 -1 0 12855 0 0 0 9599 404 0 0 25 0 1 0 776358282 70311936 12833 4294967295 134512640 134581331 3221224592 3221223504 134528072 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17166 12833 566 18 0 17148 0
vsize: 68664
[startup+110.058 s]
Raw data (loadavg): 1.01 0.90 0.91 2/54 6695
Raw data (stat): 6695 (Pueblo) R 6694 1269 1268 0 -1 0 13457 0 0 0 10559 446 0 0 25 0 1 0 776358282 70311936 13435 4294967295 134512640 134581331 3221224592 3221223504 134528072 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17166 13435 566 18 0 17148 0
vsize: 68664
[startup+120.058 s]
Raw data (loadavg): 1.01 0.91 0.91 2/54 6695
Raw data (stat): 6695 (Pueblo) R 6694 1269 1268 0 -1 0 14148 0 0 0 11517 487 0 0 25 0 1 0 776358282 70311936 14126 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17166 14126 566 18 0 17148 0
vsize: 68664
[startup+130.06 s]
Raw data (loadavg): 1.01 0.91 0.91 2/54 6695
Raw data (stat): 6695 (Pueblo) R 6694 1269 1268 0 -1 0 14838 0 0 0 12478 527 0 0 25 0 1 0 776358282 70311936 14816 4294967295 134512640 134581331 3221224592 3221223504 134527445 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17166 14816 566 18 0 17148 0
vsize: 68664
[startup+140.063 s]
Raw data (loadavg): 1.01 0.91 0.91 2/54 6695
Raw data (stat): 6695 (Pueblo) R 6694 1269 1268 0 -1 0 18693 0 0 0 13431 574 0 0 25 0 1 0 776358282 116883456 18457 4294967295 134512640 134581331 3221224592 3221223504 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28536 18457 566 18 0 28518 0
vsize: 114144
[startup+150.063 s]
Raw data (loadavg): 1.00 0.91 0.91 2/54 6695
Raw data (stat): 6695 (Pueblo) R 6694 1269 1268 0 -1 0 19609 0 0 0 14392 613 0 0 25 0 1 0 776358282 116883456 19373 4294967295 134512640 134581331 3221224592 3221223504 134527410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28536 19373 566 18 0 28518 0
vsize: 114144
[startup+160.072 s]
Raw data (loadavg): 1.00 0.92 0.91 2/54 6695
Raw data (stat): 6695 (Pueblo) R 6694 1269 1268 0 -1 0 20525 0 0 0 15351 655 0 0 25 0 1 0 776358282 116883456 20289 4294967295 134512640 134581331 3221224592 3221223784 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28536 20289 566 18 0 28518 0
vsize: 114144
[startup+170.073 s]
Raw data (loadavg): 1.00 0.92 0.91 2/54 6695
Raw data (stat): 6695 (Pueblo) R 6694 1269 1268 0 -1 0 21440 0 0 0 16314 692 0 0 25 0 1 0 776358282 116883456 21204 4294967295 134512640 134581331 3221224592 3221223504 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28536 21204 566 18 0 28518 0
vsize: 114144
[startup+180.073 s]
Raw data (loadavg): 1.00 0.92 0.91 2/54 6695
Raw data (stat): 6695 (Pueblo) R 6694 1269 1268 0 -1 0 22356 0 0 0 17270 736 0 0 25 0 1 0 776358282 133660672 22120 4294967295 134512640 134581331 3221224592 3221223504 134528079 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32632 22120 566 18 0 32614 0
vsize: 130528
[startup+190.074 s]
Raw data (loadavg): 1.00 0.92 0.91 2/54 6695
Raw data (stat): 6695 (Pueblo) R 6694 1269 1268 0 -1 0 23271 0 0 0 18230 776 0 0 25 0 1 0 776358282 133660672 23035 4294967295 134512640 134581331 3221224592 3221223552 134554657 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32632 23035 566 18 0 32614 0
vsize: 130528
[startup+200.079 s]
Raw data (loadavg): 1.00 0.92 0.91 2/54 6695
Raw data (stat): 6695 (Pueblo) R 6694 1269 1268 0 -1 0 24186 0 0 0 19190 816 0 0 25 0 1 0 776358282 133660672 23950 4294967295 134512640 134581331 3221224592 3221223504 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32632 23950 566 18 0 32614 0
vsize: 130528
[startup+210.079 s]
Raw data (loadavg): 1.00 0.93 0.91 2/54 6695
Raw data (stat): 6695 (Pueblo) R 6694 1269 1268 0 -1 0 25102 0 0 0 20148 858 0 0 25 0 1 0 776358282 133660672 24866 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32632 24866 566 18 0 32614 0
vsize: 130528
[startup+220.08 s]
Raw data (loadavg): 1.00 0.93 0.91 2/54 6695
Raw data (stat): 6695 (Pueblo) R 6694 1269 1268 0 -1 0 25883 0 0 0 21106 900 0 0 25 0 1 0 776358282 133660672 25647 4294967295 134512640 134581331 3221224592 3221223504 134527464 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32632 25647 566 18 0 32614 0
vsize: 130528
[startup+230.081 s]
Raw data (loadavg): 1.00 0.93 0.91 2/54 6695
Raw data (stat): 6695 (Pueblo) R 6694 1269 1268 0 -1 0 26798 0 0 0 22067 940 0 0 25 0 1 0 776358282 133660672 26562 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32632 26562 566 18 0 32614 0
vsize: 130528
[startup+240.081 s]
Raw data (loadavg): 1.00 0.93 0.91 2/54 6695
Raw data (stat): 6695 (Pueblo) R 6694 1269 1268 0 -1 0 27714 0 0 0 23025 982 0 0 25 0 1 0 776358282 133660672 27478 4294967295 134512640 134581331 3221224592 3221223504 134527442 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32632 27478 566 18 0 32614 0
vsize: 130528
[startup+250.088 s]
Raw data (loadavg): 1.00 0.93 0.91 2/54 6695
Raw data (stat): 6695 (Pueblo) R 6694 1269 1268 0 -1 0 28629 0 0 0 23984 1023 0 0 25 0 1 0 776358282 133660672 28393 4294967295 134512640 134581331 3221224592 3221223456 134527212 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32632 28393 566 18 0 32614 0
vsize: 130528
[startup+260.089 s]
Raw data (loadavg): 1.00 0.94 0.91 2/54 6695
Raw data (stat): 6695 (Pueblo) R 6694 1269 1268 0 -1 0 29545 0 0 0 24944 1063 0 0 25 0 1 0 776358282 133660672 29309 4294967295 134512640 134581331 3221224592 3221223632 134565039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32632 29309 566 18 0 32614 0
vsize: 130528
[startup+270.091 s]
Raw data (loadavg): 1.00 0.94 0.91 2/54 6695
Raw data (stat): 6695 (Pueblo) R 6694 1269 1268 0 -1 0 33382 0 0 0 25894 1114 0 0 25 0 1 0 776358282 226459648 32890 4294967295 134512640 134581331 3221224592 3221223600 134530845 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55288 32890 566 18 0 55270 0
vsize: 221152
[startup+280.091 s]
Raw data (loadavg): 1.00 0.94 0.91 2/54 6695
Raw data (stat): 6695 (Pueblo) R 6694 1269 1268 0 -1 0 34407 0 0 0 26850 1157 0 0 25 0 1 0 776358282 226459648 33915 4294967295 134512640 134581331 3221224592 3221223456 134527004 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55288 33915 566 18 0 55270 0
vsize: 221152
[startup+290.092 s]
Raw data (loadavg): 1.00 0.94 0.91 2/54 6695
Raw data (stat): 6695 (Pueblo) R 6694 1269 1268 0 -1 0 35433 0 0 0 27809 1199 0 0 25 0 1 0 776358282 226459648 34941 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55288 34941 566 18 0 55270 0
vsize: 221152
[startup+300.092 s]
Raw data (loadavg): 1.00 0.94 0.91 2/54 6695
Raw data (stat): 6695 (Pueblo) R 6694 1269 1268 0 -1 0 36458 0 0 0 28765 1243 0 0 25 0 1 0 776358282 226459648 35966 4294967295 134512640 134581331 3221224592 3221223504 134527410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55288 35966 566 18 0 55270 0
vsize: 221152
[startup+310.092 s]
Raw data (loadavg): 1.00 0.94 0.91 2/54 6695
Raw data (stat): 6695 (Pueblo) R 6694 1269 1268 0 -1 0 37326 0 0 0 29725 1283 0 0 25 0 1 0 776358282 226459648 36834 4294967295 134512640 134581331 3221224592 3221223504 134528079 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55288 36834 566 18 0 55270 0
vsize: 221152
[startup+320.099 s]
Raw data (loadavg): 1.00 0.94 0.91 2/54 6695
Raw data (stat): 6695 (Pueblo) R 6694 1269 1268 0 -1 0 38351 0 0 0 30684 1324 0 0 25 0 1 0 776358282 226459648 37859 4294967295 134512640 134581331 3221224592 3221223504 134528072 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55288 37859 566 18 0 55270 0
vsize: 221152
[startup+330.1 s]
Raw data (loadavg): 1.00 0.95 0.91 2/54 6695
Raw data (stat): 6695 (Pueblo) R 6694 1269 1268 0 -1 0 39376 0 0 0 31643 1366 0 0 25 0 1 0 776358282 226459648 38884 4294967295 134512640 134581331 3221224592 3221223504 134527445 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55288 38884 566 18 0 55270 0
vsize: 221152
[startup+340.101 s]
Raw data (loadavg): 1.00 0.95 0.91 2/54 6695
Raw data (stat): 6695 (Pueblo) R 6694 1269 1268 0 -1 0 40401 0 0 0 32602 1407 0 0 25 0 1 0 776358282 226459648 39909 4294967295 134512640 134581331 3221224592 3221223504 134528088 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55288 39909 566 18 0 55270 0
vsize: 221152
[startup+350.106 s]
Raw data (loadavg): 1.00 0.95 0.91 2/54 6695
Raw data (stat): 6695 (Pueblo) R 6694 1269 1268 0 -1 0 41426 0 0 0 33560 1449 0 0 25 0 1 0 776358282 260014080 40934 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63480 40934 566 18 0 63462 0
vsize: 253920
[startup+360.111 s]
Raw data (loadavg): 1.00 0.95 0.91 2/54 6695
Raw data (stat): 6695 (Pueblo) R 6694 1269 1268 0 -1 0 42451 0 0 0 34517 1493 0 0 25 0 1 0 776358282 260014080 41959 4294967295 134512640 134581331 3221224592 3221223504 134528079 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63480 41959 566 18 0 63462 0
vsize: 253920
[startup+370.112 s]
Raw data (loadavg): 1.00 0.95 0.91 2/54 6695
Raw data (stat): 6695 (Pueblo) R 6694 1269 1268 0 -1 0 43477 0 0 0 35475 1535 0 0 25 0 1 0 776358282 260014080 42985 4294967295 134512640 134581331 3221224592 3221223568 134560800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63480 42985 566 18 0 63462 0
vsize: 253920
[startup+380.116 s]
Raw data (loadavg): 1.00 0.95 0.91 2/54 6695
Raw data (stat): 6695 (Pueblo) R 6694 1269 1268 0 -1 0 44502 0 0 0 36436 1575 0 0 25 0 1 0 776358282 260014080 44010 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63480 44010 566 18 0 63462 0
vsize: 253920
[startup+390.221 s]
Raw data (loadavg): 1.00 0.95 0.91 2/54 6695
Raw data (stat): 6695 (Pueblo) R 6694 1269 1268 0 -1 0 45529 0 0 0 37405 1617 0 0 25 0 1 0 776358282 260014080 45037 4294967295 134512640 134581331 3221224592 3221223504 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63480 45037 566 18 0 63462 0
vsize: 253920
[startup+400.221 s]
Raw data (loadavg): 1.00 0.95 0.91 2/54 6695
Raw data (stat): 6695 (Pueblo) R 6694 1269 1268 0 -1 0 46555 0 0 0 38361 1660 0 0 25 0 1 0 776358282 260014080 46063 4294967295 134512640 134581331 3221224592 3221223504 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63480 46063 566 18 0 63462 0
vsize: 253920
[startup+410.222 s]
Raw data (loadavg): 1.00 0.95 0.91 2/54 6695
Raw data (stat): 6695 (Pueblo) R 6694 1269 1268 0 -1 0 47580 0 0 0 39324 1697 0 0 25 0 1 0 776358282 260014080 47088 4294967295 134512640 134581331 3221224592 3221223504 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63480 47088 566 18 0 63462 0
vsize: 253920
[startup+420.223 s]
Raw data (loadavg): 1.00 0.95 0.91 2/54 6695
Raw data (stat): 6695 (Pueblo) R 6694 1269 1268 0 -1 0 48448 0 0 0 40279 1743 0 0 25 0 1 0 776358282 260014080 47956 4294967295 134512640 134581331 3221224592 3221223504 134527504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63480 47956 566 18 0 63462 0
vsize: 253920
[startup+430.223 s]
Raw data (loadavg): 1.00 0.95 0.91 2/54 6695
Raw data (stat): 6695 (Pueblo) R 6694 1269 1268 0 -1 0 49474 0 0 0 41236 1785 0 0 25 0 1 0 776358282 260014080 48982 4294967295 134512640 134581331 3221224592 3221223504 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63480 48982 566 18 0 63462 0
vsize: 253920
[startup+440.224 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 6695
Raw data (stat): 6695 (Pueblo) R 6694 1269 1268 0 -1 0 50499 0 0 0 42195 1827 0 0 25 0 1 0 776358282 260014080 50007 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63480 50007 566 18 0 63462 0
vsize: 253920
[startup+450.231 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 6695
Raw data (stat): 6695 (Pueblo) R 6694 1269 1268 0 -1 0 51524 0 0 0 43155 1868 0 0 25 0 1 0 776358282 260014080 51032 4294967295 134512640 134581331 3221224592 3221223504 134527539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63480 51032 566 18 0 63462 0
vsize: 253920
[startup+460.24 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 6695
Raw data (stat): 6695 (Pueblo) R 6694 1269 1268 0 -1 0 52550 0 0 0 44113 1910 0 0 25 0 1 0 776358282 260014080 52058 4294967295 134512640 134581331 3221224592 3221223504 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63480 52058 566 18 0 63462 0
vsize: 253920
[startup+470.241 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 6695
Raw data (stat): 6695 (Pueblo) R 6694 1269 1268 0 -1 0 53575 0 0 0 45071 1952 0 0 25 0 1 0 776358282 260014080 53083 4294967295 134512640 134581331 3221224592 3221223504 134528085 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63480 53083 566 18 0 63462 0
vsize: 253920
[startup+480.241 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 6695
Raw data (stat): 6695 (Pueblo) R 6694 1269 1268 0 -1 0 54600 0 0 0 46030 1993 0 0 25 0 1 0 776358282 260014080 54108 4294967295 134512640 134581331 3221224592 3221223504 134528088 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63480 54108 566 18 0 63462 0
vsize: 253920
[startup+490.241 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 6695
Raw data (stat): 6695 (Pueblo) R 6694 1269 1268 0 -1 0 55625 0 0 0 46995 2028 0 0 25 0 1 0 776358282 260014080 55133 4294967295 134512640 134581331 3221224592 3221223504 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63480 55133 566 18 0 63462 0
vsize: 253920
[startup+500.249 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 6695
Raw data (stat): 6695 (Pueblo) R 6694 1269 1268 0 -1 0 56651 0 0 0 47954 2070 0 0 25 0 1 0 776358282 260014080 56159 4294967295 134512640 134581331 3221224592 3221223504 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63480 56159 566 18 0 63462 0
vsize: 253920
[startup+510.25 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 6695
Raw data (stat): 6695 (Pueblo) R 6694 1269 1268 0 -1 0 57676 0 0 0 48908 2116 0 0 25 0 1 0 776358282 260014080 57184 4294967295 134512640 134581331 3221224592 3221223504 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63480 57184 566 18 0 63462 0
vsize: 253920
[startup+520.251 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 6695
Raw data (stat): 6695 (Pueblo) R 6694 1269 1268 0 -1 0 58702 0 0 0 49866 2158 0 0 25 0 1 0 776358282 260014080 58210 4294967295 134512640 134581331 3221224592 3221223504 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63480 58210 566 18 0 63462 0
vsize: 253920
[startup+530.251 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 6695
Raw data (stat): 6695 (Pueblo) R 6694 1269 1268 0 -1 0 62426 0 0 0 50815 2209 0 0 25 0 1 0 776358282 445108224 61299 4294967295 134512640 134581331 3221224592 3221223600 134530008 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 108669 61299 566 18 0 108651 0
vsize: 434676
[startup+540.252 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6695
Raw data (stat): 6695 (Pueblo) R 6694 1269 1268 0 -1 0 63506 0 0 0 51774 2250 0 0 25 0 1 0 776358282 445108224 62379 4294967295 134512640 134581331 3221224592 3221223600 134530021 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 108669 62379 566 18 0 108651 0
vsize: 434676
[startup+550.257 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6695
Raw data (stat): 6695 (Pueblo) R 6694 1269 1268 0 -1 0 64587 0 0 0 52736 2289 0 0 25 0 1 0 776358282 445108224 63460 4294967295 134512640 134581331 3221224592 3221223504 134527539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 108669 63460 566 18 0 108651 0
vsize: 434676
[startup+560.262 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6695
Raw data (stat): 6695 (Pueblo) R 6694 1269 1268 0 -1 0 65667 0 0 0 53693 2332 0 0 25 0 1 0 776358282 445108224 64540 4294967295 134512640 134581331 3221224592 3221223504 134528072 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 108669 64540 566 18 0 108651 0
vsize: 434676
[startup+570.264 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6695
Raw data (stat): 6695 (Pueblo) R 6694 1269 1268 0 -1 0 66747 0 0 0 54649 2377 0 0 25 0 1 0 776358282 445108224 65620 4294967295 134512640 134581331 3221224592 3221223504 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 108669 65620 566 18 0 108651 0
vsize: 434676
[startup+580.265 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6695
Raw data (stat): 6695 (Pueblo) R 6694 1269 1268 0 -1 0 67827 0 0 0 55607 2419 0 0 25 0 1 0 776358282 445108224 66700 4294967295 134512640 134581331 3221224592 3221223504 134528088 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 108669 66700 566 18 0 108651 0
vsize: 434676
[startup+590.266 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6695
Raw data (stat): 6695 (Pueblo) R 6694 1269 1268 0 -1 0 68907 0 0 0 56569 2457 0 0 25 0 1 0 776358282 445108224 67780 4294967295 134512640 134581331 3221224592 3221223600 134530031 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 108669 67780 566 18 0 108651 0
vsize: 434676
[startup+600.272 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6695
Raw data (stat): 6695 (Pueblo) R 6694 1269 1268 0 -1 0 69986 0 0 0 57530 2497 0 0 25 0 1 0 776358282 445108224 68859 4294967295 134512640 134581331 3221224592 3221223600 134529988 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 108669 68859 566 18 0 108651 0
vsize: 434676
[startup+610.273 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6695
Raw data (stat): 6695 (Pueblo) R 6694 1269 1268 0 -1 0 71066 0 0 0 58489 2538 0 0 25 0 1 0 776358282 445108224 69939 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 108669 69939 566 18 0 108651 0
vsize: 434676
[startup+620.274 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6695
Raw data (stat): 6695 (Pueblo) R 6694 1269 1268 0 -1 0 71981 0 0 0 59445 2582 0 0 25 0 1 0 776358282 445108224 70854 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 108669 70854 566 18 0 108651 0
vsize: 434676
[startup+630.281 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6695
Raw data (stat): 6695 (Pueblo) R 6694 1269 1268 0 -1 0 73063 0 0 0 60407 2621 0 0 25 0 1 0 776358282 445108224 71936 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 108669 71936 566 18 0 108651 0
vsize: 434676
[startup+640.281 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6695
Raw data (stat): 6695 (Pueblo) R 6694 1269 1268 0 -1 0 74146 0 0 0 61364 2664 0 0 25 0 1 0 776358282 445108224 73019 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 108669 73019 566 18 0 108651 0
vsize: 434676
[startup+650.288 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6695
Raw data (stat): 6695 (Pueblo) R 6694 1269 1268 0 -1 0 75228 0 0 0 62326 2703 0 0 25 0 1 0 776358282 445108224 74101 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 108669 74101 566 18 0 108651 0
vsize: 434676
[startup+660.287 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6695
Raw data (stat): 6695 (Pueblo) R 6694 1269 1268 0 -1 0 76310 0 0 0 63286 2743 0 0 25 0 1 0 776358282 445108224 75183 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 108669 75183 566 18 0 108651 0
vsize: 434676
[startup+670.29 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6695
Raw data (stat): 6695 (Pueblo) R 6694 1269 1268 0 -1 0 77393 0 0 0 64242 2787 0 0 25 0 1 0 776358282 445108224 76266 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 108669 76266 566 18 0 108651 0
vsize: 434676
[startup+680.29 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6695
Raw data (stat): 6695 (Pueblo) R 6694 1269 1268 0 -1 0 78475 0 0 0 65200 2829 0 0 25 0 1 0 776358282 445108224 77348 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 108669 77348 566 18 0 108651 0
vsize: 434676
[startup+690.291 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6695
Raw data (stat): 6695 (Pueblo) R 6694 1269 1268 0 -1 0 79557 0 0 0 66156 2873 0 0 25 0 1 0 776358282 512217088 78430 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 125053 78430 566 18 0 125035 0
vsize: 500212
[startup+700.291 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6695
Raw data (stat): 6695 (Pueblo) R 6694 1269 1268 0 -1 0 80639 0 0 0 67114 2916 0 0 25 0 1 0 776358282 512217088 79512 4294967295 134512640 134581331 3221224592 3221223784 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 125053 79512 566 18 0 125035 0
vsize: 500212
[startup+710.291 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6695
Raw data (stat): 6695 (Pueblo) R 6694 1269 1268 0 -1 0 81722 0 0 0 68072 2958 0 0 25 0 1 0 776358282 512217088 80595 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 125053 80595 566 18 0 125035 0
vsize: 500212
[startup+720.291 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6695
Raw data (stat): 6695 (Pueblo) R 6694 1269 1268 0 -1 0 82804 0 0 0 69024 3006 0 0 25 0 1 0 776358282 512217088 81677 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 125053 81677 566 18 0 125035 0
vsize: 500212
[startup+730.291 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6695
Raw data (stat): 6695 (Pueblo) R 6694 1269 1268 0 -1 0 83886 0 0 0 69983 3048 0 0 25 0 1 0 776358282 512217088 82759 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 125053 82759 566 18 0 125035 0
vsize: 500212
[startup+740.303 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6695
Raw data (stat): 6695 (Pueblo) R 6694 1269 1268 0 -1 0 84969 0 0 0 70940 3092 0 0 25 0 1 0 776358282 512217088 83842 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 125053 83842 566 18 0 125035 0
vsize: 500212
[startup+750.308 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6695
Raw data (stat): 6695 (Pueblo) R 6694 1269 1268 0 -1 0 86051 0 0 0 71900 3132 0 0 25 0 1 0 776358282 512217088 84924 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 125053 84924 566 18 0 125035 0
vsize: 500212
[startup+760.307 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6695
Raw data (stat): 6695 (Pueblo) R 6694 1269 1268 0 -1 0 87134 0 0 0 72857 3176 0 0 25 0 1 0 776358282 512217088 86007 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 125053 86007 566 18 0 125035 0
vsize: 500212
[startup+770.308 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6695
Raw data (stat): 6695 (Pueblo) R 6694 1269 1268 0 -1 0 88216 0 0 0 73815 3217 0 0 25 0 1 0 776358282 512217088 87089 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 125053 87089 566 18 0 125035 0
vsize: 500212
[startup+780.307 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6695
Raw data (stat): 6695 (Pueblo) R 6694 1269 1268 0 -1 0 89299 0 0 0 74777 3256 0 0 25 0 1 0 776358282 512217088 88172 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 125053 88172 566 18 0 125035 0
vsize: 500212
[startup+790.308 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6695
Raw data (stat): 6695 (Pueblo) R 6694 1269 1268 0 -1 0 90381 0 0 0 75735 3298 0 0 25 0 1 0 776358282 512217088 89254 4294967295 134512640 134581331 3221224592 3221223784 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 125053 89254 566 18 0 125035 0
vsize: 500212
[startup+800.309 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6695
Raw data (stat): 6695 (Pueblo) R 6694 1269 1268 0 -1 0 91464 0 0 0 76693 3341 0 0 25 0 1 0 776358282 512217088 90337 4294967295 134512640 134581331 3221224592 3221223564 134526890 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 125053 90337 566 18 0 125035 0
vsize: 500212
[startup+810.317 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6695
Raw data (stat): 6695 (Pueblo) R 6694 1269 1268 0 -1 0 92378 0 0 0 77651 3383 0 0 25 0 1 0 776358282 512217088 91251 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 125053 91251 566 18 0 125035 0
vsize: 500212
[startup+820.317 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6695
Raw data (stat): 6695 (Pueblo) R 6694 1269 1268 0 -1 0 93461 0 0 0 78605 3429 0 0 25 0 1 0 776358282 512217088 92334 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 125053 92334 566 18 0 125035 0
vsize: 500212
[startup+830.317 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6695
Raw data (stat): 6695 (Pueblo) R 6694 1269 1268 0 -1 0 94543 0 0 0 79562 3473 0 0 25 0 1 0 776358282 512217088 93416 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 125053 93416 566 18 0 125035 0
vsize: 500212
[startup+840.316 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6695
Raw data (stat): 6695 (Pueblo) R 6694 1269 1268 0 -1 0 95625 0 0 0 80518 3517 0 0 25 0 1 0 776358282 512217088 94498 4294967295 134512640 134581331 3221224592 3221223784 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 125053 94498 566 18 0 125035 0
vsize: 500212
[startup+850.316 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6695
Raw data (stat): 6695 (Pueblo) R 6694 1269 1268 0 -1 0 96707 0 0 0 81475 3560 0 0 25 0 1 0 776358282 512217088 95580 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 125053 95580 566 18 0 125035 0
vsize: 500212
[startup+860.316 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6695
Raw data (stat): 6695 (Pueblo) R 6694 1269 1268 0 -1 0 97789 0 0 0 82432 3603 0 0 25 0 1 0 776358282 512217088 96662 4294967295 134512640 134581331 3221224592 3221223784 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 125053 96662 566 18 0 125035 0
vsize: 500212
[startup+870.316 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6695
Raw data (stat): 6695 (Pueblo) R 6694 1269 1268 0 -1 0 98871 0 0 0 83387 3648 0 0 25 0 1 0 776358282 512217088 97744 4294967295 134512640 134581331 3221224592 3221223784 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 125053 97744 566 18 0 125035 0
vsize: 500212
[startup+880.32 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6695
Raw data (stat): 6695 (Pueblo) R 6694 1269 1268 0 -1 0 99954 0 0 0 84346 3690 0 0 25 0 1 0 776358282 512217088 98827 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 125053 98827 566 18 0 125035 0
vsize: 500212
[startup+890.32 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6695
Raw data (stat): 6695 (Pueblo) R 6694 1269 1268 0 -1 0 101036 0 0 0 85304 3732 0 0 25 0 1 0 776358282 512217088 99909 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 125053 99909 566 18 0 125035 0
vsize: 500212
[startup+900.32 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6695
Raw data (stat): 6695 (Pueblo) R 6694 1269 1268 0 -1 0 102118 0 0 0 86262 3774 0 0 25 0 1 0 776358282 512217088 100991 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 125053 100991 566 18 0 125035 0
vsize: 500212
[startup+910.32 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6695
Raw data (stat): 6695 (Pueblo) R 6694 1269 1268 0 -1 0 103201 0 0 0 87225 3811 0 0 25 0 1 0 776358282 512217088 102074 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 125053 102074 566 18 0 125035 0
vsize: 500212
[startup+920.32 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6695
Raw data (stat): 6695 (Pueblo) R 6694 1269 1268 0 -1 0 104283 0 0 0 88181 3856 0 0 25 0 1 0 776358282 512217088 103156 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 125053 103156 566 18 0 125035 0
vsize: 500212
[startup+930.329 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6695
Raw data (stat): 6695 (Pueblo) R 6694 1269 1268 0 -1 0 105365 0 0 0 89138 3900 0 0 25 0 1 0 776358282 512217088 104238 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 125053 104238 566 18 0 125035 0
vsize: 500212
[startup+940.335 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6695
Raw data (stat): 6695 (Pueblo) R 6694 1269 1268 0 -1 0 106448 0 0 0 90100 3938 0 0 25 0 1 0 776358282 512217088 105321 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 125053 105321 566 18 0 125035 0
vsize: 500212
[startup+950.347 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6695
Raw data (stat): 6695 (Pueblo) R 6694 1269 1268 0 -1 0 107530 0 0 0 91060 3980 0 0 25 0 1 0 776358282 512217088 106403 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 125053 106403 566 18 0 125035 0
vsize: 500212
[startup+960.347 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6695
Raw data (stat): 6695 (Pueblo) R 6694 1269 1268 0 -1 0 108612 0 0 0 92017 4023 0 0 25 0 1 0 776358282 512217088 107485 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 125053 107485 566 18 0 125035 0
vsize: 500212
[startup+970.352 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6695
Raw data (stat): 6695 (Pueblo) R 6694 1269 1268 0 -1 0 109695 0 0 0 92974 4067 0 0 25 0 1 0 776358282 512217088 108568 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 125053 108568 566 18 0 125035 0
vsize: 500212
[startup+980.352 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6695
Raw data (stat): 6695 (Pueblo) R 6694 1269 1268 0 -1 0 110777 0 0 0 93932 4109 0 0 25 0 1 0 776358282 512217088 109650 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 125053 109650 566 18 0 125035 0
vsize: 500212
[startup+990.359 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6695
Raw data (stat): 6695 (Pueblo) R 6694 1269 1268 0 -1 0 111692 0 0 0 94894 4148 0 0 25 0 1 0 776358282 512217088 110565 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 125053 110565 566 18 0 125035 0
vsize: 500212
[startup+1000.36 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6695
Raw data (stat): 6695 (Pueblo) R 6694 1269 1268 0 -1 0 112774 0 0 0 95855 4187 0 0 25 0 1 0 776358282 512217088 111647 4294967295 134512640 134581331 3221224592 3221223784 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 125053 111647 566 18 0 125035 0
vsize: 500212
[startup+1010.36 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6695
Raw data (stat): 6695 (Pueblo) R 6694 1269 1268 0 -1 0 113856 0 0 0 96813 4229 0 0 25 0 1 0 776358282 512217088 112729 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 125053 112729 566 18 0 125035 0
vsize: 500212
[startup+1020.36 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6695
Raw data (stat): 6695 (Pueblo) R 6694 1269 1268 0 -1 0 114938 0 0 0 97768 4275 0 0 25 0 1 0 776358282 512217088 113811 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 125053 113811 566 18 0 125035 0
vsize: 500212
[startup+1030.36 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6695
Raw data (stat): 6695 (Pueblo) R 6694 1269 1268 0 -1 0 116020 0 0 0 98725 4318 0 0 25 0 1 0 776358282 512217088 114893 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 125053 114893 566 18 0 125035 0
vsize: 500212
[startup+1040.36 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6695
Raw data (stat): 6695 (Pueblo) R 6694 1269 1268 0 -1 0 117102 0 0 0 99679 4364 0 0 25 0 1 0 776358282 512217088 115975 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 125053 115975 566 18 0 125035 0
vsize: 500212
[startup+1050.36 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6695
Raw data (stat): 6695 (Pueblo) R 6694 1269 1268 0 -1 0 120764 0 0 0 100625 4418 0 0 25 0 1 0 776358282 879394816 118144 4294967295 134512640 134581331 3221224592 3221223784 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 214696 118144 566 18 0 214678 0
vsize: 858784
[startup+1060.36 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6695
Raw data (stat): 6695 (Pueblo) R 6694 1269 1268 0 -1 0 121871 0 0 0 101580 4463 0 0 25 0 1 0 776358282 879394816 119251 4294967295 134512640 134581331 3221224592 3221223784 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 214696 119251 566 18 0 214678 0
vsize: 858784
[startup+1070.36 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6695
Raw data (stat): 6695 (Pueblo) R 6694 1269 1268 0 -1 0 122978 0 0 0 102535 4509 0 0 25 0 1 0 776358282 879394816 120358 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 214696 120358 566 18 0 214678 0
vsize: 858784
[startup+1080.36 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6695
Raw data (stat): 6695 (Pueblo) R 6694 1269 1268 0 -1 0 124085 0 0 0 103492 4552 0 0 25 0 1 0 776358282 879394816 121465 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 214696 121465 566 18 0 214678 0
vsize: 858784
[startup+1090.36 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6695
Raw data (stat): 6695 (Pueblo) R 6694 1269 1268 0 -1 0 125191 0 0 0 104447 4597 0 0 25 0 1 0 776358282 879394816 122571 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 214696 122571 566 18 0 214678 0
vsize: 858784
[startup+1100.36 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6695
Raw data (stat): 6695 (Pueblo) R 6694 1269 1268 0 -1 0 126298 0 0 0 105406 4638 0 0 25 0 1 0 776358282 879394816 123678 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 214696 123678 566 18 0 214678 0
vsize: 858784
[startup+1110.36 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6695
Raw data (stat): 6695 (Pueblo) R 6694 1269 1268 0 -1 0 127404 0 0 0 106363 4681 0 0 25 0 1 0 776358282 879394816 124784 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 214696 124784 566 18 0 214678 0
vsize: 858784
[startup+1120.36 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6695
Raw data (stat): 6695 (Pueblo) R 6694 1269 1268 0 -1 0 128511 0 0 0 107317 4728 0 0 25 0 1 0 776358282 879394816 125891 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 214696 125891 566 18 0 214678 0
vsize: 858784
[startup+1130.36 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6695
Raw data (stat): 6695 (Pueblo) R 6694 1269 1268 0 -1 0 129445 0 0 0 108276 4768 0 0 25 0 1 0 776358282 879394816 126825 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 214696 126825 566 18 0 214678 0
vsize: 858784
[startup+1140.36 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6695
Raw data (stat): 6695 (Pueblo) R 6694 1269 1268 0 -1 0 130551 0 0 0 109233 4812 0 0 25 0 1 0 776358282 879394816 127931 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 214696 127931 566 18 0 214678 0
vsize: 858784
[startup+1150.36 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6695
Raw data (stat): 6695 (Pueblo) R 6694 1269 1268 0 -1 0 131658 0 0 0 110189 4855 0 0 25 0 1 0 776358282 879394816 129038 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 214696 129038 566 18 0 214678 0
vsize: 858784
[startup+1160.36 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6695
Raw data (stat): 6695 (Pueblo) R 6694 1269 1268 0 -1 0 132764 0 0 0 111148 4897 0 0 25 0 1 0 776358282 879394816 130144 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 214696 130144 566 18 0 214678 0
vsize: 858784
[startup+1170.36 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6695
Raw data (stat): 6695 (Pueblo) R 6694 1269 1268 0 -1 0 133871 0 0 0 112103 4942 0 0 25 0 1 0 776358282 879394816 131251 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 214696 131251 566 18 0 214678 0
vsize: 858784
[startup+1180.36 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6695
Raw data (stat): 6695 (Pueblo) R 6694 1269 1268 0 -1 0 134977 0 0 0 113063 4982 0 0 25 0 1 0 776358282 879394816 132357 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 214696 132357 566 18 0 214678 0
vsize: 858784
[startup+1189.21 s]
Raw data (loadavg): 1.00 0.97 0.91 1/53 6695
Raw data (stat): 6695 (Pueblo) R 6694 1269 1268 0 -1 0 134977 0 0 0 113063 4982 0 0 25 0 1 0 776358282 879394816 132357 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 214696 132357 566 18 0 214678 0
vsize: 0

Child status: 10
Real time (s): 1189.2
CPU time (s): 1189.28
CPU user time (s): 1138.81
CPU system time (s): 50.4683
CPU usage (%): 100.006
Max. virtual memory (Kb): 858784
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	FAILED
ERROR: unsatisfied constraint on line 117
#### END VERIFIER DATA ####