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 38457

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        707992 kB
Buffers:         33840 kB
Cached:         271092 kB
SwapCached:       1136 kB
Active:          54000 kB
Inactive:       253320 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        707740 kB
SwapTotal:     2097136 kB
SwapFree:      2095024 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5056 kB
Slab:            13700 kB
Committed_AS:    71788 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 10:45:27 (client local time) WITH STATUS 10 IN 1189 SECONDS
stats: 26522 0 1189 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Pueblo version 1.2 (Sept 2004)
c Developed @ University of Michigan, Ann Arbor, MI
c  by Hossein Sheini
c Solving: /oldhome/oroussel/tmp/wulflinc2/normalized-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
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.92 0.97 0.92 2/54 21510
Raw data (stat): 21510 (runsolver) R 21509 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 849054942 884736 94 4294967295 134512640 135332820 3221224480 3221219660 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+9.9999 s]
Raw data (loadavg): 0.93 0.97 0.92 2/54 21510
Raw data (stat): 21510 (Pueblo-v2) R 21509 31399 31398 0 -1 0 289 0 0 0 969 29 0 0 25 0 1 0 849054942 6828032 263 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1667 263 566 18 0 1649 0
vsize: 6668
[startup+19.9995 s]
Raw data (loadavg): 0.94 0.97 0.92 2/54 21510
Raw data (stat): 21510 (Pueblo-v2) R 21509 31399 31398 0 -1 0 296 0 0 0 1941 58 0 0 25 0 1 0 849054942 6828032 270 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1667 270 566 18 0 1649 0
vsize: 6668
[startup+30.0006 s]
Raw data (loadavg): 0.95 0.97 0.92 2/54 21510
Raw data (stat): 21510 (Pueblo-v2) R 21509 31399 31398 0 -1 0 300 0 0 0 2907 92 0 0 25 0 1 0 849054942 6828032 274 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1667 274 566 18 0 1649 0
vsize: 6668
[startup+40 s]
Raw data (loadavg): 0.96 0.97 0.92 2/54 21510
Raw data (stat): 21510 (Pueblo-v2) R 21509 31399 31398 0 -1 0 308 0 0 0 3871 127 0 0 25 0 1 0 849054942 6828032 282 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1667 282 566 18 0 1649 0
vsize: 6668
[startup+50.0007 s]
Raw data (loadavg): 0.96 0.97 0.92 2/54 21510
Raw data (stat): 21510 (Pueblo-v2) R 21509 31399 31398 0 -1 0 309 0 0 0 4841 158 0 0 25 0 1 0 849054942 6959104 283 4294967295 134512640 134581267 3221224592 3221223564 134519895 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1699 283 566 18 0 1681 0
vsize: 6796
[startup+60.0007 s]
Raw data (loadavg): 0.97 0.97 0.92 2/54 21510
Raw data (stat): 21510 (Pueblo-v2) R 21509 31399 31398 0 -1 0 312 0 0 0 5812 188 0 0 25 0 1 0 849054942 6959104 286 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1699 286 566 18 0 1681 0
vsize: 6796
[startup+70.0001 s]
Raw data (loadavg): 0.97 0.97 0.92 2/54 21510
Raw data (stat): 21510 (Pueblo-v2) R 21509 31399 31398 0 -1 0 318 0 0 0 6780 219 0 0 25 0 1 0 849054942 6959104 292 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1699 292 566 18 0 1681 0
vsize: 6796
[startup+80.0008 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 21510
Raw data (stat): 21510 (Pueblo-v2) R 21509 31399 31398 0 -1 0 318 0 0 0 7751 248 0 0 25 0 1 0 849054942 6959104 292 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1699 292 566 18 0 1681 0
vsize: 6796
[startup+90.0008 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 21510
Raw data (stat): 21510 (Pueblo-v2) R 21509 31399 31398 0 -1 0 321 0 0 0 8717 283 0 0 25 0 1 0 849054942 6959104 295 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1699 295 566 18 0 1681 0
vsize: 6796
[startup+100.001 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 21510
Raw data (stat): 21510 (Pueblo-v2) R 21509 31399 31398 0 -1 0 321 0 0 0 9683 317 0 0 25 0 1 0 849054942 6959104 295 4294967295 134512640 134581267 3221224592 3221223504 134527432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1699 295 566 18 0 1681 0
vsize: 6796
[startup+110.001 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 21510
Raw data (stat): 21510 (Pueblo-v2) R 21509 31399 31398 0 -1 0 321 0 0 0 10649 351 0 0 25 0 1 0 849054942 6959104 295 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1699 295 566 18 0 1681 0
vsize: 6796
[startup+120.001 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 21510
Raw data (stat): 21510 (Pueblo-v2) R 21509 31399 31398 0 -1 0 322 0 0 0 11617 384 0 0 25 0 1 0 849054942 6959104 296 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1699 296 566 18 0 1681 0
vsize: 6796
[startup+130.001 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 21510
Raw data (stat): 21510 (Pueblo-v2) R 21509 31399 31398 0 -1 0 325 0 0 0 12585 416 0 0 25 0 1 0 849054942 6959104 299 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1699 299 566 18 0 1681 0
vsize: 6796
[startup+140.001 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 21510
Raw data (stat): 21510 (Pueblo-v2) R 21509 31399 31398 0 -1 0 326 0 0 0 13554 447 0 0 25 0 1 0 849054942 6959104 300 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1699 300 566 18 0 1681 0
vsize: 6796
[startup+150.001 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 21510
Raw data (stat): 21510 (Pueblo-v2) R 21509 31399 31398 0 -1 0 327 0 0 0 14524 477 0 0 25 0 1 0 849054942 6959104 301 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1699 301 566 18 0 1681 0
vsize: 6796
[startup+160 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 21510
Raw data (stat): 21510 (Pueblo-v2) R 21509 31399 31398 0 -1 0 328 0 0 0 15490 511 0 0 25 0 1 0 849054942 6959104 302 4294967295 134512640 134581267 3221224592 3221223440 134566325 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1699 302 566 18 0 1681 0
vsize: 6796
[startup+170 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 21510
Raw data (stat): 21510 (Pueblo-v2) R 21509 31399 31398 0 -1 0 328 0 0 0 16461 541 0 0 25 0 1 0 849054942 6959104 302 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1699 302 566 18 0 1681 0
vsize: 6796
[startup+180 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 21510
Raw data (stat): 21510 (Pueblo-v2) R 21509 31399 31398 0 -1 0 328 0 0 0 17431 570 0 0 25 0 1 0 849054942 6959104 302 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1699 302 566 18 0 1681 0
vsize: 6796
[startup+189.999 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 21510
Raw data (stat): 21510 (Pueblo-v2) R 21509 31399 31398 0 -1 0 330 0 0 0 18400 601 0 0 25 0 1 0 849054942 6959104 304 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1699 304 566 18 0 1681 0
vsize: 6796
[startup+200 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 21510
Raw data (stat): 21510 (Pueblo-v2) R 21509 31399 31398 0 -1 0 332 0 0 0 19371 631 0 0 25 0 1 0 849054942 6959104 306 4294967295 134512640 134581267 3221224592 3221223384 1075288535 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1699 306 566 18 0 1681 0
vsize: 6796
[startup+210 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 21510
Raw data (stat): 21510 (Pueblo-v2) R 21509 31399 31398 0 -1 0 333 0 0 0 20340 662 0 0 25 0 1 0 849054942 6959104 307 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1699 307 566 18 0 1681 0
vsize: 6796
[startup+220 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 21510
Raw data (stat): 21510 (Pueblo-v2) R 21509 31399 31398 0 -1 0 333 0 0 0 21305 697 0 0 25 0 1 0 849054942 6959104 307 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1699 307 566 18 0 1681 0
vsize: 6796
[startup+229.999 s]
Raw data (loadavg): 1.07 0.99 0.93 2/54 21510
Raw data (stat): 21510 (Pueblo-v2) R 21509 31399 31398 0 -1 0 335 0 0 0 22270 732 0 0 25 0 1 0 849054942 6959104 309 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1699 309 566 18 0 1681 0
vsize: 6796
[startup+239.999 s]
Raw data (loadavg): 1.06 0.99 0.93 2/54 21510
Raw data (stat): 21510 (Pueblo-v2) R 21509 31399 31398 0 -1 0 335 0 0 0 23236 767 0 0 25 0 1 0 849054942 6959104 309 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1699 309 566 18 0 1681 0
vsize: 6796
[startup+250 s]
Raw data (loadavg): 1.05 0.99 0.93 2/54 21510
Raw data (stat): 21510 (Pueblo-v2) R 21509 31399 31398 0 -1 0 338 0 0 0 24201 801 0 0 25 0 1 0 849054942 6959104 312 4294967295 134512640 134581267 3221224592 3221223504 134527768 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1699 312 566 18 0 1681 0
vsize: 6796
[startup+259.999 s]
Raw data (loadavg): 1.04 0.99 0.93 2/54 21510
Raw data (stat): 21510 (Pueblo-v2) R 21509 31399 31398 0 -1 0 338 0 0 0 25170 833 0 0 25 0 1 0 849054942 6959104 312 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1699 312 566 18 0 1681 0
vsize: 6796
[startup+269.999 s]
Raw data (loadavg): 1.04 0.99 0.93 2/54 21510
Raw data (stat): 21510 (Pueblo-v2) R 21509 31399 31398 0 -1 0 338 0 0 0 26135 868 0 0 25 0 1 0 849054942 6959104 312 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1699 312 566 18 0 1681 0
vsize: 6796
[startup+280 s]
Raw data (loadavg): 1.03 0.99 0.93 2/54 21510
Raw data (stat): 21510 (Pueblo-v2) R 21509 31399 31398 0 -1 0 340 0 0 0 27097 906 0 0 25 0 1 0 849054942 6959104 314 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1699 314 566 18 0 1681 0
vsize: 6796
[startup+289.999 s]
Raw data (loadavg): 1.03 0.99 0.93 2/54 21510
Raw data (stat): 21510 (Pueblo-v2) R 21509 31399 31398 0 -1 0 340 0 0 0 28065 939 0 0 25 0 1 0 849054942 6959104 314 4294967295 134512640 134581267 3221224592 3221223552 134516745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1699 314 566 18 0 1681 0
vsize: 6796
[startup+299.999 s]
Raw data (loadavg): 1.02 0.99 0.93 2/54 21510
Raw data (stat): 21510 (Pueblo-v2) R 21509 31399 31398 0 -1 0 341 0 0 0 29034 970 0 0 25 0 1 0 849054942 7090176 315 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1731 315 566 18 0 1713 0
vsize: 6924
[startup+310 s]
Raw data (loadavg): 1.02 0.99 0.93 2/54 21510
Raw data (stat): 21510 (Pueblo-v2) R 21509 31399 31398 0 -1 0 341 0 0 0 29998 1005 0 0 25 0 1 0 849054942 7090176 315 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1731 315 566 18 0 1713 0
vsize: 6924
[startup+320 s]
Raw data (loadavg): 1.01 0.99 0.93 2/54 21510
Raw data (stat): 21510 (Pueblo-v2) R 21509 31399 31398 0 -1 0 342 0 0 0 30964 1040 0 0 25 0 1 0 849054942 7090176 316 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1731 316 566 18 0 1713 0
vsize: 6924
[startup+330 s]
Raw data (loadavg): 1.01 0.99 0.93 2/54 21510
Raw data (stat): 21510 (Pueblo-v2) R 21509 31399 31398 0 -1 0 346 0 0 0 31932 1072 0 0 25 0 1 0 849054942 7090176 320 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1731 320 566 18 0 1713 0
vsize: 6924
[startup+340 s]
Raw data (loadavg): 1.01 0.99 0.93 2/54 21510
Raw data (stat): 21510 (Pueblo-v2) R 21509 31399 31398 0 -1 0 346 0 0 0 32897 1107 0 0 25 0 1 0 849054942 7090176 320 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1731 320 566 18 0 1713 0
vsize: 6924
[startup+350 s]
Raw data (loadavg): 1.01 0.99 0.93 2/54 21510
Raw data (stat): 21510 (Pueblo-v2) R 21509 31399 31398 0 -1 0 346 0 0 0 33855 1149 0 0 25 0 1 0 849054942 7090176 320 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1731 320 566 18 0 1713 0
vsize: 6924
[startup+360 s]
Raw data (loadavg): 1.01 0.99 0.93 2/54 21510
Raw data (stat): 21510 (Pueblo-v2) R 21509 31399 31398 0 -1 0 346 0 0 0 34823 1182 0 0 25 0 1 0 849054942 7090176 320 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1731 320 566 18 0 1713 0
vsize: 6924
[startup+369.999 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 21510
Raw data (stat): 21510 (Pueblo-v2) R 21509 31399 31398 0 -1 0 347 0 0 0 35784 1221 0 0 25 0 1 0 849054942 7090176 321 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1731 321 566 18 0 1713 0
vsize: 6924
[startup+380 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 21510
Raw data (stat): 21510 (Pueblo-v2) R 21509 31399 31398 0 -1 0 348 0 0 0 36746 1259 0 0 25 0 1 0 849054942 7090176 322 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1731 322 566 18 0 1713 0
vsize: 6924
[startup+390 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 21510
Raw data (stat): 21510 (Pueblo-v2) R 21509 31399 31398 0 -1 0 348 0 0 0 37709 1296 0 0 25 0 1 0 849054942 7090176 322 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1731 322 566 18 0 1713 0
vsize: 6924
[startup+400 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 21510
Raw data (stat): 21510 (Pueblo-v2) R 21509 31399 31398 0 -1 0 350 0 0 0 38670 1335 0 0 25 0 1 0 849054942 7090176 324 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1731 324 566 18 0 1713 0
vsize: 6924
[startup+410 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 21510
Raw data (stat): 21510 (Pueblo-v2) R 21509 31399 31398 0 -1 0 351 0 0 0 39633 1372 0 0 25 0 1 0 849054942 7090176 325 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1731 325 566 18 0 1713 0
vsize: 6924
[startup+420 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 21510
Raw data (stat): 21510 (Pueblo-v2) R 21509 31399 31398 0 -1 0 351 0 0 0 40595 1410 0 0 25 0 1 0 849054942 7090176 325 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1731 325 566 18 0 1713 0
vsize: 6924
[startup+430 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 21510
Raw data (stat): 21510 (Pueblo-v2) R 21509 31399 31398 0 -1 0 352 0 0 0 41560 1445 0 0 25 0 1 0 849054942 7090176 326 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1731 326 566 18 0 1713 0
vsize: 6924
[startup+440 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 21510
Raw data (stat): 21510 (Pueblo-v2) R 21509 31399 31398 0 -1 0 352 0 0 0 42522 1484 0 0 25 0 1 0 849054942 7090176 326 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1731 326 566 18 0 1713 0
vsize: 6924
[startup+450.001 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 21510
Raw data (stat): 21510 (Pueblo-v2) R 21509 31399 31398 0 -1 0 352 0 0 0 43487 1519 0 0 25 0 1 0 849054942 7090176 326 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1731 326 566 18 0 1713 0
vsize: 6924
[startup+460 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 21510
Raw data (stat): 21510 (Pueblo-v2) R 21509 31399 31398 0 -1 0 352 0 0 0 44451 1555 0 0 25 0 1 0 849054942 7090176 326 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1731 326 566 18 0 1713 0
vsize: 6924
[startup+470 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 21510
Raw data (stat): 21510 (Pueblo-v2) R 21509 31399 31398 0 -1 0 352 0 0 0 45418 1588 0 0 25 0 1 0 849054942 7090176 326 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1731 326 566 18 0 1713 0
vsize: 6924
[startup+480.001 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 21510
Raw data (stat): 21510 (Pueblo-v2) R 21509 31399 31398 0 -1 0 354 0 0 0 46384 1623 0 0 25 0 1 0 849054942 7090176 328 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1731 328 566 18 0 1713 0
vsize: 6924
[startup+490 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 21510
Raw data (stat): 21510 (Pueblo-v2) R 21509 31399 31398 0 -1 0 355 0 0 0 47350 1657 0 0 25 0 1 0 849054942 7090176 329 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1731 329 566 18 0 1713 0
vsize: 6924
[startup+500 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 21510
Raw data (stat): 21510 (Pueblo-v2) R 21509 31399 31398 0 -1 0 358 0 0 0 48320 1687 0 0 25 0 1 0 849054942 7090176 332 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1731 332 566 18 0 1713 0
vsize: 6924
[startup+510 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 21510
Raw data (stat): 21510 (Pueblo-v2) R 21509 31399 31398 0 -1 0 358 0 0 0 49289 1718 0 0 25 0 1 0 849054942 7090176 332 4294967295 134512640 134581267 3221224592 3221223504 134527434 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1731 332 566 18 0 1713 0
vsize: 6924
[startup+520 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 21510
Raw data (stat): 21510 (Pueblo-v2) R 21509 31399 31398 0 -1 0 358 0 0 0 50256 1751 0 0 25 0 1 0 849054942 7090176 332 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1731 332 566 18 0 1713 0
vsize: 6924
[startup+529.999 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 21510
Raw data (stat): 21510 (Pueblo-v2) R 21509 31399 31398 0 -1 0 358 0 0 0 51222 1785 0 0 25 0 1 0 849054942 7090176 332 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1731 332 566 18 0 1713 0
vsize: 6924
[startup+539.999 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 21510
Raw data (stat): 21510 (Pueblo-v2) R 21509 31399 31398 0 -1 0 358 0 0 0 52186 1821 0 0 25 0 1 0 849054942 7090176 332 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1731 332 566 18 0 1713 0
vsize: 6924
[startup+550 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 21510
Raw data (stat): 21510 (Pueblo-v2) R 21509 31399 31398 0 -1 0 362 0 0 0 53151 1857 0 0 25 0 1 0 849054942 7090176 336 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1731 336 566 18 0 1713 0
vsize: 6924
[startup+560 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 21510
Raw data (stat): 21510 (Pueblo-v2) R 21509 31399 31398 0 -1 0 362 0 0 0 54115 1893 0 0 25 0 1 0 849054942 7090176 336 4294967295 134512640 134581267 3221224592 3221223456 134560260 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1731 336 566 18 0 1713 0
vsize: 6924
[startup+569.999 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 21510
Raw data (stat): 21510 (Pueblo-v2) R 21509 31399 31398 0 -1 0 362 0 0 0 55079 1930 0 0 25 0 1 0 849054942 7090176 336 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1731 336 566 18 0 1713 0
vsize: 6924
[startup+580 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 21510
Raw data (stat): 21510 (Pueblo-v2) R 21509 31399 31398 0 -1 0 362 0 0 0 56046 1963 0 0 25 0 1 0 849054942 7090176 336 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1731 336 566 18 0 1713 0
vsize: 6924
[startup+589.999 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 21510
Raw data (stat): 21510 (Pueblo-v2) R 21509 31399 31398 0 -1 0 362 0 0 0 57011 1997 0 0 25 0 1 0 849054942 7090176 336 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1731 336 566 18 0 1713 0
vsize: 6924
[startup+599.999 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 21510
Raw data (stat): 21510 (Pueblo-v2) R 21509 31399 31398 0 -1 0 362 0 0 0 57974 2034 0 0 25 0 1 0 849054942 7090176 336 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1731 336 566 18 0 1713 0
vsize: 6924
[startup+609.999 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 21510
Raw data (stat): 21510 (Pueblo-v2) R 21509 31399 31398 0 -1 0 362 0 0 0 58941 2068 0 0 25 0 1 0 849054942 7090176 336 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1731 336 566 18 0 1713 0
vsize: 6924
[startup+619.999 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 21510
Raw data (stat): 21510 (Pueblo-v2) R 21509 31399 31398 0 -1 0 362 0 0 0 59903 2106 0 0 25 0 1 0 849054942 7090176 336 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1731 336 566 18 0 1713 0
vsize: 6924
[startup+630 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 21510
Raw data (stat): 21510 (Pueblo-v2) R 21509 31399 31398 0 -1 0 362 0 0 0 60867 2142 0 0 25 0 1 0 849054942 7090176 336 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1731 336 566 18 0 1713 0
vsize: 6924
[startup+639.999 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 21510
Raw data (stat): 21510 (Pueblo-v2) R 21509 31399 31398 0 -1 0 362 0 0 0 61832 2178 0 0 25 0 1 0 849054942 7090176 336 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1731 336 566 18 0 1713 0
vsize: 6924
[startup+649.999 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 21510
Raw data (stat): 21510 (Pueblo-v2) R 21509 31399 31398 0 -1 0 362 0 0 0 62796 2213 0 0 25 0 1 0 849054942 7090176 336 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1731 336 566 18 0 1713 0
vsize: 6924
[startup+659.999 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 21510
Raw data (stat): 21510 (Pueblo-v2) R 21509 31399 31398 0 -1 0 362 0 0 0 63756 2254 0 0 25 0 1 0 849054942 7090176 336 4294967295 134512640 134581267 3221224592 3221223488 134527747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1731 336 566 18 0 1713 0
vsize: 6924
[startup+669.998 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 21510
Raw data (stat): 21510 (Pueblo-v2) R 21509 31399 31398 0 -1 0 362 0 0 0 64718 2292 0 0 25 0 1 0 849054942 7090176 336 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1731 336 566 18 0 1713 0
vsize: 6924
[startup+679.998 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 21510
Raw data (stat): 21510 (Pueblo-v2) R 21509 31399 31398 0 -1 0 362 0 0 0 65685 2325 0 0 25 0 1 0 849054942 7090176 336 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1731 336 566 18 0 1713 0
vsize: 6924
[startup+689.999 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 21510
Raw data (stat): 21510 (Pueblo-v2) R 21509 31399 31398 0 -1 0 362 0 0 0 66648 2362 0 0 25 0 1 0 849054942 7090176 336 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1731 336 566 18 0 1713 0
vsize: 6924
[startup+699.999 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 21510
Raw data (stat): 21510 (Pueblo-v2) R 21509 31399 31398 0 -1 0 365 0 0 0 67617 2394 0 0 25 0 1 0 849054942 7090176 339 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1731 339 566 18 0 1713 0
vsize: 6924
[startup+709.999 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 21510
Raw data (stat): 21510 (Pueblo-v2) R 21509 31399 31398 0 -1 0 369 0 0 0 68580 2430 0 0 25 0 1 0 849054942 7090176 343 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1731 343 566 18 0 1713 0
vsize: 6924
[startup+719.999 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 21510
Raw data (stat): 21510 (Pueblo-v2) R 21509 31399 31398 0 -1 0 369 0 0 0 69548 2463 0 0 25 0 1 0 849054942 7090176 343 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1731 343 566 18 0 1713 0
vsize: 6924
[startup+729.999 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 21510
Raw data (stat): 21510 (Pueblo-v2) R 21509 31399 31398 0 -1 0 369 0 0 0 70517 2494 0 0 25 0 1 0 849054942 7090176 343 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1731 343 566 18 0 1713 0
vsize: 6924
[startup+739.999 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 21510
Raw data (stat): 21510 (Pueblo-v2) R 21509 31399 31398 0 -1 0 369 0 0 0 71489 2522 0 0 25 0 1 0 849054942 7090176 343 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1731 343 566 18 0 1713 0
vsize: 6924
[startup+750 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 21510
Raw data (stat): 21510 (Pueblo-v2) R 21509 31399 31398 0 -1 0 372 0 0 0 72455 2557 0 0 25 0 1 0 849054942 7090176 346 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1731 346 566 18 0 1713 0
vsize: 6924
[startup+760 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 21510
Raw data (stat): 21510 (Pueblo-v2) R 21509 31399 31398 0 -1 0 372 0 0 0 73424 2588 0 0 25 0 1 0 849054942 7090176 346 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1731 346 566 18 0 1713 0
vsize: 6924
[startup+770 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 21510
Raw data (stat): 21510 (Pueblo-v2) R 21509 31399 31398 0 -1 0 372 0 0 0 74388 2624 0 0 25 0 1 0 849054942 7090176 346 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1731 346 566 18 0 1713 0
vsize: 6924
[startup+780 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 21510
Raw data (stat): 21510 (Pueblo-v2) R 21509 31399 31398 0 -1 0 372 0 0 0 75354 2658 0 0 25 0 1 0 849054942 7090176 346 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1731 346 566 18 0 1713 0
vsize: 6924
[startup+789.999 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 21510
Raw data (stat): 21510 (Pueblo-v2) R 21509 31399 31398 0 -1 0 372 0 0 0 76321 2691 0 0 25 0 1 0 849054942 7090176 346 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1731 346 566 18 0 1713 0
vsize: 6924
[startup+800 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 21510
Raw data (stat): 21510 (Pueblo-v2) R 21509 31399 31398 0 -1 0 372 0 0 0 77288 2725 0 0 25 0 1 0 849054942 7090176 346 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1731 346 566 18 0 1713 0
vsize: 6924
[startup+810 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 21510
Raw data (stat): 21510 (Pueblo-v2) R 21509 31399 31398 0 -1 0 372 0 0 0 78253 2760 0 0 25 0 1 0 849054942 7090176 346 4294967295 134512640 134581267 3221224592 3221223456 134528304 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1731 346 566 18 0 1713 0
vsize: 6924
[startup+820 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 21510
Raw data (stat): 21510 (Pueblo-v2) R 21509 31399 31398 0 -1 0 372 0 0 0 79223 2790 0 0 25 0 1 0 849054942 7090176 346 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1731 346 566 18 0 1713 0
vsize: 6924
[startup+830 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 21510
Raw data (stat): 21510 (Pueblo-v2) R 21509 31399 31398 0 -1 0 372 0 0 0 80191 2822 0 0 25 0 1 0 849054942 7090176 346 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1731 346 566 18 0 1713 0
vsize: 6924
[startup+840 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 21510
Raw data (stat): 21510 (Pueblo-v2) R 21509 31399 31398 0 -1 0 372 0 0 0 81158 2855 0 0 25 0 1 0 849054942 7090176 346 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1731 346 566 18 0 1713 0
vsize: 6924
[startup+850.001 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 21510
Raw data (stat): 21510 (Pueblo-v2) R 21509 31399 31398 0 -1 0 372 0 0 0 82125 2888 0 0 25 0 1 0 849054942 7090176 346 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1731 346 566 18 0 1713 0
vsize: 6924
[startup+860.001 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 21510
Raw data (stat): 21510 (Pueblo-v2) R 21509 31399 31398 0 -1 0 372 0 0 0 83085 2928 0 0 25 0 1 0 849054942 7090176 346 4294967295 134512640 134581267 3221224592 3221223456 134528315 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1731 346 566 18 0 1713 0
vsize: 6924
[startup+870 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 21510
Raw data (stat): 21510 (Pueblo-v2) R 21509 31399 31398 0 -1 0 372 0 0 0 84047 2967 0 0 25 0 1 0 849054942 7090176 346 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1731 346 566 18 0 1713 0
vsize: 6924
[startup+880.001 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 21510
Raw data (stat): 21510 (Pueblo-v2) R 21509 31399 31398 0 -1 0 373 0 0 0 85011 3003 0 0 25 0 1 0 849054942 7225344 347 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1764 347 566 18 0 1746 0
vsize: 7056
[startup+890 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 21510
Raw data (stat): 21510 (Pueblo-v2) R 21509 31399 31398 0 -1 0 373 0 0 0 85978 3036 0 0 25 0 1 0 849054942 7225344 347 4294967295 134512640 134581267 3221224592 3221222576 134566752 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1764 347 566 18 0 1746 0
vsize: 7056
[startup+900.001 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 21510
Raw data (stat): 21510 (Pueblo-v2) R 21509 31399 31398 0 -1 0 373 0 0 0 86944 3070 0 0 25 0 1 0 849054942 7225344 347 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1764 347 566 18 0 1746 0
vsize: 7056
[startup+910.001 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 21510
Raw data (stat): 21510 (Pueblo-v2) R 21509 31399 31398 0 -1 0 373 0 0 0 87912 3102 0 0 25 0 1 0 849054942 7225344 347 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1764 347 566 18 0 1746 0
vsize: 7056
[startup+920.001 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 21510
Raw data (stat): 21510 (Pueblo-v2) R 21509 31399 31398 0 -1 0 373 0 0 0 88882 3133 0 0 25 0 1 0 849054942 7225344 347 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1764 347 566 18 0 1746 0
vsize: 7056
[startup+930.002 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 21510
Raw data (stat): 21510 (Pueblo-v2) R 21509 31399 31398 0 -1 0 373 0 0 0 89845 3170 0 0 25 0 1 0 849054942 7225344 347 4294967295 134512640 134581267 3221224592 3221223588 134519629 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1764 347 566 18 0 1746 0
vsize: 7056
[startup+940.002 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 21510
Raw data (stat): 21510 (Pueblo-v2) R 21509 31399 31398 0 -1 0 373 0 0 0 90813 3202 0 0 25 0 1 0 849054942 7225344 347 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1764 347 566 18 0 1746 0
vsize: 7056
[startup+950.002 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 21510
Raw data (stat): 21510 (Pueblo-v2) R 21509 31399 31398 0 -1 0 373 0 0 0 91779 3237 0 0 25 0 1 0 849054942 7225344 347 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1764 347 566 18 0 1746 0
vsize: 7056
[startup+960.002 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 21510
Raw data (stat): 21510 (Pueblo-v2) R 21509 31399 31398 0 -1 0 373 0 0 0 92745 3270 0 0 25 0 1 0 849054942 7225344 347 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1764 347 566 18 0 1746 0
vsize: 7056
[startup+970.001 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 21510
Raw data (stat): 21510 (Pueblo-v2) R 21509 31399 31398 0 -1 0 373 0 0 0 93706 3310 0 0 25 0 1 0 849054942 7225344 347 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1764 347 566 18 0 1746 0
vsize: 7056
[startup+980.001 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 21510
Raw data (stat): 21510 (Pueblo-v2) R 21509 31399 31398 0 -1 0 373 0 0 0 94670 3346 0 0 25 0 1 0 849054942 7225344 347 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1764 347 566 18 0 1746 0
vsize: 7056
[startup+990.001 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 21510
Raw data (stat): 21510 (Pueblo-v2) R 21509 31399 31398 0 -1 0 373 0 0 0 95635 3381 0 0 25 0 1 0 849054942 7225344 347 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1764 347 566 18 0 1746 0
vsize: 7056
[startup+1000 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 21510
Raw data (stat): 21510 (Pueblo-v2) R 21509 31399 31398 0 -1 0 373 0 0 0 96603 3413 0 0 25 0 1 0 849054942 7225344 347 4294967295 134512640 134581267 3221224592 3221223552 134516723 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1764 347 566 18 0 1746 0
vsize: 7056
[startup+1010 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 21510
Raw data (stat): 21510 (Pueblo-v2) R 21509 31399 31398 0 -1 0 373 0 0 0 97565 3452 0 0 25 0 1 0 849054942 7225344 347 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1764 347 566 18 0 1746 0
vsize: 7056
[startup+1020 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 21510
Raw data (stat): 21510 (Pueblo-v2) R 21509 31399 31398 0 -1 0 373 0 0 0 98527 3490 0 0 25 0 1 0 849054942 7225344 347 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1764 347 566 18 0 1746 0
vsize: 7056
[startup+1030 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 21510
Raw data (stat): 21510 (Pueblo-v2) R 21509 31399 31398 0 -1 0 373 0 0 0 99499 3517 0 0 25 0 1 0 849054942 7225344 347 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1764 347 566 18 0 1746 0
vsize: 7056
[startup+1040 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 21510
Raw data (stat): 21510 (Pueblo-v2) R 21509 31399 31398 0 -1 0 373 0 0 0 100470 3547 0 0 25 0 1 0 849054942 7225344 347 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1764 347 566 18 0 1746 0
vsize: 7056
[startup+1050 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 21510
Raw data (stat): 21510 (Pueblo-v2) R 21509 31399 31398 0 -1 0 374 0 0 0 101434 3584 0 0 25 0 1 0 849054942 7225344 348 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1764 348 566 18 0 1746 0
vsize: 7056
[startup+1060 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 21510
Raw data (stat): 21510 (Pueblo-v2) R 21509 31399 31398 0 -1 0 374 0 0 0 102401 3616 0 0 25 0 1 0 849054942 7225344 348 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1764 348 566 18 0 1746 0
vsize: 7056
[startup+1070 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 21510
Raw data (stat): 21510 (Pueblo-v2) R 21509 31399 31398 0 -1 0 374 0 0 0 103366 3652 0 0 25 0 1 0 849054942 7225344 348 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1764 348 566 18 0 1746 0
vsize: 7056
[startup+1080 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 21510
Raw data (stat): 21510 (Pueblo-v2) R 21509 31399 31398 0 -1 0 374 0 0 0 104333 3684 0 0 25 0 1 0 849054942 7225344 348 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1764 348 566 18 0 1746 0
vsize: 7056
[startup+1090 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 21510
Raw data (stat): 21510 (Pueblo-v2) R 21509 31399 31398 0 -1 0 374 0 0 0 105301 3717 0 0 25 0 1 0 849054942 7225344 348 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1764 348 566 18 0 1746 0
vsize: 7056
[startup+1100 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 21510
Raw data (stat): 21510 (Pueblo-v2) R 21509 31399 31398 0 -1 0 374 0 0 0 106265 3753 0 0 25 0 1 0 849054942 7225344 348 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1764 348 566 18 0 1746 0
vsize: 7056
[startup+1110 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 21510
Raw data (stat): 21510 (Pueblo-v2) R 21509 31399 31398 0 -1 0 378 0 0 0 107235 3783 0 0 25 0 1 0 849054942 7225344 352 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1764 352 566 18 0 1746 0
vsize: 7056
[startup+1120 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 21510
Raw data (stat): 21510 (Pueblo-v2) R 21509 31399 31398 0 -1 0 378 0 0 0 108205 3813 0 0 25 0 1 0 849054942 7225344 352 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1764 352 566 18 0 1746 0
vsize: 7056
[startup+1130 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 21510
Raw data (stat): 21510 (Pueblo-v2) R 21509 31399 31398 0 -1 0 378 0 0 0 109168 3850 0 0 25 0 1 0 849054942 7225344 352 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1764 352 566 18 0 1746 0
vsize: 7056
[startup+1140 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 21510
Raw data (stat): 21510 (Pueblo-v2) R 21509 31399 31398 0 -1 0 379 0 0 0 110135 3884 0 0 25 0 1 0 849054942 7225344 353 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1764 353 566 18 0 1746 0
vsize: 7056
[startup+1150 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 21510
Raw data (stat): 21510 (Pueblo-v2) R 21509 31399 31398 0 -1 0 379 0 0 0 111100 3919 0 0 25 0 1 0 849054942 7225344 353 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1764 353 566 18 0 1746 0
vsize: 7056
[startup+1160 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 21510
Raw data (stat): 21510 (Pueblo-v2) R 21509 31399 31398 0 -1 0 379 0 0 0 112067 3952 0 0 25 0 1 0 849054942 7225344 353 4294967295 134512640 134581267 3221224592 3221223536 134558747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1764 353 566 18 0 1746 0
vsize: 7056
[startup+1170 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 21510
Raw data (stat): 21510 (Pueblo-v2) R 21509 31399 31398 0 -1 0 384 0 0 0 113037 3982 0 0 25 0 1 0 849054942 7225344 358 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1764 358 566 18 0 1746 0
vsize: 7056
[startup+1180 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 21510
Raw data (stat): 21510 (Pueblo-v2) R 21509 31399 31398 0 -1 0 384 0 0 0 114003 4016 0 0 25 0 1 0 849054942 7225344 358 4294967295 134512640 134581267 3221224592 3221223536 134558867 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1764 358 566 18 0 1746 0
vsize: 7056
[startup+1188.8 s]
Raw data (loadavg): 1.00 0.99 0.93 1/53 21510
Raw data (stat): 21510 (Pueblo-v2) R 21509 31399 31398 0 -1 0 384 0 0 0 114003 4016 0 0 25 0 1 0 849054942 7225344 358 4294967295 134512640 134581267 3221224592 3221223536 134558867 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1764 358 566 18 0 1746 0
vsize: 0

Child status: 10
Real time (s): 1188.8
CPU time (s): 1189
CPU user time (s): 1148.54
CPU system time (s): 40.4618
CPU usage (%): 100.017
Max. virtual memory (Kb): 7056
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	694
#### END VERIFIER DATA ####