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-p0548.opb
MD5SUM	6f47095f2d417d23ced995954e641689
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	15249
Optimality of the best value was proved	NO
Number of terms in the objective function	416
Biggest coefficient in the objective function	11000
Number of bits for the biggest coefficient in the objective function	14
Sum of the numbers in the objective function	96797
Number of bits of the sum of numbers in the objective function	17
Biggest number in a constraint	11000
Number of bits of the biggest number in a constraint	14
Biggest sum of numbers in a constraint	96797
Number of bits of the biggest sum of numbers	17
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1236.38
Number of variables	548
Total number of constraints	724
Number of constraints which are clauses	40
Number of constraints which are cardinality constraints (but not clauses)	550
Number of constraints which are nor clauses,nor cardinality constraints	134
Minimum length of a constraint	1
Maximum length of a constraint	143
Trace number 25855

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-23 00:49:00 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=17149 boxname=wulflinc31 idbench=1320 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  6f47095f2d417d23ced995954e641689  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-p0548.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-p0548.opb
IDLAUNCH: 17149
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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.153
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        844296 kB
Buffers:         31716 kB
Cached:         138892 kB
SwapCached:       1024 kB
Active:         110940 kB
Inactive:        61880 kB
HighTotal:      131008 kB
HighFree:         2912 kB
LowTotal:       903652 kB
LowFree:        841384 kB
SwapTotal:     2097892 kB
SwapFree:      2095884 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5096 kB
Slab:            11988 kB
Committed_AS:    63856 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-23 01:08:35 (client local time) WITH STATUS 0 IN 1175.15 SECONDS
stats: 17149 7 1175.15 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 548 variables and 166 constraints.
c After prepocess the problem consists of 527 variables and 154 constraints.
c preprocess terminated 0.717 s
c Initial Lower Bound: 318
c Lower Bound Elapsed time: 0.02775
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
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.91 0.95 0.90 2/55 31759
Raw data (stat): 31759 (runsolver) R 31758 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 817381734 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10 s]
Raw data (loadavg): 0.93 0.95 0.90 2/55 31759
Raw data (stat): 31759 (bsolo_lpr_cuts) R 31758 7876 7672 0 -1 0 9152 0 0 0 966 29 0 0 25 0 1 0 817381734 20774912 4383 4294967295 134512640 134714508 3221221776 3221220192 1074116666 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5072 4383 1111 63 0 5009 0
vsize: 20288
[startup+20.0012 s]
Raw data (loadavg): 0.94 0.96 0.91 2/55 31759
Raw data (stat): 31759 (bsolo_lpr_cuts) R 31758 7876 7672 0 -1 0 15421 0 0 0 1944 51 0 0 25 0 1 0 817381734 25538560 5534 4294967295 134512640 134714508 3221221776 3221220188 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6235 5534 1111 63 0 6172 0
vsize: 24940
[startup+30.0018 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 31759
Raw data (stat): 31759 (bsolo_lpr_cuts) R 31758 7876 7672 0 -1 0 22473 0 0 0 2919 76 0 0 25 0 1 0 817381734 30990336 6868 4294967295 134512640 134714508 3221221776 3221219776 1074917207 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7566 6868 1111 63 0 7503 0
vsize: 30264
[startup+40.0017 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 31759
Raw data (stat): 31759 (bsolo_lpr_cuts) R 31758 7876 7672 0 -1 0 29270 0 0 0 3895 101 0 0 25 0 1 0 817381734 35729408 8023 4294967295 134512640 134714508 3221221776 3221219616 1075798469 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8723 8023 1111 63 0 8660 0
vsize: 34892
[startup+50.003 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 31759
Raw data (stat): 31759 (bsolo_lpr_cuts) R 31758 7876 7672 0 -1 0 35653 0 0 0 4873 122 0 0 25 0 1 0 817381734 41598976 9367 4294967295 134512640 134714508 3221221776 3221220488 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10156 9367 1111 63 0 10093 0
vsize: 40624
[startup+60.0026 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 31759
Raw data (stat): 31759 (bsolo_lpr_cuts) R 31758 7876 7672 0 -1 0 43493 0 0 0 5845 151 0 0 25 0 1 0 817381734 45735936 10408 4294967295 134512640 134714508 3221221776 3221220220 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11210 10409 1111 63 0 11147 0
vsize: 44664
[startup+70.0035 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 31759
Raw data (stat): 31759 (bsolo_lpr_cuts) R 31758 7876 7672 0 -1 0 51936 0 0 0 6817 179 0 0 25 0 1 0 817381734 50532352 11573 4294967295 134512640 134714508 3221221776 3221220176 1074153663 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12337 11573 1111 63 0 12274 0
vsize: 49348
[startup+80.0037 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 31759
Raw data (stat): 31759 (bsolo_lpr_cuts) R 31758 7876 7672 0 -1 0 60737 0 0 0 7790 206 0 0 25 0 1 0 817381734 57065472 12922 4294967295 134512640 134714508 3221221776 3221220512 134558529 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13932 12922 1111 63 0 13869 0
vsize: 55728
[startup+90.0034 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 31759
Raw data (stat): 31759 (bsolo_lpr_cuts) R 31758 7876 7672 0 -1 0 69480 0 0 0 8764 233 0 0 25 0 1 0 817381734 60493824 13780 4294967295 134512640 134714508 3221221776 3221220580 134622483 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14769 13780 1111 63 0 14706 0
vsize: 59076
[startup+100.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 31759
Raw data (stat): 31759 (bsolo_lpr_cuts) R 31758 7876 7672 0 -1 0 78681 0 0 0 9737 259 0 0 25 0 1 0 817381734 63348736 14504 4294967295 134512640 134714508 3221221776 3221220236 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15466 14504 1111 63 0 15403 0
vsize: 61864
[startup+110.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 31759
Raw data (stat): 31759 (bsolo_lpr_cuts) R 31758 7876 7672 0 -1 0 90401 0 0 0 10700 296 0 0 25 0 1 0 817381734 67076096 15410 4294967295 134512640 134714508 3221221776 3221220220 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16376 15410 1111 63 0 16313 0
vsize: 65504
[startup+120.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31759
Raw data (stat): 31759 (bsolo_lpr_cuts) R 31758 7876 7672 0 -1 0 101910 0 0 0 11666 331 0 0 25 0 1 0 817381734 70557696 16293 4294967295 134512640 134714508 3221221776 3221220220 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17226 16293 1111 63 0 17163 0
vsize: 68904
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31759
Raw data (stat): 31759 (bsolo_lpr_cuts) R 31758 7876 7672 0 -1 0 113364 0 0 0 12633 364 0 0 25 0 1 0 817381734 74280960 17238 4294967295 134512640 134714508 3221221776 3221219888 1074867311 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18135 17238 1111 63 0 18072 0
vsize: 72540
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31759
Raw data (stat): 31759 (bsolo_lpr_cuts) R 31758 7876 7672 0 -1 0 124574 0 0 0 13603 395 0 0 25 0 1 0 817381734 78032896 18117 4294967295 134512640 134714508 3221221776 3221218668 1077386340 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19108 18121 1111 63 0 19045 0
vsize: 76204
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31759
Raw data (stat): 31759 (bsolo_lpr_cuts) R 31758 7876 7672 0 -1 0 136243 0 0 0 14571 426 0 0 25 0 1 0 817381734 81547264 19051 4294967295 134512640 134714508 3221221776 3221220220 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19909 19052 1111 63 0 19846 0
vsize: 79636
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31759
Raw data (stat): 31759 (bsolo_lpr_cuts) R 31758 7876 7672 0 -1 0 147693 0 0 0 15536 462 0 0 25 0 1 0 817381734 84844544 19862 4294967295 134512640 134714508 3221221776 3221220024 1074138162 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20714 19862 1111 63 0 20651 0
vsize: 82856
[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31759
Raw data (stat): 31759 (bsolo_lpr_cuts) R 31758 7876 7672 0 -1 0 159687 0 0 0 16500 498 0 0 25 0 1 0 817381734 94076928 21498 4294967295 134512640 134714508 3221221776 3221220504 134622882 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22968 21498 1111 63 0 22905 0
vsize: 91872
[startup+180.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31759
Raw data (stat): 31759 (bsolo_lpr_cuts) R 31758 7876 7672 0 -1 0 170457 0 0 0 17470 529 0 0 25 0 1 0 817381734 96866304 22188 4294967295 134512640 134714508 3221221776 3221219888 1074867340 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23649 22188 1111 63 0 23586 0
vsize: 94596
[startup+190.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31759
Raw data (stat): 31759 (bsolo_lpr_cuts) R 31758 7876 7672 0 -1 0 178460 0 0 0 18443 556 0 0 25 0 1 0 817381734 99028992 22699 4294967295 134512640 134714508 3221221776 3221220220 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24177 22699 1111 63 0 24114 0
vsize: 96708
[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31759
Raw data (stat): 31759 (bsolo_lpr_cuts) R 31758 7876 7672 0 -1 0 188308 0 0 0 19415 584 0 0 25 0 1 0 817381734 101941248 23467 4294967295 134512640 134714508 3221221776 3221220488 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24888 23467 1111 63 0 24825 0
vsize: 99552
[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31759
Raw data (stat): 31759 (bsolo_lpr_cuts) R 31758 7876 7672 0 -1 0 198816 0 0 0 20383 615 0 0 25 0 1 0 817381734 104558592 24082 4294967295 134512640 134714508 3221221776 3221220172 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25527 24082 1111 63 0 25464 0
vsize: 102108
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31759
Raw data (stat): 31759 (bsolo_lpr_cuts) R 31758 7876 7672 0 -1 0 210333 0 0 0 21352 647 0 0 25 0 1 0 817381734 107606016 24863 4294967295 134512640 134714508 3221221776 3221220060 1077374432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26271 24863 1111 63 0 26208 0
vsize: 105084
[startup+230.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31759
Raw data (stat): 31759 (bsolo_lpr_cuts) R 31758 7876 7672 0 -1 0 221091 0 0 0 22321 678 0 0 25 0 1 0 817381734 110120960 25478 4294967295 134512640 134714508 3221221776 3221220172 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26885 25478 1111 63 0 26822 0
vsize: 107540
[startup+240.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31759
Raw data (stat): 31759 (bsolo_lpr_cuts) R 31758 7876 7672 0 -1 0 227380 0 0 0 23305 694 0 0 25 0 1 0 817381734 111722496 25880 4294967295 134512640 134714508 3221221776 3221219352 1077782939 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27276 25880 1111 63 0 27213 0
vsize: 109104
[startup+250.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31759
Raw data (stat): 31759 (bsolo_lpr_cuts) R 31758 7876 7672 0 -1 0 238833 0 0 0 24275 725 0 0 25 0 1 0 817381734 114360320 26560 4294967295 134512640 134714508 3221221776 3221219992 1074138162 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27920 26560 1111 63 0 27857 0
vsize: 111680
[startup+260.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31759
Raw data (stat): 31759 (bsolo_lpr_cuts) R 31758 7876 7672 0 -1 0 249763 0 0 0 25245 754 0 0 25 0 1 0 817381734 117440512 27315 4294967295 134512640 134714508 3221221776 3221220568 134543552 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28672 27315 1111 63 0 28609 0
vsize: 114688
[startup+270.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31759
Raw data (stat): 31759 (bsolo_lpr_cuts) R 31758 7876 7672 0 -1 0 261745 0 0 0 26215 785 0 0 25 0 1 0 817381734 120721408 28136 4294967295 134512640 134714508 3221221776 3221220492 134558476 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29473 28136 1111 63 0 29410 0
vsize: 117892
[startup+280.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31759
Raw data (stat): 31759 (bsolo_lpr_cuts) R 31758 7876 7672 0 -1 0 273358 0 0 0 27183 817 0 0 25 0 1 0 817381734 123097088 28698 4294967295 134512640 134714508 3221221776 3221220080 1074153815 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30053 28698 1111 63 0 29990 0
vsize: 120212
[startup+290.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31759
Raw data (stat): 31759 (bsolo_lpr_cuts) R 31758 7876 7672 0 -1 0 284290 0 0 0 28151 849 0 0 25 0 1 0 817381734 126291968 29498 4294967295 134512640 134714508 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30833 29498 1111 63 0 30770 0
vsize: 123332
[startup+300.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31759
Raw data (stat): 31759 (bsolo_lpr_cuts) R 31758 7876 7672 0 -1 0 295538 0 0 0 29120 881 0 0 25 0 1 0 817381734 129642496 30321 4294967295 134512640 134714508 3221221776 3221220624 134623464 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31651 30321 1111 63 0 31588 0
vsize: 126604
[startup+310.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31759
Raw data (stat): 31759 (bsolo_lpr_cuts) R 31758 7876 7672 0 -1 0 305875 0 0 0 30091 909 0 0 25 0 1 0 817381734 132902912 31118 4294967295 134512640 134714508 3221221776 3221218696 1077378037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32504 31120 1111 63 0 32441 0
vsize: 129788
[startup+320.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31759
Raw data (stat): 31759 (bsolo_lpr_cuts) R 31758 7876 7672 0 -1 0 311974 0 0 0 31076 925 0 0 25 0 1 0 817381734 134496256 31540 4294967295 134512640 134714508 3221221776 3221219504 1075828481 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32836 31540 1111 63 0 32773 0
vsize: 131344
[startup+330.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31759
Raw data (stat): 31759 (bsolo_lpr_cuts) R 31758 7876 7672 0 -1 0 322972 0 0 0 32046 955 0 0 25 0 1 0 817381734 138080256 32454 4294967295 134512640 134714508 3221221776 3221220188 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33711 32454 1111 63 0 33648 0
vsize: 134844
[startup+340.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31759
Raw data (stat): 31759 (bsolo_lpr_cuts) R 31758 7876 7672 0 -1 0 333072 0 0 0 33013 988 0 0 25 0 1 0 817381734 141398016 33238 4294967295 134512640 134714508 3221221776 3221219416 1077410205 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34520 33238 1111 63 0 34457 0
vsize: 138084
[startup+350.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31759
Raw data (stat): 31759 (bsolo_lpr_cuts) R 31758 7876 7672 0 -1 0 344662 0 0 0 33979 1022 0 0 25 0 1 0 817381734 144703488 34040 4294967295 134512640 134714508 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35328 34040 1111 63 0 35265 0
vsize: 141312
[startup+360.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31759
Raw data (stat): 31759 (bsolo_lpr_cuts) R 31758 7876 7672 0 -1 0 355815 0 0 0 34949 1052 0 0 25 0 1 0 817381734 147513344 34729 4294967295 134512640 134714508 3221221776 3221219928 1075650547 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36014 34729 1111 63 0 35951 0
vsize: 144056
[startup+370.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31759
Raw data (stat): 31759 (bsolo_lpr_cuts) R 31758 7876 7672 0 -1 0 360035 0 0 0 35936 1066 0 0 25 0 1 0 817381734 149721088 35265 4294967295 134512640 134714508 3221221776 3221220016 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36553 35265 1111 63 0 36490 0
vsize: 146212
[startup+380.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31759
Raw data (stat): 31759 (bsolo_lpr_cuts) R 31758 7876 7672 0 -1 0 362468 0 0 0 36930 1072 0 0 25 0 1 0 817381734 149729280 35300 4294967295 134512640 134714508 3221221776 3221220592 134622252 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36555 35300 1111 63 0 36492 0
vsize: 146220
[startup+390.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31759
Raw data (stat): 31759 (bsolo_lpr_cuts) R 31758 7876 7672 0 -1 0 362468 0 0 0 37930 1072 0 0 25 0 1 0 817381734 149729280 35300 4294967295 134512640 134714508 3221221776 3221220488 134543187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36555 35300 1111 63 0 36492 0
vsize: 146220
[startup+400.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31759
Raw data (stat): 31759 (bsolo_lpr_cuts) R 31758 7876 7672 0 -1 0 362468 0 0 0 38931 1072 0 0 25 0 1 0 817381734 149729280 35300 4294967295 134512640 134714508 3221221776 3221220592 134622252 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36555 35300 1111 63 0 36492 0
vsize: 146220
[startup+410.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31759
Raw data (stat): 31759 (bsolo_lpr_cuts) R 31758 7876 7672 0 -1 0 362468 0 0 0 39931 1072 0 0 25 0 1 0 817381734 149729280 35300 4294967295 134512640 134714508 3221221776 3221220512 134622747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36555 35300 1111 63 0 36492 0
vsize: 146220
[startup+420.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31759
Raw data (stat): 31759 (bsolo_lpr_cuts) R 31758 7876 7672 0 -1 0 362468 0 0 0 40931 1072 0 0 25 0 1 0 817381734 149729280 35300 4294967295 134512640 134714508 3221221776 3221220496 134622761 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36555 35300 1111 63 0 36492 0
vsize: 146220
[startup+430.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31759
Raw data (stat): 31759 (bsolo_lpr_cuts) R 31758 7876 7672 0 -1 0 362617 0 0 0 41930 1073 0 0 25 0 1 0 817381734 149602304 35269 4294967295 134512640 134714508 3221221776 3221220016 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36524 35269 1111 63 0 36461 0
vsize: 146096
[startup+440.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31759
Raw data (stat): 31759 (bsolo_lpr_cuts) R 31758 7876 7672 0 -1 0 367757 0 0 0 42917 1086 0 0 25 0 1 0 817381734 150753280 35166 4294967295 134512640 134714508 3221221776 3221218668 1077387418 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36805 35167 1111 63 0 36742 0
vsize: 147220
[startup+450.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31759
Raw data (stat): 31759 (bsolo_lpr_cuts) R 31758 7876 7672 0 -1 0 382863 0 0 0 43882 1121 0 0 25 0 1 0 817381734 152948736 36060 4294967295 134512640 134714508 3221221776 3221220176 1074118797 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37341 36060 1111 63 0 37278 0
vsize: 149364
[startup+460.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31759
Raw data (stat): 31759 (bsolo_lpr_cuts) R 31758 7876 7672 0 -1 0 397663 0 0 0 44848 1155 0 0 25 0 1 0 817381734 168202240 38471 4294967295 134512640 134714508 3221221776 3221220032 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41065 38471 1111 63 0 41002 0
vsize: 164260
[startup+470.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31759
Raw data (stat): 31759 (bsolo_lpr_cuts) R 31758 7876 7672 0 -1 0 405689 0 0 0 45829 1175 0 0 25 0 1 0 817381734 168955904 38672 4294967295 134512640 134714508 3221221776 3221220172 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41249 38672 1111 63 0 41186 0
vsize: 164996
[startup+480.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31759
Raw data (stat): 31759 (bsolo_lpr_cuts) R 31758 7876 7672 0 -1 0 421707 0 0 0 46789 1215 0 0 25 0 1 0 817381734 172093440 39439 4294967295 134512640 134714508 3221221776 3221219600 1075824329 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42015 39439 1111 63 0 41952 0
vsize: 168060
[startup+490.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31759
Raw data (stat): 31759 (bsolo_lpr_cuts) R 31758 7876 7672 0 -1 0 435959 0 0 0 47753 1251 0 0 25 0 1 0 817381734 176103424 40440 4294967295 134512640 134714508 3221221776 3221219776 1074918597 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42994 40440 1111 63 0 42931 0
vsize: 171976
[startup+500.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31759
Raw data (stat): 31759 (bsolo_lpr_cuts) R 31758 7876 7672 0 -1 0 437913 0 0 0 48748 1256 0 0 25 0 1 0 817381734 175042560 40187 4294967295 134512640 134714508 3221221776 3221219864 1077377725 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42735 40187 1111 63 0 42672 0
vsize: 170940
[startup+510.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31759
Raw data (stat): 31759 (bsolo_lpr_cuts) R 31758 7876 7672 0 -1 0 451379 0 0 0 49713 1291 0 0 25 0 1 0 817381734 178073600 40919 4294967295 134512640 134714508 3221221776 3221220496 134622815 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43475 40919 1111 63 0 43412 0
vsize: 173900
[startup+520.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31759
Raw data (stat): 31759 (bsolo_lpr_cuts) R 31758 7876 7672 0 -1 0 460413 0 0 0 50692 1313 0 0 25 0 1 0 817381734 179691520 41286 4294967295 134512640 134714508 3221221776 3221220064 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43870 41286 1111 63 0 43807 0
vsize: 175480
[startup+530.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31759
Raw data (stat): 31759 (bsolo_lpr_cuts) R 31758 7876 7672 0 -1 0 467041 0 0 0 51675 1330 0 0 25 0 1 0 817381734 181207040 41714 4294967295 134512640 134714508 3221221776 3221219776 1074918594 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44240 41714 1111 63 0 44177 0
vsize: 176960
[startup+540.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31759
Raw data (stat): 31759 (bsolo_lpr_cuts) R 31758 7876 7672 0 -1 0 474280 0 0 0 52657 1348 0 0 25 0 1 0 817381734 181792768 41862 4294967295 134512640 134714508 3221221776 3221220592 134622252 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44383 41862 1111 63 0 44320 0
vsize: 177532
[startup+550.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31759
Raw data (stat): 31759 (bsolo_lpr_cuts) R 31758 7876 7672 0 -1 0 486604 0 0 0 53628 1377 0 0 25 0 1 0 817381734 183406592 42250 4294967295 134512640 134714508 3221221776 3221220236 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44777 42250 1111 63 0 44714 0
vsize: 179108
[startup+560.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31759
Raw data (stat): 31759 (bsolo_lpr_cuts) R 31758 7876 7672 0 -1 0 502483 0 0 0 54590 1416 0 0 25 0 1 0 817381734 186130432 42904 4294967295 134512640 134714508 3221221776 3221220240 1074121015 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45442 42904 1111 63 0 45379 0
vsize: 181768
[startup+570.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31759
Raw data (stat): 31759 (bsolo_lpr_cuts) R 31758 7876 7672 0 -1 0 518739 0 0 0 55549 1457 0 0 25 0 1 0 817381734 188907520 43580 4294967295 134512640 134714508 3221221776 3221219864 1077374740 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46120 43580 1111 63 0 46057 0
vsize: 184480
[startup+580.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31759
Raw data (stat): 31759 (bsolo_lpr_cuts) R 31758 7876 7672 0 -1 0 527772 0 0 0 56525 1481 0 0 25 0 1 0 817381734 190177280 43884 4294967295 134512640 134714508 3221221776 3221219560 1077410205 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46430 43884 1111 63 0 46367 0
vsize: 185720
[startup+590.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31759
Raw data (stat): 31759 (bsolo_lpr_cuts) R 31758 7876 7672 0 -1 0 544180 0 0 0 57485 1521 0 0 25 0 1 0 817381734 192487424 44490 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46994 44490 1111 63 0 46931 0
vsize: 187976
[startup+600.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31759
Raw data (stat): 31759 (bsolo_lpr_cuts) R 31758 7876 7672 0 -1 0 560499 0 0 0 58442 1564 0 0 25 0 1 0 817381734 195137536 45122 4294967295 134512640 134714508 3221221776 3221220056 1077410279 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47641 45122 1111 63 0 47578 0
vsize: 190564
[startup+610.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31759
Raw data (stat): 31759 (bsolo_lpr_cuts) R 31758 7876 7672 0 -1 0 568442 0 0 0 59423 1583 0 0 25 0 1 0 817381734 196825088 45553 4294967295 134512640 134714508 3221221776 3221220512 134622796 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 48053 45553 1111 63 0 47990 0
vsize: 192212
[startup+620.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31759
Raw data (stat): 31759 (bsolo_lpr_cuts) R 31758 7876 7672 0 -1 0 580550 0 0 0 60394 1613 0 0 25 0 1 0 817381734 198500352 45946 4294967295 134512640 134714508 3221221776 3221220512 134558542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 48462 45946 1111 63 0 48399 0
vsize: 193848
[startup+630.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31759
Raw data (stat): 31759 (bsolo_lpr_cuts) R 31758 7876 7672 0 -1 0 590628 0 0 0 61368 1639 0 0 25 0 1 0 817381734 200343552 46365 4294967295 134512640 134714508 3221221776 3221220080 1074153792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 48912 46365 1111 63 0 48849 0
vsize: 195648
[startup+640.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31759
Raw data (stat): 31759 (bsolo_lpr_cuts) R 31758 7876 7672 0 -1 0 605765 0 0 0 62328 1679 0 0 25 0 1 0 817381734 204189696 46941 4294967295 134512640 134714508 3221221776 3221218764 1077404742 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49851 46941 1111 63 0 49788 0
vsize: 199404
[startup+650.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31759
Raw data (stat): 31759 (bsolo_lpr_cuts) R 31758 7876 7672 0 -1 0 619951 0 0 0 63293 1715 0 0 25 0 1 0 817381734 204992512 47553 4294967295 134512640 134714508 3221221776 3221220236 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50047 47553 1111 63 0 49984 0
vsize: 200188
[startup+660.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31759
Raw data (stat): 31759 (bsolo_lpr_cuts) R 31758 7876 7672 0 -1 0 635296 0 0 0 64252 1755 0 0 25 0 1 0 817381734 208089088 48316 4294967295 134512640 134714508 3221221776 3221220128 1074153815 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50803 48316 1111 63 0 50740 0
vsize: 203212
[startup+670.027 s]
Raw data (loadavg): 1.07 0.99 0.91 2/55 31812
Raw data (stat): 31759 (bsolo_lpr_cuts) R 31758 7876 7672 0 -1 0 650050 0 0 0 65213 1794 0 0 25 0 1 0 817381734 212099072 49327 4294967295 134512640 134714508 3221221776 3221219776 1074916322 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 51782 49327 1111 63 0 51719 0
vsize: 207128
[startup+680.027 s]
Raw data (loadavg): 1.06 0.99 0.91 2/55 31812
Raw data (stat): 31759 (bsolo_lpr_cuts) R 31758 7876 7672 0 -1 0 657475 0 0 0 66194 1814 0 0 25 0 1 0 817381734 212529152 49427 4294967295 134512640 134714508 3221221776 3221220176 1074153672 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 51887 49427 1111 63 0 51824 0
vsize: 207548
[startup+690.026 s]
Raw data (loadavg): 1.05 0.99 0.91 2/55 31812
Raw data (stat): 31759 (bsolo_lpr_cuts) R 31758 7876 7672 0 -1 0 673696 0 0 0 67148 1860 0 0 25 0 1 0 817381734 217960448 50319 4294967295 134512640 134714508 3221221776 3221218376 1075850825 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 53213 50323 1111 63 0 53150 0
vsize: 212852
[startup+700.026 s]
Raw data (loadavg): 1.04 0.99 0.91 2/55 31812
Raw data (stat): 31759 (bsolo_lpr_cuts) R 31758 7876 7672 0 -1 0 686033 0 0 0 68115 1893 0 0 25 0 1 0 817381734 219623424 51142 4294967295 134512640 134714508 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 53619 51142 1111 63 0 53556 0
vsize: 214476
[startup+710.027 s]
Raw data (loadavg): 1.03 0.99 0.91 2/55 31812
Raw data (stat): 31759 (bsolo_lpr_cuts) R 31758 7876 7672 0 -1 0 689838 0 0 0 69104 1904 0 0 25 0 1 0 817381734 219566080 51121 4294967295 134512640 134714508 3221221776 3221220220 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 53605 51121 1111 63 0 53542 0
vsize: 214420
[startup+720.027 s]
Raw data (loadavg): 1.03 0.99 0.91 2/55 31812
Raw data (stat): 31759 (bsolo_lpr_cuts) R 31758 7876 7672 0 -1 0 699778 0 0 0 70078 1930 0 0 25 0 1 0 817381734 221921280 51674 4294967295 134512640 134714508 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 54180 51674 1111 63 0 54117 0
vsize: 216720
[startup+730.027 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 31814
Raw data (stat): 31759 (bsolo_lpr_cuts) R 31758 7876 7672 0 -1 0 713665 0 0 0 71043 1965 0 0 25 0 1 0 817381734 224280576 52287 4294967295 134512640 134714508 3221221776 3221220364 1074152784 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 54756 52287 1111 63 0 54693 0
vsize: 219024
[startup+740.027 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 31814
Raw data (stat): 31759 (bsolo_lpr_cuts) R 31758 7876 7672 0 -1 0 724918 0 0 0 72013 1995 0 0 25 0 1 0 817381734 227381248 53026 4294967295 134512640 134714508 3221221776 3221220016 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 55513 53026 1111 63 0 55450 0
vsize: 222052
[startup+750.028 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 31814
Raw data (stat): 31759 (bsolo_lpr_cuts) R 31758 7876 7672 0 -1 0 727300 0 0 0 73008 2000 0 0 25 0 1 0 817381734 227577856 53095 4294967295 134512640 134714508 3221221776 3221220568 134543552 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 55561 53095 1111 63 0 55498 0
vsize: 222244
[startup+760.028 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 31814
Raw data (stat): 31759 (bsolo_lpr_cuts) R 31758 7876 7672 0 -1 0 727300 0 0 0 74008 2000 0 0 25 0 1 0 817381734 227577856 53095 4294967295 134512640 134714508 3221221776 3221220488 134543179 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 55561 53095 1111 63 0 55498 0
vsize: 222244
[startup+770.029 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 31814
Raw data (stat): 31759 (bsolo_lpr_cuts) R 31758 7876 7672 0 -1 0 727300 0 0 0 75009 2000 0 0 25 0 1 0 817381734 227577856 53095 4294967295 134512640 134714508 3221221776 3221220488 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 55561 53095 1111 63 0 55498 0
vsize: 222244
[startup+780.03 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 31814
Raw data (stat): 31759 (bsolo_lpr_cuts) R 31758 7876 7672 0 -1 0 727300 0 0 0 76009 2001 0 0 25 0 1 0 817381734 227577856 53095 4294967295 134512640 134714508 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 55561 53095 1111 63 0 55498 0
vsize: 222244
[startup+790.03 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 31814
Raw data (stat): 31759 (bsolo_lpr_cuts) R 31758 7876 7672 0 -1 0 727300 0 0 0 77009 2001 0 0 25 0 1 0 817381734 227577856 53095 4294967295 134512640 134714508 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 55561 53095 1111 63 0 55498 0
vsize: 222244
[startup+800.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 31814
Raw data (stat): 31759 (bsolo_lpr_cuts) R 31758 7876 7672 0 -1 0 728070 0 0 0 78006 2003 0 0 25 0 1 0 817381734 229236736 53469 4294967295 134512640 134714508 3221221776 3221219776 1074918597 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 55966 53469 1111 63 0 55903 0
vsize: 223864
[startup+810.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 31814
Raw data (stat): 31759 (bsolo_lpr_cuts) R 31758 7876 7672 0 -1 0 737445 0 0 0 78983 2027 0 0 25 0 1 0 817381734 228225024 53213 4294967295 134512640 134714508 3221221776 3221220080 1074153812 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 55719 53213 1111 63 0 55656 0
vsize: 222876
[startup+820.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 31814
Raw data (stat): 31759 (bsolo_lpr_cuts) R 31758 7876 7672 0 -1 0 753048 0 0 0 79944 2066 0 0 25 0 1 0 817381734 233291776 54024 4294967295 134512640 134714508 3221221776 3221217936 1075091317 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 56956 54024 1111 63 0 56893 0
vsize: 227824
[startup+830.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 31814
Raw data (stat): 31759 (bsolo_lpr_cuts) R 31758 7876 7672 0 -1 0 767643 0 0 0 80907 2103 0 0 25 0 1 0 817381734 235175936 54846 4294967295 134512640 134714508 3221221776 3221219776 1074918594 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 57416 54846 1111 63 0 57353 0
vsize: 229664
[startup+840.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 31814
Raw data (stat): 31759 (bsolo_lpr_cuts) R 31758 7876 7672 0 -1 0 781841 0 0 0 81872 2138 0 0 25 0 1 0 817381734 236601344 55237 4294967295 134512640 134714508 3221221776 3221220088 1077410279 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 57764 55237 1111 63 0 57701 0
vsize: 231056
[startup+850.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 31814
Raw data (stat): 31759 (bsolo_lpr_cuts) R 31758 7876 7672 0 -1 0 797911 0 0 0 82834 2177 0 0 25 0 1 0 817381734 241094656 55910 4294967295 134512640 134714508 3221221776 3221218764 1077404742 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 58861 55910 1111 63 0 58798 0
vsize: 235444
[startup+860.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 31814
Raw data (stat): 31759 (bsolo_lpr_cuts) R 31758 7876 7672 0 -1 0 809789 0 0 0 83803 2207 0 0 25 0 1 0 817381734 241483776 56406 4294967295 134512640 134714508 3221221776 3221219720 1077410279 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 58956 56406 1111 63 0 58893 0
vsize: 235824
[startup+870.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 31814
Raw data (stat): 31759 (bsolo_lpr_cuts) R 31758 7876 7672 0 -1 0 824163 0 0 0 84766 2245 0 0 25 0 1 0 817381734 244019200 57072 4294967295 134512640 134714508 3221221776 3221219956 1077374125 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 59575 57072 1111 63 0 59512 0
vsize: 238300
[startup+880.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 31814
Raw data (stat): 31759 (bsolo_lpr_cuts) R 31758 7876 7672 0 -1 0 839427 0 0 0 85729 2282 0 0 25 0 1 0 817381734 247037952 57751 4294967295 134512640 134714508 3221221776 3221219776 1074056578 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 60312 57751 1111 63 0 60249 0
vsize: 241248
[startup+890.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 31814
Raw data (stat): 31759 (bsolo_lpr_cuts) R 31758 7876 7672 0 -1 0 846136 0 0 0 86711 2300 0 0 25 0 1 0 817381734 249548800 58364 4294967295 134512640 134714508 3221221776 3221220016 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 60925 58364 1111 63 0 60862 0
vsize: 243700
[startup+900.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 31814
Raw data (stat): 31759 (bsolo_lpr_cuts) R 31758 7876 7672 0 -1 0 846215 0 0 0 87709 2302 0 0 25 0 1 0 817381734 249856000 58443 4294967295 134512640 134714508 3221221776 3221220016 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 61000 58443 1111 63 0 60937 0
vsize: 244000
[startup+910.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 31814
Raw data (stat): 31759 (bsolo_lpr_cuts) R 31758 7876 7672 0 -1 0 847115 0 0 0 88707 2305 0 0 25 0 1 0 817381734 252395520 59066 4294967295 134512640 134714508 3221221776 3221219776 1074918597 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 61620 59066 1111 63 0 61557 0
vsize: 246480
[startup+920.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 31814
Raw data (stat): 31759 (bsolo_lpr_cuts) R 31758 7876 7672 0 -1 0 850231 0 0 0 89700 2311 0 0 25 0 1 0 817381734 250052608 58496 4294967295 134512640 134714508 3221221776 3221220488 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 61048 58496 1111 63 0 60985 0
vsize: 244192
[startup+930.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 31814
Raw data (stat): 31759 (bsolo_lpr_cuts) R 31758 7876 7672 0 -1 0 850231 0 0 0 90701 2311 0 0 25 0 1 0 817381734 250052608 58496 4294967295 134512640 134714508 3221221776 3221220500 134622811 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 61048 58496 1111 63 0 60985 0
vsize: 244192
[startup+940.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 31814
Raw data (stat): 31759 (bsolo_lpr_cuts) R 31758 7876 7672 0 -1 0 850231 0 0 0 91701 2311 0 0 25 0 1 0 817381734 250052608 58496 4294967295 134512640 134714508 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 61048 58496 1111 63 0 60985 0
vsize: 244192
[startup+950.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 31814
Raw data (stat): 31759 (bsolo_lpr_cuts) R 31758 7876 7672 0 -1 0 850231 0 0 0 92701 2311 0 0 25 0 1 0 817381734 250052608 58496 4294967295 134512640 134714508 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 61048 58496 1111 63 0 60985 0
vsize: 244192
[startup+960.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 31814
Raw data (stat): 31759 (bsolo_lpr_cuts) R 31758 7876 7672 0 -1 0 850231 0 0 0 93701 2311 0 0 25 0 1 0 817381734 250052608 58496 4294967295 134512640 134714508 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 61048 58496 1111 63 0 60985 0
vsize: 244192
[startup+970.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 31814
Raw data (stat): 31759 (bsolo_lpr_cuts) R 31758 7876 7672 0 -1 0 850231 0 0 0 94701 2312 0 0 25 0 1 0 817381734 250052608 58496 4294967295 134512640 134714508 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 61048 58496 1111 63 0 60985 0
vsize: 244192
[startup+980.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 31814
Raw data (stat): 31759 (bsolo_lpr_cuts) R 31758 7876 7672 0 -1 0 850231 0 0 0 95701 2312 0 0 25 0 1 0 817381734 250052608 58496 4294967295 134512640 134714508 3221221776 3221220488 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 61048 58496 1111 63 0 60985 0
vsize: 244192
[startup+990.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 31814
Raw data (stat): 31759 (bsolo_lpr_cuts) R 31758 7876 7672 0 -1 0 850231 0 0 0 96701 2312 0 0 25 0 1 0 817381734 250052608 58496 4294967295 134512640 134714508 3221221776 3221220504 134622777 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 61048 58496 1111 63 0 60985 0
vsize: 244192
[startup+1000.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 31814
Raw data (stat): 31759 (bsolo_lpr_cuts) R 31758 7876 7672 0 -1 0 858330 0 0 0 97676 2337 0 0 25 0 1 0 817381734 252370944 58442 4294967295 134512640 134714508 3221221776 3221217936 1075091317 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 61298 58440 1111 63 0 61235 0
vsize: 246456
[startup+1010.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 31816
Raw data (stat): 31759 (bsolo_lpr_cuts) R 31758 7876 7672 0 -1 0 873337 0 0 0 98636 2377 0 0 25 0 1 0 817381734 252968960 59152 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 61760 59152 1111 63 0 61697 0
vsize: 247040
[startup+1020.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 31816
Raw data (stat): 31759 (bsolo_lpr_cuts) R 31758 7876 7672 0 -1 0 888694 0 0 0 99592 2421 0 0 25 0 1 0 817381734 258936832 60037 4294967295 134512640 134714508 3221221776 3221218764 1077404742 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 63217 60037 1111 63 0 63154 0
vsize: 252868
[startup+1030.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 31816
Raw data (stat): 31759 (bsolo_lpr_cuts) R 31758 7876 7672 0 -1 0 891710 0 0 0 100584 2430 0 0 25 0 1 0 817381734 258048000 60448 4294967295 134512640 134714508 3221221776 3221220080 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 63000 60448 1111 63 0 62937 0
vsize: 252000
[startup+1040.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 31816
Raw data (stat): 31759 (bsolo_lpr_cuts) R 31758 7876 7672 0 -1 0 894416 0 0 0 101577 2437 0 0 25 0 1 0 817381734 258048000 60448 4294967295 134512640 134714508 3221221776 3221220488 134543187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 63000 60448 1111 63 0 62937 0
vsize: 252000
[startup+1050.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 31816
Raw data (stat): 31759 (bsolo_lpr_cuts) R 31758 7876 7672 0 -1 0 894416 0 0 0 102578 2437 0 0 25 0 1 0 817381734 258048000 60448 4294967295 134512640 134714508 3221221776 3221220488 134543181 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 63000 60448 1111 63 0 62937 0
vsize: 252000
[startup+1060.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 31816
Raw data (stat): 31759 (bsolo_lpr_cuts) R 31758 7876 7672 0 -1 0 894416 0 0 0 103578 2437 0 0 25 0 1 0 817381734 258048000 60448 4294967295 134512640 134714508 3221221776 3221220488 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 63000 60448 1111 63 0 62937 0
vsize: 252000
[startup+1070.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 31816
Raw data (stat): 31759 (bsolo_lpr_cuts) R 31758 7876 7672 0 -1 0 894416 0 0 0 104578 2437 0 0 25 0 1 0 817381734 258048000 60448 4294967295 134512640 134714508 3221221776 3221220580 134622267 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 63000 60448 1111 63 0 62937 0
vsize: 252000
[startup+1080.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 31816
Raw data (stat): 31759 (bsolo_lpr_cuts) R 31758 7876 7672 0 -1 0 894416 0 0 0 105578 2437 0 0 25 0 1 0 817381734 258048000 60448 4294967295 134512640 134714508 3221221776 3221220592 134622468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 63000 60448 1111 63 0 62937 0
vsize: 252000
[startup+1090.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 31816
Raw data (stat): 31759 (bsolo_lpr_cuts) R 31758 7876 7672 0 -1 0 906838 0 0 0 106547 2468 0 0 25 0 1 0 817381734 259682304 60839 4294967295 134512640 134714508 3221221776 3221220236 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 63399 60839 1111 63 0 63336 0
vsize: 253596
[startup+1100.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 31816
Raw data (stat): 31759 (bsolo_lpr_cuts) R 31758 7876 7672 0 -1 0 917689 0 0 0 107520 2495 0 0 25 0 1 0 817381734 263282688 61755 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 64278 61755 1111 63 0 64215 0
vsize: 257112
[startup+1110.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 31816
Raw data (stat): 31759 (bsolo_lpr_cuts) R 31758 7876 7672 0 -1 0 918474 0 0 0 108518 2497 0 0 25 0 1 0 817381734 265170944 62229 4294967295 134512640 134714508 3221221776 3221219776 1074918597 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 64739 62229 1111 63 0 64676 0
vsize: 258956
[startup+1120.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 31816
Raw data (stat): 31759 (bsolo_lpr_cuts) R 31758 7876 7672 0 -1 0 920976 0 0 0 109513 2502 0 0 25 0 1 0 817381734 263376896 61797 4294967295 134512640 134714508 3221221776 3221220488 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 64301 61797 1111 63 0 64238 0
vsize: 257204
[startup+1130.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 31816
Raw data (stat): 31759 (bsolo_lpr_cuts) R 31758 7876 7672 0 -1 0 920976 0 0 0 110513 2502 0 0 25 0 1 0 817381734 263376896 61797 4294967295 134512640 134714508 3221221776 3221220504 134622882 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 64301 61797 1111 63 0 64238 0
vsize: 257204
[startup+1140.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 31816
Raw data (stat): 31759 (bsolo_lpr_cuts) R 31758 7876 7672 0 -1 0 920976 0 0 0 111513 2502 0 0 25 0 1 0 817381734 263376896 61797 4294967295 134512640 134714508 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 64301 61797 1111 63 0 64238 0
vsize: 257204
[startup+1150.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 31816
Raw data (stat): 31759 (bsolo_lpr_cuts) R 31758 7876 7672 0 -1 0 920976 0 0 0 112514 2502 0 0 25 0 1 0 817381734 263376896 61797 4294967295 134512640 134714508 3221221776 3221220576 134622304 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 64301 61797 1111 63 0 64238 0
vsize: 257204
[startup+1160.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 31816
Raw data (stat): 31759 (bsolo_lpr_cuts) R 31758 7876 7672 0 -1 0 920976 0 0 0 113514 2502 0 0 25 0 1 0 817381734 263376896 61797 4294967295 134512640 134714508 3221221776 3221220580 134622267 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 64301 61797 1111 63 0 64238 0
vsize: 257204
[startup+1170.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 31816
Raw data (stat): 31759 (bsolo_lpr_cuts) R 31758 7876 7672 0 -1 0 928438 0 0 0 114495 2521 0 0 25 0 1 0 817381734 263282688 61776 4294967295 134512640 134714508 3221221776 3221220172 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 64278 61776 1111 63 0 64215 0
vsize: 257112
[startup+1175.02 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 31816
Raw data (stat): 31759 (bsolo_lpr_cuts) R 31758 7876 7672 0 -1 0 928438 0 0 0 114495 2521 0 0 25 0 1 0 817381734 263282688 61776 4294967295 134512640 134714508 3221221776 3221220172 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 64278 61776 1111 63 0 64215 0
vsize: 0

Child status: 0
Real time (s): 1175.02
CPU time (s): 1175.15
CPU user time (s): 1149.61
CPU system time (s): 25.5401
CPU usage (%): 100.011
Max. virtual memory (Kb): 258956
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####