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/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1,3-13,19.opb
MD5SUM	fa67033d6a242cf79309b3804f79a4fe
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	10
Number of bits of the biggest number in a constraint	4
Biggest sum of numbers in a constraint	102
Number of bits of the biggest sum of numbers	7
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	15.8556
Number of variables	4608
Total number of constraints	34956
Number of constraints which are clauses	29328
Number of constraints which are cardinality constraints (but not clauses)	5550
Number of constraints which are nor clauses,nor cardinality constraints	78
Minimum length of a constraint	1
Maximum length of a constraint	29
Trace number 39736

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-07 18:52:35 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27802 boxname=wulflinc3 idbench=360 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  fa67033d6a242cf79309b3804f79a4fe  /oldhome/oroussel/tmp/wulflinc3/normalized-ppp:1,3-13,19.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-ppp:1,3-13,19.opb
IDLAUNCH: 27802
/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:        889152 kB
Buffers:         33892 kB
Cached:          83648 kB
SwapCached:       6016 kB
Active:          44728 kB
Inactive:        80208 kB
HighTotal:      131008 kB
HighFree:        88844 kB
LowTotal:       903652 kB
LowFree:        800308 kB
SwapTotal:     2097136 kB
SwapFree:      2090192 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5052 kB
Slab:            14940 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 19:12:10 (client local time) WITH STATUS 0 IN 1175.05 SECONDS
stats: 27802 7 1175.05 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c INFO: No cost function. Find solution and finish.
c Initial problem consists of 4608 variables and 30522 constraints.
c After prepocess the problem consists of 4608 variables and 30522 constraints.
c preprocess terminated 47.021 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.93 0.97 0.91 2/54 14440
Raw data (stat): 14440 (runsolver) R 14439 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 895290907 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0012 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 14440
Raw data (stat): 14440 (bsolo_lpr-v2) R 14439 20224 20223 0 -1 0 34035 0 0 0 899 97 0 0 25 0 1 0 895290907 54607872 12456 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13332 12461 1111 63 0 13269 0
vsize: 53328
[startup+20.0016 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 14440
Raw data (stat): 14440 (bsolo_lpr-v2) R 14439 20224 20223 0 -1 0 52397 0 0 0 1848 149 0 0 25 0 1 0 895290907 70266880 16295 4294967295 134512640 134716908 3221224576 3221223216 134606472 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17155 16295 1111 63 0 17092 0
vsize: 68620
[startup+30.0024 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 14440
Raw data (stat): 14440 (bsolo_lpr-v2) R 14439 20224 20223 0 -1 0 61913 0 0 0 2821 176 0 0 25 0 1 0 895290907 70266880 16295 4294967295 134512640 134716908 3221224576 3221222960 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17155 16295 1111 63 0 17092 0
vsize: 68620
[startup+40.0026 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 14440
Raw data (stat): 14440 (bsolo_lpr-v2) R 14439 20224 20223 0 -1 0 65634 0 0 0 3812 185 0 0 25 0 1 0 895290907 70266880 16295 4294967295 134512640 134716908 3221224576 3221223056 134539376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17155 16295 1111 63 0 17092 0
vsize: 68620
[startup+50.0022 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 14440
Raw data (stat): 14440 (bsolo_lpr-v2) R 14439 20224 20223 0 -1 0 65648 0 0 0 4812 186 0 0 25 0 1 0 895290907 70266880 16309 4294967295 134512640 134716908 3221224576 3221223200 134542668 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17155 16309 1111 63 0 17092 0
vsize: 68620
[startup+60.0023 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 14440
Raw data (stat): 14440 (bsolo_lpr-v2) R 14439 20224 20223 0 -1 0 65650 0 0 0 5809 188 0 0 25 0 1 0 895290907 70266880 16311 4294967295 134512640 134716908 3221224576 3221223132 134536766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17155 16311 1111 63 0 17092 0
vsize: 68620
[startup+70.0031 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 14440
Raw data (stat): 14440 (bsolo_lpr-v2) R 14439 20224 20223 0 -1 0 65650 0 0 0 6809 189 0 0 25 0 1 0 895290907 70266880 16311 4294967295 134512640 134716908 3221224576 3221223264 134528712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17155 16311 1111 63 0 17092 0
vsize: 68620
[startup+80.0036 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 14440
Raw data (stat): 14440 (bsolo_lpr-v2) R 14439 20224 20223 0 -1 0 65650 0 0 0 7809 189 0 0 25 0 1 0 895290907 70266880 16311 4294967295 134512640 134716908 3221224576 3221223084 134535956 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17155 16311 1111 63 0 17092 0
vsize: 68620
[startup+90.0034 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 14440
Raw data (stat): 14440 (bsolo_lpr-v2) R 14439 20224 20223 0 -1 0 65650 0 0 0 8808 190 0 0 25 0 1 0 895290907 70266880 16311 4294967295 134512640 134716908 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17155 16311 1111 63 0 17092 0
vsize: 68620
[startup+100.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 14440
Raw data (stat): 14440 (bsolo_lpr-v2) R 14439 20224 20223 0 -1 0 65650 0 0 0 9807 191 0 0 25 0 1 0 895290907 70266880 16311 4294967295 134512640 134716908 3221224576 3221223168 134549533 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17155 16311 1111 63 0 17092 0
vsize: 68620
[startup+110.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14440
Raw data (stat): 14440 (bsolo_lpr-v2) R 14439 20224 20223 0 -1 0 65650 0 0 0 10806 192 0 0 25 0 1 0 895290907 70266880 16311 4294967295 134512640 134716908 3221224576 3221223216 134698453 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17155 16311 1111 63 0 17092 0
vsize: 68620
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14440
Raw data (stat): 14440 (bsolo_lpr-v2) R 14439 20224 20223 0 -1 0 65650 0 0 0 11806 193 0 0 25 0 1 0 895290907 70266880 16311 4294967295 134512640 134716908 3221224576 3221223136 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17155 16311 1111 63 0 17092 0
vsize: 68620
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14440
Raw data (stat): 14440 (bsolo_lpr-v2) R 14439 20224 20223 0 -1 0 65650 0 0 0 12805 194 0 0 25 0 1 0 895290907 70266880 16311 4294967295 134512640 134716908 3221224576 3221223328 134592082 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17155 16311 1111 63 0 17092 0
vsize: 68620
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14440
Raw data (stat): 14440 (bsolo_lpr-v2) R 14439 20224 20223 0 -1 0 65650 0 0 0 13804 194 0 0 25 0 1 0 895290907 70266880 16311 4294967295 134512640 134716908 3221224576 3221223216 134613470 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17155 16311 1111 63 0 17092 0
vsize: 68620
[startup+150.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14440
Raw data (stat): 14440 (bsolo_lpr-v2) R 14439 20224 20223 0 -1 0 65650 0 0 0 14804 195 0 0 25 0 1 0 895290907 70266880 16311 4294967295 134512640 134716908 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17155 16311 1111 63 0 17092 0
vsize: 68620
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14440
Raw data (stat): 14440 (bsolo_lpr-v2) R 14439 20224 20223 0 -1 0 65650 0 0 0 15804 195 0 0 25 0 1 0 895290907 70266880 16311 4294967295 134512640 134716908 3221224576 3221223132 134535956 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17155 16311 1111 63 0 17092 0
vsize: 68620
[startup+170.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14440
Raw data (stat): 14440 (bsolo_lpr-v2) R 14439 20224 20223 0 -1 0 65650 0 0 0 16804 196 0 0 25 0 1 0 895290907 70266880 16311 4294967295 134512640 134716908 3221224576 3221223152 134549635 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17155 16311 1111 63 0 17092 0
vsize: 68620
[startup+180.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14440
Raw data (stat): 14440 (bsolo_lpr-v2) R 14439 20224 20223 0 -1 0 65650 0 0 0 17803 196 0 0 25 0 1 0 895290907 70266880 16311 4294967295 134512640 134716908 3221224576 3221223168 134542680 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17155 16311 1111 63 0 17092 0
vsize: 68620
[startup+190.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14440
Raw data (stat): 14440 (bsolo_lpr-v2) R 14439 20224 20223 0 -1 0 65650 0 0 0 18803 196 0 0 25 0 1 0 895290907 70266880 16311 4294967295 134512640 134716908 3221224576 3221223224 134543614 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17155 16311 1111 63 0 17092 0
vsize: 68620
[startup+200.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14440
Raw data (stat): 14440 (bsolo_lpr-v2) R 14439 20224 20223 0 -1 0 65650 0 0 0 19803 197 0 0 25 0 1 0 895290907 70266880 16311 4294967295 134512640 134716908 3221224576 3221223216 134613470 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17155 16311 1111 63 0 17092 0
vsize: 68620
[startup+210.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14440
Raw data (stat): 14440 (bsolo_lpr-v2) R 14439 20224 20223 0 -1 0 65650 0 0 0 20802 198 0 0 25 0 1 0 895290907 70266880 16311 4294967295 134512640 134716908 3221224576 3221223344 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17155 16311 1111 63 0 17092 0
vsize: 68620
[startup+220.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14440
Raw data (stat): 14440 (bsolo_lpr-v2) R 14439 20224 20223 0 -1 0 65650 0 0 0 21802 198 0 0 25 0 1 0 895290907 70266880 16311 4294967295 134512640 134716908 3221224576 3221223344 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17155 16311 1111 63 0 17092 0
vsize: 68620
[startup+230.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14440
Raw data (stat): 14440 (bsolo_lpr-v2) R 14439 20224 20223 0 -1 0 65650 0 0 0 22802 199 0 0 25 0 1 0 895290907 70266880 16311 4294967295 134512640 134716908 3221224576 3221223232 134536630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17155 16311 1111 63 0 17092 0
vsize: 68620
[startup+240.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14440
Raw data (stat): 14440 (bsolo_lpr-v2) R 14439 20224 20223 0 -1 0 65650 0 0 0 23801 199 0 0 25 0 1 0 895290907 70266880 16311 4294967295 134512640 134716908 3221224576 3221223184 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17155 16311 1111 63 0 17092 0
vsize: 68620
[startup+250.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14440
Raw data (stat): 14440 (bsolo_lpr-v2) R 14439 20224 20223 0 -1 0 65650 0 0 0 24801 199 0 0 25 0 1 0 895290907 70266880 16311 4294967295 134512640 134716908 3221224576 3221223060 134699564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17155 16311 1111 63 0 17092 0
vsize: 68620
[startup+260.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14440
Raw data (stat): 14440 (bsolo_lpr-v2) R 14439 20224 20223 0 -1 0 65650 0 0 0 25801 200 0 0 25 0 1 0 895290907 70266880 16311 4294967295 134512640 134716908 3221224576 3221223288 134552681 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17155 16311 1111 63 0 17092 0
vsize: 68620
[startup+270.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14440
Raw data (stat): 14440 (bsolo_lpr-v2) R 14439 20224 20223 0 -1 0 65669 0 0 0 26801 200 0 0 25 0 1 0 895290907 70402048 16330 4294967295 134512640 134716908 3221224576 3221223184 134549334 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17188 16330 1111 63 0 17125 0
vsize: 68752
[startup+280.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14440
Raw data (stat): 14440 (bsolo_lpr-v2) R 14439 20224 20223 0 -1 0 65790 0 0 0 27799 202 0 0 25 0 1 0 895290907 70942720 16451 4294967295 134512640 134716908 3221224576 3221223248 134543700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17320 16451 1111 63 0 17257 0
vsize: 69280
[startup+290.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14440
Raw data (stat): 14440 (bsolo_lpr-v2) R 14439 20224 20223 0 -1 0 65939 0 0 0 28799 203 0 0 25 0 1 0 895290907 71483392 16600 4294967295 134512640 134716908 3221224576 3221223204 1077374057 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17452 16600 1111 63 0 17389 0
vsize: 69808
[startup+300.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14440
Raw data (stat): 14440 (bsolo_lpr-v2) R 14439 20224 20223 0 -1 0 66055 0 0 0 29798 203 0 0 25 0 1 0 895290907 72024064 16716 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17584 16716 1111 63 0 17521 0
vsize: 70336
[startup+310.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14440
Raw data (stat): 14440 (bsolo_lpr-v2) R 14439 20224 20223 0 -1 0 66178 0 0 0 30797 204 0 0 25 0 1 0 895290907 72556544 16839 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17714 16839 1111 63 0 17651 0
vsize: 70856
[startup+320.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14440
Raw data (stat): 14440 (bsolo_lpr-v2) R 14439 20224 20223 0 -1 0 66285 0 0 0 31797 205 0 0 25 0 1 0 895290907 72962048 16946 4294967295 134512640 134716908 3221224576 3221223360 134529177 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17813 16946 1111 63 0 17750 0
vsize: 71252
[startup+330.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14440
Raw data (stat): 14440 (bsolo_lpr-v2) R 14439 20224 20223 0 -1 0 66356 0 0 0 32797 205 0 0 25 0 1 0 895290907 73207808 17017 4294967295 134512640 134716908 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17873 17017 1111 63 0 17810 0
vsize: 71492
[startup+340.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14440
Raw data (stat): 14440 (bsolo_lpr-v2) R 14439 20224 20223 0 -1 0 66394 0 0 0 33796 206 0 0 25 0 1 0 895290907 73342976 17055 4294967295 134512640 134716908 3221224576 3221223264 134524471 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17906 17055 1111 63 0 17843 0
vsize: 71624
[startup+350.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14440
Raw data (stat): 14440 (bsolo_lpr-v2) R 14439 20224 20223 0 -1 0 66498 0 0 0 34796 206 0 0 25 0 1 0 895290907 73748480 17159 4294967295 134512640 134716908 3221224576 3221223132 134539324 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18005 17159 1111 63 0 17942 0
vsize: 72020
[startup+360.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14440
Raw data (stat): 14440 (bsolo_lpr-v2) R 14439 20224 20223 0 -1 0 66552 0 0 0 35796 207 0 0 25 0 1 0 895290907 74018816 17213 4294967295 134512640 134716908 3221224576 3221223300 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18071 17213 1111 63 0 18008 0
vsize: 72284
[startup+370.008 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 14440
Raw data (stat): 14440 (bsolo_lpr-v2) R 14439 20224 20223 0 -1 0 66651 0 0 0 36795 208 0 0 25 0 1 0 895290907 74412032 17312 4294967295 134512640 134716908 3221224576 3221223312 134523930 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18167 17312 1111 63 0 18104 0
vsize: 72668
[startup+380.008 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 14440
Raw data (stat): 14440 (bsolo_lpr-v2) R 14439 20224 20223 0 -1 0 66736 0 0 0 37794 209 0 0 25 0 1 0 895290907 74817536 17397 4294967295 134512640 134716908 3221224576 3221223168 134549651 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18266 17397 1111 63 0 18203 0
vsize: 73064
[startup+390.008 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 14440
Raw data (stat): 14440 (bsolo_lpr-v2) R 14439 20224 20223 0 -1 0 66848 0 0 0 38793 210 0 0 25 0 1 0 895290907 75223040 17509 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18365 17509 1111 63 0 18302 0
vsize: 73460
[startup+400.007 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 14440
Raw data (stat): 14440 (bsolo_lpr-v2) R 14439 20224 20223 0 -1 0 66894 0 0 0 39793 211 0 0 25 0 1 0 895290907 75468800 17555 4294967295 134512640 134716908 3221224576 3221223268 134528601 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18425 17555 1111 63 0 18362 0
vsize: 73700
[startup+410.007 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 14440
Raw data (stat): 14440 (bsolo_lpr-v2) R 14439 20224 20223 0 -1 0 66961 0 0 0 40792 212 0 0 25 0 1 0 895290907 75739136 17622 4294967295 134512640 134716908 3221224576 3221223324 134543124 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18491 17622 1111 63 0 18428 0
vsize: 73964
[startup+420.007 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 14440
Raw data (stat): 14440 (bsolo_lpr-v2) R 14439 20224 20223 0 -1 0 67026 0 0 0 41791 212 0 0 25 0 1 0 895290907 76009472 17687 4294967295 134512640 134716908 3221224576 3221223360 134529252 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18557 17687 1111 63 0 18494 0
vsize: 74228
[startup+430.008 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 14440
Raw data (stat): 14440 (bsolo_lpr-v2) R 14439 20224 20223 0 -1 0 67108 0 0 0 42791 212 0 0 25 0 1 0 895290907 76279808 17769 4294967295 134512640 134716908 3221224576 3221223216 134539376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18623 17769 1111 63 0 18560 0
vsize: 74492
[startup+440.008 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 14440
Raw data (stat): 14440 (bsolo_lpr-v2) R 14439 20224 20223 0 -1 0 67168 0 0 0 43791 213 0 0 25 0 1 0 895290907 76550144 17829 4294967295 134512640 134716908 3221224576 3221223312 134558532 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18689 17829 1111 63 0 18626 0
vsize: 74756
[startup+450.011 s]
Raw data (loadavg): 1.10 1.00 0.92 2/56 14476
Raw data (stat): 14440 (bsolo_lpr-v2) R 14439 20224 20223 0 -1 0 67249 0 0 0 44790 214 0 0 25 0 1 0 895290907 76820480 17910 4294967295 134512640 134716908 3221224576 3221223216 134524198 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18755 17910 1111 63 0 18692 0
vsize: 75020
[startup+460.011 s]
Raw data (loadavg): 1.16 1.02 0.93 2/54 14493
Raw data (stat): 14440 (bsolo_lpr-v2) R 14439 20224 20223 0 -1 0 67309 0 0 0 45788 215 0 0 25 0 1 0 895290907 77074432 17970 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18817 17970 1111 63 0 18754 0
vsize: 75268
[startup+470.012 s]
Raw data (loadavg): 1.14 1.02 0.93 2/54 14493
Raw data (stat): 14440 (bsolo_lpr-v2) R 14439 20224 20223 0 -1 0 67449 0 0 0 46787 216 0 0 25 0 1 0 895290907 77742080 18110 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18980 18110 1111 63 0 18917 0
vsize: 75920
[startup+480.013 s]
Raw data (loadavg): 1.12 1.02 0.93 2/54 14493
Raw data (stat): 14440 (bsolo_lpr-v2) R 14439 20224 20223 0 -1 0 67505 0 0 0 47787 217 0 0 25 0 1 0 895290907 77877248 18166 4294967295 134512640 134716908 3221224576 3221223360 134529301 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19013 18166 1111 63 0 18950 0
vsize: 76052
[startup+490.012 s]
Raw data (loadavg): 1.10 1.02 0.93 2/54 14493
Raw data (stat): 14440 (bsolo_lpr-v2) R 14439 20224 20223 0 -1 0 67616 0 0 0 48786 218 0 0 25 0 1 0 895290907 78417920 18277 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19145 18277 1111 63 0 19082 0
vsize: 76580
[startup+500.012 s]
Raw data (loadavg): 1.08 1.02 0.93 2/54 14493
Raw data (stat): 14440 (bsolo_lpr-v2) R 14439 20224 20223 0 -1 0 67743 0 0 0 49785 218 0 0 25 0 1 0 895290907 78946304 18404 4294967295 134512640 134716908 3221224576 3221223344 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19274 18405 1111 63 0 19211 0
vsize: 77096
[startup+510.013 s]
Raw data (loadavg): 1.07 1.01 0.93 2/54 14493
Raw data (stat): 14440 (bsolo_lpr-v2) R 14439 20224 20223 0 -1 0 67904 0 0 0 50785 219 0 0 25 0 1 0 895290907 79622144 18565 4294967295 134512640 134716908 3221224576 3221223300 134613716 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19439 18565 1111 63 0 19376 0
vsize: 77756
[startup+520.013 s]
Raw data (loadavg): 1.06 1.01 0.93 2/54 14493
Raw data (stat): 14440 (bsolo_lpr-v2) R 14439 20224 20223 0 -1 0 67974 0 0 0 51784 220 0 0 25 0 1 0 895290907 79876096 18635 4294967295 134512640 134716908 3221224576 3221223152 134549635 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19501 18635 1111 63 0 19438 0
vsize: 78004
[startup+530.014 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 14495
Raw data (stat): 14440 (bsolo_lpr-v2) R 14439 20224 20223 0 -1 0 68083 0 0 0 52783 221 0 0 25 0 1 0 895290907 80273408 18744 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19598 18744 1111 63 0 19535 0
vsize: 78392
[startup+540.015 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 14495
Raw data (stat): 14440 (bsolo_lpr-v2) R 14439 20224 20223 0 -1 0 68174 0 0 0 53782 222 0 0 25 0 1 0 895290907 80674816 18835 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19696 18835 1111 63 0 19633 0
vsize: 78784
[startup+550.014 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 14495
Raw data (stat): 14440 (bsolo_lpr-v2) R 14439 20224 20223 0 -1 0 68291 0 0 0 54782 223 0 0 25 0 1 0 895290907 81215488 18952 4294967295 134512640 134716908 3221224576 3221223184 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19828 18952 1111 63 0 19765 0
vsize: 79312
[startup+560.014 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 14495
Raw data (stat): 14440 (bsolo_lpr-v2) R 14439 20224 20223 0 -1 0 68408 0 0 0 55781 224 0 0 25 0 1 0 895290907 81620992 19069 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19927 19069 1111 63 0 19864 0
vsize: 79708
[startup+570.015 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 14495
Raw data (stat): 14440 (bsolo_lpr-v2) R 14439 20224 20223 0 -1 0 68450 0 0 0 56780 225 0 0 25 0 1 0 895290907 81756160 19111 4294967295 134512640 134716908 3221224576 3221222820 134699711 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19960 19111 1111 63 0 19897 0
vsize: 79840
[startup+580.016 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 14495
Raw data (stat): 14440 (bsolo_lpr-v2) R 14439 20224 20223 0 -1 0 68543 0 0 0 57779 226 0 0 25 0 1 0 895290907 82161664 19204 4294967295 134512640 134716908 3221224576 3221223132 134535956 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20059 19204 1111 63 0 19996 0
vsize: 80236
[startup+590.016 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 14495
Raw data (stat): 14440 (bsolo_lpr-v2) R 14439 20224 20223 0 -1 0 68612 0 0 0 58779 227 0 0 25 0 1 0 895290907 82407424 19273 4294967295 134512640 134716908 3221224576 3221223228 134536766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20119 19273 1111 63 0 20056 0
vsize: 80476
[startup+600.016 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 14495
Raw data (stat): 14440 (bsolo_lpr-v2) R 14439 20224 20223 0 -1 0 68660 0 0 0 59778 227 0 0 25 0 1 0 895290907 82677760 19321 4294967295 134512640 134716908 3221224576 3221223344 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20185 19321 1111 63 0 20122 0
vsize: 80740
[startup+610.016 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 14495
Raw data (stat): 14440 (bsolo_lpr-v2) R 14439 20224 20223 0 -1 0 68763 0 0 0 60778 228 0 0 25 0 1 0 895290907 83054592 19424 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20277 19424 1111 63 0 20214 0
vsize: 81108
[startup+620.016 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 14495
Raw data (stat): 14440 (bsolo_lpr-v2) R 14439 20224 20223 0 -1 0 68810 0 0 0 61778 228 0 0 25 0 1 0 895290907 83316736 19471 4294967295 134512640 134716908 3221224576 3221223136 134552038 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20341 19471 1111 63 0 20278 0
vsize: 81364
[startup+630.017 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 14495
Raw data (stat): 14440 (bsolo_lpr-v2) R 14439 20224 20223 0 -1 0 68892 0 0 0 62778 228 0 0 25 0 1 0 895290907 83677184 19553 4294967295 134512640 134716908 3221224576 3221223280 134528617 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20429 19553 1111 63 0 20366 0
vsize: 81716
[startup+640.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 14495
Raw data (stat): 14440 (bsolo_lpr-v2) R 14439 20224 20223 0 -1 0 68960 0 0 0 63778 229 0 0 25 0 1 0 895290907 83947520 19621 4294967295 134512640 134716908 3221224576 3221223184 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20495 19621 1111 63 0 20432 0
vsize: 81980
[startup+650.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 14495
Raw data (stat): 14440 (bsolo_lpr-v2) R 14439 20224 20223 0 -1 0 69054 0 0 0 64777 230 0 0 25 0 1 0 895290907 84336640 19715 4294967295 134512640 134716908 3221224576 3221223360 134529294 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20590 19715 1111 63 0 20527 0
vsize: 82360
[startup+660.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 14495
Raw data (stat): 14440 (bsolo_lpr-v2) R 14439 20224 20223 0 -1 0 69163 0 0 0 65777 230 0 0 25 0 1 0 895290907 84742144 19824 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20689 19824 1111 63 0 20626 0
vsize: 82756
[startup+670.018 s]
Raw data (loadavg): 1.24 1.05 0.94 2/54 14495
Raw data (stat): 14440 (bsolo_lpr-v2) R 14439 20224 20223 0 -1 0 69241 0 0 0 66776 231 0 0 25 0 1 0 895290907 85008384 19902 4294967295 134512640 134716908 3221224576 3221223192 134613981 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20754 19902 1111 63 0 20691 0
vsize: 83016
[startup+680.019 s]
Raw data (loadavg): 1.28 1.06 0.95 2/54 14495
Raw data (stat): 14440 (bsolo_lpr-v2) R 14439 20224 20223 0 -1 0 69275 0 0 0 67776 231 0 0 25 0 1 0 895290907 85143552 19936 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20787 19936 1111 63 0 20724 0
vsize: 83148
[startup+690.019 s]
Raw data (loadavg): 1.24 1.06 0.95 2/54 14495
Raw data (stat): 14440 (bsolo_lpr-v2) R 14439 20224 20223 0 -1 0 69340 0 0 0 68776 232 0 0 25 0 1 0 895290907 85413888 20001 4294967295 134512640 134716908 3221224576 3221223344 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20853 20001 1111 63 0 20790 0
vsize: 83412
[startup+700.019 s]
Raw data (loadavg): 1.20 1.06 0.95 2/54 14495
Raw data (stat): 14440 (bsolo_lpr-v2) R 14439 20224 20223 0 -1 0 69441 0 0 0 69775 233 0 0 25 0 1 0 895290907 85925888 20102 4294967295 134512640 134716908 3221224576 3221223360 134529252 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20978 20102 1111 63 0 20915 0
vsize: 83912
[startup+710.02 s]
Raw data (loadavg): 1.17 1.06 0.95 2/54 14495
Raw data (stat): 14440 (bsolo_lpr-v2) R 14439 20224 20223 0 -1 0 69512 0 0 0 70775 233 0 0 25 0 1 0 895290907 86155264 20173 4294967295 134512640 134716908 3221224576 3221223132 134539235 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21034 20173 1111 63 0 20971 0
vsize: 84136
[startup+720.02 s]
Raw data (loadavg): 1.14 1.05 0.95 2/54 14495
Raw data (stat): 14440 (bsolo_lpr-v2) R 14439 20224 20223 0 -1 0 69592 0 0 0 71774 234 0 0 25 0 1 0 895290907 86425600 20253 4294967295 134512640 134716908 3221224576 3221223216 134543108 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21100 20253 1111 63 0 21037 0
vsize: 84400
[startup+730.02 s]
Raw data (loadavg): 1.12 1.05 0.95 2/54 14495
Raw data (stat): 14440 (bsolo_lpr-v2) R 14439 20224 20223 0 -1 0 69717 0 0 0 72774 234 0 0 25 0 1 0 895290907 86966272 20378 4294967295 134512640 134716908 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21232 20378 1111 63 0 21169 0
vsize: 84928
[startup+740.02 s]
Raw data (loadavg): 1.10 1.05 0.95 2/54 14495
Raw data (stat): 14440 (bsolo_lpr-v2) R 14439 20224 20223 0 -1 0 69764 0 0 0 73774 235 0 0 25 0 1 0 895290907 87236608 20425 4294967295 134512640 134716908 3221224576 3221223252 134551958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21298 20425 1111 63 0 21235 0
vsize: 85192
[startup+750.02 s]
Raw data (loadavg): 1.08 1.05 0.95 2/54 14495
Raw data (stat): 14440 (bsolo_lpr-v2) R 14439 20224 20223 0 -1 0 69837 0 0 0 74773 235 0 0 25 0 1 0 895290907 87506944 20498 4294967295 134512640 134716908 3221224576 3221223132 134535634 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21364 20498 1111 63 0 21301 0
vsize: 85456
[startup+760.02 s]
Raw data (loadavg): 1.07 1.05 0.95 2/54 14495
Raw data (stat): 14440 (bsolo_lpr-v2) R 14439 20224 20223 0 -1 0 69909 0 0 0 75772 236 0 0 25 0 1 0 895290907 87773184 20570 4294967295 134512640 134716908 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21429 20570 1111 63 0 21366 0
vsize: 85716
[startup+770.02 s]
Raw data (loadavg): 1.06 1.04 0.95 2/54 14495
Raw data (stat): 14440 (bsolo_lpr-v2) R 14439 20224 20223 0 -1 0 69988 0 0 0 76772 237 0 0 25 0 1 0 895290907 88043520 20649 4294967295 134512640 134716908 3221224576 3221223344 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21495 20649 1111 63 0 21432 0
vsize: 85980
[startup+780.021 s]
Raw data (loadavg): 1.05 1.04 0.95 2/54 14495
Raw data (stat): 14440 (bsolo_lpr-v2) R 14439 20224 20223 0 -1 0 70032 0 0 0 77772 237 0 0 25 0 1 0 895290907 88313856 20693 4294967295 134512640 134716908 3221224576 3221223360 134529237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21561 20693 1111 63 0 21498 0
vsize: 86244
[startup+790.02 s]
Raw data (loadavg): 1.04 1.04 0.95 2/54 14495
Raw data (stat): 14440 (bsolo_lpr-v2) R 14439 20224 20223 0 -1 0 70114 0 0 0 78771 238 0 0 25 0 1 0 895290907 88571904 20775 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21624 20775 1111 63 0 21561 0
vsize: 86496
[startup+800.02 s]
Raw data (loadavg): 1.04 1.04 0.95 2/54 14497
Raw data (stat): 14440 (bsolo_lpr-v2) R 14439 20224 20223 0 -1 0 70123 0 0 0 79771 238 0 0 25 0 1 0 895290907 88707072 20784 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21657 20784 1111 63 0 21594 0
vsize: 86628
[startup+810.021 s]
Raw data (loadavg): 1.03 1.04 0.95 2/54 14497
Raw data (stat): 14440 (bsolo_lpr-v2) R 14439 20224 20223 0 -1 0 70181 0 0 0 80771 239 0 0 25 0 1 0 895290907 88829952 20842 4294967295 134512640 134716908 3221224576 3221223344 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21687 20842 1111 63 0 21624 0
vsize: 86748
[startup+820.021 s]
Raw data (loadavg): 1.02 1.03 0.95 2/54 14497
Raw data (stat): 14440 (bsolo_lpr-v2) R 14439 20224 20223 0 -1 0 70257 0 0 0 81770 239 0 0 25 0 1 0 895290907 89227264 20918 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21784 20918 1111 63 0 21721 0
vsize: 87136
[startup+830.022 s]
Raw data (loadavg): 1.02 1.03 0.95 2/54 14497
Raw data (stat): 14440 (bsolo_lpr-v2) R 14439 20224 20223 0 -1 0 70282 0 0 0 82770 240 0 0 25 0 1 0 895290907 89337856 20943 4294967295 134512640 134716908 3221224576 3221223156 134549630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21811 20943 1111 63 0 21748 0
vsize: 87244
[startup+840.022 s]
Raw data (loadavg): 1.02 1.03 0.95 2/54 14497
Raw data (stat): 14440 (bsolo_lpr-v2) R 14439 20224 20223 0 -1 0 70333 0 0 0 83770 240 0 0 25 0 1 0 895290907 89473024 20994 4294967295 134512640 134716908 3221224576 3221223200 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21844 20994 1111 63 0 21781 0
vsize: 87376
[startup+850.021 s]
Raw data (loadavg): 1.01 1.03 0.95 2/54 14497
Raw data (stat): 14440 (bsolo_lpr-v2) R 14439 20224 20223 0 -1 0 70371 0 0 0 84769 241 0 0 25 0 1 0 895290907 89604096 21032 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21876 21032 1111 63 0 21813 0
vsize: 87504
[startup+860.021 s]
Raw data (loadavg): 1.01 1.03 0.95 2/54 14497
Raw data (stat): 14440 (bsolo_lpr-v2) R 14439 20224 20223 0 -1 0 70433 0 0 0 85769 241 0 0 25 0 1 0 895290907 89870336 21094 4294967295 134512640 134716908 3221224576 3221223132 134535967 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21941 21094 1111 63 0 21878 0
vsize: 87764
[startup+870.021 s]
Raw data (loadavg): 1.01 1.03 0.95 2/54 14497
Raw data (stat): 14440 (bsolo_lpr-v2) R 14439 20224 20223 0 -1 0 70476 0 0 0 86769 242 0 0 25 0 1 0 895290907 90140672 21137 4294967295 134512640 134716908 3221224576 3221223344 134592137 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22007 21137 1111 63 0 21944 0
vsize: 88028
[startup+880.022 s]
Raw data (loadavg): 1.01 1.03 0.95 2/54 14497
Raw data (stat): 14440 (bsolo_lpr-v2) R 14439 20224 20223 0 -1 0 70497 0 0 0 87769 242 0 0 25 0 1 0 895290907 90140672 21158 4294967295 134512640 134716908 3221224576 3221223160 134542291 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22007 21158 1111 63 0 21944 0
vsize: 88028
[startup+890.023 s]
Raw data (loadavg): 1.01 1.02 0.95 2/54 14497
Raw data (stat): 14440 (bsolo_lpr-v2) R 14439 20224 20223 0 -1 0 70554 0 0 0 88769 242 0 0 25 0 1 0 895290907 90402816 21215 4294967295 134512640 134716908 3221224576 3221223184 134549313 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22071 21215 1111 63 0 22008 0
vsize: 88284
[startup+900.023 s]
Raw data (loadavg): 1.00 1.02 0.95 2/54 14497
Raw data (stat): 14440 (bsolo_lpr-v2) R 14439 20224 20223 0 -1 0 70590 0 0 0 89769 243 0 0 25 0 1 0 895290907 90537984 21251 4294967295 134512640 134716908 3221224576 3221223312 134523930 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22104 21251 1111 63 0 22041 0
vsize: 88416
[startup+910.024 s]
Raw data (loadavg): 1.00 1.02 0.95 2/54 14497
Raw data (stat): 14440 (bsolo_lpr-v2) R 14439 20224 20223 0 -1 0 70668 0 0 0 90768 243 0 0 25 0 1 0 895290907 90914816 21329 4294967295 134512640 134716908 3221224576 3221223344 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22196 21329 1111 63 0 22133 0
vsize: 88784
[startup+920.024 s]
Raw data (loadavg): 1.00 1.02 0.95 2/54 14497
Raw data (stat): 14440 (bsolo_lpr-v2) R 14439 20224 20223 0 -1 0 70707 0 0 0 91768 244 0 0 25 0 1 0 895290907 91049984 21368 4294967295 134512640 134716908 3221224576 3221223228 134536817 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22229 21368 1111 63 0 22166 0
vsize: 88916
[startup+930.025 s]
Raw data (loadavg): 1.00 1.02 0.95 2/54 14497
Raw data (stat): 14440 (bsolo_lpr-v2) R 14439 20224 20223 0 -1 0 70736 0 0 0 92767 244 0 0 25 0 1 0 895290907 91185152 21397 4294967295 134512640 134716908 3221224576 3221223408 134551454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22262 21397 1111 63 0 22199 0
vsize: 89048
[startup+940.025 s]
Raw data (loadavg): 1.00 1.02 0.95 2/54 14497
Raw data (stat): 14440 (bsolo_lpr-v2) R 14439 20224 20223 0 -1 0 70769 0 0 0 93767 245 0 0 25 0 1 0 895290907 91320320 21430 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22295 21430 1111 63 0 22232 0
vsize: 89180
[startup+950.025 s]
Raw data (loadavg): 1.00 1.02 0.95 2/54 14497
Raw data (stat): 14440 (bsolo_lpr-v2) R 14439 20224 20223 0 -1 0 70777 0 0 0 94767 246 0 0 25 0 1 0 895290907 91320320 21438 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22295 21438 1111 63 0 22232 0
vsize: 89180
[startup+960.026 s]
Raw data (loadavg): 1.00 1.02 0.95 2/54 14497
Raw data (stat): 14440 (bsolo_lpr-v2) R 14439 20224 20223 0 -1 0 70818 0 0 0 95767 246 0 0 25 0 1 0 895290907 91455488 21479 4294967295 134512640 134716908 3221224576 3221223264 134542851 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22328 21479 1111 63 0 22265 0
vsize: 89312
[startup+970.026 s]
Raw data (loadavg): 1.00 1.02 0.95 2/54 14497
Raw data (stat): 14440 (bsolo_lpr-v2) R 14439 20224 20223 0 -1 0 70821 0 0 0 96766 246 0 0 25 0 1 0 895290907 91455488 21482 4294967295 134512640 134716908 3221224576 3221223216 134613458 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22328 21482 1111 63 0 22265 0
vsize: 89312
[startup+980.026 s]
Raw data (loadavg): 1.00 1.02 0.95 2/54 14497
Raw data (stat): 14440 (bsolo_lpr-v2) R 14439 20224 20223 0 -1 0 70855 0 0 0 97766 247 0 0 25 0 1 0 895290907 91590656 21516 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22361 21516 1111 63 0 22298 0
vsize: 89444
[startup+990.027 s]
Raw data (loadavg): 1.00 1.02 0.95 2/54 14497
Raw data (stat): 14440 (bsolo_lpr-v2) R 14439 20224 20223 0 -1 0 70927 0 0 0 98766 247 0 0 25 0 1 0 895290907 91996160 21588 4294967295 134512640 134716908 3221224576 3221223216 134543110 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22460 21588 1111 63 0 22397 0
vsize: 89840
[startup+1000.03 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 14497
Raw data (stat): 14440 (bsolo_lpr-v2) R 14439 20224 20223 0 -1 0 70947 0 0 0 99766 247 0 0 25 0 1 0 895290907 92078080 21608 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22480 21608 1111 63 0 22417 0
vsize: 89920
[startup+1010.03 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 14497
Raw data (stat): 14440 (bsolo_lpr-v2) R 14439 20224 20223 0 -1 0 70996 0 0 0 100765 248 0 0 25 0 1 0 895290907 92209152 21657 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22512 21657 1111 63 0 22449 0
vsize: 90048
[startup+1020.03 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 14497
Raw data (stat): 14440 (bsolo_lpr-v2) R 14439 20224 20223 0 -1 0 71075 0 0 0 101765 249 0 0 25 0 1 0 895290907 92590080 21736 4294967295 134512640 134716908 3221224576 3221223248 134551963 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22605 21736 1111 63 0 22542 0
vsize: 90420
[startup+1030.03 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 14497
Raw data (stat): 14440 (bsolo_lpr-v2) R 14439 20224 20223 0 -1 0 71139 0 0 0 102765 249 0 0 25 0 1 0 895290907 92856320 21800 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22670 21800 1111 63 0 22607 0
vsize: 90680
[startup+1040.03 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 14497
Raw data (stat): 14440 (bsolo_lpr-v2) R 14439 20224 20223 0 -1 0 71153 0 0 0 103765 249 0 0 25 0 1 0 895290907 92852224 21814 4294967295 134512640 134716908 3221224576 3221223280 134535812 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22669 21814 1111 63 0 22606 0
vsize: 90676
[startup+1050.03 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 14497
Raw data (stat): 14440 (bsolo_lpr-v2) R 14439 20224 20223 0 -1 0 71213 0 0 0 104764 250 0 0 25 0 1 0 895290907 93110272 21874 4294967295 134512640 134716908 3221224576 3221223216 134539462 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22732 21874 1111 63 0 22669 0
vsize: 90928
[startup+1060.03 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 14497
Raw data (stat): 14440 (bsolo_lpr-v2) R 14439 20224 20223 0 -1 0 71238 0 0 0 105764 250 0 0 25 0 1 0 895290907 93245440 21899 4294967295 134512640 134716908 3221224576 3221223360 134528943 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22765 21899 1111 63 0 22702 0
vsize: 91060
[startup+1070.03 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 14497
Raw data (stat): 14440 (bsolo_lpr-v2) R 14439 20224 20223 0 -1 0 71271 0 0 0 106763 251 0 0 25 0 1 0 895290907 93380608 21932 4294967295 134512640 134716908 3221224576 3221223168 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22798 21932 1111 63 0 22735 0
vsize: 91192
[startup+1080.03 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 14497
Raw data (stat): 14440 (bsolo_lpr-v2) R 14439 20224 20223 0 -1 0 71330 0 0 0 107763 252 0 0 25 0 1 0 895290907 93650944 21991 4294967295 134512640 134716908 3221224576 3221223132 134535664 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22864 21991 1111 63 0 22801 0
vsize: 91456
[startup+1090.03 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 14497
Raw data (stat): 14440 (bsolo_lpr-v2) R 14439 20224 20223 0 -1 0 71369 0 0 0 108762 253 0 0 25 0 1 0 895290907 93786112 22030 4294967295 134512640 134716908 3221224576 3221223168 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22897 22030 1111 63 0 22834 0
vsize: 91588
[startup+1100.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 14497
Raw data (stat): 14440 (bsolo_lpr-v2) R 14439 20224 20223 0 -1 0 71437 0 0 0 109762 253 0 0 25 0 1 0 895290907 94056448 22098 4294967295 134512640 134716908 3221224576 3221223184 134549474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22963 22098 1111 63 0 22900 0
vsize: 91852
[startup+1110.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 14497
Raw data (stat): 14440 (bsolo_lpr-v2) R 14439 20224 20223 0 -1 0 71504 0 0 0 110762 254 0 0 25 0 1 0 895290907 94326784 22165 4294967295 134512640 134716908 3221224576 3221223280 134528665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23029 22165 1111 63 0 22966 0
vsize: 92116
[startup+1120.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 14497
Raw data (stat): 14440 (bsolo_lpr-v2) R 14439 20224 20223 0 -1 0 71523 0 0 0 111762 254 0 0 25 0 1 0 895290907 94326784 22184 4294967295 134512640 134716908 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23029 22184 1111 63 0 22966 0
vsize: 92116
[startup+1130.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 14497
Raw data (stat): 14440 (bsolo_lpr-v2) R 14439 20224 20223 0 -1 0 71523 0 0 0 112762 254 0 0 25 0 1 0 895290907 94326784 22184 4294967295 134512640 134716908 3221224576 3221223252 134551958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23029 22184 1111 63 0 22966 0
vsize: 92116
[startup+1140.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 14497
Raw data (stat): 14440 (bsolo_lpr-v2) R 14439 20224 20223 0 -1 0 71581 0 0 0 113762 254 0 0 25 0 1 0 895290907 94584832 22242 4294967295 134512640 134716908 3221224576 3221223304 134524122 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23092 22242 1111 63 0 23029 0
vsize: 92368
[startup+1150.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 14497
Raw data (stat): 14440 (bsolo_lpr-v2) R 14439 20224 20223 0 -1 0 71651 0 0 0 114761 255 0 0 25 0 1 0 895290907 94855168 22312 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23158 22312 1111 63 0 23095 0
vsize: 92632
[startup+1160.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 14497
Raw data (stat): 14440 (bsolo_lpr-v2) R 14439 20224 20223 0 -1 0 71707 0 0 0 115761 255 0 0 25 0 1 0 895290907 95117312 22368 4294967295 134512640 134716908 3221224576 3221223108 134543025 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23222 22368 1111 63 0 23159 0
vsize: 92888
[startup+1170.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 14497
Raw data (stat): 14440 (bsolo_lpr-v2) R 14439 20224 20223 0 -1 0 71730 0 0 0 116761 256 0 0 25 0 1 0 895290907 95252480 22391 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23255 22391 1111 63 0 23192 0
vsize: 93020
[startup+1174.91 s]
Raw data (loadavg): 1.00 1.00 0.95 1/53 14497
Raw data (stat): 14440 (bsolo_lpr-v2) R 14439 20224 20223 0 -1 0 71730 0 0 0 116761 256 0 0 25 0 1 0 895290907 95252480 22391 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23255 22391 1111 63 0 23192 0
vsize: 0

Child status: 0
Real time (s): 1174.91
CPU time (s): 1175.05
CPU user time (s): 1172.44
CPU system time (s): 2.6086
CPU usage (%): 100.012
Max. virtual memory (Kb): 93020
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####