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/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-bal8x12.opb
MD5SUM	69e7430fb77e7d40f128bdde5f7776a3
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	13476271
Optimality of the best value was proved	NO
Number of terms in the objective function	2016
Biggest coefficient in the objective function	402653184
Number of bits for the biggest coefficient in the objective function	29
Sum of the numbers in the objective function	34444990400
Number of bits of the sum of numbers in the objective function	36
Biggest number in a constraint	402653184
Number of bits of the biggest number in a constraint	29
Biggest sum of numbers in a constraint	34444990400
Number of bits of the biggest sum of numbers	36
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.37
Number of variables	2016
Total number of constraints	116
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	116
Minimum length of a constraint	21
Maximum length of a constraint	240
Trace number 26992

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        787896 kB
Buffers:         34764 kB
Cached:         191112 kB
SwapCached:        224 kB
Active:          74548 kB
Inactive:       154124 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        787644 kB
SwapTotal:     2097136 kB
SwapFree:      2096792 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6572 kB
Slab:            12292 kB
Committed_AS:    63568 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 18:52:20 (client local time) WITH STATUS 0 IN 1175.04 SECONDS
stats: 18956 7 1175.04 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 2016 variables and 136 constraints.
c After prepocess the problem consists of 1175 variables and 165 constraints.
c preprocess terminated 1.099 s
c Initial Lower Bound: 5775244
c Lower Bound Elapsed time: 0.2236
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.02 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.97 0.91 2/54 19498
Raw data (stat): 19498 (runsolver) R 19497 15547 15546 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 774217360 1052672 99 4294967295 134512640 135381576 3221224480 3221219692 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0003 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 19498
Raw data (stat): 19498 (bsolo_lpr_cuts) R 19497 15547 15546 0 -1 0 8215 0 0 0 981 16 0 0 25 0 1 0 774217360 17424384 3555 4294967295 134512640 134714508 3221224576 3221222444 1074206198 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4254 3555 1111 63 0 4191 0
vsize: 17016
[startup+20.0008 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 19498
Raw data (stat): 19498 (bsolo_lpr_cuts) R 19497 15547 15546 0 -1 0 12422 0 0 0 1971 27 0 0 25 0 1 0 774217360 17424384 3555 4294967295 134512640 134714508 3221224576 3221222792 1074138144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4254 3555 1111 63 0 4191 0
vsize: 17016
[startup+30.0001 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 19498
Raw data (stat): 19498 (bsolo_lpr_cuts) R 19497 15547 15546 0 -1 0 17139 0 0 0 2959 38 0 0 25 0 1 0 774217360 17776640 3641 4294967295 134512640 134714508 3221224576 3221222856 1074138271 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4340 3641 1111 63 0 4277 0
vsize: 17360
[startup+39.9999 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 19498
Raw data (stat): 19498 (bsolo_lpr_cuts) R 19497 15547 15546 0 -1 0 19548 0 0 0 3953 44 0 0 25 0 1 0 774217360 17776640 3641 4294967295 134512640 134714508 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4340 3641 1111 63 0 4277 0
vsize: 17360
[startup+50.0005 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 19498
Raw data (stat): 19498 (bsolo_lpr_cuts) R 19497 15547 15546 0 -1 0 20809 0 0 0 4949 49 0 0 25 0 1 0 774217360 17776640 3641 4294967295 134512640 134714508 3221224576 3221222928 1074115298 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4340 3641 1111 63 0 4277 0
vsize: 17360
[startup+60.0007 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 19498
Raw data (stat): 19498 (bsolo_lpr_cuts) R 19497 15547 15546 0 -1 0 21704 0 0 0 5944 54 0 0 25 0 1 0 774217360 17776640 3641 4294967295 134512640 134714508 3221224576 3221222576 1074916669 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4340 3641 1111 63 0 4277 0
vsize: 17360
[startup+70.0006 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 19498
Raw data (stat): 19498 (bsolo_lpr_cuts) R 19497 15547 15546 0 -1 0 22451 0 0 0 6941 57 0 0 25 0 1 0 774217360 17989632 3642 4294967295 134512640 134714508 3221224576 3221220848 1074961347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4392 3642 1111 63 0 4329 0
vsize: 17568
[startup+80.0002 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 19498
Raw data (stat): 19498 (bsolo_lpr_cuts) R 19497 15547 15546 0 -1 0 22613 0 0 0 7940 58 0 0 25 0 1 0 774217360 17776640 3641 4294967295 134512640 134714508 3221224576 3221222976 1074118811 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4340 3641 1111 63 0 4277 0
vsize: 17360
[startup+90.0004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 19498
Raw data (stat): 19498 (bsolo_lpr_cuts) R 19497 15547 15546 0 -1 0 22728 0 0 0 8939 60 0 0 25 0 1 0 774217360 17776640 3641 4294967295 134512640 134714508 3221224576 3221222320 1075646667 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4340 3641 1111 63 0 4277 0
vsize: 17360
[startup+100 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 19498
Raw data (stat): 19498 (bsolo_lpr_cuts) R 19497 15547 15546 0 -1 0 23431 0 0 0 9936 62 0 0 25 0 1 0 774217360 17776640 3641 4294967295 134512640 134714508 3221224576 3221222848 1074056195 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4340 3641 1111 63 0 4277 0
vsize: 17360
[startup+110.001 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 19498
Raw data (stat): 19498 (bsolo_lpr_cuts) R 19497 15547 15546 0 -1 0 23682 0 0 0 10936 63 0 0 25 0 1 0 774217360 17776640 3643 4294967295 134512640 134714508 3221224576 3221222672 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4340 3643 1111 63 0 4277 0
vsize: 17360
[startup+120.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19498
Raw data (stat): 19498 (bsolo_lpr_cuts) R 19497 15547 15546 0 -1 0 23682 0 0 0 11935 64 0 0 25 0 1 0 774217360 17776640 3643 4294967295 134512640 134714508 3221224576 3221222768 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4340 3643 1111 63 0 4277 0
vsize: 17360
[startup+130.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19498
Raw data (stat): 19498 (bsolo_lpr_cuts) R 19497 15547 15546 0 -1 0 23682 0 0 0 12935 64 0 0 25 0 1 0 774217360 17776640 3643 4294967295 134512640 134714508 3221224576 3221222528 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4340 3643 1111 63 0 4277 0
vsize: 17360
[startup+140.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19498
Raw data (stat): 19498 (bsolo_lpr_cuts) R 19497 15547 15546 0 -1 0 23682 0 0 0 13934 66 0 0 25 0 1 0 774217360 17776640 3643 4294967295 134512640 134714508 3221224576 3221222912 1074153749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4340 3643 1111 63 0 4277 0
vsize: 17360
[startup+150.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19498
Raw data (stat): 19498 (bsolo_lpr_cuts) R 19497 15547 15546 0 -1 0 23682 0 0 0 14934 66 0 0 25 0 1 0 774217360 17776640 3643 4294967295 134512640 134714508 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4340 3643 1111 63 0 4277 0
vsize: 17360
[startup+160.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19498
Raw data (stat): 19498 (bsolo_lpr_cuts) R 19497 15547 15546 0 -1 0 23682 0 0 0 15933 67 0 0 25 0 1 0 774217360 17776640 3643 4294967295 134512640 134714508 3221224576 3221222888 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4340 3643 1111 63 0 4277 0
vsize: 17360
[startup+170.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19498
Raw data (stat): 19498 (bsolo_lpr_cuts) R 19497 15547 15546 0 -1 0 23682 0 0 0 16932 68 0 0 25 0 1 0 774217360 17776640 3643 4294967295 134512640 134714508 3221224576 3221222496 1075799503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4340 3643 1111 63 0 4277 0
vsize: 17360
[startup+180 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19498
Raw data (stat): 19498 (bsolo_lpr_cuts) R 19497 15547 15546 0 -1 0 23682 0 0 0 17931 69 0 0 25 0 1 0 774217360 17776640 3643 4294967295 134512640 134714508 3221224576 3221223216 134649099 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4340 3643 1111 63 0 4277 0
vsize: 17360
[startup+190.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19498
Raw data (stat): 19498 (bsolo_lpr_cuts) R 19497 15547 15546 0 -1 0 23682 0 0 0 18931 70 0 0 25 0 1 0 774217360 17776640 3643 4294967295 134512640 134714508 3221224576 3221221088 1075240464 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4340 3643 1111 63 0 4277 0
vsize: 17360
[startup+200.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19498
Raw data (stat): 19498 (bsolo_lpr_cuts) R 19497 15547 15546 0 -1 0 23682 0 0 0 19930 71 0 0 25 0 1 0 774217360 17776640 3643 4294967295 134512640 134714508 3221224576 3221223280 134591893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4340 3643 1111 63 0 4277 0
vsize: 17360
[startup+210.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19498
Raw data (stat): 19498 (bsolo_lpr_cuts) R 19497 15547 15546 0 -1 0 23682 0 0 0 20929 72 0 0 25 0 1 0 774217360 17776640 3643 4294967295 134512640 134714508 3221224576 3221222576 1074916558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4340 3643 1111 63 0 4277 0
vsize: 17360
[startup+220.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19498
Raw data (stat): 19498 (bsolo_lpr_cuts) R 19497 15547 15546 0 -1 0 23682 0 0 0 21929 72 0 0 25 0 1 0 774217360 17776640 3643 4294967295 134512640 134714508 3221224576 3221223132 134539246 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4340 3643 1111 63 0 4277 0
vsize: 17360
[startup+230.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19498
Raw data (stat): 19498 (bsolo_lpr_cuts) R 19497 15547 15546 0 -1 0 23682 0 0 0 22929 73 0 0 25 0 1 0 774217360 17776640 3643 4294967295 134512640 134714508 3221224576 3221221768 1074138315 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4340 3643 1111 63 0 4277 0
vsize: 17360
[startup+240.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19498
Raw data (stat): 19498 (bsolo_lpr_cuts) R 19497 15547 15546 0 -1 0 23682 0 0 0 23928 73 0 0 25 0 1 0 774217360 17776640 3643 4294967295 134512640 134714508 3221224576 3221222840 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4340 3643 1111 63 0 4277 0
vsize: 17360
[startup+250.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19498
Raw data (stat): 19498 (bsolo_lpr_cuts) R 19497 15547 15546 0 -1 0 23682 0 0 0 24928 74 0 0 25 0 1 0 774217360 17776640 3643 4294967295 134512640 134714508 3221224576 3221222912 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4340 3643 1111 63 0 4277 0
vsize: 17360
[startup+260.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19498
Raw data (stat): 19498 (bsolo_lpr_cuts) R 19497 15547 15546 0 -1 0 23682 0 0 0 25928 74 0 0 25 0 1 0 774217360 17776640 3643 4294967295 134512640 134714508 3221224576 3221220840 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4340 3643 1111 63 0 4277 0
vsize: 17360
[startup+270.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19498
Raw data (stat): 19498 (bsolo_lpr_cuts) R 19497 15547 15546 0 -1 0 23682 0 0 0 26928 74 0 0 25 0 1 0 774217360 17776640 3643 4294967295 134512640 134714508 3221224576 3221222528 1074153690 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4340 3643 1111 63 0 4277 0
vsize: 17360
[startup+280.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19498
Raw data (stat): 19498 (bsolo_lpr_cuts) R 19497 15547 15546 0 -1 0 23682 0 0 0 27928 75 0 0 25 0 1 0 774217360 17776640 3643 4294967295 134512640 134714508 3221224576 3221222360 1077410163 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4340 3643 1111 63 0 4277 0
vsize: 17360
[startup+290.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19498
Raw data (stat): 19498 (bsolo_lpr_cuts) R 19497 15547 15546 0 -1 0 23682 0 0 0 28927 76 0 0 25 0 1 0 774217360 17776640 3643 4294967295 134512640 134714508 3221224576 3221221976 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4340 3643 1111 63 0 4277 0
vsize: 17360
[startup+300.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19498
Raw data (stat): 19498 (bsolo_lpr_cuts) R 19497 15547 15546 0 -1 0 23682 0 0 0 29927 76 0 0 25 0 1 0 774217360 17776640 3643 4294967295 134512640 134714508 3221224576 3221220540 1074860591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4340 3643 1111 63 0 4277 0
vsize: 17360
[startup+310.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19498
Raw data (stat): 19498 (bsolo_lpr_cuts) R 19497 15547 15546 0 -1 0 23682 0 0 0 30927 77 0 0 25 0 1 0 774217360 17776640 3643 4294967295 134512640 134714508 3221224576 3221222400 1075824339 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4340 3643 1111 63 0 4277 0
vsize: 17360
[startup+320.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19498
Raw data (stat): 19498 (bsolo_lpr_cuts) R 19497 15547 15546 0 -1 0 23682 0 0 0 31926 77 0 0 25 0 1 0 774217360 17776640 3643 4294967295 134512640 134714508 3221224576 3221222888 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4340 3643 1111 63 0 4277 0
vsize: 17360
[startup+330.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19498
Raw data (stat): 19498 (bsolo_lpr_cuts) R 19497 15547 15546 0 -1 0 23682 0 0 0 32926 78 0 0 25 0 1 0 774217360 17776640 3643 4294967295 134512640 134714508 3221224576 3221222928 1074115304 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4340 3643 1111 63 0 4277 0
vsize: 17360
[startup+340.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19498
Raw data (stat): 19498 (bsolo_lpr_cuts) R 19497 15547 15546 0 -1 0 23682 0 0 0 33925 78 0 0 25 0 1 0 774217360 17776640 3643 4294967295 134512640 134714508 3221224576 3221220604 1074788217 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4340 3643 1111 63 0 4277 0
vsize: 17360
[startup+350.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19498
Raw data (stat): 19498 (bsolo_lpr_cuts) R 19497 15547 15546 0 -1 0 23682 0 0 0 34925 79 0 0 25 0 1 0 774217360 17776640 3643 4294967295 134512640 134714508 3221224576 3221222360 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4340 3643 1111 63 0 4277 0
vsize: 17360
[startup+360.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19498
Raw data (stat): 19498 (bsolo_lpr_cuts) R 19497 15547 15546 0 -1 0 23682 0 0 0 35925 79 0 0 25 0 1 0 774217360 17776640 3643 4294967295 134512640 134714508 3221224576 3221221768 1074138315 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4340 3643 1111 63 0 4277 0
vsize: 17360
[startup+370.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19498
Raw data (stat): 19498 (bsolo_lpr_cuts) R 19497 15547 15546 0 -1 0 23682 0 0 0 36924 80 0 0 25 0 1 0 774217360 17776640 3643 4294967295 134512640 134714508 3221224576 3221221712 1074056269 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4340 3643 1111 63 0 4277 0
vsize: 17360
[startup+380.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19498
Raw data (stat): 19498 (bsolo_lpr_cuts) R 19497 15547 15546 0 -1 0 23682 0 0 0 37924 80 0 0 25 0 1 0 774217360 17776640 3643 4294967295 134512640 134714508 3221224576 3221222792 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4340 3643 1111 63 0 4277 0
vsize: 17360
[startup+390.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19498
Raw data (stat): 19498 (bsolo_lpr_cuts) R 19497 15547 15546 0 -1 0 23682 0 0 0 38924 80 0 0 25 0 1 0 774217360 17776640 3643 4294967295 134512640 134714508 3221224576 3221220572 1074788098 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4340 3643 1111 63 0 4277 0
vsize: 17360
[startup+400.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19498
Raw data (stat): 19498 (bsolo_lpr_cuts) R 19497 15547 15546 0 -1 0 23682 0 0 0 39924 81 0 0 25 0 1 0 774217360 17776640 3643 4294967295 134512640 134714508 3221224576 3221222880 1074153660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4340 3643 1111 63 0 4277 0
vsize: 17360
[startup+410.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19498
Raw data (stat): 19498 (bsolo_lpr_cuts) R 19497 15547 15546 0 -1 0 23682 0 0 0 40924 81 0 0 25 0 1 0 774217360 17776640 3643 4294967295 134512640 134714508 3221224576 3221222848 1074056237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4340 3643 1111 63 0 4277 0
vsize: 17360
[startup+420.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19498
Raw data (stat): 19498 (bsolo_lpr_cuts) R 19497 15547 15546 0 -1 0 23682 0 0 0 41923 82 0 0 25 0 1 0 774217360 17776640 3643 4294967295 134512640 134714508 3221224576 3221221736 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4340 3643 1111 63 0 4277 0
vsize: 17360
[startup+430.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19498
Raw data (stat): 19498 (bsolo_lpr_cuts) R 19497 15547 15546 0 -1 0 23682 0 0 0 42923 83 0 0 25 0 1 0 774217360 17776640 3643 4294967295 134512640 134714508 3221224576 3221223192 134543144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4340 3643 1111 63 0 4277 0
vsize: 17360
[startup+440.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19498
Raw data (stat): 19498 (bsolo_lpr_cuts) R 19497 15547 15546 0 -1 0 23682 0 0 0 43922 83 0 0 25 0 1 0 774217360 17776640 3643 4294967295 134512640 134714508 3221224576 3221222960 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4340 3643 1111 63 0 4277 0
vsize: 17360
[startup+450.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19498
Raw data (stat): 19498 (bsolo_lpr_cuts) R 19497 15547 15546 0 -1 0 23682 0 0 0 44922 84 0 0 25 0 1 0 774217360 17776640 3643 4294967295 134512640 134714508 3221224576 3221222840 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4340 3643 1111 63 0 4277 0
vsize: 17360
[startup+460.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19498
Raw data (stat): 19498 (bsolo_lpr_cuts) R 19497 15547 15546 0 -1 0 23682 0 0 0 45921 85 0 0 25 0 1 0 774217360 17776640 3643 4294967295 134512640 134714508 3221224576 3221222928 1074115339 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4340 3643 1111 63 0 4277 0
vsize: 17360
[startup+470.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19498
Raw data (stat): 19498 (bsolo_lpr_cuts) R 19497 15547 15546 0 -1 0 23682 0 0 0 46921 85 0 0 25 0 1 0 774217360 17776640 3643 4294967295 134512640 134714508 3221224576 3221220780 1074791729 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4340 3643 1111 63 0 4277 0
vsize: 17360
[startup+480.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19498
Raw data (stat): 19498 (bsolo_lpr_cuts) R 19497 15547 15546 0 -1 0 23682 0 0 0 47920 86 0 0 25 0 1 0 774217360 17776640 3643 4294967295 134512640 134714508 3221224576 3221221144 1077410129 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4340 3643 1111 63 0 4277 0
vsize: 17360
[startup+490.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19498
Raw data (stat): 19498 (bsolo_lpr_cuts) R 19497 15547 15546 0 -1 0 23682 0 0 0 48920 86 0 0 25 0 1 0 774217360 17776640 3643 4294967295 134512640 134714508 3221224576 3221222928 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4340 3643 1111 63 0 4277 0
vsize: 17360
[startup+500.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19498
Raw data (stat): 19498 (bsolo_lpr_cuts) R 19497 15547 15546 0 -1 0 23682 0 0 0 49920 87 0 0 25 0 1 0 774217360 17776640 3643 4294967295 134512640 134714508 3221224576 3221223420 134588032 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4340 3643 1111 63 0 4277 0
vsize: 17360
[startup+510.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19498
Raw data (stat): 19498 (bsolo_lpr_cuts) R 19497 15547 15546 0 -1 0 23682 0 0 0 50920 87 0 0 25 0 1 0 774217360 17776640 3643 4294967295 134512640 134714508 3221224576 3221222488 1074138256 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4340 3643 1111 63 0 4277 0
vsize: 17360
[startup+520.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19498
Raw data (stat): 19498 (bsolo_lpr_cuts) R 19497 15547 15546 0 -1 0 23682 0 0 0 51919 88 0 0 25 0 1 0 774217360 17776640 3643 4294967295 134512640 134714508 3221224576 3221222928 1074115296 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4340 3643 1111 63 0 4277 0
vsize: 17360
[startup+530.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19498
Raw data (stat): 19498 (bsolo_lpr_cuts) R 19497 15547 15546 0 -1 0 23682 0 0 0 52918 89 0 0 25 0 1 0 774217360 17776640 3643 4294967295 134512640 134714508 3221224576 3221222096 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4340 3643 1111 63 0 4277 0
vsize: 17360
[startup+540.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19498
Raw data (stat): 19498 (bsolo_lpr_cuts) R 19497 15547 15546 0 -1 0 23682 0 0 0 53918 89 0 0 25 0 1 0 774217360 17776640 3643 4294967295 134512640 134714508 3221224576 3221222352 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4340 3643 1111 63 0 4277 0
vsize: 17360
[startup+550.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19498
Raw data (stat): 19498 (bsolo_lpr_cuts) R 19497 15547 15546 0 -1 0 23682 0 0 0 54917 90 0 0 25 0 1 0 774217360 17776640 3643 4294967295 134512640 134714508 3221224576 3221222976 1074119040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4340 3643 1111 63 0 4277 0
vsize: 17360
[startup+560.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19498
Raw data (stat): 19498 (bsolo_lpr_cuts) R 19497 15547 15546 0 -1 0 23682 0 0 0 55917 91 0 0 25 0 1 0 774217360 17776640 3643 4294967295 134512640 134714508 3221224576 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4340 3643 1111 63 0 4277 0
vsize: 17360
[startup+570.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19498
Raw data (stat): 19498 (bsolo_lpr_cuts) R 19497 15547 15546 0 -1 0 23682 0 0 0 56916 92 0 0 25 0 1 0 774217360 17776640 3643 4294967295 134512640 134714508 3221224576 3221223104 134650068 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4340 3643 1111 63 0 4277 0
vsize: 17360
[startup+580.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19498
Raw data (stat): 19498 (bsolo_lpr_cuts) R 19497 15547 15546 0 -1 0 23682 0 0 0 57916 92 0 0 25 0 1 0 774217360 17776640 3643 4294967295 134512640 134714508 3221224576 3221223036 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4340 3643 1111 63 0 4277 0
vsize: 17360
[startup+590.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19498
Raw data (stat): 19498 (bsolo_lpr_cuts) R 19497 15547 15546 0 -1 0 23682 0 0 0 58916 93 0 0 25 0 1 0 774217360 17776640 3643 4294967295 134512640 134714508 3221224576 3221222912 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4340 3643 1111 63 0 4277 0
vsize: 17360
[startup+600.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19498
Raw data (stat): 19498 (bsolo_lpr_cuts) R 19497 15547 15546 0 -1 0 23682 0 0 0 59915 94 0 0 25 0 1 0 774217360 17776640 3643 4294967295 134512640 134714508 3221224576 3221220960 1074973527 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4340 3643 1111 63 0 4277 0
vsize: 17360
[startup+610.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19498
Raw data (stat): 19498 (bsolo_lpr_cuts) R 19497 15547 15546 0 -1 0 23682 0 0 0 60915 94 0 0 25 0 1 0 774217360 17776640 3643 4294967295 134512640 134714508 3221224576 3221223184 134558521 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4340 3643 1111 63 0 4277 0
vsize: 17360
[startup+620.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19498
Raw data (stat): 19498 (bsolo_lpr_cuts) R 19497 15547 15546 0 -1 0 23682 0 0 0 61914 95 0 0 25 0 1 0 774217360 17776640 3643 4294967295 134512640 134714508 3221224576 3221222440 1074138144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4340 3643 1111 63 0 4277 0
vsize: 17360
[startup+630.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19498
Raw data (stat): 19498 (bsolo_lpr_cuts) R 19497 15547 15546 0 -1 0 23682 0 0 0 62914 95 0 0 25 0 1 0 774217360 17776640 3643 4294967295 134512640 134714508 3221224576 3221222008 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4340 3643 1111 63 0 4277 0
vsize: 17360
[startup+640.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19498
Raw data (stat): 19498 (bsolo_lpr_cuts) R 19497 15547 15546 0 -1 0 23682 0 0 0 63913 96 0 0 25 0 1 0 774217360 17776640 3643 4294967295 134512640 134714508 3221224576 3221222400 1075824351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4340 3643 1111 63 0 4277 0
vsize: 17360
[startup+650.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19498
Raw data (stat): 19498 (bsolo_lpr_cuts) R 19497 15547 15546 0 -1 0 23682 0 0 0 64913 97 0 0 25 0 1 0 774217360 17776640 3643 4294967295 134512640 134714508 3221224576 3221222864 1074153648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4340 3643 1111 63 0 4277 0
vsize: 17360
[startup+660.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19498
Raw data (stat): 19498 (bsolo_lpr_cuts) R 19497 15547 15546 0 -1 0 23682 0 0 0 65913 97 0 0 25 0 1 0 774217360 17776640 3643 4294967295 134512640 134714508 3221224576 3221222840 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4340 3643 1111 63 0 4277 0
vsize: 17360
[startup+670.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19498
Raw data (stat): 19498 (bsolo_lpr_cuts) R 19497 15547 15546 0 -1 0 23682 0 0 0 66912 98 0 0 25 0 1 0 774217360 17776640 3643 4294967295 134512640 134714508 3221224576 3221221992 1077377401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4340 3643 1111 63 0 4277 0
vsize: 17360
[startup+680.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19498
Raw data (stat): 19498 (bsolo_lpr_cuts) R 19497 15547 15546 0 -1 0 23682 0 0 0 67912 98 0 0 25 0 1 0 774217360 17776640 3643 4294967295 134512640 134714508 3221224576 3221223216 134649075 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4340 3643 1111 63 0 4277 0
vsize: 17360
[startup+690.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19498
Raw data (stat): 19498 (bsolo_lpr_cuts) R 19497 15547 15546 0 -1 0 23682 0 0 0 68911 99 0 0 25 0 1 0 774217360 17776640 3643 4294967295 134512640 134714508 3221224576 3221222928 1074115328 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4340 3643 1111 63 0 4277 0
vsize: 17360
[startup+700.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19498
Raw data (stat): 19498 (bsolo_lpr_cuts) R 19497 15547 15546 0 -1 0 23682 0 0 0 69910 100 0 0 25 0 1 0 774217360 17776640 3643 4294967295 134512640 134714508 3221224576 3221222880 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4340 3643 1111 63 0 4277 0
vsize: 17360
[startup+710.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19498
Raw data (stat): 19498 (bsolo_lpr_cuts) R 19497 15547 15546 0 -1 0 23682 0 0 0 70910 101 0 0 25 0 1 0 774217360 17776640 3643 4294967295 134512640 134714508 3221224576 3221221976 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4340 3643 1111 63 0 4277 0
vsize: 17360
[startup+720.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19498
Raw data (stat): 19498 (bsolo_lpr_cuts) R 19497 15547 15546 0 -1 0 23682 0 0 0 71910 101 0 0 25 0 1 0 774217360 17776640 3643 4294967295 134512640 134714508 3221224576 3221222688 1074867274 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4340 3643 1111 63 0 4277 0
vsize: 17360
[startup+730.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19498
Raw data (stat): 19498 (bsolo_lpr_cuts) R 19497 15547 15546 0 -1 0 23682 0 0 0 72909 102 0 0 25 0 1 0 774217360 17776640 3643 4294967295 134512640 134714508 3221224576 3221221680 1074138623 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4340 3643 1111 63 0 4277 0
vsize: 17360
[startup+740.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19498
Raw data (stat): 19498 (bsolo_lpr_cuts) R 19497 15547 15546 0 -1 0 23682 0 0 0 73909 102 0 0 25 0 1 0 774217360 17776640 3643 4294967295 134512640 134714508 3221224576 3221221768 1074138240 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4340 3643 1111 63 0 4277 0
vsize: 17360
[startup+750.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19498
Raw data (stat): 19498 (bsolo_lpr_cuts) R 19497 15547 15546 0 -1 0 23682 0 0 0 74909 103 0 0 25 0 1 0 774217360 17776640 3643 4294967295 134512640 134714508 3221224576 3221222304 1075828471 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4340 3643 1111 63 0 4277 0
vsize: 17360
[startup+760.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19498
Raw data (stat): 19498 (bsolo_lpr_cuts) R 19497 15547 15546 0 -1 0 23682 0 0 0 75909 104 0 0 25 0 1 0 774217360 17776640 3643 4294967295 134512640 134714508 3221224576 3221222208 1074153749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4340 3643 1111 63 0 4277 0
vsize: 17360
[startup+770.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19498
Raw data (stat): 19498 (bsolo_lpr_cuts) R 19497 15547 15546 0 -1 0 23682 0 0 0 76908 105 0 0 25 0 1 0 774217360 17776640 3643 4294967295 134512640 134714508 3221224576 3221222304 1075828966 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4340 3643 1111 63 0 4277 0
vsize: 17360
[startup+780.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19498
Raw data (stat): 19498 (bsolo_lpr_cuts) R 19497 15547 15546 0 -1 0 23682 0 0 0 77908 105 0 0 25 0 1 0 774217360 17776640 3643 4294967295 134512640 134714508 3221224576 3221222304 1075635444 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4340 3643 1111 63 0 4277 0
vsize: 17360
[startup+790.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19498
Raw data (stat): 19498 (bsolo_lpr_cuts) R 19497 15547 15546 0 -1 0 23682 0 0 0 78908 105 0 0 25 0 1 0 774217360 17776640 3643 4294967295 134512640 134714508 3221224576 3221223192 134543157 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4340 3643 1111 63 0 4277 0
vsize: 17360
[startup+800.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19498
Raw data (stat): 19498 (bsolo_lpr_cuts) R 19497 15547 15546 0 -1 0 23682 0 0 0 79907 106 0 0 25 0 1 0 774217360 17776640 3643 4294967295 134512640 134714508 3221224576 3221221920 1074839115 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4340 3643 1111 63 0 4277 0
vsize: 17360
[startup+810.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19498
Raw data (stat): 19498 (bsolo_lpr_cuts) R 19497 15547 15546 0 -1 0 23682 0 0 0 80907 107 0 0 25 0 1 0 774217360 17776640 3643 4294967295 134512640 134714508 3221224576 3221223160 134543652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4340 3643 1111 63 0 4277 0
vsize: 17360
[startup+820.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19498
Raw data (stat): 19498 (bsolo_lpr_cuts) R 19497 15547 15546 0 -1 0 23682 0 0 0 81907 107 0 0 25 0 1 0 774217360 17776640 3643 4294967295 134512640 134714508 3221224576 3221221520 1074620189 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4340 3643 1111 63 0 4277 0
vsize: 17360
[startup+830.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19498
Raw data (stat): 19498 (bsolo_lpr_cuts) R 19497 15547 15546 0 -1 0 23682 0 0 0 82906 107 0 0 25 0 1 0 774217360 17776640 3643 4294967295 134512640 134714508 3221224576 3221222872 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4340 3643 1111 63 0 4277 0
vsize: 17360
[startup+840.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19498
Raw data (stat): 19498 (bsolo_lpr_cuts) R 19497 15547 15546 0 -1 0 23682 0 0 0 83906 108 0 0 25 0 1 0 774217360 17776640 3643 4294967295 134512640 134714508 3221224576 3221222976 1074153736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4340 3643 1111 63 0 4277 0
vsize: 17360
[startup+850.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19498
Raw data (stat): 19498 (bsolo_lpr_cuts) R 19497 15547 15546 0 -1 0 23682 0 0 0 84906 108 0 0 25 0 1 0 774217360 17776640 3643 4294967295 134512640 134714508 3221224576 3221221696 1074865613 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4340 3643 1111 63 0 4277 0
vsize: 17360
[startup+860.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19498
Raw data (stat): 19498 (bsolo_lpr_cuts) R 19497 15547 15546 0 -1 0 23682 0 0 0 85906 108 0 0 25 0 1 0 774217360 17776640 3643 4294967295 134512640 134714508 3221224576 3221222488 1074138309 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4340 3643 1111 63 0 4277 0
vsize: 17360
[startup+870.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19498
Raw data (stat): 19498 (bsolo_lpr_cuts) R 19497 15547 15546 0 -1 0 23682 0 0 0 86906 109 0 0 25 0 1 0 774217360 17776640 3643 4294967295 134512640 134714508 3221224576 3221221696 1074866254 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4340 3643 1111 63 0 4277 0
vsize: 17360
[startup+880.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19498
Raw data (stat): 19498 (bsolo_lpr_cuts) R 19497 15547 15546 0 -1 0 23682 0 0 0 87905 110 0 0 25 0 1 0 774217360 17776640 3643 4294967295 134512640 134714508 3221224576 3221222144 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4340 3643 1111 63 0 4277 0
vsize: 17360
[startup+890.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19498
Raw data (stat): 19498 (bsolo_lpr_cuts) R 19497 15547 15546 0 -1 0 23682 0 0 0 88905 110 0 0 25 0 1 0 774217360 17776640 3643 4294967295 134512640 134714508 3221224576 3221220540 1074860630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4340 3643 1111 63 0 4277 0
vsize: 17360
[startup+900.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19498
Raw data (stat): 19498 (bsolo_lpr_cuts) R 19497 15547 15546 0 -1 0 23682 0 0 0 89905 110 0 0 25 0 1 0 774217360 17776640 3643 4294967295 134512640 134714508 3221224576 3221222888 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4340 3643 1111 63 0 4277 0
vsize: 17360
[startup+910.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19498
Raw data (stat): 19498 (bsolo_lpr_cuts) R 19497 15547 15546 0 -1 0 23682 0 0 0 90905 111 0 0 25 0 1 0 774217360 17776640 3643 4294967295 134512640 134714508 3221224576 3221222224 1074247419 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4340 3643 1111 63 0 4277 0
vsize: 17360
[startup+920.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19498
Raw data (stat): 19498 (bsolo_lpr_cuts) R 19497 15547 15546 0 -1 0 23682 0 0 0 91905 111 0 0 25 0 1 0 774217360 17776640 3643 4294967295 134512640 134714508 3221224576 3221223280 134556906 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4340 3643 1111 63 0 4277 0
vsize: 17360
[startup+930.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19498
Raw data (stat): 19498 (bsolo_lpr_cuts) R 19497 15547 15546 0 -1 0 23682 0 0 0 92905 111 0 0 25 0 1 0 774217360 17776640 3643 4294967295 134512640 134714508 3221224576 3221221768 1074138285 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4340 3643 1111 63 0 4277 0
vsize: 17360
[startup+940.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19498
Raw data (stat): 19498 (bsolo_lpr_cuts) R 19497 15547 15546 0 -1 0 23682 0 0 0 93905 111 0 0 25 0 1 0 774217360 17776640 3643 4294967295 134512640 134714508 3221224576 3221223296 134556924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4340 3643 1111 63 0 4277 0
vsize: 17360
[startup+950.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19498
Raw data (stat): 19498 (bsolo_lpr_cuts) R 19497 15547 15546 0 -1 0 23682 0 0 0 94904 112 0 0 25 0 1 0 774217360 17776640 3643 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4340 3643 1111 63 0 4277 0
vsize: 17360
[startup+960.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19498
Raw data (stat): 19498 (bsolo_lpr_cuts) R 19497 15547 15546 0 -1 0 23682 0 0 0 95904 113 0 0 25 0 1 0 774217360 17776640 3643 4294967295 134512640 134714508 3221224576 3221222536 1074138265 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4340 3643 1111 63 0 4277 0
vsize: 17360
[startup+970.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19498
Raw data (stat): 19498 (bsolo_lpr_cuts) R 19497 15547 15546 0 -1 0 23682 0 0 0 96904 113 0 0 25 0 1 0 774217360 17776640 3643 4294967295 134512640 134714508 3221224576 3221221384 1075966037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4340 3643 1111 63 0 4277 0
vsize: 17360
[startup+980.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19498
Raw data (stat): 19498 (bsolo_lpr_cuts) R 19497 15547 15546 0 -1 0 23682 0 0 0 97903 113 0 0 25 0 1 0 774217360 17776640 3643 4294967295 134512640 134714508 3221224576 3221222732 1074208080 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4340 3643 1111 63 0 4277 0
vsize: 17360
[startup+990.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19498
Raw data (stat): 19498 (bsolo_lpr_cuts) R 19497 15547 15546 0 -1 0 23682 0 0 0 98903 114 0 0 25 0 1 0 774217360 17776640 3643 4294967295 134512640 134714508 3221224576 3221220540 1074860819 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4340 3643 1111 63 0 4277 0
vsize: 17360
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19498
Raw data (stat): 19498 (bsolo_lpr_cuts) R 19497 15547 15546 0 -1 0 23682 0 0 0 99902 115 0 0 25 0 1 0 774217360 17776640 3643 4294967295 134512640 134714508 3221224576 3221223424 134623464 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4340 3643 1111 63 0 4277 0
vsize: 17360
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19498
Raw data (stat): 19498 (bsolo_lpr_cuts) R 19497 15547 15546 0 -1 0 23682 0 0 0 100902 116 0 0 25 0 1 0 774217360 17776640 3643 4294967295 134512640 134714508 3221224576 3221222976 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4340 3643 1111 63 0 4277 0
vsize: 17360
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19498
Raw data (stat): 19498 (bsolo_lpr_cuts) R 19497 15547 15546 0 -1 0 23682 0 0 0 101902 116 0 0 25 0 1 0 774217360 17776640 3643 4294967295 134512640 134714508 3221224576 3221221724 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4340 3643 1111 63 0 4277 0
vsize: 17360
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19498
Raw data (stat): 19498 (bsolo_lpr_cuts) R 19497 15547 15546 0 -1 0 23682 0 0 0 102902 116 0 0 25 0 1 0 774217360 17776640 3643 4294967295 134512640 134714508 3221224576 3221223192 134558477 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4340 3643 1111 63 0 4277 0
vsize: 17360
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19498
Raw data (stat): 19498 (bsolo_lpr_cuts) R 19497 15547 15546 0 -1 0 23682 0 0 0 103902 117 0 0 25 0 1 0 774217360 17776640 3643 4294967295 134512640 134714508 3221224576 3221221768 1074138297 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4340 3643 1111 63 0 4277 0
vsize: 17360
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19498
Raw data (stat): 19498 (bsolo_lpr_cuts) R 19497 15547 15546 0 -1 0 23682 0 0 0 104901 117 0 0 25 0 1 0 774217360 17776640 3643 4294967295 134512640 134714508 3221224576 3221222792 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4340 3643 1111 63 0 4277 0
vsize: 17360
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19498
Raw data (stat): 19498 (bsolo_lpr_cuts) R 19497 15547 15546 0 -1 0 23682 0 0 0 105901 118 0 0 25 0 1 0 774217360 17776640 3643 4294967295 134512640 134714508 3221224576 3221220540 1074860626 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4340 3643 1111 63 0 4277 0
vsize: 17360
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19498
Raw data (stat): 19498 (bsolo_lpr_cuts) R 19497 15547 15546 0 -1 0 23682 0 0 0 106900 119 0 0 25 0 1 0 774217360 17776640 3643 4294967295 134512640 134714508 3221224576 3221221768 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4340 3643 1111 63 0 4277 0
vsize: 17360
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19498
Raw data (stat): 19498 (bsolo_lpr_cuts) R 19497 15547 15546 0 -1 0 23682 0 0 0 107900 119 0 0 25 0 1 0 774217360 17776640 3643 4294967295 134512640 134714508 3221224576 3221222588 1075006388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4340 3643 1111 63 0 4277 0
vsize: 17360
[startup+1090.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19498
Raw data (stat): 19498 (bsolo_lpr_cuts) R 19497 15547 15546 0 -1 0 23682 0 0 0 108899 120 0 0 25 0 1 0 774217360 17776640 3643 4294967295 134512640 134714508 3221224576 3221222576 1074918944 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4340 3643 1111 63 0 4277 0
vsize: 17360
[startup+1100.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19498
Raw data (stat): 19498 (bsolo_lpr_cuts) R 19497 15547 15546 0 -1 0 23682 0 0 0 109899 120 0 0 25 0 1 0 774217360 17776640 3643 4294967295 134512640 134714508 3221224576 3221222748 1073960008 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4340 3643 1111 63 0 4277 0
vsize: 17360
[startup+1110.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19498
Raw data (stat): 19498 (bsolo_lpr_cuts) R 19497 15547 15546 0 -1 0 23682 0 0 0 110899 121 0 0 25 0 1 0 774217360 17776640 3643 4294967295 134512640 134714508 3221224576 3221220780 1075563870 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4340 3643 1111 63 0 4277 0
vsize: 17360
[startup+1120.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19498
Raw data (stat): 19498 (bsolo_lpr_cuts) R 19497 15547 15546 0 -1 0 23682 0 0 0 111898 121 0 0 25 0 1 0 774217360 17776640 3643 4294967295 134512640 134714508 3221224576 3221222460 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4340 3643 1111 63 0 4277 0
vsize: 17360
[startup+1130.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19498
Raw data (stat): 19498 (bsolo_lpr_cuts) R 19497 15547 15546 0 -1 0 23682 0 0 0 112898 122 0 0 25 0 1 0 774217360 17776640 3643 4294967295 134512640 134714508 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4340 3643 1111 63 0 4277 0
vsize: 17360
[startup+1140.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19498
Raw data (stat): 19498 (bsolo_lpr_cuts) R 19497 15547 15546 0 -1 0 23682 0 0 0 113898 122 0 0 25 0 1 0 774217360 17776640 3643 4294967295 134512640 134714508 3221224576 3221222496 1075799695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4340 3643 1111 63 0 4277 0
vsize: 17360
[startup+1150.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19498
Raw data (stat): 19498 (bsolo_lpr_cuts) R 19497 15547 15546 0 -1 0 23682 0 0 0 114897 123 0 0 25 0 1 0 774217360 17776640 3643 4294967295 134512640 134714508 3221224576 3221222840 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4340 3643 1111 63 0 4277 0
vsize: 17360
[startup+1160.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19498
Raw data (stat): 19498 (bsolo_lpr_cuts) R 19497 15547 15546 0 -1 0 23682 0 0 0 115896 124 0 0 25 0 1 0 774217360 17776640 3643 4294967295 134512640 134714508 3221224576 3221222216 1077410163 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4340 3643 1111 63 0 4277 0
vsize: 17360
[startup+1170.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19498
Raw data (stat): 19498 (bsolo_lpr_cuts) R 19497 15547 15546 0 -1 0 23682 0 0 0 116895 125 0 0 25 0 1 0 774217360 17776640 3643 4294967295 134512640 134714508 3221224576 3221221636 1074617625 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4340 3643 1111 63 0 4277 0
vsize: 17360
[startup+1174.83 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 19498
Raw data (stat): 19498 (bsolo_lpr_cuts) R 19497 15547 15546 0 -1 0 23682 0 0 0 116895 125 0 0 25 0 1 0 774217360 17776640 3643 4294967295 134512640 134714508 3221224576 3221221636 1074617625 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4340 3643 1111 63 0 4277 0
vsize: 0

Child status: 0
Real time (s): 1174.83
CPU time (s): 1175.04
CPU user time (s): 1173.77
CPU system time (s): 1.26781
CPU usage (%): 100.017
Max. virtual memory (Kb): 17568
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####