PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-markshare1_1.opb
MD5SUM	452acf9ed3adc2d2cfe293dad01c0934
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	167110
Optimality of the best value was proved	NO
Number of terms in the objective function	180
Biggest coefficient in the objective function	536870912
Number of bits for the biggest coefficient in the objective function	30
Sum of the numbers in the objective function	6442450938
Number of bits of the sum of numbers in the objective function	33
Biggest number in a constraint	536870912
Number of bits of the biggest number in a constraint	30
Biggest sum of numbers in a constraint	6442450938
Number of bits of the biggest sum of numbers	33
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.02
Number of variables	280
Total number of constraints	56
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	45
Number of constraints which are nor clauses,nor cardinality constraints	11
Minimum length of a constraint	1
Maximum length of a constraint	130
Trace number 40105

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-08 02:25:15 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28158 boxname=wulflinc2 idbench=1114 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  452acf9ed3adc2d2cfe293dad01c0934  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-markshare1_1.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-markshare1_1.opb
IDLAUNCH: 28158
/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:        660268 kB
Buffers:         24548 kB
Cached:         326912 kB
SwapCached:       1392 kB
Active:          23928 kB
Inactive:       329528 kB
HighTotal:      131008 kB
HighFree:          476 kB
LowTotal:       903652 kB
LowFree:        659792 kB
SwapTotal:     2097136 kB
SwapFree:      2094692 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4984 kB
Slab:            15052 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 02:44:50 (client local time) WITH STATUS 10 IN 1175.02 SECONDS
stats: 28158 0 1175.02 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 280 variables and 17 constraints.
c After prepocess the problem consists of 226 variables and 17 constraints.
c preprocess terminated 0.132 s
c Initial Lower Bound: 0
c Lower Bound Elapsed time: 0.0125
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 521216 @ 0.668
c NEW SOLUTION FOUND: 517472 @ 0.912
c NEW SOLUTION FOUND: 516944 @ 0.914
c NEW SOLUTION FOUND: 512336 @ 0.939
c NEW SOLUTION FOUND: 508256 @ 0.942
c NEW SOLUTION FOUND: 507728 @ 0.952
c NEW SOLUTION FOUND: 499040 @ 0.983
c NEW SOLUTION FOUND: 498512 @ 0.985
c NEW SOLUTION FOUND: 498374 @ 1.079
c NEW SOLUTION FOUND: 497846 @ 1.081
c NEW SOLUTION FOUND: 497168 @ 1.409
c NEW SOLUTION FOUND: 496910 @ 1.839
c NEW SOLUTION FOUND: 496478 @ 2.39
c NEW SOLUTION FOUND: 496016 @ 3.043
c NEW SOLUTION FOUND: 495758 @ 3.171
c NEW SOLUTION FOUND: 495554 @ 5.117
c NEW SOLUTION FOUND: 495494 @ 5.26
c NEW SOLUTION FOUND: 495260 @ 24.684
c NEW SOLUTION FOUND: 495206 @ 315.884
c NEW SOLUTION FOUND: 495191 @ 328.414
c NEW SOLUTION FOUND: 495161 @ 360.687
c NEW SOLUTION FOUND: 495137 @ 386.763
c NEW SOLUTION FOUND: 495107 @ 386.92
c NEW SOLUTION FOUND: 494873 @ 390.403
c NEW SOLUTION FOUND: 494823 @ 391.405
c NEW SOLUTION FOUND: 494737 @ 518.707
s SATISFIABLE
v s01_bit_10 s01_bit_9 -s01_bit_8 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 -s01_bit13 -s01_bit14 -s01_bit15 -s01_bit16 -s01_bit17 -s01_bit18 -s01_bit19 -s11_bit_10 -s11_bit_9 -s11_bit_8 -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 -s11_bit13 -s11_bit14 -s11_bit15 -s11_bit16 -s11_bit17 -s11_bit18 -s11_bit19 s21_bit_10 -s21_bit_9 -s21_bit_8 -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 -s21_bit13 -s21_bit14 -s21_bit15 -s21_bit16 -s21_bit17 -s21_bit18 -s21_bit19 s31_bit_10 s31_bit_9 -s31_bit_8 -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 -s31_bit13 -s31_bit14 -s31_bit15 -s31_bit16 -s31_bit17 -s31_bit18 -s31_bit19 s41_bit_10 s41_bit_9 s41_bit_8 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 -s41_bit13 -s41_bit14 -s41_bit15 -s41_bit16 -s41_bit17 -s41_bit18 -s41_bit19 s51_bit_10 s51_bit_9 -s51_bit_8 -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 -s51_bit13 -s51_bit14 -s51_bit15 -s51_bit16 -s51_bit17 -s51_bit18 -s51_bit19 -x0_bit_10 x0_bit_9 -x0_bit_8 -x0_bit_7 -x0_bit_6 -x0_bit_5 -x0_bit_4 -x0_bit_3 -x0_bit_2 -x0_bit_1 -x0_bit0 -x45_bit_10 x45_bit_9 x45_bit_8 -x45_bit_7 -x45_bit_6 -x45_bit_5 x45_bit_4 -x45_bit_3 -x45_bit_2 -x45_bit_1 -x45_bit0 -x46_bit_10 x46_bit_9 -x46_bit_8 -x46_bit_7 x46_bit_6 -x46_bit_5 -x46_bit_4 -x46_bit_3 -x46_bit_2 -x46_bit_1 -x46_bit0 x47_bit_10 x47_bit_9 -x47_bit_8 -x47_bit_7 -x47_bit_6 -x47_bit_5 -x47_bit_4 -x47_bit_3 -x47_bit_2 -x47_bit_1 -x47_bit0 -x49_bit_10 x49_bit_9 -x49_bit_8 -x49_bit_7 -x49_bit_6 -x49_bit_5 -x49_bit_4 -x49_bit_3 -x49_bit_2 -x49_bit_1 -x49_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 x48_bit0 
c Exit Code: 10
c Total time: 1175.01 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.86 0.89 0.88 2/54 3237
Raw data (stat): 3237 (runsolver) R 3236 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 898019429 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.0006 s]
Raw data (loadavg): 0.88 0.90 0.88 2/54 3237
Raw data (stat): 3237 (bsolo_lpr-v2) R 3236 31399 31398 0 -1 0 4002 0 0 0 975 23 0 0 25 0 1 0 898019429 8142848 1249 4294967295 134512640 134716908 3221224560 3221221900 1074830524 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1947 1248 1111 63 0 1884 0
vsize: 7952
[startup+20.0009 s]
Raw data (loadavg): 0.90 0.90 0.88 2/54 3237
Raw data (stat): 3237 (bsolo_lpr-v2) R 3236 31399 31398 0 -1 0 6921 0 0 0 1953 44 0 0 25 0 1 0 898019429 8019968 1258 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1998 1259 1111 63 0 1935 0
vsize: 7832
[startup+30.0017 s]
Raw data (loadavg): 0.91 0.90 0.88 2/54 3237
Raw data (stat): 3237 (bsolo_lpr-v2) R 3236 31399 31398 0 -1 0 9737 0 0 0 2929 69 0 0 25 0 1 0 898019429 8019968 1263 4294967295 134512640 134716908 3221224560 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1958 1263 1111 63 0 1895 0
vsize: 7832
[startup+40.0016 s]
Raw data (loadavg): 0.92 0.90 0.88 2/54 3237
Raw data (stat): 3237 (bsolo_lpr-v2) R 3236 31399 31398 0 -1 0 12556 0 0 0 3909 89 0 0 25 0 1 0 898019429 8019968 1263 4294967295 134512640 134716908 3221224560 3221222956 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1958 1263 1111 63 0 1895 0
vsize: 7832
[startup+50.002 s]
Raw data (loadavg): 0.94 0.91 0.88 2/54 3237
Raw data (stat): 3237 (bsolo_lpr-v2) R 3236 31399 31398 0 -1 0 15382 0 0 0 4888 110 0 0 25 0 1 0 898019429 8019968 1263 4294967295 134512640 134716908 3221224560 3221221984 1076057995 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1998 1264 1111 63 0 1935 0
vsize: 7832
[startup+60.0017 s]
Raw data (loadavg): 0.94 0.91 0.88 2/54 3237
Raw data (stat): 3237 (bsolo_lpr-v2) R 3236 31399 31398 0 -1 0 18198 0 0 0 5869 130 0 0 25 0 1 0 898019429 8019968 1263 4294967295 134512640 134716908 3221224560 3221223264 134654876 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1958 1263 1111 63 0 1895 0
vsize: 7832
[startup+70.0027 s]
Raw data (loadavg): 0.95 0.91 0.89 2/54 3237
Raw data (stat): 3237 (bsolo_lpr-v2) R 3236 31399 31398 0 -1 0 20999 0 0 0 6848 151 0 0 25 0 1 0 898019429 8019968 1263 4294967295 134512640 134716908 3221224560 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1958 1263 1111 63 0 1895 0
vsize: 7832
[startup+80.0031 s]
Raw data (loadavg): 0.96 0.91 0.89 2/54 3237
Raw data (stat): 3237 (bsolo_lpr-v2) R 3236 31399 31398 0 -1 0 23802 0 0 0 7825 174 0 0 25 0 1 0 898019429 8019968 1263 4294967295 134512640 134716908 3221224560 3221222364 1075894864 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1958 1263 1111 63 0 1895 0
vsize: 7832
[startup+90.0028 s]
Raw data (loadavg): 0.97 0.92 0.89 2/54 3237
Raw data (stat): 3237 (bsolo_lpr-v2) R 3236 31399 31398 0 -1 0 26577 0 0 0 8805 194 0 0 25 0 1 0 898019429 8019968 1263 4294967295 134512640 134716908 3221224560 3221222956 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1958 1263 1111 63 0 1895 0
vsize: 7832
[startup+100.003 s]
Raw data (loadavg): 0.97 0.92 0.89 2/54 3237
Raw data (stat): 3237 (bsolo_lpr-v2) R 3236 31399 31398 0 -1 0 29427 0 0 0 9785 214 0 0 25 0 1 0 898019429 8019968 1263 4294967295 134512640 134716908 3221224560 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1958 1263 1111 63 0 1895 0
vsize: 7832
[startup+110.003 s]
Raw data (loadavg): 0.97 0.92 0.89 2/54 3237
Raw data (stat): 3237 (bsolo_lpr-v2) R 3236 31399 31398 0 -1 0 32199 0 0 0 10765 234 0 0 25 0 1 0 898019429 8019968 1263 4294967295 134512640 134716908 3221224560 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1958 1263 1111 63 0 1895 0
vsize: 7832
[startup+120.004 s]
Raw data (loadavg): 0.98 0.92 0.89 2/54 3237
Raw data (stat): 3237 (bsolo_lpr-v2) R 3236 31399 31398 0 -1 0 35023 0 0 0 11743 257 0 0 25 0 1 0 898019429 8183808 1264 4294967295 134512640 134716908 3221224560 3221221452 1077386340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1998 1264 1111 63 0 1935 0
vsize: 7992
[startup+130.004 s]
Raw data (loadavg): 0.98 0.92 0.89 2/54 3237
Raw data (stat): 3237 (bsolo_lpr-v2) R 3236 31399 31398 0 -1 0 37822 0 0 0 12724 276 0 0 25 0 1 0 898019429 8019968 1263 4294967295 134512640 134716908 3221224560 3221222956 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1958 1263 1111 63 0 1895 0
vsize: 7832
[startup+140.003 s]
Raw data (loadavg): 0.98 0.93 0.89 2/54 3237
Raw data (stat): 3237 (bsolo_lpr-v2) R 3236 31399 31398 0 -1 0 40584 0 0 0 13704 296 0 0 25 0 1 0 898019429 8019968 1263 4294967295 134512640 134716908 3221224560 3221223152 1074912873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1958 1263 1111 63 0 1895 0
vsize: 7832
[startup+150.003 s]
Raw data (loadavg): 0.99 0.93 0.89 2/54 3237
Raw data (stat): 3237 (bsolo_lpr-v2) R 3236 31399 31398 0 -1 0 43362 0 0 0 14684 316 0 0 25 0 1 0 898019429 8019968 1263 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1958 1263 1111 63 0 1895 0
vsize: 7832
[startup+160.003 s]
Raw data (loadavg): 0.99 0.93 0.89 2/54 3237
Raw data (stat): 3237 (bsolo_lpr-v2) R 3236 31399 31398 0 -1 0 46110 0 0 0 15664 336 0 0 25 0 1 0 898019429 8019968 1263 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1998 1264 1111 63 0 1935 0
vsize: 7832
[startup+170.003 s]
Raw data (loadavg): 0.99 0.93 0.90 2/54 3237
Raw data (stat): 3237 (bsolo_lpr-v2) R 3236 31399 31398 0 -1 0 48868 0 0 0 16644 357 0 0 25 0 1 0 898019429 8019968 1263 4294967295 134512640 134716908 3221224560 3221223356 134536888 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1958 1263 1111 63 0 1895 0
vsize: 7832
[startup+180.003 s]
Raw data (loadavg): 0.99 0.93 0.90 2/54 3237
Raw data (stat): 3237 (bsolo_lpr-v2) R 3236 31399 31398 0 -1 0 51653 0 0 0 17622 379 0 0 25 0 1 0 898019429 8183808 1263 4294967295 134512640 134716908 3221224560 3221221452 1077386340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1998 1264 1111 63 0 1935 0
vsize: 7992
[startup+190.003 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 3237
Raw data (stat): 3237 (bsolo_lpr-v2) R 3236 31399 31398 0 -1 0 54415 0 0 0 18601 399 0 0 25 0 1 0 898019429 8019968 1263 4294967295 134512640 134716908 3221224560 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1958 1263 1111 63 0 1895 0
vsize: 7832
[startup+200.004 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 3237
Raw data (stat): 3237 (bsolo_lpr-v2) R 3236 31399 31398 0 -1 0 57204 0 0 0 19580 421 0 0 25 0 1 0 898019429 8019968 1263 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1958 1263 1111 63 0 1895 0
vsize: 7832
[startup+210.004 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 3237
Raw data (stat): 3237 (bsolo_lpr-v2) R 3236 31399 31398 0 -1 0 59956 0 0 0 20560 441 0 0 25 0 1 0 898019429 8019968 1263 4294967295 134512640 134716908 3221224560 3221223288 134558798 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1958 1263 1111 63 0 1895 0
vsize: 7832
[startup+220.008 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 3237
Raw data (stat): 3237 (bsolo_lpr-v2) R 3236 31399 31398 0 -1 0 62731 0 0 0 21540 462 0 0 25 0 1 0 898019429 8183808 1264 4294967295 134512640 134716908 3221224560 3221221452 1077386340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1998 1264 1111 63 0 1935 0
vsize: 7992
[startup+230.014 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 3237
Raw data (stat): 3237 (bsolo_lpr-v2) R 3236 31399 31398 0 -1 0 65518 0 0 0 22518 484 0 0 25 0 1 0 898019429 8019968 1263 4294967295 134512640 134716908 3221224560 3221223316 134592415 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1958 1263 1111 63 0 1895 0
vsize: 7832
[startup+240.014 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 3237
Raw data (stat): 3237 (bsolo_lpr-v2) R 3236 31399 31398 0 -1 0 68337 0 0 0 23497 506 0 0 25 0 1 0 898019429 8044544 1269 4294967295 134512640 134716908 3221224560 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1964 1269 1111 63 0 1901 0
vsize: 7856
[startup+250.014 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 3237
Raw data (stat): 3237 (bsolo_lpr-v2) R 3236 31399 31398 0 -1 0 71122 0 0 0 24478 525 0 0 25 0 1 0 898019429 8028160 1267 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1960 1267 1111 63 0 1897 0
vsize: 7840
[startup+260.015 s]
Raw data (loadavg): 0.99 0.95 0.90 2/54 3237
Raw data (stat): 3237 (bsolo_lpr-v2) R 3236 31399 31398 0 -1 0 73908 0 0 0 25456 547 0 0 25 0 1 0 898019429 8028160 1267 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2000 1268 1111 63 0 1937 0
vsize: 7840
[startup+270.016 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 3237
Raw data (stat): 3237 (bsolo_lpr-v2) R 3236 31399 31398 0 -1 0 76698 0 0 0 26435 569 0 0 25 0 1 0 898019429 8028160 1267 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1960 1267 1111 63 0 1897 0
vsize: 7840
[startup+280.016 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 3237
Raw data (stat): 3237 (bsolo_lpr-v2) R 3236 31399 31398 0 -1 0 79491 0 0 0 27412 592 0 0 25 0 1 0 898019429 8028160 1267 4294967295 134512640 134716908 3221224560 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1960 1267 1111 63 0 1897 0
vsize: 7840
[startup+290.016 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 3237
Raw data (stat): 3237 (bsolo_lpr-v2) R 3236 31399 31398 0 -1 0 82236 0 0 0 28391 613 0 0 25 0 1 0 898019429 8028160 1267 4294967295 134512640 134716908 3221224560 3221222288 1075828218 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1960 1267 1111 63 0 1897 0
vsize: 7840
[startup+300.017 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 3237
Raw data (stat): 3237 (bsolo_lpr-v2) R 3236 31399 31398 0 -1 0 85030 0 0 0 29371 634 0 0 25 0 1 0 898019429 8028160 1267 4294967295 134512640 134716908 3221224560 3221223344 134624407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1960 1267 1111 63 0 1897 0
vsize: 7840
[startup+310.019 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 3237
Raw data (stat): 3237 (bsolo_lpr-v2) R 3236 31399 31398 0 -1 0 87641 0 0 0 30352 653 0 0 25 0 1 0 898019429 8028160 1267 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1960 1267 1111 63 0 1897 0
vsize: 7840
[startup+320.02 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 3237
Raw data (stat): 3237 (bsolo_lpr-v2) R 3236 31399 31398 0 -1 0 90279 0 0 0 31333 671 0 0 25 0 1 0 898019429 8028160 1267 4294967295 134512640 134716908 3221224560 3221222304 1075646769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1960 1267 1111 63 0 1897 0
vsize: 7840
[startup+330.021 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 3237
Raw data (stat): 3237 (bsolo_lpr-v2) R 3236 31399 31398 0 -1 0 92333 0 0 0 32316 689 0 0 25 0 1 0 898019429 8028160 1267 4294967295 134512640 134716908 3221224560 3221222376 1077380592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1960 1267 1111 63 0 1897 0
vsize: 7840
[startup+340.02 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 3237
Raw data (stat): 3237 (bsolo_lpr-v2) R 3236 31399 31398 0 -1 0 95173 0 0 0 33295 709 0 0 25 0 1 0 898019429 8028160 1267 4294967295 134512640 134716908 3221224560 3221223304 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1960 1267 1111 63 0 1897 0
vsize: 7840
[startup+350.02 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 3237
Raw data (stat): 3237 (bsolo_lpr-v2) R 3236 31399 31398 0 -1 0 98047 0 0 0 34273 731 0 0 25 0 1 0 898019429 8028160 1267 4294967295 134512640 134716908 3221224560 3221223376 134622144 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1960 1267 1111 63 0 1897 0
vsize: 7840
[startup+360.02 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3237
Raw data (stat): 3237 (bsolo_lpr-v2) R 3236 31399 31398 0 -1 0 100840 0 0 0 35254 751 0 0 25 0 1 0 898019429 8192000 1268 4294967295 134512640 134716908 3221224560 3221220792 1075006897 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2000 1268 1111 63 0 1937 0
vsize: 8000
[startup+370.02 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3237
Raw data (stat): 3237 (bsolo_lpr-v2) R 3236 31399 31398 0 -1 0 103780 0 0 0 36232 772 0 0 25 0 1 0 898019429 8085504 1278 4294967295 134512640 134716908 3221224560 3221223008 1073990361 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1974 1278 1111 63 0 1911 0
vsize: 7896
[startup+380.02 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3237
Raw data (stat): 3237 (bsolo_lpr-v2) R 3236 31399 31398 0 -1 0 106743 0 0 0 37212 793 0 0 25 0 1 0 898019429 8028160 1267 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1960 1267 1111 63 0 1897 0
vsize: 7840
[startup+390.02 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3237
Raw data (stat): 3237 (bsolo_lpr-v2) R 3236 31399 31398 0 -1 0 109389 0 0 0 38192 813 0 0 25 0 1 0 898019429 8028160 1267 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1960 1267 1111 63 0 1897 0
vsize: 7840
[startup+400.021 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3237
Raw data (stat): 3237 (bsolo_lpr-v2) R 3236 31399 31398 0 -1 0 111307 0 0 0 39181 825 0 0 25 0 1 0 898019429 8552448 1358 4294967295 134512640 134716908 3221224560 3221220524 1074860620 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2048 1357 1111 63 0 1985 0
vsize: 8352
[startup+410.021 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3237
Raw data (stat): 3237 (bsolo_lpr-v2) R 3236 31399 31398 0 -1 0 113862 0 0 0 40163 842 0 0 25 0 1 0 898019429 8863744 1436 4294967295 134512640 134716908 3221224560 3221221548 1075276674 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2164 1436 1111 63 0 2101 0
vsize: 8656
[startup+420.021 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3237
Raw data (stat): 3237 (bsolo_lpr-v2) R 3236 31399 31398 0 -1 0 115715 0 0 0 41150 856 0 0 25 0 1 0 898019429 9007104 1473 4294967295 134512640 134716908 3221224560 3221223136 134535416 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2199 1473 1111 63 0 2136 0
vsize: 8796
[startup+430.021 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3237
Raw data (stat): 3237 (bsolo_lpr-v2) R 3236 31399 31398 0 -1 0 116039 0 0 0 42146 860 0 0 25 0 1 0 898019429 8863744 1475 4294967295 134512640 134716908 3221224560 3221222608 1074867314 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2164 1475 1111 63 0 2101 0
vsize: 8656
[startup+440.021 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3237
Raw data (stat): 3237 (bsolo_lpr-v2) R 3236 31399 31398 0 -1 0 116177 0 0 0 43144 862 0 0 25 0 1 0 898019429 8896512 1483 4294967295 134512640 134716908 3221224560 3221222908 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2172 1483 1111 63 0 2109 0
vsize: 8688
[startup+450.021 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3237
Raw data (stat): 3237 (bsolo_lpr-v2) R 3236 31399 31398 0 -1 0 116177 0 0 0 44141 866 0 0 25 0 1 0 898019429 8896512 1483 4294967295 134512640 134716908 3221224560 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2172 1483 1111 63 0 2109 0
vsize: 8688
[startup+460.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3237
Raw data (stat): 3237 (bsolo_lpr-v2) R 3236 31399 31398 0 -1 0 116177 0 0 0 45138 869 0 0 25 0 1 0 898019429 8896512 1483 4294967295 134512640 134716908 3221224560 3221223008 1073990361 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2172 1483 1111 63 0 2109 0
vsize: 8688
[startup+470.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3237
Raw data (stat): 3237 (bsolo_lpr-v2) R 3236 31399 31398 0 -1 0 116177 0 0 0 46134 873 0 0 25 0 1 0 898019429 8896512 1483 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2172 1483 1111 63 0 2109 0
vsize: 8688
[startup+480.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3237
Raw data (stat): 3237 (bsolo_lpr-v2) R 3236 31399 31398 0 -1 0 116177 0 0 0 47131 876 0 0 25 0 1 0 898019429 8896512 1483 4294967295 134512640 134716908 3221224560 3221222812 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2172 1483 1111 63 0 2109 0
vsize: 8688
[startup+490.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3237
Raw data (stat): 3237 (bsolo_lpr-v2) R 3236 31399 31398 0 -1 0 116177 0 0 0 48128 880 0 0 25 0 1 0 898019429 8896512 1483 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2172 1483 1111 63 0 2109 0
vsize: 8688
[startup+500.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3237
Raw data (stat): 3237 (bsolo_lpr-v2) R 3236 31399 31398 0 -1 0 116177 0 0 0 49124 883 0 0 25 0 1 0 898019429 8896512 1483 4294967295 134512640 134716908 3221224560 3221222940 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2172 1483 1111 63 0 2109 0
vsize: 8688
[startup+510.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3237
Raw data (stat): 3237 (bsolo_lpr-v2) R 3236 31399 31398 0 -1 0 116177 0 0 0 50121 887 0 0 25 0 1 0 898019429 8896512 1483 4294967295 134512640 134716908 3221224560 3221223248 134524583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2172 1483 1111 63 0 2109 0
vsize: 8688
[startup+520.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3237
Raw data (stat): 3237 (bsolo_lpr-v2) R 3236 31399 31398 0 -1 0 116177 0 0 0 51117 890 0 0 25 0 1 0 898019429 8896512 1483 4294967295 134512640 134716908 3221224560 3221221504 1074620113 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2172 1483 1111 63 0 2109 0
vsize: 8688
[startup+530.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3237
Raw data (stat): 3237 (bsolo_lpr-v2) R 3236 31399 31398 0 -1 0 116177 0 0 0 52115 892 0 0 25 0 1 0 898019429 8896512 1483 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2172 1483 1111 63 0 2109 0
vsize: 8688
[startup+540.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3237
Raw data (stat): 3237 (bsolo_lpr-v2) R 3236 31399 31398 0 -1 0 116177 0 0 0 53111 897 0 0 25 0 1 0 898019429 8896512 1483 4294967295 134512640 134716908 3221224560 3221223120 134540495 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2172 1483 1111 63 0 2109 0
vsize: 8688
[startup+550.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3237
Raw data (stat): 3237 (bsolo_lpr-v2) R 3236 31399 31398 0 -1 0 116177 0 0 0 54108 900 0 0 25 0 1 0 898019429 8896512 1483 4294967295 134512640 134716908 3221224560 3221220568 1074860373 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2172 1483 1111 63 0 2109 0
vsize: 8688
[startup+560.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3237
Raw data (stat): 3237 (bsolo_lpr-v2) R 3236 31399 31398 0 -1 0 116177 0 0 0 55105 903 0 0 25 0 1 0 898019429 8896512 1483 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2172 1483 1111 63 0 2109 0
vsize: 8688
[startup+570.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3237
Raw data (stat): 3237 (bsolo_lpr-v2) R 3236 31399 31398 0 -1 0 116177 0 0 0 56101 907 0 0 25 0 1 0 898019429 8896512 1483 4294967295 134512640 134716908 3221224560 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2172 1483 1111 63 0 2109 0
vsize: 8688
[startup+580.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3237
Raw data (stat): 3237 (bsolo_lpr-v2) R 3236 31399 31398 0 -1 0 116177 0 0 0 57098 911 0 0 25 0 1 0 898019429 8896512 1483 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2172 1483 1111 63 0 2109 0
vsize: 8688
[startup+590.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3237
Raw data (stat): 3237 (bsolo_lpr-v2) R 3236 31399 31398 0 -1 0 116177 0 0 0 58095 914 0 0 25 0 1 0 898019429 8896512 1483 4294967295 134512640 134716908 3221224560 3221222320 1074056280 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2172 1483 1111 63 0 2109 0
vsize: 8688
[startup+600.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3237
Raw data (stat): 3237 (bsolo_lpr-v2) R 3236 31399 31398 0 -1 0 116177 0 0 0 59092 917 0 0 25 0 1 0 898019429 8896512 1483 4294967295 134512640 134716908 3221224560 3221222940 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2172 1483 1111 63 0 2109 0
vsize: 8688
[startup+610.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3237
Raw data (stat): 3237 (bsolo_lpr-v2) R 3236 31399 31398 0 -1 0 116177 0 0 0 60088 921 0 0 25 0 1 0 898019429 8896512 1483 4294967295 134512640 134716908 3221224560 3221222956 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2172 1483 1111 63 0 2109 0
vsize: 8688
[startup+620.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3237
Raw data (stat): 3237 (bsolo_lpr-v2) R 3236 31399 31398 0 -1 0 116177 0 0 0 61085 925 0 0 25 0 1 0 898019429 8896512 1483 4294967295 134512640 134716908 3221224560 3221222072 1077377470 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2172 1483 1111 63 0 2109 0
vsize: 8688
[startup+630.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3237
Raw data (stat): 3237 (bsolo_lpr-v2) R 3236 31399 31398 0 -1 0 116177 0 0 0 62081 928 0 0 25 0 1 0 898019429 8896512 1483 4294967295 134512640 134716908 3221224560 3221222288 1075828650 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2172 1483 1111 63 0 2109 0
vsize: 8688
[startup+640.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3237
Raw data (stat): 3237 (bsolo_lpr-v2) R 3236 31399 31398 0 -1 0 116177 0 0 0 63079 931 0 0 25 0 1 0 898019429 8896512 1483 4294967295 134512640 134716908 3221224560 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2172 1483 1111 63 0 2109 0
vsize: 8688
[startup+650.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3237
Raw data (stat): 3237 (bsolo_lpr-v2) R 3236 31399 31398 0 -1 0 116177 0 0 0 64075 935 0 0 25 0 1 0 898019429 8896512 1483 4294967295 134512640 134716908 3221224560 3221222824 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2172 1483 1111 63 0 2109 0
vsize: 8688
[startup+660.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3237
Raw data (stat): 3237 (bsolo_lpr-v2) R 3236 31399 31398 0 -1 0 116177 0 0 0 65071 939 0 0 25 0 1 0 898019429 8896512 1483 4294967295 134512640 134716908 3221224560 3221222344 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2172 1483 1111 63 0 2109 0
vsize: 8688
[startup+670.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3237
Raw data (stat): 3237 (bsolo_lpr-v2) R 3236 31399 31398 0 -1 0 116177 0 0 0 66068 942 0 0 25 0 1 0 898019429 8896512 1483 4294967295 134512640 134716908 3221224560 3221223260 134535534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2172 1483 1111 63 0 2109 0
vsize: 8688
[startup+680.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3237
Raw data (stat): 3237 (bsolo_lpr-v2) R 3236 31399 31398 0 -1 0 116177 0 0 0 67064 946 0 0 25 0 1 0 898019429 8896512 1483 4294967295 134512640 134716908 3221224560 3221222288 1075828968 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2172 1483 1111 63 0 2109 0
vsize: 8688
[startup+690.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3237
Raw data (stat): 3237 (bsolo_lpr-v2) R 3236 31399 31398 0 -1 0 116177 0 0 0 68061 950 0 0 25 0 1 0 898019429 8896512 1483 4294967295 134512640 134716908 3221224560 3221221652 1074138977 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2172 1483 1111 63 0 2109 0
vsize: 8688
[startup+700.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3237
Raw data (stat): 3237 (bsolo_lpr-v2) R 3236 31399 31398 0 -1 0 116177 0 0 0 69056 955 0 0 25 0 1 0 898019429 8896512 1483 4294967295 134512640 134716908 3221224560 3221223216 134524405 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2172 1483 1111 63 0 2109 0
vsize: 8688
[startup+710.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3237
Raw data (stat): 3237 (bsolo_lpr-v2) R 3236 31399 31398 0 -1 0 116177 0 0 0 70053 958 0 0 25 0 1 0 898019429 8896512 1483 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2172 1483 1111 63 0 2109 0
vsize: 8688
[startup+720.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3237
Raw data (stat): 3237 (bsolo_lpr-v2) R 3236 31399 31398 0 -1 0 116177 0 0 0 71049 962 0 0 25 0 1 0 898019429 8896512 1483 4294967295 134512640 134716908 3221224560 3221222956 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2172 1483 1111 63 0 2109 0
vsize: 8688
[startup+730.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3237
Raw data (stat): 3237 (bsolo_lpr-v2) R 3236 31399 31398 0 -1 0 116177 0 0 0 72047 965 0 0 25 0 1 0 898019429 8896512 1483 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2172 1483 1111 63 0 2109 0
vsize: 8688
[startup+740.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3237
Raw data (stat): 3237 (bsolo_lpr-v2) R 3236 31399 31398 0 -1 0 116177 0 0 0 73044 968 0 0 25 0 1 0 898019429 8896512 1483 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2172 1483 1111 63 0 2109 0
vsize: 8688
[startup+750.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3237
Raw data (stat): 3237 (bsolo_lpr-v2) R 3236 31399 31398 0 -1 0 116177 0 0 0 74041 972 0 0 25 0 1 0 898019429 8896512 1483 4294967295 134512640 134716908 3221224560 3221222288 1075828215 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2172 1483 1111 63 0 2109 0
vsize: 8688
[startup+760.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3237
Raw data (stat): 3237 (bsolo_lpr-v2) R 3236 31399 31398 0 -1 0 116183 0 0 0 75039 975 0 0 25 0 1 0 898019429 8896512 1483 4294967295 134512640 134716908 3221224560 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2172 1483 1111 63 0 2109 0
vsize: 8688
[startup+770.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3237
Raw data (stat): 3237 (bsolo_lpr-v2) R 3236 31399 31398 0 -1 0 116226 0 0 0 76034 980 0 0 25 0 1 0 898019429 8896512 1483 4294967295 134512640 134716908 3221224560 3221222384 1075823585 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2172 1483 1111 63 0 2109 0
vsize: 8688
[startup+780.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3237
Raw data (stat): 3237 (bsolo_lpr-v2) R 3236 31399 31398 0 -1 0 116311 0 0 0 77032 983 0 0 25 0 1 0 898019429 8896512 1483 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2172 1483 1111 63 0 2109 0
vsize: 8688
[startup+790.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3237
Raw data (stat): 3237 (bsolo_lpr-v2) R 3236 31399 31398 0 -1 0 118027 0 0 0 78017 998 0 0 25 0 1 0 898019429 8904704 1485 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2174 1485 1111 63 0 2111 0
vsize: 8696
[startup+800.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3237
Raw data (stat): 3237 (bsolo_lpr-v2) R 3236 31399 31398 0 -1 0 120834 0 0 0 78995 1020 0 0 25 0 1 0 898019429 8900608 1484 4294967295 134512640 134716908 3221224560 3221222464 1075460169 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2173 1484 1111 63 0 2110 0
vsize: 8692
[startup+810.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3237
Raw data (stat): 3237 (bsolo_lpr-v2) R 3236 31399 31398 0 -1 0 123692 0 0 0 79974 1041 0 0 25 0 1 0 898019429 8970240 1492 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2190 1492 1111 63 0 2127 0
vsize: 8760
[startup+820.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3237
Raw data (stat): 3237 (bsolo_lpr-v2) R 3236 31399 31398 0 -1 0 126379 0 0 0 80953 1062 0 0 25 0 1 0 898019429 8900608 1484 4294967295 134512640 134716908 3221224560 3221222956 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2173 1484 1111 63 0 2110 0
vsize: 8692
[startup+830.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3237
Raw data (stat): 3237 (bsolo_lpr-v2) R 3236 31399 31398 0 -1 0 129288 0 0 0 81932 1083 0 0 25 0 1 0 898019429 8900608 1484 4294967295 134512640 134716908 3221224560 3221222672 1074867320 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2173 1484 1111 63 0 2110 0
vsize: 8692
[startup+840.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3237
Raw data (stat): 3237 (bsolo_lpr-v2) R 3236 31399 31398 0 -1 0 132136 0 0 0 82910 1106 0 0 25 0 1 0 898019429 8900608 1484 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2173 1484 1111 63 0 2110 0
vsize: 8692
[startup+850.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3237
Raw data (stat): 3237 (bsolo_lpr-v2) R 3236 31399 31398 0 -1 0 135030 0 0 0 83889 1127 0 0 25 0 1 0 898019429 8900608 1484 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2173 1484 1111 63 0 2110 0
vsize: 8692
[startup+860.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3237
Raw data (stat): 3237 (bsolo_lpr-v2) R 3236 31399 31398 0 -1 0 137918 0 0 0 84870 1146 0 0 25 0 1 0 898019429 8900608 1484 4294967295 134512640 134716908 3221224560 3221222812 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2173 1484 1111 63 0 2110 0
vsize: 8692
[startup+870.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3237
Raw data (stat): 3237 (bsolo_lpr-v2) R 3236 31399 31398 0 -1 0 140804 0 0 0 85845 1171 0 0 25 0 1 0 898019429 8900608 1484 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2213 1485 1111 63 0 2150 0
vsize: 8692
[startup+880.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3237
Raw data (stat): 3237 (bsolo_lpr-v2) R 3236 31399 31398 0 -1 0 143696 0 0 0 86823 1194 0 0 25 0 1 0 898019429 8900608 1484 4294967295 134512640 134716908 3221224560 3221222560 1074056195 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2173 1484 1111 63 0 2110 0
vsize: 8692
[startup+890.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3237
Raw data (stat): 3237 (bsolo_lpr-v2) R 3236 31399 31398 0 -1 0 146599 0 0 0 87799 1217 0 0 25 0 1 0 898019429 9064448 1485 4294967295 134512640 134716908 3221224560 3221221452 1077386340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2213 1485 1111 63 0 2150 0
vsize: 8852
[startup+900.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3237
Raw data (stat): 3237 (bsolo_lpr-v2) R 3236 31399 31398 0 -1 0 149483 0 0 0 88780 1237 0 0 25 0 1 0 898019429 9064448 1485 4294967295 134512640 134716908 3221224560 3221221452 1077386340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2213 1485 1111 63 0 2150 0
vsize: 8852
[startup+910.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3237
Raw data (stat): 3237 (bsolo_lpr-v2) R 3236 31399 31398 0 -1 0 152398 0 0 0 89759 1258 0 0 25 0 1 0 898019429 8900608 1484 4294967295 134512640 134716908 3221224560 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2173 1484 1111 63 0 2110 0
vsize: 8692
[startup+920.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3237
Raw data (stat): 3237 (bsolo_lpr-v2) R 3236 31399 31398 0 -1 0 155322 0 0 0 90736 1281 0 0 25 0 1 0 898019429 9064448 1485 4294967295 134512640 134716908 3221224560 3221221452 1077386340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2173 1484 1111 63 0 2110 0
vsize: 8852
[startup+930.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3237
Raw data (stat): 3237 (bsolo_lpr-v2) R 3236 31399 31398 0 -1 0 158224 0 0 0 91715 1303 0 0 25 0 1 0 898019429 8900608 1484 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2173 1484 1111 63 0 2110 0
vsize: 8692
[startup+940.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3237
Raw data (stat): 3237 (bsolo_lpr-v2) R 3236 31399 31398 0 -1 0 161126 0 0 0 92693 1325 0 0 25 0 1 0 898019429 8900608 1484 4294967295 134512640 134716908 3221224560 3221222520 1077377857 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2173 1484 1111 63 0 2110 0
vsize: 8692
[startup+950.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3237
Raw data (stat): 3237 (bsolo_lpr-v2) R 3236 31399 31398 0 -1 0 164050 0 0 0 93670 1348 0 0 25 0 1 0 898019429 8900608 1484 4294967295 134512640 134716908 3221224560 3221223296 134542606 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2173 1484 1111 63 0 2110 0
vsize: 8692
[startup+960.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3237
Raw data (stat): 3237 (bsolo_lpr-v2) R 3236 31399 31398 0 -1 0 166964 0 0 0 94650 1369 0 0 25 0 1 0 898019429 8900608 1484 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2173 1484 1111 63 0 2110 0
vsize: 8692
[startup+970.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3237
Raw data (stat): 3237 (bsolo_lpr-v2) R 3236 31399 31398 0 -1 0 169868 0 0 0 95629 1390 0 0 25 0 1 0 898019429 8900608 1484 4294967295 134512640 134716908 3221224560 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2173 1484 1111 63 0 2110 0
vsize: 8692
[startup+980.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3237
Raw data (stat): 3237 (bsolo_lpr-v2) R 3236 31399 31398 0 -1 0 172758 0 0 0 96607 1412 0 0 25 0 1 0 898019429 8900608 1484 4294967295 134512640 134716908 3221224560 3221222288 1075828201 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2173 1484 1111 63 0 2110 0
vsize: 8692
[startup+990.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3237
Raw data (stat): 3237 (bsolo_lpr-v2) R 3236 31399 31398 0 -1 0 175650 0 0 0 97585 1434 0 0 25 0 1 0 898019429 8900608 1484 4294967295 134512640 134716908 3221224560 3221222532 1074248336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2173 1484 1111 63 0 2110 0
vsize: 8692
[startup+1000.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3237
Raw data (stat): 3237 (bsolo_lpr-v2) R 3236 31399 31398 0 -1 0 178548 0 0 0 98563 1457 0 0 25 0 1 0 898019429 8900608 1484 4294967295 134512640 134716908 3221224560 3221222608 1074143234 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2173 1484 1111 63 0 2110 0
vsize: 8692
[startup+1010.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3237
Raw data (stat): 3237 (bsolo_lpr-v2) R 3236 31399 31398 0 -1 0 181438 0 0 0 99541 1478 0 0 25 0 1 0 898019429 9064448 1485 4294967295 134512640 134716908 3221224560 3221221452 1077386340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2213 1485 1111 63 0 2150 0
vsize: 8852
[startup+1020.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3237
Raw data (stat): 3237 (bsolo_lpr-v2) R 3236 31399 31398 0 -1 0 184352 0 0 0 100520 1500 0 0 25 0 1 0 898019429 8900608 1484 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2173 1484 1111 63 0 2110 0
vsize: 8692
[startup+1030.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3237
Raw data (stat): 3237 (bsolo_lpr-v2) R 3236 31399 31398 0 -1 0 187252 0 0 0 101496 1524 0 0 25 0 1 0 898019429 8900608 1484 4294967295 134512640 134716908 3221224560 3221222956 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2173 1484 1111 63 0 2110 0
vsize: 8692
[startup+1040.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3237
Raw data (stat): 3237 (bsolo_lpr-v2) R 3236 31399 31398 0 -1 0 190129 0 0 0 102476 1544 0 0 25 0 1 0 898019429 9064448 1485 4294967295 134512640 134716908 3221224560 3221220924 1075894404 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2213 1485 1111 63 0 2150 0
vsize: 8852
[startup+1050.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3237
Raw data (stat): 3237 (bsolo_lpr-v2) R 3236 31399 31398 0 -1 0 193035 0 0 0 103454 1566 0 0 25 0 1 0 898019429 9064448 1485 4294967295 134512640 134716908 3221224560 3221220928 1075894558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2213 1485 1111 63 0 2150 0
vsize: 8852
[startup+1060.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3237
Raw data (stat): 3237 (bsolo_lpr-v2) R 3236 31399 31398 0 -1 0 195940 0 0 0 104431 1590 0 0 25 0 1 0 898019429 8933376 1489 4294967295 134512640 134716908 3221224560 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2181 1489 1111 63 0 2118 0
vsize: 8724
[startup+1070.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3237
Raw data (stat): 3237 (bsolo_lpr-v2) R 3236 31399 31398 0 -1 0 198824 0 0 0 105406 1614 0 0 25 0 1 0 898019429 8933376 1489 4294967295 134512640 134716908 3221224560 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2181 1489 1111 63 0 2118 0
vsize: 8724
[startup+1080.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3237
Raw data (stat): 3237 (bsolo_lpr-v2) R 3236 31399 31398 0 -1 0 201748 0 0 0 106387 1634 0 0 25 0 1 0 898019429 8933376 1489 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2221 1490 1111 63 0 2158 0
vsize: 8724
[startup+1090.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3237
Raw data (stat): 3237 (bsolo_lpr-v2) R 3236 31399 31398 0 -1 0 204640 0 0 0 107365 1656 0 0 25 0 1 0 898019429 8933376 1489 4294967295 134512640 134716908 3221224560 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2181 1489 1111 63 0 2118 0
vsize: 8724
[startup+1100.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3237
Raw data (stat): 3237 (bsolo_lpr-v2) R 3236 31399 31398 0 -1 0 207498 0 0 0 108343 1678 0 0 25 0 1 0 898019429 8933376 1489 4294967295 134512640 134716908 3221224560 3221223216 134536683 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2181 1489 1111 63 0 2118 0
vsize: 8724
[startup+1110.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3237
Raw data (stat): 3237 (bsolo_lpr-v2) R 3236 31399 31398 0 -1 0 210399 0 0 0 109318 1704 0 0 25 0 1 0 898019429 8933376 1489 4294967295 134512640 134716908 3221224560 3221222956 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2181 1489 1111 63 0 2118 0
vsize: 8724
[startup+1120.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3237
Raw data (stat): 3237 (bsolo_lpr-v2) R 3236 31399 31398 0 -1 0 213266 0 0 0 110293 1729 0 0 25 0 1 0 898019429 8933376 1489 4294967295 134512640 134716908 3221224560 3221223168 1076647576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2181 1489 1111 63 0 2118 0
vsize: 8724
[startup+1130.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3237
Raw data (stat): 3237 (bsolo_lpr-v2) R 3236 31399 31398 0 -1 0 216178 0 0 0 111273 1749 0 0 25 0 1 0 898019429 8900608 1484 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2213 1485 1111 63 0 2150 0
vsize: 8692
[startup+1140.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3237
Raw data (stat): 3237 (bsolo_lpr-v2) R 3236 31399 31398 0 -1 0 219068 0 0 0 112250 1772 0 0 25 0 1 0 898019429 8900608 1484 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2173 1484 1111 63 0 2110 0
vsize: 8692
[startup+1150.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3237
Raw data (stat): 3237 (bsolo_lpr-v2) R 3236 31399 31398 0 -1 0 221974 0 0 0 113228 1794 0 0 25 0 1 0 898019429 8900608 1484 4294967295 134512640 134716908 3221224560 3221223352 134558582 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2173 1484 1111 63 0 2110 0
vsize: 8692
[startup+1160.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3237
Raw data (stat): 3237 (bsolo_lpr-v2) R 3236 31399 31398 0 -1 0 224922 0 0 0 114206 1816 0 0 25 0 1 0 898019429 8900608 1484 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2173 1484 1111 63 0 2110 0
vsize: 8692
[startup+1170.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3237
Raw data (stat): 3237 (bsolo_lpr-v2) R 3236 31399 31398 0 -1 0 227824 0 0 0 115186 1836 0 0 25 0 1 0 898019429 8900608 1484 4294967295 134512640 134716908 3221224560 3221223208 1074057617 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2173 1484 1111 63 0 2110 0
vsize: 8692
[startup+1174.84 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 3237
Raw data (stat): 3237 (bsolo_lpr-v2) R 3236 31399 31398 0 -1 0 227824 0 0 0 115186 1836 0 0 25 0 1 0 898019429 8900608 1484 4294967295 134512640 134716908 3221224560 3221223208 1074057617 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2173 1484 1111 63 0 2110 0
vsize: 0

Child status: 10
Real time (s): 1174.84
CPU time (s): 1175.02
CPU user time (s): 1156.54
CPU system time (s): 18.4762
CPU usage (%): 100.015
Max. virtual memory (Kb): 8852
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	494737
#### END VERIFIER DATA ####