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-vpm2.opb
MD5SUM	8c44064d4224b1d41c28f152218dd39f
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	98
Optimality of the best value was proved	NO
Number of terms in the objective function	168
Biggest coefficient in the objective function	5
Number of bits for the biggest coefficient in the objective function	3
Sum of the numbers in the objective function	504
Number of bits of the sum of numbers in the objective function	9
Biggest number in a constraint	102400
Number of bits of the biggest number in a constraint	17
Biggest sum of numbers in a constraint	615983
Number of bits of the biggest sum of numbers	20
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.05084
Number of variables	2124
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	64
Trace number 40377

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-08 08:33:45 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28439 boxname=wulflinc3 idbench=1395 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  8c44064d4224b1d41c28f152218dd39f  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-vpm2.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-vpm2.opb
IDLAUNCH: 28439
/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:        837892 kB
Buffers:           232 kB
Cached:         175996 kB
SwapCached:        572 kB
Active:          25944 kB
Inactive:       152112 kB
HighTotal:      131008 kB
HighFree:        13720 kB
LowTotal:       903652 kB
LowFree:        824172 kB
SwapTotal:     2097136 kB
SwapFree:      2095336 kB
Dirty:              52 kB
Writeback:           0 kB
Mapped:           4808 kB
Slab:            13056 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 08:53:20 (client local time) WITH STATUS 0 IN 1175.21 SECONDS
stats: 28439 7 1175.21 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 2124 variables and 486 constraints.
c After prepocess the problem consists of 1392 variables and 289 constraints.
c preprocess terminated 44.776 s
c Initial Lower Bound: 40
c Lower Bound Elapsed time: 0.08575
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.19 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.88 0.95 0.90 2/54 23878
Raw data (stat): 23878 (runsolver) R 23877 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 900218553 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.0012 s]
Raw data (loadavg): 0.90 0.95 0.90 2/54 23878
Raw data (stat): 23878 (bsolo_lpr-v2) R 23877 20224 20223 0 -1 0 5996 0 0 0 983 14 0 0 25 0 1 0 900218553 27754496 5914 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6776 5914 1111 63 0 6713 0
vsize: 27104
[startup+20.0025 s]
Raw data (loadavg): 0.91 0.95 0.91 2/54 23878
Raw data (stat): 23878 (bsolo_lpr-v2) R 23877 20224 20223 0 -1 0 5996 0 0 0 1983 14 0 0 25 0 1 0 900218553 27754496 5914 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6776 5914 1111 63 0 6713 0
vsize: 27104
[startup+30.0039 s]
Raw data (loadavg): 0.93 0.95 0.91 2/54 23878
Raw data (stat): 23878 (bsolo_lpr-v2) R 23877 20224 20223 0 -1 0 5996 0 0 0 2983 14 0 0 25 0 1 0 900218553 27754496 5914 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6776 5914 1111 63 0 6713 0
vsize: 27104
[startup+40.0046 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 23878
Raw data (stat): 23878 (bsolo_lpr-v2) R 23877 20224 20223 0 -1 0 5996 0 0 0 3983 15 0 0 25 0 1 0 900218553 27754496 5914 4294967295 134512640 134716908 3221224576 3221223184 134557221 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6776 5914 1111 63 0 6713 0
vsize: 27104
[startup+50.0059 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 23878
Raw data (stat): 23878 (bsolo_lpr-v2) R 23877 20224 20223 0 -1 0 6839 0 0 0 4980 18 0 0 25 0 1 0 900218553 28090368 6096 4294967295 134512640 134716908 3221224576 3221220804 1075115073 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6858 6096 1111 63 0 6795 0
vsize: 27432
[startup+60.0063 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 23878
Raw data (stat): 23878 (bsolo_lpr-v2) R 23877 20224 20223 0 -1 0 8547 0 0 0 5974 23 0 0 25 0 1 0 900218553 27815936 6081 4294967295 134512640 134716908 3221224576 3221221680 1074138729 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6791 6081 1111 63 0 6728 0
vsize: 27164
[startup+70.0082 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 23878
Raw data (stat): 23878 (bsolo_lpr-v2) R 23877 20224 20223 0 -1 0 10280 0 0 0 6970 28 0 0 25 0 1 0 900218553 28127232 6101 4294967295 134512640 134716908 3221224576 3221220576 1075965246 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6867 6101 1111 63 0 6804 0
vsize: 27468
[startup+80.0094 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 23878
Raw data (stat): 23878 (bsolo_lpr-v2) R 23877 20224 20223 0 -1 0 12329 0 0 0 7962 36 0 0 25 0 1 0 900218553 27779072 6080 4294967295 134512640 134716908 3221224576 3221222344 1074138155 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6782 6080 1111 63 0 6719 0
vsize: 27128
[startup+90.0092 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 23878
Raw data (stat): 23878 (bsolo_lpr-v2) R 23877 20224 20223 0 -1 0 14127 0 0 0 8958 40 0 0 25 0 1 0 900218553 28131328 6100 4294967295 134512640 134716908 3221224576 3221220540 1074860626 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6868 6100 1111 63 0 6805 0
vsize: 27472
[startup+100.011 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 23878
Raw data (stat): 23878 (bsolo_lpr-v2) R 23877 20224 20223 0 -1 0 15689 0 0 0 9953 45 0 0 25 0 1 0 900218553 27779072 6080 4294967295 134512640 134716908 3221224576 3221223320 134536879 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6782 6080 1111 63 0 6719 0
vsize: 27128
[startup+110.011 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 23878
Raw data (stat): 23878 (bsolo_lpr-v2) R 23877 20224 20223 0 -1 0 17615 0 0 0 10947 51 0 0 25 0 1 0 900218553 27779072 6080 4294967295 134512640 134716908 3221224576 3221221328 1074247389 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6782 6080 1111 63 0 6719 0
vsize: 27128
[startup+120.012 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 23878
Raw data (stat): 23878 (bsolo_lpr-v2) R 23877 20224 20223 0 -1 0 19425 0 0 0 11942 57 0 0 25 0 1 0 900218553 27779072 6080 4294967295 134512640 134716908 3221224576 3221222512 1074051747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6782 6080 1111 63 0 6719 0
vsize: 27128
[startup+130.013 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 23878
Raw data (stat): 23878 (bsolo_lpr-v2) R 23877 20224 20223 0 -1 0 20750 0 0 0 12938 61 0 0 25 0 1 0 900218553 28131328 6113 4294967295 134512640 134716908 3221224576 3221220672 1074879316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6868 6113 1111 63 0 6805 0
vsize: 27472
[startup+140.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 23878
Raw data (stat): 23878 (bsolo_lpr-v2) R 23877 20224 20223 0 -1 0 22425 0 0 0 13933 66 0 0 25 0 1 0 900218553 27779072 6082 4294967295 134512640 134716908 3221224576 3221222832 1074153815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6782 6082 1111 63 0 6719 0
vsize: 27128
[startup+150.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 23878
Raw data (stat): 23878 (bsolo_lpr-v2) R 23877 20224 20223 0 -1 0 24261 0 0 0 14929 70 0 0 25 0 1 0 900218553 28000256 6089 4294967295 134512640 134716908 3221224576 3221221504 1075960519 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6836 6089 1111 63 0 6773 0
vsize: 27344
[startup+160.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 23878
Raw data (stat): 23878 (bsolo_lpr-v2) R 23877 20224 20223 0 -1 0 26047 0 0 0 15923 76 0 0 25 0 1 0 900218553 27918336 6084 4294967295 134512640 134716908 3221224576 3221222304 1075828441 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6816 6084 1111 63 0 6753 0
vsize: 27264
[startup+170.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23878
Raw data (stat): 23878 (bsolo_lpr-v2) R 23877 20224 20223 0 -1 0 28199 0 0 0 16916 83 0 0 25 0 1 0 900218553 27779072 6082 4294967295 134512640 134716908 3221224576 3221222440 1077380592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6782 6082 1111 63 0 6719 0
vsize: 27128
[startup+180.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23878
Raw data (stat): 23878 (bsolo_lpr-v2) R 23877 20224 20223 0 -1 0 30347 0 0 0 17909 90 0 0 25 0 1 0 900218553 27779072 6084 4294967295 134512640 134716908 3221224576 3221222728 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6782 6084 1111 63 0 6719 0
vsize: 27128
[startup+190.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23878
Raw data (stat): 23878 (bsolo_lpr-v2) R 23877 20224 20223 0 -1 0 32177 0 0 0 18902 97 0 0 25 0 1 0 900218553 27877376 6099 4294967295 134512640 134716908 3221224576 3221222576 1074918062 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6806 6099 1111 63 0 6743 0
vsize: 27224
[startup+200.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23878
Raw data (stat): 23878 (bsolo_lpr-v2) R 23877 20224 20223 0 -1 0 34013 0 0 0 19897 103 0 0 25 0 1 0 900218553 28037120 6097 4294967295 134512640 134716908 3221224576 3221221644 1074831203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6845 6097 1111 63 0 6782 0
vsize: 27380
[startup+210.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23878
Raw data (stat): 23878 (bsolo_lpr-v2) R 23877 20224 20223 0 -1 0 36271 0 0 0 20888 112 0 0 25 0 1 0 900218553 27779072 6084 4294967295 134512640 134716908 3221224576 3221222904 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6782 6084 1111 63 0 6719 0
vsize: 27128
[startup+220.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23878
Raw data (stat): 23878 (bsolo_lpr-v2) R 23877 20224 20223 0 -1 0 38574 0 0 0 21879 120 0 0 25 0 1 0 900218553 28028928 6106 4294967295 134512640 134716908 3221224576 3221220540 1074860617 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6843 6106 1111 63 0 6780 0
vsize: 27372
[startup+230.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23878
Raw data (stat): 23878 (bsolo_lpr-v2) R 23877 20224 20223 0 -1 0 40873 0 0 0 22872 128 0 0 25 0 1 0 900218553 27811840 6089 4294967295 134512640 134716908 3221224576 3221222228 1077378683 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6790 6089 1111 63 0 6727 0
vsize: 27160
[startup+240.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23878
Raw data (stat): 23878 (bsolo_lpr-v2) R 23877 20224 20223 0 -1 0 43112 0 0 0 23866 134 0 0 25 0 1 0 900218553 27779072 6084 4294967295 134512640 134716908 3221224576 3221222408 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6782 6084 1111 63 0 6719 0
vsize: 27128
[startup+250.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23878
Raw data (stat): 23878 (bsolo_lpr-v2) R 23877 20224 20223 0 -1 0 45173 0 0 0 24860 140 0 0 25 0 1 0 900218553 27914240 6117 4294967295 134512640 134716908 3221224576 3221222320 1075640384 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6815 6117 1111 63 0 6752 0
vsize: 27260
[startup+260.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23878
Raw data (stat): 23878 (bsolo_lpr-v2) R 23877 20224 20223 0 -1 0 47092 0 0 0 25854 146 0 0 25 0 1 0 900218553 27869184 6106 4294967295 134512640 134716908 3221224576 3221222928 1074153812 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6804 6106 1111 63 0 6741 0
vsize: 27216
[startup+270.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23878
Raw data (stat): 23878 (bsolo_lpr-v2) R 23877 20224 20223 0 -1 0 49090 0 0 0 26847 154 0 0 25 0 1 0 900218553 27942912 6124 4294967295 134512640 134716908 3221224576 3221222912 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6822 6124 1111 63 0 6759 0
vsize: 27288
[startup+280.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23878
Raw data (stat): 23878 (bsolo_lpr-v2) R 23877 20224 20223 0 -1 0 51111 0 0 0 27840 160 0 0 25 0 1 0 900218553 28024832 6144 4294967295 134512640 134716908 3221224576 3221222864 134652452 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6842 6144 1111 63 0 6779 0
vsize: 27368
[startup+290.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23878
Raw data (stat): 23878 (bsolo_lpr-v2) R 23877 20224 20223 0 -1 0 53122 0 0 0 28834 167 0 0 25 0 1 0 900218553 28037120 6147 4294967295 134512640 134716908 3221224576 3221223256 134558629 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6845 6147 1111 63 0 6782 0
vsize: 27380
[startup+300.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23878
Raw data (stat): 23878 (bsolo_lpr-v2) R 23877 20224 20223 0 -1 0 54744 0 0 0 29828 172 0 0 25 0 1 0 900218553 27947008 6125 4294967295 134512640 134716908 3221224576 3221222768 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6823 6125 1111 63 0 6760 0
vsize: 27292
[startup+310.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23878
Raw data (stat): 23878 (bsolo_lpr-v2) R 23877 20224 20223 0 -1 0 55659 0 0 0 30825 176 0 0 25 0 1 0 900218553 27947008 6125 4294967295 134512640 134716908 3221224576 3221222604 1073978469 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6823 6125 1111 63 0 6760 0
vsize: 27292
[startup+320.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23878
Raw data (stat): 23878 (bsolo_lpr-v2) R 23877 20224 20223 0 -1 0 57374 0 0 0 31819 182 0 0 25 0 1 0 900218553 28061696 6152 4294967295 134512640 134716908 3221224576 3221222976 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6851 6152 1111 63 0 6788 0
vsize: 27404
[startup+330.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23878
Raw data (stat): 23878 (bsolo_lpr-v2) R 23877 20224 20223 0 -1 0 59515 0 0 0 32812 189 0 0 25 0 1 0 900218553 28327936 6146 4294967295 134512640 134716908 3221224576 3221221600 1074810521 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6916 6146 1111 63 0 6853 0
vsize: 27664
[startup+340.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23878
Raw data (stat): 23878 (bsolo_lpr-v2) R 23877 20224 20223 0 -1 0 61647 0 0 0 33806 195 0 0 25 0 1 0 900218553 28241920 6165 4294967295 134512640 134716908 3221224576 3221220672 1074969467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6895 6165 1111 63 0 6832 0
vsize: 27580
[startup+350.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23878
Raw data (stat): 23878 (bsolo_lpr-v2) R 23877 20224 20223 0 -1 0 63755 0 0 0 34801 201 0 0 25 0 1 0 900218553 27983872 6134 4294967295 134512640 134716908 3221224576 3221222824 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6832 6134 1111 63 0 6769 0
vsize: 27328
[startup+360.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23878
Raw data (stat): 23878 (bsolo_lpr-v2) R 23877 20224 20223 0 -1 0 65633 0 0 0 35796 206 0 0 25 0 1 0 900218553 28418048 6172 4294967295 134512640 134716908 3221224576 3221220572 1074860993 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6938 6172 1111 63 0 6875 0
vsize: 27752
[startup+370.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23878
Raw data (stat): 23878 (bsolo_lpr-v2) R 23877 20224 20223 0 -1 0 67509 0 0 0 36790 212 0 0 25 0 1 0 900218553 28229632 6161 4294967295 134512640 134716908 3221224576 3221220540 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6892 6161 1111 63 0 6829 0
vsize: 27568
[startup+380.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23878
Raw data (stat): 23878 (bsolo_lpr-v2) R 23877 20224 20223 0 -1 0 69504 0 0 0 37784 218 0 0 25 0 1 0 900218553 28086272 6147 4294967295 134512640 134716908 3221224576 3221222928 1074115298 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6857 6147 1111 63 0 6794 0
vsize: 27428
[startup+390.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23878
Raw data (stat): 23878 (bsolo_lpr-v2) R 23877 20224 20223 0 -1 0 71538 0 0 0 38777 225 0 0 25 0 1 0 900218553 27979776 6133 4294967295 134512640 134716908 3221224576 3221222800 1074153806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6831 6133 1111 63 0 6768 0
vsize: 27324
[startup+400.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23878
Raw data (stat): 23878 (bsolo_lpr-v2) R 23877 20224 20223 0 -1 0 73509 0 0 0 39771 232 0 0 25 0 1 0 900218553 28123136 6149 4294967295 134512640 134716908 3221224576 3221222992 1074117089 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6866 6149 1111 63 0 6803 0
vsize: 27464
[startup+410.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23878
Raw data (stat): 23878 (bsolo_lpr-v2) R 23877 20224 20223 0 -1 0 75531 0 0 0 40763 239 0 0 25 0 1 0 900218553 28016640 6142 4294967295 134512640 134716908 3221224576 3221222720 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6840 6142 1111 63 0 6777 0
vsize: 27360
[startup+420.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23878
Raw data (stat): 23878 (bsolo_lpr-v2) R 23877 20224 20223 0 -1 0 77822 0 0 0 41757 246 0 0 25 0 1 0 900218553 28151808 6164 4294967295 134512640 134716908 3221224576 3221222152 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6873 6164 1111 63 0 6810 0
vsize: 27492
[startup+430.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23878
Raw data (stat): 23878 (bsolo_lpr-v2) R 23877 20224 20223 0 -1 0 79739 0 0 0 42752 251 0 0 25 0 1 0 900218553 28295168 6173 4294967295 134512640 134716908 3221224576 3221221060 1075863632 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6908 6173 1111 63 0 6845 0
vsize: 27632
[startup+440.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23878
Raw data (stat): 23878 (bsolo_lpr-v2) R 23877 20224 20223 0 -1 0 81746 0 0 0 43746 257 0 0 25 0 1 0 900218553 28114944 6165 4294967295 134512640 134716908 3221224576 3221222544 1074153736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6864 6165 1111 63 0 6801 0
vsize: 27456
[startup+450.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23878
Raw data (stat): 23878 (bsolo_lpr-v2) R 23877 20224 20223 0 -1 0 83801 0 0 0 44740 264 0 0 25 0 1 0 900218553 28438528 6173 4294967295 134512640 134716908 3221224576 3221220848 1074806858 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6943 6173 1111 63 0 6880 0
vsize: 27772
[startup+460.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23878
Raw data (stat): 23878 (bsolo_lpr-v2) R 23877 20224 20223 0 -1 0 86214 0 0 0 45732 272 0 0 25 0 1 0 900218553 28229632 6148 4294967295 134512640 134716908 3221224576 3221222496 1075799689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6892 6148 1111 63 0 6829 0
vsize: 27568
[startup+470.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23878
Raw data (stat): 23878 (bsolo_lpr-v2) R 23877 20224 20223 0 -1 0 88525 0 0 0 46725 279 0 0 25 0 1 0 900218553 28004352 6139 4294967295 134512640 134716908 3221224576 3221222556 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6837 6139 1111 63 0 6774 0
vsize: 27348
[startup+480.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23878
Raw data (stat): 23878 (bsolo_lpr-v2) R 23877 20224 20223 0 -1 0 90554 0 0 0 47718 287 0 0 25 0 1 0 900218553 28004352 6139 4294967295 134512640 134716908 3221224576 3221221944 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6837 6139 1111 63 0 6774 0
vsize: 27348
[startup+490.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23878
Raw data (stat): 23878 (bsolo_lpr-v2) R 23877 20224 20223 0 -1 0 92466 0 0 0 48712 293 0 0 25 0 1 0 900218553 28053504 6151 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6849 6151 1111 63 0 6786 0
vsize: 27396
[startup+500.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23878
Raw data (stat): 23878 (bsolo_lpr-v2) R 23877 20224 20223 0 -1 0 94421 0 0 0 49707 298 0 0 25 0 1 0 900218553 28479488 6191 4294967295 134512640 134716908 3221224576 3221221804 1075334384 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6953 6191 1111 63 0 6890 0
vsize: 27812
[startup+510.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23878
Raw data (stat): 23878 (bsolo_lpr-v2) R 23877 20224 20223 0 -1 0 96081 0 0 0 50701 304 0 0 25 0 1 0 900218553 28549120 6214 4294967295 134512640 134716908 3221224576 3221220720 1074969486 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6970 6214 1111 63 0 6907 0
vsize: 27880
[startup+520.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23878
Raw data (stat): 23878 (bsolo_lpr-v2) R 23877 20224 20223 0 -1 0 97793 0 0 0 51695 311 0 0 25 0 1 0 900218553 28196864 6185 4294967295 134512640 134716908 3221224576 3221222928 1074115298 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6884 6185 1111 63 0 6821 0
vsize: 27536
[startup+530.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23878
Raw data (stat): 23878 (bsolo_lpr-v2) R 23877 20224 20223 0 -1 0 98919 0 0 0 52692 314 0 0 25 0 1 0 900218553 28196864 6184 4294967295 134512640 134716908 3221224576 3221222928 1074142734 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6884 6184 1111 63 0 6821 0
vsize: 27536
[startup+540.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23878
Raw data (stat): 23878 (bsolo_lpr-v2) R 23877 20224 20223 0 -1 0 99739 0 0 0 53688 317 0 0 25 0 1 0 900218553 28196864 6186 4294967295 134512640 134716908 3221224576 3221222656 1075963584 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6884 6186 1111 63 0 6821 0
vsize: 27536
[startup+550.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23878
Raw data (stat): 23878 (bsolo_lpr-v2) R 23877 20224 20223 0 -1 0 100293 0 0 0 54685 321 0 0 25 0 1 0 900218553 28311552 6181 4294967295 134512640 134716908 3221224576 3221222444 1077386340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6912 6181 1111 63 0 6849 0
vsize: 27648
[startup+560.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23878
Raw data (stat): 23878 (bsolo_lpr-v2) R 23877 20224 20223 0 -1 0 100740 0 0 0 55683 323 0 0 25 0 1 0 900218553 28196864 6181 4294967295 134512640 134716908 3221224576 3221222976 1074118815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6884 6181 1111 63 0 6821 0
vsize: 27536
[startup+570.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23878
Raw data (stat): 23878 (bsolo_lpr-v2) R 23877 20224 20223 0 -1 0 101350 0 0 0 56680 326 0 0 25 0 1 0 900218553 28196864 6180 4294967295 134512640 134716908 3221224576 3221222736 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6884 6180 1111 63 0 6821 0
vsize: 27536
[startup+580.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23878
Raw data (stat): 23878 (bsolo_lpr-v2) R 23877 20224 20223 0 -1 0 101814 0 0 0 57677 329 0 0 25 0 1 0 900218553 28196864 6186 4294967295 134512640 134716908 3221224576 3221222828 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6884 6186 1111 63 0 6821 0
vsize: 27536
[startup+590.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23878
Raw data (stat): 23878 (bsolo_lpr-v2) R 23877 20224 20223 0 -1 0 102394 0 0 0 58674 333 0 0 25 0 1 0 900218553 28196864 6183 4294967295 134512640 134716908 3221224576 3221222400 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6884 6183 1111 63 0 6821 0
vsize: 27536
[startup+600.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23878
Raw data (stat): 23878 (bsolo_lpr-v2) R 23877 20224 20223 0 -1 0 102895 0 0 0 59672 335 0 0 25 0 1 0 900218553 28196864 6180 4294967295 134512640 134716908 3221224576 3221222744 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6884 6180 1111 63 0 6821 0
vsize: 27536
[startup+610.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23878
Raw data (stat): 23878 (bsolo_lpr-v2) R 23877 20224 20223 0 -1 0 103283 0 0 0 60670 338 0 0 25 0 1 0 900218553 28172288 6180 4294967295 134512640 134716908 3221224576 3221222304 1075829526 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6878 6180 1111 63 0 6815 0
vsize: 27512
[startup+620.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23878
Raw data (stat): 23878 (bsolo_lpr-v2) R 23877 20224 20223 0 -1 0 103698 0 0 0 61668 340 0 0 25 0 1 0 900218553 28196864 6181 4294967295 134512640 134716908 3221224576 3221222928 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6884 6181 1111 63 0 6821 0
vsize: 27536
[startup+630.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23878
Raw data (stat): 23878 (bsolo_lpr-v2) R 23877 20224 20223 0 -1 0 104130 0 0 0 62666 342 0 0 25 0 1 0 900218553 28336128 6184 4294967295 134512640 134716908 3221224576 3221221648 1074867308 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6918 6184 1111 63 0 6855 0
vsize: 27672
[startup+640.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23878
Raw data (stat): 23878 (bsolo_lpr-v2) R 23877 20224 20223 0 -1 0 104820 0 0 0 63664 344 0 0 25 0 1 0 900218553 28196864 6185 4294967295 134512640 134716908 3221224576 3221222488 1074138330 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6884 6185 1111 63 0 6821 0
vsize: 27536
[startup+650.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23878
Raw data (stat): 23878 (bsolo_lpr-v2) R 23877 20224 20223 0 -1 0 105615 0 0 0 64660 348 0 0 25 0 1 0 900218553 28196864 6183 4294967295 134512640 134716908 3221224576 3221222824 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6884 6183 1111 63 0 6821 0
vsize: 27536
[startup+660.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23878
Raw data (stat): 23878 (bsolo_lpr-v2) R 23877 20224 20223 0 -1 0 106672 0 0 0 65656 353 0 0 25 0 1 0 900218553 28332032 6190 4294967295 134512640 134716908 3221224576 3221220896 1075894562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6917 6190 1111 63 0 6854 0
vsize: 27668
[startup+670.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23878
Raw data (stat): 23878 (bsolo_lpr-v2) R 23877 20224 20223 0 -1 0 108236 0 0 0 66650 358 0 0 25 0 1 0 900218553 28196864 6186 4294967295 134512640 134716908 3221224576 3221222864 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6884 6186 1111 63 0 6821 0
vsize: 27536
[startup+680.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23878
Raw data (stat): 23878 (bsolo_lpr-v2) R 23877 20224 20223 0 -1 0 110415 0 0 0 67643 366 0 0 25 0 1 0 900218553 28196864 6186 4294967295 134512640 134716908 3221224576 3221223192 134543168 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6884 6186 1111 63 0 6821 0
vsize: 27536
[startup+690.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23878
Raw data (stat): 23878 (bsolo_lpr-v2) R 23877 20224 20223 0 -1 0 111496 0 0 0 68638 371 0 0 25 0 1 0 900218553 28196864 6186 4294967295 134512640 134716908 3221224576 3221221680 1074138614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6884 6186 1111 63 0 6821 0
vsize: 27536
[startup+700.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23878
Raw data (stat): 23878 (bsolo_lpr-v2) R 23877 20224 20223 0 -1 0 112359 0 0 0 69634 375 0 0 25 0 1 0 900218553 28196864 6186 4294967295 134512640 134716908 3221224576 3221223320 134558582 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6884 6186 1111 63 0 6821 0
vsize: 27536
[startup+710.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23878
Raw data (stat): 23878 (bsolo_lpr-v2) R 23877 20224 20223 0 -1 0 113960 0 0 0 70627 382 0 0 25 0 1 0 900218553 28499968 6197 4294967295 134512640 134716908 3221224576 3221220492 1074860566 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6958 6197 1111 63 0 6895 0
vsize: 27832
[startup+720.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23878
Raw data (stat): 23878 (bsolo_lpr-v2) R 23877 20224 20223 0 -1 0 116382 0 0 0 71622 388 0 0 25 0 1 0 900218553 28356608 6193 4294967295 134512640 134716908 3221224576 3221222400 1075823559 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6923 6193 1111 63 0 6860 0
vsize: 27692
[startup+730.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23878
Raw data (stat): 23878 (bsolo_lpr-v2) R 23877 20224 20223 0 -1 0 118797 0 0 0 72614 395 0 0 25 0 1 0 900218553 28196864 6184 4294967295 134512640 134716908 3221224576 3221223232 134652244 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6884 6184 1111 63 0 6821 0
vsize: 27536
[startup+740.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23878
Raw data (stat): 23878 (bsolo_lpr-v2) R 23877 20224 20223 0 -1 0 121436 0 0 0 73606 403 0 0 25 0 1 0 900218553 28196864 6186 4294967295 134512640 134716908 3221224576 3221222928 1074118815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6884 6186 1111 63 0 6821 0
vsize: 27536
[startup+750.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23878
Raw data (stat): 23878 (bsolo_lpr-v2) R 23877 20224 20223 0 -1 0 124390 0 0 0 74597 413 0 0 25 0 1 0 900218553 28327936 6203 4294967295 134512640 134716908 3221224576 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6916 6203 1111 63 0 6853 0
vsize: 27664
[startup+760.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23878
Raw data (stat): 23878 (bsolo_lpr-v2) R 23877 20224 20223 0 -1 0 127964 0 0 0 75585 425 0 0 25 0 1 0 900218553 28196864 6186 4294967295 134512640 134716908 3221224576 3221222248 1077380277 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6884 6186 1111 63 0 6821 0
vsize: 27536
[startup+770.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23878
Raw data (stat): 23878 (bsolo_lpr-v2) R 23877 20224 20223 0 -1 0 131123 0 0 0 76576 434 0 0 25 0 1 0 900218553 28172288 6180 4294967295 134512640 134716908 3221224576 3221222992 1074116396 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6878 6180 1111 63 0 6815 0
vsize: 27512
[startup+780.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23878
Raw data (stat): 23878 (bsolo_lpr-v2) R 23877 20224 20223 0 -1 0 135217 0 0 0 77564 446 0 0 25 0 1 0 900218553 28614656 6206 4294967295 134512640 134716908 3221224576 3221220736 1074794655 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6986 6206 1111 63 0 6923 0
vsize: 27944
[startup+790.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23878
Raw data (stat): 23878 (bsolo_lpr-v2) R 23877 20224 20223 0 -1 0 138225 0 0 0 78555 456 0 0 25 0 1 0 900218553 28172288 6180 4294967295 134512640 134716908 3221224576 3221222960 1074153812 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6878 6180 1111 63 0 6815 0
vsize: 27512
[startup+800.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23878
Raw data (stat): 23878 (bsolo_lpr-v2) R 23877 20224 20223 0 -1 0 140318 0 0 0 79547 464 0 0 25 0 1 0 900218553 28172288 6180 4294967295 134512640 134716908 3221224576 3221222576 1074916908 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6878 6180 1111 63 0 6815 0
vsize: 27512
[startup+810.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23878
Raw data (stat): 23878 (bsolo_lpr-v2) R 23877 20224 20223 0 -1 0 142572 0 0 0 80541 471 0 0 25 0 1 0 900218553 28172288 6180 4294967295 134512640 134716908 3221224576 3221222592 1074153736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6878 6180 1111 63 0 6815 0
vsize: 27512
[startup+820.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23878
Raw data (stat): 23878 (bsolo_lpr-v2) R 23877 20224 20223 0 -1 0 145379 0 0 0 81534 478 0 0 25 0 1 0 900218553 28172288 6180 4294967295 134512640 134716908 3221224576 3221222496 1075799660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6878 6180 1111 63 0 6815 0
vsize: 27512
[startup+830.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23878
Raw data (stat): 23878 (bsolo_lpr-v2) R 23877 20224 20223 0 -1 0 149405 0 0 0 82522 490 0 0 25 0 1 0 900218553 28184576 6183 4294967295 134512640 134716908 3221224576 3221222928 1074153660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6881 6183 1111 63 0 6818 0
vsize: 27524
[startup+840.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23878
Raw data (stat): 23878 (bsolo_lpr-v2) R 23877 20224 20223 0 -1 0 152887 0 0 0 83511 500 0 0 25 0 1 0 900218553 28172288 6180 4294967295 134512640 134716908 3221224576 3221222792 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6878 6180 1111 63 0 6815 0
vsize: 27512
[startup+850.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23878
Raw data (stat): 23878 (bsolo_lpr-v2) R 23877 20224 20223 0 -1 0 155411 0 0 0 84504 508 0 0 25 0 1 0 900218553 28188672 6182 4294967295 134512640 134716908 3221224576 3221222848 1074153749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6882 6182 1111 63 0 6819 0
vsize: 27528
[startup+860.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23878
Raw data (stat): 23878 (bsolo_lpr-v2) R 23877 20224 20223 0 -1 0 157516 0 0 0 85497 515 0 0 25 0 1 0 900218553 28172288 6180 4294967295 134512640 134716908 3221224576 3221222464 1074050884 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6878 6180 1111 63 0 6815 0
vsize: 27512
[startup+870.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23878
Raw data (stat): 23878 (bsolo_lpr-v2) R 23877 20224 20223 0 -1 0 159921 0 0 0 86491 522 0 0 25 0 1 0 900218553 28172288 6180 4294967295 134512640 134716908 3221224576 3221222400 1074153648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6878 6180 1111 63 0 6815 0
vsize: 27512
[startup+880.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23878
Raw data (stat): 23878 (bsolo_lpr-v2) R 23877 20224 20223 0 -1 0 162476 0 0 0 87483 529 0 0 25 0 1 0 900218553 28172288 6180 4294967295 134512640 134716908 3221224576 3221222776 1074138144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6878 6180 1111 63 0 6815 0
vsize: 27512
[startup+890.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23878
Raw data (stat): 23878 (bsolo_lpr-v2) R 23877 20224 20223 0 -1 0 165484 0 0 0 88475 538 0 0 25 0 1 0 900218553 28352512 6181 4294967295 134512640 134716908 3221224576 3221222304 1075828459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6922 6181 1111 63 0 6859 0
vsize: 27688
[startup+900.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23878
Raw data (stat): 23878 (bsolo_lpr-v2) R 23877 20224 20223 0 -1 0 168181 0 0 0 89466 547 0 0 25 0 1 0 900218553 28258304 6201 4294967295 134512640 134716908 3221224576 3221222816 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6899 6201 1111 63 0 6836 0
vsize: 27596
[startup+910.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23878
Raw data (stat): 23878 (bsolo_lpr-v2) R 23877 20224 20223 0 -1 0 170816 0 0 0 90458 555 0 0 25 0 1 0 900218553 28315648 6216 4294967295 134512640 134716908 3221224576 3221222928 1074153794 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6913 6216 1111 63 0 6850 0
vsize: 27652
[startup+920.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23878
Raw data (stat): 23878 (bsolo_lpr-v2) R 23877 20224 20223 0 -1 0 173093 0 0 0 91452 561 0 0 25 0 1 0 900218553 28381184 6230 4294967295 134512640 134716908 3221224576 3221222336 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6929 6230 1111 63 0 6866 0
vsize: 27716
[startup+930.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23878
Raw data (stat): 23878 (bsolo_lpr-v2) R 23877 20224 20223 0 -1 0 175208 0 0 0 92446 568 0 0 25 0 1 0 900218553 28299264 6200 4294967295 134512640 134716908 3221224576 3221222576 1074916869 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6909 6200 1111 63 0 6846 0
vsize: 27636
[startup+940.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23878
Raw data (stat): 23878 (bsolo_lpr-v2) R 23877 20224 20223 0 -1 0 177766 0 0 0 93437 577 0 0 25 0 1 0 900218553 28291072 6210 4294967295 134512640 134716908 3221224576 3221222824 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6907 6210 1111 63 0 6844 0
vsize: 27628
[startup+950.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23878
Raw data (stat): 23878 (bsolo_lpr-v2) R 23877 20224 20223 0 -1 0 180198 0 0 0 94429 585 0 0 25 0 1 0 900218553 28663808 6238 4294967295 134512640 134716908 3221224576 3221220576 1075965307 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6998 6238 1111 63 0 6935 0
vsize: 27992
[startup+960.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23878
Raw data (stat): 23878 (bsolo_lpr-v2) R 23877 20224 20223 0 -1 0 182162 0 0 0 95424 591 0 0 25 0 1 0 900218553 28291072 6210 4294967295 134512640 134716908 3221224576 3221222976 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6907 6210 1111 63 0 6844 0
vsize: 27628
[startup+970.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23878
Raw data (stat): 23878 (bsolo_lpr-v2) R 23877 20224 20223 0 -1 0 184871 0 0 0 96416 599 0 0 25 0 1 0 900218553 28332032 6219 4294967295 134512640 134716908 3221224576 3221222232 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6917 6219 1111 63 0 6854 0
vsize: 27668
[startup+980.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23878
Raw data (stat): 23878 (bsolo_lpr-v2) R 23877 20224 20223 0 -1 0 186915 0 0 0 97411 604 0 0 25 0 1 0 900218553 28291072 6210 4294967295 134512640 134716908 3221224576 3221222912 1074153800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6907 6210 1111 63 0 6844 0
vsize: 27628
[startup+990.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23878
Raw data (stat): 23878 (bsolo_lpr-v2) R 23877 20224 20223 0 -1 0 189106 0 0 0 98404 611 0 0 25 0 1 0 900218553 28291072 6210 4294967295 134512640 134716908 3221224576 3221222992 1074116215 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6907 6210 1111 63 0 6844 0
vsize: 27628
[startup+1000.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23878
Raw data (stat): 23878 (bsolo_lpr-v2) R 23877 20224 20223 0 -1 0 191305 0 0 0 99398 617 0 0 25 0 1 0 900218553 28332032 6220 4294967295 134512640 134716908 3221224576 3221221680 1074138729 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6917 6220 1111 63 0 6854 0
vsize: 27668
[startup+1010.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23878
Raw data (stat): 23878 (bsolo_lpr-v2) R 23877 20224 20223 0 -1 0 193451 0 0 0 100392 623 0 0 25 0 1 0 900218553 28332032 6220 4294967295 134512640 134716908 3221224576 3221221680 1074138853 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6917 6220 1111 63 0 6854 0
vsize: 27668
[startup+1020.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23878
Raw data (stat): 23878 (bsolo_lpr-v2) R 23877 20224 20223 0 -1 0 195644 0 0 0 101386 629 0 0 25 0 1 0 900218553 28291072 6210 4294967295 134512640 134716908 3221224576 3221222912 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6907 6210 1111 63 0 6844 0
vsize: 27628
[startup+1030.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23878
Raw data (stat): 23878 (bsolo_lpr-v2) R 23877 20224 20223 0 -1 0 197756 0 0 0 102381 635 0 0 25 0 1 0 900218553 28340224 6222 4294967295 134512640 134716908 3221224576 3221222256 1075895023 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6919 6222 1111 63 0 6856 0
vsize: 27676
[startup+1040.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23878
Raw data (stat): 23878 (bsolo_lpr-v2) R 23877 20224 20223 0 -1 0 199569 0 0 0 103376 640 0 0 25 0 1 0 900218553 28340224 6222 4294967295 134512640 134716908 3221224576 3221222912 1074153800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6919 6222 1111 63 0 6856 0
vsize: 27676
[startup+1050.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23878
Raw data (stat): 23878 (bsolo_lpr-v2) R 23877 20224 20223 0 -1 0 201499 0 0 0 104371 645 0 0 25 0 1 0 900218553 28340224 6222 4294967295 134512640 134716908 3221224576 3221222264 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6919 6222 1111 63 0 6856 0
vsize: 27676
[startup+1060.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23878
Raw data (stat): 23878 (bsolo_lpr-v2) R 23877 20224 20223 0 -1 0 203390 0 0 0 105364 652 0 0 25 0 1 0 900218553 28667904 6248 4294967295 134512640 134716908 3221224576 3221220580 1074875793 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6999 6248 1111 63 0 6936 0
vsize: 27996
[startup+1070.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23878
Raw data (stat): 23878 (bsolo_lpr-v2) R 23877 20224 20223 0 -1 0 205200 0 0 0 106359 657 0 0 25 0 1 0 900218553 28340224 6221 4294967295 134512640 134716908 3221224576 3221222744 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6919 6221 1111 63 0 6856 0
vsize: 27676
[startup+1080.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23878
Raw data (stat): 23878 (bsolo_lpr-v2) R 23877 20224 20223 0 -1 0 207004 0 0 0 107354 662 0 0 25 0 1 0 900218553 28340224 6222 4294967295 134512640 134716908 3221224576 3221222960 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6919 6222 1111 63 0 6856 0
vsize: 27676
[startup+1090.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23878
Raw data (stat): 23878 (bsolo_lpr-v2) R 23877 20224 20223 0 -1 0 209170 0 0 0 108347 670 0 0 25 0 1 0 900218553 28340224 6222 4294967295 134512640 134716908 3221224576 3221222768 1074153673 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6919 6222 1111 63 0 6856 0
vsize: 27676
[startup+1100.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23878
Raw data (stat): 23878 (bsolo_lpr-v2) R 23877 20224 20223 0 -1 0 211489 0 0 0 109339 678 0 0 25 0 1 0 900218553 28340224 6222 4294967295 134512640 134716908 3221224576 3221222736 134652402 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6919 6222 1111 63 0 6856 0
vsize: 27676
[startup+1110.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23878
Raw data (stat): 23878 (bsolo_lpr-v2) R 23877 20224 20223 0 -1 0 213319 0 0 0 110334 683 0 0 25 0 1 0 900218553 28381184 6224 4294967295 134512640 134716908 3221224576 3221221632 1074139024 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6962 6228 1111 63 0 6899 0
vsize: 27716
[startup+1120.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23878
Raw data (stat): 23878 (bsolo_lpr-v2) R 23877 20224 20223 0 -1 0 215558 0 0 0 111328 690 0 0 25 0 1 0 900218553 28377088 6224 4294967295 134512640 134716908 3221224576 3221222576 1074913474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6928 6224 1111 63 0 6865 0
vsize: 27712
[startup+1130.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23878
Raw data (stat): 23878 (bsolo_lpr-v2) R 23877 20224 20223 0 -1 0 217667 0 0 0 112321 697 0 0 25 0 1 0 900218553 28696576 6259 4294967295 134512640 134716908 3221224576 3221220540 1074860630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7006 6259 1111 63 0 6943 0
vsize: 28024
[startup+1140.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23878
Raw data (stat): 23878 (bsolo_lpr-v2) R 23877 20224 20223 0 -1 0 219594 0 0 0 113315 702 0 0 25 0 1 0 900218553 28561408 6269 4294967295 134512640 134716908 3221224576 3221221632 1074138838 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6973 6269 1111 63 0 6910 0
vsize: 27892
[startup+1150.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23878
Raw data (stat): 23878 (bsolo_lpr-v2) R 23877 20224 20223 0 -1 0 221011 0 0 0 114311 706 0 0 25 0 1 0 900218553 28823552 6276 4294967295 134512640 134716908 3221224576 3221221632 1075084627 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7037 6276 1111 63 0 6974 0
vsize: 28148
[startup+1160.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23878
Raw data (stat): 23878 (bsolo_lpr-v2) R 23877 20224 20223 0 -1 0 222087 0 0 0 115308 710 0 0 25 0 1 0 900218553 28512256 6263 4294967295 134512640 134716908 3221224576 3221222356 1077404828 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6961 6263 1111 63 0 6898 0
vsize: 27844
[startup+1170.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23878
Raw data (stat): 23878 (bsolo_lpr-v2) R 23877 20224 20223 0 -1 0 223081 0 0 0 116305 713 0 0 25 0 1 0 900218553 28823552 6270 4294967295 134512640 134716908 3221224576 3221220736 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7037 6273 1111 63 0 6974 0
vsize: 28148
[startup+1175.08 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 23878
Raw data (stat): 23878 (bsolo_lpr-v2) R 23877 20224 20223 0 -1 0 223081 0 0 0 116305 713 0 0 25 0 1 0 900218553 28823552 6270 4294967295 134512640 134716908 3221224576 3221220736 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7037 6273 1111 63 0 6974 0
vsize: 0

Child status: 0
Real time (s): 1175.08
CPU time (s): 1175.21
CPU user time (s): 1168.05
CPU system time (s): 7.16091
CPU usage (%): 100.011
Max. virtual memory (Kb): 28148
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####