PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-pipex.opb
MD5SUM	b9c1029cc1d97a8d60e984f96f5d3267
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	788263
Optimality of the best value was proved	NO
Number of terms in the objective function	48
Biggest coefficient in the objective function	107865
Number of bits for the biggest coefficient in the objective function	17
Sum of the numbers in the objective function	2514082
Number of bits of the sum of numbers in the objective function	22
Biggest number in a constraint	107865
Number of bits of the biggest number in a constraint	17
Biggest sum of numbers in a constraint	2514082
Number of bits of the biggest sum of numbers	22
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.02184
Number of variables	48
Total number of constraints	73
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	64
Number of constraints which are nor clauses,nor cardinality constraints	9
Minimum length of a constraint	1
Maximum length of a constraint	16
Trace number 26652

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc15 THE 2005-05-24 16:31:14 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=12196 boxname=wulflinc15 idbench=939 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  b9c1029cc1d97a8d60e984f96f5d3267  /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-20-10-pipex.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-20-10-pipex.opb
IDLAUNCH: 12196
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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:        615056 kB
Buffers:          2404 kB
Cached:         397212 kB
SwapCached:        564 kB
Active:          18776 kB
Inactive:       383244 kB
HighTotal:      131008 kB
HighFree:        15624 kB
LowTotal:       903652 kB
LowFree:        599432 kB
SwapTotal:     2097136 kB
SwapFree:      2096080 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5684 kB
Slab:            12044 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 16:50:50 (client local time) WITH STATUS 10 IN 1175.96 SECONDS
stats: 12196 0 1175.96 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 48 variables and 41 constraints.
c After prepocess the problem consists of 48 variables and 41 constraints.
c preprocess terminated 0.06 s
c Initial Lower Bound: 773839
c Lower Bound Elapsed time: 0.008
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 860146 @ 0.318
c NEW SOLUTION FOUND: 853660 @ 8.547
c NEW SOLUTION FOUND: 852572 @ 9.432
c NEW SOLUTION FOUND: 843805 @ 10.085
c NEW SOLUTION FOUND: 839325 @ 10.703
c NEW SOLUTION FOUND: 836685 @ 10.724
c NEW SOLUTION FOUND: 833685 @ 12.349
c NEW SOLUTION FOUND: 828950 @ 25.839
c NEW SOLUTION FOUND: 827319 @ 40.554
c NEW SOLUTION FOUND: 825481 @ 63.662
c NEW SOLUTION FOUND: 819714 @ 64.072
c NEW SOLUTION FOUND: 819381 @ 72.175
c NEW SOLUTION FOUND: 817338 @ 90.848
c NEW SOLUTION FOUND: 816629 @ 141.962
c NEW SOLUTION FOUND: 810199 @ 142.413
c NEW SOLUTION FOUND: 809779 @ 384.485
c NEW SOLUTION FOUND: 805682 @ 497.92
c NEW SOLUTION FOUND: 801381 @ 966.067
s SATISFIABLE
v QUAN0101_bit0 QUAN0102_bit0 -QUAN0103_bit0 -QUAN0104_bit0 -QUAN0105_bit0 -QUAN0106_bit0 -QUAN0107_bit0 -QUAN0108_bit0 QUAN0109_bit0 -QUAN0110_bit0 -QUAN0111_bit0 -QUAN0112_bit0 -QUAN0113_bit0 QUAN0114_bit0 -QUAN0115_bit0 -QUAN0116_bit0 -QUAN0201_bit0 -QUAN0202_bit0 -QUAN0203_bit0 QUAN0204_bit0 -QUAN0205_bit0 -QUAN0206_bit0 -QUAN0207_bit0 QUAN0208_bit0 -QUAN0209_bit0 -QUAN0210_bit0 QUAN0211_bit0 QUAN0212_bit0 -QUAN0213_bit0 -QUAN0214_bit0 QUAN0215_bit0 QUAN0216_bit0 -QUAN0301_bit0 -QUAN0302_bit0 QUAN0303_bit0 -QUAN0304_bit0 QUAN0305_bit0 QUAN0306_bit0 QUAN0307_bit0 -QUAN0308_bit0 -QUAN0309_bit0 QUAN0310_bit0 -QUAN0311_bit0 -QUAN0312_bit0 QUAN0313_bit0 -QUAN0314_bit0 -QUAN0315_bit0 -QUAN0316_bit0 
c Exit Code: 10
c Total time: 1175.92 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.93 0.97 0.95 2/54 26016
Raw data (stat): 26016 (runsolver) R 26015 23514 23513 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 773468917 1052672 99 4294967295 134512640 135381576 3221224480 3221219692 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0014 s]
Raw data (loadavg): 0.94 0.97 0.95 2/54 26016
Raw data (stat): 26016 (bsolo_lpr_cuts) R 26015 23514 23513 0 -1 0 13507 0 0 0 955 42 0 0 25 0 1 0 773468917 7827456 1167 4294967295 134512640 134714508 3221224576 3221222704 1075231302 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1911 1167 1111 63 0 1848 0
vsize: 7644
[startup+20.0022 s]
Raw data (loadavg): 0.95 0.97 0.95 2/54 26016
Raw data (stat): 26016 (bsolo_lpr_cuts) R 26015 23514 23513 0 -1 0 35191 0 0 0 1895 102 0 0 25 0 1 0 773468917 8699904 1434 4294967295 134512640 134714508 3221224576 3221222576 1074918533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2124 1434 1111 63 0 2061 0
vsize: 8496
[startup+30.003 s]
Raw data (loadavg): 0.95 0.97 0.95 2/54 26016
Raw data (stat): 26016 (bsolo_lpr_cuts) R 26015 23514 23513 0 -1 0 51216 0 0 0 2852 145 0 0 25 0 1 0 773468917 9474048 1632 4294967295 134512640 134714508 3221224576 3221222880 1073990411 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2313 1632 1111 63 0 2250 0
vsize: 9252
[startup+40.0036 s]
Raw data (loadavg): 0.96 0.97 0.95 2/54 26016
Raw data (stat): 26016 (bsolo_lpr_cuts) R 26015 23514 23513 0 -1 0 67764 0 0 0 3810 187 0 0 25 0 1 0 773468917 10338304 1823 4294967295 134512640 134714508 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2524 1823 1111 63 0 2461 0
vsize: 10096
[startup+50.0034 s]
Raw data (loadavg): 0.97 0.97 0.95 2/54 26016
Raw data (stat): 26016 (bsolo_lpr_cuts) R 26015 23514 23513 0 -1 0 86746 0 0 0 4762 235 0 0 25 0 1 0 773468917 11300864 1994 4294967295 134512640 134714508 3221224576 3221221640 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2759 1994 1111 63 0 2696 0
vsize: 11036
[startup+60.0043 s]
Raw data (loadavg): 0.97 0.97 0.95 2/54 26016
Raw data (stat): 26016 (bsolo_lpr_cuts) R 26015 23514 23513 0 -1 0 104508 0 0 0 5721 276 0 0 25 0 1 0 773468917 11829248 2170 4294967295 134512640 134714508 3221224576 3221221468 1077386340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2929 2177 1111 63 0 2866 0
vsize: 11552
[startup+70.0054 s]
Raw data (loadavg): 0.97 0.97 0.95 2/54 26016
Raw data (stat): 26016 (bsolo_lpr_cuts) R 26015 23514 23513 0 -1 0 124972 0 0 0 6671 327 0 0 25 0 1 0 773468917 13066240 2452 4294967295 134512640 134714508 3221224576 3221220848 1074961304 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3190 2452 1111 63 0 3127 0
vsize: 12760
[startup+80.0072 s]
Raw data (loadavg): 0.98 0.97 0.95 2/54 26016
Raw data (stat): 26016 (bsolo_lpr_cuts) R 26015 23514 23513 0 -1 0 146321 0 0 0 7620 378 0 0 25 0 1 0 773468917 13615104 2640 4294967295 134512640 134714508 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3324 2640 1111 63 0 3261 0
vsize: 13296
[startup+90.0077 s]
Raw data (loadavg): 0.98 0.97 0.95 2/54 26016
Raw data (stat): 26016 (bsolo_lpr_cuts) R 26015 23514 23513 0 -1 0 166349 0 0 0 8572 425 0 0 25 0 1 0 773468917 14737408 2865 4294967295 134512640 134714508 3221224576 3221220848 1074961146 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3598 2865 1111 63 0 3535 0
vsize: 14392
[startup+100.007 s]
Raw data (loadavg): 0.98 0.97 0.95 2/54 26016
Raw data (stat): 26016 (bsolo_lpr_cuts) R 26015 23514 23513 0 -1 0 186826 0 0 0 9517 480 0 0 25 0 1 0 773468917 15192064 3028 4294967295 134512640 134714508 3221224576 3221222696 1074138285 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3709 3028 1111 63 0 3646 0
vsize: 14836
[startup+110.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26016
Raw data (stat): 26016 (bsolo_lpr_cuts) R 26015 23514 23513 0 -1 0 205487 0 0 0 10473 525 0 0 25 0 1 0 773468917 16306176 3249 4294967295 134512640 134714508 3221224576 3221220912 1075114277 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3981 3249 1111 63 0 3918 0
vsize: 15924
[startup+120.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26016
Raw data (stat): 26016 (bsolo_lpr_cuts) R 26015 23514 23513 0 -1 0 227564 0 0 0 11417 581 0 0 25 0 1 0 773468917 16928768 3450 4294967295 134512640 134714508 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4224 3456 1111 63 0 4161 0
vsize: 16532
[startup+130.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26016
Raw data (stat): 26016 (bsolo_lpr_cuts) R 26015 23514 23513 0 -1 0 244718 0 0 0 12376 622 0 0 25 0 1 0 773468917 17862656 3672 4294967295 134512640 134714508 3221224576 3221222976 1074118879 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4361 3672 1111 63 0 4298 0
vsize: 17444
[startup+140.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26016
Raw data (stat): 26016 (bsolo_lpr_cuts) R 26015 23514 23513 0 -1 0 261612 0 0 0 13337 662 0 0 25 0 1 0 773468917 18792448 3833 4294967295 134512640 134714508 3221224576 3221220704 1075112385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4588 3833 1111 63 0 4525 0
vsize: 18352
[startup+150.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26016
Raw data (stat): 26016 (bsolo_lpr_cuts) R 26015 23514 23513 0 -1 0 279577 0 0 0 14294 705 0 0 25 0 1 0 773468917 19197952 4005 4294967295 134512640 134714508 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4687 4005 1111 63 0 4624 0
vsize: 18748
[startup+160.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26016
Raw data (stat): 26016 (bsolo_lpr_cuts) R 26015 23514 23513 0 -1 0 294883 0 0 0 15256 743 0 0 25 0 1 0 773468917 20275200 4208 4294967295 134512640 134714508 3221224576 3221220688 1075895697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4950 4208 1111 63 0 4887 0
vsize: 19800
[startup+170.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26016
Raw data (stat): 26016 (bsolo_lpr_cuts) R 26015 23514 23513 0 -1 0 311421 0 0 0 16219 780 0 0 25 0 1 0 773468917 20512768 4326 4294967295 134512640 134714508 3221224576 3221221732 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5008 4326 1111 63 0 4945 0
vsize: 20032
[startup+180.021 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26016
Raw data (stat): 26016 (bsolo_lpr_cuts) R 26015 23514 23513 0 -1 0 330756 0 0 0 17174 827 0 0 25 0 1 0 773468917 21700608 4553 4294967295 134512640 134714508 3221224576 3221220848 1074961169 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5298 4553 1111 63 0 5235 0
vsize: 21192
[startup+190.026 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26016
Raw data (stat): 26016 (bsolo_lpr_cuts) R 26015 23514 23513 0 -1 0 348347 0 0 0 18136 865 0 0 25 0 1 0 773468917 22011904 4695 4294967295 134512640 134714508 3221224576 3221222576 1074918583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5374 4695 1111 63 0 5311 0
vsize: 21496
[startup+200.026 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26016
Raw data (stat): 26016 (bsolo_lpr_cuts) R 26015 23514 23513 0 -1 0 362644 0 0 0 19102 899 0 0 25 0 1 0 773468917 22552576 4811 4294967295 134512640 134714508 3221224576 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5496 4808 1111 63 0 5433 0
vsize: 22024
[startup+210.027 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26016
Raw data (stat): 26016 (bsolo_lpr_cuts) R 26015 23514 23513 0 -1 0 381418 0 0 0 20059 943 0 0 25 0 1 0 773468917 23252992 4994 4294967295 134512640 134714508 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5677 4994 1111 63 0 5614 0
vsize: 22708
[startup+220.028 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26016
Raw data (stat): 26016 (bsolo_lpr_cuts) R 26015 23514 23513 0 -1 0 397468 0 0 0 21021 981 0 0 25 0 1 0 773468917 23916544 5145 4294967295 134512640 134714508 3221224576 3221221856 1074139993 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5839 5145 1111 63 0 5776 0
vsize: 23356
[startup+230.033 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26016
Raw data (stat): 26016 (bsolo_lpr_cuts) R 26015 23514 23513 0 -1 0 417643 0 0 0 21974 1028 0 0 25 0 1 0 773468917 24555520 5314 4294967295 134512640 134714508 3221224576 3221222320 1075645384 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5995 5314 1111 63 0 5932 0
vsize: 23980
[startup+240.033 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26016
Raw data (stat): 26016 (bsolo_lpr_cuts) R 26015 23514 23513 0 -1 0 440212 0 0 0 22921 1081 0 0 25 0 1 0 773468917 25649152 5497 4294967295 134512640 134714508 3221224576 3221220736 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6262 5509 1111 63 0 6199 0
vsize: 25048
[startup+250.042 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26016
Raw data (stat): 26016 (bsolo_lpr_cuts) R 26015 23514 23513 0 -1 0 457545 0 0 0 23882 1121 0 0 25 0 1 0 773468917 25952256 5657 4294967295 134512640 134714508 3221224576 3221223368 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6336 5657 1111 63 0 6273 0
vsize: 25344
[startup+260.067 s]
Raw data (loadavg): 1.07 0.99 0.95 2/54 26016
Raw data (stat): 26016 (bsolo_lpr_cuts) R 26015 23514 23513 0 -1 0 471650 0 0 0 24851 1155 0 0 25 0 1 0 773468917 26402816 5761 4294967295 134512640 134714508 3221224576 3221222576 1074918599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6446 5761 1111 63 0 6383 0
vsize: 25784
[startup+270.066 s]
Raw data (loadavg): 1.06 0.99 0.95 2/54 26016
Raw data (stat): 26016 (bsolo_lpr_cuts) R 26015 23514 23513 0 -1 0 487276 0 0 0 25817 1189 0 0 25 0 1 0 773468917 27508736 5925 4294967295 134512640 134714508 3221224576 3221222536 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6716 5933 1111 63 0 6653 0
vsize: 26864
[startup+280.066 s]
Raw data (loadavg): 1.05 0.99 0.95 2/54 26016
Raw data (stat): 26016 (bsolo_lpr_cuts) R 26015 23514 23513 0 -1 0 499698 0 0 0 26790 1217 0 0 25 0 1 0 773468917 27439104 6020 4294967295 134512640 134714508 3221224576 3221222536 1074138322 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6699 6020 1111 63 0 6636 0
vsize: 26796
[startup+290.068 s]
Raw data (loadavg): 1.04 0.99 0.95 2/54 26016
Raw data (stat): 26016 (bsolo_lpr_cuts) R 26015 23514 23513 0 -1 0 515336 0 0 0 27753 1253 0 0 25 0 1 0 773468917 27930624 6138 4294967295 134512640 134714508 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6819 6138 1111 63 0 6756 0
vsize: 27276
[startup+300.067 s]
Raw data (loadavg): 1.03 0.99 0.95 2/54 26016
Raw data (stat): 26016 (bsolo_lpr_cuts) R 26015 23514 23513 0 -1 0 527147 0 0 0 28722 1285 0 0 25 0 1 0 773468917 28934144 6318 4294967295 134512640 134714508 3221224576 3221220848 1074961267 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7064 6318 1111 63 0 7001 0
vsize: 28256
[startup+310.067 s]
Raw data (loadavg): 1.03 0.99 0.95 2/54 26016
Raw data (stat): 26016 (bsolo_lpr_cuts) R 26015 23514 23513 0 -1 0 542761 0 0 0 29685 1322 0 0 25 0 1 0 773468917 29601792 6422 4294967295 134512640 134714508 3221224576 3221221648 1074867347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7227 6422 1111 63 0 7164 0
vsize: 28908
[startup+320.068 s]
Raw data (loadavg): 1.02 0.99 0.95 2/54 26016
Raw data (stat): 26016 (bsolo_lpr_cuts) R 26015 23514 23513 0 -1 0 556971 0 0 0 30649 1358 0 0 25 0 1 0 773468917 29945856 6574 4294967295 134512640 134714508 3221224576 3221220804 1075115043 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7311 6574 1111 63 0 7248 0
vsize: 29244
[startup+330.068 s]
Raw data (loadavg): 1.02 0.99 0.95 2/54 26016
Raw data (stat): 26016 (bsolo_lpr_cuts) R 26015 23514 23513 0 -1 0 572869 0 0 0 31613 1395 0 0 25 0 1 0 773468917 30306304 6715 4294967295 134512640 134714508 3221224576 3221222576 1074916920 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7399 6715 1111 63 0 7336 0
vsize: 29596
[startup+340.068 s]
Raw data (loadavg): 1.02 0.99 0.95 2/54 26016
Raw data (stat): 26016 (bsolo_lpr_cuts) R 26015 23514 23513 0 -1 0 589359 0 0 0 32574 1433 0 0 25 0 1 0 773468917 31293440 6893 4294967295 134512640 134714508 3221224576 3221221108 1075863609 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7640 6893 1111 63 0 7577 0
vsize: 30560
[startup+350.068 s]
Raw data (loadavg): 1.01 0.99 0.95 2/54 26016
Raw data (stat): 26016 (bsolo_lpr_cuts) R 26015 23514 23513 0 -1 0 604365 0 0 0 33542 1466 0 0 25 0 1 0 773468917 31449088 6999 4294967295 134512640 134714508 3221224576 3221222304 1075829025 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7678 6999 1111 63 0 7615 0
vsize: 30712
[startup+360.069 s]
Raw data (loadavg): 1.01 0.99 0.95 2/54 26016
Raw data (stat): 26016 (bsolo_lpr_cuts) R 26015 23514 23513 0 -1 0 622678 0 0 0 34499 1509 0 0 25 0 1 0 773468917 32518144 7165 4294967295 134512640 134714508 3221224576 3221221564 1077404742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7939 7170 1111 63 0 7876 0
vsize: 31756
[startup+370.069 s]
Raw data (loadavg): 1.01 0.99 0.95 2/54 26016
Raw data (stat): 26016 (bsolo_lpr_cuts) R 26015 23514 23513 0 -1 0 647658 0 0 0 35440 1568 0 0 25 0 1 0 773468917 33329152 7357 4294967295 134512640 134714508 3221224576 3221221640 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8137 7357 1111 63 0 8074 0
vsize: 32548
[startup+380.07 s]
Raw data (loadavg): 1.01 0.99 0.95 2/54 26016
Raw data (stat): 26016 (bsolo_lpr_cuts) R 26015 23514 23513 0 -1 0 662142 0 0 0 36406 1602 0 0 25 0 1 0 773468917 33857536 7513 4294967295 134512640 134714508 3221224576 3221220736 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8266 7514 1111 63 0 8203 0
vsize: 33064
[startup+390.071 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26016
Raw data (stat): 26016 (bsolo_lpr_cuts) R 26015 23514 23513 0 -1 0 686478 0 0 0 37349 1659 0 0 25 0 1 0 773468917 34144256 7655 4294967295 134512640 134714508 3221224576 3221222576 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8336 7655 1111 63 0 8273 0
vsize: 33344
[startup+400.07 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26016
Raw data (stat): 26016 (bsolo_lpr_cuts) R 26015 23514 23513 0 -1 0 712003 0 0 0 38288 1720 0 0 25 0 1 0 773468917 35074048 7867 4294967295 134512640 134714508 3221224576 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8552 7866 1111 63 0 8489 0
vsize: 34252
[startup+410.071 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26016
Raw data (stat): 26016 (bsolo_lpr_cuts) R 26015 23514 23513 0 -1 0 729274 0 0 0 39248 1760 0 0 25 0 1 0 773468917 36278272 8130 4294967295 134512640 134714508 3221224576 3221220848 1074961264 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8857 8130 1111 63 0 8794 0
vsize: 35428
[startup+420.071 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26016
Raw data (stat): 26016 (bsolo_lpr_cuts) R 26015 23514 23513 0 -1 0 745319 0 0 0 40211 1797 0 0 25 0 1 0 773468917 36655104 8198 4294967295 134512640 134714508 3221224576 3221221076 1074846224 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8949 8198 1111 63 0 8886 0
vsize: 35796
[startup+430.072 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26016
Raw data (stat): 26016 (bsolo_lpr_cuts) R 26015 23514 23513 0 -1 0 761908 0 0 0 41172 1836 0 0 25 0 1 0 773468917 36745216 8286 4294967295 134512640 134714508 3221224576 3221222304 1075828490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8971 8286 1111 63 0 8908 0
vsize: 35884
[startup+440.072 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26016
Raw data (stat): 26016 (bsolo_lpr_cuts) R 26015 23514 23513 0 -1 0 779395 0 0 0 42133 1876 0 0 25 0 1 0 773468917 37482496 8468 4294967295 134512640 134714508 3221224576 3221223200 134536680 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9151 8468 1111 63 0 9088 0
vsize: 36604
[startup+450.072 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26016
Raw data (stat): 26016 (bsolo_lpr_cuts) R 26015 23514 23513 0 -1 0 796055 0 0 0 43091 1918 0 0 25 0 1 0 773468917 38260736 8653 4294967295 134512640 134714508 3221224576 3221223144 134650124 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9341 8653 1111 63 0 9278 0
vsize: 37364
[startup+460.072 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26016
Raw data (stat): 26016 (bsolo_lpr_cuts) R 26015 23514 23513 0 -1 0 810637 0 0 0 44057 1952 0 0 25 0 1 0 773468917 38637568 8754 4294967295 134512640 134714508 3221224576 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9433 8754 1111 63 0 9370 0
vsize: 37732
[startup+470.072 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26016
Raw data (stat): 26016 (bsolo_lpr_cuts) R 26015 23514 23513 0 -1 0 832545 0 0 0 45002 2007 0 0 25 0 1 0 773468917 39346176 8924 4294967295 134512640 134714508 3221224576 3221222576 1074918583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9606 8924 1111 63 0 9543 0
vsize: 38424
[startup+480.072 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26016
Raw data (stat): 26016 (bsolo_lpr_cuts) R 26015 23514 23513 0 -1 0 849416 0 0 0 45962 2047 0 0 25 0 1 0 773468917 40706048 9194 4294967295 134512640 134714508 3221224576 3221220588 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9938 9194 1111 63 0 9875 0
vsize: 39752
[startup+490.073 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26016
Raw data (stat): 26016 (bsolo_lpr_cuts) R 26015 23514 23513 0 -1 0 869886 0 0 0 46910 2099 0 0 25 0 1 0 773468917 41009152 9261 4294967295 134512640 134714508 3221224576 3221220712 1077410163 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10012 9261 1111 63 0 9949 0
vsize: 40048
[startup+500.073 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26016
Raw data (stat): 26016 (bsolo_lpr_cuts) R 26015 23514 23513 0 -1 0 891124 0 0 0 47857 2153 0 0 25 0 1 0 773468917 41345024 9415 4294967295 134512640 134714508 3221224576 3221222576 1074918583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10094 9415 1111 63 0 10031 0
vsize: 40376
[startup+510.074 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26016
Raw data (stat): 26016 (bsolo_lpr_cuts) R 26015 23514 23513 0 -1 0 908824 0 0 0 48814 2196 0 0 25 0 1 0 773468917 42479616 9619 4294967295 134512640 134714508 3221224576 3221220804 1075115049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10371 9620 1111 63 0 10308 0
vsize: 41484
[startup+520.073 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26016
Raw data (stat): 26016 (bsolo_lpr_cuts) R 26015 23514 23513 0 -1 0 924765 0 0 0 49777 2233 0 0 25 0 1 0 773468917 42946560 9723 4294967295 134512640 134714508 3221224576 3221222408 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10465 9724 1111 63 0 10402 0
vsize: 41940
[startup+530.074 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26016
Raw data (stat): 26016 (bsolo_lpr_cuts) R 26015 23514 23513 0 -1 0 939998 0 0 0 50742 2269 0 0 25 0 1 0 773468917 43495424 9838 4294967295 134512640 134714508 3221224576 3221221176 1075850670 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10619 9838 1111 63 0 10556 0
vsize: 42476
[startup+540.074 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26016
Raw data (stat): 26016 (bsolo_lpr_cuts) R 26015 23514 23513 0 -1 0 958041 0 0 0 51696 2315 0 0 25 0 1 0 773468917 44044288 10013 4294967295 134512640 134714508 3221224576 3221220896 1075171174 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10753 10013 1111 63 0 10690 0
vsize: 43012
[startup+550.074 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26016
Raw data (stat): 26016 (bsolo_lpr_cuts) R 26015 23514 23513 0 -1 0 974534 0 0 0 52655 2355 0 0 25 0 1 0 773468917 44277760 10125 4294967295 134512640 134714508 3221224576 3221223200 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10810 10125 1111 63 0 10747 0
vsize: 43240
[startup+560.075 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26016
Raw data (stat): 26016 (bsolo_lpr_cuts) R 26015 23514 23513 0 -1 0 992216 0 0 0 53611 2400 0 0 25 0 1 0 773468917 45273088 10308 4294967295 134512640 134714508 3221224576 3221220524 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11053 10308 1111 63 0 10990 0
vsize: 44212
[startup+570.074 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26016
Raw data (stat): 26016 (bsolo_lpr_cuts) R 26015 23514 23513 0 -1 0 1008301 0 0 0 54572 2439 0 0 25 0 1 0 773468917 45445120 10412 4294967295 134512640 134714508 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11095 10412 1111 63 0 11032 0
vsize: 44380
[startup+580.074 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26016
Raw data (stat): 26016 (bsolo_lpr_cuts) R 26015 23514 23513 0 -1 0 1024628 0 0 0 55531 2481 0 0 25 0 1 0 773468917 46051328 10556 4294967295 134512640 134714508 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11332 10561 1111 63 0 11269 0
vsize: 44972
[startup+590.074 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26016
Raw data (stat): 26016 (bsolo_lpr_cuts) R 26015 23514 23513 0 -1 0 1043336 0 0 0 56483 2528 0 0 25 0 1 0 773468917 46723072 10717 4294967295 134512640 134714508 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11407 10717 1111 63 0 11344 0
vsize: 45628
[startup+600.074 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26016
Raw data (stat): 26016 (bsolo_lpr_cuts) R 26015 23514 23513 0 -1 0 1058712 0 0 0 57445 2567 0 0 25 0 1 0 773468917 47218688 10842 4294967295 134512640 134714508 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11528 10842 1111 63 0 11465 0
vsize: 46112
[startup+610.075 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26016
Raw data (stat): 26016 (bsolo_lpr_cuts) R 26015 23514 23513 0 -1 0 1077473 0 0 0 58402 2610 0 0 25 0 1 0 773468917 48459776 11081 4294967295 134512640 134714508 3221224576 3221220540 1074860617 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11831 11081 1111 63 0 11768 0
vsize: 47324
[startup+620.075 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26016
Raw data (stat): 26016 (bsolo_lpr_cuts) R 26015 23514 23513 0 -1 0 1089944 0 0 0 59374 2638 0 0 25 0 1 0 773468917 49455104 11313 4294967295 134512640 134714508 3221224576 3221220668 1075663518 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12074 11313 1111 63 0 12011 0
vsize: 48296
[startup+630.075 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26016
Raw data (stat): 26016 (bsolo_lpr_cuts) R 26015 23514 23513 0 -1 0 1106399 0 0 0 60336 2676 0 0 25 0 1 0 773468917 48762880 11230 4294967295 134512640 134714508 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11905 11230 1111 63 0 11842 0
vsize: 47620
[startup+640.075 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26016
Raw data (stat): 26016 (bsolo_lpr_cuts) R 26015 23514 23513 0 -1 0 1131241 0 0 0 61283 2730 0 0 25 0 1 0 773468917 49455104 11399 4294967295 134512640 134714508 3221224576 3221222576 1074918599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12074 11399 1111 63 0 12011 0
vsize: 48296
[startup+650.075 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26016
Raw data (stat): 26016 (bsolo_lpr_cuts) R 26015 23514 23513 0 -1 0 1150860 0 0 0 62238 2774 0 0 25 0 1 0 773468917 50171904 11574 4294967295 134512640 134714508 3221224576 3221222576 1074915852 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12249 11574 1111 63 0 12186 0
vsize: 48996
[startup+660.075 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26016
Raw data (stat): 26016 (bsolo_lpr_cuts) R 26015 23514 23513 0 -1 0 1166569 0 0 0 63203 2810 0 0 25 0 1 0 773468917 50761728 11686 4294967295 134512640 134714508 3221224576 3221221496 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12492 11693 1111 63 0 12429 0
vsize: 49572
[startup+670.076 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26016
Raw data (stat): 26016 (bsolo_lpr_cuts) R 26015 23514 23513 0 -1 0 1181760 0 0 0 64168 2845 0 0 25 0 1 0 773468917 51236864 11825 4294967295 134512640 134714508 3221224576 3221222216 1077378266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12509 11825 1111 63 0 12446 0
vsize: 50036
[startup+680.077 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26016
Raw data (stat): 26016 (bsolo_lpr_cuts) R 26015 23514 23513 0 -1 0 1201461 0 0 0 65127 2887 0 0 25 0 1 0 773468917 52453376 11993 4294967295 134512640 134714508 3221224576 3221222144 1075972407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12806 11995 1111 63 0 12743 0
vsize: 51224
[startup+690.076 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26016
Raw data (stat): 26016 (bsolo_lpr_cuts) R 26015 23514 23513 0 -1 0 1218568 0 0 0 66088 2925 0 0 25 0 1 0 773468917 53284864 12213 4294967295 134512640 134714508 3221224576 3221222216 1075850409 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13009 12213 1111 63 0 12946 0
vsize: 52036
[startup+700.076 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26016
Raw data (stat): 26016 (bsolo_lpr_cuts) R 26015 23514 23513 0 -1 0 1234337 0 0 0 67053 2961 0 0 25 0 1 0 773468917 53100544 12278 4294967295 134512640 134714508 3221224576 3221223392 134622468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12964 12278 1111 63 0 12901 0
vsize: 51856
[startup+710.077 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26016
Raw data (stat): 26016 (bsolo_lpr_cuts) R 26015 23514 23513 0 -1 0 1255400 0 0 0 68007 3007 0 0 25 0 1 0 773468917 54153216 12440 4294967295 134512640 134714508 3221224576 3221220720 1074969499 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13221 12440 1111 63 0 13158 0
vsize: 52884
[startup+720.077 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26016
Raw data (stat): 26016 (bsolo_lpr_cuts) R 26015 23514 23513 0 -1 0 1272503 0 0 0 68970 3044 0 0 25 0 1 0 773468917 55119872 12692 4294967295 134512640 134714508 3221224576 3221220912 1075114312 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13457 12692 1111 63 0 13394 0
vsize: 53828
[startup+730.078 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26016
Raw data (stat): 26016 (bsolo_lpr_cuts) R 26015 23514 23513 0 -1 0 1291988 0 0 0 69924 3090 0 0 25 0 1 0 773468917 54861824 12701 4294967295 134512640 134714508 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13526 12706 1111 63 0 13463 0
vsize: 53576
[startup+740.078 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26016
Raw data (stat): 26016 (bsolo_lpr_cuts) R 26015 23514 23513 0 -1 0 1314234 0 0 0 70871 3143 0 0 25 0 1 0 773468917 56066048 12865 4294967295 134512640 134714508 3221224576 3221222040 1074950114 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13556 12858 1111 63 0 13493 0
vsize: 54752
[startup+750.078 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26016
Raw data (stat): 26016 (bsolo_lpr_cuts) R 26015 23514 23513 0 -1 0 1330498 0 0 0 71834 3181 0 0 25 0 1 0 773468917 56082432 13000 4294967295 134512640 134714508 3221224576 3221222688 1074867308 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13692 13000 1111 63 0 13629 0
vsize: 54768
[startup+760.079 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26016
Raw data (stat): 26016 (bsolo_lpr_cuts) R 26015 23514 23513 0 -1 0 1355119 0 0 0 72786 3229 0 0 25 0 1 0 773468917 57303040 13174 4294967295 134512640 134714508 3221224576 3221221520 1074620360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13924 13170 1111 63 0 13861 0
vsize: 55960
[startup+770.08 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26016
Raw data (stat): 26016 (bsolo_lpr_cuts) R 26015 23514 23513 0 -1 0 1375815 0 0 0 73740 3275 0 0 25 0 1 0 773468917 57479168 13341 4294967295 134512640 134714508 3221224576 3221222780 1074208240 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14033 13341 1111 63 0 13970 0
vsize: 56132
[startup+780.08 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26016
Raw data (stat): 26016 (bsolo_lpr_cuts) R 26015 23514 23513 0 -1 0 1396625 0 0 0 74692 3323 0 0 25 0 1 0 773468917 58388480 13560 4294967295 134512640 134714508 3221224576 3221222928 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14255 13560 1111 63 0 14192 0
vsize: 57020
[startup+790.08 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26016
Raw data (stat): 26016 (bsolo_lpr_cuts) R 26015 23514 23513 0 -1 0 1419841 0 0 0 75641 3374 0 0 25 0 1 0 773468917 58884096 13677 4294967295 134512640 134714508 3221224576 3221222576 1074918591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14376 13677 1111 63 0 14313 0
vsize: 57504
[startup+800.079 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26016
Raw data (stat): 26016 (bsolo_lpr_cuts) R 26015 23514 23513 0 -1 0 1444975 0 0 0 76590 3425 0 0 25 0 1 0 773468917 59793408 13898 4294967295 134512640 134714508 3221224576 3221222660 1077379568 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14598 13898 1111 63 0 14535 0
vsize: 58392
[startup+810.08 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26016
Raw data (stat): 26016 (bsolo_lpr_cuts) R 26015 23514 23513 0 -1 0 1462790 0 0 0 77553 3462 0 0 25 0 1 0 773468917 60424192 14051 4294967295 134512640 134714508 3221224576 3221222304 1075828612 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14752 14051 1111 63 0 14689 0
vsize: 59008
[startup+820.08 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26016
Raw data (stat): 26016 (bsolo_lpr_cuts) R 26015 23514 23513 0 -1 0 1478183 0 0 0 78517 3499 0 0 25 0 1 0 773468917 61435904 14210 4294967295 134512640 134714508 3221224576 3221220944 1075894538 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14999 14210 1111 63 0 14936 0
vsize: 59996
[startup+830.081 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26016
Raw data (stat): 26016 (bsolo_lpr_cuts) R 26015 23514 23513 0 -1 0 1493825 0 0 0 79481 3536 0 0 25 0 1 0 773468917 61464576 14298 4294967295 134512640 134714508 3221224576 3221222304 1075829530 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15006 14298 1111 63 0 14943 0
vsize: 60024
[startup+840.082 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26016
Raw data (stat): 26016 (bsolo_lpr_cuts) R 26015 23514 23513 0 -1 0 1509988 0 0 0 80442 3574 0 0 25 0 1 0 773468917 62775296 14513 4294967295 134512640 134714508 3221224576 3221221104 1075119993 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15326 14513 1111 63 0 15263 0
vsize: 61304
[startup+850.082 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26016
Raw data (stat): 26016 (bsolo_lpr_cuts) R 26015 23514 23513 0 -1 0 1528869 0 0 0 81398 3618 0 0 25 0 1 0 773468917 62656512 14592 4294967295 134512640 134714508 3221224576 3221222544 1074247419 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15297 14592 1111 63 0 15234 0
vsize: 61188
[startup+860.082 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26016
Raw data (stat): 26016 (bsolo_lpr_cuts) R 26015 23514 23513 0 -1 0 1544637 0 0 0 82363 3654 0 0 25 0 1 0 773468917 63188992 14721 4294967295 134512640 134714508 3221224576 3221222576 1074915844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15427 14721 1111 63 0 15364 0
vsize: 61708
[startup+870.082 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26016
Raw data (stat): 26016 (bsolo_lpr_cuts) R 26015 23514 23513 0 -1 0 1562064 0 0 0 83324 3693 0 0 25 0 1 0 773468917 63823872 14877 4294967295 134512640 134714508 3221224576 3221222688 1074867320 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15582 14877 1111 63 0 15519 0
vsize: 62328
[startup+880.083 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26016
Raw data (stat): 26016 (bsolo_lpr_cuts) R 26015 23514 23513 0 -1 0 1578584 0 0 0 84287 3730 0 0 25 0 1 0 773468917 64311296 14980 4294967295 134512640 134714508 3221224576 3221222264 1077377472 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15701 14980 1111 63 0 15638 0
vsize: 62804
[startup+890.083 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26016
Raw data (stat): 26016 (bsolo_lpr_cuts) R 26015 23514 23513 0 -1 0 1597965 0 0 0 85241 3776 0 0 25 0 1 0 773468917 64864256 15124 4294967295 134512640 134714508 3221224576 3221222304 1075828921 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15836 15124 1111 63 0 15773 0
vsize: 63344
[startup+900.083 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26016
Raw data (stat): 26016 (bsolo_lpr_cuts) R 26015 23514 23513 0 -1 0 1605410 0 0 0 86224 3794 0 0 25 0 1 0 773468917 67158016 15658 4294967295 134512640 134714508 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16396 15658 1111 63 0 16333 0
vsize: 65584
[startup+910.084 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26016
Raw data (stat): 26016 (bsolo_lpr_cuts) R 26015 23514 23513 0 -1 0 1612000 0 0 0 87209 3808 0 0 25 0 1 0 773468917 67182592 15690 4294967295 134512640 134714508 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16402 15690 1111 63 0 16339 0
vsize: 65608
[startup+920.084 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26016
Raw data (stat): 26016 (bsolo_lpr_cuts) R 26015 23514 23513 0 -1 0 1618362 0 0 0 88195 3823 0 0 25 0 1 0 773468917 67289088 15704 4294967295 134512640 134714508 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16428 15704 1111 63 0 16365 0
vsize: 65712
[startup+930.085 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26016
Raw data (stat): 26016 (bsolo_lpr_cuts) R 26015 23514 23513 0 -1 0 1625591 0 0 0 89181 3837 0 0 25 0 1 0 773468917 66727936 15475 4294967295 134512640 134714508 3221224576 3221222488 1074138316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16291 15486 1111 63 0 16228 0
vsize: 65164
[startup+940.086 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26016
Raw data (stat): 26016 (bsolo_lpr_cuts) R 26015 23514 23513 0 -1 0 1633116 0 0 0 90165 3853 0 0 25 0 1 0 773468917 66383872 15486 4294967295 134512640 134714508 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16207 15486 1111 63 0 16144 0
vsize: 64828
[startup+950.085 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26016
Raw data (stat): 26016 (bsolo_lpr_cuts) R 26015 23514 23513 0 -1 0 1643240 0 0 0 91141 3878 0 0 25 0 1 0 773468917 69238784 15858 4294967295 134512640 134714508 3221224576 3221220824 1074791393 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16904 15858 1111 63 0 16841 0
vsize: 67616
[startup+960.085 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26016
Raw data (stat): 26016 (bsolo_lpr_cuts) R 26015 23514 23513 0 -1 0 1662589 0 0 0 92098 3921 0 0 25 0 1 0 773468917 65863680 15368 4294967295 134512640 134714508 3221224576 3221223268 1077374149 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16080 15368 1111 63 0 16017 0
vsize: 64320
[startup+970.085 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26016
Raw data (stat): 26016 (bsolo_lpr_cuts) R 26015 23514 23513 0 -1 0 1695637 0 0 0 93017 4002 0 0 25 0 1 0 773468917 66334720 15479 4294967295 134512640 134714508 3221224576 3221221856 1074140013 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16195 15479 1111 63 0 16132 0
vsize: 64780
[startup+980.086 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26016
Raw data (stat): 26016 (bsolo_lpr_cuts) R 26015 23514 23513 0 -1 0 1722757 0 0 0 93954 4065 0 0 25 0 1 0 773468917 70623232 15914 4294967295 134512640 134714508 3221224576 3221220804 1075115049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17242 15914 1111 63 0 17179 0
vsize: 68968
[startup+990.085 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26016
Raw data (stat): 26016 (bsolo_lpr_cuts) R 26015 23514 23513 0 -1 0 1732780 0 0 0 94931 4087 0 0 25 0 1 0 773468917 66838528 15606 4294967295 134512640 134714508 3221224576 3221222576 1074918583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16318 15606 1111 63 0 16255 0
vsize: 65272
[startup+1000.09 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26016
Raw data (stat): 26016 (bsolo_lpr_cuts) R 26015 23514 23513 0 -1 0 1760001 0 0 0 95870 4149 0 0 25 0 1 0 773468917 69316608 15832 4294967295 134512640 134714508 3221224576 3221220848 1074961387 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16923 15832 1111 63 0 16860 0
vsize: 67692
[startup+1010.09 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26016
Raw data (stat): 26016 (bsolo_lpr_cuts) R 26015 23514 23513 0 -1 0 1776659 0 0 0 96832 4187 0 0 25 0 1 0 773468917 70311936 16166 4294967295 134512640 134714508 3221224576 3221220736 1075093353 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17166 16166 1111 63 0 17103 0
vsize: 68664
[startup+1020.09 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26016
Raw data (stat): 26016 (bsolo_lpr_cuts) R 26015 23514 23513 0 -1 0 1784577 0 0 0 97814 4205 0 0 25 0 1 0 773468917 68145152 15920 4294967295 134512640 134714508 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16637 15920 1111 63 0 16574 0
vsize: 66548
[startup+1030.09 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26016
Raw data (stat): 26016 (bsolo_lpr_cuts) R 26015 23514 23513 0 -1 0 1792529 0 0 0 98797 4223 0 0 25 0 1 0 773468917 68329472 15956 4294967295 134512640 134714508 3221224576 3221222576 1074918576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16682 15956 1111 63 0 16619 0
vsize: 66728
[startup+1040.09 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26016
Raw data (stat): 26016 (bsolo_lpr_cuts) R 26015 23514 23513 0 -1 0 1800962 0 0 0 99779 4241 0 0 25 0 1 0 773468917 68321280 15957 4294967295 134512640 134714508 3221224576 3221222688 1074867340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16680 15957 1111 63 0 16617 0
vsize: 66720
[startup+1050.09 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26016
Raw data (stat): 26016 (bsolo_lpr_cuts) R 26015 23514 23513 0 -1 0 1809103 0 0 0 100759 4260 0 0 25 0 1 0 773468917 68423680 15992 4294967295 134512640 134714508 3221224576 3221222576 1074916669 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16705 15992 1111 63 0 16642 0
vsize: 66820
[startup+1060.09 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26016
Raw data (stat): 26016 (bsolo_lpr_cuts) R 26015 23514 23513 0 -1 0 1816183 0 0 0 101742 4276 0 0 25 0 1 0 773468917 71974912 16227 4294967295 134512640 134714508 3221224576 3221220784 1074815259 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17572 16227 1111 63 0 17509 0
vsize: 70288
[startup+1070.09 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26016
Raw data (stat): 26016 (bsolo_lpr_cuts) R 26015 23514 23513 0 -1 0 1820811 0 0 0 102732 4286 0 0 25 0 1 0 773468917 72654848 16397 4294967295 134512640 134714508 3221224576 3221221640 1075007305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17738 16397 1111 63 0 17675 0
vsize: 70952
[startup+1080.09 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26016
Raw data (stat): 26016 (bsolo_lpr_cuts) R 26015 23514 23513 0 -1 0 1830626 0 0 0 103710 4309 0 0 25 0 1 0 773468917 69992448 16363 4294967295 134512640 134714508 3221224576 3221222576 1074916543 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17088 16363 1111 63 0 17025 0
vsize: 68352
[startup+1090.09 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26016
Raw data (stat): 26016 (bsolo_lpr_cuts) R 26015 23514 23513 0 -1 0 1837881 0 0 0 104694 4325 0 0 25 0 1 0 773468917 68980736 16128 4294967295 134512640 134714508 3221224576 3221222384 1077814665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16841 16128 1111 63 0 16778 0
vsize: 67364
[startup+1100.09 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26016
Raw data (stat): 26016 (bsolo_lpr_cuts) R 26015 23514 23513 0 -1 0 1843747 0 0 0 105682 4337 0 0 25 0 1 0 773468917 70000640 16363 4294967295 134512640 134714508 3221224576 3221222576 1074918599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17090 16363 1111 63 0 17027 0
vsize: 68360
[startup+1110.09 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26016
Raw data (stat): 26016 (bsolo_lpr_cuts) R 26015 23514 23513 0 -1 0 1854359 0 0 0 106657 4362 0 0 25 0 1 0 773468917 70127616 16395 4294967295 134512640 134714508 3221224576 3221222576 1074918591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17121 16395 1111 63 0 17058 0
vsize: 68484
[startup+1120.09 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26016
Raw data (stat): 26016 (bsolo_lpr_cuts) R 26015 23514 23513 0 -1 0 1862112 0 0 0 107641 4378 0 0 25 0 1 0 773468917 72445952 16293 4294967295 134512640 134714508 3221224576 3221220944 1075894538 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17687 16293 1111 63 0 17624 0
vsize: 70748
[startup+1130.09 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26016
Raw data (stat): 26016 (bsolo_lpr_cuts) R 26015 23514 23513 0 -1 0 1873321 0 0 0 108616 4403 0 0 25 0 1 0 773468917 69341184 16184 4294967295 134512640 134714508 3221224576 3221222576 1074918591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16929 16184 1111 63 0 16866 0
vsize: 67716
[startup+1140.09 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26016
Raw data (stat): 26016 (bsolo_lpr_cuts) R 26015 23514 23513 0 -1 0 1890683 0 0 0 109576 4443 0 0 25 0 1 0 773468917 69189632 16179 4294967295 134512640 134714508 3221224576 3221221696 1074865119 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16892 16179 1111 63 0 16829 0
vsize: 67568
[startup+1150.09 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26016
Raw data (stat): 26016 (bsolo_lpr_cuts) R 26015 23514 23513 0 -1 0 1908122 0 0 0 110537 4483 0 0 25 0 1 0 773468917 69689344 16270 4294967295 134512640 134714508 3221224576 3221222304 1075829003 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17014 16270 1111 63 0 16951 0
vsize: 68056
[startup+1160.09 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26016
Raw data (stat): 26016 (bsolo_lpr_cuts) R 26015 23514 23513 0 -1 0 1939087 0 0 0 111464 4556 0 0 25 0 1 0 773468917 69709824 16292 4294967295 134512640 134714508 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17019 16292 1111 63 0 16956 0
vsize: 68076
[startup+1170.09 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26016
Raw data (stat): 26016 (bsolo_lpr_cuts) R 26015 23514 23513 0 -1 0 1963776 0 0 0 112405 4615 0 0 25 0 1 0 773468917 70193152 16424 4294967295 134512640 134714508 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17137 16424 1111 63 0 17074 0
vsize: 68548
[startup+1175.84 s]
Raw data (loadavg): 1.00 0.99 0.95 1/53 26016
Raw data (stat): 26016 (bsolo_lpr_cuts) R 26015 23514 23513 0 -1 0 1963776 0 0 0 112405 4615 0 0 25 0 1 0 773468917 70193152 16424 4294967295 134512640 134714508 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17137 16424 1111 63 0 17074 0
vsize: 0

Child status: 10
Real time (s): 1175.84
CPU time (s): 1175.96
CPU user time (s): 1129.41
CPU system time (s): 46.5449
CPU usage (%): 100.01
Max. virtual memory (Kb): 70952
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	801381
#### END VERIFIER DATA ####