PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-misc05.opb
MD5SUM	4f7891bf040f9fa135208e1a9808a8bc
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1430464
Optimality of the best value was proved	NO
Number of terms in the objective function	21
Biggest coefficient in the objective function	1048576
Number of bits for the biggest coefficient in the objective function	21
Sum of the numbers in the objective function	2097151
Number of bits of the sum of numbers in the objective function	21
Biggest number in a constraint	5242880
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	81788220
Number of bits of the biggest sum of numbers	27
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	6.00309
Number of variables	1320
Total number of constraints	374
Number of constraints which are clauses	155
Number of constraints which are cardinality constraints (but not clauses)	82
Number of constraints which are nor clauses,nor cardinality constraints	137
Minimum length of a constraint	1
Maximum length of a constraint	301
Trace number 40293

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-08 05:57:57 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28351 boxname=wulflinc1 idbench=1307 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  4f7891bf040f9fa135208e1a9808a8bc  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-misc05.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-misc05.opb
IDLAUNCH: 28351
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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	: 2
cpu MHz		: 451.053
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:        617268 kB
Buffers:         27824 kB
Cached:         364324 kB
SwapCached:       1164 kB
Active:          36352 kB
Inactive:       357996 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        617016 kB
SwapTotal:     2097136 kB
SwapFree:      2094844 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5256 kB
Slab:            17352 kB
Committed_AS:    92720 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 06:17:32 (client local time) WITH STATUS 10 IN 1175.18 SECONDS
stats: 28351 0 1175.18 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 1320 variables and 329 constraints.
c After prepocess the problem consists of 963 variables and 4792 constraints.
c preprocess terminated 61.703 s
c Initial Lower Bound: 1423604
c Lower Bound Elapsed time: 4.01825
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 1451520 @ 81.357
c NEW SOLUTION FOUND: 1436160 @ 81.359
c NEW SOLUTION FOUND: 1430464 @ 502.163
s SATISFIABLE
v -COL133_bit_7 -COL133_bit_6 -COL133_bit_5 -COL133_bit_4 -COL133_bit_3 -COL133_bit_2 COL133_bit_1 COL133_bit0 COL133_bit1 COL133_bit2 -COL133_bit3 -COL133_bit4 COL133_bit5 -COL133_bit6 COL133_bit7 COL133_bit8 COL133_bit9 -COL133_bit10 COL133_bit11 -COL133_bit12 COL133_bit13 -COL134_bit_7 -COL134_bit_6 -COL134_bit_5 -COL134_bit_4 -COL134_bit_3 -COL134_bit_2 -COL134_bit_1 COL134_bit0 COL134_bit1 -COL134_bit2 -COL134_bit3 -COL134_bit4 COL134_bit5 -COL134_bit6 COL134_bit7 -COL134_bit8 COL134_bit9 COL134_bit10 -COL134_bit11 -COL134_bit12 COL134_bit13 -COL135_bit_7 -COL135_bit_6 -COL135_bit_5 -COL135_bit_4 -COL135_bit_3 -COL135_bit_2 -COL135_bit_1 COL135_bit0 -COL135_bit1 COL135_bit2 -COL135_bit3 -COL135_bit4 -COL135_bit5 -COL135_bit6 COL135_bit7 COL135_bit8 COL135_bit9 -COL135_bit10 -COL135_bit11 -COL135_bit12 COL135_bit13 -COL136_bit_7 -COL136_bit_6 -COL136_bit_5 -COL136_bit_4 -COL136_bit_3 -COL136_bit_2 COL136_bit_1 COL136_bit0 -COL136_bit1 COL136_bit2 COL136_bit3 COL136_bit4 COL136_bit5 COL136_bit6 -COL136_bit7 COL136_bit8 -COL136_bit9 -COL136_bit10 -COL136_bit11 -COL136_bit12 COL136_bit13 COL129_bit0 COL130_bit0 -COL115_bit_7 -COL115_bit_6 -COL115_bit_5 -COL115_bit_4 -COL115_bit_3 -COL115_bit_2 -COL115_bit_1 -COL115_bit0 -COL115_bit1 -COL115_bit2 -COL115_bit3 -COL115_bit4 -COL115_bit5 -COL115_bit6 -COL115_bit7 -COL115_bit8 -COL115_bit9 -COL115_bit10 -COL115_bit11 -COL115_bit12 -COL116_bit_7 -COL116_bit_6 -COL116_bit_5 -COL116_bit_4 -COL116_bit_3 -COL116_bit_2 -COL116_bit_1 -COL116_bit0 -COL116_bit1 -COL116_bit2 -COL116_bit3 -COL116_bit4 -COL116_bit5 -COL116_bit6 -COL116_bit7 -COL116_bit8 -COL116_bit9 -COL116_bit10 -COL116_bit11 -COL116_bit12 -COL117_bit_7 -COL117_bit_6 -COL117_bit_5 -COL117_bit_4 -COL117_bit_3 -COL117_bit_2 -COL117_bit_1 -COL117_bit0 -COL117_bit1 COL117_bit2 -COL117_bit3 COL117_bit4 COL117_bit5 COL117_bit6 COL117_bit7 COL117_bit8 -COL117_bit9 -COL117_bit10 -COL117_bit11 -COL117_bit12 -COL118_bit_7 -COL118_bit_6 -COL118_bit_5 -COL118_bit_4 -COL118_bit_3 -COL118_bit_2 -COL118_bit_1 -COL118_bit0 COL118_bit1 -COL118_bit2 -COL118_bit3 -COL118_bit4 COL118_bit5 -COL118_bit6 -COL118_bit7 COL118_bit8 -COL118_bit9 -COL118_bit10 -COL118_bit11 -COL118_bit12 -COL119_bit_7 -COL119_bit_6 -COL119_bit_5 -COL119_bit_4 -COL119_bit_3 -COL119_bit_2 -COL119_bit_1 -COL119_bit0 -COL119_bit1 -COL119_bit2 -COL119_bit3 -COL119_bit4 -COL119_bit5 -COL119_bit6 -COL119_bit7 -COL119_bit8 -COL119_bit9 -COL119_bit10 -COL119_bit11 -COL119_bit12 -COL120_bit_7 -COL120_bit_6 -COL120_bit_5 -COL120_bit_4 -COL120_bit_3 -COL120_bit_2 -COL120_bit_1 -COL120_bit0 -COL120_bit1 -COL120_bit2 -COL120_bit3 -COL120_bit4 -COL120_bit5 -COL120_bit6 -COL120_bit7 -COL120_bit8 -COL120_bit9 -COL120_bit10 -COL120_bit11 -COL120_bit12 -COL121_bit_7 -COL121_bit_6 -COL121_bit_5 -COL121_bit_4 -COL121_bit_3 -COL121_bit_2 -COL121_bit_1 -COL121_bit0 -COL121_bit1 -COL121_bit2 -COL121_bit3 -COL121_bit4 -COL121_bit5 -COL121_bit6 -COL121_bit7 -COL121_bit8 -COL121_bit9 -COL121_bit10 -COL121_bit11 -COL121_bit12 -COL122_bit_7 -COL122_bit_6 -COL122_bit_5 -COL122_bit_4 -COL122_bit_3 -COL122_bit_2 -COL122_bit_1 -COL122_bit0 -COL122_bit1 -COL122_bit2 -COL122_bit3 -COL122_bit4 -COL122_bit5 -COL122_bit6 -COL122_bit7 -COL122_bit8 -COL122_bit9 -COL122_bit10 -COL122_bit11 -COL122_bit12 -COL123_bit_7 -COL123_bit_6 -COL123_bit_5 -COL123_bit_4 -COL123_bit_3 -COL123_bit_2 -COL123_bit_1 -COL123_bit0 -COL123_bit1 -COL123_bit2 -COL123_bit3 -COL123_bit4 -COL123_bit5 -COL123_bit6 -COL123_bit7 -COL123_bit8 -COL123_bit9 -COL123_bit10 -COL123_bit11 -COL123_bit12 -COL124_bit_7 -COL124_bit_6 -COL124_bit_5 -COL124_bit_4 -COL124_bit_3 -COL124_bit_2 -COL124_bit_1 -COL124_bit0 -COL124_bit1 -COL124_bit2 -COL124_bit3 -COL124_bit4 -COL124_bit5 -COL124_bit6 -COL124_bit7 -COL124_bit8 -COL124_bit9 -COL124_bit10 -COL124_bit11 -COL124_bit12 -COL125_bit_7 -COL125_bit_6 -COL125_bit_5 -COL125_bit_4 -COL125_bit_3 -COL125_bit_2 -COL125_bit_1 -COL125_bit0 -COL125_bit1 -COL125_bit2 -COL125_bit3 -COL125_bit4 -COL125_bit5 -COL125_bit6 -COL125_bit7 -COL125_bit8 -COL125_bit9 -COL125_bit10 -COL125_bit11 -COL125_bit12 -COL126_bit_7 -COL126_bit_6 -COL126_bit_5 -COL126_bit_4 -COL126_bit_3 -COL126_bit_2 -COL126_bit_1 -COL126_bit0 COL126_bit1 COL126_bit2 COL126_bit3 -COL126_bit4 -COL126_bit5 -COL126_bit6 -COL126_bit7 COL126_bit8 -COL126_bit9 -COL126_bit10 -COL126_bit11 -COL126_bit12 -COL127_bit_7 -COL127_bit_6 -COL127_bit_5 -COL127_bit_4 -COL127_bit_3 -COL127_bit_2 -COL127_bit_1 -COL127_bit0 -COL127_bit1 -COL127_bit2 -COL127_bit3 -COL127_bit4 -COL127_bit5 -COL127_bit6 -COL127_bit7 -COL127_bit8 -COL127_bit9 -COL127_bit10 -COL127_bit11 -COL127_bit12 -COL128_bit_7 -COL128_bit_6 -COL128_bit_5 -COL128_bit_4 -COL128_bit_3 -COL128_bit_2 -COL128_bit_1 -COL128_bit0 -COL128_bit1 -COL128_bit2 -COL128_bit3 -COL128_bit4 -COL128_bit5 -COL128_bit6 -COL128_bit7 -COL128_bit8 -COL128_bit9 -COL128_bit10 -COL128_bit11 -COL128_bit12 -COL001_bit0 -COL002_bit0 -COL003_bit0 -COL004_bit0 -COL005_bit0 -COL006_bit0 COL007_bit0 -COL008_bit0 -COL009_bit0 -COL010_bit0 -COL011_bit0 -COL012_bit0 -COL013_bit0 -COL014_bit0 COL015_bit0 -COL016_bit0 COL017_bit0 -COL018_bit0 -COL019_bit0 -COL020_bit0 -COL021_bit0 -COL022_bit0 -COL024_bit0 -COL025_bit0 COL026_bit0 -COL027_bit0 -COL028_bit0 -COL029_bit0 -COL030_bit0 -COL031_bit0 -COL032_bit0 -COL033_bit0 -COL034_bit0 -COL035_bit0 -COL036_bit0 COL037_bit0 -COL038_bit0 -COL039_bit0 -COL040_bit0 -COL041_bit0 -COL042_bit0 -COL043_bit0 -COL044_bit0 -COL045_bit0 COL046_bit0 -COL047_bit0 -COL048_bit0 -COL049_bit0 -COL050_bit0 -COL051_bit0 -COL052_bit0 -COL053_bit0 -COL054_bit0 -COL055_bit0 -COL057_bit0 -COL058_bit0 COL060_bit0 -COL061_bit0 -COL062_bit0 -COL063_bit0 -COL064_bit0 -COL065_bit0 -COL066_bit0 -COL067_bit0 -COL068_bit0 COL069_bit0 -COL070_bit0 -COL072_bit0 -COL023_bit0 COL056_bit0 COL059_bit0 -COL071_bit0 -COL073_bit_7 -COL073_bit_6 -COL073_bit_5 -COL073_bit_4 -COL073_bit_3 -COL073_bit_2 -COL073_bit_1 -COL073_bit0 -COL073_bit1 -COL073_bit2 -COL073_bit3 -COL073_bit4 -COL073_bit5 -COL073_bit6 -COL073_bit7 -COL073_bit8 -COL073_bit9 -COL073_bit10 -COL073_bit11 -COL073_bit12 -COL074_bit_7 -COL074_bit_6 -COL074_bit_5 -COL074_bit_4 -COL074_bit_3 -COL074_bit_2 -COL074_bit_1 -COL074_bit0 -COL074_bit1 -COL074_bit2 -COL074_bit3 -COL074_bit4 -COL074_bit5 -COL074_bit6 -COL074_bit7 -COL074_bit8 -COL074_bit9 -COL074_bit10 -COL074_bit11 -COL074_bit12 -COL075_bit_7 -COL075_bit_6 -COL075_bit_5 -COL075_bit_4 -COL075_bit_3 -COL075_bit_2 -COL075_bit_1 -COL075_bit0 -COL075_bit1 -COL075_bit2 -COL075_bit3 -COL075_bit4 -COL075_bit5 -COL075_bit6 -COL075_bit7 -COL075_bit8 -COL075_bit9 -COL075_bit10 -COL075_bit11 -COL075_bit12 -COL076_bit_7 -COL076_bit_6 -COL076_bit_5 -COL076_bit_4 -COL076_bit_3 -COL076_bit_2 -COL076_bit_1 -COL076_bit0 -COL076_bit1 -COL076_bit2 -COL076_bit3 -COL076_bit4 -COL076_bit5 -COL076_bit6 -COL076_bit7 -COL076_bit8 -COL076_bit9 -COL076_bit10 -COL076_bit11 -COL076_bit12 -COL077_bit_7 -COL077_bit_6 -COL077_bit_5 -COL077_bit_4 -COL077_bit_3 -COL077_bit_2 -COL077_bit_1 -COL077_bit0 -COL077_bit1 -COL077_bit2 -COL077_bit3 -COL077_bit4 -COL077_bit5 -COL077_bit6 -COL077_bit7 -COL077_bit8 -COL077_bit9 -COL077_bit10 -COL077_bit11 -COL077_bit12 -COL078_bit_7 -COL078_bit_6 -COL078_bit_5 -COL078_bit_4 -COL078_bit_3 -COL078_bit_2 -COL078_bit_1 -COL078_bit0 -COL078_bit1 -COL078_bit2 -COL078_bit3 -COL078_bit4 -COL078_bit5 -COL078_bit6 -COL078_bit7 -COL078_bit8 -COL078_bit9 -COL078_bit10 -COL078_bit11 -COL078_bit12 -COL079_bit_7 -COL079_bit_6 -COL079_bit_5 -COL079_bit_4 -COL079_bit_3 -COL079_bit_2 -COL079_bit_1 -COL079_bit0 -COL079_bit1 -COL079_bit2 -COL079_bit3 -COL079_bit4 -COL079_bit5 -COL079_bit6 -COL079_bit7 -COL079_bit8 -COL079_bit9 -COL079_bit10 -COL079_bit11 -COL079_bit12 -COL085_bit_7 -COL085_bit_6 -COL085_bit_5 -COL085_bit_4 -COL085_bit_3 -COL085_bit_2 -COL085_bit_1 -COL085_bit0 -COL085_bit1 COL085_bit2 COL085_bit3 -COL085_bit4 COL085_bit5 -COL085_bit6 -COL085_bit7 COL085_bit8 -COL085_bit9 -COL085_bit10 -COL085_bit11 -COL085_bit12 -COL091_bit_7 -COL091_bit_6 -COL091_bit_5 -COL091_bit_4 -COL091_bit_3 -COL091_bit_2 -COL091_bit_1 -COL091_bit0 -COL091_bit1 -COL091_bit2 -COL091_bit3 -COL091_bit4 -COL091_bit5 -COL091_bit6 -COL091_bit7 -COL091_bit8 -COL091_bit9 -COL091_bit10 -COL091_bit11 -COL091_bit12 -COL097_bit_7 -COL097_bit_6 -COL097_bit_5 -COL097_bit_4 -COL097_bit_3 -COL097_bit_2 -COL097_bit_1 -COL097_bit0 -COL097_bit1 -COL097_bit2 -COL097_bit3 -COL097_bit4 -COL097_bit5 -COL097_bit6 -COL097_bit7 -COL097_bit8 -COL097_bit9 -COL097_bit10 -COL097_bit11 -COL097_bit12 -COL103_bit_7 -COL103_bit_6 -COL103_bit_5 -COL103_bit_4 -COL103_bit_3 -COL103_bit_2 -COL103_bit_1 -COL103_bit0 -COL103_bit1 -COL103_bit2 -COL103_bit3 -COL103_bit4 -COL103_bit5 -COL103_bit6 -COL103_bit7 -COL103_bit8 -COL103_bit9 -COL103_bit10 -COL103_bit11 -COL103_bit12 -COL109_bit_7 -COL109_bit_6 -COL109_bit_5 -COL109_bit_4 -COL109_bit_3 -COL109_bit_2 -COL109_bit_1 -COL109_bit0 -COL109_bit1 -COL109_bit2 -COL109_bit3 -COL109_bit4 -COL109_bit5 -COL109_bit6 -COL109_bit7 -COL109_bit8 -COL109_bit9 -COL109_bit10 -COL109_bit11 -COL109_bit12 -COL080_bit_7 -COL080_bit_6 -COL080_bit_5 -COL080_bit_4 -COL080_bit_3 -COL080_bit_2 -COL080_bit_1 -COL080_bit0 -COL080_bit1 -COL080_bit2 -COL080_bit3 -COL080_bit4 -COL080_bit5 -COL080_bit6 -COL080_bit7 -COL080_bit8 -COL080_bit9 -COL080_bit10 -COL080_bit11 -COL080_bit12 -COL081_bit_7 -COL081_bit_6 -COL081_bit_5 -COL081_bit_4 -COL081_bit_3 -COL081_bit_2 -COL081_bit_1 -COL081_bit0 -COL081_bit1 -COL081_bit2 -COL081_bit3 -COL081_bit4 -COL081_bit5 -COL081_bit6 -COL081_bit7 -COL081_bit8 -COL081_bit9 -COL081_bit10 -COL081_bit11 -COL081_bit12 -COL082_bit_7 -COL082_bit_6 -COL082_bit_5 -COL082_bit_4 -COL082_bit_3 -COL082_bit_2 -COL082_bit_1 -COL082_bit0 -COL082_bit1 -COL082_bit2 -COL082_bit3 -COL082_bit4 -COL082_bit5 -COL082_bit6 -COL082_bit7 -COL082_bit8 -COL082_bit9 -COL082_bit10 -COL082_bit11 -COL082_bit12 -COL083_bit_7 -COL083_bit_6 -COL083_bit_5 -COL083_bit_4 -COL083_bit_3 -COL083_bit_2 -COL083_bit_1 -COL083_bit0 -COL083_bit1 -COL083_bit2 -COL083_bit3 -COL083_bit4 -COL083_bit5 -COL083_bit6 -COL083_bit7 -COL083_bit8 -COL083_bit9 -COL083_bit10 -COL083_bit11 -COL083_bit12 -COL084_bit_7 -COL084_bit_6 -COL084_bit_5 -COL084_bit_4 -COL084_bit_3 -COL084_bit_2 -COL084_bit_1 -COL084_bit0 -COL084_bit1 -COL084_bit2 -COL084_bit3 -COL084_bit4 -COL084_bit5 -COL084_bit6 -COL084_bit7 -COL084_bit8 -COL084_bit9 -COL084_bit10 -COL084_bit11 -COL084_bit12 -COL086_bit_7 -COL086_bit_6 -COL086_bit_5 -COL086_bit_4 -COL086_bit_3 -COL086_bit_2 -COL086_bit_1 -COL086_bit0 -COL086_bit1 -COL086_bit2 -COL086_bit3 -COL086_bit4 -COL086_bit5 -COL086_bit6 -COL086_bit7 -COL086_bit8 -COL086_bit9 -COL086_bit10 -COL086_bit11 -COL086_bit12 -COL092_bit_7 -COL092_bit_6 -COL092_bit_5 -COL092_bit_4 -COL092_bit_3 -COL092_bit_2 -COL092_bit_1 -COL092_bit0 -COL092_bit1 -COL092_bit2 COL092_bit3 -COL092_bit4 COL092_bit5 -COL092_bit6 -COL092_bit7 -COL092_bit8 -COL092_bit9 -COL092_bit10 -COL092_bit11 -COL092_bit12 -COL098_bit_7 -COL098_bit_6 -COL098_bit_5 -COL098_bit_4 -COL098_bit_3 -COL098_bit_2 -COL098_bit_1 -COL098_bit0 -COL098_bit1 -COL098_bit2 -COL098_bit3 -COL098_bit4 -COL098_bit5 -COL098_bit6 -COL098_bit7 -COL098_bit8 -COL098_bit9 -COL098_bit10 -COL098_bit11 -COL098_bit12 -COL104_bit_7 -COL104_bit_6 -COL104_bit_5 -COL104_bit_4 -COL104_bit_3 -COL104_bit_2 -COL104_bit_1 -COL104_bit0 -COL104_bit1 -COL104_bit2 -COL104_bit3 -COL104_bit4 -COL104_bit5 -COL104_bit6 -COL104_bit7 -COL104_bit8 -COL104_bit9 -COL104_bit10 -COL104_bit11 -COL104_bit12 -COL110_bit_7 -COL110_bit_6 -COL110_bit_5 -COL110_bit_4 -COL110_bit_3 -COL110_bit_2 -COL110_bit_1 -COL110_bit0 -COL110_bit1 -COL110_bit2 -COL110_bit3 -COL110_bit4 -COL110_bit5 -COL110_bit6 -COL110_bit7 -COL110_bit8 -COL110_bit9 -COL110_bit10 -COL110_bit11 -COL110_bit12 -COL087_bit_7 -COL087_bit_6 -COL087_bit_5 -COL087_bit_4 -COL087_bit_3 -COL087_bit_2 -COL087_bit_1 -COL087_bit0 -COL087_bit1 -COL087_bit2 -COL087_bit3 -COL087_bit4 -COL087_bit5 -COL087_bit6 -COL087_bit7 -COL087_bit8 -COL087_bit9 -COL087_bit10 -COL087_bit11 -COL087_bit12 -COL088_bit_7 -COL088_bit_6 -COL088_bit_5 -COL088_bit_4 -COL088_bit_3 -COL088_bit_2 -COL088_bit_1 -COL088_bit0 -COL088_bit1 -COL088_bit2 -COL088_bit3 -COL088_bit4 -COL088_bit5 -COL088_bit6 -COL088_bit7 -COL088_bit8 -COL088_bit9 -COL088_bit10 -COL088_bit11 -COL088_bit12 -COL089_bit_7 -COL089_bit_6 -COL089_bit_5 -COL089_bit_4 -COL089_bit_3 -COL089_bit_2 -COL089_bit_1 -COL089_bit0 -COL089_bit1 -COL089_bit2 -COL089_bit3 -COL089_bit4 -COL089_bit5 -COL089_bit6 -COL089_bit7 -COL089_bit8 -COL089_bit9 -COL089_bit10 -COL089_bit11 -COL089_bit12 -COL090_bit_7 -COL090_bit_6 -COL090_bit_5 -COL090_bit_4 -COL090_bit_3 -COL090_bit_2 -COL090_bit_1 -COL090_bit0 -COL090_bit1 -COL090_bit2 -COL090_bit3 -COL090_bit4 -COL090_bit5 -COL090_bit6 -COL090_bit7 -COL090_bit8 -COL090_bit9 -COL090_bit10 -COL090_bit11 -COL090_bit12 -COL093_bit_7 -COL093_bit_6 -COL093_bit_5 -COL093_bit_4 -COL093_bit_3 -COL093_bit_2 -COL093_bit_1 -COL093_bit0 -COL093_bit1 -COL093_bit2 -COL093_bit3 -COL093_bit4 -COL093_bit5 -COL093_bit6 -COL093_bit7 -COL093_bit8 -COL093_bit9 -COL093_bit10 -COL093_bit11 -COL093_bit12 -COL099_bit_7 -COL099_bit_6 -COL099_bit_5 -COL099_bit_4 -COL099_bit_3 -COL099_bit_2 -COL099_bit_1 -COL099_bit0 -COL099_bit1 -COL099_bit2 -COL099_bit3 -COL099_bit4 -COL099_bit5 -COL099_bit6 -COL099_bit7 -COL099_bit8 -COL099_bit9 -COL099_bit10 -COL099_bit11 -COL099_bit12 -COL105_bit_7 -COL105_bit_6 -COL105_bit_5 -COL105_bit_4 -COL105_bit_3 -COL105_bit_2 -COL105_bit_1 -COL105_bit0 -COL105_bit1 -COL105_bit2 -COL105_bit3 -COL105_bit4 -COL105_bit5 -COL105_bit6 -COL105_bit7 -COL105_bit8 -COL105_bit9 -COL105_bit10 -COL105_bit11 -COL105_bit12 -COL111_bit_7 -COL111_bit_6 -COL111_bit_5 -COL111_bit_4 -COL111_bit_3 -COL111_bit_2 -COL111_bit_1 -COL111_bit0 -COL111_bit1 -COL111_bit2 -COL111_bit3 -COL111_bit4 -COL111_bit5 -COL111_bit6 -COL111_bit7 -COL111_bit8 -COL111_bit9 -COL111_bit10 -COL111_bit11 -COL111_bit12 -COL094_bit_7 -COL094_bit_6 -COL094_bit_5 -COL094_bit_4 -COL094_bit_3 -COL094_bit_2 -COL094_bit_1 -COL094_bit0 -COL094_bit1 -COL094_bit2 -COL094_bit3 -COL094_bit4 -COL094_bit5 -COL094_bit6 -COL094_bit7 -COL094_bit8 -COL094_bit9 -COL094_bit10 -COL094_bit11 -COL094_bit12 -COL095_bit_7 -COL095_bit_6 -COL095_bit_5 -COL095_bit_4 -COL095_bit_3 -COL095_bit_2 -COL095_bit_1 -COL095_bit0 -COL095_bit1 -COL095_bit2 -COL095_bit3 -COL095_bit4 -COL095_bit5 -COL095_bit6 -COL095_bit7 -COL095_bit8 -COL095_bit9 -COL095_bit10 -COL095_bit11 -COL095_bit12 -COL096_bit_7 -COL096_bit_6 -COL096_bit_5 -COL096_bit_4 -COL096_bit_3 -COL096_bit_2 -COL096_bit_1 -COL096_bit0 -COL096_bit1 -COL096_bit2 -COL096_bit3 -COL096_bit4 -COL096_bit5 -COL096_bit6 -COL096_bit7 -COL096_bit8 -COL096_bit9 -COL096_bit10 -COL096_bit11 -COL096_bit12 -COL100_bit_7 -COL100_bit_6 -COL100_bit_5 -COL100_bit_4 -COL100_bit_3 -COL100_bit_2 -COL100_bit_1 -COL100_bit0 -COL100_bit1 -COL100_bit2 -COL100_bit3 -COL100_bit4 -COL100_bit5 -COL100_bit6 -COL100_bit7 -COL100_bit8 -COL100_bit9 -COL100_bit10 -COL100_bit11 -COL100_bit12 -COL106_bit_7 -COL106_bit_6 -COL106_bit_5 -COL106_bit_4 -COL106_bit_3 -COL106_bit_2 -COL106_bit_1 -COL106_bit0 -COL106_bit1 -COL106_bit2 -COL106_bit3 -COL106_bit4 -COL106_bit5 -COL106_bit6 -COL106_bit7 -COL106_bit8 -COL106_bit9 -COL106_bit10 -COL106_bit11 -COL106_bit12 -COL112_bit_7 -COL112_bit_6 -COL112_bit_5 -COL112_bit_4 -COL112_bit_3 -COL112_bit_2 -COL112_bit_1 -COL112_bit0 -COL112_bit1 -COL112_bit2 -COL112_bit3 -COL112_bit4 -COL112_bit5 -COL112_bit6 -COL112_bit7 -COL112_bit8 -COL112_bit9 -COL112_bit10 -COL112_bit11 -COL112_bit12 -COL101_bit_7 -COL101_bit_6 -COL101_bit_5 -COL101_bit_4 -COL101_bit_3 -COL101_bit_2 -COL101_bit_1 -COL101_bit0 COL101_bit1 -COL101_bit2 -COL101_bit3 COL101_bit4 -COL101_bit5 COL101_bit6 COL101_bit7 -COL101_bit8 -COL101_bit9 -COL101_bit10 -COL101_bit11 -COL101_bit12 -COL102_bit_7 -COL102_bit_6 -COL102_bit_5 -COL102_bit_4 -COL102_bit_3 -COL102_bit_2 -COL102_bit_1 -COL102_bit0 -COL102_bit1 -COL102_bit2 -COL102_bit3 -COL102_bit4 -COL102_bit5 -COL102_bit6 -COL102_bit7 -COL102_bit8 -COL102_bit9 -COL102_bit10 -COL102_bit11 -COL102_bit12 -COL107_bit_7 -COL107_bit_6 -COL107_bit_5 -COL107_bit_4 -COL107_bit_3 -COL107_bit_2 -COL107_bit_1 -COL107_bit0 -COL107_bit1 -COL107_bit2 -COL107_bit3 -COL107_bit4 -COL107_bit5 -COL107_bit6 -COL107_bit7 -COL107_bit8 -COL107_bit9 -COL107_bit10 -COL107_bit11 -COL107_bit12 -COL113_bit_7 -COL113_bit_6 -COL113_bit_5 -COL113_bit_4 -COL113_bit_3 -COL113_bit_2 -COL113_bit_1 -COL113_bit0 -COL113_bit1 -COL113_bit2 -COL113_bit3 -COL113_bit4 -COL113_bit5 -COL113_bit6 -COL113_bit7 -COL113_bit8 -COL113_bit9 -COL113_bit10 -COL113_bit11 -COL113_bit12 -COL108_bit_7 -COL108_bit_6 -COL108_bit_5 -COL108_bit_4 -COL108_bit_3 -COL108_bit_2 -COL108_bit_1 -COL108_bit0 -COL108_bit1 COL108_bit2 -COL108_bit3 COL108_bit4 COL108_bit5 -COL108_bit6 COL108_bit7 -COL108_bit8 -COL108_bit9 -COL108_bit10 -COL108_bit11 -COL108_bit12 -COL114_bit_7 -COL114_bit_6 -COL114_bit_5 -COL114_bit_4 -COL114_bit_3 -COL114_bit_2 -COL114_bit_1 -COL114_bit0 -COL114_bit1 -COL114_bit2 -COL114_bit3 -COL114_bit4 -COL114_bit5 -COL114_bit6 -COL114_bit7 -COL114_bit8 -COL114_bit9 -COL114_bit10 -COL114_bit11 -COL114_bit12 -COL131_bit_7 -COL131_bit_6 -COL131_bit_5 -COL131_bit_4 -COL131_bit_3 -COL131_bit_2 -COL131_bit_1 COL131_bit0 -COL131_bit1 -COL131_bit2 -COL131_bit3 -COL131_bit4 -COL131_bit5 -COL131_bit6 -COL131_bit7 -COL131_bit8 -COL131_bit9 -COL131_bit10 -COL131_bit11 -COL131_bit12 COL131_bit13 -COL132_bit_7 -COL132_bit_6 -COL132_bit_5 -COL132_bit_4 -COL132_bit_3 -COL132_bit_2 -COL132_bit_1 -COL132_bit0 -COL132_bit1 -COL132_bit2 -COL132_bit3 -COL132_bit4 -COL132_bit5 -COL132_bit6 -COL132_bit7 -COL132_bit8 -COL132_bit9 -COL132_bit10 -COL132_bit11 -COL132_bit12 COL132_bit13 
c Exit Code: 10
c Total time: 1175.16 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
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.70 0.90 0.89 2/55 19361
Raw data (stat): 19361 (runsolver) D 19360 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 18 0 1 0 842435210 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 3225161850 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+9.99951 s]
Raw data (loadavg): 0.75 0.90 0.89 2/55 19361
Raw data (stat): 19361 (bsolo_lpr-v2) R 19360 8378 8377 0 -1 0 2770 0 0 0 992 5 0 0 25 0 1 0 842435210 14561280 2687 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3555 2687 1111 63 0 3492 0
vsize: 14220
[startup+20.0003 s]
Raw data (loadavg): 0.79 0.90 0.89 2/55 19361
Raw data (stat): 19361 (bsolo_lpr-v2) R 19360 8378 8377 0 -1 0 2896 0 0 0 1991 6 0 0 25 0 1 0 842435210 14970880 2813 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3655 2813 1111 63 0 3592 0
vsize: 14620
[startup+30.0001 s]
Raw data (loadavg): 0.82 0.90 0.89 2/55 19361
Raw data (stat): 19361 (bsolo_lpr-v2) R 19360 8378 8377 0 -1 0 3034 0 0 0 2991 6 0 0 25 0 1 0 842435210 15515648 2951 4294967295 134512640 134716908 3221224576 3221223228 134558608 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3788 2951 1111 63 0 3725 0
vsize: 15152
[startup+39.9999 s]
Raw data (loadavg): 0.85 0.91 0.89 2/55 19361
Raw data (stat): 19361 (bsolo_lpr-v2) R 19360 8378 8377 0 -1 0 3144 0 0 0 3991 7 0 0 25 0 1 0 842435210 16056320 3061 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3920 3061 1111 63 0 3857 0
vsize: 15680
[startup+50.0007 s]
Raw data (loadavg): 0.87 0.91 0.89 2/55 19361
Raw data (stat): 19361 (bsolo_lpr-v2) R 19360 8378 8377 0 -1 0 3269 0 0 0 4990 8 0 0 25 0 1 0 842435210 16596992 3186 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4052 3186 1111 63 0 3989 0
vsize: 16208
[startup+60.0004 s]
Raw data (loadavg): 0.89 0.91 0.89 2/55 19361
Raw data (stat): 19361 (bsolo_lpr-v2) R 19360 8378 8377 0 -1 0 3483 0 0 0 5989 9 0 0 25 0 1 0 842435210 17412096 3400 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4251 3400 1111 63 0 4188 0
vsize: 17004
[startup+70.0012 s]
Raw data (loadavg): 0.91 0.91 0.89 2/55 19361
Raw data (stat): 19361 (bsolo_lpr-v2) R 19360 8378 8377 0 -1 0 5329 0 0 0 6985 13 0 0 25 0 1 0 842435210 25026560 5035 4294967295 134512640 134716908 3221224576 3221220720 1075115709 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6110 5035 1111 63 0 6047 0
vsize: 24440
[startup+80.002 s]
Raw data (loadavg): 0.92 0.92 0.89 2/55 19361
Raw data (stat): 19361 (bsolo_lpr-v2) R 19360 8378 8377 0 -1 0 8870 0 0 0 7977 21 0 0 25 0 1 0 842435210 21766144 4614 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5314 4614 1111 63 0 5251 0
vsize: 21256
[startup+90.0018 s]
Raw data (loadavg): 0.93 0.92 0.90 2/55 19361
Raw data (stat): 19361 (bsolo_lpr-v2) R 19360 8378 8377 0 -1 0 11181 0 0 0 8971 28 0 0 25 0 1 0 842435210 22077440 4709 4294967295 134512640 134716908 3221224576 3221222872 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5390 4709 1111 63 0 5327 0
vsize: 21560
[startup+100.002 s]
Raw data (loadavg): 0.94 0.92 0.90 2/55 19361
Raw data (stat): 19361 (bsolo_lpr-v2) R 19360 8378 8377 0 -1 0 14108 0 0 0 9964 35 0 0 25 0 1 0 842435210 22077440 4709 4294967295 134512640 134716908 3221224576 3221222976 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5390 4709 1111 63 0 5327 0
vsize: 21560
[startup+110.001 s]
Raw data (loadavg): 0.95 0.92 0.90 2/55 19361
Raw data (stat): 19361 (bsolo_lpr-v2) R 19360 8378 8377 0 -1 0 16707 0 0 0 10958 41 0 0 25 0 1 0 842435210 22077440 4709 4294967295 134512640 134716908 3221224576 3221222224 1075818175 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5390 4709 1111 63 0 5327 0
vsize: 21560
[startup+120.002 s]
Raw data (loadavg): 0.96 0.92 0.90 2/55 19361
Raw data (stat): 19361 (bsolo_lpr-v2) R 19360 8378 8377 0 -1 0 18988 0 0 0 11952 47 0 0 25 0 1 0 842435210 22069248 4709 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5388 4709 1111 63 0 5325 0
vsize: 21552
[startup+130.002 s]
Raw data (loadavg): 0.96 0.93 0.90 2/59 19404
Raw data (stat): 19361 (bsolo_lpr-v2) R 19360 8378 8377 0 -1 0 22009 0 0 0 12944 55 0 0 25 0 1 0 842435210 22069248 4709 4294967295 134512640 134716908 3221224576 3221223180 1074152784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5388 4709 1111 63 0 5325 0
vsize: 21552
[startup+140.002 s]
Raw data (loadavg): 0.97 0.93 0.90 2/55 19414
Raw data (stat): 19361 (bsolo_lpr-v2) R 19360 8378 8377 0 -1 0 24663 0 0 0 13936 63 0 0 25 0 1 0 842435210 24686592 4746 4294967295 134512640 134716908 3221224576 3221221040 1075602704 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6027 4746 1111 63 0 5964 0
vsize: 24108
[startup+150.113 s]
Raw data (loadavg): 0.97 0.93 0.90 2/55 19414
Raw data (stat): 19361 (bsolo_lpr-v2) R 19360 8378 8377 0 -1 0 27360 0 0 0 14940 71 0 0 25 0 1 0 842435210 22069248 4707 4294967295 134512640 134716908 3221224576 3221222832 1074057992 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5388 4707 1111 63 0 5325 0
vsize: 21552
[startup+160.112 s]
Raw data (loadavg): 0.98 0.93 0.90 2/55 19414
Raw data (stat): 19361 (bsolo_lpr-v2) R 19360 8378 8377 0 -1 0 29944 0 0 0 15932 78 0 0 25 0 1 0 842435210 22040576 4702 4294967295 134512640 134716908 3221224576 3221222880 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5381 4702 1111 63 0 5318 0
vsize: 21524
[startup+170.112 s]
Raw data (loadavg): 0.98 0.93 0.90 2/55 19414
Raw data (stat): 19361 (bsolo_lpr-v2) R 19360 8378 8377 0 -1 0 34338 0 0 0 16921 90 0 0 25 0 1 0 842435210 25665536 4981 4294967295 134512640 134716908 3221224576 3221220804 1075115070 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6266 4981 1111 63 0 6203 0
vsize: 25064
[startup+180.112 s]
Raw data (loadavg): 0.98 0.94 0.90 2/55 19414
Raw data (stat): 19361 (bsolo_lpr-v2) R 19360 8378 8377 0 -1 0 36288 0 0 0 17916 95 0 0 25 0 1 0 842435210 24854528 5092 4294967295 134512640 134716908 3221224576 3221220752 1074882614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6068 5092 1111 63 0 6005 0
vsize: 24272
[startup+190.112 s]
Raw data (loadavg): 0.98 0.94 0.91 2/55 19416
Raw data (stat): 19361 (bsolo_lpr-v2) R 19360 8378 8377 0 -1 0 36819 0 0 0 18915 96 0 0 25 0 1 0 842435210 24506368 5018 4294967295 134512640 134716908 3221224576 3221220620 1074873514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5983 5018 1111 63 0 5920 0
vsize: 23932
[startup+200.111 s]
Raw data (loadavg): 0.99 0.94 0.91 2/55 19416
Raw data (stat): 19361 (bsolo_lpr-v2) R 19360 8378 8377 0 -1 0 37580 0 0 0 19913 98 0 0 25 0 1 0 842435210 22675456 4857 4294967295 134512640 134716908 3221224576 3221222960 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5536 4857 1111 63 0 5473 0
vsize: 22144
[startup+210.112 s]
Raw data (loadavg): 0.99 0.94 0.91 2/55 19418
Raw data (stat): 19361 (bsolo_lpr-v2) R 19360 8378 8377 0 -1 0 39228 0 0 0 20911 100 0 0 25 0 1 0 842435210 25178112 5165 4294967295 134512640 134716908 3221224576 3221220848 1074961146 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6147 5165 1111 63 0 6084 0
vsize: 24588
[startup+220.112 s]
Raw data (loadavg): 0.99 0.94 0.91 2/55 19418
Raw data (stat): 19361 (bsolo_lpr-v2) R 19360 8378 8377 0 -1 0 40191 0 0 0 21909 102 0 0 25 0 1 0 842435210 25260032 5182 4294967295 134512640 134716908 3221224576 3221220816 1075115752 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6167 5182 1111 63 0 6104 0
vsize: 24668
[startup+230.112 s]
Raw data (loadavg): 0.99 0.94 0.91 2/55 19418
Raw data (stat): 19361 (bsolo_lpr-v2) R 19360 8378 8377 0 -1 0 41657 0 0 0 22906 106 0 0 25 0 1 0 842435210 25329664 5193 4294967295 134512640 134716908 3221224576 3221220460 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6184 5193 1111 63 0 6121 0
vsize: 24736
[startup+240.112 s]
Raw data (loadavg): 0.99 0.94 0.91 2/55 19418
Raw data (stat): 19361 (bsolo_lpr-v2) R 19360 8378 8377 0 -1 0 43176 0 0 0 23903 109 0 0 25 0 1 0 842435210 22675456 4857 4294967295 134512640 134716908 3221224576 3221222976 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5536 4857 1111 63 0 5473 0
vsize: 22144
[startup+250.111 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 19418
Raw data (stat): 19361 (bsolo_lpr-v2) R 19360 8378 8377 0 -1 0 45790 0 0 0 24895 117 0 0 25 0 1 0 842435210 22675456 4857 4294967295 134512640 134716908 3221224576 3221222888 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5536 4857 1111 63 0 5473 0
vsize: 22144
[startup+260.111 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 19418
Raw data (stat): 19361 (bsolo_lpr-v2) R 19360 8378 8377 0 -1 0 47937 0 0 0 25889 122 0 0 25 0 1 0 842435210 22421504 4795 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5474 4795 1111 63 0 5411 0
vsize: 21896
[startup+270.111 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 19418
Raw data (stat): 19361 (bsolo_lpr-v2) R 19360 8378 8377 0 -1 0 50722 0 0 0 26884 128 0 0 25 0 1 0 842435210 25067520 4833 4294967295 134512640 134716908 3221224576 3221221120 1075088566 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6120 4833 1111 63 0 6057 0
vsize: 24480
[startup+280.111 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 19418
Raw data (stat): 19361 (bsolo_lpr-v2) R 19360 8378 8377 0 -1 0 52933 0 0 0 27877 135 0 0 25 0 1 0 842435210 22421504 4795 4294967295 134512640 134716908 3221224576 3221222872 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5474 4795 1111 63 0 5411 0
vsize: 21896
[startup+290.111 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 19418
Raw data (stat): 19361 (bsolo_lpr-v2) R 19360 8378 8377 0 -1 0 56324 0 0 0 28869 143 0 0 25 0 1 0 842435210 22421504 4795 4294967295 134512640 134716908 3221224576 3221222896 1074146286 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5474 4795 1111 63 0 5411 0
vsize: 21896
[startup+300.11 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 19418
Raw data (stat): 19361 (bsolo_lpr-v2) R 19360 8378 8377 0 -1 0 59417 0 0 0 29861 152 0 0 25 0 1 0 842435210 22421504 4795 4294967295 134512640 134716908 3221224576 3221222872 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5474 4795 1111 63 0 5411 0
vsize: 21896
[startup+310.11 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 19418
Raw data (stat): 19361 (bsolo_lpr-v2) R 19360 8378 8377 0 -1 0 63273 0 0 0 30850 163 0 0 25 0 1 0 842435210 24182784 4946 4294967295 134512640 134716908 3221224576 3221220848 1074961238 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5904 4946 1111 63 0 5841 0
vsize: 23616
[startup+320.11 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 19418
Raw data (stat): 19361 (bsolo_lpr-v2) R 19360 8378 8377 0 -1 0 65656 0 0 0 31843 169 0 0 25 0 1 0 842435210 22417408 4794 4294967295 134512640 134716908 3221224576 3221222960 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5473 4794 1111 63 0 5410 0
vsize: 21892
[startup+330.111 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 19418
Raw data (stat): 19361 (bsolo_lpr-v2) R 19360 8378 8377 0 -1 0 68951 0 0 0 32836 177 0 0 25 0 1 0 842435210 22417408 4794 4294967295 134512640 134716908 3221224576 3221222976 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5473 4794 1111 63 0 5410 0
vsize: 21892
[startup+340.111 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 19418
Raw data (stat): 19361 (bsolo_lpr-v2) R 19360 8378 8377 0 -1 0 71753 0 0 0 33829 184 0 0 25 0 1 0 842435210 22417408 4794 4294967295 134512640 134716908 3221224576 3221222976 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5473 4794 1111 63 0 5410 0
vsize: 21892
[startup+350.11 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 19418
Raw data (stat): 19361 (bsolo_lpr-v2) R 19360 8378 8377 0 -1 0 73542 0 0 0 34825 188 0 0 25 0 1 0 842435210 22417408 4794 4294967295 134512640 134716908 3221224576 3221223216 134652452 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5473 4794 1111 63 0 5410 0
vsize: 21892
[startup+360.11 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 19418
Raw data (stat): 19361 (bsolo_lpr-v2) R 19360 8378 8377 0 -1 0 76638 0 0 0 35817 196 0 0 25 0 1 0 842435210 22417408 4794 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5473 4794 1111 63 0 5410 0
vsize: 21892
[startup+370.11 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 19418
Raw data (stat): 19361 (bsolo_lpr-v2) R 19360 8378 8377 0 -1 0 80174 0 0 0 36809 205 0 0 25 0 1 0 842435210 22417408 4794 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5473 4794 1111 63 0 5410 0
vsize: 21892
[startup+380.11 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 19418
Raw data (stat): 19361 (bsolo_lpr-v2) R 19360 8378 8377 0 -1 0 82903 0 0 0 37802 212 0 0 25 0 1 0 842435210 22417408 4794 4294967295 134512640 134716908 3221224576 3221223132 134536839 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5473 4794 1111 63 0 5410 0
vsize: 21892
[startup+390.11 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 19418
Raw data (stat): 19361 (bsolo_lpr-v2) R 19360 8378 8377 0 -1 0 86148 0 0 0 38794 219 0 0 25 0 1 0 842435210 22417408 4794 4294967295 134512640 134716908 3221224576 3221222688 1074867340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5473 4794 1111 63 0 5410 0
vsize: 21892
[startup+400.11 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 19418
Raw data (stat): 19361 (bsolo_lpr-v2) R 19360 8378 8377 0 -1 0 89693 0 0 0 39786 228 0 0 25 0 1 0 842435210 22417408 4794 4294967295 134512640 134716908 3221224576 3221222872 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5473 4794 1111 63 0 5410 0
vsize: 21892
[startup+410.11 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 19418
Raw data (stat): 19361 (bsolo_lpr-v2) R 19360 8378 8377 0 -1 0 92674 0 0 0 40778 236 0 0 25 0 1 0 842435210 24760320 5043 4294967295 134512640 134716908 3221224576 3221220848 1074961138 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6045 5043 1111 63 0 5982 0
vsize: 24180
[startup+420.11 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 19418
Raw data (stat): 19361 (bsolo_lpr-v2) R 19360 8378 8377 0 -1 0 96174 0 0 0 41769 245 0 0 25 0 1 0 842435210 22417408 4794 4294967295 134512640 134716908 3221224576 3221222760 1077377536 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5473 4794 1111 63 0 5410 0
vsize: 21892
[startup+430.11 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 19418
Raw data (stat): 19361 (bsolo_lpr-v2) R 19360 8378 8377 0 -1 0 99197 0 0 0 42761 253 0 0 25 0 1 0 842435210 22417408 4794 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5473 4794 1111 63 0 5410 0
vsize: 21892
[startup+440.109 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 19418
Raw data (stat): 19361 (bsolo_lpr-v2) R 19360 8378 8377 0 -1 0 102695 0 0 0 43753 262 0 0 25 0 1 0 842435210 25354240 4904 4294967295 134512640 134716908 3221224576 3221220816 1075115768 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6190 4904 1111 63 0 6127 0
vsize: 24760
[startup+450.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19418
Raw data (stat): 19361 (bsolo_lpr-v2) R 19360 8378 8377 0 -1 0 105938 0 0 0 44745 270 0 0 25 0 1 0 842435210 22417408 4794 4294967295 134512640 134716908 3221224576 3221222960 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5473 4794 1111 63 0 5410 0
vsize: 21892
[startup+460.109 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19418
Raw data (stat): 19361 (bsolo_lpr-v2) R 19360 8378 8377 0 -1 0 108406 0 0 0 45738 277 0 0 25 0 1 0 842435210 25636864 4973 4294967295 134512640 134716908 3221224576 3221221016 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6259 4973 1111 63 0 6196 0
vsize: 25036
[startup+470.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19420
Raw data (stat): 19361 (bsolo_lpr-v2) R 19360 8378 8377 0 -1 0 111046 0 0 0 46733 282 0 0 25 0 1 0 842435210 25640960 4961 4294967295 134512640 134716908 3221224576 3221220816 1075115768 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6260 4961 1111 63 0 6197 0
vsize: 25040
[startup+480.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19420
Raw data (stat): 19361 (bsolo_lpr-v2) R 19360 8378 8377 0 -1 0 113601 0 0 0 47727 288 0 0 25 0 1 0 842435210 25473024 4951 4294967295 134512640 134716908 3221224576 3221220380 1074787558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6219 4951 1111 63 0 6156 0
vsize: 24876
[startup+490.109 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19420
Raw data (stat): 19361 (bsolo_lpr-v2) R 19360 8378 8377 0 -1 0 117762 0 0 0 48717 298 0 0 25 0 1 0 842435210 22716416 4826 4294967295 134512640 134716908 3221224576 3221222496 1075799503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5546 4826 1111 63 0 5483 0
vsize: 22184
[startup+500.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19420
Raw data (stat): 19361 (bsolo_lpr-v2) R 19360 8378 8377 0 -1 0 120714 0 0 0 49710 306 0 0 25 0 1 0 842435210 22519808 4819 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5498 4819 1111 63 0 5435 0
vsize: 21992
[startup+510.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19420
Raw data (stat): 19361 (bsolo_lpr-v2) R 19360 8378 8377 0 -1 0 123046 0 0 0 50704 311 0 0 25 0 1 0 842435210 25505792 4973 4294967295 134512640 134716908 3221224576 3221220704 1075112086 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6227 4973 1111 63 0 6164 0
vsize: 24908
[startup+520.111 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19420
Raw data (stat): 19361 (bsolo_lpr-v2) R 19360 8378 8377 0 -1 0 125004 0 0 0 51699 317 0 0 25 0 1 0 842435210 25714688 5012 4294967295 134512640 134716908 3221224576 3221220848 1074961361 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6278 5012 1111 63 0 6215 0
vsize: 25112
[startup+530.111 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19420
Raw data (stat): 19361 (bsolo_lpr-v2) R 19360 8378 8377 0 -1 0 127051 0 0 0 52694 322 0 0 25 0 1 0 842435210 25710592 4968 4294967295 134512640 134716908 3221224576 3221221100 1076111470 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6277 4968 1111 63 0 6214 0
vsize: 25108
[startup+540.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19420
Raw data (stat): 19361 (bsolo_lpr-v2) R 19360 8378 8377 0 -1 0 128868 0 0 0 53690 326 0 0 25 0 1 0 842435210 25710592 5023 4294967295 134512640 134716908 3221224576 3221220848 1074961146 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6277 5023 1111 63 0 6214 0
vsize: 25108
[startup+550.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19420
Raw data (stat): 19361 (bsolo_lpr-v2) R 19360 8378 8377 0 -1 0 130909 0 0 0 54686 330 0 0 25 0 1 0 842435210 22609920 4841 4294967295 134512640 134716908 3221224576 3221222872 1074138144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5520 4841 1111 63 0 5457 0
vsize: 22080
[startup+560.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19420
Raw data (stat): 19361 (bsolo_lpr-v2) R 19360 8378 8377 0 -1 0 132577 0 0 0 55682 335 0 0 25 0 1 0 842435210 22753280 4857 4294967295 134512640 134716908 3221224576 3221222928 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5555 4857 1111 63 0 5492 0
vsize: 22220
[startup+570.111 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19420
Raw data (stat): 19361 (bsolo_lpr-v2) R 19360 8378 8377 0 -1 0 134381 0 0 0 56677 339 0 0 25 0 1 0 842435210 25706496 5296 4294967295 134512640 134716908 3221224576 3221220752 1074882576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6276 5296 1111 63 0 6213 0
vsize: 25104
[startup+580.111 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19420
Raw data (stat): 19361 (bsolo_lpr-v2) R 19360 8378 8377 0 -1 0 136133 0 0 0 57673 344 0 0 25 0 1 0 842435210 26304512 5194 4294967295 134512640 134716908 3221224576 3221220816 1075115730 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6422 5194 1111 63 0 6359 0
vsize: 25688
[startup+590.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19420
Raw data (stat): 19361 (bsolo_lpr-v2) R 19360 8378 8377 0 -1 0 137424 0 0 0 58670 347 0 0 25 0 1 0 842435210 22908928 4911 4294967295 134512640 134716908 3221224576 3221222576 1074921304 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5593 4911 1111 63 0 5530 0
vsize: 22372
[startup+600.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19420
Raw data (stat): 19361 (bsolo_lpr-v2) R 19360 8378 8377 0 -1 0 139531 0 1 0 59663 353 0 0 25 0 1 0 842435210 22867968 4906 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5583 4906 1111 63 0 5520 0
vsize: 22332
[startup+610.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19420
Raw data (stat): 19361 (bsolo_lpr-v2) R 19360 8378 8377 0 -1 0 140634 0 1 0 60659 357 0 0 25 0 1 0 842435210 23158784 4918 4294967295 134512640 134716908 3221224576 3221222688 1074867340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5654 4918 1111 63 0 5591 0
vsize: 22616
[startup+620.111 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19420
Raw data (stat): 19361 (bsolo_lpr-v2) R 19360 8378 8377 0 -1 0 142397 0 1 0 61655 361 0 0 25 0 1 0 842435210 22867968 4906 4294967295 134512640 134716908 3221224576 3221223248 134652561 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5583 4906 1111 63 0 5520 0
vsize: 22332
[startup+630.111 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19420
Raw data (stat): 19361 (bsolo_lpr-v2) R 19360 8378 8377 0 -1 0 143984 0 1 0 62652 365 0 0 25 0 1 0 842435210 22867968 4906 4294967295 134512640 134716908 3221224576 3221222960 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5583 4906 1111 63 0 5520 0
vsize: 22332
[startup+640.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19420
Raw data (stat): 19361 (bsolo_lpr-v2) R 19360 8378 8377 0 -1 0 145835 0 1 0 63647 370 0 0 25 0 1 0 842435210 26460160 5176 4294967295 134512640 134716908 3221224576 3221220620 1074873527 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6460 5176 1111 63 0 6397 0
vsize: 25840
[startup+650.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19420
Raw data (stat): 19361 (bsolo_lpr-v2) R 19360 8378 8377 0 -1 0 147166 0 1 0 64644 373 0 0 25 0 1 0 842435210 22867968 4906 4294967295 134512640 134716908 3221224576 3221222928 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5583 4906 1111 63 0 5520 0
vsize: 22332
[startup+660.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19420
Raw data (stat): 19361 (bsolo_lpr-v2) R 19360 8378 8377 0 -1 0 147886 0 1 0 65643 374 0 0 25 0 1 0 842435210 25579520 5279 4294967295 134512640 134716908 3221224576 3221220804 1075115049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6245 5279 1111 63 0 6182 0
vsize: 24980
[startup+670.111 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19420
Raw data (stat): 19361 (bsolo_lpr-v2) R 19360 8378 8377 0 -1 0 149810 0 1 0 66638 379 0 0 25 0 1 0 842435210 23187456 4984 4294967295 134512640 134716908 3221224576 3221222928 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5661 4984 1111 63 0 5598 0
vsize: 22644
[startup+680.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19420
Raw data (stat): 19361 (bsolo_lpr-v2) R 19360 8378 8377 0 -1 0 151465 0 1 0 67635 382 0 0 25 0 1 0 842435210 25882624 5325 4294967295 134512640 134716908 3221224576 3221220620 1074873490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6319 5325 1111 63 0 6256 0
vsize: 25276
[startup+690.111 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19420
Raw data (stat): 19361 (bsolo_lpr-v2) R 19360 8378 8377 0 -1 0 152730 0 1 0 68632 385 0 0 25 0 1 0 842435210 25329664 5210 4294967295 134512640 134716908 3221224576 3221220588 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6184 5210 1111 63 0 6121 0
vsize: 24736
[startup+700.111 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19420
Raw data (stat): 19361 (bsolo_lpr-v2) R 19360 8378 8377 0 -1 0 153443 0 1 0 69631 387 0 0 25 0 1 0 842435210 26206208 5132 4294967295 134512640 134716908 3221224576 3221221120 1075088573 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6398 5132 1111 63 0 6335 0
vsize: 25592
[startup+710.111 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19420
Raw data (stat): 19361 (bsolo_lpr-v2) R 19360 8378 8377 0 -1 0 154611 0 1 0 70628 390 0 0 25 0 1 0 842435210 26144768 5416 4294967295 134512640 134716908 3221224576 3221220816 1075115747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6383 5416 1111 63 0 6320 0
vsize: 25532
[startup+720.111 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19420
Raw data (stat): 19361 (bsolo_lpr-v2) R 19360 8378 8377 0 -1 0 155811 0 1 0 71625 393 0 0 25 0 1 0 842435210 25260032 5213 4294967295 134512640 134716908 3221224576 3221220508 1074788128 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6167 5213 1111 63 0 6104 0
vsize: 24668
[startup+730.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19420
Raw data (stat): 19361 (bsolo_lpr-v2) R 19360 8378 8377 0 -1 0 156796 0 1 0 72623 395 0 0 25 0 1 0 842435210 26140672 5152 4294967295 134512640 134716908 3221224576 3221221088 1075084533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6382 5152 1111 63 0 6319 0
vsize: 25528
[startup+740.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19420
Raw data (stat): 19361 (bsolo_lpr-v2) R 19360 8378 8377 0 -1 0 157495 0 1 0 73621 397 0 0 25 0 1 0 842435210 26206208 5150 4294967295 134512640 134716908 3221224576 3221220804 1075115065 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6398 5150 1111 63 0 6335 0
vsize: 25592
[startup+750.111 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19420
Raw data (stat): 19361 (bsolo_lpr-v2) R 19360 8378 8377 0 -1 0 158234 0 1 0 74619 399 0 0 25 0 1 0 842435210 25260032 5226 4294967295 134512640 134716908 3221224576 3221220848 1074960857 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6167 5226 1111 63 0 6104 0
vsize: 24668
[startup+760.111 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19420
Raw data (stat): 19361 (bsolo_lpr-v2) R 19360 8378 8377 0 -1 0 159519 0 1 0 75617 402 0 0 25 0 1 0 842435210 25260032 5209 4294967295 134512640 134716908 3221224576 3221220848 1074960795 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6167 5209 1111 63 0 6104 0
vsize: 24668
[startup+770.111 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19420
Raw data (stat): 19361 (bsolo_lpr-v2) R 19360 8378 8377 0 -1 0 160762 0 1 0 76614 404 0 0 25 0 1 0 842435210 26660864 5252 4294967295 134512640 134716908 3221224576 3221221120 1075088563 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6509 5252 1111 63 0 6446 0
vsize: 26036
[startup+780.111 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19420
Raw data (stat): 19361 (bsolo_lpr-v2) R 19360 8378 8377 0 -1 0 161635 0 1 0 77613 406 0 0 25 0 1 0 842435210 26537984 5237 4294967295 134512640 134716908 3221224576 3221220912 1075113487 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6479 5237 1111 63 0 6416 0
vsize: 25916
[startup+790.111 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19420
Raw data (stat): 19361 (bsolo_lpr-v2) R 19360 8378 8377 0 -1 0 163320 0 1 0 78609 410 0 0 25 0 1 0 842435210 26660864 5255 4294967295 134512640 134716908 3221224576 3221220620 1074873490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6509 5255 1111 63 0 6446 0
vsize: 26036
[startup+800.111 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19420
Raw data (stat): 19361 (bsolo_lpr-v2) R 19360 8378 8377 0 -1 0 163613 0 1 0 79609 411 0 0 25 0 1 0 842435210 25927680 5341 4294967295 134512640 134716908 3221224576 3221221168 1074885468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6330 5341 1111 63 0 6267 0
vsize: 25320
[startup+810.111 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19420
Raw data (stat): 19361 (bsolo_lpr-v2) R 19360 8378 8377 0 -1 0 165327 0 1 0 80605 415 0 0 25 0 1 0 842435210 26685440 5283 4294967295 134512640 134716908 3221224576 3221220784 1074815250 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6515 5283 1111 63 0 6452 0
vsize: 26060
[startup+820.111 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19420
Raw data (stat): 19361 (bsolo_lpr-v2) R 19360 8378 8377 0 -1 0 167063 0 1 0 81602 418 0 0 25 0 1 0 842435210 23183360 4983 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5660 4983 1111 63 0 5597 0
vsize: 22640
[startup+830.111 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19420
Raw data (stat): 19361 (bsolo_lpr-v2) R 19360 8378 8377 0 -1 0 167990 0 1 0 82600 420 0 0 25 0 1 0 842435210 23183360 4983 4294967295 134512640 134716908 3221224576 3221223204 134651106 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5660 4983 1111 63 0 5597 0
vsize: 22640
[startup+840.111 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19420
Raw data (stat): 19361 (bsolo_lpr-v2) R 19360 8378 8377 0 -1 0 169491 0 1 0 83596 424 0 0 25 0 1 0 842435210 22974464 4932 4294967295 134512640 134716908 3221224576 3221222928 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5609 4932 1111 63 0 5546 0
vsize: 22436
[startup+850.112 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19420
Raw data (stat): 19361 (bsolo_lpr-v2) R 19360 8378 8377 0 -1 0 171053 0 1 0 84592 429 0 0 25 0 1 0 842435210 22953984 4927 4294967295 134512640 134716908 3221224576 3221222688 1074867308 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5604 4927 1111 63 0 5541 0
vsize: 22416
[startup+860.112 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19420
Raw data (stat): 19361 (bsolo_lpr-v2) R 19360 8378 8377 0 -1 0 173243 0 1 0 85587 433 0 0 25 0 1 0 842435210 22953984 4927 4294967295 134512640 134716908 3221224576 3221222960 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5604 4927 1111 63 0 5541 0
vsize: 22416
[startup+870.112 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19420
Raw data (stat): 19361 (bsolo_lpr-v2) R 19360 8378 8377 0 -1 0 173963 0 1 0 86586 435 0 0 25 0 1 0 842435210 25661440 5288 4294967295 134512640 134716908 3221224576 3221220588 1074788964 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6265 5288 1111 63 0 6202 0
vsize: 25060
[startup+880.111 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19420
Raw data (stat): 19361 (bsolo_lpr-v2) R 19360 8378 8377 0 -1 0 175046 0 1 0 87583 438 0 0 25 0 1 0 842435210 26152960 5181 4294967295 134512640 134716908 3221224576 3221220620 1074873379 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6385 5181 1111 63 0 6322 0
vsize: 25540
[startup+890.111 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19420
Raw data (stat): 19361 (bsolo_lpr-v2) R 19360 8378 8377 0 -1 0 175300 0 1 0 88583 438 0 0 25 0 1 0 842435210 25272320 5221 4294967295 134512640 134716908 3221224576 3221220588 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6170 5221 1111 63 0 6107 0
vsize: 24680
[startup+900.111 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19420
Raw data (stat): 19361 (bsolo_lpr-v2) R 19360 8378 8377 0 -1 0 177005 0 1 0 89578 443 0 0 25 0 1 0 842435210 23072768 4956 4294967295 134512640 134716908 3221224576 3221222960 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5633 4956 1111 63 0 5570 0
vsize: 22532
[startup+910.111 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19420
Raw data (stat): 19361 (bsolo_lpr-v2) R 19360 8378 8377 0 -1 0 178432 0 1 0 90575 446 0 0 25 0 1 0 842435210 23072768 4956 4294967295 134512640 134716908 3221224576 3221222928 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5633 4956 1111 63 0 5570 0
vsize: 22532
[startup+920.111 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19420
Raw data (stat): 19361 (bsolo_lpr-v2) R 19360 8378 8377 0 -1 0 179893 0 1 0 91571 450 0 0 25 0 1 0 842435210 26193920 5147 4294967295 134512640 134716908 3221224576 3221220536 1074789596 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6395 5147 1111 63 0 6332 0
vsize: 25580
[startup+930.111 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19420
Raw data (stat): 19361 (bsolo_lpr-v2) R 19360 8378 8377 0 -1 0 181232 0 1 0 92568 454 0 0 25 0 1 0 842435210 23072768 4956 4294967295 134512640 134716908 3221224576 3221222976 1074153812 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5633 4956 1111 63 0 5570 0
vsize: 22532
[startup+940.111 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19420
Raw data (stat): 19361 (bsolo_lpr-v2) R 19360 8378 8377 0 -1 0 182279 0 1 0 93566 456 0 0 25 0 1 0 842435210 25894912 5352 4294967295 134512640 134716908 3221224576 3221220508 1074788177 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6322 5352 1111 63 0 6259 0
vsize: 25288
[startup+950.111 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19420
Raw data (stat): 19361 (bsolo_lpr-v2) R 19360 8378 8377 0 -1 0 184035 0 1 0 94562 460 0 0 25 0 1 0 842435210 26779648 5302 4294967295 134512640 134716908 3221224576 3221220816 1075115715 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6538 5302 1111 63 0 6475 0
vsize: 26152
[startup+960.111 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19420
Raw data (stat): 19361 (bsolo_lpr-v2) R 19360 8378 8377 0 -1 0 185850 0 1 0 95557 465 0 0 25 0 1 0 842435210 25354240 5200 4294967295 134512640 134716908 3221224576 3221220816 1075115715 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6190 5200 1111 63 0 6127 0
vsize: 24760
[startup+970.111 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19420
Raw data (stat): 19361 (bsolo_lpr-v2) R 19360 8378 8377 0 -1 0 187719 0 1 0 96553 470 0 0 25 0 1 0 842435210 26750976 5258 4294967295 134512640 134716908 3221224576 3221220736 1074883509 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6531 5258 1111 63 0 6468 0
vsize: 26124
[startup+980.111 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19420
Raw data (stat): 19361 (bsolo_lpr-v2) R 19360 8378 8377 0 -1 0 190145 0 1 0 97548 475 0 0 25 0 1 0 842435210 25833472 5324 4294967295 134512640 134716908 3221224576 3221221648 1074867340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6307 5324 1111 63 0 6244 0
vsize: 25228
[startup+990.111 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19420
Raw data (stat): 19361 (bsolo_lpr-v2) R 19360 8378 8377 0 -1 0 191737 0 1 0 98544 478 0 0 25 0 1 0 842435210 25444352 5231 4294967295 134512640 134716908 3221224576 3221220908 1076111479 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6212 5231 1111 63 0 6149 0
vsize: 24848
[startup+1000.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19420
Raw data (stat): 19361 (bsolo_lpr-v2) R 19360 8378 8377 0 -1 0 192789 0 1 0 99542 481 0 0 25 0 1 0 842435210 25296896 5218 4294967295 134512640 134716908 3221224576 3221221016 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6176 5218 1111 63 0 6113 0
vsize: 24704
[startup+1010.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19420
Raw data (stat): 19361 (bsolo_lpr-v2) R 19360 8378 8377 0 -1 0 194338 0 1 0 100539 484 0 0 25 0 1 0 842435210 23072768 4956 4294967295 134512640 134716908 3221224576 3221222700 1077379860 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5633 4956 1111 63 0 5570 0
vsize: 22532
[startup+1020.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19420
Raw data (stat): 19361 (bsolo_lpr-v2) R 19360 8378 8377 0 -1 0 195701 0 1 0 101536 487 0 0 25 0 1 0 842435210 23072768 4956 4294967295 134512640 134716908 3221224576 3221222928 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5633 4956 1111 63 0 5570 0
vsize: 22532
[startup+1030.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19420
Raw data (stat): 19361 (bsolo_lpr-v2) R 19360 8378 8377 0 -1 0 197684 0 1 0 102532 492 0 0 25 0 1 0 842435210 23072768 4956 4294967295 134512640 134716908 3221224576 3221222840 1074138155 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5633 4956 1111 63 0 5570 0
vsize: 22532
[startup+1040.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19420
Raw data (stat): 19361 (bsolo_lpr-v2) R 19360 8378 8377 0 -1 0 200023 0 1 0 103526 498 0 0 25 0 1 0 842435210 26353664 5154 4294967295 134512640 134716908 3221224576 3221220912 1075113536 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6434 5154 1111 63 0 6371 0
vsize: 25736
[startup+1050.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19420
Raw data (stat): 19361 (bsolo_lpr-v2) R 19360 8378 8377 0 -1 0 201863 0 1 0 104522 502 0 0 25 0 1 0 842435210 23072768 4956 4294967295 134512640 134716908 3221224576 3221222936 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5633 4956 1111 63 0 5570 0
vsize: 22532
[startup+1060.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19420
Raw data (stat): 19361 (bsolo_lpr-v2) R 19360 8378 8377 0 -1 0 203819 0 1 0 105518 506 0 0 25 0 1 0 842435210 26796032 5303 4294967295 134512640 134716908 3221224576 3221220736 1075091577 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6542 5303 1111 63 0 6479 0
vsize: 26168
[startup+1070.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19420
Raw data (stat): 19361 (bsolo_lpr-v2) R 19360 8378 8377 0 -1 0 204423 0 1 0 106516 508 0 0 25 0 1 0 842435210 23072768 4956 4294967295 134512640 134716908 3221224576 3221222928 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5633 4956 1111 63 0 5570 0
vsize: 22532
[startup+1080.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19420
Raw data (stat): 19361 (bsolo_lpr-v2) R 19360 8378 8377 0 -1 0 205460 0 1 0 107513 511 0 0 25 0 1 0 842435210 23072768 4956 4294967295 134512640 134716908 3221224576 3221222960 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5633 4956 1111 63 0 5570 0
vsize: 22532
[startup+1090.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19420
Raw data (stat): 19361 (bsolo_lpr-v2) R 19360 8378 8377 0 -1 0 207366 0 1 0 108510 515 0 0 25 0 1 0 842435210 25899008 5356 4294967295 134512640 134716908 3221224576 3221220568 1075964740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6323 5356 1111 63 0 6260 0
vsize: 25292
[startup+1100.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19420
Raw data (stat): 19361 (bsolo_lpr-v2) R 19360 8378 8377 0 -1 0 207930 0 1 0 109509 516 0 0 25 0 1 0 842435210 26177536 5151 4294967295 134512640 134716908 3221224576 3221221632 1075084533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6391 5151 1111 63 0 6328 0
vsize: 25564
[startup+1110.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19420
Raw data (stat): 19361 (bsolo_lpr-v2) R 19360 8378 8377 0 -1 0 209030 0 1 0 110506 519 0 0 25 0 1 0 842435210 23072768 4956 4294967295 134512640 134716908 3221224576 3221222936 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5633 4956 1111 63 0 5570 0
vsize: 22532
[startup+1120.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19420
Raw data (stat): 19361 (bsolo_lpr-v2) R 19360 8378 8377 0 -1 0 210607 0 1 0 111502 523 0 0 25 0 1 0 842435210 26685440 5253 4294967295 134512640 134716908 3221224576 3221220472 1074789806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6515 5253 1111 63 0 6452 0
vsize: 26060
[startup+1130.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19420
Raw data (stat): 19361 (bsolo_lpr-v2) R 19360 8378 8377 0 -1 0 212931 0 1 0 112497 528 0 0 25 0 1 0 842435210 26787840 5299 4294967295 134512640 134716908 3221224576 3221221496 1074950124 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6540 5299 1111 63 0 6477 0
vsize: 26160
[startup+1140.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19420
Raw data (stat): 19361 (bsolo_lpr-v2) R 19360 8378 8377 0 -1 0 213987 0 1 0 113494 532 0 0 25 0 1 0 842435210 25448448 5226 4294967295 134512640 134716908 3221224576 3221220816 1075115726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6213 5226 1111 63 0 6150 0
vsize: 24852
[startup+1150.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19420
Raw data (stat): 19361 (bsolo_lpr-v2) R 19360 8378 8377 0 -1 0 215622 0 1 0 114491 535 0 0 25 0 1 0 842435210 25952256 5365 4294967295 134512640 134716908 3221224576 3221220848 1074961490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6336 5365 1111 63 0 6273 0
vsize: 25344
[startup+1160.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19420
Raw data (stat): 19361 (bsolo_lpr-v2) R 19360 8378 8377 0 -1 0 217822 0 1 0 115486 540 0 0 25 0 1 0 842435210 26378240 5114 4294967295 134512640 134716908 3221224576 3221220912 1075113508 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6440 5114 1111 63 0 6377 0
vsize: 25760
[startup+1170.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19420
Raw data (stat): 19361 (bsolo_lpr-v2) R 19360 8378 8377 0 -1 0 219786 0 1 0 116481 545 0 0 25 0 1 0 842435210 25485312 5264 4294967295 134512640 134716908 3221224576 3221220848 1074961146 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6222 5264 1111 63 0 6159 0
vsize: 24888
[startup+1175.02 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 19420
Raw data (stat): 19361 (bsolo_lpr-v2) R 19360 8378 8377 0 -1 0 219786 0 1 0 116481 545 0 0 25 0 1 0 842435210 25485312 5264 4294967295 134512640 134716908 3221224576 3221220848 1074961146 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6222 5264 1111 63 0 6159 0
vsize: 0

Child status: 10
Real time (s): 1175.02
CPU time (s): 1175.18
CPU user time (s): 1169.71
CPU system time (s): 5.47017
CPU usage (%): 100.013
Max. virtual memory (Kb): 26168
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	1430464
#### END VERIFIER DATA ####