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-fpga40_38_sat_pb.cnf.cr.opb
MD5SUM	69d239b72e8d1a72f9c55329043493e1
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	41
Number of bits of the biggest sum of numbers	6
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	15.9626
Number of variables	2280
Total number of constraints	1636
Number of constraints which are clauses	1558
Number of constraints which are cardinality constraints (but not clauses)	78
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	20
Maximum length of a constraint	40
Trace number 39428

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-07 09:35:15 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27494 boxname=wulflinc6 idbench=52 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  69d239b72e8d1a72f9c55329043493e1  /oldhome/oroussel/tmp/wulflinc6/normalized-fpga40_38_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-fpga40_38_sat_pb.cnf.cr.opb
IDLAUNCH: 27494
/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:        254280 kB
Buffers:         33940 kB
Cached:         723928 kB
SwapCached:        536 kB
Active:          59188 kB
Inactive:       700776 kB
HighTotal:      131008 kB
HighFree:        13244 kB
LowTotal:       903652 kB
LowFree:        241036 kB
SwapTotal:     2097136 kB
SwapFree:      2095656 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5208 kB
Slab:            14868 kB
Committed_AS:    63700 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 09:54:50 (client local time) WITH STATUS 0 IN 1175.02 SECONDS
stats: 27494 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 2280 variables and 1636 constraints.
c After prepocess the problem consists of 2280 variables and 1636 constraints.
c preprocess terminated 5.079 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.01 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): 1.07 1.02 0.93 2/54 12350
Raw data (stat): 12350 (runsolver) R 12349 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 891954072 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): 1.06 1.01 0.93 2/54 12350
Raw data (stat): 12350 (bsolo_lpr-v2) R 12349 25568 25567 0 -1 0 1843 0 0 0 991 7 0 0 25 0 1 0 891954072 10657792 1761 4294967295 134512640 134716908 3221224560 3221223168 134549474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2602 1761 1111 63 0 2539 0
vsize: 10408
[startup+20.0017 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 12350
Raw data (stat): 12350 (bsolo_lpr-v2) R 12349 25568 25567 0 -1 0 1858 0 0 0 1988 10 0 0 25 0 1 0 891954072 10788864 1776 4294967295 134512640 134716908 3221224560 3221223224 134543614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2634 1776 1111 63 0 2571 0
vsize: 10536
[startup+30.0019 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 12350
Raw data (stat): 12350 (bsolo_lpr-v2) R 12349 25568 25567 0 -1 0 1898 0 0 0 2987 11 0 0 25 0 1 0 891954072 10924032 1816 4294967295 134512640 134716908 3221224560 3221223236 1077374467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2667 1816 1111 63 0 2604 0
vsize: 10668
[startup+40.0025 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 12350
Raw data (stat): 12350 (bsolo_lpr-v2) R 12349 25568 25567 0 -1 0 1937 0 0 0 3986 13 0 0 25 0 1 0 891954072 11059200 1855 4294967295 134512640 134716908 3221224560 3221223200 134613438 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2700 1855 1111 63 0 2637 0
vsize: 10800
[startup+50.0039 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 12350
Raw data (stat): 12350 (bsolo_lpr-v2) R 12349 25568 25567 0 -1 0 1947 0 0 0 4985 15 0 0 25 0 1 0 891954072 11182080 1865 4294967295 134512640 134716908 3221224560 3221223288 134532457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2730 1865 1111 63 0 2667 0
vsize: 10920
[startup+60.0043 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 12350
Raw data (stat): 12350 (bsolo_lpr-v2) R 12349 25568 25567 0 -1 0 2003 0 0 0 5984 16 0 0 25 0 1 0 891954072 11296768 1921 4294967295 134512640 134716908 3221224560 3221223212 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2758 1921 1111 63 0 2695 0
vsize: 11032
[startup+70.0049 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 12350
Raw data (stat): 12350 (bsolo_lpr-v2) R 12349 25568 25567 0 -1 0 2036 0 0 0 6983 17 0 0 25 0 1 0 891954072 11431936 1954 4294967295 134512640 134716908 3221224560 3221222804 134699711 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2791 1954 1111 63 0 2728 0
vsize: 11164
[startup+80.0061 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 12350
Raw data (stat): 12350 (bsolo_lpr-v2) R 12349 25568 25567 0 -1 0 2048 0 0 0 7981 19 0 0 25 0 1 0 891954072 11558912 1966 4294967295 134512640 134716908 3221224560 3221223200 134613470 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2822 1966 1111 63 0 2759 0
vsize: 11288
[startup+90.0058 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 12350
Raw data (stat): 12350 (bsolo_lpr-v2) R 12349 25568 25567 0 -1 0 2075 0 0 0 8980 21 0 0 25 0 1 0 891954072 11694080 1993 4294967295 134512640 134716908 3221224560 3221223192 134698681 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2855 1993 1111 63 0 2792 0
vsize: 11420
[startup+100.006 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 12350
Raw data (stat): 12350 (bsolo_lpr-v2) R 12349 25568 25567 0 -1 0 2077 0 0 0 9979 22 0 0 25 0 1 0 891954072 11694080 1995 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2855 1995 1111 63 0 2792 0
vsize: 11420
[startup+110.008 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 12350
Raw data (stat): 12350 (bsolo_lpr-v2) R 12349 25568 25567 0 -1 0 2106 0 0 0 10977 24 0 0 25 0 1 0 891954072 11829248 2024 4294967295 134512640 134716908 3221224560 3221223168 134549305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2888 2024 1111 63 0 2825 0
vsize: 11552
[startup+120.008 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 12350
Raw data (stat): 12350 (bsolo_lpr-v2) R 12349 25568 25567 0 -1 0 2130 0 0 0 11976 26 0 0 25 0 1 0 891954072 11939840 2048 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2915 2048 1111 63 0 2852 0
vsize: 11660
[startup+130.009 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12350
Raw data (stat): 12350 (bsolo_lpr-v2) R 12349 25568 25567 0 -1 0 2130 0 0 0 12975 27 0 0 25 0 1 0 891954072 11939840 2048 4294967295 134512640 134716908 3221224560 3221222956 1077379944 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2915 2048 1111 63 0 2852 0
vsize: 11660
[startup+140.008 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12350
Raw data (stat): 12350 (bsolo_lpr-v2) R 12349 25568 25567 0 -1 0 2130 0 0 0 13974 28 0 0 25 0 1 0 891954072 11939840 2048 4294967295 134512640 134716908 3221224560 3221223288 134536879 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2915 2048 1111 63 0 2852 0
vsize: 11660
[startup+150.009 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12350
Raw data (stat): 12350 (bsolo_lpr-v2) R 12349 25568 25567 0 -1 0 2138 0 0 0 14973 30 0 0 25 0 1 0 891954072 11939840 2056 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2915 2056 1111 63 0 2852 0
vsize: 11660
[startup+160.009 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12350
Raw data (stat): 12350 (bsolo_lpr-v2) R 12349 25568 25567 0 -1 0 2161 0 0 0 15973 30 0 0 25 0 1 0 891954072 11939840 2079 4294967295 134512640 134716908 3221224560 3221223220 134524380 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2915 2079 1111 63 0 2852 0
vsize: 11660
[startup+170.009 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12350
Raw data (stat): 12350 (bsolo_lpr-v2) R 12349 25568 25567 0 -1 0 2161 0 0 0 16971 32 0 0 25 0 1 0 891954072 11939840 2079 4294967295 134512640 134716908 3221224560 3221223224 134536851 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2915 2079 1111 63 0 2852 0
vsize: 11660
[startup+180.009 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12350
Raw data (stat): 12350 (bsolo_lpr-v2) R 12349 25568 25567 0 -1 0 2168 0 0 0 17969 34 0 0 25 0 1 0 891954072 12075008 2086 4294967295 134512640 134716908 3221224560 3221223032 134613981 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2948 2086 1111 63 0 2885 0
vsize: 11792
[startup+190.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12350
Raw data (stat): 12350 (bsolo_lpr-v2) R 12349 25568 25567 0 -1 0 2170 0 0 0 18968 36 0 0 25 0 1 0 891954072 12075008 2088 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2948 2088 1111 63 0 2885 0
vsize: 11792
[startup+200.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12350
Raw data (stat): 12350 (bsolo_lpr-v2) R 12349 25568 25567 0 -1 0 2174 0 0 0 19967 37 0 0 25 0 1 0 891954072 12075008 2092 4294967295 134512640 134716908 3221224560 3221223240 134552650 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2948 2092 1111 63 0 2885 0
vsize: 11792
[startup+210.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12350
Raw data (stat): 12350 (bsolo_lpr-v2) R 12349 25568 25567 0 -1 0 2209 0 0 0 20967 38 0 0 25 0 1 0 891954072 12206080 2127 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2980 2127 1111 63 0 2917 0
vsize: 11920
[startup+220.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12350
Raw data (stat): 12350 (bsolo_lpr-v2) R 12349 25568 25567 0 -1 0 2228 0 0 0 21966 39 0 0 25 0 1 0 891954072 12341248 2146 4294967295 134512640 134716908 3221224560 3221223168 134549305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3013 2146 1111 63 0 2950 0
vsize: 12052
[startup+230.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12350
Raw data (stat): 12350 (bsolo_lpr-v2) R 12349 25568 25567 0 -1 0 2228 0 0 0 22965 41 0 0 25 0 1 0 891954072 12341248 2146 4294967295 134512640 134716908 3221224560 3221223304 134558477 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3013 2146 1111 63 0 2950 0
vsize: 12052
[startup+240.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12350
Raw data (stat): 12350 (bsolo_lpr-v2) R 12349 25568 25567 0 -1 0 2228 0 0 0 23964 42 0 0 25 0 1 0 891954072 12341248 2146 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3013 2146 1111 63 0 2950 0
vsize: 12052
[startup+250.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12350
Raw data (stat): 12350 (bsolo_lpr-v2) R 12349 25568 25567 0 -1 0 2242 0 0 0 24963 44 0 0 25 0 1 0 891954072 12337152 2160 4294967295 134512640 134716908 3221224560 3221223128 1077377771 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3012 2160 1111 63 0 2949 0
vsize: 12048
[startup+260.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12350
Raw data (stat): 12350 (bsolo_lpr-v2) R 12349 25568 25567 0 -1 0 2260 0 0 0 25962 45 0 0 25 0 1 0 891954072 12472320 2178 4294967295 134512640 134716908 3221224560 3221223320 134592337 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3045 2178 1111 63 0 2982 0
vsize: 12180
[startup+270.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12350
Raw data (stat): 12350 (bsolo_lpr-v2) R 12349 25568 25567 0 -1 0 2283 0 0 0 26961 46 0 0 25 0 1 0 891954072 12443648 2201 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3038 2201 1111 63 0 2975 0
vsize: 12152
[startup+280.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12350
Raw data (stat): 12350 (bsolo_lpr-v2) R 12349 25568 25567 0 -1 0 2303 0 0 0 27961 47 0 0 25 0 1 0 891954072 12574720 2221 4294967295 134512640 134716908 3221224560 3221223104 134699243 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3070 2221 1111 63 0 3007 0
vsize: 12280
[startup+290.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12350
Raw data (stat): 12350 (bsolo_lpr-v2) R 12349 25568 25567 0 -1 0 2310 0 0 0 28960 48 0 0 25 0 1 0 891954072 12574720 2228 4294967295 134512640 134716908 3221224560 3221223304 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3070 2228 1111 63 0 3007 0
vsize: 12280
[startup+300.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12350
Raw data (stat): 12350 (bsolo_lpr-v2) R 12349 25568 25567 0 -1 0 2310 0 0 0 29959 49 0 0 25 0 1 0 891954072 12574720 2228 4294967295 134512640 134716908 3221224560 3221223168 134549474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3070 2228 1111 63 0 3007 0
vsize: 12280
[startup+310.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12350
Raw data (stat): 12350 (bsolo_lpr-v2) R 12349 25568 25567 0 -1 0 2310 0 0 0 30958 50 0 0 25 0 1 0 891954072 12574720 2228 4294967295 134512640 134716908 3221224560 3221223192 134698718 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3070 2228 1111 63 0 3007 0
vsize: 12280
[startup+320.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12350
Raw data (stat): 12350 (bsolo_lpr-v2) R 12349 25568 25567 0 -1 0 2310 0 0 0 31957 52 0 0 25 0 1 0 891954072 12574720 2228 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3070 2228 1111 63 0 3007 0
vsize: 12280
[startup+330.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12350
Raw data (stat): 12350 (bsolo_lpr-v2) R 12349 25568 25567 0 -1 0 2310 0 0 0 32957 53 0 0 25 0 1 0 891954072 12574720 2228 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3070 2228 1111 63 0 3007 0
vsize: 12280
[startup+340.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12350
Raw data (stat): 12350 (bsolo_lpr-v2) R 12349 25568 25567 0 -1 0 2310 0 0 0 33956 54 0 0 25 0 1 0 891954072 12574720 2228 4294967295 134512640 134716908 3221224560 3221223188 1077374077 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3070 2228 1111 63 0 3007 0
vsize: 12280
[startup+350.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12350
Raw data (stat): 12350 (bsolo_lpr-v2) R 12349 25568 25567 0 -1 0 2310 0 0 0 34955 55 0 0 25 0 1 0 891954072 12574720 2228 4294967295 134512640 134716908 3221224560 3221223152 134543740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3070 2228 1111 63 0 3007 0
vsize: 12280
[startup+360.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12350
Raw data (stat): 12350 (bsolo_lpr-v2) R 12349 25568 25567 0 -1 0 2326 0 0 0 35954 57 0 0 25 0 1 0 891954072 12709888 2244 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3103 2244 1111 63 0 3040 0
vsize: 12412
[startup+370.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12350
Raw data (stat): 12350 (bsolo_lpr-v2) R 12349 25568 25567 0 -1 0 2337 0 0 0 36952 58 0 0 25 0 1 0 891954072 12709888 2255 4294967295 134512640 134716908 3221224560 3221223168 134549313 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3103 2255 1111 63 0 3040 0
vsize: 12412
[startup+380.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12350
Raw data (stat): 12350 (bsolo_lpr-v2) R 12349 25568 25567 0 -1 0 2346 0 0 0 37952 59 0 0 25 0 1 0 891954072 12709888 2264 4294967295 134512640 134716908 3221224560 3221223184 134542368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3103 2264 1111 63 0 3040 0
vsize: 12412
[startup+390.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12350
Raw data (stat): 12350 (bsolo_lpr-v2) R 12349 25568 25567 0 -1 0 2352 0 0 0 38951 61 0 0 25 0 1 0 891954072 12828672 2270 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3132 2270 1111 63 0 3069 0
vsize: 12528
[startup+400.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12350
Raw data (stat): 12350 (bsolo_lpr-v2) R 12349 25568 25567 0 -1 0 2375 0 0 0 39951 61 0 0 25 0 1 0 891954072 12828672 2293 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3132 2293 1111 63 0 3069 0
vsize: 12528
[startup+410.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12350
Raw data (stat): 12350 (bsolo_lpr-v2) R 12349 25568 25567 0 -1 0 2388 0 0 0 40950 63 0 0 25 0 1 0 891954072 12959744 2306 4294967295 134512640 134716908 3221224560 3221223168 134549474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3164 2306 1111 63 0 3101 0
vsize: 12656
[startup+420.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12350
Raw data (stat): 12350 (bsolo_lpr-v2) R 12349 25568 25567 0 -1 0 2412 0 0 0 41949 64 0 0 25 0 1 0 891954072 13094912 2330 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3197 2330 1111 63 0 3134 0
vsize: 12788
[startup+430.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12350
Raw data (stat): 12350 (bsolo_lpr-v2) R 12349 25568 25567 0 -1 0 2413 0 0 0 42948 65 0 0 25 0 1 0 891954072 13094912 2331 4294967295 134512640 134716908 3221224560 3221223168 134549318 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3197 2331 1111 63 0 3134 0
vsize: 12788
[startup+440.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12350
Raw data (stat): 12350 (bsolo_lpr-v2) R 12349 25568 25567 0 -1 0 2425 0 0 0 43947 66 0 0 25 0 1 0 891954072 13094912 2343 4294967295 134512640 134716908 3221224560 3221223116 134535956 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3197 2343 1111 63 0 3134 0
vsize: 12788
[startup+450.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12350
Raw data (stat): 12350 (bsolo_lpr-v2) R 12349 25568 25567 0 -1 0 2425 0 0 0 44947 67 0 0 25 0 1 0 891954072 13094912 2343 4294967295 134512640 134716908 3221224560 3221223168 134549474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3197 2343 1111 63 0 3134 0
vsize: 12788
[startup+460.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12350
Raw data (stat): 12350 (bsolo_lpr-v2) R 12349 25568 25567 0 -1 0 2425 0 0 0 45945 69 0 0 25 0 1 0 891954072 13094912 2343 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3197 2343 1111 63 0 3134 0
vsize: 12788
[startup+470.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12350
Raw data (stat): 12350 (bsolo_lpr-v2) R 12349 25568 25567 0 -1 0 2440 0 0 0 46944 70 0 0 25 0 1 0 891954072 13094912 2358 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3197 2358 1111 63 0 3134 0
vsize: 12788
[startup+480.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12350
Raw data (stat): 12350 (bsolo_lpr-v2) R 12349 25568 25567 0 -1 0 2440 0 0 0 47943 72 0 0 25 0 1 0 891954072 13094912 2358 4294967295 134512640 134716908 3221224560 3221223304 134543141 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3197 2358 1111 63 0 3134 0
vsize: 12788
[startup+490.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12350
Raw data (stat): 12350 (bsolo_lpr-v2) R 12349 25568 25567 0 -1 0 2440 0 0 0 48942 73 0 0 25 0 1 0 891954072 13094912 2358 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3197 2358 1111 63 0 3134 0
vsize: 12788
[startup+500.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12350
Raw data (stat): 12350 (bsolo_lpr-v2) R 12349 25568 25567 0 -1 0 2479 0 0 0 49941 74 0 0 25 0 1 0 891954072 13365248 2397 4294967295 134512640 134716908 3221224560 3221223288 134532457 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3263 2397 1111 63 0 3200 0
vsize: 13052
[startup+510.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12350
Raw data (stat): 12350 (bsolo_lpr-v2) R 12349 25568 25567 0 -1 0 2479 0 0 0 50940 76 0 0 25 0 1 0 891954072 13365248 2397 4294967295 134512640 134716908 3221224560 3221223100 134535891 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3263 2397 1111 63 0 3200 0
vsize: 13052
[startup+520.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12350
Raw data (stat): 12350 (bsolo_lpr-v2) R 12349 25568 25567 0 -1 0 2484 0 0 0 51940 77 0 0 25 0 1 0 891954072 13365248 2402 4294967295 134512640 134716908 3221224560 3221223200 134613438 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3263 2402 1111 63 0 3200 0
vsize: 13052
[startup+530.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12350
Raw data (stat): 12350 (bsolo_lpr-v2) R 12349 25568 25567 0 -1 0 2484 0 0 0 52940 77 0 0 25 0 1 0 891954072 13365248 2402 4294967295 134512640 134716908 3221224560 3221223304 134558477 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3263 2402 1111 63 0 3200 0
vsize: 13052
[startup+540.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12350
Raw data (stat): 12350 (bsolo_lpr-v2) R 12349 25568 25567 0 -1 0 2498 0 0 0 53939 79 0 0 25 0 1 0 891954072 13365248 2416 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3263 2416 1111 63 0 3200 0
vsize: 13052
[startup+550.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12350
Raw data (stat): 12350 (bsolo_lpr-v2) R 12349 25568 25567 0 -1 0 2523 0 0 0 54937 80 0 0 25 0 1 0 891954072 13451264 2441 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3284 2441 1111 63 0 3221 0
vsize: 13136
[startup+560.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12350
Raw data (stat): 12350 (bsolo_lpr-v2) R 12349 25568 25567 0 -1 0 2523 0 0 0 55937 81 0 0 25 0 1 0 891954072 13451264 2441 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3284 2441 1111 63 0 3221 0
vsize: 13136
[startup+570.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12350
Raw data (stat): 12350 (bsolo_lpr-v2) R 12349 25568 25567 0 -1 0 2523 0 0 0 56937 82 0 0 25 0 1 0 891954072 13451264 2441 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3284 2441 1111 63 0 3221 0
vsize: 13136
[startup+580.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12350
Raw data (stat): 12350 (bsolo_lpr-v2) R 12349 25568 25567 0 -1 0 2532 0 0 0 57936 84 0 0 25 0 1 0 891954072 13586432 2450 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3317 2450 1111 63 0 3254 0
vsize: 13268
[startup+590.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12350
Raw data (stat): 12350 (bsolo_lpr-v2) R 12349 25568 25567 0 -1 0 2559 0 0 0 58936 84 0 0 25 0 1 0 891954072 13586432 2477 4294967295 134512640 134716908 3221224560 3221223188 1077374149 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3317 2477 1111 63 0 3254 0
vsize: 13268
[startup+600.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12350
Raw data (stat): 12350 (bsolo_lpr-v2) R 12349 25568 25567 0 -1 0 2559 0 0 0 59936 85 0 0 25 0 1 0 891954072 13586432 2477 4294967295 134512640 134716908 3221224560 3221223120 134551998 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3317 2477 1111 63 0 3254 0
vsize: 13268
[startup+610.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12350
Raw data (stat): 12350 (bsolo_lpr-v2) R 12349 25568 25567 0 -1 0 2577 0 0 0 60935 86 0 0 25 0 1 0 891954072 13721600 2495 4294967295 134512640 134716908 3221224560 3221223288 134532457 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3350 2495 1111 63 0 3287 0
vsize: 13400
[startup+620.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12350
Raw data (stat): 12350 (bsolo_lpr-v2) R 12349 25568 25567 0 -1 0 2577 0 0 0 61934 87 0 0 25 0 1 0 891954072 13721600 2495 4294967295 134512640 134716908 3221224560 3221223168 134549474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3350 2495 1111 63 0 3287 0
vsize: 13400
[startup+630.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12350
Raw data (stat): 12350 (bsolo_lpr-v2) R 12349 25568 25567 0 -1 0 2593 0 0 0 62934 88 0 0 25 0 1 0 891954072 13721600 2511 4294967295 134512640 134716908 3221224560 3221223120 134542347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3350 2511 1111 63 0 3287 0
vsize: 13400
[startup+640.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12350
Raw data (stat): 12350 (bsolo_lpr-v2) R 12349 25568 25567 0 -1 0 2614 0 0 0 63933 89 0 0 25 0 1 0 891954072 13856768 2532 4294967295 134512640 134716908 3221224560 3221223140 1077378629 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3383 2532 1111 63 0 3320 0
vsize: 13532
[startup+650.041 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12350
Raw data (stat): 12350 (bsolo_lpr-v2) R 12349 25568 25567 0 -1 0 2621 0 0 0 64932 90 0 0 25 0 1 0 891954072 13856768 2539 4294967295 134512640 134716908 3221224560 3221223224 134542289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3383 2539 1111 63 0 3320 0
vsize: 13532
[startup+660.042 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12350
Raw data (stat): 12350 (bsolo_lpr-v2) R 12349 25568 25567 0 -1 0 2621 0 0 0 65931 92 0 0 25 0 1 0 891954072 13856768 2539 4294967295 134512640 134716908 3221224560 3221223324 134552560 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3383 2539 1111 63 0 3320 0
vsize: 13532
[startup+670.041 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12350
Raw data (stat): 12350 (bsolo_lpr-v2) R 12349 25568 25567 0 -1 0 2653 0 0 0 66930 94 0 0 25 0 1 0 891954072 13991936 2571 4294967295 134512640 134716908 3221224560 3221223168 134549318 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3416 2571 1111 63 0 3353 0
vsize: 13664
[startup+680.058 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12350
Raw data (stat): 12350 (bsolo_lpr-v2) R 12349 25568 25567 0 -1 0 2653 0 0 0 67931 94 0 0 25 0 1 0 891954072 13991936 2571 4294967295 134512640 134716908 3221224560 3221223280 134535762 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3416 2571 1111 63 0 3353 0
vsize: 13664
[startup+690.059 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12350
Raw data (stat): 12350 (bsolo_lpr-v2) R 12349 25568 25567 0 -1 0 2668 0 0 0 68931 95 0 0 25 0 1 0 891954072 14127104 2586 4294967295 134512640 134716908 3221224560 3221223248 134524417 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3449 2586 1111 63 0 3386 0
vsize: 13796
[startup+700.059 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12350
Raw data (stat): 12350 (bsolo_lpr-v2) R 12349 25568 25567 0 -1 0 2668 0 0 0 69930 96 0 0 25 0 1 0 891954072 14127104 2586 4294967295 134512640 134716908 3221224560 3221223120 134542306 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3449 2586 1111 63 0 3386 0
vsize: 13796
[startup+710.061 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12350
Raw data (stat): 12350 (bsolo_lpr-v2) R 12349 25568 25567 0 -1 0 2685 0 0 0 70929 98 0 0 25 0 1 0 891954072 14127104 2603 4294967295 134512640 134716908 3221224560 3221223308 134558476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3449 2603 1111 63 0 3386 0
vsize: 13796
[startup+720.061 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12350
Raw data (stat): 12350 (bsolo_lpr-v2) R 12349 25568 25567 0 -1 0 2685 0 0 0 71928 99 0 0 25 0 1 0 891954072 14127104 2603 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3449 2603 1111 63 0 3386 0
vsize: 13796
[startup+730.062 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12350
Raw data (stat): 12350 (bsolo_lpr-v2) R 12349 25568 25567 0 -1 0 2685 0 0 0 72927 101 0 0 25 0 1 0 891954072 14127104 2603 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3449 2603 1111 63 0 3386 0
vsize: 13796
[startup+740.061 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12350
Raw data (stat): 12350 (bsolo_lpr-v2) R 12349 25568 25567 0 -1 0 2685 0 0 0 73925 102 0 0 25 0 1 0 891954072 14127104 2603 4294967295 134512640 134716908 3221224560 3221223200 134613447 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3449 2603 1111 63 0 3386 0
vsize: 13796
[startup+750.063 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12350
Raw data (stat): 12350 (bsolo_lpr-v2) R 12349 25568 25567 0 -1 0 2685 0 0 0 74925 103 0 0 25 0 1 0 891954072 14127104 2603 4294967295 134512640 134716908 3221224560 3221223264 134528691 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3449 2603 1111 63 0 3386 0
vsize: 13796
[startup+760.063 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12350
Raw data (stat): 12350 (bsolo_lpr-v2) R 12349 25568 25567 0 -1 0 2685 0 0 0 75924 104 0 0 25 0 1 0 891954072 14118912 2603 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3447 2603 1111 63 0 3384 0
vsize: 13788
[startup+770.063 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12350
Raw data (stat): 12350 (bsolo_lpr-v2) R 12349 25568 25567 0 -1 0 2685 0 0 0 76923 106 0 0 25 0 1 0 891954072 14118912 2603 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3447 2603 1111 63 0 3384 0
vsize: 13788
[startup+780.065 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12350
Raw data (stat): 12350 (bsolo_lpr-v2) R 12349 25568 25567 0 -1 0 2689 0 0 0 77921 108 0 0 25 0 1 0 891954072 14118912 2607 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3447 2607 1111 63 0 3384 0
vsize: 13788
[startup+790.066 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12350
Raw data (stat): 12350 (bsolo_lpr-v2) R 12349 25568 25567 0 -1 0 2706 0 0 0 78920 109 0 0 25 0 1 0 891954072 14241792 2624 4294967295 134512640 134716908 3221224560 3221223312 134591984 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3477 2624 1111 63 0 3414 0
vsize: 13908
[startup+800.065 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12350
Raw data (stat): 12350 (bsolo_lpr-v2) R 12349 25568 25567 0 -1 0 2706 0 0 0 79919 111 0 0 25 0 1 0 891954072 14241792 2624 4294967295 134512640 134716908 3221224560 3221223184 134698636 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3477 2624 1111 63 0 3414 0
vsize: 13908
[startup+810.066 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12350
Raw data (stat): 12350 (bsolo_lpr-v2) R 12349 25568 25567 0 -1 0 2708 0 0 0 80918 112 0 0 25 0 1 0 891954072 14241792 2626 4294967295 134512640 134716908 3221224560 3221223304 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3477 2626 1111 63 0 3414 0
vsize: 13908
[startup+820.069 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12350
Raw data (stat): 12350 (bsolo_lpr-v2) R 12349 25568 25567 0 -1 0 2743 0 0 0 81917 113 0 0 25 0 1 0 891954072 14376960 2661 4294967295 134512640 134716908 3221224560 3221223204 134613648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3510 2661 1111 63 0 3447 0
vsize: 14040
[startup+830.069 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12350
Raw data (stat): 12350 (bsolo_lpr-v2) R 12349 25568 25567 0 -1 0 2754 0 0 0 82916 115 0 0 25 0 1 0 891954072 14376960 2672 4294967295 134512640 134716908 3221224560 3221223168 134523396 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3510 2672 1111 63 0 3447 0
vsize: 14040
[startup+840.069 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12350
Raw data (stat): 12350 (bsolo_lpr-v2) R 12349 25568 25567 0 -1 0 2799 0 0 0 83915 116 0 0 25 0 1 0 891954072 14643200 2717 4294967295 134512640 134716908 3221224560 3221223304 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3575 2717 1111 63 0 3512 0
vsize: 14300
[startup+850.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12350
Raw data (stat): 12350 (bsolo_lpr-v2) R 12349 25568 25567 0 -1 0 2799 0 0 0 84914 118 0 0 25 0 1 0 891954072 14643200 2717 4294967295 134512640 134716908 3221224560 3221223188 134536674 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3575 2717 1111 63 0 3512 0
vsize: 14300
[startup+860.071 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12350
Raw data (stat): 12350 (bsolo_lpr-v2) R 12349 25568 25567 0 -1 0 2799 0 0 0 85914 118 0 0 25 0 1 0 891954072 14643200 2717 4294967295 134512640 134716908 3221224560 3221223312 134592393 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3575 2717 1111 63 0 3512 0
vsize: 14300
[startup+870.072 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12350
Raw data (stat): 12350 (bsolo_lpr-v2) R 12349 25568 25567 0 -1 0 2799 0 0 0 86913 119 0 0 25 0 1 0 891954072 14643200 2717 4294967295 134512640 134716908 3221224560 3221223344 134529177 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3575 2717 1111 63 0 3512 0
vsize: 14300
[startup+880.072 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12350
Raw data (stat): 12350 (bsolo_lpr-v2) R 12349 25568 25567 0 -1 0 2799 0 0 0 87913 120 0 0 25 0 1 0 891954072 14643200 2717 4294967295 134512640 134716908 3221224560 3221223168 134549313 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3575 2717 1111 63 0 3512 0
vsize: 14300
[startup+890.073 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12350
Raw data (stat): 12350 (bsolo_lpr-v2) R 12349 25568 25567 0 -1 0 2799 0 0 0 88912 121 0 0 25 0 1 0 891954072 14643200 2717 4294967295 134512640 134716908 3221224560 3221223168 134549313 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3575 2717 1111 63 0 3512 0
vsize: 14300
[startup+900.074 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12350
Raw data (stat): 12350 (bsolo_lpr-v2) R 12349 25568 25567 0 -1 0 2799 0 0 0 89911 122 0 0 25 0 1 0 891954072 14643200 2717 4294967295 134512640 134716908 3221224560 3221223200 134698450 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3575 2717 1111 63 0 3512 0
vsize: 14300
[startup+910.074 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12350
Raw data (stat): 12350 (bsolo_lpr-v2) R 12349 25568 25567 0 -1 0 2799 0 0 0 90911 123 0 0 25 0 1 0 891954072 14643200 2717 4294967295 134512640 134716908 3221224560 3221223344 134529237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3575 2717 1111 63 0 3512 0
vsize: 14300
[startup+920.075 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12350
Raw data (stat): 12350 (bsolo_lpr-v2) R 12349 25568 25567 0 -1 0 2801 0 0 0 91910 125 0 0 25 0 1 0 891954072 14643200 2719 4294967295 134512640 134716908 3221224560 3221223392 134551460 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3575 2719 1111 63 0 3512 0
vsize: 14300
[startup+930.076 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12350
Raw data (stat): 12350 (bsolo_lpr-v2) R 12349 25568 25567 0 -1 0 2801 0 0 0 92909 126 0 0 25 0 1 0 891954072 14643200 2719 4294967295 134512640 134716908 3221224560 3221223296 134558535 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3575 2719 1111 63 0 3512 0
vsize: 14300
[startup+940.076 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12350
Raw data (stat): 12350 (bsolo_lpr-v2) R 12349 25568 25567 0 -1 0 2801 0 0 0 93908 127 0 0 25 0 1 0 891954072 14643200 2719 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3575 2719 1111 63 0 3512 0
vsize: 14300
[startup+950.076 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12350
Raw data (stat): 12350 (bsolo_lpr-v2) R 12349 25568 25567 0 -1 0 2808 0 0 0 94907 129 0 0 25 0 1 0 891954072 14643200 2726 4294967295 134512640 134716908 3221224560 3221223168 134549305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3575 2726 1111 63 0 3512 0
vsize: 14300
[startup+960.077 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12350
Raw data (stat): 12350 (bsolo_lpr-v2) R 12349 25568 25567 0 -1 0 2841 0 0 0 95906 130 0 0 25 0 1 0 891954072 14766080 2759 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3605 2759 1111 63 0 3542 0
vsize: 14420
[startup+970.077 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12350
Raw data (stat): 12350 (bsolo_lpr-v2) R 12349 25568 25567 0 -1 0 2841 0 0 0 96905 131 0 0 25 0 1 0 891954072 14766080 2759 4294967295 134512640 134716908 3221224560 3221223032 1077377398 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3605 2759 1111 63 0 3542 0
vsize: 14420
[startup+980.077 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12350
Raw data (stat): 12350 (bsolo_lpr-v2) R 12349 25568 25567 0 -1 0 2841 0 0 0 97905 132 0 0 25 0 1 0 891954072 14766080 2759 4294967295 134512640 134716908 3221224560 3221222956 1077379843 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3605 2759 1111 63 0 3542 0
vsize: 14420
[startup+990.079 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12350
Raw data (stat): 12350 (bsolo_lpr-v2) R 12349 25568 25567 0 -1 0 2841 0 0 0 98904 133 0 0 25 0 1 0 891954072 14766080 2759 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3605 2759 1111 63 0 3542 0
vsize: 14420
[startup+1000.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12350
Raw data (stat): 12350 (bsolo_lpr-v2) R 12349 25568 25567 0 -1 0 2846 0 0 0 99903 135 0 0 25 0 1 0 891954072 14766080 2764 4294967295 134512640 134716908 3221224560 3221223200 134698453 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3605 2764 1111 63 0 3542 0
vsize: 14420
[startup+1010.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12350
Raw data (stat): 12350 (bsolo_lpr-v2) R 12349 25568 25567 0 -1 0 2846 0 0 0 100901 136 0 0 25 0 1 0 891954072 14766080 2764 4294967295 134512640 134716908 3221224560 3221223152 134549809 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3605 2764 1111 63 0 3542 0
vsize: 14420
[startup+1020.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12350
Raw data (stat): 12350 (bsolo_lpr-v2) R 12349 25568 25567 0 -1 0 2846 0 0 0 101901 137 0 0 25 0 1 0 891954072 14766080 2764 4294967295 134512640 134716908 3221224560 3221223120 134552038 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3605 2764 1111 63 0 3542 0
vsize: 14420
[startup+1030.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12350
Raw data (stat): 12350 (bsolo_lpr-v2) R 12349 25568 25567 0 -1 0 2846 0 0 0 102900 139 0 0 25 0 1 0 891954072 14766080 2764 4294967295 134512640 134716908 3221224560 3221223196 134552682 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3605 2764 1111 63 0 3542 0
vsize: 14420
[startup+1040.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12350
Raw data (stat): 12350 (bsolo_lpr-v2) R 12349 25568 25567 0 -1 0 2857 0 0 0 103899 140 0 0 25 0 1 0 891954072 14880768 2775 4294967295 134512640 134716908 3221224560 3221223168 134549305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3633 2775 1111 63 0 3570 0
vsize: 14532
[startup+1050.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12350
Raw data (stat): 12350 (bsolo_lpr-v2) R 12349 25568 25567 0 -1 0 2874 0 0 0 104898 141 0 0 25 0 1 0 891954072 14880768 2792 4294967295 134512640 134716908 3221224560 3221223304 134675312 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3633 2792 1111 63 0 3570 0
vsize: 14532
[startup+1060.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12350
Raw data (stat): 12350 (bsolo_lpr-v2) R 12349 25568 25567 0 -1 0 2889 0 0 0 105897 142 0 0 25 0 1 0 891954072 15015936 2807 4294967295 134512640 134716908 3221224560 3221223244 134523848 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3666 2807 1111 63 0 3603 0
vsize: 14664
[startup+1070.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12350
Raw data (stat): 12350 (bsolo_lpr-v2) R 12349 25568 25567 0 -1 0 2893 0 0 0 106896 144 0 0 25 0 1 0 891954072 15015936 2811 4294967295 134512640 134716908 3221224560 3221223108 134698782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3666 2811 1111 63 0 3603 0
vsize: 14664
[startup+1080.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12350
Raw data (stat): 12350 (bsolo_lpr-v2) R 12349 25568 25567 0 -1 0 2893 0 0 0 107896 145 0 0 25 0 1 0 891954072 14954496 2811 4294967295 134512640 134716908 3221224560 3221223168 134549318 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3651 2811 1111 63 0 3588 0
vsize: 14604
[startup+1090.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12350
Raw data (stat): 12350 (bsolo_lpr-v2) R 12349 25568 25567 0 -1 0 2894 0 0 0 108895 146 0 0 25 0 1 0 891954072 14954496 2812 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3651 2812 1111 63 0 3588 0
vsize: 14604
[startup+1100.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12350
Raw data (stat): 12350 (bsolo_lpr-v2) R 12349 25568 25567 0 -1 0 2894 0 0 0 109895 147 0 0 25 0 1 0 891954072 14954496 2812 4294967295 134512640 134716908 3221224560 3221223320 134592427 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3651 2812 1111 63 0 3588 0
vsize: 14604
[startup+1110.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12350
Raw data (stat): 12350 (bsolo_lpr-v2) R 12349 25568 25567 0 -1 0 2896 0 0 0 110894 148 0 0 25 0 1 0 891954072 14954496 2814 4294967295 134512640 134716908 3221224560 3221223184 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3651 2814 1111 63 0 3588 0
vsize: 14604
[startup+1120.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12350
Raw data (stat): 12350 (bsolo_lpr-v2) R 12349 25568 25567 0 -1 0 2918 0 0 0 111893 149 0 0 25 0 1 0 891954072 15089664 2836 4294967295 134512640 134716908 3221224560 3221223224 134543638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3684 2836 1111 63 0 3621 0
vsize: 14736
[startup+1130.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12350
Raw data (stat): 12350 (bsolo_lpr-v2) R 12349 25568 25567 0 -1 0 2918 0 0 0 112892 150 0 0 25 0 1 0 891954072 15089664 2836 4294967295 134512640 134716908 3221224560 3221223200 134613470 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3684 2836 1111 63 0 3621 0
vsize: 14736
[startup+1140.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12350
Raw data (stat): 12350 (bsolo_lpr-v2) R 12349 25568 25567 0 -1 0 2918 0 0 0 113891 152 0 0 25 0 1 0 891954072 15089664 2836 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3684 2836 1111 63 0 3621 0
vsize: 14736
[startup+1150.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12350
Raw data (stat): 12350 (bsolo_lpr-v2) R 12349 25568 25567 0 -1 0 2918 0 0 0 114891 153 0 0 25 0 1 0 891954072 15089664 2836 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3684 2836 1111 63 0 3621 0
vsize: 14736
[startup+1160.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12350
Raw data (stat): 12350 (bsolo_lpr-v2) R 12349 25568 25567 0 -1 0 2918 0 0 0 115890 154 0 0 25 0 1 0 891954072 15089664 2836 4294967295 134512640 134716908 3221224560 3221222956 1077379956 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3684 2836 1111 63 0 3621 0
vsize: 14736
[startup+1170.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12350
Raw data (stat): 12350 (bsolo_lpr-v2) R 12349 25568 25567 0 -1 0 2933 0 0 0 116889 156 0 0 25 0 1 0 891954072 15224832 2851 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3717 2851 1111 63 0 3654 0
vsize: 14868
[startup+1174.67 s]
Raw data (loadavg): 1.00 1.00 0.93 1/53 12350
Raw data (stat): 12350 (bsolo_lpr-v2) R 12349 25568 25567 0 -1 0 2933 0 0 0 116889 156 0 0 25 0 1 0 891954072 15224832 2851 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3717 2851 1111 63 0 3654 0
vsize: 0

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