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/een/normalized-lseu.opb
MD5SUM	a578bf261896413ca78de4dc6db2447f
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1120
Optimality of the best value was proved	NO
Number of terms in the objective function	85
Biggest coefficient in the objective function	517
Number of bits for the biggest coefficient in the objective function	10
Sum of the numbers in the objective function	15494
Number of bits of the sum of numbers in the objective function	14
Biggest number in a constraint	1656
Number of bits of the biggest number in a constraint	11
Biggest sum of numbers in a constraint	15494
Number of bits of the biggest sum of numbers	14
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.02184
Number of variables	89
Total number of constraints	28
Number of constraints which are clauses	2
Number of constraints which are cardinality constraints (but not clauses)	15
Number of constraints which are nor clauses,nor cardinality constraints	11
Minimum length of a constraint	2
Maximum length of a constraint	47
Trace number 38596

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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:        676640 kB
Buffers:         34312 kB
Cached:         301788 kB
SwapCached:        568 kB
Active:          29528 kB
Inactive:       308680 kB
HighTotal:      131008 kB
HighFree:          420 kB
LowTotal:       903652 kB
LowFree:        676220 kB
SwapTotal:     2097136 kB
SwapFree:      2095660 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5312 kB
Slab:            13912 kB
Committed_AS:    71780 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 15:27:11 (client local time) WITH STATUS 30 IN 767.268 SECONDS
stats: 26657 0 767.268 30
#### 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/wulflinc4/normalized-lseu.opb
c #variables read: 89 - #constraints read: 29
c optimum objective found = 1120
s OPTIMUM FOUND
v x0 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 
#### 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.93 0.98 0.96 2/54 9800
Raw data (stat): 9800 (runsolver) R 9799 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 850775287 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+10.0001 s]
Raw data (loadavg): 0.94 0.98 0.96 2/54 9800
Raw data (stat): 9800 (Pueblo-v2) R 9799 21152 21151 0 -1 0 270 0 0 0 973 26 0 0 25 0 1 0 850775287 6696960 244 4294967295 134512640 134581267 3221224592 3221223536 134559341 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1635 244 566 18 0 1617 0
vsize: 6540
[startup+20.0002 s]
Raw data (loadavg): 0.95 0.98 0.96 2/54 9800
Raw data (stat): 9800 (Pueblo-v2) R 9799 21152 21151 0 -1 0 271 0 0 0 1946 52 0 0 25 0 1 0 850775287 6696960 245 4294967295 134512640 134581267 3221224592 3221223520 134519826 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1635 245 566 18 0 1617 0
vsize: 6540
[startup+30.0007 s]
Raw data (loadavg): 0.95 0.98 0.96 2/54 9800
Raw data (stat): 9800 (Pueblo-v2) R 9799 21152 21151 0 -1 0 271 0 0 0 2919 80 0 0 25 0 1 0 850775287 6696960 245 4294967295 134512640 134581267 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1635 245 566 18 0 1617 0
vsize: 6540
[startup+40.0006 s]
Raw data (loadavg): 0.96 0.98 0.96 2/54 9800
Raw data (stat): 9800 (Pueblo-v2) R 9799 21152 21151 0 -1 0 271 0 0 0 3895 105 0 0 25 0 1 0 850775287 6696960 245 4294967295 134512640 134581267 3221224592 3221223504 134527516 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1635 245 566 18 0 1617 0
vsize: 6540
[startup+50.0008 s]
Raw data (loadavg): 0.97 0.98 0.96 2/54 9800
Raw data (stat): 9800 (Pueblo-v2) R 9799 21152 21151 0 -1 0 272 0 0 0 4865 134 0 0 25 0 1 0 850775287 6696960 246 4294967295 134512640 134581267 3221224592 3221223500 134527740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1635 246 566 18 0 1617 0
vsize: 6540
[startup+60.0014 s]
Raw data (loadavg): 0.97 0.98 0.96 2/54 9800
Raw data (stat): 9800 (Pueblo-v2) R 9799 21152 21151 0 -1 0 272 0 0 0 5837 163 0 0 25 0 1 0 850775287 6696960 246 4294967295 134512640 134581267 3221224592 3221223472 134520302 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1635 246 566 18 0 1617 0
vsize: 6540
[startup+70.0012 s]
Raw data (loadavg): 0.97 0.98 0.96 2/54 9800
Raw data (stat): 9800 (Pueblo-v2) R 9799 21152 21151 0 -1 0 272 0 0 0 6811 188 0 0 25 0 1 0 850775287 6696960 246 4294967295 134512640 134581267 3221224592 3221223504 134527464 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1635 246 566 18 0 1617 0
vsize: 6540
[startup+80.0126 s]
Raw data (loadavg): 0.98 0.98 0.96 2/54 9800
Raw data (stat): 9800 (Pueblo-v2) R 9799 21152 21151 0 -1 0 273 0 0 0 7787 213 0 0 25 0 1 0 850775287 6696960 247 4294967295 134512640 134581267 3221224592 3221223456 134560181 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1635 247 566 18 0 1617 0
vsize: 6540
[startup+90.012 s]
Raw data (loadavg): 0.98 0.98 0.96 2/54 9800
Raw data (stat): 9800 (Pueblo-v2) R 9799 21152 21151 0 -1 0 274 0 0 0 8760 240 0 0 25 0 1 0 850775287 6696960 248 4294967295 134512640 134581267 3221224592 3221223520 134519931 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1635 248 566 18 0 1617 0
vsize: 6540
[startup+100.012 s]
Raw data (loadavg): 0.98 0.98 0.96 2/54 9800
Raw data (stat): 9800 (Pueblo-v2) R 9799 21152 21151 0 -1 0 275 0 0 0 9726 275 0 0 25 0 1 0 850775287 6696960 249 4294967295 134512640 134581267 3221224592 3221223552 134516705 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1635 249 566 18 0 1617 0
vsize: 6540
[startup+110.013 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 9800
Raw data (stat): 9800 (Pueblo-v2) R 9799 21152 21151 0 -1 0 276 0 0 0 10686 314 0 0 25 0 1 0 850775287 6696960 250 4294967295 134512640 134581267 3221224592 3221223384 1075285870 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1635 250 566 18 0 1617 0
vsize: 6540
[startup+120.014 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 9800
Raw data (stat): 9800 (Pueblo-v2) R 9799 21152 21151 0 -1 0 276 0 0 0 11649 352 0 0 25 0 1 0 850775287 6696960 250 4294967295 134512640 134581267 3221224592 3221223640 134556323 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1635 250 566 18 0 1617 0
vsize: 6540
[startup+130.013 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 9800
Raw data (stat): 9800 (Pueblo-v2) R 9799 21152 21151 0 -1 0 276 0 0 0 12610 391 0 0 25 0 1 0 850775287 6696960 250 4294967295 134512640 134581267 3221224592 3221223504 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1635 250 566 18 0 1617 0
vsize: 6540
[startup+140.014 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 9800
Raw data (stat): 9800 (Pueblo-v2) R 9799 21152 21151 0 -1 0 276 0 0 0 13576 425 0 0 25 0 1 0 850775287 6696960 250 4294967295 134512640 134581267 3221224592 3221223564 134554668 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1635 250 566 18 0 1617 0
vsize: 6540
[startup+150.013 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 9800
Raw data (stat): 9800 (Pueblo-v2) R 9799 21152 21151 0 -1 0 276 0 0 0 14538 463 0 0 25 0 1 0 850775287 6696960 250 4294967295 134512640 134581267 3221224592 3221223536 134558934 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1635 250 566 18 0 1617 0
vsize: 6540
[startup+160.013 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 9800
Raw data (stat): 9800 (Pueblo-v2) R 9799 21152 21151 0 -1 0 276 0 0 0 15494 507 0 0 25 0 1 0 850775287 6696960 250 4294967295 134512640 134581267 3221224592 3221223504 134527451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1635 250 566 18 0 1617 0
vsize: 6540
[startup+170.013 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 9800
Raw data (stat): 9800 (Pueblo-v2) R 9799 21152 21151 0 -1 0 277 0 0 0 16456 546 0 0 25 0 1 0 850775287 6828032 251 4294967295 134512640 134581267 3221224592 3221223536 134558908 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1667 251 566 18 0 1649 0
vsize: 6668
[startup+180.014 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 9800
Raw data (stat): 9800 (Pueblo-v2) R 9799 21152 21151 0 -1 0 277 0 0 0 17419 583 0 0 25 0 1 0 850775287 6828032 251 4294967295 134512640 134581267 3221224592 3221223456 134528235 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1667 251 566 18 0 1649 0
vsize: 6668
[startup+190.015 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 9800
Raw data (stat): 9800 (Pueblo-v2) R 9799 21152 21151 0 -1 0 277 0 0 0 18385 617 0 0 25 0 1 0 850775287 6828032 251 4294967295 134512640 134581267 3221224592 3221223536 134558849 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1667 251 566 18 0 1649 0
vsize: 6668
[startup+200.015 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 9800
Raw data (stat): 9800 (Pueblo-v2) R 9799 21152 21151 0 -1 0 277 0 0 0 19350 652 0 0 25 0 1 0 850775287 6828032 251 4294967295 134512640 134581267 3221224592 3221223456 134528240 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1667 251 566 18 0 1649 0
vsize: 6668
[startup+210.016 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 9800
Raw data (stat): 9800 (Pueblo-v2) R 9799 21152 21151 0 -1 0 277 0 0 0 20309 693 0 0 25 0 1 0 850775287 6828032 251 4294967295 134512640 134581267 3221224592 3221223504 134527416 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1667 251 566 18 0 1649 0
vsize: 6668
[startup+220.016 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 9800
Raw data (stat): 9800 (Pueblo-v2) R 9799 21152 21151 0 -1 0 277 0 0 0 21287 715 0 0 25 0 1 0 850775287 6828032 251 4294967295 134512640 134581267 3221224592 3221223504 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1667 251 566 18 0 1649 0
vsize: 6668
[startup+230.016 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 9800
Raw data (stat): 9800 (Pueblo-v2) R 9799 21152 21151 0 -1 0 277 0 0 0 22256 747 0 0 25 0 1 0 850775287 6828032 251 4294967295 134512640 134581267 3221224592 3221223504 134527434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1667 251 566 18 0 1649 0
vsize: 6668
[startup+240.017 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 9800
Raw data (stat): 9800 (Pueblo-v2) R 9799 21152 21151 0 -1 0 277 0 0 0 23227 775 0 0 25 0 1 0 850775287 6828032 251 4294967295 134512640 134581267 3221224592 3221223504 134527457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1667 251 566 18 0 1649 0
vsize: 6668
[startup+250.017 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 9800
Raw data (stat): 9800 (Pueblo-v2) R 9799 21152 21151 0 -1 0 277 0 0 0 24198 804 0 0 25 0 1 0 850775287 6828032 251 4294967295 134512640 134581267 3221224592 3221223560 134527282 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1667 251 566 18 0 1649 0
vsize: 6668
[startup+260.017 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 9800
Raw data (stat): 9800 (Pueblo-v2) R 9799 21152 21151 0 -1 0 277 0 0 0 25166 837 0 0 25 0 1 0 850775287 6828032 251 4294967295 134512640 134581267 3221224592 3221223456 134528255 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1667 251 566 18 0 1649 0
vsize: 6668
[startup+270.017 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 9800
Raw data (stat): 9800 (Pueblo-v2) R 9799 21152 21151 0 -1 0 277 0 0 0 26130 873 0 0 25 0 1 0 850775287 6828032 251 4294967295 134512640 134581267 3221224592 3221223536 134559432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1667 251 566 18 0 1649 0
vsize: 6668
[startup+280.017 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 9800
Raw data (stat): 9800 (Pueblo-v2) R 9799 21152 21151 0 -1 0 277 0 0 0 27090 913 0 0 25 0 1 0 850775287 6828032 251 4294967295 134512640 134581267 3221224592 3221223504 134527712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1667 251 566 18 0 1649 0
vsize: 6668
[startup+290.018 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 9800
Raw data (stat): 9800 (Pueblo-v2) R 9799 21152 21151 0 -1 0 277 0 0 0 28057 946 0 0 25 0 1 0 850775287 6828032 251 4294967295 134512640 134581267 3221224592 3221223456 134528229 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1667 251 566 18 0 1649 0
vsize: 6668
[startup+300.018 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 9800
Raw data (stat): 9800 (Pueblo-v2) R 9799 21152 21151 0 -1 0 277 0 0 0 29020 983 0 0 25 0 1 0 850775287 6828032 251 4294967295 134512640 134581267 3221224592 3221223440 134527203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1667 251 566 18 0 1649 0
vsize: 6668
[startup+310.018 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 9800
Raw data (stat): 9800 (Pueblo-v2) R 9799 21152 21151 0 -1 0 277 0 0 0 29985 1018 0 0 25 0 1 0 850775287 6828032 251 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1667 251 566 18 0 1649 0
vsize: 6668
[startup+320.018 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 9800
Raw data (stat): 9800 (Pueblo-v2) R 9799 21152 21151 0 -1 0 278 0 0 0 30947 1056 0 0 25 0 1 0 850775287 6828032 252 4294967295 134512640 134581267 3221224592 3221223648 134556035 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1667 252 566 18 0 1649 0
vsize: 6668
[startup+330.019 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 9800
Raw data (stat): 9800 (Pueblo-v2) R 9799 21152 21151 0 -1 0 278 0 0 0 31904 1100 0 0 25 0 1 0 850775287 6828032 252 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1667 252 566 18 0 1649 0
vsize: 6668
[startup+340.019 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 9800
Raw data (stat): 9800 (Pueblo-v2) R 9799 21152 21151 0 -1 0 278 0 0 0 32865 1139 0 0 25 0 1 0 850775287 6828032 252 4294967295 134512640 134581267 3221224592 3221223568 134561057 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1667 252 566 18 0 1649 0
vsize: 6668
[startup+350.019 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 9800
Raw data (stat): 9800 (Pueblo-v2) R 9799 21152 21151 0 -1 0 278 0 0 0 33831 1173 0 0 25 0 1 0 850775287 6828032 252 4294967295 134512640 134581267 3221224592 3221223504 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1667 252 566 18 0 1649 0
vsize: 6668
[startup+360.02 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 9800
Raw data (stat): 9800 (Pueblo-v2) R 9799 21152 21151 0 -1 0 278 0 0 0 34800 1205 0 0 25 0 1 0 850775287 6828032 252 4294967295 134512640 134581267 3221224592 3221223488 134527747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1667 252 566 18 0 1649 0
vsize: 6668
[startup+370.019 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 9800
Raw data (stat): 9800 (Pueblo-v2) R 9799 21152 21151 0 -1 0 279 0 0 0 35773 1231 0 0 25 0 1 0 850775287 6828032 253 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1667 253 566 18 0 1649 0
vsize: 6668
[startup+380.019 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 9800
Raw data (stat): 9800 (Pueblo-v2) R 9799 21152 21151 0 -1 0 279 0 0 0 36741 1263 0 0 25 0 1 0 850775287 6828032 253 4294967295 134512640 134581267 3221224592 3221223584 134560807 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1667 253 566 18 0 1649 0
vsize: 6668
[startup+390.02 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 9800
Raw data (stat): 9800 (Pueblo-v2) R 9799 21152 21151 0 -1 0 279 0 0 0 37713 1291 0 0 25 0 1 0 850775287 6828032 253 4294967295 134512640 134581267 3221224592 3221223488 134517859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1667 253 566 18 0 1649 0
vsize: 6668
[startup+400.02 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 9800
Raw data (stat): 9800 (Pueblo-v2) R 9799 21152 21151 0 -1 0 279 0 0 0 38685 1319 0 0 25 0 1 0 850775287 6828032 253 4294967295 134512640 134581267 3221224592 3221223488 134528027 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1667 253 566 18 0 1649 0
vsize: 6668
[startup+410.02 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 9800
Raw data (stat): 9800 (Pueblo-v2) R 9799 21152 21151 0 -1 0 279 0 0 0 39661 1344 0 0 25 0 1 0 850775287 6828032 253 4294967295 134512640 134581267 3221224592 3221223504 134527451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1667 253 566 18 0 1649 0
vsize: 6668
[startup+420.02 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 9800
Raw data (stat): 9800 (Pueblo-v2) R 9799 21152 21151 0 -1 0 279 0 0 0 40635 1370 0 0 25 0 1 0 850775287 6828032 253 4294967295 134512640 134581267 3221224592 3221223568 134561060 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1667 253 566 18 0 1649 0
vsize: 6668
[startup+430.02 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 9800
Raw data (stat): 9800 (Pueblo-v2) R 9799 21152 21151 0 -1 0 279 0 0 0 41605 1399 0 0 25 0 1 0 850775287 6828032 253 4294967295 134512640 134581267 3221224592 3221223412 1075289770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1667 253 566 18 0 1649 0
vsize: 6668
[startup+440.021 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 9800
Raw data (stat): 9800 (Pueblo-v2) R 9799 21152 21151 0 -1 0 279 0 0 0 42576 1429 0 0 25 0 1 0 850775287 6828032 253 4294967295 134512640 134581267 3221224592 3221223536 134559321 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1667 253 566 18 0 1649 0
vsize: 6668
[startup+450.02 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 9800
Raw data (stat): 9800 (Pueblo-v2) R 9799 21152 21151 0 -1 0 280 0 0 0 43555 1450 0 0 25 0 1 0 850775287 6828032 254 4294967295 134512640 134581267 3221224592 3221223536 134559235 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1667 254 566 18 0 1649 0
vsize: 6668
[startup+460.021 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 9800
Raw data (stat): 9800 (Pueblo-v2) R 9799 21152 21151 0 -1 0 280 0 0 0 44528 1477 0 0 25 0 1 0 850775287 6828032 254 4294967295 134512640 134581267 3221224592 3221223456 134528310 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1667 254 566 18 0 1649 0
vsize: 6668
[startup+470.021 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 9800
Raw data (stat): 9800 (Pueblo-v2) R 9799 21152 21151 0 -1 0 280 0 0 0 45500 1505 0 0 25 0 1 0 850775287 6828032 254 4294967295 134512640 134581267 3221224592 3221223632 134556357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1667 254 566 18 0 1649 0
vsize: 6668
[startup+480.022 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 9800
Raw data (stat): 9800 (Pueblo-v2) R 9799 21152 21151 0 -1 0 280 0 0 0 46477 1529 0 0 25 0 1 0 850775287 6828032 254 4294967295 134512640 134581267 3221224592 3221223536 134559627 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1667 254 566 18 0 1649 0
vsize: 6668
[startup+490.023 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 9800
Raw data (stat): 9800 (Pueblo-v2) R 9799 21152 21151 0 -1 0 280 0 0 0 47453 1553 0 0 25 0 1 0 850775287 6828032 254 4294967295 134512640 134581267 3221224592 3221223504 134527695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1667 254 566 18 0 1649 0
vsize: 6668
[startup+500.023 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 9800
Raw data (stat): 9800 (Pueblo-v2) R 9799 21152 21151 0 -1 0 280 0 0 0 48418 1588 0 0 25 0 1 0 850775287 6828032 254 4294967295 134512640 134581267 3221224592 3221223536 134558867 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1667 254 566 18 0 1649 0
vsize: 6668
[startup+510.024 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 9800
Raw data (stat): 9800 (Pueblo-v2) R 9799 21152 21151 0 -1 0 280 0 0 0 49383 1622 0 0 25 0 1 0 850775287 6828032 254 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1667 254 566 18 0 1649 0
vsize: 6668
[startup+520.023 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 9800
Raw data (stat): 9800 (Pueblo-v2) R 9799 21152 21151 0 -1 0 280 0 0 0 50351 1654 0 0 25 0 1 0 850775287 6828032 254 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1667 254 566 18 0 1649 0
vsize: 6668
[startup+530.024 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 9800
Raw data (stat): 9800 (Pueblo-v2) R 9799 21152 21151 0 -1 0 280 0 0 0 51321 1685 0 0 25 0 1 0 850775287 6828032 254 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1667 254 566 18 0 1649 0
vsize: 6668
[startup+540.025 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 9800
Raw data (stat): 9800 (Pueblo-v2) R 9799 21152 21151 0 -1 0 280 0 0 0 52290 1716 0 0 25 0 1 0 850775287 6828032 254 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1667 254 566 18 0 1649 0
vsize: 6668
[startup+550.024 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 9800
Raw data (stat): 9800 (Pueblo-v2) R 9799 21152 21151 0 -1 0 280 0 0 0 53258 1749 0 0 25 0 1 0 850775287 6828032 254 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1667 254 566 18 0 1649 0
vsize: 6668
[startup+560.024 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 9800
Raw data (stat): 9800 (Pueblo-v2) R 9799 21152 21151 0 -1 0 280 0 0 0 54225 1782 0 0 25 0 1 0 850775287 6828032 254 4294967295 134512640 134581267 3221224592 3221223560 134527284 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1667 254 566 18 0 1649 0
vsize: 6668
[startup+570.025 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 9800
Raw data (stat): 9800 (Pueblo-v2) R 9799 21152 21151 0 -1 0 280 0 0 0 55197 1810 0 0 25 0 1 0 850775287 6828032 254 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1667 254 566 18 0 1649 0
vsize: 6668
[startup+580.025 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 9800
Raw data (stat): 9800 (Pueblo-v2) R 9799 21152 21151 0 -1 0 280 0 0 0 56171 1836 0 0 25 0 1 0 850775287 6828032 254 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1667 254 566 18 0 1649 0
vsize: 6668
[startup+590.026 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 9800
Raw data (stat): 9800 (Pueblo-v2) R 9799 21152 21151 0 -1 0 280 0 0 0 57141 1866 0 0 25 0 1 0 850775287 6828032 254 4294967295 134512640 134581267 3221224592 3221223504 134527510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1667 254 566 18 0 1649 0
vsize: 6668
[startup+600.026 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 9800
Raw data (stat): 9800 (Pueblo-v2) R 9799 21152 21151 0 -1 0 280 0 0 0 58108 1899 0 0 25 0 1 0 850775287 6828032 254 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1667 254 566 18 0 1649 0
vsize: 6668
[startup+610.026 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 9800
Raw data (stat): 9800 (Pueblo-v2) R 9799 21152 21151 0 -1 0 280 0 0 0 59075 1933 0 0 25 0 1 0 850775287 6828032 254 4294967295 134512640 134581267 3221224592 3221223488 134517871 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1667 254 566 18 0 1649 0
vsize: 6668
[startup+620.026 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 9800
Raw data (stat): 9800 (Pueblo-v2) R 9799 21152 21151 0 -1 0 280 0 0 0 60045 1963 0 0 25 0 1 0 850775287 6828032 254 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1667 254 566 18 0 1649 0
vsize: 6668
[startup+630.027 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 9800
Raw data (stat): 9800 (Pueblo-v2) R 9799 21152 21151 0 -1 0 280 0 0 0 61004 2004 0 0 25 0 1 0 850775287 6828032 254 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1667 254 566 18 0 1649 0
vsize: 6668
[startup+640.028 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 9800
Raw data (stat): 9800 (Pueblo-v2) R 9799 21152 21151 0 -1 0 280 0 0 0 61969 2039 0 0 25 0 1 0 850775287 6828032 254 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1667 254 566 18 0 1649 0
vsize: 6668
[startup+650.028 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 9800
Raw data (stat): 9800 (Pueblo-v2) R 9799 21152 21151 0 -1 0 280 0 0 0 62933 2075 0 0 25 0 1 0 850775287 6828032 254 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1667 254 566 18 0 1649 0
vsize: 6668
[startup+660.029 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 9800
Raw data (stat): 9800 (Pueblo-v2) R 9799 21152 21151 0 -1 0 280 0 0 0 63910 2099 0 0 25 0 1 0 850775287 6828032 254 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1667 254 566 18 0 1649 0
vsize: 6668
[startup+670.029 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 9800
Raw data (stat): 9800 (Pueblo-v2) R 9799 21152 21151 0 -1 0 280 0 0 0 64883 2126 0 0 25 0 1 0 850775287 6828032 254 4294967295 134512640 134581267 3221224592 3221223456 134528304 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1667 254 566 18 0 1649 0
vsize: 6668
[startup+680.029 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 9800
Raw data (stat): 9800 (Pueblo-v2) R 9799 21152 21151 0 -1 0 280 0 0 0 65856 2153 0 0 25 0 1 0 850775287 6828032 254 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1667 254 566 18 0 1649 0
vsize: 6668
[startup+690.029 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 9800
Raw data (stat): 9800 (Pueblo-v2) R 9799 21152 21151 0 -1 0 280 0 0 0 66830 2179 0 0 25 0 1 0 850775287 6828032 254 4294967295 134512640 134581267 3221224592 3221223504 134527539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1667 254 566 18 0 1649 0
vsize: 6668
[startup+700.029 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 9800
Raw data (stat): 9800 (Pueblo-v2) R 9799 21152 21151 0 -1 0 280 0 0 0 67798 2211 0 0 25 0 1 0 850775287 6828032 254 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1667 254 566 18 0 1649 0
vsize: 6668
[startup+710.03 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 9800
Raw data (stat): 9800 (Pueblo-v2) R 9799 21152 21151 0 -1 0 280 0 0 0 68767 2243 0 0 25 0 1 0 850775287 6828032 254 4294967295 134512640 134581267 3221224592 3221223456 134528243 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1667 254 566 18 0 1649 0
vsize: 6668
[startup+720.03 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 9800
Raw data (stat): 9800 (Pueblo-v2) R 9799 21152 21151 0 -1 0 280 0 0 0 69735 2274 0 0 25 0 1 0 850775287 6828032 254 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1667 254 566 18 0 1649 0
vsize: 6668
[startup+730.03 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 9800
Raw data (stat): 9800 (Pueblo-v2) R 9799 21152 21151 0 -1 0 280 0 0 0 70702 2308 0 0 25 0 1 0 850775287 6828032 254 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1667 254 566 18 0 1649 0
vsize: 6668
[startup+740.031 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 9800
Raw data (stat): 9800 (Pueblo-v2) R 9799 21152 21151 0 -1 0 280 0 0 0 71668 2342 0 0 25 0 1 0 850775287 6828032 254 4294967295 134512640 134581267 3221224592 3221223504 134527703 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1667 254 566 18 0 1649 0
vsize: 6668
[startup+750.03 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 9800
Raw data (stat): 9800 (Pueblo-v2) R 9799 21152 21151 0 -1 0 280 0 0 0 72629 2381 0 0 25 0 1 0 850775287 6828032 254 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1667 254 566 18 0 1649 0
vsize: 6668
[startup+760.031 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 9800
Raw data (stat): 9800 (Pueblo-v2) R 9799 21152 21151 0 -1 0 280 0 0 0 73597 2414 0 0 25 0 1 0 850775287 6828032 254 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1667 254 566 18 0 1649 0
vsize: 6668
[startup+767.19 s]
Raw data (loadavg): 0.99 0.98 0.96 1/53 9800
Raw data (stat): 9800 (Pueblo-v2) R 9799 21152 21151 0 -1 0 280 0 0 0 73597 2414 0 0 25 0 1 0 850775287 6828032 254 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1667 254 566 18 0 1649 0
vsize: 0

Child status: 30
Real time (s): 767.189
CPU time (s): 767.268
CPU user time (s): 742.865
CPU system time (s): 24.4033
CPU usage (%): 100.01
Max. virtual memory (Kb): 6668
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	1120
#### END VERIFIER DATA ####