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/miplib3/normalized-mps-v2-13-7-p0548.opb
MD5SUM	10547c6c0f11ab5df74fcaff6ba6d160
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	14938
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	1244.18
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 25626

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-21 07:44:03 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=18722 boxname=wulflinc31 idbench=1441 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  10547c6c0f11ab5df74fcaff6ba6d160  /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: 18722
/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:        561288 kB
Buffers:         35356 kB
Cached:         417236 kB
SwapCached:       1172 kB
Active:         304180 kB
Inactive:       150852 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        561036 kB
SwapTotal:     2097892 kB
SwapFree:      2095980 kB
Dirty:              68 kB
Writeback:           0 kB
Mapped:           5356 kB
Slab:            12688 kB
Committed_AS:    63844 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-21 08:03:42 (client local time) WITH STATUS 0 IN 1178.49 SECONDS
stats: 18722 7 1178.49 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.713 s
c Initial Lower Bound: 318
c Lower Bound Elapsed time: 0.02725
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1178.35 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.98 0.92 2/55 7685
Raw data (stat): 7685 (runsolver) R 7684 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 802590386 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.0013 s]
Raw data (loadavg): 0.93 0.98 0.92 2/55 7685
Raw data (stat): 7685 (bsolo_lpr_cuts) R 7684 7876 7672 0 -1 0 9202 0 0 0 968 27 0 0 25 0 1 0 802590386 20819968 4389 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5083 4389 1111 63 0 5020 0
vsize: 20332
[startup+20.0018 s]
Raw data (loadavg): 0.94 0.98 0.92 2/55 7685
Raw data (stat): 7685 (bsolo_lpr_cuts) R 7684 7876 7672 0 -1 0 15517 0 0 0 1946 49 0 0 25 0 1 0 802590386 25583616 5551 4294967295 134512640 134714508 3221221776 3221219520 1075646924 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6246 5551 1111 63 0 6183 0
vsize: 24984
[startup+30.0027 s]
Raw data (loadavg): 0.95 0.98 0.92 2/55 7685
Raw data (stat): 7685 (bsolo_lpr_cuts) R 7684 7876 7672 0 -1 0 22622 0 0 0 2921 74 0 0 25 0 1 0 802590386 31109120 6892 4294967295 134512640 134714508 3221221776 3221220500 134556744 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7595 6892 1111 63 0 7532 0
vsize: 30380
[startup+40.0031 s]
Raw data (loadavg): 0.96 0.98 0.92 2/55 7685
Raw data (stat): 7685 (bsolo_lpr_cuts) R 7684 7876 7672 0 -1 0 29414 0 0 0 3896 100 0 0 25 0 1 0 802590386 35844096 8053 4294967295 134512640 134714508 3221221776 3221220128 1073987029 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8751 8053 1111 63 0 8688 0
vsize: 35004
[startup+50.0039 s]
Raw data (loadavg): 0.96 0.98 0.92 2/55 7685
Raw data (stat): 7685 (bsolo_lpr_cuts) R 7684 7876 7672 0 -1 0 35653 0 0 0 4875 120 0 0 25 0 1 0 802590386 41598976 9367 4294967295 134512640 134714508 3221221776 3221220580 134622483 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.0045 s]
Raw data (loadavg): 0.97 0.98 0.92 2/55 7685
Raw data (stat): 7685 (bsolo_lpr_cuts) R 7684 7876 7672 0 -1 0 43762 0 0 0 5849 147 0 0 25 0 1 0 802590386 45940736 10452 4294967295 134512640 134714508 3221221776 3221219560 1077410205 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11216 10452 1111 63 0 11153 0
vsize: 44864
[startup+70.0047 s]
Raw data (loadavg): 0.97 0.98 0.92 2/55 7685
Raw data (stat): 7685 (bsolo_lpr_cuts) R 7684 7876 7672 0 -1 0 52078 0 0 0 6822 173 0 0 25 0 1 0 802590386 50626560 11599 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12360 11599 1111 63 0 12297 0
vsize: 49440
[startup+80.0052 s]
Raw data (loadavg): 0.98 0.98 0.92 2/55 7685
Raw data (stat): 7685 (bsolo_lpr_cuts) R 7684 7876 7672 0 -1 0 60880 0 0 0 7794 203 0 0 25 0 1 0 802590386 57135104 12946 4294967295 134512640 134714508 3221221776 3221219696 1075802507 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13949 12946 1111 63 0 13886 0
vsize: 55796
[startup+90.0052 s]
Raw data (loadavg): 0.98 0.98 0.92 2/55 7685
Raw data (stat): 7685 (bsolo_lpr_cuts) R 7684 7876 7672 0 -1 0 69480 0 0 0 8769 228 0 0 25 0 1 0 802590386 60493824 13780 4294967295 134512640 134714508 3221221776 3221220488 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14769 13780 1111 63 0 14706 0
vsize: 59076
[startup+100.005 s]
Raw data (loadavg): 0.98 0.98 0.92 2/55 7685
Raw data (stat): 7685 (bsolo_lpr_cuts) R 7684 7876 7672 0 -1 0 78570 0 0 0 9744 252 0 0 25 0 1 0 802590386 63315968 14496 4294967295 134512640 134714508 3221221776 3221220236 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15458 14496 1111 63 0 15395 0
vsize: 61832
[startup+110.006 s]
Raw data (loadavg): 0.98 0.98 0.92 2/55 7685
Raw data (stat): 7685 (bsolo_lpr_cuts) R 7684 7876 7672 0 -1 0 90184 0 0 0 10711 286 0 0 25 0 1 0 802590386 67059712 15396 4294967295 134512640 134714508 3221221776 3221220176 1074118815 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16372 15396 1111 63 0 16309 0
vsize: 65488
[startup+120.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 7685
Raw data (stat): 7685 (bsolo_lpr_cuts) R 7684 7876 7672 0 -1 0 101581 0 0 0 11676 321 0 0 25 0 1 0 802590386 70455296 16268 4294967295 134512640 134714508 3221221776 3221219944 1077377395 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17201 16268 1111 63 0 17138 0
vsize: 68804
[startup+130.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 7685
Raw data (stat): 7685 (bsolo_lpr_cuts) R 7684 7876 7672 0 -1 0 112903 0 0 0 12641 355 0 0 25 0 1 0 802590386 74104832 17200 4294967295 134512640 134714508 3221221776 3221220112 1074153822 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18092 17200 1111 63 0 18029 0
vsize: 72368
[startup+140.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 7685
Raw data (stat): 7685 (bsolo_lpr_cuts) R 7684 7876 7672 0 -1 0 123997 0 0 0 13611 386 0 0 25 0 1 0 802590386 77684736 18076 4294967295 134512640 134714508 3221221776 3221220080 1074153648 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18966 18076 1111 63 0 18903 0
vsize: 75864
[startup+150.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 7685
Raw data (stat): 7685 (bsolo_lpr_cuts) R 7684 7876 7672 0 -1 0 135564 0 0 0 14577 421 0 0 25 0 1 0 802590386 81313792 19015 4294967295 134512640 134714508 3221221776 3221220172 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19852 19015 1111 63 0 19789 0
vsize: 79408
[startup+160.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 7685
Raw data (stat): 7685 (bsolo_lpr_cuts) R 7684 7876 7672 0 -1 0 146896 0 0 0 15547 451 0 0 25 0 1 0 802590386 84606976 19808 4294967295 134512640 134714508 3221221776 3221220112 1074153822 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20656 19808 1111 63 0 20593 0
vsize: 82624
[startup+170.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 7685
Raw data (stat): 7685 (bsolo_lpr_cuts) R 7684 7876 7672 0 -1 0 159211 0 0 0 16511 486 0 0 25 0 1 0 802590386 93847552 21416 4294967295 134512640 134714508 3221221776 3221220204 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22912 21416 1111 63 0 22849 0
vsize: 91648
[startup+180.008 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 7685
Raw data (stat): 7685 (bsolo_lpr_cuts) R 7684 7876 7672 0 -1 0 169483 0 0 0 17482 516 0 0 25 0 1 0 802590386 96718848 22159 4294967295 134512640 134714508 3221221776 3221220488 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23613 22159 1111 63 0 23550 0
vsize: 94452
[startup+190.008 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 7685
Raw data (stat): 7685 (bsolo_lpr_cuts) R 7684 7876 7672 0 -1 0 177839 0 0 0 18457 541 0 0 25 0 1 0 802590386 99151872 22747 4294967295 134512640 134714508 3221221776 3221220512 134622902 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24207 22747 1111 63 0 24144 0
vsize: 96828
[startup+200.008 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 7685
Raw data (stat): 7685 (bsolo_lpr_cuts) R 7684 7876 7672 0 -1 0 187723 0 0 0 19428 571 0 0 25 0 1 0 802590386 101601280 23366 4294967295 134512640 134714508 3221221776 3221220392 134543144 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24805 23366 1111 63 0 24742 0
vsize: 99220
[startup+210.008 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 7685
Raw data (stat): 7685 (bsolo_lpr_cuts) R 7684 7876 7672 0 -1 0 197397 0 0 0 20401 597 0 0 25 0 1 0 802590386 104169472 23998 4294967295 134512640 134714508 3221221776 3221220572 134542400 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25432 23998 1111 63 0 25369 0
vsize: 101728
[startup+220.008 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 7685
Raw data (stat): 7685 (bsolo_lpr_cuts) R 7684 7876 7672 0 -1 0 208753 0 0 0 21367 631 0 0 25 0 1 0 802590386 107290624 24785 4294967295 134512640 134714508 3221221776 3221220236 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26194 24785 1111 63 0 26131 0
vsize: 104776
[startup+230.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 7685
Raw data (stat): 7685 (bsolo_lpr_cuts) R 7684 7876 7672 0 -1 0 219647 0 0 0 22334 665 0 0 25 0 1 0 802590386 109858816 25409 4294967295 134512640 134714508 3221221776 3221220080 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26821 25409 1111 63 0 26758 0
vsize: 107284
[startup+240.008 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 7685
Raw data (stat): 7685 (bsolo_lpr_cuts) R 7684 7876 7672 0 -1 0 227341 0 0 0 23315 684 0 0 25 0 1 0 802590386 111947776 25935 4294967295 134512640 134714508 3221221776 3221220492 134543156 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27331 25935 1111 63 0 27268 0
vsize: 109324
[startup+250.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 7685
Raw data (stat): 7685 (bsolo_lpr_cuts) R 7684 7876 7672 0 -1 0 236835 0 0 0 24288 711 0 0 25 0 1 0 802590386 113946624 26448 4294967295 134512640 134714508 3221221776 3221220172 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27819 26448 1111 63 0 27756 0
vsize: 111276
[startup+260.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 7685
Raw data (stat): 7685 (bsolo_lpr_cuts) R 7684 7876 7672 0 -1 0 247628 0 0 0 25255 744 0 0 25 0 1 0 802590386 116793344 27149 4294967295 134512640 134714508 3221221776 3221219716 1077782939 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28514 27149 1111 63 0 28451 0
vsize: 114056
[startup+270.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 7685
Raw data (stat): 7685 (bsolo_lpr_cuts) R 7684 7876 7672 0 -1 0 259428 0 0 0 26220 779 0 0 25 0 1 0 802590386 119894016 27925 4294967295 134512640 134714508 3221221776 3221220220 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29312 27925 1111 63 0 29249 0
vsize: 117084
[startup+280.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 7685
Raw data (stat): 7685 (bsolo_lpr_cuts) R 7684 7876 7672 0 -1 0 271103 0 0 0 27187 812 0 0 25 0 1 0 802590386 122712064 28622 4294967295 134512640 134714508 3221221776 3221220488 134558477 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29959 28622 1111 63 0 29896 0
vsize: 119836
[startup+290.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 7685
Raw data (stat): 7685 (bsolo_lpr_cuts) R 7684 7876 7672 0 -1 0 281866 0 0 0 28158 842 0 0 25 0 1 0 802590386 125251584 29236 4294967295 134512640 134714508 3221221776 3221220172 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30579 29236 1111 63 0 30516 0
vsize: 122316
[startup+300.011 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 7685
Raw data (stat): 7685 (bsolo_lpr_cuts) R 7684 7876 7672 0 -1 0 292855 0 0 0 29128 872 0 0 25 0 1 0 802590386 128847872 30128 4294967295 134512640 134714508 3221221776 3221220220 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31457 30128 1111 63 0 31394 0
vsize: 125828
[startup+310.011 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 7685
Raw data (stat): 7685 (bsolo_lpr_cuts) R 7684 7876 7672 0 -1 0 303157 0 0 0 30101 899 0 0 25 0 1 0 802590386 131891200 30900 4294967295 134512640 134714508 3221221776 3221219888 1074867289 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32200 30900 1111 63 0 32137 0
vsize: 128800
[startup+320.011 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 7685
Raw data (stat): 7685 (bsolo_lpr_cuts) R 7684 7876 7672 0 -1 0 309060 0 0 0 31085 916 0 0 25 0 1 0 802590386 133566464 31309 4294967295 134512640 134714508 3221221776 3221219696 1075799538 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32609 31309 1111 63 0 32546 0
vsize: 130436
[startup+330.012 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 7685
Raw data (stat): 7685 (bsolo_lpr_cuts) R 7684 7876 7672 0 -1 0 319882 0 0 0 32054 946 0 0 25 0 1 0 802590386 137342976 32240 4294967295 134512640 134714508 3221221776 3221219704 1077380592 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33531 32240 1111 63 0 33468 0
vsize: 134124
[startup+340.011 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 7685
Raw data (stat): 7685 (bsolo_lpr_cuts) R 7684 7876 7672 0 -1 0 329939 0 0 0 33024 977 0 0 25 0 1 0 802590386 140423168 33008 4294967295 134512640 134714508 3221221776 3221219696 1075799556 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34283 33008 1111 63 0 34220 0
vsize: 137132
[startup+350.012 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 7685
Raw data (stat): 7685 (bsolo_lpr_cuts) R 7684 7876 7672 0 -1 0 341214 0 0 0 33993 1008 0 0 25 0 1 0 802590386 143908864 33827 4294967295 134512640 134714508 3221221776 3221220672 134621515 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35118 33826 1111 63 0 35055 0
vsize: 140536
[startup+360.013 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 7685
Raw data (stat): 7685 (bsolo_lpr_cuts) R 7684 7876 7672 0 -1 0 352447 0 0 0 34961 1040 0 0 25 0 1 0 802590386 146583552 34514 4294967295 134512640 134714508 3221221776 3221220176 1074153672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35787 34514 1111 63 0 35724 0
vsize: 143148
[startup+370.012 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 7685
Raw data (stat): 7685 (bsolo_lpr_cuts) R 7684 7876 7672 0 -1 0 360013 0 0 0 35941 1060 0 0 25 0 1 0 802590386 149630976 35243 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36531 35243 1111 63 0 36468 0
vsize: 146124
[startup+380.012 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 7685
Raw data (stat): 7685 (bsolo_lpr_cuts) R 7684 7876 7672 0 -1 0 362468 0 0 0 36934 1067 0 0 25 0 1 0 802590386 149729280 35300 4294967295 134512640 134714508 3221221776 3221220592 134622252 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36555 35300 1111 63 0 36492 0
vsize: 146220
[startup+390.012 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 7685
Raw data (stat): 7685 (bsolo_lpr_cuts) R 7684 7876 7672 0 -1 0 362468 0 0 0 37935 1067 0 0 25 0 1 0 802590386 149729280 35300 4294967295 134512640 134714508 3221221776 3221220504 134622809 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36555 35300 1111 63 0 36492 0
vsize: 146220
[startup+400.013 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 7685
Raw data (stat): 7685 (bsolo_lpr_cuts) R 7684 7876 7672 0 -1 0 362468 0 0 0 38935 1067 0 0 25 0 1 0 802590386 149729280 35300 4294967295 134512640 134714508 3221221776 3221220488 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36555 35300 1111 63 0 36492 0
vsize: 146220
[startup+410.013 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 7685
Raw data (stat): 7685 (bsolo_lpr_cuts) R 7684 7876 7672 0 -1 0 362468 0 0 0 39935 1067 0 0 25 0 1 0 802590386 149729280 35300 4294967295 134512640 134714508 3221221776 3221220568 134536900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36555 35300 1111 63 0 36492 0
vsize: 146220
[startup+420.013 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 7685
Raw data (stat): 7685 (bsolo_lpr_cuts) R 7684 7876 7672 0 -1 0 362468 0 0 0 40935 1067 0 0 25 0 1 0 802590386 149729280 35300 4294967295 134512640 134714508 3221221776 3221220568 134536904 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36555 35300 1111 63 0 36492 0
vsize: 146220
[startup+430.014 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 7685
Raw data (stat): 7685 (bsolo_lpr_cuts) R 7684 7876 7672 0 -1 0 362530 0 0 0 41934 1068 0 0 25 0 1 0 802590386 149245952 35182 4294967295 134512640 134714508 3221221776 3221220016 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36437 35182 1111 63 0 36374 0
vsize: 145748
[startup+440.014 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 7685
Raw data (stat): 7685 (bsolo_lpr_cuts) R 7684 7876 7672 0 -1 0 363151 0 0 0 42932 1070 0 0 25 0 1 0 802590386 151121920 35631 4294967295 134512640 134714508 3221221776 3221219776 1074918576 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36895 35631 1111 63 0 36832 0
vsize: 147580
[startup+450.014 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 7685
Raw data (stat): 7685 (bsolo_lpr_cuts) R 7684 7876 7672 0 -1 0 377678 0 0 0 43892 1111 0 0 25 0 1 0 802590386 153329664 35787 4294967295 134512640 134714508 3221221776 3221217936 1075091317 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37143 35776 1111 63 0 37080 0
vsize: 149736
[startup+460.014 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 7685
Raw data (stat): 7685 (bsolo_lpr_cuts) R 7684 7876 7672 0 -1 0 391321 0 0 0 44859 1144 0 0 25 0 1 0 802590386 155000832 36558 4294967295 134512640 134714508 3221221776 3221219896 1077377888 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37842 36558 1111 63 0 37779 0
vsize: 151368
[startup+470.014 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 7685
Raw data (stat): 7685 (bsolo_lpr_cuts) R 7684 7876 7672 0 -1 0 400057 0 0 0 45840 1163 0 0 25 0 1 0 802590386 168067072 38468 4294967295 134512640 134714508 3221221776 3221220204 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41032 38468 1111 63 0 40969 0
vsize: 164128
[startup+480.015 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 7685
Raw data (stat): 7685 (bsolo_lpr_cuts) R 7684 7876 7672 0 -1 0 415788 0 0 0 46798 1205 0 0 25 0 1 0 802590386 170938368 39150 4294967295 134512640 134714508 3221221776 3221220432 134527014 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41733 39150 1111 63 0 41670 0
vsize: 166932
[startup+490.014 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 7685
Raw data (stat): 7685 (bsolo_lpr_cuts) R 7684 7876 7672 0 -1 0 431471 0 0 0 47758 1246 0 0 25 0 1 0 802590386 174014464 39934 4294967295 134512640 134714508 3221221776 3221219520 1075640233 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42484 39934 1111 63 0 42421 0
vsize: 169936
[startup+500.015 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 7685
Raw data (stat): 7685 (bsolo_lpr_cuts) R 7684 7876 7672 0 -1 0 436766 0 0 0 48743 1260 0 0 25 0 1 0 802590386 175415296 40278 4294967295 134512640 134714508 3221221776 3221220592 134622252 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42826 40278 1111 63 0 42763 0
vsize: 171304
[startup+510.016 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 7685
Raw data (stat): 7685 (bsolo_lpr_cuts) R 7684 7876 7672 0 -1 0 446997 0 0 0 49716 1288 0 0 25 0 1 0 802590386 176721920 40582 4294967295 134512640 134714508 3221221776 3221220560 134558521 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43145 40582 1111 63 0 43082 0
vsize: 172580
[startup+520.015 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 7685
Raw data (stat): 7685 (bsolo_lpr_cuts) R 7684 7876 7672 0 -1 0 454423 0 0 0 50697 1307 0 0 25 0 1 0 802590386 178102272 40927 4294967295 134512640 134714508 3221221776 3221219776 1074918494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43482 40927 1111 63 0 43419 0
vsize: 173928
[startup+530.016 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 7685
Raw data (stat): 7685 (bsolo_lpr_cuts) R 7684 7876 7672 0 -1 0 461918 0 0 0 51678 1326 0 0 25 0 1 0 802590386 179367936 41259 4294967295 134512640 134714508 3221221776 3221219776 1074056570 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43791 41259 1111 63 0 43728 0
vsize: 175164
[startup+540.016 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 7685
Raw data (stat): 7685 (bsolo_lpr_cuts) R 7684 7876 7672 0 -1 0 469688 0 0 0 52655 1349 0 0 25 0 1 0 802590386 180678656 41571 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44111 41571 1111 63 0 44048 0
vsize: 176444
[startup+550.016 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 7685
Raw data (stat): 7685 (bsolo_lpr_cuts) R 7684 7876 7672 0 -1 0 479612 0 0 0 53630 1374 0 0 25 0 1 0 802590386 182321152 41979 4294967295 134512640 134714508 3221221776 3221219744 1075961305 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44512 41979 1111 63 0 44449 0
vsize: 178048
[startup+560.016 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 7685
Raw data (stat): 7685 (bsolo_lpr_cuts) R 7684 7876 7672 0 -1 0 494983 0 0 0 54590 1414 0 0 25 0 1 0 802590386 184705024 42571 4294967295 134512640 134714508 3221221776 3221219680 1075460179 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45094 42571 1111 63 0 45031 0
vsize: 180376
[startup+570.016 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 7685
Raw data (stat): 7685 (bsolo_lpr_cuts) R 7684 7876 7672 0 -1 0 510903 0 0 0 55550 1454 0 0 25 0 1 0 802590386 187498496 43235 4294967295 134512640 134714508 3221221776 3221220204 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45776 43235 1111 63 0 45713 0
vsize: 183104
[startup+580.017 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 7685
Raw data (stat): 7685 (bsolo_lpr_cuts) R 7684 7876 7672 0 -1 0 525641 0 0 0 56513 1492 0 0 25 0 1 0 802590386 190234624 43914 4294967295 134512640 134714508 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46444 43914 1111 63 0 46381 0
vsize: 185776
[startup+590.017 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 7685
Raw data (stat): 7685 (bsolo_lpr_cuts) R 7684 7876 7672 0 -1 0 535705 0 0 0 57487 1519 0 0 25 0 1 0 802590386 191299584 44163 4294967295 134512640 134714508 3221221776 3221219740 1077411564 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46704 44163 1111 63 0 46641 0
vsize: 186816
[startup+600.018 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 7685
Raw data (stat): 7685 (bsolo_lpr_cuts) R 7684 7876 7672 0 -1 0 551878 0 0 0 58442 1563 0 0 25 0 1 0 802590386 193732608 44789 4294967295 134512640 134714508 3221221776 3221219744 1075809089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47298 44789 1111 63 0 47235 0
vsize: 189192
[startup+610.019 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 7685
Raw data (stat): 7685 (bsolo_lpr_cuts) R 7684 7876 7672 0 -1 0 567558 0 0 0 59399 1606 0 0 25 0 1 0 802590386 196603904 45492 4294967295 134512640 134714508 3221221776 3221220064 1074153779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47999 45492 1111 63 0 47936 0
vsize: 191996
[startup+620.019 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 7685
Raw data (stat): 7685 (bsolo_lpr_cuts) R 7684 7876 7672 0 -1 0 571709 0 0 0 60390 1615 0 0 25 0 1 0 802590386 196870144 45545 4294967295 134512640 134714508 3221221776 3221219644 1077374113 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48064 45545 1111 63 0 48001 0
vsize: 192256
[startup+630.019 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 7685
Raw data (stat): 7685 (bsolo_lpr_cuts) R 7684 7876 7672 0 -1 0 582770 0 0 0 61364 1641 0 0 25 0 1 0 802590386 199495680 46171 4294967295 134512640 134714508 3221221776 3221220568 134543552 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48705 46171 1111 63 0 48642 0
vsize: 194820
[startup+640.019 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 7685
Raw data (stat): 7685 (bsolo_lpr_cuts) R 7684 7876 7672 0 -1 0 597278 0 0 0 62324 1682 0 0 25 0 1 0 802590386 202956800 46640 4294967295 134512640 134714508 3221221776 3221217936 1075091317 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49550 46640 1111 63 0 49487 0
vsize: 198200
[startup+650.021 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 7685
Raw data (stat): 7685 (bsolo_lpr_cuts) R 7684 7876 7672 0 -1 0 611998 0 0 0 63284 1722 0 0 25 0 1 0 802590386 203591680 47168 4294967295 134512640 134714508 3221221776 3221220220 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49705 47168 1111 63 0 49642 0
vsize: 198820
[startup+660.021 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 7685
Raw data (stat): 7685 (bsolo_lpr_cuts) R 7684 7876 7672 0 -1 0 626000 0 0 0 64248 1759 0 0 25 0 1 0 802590386 206233600 47859 4294967295 134512640 134714508 3221221776 3221220024 1074138162 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50350 47859 1111 63 0 50287 0
vsize: 201400
[startup+670.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 7685
Raw data (stat): 7685 (bsolo_lpr_cuts) R 7684 7876 7672 0 -1 0 641105 0 0 0 65206 1801 0 0 25 0 1 0 802590386 209362944 48625 4294967295 134512640 134714508 3221221776 3221220220 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51114 48625 1111 63 0 51051 0
vsize: 204456
[startup+680.021 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 7685
Raw data (stat): 7685 (bsolo_lpr_cuts) R 7684 7876 7672 0 -1 0 650464 0 0 0 66181 1826 0 0 25 0 1 0 802590386 211677184 49230 4294967295 134512640 134714508 3221221776 3221220592 134622252 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51679 49230 1111 63 0 51616 0
vsize: 206716
[startup+690.021 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 7685
Raw data (stat): 7685 (bsolo_lpr_cuts) R 7684 7876 7672 0 -1 0 663082 0 0 0 67147 1860 0 0 25 0 1 0 802590386 213987328 49766 4294967295 134512640 134714508 3221221776 3221220580 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52243 49766 1111 63 0 52180 0
vsize: 208972
[startup+700.022 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 7685
Raw data (stat): 7685 (bsolo_lpr_cuts) R 7684 7876 7672 0 -1 0 679200 0 0 0 68102 1905 0 0 25 0 1 0 802590386 219111424 50634 4294967295 134512640 134714508 3221221776 3221218764 1077404742 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53494 50634 1111 63 0 53431 0
vsize: 213976
[startup+710.023 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 7685
Raw data (stat): 7685 (bsolo_lpr_cuts) R 7684 7876 7672 0 -1 0 686033 0 0 0 69087 1920 0 0 25 0 1 0 802590386 219623424 51142 4294967295 134512640 134714508 3221221776 3221220592 134622252 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53619 51142 1111 63 0 53556 0
vsize: 214476
[startup+720.023 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 7685
Raw data (stat): 7685 (bsolo_lpr_cuts) R 7684 7876 7672 0 -1 0 694644 0 0 0 70065 1943 0 0 25 0 1 0 802590386 220598272 51344 4294967295 134512640 134714508 3221221776 3221220160 1074153753 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53857 51344 1111 63 0 53794 0
vsize: 215428
[startup+730.024 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 7685
Raw data (stat): 7685 (bsolo_lpr_cuts) R 7684 7876 7672 0 -1 0 703024 0 0 0 71043 1965 0 0 25 0 1 0 802590386 222191616 51727 4294967295 134512640 134714508 3221221776 3221219744 1075961296 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 54246 51727 1111 63 0 54183 0
vsize: 216984
[startup+740.024 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 7685
Raw data (stat): 7685 (bsolo_lpr_cuts) R 7684 7876 7672 0 -1 0 717381 0 0 0 72008 2000 0 0 25 0 1 0 802590386 226693120 52491 4294967295 134512640 134714508 3221221776 3221217936 1075091317 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55345 52491 1111 63 0 55282 0
vsize: 221380
[startup+750.025 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 7685
Raw data (stat): 7685 (bsolo_lpr_cuts) R 7684 7876 7672 0 -1 0 724954 0 0 0 72987 2021 0 0 25 0 1 0 802590386 227479552 53062 4294967295 134512640 134714508 3221221776 3221220016 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55537 53062 1111 63 0 55474 0
vsize: 222148
[startup+760.025 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 7685
Raw data (stat): 7685 (bsolo_lpr_cuts) R 7684 7876 7672 0 -1 0 727300 0 0 0 73981 2027 0 0 25 0 1 0 802590386 227577856 53095 4294967295 134512640 134714508 3221221776 3221220592 134622252 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55561 53095 1111 63 0 55498 0
vsize: 222244
[startup+770.025 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 7685
Raw data (stat): 7685 (bsolo_lpr_cuts) R 7684 7876 7672 0 -1 0 727300 0 0 0 74981 2028 0 0 25 0 1 0 802590386 227577856 53095 4294967295 134512640 134714508 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55561 53095 1111 63 0 55498 0
vsize: 222244
[startup+780.025 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 7685
Raw data (stat): 7685 (bsolo_lpr_cuts) R 7684 7876 7672 0 -1 0 727300 0 0 0 75981 2028 0 0 25 0 1 0 802590386 227577856 53095 4294967295 134512640 134714508 3221221776 3221220492 134558476 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55561 53095 1111 63 0 55498 0
vsize: 222244
[startup+790.025 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 7685
Raw data (stat): 7685 (bsolo_lpr_cuts) R 7684 7876 7672 0 -1 0 727300 0 0 0 76981 2028 0 0 25 0 1 0 802590386 227577856 53095 4294967295 134512640 134714508 3221221776 3221220584 134622412 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55561 53095 1111 63 0 55498 0
vsize: 222244
[startup+800.026 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 7685
Raw data (stat): 7685 (bsolo_lpr_cuts) R 7684 7876 7672 0 -1 0 727300 0 0 0 77982 2028 0 0 25 0 1 0 802590386 227577856 53095 4294967295 134512640 134714508 3221221776 3221220580 134622267 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55561 53095 1111 63 0 55498 0
vsize: 222244
[startup+810.026 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 7685
Raw data (stat): 7685 (bsolo_lpr_cuts) R 7684 7876 7672 0 -1 0 728070 0 0 0 78978 2031 0 0 25 0 1 0 802590386 229236736 53469 4294967295 134512640 134714508 3221221776 3221219776 1074918597 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55966 53469 1111 63 0 55903 0
vsize: 223864
[startup+820.027 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 7685
Raw data (stat): 7685 (bsolo_lpr_cuts) R 7684 7876 7672 0 -1 0 738736 0 0 0 79953 2057 0 0 25 0 1 0 802590386 228651008 53282 4294967295 134512640 134714508 3221221776 3221220176 1074153812 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55823 53282 1111 63 0 55760 0
vsize: 223292
[startup+830.028 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 7685
Raw data (stat): 7685 (bsolo_lpr_cuts) R 7684 7876 7672 0 -1 0 754093 0 0 0 80915 2095 0 0 25 0 1 0 802590386 231858176 54057 4294967295 134512640 134714508 3221221776 3221220672 134621530 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 56606 54057 1111 63 0 56543 0
vsize: 226424
[startup+840.027 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 7685
Raw data (stat): 7685 (bsolo_lpr_cuts) R 7684 7876 7672 0 -1 0 767919 0 0 0 81879 2131 0 0 25 0 1 0 802590386 234921984 54784 4294967295 134512640 134714508 3221221776 3221220568 134543552 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 57354 54784 1111 63 0 57291 0
vsize: 229416
[startup+850.028 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 7685
Raw data (stat): 7685 (bsolo_lpr_cuts) R 7684 7876 7672 0 -1 0 782463 0 0 0 82842 2168 0 0 25 0 1 0 802590386 236756992 55260 4294967295 134512640 134714508 3221221776 3221219704 1077380592 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 57802 55260 1111 63 0 57739 0
vsize: 231208
[startup+860.028 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 7685
Raw data (stat): 7685 (bsolo_lpr_cuts) R 7684 7876 7672 0 -1 0 798351 0 0 0 83799 2211 0 0 25 0 1 0 802590386 239505408 55919 4294967295 134512640 134714508 3221221776 3221219608 1075894869 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 58473 55919 1111 63 0 58410 0
vsize: 233892
[startup+870.028 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 7685
Raw data (stat): 7685 (bsolo_lpr_cuts) R 7684 7876 7672 0 -1 0 809991 0 0 0 84770 2241 0 0 25 0 1 0 802590386 241483776 56416 4294967295 134512640 134714508 3221221776 3221220192 1074116266 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 58956 56416 1111 63 0 58893 0
vsize: 235824
[startup+880.028 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 7685
Raw data (stat): 7685 (bsolo_lpr_cuts) R 7684 7876 7672 0 -1 0 824163 0 0 0 85735 2276 0 0 25 0 1 0 802590386 244035584 57072 4294967295 134512640 134714508 3221221776 3221220488 134558617 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 59579 57072 1111 63 0 59516 0
vsize: 238316
[startup+890.029 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 7685
Raw data (stat): 7685 (bsolo_lpr_cuts) R 7684 7876 7672 0 -1 0 839203 0 0 0 86698 2313 0 0 25 0 1 0 802590386 247037952 57743 4294967295 134512640 134714508 3221221776 3221220188 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 60312 57743 1111 63 0 60249 0
vsize: 241248
[startup+900.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 7685
Raw data (stat): 7685 (bsolo_lpr_cuts) R 7684 7876 7672 0 -1 0 846132 0 0 0 87680 2331 0 0 25 0 1 0 802590386 249532416 58360 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 60921 58360 1111 63 0 60858 0
vsize: 243684
[startup+910.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 7685
Raw data (stat): 7685 (bsolo_lpr_cuts) R 7684 7876 7672 0 -1 0 846208 0 0 0 88679 2333 0 0 25 0 1 0 802590386 249827328 58436 4294967295 134512640 134714508 3221221776 3221220032 1074153675 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 60993 58436 1111 63 0 60930 0
vsize: 243972
[startup+920.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 7685
Raw data (stat): 7685 (bsolo_lpr_cuts) R 7684 7876 7672 0 -1 0 847115 0 0 0 89676 2336 0 0 25 0 1 0 802590386 252395520 59066 4294967295 134512640 134714508 3221221776 3221219776 1074918597 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 61620 59066 1111 63 0 61557 0
vsize: 246480
[startup+930.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 7685
Raw data (stat): 7685 (bsolo_lpr_cuts) R 7684 7876 7672 0 -1 0 850231 0 0 0 90668 2344 0 0 25 0 1 0 802590386 250052608 58496 4294967295 134512640 134714508 3221221776 3221220592 134622261 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 61048 58496 1111 63 0 60985 0
vsize: 244192
[startup+940.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 7685
Raw data (stat): 7685 (bsolo_lpr_cuts) R 7684 7876 7672 0 -1 0 850231 0 0 0 91668 2344 0 0 25 0 1 0 802590386 250052608 58496 4294967295 134512640 134714508 3221221776 3221220488 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 61048 58496 1111 63 0 60985 0
vsize: 244192
[startup+950.031 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 7685
Raw data (stat): 7685 (bsolo_lpr_cuts) R 7684 7876 7672 0 -1 0 850231 0 0 0 92668 2344 0 0 25 0 1 0 802590386 250052608 58496 4294967295 134512640 134714508 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 61048 58496 1111 63 0 60985 0
vsize: 244192
[startup+960.031 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 7685
Raw data (stat): 7685 (bsolo_lpr_cuts) R 7684 7876 7672 0 -1 0 850231 0 0 0 93668 2344 0 0 25 0 1 0 802590386 250052608 58496 4294967295 134512640 134714508 3221221776 3221220488 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 61048 58496 1111 63 0 60985 0
vsize: 244192
[startup+970.174 s]
Raw data (loadavg): 1.39 1.07 0.95 3/58 7725
Raw data (stat): 7685 (bsolo_lpr_cuts) R 7684 7876 7672 0 -1 0 850231 0 0 0 94682 2344 0 0 25 0 1 0 802590386 250052608 58496 4294967295 134512640 134714508 3221221776 3221220488 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 61048 58496 1111 63 0 60985 0
vsize: 244192
[startup+980.174 s]
Raw data (loadavg): 1.49 1.10 0.96 2/55 7738
Raw data (stat): 7685 (bsolo_lpr_cuts) R 7684 7876 7672 0 -1 0 850231 0 0 0 95683 2344 0 0 25 0 1 0 802590386 250052608 58496 4294967295 134512640 134714508 3221221776 3221220488 134543168 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 61048 58496 1111 63 0 60985 0
vsize: 244192
[startup+990.402 s]
Raw data (loadavg): 1.41 1.09 0.96 2/55 7738
Raw data (stat): 7685 (bsolo_lpr_cuts) R 7684 7876 7672 0 -1 0 850231 0 0 0 96705 2344 0 0 25 0 1 0 802590386 250052608 58496 4294967295 134512640 134714508 3221221776 3221220580 134622267 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 61048 58496 1111 63 0 60985 0
vsize: 244192
[startup+1000.4 s]
Raw data (loadavg): 1.35 1.09 0.96 2/55 7738
Raw data (stat): 7685 (bsolo_lpr_cuts) R 7684 7876 7672 0 -1 0 850231 0 0 0 97706 2344 0 0 25 0 1 0 802590386 250052608 58496 4294967295 134512640 134714508 3221221776 3221220568 134543552 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 61048 58496 1111 63 0 60985 0
vsize: 244192
[startup+1010.4 s]
Raw data (loadavg): 1.29 1.09 0.96 2/55 7738
Raw data (stat): 7685 (bsolo_lpr_cuts) R 7684 7876 7672 0 -1 0 854237 0 0 0 98695 2355 0 0 25 0 1 0 802590386 249094144 58259 4294967295 134512640 134714508 3221221776 3221220220 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 60814 58260 1111 63 0 60751 0
vsize: 243256
[startup+1020.4 s]
Raw data (loadavg): 1.25 1.08 0.96 2/55 7738
Raw data (stat): 7685 (bsolo_lpr_cuts) R 7684 7876 7672 0 -1 0 868963 0 0 0 99653 2397 0 0 25 0 1 0 802590386 252223488 58968 4294967295 134512640 134714508 3221221776 3221220156 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 61578 58968 1111 63 0 61515 0
vsize: 246312
[startup+1030.4 s]
Raw data (loadavg): 1.21 1.08 0.96 2/55 7738
Raw data (stat): 7685 (bsolo_lpr_cuts) R 7684 7876 7672 0 -1 0 884058 0 0 0 100615 2435 0 0 25 0 1 0 802590386 254922752 59663 4294967295 134512640 134714508 3221221776 3221219744 1075961314 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 62237 59663 1111 63 0 62174 0
vsize: 248948
[startup+1040.4 s]
Raw data (loadavg): 1.18 1.08 0.96 2/55 7738
Raw data (stat): 7685 (bsolo_lpr_cuts) R 7684 7876 7672 0 -1 0 891631 0 0 0 101594 2456 0 0 25 0 1 0 802590386 257851392 60399 4294967295 134512640 134714508 3221221776 3221220032 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 62952 60399 1111 63 0 62889 0
vsize: 251808
[startup+1050.4 s]
Raw data (loadavg): 1.15 1.07 0.96 2/55 7740
Raw data (stat): 7685 (bsolo_lpr_cuts) R 7684 7876 7672 0 -1 0 892282 0 0 0 102593 2458 0 0 25 0 1 0 802590386 259629056 60823 4294967295 134512640 134714508 3221221776 3221219776 1074918597 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 63386 60823 1111 63 0 63323 0
vsize: 253544
[startup+1060.4 s]
Raw data (loadavg): 1.13 1.07 0.96 2/55 7740
Raw data (stat): 7685 (bsolo_lpr_cuts) R 7684 7876 7672 0 -1 0 894416 0 0 0 103588 2463 0 0 25 0 1 0 802590386 258048000 60448 4294967295 134512640 134714508 3221221776 3221220488 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 63000 60448 1111 63 0 62937 0
vsize: 252000
[startup+1070.4 s]
Raw data (loadavg): 1.11 1.07 0.96 2/55 7740
Raw data (stat): 7685 (bsolo_lpr_cuts) R 7684 7876 7672 0 -1 0 894416 0 0 0 104588 2463 0 0 25 0 1 0 802590386 258048000 60448 4294967295 134512640 134714508 3221221776 3221220488 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 63000 60448 1111 63 0 62937 0
vsize: 252000
[startup+1080.41 s]
Raw data (loadavg): 1.09 1.06 0.96 2/55 7740
Raw data (stat): 7685 (bsolo_lpr_cuts) R 7684 7876 7672 0 -1 0 894416 0 0 0 105588 2463 0 0 25 0 1 0 802590386 258048000 60448 4294967295 134512640 134714508 3221221776 3221220592 134622252 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 63000 60448 1111 63 0 62937 0
vsize: 252000
[startup+1090.41 s]
Raw data (loadavg): 1.08 1.06 0.96 2/55 7740
Raw data (stat): 7685 (bsolo_lpr_cuts) R 7684 7876 7672 0 -1 0 894416 0 0 0 106588 2463 0 0 25 0 1 0 802590386 258048000 60448 4294967295 134512640 134714508 3221221776 3221220504 134622758 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 63000 60448 1111 63 0 62937 0
vsize: 252000
[startup+1100.41 s]
Raw data (loadavg): 1.06 1.06 0.96 2/55 7740
Raw data (stat): 7685 (bsolo_lpr_cuts) R 7684 7876 7672 0 -1 0 899650 0 0 0 107574 2477 0 0 25 0 1 0 802590386 258113536 60464 4294967295 134512640 134714508 3221221776 3221220072 1074137219 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 63016 60464 1111 63 0 62953 0
vsize: 252064
[startup+1110.41 s]
Raw data (loadavg): 1.05 1.06 0.96 2/55 7740
Raw data (stat): 7685 (bsolo_lpr_cuts) R 7684 7876 7672 0 -1 0 914925 0 0 0 108536 2516 0 0 25 0 1 0 802590386 261533696 61307 4294967295 134512640 134714508 3221221776 3221219776 1074918347 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 63851 61307 1111 63 0 63788 0
vsize: 255404
[startup+1120.41 s]
Raw data (loadavg): 1.04 1.05 0.96 2/55 7740
Raw data (stat): 7685 (bsolo_lpr_cuts) R 7684 7876 7672 0 -1 0 917740 0 0 0 109527 2525 0 0 25 0 1 0 802590386 263421952 61806 4294967295 134512640 134714508 3221221776 3221219680 1077814665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 64312 61806 1111 63 0 64249 0
vsize: 257248
[startup+1130.41 s]
Raw data (loadavg): 1.04 1.05 0.96 2/55 7740
Raw data (stat): 7685 (bsolo_lpr_cuts) R 7684 7876 7672 0 -1 0 918474 0 0 0 110525 2527 0 0 25 0 1 0 802590386 265170944 62229 4294967295 134512640 134714508 3221221776 3221219776 1074918594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 64739 62229 1111 63 0 64676 0
vsize: 258956
[startup+1140.41 s]
Raw data (loadavg): 1.03 1.05 0.96 2/55 7740
Raw data (stat): 7685 (bsolo_lpr_cuts) R 7684 7876 7672 0 -1 0 920976 0 0 0 111518 2534 0 0 25 0 1 0 802590386 263376896 61797 4294967295 134512640 134714508 3221221776 3221220488 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 64301 61797 1111 63 0 64238 0
vsize: 257204
[startup+1150.41 s]
Raw data (loadavg): 1.03 1.05 0.96 2/55 7740
Raw data (stat): 7685 (bsolo_lpr_cuts) R 7684 7876 7672 0 -1 0 920976 0 0 0 112519 2534 0 0 25 0 1 0 802590386 263376896 61797 4294967295 134512640 134714508 3221221776 3221220492 134543156 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 64301 61797 1111 63 0 64238 0
vsize: 257204
[startup+1160.41 s]
Raw data (loadavg): 1.02 1.05 0.96 2/55 7740
Raw data (stat): 7685 (bsolo_lpr_cuts) R 7684 7876 7672 0 -1 0 920976 0 0 0 113519 2534 0 0 25 0 1 0 802590386 263376896 61797 4294967295 134512640 134714508 3221221776 3221220560 134622290 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 64301 61797 1111 63 0 64238 0
vsize: 257204
[startup+1170.41 s]
Raw data (loadavg): 1.02 1.04 0.96 2/55 7740
Raw data (stat): 7685 (bsolo_lpr_cuts) R 7684 7876 7672 0 -1 0 920976 0 0 0 114519 2534 0 0 25 0 1 0 802590386 263376896 61797 4294967295 134512640 134714508 3221221776 3221220488 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 64301 61797 1111 63 0 64238 0
vsize: 257204
[startup+1178.36 s]
Raw data (loadavg): 1.01 1.04 0.96 1/54 7740
Raw data (stat): 7685 (bsolo_lpr_cuts) R 7684 7876 7672 0 -1 0 920976 0 0 0 114519 2534 0 0 25 0 1 0 802590386 263376896 61797 4294967295 134512640 134714508 3221221776 3221220488 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 64301 61797 1111 63 0 64238 0
vsize: 0

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