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/miplib/normalized-mps-v2-13-7-mod008.opb
MD5SUM	fbdb3cf321a85412feefcaac30780520
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.01684
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 25872

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-23 03:36:11 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=17018 boxname=wulflinc31 idbench=1310 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  fbdb3cf321a85412feefcaac30780520  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-mod008.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-mod008.opb
IDLAUNCH: 17018
/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:        493988 kB
Buffers:          4992 kB
Cached:         506072 kB
SwapCached:        976 kB
Active:          47036 kB
Inactive:       466184 kB
HighTotal:      131008 kB
HighFree:          588 kB
LowTotal:       903652 kB
LowFree:        493400 kB
SwapTotal:     2097892 kB
SwapFree:      2095884 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5096 kB
Slab:            21680 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-23 03:44:56 (client local time) WITH STATUS 30 IN 525.246 SECONDS
stats: 17018 0 525.246 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.259 s
c Initial Lower Bound: 291
c Lower Bound Elapsed time: 0.01775
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 378 @ 0.399
c NEW SOLUTION FOUND: 327 @ 0.663
c NEW SOLUTION FOUND: 326 @ 10.156
c NEW SOLUTION FOUND: 325 @ 10.548
c NEW SOLUTION FOUND: 308 @ 78.554
c NEW SOLUTION FOUND: 307 @ 211.946
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: 525.179 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.92 0.98 0.99 2/55 1080
Raw data (stat): 1080 (runsolver) R 1079 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 818384919 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0015 s]
Raw data (loadavg): 0.93 0.98 0.99 2/55 1080
Raw data (stat): 1080 (bsolo_lpr) R 1079 7876 7672 0 -1 0 6371 0 0 0 966 28 0 0 25 0 1 0 818384919 15769600 3159 4294967295 134512640 134714508 3221221776 3221219236 1077782939 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3850 3159 1111 63 0 3787 0
vsize: 15400
[startup+20.0021 s]
Raw data (loadavg): 0.94 0.98 0.99 2/55 1080
Raw data (stat): 1080 (bsolo_lpr) R 1079 7876 7672 0 -1 0 10397 0 0 0 1939 55 0 0 25 0 1 0 818384919 18812928 3905 4294967295 134512640 134714508 3221221776 3221219744 1075961267 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4593 3905 1111 63 0 4530 0
vsize: 18372
[startup+30.002 s]
Raw data (loadavg): 0.95 0.98 0.99 2/55 1080
Raw data (stat): 1080 (bsolo_lpr) R 1079 7876 7672 0 -1 0 14625 0 0 0 2914 81 0 0 25 0 1 0 818384919 22159360 4722 4294967295 134512640 134714508 3221221776 3221218828 1073970184 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5410 4722 1111 63 0 5347 0
vsize: 21640
[startup+40.0024 s]
Raw data (loadavg): 0.96 0.98 0.99 2/55 1080
Raw data (stat): 1080 (bsolo_lpr) R 1079 7876 7672 0 -1 0 18590 0 0 0 3891 104 0 0 25 0 1 0 818384919 25210880 5463 4294967295 134512640 134714508 3221221776 3221219560 1077377693 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6155 5463 1111 63 0 6092 0
vsize: 24620
[startup+50.0028 s]
Raw data (loadavg): 0.96 0.98 0.99 2/55 1080
Raw data (stat): 1080 (bsolo_lpr) R 1079 7876 7672 0 -1 0 22721 0 0 0 4866 129 0 0 25 0 1 0 818384919 28516352 6270 4294967295 134512640 134714508 3221221776 3221220056 1074138224 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6962 6270 1111 63 0 6899 0
vsize: 27848
[startup+60.0027 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 1080
Raw data (stat): 1080 (bsolo_lpr) R 1079 7876 7672 0 -1 0 27200 0 0 0 5840 155 0 0 25 0 1 0 818384919 33099776 7379 4294967295 134512640 134714508 3221221776 3221220368 134539362 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8081 7379 1111 63 0 8018 0
vsize: 32324
[startup+70.0026 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 1080
Raw data (stat): 1080 (bsolo_lpr) R 1079 7876 7672 0 -1 0 30405 0 0 0 6825 170 0 0 25 0 1 0 818384919 35770368 8031 4294967295 134512640 134714508 3221221776 3221219820 1077379908 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8733 8031 1111 63 0 8670 0
vsize: 34932
[startup+80.0025 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 1080
Raw data (stat): 1080 (bsolo_lpr) R 1079 7876 7672 0 -1 0 34095 0 0 0 7805 191 0 0 25 0 1 0 818384919 39571456 8944 4294967295 134512640 134714508 3221221776 3221220220 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9661 8944 1111 63 0 9598 0
vsize: 38644
[startup+90.0025 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 1080
Raw data (stat): 1080 (bsolo_lpr) R 1079 7876 7672 0 -1 0 35879 0 0 0 8796 199 0 0 25 0 1 0 818384919 43225088 9848 4294967295 134512640 134714508 3221221776 3221220640 134643371 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10553 9848 1111 63 0 10490 0
vsize: 42212
[startup+100.002 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 1080
Raw data (stat): 1080 (bsolo_lpr) R 1079 7876 7672 0 -1 0 36814 0 0 0 9790 206 0 0 25 0 1 0 818384919 44085248 10062 4294967295 134512640 134714508 3221221776 3221220220 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10763 10062 1111 63 0 10700 0
vsize: 43052
[startup+110.004 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 1080
Raw data (stat): 1080 (bsolo_lpr) R 1079 7876 7672 0 -1 0 41062 0 0 0 10767 229 0 0 25 0 1 0 818384919 48898048 11222 4294967295 134512640 134714508 3221221776 3221220672 134621520 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11938 11222 1111 63 0 11875 0
vsize: 47752
[startup+120.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1080
Raw data (stat): 1080 (bsolo_lpr) R 1079 7876 7672 0 -1 0 42945 0 0 0 11759 238 0 0 25 0 1 0 818384919 52748288 12166 4294967295 134512640 134714508 3221221776 3221219464 1077377899 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12878 12166 1111 63 0 12815 0
vsize: 51512
[startup+130.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1080
Raw data (stat): 1080 (bsolo_lpr) R 1079 7876 7672 0 -1 0 42973 0 0 0 12756 241 0 0 25 0 1 0 818384919 52748288 12170 4294967295 134512640 134714508 3221221776 3221220336 134523396 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12878 12170 1111 63 0 12815 0
vsize: 51512
[startup+140.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1080
Raw data (stat): 1080 (bsolo_lpr) R 1079 7876 7672 0 -1 0 45143 0 0 0 13746 251 0 0 25 0 1 0 818384919 57122816 13237 4294967295 134512640 134714508 3221221776 3221218800 1074810486 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13946 13237 1111 63 0 13883 0
vsize: 55784
[startup+150.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1080
Raw data (stat): 1080 (bsolo_lpr) R 1079 7876 7672 0 -1 0 47642 0 0 0 14734 262 0 0 25 0 1 0 818384919 58085376 13476 4294967295 134512640 134714508 3221221776 3221219236 1077782939 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14181 13476 1111 63 0 14118 0
vsize: 56724
[startup+160.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1080
Raw data (stat): 1080 (bsolo_lpr) R 1079 7876 7672 0 -1 0 52511 0 0 0 15715 282 0 0 25 0 1 0 818384919 60641280 14096 4294967295 134512640 134714508 3221221776 3221219628 1077404704 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14805 14096 1111 63 0 14742 0
vsize: 59220
[startup+170.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1080
Raw data (stat): 1080 (bsolo_lpr) R 1079 7876 7672 0 -1 0 57294 0 0 0 16691 306 0 0 25 0 1 0 818384919 64917504 15121 4294967295 134512640 134714508 3221221776 3221220172 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15849 15121 1111 63 0 15786 0
vsize: 63396
[startup+180.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1080
Raw data (stat): 1080 (bsolo_lpr) R 1079 7876 7672 0 -1 0 58692 0 0 0 17684 314 0 0 25 0 1 0 818384919 67657728 15795 4294967295 134512640 134714508 3221221776 3221220200 1077377291 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16518 15795 1111 63 0 16455 0
vsize: 66072
[startup+190.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1080
Raw data (stat): 1080 (bsolo_lpr) R 1079 7876 7672 0 -1 0 59889 0 0 0 18676 321 0 0 25 0 1 0 818384919 70135808 16394 4294967295 134512640 134714508 3221221776 3221220204 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17123 16394 1111 63 0 17060 0
vsize: 68492
[startup+200.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1080
Raw data (stat): 1080 (bsolo_lpr) R 1079 7876 7672 0 -1 0 60862 0 0 0 19670 327 0 0 25 0 1 0 818384919 72142848 16861 4294967295 134512640 134714508 3221221776 3221220672 134621515 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17613 16861 1111 63 0 17550 0
vsize: 70452
[startup+210.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1080
Raw data (stat): 1080 (bsolo_lpr) R 1079 7876 7672 0 -1 0 61019 0 0 0 20668 330 0 0 25 0 1 0 818384919 72302592 16924 4294967295 134512640 134714508 3221221776 3221219696 1075799518 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17652 16924 1111 63 0 17589 0
vsize: 70608
[startup+220.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1080
Raw data (stat): 1080 (bsolo_lpr) R 1079 7876 7672 0 -1 0 63775 0 0 0 21654 344 0 0 25 0 1 0 818384919 77742080 18251 4294967295 134512640 134714508 3221221776 3221220040 1077410205 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18980 18251 1111 63 0 18917 0
vsize: 75920
[startup+230.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1080
Raw data (stat): 1080 (bsolo_lpr) R 1079 7876 7672 0 -1 0 64599 0 0 0 22650 348 0 0 25 0 1 0 818384919 79515648 18675 4294967295 134512640 134714508 3221221776 3221220156 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19413 18675 1111 63 0 19350 0
vsize: 77652
[startup+240.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1080
Raw data (stat): 1080 (bsolo_lpr) R 1079 7876 7672 0 -1 0 64806 0 0 0 23647 352 0 0 25 0 1 0 818384919 80015360 18784 4294967295 134512640 134714508 3221221776 3221217920 1074969122 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19535 18784 1111 63 0 19472 0
vsize: 78140
[startup+250.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1080
Raw data (stat): 1080 (bsolo_lpr) R 1079 7876 7672 0 -1 0 64807 0 0 0 24644 354 0 0 25 0 1 0 818384919 80015360 18785 4294967295 134512640 134714508 3221221776 3221220204 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19535 18785 1111 63 0 19472 0
vsize: 78140
[startup+260.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1080
Raw data (stat): 1080 (bsolo_lpr) R 1079 7876 7672 0 -1 0 68043 0 0 0 25628 370 0 0 25 0 1 0 818384919 81977344 19253 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20014 19253 1111 63 0 19951 0
vsize: 80056
[startup+270.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1080
Raw data (stat): 1080 (bsolo_lpr) R 1079 7876 7672 0 -1 0 71806 0 0 0 26613 386 0 0 25 0 1 0 818384919 84267008 19793 4294967295 134512640 134714508 3221221776 3221218404 1075895417 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20573 19793 1111 63 0 20510 0
vsize: 82292
[startup+280.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1080
Raw data (stat): 1080 (bsolo_lpr) R 1079 7876 7672 0 -1 0 76178 0 0 0 27594 404 0 0 25 0 1 0 818384919 89772032 21144 4294967295 134512640 134714508 3221221776 3221218540 1076083120 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21917 21144 1111 63 0 21854 0
vsize: 87668
[startup+290.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1080
Raw data (stat): 1080 (bsolo_lpr) R 1079 7876 7672 0 -1 0 77181 0 0 0 28587 411 0 0 25 0 1 0 818384919 91697152 21618 4294967295 134512640 134714508 3221221776 3221220416 134649075 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22387 21618 1111 63 0 22324 0
vsize: 89548
[startup+300.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1080
Raw data (stat): 1080 (bsolo_lpr) R 1079 7876 7672 0 -1 0 77187 0 0 0 29584 415 0 0 25 0 1 0 818384919 91697152 21621 4294967295 134512640 134714508 3221221776 3221219776 1074918599 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22387 21621 1111 63 0 22324 0
vsize: 89548
[startup+310.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1080
Raw data (stat): 1080 (bsolo_lpr) R 1079 7876 7672 0 -1 0 78878 0 0 0 30575 423 0 0 25 0 1 0 818384919 95105024 22456 4294967295 134512640 134714508 3221221776 3221219504 1075828490 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23219 22456 1111 63 0 23156 0
vsize: 92876
[startup+320.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1080
Raw data (stat): 1080 (bsolo_lpr) R 1079 7876 7672 0 -1 0 78878 0 0 0 31573 426 0 0 25 0 1 0 818384919 95105024 22456 4294967295 134512640 134714508 3221221776 3221217936 1074794536 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23219 22456 1111 63 0 23156 0
vsize: 92876
[startup+330.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1080
Raw data (stat): 1080 (bsolo_lpr) R 1079 7876 7672 0 -1 0 80685 0 0 0 32561 436 0 0 25 0 1 0 818384919 98942976 23371 4294967295 134512640 134714508 3221221776 3221217740 1074860626 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24156 23371 1111 63 0 24093 0
vsize: 96624
[startup+340.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1080
Raw data (stat): 1080 (bsolo_lpr) R 1079 7876 7672 0 -1 0 81494 0 0 0 33556 442 0 0 25 0 1 0 818384919 100257792 23688 4294967295 134512640 134714508 3221221776 3221220560 134622506 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24477 23688 1111 63 0 24414 0
vsize: 97908
[startup+350.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1080
Raw data (stat): 1080 (bsolo_lpr) R 1079 7876 7672 0 -1 0 83690 0 0 0 34543 454 0 0 25 0 1 0 818384919 104771584 24753 4294967295 134512640 134714508 3221221776 3221219804 1074206203 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25579 24753 1111 63 0 25516 0
vsize: 102316
[startup+360.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1080
Raw data (stat): 1080 (bsolo_lpr) R 1079 7876 7672 0 -1 0 83692 0 0 0 35541 457 0 0 25 0 1 0 818384919 104771584 24755 4294967295 134512640 134714508 3221221776 3221217936 1075093526 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25579 24755 1111 63 0 25516 0
vsize: 102316
[startup+370.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1080
Raw data (stat): 1080 (bsolo_lpr) R 1079 7876 7672 0 -1 0 84476 0 0 0 36538 461 0 0 25 0 1 0 818384919 105172992 24825 4294967295 134512640 134714508 3221221776 3221218828 1075276508 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25677 24825 1111 63 0 25614 0
vsize: 102708
[startup+380.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1080
Raw data (stat): 1080 (bsolo_lpr) R 1079 7876 7672 0 -1 0 87010 0 0 0 37525 474 0 0 25 0 1 0 818384919 109113344 25828 4294967295 134512640 134714508 3221221776 3221220672 134621515 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26639 25828 1111 63 0 26576 0
vsize: 106556
[startup+390.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1080
Raw data (stat): 1080 (bsolo_lpr) R 1079 7876 7672 0 -1 0 88099 0 0 0 38518 481 0 0 25 0 1 0 818384919 111312896 26359 4294967295 134512640 134714508 3221221776 3221219424 1074247411 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27176 26359 1111 63 0 27113 0
vsize: 108704
[startup+400.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1080
Raw data (stat): 1080 (bsolo_lpr) R 1079 7876 7672 0 -1 0 89503 0 0 0 39510 489 0 0 25 0 1 0 818384919 113840128 26956 4294967295 134512640 134714508 3221221776 3221220528 134604472 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27793 26956 1111 63 0 27730 0
vsize: 111172
[startup+410.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1080
Raw data (stat): 1080 (bsolo_lpr) R 1079 7876 7672 0 -1 0 90421 0 0 0 40505 494 0 0 25 0 1 0 818384919 115789824 27438 4294967295 134512640 134714508 3221221776 3221220192 1076647899 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28269 27438 1111 63 0 28206 0
vsize: 113076
[startup+420.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1080
Raw data (stat): 1080 (bsolo_lpr) R 1079 7876 7672 0 -1 0 92385 0 0 0 41496 503 0 0 25 0 1 0 818384919 119865344 28420 4294967295 134512640 134714508 3221221776 3221219776 1074918472 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29264 28420 1111 63 0 29201 0
vsize: 117056
[startup+430.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1080
Raw data (stat): 1080 (bsolo_lpr) R 1079 7876 7672 0 -1 0 92386 0 0 0 42495 505 0 0 25 0 1 0 818384919 119865344 28421 4294967295 134512640 134714508 3221221776 3221218816 1075860595 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29264 28421 1111 63 0 29201 0
vsize: 117056
[startup+440.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1080
Raw data (stat): 1080 (bsolo_lpr) R 1079 7876 7672 0 -1 0 92386 0 0 0 43493 507 0 0 25 0 1 0 818384919 119865344 28421 4294967295 134512640 134714508 3221221776 3221217936 1075094787 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29264 28421 1111 63 0 29201 0
vsize: 117056
[startup+450.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1080
Raw data (stat): 1080 (bsolo_lpr) R 1079 7876 7672 0 -1 0 95120 0 0 0 44482 517 0 0 25 0 1 0 818384919 124252160 29486 4294967295 134512640 134714508 3221221776 3221219696 1075799727 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30335 29486 1111 63 0 30272 0
vsize: 121340
[startup+460.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1080
Raw data (stat): 1080 (bsolo_lpr) R 1079 7876 7672 0 -1 0 96154 0 0 0 45478 522 0 0 25 0 1 0 818384919 126353408 29999 4294967295 134512640 134714508 3221221776 3221219504 1075635580 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30848 29999 1111 63 0 30785 0
vsize: 123392
[startup+470.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1080
Raw data (stat): 1080 (bsolo_lpr) R 1079 7876 7672 0 -1 0 96154 0 0 0 46476 524 0 0 25 0 1 0 818384919 126353408 29999 4294967295 134512640 134714508 3221221776 3221220508 134558476 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30848 29999 1111 63 0 30785 0
vsize: 123392
[startup+480.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1080
Raw data (stat): 1080 (bsolo_lpr) R 1079 7876 7672 0 -1 0 97753 0 0 0 47467 533 0 0 25 0 1 0 818384919 128901120 30613 4294967295 134512640 134714508 3221221776 3221220648 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31470 30613 1111 63 0 31407 0
vsize: 125880
[startup+490.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1080
Raw data (stat): 1080 (bsolo_lpr) R 1079 7876 7672 0 -1 0 98786 0 0 0 48462 538 0 0 25 0 1 0 818384919 129892352 30855 4294967295 134512640 134714508 3221221776 3221218968 1074138315 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31712 30855 1111 63 0 31649 0
vsize: 126848
[startup+500.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1080
Raw data (stat): 1080 (bsolo_lpr) R 1079 7876 7672 0 -1 0 100650 0 0 0 49452 549 0 0 25 0 1 0 818384919 133677056 31732 4294967295 134512640 134714508 3221221776 3221218840 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32669 31735 1111 63 0 32606 0
vsize: 130544
[startup+510.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1080
Raw data (stat): 1080 (bsolo_lpr) R 1079 7876 7672 0 -1 0 101283 0 0 0 50448 553 0 0 25 0 1 0 818384919 135020544 32061 4294967295 134512640 134714508 3221221776 3221218880 1074138636 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32964 32061 1111 63 0 32901 0
vsize: 131856
[startup+520.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1080
Raw data (stat): 1080 (bsolo_lpr) R 1079 7876 7672 0 -1 0 102898 0 0 0 51439 562 0 0 25 0 1 0 818384919 135999488 32253 4294967295 134512640 134714508 3221221776 3221220416 134649103 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33203 32253 1111 63 0 33140 0
vsize: 132812
[startup+525.243 s]
Raw data (loadavg): 0.99 0.98 0.99 1/54 1080
Raw data (stat): 1080 (bsolo_lpr) R 1079 7876 7672 0 -1 0 102898 0 0 0 51439 562 0 0 25 0 1 0 818384919 135999488 32253 4294967295 134512640 134714508 3221221776 3221220416 134649103 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33203 32253 1111 63 0 33140 0
vsize: 0

Child status: 30
Real time (s): 525.243
CPU time (s): 525.246
CPU user time (s): 519.478
CPU system time (s): 5.76812
CPU usage (%): 100.001
Max. virtual memory (Kb): 132812
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	307
#### END VERIFIER DATA ####