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/manquinho/primes-dimacs-cnf/normalized-ii16c1.opb
MD5SUM	43a8a62e8611595f1fd7c9eef317b58e
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1382
Optimality of the best value was proved	NO
Number of terms in the objective function	3160
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	3160
Number of bits of the sum of numbers in the objective function	12
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	3160
Number of bits of the biggest sum of numbers	12
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.05
Number of variables	3160
Total number of constraints	18047
Number of constraints which are clauses	18047
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	20
Trace number 39516

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-07 11:28:26 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27582 boxname=wulflinc1 idbench=140 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  43a8a62e8611595f1fd7c9eef317b58e  /oldhome/oroussel/tmp/wulflinc1/normalized-ii16c1.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-ii16c1.opb
IDLAUNCH: 27582
/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:        879828 kB
Buffers:         33580 kB
Cached:          90376 kB
SwapCached:       6876 kB
Active:          22380 kB
Inactive:       109528 kB
HighTotal:      131008 kB
HighFree:       100184 kB
LowTotal:       903652 kB
LowFree:        779644 kB
SwapTotal:     2097136 kB
SwapFree:      2089012 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5584 kB
Slab:            17260 kB
Committed_AS:    92720 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 11:48:01 (client local time) WITH STATUS 0 IN 1175.02 SECONDS
stats: 27582 7 1175.02 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 3160 variables and 18047 constraints.
c After prepocess the problem consists of 3160 variables and 18047 constraints.
c preprocess terminated 73.386 s
c Initial Lower Bound: 746
c Lower Bound Elapsed time: 10.3955
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.92 2/55 5251
Raw data (stat): 5251 (runsolver) R 5250 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 835777331 884736 94 4294967295 134512640 135332820 3221224480 3221219660 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.0001 s]
Raw data (loadavg): 0.93 0.98 0.92 2/55 5251
Raw data (stat): 5251 (bsolo_lpr-v2) R 5250 8378 8377 0 -1 0 4386 0 0 0 983 15 0 0 25 0 1 0 835777331 21164032 4298 4294967295 134512640 134716908 3221224592 3221223100 134539344 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5167 4298 1111 63 0 5104 0
vsize: 20668
[startup+20.0009 s]
Raw data (loadavg): 0.94 0.98 0.92 2/55 5251
Raw data (stat): 5251 (bsolo_lpr-v2) R 5250 8378 8377 0 -1 0 4403 0 0 0 1983 15 0 0 25 0 1 0 835777331 21164032 4315 4294967295 134512640 134716908 3221224592 3221223264 134627186 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5167 4315 1111 63 0 5104 0
vsize: 20668
[startup+30.0017 s]
Raw data (loadavg): 0.95 0.98 0.92 2/55 5251
Raw data (stat): 5251 (bsolo_lpr-v2) R 5250 8378 8377 0 -1 0 4403 0 0 0 2983 15 0 0 25 0 1 0 835777331 21164032 4315 4294967295 134512640 134716908 3221224592 3221223264 134627257 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5167 4315 1111 63 0 5104 0
vsize: 20668
[startup+40.0015 s]
Raw data (loadavg): 0.96 0.98 0.92 2/55 5251
Raw data (stat): 5251 (bsolo_lpr-v2) R 5250 8378 8377 0 -1 0 4403 0 0 0 3983 15 0 0 25 0 1 0 835777331 21164032 4315 4294967295 134512640 134716908 3221224592 3221223256 134627211 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5167 4315 1111 63 0 5104 0
vsize: 20668
[startup+50.0023 s]
Raw data (loadavg): 0.96 0.98 0.92 2/55 5251
Raw data (stat): 5251 (bsolo_lpr-v2) R 5250 8378 8377 0 -1 0 4403 0 0 0 4983 15 0 0 25 0 1 0 835777331 21164032 4315 4294967295 134512640 134716908 3221224592 3221223264 134627266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5167 4315 1111 63 0 5104 0
vsize: 20668
[startup+60.0021 s]
Raw data (loadavg): 0.97 0.98 0.92 2/55 5251
Raw data (stat): 5251 (bsolo_lpr-v2) R 5250 8378 8377 0 -1 0 4403 0 0 0 5983 15 0 0 25 0 1 0 835777331 21164032 4315 4294967295 134512640 134716908 3221224592 3221223264 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5167 4315 1111 63 0 5104 0
vsize: 20668
[startup+70.0029 s]
Raw data (loadavg): 0.97 0.98 0.92 2/55 5251
Raw data (stat): 5251 (bsolo_lpr-v2) R 5250 8378 8377 0 -1 0 4403 0 0 0 6984 15 0 0 25 0 1 0 835777331 21164032 4315 4294967295 134512640 134716908 3221224592 3221223256 134627152 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5167 4315 1111 63 0 5104 0
vsize: 20668
[startup+80.0037 s]
Raw data (loadavg): 0.98 0.98 0.92 2/55 5251
Raw data (stat): 5251 (bsolo_lpr-v2) R 5250 8378 8377 0 -1 0 4961 0 0 0 7983 16 0 0 25 0 1 0 835777331 23498752 4873 4294967295 134512640 134716908 3221224592 3221222896 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5737 4873 1111 63 0 5674 0
vsize: 22948
[startup+90.0035 s]
Raw data (loadavg): 0.98 0.98 0.92 2/55 5251
Raw data (stat): 5251 (bsolo_lpr-v2) R 5250 8378 8377 0 -1 0 5127 0 0 0 8981 18 0 0 25 0 1 0 835777331 24182784 5039 4294967295 134512640 134716908 3221224592 3221222896 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5904 5039 1111 63 0 5841 0
vsize: 23616
[startup+100.004 s]
Raw data (loadavg): 0.98 0.98 0.92 2/55 5251
Raw data (stat): 5251 (bsolo_lpr-v2) R 5250 8378 8377 0 -1 0 7736 0 0 0 9973 25 0 0 25 0 1 0 835777331 36892672 6925 4294967295 134512640 134716908 3221224592 3221221616 1074834358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9007 6925 1111 63 0 8944 0
vsize: 36028
[startup+110.004 s]
Raw data (loadavg): 0.98 0.98 0.92 2/55 5251
Raw data (stat): 5251 (bsolo_lpr-v2) R 5250 8378 8377 0 -1 0 7923 0 0 0 10973 26 0 0 25 0 1 0 835777331 37527552 7040 4294967295 134512640 134716908 3221224592 3221221568 1074867340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9162 7040 1111 63 0 9099 0
vsize: 36648
[startup+120.005 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 5251
Raw data (stat): 5251 (bsolo_lpr-v2) R 5250 8378 8377 0 -1 0 21586 0 0 0 11941 58 0 0 25 0 1 0 835777331 24702976 5279 4294967295 134512640 134716908 3221224592 3221223260 134543615 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6031 5279 1111 63 0 5968 0
vsize: 24124
[startup+130.005 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 5251
Raw data (stat): 5251 (bsolo_lpr-v2) R 5250 8378 8377 0 -1 0 21610 0 0 0 12939 59 0 0 25 0 1 0 835777331 24838144 5303 4294967295 134512640 134716908 3221224592 3221223232 134539460 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6064 5303 1111 63 0 6001 0
vsize: 24256
[startup+140.004 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 5251
Raw data (stat): 5251 (bsolo_lpr-v2) R 5250 8378 8377 0 -1 0 21635 0 0 0 13938 61 0 0 25 0 1 0 835777331 24965120 5328 4294967295 134512640 134716908 3221224592 3221223140 134698782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6095 5328 1111 63 0 6032 0
vsize: 24380
[startup+150.005 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 5251
Raw data (stat): 5251 (bsolo_lpr-v2) R 5250 8378 8377 0 -1 0 21649 0 0 0 14937 62 0 0 25 0 1 0 835777331 24965120 5342 4294967295 134512640 134716908 3221224592 3221223200 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6095 5342 1111 63 0 6032 0
vsize: 24380
[startup+160.005 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 5251
Raw data (stat): 5251 (bsolo_lpr-v2) R 5250 8378 8377 0 -1 0 21662 0 0 0 15936 63 0 0 25 0 1 0 835777331 25100288 5355 4294967295 134512640 134716908 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6128 5355 1111 63 0 6065 0
vsize: 24512
[startup+170.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 5251
Raw data (stat): 5251 (bsolo_lpr-v2) R 5250 8378 8377 0 -1 0 21669 0 0 0 16934 65 0 0 25 0 1 0 835777331 25100288 5362 4294967295 134512640 134716908 3221224592 3221223232 134523869 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6128 5362 1111 63 0 6065 0
vsize: 24512
[startup+180.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 5251
Raw data (stat): 5251 (bsolo_lpr-v2) R 5250 8378 8377 0 -1 0 21672 0 0 0 17934 66 0 0 25 0 1 0 835777331 25100288 5365 4294967295 134512640 134716908 3221224592 3221223232 134539376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6128 5365 1111 63 0 6065 0
vsize: 24512
[startup+190.005 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 5251
Raw data (stat): 5251 (bsolo_lpr-v2) R 5250 8378 8377 0 -1 0 21686 0 0 0 18933 67 0 0 25 0 1 0 835777331 25223168 5379 4294967295 134512640 134716908 3221224592 3221223172 134549630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6158 5379 1111 63 0 6095 0
vsize: 24632
[startup+200.005 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 5251
Raw data (stat): 5251 (bsolo_lpr-v2) R 5250 8378 8377 0 -1 0 21691 0 0 0 19931 68 0 0 25 0 1 0 835777331 25223168 5384 4294967295 134512640 134716908 3221224592 3221223220 134543092 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6158 5384 1111 63 0 6095 0
vsize: 24632
[startup+210.005 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 5251
Raw data (stat): 5251 (bsolo_lpr-v2) R 5250 8378 8377 0 -1 0 21691 0 0 0 20930 70 0 0 25 0 1 0 835777331 25223168 5384 4294967295 134512640 134716908 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6158 5384 1111 63 0 6095 0
vsize: 24632
[startup+220.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 5251
Raw data (stat): 5251 (bsolo_lpr-v2) R 5250 8378 8377 0 -1 0 21693 0 0 0 21930 70 0 0 25 0 1 0 835777331 25223168 5386 4294967295 134512640 134716908 3221224592 3221223328 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6158 5386 1111 63 0 6095 0
vsize: 24632
[startup+230.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 5251
Raw data (stat): 5251 (bsolo_lpr-v2) R 5250 8378 8377 0 -1 0 21696 0 0 0 22927 73 0 0 25 0 1 0 835777331 25223168 5389 4294967295 134512640 134716908 3221224592 3221223152 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6158 5389 1111 63 0 6095 0
vsize: 24632
[startup+240.005 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 5251
Raw data (stat): 5251 (bsolo_lpr-v2) R 5250 8378 8377 0 -1 0 21708 0 0 0 23926 74 0 0 25 0 1 0 835777331 25223168 5401 4294967295 134512640 134716908 3221224592 3221223272 134613621 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6158 5401 1111 63 0 6095 0
vsize: 24632
[startup+250.005 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 5251
Raw data (stat): 5251 (bsolo_lpr-v2) R 5250 8378 8377 0 -1 0 21725 0 0 0 24925 76 0 0 25 0 1 0 835777331 25358336 5418 4294967295 134512640 134716908 3221224592 3221223196 134536817 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6191 5418 1111 63 0 6128 0
vsize: 24764
[startup+260.005 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 5251
Raw data (stat): 5251 (bsolo_lpr-v2) R 5250 8378 8377 0 -1 0 21725 0 0 0 25924 77 0 0 25 0 1 0 835777331 25358336 5418 4294967295 134512640 134716908 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6191 5418 1111 63 0 6128 0
vsize: 24764
[startup+270.005 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 5251
Raw data (stat): 5251 (bsolo_lpr-v2) R 5250 8378 8377 0 -1 0 21733 0 0 0 26923 78 0 0 25 0 1 0 835777331 25358336 5426 4294967295 134512640 134716908 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6191 5426 1111 63 0 6128 0
vsize: 24764
[startup+280.005 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 5251
Raw data (stat): 5251 (bsolo_lpr-v2) R 5250 8378 8377 0 -1 0 21736 0 0 0 27922 79 0 0 25 0 1 0 835777331 25358336 5429 4294967295 134512640 134716908 3221224592 3221223200 134549474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6191 5429 1111 63 0 6128 0
vsize: 24764
[startup+290.005 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 5251
Raw data (stat): 5251 (bsolo_lpr-v2) R 5250 8378 8377 0 -1 0 21736 0 0 0 28921 80 0 0 25 0 1 0 835777331 25358336 5429 4294967295 134512640 134716908 3221224592 3221223200 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6191 5429 1111 63 0 6128 0
vsize: 24764
[startup+300.005 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 5251
Raw data (stat): 5251 (bsolo_lpr-v2) R 5250 8378 8377 0 -1 0 21762 0 0 0 29920 81 0 0 25 0 1 0 835777331 25493504 5455 4294967295 134512640 134716908 3221224592 3221223356 134524382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6224 5455 1111 63 0 6161 0
vsize: 24896
[startup+310.005 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 5251
Raw data (stat): 5251 (bsolo_lpr-v2) R 5250 8378 8377 0 -1 0 21762 0 0 0 30920 82 0 0 25 0 1 0 835777331 25493504 5455 4294967295 134512640 134716908 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6224 5455 1111 63 0 6161 0
vsize: 24896
[startup+320.005 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 5251
Raw data (stat): 5251 (bsolo_lpr-v2) R 5250 8378 8377 0 -1 0 21775 0 0 0 31919 83 0 0 25 0 1 0 835777331 25493504 5468 4294967295 134512640 134716908 3221224592 3221223232 134698453 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6224 5468 1111 63 0 6161 0
vsize: 24896
[startup+330.005 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 5251
Raw data (stat): 5251 (bsolo_lpr-v2) R 5250 8378 8377 0 -1 0 21788 0 0 0 32917 85 0 0 25 0 1 0 835777331 25620480 5481 4294967295 134512640 134716908 3221224592 3221223376 134597578 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6255 5481 1111 63 0 6192 0
vsize: 25020
[startup+340.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 5251
Raw data (stat): 5251 (bsolo_lpr-v2) R 5250 8378 8377 0 -1 0 21788 0 0 0 33916 86 0 0 25 0 1 0 835777331 25620480 5481 4294967295 134512640 134716908 3221224592 3221223248 134524067 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6255 5481 1111 63 0 6192 0
vsize: 25020
[startup+350.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 5251
Raw data (stat): 5251 (bsolo_lpr-v2) R 5250 8378 8377 0 -1 0 21803 0 0 0 34915 87 0 0 25 0 1 0 835777331 25620480 5496 4294967295 134512640 134716908 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6255 5496 1111 63 0 6192 0
vsize: 25020
[startup+360.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 5251
Raw data (stat): 5251 (bsolo_lpr-v2) R 5250 8378 8377 0 -1 0 21806 0 0 0 35914 89 0 0 25 0 1 0 835777331 25620480 5499 4294967295 134512640 134716908 3221224592 3221223100 134535981 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6255 5499 1111 63 0 6192 0
vsize: 25020
[startup+370.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 5251
Raw data (stat): 5251 (bsolo_lpr-v2) R 5250 8378 8377 0 -1 0 21812 0 0 0 36913 90 0 0 25 0 1 0 835777331 25702400 5505 4294967295 134512640 134716908 3221224592 3221223200 134549305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6275 5505 1111 63 0 6212 0
vsize: 25100
[startup+380.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 5251
Raw data (stat): 5251 (bsolo_lpr-v2) R 5250 8378 8377 0 -1 0 21812 0 0 0 37912 91 0 0 25 0 1 0 835777331 25702400 5505 4294967295 134512640 134716908 3221224592 3221223280 134542848 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6275 5505 1111 63 0 6212 0
vsize: 25100
[startup+390.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 5251
Raw data (stat): 5251 (bsolo_lpr-v2) R 5250 8378 8377 0 -1 0 21812 0 0 0 38911 92 0 0 25 0 1 0 835777331 25702400 5505 4294967295 134512640 134716908 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6275 5505 1111 63 0 6212 0
vsize: 25100
[startup+400.008 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 5251
Raw data (stat): 5251 (bsolo_lpr-v2) R 5250 8378 8377 0 -1 0 21817 0 0 0 39910 93 0 0 25 0 1 0 835777331 25702400 5510 4294967295 134512640 134716908 3221224592 3221223236 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6275 5510 1111 63 0 6212 0
vsize: 25100
[startup+410.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 5251
Raw data (stat): 5251 (bsolo_lpr-v2) R 5250 8378 8377 0 -1 0 21840 0 0 0 40909 95 0 0 25 0 1 0 835777331 25788416 5533 4294967295 134512640 134716908 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6296 5533 1111 63 0 6233 0
vsize: 25184
[startup+420.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 5251
Raw data (stat): 5251 (bsolo_lpr-v2) R 5250 8378 8377 0 -1 0 21850 0 0 0 41908 96 0 0 25 0 1 0 835777331 25788416 5543 4294967295 134512640 134716908 3221224592 3221223184 134542677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6296 5543 1111 63 0 6233 0
vsize: 25184
[startup+430.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 5251
Raw data (stat): 5251 (bsolo_lpr-v2) R 5250 8378 8377 0 -1 0 21882 0 0 0 42907 97 0 0 25 0 1 0 835777331 26042368 5575 4294967295 134512640 134716908 3221224592 3221223216 134542300 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6358 5575 1111 63 0 6295 0
vsize: 25432
[startup+440.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 5251
Raw data (stat): 5251 (bsolo_lpr-v2) R 5250 8378 8377 0 -1 0 21893 0 0 0 43906 98 0 0 25 0 1 0 835777331 26042368 5586 4294967295 134512640 134716908 3221224592 3221223284 134528601 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6358 5586 1111 63 0 6295 0
vsize: 25432
[startup+450.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 5251
Raw data (stat): 5251 (bsolo_lpr-v2) R 5250 8378 8377 0 -1 0 21893 0 0 0 44904 100 0 0 25 0 1 0 835777331 26042368 5586 4294967295 134512640 134716908 3221224592 3221223232 134613447 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6358 5586 1111 63 0 6295 0
vsize: 25432
[startup+460.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 5251
Raw data (stat): 5251 (bsolo_lpr-v2) R 5250 8378 8377 0 -1 0 21916 0 0 0 45903 101 0 0 25 0 1 0 835777331 26144768 5609 4294967295 134512640 134716908 3221224592 3221223136 134543043 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6383 5609 1111 63 0 6320 0
vsize: 25532
[startup+470.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 5251
Raw data (stat): 5251 (bsolo_lpr-v2) R 5250 8378 8377 0 -1 0 21925 0 0 0 46902 102 0 0 25 0 1 0 835777331 26144768 5618 4294967295 134512640 134716908 3221224592 3221223168 134542368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6383 5618 1111 63 0 6320 0
vsize: 25532
[startup+480.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 5251
Raw data (stat): 5251 (bsolo_lpr-v2) R 5250 8378 8377 0 -1 0 21943 0 0 0 47901 104 0 0 25 0 1 0 835777331 26259456 5636 4294967295 134512640 134716908 3221224592 3221223360 134529381 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6411 5636 1111 63 0 6348 0
vsize: 25644
[startup+490.008 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 5251
Raw data (stat): 5251 (bsolo_lpr-v2) R 5250 8378 8377 0 -1 0 21952 0 0 0 48900 105 0 0 25 0 1 0 835777331 26259456 5645 4294967295 134512640 134716908 3221224592 3221223200 134549457 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6411 5645 1111 63 0 6348 0
vsize: 25644
[startup+500.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 5251
Raw data (stat): 5251 (bsolo_lpr-v2) R 5250 8378 8377 0 -1 0 21955 0 0 0 49898 107 0 0 25 0 1 0 835777331 26259456 5648 4294967295 134512640 134716908 3221224592 3221223296 134528650 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6411 5648 1111 63 0 6348 0
vsize: 25644
[startup+510.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 5251
Raw data (stat): 5251 (bsolo_lpr-v2) R 5250 8378 8377 0 -1 0 21955 0 0 0 50897 109 0 0 25 0 1 0 835777331 26259456 5648 4294967295 134512640 134716908 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6411 5648 1111 63 0 6348 0
vsize: 25644
[startup+520.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 5251
Raw data (stat): 5251 (bsolo_lpr-v2) R 5250 8378 8377 0 -1 0 21960 0 0 0 51895 110 0 0 25 0 1 0 835777331 26259456 5653 4294967295 134512640 134716908 3221224592 3221223388 134588029 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6411 5653 1111 63 0 6348 0
vsize: 25644
[startup+530.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 5251
Raw data (stat): 5251 (bsolo_lpr-v2) R 5250 8378 8377 0 -1 0 21964 0 0 0 52895 111 0 0 25 0 1 0 835777331 26259456 5657 4294967295 134512640 134716908 3221224592 3221223216 134542368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6411 5657 1111 63 0 6348 0
vsize: 25644
[startup+540.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 5251
Raw data (stat): 5251 (bsolo_lpr-v2) R 5250 8378 8377 0 -1 0 21976 0 0 0 53893 113 0 0 25 0 1 0 835777331 26390528 5669 4294967295 134512640 134716908 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6443 5669 1111 63 0 6380 0
vsize: 25772
[startup+550.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 5251
Raw data (stat): 5251 (bsolo_lpr-v2) R 5250 8378 8377 0 -1 0 21980 0 0 0 54891 115 0 0 25 0 1 0 835777331 26390528 5673 4294967295 134512640 134716908 3221224592 3221223216 134698633 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6443 5673 1111 63 0 6380 0
vsize: 25772
[startup+560.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 5251
Raw data (stat): 5251 (bsolo_lpr-v2) R 5250 8378 8377 0 -1 0 21984 0 0 0 55890 116 0 0 25 0 1 0 835777331 26390528 5677 4294967295 134512640 134716908 3221224592 3221223236 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6443 5677 1111 63 0 6380 0
vsize: 25772
[startup+570.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 5251
Raw data (stat): 5251 (bsolo_lpr-v2) R 5250 8378 8377 0 -1 0 21984 0 0 0 56889 117 0 0 25 0 1 0 835777331 26390528 5677 4294967295 134512640 134716908 3221224592 3221223328 134535750 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6443 5677 1111 63 0 6380 0
vsize: 25772
[startup+580.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 5251
Raw data (stat): 5251 (bsolo_lpr-v2) R 5250 8378 8377 0 -1 0 22009 0 0 0 57888 119 0 0 25 0 1 0 835777331 26484736 5702 4294967295 134512640 134716908 3221224592 3221223248 134543735 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6466 5702 1111 63 0 6403 0
vsize: 25864
[startup+590.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 5251
Raw data (stat): 5251 (bsolo_lpr-v2) R 5250 8378 8377 0 -1 0 22016 0 0 0 58887 120 0 0 25 0 1 0 835777331 26484736 5709 4294967295 134512640 134716908 3221224592 3221223184 134543756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6466 5709 1111 63 0 6403 0
vsize: 25864
[startup+600.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 5251
Raw data (stat): 5251 (bsolo_lpr-v2) R 5250 8378 8377 0 -1 0 22044 0 0 0 59885 122 0 0 25 0 1 0 835777331 26619904 5737 4294967295 134512640 134716908 3221224592 3221223352 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6499 5737 1111 63 0 6436 0
vsize: 25996
[startup+610.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 5251
Raw data (stat): 5251 (bsolo_lpr-v2) R 5250 8378 8377 0 -1 0 22049 0 0 0 60885 122 0 0 25 0 1 0 835777331 26619904 5742 4294967295 134512640 134716908 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6499 5742 1111 63 0 6436 0
vsize: 25996
[startup+620.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 5251
Raw data (stat): 5251 (bsolo_lpr-v2) R 5250 8378 8377 0 -1 0 22049 0 0 0 61884 124 0 0 25 0 1 0 835777331 26619904 5742 4294967295 134512640 134716908 3221224592 3221223100 134535952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6499 5742 1111 63 0 6436 0
vsize: 25996
[startup+630.008 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 5251
Raw data (stat): 5251 (bsolo_lpr-v2) R 5250 8378 8377 0 -1 0 22058 0 0 0 62883 125 0 0 25 0 1 0 835777331 26755072 5751 4294967295 134512640 134716908 3221224592 3221223232 134698445 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6532 5751 1111 63 0 6469 0
vsize: 26128
[startup+640.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 5251
Raw data (stat): 5251 (bsolo_lpr-v2) R 5250 8378 8377 0 -1 0 22058 0 0 0 63882 126 0 0 25 0 1 0 835777331 26755072 5751 4294967295 134512640 134716908 3221224592 3221223200 134549296 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6532 5751 1111 63 0 6469 0
vsize: 26128
[startup+650.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 5251
Raw data (stat): 5251 (bsolo_lpr-v2) R 5250 8378 8377 0 -1 0 22062 0 0 0 64881 127 0 0 25 0 1 0 835777331 26730496 5755 4294967295 134512640 134716908 3221224592 3221223200 134549313 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6526 5755 1111 63 0 6463 0
vsize: 26104
[startup+660.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 5251
Raw data (stat): 5251 (bsolo_lpr-v2) R 5250 8378 8377 0 -1 0 22068 0 0 0 65880 128 0 0 25 0 1 0 835777331 26730496 5761 4294967295 134512640 134716908 3221224592 3221223260 134543653 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6526 5761 1111 63 0 6463 0
vsize: 26104
[startup+670.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 5251
Raw data (stat): 5251 (bsolo_lpr-v2) R 5250 8378 8377 0 -1 0 22073 0 0 0 66878 130 0 0 25 0 1 0 835777331 26730496 5766 4294967295 134512640 134716908 3221224592 3221223100 134535928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6526 5766 1111 63 0 6463 0
vsize: 26104
[startup+680.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 5251
Raw data (stat): 5251 (bsolo_lpr-v2) R 5250 8378 8377 0 -1 0 22074 0 0 0 67878 130 0 0 25 0 1 0 835777331 26730496 5767 4294967295 134512640 134716908 3221224592 3221223376 134529091 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6526 5767 1111 63 0 6463 0
vsize: 26104
[startup+690.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 5251
Raw data (stat): 5251 (bsolo_lpr-v2) R 5250 8378 8377 0 -1 0 22086 0 0 0 68877 132 0 0 25 0 1 0 835777331 26836992 5779 4294967295 134512640 134716908 3221224592 3221223296 134528677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6552 5779 1111 63 0 6489 0
vsize: 26208
[startup+700.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 5251
Raw data (stat): 5251 (bsolo_lpr-v2) R 5250 8378 8377 0 -1 0 22092 0 0 0 69876 132 0 0 25 0 1 0 835777331 26836992 5785 4294967295 134512640 134716908 3221224592 3221223232 134698487 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6552 5785 1111 63 0 6489 0
vsize: 26208
[startup+710.011 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 5251
Raw data (stat): 5251 (bsolo_lpr-v2) R 5250 8378 8377 0 -1 0 22103 0 0 0 70876 133 0 0 25 0 1 0 835777331 26836992 5796 4294967295 134512640 134716908 3221224592 3221223416 134590012 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6552 5796 1111 63 0 6489 0
vsize: 26208
[startup+720.011 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 5251
Raw data (stat): 5251 (bsolo_lpr-v2) R 5250 8378 8377 0 -1 0 22109 0 0 0 71875 134 0 0 25 0 1 0 835777331 26955776 5802 4294967295 134512640 134716908 3221224592 3221223172 134543092 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6581 5802 1111 63 0 6518 0
vsize: 26324
[startup+730.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 5251
Raw data (stat): 5251 (bsolo_lpr-v2) R 5250 8378 8377 0 -1 0 22109 0 0 0 72874 135 0 0 25 0 1 0 835777331 26955776 5802 4294967295 134512640 134716908 3221224592 3221223192 134542822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6581 5802 1111 63 0 6518 0
vsize: 26324
[startup+740.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 5251
Raw data (stat): 5251 (bsolo_lpr-v2) R 5250 8378 8377 0 -1 0 22109 0 0 0 73873 136 0 0 25 0 1 0 835777331 26955776 5802 4294967295 134512640 134716908 3221224592 3221223152 134542303 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6581 5802 1111 63 0 6518 0
vsize: 26324
[startup+750.011 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 5251
Raw data (stat): 5251 (bsolo_lpr-v2) R 5250 8378 8377 0 -1 0 22110 0 0 0 74872 138 0 0 25 0 1 0 835777331 26955776 5803 4294967295 134512640 134716908 3221224592 3221223224 134543090 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6581 5803 1111 63 0 6518 0
vsize: 26324
[startup+760.011 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 5251
Raw data (stat): 5251 (bsolo_lpr-v2) R 5250 8378 8377 0 -1 0 22110 0 0 0 75871 139 0 0 25 0 1 0 835777331 26955776 5803 4294967295 134512640 134716908 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6581 5803 1111 63 0 6518 0
vsize: 26324
[startup+770.011 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 5251
Raw data (stat): 5251 (bsolo_lpr-v2) R 5250 8378 8377 0 -1 0 22110 0 0 0 76870 140 0 0 25 0 1 0 835777331 26955776 5803 4294967295 134512640 134716908 3221224592 3221223196 134536817 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6581 5803 1111 63 0 6518 0
vsize: 26324
[startup+780.012 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 5251
Raw data (stat): 5251 (bsolo_lpr-v2) R 5250 8378 8377 0 -1 0 22112 0 0 0 77870 141 0 0 25 0 1 0 835777331 26955776 5805 4294967295 134512640 134716908 3221224592 3221223180 134543588 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6581 5805 1111 63 0 6518 0
vsize: 26324
[startup+790.012 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 5251
Raw data (stat): 5251 (bsolo_lpr-v2) R 5250 8378 8377 0 -1 0 22115 0 0 0 78869 141 0 0 25 0 1 0 835777331 26955776 5808 4294967295 134512640 134716908 3221224592 3221223352 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6581 5808 1111 63 0 6518 0
vsize: 26324
[startup+800.012 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 5251
Raw data (stat): 5251 (bsolo_lpr-v2) R 5250 8378 8377 0 -1 0 22122 0 0 0 79869 142 0 0 25 0 1 0 835777331 26955776 5815 4294967295 134512640 134716908 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6581 5815 1111 63 0 6518 0
vsize: 26324
[startup+810.012 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 5251
Raw data (stat): 5251 (bsolo_lpr-v2) R 5250 8378 8377 0 -1 0 22123 0 0 0 80868 143 0 0 25 0 1 0 835777331 26955776 5816 4294967295 134512640 134716908 3221224592 3221223184 134549548 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6581 5816 1111 63 0 6518 0
vsize: 26324
[startup+820.013 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 5251
Raw data (stat): 5251 (bsolo_lpr-v2) R 5250 8378 8377 0 -1 0 22123 0 0 0 81867 144 0 0 25 0 1 0 835777331 26955776 5816 4294967295 134512640 134716908 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6581 5816 1111 63 0 6518 0
vsize: 26324
[startup+830.013 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 5251
Raw data (stat): 5251 (bsolo_lpr-v2) R 5250 8378 8377 0 -1 0 22123 0 0 0 82867 145 0 0 25 0 1 0 835777331 26955776 5816 4294967295 134512640 134716908 3221224592 3221223316 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6581 5816 1111 63 0 6518 0
vsize: 26324
[startup+840.013 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 5251
Raw data (stat): 5251 (bsolo_lpr-v2) R 5250 8378 8377 0 -1 0 22123 0 0 0 83866 145 0 0 25 0 1 0 835777331 26955776 5816 4294967295 134512640 134716908 3221224592 3221223376 134597614 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6581 5816 1111 63 0 6518 0
vsize: 26324
[startup+850.014 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 5251
Raw data (stat): 5251 (bsolo_lpr-v2) R 5250 8378 8377 0 -1 0 22123 0 0 0 84866 146 0 0 25 0 1 0 835777331 26955776 5816 4294967295 134512640 134716908 3221224592 3221223328 134524376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6581 5816 1111 63 0 6518 0
vsize: 26324
[startup+860.014 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 5251
Raw data (stat): 5251 (bsolo_lpr-v2) R 5250 8378 8377 0 -1 0 22127 0 0 0 85866 146 0 0 25 0 1 0 835777331 26955776 5820 4294967295 134512640 134716908 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6581 5820 1111 63 0 6518 0
vsize: 26324
[startup+870.014 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 5251
Raw data (stat): 5251 (bsolo_lpr-v2) R 5250 8378 8377 0 -1 0 22127 0 0 0 86865 147 0 0 25 0 1 0 835777331 26955776 5820 4294967295 134512640 134716908 3221224592 3221223264 134542936 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6581 5820 1111 63 0 6518 0
vsize: 26324
[startup+880.015 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 5251
Raw data (stat): 5251 (bsolo_lpr-v2) R 5250 8378 8377 0 -1 0 22127 0 0 0 87864 148 0 0 25 0 1 0 835777331 26955776 5820 4294967295 134512640 134716908 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6581 5820 1111 63 0 6518 0
vsize: 26324
[startup+890.014 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 5251
Raw data (stat): 5251 (bsolo_lpr-v2) R 5250 8378 8377 0 -1 0 22127 0 0 0 88863 149 0 0 25 0 1 0 835777331 26955776 5820 4294967295 134512640 134716908 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6581 5820 1111 63 0 6518 0
vsize: 26324
[startup+900.014 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 5251
Raw data (stat): 5251 (bsolo_lpr-v2) R 5250 8378 8377 0 -1 0 22127 0 0 0 89862 150 0 0 25 0 1 0 835777331 26955776 5820 4294967295 134512640 134716908 3221224592 3221223368 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6581 5820 1111 63 0 6518 0
vsize: 26324
[startup+910.014 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 5251
Raw data (stat): 5251 (bsolo_lpr-v2) R 5250 8378 8377 0 -1 0 22127 0 0 0 90861 151 0 0 25 0 1 0 835777331 26955776 5820 4294967295 134512640 134716908 3221224592 3221223336 134551620 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6581 5820 1111 63 0 6518 0
vsize: 26324
[startup+920.014 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 5251
Raw data (stat): 5251 (bsolo_lpr-v2) R 5250 8378 8377 0 -1 0 22127 0 0 0 91861 152 0 0 25 0 1 0 835777331 26955776 5820 4294967295 134512640 134716908 3221224592 3221223196 134536831 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6581 5820 1111 63 0 6518 0
vsize: 26324
[startup+930.014 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 5251
Raw data (stat): 5251 (bsolo_lpr-v2) R 5250 8378 8377 0 -1 0 22127 0 0 0 92860 153 0 0 25 0 1 0 835777331 26955776 5820 4294967295 134512640 134716908 3221224592 3221223368 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6581 5820 1111 63 0 6518 0
vsize: 26324
[startup+940.014 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 5251
Raw data (stat): 5251 (bsolo_lpr-v2) R 5250 8378 8377 0 -1 0 22127 0 0 0 93859 154 0 0 25 0 1 0 835777331 26955776 5820 4294967295 134512640 134716908 3221224592 3221223356 134675436 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6581 5820 1111 63 0 6518 0
vsize: 26324
[startup+950.015 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 5251
Raw data (stat): 5251 (bsolo_lpr-v2) R 5250 8378 8377 0 -1 0 22127 0 0 0 94858 155 0 0 25 0 1 0 835777331 26955776 5820 4294967295 134512640 134716908 3221224592 3221223216 134542303 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6581 5820 1111 63 0 6518 0
vsize: 26324
[startup+960.015 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 5251
Raw data (stat): 5251 (bsolo_lpr-v2) R 5250 8378 8377 0 -1 0 22127 0 0 0 95858 156 0 0 25 0 1 0 835777331 26955776 5820 4294967295 134512640 134716908 3221224592 3221223200 134549474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6581 5820 1111 63 0 6518 0
vsize: 26324
[startup+970.015 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 5251
Raw data (stat): 5251 (bsolo_lpr-v2) R 5250 8378 8377 0 -1 0 22127 0 0 0 96857 157 0 0 25 0 1 0 835777331 26955776 5820 4294967295 134512640 134716908 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6581 5820 1111 63 0 6518 0
vsize: 26324
[startup+980.015 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 5251
Raw data (stat): 5251 (bsolo_lpr-v2) R 5250 8378 8377 0 -1 0 22132 0 0 0 97856 158 0 0 25 0 1 0 835777331 26955776 5825 4294967295 134512640 134716908 3221224592 3221223256 134543614 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6581 5825 1111 63 0 6518 0
vsize: 26324
[startup+990.015 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 5251
Raw data (stat): 5251 (bsolo_lpr-v2) R 5250 8378 8377 0 -1 0 22132 0 0 0 98856 158 0 0 25 0 1 0 835777331 26955776 5825 4294967295 134512640 134716908 3221224592 3221223264 134543738 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6581 5825 1111 63 0 6518 0
vsize: 26324
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 5251
Raw data (stat): 5251 (bsolo_lpr-v2) R 5250 8378 8377 0 -1 0 22136 0 0 0 99856 159 0 0 25 0 1 0 835777331 26955776 5829 4294967295 134512640 134716908 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6581 5829 1111 63 0 6518 0
vsize: 26324
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 5251
Raw data (stat): 5251 (bsolo_lpr-v2) R 5250 8378 8377 0 -1 0 22144 0 0 0 100854 160 0 0 25 0 1 0 835777331 27074560 5837 4294967295 134512640 134716908 3221224592 3221223248 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6610 5837 1111 63 0 6547 0
vsize: 26440
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 5251
Raw data (stat): 5251 (bsolo_lpr-v2) R 5250 8378 8377 0 -1 0 22144 0 0 0 101854 161 0 0 25 0 1 0 835777331 27074560 5837 4294967295 134512640 134716908 3221224592 3221223264 134542963 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6610 5837 1111 63 0 6547 0
vsize: 26440
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 5251
Raw data (stat): 5251 (bsolo_lpr-v2) R 5250 8378 8377 0 -1 0 22151 0 0 0 102853 162 0 0 25 0 1 0 835777331 27041792 5844 4294967295 134512640 134716908 3221224592 3221223392 134597692 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6602 5844 1111 63 0 6539 0
vsize: 26408
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 5251
Raw data (stat): 5251 (bsolo_lpr-v2) R 5250 8378 8377 0 -1 0 22162 0 0 0 103852 163 0 0 25 0 1 0 835777331 27176960 5855 4294967295 134512640 134716908 3221224592 3221223368 134600349 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6635 5855 1111 63 0 6572 0
vsize: 26540
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 5251
Raw data (stat): 5251 (bsolo_lpr-v2) R 5250 8378 8377 0 -1 0 22173 0 0 0 104851 164 0 0 25 0 1 0 835777331 27176960 5866 4294967295 134512640 134716908 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6635 5866 1111 63 0 6572 0
vsize: 26540
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 5251
Raw data (stat): 5251 (bsolo_lpr-v2) R 5250 8378 8377 0 -1 0 22175 0 0 0 105850 165 0 0 25 0 1 0 835777331 27176960 5868 4294967295 134512640 134716908 3221224592 3221223152 134542347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6635 5868 1111 63 0 6572 0
vsize: 26540
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 5251
Raw data (stat): 5251 (bsolo_lpr-v2) R 5250 8378 8377 0 -1 0 22175 0 0 0 106849 166 0 0 25 0 1 0 835777331 27176960 5868 4294967295 134512640 134716908 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6635 5868 1111 63 0 6572 0
vsize: 26540
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 5251
Raw data (stat): 5251 (bsolo_lpr-v2) R 5250 8378 8377 0 -1 0 22175 0 0 0 107848 167 0 0 25 0 1 0 835777331 27176960 5868 4294967295 134512640 134716908 3221224592 3221223376 134529237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6635 5868 1111 63 0 6572 0
vsize: 26540
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 5251
Raw data (stat): 5251 (bsolo_lpr-v2) R 5250 8378 8377 0 -1 0 22175 0 0 0 108846 170 0 0 25 0 1 0 835777331 27176960 5868 4294967295 134512640 134716908 3221224592 3221223292 134543760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6635 5868 1111 63 0 6572 0
vsize: 26540
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 5251
Raw data (stat): 5251 (bsolo_lpr-v2) R 5250 8378 8377 0 -1 0 22176 0 0 0 109845 171 0 0 25 0 1 0 835777331 27176960 5869 4294967295 134512640 134716908 3221224592 3221223360 134529381 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6635 5869 1111 63 0 6572 0
vsize: 26540
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 5251
Raw data (stat): 5251 (bsolo_lpr-v2) R 5250 8378 8377 0 -1 0 22178 0 0 0 110845 172 0 0 25 0 1 0 835777331 27176960 5871 4294967295 134512640 134716908 3221224592 3221223232 134698481 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6635 5871 1111 63 0 6572 0
vsize: 26540
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 5251
Raw data (stat): 5251 (bsolo_lpr-v2) R 5250 8378 8377 0 -1 0 22178 0 0 0 111843 173 0 0 25 0 1 0 835777331 27176960 5871 4294967295 134512640 134716908 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6635 5871 1111 63 0 6572 0
vsize: 26540
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 5251
Raw data (stat): 5251 (bsolo_lpr-v2) R 5250 8378 8377 0 -1 0 22178 0 0 0 112842 174 0 0 25 0 1 0 835777331 27176960 5871 4294967295 134512640 134716908 3221224592 3221223376 134584919 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6635 5871 1111 63 0 6572 0
vsize: 26540
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 5251
Raw data (stat): 5251 (bsolo_lpr-v2) R 5250 8378 8377 0 -1 0 22180 0 0 0 113841 175 0 0 25 0 1 0 835777331 27176960 5873 4294967295 134512640 134716908 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6635 5873 1111 63 0 6572 0
vsize: 26540
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 5251
Raw data (stat): 5251 (bsolo_lpr-v2) R 5250 8378 8377 0 -1 0 22180 0 0 0 114841 176 0 0 25 0 1 0 835777331 27176960 5873 4294967295 134512640 134716908 3221224592 3221223312 134535762 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6635 5873 1111 63 0 6572 0
vsize: 26540
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 5251
Raw data (stat): 5251 (bsolo_lpr-v2) R 5250 8378 8377 0 -1 0 22180 0 0 0 115839 178 0 0 25 0 1 0 835777331 27176960 5873 4294967295 134512640 134716908 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6635 5873 1111 63 0 6572 0
vsize: 26540
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 5251
Raw data (stat): 5251 (bsolo_lpr-v2) R 5250 8378 8377 0 -1 0 22182 0 0 0 116838 179 0 0 25 0 1 0 835777331 27176960 5875 4294967295 134512640 134716908 3221224592 3221223196 134536766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6635 5875 1111 63 0 6572 0
vsize: 26540
[startup+1174.86 s]
Raw data (loadavg): 0.99 0.98 0.92 1/54 5251
Raw data (stat): 5251 (bsolo_lpr-v2) R 5250 8378 8377 0 -1 0 22182 0 0 0 116838 179 0 0 25 0 1 0 835777331 27176960 5875 4294967295 134512640 134716908 3221224592 3221223196 134536766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6635 5875 1111 63 0 6572 0
vsize: 0

Child status: 0
Real time (s): 1174.86
CPU time (s): 1175.02
CPU user time (s): 1173.2
CPU system time (s): 1.81572
CPU usage (%): 100.014
Max. virtual memory (Kb): 36648
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####