PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran8x32.opb
MD5SUM	ff0017de67077abd1f68238274b64e50
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1695644
Optimality of the best value was proved	NO
Number of terms in the objective function	5376
Biggest coefficient in the objective function	5242880
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	1517603678
Number of bits of the sum of numbers in the objective function	31
Biggest number in a constraint	5242880
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	1517603678
Number of bits of the biggest sum of numbers	31
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.03
Number of variables	5376
Total number of constraints	296
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	296
Minimum length of a constraint	21
Maximum length of a constraint	640
Trace number 40470

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-08 11:55:54 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28534 boxname=wulflinc2 idbench=1490 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  ff0017de67077abd1f68238274b64e50  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-ran8x32.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-ran8x32.opb
IDLAUNCH: 28534
/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:        881116 kB
Buffers:         18164 kB
Cached:         113376 kB
SwapCached:       1332 kB
Active:          25692 kB
Inactive:       107780 kB
HighTotal:      131008 kB
HighFree:        42504 kB
LowTotal:       903652 kB
LowFree:        838612 kB
SwapTotal:     2097136 kB
SwapFree:      2094736 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4980 kB
Slab:            14300 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 12:15:29 (client local time) WITH STATUS 0 IN 1175.12 SECONDS
stats: 28534 7 1175.12 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 5376 variables and 336 constraints.
c After prepocess the problem consists of 2981 variables and 408 constraints.
c preprocess terminated 6.361 s
c Initial Lower Bound: 632011
c Lower Bound Elapsed time: 0.21225
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.1 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.93 0.97 0.92 2/54 8960
Raw data (stat): 8960 (runsolver) R 8959 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 901443817 884736 94 4294967295 134512640 135332820 3221224464 3221219644 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+9.99971 s]
Raw data (loadavg): 0.94 0.97 0.92 2/54 8960
Raw data (stat): 8960 (bsolo_lpr-v2) R 8959 31399 31398 0 -1 0 8334 0 0 0 979 17 0 0 25 0 1 0 901443817 33312768 7320 4294967295 134512640 134716908 3221224576 3221220600 1074860223 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8133 7320 1111 63 0 8070 0
vsize: 32532
[startup+20.0011 s]
Raw data (loadavg): 0.95 0.97 0.92 2/54 8960
Raw data (stat): 8960 (bsolo_lpr-v2) R 8959 31399 31398 0 -1 0 11322 0 0 0 1970 26 0 0 25 0 1 0 901443817 32645120 7230 4294967295 134512640 134716908 3221224576 3221223040 1074121076 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7970 7230 1111 63 0 7907 0
vsize: 31880
[startup+30.0015 s]
Raw data (loadavg): 0.95 0.97 0.92 2/54 8960
Raw data (stat): 8960 (bsolo_lpr-v2) R 8959 31399 31398 0 -1 0 14309 0 0 0 2963 33 0 0 25 0 1 0 901443817 33357824 7337 4294967295 134512640 134716908 3221224576 3221220540 1074860630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8144 7337 1111 63 0 8081 0
vsize: 32576
[startup+40.0018 s]
Raw data (loadavg): 0.96 0.97 0.92 2/54 8960
Raw data (stat): 8960 (bsolo_lpr-v2) R 8959 31399 31398 0 -1 0 17394 0 0 0 3955 42 0 0 25 0 1 0 901443817 32645120 7228 4294967295 134512640 134716908 3221224576 3221222828 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7970 7228 1111 63 0 7907 0
vsize: 31880
[startup+50.0029 s]
Raw data (loadavg): 0.97 0.97 0.92 2/54 8960
Raw data (stat): 8960 (bsolo_lpr-v2) R 8959 31399 31398 0 -1 0 20177 0 0 0 4947 50 0 0 25 0 1 0 901443817 32587776 7216 4294967295 134512640 134716908 3221224576 3221221480 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7956 7216 1111 63 0 7893 0
vsize: 31824
[startup+60.0025 s]
Raw data (loadavg): 0.97 0.97 0.92 2/54 8960
Raw data (stat): 8960 (bsolo_lpr-v2) R 8959 31399 31398 0 -1 0 22981 0 0 0 5940 57 0 0 25 0 1 0 901443817 32587776 7216 4294967295 134512640 134716908 3221224576 3221222776 1074138158 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7956 7216 1111 63 0 7893 0
vsize: 31824
[startup+70.0029 s]
Raw data (loadavg): 0.97 0.97 0.92 2/54 8960
Raw data (stat): 8960 (bsolo_lpr-v2) R 8959 31399 31398 0 -1 0 25766 0 0 0 6932 65 0 0 25 0 1 0 901443817 33333248 7330 4294967295 134512640 134716908 3221224576 3221220648 1074950184 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8138 7330 1111 63 0 8075 0
vsize: 32552
[startup+80.0032 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 8960
Raw data (stat): 8960 (bsolo_lpr-v2) R 8959 31399 31398 0 -1 0 28382 0 0 0 7926 71 0 0 25 0 1 0 901443817 32645120 7225 4294967295 134512640 134716908 3221224576 3221222320 1075640213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7970 7225 1111 63 0 7907 0
vsize: 31880
[startup+90.0037 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 8960
Raw data (stat): 8960 (bsolo_lpr-v2) R 8959 31399 31398 0 -1 0 31128 0 0 0 8919 79 0 0 25 0 1 0 901443817 32931840 7225 4294967295 134512640 134716908 3221224576 3221222496 1075799685 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8040 7225 1111 63 0 7977 0
vsize: 32160
[startup+100.004 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 8960
Raw data (stat): 8960 (bsolo_lpr-v2) R 8959 31399 31398 0 -1 0 33890 0 0 0 9911 87 0 0 25 0 1 0 901443817 32587776 7216 4294967295 134512640 134716908 3221224576 3221222152 1074138315 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7956 7216 1111 63 0 7893 0
vsize: 31824
[startup+110.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8960
Raw data (stat): 8960 (bsolo_lpr-v2) R 8959 31399 31398 0 -1 0 36624 0 0 0 10903 95 0 0 25 0 1 0 901443817 33169408 7302 4294967295 134512640 134716908 3221224576 3221221640 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8098 7302 1111 63 0 8035 0
vsize: 32392
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8960
Raw data (stat): 8960 (bsolo_lpr-v2) R 8959 31399 31398 0 -1 0 39354 0 0 0 11895 103 0 0 25 0 1 0 901443817 32645120 7222 4294967295 134512640 134716908 3221224576 3221221856 1074140010 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7970 7222 1111 63 0 7907 0
vsize: 31880
[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8960
Raw data (stat): 8960 (bsolo_lpr-v2) R 8959 31399 31398 0 -1 0 41990 0 0 0 12888 111 0 0 25 0 1 0 901443817 32931840 7224 4294967295 134512640 134716908 3221224576 3221222304 1075828451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8040 7224 1111 63 0 7977 0
vsize: 32160
[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8960
Raw data (stat): 8960 (bsolo_lpr-v2) R 8959 31399 31398 0 -1 0 44713 0 0 0 13880 119 0 0 25 0 1 0 901443817 32587776 7217 4294967295 134512640 134716908 3221224576 3221222072 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7956 7217 1111 63 0 7893 0
vsize: 31824
[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8960
Raw data (stat): 8960 (bsolo_lpr-v2) R 8959 31399 31398 0 -1 0 47419 0 0 0 14873 126 0 0 25 0 1 0 901443817 32587776 7217 4294967295 134512640 134716908 3221224576 3221222776 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7956 7217 1111 63 0 7893 0
vsize: 31824
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8960
Raw data (stat): 8960 (bsolo_lpr-v2) R 8959 31399 31398 0 -1 0 50119 0 0 0 15866 134 0 0 25 0 1 0 901443817 32587776 7217 4294967295 134512640 134716908 3221224576 3221222792 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7956 7217 1111 63 0 7893 0
vsize: 31824
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8960
Raw data (stat): 8960 (bsolo_lpr-v2) R 8959 31399 31398 0 -1 0 52756 0 0 0 16857 142 0 0 25 0 1 0 901443817 32587776 7217 4294967295 134512640 134716908 3221224576 3221219888 134652452 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7956 7217 1111 63 0 7893 0
vsize: 31824
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8960
Raw data (stat): 8960 (bsolo_lpr-v2) R 8959 31399 31398 0 -1 0 55380 0 0 0 17850 149 0 0 25 0 1 0 901443817 32587776 7217 4294967295 134512640 134716908 3221224576 3221222776 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7956 7217 1111 63 0 7893 0
vsize: 31824
[startup+190.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8960
Raw data (stat): 8960 (bsolo_lpr-v2) R 8959 31399 31398 0 -1 0 57946 0 0 0 18843 156 0 0 25 0 1 0 901443817 32587776 7217 4294967295 134512640 134716908 3221224576 3221222976 1074153812 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7956 7217 1111 63 0 7893 0
vsize: 31824
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8960
Raw data (stat): 8960 (bsolo_lpr-v2) R 8959 31399 31398 0 -1 0 60482 0 0 0 19838 162 0 0 25 0 1 0 901443817 32587776 7217 4294967295 134512640 134716908 3221224576 3221222776 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7956 7217 1111 63 0 7893 0
vsize: 31824
[startup+210.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8960
Raw data (stat): 8960 (bsolo_lpr-v2) R 8959 31399 31398 0 -1 0 62990 0 0 0 20832 167 0 0 25 0 1 0 901443817 32587776 7217 4294967295 134512640 134716908 3221224576 3221222112 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7956 7217 1111 63 0 7893 0
vsize: 31824
[startup+220.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8960
Raw data (stat): 8960 (bsolo_lpr-v2) R 8959 31399 31398 0 -1 0 65535 0 0 0 21826 174 0 0 25 0 1 0 901443817 33095680 7301 4294967295 134512640 134716908 3221224576 3221220736 1074794542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8080 7301 1111 63 0 8017 0
vsize: 32320
[startup+230.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8960
Raw data (stat): 8960 (bsolo_lpr-v2) R 8959 31399 31398 0 -1 0 68031 0 0 0 22818 182 0 0 25 0 1 0 901443817 32645120 7229 4294967295 134512640 134716908 3221224576 3221222828 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7970 7229 1111 63 0 7907 0
vsize: 31880
[startup+240.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8960
Raw data (stat): 8960 (bsolo_lpr-v2) R 8959 31399 31398 0 -1 0 70432 0 0 0 23812 188 0 0 25 0 1 0 901443817 32645120 7218 4294967295 134512640 134716908 3221224576 3221222576 1074918533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7970 7218 1111 63 0 7907 0
vsize: 31880
[startup+250.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/58 8964
Raw data (stat): 8960 (bsolo_lpr-v2) R 8959 31399 31398 0 -1 0 72889 0 0 0 24807 193 0 0 25 0 1 0 901443817 32645120 7218 4294967295 134512640 134716908 3221224576 3221222576 1074918514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7970 7218 1111 63 0 7907 0
vsize: 31880
[startup+260.007 s]
Raw data (loadavg): 1.07 0.99 0.93 2/54 9013
Raw data (stat): 8960 (bsolo_lpr-v2) R 8959 31399 31398 0 -1 0 75409 0 0 0 25800 200 0 0 25 0 1 0 901443817 32645120 7231 4294967295 134512640 134716908 3221224576 3221222928 1074115304 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7970 7231 1111 63 0 7907 0
vsize: 31880
[startup+270.007 s]
Raw data (loadavg): 1.06 0.99 0.93 2/54 9013
Raw data (stat): 8960 (bsolo_lpr-v2) R 8959 31399 31398 0 -1 0 77818 0 0 0 26794 207 0 0 25 0 1 0 901443817 32587776 7217 4294967295 134512640 134716908 3221224576 3221222928 1074153660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7956 7217 1111 63 0 7893 0
vsize: 31824
[startup+280.007 s]
Raw data (loadavg): 1.05 0.99 0.93 2/54 9013
Raw data (stat): 8960 (bsolo_lpr-v2) R 8959 31399 31398 0 -1 0 80248 0 0 0 27787 214 0 0 25 0 1 0 901443817 33075200 7297 4294967295 134512640 134716908 3221224576 3221220784 1074792387 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8075 7297 1111 63 0 8012 0
vsize: 32300
[startup+290.007 s]
Raw data (loadavg): 1.04 0.99 0.93 2/54 9013
Raw data (stat): 8960 (bsolo_lpr-v2) R 8959 31399 31398 0 -1 0 82566 0 0 0 28780 221 0 0 25 0 1 0 901443817 32587776 7217 4294967295 134512640 134716908 3221224576 3221222912 1074153648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7956 7217 1111 63 0 7893 0
vsize: 31824
[startup+300.006 s]
Raw data (loadavg): 1.03 0.99 0.93 2/54 9013
Raw data (stat): 8960 (bsolo_lpr-v2) R 8959 31399 31398 0 -1 0 84948 0 0 0 29774 227 0 0 25 0 1 0 901443817 32645120 7231 4294967295 134512640 134716908 3221224576 3221222976 1074118790 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7970 7231 1111 63 0 7907 0
vsize: 31880
[startup+310.006 s]
Raw data (loadavg): 1.03 0.99 0.93 2/54 9013
Raw data (stat): 8960 (bsolo_lpr-v2) R 8959 31399 31398 0 -1 0 87267 0 0 0 30768 233 0 0 25 0 1 0 901443817 32587776 7217 4294967295 134512640 134716908 3221224576 3221219984 1074153773 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7956 7217 1111 63 0 7893 0
vsize: 31824
[startup+320.007 s]
Raw data (loadavg): 1.02 0.99 0.93 2/54 9015
Raw data (stat): 8960 (bsolo_lpr-v2) R 8959 31399 31398 0 -1 0 89584 0 0 0 31763 239 0 0 25 0 1 0 901443817 32587776 7217 4294967295 134512640 134716908 3221224576 3221222880 1074153648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7956 7217 1111 63 0 7893 0
vsize: 31824
[startup+330.007 s]
Raw data (loadavg): 1.02 0.99 0.93 2/54 9015
Raw data (stat): 8960 (bsolo_lpr-v2) R 8959 31399 31398 0 -1 0 91873 0 0 0 32757 245 0 0 25 0 1 0 901443817 32587776 7217 4294967295 134512640 134716908 3221224576 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7956 7217 1111 63 0 7893 0
vsize: 31824
[startup+340.007 s]
Raw data (loadavg): 1.02 0.99 0.93 2/54 9015
Raw data (stat): 8960 (bsolo_lpr-v2) R 8959 31399 31398 0 -1 0 94210 0 0 0 33751 251 0 0 25 0 1 0 901443817 32645120 7231 4294967295 134512640 134716908 3221224576 3221222320 1075640407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7970 7231 1111 63 0 7907 0
vsize: 31880
[startup+350.008 s]
Raw data (loadavg): 1.01 0.99 0.93 2/54 9015
Raw data (stat): 8960 (bsolo_lpr-v2) R 8959 31399 31398 0 -1 0 96472 0 0 0 34745 257 0 0 25 0 1 0 901443817 32587776 7217 4294967295 134512640 134716908 3221224576 3221222488 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7956 7217 1111 63 0 7893 0
vsize: 31824
[startup+360.009 s]
Raw data (loadavg): 1.01 0.99 0.93 2/54 9015
Raw data (stat): 8960 (bsolo_lpr-v2) R 8959 31399 31398 0 -1 0 98756 0 0 0 35738 265 0 0 25 0 1 0 901443817 32587776 7217 4294967295 134512640 134716908 3221224576 3221222448 1074153736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7956 7217 1111 63 0 7893 0
vsize: 31824
[startup+370.009 s]
Raw data (loadavg): 1.01 0.99 0.93 2/54 9015
Raw data (stat): 8960 (bsolo_lpr-v2) R 8959 31399 31398 0 -1 0 101093 0 0 0 36731 272 0 0 25 0 1 0 901443817 32772096 7219 4294967295 134512640 134716908 3221224576 3221222400 1075824347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8001 7219 1111 63 0 7938 0
vsize: 32004
[startup+380.009 s]
Raw data (loadavg): 1.01 0.99 0.93 2/54 9015
Raw data (stat): 8960 (bsolo_lpr-v2) R 8959 31399 31398 0 -1 0 103473 0 0 0 37724 279 0 0 25 0 1 0 901443817 32587776 7217 4294967295 134512640 134716908 3221224576 3221222792 1074138155 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7956 7217 1111 63 0 7893 0
vsize: 31824
[startup+390.013 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 9015
Raw data (stat): 8960 (bsolo_lpr-v2) R 8959 31399 31398 0 -1 0 105842 0 0 0 38719 285 0 0 25 0 1 0 901443817 32587776 7217 4294967295 134512640 134716908 3221224576 3221222792 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7956 7217 1111 63 0 7893 0
vsize: 31824
[startup+400.018 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 9015
Raw data (stat): 8960 (bsolo_lpr-v2) R 8959 31399 31398 0 -1 0 108264 0 0 0 39712 292 0 0 25 0 1 0 901443817 32587776 7217 4294967295 134512640 134716908 3221224576 3221222288 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7956 7217 1111 63 0 7893 0
vsize: 31824
[startup+410.018 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 9015
Raw data (stat): 8960 (bsolo_lpr-v2) R 8959 31399 31398 0 -1 0 110621 0 0 0 40704 301 0 0 25 0 1 0 901443817 32587776 7218 4294967295 134512640 134716908 3221224576 3221222880 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7956 7218 1111 63 0 7893 0
vsize: 31824
[startup+420.019 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 9015
Raw data (stat): 8960 (bsolo_lpr-v2) R 8959 31399 31398 0 -1 0 112911 0 0 0 41698 307 0 0 25 0 1 0 901443817 32587776 7218 4294967295 134512640 134716908 3221224576 3221222248 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7956 7218 1111 63 0 7893 0
vsize: 31824
[startup+430.022 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 9015
Raw data (stat): 8960 (bsolo_lpr-v2) R 8959 31399 31398 0 -1 0 115196 0 0 0 42692 313 0 0 25 0 1 0 901443817 32587776 7218 4294967295 134512640 134716908 3221224576 3221222824 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7956 7218 1111 63 0 7893 0
vsize: 31824
[startup+440.023 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 9015
Raw data (stat): 8960 (bsolo_lpr-v2) R 8959 31399 31398 0 -1 0 117439 0 0 0 43687 318 0 0 25 0 1 0 901443817 32772096 7220 4294967295 134512640 134716908 3221224576 3221222608 1075088363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7956 7218 1111 63 0 7893 0
vsize: 32004
[startup+450.023 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 9015
Raw data (stat): 8960 (bsolo_lpr-v2) R 8959 31399 31398 0 -1 0 119647 0 0 0 44681 325 0 0 25 0 1 0 901443817 32772096 7220 4294967295 134512640 134716908 3221224576 3221222688 1074867274 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8001 7220 1111 63 0 7938 0
vsize: 32004
[startup+460.023 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 9015
Raw data (stat): 8960 (bsolo_lpr-v2) R 8959 31399 31398 0 -1 0 121801 0 0 0 45673 332 0 0 25 0 1 0 901443817 33140736 7273 4294967295 134512640 134716908 3221224576 3221220736 1075091317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8091 7273 1111 63 0 8028 0
vsize: 32364
[startup+470.023 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 9015
Raw data (stat): 8960 (bsolo_lpr-v2) R 8959 31399 31398 0 -1 0 123762 0 0 0 46667 338 0 0 25 0 1 0 901443817 32587776 7218 4294967295 134512640 134716908 3221224576 3221222824 1074138153 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7956 7218 1111 63 0 7893 0
vsize: 31824
[startup+480.023 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 9015
Raw data (stat): 8960 (bsolo_lpr-v2) R 8959 31399 31398 0 -1 0 125786 0 0 0 47662 344 0 0 25 0 1 0 901443817 33132544 7276 4294967295 134512640 134716908 3221224576 3221221344 1076084027 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8089 7276 1111 63 0 8026 0
vsize: 32356
[startup+490.023 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 9015
Raw data (stat): 8960 (bsolo_lpr-v2) R 8959 31399 31398 0 -1 0 127754 0 0 0 48656 351 0 0 25 0 1 0 901443817 33099776 7268 4294967295 134512640 134716908 3221224576 3221220736 1075090493 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8081 7268 1111 63 0 8018 0
vsize: 32324
[startup+500.024 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 9015
Raw data (stat): 8960 (bsolo_lpr-v2) R 8959 31399 31398 0 -1 0 129717 0 0 0 49649 358 0 0 25 0 1 0 901443817 32587776 7219 4294967295 134512640 134716908 3221224576 3221222840 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7956 7219 1111 63 0 7893 0
vsize: 31824
[startup+510.023 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 9015
Raw data (stat): 8960 (bsolo_lpr-v2) R 8959 31399 31398 0 -1 0 131627 0 0 0 50643 364 0 0 25 0 1 0 901443817 32727040 7244 4294967295 134512640 134716908 3221224576 3221221768 1074138316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7990 7246 1111 63 0 7927 0
vsize: 31960
[startup+520.024 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 9015
Raw data (stat): 8960 (bsolo_lpr-v2) R 8959 31399 31398 0 -1 0 133418 0 0 0 51637 369 0 0 25 0 1 0 901443817 32587776 7219 4294967295 134512640 134716908 3221224576 3221221200 134652402 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7956 7219 1111 63 0 7893 0
vsize: 31824
[startup+530.023 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 9015
Raw data (stat): 8960 (bsolo_lpr-v2) R 8959 31399 31398 0 -1 0 135239 0 0 0 52632 375 0 0 25 0 1 0 901443817 32923648 7253 4294967295 134512640 134716908 3221224576 3221220736 1075091317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8038 7253 1111 63 0 7975 0
vsize: 32152
[startup+540.023 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 9015
Raw data (stat): 8960 (bsolo_lpr-v2) R 8959 31399 31398 0 -1 0 136896 0 0 0 53626 381 0 0 25 0 1 0 901443817 32587776 7219 4294967295 134512640 134716908 3221224576 3221222888 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7956 7219 1111 63 0 7893 0
vsize: 31824
[startup+550.024 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 9015
Raw data (stat): 8960 (bsolo_lpr-v2) R 8959 31399 31398 0 -1 0 138551 0 0 0 54621 386 0 0 25 0 1 0 901443817 32587776 7219 4294967295 134512640 134716908 3221224576 3221222508 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7956 7219 1111 63 0 7893 0
vsize: 31824
[startup+560.024 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 9017
Raw data (stat): 8960 (bsolo_lpr-v2) R 8959 31399 31398 0 -1 0 140075 0 0 0 55616 391 0 0 25 0 1 0 901443817 32587776 7219 4294967295 134512640 134716908 3221224576 3221222928 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7956 7219 1111 63 0 7893 0
vsize: 31824
[startup+570.024 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 9017
Raw data (stat): 8960 (bsolo_lpr-v2) R 8959 31399 31398 0 -1 0 141579 0 0 0 56612 396 0 0 25 0 1 0 901443817 32587776 7219 4294967295 134512640 134716908 3221224576 3221222872 1074138155 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7956 7219 1111 63 0 7893 0
vsize: 31824
[startup+580.024 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 9017
Raw data (stat): 8960 (bsolo_lpr-v2) R 8959 31399 31398 0 -1 0 143034 0 0 0 57608 400 0 0 25 0 1 0 901443817 32587776 7219 4294967295 134512640 134716908 3221224576 3221222840 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7956 7219 1111 63 0 7893 0
vsize: 31824
[startup+590.024 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 9017
Raw data (stat): 8960 (bsolo_lpr-v2) R 8959 31399 31398 0 -1 0 144415 0 0 0 58604 404 0 0 25 0 1 0 901443817 32645120 7232 4294967295 134512640 134716908 3221224576 3221223216 134651142 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7970 7232 1111 63 0 7907 0
vsize: 31880
[startup+600.024 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 9017
Raw data (stat): 8960 (bsolo_lpr-v2) R 8959 31399 31398 0 -1 0 145772 0 0 0 59599 409 0 0 25 0 1 0 901443817 32645120 7227 4294967295 134512640 134716908 3221224576 3221223296 134556671 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7970 7227 1111 63 0 7907 0
vsize: 31880
[startup+610.025 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 9017
Raw data (stat): 8960 (bsolo_lpr-v2) R 8959 31399 31398 0 -1 0 146884 0 0 0 60595 414 0 0 25 0 1 0 901443817 33017856 7238 4294967295 134512640 134716908 3221224576 3221220736 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8061 7240 1111 63 0 7998 0
vsize: 32244
[startup+620.026 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 9017
Raw data (stat): 8960 (bsolo_lpr-v2) R 8959 31399 31398 0 -1 0 148010 0 0 0 61592 417 0 0 25 0 1 0 901443817 32587776 7219 4294967295 134512640 134716908 3221224576 3221222840 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7956 7219 1111 63 0 7893 0
vsize: 31824
[startup+630.026 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 9017
Raw data (stat): 8960 (bsolo_lpr-v2) R 8959 31399 31398 0 -1 0 148958 0 0 0 62589 420 0 0 25 0 1 0 901443817 32587776 7219 4294967295 134512640 134716908 3221224576 3221222496 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7956 7219 1111 63 0 7893 0
vsize: 31824
[startup+640.026 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 9017
Raw data (stat): 8960 (bsolo_lpr-v2) R 8959 31399 31398 0 -1 0 149903 0 0 0 63585 424 0 0 25 0 1 0 901443817 32587776 7219 4294967295 134512640 134716908 3221224576 3221222872 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7956 7219 1111 63 0 7893 0
vsize: 31824
[startup+650.027 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 9017
Raw data (stat): 8960 (bsolo_lpr-v2) R 8959 31399 31398 0 -1 0 150755 0 0 0 64582 427 0 0 25 0 1 0 901443817 32587776 7219 4294967295 134512640 134716908 3221224576 3221222488 1077378730 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7956 7219 1111 63 0 7893 0
vsize: 31824
[startup+660.027 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 9017
Raw data (stat): 8960 (bsolo_lpr-v2) R 8959 31399 31398 0 -1 0 151590 0 0 0 65580 429 0 0 25 0 1 0 901443817 32587776 7219 4294967295 134512640 134716908 3221224576 3221222496 1075799826 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7956 7219 1111 63 0 7893 0
vsize: 31824
[startup+670.027 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 9017
Raw data (stat): 8960 (bsolo_lpr-v2) R 8959 31399 31398 0 -1 0 152432 0 0 0 66578 432 0 0 25 0 1 0 901443817 32587776 7220 4294967295 134512640 134716908 3221224576 3221222840 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7956 7220 1111 63 0 7893 0
vsize: 31824
[startup+680.028 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 9017
Raw data (stat): 8960 (bsolo_lpr-v2) R 8959 31399 31398 0 -1 0 153303 0 0 0 67573 437 0 0 25 0 1 0 901443817 32587776 7220 4294967295 134512640 134716908 3221224576 3221222976 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7956 7220 1111 63 0 7893 0
vsize: 31824
[startup+690.028 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 9017
Raw data (stat): 8960 (bsolo_lpr-v2) R 8959 31399 31398 0 -1 0 154165 0 0 0 68571 439 0 0 25 0 1 0 901443817 32587776 7220 4294967295 134512640 134716908 3221224576 3221222556 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7956 7220 1111 63 0 7893 0
vsize: 31824
[startup+700.028 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 9017
Raw data (stat): 8960 (bsolo_lpr-v2) R 8959 31399 31398 0 -1 0 155053 0 0 0 69566 443 0 0 25 0 1 0 901443817 32587776 7220 4294967295 134512640 134716908 3221224576 3221222960 1074153753 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7956 7220 1111 63 0 7893 0
vsize: 31824
[startup+710.029 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 9017
Raw data (stat): 8960 (bsolo_lpr-v2) R 8959 31399 31398 0 -1 0 155797 0 0 0 70564 446 0 0 25 0 1 0 901443817 32587776 7220 4294967295 134512640 134716908 3221224576 3221222960 1074153673 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7956 7220 1111 63 0 7893 0
vsize: 31824
[startup+720.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 9017
Raw data (stat): 8960 (bsolo_lpr-v2) R 8959 31399 31398 0 -1 0 156556 0 0 0 71562 448 0 0 25 0 1 0 901443817 32587776 7221 4294967295 134512640 134716908 3221224576 3221222960 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7956 7221 1111 63 0 7893 0
vsize: 31824
[startup+730.029 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 9017
Raw data (stat): 8960 (bsolo_lpr-v2) R 8959 31399 31398 0 -1 0 157376 0 0 0 72557 453 0 0 25 0 1 0 901443817 32587776 7221 4294967295 134512640 134716908 3221224576 3221222792 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7956 7221 1111 63 0 7893 0
vsize: 31824
[startup+740.029 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 9017
Raw data (stat): 8960 (bsolo_lpr-v2) R 8959 31399 31398 0 -1 0 157691 0 0 0 73555 455 0 0 25 0 1 0 901443817 32587776 7221 4294967295 134512640 134716908 3221224576 3221222688 1074867325 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7956 7221 1111 63 0 7893 0
vsize: 31824
[startup+750.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 9017
Raw data (stat): 8960 (bsolo_lpr-v2) R 8959 31399 31398 0 -1 0 158389 0 0 0 74553 458 0 0 25 0 1 0 901443817 32587776 7221 4294967295 134512640 134716908 3221224576 3221222960 1074153660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7956 7221 1111 63 0 7893 0
vsize: 31824
[startup+760.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 9017
Raw data (stat): 8960 (bsolo_lpr-v2) R 8959 31399 31398 0 -1 0 159183 0 0 0 75551 459 0 0 25 0 1 0 901443817 32587776 7221 4294967295 134512640 134716908 3221224576 3221222972 1074152825 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7956 7221 1111 63 0 7893 0
vsize: 31824
[startup+770.04 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 9017
Raw data (stat): 8960 (bsolo_lpr-v2) R 8959 31399 31398 0 -1 0 160021 0 0 0 76549 463 0 0 25 0 1 0 901443817 32772096 7233 4294967295 134512640 134716908 3221224576 3221220540 1074860620 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8001 7233 1111 63 0 7938 0
vsize: 32004
[startup+780.051 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 9017
Raw data (stat): 8960 (bsolo_lpr-v2) R 8959 31399 31398 0 -1 0 160874 0 0 0 77548 465 0 0 25 0 1 0 901443817 32587776 7221 4294967295 134512640 134716908 3221224576 3221222872 1074138155 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7956 7221 1111 63 0 7893 0
vsize: 31824
[startup+790.051 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 9017
Raw data (stat): 8960 (bsolo_lpr-v2) R 8959 31399 31398 0 -1 0 161926 0 0 0 78545 469 0 0 25 0 1 0 901443817 32587776 7221 4294967295 134512640 134716908 3221224576 3221222960 1074153648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7956 7221 1111 63 0 7893 0
vsize: 31824
[startup+800.052 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 9017
Raw data (stat): 8960 (bsolo_lpr-v2) R 8959 31399 31398 0 -1 0 163005 0 0 0 79541 473 0 0 25 0 1 0 901443817 32587776 7221 4294967295 134512640 134716908 3221224576 3221222304 1075828201 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7956 7221 1111 63 0 7893 0
vsize: 31824
[startup+810.051 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 9017
Raw data (stat): 8960 (bsolo_lpr-v2) R 8959 31399 31398 0 -1 0 164054 0 0 0 80537 476 0 0 25 0 1 0 901443817 32587776 7221 4294967295 134512640 134716908 3221224576 3221222540 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7956 7221 1111 63 0 7893 0
vsize: 31824
[startup+820.052 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 9017
Raw data (stat): 8960 (bsolo_lpr-v2) R 8959 31399 31398 0 -1 0 165129 0 0 0 81534 480 0 0 25 0 1 0 901443817 32587776 7221 4294967295 134512640 134716908 3221224576 3221222976 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7956 7221 1111 63 0 7893 0
vsize: 31824
[startup+830.052 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 9017
Raw data (stat): 8960 (bsolo_lpr-v2) R 8959 31399 31398 0 -1 0 166189 0 0 0 82530 484 0 0 25 0 1 0 901443817 32645120 7225 4294967295 134512640 134716908 3221224576 3221222320 1075645320 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7970 7225 1111 63 0 7907 0
vsize: 31880
[startup+840.051 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 9017
Raw data (stat): 8960 (bsolo_lpr-v2) R 8959 31399 31398 0 -1 0 167284 0 0 0 83526 488 0 0 25 0 1 0 901443817 32645120 7225 4294967295 134512640 134716908 3221224576 3221222976 1074118815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7970 7225 1111 63 0 7907 0
vsize: 31880
[startup+850.052 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 9017
Raw data (stat): 8960 (bsolo_lpr-v2) R 8959 31399 31398 0 -1 0 168391 0 0 0 84522 492 0 0 25 0 1 0 901443817 32587776 7221 4294967295 134512640 134716908 3221224576 3221222936 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7956 7221 1111 63 0 7893 0
vsize: 31824
[startup+860.052 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 9017
Raw data (stat): 8960 (bsolo_lpr-v2) R 8959 31399 31398 0 -1 0 169481 0 0 0 85519 496 0 0 25 0 1 0 901443817 32645120 7225 4294967295 134512640 134716908 3221224576 3221222320 1075646679 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7970 7225 1111 63 0 7907 0
vsize: 31880
[startup+870.052 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 9017
Raw data (stat): 8960 (bsolo_lpr-v2) R 8959 31399 31398 0 -1 0 170476 0 0 0 86516 499 0 0 25 0 1 0 901443817 32587776 7221 4294967295 134512640 134716908 3221224576 3221222960 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7956 7221 1111 63 0 7893 0
vsize: 31824
[startup+880.052 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 9017
Raw data (stat): 8960 (bsolo_lpr-v2) R 8959 31399 31398 0 -1 0 171478 0 0 0 87512 503 0 0 25 0 1 0 901443817 32587776 7221 4294967295 134512640 134716908 3221224576 3221222952 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7956 7221 1111 63 0 7893 0
vsize: 31824
[startup+890.052 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 9017
Raw data (stat): 8960 (bsolo_lpr-v2) R 8959 31399 31398 0 -1 0 172538 0 0 0 88509 506 0 0 25 0 1 0 901443817 32587776 7221 4294967295 134512640 134716908 3221224576 3221222496 1075799822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7956 7221 1111 63 0 7893 0
vsize: 31824
[startup+900.052 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 9017
Raw data (stat): 8960 (bsolo_lpr-v2) R 8959 31399 31398 0 -1 0 173605 0 0 0 89505 510 0 0 25 0 1 0 901443817 32587776 7221 4294967295 134512640 134716908 3221224576 3221222508 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7956 7221 1111 63 0 7893 0
vsize: 31824
[startup+910.052 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 9017
Raw data (stat): 8960 (bsolo_lpr-v2) R 8959 31399 31398 0 -1 0 174642 0 0 0 90502 514 0 0 25 0 1 0 901443817 32587776 7221 4294967295 134512640 134716908 3221224576 3221222992 1074116190 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7956 7221 1111 63 0 7893 0
vsize: 31824
[startup+920.053 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 9017
Raw data (stat): 8960 (bsolo_lpr-v2) R 8959 31399 31398 0 -1 0 175744 0 0 0 91499 517 0 0 25 0 1 0 901443817 32587776 7221 4294967295 134512640 134716908 3221224576 3221222880 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7956 7221 1111 63 0 7893 0
vsize: 31824
[startup+930.054 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 9017
Raw data (stat): 8960 (bsolo_lpr-v2) R 8959 31399 31398 0 -1 0 176881 0 0 0 92494 522 0 0 25 0 1 0 901443817 32956416 7238 4294967295 134512640 134716908 3221224576 3221221676 1074206432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8046 7238 1111 63 0 7983 0
vsize: 32184
[startup+940.053 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 9017
Raw data (stat): 8960 (bsolo_lpr-v2) R 8959 31399 31398 0 -1 0 177968 0 0 0 93490 526 0 0 25 0 1 0 901443817 32587776 7221 4294967295 134512640 134716908 3221224576 3221222976 1074153812 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7956 7221 1111 63 0 7893 0
vsize: 31824
[startup+950.054 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 9017
Raw data (stat): 8960 (bsolo_lpr-v2) R 8959 31399 31398 0 -1 0 179104 0 0 0 94487 530 0 0 25 0 1 0 901443817 32587776 7221 4294967295 134512640 134716908 3221224576 3221222872 1074138158 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7956 7221 1111 63 0 7893 0
vsize: 31824
[startup+960.055 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 9017
Raw data (stat): 8960 (bsolo_lpr-v2) R 8959 31399 31398 0 -1 0 180206 0 0 0 95482 534 0 0 25 0 1 0 901443817 32587776 7221 4294967295 134512640 134716908 3221224576 3221222976 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7956 7221 1111 63 0 7893 0
vsize: 31824
[startup+970.055 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 9017
Raw data (stat): 8960 (bsolo_lpr-v2) R 8959 31399 31398 0 -1 0 181339 0 0 0 96479 538 0 0 25 0 1 0 901443817 32587776 7221 4294967295 134512640 134716908 3221224576 3221222792 1074138158 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7956 7221 1111 63 0 7893 0
vsize: 31824
[startup+980.055 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 9017
Raw data (stat): 8960 (bsolo_lpr-v2) R 8959 31399 31398 0 -1 0 182572 0 0 0 97475 542 0 0 25 0 1 0 901443817 32587776 7221 4294967295 134512640 134716908 3221224576 3221222912 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7956 7221 1111 63 0 7893 0
vsize: 31824
[startup+990.056 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 9017
Raw data (stat): 8960 (bsolo_lpr-v2) R 8959 31399 31398 0 -1 0 183861 0 0 0 98470 548 0 0 25 0 1 0 901443817 32587776 7221 4294967295 134512640 134716908 3221224576 3221223180 1074152784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7956 7221 1111 63 0 7893 0
vsize: 31824
[startup+1000.06 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 9017
Raw data (stat): 8960 (bsolo_lpr-v2) R 8959 31399 31398 0 -1 0 185173 0 0 0 99464 554 0 0 25 0 1 0 901443817 32587776 7221 4294967295 134512640 134716908 3221224576 3221222936 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7956 7221 1111 63 0 7893 0
vsize: 31824
[startup+1010.06 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 9017
Raw data (stat): 8960 (bsolo_lpr-v2) R 8959 31399 31398 0 -1 0 186491 0 0 0 100459 559 0 0 25 0 1 0 901443817 32587776 7221 4294967295 134512640 134716908 3221224576 3221222960 1074153669 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7956 7221 1111 63 0 7893 0
vsize: 31824
[startup+1020.06 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 9017
Raw data (stat): 8960 (bsolo_lpr-v2) R 8959 31399 31398 0 -1 0 187872 0 0 0 101455 563 0 0 25 0 1 0 901443817 32587776 7221 4294967295 134512640 134716908 3221224576 3221222888 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7956 7221 1111 63 0 7893 0
vsize: 31824
[startup+1030.06 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 9017
Raw data (stat): 8960 (bsolo_lpr-v2) R 8959 31399 31398 0 -1 0 189197 0 0 0 102449 569 0 0 25 0 1 0 901443817 32645120 7223 4294967295 134512640 134716908 3221224576 3221222976 1074118854 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7970 7223 1111 63 0 7907 0
vsize: 31880
[startup+1040.06 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 9017
Raw data (stat): 8960 (bsolo_lpr-v2) R 8959 31399 31398 0 -1 0 190467 0 0 0 103444 574 0 0 25 0 1 0 901443817 32587776 7221 4294967295 134512640 134716908 3221224576 3221222960 1074153749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7956 7221 1111 63 0 7893 0
vsize: 31824
[startup+1050.06 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 9017
Raw data (stat): 8960 (bsolo_lpr-v2) R 8959 31399 31398 0 -1 0 191647 0 0 0 104439 580 0 0 25 0 1 0 901443817 32645120 7223 4294967295 134512640 134716908 3221224576 3221222976 1074118815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7970 7223 1111 63 0 7907 0
vsize: 31880
[startup+1060.06 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 9017
Raw data (stat): 8960 (bsolo_lpr-v2) R 8959 31399 31398 0 -1 0 192899 0 0 0 105435 584 0 0 25 0 1 0 901443817 32587776 7221 4294967295 134512640 134716908 3221224576 3221222888 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7956 7221 1111 63 0 7893 0
vsize: 31824
[startup+1070.06 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 9017
Raw data (stat): 8960 (bsolo_lpr-v2) R 8959 31399 31398 0 -1 0 194193 0 0 0 106431 588 0 0 25 0 1 0 901443817 32587776 7221 4294967295 134512640 134716908 3221224576 3221222312 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7956 7221 1111 63 0 7893 0
vsize: 31824
[startup+1080.06 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 9017
Raw data (stat): 8960 (bsolo_lpr-v2) R 8959 31399 31398 0 -1 0 195503 0 0 0 107426 593 0 0 25 0 1 0 901443817 32587776 7221 4294967295 134512640 134716908 3221224576 3221222312 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7956 7221 1111 63 0 7893 0
vsize: 31824
[startup+1090.06 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 9017
Raw data (stat): 8960 (bsolo_lpr-v2) R 8959 31399 31398 0 -1 0 196692 0 0 0 108421 598 0 0 25 0 1 0 901443817 32645120 7223 4294967295 134512640 134716908 3221224576 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7970 7223 1111 63 0 7907 0
vsize: 31880
[startup+1100.06 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 9017
Raw data (stat): 8960 (bsolo_lpr-v2) R 8959 31399 31398 0 -1 0 197900 0 0 0 109417 602 0 0 25 0 1 0 901443817 32768000 7223 4294967295 134512640 134716908 3221224576 3221222304 1075828224 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8000 7223 1111 63 0 7937 0
vsize: 32000
[startup+1110.06 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 9017
Raw data (stat): 8960 (bsolo_lpr-v2) R 8959 31399 31398 0 -1 0 199098 0 0 0 110413 607 0 0 25 0 1 0 901443817 32768000 7223 4294967295 134512640 134716908 3221224576 3221222304 1075828224 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8000 7223 1111 63 0 7937 0
vsize: 32000
[startup+1120.06 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 9017
Raw data (stat): 8960 (bsolo_lpr-v2) R 8959 31399 31398 0 -1 0 200358 0 0 0 111408 612 0 0 25 0 1 0 901443817 32587776 7221 4294967295 134512640 134716908 3221224576 3221222976 1074153812 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7956 7221 1111 63 0 7893 0
vsize: 31824
[startup+1130.06 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 9017
Raw data (stat): 8960 (bsolo_lpr-v2) R 8959 31399 31398 0 -1 0 201582 0 0 0 112402 618 0 0 25 0 1 0 901443817 32768000 7223 4294967295 134512640 134716908 3221224576 3221222496 1075799488 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8000 7223 1111 63 0 7937 0
vsize: 32000
[startup+1140.06 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 9017
Raw data (stat): 8960 (bsolo_lpr-v2) R 8959 31399 31398 0 -1 0 202764 0 0 0 113397 623 0 0 25 0 1 0 901443817 32587776 7221 4294967295 134512640 134716908 3221224576 3221222216 1074138144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7956 7221 1111 63 0 7893 0
vsize: 31824
[startup+1150.06 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 9017
Raw data (stat): 8960 (bsolo_lpr-v2) R 8959 31399 31398 0 -1 0 204017 0 0 0 114393 628 0 0 25 0 1 0 901443817 32587776 7221 4294967295 134512640 134716908 3221224576 3221222464 1074050818 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7956 7221 1111 63 0 7893 0
vsize: 31824
[startup+1160.06 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 9017
Raw data (stat): 8960 (bsolo_lpr-v2) R 8959 31399 31398 0 -1 0 205288 0 0 0 115388 633 0 0 25 0 1 0 901443817 32645120 7222 4294967295 134512640 134716908 3221224576 3221223040 1074119510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7970 7222 1111 63 0 7907 0
vsize: 31880
[startup+1170.06 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 9017
Raw data (stat): 8960 (bsolo_lpr-v2) R 8959 31399 31398 0 -1 0 206540 0 0 0 116383 638 0 0 25 0 1 0 901443817 32768000 7223 4294967295 134512640 134716908 3221224576 3221222224 1075818365 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8000 7223 1111 63 0 7937 0
vsize: 32000
[startup+1174.97 s]
Raw data (loadavg): 1.00 0.99 0.93 1/53 9017
Raw data (stat): 8960 (bsolo_lpr-v2) R 8959 31399 31398 0 -1 0 206540 0 0 0 116383 638 0 0 25 0 1 0 901443817 32768000 7223 4294967295 134512640 134716908 3221224576 3221222224 1075818365 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8000 7223 1111 63 0 7937 0
vsize: 0

Child status: 0
Real time (s): 1174.97
CPU time (s): 1175.12
CPU user time (s): 1168.69
CPU system time (s): 6.43002
CPU usage (%): 100.013
Max. virtual memory (Kb): 32576
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####