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/een/normalized-nw04.opb
MD5SUM	c4c13764e2ea959929790d6ef6d0273c
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
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	87482
Biggest coefficient in the objective function	5220
Number of bits for the biggest coefficient in the objective function	13
Sum of the numbers in the objective function	120189580
Number of bits of the sum of numbers in the objective function	27
Biggest number in a constraint	42031
Number of bits of the biggest number in a constraint	16
Biggest sum of numbers in a constraint	120189580
Number of bits of the biggest sum of numbers	27
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	18.0483
Number of variables	87482
Total number of constraints	72
Number of constraints which are clauses	36
Number of constraints which are cardinality constraints (but not clauses)	36
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	599
Maximum length of a constraint	42032
Trace number 39776

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-07 20:16:50 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27834 boxname=wulflinc4 idbench=392 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  c4c13764e2ea959929790d6ef6d0273c  /oldhome/oroussel/tmp/wulflinc4/normalized-nw04.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-nw04.opb
IDLAUNCH: 27834
/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:        882788 kB
Buffers:         34032 kB
Cached:          94176 kB
SwapCached:        992 kB
Active:          55948 kB
Inactive:        74440 kB
HighTotal:      131008 kB
HighFree:        65660 kB
LowTotal:       903652 kB
LowFree:        817128 kB
SwapTotal:     2097136 kB
SwapFree:      2095204 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4928 kB
Slab:            15720 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 20:36:53 (client local time) WITH STATUS 0 IN 1200.24 SECONDS
stats: 27834 7 1200.24 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
#### 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.95 0.91 2/54 19559
Raw data (stat): 19559 (runsolver) R 19558 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 895795559 884736 94 4294967295 134512640 135332820 3221224480 3221219660 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0005 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 19559
Raw data (stat): 19559 (bsolo_lpr-v2) R 19558 21152 21151 0 -1 0 793 0 0 0 995 3 0 0 25 0 1 0 895795559 15347712 713 4294967295 134512640 134716908 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3747 713 1111 63 0 3684 0
vsize: 14988
[startup+20.0008 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 19559
Raw data (stat): 19559 (bsolo_lpr-v2) R 19558 21152 21151 0 -1 0 848 0 0 0 1995 3 0 0 25 0 1 0 895795559 15618048 768 4294967295 134512640 134716908 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3813 768 1111 63 0 3750 0
vsize: 15252
[startup+30.001 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 19559
Raw data (stat): 19559 (bsolo_lpr-v2) R 19558 21152 21151 0 -1 0 900 0 0 0 2995 3 0 0 25 0 1 0 895795559 15753216 820 4294967295 134512640 134716908 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3846 820 1111 63 0 3783 0
vsize: 15384
[startup+40.0018 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 19559
Raw data (stat): 19559 (bsolo_lpr-v2) R 19558 21152 21151 0 -1 0 958 0 0 0 3995 3 0 0 25 0 1 0 895795559 16023552 878 4294967295 134512640 134716908 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3912 878 1111 63 0 3849 0
vsize: 15648
[startup+50.0023 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 19559
Raw data (stat): 19559 (bsolo_lpr-v2) R 19558 21152 21151 0 -1 0 1013 0 0 0 4995 3 0 0 25 0 1 0 895795559 16293888 933 4294967295 134512640 134716908 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3978 933 1111 63 0 3915 0
vsize: 15912
[startup+60.0025 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 19559
Raw data (stat): 19559 (bsolo_lpr-v2) R 19558 21152 21151 0 -1 0 1066 0 0 0 5995 3 0 0 25 0 1 0 895795559 16429056 986 4294967295 134512640 134716908 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4011 986 1111 63 0 3948 0
vsize: 16044
[startup+70.0033 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 19559
Raw data (stat): 19559 (bsolo_lpr-v2) R 19558 21152 21151 0 -1 0 1127 0 0 0 6995 4 0 0 25 0 1 0 895795559 16707584 1047 4294967295 134512640 134716908 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4079 1047 1111 63 0 4016 0
vsize: 16316
[startup+80.0039 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 19559
Raw data (stat): 19559 (bsolo_lpr-v2) R 19558 21152 21151 0 -1 0 1180 0 0 0 7995 4 0 0 25 0 1 0 895795559 16977920 1100 4294967295 134512640 134716908 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4145 1100 1111 63 0 4082 0
vsize: 16580
[startup+90.0053 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 19559
Raw data (stat): 19559 (bsolo_lpr-v2) R 19558 21152 21151 0 -1 0 1235 0 0 0 8995 4 0 0 25 0 1 0 895795559 17113088 1155 4294967295 134512640 134716908 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4178 1155 1111 63 0 4115 0
vsize: 16712
[startup+100.006 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 19559
Raw data (stat): 19559 (bsolo_lpr-v2) R 19558 21152 21151 0 -1 0 1288 0 0 0 9995 4 0 0 25 0 1 0 895795559 17383424 1208 4294967295 134512640 134716908 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4244 1208 1111 63 0 4181 0
vsize: 16976
[startup+110.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 19559
Raw data (stat): 19559 (bsolo_lpr-v2) R 19558 21152 21151 0 -1 0 1359 0 0 0 10995 4 0 0 25 0 1 0 895795559 17612800 1279 4294967295 134512640 134716908 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4300 1279 1111 63 0 4237 0
vsize: 17200
[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19559
Raw data (stat): 19559 (bsolo_lpr-v2) R 19558 21152 21151 0 -1 0 1416 0 0 0 11995 5 0 0 25 0 1 0 895795559 17891328 1336 4294967295 134512640 134716908 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4368 1336 1111 63 0 4305 0
vsize: 17472
[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19559
Raw data (stat): 19559 (bsolo_lpr-v2) R 19558 21152 21151 0 -1 0 1469 0 0 0 12995 5 0 0 25 0 1 0 895795559 18071552 1389 4294967295 134512640 134716908 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4412 1389 1111 63 0 4349 0
vsize: 17648
[startup+140.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19559
Raw data (stat): 19559 (bsolo_lpr-v2) R 19558 21152 21151 0 -1 0 1537 0 0 0 13995 5 0 0 25 0 1 0 895795559 18427904 1457 4294967295 134512640 134716908 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4499 1457 1111 63 0 4436 0
vsize: 17996
[startup+150.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19559
Raw data (stat): 19559 (bsolo_lpr-v2) R 19558 21152 21151 0 -1 0 1592 0 0 0 14995 5 0 0 25 0 1 0 895795559 18644992 1512 4294967295 134512640 134716908 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4552 1512 1111 63 0 4489 0
vsize: 18208
[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19559
Raw data (stat): 19559 (bsolo_lpr-v2) R 19558 21152 21151 0 -1 0 1651 0 0 0 15995 5 0 0 25 0 1 0 895795559 18874368 1571 4294967295 134512640 134716908 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4608 1571 1111 63 0 4545 0
vsize: 18432
[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19559
Raw data (stat): 19559 (bsolo_lpr-v2) R 19558 21152 21151 0 -1 0 1713 0 0 0 16995 6 0 0 25 0 1 0 895795559 19124224 1633 4294967295 134512640 134716908 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4669 1633 1111 63 0 4606 0
vsize: 18676
[startup+180.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19559
Raw data (stat): 19559 (bsolo_lpr-v2) R 19558 21152 21151 0 -1 0 1770 0 0 0 17995 6 0 0 25 0 1 0 895795559 19300352 1690 4294967295 134512640 134716908 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4712 1690 1111 63 0 4649 0
vsize: 18848
[startup+190.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19559
Raw data (stat): 19559 (bsolo_lpr-v2) R 19558 21152 21151 0 -1 0 1829 0 0 0 18996 6 0 0 25 0 1 0 895795559 19570688 1749 4294967295 134512640 134716908 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4778 1749 1111 63 0 4715 0
vsize: 19112
[startup+200.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19559
Raw data (stat): 19559 (bsolo_lpr-v2) R 19558 21152 21151 0 -1 0 1890 0 0 0 19996 6 0 0 25 0 1 0 895795559 19812352 1810 4294967295 134512640 134716908 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4837 1810 1111 63 0 4774 0
vsize: 19348
[startup+210.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19559
Raw data (stat): 19559 (bsolo_lpr-v2) R 19558 21152 21151 0 -1 0 1941 0 0 0 20996 6 0 0 25 0 1 0 895795559 20013056 1861 4294967295 134512640 134716908 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4886 1861 1111 63 0 4823 0
vsize: 19544
[startup+220.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19559
Raw data (stat): 19559 (bsolo_lpr-v2) R 19558 21152 21151 0 -1 0 2008 0 0 0 21996 6 0 0 25 0 1 0 895795559 20279296 1928 4294967295 134512640 134716908 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4951 1928 1111 63 0 4888 0
vsize: 19804
[startup+230.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19559
Raw data (stat): 19559 (bsolo_lpr-v2) R 19558 21152 21151 0 -1 0 2065 0 0 0 22996 6 0 0 25 0 1 0 895795559 20500480 1985 4294967295 134512640 134716908 3221224592 3221222820 1077414347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5005 1985 1111 63 0 4942 0
vsize: 20020
[startup+240.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19559
Raw data (stat): 19559 (bsolo_lpr-v2) R 19558 21152 21151 0 -1 0 2125 0 0 0 23996 6 0 0 25 0 1 0 895795559 20733952 2045 4294967295 134512640 134716908 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5062 2045 1111 63 0 4999 0
vsize: 20248
[startup+250.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19559
Raw data (stat): 19559 (bsolo_lpr-v2) R 19558 21152 21151 0 -1 0 2185 0 0 0 24996 7 0 0 25 0 1 0 895795559 20975616 2105 4294967295 134512640 134716908 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5121 2105 1111 63 0 5058 0
vsize: 20484
[startup+260.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19559
Raw data (stat): 19559 (bsolo_lpr-v2) R 19558 21152 21151 0 -1 0 2233 0 0 0 25996 7 0 0 25 0 1 0 895795559 21168128 2153 4294967295 134512640 134716908 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5168 2153 1111 63 0 5105 0
vsize: 20672
[startup+270.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19559
Raw data (stat): 19559 (bsolo_lpr-v2) R 19558 21152 21151 0 -1 0 2315 0 0 0 26996 7 0 0 25 0 1 0 895795559 21618688 2235 4294967295 134512640 134716908 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5278 2235 1111 63 0 5215 0
vsize: 21112
[startup+280.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19559
Raw data (stat): 19559 (bsolo_lpr-v2) R 19558 21152 21151 0 -1 0 2541 0 0 0 27994 9 0 0 25 0 1 0 895795559 21958656 2288 4294967295 134512640 134716908 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5361 2288 1111 63 0 5298 0
vsize: 21444
[startup+290.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19559
Raw data (stat): 19559 (bsolo_lpr-v2) R 19558 21152 21151 0 -1 0 2994 0 0 0 28992 12 0 0 25 0 1 0 895795559 22110208 2358 4294967295 134512640 134716908 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5398 2358 1111 63 0 5335 0
vsize: 21592
[startup+300.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19559
Raw data (stat): 19559 (bsolo_lpr-v2) R 19558 21152 21151 0 -1 0 3735 0 0 0 29989 15 0 0 25 0 1 0 895795559 22478848 2417 4294967295 134512640 134716908 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5488 2417 1111 63 0 5425 0
vsize: 21952
[startup+310.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19559
Raw data (stat): 19559 (bsolo_lpr-v2) R 19558 21152 21151 0 -1 0 4752 0 0 0 30986 18 0 0 25 0 1 0 895795559 22712320 2475 4294967295 134512640 134716908 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5545 2475 1111 63 0 5482 0
vsize: 22180
[startup+320.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19559
Raw data (stat): 19559 (bsolo_lpr-v2) R 19558 21152 21151 0 -1 0 5984 0 0 0 31984 20 0 0 25 0 1 0 895795559 22798336 2530 4294967295 134512640 134716908 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5566 2530 1111 63 0 5503 0
vsize: 22264
[startup+330.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19559
Raw data (stat): 19559 (bsolo_lpr-v2) R 19558 21152 21151 0 -1 0 7471 0 0 0 32980 24 0 0 25 0 1 0 895795559 23203840 2598 4294967295 134512640 134716908 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5665 2598 1111 63 0 5602 0
vsize: 22660
[startup+340.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19559
Raw data (stat): 19559 (bsolo_lpr-v2) R 19558 21152 21151 0 -1 0 9196 0 0 0 33976 29 0 0 25 0 1 0 895795559 23207936 2632 4294967295 134512640 134716908 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5666 2632 1111 63 0 5603 0
vsize: 22664
[startup+350.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19559
Raw data (stat): 19559 (bsolo_lpr-v2) R 19558 21152 21151 0 -1 0 11315 0 0 0 34971 34 0 0 25 0 1 0 895795559 23465984 2696 4294967295 134512640 134716908 3221224592 3221222944 134568044 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5729 2696 1111 63 0 5666 0
vsize: 22916
[startup+360.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19559
Raw data (stat): 19559 (bsolo_lpr-v2) R 19558 21152 21151 0 -1 0 13816 0 0 0 35965 40 0 0 25 0 1 0 895795559 23732224 2763 4294967295 134512640 134716908 3221224592 3221222944 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5794 2763 1111 63 0 5731 0
vsize: 23176
[startup+370.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19559
Raw data (stat): 19559 (bsolo_lpr-v2) R 19558 21152 21151 0 -1 0 16737 0 0 0 36958 47 0 0 25 0 1 0 895795559 24006656 2831 4294967295 134512640 134716908 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5861 2831 1111 63 0 5798 0
vsize: 23444
[startup+380.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19559
Raw data (stat): 19559 (bsolo_lpr-v2) R 19558 21152 21151 0 -1 0 19769 0 0 0 37953 52 0 0 25 0 1 0 895795559 24293376 2902 4294967295 134512640 134716908 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5931 2902 1111 63 0 5868 0
vsize: 23724
[startup+390.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19559
Raw data (stat): 19559 (bsolo_lpr-v2) R 19558 21152 21151 0 -1 0 23021 0 0 0 38947 59 0 0 25 0 1 0 895795559 24682496 2967 4294967295 134512640 134716908 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6026 2967 1111 63 0 5963 0
vsize: 24104
[startup+400.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19559
Raw data (stat): 19559 (bsolo_lpr-v2) R 19558 21152 21151 0 -1 0 26318 0 0 0 39940 66 0 0 25 0 1 0 895795559 24686592 3001 4294967295 134512640 134716908 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6027 3001 1111 63 0 5964 0
vsize: 24108
[startup+410.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19559
Raw data (stat): 19559 (bsolo_lpr-v2) R 19558 21152 21151 0 -1 0 30030 0 0 0 40931 75 0 0 25 0 1 0 895795559 24993792 3077 4294967295 134512640 134716908 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6102 3077 1111 63 0 6039 0
vsize: 24408
[startup+420.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19559
Raw data (stat): 19559 (bsolo_lpr-v2) R 19558 21152 21151 0 -1 0 34310 0 0 0 41921 85 0 0 25 0 1 0 895795559 25210880 3132 4294967295 134512640 134716908 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6155 3132 1111 63 0 6092 0
vsize: 24620
[startup+430.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19559
Raw data (stat): 19559 (bsolo_lpr-v2) R 19558 21152 21151 0 -1 0 38710 0 0 0 42913 93 0 0 25 0 1 0 895795559 25640960 3192 4294967295 134512640 134716908 3221224592 3221222944 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6260 3197 1111 63 0 6197 0
vsize: 25040
[startup+440.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19559
Raw data (stat): 19559 (bsolo_lpr-v2) R 19558 21152 21151 0 -1 0 43167 0 0 0 43905 101 0 0 25 0 1 0 895795559 25645056 3240 4294967295 134512640 134716908 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6261 3240 1111 63 0 6198 0
vsize: 25044
[startup+450.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19559
Raw data (stat): 19559 (bsolo_lpr-v2) R 19558 21152 21151 0 -1 0 48049 0 0 0 44896 111 0 0 25 0 1 0 895795559 26206208 3347 4294967295 134512640 134716908 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6398 3347 1111 63 0 6335 0
vsize: 25592
[startup+460.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19559
Raw data (stat): 19559 (bsolo_lpr-v2) R 19558 21152 21151 0 -1 0 52902 0 0 0 45887 119 0 0 25 0 1 0 895795559 26214400 3381 4294967295 134512640 134716908 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6400 3381 1111 63 0 6337 0
vsize: 25600
[startup+470.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19559
Raw data (stat): 19559 (bsolo_lpr-v2) R 19558 21152 21151 0 -1 0 58002 0 0 0 46878 129 0 0 25 0 1 0 895795559 26333184 3412 4294967295 134512640 134716908 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6429 3412 1111 63 0 6366 0
vsize: 25716
[startup+480.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19559
Raw data (stat): 19559 (bsolo_lpr-v2) R 19558 21152 21151 0 -1 0 63141 0 0 0 47868 140 0 0 25 0 1 0 895795559 26574848 3472 4294967295 134512640 134716908 3221224592 3221223248 134527953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6488 3472 1111 63 0 6425 0
vsize: 25952
[startup+490.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19559
Raw data (stat): 19559 (bsolo_lpr-v2) R 19558 21152 21151 0 -1 0 68545 0 0 0 48854 153 0 0 25 0 1 0 895795559 27062272 3560 4294967295 134512640 134716908 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6607 3560 1111 63 0 6544 0
vsize: 26428
[startup+500.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19559
Raw data (stat): 19559 (bsolo_lpr-v2) R 19558 21152 21151 0 -1 0 73972 0 0 0 49844 163 0 0 25 0 1 0 895795559 27070464 3595 4294967295 134512640 134716908 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6609 3595 1111 63 0 6546 0
vsize: 26436
[startup+510.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19559
Raw data (stat): 19559 (bsolo_lpr-v2) R 19558 21152 21151 0 -1 0 80299 0 0 0 50831 176 0 0 25 0 1 0 895795559 27578368 3687 4294967295 134512640 134716908 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6733 3687 1111 63 0 6670 0
vsize: 26932
[startup+520.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19559
Raw data (stat): 19559 (bsolo_lpr-v2) R 19558 21152 21151 0 -1 0 86777 0 0 0 51817 191 0 0 25 0 1 0 895795559 28102656 3754 4294967295 134512640 134716908 3221224592 3221222944 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6861 3754 1111 63 0 6798 0
vsize: 27444
[startup+530.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19559
Raw data (stat): 19559 (bsolo_lpr-v2) R 19558 21152 21151 0 -1 0 94961 0 0 0 52803 205 0 0 25 0 1 0 895795559 28110848 3790 4294967295 134512640 134716908 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6863 3790 1111 63 0 6800 0
vsize: 27452
[startup+540.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19559
Raw data (stat): 19559 (bsolo_lpr-v2) R 19558 21152 21151 0 -1 0 112880 0 0 0 53767 241 0 0 25 0 1 0 895795559 28246016 3823 4294967295 134512640 134716908 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6896 3823 1111 63 0 6833 0
vsize: 27584
[startup+550.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19559
Raw data (stat): 19559 (bsolo_lpr-v2) R 19558 21152 21151 0 -1 0 133863 0 0 0 54723 286 0 0 25 0 1 0 895795559 28659712 3869 4294967295 134512640 134716908 3221224592 3221222944 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6997 3874 1111 63 0 6934 0
vsize: 27988
[startup+560.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19559
Raw data (stat): 19559 (bsolo_lpr-v2) R 19558 21152 21151 0 -1 0 155452 0 0 0 55682 327 0 0 25 0 1 0 895795559 28659712 3918 4294967295 134512640 134716908 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6997 3918 1111 63 0 6934 0
vsize: 27988
[startup+570.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19559
Raw data (stat): 19559 (bsolo_lpr-v2) R 19558 21152 21151 0 -1 0 177594 0 0 0 56639 370 0 0 25 0 1 0 895795559 28930048 3975 4294967295 134512640 134716908 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7063 3975 1111 63 0 7000 0
vsize: 28252
[startup+580.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19559
Raw data (stat): 19559 (bsolo_lpr-v2) R 19558 21152 21151 0 -1 0 200389 0 0 0 57595 415 0 0 25 0 1 0 895795559 29204480 4035 4294967295 134512640 134716908 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7130 4035 1111 63 0 7067 0
vsize: 28520
[startup+590.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19559
Raw data (stat): 19559 (bsolo_lpr-v2) R 19558 21152 21151 0 -1 0 222078 0 0 0 58552 458 0 0 25 0 1 0 895795559 29339648 4088 4294967295 134512640 134716908 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7163 4088 1111 63 0 7100 0
vsize: 28652
[startup+600.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19559
Raw data (stat): 19559 (bsolo_lpr-v2) R 19558 21152 21151 0 -1 0 242255 0 0 0 59512 498 0 0 25 0 1 0 895795559 29765632 4149 4294967295 134512640 134716908 3221224592 3221222944 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7267 4154 1111 63 0 7204 0
vsize: 29068
[startup+610.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19559
Raw data (stat): 19559 (bsolo_lpr-v2) R 19558 21152 21151 0 -1 0 266939 0 0 0 60462 548 0 0 25 0 1 0 895795559 29888512 4201 4294967295 134512640 134716908 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7297 4201 1111 63 0 7234 0
vsize: 29188
[startup+620.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19559
Raw data (stat): 19559 (bsolo_lpr-v2) R 19558 21152 21151 0 -1 0 291431 0 0 0 61412 598 0 0 25 0 1 0 895795559 30023680 4259 4294967295 134512640 134716908 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7330 4259 1111 63 0 7267 0
vsize: 29320
[startup+630.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19559
Raw data (stat): 19559 (bsolo_lpr-v2) R 19558 21152 21151 0 -1 0 315782 0 0 0 62361 649 0 0 25 0 1 0 895795559 30298112 4318 4294967295 134512640 134716908 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7397 4318 1111 63 0 7334 0
vsize: 29588
[startup+640.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19559
Raw data (stat): 19559 (bsolo_lpr-v2) R 19558 21152 21151 0 -1 0 340135 0 0 0 63316 695 0 0 25 0 1 0 895795559 30568448 4374 4294967295 134512640 134716908 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7463 4374 1111 63 0 7400 0
vsize: 29852
[startup+650.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19559
Raw data (stat): 19559 (bsolo_lpr-v2) R 19558 21152 21151 0 -1 0 367392 0 0 0 64259 752 0 0 25 0 1 0 895795559 30707712 4438 4294967295 134512640 134716908 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7497 4438 1111 63 0 7434 0
vsize: 29988
[startup+660.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19559
Raw data (stat): 19559 (bsolo_lpr-v2) R 19558 21152 21151 0 -1 0 392646 0 0 0 65212 799 0 0 25 0 1 0 895795559 30982144 4496 4294967295 134512640 134716908 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7564 4496 1111 63 0 7501 0
vsize: 30256
[startup+670.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19559
Raw data (stat): 19559 (bsolo_lpr-v2) R 19558 21152 21151 0 -1 0 418655 0 0 0 66165 846 0 0 25 0 1 0 895795559 31252480 4552 4294967295 134512640 134716908 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7630 4552 1111 63 0 7567 0
vsize: 30520
[startup+680.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19559
Raw data (stat): 19559 (bsolo_lpr-v2) R 19558 21152 21151 0 -1 0 444738 0 0 0 67112 900 0 0 25 0 1 0 895795559 31698944 4622 4294967295 134512640 134716908 3221224592 3221222944 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7739 4627 1111 63 0 7676 0
vsize: 30956
[startup+690.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19559
Raw data (stat): 19559 (bsolo_lpr-v2) R 19558 21152 21151 0 -1 0 468843 0 0 0 68064 947 0 0 25 0 1 0 895795559 31662080 4661 4294967295 134512640 134716908 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7730 4661 1111 63 0 7667 0
vsize: 30920
[startup+700.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19559
Raw data (stat): 19559 (bsolo_lpr-v2) R 19558 21152 21151 0 -1 0 496271 0 0 0 69008 1004 0 0 25 0 1 0 895795559 31936512 4720 4294967295 134512640 134716908 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7797 4720 1111 63 0 7734 0
vsize: 31188
[startup+710.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19559
Raw data (stat): 19559 (bsolo_lpr-v2) R 19558 21152 21151 0 -1 0 521745 0 0 0 69959 1054 0 0 25 0 1 0 895795559 32075776 4775 4294967295 134512640 134716908 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7831 4775 1111 63 0 7768 0
vsize: 31324
[startup+720.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19559
Raw data (stat): 19559 (bsolo_lpr-v2) R 19558 21152 21151 0 -1 0 547669 0 0 0 70910 1103 0 0 25 0 1 0 895795559 32346112 4827 4294967295 134512640 134716908 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7897 4827 1111 63 0 7834 0
vsize: 31588
[startup+730.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19559
Raw data (stat): 19559 (bsolo_lpr-v2) R 19558 21152 21151 0 -1 0 573295 0 0 0 71859 1154 0 0 25 0 1 0 895795559 32485376 4881 4294967295 134512640 134716908 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7931 4881 1111 63 0 7868 0
vsize: 31724
[startup+740.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19559
Raw data (stat): 19559 (bsolo_lpr-v2) R 19558 21152 21151 0 -1 0 598545 0 0 0 72810 1203 0 0 25 0 1 0 895795559 32755712 4931 4294967295 134512640 134716908 3221224592 3221223248 134527935 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7997 4931 1111 63 0 7934 0
vsize: 31988
[startup+750.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19559
Raw data (stat): 19559 (bsolo_lpr-v2) R 19558 21152 21151 0 -1 0 624902 0 0 0 73757 1256 0 0 25 0 1 0 895795559 33030144 4986 4294967295 134512640 134716908 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8064 4986 1111 63 0 8001 0
vsize: 32256
[startup+760.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19559
Raw data (stat): 19559 (bsolo_lpr-v2) R 19558 21152 21151 0 -1 0 651404 0 0 0 74703 1311 0 0 25 0 1 0 895795559 33165312 5038 4294967295 134512640 134716908 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8097 5038 1111 63 0 8034 0
vsize: 32388
[startup+770.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19559
Raw data (stat): 19559 (bsolo_lpr-v2) R 19558 21152 21151 0 -1 0 676592 0 0 0 75655 1358 0 0 25 0 1 0 895795559 33632256 5103 4294967295 134512640 134716908 3221224592 3221222944 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8211 5109 1111 63 0 8148 0
vsize: 32844
[startup+780.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19559
Raw data (stat): 19559 (bsolo_lpr-v2) R 19558 21152 21151 0 -1 0 702565 0 0 0 76602 1411 0 0 25 0 1 0 895795559 33579008 5139 4294967295 134512640 134716908 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8198 5139 1111 63 0 8135 0
vsize: 32792
[startup+790.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19559
Raw data (stat): 19559 (bsolo_lpr-v2) R 19558 21152 21151 0 -1 0 731467 0 0 0 77542 1471 0 0 25 0 1 0 895795559 33849344 5193 4294967295 134512640 134716908 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8264 5193 1111 63 0 8201 0
vsize: 33056
[startup+800.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19559
Raw data (stat): 19559 (bsolo_lpr-v2) R 19558 21152 21151 0 -1 0 759056 0 0 0 78486 1528 0 0 25 0 1 0 895795559 34189312 5284 4294967295 134512640 134716908 3221224592 3221222944 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8347 5289 1111 63 0 8284 0
vsize: 33388
[startup+810.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19559
Raw data (stat): 19559 (bsolo_lpr-v2) R 19558 21152 21151 0 -1 0 788716 0 0 0 79430 1584 0 0 25 0 1 0 895795559 34258944 5299 4294967295 134512640 134716908 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8364 5299 1111 63 0 8301 0
vsize: 33456
[startup+820.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19559
Raw data (stat): 19559 (bsolo_lpr-v2) R 19558 21152 21151 0 -1 0 820358 0 0 0 80366 1648 0 0 25 0 1 0 895795559 34742272 5374 4294967295 134512640 134716908 3221224592 3221222944 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8482 5379 1111 63 0 8419 0
vsize: 33928
[startup+830.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19559
Raw data (stat): 19559 (bsolo_lpr-v2) R 19558 21152 21151 0 -1 0 850749 0 0 0 81303 1712 0 0 25 0 1 0 895795559 34672640 5415 4294967295 134512640 134716908 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8465 5415 1111 63 0 8402 0
vsize: 33860
[startup+840.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19559
Raw data (stat): 19559 (bsolo_lpr-v2) R 19558 21152 21151 0 -1 0 878661 0 0 0 82248 1767 0 0 25 0 1 0 895795559 35155968 5495 4294967295 134512640 134716908 3221224592 3221222944 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8583 5500 1111 63 0 8520 0
vsize: 34332
[startup+850.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19559
Raw data (stat): 19559 (bsolo_lpr-v2) R 19558 21152 21151 0 -1 0 909135 0 0 0 83189 1826 0 0 25 0 1 0 895795559 35086336 5521 4294967295 134512640 134716908 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8566 5521 1111 63 0 8503 0
vsize: 34264
[startup+860.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19559
Raw data (stat): 19559 (bsolo_lpr-v2) R 19558 21152 21151 0 -1 0 939919 0 0 0 84126 1890 0 0 25 0 1 0 895795559 35356672 5573 4294967295 134512640 134716908 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8632 5573 1111 63 0 8569 0
vsize: 34528
[startup+870.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19559
Raw data (stat): 19559 (bsolo_lpr-v2) R 19558 21152 21151 0 -1 0 972825 0 0 0 85061 1955 0 0 25 0 1 0 895795559 35495936 5631 4294967295 134512640 134716908 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8666 5631 1111 63 0 8603 0
vsize: 34664
[startup+880.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19559
Raw data (stat): 19559 (bsolo_lpr-v2) R 19558 21152 21151 0 -1 0 1008079 0 0 0 85991 2024 0 0 25 0 1 0 895795559 35766272 5693 4294967295 134512640 134716908 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8732 5693 1111 63 0 8669 0
vsize: 34928
[startup+890.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19559
Raw data (stat): 19559 (bsolo_lpr-v2) R 19558 21152 21151 0 -1 0 1045175 0 0 0 86916 2100 0 0 25 0 1 0 895795559 36044800 5755 4294967295 134512640 134716908 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8800 5755 1111 63 0 8737 0
vsize: 35200
[startup+900.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19559
Raw data (stat): 19559 (bsolo_lpr-v2) R 19558 21152 21151 0 -1 0 1082237 0 0 0 87841 2174 0 0 25 0 1 0 895795559 36319232 5818 4294967295 134512640 134716908 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8867 5818 1111 63 0 8804 0
vsize: 35468
[startup+910.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19559
Raw data (stat): 19559 (bsolo_lpr-v2) R 19558 21152 21151 0 -1 0 1116833 0 0 0 88770 2246 0 0 25 0 1 0 895795559 36589568 5874 4294967295 134512640 134716908 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8933 5874 1111 63 0 8870 0
vsize: 35732
[startup+920.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19559
Raw data (stat): 19559 (bsolo_lpr-v2) R 19558 21152 21151 0 -1 0 1147813 0 0 0 89709 2307 0 0 25 0 1 0 895795559 36958208 5947 4294967295 134512640 134716908 3221224592 3221222944 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9023 5952 1111 63 0 8960 0
vsize: 36092
[startup+930.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19559
Raw data (stat): 19559 (bsolo_lpr-v2) R 19558 21152 21151 0 -1 0 1182612 0 0 0 90637 2379 0 0 25 0 1 0 895795559 37236736 5993 4294967295 134512640 134716908 3221224592 3221222944 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9091 5999 1111 63 0 9028 0
vsize: 36364
[startup+940.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19559
Raw data (stat): 19559 (bsolo_lpr-v2) R 19558 21152 21151 0 -1 0 1215857 0 0 0 91573 2444 0 0 25 0 1 0 895795559 37371904 6064 4294967295 134512640 134716908 3221224592 3221222944 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9124 6069 1111 63 0 9061 0
vsize: 36496
[startup+950.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19559
Raw data (stat): 19559 (bsolo_lpr-v2) R 19558 21152 21151 0 -1 0 1249115 0 0 0 92507 2510 0 0 25 0 1 0 895795559 37412864 6091 4294967295 134512640 134716908 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9134 6091 1111 63 0 9071 0
vsize: 36536
[startup+960.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19559
Raw data (stat): 19559 (bsolo_lpr-v2) R 19558 21152 21151 0 -1 0 1281355 0 0 0 93443 2574 0 0 25 0 1 0 895795559 37552128 6141 4294967295 134512640 134716908 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9168 6141 1111 63 0 9105 0
vsize: 36672
[startup+970.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19559
Raw data (stat): 19559 (bsolo_lpr-v2) R 19558 21152 21151 0 -1 0 1315271 0 0 0 94380 2637 0 0 25 0 1 0 895795559 37826560 6194 4294967295 134512640 134716908 3221224592 3221222820 1077414399 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9235 6194 1111 63 0 9172 0
vsize: 36940
[startup+980.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19559
Raw data (stat): 19559 (bsolo_lpr-v2) R 19558 21152 21151 0 -1 0 1348125 0 0 0 95317 2700 0 0 25 0 1 0 895795559 37961728 6244 4294967295 134512640 134716908 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9268 6244 1111 63 0 9205 0
vsize: 37072
[startup+990.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19559
Raw data (stat): 19559 (bsolo_lpr-v2) R 19558 21152 21151 0 -1 0 1381830 0 0 0 96251 2767 0 0 25 0 1 0 895795559 38236160 6296 4294967295 134512640 134716908 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9335 6296 1111 63 0 9272 0
vsize: 37340
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19559
Raw data (stat): 19559 (bsolo_lpr-v2) R 19558 21152 21151 0 -1 0 1412837 0 0 0 97191 2826 0 0 25 0 1 0 895795559 38371328 6343 4294967295 134512640 134716908 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9368 6343 1111 63 0 9305 0
vsize: 37472
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19559
Raw data (stat): 19559 (bsolo_lpr-v2) R 19558 21152 21151 0 -1 0 1449119 0 0 0 98118 2900 0 0 25 0 1 0 895795559 38645760 6400 4294967295 134512640 134716908 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9435 6400 1111 63 0 9372 0
vsize: 37740
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19559
Raw data (stat): 19559 (bsolo_lpr-v2) R 19558 21152 21151 0 -1 0 1488051 0 0 0 99041 2977 0 0 25 0 1 0 895795559 38920192 6459 4294967295 134512640 134716908 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9502 6459 1111 63 0 9439 0
vsize: 38008
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19559
Raw data (stat): 19559 (bsolo_lpr-v2) R 19558 21152 21151 0 -1 0 1530210 0 0 0 99954 3065 0 0 25 0 1 0 895795559 39059456 6520 4294967295 134512640 134716908 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9536 6520 1111 63 0 9473 0
vsize: 38144
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19559
Raw data (stat): 19559 (bsolo_lpr-v2) R 19558 21152 21151 0 -1 0 1573524 0 0 0 100868 3150 0 0 25 0 1 0 895795559 39591936 6632 4294967295 134512640 134716908 3221224592 3221222944 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9666 6637 1111 63 0 9603 0
vsize: 38664
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19559
Raw data (stat): 19559 (bsolo_lpr-v2) R 19558 21152 21151 0 -1 0 1617619 0 0 0 101778 3240 0 0 25 0 1 0 895795559 40505344 6659 4294967295 134512640 134716908 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9889 6659 1111 63 0 9826 0
vsize: 39556
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19559
Raw data (stat): 19559 (bsolo_lpr-v2) R 19558 21152 21151 0 -1 0 1658051 0 0 0 102700 3319 0 0 25 0 1 0 895795559 40640512 6707 4294967295 134512640 134716908 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9922 6707 1111 63 0 9859 0
vsize: 39688
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19559
Raw data (stat): 19559 (bsolo_lpr-v2) R 19558 21152 21151 0 -1 0 1701233 0 0 0 103617 3402 0 0 25 0 1 0 895795559 40914944 6768 4294967295 134512640 134716908 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9989 6768 1111 63 0 9926 0
vsize: 39956
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19559
Raw data (stat): 19559 (bsolo_lpr-v2) R 19558 21152 21151 0 -1 0 1743089 0 0 0 104532 3487 0 0 25 0 1 0 895795559 41185280 6829 4294967295 134512640 134716908 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10055 6829 1111 63 0 9992 0
vsize: 40220
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19559
Raw data (stat): 19559 (bsolo_lpr-v2) R 19558 21152 21151 0 -1 0 1780883 0 0 0 105457 3562 0 0 25 0 1 0 895795559 41324544 6883 4294967295 134512640 134716908 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10089 6883 1111 63 0 10026 0
vsize: 40356
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19559
Raw data (stat): 19559 (bsolo_lpr-v2) R 19558 21152 21151 0 -1 0 1813295 0 0 0 106391 3628 0 0 25 0 1 0 895795559 41463808 6929 4294967295 134512640 134716908 3221224592 3221222820 1077414399 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10190 6931 1111 63 0 10127 0
vsize: 40492
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19559
Raw data (stat): 19559 (bsolo_lpr-v2) R 19558 21152 21151 0 -1 0 1854757 0 0 0 107310 3710 0 0 25 0 1 0 895795559 41734144 6985 4294967295 134512640 134716908 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10189 6985 1111 63 0 10126 0
vsize: 40756
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19559
Raw data (stat): 19559 (bsolo_lpr-v2) R 19558 21152 21151 0 -1 0 1894552 0 0 0 108230 3790 0 0 25 0 1 0 895795559 42008576 7040 4294967295 134512640 134716908 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10256 7040 1111 63 0 10193 0
vsize: 41024
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19559
Raw data (stat): 19559 (bsolo_lpr-v2) R 19558 21152 21151 0 -1 0 1932002 0 0 0 109155 3865 0 0 25 0 1 0 895795559 42143744 7090 4294967295 134512640 134716908 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10289 7090 1111 63 0 10226 0
vsize: 41156
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19559
Raw data (stat): 19559 (bsolo_lpr-v2) R 19558 21152 21151 0 -1 0 1970223 0 0 0 110081 3939 0 0 25 0 1 0 895795559 42422272 7142 4294967295 134512640 134716908 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10357 7142 1111 63 0 10294 0
vsize: 41428
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19559
Raw data (stat): 19559 (bsolo_lpr-v2) R 19558 21152 21151 0 -1 0 2004493 0 0 0 111010 4010 0 0 25 0 1 0 895795559 42557440 7188 4294967295 134512640 134716908 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10390 7188 1111 63 0 10327 0
vsize: 41560
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19559
Raw data (stat): 19559 (bsolo_lpr-v2) R 19558 21152 21151 0 -1 0 2044956 0 0 0 111930 4091 0 0 25 0 1 0 895795559 42983424 7286 4294967295 134512640 134716908 3221224592 3221222944 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10494 7290 1111 63 0 10431 0
vsize: 41976
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19559
Raw data (stat): 19559 (bsolo_lpr-v2) R 19558 21152 21151 0 -1 0 2079047 0 0 0 112860 4161 0 0 25 0 1 0 895795559 42967040 7287 4294967295 134512640 134716908 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10490 7287 1111 63 0 10427 0
vsize: 41960
[startup+1180.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19559
Raw data (stat): 19559 (bsolo_lpr-v2) R 19558 21152 21151 0 -1 0 2113406 0 0 0 113787 4234 0 0 25 0 1 0 895795559 43106304 7332 4294967295 134512640 134716908 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10524 7332 1111 63 0 10461 0
vsize: 42096
[startup+1190.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19559
Raw data (stat): 19559 (bsolo_lpr-v2) R 19558 21152 21151 0 -1 0 2154071 0 0 0 114703 4318 0 0 25 0 1 0 895795559 43376640 7385 4294967295 134512640 134716908 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10590 7385 1111 63 0 10527 0
vsize: 42360
[startup+1200.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19559
Raw data (stat): 19559 (bsolo_lpr-v2) R 19558 21152 21151 0 -1 0 2203298 0 0 0 115601 4421 0 0 25 0 1 0 895795559 43810816 7450 4294967295 134512640 134716908 3221224592 3221222684 1077387418 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10696 7456 1111 63 0 10633 0
vsize: 42784
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.06 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 19559
Raw data (stat): 19559 (bsolo_lpr-v2) Z 19558 21152 21151 0 -1 1036 2203310 0 0 0 115601 4423 0 0 25 0 1 0 895795559 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.06
CPU time (s): 1200.24
CPU user time (s): 1156.01
CPU system time (s): 44.2303
CPU usage (%): 100.015
Max. virtual memory (Kb): 42784
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####