PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-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.02684
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 27537

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        824312 kB
Buffers:         34556 kB
Cached:         155476 kB
SwapCached:        504 kB
Active:          58972 kB
Inactive:       133536 kB
HighTotal:      131008 kB
HighFree:          392 kB
LowTotal:       903652 kB
LowFree:        823920 kB
SwapTotal:     2097136 kB
SwapFree:      2096156 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5948 kB
Slab:            12064 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 22:41:51 (client local time) WITH STATUS 10 IN 1180.77 SECONDS
stats: 17188 0 1180.77 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.057 s
c Initial Lower Bound: 773839
c Lower Bound Elapsed time: 0.0079
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 860146 @ 0.313
c NEW SOLUTION FOUND: 853660 @ 8.457
c NEW SOLUTION FOUND: 852572 @ 9.333
c NEW SOLUTION FOUND: 843805 @ 9.979
c NEW SOLUTION FOUND: 839325 @ 10.584
c NEW SOLUTION FOUND: 836685 @ 10.604
c NEW SOLUTION FOUND: 833685 @ 12.196
c NEW SOLUTION FOUND: 828950 @ 25.525
c NEW SOLUTION FOUND: 827319 @ 40.182
c NEW SOLUTION FOUND: 825481 @ 63.186
c NEW SOLUTION FOUND: 819714 @ 63.594
c NEW SOLUTION FOUND: 819381 @ 71.67
c NEW SOLUTION FOUND: 817338 @ 90.355
c NEW SOLUTION FOUND: 816629 @ 141.331
c NEW SOLUTION FOUND: 810199 @ 141.78
c NEW SOLUTION FOUND: 809779 @ 383.679
c NEW SOLUTION FOUND: 805682 @ 495.088
c NEW SOLUTION FOUND: 801381 @ 954.688
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: 1180.73 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.84 0.95 0.96 2/54 24055
Raw data (stat): 24055 (runsolver) R 24054 21152 21151 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 775572551 1052672 99 4294967295 134512640 135381576 3221224496 3221219708 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.0016 s]
Raw data (loadavg): 0.87 0.95 0.96 2/54 24055
Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 13723 0 0 0 958 39 0 0 25 0 1 0 775572551 7561216 1164 4294967295 134512640 134714508 3221224592 3221222676 1077374550 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1846 1164 1111 63 0 1783 0
vsize: 7384
[startup+20.0019 s]
Raw data (loadavg): 0.89 0.95 0.96 2/54 24055
Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 35706 0 0 0 1902 95 0 0 25 0 1 0 775572551 8998912 1471 4294967295 134512640 134714508 3221224592 3221221092 1074846221 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2197 1471 1111 63 0 2134 0
vsize: 8788
[startup+30.0021 s]
Raw data (loadavg): 0.90 0.95 0.96 2/54 24055
Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 51844 0 0 0 2861 135 0 0 25 0 1 0 775572551 9474048 1632 4294967295 134512640 134714508 3221224592 3221222592 1074918591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2313 1632 1111 63 0 2250 0
vsize: 9252
[startup+40.003 s]
Raw data (loadavg): 0.92 0.95 0.96 2/54 24055
Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 68141 0 0 0 3822 174 0 0 25 0 1 0 775572551 10207232 1811 4294967295 134512640 134714508 3221224592 3221222512 1075799725 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2492 1811 1111 63 0 2429 0
vsize: 9968
[startup+50.0035 s]
Raw data (loadavg): 0.93 0.96 0.96 2/54 24055
Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 87575 0 0 0 4776 220 0 0 25 0 1 0 775572551 11038720 2007 4294967295 134512640 134714508 3221224592 3221222592 1074918591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2695 2007 1111 63 0 2632 0
vsize: 10780
[startup+60.0034 s]
Raw data (loadavg): 0.94 0.96 0.96 2/54 24055
Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 105110 0 0 0 5732 265 0 0 25 0 1 0 775572551 11952128 2199 4294967295 134512640 134714508 3221224592 3221222844 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2918 2199 1111 63 0 2855 0
vsize: 11672
[startup+70.0038 s]
Raw data (loadavg): 0.95 0.96 0.96 2/54 24055
Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 125753 0 0 0 6677 319 0 0 25 0 1 0 775572551 12685312 2416 4294967295 134512640 134714508 3221224592 3221222592 1074918811 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3097 2416 1111 63 0 3034 0
vsize: 12388
[startup+80.0041 s]
Raw data (loadavg): 0.96 0.96 0.96 2/54 24055
Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 147404 0 0 0 7624 372 0 0 25 0 1 0 775572551 13623296 2644 4294967295 134512640 134714508 3221224592 3221222592 1074918005 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3326 2644 1111 63 0 3263 0
vsize: 13304
[startup+90.0043 s]
Raw data (loadavg): 0.96 0.96 0.96 2/54 24055
Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 167457 0 0 0 8574 422 0 0 25 0 1 0 775572551 14442496 2845 4294967295 134512640 134714508 3221224592 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3526 2845 1111 63 0 3463 0
vsize: 14104
[startup+100.004 s]
Raw data (loadavg): 0.97 0.96 0.96 2/54 24055
Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 187711 0 0 0 9523 473 0 0 25 0 1 0 775572551 15577088 3059 4294967295 134512640 134714508 3221224592 3221220752 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3803 3062 1111 63 0 3740 0
vsize: 15212
[startup+110.005 s]
Raw data (loadavg): 0.97 0.96 0.96 2/54 24055
Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 206640 0 0 0 10479 518 0 0 25 0 1 0 775572551 16068608 3242 4294967295 134512640 134714508 3221224592 3221222592 1074918588 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3923 3242 1111 63 0 3860 0
vsize: 15692
[startup+120.005 s]
Raw data (loadavg): 0.98 0.96 0.96 2/54 24055
Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 228943 0 0 0 11423 574 0 0 25 0 1 0 775572551 16969728 3462 4294967295 134512640 134714508 3221224592 3221222592 1074918938 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4143 3462 1111 63 0 4080 0
vsize: 16572
[startup+130.005 s]
Raw data (loadavg): 0.98 0.96 0.96 2/54 24055
Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 245607 0 0 0 12385 612 0 0 25 0 1 0 775572551 17776640 3651 4294967295 134512640 134714508 3221224592 3221222592 1074918591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4340 3651 1111 63 0 4277 0
vsize: 17360
[startup+140.005 s]
Raw data (loadavg): 0.98 0.96 0.96 2/54 24055
Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 262630 0 0 0 13344 653 0 0 25 0 1 0 775572551 18804736 3880 4294967295 134512640 134714508 3221224592 3221222796 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4591 3880 1111 63 0 4528 0
vsize: 18364
[startup+150.006 s]
Raw data (loadavg): 0.98 0.97 0.96 2/54 24055
Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 280979 0 0 0 14300 697 0 0 25 0 1 0 775572551 19595264 4049 4294967295 134512640 134714508 3221224592 3221220976 1074972301 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4784 4049 1111 63 0 4721 0
vsize: 19136
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24055
Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 295564 0 0 0 15262 735 0 0 25 0 1 0 775572551 19992576 4196 4294967295 134512640 134714508 3221224592 3221222592 1074918347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4881 4196 1111 63 0 4818 0
vsize: 19524
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24055
Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 312933 0 0 0 16220 778 0 0 25 0 1 0 775572551 20561920 4338 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5020 4338 1111 63 0 4957 0
vsize: 20080
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24055
Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 332283 0 0 0 17174 824 0 0 25 0 1 0 775572551 21397504 4535 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5224 4535 1111 63 0 5161 0
vsize: 20896
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24055
Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 349338 0 0 0 18134 864 0 0 25 0 1 0 775572551 22413312 4724 4294967295 134512640 134714508 3221224592 3221220928 1075114268 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5472 4724 1111 63 0 5409 0
vsize: 21888
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24055
Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 363731 0 0 0 19098 900 0 0 25 0 1 0 775572551 22638592 4848 4294967295 134512640 134714508 3221224592 3221221872 1074140013 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5527 4848 1111 63 0 5464 0
vsize: 22108
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24055
Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 382491 0 0 0 20054 944 0 0 25 0 1 0 775572551 23887872 5066 4294967295 134512640 134714508 3221224592 3221221664 1074867278 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5832 5066 1111 63 0 5769 0
vsize: 23328
[startup+220.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24055
Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 398833 0 0 0 21014 984 0 0 25 0 1 0 775572551 23924736 5157 4294967295 134512640 134714508 3221224592 3221222656 1075961760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5841 5157 1111 63 0 5778 0
vsize: 23364
[startup+230.006 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24055
Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 418781 0 0 0 21968 1030 0 0 25 0 1 0 775572551 24932352 5323 4294967295 134512640 134714508 3221224592 3221221792 1075966495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6087 5326 1111 63 0 6024 0
vsize: 24348
[startup+240.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24055
Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 441269 0 0 0 22917 1082 0 0 25 0 1 0 775572551 25341952 5508 4294967295 134512640 134714508 3221224592 3221222592 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6187 5508 1111 63 0 6124 0
vsize: 24748
[startup+250.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24055
Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 458497 0 0 0 23879 1120 0 0 25 0 1 0 775572551 26247168 5665 4294967295 134512640 134714508 3221224592 3221222844 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6408 5665 1111 63 0 6345 0
vsize: 25632
[startup+260.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24055
Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 472516 0 0 0 24848 1152 0 0 25 0 1 0 775572551 26456064 5780 4294967295 134512640 134714508 3221224592 3221221936 1074839014 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6459 5780 1111 63 0 6396 0
vsize: 25836
[startup+270.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24055
Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 488102 0 0 0 25810 1189 0 0 25 0 1 0 775572551 27123712 5939 4294967295 134512640 134714508 3221224592 3221222592 1074918583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6622 5939 1111 63 0 6559 0
vsize: 26488
[startup+280.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24055
Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 500816 0 0 0 26782 1218 0 0 25 0 1 0 775572551 27955200 6072 4294967295 134512640 134714508 3221224592 3221220820 1075115057 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6825 6072 1111 63 0 6762 0
vsize: 27300
[startup+290.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24055
Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 516316 0 0 0 27745 1255 0 0 25 0 1 0 775572551 28430336 6197 4294967295 134512640 134714508 3221224592 3221220752 1074794536 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6941 6197 1111 63 0 6878 0
vsize: 27764
[startup+300.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24055
Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 528168 0 0 0 28719 1281 0 0 25 0 1 0 775572551 28536832 6281 4294967295 134512640 134714508 3221224592 3221222592 1074918599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6967 6281 1111 63 0 6904 0
vsize: 27868
[startup+310.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24055
Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 543838 0 0 0 29679 1321 0 0 25 0 1 0 775572551 29515776 6461 4294967295 134512640 134714508 3221224592 3221220800 1074815312 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7206 6461 1111 63 0 7143 0
vsize: 28824
[startup+320.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24055
Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 558455 0 0 0 30647 1354 0 0 25 0 1 0 775572551 29859840 6561 4294967295 134512640 134714508 3221224592 3221222892 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7290 6561 1111 63 0 7227 0
vsize: 29160
[startup+330.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24055
Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 574383 0 0 0 31610 1391 0 0 25 0 1 0 775572551 30691328 6755 4294967295 134512640 134714508 3221224592 3221221656 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7493 6755 1111 63 0 7430 0
vsize: 29972
[startup+340.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24055
Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 590374 0 0 0 32570 1431 0 0 25 0 1 0 775572551 30949376 6868 4294967295 134512640 134714508 3221224592 3221222592 1074918591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7556 6868 1111 63 0 7493 0
vsize: 30224
[startup+350.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24055
Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 605279 0 0 0 33536 1464 0 0 25 0 1 0 775572551 31928320 7052 4294967295 134512640 134714508 3221224592 3221221712 1074834350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7795 7052 1111 63 0 7732 0
vsize: 31180
[startup+360.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24055
Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 624004 0 0 0 34493 1508 0 0 25 0 1 0 775572551 32587776 7213 4294967295 134512640 134714508 3221224592 3221221192 1075850662 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7956 7213 1111 63 0 7893 0
vsize: 31824
[startup+370.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24055
Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 649104 0 0 0 35436 1565 0 0 25 0 1 0 775572551 32903168 7354 4294967295 134512640 134714508 3221224592 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8033 7354 1111 63 0 7970 0
vsize: 32132
[startup+380.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24055
Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 663506 0 0 0 36402 1599 0 0 25 0 1 0 775572551 33726464 7501 4294967295 134512640 134714508 3221224592 3221222796 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8234 7501 1111 63 0 8171 0
vsize: 32936
[startup+390.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24055
Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 687880 0 0 0 37346 1656 0 0 25 0 1 0 775572551 34484224 7675 4294967295 134512640 134714508 3221224592 3221223120 134648654 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8356 7668 1111 63 0 8293 0
vsize: 33676
[startup+400.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24055
Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 713839 0 0 0 38283 1718 0 0 25 0 1 0 775572551 35344384 7884 4294967295 134512640 134714508 3221224592 3221222796 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8629 7884 1111 63 0 8566 0
vsize: 34516
[startup+410.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24055
Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 730496 0 0 0 39243 1759 0 0 25 0 1 0 775572551 35794944 8060 4294967295 134512640 134714508 3221224592 3221222336 1075646241 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8739 8060 1111 63 0 8676 0
vsize: 34956
[startup+420.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24055
Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 746701 0 0 0 40207 1794 0 0 25 0 1 0 775572551 36302848 8180 4294967295 134512640 134714508 3221224592 3221222592 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8863 8180 1111 63 0 8800 0
vsize: 35452
[startup+430.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24055
Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 764515 0 0 0 41167 1835 0 0 25 0 1 0 775572551 37249024 8340 4294967295 134512640 134714508 3221224592 3221220752 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9094 8341 1111 63 0 9031 0
vsize: 36376
[startup+440.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24055
Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 781584 0 0 0 42126 1876 0 0 25 0 1 0 775572551 37605376 8502 4294967295 134512640 134714508 3221224592 3221222592 1074918591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9181 8502 1111 63 0 9118 0
vsize: 36724
[startup+450.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24055
Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 799328 0 0 0 43084 1918 0 0 25 0 1 0 775572551 38621184 8658 4294967295 134512640 134714508 3221224592 3221221248 1075966759 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9339 8650 1111 63 0 9276 0
vsize: 37716
[startup+460.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24055
Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 813787 0 0 0 44050 1952 0 0 25 0 1 0 775572551 39030784 8792 4294967295 134512640 134714508 3221224592 3221222844 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9529 8792 1111 63 0 9466 0
vsize: 38116
[startup+470.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24055
Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 835345 0 0 0 45001 2002 0 0 25 0 1 0 775572551 39878656 8966 4294967295 134512640 134714508 3221224592 3221221184 1074884307 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9736 8966 1111 63 0 9673 0
vsize: 38944
[startup+480.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24055
Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 852191 0 0 0 45965 2038 0 0 25 0 1 0 775572551 40173568 9129 4294967295 134512640 134714508 3221224592 3221222504 1074138265 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9808 9129 1111 63 0 9745 0
vsize: 39232
[startup+490.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24055
Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 876210 0 0 0 46907 2096 0 0 25 0 1 0 775572551 41234432 9314 4294967295 134512640 134714508 3221224592 3221220688 1074879831 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10067 9314 1111 63 0 10004 0
vsize: 40268
[startup+500.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24055
Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 895437 0 0 0 47866 2137 0 0 25 0 1 0 775572551 41439232 9427 4294967295 134512640 134714508 3221224592 3221222320 1075828447 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10117 9427 1111 63 0 10054 0
vsize: 40468
[startup+510.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24055
Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 913831 0 0 0 48825 2178 0 0 25 0 1 0 775572551 42196992 9621 4294967295 134512640 134714508 3221224592 3221222052 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10302 9621 1111 63 0 10239 0
vsize: 41208
[startup+520.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24055
Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 930239 0 0 0 49789 2214 0 0 25 0 1 0 775572551 43253760 9820 4294967295 134512640 134714508 3221224592 3221223076 1077374528 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10560 9820 1111 63 0 10497 0
vsize: 42240
[startup+530.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24055
Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 945308 0 0 0 50755 2248 0 0 25 0 1 0 775572551 43290624 9879 4294967295 134512640 134714508 3221224592 3221221872 1074140038 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10569 9879 1111 63 0 10506 0
vsize: 42276
[startup+540.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24055
Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 965199 0 0 0 51708 2296 0 0 25 0 1 0 775572551 43970560 10054 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10735 10054 1111 63 0 10672 0
vsize: 42940
[startup+550.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24055
Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 982377 0 0 0 52667 2336 0 0 25 0 1 0 775572551 44965888 10216 4294967295 134512640 134714508 3221224592 3221220752 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10978 10219 1111 63 0 10915 0
vsize: 43912
[startup+560.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24055
Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 998661 0 0 0 53632 2372 0 0 25 0 1 0 775572551 45629440 10345 4294967295 134512640 134714508 3221224592 3221222856 1077799185 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11086 10341 1111 63 0 11023 0
vsize: 44560
[startup+570.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24055
Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 1015480 0 0 0 54593 2411 0 0 25 0 1 0 775572551 45658112 10466 4294967295 134512640 134714508 3221224592 3221222592 1074918599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11147 10466 1111 63 0 11084 0
vsize: 44588
[startup+580.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24055
Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 1035302 0 0 0 55545 2459 0 0 25 0 1 0 775572551 46415872 10651 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11332 10651 1111 63 0 11269 0
vsize: 45328
[startup+590.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24055
Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 1053545 0 0 0 56504 2500 0 0 25 0 1 0 775572551 47742976 10930 4294967295 134512640 134714508 3221224592 3221220588 1074788146 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11656 10930 1111 63 0 11593 0
vsize: 46624
[startup+600.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24055
Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 1072511 0 0 0 57461 2543 0 0 25 0 1 0 775572551 48345088 11067 4294967295 134512640 134714508 3221224592 3221221632 1075971404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11803 11067 1111 63 0 11740 0
vsize: 47212
[startup+610.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24055
Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 1085686 0 0 0 58431 2574 0 0 25 0 1 0 775572551 48738304 11219 4294967295 134512640 134714508 3221224592 3221222592 1074918591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11899 11219 1111 63 0 11836 0
vsize: 47596
[startup+620.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24055
Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 1099026 0 0 0 59400 2605 0 0 25 0 1 0 775572551 49041408 11177 4294967295 134512640 134714508 3221224592 3221221656 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11973 11177 1111 63 0 11910 0
vsize: 47892
[startup+630.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24055
Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 1123730 0 0 0 60347 2658 0 0 25 0 1 0 775572551 49172480 11328 4294967295 134512640 134714508 3221224592 3221223052 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12005 11328 1111 63 0 11942 0
vsize: 48020
[startup+640.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24055
Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 1145231 0 0 0 61300 2705 0 0 25 0 1 0 775572551 50401280 11541 4294967295 134512640 134714508 3221224592 3221220820 1075115049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12305 11541 1111 63 0 12242 0
vsize: 49220
[startup+650.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24055
Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 1160655 0 0 0 62267 2738 0 0 25 0 1 0 775572551 50524160 11640 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12335 11640 1111 63 0 12272 0
vsize: 49340
[startup+660.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24055
Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 1175324 0 0 0 63236 2769 0 0 25 0 1 0 775572551 51048448 11780 4294967295 134512640 134714508 3221224592 3221222592 1074918583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12463 11780 1111 63 0 12400 0
vsize: 49852
[startup+670.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24055
Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 1195631 0 0 0 64193 2812 0 0 25 0 1 0 775572551 51785728 11949 4294967295 134512640 134714508 3221224592 3221222592 1074918599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12643 11949 1111 63 0 12580 0
vsize: 50572
[startup+680.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24055
Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 1214671 0 0 0 65153 2853 0 0 25 0 1 0 775572551 53833728 12312 4294967295 134512640 134714508 3221224592 3221221712 1074834239 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13143 12312 1111 63 0 13080 0
vsize: 52572
[startup+690.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24055
Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 1227391 0 0 0 66124 2882 0 0 25 0 1 0 775572551 53440512 12243 4294967295 134512640 134714508 3221224592 3221222320 1074867433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13047 12243 1111 63 0 12984 0
vsize: 52188
[startup+700.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24055
Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 1249152 0 0 0 67074 2932 0 0 25 0 1 0 775572551 53436416 12356 4294967295 134512640 134714508 3221224592 3221222592 1074918280 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13046 12356 1111 63 0 12983 0
vsize: 52184
[startup+710.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24055
Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 1265938 0 0 0 68040 2966 0 0 25 0 1 0 775572551 54091776 12520 4294967295 134512640 134714508 3221224592 3221222592 1074918599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13206 12520 1111 63 0 13143 0
vsize: 52824
[startup+720.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24055
Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 1284423 0 0 0 69001 3006 0 0 25 0 1 0 775572551 54616064 12637 4294967295 134512640 134714508 3221224592 3221223160 134543144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13334 12637 1111 63 0 13271 0
vsize: 53336
[startup+730.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24055
Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 1305177 0 0 0 69955 3051 0 0 25 0 1 0 775572551 55320576 12809 4294967295 134512640 134714508 3221224592 3221222704 1074867340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13506 12809 1111 63 0 13443 0
vsize: 54024
[startup+740.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24055
Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 1326778 0 0 0 70910 3097 0 0 25 0 1 0 775572551 56426496 13077 4294967295 134512640 134714508 3221224592 3221222592 1074918591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13776 13077 1111 63 0 13713 0
vsize: 55104
[startup+750.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24055
Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 1347503 0 0 0 71863 3145 0 0 25 0 1 0 775572551 57024512 13114 4294967295 134512640 134714508 3221224592 3221220752 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13922 13126 1111 63 0 13859 0
vsize: 55688
[startup+760.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24055
Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 1367891 0 0 0 72819 3189 0 0 25 0 1 0 775572551 57790464 13324 4294967295 134512640 134714508 3221224592 3221220920 1074815601 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14109 13324 1111 63 0 14046 0
vsize: 56436
[startup+770.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24055
Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 1390675 0 0 0 73771 3236 0 0 25 0 1 0 775572551 58593280 13486 4294967295 134512640 134714508 3221224592 3221221536 1074620117 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14305 13492 1111 63 0 14242 0
vsize: 57220
[startup+780.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24055
Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 1410510 0 0 0 74728 3279 0 0 25 0 1 0 775572551 58875904 13645 4294967295 134512640 134714508 3221224592 3221222320 1075829534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14374 13645 1111 63 0 14311 0
vsize: 57496
[startup+790.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24055
Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 1436785 0 0 0 75675 3333 0 0 25 0 1 0 775572551 60002304 13826 4294967295 134512640 134714508 3221224592 3221221248 1075966559 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14649 13826 1111 63 0 14586 0
vsize: 58596
[startup+800.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24055
Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 1455556 0 0 0 76632 3376 0 0 25 0 1 0 775572551 60698624 14029 4294967295 134512640 134714508 3221224592 3221220768 1074882601 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14819 14029 1111 63 0 14756 0
vsize: 59276
[startup+810.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24055
Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 1473325 0 0 0 77593 3416 0 0 25 0 1 0 775572551 60764160 14134 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14835 14134 1111 63 0 14772 0
vsize: 59340
[startup+820.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24055
Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 1489487 0 0 0 78556 3453 0 0 25 0 1 0 775572551 61341696 14271 4294967295 134512640 134714508 3221224592 3221222844 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14976 14271 1111 63 0 14913 0
vsize: 59904
[startup+830.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24055
Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 1504095 0 0 0 79519 3489 0 0 25 0 1 0 775572551 61853696 14396 4294967295 134512640 134714508 3221224592 3221222592 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15101 14396 1111 63 0 15038 0
vsize: 60404
[startup+840.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24055
Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 1522994 0 0 0 80478 3531 0 0 25 0 1 0 775572551 62484480 14550 4294967295 134512640 134714508 3221224592 3221222892 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15255 14550 1111 63 0 15192 0
vsize: 61020
[startup+850.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24055
Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 1540238 0 0 0 81441 3568 0 0 25 0 1 0 775572551 63062016 14684 4294967295 134512640 134714508 3221224592 3221222592 1074916905 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15396 14684 1111 63 0 15333 0
vsize: 61584
[startup+860.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24055
Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 1557928 0 0 0 82407 3602 0 0 25 0 1 0 775572551 64561152 15013 4294967295 134512640 134714508 3221224592 3221220704 1074790226 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15762 15013 1111 63 0 15699 0
vsize: 63048
[startup+870.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24055
Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 1573723 0 0 0 83371 3638 0 0 25 0 1 0 775572551 64184320 14961 4294967295 134512640 134714508 3221224592 3221222760 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15670 14961 1111 63 0 15607 0
vsize: 62680
[startup+880.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24055
Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 1593099 0 0 0 84329 3681 0 0 25 0 1 0 775572551 65269760 15123 4294967295 134512640 134714508 3221224592 3221220752 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15935 15130 1111 63 0 15872 0
vsize: 63740
[startup+890.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24055
Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 1605410 0 0 0 85302 3708 0 0 25 0 1 0 775572551 67158016 15658 4294967295 134512640 134714508 3221224592 3221222592 1074918583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16396 15658 1111 63 0 16333 0
vsize: 65584
[startup+900.022 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24055
Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 1612000 0 0 0 86288 3722 0 0 25 0 1 0 775572551 67182592 15690 4294967295 134512640 134714508 3221224592 3221222592 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+910.022 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24055
Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 1618362 0 0 0 87273 3737 0 0 25 0 1 0 775572551 67289088 15704 4294967295 134512640 134714508 3221224592 3221222592 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+920.022 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24055
Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 1624815 0 0 0 88261 3750 0 0 25 0 1 0 775572551 67358720 15721 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16445 15721 1111 63 0 16382 0
vsize: 65780
[startup+930.022 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24055
Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 1633729 0 0 0 89240 3771 0 0 25 0 1 0 775572551 68046848 15427 4294967295 134512640 134714508 3221224592 3221222232 1075850393 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16613 15427 1111 63 0 16550 0
vsize: 66452
[startup+940.023 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24055
Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 1644001 0 0 0 90219 3791 0 0 25 0 1 0 775572551 69210112 15509 4294967295 134512640 134714508 3221224592 3221220800 1074815259 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16897 15510 1111 63 0 16834 0
vsize: 67588
[startup+950.023 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24055
Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 1667901 0 0 0 91162 3849 0 0 25 0 1 0 775572551 65863680 15368 4294967295 134512640 134714508 3221224592 3221222592 1074918583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16080 15368 1111 63 0 16017 0
vsize: 64320
[startup+960.023 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24055
Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 1699447 0 0 0 92092 3918 0 0 25 0 1 0 775572551 66273280 15468 4294967295 134512640 134714508 3221224592 3221222592 1074916935 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16180 15468 1111 63 0 16117 0
vsize: 64720
[startup+970.029 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24055
Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 1724481 0 0 0 93036 3974 0 0 25 0 1 0 775572551 67584000 15739 4294967295 134512640 134714508 3221224592 3221222704 1074867334 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16500 15739 1111 63 0 16437 0
vsize: 66000
[startup+980.028 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24055
Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 1737688 0 0 0 94006 4004 0 0 25 0 1 0 775572551 66875392 15615 4294967295 134512640 134714508 3221224592 3221222704 1074867308 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16327 15615 1111 63 0 16264 0
vsize: 65308
[startup+990.028 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24055
Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 1770571 0 0 0 94932 4079 0 0 25 0 1 0 775572551 68055040 15892 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16615 15892 1111 63 0 16552 0
vsize: 66460
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24055
Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 1779356 0 0 0 95911 4099 0 0 25 0 1 0 775572551 67866624 15855 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16569 15855 1111 63 0 16506 0
vsize: 66276
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24055
Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 1788045 0 0 0 96892 4119 0 0 25 0 1 0 775572551 68026368 15895 4294967295 134512640 134714508 3221224592 3221222232 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16608 15895 1111 63 0 16545 0
vsize: 66432
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24055
Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 1796368 0 0 0 97873 4138 0 0 25 0 1 0 775572551 70430720 16208 4294967295 134512640 134714508 3221224592 3221220476 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17195 16208 1111 63 0 17132 0
vsize: 68780
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24055
Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 1806174 0 0 0 98850 4161 0 0 25 0 1 0 775572551 68579328 16026 4294967295 134512640 134714508 3221224592 3221222592 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16743 16026 1111 63 0 16680 0
vsize: 66972
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24055
Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 1812242 0 0 0 99833 4178 0 0 25 0 1 0 775572551 68423680 15992 4294967295 134512640 134714508 3221224592 3221222592 1074918553 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16705 15992 1111 63 0 16642 0
vsize: 66820
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24055
Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 1818916 0 0 0 100819 4193 0 0 25 0 1 0 775572551 68890624 16106 4294967295 134512640 134714508 3221224592 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16819 16106 1111 63 0 16756 0
vsize: 67276
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24055
Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 1826890 0 0 0 101802 4210 0 0 25 0 1 0 775572551 69955584 16353 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17079 16353 1111 63 0 17016 0
vsize: 68316
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24055
Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 1836834 0 0 0 102780 4232 0 0 25 0 1 0 775572551 73510912 16413 4294967295 134512640 134714508 3221224592 3221221744 1075969899 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17947 16418 1111 63 0 17884 0
vsize: 71788
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24055
Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 1843259 0 0 0 103766 4246 0 0 25 0 1 0 775572551 71491584 16226 4294967295 134512640 134714508 3221224592 3221222232 1075850267 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17454 16226 1111 63 0 17391 0
vsize: 69816
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24055
Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 1852622 0 0 0 104746 4267 0 0 25 0 1 0 775572551 70090752 16386 4294967295 134512640 134714508 3221224592 3221222592 1074918583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17112 16386 1111 63 0 17049 0
vsize: 68448
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24055
Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 1861786 0 0 0 105726 4286 0 0 25 0 1 0 775572551 68726784 16066 4294967295 134512640 134714508 3221224592 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16779 16066 1111 63 0 16716 0
vsize: 67116
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24055
Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 1873002 0 0 0 106701 4312 0 0 25 0 1 0 775572551 69574656 16241 4294967295 134512640 134714508 3221224592 3221221784 1074138271 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16986 16241 1111 63 0 16923 0
vsize: 67944
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24055
Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 1890572 0 0 0 107659 4354 0 0 25 0 1 0 775572551 69275648 16199 4294967295 134512640 134714508 3221224592 3221222944 1074115298 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16913 16199 1111 63 0 16850 0
vsize: 67652
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24055
Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 1908616 0 0 0 108618 4395 0 0 25 0 1 0 775572551 69591040 16270 4294967295 134512640 134714508 3221224592 3221222592 1074918591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16990 16270 1111 63 0 16927 0
vsize: 67960
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24055
Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 1940542 0 0 0 109546 4467 0 0 25 0 1 0 775572551 71704576 16430 4294967295 134512640 134714508 3221224592 3221220820 1075115039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17506 16430 1111 63 0 17443 0
vsize: 70024
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24055
Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 1964772 0 0 0 110493 4521 0 0 25 0 1 0 775572551 72331264 16596 4294967295 134512640 134714508 3221224592 3221220752 1075095115 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17659 16596 1111 63 0 17596 0
vsize: 70636
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24055
Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 1995130 0 0 0 111421 4593 0 0 25 0 1 0 775572551 70721536 16521 4294967295 134512640 134714508 3221224592 3221223072 1074031972 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17266 16521 1111 63 0 17203 0
vsize: 69064
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24055
Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 2013566 0 0 0 112380 4634 0 0 25 0 1 0 775572551 74891264 17250 4294967295 134512640 134714508 3221224592 3221221120 1075397167 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18284 17250 1111 63 0 18221 0
vsize: 73136
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24055
Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 2023819 0 0 0 113358 4656 0 0 25 0 1 0 775572551 71708672 16791 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17507 16791 1111 63 0 17444 0
vsize: 70028
[startup+1180.66 s]
Raw data (loadavg): 0.99 0.97 0.96 1/53 24055
Raw data (stat): 24055 (bsolo_lpr_cuts) R 24054 21152 21151 0 -1 0 2023819 0 0 0 113358 4656 0 0 25 0 1 0 775572551 71708672 16791 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17507 16791 1111 63 0 17444 0
vsize: 0

Child status: 10
Real time (s): 1180.65
CPU time (s): 1180.77
CPU user time (s): 1134.17
CPU system time (s): 46.6019
CPU usage (%): 100.01
Max. virtual memory (Kb): 73136
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	801381
#### END VERIFIER DATA ####