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/MIPLIB/miplib2003/normalized-mps-v2-13-7-tr12-30.opb
MD5SUM	2d8f46b77d84c45a7178d4a463744176
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	7560
Biggest coefficient in the objective function	2097152
Number of bits for the biggest coefficient in the objective function	22
Sum of the numbers in the objective function	876993750
Number of bits of the sum of numbers in the objective function	30
Biggest number in a constraint	2097152
Number of bits of the biggest number in a constraint	22
Biggest sum of numbers in a constraint	876993750
Number of bits of the biggest sum of numbers	30
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.128979
Number of variables	14760
Total number of constraints	1110
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	360
Number of constraints which are nor clauses,nor cardinality constraints	750
Minimum length of a constraint	1
Maximum length of a constraint	252
Trace number 25716

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-21 23:04:27 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=18097 boxname=wulflinc31 idbench=1393 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  2d8f46b77d84c45a7178d4a463744176  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-tr12-30.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-tr12-30.opb
IDLAUNCH: 18097
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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	: 3
cpu MHz		: 451.153
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        822452 kB
Buffers:         25436 kB
Cached:         163864 kB
SwapCached:        964 kB
Active:         131860 kB
Inactive:        59636 kB
HighTotal:      131008 kB
HighFree:        33656 kB
LowTotal:       903652 kB
LowFree:        788796 kB
SwapTotal:     2097892 kB
SwapFree:      2095964 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5096 kB
Slab:            15180 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-21 23:24:03 (client local time) WITH STATUS 0 IN 1175.18 SECONDS
stats: 18097 7 1175.18 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 14760 variables and 1110 constraints.
c After prepocess the problem consists of 13992 variables and 1183 constraints.
c preprocess terminated 13.815 s
c Initial Lower Bound: 2319895
c Lower Bound Elapsed time: 10.6177
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.04 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
Raw data (loadavg): 0.83 0.94 0.98 2/55 17181
Raw data (stat): 17181 (runsolver) R 17180 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 808113414 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0002 s]
Raw data (loadavg): 0.85 0.94 0.98 2/55 17181
Raw data (stat): 17181 (bsolo_lpr) R 17180 7876 7672 0 -1 0 16059 0 0 0 957 38 0 0 25 0 1 0 808113414 68841472 15892 4294967295 134512640 134714508 3221221776 3221220268 134543616 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16807 15892 1111 63 0 16744 0
vsize: 67228
[startup+20 s]
Raw data (loadavg): 0.88 0.94 0.98 2/55 17181
Raw data (stat): 17181 (bsolo_lpr) R 17180 7876 7672 0 -1 0 19531 0 0 0 1948 47 0 0 25 0 1 0 808113414 73474048 17094 4294967295 134512640 134714508 3221221776 3221220144 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17938 17097 1111 63 0 17875 0
vsize: 71752
[startup+30.002 s]
Raw data (loadavg): 0.89 0.94 0.98 2/55 17181
Raw data (stat): 17181 (bsolo_lpr) R 17180 7876 7672 0 -1 0 46858 0 0 0 2887 108 0 0 25 0 1 0 808113414 153878528 36732 4294967295 134512640 134714508 3221221776 3221220144 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37568 36735 1111 63 0 37505 0
vsize: 150272
[startup+40.0024 s]
Raw data (loadavg): 0.91 0.94 0.98 2/55 17181
Raw data (stat): 17181 (bsolo_lpr) R 17180 7876 7672 0 -1 0 73319 0 0 0 3829 166 0 0 25 0 1 0 808113414 230686720 55526 4294967295 134512640 134714508 3221221776 3221219848 1074950114 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 56320 55526 1111 63 0 56257 0
vsize: 225280
[startup+50.0034 s]
Raw data (loadavg): 0.92 0.95 0.98 2/55 17181
Raw data (stat): 17181 (bsolo_lpr) R 17180 7876 7672 0 -1 0 86076 0 0 0 4801 194 0 0 25 0 1 0 808113414 266293248 64187 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65013 64187 1111 63 0 64950 0
vsize: 260052
[startup+60.0041 s]
Raw data (loadavg): 0.93 0.95 0.98 2/55 17181
Raw data (stat): 17181 (bsolo_lpr) R 17180 7876 7672 0 -1 0 86077 0 0 0 5801 194 0 0 25 0 1 0 808113414 266293248 64188 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65013 64188 1111 63 0 64950 0
vsize: 260052
[startup+70.0039 s]
Raw data (loadavg): 0.94 0.95 0.98 2/55 17181
Raw data (stat): 17181 (bsolo_lpr) R 17180 7876 7672 0 -1 0 86077 0 0 0 6801 195 0 0 25 0 1 0 808113414 266293248 64188 4294967295 134512640 134714508 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65013 64188 1111 63 0 64950 0
vsize: 260052
[startup+80.0049 s]
Raw data (loadavg): 0.95 0.95 0.98 2/55 17181
Raw data (stat): 17181 (bsolo_lpr) R 17180 7876 7672 0 -1 0 86077 0 0 0 7801 195 0 0 25 0 1 0 808113414 266293248 64188 4294967295 134512640 134714508 3221221776 3221220384 134549334 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65013 64188 1111 63 0 64950 0
vsize: 260052
[startup+90.0049 s]
Raw data (loadavg): 0.96 0.95 0.98 2/55 17183
Raw data (stat): 17181 (bsolo_lpr) R 17180 7876 7672 0 -1 0 86077 0 0 0 8801 195 0 0 25 0 1 0 808113414 266293248 64188 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65013 64188 1111 63 0 64950 0
vsize: 260052
[startup+100.006 s]
Raw data (loadavg): 0.97 0.95 0.98 2/55 17183
Raw data (stat): 17181 (bsolo_lpr) R 17180 7876 7672 0 -1 0 86077 0 0 0 9801 195 0 0 25 0 1 0 808113414 266293248 64188 4294967295 134512640 134714508 3221221776 3221220384 134549467 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65013 64188 1111 63 0 64950 0
vsize: 260052
[startup+110.007 s]
Raw data (loadavg): 0.97 0.95 0.98 2/55 17183
Raw data (stat): 17181 (bsolo_lpr) R 17180 7876 7672 0 -1 0 86077 0 0 0 10801 195 0 0 25 0 1 0 808113414 266293248 64188 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65013 64188 1111 63 0 64950 0
vsize: 260052
[startup+120.008 s]
Raw data (loadavg): 0.97 0.95 0.98 2/55 17183
Raw data (stat): 17181 (bsolo_lpr) R 17180 7876 7672 0 -1 0 86077 0 0 0 11802 195 0 0 25 0 1 0 808113414 266293248 64188 4294967295 134512640 134714508 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65013 64188 1111 63 0 64950 0
vsize: 260052
[startup+130.009 s]
Raw data (loadavg): 0.98 0.95 0.98 2/55 17183
Raw data (stat): 17181 (bsolo_lpr) R 17180 7876 7672 0 -1 0 86077 0 0 0 12802 195 0 0 25 0 1 0 808113414 266293248 64188 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65013 64188 1111 63 0 64950 0
vsize: 260052
[startup+140.008 s]
Raw data (loadavg): 0.98 0.95 0.98 2/55 17183
Raw data (stat): 17181 (bsolo_lpr) R 17180 7876 7672 0 -1 0 86077 0 0 0 13802 195 0 0 25 0 1 0 808113414 266293248 64188 4294967295 134512640 134714508 3221221776 3221220592 134590077 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65013 64188 1111 63 0 64950 0
vsize: 260052
[startup+150.009 s]
Raw data (loadavg): 0.98 0.95 0.98 2/55 17183
Raw data (stat): 17181 (bsolo_lpr) R 17180 7876 7672 0 -1 0 86083 0 0 0 14802 195 0 0 25 0 1 0 808113414 266293248 64194 4294967295 134512640 134714508 3221221776 3221220552 134600364 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65013 64194 1111 63 0 64950 0
vsize: 260052
[startup+160.009 s]
Raw data (loadavg): 0.98 0.96 0.98 2/55 17183
Raw data (stat): 17181 (bsolo_lpr) R 17180 7876 7672 0 -1 0 86091 0 0 0 15802 196 0 0 25 0 1 0 808113414 266293248 64202 4294967295 134512640 134714508 3221221776 3221220384 134549457 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65013 64202 1111 63 0 64950 0
vsize: 260052
[startup+170.01 s]
Raw data (loadavg): 0.99 0.96 0.98 2/55 17183
Raw data (stat): 17181 (bsolo_lpr) R 17180 7876 7672 0 -1 0 86104 0 0 0 16801 196 0 0 25 0 1 0 808113414 266293248 64215 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65013 64215 1111 63 0 64950 0
vsize: 260052
[startup+180.01 s]
Raw data (loadavg): 0.99 0.96 0.98 2/55 17183
Raw data (stat): 17181 (bsolo_lpr) R 17180 7876 7672 0 -1 0 86104 0 0 0 17801 196 0 0 25 0 1 0 808113414 266293248 64215 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65013 64215 1111 63 0 64950 0
vsize: 260052
[startup+190.011 s]
Raw data (loadavg): 0.99 0.96 0.98 2/55 17183
Raw data (stat): 17181 (bsolo_lpr) R 17180 7876 7672 0 -1 0 86106 0 0 0 18801 196 0 0 25 0 1 0 808113414 266293248 64217 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65013 64217 1111 63 0 64950 0
vsize: 260052
[startup+200.012 s]
Raw data (loadavg): 0.99 0.96 0.98 2/55 17183
Raw data (stat): 17181 (bsolo_lpr) R 17180 7876 7672 0 -1 0 86112 0 0 0 19801 197 0 0 25 0 1 0 808113414 266428416 64223 4294967295 134512640 134714508 3221221776 3221220608 134551454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65046 64223 1111 63 0 64983 0
vsize: 260184
[startup+210.012 s]
Raw data (loadavg): 0.99 0.96 0.98 2/55 17183
Raw data (stat): 17181 (bsolo_lpr) R 17180 7876 7672 0 -1 0 86120 0 0 0 20801 197 0 0 25 0 1 0 808113414 266428416 64231 4294967295 134512640 134714508 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65046 64231 1111 63 0 64983 0
vsize: 260184
[startup+220.012 s]
Raw data (loadavg): 0.99 0.96 0.98 2/55 17183
Raw data (stat): 17181 (bsolo_lpr) R 17180 7876 7672 0 -1 0 86138 0 0 0 21801 197 0 0 25 0 1 0 808113414 266428416 64249 4294967295 134512640 134714508 3221221776 3221220568 134597609 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65046 64249 1111 63 0 64983 0
vsize: 260184
[startup+230.013 s]
Raw data (loadavg): 0.99 0.96 0.98 2/55 17183
Raw data (stat): 17181 (bsolo_lpr) R 17180 7876 7672 0 -1 0 86138 0 0 0 22801 197 0 0 25 0 1 0 808113414 266428416 64249 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65046 64249 1111 63 0 64983 0
vsize: 260184
[startup+240.014 s]
Raw data (loadavg): 0.99 0.96 0.98 2/55 17183
Raw data (stat): 17181 (bsolo_lpr) R 17180 7876 7672 0 -1 0 86144 0 0 0 23801 198 0 0 25 0 1 0 808113414 266563584 64255 4294967295 134512640 134714508 3221221776 3221220528 134587951 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65079 64255 1111 63 0 65016 0
vsize: 260316
[startup+250.015 s]
Raw data (loadavg): 0.99 0.96 0.98 2/55 17183
Raw data (stat): 17181 (bsolo_lpr) R 17180 7876 7672 0 -1 0 86154 0 0 0 24801 198 0 0 25 0 1 0 808113414 266563584 64265 4294967295 134512640 134714508 3221221776 3221220404 1077374110 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65079 64265 1111 63 0 65016 0
vsize: 260316
[startup+260.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 17183
Raw data (stat): 17181 (bsolo_lpr) R 17180 7876 7672 0 -1 0 86158 0 0 0 25801 198 0 0 25 0 1 0 808113414 266563584 64269 4294967295 134512640 134714508 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65079 64269 1111 63 0 65016 0
vsize: 260316
[startup+270.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 17183
Raw data (stat): 17181 (bsolo_lpr) R 17180 7876 7672 0 -1 0 86171 0 0 0 26801 198 0 0 25 0 1 0 808113414 266563584 64282 4294967295 134512640 134714508 3221221776 3221220384 134549313 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65079 64282 1111 63 0 65016 0
vsize: 260316
[startup+280.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 17183
Raw data (stat): 17181 (bsolo_lpr) R 17180 7876 7672 0 -1 0 86180 0 0 0 27801 198 0 0 25 0 1 0 808113414 266698752 64291 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65112 64291 1111 63 0 65049 0
vsize: 260448
[startup+290.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 17183
Raw data (stat): 17181 (bsolo_lpr) R 17180 7876 7672 0 -1 0 86180 0 0 0 28801 199 0 0 25 0 1 0 808113414 266698752 64291 4294967295 134512640 134714508 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65112 64291 1111 63 0 65049 0
vsize: 260448
[startup+300.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 17183
Raw data (stat): 17181 (bsolo_lpr) R 17180 7876 7672 0 -1 0 86186 0 0 0 29801 199 0 0 25 0 1 0 808113414 266698752 64297 4294967295 134512640 134714508 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65112 64297 1111 63 0 65049 0
vsize: 260448
[startup+310.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 17183
Raw data (stat): 17181 (bsolo_lpr) R 17180 7876 7672 0 -1 0 86187 0 0 0 30801 199 0 0 25 0 1 0 808113414 266698752 64298 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65112 64298 1111 63 0 65049 0
vsize: 260448
[startup+320.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 17183
Raw data (stat): 17181 (bsolo_lpr) R 17180 7876 7672 0 -1 0 86200 0 0 0 31801 199 0 0 25 0 1 0 808113414 266698752 64311 4294967295 134512640 134714508 3221221776 3221220576 134597597 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65112 64311 1111 63 0 65049 0
vsize: 260448
[startup+330.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 17183
Raw data (stat): 17181 (bsolo_lpr) R 17180 7876 7672 0 -1 0 86211 0 0 0 32801 199 0 0 25 0 1 0 808113414 266833920 64322 4294967295 134512640 134714508 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65145 64322 1111 63 0 65082 0
vsize: 260580
[startup+340.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 17183
Raw data (stat): 17181 (bsolo_lpr) R 17180 7876 7672 0 -1 0 86213 0 0 0 33801 200 0 0 25 0 1 0 808113414 266833920 64324 4294967295 134512640 134714508 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65145 64324 1111 63 0 65082 0
vsize: 260580
[startup+350.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 17183
Raw data (stat): 17181 (bsolo_lpr) R 17180 7876 7672 0 -1 0 86218 0 0 0 34801 200 0 0 25 0 1 0 808113414 266833920 64329 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65145 64329 1111 63 0 65082 0
vsize: 260580
[startup+360.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 17183
Raw data (stat): 17181 (bsolo_lpr) R 17180 7876 7672 0 -1 0 86229 0 0 0 35801 200 0 0 25 0 1 0 808113414 266833920 64340 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65145 64340 1111 63 0 65082 0
vsize: 260580
[startup+370.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 17183
Raw data (stat): 17181 (bsolo_lpr) R 17180 7876 7672 0 -1 0 86236 0 0 0 36801 201 0 0 25 0 1 0 808113414 266833920 64347 4294967295 134512640 134714508 3221221776 3221220384 134549457 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65145 64347 1111 63 0 65082 0
vsize: 260580
[startup+380.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 17183
Raw data (stat): 17181 (bsolo_lpr) R 17180 7876 7672 0 -1 0 86242 0 0 0 37801 201 0 0 25 0 1 0 808113414 266969088 64353 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65178 64353 1111 63 0 65115 0
vsize: 260712
[startup+390.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 17183
Raw data (stat): 17181 (bsolo_lpr) R 17180 7876 7672 0 -1 0 86248 0 0 0 38801 201 0 0 25 0 1 0 808113414 266969088 64359 4294967295 134512640 134714508 3221221776 3221220384 134549313 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65178 64359 1111 63 0 65115 0
vsize: 260712
[startup+400.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 17183
Raw data (stat): 17181 (bsolo_lpr) R 17180 7876 7672 0 -1 0 86248 0 0 0 39801 201 0 0 25 0 1 0 808113414 266969088 64359 4294967295 134512640 134714508 3221221776 3221220384 134549313 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65178 64359 1111 63 0 65115 0
vsize: 260712
[startup+410.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 17183
Raw data (stat): 17181 (bsolo_lpr) R 17180 7876 7672 0 -1 0 86258 0 0 0 40801 201 0 0 25 0 1 0 808113414 266969088 64369 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65178 64369 1111 63 0 65115 0
vsize: 260712
[startup+420.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 17183
Raw data (stat): 17181 (bsolo_lpr) R 17180 7876 7672 0 -1 0 86259 0 0 0 41801 202 0 0 25 0 1 0 808113414 266969088 64370 4294967295 134512640 134714508 3221221776 3221220552 134613535 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65178 64370 1111 63 0 65115 0
vsize: 260712
[startup+430.024 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 17183
Raw data (stat): 17181 (bsolo_lpr) R 17180 7876 7672 0 -1 0 86271 0 0 0 42801 202 0 0 25 0 1 0 808113414 266969088 64382 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65178 64382 1111 63 0 65115 0
vsize: 260712
[startup+440.024 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 17183
Raw data (stat): 17181 (bsolo_lpr) R 17180 7876 7672 0 -1 0 86283 0 0 0 43801 202 0 0 25 0 1 0 808113414 267104256 64394 4294967295 134512640 134714508 3221221776 3221220384 134549467 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65211 64394 1111 63 0 65148 0
vsize: 260844
[startup+450.024 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 17183
Raw data (stat): 17181 (bsolo_lpr) R 17180 7876 7672 0 -1 0 86284 0 0 0 44801 202 0 0 25 0 1 0 808113414 267104256 64395 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65211 64395 1111 63 0 65148 0
vsize: 260844
[startup+460.024 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 17183
Raw data (stat): 17181 (bsolo_lpr) R 17180 7876 7672 0 -1 0 86289 0 0 0 45801 203 0 0 25 0 1 0 808113414 267104256 64400 4294967295 134512640 134714508 3221221776 3221220576 134597777 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65211 64400 1111 63 0 65148 0
vsize: 260844
[startup+470.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 17183
Raw data (stat): 17181 (bsolo_lpr) R 17180 7876 7672 0 -1 0 86297 0 0 0 46801 203 0 0 25 0 1 0 808113414 267104256 64408 4294967295 134512640 134714508 3221221776 3221220552 134613535 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65211 64408 1111 63 0 65148 0
vsize: 260844
[startup+480.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 17183
Raw data (stat): 17181 (bsolo_lpr) R 17180 7876 7672 0 -1 0 86305 0 0 0 47801 203 0 0 25 0 1 0 808113414 267104256 64416 4294967295 134512640 134714508 3221221776 3221220384 134549305 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65211 64416 1111 63 0 65148 0
vsize: 260844
[startup+490.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 17183
Raw data (stat): 17181 (bsolo_lpr) R 17180 7876 7672 0 -1 0 86322 0 0 0 48801 203 0 0 25 0 1 0 808113414 267239424 64433 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65244 64433 1111 63 0 65181 0
vsize: 260976
[startup+500.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 17183
Raw data (stat): 17181 (bsolo_lpr) R 17180 7876 7672 0 -1 0 86322 0 0 0 49801 204 0 0 25 0 1 0 808113414 267239424 64433 4294967295 134512640 134714508 3221221776 3221220552 134600364 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65244 64433 1111 63 0 65181 0
vsize: 260976
[startup+510.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 17183
Raw data (stat): 17181 (bsolo_lpr) R 17180 7876 7672 0 -1 0 86322 0 0 0 50801 204 0 0 25 0 1 0 808113414 267239424 64433 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65244 64433 1111 63 0 65181 0
vsize: 260976
[startup+520.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 17183
Raw data (stat): 17181 (bsolo_lpr) R 17180 7876 7672 0 -1 0 86322 0 0 0 51801 204 0 0 25 0 1 0 808113414 267239424 64433 4294967295 134512640 134714508 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65244 64433 1111 63 0 65181 0
vsize: 260976
[startup+530.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 17183
Raw data (stat): 17181 (bsolo_lpr) R 17180 7876 7672 0 -1 0 86322 0 0 0 52801 204 0 0 25 0 1 0 808113414 267239424 64433 4294967295 134512640 134714508 3221221776 3221220384 134549313 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65244 64433 1111 63 0 65181 0
vsize: 260976
[startup+540.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 17183
Raw data (stat): 17181 (bsolo_lpr) R 17180 7876 7672 0 -1 0 86334 0 0 0 53801 204 0 0 25 0 1 0 808113414 267239424 64445 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65244 64445 1111 63 0 65181 0
vsize: 260976
[startup+550.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 17183
Raw data (stat): 17181 (bsolo_lpr) R 17180 7876 7672 0 -1 0 86343 0 0 0 54801 205 0 0 25 0 1 0 808113414 267374592 64454 4294967295 134512640 134714508 3221221776 3221220416 134613454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65277 64454 1111 63 0 65214 0
vsize: 261108
[startup+560.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 17183
Raw data (stat): 17181 (bsolo_lpr) R 17180 7876 7672 0 -1 0 86344 0 0 0 55801 205 0 0 25 0 1 0 808113414 267374592 64455 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65277 64455 1111 63 0 65214 0
vsize: 261108
[startup+570.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 17183
Raw data (stat): 17181 (bsolo_lpr) R 17180 7876 7672 0 -1 0 86353 0 0 0 56801 205 0 0 25 0 1 0 808113414 267374592 64464 4294967295 134512640 134714508 3221221776 3221220384 134549474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65277 64464 1111 63 0 65214 0
vsize: 261108
[startup+580.031 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 17183
Raw data (stat): 17181 (bsolo_lpr) R 17180 7876 7672 0 -1 0 86357 0 0 0 57801 205 0 0 25 0 1 0 808113414 267374592 64468 4294967295 134512640 134714508 3221221776 3221220560 134584919 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65277 64468 1111 63 0 65214 0
vsize: 261108
[startup+590.031 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 17183
Raw data (stat): 17181 (bsolo_lpr) R 17180 7876 7672 0 -1 0 86363 0 0 0 58800 206 0 0 25 0 1 0 808113414 267374592 64474 4294967295 134512640 134714508 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65277 64474 1111 63 0 65214 0
vsize: 261108
[startup+600.031 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 17183
Raw data (stat): 17181 (bsolo_lpr) R 17180 7876 7672 0 -1 0 86381 0 0 0 59800 206 0 0 25 0 1 0 808113414 267509760 64492 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65310 64492 1111 63 0 65247 0
vsize: 261240
[startup+610.032 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 17183
Raw data (stat): 17181 (bsolo_lpr) R 17180 7876 7672 0 -1 0 86381 0 0 0 60800 206 0 0 25 0 1 0 808113414 267509760 64492 4294967295 134512640 134714508 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65310 64492 1111 63 0 65247 0
vsize: 261240
[startup+620.032 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 17183
Raw data (stat): 17181 (bsolo_lpr) R 17180 7876 7672 0 -1 0 86381 0 0 0 61800 207 0 0 25 0 1 0 808113414 267509760 64492 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65310 64492 1111 63 0 65247 0
vsize: 261240
[startup+630.033 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 17183
Raw data (stat): 17181 (bsolo_lpr) R 17180 7876 7672 0 -1 0 86390 0 0 0 62800 207 0 0 25 0 1 0 808113414 267509760 64501 4294967295 134512640 134714508 3221221776 3221220384 134549480 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65310 64501 1111 63 0 65247 0
vsize: 261240
[startup+640.034 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 17183
Raw data (stat): 17181 (bsolo_lpr) R 17180 7876 7672 0 -1 0 86399 0 0 0 63800 207 0 0 25 0 1 0 808113414 267509760 64510 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65310 64510 1111 63 0 65247 0
vsize: 261240
[startup+650.035 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 17183
Raw data (stat): 17181 (bsolo_lpr) R 17180 7876 7672 0 -1 0 86405 0 0 0 64800 207 0 0 25 0 1 0 808113414 267509760 64516 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65310 64516 1111 63 0 65247 0
vsize: 261240
[startup+660.036 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 17183
Raw data (stat): 17181 (bsolo_lpr) R 17180 7876 7672 0 -1 0 86413 0 0 0 65800 207 0 0 25 0 1 0 808113414 267649024 64524 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65344 64524 1111 63 0 65281 0
vsize: 261376
[startup+670.036 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 17183
Raw data (stat): 17181 (bsolo_lpr) R 17180 7876 7672 0 -1 0 86413 0 0 0 66800 207 0 0 25 0 1 0 808113414 267649024 64524 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65344 64524 1111 63 0 65281 0
vsize: 261376
[startup+680.037 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 17183
Raw data (stat): 17181 (bsolo_lpr) R 17180 7876 7672 0 -1 0 86424 0 0 0 67800 208 0 0 25 0 1 0 808113414 267649024 64535 4294967295 134512640 134714508 3221221776 3221220384 134549296 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65344 64535 1111 63 0 65281 0
vsize: 261376
[startup+690.037 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 17183
Raw data (stat): 17181 (bsolo_lpr) R 17180 7876 7672 0 -1 0 86429 0 0 0 68800 208 0 0 25 0 1 0 808113414 267649024 64540 4294967295 134512640 134714508 3221221776 3221220344 134543600 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65344 64540 1111 63 0 65281 0
vsize: 261376
[startup+700.038 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 17183
Raw data (stat): 17181 (bsolo_lpr) R 17180 7876 7672 0 -1 0 86441 0 0 0 69800 208 0 0 25 0 1 0 808113414 267784192 64552 4294967295 134512640 134714508 3221221776 3221220384 134549457 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65377 64552 1111 63 0 65314 0
vsize: 261508
[startup+710.039 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 17183
Raw data (stat): 17181 (bsolo_lpr) R 17180 7876 7672 0 -1 0 86448 0 0 0 70800 209 0 0 25 0 1 0 808113414 267784192 64559 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65377 64559 1111 63 0 65314 0
vsize: 261508
[startup+720.039 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 17183
Raw data (stat): 17181 (bsolo_lpr) R 17180 7876 7672 0 -1 0 86448 0 0 0 71800 209 0 0 25 0 1 0 808113414 267784192 64559 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65377 64559 1111 63 0 65314 0
vsize: 261508
[startup+730.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 17183
Raw data (stat): 17181 (bsolo_lpr) R 17180 7876 7672 0 -1 0 86449 0 0 0 72800 209 0 0 25 0 1 0 808113414 267784192 64560 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65377 64560 1111 63 0 65314 0
vsize: 261508
[startup+740.039 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 17183
Raw data (stat): 17181 (bsolo_lpr) R 17180 7876 7672 0 -1 0 86458 0 0 0 73800 209 0 0 25 0 1 0 808113414 267784192 64569 4294967295 134512640 134714508 3221221776 3221220416 134613418 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65377 64569 1111 63 0 65314 0
vsize: 261508
[startup+750.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 17183
Raw data (stat): 17181 (bsolo_lpr) R 17180 7876 7672 0 -1 0 86464 0 0 0 74800 209 0 0 25 0 1 0 808113414 267784192 64575 4294967295 134512640 134714508 3221221776 3221220328 134696461 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65377 64575 1111 63 0 65314 0
vsize: 261508
[startup+760.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 17183
Raw data (stat): 17181 (bsolo_lpr) R 17180 7876 7672 0 -1 0 86472 0 0 0 75800 209 0 0 25 0 1 0 808113414 267784192 64583 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65377 64583 1111 63 0 65314 0
vsize: 261508
[startup+770.041 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 17183
Raw data (stat): 17181 (bsolo_lpr) R 17180 7876 7672 0 -1 0 86478 0 0 0 76800 210 0 0 25 0 1 0 808113414 267919360 64589 4294967295 134512640 134714508 3221221776 3221220540 134613500 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65410 64589 1111 63 0 65347 0
vsize: 261640
[startup+780.041 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 17183
Raw data (stat): 17181 (bsolo_lpr) R 17180 7876 7672 0 -1 0 86479 0 0 0 77800 210 0 0 25 0 1 0 808113414 267919360 64590 4294967295 134512640 134714508 3221221776 3221220384 134549313 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65410 64590 1111 63 0 65347 0
vsize: 261640
[startup+790.041 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 17183
Raw data (stat): 17181 (bsolo_lpr) R 17180 7876 7672 0 -1 0 86496 0 0 0 78800 210 0 0 25 0 1 0 808113414 267919360 64607 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65410 64607 1111 63 0 65347 0
vsize: 261640
[startup+800.042 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 17183
Raw data (stat): 17181 (bsolo_lpr) R 17180 7876 7672 0 -1 0 86497 0 0 0 79800 210 0 0 25 0 1 0 808113414 267919360 64608 4294967295 134512640 134714508 3221221776 3221220384 134549305 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65410 64608 1111 63 0 65347 0
vsize: 261640
[startup+810.042 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 17183
Raw data (stat): 17181 (bsolo_lpr) R 17180 7876 7672 0 -1 0 86510 0 0 0 80800 210 0 0 25 0 1 0 808113414 268054528 64621 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65443 64621 1111 63 0 65380 0
vsize: 261772
[startup+820.042 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 17183
Raw data (stat): 17181 (bsolo_lpr) R 17180 7876 7672 0 -1 0 86520 0 0 0 81800 210 0 0 25 0 1 0 808113414 268054528 64631 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65443 64631 1111 63 0 65380 0
vsize: 261772
[startup+830.043 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 17183
Raw data (stat): 17181 (bsolo_lpr) R 17180 7876 7672 0 -1 0 86520 0 0 0 82800 211 0 0 25 0 1 0 808113414 268054528 64631 4294967295 134512640 134714508 3221221776 3221220172 1077379843 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65443 64631 1111 63 0 65380 0
vsize: 261772
[startup+840.043 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 17183
Raw data (stat): 17181 (bsolo_lpr) R 17180 7876 7672 0 -1 0 86520 0 0 0 83800 211 0 0 25 0 1 0 808113414 268054528 64631 4294967295 134512640 134714508 3221221776 3221220384 134549480 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65443 64631 1111 63 0 65380 0
vsize: 261772
[startup+850.044 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 17183
Raw data (stat): 17181 (bsolo_lpr) R 17180 7876 7672 0 -1 0 86524 0 0 0 84800 211 0 0 25 0 1 0 808113414 268054528 64635 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65443 64635 1111 63 0 65380 0
vsize: 261772
[startup+860.045 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 17183
Raw data (stat): 17181 (bsolo_lpr) R 17180 7876 7672 0 -1 0 86534 0 0 0 85800 212 0 0 25 0 1 0 808113414 268054528 64645 4294967295 134512640 134714508 3221221776 3221220404 1077374104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65443 64645 1111 63 0 65380 0
vsize: 261772
[startup+870.045 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 17183
Raw data (stat): 17181 (bsolo_lpr) R 17180 7876 7672 0 -1 0 86543 0 0 0 86800 212 0 0 25 0 1 0 808113414 268107776 64654 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65456 64654 1111 63 0 65393 0
vsize: 261824
[startup+880.046 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 17183
Raw data (stat): 17181 (bsolo_lpr) R 17180 7876 7672 0 -1 0 86544 0 0 0 87800 212 0 0 25 0 1 0 808113414 268107776 64655 4294967295 134512640 134714508 3221221776 3221220384 134549480 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65456 64655 1111 63 0 65393 0
vsize: 261824
[startup+890.047 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 17183
Raw data (stat): 17181 (bsolo_lpr) R 17180 7876 7672 0 -1 0 86553 0 0 0 88800 212 0 0 25 0 1 0 808113414 268193792 64664 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65477 64664 1111 63 0 65414 0
vsize: 261908
[startup+900.047 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 17183
Raw data (stat): 17181 (bsolo_lpr) R 17180 7876 7672 0 -1 0 86563 0 0 0 89800 212 0 0 25 0 1 0 808113414 268193792 64674 4294967295 134512640 134714508 3221221776 3221220384 134549334 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65477 64674 1111 63 0 65414 0
vsize: 261908
[startup+910.047 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 17183
Raw data (stat): 17181 (bsolo_lpr) R 17180 7876 7672 0 -1 0 86569 0 0 0 90800 212 0 0 25 0 1 0 808113414 268193792 64680 4294967295 134512640 134714508 3221221776 3221220396 134613956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65477 64680 1111 63 0 65414 0
vsize: 261908
[startup+920.047 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 17183
Raw data (stat): 17181 (bsolo_lpr) R 17180 7876 7672 0 -1 0 86580 0 0 0 91800 213 0 0 25 0 1 0 808113414 268333056 64691 4294967295 134512640 134714508 3221221776 3221220556 134600365 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65511 64691 1111 63 0 65448 0
vsize: 262044
[startup+930.048 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 17183
Raw data (stat): 17181 (bsolo_lpr) R 17180 7876 7672 0 -1 0 86584 0 0 0 92800 213 0 0 25 0 1 0 808113414 268333056 64695 4294967295 134512640 134714508 3221221776 3221220564 134597610 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65511 64695 1111 63 0 65448 0
vsize: 262044
[startup+940.048 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 17183
Raw data (stat): 17181 (bsolo_lpr) R 17180 7876 7672 0 -1 0 86584 0 0 0 93800 213 0 0 25 0 1 0 808113414 268333056 64695 4294967295 134512640 134714508 3221221776 3221220576 134597777 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65511 64695 1111 63 0 65448 0
vsize: 262044
[startup+950.049 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 17183
Raw data (stat): 17181 (bsolo_lpr) R 17180 7876 7672 0 -1 0 86584 0 0 0 94800 213 0 0 25 0 1 0 808113414 268333056 64695 4294967295 134512640 134714508 3221221776 3221220576 134597777 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65511 64695 1111 63 0 65448 0
vsize: 262044
[startup+960.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 17183
Raw data (stat): 17181 (bsolo_lpr) R 17180 7876 7672 0 -1 0 86584 0 0 0 95800 213 0 0 25 0 1 0 808113414 268333056 64695 4294967295 134512640 134714508 3221221776 3221220384 134549480 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65511 64695 1111 63 0 65448 0
vsize: 262044
[startup+970.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 17183
Raw data (stat): 17181 (bsolo_lpr) R 17180 7876 7672 0 -1 0 86584 0 0 0 96800 214 0 0 25 0 1 0 808113414 268333056 64695 4294967295 134512640 134714508 3221221776 3221220384 134549305 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65511 64695 1111 63 0 65448 0
vsize: 262044
[startup+980.051 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 17183
Raw data (stat): 17181 (bsolo_lpr) R 17180 7876 7672 0 -1 0 86594 0 0 0 97800 214 0 0 25 0 1 0 808113414 268333056 64705 4294967295 134512640 134714508 3221221776 3221220536 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65511 64705 1111 63 0 65448 0
vsize: 262044
[startup+990.052 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 17183
Raw data (stat): 17181 (bsolo_lpr) R 17180 7876 7672 0 -1 0 86604 0 0 0 98800 214 0 0 25 0 1 0 808113414 268333056 64715 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65511 64715 1111 63 0 65448 0
vsize: 262044
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 17183
Raw data (stat): 17181 (bsolo_lpr) R 17180 7876 7672 0 -1 0 86604 0 0 0 99800 214 0 0 25 0 1 0 808113414 268333056 64715 4294967295 134512640 134714508 3221221776 3221220384 134549457 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65511 64715 1111 63 0 65448 0
vsize: 262044
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 17183
Raw data (stat): 17181 (bsolo_lpr) R 17180 7876 7672 0 -1 0 86609 0 0 0 100800 215 0 0 25 0 1 0 808113414 268468224 64720 4294967295 134512640 134714508 3221221776 3221220392 134613965 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65544 64720 1111 63 0 65481 0
vsize: 262176
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 17183
Raw data (stat): 17181 (bsolo_lpr) R 17180 7876 7672 0 -1 0 86621 0 0 0 101800 215 0 0 25 0 1 0 808113414 268468224 64732 4294967295 134512640 134714508 3221221776 3221220364 134542288 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65544 64732 1111 63 0 65481 0
vsize: 262176
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 17183
Raw data (stat): 17181 (bsolo_lpr) R 17180 7876 7672 0 -1 0 86621 0 0 0 102799 215 0 0 25 0 1 0 808113414 268468224 64732 4294967295 134512640 134714508 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65544 64732 1111 63 0 65481 0
vsize: 262176
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 17183
Raw data (stat): 17181 (bsolo_lpr) R 17180 7876 7672 0 -1 0 86628 0 0 0 103799 215 0 0 25 0 1 0 808113414 268468224 64739 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65544 64739 1111 63 0 65481 0
vsize: 262176
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 17183
Raw data (stat): 17181 (bsolo_lpr) R 17180 7876 7672 0 -1 0 86632 0 0 0 104799 216 0 0 25 0 1 0 808113414 268468224 64743 4294967295 134512640 134714508 3221221776 3221220384 134549467 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65544 64743 1111 63 0 65481 0
vsize: 262176
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 17183
Raw data (stat): 17181 (bsolo_lpr) R 17180 7876 7672 0 -1 0 86641 0 0 0 105799 216 0 0 25 0 1 0 808113414 268603392 64752 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65577 64752 1111 63 0 65514 0
vsize: 262308
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 17183
Raw data (stat): 17181 (bsolo_lpr) R 17180 7876 7672 0 -1 0 86641 0 0 0 106799 216 0 0 25 0 1 0 808113414 268603392 64752 4294967295 134512640 134714508 3221221776 3221220540 134592362 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65577 64752 1111 63 0 65514 0
vsize: 262308
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 17183
Raw data (stat): 17181 (bsolo_lpr) R 17180 7876 7672 0 -1 0 86641 0 0 0 107799 216 0 0 25 0 1 0 808113414 268603392 64752 4294967295 134512640 134714508 3221221776 3221220536 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65577 64752 1111 63 0 65514 0
vsize: 262308
[startup+1090.06 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 17183
Raw data (stat): 17181 (bsolo_lpr) R 17180 7876 7672 0 -1 0 86652 0 0 0 108800 216 0 0 25 0 1 0 808113414 268603392 64763 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65577 64763 1111 63 0 65514 0
vsize: 262308
[startup+1100.06 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 17183
Raw data (stat): 17181 (bsolo_lpr) R 17180 7876 7672 0 -1 0 86653 0 0 0 109800 216 0 0 25 0 1 0 808113414 268603392 64764 4294967295 134512640 134714508 3221221776 3221220384 134549474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65577 64764 1111 63 0 65514 0
vsize: 262308
[startup+1110.06 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 17183
Raw data (stat): 17181 (bsolo_lpr) R 17180 7876 7672 0 -1 0 86664 0 0 0 110800 216 0 0 25 0 1 0 808113414 268603392 64775 4294967295 134512640 134714508 3221221776 3221220384 134549467 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65577 64775 1111 63 0 65514 0
vsize: 262308
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 17183
Raw data (stat): 17181 (bsolo_lpr) R 17180 7876 7672 0 -1 0 86675 0 0 0 111800 217 0 0 25 0 1 0 808113414 268738560 64786 4294967295 134512640 134714508 3221221776 3221220384 134549474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65610 64786 1111 63 0 65547 0
vsize: 262440
[startup+1130.06 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 17183
Raw data (stat): 17181 (bsolo_lpr) R 17180 7876 7672 0 -1 0 86675 0 0 0 112800 217 0 0 25 0 1 0 808113414 268738560 64786 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65610 64786 1111 63 0 65547 0
vsize: 262440
[startup+1140.06 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 17183
Raw data (stat): 17181 (bsolo_lpr) R 17180 7876 7672 0 -1 0 86675 0 0 0 113800 217 0 0 25 0 1 0 808113414 268738560 64786 4294967295 134512640 134714508 3221221776 3221220536 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65610 64786 1111 63 0 65547 0
vsize: 262440
[startup+1150.06 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 17183
Raw data (stat): 17181 (bsolo_lpr) R 17180 7876 7672 0 -1 0 86692 0 0 0 114799 218 0 0 25 0 1 0 808113414 268738560 64803 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65610 64803 1111 63 0 65547 0
vsize: 262440
[startup+1160.06 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 17183
Raw data (stat): 17181 (bsolo_lpr) R 17180 7876 7672 0 -1 0 86692 0 0 0 115798 218 0 0 25 0 1 0 808113414 268738560 64803 4294967295 134512640 134714508 3221221776 3221219928 134613965 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65610 64803 1111 63 0 65547 0
vsize: 262440
[startup+1170.06 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 17183
Raw data (stat): 17181 (bsolo_lpr) R 17180 7876 7672 0 -1 0 86701 0 0 0 116798 218 0 0 25 0 1 0 808113414 268738560 64812 4294967295 134512640 134714508 3221221776 3221220384 134549467 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65610 64812 1111 63 0 65547 0
vsize: 262440
[startup+1175.06 s]
Raw data (loadavg): 0.99 0.97 0.98 1/54 17183
Raw data (stat): 17181 (bsolo_lpr) R 17180 7876 7672 0 -1 0 86701 0 0 0 116798 218 0 0 25 0 1 0 808113414 268738560 64812 4294967295 134512640 134714508 3221221776 3221220384 134549467 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65610 64812 1111 63 0 65547 0
vsize: 0

Child status: 0
Real time (s): 1175.06
CPU time (s): 1175.18
CPU user time (s): 1172.87
CPU system time (s): 2.30765
CPU usage (%): 100.01
Max. virtual memory (Kb): 262440
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####