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-stein45.opb
MD5SUM	34647f6a75058de4a92f0ff94f3c9005
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	30
Optimality of the best value was proved	NO
Number of terms in the objective function	45
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	45
Number of bits of the sum of numbers in the objective function	6
Biggest number in a constraint	22
Number of bits of the biggest number in a constraint	5
Biggest sum of numbers in a constraint	67
Number of bits of the biggest sum of numbers	7
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.01484
Number of variables	45
Total number of constraints	331
Number of constraints which are clauses	330
Number of constraints which are cardinality constraints (but not clauses)	1
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	45

Trace number 25145

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-17 02:24:02 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=5207 boxname=wulflinc31 idbench=401 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  34647f6a75058de4a92f0ff94f3c9005  /oldhome/oroussel/tmp/wulflinc31/normalized-stein45.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc31/normalized-stein45.opb
IDLAUNCH: 5207
/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:        764756 kB
Buffers:         52052 kB
Cached:         188416 kB
SwapCached:       1952 kB
Active:         204460 kB
Inactive:        44924 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        764504 kB
SwapTotal:     2097892 kB
SwapFree:      2095228 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5380 kB
Slab:            14632 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-17 02:32:43 (client local time) WITH STATUS 30 IN 520.852 SECONDS
stats: 5207 0 520.852 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/wulflinc31/normalized-stein45.opb
c #variables read: 45 - #constraints read: 332
c optimum objective found = 30
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 
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.93 0.98 0.97 2/55 20827
Raw data (stat): 20827 (runsolver) R 20826 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 766106038 1056768 100 4294967295 134512640 135381576 3221221696 3221216920 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+9.99967 s]
Raw data (loadavg): 0.94 0.98 0.97 2/55 20827
Raw data (stat): 20827 (Pueblo) R 20826 7876 7672 0 -1 0 306 0 0 0 989 7 0 0 25 0 1 0 766106038 6836224 283 4294967295 134512640 134581331 3221221792 3221220704 134527695 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1669 283 566 18 0 1651 0
vsize: 6676
[startup+20.0005 s]
Raw data (loadavg): 0.95 0.98 0.97 2/55 20827
Raw data (stat): 20827 (Pueblo) R 20826 7876 7672 0 -1 0 315 0 0 0 1985 11 0 0 25 0 1 0 766106038 6963200 292 4294967295 134512640 134581331 3221221792 3221220704 134527486 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1700 292 566 18 0 1682 0
vsize: 6800
[startup+30.0007 s]
Raw data (loadavg): 0.95 0.98 0.97 2/55 20827
Raw data (stat): 20827 (Pueblo) R 20826 7876 7672 0 -1 0 323 0 0 0 2980 16 0 0 25 0 1 0 766106038 6963200 300 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1700 300 566 18 0 1682 0
vsize: 6800
[startup+40.0014 s]
Raw data (loadavg): 0.96 0.98 0.97 2/55 20827
Raw data (stat): 20827 (Pueblo) R 20826 7876 7672 0 -1 0 328 0 0 0 3977 20 0 0 25 0 1 0 766106038 6963200 305 4294967295 134512640 134581331 3221221792 3221220700 134528050 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1700 305 566 18 0 1682 0
vsize: 6800
[startup+50.0023 s]
Raw data (loadavg): 0.97 0.98 0.97 2/55 20827
Raw data (stat): 20827 (Pueblo) R 20826 7876 7672 0 -1 0 329 0 0 0 4973 24 0 0 25 0 1 0 766106038 6963200 306 4294967295 134512640 134581331 3221221792 3221220704 134527454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1700 306 566 18 0 1682 0
vsize: 6800
[startup+60.0025 s]
Raw data (loadavg): 0.97 0.98 0.97 2/55 20827
Raw data (stat): 20827 (Pueblo) R 20826 7876 7672 0 -1 0 329 0 0 0 5970 28 0 0 25 0 1 0 766106038 6963200 306 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1700 306 566 18 0 1682 0
vsize: 6800
[startup+70.0032 s]
Raw data (loadavg): 0.97 0.98 0.97 2/55 20827
Raw data (stat): 20827 (Pueblo) R 20826 7876 7672 0 -1 0 334 0 0 0 6966 31 0 0 25 0 1 0 766106038 6963200 311 4294967295 134512640 134581331 3221221792 3221220704 134527510 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1700 311 566 18 0 1682 0
vsize: 6800
[startup+80.0031 s]
Raw data (loadavg): 0.98 0.98 0.97 2/55 20827
Raw data (stat): 20827 (Pueblo) R 20826 7876 7672 0 -1 0 336 0 0 0 7963 35 0 0 25 0 1 0 766106038 6963200 313 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1700 313 566 18 0 1682 0
vsize: 6800
[startup+90.0044 s]
Raw data (loadavg): 0.98 0.98 0.97 2/55 20827
Raw data (stat): 20827 (Pueblo) R 20826 7876 7672 0 -1 0 336 0 0 0 8960 37 0 0 25 0 1 0 766106038 6963200 313 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1700 313 566 18 0 1682 0
vsize: 6800
[startup+100.005 s]
Raw data (loadavg): 0.98 0.98 0.97 2/55 20827
Raw data (stat): 20827 (Pueblo) R 20826 7876 7672 0 -1 0 336 0 0 0 9958 40 0 0 25 0 1 0 766106038 6963200 313 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1700 313 566 18 0 1682 0
vsize: 6800
[startup+110.006 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 20827
Raw data (stat): 20827 (Pueblo) R 20826 7876 7672 0 -1 0 343 0 0 0 10955 44 0 0 25 0 1 0 766106038 7086080 320 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1730 320 566 18 0 1712 0
vsize: 6920
[startup+120.007 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 20827
Raw data (stat): 20827 (Pueblo) R 20826 7876 7672 0 -1 0 344 0 0 0 11951 47 0 0 25 0 1 0 766106038 7086080 321 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1730 321 566 18 0 1712 0
vsize: 6920
[startup+130.007 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 20827
Raw data (stat): 20827 (Pueblo) R 20826 7876 7672 0 -1 0 344 0 0 0 12948 51 0 0 25 0 1 0 766106038 7086080 321 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1730 321 566 18 0 1712 0
vsize: 6920
[startup+140.008 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 20827
Raw data (stat): 20827 (Pueblo) R 20826 7876 7672 0 -1 0 345 0 0 0 13944 55 0 0 25 0 1 0 766106038 7086080 322 4294967295 134512640 134581331 3221221792 3221220784 134560785 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1730 322 566 18 0 1712 0
vsize: 6920
[startup+150.008 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 20827
Raw data (stat): 20827 (Pueblo) R 20826 7876 7672 0 -1 0 345 0 0 0 14941 58 0 0 25 0 1 0 766106038 7086080 322 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1730 322 566 18 0 1712 0
vsize: 6920
[startup+160.008 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 20827
Raw data (stat): 20827 (Pueblo) R 20826 7876 7672 0 -1 0 345 0 0 0 15938 61 0 0 25 0 1 0 766106038 7086080 322 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1730 322 566 18 0 1712 0
vsize: 6920
[startup+170.008 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 20827
Raw data (stat): 20827 (Pueblo) R 20826 7876 7672 0 -1 0 353 0 0 0 16936 64 0 0 25 0 1 0 766106038 7086080 330 4294967295 134512640 134581331 3221221792 3221220704 134527504 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1730 330 566 18 0 1712 0
vsize: 6920
[startup+180.008 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 20827
Raw data (stat): 20827 (Pueblo) R 20826 7876 7672 0 -1 0 355 0 0 0 17932 67 0 0 25 0 1 0 766106038 7086080 332 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1730 332 566 18 0 1712 0
vsize: 6920
[startup+190.008 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 20827
Raw data (stat): 20827 (Pueblo) R 20826 7876 7672 0 -1 0 355 0 0 0 18929 70 0 0 25 0 1 0 766106038 7086080 332 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1730 332 566 18 0 1712 0
vsize: 6920
[startup+200.008 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 20827
Raw data (stat): 20827 (Pueblo) R 20826 7876 7672 0 -1 0 355 0 0 0 19925 75 0 0 25 0 1 0 766106038 7086080 332 4294967295 134512640 134581331 3221221792 3221220704 134527404 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1730 332 566 18 0 1712 0
vsize: 6920
[startup+210.009 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 20827
Raw data (stat): 20827 (Pueblo) R 20826 7876 7672 0 -1 0 356 0 0 0 20922 78 0 0 25 0 1 0 766106038 7086080 333 4294967295 134512640 134581331 3221221792 3221220656 134526940 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1730 333 566 18 0 1712 0
vsize: 6920
[startup+220.009 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 20827
Raw data (stat): 20827 (Pueblo) R 20826 7876 7672 0 -1 0 356 0 0 0 21918 82 0 0 25 0 1 0 766106038 7086080 333 4294967295 134512640 134581331 3221221792 3221220760 134527282 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1730 333 566 18 0 1712 0
vsize: 6920
[startup+230.009 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 20827
Raw data (stat): 20827 (Pueblo) R 20826 7876 7672 0 -1 0 357 0 0 0 22914 86 0 0 25 0 1 0 766106038 7086080 334 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1730 334 566 18 0 1712 0
vsize: 6920
[startup+240.01 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 20827
Raw data (stat): 20827 (Pueblo) R 20826 7876 7672 0 -1 0 359 0 0 0 23911 90 0 0 25 0 1 0 766106038 7086080 336 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1730 336 566 18 0 1712 0
vsize: 6920
[startup+250.011 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 20827
Raw data (stat): 20827 (Pueblo) R 20826 7876 7672 0 -1 0 359 0 0 0 24909 92 0 0 25 0 1 0 766106038 7086080 336 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1730 336 566 18 0 1712 0
vsize: 6920
[startup+260.011 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 20827
Raw data (stat): 20827 (Pueblo) R 20826 7876 7672 0 -1 0 366 0 0 0 25905 96 0 0 25 0 1 0 766106038 7086080 343 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1730 343 566 18 0 1712 0
vsize: 6920
[startup+270.011 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 20827
Raw data (stat): 20827 (Pueblo) R 20826 7876 7672 0 -1 0 368 0 0 0 26903 99 0 0 25 0 1 0 766106038 7086080 345 4294967295 134512640 134581331 3221221792 3221220612 1075289779 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1730 345 566 18 0 1712 0
vsize: 6920
[startup+280.011 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 20827
Raw data (stat): 20827 (Pueblo) R 20826 7876 7672 0 -1 0 368 0 0 0 27899 102 0 0 25 0 1 0 766106038 7086080 345 4294967295 134512640 134581331 3221221792 3221220704 134528088 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1730 345 566 18 0 1712 0
vsize: 6920
[startup+290.012 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 20827
Raw data (stat): 20827 (Pueblo) R 20826 7876 7672 0 -1 0 368 0 0 0 28896 106 0 0 25 0 1 0 766106038 7086080 345 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1730 345 566 18 0 1712 0
vsize: 6920
[startup+300.012 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 20827
Raw data (stat): 20827 (Pueblo) R 20826 7876 7672 0 -1 0 368 0 0 0 29893 109 0 0 25 0 1 0 766106038 7086080 345 4294967295 134512640 134581331 3221221792 3221220704 134527459 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1730 345 566 18 0 1712 0
vsize: 6920
[startup+310.012 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 20827
Raw data (stat): 20827 (Pueblo) R 20826 7876 7672 0 -1 0 368 0 0 0 30890 112 0 0 25 0 1 0 766106038 7086080 345 4294967295 134512640 134581331 3221221792 3221220704 134527537 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1730 345 566 18 0 1712 0
vsize: 6920
[startup+320.012 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 20827
Raw data (stat): 20827 (Pueblo) R 20826 7876 7672 0 -1 0 368 0 0 0 31887 115 0 0 25 0 1 0 766106038 7086080 345 4294967295 134512640 134581331 3221221792 3221220704 134527519 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1730 345 566 18 0 1712 0
vsize: 6920
[startup+330.012 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 20827
Raw data (stat): 20827 (Pueblo) R 20826 7876 7672 0 -1 0 368 0 0 0 32884 118 0 0 25 0 1 0 766106038 7086080 345 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1730 345 566 18 0 1712 0
vsize: 6920
[startup+340.012 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 20827
Raw data (stat): 20827 (Pueblo) R 20826 7876 7672 0 -1 0 370 0 0 0 33881 122 0 0 25 0 1 0 766106038 7213056 347 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1761 347 566 18 0 1743 0
vsize: 7044
[startup+350.013 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 20827
Raw data (stat): 20827 (Pueblo) R 20826 7876 7672 0 -1 0 370 0 0 0 34878 125 0 0 25 0 1 0 766106038 7213056 347 4294967295 134512640 134581331 3221221792 3221220704 134527692 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1761 347 566 18 0 1743 0
vsize: 7044
[startup+360.012 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 20827
Raw data (stat): 20827 (Pueblo) R 20826 7876 7672 0 -1 0 370 0 0 0 35875 128 0 0 25 0 1 0 766106038 7213056 347 4294967295 134512640 134581331 3221221792 3221220704 134527510 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1761 347 566 18 0 1743 0
vsize: 7044
[startup+370.012 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 20827
Raw data (stat): 20827 (Pueblo) R 20826 7876 7672 0 -1 0 370 0 0 0 36872 131 0 0 25 0 1 0 766106038 7213056 347 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1761 347 566 18 0 1743 0
vsize: 7044
[startup+380.012 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 20827
Raw data (stat): 20827 (Pueblo) R 20826 7876 7672 0 -1 0 370 0 0 0 37869 134 0 0 25 0 1 0 766106038 7213056 347 4294967295 134512640 134581331 3221221792 3221220656 134528428 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1761 347 566 18 0 1743 0
vsize: 7044
[startup+390.013 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 20827
Raw data (stat): 20827 (Pueblo) R 20826 7876 7672 0 -1 0 371 0 0 0 38865 138 0 0 25 0 1 0 766106038 7213056 348 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1761 348 566 18 0 1743 0
vsize: 7044
[startup+400.013 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 20827
Raw data (stat): 20827 (Pueblo) R 20826 7876 7672 0 -1 0 379 0 0 0 39862 142 0 0 25 0 1 0 766106038 7213056 356 4294967295 134512640 134581331 3221221792 3221220704 134527454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1761 356 566 18 0 1743 0
vsize: 7044
[startup+410.013 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 20827
Raw data (stat): 20827 (Pueblo) R 20826 7876 7672 0 -1 0 379 0 0 0 40859 145 0 0 25 0 1 0 766106038 7213056 356 4294967295 134512640 134581331 3221221792 3221220704 134527454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1761 356 566 18 0 1743 0
vsize: 7044
[startup+420.014 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 20827
Raw data (stat): 20827 (Pueblo) R 20826 7876 7672 0 -1 0 379 0 0 0 41856 148 0 0 25 0 1 0 766106038 7213056 356 4294967295 134512640 134581331 3221221792 3221220720 134519826 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1761 356 566 18 0 1743 0
vsize: 7044
[startup+430.014 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 20827
Raw data (stat): 20827 (Pueblo) R 20826 7876 7672 0 -1 0 379 0 0 0 42853 151 0 0 25 0 1 0 766106038 7213056 356 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1761 356 566 18 0 1743 0
vsize: 7044
[startup+440.015 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 20827
Raw data (stat): 20827 (Pueblo) R 20826 7876 7672 0 -1 0 379 0 0 0 43850 154 0 0 25 0 1 0 766106038 7213056 356 4294967295 134512640 134581331 3221221792 3221220704 134527451 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1761 356 566 18 0 1743 0
vsize: 7044
[startup+450.015 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 20827
Raw data (stat): 20827 (Pueblo) R 20826 7876 7672 0 -1 0 380 0 0 0 44846 158 0 0 25 0 1 0 766106038 7213056 357 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1761 357 566 18 0 1743 0
vsize: 7044
[startup+460.015 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 20827
Raw data (stat): 20827 (Pueblo) R 20826 7876 7672 0 -1 0 380 0 0 0 45842 162 0 0 25 0 1 0 766106038 7213056 357 4294967295 134512640 134581331 3221221792 3221220704 134527459 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1761 357 566 18 0 1743 0
vsize: 7044
[startup+470.015 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 20827
Raw data (stat): 20827 (Pueblo) R 20826 7876 7672 0 -1 0 380 0 0 0 46839 166 0 0 25 0 1 0 766106038 7213056 357 4294967295 134512640 134581331 3221221792 3221220704 134527513 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1761 357 566 18 0 1743 0
vsize: 7044
[startup+480.016 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 20827
Raw data (stat): 20827 (Pueblo) R 20826 7876 7672 0 -1 0 380 0 0 0 47836 169 0 0 25 0 1 0 766106038 7213056 357 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1761 357 566 18 0 1743 0
vsize: 7044
[startup+490.016 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 20827
Raw data (stat): 20827 (Pueblo) R 20826 7876 7672 0 -1 0 380 0 0 0 48832 173 0 0 25 0 1 0 766106038 7213056 357 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1761 357 566 18 0 1743 0
vsize: 7044
[startup+500.016 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 20827
Raw data (stat): 20827 (Pueblo) R 20826 7876 7672 0 -1 0 380 0 0 0 49829 177 0 0 25 0 1 0 766106038 7213056 357 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1761 357 566 18 0 1743 0
vsize: 7044
[startup+510.017 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 20827
Raw data (stat): 20827 (Pueblo) R 20826 7876 7672 0 -1 0 380 0 0 0 50826 180 0 0 25 0 1 0 766106038 7213056 357 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1761 357 566 18 0 1743 0
vsize: 7044
[startup+520.017 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 20827
Raw data (stat): 20827 (Pueblo) R 20826 7876 7672 0 -1 0 380 0 0 0 51823 183 0 0 25 0 1 0 766106038 7213056 357 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1761 357 566 18 0 1743 0
vsize: 7044
[startup+520.805 s]
Raw data (loadavg): 0.99 0.98 0.97 1/54 20827
Raw data (stat): 20827 (Pueblo) R 20826 7876 7672 0 -1 0 380 0 0 0 51823 183 0 0 25 0 1 0 766106038 7213056 357 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1761 357 566 18 0 1743 0
vsize: 0

Child status: 30
Real time (s): 520.804
CPU time (s): 520.852
CPU user time (s): 519.017
CPU system time (s): 1.83472
CPU usage (%): 100.009
Max. virtual memory (Kb): 7044
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	30
#### END VERIFIER DATA ####