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-sentoy.opb
MD5SUM	4df3e7eb358d27d446e34b975724a6c1
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-7772
Optimality of the best value was proved	NO
Number of terms in the objective function	60
Biggest coefficient in the objective function	974
Number of bits for the biggest coefficient in the objective function	10
Sum of the numbers in the objective function	9460
Number of bits of the sum of numbers in the objective function	14
Biggest number in a constraint	6000
Number of bits of the biggest number in a constraint	13
Biggest sum of numbers in a constraint	26162
Number of bits of the biggest sum of numbers	15
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.01884
Number of variables	60
Total number of constraints	90
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	60
Number of constraints which are nor clauses,nor cardinality constraints	30
Minimum length of a constraint	1
Maximum length of a constraint	60
Trace number 27385

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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:        856820 kB
Buffers:         23616 kB
Cached:         132172 kB
SwapCached:        408 kB
Active:          26968 kB
Inactive:       131168 kB
HighTotal:      131008 kB
HighFree:        70504 kB
LowTotal:       903652 kB
LowFree:        786316 kB
SwapTotal:     2097136 kB
SwapFree:      2096040 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5692 kB
Slab:            14096 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 21:48:00 (client local time) WITH STATUS 10 IN 1175.32 SECONDS
stats: 17253 0 1175.32 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 60 variables and 30 constraints.
c After prepocess the problem consists of 60 variables and 30 constraints.
c preprocess terminated 0.134 s
c Initial Lower Bound: -9228
c Lower Bound Elapsed time: 0.019
c Use computed LB before first solution.
c NEW SOLUTION FOUND: -4331 @ 1.211
c NEW SOLUTION FOUND: -4347 @ 1.826
c NEW SOLUTION FOUND: -4547 @ 6.895
c NEW SOLUTION FOUND: -4733 @ 491.481
c NEW SOLUTION FOUND: -4735 @ 491.49
c NEW SOLUTION FOUND: -4741 @ 491.512
c NEW SOLUTION FOUND: -4784 @ 491.518
c NEW SOLUTION FOUND: -4811 @ 491.525
c NEW SOLUTION FOUND: -4831 @ 491.54
c NEW SOLUTION FOUND: -4840 @ 491.715
c NEW SOLUTION FOUND: -4859 @ 491.725
c NEW SOLUTION FOUND: -4863 @ 491.859
c NEW SOLUTION FOUND: -4891 @ 492.027
c NEW SOLUTION FOUND: -4895 @ 495.574
c NEW SOLUTION FOUND: -4909 @ 495.647
c NEW SOLUTION FOUND: -4922 @ 496.189
c NEW SOLUTION FOUND: -4928 @ 498.77
c NEW SOLUTION FOUND: -4934 @ 499.957
c NEW SOLUTION FOUND: -4957 @ 500.469
c NEW SOLUTION FOUND: -4962 @ 501.001
c NEW SOLUTION FOUND: -4969 @ 509.574
c NEW SOLUTION FOUND: -4996 @ 509.635
c NEW SOLUTION FOUND: -5000 @ 512.546
c NEW SOLUTION FOUND: -5033 @ 512.576
c NEW SOLUTION FOUND: -5047 @ 513.384
c NEW SOLUTION FOUND: -5079 @ 523.764
c NEW SOLUTION FOUND: -5119 @ 529.217
c NEW SOLUTION FOUND: -5120 @ 543.646
c NEW SOLUTION FOUND: -5124 @ 545.635
c NEW SOLUTION FOUND: -5138 @ 548.669
c NEW SOLUTION FOUND: -5142 @ 562.757
c NEW SOLUTION FOUND: -5146 @ 568.248
c NEW SOLUTION FOUND: -5152 @ 573.707
c NEW SOLUTION FOUND: -5153 @ 576.358
c NEW SOLUTION FOUND: -5180 @ 597.863
c NEW SOLUTION FOUND: -5207 @ 615.594
c NEW SOLUTION FOUND: -5211 @ 634.743
c NEW SOLUTION FOUND: -5226 @ 712.107
c NEW SOLUTION FOUND: -5228 @ 753.035
c NEW SOLUTION FOUND: -5269 @ 753.083
c NEW SOLUTION FOUND: -5283 @ 824.085
c NEW SOLUTION FOUND: -5312 @ 843.413
s SATISFIABLE
v -Y1_bit0 Y2_bit0 -Y3_bit0 -Y4_bit0 Y5_bit0 -Y6_bit0 -Y7_bit0 Y8_bit0 Y9_bit0 -Y10_bit0 Y11_bit0 -Y12_bit0 Y13_bit0 Y14_bit0 -Y15_bit0 Y16_bit0 -Y17_bit0 -Y18_bit0 Y19_bit0 -Y20_bit0 Y21_bit0 Y22_bit0 -Y23_bit0 -Y24_bit0 -Y25_bit0 -Y26_bit0 -Y27_bit0 -Y28_bit0 Y29_bit0 Y30_bit0 -Y31_bit0 -Y32_bit0 -Y33_bit0 Y34_bit0 -Y35_bit0 -Y36_bit0 -Y37_bit0 -Y38_bit0 Y39_bit0 -Y40_bit0 Y41_bit0 -Y42_bit0 -Y43_bit0 -Y44_bit0 Y45_bit0 -Y46_bit0 -Y47_bit0 -Y48_bit0 -Y49_bit0 -Y50_bit0 -Y51_bit0 -Y52_bit0 Y53_bit0 -Y54_bit0 -Y55_bit0 -Y56_bit0 Y57_bit0 -Y58_bit0 Y59_bit0 -Y60_bit0 
c Exit Code: 10
c Total time: 1175.02 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.98 0.98 2/54 28801
Raw data (stat): 28801 (runsolver) R 28800 25568 25567 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 775257506 1052672 99 4294967295 134512640 135381576 3221224496 3221219708 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0004 s]
Raw data (loadavg): 0.93 0.98 0.98 2/54 28801
Raw data (stat): 28801 (bsolo_lpr_cuts) R 28800 25568 25567 0 -1 0 8554 0 0 0 953 44 0 0 25 0 1 0 775257506 17510400 3545 4294967295 134512640 134714508 3221224592 3221222992 1074118815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4275 3545 1111 63 0 4212 0
vsize: 17100
[startup+20.002 s]
Raw data (loadavg): 0.94 0.98 0.98 2/54 28801
Raw data (stat): 28801 (bsolo_lpr_cuts) R 28800 25568 25567 0 -1 0 14677 0 0 0 1920 78 0 0 25 0 1 0 775257506 25427968 5494 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6208 5494 1111 63 0 6145 0
vsize: 24832
[startup+30.0027 s]
Raw data (loadavg): 0.95 0.98 0.98 2/54 28801
Raw data (stat): 28801 (bsolo_lpr_cuts) R 28800 25568 25567 0 -1 0 21115 0 0 0 2885 113 0 0 25 0 1 0 775257506 34758656 7683 4294967295 134512640 134714508 3221224592 3221222392 1074205875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8486 7683 1111 63 0 8423 0
vsize: 33944
[startup+40.0029 s]
Raw data (loadavg): 0.96 0.98 0.98 2/54 28801
Raw data (stat): 28801 (bsolo_lpr_cuts) R 28800 25568 25567 0 -1 0 26953 0 0 0 3858 141 0 0 25 0 1 0 775257506 42369024 9592 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10344 9592 1111 63 0 10281 0
vsize: 41376
[startup+50.0044 s]
Raw data (loadavg): 0.96 0.98 0.98 2/54 28801
Raw data (stat): 28801 (bsolo_lpr_cuts) R 28800 25568 25567 0 -1 0 33009 0 0 0 4829 171 0 0 25 0 1 0 775257506 52375552 11714 4294967295 134512640 134714508 3221224592 3221220992 1075133173 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12787 11714 1111 63 0 12724 0
vsize: 51148
[startup+60.0052 s]
Raw data (loadavg): 0.97 0.98 0.98 2/54 28801
Raw data (stat): 28801 (bsolo_lpr_cuts) R 28800 25568 25567 0 -1 0 38522 0 0 0 5798 202 0 0 25 0 1 0 775257506 59338752 13428 4294967295 134512640 134714508 3221224592 3221222292 1077378598 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14487 13428 1111 63 0 14424 0
vsize: 57948
[startup+70.0063 s]
Raw data (loadavg): 0.97 0.98 0.98 2/54 28801
Raw data (stat): 28801 (bsolo_lpr_cuts) R 28800 25568 25567 0 -1 0 43790 0 0 0 6771 229 0 0 25 0 1 0 775257506 66035712 15032 4294967295 134512640 134714508 3221224592 3221220928 1075114224 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16122 15032 1111 63 0 16059 0
vsize: 64488
[startup+80.0078 s]
Raw data (loadavg): 0.98 0.98 0.98 2/54 28801
Raw data (stat): 28801 (bsolo_lpr_cuts) R 28800 25568 25567 0 -1 0 48372 0 0 0 7747 254 0 0 25 0 1 0 775257506 71536640 16401 4294967295 134512640 134714508 3221224592 3221221064 1074968485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17465 16401 1111 63 0 17402 0
vsize: 69860
[startup+90.0076 s]
Raw data (loadavg): 0.98 0.98 0.98 2/54 28801
Raw data (stat): 28801 (bsolo_lpr_cuts) R 28800 25568 25567 0 -1 0 53428 0 0 0 8722 279 0 0 25 0 1 0 775257506 78131200 18071 4294967295 134512640 134714508 3221224592 3221222992 1074118792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19075 18071 1111 63 0 19012 0
vsize: 76300
[startup+100.008 s]
Raw data (loadavg): 0.98 0.98 0.98 2/54 28801
Raw data (stat): 28801 (bsolo_lpr_cuts) R 28800 25568 25567 0 -1 0 58387 0 0 0 9692 310 0 0 25 0 1 0 775257506 84013056 19492 4294967295 134512640 134714508 3221224592 3221220736 1074971440 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20511 19492 1111 63 0 20448 0
vsize: 82044
[startup+110.008 s]
Raw data (loadavg): 0.98 0.98 0.98 2/54 28801
Raw data (stat): 28801 (bsolo_lpr_cuts) R 28800 25568 25567 0 -1 0 63620 0 0 0 10670 332 0 0 25 0 1 0 775257506 95883264 21658 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23409 21658 1111 63 0 23346 0
vsize: 93636
[startup+120.009 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 28801
Raw data (stat): 28801 (bsolo_lpr_cuts) R 28800 25568 25567 0 -1 0 69169 0 0 0 11644 359 0 0 25 0 1 0 775257506 101765120 23006 4294967295 134512640 134714508 3221224592 3221220736 1074969688 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24845 23006 1111 63 0 24782 0
vsize: 99380
[startup+130.009 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 28801
Raw data (stat): 28801 (bsolo_lpr_cuts) R 28800 25568 25567 0 -1 0 78886 0 0 0 12613 390 0 0 25 0 1 0 775257506 106881024 24245 4294967295 134512640 134714508 3221224592 3221221084 1076116628 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26094 24246 1111 63 0 26031 0
vsize: 104376
[startup+140.01 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 28801
Raw data (stat): 28801 (bsolo_lpr_cuts) R 28800 25568 25567 0 -1 0 90314 0 0 0 13572 431 0 0 25 0 1 0 775257506 113143808 25819 4294967295 134512640 134714508 3221224592 3221223336 134604879 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27623 25819 1111 63 0 27560 0
vsize: 110492
[startup+150.011 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 28801
Raw data (stat): 28801 (bsolo_lpr_cuts) R 28800 25568 25567 0 -1 0 102052 0 0 0 14534 469 0 0 25 0 1 0 775257506 118931456 27234 4294967295 134512640 134714508 3221224592 3221222656 1074820098 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29036 27234 1111 63 0 28973 0
vsize: 116144
[startup+160.011 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 28801
Raw data (stat): 28801 (bsolo_lpr_cuts) R 28800 25568 25567 0 -1 0 113317 0 0 0 15498 505 0 0 25 0 1 0 775257506 124878848 28674 4294967295 134512640 134714508 3221224592 3221220820 1075115065 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30488 28674 1111 63 0 30425 0
vsize: 121952
[startup+170.011 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 28801
Raw data (stat): 28801 (bsolo_lpr_cuts) R 28800 25568 25567 0 -1 0 123977 0 0 0 16462 542 0 0 25 0 1 0 775257506 130797568 30117 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31933 30117 1111 63 0 31870 0
vsize: 127732
[startup+180.011 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 28801
Raw data (stat): 28801 (bsolo_lpr_cuts) R 28800 25568 25567 0 -1 0 135621 0 0 0 17423 582 0 0 25 0 1 0 775257506 136667136 31607 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33366 31607 1111 63 0 33303 0
vsize: 133464
[startup+190.012 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 28801
Raw data (stat): 28801 (bsolo_lpr_cuts) R 28800 25568 25567 0 -1 0 147265 0 0 0 18385 620 0 0 25 0 1 0 775257506 143343616 33244 4294967295 134512640 134714508 3221224592 3221220756 1075964278 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34996 33244 1111 63 0 34933 0
vsize: 139984
[startup+200.013 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 28801
Raw data (stat): 28801 (bsolo_lpr_cuts) R 28800 25568 25567 0 -1 0 158951 0 0 0 19346 660 0 0 25 0 1 0 775257506 149286912 34761 4294967295 134512640 134714508 3221224592 3221220864 1074799491 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36447 34761 1111 63 0 36384 0
vsize: 145788
[startup+210.013 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 28801
Raw data (stat): 28801 (bsolo_lpr_cuts) R 28800 25568 25567 0 -1 0 170495 0 0 0 20309 697 0 0 25 0 1 0 775257506 154763264 36174 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37784 36174 1111 63 0 37721 0
vsize: 151136
[startup+220.014 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 28801
Raw data (stat): 28801 (bsolo_lpr_cuts) R 28800 25568 25567 0 -1 0 181905 0 0 0 21272 734 0 0 25 0 1 0 775257506 160727040 37668 4294967295 134512640 134714508 3221224592 3221222860 1074064116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39240 37668 1111 63 0 39177 0
vsize: 156960
[startup+230.014 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 28801
Raw data (stat): 28801 (bsolo_lpr_cuts) R 28800 25568 25567 0 -1 0 193971 0 0 0 22235 771 0 0 25 0 1 0 775257506 177205248 39874 4294967295 134512640 134714508 3221224592 3221221168 1076047496 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43230 39872 1111 63 0 43167 0
vsize: 173052
[startup+240.015 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 28801
Raw data (stat): 28801 (bsolo_lpr_cuts) R 28800 25568 25567 0 -1 0 202931 0 0 0 23206 801 0 0 25 0 1 0 775257506 181563392 40919 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44387 40919 1111 63 0 44324 0
vsize: 177308
[startup+250.015 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 28801
Raw data (stat): 28801 (bsolo_lpr_cuts) R 28800 25568 25567 0 -1 0 214651 0 0 0 24170 837 0 0 25 0 1 0 775257506 187179008 42179 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45698 42179 1111 63 0 45635 0
vsize: 182792
[startup+260.016 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 28801
Raw data (stat): 28801 (bsolo_lpr_cuts) R 28800 25568 25567 0 -1 0 226611 0 0 0 25131 876 0 0 25 0 1 0 775257506 192925696 43505 4294967295 134512640 134714508 3221224592 3221220820 1075115046 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47101 43505 1111 63 0 47038 0
vsize: 188404
[startup+270.016 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 28801
Raw data (stat): 28801 (bsolo_lpr_cuts) R 28800 25568 25567 0 -1 0 238554 0 0 0 26098 909 0 0 25 0 1 0 775257506 197939200 44740 4294967295 134512640 134714508 3221224592 3221222376 1077410129 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48325 44740 1111 63 0 48262 0
vsize: 193300
[startup+280.016 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 28801
Raw data (stat): 28801 (bsolo_lpr_cuts) R 28800 25568 25567 0 -1 0 250219 0 0 0 27059 948 0 0 25 0 1 0 775257506 203726848 46130 4294967295 134512640 134714508 3221224592 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49738 46130 1111 63 0 49675 0
vsize: 198952
[startup+290.016 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 28801
Raw data (stat): 28801 (bsolo_lpr_cuts) R 28800 25568 25567 0 -1 0 262016 0 0 0 28026 981 0 0 25 0 1 0 775257506 208752640 47374 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50965 47374 1111 63 0 50902 0
vsize: 203860
[startup+300.016 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 28801
Raw data (stat): 28801 (bsolo_lpr_cuts) R 28800 25568 25567 0 -1 0 273550 0 0 0 28992 1015 0 0 25 0 1 0 775257506 213880832 48665 4294967295 134512640 134714508 3221224592 3221220752 1075090660 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52217 48665 1111 63 0 52154 0
vsize: 208868
[startup+310.015 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 28801
Raw data (stat): 28801 (bsolo_lpr_cuts) R 28800 25568 25567 0 -1 0 284820 0 0 0 29955 1053 0 0 25 0 1 0 775257506 219111424 50021 4294967295 134512640 134714508 3221224592 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53486 50013 1111 63 0 53423 0
vsize: 213976
[startup+320.015 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 28801
Raw data (stat): 28801 (bsolo_lpr_cuts) R 28800 25568 25567 0 -1 0 296532 0 0 0 30918 1090 0 0 25 0 1 0 775257506 225570816 51512 4294967295 134512640 134714508 3221224592 3221220752 1075091317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55071 51512 1111 63 0 55008 0
vsize: 220284
[startup+330.015 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 28801
Raw data (stat): 28801 (bsolo_lpr_cuts) R 28800 25568 25567 0 -1 0 307952 0 0 0 31881 1128 0 0 25 0 1 0 775257506 230858752 52853 4294967295 134512640 134714508 3221224592 3221221168 1076047496 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 56362 52853 1111 63 0 56299 0
vsize: 225448
[startup+340.014 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 28801
Raw data (stat): 28801 (bsolo_lpr_cuts) R 28800 25568 25567 0 -1 0 319517 0 0 0 32843 1167 0 0 25 0 1 0 775257506 236310528 54232 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57693 54232 1111 63 0 57630 0
vsize: 230772
[startup+350.014 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 28801
Raw data (stat): 28801 (bsolo_lpr_cuts) R 28800 25568 25567 0 -1 0 331024 0 0 0 33804 1206 0 0 25 0 1 0 775257506 242237440 55634 4294967295 134512640 134714508 3221224592 3221220896 1075116238 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59140 55634 1111 63 0 59077 0
vsize: 236560
[startup+360.014 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 28801
Raw data (stat): 28801 (bsolo_lpr_cuts) R 28800 25568 25567 0 -1 0 341389 0 0 0 34772 1238 0 0 25 0 1 0 775257506 247726080 56962 4294967295 134512640 134714508 3221224592 3221223184 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60480 56962 1111 63 0 60417 0
vsize: 241920
[startup+370.013 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 28801
Raw data (stat): 28801 (bsolo_lpr_cuts) R 28800 25568 25567 0 -1 0 353109 0 0 0 35733 1277 0 0 25 0 1 0 775257506 252899328 58176 4294967295 134512640 134714508 3221224592 3221220756 1075964248 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61743 58176 1111 63 0 61680 0
vsize: 246972
[startup+380.013 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 28801
Raw data (stat): 28801 (bsolo_lpr_cuts) R 28800 25568 25567 0 -1 0 364938 0 0 0 36695 1315 0 0 25 0 1 0 775257506 257830912 59478 4294967295 134512640 134714508 3221224592 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 62939 59471 1111 63 0 62876 0
vsize: 251788
[startup+390.013 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 28801
Raw data (stat): 28801 (bsolo_lpr_cuts) R 28800 25568 25567 0 -1 0 376435 0 0 0 37660 1351 0 0 25 0 1 0 775257506 263016448 60766 4294967295 134512640 134714508 3221224592 3221221160 1076045683 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 64182 60765 1111 63 0 64119 0
vsize: 256852
[startup+400.012 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 28801
Raw data (stat): 28801 (bsolo_lpr_cuts) R 28800 25568 25567 0 -1 0 387835 0 0 0 38626 1385 0 0 25 0 1 0 775257506 267935744 61998 4294967295 134512640 134714508 3221224592 3221220600 1074860373 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65414 61998 1111 63 0 65351 0
vsize: 261656
[startup+410.012 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 28801
Raw data (stat): 28801 (bsolo_lpr_cuts) R 28800 25568 25567 0 -1 0 399982 0 0 0 39588 1423 0 0 25 0 1 0 775257506 274096128 63577 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 66918 63577 1111 63 0 66855 0
vsize: 267672
[startup+420.012 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 28801
Raw data (stat): 28801 (bsolo_lpr_cuts) R 28800 25568 25567 0 -1 0 411347 0 0 0 40551 1461 0 0 25 0 1 0 775257506 279531520 64858 4294967295 134512640 134714508 3221224592 3221220592 1075088850 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68245 64858 1111 63 0 68182 0
vsize: 272980
[startup+430.012 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 28801
Raw data (stat): 28801 (bsolo_lpr_cuts) R 28800 25568 25567 0 -1 0 423159 0 0 0 41513 1499 0 0 25 0 1 0 775257506 284622848 66183 4294967295 134512640 134714508 3221224592 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69488 66183 1111 63 0 69425 0
vsize: 277952
[startup+440.011 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 28801
Raw data (stat): 28801 (bsolo_lpr_cuts) R 28800 25568 25567 0 -1 0 434749 0 0 0 42476 1536 0 0 25 0 1 0 775257506 289722368 67481 4294967295 134512640 134714508 3221224592 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70733 67481 1111 63 0 70670 0
vsize: 282932
[startup+450.012 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 28801
Raw data (stat): 28801 (bsolo_lpr_cuts) R 28800 25568 25567 0 -1 0 446581 0 0 0 43439 1573 0 0 25 0 1 0 775257506 294596608 68709 4294967295 134512640 134714508 3221224592 3221220752 1075095166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71923 68709 1111 63 0 71860 0
vsize: 287692
[startup+460.011 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 28801
Raw data (stat): 28801 (bsolo_lpr_cuts) R 28800 25568 25567 0 -1 0 457887 0 0 0 44401 1611 0 0 25 0 1 0 775257506 298967040 69848 4294967295 134512640 134714508 3221224592 3221222320 1075828205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 72990 69848 1111 63 0 72927 0
vsize: 291960
[startup+470.012 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 28801
Raw data (stat): 28801 (bsolo_lpr_cuts) R 28800 25568 25567 0 -1 0 469555 0 0 0 45366 1648 0 0 25 0 1 0 775257506 304177152 71131 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74298 71133 1111 63 0 74235 0
vsize: 297048
[startup+480.012 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 28801
Raw data (stat): 28801 (bsolo_lpr_cuts) R 28800 25568 25567 0 -1 0 481353 0 0 0 46330 1684 0 0 25 0 1 0 775257506 309059584 72331 4294967295 134512640 134714508 3221224592 3221221512 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 75454 72331 1111 63 0 75391 0
vsize: 301816
[startup+490.011 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 28801
Raw data (stat): 28801 (bsolo_lpr_cuts) R 28800 25568 25567 0 -1 0 490414 0 0 0 47302 1711 0 0 25 0 1 0 775257506 312324096 73206 4294967295 134512640 134714508 3221224592 3221223184 134539376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 76251 73206 1111 63 0 76188 0
vsize: 305004
[startup+500.011 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 28801
Raw data (stat): 28801 (bsolo_lpr_cuts) R 28800 25568 25567 0 -1 0 505497 0 0 0 48254 1760 0 0 25 0 1 0 775257506 340766720 76606 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83195 76606 1111 63 0 83132 0
vsize: 332780
[startup+510.012 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 28801
Raw data (stat): 28801 (bsolo_lpr_cuts) R 28800 25568 25567 0 -1 0 524085 0 0 0 49195 1819 0 0 25 0 1 0 775257506 349155328 78435 4294967295 134512640 134714508 3221224592 3221220860 1075115504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85243 78435 1111 63 0 85180 0
vsize: 340972
[startup+520.011 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 28801
Raw data (stat): 28801 (bsolo_lpr_cuts) R 28800 25568 25567 0 -1 0 545645 0 0 0 50129 1884 0 0 25 0 1 0 775257506 355827712 80094 4294967295 134512640 134714508 3221224592 3221220796 1074814272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 86872 80094 1111 63 0 86809 0
vsize: 347488
[startup+530.011 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 28801
Raw data (stat): 28801 (bsolo_lpr_cuts) R 28800 25568 25567 0 -1 0 568583 0 0 0 51059 1955 0 0 25 0 1 0 775257506 366133248 82173 4294967295 134512640 134714508 3221224592 3221220588 1074788084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 89311 82165 1111 63 0 89248 0
vsize: 357552
[startup+540.011 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 28801
Raw data (stat): 28801 (bsolo_lpr_cuts) R 28800 25568 25567 0 -1 0 590701 0 0 0 51994 2020 0 0 25 0 1 0 775257506 373551104 84025 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91199 84025 1111 63 0 91136 0
vsize: 364796
[startup+550.01 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 28801
Raw data (stat): 28801 (bsolo_lpr_cuts) R 28800 25568 25567 0 -1 0 612092 0 0 0 52937 2077 0 0 25 0 1 0 775257506 381059072 85764 4294967295 134512640 134714508 3221224592 3221220800 1074792141 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 93032 85764 1111 63 0 92969 0
vsize: 372128
[startup+560.01 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 28801
Raw data (stat): 28801 (bsolo_lpr_cuts) R 28800 25568 25567 0 -1 0 633387 0 0 0 53879 2136 0 0 25 0 1 0 775257506 387555328 87394 4294967295 134512640 134714508 3221224592 3221223292 134558493 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94618 87394 1111 63 0 94555 0
vsize: 378472
[startup+570.01 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 28801
Raw data (stat): 28801 (bsolo_lpr_cuts) R 28800 25568 25567 0 -1 0 655277 0 0 0 54818 2197 0 0 25 0 1 0 775257506 395517952 89190 4294967295 134512640 134714508 3221224592 3221220720 1075112106 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96562 89190 1111 63 0 96499 0
vsize: 386248
[startup+580.011 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 28801
Raw data (stat): 28801 (bsolo_lpr_cuts) R 28800 25568 25567 0 -1 0 674623 0 0 0 55766 2249 0 0 25 0 1 0 775257506 400060416 90336 4294967295 134512640 134714508 3221224592 3221221580 1077404742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 97608 90334 1111 63 0 97545 0
vsize: 390684
[startup+590.01 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 28801
Raw data (stat): 28801 (bsolo_lpr_cuts) R 28800 25568 25567 0 -1 0 676853 0 0 0 56761 2254 0 0 25 0 1 0 775257506 400547840 90543 4294967295 134512640 134714508 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 97790 90543 1111 63 0 97727 0
vsize: 391160
[startup+600.01 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 28801
Raw data (stat): 28801 (bsolo_lpr_cuts) R 28800 25568 25567 0 -1 0 697678 0 0 0 57718 2298 0 0 25 0 1 0 775257506 403058688 90820 4294967295 134512640 134714508 3221224592 3221221168 1076044994 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 98403 90820 1111 63 0 98340 0
vsize: 393612
[startup+610.01 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 28801
Raw data (stat): 28801 (bsolo_lpr_cuts) R 28800 25568 25567 0 -1 0 724532 0 0 0 58656 2360 0 0 25 0 1 0 775257506 405823488 91554 4294967295 134512640 134714508 3221224592 3221220752 1075091317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 99078 91558 1111 63 0 99015 0
vsize: 396312
[startup+620.01 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 28801
Raw data (stat): 28801 (bsolo_lpr_cuts) R 28800 25568 25567 0 -1 0 751263 0 0 0 59594 2422 0 0 25 0 1 0 775257506 407924736 92066 4294967295 134512640 134714508 3221224592 3221220752 1075091317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 99591 92066 1111 63 0 99528 0
vsize: 398364
[startup+630.009 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 28801
Raw data (stat): 28801 (bsolo_lpr_cuts) R 28800 25568 25567 0 -1 0 785208 0 0 0 60522 2494 0 0 25 0 1 0 775257506 411066368 92910 4294967295 134512640 134714508 3221224592 3221220820 1075115039 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 99970 92864 1111 63 0 99907 0
vsize: 401432
[startup+640.01 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 28801
Raw data (stat): 28801 (bsolo_lpr_cuts) R 28800 25568 25567 0 -1 0 817481 0 0 0 61447 2570 0 0 25 0 1 0 775257506 412565504 93664 4294967295 134512640 134714508 3221224592 3221222992 1074118848 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 100724 93664 1111 63 0 100661 0
vsize: 402896
[startup+650.009 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 28801
Raw data (stat): 28801 (bsolo_lpr_cuts) R 28800 25568 25567 0 -1 0 855528 0 0 0 62359 2658 0 0 25 0 1 0 775257506 418299904 95101 4294967295 134512640 134714508 3221224592 3221221628 1077386340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 102512 95107 1111 63 0 102449 0
vsize: 408496
[startup+660.009 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 28801
Raw data (stat): 28801 (bsolo_lpr_cuts) R 28800 25568 25567 0 -1 0 892785 0 0 0 63274 2744 0 0 25 0 1 0 775257506 425787392 96507 4294967295 134512640 134714508 3221224592 3221221580 1077404742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 103952 96508 1111 63 0 103889 0
vsize: 415808
[startup+670.008 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 28801
Raw data (stat): 28801 (bsolo_lpr_cuts) R 28800 25568 25567 0 -1 0 930103 0 0 0 64189 2829 0 0 25 0 1 0 775257506 428974080 97755 4294967295 134512640 134714508 3221224592 3221223272 134523851 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 104730 97755 1111 63 0 104667 0
vsize: 418920
[startup+680.008 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 28801
Raw data (stat): 28801 (bsolo_lpr_cuts) R 28800 25568 25567 0 -1 0 967604 0 0 0 65103 2916 0 0 25 0 1 0 775257506 435482624 99014 4294967295 134512640 134714508 3221224592 3221221580 1077404742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 106319 99020 1111 63 0 106256 0
vsize: 425276
[startup+690.007 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 28801
Raw data (stat): 28801 (bsolo_lpr_cuts) R 28800 25568 25567 0 -1 0 1006986 0 0 0 66016 3002 0 0 25 0 1 0 775257506 440418304 100499 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 107524 100499 1111 63 0 107461 0
vsize: 430096
[startup+700.007 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 28801
Raw data (stat): 28801 (bsolo_lpr_cuts) R 28800 25568 25567 0 -1 0 1045638 0 0 0 66929 3089 0 0 25 0 1 0 775257506 447434752 101921 4294967295 134512640 134714508 3221224592 3221220736 1074970417 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 109237 101921 1111 63 0 109174 0
vsize: 436948
[startup+710.007 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 28801
Raw data (stat): 28801 (bsolo_lpr_cuts) R 28800 25568 25567 0 -1 0 1085714 0 0 0 67830 3189 0 0 25 0 1 0 775257506 454586368 103504 4294967295 134512640 134714508 3221224592 3221220752 1075095166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 110983 103511 1111 63 0 110920 0
vsize: 443932
[startup+720.006 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 28801
Raw data (stat): 28801 (bsolo_lpr_cuts) R 28800 25568 25567 0 -1 0 1118508 0 0 0 68752 3267 0 0 25 0 1 0 775257506 458416128 104756 4294967295 134512640 134714508 3221224592 3221222888 1077377712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 111918 104756 1111 63 0 111855 0
vsize: 447672
[startup+730.006 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 28801
Raw data (stat): 28801 (bsolo_lpr_cuts) R 28800 25568 25567 0 -1 0 1156883 0 0 0 69664 3356 0 0 25 0 1 0 775257506 463953920 106188 4294967295 134512640 134714508 3221224592 3221223056 1074121065 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 113270 106188 1111 63 0 113207 0
vsize: 453080
[startup+740.006 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 28801
Raw data (stat): 28801 (bsolo_lpr_cuts) R 28800 25568 25567 0 -1 0 1195345 0 0 0 70575 3445 0 0 25 0 1 0 775257506 469598208 107654 4294967295 134512640 134714508 3221224592 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 114745 107654 1111 63 0 114682 0
vsize: 458592
[startup+750.006 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 28801
Raw data (stat): 28801 (bsolo_lpr_cuts) R 28800 25568 25567 0 -1 0 1234206 0 0 0 71486 3534 0 0 25 0 1 0 775257506 477073408 109188 4294967295 134512640 134714508 3221224592 3221220752 1075091317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 116473 109188 1111 63 0 116410 0
vsize: 465892
[startup+760.006 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 28801
Raw data (stat): 28801 (bsolo_lpr_cuts) R 28800 25568 25567 0 -1 0 1272452 0 0 0 72397 3624 0 0 25 0 1 0 775257506 480940032 110589 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 117417 110589 1111 63 0 117354 0
vsize: 469668
[startup+770.006 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 28801
Raw data (stat): 28801 (bsolo_lpr_cuts) R 28800 25568 25567 0 -1 0 1308762 0 0 0 73315 3706 0 0 25 0 1 0 775257506 486019072 111888 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 118657 111888 1111 63 0 118594 0
vsize: 474628
[startup+780.006 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 28801
Raw data (stat): 28801 (bsolo_lpr_cuts) R 28800 25568 25567 0 -1 0 1345426 0 0 0 74237 3785 0 0 25 0 1 0 775257506 492232704 113096 4294967295 134512640 134714508 3221224592 3221220752 1075091317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 120174 113096 1111 63 0 120111 0
vsize: 480696
[startup+790.006 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 28801
Raw data (stat): 28801 (bsolo_lpr_cuts) R 28800 25568 25567 0 -1 0 1381676 0 0 0 75157 3864 0 0 25 0 1 0 775257506 496861184 114282 4294967295 134512640 134714508 3221224592 3221220912 1075116184 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 121304 114283 1111 63 0 121241 0
vsize: 485216
[startup+800.006 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 28801
Raw data (stat): 28801 (bsolo_lpr_cuts) R 28800 25568 25567 0 -1 0 1418209 0 0 0 76078 3944 0 0 25 0 1 0 775257506 500035584 115492 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 122079 115492 1111 63 0 122016 0
vsize: 488316
[startup+810.005 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 28801
Raw data (stat): 28801 (bsolo_lpr_cuts) R 28800 25568 25567 0 -1 0 1448267 0 0 0 77013 4009 0 0 25 0 1 0 775257506 505319424 116487 4294967295 134512640 134714508 3221224592 3221220752 1075095166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 123369 116491 1111 63 0 123306 0
vsize: 493476
[startup+820.005 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 28801
Raw data (stat): 28801 (bsolo_lpr_cuts) R 28800 25568 25567 0 -1 0 1484916 0 0 0 77932 4090 0 0 25 0 1 0 775257506 510726144 117691 4294967295 134512640 134714508 3221224592 3221221024 1075118222 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 124689 117691 1111 63 0 124626 0
vsize: 498756
[startup+830.005 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 28801
Raw data (stat): 28801 (bsolo_lpr_cuts) R 28800 25568 25567 0 -1 0 1522069 0 0 0 78854 4169 0 0 25 0 1 0 775257506 514072576 118974 4294967295 134512640 134714508 3221224592 3221222460 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 125506 118974 1111 63 0 125443 0
vsize: 502024
[startup+840.004 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 28801
Raw data (stat): 28801 (bsolo_lpr_cuts) R 28800 25568 25567 0 -1 0 1558811 0 0 0 79770 4253 0 0 25 0 1 0 775257506 518799360 120170 4294967295 134512640 134714508 3221224592 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 126660 120170 1111 63 0 126597 0
vsize: 506640
[startup+850.005 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 28801
Raw data (stat): 28801 (bsolo_lpr_cuts) R 28800 25568 25567 0 -1 0 1595559 0 0 0 80693 4331 0 0 25 0 1 0 775257506 524926976 121359 4294967295 134512640 134714508 3221224592 3221220752 1075091317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 128156 121359 1111 63 0 128093 0
vsize: 512624
[startup+860.005 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 28801
Raw data (stat): 28801 (bsolo_lpr_cuts) R 28800 25568 25567 0 -1 0 1631143 0 0 0 81613 4411 0 0 25 0 1 0 775257506 529911808 122550 4294967295 134512640 134714508 3221224592 3221221484 1077387418 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 129373 122551 1111 63 0 129310 0
vsize: 517492
[startup+870.004 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 28801
Raw data (stat): 28801 (bsolo_lpr_cuts) R 28800 25568 25567 0 -1 0 1667649 0 0 0 82526 4497 0 0 25 0 1 0 775257506 534614016 123756 4294967295 134512640 134714508 3221224592 3221220832 1075088563 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 130521 123756 1111 63 0 130458 0
vsize: 522084
[startup+880.004 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 28801
Raw data (stat): 28801 (bsolo_lpr_cuts) R 28800 25568 25567 0 -1 0 1706025 0 0 0 83438 4586 0 0 25 0 1 0 775257506 541270016 125795 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 132146 125795 1111 63 0 132083 0
vsize: 528584
[startup+890.004 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 28801
Raw data (stat): 28801 (bsolo_lpr_cuts) R 28800 25568 25567 0 -1 0 1743061 0 0 0 84356 4668 0 0 25 0 1 0 775257506 547692544 127082 4294967295 134512640 134714508 3221224592 3221221580 1077404742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 133714 127082 1111 63 0 133651 0
vsize: 534856
[startup+900.003 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 28801
Raw data (stat): 28801 (bsolo_lpr_cuts) R 28800 25568 25567 0 -1 0 1780007 0 0 0 85274 4751 0 0 25 0 1 0 775257506 552435712 128315 4294967295 134512640 134714508 3221224592 3221220752 1075091317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 134872 128315 1111 63 0 134809 0
vsize: 539488
[startup+910.003 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 28801
Raw data (stat): 28801 (bsolo_lpr_cuts) R 28800 25568 25567 0 -1 0 1816846 0 0 0 86188 4837 0 0 25 0 1 0 775257506 558284800 129824 4294967295 134512640 134714508 3221224592 3221220948 1075522726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 136300 129824 1111 63 0 136237 0
vsize: 545200
[startup+920.002 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 28801
Raw data (stat): 28801 (bsolo_lpr_cuts) R 28800 25568 25567 0 -1 0 1852821 0 0 0 87109 4916 0 0 25 0 1 0 775257506 562532352 131028 4294967295 134512640 134714508 3221224592 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 137337 131028 1111 63 0 137274 0
vsize: 549348
[startup+930.002 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 28801
Raw data (stat): 28801 (bsolo_lpr_cuts) R 28800 25568 25567 0 -1 0 1880890 0 0 0 88047 4979 0 0 25 0 1 0 775257506 565747712 131869 4294967295 134512640 134714508 3221224592 3221223300 134603388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 138122 131869 1111 63 0 138059 0
vsize: 552488
[startup+940.002 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 28801
Raw data (stat): 28801 (bsolo_lpr_cuts) R 28800 25568 25567 0 -1 0 1916169 0 0 0 88968 5058 0 0 25 0 1 0 775257506 571404288 132942 4294967295 134512640 134714508 3221224592 3221220736 1074971016 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 139115 132920 1111 63 0 139052 0
vsize: 558012
[startup+950.002 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 28801
Raw data (stat): 28801 (bsolo_lpr_cuts) R 28800 25568 25567 0 -1 0 1951949 0 0 0 89892 5134 0 0 25 0 1 0 775257506 574763008 134071 4294967295 134512640 134714508 3221224592 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 140323 134071 1111 63 0 140260 0
vsize: 561292
[startup+960.002 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 28801
Raw data (stat): 28801 (bsolo_lpr_cuts) R 28800 25568 25567 0 -1 0 1988708 0 0 0 90814 5213 0 0 25 0 1 0 775257506 579788800 135255 4294967295 134512640 134714508 3221224592 3221221580 1077404742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 141841 135259 1111 63 0 141778 0
vsize: 566200
[startup+970.001 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 28801
Raw data (stat): 28801 (bsolo_lpr_cuts) R 28800 25568 25567 0 -1 0 2024584 0 0 0 91733 5294 0 0 25 0 1 0 775257506 585424896 136427 4294967295 134512640 134714508 3221224592 3221220720 1075112080 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 142926 136427 1111 63 0 142863 0
vsize: 571704
[startup+980.001 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 28801
Raw data (stat): 28801 (bsolo_lpr_cuts) R 28800 25568 25567 0 -1 0 2060747 0 0 0 92653 5375 0 0 25 0 1 0 775257506 589946880 137597 4294967295 134512640 134714508 3221224592 3221220620 1074788084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 144030 137597 1111 63 0 143967 0
vsize: 576120
[startup+990.002 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 28801
Raw data (stat): 28801 (bsolo_lpr_cuts) R 28800 25568 25567 0 -1 0 2096706 0 0 0 93573 5455 0 0 25 0 1 0 775257506 594186240 138691 4294967295 134512640 134714508 3221224592 3221220752 1075091317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 145065 138691 1111 63 0 145002 0
vsize: 580260
[startup+1000 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 28801
Raw data (stat): 28801 (bsolo_lpr_cuts) R 28800 25568 25567 0 -1 0 2132087 0 0 0 94493 5535 0 0 25 0 1 0 775257506 596889600 139773 4294967295 134512640 134714508 3221224592 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 145725 139773 1111 63 0 145662 0
vsize: 582900
[startup+1010 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 28801
Raw data (stat): 28801 (bsolo_lpr_cuts) R 28800 25568 25567 0 -1 0 2168024 0 0 0 95411 5617 0 0 25 0 1 0 775257506 602738688 140887 4294967295 134512640 134714508 3221224592 3221220820 1075114984 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 147153 140887 1111 63 0 147090 0
vsize: 588612
[startup+1020 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 28801
Raw data (stat): 28801 (bsolo_lpr_cuts) R 28800 25568 25567 0 -1 0 2203979 0 0 0 96336 5692 0 0 25 0 1 0 775257506 606851072 141983 4294967295 134512640 134714508 3221224592 3221220892 1075894868 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 147769 141955 1111 63 0 147706 0
vsize: 592628
[startup+1030 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 28801
Raw data (stat): 28801 (bsolo_lpr_cuts) R 28800 25568 25567 0 -1 0 2238742 0 0 0 97262 5767 0 0 25 0 1 0 775257506 609247232 142960 4294967295 134512640 134714508 3221224592 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 148742 142960 1111 63 0 148679 0
vsize: 594968
[startup+1040 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 28801
Raw data (stat): 28801 (bsolo_lpr_cuts) R 28800 25568 25567 0 -1 0 2274121 0 0 0 98182 5847 0 0 25 0 1 0 775257506 614780928 143988 4294967295 134512640 134714508 3221224592 3221220752 1075090887 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 149705 143970 1111 63 0 149642 0
vsize: 600372
[startup+1050 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 28801
Raw data (stat): 28801 (bsolo_lpr_cuts) R 28800 25568 25567 0 -1 0 2310199 0 0 0 99106 5923 0 0 25 0 1 0 775257506 617537536 145092 4294967295 134512640 134714508 3221224592 3221223052 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 150766 145092 1111 63 0 150703 0
vsize: 603064
[startup+1060 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 28801
Raw data (stat): 28801 (bsolo_lpr_cuts) R 28800 25568 25567 0 -1 0 2337361 0 0 0 100048 5982 0 0 25 0 1 0 775257506 620711936 145924 4294967295 134512640 134714508 3221224592 3221223472 134621636 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151541 145924 1111 63 0 151478 0
vsize: 606164
[startup+1070 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 28801
Raw data (stat): 28801 (bsolo_lpr_cuts) R 28800 25568 25567 0 -1 0 2352571 0 0 0 101015 6015 0 0 25 0 1 0 775257506 624132096 146498 4294967295 134512640 134714508 3221224592 3221220752 1075095166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 152376 146499 1111 63 0 152313 0
vsize: 609504
[startup+1080 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 28801
Raw data (stat): 28801 (bsolo_lpr_cuts) R 28800 25568 25567 0 -1 0 2388280 0 0 0 101936 6094 0 0 25 0 1 0 775257506 627400704 147666 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 153174 147666 1111 63 0 153111 0
vsize: 612696
[startup+1090 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 28801
Raw data (stat): 28801 (bsolo_lpr_cuts) R 28800 25568 25567 0 -1 0 2426982 0 0 0 102853 6178 0 0 25 0 1 0 775257506 672608256 150853 4294967295 134512640 134714508 3221224592 3221220808 1074878881 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 164211 150853 1111 63 0 164148 0
vsize: 656844
[startup+1100 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 28801
Raw data (stat): 28801 (bsolo_lpr_cuts) R 28800 25568 25567 0 -1 0 2462108 0 0 0 103777 6254 0 0 25 0 1 0 775257506 677048320 152013 4294967295 134512640 134714508 3221224592 3221220948 1075522585 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 165295 152013 1111 63 0 165232 0
vsize: 661180
[startup+1110 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 28801
Raw data (stat): 28801 (bsolo_lpr_cuts) R 28800 25568 25567 0 -1 0 2497982 0 0 0 104693 6338 0 0 25 0 1 0 775257506 682770432 153244 4294967295 134512640 134714508 3221224592 3221220800 1074815234 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 166692 153244 1111 63 0 166629 0
vsize: 666768
[startup+1120 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 28801
Raw data (stat): 28801 (bsolo_lpr_cuts) R 28800 25568 25567 0 -1 0 2533883 0 0 0 105609 6422 0 0 25 0 1 0 775257506 685785088 154383 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 167428 154383 1111 63 0 167365 0
vsize: 669712
[startup+1130 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 28801
Raw data (stat): 28801 (bsolo_lpr_cuts) R 28800 25568 25567 0 -1 0 2571640 0 0 0 106522 6510 0 0 25 0 1 0 775257506 692301824 155697 4294967295 134512640 134714508 3221224592 3221220752 1075095166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 169019 155710 1111 63 0 168956 0
vsize: 676076
[startup+1140 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 28801
Raw data (stat): 28801 (bsolo_lpr_cuts) R 28800 25568 25567 0 -1 0 2608895 0 0 0 107439 6593 0 0 25 0 1 0 775257506 697282560 157061 4294967295 134512640 134714508 3221224592 3221222992 1074118848 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 170235 157061 1111 63 0 170172 0
vsize: 680940
[startup+1150 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 28801
Raw data (stat): 28801 (bsolo_lpr_cuts) R 28800 25568 25567 0 -1 0 2643700 0 0 0 108363 6670 0 0 25 0 1 0 775257506 702869504 158287 4294967295 134512640 134714508 3221224592 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 171599 158287 1111 63 0 171536 0
vsize: 686396
[startup+1160 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 28801
Raw data (stat): 28801 (bsolo_lpr_cuts) R 28800 25568 25567 0 -1 0 2680705 0 0 0 109279 6754 0 0 25 0 1 0 775257506 708173824 159516 4294967295 134512640 134714508 3221224592 3221223216 134543686 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 172894 159516 1111 63 0 172831 0
vsize: 691576
[startup+1170 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 28801
Raw data (stat): 28801 (bsolo_lpr_cuts) R 28800 25568 25567 0 -1 0 2717829 0 0 0 110200 6833 0 0 25 0 1 0 775257506 715141120 160780 4294967295 134512640 134714508 3221224592 3221223272 134528393 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 174595 160780 1111 63 0 174532 0
vsize: 698380
[startup+1174.98 s]
Raw data (loadavg): 0.99 0.98 0.98 1/53 28801
Raw data (stat): 28801 (bsolo_lpr_cuts) R 28800 25568 25567 0 -1 0 2717829 0 0 0 110200 6833 0 0 25 0 1 0 775257506 715141120 160780 4294967295 134512640 134714508 3221224592 3221223272 134528393 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 174595 160780 1111 63 0 174532 0
vsize: 0

Child status: 10
Real time (s): 1174.97
CPU time (s): 1175.32
CPU user time (s): 1106.3
CPU system time (s): 69.0215
CPU usage (%): 100.029
Max. virtual memory (Kb): 698380
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	-5312
#### END VERIFIER DATA ####