PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-lseu.opb
MD5SUM	99657262afbbfce7034a3ec6b29d9b3b
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.02884
Number of variables	89
Total number of constraints	117
Number of constraints which are clauses	2
Number of constraints which are cardinality constraints (but not clauses)	104
Number of constraints which are nor clauses,nor cardinality constraints	11
Minimum length of a constraint	1
Maximum length of a constraint	47
Trace number 39226

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-03 00:02:58 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27295 boxname=wulflinc2 idbench=1423 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  99657262afbbfce7034a3ec6b29d9b3b  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-lseu.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-lseu.opb
IDLAUNCH: 27295
/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:        419456 kB
Buffers:         31132 kB
Cached:         561416 kB
SwapCached:       1160 kB
Active:          42708 kB
Inactive:       552340 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        419204 kB
SwapTotal:     2097136 kB
SwapFree:      2095024 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5052 kB
Slab:            14476 kB
Committed_AS:    71788 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-03 00:15:48 (client local time) WITH STATUS 30 IN 770.379 SECONDS
stats: 27295 0 770.379 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/wulflinc2/normalized-mps-v2-13-7-lseu.opb
c #variables read: 89 - #constraints read: 118
c optimum objective found = 1120
s OPTIMUM FOUND
v C101_bit0 C102_bit0 -C103_bit0 -C104_bit0 -C105_bit0 -C108_bit0 -C111_bit0 -C112_bit0 -C113_bit0 C114_bit0 -C115_bit0 -C116_bit0 -C117_bit0 -C118_bit0 -C119_bit0 -C120_bit0 -C121_bit0 -C122_bit0 -C123_bit0 -C124_bit0 -C125_bit0 -C126_bit0 C127_bit0 -C128_bit0 -C129_bit0 -C130_bit0 -C131_bit0 -C132_bit0 -C133_bit0 C134_bit0 -C135_bit0 -C136_bit0 -C137_bit0 -C138_bit0 C139_bit0 -C140_bit0 -C141_bit0 -C142_bit0 -C143_bit0 C144_bit0 -C145_bit0 -C146_bit0 -C147_bit0 -C148_bit0 -C149_bit0 -C150_bit0 C151_bit0 -C152_bit0 C153_bit0 -C154_bit0 -C155_bit0 -C156_bit0 -C157_bit0 -C158_bit0 -C159_bit0 -C160_bit0 -C161_bit0 -C162_bit0 -C163_bit0 C164_bit0 -C165_bit0 C166_bit0 -C167_bit0 -C168_bit0 -C169_bit0 -C170_bit0 -C171_bit0 -C172_bit0 -C173_bit0 -C174_bit0 -C175_bit0 -C176_bit0 -C177_bit0 -C178_bit0 -C179_bit0 -C180_bit0 -C181_bit0 -C182_bit0 -C183_bit0 -C184_bit0 -C185_bit0 C186_bit0 -C187_bit0 -C188_bit0 -C189_bit0 -C106_bit0 C107_bit0 -C109_bit0 -C110_bit0 
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.85 0.94 0.90 2/54 1284
Raw data (stat): 1284 (runsolver) R 1283 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 853959657 884736 94 4294967295 134512640 135332820 3221224464 3221219644 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.0004 s]
Raw data (loadavg): 0.87 0.94 0.90 2/54 1284
Raw data (stat): 1284 (Pueblo-v2) R 1283 31399 31398 0 -1 0 280 0 0 0 982 17 0 0 25 0 1 0 853959657 6823936 254 4294967295 134512640 134581267 3221224576 3221223488 134531434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 254 566 18 0 1648 0
vsize: 6664
[startup+20.0011 s]
Raw data (loadavg): 0.89 0.94 0.90 2/54 1284
Raw data (stat): 1284 (Pueblo-v2) R 1283 31399 31398 0 -1 0 284 0 0 0 1964 35 0 0 25 0 1 0 853959657 6823936 258 4294967295 134512640 134581267 3221224576 3221223368 1075288738 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 258 566 18 0 1648 0
vsize: 6664
[startup+30.0015 s]
Raw data (loadavg): 0.91 0.94 0.90 2/54 1284
Raw data (stat): 1284 (Pueblo-v2) R 1283 31399 31398 0 -1 0 286 0 0 0 2947 52 0 0 25 0 1 0 853959657 6823936 260 4294967295 134512640 134581267 3221224576 3221223504 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 260 566 18 0 1648 0
vsize: 6664
[startup+40.0015 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 1284
Raw data (stat): 1284 (Pueblo-v2) R 1283 31399 31398 0 -1 0 286 0 0 0 3931 69 0 0 25 0 1 0 853959657 6823936 260 4294967295 134512640 134581267 3221224576 3221223472 134517927 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 260 566 18 0 1648 0
vsize: 6664
[startup+50.0022 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 1284
Raw data (stat): 1284 (Pueblo-v2) R 1283 31399 31398 0 -1 0 291 0 0 0 4908 92 0 0 25 0 1 0 853959657 6823936 265 4294967295 134512640 134581267 3221224576 3221223440 134528216 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 265 566 18 0 1648 0
vsize: 6664
[startup+60.0015 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 1284
Raw data (stat): 1284 (Pueblo-v2) R 1283 31399 31398 0 -1 0 291 0 0 0 5885 115 0 0 25 0 1 0 853959657 6823936 265 4294967295 134512640 134581267 3221224576 3221223504 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1666 265 566 18 0 1648 0
vsize: 6664
[startup+70.0025 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 1284
Raw data (stat): 1284 (Pueblo-v2) R 1283 31399 31398 0 -1 0 292 0 0 0 6858 142 0 0 25 0 1 0 853959657 6823936 266 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1666 266 566 18 0 1648 0
vsize: 6664
[startup+80.0032 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 1284
Raw data (stat): 1284 (Pueblo-v2) R 1283 31399 31398 0 -1 0 302 0 0 0 7838 162 0 0 25 0 1 0 853959657 6823936 276 4294967295 134512640 134581267 3221224576 3221223440 134528226 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1666 276 566 18 0 1648 0
vsize: 6664
[startup+90.0026 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 1284
Raw data (stat): 1284 (Pueblo-v2) R 1283 31399 31398 0 -1 0 302 0 0 0 8819 181 0 0 25 0 1 0 853959657 6823936 276 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1666 276 566 18 0 1648 0
vsize: 6664
[startup+100.003 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 1284
Raw data (stat): 1284 (Pueblo-v2) R 1283 31399 31398 0 -1 0 303 0 0 0 9799 201 0 0 25 0 1 0 853959657 6823936 277 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1666 277 566 18 0 1648 0
vsize: 6664
[startup+110.003 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 1284
Raw data (stat): 1284 (Pueblo-v2) R 1283 31399 31398 0 -1 0 304 0 0 0 10779 221 0 0 25 0 1 0 853959657 6823936 278 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1666 278 566 18 0 1648 0
vsize: 6664
[startup+120.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 1284
Raw data (stat): 1284 (Pueblo-v2) R 1283 31399 31398 0 -1 0 306 0 0 0 11757 244 0 0 25 0 1 0 853959657 6823936 280 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1666 280 566 18 0 1648 0
vsize: 6664
[startup+130.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 1284
Raw data (stat): 1284 (Pueblo-v2) R 1283 31399 31398 0 -1 0 306 0 0 0 12735 266 0 0 25 0 1 0 853959657 6823936 280 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1666 280 566 18 0 1648 0
vsize: 6664
[startup+140.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 1284
Raw data (stat): 1284 (Pueblo-v2) R 1283 31399 31398 0 -1 0 306 0 0 0 13711 290 0 0 25 0 1 0 853959657 6823936 280 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1666 280 566 18 0 1648 0
vsize: 6664
[startup+150.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 1284
Raw data (stat): 1284 (Pueblo-v2) R 1283 31399 31398 0 -1 0 306 0 0 0 14681 320 0 0 25 0 1 0 853959657 6823936 280 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1666 280 566 18 0 1648 0
vsize: 6664
[startup+160.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 1284
Raw data (stat): 1284 (Pueblo-v2) R 1283 31399 31398 0 -1 0 307 0 0 0 15652 349 0 0 25 0 1 0 853959657 6823936 281 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1666 281 566 18 0 1648 0
vsize: 6664
[startup+170.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 1284
Raw data (stat): 1284 (Pueblo-v2) R 1283 31399 31398 0 -1 0 307 0 0 0 16618 383 0 0 25 0 1 0 853959657 6823936 281 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1666 281 566 18 0 1648 0
vsize: 6664
[startup+180.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 1284
Raw data (stat): 1284 (Pueblo-v2) R 1283 31399 31398 0 -1 0 307 0 0 0 17600 402 0 0 25 0 1 0 853959657 6823936 281 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1666 281 566 18 0 1648 0
vsize: 6664
[startup+190.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 1284
Raw data (stat): 1284 (Pueblo-v2) R 1283 31399 31398 0 -1 0 308 0 0 0 18579 423 0 0 25 0 1 0 853959657 6946816 282 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 282 566 18 0 1678 0
vsize: 6784
[startup+200.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 1287
Raw data (stat): 1284 (Pueblo-v2) R 1283 31399 31398 0 -1 0 308 0 0 0 19555 447 0 0 25 0 1 0 853959657 6946816 282 4294967295 134512640 134581267 3221224576 3221223440 134528235 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 282 566 18 0 1678 0
vsize: 6784
[startup+210.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 1287
Raw data (stat): 1284 (Pueblo-v2) R 1283 31399 31398 0 -1 0 308 0 0 0 20525 478 0 0 25 0 1 0 853959657 6946816 282 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 282 566 18 0 1678 0
vsize: 6784
[startup+220.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 1287
Raw data (stat): 1284 (Pueblo-v2) R 1283 31399 31398 0 -1 0 308 0 0 0 21491 512 0 0 25 0 1 0 853959657 6946816 282 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 282 566 18 0 1678 0
vsize: 6784
[startup+230.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 1287
Raw data (stat): 1284 (Pueblo-v2) R 1283 31399 31398 0 -1 0 308 0 0 0 22462 541 0 0 25 0 1 0 853959657 6946816 282 4294967295 134512640 134581267 3221224576 3221223440 134528243 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 282 566 18 0 1678 0
vsize: 6784
[startup+240.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 1287
Raw data (stat): 1284 (Pueblo-v2) R 1283 31399 31398 0 -1 0 308 0 0 0 23425 578 0 0 25 0 1 0 853959657 6946816 282 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 282 566 18 0 1678 0
vsize: 6784
[startup+250.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 1287
Raw data (stat): 1284 (Pueblo-v2) R 1283 31399 31398 0 -1 0 308 0 0 0 24396 607 0 0 25 0 1 0 853959657 6946816 282 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 282 566 18 0 1678 0
vsize: 6784
[startup+260.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1287
Raw data (stat): 1284 (Pueblo-v2) R 1283 31399 31398 0 -1 0 309 0 0 0 25367 636 0 0 25 0 1 0 853959657 6946816 283 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 283 566 18 0 1678 0
vsize: 6784
[startup+270.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1287
Raw data (stat): 1284 (Pueblo-v2) R 1283 31399 31398 0 -1 0 310 0 0 0 26339 665 0 0 25 0 1 0 853959657 6946816 284 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 284 566 18 0 1678 0
vsize: 6784
[startup+280.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1287
Raw data (stat): 1284 (Pueblo-v2) R 1283 31399 31398 0 -1 0 310 0 0 0 27310 693 0 0 25 0 1 0 853959657 6946816 284 4294967295 134512640 134581267 3221224576 3221223472 134517924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 284 566 18 0 1678 0
vsize: 6784
[startup+290.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1287
Raw data (stat): 1284 (Pueblo-v2) R 1283 31399 31398 0 -1 0 310 0 0 0 28280 724 0 0 25 0 1 0 853959657 6946816 284 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 284 566 18 0 1678 0
vsize: 6784
[startup+300.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1287
Raw data (stat): 1284 (Pueblo-v2) R 1283 31399 31398 0 -1 0 310 0 0 0 29252 752 0 0 25 0 1 0 853959657 6946816 284 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 284 566 18 0 1678 0
vsize: 6784
[startup+310.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1287
Raw data (stat): 1284 (Pueblo-v2) R 1283 31399 31398 0 -1 0 311 0 0 0 30217 788 0 0 25 0 1 0 853959657 6946816 285 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 285 566 18 0 1678 0
vsize: 6784
[startup+320.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1287
Raw data (stat): 1284 (Pueblo-v2) R 1283 31399 31398 0 -1 0 311 0 0 0 31183 821 0 0 25 0 1 0 853959657 6946816 285 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 285 566 18 0 1678 0
vsize: 6784
[startup+330.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1287
Raw data (stat): 1284 (Pueblo-v2) R 1283 31399 31398 0 -1 0 313 0 0 0 32154 851 0 0 25 0 1 0 853959657 6946816 287 4294967295 134512640 134581267 3221224576 3221223440 134528229 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 287 566 18 0 1678 0
vsize: 6784
[startup+340.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1287
Raw data (stat): 1284 (Pueblo-v2) R 1283 31399 31398 0 -1 0 313 0 0 0 33118 886 0 0 25 0 1 0 853959657 6946816 287 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 287 566 18 0 1678 0
vsize: 6784
[startup+350.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1287
Raw data (stat): 1284 (Pueblo-v2) R 1283 31399 31398 0 -1 0 315 0 0 0 34086 919 0 0 25 0 1 0 853959657 6946816 289 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 289 566 18 0 1678 0
vsize: 6784
[startup+360.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1287
Raw data (stat): 1284 (Pueblo-v2) R 1283 31399 31398 0 -1 0 315 0 0 0 35058 948 0 0 25 0 1 0 853959657 6946816 289 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 289 566 18 0 1678 0
vsize: 6784
[startup+370.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1287
Raw data (stat): 1284 (Pueblo-v2) R 1283 31399 31398 0 -1 0 315 0 0 0 36032 973 0 0 25 0 1 0 853959657 6946816 289 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 289 566 18 0 1678 0
vsize: 6784
[startup+380.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1287
Raw data (stat): 1284 (Pueblo-v2) R 1283 31399 31398 0 -1 0 315 0 0 0 37006 999 0 0 25 0 1 0 853959657 6946816 289 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 289 566 18 0 1678 0
vsize: 6784
[startup+390.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1287
Raw data (stat): 1284 (Pueblo-v2) R 1283 31399 31398 0 -1 0 316 0 0 0 37981 1025 0 0 25 0 1 0 853959657 6946816 290 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 290 566 18 0 1678 0
vsize: 6784
[startup+400.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1287
Raw data (stat): 1284 (Pueblo-v2) R 1283 31399 31398 0 -1 0 316 0 0 0 38951 1055 0 0 25 0 1 0 853959657 6946816 290 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 290 566 18 0 1678 0
vsize: 6784
[startup+410.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1287
Raw data (stat): 1284 (Pueblo-v2) R 1283 31399 31398 0 -1 0 316 0 0 0 39923 1083 0 0 25 0 1 0 853959657 6946816 290 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 290 566 18 0 1678 0
vsize: 6784
[startup+420.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1287
Raw data (stat): 1284 (Pueblo-v2) R 1283 31399 31398 0 -1 0 316 0 0 0 40893 1113 0 0 25 0 1 0 853959657 6946816 290 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 290 566 18 0 1678 0
vsize: 6784
[startup+430.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1287
Raw data (stat): 1284 (Pueblo-v2) R 1283 31399 31398 0 -1 0 316 0 0 0 41870 1137 0 0 25 0 1 0 853959657 6946816 290 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 290 566 18 0 1678 0
vsize: 6784
[startup+440.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1287
Raw data (stat): 1284 (Pueblo-v2) R 1283 31399 31398 0 -1 0 316 0 0 0 42839 1168 0 0 25 0 1 0 853959657 6946816 290 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 290 566 18 0 1678 0
vsize: 6784
[startup+450.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1287
Raw data (stat): 1284 (Pueblo-v2) R 1283 31399 31398 0 -1 0 316 0 0 0 43811 1196 0 0 25 0 1 0 853959657 6946816 290 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 290 566 18 0 1678 0
vsize: 6784
[startup+460.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1287
Raw data (stat): 1284 (Pueblo-v2) R 1283 31399 31398 0 -1 0 316 0 0 0 44779 1228 0 0 25 0 1 0 853959657 6946816 290 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 290 566 18 0 1678 0
vsize: 6784
[startup+470.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1287
Raw data (stat): 1284 (Pueblo-v2) R 1283 31399 31398 0 -1 0 316 0 0 0 45750 1257 0 0 25 0 1 0 853959657 6946816 290 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 290 566 18 0 1678 0
vsize: 6784
[startup+480.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1287
Raw data (stat): 1284 (Pueblo-v2) R 1283 31399 31398 0 -1 0 316 0 0 0 46719 1289 0 0 25 0 1 0 853959657 6946816 290 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 290 566 18 0 1678 0
vsize: 6784
[startup+490.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1287
Raw data (stat): 1284 (Pueblo-v2) R 1283 31399 31398 0 -1 0 316 0 0 0 47686 1322 0 0 25 0 1 0 853959657 6946816 290 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 290 566 18 0 1678 0
vsize: 6784
[startup+500.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1287
Raw data (stat): 1284 (Pueblo-v2) R 1283 31399 31398 0 -1 0 317 0 0 0 48656 1352 0 0 25 0 1 0 853959657 6946816 291 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 291 566 18 0 1678 0
vsize: 6784
[startup+510.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1287
Raw data (stat): 1284 (Pueblo-v2) R 1283 31399 31398 0 -1 0 317 0 0 0 49627 1382 0 0 25 0 1 0 853959657 6946816 291 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 291 566 18 0 1678 0
vsize: 6784
[startup+520.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1287
Raw data (stat): 1284 (Pueblo-v2) R 1283 31399 31398 0 -1 0 317 0 0 0 50597 1411 0 0 25 0 1 0 853959657 6946816 291 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 291 566 18 0 1678 0
vsize: 6784
[startup+530.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1287
Raw data (stat): 1284 (Pueblo-v2) R 1283 31399 31398 0 -1 0 317 0 0 0 51564 1445 0 0 25 0 1 0 853959657 6946816 291 4294967295 134512640 134581267 3221224576 3221223520 134558830 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 291 566 18 0 1678 0
vsize: 6784
[startup+540.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1287
Raw data (stat): 1284 (Pueblo-v2) R 1283 31399 31398 0 -1 0 318 0 0 0 52538 1470 0 0 25 0 1 0 853959657 6946816 292 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 292 566 18 0 1678 0
vsize: 6784
[startup+550.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1287
Raw data (stat): 1284 (Pueblo-v2) R 1283 31399 31398 0 -1 0 319 0 0 0 53512 1497 0 0 25 0 1 0 853959657 6946816 293 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 293 566 18 0 1678 0
vsize: 6784
[startup+560.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1287
Raw data (stat): 1284 (Pueblo-v2) R 1283 31399 31398 0 -1 0 319 0 0 0 54485 1524 0 0 25 0 1 0 853959657 6946816 293 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 293 566 18 0 1678 0
vsize: 6784
[startup+570.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1287
Raw data (stat): 1284 (Pueblo-v2) R 1283 31399 31398 0 -1 0 321 0 0 0 55462 1548 0 0 25 0 1 0 853959657 6946816 295 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 295 566 18 0 1678 0
vsize: 6784
[startup+580.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1287
Raw data (stat): 1284 (Pueblo-v2) R 1283 31399 31398 0 -1 0 321 0 0 0 56437 1572 0 0 25 0 1 0 853959657 6946816 295 4294967295 134512640 134581267 3221224576 3221223504 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 295 566 18 0 1678 0
vsize: 6784
[startup+590.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1287
Raw data (stat): 1284 (Pueblo-v2) R 1283 31399 31398 0 -1 0 321 0 0 0 57414 1596 0 0 25 0 1 0 853959657 6946816 295 4294967295 134512640 134581267 3221224576 3221223440 134528240 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 295 566 18 0 1678 0
vsize: 6784
[startup+600.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1287
Raw data (stat): 1284 (Pueblo-v2) R 1283 31399 31398 0 -1 0 321 0 0 0 58387 1623 0 0 25 0 1 0 853959657 6946816 295 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 295 566 18 0 1678 0
vsize: 6784
[startup+610.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1287
Raw data (stat): 1284 (Pueblo-v2) R 1283 31399 31398 0 -1 0 321 0 0 0 59362 1648 0 0 25 0 1 0 853959657 6946816 295 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 295 566 18 0 1678 0
vsize: 6784
[startup+620.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1287
Raw data (stat): 1284 (Pueblo-v2) R 1283 31399 31398 0 -1 0 321 0 0 0 60337 1673 0 0 25 0 1 0 853959657 6946816 295 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 295 566 18 0 1678 0
vsize: 6784
[startup+630.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1287
Raw data (stat): 1284 (Pueblo-v2) R 1283 31399 31398 0 -1 0 321 0 0 0 61310 1701 0 0 25 0 1 0 853959657 6946816 295 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 295 566 18 0 1678 0
vsize: 6784
[startup+640.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1287
Raw data (stat): 1284 (Pueblo-v2) R 1283 31399 31398 0 -1 0 321 0 0 0 62286 1725 0 0 25 0 1 0 853959657 6946816 295 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 295 566 18 0 1678 0
vsize: 6784
[startup+650.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1287
Raw data (stat): 1284 (Pueblo-v2) R 1283 31399 31398 0 -1 0 321 0 0 0 63263 1748 0 0 25 0 1 0 853959657 6946816 295 4294967295 134512640 134581267 3221224576 3221223568 134561067 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 295 566 18 0 1678 0
vsize: 6784
[startup+660.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1287
Raw data (stat): 1284 (Pueblo-v2) R 1283 31399 31398 0 -1 0 321 0 0 0 64236 1775 0 0 25 0 1 0 853959657 6946816 295 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 295 566 18 0 1678 0
vsize: 6784
[startup+670.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1287
Raw data (stat): 1284 (Pueblo-v2) R 1283 31399 31398 0 -1 0 321 0 0 0 65216 1795 0 0 25 0 1 0 853959657 6946816 295 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 295 566 18 0 1678 0
vsize: 6784
[startup+680.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1287
Raw data (stat): 1284 (Pueblo-v2) R 1283 31399 31398 0 -1 0 322 0 0 0 66194 1817 0 0 25 0 1 0 853959657 6946816 296 4294967295 134512640 134581267 3221224576 3221223520 134559432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 296 566 18 0 1678 0
vsize: 6784
[startup+690.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1287
Raw data (stat): 1284 (Pueblo-v2) R 1283 31399 31398 0 -1 0 322 0 0 0 67170 1842 0 0 25 0 1 0 853959657 6946816 296 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 296 566 18 0 1678 0
vsize: 6784
[startup+700.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1287
Raw data (stat): 1284 (Pueblo-v2) R 1283 31399 31398 0 -1 0 322 0 0 0 68144 1868 0 0 25 0 1 0 853959657 6946816 296 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 296 566 18 0 1678 0
vsize: 6784
[startup+710.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1287
Raw data (stat): 1284 (Pueblo-v2) R 1283 31399 31398 0 -1 0 322 0 0 0 69118 1894 0 0 25 0 1 0 853959657 6946816 296 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 296 566 18 0 1678 0
vsize: 6784
[startup+720.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1287
Raw data (stat): 1284 (Pueblo-v2) R 1283 31399 31398 0 -1 0 322 0 0 0 70095 1918 0 0 25 0 1 0 853959657 6946816 296 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 296 566 18 0 1678 0
vsize: 6784
[startup+730.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1287
Raw data (stat): 1284 (Pueblo-v2) R 1283 31399 31398 0 -1 0 322 0 0 0 71069 1943 0 0 25 0 1 0 853959657 6946816 296 4294967295 134512640 134581267 3221224576 3221223552 134560672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 296 566 18 0 1678 0
vsize: 6784
[startup+740.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1287
Raw data (stat): 1284 (Pueblo-v2) R 1283 31399 31398 0 -1 0 322 0 0 0 72043 1969 0 0 25 0 1 0 853959657 6946816 296 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 296 566 18 0 1678 0
vsize: 6784
[startup+750.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1287
Raw data (stat): 1284 (Pueblo-v2) R 1283 31399 31398 0 -1 0 322 0 0 0 73022 1991 0 0 25 0 1 0 853959657 6946816 296 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 296 566 18 0 1678 0
vsize: 6784
[startup+760.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1287
Raw data (stat): 1284 (Pueblo-v2) R 1283 31399 31398 0 -1 0 322 0 0 0 73996 2017 0 0 25 0 1 0 853959657 6946816 296 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 296 566 18 0 1678 0
vsize: 6784
[startup+770.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1287
Raw data (stat): 1284 (Pueblo-v2) R 1283 31399 31398 0 -1 0 322 0 0 0 74967 2046 0 0 25 0 1 0 853959657 6946816 296 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 296 566 18 0 1678 0
vsize: 6784
[startup+770.254 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 1287
Raw data (stat): 1284 (Pueblo-v2) R 1283 31399 31398 0 -1 0 322 0 0 0 74967 2046 0 0 25 0 1 0 853959657 6946816 296 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1696 296 566 18 0 1678 0
vsize: 0

Child status: 30
Real time (s): 770.253
CPU time (s): 770.379
CPU user time (s): 749.9
CPU system time (s): 20.4789
CPU usage (%): 100.016
Max. virtual memory (Kb): 6784
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	1120
#### END VERIFIER DATA ####