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/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-markshare2_1.opb
MD5SUM	375b355299c9fbf8170e172bcbc73eb2
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	16728
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.23
Number of variables	242
Total number of constraints	67
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	54
Number of constraints which are nor clauses,nor cardinality constraints	13
Minimum length of a constraint	1
Maximum length of a constraint	122
Trace number 40484

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-08 12:16:36 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28544 boxname=wulflinc1 idbench=1500 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  375b355299c9fbf8170e172bcbc73eb2  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-markshare2_1.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-markshare2_1.opb
IDLAUNCH: 28544
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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.053
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:        912456 kB
Buffers:           824 kB
Cached:          96980 kB
SwapCached:       1136 kB
Active:          23316 kB
Inactive:        76640 kB
HighTotal:      131008 kB
HighFree:        31752 kB
LowTotal:       903652 kB
LowFree:        880704 kB
SwapTotal:     2097136 kB
SwapFree:      2094836 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5248 kB
Slab:            16248 kB
Committed_AS:    92712 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 12:36:11 (client local time) WITH STATUS 10 IN 1175.23 SECONDS
stats: 28544 0 1175.23 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 242 variables and 20 constraints.
c After prepocess the problem consists of 228 variables and 20 constraints.
c preprocess terminated 0.136 s
c Initial Lower Bound: 0
c Lower Bound Elapsed time: 0.01325
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 54376 @ 22.657
c NEW SOLUTION FOUND: 53694 @ 24.971
c NEW SOLUTION FOUND: 53414 @ 26.055
c NEW SOLUTION FOUND: 53063 @ 33.795
c NEW SOLUTION FOUND: 53014 @ 37.049
c NEW SOLUTION FOUND: 52831 @ 42.17
c NEW SOLUTION FOUND: 52748 @ 47.1
c NEW SOLUTION FOUND: 52701 @ 47.813
c NEW SOLUTION FOUND: 52548 @ 49.462
c NEW SOLUTION FOUND: 52506 @ 49.566
c NEW SOLUTION FOUND: 51700 @ 51.167
c NEW SOLUTION FOUND: 51631 @ 51.28
c NEW SOLUTION FOUND: 51350 @ 51.691
c NEW SOLUTION FOUND: 51048 @ 53.09
c NEW SOLUTION FOUND: 50769 @ 53.099
c NEW SOLUTION FOUND: 50490 @ 53.102
c NEW SOLUTION FOUND: 50421 @ 53.559
c NEW SOLUTION FOUND: 50342 @ 59.555
c NEW SOLUTION FOUND: 50275 @ 63.145
c NEW SOLUTION FOUND: 50217 @ 64.628
c NEW SOLUTION FOUND: 50202 @ 68.117
c NEW SOLUTION FOUND: 50025 @ 68.169
c NEW SOLUTION FOUND: 49848 @ 68.314
c NEW SOLUTION FOUND: 49409 @ 68.831
c NEW SOLUTION FOUND: 49209 @ 69.834
c NEW SOLUTION FOUND: 49009 @ 70.04
c NEW SOLUTION FOUND: 48712 @ 70.311
c NEW SOLUTION FOUND: 48639 @ 70.584
c NEW SOLUTION FOUND: 48616 @ 71.248
c NEW SOLUTION FOUND: 48566 @ 72.182
c NEW SOLUTION FOUND: 48493 @ 72.185
c NEW SOLUTION FOUND: 48389 @ 72.286
c NEW SOLUTION FOUND: 48366 @ 73.261
c NEW SOLUTION FOUND: 48066 @ 73.427
c NEW SOLUTION FOUND: 47993 @ 73.452
c NEW SOLUTION FOUND: 47816 @ 73.484
c NEW SOLUTION FOUND: 47575 @ 75.776
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 x54_bit_7 -x54_bit_6 -x54_bit_5 -x54_bit_4 -x54_bit_3 -x54_bit_2 -x54_bit_1 -x54_bit0 x55_bit_7 -x55_bit_6 x55_bit_5 x55_bit_4 -x55_bit_3 -x55_bit_2 -x55_bit_1 -x55_bit0 -x56_bit_7 -x56_bit_6 -x56_bit_5 x56_bit_4 -x56_bit_3 -x56_bit_2 x56_bit_1 -x56_bit0 -x57_bit_7 -x57_bit_6 -x57_bit_5 -x57_bit_4 -x57_bit_3 -x57_bit_2 -x57_bit_1 -x57_bit0 -x58_bit_7 -x58_bit_6 x58_bit_5 -x58_bit_4 x58_bit_3 -x58_bit_2 -x58_bit_1 -x58_bit0 -x59_bit_7 -x59_bit_6 -x59_bit_5 -x59_bit_4 -x59_bit_3 -x59_bit_2 -x59_bit_1 -x59_bit0 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 
c Exit Code: 10
c Total time: 1175.21 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.99 0.97 0.91 2/55 22746
Raw data (stat): 22746 (runsolver) R 22745 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 844707437 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22746
Raw data (stat): 22746 (bsolo_lpr-v2) R 22745 8378 8377 0 -1 0 4113 0 0 0 967 30 0 0 25 0 1 0 844707437 7766016 1200 4294967295 134512640 134716908 3221224560 3221222960 1074118811 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1896 1200 1111 63 0 1833 0
vsize: 7584
[startup+20.0009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22746
Raw data (stat): 22746 (bsolo_lpr-v2) R 22745 8378 8377 0 -1 0 7367 0 0 0 1937 60 0 0 25 0 1 0 844707437 7770112 1201 4294967295 134512640 134716908 3221224560 3221223268 134535806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1897 1201 1111 63 0 1834 0
vsize: 7588
[startup+30.0007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22746
Raw data (stat): 22746 (bsolo_lpr-v2) R 22745 8378 8377 0 -1 0 10450 0 0 0 2913 85 0 0 25 0 1 0 844707437 7860224 1224 4294967295 134512640 134716908 3221224560 3221222692 1074206179 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1919 1224 1111 63 0 1856 0
vsize: 7676
[startup+40.0015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22746
Raw data (stat): 22746 (bsolo_lpr-v2) R 22745 8378 8377 0 -1 0 13504 0 0 0 3888 109 0 0 25 0 1 0 844707437 7938048 1242 4294967295 134512640 134716908 3221224560 3221222644 1077374189 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1938 1242 1111 63 0 1875 0
vsize: 7752
[startup+50.0023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22746
Raw data (stat): 22746 (bsolo_lpr-v2) R 22745 8378 8377 0 -1 0 16175 0 0 0 4866 131 0 0 25 0 1 0 844707437 8273920 1297 4294967295 134512640 134716908 3221224560 3221221592 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2020 1297 1111 63 0 1957 0
vsize: 8080
[startup+60.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22746
Raw data (stat): 22746 (bsolo_lpr-v2) R 22745 8378 8377 0 -1 0 18173 0 0 0 5849 149 0 0 25 0 1 0 844707437 8589312 1399 4294967295 134512640 134716908 3221224560 3221222552 1077377472 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2097 1399 1111 63 0 2034 0
vsize: 8388
[startup+70.0028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22746
Raw data (stat): 22746 (bsolo_lpr-v2) R 22745 8378 8377 0 -1 0 21087 0 0 0 6824 174 0 0 25 0 1 0 844707437 8691712 1429 4294967295 134512640 134716908 3221224560 3221223148 134543616 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2122 1429 1111 63 0 2059 0
vsize: 8488
[startup+80.0036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22746
Raw data (stat): 22746 (bsolo_lpr-v2) R 22745 8378 8377 0 -1 0 24605 0 0 0 7805 194 0 0 25 0 1 0 844707437 9756672 1642 4294967295 134512640 134716908 3221224560 3221221488 1075960438 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2382 1642 1111 63 0 2319 0
vsize: 9528
[startup+90.0049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22746
Raw data (stat): 22746 (bsolo_lpr-v2) R 22745 8378 8377 0 -1 0 27995 0 0 0 8784 215 0 0 25 0 1 0 844707437 11030528 2000 4294967295 134512640 134716908 3221224560 3221222400 1075798452 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2693 2000 1111 63 0 2630 0
vsize: 10772
[startup+100.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22746
Raw data (stat): 22746 (bsolo_lpr-v2) R 22745 8378 8377 0 -1 0 30311 0 0 0 9767 231 0 0 25 0 1 0 844707437 11575296 2137 4294967295 134512640 134716908 3221224560 3221223328 134556480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2826 2137 1111 63 0 2763 0
vsize: 11304
[startup+110.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22746
Raw data (stat): 22746 (bsolo_lpr-v2) R 22745 8378 8377 0 -1 0 33369 0 0 0 10752 246 0 0 25 0 1 0 844707437 12361728 2329 4294967295 134512640 134716908 3221224560 3221222520 1074138297 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3018 2329 1111 63 0 2955 0
vsize: 12072
[startup+120.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22746
Raw data (stat): 22746 (bsolo_lpr-v2) R 22745 8378 8377 0 -1 0 35909 0 0 0 11736 263 0 0 25 0 1 0 844707437 13049856 2497 4294967295 134512640 134716908 3221224560 3221222672 1074153687 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3186 2497 1111 63 0 3123 0
vsize: 12744
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22746
Raw data (stat): 22746 (bsolo_lpr-v2) R 22745 8378 8377 0 -1 0 40813 0 0 0 12714 285 0 0 25 0 1 0 844707437 14176256 2772 4294967295 134512640 134716908 3221224560 3221222912 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3461 2772 1111 63 0 3398 0
vsize: 13844
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22746
Raw data (stat): 22746 (bsolo_lpr-v2) R 22745 8378 8377 0 -1 0 47771 0 0 0 13688 311 0 0 25 0 1 0 844707437 14905344 2950 4294967295 134512640 134716908 3221224560 3221222992 134652402 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3639 2950 1111 63 0 3576 0
vsize: 14556
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22746
Raw data (stat): 22746 (bsolo_lpr-v2) R 22745 8378 8377 0 -1 0 56294 0 0 0 14660 339 0 0 25 0 1 0 844707437 15925248 3171 4294967295 134512640 134716908 3221224560 3221220944 1074973938 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3888 3171 1111 63 0 3825 0
vsize: 15552
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22746
Raw data (stat): 22746 (bsolo_lpr-v2) R 22745 8378 8377 0 -1 0 67394 0 0 0 15621 379 0 0 25 0 1 0 844707437 16912384 3440 4294967295 134512640 134716908 3221224560 3221221664 1074138838 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4129 3440 1111 63 0 4066 0
vsize: 16516
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22746
Raw data (stat): 22746 (bsolo_lpr-v2) R 22745 8378 8377 0 -1 0 76380 0 0 0 16591 409 0 0 25 0 1 0 844707437 18477056 3802 4294967295 134512640 134716908 3221224560 3221223376 134622268 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4511 3802 1111 63 0 4448 0
vsize: 18044
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22746
Raw data (stat): 22746 (bsolo_lpr-v2) R 22745 8378 8377 0 -1 0 86720 0 0 0 17563 438 0 0 25 0 1 0 844707437 19361792 4021 4294967295 134512640 134716908 3221224560 3221222816 134652402 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4727 4021 1111 63 0 4664 0
vsize: 18908
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22746
Raw data (stat): 22746 (bsolo_lpr-v2) R 22745 8378 8377 0 -1 0 92728 0 0 0 18544 456 0 0 25 0 1 0 844707437 19648512 4097 4294967295 134512640 134716908 3221224560 3221223200 134651168 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4797 4097 1111 63 0 4734 0
vsize: 19188
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22746
Raw data (stat): 22746 (bsolo_lpr-v2) R 22745 8378 8377 0 -1 0 100282 0 0 0 19526 474 0 0 25 0 1 0 844707437 19660800 4100 4294967295 134512640 134716908 3221224560 3221222896 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4800 4100 1111 63 0 4737 0
vsize: 19200
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22746
Raw data (stat): 22746 (bsolo_lpr-v2) R 22745 8378 8377 0 -1 0 114351 0 0 0 20490 511 0 0 25 0 1 0 844707437 20197376 4168 4294967295 134512640 134716908 3221224560 3221220572 1074788944 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4931 4168 1111 63 0 4868 0
vsize: 19724
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22746
Raw data (stat): 22746 (bsolo_lpr-v2) R 22745 8378 8377 0 -1 0 127663 0 0 0 21455 545 0 0 25 0 1 0 844707437 20443136 4227 4294967295 134512640 134716908 3221224560 3221221092 1075863638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4991 4227 1111 63 0 4928 0
vsize: 19964
[startup+230.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22746
Raw data (stat): 22746 (bsolo_lpr-v2) R 22745 8378 8377 0 -1 0 141172 0 0 0 22422 579 0 0 25 0 1 0 844707437 20414464 4284 4294967295 134512640 134716908 3221224560 3221223016 134543144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4984 4284 1111 63 0 4921 0
vsize: 19936
[startup+240.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22746
Raw data (stat): 22746 (bsolo_lpr-v2) R 22745 8378 8377 0 -1 0 156618 0 0 0 23383 618 0 0 25 0 1 0 844707437 21123072 4389 4294967295 134512640 134716908 3221224560 3221220524 1074788162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5157 4389 1111 63 0 5094 0
vsize: 20628
[startup+250.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22746
Raw data (stat): 22746 (bsolo_lpr-v2) R 22745 8378 8377 0 -1 0 171240 0 0 0 24345 657 0 0 25 0 1 0 844707437 21417984 4451 4294967295 134512640 134716908 3221224560 3221220524 1074860626 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5229 4451 1111 63 0 5166 0
vsize: 20916
[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22746
Raw data (stat): 22746 (bsolo_lpr-v2) R 22745 8378 8377 0 -1 0 182827 0 0 0 25314 688 0 0 25 0 1 0 844707437 21262336 4491 4294967295 134512640 134716908 3221224560 3221222288 1075828345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5191 4491 1111 63 0 5128 0
vsize: 20764
[startup+270.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22746
Raw data (stat): 22746 (bsolo_lpr-v2) R 22745 8378 8377 0 -1 0 194102 0 0 0 26286 715 0 0 25 0 1 0 844707437 21385216 4514 4294967295 134512640 134716908 3221224560 3221222672 1074867337 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5221 4514 1111 63 0 5158 0
vsize: 20884
[startup+280.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22746
Raw data (stat): 22746 (bsolo_lpr-v2) R 22745 8378 8377 0 -1 0 205428 0 0 0 27257 745 0 0 25 0 1 0 844707437 21921792 4571 4294967295 134512640 134716908 3221224560 3221220768 1074815244 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5352 4571 1111 63 0 5289 0
vsize: 21408
[startup+290.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22746
Raw data (stat): 22746 (bsolo_lpr-v2) R 22745 8378 8377 0 -1 0 216582 0 0 0 28228 774 0 0 25 0 1 0 844707437 21991424 4583 4294967295 134512640 134716908 3221224560 3221220768 1074815312 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5369 4583 1111 63 0 5306 0
vsize: 21476
[startup+300.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22746
Raw data (stat): 22746 (bsolo_lpr-v2) R 22745 8378 8377 0 -1 0 230285 0 0 0 29195 807 0 0 25 0 1 0 844707437 22167552 4638 4294967295 134512640 134716908 3221224560 3221220688 1075112100 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5412 4638 1111 63 0 5349 0
vsize: 21648
[startup+310.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22746
Raw data (stat): 22746 (bsolo_lpr-v2) R 22745 8378 8377 0 -1 0 243925 0 0 0 30155 847 0 0 25 0 1 0 844707437 22282240 4678 4294967295 134512640 134716908 3221224560 3221220896 1075114277 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5440 4678 1111 63 0 5377 0
vsize: 21760
[startup+320.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22746
Raw data (stat): 22746 (bsolo_lpr-v2) R 22745 8378 8377 0 -1 0 261267 0 0 0 31112 890 0 0 25 0 1 0 844707437 22097920 4697 4294967295 134512640 134716908 3221224560 3221222472 1074138315 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5395 4697 1111 63 0 5332 0
vsize: 21580
[startup+330.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22746
Raw data (stat): 22746 (bsolo_lpr-v2) R 22745 8378 8377 0 -1 0 272112 0 0 0 32086 917 0 0 25 0 1 0 844707437 22347776 4758 4294967295 134512640 134716908 3221224560 3221222760 1074138155 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5456 4758 1111 63 0 5393 0
vsize: 21824
[startup+340.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22746
Raw data (stat): 22746 (bsolo_lpr-v2) R 22745 8378 8377 0 -1 0 280199 0 0 0 33064 938 0 0 25 0 1 0 844707437 22421504 4773 4294967295 134512640 134716908 3221224560 3221222872 134543168 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5474 4773 1111 63 0 5411 0
vsize: 21896
[startup+350.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22746
Raw data (stat): 22746 (bsolo_lpr-v2) R 22745 8378 8377 0 -1 0 291242 0 0 0 34038 965 0 0 25 0 1 0 844707437 23052288 4852 4294967295 134512640 134716908 3221224560 3221221060 1074846173 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5628 4852 1111 63 0 5565 0
vsize: 22512
[startup+360.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22746
Raw data (stat): 22746 (bsolo_lpr-v2) R 22745 8378 8377 0 -1 0 300613 0 0 0 35016 987 0 0 25 0 1 0 844707437 23207936 4887 4294967295 134512640 134716908 3221224560 3221220716 1075093118 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5666 4887 1111 63 0 5603 0
vsize: 22664
[startup+370.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22746
Raw data (stat): 22746 (bsolo_lpr-v2) R 22745 8378 8377 0 -1 0 307786 0 0 0 35997 1007 0 0 25 0 1 0 844707437 22855680 4878 4294967295 134512640 134716908 3221224560 3221223352 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5580 4878 1111 63 0 5517 0
vsize: 22320
[startup+380.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22746
Raw data (stat): 22746 (bsolo_lpr-v2) R 22745 8378 8377 0 -1 0 314908 0 0 0 36981 1022 0 0 25 0 1 0 844707437 22851584 4881 4294967295 134512640 134716908 3221224560 3221222288 1075828447 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5579 4881 1111 63 0 5516 0
vsize: 22316
[startup+390.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22746
Raw data (stat): 22746 (bsolo_lpr-v2) R 22745 8378 8377 0 -1 0 321671 0 0 0 37965 1038 0 0 25 0 1 0 844707437 22896640 4892 4294967295 134512640 134716908 3221224560 3221222792 1074206849 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5590 4892 1111 63 0 5527 0
vsize: 22360
[startup+400.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22746
Raw data (stat): 22746 (bsolo_lpr-v2) R 22745 8378 8377 0 -1 0 329614 0 0 0 38945 1058 0 0 25 0 1 0 844707437 22994944 4916 4294967295 134512640 134716908 3221224560 3221222472 1074138277 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5614 4916 1111 63 0 5551 0
vsize: 22456
[startup+410.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22746
Raw data (stat): 22746 (bsolo_lpr-v2) R 22745 8378 8377 0 -1 0 337695 0 0 0 39926 1078 0 0 25 0 1 0 844707437 23027712 4924 4294967295 134512640 134716908 3221224560 3221222608 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5622 4924 1111 63 0 5559 0
vsize: 22488
[startup+420.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22746
Raw data (stat): 22746 (bsolo_lpr-v2) R 22745 8378 8377 0 -1 0 345679 0 0 0 40907 1097 0 0 25 0 1 0 844707437 23498752 4970 4294967295 134512640 134716908 3221224560 3221220880 1075170472 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5737 4970 1111 63 0 5674 0
vsize: 22948
[startup+430.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22746
Raw data (stat): 22746 (bsolo_lpr-v2) R 22745 8378 8377 0 -1 0 356281 0 0 0 41884 1120 0 0 25 0 1 0 844707437 23629824 4999 4294967295 134512640 134716908 3221224560 3221221076 1075132451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5769 4999 1111 63 0 5706 0
vsize: 23076
[startup+440.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22746
Raw data (stat): 22746 (bsolo_lpr-v2) R 22745 8378 8377 0 -1 0 365914 0 0 0 42861 1143 0 0 25 0 1 0 844707437 23252992 4969 4294967295 134512640 134716908 3221224560 3221222304 1075640393 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5677 4969 1111 63 0 5614 0
vsize: 22708
[startup+450.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22746
Raw data (stat): 22746 (bsolo_lpr-v2) R 22745 8378 8377 0 -1 0 374131 0 0 0 43841 1164 0 0 25 0 1 0 844707437 23240704 4976 4294967295 134512640 134716908 3221224560 3221222944 1074153815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5674 4976 1111 63 0 5611 0
vsize: 22696
[startup+460.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22746
Raw data (stat): 22746 (bsolo_lpr-v2) R 22745 8378 8377 0 -1 0 384854 0 0 0 44814 1190 0 0 25 0 1 0 844707437 23908352 5062 4294967295 134512640 134716908 3221224560 3221220588 1074788241 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5837 5062 1111 63 0 5774 0
vsize: 23348
[startup+470.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22746
Raw data (stat): 22746 (bsolo_lpr-v2) R 22745 8378 8377 0 -1 0 393136 0 0 0 45794 1211 0 0 25 0 1 0 844707437 23371776 5008 4294967295 134512640 134716908 3221224560 3221223088 134543710 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5706 5008 1111 63 0 5643 0
vsize: 22824
[startup+480.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22746
Raw data (stat): 22746 (bsolo_lpr-v2) R 22745 8378 8377 0 -1 0 402026 0 0 0 46773 1232 0 0 25 0 1 0 844707437 23425024 5021 4294967295 134512640 134716908 3221224560 3221222560 1074921304 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5719 5021 1111 63 0 5656 0
vsize: 22876
[startup+490.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22746
Raw data (stat): 22746 (bsolo_lpr-v2) R 22745 8378 8377 0 -1 0 411151 0 0 0 47750 1256 0 0 25 0 1 0 844707437 23994368 5083 4294967295 134512640 134716908 3221224560 3221221616 1075276343 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5858 5083 1111 63 0 5795 0
vsize: 23432
[startup+500.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22746
Raw data (stat): 22746 (bsolo_lpr-v2) R 22745 8378 8377 0 -1 0 419941 0 0 0 48728 1277 0 0 25 0 1 0 844707437 23887872 5077 4294967295 134512640 134716908 3221224560 3221221488 1075960291 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5832 5077 1111 63 0 5769 0
vsize: 23328
[startup+510.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22746
Raw data (stat): 22746 (bsolo_lpr-v2) R 22745 8378 8377 0 -1 0 431187 0 0 0 49699 1307 0 0 25 0 1 0 844707437 23506944 5041 4294967295 134512640 134716908 3221224560 3221222696 1073986673 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5739 5041 1111 63 0 5676 0
vsize: 22956
[startup+520.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22746
Raw data (stat): 22746 (bsolo_lpr-v2) R 22745 8378 8377 0 -1 0 438184 0 0 0 50680 1326 0 0 25 0 1 0 844707437 23609344 5066 4294967295 134512640 134716908 3221224560 3221223272 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5764 5066 1111 63 0 5701 0
vsize: 23056
[startup+530.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22746
Raw data (stat): 22746 (bsolo_lpr-v2) R 22745 8378 8377 0 -1 0 445510 0 0 0 51662 1345 0 0 25 0 1 0 844707437 23707648 5090 4294967295 134512640 134716908 3221224560 3221223212 134542400 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5788 5090 1111 63 0 5725 0
vsize: 23152
[startup+540.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22746
Raw data (stat): 22746 (bsolo_lpr-v2) R 22745 8378 8377 0 -1 0 453510 0 0 0 52641 1365 0 0 25 0 1 0 844707437 24322048 5171 4294967295 134512640 134716908 3221224560 3221221600 1075860069 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5938 5171 1111 63 0 5875 0
vsize: 23752
[startup+550.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22746
Raw data (stat): 22746 (bsolo_lpr-v2) R 22745 8378 8377 0 -1 0 460833 0 0 0 53620 1386 0 0 25 0 1 0 844707437 23810048 5115 4294967295 134512640 134716908 3221224560 3221223276 134558608 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5813 5115 1111 63 0 5750 0
vsize: 23252
[startup+560.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22746
Raw data (stat): 22746 (bsolo_lpr-v2) R 22745 8378 8377 0 -1 0 470443 0 0 0 54596 1410 0 0 25 0 1 0 844707437 24281088 5142 4294967295 134512640 134716908 3221224560 3221220992 1075119362 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5928 5142 1111 63 0 5865 0
vsize: 23712
[startup+570.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22746
Raw data (stat): 22746 (bsolo_lpr-v2) R 22745 8378 8377 0 -1 0 484468 0 0 0 55561 1445 0 0 25 0 1 0 844707437 23797760 5112 4294967295 134512640 134716908 3221224560 3221222896 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5810 5112 1111 63 0 5747 0
vsize: 23240
[startup+580.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22746
Raw data (stat): 22746 (bsolo_lpr-v2) R 22745 8378 8377 0 -1 0 494842 0 0 0 56538 1468 0 0 25 0 1 0 844707437 24363008 5163 4294967295 134512640 134716908 3221224560 3221220736 1074882610 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5948 5163 1111 63 0 5885 0
vsize: 23792
[startup+590.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22746
Raw data (stat): 22746 (bsolo_lpr-v2) R 22745 8378 8377 0 -1 0 502631 0 0 0 57520 1487 0 0 25 0 1 0 844707437 24453120 5157 4294967295 134512640 134716908 3221224560 3221221624 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5970 5157 1111 63 0 5907 0
vsize: 23880
[startup+600.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22746
Raw data (stat): 22746 (bsolo_lpr-v2) R 22745 8378 8377 0 -1 0 515429 0 0 0 58489 1518 0 0 25 0 1 0 844707437 24293376 5233 4294967295 134512640 134716908 3221224560 3221223456 134621951 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5931 5233 1111 63 0 5868 0
vsize: 23724
[startup+610.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22746
Raw data (stat): 22746 (bsolo_lpr-v2) R 22745 8378 8377 0 -1 0 527895 0 0 0 59458 1549 0 0 25 0 1 0 844707437 25243648 5379 4294967295 134512640 134716908 3221224560 3221220728 1074791553 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6163 5379 1111 63 0 6100 0
vsize: 24652
[startup+620.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22746
Raw data (stat): 22746 (bsolo_lpr-v2) R 22745 8378 8377 0 -1 0 541923 0 0 0 60423 1584 0 0 25 0 1 0 844707437 25059328 5420 4294967295 134512640 134716908 3221224560 3221223232 134652581 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6118 5420 1111 63 0 6055 0
vsize: 24472
[startup+630.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22746
Raw data (stat): 22746 (bsolo_lpr-v2) R 22745 8378 8377 0 -1 0 552537 0 0 0 61396 1612 0 0 25 0 1 0 844707437 25624576 5492 4294967295 134512640 134716908 3221224560 3221221600 1075971283 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6256 5492 1111 63 0 6193 0
vsize: 25024
[startup+640.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22746
Raw data (stat): 22746 (bsolo_lpr-v2) R 22745 8378 8377 0 -1 0 562461 0 0 0 62372 1636 0 0 25 0 1 0 844707437 25628672 5547 4294967295 134512640 134716908 3221224560 3221222560 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6257 5547 1111 63 0 6194 0
vsize: 25028
[startup+650.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22746
Raw data (stat): 22746 (bsolo_lpr-v2) R 22745 8378 8377 0 -1 0 569713 0 0 0 63354 1654 0 0 25 0 1 0 844707437 25608192 5543 4294967295 134512640 134716908 3221224560 3221222560 1074918583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6252 5543 1111 63 0 6189 0
vsize: 25008
[startup+660.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22746
Raw data (stat): 22746 (bsolo_lpr-v2) R 22745 8378 8377 0 -1 0 576507 0 0 0 64337 1671 0 0 25 0 1 0 844707437 26050560 5551 4294967295 134512640 134716908 3221224560 3221221152 1074884320 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6360 5551 1111 63 0 6297 0
vsize: 25440
[startup+670.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22746
Raw data (stat): 22746 (bsolo_lpr-v2) R 22745 8378 8377 0 -1 0 585777 0 0 0 65315 1693 0 0 25 0 1 0 844707437 25993216 5581 4294967295 134512640 134716908 3221224560 3221220560 1075965240 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6346 5582 1111 63 0 6283 0
vsize: 25384
[startup+680.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22746
Raw data (stat): 22746 (bsolo_lpr-v2) R 22745 8378 8377 0 -1 0 594500 0 0 0 66293 1716 0 0 25 0 1 0 844707437 25632768 5560 4294967295 134512640 134716908 3221224560 3221222560 1074918482 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6258 5560 1111 63 0 6195 0
vsize: 25032
[startup+690.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22746
Raw data (stat): 22746 (bsolo_lpr-v2) R 22745 8378 8377 0 -1 0 602632 0 0 0 67272 1737 0 0 25 0 1 0 844707437 25800704 5602 4294967295 134512640 134716908 3221224560 3221222740 1077374195 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6299 5602 1111 63 0 6236 0
vsize: 25196
[startup+700.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22746
Raw data (stat): 22746 (bsolo_lpr-v2) R 22745 8378 8377 0 -1 0 611448 0 0 0 68249 1760 0 0 25 0 1 0 844707437 25911296 5613 4294967295 134512640 134716908 3221224560 3221222560 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6326 5613 1111 63 0 6263 0
vsize: 25304
[startup+710.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22746
Raw data (stat): 22746 (bsolo_lpr-v2) R 22745 8378 8377 0 -1 0 618613 0 0 0 69229 1780 0 0 25 0 1 0 844707437 25841664 5612 4294967295 134512640 134716908 3221224560 3221222900 1074153878 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6309 5612 1111 63 0 6246 0
vsize: 25236
[startup+720.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22746
Raw data (stat): 22746 (bsolo_lpr-v2) R 22745 8378 8377 0 -1 0 626903 0 0 0 70210 1799 0 0 25 0 1 0 844707437 26386432 5709 4294967295 134512640 134716908 3221224560 3221222672 1074867344 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6442 5709 1111 63 0 6379 0
vsize: 25768
[startup+730.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22746
Raw data (stat): 22746 (bsolo_lpr-v2) R 22745 8378 8377 0 -1 0 633721 0 0 0 71191 1819 0 0 25 0 1 0 844707437 26525696 5693 4294967295 134512640 134716908 3221224560 3221220524 1074788168 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6476 5693 1111 63 0 6413 0
vsize: 25904
[startup+740.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22746
Raw data (stat): 22746 (bsolo_lpr-v2) R 22745 8378 8377 0 -1 0 642114 0 0 0 72170 1839 0 0 25 0 1 0 844707437 26423296 5702 4294967295 134512640 134716908 3221224560 3221220736 1074882604 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6451 5702 1111 63 0 6388 0
vsize: 25804
[startup+750.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22746
Raw data (stat): 22746 (bsolo_lpr-v2) R 22745 8378 8377 0 -1 0 648832 0 0 0 73154 1856 0 0 25 0 1 0 844707437 26066944 5667 4294967295 134512640 134716908 3221224560 3221222560 1074915847 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6364 5667 1111 63 0 6301 0
vsize: 25456
[startup+760.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22746
Raw data (stat): 22746 (bsolo_lpr-v2) R 22745 8378 8377 0 -1 0 659946 0 0 0 74127 1883 0 0 25 0 1 0 844707437 27193344 5836 4294967295 134512640 134716908 3221224560 3221220632 1074950210 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6639 5836 1111 63 0 6576 0
vsize: 26556
[startup+770.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22746
Raw data (stat): 22746 (bsolo_lpr-v2) R 22745 8378 8377 0 -1 0 668916 0 0 0 75104 1906 0 0 25 0 1 0 844707437 26427392 5755 4294967295 134512640 134716908 3221224560 3221222208 1074247419 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6452 5755 1111 63 0 6389 0
vsize: 25808
[startup+780.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22746
Raw data (stat): 22746 (bsolo_lpr-v2) R 22745 8378 8377 0 -1 0 676900 0 0 0 76084 1926 0 0 25 0 1 0 844707437 26505216 5774 4294967295 134512640 134716908 3221224560 3221222288 1075829025 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6471 5774 1111 63 0 6408 0
vsize: 25884
[startup+790.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22746
Raw data (stat): 22746 (bsolo_lpr-v2) R 22745 8378 8377 0 -1 0 685947 0 0 0 77062 1949 0 0 25 0 1 0 844707437 28438528 6061 4294967295 134512640 134716908 3221224560 3221221484 1075960164 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6943 6061 1111 63 0 6880 0
vsize: 27772
[startup+800.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22746
Raw data (stat): 22746 (bsolo_lpr-v2) R 22745 8378 8377 0 -1 0 694342 0 0 0 78042 1969 0 0 25 0 1 0 844707437 28663808 6102 4294967295 134512640 134716908 3221224560 3221220908 1075895168 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6998 6102 1111 63 0 6935 0
vsize: 27992
[startup+810.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22746
Raw data (stat): 22746 (bsolo_lpr-v2) R 22745 8378 8377 0 -1 0 700067 0 0 0 79026 1984 0 0 25 0 1 0 844707437 28205056 6072 4294967295 134512640 134716908 3221224560 3221222924 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6886 6072 1111 63 0 6823 0
vsize: 27544
[startup+820.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22746
Raw data (stat): 22746 (bsolo_lpr-v2) R 22745 8378 8377 0 -1 0 706772 0 0 0 80009 2002 0 0 25 0 1 0 844707437 28311552 6103 4294967295 134512640 134716908 3221224560 3221223352 134536915 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6912 6103 1111 63 0 6849 0
vsize: 27648
[startup+830.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22746
Raw data (stat): 22746 (bsolo_lpr-v2) R 22745 8378 8377 0 -1 0 714172 0 0 0 80992 2019 0 0 25 0 1 0 844707437 28655616 6104 4294967295 134512640 134716908 3221224560 3221221112 1075850656 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6996 6104 1111 63 0 6933 0
vsize: 27984
[startup+840.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22746
Raw data (stat): 22746 (bsolo_lpr-v2) R 22745 8378 8377 0 -1 0 722768 0 0 0 81969 2042 0 0 25 0 1 0 844707437 28782592 6159 4294967295 134512640 134716908 3221224560 3221220880 1075171263 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7027 6159 1111 63 0 6964 0
vsize: 28108
[startup+850.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22746
Raw data (stat): 22746 (bsolo_lpr-v2) R 22745 8378 8377 0 -1 0 728828 0 0 0 82953 2059 0 0 25 0 1 0 844707437 28774400 6214 4294967295 134512640 134716908 3221224560 3221222560 1074918583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7025 6214 1111 63 0 6962 0
vsize: 28100
[startup+860.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22746
Raw data (stat): 22746 (bsolo_lpr-v2) R 22745 8378 8377 0 -1 0 736000 0 0 0 83936 2076 0 0 25 0 1 0 844707437 29065216 6201 4294967295 134512640 134716908 3221224560 3221220928 1075894558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7096 6201 1111 63 0 7033 0
vsize: 28384
[startup+870.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22746
Raw data (stat): 22746 (bsolo_lpr-v2) R 22745 8378 8377 0 -1 0 743172 0 0 0 84920 2092 0 0 25 0 1 0 844707437 28602368 6174 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6983 6174 1111 63 0 6920 0
vsize: 27932
[startup+880.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22746
Raw data (stat): 22746 (bsolo_lpr-v2) R 22745 8378 8377 0 -1 0 751720 0 0 0 85896 2116 0 0 25 0 1 0 844707437 28487680 6146 4294967295 134512640 134716908 3221224560 3221222812 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6955 6146 1111 63 0 6892 0
vsize: 27820
[startup+890.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22746
Raw data (stat): 22746 (bsolo_lpr-v2) R 22745 8378 8377 0 -1 0 759803 0 0 0 86877 2136 0 0 25 0 1 0 844707437 29073408 6202 4294967295 134512640 134716908 3221224560 3221220832 1074961258 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7098 6202 1111 63 0 7035 0
vsize: 28392
[startup+900.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22746
Raw data (stat): 22746 (bsolo_lpr-v2) R 22745 8378 8377 0 -1 0 768542 0 0 0 87856 2156 0 0 25 0 1 0 844707437 28688384 6195 4294967295 134512640 134716908 3221224560 3221222672 1074867308 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7004 6195 1111 63 0 6941 0
vsize: 28016
[startup+910.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22746
Raw data (stat): 22746 (bsolo_lpr-v2) R 22745 8378 8377 0 -1 0 777576 0 0 0 88832 2180 0 0 25 0 1 0 844707437 28782592 6218 4294967295 134512640 134716908 3221224560 3221222944 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7027 6218 1111 63 0 6964 0
vsize: 28108
[startup+920.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22746
Raw data (stat): 22746 (bsolo_lpr-v2) R 22745 8378 8377 0 -1 0 785314 0 0 0 89813 2200 0 0 25 0 1 0 844707437 28884992 6243 4294967295 134512640 134716908 3221224560 3221223376 134622268 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7052 6243 1111 63 0 6989 0
vsize: 28208
[startup+930.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22746
Raw data (stat): 22746 (bsolo_lpr-v2) R 22745 8378 8377 0 -1 0 794249 0 0 0 90792 2221 0 0 25 0 1 0 844707437 29872128 6296 4294967295 134512640 134716908 3221224560 3221221660 1074617492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7293 6296 1111 63 0 7230 0
vsize: 29172
[startup+940.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22746
Raw data (stat): 22746 (bsolo_lpr-v2) R 22745 8378 8377 0 -1 0 801516 0 0 0 91774 2240 0 0 25 0 1 0 844707437 29020160 6276 4294967295 134512640 134716908 3221224560 3221221680 1074866222 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7085 6276 1111 63 0 7022 0
vsize: 28340
[startup+950.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22746
Raw data (stat): 22746 (bsolo_lpr-v2) R 22745 8378 8377 0 -1 0 807745 0 0 0 92757 2256 0 0 25 0 1 0 844707437 29466624 6316 4294967295 134512640 134716908 3221224560 3221221328 1076083315 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7194 6316 1111 63 0 7131 0
vsize: 28776
[startup+960.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22746
Raw data (stat): 22746 (bsolo_lpr-v2) R 22745 8378 8377 0 -1 0 813937 0 0 0 93742 2272 0 0 25 0 1 0 844707437 28995584 6270 4294967295 134512640 134716908 3221224560 3221222956 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7079 6270 1111 63 0 7016 0
vsize: 28316
[startup+970.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22746
Raw data (stat): 22746 (bsolo_lpr-v2) R 22745 8378 8377 0 -1 0 821818 0 0 0 94722 2292 0 0 25 0 1 0 844707437 30121984 6481 4294967295 134512640 134716908 3221224560 3221220832 1074961267 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7354 6481 1111 63 0 7291 0
vsize: 29416
[startup+980.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22746
Raw data (stat): 22746 (bsolo_lpr-v2) R 22745 8378 8377 0 -1 0 828381 0 0 0 95705 2309 0 0 25 0 1 0 844707437 29454336 6313 4294967295 134512640 134716908 3221224560 3221220672 1075093350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7191 6313 1111 63 0 7128 0
vsize: 28764
[startup+990.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22746
Raw data (stat): 22746 (bsolo_lpr-v2) R 22745 8378 8377 0 -1 0 835602 0 0 0 96688 2326 0 0 25 0 1 0 844707437 29614080 6338 4294967295 134512640 134716908 3221224560 3221220788 1075115049 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7230 6338 1111 63 0 7167 0
vsize: 28920
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22746
Raw data (stat): 22746 (bsolo_lpr-v2) R 22745 8378 8377 0 -1 0 841202 0 0 0 97676 2338 0 0 25 0 1 0 844707437 29138944 6305 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7114 6305 1111 63 0 7051 0
vsize: 28456
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22746
Raw data (stat): 22746 (bsolo_lpr-v2) R 22745 8378 8377 0 -1 0 848097 0 0 0 98659 2356 0 0 25 0 1 0 844707437 29556736 6349 4294967295 134512640 134716908 3221224560 3221221104 1075088566 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7216 6349 1111 63 0 7153 0
vsize: 28864
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22746
Raw data (stat): 22746 (bsolo_lpr-v2) R 22745 8378 8377 0 -1 0 854921 0 0 0 99642 2372 0 0 25 0 1 0 844707437 29548544 6340 4294967295 134512640 134716908 3221224560 3221220592 1075965253 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7214 6340 1111 63 0 7151 0
vsize: 28856
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22746
Raw data (stat): 22746 (bsolo_lpr-v2) R 22745 8378 8377 0 -1 0 866669 0 0 0 100614 2401 0 0 25 0 1 0 844707437 29540352 6339 4294967295 134512640 134716908 3221224560 3221220788 1075115084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7212 6339 1111 63 0 7149 0
vsize: 28848
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22746
Raw data (stat): 22746 (bsolo_lpr-v2) R 22745 8378 8377 0 -1 0 878262 0 0 0 101587 2428 0 0 25 0 1 0 844707437 29257728 6334 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7143 6334 1111 63 0 7080 0
vsize: 28572
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22746
Raw data (stat): 22746 (bsolo_lpr-v2) R 22745 8378 8377 0 -1 0 885487 0 0 0 102571 2444 0 0 25 0 1 0 844707437 29327360 6351 4294967295 134512640 134716908 3221224560 3221222608 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7160 6351 1111 63 0 7097 0
vsize: 28640
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22746
Raw data (stat): 22746 (bsolo_lpr-v2) R 22745 8378 8377 0 -1 0 894268 0 0 0 103549 2466 0 0 25 0 1 0 844707437 30625792 6521 4294967295 134512640 134716908 3221224560 3221220788 1075115028 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7477 6521 1111 63 0 7414 0
vsize: 29908
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22746
Raw data (stat): 22746 (bsolo_lpr-v2) R 22745 8378 8377 0 -1 0 901425 0 0 0 104532 2484 0 0 25 0 1 0 844707437 29724672 6446 4294967295 134512640 134716908 3221224560 3221222560 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7257 6446 1111 63 0 7194 0
vsize: 29028
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22746
Raw data (stat): 22746 (bsolo_lpr-v2) R 22745 8378 8377 0 -1 0 907309 0 0 0 105516 2500 0 0 25 0 1 0 844707437 29908992 6410 4294967295 134512640 134716908 3221224560 3221221632 1074867337 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7302 6410 1111 63 0 7239 0
vsize: 29208
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22746
Raw data (stat): 22746 (bsolo_lpr-v2) R 22745 8378 8377 0 -1 0 914133 0 0 0 106498 2518 0 0 25 0 1 0 844707437 29442048 6378 4294967295 134512640 134716908 3221224560 3221222728 1074138144 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7188 6378 1111 63 0 7125 0
vsize: 28752
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22746
Raw data (stat): 22746 (bsolo_lpr-v2) R 22745 8378 8377 0 -1 0 920146 0 0 0 107482 2534 0 0 25 0 1 0 844707437 29949952 6418 4294967295 134512640 134716908 3221224560 3221220720 1074815211 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7312 6418 1111 63 0 7249 0
vsize: 29248
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22746
Raw data (stat): 22746 (bsolo_lpr-v2) R 22745 8378 8377 0 -1 0 925751 0 0 0 108470 2547 0 0 25 0 1 0 844707437 30179328 6464 4294967295 134512640 134716908 3221224560 3221220768 1074815396 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7368 6464 1111 63 0 7305 0
vsize: 29472
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22746
Raw data (stat): 22746 (bsolo_lpr-v2) R 22745 8378 8377 0 -1 0 932211 0 0 0 109453 2564 0 0 25 0 1 0 844707437 29495296 6392 4294967295 134512640 134716908 3221224560 3221223164 134542371 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7201 6392 1111 63 0 7138 0
vsize: 28804
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22746
Raw data (stat): 22746 (bsolo_lpr-v2) R 22745 8378 8377 0 -1 0 937534 0 0 0 110440 2577 0 0 25 0 1 0 844707437 30167040 6473 4294967295 134512640 134716908 3221224560 3221221160 1075850787 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7365 6473 1111 63 0 7302 0
vsize: 29460
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22746
Raw data (stat): 22746 (bsolo_lpr-v2) R 22745 8378 8377 0 -1 0 942910 0 0 0 111426 2592 0 0 25 0 1 0 844707437 29679616 6437 4294967295 134512640 134716908 3221224560 3221222944 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7246 6437 1111 63 0 7183 0
vsize: 28984
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22746
Raw data (stat): 22746 (bsolo_lpr-v2) R 22745 8378 8377 0 -1 0 948112 0 0 0 112412 2605 0 0 25 0 1 0 844707437 29933568 6456 4294967295 134512640 134716908 3221224560 3221222208 1075818178 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7308 6456 1111 63 0 7245 0
vsize: 29232
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22746
Raw data (stat): 22746 (bsolo_lpr-v2) R 22745 8378 8377 0 -1 0 953905 0 0 0 113399 2619 0 0 25 0 1 0 844707437 30191616 6490 4294967295 134512640 134716908 3221224560 3221220736 1074882604 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7371 6490 1111 63 0 7308 0
vsize: 29484
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22746
Raw data (stat): 22746 (bsolo_lpr-v2) R 22745 8378 8377 0 -1 0 960006 0 0 0 114385 2633 0 0 25 0 1 0 844707437 30736384 6580 4294967295 134512640 134716908 3221224560 3221220928 1075894538 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7504 6580 1111 63 0 7441 0
vsize: 30016
[startup+1175.07 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 22746
Raw data (stat): 22746 (bsolo_lpr-v2) R 22745 8378 8377 0 -1 0 960006 0 0 0 114385 2633 0 0 25 0 1 0 844707437 30736384 6580 4294967295 134512640 134716908 3221224560 3221220928 1075894538 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7504 6580 1111 63 0 7441 0
vsize: 0

Child status: 10
Real time (s): 1175.07
CPU time (s): 1175.23
CPU user time (s): 1148.78
CPU system time (s): 26.443
CPU usage (%): 100.013
Max. virtual memory (Kb): 30016
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	47575
#### END VERIFIER DATA ####