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_40_sat_pb.cnf.cr.opb
MD5SUM	f9a3a990ebca4aa5457d0675d3f1fe27
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	1.9477
Number of variables	2400
Total number of constraints	1720
Number of constraints which are clauses	1640
Number of constraints which are cardinality constraints (but not clauses)	80
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 39432

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-07 09:46:27 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27496 boxname=wulflinc4 idbench=54 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  f9a3a990ebca4aa5457d0675d3f1fe27  /oldhome/oroussel/tmp/wulflinc4/normalized-fpga40_40_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-fpga40_40_sat_pb.cnf.cr.opb
IDLAUNCH: 27496
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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:        403936 kB
Buffers:         34432 kB
Cached:         572716 kB
SwapCached:        568 kB
Active:          56880 kB
Inactive:       552432 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        403684 kB
SwapTotal:     2097136 kB
SwapFree:      2095660 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5328 kB
Slab:            15740 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 10:06:02 (client local time) WITH STATUS 0 IN 1175.06 SECONDS
stats: 27496 7 1175.06 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 2400 variables and 1720 constraints.
c After prepocess the problem consists of 2400 variables and 1720 constraints.
c preprocess terminated 5.681 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.05 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 12430
Raw data (stat): 12430 (runsolver) R 12429 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 892012752 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+9.99998 s]
Raw data (loadavg): 0.93 0.98 0.91 2/54 12430
Raw data (stat): 12430 (bsolo_lpr-v2) R 12429 21152 21151 0 -1 0 1922 0 0 0 989 6 0 0 25 0 1 0 892012752 11018240 1840 4294967295 134512640 134716908 3221224560 3221223368 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2690 1840 1111 63 0 2627 0
vsize: 10760
[startup+20.021 s]
Raw data (loadavg): 0.94 0.98 0.91 2/54 12430
Raw data (stat): 12430 (bsolo_lpr-v2) R 12429 21152 21151 0 -1 0 2008 0 0 0 1988 9 0 0 25 0 1 0 892012752 11395072 1926 4294967295 134512640 134716908 3221224560 3221223248 134594343 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2782 1926 1111 63 0 2719 0
vsize: 11128
[startup+30.0216 s]
Raw data (loadavg): 0.95 0.98 0.91 2/54 12430
Raw data (stat): 12430 (bsolo_lpr-v2) R 12429 21152 21151 0 -1 0 2102 0 0 0 2986 11 0 0 25 0 1 0 892012752 11800576 2020 4294967295 134512640 134716908 3221224560 3221223200 134698491 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2881 2020 1111 63 0 2818 0
vsize: 11524
[startup+40.0217 s]
Raw data (loadavg): 0.96 0.98 0.91 2/54 12430
Raw data (stat): 12430 (bsolo_lpr-v2) R 12429 21152 21151 0 -1 0 2133 0 0 0 3985 13 0 0 25 0 1 0 892012752 11931648 2051 4294967295 134512640 134716908 3221224560 3221223320 134552650 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2913 2051 1111 63 0 2850 0
vsize: 11652
[startup+50.0223 s]
Raw data (loadavg): 0.96 0.98 0.91 2/54 12430
Raw data (stat): 12430 (bsolo_lpr-v2) R 12429 21152 21151 0 -1 0 2156 0 0 0 4983 15 0 0 25 0 1 0 892012752 11931648 2074 4294967295 134512640 134716908 3221224560 3221223304 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2913 2074 1111 63 0 2850 0
vsize: 11652
[startup+60.0225 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 12430
Raw data (stat): 12430 (bsolo_lpr-v2) R 12429 21152 21151 0 -1 0 2186 0 0 0 5982 16 0 0 25 0 1 0 892012752 12066816 2104 4294967295 134512640 134716908 3221224560 3221223168 134549305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2946 2104 1111 63 0 2883 0
vsize: 11784
[startup+70.0236 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 12430
Raw data (stat): 12430 (bsolo_lpr-v2) R 12429 21152 21151 0 -1 0 2219 0 0 0 6980 18 0 0 25 0 1 0 892012752 12308480 2137 4294967295 134512640 134716908 3221224560 3221223240 134542961 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3005 2137 1111 63 0 2942 0
vsize: 12020
[startup+80.0239 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 12430
Raw data (stat): 12430 (bsolo_lpr-v2) R 12429 21152 21151 0 -1 0 2283 0 0 0 7978 21 0 0 25 0 1 0 892012752 12443648 2201 4294967295 134512640 134716908 3221224560 3221223016 1077377482 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3038 2201 1111 63 0 2975 0
vsize: 12152
[startup+90.024 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 12430
Raw data (stat): 12430 (bsolo_lpr-v2) R 12429 21152 21151 0 -1 0 2312 0 0 0 8976 23 0 0 25 0 1 0 892012752 12578816 2230 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3071 2230 1111 63 0 3008 0
vsize: 12284
[startup+100.025 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 12430
Raw data (stat): 12430 (bsolo_lpr-v2) R 12429 21152 21151 0 -1 0 2437 0 0 0 9975 24 0 0 25 0 1 0 892012752 13086720 2355 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3195 2355 1111 63 0 3132 0
vsize: 12780
[startup+110.025 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 12430
Raw data (stat): 12430 (bsolo_lpr-v2) R 12429 21152 21151 0 -1 0 2587 0 0 0 10974 25 0 0 25 0 1 0 892012752 13762560 2505 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3360 2505 1111 63 0 3297 0
vsize: 13440
[startup+120.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12430
Raw data (stat): 12430 (bsolo_lpr-v2) R 12429 21152 21151 0 -1 0 2877 0 0 0 11973 27 0 0 25 0 1 0 892012752 14979072 2795 4294967295 134512640 134716908 3221224560 3221223328 134529276 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3657 2795 1111 63 0 3594 0
vsize: 14628
[startup+130.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12430
Raw data (stat): 12430 (bsolo_lpr-v2) R 12429 21152 21151 0 -1 0 3011 0 0 0 12971 28 0 0 25 0 1 0 892012752 15421440 2928 4294967295 134512640 134716908 3221224560 3221223168 134549305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3765 2928 1111 63 0 3702 0
vsize: 15060
[startup+140.026 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12430
Raw data (stat): 12430 (bsolo_lpr-v2) R 12429 21152 21151 0 -1 0 3036 0 0 0 13970 29 0 0 25 0 1 0 892012752 15556608 2953 4294967295 134512640 134716908 3221224560 3221223224 134543606 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3798 2953 1111 63 0 3735 0
vsize: 15192
[startup+150.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12430
Raw data (stat): 12430 (bsolo_lpr-v2) R 12429 21152 21151 0 -1 0 3036 0 0 0 14970 30 0 0 25 0 1 0 892012752 15556608 2953 4294967295 134512640 134716908 3221224560 3221223108 134698833 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3798 2953 1111 63 0 3735 0
vsize: 15192
[startup+160.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12430
Raw data (stat): 12430 (bsolo_lpr-v2) R 12429 21152 21151 0 -1 0 3036 0 0 0 15969 31 0 0 25 0 1 0 892012752 15556608 2953 4294967295 134512640 134716908 3221224560 3221223188 134698585 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3798 2953 1111 63 0 3735 0
vsize: 15192
[startup+170.028 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12430
Raw data (stat): 12430 (bsolo_lpr-v2) R 12429 21152 21151 0 -1 0 3036 0 0 0 16969 31 0 0 25 0 1 0 892012752 15556608 2953 4294967295 134512640 134716908 3221224560 3221223208 134543600 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3798 2953 1111 63 0 3735 0
vsize: 15192
[startup+180.028 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12430
Raw data (stat): 12430 (bsolo_lpr-v2) R 12429 21152 21151 0 -1 0 3036 0 0 0 17968 33 0 0 25 0 1 0 892012752 15556608 2953 4294967295 134512640 134716908 3221224560 3221223176 134613973 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3798 2953 1111 63 0 3735 0
vsize: 15192
[startup+190.028 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12430
Raw data (stat): 12430 (bsolo_lpr-v2) R 12429 21152 21151 0 -1 0 3036 0 0 0 18967 34 0 0 25 0 1 0 892012752 15556608 2953 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3798 2953 1111 63 0 3735 0
vsize: 15192
[startup+200.028 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12430
Raw data (stat): 12430 (bsolo_lpr-v2) R 12429 21152 21151 0 -1 0 3036 0 0 0 19965 35 0 0 25 0 1 0 892012752 15556608 2953 4294967295 134512640 134716908 3221224560 3221223132 134535554 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3798 2953 1111 63 0 3735 0
vsize: 15192
[startup+210.028 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12430
Raw data (stat): 12430 (bsolo_lpr-v2) R 12429 21152 21151 0 -1 0 3036 0 0 0 20965 36 0 0 25 0 1 0 892012752 15556608 2953 4294967295 134512640 134716908 3221224560 3221222972 1077379860 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3798 2953 1111 63 0 3735 0
vsize: 15192
[startup+220.029 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12430
Raw data (stat): 12430 (bsolo_lpr-v2) R 12429 21152 21151 0 -1 0 3036 0 0 0 21964 37 0 0 25 0 1 0 892012752 15556608 2953 4294967295 134512640 134716908 3221224560 3221223184 134698636 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3798 2953 1111 63 0 3735 0
vsize: 15192
[startup+230.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12430
Raw data (stat): 12430 (bsolo_lpr-v2) R 12429 21152 21151 0 -1 0 3086 0 0 0 22964 38 0 0 25 0 1 0 892012752 15826944 3003 4294967295 134512640 134716908 3221224560 3221223196 134543664 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3864 3003 1111 63 0 3801 0
vsize: 15456
[startup+240.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12430
Raw data (stat): 12430 (bsolo_lpr-v2) R 12429 21152 21151 0 -1 0 3116 0 0 0 23963 39 0 0 25 0 1 0 892012752 15671296 2989 4294967295 134512640 134716908 3221224560 3221223316 134655223 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3826 2989 1111 63 0 3763 0
vsize: 15304
[startup+250.031 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12430
Raw data (stat): 12430 (bsolo_lpr-v2) R 12429 21152 21151 0 -1 0 3116 0 0 0 24962 40 0 0 25 0 1 0 892012752 15671296 2989 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3826 2989 1111 63 0 3763 0
vsize: 15304
[startup+260.031 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12430
Raw data (stat): 12430 (bsolo_lpr-v2) R 12429 21152 21151 0 -1 0 3139 0 0 0 25960 42 0 0 25 0 1 0 892012752 15806464 3012 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3859 3012 1111 63 0 3796 0
vsize: 15436
[startup+270.033 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12430
Raw data (stat): 12430 (bsolo_lpr-v2) R 12429 21152 21151 0 -1 0 3139 0 0 0 26959 44 0 0 25 0 1 0 892012752 15806464 3012 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3859 3012 1111 63 0 3796 0
vsize: 15436
[startup+280.033 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12430
Raw data (stat): 12430 (bsolo_lpr-v2) R 12429 21152 21151 0 -1 0 3141 0 0 0 27958 45 0 0 25 0 1 0 892012752 15806464 3014 4294967295 134512640 134716908 3221224560 3221223152 134543710 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3859 3014 1111 63 0 3796 0
vsize: 15436
[startup+290.033 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12430
Raw data (stat): 12430 (bsolo_lpr-v2) R 12429 21152 21151 0 -1 0 3143 0 0 0 28957 46 0 0 25 0 1 0 892012752 15806464 3016 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3859 3016 1111 63 0 3796 0
vsize: 15436
[startup+300.033 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12430
Raw data (stat): 12430 (bsolo_lpr-v2) R 12429 21152 21151 0 -1 0 3162 0 0 0 29956 47 0 0 25 0 1 0 892012752 15867904 3035 4294967295 134512640 134716908 3221224560 3221223188 134698632 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3874 3035 1111 63 0 3811 0
vsize: 15496
[startup+310.033 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12430
Raw data (stat): 12430 (bsolo_lpr-v2) R 12429 21152 21151 0 -1 0 3166 0 0 0 30956 47 0 0 25 0 1 0 892012752 15867904 3037 4294967295 134512640 134716908 3221224560 3221223184 134542347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3874 3037 1111 63 0 3811 0
vsize: 15496
[startup+320.034 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12430
Raw data (stat): 12430 (bsolo_lpr-v2) R 12429 21152 21151 0 -1 0 3166 0 0 0 31956 48 0 0 25 0 1 0 892012752 15867904 3037 4294967295 134512640 134716908 3221224560 3221223176 134613981 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3874 3037 1111 63 0 3811 0
vsize: 15496
[startup+330.035 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12430
Raw data (stat): 12430 (bsolo_lpr-v2) R 12429 21152 21151 0 -1 0 3166 0 0 0 32956 48 0 0 25 0 1 0 892012752 15867904 3037 4294967295 134512640 134716908 3221224560 3221222484 134699711 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3874 3037 1111 63 0 3811 0
vsize: 15496
[startup+340.035 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12430
Raw data (stat): 12430 (bsolo_lpr-v2) R 12429 21152 21151 0 -1 0 3166 0 0 0 33955 48 0 0 25 0 1 0 892012752 15867904 3037 4294967295 134512640 134716908 3221224560 3221223200 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3874 3037 1111 63 0 3811 0
vsize: 15496
[startup+350.035 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12430
Raw data (stat): 12430 (bsolo_lpr-v2) R 12429 21152 21151 0 -1 0 3166 0 0 0 34955 49 0 0 25 0 1 0 892012752 15867904 3037 4294967295 134512640 134716908 3221224560 3221223116 134539235 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3874 3037 1111 63 0 3811 0
vsize: 15496
[startup+360.035 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12430
Raw data (stat): 12430 (bsolo_lpr-v2) R 12429 21152 21151 0 -1 0 3166 0 0 0 35955 49 0 0 25 0 1 0 892012752 15867904 3037 4294967295 134512640 134716908 3221224560 3221223296 134535837 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3874 3037 1111 63 0 3811 0
vsize: 15496
[startup+370.036 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12430
Raw data (stat): 12430 (bsolo_lpr-v2) R 12429 21152 21151 0 -1 0 3166 0 0 0 36955 49 0 0 25 0 1 0 892012752 15867904 3037 4294967295 134512640 134716908 3221224560 3221223104 134543043 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3874 3037 1111 63 0 3811 0
vsize: 15496
[startup+380.037 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12430
Raw data (stat): 12430 (bsolo_lpr-v2) R 12429 21152 21151 0 -1 0 3166 0 0 0 37955 50 0 0 25 0 1 0 892012752 15867904 3037 4294967295 134512640 134716908 3221224560 3221222756 134699711 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3874 3037 1111 63 0 3811 0
vsize: 15496
[startup+390.037 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12430
Raw data (stat): 12430 (bsolo_lpr-v2) R 12429 21152 21151 0 -1 0 3166 0 0 0 38954 51 0 0 25 0 1 0 892012752 15867904 3037 4294967295 134512640 134716908 3221224560 3221223144 134698681 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3874 3037 1111 63 0 3811 0
vsize: 15496
[startup+400.038 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12430
Raw data (stat): 12430 (bsolo_lpr-v2) R 12429 21152 21151 0 -1 0 3183 0 0 0 39953 52 0 0 25 0 1 0 892012752 16003072 3054 4294967295 134512640 134716908 3221224560 3221223184 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3907 3054 1111 63 0 3844 0
vsize: 15628
[startup+410.037 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12430
Raw data (stat): 12430 (bsolo_lpr-v2) R 12429 21152 21151 0 -1 0 3206 0 0 0 40953 52 0 0 25 0 1 0 892012752 16138240 3077 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3940 3077 1111 63 0 3877 0
vsize: 15760
[startup+420.038 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12430
Raw data (stat): 12430 (bsolo_lpr-v2) R 12429 21152 21151 0 -1 0 3217 0 0 0 41952 54 0 0 25 0 1 0 892012752 16166912 3088 4294967295 134512640 134716908 3221224560 3221223152 134549527 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3947 3088 1111 63 0 3884 0
vsize: 15788
[startup+430.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12430
Raw data (stat): 12430 (bsolo_lpr-v2) R 12429 21152 21151 0 -1 0 3272 0 0 0 42951 55 0 0 25 0 1 0 892012752 16302080 3132 4294967295 134512640 134716908 3221224560 3221222716 134613972 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3980 3132 1111 63 0 3917 0
vsize: 15920
[startup+440.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12430
Raw data (stat): 12430 (bsolo_lpr-v2) R 12429 21152 21151 0 -1 0 3290 0 0 0 43949 57 0 0 25 0 1 0 892012752 16437248 3150 4294967295 134512640 134716908 3221224560 3221223168 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4013 3150 1111 63 0 3950 0
vsize: 16052
[startup+450.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12430
Raw data (stat): 12430 (bsolo_lpr-v2) R 12429 21152 21151 0 -1 0 3290 0 0 0 44948 58 0 0 25 0 1 0 892012752 16437248 3150 4294967295 134512640 134716908 3221224560 3221223116 134535942 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4013 3150 1111 63 0 3950 0
vsize: 16052
[startup+460.041 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12430
Raw data (stat): 12430 (bsolo_lpr-v2) R 12429 21152 21151 0 -1 0 3492 0 0 0 45948 59 0 0 25 0 1 0 892012752 17244160 3352 4294967295 134512640 134716908 3221224560 3221223304 134558490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4210 3352 1111 63 0 4147 0
vsize: 16840
[startup+470.041 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12430
Raw data (stat): 12430 (bsolo_lpr-v2) R 12429 21152 21151 0 -1 0 3492 0 0 0 46946 60 0 0 25 0 1 0 892012752 17174528 3352 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4193 3352 1111 63 0 4130 0
vsize: 16772
[startup+480.042 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12430
Raw data (stat): 12430 (bsolo_lpr-v2) R 12429 21152 21151 0 -1 0 3492 0 0 0 47945 62 0 0 25 0 1 0 892012752 17174528 3352 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4193 3352 1111 63 0 4130 0
vsize: 16772
[startup+490.042 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12430
Raw data (stat): 12430 (bsolo_lpr-v2) R 12429 21152 21151 0 -1 0 3492 0 0 0 48944 63 0 0 25 0 1 0 892012752 17174528 3352 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4193 3352 1111 63 0 4130 0
vsize: 16772
[startup+500.042 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12430
Raw data (stat): 12430 (bsolo_lpr-v2) R 12429 21152 21151 0 -1 0 3492 0 0 0 49943 64 0 0 25 0 1 0 892012752 17174528 3352 4294967295 134512640 134716908 3221224560 3221223200 134613470 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4193 3352 1111 63 0 4130 0
vsize: 16772
[startup+510.042 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12430
Raw data (stat): 12430 (bsolo_lpr-v2) R 12429 21152 21151 0 -1 0 3492 0 0 0 50941 66 0 0 25 0 1 0 892012752 17174528 3352 4294967295 134512640 134716908 3221224560 3221223168 134549305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4193 3352 1111 63 0 4130 0
vsize: 16772
[startup+520.043 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12430
Raw data (stat): 12430 (bsolo_lpr-v2) R 12429 21152 21151 0 -1 0 3492 0 0 0 51941 67 0 0 25 0 1 0 892012752 17174528 3352 4294967295 134512640 134716908 3221224560 3221223304 134551624 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4193 3352 1111 63 0 4130 0
vsize: 16772
[startup+530.044 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12430
Raw data (stat): 12430 (bsolo_lpr-v2) R 12429 21152 21151 0 -1 0 3492 0 0 0 52940 68 0 0 25 0 1 0 892012752 17174528 3352 4294967295 134512640 134716908 3221224560 3221223296 134558542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4193 3352 1111 63 0 4130 0
vsize: 16772
[startup+540.044 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12430
Raw data (stat): 12430 (bsolo_lpr-v2) R 12429 21152 21151 0 -1 0 3492 0 0 0 53939 69 0 0 25 0 1 0 892012752 17174528 3352 4294967295 134512640 134716908 3221224560 3221223168 134549313 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4193 3352 1111 63 0 4130 0
vsize: 16772
[startup+550.045 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12430
Raw data (stat): 12430 (bsolo_lpr-v2) R 12429 21152 21151 0 -1 0 3492 0 0 0 54937 71 0 0 25 0 1 0 892012752 17174528 3352 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4193 3352 1111 63 0 4130 0
vsize: 16772
[startup+560.045 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12430
Raw data (stat): 12430 (bsolo_lpr-v2) R 12429 21152 21151 0 -1 0 3492 0 0 0 55936 72 0 0 25 0 1 0 892012752 17174528 3352 4294967295 134512640 134716908 3221224560 3221223244 134536746 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4193 3352 1111 63 0 4130 0
vsize: 16772
[startup+570.046 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12430
Raw data (stat): 12430 (bsolo_lpr-v2) R 12429 21152 21151 0 -1 0 3492 0 0 0 56935 74 0 0 25 0 1 0 892012752 17174528 3352 4294967295 134512640 134716908 3221224560 3221223168 134549334 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4193 3352 1111 63 0 4130 0
vsize: 16772
[startup+580.047 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12430
Raw data (stat): 12430 (bsolo_lpr-v2) R 12429 21152 21151 0 -1 0 3492 0 0 0 57934 75 0 0 25 0 1 0 892012752 17174528 3352 4294967295 134512640 134716908 3221224560 3221223232 1076647554 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4193 3352 1111 63 0 4130 0
vsize: 16772
[startup+590.047 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12430
Raw data (stat): 12430 (bsolo_lpr-v2) R 12429 21152 21151 0 -1 0 3492 0 0 0 58933 76 0 0 25 0 1 0 892012752 17174528 3352 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4193 3352 1111 63 0 4130 0
vsize: 16772
[startup+600.048 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12430
Raw data (stat): 12430 (bsolo_lpr-v2) R 12429 21152 21151 0 -1 0 3492 0 0 0 59932 77 0 0 25 0 1 0 892012752 17174528 3352 4294967295 134512640 134716908 3221224560 3221223168 134549474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4193 3352 1111 63 0 4130 0
vsize: 16772
[startup+610.048 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12430
Raw data (stat): 12430 (bsolo_lpr-v2) R 12429 21152 21151 0 -1 0 3500 0 0 0 60932 77 0 0 25 0 1 0 892012752 17309696 3360 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4226 3360 1111 63 0 4163 0
vsize: 16904
[startup+620.047 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12430
Raw data (stat): 12430 (bsolo_lpr-v2) R 12429 21152 21151 0 -1 0 3500 0 0 0 61931 78 0 0 25 0 1 0 892012752 17309696 3360 4294967295 134512640 134716908 3221224560 3221223328 134592449 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4226 3360 1111 63 0 4163 0
vsize: 16904
[startup+630.049 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12430
Raw data (stat): 12430 (bsolo_lpr-v2) R 12429 21152 21151 0 -1 0 3500 0 0 0 62931 79 0 0 25 0 1 0 892012752 17248256 3360 4294967295 134512640 134716908 3221224560 3221223232 1076999581 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4211 3360 1111 63 0 4148 0
vsize: 16844
[startup+640.048 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12430
Raw data (stat): 12430 (bsolo_lpr-v2) R 12429 21152 21151 0 -1 0 3500 0 0 0 63930 80 0 0 25 0 1 0 892012752 17248256 3360 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4211 3360 1111 63 0 4148 0
vsize: 16844
[startup+650.049 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12430
Raw data (stat): 12430 (bsolo_lpr-v2) R 12429 21152 21151 0 -1 0 3524 0 0 0 64929 81 0 0 25 0 1 0 892012752 17383424 3384 4294967295 134512640 134716908 3221224560 3221223368 134528757 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4244 3384 1111 63 0 4181 0
vsize: 16976
[startup+660.049 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12430
Raw data (stat): 12430 (bsolo_lpr-v2) R 12429 21152 21151 0 -1 0 3548 0 0 0 65928 82 0 0 25 0 1 0 892012752 17387520 3399 4294967295 134512640 134716908 3221224560 3221223328 134529138 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4245 3399 1111 63 0 4182 0
vsize: 16980
[startup+670.049 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12430
Raw data (stat): 12430 (bsolo_lpr-v2) R 12429 21152 21151 0 -1 0 3605 0 0 0 66927 84 0 0 25 0 1 0 892012752 17657856 3456 4294967295 134512640 134716908 3221224560 3221223044 134699567 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4311 3456 1111 63 0 4248 0
vsize: 17244
[startup+680.049 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12430
Raw data (stat): 12430 (bsolo_lpr-v2) R 12429 21152 21151 0 -1 0 3605 0 0 0 67926 85 0 0 25 0 1 0 892012752 17657856 3456 4294967295 134512640 134716908 3221224560 3221223168 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4311 3456 1111 63 0 4248 0
vsize: 17244
[startup+690.049 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12430
Raw data (stat): 12430 (bsolo_lpr-v2) R 12429 21152 21151 0 -1 0 3605 0 0 0 68925 86 0 0 25 0 1 0 892012752 17657856 3456 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4311 3456 1111 63 0 4248 0
vsize: 17244
[startup+700.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12430
Raw data (stat): 12430 (bsolo_lpr-v2) R 12429 21152 21151 0 -1 0 3605 0 0 0 69923 88 0 0 25 0 1 0 892012752 17657856 3456 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4311 3456 1111 63 0 4248 0
vsize: 17244
[startup+710.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12430
Raw data (stat): 12430 (bsolo_lpr-v2) R 12429 21152 21151 0 -1 0 3605 0 0 0 70922 89 0 0 25 0 1 0 892012752 17657856 3456 4294967295 134512640 134716908 3221224560 3221223100 134613768 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4311 3456 1111 63 0 4248 0
vsize: 17244
[startup+720.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12430
Raw data (stat): 12430 (bsolo_lpr-v2) R 12429 21152 21151 0 -1 0 3605 0 0 0 71922 90 0 0 25 0 1 0 892012752 17657856 3456 4294967295 134512640 134716908 3221224560 3221223120 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4311 3456 1111 63 0 4248 0
vsize: 17244
[startup+730.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12430
Raw data (stat): 12430 (bsolo_lpr-v2) R 12429 21152 21151 0 -1 0 3605 0 0 0 72921 90 0 0 25 0 1 0 892012752 17657856 3456 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4311 3456 1111 63 0 4248 0
vsize: 17244
[startup+740.051 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12430
Raw data (stat): 12430 (bsolo_lpr-v2) R 12429 21152 21151 0 -1 0 3605 0 0 0 73921 90 0 0 25 0 1 0 892012752 17657856 3456 4294967295 134512640 134716908 3221224560 3221223200 134698445 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4311 3456 1111 63 0 4248 0
vsize: 17244
[startup+750.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12430
Raw data (stat): 12430 (bsolo_lpr-v2) R 12429 21152 21151 0 -1 0 3605 0 0 0 74921 91 0 0 25 0 1 0 892012752 17657856 3456 4294967295 134512640 134716908 3221224560 3221223168 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4311 3456 1111 63 0 4248 0
vsize: 17244
[startup+760.051 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12430
Raw data (stat): 12430 (bsolo_lpr-v2) R 12429 21152 21151 0 -1 0 3605 0 0 0 75920 92 0 0 25 0 1 0 892012752 17657856 3456 4294967295 134512640 134716908 3221224560 3221223120 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4311 3456 1111 63 0 4248 0
vsize: 17244
[startup+770.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12430
Raw data (stat): 12430 (bsolo_lpr-v2) R 12429 21152 21151 0 -1 0 3605 0 0 0 76920 92 0 0 25 0 1 0 892012752 17657856 3456 4294967295 134512640 134716908 3221224560 3221223136 134542802 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4311 3456 1111 63 0 4248 0
vsize: 17244
[startup+780.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12430
Raw data (stat): 12430 (bsolo_lpr-v2) R 12429 21152 21151 0 -1 0 3605 0 0 0 77919 93 0 0 25 0 1 0 892012752 17657856 3456 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4311 3456 1111 63 0 4248 0
vsize: 17244
[startup+790.051 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12430
Raw data (stat): 12430 (bsolo_lpr-v2) R 12429 21152 21151 0 -1 0 3605 0 0 0 78917 95 0 0 25 0 1 0 892012752 17657856 3456 4294967295 134512640 134716908 3221224560 3221223152 134542665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4311 3456 1111 63 0 4248 0
vsize: 17244
[startup+800.051 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12430
Raw data (stat): 12430 (bsolo_lpr-v2) R 12429 21152 21151 0 -1 0 3605 0 0 0 79917 96 0 0 25 0 1 0 892012752 17657856 3456 4294967295 134512640 134716908 3221224560 3221223296 134535728 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4311 3456 1111 63 0 4248 0
vsize: 17244
[startup+810.051 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12430
Raw data (stat): 12430 (bsolo_lpr-v2) R 12429 21152 21151 0 -1 0 3605 0 0 0 80917 96 0 0 25 0 1 0 892012752 17657856 3456 4294967295 134512640 134716908 3221224560 3221223116 134535891 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4311 3456 1111 63 0 4248 0
vsize: 17244
[startup+820.079 s]
Raw data (loadavg): 0.99 0.98 0.91 2/56 12477
Raw data (stat): 12430 (bsolo_lpr-v2) R 12429 21152 21151 0 -1 0 3605 0 0 0 81917 97 0 0 25 0 1 0 892012752 17657856 3456 4294967295 134512640 134716908 3221224560 3221223132 134543615 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4311 3456 1111 63 0 4248 0
vsize: 17244
[startup+830.079 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 12483
Raw data (stat): 12430 (bsolo_lpr-v2) R 12429 21152 21151 0 -1 0 3605 0 0 0 82918 98 0 0 25 0 1 0 892012752 17657856 3456 4294967295 134512640 134716908 3221224560 3221223152 134698419 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4311 3456 1111 63 0 4248 0
vsize: 17244
[startup+840.079 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 12483
Raw data (stat): 12430 (bsolo_lpr-v2) R 12429 21152 21151 0 -1 0 3605 0 0 0 83917 98 0 0 25 0 1 0 892012752 17657856 3456 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4311 3456 1111 63 0 4248 0
vsize: 17244
[startup+850.08 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 12483
Raw data (stat): 12430 (bsolo_lpr-v2) R 12429 21152 21151 0 -1 0 3605 0 0 0 84915 101 0 0 25 0 1 0 892012752 17657856 3456 4294967295 134512640 134716908 3221224560 3221223184 134549544 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4311 3456 1111 63 0 4248 0
vsize: 17244
[startup+860.08 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 12483
Raw data (stat): 12430 (bsolo_lpr-v2) R 12429 21152 21151 0 -1 0 3608 0 0 0 85915 101 0 0 25 0 1 0 892012752 17657856 3459 4294967295 134512640 134716908 3221224560 3221223168 134549313 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4311 3459 1111 63 0 4248 0
vsize: 17244
[startup+870.08 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 12483
Raw data (stat): 12430 (bsolo_lpr-v2) R 12429 21152 21151 0 -1 0 3608 0 0 0 86915 102 0 0 25 0 1 0 892012752 17657856 3459 4294967295 134512640 134716908 3221224560 3221223152 134549668 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4311 3459 1111 63 0 4248 0
vsize: 17244
[startup+880.081 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 12483
Raw data (stat): 12430 (bsolo_lpr-v2) R 12429 21152 21151 0 -1 0 3608 0 0 0 87915 102 0 0 25 0 1 0 892012752 17657856 3459 4294967295 134512640 134716908 3221224560 3221223168 134549318 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4311 3459 1111 63 0 4248 0
vsize: 17244
[startup+890.08 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 12485
Raw data (stat): 12430 (bsolo_lpr-v2) R 12429 21152 21151 0 -1 0 3608 0 0 0 88914 103 0 0 25 0 1 0 892012752 17657856 3459 4294967295 134512640 134716908 3221224560 3221222888 134699805 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4311 3459 1111 63 0 4248 0
vsize: 17244
[startup+900.08 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 12485
Raw data (stat): 12430 (bsolo_lpr-v2) R 12429 21152 21151 0 -1 0 3608 0 0 0 89913 104 0 0 25 0 1 0 892012752 17657856 3459 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4311 3459 1111 63 0 4248 0
vsize: 17244
[startup+910.081 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 12485
Raw data (stat): 12430 (bsolo_lpr-v2) R 12429 21152 21151 0 -1 0 3608 0 0 0 90912 105 0 0 25 0 1 0 892012752 17657856 3459 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4311 3459 1111 63 0 4248 0
vsize: 17244
[startup+920.08 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 12485
Raw data (stat): 12430 (bsolo_lpr-v2) R 12429 21152 21151 0 -1 0 3608 0 0 0 91911 106 0 0 25 0 1 0 892012752 17657856 3459 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4311 3459 1111 63 0 4248 0
vsize: 17244
[startup+930.08 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 12485
Raw data (stat): 12430 (bsolo_lpr-v2) R 12429 21152 21151 0 -1 0 3661 0 0 0 92910 107 0 0 25 0 1 0 892012752 17928192 3512 4294967295 134512640 134716908 3221224560 3221223168 134549313 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4377 3512 1111 63 0 4314 0
vsize: 17508
[startup+940.08 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 12485
Raw data (stat): 12430 (bsolo_lpr-v2) R 12429 21152 21151 0 -1 0 3661 0 0 0 93910 107 0 0 25 0 1 0 892012752 17928192 3512 4294967295 134512640 134716908 3221224560 3221223320 134552685 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4377 3512 1111 63 0 4314 0
vsize: 17508
[startup+950.081 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 12485
Raw data (stat): 12430 (bsolo_lpr-v2) R 12429 21152 21151 0 -1 0 3661 0 0 0 94909 109 0 0 25 0 1 0 892012752 17739776 3494 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4331 3494 1111 63 0 4268 0
vsize: 17324
[startup+960.08 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12485
Raw data (stat): 12430 (bsolo_lpr-v2) R 12429 21152 21151 0 -1 0 3661 0 0 0 95908 110 0 0 25 0 1 0 892012752 17739776 3494 4294967295 134512640 134716908 3221224560 3221223168 134548608 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4331 3494 1111 63 0 4268 0
vsize: 17324
[startup+970.081 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12485
Raw data (stat): 12430 (bsolo_lpr-v2) R 12429 21152 21151 0 -1 0 3661 0 0 0 96907 111 0 0 25 0 1 0 892012752 17739776 3494 4294967295 134512640 134716908 3221224560 3221223308 134543155 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4331 3494 1111 63 0 4268 0
vsize: 17324
[startup+980.081 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12485
Raw data (stat): 12430 (bsolo_lpr-v2) R 12429 21152 21151 0 -1 0 3661 0 0 0 97906 112 0 0 25 0 1 0 892012752 17739776 3494 4294967295 134512640 134716908 3221224560 3221223152 134549686 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4331 3494 1111 63 0 4268 0
vsize: 17324
[startup+990.081 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12485
Raw data (stat): 12430 (bsolo_lpr-v2) R 12429 21152 21151 0 -1 0 3661 0 0 0 98905 113 0 0 25 0 1 0 892012752 17739776 3494 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4331 3494 1111 63 0 4268 0
vsize: 17324
[startup+1000.08 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12485
Raw data (stat): 12430 (bsolo_lpr-v2) R 12429 21152 21151 0 -1 0 3661 0 0 0 99904 115 0 0 25 0 1 0 892012752 17739776 3494 4294967295 134512640 134716908 3221224560 3221223196 134523384 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4331 3494 1111 63 0 4268 0
vsize: 17324
[startup+1010.08 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12485
Raw data (stat): 12430 (bsolo_lpr-v2) R 12429 21152 21151 0 -1 0 3661 0 0 0 100902 117 0 0 25 0 1 0 892012752 17739776 3494 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4331 3494 1111 63 0 4268 0
vsize: 17324
[startup+1020.08 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12485
Raw data (stat): 12430 (bsolo_lpr-v2) R 12429 21152 21151 0 -1 0 3661 0 0 0 101901 118 0 0 25 0 1 0 892012752 17739776 3494 4294967295 134512640 134716908 3221224560 3221222972 1077379843 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4331 3494 1111 63 0 4268 0
vsize: 17324
[startup+1030.08 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12485
Raw data (stat): 12430 (bsolo_lpr-v2) R 12429 21152 21151 0 -1 0 3661 0 0 0 102899 119 0 0 25 0 1 0 892012752 17739776 3494 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4331 3494 1111 63 0 4268 0
vsize: 17324
[startup+1040.08 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12485
Raw data (stat): 12430 (bsolo_lpr-v2) R 12429 21152 21151 0 -1 0 3661 0 0 0 103898 121 0 0 25 0 1 0 892012752 17739776 3494 4294967295 134512640 134716908 3221224560 3221223016 1077377316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4331 3494 1111 63 0 4268 0
vsize: 17324
[startup+1050.08 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12485
Raw data (stat): 12430 (bsolo_lpr-v2) R 12429 21152 21151 0 -1 0 3661 0 0 0 104896 123 0 0 25 0 1 0 892012752 17739776 3494 4294967295 134512640 134716908 3221224560 3221223184 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4331 3494 1111 63 0 4268 0
vsize: 17324
[startup+1060.08 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12485
Raw data (stat): 12430 (bsolo_lpr-v2) R 12429 21152 21151 0 -1 0 3661 0 0 0 105896 124 0 0 25 0 1 0 892012752 17739776 3494 4294967295 134512640 134716908 3221224560 3221223328 134528831 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4331 3494 1111 63 0 4268 0
vsize: 17324
[startup+1070.08 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12485
Raw data (stat): 12430 (bsolo_lpr-v2) R 12429 21152 21151 0 -1 0 3661 0 0 0 106895 125 0 0 25 0 1 0 892012752 17739776 3494 4294967295 134512640 134716908 3221224560 3221223128 1077378389 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4331 3494 1111 63 0 4268 0
vsize: 17324
[startup+1080.08 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12485
Raw data (stat): 12430 (bsolo_lpr-v2) R 12429 21152 21151 0 -1 0 3661 0 0 0 107893 126 0 0 25 0 1 0 892012752 17739776 3494 4294967295 134512640 134716908 3221224560 3221223168 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4331 3494 1111 63 0 4268 0
vsize: 17324
[startup+1090.08 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12485
Raw data (stat): 12430 (bsolo_lpr-v2) R 12429 21152 21151 0 -1 0 3661 0 0 0 108892 128 0 0 25 0 1 0 892012752 17739776 3494 4294967295 134512640 134716908 3221224560 3221223128 1077377693 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4331 3494 1111 63 0 4268 0
vsize: 17324
[startup+1100.08 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12485
Raw data (stat): 12430 (bsolo_lpr-v2) R 12429 21152 21151 0 -1 0 3661 0 0 0 109891 129 0 0 25 0 1 0 892012752 17739776 3494 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4331 3494 1111 63 0 4268 0
vsize: 17324
[startup+1110.08 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12485
Raw data (stat): 12430 (bsolo_lpr-v2) R 12429 21152 21151 0 -1 0 3694 0 0 0 110890 130 0 0 25 0 1 0 892012752 17874944 3527 4294967295 134512640 134716908 3221224560 3221223168 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4364 3527 1111 63 0 4301 0
vsize: 17456
[startup+1120.08 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12485
Raw data (stat): 12430 (bsolo_lpr-v2) R 12429 21152 21151 0 -1 0 3694 0 0 0 111889 131 0 0 25 0 1 0 892012752 17874944 3527 4294967295 134512640 134716908 3221224560 3221223192 134552681 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4364 3527 1111 63 0 4301 0
vsize: 17456
[startup+1130.08 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12485
Raw data (stat): 12430 (bsolo_lpr-v2) R 12429 21152 21151 0 -1 0 3694 0 0 0 112889 132 0 0 25 0 1 0 892012752 17874944 3527 4294967295 134512640 134716908 3221224560 3221223296 134523949 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4364 3527 1111 63 0 4301 0
vsize: 17456
[startup+1140.08 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12485
Raw data (stat): 12430 (bsolo_lpr-v2) R 12429 21152 21151 0 -1 0 3694 0 0 0 113887 133 0 0 25 0 1 0 892012752 17874944 3527 4294967295 134512640 134716908 3221224560 3221223168 134549305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4364 3527 1111 63 0 4301 0
vsize: 17456
[startup+1150.08 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12485
Raw data (stat): 12430 (bsolo_lpr-v2) R 12429 21152 21151 0 -1 0 3694 0 0 0 114886 135 0 0 25 0 1 0 892012752 17874944 3527 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4364 3527 1111 63 0 4301 0
vsize: 17456
[startup+1160.08 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12485
Raw data (stat): 12430 (bsolo_lpr-v2) R 12429 21152 21151 0 -1 0 3787 0 0 0 115885 136 0 0 25 0 1 0 892012752 18255872 3620 4294967295 134512640 134716908 3221224560 3221223168 134548659 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4457 3620 1111 63 0 4394 0
vsize: 17828
[startup+1170.08 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12487
Raw data (stat): 12430 (bsolo_lpr-v2) R 12429 21152 21151 0 -1 0 3787 0 0 0 116885 137 0 0 25 0 1 0 892012752 18255872 3620 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4457 3620 1111 63 0 4394 0
vsize: 17828
[startup+1174.92 s]
Raw data (loadavg): 1.00 1.00 0.92 1/53 12487
Raw data (stat): 12430 (bsolo_lpr-v2) R 12429 21152 21151 0 -1 0 3787 0 0 0 116885 137 0 0 25 0 1 0 892012752 18255872 3620 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4457 3620 1111 63 0 4394 0
vsize: 0

Child status: 0
Real time (s): 1174.92
CPU time (s): 1175.06
CPU user time (s): 1173.68
CPU system time (s): 1.38479
CPU usage (%): 100.012
Max. virtual memory (Kb): 17828
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####