PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-vpm1.opb
MD5SUM	eb50800dc2fc522dd2f29a347fbab1da
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	20
Optimality of the best value was proved	NO
Number of terms in the objective function	168
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	168
Number of bits of the sum of numbers in the objective function	8
Biggest number in a constraint	819200
Number of bits of the biggest number in a constraint	20
Biggest sum of numbers in a constraint	4941871
Number of bits of the biggest sum of numbers	23
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	454.966
Number of variables	2754
Total number of constraints	612
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	168
Number of constraints which are nor clauses,nor cardinality constraints	444
Minimum length of a constraint	1
Maximum length of a constraint	82
Trace number 40054

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-08 01:18:19 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28117 boxname=wulflinc6 idbench=1073 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  eb50800dc2fc522dd2f29a347fbab1da  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-vpm1.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-vpm1.opb
IDLAUNCH: 28117
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        719664 kB
Buffers:         24700 kB
Cached:         268380 kB
SwapCached:       1020 kB
Active:          27224 kB
Inactive:       267968 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        719412 kB
SwapTotal:     2097136 kB
SwapFree:      2095172 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5012 kB
Slab:            14204 kB
Committed_AS:    63736 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 01:37:54 (client local time) WITH STATUS 0 IN 1175.11 SECONDS
stats: 28117 7 1175.11 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 2754 variables and 486 constraints.
c After prepocess the problem consists of 1909 variables and 372 constraints.
c preprocess terminated 77.383 s
c Initial Lower Bound: 16
c Lower Bound Elapsed time: 0.115
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.08 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.98 0.91 2/54 22741
Raw data (stat): 22741 (runsolver) R 22740 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 897613248 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+10.0004 s]
Raw data (loadavg): 0.94 0.98 0.91 2/54 22741
Raw data (stat): 22741 (bsolo_lpr-v2) R 22740 25568 25567 0 -1 0 6450 0 0 0 981 16 0 0 25 0 1 0 897613248 29597696 6368 4294967295 134512640 134716908 3221224576 3221223280 134618256 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7226 6368 1111 63 0 7163 0
vsize: 28904
[startup+20.0029 s]
Raw data (loadavg): 0.95 0.98 0.91 2/54 22741
Raw data (stat): 22741 (bsolo_lpr-v2) R 22740 25568 25567 0 -1 0 6495 0 0 0 1981 17 0 0 25 0 1 0 897613248 29761536 6413 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7266 6413 1111 63 0 7203 0
vsize: 29064
[startup+30.0039 s]
Raw data (loadavg): 0.95 0.98 0.91 2/54 22741
Raw data (stat): 22741 (bsolo_lpr-v2) R 22740 25568 25567 0 -1 0 6522 0 0 0 2981 17 0 0 25 0 1 0 897613248 29835264 6440 4294967295 134512640 134716908 3221224576 3221222956 1077379821 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7284 6440 1111 63 0 7221 0
vsize: 29136
[startup+40.0038 s]
Raw data (loadavg): 0.96 0.98 0.91 2/54 22741
Raw data (stat): 22741 (bsolo_lpr-v2) R 22740 25568 25567 0 -1 0 6546 0 0 0 3980 18 0 0 25 0 1 0 897613248 29904896 6457 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7301 6457 1111 63 0 7238 0
vsize: 29204
[startup+50.0043 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 22741
Raw data (stat): 22741 (bsolo_lpr-v2) R 22740 25568 25567 0 -1 0 6607 0 0 0 4980 18 0 0 25 0 1 0 897613248 30126080 6498 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7355 6498 1111 63 0 7292 0
vsize: 29420
[startup+60.0044 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 22741
Raw data (stat): 22741 (bsolo_lpr-v2) R 22740 25568 25567 0 -1 0 6621 0 0 0 5980 18 0 0 25 0 1 0 897613248 30126080 6511 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7355 6511 1111 63 0 7292 0
vsize: 29420
[startup+70.0042 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 22741
Raw data (stat): 22741 (bsolo_lpr-v2) R 22740 25568 25567 0 -1 0 6621 0 0 0 6981 18 0 0 25 0 1 0 897613248 30126080 6511 4294967295 134512640 134716908 3221224576 3221223304 134675274 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7355 6511 1111 63 0 7292 0
vsize: 29420
[startup+80.005 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 22741
Raw data (stat): 22741 (bsolo_lpr-v2) R 22740 25568 25567 0 -1 0 6779 0 0 0 7980 20 0 0 25 0 1 0 897613248 30314496 6669 4294967295 134512640 134716908 3221224576 3221222496 1075799725 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6669 1111 63 0 7338 0
vsize: 29604
[startup+90.0048 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 22741
Raw data (stat): 22741 (bsolo_lpr-v2) R 22740 25568 25567 0 -1 0 6781 0 0 0 8979 20 0 0 25 0 1 0 897613248 30314496 6671 4294967295 134512640 134716908 3221224576 3221223360 134624483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7401 6671 1111 63 0 7338 0
vsize: 29604
[startup+100.005 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 22741
Raw data (stat): 22741 (bsolo_lpr-v2) R 22740 25568 25567 0 -1 0 6851 0 0 0 9979 21 0 0 25 0 1 0 897613248 30314496 6681 4294967295 134512640 134716908 3221224576 3221222496 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7401 6681 1111 63 0 7338 0
vsize: 29604
[startup+110.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22741
Raw data (stat): 22741 (bsolo_lpr-v2) R 22740 25568 25567 0 -1 0 6889 0 0 0 10979 21 0 0 25 0 1 0 897613248 30314496 6681 4294967295 134512640 134716908 3221224576 3221222304 1075829562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7401 6681 1111 63 0 7338 0
vsize: 29604
[startup+120.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22741
Raw data (stat): 22741 (bsolo_lpr-v2) R 22740 25568 25567 0 -1 0 6988 0 0 0 11979 22 0 0 25 0 1 0 897613248 30314496 6682 4294967295 134512640 134716908 3221224576 3221222768 134652402 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7401 6682 1111 63 0 7338 0
vsize: 29604
[startup+130.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22741
Raw data (stat): 22741 (bsolo_lpr-v2) R 22740 25568 25567 0 -1 0 7041 0 0 0 12978 23 0 0 25 0 1 0 897613248 30314496 6693 4294967295 134512640 134716908 3221224576 3221223340 134556376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7401 6693 1111 63 0 7338 0
vsize: 29604
[startup+140.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22741
Raw data (stat): 22741 (bsolo_lpr-v2) R 22740 25568 25567 0 -1 0 7164 0 0 0 13977 24 0 0 25 0 1 0 897613248 30314496 6694 4294967295 134512640 134716908 3221224576 3221222928 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7401 6694 1111 63 0 7338 0
vsize: 29604
[startup+150.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22741
Raw data (stat): 22741 (bsolo_lpr-v2) R 22740 25568 25567 0 -1 0 7206 0 0 0 14977 24 0 0 25 0 1 0 897613248 30314496 6694 4294967295 134512640 134716908 3221224576 3221222880 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7401 6694 1111 63 0 7338 0
vsize: 29604
[startup+160.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22741
Raw data (stat): 22741 (bsolo_lpr-v2) R 22740 25568 25567 0 -1 0 7222 0 0 0 15977 25 0 0 25 0 1 0 897613248 30314496 6694 4294967295 134512640 134716908 3221224576 3221222304 1075828545 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7401 6694 1111 63 0 7338 0
vsize: 29604
[startup+170.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22741
Raw data (stat): 22741 (bsolo_lpr-v2) R 22740 25568 25567 0 -1 0 7236 0 0 0 16977 25 0 0 25 0 1 0 897613248 30314496 6694 4294967295 134512640 134716908 3221224576 3221222288 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7401 6694 1111 63 0 7338 0
vsize: 29604
[startup+180.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22741
Raw data (stat): 22741 (bsolo_lpr-v2) R 22740 25568 25567 0 -1 0 7244 0 0 0 17977 25 0 0 25 0 1 0 897613248 30314496 6694 4294967295 134512640 134716908 3221224576 3221221680 1074138853 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7401 6694 1111 63 0 7338 0
vsize: 29604
[startup+190.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22741
Raw data (stat): 22741 (bsolo_lpr-v2) R 22740 25568 25567 0 -1 0 7263 0 0 0 18977 26 0 0 25 0 1 0 897613248 30314496 6694 4294967295 134512640 134716908 3221224576 3221222976 1074118806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7401 6694 1111 63 0 7338 0
vsize: 29604
[startup+200.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22741
Raw data (stat): 22741 (bsolo_lpr-v2) R 22740 25568 25567 0 -1 0 7280 0 0 0 19977 26 0 0 25 0 1 0 897613248 30314496 6694 4294967295 134512640 134716908 3221224576 3221222992 1074116254 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7401 6694 1111 63 0 7338 0
vsize: 29604
[startup+210.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22741
Raw data (stat): 22741 (bsolo_lpr-v2) R 22740 25568 25567 0 -1 0 7288 0 0 0 20978 26 0 0 25 0 1 0 897613248 30314496 6694 4294967295 134512640 134716908 3221224576 3221222872 1074206145 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7401 6694 1111 63 0 7338 0
vsize: 29604
[startup+220.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22741
Raw data (stat): 22741 (bsolo_lpr-v2) R 22740 25568 25567 0 -1 0 7324 0 0 0 21978 26 0 0 25 0 1 0 897613248 30314496 6694 4294967295 134512640 134716908 3221224576 3221222864 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7401 6694 1111 63 0 7338 0
vsize: 29604
[startup+230.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22741
Raw data (stat): 22741 (bsolo_lpr-v2) R 22740 25568 25567 0 -1 0 7341 0 0 0 22978 26 0 0 25 0 1 0 897613248 30314496 6696 4294967295 134512640 134716908 3221224576 3221222864 1074153660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7401 6696 1111 63 0 7338 0
vsize: 29604
[startup+240.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22741
Raw data (stat): 22741 (bsolo_lpr-v2) R 22740 25568 25567 0 -1 0 7343 0 0 0 23978 27 0 0 25 0 1 0 897613248 30314496 6696 4294967295 134512640 134716908 3221224576 3221222496 1074153736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7401 6696 1111 63 0 7338 0
vsize: 29604
[startup+250.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22741
Raw data (stat): 22741 (bsolo_lpr-v2) R 22740 25568 25567 0 -1 0 7346 0 0 0 24978 27 0 0 25 0 1 0 897613248 30314496 6696 4294967295 134512640 134716908 3221224576 3221222400 1075823496 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7401 6696 1111 63 0 7338 0
vsize: 29604
[startup+260.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22741
Raw data (stat): 22741 (bsolo_lpr-v2) R 22740 25568 25567 0 -1 0 7385 0 0 0 25977 28 0 0 25 0 1 0 897613248 30314496 6696 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7401 6696 1111 63 0 7338 0
vsize: 29604
[startup+270.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22741
Raw data (stat): 22741 (bsolo_lpr-v2) R 22740 25568 25567 0 -1 0 7429 0 0 0 26977 29 0 0 25 0 1 0 897613248 30314496 6696 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7401 6696 1111 63 0 7338 0
vsize: 29604
[startup+280.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22741
Raw data (stat): 22741 (bsolo_lpr-v2) R 22740 25568 25567 0 -1 0 7786 0 0 0 27977 29 0 0 25 0 1 0 897613248 30314496 6696 4294967295 134512640 134716908 3221224576 3221222976 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7401 6696 1111 63 0 7338 0
vsize: 29604
[startup+290.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22741
Raw data (stat): 22741 (bsolo_lpr-v2) R 22740 25568 25567 0 -1 0 8168 0 0 0 28974 32 0 0 25 0 1 0 897613248 30314496 6696 4294967295 134512640 134716908 3221224576 3221222736 1074050818 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7401 6696 1111 63 0 7338 0
vsize: 29604
[startup+300.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22741
Raw data (stat): 22741 (bsolo_lpr-v2) R 22740 25568 25567 0 -1 0 8572 0 0 0 29973 34 0 0 25 0 1 0 897613248 30314496 6696 4294967295 134512640 134716908 3221224576 3221222240 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7401 6696 1111 63 0 7338 0
vsize: 29604
[startup+310.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22741
Raw data (stat): 22741 (bsolo_lpr-v2) R 22740 25568 25567 0 -1 0 8985 0 0 0 30971 36 0 0 25 0 1 0 897613248 30314496 6697 4294967295 134512640 134716908 3221224576 3221222400 1075823498 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7401 6697 1111 63 0 7338 0
vsize: 29604
[startup+320.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22741
Raw data (stat): 22741 (bsolo_lpr-v2) R 22740 25568 25567 0 -1 0 9393 0 0 0 31969 38 0 0 25 0 1 0 897613248 30314496 6697 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7401 6697 1111 63 0 7338 0
vsize: 29604
[startup+330.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22741
Raw data (stat): 22741 (bsolo_lpr-v2) R 22740 25568 25567 0 -1 0 9791 0 0 0 32968 40 0 0 25 0 1 0 897613248 30314496 6697 4294967295 134512640 134716908 3221224576 3221222688 1074867320 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7401 6697 1111 63 0 7338 0
vsize: 29604
[startup+340.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22741
Raw data (stat): 22741 (bsolo_lpr-v2) R 22740 25568 25567 0 -1 0 10246 0 0 0 33965 43 0 0 25 0 1 0 897613248 30466048 6700 4294967295 134512640 134716908 3221224576 3221220700 1074878595 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7438 6700 1111 63 0 7375 0
vsize: 29752
[startup+350.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22741
Raw data (stat): 22741 (bsolo_lpr-v2) R 22740 25568 25567 0 -1 0 10855 0 0 0 34963 46 0 0 25 0 1 0 897613248 30314496 6697 4294967295 134512640 134716908 3221224576 3221221856 1074140055 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7401 6697 1111 63 0 7338 0
vsize: 29604
[startup+360.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22741
Raw data (stat): 22741 (bsolo_lpr-v2) R 22740 25568 25567 0 -1 0 11378 0 0 0 35960 48 0 0 25 0 1 0 897613248 30314496 6697 4294967295 134512640 134716908 3221224576 3221222992 1074117024 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7401 6697 1111 63 0 7338 0
vsize: 29604
[startup+370.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22741
Raw data (stat): 22741 (bsolo_lpr-v2) R 22740 25568 25567 0 -1 0 11874 0 0 0 36958 51 0 0 25 0 1 0 897613248 30314496 6697 4294967295 134512640 134716908 3221224576 3221222856 1074138315 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7401 6697 1111 63 0 7338 0
vsize: 29604
[startup+380.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22741
Raw data (stat): 22741 (bsolo_lpr-v2) R 22740 25568 25567 0 -1 0 12423 0 0 0 37956 53 0 0 25 0 1 0 897613248 30314496 6697 4294967295 134512640 134716908 3221224576 3221222460 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7401 6697 1111 63 0 7338 0
vsize: 29604
[startup+390.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22741
Raw data (stat): 22741 (bsolo_lpr-v2) R 22740 25568 25567 0 -1 0 12870 0 0 0 38954 56 0 0 25 0 1 0 897613248 30466048 6700 4294967295 134512640 134716908 3221224576 3221220956 1074971920 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7438 6700 1111 63 0 7375 0
vsize: 29752
[startup+400.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22741
Raw data (stat): 22741 (bsolo_lpr-v2) R 22740 25568 25567 0 -1 0 13407 0 0 0 39951 59 0 0 25 0 1 0 897613248 30314496 6697 4294967295 134512640 134716908 3221224576 3221222576 1074917329 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7401 6697 1111 63 0 7338 0
vsize: 29604
[startup+410.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22741
Raw data (stat): 22741 (bsolo_lpr-v2) R 22740 25568 25567 0 -1 0 13857 0 0 0 40948 63 0 0 25 0 1 0 897613248 30314496 6697 4294967295 134512640 134716908 3221224576 3221222792 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7401 6697 1111 63 0 7338 0
vsize: 29604
[startup+420.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22741
Raw data (stat): 22741 (bsolo_lpr-v2) R 22740 25568 25567 0 -1 0 14273 0 0 0 41946 65 0 0 25 0 1 0 897613248 30314496 6697 4294967295 134512640 134716908 3221224576 3221222304 1075828201 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7401 6697 1111 63 0 7338 0
vsize: 29604
[startup+430.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22741
Raw data (stat): 22741 (bsolo_lpr-v2) R 22740 25568 25567 0 -1 0 14741 0 0 0 42943 69 0 0 25 0 1 0 897613248 30314496 6697 4294967295 134512640 134716908 3221224576 3221222912 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7401 6697 1111 63 0 7338 0
vsize: 29604
[startup+440.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22741
Raw data (stat): 22741 (bsolo_lpr-v2) R 22740 25568 25567 0 -1 0 15249 0 0 0 43940 71 0 0 25 0 1 0 897613248 30314496 6697 4294967295 134512640 134716908 3221224576 3221222304 1075828224 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7401 6697 1111 63 0 7338 0
vsize: 29604
[startup+450.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22741
Raw data (stat): 22741 (bsolo_lpr-v2) R 22740 25568 25567 0 -1 0 15837 0 0 0 44938 74 0 0 25 0 1 0 897613248 30314496 6697 4294967295 134512640 134716908 3221224576 3221222872 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7401 6697 1111 63 0 7338 0
vsize: 29604
[startup+460.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22741
Raw data (stat): 22741 (bsolo_lpr-v2) R 22740 25568 25567 0 -1 0 16427 0 0 0 45933 79 0 0 25 0 1 0 897613248 30466048 6699 4294967295 134512640 134716908 3221224576 3221221024 1075132598 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7438 6699 1111 63 0 7375 0
vsize: 29752
[startup+470.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22741
Raw data (stat): 22741 (bsolo_lpr-v2) R 22740 25568 25567 0 -1 0 17015 0 0 0 46930 83 0 0 25 0 1 0 897613248 30314496 6697 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7401 6697 1111 63 0 7338 0
vsize: 29604
[startup+480.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22741
Raw data (stat): 22741 (bsolo_lpr-v2) R 22740 25568 25567 0 -1 0 17601 0 0 0 47926 87 0 0 25 0 1 0 897613248 30314496 6697 4294967295 134512640 134716908 3221224576 3221222544 1074248329 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7401 6697 1111 63 0 7338 0
vsize: 29604
[startup+490.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22741
Raw data (stat): 22741 (bsolo_lpr-v2) R 22740 25568 25567 0 -1 0 19841 0 0 0 48918 95 0 0 25 0 1 0 897613248 30449664 6700 4294967295 134512640 134716908 3221224576 3221221856 1074140041 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7434 6701 1111 63 0 7371 0
vsize: 29736
[startup+500.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22741
Raw data (stat): 22741 (bsolo_lpr-v2) R 22740 25568 25567 0 -1 0 27406 0 0 0 49899 115 0 0 25 0 1 0 897613248 31039488 6773 4294967295 134512640 134716908 3221224576 3221220540 1074860617 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7496 6761 1111 63 0 7433 0
vsize: 30312
[startup+510.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22741
Raw data (stat): 22741 (bsolo_lpr-v2) R 22740 25568 25567 0 -1 0 39746 0 0 0 50870 144 0 0 25 0 1 0 897613248 30707712 6794 4294967295 134512640 134716908 3221224576 3221223024 134652402 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7497 6794 1111 63 0 7434 0
vsize: 29988
[startup+520.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22741
Raw data (stat): 22741 (bsolo_lpr-v2) R 22740 25568 25567 0 -1 0 49525 0 0 0 51847 167 0 0 25 0 1 0 897613248 30867456 6833 4294967295 134512640 134716908 3221224576 3221222736 134652447 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7536 6833 1111 63 0 7473 0
vsize: 30144
[startup+530.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22741
Raw data (stat): 22741 (bsolo_lpr-v2) R 22740 25568 25567 0 -1 0 62782 0 0 0 52816 199 0 0 25 0 1 0 897613248 31014912 6869 4294967295 134512640 134716908 3221224576 3221222448 1074153806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7572 6869 1111 63 0 7509 0
vsize: 30288
[startup+540.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22741
Raw data (stat): 22741 (bsolo_lpr-v2) R 22740 25568 25567 0 -1 0 77193 0 0 0 53781 234 0 0 25 0 1 0 897613248 31113216 6893 4294967295 134512640 134716908 3221224576 3221222360 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7596 6893 1111 63 0 7533 0
vsize: 30384
[startup+550.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22741
Raw data (stat): 22741 (bsolo_lpr-v2) R 22740 25568 25567 0 -1 0 93348 0 0 0 54738 277 0 0 25 0 1 0 897613248 31817728 6963 4294967295 134512640 134716908 3221224576 3221221644 1074831231 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7768 6963 1111 63 0 7705 0
vsize: 31072
[startup+560.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22741
Raw data (stat): 22741 (bsolo_lpr-v2) R 22740 25568 25567 0 -1 0 109797 0 0 0 55702 314 0 0 25 0 1 0 897613248 31395840 6962 4294967295 134512640 134716908 3221224576 3221222792 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7665 6962 1111 63 0 7602 0
vsize: 30660
[startup+570.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22741
Raw data (stat): 22741 (bsolo_lpr-v2) R 22740 25568 25567 0 -1 0 124372 0 0 0 56665 351 0 0 25 0 1 0 897613248 31748096 7048 4294967295 134512640 134716908 3221224576 3221222888 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7751 7048 1111 63 0 7688 0
vsize: 31004
[startup+580.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22741
Raw data (stat): 22741 (bsolo_lpr-v2) R 22740 25568 25567 0 -1 0 134024 0 0 0 57642 374 0 0 25 0 1 0 897613248 32120832 7107 4294967295 134512640 134716908 3221224576 3221222688 1074867212 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7842 7107 1111 63 0 7779 0
vsize: 31368
[startup+590.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22741
Raw data (stat): 22741 (bsolo_lpr-v2) R 22740 25568 25567 0 -1 0 144682 0 0 0 58617 400 0 0 25 0 1 0 897613248 32256000 7172 4294967295 134512640 134716908 3221224576 3221222824 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7875 7172 1111 63 0 7812 0
vsize: 31500
[startup+600.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22741
Raw data (stat): 22741 (bsolo_lpr-v2) R 22740 25568 25567 0 -1 0 156410 0 0 0 59590 428 0 0 25 0 1 0 897613248 32563200 7213 4294967295 134512640 134716908 3221224576 3221222380 1077386340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7950 7218 1111 63 0 7887 0
vsize: 31800
[startup+610.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22741
Raw data (stat): 22741 (bsolo_lpr-v2) R 22740 25568 25567 0 -1 0 170546 0 0 0 60557 461 0 0 25 0 1 0 897613248 32911360 7332 4294967295 134512640 134716908 3221224576 3221222824 1074138144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8035 7332 1111 63 0 7972 0
vsize: 32140
[startup+620.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22741
Raw data (stat): 22741 (bsolo_lpr-v2) R 22740 25568 25567 0 -1 0 179629 0 0 0 61534 484 0 0 25 0 1 0 897613248 33542144 7486 4294967295 134512640 134716908 3221224576 3221222360 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8189 7486 1111 63 0 8126 0
vsize: 32756
[startup+630.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22741
Raw data (stat): 22741 (bsolo_lpr-v2) R 22740 25568 25567 0 -1 0 182090 0 0 0 62527 492 0 0 25 0 1 0 897613248 33861632 7564 4294967295 134512640 134716908 3221224576 3221222688 1074867305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8267 7564 1111 63 0 8204 0
vsize: 33068
[startup+640.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22741
Raw data (stat): 22741 (bsolo_lpr-v2) R 22740 25568 25567 0 -1 0 185306 0 0 0 63517 501 0 0 25 0 1 0 897613248 33890304 7566 4294967295 134512640 134716908 3221224576 3221222320 1075647085 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8274 7566 1111 63 0 8211 0
vsize: 33096
[startup+650.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22741
Raw data (stat): 22741 (bsolo_lpr-v2) R 22740 25568 25567 0 -1 0 190504 0 0 0 64505 514 0 0 25 0 1 0 897613248 34131968 7595 4294967295 134512640 134716908 3221224576 3221222304 1075829517 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8333 7595 1111 63 0 8270 0
vsize: 33332
[startup+660.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22741
Raw data (stat): 22741 (bsolo_lpr-v2) R 22740 25568 25567 0 -1 0 195490 0 0 0 65492 528 0 0 25 0 1 0 897613248 34410496 7692 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8401 7692 1111 63 0 8338 0
vsize: 33604
[startup+670.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22741
Raw data (stat): 22741 (bsolo_lpr-v2) R 22740 25568 25567 0 -1 0 199301 0 0 0 66479 541 0 0 25 0 1 0 897613248 34979840 7837 4294967295 134512640 134716908 3221224576 3221222912 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8540 7837 1111 63 0 8477 0
vsize: 34160
[startup+680.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22741
Raw data (stat): 22741 (bsolo_lpr-v2) R 22740 25568 25567 0 -1 0 202381 0 0 0 67468 552 0 0 25 0 1 0 897613248 34979840 7837 4294967295 134512640 134716908 3221224576 3221222720 1074153736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8540 7837 1111 63 0 8477 0
vsize: 34160
[startup+690.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22741
Raw data (stat): 22741 (bsolo_lpr-v2) R 22740 25568 25567 0 -1 0 207006 0 0 0 68456 565 0 0 25 0 1 0 897613248 35008512 7844 4294967295 134512640 134716908 3221224576 3221222828 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8547 7844 1111 63 0 8484 0
vsize: 34188
[startup+700.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22741
Raw data (stat): 22741 (bsolo_lpr-v2) R 22740 25568 25567 0 -1 0 216433 0 0 0 69434 587 0 0 25 0 1 0 897613248 35348480 7927 4294967295 134512640 134716908 3221224576 3221222320 1075640393 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8630 7927 1111 63 0 8567 0
vsize: 34520
[startup+710.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22741
Raw data (stat): 22741 (bsolo_lpr-v2) R 22740 25568 25567 0 -1 0 221679 0 0 0 70420 601 0 0 25 0 1 0 897613248 35577856 7983 4294967295 134512640 134716908 3221224576 3221222928 1074153736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8686 7983 1111 63 0 8623 0
vsize: 34744
[startup+720.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22741
Raw data (stat): 22741 (bsolo_lpr-v2) R 22740 25568 25567 0 -1 0 228686 0 0 0 71400 622 0 0 25 0 1 0 897613248 35909632 8029 4294967295 134512640 134716908 3221224576 3221222224 1075817784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8767 8029 1111 63 0 8704 0
vsize: 35068
[startup+730.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22741
Raw data (stat): 22741 (bsolo_lpr-v2) R 22740 25568 25567 0 -1 0 237013 0 0 0 72377 645 0 0 25 0 1 0 897613248 36397056 8121 4294967295 134512640 134716908 3221224576 3221222688 1074867340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8886 8121 1111 63 0 8823 0
vsize: 35544
[startup+740.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22741
Raw data (stat): 22741 (bsolo_lpr-v2) R 22740 25568 25567 0 -1 0 241188 0 0 0 73366 656 0 0 25 0 1 0 897613248 36265984 8145 4294967295 134512640 134716908 3221224576 3221222832 1074153673 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8854 8145 1111 63 0 8791 0
vsize: 35416
[startup+750.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22741
Raw data (stat): 22741 (bsolo_lpr-v2) R 22740 25568 25567 0 -1 0 245408 0 0 0 74357 666 0 0 25 0 1 0 897613248 36532224 8157 4294967295 134512640 134716908 3221224576 3221222400 1075823540 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8919 8157 1111 63 0 8856 0
vsize: 35676
[startup+760.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22741
Raw data (stat): 22741 (bsolo_lpr-v2) R 22740 25568 25567 0 -1 0 253400 0 0 0 75334 688 0 0 25 0 1 0 897613248 36556800 8228 4294967295 134512640 134716908 3221224576 3221222320 1075640367 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8925 8228 1111 63 0 8862 0
vsize: 35700
[startup+770.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22741
Raw data (stat): 22741 (bsolo_lpr-v2) R 22740 25568 25567 0 -1 0 261551 0 0 0 76313 710 0 0 25 0 1 0 897613248 37339136 8419 4294967295 134512640 134716908 3221224576 3221222000 1076057247 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9116 8419 1111 63 0 9053 0
vsize: 36464
[startup+780.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22741
Raw data (stat): 22741 (bsolo_lpr-v2) R 22740 25568 25567 0 -1 0 266640 0 0 0 77299 724 0 0 25 0 1 0 897613248 37556224 8435 4294967295 134512640 134716908 3221224576 3221222756 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9152 8435 1111 63 0 9089 0
vsize: 36676
[startup+790.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22741
Raw data (stat): 22741 (bsolo_lpr-v2) R 22740 25568 25567 0 -1 0 282141 0 0 0 78264 760 0 0 25 0 1 0 897613248 38830080 8775 4294967295 134512640 134716908 3221224576 3221222320 1075646979 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9471 8766 1111 63 0 9408 0
vsize: 37920
[startup+800.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22741
Raw data (stat): 22741 (bsolo_lpr-v2) R 22740 25568 25567 0 -1 0 294126 0 0 0 79233 791 0 0 25 0 1 0 897613248 39567360 8956 4294967295 134512640 134716908 3221224576 3221223112 134543020 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9660 8956 1111 63 0 9597 0
vsize: 38640
[startup+810.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22741
Raw data (stat): 22741 (bsolo_lpr-v2) R 22740 25568 25567 0 -1 0 307612 0 0 0 80200 824 0 0 25 0 1 0 897613248 40394752 9158 4294967295 134512640 134716908 3221224576 3221222928 1074115298 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9862 9158 1111 63 0 9799 0
vsize: 39448
[startup+820.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22741
Raw data (stat): 22741 (bsolo_lpr-v2) R 22740 25568 25567 0 -1 0 314772 0 0 0 81182 842 0 0 25 0 1 0 897613248 40783872 9253 4294967295 134512640 134716908 3221224576 3221222648 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9957 9253 1111 63 0 9894 0
vsize: 39828
[startup+830.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22741
Raw data (stat): 22741 (bsolo_lpr-v2) R 22740 25568 25567 0 -1 0 320616 0 0 0 82165 860 0 0 25 0 1 0 897613248 41291776 9377 4294967295 134512640 134716908 3221224576 3221222576 1074056637 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10081 9377 1111 63 0 10018 0
vsize: 40324
[startup+840.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22741
Raw data (stat): 22741 (bsolo_lpr-v2) R 22740 25568 25567 0 -1 0 329062 0 0 0 83143 882 0 0 25 0 1 0 897613248 42012672 9439 4294967295 134512640 134716908 3221224576 3221220736 1075091317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10257 9439 1111 63 0 10194 0
vsize: 41028
[startup+850.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22741
Raw data (stat): 22741 (bsolo_lpr-v2) R 22740 25568 25567 0 -1 0 335924 0 0 0 84124 902 0 0 25 0 1 0 897613248 41668608 9469 4294967295 134512640 134716908 3221224576 3221222828 1074206265 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10173 9469 1111 63 0 10110 0
vsize: 40692
[startup+860.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22741
Raw data (stat): 22741 (bsolo_lpr-v2) R 22740 25568 25567 0 -1 0 343453 0 0 0 85103 922 0 0 25 0 1 0 897613248 41844736 9493 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10216 9493 1111 63 0 10153 0
vsize: 40864
[startup+870.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22741
Raw data (stat): 22741 (bsolo_lpr-v2) R 22740 25568 25567 0 -1 0 353055 0 0 0 86078 948 0 0 25 0 1 0 897613248 41668608 9469 4294967295 134512640 134716908 3221224576 3221222872 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10173 9469 1111 63 0 10110 0
vsize: 40692
[startup+880.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22741
Raw data (stat): 22741 (bsolo_lpr-v2) R 22740 25568 25567 0 -1 0 363790 0 0 0 87050 977 0 0 25 0 1 0 897613248 42020864 9536 4294967295 134512640 134716908 3221224576 3221222976 1074118815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10229 9524 1111 63 0 10166 0
vsize: 41036
[startup+890.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22741
Raw data (stat): 22741 (bsolo_lpr-v2) R 22740 25568 25567 0 -1 0 372293 0 0 0 88027 1000 0 0 25 0 1 0 897613248 42115072 9526 4294967295 134512640 134716908 3221224576 3221222688 1074867340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10282 9526 1111 63 0 10219 0
vsize: 41128
[startup+900.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22741
Raw data (stat): 22741 (bsolo_lpr-v2) R 22740 25568 25567 0 -1 0 380284 0 0 0 89007 1020 0 0 25 0 1 0 897613248 41897984 9525 4294967295 134512640 134716908 3221224576 3221222976 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10229 9525 1111 63 0 10166 0
vsize: 40916
[startup+910.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22741
Raw data (stat): 22741 (bsolo_lpr-v2) R 22740 25568 25567 0 -1 0 388695 0 0 0 89983 1045 0 0 25 0 1 0 897613248 41988096 9547 4294967295 134512640 134716908 3221224576 3221222736 1074153660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10251 9547 1111 63 0 10188 0
vsize: 41004
[startup+920.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22741
Raw data (stat): 22741 (bsolo_lpr-v2) R 22740 25568 25567 0 -1 0 399482 0 0 0 90957 1071 0 0 25 0 1 0 897613248 42807296 9632 4294967295 134512640 134716908 3221224576 3221220736 1075091317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10451 9634 1111 63 0 10388 0
vsize: 41804
[startup+930.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22741
Raw data (stat): 22741 (bsolo_lpr-v2) R 22740 25568 25567 0 -1 0 408677 0 0 0 91932 1096 0 0 25 0 1 0 897613248 42917888 9659 4294967295 134512640 134716908 3221224576 3221220736 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10478 9670 1111 63 0 10415 0
vsize: 41912
[startup+940.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22741
Raw data (stat): 22741 (bsolo_lpr-v2) R 22740 25568 25567 0 -1 0 415305 0 0 0 92916 1112 0 0 25 0 1 0 897613248 42344448 9635 4294967295 134512640 134716908 3221224576 3221222928 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10338 9635 1111 63 0 10275 0
vsize: 41352
[startup+950.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22741
Raw data (stat): 22741 (bsolo_lpr-v2) R 22740 25568 25567 0 -1 0 422618 0 0 0 93895 1134 0 0 25 0 1 0 897613248 42463232 9664 4294967295 134512640 134716908 3221224576 3221222508 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10367 9664 1111 63 0 10304 0
vsize: 41468
[startup+960.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22741
Raw data (stat): 22741 (bsolo_lpr-v2) R 22740 25568 25567 0 -1 0 432584 0 0 0 94870 1159 0 0 25 0 1 0 897613248 43347968 9770 4294967295 134512640 134716908 3221224576 3221220736 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10583 9772 1111 63 0 10520 0
vsize: 42332
[startup+970.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22741
Raw data (stat): 22741 (bsolo_lpr-v2) R 22740 25568 25567 0 -1 0 439036 0 0 0 95854 1176 0 0 25 0 1 0 897613248 43130880 9772 4294967295 134512640 134716908 3221224576 3221222496 1075799526 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10530 9772 1111 63 0 10467 0
vsize: 42120
[startup+980.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22741
Raw data (stat): 22741 (bsolo_lpr-v2) R 22740 25568 25567 0 -1 0 444340 0 0 0 96840 1190 0 0 25 0 1 0 897613248 42901504 9771 4294967295 134512640 134716908 3221224576 3221222880 1074153794 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10474 9771 1111 63 0 10411 0
vsize: 41896
[startup+990.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22741
Raw data (stat): 22741 (bsolo_lpr-v2) R 22740 25568 25567 0 -1 0 450631 0 0 0 97822 1209 0 0 25 0 1 0 897613248 43110400 9818 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10525 9818 1111 63 0 10462 0
vsize: 42100
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22741
Raw data (stat): 22741 (bsolo_lpr-v2) R 22740 25568 25567 0 -1 0 456747 0 0 0 98805 1226 0 0 25 0 1 0 897613248 43868160 9885 4294967295 134512640 134716908 3221224576 3221221496 1074950131 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10710 9885 1111 63 0 10647 0
vsize: 42840
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22741
Raw data (stat): 22741 (bsolo_lpr-v2) R 22740 25568 25567 0 -1 0 463095 0 0 0 99786 1246 0 0 25 0 1 0 897613248 43491328 9910 4294967295 134512640 134716908 3221224576 3221222992 1074116259 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10618 9910 1111 63 0 10555 0
vsize: 42472
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22741
Raw data (stat): 22741 (bsolo_lpr-v2) R 22740 25568 25567 0 -1 0 470873 0 0 0 100763 1269 0 0 25 0 1 0 897613248 44244992 9998 4294967295 134512640 134716908 3221224576 3221220736 1075093369 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10802 9998 1111 63 0 10739 0
vsize: 43208
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22741
Raw data (stat): 22741 (bsolo_lpr-v2) R 22740 25568 25567 0 -1 0 479056 0 0 0 101741 1291 0 0 25 0 1 0 897613248 43737088 9975 4294967295 134512640 134716908 3221224576 3221222708 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10678 9975 1111 63 0 10615 0
vsize: 42712
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22741
Raw data (stat): 22741 (bsolo_lpr-v2) R 22740 25568 25567 0 -1 0 484565 0 0 0 102725 1307 0 0 25 0 1 0 897613248 44453888 10057 4294967295 134512640 134716908 3221224576 3221220804 1075115039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10853 10057 1111 63 0 10790 0
vsize: 43412
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22741
Raw data (stat): 22741 (bsolo_lpr-v2) R 22740 25568 25567 0 -1 0 489870 0 0 0 103708 1324 0 0 25 0 1 0 897613248 44023808 10041 4294967295 134512640 134716908 3221224576 3221223216 134651142 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10748 10041 1111 63 0 10685 0
vsize: 42992
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22741
Raw data (stat): 22741 (bsolo_lpr-v2) R 22740 25568 25567 0 -1 0 494756 0 0 0 104695 1337 0 0 25 0 1 0 897613248 44351488 10126 4294967295 134512640 134716908 3221224576 3221222960 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10828 10126 1111 63 0 10765 0
vsize: 43312
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22741
Raw data (stat): 22741 (bsolo_lpr-v2) R 22740 25568 25567 0 -1 0 499366 0 0 0 105681 1352 0 0 25 0 1 0 897613248 44720128 10163 4294967295 134512640 134716908 3221224576 3221222304 1075828535 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10918 10163 1111 63 0 10855 0
vsize: 43672
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22741
Raw data (stat): 22741 (bsolo_lpr-v2) R 22740 25568 25567 0 -1 0 503863 0 0 0 106669 1365 0 0 25 0 1 0 897613248 44589056 10184 4294967295 134512640 134716908 3221224576 3221222768 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10886 10184 1111 63 0 10823 0
vsize: 43544
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22741
Raw data (stat): 22741 (bsolo_lpr-v2) R 22740 25568 25567 0 -1 0 508500 0 0 0 107657 1377 0 0 25 0 1 0 897613248 44646400 10198 4294967295 134512640 134716908 3221224576 3221222928 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10900 10198 1111 63 0 10837 0
vsize: 43600
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22741
Raw data (stat): 22741 (bsolo_lpr-v2) R 22740 25568 25567 0 -1 0 513223 0 0 0 108642 1392 0 0 25 0 1 0 897613248 44793856 10234 4294967295 134512640 134716908 3221224576 3221222880 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10936 10234 1111 63 0 10873 0
vsize: 43744
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22741
Raw data (stat): 22741 (bsolo_lpr-v2) R 22740 25568 25567 0 -1 0 517311 0 0 0 109632 1403 0 0 25 0 1 0 897613248 45432832 10304 4294967295 134512640 134716908 3221224576 3221220736 1074794542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11092 10304 1111 63 0 11029 0
vsize: 44368
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22741
Raw data (stat): 22741 (bsolo_lpr-v2) R 22740 25568 25567 0 -1 0 521310 0 0 0 110620 1415 0 0 25 0 1 0 897613248 45064192 10281 4294967295 134512640 134716908 3221224576 3221222576 1074918591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11002 10281 1111 63 0 10939 0
vsize: 44008
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22741
Raw data (stat): 22741 (bsolo_lpr-v2) R 22740 25568 25567 0 -1 0 525238 0 0 0 111610 1425 0 0 25 0 1 0 897613248 45035520 10293 4294967295 134512640 134716908 3221224576 3221222960 1074153766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10995 10293 1111 63 0 10932 0
vsize: 43980
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22741
Raw data (stat): 22741 (bsolo_lpr-v2) R 22740 25568 25567 0 -1 0 529346 0 0 0 112598 1438 0 0 25 0 1 0 897613248 45092864 10307 4294967295 134512640 134716908 3221224576 3221222960 1074153815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11009 10307 1111 63 0 10946 0
vsize: 44036
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22741
Raw data (stat): 22741 (bsolo_lpr-v2) R 22740 25568 25567 0 -1 0 533450 0 0 0 113587 1449 0 0 25 0 1 0 897613248 45121536 10307 4294967295 134512640 134716908 3221224576 3221222976 1074118790 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11016 10307 1111 63 0 10953 0
vsize: 44064
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22741
Raw data (stat): 22741 (bsolo_lpr-v2) R 22740 25568 25567 0 -1 0 537852 0 0 0 114575 1462 0 0 25 0 1 0 897613248 45092864 10307 4294967295 134512640 134716908 3221224576 3221222576 1074056605 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11009 10307 1111 63 0 10946 0
vsize: 44036
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 22741
Raw data (stat): 22741 (bsolo_lpr-v2) R 22740 25568 25567 0 -1 0 542488 0 0 0 115563 1474 0 0 25 0 1 0 897613248 45883392 10413 4294967295 134512640 134716908 3221224576 3221220636 1075965152 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11202 10413 1111 63 0 11139 0
vsize: 44808
[startup+1174.76 s]
Raw data (loadavg): 0.99 0.98 0.91 1/53 22741
Raw data (stat): 22741 (bsolo_lpr-v2) R 22740 25568 25567 0 -1 0 542488 0 0 0 115563 1474 0 0 25 0 1 0 897613248 45883392 10413 4294967295 134512640 134716908 3221224576 3221220636 1075965152 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11202 10413 1111 63 0 11139 0
vsize: 0

Child status: 0
Real time (s): 1174.76
CPU time (s): 1175.11
CPU user time (s): 1160.28
CPU system time (s): 14.8287
CPU usage (%): 100.03
Max. virtual memory (Kb): 44808
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####