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/submitted/een/normalized-p0548.opb
MD5SUM	422c0da7d5380a26c4dac413428db5c9
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	14670
Optimality of the best value was proved	NO
Number of terms in the objective function	416
Biggest coefficient in the objective function	11000
Number of bits for the biggest coefficient in the objective function	14
Sum of the numbers in the objective function	96797
Number of bits of the sum of numbers in the objective function	17
Biggest number in a constraint	11000
Number of bits of the biggest number in a constraint	14
Biggest sum of numbers in a constraint	96797
Number of bits of the biggest sum of numbers	17
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1230.14
Number of variables	527
Total number of constraints	156
Number of constraints which are clauses	40
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	116
Minimum length of a constraint	2
Maximum length of a constraint	134
Trace number 39797

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-07 20:32:49 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27845 boxname=wulflinc6 idbench=403 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  422c0da7d5380a26c4dac413428db5c9  /oldhome/oroussel/tmp/wulflinc6/normalized-p0548.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-p0548.opb
IDLAUNCH: 27845
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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.042
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:        910144 kB
Buffers:         34116 kB
Cached:          67856 kB
SwapCached:       1796 kB
Active:          31912 kB
Inactive:        72984 kB
HighTotal:      131008 kB
HighFree:        76916 kB
LowTotal:       903652 kB
LowFree:        833228 kB
SwapTotal:     2097136 kB
SwapFree:      2094416 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5048 kB
Slab:            13972 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 20:52:52 (client local time) WITH STATUS 0 IN 1200.51 SECONDS
stats: 27845 7 1200.51 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 535 variables and 156 constraints.
c After prepocess the problem consists of 530 variables and 154 constraints.
c preprocess terminated 0.156 s
c Initial Lower Bound: 318
c Lower Bound Elapsed time: 0.019
c Use computed LB before first solution.
#### 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.92 0.97 0.91 2/54 18370
Raw data (stat): 18370 (runsolver) R 18369 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 895900023 884736 94 4294967295 134512640 135332820 3221224480 3221219660 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0004 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 18370
Raw data (stat): 18370 (bsolo_lpr-v2) R 18369 25568 25567 0 -1 0 5899 0 0 0 977 20 0 0 25 0 1 0 895900023 7331840 1096 4294967295 134512640 134716908 3221224592 3221222928 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1790 1096 1111 63 0 1727 0
vsize: 7160
[startup+20.002 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 18370
Raw data (stat): 18370 (bsolo_lpr-v2) R 18369 25568 25567 0 -1 0 11922 0 0 0 1958 40 0 0 25 0 1 0 895900023 9302016 1546 4294967295 134512640 134716908 3221224592 3221220588 1074860953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2271 1546 1111 63 0 2208 0
vsize: 9084
[startup+30.0029 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 18370
Raw data (stat): 18370 (bsolo_lpr-v2) R 18369 25568 25567 0 -1 0 18052 0 0 0 2935 64 0 0 25 0 1 0 895900023 11923456 2216 4294967295 134512640 134716908 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2911 2216 1111 63 0 2848 0
vsize: 11644
[startup+40.0027 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 18370
Raw data (stat): 18370 (bsolo_lpr-v2) R 18369 25568 25567 0 -1 0 23524 0 0 0 3918 81 0 0 25 0 1 0 895900023 13860864 2603 4294967295 134512640 134716908 3221224592 3221221632 1075860184 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3384 2610 1111 63 0 3321 0
vsize: 13536
[startup+50.0032 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 18370
Raw data (stat): 18370 (bsolo_lpr-v2) R 18369 25568 25567 0 -1 0 35040 0 0 0 4887 112 0 0 25 0 1 0 895900023 16433152 3311 4294967295 134512640 134716908 3221224592 3221222592 1074918280 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4012 3311 1111 63 0 3949 0
vsize: 16048
[startup+60.0034 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 18370
Raw data (stat): 18370 (bsolo_lpr-v2) R 18369 25568 25567 0 -1 0 46494 0 0 0 5856 143 0 0 25 0 1 0 895900023 18702336 3871 4294967295 134512640 134716908 3221224592 3221222976 1074153673 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4566 3871 1111 63 0 4503 0
vsize: 18264
[startup+70.0045 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 18370
Raw data (stat): 18370 (bsolo_lpr-v2) R 18369 25568 25567 0 -1 0 53660 0 0 0 6838 162 0 0 25 0 1 0 895900023 20086784 4212 4294967295 134512640 134716908 3221224592 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4904 4212 1111 63 0 4841 0
vsize: 19616
[startup+80.0095 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 18370
Raw data (stat): 18370 (bsolo_lpr-v2) R 18369 25568 25567 0 -1 0 64937 0 0 0 7806 195 0 0 25 0 1 0 895900023 23724032 5050 4294967295 134512640 134716908 3221224592 3221222880 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5792 5050 1111 63 0 5729 0
vsize: 23168
[startup+90.0098 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 18370
Raw data (stat): 18370 (bsolo_lpr-v2) R 18369 25568 25567 0 -1 0 72969 0 0 0 8784 217 0 0 25 0 1 0 895900023 24236032 5166 4294967295 134512640 134716908 3221224592 3221222232 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5914 5166 1111 63 0 5851 0
vsize: 23668
[startup+100.01 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 18370
Raw data (stat): 18370 (bsolo_lpr-v2) R 18369 25568 25567 0 -1 0 84760 0 0 0 9755 247 0 0 25 0 1 0 895900023 25993216 5592 4294967295 134512640 134716908 3221224592 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6346 5592 1111 63 0 6283 0
vsize: 25384
[startup+110.01 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 18370
Raw data (stat): 18370 (bsolo_lpr-v2) R 18369 25568 25567 0 -1 0 96746 0 0 0 10723 279 0 0 25 0 1 0 895900023 28041216 6105 4294967295 134512640 134716908 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6846 6105 1111 63 0 6783 0
vsize: 27384
[startup+120.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18370
Raw data (stat): 18370 (bsolo_lpr-v2) R 18369 25568 25567 0 -1 0 103304 0 0 0 11706 297 0 0 25 0 1 0 895900023 28827648 6275 4294967295 134512640 134716908 3221224592 3221221580 1077404742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7151 6279 1111 63 0 7088 0
vsize: 28152
[startup+130.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18370
Raw data (stat): 18370 (bsolo_lpr-v2) R 18369 25568 25567 0 -1 0 115959 0 0 0 12676 327 0 0 25 0 1 0 895900023 30969856 6846 4294967295 134512640 134716908 3221224592 3221223312 134622855 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7561 6846 1111 63 0 7498 0
vsize: 30244
[startup+140.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18370
Raw data (stat): 18370 (bsolo_lpr-v2) R 18369 25568 25567 0 -1 0 128003 0 0 0 13646 357 0 0 25 0 1 0 895900023 32706560 7270 4294967295 134512640 134716908 3221224592 3221223408 134622661 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7985 7270 1111 63 0 7922 0
vsize: 31940
[startup+150.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18370
Raw data (stat): 18370 (bsolo_lpr-v2) R 18369 25568 25567 0 -1 0 142553 0 0 0 14613 391 0 0 25 0 1 0 895900023 34189312 7624 4294967295 134512640 134716908 3221224592 3221222972 1074208604 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8347 7624 1111 63 0 8284 0
vsize: 33388
[startup+160.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18370
Raw data (stat): 18370 (bsolo_lpr-v2) R 18369 25568 25567 0 -1 0 150877 0 0 0 15593 411 0 0 25 0 1 0 895900023 37552128 8444 4294967295 134512640 134716908 3221224592 3221222592 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9168 8444 1111 63 0 9105 0
vsize: 36672
[startup+170.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18370
Raw data (stat): 18370 (bsolo_lpr-v2) R 18369 25568 25567 0 -1 0 152186 0 0 0 16590 414 0 0 25 0 1 0 895900023 36331520 8155 4294967295 134512640 134716908 3221224592 3221223304 134543144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8870 8155 1111 63 0 8807 0
vsize: 35480
[startup+180.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18370
Raw data (stat): 18370 (bsolo_lpr-v2) R 18369 25568 25567 0 -1 0 153502 0 0 0 17587 417 0 0 25 0 1 0 895900023 35737600 8010 4294967295 134512640 134716908 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8725 8010 1111 63 0 8662 0
vsize: 34900
[startup+190.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18370
Raw data (stat): 18370 (bsolo_lpr-v2) R 18369 25568 25567 0 -1 0 169915 0 0 0 18550 455 0 0 25 0 1 0 895900023 40062976 8822 4294967295 134512640 134716908 3221224592 3221222856 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9781 8822 1111 63 0 9718 0
vsize: 39124
[startup+200.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18370
Raw data (stat): 18370 (bsolo_lpr-v2) R 18369 25568 25567 0 -1 0 173106 0 0 0 19543 462 0 0 25 0 1 0 895900023 41205760 9110 4294967295 134512640 134716908 3221224592 3221223304 134543179 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10060 9110 1111 63 0 9997 0
vsize: 40240
[startup+210.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18370
Raw data (stat): 18370 (bsolo_lpr-v2) R 18369 25568 25567 0 -1 0 183839 0 0 0 20518 487 0 0 25 0 1 0 895900023 41480192 9170 4294967295 134512640 134716908 3221224592 3221222880 1074153815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10127 9170 1111 63 0 10064 0
vsize: 40508
[startup+220.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18370
Raw data (stat): 18370 (bsolo_lpr-v2) R 18369 25568 25567 0 -1 0 199236 0 0 0 21480 526 0 0 25 0 1 0 895900023 43270144 9599 4294967295 134512640 134716908 3221224592 3221223024 1073990032 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10564 9599 1111 63 0 10501 0
vsize: 42256
[startup+230.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18370
Raw data (stat): 18370 (bsolo_lpr-v2) R 18369 25568 25567 0 -1 0 210896 0 0 0 22453 553 0 0 25 0 1 0 895900023 45805568 10243 4294967295 134512640 134716908 3221224592 3221222880 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11183 10243 1111 63 0 11120 0
vsize: 44732
[startup+240.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18370
Raw data (stat): 18370 (bsolo_lpr-v2) R 18369 25568 25567 0 -1 0 211055 0 0 0 23451 556 0 0 25 0 1 0 895900023 46497792 10402 4294967295 134512640 134716908 3221224592 3221222848 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11352 10402 1111 63 0 11289 0
vsize: 45408
[startup+250.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18370
Raw data (stat): 18370 (bsolo_lpr-v2) R 18369 25568 25567 0 -1 0 211868 0 0 0 24449 558 0 0 25 0 1 0 895900023 48676864 10959 4294967295 134512640 134716908 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11884 10959 1111 63 0 11821 0
vsize: 47536
[startup+260.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18370
Raw data (stat): 18370 (bsolo_lpr-v2) R 18369 25568 25567 0 -1 0 214685 0 0 0 25444 564 0 0 25 0 1 0 895900023 46686208 10478 4294967295 134512640 134716908 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11398 10478 1111 63 0 11335 0
vsize: 45592
[startup+270.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18370
Raw data (stat): 18370 (bsolo_lpr-v2) R 18369 25568 25567 0 -1 0 214685 0 0 0 26444 564 0 0 25 0 1 0 895900023 46686208 10478 4294967295 134512640 134716908 3221224592 3221223328 134622759 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11398 10478 1111 63 0 11335 0
vsize: 45592
[startup+280.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18370
Raw data (stat): 18370 (bsolo_lpr-v2) R 18369 25568 25567 0 -1 0 214685 0 0 0 27444 564 0 0 25 0 1 0 895900023 46686208 10478 4294967295 134512640 134716908 3221224592 3221223328 134622759 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11398 10478 1111 63 0 11335 0
vsize: 45592
[startup+290.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18370
Raw data (stat): 18370 (bsolo_lpr-v2) R 18369 25568 25567 0 -1 0 214685 0 0 0 28445 564 0 0 25 0 1 0 895900023 46686208 10478 4294967295 134512640 134716908 3221224592 3221223408 134622268 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11398 10478 1111 63 0 11335 0
vsize: 45592
[startup+300.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18370
Raw data (stat): 18370 (bsolo_lpr-v2) R 18369 25568 25567 0 -1 0 214685 0 0 0 29445 564 0 0 25 0 1 0 895900023 46686208 10478 4294967295 134512640 134716908 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11398 10478 1111 63 0 11335 0
vsize: 45592
[startup+310.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18370
Raw data (stat): 18370 (bsolo_lpr-v2) R 18369 25568 25567 0 -1 0 214917 0 0 0 30446 565 0 0 25 0 1 0 895900023 46366720 10399 4294967295 134512640 134716908 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11320 10399 1111 63 0 11257 0
vsize: 45280
[startup+320.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18370
Raw data (stat): 18370 (bsolo_lpr-v2) R 18369 25568 25567 0 -1 0 217566 0 0 0 31438 573 0 0 25 0 1 0 895900023 46415872 10408 4294967295 134512640 134716908 3221224592 3221222848 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11332 10408 1111 63 0 11269 0
vsize: 45328
[startup+330.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18370
Raw data (stat): 18370 (bsolo_lpr-v2) R 18369 25568 25567 0 -1 0 218326 0 0 0 32437 575 0 0 25 0 1 0 895900023 48304128 10869 4294967295 134512640 134716908 3221224592 3221222592 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11793 10869 1111 63 0 11730 0
vsize: 47172
[startup+340.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18370
Raw data (stat): 18370 (bsolo_lpr-v2) R 18369 25568 25567 0 -1 0 220710 0 0 0 33432 581 0 0 25 0 1 0 895900023 46530560 10442 4294967295 134512640 134716908 3221224592 3221223328 134622763 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11360 10442 1111 63 0 11297 0
vsize: 45440
[startup+350.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18370
Raw data (stat): 18370 (bsolo_lpr-v2) R 18369 25568 25567 0 -1 0 220710 0 0 0 34431 581 0 0 25 0 1 0 895900023 46530560 10442 4294967295 134512640 134716908 3221224592 3221223328 134622759 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11360 10442 1111 63 0 11297 0
vsize: 45440
[startup+360.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18370
Raw data (stat): 18370 (bsolo_lpr-v2) R 18369 25568 25567 0 -1 0 220710 0 0 0 35430 582 0 0 25 0 1 0 895900023 46530560 10442 4294967295 134512640 134716908 3221224592 3221223408 134622268 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11360 10442 1111 63 0 11297 0
vsize: 45440
[startup+370.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18370
Raw data (stat): 18370 (bsolo_lpr-v2) R 18369 25568 25567 0 -1 0 220710 0 0 0 36431 582 0 0 25 0 1 0 895900023 46530560 10442 4294967295 134512640 134716908 3221224592 3221223396 134622283 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11360 10442 1111 63 0 11297 0
vsize: 45440
[startup+380.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18370
Raw data (stat): 18370 (bsolo_lpr-v2) R 18369 25568 25567 0 -1 0 223765 0 0 0 37423 590 0 0 25 0 1 0 895900023 45658112 10230 4294967295 134512640 134716908 3221224592 3221222416 1075824332 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11147 10230 1111 63 0 11084 0
vsize: 44588
[startup+390.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18370
Raw data (stat): 18370 (bsolo_lpr-v2) R 18369 25568 25567 0 -1 0 239940 0 0 0 38381 632 0 0 25 0 1 0 895900023 47947776 10773 4294967295 134512640 134716908 3221224592 3221223052 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11706 10773 1111 63 0 11643 0
vsize: 46824
[startup+400.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18370
Raw data (stat): 18370 (bsolo_lpr-v2) R 18369 25568 25567 0 -1 0 256811 0 0 0 39342 672 0 0 25 0 1 0 895900023 49938432 11257 4294967295 134512640 134716908 3221224592 3221222696 1074206433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12192 11257 1111 63 0 12129 0
vsize: 48768
[startup+410.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18370
Raw data (stat): 18370 (bsolo_lpr-v2) R 18369 25568 25567 0 -1 0 273571 0 0 0 40300 714 0 0 25 0 1 0 895900023 54099968 11780 4294967295 134512640 134716908 3221224592 3221221580 1077404742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13208 11780 1111 63 0 13145 0
vsize: 52832
[startup+420.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18370
Raw data (stat): 18370 (bsolo_lpr-v2) R 18369 25568 25567 0 -1 0 283303 0 0 0 41275 740 0 0 25 0 1 0 895900023 53080064 12066 4294967295 134512640 134716908 3221224592 3221223336 134536879 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12959 12066 1111 63 0 12896 0
vsize: 51836
[startup+430.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18370
Raw data (stat): 18370 (bsolo_lpr-v2) R 18369 25568 25567 0 -1 0 295585 0 0 0 42242 772 0 0 25 0 1 0 895900023 55238656 12580 4294967295 134512640 134716908 3221224592 3221223388 134622613 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13486 12580 1111 63 0 13423 0
vsize: 53944
[startup+440.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18370
Raw data (stat): 18370 (bsolo_lpr-v2) R 18369 25568 25567 0 -1 0 310863 0 0 0 43204 811 0 0 25 0 1 0 895900023 56725504 12957 4294967295 134512640 134716908 3221224592 3221223052 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13849 12957 1111 63 0 13786 0
vsize: 55396
[startup+450.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18370
Raw data (stat): 18370 (bsolo_lpr-v2) R 18369 25568 25567 0 -1 0 326822 0 0 0 44168 848 0 0 25 0 1 0 895900023 58515456 13403 4294967295 134512640 134716908 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14286 13403 1111 63 0 14223 0
vsize: 57144
[startup+460.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18370
Raw data (stat): 18370 (bsolo_lpr-v2) R 18369 25568 25567 0 -1 0 337925 0 0 0 45139 877 0 0 25 0 1 0 895900023 60637184 13938 4294967295 134512640 134716908 3221224592 3221222256 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14804 13938 1111 63 0 14741 0
vsize: 59216
[startup+470.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18370
Raw data (stat): 18370 (bsolo_lpr-v2) R 18369 25568 25567 0 -1 0 338214 0 0 0 46138 878 0 0 25 0 1 0 895900023 61906944 14227 4294967295 134512640 134716908 3221224592 3221222256 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15114 14227 1111 63 0 15051 0
vsize: 60456
[startup+480.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18370
Raw data (stat): 18370 (bsolo_lpr-v2) R 18369 25568 25567 0 -1 0 338345 0 0 0 47137 879 0 0 25 0 1 0 895900023 62439424 14358 4294967295 134512640 134716908 3221224592 3221222256 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15244 14358 1111 63 0 15181 0
vsize: 60976
[startup+490.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18370
Raw data (stat): 18370 (bsolo_lpr-v2) R 18369 25568 25567 0 -1 0 338451 0 0 0 48136 881 0 0 25 0 1 0 895900023 62869504 14464 4294967295 134512640 134716908 3221224592 3221222224 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15349 14464 1111 63 0 15286 0
vsize: 61396
[startup+500.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18370
Raw data (stat): 18370 (bsolo_lpr-v2) R 18369 25568 25567 0 -1 0 338541 0 0 0 49136 881 0 0 25 0 1 0 895900023 63238144 14554 4294967295 134512640 134716908 3221224592 3221222272 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15439 14554 1111 63 0 15376 0
vsize: 61756
[startup+510.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18370
Raw data (stat): 18370 (bsolo_lpr-v2) R 18369 25568 25567 0 -1 0 338623 0 0 0 50136 882 0 0 25 0 1 0 895900023 63565824 14636 4294967295 134512640 134716908 3221224592 3221222272 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15519 14636 1111 63 0 15456 0
vsize: 62076
[startup+520.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18370
Raw data (stat): 18370 (bsolo_lpr-v2) R 18369 25568 25567 0 -1 0 338695 0 0 0 51136 882 0 0 25 0 1 0 895900023 63860736 14708 4294967295 134512640 134716908 3221224592 3221222256 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15591 14708 1111 63 0 15528 0
vsize: 62364
[startup+530.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18370
Raw data (stat): 18370 (bsolo_lpr-v2) R 18369 25568 25567 0 -1 0 338774 0 0 0 52135 883 0 0 25 0 1 0 895900023 64131072 14787 4294967295 134512640 134716908 3221224592 3221222272 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15657 14787 1111 63 0 15594 0
vsize: 62628
[startup+540.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18370
Raw data (stat): 18370 (bsolo_lpr-v2) R 18369 25568 25567 0 -1 0 338837 0 0 0 53135 884 0 0 25 0 1 0 895900023 64389120 14850 4294967295 134512640 134716908 3221224592 3221222304 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15720 14850 1111 63 0 15657 0
vsize: 62880
[startup+550.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18370
Raw data (stat): 18370 (bsolo_lpr-v2) R 18369 25568 25567 0 -1 0 338895 0 0 0 54135 884 0 0 25 0 1 0 895900023 64626688 14908 4294967295 134512640 134716908 3221224592 3221222352 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15778 14908 1111 63 0 15715 0
vsize: 63112
[startup+560.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18370
Raw data (stat): 18370 (bsolo_lpr-v2) R 18369 25568 25567 0 -1 0 338983 0 0 0 55135 884 0 0 25 0 1 0 895900023 65036288 14996 4294967295 134512640 134716908 3221224592 3221222256 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15878 14996 1111 63 0 15815 0
vsize: 63512
[startup+570.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18370
Raw data (stat): 18370 (bsolo_lpr-v2) R 18369 25568 25567 0 -1 0 339035 0 0 0 56135 885 0 0 25 0 1 0 895900023 65249280 15048 4294967295 134512640 134716908 3221224592 3221222256 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15930 15048 1111 63 0 15867 0
vsize: 63720
[startup+580.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18370
Raw data (stat): 18370 (bsolo_lpr-v2) R 18369 25568 25567 0 -1 0 339086 0 0 0 57136 885 0 0 25 0 1 0 895900023 65458176 15099 4294967295 134512640 134716908 3221224592 3221222272 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15981 15099 1111 63 0 15918 0
vsize: 63924
[startup+590.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18370
Raw data (stat): 18370 (bsolo_lpr-v2) R 18369 25568 25567 0 -1 0 339134 0 0 0 58136 885 0 0 25 0 1 0 895900023 65654784 15147 4294967295 134512640 134716908 3221224592 3221222256 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16029 15147 1111 63 0 15966 0
vsize: 64116
[startup+600.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18370
Raw data (stat): 18370 (bsolo_lpr-v2) R 18369 25568 25567 0 -1 0 339181 0 0 0 59136 885 0 0 25 0 1 0 895900023 65847296 15194 4294967295 134512640 134716908 3221224592 3221222256 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16076 15194 1111 63 0 16013 0
vsize: 64304
[startup+610.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18370
Raw data (stat): 18370 (bsolo_lpr-v2) R 18369 25568 25567 0 -1 0 339247 0 0 0 60136 886 0 0 25 0 1 0 895900023 66183168 15260 4294967295 134512640 134716908 3221224592 3221222224 1074153773 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16158 15260 1111 63 0 16095 0
vsize: 64632
[startup+620.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18370
Raw data (stat): 18370 (bsolo_lpr-v2) R 18369 25568 25567 0 -1 0 339290 0 0 0 61136 887 0 0 25 0 1 0 895900023 66359296 15303 4294967295 134512640 134716908 3221224592 3221222304 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16201 15303 1111 63 0 16138 0
vsize: 64804
[startup+630.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18370
Raw data (stat): 18370 (bsolo_lpr-v2) R 18369 25568 25567 0 -1 0 339332 0 0 0 62136 887 0 0 25 0 1 0 895900023 66531328 15345 4294967295 134512640 134716908 3221224592 3221222224 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16243 15345 1111 63 0 16180 0
vsize: 64972
[startup+640.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18370
Raw data (stat): 18370 (bsolo_lpr-v2) R 18369 25568 25567 0 -1 0 339376 0 0 0 63136 887 0 0 25 0 1 0 895900023 66711552 15389 4294967295 134512640 134716908 3221224592 3221222224 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16287 15389 1111 63 0 16224 0
vsize: 65148
[startup+650.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18370
Raw data (stat): 18370 (bsolo_lpr-v2) R 18369 25568 25567 0 -1 0 339416 0 0 0 64136 888 0 0 25 0 1 0 895900023 66875392 15429 4294967295 134512640 134716908 3221224592 3221222272 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16327 15429 1111 63 0 16264 0
vsize: 65308
[startup+660.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18370
Raw data (stat): 18370 (bsolo_lpr-v2) R 18369 25568 25567 0 -1 0 339457 0 0 0 65136 888 0 0 25 0 1 0 895900023 67043328 15470 4294967295 134512640 134716908 3221224592 3221221964 1077404742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16368 15470 1111 63 0 16305 0
vsize: 65472
[startup+670.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18370
Raw data (stat): 18370 (bsolo_lpr-v2) R 18369 25568 25567 0 -1 0 339494 0 0 0 66136 889 0 0 25 0 1 0 895900023 67194880 15507 4294967295 134512640 134716908 3221224592 3221222224 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16405 15507 1111 63 0 16342 0
vsize: 65620
[startup+680.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18370
Raw data (stat): 18370 (bsolo_lpr-v2) R 18369 25568 25567 0 -1 0 339527 0 0 0 67136 889 0 0 25 0 1 0 895900023 67330048 15540 4294967295 134512640 134716908 3221224592 3221222880 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16438 15540 1111 63 0 16375 0
vsize: 65752
[startup+690.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18370
Raw data (stat): 18370 (bsolo_lpr-v2) R 18369 25568 25567 0 -1 0 344628 0 0 0 68124 901 0 0 25 0 1 0 895900023 81043456 18906 4294967295 134512640 134716908 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19786 18906 1111 63 0 19723 0
vsize: 79144
[startup+700.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18370
Raw data (stat): 18370 (bsolo_lpr-v2) R 18369 25568 25567 0 -1 0 344628 0 0 0 69124 901 0 0 25 0 1 0 895900023 81043456 18906 4294967295 134512640 134716908 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19786 18906 1111 63 0 19723 0
vsize: 79144
[startup+710.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18370
Raw data (stat): 18370 (bsolo_lpr-v2) R 18369 25568 25567 0 -1 0 344628 0 0 0 70124 901 0 0 25 0 1 0 895900023 81043456 18906 4294967295 134512640 134716908 3221224592 3221222592 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19786 18906 1111 63 0 19723 0
vsize: 79144
[startup+720.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18370
Raw data (stat): 18370 (bsolo_lpr-v2) R 18369 25568 25567 0 -1 0 344628 0 0 0 71125 901 0 0 25 0 1 0 895900023 81043456 18906 4294967295 134512640 134716908 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19786 18906 1111 63 0 19723 0
vsize: 79144
[startup+730.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18370
Raw data (stat): 18370 (bsolo_lpr-v2) R 18369 25568 25567 0 -1 0 344628 0 0 0 72125 901 0 0 25 0 1 0 895900023 81043456 18906 4294967295 134512640 134716908 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19786 18906 1111 63 0 19723 0
vsize: 79144
[startup+740.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18370
Raw data (stat): 18370 (bsolo_lpr-v2) R 18369 25568 25567 0 -1 0 344628 0 0 0 73126 901 0 0 25 0 1 0 895900023 81043456 18906 4294967295 134512640 134716908 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19786 18906 1111 63 0 19723 0
vsize: 79144
[startup+750.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18370
Raw data (stat): 18370 (bsolo_lpr-v2) R 18369 25568 25567 0 -1 0 344628 0 0 0 74126 901 0 0 25 0 1 0 895900023 81043456 18906 4294967295 134512640 134716908 3221224592 3221222592 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19786 18906 1111 63 0 19723 0
vsize: 79144
[startup+760.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18370
Raw data (stat): 18370 (bsolo_lpr-v2) R 18369 25568 25567 0 -1 0 344628 0 0 0 75126 902 0 0 25 0 1 0 895900023 81043456 18906 4294967295 134512640 134716908 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19786 18906 1111 63 0 19723 0
vsize: 79144
[startup+770.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18370
Raw data (stat): 18370 (bsolo_lpr-v2) R 18369 25568 25567 0 -1 0 344628 0 0 0 76127 902 0 0 25 0 1 0 895900023 81043456 18906 4294967295 134512640 134716908 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19786 18906 1111 63 0 19723 0
vsize: 79144
[startup+780.064 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18370
Raw data (stat): 18370 (bsolo_lpr-v2) R 18369 25568 25567 0 -1 0 354969 0 0 0 77099 929 0 0 25 0 1 0 895900023 77402112 17070 4294967295 134512640 134716908 3221224592 3221221872 1074140041 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18897 17075 1111 63 0 18834 0
vsize: 75588
[startup+790.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18370
Raw data (stat): 18370 (bsolo_lpr-v2) R 18369 25568 25567 0 -1 0 358348 0 0 0 78089 940 0 0 25 0 1 0 895900023 67522560 15619 4294967295 134512640 134716908 3221224592 3221223408 134622484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16485 15619 1111 63 0 16422 0
vsize: 65940
[startup+800.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18370
Raw data (stat): 18370 (bsolo_lpr-v2) R 18369 25568 25567 0 -1 0 358348 0 0 0 79090 940 0 0 25 0 1 0 895900023 67522560 15619 4294967295 134512640 134716908 3221224592 3221223308 134543156 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16485 15619 1111 63 0 16422 0
vsize: 65940
[startup+810.067 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18370
Raw data (stat): 18370 (bsolo_lpr-v2) R 18369 25568 25567 0 -1 0 358348 0 0 0 80090 940 0 0 25 0 1 0 895900023 67522560 15619 4294967295 134512640 134716908 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16485 15619 1111 63 0 16422 0
vsize: 65940
[startup+820.068 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18370
Raw data (stat): 18370 (bsolo_lpr-v2) R 18369 25568 25567 0 -1 0 358348 0 0 0 81090 940 0 0 25 0 1 0 895900023 67522560 15619 4294967295 134512640 134716908 3221224592 3221223328 134622759 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16485 15619 1111 63 0 16422 0
vsize: 65940
[startup+830.069 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18370
Raw data (stat): 18370 (bsolo_lpr-v2) R 18369 25568 25567 0 -1 0 358348 0 0 0 82091 940 0 0 25 0 1 0 895900023 67522560 15619 4294967295 134512640 134716908 3221224592 3221223304 134558490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16485 15619 1111 63 0 16422 0
vsize: 65940
[startup+840.069 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18370
Raw data (stat): 18370 (bsolo_lpr-v2) R 18369 25568 25567 0 -1 0 358348 0 0 0 83091 940 0 0 25 0 1 0 895900023 67522560 15619 4294967295 134512640 134716908 3221224592 3221223328 134622759 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16485 15619 1111 63 0 16422 0
vsize: 65940
[startup+850.071 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18370
Raw data (stat): 18370 (bsolo_lpr-v2) R 18369 25568 25567 0 -1 0 358348 0 0 0 84092 940 0 0 25 0 1 0 895900023 67522560 15619 4294967295 134512640 134716908 3221224592 3221223328 134622759 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16485 15619 1111 63 0 16422 0
vsize: 65940
[startup+860.071 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18370
Raw data (stat): 18370 (bsolo_lpr-v2) R 18369 25568 25567 0 -1 0 358348 0 0 0 85092 940 0 0 25 0 1 0 895900023 67522560 15619 4294967295 134512640 134716908 3221224592 3221223328 134622759 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16485 15619 1111 63 0 16422 0
vsize: 65940
[startup+870.072 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18370
Raw data (stat): 18370 (bsolo_lpr-v2) R 18369 25568 25567 0 -1 0 358348 0 0 0 86092 940 0 0 25 0 1 0 895900023 67522560 15619 4294967295 134512640 134716908 3221224592 3221223328 134622759 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16485 15619 1111 63 0 16422 0
vsize: 65940
[startup+880.072 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18370
Raw data (stat): 18370 (bsolo_lpr-v2) R 18369 25568 25567 0 -1 0 358348 0 0 0 87093 940 0 0 25 0 1 0 895900023 67522560 15619 4294967295 134512640 134716908 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16485 15619 1111 63 0 16422 0
vsize: 65940
[startup+890.074 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18370
Raw data (stat): 18370 (bsolo_lpr-v2) R 18369 25568 25567 0 -1 0 358348 0 0 0 88093 940 0 0 25 0 1 0 895900023 67522560 15619 4294967295 134512640 134716908 3221224592 3221223328 134622759 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16485 15619 1111 63 0 16422 0
vsize: 65940
[startup+900.075 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18370
Raw data (stat): 18370 (bsolo_lpr-v2) R 18369 25568 25567 0 -1 0 358348 0 0 0 89094 940 0 0 25 0 1 0 895900023 67522560 15619 4294967295 134512640 134716908 3221224592 3221223328 134622759 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16485 15619 1111 63 0 16422 0
vsize: 65940
[startup+910.076 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18370
Raw data (stat): 18370 (bsolo_lpr-v2) R 18369 25568 25567 0 -1 0 358348 0 0 0 90094 940 0 0 25 0 1 0 895900023 67522560 15619 4294967295 134512640 134716908 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16485 15619 1111 63 0 16422 0
vsize: 65940
[startup+920.086 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18370
Raw data (stat): 18370 (bsolo_lpr-v2) R 18369 25568 25567 0 -1 0 358348 0 0 0 91095 940 0 0 25 0 1 0 895900023 67522560 15619 4294967295 134512640 134716908 3221224592 3221223328 134622759 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16485 15619 1111 63 0 16422 0
vsize: 65940
[startup+930.086 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18370
Raw data (stat): 18370 (bsolo_lpr-v2) R 18369 25568 25567 0 -1 0 358348 0 0 0 92096 940 0 0 25 0 1 0 895900023 67522560 15619 4294967295 134512640 134716908 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16485 15619 1111 63 0 16422 0
vsize: 65940
[startup+940.087 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18370
Raw data (stat): 18370 (bsolo_lpr-v2) R 18369 25568 25567 0 -1 0 358348 0 0 0 93096 940 0 0 25 0 1 0 895900023 67522560 15619 4294967295 134512640 134716908 3221224592 3221223328 134622763 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16485 15619 1111 63 0 16422 0
vsize: 65940
[startup+950.088 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18370
Raw data (stat): 18370 (bsolo_lpr-v2) R 18369 25568 25567 0 -1 0 358348 0 0 0 94096 941 0 0 25 0 1 0 895900023 67522560 15619 4294967295 134512640 134716908 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16485 15619 1111 63 0 16422 0
vsize: 65940
[startup+960.089 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18370
Raw data (stat): 18370 (bsolo_lpr-v2) R 18369 25568 25567 0 -1 0 358348 0 0 0 95096 941 0 0 25 0 1 0 895900023 67522560 15619 4294967295 134512640 134716908 3221224592 3221223304 134558477 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16485 15619 1111 63 0 16422 0
vsize: 65940
[startup+970.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18370
Raw data (stat): 18370 (bsolo_lpr-v2) R 18369 25568 25567 0 -1 0 358348 0 0 0 96097 941 0 0 25 0 1 0 895900023 67522560 15619 4294967295 134512640 134716908 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16485 15619 1111 63 0 16422 0
vsize: 65940
[startup+980.091 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18370
Raw data (stat): 18370 (bsolo_lpr-v2) R 18369 25568 25567 0 -1 0 358348 0 0 0 97097 941 0 0 25 0 1 0 895900023 67522560 15619 4294967295 134512640 134716908 3221224592 3221223328 134622759 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16485 15619 1111 63 0 16422 0
vsize: 65940
[startup+990.092 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18370
Raw data (stat): 18370 (bsolo_lpr-v2) R 18369 25568 25567 0 -1 0 358348 0 0 0 98097 941 0 0 25 0 1 0 895900023 67522560 15619 4294967295 134512640 134716908 3221224592 3221223328 134622759 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16485 15619 1111 63 0 16422 0
vsize: 65940
[startup+1000.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18370
Raw data (stat): 18370 (bsolo_lpr-v2) R 18369 25568 25567 0 -1 0 358348 0 0 0 99098 941 0 0 25 0 1 0 895900023 67522560 15619 4294967295 134512640 134716908 3221224592 3221223316 134622776 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16485 15619 1111 63 0 16422 0
vsize: 65940
[startup+1010.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18370
Raw data (stat): 18370 (bsolo_lpr-v2) R 18369 25568 25567 0 -1 0 358348 0 0 0 100098 941 0 0 25 0 1 0 895900023 67522560 15619 4294967295 134512640 134716908 3221224592 3221223328 134622763 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16485 15619 1111 63 0 16422 0
vsize: 65940
[startup+1020.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18370
Raw data (stat): 18370 (bsolo_lpr-v2) R 18369 25568 25567 0 -1 0 358348 0 0 0 101098 941 0 0 25 0 1 0 895900023 67522560 15619 4294967295 134512640 134716908 3221224592 3221223328 134622790 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16485 15619 1111 63 0 16422 0
vsize: 65940
[startup+1030.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18370
Raw data (stat): 18370 (bsolo_lpr-v2) R 18369 25568 25567 0 -1 0 358348 0 0 0 102099 941 0 0 25 0 1 0 895900023 67522560 15619 4294967295 134512640 134716908 3221224592 3221223304 134543191 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16485 15619 1111 63 0 16422 0
vsize: 65940
[startup+1040.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18370
Raw data (stat): 18370 (bsolo_lpr-v2) R 18369 25568 25567 0 -1 0 358348 0 0 0 103099 941 0 0 25 0 1 0 895900023 67522560 15619 4294967295 134512640 134716908 3221224592 3221223308 134558476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16485 15619 1111 63 0 16422 0
vsize: 65940
[startup+1050.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18370
Raw data (stat): 18370 (bsolo_lpr-v2) R 18369 25568 25567 0 -1 0 358348 0 0 0 104100 941 0 0 25 0 1 0 895900023 67522560 15619 4294967295 134512640 134716908 3221224592 3221223304 134543144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16485 15619 1111 63 0 16422 0
vsize: 65940
[startup+1060.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18370
Raw data (stat): 18370 (bsolo_lpr-v2) R 18369 25568 25567 0 -1 0 358348 0 0 0 105100 941 0 0 25 0 1 0 895900023 67522560 15619 4294967295 134512640 134716908 3221224592 3221223328 134622759 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16485 15619 1111 63 0 16422 0
vsize: 65940
[startup+1070.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18370
Raw data (stat): 18370 (bsolo_lpr-v2) R 18369 25568 25567 0 -1 0 358348 0 0 0 106100 941 0 0 25 0 1 0 895900023 67522560 15619 4294967295 134512640 134716908 3221224592 3221223384 134543552 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16485 15619 1111 63 0 16422 0
vsize: 65940
[startup+1080.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18370
Raw data (stat): 18370 (bsolo_lpr-v2) R 18369 25568 25567 0 -1 0 358348 0 0 0 107101 941 0 0 25 0 1 0 895900023 67522560 15619 4294967295 134512640 134716908 3221224592 3221223408 134622484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16485 15619 1111 63 0 16422 0
vsize: 65940
[startup+1090.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18370
Raw data (stat): 18370 (bsolo_lpr-v2) R 18369 25568 25567 0 -1 0 358348 0 0 0 108101 941 0 0 25 0 1 0 895900023 67522560 15619 4294967295 134512640 134716908 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16485 15619 1111 63 0 16422 0
vsize: 65940
[startup+1100.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18370
Raw data (stat): 18370 (bsolo_lpr-v2) R 18369 25568 25567 0 -1 0 358348 0 0 0 109102 941 0 0 25 0 1 0 895900023 67522560 15619 4294967295 134512640 134716908 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16485 15619 1111 63 0 16422 0
vsize: 65940
[startup+1110.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18370
Raw data (stat): 18370 (bsolo_lpr-v2) R 18369 25568 25567 0 -1 0 358348 0 0 0 110102 941 0 0 25 0 1 0 895900023 67522560 15619 4294967295 134512640 134716908 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16485 15619 1111 63 0 16422 0
vsize: 65940
[startup+1120.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18370
Raw data (stat): 18370 (bsolo_lpr-v2) R 18369 25568 25567 0 -1 0 358348 0 0 0 111102 941 0 0 25 0 1 0 895900023 67522560 15619 4294967295 134512640 134716908 3221224592 3221223328 134622759 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16485 15619 1111 63 0 16422 0
vsize: 65940
[startup+1130.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18370
Raw data (stat): 18370 (bsolo_lpr-v2) R 18369 25568 25567 0 -1 0 358348 0 0 0 112103 942 0 0 25 0 1 0 895900023 67522560 15619 4294967295 134512640 134716908 3221224592 3221223408 134622493 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16485 15619 1111 63 0 16422 0
vsize: 65940
[startup+1140.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18370
Raw data (stat): 18370 (bsolo_lpr-v2) R 18369 25568 25567 0 -1 0 358348 0 0 0 113103 942 0 0 25 0 1 0 895900023 67522560 15619 4294967295 134512640 134716908 3221224592 3221223328 134622759 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16485 15619 1111 63 0 16422 0
vsize: 65940
[startup+1150.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18370
Raw data (stat): 18370 (bsolo_lpr-v2) R 18369 25568 25567 0 -1 0 358348 0 0 0 114103 942 0 0 25 0 1 0 895900023 67522560 15619 4294967295 134512640 134716908 3221224592 3221223308 134558476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16485 15619 1111 63 0 16422 0
vsize: 65940
[startup+1160.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18370
Raw data (stat): 18370 (bsolo_lpr-v2) R 18369 25568 25567 0 -1 0 358348 0 0 0 115104 942 0 0 25 0 1 0 895900023 67522560 15619 4294967295 134512640 134716908 3221224592 3221223304 134543174 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16485 15619 1111 63 0 16422 0
vsize: 65940
[startup+1170.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18370
Raw data (stat): 18370 (bsolo_lpr-v2) R 18369 25568 25567 0 -1 0 358348 0 0 0 116104 942 0 0 25 0 1 0 895900023 67522560 15619 4294967295 134512640 134716908 3221224592 3221223312 134622782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16485 15619 1111 63 0 16422 0
vsize: 65940
[startup+1180.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18370
Raw data (stat): 18370 (bsolo_lpr-v2) R 18369 25568 25567 0 -1 0 358348 0 0 0 117104 942 0 0 25 0 1 0 895900023 67522560 15619 4294967295 134512640 134716908 3221224592 3221223408 134622484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16485 15619 1111 63 0 16422 0
vsize: 65940
[startup+1190.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18370
Raw data (stat): 18370 (bsolo_lpr-v2) R 18369 25568 25567 0 -1 0 358348 0 0 0 118105 942 0 0 25 0 1 0 895900023 67522560 15619 4294967295 134512640 134716908 3221224592 3221223328 134622759 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16485 15619 1111 63 0 16422 0
vsize: 65940
[startup+1200.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18370
Raw data (stat): 18370 (bsolo_lpr-v2) R 18369 25568 25567 0 -1 0 358348 0 0 0 119105 942 0 0 25 0 1 0 895900023 67522560 15619 4294967295 134512640 134716908 3221224592 3221223328 134622759 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16485 15619 1111 63 0 16422 0
vsize: 65940
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.14 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 18370
Raw data (stat): 18370 (bsolo_lpr-v2) Z 18369 25568 25567 0 -1 1036 358348 0 0 0 119105 945 0 0 25 0 1 0 895900023 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.13
CPU time (s): 1200.51
CPU user time (s): 1191.05
CPU system time (s): 9.45056
CPU usage (%): 100.031
Max. virtual memory (Kb): 79144
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####