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-mod008.opb
MD5SUM	581d778a36086562107993896110e0a2
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	307
Optimality of the best value was proved	NO
Number of terms in the objective function	319
Biggest coefficient in the objective function	87
Number of bits for the biggest coefficient in the objective function	7
Sum of the numbers in the objective function	23554
Number of bits of the sum of numbers in the objective function	15
Biggest number in a constraint	22000
Number of bits of the biggest number in a constraint	15
Biggest sum of numbers in a constraint	1027256
Number of bits of the biggest sum of numbers	20
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.02084
Number of variables	319
Total number of constraints	325
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	319
Number of constraints which are nor clauses,nor cardinality constraints	6
Minimum length of a constraint	1
Maximum length of a constraint	231

Trace number 27045

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc23 THE 2005-05-24 19:04:17 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=18617 boxname=wulflinc23 idbench=1433 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  581d778a36086562107993896110e0a2  /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-13-7-mod008.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-13-7-mod008.opb
IDLAUNCH: 18617
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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	: 3
cpu MHz		: 451.037
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:        834860 kB
Buffers:         35592 kB
Cached:         142652 kB
SwapCached:        664 kB
Active:          73500 kB
Inactive:       107276 kB
HighTotal:      131008 kB
HighFree:         1960 kB
LowTotal:       903652 kB
LowFree:        832900 kB
SwapTotal:     2097136 kB
SwapFree:      2096032 kB
Dirty:             340 kB
Writeback:           0 kB
Mapped:           5652 kB
Slab:            13484 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 19:12:57 (client local time) WITH STATUS 30 IN 519.785 SECONDS
stats: 18617 0 519.785 30
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 319 variables and 6 constraints.
c After prepocess the problem consists of 319 variables and 6 constraints.
c preprocess terminated 0.257 s
c Initial Lower Bound: 291
c Lower Bound Elapsed time: 0.0175
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 378 @ 0.393
c NEW SOLUTION FOUND: 327 @ 0.652
c NEW SOLUTION FOUND: 326 @ 9.974
c NEW SOLUTION FOUND: 325 @ 10.362
c NEW SOLUTION FOUND: 308 @ 77.888
c NEW SOLUTION FOUND: 307 @ 210.641
s OPTIMUM FOUND
v -C2_0x2e__bit0 -C3_0x2e__bit0 C4_0x2e__bit0 -C5_0x2e__bit0 -C6_0x2e__bit0 -C7_0x2e__bit0 -C8_0x2e__bit0 -C9_0x2e__bit0 -C10_0x2e__bit0 -C11_0x2e__bit0 -C12_0x2e__bit0 -C13_0x2e__bit0 -C14_0x2e__bit0 -C15_0x2e__bit0 -C16_0x2e__bit0 -C17_0x2e__bit0 -C18_0x2e__bit0 -C19_0x2e__bit0 -C20_0x2e__bit0 -C21_0x2e__bit0 -C22_0x2e__bit0 -C23_0x2e__bit0 -C24_0x2e__bit0 -C25_0x2e__bit0 -C26_0x2e__bit0 -C27_0x2e__bit0 -C28_0x2e__bit0 -C29_0x2e__bit0 -C30_0x2e__bit0 -C31_0x2e__bit0 -C32_0x2e__bit0 -C33_0x2e__bit0 -C34_0x2e__bit0 -C35_0x2e__bit0 -C36_0x2e__bit0 -C37_0x2e__bit0 -C38_0x2e__bit0 -C39_0x2e__bit0 -C40_0x2e__bit0 -C41_0x2e__bit0 -C42_0x2e__bit0 -C43_0x2e__bit0 -C44_0x2e__bit0 -C45_0x2e__bit0 -C46_0x2e__bit0 -C47_0x2e__bit0 -C48_0x2e__bit0 -C49_0x2e__bit0 -C50_0x2e__bit0 -C51_0x2e__bit0 -C52_0x2e__bit0 -C53_0x2e__bit0 -C54_0x2e__bit0 -C55_0x2e__bit0 -C56_0x2e__bit0 -C57_0x2e__bit0 -C58_0x2e__bit0 -C59_0x2e__bit0 -C60_0x2e__bit0 C61_0x2e__bit0 -C62_0x2e__bit0 -C63_0x2e__bit0 -C64_0x2e__bit0 -C65_0x2e__bit0 -C66_0x2e__bit0 -C67_0x2e__bit0 -C68_0x2e__bit0 -C69_0x2e__bit0 -C70_0x2e__bit0 C71_0x2e__bit0 -C72_0x2e__bit0 -C73_0x2e__bit0 -C74_0x2e__bit0 -C75_0x2e__bit0 -C76_0x2e__bit0 -C77_0x2e__bit0 -C78_0x2e__bit0 -C79_0x2e__bit0 -C80_0x2e__bit0 -C81_0x2e__bit0 -C82_0x2e__bit0 -C83_0x2e__bit0 -C84_0x2e__bit0 -C85_0x2e__bit0 -C86_0x2e__bit0 -C87_0x2e__bit0 -C88_0x2e__bit0 -C89_0x2e__bit0 -C90_0x2e__bit0 -C91_0x2e__bit0 -C92_0x2e__bit0 -C93_0x2e__bit0 -C94_0x2e__bit0 -C95_0x2e__bit0 -C96_0x2e__bit0 -C97_0x2e__bit0 -C98_0x2e__bit0 -C99_0x2e__bit0 -C100_0x2e__bit0 -C101_0x2e__bit0 -C102_0x2e__bit0 -C103_0x2e__bit0 -C104_0x2e__bit0 -C105_0x2e__bit0 -C106_0x2e__bit0 -C107_0x2e__bit0 -C108_0x2e__bit0 -C109_0x2e__bit0 -C110_0x2e__bit0 -C111_0x2e__bit0 -C112_0x2e__bit0 -C113_0x2e__bit0 -C114_0x2e__bit0 -C115_0x2e__bit0 -C116_0x2e__bit0 -C117_0x2e__bit0 C118_0x2e__bit0 -C119_0x2e__bit0 -C120_0x2e__bit0 -C121_0x2e__bit0 -C122_0x2e__bit0 -C123_0x2e__bit0 -C124_0x2e__bit0 C125_0x2e__bit0 -C126_0x2e__bit0 -C127_0x2e__bit0 -C128_0x2e__bit0 -C129_0x2e__bit0 -C130_0x2e__bit0 -C131_0x2e__bit0 -C132_0x2e__bit0 -C133_0x2e__bit0 -C134_0x2e__bit0 -C135_0x2e__bit0 -C136_0x2e__bit0 -C137_0x2e__bit0 -C138_0x2e__bit0 -C139_0x2e__bit0 -C140_0x2e__bit0 -C141_0x2e__bit0 -C142_0x2e__bit0 -C143_0x2e__bit0 -C144_0x2e__bit0 -C145_0x2e__bit0 -C146_0x2e__bit0 -C147_0x2e__bit0 -C148_0x2e__bit0 -C149_0x2e__bit0 -C150_0x2e__bit0 -C151_0x2e__bit0 -C152_0x2e__bit0 -C153_0x2e__bit0 -C154_0x2e__bit0 -C155_0x2e__bit0 -C156_0x2e__bit0 -C157_0x2e__bit0 -C158_0x2e__bit0 -C159_0x2e__bit0 -C160_0x2e__bit0 -C161_0x2e__bit0 -C162_0x2e__bit0 -C163_0x2e__bit0 -C164_0x2e__bit0 -C165_0x2e__bit0 -C166_0x2e__bit0 -C167_0x2e__bit0 -C168_0x2e__bit0 -C169_0x2e__bit0 -C170_0x2e__bit0 -C171_0x2e__bit0 -C172_0x2e__bit0 -C173_0x2e__bit0 -C174_0x2e__bit0 -C175_0x2e__bit0 -C176_0x2e__bit0 -C177_0x2e__bit0 -C178_0x2e__bit0 -C179_0x2e__bit0 -C180_0x2e__bit0 -C181_0x2e__bit0 -C182_0x2e__bit0 -C183_0x2e__bit0 -C184_0x2e__bit0 -C185_0x2e__bit0 -C186_0x2e__bit0 -C187_0x2e__bit0 -C188_0x2e__bit0 -C189_0x2e__bit0 -C190_0x2e__bit0 -C191_0x2e__bit0 -C192_0x2e__bit0 -C193_0x2e__bit0 -C194_0x2e__bit0 -C195_0x2e__bit0 -C196_0x2e__bit0 -C197_0x2e__bit0 -C198_0x2e__bit0 -C199_0x2e__bit0 -C200_0x2e__bit0 -C201_0x2e__bit0 -C202_0x2e__bit0 -C203_0x2e__bit0 -C204_0x2e__bit0 -C205_0x2e__bit0 -C206_0x2e__bit0 -C207_0x2e__bit0 -C208_0x2e__bit0 -C209_0x2e__bit0 -C210_0x2e__bit0 -C211_0x2e__bit0 -C212_0x2e__bit0 -C213_0x2e__bit0 -C214_0x2e__bit0 -C215_0x2e__bit0 -C216_0x2e__bit0 -C217_0x2e__bit0 -C218_0x2e__bit0 -C219_0x2e__bit0 -C220_0x2e__bit0 -C221_0x2e__bit0 -C222_0x2e__bit0 -C223_0x2e__bit0 -C224_0x2e__bit0 -C225_0x2e__bit0 -C226_0x2e__bit0 -C227_0x2e__bit0 -C228_0x2e__bit0 -C229_0x2e__bit0 -C230_0x2e__bit0 -C231_0x2e__bit0 -C232_0x2e__bit0 -C233_0x2e__bit0 -C234_0x2e__bit0 -C235_0x2e__bit0 -C236_0x2e__bit0 -C237_0x2e__bit0 -C238_0x2e__bit0 -C239_0x2e__bit0 -C240_0x2e__bit0 -C241_0x2e__bit0 -C242_0x2e__bit0 -C243_0x2e__bit0 -C244_0x2e__bit0 -C245_0x2e__bit0 -C246_0x2e__bit0 -C247_0x2e__bit0 -C248_0x2e__bit0 -C249_0x2e__bit0 -C250_0x2e__bit0 -C251_0x2e__bit0 -C252_0x2e__bit0 -C253_0x2e__bit0 -C254_0x2e__bit0 -C255_0x2e__bit0 -C256_0x2e__bit0 -C257_0x2e__bit0 -C258_0x2e__bit0 -C259_0x2e__bit0 -C260_0x2e__bit0 -C261_0x2e__bit0 -C262_0x2e__bit0 -C263_0x2e__bit0 -C264_0x2e__bit0 -C265_0x2e__bit0 -C266_0x2e__bit0 -C267_0x2e__bit0 -C268_0x2e__bit0 -C269_0x2e__bit0 -C270_0x2e__bit0 -C271_0x2e__bit0 -C272_0x2e__bit0 -C273_0x2e__bit0 -C274_0x2e__bit0 -C275_0x2e__bit0 -C276_0x2e__bit0 -C277_0x2e__bit0 -C278_0x2e__bit0 -C279_0x2e__bit0 -C280_0x2e__bit0 -C281_0x2e__bit0 -C282_0x2e__bit0 -C283_0x2e__bit0 -C284_0x2e__bit0 -C285_0x2e__bit0 -C286_0x2e__bit0 -C287_0x2e__bit0 -C288_0x2e__bit0 -C289_0x2e__bit0 -C290_0x2e__bit0 -C291_0x2e__bit0 -C292_0x2e__bit0 -C293_0x2e__bit0 -C294_0x2e__bit0 -C295_0x2e__bit0 -C296_0x2e__bit0 -C297_0x2e__bit0 -C298_0x2e__bit0 -C299_0x2e__bit0 -C300_0x2e__bit0 -C301_0x2e__bit0 -C302_0x2e__bit0 -C303_0x2e__bit0 -C304_0x2e__bit0 -C305_0x2e__bit0 -C306_0x2e__bit0 -C307_0x2e__bit0 -C308_0x2e__bit0 -C309_0x2e__bit0 -C310_0x2e__bit0 -C311_0x2e__bit0 -C312_0x2e__bit0 -C313_0x2e__bit0 -C314_0x2e__bit0 -C315_0x2e__bit0 -C316_0x2e__bit0 -C317_0x2e__bit0 -C318_0x2e__bit0 -C319_0x2e__bit0 -C320_0x2e__bit0 
c Exit Code: 30
c Total time: 519.717 s
#### 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.91 0.95 0.92 2/54 8739
Raw data (stat): 8739 (runsolver) R 8738 5562 5561 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 832616873 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.99986 s]
Raw data (loadavg): 0.93 0.95 0.92 2/54 8739
Raw data (stat): 8739 (bsolo_lpr) R 8738 5562 5561 0 -1 0 6447 0 0 0 969 28 0 0 25 0 1 0 832616873 15839232 3176 4294967295 134512640 134714508 3221224592 3221222512 1075799712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3867 3176 1111 63 0 3804 0
vsize: 15468
[startup+20.0006 s]
Raw data (loadavg): 0.94 0.96 0.92 2/54 8739
Raw data (stat): 8739 (bsolo_lpr) R 8738 5562 5561 0 -1 0 10524 0 0 0 1945 53 0 0 25 0 1 0 832616873 18874368 3920 4294967295 134512640 134714508 3221224592 3221222844 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4608 3920 1111 63 0 4545 0
vsize: 18432
[startup+30.0008 s]
Raw data (loadavg): 0.95 0.96 0.92 2/54 8739
Raw data (stat): 8739 (bsolo_lpr) R 8738 5562 5561 0 -1 0 14824 0 0 0 2919 79 0 0 25 0 1 0 832616873 22515712 4773 4294967295 134512640 134714508 3221224592 3221221708 1077404826 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5497 4773 1111 63 0 5434 0
vsize: 21988
[startup+40.0019 s]
Raw data (loadavg): 0.95 0.96 0.92 2/54 8739
Raw data (stat): 8739 (bsolo_lpr) R 8738 5562 5561 0 -1 0 18712 0 0 0 3896 102 0 0 25 0 1 0 832616873 25329664 5483 4294967295 134512640 134714508 3221224592 3221222916 1077374508 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6184 5483 1111 63 0 6121 0
vsize: 24736
[startup+50.0025 s]
Raw data (loadavg): 0.96 0.96 0.92 2/54 8739
Raw data (stat): 8739 (bsolo_lpr) R 8738 5562 5561 0 -1 0 22901 0 0 0 4873 125 0 0 25 0 1 0 832616873 28655616 6305 4294967295 134512640 134714508 3221224592 3221221216 1074146286 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6996 6305 1111 63 0 6933 0
vsize: 27984
[startup+60.0018 s]
Raw data (loadavg): 0.97 0.96 0.92 2/54 8739
Raw data (stat): 8739 (bsolo_lpr) R 8738 5562 5561 0 -1 0 27199 0 0 0 5849 149 0 0 25 0 1 0 832616873 33087488 7378 4294967295 134512640 134714508 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8078 7378 1111 63 0 8015 0
vsize: 32312
[startup+70.0028 s]
Raw data (loadavg): 0.97 0.96 0.92 2/54 8739
Raw data (stat): 8739 (bsolo_lpr) R 8738 5562 5561 0 -1 0 30618 0 0 0 6833 165 0 0 25 0 1 0 832616873 35946496 8079 4294967295 134512640 134714508 3221224592 3221222512 1075799735 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8776 8079 1111 63 0 8713 0
vsize: 35104
[startup+80.0034 s]
Raw data (loadavg): 0.98 0.96 0.92 2/54 8739
Raw data (stat): 8739 (bsolo_lpr) R 8738 5562 5561 0 -1 0 34437 0 0 0 7811 188 0 0 25 0 1 0 832616873 40161280 9094 4294967295 134512640 134714508 3221224592 3221223464 134536900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9805 9094 1111 63 0 9742 0
vsize: 39220
[startup+90.0037 s]
Raw data (loadavg): 0.98 0.96 0.92 2/54 8739
Raw data (stat): 8739 (bsolo_lpr) R 8738 5562 5561 0 -1 0 35877 0 0 0 8802 197 0 0 25 0 1 0 832616873 43220992 9847 4294967295 134512640 134714508 3221224592 3221222592 1074913812 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10552 9847 1111 63 0 10489 0
vsize: 42208
[startup+100.004 s]
Raw data (loadavg): 0.98 0.96 0.92 2/54 8741
Raw data (stat): 8739 (bsolo_lpr) R 8738 5562 5561 0 -1 0 37268 0 0 0 9792 207 0 0 25 0 1 0 832616873 44507136 10159 4294967295 134512640 134714508 3221224592 3221222772 1077378674 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10866 10159 1111 63 0 10803 0
vsize: 43464
[startup+110.003 s]
Raw data (loadavg): 0.98 0.96 0.92 2/54 8741
Raw data (stat): 8739 (bsolo_lpr) R 8738 5562 5561 0 -1 0 41438 0 0 0 10772 227 0 0 25 0 1 0 832616873 49700864 11411 4294967295 134512640 134714508 3221224592 3221221936 1074839045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12134 11411 1111 63 0 12071 0
vsize: 48536
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8741
Raw data (stat): 8739 (bsolo_lpr) R 8738 5562 5561 0 -1 0 42943 0 0 0 11764 236 0 0 25 0 1 0 832616873 52744192 12165 4294967295 134512640 134714508 3221224592 3221222512 1075799635 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12877 12165 1111 63 0 12814 0
vsize: 51508
[startup+130.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8741
Raw data (stat): 8739 (bsolo_lpr) R 8738 5562 5561 0 -1 0 43542 0 0 0 12758 241 0 0 25 0 1 0 832616873 53661696 12390 4294967295 134512640 134714508 3221224592 3221223376 134624874 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13101 12390 1111 63 0 13038 0
vsize: 52404
[startup+140.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8741
Raw data (stat): 8739 (bsolo_lpr) R 8738 5562 5561 0 -1 0 45141 0 0 0 13752 247 0 0 25 0 1 0 832616873 57118720 13236 4294967295 134512640 134714508 3221224592 3221222560 1075961312 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13945 13236 1111 63 0 13882 0
vsize: 55780
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8741
Raw data (stat): 8739 (bsolo_lpr) R 8738 5562 5561 0 -1 0 48275 0 0 0 14739 260 0 0 25 0 1 0 832616873 58474496 13571 4294967295 134512640 134714508 3221224592 3221221480 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14276 13571 1111 63 0 14213 0
vsize: 57104
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8741
Raw data (stat): 8739 (bsolo_lpr) R 8738 5562 5561 0 -1 0 53088 0 0 0 15721 279 0 0 25 0 1 0 832616873 60866560 14154 4294967295 134512640 134714508 3221224592 3221222512 1075799732 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14860 14154 1111 63 0 14797 0
vsize: 59440
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8741
Raw data (stat): 8739 (bsolo_lpr) R 8738 5562 5561 0 -1 0 57838 0 0 0 16696 304 0 0 25 0 1 0 832616873 65978368 15378 4294967295 134512640 134714508 3221224592 3221223464 134536921 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16108 15378 1111 63 0 16045 0
vsize: 64432
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8741
Raw data (stat): 8739 (bsolo_lpr) R 8738 5562 5561 0 -1 0 59420 0 0 0 17688 312 0 0 25 0 1 0 832616873 69349376 16160 4294967295 134512640 134714508 3221224592 3221221168 1076047591 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16931 16160 1111 63 0 16868 0
vsize: 67724
[startup+190.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8741
Raw data (stat): 8739 (bsolo_lpr) R 8738 5562 5561 0 -1 0 59887 0 0 0 18684 316 0 0 25 0 1 0 832616873 70131712 16393 4294967295 134512640 134714508 3221224592 3221223464 134543609 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17122 16393 1111 63 0 17059 0
vsize: 68488
[startup+200.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8741
Raw data (stat): 8739 (bsolo_lpr) R 8738 5562 5561 0 -1 0 61013 0 0 0 19677 323 0 0 25 0 1 0 832616873 72298496 16919 4294967295 134512640 134714508 3221224592 3221223216 1074028310 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17651 16919 1111 63 0 17588 0
vsize: 70604
[startup+210.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8741
Raw data (stat): 8739 (bsolo_lpr) R 8738 5562 5561 0 -1 0 61217 0 0 0 20675 325 0 0 25 0 1 0 832616873 72757248 17018 4294967295 134512640 134714508 3221224592 3221222776 1077379963 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17763 17018 1111 63 0 17700 0
vsize: 71052
[startup+220.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8741
Raw data (stat): 8739 (bsolo_lpr) R 8738 5562 5561 0 -1 0 63773 0 0 0 21661 339 0 0 25 0 1 0 832616873 77737984 18250 4294967295 134512640 134714508 3221224592 3221222944 1074115298 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18979 18250 1111 63 0 18916 0
vsize: 75916
[startup+230.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8741
Raw data (stat): 8739 (bsolo_lpr) R 8738 5562 5561 0 -1 0 64804 0 0 0 22654 347 0 0 25 0 1 0 832616873 80039936 18783 4294967295 134512640 134714508 3221224592 3221223488 134621530 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19541 18783 1111 63 0 19478 0
vsize: 78164
[startup+240.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8741
Raw data (stat): 8739 (bsolo_lpr) R 8738 5562 5561 0 -1 0 64804 0 0 0 23651 349 0 0 25 0 1 0 832616873 80011264 18783 4294967295 134512640 134714508 3221224592 3221223184 1074121501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19534 18783 1111 63 0 19471 0
vsize: 78136
[startup+250.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8741
Raw data (stat): 8739 (bsolo_lpr) R 8738 5562 5561 0 -1 0 64834 0 0 0 24648 353 0 0 25 0 1 0 832616873 80011264 18790 4294967295 134512640 134714508 3221224592 3221221696 1074138723 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19534 18790 1111 63 0 19471 0
vsize: 78136
[startup+260.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8741
Raw data (stat): 8739 (bsolo_lpr) R 8738 5562 5561 0 -1 0 68603 0 0 0 25629 372 0 0 25 0 1 0 832616873 82407424 19365 4294967295 134512640 134714508 3221224592 3221221512 1074950119 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20119 19365 1111 63 0 20056 0
vsize: 80476
[startup+270.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8741
Raw data (stat): 8739 (bsolo_lpr) R 8738 5562 5561 0 -1 0 72749 0 0 0 26611 389 0 0 25 0 1 0 832616873 84660224 19916 4294967295 134512640 134714508 3221224592 3221221696 1074138847 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20669 19916 1111 63 0 20606 0
vsize: 82676
[startup+280.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8741
Raw data (stat): 8739 (bsolo_lpr) R 8738 5562 5561 0 -1 0 76176 0 0 0 27593 408 0 0 25 0 1 0 832616873 89767936 21143 4294967295 134512640 134714508 3221224592 3221223072 134543030 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21916 21143 1111 63 0 21853 0
vsize: 87664
[startup+290.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8741
Raw data (stat): 8739 (bsolo_lpr) R 8738 5562 5561 0 -1 0 77179 0 0 0 28587 414 0 0 25 0 1 0 832616873 91693056 21617 4294967295 134512640 134714508 3221224592 3221222592 1074918825 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22386 21617 1111 63 0 22323 0
vsize: 89544
[startup+300.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8741
Raw data (stat): 8739 (bsolo_lpr) R 8738 5562 5561 0 -1 0 77185 0 0 0 29585 416 0 0 25 0 1 0 832616873 91693056 21620 4294967295 134512640 134714508 3221224592 3221221712 1074834346 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22386 21620 1111 63 0 22323 0
vsize: 89544
[startup+310.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8741
Raw data (stat): 8739 (bsolo_lpr) R 8738 5562 5561 0 -1 0 78876 0 0 0 30575 426 0 0 25 0 1 0 832616873 95100928 22455 4294967295 134512640 134714508 3221224592 3221221696 1074138623 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23218 22455 1111 63 0 23155 0
vsize: 92872
[startup+320.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8741
Raw data (stat): 8739 (bsolo_lpr) R 8738 5562 5561 0 -1 0 79091 0 0 0 31572 430 0 0 25 0 1 0 832616873 95473664 22531 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23309 22531 1111 63 0 23246 0
vsize: 93236
[startup+330.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8741
Raw data (stat): 8739 (bsolo_lpr) R 8738 5562 5561 0 -1 0 81001 0 0 0 32561 441 0 0 25 0 1 0 832616873 99495936 23495 4294967295 134512640 134714508 3221224592 3221223464 134536904 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24291 23495 1111 63 0 24228 0
vsize: 97164
[startup+340.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8741
Raw data (stat): 8739 (bsolo_lpr) R 8738 5562 5561 0 -1 0 81492 0 0 0 33558 444 0 0 25 0 1 0 832616873 100253696 23687 4294967295 134512640 134714508 3221224592 3221222700 1075463961 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24476 23687 1111 63 0 24413 0
vsize: 97904
[startup+350.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8741
Raw data (stat): 8739 (bsolo_lpr) R 8738 5562 5561 0 -1 0 83688 0 0 0 34549 453 0 0 25 0 1 0 832616873 104767488 24752 4294967295 134512640 134714508 3221224592 3221220704 1075895555 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25578 24752 1111 63 0 25515 0
vsize: 102312
[startup+360.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8741
Raw data (stat): 8739 (bsolo_lpr) R 8738 5562 5561 0 -1 0 83692 0 0 0 35546 456 0 0 25 0 1 0 832616873 104767488 24755 4294967295 134512640 134714508 3221224592 3221221712 1074865092 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25578 24755 1111 63 0 25515 0
vsize: 102312
[startup+370.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8741
Raw data (stat): 8739 (bsolo_lpr) R 8738 5562 5561 0 -1 0 85982 0 0 0 36535 467 0 0 25 0 1 0 832616873 107372544 25385 4294967295 134512640 134714508 3221224592 3221223056 1074120291 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26214 25385 1111 63 0 26151 0
vsize: 104856
[startup+380.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8741
Raw data (stat): 8739 (bsolo_lpr) R 8738 5562 5561 0 -1 0 87838 0 0 0 37528 474 0 0 25 0 1 0 832616873 110813184 26234 4294967295 134512640 134714508 3221224592 3221223488 134621530 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27054 26234 1111 63 0 26991 0
vsize: 108216
[startup+390.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8741
Raw data (stat): 8739 (bsolo_lpr) R 8738 5562 5561 0 -1 0 88097 0 0 0 38525 477 0 0 25 0 1 0 832616873 111308800 26358 4294967295 134512640 134714508 3221224592 3221220556 1074860626 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27175 26358 1111 63 0 27112 0
vsize: 108700
[startup+400.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8741
Raw data (stat): 8739 (bsolo_lpr) R 8738 5562 5561 0 -1 0 90419 0 0 0 39516 486 0 0 25 0 1 0 832616873 115785728 27437 4294967295 134512640 134714508 3221224592 3221222336 1075646987 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28268 27437 1111 63 0 28205 0
vsize: 113072
[startup+410.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8741
Raw data (stat): 8739 (bsolo_lpr) R 8738 5562 5561 0 -1 0 90635 0 0 0 40513 490 0 0 25 0 1 0 832616873 116244480 27543 4294967295 134512640 134714508 3221224592 3221223472 134621636 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28380 27543 1111 63 0 28317 0
vsize: 113520
[startup+420.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8741
Raw data (stat): 8739 (bsolo_lpr) R 8738 5562 5561 0 -1 0 92383 0 0 0 41506 497 0 0 25 0 1 0 832616873 119861248 28419 4294967295 134512640 134714508 3221224592 3221221632 1075860595 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29263 28419 1111 63 0 29200 0
vsize: 117052
[startup+430.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8741
Raw data (stat): 8739 (bsolo_lpr) R 8738 5562 5561 0 -1 0 92384 0 0 0 42503 500 0 0 25 0 1 0 832616873 119861248 28420 4294967295 134512640 134714508 3221224592 3221223212 134558476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29263 28420 1111 63 0 29200 0
vsize: 117052
[startup+440.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8741
Raw data (stat): 8739 (bsolo_lpr) R 8738 5562 5561 0 -1 0 92395 0 0 0 43500 503 0 0 25 0 1 0 832616873 119873536 28423 4294967295 134512640 134714508 3221224592 3221222592 1074921338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29266 28423 1111 63 0 29203 0
vsize: 117064
[startup+450.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8741
Raw data (stat): 8739 (bsolo_lpr) R 8738 5562 5561 0 -1 0 95527 0 0 0 44486 517 0 0 25 0 1 0 832616873 125198336 29704 4294967295 134512640 134714508 3221224592 3221221324 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30566 29704 1111 63 0 30503 0
vsize: 122264
[startup+460.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8741
Raw data (stat): 8739 (bsolo_lpr) R 8738 5562 5561 0 -1 0 96152 0 0 0 45481 522 0 0 25 0 1 0 832616873 126349312 29998 4294967295 134512640 134714508 3221224592 3221223440 134623456 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30847 29998 1111 63 0 30784 0
vsize: 123388
[startup+470.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8741
Raw data (stat): 8739 (bsolo_lpr) R 8738 5562 5561 0 -1 0 96168 0 0 0 46479 524 0 0 25 0 1 0 832616873 126349312 30006 4294967295 134512640 134714508 3221224592 3221222872 1074138290 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30847 30006 1111 63 0 30784 0
vsize: 123388
[startup+480.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8741
Raw data (stat): 8739 (bsolo_lpr) R 8738 5562 5561 0 -1 0 98768 0 0 0 47467 537 0 0 25 0 1 0 832616873 129888256 30846 4294967295 134512640 134714508 3221224592 3221220664 1074950142 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31711 30846 1111 63 0 31648 0
vsize: 126844
[startup+490.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8741
Raw data (stat): 8739 (bsolo_lpr) R 8738 5562 5561 0 -1 0 98786 0 0 0 48464 540 0 0 25 0 1 0 832616873 129888256 30856 4294967295 134512640 134714508 3221224592 3221222944 1074115296 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31711 30856 1111 63 0 31648 0
vsize: 126844
[startup+500.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8741
Raw data (stat): 8739 (bsolo_lpr) R 8738 5562 5561 0 -1 0 101281 0 0 0 49451 553 0 0 25 0 1 0 832616873 135016448 32060 4294967295 134512640 134714508 3221224592 3221222704 1074867331 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32963 32060 1111 63 0 32900 0
vsize: 131852
[startup+510.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8741
Raw data (stat): 8739 (bsolo_lpr) R 8738 5562 5561 0 -1 0 101281 0 0 0 50448 556 0 0 25 0 1 0 832616873 135016448 32060 4294967295 134512640 134714508 3221224592 3221222512 1075799488 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32963 32060 1111 63 0 32900 0
vsize: 131852
[startup+519.749 s]
Raw data (loadavg): 0.99 0.97 0.92 1/53 8741
Raw data (stat): 8739 (bsolo_lpr) R 8738 5562 5561 0 -1 0 101281 0 0 0 50448 556 0 0 25 0 1 0 832616873 135016448 32060 4294967295 134512640 134714508 3221224592 3221222512 1075799488 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32963 32060 1111 63 0 32900 0
vsize: 0

Child status: 30
Real time (s): 519.749
CPU time (s): 519.785
CPU user time (s): 514.001
CPU system time (s): 5.78412
CPU usage (%): 100.007
Max. virtual memory (Kb): 131852
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	307
#### END VERIFIER DATA ####