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-chnl50_51_pb.cnf.cr.opb
MD5SUM	00bdc6bb9bafd4b1100d8bfa4f886626
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
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	52
Number of bits of the biggest sum of numbers	6
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.156976
Number of variables	5100
Total number of constraints	202
Number of constraints which are clauses	102
Number of constraints which are cardinality constraints (but not clauses)	100
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	50
Maximum length of a constraint	51
Trace number 39397

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-07 07:54:34 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27462 boxname=wulflinc5 idbench=20 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  00bdc6bb9bafd4b1100d8bfa4f886626  /oldhome/oroussel/tmp/wulflinc5/normalized-chnl50_51_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-chnl50_51_pb.cnf.cr.opb
IDLAUNCH: 27462
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        348608 kB
Buffers:         34268 kB
Cached:         627348 kB
SwapCached:        568 kB
Active:          57204 kB
Inactive:       606444 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        348356 kB
SwapTotal:     2097136 kB
SwapFree:      2095632 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5156 kB
Slab:            16756 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 08:14:09 (client local time) WITH STATUS 0 IN 1175.02 SECONDS
stats: 27462 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 5100 variables and 202 constraints.
c After prepocess the problem consists of 5100 variables and 202 constraints.
c preprocess terminated 2.379 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.91 0.95 0.90 2/54 2798
Raw data (stat): 2798 (runsolver) R 2797 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 891350822 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.0004 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 2798
Raw data (stat): 2798 (bsolo_lpr-v2) R 2797 7266 7265 0 -1 0 1896 0 0 0 990 6 0 0 25 0 1 0 891350822 11051008 1814 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2698 1814 1111 63 0 2635 0
vsize: 10792
[startup+20.0001 s]
Raw data (loadavg): 0.94 0.96 0.90 2/54 2798
Raw data (stat): 2798 (bsolo_lpr-v2) R 2797 7266 7265 0 -1 0 1935 0 0 0 1989 7 0 0 25 0 1 0 891350822 11186176 1853 4294967295 134512640 134716908 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2731 1853 1111 63 0 2668 0
vsize: 10924
[startup+30.0012 s]
Raw data (loadavg): 0.95 0.96 0.90 2/54 2798
Raw data (stat): 2798 (bsolo_lpr-v2) R 2797 7266 7265 0 -1 0 1940 0 0 0 2989 8 0 0 25 0 1 0 891350822 11186176 1858 4294967295 134512640 134716908 3221224576 3221223360 134528889 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2731 1858 1111 63 0 2668 0
vsize: 10924
[startup+40.0006 s]
Raw data (loadavg): 0.95 0.96 0.90 2/54 2798
Raw data (stat): 2798 (bsolo_lpr-v2) R 2797 7266 7265 0 -1 0 1960 0 0 0 3987 10 0 0 25 0 1 0 891350822 11321344 1878 4294967295 134512640 134716908 3221224576 3221223216 134698453 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2764 1878 1111 63 0 2701 0
vsize: 11056
[startup+50.0004 s]
Raw data (loadavg): 0.96 0.96 0.90 2/54 2798
Raw data (stat): 2798 (bsolo_lpr-v2) R 2797 7266 7265 0 -1 0 1961 0 0 0 4986 11 0 0 25 0 1 0 891350822 11321344 1879 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2764 1879 1111 63 0 2701 0
vsize: 11056
[startup+60.0007 s]
Raw data (loadavg): 0.97 0.96 0.90 2/54 2798
Raw data (stat): 2798 (bsolo_lpr-v2) R 2797 7266 7265 0 -1 0 1968 0 0 0 5984 13 0 0 25 0 1 0 891350822 11321344 1886 4294967295 134512640 134716908 3221224576 3221223344 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2764 1886 1111 63 0 2701 0
vsize: 11056
[startup+70.0009 s]
Raw data (loadavg): 0.97 0.96 0.90 2/54 2798
Raw data (stat): 2798 (bsolo_lpr-v2) R 2797 7266 7265 0 -1 0 1984 0 0 0 6983 15 0 0 25 0 1 0 891350822 11321344 1902 4294967295 134512640 134716908 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2764 1902 1111 63 0 2701 0
vsize: 11056
[startup+80.0016 s]
Raw data (loadavg): 0.98 0.96 0.90 2/54 2798
Raw data (stat): 2798 (bsolo_lpr-v2) R 2797 7266 7265 0 -1 0 1988 0 0 0 7981 17 0 0 25 0 1 0 891350822 11452416 1906 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2796 1906 1111 63 0 2733 0
vsize: 11184
[startup+90.0016 s]
Raw data (loadavg): 0.98 0.96 0.90 2/54 2798
Raw data (stat): 2798 (bsolo_lpr-v2) R 2797 7266 7265 0 -1 0 1999 0 0 0 8979 19 0 0 25 0 1 0 891350822 11452416 1917 4294967295 134512640 134716908 3221224576 3221223188 134549630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2796 1917 1111 63 0 2733 0
vsize: 11184
[startup+100.001 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 2798
Raw data (stat): 2798 (bsolo_lpr-v2) R 2797 7266 7265 0 -1 0 2007 0 0 0 9978 21 0 0 25 0 1 0 891350822 11452416 1925 4294967295 134512640 134716908 3221224576 3221223208 134698715 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2796 1925 1111 63 0 2733 0
vsize: 11184
[startup+110.002 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 2798
Raw data (stat): 2798 (bsolo_lpr-v2) R 2797 7266 7265 0 -1 0 2029 0 0 0 10976 22 0 0 25 0 1 0 891350822 11587584 1947 4294967295 134512640 134716908 3221224576 3221223184 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2829 1947 1111 63 0 2766 0
vsize: 11316
[startup+120.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2798
Raw data (stat): 2798 (bsolo_lpr-v2) R 2797 7266 7265 0 -1 0 2047 0 0 0 11975 24 0 0 25 0 1 0 891350822 11587584 1965 4294967295 134512640 134716908 3221224576 3221223232 134613601 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2829 1965 1111 63 0 2766 0
vsize: 11316
[startup+130.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2798
Raw data (stat): 2798 (bsolo_lpr-v2) R 2797 7266 7265 0 -1 0 2070 0 0 0 12974 25 0 0 25 0 1 0 891350822 11722752 1988 4294967295 134512640 134716908 3221224576 3221223276 134534084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2862 1988 1111 63 0 2799 0
vsize: 11448
[startup+140.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2798
Raw data (stat): 2798 (bsolo_lpr-v2) R 2797 7266 7265 0 -1 0 2127 0 0 0 13972 27 0 0 25 0 1 0 891350822 11993088 2045 4294967295 134512640 134716908 3221224576 3221223216 134698450 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2928 2045 1111 63 0 2865 0
vsize: 11712
[startup+150.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2798
Raw data (stat): 2798 (bsolo_lpr-v2) R 2797 7266 7265 0 -1 0 2148 0 0 0 14971 28 0 0 25 0 1 0 891350822 11993088 2066 4294967295 134512640 134716908 3221224576 3221223132 134535967 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2928 2066 1111 63 0 2865 0
vsize: 11712
[startup+160.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2798
Raw data (stat): 2798 (bsolo_lpr-v2) R 2797 7266 7265 0 -1 0 2179 0 0 0 15969 30 0 0 25 0 1 0 891350822 12128256 2097 4294967295 134512640 134716908 3221224576 3221223184 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2961 2097 1111 63 0 2898 0
vsize: 11844
[startup+170.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2798
Raw data (stat): 2798 (bsolo_lpr-v2) R 2797 7266 7265 0 -1 0 2200 0 0 0 16967 32 0 0 25 0 1 0 891350822 12263424 2118 4294967295 134512640 134716908 3221224576 3221223344 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2994 2118 1111 63 0 2931 0
vsize: 11976
[startup+180.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2798
Raw data (stat): 2798 (bsolo_lpr-v2) R 2797 7266 7265 0 -1 0 2242 0 0 0 17965 34 0 0 25 0 1 0 891350822 12398592 2160 4294967295 134512640 134716908 3221224576 3221223032 1077378438 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3027 2160 1111 63 0 2964 0
vsize: 12108
[startup+190.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2798
Raw data (stat): 2798 (bsolo_lpr-v2) R 2797 7266 7265 0 -1 0 2261 0 0 0 18964 36 0 0 25 0 1 0 891350822 12533760 2179 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3060 2179 1111 63 0 2997 0
vsize: 12240
[startup+200.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2798
Raw data (stat): 2798 (bsolo_lpr-v2) R 2797 7266 7265 0 -1 0 2261 0 0 0 19963 38 0 0 25 0 1 0 891350822 12533760 2179 4294967295 134512640 134716908 3221224576 3221223320 134551620 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3060 2179 1111 63 0 2997 0
vsize: 12240
[startup+210.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2798
Raw data (stat): 2798 (bsolo_lpr-v2) R 2797 7266 7265 0 -1 0 2261 0 0 0 20961 39 0 0 25 0 1 0 891350822 12533760 2179 4294967295 134512640 134716908 3221224576 3221223192 134549509 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3060 2179 1111 63 0 2997 0
vsize: 12240
[startup+220.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2798
Raw data (stat): 2798 (bsolo_lpr-v2) R 2797 7266 7265 0 -1 0 2261 0 0 0 21960 41 0 0 25 0 1 0 891350822 12533760 2179 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3060 2179 1111 63 0 2997 0
vsize: 12240
[startup+230.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2798
Raw data (stat): 2798 (bsolo_lpr-v2) R 2797 7266 7265 0 -1 0 2261 0 0 0 22957 43 0 0 25 0 1 0 891350822 12533760 2179 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3060 2179 1111 63 0 2997 0
vsize: 12240
[startup+240.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2798
Raw data (stat): 2798 (bsolo_lpr-v2) R 2797 7266 7265 0 -1 0 2261 0 0 0 23956 45 0 0 25 0 1 0 891350822 12533760 2179 4294967295 134512640 134716908 3221224576 3221223328 134592438 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3060 2179 1111 63 0 2997 0
vsize: 12240
[startup+250.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2798
Raw data (stat): 2798 (bsolo_lpr-v2) R 2797 7266 7265 0 -1 0 2288 0 0 0 24955 46 0 0 25 0 1 0 891350822 12668928 2206 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3093 2206 1111 63 0 3030 0
vsize: 12372
[startup+260.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2798
Raw data (stat): 2798 (bsolo_lpr-v2) R 2797 7266 7265 0 -1 0 2340 0 0 0 25953 48 0 0 25 0 1 0 891350822 12804096 2258 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3126 2258 1111 63 0 3063 0
vsize: 12504
[startup+270.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2798
Raw data (stat): 2798 (bsolo_lpr-v2) R 2797 7266 7265 0 -1 0 2359 0 0 0 26952 50 0 0 25 0 1 0 891350822 12939264 2277 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3159 2277 1111 63 0 3096 0
vsize: 12636
[startup+280.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2798
Raw data (stat): 2798 (bsolo_lpr-v2) R 2797 7266 7265 0 -1 0 2398 0 0 0 27951 51 0 0 25 0 1 0 891350822 13074432 2316 4294967295 134512640 134716908 3221224576 3221223280 134528438 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3192 2316 1111 63 0 3129 0
vsize: 12768
[startup+290.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2798
Raw data (stat): 2798 (bsolo_lpr-v2) R 2797 7266 7265 0 -1 0 2443 0 0 0 28949 53 0 0 25 0 1 0 891350822 13209600 2361 4294967295 134512640 134716908 3221224576 3221223152 134698726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3225 2361 1111 63 0 3162 0
vsize: 12900
[startup+300.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2798
Raw data (stat): 2798 (bsolo_lpr-v2) R 2797 7266 7265 0 -1 0 2443 0 0 0 29947 55 0 0 25 0 1 0 891350822 13209600 2361 4294967295 134512640 134716908 3221224576 3221223136 134698951 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3225 2361 1111 63 0 3162 0
vsize: 12900
[startup+310.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2798
Raw data (stat): 2798 (bsolo_lpr-v2) R 2797 7266 7265 0 -1 0 2443 0 0 0 30946 56 0 0 25 0 1 0 891350822 13209600 2361 4294967295 134512640 134716908 3221224576 3221223184 134549313 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3225 2361 1111 63 0 3162 0
vsize: 12900
[startup+320.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2798
Raw data (stat): 2798 (bsolo_lpr-v2) R 2797 7266 7265 0 -1 0 2479 0 0 0 31945 57 0 0 25 0 1 0 891350822 13344768 2397 4294967295 134512640 134716908 3221224576 3221223304 134532457 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3258 2397 1111 63 0 3195 0
vsize: 13032
[startup+330.006 s]
Raw data (loadavg): 0.99 0.97 0.91 4/57 2815
Raw data (stat): 2798 (bsolo_lpr-v2) R 2797 7266 7265 0 -1 0 2491 0 0 0 32943 59 0 0 25 0 1 0 891350822 13479936 2409 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3291 2409 1111 63 0 3228 0
vsize: 13164
[startup+340.006 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 2851
Raw data (stat): 2798 (bsolo_lpr-v2) R 2797 7266 7265 0 -1 0 2512 0 0 0 33941 62 0 0 25 0 1 0 891350822 13479936 2430 4294967295 134512640 134716908 3221224576 3221223408 134551454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3291 2430 1111 63 0 3228 0
vsize: 13164
[startup+350.006 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 2851
Raw data (stat): 2798 (bsolo_lpr-v2) R 2797 7266 7265 0 -1 0 2529 0 0 0 34939 64 0 0 25 0 1 0 891350822 13615104 2447 4294967295 134512640 134716908 3221224576 3221223408 134551450 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3324 2447 1111 63 0 3261 0
vsize: 13296
[startup+360.007 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 2851
Raw data (stat): 2798 (bsolo_lpr-v2) R 2797 7266 7265 0 -1 0 2539 0 0 0 35937 66 0 0 25 0 1 0 891350822 13615104 2457 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3324 2457 1111 63 0 3261 0
vsize: 13296
[startup+370.007 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 2851
Raw data (stat): 2798 (bsolo_lpr-v2) R 2797 7266 7265 0 -1 0 2560 0 0 0 36936 68 0 0 25 0 1 0 891350822 13750272 2478 4294967295 134512640 134716908 3221224576 3221223116 134539282 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3357 2478 1111 63 0 3294 0
vsize: 13428
[startup+380.008 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 2851
Raw data (stat): 2798 (bsolo_lpr-v2) R 2797 7266 7265 0 -1 0 2563 0 0 0 37935 68 0 0 25 0 1 0 891350822 13750272 2481 4294967295 134512640 134716908 3221224576 3221223184 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3357 2481 1111 63 0 3294 0
vsize: 13428
[startup+390.008 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 2851
Raw data (stat): 2798 (bsolo_lpr-v2) R 2797 7266 7265 0 -1 0 2611 0 0 0 38934 70 0 0 25 0 1 0 891350822 13885440 2529 4294967295 134512640 134716908 3221224576 3221223168 134549541 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3390 2529 1111 63 0 3327 0
vsize: 13560
[startup+400.008 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 2851
Raw data (stat): 2798 (bsolo_lpr-v2) R 2797 7266 7265 0 -1 0 2643 0 0 0 39932 72 0 0 25 0 1 0 891350822 14020608 2561 4294967295 134512640 134716908 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3423 2561 1111 63 0 3360 0
vsize: 13692
[startup+410.008 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 2853
Raw data (stat): 2798 (bsolo_lpr-v2) R 2797 7266 7265 0 -1 0 2643 0 0 0 40930 74 0 0 25 0 1 0 891350822 14020608 2561 4294967295 134512640 134716908 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3423 2561 1111 63 0 3360 0
vsize: 13692
[startup+420.009 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 2853
Raw data (stat): 2798 (bsolo_lpr-v2) R 2797 7266 7265 0 -1 0 2643 0 0 0 41929 75 0 0 25 0 1 0 891350822 14020608 2561 4294967295 134512640 134716908 3221224576 3221223184 134548846 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3423 2561 1111 63 0 3360 0
vsize: 13692
[startup+430.009 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 2853
Raw data (stat): 2798 (bsolo_lpr-v2) R 2797 7266 7265 0 -1 0 2643 0 0 0 42928 77 0 0 25 0 1 0 891350822 14020608 2561 4294967295 134512640 134716908 3221224576 3221223228 134536754 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3423 2561 1111 63 0 3360 0
vsize: 13692
[startup+440.011 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 2853
Raw data (stat): 2798 (bsolo_lpr-v2) R 2797 7266 7265 0 -1 0 2643 0 0 0 43926 79 0 0 25 0 1 0 891350822 14020608 2561 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3423 2561 1111 63 0 3360 0
vsize: 13692
[startup+450.01 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 2853
Raw data (stat): 2798 (bsolo_lpr-v2) R 2797 7266 7265 0 -1 0 2643 0 0 0 44925 80 0 0 25 0 1 0 891350822 14020608 2561 4294967295 134512640 134716908 3221224576 3221223344 134592128 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3423 2561 1111 63 0 3360 0
vsize: 13692
[startup+460.011 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 2853
Raw data (stat): 2798 (bsolo_lpr-v2) R 2797 7266 7265 0 -1 0 2643 0 0 0 45924 82 0 0 25 0 1 0 891350822 14020608 2561 4294967295 134512640 134716908 3221224576 3221223276 134552672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3423 2561 1111 63 0 3360 0
vsize: 13692
[startup+470.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2853
Raw data (stat): 2798 (bsolo_lpr-v2) R 2797 7266 7265 0 -1 0 2643 0 0 0 46922 84 0 0 25 0 1 0 891350822 14020608 2561 4294967295 134512640 134716908 3221224576 3221223208 134698385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3423 2561 1111 63 0 3360 0
vsize: 13692
[startup+480.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2853
Raw data (stat): 2798 (bsolo_lpr-v2) R 2797 7266 7265 0 -1 0 2643 0 0 0 47920 85 0 0 25 0 1 0 891350822 14020608 2561 4294967295 134512640 134716908 3221224576 3221223264 134594343 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3423 2561 1111 63 0 3360 0
vsize: 13692
[startup+490.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2853
Raw data (stat): 2798 (bsolo_lpr-v2) R 2797 7266 7265 0 -1 0 2643 0 0 0 48920 86 0 0 25 0 1 0 891350822 14020608 2561 4294967295 134512640 134716908 3221224576 3221223160 134543600 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3423 2561 1111 63 0 3360 0
vsize: 13692
[startup+500.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2853
Raw data (stat): 2798 (bsolo_lpr-v2) R 2797 7266 7265 0 -1 0 2646 0 0 0 49918 89 0 0 25 0 1 0 891350822 14155776 2564 4294967295 134512640 134716908 3221224576 3221223184 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3456 2564 1111 63 0 3393 0
vsize: 13824
[startup+510.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2853
Raw data (stat): 2798 (bsolo_lpr-v2) R 2797 7266 7265 0 -1 0 2674 0 0 0 50916 91 0 0 25 0 1 0 891350822 14155776 2592 4294967295 134512640 134716908 3221224576 3221223320 134675279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3456 2592 1111 63 0 3393 0
vsize: 13824
[startup+520.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2853
Raw data (stat): 2798 (bsolo_lpr-v2) R 2797 7266 7265 0 -1 0 2679 0 0 0 51915 92 0 0 25 0 1 0 891350822 14290944 2597 4294967295 134512640 134716908 3221224576 3221223216 134698416 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3489 2597 1111 63 0 3426 0
vsize: 13956
[startup+530.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2853
Raw data (stat): 2798 (bsolo_lpr-v2) R 2797 7266 7265 0 -1 0 2706 0 0 0 52913 93 0 0 25 0 1 0 891350822 14290944 2624 4294967295 134512640 134716908 3221224576 3221223164 134552072 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3489 2624 1111 63 0 3426 0
vsize: 13956
[startup+540.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2853
Raw data (stat): 2798 (bsolo_lpr-v2) R 2797 7266 7265 0 -1 0 2706 0 0 0 53913 94 0 0 25 0 1 0 891350822 14290944 2624 4294967295 134512640 134716908 3221224576 3221223136 134698945 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3489 2624 1111 63 0 3426 0
vsize: 13956
[startup+550.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2853
Raw data (stat): 2798 (bsolo_lpr-v2) R 2797 7266 7265 0 -1 0 2733 0 0 0 54911 96 0 0 25 0 1 0 891350822 14426112 2651 4294967295 134512640 134716908 3221224576 3221223232 134523856 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3522 2651 1111 63 0 3459 0
vsize: 14088
[startup+560.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2853
Raw data (stat): 2798 (bsolo_lpr-v2) R 2797 7266 7265 0 -1 0 2733 0 0 0 55910 97 0 0 25 0 1 0 891350822 14426112 2651 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3522 2651 1111 63 0 3459 0
vsize: 14088
[startup+570.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2853
Raw data (stat): 2798 (bsolo_lpr-v2) R 2797 7266 7265 0 -1 0 2735 0 0 0 56909 98 0 0 25 0 1 0 891350822 14426112 2653 4294967295 134512640 134716908 3221224576 3221223168 134549821 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3522 2653 1111 63 0 3459 0
vsize: 14088
[startup+580.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2853
Raw data (stat): 2798 (bsolo_lpr-v2) R 2797 7266 7265 0 -1 0 2740 0 0 0 57907 99 0 0 25 0 1 0 891350822 14426112 2658 4294967295 134512640 134716908 3221224576 3221223312 134535829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3522 2658 1111 63 0 3459 0
vsize: 14088
[startup+590.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2853
Raw data (stat): 2798 (bsolo_lpr-v2) R 2797 7266 7265 0 -1 0 2748 0 0 0 58906 100 0 0 25 0 1 0 891350822 14553088 2666 4294967295 134512640 134716908 3221224576 3221223184 134549313 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3553 2666 1111 63 0 3490 0
vsize: 14212
[startup+600.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2853
Raw data (stat): 2798 (bsolo_lpr-v2) R 2797 7266 7265 0 -1 0 2748 0 0 0 59905 102 0 0 25 0 1 0 891350822 14553088 2666 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3553 2666 1111 63 0 3490 0
vsize: 14212
[startup+610.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2853
Raw data (stat): 2798 (bsolo_lpr-v2) R 2797 7266 7265 0 -1 0 2748 0 0 0 60904 103 0 0 25 0 1 0 891350822 14553088 2666 4294967295 134512640 134716908 3221224576 3221223184 134549305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3553 2666 1111 63 0 3490 0
vsize: 14212
[startup+620.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2853
Raw data (stat): 2798 (bsolo_lpr-v2) R 2797 7266 7265 0 -1 0 2748 0 0 0 61903 104 0 0 25 0 1 0 891350822 14553088 2666 4294967295 134512640 134716908 3221224576 3221223184 134549480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3553 2666 1111 63 0 3490 0
vsize: 14212
[startup+630.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2853
Raw data (stat): 2798 (bsolo_lpr-v2) R 2797 7266 7265 0 -1 0 2748 0 0 0 62903 105 0 0 25 0 1 0 891350822 14553088 2666 4294967295 134512640 134716908 3221224576 3221223184 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3553 2666 1111 63 0 3490 0
vsize: 14212
[startup+640.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2853
Raw data (stat): 2798 (bsolo_lpr-v2) R 2797 7266 7265 0 -1 0 2748 0 0 0 63901 107 0 0 25 0 1 0 891350822 14553088 2666 4294967295 134512640 134716908 3221224576 3221223216 134613436 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3553 2666 1111 63 0 3490 0
vsize: 14212
[startup+650.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2853
Raw data (stat): 2798 (bsolo_lpr-v2) R 2797 7266 7265 0 -1 0 2748 0 0 0 64900 108 0 0 25 0 1 0 891350822 14553088 2666 4294967295 134512640 134716908 3221224576 3221223216 134698448 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3553 2666 1111 63 0 3490 0
vsize: 14212
[startup+660.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2853
Raw data (stat): 2798 (bsolo_lpr-v2) R 2797 7266 7265 0 -1 0 2748 0 0 0 65899 109 0 0 25 0 1 0 891350822 14553088 2666 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3553 2666 1111 63 0 3490 0
vsize: 14212
[startup+670.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2853
Raw data (stat): 2798 (bsolo_lpr-v2) R 2797 7266 7265 0 -1 0 2748 0 0 0 66898 110 0 0 25 0 1 0 891350822 14553088 2666 4294967295 134512640 134716908 3221224576 3221223320 134523854 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3553 2666 1111 63 0 3490 0
vsize: 14212
[startup+680.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2853
Raw data (stat): 2798 (bsolo_lpr-v2) R 2797 7266 7265 0 -1 0 2757 0 0 0 67896 112 0 0 25 0 1 0 891350822 14553088 2675 4294967295 134512640 134716908 3221224576 3221223224 134543652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3553 2675 1111 63 0 3490 0
vsize: 14212
[startup+690.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2853
Raw data (stat): 2798 (bsolo_lpr-v2) R 2797 7266 7265 0 -1 0 2757 0 0 0 68894 114 0 0 25 0 1 0 891350822 14553088 2675 4294967295 134512640 134716908 3221224576 3221223184 134549480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3553 2675 1111 63 0 3490 0
vsize: 14212
[startup+700.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2855
Raw data (stat): 2798 (bsolo_lpr-v2) R 2797 7266 7265 0 -1 0 2757 0 0 0 69893 116 0 0 25 0 1 0 891350822 14553088 2675 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3553 2675 1111 63 0 3490 0
vsize: 14212
[startup+710.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2855
Raw data (stat): 2798 (bsolo_lpr-v2) R 2797 7266 7265 0 -1 0 2757 0 0 0 70892 117 0 0 25 0 1 0 891350822 14553088 2675 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3553 2675 1111 63 0 3490 0
vsize: 14212
[startup+720.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2855
Raw data (stat): 2798 (bsolo_lpr-v2) R 2797 7266 7265 0 -1 0 2778 0 0 0 71890 119 0 0 25 0 1 0 891350822 14688256 2696 4294967295 134512640 134716908 3221224576 3221223344 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3586 2696 1111 63 0 3523 0
vsize: 14344
[startup+730.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2855
Raw data (stat): 2798 (bsolo_lpr-v2) R 2797 7266 7265 0 -1 0 2778 0 0 0 72889 121 0 0 25 0 1 0 891350822 14651392 2696 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3577 2696 1111 63 0 3514 0
vsize: 14308
[startup+740.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2855
Raw data (stat): 2798 (bsolo_lpr-v2) R 2797 7266 7265 0 -1 0 2789 0 0 0 73887 122 0 0 25 0 1 0 891350822 14651392 2707 4294967295 134512640 134716908 3221224576 3221223216 134698462 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3577 2707 1111 63 0 3514 0
vsize: 14308
[startup+750.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2855
Raw data (stat): 2798 (bsolo_lpr-v2) R 2797 7266 7265 0 -1 0 2789 0 0 0 74886 124 0 0 25 0 1 0 891350822 14651392 2707 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3577 2707 1111 63 0 3514 0
vsize: 14308
[startup+760.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2855
Raw data (stat): 2798 (bsolo_lpr-v2) R 2797 7266 7265 0 -1 0 2789 0 0 0 75884 125 0 0 25 0 1 0 891350822 14651392 2707 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3577 2707 1111 63 0 3514 0
vsize: 14308
[startup+770.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2855
Raw data (stat): 2798 (bsolo_lpr-v2) R 2797 7266 7265 0 -1 0 2790 0 0 0 76884 126 0 0 25 0 1 0 891350822 14651392 2708 4294967295 134512640 134716908 3221224576 3221223168 134549533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3577 2708 1111 63 0 3514 0
vsize: 14308
[startup+780.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2855
Raw data (stat): 2798 (bsolo_lpr-v2) R 2797 7266 7265 0 -1 0 2819 0 0 0 77883 127 0 0 25 0 1 0 891350822 14786560 2737 4294967295 134512640 134716908 3221224576 3221223184 134549313 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3610 2737 1111 63 0 3547 0
vsize: 14440
[startup+790.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2855
Raw data (stat): 2798 (bsolo_lpr-v2) R 2797 7266 7265 0 -1 0 2819 0 0 0 78882 129 0 0 25 0 1 0 891350822 14786560 2737 4294967295 134512640 134716908 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3610 2737 1111 63 0 3547 0
vsize: 14440
[startup+800.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2855
Raw data (stat): 2798 (bsolo_lpr-v2) R 2797 7266 7265 0 -1 0 2867 0 0 0 79880 131 0 0 25 0 1 0 891350822 15044608 2785 4294967295 134512640 134716908 3221224576 3221223184 134549474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3673 2785 1111 63 0 3610 0
vsize: 14692
[startup+810.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2855
Raw data (stat): 2798 (bsolo_lpr-v2) R 2797 7266 7265 0 -1 0 2902 0 0 0 80878 132 0 0 25 0 1 0 891350822 15167488 2820 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3703 2820 1111 63 0 3640 0
vsize: 14812
[startup+820.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2855
Raw data (stat): 2798 (bsolo_lpr-v2) R 2797 7266 7265 0 -1 0 2949 0 0 0 81877 133 0 0 25 0 1 0 891350822 15298560 2867 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3735 2867 1111 63 0 3672 0
vsize: 14940
[startup+830.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2855
Raw data (stat): 2798 (bsolo_lpr-v2) R 2797 7266 7265 0 -1 0 2985 0 0 0 82875 135 0 0 25 0 1 0 891350822 15433728 2903 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3768 2903 1111 63 0 3705 0
vsize: 15072
[startup+840.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2855
Raw data (stat): 2798 (bsolo_lpr-v2) R 2797 7266 7265 0 -1 0 2994 0 0 0 83873 137 0 0 25 0 1 0 891350822 15568896 2912 4294967295 134512640 134716908 3221224576 3221223360 134529088 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3801 2912 1111 63 0 3738 0
vsize: 15204
[startup+850.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2855
Raw data (stat): 2798 (bsolo_lpr-v2) R 2797 7266 7265 0 -1 0 3016 0 0 0 84872 139 0 0 25 0 1 0 891350822 15568896 2934 4294967295 134512640 134716908 3221224576 3221223184 134549480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3801 2934 1111 63 0 3738 0
vsize: 15204
[startup+860.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2855
Raw data (stat): 2798 (bsolo_lpr-v2) R 2797 7266 7265 0 -1 0 3023 0 0 0 85871 140 0 0 25 0 1 0 891350822 15704064 2941 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3834 2941 1111 63 0 3771 0
vsize: 15336
[startup+870.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2855
Raw data (stat): 2798 (bsolo_lpr-v2) R 2797 7266 7265 0 -1 0 3023 0 0 0 86870 141 0 0 25 0 1 0 891350822 15704064 2941 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3834 2941 1111 63 0 3771 0
vsize: 15336
[startup+880.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2855
Raw data (stat): 2798 (bsolo_lpr-v2) R 2797 7266 7265 0 -1 0 3036 0 0 0 87869 142 0 0 25 0 1 0 891350822 15704064 2954 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3834 2954 1111 63 0 3771 0
vsize: 15336
[startup+890.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2855
Raw data (stat): 2798 (bsolo_lpr-v2) R 2797 7266 7265 0 -1 0 3036 0 0 0 88868 143 0 0 25 0 1 0 891350822 15704064 2954 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3834 2954 1111 63 0 3771 0
vsize: 15336
[startup+900.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2855
Raw data (stat): 2798 (bsolo_lpr-v2) R 2797 7266 7265 0 -1 0 3052 0 0 0 89867 145 0 0 25 0 1 0 891350822 15704064 2970 4294967295 134512640 134716908 3221224576 3221223184 134549480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3834 2970 1111 63 0 3771 0
vsize: 15336
[startup+910.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2855
Raw data (stat): 2798 (bsolo_lpr-v2) R 2797 7266 7265 0 -1 0 3052 0 0 0 90865 147 0 0 25 0 1 0 891350822 15704064 2970 4294967295 134512640 134716908 3221224576 3221223216 134698445 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3834 2970 1111 63 0 3771 0
vsize: 15336
[startup+920.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2855
Raw data (stat): 2798 (bsolo_lpr-v2) R 2797 7266 7265 0 -1 0 3052 0 0 0 91864 148 0 0 25 0 1 0 891350822 15704064 2970 4294967295 134512640 134716908 3221224576 3221223128 134698829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3834 2970 1111 63 0 3771 0
vsize: 15336
[startup+930.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2855
Raw data (stat): 2798 (bsolo_lpr-v2) R 2797 7266 7265 0 -1 0 3052 0 0 0 92863 149 0 0 25 0 1 0 891350822 15704064 2970 4294967295 134512640 134716908 3221224576 3221223168 134548578 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3834 2970 1111 63 0 3771 0
vsize: 15336
[startup+940.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2855
Raw data (stat): 2798 (bsolo_lpr-v2) R 2797 7266 7265 0 -1 0 3052 0 0 0 93861 151 0 0 25 0 1 0 891350822 15704064 2970 4294967295 134512640 134716908 3221224576 3221223260 134552651 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3834 2970 1111 63 0 3771 0
vsize: 15336
[startup+950.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2855
Raw data (stat): 2798 (bsolo_lpr-v2) R 2797 7266 7265 0 -1 0 3052 0 0 0 94860 152 0 0 25 0 1 0 891350822 15704064 2970 4294967295 134512640 134716908 3221224576 3221223184 134549457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3834 2970 1111 63 0 3771 0
vsize: 15336
[startup+960.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2855
Raw data (stat): 2798 (bsolo_lpr-v2) R 2797 7266 7265 0 -1 0 3071 0 0 0 95859 154 0 0 25 0 1 0 891350822 15839232 2989 4294967295 134512640 134716908 3221224576 3221223196 134613768 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3867 2989 1111 63 0 3804 0
vsize: 15468
[startup+970.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2855
Raw data (stat): 2798 (bsolo_lpr-v2) R 2797 7266 7265 0 -1 0 3077 0 0 0 96858 155 0 0 25 0 1 0 891350822 15839232 2995 4294967295 134512640 134716908 3221224576 3221223168 134549544 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3867 2995 1111 63 0 3804 0
vsize: 15468
[startup+980.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2855
Raw data (stat): 2798 (bsolo_lpr-v2) R 2797 7266 7265 0 -1 0 3077 0 0 0 97857 156 0 0 25 0 1 0 891350822 15839232 2995 4294967295 134512640 134716908 3221224576 3221223168 134549548 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3867 2995 1111 63 0 3804 0
vsize: 15468
[startup+990.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2855
Raw data (stat): 2798 (bsolo_lpr-v2) R 2797 7266 7265 0 -1 0 3094 0 0 0 98855 158 0 0 25 0 1 0 891350822 15970304 3012 4294967295 134512640 134716908 3221224576 3221223324 134675288 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3899 3012 1111 63 0 3836 0
vsize: 15596
[startup+1000.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2855
Raw data (stat): 2798 (bsolo_lpr-v2) R 2797 7266 7265 0 -1 0 3102 0 0 0 99855 159 0 0 25 0 1 0 891350822 15970304 3020 4294967295 134512640 134716908 3221224576 3221223252 134523868 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3899 3020 1111 63 0 3836 0
vsize: 15596
[startup+1010.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2855
Raw data (stat): 2798 (bsolo_lpr-v2) R 2797 7266 7265 0 -1 0 3102 0 0 0 100854 159 0 0 25 0 1 0 891350822 15970304 3020 4294967295 134512640 134716908 3221224576 3221222972 1077379843 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3899 3020 1111 63 0 3836 0
vsize: 15596
[startup+1020.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2855
Raw data (stat): 2798 (bsolo_lpr-v2) R 2797 7266 7265 0 -1 0 3122 0 0 0 101853 161 0 0 25 0 1 0 891350822 16097280 3040 4294967295 134512640 134716908 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3930 3040 1111 63 0 3867 0
vsize: 15720
[startup+1030.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2855
Raw data (stat): 2798 (bsolo_lpr-v2) R 2797 7266 7265 0 -1 0 3122 0 0 0 102852 162 0 0 25 0 1 0 891350822 16080896 3040 4294967295 134512640 134716908 3221224576 3221223264 134594343 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3926 3040 1111 63 0 3863 0
vsize: 15704
[startup+1040.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2855
Raw data (stat): 2798 (bsolo_lpr-v2) R 2797 7266 7265 0 -1 0 3131 0 0 0 103851 163 0 0 25 0 1 0 891350822 16080896 3049 4294967295 134512640 134716908 3221224576 3221223088 134535335 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3926 3049 1111 63 0 3863 0
vsize: 15704
[startup+1050.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2855
Raw data (stat): 2798 (bsolo_lpr-v2) R 2797 7266 7265 0 -1 0 3131 0 0 0 104850 165 0 0 25 0 1 0 891350822 16080896 3049 4294967295 134512640 134716908 3221224576 3221222840 134699459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3926 3049 1111 63 0 3863 0
vsize: 15704
[startup+1060.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2855
Raw data (stat): 2798 (bsolo_lpr-v2) R 2797 7266 7265 0 -1 0 3166 0 0 0 105848 166 0 0 25 0 1 0 891350822 16216064 3084 4294967295 134512640 134716908 3221224576 3221223116 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3959 3084 1111 63 0 3896 0
vsize: 15836
[startup+1070.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2855
Raw data (stat): 2798 (bsolo_lpr-v2) R 2797 7266 7265 0 -1 0 3224 0 0 0 106847 168 0 0 25 0 1 0 891350822 16486400 3142 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4025 3142 1111 63 0 3962 0
vsize: 16100
[startup+1080.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2855
Raw data (stat): 2798 (bsolo_lpr-v2) R 2797 7266 7265 0 -1 0 3254 0 0 0 107846 170 0 0 25 0 1 0 891350822 16621568 3172 4294967295 134512640 134716908 3221224576 3221223344 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4058 3172 1111 63 0 3995 0
vsize: 16232
[startup+1090.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2855
Raw data (stat): 2798 (bsolo_lpr-v2) R 2797 7266 7265 0 -1 0 3266 0 0 0 108844 171 0 0 25 0 1 0 891350822 16621568 3184 4294967295 134512640 134716908 3221224576 3221223312 134535742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4058 3184 1111 63 0 3995 0
vsize: 16232
[startup+1100.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2855
Raw data (stat): 2798 (bsolo_lpr-v2) R 2797 7266 7265 0 -1 0 3266 0 0 0 109843 172 0 0 25 0 1 0 891350822 16621568 3184 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4058 3184 1111 63 0 3995 0
vsize: 16232
[startup+1110.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2855
Raw data (stat): 2798 (bsolo_lpr-v2) R 2797 7266 7265 0 -1 0 3266 0 0 0 110842 174 0 0 25 0 1 0 891350822 16621568 3184 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4058 3184 1111 63 0 3995 0
vsize: 16232
[startup+1120.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2855
Raw data (stat): 2798 (bsolo_lpr-v2) R 2797 7266 7265 0 -1 0 3266 0 0 0 111840 175 0 0 25 0 1 0 891350822 16621568 3184 4294967295 134512640 134716908 3221224576 3221223184 134549305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4058 3184 1111 63 0 3995 0
vsize: 16232
[startup+1130.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2855
Raw data (stat): 2798 (bsolo_lpr-v2) R 2797 7266 7265 0 -1 0 3266 0 0 0 112839 177 0 0 25 0 1 0 891350822 16621568 3184 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4058 3184 1111 63 0 3995 0
vsize: 16232
[startup+1140.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2855
Raw data (stat): 2798 (bsolo_lpr-v2) R 2797 7266 7265 0 -1 0 3266 0 0 0 113838 178 0 0 25 0 1 0 891350822 16621568 3184 4294967295 134512640 134716908 3221224576 3221223332 134655248 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4058 3184 1111 63 0 3995 0
vsize: 16232
[startup+1150.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2855
Raw data (stat): 2798 (bsolo_lpr-v2) R 2797 7266 7265 0 -1 0 3266 0 0 0 114838 179 0 0 25 0 1 0 891350822 16621568 3184 4294967295 134512640 134716908 3221224576 3221223132 1077374048 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4058 3184 1111 63 0 3995 0
vsize: 16232
[startup+1160.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2855
Raw data (stat): 2798 (bsolo_lpr-v2) R 2797 7266 7265 0 -1 0 3266 0 0 0 115837 181 0 0 25 0 1 0 891350822 16621568 3184 4294967295 134512640 134716908 3221224576 3221223184 134549334 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4058 3184 1111 63 0 3995 0
vsize: 16232
[startup+1170.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2855
Raw data (stat): 2798 (bsolo_lpr-v2) R 2797 7266 7265 0 -1 0 3266 0 0 0 116836 182 0 0 25 0 1 0 891350822 16621568 3184 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4058 3184 1111 63 0 3995 0
vsize: 16232
[startup+1174.87 s]
Raw data (loadavg): 1.00 0.99 0.91 1/53 2855
Raw data (stat): 2798 (bsolo_lpr-v2) R 2797 7266 7265 0 -1 0 3266 0 0 0 116836 182 0 0 25 0 1 0 891350822 16621568 3184 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4058 3184 1111 63 0 3995 0
vsize: 0

Child status: 0
Real time (s): 1174.87
CPU time (s): 1175.02
CPU user time (s): 1173.18
CPU system time (s): 1.83672
CPU usage (%): 100.013
Max. virtual memory (Kb): 16232
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####