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/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-stein45.opb
MD5SUM	5c72b08d2dc855d07dab2f619386e796
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	30
Optimality of the best value was proved	NO
Number of terms in the objective function	45
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	45
Number of bits of the sum of numbers in the objective function	6
Biggest number in a constraint	22
Number of bits of the biggest number in a constraint	5
Biggest sum of numbers in a constraint	67
Number of bits of the biggest sum of numbers	7
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.01384
Number of variables	45
Total number of constraints	376
Number of constraints which are clauses	330
Number of constraints which are cardinality constraints (but not clauses)	46
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	45
Trace number 40435

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-08 10:07:55 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28499 boxname=wulflinc4 idbench=1455 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  5c72b08d2dc855d07dab2f619386e796  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-stein45.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-stein45.opb
IDLAUNCH: 28499
/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:        562464 kB
Buffers:         12292 kB
Cached:         438884 kB
SwapCached:        956 kB
Active:          24604 kB
Inactive:       428644 kB
HighTotal:      131008 kB
HighFree:        12544 kB
LowTotal:       903652 kB
LowFree:        549920 kB
SwapTotal:     2097136 kB
SwapFree:      2095180 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4904 kB
Slab:            13324 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 10:27:30 (client local time) WITH STATUS 10 IN 1175.12 SECONDS
stats: 28499 0 1175.12 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 45 variables and 331 constraints.
c After prepocess the problem consists of 45 variables and 331 constraints.
c preprocess terminated 0.127 s
c Initial Lower Bound: 22
c Lower Bound Elapsed time: 0.01675
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 42 @ 0.196
c NEW SOLUTION FOUND: 41 @ 0.201
c NEW SOLUTION FOUND: 40 @ 0.203
c NEW SOLUTION FOUND: 39 @ 0.206
c NEW SOLUTION FOUND: 38 @ 0.208
c NEW SOLUTION FOUND: 37 @ 0.21
c NEW SOLUTION FOUND: 36 @ 0.212
c NEW SOLUTION FOUND: 35 @ 0.223
c NEW SOLUTION FOUND: 34 @ 0.228
c NEW SOLUTION FOUND: 33 @ 0.267
c NEW SOLUTION FOUND: 32 @ 0.322
c NEW SOLUTION FOUND: 31 @ 0.671
c NEW SOLUTION FOUND: 30 @ 27.811
s SATISFIABLE
v -V0001_bit0 V0002_bit0 V0003_bit0 V0004_bit0 V0005_bit0 V0006_bit0 -V0007_bit0 V0008_bit0 -V0009_bit0 V0010_bit0 V0011_bit0 -V0012_bit0 V0013_bit0 -V0014_bit0 V0015_bit0 V0016_bit0 V0017_bit0 V0018_bit0 -V0019_bit0 V0020_bit0 -V0021_bit0 V0022_bit0 -V0023_bit0 V0024_bit0 V0025_bit0 -V0026_bit0 V0027_bit0 -V0028_bit0 V0029_bit0 V0030_bit0 -V0031_bit0 -V0032_bit0 -V0033_bit0 V0034_bit0 V0035_bit0 V0036_bit0 V0037_bit0 V0038_bit0 V0039_bit0 V0040_bit0 V0041_bit0 -V0042_bit0 -V0043_bit0 V0044_bit0 V0045_bit0 
c Exit Code: 10
c Total time: 1175.08 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.93 0.98 0.92 2/54 31146
Raw data (stat): 31146 (runsolver) R 31145 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 900782613 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0001 s]
Raw data (loadavg): 0.94 0.98 0.92 2/54 31146
Raw data (stat): 31146 (bsolo_lpr-v2) R 31145 21152 21151 0 -1 0 10305 0 0 0 961 36 0 0 25 0 1 0 900782613 8294400 1332 4294967295 134512640 134716908 3221224576 3221222224 1075818396 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2025 1332 1111 63 0 1962 0
vsize: 8100
[startup+20.0009 s]
Raw data (loadavg): 0.95 0.98 0.92 2/54 31146
Raw data (stat): 31146 (bsolo_lpr-v2) R 31145 21152 21151 0 -1 0 19610 0 0 0 1928 69 0 0 25 0 1 0 900782613 10006528 1720 4294967295 134512640 134716908 3221224576 3221221504 1075960365 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2443 1720 1111 63 0 2380 0
vsize: 9772
[startup+30.0014 s]
Raw data (loadavg): 0.95 0.98 0.92 2/54 31146
Raw data (stat): 31146 (bsolo_lpr-v2) R 31145 21152 21151 0 -1 0 28282 0 0 0 2896 101 0 0 25 0 1 0 900782613 11501568 2087 4294967295 134512640 134716908 3221224576 3221220588 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2808 2087 1111 63 0 2745 0
vsize: 11232
[startup+40.0017 s]
Raw data (loadavg): 0.96 0.98 0.92 2/54 31146
Raw data (stat): 31146 (bsolo_lpr-v2) R 31145 21152 21151 0 -1 0 37153 0 0 0 3865 133 0 0 25 0 1 0 900782613 12529664 2338 4294967295 134512640 134716908 3221224576 3221220736 1075090177 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3059 2338 1111 63 0 2996 0
vsize: 12236
[startup+50.0026 s]
Raw data (loadavg): 0.97 0.98 0.92 2/54 31146
Raw data (stat): 31146 (bsolo_lpr-v2) R 31145 21152 21151 0 -1 0 46217 0 0 0 4833 164 0 0 25 0 1 0 900782613 13385728 2573 4294967295 134512640 134716908 3221224576 3221222920 1074057994 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3268 2573 1111 63 0 3205 0
vsize: 13072
[startup+60.0029 s]
Raw data (loadavg): 0.97 0.98 0.92 2/54 31146
Raw data (stat): 31146 (bsolo_lpr-v2) R 31145 21152 21151 0 -1 0 55037 0 0 0 5804 194 0 0 25 0 1 0 900782613 14422016 2830 4294967295 134512640 134716908 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3521 2830 1111 63 0 3458 0
vsize: 14084
[startup+70.0033 s]
Raw data (loadavg): 0.97 0.98 0.92 2/54 31146
Raw data (stat): 31146 (bsolo_lpr-v2) R 31145 21152 21151 0 -1 0 63956 0 0 0 6771 227 0 0 25 0 1 0 900782613 15364096 3059 4294967295 134512640 134716908 3221224576 3221221776 1074206862 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3751 3059 1111 63 0 3688 0
vsize: 15004
[startup+80.0041 s]
Raw data (loadavg): 0.98 0.98 0.92 2/54 31146
Raw data (stat): 31146 (bsolo_lpr-v2) R 31145 21152 21151 0 -1 0 71919 0 0 0 7740 258 0 0 25 0 1 0 900782613 16285696 3285 4294967295 134512640 134716908 3221224576 3221223024 1073990361 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3976 3285 1111 63 0 3913 0
vsize: 15904
[startup+90.0054 s]
Raw data (loadavg): 0.98 0.98 0.92 2/54 31146
Raw data (stat): 31146 (bsolo_lpr-v2) R 31145 21152 21151 0 -1 0 80451 0 0 0 8710 288 0 0 25 0 1 0 900782613 17203200 3509 4294967295 134512640 134716908 3221224576 3221223180 134536828 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4200 3509 1111 63 0 4137 0
vsize: 16800
[startup+100.006 s]
Raw data (loadavg): 0.98 0.98 0.92 2/54 31146
Raw data (stat): 31146 (bsolo_lpr-v2) R 31145 21152 21151 0 -1 0 88190 0 0 0 9684 314 0 0 25 0 1 0 900782613 18264064 3768 4294967295 134512640 134716908 3221224576 3221223268 134528601 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4459 3768 1111 63 0 4396 0
vsize: 17836
[startup+110.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 31146
Raw data (stat): 31146 (bsolo_lpr-v2) R 31145 21152 21151 0 -1 0 96185 0 0 0 10655 343 0 0 25 0 1 0 900782613 19230720 3974 4294967295 134512640 134716908 3221224576 3221220524 1074788968 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4695 3974 1111 63 0 4632 0
vsize: 18780
[startup+120.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 31146
Raw data (stat): 31146 (bsolo_lpr-v2) R 31145 21152 21151 0 -1 0 103455 0 0 0 11627 372 0 0 25 0 1 0 900782613 20086784 4185 4294967295 134512640 134716908 3221224576 3221222756 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4904 4185 1111 63 0 4841 0
vsize: 19616
[startup+130.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 31146
Raw data (stat): 31146 (bsolo_lpr-v2) R 31145 21152 21151 0 -1 0 110957 0 0 0 12599 400 0 0 25 0 1 0 900782613 20750336 4375 4294967295 134512640 134716908 3221224576 3221222576 1074916785 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5066 4375 1111 63 0 5003 0
vsize: 20264
[startup+140.008 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 31146
Raw data (stat): 31146 (bsolo_lpr-v2) R 31145 21152 21151 0 -1 0 118282 0 0 0 13573 426 0 0 25 0 1 0 900782613 21733376 4582 4294967295 134512640 134716908 3221224576 3221221696 1074834428 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5306 4582 1111 63 0 5243 0
vsize: 21224
[startup+150.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 31146
Raw data (stat): 31146 (bsolo_lpr-v2) R 31145 21152 21151 0 -1 0 124572 0 0 0 14548 451 0 0 25 0 1 0 900782613 22577152 4816 4294967295 134512640 134716908 3221224576 3221222880 1075332571 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5512 4816 1111 63 0 5449 0
vsize: 22048
[startup+160.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 31146
Raw data (stat): 31146 (bsolo_lpr-v2) R 31145 21152 21151 0 -1 0 132027 0 0 0 15522 477 0 0 25 0 1 0 900782613 23379968 5012 4294967295 134512640 134716908 3221224576 3221223264 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5708 5012 1111 63 0 5645 0
vsize: 22832
[startup+170.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 31146
Raw data (stat): 31146 (bsolo_lpr-v2) R 31145 21152 21151 0 -1 0 138670 0 0 0 16498 501 0 0 25 0 1 0 900782613 24342528 5221 4294967295 134512640 134716908 3221224576 3221220688 1075895668 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5943 5221 1111 63 0 5880 0
vsize: 23772
[startup+180.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 31146
Raw data (stat): 31146 (bsolo_lpr-v2) R 31145 21152 21151 0 -1 0 146040 0 0 0 17471 529 0 0 25 0 1 0 900782613 24956928 5402 4294967295 134512640 134716908 3221224576 3221223100 134535664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6093 5402 1111 63 0 6030 0
vsize: 24372
[startup+190.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 31146
Raw data (stat): 31146 (bsolo_lpr-v2) R 31145 21152 21151 0 -1 0 152940 0 0 0 18447 552 0 0 25 0 1 0 900782613 25726976 5590 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6281 5590 1111 63 0 6218 0
vsize: 25124
[startup+200.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 31146
Raw data (stat): 31146 (bsolo_lpr-v2) R 31145 21152 21151 0 -1 0 159477 0 0 0 19422 577 0 0 25 0 1 0 900782613 26550272 5791 4294967295 134512640 134716908 3221224576 3221223236 134652240 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6482 5791 1111 63 0 6419 0
vsize: 25928
[startup+210.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 31146
Raw data (stat): 31146 (bsolo_lpr-v2) R 31145 21152 21151 0 -1 0 166083 0 0 0 20402 598 0 0 25 0 1 0 900782613 27492352 5992 4294967295 134512640 134716908 3221224576 3221220944 1075894558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6712 5992 1111 63 0 6649 0
vsize: 26848
[startup+220.011 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 31146
Raw data (stat): 31146 (bsolo_lpr-v2) R 31145 21152 21151 0 -1 0 172430 0 0 0 21380 620 0 0 25 0 1 0 900782613 27983872 6142 4294967295 134512640 134716908 3221224576 3221223236 134652240 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6832 6142 1111 63 0 6769 0
vsize: 27328
[startup+230.011 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 31146
Raw data (stat): 31146 (bsolo_lpr-v2) R 31145 21152 21151 0 -1 0 178161 0 0 0 22360 640 0 0 25 0 1 0 900782613 28688384 6314 4294967295 134512640 134716908 3221224576 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7004 6314 1111 63 0 6941 0
vsize: 28016
[startup+240.012 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 31146
Raw data (stat): 31146 (bsolo_lpr-v2) R 31145 21152 21151 0 -1 0 184468 0 0 0 23338 662 0 0 25 0 1 0 900782613 29560832 6487 4294967295 134512640 134716908 3221224576 3221221640 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7217 6487 1111 63 0 7154 0
vsize: 28868
[startup+250.012 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 31146
Raw data (stat): 31146 (bsolo_lpr-v2) R 31145 21152 21151 0 -1 0 190125 0 0 0 24319 682 0 0 25 0 1 0 900782613 30175232 6647 4294967295 134512640 134716908 3221224576 3221221616 1075860176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7334 6644 1111 63 0 7271 0
vsize: 29468
[startup+260.012 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 31146
Raw data (stat): 31146 (bsolo_lpr-v2) R 31145 21152 21151 0 -1 0 194897 0 0 0 25300 701 0 0 25 0 1 0 900782613 30916608 6857 4294967295 134512640 134716908 3221224576 3221223072 134535335 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7548 6857 1111 63 0 7485 0
vsize: 30192
[startup+270.013 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 31146
Raw data (stat): 31146 (bsolo_lpr-v2) R 31145 21152 21151 0 -1 0 200819 0 0 0 26279 721 0 0 25 0 1 0 900782613 31592448 7023 4294967295 134512640 134716908 3221224576 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7713 7023 1111 63 0 7650 0
vsize: 30852
[startup+280.013 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 31146
Raw data (stat): 31146 (bsolo_lpr-v2) R 31145 21152 21151 0 -1 0 206249 0 0 0 27261 740 0 0 25 0 1 0 900782613 32243712 7177 4294967295 134512640 134716908 3221224576 3221223440 134643273 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7872 7177 1111 63 0 7809 0
vsize: 31488
[startup+290.014 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 31146
Raw data (stat): 31146 (bsolo_lpr-v2) R 31145 21152 21151 0 -1 0 211636 0 0 0 28243 758 0 0 25 0 1 0 900782613 32849920 7329 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8020 7329 1111 63 0 7957 0
vsize: 32080
[startup+300.014 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 31146
Raw data (stat): 31146 (bsolo_lpr-v2) R 31145 21152 21151 0 -1 0 216796 0 0 0 29224 777 0 0 25 0 1 0 900782613 33472512 7482 4294967295 134512640 134716908 3221224576 3221223168 134549544 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8172 7482 1111 63 0 8109 0
vsize: 32688
[startup+310.015 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 31146
Raw data (stat): 31146 (bsolo_lpr-v2) R 31145 21152 21151 0 -1 0 222123 0 0 0 30206 796 0 0 25 0 1 0 900782613 34222080 7663 4294967295 134512640 134716908 3221224576 3221222960 1074153322 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8355 7663 1111 63 0 8292 0
vsize: 33420
[startup+320.014 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 31146
Raw data (stat): 31146 (bsolo_lpr-v2) R 31145 21152 21151 0 -1 0 227568 0 0 0 31187 815 0 0 25 0 1 0 900782613 34856960 7820 4294967295 134512640 134716908 3221224576 3221223236 134652240 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8510 7820 1111 63 0 8447 0
vsize: 34040
[startup+330.015 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 31146
Raw data (stat): 31146 (bsolo_lpr-v2) R 31145 21152 21151 0 -1 0 232967 0 0 0 32166 836 0 0 25 0 1 0 900782613 35487744 7974 4294967295 134512640 134716908 3221224576 3221223268 134528601 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8664 7974 1111 63 0 8601 0
vsize: 34656
[startup+340.015 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 31146
Raw data (stat): 31146 (bsolo_lpr-v2) R 31145 21152 21151 0 -1 0 238589 0 0 0 33150 853 0 0 25 0 1 0 900782613 36081664 8114 4294967295 134512640 134716908 3221224576 3221223248 134652581 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8809 8114 1111 63 0 8746 0
vsize: 35236
[startup+350.015 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 31146
Raw data (stat): 31146 (bsolo_lpr-v2) R 31145 21152 21151 0 -1 0 243680 0 0 0 34132 870 0 0 25 0 1 0 900782613 36724736 8276 4294967295 134512640 134716908 3221224576 3221222848 1074205872 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8966 8276 1111 63 0 8903 0
vsize: 35864
[startup+360.015 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 31146
Raw data (stat): 31146 (bsolo_lpr-v2) R 31145 21152 21151 0 -1 0 248850 0 0 0 35115 887 0 0 25 0 1 0 900782613 37330944 8424 4294967295 134512640 134716908 3221224576 3221223236 134652240 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9114 8424 1111 63 0 9051 0
vsize: 36456
[startup+370.016 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 31146
Raw data (stat): 31146 (bsolo_lpr-v2) R 31145 21152 21151 0 -1 0 252123 0 0 0 36102 901 0 0 25 0 1 0 900782613 38305792 8634 4294967295 134512640 134716908 3221224576 3221222952 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9352 8634 1111 63 0 9289 0
vsize: 37408
[startup+380.016 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 31146
Raw data (stat): 31146 (bsolo_lpr-v2) R 31145 21152 21151 0 -1 0 257360 0 0 0 37081 922 0 0 25 0 1 0 900782613 38932480 8785 4294967295 134512640 134716908 3221224576 3221223264 134535821 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9505 8785 1111 63 0 9442 0
vsize: 38020
[startup+390.017 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 31146
Raw data (stat): 31146 (bsolo_lpr-v2) R 31145 21152 21151 0 -1 0 262551 0 0 0 38064 940 0 0 25 0 1 0 900782613 39542784 8936 4294967295 134512640 134716908 3221224576 3221223236 134652240 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9654 8936 1111 63 0 9591 0
vsize: 38616
[startup+400.017 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 31146
Raw data (stat): 31146 (bsolo_lpr-v2) R 31145 21152 21151 0 -1 0 267842 0 0 0 39045 958 0 0 25 0 1 0 900782613 40214528 9098 4294967295 134512640 134716908 3221224576 3221223200 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9818 9098 1111 63 0 9755 0
vsize: 39272
[startup+410.017 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 31146
Raw data (stat): 31146 (bsolo_lpr-v2) R 31145 21152 21151 0 -1 0 272601 0 0 0 40028 976 0 0 25 0 1 0 900782613 40730624 9226 4294967295 134512640 134716908 3221224576 3221223300 134529109 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9944 9226 1111 63 0 9881 0
vsize: 39776
[startup+420.018 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 31146
Raw data (stat): 31146 (bsolo_lpr-v2) R 31145 21152 21151 0 -1 0 277590 0 0 0 41007 996 0 0 25 0 1 0 900782613 41299968 9365 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10083 9365 1111 63 0 10020 0
vsize: 40332
[startup+430.018 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 31146
Raw data (stat): 31146 (bsolo_lpr-v2) R 31145 21152 21151 0 -1 0 282927 0 0 0 41988 1016 0 0 25 0 1 0 900782613 41852928 9497 4294967295 134512640 134716908 3221224576 3221223312 134529177 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10218 9497 1111 63 0 10155 0
vsize: 40872
[startup+440.019 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 31146
Raw data (stat): 31146 (bsolo_lpr-v2) R 31145 21152 21151 0 -1 0 287739 0 0 0 42970 1034 0 0 25 0 1 0 900782613 42442752 9644 4294967295 134512640 134716908 3221224576 3221222576 1074052131 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10362 9644 1111 63 0 10299 0
vsize: 41448
[startup+450.019 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 31146
Raw data (stat): 31146 (bsolo_lpr-v2) R 31145 21152 21151 0 -1 0 292770 0 0 0 43951 1054 0 0 25 0 1 0 900782613 42999808 9780 4294967295 134512640 134716908 3221224576 3221223312 134529341 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10498 9780 1111 63 0 10435 0
vsize: 41992
[startup+460.019 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 31146
Raw data (stat): 31146 (bsolo_lpr-v2) R 31145 21152 21151 0 -1 0 297398 0 0 0 44932 1072 0 0 25 0 1 0 900782613 43675648 9915 4294967295 134512640 134716908 3221224576 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10625 9907 1111 63 0 10562 0
vsize: 42652
[startup+470.019 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 31146
Raw data (stat): 31146 (bsolo_lpr-v2) R 31145 21152 21151 0 -1 0 302340 0 0 0 45915 1090 0 0 25 0 1 0 900782613 44007424 10026 4294967295 134512640 134716908 3221224576 3221222576 1074918937 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10744 10026 1111 63 0 10681 0
vsize: 42976
[startup+480.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 31146
Raw data (stat): 31146 (bsolo_lpr-v2) R 31145 21152 21151 0 -1 0 306923 0 0 0 46898 1107 0 0 25 0 1 0 900782613 44699648 10163 4294967295 134512640 134716908 3221224576 3221220736 1075095166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10913 10164 1111 63 0 10850 0
vsize: 43652
[startup+490.021 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 31146
Raw data (stat): 31146 (bsolo_lpr-v2) R 31145 21152 21151 0 -1 0 311446 0 0 0 47882 1124 0 0 25 0 1 0 900782613 45056000 10282 4294967295 134512640 134716908 3221224576 3221223248 134652567 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11000 10282 1111 63 0 10937 0
vsize: 44000
[startup+500.021 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 31146
Raw data (stat): 31146 (bsolo_lpr-v2) R 31145 21152 21151 0 -1 0 315632 0 0 0 48865 1140 0 0 25 0 1 0 900782613 45592576 10413 4294967295 134512640 134716908 3221224576 3221222800 1074208125 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11131 10413 1111 63 0 11068 0
vsize: 44524
[startup+510.021 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 31146
Raw data (stat): 31146 (bsolo_lpr-v2) R 31145 21152 21151 0 -1 0 320116 0 0 0 49851 1155 0 0 25 0 1 0 900782613 46120960 10542 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11260 10542 1111 63 0 11197 0
vsize: 45040
[startup+520.021 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 31146
Raw data (stat): 31146 (bsolo_lpr-v2) R 31145 21152 21151 0 -1 0 325074 0 0 0 50833 1173 0 0 25 0 1 0 900782613 46854144 10685 4294967295 134512640 134716908 3221224576 3221221468 1077386340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11439 10689 1111 63 0 11376 0
vsize: 45756
[startup+530.021 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 31146
Raw data (stat): 31146 (bsolo_lpr-v2) R 31145 21152 21151 0 -1 0 330041 0 0 0 51817 1189 0 0 25 0 1 0 900782613 47259648 10820 4294967295 134512640 134716908 3221224576 3221223312 134529091 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11538 10820 1111 63 0 11475 0
vsize: 46152
[startup+540.022 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 31146
Raw data (stat): 31146 (bsolo_lpr-v2) R 31145 21152 21151 0 -1 0 334385 0 0 0 52803 1203 0 0 25 0 1 0 900782613 47779840 10944 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11665 10944 1111 63 0 11602 0
vsize: 46660
[startup+550.022 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 31146
Raw data (stat): 31146 (bsolo_lpr-v2) R 31145 21152 21151 0 -1 0 338639 0 0 0 53788 1219 0 0 25 0 1 0 900782613 48283648 11070 4294967295 134512640 134716908 3221224576 3221223152 134549635 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11788 11070 1111 63 0 11725 0
vsize: 47152
[startup+560.022 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 31146
Raw data (stat): 31146 (bsolo_lpr-v2) R 31145 21152 21151 0 -1 0 343157 0 0 0 54773 1233 0 0 25 0 1 0 900782613 48816128 11200 4294967295 134512640 134716908 3221224576 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11910 11192 1111 63 0 11847 0
vsize: 47672
[startup+570.022 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 31146
Raw data (stat): 31146 (bsolo_lpr-v2) R 31145 21152 21151 0 -1 0 347498 0 0 0 55758 1249 0 0 25 0 1 0 900782613 49278976 11313 4294967295 134512640 134716908 3221224576 3221223280 134528691 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12031 11313 1111 63 0 11968 0
vsize: 48124
[startup+580.022 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 31146
Raw data (stat): 31146 (bsolo_lpr-v2) R 31145 21152 21151 0 -1 0 352155 0 0 0 56744 1263 0 0 25 0 1 0 900782613 49766400 11432 4294967295 134512640 134716908 3221224576 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12150 11432 1111 63 0 12087 0
vsize: 48600
[startup+590.022 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 31146
Raw data (stat): 31146 (bsolo_lpr-v2) R 31145 21152 21151 0 -1 0 356677 0 0 0 57729 1278 0 0 25 0 1 0 900782613 50278400 11557 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12313 11560 1111 63 0 12250 0
vsize: 49100
[startup+600.023 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 31146
Raw data (stat): 31146 (bsolo_lpr-v2) R 31145 21152 21151 0 -1 0 360403 0 0 0 58716 1291 0 0 25 0 1 0 900782613 50806784 11686 4294967295 134512640 134716908 3221224576 3221223168 134549541 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12404 11686 1111 63 0 12341 0
vsize: 49616
[startup+610.023 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 31146
Raw data (stat): 31146 (bsolo_lpr-v2) R 31145 21152 21151 0 -1 0 364695 0 0 0 59702 1306 0 0 25 0 1 0 900782613 51326976 11813 4294967295 134512640 134716908 3221224576 3221223168 134549533 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12531 11813 1111 63 0 12468 0
vsize: 50124
[startup+620.023 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 31146
Raw data (stat): 31146 (bsolo_lpr-v2) R 31145 21152 21151 0 -1 0 368630 0 0 0 60687 1321 0 0 25 0 1 0 900782613 51826688 11935 4294967295 134512640 134716908 3221224576 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12653 11935 1111 63 0 12590 0
vsize: 50612
[startup+630.024 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 31146
Raw data (stat): 31146 (bsolo_lpr-v2) R 31145 21152 21151 0 -1 0 372952 0 0 0 61672 1336 0 0 25 0 1 0 900782613 52355072 12064 4294967295 134512640 134716908 3221224576 3221222924 1074207660 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12782 12064 1111 63 0 12719 0
vsize: 51128
[startup+640.024 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 31146
Raw data (stat): 31146 (bsolo_lpr-v2) R 31145 21152 21151 0 -1 0 377333 0 0 0 62655 1353 0 0 25 0 1 0 900782613 52813824 12173 4294967295 134512640 134716908 3221224576 3221222488 1075125653 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12894 12173 1111 63 0 12831 0
vsize: 51576
[startup+650.024 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 31146
Raw data (stat): 31146 (bsolo_lpr-v2) R 31145 21152 21151 0 -1 0 381710 0 0 0 63640 1368 0 0 25 0 1 0 900782613 53268480 12287 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13005 12287 1111 63 0 12942 0
vsize: 52020
[startup+660.024 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 31146
Raw data (stat): 31146 (bsolo_lpr-v2) R 31145 21152 21151 0 -1 0 386186 0 0 0 64626 1382 0 0 25 0 1 0 900782613 53739520 12402 4294967295 134512640 134716908 3221224576 3221223236 134652240 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13120 12402 1111 63 0 13057 0
vsize: 52480
[startup+670.025 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 31146
Raw data (stat): 31146 (bsolo_lpr-v2) R 31145 21152 21151 0 -1 0 390270 0 0 0 65612 1397 0 0 25 0 1 0 900782613 54194176 12513 4294967295 134512640 134716908 3221224576 3221223168 134549533 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13231 12513 1111 63 0 13168 0
vsize: 52924
[startup+680.026 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 31146
Raw data (stat): 31146 (bsolo_lpr-v2) R 31145 21152 21151 0 -1 0 394448 0 0 0 66596 1413 0 0 25 0 1 0 900782613 55021568 12715 4294967295 134512640 134716908 3221224576 3221223236 134652240 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13433 12715 1111 63 0 13370 0
vsize: 53732
[startup+690.025 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 31146
Raw data (stat): 31146 (bsolo_lpr-v2) R 31145 21152 21151 0 -1 0 398886 0 0 0 67580 1429 0 0 25 0 1 0 900782613 55492608 12830 4294967295 134512640 134716908 3221224576 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13543 12825 1111 63 0 13480 0
vsize: 54192
[startup+700.026 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 31146
Raw data (stat): 31146 (bsolo_lpr-v2) R 31145 21152 21151 0 -1 0 402609 0 0 0 68566 1444 0 0 25 0 1 0 900782613 55971840 12947 4294967295 134512640 134716908 3221224576 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13665 12947 1111 63 0 13602 0
vsize: 54660
[startup+710.026 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 31146
Raw data (stat): 31146 (bsolo_lpr-v2) R 31145 21152 21151 0 -1 0 406225 0 0 0 69554 1455 0 0 25 0 1 0 900782613 56467456 13068 4294967295 134512640 134716908 3221224576 3221223236 134652240 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13786 13068 1111 63 0 13723 0
vsize: 55144
[startup+720.027 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 31146
Raw data (stat): 31146 (bsolo_lpr-v2) R 31145 21152 21151 0 -1 0 410363 0 0 0 70540 1470 0 0 25 0 1 0 900782613 56983552 13189 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13912 13189 1111 63 0 13849 0
vsize: 55648
[startup+730.027 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 31146
Raw data (stat): 31146 (bsolo_lpr-v2) R 31145 21152 21151 0 -1 0 414723 0 0 0 71525 1484 0 0 25 0 1 0 900782613 57450496 13304 4294967295 134512640 134716908 3221224576 3221223312 134529237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14026 13304 1111 63 0 13963 0
vsize: 56104
[startup+740.029 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 31146
Raw data (stat): 31146 (bsolo_lpr-v2) R 31145 21152 21151 0 -1 0 418770 0 0 0 72513 1497 0 0 25 0 1 0 900782613 57913344 13421 4294967295 134512640 134716908 3221224576 3221223232 134528707 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14139 13421 1111 63 0 14076 0
vsize: 56556
[startup+750.029 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 31146
Raw data (stat): 31146 (bsolo_lpr-v2) R 31145 21152 21151 0 -1 0 423081 0 0 0 73498 1512 0 0 25 0 1 0 900782613 58400768 13537 4294967295 134512640 134716908 3221224576 3221223180 134536837 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14258 13537 1111 63 0 14195 0
vsize: 57032
[startup+760.029 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 31146
Raw data (stat): 31146 (bsolo_lpr-v2) R 31145 21152 21151 0 -1 0 427321 0 0 0 74483 1527 0 0 25 0 1 0 900782613 58908672 13659 4294967295 134512640 134716908 3221224576 3221222332 1077404721 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14382 13659 1111 63 0 14319 0
vsize: 57528
[startup+770.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 31146
Raw data (stat): 31146 (bsolo_lpr-v2) R 31145 21152 21151 0 -1 0 430994 0 0 0 75470 1540 0 0 25 0 1 0 900782613 59383808 13780 4294967295 134512640 134716908 3221224576 3221223180 134536828 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14498 13780 1111 63 0 14435 0
vsize: 57992
[startup+780.031 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 31146
Raw data (stat): 31146 (bsolo_lpr-v2) R 31145 21152 21151 0 -1 0 435086 0 0 0 76456 1554 0 0 25 0 1 0 900782613 59867136 13894 4294967295 134512640 134716908 3221224576 3221223236 134652240 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14616 13894 1111 63 0 14553 0
vsize: 58464
[startup+790.031 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 31146
Raw data (stat): 31146 (bsolo_lpr-v2) R 31145 21152 21151 0 -1 0 439123 0 0 0 77441 1570 0 0 25 0 1 0 900782613 60252160 13992 4294967295 134512640 134716908 3221224576 3221223208 134552681 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14710 13992 1111 63 0 14647 0
vsize: 58840
[startup+800.031 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 31146
Raw data (stat): 31146 (bsolo_lpr-v2) R 31145 21152 21151 0 -1 0 443130 0 0 0 78427 1584 0 0 25 0 1 0 900782613 60796928 14092 4294967295 134512640 134716908 3221224576 3221221388 1074788944 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14813 14091 1111 63 0 14750 0
vsize: 59372
[startup+810.032 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 31146
Raw data (stat): 31146 (bsolo_lpr-v2) R 31145 21152 21151 0 -1 0 447112 0 0 0 79415 1596 0 0 25 0 1 0 900782613 61239296 14198 4294967295 134512640 134716908 3221224576 3221223236 134652237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14951 14198 1111 63 0 14888 0
vsize: 59804
[startup+820.032 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 31146
Raw data (stat): 31146 (bsolo_lpr-v2) R 31145 21152 21151 0 -1 0 451044 0 0 0 80401 1611 0 0 25 0 1 0 900782613 61505536 14298 4294967295 134512640 134716908 3221224576 3221223248 134652567 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15016 14298 1111 63 0 14953 0
vsize: 60064
[startup+830.032 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 31146
Raw data (stat): 31146 (bsolo_lpr-v2) R 31145 21152 21151 0 -1 0 454545 0 0 0 81388 1624 0 0 25 0 1 0 900782613 62152704 14428 4294967295 134512640 134716908 3221224576 3221220668 1075663518 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15174 14428 1111 63 0 15111 0
vsize: 60696
[startup+840.033 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 31146
Raw data (stat): 31146 (bsolo_lpr-v2) R 31145 21152 21151 0 -1 0 458344 0 0 0 82374 1638 0 0 25 0 1 0 900782613 62459904 14531 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15249 14531 1111 63 0 15186 0
vsize: 60996
[startup+850.033 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 31146
Raw data (stat): 31146 (bsolo_lpr-v2) R 31145 21152 21151 0 -1 0 462060 0 0 0 83362 1650 0 0 25 0 1 0 900782613 62836736 14623 4294967295 134512640 134716908 3221224576 3221223248 134652567 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15341 14623 1111 63 0 15278 0
vsize: 61364
[startup+860.033 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 31146
Raw data (stat): 31146 (bsolo_lpr-v2) R 31145 21152 21151 0 -1 0 465797 0 0 0 84351 1662 0 0 25 0 1 0 900782613 63496192 14753 4294967295 134512640 134716908 3221224576 3221220736 1075091317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15502 14753 1111 63 0 15439 0
vsize: 62008
[startup+870.034 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 31146
Raw data (stat): 31146 (bsolo_lpr-v2) R 31145 21152 21151 0 -1 0 469510 0 0 0 85340 1673 0 0 25 0 1 0 900782613 63926272 14858 4294967295 134512640 134716908 3221224576 3221220944 1075894500 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15607 14858 1111 63 0 15544 0
vsize: 62428
[startup+880.034 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 31146
Raw data (stat): 31146 (bsolo_lpr-v2) R 31145 21152 21151 0 -1 0 473230 0 0 0 86327 1686 0 0 25 0 1 0 900782613 64184320 14952 4294967295 134512640 134716908 3221224576 3221223204 134551958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15670 14952 1111 63 0 15607 0
vsize: 62680
[startup+890.035 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 31146
Raw data (stat): 31146 (bsolo_lpr-v2) R 31145 21152 21151 0 -1 0 476904 0 0 0 87312 1701 0 0 25 0 1 0 900782613 64733184 15057 4294967295 134512640 134716908 3221224576 3221221640 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15789 15055 1111 63 0 15726 0
vsize: 63216
[startup+900.036 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 31146
Raw data (stat): 31146 (bsolo_lpr-v2) R 31145 21152 21151 0 -1 0 480352 0 0 0 88301 1713 0 0 25 0 1 0 900782613 65007616 15153 4294967295 134512640 134716908 3221224576 3221223248 134652581 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15871 15153 1111 63 0 15808 0
vsize: 63484
[startup+910.036 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 31146
Raw data (stat): 31146 (bsolo_lpr-v2) R 31145 21152 21151 0 -1 0 483720 0 0 0 89290 1724 0 0 25 0 1 0 900782613 65454080 15260 4294967295 134512640 134716908 3221224576 3221223168 134549541 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15980 15260 1111 63 0 15917 0
vsize: 63920
[startup+920.036 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 31146
Raw data (stat): 31146 (bsolo_lpr-v2) R 31145 21152 21151 0 -1 0 487257 0 0 0 90278 1736 0 0 25 0 1 0 900782613 65880064 15366 4294967295 134512640 134716908 3221224576 3221223244 134552672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16084 15366 1111 63 0 16021 0
vsize: 64336
[startup+930.036 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 31146
Raw data (stat): 31146 (bsolo_lpr-v2) R 31145 21152 21151 0 -1 0 491058 0 0 0 91264 1749 0 0 25 0 1 0 900782613 66326528 15475 4294967295 134512640 134716908 3221224576 3221223248 134652581 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16193 15475 1111 63 0 16130 0
vsize: 64772
[startup+940.035 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 31146
Raw data (stat): 31146 (bsolo_lpr-v2) R 31145 21152 21151 0 -1 0 494908 0 0 0 92250 1764 0 0 25 0 1 0 900782613 66748416 15578 4294967295 134512640 134716908 3221224576 3221223200 134551963 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16296 15578 1111 63 0 16233 0
vsize: 65184
[startup+950.037 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 31146
Raw data (stat): 31146 (bsolo_lpr-v2) R 31145 21152 21151 0 -1 0 497894 0 0 0 93238 1776 0 0 25 0 1 0 900782613 67301376 15712 4294967295 134512640 134716908 3221224576 3221223248 134652583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16431 15712 1111 63 0 16368 0
vsize: 65724
[startup+960.037 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 31146
Raw data (stat): 31146 (bsolo_lpr-v2) R 31145 21152 21151 0 -1 0 501118 0 0 0 94225 1789 0 0 25 0 1 0 900782613 67719168 15812 4294967295 134512640 134716908 3221224576 3221223236 134652240 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16533 15812 1111 63 0 16470 0
vsize: 66132
[startup+970.037 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 31146
Raw data (stat): 31146 (bsolo_lpr-v2) R 31145 21152 21151 0 -1 0 504519 0 0 0 95214 1801 0 0 25 0 1 0 900782613 68182016 15922 4294967295 134512640 134716908 3221224576 3221223188 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16646 15922 1111 63 0 16583 0
vsize: 66584
[startup+980.038 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 31146
Raw data (stat): 31146 (bsolo_lpr-v2) R 31145 21152 21151 0 -1 0 508092 0 0 0 96200 1815 0 0 25 0 1 0 900782613 68583424 16026 4294967295 134512640 134716908 3221224576 3221223248 134652581 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16744 16026 1111 63 0 16681 0
vsize: 66976
[startup+990.038 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 31146
Raw data (stat): 31146 (bsolo_lpr-v2) R 31145 21152 21151 0 -1 0 511678 0 0 0 97188 1827 0 0 25 0 1 0 900782613 68988928 16125 4294967295 134512640 134716908 3221224576 3221223236 134652240 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16843 16125 1111 63 0 16780 0
vsize: 67372
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 31146
Raw data (stat): 31146 (bsolo_lpr-v2) R 31145 21152 21151 0 -1 0 515111 0 0 0 98176 1839 0 0 25 0 1 0 900782613 69599232 16241 4294967295 134512640 134716908 3221224576 3221223180 134536766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16992 16241 1111 63 0 16929 0
vsize: 67968
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 31146
Raw data (stat): 31146 (bsolo_lpr-v2) R 31145 21152 21151 0 -1 0 518734 0 0 0 99164 1851 0 0 25 0 1 0 900782613 70443008 16453 4294967295 134512640 134716908 3221224576 3221223180 134552672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17198 16453 1111 63 0 17135 0
vsize: 68792
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 31146
Raw data (stat): 31146 (bsolo_lpr-v2) R 31145 21152 21151 0 -1 0 521816 0 0 0 100153 1863 0 0 25 0 1 0 900782613 70811648 16543 4294967295 134512640 134716908 3221224576 3221223236 134652240 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17288 16543 1111 63 0 17225 0
vsize: 69152
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 31146
Raw data (stat): 31146 (bsolo_lpr-v2) R 31145 21152 21151 0 -1 0 525300 0 0 0 101141 1875 0 0 25 0 1 0 900782613 71200768 16638 4294967295 134512640 134716908 3221224576 3221223132 134535631 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17383 16638 1111 63 0 17320 0
vsize: 69532
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 31146
Raw data (stat): 31146 (bsolo_lpr-v2) R 31145 21152 21151 0 -1 0 528550 0 0 0 102129 1887 0 0 25 0 1 0 900782613 71569408 16724 4294967295 134512640 134716908 3221224576 3221223248 134652581 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17473 16724 1111 63 0 17410 0
vsize: 69892
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 31146
Raw data (stat): 31146 (bsolo_lpr-v2) R 31145 21152 21151 0 -1 0 531544 0 0 0 103118 1899 0 0 25 0 1 0 900782613 71974912 16827 4294967295 134512640 134716908 3221224576 3221222956 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17572 16827 1111 63 0 17509 0
vsize: 70288
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 31146
Raw data (stat): 31146 (bsolo_lpr-v2) R 31145 21152 21151 0 -1 0 534693 0 0 0 104105 1911 0 0 25 0 1 0 900782613 72372224 16924 4294967295 134512640 134716908 3221224576 3221223248 134652567 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17669 16924 1111 63 0 17606 0
vsize: 70676
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 31146
Raw data (stat): 31146 (bsolo_lpr-v2) R 31145 21152 21151 0 -1 0 538021 0 0 0 105095 1922 0 0 25 0 1 0 900782613 72794112 17027 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17772 17027 1111 63 0 17709 0
vsize: 71088
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 31146
Raw data (stat): 31146 (bsolo_lpr-v2) R 31145 21152 21151 0 -1 0 541470 0 0 0 106082 1935 0 0 25 0 1 0 900782613 73187328 17123 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17868 17123 1111 63 0 17805 0
vsize: 71472
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 31146
Raw data (stat): 31146 (bsolo_lpr-v2) R 31145 21152 21151 0 -1 0 544580 0 0 0 107071 1946 0 0 25 0 1 0 900782613 73596928 17223 4294967295 134512640 134716908 3221224576 3221223236 134652240 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17968 17223 1111 63 0 17905 0
vsize: 71872
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 31146
Raw data (stat): 31146 (bsolo_lpr-v2) R 31145 21152 21151 0 -1 0 548016 0 0 0 108057 1961 0 0 25 0 1 0 900782613 73973760 17315 4294967295 134512640 134716908 3221224576 3221222360 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18060 17315 1111 63 0 17997 0
vsize: 72240
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 31146
Raw data (stat): 31146 (bsolo_lpr-v2) R 31145 21152 21151 0 -1 0 550991 0 0 0 109046 1971 0 0 25 0 1 0 900782613 74481664 17439 4294967295 134512640 134716908 3221224576 3221223236 134652240 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18184 17439 1111 63 0 18121 0
vsize: 72736
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 31146
Raw data (stat): 31146 (bsolo_lpr-v2) R 31145 21152 21151 0 -1 0 554462 0 0 0 110036 1982 0 0 25 0 1 0 900782613 74838016 17526 4294967295 134512640 134716908 3221224576 3221223248 134652581 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18271 17526 1111 63 0 18208 0
vsize: 73084
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 31146
Raw data (stat): 31146 (bsolo_lpr-v2) R 31145 21152 21151 0 -1 0 557503 0 0 0 111025 1993 0 0 25 0 1 0 900782613 75190272 17609 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18357 17609 1111 63 0 18294 0
vsize: 73428
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 31146
Raw data (stat): 31146 (bsolo_lpr-v2) R 31145 21152 21151 0 -1 0 560866 0 0 0 112011 2006 0 0 25 0 1 0 900782613 75575296 17706 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18451 17706 1111 63 0 18388 0
vsize: 73804
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 31146
Raw data (stat): 31146 (bsolo_lpr-v2) R 31145 21152 21151 0 -1 0 564006 0 0 0 113000 2018 0 0 25 0 1 0 900782613 75907072 17780 4294967295 134512640 134716908 3221224576 3221223236 134652240 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18532 17780 1111 63 0 18469 0
vsize: 74128
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 31146
Raw data (stat): 31146 (bsolo_lpr-v2) R 31145 21152 21151 0 -1 0 567204 0 0 0 113987 2031 0 0 25 0 1 0 900782613 76283904 17879 4294967295 134512640 134716908 3221224576 3221223300 134529109 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18624 17879 1111 63 0 18561 0
vsize: 74496
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 31146
Raw data (stat): 31146 (bsolo_lpr-v2) R 31145 21152 21151 0 -1 0 570369 0 0 0 114978 2041 0 0 25 0 1 0 900782613 76627968 17963 4294967295 134512640 134716908 3221224576 3221223252 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18708 17963 1111 63 0 18645 0
vsize: 74832
[startup+1174.98 s]
Raw data (loadavg): 0.99 0.98 0.92 1/53 31146
Raw data (stat): 31146 (bsolo_lpr-v2) R 31145 21152 21151 0 -1 0 570369 0 0 0 114978 2041 0 0 25 0 1 0 900782613 76627968 17963 4294967295 134512640 134716908 3221224576 3221223252 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18708 17963 1111 63 0 18645 0
vsize: 0

Child status: 10
Real time (s): 1174.98
CPU time (s): 1175.12
CPU user time (s): 1154.63
CPU system time (s): 20.4959
CPU usage (%): 100.013
Max. virtual memory (Kb): 74832
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	30
#### END VERIFIER DATA ####