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/miplib/normalized-mps-v2-13-7-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.01884
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 40313

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        616636 kB
Buffers:         28496 kB
Cached:         364736 kB
SwapCached:       1168 kB
Active:          38488 kB
Inactive:       357052 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        616384 kB
SwapTotal:     2097136 kB
SwapFree:      2094844 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5260 kB
Slab:            16780 kB
Committed_AS:    92708 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 06:57:06 (client local time) WITH STATUS 10 IN 1175.08 SECONDS
stats: 28378 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.124 s
c Initial Lower Bound: 22
c Lower Bound Elapsed time: 0.0165
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 42 @ 0.193
c NEW SOLUTION FOUND: 41 @ 0.197
c NEW SOLUTION FOUND: 40 @ 0.2
c NEW SOLUTION FOUND: 39 @ 0.202
c NEW SOLUTION FOUND: 38 @ 0.204
c NEW SOLUTION FOUND: 37 @ 0.206
c NEW SOLUTION FOUND: 36 @ 0.209
c NEW SOLUTION FOUND: 35 @ 0.219
c NEW SOLUTION FOUND: 34 @ 0.224
c NEW SOLUTION FOUND: 33 @ 0.263
c NEW SOLUTION FOUND: 32 @ 0.318
c NEW SOLUTION FOUND: 31 @ 0.664
c NEW SOLUTION FOUND: 30 @ 27.64
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
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.85 0.94 0.90 2/55 19699
Raw data (stat): 19699 (runsolver) R 19698 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 842672693 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0001 s]
Raw data (loadavg): 0.87 0.94 0.90 2/55 19699
Raw data (stat): 19699 (bsolo_lpr-v2) R 19698 8378 8377 0 -1 0 10379 0 0 0 962 35 0 0 25 0 1 0 842672693 8286208 1330 4294967295 134512640 134716908 3221224576 3221223036 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2023 1330 1111 63 0 1960 0
vsize: 8092
[startup+19.9998 s]
Raw data (loadavg): 0.89 0.94 0.90 2/55 19699
Raw data (stat): 19699 (bsolo_lpr-v2) R 19698 8378 8377 0 -1 0 19684 0 0 0 1929 68 0 0 25 0 1 0 842672693 9895936 1724 4294967295 134512640 134716908 3221224576 3221223036 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2416 1724 1111 63 0 2353 0
vsize: 9664
[startup+30.0007 s]
Raw data (loadavg): 0.91 0.94 0.90 2/55 19699
Raw data (stat): 19699 (bsolo_lpr-v2) R 19698 8378 8377 0 -1 0 28514 0 0 0 2896 102 0 0 25 0 1 0 842672693 11345920 2079 4294967295 134512640 134716908 3221224576 3221222800 1074208117 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2770 2079 1111 63 0 2707 0
vsize: 11080
[startup+40.0005 s]
Raw data (loadavg): 0.92 0.94 0.90 2/55 19699
Raw data (stat): 19699 (bsolo_lpr-v2) R 19698 8378 8377 0 -1 0 37383 0 0 0 3863 134 0 0 25 0 1 0 842672693 12406784 2338 4294967295 134512640 134716908 3221224576 3221223236 134652240 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3029 2338 1111 63 0 2966 0
vsize: 12116
[startup+50.0012 s]
Raw data (loadavg): 0.93 0.94 0.90 2/55 19699
Raw data (stat): 19699 (bsolo_lpr-v2) R 19698 8378 8377 0 -1 0 46415 0 0 0 4829 168 0 0 25 0 1 0 842672693 13385728 2576 4294967295 134512640 134716908 3221224576 3221222228 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3268 2576 1111 63 0 3205 0
vsize: 13072
[startup+60.0013 s]
Raw data (loadavg): 0.94 0.95 0.91 2/55 19699
Raw data (stat): 19699 (bsolo_lpr-v2) R 19698 8378 8377 0 -1 0 55156 0 0 0 5799 198 0 0 25 0 1 0 842672693 14446592 2832 4294967295 134512640 134716908 3221224576 3221222316 1074207168 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3527 2832 1111 63 0 3464 0
vsize: 14108
[startup+70.0018 s]
Raw data (loadavg): 0.95 0.95 0.91 2/55 19699
Raw data (stat): 19699 (bsolo_lpr-v2) R 19698 8378 8377 0 -1 0 64042 0 0 0 6770 228 0 0 25 0 1 0 842672693 15646720 3069 4294967295 134512640 134716908 3221224576 3221220668 1075663543 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3820 3069 1111 63 0 3757 0
vsize: 15280
[startup+80.0026 s]
Raw data (loadavg): 0.96 0.95 0.91 2/55 19699
Raw data (stat): 19699 (bsolo_lpr-v2) R 19698 8378 8377 0 -1 0 71959 0 0 0 7744 254 0 0 25 0 1 0 842672693 16285696 3285 4294967295 134512640 134716908 3221224576 3221223036 1077781665 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.0023 s]
Raw data (loadavg): 0.96 0.95 0.91 2/55 19699
Raw data (stat): 19699 (bsolo_lpr-v2) R 19698 8378 8377 0 -1 0 80494 0 0 0 8711 287 0 0 25 0 1 0 842672693 17223680 3514 4294967295 134512640 134716908 3221224576 3221222936 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4205 3514 1111 63 0 4142 0
vsize: 16820
[startup+100.002 s]
Raw data (loadavg): 0.97 0.95 0.91 2/55 19699
Raw data (stat): 19699 (bsolo_lpr-v2) R 19698 8378 8377 0 -1 0 88193 0 0 0 9682 316 0 0 25 0 1 0 842672693 18501632 3769 4294967295 134512640 134716908 3221224576 3221220672 1074879400 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4517 3769 1111 63 0 4454 0
vsize: 18068
[startup+110.002 s]
Raw data (loadavg): 0.97 0.95 0.91 2/55 19699
Raw data (stat): 19699 (bsolo_lpr-v2) R 19698 8378 8377 0 -1 0 96149 0 0 0 10652 346 0 0 25 0 1 0 842672693 19218432 3967 4294967295 134512640 134716908 3221224576 3221223236 134652240 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4692 3967 1111 63 0 4629 0
vsize: 18768
[startup+120.002 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 19699
Raw data (stat): 19699 (bsolo_lpr-v2) R 19698 8378 8377 0 -1 0 103384 0 0 0 11627 371 0 0 25 0 1 0 842672693 19939328 4176 4294967295 134512640 134716908 3221224576 3221223248 134535795 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4868 4176 1111 63 0 4805 0
vsize: 19472
[startup+130.002 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 19699
Raw data (stat): 19699 (bsolo_lpr-v2) R 19698 8378 8377 0 -1 0 110870 0 0 0 12599 399 0 0 25 0 1 0 842672693 20746240 4374 4294967295 134512640 134716908 3221224576 3221222560 1074056223 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5065 4374 1111 63 0 5002 0
vsize: 20260
[startup+140.002 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 19699
Raw data (stat): 19699 (bsolo_lpr-v2) R 19698 8378 8377 0 -1 0 118164 0 0 0 13574 424 0 0 25 0 1 0 842672693 21565440 4572 4294967295 134512640 134716908 3221224576 3221223152 134549635 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5265 4572 1111 63 0 5202 0
vsize: 21060
[startup+150.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 19699
Raw data (stat): 19699 (bsolo_lpr-v2) R 19698 8378 8377 0 -1 0 124340 0 0 0 14552 447 0 0 25 0 1 0 842672693 22552576 4815 4294967295 134512640 134716908 3221224576 3221223264 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5506 4815 1111 63 0 5443 0
vsize: 22024
[startup+160.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 19699
Raw data (stat): 19699 (bsolo_lpr-v2) R 19698 8378 8377 0 -1 0 131709 0 0 0 15525 475 0 0 25 0 1 0 842672693 23355392 5011 4294967295 134512640 134716908 3221224576 3221223036 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5702 5011 1111 63 0 5639 0
vsize: 22808
[startup+170.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 19699
Raw data (stat): 19699 (bsolo_lpr-v2) R 19698 8378 8377 0 -1 0 138320 0 0 0 16501 498 0 0 25 0 1 0 842672693 24121344 5198 4294967295 134512640 134716908 3221224576 3221222976 1074153742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5889 5198 1111 63 0 5826 0
vsize: 23556
[startup+180.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 19699
Raw data (stat): 19699 (bsolo_lpr-v2) R 19698 8378 8377 0 -1 0 145612 0 0 0 17476 524 0 0 25 0 1 0 842672693 24907776 5390 4294967295 134512640 134716908 3221224576 3221222956 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6081 5390 1111 63 0 6018 0
vsize: 24324
[startup+190.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 19699
Raw data (stat): 19699 (bsolo_lpr-v2) R 19698 8378 8377 0 -1 0 152507 0 0 0 18451 548 0 0 25 0 1 0 842672693 25702400 5582 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6275 5582 1111 63 0 6212 0
vsize: 25100
[startup+200.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 19699
Raw data (stat): 19699 (bsolo_lpr-v2) R 19698 8378 8377 0 -1 0 159194 0 0 0 19427 573 0 0 25 0 1 0 842672693 26517504 5783 4294967295 134512640 134716908 3221224576 3221223248 134652581 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6474 5783 1111 63 0 6411 0
vsize: 25896
[startup+210.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 19699
Raw data (stat): 19699 (bsolo_lpr-v2) R 19698 8378 8377 0 -1 0 165814 0 0 0 20402 598 0 0 25 0 1 0 842672693 27299840 5974 4294967295 134512640 134716908 3221224576 3221223268 134528601 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6665 5974 1111 63 0 6602 0
vsize: 26660
[startup+220.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 19699
Raw data (stat): 19699 (bsolo_lpr-v2) R 19698 8378 8377 0 -1 0 172212 0 0 0 21381 619 0 0 25 0 1 0 842672693 27983872 6142 4294967295 134512640 134716908 3221224576 3221222956 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6832 6142 1111 63 0 6769 0
vsize: 27328
[startup+230.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 19699
Raw data (stat): 19699 (bsolo_lpr-v2) R 19698 8378 8377 0 -1 0 177916 0 0 0 22362 639 0 0 25 0 1 0 842672693 28655616 6306 4294967295 134512640 134716908 3221224576 3221223136 134549533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6996 6306 1111 63 0 6933 0
vsize: 27984
[startup+240.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 19699
Raw data (stat): 19699 (bsolo_lpr-v2) R 19698 8378 8377 0 -1 0 184165 0 0 0 23335 665 0 0 25 0 1 0 842672693 29515776 6483 4294967295 134512640 134716908 3221224576 3221221616 1075971414 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7206 6486 1111 63 0 7143 0
vsize: 28824
[startup+250.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 19699
Raw data (stat): 19699 (bsolo_lpr-v2) R 19698 8378 8377 0 -1 0 189893 0 0 0 24313 688 0 0 25 0 1 0 842672693 30027776 6639 4294967295 134512640 134716908 3221224576 3221223236 134652240 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7331 6639 1111 63 0 7268 0
vsize: 29324
[startup+260.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19699
Raw data (stat): 19699 (bsolo_lpr-v2) R 19698 8378 8377 0 -1 0 194639 0 0 0 25297 704 0 0 25 0 1 0 842672693 30892032 6852 4294967295 134512640 134716908 3221224576 3221223208 134552681 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7542 6852 1111 63 0 7479 0
vsize: 30168
[startup+270.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19699
Raw data (stat): 19699 (bsolo_lpr-v2) R 19698 8378 8377 0 -1 0 200626 0 0 0 26278 723 0 0 25 0 1 0 842672693 31735808 7019 4294967295 134512640 134716908 3221224576 3221221040 1075602876 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7748 7019 1111 63 0 7685 0
vsize: 30992
[startup+280.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19699
Raw data (stat): 19699 (bsolo_lpr-v2) R 19698 8378 8377 0 -1 0 206141 0 0 0 27258 743 0 0 25 0 1 0 842672693 32350208 7179 4294967295 134512640 134716908 3221224576 3221220668 1075663518 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7898 7179 1111 63 0 7835 0
vsize: 31592
[startup+290.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19699
Raw data (stat): 19699 (bsolo_lpr-v2) R 19698 8378 8377 0 -1 0 211499 0 0 0 28239 762 0 0 25 0 1 0 842672693 32808960 7320 4294967295 134512640 134716908 3221224576 3221223204 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8010 7320 1111 63 0 7947 0
vsize: 32040
[startup+300.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19699
Raw data (stat): 19699 (bsolo_lpr-v2) R 19698 8378 8377 0 -1 0 216682 0 0 0 29222 779 0 0 25 0 1 0 842672693 33615872 7485 4294967295 134512640 134716908 3221224576 3221221616 1075971414 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8207 7485 1111 63 0 8144 0
vsize: 32828
[startup+310.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19699
Raw data (stat): 19699 (bsolo_lpr-v2) R 19698 8378 8377 0 -1 0 222019 0 0 0 30205 797 0 0 25 0 1 0 842672693 34201600 7657 4294967295 134512640 134716908 3221224576 3221223280 134528595 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8350 7657 1111 63 0 8287 0
vsize: 33400
[startup+320.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19699
Raw data (stat): 19699 (bsolo_lpr-v2) R 19698 8378 8377 0 -1 0 227456 0 0 0 31187 815 0 0 25 0 1 0 842672693 34873344 7824 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8571 7825 1111 63 0 8508 0
vsize: 34056
[startup+330.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19699
Raw data (stat): 19699 (bsolo_lpr-v2) R 19698 8378 8377 0 -1 0 232887 0 0 0 32167 836 0 0 25 0 1 0 842672693 35479552 7972 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8701 7975 1111 63 0 8638 0
vsize: 34648
[startup+340.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19699
Raw data (stat): 19699 (bsolo_lpr-v2) R 19698 8378 8377 0 -1 0 238487 0 0 0 33150 853 0 0 25 0 1 0 842672693 36089856 8120 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8811 8120 1111 63 0 8748 0
vsize: 35244
[startup+350.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19699
Raw data (stat): 19699 (bsolo_lpr-v2) R 19698 8378 8377 0 -1 0 243622 0 0 0 34131 872 0 0 25 0 1 0 842672693 36724736 8272 4294967295 134512640 134716908 3221224576 3221223168 134549594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8966 8272 1111 63 0 8903 0
vsize: 35864
[startup+360.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19699
Raw data (stat): 19699 (bsolo_lpr-v2) R 19698 8378 8377 0 -1 0 248767 0 0 0 35113 890 0 0 25 0 1 0 842672693 37330944 8424 4294967295 134512640 134716908 3221224576 3221223152 134549635 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9114 8424 1111 63 0 9051 0
vsize: 36456
[startup+370.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19699
Raw data (stat): 19699 (bsolo_lpr-v2) R 19698 8378 8377 0 -1 0 252087 0 0 0 36101 902 0 0 25 0 1 0 842672693 38305792 8634 4294967295 134512640 134716908 3221224576 3221223216 134551890 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9352 8634 1111 63 0 9289 0
vsize: 37408
[startup+380.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19699
Raw data (stat): 19699 (bsolo_lpr-v2) R 19698 8378 8377 0 -1 0 257311 0 0 0 37082 921 0 0 25 0 1 0 842672693 38932480 8786 4294967295 134512640 134716908 3221224576 3221222916 1074208589 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9505 8786 1111 63 0 9442 0
vsize: 38020
[startup+390.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19699
Raw data (stat): 19699 (bsolo_lpr-v2) R 19698 8378 8377 0 -1 0 262506 0 0 0 38063 940 0 0 25 0 1 0 842672693 39563264 8938 4294967295 134512640 134716908 3221224576 3221223248 134652581 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9659 8938 1111 63 0 9596 0
vsize: 38636
[startup+400.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19699
Raw data (stat): 19699 (bsolo_lpr-v2) R 19698 8378 8377 0 -1 0 267826 0 0 0 39047 957 0 0 25 0 1 0 842672693 40173568 9090 4294967295 134512640 134716908 3221224576 3221223132 134535967 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9808 9090 1111 63 0 9745 0
vsize: 39232
[startup+410.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19699
Raw data (stat): 19699 (bsolo_lpr-v2) R 19698 8378 8377 0 -1 0 272565 0 0 0 40032 972 0 0 25 0 1 0 842672693 40751104 9228 4294967295 134512640 134716908 3221224576 3221223236 134652240 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9949 9228 1111 63 0 9886 0
vsize: 39796
[startup+420.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19699
Raw data (stat): 19699 (bsolo_lpr-v2) R 19698 8378 8377 0 -1 0 277551 0 0 0 41013 991 0 0 25 0 1 0 842672693 41299968 9365 4294967295 134512640 134716908 3221224576 3221222224 1075818376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10083 9365 1111 63 0 10020 0
vsize: 40332
[startup+430.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19699
Raw data (stat): 19699 (bsolo_lpr-v2) R 19698 8378 8377 0 -1 0 282887 0 0 0 41995 1009 0 0 25 0 1 0 842672693 41848832 9497 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10217 9497 1111 63 0 10154 0
vsize: 40868
[startup+440.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19699
Raw data (stat): 19699 (bsolo_lpr-v2) R 19698 8378 8377 0 -1 0 287722 0 0 0 42976 1028 0 0 25 0 1 0 842672693 42438656 9643 4294967295 134512640 134716908 3221224576 3221222360 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10361 9643 1111 63 0 10298 0
vsize: 41444
[startup+450.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19699
Raw data (stat): 19699 (bsolo_lpr-v2) R 19698 8378 8377 0 -1 0 292762 0 0 0 43957 1047 0 0 25 0 1 0 842672693 43134976 9782 4294967295 134512640 134716908 3221224576 3221220732 1075093115 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10531 9782 1111 63 0 10468 0
vsize: 42124
[startup+460.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19699
Raw data (stat): 19699 (bsolo_lpr-v2) R 19698 8378 8377 0 -1 0 297390 0 0 0 44941 1064 0 0 25 0 1 0 842672693 43544576 9909 4294967295 134512640 134716908 3221224576 3221223236 134652240 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10631 9909 1111 63 0 10568 0
vsize: 42524
[startup+470.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19699
Raw data (stat): 19699 (bsolo_lpr-v2) R 19698 8378 8377 0 -1 0 302355 0 0 0 45924 1081 0 0 25 0 1 0 842672693 44040192 10034 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10752 10034 1111 63 0 10689 0
vsize: 43008
[startup+480.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19699
Raw data (stat): 19699 (bsolo_lpr-v2) R 19698 8378 8377 0 -1 0 306949 0 0 0 46909 1096 0 0 25 0 1 0 842672693 44564480 10159 4294967295 134512640 134716908 3221224576 3221223248 134652581 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10880 10159 1111 63 0 10817 0
vsize: 43520
[startup+490.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19699
Raw data (stat): 19699 (bsolo_lpr-v2) R 19698 8378 8377 0 -1 0 311473 0 0 0 47892 1113 0 0 25 0 1 0 842672693 45056000 10282 4294967295 134512640 134716908 3221224576 3221223248 134652581 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11000 10282 1111 63 0 10937 0
vsize: 44000
[startup+500.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19699
Raw data (stat): 19699 (bsolo_lpr-v2) R 19698 8378 8377 0 -1 0 315668 0 0 0 48878 1127 0 0 25 0 1 0 842672693 45604864 10416 4294967295 134512640 134716908 3221224576 3221223236 134652240 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11134 10416 1111 63 0 11071 0
vsize: 44536
[startup+510.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19699
Raw data (stat): 19699 (bsolo_lpr-v2) R 19698 8378 8377 0 -1 0 320161 0 0 0 49863 1143 0 0 25 0 1 0 842672693 46153728 10550 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11267 10549 1111 63 0 11204 0
vsize: 45072
[startup+520.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19699
Raw data (stat): 19699 (bsolo_lpr-v2) R 19698 8378 8377 0 -1 0 325137 0 0 0 50844 1161 0 0 25 0 1 0 842672693 46727168 10690 4294967295 134512640 134716908 3221224576 3221223180 134536817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11408 10690 1111 63 0 11345 0
vsize: 45632
[startup+530.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19699
Raw data (stat): 19699 (bsolo_lpr-v2) R 19698 8378 8377 0 -1 0 330083 0 0 0 51826 1179 0 0 25 0 1 0 842672693 47259648 10820 4294967295 134512640 134716908 3221224576 3221223248 134652567 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11538 10820 1111 63 0 11475 0
vsize: 46152
[startup+540.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19699
Raw data (stat): 19699 (bsolo_lpr-v2) R 19698 8378 8377 0 -1 0 334457 0 0 0 52813 1193 0 0 25 0 1 0 842672693 47759360 10942 4294967295 134512640 134716908 3221224576 3221222680 1077374704 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11660 10942 1111 63 0 11597 0
vsize: 46640
[startup+550.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19699
Raw data (stat): 19699 (bsolo_lpr-v2) R 19698 8378 8377 0 -1 0 338694 0 0 0 53799 1208 0 0 25 0 1 0 842672693 48435200 11073 4294967295 134512640 134716908 3221224576 3221221592 1074950645 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11825 11076 1111 63 0 11762 0
vsize: 47300
[startup+560.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19699
Raw data (stat): 19699 (bsolo_lpr-v2) R 19698 8378 8377 0 -1 0 343249 0 0 0 54781 1225 0 0 25 0 1 0 842672693 48836608 11196 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11923 11196 1111 63 0 11860 0
vsize: 47692
[startup+570.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19699
Raw data (stat): 19699 (bsolo_lpr-v2) R 19698 8378 8377 0 -1 0 347596 0 0 0 55764 1242 0 0 25 0 1 0 842672693 49295360 11317 4294967295 134512640 134716908 3221224576 3221223248 134652583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12035 11317 1111 63 0 11972 0
vsize: 48140
[startup+580.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19699
Raw data (stat): 19699 (bsolo_lpr-v2) R 19698 8378 8377 0 -1 0 352258 0 0 0 56749 1258 0 0 25 0 1 0 842672693 49926144 11439 4294967295 134512640 134716908 3221224576 3221220736 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12189 11440 1111 63 0 12126 0
vsize: 48756
[startup+590.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19699
Raw data (stat): 19699 (bsolo_lpr-v2) R 19698 8378 8377 0 -1 0 356763 0 0 0 57733 1273 0 0 25 0 1 0 842672693 50307072 11562 4294967295 134512640 134716908 3221224576 3221223232 134536713 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12282 11562 1111 63 0 12219 0
vsize: 49128
[startup+600.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19699
Raw data (stat): 19699 (bsolo_lpr-v2) R 19698 8378 8377 0 -1 0 360454 0 0 0 58721 1286 0 0 25 0 1 0 842672693 50814976 11685 4294967295 134512640 134716908 3221224576 3221223204 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12406 11685 1111 63 0 12343 0
vsize: 49624
[startup+610.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19699
Raw data (stat): 19699 (bsolo_lpr-v2) R 19698 8378 8377 0 -1 0 364751 0 0 0 59705 1303 0 0 25 0 1 0 842672693 51331072 11814 4294967295 134512640 134716908 3221224576 3221222976 1074153660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12532 11814 1111 63 0 12469 0
vsize: 50128
[startup+620.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19699
Raw data (stat): 19699 (bsolo_lpr-v2) R 19698 8378 8377 0 -1 0 368711 0 0 0 60689 1318 0 0 25 0 1 0 842672693 51843072 11939 4294967295 134512640 134716908 3221224576 3221223268 134528706 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12656 11938 1111 63 0 12593 0
vsize: 50628
[startup+630.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19699
Raw data (stat): 19699 (bsolo_lpr-v2) R 19698 8378 8377 0 -1 0 373019 0 0 0 61675 1333 0 0 25 0 1 0 842672693 52359168 12062 4294967295 134512640 134716908 3221224576 3221223248 134652581 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12783 12062 1111 63 0 12720 0
vsize: 51132
[startup+640.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19699
Raw data (stat): 19699 (bsolo_lpr-v2) R 19698 8378 8377 0 -1 0 377401 0 0 0 62659 1349 0 0 25 0 1 0 842672693 52813824 12173 4294967295 134512640 134716908 3221224576 3221223248 134652581 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12894 12173 1111 63 0 12831 0
vsize: 51576
[startup+650.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19699
Raw data (stat): 19699 (bsolo_lpr-v2) R 19698 8378 8377 0 -1 0 381742 0 0 0 63642 1366 0 0 25 0 1 0 842672693 53276672 12289 4294967295 134512640 134716908 3221224576 3221223088 134535026 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13007 12289 1111 63 0 12944 0
vsize: 52028
[startup+660.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19699
Raw data (stat): 19699 (bsolo_lpr-v2) R 19698 8378 8377 0 -1 0 386245 0 0 0 64626 1382 0 0 25 0 1 0 842672693 53743616 12403 4294967295 134512640 134716908 3221224576 3221223248 134652581 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13121 12403 1111 63 0 13058 0
vsize: 52484
[startup+670.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19699
Raw data (stat): 19699 (bsolo_lpr-v2) R 19698 8378 8377 0 -1 0 390312 0 0 0 65612 1396 0 0 25 0 1 0 842672693 54341632 12518 4294967295 134512640 134716908 3221224576 3221220816 1075115712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13267 12519 1111 63 0 13204 0
vsize: 53068
[startup+680.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19699
Raw data (stat): 19699 (bsolo_lpr-v2) R 19698 8378 8377 0 -1 0 394509 0 0 0 66598 1410 0 0 25 0 1 0 842672693 55017472 12714 4294967295 134512640 134716908 3221224576 3221223264 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13432 12714 1111 63 0 13369 0
vsize: 53728
[startup+690.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19699
Raw data (stat): 19699 (bsolo_lpr-v2) R 19698 8378 8377 0 -1 0 398929 0 0 0 67582 1427 0 0 25 0 1 0 842672693 55746560 12833 4294967295 134512640 134716908 3221224576 3221220720 1074971324 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13610 12833 1111 63 0 13547 0
vsize: 54440
[startup+700.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19699
Raw data (stat): 19699 (bsolo_lpr-v2) R 19698 8378 8377 0 -1 0 402673 0 0 0 68567 1442 0 0 25 0 1 0 842672693 55996416 12953 4294967295 134512640 134716908 3221224576 3221223184 134536849 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13671 12953 1111 63 0 13608 0
vsize: 54684
[startup+710.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19699
Raw data (stat): 19699 (bsolo_lpr-v2) R 19698 8378 8377 0 -1 0 406263 0 0 0 69556 1453 0 0 25 0 1 0 842672693 56725504 13074 4294967295 134512640 134716908 3221224576 3221221608 1077410281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13849 13074 1111 63 0 13786 0
vsize: 55396
[startup+720.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19699
Raw data (stat): 19699 (bsolo_lpr-v2) R 19698 8378 8377 0 -1 0 410402 0 0 0 70542 1468 0 0 25 0 1 0 842672693 56954880 13187 4294967295 134512640 134716908 3221224576 3221223136 134549544 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13905 13187 1111 63 0 13842 0
vsize: 55620
[startup+730.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19699
Raw data (stat): 19699 (bsolo_lpr-v2) R 19698 8378 8377 0 -1 0 414797 0 0 0 71524 1485 0 0 25 0 1 0 842672693 57458688 13306 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14028 13306 1111 63 0 13965 0
vsize: 56112
[startup+740.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19699
Raw data (stat): 19699 (bsolo_lpr-v2) R 19698 8378 8377 0 -1 0 418788 0 0 0 72509 1500 0 0 25 0 1 0 842672693 57913344 13421 4294967295 134512640 134716908 3221224576 3221223204 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14139 13421 1111 63 0 14076 0
vsize: 56556
[startup+750.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19699
Raw data (stat): 19699 (bsolo_lpr-v2) R 19698 8378 8377 0 -1 0 423119 0 0 0 73495 1515 0 0 25 0 1 0 842672693 58404864 13537 4294967295 134512640 134716908 3221224576 3221223236 134652240 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14259 13537 1111 63 0 14196 0
vsize: 57036
[startup+760.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19699
Raw data (stat): 19699 (bsolo_lpr-v2) R 19698 8378 8377 0 -1 0 427348 0 0 0 74479 1531 0 0 25 0 1 0 842672693 58880000 13657 4294967295 134512640 134716908 3221224576 3221223136 134549668 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14375 13657 1111 63 0 14312 0
vsize: 57500
[startup+770.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19699
Raw data (stat): 19699 (bsolo_lpr-v2) R 19698 8378 8377 0 -1 0 431009 0 0 0 75467 1543 0 0 25 0 1 0 842672693 59383808 13780 4294967295 134512640 134716908 3221224576 3221223036 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14498 13780 1111 63 0 14435 0
vsize: 57992
[startup+780.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19699
Raw data (stat): 19699 (bsolo_lpr-v2) R 19698 8378 8377 0 -1 0 435109 0 0 0 76452 1558 0 0 25 0 1 0 842672693 59838464 13891 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14608 13890 1111 63 0 14545 0
vsize: 58436
[startup+790.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19699
Raw data (stat): 19699 (bsolo_lpr-v2) R 19698 8378 8377 0 -1 0 439151 0 0 0 77439 1572 0 0 25 0 1 0 842672693 60252160 13992 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14744 13995 1111 63 0 14681 0
vsize: 58840
[startup+800.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19699
Raw data (stat): 19699 (bsolo_lpr-v2) R 19698 8378 8377 0 -1 0 443154 0 0 0 78425 1585 0 0 25 0 1 0 842672693 60674048 14091 4294967295 134512640 134716908 3221224576 3221223200 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14813 14091 1111 63 0 14750 0
vsize: 59252
[startup+810.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19699
Raw data (stat): 19699 (bsolo_lpr-v2) R 19698 8378 8377 0 -1 0 447128 0 0 0 79412 1599 0 0 25 0 1 0 842672693 61366272 14207 4294967295 134512640 134716908 3221224576 3221223236 134652240 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14982 14207 1111 63 0 14919 0
vsize: 59928
[startup+820.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19699
Raw data (stat): 19699 (bsolo_lpr-v2) R 19698 8378 8377 0 -1 0 451070 0 0 0 80397 1614 0 0 25 0 1 0 842672693 61804544 14313 4294967295 134512640 134716908 3221224576 3221220848 1074960916 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15089 14313 1111 63 0 15026 0
vsize: 60356
[startup+830.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19699
Raw data (stat): 19699 (bsolo_lpr-v2) R 19698 8378 8377 0 -1 0 454549 0 0 0 81385 1626 0 0 25 0 1 0 842672693 61964288 14410 4294967295 134512640 134716908 3221224576 3221223236 134652240 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15128 14410 1111 63 0 15065 0
vsize: 60512
[startup+840.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19699
Raw data (stat): 19699 (bsolo_lpr-v2) R 19698 8378 8377 0 -1 0 458347 0 0 0 82370 1641 0 0 25 0 1 0 842672693 62410752 14519 4294967295 134512640 134716908 3221224576 3221223280 134528656 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15237 14519 1111 63 0 15174 0
vsize: 60948
[startup+850.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19699
Raw data (stat): 19699 (bsolo_lpr-v2) R 19698 8378 8377 0 -1 0 462086 0 0 0 83358 1654 0 0 25 0 1 0 842672693 62906368 14628 4294967295 134512640 134716908 3221224576 3221223132 134535900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15358 14628 1111 63 0 15295 0
vsize: 61432
[startup+860.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19699
Raw data (stat): 19699 (bsolo_lpr-v2) R 19698 8378 8377 0 -1 0 465811 0 0 0 84346 1666 0 0 25 0 1 0 842672693 63369216 14749 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15471 14749 1111 63 0 15408 0
vsize: 61884
[startup+870.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19699
Raw data (stat): 19699 (bsolo_lpr-v2) R 19698 8378 8377 0 -1 0 469518 0 0 0 85333 1679 0 0 25 0 1 0 842672693 63787008 14855 4294967295 134512640 134716908 3221224576 3221223248 134652567 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15573 14855 1111 63 0 15510 0
vsize: 62292
[startup+880.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19699
Raw data (stat): 19699 (bsolo_lpr-v2) R 19698 8378 8377 0 -1 0 473238 0 0 0 86318 1694 0 0 25 0 1 0 842672693 64184320 14952 4294967295 134512640 134716908 3221224576 3221223312 134529091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15670 14952 1111 63 0 15607 0
vsize: 62680
[startup+890.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19699
Raw data (stat): 19699 (bsolo_lpr-v2) R 19698 8378 8377 0 -1 0 476916 0 0 0 87305 1708 0 0 25 0 1 0 842672693 64598016 15053 4294967295 134512640 134716908 3221224576 3221223236 134652240 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15771 15053 1111 63 0 15708 0
vsize: 63084
[startup+900.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19699
Raw data (stat): 19699 (bsolo_lpr-v2) R 19698 8378 8377 0 -1 0 480378 0 0 0 88291 1722 0 0 25 0 1 0 842672693 65011712 15154 4294967295 134512640 134716908 3221224576 3221223232 134524067 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15872 15154 1111 63 0 15809 0
vsize: 63488
[startup+910.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19699
Raw data (stat): 19699 (bsolo_lpr-v2) R 19698 8378 8377 0 -1 0 483756 0 0 0 89278 1734 0 0 25 0 1 0 842672693 65437696 15258 4294967295 134512640 134716908 3221224576 3221223204 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15976 15258 1111 63 0 15913 0
vsize: 63904
[startup+920.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19699
Raw data (stat): 19699 (bsolo_lpr-v2) R 19698 8378 8377 0 -1 0 487280 0 0 0 90267 1746 0 0 25 0 1 0 842672693 65896448 15370 4294967295 134512640 134716908 3221224576 3221223180 134536828 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16088 15370 1111 63 0 16025 0
vsize: 64352
[startup+930.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19699
Raw data (stat): 19699 (bsolo_lpr-v2) R 19698 8378 8377 0 -1 0 491128 0 0 0 91254 1759 0 0 25 0 1 0 842672693 66359296 15477 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16201 15477 1111 63 0 16138 0
vsize: 64804
[startup+940.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19699
Raw data (stat): 19699 (bsolo_lpr-v2) R 19698 8378 8377 0 -1 0 494941 0 0 0 92242 1771 0 0 25 0 1 0 842672693 66772992 15583 4294967295 134512640 134716908 3221224576 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16296 15578 1111 63 0 16233 0
vsize: 65208
[startup+950.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19699
Raw data (stat): 19699 (bsolo_lpr-v2) R 19698 8378 8377 0 -1 0 497903 0 0 0 93230 1783 0 0 25 0 1 0 842672693 67551232 15714 4294967295 134512640 134716908 3221224576 3221220848 1074960964 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16492 15714 1111 63 0 16429 0
vsize: 65968
[startup+960.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19699
Raw data (stat): 19699 (bsolo_lpr-v2) R 19698 8378 8377 0 -1 0 501157 0 0 0 94217 1796 0 0 25 0 1 0 842672693 67706880 15812 4294967295 134512640 134716908 3221224576 3221222528 1075336225 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16530 15812 1111 63 0 16467 0
vsize: 66120
[startup+970.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19699
Raw data (stat): 19699 (bsolo_lpr-v2) R 19698 8378 8377 0 -1 0 504541 0 0 0 95205 1808 0 0 25 0 1 0 842672693 68292608 15922 4294967295 134512640 134716908 3221224576 3221221616 1075860128 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16673 15924 1111 63 0 16610 0
vsize: 66692
[startup+980.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19699
Raw data (stat): 19699 (bsolo_lpr-v2) R 19698 8378 8377 0 -1 0 508108 0 0 0 96193 1821 0 0 25 0 1 0 842672693 68587520 16027 4294967295 134512640 134716908 3221224576 3221223312 134529243 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16745 16027 1111 63 0 16682 0
vsize: 66980
[startup+990.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19699
Raw data (stat): 19699 (bsolo_lpr-v2) R 19698 8378 8377 0 -1 0 511685 0 0 0 97180 1834 0 0 25 0 1 0 842672693 68984832 16124 4294967295 134512640 134716908 3221224576 3221222224 1075821161 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16842 16124 1111 63 0 16779 0
vsize: 67368
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19699
Raw data (stat): 19699 (bsolo_lpr-v2) R 19698 8378 8377 0 -1 0 515125 0 0 0 98167 1847 0 0 25 0 1 0 842672693 69578752 16242 4294967295 134512640 134716908 3221224576 3221223168 134549533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16987 16242 1111 63 0 16924 0
vsize: 67948
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19699
Raw data (stat): 19699 (bsolo_lpr-v2) R 19698 8378 8377 0 -1 0 518736 0 0 0 99155 1860 0 0 25 0 1 0 842672693 70578176 16455 4294967295 134512640 134716908 3221224576 3221221344 1076083602 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17198 16453 1111 63 0 17135 0
vsize: 68924
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19699
Raw data (stat): 19699 (bsolo_lpr-v2) R 19698 8378 8377 0 -1 0 521827 0 0 0 100143 1872 0 0 25 0 1 0 842672693 70959104 16547 4294967295 134512640 134716908 3221224576 3221221640 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17324 16547 1111 63 0 17261 0
vsize: 69296
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19699
Raw data (stat): 19699 (bsolo_lpr-v2) R 19698 8378 8377 0 -1 0 525300 0 0 0 101132 1883 0 0 25 0 1 0 842672693 71200768 16638 4294967295 134512640 134716908 3221224576 3221223136 134549742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17383 16638 1111 63 0 17320 0
vsize: 69532
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19699
Raw data (stat): 19699 (bsolo_lpr-v2) R 19698 8378 8377 0 -1 0 528550 0 0 0 102122 1893 0 0 25 0 1 0 842672693 71569408 16724 4294967295 134512640 134716908 3221224576 3221223204 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17473 16724 1111 63 0 17410 0
vsize: 69892
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19699
Raw data (stat): 19699 (bsolo_lpr-v2) R 19698 8378 8377 0 -1 0 531528 0 0 0 103111 1905 0 0 25 0 1 0 842672693 72151040 16842 4294967295 134512640 134716908 3221224576 3221220716 1074970247 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17615 16842 1111 63 0 17552 0
vsize: 70460
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19699
Raw data (stat): 19699 (bsolo_lpr-v2) R 19698 8378 8377 0 -1 0 534678 0 0 0 104100 1915 0 0 25 0 1 0 842672693 72544256 16936 4294967295 134512640 134716908 3221224576 3221220588 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17711 16936 1111 63 0 17648 0
vsize: 70844
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19699
Raw data (stat): 19699 (bsolo_lpr-v2) R 19698 8378 8377 0 -1 0 537983 0 0 0 105090 1926 0 0 25 0 1 0 842672693 72810496 17029 4294967295 134512640 134716908 3221224576 3221223264 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17776 17029 1111 63 0 17713 0
vsize: 71104
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19699
Raw data (stat): 19699 (bsolo_lpr-v2) R 19698 8378 8377 0 -1 0 541423 0 0 0 106078 1938 0 0 25 0 1 0 842672693 73326592 17124 4294967295 134512640 134716908 3221224576 3221221496 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17902 17124 1111 63 0 17839 0
vsize: 71608
[startup+1090.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19699
Raw data (stat): 19699 (bsolo_lpr-v2) R 19698 8378 8377 0 -1 0 544543 0 0 0 107068 1948 0 0 25 0 1 0 842672693 73605120 17225 4294967295 134512640 134716908 3221224576 3221223248 134652581 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17970 17225 1111 63 0 17907 0
vsize: 71880
[startup+1100.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19699
Raw data (stat): 19699 (bsolo_lpr-v2) R 19698 8378 8377 0 -1 0 547973 0 0 0 108057 1959 0 0 25 0 1 0 842672693 73973760 17315 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18060 17315 1111 63 0 17997 0
vsize: 72240
[startup+1110.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19699
Raw data (stat): 19699 (bsolo_lpr-v2) R 19698 8378 8377 0 -1 0 550970 0 0 0 109046 1971 0 0 25 0 1 0 842672693 74481664 17439 4294967295 134512640 134716908 3221224576 3221222752 1074206185 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18184 17439 1111 63 0 18121 0
vsize: 72736
[startup+1120.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19699
Raw data (stat): 19699 (bsolo_lpr-v2) R 19698 8378 8377 0 -1 0 554417 0 0 0 110034 1982 0 0 25 0 1 0 842672693 74838016 17526 4294967295 134512640 134716908 3221224576 3221223232 134535812 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18271 17526 1111 63 0 18208 0
vsize: 73084
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19699
Raw data (stat): 19699 (bsolo_lpr-v2) R 19698 8378 8377 0 -1 0 557444 0 0 0 111024 1993 0 0 25 0 1 0 842672693 75169792 17607 4294967295 134512640 134716908 3221224576 3221222496 1075799428 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18352 17607 1111 63 0 18289 0
vsize: 73408
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19699
Raw data (stat): 19699 (bsolo_lpr-v2) R 19698 8378 8377 0 -1 0 560797 0 0 0 112011 2006 0 0 25 0 1 0 842672693 75550720 17696 4294967295 134512640 134716908 3221224576 3221222976 1074118861 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18445 17696 1111 63 0 18382 0
vsize: 73780
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19699
Raw data (stat): 19699 (bsolo_lpr-v2) R 19698 8378 8377 0 -1 0 563897 0 0 0 113001 2016 0 0 25 0 1 0 842672693 75870208 17778 4294967295 134512640 134716908 3221224576 3221222868 1074206882 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18523 17778 1111 63 0 18460 0
vsize: 74092
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19699
Raw data (stat): 19699 (bsolo_lpr-v2) R 19698 8378 8377 0 -1 0 567161 0 0 0 113990 2028 0 0 25 0 1 0 842672693 76451840 17891 4294967295 134512640 134716908 3221224576 3221220816 1075115709 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18665 17891 1111 63 0 18602 0
vsize: 74660
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19699
Raw data (stat): 19699 (bsolo_lpr-v2) R 19698 8378 8377 0 -1 0 570291 0 0 0 114979 2039 0 0 25 0 1 0 842672693 76623872 17962 4294967295 134512640 134716908 3221224576 3221223236 134652240 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18707 17962 1111 63 0 18644 0
vsize: 74828
[startup+1174.91 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 19699
Raw data (stat): 19699 (bsolo_lpr-v2) R 19698 8378 8377 0 -1 0 570291 0 0 0 114979 2039 0 0 25 0 1 0 842672693 76623872 17962 4294967295 134512640 134716908 3221224576 3221223236 134652240 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18707 17962 1111 63 0 18644 0
vsize: 0

Child status: 10
Real time (s): 1174.91
CPU time (s): 1175.08
CPU user time (s): 1154.6
CPU system time (s): 20.4749
CPU usage (%): 100.014
Max. virtual memory (Kb): 74828
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	30
#### END VERIFIER DATA ####