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-markshare2.opb
MD5SUM	b54bb080800e2327586cd478559c04ff
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	10368
Optimality of the best value was proved	NO
Number of terms in the objective function	140
Biggest coefficient in the objective function	524288
Number of bits for the biggest coefficient in the objective function	20
Sum of the numbers in the objective function	7340025
Number of bits of the sum of numbers in the objective function	23
Biggest number in a constraint	524288
Number of bits of the biggest number in a constraint	20
Biggest sum of numbers in a constraint	7340025
Number of bits of the biggest sum of numbers	23
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.09
Number of variables	200
Total number of constraints	67
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	60
Number of constraints which are nor clauses,nor cardinality constraints	7
Minimum length of a constraint	1
Maximum length of a constraint	80
Trace number 40410

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-08 09:26:55 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28469 boxname=wulflinc2 idbench=1425 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  b54bb080800e2327586cd478559c04ff  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-markshare2.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-markshare2.opb
IDLAUNCH: 28469
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        909304 kB
Buffers:          5992 kB
Cached:          97332 kB
SwapCached:       1328 kB
Active:          22600 kB
Inactive:        82700 kB
HighTotal:      131008 kB
HighFree:        58604 kB
LowTotal:       903652 kB
LowFree:        850700 kB
SwapTotal:     2097136 kB
SwapFree:      2094736 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4976 kB
Slab:            14252 kB
Committed_AS:    71788 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 09:46:30 (client local time) WITH STATUS 10 IN 1175.09 SECONDS
stats: 28469 0 1175.09 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 200 variables and 14 constraints.
c After prepocess the problem consists of 186 variables and 14 constraints.
c preprocess terminated 0.103 s
c Initial Lower Bound: 0
c Lower Bound Elapsed time: 0.0095
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 215680 @ 0.416
c NEW SOLUTION FOUND: 185600 @ 0.418
c NEW SOLUTION FOUND: 110592 @ 0.492
c NEW SOLUTION FOUND: 109952 @ 2.119
c NEW SOLUTION FOUND: 102144 @ 2.226
c NEW SOLUTION FOUND: 92032 @ 6.637
c NEW SOLUTION FOUND: 83072 @ 8.938
c NEW SOLUTION FOUND: 64000 @ 9.013
c NEW SOLUTION FOUND: 61184 @ 46.794
s SATISFIABLE
v -s01_bit_7 -s01_bit_6 -s01_bit_5 -s01_bit_4 -s01_bit_3 -s01_bit_2 -s01_bit_1 -s01_bit0 s01_bit1 s01_bit2 -s01_bit3 -s01_bit4 -s01_bit5 s01_bit6 -s01_bit7 -s01_bit8 -s01_bit9 -s01_bit10 -s01_bit11 -s01_bit12 -s11_bit_7 -s11_bit_6 -s11_bit_5 -s11_bit_4 -s11_bit_3 -s11_bit_2 -s11_bit_1 s11_bit0 -s11_bit1 s11_bit2 -s11_bit3 s11_bit4 s11_bit5 s11_bit6 -s11_bit7 -s11_bit8 -s11_bit9 -s11_bit10 -s11_bit11 -s11_bit12 -s21_bit_7 -s21_bit_6 -s21_bit_5 -s21_bit_4 -s21_bit_3 -s21_bit_2 -s21_bit_1 -s21_bit0 -s21_bit1 -s21_bit2 s21_bit3 -s21_bit4 s21_bit5 -s21_bit6 s21_bit7 -s21_bit8 -s21_bit9 -s21_bit10 -s21_bit11 -s21_bit12 -s31_bit_7 -s31_bit_6 -s31_bit_5 -s31_bit_4 -s31_bit_3 -s31_bit_2 -s31_bit_1 -s31_bit0 s31_bit1 -s31_bit2 s31_bit3 -s31_bit4 -s31_bit5 -s31_bit6 -s31_bit7 -s31_bit8 -s31_bit9 -s31_bit10 -s31_bit11 -s31_bit12 -s41_bit_7 -s41_bit_6 -s41_bit_5 -s41_bit_4 -s41_bit_3 -s41_bit_2 -s41_bit_1 -s41_bit0 -s41_bit1 -s41_bit2 s41_bit3 -s41_bit4 -s41_bit5 -s41_bit6 -s41_bit7 -s41_bit8 -s41_bit9 -s41_bit10 -s41_bit11 -s41_bit12 -s51_bit_7 -s51_bit_6 -s51_bit_5 -s51_bit_4 -s51_bit_3 -s51_bit_2 -s51_bit_1 -s51_bit0 -s51_bit1 -s51_bit2 -s51_bit3 -s51_bit4 s51_bit5 s51_bit6 -s51_bit7 -s51_bit8 -s51_bit9 -s51_bit10 -s51_bit11 -s51_bit12 -s61_bit_7 -s61_bit_6 -s61_bit_5 -s61_bit_4 -s61_bit_3 -s61_bit_2 -s61_bit_1 s61_bit0 -s61_bit1 -s61_bit2 s61_bit3 -s61_bit4 -s61_bit5 -s61_bit6 -s61_bit7 -s61_bit8 -s61_bit9 -s61_bit10 -s61_bit11 -s61_bit12 -x0_bit0 x1_bit0 x2_bit0 -x3_bit0 -x4_bit0 x5_bit0 -x6_bit0 x7_bit0 -x8_bit0 x9_bit0 -x10_bit0 -x11_bit0 x12_bit0 -x13_bit0 x14_bit0 x15_bit0 -x16_bit0 x17_bit0 x18_bit0 -x19_bit0 x20_bit0 -x21_bit0 -x22_bit0 -x23_bit0 -x24_bit0 x25_bit0 -x26_bit0 -x27_bit0 -x28_bit0 x29_bit0 x30_bit0 x31_bit0 x32_bit0 -x33_bit0 -x34_bit0 x35_bit0 -x36_bit0 x37_bit0 -x38_bit0 -x39_bit0 -x40_bit0 x41_bit0 x42_bit0 -x43_bit0 -x44_bit0 x45_bit0 x46_bit0 -x47_bit0 -x48_bit0 -x49_bit0 x50_bit0 x51_bit0 x52_bit0 -x53_bit0 -x54_bit0 x55_bit0 x56_bit0 -x57_bit0 x58_bit0 x59_bit0 
c Exit Code: 10
c Total time: 1175.05 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
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.91 0.98 0.95 2/54 8001
Raw data (stat): 8001 (runsolver) R 8000 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 900549793 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+9.99982 s]
Raw data (loadavg): 0.93 0.98 0.95 2/54 8001
Raw data (stat): 8001 (bsolo_lpr-v2) R 8000 31399 31398 0 -1 0 6752 0 0 0 972 25 0 0 25 0 1 0 900549793 11075584 2014 4294967295 134512640 134716908 3221224576 3221223008 134652414 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2704 2014 1111 63 0 2641 0
vsize: 10816
[startup+20.0004 s]
Raw data (loadavg): 0.94 0.98 0.95 2/54 8001
Raw data (stat): 8001 (bsolo_lpr-v2) R 8000 31399 31398 0 -1 0 12288 0 0 0 1948 49 0 0 25 0 1 0 900549793 14180352 2769 4294967295 134512640 134716908 3221224576 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3462 2769 1111 63 0 3399 0
vsize: 13848
[startup+30.0004 s]
Raw data (loadavg): 0.95 0.98 0.95 2/54 8001
Raw data (stat): 8001 (bsolo_lpr-v2) R 8000 31399 31398 0 -1 0 16752 0 0 0 2928 69 0 0 25 0 1 0 900549793 16445440 3321 4294967295 134512640 134716908 3221224576 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4015 3321 1111 63 0 3952 0
vsize: 16060
[startup+40.0008 s]
Raw data (loadavg): 0.95 0.98 0.95 2/54 8001
Raw data (stat): 8001 (bsolo_lpr-v2) R 8000 31399 31398 0 -1 0 21602 0 0 0 3906 91 0 0 25 0 1 0 900549793 18849792 3853 4294967295 134512640 134716908 3221224576 3221220540 1074860816 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4602 3853 1111 63 0 4539 0
vsize: 18408
[startup+50.0035 s]
Raw data (loadavg): 0.96 0.98 0.95 2/54 8001
Raw data (stat): 8001 (bsolo_lpr-v2) R 8000 31399 31398 0 -1 0 25914 0 0 0 4886 111 0 0 25 0 1 0 900549793 20140032 4222 4294967295 134512640 134716908 3221224576 3221221900 1074207392 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4965 4223 1111 63 0 4902 0
vsize: 19668
[startup+60.0035 s]
Raw data (loadavg): 0.97 0.98 0.95 2/54 8001
Raw data (stat): 8001 (bsolo_lpr-v2) R 8000 31399 31398 0 -1 0 29680 0 0 0 5869 128 0 0 25 0 1 0 900549793 21028864 4440 4294967295 134512640 134716908 3221224576 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5134 4440 1111 63 0 5071 0
vsize: 20536
[startup+70.0039 s]
Raw data (loadavg): 0.97 0.98 0.95 2/54 8001
Raw data (stat): 8001 (bsolo_lpr-v2) R 8000 31399 31398 0 -1 0 33800 0 0 0 6854 143 0 0 25 0 1 0 900549793 22470656 4761 4294967295 134512640 134716908 3221224576 3221220608 1075965303 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5486 4761 1111 63 0 5423 0
vsize: 21944
[startup+80.0036 s]
Raw data (loadavg): 0.98 0.98 0.95 2/54 8001
Raw data (stat): 8001 (bsolo_lpr-v2) R 8000 31399 31398 0 -1 0 35923 0 0 0 7843 155 0 0 25 0 1 0 900549793 22851584 4883 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5579 4883 1111 63 0 5516 0
vsize: 22316
[startup+90.0046 s]
Raw data (loadavg): 0.98 0.98 0.95 2/54 8001
Raw data (stat): 8001 (bsolo_lpr-v2) R 8000 31399 31398 0 -1 0 39146 0 0 0 8829 169 0 0 25 0 1 0 900549793 23531520 4999 4294967295 134512640 134716908 3221224576 3221220944 1075894538 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5745 4999 1111 63 0 5682 0
vsize: 22980
[startup+100.004 s]
Raw data (loadavg): 0.98 0.98 0.95 2/54 8001
Raw data (stat): 8001 (bsolo_lpr-v2) R 8000 31399 31398 0 -1 0 43358 0 0 0 9815 183 0 0 25 0 1 0 900549793 23650304 5030 4294967295 134512640 134716908 3221224576 3221220736 1075095166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5774 5030 1111 63 0 5711 0
vsize: 23096
[startup+110.004 s]
Raw data (loadavg): 0.98 0.98 0.95 2/54 8001
Raw data (stat): 8001 (bsolo_lpr-v2) R 8000 31399 31398 0 -1 0 50773 0 0 0 10793 205 0 0 25 0 1 0 900549793 24035328 5123 4294967295 134512640 134716908 3221224576 3221220752 1074882610 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5868 5123 1111 63 0 5805 0
vsize: 23472
[startup+120.005 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 8001
Raw data (stat): 8001 (bsolo_lpr-v2) R 8000 31399 31398 0 -1 0 56338 0 0 0 11779 220 0 0 25 0 1 0 900549793 24522752 5270 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5987 5270 1111 63 0 5924 0
vsize: 23948
[startup+130.004 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 8001
Raw data (stat): 8001 (bsolo_lpr-v2) R 8000 31399 31398 0 -1 0 63483 0 0 0 12760 239 0 0 25 0 1 0 900549793 26017792 5638 4294967295 134512640 134716908 3221224576 3221222784 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6352 5638 1111 63 0 6289 0
vsize: 25408
[startup+140.005 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 8001
Raw data (stat): 8001 (bsolo_lpr-v2) R 8000 31399 31398 0 -1 0 68677 0 0 0 13747 251 0 0 25 0 1 0 900549793 26042368 5634 4294967295 134512640 134716908 3221224576 3221222576 1074918591 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6358 5634 1111 63 0 6295 0
vsize: 25432
[startup+150.006 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 8001
Raw data (stat): 8001 (bsolo_lpr-v2) R 8000 31399 31398 0 -1 0 80685 0 0 0 14719 280 0 0 25 0 1 0 900549793 27467776 5918 4294967295 134512640 134716908 3221224576 3221220752 1074882508 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6706 5918 1111 63 0 6643 0
vsize: 26824
[startup+160.005 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 8001
Raw data (stat): 8001 (bsolo_lpr-v2) R 8000 31399 31398 0 -1 0 87948 0 0 0 15702 297 0 0 25 0 1 0 900549793 27656192 6039 4294967295 134512640 134716908 3221224576 3221223304 134622793 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6752 6039 1111 63 0 6689 0
vsize: 27008
[startup+170.005 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 8001
Raw data (stat): 8001 (bsolo_lpr-v2) R 8000 31399 31398 0 -1 0 94349 0 0 0 16688 311 0 0 25 0 1 0 900549793 28082176 6143 4294967295 134512640 134716908 3221224576 3221222680 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6856 6143 1111 63 0 6793 0
vsize: 27424
[startup+180.005 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 8001
Raw data (stat): 8001 (bsolo_lpr-v2) R 8000 31399 31398 0 -1 0 101189 0 0 0 17671 328 0 0 25 0 1 0 900549793 28758016 6297 4294967295 134512640 134716908 3221224576 3221222576 1074918599 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7021 6297 1111 63 0 6958 0
vsize: 28084
[startup+190.005 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 8001
Raw data (stat): 8001 (bsolo_lpr-v2) R 8000 31399 31398 0 -1 0 108504 0 0 0 18653 346 0 0 25 0 1 0 900549793 29470720 6483 4294967295 134512640 134716908 3221224576 3221222576 1074918607 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7195 6483 1111 63 0 7132 0
vsize: 28780
[startup+200.005 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 8001
Raw data (stat): 8001 (bsolo_lpr-v2) R 8000 31399 31398 0 -1 0 115513 0 0 0 19637 363 0 0 25 0 1 0 900549793 30433280 6664 4294967295 134512640 134716908 3221224576 3221220720 1074969463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7430 6664 1111 63 0 7367 0
vsize: 29720
[startup+210.005 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 8001
Raw data (stat): 8001 (bsolo_lpr-v2) R 8000 31399 31398 0 -1 0 122382 0 0 0 20621 379 0 0 25 0 1 0 900549793 30724096 6788 4294967295 134512640 134716908 3221224576 3221222224 1075818298 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7501 6788 1111 63 0 7438 0
vsize: 30004
[startup+220.006 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 8001
Raw data (stat): 8001 (bsolo_lpr-v2) R 8000 31399 31398 0 -1 0 128759 0 0 0 21603 397 0 0 25 0 1 0 900549793 31109120 6895 4294967295 134512640 134716908 3221224576 3221223288 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7595 6895 1111 63 0 7532 0
vsize: 30380
[startup+230.005 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 8001
Raw data (stat): 8001 (bsolo_lpr-v2) R 8000 31399 31398 0 -1 0 135921 0 0 0 22583 417 0 0 25 0 1 0 900549793 31924224 7064 4294967295 134512640 134716908 3221224576 3221222688 1074867320 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7794 7064 1111 63 0 7731 0
vsize: 31176
[startup+240.006 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 8001
Raw data (stat): 8001 (bsolo_lpr-v2) R 8000 31399 31398 0 -1 0 143158 0 0 0 23563 437 0 0 25 0 1 0 900549793 32763904 7220 4294967295 134512640 134716908 3221224576 3221220944 1075894538 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7999 7220 1111 63 0 7936 0
vsize: 31996
[startup+250.006 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 8001
Raw data (stat): 8001 (bsolo_lpr-v2) R 8000 31399 31398 0 -1 0 151262 0 0 0 24543 458 0 0 25 0 1 0 900549793 33419264 7461 4294967295 134512640 134716908 3221224576 3221223292 134558476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8159 7461 1111 63 0 8096 0
vsize: 32636
[startup+260.005 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 8001
Raw data (stat): 8001 (bsolo_lpr-v2) R 8000 31399 31398 0 -1 0 158218 0 0 0 25527 474 0 0 25 0 1 0 900549793 34500608 7651 4294967295 134512640 134716908 3221224576 3221220544 1074872864 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8423 7651 1111 63 0 8360 0
vsize: 33692
[startup+270.005 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 8001
Raw data (stat): 8001 (bsolo_lpr-v2) R 8000 31399 31398 0 -1 0 168074 0 0 0 26504 497 0 0 25 0 1 0 900549793 35241984 7808 4294967295 134512640 134716908 3221224576 3221221504 1075960434 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8604 7808 1111 63 0 8541 0
vsize: 34416
[startup+280.005 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 8001
Raw data (stat): 8001 (bsolo_lpr-v2) R 8000 31399 31398 0 -1 0 177402 0 0 0 27479 522 0 0 25 0 1 0 900549793 35282944 7911 4294967295 134512640 134716908 3221224576 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8614 7911 1111 63 0 8551 0
vsize: 34456
[startup+290.006 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 8001
Raw data (stat): 8001 (bsolo_lpr-v2) R 8000 31399 31398 0 -1 0 185950 0 0 0 28457 544 0 0 25 0 1 0 900549793 35540992 7979 4294967295 134512640 134716908 3221224576 3221222672 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8677 7979 1111 63 0 8614 0
vsize: 34708
[startup+300.005 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 8001
Raw data (stat): 8001 (bsolo_lpr-v2) R 8000 31399 31398 0 -1 0 193791 0 0 0 29439 563 0 0 25 0 1 0 900549793 36397056 8167 4294967295 134512640 134716908 3221224576 3221222576 1074916785 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8886 8167 1111 63 0 8823 0
vsize: 35544
[startup+310.005 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 8001
Raw data (stat): 8001 (bsolo_lpr-v2) R 8000 31399 31398 0 -1 0 204016 0 0 0 30414 588 0 0 25 0 1 0 900549793 36909056 8307 4294967295 134512640 134716908 3221224576 3221222576 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9011 8307 1111 63 0 8948 0
vsize: 36044
[startup+320.005 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 8001
Raw data (stat): 8001 (bsolo_lpr-v2) R 8000 31399 31398 0 -1 0 211977 0 0 0 31394 608 0 0 25 0 1 0 900549793 37462016 8441 4294967295 134512640 134716908 3221224576 3221221768 1074138315 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9146 8441 1111 63 0 9083 0
vsize: 36584
[startup+330.005 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 8001
Raw data (stat): 8001 (bsolo_lpr-v2) R 8000 31399 31398 0 -1 0 220524 0 0 0 32371 631 0 0 25 0 1 0 900549793 38383616 8592 4294967295 134512640 134716908 3221224576 3221220736 1074794542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9371 8592 1111 63 0 9308 0
vsize: 37484
[startup+340.005 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 8001
Raw data (stat): 8001 (bsolo_lpr-v2) R 8000 31399 31398 0 -1 0 228422 0 0 0 33351 651 0 0 25 0 1 0 900549793 38674432 8657 4294967295 134512640 134716908 3221224576 3221220848 1074961301 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9442 8657 1111 63 0 9379 0
vsize: 37768
[startup+350.005 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 8001
Raw data (stat): 8001 (bsolo_lpr-v2) R 8000 31399 31398 0 -1 0 242610 0 0 0 34318 684 0 0 25 0 1 0 900549793 39849984 9023 4294967295 134512640 134716908 3221224576 3221223288 134543168 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9729 9023 1111 63 0 9666 0
vsize: 38916
[startup+360.006 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 8001
Raw data (stat): 8001 (bsolo_lpr-v2) R 8000 31399 31398 0 -1 0 247096 0 0 0 35308 694 0 0 25 0 1 0 900549793 39587840 8962 4294967295 134512640 134716908 3221224576 3221223380 134622283 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9665 8962 1111 63 0 9602 0
vsize: 38660
[startup+370.006 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 8001
Raw data (stat): 8001 (bsolo_lpr-v2) R 8000 31399 31398 0 -1 0 253246 0 0 0 36294 709 0 0 25 0 1 0 900549793 40579072 9197 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9907 9197 1111 63 0 9844 0
vsize: 39628
[startup+380.006 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 8001
Raw data (stat): 8001 (bsolo_lpr-v2) R 8000 31399 31398 0 -1 0 257448 0 0 0 37284 719 0 0 25 0 1 0 900549793 40165376 9103 4294967295 134512640 134716908 3221224576 3221222668 1074063728 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9806 9103 1111 63 0 9743 0
vsize: 39224
[startup+390.007 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 8001
Raw data (stat): 8001 (bsolo_lpr-v2) R 8000 31399 31398 0 -1 0 263804 0 0 0 38268 735 0 0 25 0 1 0 900549793 41467904 9355 4294967295 134512640 134716908 3221224576 3221220804 1075115049 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10124 9355 1111 63 0 10061 0
vsize: 40496
[startup+400.007 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 8001
Raw data (stat): 8001 (bsolo_lpr-v2) R 8000 31399 31398 0 -1 0 273339 0 0 0 39243 761 0 0 25 0 1 0 900549793 43413504 9733 4294967295 134512640 134716908 3221224576 3221222576 1074918591 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10599 9733 1111 63 0 10536 0
vsize: 42396
[startup+410.007 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 8001
Raw data (stat): 8001 (bsolo_lpr-v2) R 8000 31399 31398 0 -1 0 279463 0 0 0 40227 776 0 0 25 0 1 0 900549793 43212800 9696 4294967295 134512640 134716908 3221224576 3221222528 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10550 9696 1111 63 0 10487 0
vsize: 42200
[startup+420.008 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 8001
Raw data (stat): 8001 (bsolo_lpr-v2) R 8000 31399 31398 0 -1 0 285094 0 0 0 41212 792 0 0 25 0 1 0 900549793 43376640 9762 4294967295 134512640 134716908 3221224576 3221222636 1073959784 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10590 9762 1111 63 0 10527 0
vsize: 42360
[startup+430.008 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 8001
Raw data (stat): 8001 (bsolo_lpr-v2) R 8000 31399 31398 0 -1 0 291071 0 0 0 42198 806 0 0 25 0 1 0 900549793 43732992 9849 4294967295 134512640 134716908 3221224576 3221222736 1074153158 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10677 9849 1111 63 0 10614 0
vsize: 42708
[startup+440.009 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 8001
Raw data (stat): 8001 (bsolo_lpr-v2) R 8000 31399 31398 0 -1 0 296592 0 0 0 43184 821 0 0 25 0 1 0 900549793 44118016 9943 4294967295 134512640 134716908 3221224576 3221222736 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10771 9943 1111 63 0 10708 0
vsize: 43084
[startup+450.009 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 8001
Raw data (stat): 8001 (bsolo_lpr-v2) R 8000 31399 31398 0 -1 0 300738 0 0 0 44172 833 0 0 25 0 1 0 900549793 44265472 9960 4294967295 134512640 134716908 3221224576 3221222720 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10807 9960 1111 63 0 10744 0
vsize: 43228
[startup+460.008 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 8001
Raw data (stat): 8001 (bsolo_lpr-v2) R 8000 31399 31398 0 -1 0 305709 0 0 0 45160 845 0 0 25 0 1 0 900549793 44773376 10031 4294967295 134512640 134716908 3221224576 3221220676 1075964282 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10931 10031 1111 63 0 10868 0
vsize: 43724
[startup+470.009 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 8001
Raw data (stat): 8001 (bsolo_lpr-v2) R 8000 31399 31398 0 -1 0 310530 0 0 0 46149 856 0 0 25 0 1 0 900549793 44904448 10083 4294967295 134512640 134716908 3221224576 3221222756 1077782939 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10901 10073 1111 63 0 10838 0
vsize: 43852
[startup+480.009 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 8001
Raw data (stat): 8001 (bsolo_lpr-v2) R 8000 31399 31398 0 -1 0 314921 0 0 0 47139 866 0 0 25 0 1 0 900549793 44875776 10115 4294967295 134512640 134716908 3221224576 3221222304 1075829509 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10956 10115 1111 63 0 10893 0
vsize: 43824
[startup+490.009 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 8001
Raw data (stat): 8001 (bsolo_lpr-v2) R 8000 31399 31398 0 -1 0 322344 0 0 0 48122 884 0 0 25 0 1 0 900549793 45322240 10199 4294967295 134512640 134716908 3221224576 3221222272 1077386340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11065 10206 1111 63 0 11002 0
vsize: 44260
[startup+500.01 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 8001
Raw data (stat): 8001 (bsolo_lpr-v2) R 8000 31399 31398 0 -1 0 326015 0 0 0 49112 893 0 0 25 0 1 0 900549793 45314048 10236 4294967295 134512640 134716908 3221224576 3221222656 1073986826 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11063 10236 1111 63 0 11000 0
vsize: 44252
[startup+510.01 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 8001
Raw data (stat): 8001 (bsolo_lpr-v2) R 8000 31399 31398 0 -1 0 331074 0 0 0 50099 906 0 0 25 0 1 0 900549793 45625344 10312 4294967295 134512640 134716908 3221224576 3221223368 134542412 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11139 10312 1111 63 0 11076 0
vsize: 44556
[startup+520.011 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 8001
Raw data (stat): 8001 (bsolo_lpr-v2) R 8000 31399 31398 0 -1 0 341039 0 0 0 51077 929 0 0 25 0 1 0 900549793 47337472 10594 4294967295 134512640 134716908 3221224576 3221220944 1075894538 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11557 10594 1111 63 0 11494 0
vsize: 46228
[startup+530.011 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 8001
Raw data (stat): 8001 (bsolo_lpr-v2) R 8000 31399 31398 0 -1 0 347681 0 0 0 52061 945 0 0 25 0 1 0 900549793 46489600 10523 4294967295 134512640 134716908 3221224576 3221223300 134622801 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11350 10523 1111 63 0 11287 0
vsize: 45400
[startup+540.011 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 8001
Raw data (stat): 8001 (bsolo_lpr-v2) R 8000 31399 31398 0 -1 0 353008 0 0 0 53048 958 0 0 25 0 1 0 900549793 46866432 10551 4294967295 134512640 134716908 3221224576 3221220960 1074973531 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11442 10551 1111 63 0 11379 0
vsize: 45768
[startup+550.011 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 8001
Raw data (stat): 8001 (bsolo_lpr-v2) R 8000 31399 31398 0 -1 0 365890 0 0 0 54016 990 0 0 25 0 1 0 900549793 47448064 10757 4294967295 134512640 134716908 3221224576 3221222576 1074918479 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11584 10757 1111 63 0 11521 0
vsize: 46336
[startup+560.01 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 8001
Raw data (stat): 8001 (bsolo_lpr-v2) R 8000 31399 31398 0 -1 0 378830 0 0 0 54985 1022 0 0 25 0 1 0 900549793 48738304 11059 4294967295 134512640 134716908 3221224576 3221222592 1074153686 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11899 11059 1111 63 0 11836 0
vsize: 47596
[startup+570.011 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 8001
Raw data (stat): 8001 (bsolo_lpr-v2) R 8000 31399 31398 0 -1 0 389507 0 0 0 55962 1045 0 0 25 0 1 0 900549793 49049600 11142 4294967295 134512640 134716908 3221224576 3221223248 134652581 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11975 11142 1111 63 0 11912 0
vsize: 47900
[startup+580.011 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 8001
Raw data (stat): 8001 (bsolo_lpr-v2) R 8000 31399 31398 0 -1 0 399401 0 0 0 56936 1072 0 0 25 0 1 0 900549793 49831936 11325 4294967295 134512640 134716908 3221224576 3221222576 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12166 11325 1111 63 0 12103 0
vsize: 48664
[startup+590.012 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 8001
Raw data (stat): 8001 (bsolo_lpr-v2) R 8000 31399 31398 0 -1 0 405428 0 0 0 57922 1086 0 0 25 0 1 0 900549793 49422336 11241 4294967295 134512640 134716908 3221224576 3221222224 1074247404 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12066 11241 1111 63 0 12003 0
vsize: 48264
[startup+600.011 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 8001
Raw data (stat): 8001 (bsolo_lpr-v2) R 8000 31399 31398 0 -1 0 414960 0 0 0 58897 1110 0 0 25 0 1 0 900549793 49971200 11377 4294967295 134512640 134716908 3221224576 3221222512 1074146269 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12200 11377 1111 63 0 12137 0
vsize: 48800
[startup+610.011 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 8001
Raw data (stat): 8001 (bsolo_lpr-v2) R 8000 31399 31398 0 -1 0 423927 0 0 0 59877 1131 0 0 25 0 1 0 900549793 50302976 11458 4294967295 134512640 134716908 3221224576 3221223296 134622805 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12281 11458 1111 63 0 12218 0
vsize: 49124
[startup+620.011 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 8001
Raw data (stat): 8001 (bsolo_lpr-v2) R 8000 31399 31398 0 -1 0 431793 0 0 0 60855 1152 0 0 25 0 1 0 900549793 50757632 11569 4294967295 134512640 134716908 3221224576 3221222736 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12392 11569 1111 63 0 12329 0
vsize: 49568
[startup+630.011 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 8001
Raw data (stat): 8001 (bsolo_lpr-v2) R 8000 31399 31398 0 -1 0 436794 0 0 0 61845 1163 0 0 25 0 1 0 900549793 52297728 11884 4294967295 134512640 134716908 3221224576 3221220804 1075115039 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12768 11884 1111 63 0 12705 0
vsize: 51072
[startup+640.011 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 8001
Raw data (stat): 8001 (bsolo_lpr-v2) R 8000 31399 31398 0 -1 0 441600 0 0 0 62834 1174 0 0 25 0 1 0 900549793 51118080 11657 4294967295 134512640 134716908 3221224576 3221222736 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12480 11657 1111 63 0 12417 0
vsize: 49920
[startup+650.011 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 8001
Raw data (stat): 8001 (bsolo_lpr-v2) R 8000 31399 31398 0 -1 0 446579 0 0 0 63822 1186 0 0 25 0 1 0 900549793 51912704 11776 4294967295 134512640 134716908 3221224576 3221220780 1074882912 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12674 11776 1111 63 0 12611 0
vsize: 50696
[startup+660.011 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 8001
Raw data (stat): 8001 (bsolo_lpr-v2) R 8000 31399 31398 0 -1 0 452044 0 0 0 64809 1199 0 0 25 0 1 0 900549793 52428800 11945 4294967295 134512640 134716908 3221224576 3221222576 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12800 11945 1111 63 0 12737 0
vsize: 51200
[startup+670.011 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 8001
Raw data (stat): 8001 (bsolo_lpr-v2) R 8000 31399 31398 0 -1 0 462676 0 0 0 65784 1225 0 0 25 0 1 0 900549793 53411840 12129 4294967295 134512640 134716908 3221224576 3221220804 1075115062 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13040 12129 1111 63 0 12977 0
vsize: 52160
[startup+680.011 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 8001
Raw data (stat): 8001 (bsolo_lpr-v2) R 8000 31399 31398 0 -1 0 470797 0 0 0 66766 1243 0 0 25 0 1 0 900549793 54386688 12399 4294967295 134512640 134716908 3221224576 3221222624 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13278 12399 1111 63 0 13215 0
vsize: 53112
[startup+690.012 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 8001
Raw data (stat): 8001 (bsolo_lpr-v2) R 8000 31399 31398 0 -1 0 473918 0 0 0 67757 1252 0 0 25 0 1 0 900549793 54882304 12542 4294967295 134512640 134716908 3221224576 3221222576 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13399 12542 1111 63 0 13336 0
vsize: 53596
[startup+700.011 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 8001
Raw data (stat): 8001 (bsolo_lpr-v2) R 8000 31399 31398 0 -1 0 479254 0 0 0 68746 1263 0 0 25 0 1 0 900549793 53940224 12302 4294967295 134512640 134716908 3221224576 3221222736 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13169 12302 1111 63 0 13106 0
vsize: 52676
[startup+710.012 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 8001
Raw data (stat): 8001 (bsolo_lpr-v2) R 8000 31399 31398 0 -1 0 485015 0 0 0 69731 1278 0 0 25 0 1 0 900549793 54693888 12480 4294967295 134512640 134716908 3221224576 3221222576 1074918937 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13353 12480 1111 63 0 13290 0
vsize: 53412
[startup+720.012 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 8001
Raw data (stat): 8001 (bsolo_lpr-v2) R 8000 31399 31398 0 -1 0 491744 0 0 0 70716 1294 0 0 25 0 1 0 900549793 55209984 12618 4294967295 134512640 134716908 3221224576 3221223312 134622912 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13479 12618 1111 63 0 13416 0
vsize: 53916
[startup+730.011 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 8001
Raw data (stat): 8001 (bsolo_lpr-v2) R 8000 31399 31398 0 -1 0 497411 0 0 0 71701 1309 0 0 25 0 1 0 900549793 55459840 12677 4294967295 134512640 134716908 3221224576 3221223368 134542414 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13540 12677 1111 63 0 13477 0
vsize: 54160
[startup+740.012 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 8001
Raw data (stat): 8001 (bsolo_lpr-v2) R 8000 31399 31398 0 -1 0 504581 0 0 0 72685 1325 0 0 25 0 1 0 900549793 56569856 12921 4294967295 134512640 134716908 3221224576 3221222576 1074918591 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13811 12921 1111 63 0 13748 0
vsize: 55244
[startup+750.013 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 8001
Raw data (stat): 8001 (bsolo_lpr-v2) R 8000 31399 31398 0 -1 0 512799 0 0 0 73666 1344 0 0 25 0 1 0 900549793 56860672 13032 4294967295 134512640 134716908 3221224576 3221223304 134622793 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13882 13032 1111 63 0 13819 0
vsize: 55528
[startup+760.012 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 8001
Raw data (stat): 8001 (bsolo_lpr-v2) R 8000 31399 31398 0 -1 0 519406 0 0 0 74649 1361 0 0 25 0 1 0 900549793 58298368 13324 4294967295 134512640 134716908 3221224576 3221220824 1077410163 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14233 13324 1111 63 0 14170 0
vsize: 56932
[startup+770.013 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 8001
Raw data (stat): 8001 (bsolo_lpr-v2) R 8000 31399 31398 0 -1 0 528198 0 0 0 75626 1385 0 0 25 0 1 0 900549793 57737216 13246 4294967295 134512640 134716908 3221224576 3221222576 1074918162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14096 13246 1111 63 0 14033 0
vsize: 56384
[startup+780.013 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 8001
Raw data (stat): 8001 (bsolo_lpr-v2) R 8000 31399 31398 0 -1 0 539056 0 0 0 76600 1410 0 0 25 0 1 0 900549793 58290176 13381 4294967295 134512640 134716908 3221224576 3221223300 134622899 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14231 13381 1111 63 0 14168 0
vsize: 56924
[startup+790.014 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 8001
Raw data (stat): 8001 (bsolo_lpr-v2) R 8000 31399 31398 0 -1 0 546719 0 0 0 77581 1430 0 0 25 0 1 0 900549793 59326464 13519 4294967295 134512640 134716908 3221224576 3221221076 1074846255 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14484 13519 1111 63 0 14421 0
vsize: 57936
[startup+800.014 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 8001
Raw data (stat): 8001 (bsolo_lpr-v2) R 8000 31399 31398 0 -1 0 552911 0 0 0 78568 1443 0 0 25 0 1 0 900549793 59031552 13562 4294967295 134512640 134716908 3221224576 3221221328 1074247409 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14412 13562 1111 63 0 14349 0
vsize: 57648
[startup+810.013 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 8001
Raw data (stat): 8001 (bsolo_lpr-v2) R 8000 31399 31398 0 -1 0 558730 0 0 0 79554 1457 0 0 25 0 1 0 900549793 60854272 13991 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14857 13991 1111 63 0 14794 0
vsize: 59428
[startup+820.014 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 8001
Raw data (stat): 8001 (bsolo_lpr-v2) R 8000 31399 31398 0 -1 0 565813 0 0 0 80538 1474 0 0 25 0 1 0 900549793 60743680 13944 4294967295 134512640 134716908 3221224576 3221222576 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14830 13944 1111 63 0 14767 0
vsize: 59320
[startup+830.014 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 8001
Raw data (stat): 8001 (bsolo_lpr-v2) R 8000 31399 31398 0 -1 0 572170 0 0 0 81523 1489 0 0 25 0 1 0 900549793 61468672 14097 4294967295 134512640 134716908 3221224576 3221222688 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15007 14097 1111 63 0 14944 0
vsize: 60028
[startup+840.014 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 8001
Raw data (stat): 8001 (bsolo_lpr-v2) R 8000 31399 31398 0 -1 0 576240 0 0 0 82514 1498 0 0 25 0 1 0 900549793 61558784 14115 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15029 14115 1111 63 0 14966 0
vsize: 60116
[startup+850.015 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 8001
Raw data (stat): 8001 (bsolo_lpr-v2) R 8000 31399 31398 0 -1 0 580517 0 0 0 83503 1509 0 0 25 0 1 0 900549793 61284352 14080 4294967295 134512640 134716908 3221224576 3221223392 134622484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14962 14080 1111 63 0 14899 0
vsize: 59848
[startup+860.015 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 8001
Raw data (stat): 8001 (bsolo_lpr-v2) R 8000 31399 31398 0 -1 0 585041 0 0 0 84495 1518 0 0 25 0 1 0 900549793 62681088 14309 4294967295 134512640 134716908 3221224576 3221220460 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15303 14309 1111 63 0 15240 0
vsize: 61212
[startup+870.015 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 8001
Raw data (stat): 8001 (bsolo_lpr-v2) R 8000 31399 31398 0 -1 0 589020 0 0 0 85484 1528 0 0 25 0 1 0 900549793 61698048 14166 4294967295 134512640 134716908 3221224576 3221223288 134543168 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15063 14166 1111 63 0 15000 0
vsize: 60252
[startup+880.015 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 8001
Raw data (stat): 8001 (bsolo_lpr-v2) R 8000 31399 31398 0 -1 0 592864 0 0 0 86475 1537 0 0 25 0 1 0 900549793 61865984 14207 4294967295 134512640 134716908 3221224576 3221223288 134558485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15104 14207 1111 63 0 15041 0
vsize: 60416
[startup+890.016 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 8001
Raw data (stat): 8001 (bsolo_lpr-v2) R 8000 31399 31398 0 -1 0 600774 0 0 0 87458 1555 0 0 25 0 1 0 900549793 62201856 14289 4294967295 134512640 134716908 3221224576 3221223288 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15186 14289 1111 63 0 15123 0
vsize: 60744
[startup+900.016 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 8001
Raw data (stat): 8001 (bsolo_lpr-v2) R 8000 31399 31398 0 -1 0 605604 0 0 0 88446 1567 0 0 25 0 1 0 900549793 62410752 14340 4294967295 134512640 134716908 3221224576 3221223312 134622759 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15237 14340 1111 63 0 15174 0
vsize: 60948
[startup+910.016 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 8001
Raw data (stat): 8001 (bsolo_lpr-v2) R 8000 31399 31398 0 -1 0 611992 0 0 0 89431 1583 0 0 25 0 1 0 900549793 62656512 14407 4294967295 134512640 134716908 3221224576 3221222576 1074918599 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15297 14407 1111 63 0 15234 0
vsize: 61188
[startup+920.017 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 8001
Raw data (stat): 8001 (bsolo_lpr-v2) R 8000 31399 31398 0 -1 0 621557 0 0 0 90409 1604 0 0 25 0 1 0 900549793 63660032 14650 4294967295 134512640 134716908 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15542 14650 1111 63 0 15479 0
vsize: 62168
[startup+930.017 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 8001
Raw data (stat): 8001 (bsolo_lpr-v2) R 8000 31399 31398 0 -1 0 630297 0 0 0 91388 1626 0 0 25 0 1 0 900549793 64958464 14875 4294967295 134512640 134716908 3221224576 3221220636 1074788595 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15859 14875 1111 63 0 15796 0
vsize: 63436
[startup+940.017 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 8001
Raw data (stat): 8001 (bsolo_lpr-v2) R 8000 31399 31398 0 -1 0 648445 0 0 0 92345 1669 0 0 25 0 1 0 900549793 65409024 15101 4294967295 134512640 134716908 3221224576 3221223392 134622268 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15969 15101 1111 63 0 15906 0
vsize: 63876
[startup+950.017 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 8001
Raw data (stat): 8001 (bsolo_lpr-v2) R 8000 31399 31398 0 -1 0 657528 0 0 0 93325 1689 0 0 25 0 1 0 900549793 66646016 15305 4294967295 134512640 134716908 3221224576 3221220588 1074788953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16271 15305 1111 63 0 16208 0
vsize: 65084
[startup+960.018 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 8001
Raw data (stat): 8001 (bsolo_lpr-v2) R 8000 31399 31398 0 -1 0 666168 0 0 0 94303 1712 0 0 25 0 1 0 900549793 66650112 15408 4294967295 134512640 134716908 3221224576 3221223288 134543181 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16272 15408 1111 63 0 16209 0
vsize: 65088
[startup+970.018 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 8001
Raw data (stat): 8001 (bsolo_lpr-v2) R 8000 31399 31398 0 -1 0 670399 0 0 0 95294 1721 0 0 25 0 1 0 900549793 67444736 15602 4294967295 134512640 134716908 3221224576 3221222576 1074918591 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16466 15602 1111 63 0 16403 0
vsize: 65864
[startup+980.018 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 8001
Raw data (stat): 8001 (bsolo_lpr-v2) R 8000 31399 31398 0 -1 0 675635 0 0 0 96282 1733 0 0 25 0 1 0 900549793 67006464 15487 4294967295 134512640 134716908 3221224576 3221222576 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16359 15487 1111 63 0 16296 0
vsize: 65436
[startup+990.019 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 8001
Raw data (stat): 8001 (bsolo_lpr-v2) R 8000 31399 31398 0 -1 0 683349 0 0 0 97264 1751 0 0 25 0 1 0 900549793 67919872 15688 4294967295 134512640 134716908 3221224576 3221222576 1074918583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16582 15688 1111 63 0 16519 0
vsize: 66328
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 8001
Raw data (stat): 8001 (bsolo_lpr-v2) R 8000 31399 31398 0 -1 0 689635 0 0 0 98249 1767 0 0 25 0 1 0 900549793 67874816 15709 4294967295 134512640 134716908 3221224576 3221223384 134622644 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16571 15709 1111 63 0 16508 0
vsize: 66284
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 8001
Raw data (stat): 8001 (bsolo_lpr-v2) R 8000 31399 31398 0 -1 0 695645 0 0 0 99236 1780 0 0 25 0 1 0 900549793 68407296 15837 4294967295 134512640 134716908 3221224576 3221222576 1074918591 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16701 15837 1111 63 0 16638 0
vsize: 66804
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 8001
Raw data (stat): 8001 (bsolo_lpr-v2) R 8000 31399 31398 0 -1 0 702385 0 0 0 100219 1796 0 0 25 0 1 0 900549793 68612096 15892 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16751 15892 1111 63 0 16688 0
vsize: 67004
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 8001
Raw data (stat): 8001 (bsolo_lpr-v2) R 8000 31399 31398 0 -1 0 708866 0 0 0 101205 1811 0 0 25 0 1 0 900549793 68947968 15981 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16833 15981 1111 63 0 16770 0
vsize: 67332
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 8001
Raw data (stat): 8001 (bsolo_lpr-v2) R 8000 31399 31398 0 -1 0 717498 0 0 0 102186 1830 0 0 25 0 1 0 900549793 69419008 16096 4294967295 134512640 134716908 3221224576 3221222960 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16948 16096 1111 63 0 16885 0
vsize: 67792
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 8001
Raw data (stat): 8001 (bsolo_lpr-v2) R 8000 31399 31398 0 -1 0 723528 0 0 0 103173 1843 0 0 25 0 1 0 900549793 69746688 16157 4294967295 134512640 134716908 3221224576 3221222576 1074918583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17028 16157 1111 63 0 16965 0
vsize: 68112
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 8001
Raw data (stat): 8001 (bsolo_lpr-v2) R 8000 31399 31398 0 -1 0 730022 0 0 0 104158 1858 0 0 25 0 1 0 900549793 70086656 16259 4294967295 134512640 134716908 3221224576 3221223368 134542412 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17111 16259 1111 63 0 17048 0
vsize: 68444
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 8001
Raw data (stat): 8001 (bsolo_lpr-v2) R 8000 31399 31398 0 -1 0 734726 0 0 0 105148 1869 0 0 25 0 1 0 900549793 70680576 16400 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17256 16400 1111 63 0 17193 0
vsize: 69024
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 8001
Raw data (stat): 8001 (bsolo_lpr-v2) R 8000 31399 31398 0 -1 0 745674 0 0 0 106123 1894 0 0 25 0 1 0 900549793 70406144 16333 4294967295 134512640 134716908 3221224576 3221219148 1075363996 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17189 16333 1111 63 0 17126 0
vsize: 68756
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 8001
Raw data (stat): 8001 (bsolo_lpr-v2) R 8000 31399 31398 0 -1 0 765488 0 0 0 107078 1939 0 0 25 0 1 0 900549793 71294976 16541 4294967295 134512640 134716908 3221224576 3221222684 1074139232 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17406 16541 1111 63 0 17343 0
vsize: 69624
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 8001
Raw data (stat): 8001 (bsolo_lpr-v2) R 8000 31399 31398 0 -1 0 775734 0 0 0 108053 1964 0 0 25 0 1 0 900549793 72130560 16755 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17610 16755 1111 63 0 17547 0
vsize: 70440
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 8001
Raw data (stat): 8001 (bsolo_lpr-v2) R 8000 31399 31398 0 -1 0 785607 0 0 0 109032 1985 0 0 25 0 1 0 900549793 72794112 16917 4294967295 134512640 134716908 3221224576 3221223368 134542412 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17772 16917 1111 63 0 17709 0
vsize: 71088
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 8001
Raw data (stat): 8001 (bsolo_lpr-v2) R 8000 31399 31398 0 -1 0 795772 0 0 0 110008 2010 0 0 25 0 1 0 900549793 73388032 17062 4294967295 134512640 134716908 3221224576 3221223300 134622899 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17917 17062 1111 63 0 17854 0
vsize: 71668
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 8001
Raw data (stat): 8001 (bsolo_lpr-v2) R 8000 31399 31398 0 -1 0 798685 0 0 0 111002 2016 0 0 25 0 1 0 900549793 73744384 17149 4294967295 134512640 134716908 3221224576 3221222688 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18004 17149 1111 63 0 17941 0
vsize: 72016
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 8001
Raw data (stat): 8001 (bsolo_lpr-v2) R 8000 31399 31398 0 -1 0 803468 0 0 0 111992 2026 0 0 25 0 1 0 900549793 73601024 17114 4294967295 134512640 134716908 3221224576 3221223292 134543156 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17969 17114 1111 63 0 17906 0
vsize: 71876
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 8001
Raw data (stat): 8001 (bsolo_lpr-v2) R 8000 31399 31398 0 -1 0 810367 0 0 0 112977 2041 0 0 25 0 1 0 900549793 74022912 17219 4294967295 134512640 134716908 3221224576 3221222736 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18072 17219 1111 63 0 18009 0
vsize: 72288
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 8001
Raw data (stat): 8001 (bsolo_lpr-v2) R 8000 31399 31398 0 -1 0 816716 0 0 0 113963 2055 0 0 25 0 1 0 900549793 74428416 17292 4294967295 134512640 134716908 3221224576 3221222784 1074153773 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18171 17292 1111 63 0 18108 0
vsize: 72684
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 8001
Raw data (stat): 8001 (bsolo_lpr-v2) R 8000 31399 31398 0 -1 0 823177 0 0 0 114948 2070 0 0 25 0 1 0 900549793 74907648 17433 4294967295 134512640 134716908 3221224576 3221222576 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18288 17433 1111 63 0 18225 0
vsize: 73152
[startup+1174.92 s]
Raw data (loadavg): 0.99 0.98 0.95 1/53 8001
Raw data (stat): 8001 (bsolo_lpr-v2) R 8000 31399 31398 0 -1 0 823177 0 0 0 114948 2070 0 0 25 0 1 0 900549793 74907648 17433 4294967295 134512640 134716908 3221224576 3221222576 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18288 17433 1111 63 0 18225 0
vsize: 0

Child status: 10
Real time (s): 1174.92
CPU time (s): 1175.09
CPU user time (s): 1154.28
CPU system time (s): 20.8058
CPU usage (%): 100.015
Max. virtual memory (Kb): 73152
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	61184
#### END VERIFIER DATA ####