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 40571

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-08 15:04:26 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28635 boxname=wulflinc2 idbench=21 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  88aaed929c30a489c8806c3852596de3  /oldhome/oroussel/tmp/wulflinc2/normalized-chnl50_55_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-chnl50_55_pb.cnf.cr.opb
IDLAUNCH: 28635
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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.191
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:        776296 kB
Buffers:         26332 kB
Cached:         209984 kB
SwapCached:       1344 kB
Active:          33924 kB
Inactive:       204428 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        776044 kB
SwapTotal:     2097136 kB
SwapFree:      2094736 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4996 kB
Slab:            14272 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 15:24:01 (client local time) WITH STATUS 0 IN 1175.02 SECONDS
stats: 28635 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 5500 variables and 210 constraints.
c After prepocess the problem consists of 5500 variables and 210 constraints.
c preprocess terminated 2.715 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.92 0.98 0.91 1/54 11043
Raw data (stat): 11043 (runsolver) R 11042 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 902575175 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.001 s]
Raw data (loadavg): 0.93 0.98 0.91 2/54 11043
Raw data (stat): 11043 (bsolo_lpr_cuts-) R 11042 31399 31398 0 -1 0 1962 0 0 0 992 5 0 0 25 0 1 0 902575175 11304960 1880 4294967295 134512640 134716908 3221224560 3221223368 134558597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2760 1880 1111 63 0 2697 0
vsize: 11040
[startup+20.0003 s]
Raw data (loadavg): 0.94 0.98 0.91 2/54 11043
Raw data (stat): 11043 (bsolo_lpr_cuts-) R 11042 31399 31398 0 -1 0 1983 0 0 0 1990 7 0 0 25 0 1 0 902575175 11440128 1901 4294967295 134512640 134716908 3221224560 3221223308 134551608 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2793 1901 1111 63 0 2730 0
vsize: 11172
[startup+30.0013 s]
Raw data (loadavg): 0.95 0.98 0.91 2/54 11043
Raw data (stat): 11043 (bsolo_lpr_cuts-) R 11042 31399 31398 0 -1 0 2004 0 0 0 2988 9 0 0 25 0 1 0 902575175 11440128 1922 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2793 1922 1111 63 0 2730 0
vsize: 11172
[startup+40.001 s]
Raw data (loadavg): 0.96 0.98 0.91 2/54 11043
Raw data (stat): 11043 (bsolo_lpr_cuts-) R 11042 31399 31398 0 -1 0 2007 0 0 0 3988 10 0 0 25 0 1 0 902575175 11440128 1925 4294967295 134512640 134716908 3221224560 3221223168 134549318 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2793 1925 1111 63 0 2730 0
vsize: 11172
[startup+50.0014 s]
Raw data (loadavg): 0.96 0.98 0.91 2/54 11045
Raw data (stat): 11043 (bsolo_lpr_cuts-) R 11042 31399 31398 0 -1 0 2038 0 0 0 4986 11 0 0 25 0 1 0 902575175 11575296 1956 4294967295 134512640 134716908 3221224560 3221223276 134551880 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2826 1956 1111 63 0 2763 0
vsize: 11304
[startup+60.0011 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 11045
Raw data (stat): 11043 (bsolo_lpr_cuts-) R 11042 31399 31398 0 -1 0 2038 0 0 0 5986 12 0 0 25 0 1 0 902575175 11575296 1956 4294967295 134512640 134716908 3221224560 3221223128 1077377239 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2826 1956 1111 63 0 2763 0
vsize: 11304
[startup+70.0011 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 11045
Raw data (stat): 11043 (bsolo_lpr_cuts-) R 11042 31399 31398 0 -1 0 2052 0 0 0 6984 14 0 0 25 0 1 0 902575175 11710464 1970 4294967295 134512640 134716908 3221224560 3221223304 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2859 1970 1111 63 0 2796 0
vsize: 11436
[startup+80.0015 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 11045
Raw data (stat): 11043 (bsolo_lpr_cuts-) R 11042 31399 31398 0 -1 0 2052 0 0 0 7983 15 0 0 25 0 1 0 902575175 11710464 1970 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2859 1970 1111 63 0 2796 0
vsize: 11436
[startup+90.0015 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 11045
Raw data (stat): 11043 (bsolo_lpr_cuts-) R 11042 31399 31398 0 -1 0 2052 0 0 0 8981 17 0 0 25 0 1 0 902575175 11710464 1970 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2859 1970 1111 63 0 2796 0
vsize: 11436
[startup+100.002 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 11045
Raw data (stat): 11043 (bsolo_lpr_cuts-) R 11042 31399 31398 0 -1 0 2063 0 0 0 9980 19 0 0 25 0 1 0 902575175 11710464 1981 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2859 1981 1111 63 0 2796 0
vsize: 11436
[startup+110.003 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 11045
Raw data (stat): 11043 (bsolo_lpr_cuts-) R 11042 31399 31398 0 -1 0 2063 0 0 0 10979 20 0 0 25 0 1 0 902575175 11710464 1981 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2859 1981 1111 63 0 2796 0
vsize: 11436
[startup+120.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11045
Raw data (stat): 11043 (bsolo_lpr_cuts-) R 11042 31399 31398 0 -1 0 2106 0 0 0 11977 22 0 0 25 0 1 0 902575175 11845632 2024 4294967295 134512640 134716908 3221224560 3221222640 134699557 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2892 2024 1111 63 0 2829 0
vsize: 11568
[startup+130.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11045
Raw data (stat): 11043 (bsolo_lpr_cuts-) R 11042 31399 31398 0 -1 0 2150 0 0 0 12976 23 0 0 25 0 1 0 902575175 12115968 2068 4294967295 134512640 134716908 3221224560 3221223200 134698654 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2958 2068 1111 63 0 2895 0
vsize: 11832
[startup+140.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11045
Raw data (stat): 11043 (bsolo_lpr_cuts-) R 11042 31399 31398 0 -1 0 2175 0 0 0 13975 25 0 0 25 0 1 0 902575175 12115968 2093 4294967295 134512640 134716908 3221224560 3221223296 134558529 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2958 2093 1111 63 0 2895 0
vsize: 11832
[startup+150.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11045
Raw data (stat): 11043 (bsolo_lpr_cuts-) R 11042 31399 31398 0 -1 0 2175 0 0 0 14973 27 0 0 25 0 1 0 902575175 12115968 2093 4294967295 134512640 134716908 3221224560 3221223312 134592419 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2958 2093 1111 63 0 2895 0
vsize: 11832
[startup+160.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11045
Raw data (stat): 11043 (bsolo_lpr_cuts-) R 11042 31399 31398 0 -1 0 2186 0 0 0 15971 29 0 0 25 0 1 0 902575175 12251136 2104 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2991 2104 1111 63 0 2928 0
vsize: 11964
[startup+170.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11045
Raw data (stat): 11043 (bsolo_lpr_cuts-) R 11042 31399 31398 0 -1 0 2196 0 0 0 16970 30 0 0 25 0 1 0 902575175 12251136 2114 4294967295 134512640 134716908 3221224560 3221223188 134698616 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2991 2114 1111 63 0 2928 0
vsize: 11964
[startup+180.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11045
Raw data (stat): 11043 (bsolo_lpr_cuts-) R 11042 31399 31398 0 -1 0 2196 0 0 0 17969 31 0 0 25 0 1 0 902575175 12251136 2114 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2991 2114 1111 63 0 2928 0
vsize: 11964
[startup+190.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11045
Raw data (stat): 11043 (bsolo_lpr_cuts-) R 11042 31399 31398 0 -1 0 2224 0 0 0 18966 34 0 0 25 0 1 0 902575175 12386304 2142 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3024 2142 1111 63 0 2961 0
vsize: 12096
[startup+200.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11045
Raw data (stat): 11043 (bsolo_lpr_cuts-) R 11042 31399 31398 0 -1 0 2224 0 0 0 19965 36 0 0 25 0 1 0 902575175 12386304 2142 4294967295 134512640 134716908 3221224560 3221223304 134551620 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3024 2142 1111 63 0 2961 0
vsize: 12096
[startup+210.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11045
Raw data (stat): 11043 (bsolo_lpr_cuts-) R 11042 31399 31398 0 -1 0 2224 0 0 0 20963 38 0 0 25 0 1 0 902575175 12386304 2142 4294967295 134512640 134716908 3221224560 3221223288 134532457 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.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11045
Raw data (stat): 11043 (bsolo_lpr_cuts-) R 11042 31399 31398 0 -1 0 2224 0 0 0 21962 39 0 0 25 0 1 0 902575175 12386304 2142 4294967295 134512640 134716908 3221224560 3221223168 134549463 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.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11045
Raw data (stat): 11043 (bsolo_lpr_cuts-) R 11042 31399 31398 0 -1 0 2224 0 0 0 22961 41 0 0 25 0 1 0 902575175 12386304 2142 4294967295 134512640 134716908 3221224560 3221223232 134594364 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.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11045
Raw data (stat): 11043 (bsolo_lpr_cuts-) R 11042 31399 31398 0 -1 0 2224 0 0 0 23960 42 0 0 25 0 1 0 902575175 12386304 2142 4294967295 134512640 134716908 3221224560 3221223184 134536678 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.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11045
Raw data (stat): 11043 (bsolo_lpr_cuts-) R 11042 31399 31398 0 -1 0 2229 0 0 0 24958 44 0 0 25 0 1 0 902575175 12386304 2147 4294967295 134512640 134716908 3221224560 3221223344 134529252 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3024 2147 1111 63 0 2961 0
vsize: 12096
[startup+260.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11045
Raw data (stat): 11043 (bsolo_lpr_cuts-) R 11042 31399 31398 0 -1 0 2244 0 0 0 25957 45 0 0 25 0 1 0 902575175 12521472 2162 4294967295 134512640 134716908 3221224560 3221223056 134699736 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.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11045
Raw data (stat): 11043 (bsolo_lpr_cuts-) R 11042 31399 31398 0 -1 0 2253 0 0 0 26956 46 0 0 25 0 1 0 902575175 12517376 2171 4294967295 134512640 134716908 3221224560 3221223136 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3056 2171 1111 63 0 2993 0
vsize: 12224
[startup+280.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11045
Raw data (stat): 11043 (bsolo_lpr_cuts-) R 11042 31399 31398 0 -1 0 2253 0 0 0 27954 48 0 0 25 0 1 0 902575175 12517376 2171 4294967295 134512640 134716908 3221224560 3221223484 1077781665 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.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11045
Raw data (stat): 11043 (bsolo_lpr_cuts-) R 11042 31399 31398 0 -1 0 2259 0 0 0 28953 50 0 0 25 0 1 0 902575175 12517376 2177 4294967295 134512640 134716908 3221224560 3221223316 134592437 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3056 2177 1111 63 0 2993 0
vsize: 12224
[startup+300.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11045
Raw data (stat): 11043 (bsolo_lpr_cuts-) R 11042 31399 31398 0 -1 0 2259 0 0 0 29951 51 0 0 25 0 1 0 902575175 12517376 2177 4294967295 134512640 134716908 3221224560 3221223484 1077781665 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.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11045
Raw data (stat): 11043 (bsolo_lpr_cuts-) R 11042 31399 31398 0 -1 0 2259 0 0 0 30949 54 0 0 25 0 1 0 902575175 12517376 2177 4294967295 134512640 134716908 3221224560 3221223168 134543674 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.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11045
Raw data (stat): 11043 (bsolo_lpr_cuts-) R 11042 31399 31398 0 -1 0 2259 0 0 0 31948 56 0 0 25 0 1 0 902575175 12517376 2177 4294967295 134512640 134716908 3221224560 3221223168 134549305 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.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11045
Raw data (stat): 11043 (bsolo_lpr_cuts-) R 11042 31399 31398 0 -1 0 2268 0 0 0 32946 57 0 0 25 0 1 0 902575175 12517376 2186 4294967295 134512640 134716908 3221224560 3221223044 134699551 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.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11045
Raw data (stat): 11043 (bsolo_lpr_cuts-) R 11042 31399 31398 0 -1 0 2268 0 0 0 33945 58 0 0 25 0 1 0 902575175 12517376 2186 4294967295 134512640 134716908 3221224560 3221223084 1076648084 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.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11045
Raw data (stat): 11043 (bsolo_lpr_cuts-) R 11042 31399 31398 0 -1 0 2274 0 0 0 34943 60 0 0 25 0 1 0 902575175 12517376 2192 4294967295 134512640 134716908 3221224560 3221223168 134549467 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3056 2192 1111 63 0 2993 0
vsize: 12224
[startup+360.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11045
Raw data (stat): 11043 (bsolo_lpr_cuts-) R 11042 31399 31398 0 -1 0 2274 0 0 0 35942 62 0 0 25 0 1 0 902575175 12517376 2192 4294967295 134512640 134716908 3221224560 3221223328 134592104 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.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11045
Raw data (stat): 11043 (bsolo_lpr_cuts-) R 11042 31399 31398 0 -1 0 2281 0 0 0 36941 64 0 0 25 0 1 0 902575175 12652544 2199 4294967295 134512640 134716908 3221224560 3221223484 1077781665 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.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11045
Raw data (stat): 11043 (bsolo_lpr_cuts-) R 11042 31399 31398 0 -1 0 2284 0 0 0 37939 65 0 0 25 0 1 0 902575175 12652544 2202 4294967295 134512640 134716908 3221224560 3221223328 134592200 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.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11045
Raw data (stat): 11043 (bsolo_lpr_cuts-) R 11042 31399 31398 0 -1 0 2307 0 0 0 38937 67 0 0 25 0 1 0 902575175 12652544 2225 4294967295 134512640 134716908 3221224560 3221223088 134535026 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.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11045
Raw data (stat): 11043 (bsolo_lpr_cuts-) R 11042 31399 31398 0 -1 0 2307 0 0 0 39936 69 0 0 25 0 1 0 902575175 12652544 2225 4294967295 134512640 134716908 3221224560 3221223304 134551632 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.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11045
Raw data (stat): 11043 (bsolo_lpr_cuts-) R 11042 31399 31398 0 -1 0 2307 0 0 0 40934 71 0 0 25 0 1 0 902575175 12652544 2225 4294967295 134512640 134716908 3221224560 3221223168 134549467 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.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11045
Raw data (stat): 11043 (bsolo_lpr_cuts-) R 11042 31399 31398 0 -1 0 2313 0 0 0 41932 73 0 0 25 0 1 0 902575175 12787712 2231 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3122 2231 1111 63 0 3059 0
vsize: 12488
[startup+430.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11045
Raw data (stat): 11043 (bsolo_lpr_cuts-) R 11042 31399 31398 0 -1 0 2337 0 0 0 42930 75 0 0 25 0 1 0 902575175 12787712 2255 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3122 2255 1111 63 0 3059 0
vsize: 12488
[startup+440.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11045
Raw data (stat): 11043 (bsolo_lpr_cuts-) R 11042 31399 31398 0 -1 0 2410 0 0 0 43929 76 0 0 25 0 1 0 902575175 13193216 2328 4294967295 134512640 134716908 3221224560 3221223168 134549305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3221 2328 1111 63 0 3158 0
vsize: 12884
[startup+450.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11045
Raw data (stat): 11043 (bsolo_lpr_cuts-) R 11042 31399 31398 0 -1 0 2440 0 0 0 44928 78 0 0 25 0 1 0 902575175 13303808 2358 4294967295 134512640 134716908 3221224560 3221223020 134699855 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3248 2358 1111 63 0 3185 0
vsize: 12992
[startup+460.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11045
Raw data (stat): 11043 (bsolo_lpr_cuts-) R 11042 31399 31398 0 -1 0 2485 0 0 0 45927 79 0 0 25 0 1 0 902575175 13438976 2403 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3281 2403 1111 63 0 3218 0
vsize: 13124
[startup+470.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11045
Raw data (stat): 11043 (bsolo_lpr_cuts-) R 11042 31399 31398 0 -1 0 2517 0 0 0 46926 80 0 0 25 0 1 0 902575175 13561856 2435 4294967295 134512640 134716908 3221224560 3221223408 134531489 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3311 2435 1111 63 0 3248 0
vsize: 13244
[startup+480.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11045
Raw data (stat): 11043 (bsolo_lpr_cuts-) R 11042 31399 31398 0 -1 0 2517 0 0 0 47925 82 0 0 25 0 1 0 902575175 13561856 2435 4294967295 134512640 134716908 3221224560 3221223168 134549316 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.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11045
Raw data (stat): 11043 (bsolo_lpr_cuts-) R 11042 31399 31398 0 -1 0 2534 0 0 0 48923 83 0 0 25 0 1 0 902575175 13697024 2452 4294967295 134512640 134716908 3221224560 3221223304 134675312 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3344 2452 1111 63 0 3281 0
vsize: 13376
[startup+500.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11045
Raw data (stat): 11043 (bsolo_lpr_cuts-) R 11042 31399 31398 0 -1 0 2535 0 0 0 49921 85 0 0 25 0 1 0 902575175 13697024 2453 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3344 2453 1111 63 0 3281 0
vsize: 13376
[startup+510.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11045
Raw data (stat): 11043 (bsolo_lpr_cuts-) R 11042 31399 31398 0 -1 0 2549 0 0 0 50919 88 0 0 25 0 1 0 902575175 13697024 2467 4294967295 134512640 134716908 3221224560 3221223200 134613438 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3344 2467 1111 63 0 3281 0
vsize: 13376
[startup+520.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11045
Raw data (stat): 11043 (bsolo_lpr_cuts-) R 11042 31399 31398 0 -1 0 2564 0 0 0 51918 89 0 0 25 0 1 0 902575175 13832192 2482 4294967295 134512640 134716908 3221224560 3221223180 1077377137 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.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11045
Raw data (stat): 11043 (bsolo_lpr_cuts-) R 11042 31399 31398 0 -1 0 2564 0 0 0 52917 91 0 0 25 0 1 0 902575175 13832192 2482 4294967295 134512640 134716908 3221224560 3221223152 134549852 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.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11045
Raw data (stat): 11043 (bsolo_lpr_cuts-) R 11042 31399 31398 0 -1 0 2564 0 0 0 53916 92 0 0 25 0 1 0 902575175 13832192 2482 4294967295 134512640 134716908 3221224560 3221223184 134698586 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.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11045
Raw data (stat): 11043 (bsolo_lpr_cuts-) R 11042 31399 31398 0 -1 0 2583 0 0 0 54915 93 0 0 25 0 1 0 902575175 13832192 2501 4294967295 134512640 134716908 3221224560 3221223484 1077781665 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.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11045
Raw data (stat): 11043 (bsolo_lpr_cuts-) R 11042 31399 31398 0 -1 0 2583 0 0 0 55913 95 0 0 25 0 1 0 902575175 13832192 2501 4294967295 134512640 134716908 3221224560 3221223368 134558492 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.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11045
Raw data (stat): 11043 (bsolo_lpr_cuts-) R 11042 31399 31398 0 -1 0 2598 0 0 0 56912 96 0 0 25 0 1 0 902575175 13967360 2516 4294967295 134512640 134716908 3221224560 3221223264 134528724 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.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11045
Raw data (stat): 11043 (bsolo_lpr_cuts-) R 11042 31399 31398 0 -1 0 2608 0 0 0 57910 98 0 0 25 0 1 0 902575175 13942784 2526 4294967295 134512640 134716908 3221224560 3221223260 134552672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3404 2526 1111 63 0 3341 0
vsize: 13616
[startup+590.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11045
Raw data (stat): 11043 (bsolo_lpr_cuts-) R 11042 31399 31398 0 -1 0 2615 0 0 0 58910 99 0 0 25 0 1 0 902575175 13942784 2533 4294967295 134512640 134716908 3221224560 3221223248 134524471 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.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11045
Raw data (stat): 11043 (bsolo_lpr_cuts-) R 11042 31399 31398 0 -1 0 2626 0 0 0 59909 100 0 0 25 0 1 0 902575175 14077952 2544 4294967295 134512640 134716908 3221224560 3221223188 134698616 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.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11045
Raw data (stat): 11043 (bsolo_lpr_cuts-) R 11042 31399 31398 0 -1 0 2665 0 0 0 60908 101 0 0 25 0 1 0 902575175 14213120 2583 4294967295 134512640 134716908 3221224560 3221223168 134549334 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3470 2583 1111 63 0 3407 0
vsize: 13880
[startup+620.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11045
Raw data (stat): 11043 (bsolo_lpr_cuts-) R 11042 31399 31398 0 -1 0 2666 0 0 0 61907 102 0 0 25 0 1 0 902575175 14213120 2584 4294967295 134512640 134716908 3221224560 3221223168 134549488 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.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11045
Raw data (stat): 11043 (bsolo_lpr_cuts-) R 11042 31399 31398 0 -1 0 2666 0 0 0 62906 104 0 0 25 0 1 0 902575175 14213120 2584 4294967295 134512640 134716908 3221224560 3221223152 134549689 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.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11045
Raw data (stat): 11043 (bsolo_lpr_cuts-) R 11042 31399 31398 0 -1 0 2666 0 0 0 63905 105 0 0 25 0 1 0 902575175 14213120 2584 4294967295 134512640 134716908 3221224560 3221223484 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+650.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11045
Raw data (stat): 11043 (bsolo_lpr_cuts-) R 11042 31399 31398 0 -1 0 2666 0 0 0 64904 106 0 0 25 0 1 0 902575175 14213120 2584 4294967295 134512640 134716908 3221224560 3221223200 134698462 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.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11045
Raw data (stat): 11043 (bsolo_lpr_cuts-) R 11042 31399 31398 0 -1 0 2666 0 0 0 65902 108 0 0 25 0 1 0 902575175 14213120 2584 4294967295 134512640 134716908 3221224560 3221223168 134549457 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.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11045
Raw data (stat): 11043 (bsolo_lpr_cuts-) R 11042 31399 31398 0 -1 0 2666 0 0 0 66901 110 0 0 25 0 1 0 902575175 14213120 2584 4294967295 134512640 134716908 3221224560 3221223484 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.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11045
Raw data (stat): 11043 (bsolo_lpr_cuts-) R 11042 31399 31398 0 -1 0 2677 0 0 0 67899 111 0 0 25 0 1 0 902575175 14213120 2595 4294967295 134512640 134716908 3221224560 3221223120 134542359 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.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11045
Raw data (stat): 11043 (bsolo_lpr_cuts-) R 11042 31399 31398 0 -1 0 2677 0 0 0 68899 112 0 0 25 0 1 0 902575175 14213120 2595 4294967295 134512640 134716908 3221224560 3221223216 134536600 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.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11045
Raw data (stat): 11043 (bsolo_lpr_cuts-) R 11042 31399 31398 0 -1 0 2678 0 0 0 69897 114 0 0 25 0 1 0 902575175 14213120 2596 4294967295 134512640 134716908 3221224560 3221223088 134699600 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.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11045
Raw data (stat): 11043 (bsolo_lpr_cuts-) R 11042 31399 31398 0 -1 0 2678 0 0 0 70896 115 0 0 25 0 1 0 902575175 14213120 2596 4294967295 134512640 134716908 3221224560 3221223264 134528449 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.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11045
Raw data (stat): 11043 (bsolo_lpr_cuts-) R 11042 31399 31398 0 -1 0 2687 0 0 0 71895 116 0 0 25 0 1 0 902575175 14213120 2605 4294967295 134512640 134716908 3221224560 3221223288 134532457 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3470 2605 1111 63 0 3407 0
vsize: 13880
[startup+730.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11045
Raw data (stat): 11043 (bsolo_lpr_cuts-) R 11042 31399 31398 0 -1 0 2706 0 0 0 72894 117 0 0 25 0 1 0 902575175 14348288 2624 4294967295 134512640 134716908 3221224560 3221223192 134698665 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.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11045
Raw data (stat): 11043 (bsolo_lpr_cuts-) R 11042 31399 31398 0 -1 0 2706 0 0 0 73893 118 0 0 25 0 1 0 902575175 14348288 2624 4294967295 134512640 134716908 3221224560 3221223280 134535767 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.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11045
Raw data (stat): 11043 (bsolo_lpr_cuts-) R 11042 31399 31398 0 -1 0 2716 0 0 0 74893 119 0 0 25 0 1 0 902575175 14348288 2634 4294967295 134512640 134716908 3221224560 3221223204 134536649 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.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11045
Raw data (stat): 11043 (bsolo_lpr_cuts-) R 11042 31399 31398 0 -1 0 2716 0 0 0 75891 121 0 0 25 0 1 0 902575175 14348288 2634 4294967295 134512640 134716908 3221224560 3221223168 134549480 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.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11045
Raw data (stat): 11043 (bsolo_lpr_cuts-) R 11042 31399 31398 0 -1 0 2728 0 0 0 76890 122 0 0 25 0 1 0 902575175 14483456 2646 4294967295 134512640 134716908 3221224560 3221223304 134558492 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.022 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11045
Raw data (stat): 11043 (bsolo_lpr_cuts-) R 11042 31399 31398 0 -1 0 2754 0 0 0 77889 124 0 0 25 0 1 0 902575175 14483456 2672 4294967295 134512640 134716908 3221224560 3221223264 134528410 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.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11045
Raw data (stat): 11043 (bsolo_lpr_cuts-) R 11042 31399 31398 0 -1 0 2768 0 0 0 78888 125 0 0 25 0 1 0 902575175 14618624 2686 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3569 2686 1111 63 0 3506 0
vsize: 14276
[startup+800.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11045
Raw data (stat): 11043 (bsolo_lpr_cuts-) R 11042 31399 31398 0 -1 0 2779 0 0 0 79887 126 0 0 25 0 1 0 902575175 14618624 2697 4294967295 134512640 134716908 3221224560 3221223168 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.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11045
Raw data (stat): 11043 (bsolo_lpr_cuts-) R 11042 31399 31398 0 -1 0 2780 0 0 0 80885 128 0 0 25 0 1 0 902575175 14618624 2698 4294967295 134512640 134716908 3221224560 3221223168 134549474 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.022 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11045
Raw data (stat): 11043 (bsolo_lpr_cuts-) R 11042 31399 31398 0 -1 0 2787 0 0 0 81884 130 0 0 25 0 1 0 902575175 14618624 2705 4294967295 134512640 134716908 3221224560 3221223320 134592365 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.022 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11045
Raw data (stat): 11043 (bsolo_lpr_cuts-) R 11042 31399 31398 0 -1 0 2787 0 0 0 82882 131 0 0 25 0 1 0 902575175 14618624 2705 4294967295 134512640 134716908 3221224560 3221223168 134549318 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.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11045
Raw data (stat): 11043 (bsolo_lpr_cuts-) R 11042 31399 31398 0 -1 0 2787 0 0 0 83881 133 0 0 25 0 1 0 902575175 14618624 2705 4294967295 134512640 134716908 3221224560 3221223484 1077781665 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.024 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11045
Raw data (stat): 11043 (bsolo_lpr_cuts-) R 11042 31399 31398 0 -1 0 2787 0 0 0 84879 135 0 0 25 0 1 0 902575175 14618624 2705 4294967295 134512640 134716908 3221224560 3221223484 1077781665 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.024 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11045
Raw data (stat): 11043 (bsolo_lpr_cuts-) R 11042 31399 31398 0 -1 0 2787 0 0 0 85877 137 0 0 25 0 1 0 902575175 14618624 2705 4294967295 134512640 134716908 3221224560 3221223152 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+870.024 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11045
Raw data (stat): 11043 (bsolo_lpr_cuts-) R 11042 31399 31398 0 -1 0 2787 0 0 0 86876 139 0 0 25 0 1 0 902575175 14618624 2705 4294967295 134512640 134716908 3221224560 3221223484 1077781665 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.025 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11045
Raw data (stat): 11043 (bsolo_lpr_cuts-) R 11042 31399 31398 0 -1 0 2787 0 0 0 87875 140 0 0 25 0 1 0 902575175 14618624 2705 4294967295 134512640 134716908 3221224560 3221223168 134549313 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.025 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11045
Raw data (stat): 11043 (bsolo_lpr_cuts-) R 11042 31399 31398 0 -1 0 2803 0 0 0 88874 141 0 0 25 0 1 0 902575175 14753792 2721 4294967295 134512640 134716908 3221224560 3221223304 134551620 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3602 2721 1111 63 0 3539 0
vsize: 14408
[startup+900.025 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11045
Raw data (stat): 11043 (bsolo_lpr_cuts-) R 11042 31399 31398 0 -1 0 2803 0 0 0 89873 142 0 0 25 0 1 0 902575175 14753792 2721 4294967295 134512640 134716908 3221224560 3221223304 134558490 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.026 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11045
Raw data (stat): 11043 (bsolo_lpr_cuts-) R 11042 31399 31398 0 -1 0 2811 0 0 0 90872 143 0 0 25 0 1 0 902575175 14753792 2729 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3602 2729 1111 63 0 3539 0
vsize: 14408
[startup+920.025 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11045
Raw data (stat): 11043 (bsolo_lpr_cuts-) R 11042 31399 31398 0 -1 0 2811 0 0 0 91871 144 0 0 25 0 1 0 902575175 14753792 2729 4294967295 134512640 134716908 3221224560 3221223200 134698471 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.025 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11045
Raw data (stat): 11043 (bsolo_lpr_cuts-) R 11042 31399 31398 0 -1 0 2835 0 0 0 92870 146 0 0 25 0 1 0 902575175 14888960 2753 4294967295 134512640 134716908 3221224560 3221223344 134528816 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3635 2753 1111 63 0 3572 0
vsize: 14540
[startup+940.026 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11045
Raw data (stat): 11043 (bsolo_lpr_cuts-) R 11042 31399 31398 0 -1 0 2835 0 0 0 93868 147 0 0 25 0 1 0 902575175 14888960 2753 4294967295 134512640 134716908 3221224560 3221223168 134549474 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.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11045
Raw data (stat): 11043 (bsolo_lpr_cuts-) R 11042 31399 31398 0 -1 0 2848 0 0 0 94867 149 0 0 25 0 1 0 902575175 14888960 2766 4294967295 134512640 134716908 3221224560 3221223304 134551620 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.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11045
Raw data (stat): 11043 (bsolo_lpr_cuts-) R 11042 31399 31398 0 -1 0 2854 0 0 0 95865 151 0 0 25 0 1 0 902575175 14888960 2772 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3635 2772 1111 63 0 3572 0
vsize: 14540
[startup+970.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11045
Raw data (stat): 11043 (bsolo_lpr_cuts-) R 11042 31399 31398 0 -1 0 2871 0 0 0 96864 152 0 0 25 0 1 0 902575175 15020032 2789 4294967295 134512640 134716908 3221224560 3221223368 134558492 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.028 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11045
Raw data (stat): 11043 (bsolo_lpr_cuts-) R 11042 31399 31398 0 -1 0 2871 0 0 0 97862 155 0 0 25 0 1 0 902575175 15020032 2789 4294967295 134512640 134716908 3221224560 3221223200 134698630 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.028 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11045
Raw data (stat): 11043 (bsolo_lpr_cuts-) R 11042 31399 31398 0 -1 0 2877 0 0 0 98861 156 0 0 25 0 1 0 902575175 15020032 2795 4294967295 134512640 134716908 3221224560 3221223168 134549296 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3667 2795 1111 63 0 3604 0
vsize: 14668
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11045
Raw data (stat): 11043 (bsolo_lpr_cuts-) R 11042 31399 31398 0 -1 0 2881 0 0 0 99859 158 0 0 25 0 1 0 902575175 15020032 2799 4294967295 134512640 134716908 3221224560 3221223328 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+1010.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11045
Raw data (stat): 11043 (bsolo_lpr_cuts-) R 11042 31399 31398 0 -1 0 2886 0 0 0 100859 158 0 0 25 0 1 0 902575175 15020032 2804 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3667 2804 1111 63 0 3604 0
vsize: 14668
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11045
Raw data (stat): 11043 (bsolo_lpr_cuts-) R 11042 31399 31398 0 -1 0 2923 0 0 0 101858 159 0 0 25 0 1 0 902575175 15290368 2841 4294967295 134512640 134716908 3221224560 3221223152 134549548 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3733 2841 1111 63 0 3670 0
vsize: 14932
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11045
Raw data (stat): 11043 (bsolo_lpr_cuts-) R 11042 31399 31398 0 -1 0 2923 0 0 0 102857 160 0 0 25 0 1 0 902575175 15290368 2841 4294967295 134512640 134716908 3221224560 3221223152 134549689 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.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11045
Raw data (stat): 11043 (bsolo_lpr_cuts-) R 11042 31399 31398 0 -1 0 2932 0 0 0 103857 161 0 0 25 0 1 0 902575175 15290368 2850 4294967295 134512640 134716908 3221224560 3221223484 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+1050.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11045
Raw data (stat): 11043 (bsolo_lpr_cuts-) R 11042 31399 31398 0 -1 0 2932 0 0 0 104855 163 0 0 25 0 1 0 902575175 15290368 2850 4294967295 134512640 134716908 3221224560 3221223152 134549700 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.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11045
Raw data (stat): 11043 (bsolo_lpr_cuts-) R 11042 31399 31398 0 -1 0 2932 0 0 0 105854 164 0 0 25 0 1 0 902575175 15290368 2850 4294967295 134512640 134716908 3221224560 3221222956 1077379843 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.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11045
Raw data (stat): 11043 (bsolo_lpr_cuts-) R 11042 31399 31398 0 -1 0 2932 0 0 0 106852 166 0 0 25 0 1 0 902575175 15290368 2850 4294967295 134512640 134716908 3221224560 3221223484 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+1080.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11045
Raw data (stat): 11043 (bsolo_lpr_cuts-) R 11042 31399 31398 0 -1 0 2932 0 0 0 107851 167 0 0 25 0 1 0 902575175 15290368 2850 4294967295 134512640 134716908 3221224560 3221223200 134698432 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.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11045
Raw data (stat): 11043 (bsolo_lpr_cuts-) R 11042 31399 31398 0 -1 0 2932 0 0 0 108850 169 0 0 25 0 1 0 902575175 15290368 2850 4294967295 134512640 134716908 3221224560 3221223216 134523862 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.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11045
Raw data (stat): 11043 (bsolo_lpr_cuts-) R 11042 31399 31398 0 -1 0 2932 0 0 0 109849 170 0 0 25 0 1 0 902575175 15290368 2850 4294967295 134512640 134716908 3221224560 3221223296 134535745 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.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11045
Raw data (stat): 11043 (bsolo_lpr_cuts-) R 11042 31399 31398 0 -1 0 2946 0 0 0 110847 172 0 0 25 0 1 0 902575175 15290368 2864 4294967295 134512640 134716908 3221224560 3221223152 134549686 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3733 2864 1111 63 0 3670 0
vsize: 14932
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11045
Raw data (stat): 11043 (bsolo_lpr_cuts-) R 11042 31399 31398 0 -1 0 2965 0 0 0 111846 173 0 0 25 0 1 0 902575175 15409152 2883 4294967295 134512640 134716908 3221224560 3221223176 134549502 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.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11045
Raw data (stat): 11043 (bsolo_lpr_cuts-) R 11042 31399 31398 0 -1 0 2965 0 0 0 112845 175 0 0 25 0 1 0 902575175 15409152 2883 4294967295 134512640 134716908 3221224560 3221223168 134549467 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.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11045
Raw data (stat): 11043 (bsolo_lpr_cuts-) R 11042 31399 31398 0 -1 0 2966 0 0 0 113843 176 0 0 25 0 1 0 902575175 15409152 2884 4294967295 134512640 134716908 3221224560 3221223184 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3762 2884 1111 63 0 3699 0
vsize: 15048
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11045
Raw data (stat): 11043 (bsolo_lpr_cuts-) R 11042 31399 31398 0 -1 0 2966 0 0 0 114842 178 0 0 25 0 1 0 902575175 15409152 2884 4294967295 134512640 134716908 3221224560 3221223300 134591993 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.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11045
Raw data (stat): 11043 (bsolo_lpr_cuts-) R 11042 31399 31398 0 -1 0 2966 0 0 0 115840 179 0 0 25 0 1 0 902575175 15409152 2884 4294967295 134512640 134716908 3221224560 3221223216 134524376 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.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 11045
Raw data (stat): 11043 (bsolo_lpr_cuts-) R 11042 31399 31398 0 -1 0 3000 0 0 0 116839 181 0 0 25 0 1 0 902575175 15544320 2918 4294967295 134512640 134716908 3221224560 3221223200 134698475 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3795 2918 1111 63 0 3732 0
vsize: 15180
[startup+1174.83 s]
Raw data (loadavg): 0.99 0.98 0.91 1/53 11045
Raw data (stat): 11043 (bsolo_lpr_cuts-) R 11042 31399 31398 0 -1 0 3000 0 0 0 116839 181 0 0 25 0 1 0 902575175 15544320 2918 4294967295 134512640 134716908 3221224560 3221223200 134698475 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3795 2918 1111 63 0 3732 0
vsize: 0

Child status: 0
Real time (s): 1174.83
CPU time (s): 1175.02
CPU user time (s): 1173.19
CPU system time (s): 1.82872
CPU usage (%): 100.015
Max. virtual memory (Kb): 15180
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####