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/miplib/normalized-mps-v2-13-7-fixnet6.opb
MD5SUM	1b379137169731592d0d61cac8bf57af
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	5123480
Optimality of the best value was proved	NO
Number of terms in the objective function	8282
Biggest coefficient in the objective function	1048576
Number of bits for the biggest coefficient in the objective function	21
Sum of the numbers in the objective function	524133752
Number of bits of the sum of numbers in the objective function	29
Biggest number in a constraint	1048576
Number of bits of the biggest number in a constraint	21
Biggest sum of numbers in a constraint	524133752
Number of bits of the biggest sum of numbers	29
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1243.61
Number of variables	9890
Total number of constraints	978
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	378
Number of constraints which are nor clauses,nor cardinality constraints	600
Minimum length of a constraint	1
Maximum length of a constraint	1072
Trace number 40280

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-08 05:46:03 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28340 boxname=wulflinc3 idbench=1296 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  1b379137169731592d0d61cac8bf57af  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-fixnet6.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-fixnet6.opb
IDLAUNCH: 28340
/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:        908060 kB
Buffers:         10360 kB
Cached:          94092 kB
SwapCached:        676 kB
Active:          28456 kB
Inactive:        78032 kB
HighTotal:      131008 kB
HighFree:        55216 kB
LowTotal:       903652 kB
LowFree:        852844 kB
SwapTotal:     2097136 kB
SwapFree:      2095436 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5032 kB
Slab:            14468 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 06:05:38 (client local time) WITH STATUS 0 IN 1175.12 SECONDS
stats: 28340 7 1175.12 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 9890 variables and 700 constraints.
c After prepocess the problem consists of 5883 variables and 789 constraints.
c preprocess terminated 778.41 s
c Initial Lower Bound: 172728
c Lower Bound Elapsed time: 0.617
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.91 0.95 0.90 1/54 22127
Raw data (stat): 22127 (runsolver) R 22126 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 899212241 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.0008 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 22127
Raw data (stat): 22127 (bsolo_lpr-v2) R 22126 20224 20223 0 -1 0 8221 0 0 0 978 18 0 0 25 0 1 0 899212241 46718976 8141 4294967295 134512640 134716908 3221224576 3221223232 134527930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11406 8141 1111 63 0 11343 0
vsize: 45624
[startup+20.0015 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 22127
Raw data (stat): 22127 (bsolo_lpr-v2) R 22126 20224 20223 0 -1 0 17665 0 0 0 1955 41 0 0 25 0 1 0 899212241 75227136 17470 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18366 17470 1111 63 0 18303 0
vsize: 73464
[startup+30.0024 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 22127
Raw data (stat): 22127 (bsolo_lpr-v2) R 22126 20224 20223 0 -1 0 17728 0 0 0 2954 41 0 0 25 0 1 0 899212241 75227136 17470 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18366 17470 1111 63 0 18303 0
vsize: 73464
[startup+40.0037 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 22127
Raw data (stat): 22127 (bsolo_lpr-v2) R 22126 20224 20223 0 -1 0 17791 0 0 0 3953 42 0 0 25 0 1 0 899212241 75227136 17470 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18366 17470 1111 63 0 18303 0
vsize: 73464
[startup+50.0041 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 22127
Raw data (stat): 22127 (bsolo_lpr-v2) R 22126 20224 20223 0 -1 0 17978 0 0 0 4952 43 0 0 25 0 1 0 899212241 75227136 17470 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18366 17470 1111 63 0 18303 0
vsize: 73464
[startup+60.0039 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 22127
Raw data (stat): 22127 (bsolo_lpr-v2) R 22126 20224 20223 0 -1 0 18029 0 0 0 5951 44 0 0 25 0 1 0 899212241 75227136 17470 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18366 17470 1111 63 0 18303 0
vsize: 73464
[startup+70.0052 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 22127
Raw data (stat): 22127 (bsolo_lpr-v2) R 22126 20224 20223 0 -1 0 18063 0 0 0 6951 44 0 0 25 0 1 0 899212241 75227136 17470 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18366 17470 1111 63 0 18303 0
vsize: 73464
[startup+80.0058 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 22127
Raw data (stat): 22127 (bsolo_lpr-v2) R 22126 20224 20223 0 -1 0 18427 0 0 0 7950 45 0 0 25 0 1 0 899212241 75227136 17470 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18366 17470 1111 63 0 18303 0
vsize: 73464
[startup+90.0062 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 22127
Raw data (stat): 22127 (bsolo_lpr-v2) R 22126 20224 20223 0 -1 0 18583 0 0 0 8950 46 0 0 25 0 1 0 899212241 75227136 17470 4294967295 134512640 134716908 3221224576 3221223212 134554907 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18366 17470 1111 63 0 18303 0
vsize: 73464
[startup+100.006 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 22127
Raw data (stat): 22127 (bsolo_lpr-v2) R 22126 20224 20223 0 -1 0 19782 0 0 0 9947 49 0 0 25 0 1 0 899212241 75227136 17470 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18366 17470 1111 63 0 18303 0
vsize: 73464
[startup+110.007 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 22127
Raw data (stat): 22127 (bsolo_lpr-v2) R 22126 20224 20223 0 -1 0 21731 0 0 0 10941 55 0 0 25 0 1 0 899212241 75227136 17470 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18366 17470 1111 63 0 18303 0
vsize: 73464
[startup+120.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22127
Raw data (stat): 22127 (bsolo_lpr-v2) R 22126 20224 20223 0 -1 0 26054 0 0 0 11930 66 0 0 25 0 1 0 899212241 75227136 17470 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18366 17470 1111 63 0 18303 0
vsize: 73464
[startup+130.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22127
Raw data (stat): 22127 (bsolo_lpr-v2) R 22126 20224 20223 0 -1 0 30461 0 0 0 12919 77 0 0 25 0 1 0 899212241 75227136 17470 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18366 17470 1111 63 0 18303 0
vsize: 73464
[startup+140.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22127
Raw data (stat): 22127 (bsolo_lpr-v2) R 22126 20224 20223 0 -1 0 34871 0 0 0 13908 88 0 0 25 0 1 0 899212241 75227136 17470 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18366 17470 1111 63 0 18303 0
vsize: 73464
[startup+150.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22127
Raw data (stat): 22127 (bsolo_lpr-v2) R 22126 20224 20223 0 -1 0 40687 0 0 0 14893 104 0 0 25 0 1 0 899212241 75227136 17470 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18366 17470 1111 63 0 18303 0
vsize: 73464
[startup+160.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22127
Raw data (stat): 22127 (bsolo_lpr-v2) R 22126 20224 20223 0 -1 0 46470 0 0 0 15877 120 0 0 25 0 1 0 899212241 75227136 17470 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18366 17470 1111 63 0 18303 0
vsize: 73464
[startup+170.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22127
Raw data (stat): 22127 (bsolo_lpr-v2) R 22126 20224 20223 0 -1 0 53484 0 0 0 16861 136 0 0 25 0 1 0 899212241 75227136 17470 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18366 17470 1111 63 0 18303 0
vsize: 73464
[startup+180.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22127
Raw data (stat): 22127 (bsolo_lpr-v2) R 22126 20224 20223 0 -1 0 61155 0 0 0 17843 154 0 0 25 0 1 0 899212241 75227136 17470 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18366 17470 1111 63 0 18303 0
vsize: 73464
[startup+190.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22127
Raw data (stat): 22127 (bsolo_lpr-v2) R 22126 20224 20223 0 -1 0 69802 0 0 0 18822 176 0 0 25 0 1 0 899212241 75227136 17470 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18366 17470 1111 63 0 18303 0
vsize: 73464
[startup+200.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22127
Raw data (stat): 22127 (bsolo_lpr-v2) R 22126 20224 20223 0 -1 0 78565 0 0 0 19801 197 0 0 25 0 1 0 899212241 75227136 17470 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18366 17470 1111 63 0 18303 0
vsize: 73464
[startup+210.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22127
Raw data (stat): 22127 (bsolo_lpr-v2) R 22126 20224 20223 0 -1 0 87386 0 0 0 20779 219 0 0 25 0 1 0 899212241 75227136 17470 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18366 17470 1111 63 0 18303 0
vsize: 73464
[startup+220.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22127
Raw data (stat): 22127 (bsolo_lpr-v2) R 22126 20224 20223 0 -1 0 97495 0 0 0 21755 243 0 0 25 0 1 0 899212241 75227136 17470 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18366 17470 1111 63 0 18303 0
vsize: 73464
[startup+230.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22127
Raw data (stat): 22127 (bsolo_lpr-v2) R 22126 20224 20223 0 -1 0 107708 0 0 0 22729 269 0 0 25 0 1 0 899212241 75227136 17470 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18366 17470 1111 63 0 18303 0
vsize: 73464
[startup+240.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22127
Raw data (stat): 22127 (bsolo_lpr-v2) R 22126 20224 20223 0 -1 0 118652 0 0 0 23702 296 0 0 25 0 1 0 899212241 75227136 17470 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18366 17470 1111 63 0 18303 0
vsize: 73464
[startup+250.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22127
Raw data (stat): 22127 (bsolo_lpr-v2) R 22126 20224 20223 0 -1 0 130318 0 0 0 24674 324 0 0 25 0 1 0 899212241 75227136 17470 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18366 17470 1111 63 0 18303 0
vsize: 73464
[startup+260.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22127
Raw data (stat): 22127 (bsolo_lpr-v2) R 22126 20224 20223 0 -1 0 141996 0 0 0 25645 354 0 0 25 0 1 0 899212241 75227136 17470 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18366 17470 1111 63 0 18303 0
vsize: 73464
[startup+270.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22127
Raw data (stat): 22127 (bsolo_lpr-v2) R 22126 20224 20223 0 -1 0 153894 0 0 0 26616 384 0 0 25 0 1 0 899212241 75227136 17470 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18366 17470 1111 63 0 18303 0
vsize: 73464
[startup+280.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22127
Raw data (stat): 22127 (bsolo_lpr-v2) R 22126 20224 20223 0 -1 0 166578 0 0 0 27585 413 0 0 25 0 1 0 899212241 75227136 17470 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18366 17470 1111 63 0 18303 0
vsize: 73464
[startup+290.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22127
Raw data (stat): 22127 (bsolo_lpr-v2) R 22126 20224 20223 0 -1 0 179520 0 0 0 28554 445 0 0 25 0 1 0 899212241 75227136 17470 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18366 17470 1111 63 0 18303 0
vsize: 73464
[startup+300.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22127
Raw data (stat): 22127 (bsolo_lpr-v2) R 22126 20224 20223 0 -1 0 192346 0 0 0 29521 478 0 0 25 0 1 0 899212241 75227136 17470 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18366 17470 1111 63 0 18303 0
vsize: 73464
[startup+310.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22127
Raw data (stat): 22127 (bsolo_lpr-v2) R 22126 20224 20223 0 -1 0 198698 0 0 0 30505 495 0 0 25 0 1 0 899212241 75710464 17588 4294967295 134512640 134716908 3221224576 3221223296 134618245 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18484 17588 1111 63 0 18421 0
vsize: 73936
[startup+320.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22127
Raw data (stat): 22127 (bsolo_lpr-v2) R 22126 20224 20223 0 -1 0 198746 0 0 0 31505 495 0 0 25 0 1 0 899212241 75710464 17588 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18484 17588 1111 63 0 18421 0
vsize: 73936
[startup+330.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22127
Raw data (stat): 22127 (bsolo_lpr-v2) R 22126 20224 20223 0 -1 0 198805 0 0 0 32505 495 0 0 25 0 1 0 899212241 75710464 17588 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18484 17588 1111 63 0 18421 0
vsize: 73936
[startup+340.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22127
Raw data (stat): 22127 (bsolo_lpr-v2) R 22126 20224 20223 0 -1 0 198933 0 0 0 33505 495 0 0 25 0 1 0 899212241 75710464 17588 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18484 17588 1111 63 0 18421 0
vsize: 73936
[startup+350.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22127
Raw data (stat): 22127 (bsolo_lpr-v2) R 22126 20224 20223 0 -1 0 199093 0 0 0 34505 496 0 0 25 0 1 0 899212241 75710464 17588 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18484 17588 1111 63 0 18421 0
vsize: 73936
[startup+360.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22127
Raw data (stat): 22127 (bsolo_lpr-v2) R 22126 20224 20223 0 -1 0 199281 0 0 0 35504 497 0 0 25 0 1 0 899212241 75710464 17588 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18484 17588 1111 63 0 18421 0
vsize: 73936
[startup+370.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22127
Raw data (stat): 22127 (bsolo_lpr-v2) R 22126 20224 20223 0 -1 0 199437 0 0 0 36504 497 0 0 25 0 1 0 899212241 75710464 17588 4294967295 134512640 134716908 3221224576 3221223328 134630811 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18484 17588 1111 63 0 18421 0
vsize: 73936
[startup+380.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22127
Raw data (stat): 22127 (bsolo_lpr-v2) R 22126 20224 20223 0 -1 0 199917 0 0 0 37502 498 0 0 25 0 1 0 899212241 75710464 17588 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18484 17588 1111 63 0 18421 0
vsize: 73936
[startup+390.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22127
Raw data (stat): 22127 (bsolo_lpr-v2) R 22126 20224 20223 0 -1 0 201317 0 0 0 38497 504 0 0 25 0 1 0 899212241 75710464 17588 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18484 17588 1111 63 0 18421 0
vsize: 73936
[startup+400.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22127
Raw data (stat): 22127 (bsolo_lpr-v2) R 22126 20224 20223 0 -1 0 202427 0 0 0 39494 507 0 0 25 0 1 0 899212241 75710464 17588 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18484 17588 1111 63 0 18421 0
vsize: 73936
[startup+410.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22127
Raw data (stat): 22127 (bsolo_lpr-v2) R 22126 20224 20223 0 -1 0 204282 0 0 0 40489 513 0 0 25 0 1 0 899212241 75710464 17588 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18484 17588 1111 63 0 18421 0
vsize: 73936
[startup+420.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22127
Raw data (stat): 22127 (bsolo_lpr-v2) R 22126 20224 20223 0 -1 0 206981 0 0 0 41482 520 0 0 25 0 1 0 899212241 75710464 17588 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18484 17588 1111 63 0 18421 0
vsize: 73936
[startup+430.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22127
Raw data (stat): 22127 (bsolo_lpr-v2) R 22126 20224 20223 0 -1 0 209767 0 0 0 42474 528 0 0 25 0 1 0 899212241 75710464 17588 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18484 17588 1111 63 0 18421 0
vsize: 73936
[startup+440.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22127
Raw data (stat): 22127 (bsolo_lpr-v2) R 22126 20224 20223 0 -1 0 212640 0 0 0 43466 536 0 0 25 0 1 0 899212241 75710464 17588 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18484 17588 1111 63 0 18421 0
vsize: 73936
[startup+450.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22127
Raw data (stat): 22127 (bsolo_lpr-v2) R 22126 20224 20223 0 -1 0 213791 0 0 0 44462 540 0 0 25 0 1 0 899212241 75796480 17609 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18505 17609 1111 63 0 18442 0
vsize: 74020
[startup+460.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22127
Raw data (stat): 22127 (bsolo_lpr-v2) R 22126 20224 20223 0 -1 0 215075 0 0 0 45457 545 0 0 25 0 1 0 899212241 75796480 17609 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18505 17609 1111 63 0 18442 0
vsize: 74020
[startup+470.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22127
Raw data (stat): 22127 (bsolo_lpr-v2) R 22126 20224 20223 0 -1 0 216475 0 0 0 46453 550 0 0 25 0 1 0 899212241 75796480 17609 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18505 17609 1111 63 0 18442 0
vsize: 74020
[startup+480.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22127
Raw data (stat): 22127 (bsolo_lpr-v2) R 22126 20224 20223 0 -1 0 218192 0 0 0 47445 558 0 0 25 0 1 0 899212241 75796480 17609 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18505 17609 1111 63 0 18442 0
vsize: 74020
[startup+490.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22127
Raw data (stat): 22127 (bsolo_lpr-v2) R 22126 20224 20223 0 -1 0 221413 0 0 0 48435 569 0 0 25 0 1 0 899212241 75796480 17609 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18505 17609 1111 63 0 18442 0
vsize: 74020
[startup+500.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22127
Raw data (stat): 22127 (bsolo_lpr-v2) R 22126 20224 20223 0 -1 0 224800 0 0 0 49425 579 0 0 25 0 1 0 899212241 75796480 17609 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18505 17609 1111 63 0 18442 0
vsize: 74020
[startup+510.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22127
Raw data (stat): 22127 (bsolo_lpr-v2) R 22126 20224 20223 0 -1 0 229120 0 0 0 50413 591 0 0 25 0 1 0 899212241 75796480 17609 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18505 17609 1111 63 0 18442 0
vsize: 74020
[startup+520.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22127
Raw data (stat): 22127 (bsolo_lpr-v2) R 22126 20224 20223 0 -1 0 233466 0 0 0 51400 604 0 0 25 0 1 0 899212241 75796480 17609 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18505 17609 1111 63 0 18442 0
vsize: 74020
[startup+530.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22127
Raw data (stat): 22127 (bsolo_lpr-v2) R 22126 20224 20223 0 -1 0 237699 0 0 0 52389 615 0 0 25 0 1 0 899212241 75796480 17609 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18505 17609 1111 63 0 18442 0
vsize: 74020
[startup+540.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22127
Raw data (stat): 22127 (bsolo_lpr-v2) R 22126 20224 20223 0 -1 0 242984 0 0 0 53374 630 0 0 25 0 1 0 899212241 75796480 17609 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18505 17609 1111 63 0 18442 0
vsize: 74020
[startup+550.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22127
Raw data (stat): 22127 (bsolo_lpr-v2) R 22126 20224 20223 0 -1 0 248670 0 0 0 54360 645 0 0 25 0 1 0 899212241 75796480 17609 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18505 17609 1111 63 0 18442 0
vsize: 74020
[startup+560.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22127
Raw data (stat): 22127 (bsolo_lpr-v2) R 22126 20224 20223 0 -1 0 254298 0 0 0 55344 660 0 0 25 0 1 0 899212241 75796480 17609 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18505 17609 1111 63 0 18442 0
vsize: 74020
[startup+570.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22127
Raw data (stat): 22127 (bsolo_lpr-v2) R 22126 20224 20223 0 -1 0 260071 0 0 0 56329 675 0 0 25 0 1 0 899212241 75796480 17609 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18505 17609 1111 63 0 18442 0
vsize: 74020
[startup+580.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22127
Raw data (stat): 22127 (bsolo_lpr-v2) R 22126 20224 20223 0 -1 0 266598 0 0 0 57313 692 0 0 25 0 1 0 899212241 75796480 17609 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18505 17609 1111 63 0 18442 0
vsize: 74020
[startup+590.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22127
Raw data (stat): 22127 (bsolo_lpr-v2) R 22126 20224 20223 0 -1 0 273905 0 0 0 58295 710 0 0 25 0 1 0 899212241 75796480 17609 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18505 17609 1111 63 0 18442 0
vsize: 74020
[startup+600.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22127
Raw data (stat): 22127 (bsolo_lpr-v2) R 22126 20224 20223 0 -1 0 280935 0 0 0 59273 732 0 0 25 0 1 0 899212241 75796480 17609 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18505 17609 1111 63 0 18442 0
vsize: 74020
[startup+610.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22127
Raw data (stat): 22127 (bsolo_lpr-v2) R 22126 20224 20223 0 -1 0 288039 0 0 0 60253 752 0 0 25 0 1 0 899212241 75796480 17609 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18505 17609 1111 63 0 18442 0
vsize: 74020
[startup+620.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22127
Raw data (stat): 22127 (bsolo_lpr-v2) R 22126 20224 20223 0 -1 0 295330 0 0 0 61235 770 0 0 25 0 1 0 899212241 75796480 17609 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18505 17609 1111 63 0 18442 0
vsize: 74020
[startup+630.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22127
Raw data (stat): 22127 (bsolo_lpr-v2) R 22126 20224 20223 0 -1 0 302434 0 0 0 62218 788 0 0 25 0 1 0 899212241 75796480 17609 4294967295 134512640 134716908 3221224576 3221223216 134606472 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18505 17609 1111 63 0 18442 0
vsize: 74020
[startup+640.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22127
Raw data (stat): 22127 (bsolo_lpr-v2) R 22126 20224 20223 0 -1 0 302695 0 0 0 63217 789 0 0 25 0 1 0 899212241 76115968 17687 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18583 17687 1111 63 0 18520 0
vsize: 74332
[startup+650.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22127
Raw data (stat): 22127 (bsolo_lpr-v2) R 22126 20224 20223 0 -1 0 302876 0 0 0 64217 789 0 0 25 0 1 0 899212241 76869632 17868 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18767 17868 1111 63 0 18704 0
vsize: 75068
[startup+660.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22127
Raw data (stat): 22127 (bsolo_lpr-v2) R 22126 20224 20223 0 -1 0 302876 0 0 0 65217 789 0 0 25 0 1 0 899212241 76869632 17868 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18767 17868 1111 63 0 18704 0
vsize: 75068
[startup+670.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22127
Raw data (stat): 22127 (bsolo_lpr-v2) R 22126 20224 20223 0 -1 0 302876 0 0 0 66217 789 0 0 25 0 1 0 899212241 76869632 17868 4294967295 134512640 134716908 3221224576 3221223216 134606472 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18767 17868 1111 63 0 18704 0
vsize: 75068
[startup+680.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22127
Raw data (stat): 22127 (bsolo_lpr-v2) R 22126 20224 20223 0 -1 0 302876 0 0 0 67218 789 0 0 25 0 1 0 899212241 76869632 17868 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18767 17868 1111 63 0 18704 0
vsize: 75068
[startup+690.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22127
Raw data (stat): 22127 (bsolo_lpr-v2) R 22126 20224 20223 0 -1 0 302876 0 0 0 68218 789 0 0 25 0 1 0 899212241 76869632 17868 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18767 17868 1111 63 0 18704 0
vsize: 75068
[startup+700.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22127
Raw data (stat): 22127 (bsolo_lpr-v2) R 22126 20224 20223 0 -1 0 302876 0 0 0 69218 789 0 0 25 0 1 0 899212241 76869632 17868 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18767 17868 1111 63 0 18704 0
vsize: 75068
[startup+710.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22127
Raw data (stat): 22127 (bsolo_lpr-v2) R 22126 20224 20223 0 -1 0 302876 0 0 0 70218 789 0 0 25 0 1 0 899212241 76869632 17868 4294967295 134512640 134716908 3221224576 3221223180 1076648036 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18767 17868 1111 63 0 18704 0
vsize: 75068
[startup+720.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22127
Raw data (stat): 22127 (bsolo_lpr-v2) R 22126 20224 20223 0 -1 0 302876 0 0 0 71218 789 0 0 25 0 1 0 899212241 76869632 17868 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18767 17868 1111 63 0 18704 0
vsize: 75068
[startup+730.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22127
Raw data (stat): 22127 (bsolo_lpr-v2) R 22126 20224 20223 0 -1 0 302876 0 0 0 72219 789 0 0 25 0 1 0 899212241 76869632 17868 4294967295 134512640 134716908 3221224576 3221223312 134630829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18767 17868 1111 63 0 18704 0
vsize: 75068
[startup+740.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22127
Raw data (stat): 22127 (bsolo_lpr-v2) R 22126 20224 20223 0 -1 0 302876 0 0 0 73219 789 0 0 25 0 1 0 899212241 76869632 17868 4294967295 134512640 134716908 3221224576 3221223328 134630808 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18767 17868 1111 63 0 18704 0
vsize: 75068
[startup+750.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22127
Raw data (stat): 22127 (bsolo_lpr-v2) R 22126 20224 20223 0 -1 0 302876 0 0 0 74219 789 0 0 25 0 1 0 899212241 76869632 17868 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18767 17868 1111 63 0 18704 0
vsize: 75068
[startup+760.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22127
Raw data (stat): 22127 (bsolo_lpr-v2) R 22126 20224 20223 0 -1 0 302876 0 0 0 75219 789 0 0 25 0 1 0 899212241 76869632 17868 4294967295 134512640 134716908 3221224576 3221223216 134606472 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18767 17868 1111 63 0 18704 0
vsize: 75068
[startup+770.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22127
Raw data (stat): 22127 (bsolo_lpr-v2) R 22126 20224 20223 0 -1 0 302876 0 0 0 76219 789 0 0 25 0 1 0 899212241 76869632 17868 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18767 17868 1111 63 0 18704 0
vsize: 75068
[startup+780.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22127
Raw data (stat): 22127 (bsolo_lpr-v2) R 22126 20224 20223 0 -1 0 303697 0 0 0 77217 792 0 0 25 0 1 0 899212241 78024704 18157 4294967295 134512640 134716908 3221224576 3221222208 1075828444 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19049 18157 1111 63 0 18986 0
vsize: 76196
[startup+790.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22127
Raw data (stat): 22127 (bsolo_lpr-v2) R 22126 20224 20223 0 -1 0 308268 0 0 0 78207 802 0 0 25 0 1 0 899212241 76869632 18003 4294967295 134512640 134716908 3221224576 3221217648 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18767 18003 1111 63 0 18704 0
vsize: 75068
[startup+800.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22127
Raw data (stat): 22127 (bsolo_lpr-v2) R 22126 20224 20223 0 -1 0 312265 0 0 0 79197 811 0 0 25 0 1 0 899212241 77664256 18127 4294967295 134512640 134716908 3221224576 3221220912 1075113493 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18961 18127 1111 63 0 18898 0
vsize: 75844
[startup+810.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22127
Raw data (stat): 22127 (bsolo_lpr-v2) R 22126 20224 20223 0 -1 0 316119 0 0 0 80189 819 0 0 25 0 1 0 899212241 76869632 18004 4294967295 134512640 134716908 3221224576 3221222776 1074138153 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18767 18004 1111 63 0 18704 0
vsize: 75068
[startup+820.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22127
Raw data (stat): 22127 (bsolo_lpr-v2) R 22126 20224 20223 0 -1 0 319761 0 0 0 81181 827 0 0 25 0 1 0 899212241 76869632 18004 4294967295 134512640 134716908 3221224576 3221222208 1074153736 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18767 18004 1111 63 0 18704 0
vsize: 75068
[startup+830.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22127
Raw data (stat): 22127 (bsolo_lpr-v2) R 22126 20224 20223 0 -1 0 323368 0 0 0 82174 834 0 0 25 0 1 0 899212241 76869632 18004 4294967295 134512640 134716908 3221224576 3221216064 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18767 18004 1111 63 0 18704 0
vsize: 75068
[startup+840.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22127
Raw data (stat): 22127 (bsolo_lpr-v2) R 22126 20224 20223 0 -1 0 327357 0 0 0 83166 843 0 0 25 0 1 0 899212241 77086720 18057 4294967295 134512640 134716908 3221224576 3221222544 1075552862 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18820 18057 1111 63 0 18757 0
vsize: 75280
[startup+850.114 s]
Raw data (loadavg): 1.07 0.99 0.91 3/58 22180
Raw data (stat): 22127 (bsolo_lpr-v2) R 22126 20224 20223 0 -1 0 331099 0 0 0 84165 851 0 0 25 0 1 0 899212241 76869632 18004 4294967295 134512640 134716908 3221224576 3221222812 1073959784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18767 18004 1111 63 0 18704 0
vsize: 75068
[startup+860.172 s]
Raw data (loadavg): 1.14 1.00 0.92 2/54 22180
Raw data (stat): 22127 (bsolo_lpr-v2) R 22126 20224 20223 0 -1 0 334857 0 0 0 85164 858 0 0 25 0 1 0 899212241 78008320 18156 4294967295 134512640 134716908 3221224576 3221222688 1074867340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19045 18156 1111 63 0 18982 0
vsize: 76180
[startup+870.173 s]
Raw data (loadavg): 1.11 1.00 0.92 2/54 22180
Raw data (stat): 22127 (bsolo_lpr-v2) R 22126 20224 20223 0 -1 0 338641 0 0 0 86155 867 0 0 25 0 1 0 899212241 77656064 18125 4294967295 134512640 134716908 3221224576 3221221520 1074620308 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18959 18125 1111 63 0 18896 0
vsize: 75836
[startup+880.172 s]
Raw data (loadavg): 1.10 1.00 0.92 2/54 22180
Raw data (stat): 22127 (bsolo_lpr-v2) R 22126 20224 20223 0 -1 0 342438 0 0 0 87147 876 0 0 25 0 1 0 899212241 76869632 18004 4294967295 134512640 134716908 3221224576 3221222288 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18767 18004 1111 63 0 18704 0
vsize: 75068
[startup+890.174 s]
Raw data (loadavg): 1.08 1.00 0.92 2/54 22180
Raw data (stat): 22127 (bsolo_lpr-v2) R 22126 20224 20223 0 -1 0 346049 0 0 0 88138 885 0 0 25 0 1 0 899212241 76869632 18008 4294967295 134512640 134716908 3221224576 3221222880 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18767 18008 1111 63 0 18704 0
vsize: 75068
[startup+900.173 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 22180
Raw data (stat): 22127 (bsolo_lpr-v2) R 22126 20224 20223 0 -1 0 349774 0 0 0 89130 893 0 0 25 0 1 0 899212241 78000128 18158 4294967295 134512640 134716908 3221224576 3221222400 1075823508 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19043 18158 1111 63 0 18980 0
vsize: 76172
[startup+910.173 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 22182
Raw data (stat): 22127 (bsolo_lpr-v2) R 22126 20224 20223 0 -1 0 353500 0 0 0 90124 899 0 0 25 0 1 0 899212241 77647872 18127 4294967295 134512640 134716908 3221224576 3221221616 1075859954 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18957 18127 1111 63 0 18894 0
vsize: 75828
[startup+920.174 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 22182
Raw data (stat): 22127 (bsolo_lpr-v2) R 22126 20224 20223 0 -1 0 357240 0 0 0 91116 907 0 0 25 0 1 0 899212241 76869632 18008 4294967295 134512640 134716908 3221224576 3221222880 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18767 18008 1111 63 0 18704 0
vsize: 75068
[startup+930.175 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 22182
Raw data (stat): 22127 (bsolo_lpr-v2) R 22126 20224 20223 0 -1 0 361115 0 0 0 92108 915 0 0 25 0 1 0 899212241 77647872 18126 4294967295 134512640 134716908 3221224576 3221220804 1075114948 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18957 18126 1111 63 0 18894 0
vsize: 75828
[startup+940.175 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 22182
Raw data (stat): 22127 (bsolo_lpr-v2) R 22126 20224 20223 0 -1 0 364855 0 0 0 93100 924 0 0 25 0 1 0 899212241 76869632 18008 4294967295 134512640 134716908 3221224576 3221222864 1074153766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18767 18008 1111 63 0 18704 0
vsize: 75068
[startup+950.176 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 22182
Raw data (stat): 22127 (bsolo_lpr-v2) R 22126 20224 20223 0 -1 0 368722 0 0 0 94091 932 0 0 25 0 1 0 899212241 77647872 18126 4294967295 134512640 134716908 3221224576 3221221616 1075971413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18957 18126 1111 63 0 18894 0
vsize: 75828
[startup+960.175 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 22182
Raw data (stat): 22127 (bsolo_lpr-v2) R 22126 20224 20223 0 -1 0 372446 0 0 0 95082 942 0 0 25 0 1 0 899212241 76869632 18008 4294967295 134512640 134716908 3221224576 3221222784 1074153812 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18767 18008 1111 63 0 18704 0
vsize: 75068
[startup+970.175 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 22182
Raw data (stat): 22127 (bsolo_lpr-v2) R 22126 20224 20223 0 -1 0 376491 0 0 0 96074 950 0 0 25 0 1 0 899212241 76869632 18008 4294967295 134512640 134716908 3221224576 3221222928 1074153815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18767 18008 1111 63 0 18704 0
vsize: 75068
[startup+980.175 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 22182
Raw data (stat): 22127 (bsolo_lpr-v2) R 22126 20224 20223 0 -1 0 380180 0 0 0 97066 959 0 0 25 0 1 0 899212241 77983744 18158 4294967295 134512640 134716908 3221224576 3221222496 1075799695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19039 18158 1111 63 0 18976 0
vsize: 76156
[startup+990.177 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 22182
Raw data (stat): 22127 (bsolo_lpr-v2) R 22126 20224 20223 0 -1 0 384065 0 0 0 98058 967 0 0 25 0 1 0 899212241 76869632 18008 4294967295 134512640 134716908 3221224576 3221222864 1074153673 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18767 18008 1111 63 0 18704 0
vsize: 75068
[startup+1000.18 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 22182
Raw data (stat): 22127 (bsolo_lpr-v2) R 22126 20224 20223 0 -1 0 387863 0 0 0 99049 976 0 0 25 0 1 0 899212241 77639680 18123 4294967295 134512640 134716908 3221224576 3221220648 1074950210 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18955 18123 1111 63 0 18892 0
vsize: 75820
[startup+1010.18 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 22182
Raw data (stat): 22127 (bsolo_lpr-v2) R 22126 20224 20223 0 -1 0 391532 0 0 0 100041 984 0 0 25 0 1 0 899212241 76869632 18008 4294967295 134512640 134716908 3221224576 3221222528 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18767 18008 1111 63 0 18704 0
vsize: 75068
[startup+1020.18 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 22182
Raw data (stat): 22127 (bsolo_lpr-v2) R 22126 20224 20223 0 -1 0 395513 0 0 0 101032 993 0 0 25 0 1 0 899212241 76869632 18009 4294967295 134512640 134716908 3221224576 3221222792 1074138144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18767 18009 1111 63 0 18704 0
vsize: 75068
[startup+1030.18 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22182
Raw data (stat): 22127 (bsolo_lpr-v2) R 22126 20224 20223 0 -1 0 399311 0 0 0 102024 1002 0 0 25 0 1 0 899212241 77639680 18124 4294967295 134512640 134716908 3221224576 3221221728 1075969864 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18955 18124 1111 63 0 18892 0
vsize: 75820
[startup+1040.18 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22182
Raw data (stat): 22127 (bsolo_lpr-v2) R 22126 20224 20223 0 -1 0 403174 0 0 0 103017 1009 0 0 25 0 1 0 899212241 77078528 18060 4294967295 134512640 134716908 3221224576 3221222992 1074116342 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18818 18060 1111 63 0 18755 0
vsize: 75272
[startup+1050.18 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22182
Raw data (stat): 22127 (bsolo_lpr-v2) R 22126 20224 20223 0 -1 0 406956 0 0 0 104008 1018 0 0 25 0 1 0 899212241 76869632 18010 4294967295 134512640 134716908 3221224576 3221222400 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18767 18010 1111 63 0 18704 0
vsize: 75068
[startup+1060.18 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22182
Raw data (stat): 22127 (bsolo_lpr-v2) R 22126 20224 20223 0 -1 0 410759 0 0 0 105000 1026 0 0 25 0 1 0 899212241 77078528 18061 4294967295 134512640 134716908 3221224576 3221222976 1074118815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18818 18061 1111 63 0 18755 0
vsize: 75272
[startup+1070.18 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22182
Raw data (stat): 22127 (bsolo_lpr-v2) R 22126 20224 20223 0 -1 0 414422 0 0 0 105992 1034 0 0 25 0 1 0 899212241 76869632 18010 4294967295 134512640 134716908 3221224576 3221219328 1074153654 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18767 18010 1111 63 0 18704 0
vsize: 75068
[startup+1080.18 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22182
Raw data (stat): 22127 (bsolo_lpr-v2) R 22126 20224 20223 0 -1 0 418403 0 0 0 106984 1042 0 0 25 0 1 0 899212241 76869632 18010 4294967295 134512640 134716908 3221224576 3221222336 1074153669 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18767 18010 1111 63 0 18704 0
vsize: 75068
[startup+1090.18 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22182
Raw data (stat): 22127 (bsolo_lpr-v2) R 22126 20224 20223 0 -1 0 422384 0 0 0 107975 1052 0 0 25 0 1 0 899212241 76869632 18010 4294967295 134512640 134716908 3221224576 3221222640 1074153823 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18767 18010 1111 63 0 18704 0
vsize: 75068
[startup+1100.18 s]
Raw data (loadavg): 1.08 1.02 0.93 2/54 22182
Raw data (stat): 22127 (bsolo_lpr-v2) R 22126 20224 20223 0 -1 0 426367 0 0 0 108966 1060 0 0 25 0 1 0 899212241 76869632 18010 4294967295 134512640 134716908 3221224576 3221222160 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18767 18010 1111 63 0 18704 0
vsize: 75068
[startup+1110.18 s]
Raw data (loadavg): 1.07 1.02 0.93 2/54 22182
Raw data (stat): 22127 (bsolo_lpr-v2) R 22126 20224 20223 0 -1 0 430347 0 0 0 109956 1071 0 0 25 0 1 0 899212241 76869632 18010 4294967295 134512640 134716908 3221224576 3221222960 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18767 18010 1111 63 0 18704 0
vsize: 75068
[startup+1120.18 s]
Raw data (loadavg): 1.06 1.01 0.93 2/54 22182
Raw data (stat): 22127 (bsolo_lpr-v2) R 22126 20224 20223 0 -1 0 434327 0 0 0 110946 1081 0 0 25 0 1 0 899212241 76869632 18010 4294967295 134512640 134716908 3221224576 3221222444 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18767 18010 1111 63 0 18704 0
vsize: 75068
[startup+1130.18 s]
Raw data (loadavg): 1.13 1.03 0.93 2/54 22182
Raw data (stat): 22127 (bsolo_lpr-v2) R 22126 20224 20223 0 -1 0 438126 0 0 0 111938 1089 0 0 25 0 1 0 899212241 77639680 18126 4294967295 134512640 134716908 3221224576 3221220640 1075084533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18955 18126 1111 63 0 18892 0
vsize: 75820
[startup+1140.18 s]
Raw data (loadavg): 1.11 1.03 0.93 2/54 22182
Raw data (stat): 22127 (bsolo_lpr-v2) R 22126 20224 20223 0 -1 0 442103 0 0 0 112929 1099 0 0 25 0 1 0 899212241 77639680 18122 4294967295 134512640 134716908 3221224576 3221220668 1075663518 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18955 18122 1111 63 0 18892 0
vsize: 75820
[startup+1150.18 s]
Raw data (loadavg): 1.09 1.03 0.93 2/54 22182
Raw data (stat): 22127 (bsolo_lpr-v2) R 22126 20224 20223 0 -1 0 445738 0 0 0 113920 1107 0 0 25 0 1 0 899212241 76869632 18010 4294967295 134512640 134716908 3221224576 3221215400 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18767 18010 1111 63 0 18704 0
vsize: 75068
[startup+1160.18 s]
Raw data (loadavg): 1.08 1.03 0.93 2/54 22182
Raw data (stat): 22127 (bsolo_lpr-v2) R 22126 20224 20223 0 -1 0 449655 0 0 0 114913 1115 0 0 25 0 1 0 899212241 76869632 18010 4294967295 134512640 134716908 3221224576 3221222460 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18767 18010 1111 63 0 18704 0
vsize: 75068
[startup+1170.18 s]
Raw data (loadavg): 1.06 1.03 0.93 2/54 22182
Raw data (stat): 22127 (bsolo_lpr-v2) R 22126 20224 20223 0 -1 0 453571 0 0 0 115903 1125 0 0 25 0 1 0 899212241 76869632 18010 4294967295 134512640 134716908 3221224576 3221222296 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18767 18010 1111 63 0 18704 0
vsize: 75068
[startup+1175.01 s]
Raw data (loadavg): 1.06 1.03 0.93 1/53 22182
Raw data (stat): 22127 (bsolo_lpr-v2) R 22126 20224 20223 0 -1 0 453571 0 0 0 115903 1125 0 0 25 0 1 0 899212241 76869632 18010 4294967295 134512640 134716908 3221224576 3221222296 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18767 18010 1111 63 0 18704 0
vsize: 0

Child status: 0
Real time (s): 1175.01
CPU time (s): 1175.12
CPU user time (s): 1163.79
CPU system time (s): 11.3273
CPU usage (%): 100.009
Max. virtual memory (Kb): 76196
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####