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-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-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.01784
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 26423

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc25 THE 2005-05-24 15:26:29 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=13626 boxname=wulflinc25 idbench=1049 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  581d778a36086562107993896110e0a2  /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-20-10-mod008.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-20-10-mod008.opb
IDLAUNCH: 13626
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.220
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.220
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:        932924 kB
Buffers:         33744 kB
Cached:          47180 kB
SwapCached:        812 kB
Active:          57740 kB
Inactive:        25684 kB
HighTotal:      131008 kB
HighFree:        83076 kB
LowTotal:       903652 kB
LowFree:        849848 kB
SwapTotal:     2097892 kB
SwapFree:      2096616 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5604 kB
Slab:            12796 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 15:46:09 (client local time) WITH STATUS 10 IN 1178.33 SECONDS
stats: 13626 0 1178.33 10
#### 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.266 s
c Initial Lower Bound: 291
c Lower Bound Elapsed time: 0.01875
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 378 @ 0.407
c NEW SOLUTION FOUND: 327 @ 0.682
c NEW SOLUTION FOUND: 326 @ 27.143
c NEW SOLUTION FOUND: 325 @ 27.889
s SATISFIABLE
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: 10
c Total time: 1178.3 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.84 0.95 0.99 2/54 1896
Raw data (stat): 1896 (runsolver) R 1895 1586 1585 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 831322248 1052672 99 4294967295 134512640 135381576 3221224480 3221219692 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.99997 s]
Raw data (loadavg): 0.87 0.95 0.99 2/54 1896
Raw data (stat): 1896 (bsolo_lpr_cuts) R 1895 1586 1585 0 -1 0 8799 0 12 0 918 31 0 0 25 0 1 0 831322248 16183296 3221 4294967295 134512640 134714508 3221224576 3221223216 134649099 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3951 3221 1111 63 0 3888 0
vsize: 15804
[startup+20.0029 s]
Raw data (loadavg): 0.89 0.95 0.99 2/54 1896
Raw data (stat): 1896 (bsolo_lpr_cuts) R 1895 1586 1585 0 -1 0 16457 0 12 0 1894 55 0 0 25 0 1 0 831322248 17297408 3497 4294967295 134512640 134714508 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4223 3497 1111 63 0 4160 0
vsize: 16892
[startup+30.0037 s]
Raw data (loadavg): 0.90 0.95 0.99 2/54 1896
Raw data (stat): 1896 (bsolo_lpr_cuts) R 1895 1586 1585 0 -1 0 23725 0 12 0 2869 79 0 0 25 0 1 0 831322248 18448384 3787 4294967295 134512640 134714508 3221224576 3221220540 1074860626 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4504 3787 1111 63 0 4441 0
vsize: 18016
[startup+40.0028 s]
Raw data (loadavg): 0.92 0.95 0.99 2/54 1896
Raw data (stat): 1896 (bsolo_lpr_cuts) R 1895 1586 1585 0 -1 0 31399 0 12 0 3845 104 0 0 25 0 1 0 831322248 19570688 4088 4294967295 134512640 134714508 3221224576 3221221472 134650078 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4778 4088 1111 63 0 4715 0
vsize: 19112
[startup+50.0036 s]
Raw data (loadavg): 0.93 0.96 0.99 2/54 1896
Raw data (stat): 1896 (bsolo_lpr_cuts) R 1895 1586 1585 0 -1 0 37601 0 12 0 4822 127 0 0 25 0 1 0 831322248 21733376 4581 4294967295 134512640 134714508 3221224576 3221223104 134648533 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5306 4581 1111 63 0 5243 0
vsize: 21224
[startup+60.0029 s]
Raw data (loadavg): 0.94 0.96 0.99 2/54 1896
Raw data (stat): 1896 (bsolo_lpr_cuts) R 1895 1586 1585 0 -1 0 46230 0 12 0 5796 153 0 0 25 0 1 0 831322248 23019520 4922 4294967295 134512640 134714508 3221224576 3221222304 1075828201 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5620 4922 1111 63 0 5557 0
vsize: 22480
[startup+70.0035 s]
Raw data (loadavg): 0.95 0.96 0.99 2/54 1896
Raw data (stat): 1896 (bsolo_lpr_cuts) R 1895 1586 1585 0 -1 0 54946 0 12 0 6773 177 0 0 25 0 1 0 831322248 23576576 5041 4294967295 134512640 134714508 3221224576 3221221680 1074138850 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5756 5041 1111 63 0 5693 0
vsize: 23024
[startup+80.0034 s]
Raw data (loadavg): 0.96 0.96 0.99 2/54 1896
Raw data (stat): 1896 (bsolo_lpr_cuts) R 1895 1586 1585 0 -1 0 63559 0 12 0 7750 199 0 0 25 0 1 0 831322248 24551424 5308 4294967295 134512640 134714508 3221224576 3221220560 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5994 5308 1111 63 0 5931 0
vsize: 23976
[startup+90.0028 s]
Raw data (loadavg): 0.96 0.96 0.99 2/54 1896
Raw data (stat): 1896 (bsolo_lpr_cuts) R 1895 1586 1585 0 -1 0 70494 0 12 0 8727 223 0 0 25 0 1 0 831322248 26062848 5672 4294967295 134512640 134714508 3221224576 3221222576 1074918237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6363 5672 1111 63 0 6300 0
vsize: 25452
[startup+100.002 s]
Raw data (loadavg): 0.97 0.96 0.99 2/54 1896
Raw data (stat): 1896 (bsolo_lpr_cuts) R 1895 1586 1585 0 -1 0 77751 0 12 0 9706 244 0 0 25 0 1 0 831322248 27123712 5936 4294967295 134512640 134714508 3221224576 3221222576 1074918583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6622 5936 1111 63 0 6559 0
vsize: 26488
[startup+110.002 s]
Raw data (loadavg): 0.97 0.96 0.99 2/54 1896
Raw data (stat): 1896 (bsolo_lpr_cuts) R 1895 1586 1585 0 -1 0 88490 0 12 0 10680 270 0 0 25 0 1 0 831322248 27455488 6000 4294967295 134512640 134714508 3221224576 3221222576 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6703 6000 1111 63 0 6640 0
vsize: 26812
[startup+120.003 s]
Raw data (loadavg): 0.98 0.96 0.99 2/54 1896
Raw data (stat): 1896 (bsolo_lpr_cuts) R 1895 1586 1585 0 -1 0 97630 0 12 0 11654 296 0 0 25 0 1 0 831322248 28905472 6324 4294967295 134512640 134714508 3221224576 3221220688 1075895652 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7057 6324 1111 63 0 6994 0
vsize: 28228
[startup+130.002 s]
Raw data (loadavg): 0.98 0.96 0.99 2/54 1896
Raw data (stat): 1896 (bsolo_lpr_cuts) R 1895 1586 1585 0 -1 0 108546 0 12 0 12628 322 0 0 25 0 1 0 831322248 29446144 6438 4294967295 134512640 134714508 3221224576 3221221468 1077386340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7189 6438 1111 63 0 7126 0
vsize: 28756
[startup+140.002 s]
Raw data (loadavg): 0.98 0.96 0.99 2/54 1896
Raw data (stat): 1896 (bsolo_lpr_cuts) R 1895 1586 1585 0 -1 0 119563 0 12 0 13597 353 0 0 25 0 1 0 831322248 29851648 6605 4294967295 134512640 134714508 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7288 6605 1111 63 0 7225 0
vsize: 29152
[startup+150.002 s]
Raw data (loadavg): 0.98 0.97 0.99 2/54 1896
Raw data (stat): 1896 (bsolo_lpr_cuts) R 1895 1586 1585 0 -1 0 126629 0 12 0 14574 377 0 0 25 0 1 0 831322248 31350784 6971 4294967295 134512640 134714508 3221224576 3221222488 1074138290 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7654 6971 1111 63 0 7591 0
vsize: 30616
[startup+160.002 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 1896
Raw data (stat): 1896 (bsolo_lpr_cuts) R 1895 1586 1585 0 -1 0 133696 0 12 0 15553 397 0 0 25 0 1 0 831322248 34344960 7698 4294967295 134512640 134714508 3221224576 3221220560 1074875074 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8385 7698 1111 63 0 8322 0
vsize: 33540
[startup+170.002 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 1896
Raw data (stat): 1896 (bsolo_lpr_cuts) R 1895 1586 1585 0 -1 0 146645 0 12 0 16520 431 0 0 25 0 1 0 831322248 32911360 7322 4294967295 134512640 134714508 3221224576 3221220424 1077380786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8035 7322 1111 63 0 7972 0
vsize: 32140
[startup+180.002 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 1896
Raw data (stat): 1896 (bsolo_lpr_cuts) R 1895 1586 1585 0 -1 0 157660 0 12 0 17492 459 0 0 25 0 1 0 831322248 33415168 7444 4294967295 134512640 134714508 3221224576 3221222576 1074916811 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8158 7444 1111 63 0 8095 0
vsize: 32632
[startup+190.002 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 1896
Raw data (stat): 1896 (bsolo_lpr_cuts) R 1895 1586 1585 0 -1 0 169274 0 12 0 18464 488 0 0 25 0 1 0 831322248 35659776 8024 4294967295 134512640 134714508 3221224576 3221222304 1075828444 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8706 8024 1111 63 0 8643 0
vsize: 34824
[startup+200.002 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 1896
Raw data (stat): 1896 (bsolo_lpr_cuts) R 1895 1586 1585 0 -1 0 182735 0 12 0 19432 519 0 0 25 0 1 0 831322248 34856960 7828 4294967295 134512640 134714508 3221224576 3221219664 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8510 7828 1111 63 0 8447 0
vsize: 34040
[startup+210.001 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 1896
Raw data (stat): 1896 (bsolo_lpr_cuts) R 1895 1586 1585 0 -1 0 193878 0 12 0 20405 546 0 0 25 0 1 0 831322248 35180544 7875 4294967295 134512640 134714508 3221224576 3221222224 1075818333 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8589 7875 1111 63 0 8526 0
vsize: 34356
[startup+220.002 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 1896
Raw data (stat): 1896 (bsolo_lpr_cuts) R 1895 1586 1585 0 -1 0 203797 0 12 0 21381 571 0 0 25 0 1 0 831322248 36073472 8023 4294967295 134512640 134714508 3221224576 3221221496 1074950119 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8807 8023 1111 63 0 8744 0
vsize: 35228
[startup+230.002 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 1896
Raw data (stat): 1896 (bsolo_lpr_cuts) R 1895 1586 1585 0 -1 0 216986 0 12 0 22346 606 0 0 25 0 1 0 831322248 36147200 8143 4294967295 134512640 134714508 3221224576 3221222896 1074039446 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8825 8143 1111 63 0 8762 0
vsize: 35300
[startup+240.001 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 1896
Raw data (stat): 1896 (bsolo_lpr_cuts) R 1895 1586 1585 0 -1 0 231220 0 12 0 23311 642 0 0 25 0 1 0 831322248 36839424 8215 4294967295 134512640 134714508 3221224576 3221220736 1075091317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8994 8215 1111 63 0 8931 0
vsize: 35976
[startup+250.001 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 1896
Raw data (stat): 1896 (bsolo_lpr_cuts) R 1895 1586 1585 0 -1 0 244913 0 12 0 24276 677 0 0 25 0 1 0 831322248 37203968 8369 4294967295 134512640 134714508 3221224576 3221222688 1074867340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9083 8369 1111 63 0 9020 0
vsize: 36332
[startup+260.001 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 1896
Raw data (stat): 1896 (bsolo_lpr_cuts) R 1895 1586 1585 0 -1 0 257394 0 12 0 25241 711 0 0 25 0 1 0 831322248 37392384 8447 4294967295 134512640 134714508 3221224576 3221223104 134648630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9129 8447 1111 63 0 9066 0
vsize: 36516
[startup+270.002 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 1896
Raw data (stat): 1896 (bsolo_lpr_cuts) R 1895 1586 1585 0 -1 0 265983 0 12 0 26223 730 0 0 25 0 1 0 831322248 38354944 8681 4294967295 134512640 134714508 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9364 8681 1111 63 0 9301 0
vsize: 37456
[startup+280.001 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 1896
Raw data (stat): 1896 (bsolo_lpr_cuts) R 1895 1586 1585 0 -1 0 279591 0 12 0 27190 763 0 0 25 0 1 0 831322248 38432768 8673 4294967295 134512640 134714508 3221224576 3221222688 1074867314 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9383 8673 1111 63 0 9320 0
vsize: 37532
[startup+290.001 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 1896
Raw data (stat): 1896 (bsolo_lpr_cuts) R 1895 1586 1585 0 -1 0 290849 0 12 0 28165 789 0 0 25 0 1 0 831322248 40960000 9293 4294967295 134512640 134714508 3221224576 3221220432 1074867974 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10000 9293 1111 63 0 9937 0
vsize: 40000
[startup+300.002 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 1896
Raw data (stat): 1896 (bsolo_lpr_cuts) R 1895 1586 1585 0 -1 0 303741 0 12 0 29133 821 0 0 25 0 1 0 831322248 38387712 8687 4294967295 134512640 134714508 3221224576 3221222576 1074918591 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9372 8687 1111 63 0 9309 0
vsize: 37488
[startup+310.001 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 1896
Raw data (stat): 1896 (bsolo_lpr_cuts) R 1895 1586 1585 0 -1 0 313131 0 12 0 30110 844 0 0 25 0 1 0 831322248 41472000 9443 4294967295 134512640 134714508 3221224576 3221220544 1074872793 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10125 9443 1111 63 0 10062 0
vsize: 40500
[startup+320.002 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 1896
Raw data (stat): 1896 (bsolo_lpr_cuts) R 1895 1586 1585 0 -1 0 325755 0 12 0 31078 876 0 0 25 0 1 0 831322248 38973440 8804 4294967295 134512640 134714508 3221224576 3221222576 1074918583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9515 8804 1111 63 0 9452 0
vsize: 38060
[startup+330.001 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 1896
Raw data (stat): 1896 (bsolo_lpr_cuts) R 1895 1586 1585 0 -1 0 339854 0 12 0 32042 912 0 0 25 0 1 0 831322248 38719488 8774 4294967295 134512640 134714508 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9453 8774 1111 63 0 9390 0
vsize: 37812
[startup+340.001 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 1896
Raw data (stat): 1896 (bsolo_lpr_cuts) R 1895 1586 1585 0 -1 0 354756 0 12 0 33004 950 0 0 25 0 1 0 831322248 41222144 9385 4294967295 134512640 134714508 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10064 9385 1111 63 0 10001 0
vsize: 40256
[startup+350.001 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 1896
Raw data (stat): 1896 (bsolo_lpr_cuts) R 1895 1586 1585 0 -1 0 370245 0 12 0 33966 988 0 0 25 0 1 0 831322248 39694336 8980 4294967295 134512640 134714508 3221224576 3221222576 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9691 8980 1111 63 0 9628 0
vsize: 38764
[startup+360 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 1896
Raw data (stat): 1896 (bsolo_lpr_cuts) R 1895 1586 1585 0 -1 0 385186 0 12 0 34927 1027 0 0 25 0 1 0 831322248 42139648 9609 4294967295 134512640 134714508 3221224576 3221222688 1074867340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10288 9609 1111 63 0 10225 0
vsize: 41152
[startup+370.001 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 1896
Raw data (stat): 1896 (bsolo_lpr_cuts) R 1895 1586 1585 0 -1 0 398854 0 12 0 35892 1062 0 0 25 0 1 0 831322248 40366080 9176 4294967295 134512640 134714508 3221224576 3221219760 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9855 9176 1111 63 0 9792 0
vsize: 39420
[startup+380.001 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 1896
Raw data (stat): 1896 (bsolo_lpr_cuts) R 1895 1586 1585 0 -1 0 411916 0 12 0 36858 1097 0 0 25 0 1 0 831322248 42618880 9726 4294967295 134512640 134714508 3221224576 3221222576 1074918496 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10405 9726 1111 63 0 10342 0
vsize: 41620
[startup+390 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 1896
Raw data (stat): 1896 (bsolo_lpr_cuts) R 1895 1586 1585 0 -1 0 425422 0 12 0 37821 1134 0 0 25 0 1 0 831322248 42369024 9445 4294967295 134512640 134714508 3221224576 3221220540 1074860617 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10344 9445 1111 63 0 10281 0
vsize: 41376
[startup+400 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 1896
Raw data (stat): 1896 (bsolo_lpr_cuts) R 1895 1586 1585 0 -1 0 435308 0 12 0 38798 1158 0 0 25 0 1 0 831322248 42070016 9560 4294967295 134512640 134714508 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10271 9560 1111 63 0 10208 0
vsize: 41084
[startup+409.999 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 1896
Raw data (stat): 1896 (bsolo_lpr_cuts) R 1895 1586 1585 0 -1 0 447759 0 12 0 39762 1193 0 0 25 0 1 0 831322248 41984000 9571 4294967295 134512640 134714508 3221224576 3221220192 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10250 9571 1111 63 0 10187 0
vsize: 41000
[startup+420 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 1896
Raw data (stat): 1896 (bsolo_lpr_cuts) R 1895 1586 1585 0 -1 0 460615 0 12 0 40727 1228 0 0 25 0 1 0 831322248 43102208 9844 4294967295 134512640 134714508 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10523 9844 1111 63 0 10460 0
vsize: 42092
[startup+430 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 1896
Raw data (stat): 1896 (bsolo_lpr_cuts) R 1895 1586 1585 0 -1 0 475329 0 12 0 41692 1264 0 0 25 0 1 0 831322248 44359680 10137 4294967295 134512640 134714508 3221224576 3221222576 1074918599 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10830 10137 1111 63 0 10767 0
vsize: 43320
[startup+440 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 1896
Raw data (stat): 1896 (bsolo_lpr_cuts) R 1895 1586 1585 0 -1 0 487739 0 12 0 42663 1293 0 0 25 0 1 0 831322248 44470272 10178 4294967295 134512640 134714508 3221224576 3221223064 134535877 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10857 10178 1111 63 0 10794 0
vsize: 43428
[startup+450.001 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 1896
Raw data (stat): 1896 (bsolo_lpr_cuts) R 1895 1586 1585 0 -1 0 500058 0 12 0 43634 1322 0 0 25 0 1 0 831322248 46157824 10440 4294967295 134512640 134714508 3221224576 3221220524 1074788980 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11269 10440 1111 63 0 11206 0
vsize: 45076
[startup+460 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 1896
Raw data (stat): 1896 (bsolo_lpr_cuts) R 1895 1586 1585 0 -1 0 515426 0 12 0 44597 1359 0 0 25 0 1 0 831322248 45199360 10356 4294967295 134512640 134714508 3221224576 3221222992 1074116254 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11035 10356 1111 63 0 10972 0
vsize: 44140
[startup+470 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 1896
Raw data (stat): 1896 (bsolo_lpr_cuts) R 1895 1586 1585 0 -1 0 530471 0 12 0 45559 1397 0 0 25 0 1 0 831322248 45604864 10455 4294967295 134512640 134714508 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11134 10455 1111 63 0 11071 0
vsize: 44536
[startup+480 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 1896
Raw data (stat): 1896 (bsolo_lpr_cuts) R 1895 1586 1585 0 -1 0 543693 0 12 0 46525 1431 0 0 25 0 1 0 831322248 49483776 11335 4294967295 134512640 134714508 3221224576 3221220620 1074873480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12081 11335 1111 63 0 12018 0
vsize: 48324
[startup+489.999 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 1896
Raw data (stat): 1896 (bsolo_lpr_cuts) R 1895 1586 1585 0 -1 0 558291 0 12 0 47489 1468 0 0 25 0 1 0 831322248 46907392 10773 4294967295 134512640 134714508 3221224576 3221221920 1074839043 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11452 10773 1111 63 0 11389 0
vsize: 45808
[startup+500 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 1896
Raw data (stat): 1896 (bsolo_lpr_cuts) R 1895 1586 1585 0 -1 0 577301 0 12 0 48446 1511 0 0 25 0 1 0 831322248 48611328 11024 4294967295 134512640 134714508 3221224576 3221220944 1075894538 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11868 11024 1111 63 0 11805 0
vsize: 47472
[startup+509.999 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 1896
Raw data (stat): 1896 (bsolo_lpr_cuts) R 1895 1586 1585 0 -1 0 587667 0 12 0 49422 1535 0 0 25 0 1 0 831322248 48914432 11105 4294967295 134512640 134714508 3221224576 3221220648 1074950210 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11942 11105 1111 63 0 11879 0
vsize: 47768
[startup+519.999 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 1896
Raw data (stat): 1896 (bsolo_lpr_cuts) R 1895 1586 1585 0 -1 0 605175 0 12 0 50384 1574 0 0 25 0 1 0 831322248 50462720 11641 4294967295 134512640 134714508 3221224576 3221222576 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12320 11641 1111 63 0 12257 0
vsize: 49280
[startup+529.999 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 1896
Raw data (stat): 1896 (bsolo_lpr_cuts) R 1895 1586 1585 0 -1 0 615912 0 12 0 51359 1599 0 0 25 0 1 0 831322248 49885184 11387 4294967295 134512640 134714508 3221224576 3221220620 1074873439 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12179 11387 1111 63 0 12116 0
vsize: 48716
[startup+539.998 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 1896
Raw data (stat): 1896 (bsolo_lpr_cuts) R 1895 1586 1585 0 -1 0 630544 0 12 0 52323 1635 0 0 25 0 1 0 831322248 49303552 11326 4294967295 134512640 134714508 3221224576 3221222304 1075828498 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12037 11326 1111 63 0 11974 0
vsize: 48148
[startup+549.999 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 1896
Raw data (stat): 1896 (bsolo_lpr_cuts) R 1895 1586 1585 0 -1 0 642985 0 12 0 53291 1666 0 0 25 0 1 0 831322248 48611328 11189 4294967295 134512640 134714508 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11868 11189 1111 63 0 11805 0
vsize: 47472
[startup+559.999 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 1896
Raw data (stat): 1896 (bsolo_lpr_cuts) R 1895 1586 1585 0 -1 0 654382 0 12 0 54267 1691 0 0 25 0 1 0 831322248 50589696 11539 4294967295 134512640 134714508 3221224576 3221220580 1074875787 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12351 11539 1111 63 0 12288 0
vsize: 49404
[startup+569.999 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 1896
Raw data (stat): 1896 (bsolo_lpr_cuts) R 1895 1586 1585 0 -1 0 660498 0 12 0 55253 1705 0 0 25 0 1 0 831322248 53583872 12326 4294967295 134512640 134714508 3221224576 3221220408 1074789222 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13082 12326 1111 63 0 13019 0
vsize: 52328
[startup+579.998 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 1896
Raw data (stat): 1896 (bsolo_lpr_cuts) R 1895 1586 1585 0 -1 0 667116 0 12 0 56238 1720 0 0 25 0 1 0 831322248 49836032 11461 4294967295 134512640 134714508 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12167 11461 1111 63 0 12104 0
vsize: 48668
[startup+589.998 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 1896
Raw data (stat): 1896 (bsolo_lpr_cuts) R 1895 1586 1585 0 -1 0 683574 0 12 0 57198 1761 0 0 25 0 1 0 831322248 49688576 11420 4294967295 134512640 134714508 3221224576 3221222224 1075818357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12131 11420 1111 63 0 12068 0
vsize: 48524
[startup+599.999 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 1896
Raw data (stat): 1896 (bsolo_lpr_cuts) R 1895 1586 1585 0 -1 0 695907 0 12 0 58169 1790 0 0 25 0 1 0 831322248 53878784 12245 4294967295 134512640 134714508 3221224576 3221220544 1074872781 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13154 12245 1111 63 0 13091 0
vsize: 52616
[startup+609.998 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 1896
Raw data (stat): 1896 (bsolo_lpr_cuts) R 1895 1586 1585 0 -1 0 706614 0 12 0 59143 1816 0 0 25 0 1 0 831322248 52011008 11588 4294967295 134512640 134714508 3221224576 3221220560 1074875093 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12698 11588 1111 63 0 12635 0
vsize: 50792
[startup+619.998 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 1896
Raw data (stat): 1896 (bsolo_lpr_cuts) R 1895 1586 1585 0 -1 0 717561 0 12 0 60116 1843 0 0 25 0 1 0 831322248 54542336 12460 4294967295 134512640 134714508 3221224576 3221220480 1074786854 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13316 12460 1111 63 0 13253 0
vsize: 53264
[startup+629.999 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 1896
Raw data (stat): 1896 (bsolo_lpr_cuts) R 1895 1586 1585 0 -1 0 718086 0 12 0 61115 1844 0 0 25 0 1 0 831322248 51404800 11871 4294967295 134512640 134714508 3221224576 3221222320 1075640393 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12550 11871 1111 63 0 12487 0
vsize: 50200
[startup+639.998 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 1896
Raw data (stat): 1896 (bsolo_lpr_cuts) R 1895 1586 1585 0 -1 0 733237 0 12 0 62082 1877 0 0 25 0 1 0 831322248 49594368 11429 4294967295 134512640 134714508 3221224576 3221220028 134543156 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12108 11429 1111 63 0 12045 0
vsize: 48432
[startup+649.998 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 1896
Raw data (stat): 1896 (bsolo_lpr_cuts) R 1895 1586 1585 0 -1 0 750376 0 12 0 63043 1917 0 0 25 0 1 0 831322248 50139136 11536 4294967295 134512640 134714508 3221224576 3221219984 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12241 11536 1111 63 0 12178 0
vsize: 48964
[startup+659.999 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 1896
Raw data (stat): 1896 (bsolo_lpr_cuts) R 1895 1586 1585 0 -1 0 754659 0 12 0 64032 1928 0 0 25 0 1 0 831322248 55128064 12673 4294967295 134512640 134714508 3221224576 3221220544 1074872882 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13459 12673 1111 63 0 13396 0
vsize: 53836
[startup+669.999 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 1896
Raw data (stat): 1896 (bsolo_lpr_cuts) R 1895 1586 1585 0 -1 0 766202 0 12 0 65003 1957 0 0 25 0 1 0 831322248 53633024 12020 4294967295 134512640 134714508 3221224576 3221220540 1074860626 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13094 12020 1111 63 0 13031 0
vsize: 52376
[startup+679.999 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 1896
Raw data (stat): 1896 (bsolo_lpr_cuts) R 1895 1586 1585 0 -1 0 782652 0 12 0 65966 1994 0 0 25 0 1 0 831322248 55652352 12562 4294967295 134512640 134714508 3221224576 3221220620 1074873474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13587 12562 1111 63 0 13524 0
vsize: 54348
[startup+689.998 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 1896
Raw data (stat): 1896 (bsolo_lpr_cuts) R 1895 1586 1585 0 -1 0 794410 0 12 0 66938 2022 0 0 25 0 1 0 831322248 52199424 12047 4294967295 134512640 134714508 3221224576 3221222416 1075795791 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12744 12047 1111 63 0 12681 0
vsize: 50976
[startup+699.999 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 1896
Raw data (stat): 1896 (bsolo_lpr_cuts) R 1895 1586 1585 0 -1 0 809938 0 12 0 67902 2058 0 0 25 0 1 0 831322248 52277248 12084 4294967295 134512640 134714508 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12763 12084 1111 63 0 12700 0
vsize: 51052
[startup+709.999 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 1896
Raw data (stat): 1896 (bsolo_lpr_cuts) R 1895 1586 1585 0 -1 0 825861 0 12 0 68867 2094 0 0 25 0 1 0 831322248 54493184 12278 4294967295 134512640 134714508 3221224576 3221221344 1076084148 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13304 12278 1111 63 0 13241 0
vsize: 53216
[startup+720 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 1896
Raw data (stat): 1896 (bsolo_lpr_cuts) R 1895 1586 1585 0 -1 0 828444 0 12 0 69861 2100 0 0 25 0 1 0 831322248 56164352 12941 4294967295 134512640 134714508 3221224576 3221220544 1074872793 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13712 12941 1111 63 0 13649 0
vsize: 54848
[startup+730 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 1896
Raw data (stat): 1896 (bsolo_lpr_cuts) R 1895 1586 1585 0 -1 0 834758 0 12 0 70845 2116 0 0 25 0 1 0 831322248 52527104 12145 4294967295 134512640 134714508 3221224576 3221222688 1074867305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12824 12145 1111 63 0 12761 0
vsize: 51296
[startup+739.999 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 1896
Raw data (stat): 1896 (bsolo_lpr_cuts) R 1895 1586 1585 0 -1 0 846879 0 12 0 71817 2144 0 0 25 0 1 0 831322248 52391936 12112 4294967295 134512640 134714508 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12791 12112 1111 63 0 12728 0
vsize: 51164
[startup+750 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 1896
Raw data (stat): 1896 (bsolo_lpr_cuts) R 1895 1586 1585 0 -1 0 855934 0 12 0 72795 2167 0 0 25 0 1 0 831322248 51986432 12012 4294967295 134512640 134714508 3221224576 3221222576 1074918607 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12692 12012 1111 63 0 12629 0
vsize: 50768
[startup+760 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 1896
Raw data (stat): 1896 (bsolo_lpr_cuts) R 1895 1586 1585 0 -1 0 859486 0 12 0 73786 2175 0 0 25 0 1 0 831322248 56029184 12917 4294967295 134512640 134714508 3221224576 3221221648 1074867340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13679 12917 1111 63 0 13616 0
vsize: 54716
[startup+770 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 1896
Raw data (stat): 1896 (bsolo_lpr_cuts) R 1895 1586 1585 0 -1 0 864318 0 12 0 74774 2188 0 0 25 0 1 0 831322248 51744768 11922 4294967295 134512640 134714508 3221224576 3221221856 1074140019 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12633 11922 1111 63 0 12570 0
vsize: 50532
[startup+780.001 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 1896
Raw data (stat): 1896 (bsolo_lpr_cuts) R 1895 1586 1585 0 -1 0 878888 0 12 0 75739 2223 0 0 25 0 1 0 831322248 54218752 12558 4294967295 134512640 134714508 3221224576 3221222576 1074918583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13237 12558 1111 63 0 13174 0
vsize: 52948
[startup+790 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 1896
Raw data (stat): 1896 (bsolo_lpr_cuts) R 1895 1586 1585 0 -1 0 879848 0 12 0 76737 2226 0 0 25 0 1 0 831322248 56393728 12960 4294967295 134512640 134714508 3221224576 3221220752 1074882610 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13768 12960 1111 63 0 13705 0
vsize: 55072
[startup+800 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 1896
Raw data (stat): 1896 (bsolo_lpr_cuts) R 1895 1586 1585 0 -1 0 892925 0 12 0 77706 2256 0 0 25 0 1 0 831322248 56393728 12749 4294967295 134512640 134714508 3221224576 3221220804 1075115049 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13768 12749 1111 63 0 13705 0
vsize: 55072
[startup+810.001 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 1896
Raw data (stat): 1896 (bsolo_lpr_cuts) R 1895 1586 1585 0 -1 0 902386 0 12 0 78683 2279 0 0 25 0 1 0 831322248 52281344 12083 4294967295 134512640 134714508 3221224576 3221222576 1074918583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12764 12083 1111 63 0 12701 0
vsize: 51056
[startup+820.004 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 1896
Raw data (stat): 1896 (bsolo_lpr_cuts) R 1895 1586 1585 0 -1 0 908520 0 12 0 79669 2294 0 0 25 0 1 0 831322248 56430592 13044 4294967295 134512640 134714508 3221224576 3221220952 1075112606 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13777 13044 1111 63 0 13714 0
vsize: 55108
[startup+830.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 1896
Raw data (stat): 1896 (bsolo_lpr_cuts) R 1895 1586 1585 0 -1 0 910659 0 12 0 80665 2299 0 0 25 0 1 0 831322248 55058432 12423 4294967295 134512640 134714508 3221224576 3221220620 1074873490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13442 12423 1111 63 0 13379 0
vsize: 53768
[startup+840.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 1896
Raw data (stat): 1896 (bsolo_lpr_cuts) R 1895 1586 1585 0 -1 0 925693 0 12 0 81630 2335 0 0 25 0 1 0 831322248 52072448 12016 4294967295 134512640 134714508 3221224576 3221219760 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12713 12016 1111 63 0 12650 0
vsize: 50852
[startup+850.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 1896
Raw data (stat): 1896 (bsolo_lpr_cuts) R 1895 1586 1585 0 -1 0 934858 0 12 0 82607 2358 0 0 25 0 1 0 831322248 54353920 12142 4294967295 134512640 134714508 3221224576 3221220804 1075115049 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13270 12142 1111 63 0 13207 0
vsize: 53080
[startup+860.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 1896
Raw data (stat): 1896 (bsolo_lpr_cuts) R 1895 1586 1585 0 -1 0 944441 0 12 0 83584 2381 0 0 25 0 1 0 831322248 56479744 12873 4294967295 134512640 134714508 3221224576 3221220620 1074873478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13789 12873 1111 63 0 13726 0
vsize: 55156
[startup+870.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 1896
Raw data (stat): 1896 (bsolo_lpr_cuts) R 1895 1586 1585 0 -1 0 957621 0 12 0 84552 2414 0 0 25 0 1 0 831322248 52260864 12080 4294967295 134512640 134714508 3221224576 3221222304 1075828444 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12759 12080 1111 63 0 12696 0
vsize: 51036
[startup+880.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 1896
Raw data (stat): 1896 (bsolo_lpr_cuts) R 1895 1586 1585 0 -1 0 974707 0 12 0 85512 2454 0 0 25 0 1 0 831322248 52441088 12092 4294967295 134512640 134714508 3221224576 3221221328 1074247419 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12803 12092 1111 63 0 12740 0
vsize: 51212
[startup+890.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 1896
Raw data (stat): 1896 (bsolo_lpr_cuts) R 1895 1586 1585 0 -1 0 981861 0 12 0 86496 2470 0 0 25 0 1 0 831322248 57249792 13090 4294967295 134512640 134714508 3221224576 3221221496 1074950102 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13977 13090 1111 63 0 13914 0
vsize: 55908
[startup+900.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 1896
Raw data (stat): 1896 (bsolo_lpr_cuts) R 1895 1586 1585 0 -1 0 995504 0 12 0 87463 2503 0 0 25 0 1 0 831322248 53489664 12380 4294967295 134512640 134714508 3221224576 3221222576 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13059 12380 1111 63 0 12996 0
vsize: 52236
[startup+910.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 1896
Raw data (stat): 1896 (bsolo_lpr_cuts) R 1895 1586 1585 0 -1 0 1009890 0 12 0 88429 2537 0 0 25 0 1 0 831322248 55812096 12592 4294967295 134512640 134714508 3221224576 3221220620 1074873520 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13626 12592 1111 63 0 13563 0
vsize: 54504
[startup+920.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 1896
Raw data (stat): 1896 (bsolo_lpr_cuts) R 1895 1586 1585 0 -1 0 1016485 0 12 0 89412 2555 0 0 25 0 1 0 831322248 57622528 13289 4294967295 134512640 134714508 3221224576 3221220788 1075117106 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14068 13289 1111 63 0 14005 0
vsize: 56272
[startup+930.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 1896
Raw data (stat): 1896 (bsolo_lpr_cuts) R 1895 1586 1585 0 -1 0 1016535 0 12 0 90412 2555 0 0 25 0 1 0 831322248 57622528 13339 4294967295 134512640 134714508 3221224576 3221220752 1074882601 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14068 13339 1111 63 0 14005 0
vsize: 56272
[startup+940.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 1896
Raw data (stat): 1896 (bsolo_lpr_cuts) R 1895 1586 1585 0 -1 0 1030556 0 12 0 91379 2588 0 0 25 0 1 0 831322248 55791616 12587 4294967295 134512640 134714508 3221224576 3221220736 1075093184 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13621 12587 1111 63 0 13558 0
vsize: 54484
[startup+950.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 1896
Raw data (stat): 1896 (bsolo_lpr_cuts) R 1895 1586 1585 0 -1 0 1037211 0 12 0 92364 2603 0 0 25 0 1 0 831322248 57634816 13176 4294967295 134512640 134714508 3221224576 3221221388 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14071 13176 1111 63 0 14008 0
vsize: 56284
[startup+960.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 1896
Raw data (stat): 1896 (bsolo_lpr_cuts) R 1895 1586 1585 0 -1 0 1043130 0 12 0 93350 2618 0 0 25 0 1 0 831322248 53653504 12414 4294967295 134512640 134714508 3221224576 3221221920 1074839039 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13099 12414 1111 63 0 13036 0
vsize: 52396
[startup+970.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 1896
Raw data (stat): 1896 (bsolo_lpr_cuts) R 1895 1586 1585 0 -1 0 1058050 0 12 0 94313 2655 0 0 25 0 1 0 831322248 54284288 12574 4294967295 134512640 134714508 3221224576 3221222688 1074867340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13253 12574 1111 63 0 13190 0
vsize: 53012
[startup+980.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 1896
Raw data (stat): 1896 (bsolo_lpr_cuts) R 1895 1586 1585 0 -1 0 1068712 0 12 0 95286 2682 0 0 25 0 1 0 831322248 53633024 12415 4294967295 134512640 134714508 3221224576 3221222816 1074039238 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13094 12415 1111 63 0 13031 0
vsize: 52376
[startup+990.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 1896
Raw data (stat): 1896 (bsolo_lpr_cuts) R 1895 1586 1585 0 -1 0 1075516 0 12 0 96271 2698 0 0 25 0 1 0 831322248 56610816 12849 4294967295 134512640 134714508 3221224576 3221220588 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13821 12849 1111 63 0 13758 0
vsize: 55284
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 1896
Raw data (stat): 1896 (bsolo_lpr_cuts) R 1895 1586 1585 0 -1 0 1082617 0 12 0 97255 2713 0 0 25 0 1 0 831322248 56528896 12804 4294967295 134512640 134714508 3221224576 3221220544 1074872793 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13801 12804 1111 63 0 13738 0
vsize: 55204
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 1896
Raw data (stat): 1896 (bsolo_lpr_cuts) R 1895 1586 1585 0 -1 0 1088354 0 12 0 98243 2727 0 0 25 0 1 0 831322248 56455168 12773 4294967295 134512640 134714508 3221224576 3221220648 1074950210 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13783 12773 1111 63 0 13720 0
vsize: 55132
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 1896
Raw data (stat): 1896 (bsolo_lpr_cuts) R 1895 1586 1585 0 -1 0 1090923 0 12 0 99238 2733 0 0 25 0 1 0 831322248 57917440 13406 4294967295 134512640 134714508 3221224576 3221220544 1074872805 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14140 13406 1111 63 0 14077 0
vsize: 56560
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 1896
Raw data (stat): 1896 (bsolo_lpr_cuts) R 1895 1586 1585 0 -1 0 1093983 0 12 0 100229 2742 0 0 25 0 1 0 831322248 53616640 12411 4294967295 134512640 134714508 3221224576 3221219888 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13090 12411 1111 63 0 13027 0
vsize: 52360
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 1896
Raw data (stat): 1896 (bsolo_lpr_cuts) R 1895 1586 1585 0 -1 0 1101108 0 12 0 101212 2760 0 0 25 0 1 0 831322248 56500224 12779 4294967295 134512640 134714508 3221224576 3221220784 1074815403 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13794 12779 1111 63 0 13731 0
vsize: 55176
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 1896
Raw data (stat): 1896 (bsolo_lpr_cuts) R 1895 1586 1585 0 -1 0 1106297 0 12 0 102200 2773 0 0 25 0 1 0 831322248 58015744 13295 4294967295 134512640 134714508 3221224576 3221220544 1074872793 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14164 13295 1111 63 0 14101 0
vsize: 56656
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 1896
Raw data (stat): 1896 (bsolo_lpr_cuts) R 1895 1586 1585 0 -1 0 1110130 0 12 0 103191 2782 0 0 25 0 1 0 831322248 54726656 12682 4294967295 134512640 134714508 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13361 12682 1111 63 0 13298 0
vsize: 53444
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 1896
Raw data (stat): 1896 (bsolo_lpr_cuts) R 1895 1586 1585 0 -1 0 1120302 0 12 0 104168 2805 0 0 25 0 1 0 831322248 58298368 13447 4294967295 134512640 134714508 3221224576 3221220736 1075091282 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14233 13447 1111 63 0 14170 0
vsize: 56932
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 1896
Raw data (stat): 1896 (bsolo_lpr_cuts) R 1895 1586 1585 0 -1 0 1120363 0 12 0 105167 2806 0 0 25 0 1 0 831322248 58298368 13508 4294967295 134512640 134714508 3221224576 3221220608 1074790218 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14233 13508 1111 63 0 14170 0
vsize: 56932
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 1896
Raw data (stat): 1896 (bsolo_lpr_cuts) R 1895 1586 1585 0 -1 0 1125003 0 12 0 106156 2818 0 0 25 0 1 0 831322248 58052608 13315 4294967295 134512640 134714508 3221224576 3221221648 1074867305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14173 13315 1111 63 0 14110 0
vsize: 56692
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 1896
Raw data (stat): 1896 (bsolo_lpr_cuts) R 1895 1586 1585 0 -1 0 1135515 0 12 0 107129 2844 0 0 25 0 1 0 831322248 53780480 12451 4294967295 134512640 134714508 3221224576 3221219936 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13130 12451 1111 63 0 13067 0
vsize: 52520
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 1896
Raw data (stat): 1896 (bsolo_lpr_cuts) R 1895 1586 1585 0 -1 0 1137254 0 12 0 108125 2848 0 0 25 0 1 0 831322248 58081280 13393 4294967295 134512640 134714508 3221224576 3221220544 1074872882 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14180 13393 1111 63 0 14117 0
vsize: 56720
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 1896
Raw data (stat): 1896 (bsolo_lpr_cuts) R 1895 1586 1585 0 -1 0 1147734 0 12 0 109099 2875 0 0 25 0 1 0 831322248 53428224 12333 4294967295 134512640 134714508 3221224576 3221222576 1074918479 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13044 12333 1111 63 0 12981 0
vsize: 52176
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 1896
Raw data (stat): 1896 (bsolo_lpr_cuts) R 1895 1586 1585 0 -1 0 1154740 0 12 0 110082 2892 0 0 25 0 1 0 831322248 58396672 13342 4294967295 134512640 134714508 3221224576 3221220704 1075112389 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14257 13342 1111 63 0 14194 0
vsize: 57028
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 1896
Raw data (stat): 1896 (bsolo_lpr_cuts) R 1895 1586 1585 0 -1 0 1154875 0 12 0 111082 2893 0 0 25 0 1 0 831322248 58396672 13477 4294967295 134512640 134714508 3221224576 3221220752 1074882601 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14257 13477 1111 63 0 14194 0
vsize: 57028
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 1896
Raw data (stat): 1896 (bsolo_lpr_cuts) R 1895 1586 1585 0 -1 0 1167305 0 12 0 112051 2923 0 0 25 0 1 0 831322248 54730752 12683 4294967295 134512640 134714508 3221224576 3221222576 1074918533 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13362 12683 1111 63 0 13299 0
vsize: 53448
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 1896
Raw data (stat): 1896 (bsolo_lpr_cuts) R 1895 1586 1585 0 -1 0 1178795 0 12 0 113026 2949 0 0 25 0 1 0 831322248 56934400 12875 4294967295 134512640 134714508 3221224576 3221220620 1074873478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13900 12875 1111 63 0 13837 0
vsize: 55600
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 1896
Raw data (stat): 1896 (bsolo_lpr_cuts) R 1895 1586 1585 0 -1 0 1190391 0 12 0 113997 2977 0 0 25 0 1 0 831322248 58576896 13283 4294967295 134512640 134714508 3221224576 3221220620 1074873490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14301 13283 1111 63 0 14238 0
vsize: 57204
[startup+1178.63 s]
Raw data (loadavg): 0.99 0.97 0.99 1/53 1896
Raw data (stat): 1896 (bsolo_lpr_cuts) R 1895 1586 1585 0 -1 0 1190391 0 12 0 113997 2977 0 0 25 0 1 0 831322248 58576896 13283 4294967295 134512640 134714508 3221224576 3221220620 1074873490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14301 13283 1111 63 0 14238 0
vsize: 0

Child status: 10
Real time (s): 1178.63
CPU time (s): 1178.33
CPU user time (s): 1148.46
CPU system time (s): 29.8735
CPU usage (%): 99.9748
Max. virtual memory (Kb): 57204
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	325
#### END VERIFIER DATA ####