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-ran10x10c.opb
MD5SUM	31a8734340f0544712ef974997c104b2
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	2677632
Optimality of the best value was proved	NO
Number of terms in the objective function	2100
Biggest coefficient in the objective function	4718592
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	515723936
Number of bits of the sum of numbers in the objective function	29
Biggest number in a constraint	4718592
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	515723936
Number of bits of the biggest sum of numbers	29
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.05
Number of variables	2100
Total number of constraints	120
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	120
Minimum length of a constraint	21
Maximum length of a constraint	200
Trace number 40457

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-08 11:16:43 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28523 boxname=wulflinc3 idbench=1479 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  31a8734340f0544712ef974997c104b2  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-ran10x10c.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-ran10x10c.opb
IDLAUNCH: 28523
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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:        879268 kB
Buffers:          6768 kB
Cached:         128696 kB
SwapCached:        808 kB
Active:          30104 kB
Inactive:       107464 kB
HighTotal:      131008 kB
HighFree:         4536 kB
LowTotal:       903652 kB
LowFree:        874732 kB
SwapTotal:     2097136 kB
SwapFree:      2095336 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5016 kB
Slab:            12084 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 11:36:18 (client local time) WITH STATUS 0 IN 1175.03 SECONDS
stats: 28523 7 1175.03 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 2100 variables and 140 constraints.
c After prepocess the problem consists of 1087 variables and 186 constraints.
c preprocess terminated 1.756 s
c Initial Lower Bound: 1433996
c Lower Bound Elapsed time: 0.05975
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.01 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.85 0.95 0.90 1/54 25072
Raw data (stat): 25072 (runsolver) R 25071 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 901196437 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0006 s]
Raw data (loadavg): 0.87 0.95 0.90 2/54 25072
Raw data (stat): 25072 (bsolo_lpr-v2) R 25071 20224 20223 0 -1 0 6279 0 0 0 980 17 0 0 25 0 1 0 901196437 16412672 3228 4294967295 134512640 134716908 3221224576 3221220648 1074950210 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4007 3228 1111 63 0 3944 0
vsize: 16028
[startup+20.0013 s]
Raw data (loadavg): 0.89 0.96 0.91 2/54 25072
Raw data (stat): 25072 (bsolo_lpr-v2) R 25071 20224 20223 0 -1 0 9468 0 0 0 1971 26 0 0 25 0 1 0 901196437 16015360 3200 4294967295 134512640 134716908 3221224576 3221222016 1074153753 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3910 3200 1111 63 0 3847 0
vsize: 15640
[startup+30.0016 s]
Raw data (loadavg): 0.91 0.96 0.91 2/54 25072
Raw data (stat): 25072 (bsolo_lpr-v2) R 25071 20224 20223 0 -1 0 12260 0 0 0 2962 35 0 0 25 0 1 0 901196437 16015360 3200 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3910 3200 1111 63 0 3847 0
vsize: 15640
[startup+40.002 s]
Raw data (loadavg): 0.92 0.96 0.91 2/54 25072
Raw data (stat): 25072 (bsolo_lpr-v2) R 25071 20224 20223 0 -1 0 14392 0 0 0 3954 44 0 0 25 0 1 0 901196437 16015360 3200 4294967295 134512640 134716908 3221224576 3221222840 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3910 3200 1111 63 0 3847 0
vsize: 15640
[startup+50.0019 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 25072
Raw data (stat): 25072 (bsolo_lpr-v2) R 25071 20224 20223 0 -1 0 16381 0 0 0 4947 50 0 0 25 0 1 0 901196437 16318464 3206 4294967295 134512640 134716908 3221224576 3221220736 1075095166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3984 3207 1111 63 0 3921 0
vsize: 15936
[startup+60.0031 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 25072
Raw data (stat): 25072 (bsolo_lpr-v2) R 25071 20224 20223 0 -1 0 18049 0 0 0 5941 57 0 0 25 0 1 0 901196437 16015360 3200 4294967295 134512640 134716908 3221224576 3221222540 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3910 3200 1111 63 0 3847 0
vsize: 15640
[startup+70.0035 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 25072
Raw data (stat): 25072 (bsolo_lpr-v2) R 25071 20224 20223 0 -1 0 19868 0 0 0 6934 64 0 0 25 0 1 0 901196437 16015360 3200 4294967295 134512640 134716908 3221224576 3221222304 1075828201 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3910 3200 1111 63 0 3847 0
vsize: 15640
[startup+80.0035 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 25072
Raw data (stat): 25072 (bsolo_lpr-v2) R 25071 20224 20223 0 -1 0 23008 0 0 0 7923 75 0 0 25 0 1 0 901196437 16244736 3206 4294967295 134512640 134716908 3221224576 3221221728 1075969830 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3966 3206 1111 63 0 3903 0
vsize: 15864
[startup+90.0046 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 25072
Raw data (stat): 25072 (bsolo_lpr-v2) R 25071 20224 20223 0 -1 0 32275 0 0 0 8897 101 0 0 25 0 1 0 901196437 16121856 3230 4294967295 134512640 134716908 3221224576 3221222696 1074138144 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3936 3230 1111 63 0 3873 0
vsize: 15744
[startup+100.004 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 25072
Raw data (stat): 25072 (bsolo_lpr-v2) R 25071 20224 20223 0 -1 0 37170 0 0 0 9880 118 0 0 25 0 1 0 901196437 16482304 3318 4294967295 134512640 134716908 3221224576 3221222992 1074116657 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4024 3318 1111 63 0 3961 0
vsize: 16096
[startup+110.005 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 25072
Raw data (stat): 25072 (bsolo_lpr-v2) R 25071 20224 20223 0 -1 0 39767 0 0 0 10870 128 0 0 25 0 1 0 901196437 16777216 3390 4294967295 134512640 134716908 3221224576 3221222304 1075828447 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4096 3390 1111 63 0 4033 0
vsize: 16384
[startup+120.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 25072
Raw data (stat): 25072 (bsolo_lpr-v2) R 25071 20224 20223 0 -1 0 41831 0 0 0 11860 138 0 0 25 0 1 0 901196437 16777216 3390 4294967295 134512640 134716908 3221224576 3221222536 1074138333 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4096 3390 1111 63 0 4033 0
vsize: 16384
[startup+130.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 25072
Raw data (stat): 25072 (bsolo_lpr-v2) R 25071 20224 20223 0 -1 0 42449 0 0 0 12854 145 0 0 25 0 1 0 901196437 16777216 3390 4294967295 134512640 134716908 3221224576 3221222888 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4096 3390 1111 63 0 4033 0
vsize: 16384
[startup+140.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 25072
Raw data (stat): 25072 (bsolo_lpr-v2) R 25071 20224 20223 0 -1 0 43057 0 0 0 13848 151 0 0 25 0 1 0 901196437 16777216 3390 4294967295 134512640 134716908 3221224576 3221222976 1074153794 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4096 3390 1111 63 0 4033 0
vsize: 16384
[startup+150.006 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 25072
Raw data (stat): 25072 (bsolo_lpr-v2) R 25071 20224 20223 0 -1 0 43653 0 0 0 14842 157 0 0 25 0 1 0 901196437 16777216 3390 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4152 3391 1111 63 0 4089 0
vsize: 16384
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25072
Raw data (stat): 25072 (bsolo_lpr-v2) R 25071 20224 20223 0 -1 0 44225 0 0 0 15837 162 0 0 25 0 1 0 901196437 16777216 3390 4294967295 134512640 134716908 3221224576 3221222872 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4096 3390 1111 63 0 4033 0
vsize: 16384
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25072
Raw data (stat): 25072 (bsolo_lpr-v2) R 25071 20224 20223 0 -1 0 44800 0 0 0 16831 168 0 0 25 0 1 0 901196437 17006592 3391 4294967295 134512640 134716908 3221224576 3221221068 1074798916 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4152 3391 1111 63 0 4089 0
vsize: 16608
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25072
Raw data (stat): 25072 (bsolo_lpr-v2) R 25071 20224 20223 0 -1 0 45373 0 0 0 17825 174 0 0 25 0 1 0 901196437 16777216 3390 4294967295 134512640 134716908 3221224576 3221222664 1077377398 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4096 3390 1111 63 0 4033 0
vsize: 16384
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25072
Raw data (stat): 25072 (bsolo_lpr-v2) R 25071 20224 20223 0 -1 0 45951 0 0 0 18819 180 0 0 25 0 1 0 901196437 16777216 3390 4294967295 134512640 134716908 3221224576 3221222688 1074867274 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4096 3390 1111 63 0 4033 0
vsize: 16384
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25072
Raw data (stat): 25072 (bsolo_lpr-v2) R 25071 20224 20223 0 -1 0 46517 0 0 0 19812 187 0 0 25 0 1 0 901196437 16777216 3390 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4096 3390 1111 63 0 4033 0
vsize: 16384
[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25072
Raw data (stat): 25072 (bsolo_lpr-v2) R 25071 20224 20223 0 -1 0 47094 0 0 0 20807 193 0 0 25 0 1 0 901196437 16777216 3390 4294967295 134512640 134716908 3221224576 3221222304 1075635454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4096 3390 1111 63 0 4033 0
vsize: 16384
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25072
Raw data (stat): 25072 (bsolo_lpr-v2) R 25071 20224 20223 0 -1 0 47683 0 0 0 21802 198 0 0 25 0 1 0 901196437 16777216 3390 4294967295 134512640 134716908 3221224576 3221223104 134652402 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4096 3390 1111 63 0 4033 0
vsize: 16384
[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25072
Raw data (stat): 25072 (bsolo_lpr-v2) R 25071 20224 20223 0 -1 0 48267 0 0 0 22796 204 0 0 25 0 1 0 901196437 16777216 3390 4294967295 134512640 134716908 3221224576 3221222928 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4096 3390 1111 63 0 4033 0
vsize: 16384
[startup+240.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25072
Raw data (stat): 25072 (bsolo_lpr-v2) R 25071 20224 20223 0 -1 0 48865 0 0 0 23789 211 0 0 25 0 1 0 901196437 16777216 3390 4294967295 134512640 134716908 3221224576 3221222960 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4096 3390 1111 63 0 4033 0
vsize: 16384
[startup+250.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25072
Raw data (stat): 25072 (bsolo_lpr-v2) R 25071 20224 20223 0 -1 0 49450 0 0 0 24783 218 0 0 25 0 1 0 901196437 16777216 3390 4294967295 134512640 134716908 3221224576 3221222920 1074206849 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4096 3390 1111 63 0 4033 0
vsize: 16384
[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25072
Raw data (stat): 25072 (bsolo_lpr-v2) R 25071 20224 20223 0 -1 0 50131 0 0 0 25776 225 0 0 25 0 1 0 901196437 16777216 3390 4294967295 134512640 134716908 3221224576 3221222912 1074153660 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4096 3390 1111 63 0 4033 0
vsize: 16384
[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25072
Raw data (stat): 25072 (bsolo_lpr-v2) R 25071 20224 20223 0 -1 0 50785 0 0 0 26769 232 0 0 25 0 1 0 901196437 16777216 3390 4294967295 134512640 134716908 3221224576 3221222960 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4096 3390 1111 63 0 4033 0
vsize: 16384
[startup+280.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25072
Raw data (stat): 25072 (bsolo_lpr-v2) R 25071 20224 20223 0 -1 0 51365 0 0 0 27762 239 0 0 25 0 1 0 901196437 16777216 3390 4294967295 134512640 134716908 3221224576 3221222872 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4096 3390 1111 63 0 4033 0
vsize: 16384
[startup+290.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25072
Raw data (stat): 25072 (bsolo_lpr-v2) R 25071 20224 20223 0 -1 0 51929 0 0 0 28757 245 0 0 25 0 1 0 901196437 16777216 3390 4294967295 134512640 134716908 3221224576 3221222976 1074153749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4096 3390 1111 63 0 4033 0
vsize: 16384
[startup+300.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25072
Raw data (stat): 25072 (bsolo_lpr-v2) R 25071 20224 20223 0 -1 0 52492 0 0 0 29751 251 0 0 25 0 1 0 901196437 16982016 3391 4294967295 134512640 134716908 3221224576 3221221468 1077386340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4146 3391 1111 63 0 4083 0
vsize: 16584
[startup+310.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25072
Raw data (stat): 25072 (bsolo_lpr-v2) R 25071 20224 20223 0 -1 0 53059 0 0 0 30743 259 0 0 25 0 1 0 901196437 16777216 3390 4294967295 134512640 134716908 3221224576 3221222952 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4096 3390 1111 63 0 4033 0
vsize: 16384
[startup+320.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25072
Raw data (stat): 25072 (bsolo_lpr-v2) R 25071 20224 20223 0 -1 0 53615 0 0 0 31738 264 0 0 25 0 1 0 901196437 16777216 3390 4294967295 134512640 134716908 3221224576 3221223024 1073990306 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4096 3390 1111 63 0 4033 0
vsize: 16384
[startup+330.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25072
Raw data (stat): 25072 (bsolo_lpr-v2) R 25071 20224 20223 0 -1 0 54182 0 0 0 32733 270 0 0 25 0 1 0 901196437 17006592 3391 4294967295 134512640 134716908 3221224576 3221221632 1075277558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4152 3391 1111 63 0 4089 0
vsize: 16608
[startup+340.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25072
Raw data (stat): 25072 (bsolo_lpr-v2) R 25071 20224 20223 0 -1 0 54837 0 0 0 33728 275 0 0 25 0 1 0 901196437 16777216 3390 4294967295 134512640 134716908 3221224576 3221222304 1075829509 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4096 3390 1111 63 0 4033 0
vsize: 16384
[startup+350.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25072
Raw data (stat): 25072 (bsolo_lpr-v2) R 25071 20224 20223 0 -1 0 55759 0 0 0 34719 284 0 0 25 0 1 0 901196437 16777216 3390 4294967295 134512640 134716908 3221224576 3221222928 1074153794 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4096 3390 1111 63 0 4033 0
vsize: 16384
[startup+360.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25072
Raw data (stat): 25072 (bsolo_lpr-v2) R 25071 20224 20223 0 -1 0 56405 0 0 0 35712 290 0 0 25 0 1 0 901196437 16777216 3390 4294967295 134512640 134716908 3221224576 3221222876 1073967528 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4096 3390 1111 63 0 4033 0
vsize: 16384
[startup+370.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25072
Raw data (stat): 25072 (bsolo_lpr-v2) R 25071 20224 20223 0 -1 0 57002 0 0 0 36705 298 0 0 25 0 1 0 901196437 17006592 3391 4294967295 134512640 134716908 3221224576 3221220668 1075663442 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4152 3391 1111 63 0 4089 0
vsize: 16608
[startup+380.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25072
Raw data (stat): 25072 (bsolo_lpr-v2) R 25071 20224 20223 0 -1 0 57603 0 0 0 37698 305 0 0 25 0 1 0 901196437 16777216 3390 4294967295 134512640 134716908 3221224576 3221222536 1074138303 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4096 3390 1111 63 0 4033 0
vsize: 16384
[startup+390.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25072
Raw data (stat): 25072 (bsolo_lpr-v2) R 25071 20224 20223 0 -1 0 58216 0 0 0 38692 312 0 0 25 0 1 0 901196437 16777216 3390 4294967295 134512640 134716908 3221224576 3221223024 1074039479 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4096 3390 1111 63 0 4033 0
vsize: 16384
[startup+400.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25072
Raw data (stat): 25072 (bsolo_lpr-v2) R 25071 20224 20223 0 -1 0 58834 0 0 0 39684 319 0 0 25 0 1 0 901196437 17006592 3391 4294967295 134512640 134716908 3221224576 3221221560 1074831585 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4152 3391 1111 63 0 4089 0
vsize: 16608
[startup+410.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25072
Raw data (stat): 25072 (bsolo_lpr-v2) R 25071 20224 20223 0 -1 0 59413 0 0 0 40678 326 0 0 25 0 1 0 901196437 16777216 3390 4294967295 134512640 134716908 3221224576 3221222760 1077377368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4096 3390 1111 63 0 4033 0
vsize: 16384
[startup+420.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25072
Raw data (stat): 25072 (bsolo_lpr-v2) R 25071 20224 20223 0 -1 0 60027 0 0 0 41672 332 0 0 25 0 1 0 901196437 16777216 3390 4294967295 134512640 134716908 3221224576 3221222976 1074118832 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4096 3390 1111 63 0 4033 0
vsize: 16384
[startup+430.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25072
Raw data (stat): 25072 (bsolo_lpr-v2) R 25071 20224 20223 0 -1 0 60601 0 0 0 42667 337 0 0 25 0 1 0 901196437 16777216 3390 4294967295 134512640 134716908 3221224576 3221222712 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4096 3390 1111 63 0 4033 0
vsize: 16384
[startup+440.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25072
Raw data (stat): 25072 (bsolo_lpr-v2) R 25071 20224 20223 0 -1 0 61189 0 0 0 43662 343 0 0 25 0 1 0 901196437 16777216 3390 4294967295 134512640 134716908 3221224576 3221222480 1073986748 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4096 3390 1111 63 0 4033 0
vsize: 16384
[startup+450.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25072
Raw data (stat): 25072 (bsolo_lpr-v2) R 25071 20224 20223 0 -1 0 61765 0 0 0 44655 350 0 0 25 0 1 0 901196437 16777216 3390 4294967295 134512640 134716908 3221224576 3221222544 1075809065 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4096 3390 1111 63 0 4033 0
vsize: 16384
[startup+460.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25072
Raw data (stat): 25072 (bsolo_lpr-v2) R 25071 20224 20223 0 -1 0 62335 0 0 0 45650 355 0 0 25 0 1 0 901196437 16777216 3390 4294967295 134512640 134716908 3221224576 3221222888 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4096 3390 1111 63 0 4033 0
vsize: 16384
[startup+470.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25072
Raw data (stat): 25072 (bsolo_lpr-v2) R 25071 20224 20223 0 -1 0 62931 0 0 0 46643 362 0 0 25 0 1 0 901196437 16777216 3390 4294967295 134512640 134716908 3221224576 3221222832 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4096 3390 1111 63 0 4033 0
vsize: 16384
[startup+480.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25072
Raw data (stat): 25072 (bsolo_lpr-v2) R 25071 20224 20223 0 -1 0 63517 0 0 0 47637 368 0 0 25 0 1 0 901196437 16777216 3390 4294967295 134512640 134716908 3221224576 3221222840 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4096 3390 1111 63 0 4033 0
vsize: 16384
[startup+490.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25072
Raw data (stat): 25072 (bsolo_lpr-v2) R 25071 20224 20223 0 -1 0 64125 0 0 0 48632 373 0 0 25 0 1 0 901196437 16777216 3390 4294967295 134512640 134716908 3221224576 3221222304 1075828201 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4096 3390 1111 63 0 4033 0
vsize: 16384
[startup+500.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25072
Raw data (stat): 25072 (bsolo_lpr-v2) R 25071 20224 20223 0 -1 0 64722 0 0 0 49625 381 0 0 25 0 1 0 901196437 16982016 3391 4294967295 134512640 134716908 3221224576 3221220848 1074961126 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4146 3391 1111 63 0 4083 0
vsize: 16584
[startup+510.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25072
Raw data (stat): 25072 (bsolo_lpr-v2) R 25071 20224 20223 0 -1 0 65290 0 0 0 50618 388 0 0 25 0 1 0 901196437 16777216 3390 4294967295 134512640 134716908 3221224576 3221222152 1077410163 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4096 3390 1111 63 0 4033 0
vsize: 16384
[startup+520.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25072
Raw data (stat): 25072 (bsolo_lpr-v2) R 25071 20224 20223 0 -1 0 65857 0 0 0 51614 393 0 0 25 0 1 0 901196437 16777216 3390 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4096 3390 1111 63 0 4033 0
vsize: 16384
[startup+530.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25072
Raw data (stat): 25072 (bsolo_lpr-v2) R 25071 20224 20223 0 -1 0 66441 0 0 0 52607 399 0 0 25 0 1 0 901196437 16777216 3390 4294967295 134512640 134716908 3221224576 3221222872 1074138155 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4096 3390 1111 63 0 4033 0
vsize: 16384
[startup+540.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25072
Raw data (stat): 25072 (bsolo_lpr-v2) R 25071 20224 20223 0 -1 0 67019 0 0 0 53602 405 0 0 25 0 1 0 901196437 16777216 3390 4294967295 134512640 134716908 3221224576 3221222400 1075823363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4096 3390 1111 63 0 4033 0
vsize: 16384
[startup+550.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25072
Raw data (stat): 25072 (bsolo_lpr-v2) R 25071 20224 20223 0 -1 0 67587 0 0 0 54596 410 0 0 25 0 1 0 901196437 16777216 3390 4294967295 134512640 134716908 3221224576 3221223232 134652244 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4096 3390 1111 63 0 4033 0
vsize: 16384
[startup+560.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25072
Raw data (stat): 25072 (bsolo_lpr-v2) R 25071 20224 20223 0 -1 0 68295 0 0 0 55589 418 0 0 25 0 1 0 901196437 16777216 3390 4294967295 134512640 134716908 3221224576 3221222960 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4096 3390 1111 63 0 4033 0
vsize: 16384
[startup+570.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25072
Raw data (stat): 25072 (bsolo_lpr-v2) R 25071 20224 20223 0 -1 0 68974 0 0 0 56583 424 0 0 25 0 1 0 901196437 17006592 3391 4294967295 134512640 134716908 3221224576 3221220540 1074860647 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4152 3391 1111 63 0 4089 0
vsize: 16608
[startup+580.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25072
Raw data (stat): 25072 (bsolo_lpr-v2) R 25071 20224 20223 0 -1 0 69591 0 0 0 57576 432 0 0 25 0 1 0 901196437 16777216 3390 4294967295 134512640 134716908 3221224576 3221222840 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4096 3390 1111 63 0 4033 0
vsize: 16384
[startup+590.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25072
Raw data (stat): 25072 (bsolo_lpr-v2) R 25071 20224 20223 0 -1 0 70220 0 0 0 58569 439 0 0 25 0 1 0 901196437 16777216 3390 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4096 3390 1111 63 0 4033 0
vsize: 16384
[startup+600.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25072
Raw data (stat): 25072 (bsolo_lpr-v2) R 25071 20224 20223 0 -1 0 71569 0 0 0 59560 447 0 0 25 0 1 0 901196437 16777216 3390 4294967295 134512640 134716908 3221224576 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4096 3390 1111 63 0 4033 0
vsize: 16384
[startup+610.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25072
Raw data (stat): 25072 (bsolo_lpr-v2) R 25071 20224 20223 0 -1 0 72485 0 0 0 60554 454 0 0 25 0 1 0 901196437 16777216 3390 4294967295 134512640 134716908 3221224576 3221222960 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4096 3390 1111 63 0 4033 0
vsize: 16384
[startup+620.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25072
Raw data (stat): 25072 (bsolo_lpr-v2) R 25071 20224 20223 0 -1 0 73059 0 0 0 61547 461 0 0 25 0 1 0 901196437 16777216 3390 4294967295 134512640 134716908 3221224576 3221222688 1074867264 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4096 3390 1111 63 0 4033 0
vsize: 16384
[startup+630.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25072
Raw data (stat): 25072 (bsolo_lpr-v2) R 25071 20224 20223 0 -1 0 73779 0 0 0 62540 469 0 0 25 0 1 0 901196437 16777216 3390 4294967295 134512640 134716908 3221224576 3221222496 1075799727 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4096 3390 1111 63 0 4033 0
vsize: 16384
[startup+640.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25072
Raw data (stat): 25072 (bsolo_lpr-v2) R 25071 20224 20223 0 -1 0 74372 0 0 0 63535 474 0 0 25 0 1 0 901196437 16777216 3390 4294967295 134512640 134716908 3221224576 3221222992 1074117062 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4096 3390 1111 63 0 4033 0
vsize: 16384
[startup+650.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25072
Raw data (stat): 25072 (bsolo_lpr-v2) R 25071 20224 20223 0 -1 0 75470 0 0 0 64526 482 0 0 25 0 1 0 901196437 16777216 3390 4294967295 134512640 134716908 3221224576 3221222576 1074056570 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4096 3390 1111 63 0 4033 0
vsize: 16384
[startup+660.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25072
Raw data (stat): 25072 (bsolo_lpr-v2) R 25071 20224 20223 0 -1 0 76042 0 0 0 65521 487 0 0 25 0 1 0 901196437 16777216 3390 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4146 3391 1111 63 0 4083 0
vsize: 16384
[startup+670.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25072
Raw data (stat): 25072 (bsolo_lpr-v2) R 25071 20224 20223 0 -1 0 76598 0 0 0 66514 495 0 0 25 0 1 0 901196437 16777216 3390 4294967295 134512640 134716908 3221224576 3221222936 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4096 3390 1111 63 0 4033 0
vsize: 16384
[startup+680.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25072
Raw data (stat): 25072 (bsolo_lpr-v2) R 25071 20224 20223 0 -1 0 77156 0 0 0 67509 500 0 0 25 0 1 0 901196437 16777216 3390 4294967295 134512640 134716908 3221224576 3221222544 1075961014 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4096 3390 1111 63 0 4033 0
vsize: 16384
[startup+690.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25072
Raw data (stat): 25072 (bsolo_lpr-v2) R 25071 20224 20223 0 -1 0 77726 0 0 0 68503 507 0 0 25 0 1 0 901196437 16777216 3390 4294967295 134512640 134716908 3221224576 3221222928 1074142975 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4096 3390 1111 63 0 4033 0
vsize: 16384
[startup+700.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25072
Raw data (stat): 25072 (bsolo_lpr-v2) R 25071 20224 20223 0 -1 0 78312 0 0 0 69497 512 0 0 25 0 1 0 901196437 16777216 3390 4294967295 134512640 134716908 3221224576 3221222928 1074115298 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4096 3390 1111 63 0 4033 0
vsize: 16384
[startup+710.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25072
Raw data (stat): 25072 (bsolo_lpr-v2) R 25071 20224 20223 0 -1 0 78884 0 0 0 70491 519 0 0 25 0 1 0 901196437 16777216 3390 4294967295 134512640 134716908 3221224576 3221222496 1075799689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4096 3390 1111 63 0 4033 0
vsize: 16384
[startup+720.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25072
Raw data (stat): 25072 (bsolo_lpr-v2) R 25071 20224 20223 0 -1 0 79456 0 0 0 71485 525 0 0 25 0 1 0 901196437 16777216 3390 4294967295 134512640 134716908 3221224576 3221222992 1074116804 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4096 3390 1111 63 0 4033 0
vsize: 16384
[startup+730.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25072
Raw data (stat): 25072 (bsolo_lpr-v2) R 25071 20224 20223 0 -1 0 80050 0 0 0 72480 530 0 0 25 0 1 0 901196437 16777216 3390 4294967295 134512640 134716908 3221224576 3221223008 134652452 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4096 3390 1111 63 0 4033 0
vsize: 16384
[startup+740.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25072
Raw data (stat): 25072 (bsolo_lpr-v2) R 25071 20224 20223 0 -1 0 80610 0 0 0 73475 536 0 0 25 0 1 0 901196437 16777216 3390 4294967295 134512640 134716908 3221224576 3221222912 1073986748 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4096 3390 1111 63 0 4033 0
vsize: 16384
[startup+750.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25072
Raw data (stat): 25072 (bsolo_lpr-v2) R 25071 20224 20223 0 -1 0 81183 0 0 0 74467 543 0 0 25 0 1 0 901196437 16777216 3390 4294967295 134512640 134716908 3221224576 3221222976 1074118815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4096 3390 1111 63 0 4033 0
vsize: 16384
[startup+760.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25072
Raw data (stat): 25072 (bsolo_lpr-v2) R 25071 20224 20223 0 -1 0 81764 0 0 0 75462 549 0 0 25 0 1 0 901196437 16777216 3390 4294967295 134512640 134716908 3221224576 3221222756 1077782939 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4096 3390 1111 63 0 4033 0
vsize: 16384
[startup+770.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25072
Raw data (stat): 25072 (bsolo_lpr-v2) R 25071 20224 20223 0 -1 0 82362 0 0 0 76457 554 0 0 25 0 1 0 901196437 16777216 3390 4294967295 134512640 134716908 3221224576 3221222576 1074918526 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4096 3390 1111 63 0 4033 0
vsize: 16384
[startup+780.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25072
Raw data (stat): 25072 (bsolo_lpr-v2) R 25071 20224 20223 0 -1 0 82956 0 0 0 77450 561 0 0 25 0 1 0 901196437 16777216 3390 4294967295 134512640 134716908 3221224576 3221222456 1077380592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4096 3390 1111 63 0 4033 0
vsize: 16384
[startup+790.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25072
Raw data (stat): 25072 (bsolo_lpr-v2) R 25071 20224 20223 0 -1 0 83610 0 0 0 78443 568 0 0 25 0 1 0 901196437 16777216 3390 4294967295 134512640 134716908 3221224576 3221222688 1074867200 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4096 3390 1111 63 0 4033 0
vsize: 16384
[startup+800.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25072
Raw data (stat): 25072 (bsolo_lpr-v2) R 25071 20224 20223 0 -1 0 84181 0 0 0 79436 575 0 0 25 0 1 0 901196437 17006592 3391 4294967295 134512640 134716908 3221224576 3221220840 1074950114 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4152 3391 1111 63 0 4089 0
vsize: 16608
[startup+810.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25072
Raw data (stat): 25072 (bsolo_lpr-v2) R 25071 20224 20223 0 -1 0 84758 0 0 0 80428 582 0 0 25 0 1 0 901196437 16777216 3390 4294967295 134512640 134716908 3221224576 3221222888 1074138144 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4096 3390 1111 63 0 4033 0
vsize: 16384
[startup+820.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25072
Raw data (stat): 25072 (bsolo_lpr-v2) R 25071 20224 20223 0 -1 0 85350 0 0 0 81422 588 0 0 25 0 1 0 901196437 16777216 3390 4294967295 134512640 134716908 3221224576 3221222976 1074153596 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4096 3390 1111 63 0 4033 0
vsize: 16384
[startup+830.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25072
Raw data (stat): 25072 (bsolo_lpr-v2) R 25071 20224 20223 0 -1 0 85970 0 0 0 82415 596 0 0 25 0 1 0 901196437 16777216 3390 4294967295 134512640 134716908 3221224576 3221222400 1075824339 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4096 3390 1111 63 0 4033 0
vsize: 16384
[startup+840.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25072
Raw data (stat): 25072 (bsolo_lpr-v2) R 25071 20224 20223 0 -1 0 86560 0 0 0 83410 601 0 0 25 0 1 0 901196437 16777216 3390 4294967295 134512640 134716908 3221224576 3221222792 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4096 3390 1111 63 0 4033 0
vsize: 16384
[startup+850.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25072
Raw data (stat): 25072 (bsolo_lpr-v2) R 25071 20224 20223 0 -1 0 87158 0 0 0 84403 608 0 0 25 0 1 0 901196437 16777216 3390 4294967295 134512640 134716908 3221224576 3221222540 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4096 3390 1111 63 0 4033 0
vsize: 16384
[startup+860.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25072
Raw data (stat): 25072 (bsolo_lpr-v2) R 25071 20224 20223 0 -1 0 87732 0 0 0 85396 615 0 0 25 0 1 0 901196437 16777216 3390 4294967295 134512640 134716908 3221224576 3221222960 1074153736 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4096 3390 1111 63 0 4033 0
vsize: 16384
[startup+870.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25072
Raw data (stat): 25072 (bsolo_lpr-v2) R 25071 20224 20223 0 -1 0 88316 0 0 0 86391 621 0 0 25 0 1 0 901196437 16777216 3390 4294967295 134512640 134716908 3221224576 3221222888 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4096 3390 1111 63 0 4033 0
vsize: 16384
[startup+880.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25072
Raw data (stat): 25072 (bsolo_lpr-v2) R 25071 20224 20223 0 -1 0 88918 0 0 0 87384 628 0 0 25 0 1 0 901196437 16932864 3391 4294967295 134512640 134716908 3221224576 3221221560 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4096 3390 1111 63 0 4033 0
vsize: 16536
[startup+890.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25072
Raw data (stat): 25072 (bsolo_lpr-v2) R 25071 20224 20223 0 -1 0 89512 0 0 0 88376 636 0 0 25 0 1 0 901196437 16777216 3390 4294967295 134512640 134716908 3221224576 3221222976 1074118790 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4096 3390 1111 63 0 4033 0
vsize: 16384
[startup+900.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25072
Raw data (stat): 25072 (bsolo_lpr-v2) R 25071 20224 20223 0 -1 0 90190 0 0 0 89367 645 0 0 25 0 1 0 901196437 16777216 3390 4294967295 134512640 134716908 3221224576 3221222496 1075799526 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4096 3390 1111 63 0 4033 0
vsize: 16384
[startup+910.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25072
Raw data (stat): 25072 (bsolo_lpr-v2) R 25071 20224 20223 0 -1 0 90838 0 0 0 90361 651 0 0 25 0 1 0 901196437 16777216 3390 4294967295 134512640 134716908 3221224576 3221222976 1074119066 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4096 3390 1111 63 0 4033 0
vsize: 16384
[startup+920.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25072
Raw data (stat): 25072 (bsolo_lpr-v2) R 25071 20224 20223 0 -1 0 91452 0 0 0 91354 658 0 0 25 0 1 0 901196437 16777216 3390 4294967295 134512640 134716908 3221224576 3221222224 1075818352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4096 3390 1111 63 0 4033 0
vsize: 16384
[startup+930.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25072
Raw data (stat): 25072 (bsolo_lpr-v2) R 25071 20224 20223 0 -1 0 92028 0 0 0 92348 664 0 0 25 0 1 0 901196437 16777216 3390 4294967295 134512640 134716908 3221224576 3221222888 1074138158 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4096 3390 1111 63 0 4033 0
vsize: 16384
[startup+940.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25072
Raw data (stat): 25072 (bsolo_lpr-v2) R 25071 20224 20223 0 -1 0 92614 0 0 0 93342 671 0 0 25 0 1 0 901196437 16777216 3390 4294967295 134512640 134716908 3221224576 3221222304 1075828548 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4096 3390 1111 63 0 4033 0
vsize: 16384
[startup+950.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25072
Raw data (stat): 25072 (bsolo_lpr-v2) R 25071 20224 20223 0 -1 0 93174 0 0 0 94335 678 0 0 25 0 1 0 901196437 16777216 3390 4294967295 134512640 134716908 3221224576 3221222360 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4096 3390 1111 63 0 4033 0
vsize: 16384
[startup+960.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25072
Raw data (stat): 25072 (bsolo_lpr-v2) R 25071 20224 20223 0 -1 0 93806 0 0 0 95328 685 0 0 25 0 1 0 901196437 16777216 3390 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4096 3390 1111 63 0 4033 0
vsize: 16384
[startup+970.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25072
Raw data (stat): 25072 (bsolo_lpr-v2) R 25071 20224 20223 0 -1 0 94412 0 0 0 96321 692 0 0 25 0 1 0 901196437 16777216 3390 4294967295 134512640 134716908 3221224576 3221222552 1077377368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4096 3390 1111 63 0 4033 0
vsize: 16384
[startup+980.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25072
Raw data (stat): 25072 (bsolo_lpr-v2) R 25071 20224 20223 0 -1 0 94974 0 0 0 97316 698 0 0 25 0 1 0 901196437 16777216 3390 4294967295 134512640 134716908 3221224576 3221222928 1074142962 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4096 3390 1111 63 0 4033 0
vsize: 16384
[startup+990.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25072
Raw data (stat): 25072 (bsolo_lpr-v2) R 25071 20224 20223 0 -1 0 95570 0 0 0 98309 704 0 0 25 0 1 0 901196437 16777216 3390 4294967295 134512640 134716908 3221224576 3221222976 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4096 3390 1111 63 0 4033 0
vsize: 16384
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25072
Raw data (stat): 25072 (bsolo_lpr-v2) R 25071 20224 20223 0 -1 0 96149 0 0 0 99304 710 0 0 25 0 1 0 901196437 16777216 3390 4294967295 134512640 134716908 3221224576 3221223024 1073990110 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4096 3390 1111 63 0 4033 0
vsize: 16384
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25072
Raw data (stat): 25072 (bsolo_lpr-v2) R 25071 20224 20223 0 -1 0 96725 0 0 0 100298 716 0 0 25 0 1 0 901196437 16777216 3390 4294967295 134512640 134716908 3221224576 3221222320 1075645378 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4096 3390 1111 63 0 4033 0
vsize: 16384
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25072
Raw data (stat): 25072 (bsolo_lpr-v2) R 25071 20224 20223 0 -1 0 97306 0 0 0 101293 721 0 0 25 0 1 0 901196437 16777216 3390 4294967295 134512640 134716908 3221224576 3221222912 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4096 3390 1111 63 0 4033 0
vsize: 16384
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25072
Raw data (stat): 25072 (bsolo_lpr-v2) R 25071 20224 20223 0 -1 0 97912 0 0 0 102287 727 0 0 25 0 1 0 901196437 16777216 3390 4294967295 134512640 134716908 3221224576 3221222992 1074116553 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4096 3390 1111 63 0 4033 0
vsize: 16384
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25072
Raw data (stat): 25072 (bsolo_lpr-v2) R 25071 20224 20223 0 -1 0 98515 0 0 0 103281 733 0 0 25 0 1 0 901196437 16777216 3390 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4096 3390 1111 63 0 4033 0
vsize: 16384
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25072
Raw data (stat): 25072 (bsolo_lpr-v2) R 25071 20224 20223 0 -1 0 99096 0 0 0 104274 741 0 0 25 0 1 0 901196437 16777216 3390 4294967295 134512640 134716908 3221224576 3221222872 1074138155 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4096 3390 1111 63 0 4033 0
vsize: 16384
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25072
Raw data (stat): 25072 (bsolo_lpr-v2) R 25071 20224 20223 0 -1 0 99690 0 0 0 105267 748 0 0 25 0 1 0 901196437 16777216 3390 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4096 3390 1111 63 0 4033 0
vsize: 16384
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25072
Raw data (stat): 25072 (bsolo_lpr-v2) R 25071 20224 20223 0 -1 0 100290 0 0 0 106260 755 0 0 25 0 1 0 901196437 16777216 3390 4294967295 134512640 134716908 3221224576 3221223168 134543686 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4096 3390 1111 63 0 4033 0
vsize: 16384
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25072
Raw data (stat): 25072 (bsolo_lpr-v2) R 25071 20224 20223 0 -1 0 100888 0 0 0 107252 764 0 0 25 0 1 0 901196437 16777216 3390 4294967295 134512640 134716908 3221224576 3221222888 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4096 3390 1111 63 0 4033 0
vsize: 16384
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25072
Raw data (stat): 25072 (bsolo_lpr-v2) R 25071 20224 20223 0 -1 0 101446 0 0 0 108245 770 0 0 25 0 1 0 901196437 16777216 3390 4294967295 134512640 134716908 3221224576 3221223344 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4096 3390 1111 63 0 4033 0
vsize: 16384
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25072
Raw data (stat): 25072 (bsolo_lpr-v2) R 25071 20224 20223 0 -1 0 102000 0 0 0 109237 778 0 0 25 0 1 0 901196437 16777216 3390 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4096 3390 1111 63 0 4033 0
vsize: 16384
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25072
Raw data (stat): 25072 (bsolo_lpr-v2) R 25071 20224 20223 0 -1 0 102579 0 0 0 110231 785 0 0 25 0 1 0 901196437 16982016 3391 4294967295 134512640 134716908 3221224576 3221221468 1077386340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4146 3391 1111 63 0 4083 0
vsize: 16584
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25072
Raw data (stat): 25072 (bsolo_lpr-v2) R 25071 20224 20223 0 -1 0 103144 0 0 0 111224 792 0 0 25 0 1 0 901196437 16777216 3390 4294967295 134512640 134716908 3221224576 3221222600 1077380184 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4096 3390 1111 63 0 4033 0
vsize: 16384
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25072
Raw data (stat): 25072 (bsolo_lpr-v2) R 25071 20224 20223 0 -1 0 103716 0 0 0 112216 800 0 0 25 0 1 0 901196437 16777216 3390 4294967295 134512640 134716908 3221224576 3221222520 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4096 3390 1111 63 0 4033 0
vsize: 16384
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25072
Raw data (stat): 25072 (bsolo_lpr-v2) R 25071 20224 20223 0 -1 0 104315 0 0 0 113210 806 0 0 25 0 1 0 901196437 16777216 3390 4294967295 134512640 134716908 3221224576 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4096 3390 1111 63 0 4033 0
vsize: 16384
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25072
Raw data (stat): 25072 (bsolo_lpr-v2) R 25071 20224 20223 0 -1 0 104881 0 0 0 114204 812 0 0 25 0 1 0 901196437 16982016 3391 4294967295 134512640 134716908 3221224576 3221220892 1074960596 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4146 3391 1111 63 0 4083 0
vsize: 16584
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25072
Raw data (stat): 25072 (bsolo_lpr-v2) R 25071 20224 20223 0 -1 0 105432 0 0 0 115199 818 0 0 25 0 1 0 901196437 16777216 3390 4294967295 134512640 134716908 3221224576 3221222936 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4096 3390 1111 63 0 4033 0
vsize: 16384
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25072
Raw data (stat): 25072 (bsolo_lpr-v2) R 25071 20224 20223 0 -1 0 106021 0 0 0 116192 825 0 0 25 0 1 0 901196437 16777216 3390 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4096 3390 1111 63 0 4033 0
vsize: 16384
[startup+1174.88 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 25072
Raw data (stat): 25072 (bsolo_lpr-v2) R 25071 20224 20223 0 -1 0 106021 0 0 0 116192 825 0 0 25 0 1 0 901196437 16777216 3390 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4096 3390 1111 63 0 4033 0
vsize: 0

Child status: 0
Real time (s): 1174.88
CPU time (s): 1175.03
CPU user time (s): 1166.73
CPU system time (s): 8.29174
CPU usage (%): 100.012
Max. virtual memory (Kb): 16608
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####