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/submitted/aloul/FPGA_SAT05/normalized-fpga30_28_sat_pb.cnf.cr.opb
MD5SUM	888577ab8fe81abf9fdd366d65e4c3b7
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	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	31
Number of bits of the biggest sum of numbers	5
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.810876
Number of variables	1260
Total number of constraints	926
Number of constraints which are clauses	868
Number of constraints which are cardinality constraints (but not clauses)	58
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	15
Maximum length of a constraint	30
Trace number 39422

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        254836 kB
Buffers:         33924 kB
Cached:         723468 kB
SwapCached:        536 kB
Active:          59000 kB
Inactive:       700452 kB
HighTotal:      131008 kB
HighFree:        13776 kB
LowTotal:       903652 kB
LowFree:        241060 kB
SwapTotal:     2097136 kB
SwapFree:      2095656 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5208 kB
Slab:            14780 kB
Committed_AS:    63736 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 09:35:07 (client local time) WITH STATUS 0 IN 1175.02 SECONDS
stats: 27488 7 1175.02 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 1260 variables and 926 constraints.
c After prepocess the problem consists of 1260 variables and 926 constraints.
c preprocess terminated 1.667 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.92 0.97 0.91 2/54 12257
Raw data (stat): 12257 (runsolver) R 12256 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 891835819 884736 94 4294967295 134512640 135332820 3221224448 3221219628 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.001 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 12257
Raw data (stat): 12257 (bsolo_lpr-v2) R 12256 25568 25567 0 -1 0 1467 0 0 0 991 6 0 0 25 0 1 0 891835819 9125888 1385 4294967295 134512640 134716908 3221224560 3221223344 134528943 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2228 1385 1111 63 0 2165 0
vsize: 8912
[startup+20.0018 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 12257
Raw data (stat): 12257 (bsolo_lpr-v2) R 12256 25568 25567 0 -1 0 1527 0 0 0 1990 8 0 0 25 0 1 0 891835819 9396224 1445 4294967295 134512640 134716908 3221224560 3221223168 134549334 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2294 1445 1111 63 0 2231 0
vsize: 9176
[startup+30.002 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 12257
Raw data (stat): 12257 (bsolo_lpr-v2) R 12256 25568 25567 0 -1 0 1584 0 0 0 2989 9 0 0 25 0 1 0 891835819 9650176 1502 4294967295 134512640 134716908 3221224560 3221223140 1077378593 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2356 1502 1111 63 0 2293 0
vsize: 9424
[startup+40.0024 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 12257
Raw data (stat): 12257 (bsolo_lpr-v2) R 12256 25568 25567 0 -1 0 1621 0 0 0 3988 10 0 0 25 0 1 0 891835819 9785344 1539 4294967295 134512640 134716908 3221224560 3221223120 134552041 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2389 1539 1111 63 0 2326 0
vsize: 9556
[startup+50.0036 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 12257
Raw data (stat): 12257 (bsolo_lpr-v2) R 12256 25568 25567 0 -1 0 1680 0 0 0 4987 11 0 0 25 0 1 0 891835819 10055680 1598 4294967295 134512640 134716908 3221224560 3221223272 134558477 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2455 1598 1111 63 0 2392 0
vsize: 9820
[startup+60.0034 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 12257
Raw data (stat): 12257 (bsolo_lpr-v2) R 12256 25568 25567 0 -1 0 1892 0 0 0 5986 13 0 0 25 0 1 0 891835819 10866688 1810 4294967295 134512640 134716908 3221224560 3221223152 134549588 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2653 1810 1111 63 0 2590 0
vsize: 10612
[startup+70.0049 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 12257
Raw data (stat): 12257 (bsolo_lpr-v2) R 12256 25568 25567 0 -1 0 2010 0 0 0 6984 15 0 0 25 0 1 0 891835819 11407360 1928 4294967295 134512640 134716908 3221224560 3221222736 134699608 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2785 1928 1111 63 0 2722 0
vsize: 11140
[startup+80.0057 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 12257
Raw data (stat): 12257 (bsolo_lpr-v2) R 12256 25568 25567 0 -1 0 2010 0 0 0 7983 16 0 0 25 0 1 0 891835819 11272192 1924 4294967295 134512640 134716908 3221224560 3221223236 1077374455 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2752 1924 1111 63 0 2689 0
vsize: 11008
[startup+90.0059 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 12257
Raw data (stat): 12257 (bsolo_lpr-v2) R 12256 25568 25567 0 -1 0 2010 0 0 0 8983 17 0 0 25 0 1 0 891835819 11272192 1924 4294967295 134512640 134716908 3221224560 3221223168 134548843 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2752 1924 1111 63 0 2689 0
vsize: 11008
[startup+100.006 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 12257
Raw data (stat): 12257 (bsolo_lpr-v2) R 12256 25568 25567 0 -1 0 2010 0 0 0 9983 18 0 0 25 0 1 0 891835819 11272192 1924 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2752 1924 1111 63 0 2689 0
vsize: 11008
[startup+110.007 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 12257
Raw data (stat): 12257 (bsolo_lpr-v2) R 12256 25568 25567 0 -1 0 2026 0 0 0 10982 19 0 0 25 0 1 0 891835819 11407360 1940 4294967295 134512640 134716908 3221224560 3221223184 134539460 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2785 1940 1111 63 0 2722 0
vsize: 11140
[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12257
Raw data (stat): 12257 (bsolo_lpr-v2) R 12256 25568 25567 0 -1 0 2026 0 0 0 11982 19 0 0 25 0 1 0 891835819 11407360 1940 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2785 1940 1111 63 0 2722 0
vsize: 11140
[startup+130.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12257
Raw data (stat): 12257 (bsolo_lpr-v2) R 12256 25568 25567 0 -1 0 2031 0 0 0 12981 20 0 0 25 0 1 0 891835819 11407360 1945 4294967295 134512640 134716908 3221224560 3221223120 134542306 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2785 1945 1111 63 0 2722 0
vsize: 11140
[startup+140.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12257
Raw data (stat): 12257 (bsolo_lpr-v2) R 12256 25568 25567 0 -1 0 2100 0 0 0 13980 22 0 0 25 0 1 0 891835819 11677696 2014 4294967295 134512640 134716908 3221224560 3221223392 134551454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2851 2014 1111 63 0 2788 0
vsize: 11404
[startup+150.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12257
Raw data (stat): 12257 (bsolo_lpr-v2) R 12256 25568 25567 0 -1 0 2115 0 0 0 14980 22 0 0 25 0 1 0 891835819 11812864 2029 4294967295 134512640 134716908 3221224560 3221223168 134543674 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2884 2029 1111 63 0 2821 0
vsize: 11536
[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12257
Raw data (stat): 12257 (bsolo_lpr-v2) R 12256 25568 25567 0 -1 0 2141 0 0 0 15980 23 0 0 25 0 1 0 891835819 11812864 2055 4294967295 134512640 134716908 3221224560 3221223200 134613470 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2884 2055 1111 63 0 2821 0
vsize: 11536
[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12257
Raw data (stat): 12257 (bsolo_lpr-v2) R 12256 25568 25567 0 -1 0 2167 0 0 0 16979 24 0 0 25 0 1 0 891835819 11948032 2081 4294967295 134512640 134716908 3221224560 3221223392 134551454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2917 2081 1111 63 0 2854 0
vsize: 11668
[startup+180.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12257
Raw data (stat): 12257 (bsolo_lpr-v2) R 12256 25568 25567 0 -1 0 2197 0 0 0 17979 25 0 0 25 0 1 0 891835819 12148736 2111 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2966 2111 1111 63 0 2903 0
vsize: 11864
[startup+190.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12257
Raw data (stat): 12257 (bsolo_lpr-v2) R 12256 25568 25567 0 -1 0 2227 0 0 0 18978 26 0 0 25 0 1 0 891835819 12234752 2141 4294967295 134512640 134716908 3221224560 3221223280 134655184 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2987 2141 1111 63 0 2924 0
vsize: 11948
[startup+200.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12257
Raw data (stat): 12257 (bsolo_lpr-v2) R 12256 25568 25567 0 -1 0 2245 0 0 0 19977 27 0 0 25 0 1 0 891835819 12234752 2159 4294967295 134512640 134716908 3221224560 3221223248 134528420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2987 2159 1111 63 0 2924 0
vsize: 11948
[startup+210.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12257
Raw data (stat): 12257 (bsolo_lpr-v2) R 12256 25568 25567 0 -1 0 2264 0 0 0 20976 28 0 0 25 0 1 0 891835819 12369920 2178 4294967295 134512640 134716908 3221224560 3221223184 134698602 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3020 2178 1111 63 0 2957 0
vsize: 12080
[startup+220.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12257
Raw data (stat): 12257 (bsolo_lpr-v2) R 12256 25568 25567 0 -1 0 2274 0 0 0 21975 29 0 0 25 0 1 0 891835819 12369920 2188 4294967295 134512640 134716908 3221224560 3221223264 134528592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3020 2188 1111 63 0 2957 0
vsize: 12080
[startup+230.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12257
Raw data (stat): 12257 (bsolo_lpr-v2) R 12256 25568 25567 0 -1 0 2274 0 0 0 22974 30 0 0 25 0 1 0 891835819 12369920 2188 4294967295 134512640 134716908 3221224560 3221223344 134529368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3020 2188 1111 63 0 2957 0
vsize: 12080
[startup+240.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12257
Raw data (stat): 12257 (bsolo_lpr-v2) R 12256 25568 25567 0 -1 0 2284 0 0 0 23974 31 0 0 25 0 1 0 891835819 12492800 2198 4294967295 134512640 134716908 3221224560 3221223272 134542829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3050 2198 1111 63 0 2987 0
vsize: 12200
[startup+250.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12257
Raw data (stat): 12257 (bsolo_lpr-v2) R 12256 25568 25567 0 -1 0 2288 0 0 0 24973 32 0 0 25 0 1 0 891835819 12492800 2202 4294967295 134512640 134716908 3221224560 3221223120 134698948 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3050 2202 1111 63 0 2987 0
vsize: 12200
[startup+260.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12257
Raw data (stat): 12257 (bsolo_lpr-v2) R 12256 25568 25567 0 -1 0 2292 0 0 0 25972 34 0 0 25 0 1 0 891835819 12488704 2206 4294967295 134512640 134716908 3221224560 3221223152 134549541 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3049 2206 1111 63 0 2986 0
vsize: 12196
[startup+270.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12257
Raw data (stat): 12257 (bsolo_lpr-v2) R 12256 25568 25567 0 -1 0 2304 0 0 0 26971 35 0 0 25 0 1 0 891835819 12488704 2218 4294967295 134512640 134716908 3221224560 3221223200 134539576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3049 2218 1111 63 0 2986 0
vsize: 12196
[startup+280.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12257
Raw data (stat): 12257 (bsolo_lpr-v2) R 12256 25568 25567 0 -1 0 2314 0 0 0 27971 36 0 0 25 0 1 0 891835819 12619776 2228 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3081 2228 1111 63 0 3018 0
vsize: 12324
[startup+290.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12257
Raw data (stat): 12257 (bsolo_lpr-v2) R 12256 25568 25567 0 -1 0 2314 0 0 0 28970 37 0 0 25 0 1 0 891835819 12619776 2228 4294967295 134512640 134716908 3221224560 3221223044 134699585 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3081 2228 1111 63 0 3018 0
vsize: 12324
[startup+300.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12257
Raw data (stat): 12257 (bsolo_lpr-v2) R 12256 25568 25567 0 -1 0 2314 0 0 0 29969 38 0 0 25 0 1 0 891835819 12619776 2228 4294967295 134512640 134716908 3221224560 3221223244 134552632 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3081 2228 1111 63 0 3018 0
vsize: 12324
[startup+310.015 s]
Raw data (loadavg): 1.15 1.00 0.92 2/54 12257
Raw data (stat): 12257 (bsolo_lpr-v2) R 12256 25568 25567 0 -1 0 2351 0 0 0 30969 39 0 0 25 0 1 0 891835819 12800000 2265 4294967295 134512640 134716908 3221224560 3221223148 134542288 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3125 2265 1111 63 0 3062 0
vsize: 12500
[startup+320.014 s]
Raw data (loadavg): 1.12 1.00 0.92 2/54 12257
Raw data (stat): 12257 (bsolo_lpr-v2) R 12256 25568 25567 0 -1 0 2355 0 0 0 31968 40 0 0 25 0 1 0 891835819 12800000 2269 4294967295 134512640 134716908 3221224560 3221223264 134528656 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3125 2269 1111 63 0 3062 0
vsize: 12500
[startup+330.015 s]
Raw data (loadavg): 1.10 1.00 0.92 2/54 12257
Raw data (stat): 12257 (bsolo_lpr-v2) R 12256 25568 25567 0 -1 0 2456 0 0 0 32967 42 0 0 25 0 1 0 891835819 13205504 2370 4294967295 134512640 134716908 3221224560 3221223120 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3224 2370 1111 63 0 3161 0
vsize: 12896
[startup+340.015 s]
Raw data (loadavg): 1.09 1.00 0.92 2/54 12257
Raw data (stat): 12257 (bsolo_lpr-v2) R 12256 25568 25567 0 -1 0 2571 0 0 0 33966 43 0 0 25 0 1 0 891835819 13602816 2485 4294967295 134512640 134716908 3221224560 3221223280 134523874 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3321 2485 1111 63 0 3258 0
vsize: 13284
[startup+350.015 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 12257
Raw data (stat): 12257 (bsolo_lpr-v2) R 12256 25568 25567 0 -1 0 2571 0 0 0 34966 44 0 0 25 0 1 0 891835819 13602816 2485 4294967295 134512640 134716908 3221224560 3221223188 134698632 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3321 2485 1111 63 0 3258 0
vsize: 13284
[startup+360.015 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 12257
Raw data (stat): 12257 (bsolo_lpr-v2) R 12256 25568 25567 0 -1 0 2580 0 0 0 35965 44 0 0 25 0 1 0 891835819 13737984 2494 4294967295 134512640 134716908 3221224560 3221223128 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3354 2494 1111 63 0 3291 0
vsize: 13416
[startup+370.015 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 12257
Raw data (stat): 12257 (bsolo_lpr-v2) R 12256 25568 25567 0 -1 0 2630 0 0 0 36965 45 0 0 25 0 1 0 891835819 13873152 2544 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3387 2544 1111 63 0 3324 0
vsize: 13548
[startup+380.015 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 12257
Raw data (stat): 12257 (bsolo_lpr-v2) R 12256 25568 25567 0 -1 0 2733 0 0 0 37963 47 0 0 25 0 1 0 891835819 14278656 2647 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3486 2647 1111 63 0 3423 0
vsize: 13944
[startup+390.016 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 12257
Raw data (stat): 12257 (bsolo_lpr-v2) R 12256 25568 25567 0 -1 0 2866 0 0 0 38962 48 0 0 25 0 1 0 891835819 14819328 2780 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3618 2780 1111 63 0 3555 0
vsize: 14472
[startup+400.017 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 12257
Raw data (stat): 12257 (bsolo_lpr-v2) R 12256 25568 25567 0 -1 0 2910 0 0 0 39961 50 0 0 25 0 1 0 891835819 15089664 2824 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3684 2824 1111 63 0 3621 0
vsize: 14736
[startup+410.017 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 12257
Raw data (stat): 12257 (bsolo_lpr-v2) R 12256 25568 25567 0 -1 0 2985 0 0 0 40959 52 0 0 25 0 1 0 891835819 15360000 2899 4294967295 134512640 134716908 3221224560 3221223100 134613972 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3750 2899 1111 63 0 3687 0
vsize: 15000
[startup+420.017 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 12257
Raw data (stat): 12257 (bsolo_lpr-v2) R 12256 25568 25567 0 -1 0 3037 0 0 0 41958 53 0 0 25 0 1 0 891835819 15495168 2951 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3783 2951 1111 63 0 3720 0
vsize: 15132
[startup+430.018 s]
Raw data (loadavg): 1.09 1.02 0.93 2/54 12257
Raw data (stat): 12257 (bsolo_lpr-v2) R 12256 25568 25567 0 -1 0 3174 0 0 0 42957 55 0 0 25 0 1 0 891835819 16171008 3088 4294967295 134512640 134716908 3221224560 3221223120 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3948 3088 1111 63 0 3885 0
vsize: 15792
[startup+440.018 s]
Raw data (loadavg): 1.08 1.02 0.93 2/54 12257
Raw data (stat): 12257 (bsolo_lpr-v2) R 12256 25568 25567 0 -1 0 3226 0 0 0 43956 56 0 0 25 0 1 0 891835819 16306176 3140 4294967295 134512640 134716908 3221224560 3221223116 134535646 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3981 3140 1111 63 0 3918 0
vsize: 15924
[startup+450.019 s]
Raw data (loadavg): 1.06 1.01 0.93 2/54 12257
Raw data (stat): 12257 (bsolo_lpr-v2) R 12256 25568 25567 0 -1 0 3308 0 0 0 44955 58 0 0 25 0 1 0 891835819 16699392 3222 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4077 3222 1111 63 0 4014 0
vsize: 16308
[startup+460.019 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 12257
Raw data (stat): 12257 (bsolo_lpr-v2) R 12256 25568 25567 0 -1 0 3348 0 0 0 45954 59 0 0 25 0 1 0 891835819 16834560 3262 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4110 3262 1111 63 0 4047 0
vsize: 16440
[startup+470.02 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 12257
Raw data (stat): 12257 (bsolo_lpr-v2) R 12256 25568 25567 0 -1 0 3411 0 0 0 46953 60 0 0 25 0 1 0 891835819 17104896 3325 4294967295 134512640 134716908 3221224560 3221223152 134549809 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4176 3325 1111 63 0 4113 0
vsize: 16704
[startup+480.02 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 12257
Raw data (stat): 12257 (bsolo_lpr-v2) R 12256 25568 25567 0 -1 0 3432 0 0 0 47953 61 0 0 25 0 1 0 891835819 17104896 3346 4294967295 134512640 134716908 3221224560 3221223188 134698632 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4176 3346 1111 63 0 4113 0
vsize: 16704
[startup+490.02 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 12257
Raw data (stat): 12257 (bsolo_lpr-v2) R 12256 25568 25567 0 -1 0 3434 0 0 0 48952 62 0 0 25 0 1 0 891835819 17104896 3348 4294967295 134512640 134716908 3221224560 3221223168 134549313 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4176 3348 1111 63 0 4113 0
vsize: 16704
[startup+500.021 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 12257
Raw data (stat): 12257 (bsolo_lpr-v2) R 12256 25568 25567 0 -1 0 3457 0 0 0 49951 64 0 0 25 0 1 0 891835819 17235968 3371 4294967295 134512640 134716908 3221224560 3221223280 134535790 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4208 3371 1111 63 0 4145 0
vsize: 16832
[startup+510.022 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 12257
Raw data (stat): 12257 (bsolo_lpr-v2) R 12256 25568 25567 0 -1 0 3470 0 0 0 50950 65 0 0 25 0 1 0 891835819 17346560 3384 4294967295 134512640 134716908 3221224560 3221223152 134549533 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4235 3384 1111 63 0 4172 0
vsize: 16940
[startup+520.022 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 12257
Raw data (stat): 12257 (bsolo_lpr-v2) R 12256 25568 25567 0 -1 0 3535 0 0 0 51949 67 0 0 25 0 1 0 891835819 17616896 3449 4294967295 134512640 134716908 3221224560 3221223200 134613470 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4301 3449 1111 63 0 4238 0
vsize: 17204
[startup+530.022 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 12257
Raw data (stat): 12257 (bsolo_lpr-v2) R 12256 25568 25567 0 -1 0 3613 0 0 0 52947 69 0 0 25 0 1 0 891835819 17887232 3527 4294967295 134512640 134716908 3221224560 3221223344 134529240 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4367 3527 1111 63 0 4304 0
vsize: 17468
[startup+540.022 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 12257
Raw data (stat): 12257 (bsolo_lpr-v2) R 12256 25568 25567 0 -1 0 3647 0 0 0 53945 70 0 0 25 0 1 0 891835819 18010112 3561 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4397 3561 1111 63 0 4334 0
vsize: 17588
[startup+550.022 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 12257
Raw data (stat): 12257 (bsolo_lpr-v2) R 12256 25568 25567 0 -1 0 3650 0 0 0 54944 72 0 0 25 0 1 0 891835819 18010112 3564 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4397 3564 1111 63 0 4334 0
vsize: 17588
[startup+560.022 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 12257
Raw data (stat): 12257 (bsolo_lpr-v2) R 12256 25568 25567 0 -1 0 3670 0 0 0 55943 73 0 0 25 0 1 0 891835819 18145280 3584 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4430 3584 1111 63 0 4367 0
vsize: 17720
[startup+570.024 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 12257
Raw data (stat): 12257 (bsolo_lpr-v2) R 12256 25568 25567 0 -1 0 3702 0 0 0 56942 76 0 0 25 0 1 0 891835819 18280448 3616 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4463 3616 1111 63 0 4400 0
vsize: 17852
[startup+580.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12257
Raw data (stat): 12257 (bsolo_lpr-v2) R 12256 25568 25567 0 -1 0 3786 0 0 0 57940 77 0 0 25 0 1 0 891835819 18644992 3700 4294967295 134512640 134716908 3221224560 3221223204 134613648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4552 3700 1111 63 0 4489 0
vsize: 18208
[startup+590.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12257
Raw data (stat): 12257 (bsolo_lpr-v2) R 12256 25568 25567 0 -1 0 3835 0 0 0 58939 79 0 0 25 0 1 0 891835819 18780160 3749 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4585 3749 1111 63 0 4522 0
vsize: 18340
[startup+600.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12257
Raw data (stat): 12257 (bsolo_lpr-v2) R 12256 25568 25567 0 -1 0 3907 0 0 0 59937 81 0 0 25 0 1 0 891835819 19050496 3821 4294967295 134512640 134716908 3221224560 3221223152 134549541 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4651 3821 1111 63 0 4588 0
vsize: 18604
[startup+610.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12257
Raw data (stat): 12257 (bsolo_lpr-v2) R 12256 25568 25567 0 -1 0 3946 0 0 0 60936 83 0 0 25 0 1 0 891835819 19320832 3860 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4717 3860 1111 63 0 4654 0
vsize: 18868
[startup+620.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12257
Raw data (stat): 12257 (bsolo_lpr-v2) R 12256 25568 25567 0 -1 0 4001 0 0 0 61935 84 0 0 25 0 1 0 891835819 19456000 3915 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4750 3915 1111 63 0 4687 0
vsize: 19000
[startup+630.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12257
Raw data (stat): 12257 (bsolo_lpr-v2) R 12256 25568 25567 0 -1 0 4012 0 0 0 62933 86 0 0 25 0 1 0 891835819 19591168 3926 4294967295 134512640 134716908 3221224560 3221223264 134528656 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4783 3926 1111 63 0 4720 0
vsize: 19132
[startup+640.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12257
Raw data (stat): 12257 (bsolo_lpr-v2) R 12256 25568 25567 0 -1 0 4033 0 0 0 63932 88 0 0 25 0 1 0 891835819 19591168 3947 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4783 3947 1111 63 0 4720 0
vsize: 19132
[startup+650.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12257
Raw data (stat): 12257 (bsolo_lpr-v2) R 12256 25568 25567 0 -1 0 4082 0 0 0 64930 90 0 0 25 0 1 0 891835819 19857408 3996 4294967295 134512640 134716908 3221224560 3221223200 134613470 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4848 3996 1111 63 0 4785 0
vsize: 19392
[startup+660.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12257
Raw data (stat): 12257 (bsolo_lpr-v2) R 12256 25568 25567 0 -1 0 4145 0 0 0 65930 91 0 0 25 0 1 0 891835819 20127744 4059 4294967295 134512640 134716908 3221224560 3221223152 134549544 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4914 4059 1111 63 0 4851 0
vsize: 19656
[startup+670.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12257
Raw data (stat): 12257 (bsolo_lpr-v2) R 12256 25568 25567 0 -1 0 4157 0 0 0 66929 92 0 0 25 0 1 0 891835819 20127744 4071 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4914 4071 1111 63 0 4851 0
vsize: 19656
[startup+680.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12257
Raw data (stat): 12257 (bsolo_lpr-v2) R 12256 25568 25567 0 -1 0 4173 0 0 0 67928 93 0 0 25 0 1 0 891835819 20262912 4087 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4947 4087 1111 63 0 4884 0
vsize: 19788
[startup+690.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12257
Raw data (stat): 12257 (bsolo_lpr-v2) R 12256 25568 25567 0 -1 0 4245 0 0 0 68927 95 0 0 25 0 1 0 891835819 20533248 4159 4294967295 134512640 134716908 3221224560 3221223188 134698632 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5013 4159 1111 63 0 4950 0
vsize: 20052
[startup+700.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12257
Raw data (stat): 12257 (bsolo_lpr-v2) R 12256 25568 25567 0 -1 0 4255 0 0 0 69926 96 0 0 25 0 1 0 891835819 20533248 4169 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5013 4169 1111 63 0 4950 0
vsize: 20052
[startup+710.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12257
Raw data (stat): 12257 (bsolo_lpr-v2) R 12256 25568 25567 0 -1 0 4273 0 0 0 70925 97 0 0 25 0 1 0 891835819 20668416 4187 4294967295 134512640 134716908 3221224560 3221223316 134655248 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5046 4187 1111 63 0 4983 0
vsize: 20184
[startup+720.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12257
Raw data (stat): 12257 (bsolo_lpr-v2) R 12256 25568 25567 0 -1 0 4296 0 0 0 71924 98 0 0 25 0 1 0 891835819 20668416 4210 4294967295 134512640 134716908 3221224560 3221223296 134535853 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5046 4210 1111 63 0 4983 0
vsize: 20184
[startup+730.031 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12257
Raw data (stat): 12257 (bsolo_lpr-v2) R 12256 25568 25567 0 -1 0 4309 0 0 0 72924 99 0 0 25 0 1 0 891835819 20803584 4223 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5079 4223 1111 63 0 5016 0
vsize: 20316
[startup+740.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12257
Raw data (stat): 12257 (bsolo_lpr-v2) R 12256 25568 25567 0 -1 0 4309 0 0 0 73923 101 0 0 25 0 1 0 891835819 20803584 4223 4294967295 134512640 134716908 3221224560 3221223168 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5079 4223 1111 63 0 5016 0
vsize: 20316
[startup+750.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12257
Raw data (stat): 12257 (bsolo_lpr-v2) R 12256 25568 25567 0 -1 0 4309 0 0 0 74922 102 0 0 25 0 1 0 891835819 20803584 4223 4294967295 134512640 134716908 3221224560 3221223204 134523868 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5079 4223 1111 63 0 5016 0
vsize: 20316
[startup+760.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12257
Raw data (stat): 12257 (bsolo_lpr-v2) R 12256 25568 25567 0 -1 0 4343 0 0 0 75921 103 0 0 25 0 1 0 891835819 20938752 4257 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5112 4257 1111 63 0 5049 0
vsize: 20448
[startup+770.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12257
Raw data (stat): 12257 (bsolo_lpr-v2) R 12256 25568 25567 0 -1 0 4365 0 0 0 76921 104 0 0 25 0 1 0 891835819 20938752 4279 4294967295 134512640 134716908 3221224560 3221223380 134590259 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5112 4279 1111 63 0 5049 0
vsize: 20448
[startup+780.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12257
Raw data (stat): 12257 (bsolo_lpr-v2) R 12256 25568 25567 0 -1 0 4389 0 0 0 77920 105 0 0 25 0 1 0 891835819 21073920 4303 4294967295 134512640 134716908 3221224560 3221223388 134590044 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5145 4303 1111 63 0 5082 0
vsize: 20580
[startup+790.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12257
Raw data (stat): 12257 (bsolo_lpr-v2) R 12256 25568 25567 0 -1 0 4440 0 0 0 78919 106 0 0 25 0 1 0 891835819 21344256 4354 4294967295 134512640 134716908 3221224560 3221223120 134552038 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5211 4354 1111 63 0 5148 0
vsize: 20844
[startup+800.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12257
Raw data (stat): 12257 (bsolo_lpr-v2) R 12256 25568 25567 0 -1 0 4552 0 0 0 79918 108 0 0 25 0 1 0 891835819 21741568 4466 4294967295 134512640 134716908 3221224560 3221223048 134699810 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5308 4466 1111 63 0 5245 0
vsize: 21232
[startup+810.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12257
Raw data (stat): 12257 (bsolo_lpr-v2) R 12256 25568 25567 0 -1 0 4641 0 0 0 80916 110 0 0 25 0 1 0 891835819 22147072 4555 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5407 4555 1111 63 0 5344 0
vsize: 21628
[startup+820.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12257
Raw data (stat): 12257 (bsolo_lpr-v2) R 12256 25568 25567 0 -1 0 4701 0 0 0 81915 111 0 0 25 0 1 0 891835819 22417408 4615 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5473 4615 1111 63 0 5410 0
vsize: 21892
[startup+830.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12257
Raw data (stat): 12257 (bsolo_lpr-v2) R 12256 25568 25567 0 -1 0 4705 0 0 0 82914 113 0 0 25 0 1 0 891835819 22417408 4619 4294967295 134512640 134716908 3221224560 3221223120 134542356 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5473 4619 1111 63 0 5410 0
vsize: 21892
[startup+840.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12257
Raw data (stat): 12257 (bsolo_lpr-v2) R 12256 25568 25567 0 -1 0 4705 0 0 0 83914 113 0 0 25 0 1 0 891835819 22417408 4619 4294967295 134512640 134716908 3221224560 3221223104 134674722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5473 4619 1111 63 0 5410 0
vsize: 21892
[startup+850.041 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12257
Raw data (stat): 12257 (bsolo_lpr-v2) R 12256 25568 25567 0 -1 0 4719 0 0 0 84914 114 0 0 25 0 1 0 891835819 22417408 4633 4294967295 134512640 134716908 3221224560 3221223324 134524382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5473 4633 1111 63 0 5410 0
vsize: 21892
[startup+860.042 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12257
Raw data (stat): 12257 (bsolo_lpr-v2) R 12256 25568 25567 0 -1 0 4742 0 0 0 85913 115 0 0 25 0 1 0 891835819 22552576 4656 4294967295 134512640 134716908 3221224560 3221223368 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5506 4656 1111 63 0 5443 0
vsize: 22024
[startup+870.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12257
Raw data (stat): 12257 (bsolo_lpr-v2) R 12256 25568 25567 0 -1 0 4756 0 0 0 86913 116 0 0 25 0 1 0 891835819 22552576 4670 4294967295 134512640 134716908 3221224560 3221223168 134548843 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5506 4670 1111 63 0 5443 0
vsize: 22024
[startup+880.044 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12257
Raw data (stat): 12257 (bsolo_lpr-v2) R 12256 25568 25567 0 -1 0 4777 0 0 0 87912 117 0 0 25 0 1 0 891835819 22687744 4691 4294967295 134512640 134716908 3221224560 3221223200 134698747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5539 4691 1111 63 0 5476 0
vsize: 22156
[startup+890.044 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12257
Raw data (stat): 12257 (bsolo_lpr-v2) R 12256 25568 25567 0 -1 0 4791 0 0 0 88911 119 0 0 25 0 1 0 891835819 22687744 4705 4294967295 134512640 134716908 3221224560 3221223168 134549313 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5539 4705 1111 63 0 5476 0
vsize: 22156
[startup+900.045 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12257
Raw data (stat): 12257 (bsolo_lpr-v2) R 12256 25568 25567 0 -1 0 4872 0 0 0 89909 121 0 0 25 0 1 0 891835819 23093248 4786 4294967295 134512640 134716908 3221224560 3221223344 134529177 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5638 4786 1111 63 0 5575 0
vsize: 22552
[startup+910.045 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12257
Raw data (stat): 12257 (bsolo_lpr-v2) R 12256 25568 25567 0 -1 0 4902 0 0 0 90907 123 0 0 25 0 1 0 891835819 23228416 4816 4294967295 134512640 134716908 3221224560 3221223192 134698385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5671 4816 1111 63 0 5608 0
vsize: 22684
[startup+920.044 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12257
Raw data (stat): 12257 (bsolo_lpr-v2) R 12256 25568 25567 0 -1 0 4936 0 0 0 91906 124 0 0 25 0 1 0 891835819 23363584 4850 4294967295 134512640 134716908 3221224560 3221223332 134529109 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5704 4850 1111 63 0 5641 0
vsize: 22816
[startup+930.045 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12257
Raw data (stat): 12257 (bsolo_lpr-v2) R 12256 25568 25567 0 -1 0 4984 0 0 0 92905 126 0 0 25 0 1 0 891835819 23461888 4898 4294967295 134512640 134716908 3221224560 3221223332 134529372 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5728 4898 1111 63 0 5665 0
vsize: 22912
[startup+940.045 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12257
Raw data (stat): 12257 (bsolo_lpr-v2) R 12256 25568 25567 0 -1 0 5001 0 0 0 93904 127 0 0 25 0 1 0 891835819 23597056 4915 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5761 4915 1111 63 0 5698 0
vsize: 23044
[startup+950.045 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12257
Raw data (stat): 12257 (bsolo_lpr-v2) R 12256 25568 25567 0 -1 0 5012 0 0 0 94903 129 0 0 25 0 1 0 891835819 23597056 4926 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5761 4926 1111 63 0 5698 0
vsize: 23044
[startup+960.045 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12257
Raw data (stat): 12257 (bsolo_lpr-v2) R 12256 25568 25567 0 -1 0 5029 0 0 0 95902 130 0 0 25 0 1 0 891835819 23719936 4943 4294967295 134512640 134716908 3221224560 3221223296 134528840 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5791 4943 1111 63 0 5728 0
vsize: 23164
[startup+970.045 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12257
Raw data (stat): 12257 (bsolo_lpr-v2) R 12256 25568 25567 0 -1 0 5111 0 0 0 96901 132 0 0 25 0 1 0 891835819 23990272 5025 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5857 5025 1111 63 0 5794 0
vsize: 23428
[startup+980.044 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12257
Raw data (stat): 12257 (bsolo_lpr-v2) R 12256 25568 25567 0 -1 0 5138 0 0 0 97900 133 0 0 25 0 1 0 891835819 24125440 5052 4294967295 134512640 134716908 3221224560 3221223212 134536825 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5890 5052 1111 63 0 5827 0
vsize: 23560
[startup+990.044 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12257
Raw data (stat): 12257 (bsolo_lpr-v2) R 12256 25568 25567 0 -1 0 5138 0 0 0 98899 134 0 0 25 0 1 0 891835819 24125440 5052 4294967295 134512640 134716908 3221224560 3221223284 134535789 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5890 5052 1111 63 0 5827 0
vsize: 23560
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12257
Raw data (stat): 12257 (bsolo_lpr-v2) R 12256 25568 25567 0 -1 0 5170 0 0 0 99898 136 0 0 25 0 1 0 891835819 24260608 5084 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5923 5084 1111 63 0 5860 0
vsize: 23692
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12257
Raw data (stat): 12257 (bsolo_lpr-v2) R 12256 25568 25567 0 -1 0 5182 0 0 0 100897 137 0 0 25 0 1 0 891835819 24395776 5096 4294967295 134512640 134716908 3221224560 3221223244 134552651 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5956 5096 1111 63 0 5893 0
vsize: 23824
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12257
Raw data (stat): 12257 (bsolo_lpr-v2) R 12256 25568 25567 0 -1 0 5216 0 0 0 101896 138 0 0 25 0 1 0 891835819 24530944 5130 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5989 5130 1111 63 0 5926 0
vsize: 23956
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12257
Raw data (stat): 12257 (bsolo_lpr-v2) R 12256 25568 25567 0 -1 0 5266 0 0 0 102895 139 0 0 25 0 1 0 891835819 24666112 5180 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6022 5180 1111 63 0 5959 0
vsize: 24088
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12257
Raw data (stat): 12257 (bsolo_lpr-v2) R 12256 25568 25567 0 -1 0 5278 0 0 0 103894 140 0 0 25 0 1 0 891835819 24666112 5192 4294967295 134512640 134716908 3221224560 3221223116 134535984 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6022 5192 1111 63 0 5959 0
vsize: 24088
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12257
Raw data (stat): 12257 (bsolo_lpr-v2) R 12256 25568 25567 0 -1 0 5307 0 0 0 104893 142 0 0 25 0 1 0 891835819 24788992 5221 4294967295 134512640 134716908 3221224560 3221223256 134552673 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6052 5221 1111 63 0 5989 0
vsize: 24208
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12257
Raw data (stat): 12257 (bsolo_lpr-v2) R 12256 25568 25567 0 -1 0 5376 0 0 0 105892 143 0 0 25 0 1 0 891835819 25059328 5290 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6118 5290 1111 63 0 6055 0
vsize: 24472
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12257
Raw data (stat): 12257 (bsolo_lpr-v2) R 12256 25568 25567 0 -1 0 5390 0 0 0 106891 145 0 0 25 0 1 0 891835819 25194496 5304 4294967295 134512640 134716908 3221224560 3221223296 134529395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6151 5304 1111 63 0 6088 0
vsize: 24604
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12257
Raw data (stat): 12257 (bsolo_lpr-v2) R 12256 25568 25567 0 -1 0 5445 0 0 0 107890 146 0 0 25 0 1 0 891835819 25464832 5359 4294967295 134512640 134716908 3221224560 3221223116 134535900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6217 5359 1111 63 0 6154 0
vsize: 24868
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12257
Raw data (stat): 12257 (bsolo_lpr-v2) R 12256 25568 25567 0 -1 0 5462 0 0 0 108890 146 0 0 25 0 1 0 891835819 25464832 5376 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6217 5376 1111 63 0 6154 0
vsize: 24868
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12257
Raw data (stat): 12257 (bsolo_lpr-v2) R 12256 25568 25567 0 -1 0 5462 0 0 0 109890 147 0 0 25 0 1 0 891835819 25464832 5376 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6217 5376 1111 63 0 6154 0
vsize: 24868
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12257
Raw data (stat): 12257 (bsolo_lpr-v2) R 12256 25568 25567 0 -1 0 5462 0 0 0 110889 148 0 0 25 0 1 0 891835819 25464832 5376 4294967295 134512640 134716908 3221224560 3221223296 134523930 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6217 5376 1111 63 0 6154 0
vsize: 24868
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12257
Raw data (stat): 12257 (bsolo_lpr-v2) R 12256 25568 25567 0 -1 0 5462 0 0 0 111888 149 0 0 25 0 1 0 891835819 25464832 5376 4294967295 134512640 134716908 3221224560 3221223260 134534084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6217 5376 1111 63 0 6154 0
vsize: 24868
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12257
Raw data (stat): 12257 (bsolo_lpr-v2) R 12256 25568 25567 0 -1 0 5462 0 0 0 112887 151 0 0 25 0 1 0 891835819 25464832 5376 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6217 5376 1111 63 0 6154 0
vsize: 24868
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12257
Raw data (stat): 12257 (bsolo_lpr-v2) R 12256 25568 25567 0 -1 0 5474 0 0 0 113886 152 0 0 25 0 1 0 891835819 25464832 5388 4294967295 134512640 134716908 3221224560 3221223204 134613648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6217 5388 1111 63 0 6154 0
vsize: 24868
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12257
Raw data (stat): 12257 (bsolo_lpr-v2) R 12256 25568 25567 0 -1 0 5477 0 0 0 114884 154 0 0 25 0 1 0 891835819 25600000 5391 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6250 5391 1111 63 0 6187 0
vsize: 25000
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12257
Raw data (stat): 12257 (bsolo_lpr-v2) R 12256 25568 25567 0 -1 0 5524 0 0 0 115883 155 0 0 25 0 1 0 891835819 25669632 5438 4294967295 134512640 134716908 3221224560 3221223152 134549544 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6267 5438 1111 63 0 6204 0
vsize: 25068
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12257
Raw data (stat): 12257 (bsolo_lpr-v2) R 12256 25568 25567 0 -1 0 5524 0 0 0 116882 157 0 0 25 0 1 0 891835819 25669632 5438 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6267 5438 1111 63 0 6204 0
vsize: 25068
[startup+1174.67 s]
Raw data (loadavg): 1.00 1.00 0.93 1/53 12257
Raw data (stat): 12257 (bsolo_lpr-v2) R 12256 25568 25567 0 -1 0 5524 0 0 0 116882 157 0 0 25 0 1 0 891835819 25669632 5438 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6267 5438 1111 63 0 6204 0
vsize: 0

Child status: 0
Real time (s): 1174.67
CPU time (s): 1175.02
CPU user time (s): 1173.43
CPU system time (s): 1.59076
CPU usage (%): 100.03
Max. virtual memory (Kb): 25068
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####