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/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-sc50a.opb
MD5SUM	d1a63d8d6fb70cfa129ffc4588721d0f
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
Number of terms in the objective function	20
Biggest coefficient in the objective function	524288
Number of bits for the biggest coefficient in the objective function	20
Sum of the numbers in the objective function	1048575
Number of bits of the sum of numbers in the objective function	20
Biggest number in a constraint	8388608
Number of bits of the biggest number in a constraint	24
Biggest sum of numbers in a constraint	22020075
Number of bits of the biggest sum of numbers	25
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.19282
Number of variables	960
Total number of constraints	49
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	49
Minimum length of a constraint	40
Maximum length of a constraint	80
Trace number 25999

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-23 19:29:21 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=16148 boxname=wulflinc31 idbench=1243 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  d1a63d8d6fb70cfa129ffc4588721d0f  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-sc50a.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-sc50a.opb
IDLAUNCH: 16148
/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:        781388 kB
Buffers:         29488 kB
Cached:         201248 kB
SwapCached:        940 kB
Active:         167996 kB
Inactive:        64780 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        781136 kB
SwapTotal:     2097892 kB
SwapFree:      2095924 kB
Dirty:              44 kB
Writeback:           0 kB
Mapped:           5104 kB
Slab:            14804 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-23 19:48:56 (client local time) WITH STATUS 10 IN 1175.13 SECONDS
stats: 16148 0 1175.13 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 960 variables and 69 constraints.
c After prepocess the problem consists of 727 variables and 98 constraints.
c preprocess terminated 0.41 s
c Initial Lower Bound: -8265
c Lower Bound Elapsed time: 0.0645
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 0 @ 53.889
s SATISFIABLE
v -COL00004_bit_7 -COL00004_bit_6 -COL00004_bit_5 -COL00004_bit_4 -COL00004_bit_3 -COL00004_bit_2 -COL00004_bit_1 -COL00004_bit0 -COL00004_bit1 -COL00004_bit2 -COL00004_bit3 -COL00004_bit4 -COL00004_bit5 -COL00004_bit6 -COL00004_bit7 -COL00004_bit8 -COL00004_bit9 -COL00004_bit10 -COL00004_bit11 -COL00004_bit12 -COL00001_bit_7 -COL00001_bit_6 -COL00001_bit_5 -COL00001_bit_4 -COL00001_bit_3 -COL00001_bit_2 -COL00001_bit_1 -COL00001_bit0 -COL00001_bit1 -COL00001_bit2 -COL00001_bit3 -COL00001_bit4 -COL00001_bit5 -COL00001_bit6 -COL00001_bit7 -COL00001_bit8 -COL00001_bit9 -COL00001_bit10 -COL00001_bit11 -COL00001_bit12 -COL00002_bit_7 -COL00002_bit_6 -COL00002_bit_5 -COL00002_bit_4 -COL00002_bit_3 -COL00002_bit_2 -COL00002_bit_1 COL00002_bit0 -COL00002_bit1 COL00002_bit2 -COL00002_bit3 COL00002_bit4 COL00002_bit5 -COL00002_bit6 -COL00002_bit7 -COL00002_bit8 -COL00002_bit9 -COL00002_bit10 -COL00002_bit11 -COL00002_bit12 -COL00003_bit_7 -COL00003_bit_6 -COL00003_bit_5 -COL00003_bit_4 -COL00003_bit_3 -COL00003_bit_2 -COL00003_bit_1 -COL00003_bit0 -COL00003_bit1 -COL00003_bit2 -COL00003_bit3 COL00003_bit4 -COL00003_bit5 -COL00003_bit6 -COL00003_bit7 -COL00003_bit8 -COL00003_bit9 -COL00003_bit10 -COL00003_bit11 -COL00003_bit12 -COL00005_bit_7 -COL00005_bit_6 -COL00005_bit_5 -COL00005_bit_4 -COL00005_bit_3 -COL00005_bit_2 -COL00005_bit_1 -COL00005_bit0 -COL00005_bit1 -COL00005_bit2 -COL00005_bit3 -COL00005_bit4 -COL00005_bit5 -COL00005_bit6 -COL00005_bit7 -COL00005_bit8 -COL00005_bit9 -COL00005_bit10 -COL00005_bit11 -COL00005_bit12 -COL00006_bit_7 -COL00006_bit_6 -COL00006_bit_5 -COL00006_bit_4 -COL00006_bit_3 -COL00006_bit_2 -COL00006_bit_1 -COL00006_bit0 -COL00006_bit1 -COL00006_bit2 -COL00006_bit3 -COL00006_bit4 -COL00006_bit5 -COL00006_bit6 -COL00006_bit7 -COL00006_bit8 -COL00006_bit9 -COL00006_bit10 -COL00006_bit11 -COL00006_bit12 -COL00007_bit_7 -COL00007_bit_6 -COL00007_bit_5 -COL00007_bit_4 -COL00007_bit_3 -COL00007_bit_2 -COL00007_bit_1 COL00007_bit0 -COL00007_bit1 COL00007_bit2 -COL00007_bit3 COL00007_bit4 COL00007_bit5 -COL00007_bit6 -COL00007_bit7 -COL00007_bit8 -COL00007_bit9 -COL00007_bit10 -COL00007_bit11 -COL00007_bit12 -COL00008_bit_7 -COL00008_bit_6 -COL00008_bit_5 -COL00008_bit_4 -COL00008_bit_3 -COL00008_bit_2 -COL00008_bit_1 -COL00008_bit0 -COL00008_bit1 -COL00008_bit2 -COL00008_bit3 COL00008_bit4 -COL00008_bit5 -COL00008_bit6 -COL00008_bit7 -COL00008_bit8 -COL00008_bit9 -COL00008_bit10 -COL00008_bit11 -COL00008_bit12 -COL00009_bit_7 -COL00009_bit_6 -COL00009_bit_5 -COL00009_bit_4 -COL00009_bit_3 -COL00009_bit_2 -COL00009_bit_1 -COL00009_bit0 -COL00009_bit1 -COL00009_bit2 -COL00009_bit3 -COL00009_bit4 -COL00009_bit5 -COL00009_bit6 -COL00009_bit7 -COL00009_bit8 -COL00009_bit9 -COL00009_bit10 -COL00009_bit11 -COL00009_bit12 -COL00010_bit_7 -COL00010_bit_6 -COL00010_bit_5 -COL00010_bit_4 -COL00010_bit_3 -COL00010_bit_2 -COL00010_bit_1 COL00010_bit0 -COL00010_bit1 COL00010_bit2 -COL00010_bit3 COL00010_bit4 COL00010_bit5 -COL00010_bit6 -COL00010_bit7 -COL00010_bit8 -COL00010_bit9 -COL00010_bit10 -COL00010_bit11 -COL00010_bit12 -COL00011_bit_7 -COL00011_bit_6 -COL00011_bit_5 -COL00011_bit_4 -COL00011_bit_3 -COL00011_bit_2 -COL00011_bit_1 -COL00011_bit0 -COL00011_bit1 -COL00011_bit2 -COL00011_bit3 COL00011_bit4 -COL00011_bit5 -COL00011_bit6 -COL00011_bit7 -COL00011_bit8 -COL00011_bit9 -COL00011_bit10 -COL00011_bit11 -COL00011_bit12 COL00012_bit_7 COL00012_bit_6 -COL00012_bit_5 -COL00012_bit_4 -COL00012_bit_3 -COL00012_bit_2 -COL00012_bit_1 -COL00012_bit0 -COL00012_bit1 -COL00012_bit2 -COL00012_bit3 -COL00012_bit4 -COL00012_bit5 -COL00012_bit6 -COL00012_bit7 -COL00012_bit8 -COL00012_bit9 -COL00012_bit10 -COL00012_bit11 -COL00012_bit12 COL00013_bit_7 -COL00013_bit_6 -COL00013_bit_5 COL00013_bit_4 -COL00013_bit_3 -COL00013_bit_2 -COL00013_bit_1 COL00013_bit0 COL00013_bit1 -COL00013_bit2 COL00013_bit3 COL00013_bit4 -COL00013_bit5 COL00013_bit6 -COL00013_bit7 -COL00013_bit8 -COL00013_bit9 -COL00013_bit10 -COL00013_bit11 -COL00013_bit12 -COL00014_bit_7 COL00014_bit_6 -COL00014_bit_5 COL00014_bit_4 COL00014_bit_3 COL00014_bit_2 -COL00014_bit_1 -COL00014_bit0 -COL00014_bit1 -COL00014_bit2 -COL00014_bit3 -COL00014_bit4 -COL00014_bit5 -COL00014_bit6 -COL00014_bit7 -COL00014_bit8 -COL00014_bit9 -COL00014_bit10 -COL00014_bit11 -COL00014_bit12 -COL00015_bit_7 -COL00015_bit_6 -COL00015_bit_5 -COL00015_bit_4 -COL00015_bit_3 -COL00015_bit_2 -COL00015_bit_1 -COL00015_bit0 -COL00015_bit1 -COL00015_bit2 -COL00015_bit3 -COL00015_bit4 -COL00015_bit5 -COL00015_bit6 -COL00015_bit7 -COL00015_bit8 -COL00015_bit9 -COL00015_bit10 -COL00015_bit11 -COL00015_bit12 -COL00016_bit_7 -COL00016_bit_6 -COL00016_bit_5 -COL00016_bit_4 -COL00016_bit_3 -COL00016_bit_2 -COL00016_bit_1 -COL00016_bit0 -COL00016_bit1 -COL00016_bit2 -COL00016_bit3 -COL00016_bit4 -COL00016_bit5 -COL00016_bit6 -COL00016_bit7 -COL00016_bit8 -COL00016_bit9 -COL00016_bit10 -COL00016_bit11 -COL00016_bit12 COL00017_bit_7 COL00017_bit_6 -COL00017_bit_5 -COL00017_bit_4 -COL00017_bit_3 -COL00017_bit_2 -COL00017_bit_1 -COL00017_bit0 -COL00017_bit1 -COL00017_bit2 -COL00017_bit3 -COL00017_bit4 -COL00017_bit5 -COL00017_bit6 -COL00017_bit7 -COL00017_bit8 -COL00017_bit9 -COL00017_bit10 -COL00017_bit11 -COL00017_bit12 COL00018_bit_7 -COL00018_bit_6 -COL00018_bit_5 COL00018_bit_4 -COL00018_bit_3 -COL00018_bit_2 -COL00018_bit_1 -COL00018_bit0 -COL00018_bit1 -COL00018_bit2 -COL00018_bit3 COL00018_bit4 -COL00018_bit5 -COL00018_bit6 COL00018_bit7 -COL00018_bit8 -COL00018_bit9 -COL00018_bit10 -COL00018_bit11 -COL00018_bit12 -COL00019_bit_7 COL00019_bit_6 -COL00019_bit_5 COL00019_bit_4 COL00019_bit_3 COL00019_bit_2 -COL00019_bit_1 -COL00019_bit0 -COL00019_bit1 -COL00019_bit2 -COL00019_bit3 COL00019_bit4 -COL00019_bit5 -COL00019_bit6 -COL00019_bit7 -COL00019_bit8 -COL00019_bit9 -COL00019_bit10 -COL00019_bit11 -COL00019_bit12 -COL00020_bit_7 -COL00020_bit_6 -COL00020_bit_5 -COL00020_bit_4 -COL00020_bit_3 -COL00020_bit_2 -COL00020_bit_1 -COL00020_bit0 -COL00020_bit1 -COL00020_bit2 -COL00020_bit3 -COL00020_bit4 -COL00020_bit5 -COL00020_bit6 -COL00020_bit7 -COL00020_bit8 -COL00020_bit9 -COL00020_bit10 -COL00020_bit11 -COL00020_bit12 -COL00021_bit_7 -COL00021_bit_6 -COL00021_bit_5 -COL00021_bit_4 -COL00021_bit_3 COL00021_bit_2 COL00021_bit_1 COL00021_bit0 COL00021_bit1 COL00021_bit2 COL00021_bit3 -COL00021_bit4 -COL00021_bit5 -COL00021_bit6 COL00021_bit7 -COL00021_bit8 -COL00021_bit9 -COL00021_bit10 -COL00021_bit11 -COL00021_bit12 -COL00022_bit_7 -COL00022_bit_6 -COL00022_bit_5 -COL00022_bit_4 -COL00022_bit_3 -COL00022_bit_2 -COL00022_bit_1 -COL00022_bit0 -COL00022_bit1 COL00022_bit2 COL00022_bit3 -COL00022_bit4 -COL00022_bit5 -COL00022_bit6 -COL00022_bit7 -COL00022_bit8 -COL00022_bit9 -COL00022_bit10 -COL00022_bit11 -COL00022_bit12 COL00023_bit_7 -COL00023_bit_6 COL00023_bit_5 COL00023_bit_4 COL00023_bit_3 COL00023_bit_2 -COL00023_bit_1 -COL00023_bit0 -COL00023_bit1 COL00023_bit2 -COL00023_bit3 -COL00023_bit4 -COL00023_bit5 -COL00023_bit6 -COL00023_bit7 -COL00023_bit8 -COL00023_bit9 -COL00023_bit10 -COL00023_bit11 -COL00023_bit12 COL00024_bit_7 COL00024_bit_6 COL00024_bit_5 -COL00024_bit_4 -COL00024_bit_3 -COL00024_bit_2 -COL00024_bit_1 -COL00024_bit0 -COL00024_bit1 -COL00024_bit2 -COL00024_bit3 -COL00024_bit4 -COL00024_bit5 -COL00024_bit6 COL00024_bit7 -COL00024_bit8 -COL00024_bit9 -COL00024_bit10 -COL00024_bit11 -COL00024_bit12 -COL00025_bit_7 COL00025_bit_6 -COL00025_bit_5 -COL00025_bit_4 -COL00025_bit_3 COL00025_bit_2 COL00025_bit_1 -COL00025_bit0 -COL00025_bit1 -COL00025_bit2 COL00025_bit3 -COL00025_bit4 -COL00025_bit5 -COL00025_bit6 -COL00025_bit7 -COL00025_bit8 -COL00025_bit9 -COL00025_bit10 -COL00025_bit11 -COL00025_bit12 -COL00026_bit_7 -COL00026_bit_6 -COL00026_bit_5 -COL00026_bit_4 -COL00026_bit_3 -COL00026_bit_2 -COL00026_bit_1 -COL00026_bit0 -COL00026_bit1 -COL00026_bit2 -COL00026_bit3 -COL00026_bit4 -COL00026_bit5 -COL00026_bit6 -COL00026_bit7 -COL00026_bit8 -COL00026_bit9 -COL00026_bit10 -COL00026_bit11 -COL00026_bit12 -COL00027_bit_7 -COL00027_bit_6 -COL00027_bit_5 -COL00027_bit_4 -COL00027_bit_3 -COL00027_bit_2 -COL00027_bit_1 -COL00027_bit0 -COL00027_bit1 -COL00027_bit2 -COL00027_bit3 -COL00027_bit4 -COL00027_bit5 -COL00027_bit6 -COL00027_bit7 -COL00027_bit8 -COL00027_bit9 -COL00027_bit10 -COL00027_bit11 -COL00027_bit12 -COL00028_bit_7 -COL00028_bit_6 -COL00028_bit_5 -COL00028_bit_4 -COL00028_bit_3 -COL00028_bit_2 COL00028_bit_1 -COL00028_bit0 -COL00028_bit1 COL00028_bit2 -COL00028_bit3 -COL00028_bit4 -COL00028_bit5 -COL00028_bit6 -COL00028_bit7 -COL00028_bit8 -COL00028_bit9 -COL00028_bit10 -COL00028_bit11 -COL00028_bit12 -COL00029_bit_7 -COL00029_bit_6 -COL00029_bit_5 -COL00029_bit_4 COL00029_bit_3 -COL00029_bit_2 -COL00029_bit_1 -COL00029_bit0 -COL00029_bit1 -COL00029_bit2 -COL00029_bit3 COL00029_bit4 -COL00029_bit5 -COL00029_bit6 -COL00029_bit7 COL00029_bit8 -COL00029_bit9 -COL00029_bit10 -COL00029_bit11 -COL00029_bit12 -COL00030_bit_7 -COL00030_bit_6 COL00030_bit_5 COL00030_bit_4 COL00030_bit_3 -COL00030_bit_2 -COL00030_bit_1 COL00030_bit0 -COL00030_bit1 -COL00030_bit2 COL00030_bit3 COL00030_bit4 -COL00030_bit5 -COL00030_bit6 -COL00030_bit7 -COL00030_bit8 -COL00030_bit9 -COL00030_bit10 -COL00030_bit11 -COL00030_bit12 -COL00031_bit_7 -COL00031_bit_6 -COL00031_bit_5 -COL00031_bit_4 -COL00031_bit_3 -COL00031_bit_2 -COL00031_bit_1 -COL00031_bit0 -COL00031_bit1 -COL00031_bit2 -COL00031_bit3 -COL00031_bit4 -COL00031_bit5 -COL00031_bit6 -COL00031_bit7 -COL00031_bit8 -COL00031_bit9 -COL00031_bit10 -COL00031_bit11 -COL00031_bit12 -COL00032_bit_7 -COL00032_bit_6 -COL00032_bit_5 -COL00032_bit_4 -COL00032_bit_3 -COL00032_bit_2 -COL00032_bit_1 -COL00032_bit0 -COL00032_bit1 -COL00032_bit2 -COL00032_bit3 -COL00032_bit4 -COL00032_bit5 -COL00032_bit6 COL00032_bit7 -COL00032_bit8 -COL00032_bit9 -COL00032_bit10 -COL00032_bit11 -COL00032_bit12 -COL00033_bit_7 -COL00033_bit_6 -COL00033_bit_5 -COL00033_bit_4 -COL00033_bit_3 -COL00033_bit_2 -COL00033_bit_1 -COL00033_bit0 -COL00033_bit1 -COL00033_bit2 -COL00033_bit3 COL00033_bit4 -COL00033_bit5 -COL00033_bit6 -COL00033_bit7 -COL00033_bit8 -COL00033_bit9 -COL00033_bit10 -COL00033_bit11 -COL00033_bit12 -COL00034_bit_7 -COL00034_bit_6 -COL00034_bit_5 -COL00034_bit_4 -COL00034_bit_3 -COL00034_bit_2 COL00034_bit_1 -COL00034_bit0 -COL00034_bit1 -COL00034_bit2 COL00034_bit3 COL00034_bit4 -COL00034_bit5 -COL00034_bit6 -COL00034_bit7 -COL00034_bit8 -COL00034_bit9 -COL00034_bit10 -COL00034_bit11 -COL00034_bit12 -COL00035_bit_7 -COL00035_bit_6 -COL00035_bit_5 -COL00035_bit_4 COL00035_bit_3 COL00035_bit_2 COL00035_bit_1 COL00035_bit0 COL00035_bit1 COL00035_bit2 COL00035_bit3 -COL00035_bit4 -COL00035_bit5 -COL00035_bit6 -COL00035_bit7 -COL00035_bit8 -COL00035_bit9 -COL00035_bit10 -COL00035_bit11 -COL00035_bit12 -COL00036_bit_7 -COL00036_bit_6 -COL00036_bit_5 -COL00036_bit_4 -COL00036_bit_3 -COL00036_bit_2 -COL00036_bit_1 -COL00036_bit0 -COL00036_bit1 -COL00036_bit2 -COL00036_bit3 -COL00036_bit4 COL00036_bit5 -COL00036_bit6 -COL00036_bit7 -COL00036_bit8 -COL00036_bit9 -COL00036_bit10 -COL00036_bit11 -COL00036_bit12 -COL00037_bit_7 -COL00037_bit_6 -COL00037_bit_5 -COL00037_bit_4 -COL00037_bit_3 -COL00037_bit_2 -COL00037_bit_1 -COL00037_bit0 -COL00037_bit1 -COL00037_bit2 -COL00037_bit3 -COL00037_bit4 -COL00037_bit5 -COL00037_bit6 -COL00037_bit7 -COL00037_bit8 -COL00037_bit9 -COL00037_bit10 -COL00037_bit11 -COL00037_bit12 -COL00038_bit_7 -COL00038_bit_6 -COL00038_bit_5 -COL00038_bit_4 -COL00038_bit_3 -COL00038_bit_2 -COL00038_bit_1 -COL00038_bit0 -COL00038_bit1 -COL00038_bit2 -COL00038_bit3 -COL00038_bit4 -COL00038_bit5 -COL00038_bit6 -COL00038_bit7 -COL00038_bit8 -COL00038_bit9 -COL00038_bit10 -COL00038_bit11 -COL00038_bit12 -COL00039_bit_7 -COL00039_bit_6 -COL00039_bit_5 -COL00039_bit_4 -COL00039_bit_3 -COL00039_bit_2 -COL00039_bit_1 COL00039_bit0 -COL00039_bit1 COL00039_bit2 COL00039_bit3 COL00039_bit4 -COL00039_bit5 -COL00039_bit6 -COL00039_bit7 -COL00039_bit8 -COL00039_bit9 -COL00039_bit10 -COL00039_bit11 -COL00039_bit12 -COL00040_bit_7 -COL00040_bit_6 -COL00040_bit_5 -COL00040_bit_4 -COL00040_bit_3 -COL00040_bit_2 -COL00040_bit_1 -COL00040_bit0 -COL00040_bit1 -COL00040_bit2 -COL00040_bit3 -COL00040_bit4 COL00040_bit5 -COL00040_bit6 -COL00040_bit7 COL00040_bit8 -COL00040_bit9 -COL00040_bit10 -COL00040_bit11 -COL00040_bit12 -COL00041_bit_7 -COL00041_bit_6 COL00041_bit_5 COL00041_bit_4 COL00041_bit_3 -COL00041_bit_2 -COL00041_bit_1 COL00041_bit0 -COL00041_bit1 -COL00041_bit2 COL00041_bit3 COL00041_bit4 COL00041_bit5 -COL00041_bit6 -COL00041_bit7 -COL00041_bit8 -COL00041_bit9 -COL00041_bit10 -COL00041_bit11 -COL00041_bit12 -COL00042_bit_7 -COL00042_bit_6 -COL00042_bit_5 -COL00042_bit_4 -COL00042_bit_3 -COL00042_bit_2 -COL00042_bit_1 -COL00042_bit0 -COL00042_bit1 -COL00042_bit2 -COL00042_bit3 -COL00042_bit4 -COL00042_bit5 -COL00042_bit6 -COL00042_bit7 -COL00042_bit8 -COL00042_bit9 -COL00042_bit10 -COL00042_bit11 -COL00042_bit12 -COL00043_bit_7 -COL00043_bit_6 -COL00043_bit_5 -COL00043_bit_4 -COL00043_bit_3 -COL00043_bit_2 -COL00043_bit_1 -COL00043_bit0 -COL00043_bit1 -COL00043_bit2 -COL00043_bit3 -COL00043_bit4 -COL00043_bit5 -COL00043_bit6 COL00043_bit7 -COL00043_bit8 -COL00043_bit9 -COL00043_bit10 -COL00043_bit11 -COL00043_bit12 -COL00044_bit_7 -COL00044_bit_6 -COL00044_bit_5 -COL00044_bit_4 -COL00044_bit_3 -COL00044_bit_2 -COL00044_bit_1 -COL00044_bit0 -COL00044_bit1 -COL00044_bit2 -COL00044_bit3 -COL00044_bit4 COL00044_bit5 -COL00044_bit6 -COL00044_bit7 -COL00044_bit8 -COL00044_bit9 -COL00044_bit10 -COL00044_bit11 -COL00044_bit12 -COL00045_bit_7 -COL00045_bit_6 -COL00045_bit_5 -COL00045_bit_4 -COL00045_bit_3 -COL00045_bit_2 -COL00045_bit_1 COL00045_bit0 -COL00045_bit1 COL00045_bit2 COL00045_bit3 -COL00045_bit4 -COL00045_bit5 -COL00045_bit6 -COL00045_bit7 -COL00045_bit8 -COL00045_bit9 -COL00045_bit10 -COL00045_bit11 -COL00045_bit12 -COL00046_bit_7 -COL00046_bit_6 -COL00046_bit_5 -COL00046_bit_4 -COL00046_bit_3 -COL00046_bit_2 -COL00046_bit_1 -COL00046_bit0 -COL00046_bit1 -COL00046_bit2 -COL00046_bit3 -COL00046_bit4 COL00046_bit5 -COL00046_bit6 -COL00046_bit7 -COL00046_bit8 -COL00046_bit9 -COL00046_bit10 -COL00046_bit11 -COL00046_bit12 -COL00047_bit_7 -COL00047_bit_6 -COL00047_bit_5 -COL00047_bit_4 -COL00047_bit_3 -COL00047_bit_2 -COL00047_bit_1 -COL00047_bit0 -COL00047_bit1 -COL00047_bit2 -COL00047_bit3 COL00047_bit4 COL00047_bit5 -COL00047_bit6 -COL00047_bit7 -COL00047_bit8 -COL00047_bit9 -COL00047_bit10 -COL00047_bit11 -COL00047_bit12 -COL00048_bit_7 -COL00048_bit_6 -COL00048_bit_5 -COL00048_bit_4 -COL00048_bit_3 -COL00048_bit_2 -COL00048_bit_1 -COL00048_bit0 -COL00048_bit1 -COL00048_bit2 -COL00048_bit3 -COL00048_bit4 -COL00048_bit5 -COL00048_bit6 -COL00048_bit7 -COL00048_bit8 -COL00048_bit9 -COL00048_bit10 -COL00048_bit11 -COL00048_bit12 
c Exit Code: 10
c Total time: 1175.09 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 14062
Raw data (stat): 14062 (runsolver) R 14061 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 824104572 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.0003 s]
Raw data (loadavg): 0.93 0.98 0.92 2/55 14062
Raw data (stat): 14062 (bsolo_lpr_cuts) R 14061 7876 7672 0 -1 0 7062 0 0 0 976 19 0 0 25 0 1 0 824104572 9728000 1688 4294967295 134512640 134714508 3221221776 3221220128 1074115306 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2375 1688 1111 63 0 2312 0
vsize: 9500
[startup+20.0012 s]
Raw data (loadavg): 0.94 0.98 0.92 2/55 14062
Raw data (stat): 14062 (bsolo_lpr_cuts) R 14061 7876 7672 0 -1 0 12465 0 0 0 1960 35 0 0 25 0 1 0 824104572 9740288 1693 4294967295 134512640 134714508 3221221776 3221219504 1075828201 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2378 1693 1111 63 0 2315 0
vsize: 9512
[startup+30.0021 s]
Raw data (loadavg): 0.95 0.98 0.92 2/55 14062
Raw data (stat): 14062 (bsolo_lpr_cuts) R 14061 7876 7672 0 -1 0 20637 0 0 0 2934 61 0 0 25 0 1 0 824104572 10051584 1769 4294967295 134512640 134714508 3221221776 3221219852 1073987056 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2454 1769 1111 63 0 2391 0
vsize: 9816
[startup+40.0021 s]
Raw data (loadavg): 0.96 0.98 0.92 2/55 14062
Raw data (stat): 14062 (bsolo_lpr_cuts) R 14061 7876 7672 0 -1 0 27679 0 0 0 3912 84 0 0 25 0 1 0 824104572 10690560 1925 4294967295 134512640 134714508 3221221776 3221220224 1074039238 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2610 1925 1111 63 0 2547 0
vsize: 10440
[startup+50.0034 s]
Raw data (loadavg): 0.96 0.98 0.92 2/55 14062
Raw data (stat): 14062 (bsolo_lpr_cuts) R 14061 7876 7672 0 -1 0 34458 0 0 0 4889 107 0 0 25 0 1 0 824104572 11493376 2109 4294967295 134512640 134714508 3221221776 3221219656 1074138155 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2806 2109 1111 63 0 2743 0
vsize: 11224
[startup+60.0039 s]
Raw data (loadavg): 0.97 0.98 0.92 2/55 14062
Raw data (stat): 14062 (bsolo_lpr_cuts) R 14061 7876 7672 0 -1 0 39977 0 0 0 5868 128 0 0 25 0 1 0 824104572 12263424 2309 4294967295 134512640 134714508 3221221776 3221219504 1075635518 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2994 2309 1111 63 0 2931 0
vsize: 11976
[startup+70.0049 s]
Raw data (loadavg): 0.97 0.98 0.92 2/55 14062
Raw data (stat): 14062 (bsolo_lpr_cuts) R 14061 7876 7672 0 -1 0 45452 0 0 0 6851 145 0 0 25 0 1 0 824104572 12910592 2470 4294967295 134512640 134714508 3221221776 3221220032 1074153663 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3152 2470 1111 63 0 3089 0
vsize: 12608
[startup+80.0058 s]
Raw data (loadavg): 0.98 0.98 0.92 2/55 14062
Raw data (stat): 14062 (bsolo_lpr_cuts) R 14061 7876 7672 0 -1 0 50204 0 0 0 7838 158 0 0 25 0 1 0 824104572 12861440 2455 4294967295 134512640 134714508 3221221776 3221220332 134536837 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3140 2455 1111 63 0 3077 0
vsize: 12560
[startup+90.0057 s]
Raw data (loadavg): 0.98 0.98 0.92 2/55 14062
Raw data (stat): 14062 (bsolo_lpr_cuts) R 14061 7876 7672 0 -1 0 57359 0 0 0 8816 181 0 0 25 0 1 0 824104572 13209600 2543 4294967295 134512640 134714508 3221221776 3221219824 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3225 2543 1111 63 0 3162 0
vsize: 12900
[startup+100.007 s]
Raw data (loadavg): 0.98 0.98 0.92 2/55 14062
Raw data (stat): 14062 (bsolo_lpr_cuts) R 14061 7876 7672 0 -1 0 62437 0 0 0 9798 199 0 0 25 0 1 0 824104572 13455360 2604 4294967295 134512640 134714508 3221221776 3221219552 1077377153 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3285 2604 1111 63 0 3222 0
vsize: 13140
[startup+110.008 s]
Raw data (loadavg): 0.98 0.98 0.92 2/55 14062
Raw data (stat): 14062 (bsolo_lpr_cuts) R 14061 7876 7672 0 -1 0 70007 0 0 0 10776 221 0 0 25 0 1 0 824104572 13766656 2666 4294967295 134512640 134714508 3221221776 3221220080 1074153672 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3361 2666 1111 63 0 3298 0
vsize: 13444
[startup+120.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14062
Raw data (stat): 14062 (bsolo_lpr_cuts) R 14061 7876 7672 0 -1 0 76813 0 0 0 11757 240 0 0 25 0 1 0 824104572 13950976 2722 4294967295 134512640 134714508 3221221776 3221218880 1074138636 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3406 2722 1111 63 0 3343 0
vsize: 13624
[startup+130.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14062
Raw data (stat): 14062 (bsolo_lpr_cuts) R 14061 7876 7672 0 -1 0 82996 0 0 0 12738 260 0 0 25 0 1 0 824104572 14405632 2836 4294967295 134512640 134714508 3221221776 3221219776 1074056550 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3517 2836 1111 63 0 3454 0
vsize: 14068
[startup+140.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14062
Raw data (stat): 14062 (bsolo_lpr_cuts) R 14061 7876 7672 0 -1 0 86749 0 0 0 13726 271 0 0 25 0 1 0 824104572 14909440 2929 4294967295 134512640 134714508 3221221776 3221218696 1074950099 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3640 2929 1111 63 0 3577 0
vsize: 14560
[startup+150.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14062
Raw data (stat): 14062 (bsolo_lpr_cuts) R 14061 7876 7672 0 -1 0 89857 0 0 0 14715 283 0 0 25 0 1 0 824104572 14938112 2966 4294967295 134512640 134714508 3221221776 3221220012 1074207488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3647 2966 1111 63 0 3584 0
vsize: 14588
[startup+160.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14062
Raw data (stat): 14062 (bsolo_lpr_cuts) R 14061 7876 7672 0 -1 0 94722 0 0 0 15700 297 0 0 25 0 1 0 824104572 15183872 3026 4294967295 134512640 134714508 3221221776 3221219056 1074140032 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3707 3026 1111 63 0 3644 0
vsize: 14828
[startup+170.012 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14062
Raw data (stat): 14062 (bsolo_lpr_cuts) R 14061 7876 7672 0 -1 0 100524 0 0 0 16682 316 0 0 25 0 1 0 824104572 15441920 3089 4294967295 134512640 134714508 3221221776 3221219928 1074205875 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3770 3089 1111 63 0 3707 0
vsize: 15080
[startup+180.012 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14062
Raw data (stat): 14062 (bsolo_lpr_cuts) R 14061 7876 7672 0 -1 0 105532 0 0 0 17668 330 0 0 25 0 1 0 824104572 15622144 3133 4294967295 134512640 134714508 3221221776 3221220128 1074115298 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3814 3133 1111 63 0 3751 0
vsize: 15256
[startup+190.012 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14062
Raw data (stat): 14062 (bsolo_lpr_cuts) R 14061 7876 7672 0 -1 0 112509 0 0 0 18649 349 0 0 25 0 1 0 824104572 15966208 3217 4294967295 134512640 134714508 3221221776 3221220176 1074153672 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3898 3217 1111 63 0 3835 0
vsize: 15592
[startup+200.013 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14062
Raw data (stat): 14062 (bsolo_lpr_cuts) R 14061 7876 7672 0 -1 0 120992 0 0 0 19628 371 0 0 25 0 1 0 824104572 16367616 3315 4294967295 134512640 134714508 3221221776 3221219776 1074918944 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3996 3315 1111 63 0 3933 0
vsize: 15984
[startup+210.013 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14062
Raw data (stat): 14062 (bsolo_lpr_cuts) R 14061 7876 7672 0 -1 0 128690 0 0 0 20607 391 0 0 25 0 1 0 824104572 17440768 3484 4294967295 134512640 134714508 3221221776 3221218848 1074867340 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4258 3484 1111 63 0 4195 0
vsize: 17032
[startup+220.014 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14062
Raw data (stat): 14062 (bsolo_lpr_cuts) R 14061 7876 7672 0 -1 0 135262 0 0 0 21590 408 0 0 25 0 1 0 824104572 17010688 3472 4294967295 134512640 134714508 3221221776 3221220208 134650104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4153 3472 1111 63 0 4090 0
vsize: 16612
[startup+230.014 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14062
Raw data (stat): 14062 (bsolo_lpr_cuts) R 14061 7876 7672 0 -1 0 142413 0 0 0 22571 428 0 0 25 0 1 0 824104572 17604608 3617 4294967295 134512640 134714508 3221221776 3221220056 1074138265 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4298 3617 1111 63 0 4235 0
vsize: 17192
[startup+240.014 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14062
Raw data (stat): 14062 (bsolo_lpr_cuts) R 14061 7876 7672 0 -1 0 149736 0 0 0 23550 448 0 0 25 0 1 0 824104572 17907712 3680 4294967295 134512640 134714508 3221221776 3221220192 1074116576 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4372 3680 1111 63 0 4309 0
vsize: 17488
[startup+250.013 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14062
Raw data (stat): 14062 (bsolo_lpr_cuts) R 14061 7876 7672 0 -1 0 157113 0 0 0 24531 467 0 0 25 0 1 0 824104572 18083840 3734 4294967295 134512640 134714508 3221221776 3221220128 1074142734 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4415 3734 1111 63 0 4352 0
vsize: 17660
[startup+260.013 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14062
Raw data (stat): 14062 (bsolo_lpr_cuts) R 14061 7876 7672 0 -1 0 164611 0 0 0 25509 490 0 0 25 0 1 0 824104572 18489344 3833 4294967295 134512640 134714508 3221221776 3221219840 1074153786 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4514 3833 1111 63 0 4451 0
vsize: 18056
[startup+270.014 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14062
Raw data (stat): 14062 (bsolo_lpr_cuts) R 14061 7876 7672 0 -1 0 172230 0 0 0 26489 510 0 0 25 0 1 0 824104572 18878464 3928 4294967295 134512640 134714508 3221221776 3221220032 1074153815 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4609 3928 1111 63 0 4546 0
vsize: 18436
[startup+280.014 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14062
Raw data (stat): 14062 (bsolo_lpr_cuts) R 14061 7876 7672 0 -1 0 180528 0 0 0 27468 531 0 0 25 0 1 0 824104572 19165184 3997 4294967295 134512640 134714508 3221221776 3221220176 1074118815 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4679 3997 1111 63 0 4616 0
vsize: 18716
[startup+290.015 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14062
Raw data (stat): 14062 (bsolo_lpr_cuts) R 14061 7876 7672 0 -1 0 187759 0 0 0 28448 552 0 0 25 0 1 0 824104572 19566592 4096 4294967295 134512640 134714508 3221221776 3221219736 1074138150 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4777 4096 1111 63 0 4714 0
vsize: 19108
[startup+300.015 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14062
Raw data (stat): 14062 (bsolo_lpr_cuts) R 14061 7876 7672 0 -1 0 194944 0 0 0 29429 571 0 0 25 0 1 0 824104572 20385792 4196 4294967295 134512640 134714508 3221221776 3221218304 1075397225 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4977 4196 1111 63 0 4914 0
vsize: 19908
[startup+310.015 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14062
Raw data (stat): 14062 (bsolo_lpr_cuts) R 14061 7876 7672 0 -1 0 201723 0 0 0 30413 587 0 0 25 0 1 0 824104572 20082688 4220 4294967295 134512640 134714508 3221221776 3221220444 134543588 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4903 4220 1111 63 0 4840 0
vsize: 19612
[startup+320.016 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14062
Raw data (stat): 14062 (bsolo_lpr_cuts) R 14061 7876 7672 0 -1 0 209058 0 0 0 31395 605 0 0 25 0 1 0 824104572 20819968 4329 4294967295 134512640 134714508 3221221776 3221218048 1074960868 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5083 4329 1111 63 0 5020 0
vsize: 20332
[startup+330.017 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14062
Raw data (stat): 14062 (bsolo_lpr_cuts) R 14061 7876 7672 0 -1 0 216391 0 0 0 32374 626 0 0 25 0 1 0 824104572 20971520 4400 4294967295 134512640 134714508 3221221776 3221219696 1075799735 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5120 4400 1111 63 0 5057 0
vsize: 20480
[startup+340.017 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14062
Raw data (stat): 14062 (bsolo_lpr_cuts) R 14061 7876 7672 0 -1 0 224327 0 0 0 33351 650 0 0 25 0 1 0 824104572 21204992 4496 4294967295 134512640 134714508 3221221776 3221219708 1077411564 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5177 4496 1111 63 0 5114 0
vsize: 20708
[startup+350.017 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14062
Raw data (stat): 14062 (bsolo_lpr_cuts) R 14061 7876 7672 0 -1 0 230909 0 0 0 34336 665 0 0 25 0 1 0 824104572 21561344 4583 4294967295 134512640 134714508 3221221776 3221219704 1077380592 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5264 4583 1111 63 0 5201 0
vsize: 21056
[startup+360.018 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14062
Raw data (stat): 14062 (bsolo_lpr_cuts) R 14061 7876 7672 0 -1 0 237234 0 0 0 35319 681 0 0 25 0 1 0 824104572 21901312 4666 4294967295 134512640 134714508 3221221776 3221220128 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5347 4666 1111 63 0 5284 0
vsize: 21388
[startup+370.019 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14062
Raw data (stat): 14062 (bsolo_lpr_cuts) R 14061 7876 7672 0 -1 0 244533 0 0 0 36301 700 0 0 25 0 1 0 824104572 22441984 4797 4294967295 134512640 134714508 3221221776 3221220416 134649103 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5479 4797 1111 63 0 5416 0
vsize: 21916
[startup+380.019 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14062
Raw data (stat): 14062 (bsolo_lpr_cuts) R 14061 7876 7672 0 -1 0 251864 0 0 0 37282 719 0 0 25 0 1 0 824104572 23355392 4949 4294967295 134512640 134714508 3221221776 3221218096 1075170356 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5702 4949 1111 63 0 5639 0
vsize: 22808
[startup+390.019 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14062
Raw data (stat): 14062 (bsolo_lpr_cuts) R 14061 7876 7672 0 -1 0 258081 0 0 0 38267 734 0 0 25 0 1 0 824104572 22990848 4932 4294967295 134512640 134714508 3221221776 3221219600 1075823510 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5613 4932 1111 63 0 5550 0
vsize: 22452
[startup+400.019 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14062
Raw data (stat): 14062 (bsolo_lpr_cuts) R 14061 7876 7672 0 -1 0 264625 0 0 0 39251 751 0 0 25 0 1 0 824104572 23707648 5101 4294967295 134512640 134714508 3221221776 3221220080 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5788 5101 1111 63 0 5725 0
vsize: 23152
[startup+410.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14062
Raw data (stat): 14062 (bsolo_lpr_cuts) R 14061 7876 7672 0 -1 0 270215 0 0 0 40235 766 0 0 25 0 1 0 824104572 23908352 5150 4294967295 134512640 134714508 3221221776 3221219512 1077380592 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5837 5150 1111 63 0 5774 0
vsize: 23348
[startup+420.019 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14062
Raw data (stat): 14062 (bsolo_lpr_cuts) R 14061 7876 7672 0 -1 0 277344 0 0 0 41216 785 0 0 25 0 1 0 824104572 24215552 5222 4294967295 134512640 134714508 3221221776 3221220488 134543144 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5912 5222 1111 63 0 5849 0
vsize: 23648
[startup+430.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14062
Raw data (stat): 14062 (bsolo_lpr_cuts) R 14061 7876 7672 0 -1 0 282450 0 0 0 42204 798 0 0 25 0 1 0 824104572 24653824 5332 4294967295 134512640 134714508 3221221776 3221220236 134543156 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6019 5332 1111 63 0 5956 0
vsize: 24076
[startup+440.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14062
Raw data (stat): 14062 (bsolo_lpr_cuts) R 14061 7876 7672 0 -1 0 288867 0 0 0 43188 814 0 0 25 0 1 0 824104572 25174016 5413 4294967295 134512640 134714508 3221221776 3221219424 1075817637 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6146 5413 1111 63 0 6083 0
vsize: 24584
[startup+450.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14062
Raw data (stat): 14062 (bsolo_lpr_cuts) R 14061 7876 7672 0 -1 0 295162 0 0 0 44172 830 0 0 25 0 1 0 824104572 25513984 5493 4294967295 134512640 134714508 3221221776 3221219956 1077782939 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6192 5490 1111 63 0 6129 0
vsize: 24916
[startup+460.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14062
Raw data (stat): 14062 (bsolo_lpr_cuts) R 14061 7876 7672 0 -1 0 301981 0 0 0 45153 849 0 0 25 0 1 0 824104572 25665536 5567 4294967295 134512640 134714508 3221221776 3221220532 134652846 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6266 5567 1111 63 0 6203 0
vsize: 25064
[startup+470.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14062
Raw data (stat): 14062 (bsolo_lpr_cuts) R 14061 7876 7672 0 -1 0 309685 0 0 0 46131 871 0 0 25 0 1 0 824104572 26492928 5690 4294967295 134512640 134714508 3221221776 3221218268 1074798916 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6468 5690 1111 63 0 6405 0
vsize: 25872
[startup+480.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14062
Raw data (stat): 14062 (bsolo_lpr_cuts) R 14061 7876 7672 0 -1 0 317449 0 0 0 47110 892 0 0 25 0 1 0 824104572 26542080 5782 4294967295 134512640 134714508 3221221776 3221220432 134524193 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6480 5782 1111 63 0 6417 0
vsize: 25920
[startup+490.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14062
Raw data (stat): 14062 (bsolo_lpr_cuts) R 14061 7876 7672 0 -1 0 324449 0 0 0 48090 913 0 0 25 0 1 0 824104572 27348992 5912 4294967295 134512640 134714508 3221221776 3221218376 1075850762 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6677 5912 1111 63 0 6614 0
vsize: 26708
[startup+500.021 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14062
Raw data (stat): 14062 (bsolo_lpr_cuts) R 14061 7876 7672 0 -1 0 331862 0 0 0 49070 933 0 0 25 0 1 0 824104572 27381760 5999 4294967295 134512640 134714508 3221221776 3221219696 1075802501 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6685 5999 1111 63 0 6622 0
vsize: 26740
[startup+510.021 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14062
Raw data (stat): 14062 (bsolo_lpr_cuts) R 14061 7876 7672 0 -1 0 349490 0 0 0 50029 974 0 0 25 0 1 0 824104572 27381760 5999 4294967295 134512640 134714508 3221221776 3221219504 1075635645 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6685 5999 1111 63 0 6622 0
vsize: 26740
[startup+520.021 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14062
Raw data (stat): 14062 (bsolo_lpr_cuts) R 14061 7876 7672 0 -1 0 366298 0 0 0 50991 1013 0 0 25 0 1 0 824104572 27516928 6000 4294967295 134512640 134714508 3221221776 3221219504 1075828514 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6718 6000 1111 63 0 6655 0
vsize: 26872
[startup+530.022 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14062
Raw data (stat): 14062 (bsolo_lpr_cuts) R 14061 7876 7672 0 -1 0 369359 0 0 0 51982 1021 0 0 25 0 1 0 824104572 29868032 6488 4294967295 134512640 134714508 3221221776 3221218004 1075115049 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7292 6488 1111 63 0 7229 0
vsize: 29168
[startup+540.021 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14062
Raw data (stat): 14062 (bsolo_lpr_cuts) R 14061 7876 7672 0 -1 0 377720 0 0 0 52962 1041 0 0 25 0 1 0 824104572 27844608 6088 4294967295 134512640 134714508 3221221776 3221219896 1074138150 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6798 6088 1111 63 0 6735 0
vsize: 27192
[startup+550.021 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14062
Raw data (stat): 14062 (bsolo_lpr_cuts) R 14061 7876 7672 0 -1 0 388935 0 0 0 53935 1069 0 0 25 0 1 0 824104572 28389376 6238 4294967295 134512640 134714508 3221221776 3221220088 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6931 6238 1111 63 0 6868 0
vsize: 27724
[startup+560.032 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14062
Raw data (stat): 14062 (bsolo_lpr_cuts) R 14061 7876 7672 0 -1 0 399067 0 0 0 54914 1092 0 0 25 0 1 0 824104572 29581312 6365 4294967295 134512640 134714508 3221221776 3221217936 1075095166 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7222 6365 1111 63 0 7159 0
vsize: 28888
[startup+570.032 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14062
Raw data (stat): 14062 (bsolo_lpr_cuts) R 14061 7876 7672 0 -1 0 409288 0 0 0 55889 1116 0 0 25 0 1 0 824104572 30142464 6510 4294967295 134512640 134714508 3221221776 3221217980 1075564397 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7359 6510 1111 63 0 7296 0
vsize: 29436
[startup+580.032 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14062
Raw data (stat): 14062 (bsolo_lpr_cuts) R 14061 7876 7672 0 -1 0 419116 0 0 0 56865 1140 0 0 25 0 1 0 824104572 29528064 6516 4294967295 134512640 134714508 3221221776 3221220024 1074138166 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7209 6516 1111 63 0 7146 0
vsize: 28836
[startup+590.032 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14062
Raw data (stat): 14062 (bsolo_lpr_cuts) R 14061 7876 7672 0 -1 0 430179 0 0 0 57839 1167 0 0 25 0 1 0 824104572 31592448 6853 4294967295 134512640 134714508 3221221776 3221218840 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7713 6853 1111 63 0 7650 0
vsize: 30852
[startup+600.033 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14062
Raw data (stat): 14062 (bsolo_lpr_cuts) R 14061 7876 7672 0 -1 0 441222 0 0 0 58812 1194 0 0 25 0 1 0 824104572 30175232 6676 4294967295 134512640 134714508 3221221776 3221219824 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7367 6676 1111 63 0 7304 0
vsize: 29468
[startup+610.033 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14062
Raw data (stat): 14062 (bsolo_lpr_cuts) R 14061 7876 7672 0 -1 0 451443 0 0 0 59787 1220 0 0 25 0 1 0 824104572 30527488 6762 4294967295 134512640 134714508 3221221776 3221220128 1074153815 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7453 6762 1111 63 0 7390 0
vsize: 29812
[startup+620.033 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14062
Raw data (stat): 14062 (bsolo_lpr_cuts) R 14061 7876 7672 0 -1 0 464250 0 0 0 60754 1253 0 0 25 0 1 0 824104572 30875648 6847 4294967295 134512640 134714508 3221221776 3221220208 1073990430 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7538 6847 1111 63 0 7475 0
vsize: 30152
[startup+630.034 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14062
Raw data (stat): 14062 (bsolo_lpr_cuts) R 14061 7876 7672 0 -1 0 475334 0 0 0 61726 1280 0 0 25 0 1 0 824104572 31506432 6987 4294967295 134512640 134714508 3221221776 3221220072 1074138150 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7692 6987 1111 63 0 7629 0
vsize: 30768
[startup+640.034 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14062
Raw data (stat): 14062 (bsolo_lpr_cuts) R 14061 7876 7672 0 -1 0 486040 0 0 0 62701 1305 0 0 25 0 1 0 824104572 32251904 7150 4294967295 134512640 134714508 3221221776 3221219776 1074918597 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7874 7150 1111 63 0 7811 0
vsize: 31496
[startup+650.034 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14062
Raw data (stat): 14062 (bsolo_lpr_cuts) R 14061 7876 7672 0 -1 0 497181 0 0 0 63675 1332 0 0 25 0 1 0 824104572 33378304 7278 4294967295 134512640 134714508 3221221776 3221217936 1075095166 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8149 7279 1111 63 0 8086 0
vsize: 32596
[startup+660.034 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14062
Raw data (stat): 14062 (bsolo_lpr_cuts) R 14061 7876 7672 0 -1 0 509819 0 0 0 64643 1364 0 0 25 0 1 0 824104572 32948224 7339 4294967295 134512640 134714508 3221221776 3221220064 1074153669 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8044 7339 1111 63 0 7981 0
vsize: 32176
[startup+670.034 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14062
Raw data (stat): 14062 (bsolo_lpr_cuts) R 14061 7876 7672 0 -1 0 518413 0 0 0 65622 1385 0 0 25 0 1 0 824104572 33464320 7468 4294967295 134512640 134714508 3221221776 3221219920 134650068 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8170 7468 1111 63 0 8107 0
vsize: 32680
[startup+680.034 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14062
Raw data (stat): 14062 (bsolo_lpr_cuts) R 14061 7876 7672 0 -1 0 528968 0 0 0 66596 1411 0 0 25 0 1 0 824104572 34996224 7621 4294967295 134512640 134714508 3221221776 3221218896 1074834431 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8544 7621 1111 63 0 8481 0
vsize: 34176
[startup+690.034 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14062
Raw data (stat): 14062 (bsolo_lpr_cuts) R 14061 7876 7672 0 -1 0 538771 0 0 0 67574 1433 0 0 25 0 1 0 824104572 35164160 7698 4294967295 134512640 134714508 3221221776 3221217936 1075095166 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8585 7709 1111 63 0 8522 0
vsize: 34340
[startup+700.034 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14062
Raw data (stat): 14062 (bsolo_lpr_cuts) R 14061 7876 7672 0 -1 0 547979 0 0 0 68552 1455 0 0 25 0 1 0 824104572 34648064 7752 4294967295 134512640 134714508 3221221776 3221220416 134539518 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8459 7752 1111 63 0 8396 0
vsize: 33836
[startup+710.035 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14062
Raw data (stat): 14062 (bsolo_lpr_cuts) R 14061 7876 7672 0 -1 0 556175 0 0 0 69533 1475 0 0 25 0 1 0 824104572 36016128 7898 4294967295 134512640 134714508 3221221776 3221217936 1075095166 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8793 7908 1111 63 0 8730 0
vsize: 35172
[startup+720.034 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14062
Raw data (stat): 14062 (bsolo_lpr_cuts) R 14061 7876 7672 0 -1 0 563391 0 0 0 70514 1494 0 0 25 0 1 0 824104572 35364864 7928 4294967295 134512640 134714508 3221221776 3221220040 1074138150 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8634 7928 1111 63 0 8571 0
vsize: 34536
[startup+730.034 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14062
Raw data (stat): 14062 (bsolo_lpr_cuts) R 14061 7876 7672 0 -1 0 574695 0 0 0 71486 1522 0 0 25 0 1 0 824104572 35381248 7936 4294967295 134512640 134714508 3221221776 3221220024 1074138150 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8638 7936 1111 63 0 8575 0
vsize: 34552
[startup+740.034 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14062
Raw data (stat): 14062 (bsolo_lpr_cuts) R 14061 7876 7672 0 -1 0 584998 0 0 0 72459 1550 0 0 25 0 1 0 824104572 35688448 8011 4294967295 134512640 134714508 3221221776 3221220016 1074153815 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8713 8011 1111 63 0 8650 0
vsize: 34852
[startup+750.034 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14062
Raw data (stat): 14062 (bsolo_lpr_cuts) R 14061 7876 7672 0 -1 0 595573 0 0 0 73433 1576 0 0 25 0 1 0 824104572 36786176 8063 4294967295 134512640 134714508 3221221776 3221218840 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8981 8063 1111 63 0 8918 0
vsize: 35924
[startup+760.034 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14062
Raw data (stat): 14062 (bsolo_lpr_cuts) R 14061 7876 7672 0 -1 0 608531 0 0 0 74403 1605 0 0 25 0 1 0 824104572 36220928 8141 4294967295 134512640 134714508 3221221776 3221218992 1075550258 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8843 8141 1111 63 0 8780 0
vsize: 35372
[startup+770.034 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14062
Raw data (stat): 14062 (bsolo_lpr_cuts) R 14061 7876 7672 0 -1 0 618934 0 0 0 75380 1629 0 0 25 0 1 0 824104572 37507072 8292 4294967295 134512640 134714508 3221221776 3221217980 1075564273 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9157 8292 1111 63 0 9094 0
vsize: 36628
[startup+780.034 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14062
Raw data (stat): 14062 (bsolo_lpr_cuts) R 14061 7876 7672 0 -1 0 628456 0 0 0 76356 1652 0 0 25 0 1 0 824104572 36794368 8283 4294967295 134512640 134714508 3221221776 3221219600 1075823458 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8983 8283 1111 63 0 8920 0
vsize: 35932
[startup+790.034 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14062
Raw data (stat): 14062 (bsolo_lpr_cuts) R 14061 7876 7672 0 -1 0 638525 0 0 0 77332 1677 0 0 25 0 1 0 824104572 38285312 8476 4294967295 134512640 134714508 3221221776 3221217744 1074872805 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9347 8476 1111 63 0 9284 0
vsize: 37388
[startup+800.034 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14062
Raw data (stat): 14062 (bsolo_lpr_cuts) R 14061 7876 7672 0 -1 0 648282 0 0 0 78307 1702 0 0 25 0 1 0 824104572 37416960 8435 4294967295 134512640 134714508 3221221776 3221219920 1074153672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9135 8435 1111 63 0 9072 0
vsize: 36540
[startup+810.034 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14062
Raw data (stat): 14062 (bsolo_lpr_cuts) R 14061 7876 7672 0 -1 0 656396 0 0 0 79286 1723 0 0 25 0 1 0 824104572 37851136 8530 4294967295 134512640 134714508 3221221776 3221219744 1074247419 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9241 8530 1111 63 0 9178 0
vsize: 36964
[startup+820.034 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14062
Raw data (stat): 14062 (bsolo_lpr_cuts) R 14061 7876 7672 0 -1 0 666047 0 0 0 80262 1747 0 0 25 0 1 0 824104572 38920192 8638 4294967295 134512640 134714508 3221221776 3221217820 1074873534 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9502 8638 1111 63 0 9439 0
vsize: 38008
[startup+830.034 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14062
Raw data (stat): 14062 (bsolo_lpr_cuts) R 14061 7876 7672 0 -1 0 676007 0 0 0 81237 1772 0 0 25 0 1 0 824104572 39329792 8715 4294967295 134512640 134714508 3221221776 3221217936 1075095166 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9602 8725 1111 63 0 9539 0
vsize: 38408
[startup+840.034 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14062
Raw data (stat): 14062 (bsolo_lpr_cuts) R 14061 7876 7672 0 -1 0 686805 0 0 0 82210 1800 0 0 25 0 1 0 824104572 39002112 8798 4294967295 134512640 134714508 3221221776 3221220284 134535900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9522 8798 1111 63 0 9459 0
vsize: 38088
[startup+850.034 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14062
Raw data (stat): 14062 (bsolo_lpr_cuts) R 14061 7876 7672 0 -1 0 695781 0 0 0 83189 1821 0 0 25 0 1 0 824104572 39141376 8832 4294967295 134512640 134714508 3221221776 3221220112 1074153815 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9556 8832 1111 63 0 9493 0
vsize: 38224
[startup+860.034 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14062
Raw data (stat): 14062 (bsolo_lpr_cuts) R 14061 7876 7672 0 -1 0 705602 0 0 0 84166 1844 0 0 25 0 1 0 824104572 39223296 8852 4294967295 134512640 134714508 3221221776 3221220220 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9576 8852 1111 63 0 9513 0
vsize: 38304
[startup+870.034 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14062
Raw data (stat): 14062 (bsolo_lpr_cuts) R 14061 7876 7672 0 -1 0 715719 0 0 0 85143 1867 0 0 25 0 1 0 824104572 40603648 9039 4294967295 134512640 134714508 3221221776 3221217876 1075964248 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9913 9039 1111 63 0 9850 0
vsize: 39652
[startup+880.035 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14062
Raw data (stat): 14062 (bsolo_lpr_cuts) R 14061 7876 7672 0 -1 0 726382 0 0 0 86120 1890 0 0 25 0 1 0 824104572 40894464 9046 4294967295 134512640 134714508 3221221776 3221218816 1075971414 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9984 9049 1111 63 0 9921 0
vsize: 39936
[startup+890.035 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14062
Raw data (stat): 14062 (bsolo_lpr_cuts) R 14061 7876 7672 0 -1 0 736529 0 0 0 87097 1914 0 0 25 0 1 0 824104572 40255488 9106 4294967295 134512640 134714508 3221221776 3221220176 1074153675 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9828 9106 1111 63 0 9765 0
vsize: 39312
[startup+900.036 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14062
Raw data (stat): 14062 (bsolo_lpr_cuts) R 14061 7876 7672 0 -1 0 744452 0 0 0 88077 1934 0 0 25 0 1 0 824104572 41414656 9180 4294967295 134512640 134714508 3221221776 3221218840 1075007305 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10000 9172 1111 63 0 9937 0
vsize: 40444
[startup+910.036 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14062
Raw data (stat): 14062 (bsolo_lpr_cuts) R 14061 7876 7672 0 -1 0 753998 0 0 0 89054 1957 0 0 25 0 1 0 824104572 40681472 9210 4294967295 134512640 134714508 3221221776 3221220172 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9932 9210 1111 63 0 9869 0
vsize: 39728
[startup+920.036 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14062
Raw data (stat): 14062 (bsolo_lpr_cuts) R 14061 7876 7672 0 -1 0 763658 0 0 0 90029 1982 0 0 25 0 1 0 824104572 41005056 9289 4294967295 134512640 134714508 3221221776 3221220112 1073986742 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10011 9289 1111 63 0 9948 0
vsize: 40044
[startup+930.036 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14062
Raw data (stat): 14062 (bsolo_lpr_cuts) R 14061 7876 7672 0 -1 0 772904 0 0 0 91008 2004 0 0 25 0 1 0 824104572 42127360 9405 4294967295 134512640 134714508 3221221776 3221218048 1074960781 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10285 9405 1111 63 0 10222 0
vsize: 41140
[startup+940.036 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14062
Raw data (stat): 14062 (bsolo_lpr_cuts) R 14061 7876 7672 0 -1 0 782522 0 0 0 91985 2026 0 0 25 0 1 0 824104572 41541632 9420 4294967295 134512640 134714508 3221221776 3221219776 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10142 9420 1111 63 0 10079 0
vsize: 40568
[startup+950.037 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14062
Raw data (stat): 14062 (bsolo_lpr_cuts) R 14061 7876 7672 0 -1 0 791721 0 0 0 92963 2049 0 0 25 0 1 0 824104572 42573824 9500 4294967295 134512640 134714508 3221221776 3221217984 1074815265 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10394 9500 1111 63 0 10331 0
vsize: 41576
[startup+960.038 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14062
Raw data (stat): 14062 (bsolo_lpr_cuts) R 14061 7876 7672 0 -1 0 800530 0 0 0 93942 2070 0 0 25 0 1 0 824104572 41824256 9489 4294967295 134512640 134714508 3221221776 3221219712 1074051901 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10211 9489 1111 63 0 10148 0
vsize: 40844
[startup+970.038 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14062
Raw data (stat): 14062 (bsolo_lpr_cuts) R 14061 7876 7672 0 -1 0 808669 0 0 0 94923 2089 0 0 25 0 1 0 824104572 42901504 9528 4294967295 134512640 134714508 3221221776 3221218696 1074950074 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10474 9531 1111 63 0 10411 0
vsize: 41896
[startup+980.038 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14062
Raw data (stat): 14062 (bsolo_lpr_cuts) R 14061 7876 7672 0 -1 0 817818 0 0 0 95900 2112 0 0 25 0 1 0 824104572 43139072 9589 4294967295 134512640 134714508 3221221776 3221218840 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10532 9589 1111 63 0 10469 0
vsize: 42128
[startup+990.038 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14062
Raw data (stat): 14062 (bsolo_lpr_cuts) R 14061 7876 7672 0 -1 0 826726 0 0 0 96878 2135 0 0 25 0 1 0 824104572 42680320 9669 4294967295 134512640 134714508 3221221776 3221217692 1074860626 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10420 9669 1111 63 0 10357 0
vsize: 41680
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14062
Raw data (stat): 14062 (bsolo_lpr_cuts) R 14061 7876 7672 0 -1 0 835985 0 0 0 97855 2158 0 0 25 0 1 0 824104572 43671552 9778 4294967295 134512640 134714508 3221221776 3221218004 1075115070 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10662 9778 1111 63 0 10599 0
vsize: 42648
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14062
Raw data (stat): 14062 (bsolo_lpr_cuts) R 14061 7876 7672 0 -1 0 845321 0 0 0 98832 2181 0 0 25 0 1 0 824104572 42901504 9739 4294967295 134512640 134714508 3221221776 3221220192 1074116190 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10474 9739 1111 63 0 10411 0
vsize: 41896
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14062
Raw data (stat): 14062 (bsolo_lpr_cuts) R 14061 7876 7672 0 -1 0 852998 0 0 0 99814 2199 0 0 25 0 1 0 824104572 42913792 9755 4294967295 134512640 134714508 3221221776 3221219848 1074138166 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10477 9755 1111 63 0 10414 0
vsize: 41908
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14062
Raw data (stat): 14062 (bsolo_lpr_cuts) R 14061 7876 7672 0 -1 0 862653 0 0 0 100789 2224 0 0 25 0 1 0 824104572 44675072 9988 4294967295 134512640 134714508 3221221776 3221217788 1074788964 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10907 9988 1111 63 0 10844 0
vsize: 43628
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14062
Raw data (stat): 14062 (bsolo_lpr_cuts) R 14061 7876 7672 0 -1 0 870336 0 0 0 101770 2244 0 0 25 0 1 0 824104572 44961792 10024 4294967295 134512640 134714508 3221221776 3221218840 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10977 10024 1111 63 0 10914 0
vsize: 43908
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14062
Raw data (stat): 14062 (bsolo_lpr_cuts) R 14061 7876 7672 0 -1 0 878300 0 0 0 102749 2264 0 0 25 0 1 0 824104572 44249088 10057 4294967295 134512640 134714508 3221221776 3221219968 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10803 10057 1111 63 0 10740 0
vsize: 43212
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14062
Raw data (stat): 14062 (bsolo_lpr_cuts) R 14061 7876 7672 0 -1 0 886580 0 0 0 103729 2285 0 0 25 0 1 0 824104572 44421120 10100 4294967295 134512640 134714508 3221221776 3221220080 1074153672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10845 10100 1111 63 0 10782 0
vsize: 43380
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14062
Raw data (stat): 14062 (bsolo_lpr_cuts) R 14061 7876 7672 0 -1 0 893693 0 0 0 104711 2302 0 0 25 0 1 0 824104572 44646400 10155 4294967295 134512640 134714508 3221221776 3221220080 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10900 10155 1111 63 0 10837 0
vsize: 43600
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14062
Raw data (stat): 14062 (bsolo_lpr_cuts) R 14061 7876 7672 0 -1 0 900757 0 0 0 105694 2320 0 0 25 0 1 0 824104572 47284224 10693 4294967295 134512640 134714508 3221221776 3221217952 1074882610 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11544 10693 1111 63 0 11481 0
vsize: 46176
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14062
Raw data (stat): 14062 (bsolo_lpr_cuts) R 14061 7876 7672 0 -1 0 907124 0 0 0 106678 2336 0 0 25 0 1 0 824104572 44896256 10206 4294967295 134512640 134714508 3221221776 3221220192 1074116342 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10961 10206 1111 63 0 10898 0
vsize: 43844
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14062
Raw data (stat): 14062 (bsolo_lpr_cuts) R 14061 7876 7672 0 -1 0 916988 0 0 0 107656 2359 0 0 25 0 1 0 824104572 45449216 10327 4294967295 134512640 134714508 3221221776 3221219944 1074138162 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11096 10327 1111 63 0 11033 0
vsize: 44384
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14062
Raw data (stat): 14062 (bsolo_lpr_cuts) R 14061 7876 7672 0 -1 0 927132 0 0 0 108630 2385 0 0 25 0 1 0 824104572 46710784 10421 4294967295 134512640 134714508 3221221776 3221218760 1074831581 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11404 10421 1111 63 0 11341 0
vsize: 45616
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14062
Raw data (stat): 14062 (bsolo_lpr_cuts) R 14061 7876 7672 0 -1 0 936738 0 0 0 109606 2409 0 0 25 0 1 0 824104572 46039040 10471 4294967295 134512640 134714508 3221221776 3221220088 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11240 10471 1111 63 0 11177 0
vsize: 44960
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14062
Raw data (stat): 14062 (bsolo_lpr_cuts) R 14061 7876 7672 0 -1 0 946454 0 0 0 110583 2431 0 0 25 0 1 0 824104572 47423488 10647 4294967295 134512640 134714508 3221221776 3221218896 1074834348 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11411 10583 1111 63 0 11348 0
vsize: 46312
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14062
Raw data (stat): 14062 (bsolo_lpr_cuts) R 14061 7876 7672 0 -1 0 955513 0 0 0 111562 2453 0 0 25 0 1 0 824104572 47861760 10759 4294967295 134512640 134714508 3221221776 3221218004 1075115039 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11685 10759 1111 63 0 11622 0
vsize: 46740
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14062
Raw data (stat): 14062 (bsolo_lpr_cuts) R 14061 7876 7672 0 -1 0 965579 0 0 0 112537 2478 0 0 25 0 1 0 824104572 47198208 10760 4294967295 134512640 134714508 3221221776 3221219944 1077378180 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11523 10760 1111 63 0 11460 0
vsize: 46092
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14062
Raw data (stat): 14062 (bsolo_lpr_cuts) R 14061 7876 7672 0 -1 0 977034 0 0 0 113508 2507 0 0 25 0 1 0 824104572 47562752 10849 4294967295 134512640 134714508 3221221776 3221220008 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11612 10849 1111 63 0 11549 0
vsize: 46448
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 14062
Raw data (stat): 14062 (bsolo_lpr_cuts) R 14061 7876 7672 0 -1 0 984643 0 0 0 114489 2526 0 0 25 0 1 0 824104572 48783360 10996 4294967295 134512640 134714508 3221221776 3221217776 1075965232 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11910 10996 1111 63 0 11847 0
vsize: 47640
[startup+1175.01 s]
Raw data (loadavg): 0.99 0.98 0.92 1/54 14062
Raw data (stat): 14062 (bsolo_lpr_cuts) R 14061 7876 7672 0 -1 0 984643 0 0 0 114489 2526 0 0 25 0 1 0 824104572 48783360 10996 4294967295 134512640 134714508 3221221776 3221217776 1075965232 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11910 10996 1111 63 0 11847 0
vsize: 0

Child status: 10
Real time (s): 1175.01
CPU time (s): 1175.13
CPU user time (s): 1149.74
CPU system time (s): 25.3861
CPU usage (%): 100.01
Max. virtual memory (Kb): 47640
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	0
#### END VERIFIER DATA ####