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-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-stein45.opb
MD5SUM	980dd801f0823d520b47724b99fabded
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.01984
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 26631

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-24 16:26:36 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=12338 boxname=wulflinc31 idbench=950 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  980dd801f0823d520b47724b99fabded  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-20-10-stein45.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-20-10-stein45.opb
IDLAUNCH: 12338
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        478648 kB
Buffers:         34308 kB
Cached:         500828 kB
SwapCached:       1248 kB
Active:         190736 kB
Inactive:       346884 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        478396 kB
SwapTotal:     2097892 kB
SwapFree:      2096040 kB
Dirty:             144 kB
Writeback:           0 kB
Mapped:           5432 kB
Slab:            12540 kB
Committed_AS:    63808 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 16:46:11 (client local time) WITH STATUS 10 IN 1175.08 SECONDS
stats: 12338 0 1175.08 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.123 s
c Initial Lower Bound: 22
c Lower Bound Elapsed time: 0.04025
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 37 @ 0.286
c NEW SOLUTION FOUND: 36 @ 0.291
c NEW SOLUTION FOUND: 35 @ 0.293
c NEW SOLUTION FOUND: 34 @ 0.296
c NEW SOLUTION FOUND: 33 @ 0.298
c NEW SOLUTION FOUND: 32 @ 0.303
c NEW SOLUTION FOUND: 31 @ 0.386
c NEW SOLUTION FOUND: 30 @ 45.356
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.04 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
Raw data (loadavg): 0.92 0.98 0.93 2/55 31429
Raw data (stat): 31429 (runsolver) R 31428 29618 29617 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 831648972 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0006 s]
Raw data (loadavg): 0.93 0.98 0.93 2/55 31429
Raw data (stat): 31429 (bsolo_lpr) R 31428 29618 29617 0 -1 0 10872 0 0 0 957 40 0 0 25 0 1 0 831648972 8241152 1297 4294967295 134512640 134714508 3221224592 3221220752 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2012 1297 1111 63 0 1949 0
vsize: 8048
[startup+20.0009 s]
Raw data (loadavg): 0.94 0.98 0.93 2/55 31431
Raw data (stat): 31429 (bsolo_lpr) R 31428 29618 29617 0 -1 0 19763 0 0 0 1927 70 0 0 25 0 1 0 831648972 9588736 1657 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2341 1657 1111 63 0 2278 0
vsize: 9364
[startup+30.0015 s]
Raw data (loadavg): 0.95 0.98 0.93 2/55 31431
Raw data (stat): 31429 (bsolo_lpr) R 31428 29618 29617 0 -1 0 28417 0 0 0 2893 104 0 0 25 0 1 0 831648972 11034624 2010 4294967295 134512640 134714508 3221224592 3221222592 1074918201 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2694 2010 1111 63 0 2631 0
vsize: 10776
[startup+40.0014 s]
Raw data (loadavg): 0.96 0.98 0.93 2/55 31431
Raw data (stat): 31429 (bsolo_lpr) R 31428 29618 29617 0 -1 0 36114 0 0 0 3860 137 0 0 25 0 1 0 831648972 12521472 2369 4294967295 134512640 134714508 3221224592 3221223252 134649897 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3057 2369 1111 63 0 2994 0
vsize: 12228
[startup+50.0028 s]
Raw data (loadavg): 0.96 0.98 0.93 2/55 31431
Raw data (stat): 31429 (bsolo_lpr) R 31428 29618 29617 0 -1 0 44467 0 0 0 4833 165 0 0 25 0 1 0 831648972 13619200 2642 4294967295 134512640 134714508 3221224592 3221222956 1074057616 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3325 2642 1111 63 0 3262 0
vsize: 13300
[startup+60.0032 s]
Raw data (loadavg): 0.97 0.98 0.93 2/55 31431
Raw data (stat): 31429 (bsolo_lpr) R 31428 29618 29617 0 -1 0 52694 0 0 0 5805 193 0 0 25 0 1 0 831648972 14561280 2872 4294967295 134512640 134714508 3221224592 3221222856 1073987087 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3555 2872 1111 63 0 3492 0
vsize: 14220
[startup+70.0031 s]
Raw data (loadavg): 0.97 0.98 0.93 2/55 31431
Raw data (stat): 31429 (bsolo_lpr) R 31428 29618 29617 0 -1 0 60700 0 0 0 6776 222 0 0 25 0 1 0 831648972 15605760 3096 4294967295 134512640 134714508 3221224592 3221220800 1074815309 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3810 3096 1111 63 0 3747 0
vsize: 15240
[startup+80.0044 s]
Raw data (loadavg): 0.98 0.98 0.93 2/55 31433
Raw data (stat): 31429 (bsolo_lpr) R 31428 29618 29617 0 -1 0 69035 0 0 0 7748 250 0 0 25 0 1 0 831648972 16326656 3303 4294967295 134512640 134714508 3221224592 3221222816 1076999581 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3986 3303 1111 63 0 3923 0
vsize: 15944
[startup+90.004 s]
Raw data (loadavg): 0.98 0.98 0.93 2/55 31433
Raw data (stat): 31429 (bsolo_lpr) R 31428 29618 29617 0 -1 0 77020 0 0 0 8721 277 0 0 25 0 1 0 831648972 17121280 3497 4294967295 134512640 134714508 3221224592 3221223328 134529168 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4180 3497 1111 63 0 4117 0
vsize: 16720
[startup+100.004 s]
Raw data (loadavg): 0.98 0.98 0.93 2/55 31433
Raw data (stat): 31429 (bsolo_lpr) R 31428 29618 29617 0 -1 0 84613 0 0 0 9691 307 0 0 25 0 1 0 831648972 17993728 3710 4294967295 134512640 134714508 3221224592 3221223252 134649897 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4393 3710 1111 63 0 4330 0
vsize: 17572
[startup+110.004 s]
Raw data (loadavg): 0.98 0.98 0.93 2/55 31433
Raw data (stat): 31429 (bsolo_lpr) R 31428 29618 29617 0 -1 0 91407 0 0 0 10666 332 0 0 25 0 1 0 831648972 19034112 3961 4294967295 134512640 134714508 3221224592 3221222320 1075828432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4645 3961 1111 63 0 4582 0
vsize: 18588
[startup+120.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31433
Raw data (stat): 31429 (bsolo_lpr) R 31428 29618 29617 0 -1 0 98443 0 0 0 11640 358 0 0 25 0 1 0 831648972 19955712 4159 4294967295 134512640 134714508 3221224592 3221220960 1075894538 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4872 4159 1111 63 0 4809 0
vsize: 19488
[startup+130.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31433
Raw data (stat): 31429 (bsolo_lpr) R 31428 29618 29617 0 -1 0 105824 0 0 0 12615 384 0 0 25 0 1 0 831648972 20590592 4344 4294967295 134512640 134714508 3221224592 3221223196 134552672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5027 4344 1111 63 0 4964 0
vsize: 20108
[startup+140.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31435
Raw data (stat): 31429 (bsolo_lpr) R 31428 29618 29617 0 -1 0 112660 0 0 0 13587 412 0 0 25 0 1 0 831648972 21356544 4527 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5214 4527 1111 63 0 5151 0
vsize: 20856
[startup+150.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31435
Raw data (stat): 31429 (bsolo_lpr) R 31428 29618 29617 0 -1 0 119646 0 0 0 14564 435 0 0 25 0 1 0 831648972 22151168 4725 4294967295 134512640 134714508 3221224592 3221222592 1074918150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5408 4725 1111 63 0 5345 0
vsize: 21632
[startup+160.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31435
Raw data (stat): 31429 (bsolo_lpr) R 31428 29618 29617 0 -1 0 126813 0 0 0 15539 460 0 0 25 0 1 0 831648972 22933504 4915 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5599 4915 1111 63 0 5536 0
vsize: 22396
[startup+170.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31435
Raw data (stat): 31429 (bsolo_lpr) R 31428 29618 29617 0 -1 0 134297 0 0 0 16514 485 0 0 25 0 1 0 831648972 23699456 5103 4294967295 134512640 134714508 3221224592 3221223264 134650233 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5786 5103 1111 63 0 5723 0
vsize: 23144
[startup+180.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31435
Raw data (stat): 31429 (bsolo_lpr) R 31428 29618 29617 0 -1 0 140515 0 0 0 17493 507 0 0 25 0 1 0 831648972 24465408 5290 4294967295 134512640 134714508 3221224592 3221222976 1074153815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5973 5290 1111 63 0 5910 0
vsize: 23892
[startup+190.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31435
Raw data (stat): 31429 (bsolo_lpr) R 31428 29618 29617 0 -1 0 146730 0 0 0 18473 526 0 0 25 0 1 0 831648972 25128960 5452 4294967295 134512640 134714508 3221224592 3221223248 134649903 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6135 5452 1111 63 0 6072 0
vsize: 24540
[startup+200.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31437
Raw data (stat): 31429 (bsolo_lpr) R 31428 29618 29617 0 -1 0 152622 0 0 0 19450 549 0 0 25 0 1 0 831648972 25837568 5625 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6308 5625 1111 63 0 6245 0
vsize: 25232
[startup+210.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31437
Raw data (stat): 31429 (bsolo_lpr) R 31428 29618 29617 0 -1 0 158811 0 0 0 20428 572 0 0 25 0 1 0 831648972 26624000 5817 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6500 5817 1111 63 0 6437 0
vsize: 26000
[startup+220.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31437
Raw data (stat): 31429 (bsolo_lpr) R 31428 29618 29617 0 -1 0 165262 0 0 0 21406 594 0 0 25 0 1 0 831648972 27385856 6003 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6721 6006 1111 63 0 6658 0
vsize: 26744
[startup+230.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31437
Raw data (stat): 31429 (bsolo_lpr) R 31428 29618 29617 0 -1 0 171709 0 0 0 22386 614 0 0 25 0 1 0 831648972 28237824 6179 4294967295 134512640 134714508 3221224592 3221220752 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6894 6181 1111 63 0 6831 0
vsize: 27576
[startup+240.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31437
Raw data (stat): 31429 (bsolo_lpr) R 31428 29618 29617 0 -1 0 177720 0 0 0 23365 636 0 0 25 0 1 0 831648972 28811264 6348 4294967295 134512640 134714508 3221224592 3221223148 134535956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7034 6348 1111 63 0 6971 0
vsize: 28136
[startup+250.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31437
Raw data (stat): 31429 (bsolo_lpr) R 31428 29618 29617 0 -1 0 184007 0 0 0 24344 656 0 0 25 0 1 0 831648972 29544448 6526 4294967295 134512640 134714508 3221224592 3221222536 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7209 6524 1111 63 0 7146 0
vsize: 28852
[startup+260.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31439
Raw data (stat): 31429 (bsolo_lpr) R 31428 29618 29617 0 -1 0 189972 0 0 0 25323 678 0 0 25 0 1 0 831648972 30535680 6772 4294967295 134512640 134714508 3221224592 3221223264 134650219 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7455 6772 1111 63 0 7392 0
vsize: 29820
[startup+270.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31439
Raw data (stat): 31429 (bsolo_lpr) R 31428 29618 29617 0 -1 0 193738 0 0 0 26309 692 0 0 25 0 1 0 831648972 31236096 6943 4294967295 134512640 134714508 3221224592 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7626 6943 1111 63 0 7563 0
vsize: 30504
[startup+280.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31439
Raw data (stat): 31429 (bsolo_lpr) R 31428 29618 29617 0 -1 0 199268 0 0 0 27289 712 0 0 25 0 1 0 831648972 32006144 7101 4294967295 134512640 134714508 3221224592 3221220592 1075965248 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7814 7101 1111 63 0 7751 0
vsize: 31256
[startup+290.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31439
Raw data (stat): 31429 (bsolo_lpr) R 31428 29618 29617 0 -1 0 204876 0 0 0 28271 730 0 0 25 0 1 0 831648972 32428032 7234 4294967295 134512640 134714508 3221224592 3221222616 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7917 7234 1111 63 0 7854 0
vsize: 31668
[startup+300.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31439
Raw data (stat): 31429 (bsolo_lpr) R 31428 29618 29617 0 -1 0 210246 0 0 0 29254 747 0 0 25 0 1 0 831648972 33005568 7372 4294967295 134512640 134714508 3221224592 3221223252 134649897 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8058 7372 1111 63 0 7995 0
vsize: 32232
[startup+310.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31439
Raw data (stat): 31429 (bsolo_lpr) R 31428 29618 29617 0 -1 0 215329 0 0 0 30237 765 0 0 25 0 1 0 831648972 33570816 7512 4294967295 134512640 134714508 3221224592 3221223184 1073973712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8196 7512 1111 63 0 8133 0
vsize: 32784
[startup+320.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31441
Raw data (stat): 31429 (bsolo_lpr) R 31428 29618 29617 0 -1 0 220765 0 0 0 31219 782 0 0 25 0 1 0 831648972 34193408 7665 4294967295 134512640 134714508 3221224592 3221222600 1077380359 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8348 7665 1111 63 0 8285 0
vsize: 33392
[startup+330.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31441
Raw data (stat): 31429 (bsolo_lpr) R 31428 29618 29617 0 -1 0 225961 0 0 0 32202 800 0 0 25 0 1 0 831648972 34816000 7817 4294967295 134512640 134714508 3221224592 3221223264 134650233 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8500 7817 1111 63 0 8437 0
vsize: 34000
[startup+340.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31441
Raw data (stat): 31429 (bsolo_lpr) R 31428 29618 29617 0 -1 0 231389 0 0 0 33183 819 0 0 25 0 1 0 831648972 35450880 7972 4294967295 134512640 134714508 3221224592 3221223264 134650219 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8655 7972 1111 63 0 8592 0
vsize: 34620
[startup+350.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31441
Raw data (stat): 31429 (bsolo_lpr) R 31428 29618 29617 0 -1 0 236576 0 0 0 34164 839 0 0 25 0 1 0 831648972 36229120 8127 4294967295 134512640 134714508 3221224592 3221221664 1074867331 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8845 8127 1111 63 0 8782 0
vsize: 35380
[startup+360.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31441
Raw data (stat): 31429 (bsolo_lpr) R 31428 29618 29617 0 -1 0 242072 0 0 0 35144 859 0 0 25 0 1 0 831648972 36655104 8265 4294967295 134512640 134714508 3221224592 3221223264 134650233 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8949 8265 1111 63 0 8886 0
vsize: 35796
[startup+370.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31441
Raw data (stat): 31429 (bsolo_lpr) R 31428 29618 29617 0 -1 0 247062 0 0 0 36128 875 0 0 25 0 1 0 831648972 37277696 8418 4294967295 134512640 134714508 3221224592 3221222992 1074118790 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9101 8418 1111 63 0 9038 0
vsize: 36404
[startup+380.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31443
Raw data (stat): 31429 (bsolo_lpr) R 31428 29618 29617 0 -1 0 251382 0 0 0 37110 893 0 0 25 0 1 0 831648972 38010880 8568 4294967295 134512640 134714508 3221224592 3221223264 134650233 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9280 8568 1111 63 0 9217 0
vsize: 37120
[startup+390.009 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31443
Raw data (stat): 31429 (bsolo_lpr) R 31428 29618 29617 0 -1 0 256604 0 0 0 38092 911 0 0 25 0 1 0 831648972 38584320 8710 4294967295 134512640 134714508 3221224592 3221223212 134549508 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9420 8710 1111 63 0 9357 0
vsize: 37680
[startup+400.009 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31443
Raw data (stat): 31429 (bsolo_lpr) R 31428 29618 29617 0 -1 0 261456 0 0 0 39076 927 0 0 25 0 1 0 831648972 39145472 8847 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9557 8847 1111 63 0 9494 0
vsize: 38228
[startup+410.009 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31443
Raw data (stat): 31429 (bsolo_lpr) R 31428 29618 29617 0 -1 0 266273 0 0 0 40056 948 0 0 25 0 1 0 831648972 39702528 8983 4294967295 134512640 134714508 3221224592 3221223252 134649897 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9693 8983 1111 63 0 9630 0
vsize: 38772
[startup+420.009 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31443
Raw data (stat): 31429 (bsolo_lpr) R 31428 29618 29617 0 -1 0 271364 0 0 0 41039 965 0 0 25 0 1 0 831648972 40239104 9114 4294967295 134512640 134714508 3221224592 3221223168 134549635 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9824 9114 1111 63 0 9761 0
vsize: 39296
[startup+430.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31443
Raw data (stat): 31429 (bsolo_lpr) R 31428 29618 29617 0 -1 0 275998 0 0 0 42024 979 0 0 25 0 1 0 831648972 40800256 9251 4294967295 134512640 134714508 3221224592 3221223328 134529097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9961 9251 1111 63 0 9898 0
vsize: 39844
[startup+440.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31445
Raw data (stat): 31429 (bsolo_lpr) R 31428 29618 29617 0 -1 0 281107 0 0 0 43008 996 0 0 25 0 1 0 831648972 41295872 9369 4294967295 134512640 134714508 3221224592 3221222244 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10082 9369 1111 63 0 10019 0
vsize: 40328
[startup+450.011 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31445
Raw data (stat): 31429 (bsolo_lpr) R 31428 29618 29617 0 -1 0 285757 0 0 0 43993 1011 0 0 25 0 1 0 831648972 41844736 9503 4294967295 134512640 134714508 3221224592 3221223224 134552681 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10216 9503 1111 63 0 10153 0
vsize: 40864
[startup+460.011 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31445
Raw data (stat): 31429 (bsolo_lpr) R 31428 29618 29617 0 -1 0 290056 0 0 0 44980 1024 0 0 25 0 1 0 831648972 42496000 9632 4294967295 134512640 134714508 3221224592 3221221656 1074845845 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10375 9632 1111 63 0 10312 0
vsize: 41500
[startup+470.014 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31445
Raw data (stat): 31429 (bsolo_lpr) R 31428 29618 29617 0 -1 0 294671 0 0 0 45963 1042 0 0 25 0 1 0 831648972 43028480 9758 4294967295 134512640 134714508 3221224592 3221221632 1075971414 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10505 9758 1111 63 0 10442 0
vsize: 42020
[startup+480.015 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31445
Raw data (stat): 31429 (bsolo_lpr) R 31428 29618 29617 0 -1 0 299127 0 0 0 46945 1061 0 0 25 0 1 0 831648972 43364352 9877 4294967295 134512640 134714508 3221224592 3221223280 134523930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10587 9877 1111 63 0 10524 0
vsize: 42348
[startup+490.014 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31445
Raw data (stat): 31429 (bsolo_lpr) R 31428 29618 29617 0 -1 0 303266 0 0 0 47929 1076 0 0 25 0 1 0 831648972 43843584 9994 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10704 9994 1111 63 0 10641 0
vsize: 42816
[startup+500.017 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31447
Raw data (stat): 31429 (bsolo_lpr) R 31428 29618 29617 0 -1 0 307444 0 0 0 48914 1091 0 0 25 0 1 0 831648972 44601344 10146 4294967295 134512640 134714508 3221224592 3221220820 1075114937 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10889 10146 1111 63 0 10826 0
vsize: 43556
[startup+510.017 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31447
Raw data (stat): 31429 (bsolo_lpr) R 31428 29618 29617 0 -1 0 312415 0 0 0 49897 1109 0 0 25 0 1 0 831648972 44953600 10260 4294967295 134512640 134714508 3221224592 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10975 10260 1111 63 0 10912 0
vsize: 43900
[startup+520.017 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31447
Raw data (stat): 31429 (bsolo_lpr) R 31428 29618 29617 0 -1 0 317010 0 0 0 50881 1125 0 0 25 0 1 0 831648972 45682688 10413 4294967295 134512640 134714508 3221224592 3221220684 1075663518 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11153 10413 1111 63 0 11090 0
vsize: 44612
[startup+530.028 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31447
Raw data (stat): 31429 (bsolo_lpr) R 31428 29618 29617 0 -1 0 321928 0 0 0 51865 1143 0 0 25 0 1 0 831648972 46219264 10543 4294967295 134512640 134714508 3221224592 3221220604 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11284 10544 1111 63 0 11221 0
vsize: 45136
[startup+540.028 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31447
Raw data (stat): 31429 (bsolo_lpr) R 31428 29618 29617 0 -1 0 326613 0 0 0 52848 1160 0 0 25 0 1 0 831648972 46596096 10666 4294967295 134512640 134714508 3221224592 3221223264 134650233 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11376 10666 1111 63 0 11313 0
vsize: 45504
[startup+550.029 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31447
Raw data (stat): 31429 (bsolo_lpr) R 31428 29618 29617 0 -1 0 331591 0 0 0 53830 1178 0 0 25 0 1 0 831648972 47132672 10797 4294967295 134512640 134714508 3221224592 3221223328 134529368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11507 10797 1111 63 0 11444 0
vsize: 46028
[startup+560.029 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31449
Raw data (stat): 31429 (bsolo_lpr) R 31428 29618 29617 0 -1 0 336586 0 0 0 54815 1192 0 0 25 0 1 0 831648972 47648768 10919 4294967295 134512640 134714508 3221224592 3221222776 1077377159 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11633 10919 1111 63 0 11570 0
vsize: 46532
[startup+570.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31449
Raw data (stat): 31429 (bsolo_lpr) R 31428 29618 29617 0 -1 0 340793 0 0 0 55801 1207 0 0 25 0 1 0 831648972 48177152 11052 4294967295 134512640 134714508 3221224592 3221223280 134523930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11762 11052 1111 63 0 11699 0
vsize: 47048
[startup+580.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31449
Raw data (stat): 31429 (bsolo_lpr) R 31428 29618 29617 0 -1 0 345167 0 0 0 56785 1223 0 0 25 0 1 0 831648972 48795648 11203 4294967295 134512640 134714508 3221224592 3221223072 134535032 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11913 11203 1111 63 0 11850 0
vsize: 47652
[startup+590.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31449
Raw data (stat): 31429 (bsolo_lpr) R 31428 29618 29617 0 -1 0 349296 0 0 0 57772 1237 0 0 25 0 1 0 831648972 49389568 11348 4294967295 134512640 134714508 3221224592 3221223168 134549474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12058 11348 1111 63 0 11995 0
vsize: 48232
[startup+600.031 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31449
Raw data (stat): 31429 (bsolo_lpr) R 31428 29618 29617 0 -1 0 353325 0 0 0 58757 1251 0 0 25 0 1 0 831648972 49963008 11487 4294967295 134512640 134714508 3221224592 3221223280 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12198 11487 1111 63 0 12135 0
vsize: 48792
[startup+610.031 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31449
Raw data (stat): 31429 (bsolo_lpr) R 31428 29618 29617 0 -1 0 357571 0 0 0 59741 1268 0 0 25 0 1 0 831648972 50495488 11615 4294967295 134512640 134714508 3221224592 3221223252 134649897 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12328 11615 1111 63 0 12265 0
vsize: 49312
[startup+620.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31451
Raw data (stat): 31429 (bsolo_lpr) R 31428 29618 29617 0 -1 0 361633 0 0 0 60725 1284 0 0 25 0 1 0 831648972 50991104 11739 4294967295 134512640 134714508 3221224592 3221223252 134649897 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12449 11739 1111 63 0 12386 0
vsize: 49796
[startup+630.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31451
Raw data (stat): 31429 (bsolo_lpr) R 31428 29618 29617 0 -1 0 365913 0 0 0 61713 1296 0 0 25 0 1 0 831648972 51515392 11865 4294967295 134512640 134714508 3221224592 3221223204 134523868 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12577 11865 1111 63 0 12514 0
vsize: 50308
[startup+640.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31451
Raw data (stat): 31429 (bsolo_lpr) R 31428 29618 29617 0 -1 0 370186 0 0 0 62698 1311 0 0 25 0 1 0 831648972 52178944 11998 4294967295 134512640 134714508 3221224592 3221220736 1074971177 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12739 11998 1111 63 0 12676 0
vsize: 50956
[startup+650.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31451
Raw data (stat): 31429 (bsolo_lpr) R 31428 29618 29617 0 -1 0 374393 0 0 0 63683 1326 0 0 25 0 1 0 831648972 52494336 12104 4294967295 134512640 134714508 3221224592 3221223196 134536817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12816 12104 1111 63 0 12753 0
vsize: 51264
[startup+660.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 31451
Raw data (stat): 31429 (bsolo_lpr) R 31428 29618 29617 0 -1 0 378282 0 0 0 64669 1341 0 0 25 0 1 0 831648972 53084160 12218 4294967295 134512640 134714508 3221224592 3221223216 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12960 12218 1111 63 0 12897 0
vsize: 51840
[startup+670.03 s]
Raw data (loadavg): 1.14 1.02 0.94 2/55 31451
Raw data (stat): 31429 (bsolo_lpr) R 31428 29618 29617 0 -1 0 382371 0 0 0 65655 1355 0 0 25 0 1 0 831648972 53424128 12333 4294967295 134512640 134714508 3221224592 3221223264 134650233 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13043 12333 1111 63 0 12980 0
vsize: 52172
[startup+680.03 s]
Raw data (loadavg): 1.12 1.02 0.94 2/55 31453
Raw data (stat): 31429 (bsolo_lpr) R 31428 29618 29617 0 -1 0 386815 0 0 0 66640 1369 0 0 25 0 1 0 831648972 53919744 12454 4294967295 134512640 134714508 3221224592 3221222752 1074206475 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13164 12454 1111 63 0 13101 0
vsize: 52656
[startup+690.03 s]
Raw data (loadavg): 1.10 1.01 0.94 2/55 31453
Raw data (stat): 31429 (bsolo_lpr) R 31428 29618 29617 0 -1 0 391209 0 0 0 67625 1385 0 0 25 0 1 0 831648972 54378496 12562 4294967295 134512640 134714508 3221224592 3221223264 134650233 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13276 12562 1111 63 0 13213 0
vsize: 53104
[startup+700.031 s]
Raw data (loadavg): 1.08 1.01 0.94 2/55 31453
Raw data (stat): 31429 (bsolo_lpr) R 31428 29618 29617 0 -1 0 395996 0 0 0 68610 1400 0 0 25 0 1 0 831648972 55554048 12850 4294967295 134512640 134714508 3221224592 3221223220 134649040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13563 12850 1111 63 0 13500 0
vsize: 54252
[startup+710.031 s]
Raw data (loadavg): 1.07 1.01 0.94 2/55 31453
Raw data (stat): 31429 (bsolo_lpr) R 31428 29618 29617 0 -1 0 400118 0 0 0 69597 1414 0 0 25 0 1 0 831648972 55975936 12952 4294967295 134512640 134714508 3221224592 3221223264 134650224 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13666 12952 1111 63 0 13603 0
vsize: 54664
[startup+720.031 s]
Raw data (loadavg): 1.06 1.01 0.94 2/55 31453
Raw data (stat): 31429 (bsolo_lpr) R 31428 29618 29617 0 -1 0 403790 0 0 0 70583 1428 0 0 25 0 1 0 831648972 56446976 13069 4294967295 134512640 134714508 3221224592 3221223252 134649897 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13781 13069 1111 63 0 13718 0
vsize: 55124
[startup+730.032 s]
Raw data (loadavg): 1.05 1.01 0.94 2/55 31453
Raw data (stat): 31429 (bsolo_lpr) R 31428 29618 29617 0 -1 0 407679 0 0 0 71570 1441 0 0 25 0 1 0 831648972 56848384 13164 4294967295 134512640 134714508 3221224592 3221223172 134549630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13879 13164 1111 63 0 13816 0
vsize: 55516
[startup+740.032 s]
Raw data (loadavg): 1.04 1.01 0.94 2/55 31455
Raw data (stat): 31429 (bsolo_lpr) R 31428 29618 29617 0 -1 0 411921 0 0 0 72556 1454 0 0 25 0 1 0 831648972 57397248 13272 4294967295 134512640 134714508 3221224592 3221220612 1074860051 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14013 13272 1111 63 0 13950 0
vsize: 56052
[startup+750.032 s]
Raw data (loadavg): 1.04 1.01 0.94 2/55 31455
Raw data (stat): 31429 (bsolo_lpr) R 31428 29618 29617 0 -1 0 415460 0 0 0 73543 1468 0 0 25 0 1 0 831648972 57860096 13385 4294967295 134512640 134714508 3221224592 3221220752 1075091317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14126 13386 1111 63 0 14063 0
vsize: 56504
[startup+760.032 s]
Raw data (loadavg): 1.03 1.01 0.94 2/55 31455
Raw data (stat): 31429 (bsolo_lpr) R 31428 29618 29617 0 -1 0 419254 0 0 0 74529 1482 0 0 25 0 1 0 831648972 58142720 13482 4294967295 134512640 134714508 3221224592 3221223248 134649898 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14195 13482 1111 63 0 14132 0
vsize: 56780
[startup+770.033 s]
Raw data (loadavg): 1.02 1.01 0.94 2/55 31455
Raw data (stat): 31429 (bsolo_lpr) R 31428 29618 29617 0 -1 0 422515 0 0 0 75516 1495 0 0 25 0 1 0 831648972 58540032 13582 4294967295 134512640 134714508 3221224592 3221223272 134552642 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14292 13582 1111 63 0 14229 0
vsize: 57168
[startup+780.034 s]
Raw data (loadavg): 1.02 1.01 0.94 2/55 31455
Raw data (stat): 31429 (bsolo_lpr) R 31428 29618 29617 0 -1 0 426515 0 0 0 76503 1509 0 0 25 0 1 0 831648972 59088896 13681 4294967295 134512640 134714508 3221224592 3221221216 1075895379 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14426 13684 1111 63 0 14363 0
vsize: 57704
[startup+790.033 s]
Raw data (loadavg): 1.02 1.00 0.94 2/55 31455
Raw data (stat): 31429 (bsolo_lpr) R 31428 29618 29617 0 -1 0 430210 0 0 0 77490 1522 0 0 25 0 1 0 831648972 59318272 13772 4294967295 134512640 134714508 3221224592 3221223196 134536817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14482 13772 1111 63 0 14419 0
vsize: 57928
[startup+800.033 s]
Raw data (loadavg): 1.01 1.00 0.94 2/55 31457
Raw data (stat): 31429 (bsolo_lpr) R 31428 29618 29617 0 -1 0 433632 0 0 0 78478 1534 0 0 25 0 1 0 831648972 59715584 13869 4294967295 134512640 134714508 3221224592 3221223248 134524067 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14579 13869 1111 63 0 14516 0
vsize: 58316
[startup+810.034 s]
Raw data (loadavg): 1.01 1.00 0.94 2/55 31457
Raw data (stat): 31429 (bsolo_lpr) R 31428 29618 29617 0 -1 0 437386 0 0 0 79464 1548 0 0 25 0 1 0 831648972 60129280 13970 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14680 13970 1111 63 0 14617 0
vsize: 58720
[startup+820.034 s]
Raw data (loadavg): 1.01 1.00 0.94 2/55 31457
Raw data (stat): 31429 (bsolo_lpr) R 31428 29618 29617 0 -1 0 441133 0 0 0 80451 1561 0 0 25 0 1 0 831648972 60542976 14071 4294967295 134512640 134714508 3221224592 3221223264 134650233 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14781 14071 1111 63 0 14718 0
vsize: 59124
[startup+830.034 s]
Raw data (loadavg): 1.01 1.00 0.94 2/55 31457
Raw data (stat): 31429 (bsolo_lpr) R 31428 29618 29617 0 -1 0 445027 0 0 0 81438 1575 0 0 25 0 1 0 831648972 60936192 14167 4294967295 134512640 134714508 3221224592 3221223264 134650233 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14877 14167 1111 63 0 14814 0
vsize: 59508
[startup+840.034 s]
Raw data (loadavg): 1.01 1.00 0.94 2/55 31457
Raw data (stat): 31429 (bsolo_lpr) R 31428 29618 29617 0 -1 0 448451 0 0 0 82423 1589 0 0 25 0 1 0 831648972 61648896 14281 4294967295 134512640 134714508 3221224592 3221220540 1074788964 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15051 14281 1111 63 0 14988 0
vsize: 60204
[startup+850.035 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 31457
Raw data (stat): 31429 (bsolo_lpr) R 31428 29618 29617 0 -1 0 451491 0 0 0 83413 1600 0 0 25 0 1 0 831648972 61751296 14366 4294967295 134512640 134714508 3221224592 3221223300 134603388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15076 14366 1111 63 0 15013 0
vsize: 60304
[startup+860.035 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 31459
Raw data (stat): 31429 (bsolo_lpr) R 31428 29618 29617 0 -1 0 455084 0 0 0 84401 1612 0 0 25 0 1 0 831648972 62169088 14464 4294967295 134512640 134714508 3221224592 3221223184 134549533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15178 14464 1111 63 0 15115 0
vsize: 60712
[startup+870.035 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 31459
Raw data (stat): 31429 (bsolo_lpr) R 31428 29618 29617 0 -1 0 458791 0 0 0 85390 1623 0 0 25 0 1 0 831648972 62599168 14571 4294967295 134512640 134714508 3221224592 3221223328 134529097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15283 14571 1111 63 0 15220 0
vsize: 61132
[startup+880.036 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 31459
Raw data (stat): 31429 (bsolo_lpr) R 31428 29618 29617 0 -1 0 462032 0 0 0 86380 1634 0 0 25 0 1 0 831648972 63000576 14669 4294967295 134512640 134714508 3221224592 3221223328 134529177 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15381 14669 1111 63 0 15318 0
vsize: 61524
[startup+890.036 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 31459
Raw data (stat): 31429 (bsolo_lpr) R 31428 29618 29617 0 -1 0 465427 0 0 0 87368 1645 0 0 25 0 1 0 831648972 63426560 14771 4294967295 134512640 134714508 3221224592 3221223280 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15485 14771 1111 63 0 15422 0
vsize: 61940
[startup+900.037 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 31459
Raw data (stat): 31429 (bsolo_lpr) R 31428 29618 29617 0 -1 0 469001 0 0 0 88357 1657 0 0 25 0 1 0 831648972 63827968 14872 4294967295 134512640 134714508 3221224592 3221223252 134649897 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15583 14872 1111 63 0 15520 0
vsize: 62332
[startup+910.036 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 31459
Raw data (stat): 31429 (bsolo_lpr) R 31428 29618 29617 0 -1 0 472566 0 0 0 89344 1670 0 0 25 0 1 0 831648972 64184320 14960 4294967295 134512640 134714508 3221224592 3221223148 134535962 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15670 14960 1111 63 0 15607 0
vsize: 62680
[startup+920.037 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 31461
Raw data (stat): 31429 (bsolo_lpr) R 31428 29618 29617 0 -1 0 475889 0 0 0 90333 1681 0 0 25 0 1 0 831648972 64614400 15065 4294967295 134512640 134714508 3221224592 3221223328 134529243 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15775 15065 1111 63 0 15712 0
vsize: 63100
[startup+930.037 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 31461
Raw data (stat): 31429 (bsolo_lpr) R 31428 29618 29617 0 -1 0 479360 0 0 0 91321 1693 0 0 25 0 1 0 831648972 65101824 15183 4294967295 134512640 134714508 3221224592 3221223256 134552681 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15894 15183 1111 63 0 15831 0
vsize: 63576
[startup+940.037 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 31461
Raw data (stat): 31429 (bsolo_lpr) R 31428 29618 29617 0 -1 0 482864 0 0 0 92309 1706 0 0 25 0 1 0 831648972 65523712 15285 4294967295 134512640 134714508 3221224592 3221223328 134529177 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15997 15285 1111 63 0 15934 0
vsize: 63988
[startup+950.038 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 31461
Raw data (stat): 31429 (bsolo_lpr) R 31428 29618 29617 0 -1 0 486777 0 0 0 93295 1720 0 0 25 0 1 0 831648972 65921024 15382 4294967295 134512640 134714508 3221224592 3221223168 134549635 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16094 15382 1111 63 0 16031 0
vsize: 64376
[startup+960.038 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 31461
Raw data (stat): 31429 (bsolo_lpr) R 31428 29618 29617 0 -1 0 490340 0 0 0 94282 1733 0 0 25 0 1 0 831648972 66297856 15476 4294967295 134512640 134714508 3221224592 3221223220 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16186 15476 1111 63 0 16123 0
vsize: 64744
[startup+970.038 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 31461
Raw data (stat): 31429 (bsolo_lpr) R 31428 29618 29617 0 -1 0 493617 0 0 0 95270 1745 0 0 25 0 1 0 831648972 66695168 15570 4294967295 134512640 134714508 3221224592 3221223252 134649897 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16283 15570 1111 63 0 16220 0
vsize: 65132
[startup+980.038 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 31463
Raw data (stat): 31429 (bsolo_lpr) R 31428 29618 29617 0 -1 0 497352 0 0 0 96258 1758 0 0 25 0 1 0 831648972 67100672 15668 4294967295 134512640 134714508 3221224592 3221223296 134528650 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16382 15668 1111 63 0 16319 0
vsize: 65528
[startup+990.039 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 31463
Raw data (stat): 31429 (bsolo_lpr) R 31428 29618 29617 0 -1 0 500687 0 0 0 97244 1771 0 0 25 0 1 0 831648972 67649536 15776 4294967295 134512640 134714508 3221224592 3221220800 1074815372 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16516 15776 1111 63 0 16453 0
vsize: 66064
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 31463
Raw data (stat): 31429 (bsolo_lpr) R 31428 29618 29617 0 -1 0 504217 0 0 0 98231 1784 0 0 25 0 1 0 831648972 68014080 15863 4294967295 134512640 134714508 3221224592 3221221160 1076048673 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16605 15864 1111 63 0 16542 0
vsize: 66420
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 31463
Raw data (stat): 31429 (bsolo_lpr) R 31428 29618 29617 0 -1 0 507734 0 0 0 99219 1797 0 0 25 0 1 0 831648972 68243456 15951 4294967295 134512640 134714508 3221224592 3221223252 134649897 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16661 15951 1111 63 0 16598 0
vsize: 66644
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 31463
Raw data (stat): 31429 (bsolo_lpr) R 31428 29618 29617 0 -1 0 510887 0 0 0 100208 1808 0 0 25 0 1 0 831648972 68636672 16047 4294967295 134512640 134714508 3221224592 3221223196 134536763 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16757 16047 1111 63 0 16694 0
vsize: 67028
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 31463
Raw data (stat): 31429 (bsolo_lpr) R 31428 29618 29617 0 -1 0 514382 0 0 0 101196 1820 0 0 25 0 1 0 831648972 68968448 16128 4294967295 134512640 134714508 3221224592 3221223252 134649897 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16838 16128 1111 63 0 16775 0
vsize: 67352
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 31465
Raw data (stat): 31429 (bsolo_lpr) R 31428 29618 29617 0 -1 0 517573 0 0 0 102185 1832 0 0 25 0 1 0 831648972 69595136 16251 4294967295 134512640 134714508 3221224592 3221223248 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16991 16251 1111 63 0 16928 0
vsize: 67964
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 31465
Raw data (stat): 31429 (bsolo_lpr) R 31428 29618 29617 0 -1 0 520746 0 0 0 103173 1843 0 0 25 0 1 0 831648972 70152192 16360 4294967295 134512640 134714508 3221224592 3221220820 1075114984 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17127 16360 1111 63 0 17064 0
vsize: 68508
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 31465
Raw data (stat): 31429 (bsolo_lpr) R 31428 29618 29617 0 -1 0 523639 0 0 0 104163 1853 0 0 25 0 1 0 831648972 70344704 16433 4294967295 134512640 134714508 3221224592 3221223296 134528738 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17174 16433 1111 63 0 17111 0
vsize: 68696
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 31465
Raw data (stat): 31429 (bsolo_lpr) R 31428 29618 29617 0 -1 0 526592 0 0 0 105153 1864 0 0 25 0 1 0 831648972 70725632 16530 4294967295 134512640 134714508 3221224592 3221223264 134650233 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17267 16530 1111 63 0 17204 0
vsize: 69068
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 31465
Raw data (stat): 31429 (bsolo_lpr) R 31428 29618 29617 0 -1 0 529736 0 0 0 106143 1874 0 0 25 0 1 0 831648972 71135232 16630 4294967295 134512640 134714508 3221224592 3221223148 134535891 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17367 16630 1111 63 0 17304 0
vsize: 69468
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 31465
Raw data (stat): 31429 (bsolo_lpr) R 31428 29618 29617 0 -1 0 532769 0 0 0 107132 1885 0 0 25 0 1 0 831648972 71475200 16713 4294967295 134512640 134714508 3221224592 3221223264 134650233 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17450 16713 1111 63 0 17387 0
vsize: 69800
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 31467
Raw data (stat): 31429 (bsolo_lpr) R 31428 29618 29617 0 -1 0 535978 0 0 0 108122 1895 0 0 25 0 1 0 831648972 71884800 16813 4294967295 134512640 134714508 3221224592 3221222832 1074057902 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17550 16813 1111 63 0 17487 0
vsize: 70200
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 31467
Raw data (stat): 31429 (bsolo_lpr) R 31428 29618 29617 0 -1 0 539199 0 0 0 109111 1907 0 0 25 0 1 0 831648972 72257536 16904 4294967295 134512640 134714508 3221224592 3221223148 134535891 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17641 16904 1111 63 0 17578 0
vsize: 70564
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 31467
Raw data (stat): 31429 (bsolo_lpr) R 31428 29618 29617 0 -1 0 542361 0 0 0 110098 1920 0 0 25 0 1 0 831648972 72581120 16983 4294967295 134512640 134714508 3221224592 3221223280 134535742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17720 16983 1111 63 0 17657 0
vsize: 70880
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 31467
Raw data (stat): 31429 (bsolo_lpr) R 31428 29618 29617 0 -1 0 545623 0 0 0 111089 1930 0 0 25 0 1 0 831648972 72916992 17065 4294967295 134512640 134714508 3221224592 3221223252 134649897 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17802 17065 1111 63 0 17739 0
vsize: 71208
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 31467
Raw data (stat): 31429 (bsolo_lpr) R 31428 29618 29617 0 -1 0 548863 0 0 0 112077 1942 0 0 25 0 1 0 831648972 73310208 17154 4294967295 134512640 134714508 3221224592 3221222888 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17898 17154 1111 63 0 17835 0
vsize: 71592
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 31467
Raw data (stat): 31429 (bsolo_lpr) R 31428 29618 29617 0 -1 0 552399 0 0 0 113065 1953 0 0 25 0 1 0 831648972 73781248 17245 4294967295 134512640 134714508 3221224592 3221221360 1076083602 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17982 17244 1111 63 0 17919 0
vsize: 72052
[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 31469
Raw data (stat): 31429 (bsolo_lpr) R 31428 29618 29617 0 -1 0 555879 0 0 0 114055 1964 0 0 25 0 1 0 831648972 74141696 17332 4294967295 134512640 134714508 3221224592 3221221712 1074834401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18086 17331 1111 63 0 18023 0
vsize: 72404
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 31469
Raw data (stat): 31429 (bsolo_lpr) R 31428 29618 29617 0 -1 0 558834 0 0 0 115044 1975 0 0 25 0 1 0 831648972 74387456 17417 4294967295 134512640 134714508 3221224592 3221223184 134549544 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18161 17417 1111 63 0 18098 0
vsize: 72644
[startup+1174.93 s]
Raw data (loadavg): 1.00 1.00 0.94 1/54 31469
Raw data (stat): 31429 (bsolo_lpr) R 31428 29618 29617 0 -1 0 558834 0 0 0 115044 1975 0 0 25 0 1 0 831648972 74387456 17417 4294967295 134512640 134714508 3221224592 3221223184 134549544 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18161 17417 1111 63 0 18098 0
vsize: 0

Child status: 10
Real time (s): 1174.93
CPU time (s): 1175.08
CPU user time (s): 1155.25
CPU system time (s): 19.827
CPU usage (%): 100.013
Max. virtual memory (Kb): 72644
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	30
#### END VERIFIER DATA ####