PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

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

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-09 16:57:06 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29671 boxname=wulflinc5 idbench=1455 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  5c72b08d2dc855d07dab2f619386e796  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-stein45.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-stein45.opb
IDLAUNCH: 29671
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        780660 kB
Buffers:         23896 kB
Cached:         209116 kB
SwapCached:        636 kB
Active:          25964 kB
Inactive:       209120 kB
HighTotal:      131008 kB
HighFree:        14644 kB
LowTotal:       903652 kB
LowFree:        766016 kB
SwapTotal:     2097136 kB
SwapFree:      2095492 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5076 kB
Slab:            13260 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 17:16:42 (client local time) WITH STATUS 10 IN 1175.33 SECONDS
stats: 29671 0 1175.33 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.128 s
c Initial Lower Bound: 22
c Lower Bound Elapsed time: 0.053
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 38 @ 0.184
c NEW SOLUTION FOUND: 37 @ 0.189
c NEW SOLUTION FOUND: 36 @ 0.191
c NEW SOLUTION FOUND: 35 @ 0.207
c NEW SOLUTION FOUND: 34 @ 0.221
c NEW SOLUTION FOUND: 33 @ 0.238
c NEW SOLUTION FOUND: 32 @ 0.33
c NEW SOLUTION FOUND: 31 @ 1.023
c NEW SOLUTION FOUND: 30 @ 176.787
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.31 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.91 0.95 0.90 1/54 4445
Raw data (stat): 4445 (runsolver) R 4444 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 911888773 884736 94 4294967295 134512640 135332820 3221224448 3221219628 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.0003 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 4445
Raw data (stat): 4445 (bsolo_lpr_cuts-) R 4444 7266 7265 0 -1 0 12777 0 0 0 958 40 0 0 25 0 1 0 911888773 7950336 1200 4294967295 134512640 134716908 3221224560 3221222812 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1941 1200 1111 63 0 1878 0
vsize: 7764
[startup+20.0014 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 4445
Raw data (stat): 4445 (bsolo_lpr_cuts-) R 4444 7266 7265 0 -1 0 27499 0 0 0 1914 84 0 0 25 0 1 0 911888773 8818688 1402 4294967295 134512640 134716908 3221224560 3221221624 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2153 1402 1111 63 0 2090 0
vsize: 8612
[startup+30.0021 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 4445
Raw data (stat): 4445 (bsolo_lpr_cuts-) R 4444 7266 7265 0 -1 0 42996 0 0 0 2875 123 0 0 25 0 1 0 911888773 9441280 1583 4294967295 134512640 134716908 3221224560 3221222896 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2305 1583 1111 63 0 2242 0
vsize: 9220
[startup+40.0015 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 4445
Raw data (stat): 4445 (bsolo_lpr_cuts-) R 4444 7266 7265 0 -1 0 57161 0 0 0 3839 159 0 0 25 0 1 0 911888773 9801728 1709 4294967295 134512640 134716908 3221224560 3221222672 1074867355 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2393 1709 1111 63 0 2330 0
vsize: 9572
[startup+50.0029 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 4445
Raw data (stat): 4445 (bsolo_lpr_cuts-) R 4444 7266 7265 0 -1 0 71342 0 0 0 4803 195 0 0 25 0 1 0 911888773 10489856 1864 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2561 1864 1111 63 0 2498 0
vsize: 10244
[startup+60.0024 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 4445
Raw data (stat): 4445 (bsolo_lpr_cuts-) R 4444 7266 7265 0 -1 0 86186 0 0 0 5765 233 0 0 25 0 1 0 911888773 11333632 2005 4294967295 134512640 134716908 3221224560 3221221624 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2767 2005 1111 63 0 2704 0
vsize: 11068
[startup+70.0027 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 4445
Raw data (stat): 4445 (bsolo_lpr_cuts-) R 4444 7266 7265 0 -1 0 99403 0 0 0 6734 264 0 0 25 0 1 0 911888773 11440128 2109 4294967295 134512640 134716908 3221224560 3221222864 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2793 2109 1111 63 0 2730 0
vsize: 11172
[startup+80.0028 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 4445
Raw data (stat): 4445 (bsolo_lpr_cuts-) R 4444 7266 7265 0 -1 0 112693 0 0 0 7701 298 0 0 25 0 1 0 911888773 11935744 2232 4294967295 134512640 134716908 3221224560 3221222912 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2914 2232 1111 63 0 2851 0
vsize: 11656
[startup+90.0026 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 4445
Raw data (stat): 4445 (bsolo_lpr_cuts-) R 4444 7266 7265 0 -1 0 127176 0 0 0 8664 335 0 0 25 0 1 0 911888773 13246464 2429 4294967295 134512640 134716908 3221224560 3221221624 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3234 2429 1111 63 0 3171 0
vsize: 12936
[startup+100.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 4445
Raw data (stat): 4445 (bsolo_lpr_cuts-) R 4444 7266 7265 0 -1 0 141205 0 0 0 9627 372 0 0 25 0 1 0 911888773 12914688 2471 4294967295 134512640 134716908 3221224560 3221222940 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3153 2471 1111 63 0 3090 0
vsize: 12612
[startup+110.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 4445
Raw data (stat): 4445 (bsolo_lpr_cuts-) R 4444 7266 7265 0 -1 0 154986 0 0 0 10592 407 0 0 25 0 1 0 911888773 13340672 2575 4294967295 134512640 134716908 3221224560 3221222632 1077377765 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3257 2575 1111 63 0 3194 0
vsize: 13028
[startup+120.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4445
Raw data (stat): 4445 (bsolo_lpr_cuts-) R 4444 7266 7265 0 -1 0 168833 0 0 0 11559 441 0 0 25 0 1 0 911888773 14467072 2759 4294967295 134512640 134716908 3221224560 3221220832 1074961271 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3532 2759 1111 63 0 3469 0
vsize: 14128
[startup+130.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4445
Raw data (stat): 4445 (bsolo_lpr_cuts-) R 4444 7266 7265 0 -1 0 182527 0 0 0 12524 476 0 0 25 0 1 0 911888773 14630912 2840 4294967295 134512640 134716908 3221224560 3221222860 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3572 2840 1111 63 0 3509 0
vsize: 14288
[startup+140.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4445
Raw data (stat): 4445 (bsolo_lpr_cuts-) R 4444 7266 7265 0 -1 0 196626 0 0 0 13489 511 0 0 25 0 1 0 911888773 15257600 2979 4294967295 134512640 134716908 3221224560 3221220720 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3725 2979 1111 63 0 3662 0
vsize: 14900
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4445
Raw data (stat): 4445 (bsolo_lpr_cuts-) R 4444 7266 7265 0 -1 0 210719 0 0 0 14454 547 0 0 25 0 1 0 911888773 15171584 3022 4294967295 134512640 134716908 3221224560 3221222288 1075828444 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3704 3022 1111 63 0 3641 0
vsize: 14816
[startup+160.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4445
Raw data (stat): 4445 (bsolo_lpr_cuts-) R 4444 7266 7265 0 -1 0 224546 0 0 0 15419 582 0 0 25 0 1 0 911888773 15613952 3130 4294967295 134512640 134716908 3221224560 3221222788 1077374127 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3812 3130 1111 63 0 3749 0
vsize: 15248
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4445
Raw data (stat): 4445 (bsolo_lpr_cuts-) R 4444 7266 7265 0 -1 0 237463 0 0 0 16386 615 0 0 25 0 1 0 911888773 16273408 3275 4294967295 134512640 134716908 3221224560 3221222896 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3973 3275 1111 63 0 3910 0
vsize: 15892
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.91 3/57 4485
Raw data (stat): 4445 (bsolo_lpr_cuts-) R 4444 7266 7265 0 -1 0 252751 0 0 0 17347 653 0 0 25 0 1 0 911888773 16465920 3345 4294967295 134512640 134716908 3221224560 3221222288 1075828490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4020 3345 1111 63 0 3957 0
vsize: 16080
[startup+190.006 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 4498
Raw data (stat): 4445 (bsolo_lpr_cuts-) R 4444 7266 7265 0 -1 0 265587 0 0 0 18315 685 0 0 25 0 1 0 911888773 16711680 3405 4294967295 134512640 134716908 3221224560 3221222560 1074918109 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4080 3405 1111 63 0 4017 0
vsize: 16320
[startup+200.006 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 4498
Raw data (stat): 4445 (bsolo_lpr_cuts-) R 4444 7266 7265 0 -1 0 279284 0 0 0 19280 721 0 0 25 0 1 0 911888773 17068032 3492 4294967295 134512640 134716908 3221224560 3221221752 1074138312 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4167 3492 1111 63 0 4104 0
vsize: 16668
[startup+210.006 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 4498
Raw data (stat): 4445 (bsolo_lpr_cuts-) R 4444 7266 7265 0 -1 0 291948 0 0 0 20248 753 0 0 25 0 1 0 911888773 17256448 3538 4294967295 134512640 134716908 3221224560 3221222624 1075961779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4213 3538 1111 63 0 4150 0
vsize: 16852
[startup+220.006 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 4498
Raw data (stat): 4445 (bsolo_lpr_cuts-) R 4444 7266 7265 0 -1 0 306561 0 0 0 21210 791 0 0 25 0 1 0 911888773 17559552 3612 4294967295 134512640 134716908 3221224560 3221222912 1074115241 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4287 3612 1111 63 0 4224 0
vsize: 17148
[startup+230.006 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 4498
Raw data (stat): 4445 (bsolo_lpr_cuts-) R 4444 7266 7265 0 -1 0 320707 0 0 0 22176 826 0 0 25 0 1 0 911888773 18575360 3729 4294967295 134512640 134716908 3221224560 3221221104 1075088563 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4535 3729 1111 63 0 4472 0
vsize: 18140
[startup+240.006 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 4498
Raw data (stat): 4445 (bsolo_lpr_cuts-) R 4444 7266 7265 0 -1 0 334822 0 0 0 23139 862 0 0 25 0 1 0 911888773 18026496 3723 4294967295 134512640 134716908 3221224560 3221222912 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4401 3723 1111 63 0 4338 0
vsize: 17604
[startup+250.006 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 4500
Raw data (stat): 4445 (bsolo_lpr_cuts-) R 4444 7266 7265 0 -1 0 349187 0 0 0 24104 898 0 0 25 0 1 0 911888773 19107840 3861 4294967295 134512640 134716908 3221224560 3221220788 1075114937 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4665 3861 1111 63 0 4602 0
vsize: 18660
[startup+260.006 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 4500
Raw data (stat): 4445 (bsolo_lpr_cuts-) R 4444 7266 7265 0 -1 0 360753 0 0 0 25075 927 0 0 25 0 1 0 911888773 18862080 3922 4294967295 134512640 134716908 3221224560 3221221840 1074140041 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4605 3922 1111 63 0 4542 0
vsize: 18420
[startup+270.007 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 4500
Raw data (stat): 4445 (bsolo_lpr_cuts-) R 4444 7266 7265 0 -1 0 374449 0 0 0 26040 962 0 0 25 0 1 0 911888773 20049920 4087 4294967295 134512640 134716908 3221224560 3221220800 1075115709 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4895 4087 1111 63 0 4832 0
vsize: 19580
[startup+280.007 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 4500
Raw data (stat): 4445 (bsolo_lpr_cuts-) R 4444 7266 7265 0 -1 0 389352 0 0 0 27003 999 0 0 25 0 1 0 911888773 19001344 3964 4294967295 134512640 134716908 3221224560 3221222472 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4639 3964 1111 63 0 4576 0
vsize: 18556
[startup+290.008 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 4500
Raw data (stat): 4445 (bsolo_lpr_cuts-) R 4444 7266 7265 0 -1 0 401111 0 0 0 27975 1028 0 0 25 0 1 0 911888773 19484672 4077 4294967295 134512640 134716908 3221224560 3221222344 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4757 4077 1111 63 0 4694 0
vsize: 19028
[startup+300.008 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 4500
Raw data (stat): 4445 (bsolo_lpr_cuts-) R 4444 7266 7265 0 -1 0 413976 0 0 0 28947 1056 0 0 25 0 1 0 911888773 20246528 4112 4294967295 134512640 134716908 3221224560 3221220720 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4943 4122 1111 63 0 4880 0
vsize: 19772
[startup+310.008 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 4500
Raw data (stat): 4445 (bsolo_lpr_cuts-) R 4444 7266 7265 0 -1 0 428626 0 0 0 29912 1090 0 0 25 0 1 0 911888773 19693568 4133 4294967295 134512640 134716908 3221224560 3221222672 1074867340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4808 4133 1111 63 0 4745 0
vsize: 19232
[startup+320.009 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4500
Raw data (stat): 4445 (bsolo_lpr_cuts-) R 4444 7266 7265 0 -1 0 440515 0 0 0 30882 1121 0 0 25 0 1 0 911888773 20643840 4232 4294967295 134512640 134716908 3221224560 3221220588 1074788201 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5040 4232 1111 63 0 4977 0
vsize: 20160
[startup+330.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4500
Raw data (stat): 4445 (bsolo_lpr_cuts-) R 4444 7266 7265 0 -1 0 455744 0 0 0 31843 1160 0 0 25 0 1 0 911888773 21389312 4368 4294967295 134512640 134716908 3221224560 3221221216 1075967692 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5222 4368 1111 63 0 5159 0
vsize: 20888
[startup+340.009 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4500
Raw data (stat): 4445 (bsolo_lpr_cuts-) R 4444 7266 7265 0 -1 0 470312 0 0 0 32807 1197 0 0 25 0 1 0 911888773 20275200 4275 4294967295 134512640 134716908 3221224560 3221222788 1077374469 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4950 4275 1111 63 0 4887 0
vsize: 19800
[startup+350.009 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4500
Raw data (stat): 4445 (bsolo_lpr_cuts-) R 4444 7266 7265 0 -1 0 483692 0 0 0 33774 1230 0 0 25 0 1 0 911888773 20791296 4382 4294967295 134512640 134716908 3221224560 3221222824 1074205872 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5076 4382 1111 63 0 5013 0
vsize: 20304
[startup+360.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4500
Raw data (stat): 4445 (bsolo_lpr_cuts-) R 4444 7266 7265 0 -1 0 496469 0 0 0 34745 1259 0 0 25 0 1 0 911888773 21544960 4440 4294967295 134512640 134716908 3221224560 3221221592 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5260 4440 1111 63 0 5197 0
vsize: 21040
[startup+370.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4500
Raw data (stat): 4445 (bsolo_lpr_cuts-) R 4444 7266 7265 0 -1 0 510004 0 0 0 35712 1292 0 0 25 0 1 0 911888773 21020672 4457 4294967295 134512640 134716908 3221224560 3221222688 1074146256 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5132 4457 1111 63 0 5069 0
vsize: 20528
[startup+380.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4500
Raw data (stat): 4445 (bsolo_lpr_cuts-) R 4444 7266 7265 0 -1 0 520081 0 0 0 36689 1315 0 0 25 0 1 0 911888773 21483520 4561 4294967295 134512640 134716908 3221224560 3221222812 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5245 4561 1111 63 0 5182 0
vsize: 20980
[startup+390.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4500
Raw data (stat): 4445 (bsolo_lpr_cuts-) R 4444 7266 7265 0 -1 0 532973 0 0 0 37660 1344 0 0 25 0 1 0 911888773 21741568 4633 4294967295 134512640 134716908 3221224560 3221222960 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5308 4633 1111 63 0 5245 0
vsize: 21232
[startup+400.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4500
Raw data (stat): 4445 (bsolo_lpr_cuts-) R 4444 7266 7265 0 -1 0 544881 0 0 0 38631 1373 0 0 25 0 1 0 911888773 21835776 4656 4294967295 134512640 134716908 3221224560 3221222800 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5331 4656 1111 63 0 5268 0
vsize: 21324
[startup+410.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4500
Raw data (stat): 4445 (bsolo_lpr_cuts-) R 4444 7266 7265 0 -1 0 558461 0 0 0 39599 1406 0 0 25 0 1 0 911888773 22048768 4696 4294967295 134512640 134716908 3221224560 3221222288 1075828444 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5383 4697 1111 63 0 5320 0
vsize: 21532
[startup+420.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4500
Raw data (stat): 4445 (bsolo_lpr_cuts-) R 4444 7266 7265 0 -1 0 571266 0 0 0 40567 1438 0 0 25 0 1 0 911888773 22249472 4757 4294967295 134512640 134716908 3221224560 3221222864 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5432 4757 1111 63 0 5369 0
vsize: 21728
[startup+430.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4500
Raw data (stat): 4445 (bsolo_lpr_cuts-) R 4444 7266 7265 0 -1 0 583705 0 0 0 41538 1467 0 0 25 0 1 0 911888773 22347776 4781 4294967295 134512640 134716908 3221224560 3221222864 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5456 4781 1111 63 0 5393 0
vsize: 21824
[startup+440.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4500
Raw data (stat): 4445 (bsolo_lpr_cuts-) R 4444 7266 7265 0 -1 0 596068 0 0 0 42509 1496 0 0 25 0 1 0 911888773 22745088 4878 4294967295 134512640 134716908 3221224560 3221222976 1074116233 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5553 4878 1111 63 0 5490 0
vsize: 22212
[startup+450.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4500
Raw data (stat): 4445 (bsolo_lpr_cuts-) R 4444 7266 7265 0 -1 0 606136 0 0 0 43488 1518 0 0 25 0 1 0 911888773 22806528 4893 4294967295 134512640 134716908 3221224560 3221222888 1074207553 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5568 4893 1111 63 0 5505 0
vsize: 22272
[startup+460.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4500
Raw data (stat): 4445 (bsolo_lpr_cuts-) R 4444 7266 7265 0 -1 0 619178 0 0 0 44456 1550 0 0 25 0 1 0 911888773 22929408 4923 4294967295 134512640 134716908 3221224560 3221222896 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5598 4923 1111 63 0 5535 0
vsize: 22392
[startup+470.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4500
Raw data (stat): 4445 (bsolo_lpr_cuts-) R 4444 7266 7265 0 -1 0 634524 0 0 0 45418 1588 0 0 25 0 1 0 911888773 23076864 4959 4294967295 134512640 134716908 3221224560 3221222944 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5634 4959 1111 63 0 5571 0
vsize: 22536
[startup+480.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4500
Raw data (stat): 4445 (bsolo_lpr_cuts-) R 4444 7266 7265 0 -1 0 648789 0 0 0 46385 1621 0 0 25 0 1 0 911888773 23392256 5036 4294967295 134512640 134716908 3221224560 3221222696 1077377771 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5711 5036 1111 63 0 5648 0
vsize: 22844
[startup+490.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4500
Raw data (stat): 4445 (bsolo_lpr_cuts-) R 4444 7266 7265 0 -1 0 660310 0 0 0 47356 1650 0 0 25 0 1 0 911888773 23834624 5132 4294967295 134512640 134716908 3221224560 3221222812 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5819 5132 1111 63 0 5756 0
vsize: 23276
[startup+500.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4500
Raw data (stat): 4445 (bsolo_lpr_cuts-) R 4444 7266 7265 0 -1 0 674056 0 0 0 48324 1683 0 0 25 0 1 0 911888773 23846912 5147 4294967295 134512640 134716908 3221224560 3221222800 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5822 5147 1111 63 0 5759 0
vsize: 23288
[startup+510.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4500
Raw data (stat): 4445 (bsolo_lpr_cuts-) R 4444 7266 7265 0 -1 0 687505 0 0 0 49292 1715 0 0 25 0 1 0 911888773 24129536 5216 4294967295 134512640 134716908 3221224560 3221222440 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5891 5216 1111 63 0 5828 0
vsize: 23564
[startup+520.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4502
Raw data (stat): 4445 (bsolo_lpr_cuts-) R 4444 7266 7265 0 -1 0 700726 0 0 0 50260 1747 0 0 25 0 1 0 911888773 24895488 5376 4294967295 134512640 134716908 3221224560 3221222672 1074867334 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6078 5376 1111 63 0 6015 0
vsize: 24312
[startup+530.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4502
Raw data (stat): 4445 (bsolo_lpr_cuts-) R 4444 7266 7265 0 -1 0 712694 0 0 0 51228 1780 0 0 25 0 1 0 911888773 24506368 5308 4294967295 134512640 134716908 3221224560 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5983 5308 1111 63 0 5920 0
vsize: 23932
[startup+540.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4502
Raw data (stat): 4445 (bsolo_lpr_cuts-) R 4444 7266 7265 0 -1 0 725837 0 0 0 52196 1812 0 0 25 0 1 0 911888773 24895488 5403 4294967295 134512640 134716908 3221224560 3221222672 1074867340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6078 5403 1111 63 0 6015 0
vsize: 24312
[startup+550.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4502
Raw data (stat): 4445 (bsolo_lpr_cuts-) R 4444 7266 7265 0 -1 0 737099 0 0 0 53168 1840 0 0 25 0 1 0 911888773 26431488 5513 4294967295 134512640 134716908 3221224560 3221220896 1075113481 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6453 5513 1111 63 0 6390 0
vsize: 25812
[startup+560.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4502
Raw data (stat): 4445 (bsolo_lpr_cuts-) R 4444 7266 7265 0 -1 0 749401 0 0 0 54139 1869 0 0 25 0 1 0 911888773 25341952 5480 4294967295 134512640 134716908 3221224560 3221221664 1074138729 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6187 5480 1111 63 0 6124 0
vsize: 24748
[startup+570.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4502
Raw data (stat): 4445 (bsolo_lpr_cuts-) R 4444 7266 7265 0 -1 0 762117 0 0 0 55108 1900 0 0 25 0 1 0 911888773 25595904 5542 4294967295 134512640 134716908 3221224560 3221222816 1073990361 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6249 5542 1111 63 0 6186 0
vsize: 24996
[startup+580.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4502
Raw data (stat): 4445 (bsolo_lpr_cuts-) R 4444 7266 7265 0 -1 0 775867 0 0 0 56075 1934 0 0 25 0 1 0 911888773 25497600 5550 4294967295 134512640 134716908 3221224560 3221222860 1073959784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6225 5550 1111 63 0 6162 0
vsize: 24900
[startup+590.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4502
Raw data (stat): 4445 (bsolo_lpr_cuts-) R 4444 7266 7265 0 -1 0 788713 0 0 0 57047 1962 0 0 25 0 1 0 911888773 25866240 5640 4294967295 134512640 134716908 3221224560 3221222864 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6315 5640 1111 63 0 6252 0
vsize: 25260
[startup+600.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4502
Raw data (stat): 4445 (bsolo_lpr_cuts-) R 4444 7266 7265 0 -1 0 796070 0 0 0 58029 1979 0 0 25 0 1 0 911888773 26271744 5725 4294967295 134512640 134716908 3221224560 3221221752 1074138316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6414 5725 1111 63 0 6351 0
vsize: 25656
[startup+610.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4502
Raw data (stat): 4445 (bsolo_lpr_cuts-) R 4444 7266 7265 0 -1 0 809416 0 0 0 58998 2011 0 0 25 0 1 0 911888773 27824128 5767 4294967295 134512640 134716908 3221224560 3221220788 1075115049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6793 5767 1111 63 0 6730 0
vsize: 27172
[startup+620.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4502
Raw data (stat): 4445 (bsolo_lpr_cuts-) R 4444 7266 7265 0 -1 0 822553 0 0 0 59967 2042 0 0 25 0 1 0 911888773 26365952 5748 4294967295 134512640 134716908 3221224560 3221222560 1074918111 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6437 5748 1111 63 0 6374 0
vsize: 25748
[startup+630.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4502
Raw data (stat): 4445 (bsolo_lpr_cuts-) R 4444 7266 7265 0 -1 0 834740 0 0 0 60939 2070 0 0 25 0 1 0 911888773 27140096 5946 4294967295 134512640 134716908 3221224560 3221222560 1074918583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6626 5946 1111 63 0 6563 0
vsize: 26504
[startup+640.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4502
Raw data (stat): 4445 (bsolo_lpr_cuts-) R 4444 7266 7265 0 -1 0 848010 0 0 0 61905 2104 0 0 25 0 1 0 911888773 26918912 5897 4294967295 134512640 134716908 3221224560 3221222560 1074918583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6572 5897 1111 63 0 6509 0
vsize: 26288
[startup+650.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4502
Raw data (stat): 4445 (bsolo_lpr_cuts-) R 4444 7266 7265 0 -1 0 862318 0 0 0 62871 2139 0 0 25 0 1 0 911888773 27013120 5907 4294967295 134512640 134716908 3221224560 3221222672 1074867308 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6595 5907 1111 63 0 6532 0
vsize: 26380
[startup+660.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4502
Raw data (stat): 4445 (bsolo_lpr_cuts-) R 4444 7266 7265 0 -1 0 875789 0 0 0 63839 2171 0 0 25 0 1 0 911888773 27152384 5954 4294967295 134512640 134716908 3221224560 3221222860 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6629 5954 1111 63 0 6566 0
vsize: 26516
[startup+670.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4502
Raw data (stat): 4445 (bsolo_lpr_cuts-) R 4444 7266 7265 0 -1 0 890456 0 0 0 64802 2208 0 0 25 0 1 0 911888773 27754496 6095 4294967295 134512640 134716908 3221224560 3221221664 1074138752 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6776 6095 1111 63 0 6713 0
vsize: 27104
[startup+680.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4502
Raw data (stat): 4445 (bsolo_lpr_cuts-) R 4444 7266 7265 0 -1 0 904201 0 0 0 65769 2241 0 0 25 0 1 0 911888773 27709440 6090 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6765 6090 1111 63 0 6702 0
vsize: 27060
[startup+690.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4502
Raw data (stat): 4445 (bsolo_lpr_cuts-) R 4444 7266 7265 0 -1 0 917134 0 0 0 66738 2273 0 0 25 0 1 0 911888773 27906048 6108 4294967295 134512640 134716908 3221224560 3221222912 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6813 6108 1111 63 0 6750 0
vsize: 27252
[startup+700.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4502
Raw data (stat): 4445 (bsolo_lpr_cuts-) R 4444 7266 7265 0 -1 0 930397 0 0 0 67706 2305 0 0 25 0 1 0 911888773 27951104 6149 4294967295 134512640 134716908 3221224560 3221222912 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6824 6149 1111 63 0 6761 0
vsize: 27296
[startup+710.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4502
Raw data (stat): 4445 (bsolo_lpr_cuts-) R 4444 7266 7265 0 -1 0 942995 0 0 0 68677 2334 0 0 25 0 1 0 911888773 28123136 6191 4294967295 134512640 134716908 3221224560 3221222700 1074206158 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6866 6191 1111 63 0 6803 0
vsize: 27464
[startup+720.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4502
Raw data (stat): 4445 (bsolo_lpr_cuts-) R 4444 7266 7265 0 -1 0 952753 0 0 0 69652 2359 0 0 25 0 1 0 911888773 28299264 6234 4294967295 134512640 134716908 3221224560 3221223104 134652402 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6909 6234 1111 63 0 6846 0
vsize: 27636
[startup+730.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4502
Raw data (stat): 4445 (bsolo_lpr_cuts-) R 4444 7266 7265 0 -1 0 967549 0 0 0 70616 2395 0 0 25 0 1 0 911888773 28659712 6306 4294967295 134512640 134716908 3221224560 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6997 6306 1111 63 0 6934 0
vsize: 27988
[startup+740.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4502
Raw data (stat): 4445 (bsolo_lpr_cuts-) R 4444 7266 7265 0 -1 0 981739 0 0 0 71584 2428 0 0 25 0 1 0 911888773 29745152 6418 4294967295 134512640 134716908 3221224560 3221220560 1075965260 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7262 6418 1111 63 0 7199 0
vsize: 29048
[startup+750.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4502
Raw data (stat): 4445 (bsolo_lpr_cuts-) R 4444 7266 7265 0 -1 0 994506 0 0 0 72553 2459 0 0 25 0 1 0 911888773 28868608 6373 4294967295 134512640 134716908 3221224560 3221222896 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7048 6373 1111 63 0 6985 0
vsize: 28192
[startup+760.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4502
Raw data (stat): 4445 (bsolo_lpr_cuts-) R 4444 7266 7265 0 -1 0 1009079 0 0 0 73519 2493 0 0 25 0 1 0 911888773 29057024 6419 4294967295 134512640 134716908 3221224560 3221222764 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7094 6419 1111 63 0 7031 0
vsize: 28376
[startup+770.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4502
Raw data (stat): 4445 (bsolo_lpr_cuts-) R 4444 7266 7265 0 -1 0 1021562 0 0 0 74489 2523 0 0 25 0 1 0 911888773 29519872 6512 4294967295 134512640 134716908 3221224560 3221222924 1073969384 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7207 6512 1111 63 0 7144 0
vsize: 28828
[startup+780.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4502
Raw data (stat): 4445 (bsolo_lpr_cuts-) R 4444 7266 7265 0 -1 0 1034698 0 0 0 75457 2555 0 0 25 0 1 0 911888773 29499392 6527 4294967295 134512640 134716908 3221224560 3221222848 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7202 6527 1111 63 0 7139 0
vsize: 28808
[startup+790.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4502
Raw data (stat): 4445 (bsolo_lpr_cuts-) R 4444 7266 7265 0 -1 0 1048747 0 0 0 76423 2589 0 0 25 0 1 0 911888773 31637504 6762 4294967295 134512640 134716908 3221224560 3221220892 1076111491 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7724 6762 1111 63 0 7661 0
vsize: 30896
[startup+800.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4502
Raw data (stat): 4445 (bsolo_lpr_cuts-) R 4444 7266 7265 0 -1 0 1061258 0 0 0 77395 2618 0 0 25 0 1 0 911888773 30027776 6656 4294967295 134512640 134716908 3221224560 3221222800 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7331 6656 1111 63 0 7268 0
vsize: 29324
[startup+810.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4502
Raw data (stat): 4445 (bsolo_lpr_cuts-) R 4444 7266 7265 0 -1 0 1071222 0 0 0 78371 2642 0 0 25 0 1 0 911888773 32497664 6981 4294967295 134512640 134716908 3221224560 3221221372 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7934 6981 1111 63 0 7871 0
vsize: 31736
[startup+820.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4502
Raw data (stat): 4445 (bsolo_lpr_cuts-) R 4444 7266 7265 0 -1 0 1083297 0 0 0 79341 2672 0 0 25 0 1 0 911888773 30248960 6710 4294967295 134512640 134716908 3221224560 3221222816 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7385 6710 1111 63 0 7322 0
vsize: 29540
[startup+830.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4502
Raw data (stat): 4445 (bsolo_lpr_cuts-) R 4444 7266 7265 0 -1 0 1094188 0 0 0 80314 2699 0 0 25 0 1 0 911888773 30699520 6820 4294967295 134512640 134716908 3221224560 3221222720 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7495 6820 1111 63 0 7432 0
vsize: 29980
[startup+840.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4502
Raw data (stat): 4445 (bsolo_lpr_cuts-) R 4444 7266 7265 0 -1 0 1104536 0 0 0 81289 2725 0 0 25 0 1 0 911888773 30982144 6889 4294967295 134512640 134716908 3221224560 3221222864 1074146354 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7564 6889 1111 63 0 7501 0
vsize: 30256
[startup+850.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4502
Raw data (stat): 4445 (bsolo_lpr_cuts-) R 4444 7266 7265 0 -1 0 1116173 0 0 0 82259 2754 0 0 25 0 1 0 911888773 30957568 6883 4294967295 134512640 134716908 3221224560 3221222488 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7558 6883 1111 63 0 7495 0
vsize: 30232
[startup+860.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4502
Raw data (stat): 4445 (bsolo_lpr_cuts-) R 4444 7266 7265 0 -1 0 1128911 0 0 0 83229 2785 0 0 25 0 1 0 911888773 31031296 6901 4294967295 134512640 134716908 3221224560 3221222944 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7576 6901 1111 63 0 7513 0
vsize: 30304
[startup+870.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4502
Raw data (stat): 4445 (bsolo_lpr_cuts-) R 4444 7266 7265 0 -1 0 1139769 0 0 0 84203 2811 0 0 25 0 1 0 911888773 31584256 7007 4294967295 134512640 134716908 3221224560 3221221840 1074140041 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7711 7012 1111 63 0 7648 0
vsize: 30844
[startup+880.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4502
Raw data (stat): 4445 (bsolo_lpr_cuts-) R 4444 7266 7265 0 -1 0 1154187 0 0 0 85171 2844 0 0 25 0 1 0 911888773 31707136 7034 4294967295 134512640 134716908 3221224560 3221223220 134652240 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7741 7034 1111 63 0 7678 0
vsize: 30964
[startup+890.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4502
Raw data (stat): 4445 (bsolo_lpr_cuts-) R 4444 7266 7265 0 -1 0 1168038 0 0 0 86142 2873 0 0 25 0 1 0 911888773 33320960 7131 4294967295 134512640 134716908 3221224560 3221221480 1074950102 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8135 7131 1111 63 0 8072 0
vsize: 32540
[startup+900.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4502
Raw data (stat): 4445 (bsolo_lpr_cuts-) R 4444 7266 7265 0 -1 0 1180196 0 0 0 87113 2902 0 0 25 0 1 0 911888773 31834112 7097 4294967295 134512640 134716908 3221224560 3221223152 134543110 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7772 7097 1111 63 0 7709 0
vsize: 31088
[startup+910.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4502
Raw data (stat): 4445 (bsolo_lpr_cuts-) R 4444 7266 7265 0 -1 0 1194356 0 0 0 88080 2935 0 0 25 0 1 0 911888773 32030720 7145 4294967295 134512640 134716908 3221224560 3221222768 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7820 7145 1111 63 0 7757 0
vsize: 31280
[startup+920.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4502
Raw data (stat): 4445 (bsolo_lpr_cuts-) R 4444 7266 7265 0 -1 0 1208137 0 0 0 89047 2968 0 0 25 0 1 0 911888773 32268288 7203 4294967295 134512640 134716908 3221224560 3221222304 1075645384 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7878 7203 1111 63 0 7815 0
vsize: 31512
[startup+930.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4502
Raw data (stat): 4445 (bsolo_lpr_cuts-) R 4444 7266 7265 0 -1 0 1223991 0 0 0 90010 3005 0 0 25 0 1 0 911888773 33476608 7268 4294967295 134512640 134716908 3221224560 3221221216 1075966540 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8173 7268 1111 63 0 8110 0
vsize: 32692
[startup+940.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4502
Raw data (stat): 4445 (bsolo_lpr_cuts-) R 4444 7266 7265 0 -1 0 1237969 0 0 0 90978 3038 0 0 25 0 1 0 911888773 34398208 7524 4294967295 134512640 134716908 3221224560 3221220788 1075115076 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8398 7524 1111 63 0 8335 0
vsize: 33592
[startup+950.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4502
Raw data (stat): 4445 (bsolo_lpr_cuts-) R 4444 7266 7265 0 -1 0 1253878 0 0 0 91941 3075 0 0 25 0 1 0 911888773 32960512 7372 4294967295 134512640 134716908 3221224560 3221222888 1074153841 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8047 7372 1111 63 0 7984 0
vsize: 32188
[startup+960.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4502
Raw data (stat): 4445 (bsolo_lpr_cuts-) R 4444 7266 7265 0 -1 0 1268196 0 0 0 92906 3109 0 0 25 0 1 0 911888773 35307520 7629 4294967295 134512640 134716908 3221224560 3221220720 1075091544 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8620 7629 1111 63 0 8557 0
vsize: 34480
[startup+970.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4502
Raw data (stat): 4445 (bsolo_lpr_cuts-) R 4444 7266 7265 0 -1 0 1281595 0 0 0 93873 3143 0 0 25 0 1 0 911888773 33529856 7483 4294967295 134512640 134716908 3221224560 3221222528 1075961074 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8186 7483 1111 63 0 8123 0
vsize: 32744
[startup+980.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4502
Raw data (stat): 4445 (bsolo_lpr_cuts-) R 4444 7266 7265 0 -1 0 1294295 0 0 0 94842 3174 0 0 25 0 1 0 911888773 33865728 7593 4294967295 134512640 134716908 3221224560 3221223220 134652240 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8268 7593 1111 63 0 8205 0
vsize: 33072
[startup+990.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4502
Raw data (stat): 4445 (bsolo_lpr_cuts-) R 4444 7266 7265 0 -1 0 1308719 0 0 0 95808 3209 0 0 25 0 1 0 911888773 35074048 7715 4294967295 134512640 134716908 3221224560 3221220808 1077410163 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8563 7715 1111 63 0 8500 0
vsize: 34252
[startup+1000.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4502
Raw data (stat): 4445 (bsolo_lpr_cuts-) R 4444 7266 7265 0 -1 0 1314646 0 0 0 96793 3223 0 0 25 0 1 0 911888773 34480128 7743 4294967295 134512640 134716908 3221224560 3221222464 1077814665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8418 7743 1111 63 0 8355 0
vsize: 33672
[startup+1010.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4502
Raw data (stat): 4445 (bsolo_lpr_cuts-) R 4444 7266 7265 0 -1 0 1326964 0 0 0 97761 3256 0 0 25 0 1 0 911888773 35487744 7685 4294967295 134512640 134716908 3221224560 3221221592 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8664 7685 1111 63 0 8601 0
vsize: 34656
[startup+1020.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4502
Raw data (stat): 4445 (bsolo_lpr_cuts-) R 4444 7266 7265 0 -1 0 1338031 0 0 0 98736 3281 0 0 25 0 1 0 911888773 34803712 7778 4294967295 134512640 134716908 3221224560 3221222672 1074867334 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8497 7778 1111 63 0 8434 0
vsize: 33988
[startup+1030.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4502
Raw data (stat): 4445 (bsolo_lpr_cuts-) R 4444 7266 7265 0 -1 0 1351681 0 0 0 99704 3314 0 0 25 0 1 0 911888773 34656256 7776 4294967295 134512640 134716908 3221224560 3221222848 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8461 7776 1111 63 0 8398 0
vsize: 33844
[startup+1040.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4502
Raw data (stat): 4445 (bsolo_lpr_cuts-) R 4444 7266 7265 0 -1 0 1362616 0 0 0 100678 3340 0 0 25 0 1 0 911888773 34787328 7817 4294967295 134512640 134716908 3221224560 3221222288 1075828444 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8493 7817 1111 63 0 8430 0
vsize: 33972
[startup+1050.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4502
Raw data (stat): 4445 (bsolo_lpr_cuts-) R 4444 7266 7265 0 -1 0 1375728 0 0 0 101646 3372 0 0 25 0 1 0 911888773 35483648 7956 4294967295 134512640 134716908 3221224560 3221222560 1074918599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8663 7956 1111 63 0 8600 0
vsize: 34652
[startup+1060.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4502
Raw data (stat): 4445 (bsolo_lpr_cuts-) R 4444 7266 7265 0 -1 0 1388267 0 0 0 102614 3404 0 0 25 0 1 0 911888773 38219776 8259 4294967295 134512640 134716908 3221224560 3221220788 1075115049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9331 8259 1111 63 0 9268 0
vsize: 37324
[startup+1070.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4502
Raw data (stat): 4445 (bsolo_lpr_cuts-) R 4444 7266 7265 0 -1 0 1400527 0 0 0 103585 3433 0 0 25 0 1 0 911888773 35282944 7939 4294967295 134512640 134716908 3221224560 3221222800 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8614 7939 1111 63 0 8551 0
vsize: 34456
[startup+1080.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4502
Raw data (stat): 4445 (bsolo_lpr_cuts-) R 4444 7266 7265 0 -1 0 1414592 0 0 0 104552 3467 0 0 25 0 1 0 911888773 35553280 8005 4294967295 134512640 134716908 3221224560 3221222960 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8680 8005 1111 63 0 8617 0
vsize: 34720
[startup+1090.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4502
Raw data (stat): 4445 (bsolo_lpr_cuts-) R 4444 7266 7265 0 -1 0 1429542 0 0 0 105516 3502 0 0 25 0 1 0 911888773 36167680 8123 4294967295 134512640 134716908 3221224560 3221222464 1074052137 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8830 8123 1111 63 0 8767 0
vsize: 35320
[startup+1100.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4502
Raw data (stat): 4445 (bsolo_lpr_cuts-) R 4444 7266 7265 0 -1 0 1444847 0 0 0 106481 3537 0 0 25 0 1 0 911888773 35901440 8090 4294967295 134512640 134716908 3221224560 3221223232 134652564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8765 8090 1111 63 0 8702 0
vsize: 35060
[startup+1110.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4502
Raw data (stat): 4445 (bsolo_lpr_cuts-) R 4444 7266 7265 0 -1 0 1456639 0 0 0 107454 3565 0 0 25 0 1 0 911888773 36118528 8143 4294967295 134512640 134716908 3221224560 3221222912 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8818 8143 1111 63 0 8755 0
vsize: 35272
[startup+1120.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4502
Raw data (stat): 4445 (bsolo_lpr_cuts-) R 4444 7266 7265 0 -1 0 1469912 0 0 0 108424 3595 0 0 25 0 1 0 911888773 38424576 8252 4294967295 134512640 134716908 3221224560 3221221600 1075971413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9381 8259 1111 63 0 9318 0
vsize: 37524
[startup+1130.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4502
Raw data (stat): 4445 (bsolo_lpr_cuts-) R 4444 7266 7265 0 -1 0 1486292 0 0 0 109387 3632 0 0 25 0 1 0 911888773 36659200 8270 4294967295 134512640 134716908 3221224560 3221223056 134652546 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8950 8270 1111 63 0 8887 0
vsize: 35800
[startup+1140.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4502
Raw data (stat): 4445 (bsolo_lpr_cuts-) R 4444 7266 7265 0 -1 0 1498358 0 0 0 110358 3661 0 0 25 0 1 0 911888773 39518208 8633 4294967295 134512640 134716908 3221224560 3221221104 1075088563 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9648 8633 1111 63 0 9585 0
vsize: 38592
[startup+1150.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4502
Raw data (stat): 4445 (bsolo_lpr_cuts-) R 4444 7266 7265 0 -1 0 1512714 0 0 0 111324 3696 0 0 25 0 1 0 911888773 37138432 8392 4294967295 134512640 134716908 3221224560 3221222912 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9067 8392 1111 63 0 9004 0
vsize: 36268
[startup+1160.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4502
Raw data (stat): 4445 (bsolo_lpr_cuts-) R 4444 7266 7265 0 -1 0 1525691 0 0 0 112294 3725 0 0 25 0 1 0 911888773 37171200 8400 4294967295 134512640 134716908 3221224560 3221222944 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9075 8400 1111 63 0 9012 0
vsize: 36300
[startup+1170.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4502
Raw data (stat): 4445 (bsolo_lpr_cuts-) R 4444 7266 7265 0 -1 0 1541823 0 0 0 113258 3761 0 0 25 0 1 0 911888773 37433344 8451 4294967295 134512640 134716908 3221224560 3221222560 1074918944 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9139 8451 1111 63 0 9076 0
vsize: 36556
[startup+1175.15 s]
Raw data (loadavg): 1.00 0.99 0.91 1/53 4502
Raw data (stat): 4445 (bsolo_lpr_cuts-) R 4444 7266 7265 0 -1 0 1541823 0 0 0 113258 3761 0 0 25 0 1 0 911888773 37433344 8451 4294967295 134512640 134716908 3221224560 3221222560 1074918944 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9139 8451 1111 63 0 9076 0
vsize: 0

Child status: 10
Real time (s): 1175.15
CPU time (s): 1175.33
CPU user time (s): 1137.52
CPU system time (s): 37.8113
CPU usage (%): 100.015
Max. virtual memory (Kb): 38592
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	30
#### END VERIFIER DATA ####