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 27470

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-05-24 22:02:19 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=16979 boxname=wulflinc4 idbench=1307 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  4f7891bf040f9fa135208e1a9808a8bc  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-misc05.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-misc05.opb
IDLAUNCH: 16979
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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:        824540 kB
Buffers:         34532 kB
Cached:         155500 kB
SwapCached:        504 kB
Active:          59124 kB
Inactive:       133416 kB
HighTotal:      131008 kB
HighFree:          420 kB
LowTotal:       903652 kB
LowFree:        824120 kB
SwapTotal:     2097136 kB
SwapFree:      2096156 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5944 kB
Slab:            12120 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 22:21:54 (client local time) WITH STATUS 10 IN 1175.68 SECONDS
stats: 16979 0 1175.68 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 4456 constraints.
c preprocess terminated 61.703 s
c Initial Lower Bound: 1423604
c Lower Bound Elapsed time: 5.604
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 1453312 @ 90.745
c NEW SOLUTION FOUND: 1446592 @ 100.685
c NEW SOLUTION FOUND: 1445824 @ 179.102
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.67 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.93 0.98 0.97 2/54 23867
Raw data (stat): 23867 (runsolver) R 23866 21152 21151 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 775453419 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0005 s]
Raw data (loadavg): 0.94 0.98 0.97 2/54 23867
Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 2766 0 0 0 990 7 0 0 25 0 1 0 775453419 14426112 2687 4294967295 134512640 134714508 3221224592 3221223244 134558618 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3522 2687 1111 63 0 3459 0
vsize: 14088
[startup+20.0013 s]
Raw data (loadavg): 0.95 0.98 0.97 2/54 23867
Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 2891 0 0 0 1990 8 0 0 25 0 1 0 775453419 14970880 2812 4294967295 134512640 134714508 3221224592 3221223264 134627250 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3655 2812 1111 63 0 3592 0
vsize: 14620
[startup+30.0025 s]
Raw data (loadavg): 0.95 0.98 0.97 2/54 23867
Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 3025 0 0 0 2989 8 0 0 25 0 1 0 775453419 15515648 2946 4294967295 134512640 134714508 3221224592 3221223256 134627195 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3788 2946 1111 63 0 3725 0
vsize: 15152
[startup+40.002 s]
Raw data (loadavg): 0.96 0.98 0.97 2/54 23867
Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 3137 0 0 0 3989 8 0 0 25 0 1 0 775453419 16056320 3058 4294967295 134512640 134714508 3221224592 3221223264 134627241 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3920 3058 1111 63 0 3857 0
vsize: 15680
[startup+50.0029 s]
Raw data (loadavg): 0.97 0.98 0.97 2/54 23867
Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 3258 0 0 0 4989 9 0 0 25 0 1 0 775453419 16461824 3179 4294967295 134512640 134714508 3221224592 3221223256 134627195 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4019 3179 1111 63 0 3956 0
vsize: 16076
[startup+60.0031 s]
Raw data (loadavg): 0.97 0.98 0.97 2/54 23867
Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 3454 0 0 0 5988 10 0 0 25 0 1 0 775453419 17276928 3375 4294967295 134512640 134714508 3221224592 3221223240 134558617 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4218 3375 1111 63 0 4155 0
vsize: 16872
[startup+70.0036 s]
Raw data (loadavg): 0.97 0.98 0.97 2/54 23867
Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 5337 0 0 0 6984 14 0 0 25 0 1 0 775453419 24530944 5074 4294967295 134512640 134714508 3221224592 3221220544 1074790218 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5989 5074 1111 63 0 5926 0
vsize: 23956
[startup+80.0045 s]
Raw data (loadavg): 0.98 0.98 0.97 2/54 23867
Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 8179 0 0 0 7976 22 0 0 25 0 1 0 775453419 24764416 5129 4294967295 134512640 134714508 3221224592 3221220420 1074786507 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6046 5129 1111 63 0 5983 0
vsize: 24184
[startup+90.0049 s]
Raw data (loadavg): 0.98 0.98 0.97 2/54 23867
Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 9947 0 0 0 8971 26 0 0 25 0 1 0 775453419 21684224 4601 4294967295 134512640 134714508 3221224592 3221223132 134539237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5294 4601 1111 63 0 5231 0
vsize: 21176
[startup+100.005 s]
Raw data (loadavg): 0.98 0.98 0.97 2/54 23867
Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 13094 0 0 0 9962 35 0 0 25 0 1 0 775453419 21417984 4544 4294967295 134512640 134714508 3221224592 3221222848 1074153456 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5229 4544 1111 63 0 5166 0
vsize: 20916
[startup+110.005 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23867
Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 17856 0 0 0 10949 48 0 0 25 0 1 0 775453419 24522752 4676 4294967295 134512640 134714508 3221224592 3221221360 1076083481 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5987 4676 1111 63 0 5924 0
vsize: 23948
[startup+120.006 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23867
Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 19982 0 0 0 11944 53 0 0 25 0 1 0 775453419 24784896 4766 4294967295 134512640 134714508 3221224592 3221220864 1074961410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6051 4766 1111 63 0 5988 0
vsize: 24204
[startup+130.006 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23867
Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 23117 0 0 0 12936 61 0 0 25 0 1 0 775453419 24862720 5086 4294967295 134512640 134714508 3221224592 3221220864 1074961301 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6070 5086 1111 63 0 6007 0
vsize: 24280
[startup+140.006 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23867
Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 26347 0 0 0 13928 70 0 0 25 0 1 0 775453419 24264704 4939 4294967295 134512640 134714508 3221224592 3221220864 1074961146 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5924 4939 1111 63 0 5861 0
vsize: 23696
[startup+150.007 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23867
Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 28095 0 0 0 14924 74 0 0 25 0 1 0 775453419 24702976 4741 4294967295 134512640 134714508 3221224592 3221221360 1076083315 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6031 4741 1111 63 0 5968 0
vsize: 24124
[startup+160.006 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23867
Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 30137 0 0 0 15919 78 0 0 25 0 1 0 775453419 24862720 4793 4294967295 134512640 134714508 3221224592 3221221404 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6070 4793 1111 63 0 6007 0
vsize: 24280
[startup+170.006 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23867
Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 32216 0 0 0 16914 84 0 0 25 0 1 0 775453419 21827584 4654 4294967295 134512640 134714508 3221224592 3221222896 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5329 4654 1111 63 0 5266 0
vsize: 21316
[startup+180.007 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23867
Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 35196 0 0 0 17907 91 0 0 25 0 1 0 775453419 21827584 4654 4294967295 134512640 134714508 3221224592 3221221648 134650068 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5329 4654 1111 63 0 5266 0
vsize: 21316
[startup+190.007 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23867
Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 38981 0 0 0 18897 101 0 0 25 0 1 0 775453419 24764416 5046 4294967295 134512640 134714508 3221224592 3221220560 1074872895 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6046 5046 1111 63 0 5983 0
vsize: 24184
[startup+200.007 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23869
Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 40855 0 0 0 19891 106 0 0 25 0 1 0 775453419 22159360 4735 4294967295 134512640 134714508 3221224592 3221222592 1074918591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5410 4735 1111 63 0 5347 0
vsize: 21640
[startup+210.007 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23869
Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 42961 0 0 0 20887 111 0 0 25 0 1 0 775453419 22024192 4702 4294967295 134512640 134714508 3221224592 3221222976 1074153749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5377 4702 1111 63 0 5314 0
vsize: 21508
[startup+220.007 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23869
Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 45313 0 0 0 21881 117 0 0 25 0 1 0 775453419 25354240 4921 4294967295 134512640 134714508 3221224592 3221220864 1074961271 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6190 4921 1111 63 0 6127 0
vsize: 24760
[startup+230.007 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23869
Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 48101 0 0 0 22874 124 0 0 25 0 1 0 775453419 25485312 4945 4294967295 134512640 134714508 3221224592 3221221520 1075890968 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6222 4945 1111 63 0 6159 0
vsize: 24888
[startup+240.007 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23869
Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 51017 0 0 0 23866 132 0 0 25 0 1 0 775453419 25518080 4931 4294967295 134512640 134714508 3221224592 3221220720 1075561218 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6230 4931 1111 63 0 6167 0
vsize: 24920
[startup+250.007 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23869
Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 52997 0 0 0 24861 137 0 0 25 0 1 0 775453419 25153536 4834 4294967295 134512640 134714508 3221224592 3221220864 1074961157 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6141 4834 1111 63 0 6078 0
vsize: 24564
[startup+260.007 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23869
Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 55599 0 0 0 25854 144 0 0 25 0 1 0 775453419 25190400 4865 4294967295 134512640 134714508 3221224592 3221220864 1074961490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6150 4865 1111 63 0 6087 0
vsize: 24600
[startup+270.007 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23869
Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 57966 0 0 0 26846 153 0 0 25 0 1 0 775453419 22233088 4753 4294967295 134512640 134714508 3221224592 3221222976 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5428 4753 1111 63 0 5365 0
vsize: 21712
[startup+280.007 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23869
Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 61309 0 0 0 27838 161 0 0 25 0 1 0 775453419 22233088 4753 4294967295 134512640 134714508 3221224592 3221223008 1074116573 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5428 4753 1111 63 0 5365 0
vsize: 21712
[startup+290.007 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23869
Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 65946 0 0 0 28827 172 0 0 25 0 1 0 775453419 23969792 4888 4294967295 134512640 134714508 3221224592 3221220560 1075965234 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5852 4888 1111 63 0 5789 0
vsize: 23408
[startup+300.007 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23869
Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 69637 0 0 0 29816 183 0 0 25 0 1 0 775453419 22233088 4754 4294967295 134512640 134714508 3221224592 3221222956 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5428 4754 1111 63 0 5365 0
vsize: 21712
[startup+310.007 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23869
Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 73278 0 0 0 30806 193 0 0 25 0 1 0 775453419 24838144 4805 4294967295 134512640 134714508 3221224592 3221220832 1075115726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6064 4805 1111 63 0 6001 0
vsize: 24256
[startup+320.007 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23869
Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 77876 0 0 0 31795 205 0 0 25 0 1 0 775453419 22233088 4754 4294967295 134512640 134714508 3221224592 3221222976 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5428 4754 1111 63 0 5365 0
vsize: 21712
[startup+330.008 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23869
Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 79294 0 0 0 32792 208 0 0 25 0 1 0 775453419 24371200 4978 4294967295 134512640 134714508 3221224592 3221220752 1074794695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5950 4978 1111 63 0 5887 0
vsize: 23800
[startup+340.007 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23869
Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 80380 0 0 0 33789 211 0 0 25 0 1 0 775453419 22233088 4754 4294967295 134512640 134714508 3221224592 3221223232 134650043 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5428 4754 1111 63 0 5365 0
vsize: 21712
[startup+350.007 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23869
Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 81959 0 0 0 34786 214 0 0 25 0 1 0 775453419 24518656 5044 4294967295 134512640 134714508 3221224592 3221220604 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5986 5044 1111 63 0 5923 0
vsize: 23944
[startup+360.008 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23869
Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 82670 0 0 0 35784 216 0 0 25 0 1 0 775453419 25333760 4960 4294967295 134512640 134714508 3221224592 3221221080 1077410163 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6185 4960 1111 63 0 6122 0
vsize: 24740
[startup+370.008 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23869
Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 83674 0 0 0 36782 218 0 0 25 0 1 0 775453419 22233088 4754 4294967295 134512640 134714508 3221224592 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5428 4754 1111 63 0 5365 0
vsize: 21712
[startup+380.008 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23869
Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 85666 0 0 0 37777 224 0 0 25 0 1 0 775453419 25063424 4834 4294967295 134512640 134714508 3221224592 3221220752 1074883530 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6119 4834 1111 63 0 6056 0
vsize: 24476
[startup+390.008 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23869
Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 87668 0 0 0 38772 228 0 0 25 0 1 0 775453419 24162304 4909 4294967295 134512640 134714508 3221224592 3221220832 1075115715 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5899 4909 1111 63 0 5836 0
vsize: 23596
[startup+400.008 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23869
Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 89133 0 0 0 39769 231 0 0 25 0 1 0 775453419 22233088 4754 4294967295 134512640 134714508 3221224592 3221222976 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5428 4754 1111 63 0 5365 0
vsize: 21712
[startup+410.009 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23869
Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 91302 0 0 0 40765 236 0 0 25 0 1 0 775453419 22233088 4754 4294967295 134512640 134714508 3221224592 3221222552 1074138315 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5428 4754 1111 63 0 5365 0
vsize: 21712
[startup+420.008 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23869
Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 93363 0 0 0 41760 241 0 0 25 0 1 0 775453419 22233088 4754 4294967295 134512640 134714508 3221224592 3221222976 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5428 4754 1111 63 0 5365 0
vsize: 21712
[startup+430.009 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23869
Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 95729 0 0 0 42755 247 0 0 25 0 1 0 775453419 25337856 4955 4294967295 134512640 134714508 3221224592 3221221092 1074846210 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6186 4955 1111 63 0 6123 0
vsize: 24744
[startup+440.01 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23869
Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 97336 0 0 0 43751 251 0 0 25 0 1 0 775453419 22233088 4754 4294967295 134512640 134714508 3221224592 3221222792 1074138155 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5428 4754 1111 63 0 5365 0
vsize: 21712
[startup+450.01 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23869
Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 99222 0 0 0 44748 254 0 0 25 0 1 0 775453419 22368256 4787 4294967295 134512640 134714508 3221224592 3221222976 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5461 4787 1111 63 0 5398 0
vsize: 21844
[startup+460.01 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23869
Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 101235 0 0 0 45742 260 0 0 25 0 1 0 775453419 22364160 4786 4294967295 134512640 134714508 3221224592 3221222800 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5460 4786 1111 63 0 5397 0
vsize: 21840
[startup+470.01 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23869
Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 102903 0 0 0 46739 264 0 0 25 0 1 0 775453419 25477120 4976 4294967295 134512640 134714508 3221224592 3221220800 1074815396 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6220 4976 1111 63 0 6157 0
vsize: 24880
[startup+480.01 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23869
Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 104684 0 0 0 47735 268 0 0 25 0 1 0 775453419 25120768 4868 4294967295 134512640 134714508 3221224592 3221220832 1075115768 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6133 4868 1111 63 0 6070 0
vsize: 24532
[startup+490.009 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23869
Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 106748 0 0 0 48730 273 0 0 25 0 1 0 775453419 22269952 4763 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5437 4763 1111 63 0 5374 0
vsize: 21748
[startup+500.011 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23869
Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 108329 0 0 0 49727 276 0 0 25 0 1 0 775453419 22720512 4793 4294967295 134512640 134714508 3221224592 3221222704 1074867337 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5547 4793 1111 63 0 5484 0
vsize: 22188
[startup+510.011 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23869
Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 110927 0 0 0 50721 282 0 0 25 0 1 0 775453419 25600000 4985 4294967295 134512640 134714508 3221224592 3221220832 1075115747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6250 4985 1111 63 0 6187 0
vsize: 25000
[startup+520.011 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23869
Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 112658 0 0 0 51717 286 0 0 25 0 1 0 775453419 22323200 4777 4294967295 134512640 134714508 3221224592 3221223248 134649901 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5450 4777 1111 63 0 5387 0
vsize: 21800
[startup+530.011 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23869
Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 115085 0 0 0 52711 292 0 0 25 0 1 0 775453419 22306816 4773 4294967295 134512640 134714508 3221224592 3221222720 1074153749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5446 4773 1111 63 0 5383 0
vsize: 21784
[startup+540.011 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23869
Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 117651 0 0 0 53706 298 0 0 25 0 1 0 775453419 22441984 4806 4294967295 134512640 134714508 3221224592 3221222952 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5479 4806 1111 63 0 5416 0
vsize: 21916
[startup+550.011 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23869
Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 119402 0 0 0 54702 302 0 0 25 0 1 0 775453419 22638592 4848 4294967295 134512640 134714508 3221224592 3221222840 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5527 4848 1111 63 0 5464 0
vsize: 22108
[startup+560.012 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23869
Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 120831 0 0 0 55698 306 0 0 25 0 1 0 775453419 24604672 5056 4294967295 134512640 134714508 3221224592 3221220832 1075115715 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6007 5056 1111 63 0 5944 0
vsize: 24028
[startup+570.013 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23869
Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 122144 0 0 0 56694 310 0 0 25 0 1 0 775453419 22425600 4802 4294967295 134512640 134714508 3221224592 3221222976 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5475 4802 1111 63 0 5412 0
vsize: 21900
[startup+580.012 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23869
Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 124506 0 0 0 57688 316 0 0 25 0 1 0 775453419 22413312 4799 4294967295 134512640 134714508 3221224592 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5472 4799 1111 63 0 5409 0
vsize: 21888
[startup+590.012 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23869
Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 126783 0 0 0 58683 321 0 0 25 0 1 0 775453419 24596480 5046 4294967295 134512640 134714508 3221224592 3221220560 1074872876 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6005 5046 1111 63 0 5942 0
vsize: 24020
[startup+600.013 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23869
Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 128273 0 0 0 59680 325 0 0 25 0 1 0 775453419 24694784 5083 4294967295 134512640 134714508 3221224592 3221220864 1074961205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6029 5083 1111 63 0 5966 0
vsize: 24116
[startup+610.014 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23869
Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 129860 0 0 0 60676 329 0 0 25 0 1 0 775453419 25534464 4985 4294967295 134512640 134714508 3221224592 3221220832 1075115696 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6234 4985 1111 63 0 6171 0
vsize: 24936
[startup+620.014 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23869
Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 132097 0 0 0 61671 334 0 0 25 0 1 0 775453419 24457216 4988 4294967295 134512640 134714508 3221224592 3221221168 1076044537 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5971 4988 1111 63 0 5908 0
vsize: 23884
[startup+630.015 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23869
Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 134120 0 0 0 62666 339 0 0 25 0 1 0 775453419 22298624 4771 4294967295 134512640 134714508 3221224592 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5444 4771 1111 63 0 5381 0
vsize: 21776
[startup+640.014 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23869
Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 136846 0 0 0 63659 346 0 0 25 0 1 0 775453419 22577152 4832 4294967295 134512640 134714508 3221224592 3221222776 1074138144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5512 4832 1111 63 0 5449 0
vsize: 22048
[startup+650.014 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23869
Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 138147 0 0 0 64655 351 0 0 25 0 1 0 775453419 25604096 5007 4294967295 134512640 134714508 3221224592 3221220864 1074961146 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6251 5007 1111 63 0 6188 0
vsize: 25004
[startup+660.014 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23869
Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 139876 0 0 0 65650 355 0 0 25 0 1 0 775453419 24244224 4955 4294967295 134512640 134714508 3221224592 3221221632 1075971413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5919 4955 1111 63 0 5856 0
vsize: 23676
[startup+670.014 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23869
Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 141580 0 0 0 66647 359 0 0 25 0 1 0 775453419 24461312 4988 4294967295 134512640 134714508 3221224592 3221221184 1074884314 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5972 4988 1111 63 0 5909 0
vsize: 23888
[startup+680.015 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23869
Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 143236 0 0 0 67642 364 0 0 25 0 1 0 775453419 25358336 4908 4294967295 134512640 134714508 3221224592 3221220552 1074789611 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6191 4908 1111 63 0 6128 0
vsize: 24764
[startup+690.015 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23869
Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 144865 0 0 0 68639 367 0 0 25 0 1 0 775453419 24268800 4964 4294967295 134512640 134714508 3221224592 3221220864 1074961304 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5925 4964 1111 63 0 5862 0
vsize: 23700
[startup+700.015 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23869
Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 146633 0 0 0 69635 372 0 0 25 0 1 0 775453419 24436736 4976 4294967295 134512640 134714508 3221224592 3221220604 1074788953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5966 4976 1111 63 0 5903 0
vsize: 23864
[startup+710.016 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23869
Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 148411 0 0 0 70630 377 0 0 25 0 1 0 775453419 24268800 4972 4294967295 134512640 134714508 3221224592 3221220820 1075115049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5925 4972 1111 63 0 5862 0
vsize: 23700
[startup+720.016 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23869
Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 150892 0 0 0 71624 383 0 0 25 0 1 0 775453419 22507520 4822 4294967295 134512640 134714508 3221224592 3221222952 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5495 4822 1111 63 0 5432 0
vsize: 21980
[startup+730.015 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23869
Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 153296 0 0 0 72618 388 0 0 25 0 1 0 775453419 22507520 4822 4294967295 134512640 134714508 3221224592 3221222976 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5495 4822 1111 63 0 5432 0
vsize: 21980
[startup+740.016 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23869
Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 155240 0 0 0 73614 393 0 0 25 0 1 0 775453419 24244224 4955 4294967295 134512640 134714508 3221224592 3221220752 1075095188 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5919 4956 1111 63 0 5856 0
vsize: 23676
[startup+750.016 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23869
Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 157041 0 0 0 74610 398 0 0 25 0 1 0 775453419 22646784 4823 4294967295 134512640 134714508 3221224592 3221222640 1074867340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5529 4823 1111 63 0 5466 0
vsize: 22116
[startup+760.016 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23869
Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 159292 0 0 0 75604 403 0 0 25 0 1 0 775453419 25137152 4875 4294967295 134512640 134714508 3221224592 3221221120 1075397167 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6137 4875 1111 63 0 6074 0
vsize: 24548
[startup+770.016 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23869
Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 161669 0 0 0 76597 410 0 0 25 0 1 0 775453419 22507520 4822 4294967295 134512640 134714508 3221224592 3221223200 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5495 4822 1111 63 0 5432 0
vsize: 21980
[startup+780.017 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23869
Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 164315 0 0 0 77589 419 0 0 25 0 1 0 775453419 25296896 4862 4294967295 134512640 134714508 3221224592 3221220752 1074794542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6176 4862 1111 63 0 6113 0
vsize: 24704
[startup+790.016 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23869
Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 165699 0 0 0 78586 422 0 0 25 0 1 0 775453419 22532096 4828 4294967295 134512640 134714508 3221224592 3221222944 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5501 4828 1111 63 0 5438 0
vsize: 22004
[startup+800.017 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23869
Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 167615 0 0 0 79581 427 0 0 25 0 1 0 775453419 24457216 5014 4294967295 134512640 134714508 3221224592 3221220476 1074788953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5971 5014 1111 63 0 5908 0
vsize: 23884
[startup+810.017 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23869
Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 168973 0 0 0 80578 430 0 0 25 0 1 0 775453419 22532096 4828 4294967295 134512640 134714508 3221224592 3221222800 1074153736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5501 4828 1111 63 0 5438 0
vsize: 22004
[startup+820.017 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23869
Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 171281 0 0 0 81573 435 0 0 25 0 1 0 775453419 22765568 4830 4294967295 134512640 134714508 3221224592 3221222240 1075818192 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5558 4830 1111 63 0 5495 0
vsize: 22232
[startup+830.017 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23869
Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 174036 0 0 0 82567 442 0 0 25 0 1 0 775453419 24268800 4974 4294967295 134512640 134714508 3221224592 3221220864 1074961267 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5925 4974 1111 63 0 5862 0
vsize: 23700
[startup+840.017 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23869
Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 176218 0 0 0 83561 448 0 0 25 0 1 0 775453419 24453120 5009 4294967295 134512640 134714508 3221224592 3221220528 1075965250 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5970 5009 1111 63 0 5907 0
vsize: 23880
[startup+850.018 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23869
Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 177506 0 0 0 84558 451 0 0 25 0 1 0 775453419 22532096 4828 4294967295 134512640 134714508 3221224592 3221222928 1074143115 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5501 4828 1111 63 0 5438 0
vsize: 22004
[startup+860.018 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23869
Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 179299 0 0 0 85554 455 0 0 25 0 1 0 775453419 23130112 4894 4294967295 134512640 134714508 3221224592 3221222416 1075823494 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5647 4894 1111 63 0 5584 0
vsize: 22588
[startup+870.018 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23869
Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 181841 0 0 0 86547 462 0 0 25 0 1 0 775453419 25305088 5190 4294967295 134512640 134714508 3221224592 3221220752 1075093350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6178 5190 1111 63 0 6115 0
vsize: 24712
[startup+880.018 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23869
Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 182791 0 0 0 87545 465 0 0 25 0 1 0 775453419 25358336 4912 4294967295 134512640 134714508 3221224592 3221220556 1074787507 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6191 4912 1111 63 0 6128 0
vsize: 24764
[startup+890.018 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23869
Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 184306 0 0 0 88541 469 0 0 25 0 1 0 775453419 22556672 4834 4294967295 134512640 134714508 3221224592 3221222904 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5507 4834 1111 63 0 5444 0
vsize: 22028
[startup+900.019 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23869
Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 186374 0 0 0 89536 474 0 0 25 0 1 0 775453419 25591808 5009 4294967295 134512640 134714508 3221224592 3221220552 1074789507 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6248 5009 1111 63 0 6185 0
vsize: 24992
[startup+910.019 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23869
Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 187599 0 0 0 90533 477 0 0 25 0 1 0 775453419 22564864 4836 4294967295 134512640 134714508 3221224592 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5509 4836 1111 63 0 5446 0
vsize: 22036
[startup+920.019 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23869
Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 189131 0 0 0 91529 482 0 0 25 0 1 0 775453419 22568960 4837 4294967295 134512640 134714508 3221224592 3221222760 1077378493 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5510 4837 1111 63 0 5447 0
vsize: 22040
[startup+930.02 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23869
Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 190909 0 0 0 92524 486 0 0 25 0 1 0 775453419 25505792 4992 4294967295 134512640 134714508 3221224592 3221220800 1074815234 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6227 4992 1111 63 0 6164 0
vsize: 24908
[startup+940.019 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23869
Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 193298 0 0 0 93519 492 0 0 25 0 1 0 775453419 24989696 5121 4294967295 134512640 134714508 3221224592 3221220864 1074961264 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6101 5121 1111 63 0 6038 0
vsize: 24404
[startup+950.02 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23869
Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 195057 0 0 0 94516 495 0 0 25 0 1 0 775453419 24879104 5146 4294967295 134512640 134714508 3221224592 3221220604 1074788953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6074 5146 1111 63 0 6011 0
vsize: 24296
[startup+960.02 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23869
Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 195654 0 0 0 95515 496 0 0 25 0 1 0 775453419 22724608 4875 4294967295 134512640 134714508 3221224592 3221222944 1074153767 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5548 4875 1111 63 0 5485 0
vsize: 22192
[startup+970.02 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23869
Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 197530 0 0 0 96510 501 0 0 25 0 1 0 775453419 22724608 4875 4294967295 134512640 134714508 3221224592 3221222896 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5548 4875 1111 63 0 5485 0
vsize: 22192
[startup+980.02 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23869
Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 199227 0 0 0 97506 506 0 0 25 0 1 0 775453419 24920064 5112 4294967295 134512640 134714508 3221224592 3221220832 1075115715 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6084 5112 1111 63 0 6021 0
vsize: 24336
[startup+990.021 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23869
Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 199825 0 0 0 98505 507 0 0 25 0 1 0 775453419 22724608 4875 4294967295 134512640 134714508 3221224592 3221222976 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5548 4875 1111 63 0 5485 0
vsize: 22192
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23869
Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 201312 0 0 0 99502 510 0 0 25 0 1 0 775453419 24494080 5030 4294967295 134512640 134714508 3221224592 3221220692 1075964211 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5980 5030 1111 63 0 5917 0
vsize: 23920
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23869
Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 202616 0 0 0 100499 514 0 0 25 0 1 0 775453419 22757376 4876 4294967295 134512640 134714508 3221224592 3221222336 1075640249 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5556 4876 1111 63 0 5493 0
vsize: 22224
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23869
Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 204621 0 0 0 101493 519 0 0 25 0 1 0 775453419 25509888 4957 4294967295 134512640 134714508 3221224592 3221220472 1074788559 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6228 4957 1111 63 0 6165 0
vsize: 24912
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23869
Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 206495 0 0 0 102488 525 0 0 25 0 1 0 775453419 25329664 4948 4294967295 134512640 134714508 3221224592 3221221712 1074834340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6184 4948 1111 63 0 6121 0
vsize: 24736
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23869
Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 208259 0 0 0 103483 529 0 0 25 0 1 0 775453419 24461312 5020 4294967295 134512640 134714508 3221224592 3221220752 1075093367 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5972 5020 1111 63 0 5909 0
vsize: 23888
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23869
Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 209653 0 0 0 104479 534 0 0 25 0 1 0 775453419 22724608 4875 4294967295 134512640 134714508 3221224592 3221222992 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5548 4875 1111 63 0 5485 0
vsize: 22192
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23869
Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 211637 0 0 0 105474 539 0 0 25 0 1 0 775453419 24637440 5037 4294967295 134512640 134714508 3221224592 3221220720 1075112103 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6015 5037 1111 63 0 5952 0
vsize: 24060
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23869
Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 212964 0 0 0 106471 542 0 0 25 0 1 0 775453419 24637440 5035 4294967295 134512640 134714508 3221224592 3221220768 1074882610 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6015 5035 1111 63 0 5952 0
vsize: 24060
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23869
Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 214643 0 0 0 107467 546 0 0 25 0 1 0 775453419 22724608 4875 4294967295 134512640 134714508 3221224592 3221222544 1074918583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5548 4875 1111 63 0 5485 0
vsize: 22192
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23869
Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 216879 0 0 0 108462 552 0 0 25 0 1 0 775453419 24461312 5027 4294967295 134512640 134714508 3221224592 3221221136 1075088581 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5972 5027 1111 63 0 5909 0
vsize: 23888
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23869
Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 218256 0 0 0 109459 555 0 0 25 0 1 0 775453419 25329664 4935 4294967295 134512640 134714508 3221224592 3221220720 1075561094 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6184 4935 1111 63 0 6121 0
vsize: 24736
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23869
Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 219652 0 0 0 110455 559 0 0 25 0 1 0 775453419 22724608 4875 4294967295 134512640 134714508 3221224592 3221222992 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5548 4875 1111 63 0 5485 0
vsize: 22192
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23869
Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 221084 0 0 0 111451 563 0 0 25 0 1 0 775453419 25329664 4938 4294967295 134512640 134714508 3221224592 3221220752 1074794542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6184 4938 1111 63 0 6121 0
vsize: 24736
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23869
Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 222987 0 0 0 112447 568 0 0 25 0 1 0 775453419 22724608 4875 4294967295 134512640 134714508 3221224592 3221222992 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5548 4875 1111 63 0 5485 0
vsize: 22192
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23869
Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 224736 0 0 0 113442 572 0 0 25 0 1 0 775453419 25563136 4995 4294967295 134512640 134714508 3221224592 3221220832 1075115715 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6241 4995 1111 63 0 6178 0
vsize: 24964
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23869
Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 226640 0 0 0 114438 577 0 0 25 0 1 0 775453419 22724608 4875 4294967295 134512640 134714508 3221224592 3221222592 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5548 4875 1111 63 0 5485 0
vsize: 22192
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23869
Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 229671 0 0 0 115431 584 0 0 25 0 1 0 775453419 25329664 4934 4294967295 134512640 134714508 3221224592 3221220752 1074794460 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6184 4934 1111 63 0 6121 0
vsize: 24736
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 23869
Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 232501 0 0 0 116424 591 0 0 25 0 1 0 775453419 22724608 4875 4294967295 134512640 134714508 3221224592 3221222776 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5548 4875 1111 63 0 5485 0
vsize: 22192
[startup+1175.55 s]
Raw data (loadavg): 0.99 0.98 0.97 1/53 23869
Raw data (stat): 23867 (bsolo_lpr) R 23866 21152 21151 0 -1 0 232501 0 0 0 116424 591 0 0 25 0 1 0 775453419 22724608 4875 4294967295 134512640 134714508 3221224592 3221222776 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5548 4875 1111 63 0 5485 0
vsize: 0

Child status: 10
Real time (s): 1175.55
CPU time (s): 1175.68
CPU user time (s): 1169.73
CPU system time (s): 5.9521
CPU usage (%): 100.011
Max. virtual memory (Kb): 25004
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	1445824
#### END VERIFIER DATA ####