PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-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.01784
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 28611

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc29 THE 2005-05-25 03:19:58 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=12261 boxname=wulflinc29 idbench=944 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  4df3e7eb358d27d446e34b975724a6c1  /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-20-10-sentoy.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-20-10-sentoy.opb
IDLAUNCH: 12261
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.020
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	: 3
cpu MHz		: 451.020
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:        773604 kB
Buffers:         19904 kB
Cached:         215348 kB
SwapCached:        572 kB
Active:          18292 kB
Inactive:       222504 kB
HighTotal:      131008 kB
HighFree:       102480 kB
LowTotal:       903652 kB
LowFree:        671124 kB
SwapTotal:     2097892 kB
SwapFree:      2096728 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5612 kB
Slab:            14536 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 03:39:33 (client local time) WITH STATUS 10 IN 1175.32 SECONDS
stats: 12261 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.137 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.216
c NEW SOLUTION FOUND: -4347 @ 1.832
c NEW SOLUTION FOUND: -4547 @ 6.811
c NEW SOLUTION FOUND: -4733 @ 487.748
c NEW SOLUTION FOUND: -4735 @ 487.758
c NEW SOLUTION FOUND: -4741 @ 487.779
c NEW SOLUTION FOUND: -4784 @ 487.786
c NEW SOLUTION FOUND: -4811 @ 487.792
c NEW SOLUTION FOUND: -4831 @ 487.807
c NEW SOLUTION FOUND: -4840 @ 487.982
c NEW SOLUTION FOUND: -4859 @ 487.992
c NEW SOLUTION FOUND: -4863 @ 488.128
c NEW SOLUTION FOUND: -4891 @ 488.296
c NEW SOLUTION FOUND: -4895 @ 491.809
c NEW SOLUTION FOUND: -4909 @ 491.881
c NEW SOLUTION FOUND: -4922 @ 492.416
c NEW SOLUTION FOUND: -4928 @ 494.988
c NEW SOLUTION FOUND: -4934 @ 496.173
c NEW SOLUTION FOUND: -4957 @ 496.683
c NEW SOLUTION FOUND: -4962 @ 497.214
c NEW SOLUTION FOUND: -4969 @ 505.744
c NEW SOLUTION FOUND: -4996 @ 505.804
c NEW SOLUTION FOUND: -5000 @ 508.702
c NEW SOLUTION FOUND: -5033 @ 508.733
c NEW SOLUTION FOUND: -5047 @ 509.537
c NEW SOLUTION FOUND: -5079 @ 520.019
c NEW SOLUTION FOUND: -5119 @ 525.437
c NEW SOLUTION FOUND: -5120 @ 539.769
c NEW SOLUTION FOUND: -5124 @ 541.746
c NEW SOLUTION FOUND: -5138 @ 544.775
c NEW SOLUTION FOUND: -5142 @ 558.892
c NEW SOLUTION FOUND: -5146 @ 564.372
c NEW SOLUTION FOUND: -5152 @ 569.808
c NEW SOLUTION FOUND: -5153 @ 572.449
c NEW SOLUTION FOUND: -5180 @ 593.541
c NEW SOLUTION FOUND: -5207 @ 611.225
c NEW SOLUTION FOUND: -5211 @ 630.321
c NEW SOLUTION FOUND: -5226 @ 707.062
c NEW SOLUTION FOUND: -5228 @ 747.573
c NEW SOLUTION FOUND: -5269 @ 747.621
c NEW SOLUTION FOUND: -5283 @ 818.067
c NEW SOLUTION FOUND: -5312 @ 837.254
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.01 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.88 0.95 0.92 2/54 27260
Raw data (stat): 27260 (runsolver) R 27259 20001 20000 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 835584730 1052672 99 4294967295 134512640 135381576 3221224480 3221219692 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+9.99993 s]
Raw data (loadavg): 0.90 0.95 0.92 2/54 27260
Raw data (stat): 27260 (bsolo_lpr_cuts) R 27259 20001 20000 0 -1 0 8650 0 0 0 954 44 0 0 25 0 1 0 835584730 17645568 3575 4294967295 134512640 134714508 3221224576 3221223024 1073990361 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4308 3575 1111 63 0 4245 0
vsize: 17232
[startup+20.0007 s]
Raw data (loadavg): 0.91 0.95 0.92 2/54 27260
Raw data (stat): 27260 (bsolo_lpr_cuts) R 27259 20001 20000 0 -1 0 14883 0 0 0 1921 78 0 0 25 0 1 0 835584730 25849856 5560 4294967295 134512640 134714508 3221224576 3221220896 1074814981 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6311 5560 1111 63 0 6248 0
vsize: 25244
[startup+30.0011 s]
Raw data (loadavg): 0.93 0.95 0.92 2/54 27260
Raw data (stat): 27260 (bsolo_lpr_cuts) R 27259 20001 20000 0 -1 0 21441 0 0 0 2888 110 0 0 25 0 1 0 835584730 35196928 7787 4294967295 134512640 134714508 3221224576 3221222184 1077377495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8593 7787 1111 63 0 8530 0
vsize: 34372
[startup+40.0023 s]
Raw data (loadavg): 0.94 0.95 0.92 2/54 27260
Raw data (stat): 27260 (bsolo_lpr_cuts) R 27259 20001 20000 0 -1 0 27347 0 0 0 3857 141 0 0 25 0 1 0 835584730 43016192 9705 4294967295 134512640 134714508 3221224576 3221220840 1075115505 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10502 9705 1111 63 0 10439 0
vsize: 42008
[startup+50.0031 s]
Raw data (loadavg): 0.95 0.95 0.92 2/54 27260
Raw data (stat): 27260 (bsolo_lpr_cuts) R 27259 20001 20000 0 -1 0 33554 0 0 0 4829 170 0 0 25 0 1 0 835584730 53248000 11888 4294967295 134512640 134714508 3221224576 3221221080 1074971925 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13000 11888 1111 63 0 12937 0
vsize: 52000
[startup+60.0024 s]
Raw data (loadavg): 0.95 0.95 0.92 2/54 27260
Raw data (stat): 27260 (bsolo_lpr_cuts) R 27259 20001 20000 0 -1 0 39152 0 0 0 5799 200 0 0 25 0 1 0 835584730 60305408 13624 4294967295 134512640 134714508 3221224576 3221220540 1074860626 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14723 13624 1111 63 0 14660 0
vsize: 58892
[startup+70.0036 s]
Raw data (loadavg): 0.96 0.95 0.92 2/54 27260
Raw data (stat): 27260 (bsolo_lpr_cuts) R 27259 20001 20000 0 -1 0 44482 0 0 0 6770 228 0 0 25 0 1 0 835584730 66695168 15258 4294967295 134512640 134714508 3221224576 3221222576 1074916706 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16283 15258 1111 63 0 16220 0
vsize: 65132
[startup+80.0044 s]
Raw data (loadavg): 0.97 0.95 0.92 2/54 27260
Raw data (stat): 27260 (bsolo_lpr_cuts) R 27259 20001 20000 0 -1 0 49091 0 0 0 7745 254 0 0 25 0 1 0 835584730 72372224 16603 4294967295 134512640 134714508 3221224576 3221220944 1075894558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17669 16603 1111 63 0 17606 0
vsize: 70676
[startup+90.0048 s]
Raw data (loadavg): 0.97 0.96 0.92 2/54 27260
Raw data (stat): 27260 (bsolo_lpr_cuts) R 27259 20001 20000 0 -1 0 54388 0 0 0 8717 283 0 0 25 0 1 0 835584730 79450112 18357 4294967295 134512640 134714508 3221224576 3221220960 1075133417 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19397 18357 1111 63 0 19334 0
vsize: 77588
[startup+100.005 s]
Raw data (loadavg): 0.98 0.96 0.92 2/54 27260
Raw data (stat): 27260 (bsolo_lpr_cuts) R 27259 20001 20000 0 -1 0 60123 0 0 0 9689 310 0 0 25 0 1 0 835584730 90722304 20537 4294967295 134512640 134714508 3221224576 3221220720 1074969633 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22149 20537 1111 63 0 22086 0
vsize: 88596
[startup+110.006 s]
Raw data (loadavg): 0.98 0.96 0.92 2/54 27260
Raw data (stat): 27260 (bsolo_lpr_cuts) R 27259 20001 20000 0 -1 0 64537 0 0 0 10664 335 0 0 25 0 1 0 835584730 96899072 21917 4294967295 134512640 134714508 3221224576 3221221940 1074141031 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23657 21917 1111 63 0 23594 0
vsize: 94628
[startup+120.006 s]
Raw data (loadavg): 0.98 0.96 0.92 2/54 27260
Raw data (stat): 27260 (bsolo_lpr_cuts) R 27259 20001 20000 0 -1 0 71400 0 0 0 11639 360 0 0 25 0 1 0 835584730 102653952 23246 4294967295 134512640 134714508 3221224576 3221220848 1074808044 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25062 23246 1111 63 0 24999 0
vsize: 100248
[startup+130.006 s]
Raw data (loadavg): 0.98 0.96 0.92 2/54 27260
Raw data (stat): 27260 (bsolo_lpr_cuts) R 27259 20001 20000 0 -1 0 81434 0 0 0 12607 393 0 0 25 0 1 0 835584730 108449792 24630 4294967295 134512640 134714508 3221224576 3221223488 134598752 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26477 24630 1111 63 0 26414 0
vsize: 105908
[startup+140.007 s]
Raw data (loadavg): 0.99 0.96 0.92 2/54 27260
Raw data (stat): 27260 (bsolo_lpr_cuts) R 27259 20001 20000 0 -1 0 93209 0 0 0 13566 434 0 0 25 0 1 0 835584730 114683904 26169 4294967295 134512640 134714508 3221224576 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27999 26169 1111 63 0 27936 0
vsize: 111996
[startup+150.007 s]
Raw data (loadavg): 0.99 0.96 0.92 2/54 27260
Raw data (stat): 27260 (bsolo_lpr_cuts) R 27259 20001 20000 0 -1 0 104852 0 0 0 14531 469 0 0 25 0 1 0 835584730 120246272 27575 4294967295 134512640 134714508 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29357 27575 1111 63 0 29294 0
vsize: 117428
[startup+160.008 s]
Raw data (loadavg): 0.99 0.96 0.92 2/54 27260
Raw data (stat): 27260 (bsolo_lpr_cuts) R 27259 20001 20000 0 -1 0 116287 0 0 0 15494 506 0 0 25 0 1 0 835584730 126414848 29022 4294967295 134512640 134714508 3221224576 3221221468 1077386340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30863 29023 1111 63 0 30800 0
vsize: 123452
[startup+170.008 s]
Raw data (loadavg): 0.99 0.96 0.92 2/54 27260
Raw data (stat): 27260 (bsolo_lpr_cuts) R 27259 20001 20000 0 -1 0 127121 0 0 0 16456 544 0 0 25 0 1 0 835584730 132440064 30522 4294967295 134512640 134714508 3221224576 3221220736 1075095166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32334 30522 1111 63 0 32271 0
vsize: 129336
[startup+180.008 s]
Raw data (loadavg): 0.99 0.96 0.92 2/54 27260
Raw data (stat): 27260 (bsolo_lpr_cuts) R 27259 20001 20000 0 -1 0 138630 0 0 0 17418 583 0 0 25 0 1 0 835584730 138366976 32020 4294967295 134512640 134714508 3221224576 3221223248 134524434 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33774 32014 1111 63 0 33711 0
vsize: 135124
[startup+190.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27260
Raw data (stat): 27260 (bsolo_lpr_cuts) R 27259 20001 20000 0 -1 0 150600 0 0 0 18379 622 0 0 25 0 1 0 835584730 145240064 33747 4294967295 134512640 134714508 3221224576 3221223152 134543097 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35459 33747 1111 63 0 35396 0
vsize: 141836
[startup+200.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27260
Raw data (stat): 27260 (bsolo_lpr_cuts) R 27259 20001 20000 0 -1 0 162281 0 0 0 19342 659 0 0 25 0 1 0 835584730 150749184 35157 4294967295 134512640 134714508 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36804 35157 1111 63 0 36741 0
vsize: 147216
[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27260
Raw data (stat): 27260 (bsolo_lpr_cuts) R 27259 20001 20000 0 -1 0 173769 0 0 0 20302 699 0 0 25 0 1 0 835584730 156352512 36591 4294967295 134512640 134714508 3221224576 3221223472 134621530 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38172 36591 1111 63 0 38109 0
vsize: 152688
[startup+220.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27260
Raw data (stat): 27260 (bsolo_lpr_cuts) R 27259 20001 20000 0 -1 0 185083 0 0 0 21266 736 0 0 25 0 1 0 835584730 162242560 38012 4294967295 134512640 134714508 3221224576 3221220848 1074961496 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39610 38012 1111 63 0 39547 0
vsize: 158440
[startup+230.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27260
Raw data (stat): 27260 (bsolo_lpr_cuts) R 27259 20001 20000 0 -1 0 197091 0 0 0 22234 768 0 0 25 0 1 0 835584730 178970624 40248 4294967295 134512640 134714508 3221224576 3221220960 1074972049 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43694 40248 1111 63 0 43631 0
vsize: 174776
[startup+240.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27260
Raw data (stat): 27260 (bsolo_lpr_cuts) R 27259 20001 20000 0 -1 0 206523 0 0 0 23204 797 0 0 25 0 1 0 835584730 183709696 41302 4294967295 134512640 134714508 3221224576 3221220848 1074961316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44851 41302 1111 63 0 44788 0
vsize: 179404
[startup+250.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27260
Raw data (stat): 27260 (bsolo_lpr_cuts) R 27259 20001 20000 0 -1 0 218278 0 0 0 24168 834 0 0 25 0 1 0 835584730 189018112 42603 4294967295 134512640 134714508 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46147 42603 1111 63 0 46084 0
vsize: 184588
[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27260
Raw data (stat): 27260 (bsolo_lpr_cuts) R 27259 20001 20000 0 -1 0 230123 0 0 0 25130 872 0 0 25 0 1 0 835584730 194158592 43838 4294967295 134512640 134714508 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47402 43838 1111 63 0 47339 0
vsize: 189608
[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27260
Raw data (stat): 27260 (bsolo_lpr_cuts) R 27259 20001 20000 0 -1 0 241838 0 0 0 26092 911 0 0 25 0 1 0 835584730 199405568 45104 4294967295 134512640 134714508 3221224576 3221221920 1074839024 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48743 45105 1111 63 0 48680 0
vsize: 194732
[startup+280.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27260
Raw data (stat): 27260 (bsolo_lpr_cuts) R 27259 20001 20000 0 -1 0 253568 0 0 0 27057 946 0 0 25 0 1 0 835584730 205156352 46491 4294967295 134512640 134714508 3221224576 3221222412 1077404823 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50087 46491 1111 63 0 50024 0
vsize: 200348
[startup+290.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27260
Raw data (stat): 27260 (bsolo_lpr_cuts) R 27259 20001 20000 0 -1 0 265379 0 0 0 28020 983 0 0 25 0 1 0 835584730 210247680 47711 4294967295 134512640 134714508 3221224576 3221221496 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51330 47712 1111 63 0 51267 0
vsize: 205320
[startup+300.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27260
Raw data (stat): 27260 (bsolo_lpr_cuts) R 27259 20001 20000 0 -1 0 276899 0 0 0 28982 1021 0 0 25 0 1 0 835584730 215326720 49055 4294967295 134512640 134714508 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52604 49057 1111 63 0 52541 0
vsize: 210280
[startup+310.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27260
Raw data (stat): 27260 (bsolo_lpr_cuts) R 27259 20001 20000 0 -1 0 288642 0 0 0 29945 1058 0 0 25 0 1 0 835584730 220991488 50452 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53953 50452 1111 63 0 53890 0
vsize: 215812
[startup+320.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27260
Raw data (stat): 27260 (bsolo_lpr_cuts) R 27259 20001 20000 0 -1 0 300032 0 0 0 30912 1092 0 0 25 0 1 0 835584730 227287040 51972 4294967295 134512640 134714508 3221224576 3221222416 1074052131 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55490 51972 1111 63 0 55427 0
vsize: 221960
[startup+330.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27260
Raw data (stat): 27260 (bsolo_lpr_cuts) R 27259 20001 20000 0 -1 0 311618 0 0 0 31878 1126 0 0 25 0 1 0 835584730 232480768 53250 4294967295 134512640 134714508 3221224576 3221221468 1077386340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 56695 53249 1111 63 0 56632 0
vsize: 227032
[startup+340.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27260
Raw data (stat): 27260 (bsolo_lpr_cuts) R 27259 20001 20000 0 -1 0 323129 0 0 0 32841 1163 0 0 25 0 1 0 835584730 238153728 54681 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58143 54681 1111 63 0 58080 0
vsize: 232572
[startup+350.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27260
Raw data (stat): 27260 (bsolo_lpr_cuts) R 27259 20001 20000 0 -1 0 334603 0 0 0 33808 1196 0 0 25 0 1 0 835584730 244568064 56144 4294967295 134512640 134714508 3221224576 3221220796 1075111812 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59709 56144 1111 63 0 59646 0
vsize: 238836
[startup+360.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27260
Raw data (stat): 27260 (bsolo_lpr_cuts) R 27259 20001 20000 0 -1 0 344819 0 0 0 34775 1230 0 0 25 0 1 0 835584730 249073664 57296 4294967295 134512640 134714508 3221224576 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60809 57296 1111 63 0 60746 0
vsize: 243236
[startup+370.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27260
Raw data (stat): 27260 (bsolo_lpr_cuts) R 27259 20001 20000 0 -1 0 357049 0 0 0 35736 1269 0 0 25 0 1 0 835584730 254443520 58611 4294967295 134512640 134714508 3221224576 3221223140 1074016548 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 62120 58611 1111 63 0 62057 0
vsize: 248480
[startup+380.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27260
Raw data (stat): 27260 (bsolo_lpr_cuts) R 27259 20001 20000 0 -1 0 368600 0 0 0 36696 1309 0 0 25 0 1 0 835584730 259649536 59903 4294967295 134512640 134714508 3221224576 3221220736 1075093184 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 63359 59902 1111 63 0 63296 0
vsize: 253564
[startup+390.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27260
Raw data (stat): 27260 (bsolo_lpr_cuts) R 27259 20001 20000 0 -1 0 380136 0 0 0 37660 1345 0 0 25 0 1 0 835584730 264400896 61166 4294967295 134512640 134714508 3221224576 3221223300 134622785 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 64551 61166 1111 63 0 64488 0
vsize: 258204
[startup+400.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27260
Raw data (stat): 27260 (bsolo_lpr_cuts) R 27259 20001 20000 0 -1 0 391754 0 0 0 38623 1382 0 0 25 0 1 0 835584730 269602816 62416 4294967295 134512640 134714508 3221224576 3221220784 1074815423 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65821 62416 1111 63 0 65758 0
vsize: 263284
[startup+410.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27260
Raw data (stat): 27260 (bsolo_lpr_cuts) R 27259 20001 20000 0 -1 0 403890 0 0 0 39584 1421 0 0 25 0 1 0 835584730 276234240 64045 4294967295 134512640 134714508 3221224576 3221220720 1074968547 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67440 64045 1111 63 0 67377 0
vsize: 269760
[startup+420.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27260
Raw data (stat): 27260 (bsolo_lpr_cuts) R 27259 20001 20000 0 -1 0 415311 0 0 0 40550 1455 0 0 25 0 1 0 835584730 281448448 65350 4294967295 134512640 134714508 3221224576 3221221152 1076047903 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68713 65350 1111 63 0 68650 0
vsize: 274852
[startup+430.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27260
Raw data (stat): 27260 (bsolo_lpr_cuts) R 27259 20001 20000 0 -1 0 427288 0 0 0 41513 1493 0 0 25 0 1 0 835584730 286453760 66641 4294967295 134512640 134714508 3221224576 3221222916 1077374071 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69935 66641 1111 63 0 69872 0
vsize: 279740
[startup+440.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27260
Raw data (stat): 27260 (bsolo_lpr_cuts) R 27259 20001 20000 0 -1 0 438992 0 0 0 42475 1530 0 0 25 0 1 0 835584730 291385344 67883 4294967295 134512640 134714508 3221224576 3221220944 1075119526 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71139 67883 1111 63 0 71076 0
vsize: 284556
[startup+450.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27260
Raw data (stat): 27260 (bsolo_lpr_cuts) R 27259 20001 20000 0 -1 0 450512 0 0 0 43440 1566 0 0 25 0 1 0 835584730 296062976 69104 4294967295 134512640 134714508 3221224576 3221222800 1074057727 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 72281 69104 1111 63 0 72218 0
vsize: 289124
[startup+460.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27260
Raw data (stat): 27260 (bsolo_lpr_cuts) R 27259 20001 20000 0 -1 0 462048 0 0 0 44407 1599 0 0 25 0 1 0 835584730 301051904 70299 4294967295 134512640 134714508 3221224576 3221222756 1077782939 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73468 70298 1111 63 0 73405 0
vsize: 293996
[startup+470.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27260
Raw data (stat): 27260 (bsolo_lpr_cuts) R 27259 20001 20000 0 -1 0 473842 0 0 0 45373 1634 0 0 25 0 1 0 835584730 306102272 71577 4294967295 134512640 134714508 3221224576 3221220540 1074860626 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74732 71577 1111 63 0 74669 0
vsize: 298928
[startup+480.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27260
Raw data (stat): 27260 (bsolo_lpr_cuts) R 27259 20001 20000 0 -1 0 485667 0 0 0 46340 1667 0 0 25 0 1 0 835584730 310566912 72744 4294967295 134512640 134714508 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 75883 72745 1111 63 0 75820 0
vsize: 303288
[startup+490.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27260
Raw data (stat): 27260 (bsolo_lpr_cuts) R 27259 20001 20000 0 -1 0 493809 0 0 0 47310 1696 0 0 25 0 1 0 835584730 315305984 73938 4294967295 134512640 134714508 3221224576 3221221468 1077386340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 76979 73938 1111 63 0 76916 0
vsize: 307916
[startup+500.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27260
Raw data (stat): 27260 (bsolo_lpr_cuts) R 27259 20001 20000 0 -1 0 512582 0 0 0 48259 1748 0 0 25 0 1 0 835584730 343715840 77297 4294967295 134512640 134714508 3221224576 3221220848 1074805811 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83845 77293 1111 63 0 83782 0
vsize: 335660
[startup+510.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27260
Raw data (stat): 27260 (bsolo_lpr_cuts) R 27259 20001 20000 0 -1 0 532170 0 0 0 49199 1807 0 0 25 0 1 0 835584730 351322112 79009 4294967295 134512640 134714508 3221224576 3221220720 1074970373 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85772 79009 1111 63 0 85709 0
vsize: 343088
[startup+520.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27260
Raw data (stat): 27260 (bsolo_lpr_cuts) R 27259 20001 20000 0 -1 0 554033 0 0 0 50136 1870 0 0 25 0 1 0 835584730 360214528 80847 4294967295 134512640 134714508 3221224576 3221221468 1077387418 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87943 80848 1111 63 0 87880 0
vsize: 351772
[startup+530.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27260
Raw data (stat): 27260 (bsolo_lpr_cuts) R 27259 20001 20000 0 -1 0 576841 0 0 0 51068 1939 0 0 25 0 1 0 835584730 368504832 82864 4294967295 134512640 134714508 3221224576 3221223168 134613454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 89967 82864 1111 63 0 89904 0
vsize: 359868
[startup+540.018 s]
Raw data (loadavg): 0.99 0.97 0.92 3/54 27260
Raw data (stat): 27260 (bsolo_lpr_cuts) R 27259 20001 20000 0 -1 0 598983 0 0 0 52006 2000 0 0 25 0 1 0 835584730 376520704 84680 4294967295 134512640 134714508 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 92006 84683 1111 63 0 91943 0
vsize: 367696
[startup+550.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27260
Raw data (stat): 27260 (bsolo_lpr_cuts) R 27259 20001 20000 0 -1 0 619903 0 0 0 52951 2056 0 0 25 0 1 0 835584730 383463424 86396 4294967295 134512640 134714508 3221224576 3221220812 1073950904 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93542 86388 1111 63 0 93479 0
vsize: 374476
[startup+560.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27260
Raw data (stat): 27260 (bsolo_lpr_cuts) R 27259 20001 20000 0 -1 0 641805 0 0 0 53891 2116 0 0 25 0 1 0 835584730 390766592 88103 4294967295 134512640 134714508 3221224576 3221222756 1077782939 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95402 88103 1111 63 0 95339 0
vsize: 381608
[startup+570.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27260
Raw data (stat): 27260 (bsolo_lpr_cuts) R 27259 20001 20000 0 -1 0 662981 0 0 0 54832 2175 0 0 25 0 1 0 835584730 397385728 89755 4294967295 134512640 134714508 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 97018 89755 1111 63 0 96955 0
vsize: 388072
[startup+580.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27260
Raw data (stat): 27260 (bsolo_lpr_cuts) R 27259 20001 20000 0 -1 0 675435 0 0 0 55799 2208 0 0 25 0 1 0 835584730 401420288 90734 4294967295 134512640 134714508 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 98003 90734 1111 63 0 97940 0
vsize: 392012
[startup+590.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27260
Raw data (stat): 27260 (bsolo_lpr_cuts) R 27259 20001 20000 0 -1 0 677980 0 0 0 56793 2214 0 0 25 0 1 0 835584730 400068608 90426 4294967295 134512640 134714508 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 97673 90426 1111 63 0 97610 0
vsize: 390692
[startup+600.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27260
Raw data (stat): 27260 (bsolo_lpr_cuts) R 27259 20001 20000 0 -1 0 710275 0 0 0 57721 2287 0 0 25 0 1 0 835584730 403755008 91337 4294967295 134512640 134714508 3221224576 3221221612 1077386340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 98611 91344 1111 63 0 98548 0
vsize: 394292
[startup+610.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27260
Raw data (stat): 27260 (bsolo_lpr_cuts) R 27259 20001 20000 0 -1 0 737837 0 0 0 58660 2348 0 0 25 0 1 0 835584730 405180416 91746 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 98921 91746 1111 63 0 98858 0
vsize: 395684
[startup+620.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27260
Raw data (stat): 27260 (bsolo_lpr_cuts) R 27259 20001 20000 0 -1 0 766575 0 0 0 59597 2411 0 0 25 0 1 0 835584730 407871488 92464 4294967295 134512640 134714508 3221224576 3221222232 1077378180 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 99578 92464 1111 63 0 99515 0
vsize: 398312
[startup+630.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27260
Raw data (stat): 27260 (bsolo_lpr_cuts) R 27259 20001 20000 0 -1 0 798025 0 0 0 60530 2478 0 0 25 0 1 0 835584730 410734592 93177 4294967295 134512640 134714508 3221224576 3221223288 134543133 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 100277 93177 1111 63 0 100214 0
vsize: 401108
[startup+640.033 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27260
Raw data (stat): 27260 (bsolo_lpr_cuts) R 27259 20001 20000 0 -1 0 834391 0 0 0 61456 2554 0 0 25 0 1 0 835584730 416817152 94328 4294967295 134512640 134714508 3221224576 3221220736 1075091317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 101762 94328 1111 63 0 101699 0
vsize: 407048
[startup+650.033 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27260
Raw data (stat): 27260 (bsolo_lpr_cuts) R 27259 20001 20000 0 -1 0 872466 0 0 0 62370 2640 0 0 25 0 1 0 835584730 422281216 95732 4294967295 134512640 134714508 3221224576 3221220736 1075095166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 103096 95733 1111 63 0 103033 0
vsize: 412384
[startup+660.033 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27260
Raw data (stat): 27260 (bsolo_lpr_cuts) R 27259 20001 20000 0 -1 0 909749 0 0 0 63289 2721 0 0 25 0 1 0 835584730 427884544 97084 4294967295 134512640 134714508 3221224576 3221220792 1074878881 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 104464 97084 1111 63 0 104401 0
vsize: 417856
[startup+670.034 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27260
Raw data (stat): 27260 (bsolo_lpr_cuts) R 27259 20001 20000 0 -1 0 947272 0 0 0 64210 2801 0 0 25 0 1 0 835584730 431329280 98342 4294967295 134512640 134714508 3221224576 3221223056 134543030 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 105305 98342 1111 63 0 105242 0
vsize: 421220
[startup+680.033 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27260
Raw data (stat): 27260 (bsolo_lpr_cuts) R 27259 20001 20000 0 -1 0 986503 0 0 0 65122 2888 0 0 25 0 1 0 835584730 436441088 99669 4294967295 134512640 134714508 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 106553 99669 1111 63 0 106490 0
vsize: 426212
[startup+690.034 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27260
Raw data (stat): 27260 (bsolo_lpr_cuts) R 27259 20001 20000 0 -1 0 1025455 0 0 0 66036 2975 0 0 25 0 1 0 835584730 443715584 101144 4294967295 134512640 134714508 3221224576 3221221468 1077387418 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 108523 101147 1111 63 0 108460 0
vsize: 433316
[startup+700.035 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27260
Raw data (stat): 27260 (bsolo_lpr_cuts) R 27259 20001 20000 0 -1 0 1065410 0 0 0 66949 3063 0 0 25 0 1 0 835584730 451563520 102714 4294967295 134512640 134714508 3221224576 3221220848 1074805542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 109857 102700 1111 63 0 109794 0
vsize: 440980
[startup+710.034 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27260
Raw data (stat): 27260 (bsolo_lpr_cuts) R 27259 20001 20000 0 -1 0 1105470 0 0 0 67855 3156 0 0 25 0 1 0 835584730 457527296 104274 4294967295 134512640 134714508 3221224576 3221221564 1077404742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 111701 104280 1111 63 0 111638 0
vsize: 446804
[startup+720.034 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27260
Raw data (stat): 27260 (bsolo_lpr_cuts) R 27259 20001 20000 0 -1 0 1137921 0 0 0 68786 3225 0 0 25 0 1 0 835584730 462704640 105472 4294967295 134512640 134714508 3221224576 3221220736 1075091317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 112965 105472 1111 63 0 112902 0
vsize: 451860
[startup+730.034 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27260
Raw data (stat): 27260 (bsolo_lpr_cuts) R 27259 20001 20000 0 -1 0 1176746 0 0 0 69708 3304 0 0 25 0 1 0 835584730 468340736 106941 4294967295 134512640 134714508 3221224576 3221220672 1074879060 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 114341 106941 1111 63 0 114278 0
vsize: 457364
[startup+740.035 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27260
Raw data (stat): 27260 (bsolo_lpr_cuts) R 27259 20001 20000 0 -1 0 1216446 0 0 0 70615 3397 0 0 25 0 1 0 835584730 472956928 108511 4294967295 134512640 134714508 3221224576 3221222956 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 115468 108511 1111 63 0 115405 0
vsize: 461872
[startup+750.035 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27260
Raw data (stat): 27260 (bsolo_lpr_cuts) R 27259 20001 20000 0 -1 0 1254925 0 0 0 71534 3478 0 0 25 0 1 0 835584730 480169984 109967 4294967295 134512640 134714508 3221224576 3221220588 1074788964 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 117229 109967 1111 63 0 117166 0
vsize: 468916
[startup+760.035 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27260
Raw data (stat): 27260 (bsolo_lpr_cuts) R 27259 20001 20000 0 -1 0 1291583 0 0 0 72456 3556 0 0 25 0 1 0 835584730 485003264 111245 4294967295 134512640 134714508 3221224576 3221220672 1074879842 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 118409 111245 1111 63 0 118346 0
vsize: 473636
[startup+770.035 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27260
Raw data (stat): 27260 (bsolo_lpr_cuts) R 27259 20001 20000 0 -1 0 1329355 0 0 0 73378 3634 0 0 25 0 1 0 835584730 488611840 112556 4294967295 134512640 134714508 3221224576 3221221680 1074138887 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 119678 112561 1111 63 0 119615 0
vsize: 477160
[startup+780.035 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27260
Raw data (stat): 27260 (bsolo_lpr_cuts) R 27259 20001 20000 0 -1 0 1365490 0 0 0 74297 3716 0 0 25 0 1 0 835584730 494628864 113740 4294967295 134512640 134714508 3221224576 3221220784 1074815197 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 120759 113740 1111 63 0 120696 0
vsize: 483036
[startup+790.036 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27260
Raw data (stat): 27260 (bsolo_lpr_cuts) R 27259 20001 20000 0 -1 0 1402638 0 0 0 75219 3793 0 0 25 0 1 0 835584730 499531776 114999 4294967295 134512640 134714508 3221224576 3221220720 1074969763 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 121956 114999 1111 63 0 121893 0
vsize: 487824
[startup+800.036 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27260
Raw data (stat): 27260 (bsolo_lpr_cuts) R 27259 20001 20000 0 -1 0 1435071 0 0 0 76149 3864 0 0 25 0 1 0 835584730 502304768 116069 4294967295 134512640 134714508 3221224576 3221223088 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 122633 116069 1111 63 0 122570 0
vsize: 490532
[startup+810.036 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27260
Raw data (stat): 27260 (bsolo_lpr_cuts) R 27259 20001 20000 0 -1 0 1469922 0 0 0 77074 3939 0 0 25 0 1 0 835584730 506974208 117193 4294967295 134512640 134714508 3221224576 3221222224 1075818272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 123773 117193 1111 63 0 123710 0
vsize: 495092
[startup+820.037 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27260
Raw data (stat): 27260 (bsolo_lpr_cuts) R 27259 20001 20000 0 -1 0 1507446 0 0 0 77991 4022 0 0 25 0 1 0 835584730 513929216 118524 4294967295 134512640 134714508 3221224576 3221220736 1075095166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 125471 118525 1111 63 0 125408 0
vsize: 501884
[startup+830.037 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27260
Raw data (stat): 27260 (bsolo_lpr_cuts) R 27259 20001 20000 0 -1 0 1544332 0 0 0 78914 4100 0 0 25 0 1 0 835584730 516882432 119680 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 126192 119680 1111 63 0 126129 0
vsize: 504768
[startup+840.037 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27260
Raw data (stat): 27260 (bsolo_lpr_cuts) R 27259 20001 20000 0 -1 0 1581512 0 0 0 79833 4180 0 0 25 0 1 0 835584730 521678848 120933 4294967295 134512640 134714508 3221224576 3221222712 1077378365 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 127363 120933 1111 63 0 127300 0
vsize: 509452
[startup+850.037 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27260
Raw data (stat): 27260 (bsolo_lpr_cuts) R 27259 20001 20000 0 -1 0 1617507 0 0 0 80761 4252 0 0 25 0 1 0 835584730 526483456 122081 4294967295 134512640 134714508 3221224576 3221222488 1075125653 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 128536 122081 1111 63 0 128473 0
vsize: 514144
[startup+860.036 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27260
Raw data (stat): 27260 (bsolo_lpr_cuts) R 27259 20001 20000 0 -1 0 1654370 0 0 0 81679 4334 0 0 25 0 1 0 835584730 531304448 123320 4294967295 134512640 134714508 3221224576 3221222784 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 129713 123320 1111 63 0 129650 0
vsize: 518852
[startup+870.036 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27260
Raw data (stat): 27260 (bsolo_lpr_cuts) R 27259 20001 20000 0 -1 0 1691730 0 0 0 82596 4417 0 0 25 0 1 0 835584730 537280512 124813 4294967295 134512640 134714508 3221224576 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131172 124813 1111 63 0 131109 0
vsize: 524688
[startup+880.036 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27260
Raw data (stat): 27260 (bsolo_lpr_cuts) R 27259 20001 20000 0 -1 0 1729700 0 0 0 83513 4500 0 0 25 0 1 0 835584730 545988608 126640 4294967295 134512640 134714508 3221224576 3221221056 1075169401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 133298 126640 1111 63 0 133235 0
vsize: 533192
[startup+890.035 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27260
Raw data (stat): 27260 (bsolo_lpr_cuts) R 27259 20001 20000 0 -1 0 1767348 0 0 0 84433 4581 0 0 25 0 1 0 835584730 550993920 127924 4294967295 134512640 134714508 3221224576 3221221564 1077404742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 134520 127928 1111 63 0 134457 0
vsize: 538080
[startup+900.036 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27260
Raw data (stat): 27260 (bsolo_lpr_cuts) R 27259 20001 20000 0 -1 0 1804355 0 0 0 85353 4660 0 0 25 0 1 0 835584730 555188224 129384 4294967295 134512640 134714508 3221224576 3221222956 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 135544 129384 1111 63 0 135481 0
vsize: 542176
[startup+910.036 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27260
Raw data (stat): 27260 (bsolo_lpr_cuts) R 27259 20001 20000 0 -1 0 1841187 0 0 0 86271 4743 0 0 25 0 1 0 835584730 562638848 130692 4294967295 134512640 134714508 3221224576 3221220736 1075095166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 137169 130690 1111 63 0 137106 0
vsize: 549452
[startup+920.037 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27260
Raw data (stat): 27260 (bsolo_lpr_cuts) R 27259 20001 20000 0 -1 0 1868500 0 0 0 87212 4802 0 0 25 0 1 0 835584730 564334592 131515 4294967295 134512640 134714508 3221224576 3221223448 134536906 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 137777 131515 1111 63 0 137714 0
vsize: 551108
[startup+930.037 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27260
Raw data (stat): 27260 (bsolo_lpr_cuts) R 27259 20001 20000 0 -1 0 1904838 0 0 0 88132 4882 0 0 25 0 1 0 835584730 570261504 132650 4294967295 134512640 134714508 3221224576 3221220720 1074971223 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 139224 132650 1111 63 0 139161 0
vsize: 556896
[startup+940.037 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27260
Raw data (stat): 27260 (bsolo_lpr_cuts) R 27259 20001 20000 0 -1 0 1939982 0 0 0 89058 4957 0 0 25 0 1 0 835584730 573198336 133663 4294967295 134512640 134714508 3221224576 3221223328 134553608 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 139941 133663 1111 63 0 139878 0
vsize: 559764
[startup+950.037 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27260
Raw data (stat): 27260 (bsolo_lpr_cuts) R 27259 20001 20000 0 -1 0 1976592 0 0 0 89975 5040 0 0 25 0 1 0 835584730 579420160 134866 4294967295 134512640 134714508 3221224576 3221220784 1074815372 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 141460 134866 1111 63 0 141397 0
vsize: 565840
[startup+960.037 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27260
Raw data (stat): 27260 (bsolo_lpr_cuts) R 27259 20001 20000 0 -1 0 2012764 0 0 0 90897 5118 0 0 25 0 1 0 835584730 582270976 136009 4294967295 134512640 134714508 3221224576 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 142156 136009 1111 63 0 142093 0
vsize: 568624
[startup+970.038 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27260
Raw data (stat): 27260 (bsolo_lpr_cuts) R 27259 20001 20000 0 -1 0 2049894 0 0 0 91817 5198 0 0 25 0 1 0 835584730 586895360 137204 4294967295 134512640 134714508 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 143285 137204 1111 63 0 143222 0
vsize: 573140
[startup+980.037 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27260
Raw data (stat): 27260 (bsolo_lpr_cuts) R 27259 20001 20000 0 -1 0 2086096 0 0 0 92737 5278 0 0 25 0 1 0 835584730 591388672 138339 4294967295 134512640 134714508 3221224576 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 144382 138339 1111 63 0 144319 0
vsize: 577528
[startup+990.037 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27260
Raw data (stat): 27260 (bsolo_lpr_cuts) R 27259 20001 20000 0 -1 0 2121791 0 0 0 93662 5354 0 0 25 0 1 0 835584730 596033536 139462 4294967295 134512640 134714508 3221224576 3221221564 1077404742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 145807 139466 1111 63 0 145744 0
vsize: 582064
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27260
Raw data (stat): 27260 (bsolo_lpr_cuts) R 27259 20001 20000 0 -1 0 2158021 0 0 0 94583 5433 0 0 25 0 1 0 835584730 601542656 140585 4294967295 134512640 134714508 3221224576 3221220604 1074788136 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 146861 140585 1111 63 0 146798 0
vsize: 587444
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27260
Raw data (stat): 27260 (bsolo_lpr_cuts) R 27259 20001 20000 0 -1 0 2194140 0 0 0 95504 5512 0 0 25 0 1 0 835584730 604205056 141650 4294967295 134512640 134714508 3221224576 3221223044 1076648096 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 147511 141650 1111 63 0 147448 0
vsize: 590044
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27260
Raw data (stat): 27260 (bsolo_lpr_cuts) R 27259 20001 20000 0 -1 0 2229195 0 0 0 96426 5589 0 0 25 0 1 0 835584730 608067584 142659 4294967295 134512640 134714508 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 148454 142659 1111 63 0 148391 0
vsize: 593816
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27260
Raw data (stat): 27260 (bsolo_lpr_cuts) R 27259 20001 20000 0 -1 0 2264712 0 0 0 97348 5668 0 0 25 0 1 0 835584730 613662720 143705 4294967295 134512640 134714508 3221224576 3221221564 1077404742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 149820 143705 1111 63 0 149757 0
vsize: 599280
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27260
Raw data (stat): 27260 (bsolo_lpr_cuts) R 27259 20001 20000 0 -1 0 2300758 0 0 0 98265 5751 0 0 25 0 1 0 835584730 616321024 144803 4294967295 134512640 134714508 3221224576 3221222904 1077799185 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 150469 144803 1111 63 0 150406 0
vsize: 601876
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27260
Raw data (stat): 27260 (bsolo_lpr_cuts) R 27259 20001 20000 0 -1 0 2335682 0 0 0 99192 5824 0 0 25 0 1 0 835584730 622116864 145893 4294967295 134512640 134714508 3221224576 3221220736 1075091317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151884 145893 1111 63 0 151821 0
vsize: 607536
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27260
Raw data (stat): 27260 (bsolo_lpr_cuts) R 27259 20001 20000 0 -1 0 2343866 0 0 0 100175 5841 0 0 25 0 1 0 835584730 623071232 146213 4294967295 134512640 134714508 3221224576 3221220816 1075115752 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 152117 146213 1111 63 0 152054 0
vsize: 608468
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27260
Raw data (stat): 27260 (bsolo_lpr_cuts) R 27259 20001 20000 0 -1 0 2380133 0 0 0 101095 5922 0 0 25 0 1 0 835584730 627638272 147409 4294967295 134512640 134714508 3221224576 3221220720 1074970650 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 153232 147409 1111 63 0 153169 0
vsize: 612928
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27260
Raw data (stat): 27260 (bsolo_lpr_cuts) R 27259 20001 20000 0 -1 0 2418620 0 0 0 102014 6003 0 0 25 0 1 0 835584730 669958144 150572 4294967295 134512640 134714508 3221224576 3221223336 134592041 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 163564 150572 1111 63 0 163501 0
vsize: 654256
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27260
Raw data (stat): 27260 (bsolo_lpr_cuts) R 27259 20001 20000 0 -1 0 2454217 0 0 0 102937 6080 0 0 25 0 1 0 835584730 676003840 151740 4294967295 134512640 134714508 3221224576 3221220736 1075094220 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 165040 151740 1111 63 0 164977 0
vsize: 660160
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27260
Raw data (stat): 27260 (bsolo_lpr_cuts) R 27259 20001 20000 0 -1 0 2490282 0 0 0 103861 6156 0 0 25 0 1 0 835584730 681824256 152989 4294967295 134512640 134714508 3221224576 3221220720 1074969471 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 166461 152989 1111 63 0 166398 0
vsize: 665844
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27260
Raw data (stat): 27260 (bsolo_lpr_cuts) R 27259 20001 20000 0 -1 0 2526333 0 0 0 104780 6237 0 0 25 0 1 0 835584730 686321664 154149 4294967295 134512640 134714508 3221224576 3221221064 1074798917 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 167559 154149 1111 63 0 167496 0
vsize: 670236
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27260
Raw data (stat): 27260 (bsolo_lpr_cuts) R 27259 20001 20000 0 -1 0 2563887 0 0 0 105694 6323 0 0 25 0 1 0 835584730 689676288 155426 4294967295 134512640 134714508 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 168378 155426 1111 63 0 168315 0
vsize: 673512
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27260
Raw data (stat): 27260 (bsolo_lpr_cuts) R 27259 20001 20000 0 -1 0 2601570 0 0 0 106612 6406 0 0 25 0 1 0 835584730 696258560 156822 4294967295 134512640 134714508 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 170373 156827 1111 63 0 170310 0
vsize: 679940
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27260
Raw data (stat): 27260 (bsolo_lpr_cuts) R 27259 20001 20000 0 -1 0 2636874 0 0 0 107538 6480 0 0 25 0 1 0 835584730 703578112 158060 4294967295 134512640 134714508 3221224576 3221220684 1074797364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 171772 158060 1111 63 0 171709 0
vsize: 687088
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27260
Raw data (stat): 27260 (bsolo_lpr_cuts) R 27259 20001 20000 0 -1 0 2674175 0 0 0 108455 6563 0 0 25 0 1 0 835584730 709095424 159350 4294967295 134512640 134714508 3221224576 3221220540 1074788201 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 173119 159350 1111 63 0 173056 0
vsize: 692476
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27260
Raw data (stat): 27260 (bsolo_lpr_cuts) R 27259 20001 20000 0 -1 0 2711348 0 0 0 109375 6643 0 0 25 0 1 0 835584730 714375168 160576 4294967295 134512640 134714508 3221224576 3221223192 134558477 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 174408 160576 1111 63 0 174345 0
vsize: 697632
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27260
Raw data (stat): 27260 (bsolo_lpr_cuts) R 27259 20001 20000 0 -1 0 2746913 0 0 0 110299 6720 0 0 25 0 1 0 835584730 720203776 161694 4294967295 134512640 134714508 3221224576 3221220736 1075095166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 175831 161707 1111 63 0 175768 0
vsize: 703324
[startup+1175.17 s]
Raw data (loadavg): 0.99 0.97 0.92 1/53 27260
Raw data (stat): 27260 (bsolo_lpr_cuts) R 27259 20001 20000 0 -1 0 2746913 0 0 0 110299 6720 0 0 25 0 1 0 835584730 720203776 161694 4294967295 134512640 134714508 3221224576 3221220736 1075095166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 175831 161707 1111 63 0 175768 0
vsize: 0

Child status: 10
Real time (s): 1175.17
CPU time (s): 1175.32
CPU user time (s): 1107.42
CPU system time (s): 67.9087
CPU usage (%): 100.013
Max. virtual memory (Kb): 703324
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	-5312
#### END VERIFIER DATA ####