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_55_pb.cnf.cr.opb
MD5SUM	88aaed929c30a489c8806c3852596de3
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	56
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.173973
Number of variables	5500
Total number of constraints	210
Number of constraints which are clauses	110
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	55
Trace number 39399

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-07 08:02:34 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27463 boxname=wulflinc1 idbench=21 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  88aaed929c30a489c8806c3852596de3  /oldhome/oroussel/tmp/wulflinc1/normalized-chnl50_55_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-chnl50_55_pb.cnf.cr.opb
IDLAUNCH: 27463
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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.053
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:        293860 kB
Buffers:         34420 kB
Cached:         681088 kB
SwapCached:        668 kB
Active:          70812 kB
Inactive:       646948 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        293608 kB
SwapTotal:     2097136 kB
SwapFree:      2095384 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5840 kB
Slab:            17292 kB
Committed_AS:    92720 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 08:22:09 (client local time) WITH STATUS 0 IN 1175.01 SECONDS
stats: 27463 7 1175.01 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 5500 variables and 210 constraints.
c After prepocess the problem consists of 5500 variables and 210 constraints.
c preprocess terminated 2.729 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/55 3770
Raw data (stat): 3770 (runsolver) R 3769 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 834541945 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.0002 s]
Raw data (loadavg): 0.93 0.95 0.90 2/55 3770
Raw data (stat): 3770 (bsolo_lpr-v2) R 3769 8378 8377 0 -1 0 1962 0 0 0 992 5 0 0 25 0 1 0 834541945 11304960 1880 4294967295 134512640 134716908 3221224576 3221223216 134698453 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2760 1880 1111 63 0 2697 0
vsize: 11040
[startup+20 s]
Raw data (loadavg): 0.94 0.96 0.91 2/55 3770
Raw data (stat): 3770 (bsolo_lpr-v2) R 3769 8378 8377 0 -1 0 1983 0 0 0 1990 7 0 0 25 0 1 0 834541945 11440128 1901 4294967295 134512640 134716908 3221224576 3221223216 134698481 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2793 1901 1111 63 0 2730 0
vsize: 11172
[startup+30.0008 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 3770
Raw data (stat): 3770 (bsolo_lpr-v2) R 3769 8378 8377 0 -1 0 2004 0 0 0 2988 9 0 0 25 0 1 0 834541945 11440128 1922 4294967295 134512640 134716908 3221224576 3221223332 134592437 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2793 1922 1111 63 0 2730 0
vsize: 11172
[startup+40.0006 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 3770
Raw data (stat): 3770 (bsolo_lpr-v2) R 3769 8378 8377 0 -1 0 2005 0 0 0 3986 11 0 0 25 0 1 0 834541945 11440128 1923 4294967295 134512640 134716908 3221224576 3221223344 134592516 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2793 1923 1111 63 0 2730 0
vsize: 11172
[startup+50.0013 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 3770
Raw data (stat): 3770 (bsolo_lpr-v2) R 3769 8378 8377 0 -1 0 2038 0 0 0 4985 13 0 0 25 0 1 0 834541945 11575296 1956 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2826 1956 1111 63 0 2763 0
vsize: 11304
[startup+60.0011 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 3770
Raw data (stat): 3770 (bsolo_lpr-v2) R 3769 8378 8377 0 -1 0 2038 0 0 0 5982 16 0 0 25 0 1 0 834541945 11575296 1956 4294967295 134512640 134716908 3221224576 3221223360 134529006 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2826 1956 1111 63 0 2763 0
vsize: 11304
[startup+70.0009 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 3770
Raw data (stat): 3770 (bsolo_lpr-v2) R 3769 8378 8377 0 -1 0 2052 0 0 0 6981 17 0 0 25 0 1 0 834541945 11710464 1970 4294967295 134512640 134716908 3221224576 3221223124 134698782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2859 1970 1111 63 0 2796 0
vsize: 11436
[startup+80.0017 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 3770
Raw data (stat): 3770 (bsolo_lpr-v2) R 3769 8378 8377 0 -1 0 2052 0 0 0 7980 18 0 0 25 0 1 0 834541945 11710464 1970 4294967295 134512640 134716908 3221224576 3221223284 134524392 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2859 1970 1111 63 0 2796 0
vsize: 11436
[startup+90.0014 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 3770
Raw data (stat): 3770 (bsolo_lpr-v2) R 3769 8378 8377 0 -1 0 2052 0 0 0 8978 20 0 0 25 0 1 0 834541945 11710464 1970 4294967295 134512640 134716908 3221224576 3221223248 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2859 1970 1111 63 0 2796 0
vsize: 11436
[startup+100.002 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 3770
Raw data (stat): 3770 (bsolo_lpr-v2) R 3769 8378 8377 0 -1 0 2063 0 0 0 9977 21 0 0 25 0 1 0 834541945 11710464 1981 4294967295 134512640 134716908 3221224576 3221223312 134535829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2859 1981 1111 63 0 2796 0
vsize: 11436
[startup+110.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 3770
Raw data (stat): 3770 (bsolo_lpr-v2) R 3769 8378 8377 0 -1 0 2063 0 0 0 10976 23 0 0 25 0 1 0 834541945 11710464 1981 4294967295 134512640 134716908 3221224576 3221223204 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2859 1981 1111 63 0 2796 0
vsize: 11436
[startup+120.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3770
Raw data (stat): 3770 (bsolo_lpr-v2) R 3769 8378 8377 0 -1 0 2072 0 0 0 11974 25 0 0 25 0 1 0 834541945 11710464 1990 4294967295 134512640 134716908 3221224576 3221223280 134528410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2859 1990 1111 63 0 2796 0
vsize: 11436
[startup+130.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3770
Raw data (stat): 3770 (bsolo_lpr-v2) R 3769 8378 8377 0 -1 0 2136 0 0 0 12971 29 0 0 25 0 1 0 834541945 11980800 2054 4294967295 134512640 134716908 3221224576 3221223204 1077374071 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2925 2054 1111 63 0 2862 0
vsize: 11700
[startup+140.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3770
Raw data (stat): 3770 (bsolo_lpr-v2) R 3769 8378 8377 0 -1 0 2175 0 0 0 13968 31 0 0 25 0 1 0 834541945 12115968 2093 4294967295 134512640 134716908 3221224576 3221223384 134558582 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2958 2093 1111 63 0 2895 0
vsize: 11832
[startup+150.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3770
Raw data (stat): 3770 (bsolo_lpr-v2) R 3769 8378 8377 0 -1 0 2175 0 0 0 14967 33 0 0 25 0 1 0 834541945 12115968 2093 4294967295 134512640 134716908 3221224576 3221223344 134529281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2958 2093 1111 63 0 2895 0
vsize: 11832
[startup+160.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3770
Raw data (stat): 3770 (bsolo_lpr-v2) R 3769 8378 8377 0 -1 0 2177 0 0 0 15965 35 0 0 25 0 1 0 834541945 12115968 2095 4294967295 134512640 134716908 3221224576 3221223232 134536614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2958 2095 1111 63 0 2895 0
vsize: 11832
[startup+170.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3770
Raw data (stat): 3770 (bsolo_lpr-v2) R 3769 8378 8377 0 -1 0 2196 0 0 0 16964 36 0 0 25 0 1 0 834541945 12251136 2114 4294967295 134512640 134716908 3221224576 3221223296 134535757 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2991 2114 1111 63 0 2928 0
vsize: 11964
[startup+180.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3770
Raw data (stat): 3770 (bsolo_lpr-v2) R 3769 8378 8377 0 -1 0 2196 0 0 0 17963 37 0 0 25 0 1 0 834541945 12251136 2114 4294967295 134512640 134716908 3221224576 3221223136 134698917 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2991 2114 1111 63 0 2928 0
vsize: 11964
[startup+190.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3770
Raw data (stat): 3770 (bsolo_lpr-v2) R 3769 8378 8377 0 -1 0 2224 0 0 0 18961 39 0 0 25 0 1 0 834541945 12386304 2142 4294967295 134512640 134716908 3221224576 3221223344 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3024 2142 1111 63 0 2961 0
vsize: 12096
[startup+200.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3770 (bsolo_lpr-v2) R 3769 8378 8377 0 -1 0 2224 0 0 0 19958 42 0 0 25 0 1 0 834541945 12386304 2142 4294967295 134512640 134716908 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3024 2142 1111 63 0 2961 0
vsize: 12096
[startup+210.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3770 (bsolo_lpr-v2) R 3769 8378 8377 0 -1 0 2224 0 0 0 20957 43 0 0 25 0 1 0 834541945 12386304 2142 4294967295 134512640 134716908 3221224576 3221223264 134594343 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3024 2142 1111 63 0 2961 0
vsize: 12096
[startup+220.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3770 (bsolo_lpr-v2) R 3769 8378 8377 0 -1 0 2224 0 0 0 21955 45 0 0 25 0 1 0 834541945 12386304 2142 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3024 2142 1111 63 0 2961 0
vsize: 12096
[startup+230.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3770 (bsolo_lpr-v2) R 3769 8378 8377 0 -1 0 2224 0 0 0 22953 47 0 0 25 0 1 0 834541945 12386304 2142 4294967295 134512640 134716908 3221224576 3221223184 134549497 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3024 2142 1111 63 0 2961 0
vsize: 12096
[startup+240.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3770 (bsolo_lpr-v2) R 3769 8378 8377 0 -1 0 2224 0 0 0 23952 49 0 0 25 0 1 0 834541945 12386304 2142 4294967295 134512640 134716908 3221224576 3221223408 134551454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3024 2142 1111 63 0 2961 0
vsize: 12096
[startup+250.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3770 (bsolo_lpr-v2) R 3769 8378 8377 0 -1 0 2226 0 0 0 24950 51 0 0 25 0 1 0 834541945 12386304 2144 4294967295 134512640 134716908 3221224576 3221223184 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3024 2144 1111 63 0 2961 0
vsize: 12096
[startup+260.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3770 (bsolo_lpr-v2) R 3769 8378 8377 0 -1 0 2244 0 0 0 25948 53 0 0 25 0 1 0 834541945 12521472 2162 4294967295 134512640 134716908 3221224576 3221223216 134698445 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3057 2162 1111 63 0 2994 0
vsize: 12228
[startup+270.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3770 (bsolo_lpr-v2) R 3769 8378 8377 0 -1 0 2245 0 0 0 26947 54 0 0 25 0 1 0 834541945 12517376 2163 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3056 2163 1111 63 0 2993 0
vsize: 12224
[startup+280.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3770 (bsolo_lpr-v2) R 3769 8378 8377 0 -1 0 2253 0 0 0 27945 56 0 0 25 0 1 0 834541945 12517376 2171 4294967295 134512640 134716908 3221224576 3221223184 134549334 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3056 2171 1111 63 0 2993 0
vsize: 12224
[startup+290.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3770 (bsolo_lpr-v2) R 3769 8378 8377 0 -1 0 2253 0 0 0 28943 58 0 0 25 0 1 0 834541945 12517376 2171 4294967295 134512640 134716908 3221224576 3221223344 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3056 2171 1111 63 0 2993 0
vsize: 12224
[startup+300.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3770 (bsolo_lpr-v2) R 3769 8378 8377 0 -1 0 2259 0 0 0 29942 60 0 0 25 0 1 0 834541945 12517376 2177 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3056 2177 1111 63 0 2993 0
vsize: 12224
[startup+310.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3770 (bsolo_lpr-v2) R 3769 8378 8377 0 -1 0 2259 0 0 0 30940 62 0 0 25 0 1 0 834541945 12517376 2177 4294967295 134512640 134716908 3221224576 3221223344 134587964 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3056 2177 1111 63 0 2993 0
vsize: 12224
[startup+320.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3770 (bsolo_lpr-v2) R 3769 8378 8377 0 -1 0 2259 0 0 0 31938 64 0 0 25 0 1 0 834541945 12517376 2177 4294967295 134512640 134716908 3221224576 3221223152 134549807 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3056 2177 1111 63 0 2993 0
vsize: 12224
[startup+330.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3770 (bsolo_lpr-v2) R 3769 8378 8377 0 -1 0 2268 0 0 0 32937 65 0 0 25 0 1 0 834541945 12517376 2186 4294967295 134512640 134716908 3221224576 3221223184 134549457 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3056 2186 1111 63 0 2993 0
vsize: 12224
[startup+340.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3770 (bsolo_lpr-v2) R 3769 8378 8377 0 -1 0 2268 0 0 0 33937 66 0 0 25 0 1 0 834541945 12517376 2186 4294967295 134512640 134716908 3221224576 3221223360 134529126 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3056 2186 1111 63 0 2993 0
vsize: 12224
[startup+350.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3770 (bsolo_lpr-v2) R 3769 8378 8377 0 -1 0 2272 0 0 0 34936 66 0 0 25 0 1 0 834541945 12517376 2190 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3056 2190 1111 63 0 2993 0
vsize: 12224
[startup+360.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3770 (bsolo_lpr-v2) R 3769 8378 8377 0 -1 0 2274 0 0 0 35935 68 0 0 25 0 1 0 834541945 12517376 2192 4294967295 134512640 134716908 3221224576 3221223392 134590271 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3056 2192 1111 63 0 2993 0
vsize: 12224
[startup+370.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3770 (bsolo_lpr-v2) R 3769 8378 8377 0 -1 0 2281 0 0 0 36934 69 0 0 25 0 1 0 834541945 12652544 2199 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3089 2199 1111 63 0 3026 0
vsize: 12356
[startup+380.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3770 (bsolo_lpr-v2) R 3769 8378 8377 0 -1 0 2284 0 0 0 37933 71 0 0 25 0 1 0 834541945 12652544 2202 4294967295 134512640 134716908 3221224576 3221223184 134549335 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3089 2202 1111 63 0 3026 0
vsize: 12356
[startup+390.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3770 (bsolo_lpr-v2) R 3769 8378 8377 0 -1 0 2307 0 0 0 38932 71 0 0 25 0 1 0 834541945 12652544 2225 4294967295 134512640 134716908 3221224576 3221223184 134549313 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3089 2225 1111 63 0 3026 0
vsize: 12356
[startup+400.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3770 (bsolo_lpr-v2) R 3769 8378 8377 0 -1 0 2307 0 0 0 39930 74 0 0 25 0 1 0 834541945 12652544 2225 4294967295 134512640 134716908 3221224576 3221223256 134552650 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3089 2225 1111 63 0 3026 0
vsize: 12356
[startup+410.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3770 (bsolo_lpr-v2) R 3769 8378 8377 0 -1 0 2307 0 0 0 40928 75 0 0 25 0 1 0 834541945 12652544 2225 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3089 2225 1111 63 0 3026 0
vsize: 12356
[startup+420.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3770 (bsolo_lpr-v2) R 3769 8378 8377 0 -1 0 2307 0 0 0 41927 76 0 0 25 0 1 0 834541945 12652544 2225 4294967295 134512640 134716908 3221224576 3221223344 134592119 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3089 2225 1111 63 0 3026 0
vsize: 12356
[startup+430.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3770 (bsolo_lpr-v2) R 3769 8378 8377 0 -1 0 2323 0 0 0 42926 78 0 0 25 0 1 0 834541945 12787712 2241 4294967295 134512640 134716908 3221224576 3221223184 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3122 2241 1111 63 0 3059 0
vsize: 12488
[startup+440.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3770 (bsolo_lpr-v2) R 3769 8378 8377 0 -1 0 2385 0 0 0 43925 79 0 0 25 0 1 0 834541945 13058048 2303 4294967295 134512640 134716908 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3188 2303 1111 63 0 3125 0
vsize: 12752
[startup+450.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3770 (bsolo_lpr-v2) R 3769 8378 8377 0 -1 0 2424 0 0 0 44924 81 0 0 25 0 1 0 834541945 13168640 2342 4294967295 134512640 134716908 3221224576 3221223328 134592388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3215 2342 1111 63 0 3152 0
vsize: 12860
[startup+460.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3770 (bsolo_lpr-v2) R 3769 8378 8377 0 -1 0 2467 0 0 0 45922 82 0 0 25 0 1 0 834541945 13303808 2385 4294967295 134512640 134716908 3221224576 3221223232 134536643 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3248 2385 1111 63 0 3185 0
vsize: 12992
[startup+470.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3770 (bsolo_lpr-v2) R 3769 8378 8377 0 -1 0 2496 0 0 0 46922 83 0 0 25 0 1 0 834541945 13438976 2414 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3281 2414 1111 63 0 3218 0
vsize: 13124
[startup+480.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3770 (bsolo_lpr-v2) R 3769 8378 8377 0 -1 0 2517 0 0 0 47920 84 0 0 25 0 1 0 834541945 13561856 2435 4294967295 134512640 134716908 3221224576 3221223216 134698462 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3311 2435 1111 63 0 3248 0
vsize: 13244
[startup+490.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3770 (bsolo_lpr-v2) R 3769 8378 8377 0 -1 0 2517 0 0 0 48920 85 0 0 25 0 1 0 834541945 13561856 2435 4294967295 134512640 134716908 3221224576 3221223340 134552548 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3311 2435 1111 63 0 3248 0
vsize: 13244
[startup+500.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3770 (bsolo_lpr-v2) R 3769 8378 8377 0 -1 0 2534 0 0 0 49919 86 0 0 25 0 1 0 834541945 13697024 2452 4294967295 134512640 134716908 3221224576 3221223344 134592320 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3344 2452 1111 63 0 3281 0
vsize: 13376
[startup+510.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3770 (bsolo_lpr-v2) R 3769 8378 8377 0 -1 0 2540 0 0 0 50917 88 0 0 25 0 1 0 834541945 13697024 2458 4294967295 134512640 134716908 3221224576 3221223300 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3344 2458 1111 63 0 3281 0
vsize: 13376
[startup+520.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3770 (bsolo_lpr-v2) R 3769 8378 8377 0 -1 0 2564 0 0 0 51917 89 0 0 25 0 1 0 834541945 13832192 2482 4294967295 134512640 134716908 3221224576 3221223332 134592437 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3377 2482 1111 63 0 3314 0
vsize: 13508
[startup+530.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3770 (bsolo_lpr-v2) R 3769 8378 8377 0 -1 0 2564 0 0 0 52916 90 0 0 25 0 1 0 834541945 13832192 2482 4294967295 134512640 134716908 3221224576 3221223324 134558476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3377 2482 1111 63 0 3314 0
vsize: 13508
[startup+540.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3770 (bsolo_lpr-v2) R 3769 8378 8377 0 -1 0 2564 0 0 0 53914 92 0 0 25 0 1 0 834541945 13832192 2482 4294967295 134512640 134716908 3221224576 3221223216 134698743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3377 2482 1111 63 0 3314 0
vsize: 13508
[startup+550.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3770 (bsolo_lpr-v2) R 3769 8378 8377 0 -1 0 2583 0 0 0 54912 94 0 0 25 0 1 0 834541945 13832192 2501 4294967295 134512640 134716908 3221224576 3221222580 134699567 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3377 2501 1111 63 0 3314 0
vsize: 13508
[startup+560.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3770 (bsolo_lpr-v2) R 3769 8378 8377 0 -1 0 2583 0 0 0 55912 95 0 0 25 0 1 0 834541945 13832192 2501 4294967295 134512640 134716908 3221224576 3221223156 1077378623 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3377 2501 1111 63 0 3314 0
vsize: 13508
[startup+570.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3770 (bsolo_lpr-v2) R 3769 8378 8377 0 -1 0 2598 0 0 0 56911 96 0 0 25 0 1 0 834541945 13967360 2516 4294967295 134512640 134716908 3221224576 3221223216 134698416 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3410 2516 1111 63 0 3347 0
vsize: 13640
[startup+580.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3770 (bsolo_lpr-v2) R 3769 8378 8377 0 -1 0 2603 0 0 0 57910 97 0 0 25 0 1 0 834541945 13942784 2521 4294967295 134512640 134716908 3221224576 3221223184 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3404 2521 1111 63 0 3341 0
vsize: 13616
[startup+590.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3770 (bsolo_lpr-v2) R 3769 8378 8377 0 -1 0 2615 0 0 0 58909 98 0 0 25 0 1 0 834541945 13942784 2533 4294967295 134512640 134716908 3221224576 3221223336 134592433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3404 2533 1111 63 0 3341 0
vsize: 13616
[startup+600.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3770 (bsolo_lpr-v2) R 3769 8378 8377 0 -1 0 2626 0 0 0 59908 98 0 0 25 0 1 0 834541945 14077952 2544 4294967295 134512640 134716908 3221224576 3221222972 1077379860 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3437 2544 1111 63 0 3374 0
vsize: 13748
[startup+610.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3770 (bsolo_lpr-v2) R 3769 8378 8377 0 -1 0 2645 0 0 0 60907 100 0 0 25 0 1 0 834541945 14077952 2563 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3437 2563 1111 63 0 3374 0
vsize: 13748
[startup+620.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3770 (bsolo_lpr-v2) R 3769 8378 8377 0 -1 0 2666 0 0 0 61906 101 0 0 25 0 1 0 834541945 14213120 2584 4294967295 134512640 134716908 3221224576 3221223252 134551958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3470 2584 1111 63 0 3407 0
vsize: 13880
[startup+630.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3770 (bsolo_lpr-v2) R 3769 8378 8377 0 -1 0 2666 0 0 0 62905 103 0 0 25 0 1 0 834541945 14213120 2584 4294967295 134512640 134716908 3221224576 3221223184 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3470 2584 1111 63 0 3407 0
vsize: 13880
[startup+640.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3770 (bsolo_lpr-v2) R 3769 8378 8377 0 -1 0 2666 0 0 0 63904 103 0 0 25 0 1 0 834541945 14213120 2584 4294967295 134512640 134716908 3221224576 3221223136 134551995 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3470 2584 1111 63 0 3407 0
vsize: 13880
[startup+650.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3770 (bsolo_lpr-v2) R 3769 8378 8377 0 -1 0 2666 0 0 0 64903 105 0 0 25 0 1 0 834541945 14213120 2584 4294967295 134512640 134716908 3221224576 3221223184 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3470 2584 1111 63 0 3407 0
vsize: 13880
[startup+660.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3770 (bsolo_lpr-v2) R 3769 8378 8377 0 -1 0 2666 0 0 0 65902 106 0 0 25 0 1 0 834541945 14213120 2584 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3470 2584 1111 63 0 3407 0
vsize: 13880
[startup+670.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3770 (bsolo_lpr-v2) R 3769 8378 8377 0 -1 0 2666 0 0 0 66901 107 0 0 25 0 1 0 834541945 14213120 2584 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3470 2584 1111 63 0 3407 0
vsize: 13880
[startup+680.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3770 (bsolo_lpr-v2) R 3769 8378 8377 0 -1 0 2677 0 0 0 67901 108 0 0 25 0 1 0 834541945 14213120 2595 4294967295 134512640 134716908 3221224576 3221223152 134542303 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3470 2595 1111 63 0 3407 0
vsize: 13880
[startup+690.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3770 (bsolo_lpr-v2) R 3769 8378 8377 0 -1 0 2677 0 0 0 68899 109 0 0 25 0 1 0 834541945 14213120 2595 4294967295 134512640 134716908 3221224576 3221223312 134535742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3470 2595 1111 63 0 3407 0
vsize: 13880
[startup+700.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3770 (bsolo_lpr-v2) R 3769 8378 8377 0 -1 0 2678 0 0 0 69898 111 0 0 25 0 1 0 834541945 14213120 2596 4294967295 134512640 134716908 3221224576 3221223136 134698951 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3470 2596 1111 63 0 3407 0
vsize: 13880
[startup+710.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3770 (bsolo_lpr-v2) R 3769 8378 8377 0 -1 0 2678 0 0 0 70897 112 0 0 25 0 1 0 834541945 14213120 2596 4294967295 134512640 134716908 3221224576 3221223136 134698945 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3470 2596 1111 63 0 3407 0
vsize: 13880
[startup+720.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3770 (bsolo_lpr-v2) R 3769 8378 8377 0 -1 0 2680 0 0 0 71896 113 0 0 25 0 1 0 834541945 14213120 2598 4294967295 134512640 134716908 3221224576 3221223184 134549474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3470 2598 1111 63 0 3407 0
vsize: 13880
[startup+730.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3770 (bsolo_lpr-v2) R 3769 8378 8377 0 -1 0 2706 0 0 0 72895 114 0 0 25 0 1 0 834541945 14348288 2624 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3503 2624 1111 63 0 3440 0
vsize: 14012
[startup+740.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3770 (bsolo_lpr-v2) R 3769 8378 8377 0 -1 0 2706 0 0 0 73895 115 0 0 25 0 1 0 834541945 14348288 2624 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3503 2624 1111 63 0 3440 0
vsize: 14012
[startup+750.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3770 (bsolo_lpr-v2) R 3769 8378 8377 0 -1 0 2716 0 0 0 74894 116 0 0 25 0 1 0 834541945 14348288 2634 4294967295 134512640 134716908 3221224576 3221223052 134613972 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3503 2634 1111 63 0 3440 0
vsize: 14012
[startup+760.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3770 (bsolo_lpr-v2) R 3769 8378 8377 0 -1 0 2716 0 0 0 75893 117 0 0 25 0 1 0 834541945 14348288 2634 4294967295 134512640 134716908 3221224576 3221223232 134524137 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3503 2634 1111 63 0 3440 0
vsize: 14012
[startup+770.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3770 (bsolo_lpr-v2) R 3769 8378 8377 0 -1 0 2728 0 0 0 76891 119 0 0 25 0 1 0 834541945 14483456 2646 4294967295 134512640 134716908 3221224576 3221223184 134549282 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3536 2646 1111 63 0 3473 0
vsize: 14144
[startup+780.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3770 (bsolo_lpr-v2) R 3769 8378 8377 0 -1 0 2754 0 0 0 77890 120 0 0 25 0 1 0 834541945 14483456 2672 4294967295 134512640 134716908 3221224576 3221223324 134558496 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3536 2672 1111 63 0 3473 0
vsize: 14144
[startup+790.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3770 (bsolo_lpr-v2) R 3769 8378 8377 0 -1 0 2764 0 0 0 78889 122 0 0 25 0 1 0 834541945 14618624 2682 4294967295 134512640 134716908 3221224576 3221223216 134698484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3569 2682 1111 63 0 3506 0
vsize: 14276
[startup+800.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3770 (bsolo_lpr-v2) R 3769 8378 8377 0 -1 0 2779 0 0 0 79888 123 0 0 25 0 1 0 834541945 14618624 2697 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3569 2697 1111 63 0 3506 0
vsize: 14276
[startup+810.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3770 (bsolo_lpr-v2) R 3769 8378 8377 0 -1 0 2780 0 0 0 80887 124 0 0 25 0 1 0 834541945 14618624 2698 4294967295 134512640 134716908 3221224576 3221223216 134698487 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3569 2698 1111 63 0 3506 0
vsize: 14276
[startup+820.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3770 (bsolo_lpr-v2) R 3769 8378 8377 0 -1 0 2787 0 0 0 81886 125 0 0 25 0 1 0 834541945 14618624 2705 4294967295 134512640 134716908 3221224576 3221223136 134698929 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3569 2705 1111 63 0 3506 0
vsize: 14276
[startup+830.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3770 (bsolo_lpr-v2) R 3769 8378 8377 0 -1 0 2787 0 0 0 82885 126 0 0 25 0 1 0 834541945 14618624 2705 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3569 2705 1111 63 0 3506 0
vsize: 14276
[startup+840.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3770 (bsolo_lpr-v2) R 3769 8378 8377 0 -1 0 2787 0 0 0 83884 128 0 0 25 0 1 0 834541945 14618624 2705 4294967295 134512640 134716908 3221224576 3221223360 134528943 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3569 2705 1111 63 0 3506 0
vsize: 14276
[startup+850.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3770 (bsolo_lpr-v2) R 3769 8378 8377 0 -1 0 2787 0 0 0 84882 130 0 0 25 0 1 0 834541945 14618624 2705 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3569 2705 1111 63 0 3506 0
vsize: 14276
[startup+860.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3770 (bsolo_lpr-v2) R 3769 8378 8377 0 -1 0 2787 0 0 0 85881 131 0 0 25 0 1 0 834541945 14618624 2705 4294967295 134512640 134716908 3221224576 3221223344 134592119 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3569 2705 1111 63 0 3506 0
vsize: 14276
[startup+870.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3770 (bsolo_lpr-v2) R 3769 8378 8377 0 -1 0 2787 0 0 0 86880 132 0 0 25 0 1 0 834541945 14618624 2705 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3569 2705 1111 63 0 3506 0
vsize: 14276
[startup+880.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3770 (bsolo_lpr-v2) R 3769 8378 8377 0 -1 0 2787 0 0 0 87878 134 0 0 25 0 1 0 834541945 14618624 2705 4294967295 134512640 134716908 3221224576 3221223184 134549474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3569 2705 1111 63 0 3506 0
vsize: 14276
[startup+890.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3770 (bsolo_lpr-v2) R 3769 8378 8377 0 -1 0 2789 0 0 0 88877 135 0 0 25 0 1 0 834541945 14753792 2707 4294967295 134512640 134716908 3221224576 3221223168 134549541 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3602 2707 1111 63 0 3539 0
vsize: 14408
[startup+900.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3770 (bsolo_lpr-v2) R 3769 8378 8377 0 -1 0 2803 0 0 0 89877 136 0 0 25 0 1 0 834541945 14753792 2721 4294967295 134512640 134716908 3221224576 3221222972 1077379863 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3602 2721 1111 63 0 3539 0
vsize: 14408
[startup+910.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3770 (bsolo_lpr-v2) R 3769 8378 8377 0 -1 0 2803 0 0 0 90876 137 0 0 25 0 1 0 834541945 14753792 2721 4294967295 134512640 134716908 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3602 2721 1111 63 0 3539 0
vsize: 14408
[startup+920.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3770 (bsolo_lpr-v2) R 3769 8378 8377 0 -1 0 2811 0 0 0 91875 138 0 0 25 0 1 0 834541945 14753792 2729 4294967295 134512640 134716908 3221224576 3221223184 134549305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3602 2729 1111 63 0 3539 0
vsize: 14408
[startup+930.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3770 (bsolo_lpr-v2) R 3769 8378 8377 0 -1 0 2820 0 0 0 92873 140 0 0 25 0 1 0 834541945 14753792 2738 4294967295 134512640 134716908 3221224576 3221223344 134592424 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3602 2738 1111 63 0 3539 0
vsize: 14408
[startup+940.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3770 (bsolo_lpr-v2) R 3769 8378 8377 0 -1 0 2835 0 0 0 93872 141 0 0 25 0 1 0 834541945 14888960 2753 4294967295 134512640 134716908 3221224576 3221223384 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3635 2753 1111 63 0 3572 0
vsize: 14540
[startup+950.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3770 (bsolo_lpr-v2) R 3769 8378 8377 0 -1 0 2848 0 0 0 94871 142 0 0 25 0 1 0 834541945 14888960 2766 4294967295 134512640 134716908 3221224576 3221223232 134523886 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3635 2766 1111 63 0 3572 0
vsize: 14540
[startup+960.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3770 (bsolo_lpr-v2) R 3769 8378 8377 0 -1 0 2848 0 0 0 95870 143 0 0 25 0 1 0 834541945 14888960 2766 4294967295 134512640 134716908 3221224576 3221223320 134591816 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3635 2766 1111 63 0 3572 0
vsize: 14540
[startup+970.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3770 (bsolo_lpr-v2) R 3769 8378 8377 0 -1 0 2871 0 0 0 96869 144 0 0 25 0 1 0 834541945 15020032 2789 4294967295 134512640 134716908 3221224576 3221223184 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3667 2789 1111 63 0 3604 0
vsize: 14668
[startup+980.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3770 (bsolo_lpr-v2) R 3769 8378 8377 0 -1 0 2871 0 0 0 97868 145 0 0 25 0 1 0 834541945 15020032 2789 4294967295 134512640 134716908 3221224576 3221223376 134558521 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3667 2789 1111 63 0 3604 0
vsize: 14668
[startup+990.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3770 (bsolo_lpr-v2) R 3769 8378 8377 0 -1 0 2871 0 0 0 98867 147 0 0 25 0 1 0 834541945 15020032 2789 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3667 2789 1111 63 0 3604 0
vsize: 14668
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3770 (bsolo_lpr-v2) R 3769 8378 8377 0 -1 0 2881 0 0 0 99866 148 0 0 25 0 1 0 834541945 15020032 2799 4294967295 134512640 134716908 3221224576 3221223336 134552570 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3667 2799 1111 63 0 3604 0
vsize: 14668
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3770 (bsolo_lpr-v2) R 3769 8378 8377 0 -1 0 2881 0 0 0 100866 149 0 0 25 0 1 0 834541945 15020032 2799 4294967295 134512640 134716908 3221224576 3221223344 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3667 2799 1111 63 0 3604 0
vsize: 14668
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3770 (bsolo_lpr-v2) R 3769 8378 8377 0 -1 0 2891 0 0 0 101864 150 0 0 25 0 1 0 834541945 15155200 2809 4294967295 134512640 134716908 3221224576 3221223184 134549497 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3700 2809 1111 63 0 3637 0
vsize: 14800
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3770 (bsolo_lpr-v2) R 3769 8378 8377 0 -1 0 2923 0 0 0 102863 152 0 0 25 0 1 0 834541945 15290368 2841 4294967295 134512640 134716908 3221224576 3221223344 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3733 2841 1111 63 0 3670 0
vsize: 14932
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3770 (bsolo_lpr-v2) R 3769 8378 8377 0 -1 0 2923 0 0 0 103862 153 0 0 25 0 1 0 834541945 15290368 2841 4294967295 134512640 134716908 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3733 2841 1111 63 0 3670 0
vsize: 14932
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3770 (bsolo_lpr-v2) R 3769 8378 8377 0 -1 0 2932 0 0 0 104861 154 0 0 25 0 1 0 834541945 15290368 2850 4294967295 134512640 134716908 3221224576 3221223216 134698484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3733 2850 1111 63 0 3670 0
vsize: 14932
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3770 (bsolo_lpr-v2) R 3769 8378 8377 0 -1 0 2932 0 0 0 105860 155 0 0 25 0 1 0 834541945 15290368 2850 4294967295 134512640 134716908 3221224576 3221223228 134536817 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3733 2850 1111 63 0 3670 0
vsize: 14932
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3770 (bsolo_lpr-v2) R 3769 8378 8377 0 -1 0 2932 0 0 0 106859 156 0 0 25 0 1 0 834541945 15290368 2850 4294967295 134512640 134716908 3221224576 3221223268 134528601 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3733 2850 1111 63 0 3670 0
vsize: 14932
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3770 (bsolo_lpr-v2) R 3769 8378 8377 0 -1 0 2932 0 0 0 107859 157 0 0 25 0 1 0 834541945 15290368 2850 4294967295 134512640 134716908 3221224576 3221223184 134549305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3733 2850 1111 63 0 3670 0
vsize: 14932
[startup+1090.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3770 (bsolo_lpr-v2) R 3769 8378 8377 0 -1 0 2932 0 0 0 108859 157 0 0 25 0 1 0 834541945 15290368 2850 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3733 2850 1111 63 0 3670 0
vsize: 14932
[startup+1100.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3770 (bsolo_lpr-v2) R 3769 8378 8377 0 -1 0 2932 0 0 0 109857 159 0 0 25 0 1 0 834541945 15290368 2850 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3733 2850 1111 63 0 3670 0
vsize: 14932
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3770 (bsolo_lpr-v2) R 3769 8378 8377 0 -1 0 2942 0 0 0 110855 161 0 0 25 0 1 0 834541945 15290368 2860 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3733 2860 1111 63 0 3670 0
vsize: 14932
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3770 (bsolo_lpr-v2) R 3769 8378 8377 0 -1 0 2965 0 0 0 111854 162 0 0 25 0 1 0 834541945 15409152 2883 4294967295 134512640 134716908 3221224576 3221223184 134549474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3762 2883 1111 63 0 3699 0
vsize: 15048
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3770 (bsolo_lpr-v2) R 3769 8378 8377 0 -1 0 2965 0 0 0 112853 164 0 0 25 0 1 0 834541945 15409152 2883 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3762 2883 1111 63 0 3699 0
vsize: 15048
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3770 (bsolo_lpr-v2) R 3769 8378 8377 0 -1 0 2965 0 0 0 113852 165 0 0 25 0 1 0 834541945 15409152 2883 4294967295 134512640 134716908 3221224576 3221223184 134549332 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3762 2883 1111 63 0 3699 0
vsize: 15048
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3770 (bsolo_lpr-v2) R 3769 8378 8377 0 -1 0 2966 0 0 0 114850 167 0 0 25 0 1 0 834541945 15409152 2884 4294967295 134512640 134716908 3221224576 3221223240 134536749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3762 2884 1111 63 0 3699 0
vsize: 15048
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3770 (bsolo_lpr-v2) R 3769 8378 8377 0 -1 0 2966 0 0 0 115848 169 0 0 25 0 1 0 834541945 15409152 2884 4294967295 134512640 134716908 3221224576 3221223344 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3762 2884 1111 63 0 3699 0
vsize: 15048
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3770 (bsolo_lpr-v2) R 3769 8378 8377 0 -1 0 2988 0 0 0 116848 170 0 0 25 0 1 0 834541945 15544320 2906 4294967295 134512640 134716908 3221224576 3221223184 134549313 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3795 2906 1111 63 0 3732 0
vsize: 15180
[startup+1174.85 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 3772
Raw data (stat): 3770 (bsolo_lpr-v2) R 3769 8378 8377 0 -1 0 2988 0 0 0 116848 170 0 0 25 0 1 0 834541945 15544320 2906 4294967295 134512640 134716908 3221224576 3221223184 134549313 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3795 2906 1111 63 0 3732 0
vsize: 0

Child status: 0
Real time (s): 1174.85
CPU time (s): 1175.01
CPU user time (s): 1173.3
CPU system time (s): 1.71474
CPU usage (%): 100.014
Max. virtual memory (Kb): 15180
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####