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/submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-cm42a.opb
MD5SUM	62b75258091a8b1382fa8b1c633d9511
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	694
Optimality of the best value was proved	NO
Number of terms in the objective function	99
Biggest coefficient in the objective function	60
Number of bits for the biggest coefficient in the objective function	6
Sum of the numbers in the objective function	4087
Number of bits of the sum of numbers in the objective function	12
Biggest number in a constraint	60
Number of bits of the biggest number in a constraint	6
Biggest sum of numbers in a constraint	4087
Number of bits of the biggest sum of numbers	12
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.168973
Number of variables	99
Total number of constraints	185
Number of constraints which are clauses	185
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	20
Trace number 24400

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-10 02:10:11 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2266 boxname=wulflinc31 idbench=252 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  62b75258091a8b1382fa8b1c633d9511  /oldhome/oroussel/tmp/wulflinc31/normalized-cm42a.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc31/normalized-cm42a.opb
IDLAUNCH: 2266
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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	: 3
cpu MHz		: 451.153
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:        242084 kB
Buffers:         45540 kB
Cached:         713104 kB
SwapCached:        644 kB
Active:         364344 kB
Inactive:       396616 kB
HighTotal:      131008 kB
HighFree:        23828 kB
LowTotal:       903652 kB
LowFree:        218256 kB
SwapTotal:     2097892 kB
SwapFree:      2096612 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            25896 kB
Committed_AS:    63652 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-10 02:30:00 (client local time) WITH STATUS 10 IN 1189.01 SECONDS
stats: 2266 0 1189.01 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Pueblo version 1.2 (Sept 2004)
c Developed @ University of Michigan, Ann Arbor, MI
c  by Hossein Sheini
c Solving: /oldhome/oroussel/tmp/wulflinc31/normalized-cm42a.opb
c #variables read: 99 - #constraints read: 186
s SATISFIABLE
v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 x12 x13 x14 x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 x28 x29 -x30 -x31 x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 x41 -x42 -x43 x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 x74 -x75 x76 -x77 x78 -x79 x80 -x81 x82 -x83 x84 -x85 x86 -x87 x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 
#### 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): 1.00 0.99 0.91 2/54 6283
Raw data (stat): 6283 (runsolver) R 6282 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 705536023 1056768 100 4294967295 134512640 135381576 3221221696 3221216920 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6283
Raw data (stat): 6283 (Pueblo) R 6282 7876 7672 0 -1 0 284 0 0 0 968 29 0 0 25 0 1 0 705536023 6832128 261 4294967295 134512640 134581331 3221221808 3221220672 134528272 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1668 261 566 18 0 1650 0
vsize: 6672
[startup+19.9999 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6283
Raw data (stat): 6283 (Pueblo) R 6282 7876 7672 0 -1 0 291 0 0 0 1947 50 0 0 25 0 1 0 705536023 6832128 268 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1668 268 566 18 0 1650 0
vsize: 6672
[startup+30.0008 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6283
Raw data (stat): 6283 (Pueblo) R 6282 7876 7672 0 -1 0 296 0 0 0 2925 72 0 0 25 0 1 0 705536023 6832128 273 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1668 273 566 18 0 1650 0
vsize: 6672
[startup+40.001 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6283
Raw data (stat): 6283 (Pueblo) R 6282 7876 7672 0 -1 0 299 0 0 0 3898 99 0 0 25 0 1 0 705536023 6832128 276 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1668 276 566 18 0 1650 0
vsize: 6672
[startup+50.0016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6283
Raw data (stat): 6283 (Pueblo) R 6282 7876 7672 0 -1 0 303 0 0 0 4869 128 0 0 25 0 1 0 705536023 6832128 280 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1668 280 566 18 0 1650 0
vsize: 6672
[startup+60.0016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6283
Raw data (stat): 6283 (Pueblo) R 6282 7876 7672 0 -1 0 308 0 0 0 5848 150 0 0 25 0 1 0 705536023 6963200 285 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1700 285 566 18 0 1682 0
vsize: 6800
[startup+70.0015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6283
Raw data (stat): 6283 (Pueblo) R 6282 7876 7672 0 -1 0 308 0 0 0 6826 172 0 0 25 0 1 0 705536023 6963200 285 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1700 285 566 18 0 1682 0
vsize: 6800
[startup+80.0024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6283
Raw data (stat): 6283 (Pueblo) R 6282 7876 7672 0 -1 0 311 0 0 0 7804 194 0 0 25 0 1 0 705536023 6963200 288 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1700 288 566 18 0 1682 0
vsize: 6800
[startup+90.0024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6283
Raw data (stat): 6283 (Pueblo) R 6282 7876 7672 0 -1 0 315 0 0 0 8780 218 0 0 25 0 1 0 705536023 6963200 292 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1700 292 566 18 0 1682 0
vsize: 6800
[startup+100.004 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6283
Raw data (stat): 6283 (Pueblo) R 6282 7876 7672 0 -1 0 317 0 0 0 9755 243 0 0 25 0 1 0 705536023 6963200 294 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1700 294 566 18 0 1682 0
vsize: 6800
[startup+110.004 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6283
Raw data (stat): 6283 (Pueblo) R 6282 7876 7672 0 -1 0 317 0 0 0 10731 267 0 0 25 0 1 0 705536023 6963200 294 4294967295 134512640 134581331 3221221808 3221220720 134527695 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1700 294 566 18 0 1682 0
vsize: 6800
[startup+120.004 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6283
Raw data (stat): 6283 (Pueblo) R 6282 7876 7672 0 -1 0 318 0 0 0 11708 291 0 0 25 0 1 0 705536023 6963200 295 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1700 295 566 18 0 1682 0
vsize: 6800
[startup+130.004 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6283
Raw data (stat): 6283 (Pueblo) R 6282 7876 7672 0 -1 0 320 0 0 0 12683 316 0 0 25 0 1 0 705536023 6963200 297 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1700 297 566 18 0 1682 0
vsize: 6800
[startup+140.004 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6283
Raw data (stat): 6283 (Pueblo) R 6282 7876 7672 0 -1 0 320 0 0 0 13657 342 0 0 25 0 1 0 705536023 6963200 297 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1700 297 566 18 0 1682 0
vsize: 6800
[startup+150.005 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6283
Raw data (stat): 6283 (Pueblo) R 6282 7876 7672 0 -1 0 320 0 0 0 14628 372 0 0 25 0 1 0 705536023 6963200 297 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1700 297 566 18 0 1682 0
vsize: 6800
[startup+160.005 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6283
Raw data (stat): 6283 (Pueblo) R 6282 7876 7672 0 -1 0 321 0 0 0 15602 398 0 0 25 0 1 0 705536023 6963200 298 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1700 298 566 18 0 1682 0
vsize: 6800
[startup+170.005 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6283
Raw data (stat): 6283 (Pueblo) R 6282 7876 7672 0 -1 0 323 0 0 0 16577 423 0 0 25 0 1 0 705536023 6963200 300 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1700 300 566 18 0 1682 0
vsize: 6800
[startup+180.005 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6283
Raw data (stat): 6283 (Pueblo) R 6282 7876 7672 0 -1 0 324 0 0 0 17548 452 0 0 25 0 1 0 705536023 6963200 301 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1700 301 566 18 0 1682 0
vsize: 6800
[startup+190.005 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6283
Raw data (stat): 6283 (Pueblo) R 6282 7876 7672 0 -1 0 325 0 0 0 18526 474 0 0 25 0 1 0 705536023 6963200 302 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1700 302 566 18 0 1682 0
vsize: 6800
[startup+200.006 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6283
Raw data (stat): 6283 (Pueblo) R 6282 7876 7672 0 -1 0 327 0 0 0 19497 503 0 0 25 0 1 0 705536023 6963200 304 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1700 304 566 18 0 1682 0
vsize: 6800
[startup+210.006 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6283
Raw data (stat): 6283 (Pueblo) R 6282 7876 7672 0 -1 0 329 0 0 0 20470 530 0 0 25 0 1 0 705536023 6963200 306 4294967295 134512640 134581331 3221221808 3221220752 134559370 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1700 306 566 18 0 1682 0
vsize: 6800
[startup+220.006 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6283
Raw data (stat): 6283 (Pueblo) R 6282 7876 7672 0 -1 0 329 0 0 0 21445 556 0 0 25 0 1 0 705536023 6963200 306 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1700 306 566 18 0 1682 0
vsize: 6800
[startup+230.006 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6283
Raw data (stat): 6283 (Pueblo) R 6282 7876 7672 0 -1 0 329 0 0 0 22417 584 0 0 25 0 1 0 705536023 6963200 306 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1700 306 566 18 0 1682 0
vsize: 6800
[startup+240.006 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6283
Raw data (stat): 6283 (Pueblo) R 6282 7876 7672 0 -1 0 329 0 0 0 23392 609 0 0 25 0 1 0 705536023 6963200 306 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1700 306 566 18 0 1682 0
vsize: 6800
[startup+250.007 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6283
Raw data (stat): 6283 (Pueblo) R 6282 7876 7672 0 -1 0 330 0 0 0 24360 641 0 0 25 0 1 0 705536023 6963200 307 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1700 307 566 18 0 1682 0
vsize: 6800
[startup+260.007 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6283
Raw data (stat): 6283 (Pueblo) R 6282 7876 7672 0 -1 0 331 0 0 0 25336 666 0 0 25 0 1 0 705536023 6963200 308 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1700 308 566 18 0 1682 0
vsize: 6800
[startup+270.007 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6283
Raw data (stat): 6283 (Pueblo) R 6282 7876 7672 0 -1 0 331 0 0 0 26312 689 0 0 25 0 1 0 705536023 6963200 308 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1700 308 566 18 0 1682 0
vsize: 6800
[startup+280.007 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6283
Raw data (stat): 6283 (Pueblo) R 6282 7876 7672 0 -1 0 331 0 0 0 27283 718 0 0 25 0 1 0 705536023 6963200 308 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1700 308 566 18 0 1682 0
vsize: 6800
[startup+290.008 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6283
Raw data (stat): 6283 (Pueblo) R 6282 7876 7672 0 -1 0 334 0 0 0 28257 745 0 0 25 0 1 0 705536023 6963200 311 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1700 311 566 18 0 1682 0
vsize: 6800
[startup+300.009 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6283
Raw data (stat): 6283 (Pueblo) R 6282 7876 7672 0 -1 0 334 0 0 0 29226 776 0 0 25 0 1 0 705536023 6963200 311 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1700 311 566 18 0 1682 0
vsize: 6800
[startup+310.009 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6283
Raw data (stat): 6283 (Pueblo) R 6282 7876 7672 0 -1 0 335 0 0 0 30197 805 0 0 25 0 1 0 705536023 6963200 312 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1700 312 566 18 0 1682 0
vsize: 6800
[startup+320.009 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6283
Raw data (stat): 6283 (Pueblo) R 6282 7876 7672 0 -1 0 335 0 0 0 31174 828 0 0 25 0 1 0 705536023 6963200 312 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1700 312 566 18 0 1682 0
vsize: 6800
[startup+330.009 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6283
Raw data (stat): 6283 (Pueblo) R 6282 7876 7672 0 -1 0 335 0 0 0 32143 860 0 0 25 0 1 0 705536023 6963200 312 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1700 312 566 18 0 1682 0
vsize: 6800
[startup+340.009 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6283
Raw data (stat): 6283 (Pueblo) R 6282 7876 7672 0 -1 0 338 0 0 0 33118 884 0 0 25 0 1 0 705536023 6963200 315 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1700 315 566 18 0 1682 0
vsize: 6800
[startup+350.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6283
Raw data (stat): 6283 (Pueblo) R 6282 7876 7672 0 -1 0 338 0 0 0 34092 911 0 0 25 0 1 0 705536023 6963200 315 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1700 315 566 18 0 1682 0
vsize: 6800
[startup+360.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6283
Raw data (stat): 6283 (Pueblo) R 6282 7876 7672 0 -1 0 338 0 0 0 35068 935 0 0 25 0 1 0 705536023 6963200 315 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1700 315 566 18 0 1682 0
vsize: 6800
[startup+370.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6283
Raw data (stat): 6283 (Pueblo) R 6282 7876 7672 0 -1 0 338 0 0 0 36042 961 0 0 25 0 1 0 705536023 6963200 315 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1700 315 566 18 0 1682 0
vsize: 6800
[startup+380.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6283
Raw data (stat): 6283 (Pueblo) R 6282 7876 7672 0 -1 0 339 0 0 0 37014 989 0 0 25 0 1 0 705536023 6963200 316 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1700 316 566 18 0 1682 0
vsize: 6800
[startup+390.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6283
Raw data (stat): 6283 (Pueblo) R 6282 7876 7672 0 -1 0 340 0 0 0 37988 1016 0 0 25 0 1 0 705536023 7098368 317 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1733 317 566 18 0 1715 0
vsize: 6932
[startup+400.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6283
Raw data (stat): 6283 (Pueblo) R 6282 7876 7672 0 -1 0 340 0 0 0 38959 1045 0 0 25 0 1 0 705536023 7098368 317 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1733 317 566 18 0 1715 0
vsize: 6932
[startup+410.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6283
Raw data (stat): 6283 (Pueblo) R 6282 7876 7672 0 -1 0 340 0 0 0 39934 1070 0 0 25 0 1 0 705536023 7098368 317 4294967295 134512640 134581331 3221221808 3221220768 134516726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1733 317 566 18 0 1715 0
vsize: 6932
[startup+420.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6283
Raw data (stat): 6283 (Pueblo) R 6282 7876 7672 0 -1 0 341 0 0 0 40906 1098 0 0 25 0 1 0 705536023 7098368 318 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1733 318 566 18 0 1715 0
vsize: 6932
[startup+430.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6283
Raw data (stat): 6283 (Pueblo) R 6282 7876 7672 0 -1 0 344 0 0 0 41877 1127 0 0 25 0 1 0 705536023 7098368 321 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1733 321 566 18 0 1715 0
vsize: 6932
[startup+440.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6283
Raw data (stat): 6283 (Pueblo) R 6282 7876 7672 0 -1 0 345 0 0 0 42849 1156 0 0 25 0 1 0 705536023 7098368 322 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1733 322 566 18 0 1715 0
vsize: 6932
[startup+450.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6283
Raw data (stat): 6283 (Pueblo) R 6282 7876 7672 0 -1 0 345 0 0 0 43821 1183 0 0 25 0 1 0 705536023 7098368 322 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1733 322 566 18 0 1715 0
vsize: 6932
[startup+460.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6283
Raw data (stat): 6283 (Pueblo) R 6282 7876 7672 0 -1 0 345 0 0 0 44793 1212 0 0 25 0 1 0 705536023 7098368 322 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1733 322 566 18 0 1715 0
vsize: 6932
[startup+470.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6283
Raw data (stat): 6283 (Pueblo) R 6282 7876 7672 0 -1 0 345 0 0 0 45766 1239 0 0 25 0 1 0 705536023 7098368 322 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1733 322 566 18 0 1715 0
vsize: 6932
[startup+480.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6283
Raw data (stat): 6283 (Pueblo) R 6282 7876 7672 0 -1 0 345 0 0 0 46736 1269 0 0 25 0 1 0 705536023 7098368 322 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1733 322 566 18 0 1715 0
vsize: 6932
[startup+490.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6283
Raw data (stat): 6283 (Pueblo) R 6282 7876 7672 0 -1 0 346 0 0 0 47709 1297 0 0 25 0 1 0 705536023 7098368 323 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1733 323 566 18 0 1715 0
vsize: 6932
[startup+500.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6283
Raw data (stat): 6283 (Pueblo) R 6282 7876 7672 0 -1 0 346 0 0 0 48673 1333 0 0 25 0 1 0 705536023 7098368 323 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1733 323 566 18 0 1715 0
vsize: 6932
[startup+510.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6283
Raw data (stat): 6283 (Pueblo) R 6282 7876 7672 0 -1 0 347 0 0 0 49646 1360 0 0 25 0 1 0 705536023 7098368 324 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1733 324 566 18 0 1715 0
vsize: 6932
[startup+520.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6283
Raw data (stat): 6283 (Pueblo) R 6282 7876 7672 0 -1 0 348 0 0 0 50619 1387 0 0 25 0 1 0 705536023 7098368 325 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1733 325 566 18 0 1715 0
vsize: 6932
[startup+530.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6283
Raw data (stat): 6283 (Pueblo) R 6282 7876 7672 0 -1 0 349 0 0 0 51589 1417 0 0 25 0 1 0 705536023 7098368 326 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1733 326 566 18 0 1715 0
vsize: 6932
[startup+540.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6283
Raw data (stat): 6283 (Pueblo) R 6282 7876 7672 0 -1 0 350 0 0 0 52561 1445 0 0 25 0 1 0 705536023 7098368 327 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1733 327 566 18 0 1715 0
vsize: 6932
[startup+550.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6283
Raw data (stat): 6283 (Pueblo) R 6282 7876 7672 0 -1 0 350 0 0 0 53531 1475 0 0 25 0 1 0 705536023 7098368 327 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1733 327 566 18 0 1715 0
vsize: 6932
[startup+560.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6283
Raw data (stat): 6283 (Pueblo) R 6282 7876 7672 0 -1 0 350 0 0 0 54502 1505 0 0 25 0 1 0 705536023 7098368 327 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1733 327 566 18 0 1715 0
vsize: 6932
[startup+570.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6283
Raw data (stat): 6283 (Pueblo) R 6282 7876 7672 0 -1 0 351 0 0 0 55478 1529 0 0 25 0 1 0 705536023 7098368 328 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1733 328 566 18 0 1715 0
vsize: 6932
[startup+580.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6283
Raw data (stat): 6283 (Pueblo) R 6282 7876 7672 0 -1 0 351 0 0 0 56444 1563 0 0 25 0 1 0 705536023 7098368 328 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1733 328 566 18 0 1715 0
vsize: 6932
[startup+590.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6283
Raw data (stat): 6283 (Pueblo) R 6282 7876 7672 0 -1 0 351 0 0 0 57418 1590 0 0 25 0 1 0 705536023 7098368 328 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1733 328 566 18 0 1715 0
vsize: 6932
[startup+600.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6283
Raw data (stat): 6283 (Pueblo) R 6282 7876 7672 0 -1 0 351 0 0 0 58387 1621 0 0 25 0 1 0 705536023 7098368 328 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1733 328 566 18 0 1715 0
vsize: 6932
[startup+610.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6283
Raw data (stat): 6283 (Pueblo) R 6282 7876 7672 0 -1 0 351 0 0 0 59358 1650 0 0 25 0 1 0 705536023 7098368 328 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1733 328 566 18 0 1715 0
vsize: 6932
[startup+620.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6283
Raw data (stat): 6283 (Pueblo) R 6282 7876 7672 0 -1 0 351 0 0 0 60331 1677 0 0 25 0 1 0 705536023 7098368 328 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1733 328 566 18 0 1715 0
vsize: 6932
[startup+630.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6283
Raw data (stat): 6283 (Pueblo) R 6282 7876 7672 0 -1 0 353 0 0 0 61300 1708 0 0 25 0 1 0 705536023 7098368 330 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1733 330 566 18 0 1715 0
vsize: 6932
[startup+640.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6283
Raw data (stat): 6283 (Pueblo) R 6282 7876 7672 0 -1 0 353 0 0 0 62275 1734 0 0 25 0 1 0 705536023 7098368 330 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1733 330 566 18 0 1715 0
vsize: 6932
[startup+650.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6283
Raw data (stat): 6283 (Pueblo) R 6282 7876 7672 0 -1 0 357 0 0 0 63251 1758 0 0 25 0 1 0 705536023 7098368 334 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1733 334 566 18 0 1715 0
vsize: 6932
[startup+660.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6283
Raw data (stat): 6283 (Pueblo) R 6282 7876 7672 0 -1 0 357 0 0 0 64228 1781 0 0 25 0 1 0 705536023 7098368 334 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1733 334 566 18 0 1715 0
vsize: 6932
[startup+670.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6283
Raw data (stat): 6283 (Pueblo) R 6282 7876 7672 0 -1 0 357 0 0 0 65205 1804 0 0 25 0 1 0 705536023 7098368 334 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1733 334 566 18 0 1715 0
vsize: 6932
[startup+680.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6283
Raw data (stat): 6283 (Pueblo) R 6282 7876 7672 0 -1 0 357 0 0 0 66179 1831 0 0 25 0 1 0 705536023 7098368 334 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1733 334 566 18 0 1715 0
vsize: 6932
[startup+690.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6283
Raw data (stat): 6283 (Pueblo) R 6282 7876 7672 0 -1 0 357 0 0 0 67156 1853 0 0 25 0 1 0 705536023 7098368 334 4294967295 134512640 134581331 3221221808 3221220656 134531517 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1733 334 566 18 0 1715 0
vsize: 6932
[startup+700.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6283
Raw data (stat): 6283 (Pueblo) R 6282 7876 7672 0 -1 0 357 0 0 0 68126 1884 0 0 25 0 1 0 705536023 7098368 334 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1733 334 566 18 0 1715 0
vsize: 6932
[startup+710.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6283
Raw data (stat): 6283 (Pueblo) R 6282 7876 7672 0 -1 0 359 0 0 0 69100 1910 0 0 25 0 1 0 705536023 7098368 336 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1733 336 566 18 0 1715 0
vsize: 6932
[startup+720.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6283
Raw data (stat): 6283 (Pueblo) R 6282 7876 7672 0 -1 0 359 0 0 0 70073 1937 0 0 25 0 1 0 705536023 7098368 336 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1733 336 566 18 0 1715 0
vsize: 6932
[startup+730.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6283
Raw data (stat): 6283 (Pueblo) R 6282 7876 7672 0 -1 0 363 0 0 0 71041 1969 0 0 25 0 1 0 705536023 7098368 340 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1733 340 566 18 0 1715 0
vsize: 6932
[startup+740.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6283
Raw data (stat): 6283 (Pueblo) R 6282 7876 7672 0 -1 0 363 0 0 0 72013 1997 0 0 25 0 1 0 705536023 7098368 340 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1733 340 566 18 0 1715 0
vsize: 6932
[startup+750.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6283
Raw data (stat): 6283 (Pueblo) R 6282 7876 7672 0 -1 0 363 0 0 0 72986 2025 0 0 25 0 1 0 705536023 7098368 340 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1733 340 566 18 0 1715 0
vsize: 6932
[startup+760.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6283
Raw data (stat): 6283 (Pueblo) R 6282 7876 7672 0 -1 0 363 0 0 0 73958 2053 0 0 25 0 1 0 705536023 7098368 340 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1733 340 566 18 0 1715 0
vsize: 6932
[startup+770.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6283
Raw data (stat): 6283 (Pueblo) R 6282 7876 7672 0 -1 0 363 0 0 0 74930 2080 0 0 25 0 1 0 705536023 7098368 340 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1733 340 566 18 0 1715 0
vsize: 6932
[startup+780.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6283
Raw data (stat): 6283 (Pueblo) R 6282 7876 7672 0 -1 0 364 0 0 0 75898 2112 0 0 25 0 1 0 705536023 7098368 341 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1733 341 566 18 0 1715 0
vsize: 6932
[startup+790.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6283
Raw data (stat): 6283 (Pueblo) R 6282 7876 7672 0 -1 0 365 0 0 0 76869 2142 0 0 25 0 1 0 705536023 7098368 342 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1733 342 566 18 0 1715 0
vsize: 6932
[startup+800.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6283
Raw data (stat): 6283 (Pueblo) R 6282 7876 7672 0 -1 0 365 0 0 0 77837 2174 0 0 25 0 1 0 705536023 7098368 342 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1733 342 566 18 0 1715 0
vsize: 6932
[startup+810.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6283
Raw data (stat): 6283 (Pueblo) R 6282 7876 7672 0 -1 0 365 0 0 0 78807 2204 0 0 25 0 1 0 705536023 7098368 342 4294967295 134512640 134581331 3221221808 3221220032 134566824 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1733 342 566 18 0 1715 0
vsize: 6932
[startup+820.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6283
Raw data (stat): 6283 (Pueblo) R 6282 7876 7672 0 -1 0 365 0 0 0 79776 2235 0 0 25 0 1 0 705536023 7098368 342 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1733 342 566 18 0 1715 0
vsize: 6932
[startup+830.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6283
Raw data (stat): 6283 (Pueblo) R 6282 7876 7672 0 -1 0 365 0 0 0 80744 2267 0 0 25 0 1 0 705536023 7098368 342 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1733 342 566 18 0 1715 0
vsize: 6932
[startup+840.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6283
Raw data (stat): 6283 (Pueblo) R 6282 7876 7672 0 -1 0 365 0 0 0 81721 2291 0 0 25 0 1 0 705536023 7098368 342 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1733 342 566 18 0 1715 0
vsize: 6932
[startup+850.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6283
Raw data (stat): 6283 (Pueblo) R 6282 7876 7672 0 -1 0 365 0 0 0 82691 2321 0 0 25 0 1 0 705536023 7098368 342 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1733 342 566 18 0 1715 0
vsize: 6932
[startup+860.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6283
Raw data (stat): 6283 (Pueblo) R 6282 7876 7672 0 -1 0 365 0 0 0 83659 2353 0 0 25 0 1 0 705536023 7098368 342 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1733 342 566 18 0 1715 0
vsize: 6932
[startup+870.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6283
Raw data (stat): 6283 (Pueblo) R 6282 7876 7672 0 -1 0 365 0 0 0 84630 2382 0 0 25 0 1 0 705536023 7098368 342 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1733 342 566 18 0 1715 0
vsize: 6932
[startup+880.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6283
Raw data (stat): 6283 (Pueblo) R 6282 7876 7672 0 -1 0 365 0 0 0 85599 2414 0 0 25 0 1 0 705536023 7098368 342 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1733 342 566 18 0 1715 0
vsize: 6932
[startup+890.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6283
Raw data (stat): 6283 (Pueblo) R 6282 7876 7672 0 -1 0 365 0 0 0 86573 2440 0 0 25 0 1 0 705536023 7098368 342 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1733 342 566 18 0 1715 0
vsize: 6932
[startup+900.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6283
Raw data (stat): 6283 (Pueblo) R 6282 7876 7672 0 -1 0 365 0 0 0 87542 2471 0 0 25 0 1 0 705536023 7098368 342 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1733 342 566 18 0 1715 0
vsize: 6932
[startup+910.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6283
Raw data (stat): 6283 (Pueblo) R 6282 7876 7672 0 -1 0 365 0 0 0 88511 2502 0 0 25 0 1 0 705536023 7098368 342 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1733 342 566 18 0 1715 0
vsize: 6932
[startup+920.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6283
Raw data (stat): 6283 (Pueblo) R 6282 7876 7672 0 -1 0 367 0 0 0 89481 2532 0 0 25 0 1 0 705536023 7098368 344 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1733 344 566 18 0 1715 0
vsize: 6932
[startup+930.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6283
Raw data (stat): 6283 (Pueblo) R 6282 7876 7672 0 -1 0 369 0 0 0 90453 2560 0 0 25 0 1 0 705536023 7098368 346 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1733 346 566 18 0 1715 0
vsize: 6932
[startup+940.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6283
Raw data (stat): 6283 (Pueblo) R 6282 7876 7672 0 -1 0 370 0 0 0 91425 2588 0 0 25 0 1 0 705536023 7098368 347 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1733 347 566 18 0 1715 0
vsize: 6932
[startup+950.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6283
Raw data (stat): 6283 (Pueblo) R 6282 7876 7672 0 -1 0 371 0 0 0 92402 2612 0 0 25 0 1 0 705536023 7098368 348 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1733 348 566 18 0 1715 0
vsize: 6932
[startup+960.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6283
Raw data (stat): 6283 (Pueblo) R 6282 7876 7672 0 -1 0 372 0 0 0 93377 2637 0 0 25 0 1 0 705536023 7098368 349 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1733 349 566 18 0 1715 0
vsize: 6932
[startup+970.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6283
Raw data (stat): 6283 (Pueblo) R 6282 7876 7672 0 -1 0 372 0 0 0 94353 2661 0 0 25 0 1 0 705536023 7098368 349 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1733 349 566 18 0 1715 0
vsize: 6932
[startup+980.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6283
Raw data (stat): 6283 (Pueblo) R 6282 7876 7672 0 -1 0 372 0 0 0 95323 2691 0 0 25 0 1 0 705536023 7098368 349 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1733 349 566 18 0 1715 0
vsize: 6932
[startup+990.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6283
Raw data (stat): 6283 (Pueblo) R 6282 7876 7672 0 -1 0 372 0 0 0 96293 2721 0 0 25 0 1 0 705536023 7098368 349 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1733 349 566 18 0 1715 0
vsize: 6932
[startup+1000.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6283
Raw data (stat): 6283 (Pueblo) R 6282 7876 7672 0 -1 0 372 0 0 0 97267 2747 0 0 25 0 1 0 705536023 7098368 349 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1733 349 566 18 0 1715 0
vsize: 6932
[startup+1010.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6283
Raw data (stat): 6283 (Pueblo) R 6282 7876 7672 0 -1 0 372 0 0 0 98236 2779 0 0 25 0 1 0 705536023 7098368 349 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1733 349 566 18 0 1715 0
vsize: 6932
[startup+1020.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6283
Raw data (stat): 6283 (Pueblo) R 6282 7876 7672 0 -1 0 372 0 0 0 99208 2807 0 0 25 0 1 0 705536023 7098368 349 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1733 349 566 18 0 1715 0
vsize: 6932
[startup+1030.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6283
Raw data (stat): 6283 (Pueblo) R 6282 7876 7672 0 -1 0 372 0 0 0 100181 2834 0 0 25 0 1 0 705536023 7098368 349 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1733 349 566 18 0 1715 0
vsize: 6932
[startup+1040.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6283
Raw data (stat): 6283 (Pueblo) R 6282 7876 7672 0 -1 0 372 0 0 0 101157 2858 0 0 25 0 1 0 705536023 7098368 349 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1733 349 566 18 0 1715 0
vsize: 6932
[startup+1050.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6283
Raw data (stat): 6283 (Pueblo) R 6282 7876 7672 0 -1 0 372 0 0 0 102129 2886 0 0 25 0 1 0 705536023 7098368 349 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1733 349 566 18 0 1715 0
vsize: 6932
[startup+1060.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6283
Raw data (stat): 6283 (Pueblo) R 6282 7876 7672 0 -1 0 372 0 0 0 103101 2915 0 0 25 0 1 0 705536023 7098368 349 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1733 349 566 18 0 1715 0
vsize: 6932
[startup+1070.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6283
Raw data (stat): 6283 (Pueblo) R 6282 7876 7672 0 -1 0 372 0 0 0 104074 2942 0 0 25 0 1 0 705536023 7098368 349 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1733 349 566 18 0 1715 0
vsize: 6932
[startup+1080.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6283
Raw data (stat): 6283 (Pueblo) R 6282 7876 7672 0 -1 0 372 0 0 0 105044 2972 0 0 25 0 1 0 705536023 7098368 349 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1733 349 566 18 0 1715 0
vsize: 6932
[startup+1090.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6283
Raw data (stat): 6283 (Pueblo) R 6282 7876 7672 0 -1 0 372 0 0 0 106017 2998 0 0 25 0 1 0 705536023 7098368 349 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1733 349 566 18 0 1715 0
vsize: 6932
[startup+1100.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6283
Raw data (stat): 6283 (Pueblo) R 6282 7876 7672 0 -1 0 373 0 0 0 106991 3025 0 0 25 0 1 0 705536023 7233536 350 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1766 350 566 18 0 1748 0
vsize: 7064
[startup+1110.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6283
Raw data (stat): 6283 (Pueblo) R 6282 7876 7672 0 -1 0 373 0 0 0 107963 3053 0 0 25 0 1 0 705536023 7233536 350 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1766 350 566 18 0 1748 0
vsize: 7064
[startup+1120.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6283
Raw data (stat): 6283 (Pueblo) R 6282 7876 7672 0 -1 0 373 0 0 0 108928 3088 0 0 25 0 1 0 705536023 7233536 350 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1766 350 566 18 0 1748 0
vsize: 7064
[startup+1130.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6283
Raw data (stat): 6283 (Pueblo) R 6282 7876 7672 0 -1 0 373 0 0 0 109902 3115 0 0 25 0 1 0 705536023 7233536 350 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1766 350 566 18 0 1748 0
vsize: 7064
[startup+1140.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6283
Raw data (stat): 6283 (Pueblo) R 6282 7876 7672 0 -1 0 373 0 0 0 110875 3142 0 0 25 0 1 0 705536023 7233536 350 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1766 350 566 18 0 1748 0
vsize: 7064
[startup+1150.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6283
Raw data (stat): 6283 (Pueblo) R 6282 7876 7672 0 -1 0 374 0 0 0 111847 3170 0 0 25 0 1 0 705536023 7233536 351 4294967295 134512640 134581331 3221221808 3221220692 134557844 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1766 351 566 18 0 1748 0
vsize: 7064
[startup+1160.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6283
Raw data (stat): 6283 (Pueblo) R 6282 7876 7672 0 -1 0 374 0 0 0 112815 3202 0 0 25 0 1 0 705536023 7233536 351 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1766 351 566 18 0 1748 0
vsize: 7064
[startup+1170.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6283
Raw data (stat): 6283 (Pueblo) R 6282 7876 7672 0 -1 0 374 0 0 0 113786 3232 0 0 25 0 1 0 705536023 7233536 351 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1766 351 566 18 0 1748 0
vsize: 7064
[startup+1180.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 6283
Raw data (stat): 6283 (Pueblo) R 6282 7876 7672 0 -1 0 374 0 0 0 114757 3261 0 0 25 0 1 0 705536023 7233536 351 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1766 351 566 18 0 1748 0
vsize: 7064
[startup+1188.86 s]
Raw data (loadavg): 1.00 0.99 0.91 1/53 6283
Raw data (stat): 6283 (Pueblo) R 6282 7876 7672 0 -1 0 374 0 0 0 114757 3261 0 0 25 0 1 0 705536023 7233536 351 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1766 351 566 18 0 1748 0
vsize: 0

Child status: 10
Real time (s): 1188.86
CPU time (s): 1189.01
CPU user time (s): 1156.14
CPU system time (s): 32.873
CPU usage (%): 100.013
Max. virtual memory (Kb): 7064
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	694
#### END VERIFIER DATA ####