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:
  1. 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.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
  3. 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.
  4. 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

Namenormalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-misc05.opb
MD5SUM4f7891bf040f9fa135208e1a9808a8bc
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
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 numbers27
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark6.00309
Number of variables1320
Total number of constraints374
Number of constraints which are clauses155
Number of constraints which are cardinality constraints (but not clauses)82
Number of constraints which are nor clauses,nor cardinality constraints137
Minimum length of a constraint1
Maximum length of a constraint301

Trace number 35646 

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        746408 kB
Buffers:         34052 kB
Cached:         231700 kB
SwapCached:        604 kB
Active:          58452 kB
Inactive:       209420 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        746156 kB
SwapTotal:     2097136 kB
SwapFree:      2095616 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5120 kB
Slab:            14580 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-28 13:42:19 (client local time) WITH STATUS 10 IN 1201.8 SECONDS
stats: 24835 0 1201.8 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
c [startup+21.2031 s]  setting bit 20 to 0
c got solution with objective value: 1454400
c [startup+37.2164 s]  setting bit 19 to 1

Decision: 21919/427919	Time: 225.697/86400c [startup+305.661 s]  setting bit 18 to 0
c got solution with objective value: 1438784
c [startup+321.262 s]  setting bit 17 to 1

Decision: 18367/427919	Time: 270.601/86400
Decision: 18367/427919	Time: 371.984/86400
Decision: 18367/427919	Time: 478.335/86400
Decision: 18368/427919	Time: 619.794/86400s SATISFIABLE
v -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 COL023_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 COL056_bit0 -COL057_bit0 -COL058_bit0 COL059_bit0 -COL060_bit0 COL061_bit0 -COL062_bit0 -COL063_bit0 -COL064_bit0 -COL065_bit0 -COL066_bit0 -COL067_bit0 -COL068_bit0 -COL069_bit0 COL070_bit0 -COL071_bit0 -COL072_bit0 -COL073_bit0 -COL073_bit1 -COL073_bit10 -COL073_bit11 -COL073_bit12 -COL073_bit2 -COL073_bit3 -COL073_bit4 -COL073_bit5 -COL073_bit6 -COL073_bit7 -COL073_bit8 -COL073_bit9 -COL073_bit_1 -COL073_bit_2 -COL073_bit_3 -COL073_bit_4 -COL073_bit_5 -COL073_bit_6 -COL073_bit_7 -COL074_bit0 -COL074_bit1 -COL074_bit10 -COL074_bit11 -COL074_bit12 -COL074_bit2 -COL074_bit3 -COL074_bit4 -COL074_bit5 -COL074_bit6 -COL074_bit7 -COL074_bit8 -COL074_bit9 -COL074_bit_1 -COL074_bit_2 -COL074_bit_3 -COL074_bit_4 -COL074_bit_5 -COL074_bit_6 -COL074_bit_7 -COL075_bit0 -COL075_bit1 -COL075_bit10 -COL075_bit11 -COL075_bit12 -COL075_bit2 -COL075_bit3 -COL075_bit4 -COL075_bit5 -COL075_bit6 -COL075_bit7 -COL075_bit8 -COL075_bit9 -COL075_bit_1 -COL075_bit_2 -COL075_bit_3 -COL075_bit_4 -COL075_bit_5 -COL075_bit_6 -COL075_bit_7 -COL076_bit0 -COL076_bit1 -COL076_bit10 -COL076_bit11 -COL076_bit12 -COL076_bit2 -COL076_bit3 -COL076_bit4 -COL076_bit5 -COL076_bit6 -COL076_bit7 -COL076_bit8 -COL076_bit9 -COL076_bit_1 -COL076_bit_2 -COL076_bit_3 -COL076_bit_4 -COL076_bit_5 -COL076_bit_6 -COL076_bit_7 -COL077_bit0 -COL077_bit1 -COL077_bit10 -COL077_bit11 -COL077_bit12 -COL077_bit2 -COL077_bit3 -COL077_bit4 -COL077_bit5 -COL077_bit6 -COL077_bit7 -COL077_bit8 -COL077_bit9 -COL077_bit_1 -COL077_bit_2 -COL077_bit_3 -COL077_bit_4 -COL077_bit_5 -COL077_bit_6 -COL077_bit_7 -COL078_bit0 -COL078_bit1 -COL078_bit10 -COL078_bit11 -COL078_bit12 -COL078_bit2 -COL078_bit3 -COL078_bit4 -COL078_bit5 -COL078_bit6 -COL078_bit7 -COL078_bit8 -COL078_bit9 -COL078_bit_1 -COL078_bit_2 -COL078_bit_3 -COL078_bit_4 -COL078_bit_5 -COL078_bit_6 -COL078_bit_7 -COL079_bit0 -COL079_bit1 -COL079_bit10 -COL079_bit11 -COL079_bit12 COL079_bit2 COL079_bit3 -COL079_bit4 COL079_bit5 -COL079_bit6 -COL079_bit7 COL079_bit8 -COL079_bit9 -COL079_bit_1 -COL079_bit_2 -COL079_bit_3 -COL079_bit_4 -COL079_bit_5 -COL079_bit_6 -COL079_bit_7 -COL080_bit0 -COL080_bit1 -COL080_bit10 -COL080_bit11 -COL080_bit12 -COL080_bit2 -COL080_bit3 -COL080_bit4 -COL080_bit5 -COL080_bit6 -COL080_bit7 -COL080_bit8 -COL080_bit9 -COL080_bit_1 -COL080_bit_2 -COL080_bit_3 -COL080_bit_4 -COL080_bit_5 -COL080_bit_6 -COL080_bit_7 -COL081_bit0 -COL081_bit1 -COL081_bit10 -COL081_bit11 -COL081_bit12 -COL081_bit2 -COL081_bit3 -COL081_bit4 -COL081_bit5 -COL081_bit6 -COL081_bit7 -COL081_bit8 -COL081_bit9 -COL081_bit_1 -COL081_bit_2 -COL081_bit_3 -COL081_bit_4 -COL081_bit_5 -COL081_bit_6 -COL081_bit_7 -COL082_bit0 -COL082_bit1 -COL082_bit10 -COL082_bit11 -COL082_bit12 -COL082_bit2 -COL082_bit3 -COL082_bit4 -COL082_bit5 -COL082_bit6 -COL082_bit7 -COL082_bit8 -COL082_bit9 -COL082_bit_1 -COL082_bit_2 -COL082_bit_3 -COL082_bit_4 -COL082_bit_5 -COL082_bit_6 -COL082_bit_7 -COL083_bit0 -COL083_bit1 -COL083_bit10 -COL083_bit11 -COL083_bit12 -COL083_bit2 -COL083_bit3 -COL083_bit4 -COL083_bit5 -COL083_bit6 -COL083_bit7 -COL083_bit8 -COL083_bit9 -COL083_bit_1 -COL083_bit_2 -COL083_bit_3 -COL083_bit_4 -COL083_bit_5 -COL083_bit_6 -COL083_bit_7 -COL084_bit0 -COL084_bit1 -COL084_bit10 -COL084_bit11 -COL084_bit12 -COL084_bit2 -COL084_bit3 -COL084_bit4 -COL084_bit5 -COL084_bit6 -COL084_bit7 -COL084_bit8 -COL084_bit9 -COL084_bit_1 -COL084_bit_2 -COL084_bit_3 -COL084_bit_4 -COL084_bit_5 -COL084_bit_6 -COL084_bit_7 -COL085_bit0 -COL085_bit1 -COL085_bit10 -COL085_bit11 -COL085_bit12 -COL085_bit2 -COL085_bit3 -COL085_bit4 -COL085_bit5 -COL085_bit6 -COL085_bit7 -COL085_bit8 -COL085_bit9 -COL085_bit_1 -COL085_bit_2 -COL085_bit_3 -COL085_bit_4 -COL085_bit_5 -COL085_bit_6 -COL085_bit_7 -COL086_bit0 -COL086_bit1 -COL086_bit10 -COL086_bit11 -COL086_bit12 -COL086_bit2 -COL086_bit3 -COL086_bit4 -COL086_bit5 -COL086_bit6 -COL086_bit7 -COL086_bit8 -COL086_bit9 -COL086_bit_1 -COL086_bit_2 -COL086_bit_3 -COL086_bit_4 -COL086_bit_5 -COL086_bit_6 -COL086_bit_7 -COL087_bit0 -COL087_bit1 -COL087_bit10 -COL087_bit11 -COL087_bit12 -COL087_bit2 -COL087_bit3 -COL087_bit4 -COL087_bit5 -COL087_bit6 -COL087_bit7 -COL087_bit8 -COL087_bit9 -COL087_bit_1 -COL087_bit_2 -COL087_bit_3 -COL087_bit_4 -COL087_bit_5 -COL087_bit_6 -COL087_bit_7 -COL088_bit0 -COL088_bit1 -COL088_bit10 -COL088_bit11 -COL088_bit12 -COL088_bit2 -COL088_bit3 -COL088_bit4 -COL088_bit5 -COL088_bit6 -COL088_bit7 -COL088_bit8 -COL088_bit9 -COL088_bit_1 -COL088_bit_2 -COL088_bit_3 -COL088_bit_4 -COL088_bit_5 -COL088_bit_6 -COL088_bit_7 -COL089_bit0 -COL089_bit1 -COL089_bit10 -COL089_bit11 -COL089_bit12 -COL089_bit2 -COL089_bit3 -COL089_bit4 -COL089_bit5 -COL089_bit6 -COL089_bit7 -COL089_bit8 -COL089_bit9 -COL089_bit_1 -COL089_bit_2 -COL089_bit_3 -COL089_bit_4 -COL089_bit_5 -COL089_bit_6 -COL089_bit_7 -COL090_bit0 -COL090_bit1 -COL090_bit10 -COL090_bit11 -COL090_bit12 -COL090_bit2 -COL090_bit3 -COL090_bit4 -COL090_bit5 -COL090_bit6 -COL090_bit7 -COL090_bit8 -COL090_bit9 -COL090_bit_1 -COL090_bit_2 -COL090_bit_3 -COL090_bit_4 -COL090_bit_5 -COL090_bit_6 -COL090_bit_7 -COL091_bit0 -COL091_bit1 -COL091_bit10 -COL091_bit11 -COL091_bit12 -COL091_bit2 -COL091_bit3 -COL091_bit4 -COL091_bit5 -COL091_bit6 -COL091_bit7 -COL091_bit8 -COL091_bit9 -COL091_bit_1 -COL091_bit_2 -COL091_bit_3 -COL091_bit_4 -COL091_bit_5 -COL091_bit_6 -COL091_bit_7 -COL092_bit0 -COL092_bit1 -COL092_bit10 -COL092_bit11 -COL092_bit12 -COL092_bit2 -COL092_bit3 -COL092_bit4 -COL092_bit5 -COL092_bit6 -COL092_bit7 -COL092_bit8 -COL092_bit9 -COL092_bit_1 -COL092_bit_2 -COL092_bit_3 -COL092_bit_4 -COL092_bit_5 -COL092_bit_6 -COL092_bit_7 -COL093_bit0 -COL093_bit1 -COL093_bit10 -COL093_bit11 -COL093_bit12 -COL093_bit2 -COL093_bit3 -COL093_bit4 -COL093_bit5 -COL093_bit6 -COL093_bit7 -COL093_bit8 -COL093_bit9 -COL093_bit_1 -COL093_bit_2 -COL093_bit_3 -COL093_bit_4 -COL093_bit_5 -COL093_bit_6 -COL093_bit_7 -COL094_bit0 -COL094_bit1 -COL094_bit10 -COL094_bit11 -COL094_bit12 -COL094_bit2 -COL094_bit3 -COL094_bit4 -COL094_bit5 -COL094_bit6 -COL094_bit7 -COL094_bit8 -COL094_bit9 -COL094_bit_1 -COL094_bit_2 -COL094_bit_3 -COL094_bit_4 -COL094_bit_5 -COL094_bit_6 -COL094_bit_7 -COL095_bit0 -COL095_bit1 -COL095_bit10 -COL095_bit11 -COL095_bit12 -COL095_bit2 -COL095_bit3 -COL095_bit4 -COL095_bit5 -COL095_bit6 -COL095_bit7 -COL095_bit8 -COL095_bit9 -COL095_bit_1 -COL095_bit_2 -COL095_bit_3 -COL095_bit_4 -COL095_bit_5 -COL095_bit_6 -COL095_bit_7 -COL096_bit0 -COL096_bit1 -COL096_bit10 -COL096_bit11 -COL096_bit12 COL096_bit2 -COL096_bit3 COL096_bit4 COL096_bit5 -COL096_bit6 COL096_bit7 -COL096_bit8 -COL096_bit9 -COL096_bit_1 -COL096_bit_2 -COL096_bit_3 -COL096_bit_4 -COL096_bit_5 -COL096_bit_6 -COL096_bit_7 -COL097_bit0 -COL097_bit1 -COL097_bit10 -COL097_bit11 -COL097_bit12 -COL097_bit2 -COL097_bit3 -COL097_bit4 -COL097_bit5 -COL097_bit6 -COL097_bit7 -COL097_bit8 -COL097_bit9 -COL097_bit_1 -COL097_bit_2 -COL097_bit_3 -COL097_bit_4 -COL097_bit_5 -COL097_bit_6 -COL097_bit_7 -COL098_bit0 -COL098_bit1 -COL098_bit10 -COL098_bit11 -COL098_bit12 -COL098_bit2 -COL098_bit3 -COL098_bit4 -COL098_bit5 -COL098_bit6 -COL098_bit7 -COL098_bit8 -COL098_bit9 -COL098_bit_1 -COL098_bit_2 -COL098_bit_3 -COL098_bit_4 -COL098_bit_5 -COL098_bit_6 -COL098_bit_7 -COL099_bit0 -COL099_bit1 -COL099_bit10 -COL099_bit11 -COL099_bit12 -COL099_bit2 -COL099_bit3 -COL099_bit4 -COL099_bit5 -COL099_bit6 -COL099_bit7 -COL099_bit8 -COL099_bit9 -COL099_bit_1 -COL099_bit_2 -COL099_bit_3 -COL099_bit_4 -COL099_bit_5 -COL099_bit_6 -COL099_bit_7 -COL100_bit0 COL100_bit1 -COL100_bit10 -COL100_bit11 -COL100_bit12 COL100_bit2 COL100_bit3 -COL100_bit4 COL100_bit5 -COL100_bit6 COL100_bit7 COL100_bit8 -COL100_bit9 -COL100_bit_1 -COL100_bit_2 -COL100_bit_3 -COL100_bit_4 -COL100_bit_5 -COL100_bit_6 -COL100_bit_7 -COL101_bit0 -COL101_bit1 -COL101_bit10 -COL101_bit11 -COL101_bit12 -COL101_bit2 -COL101_bit3 -COL101_bit4 -COL101_bit5 -COL101_bit6 -COL101_bit7 -COL101_bit8 -COL101_bit9 -COL101_bit_1 -COL101_bit_2 -COL101_bit_3 -COL101_bit_4 -COL101_bit_5 -COL101_bit_6 -COL101_bit_7 -COL102_bit0 -COL102_bit1 -COL102_bit10 -COL102_bit11 -COL102_bit12 -COL102_bit2 -COL102_bit3 -COL102_bit4 -COL102_bit5 -COL102_bit6 -COL102_bit7 -COL102_bit8 -COL102_bit9 -COL102_bit_1 -COL102_bit_2 -COL102_bit_3 -COL102_bit_4 -COL102_bit_5 -COL102_bit_6 -COL102_bit_7 -COL103_bit0 -COL103_bit1 -COL103_bit10 -COL103_bit11 -COL103_bit12 -COL103_bit2 -COL103_bit3 -COL103_bit4 -COL103_bit5 -COL103_bit6 -COL103_bit7 -COL103_bit8 -COL103_bit9 -COL103_bit_1 -COL103_bit_2 -COL103_bit_3 -COL103_bit_4 -COL103_bit_5 -COL103_bit_6 -COL103_bit_7 -COL104_bit0 -COL104_bit1 -COL104_bit10 -COL104_bit11 -COL104_bit12 COL104_bit2 -COL104_bit3 COL104_bit4 -COL104_bit5 COL104_bit6 -COL104_bit7 COL104_bit8 -COL104_bit9 -COL104_bit_1 -COL104_bit_2 -COL104_bit_3 -COL104_bit_4 -COL104_bit_5 -COL104_bit_6 -COL104_bit_7 -COL105_bit0 -COL105_bit1 -COL105_bit10 -COL105_bit11 -COL105_bit12 -COL105_bit2 -COL105_bit3 -COL105_bit4 -COL105_bit5 -COL105_bit6 -COL105_bit7 -COL105_bit8 -COL105_bit9 -COL105_bit_1 -COL105_bit_2 -COL105_bit_3 -COL105_bit_4 -COL105_bit_5 -COL105_bit_6 -COL105_bit_7 -COL106_bit0 -COL106_bit1 -COL106_bit10 -COL106_bit11 -COL106_bit12 -COL106_bit2 -COL106_bit3 -COL106_bit4 -COL106_bit5 -COL106_bit6 -COL106_bit7 -COL106_bit8 -COL106_bit9 -COL106_bit_1 -COL106_bit_2 -COL106_bit_3 -COL106_bit_4 -COL106_bit_5 -COL106_bit_6 -COL106_bit_7 -COL107_bit0 -COL107_bit1 -COL107_bit10 -COL107_bit11 -COL107_bit12 -COL107_bit2 -COL107_bit3 -COL107_bit4 -COL107_bit5 -COL107_bit6 -COL107_bit7 -COL107_bit8 -COL107_bit9 -COL107_bit_1 -COL107_bit_2 -COL107_bit_3 -COL107_bit_4 -COL107_bit_5 -COL107_bit_6 -COL107_bit_7 -COL108_bit0 -COL108_bit1 -COL108_bit10 -COL108_bit11 -COL108_bit12 -COL108_bit2 -COL108_bit3 -COL108_bit4 -COL108_bit5 -COL108_bit6 -COL108_bit7 -COL108_bit8 -COL108_bit9 -COL108_bit_1 -COL108_bit_2 -COL108_bit_3 -COL108_bit_4 -COL108_bit_5 -COL108_bit_6 -COL108_bit_7 -COL109_bit0 -COL109_bit1 -COL109_bit10 -COL109_bit11 -COL109_bit12 -COL109_bit2 -COL109_bit3 -COL109_bit4 -COL109_bit5 -COL109_bit6 -COL109_bit7 -COL109_bit8 -COL109_bit9 -COL109_bit_1 -COL109_bit_2 -COL109_bit_3 -COL109_bit_4 -COL109_bit_5 -COL109_bit_6 -COL109_bit_7 -COL110_bit0 -COL110_bit1 -COL110_bit10 -COL110_bit11 -COL110_bit12 -COL110_bit2 -COL110_bit3 -COL110_bit4 -COL110_bit5 -COL110_bit6 -COL110_bit7 -COL110_bit8 -COL110_bit9 -COL110_bit_1 -COL110_bit_2 -COL110_bit_3 -COL110_bit_4 -COL110_bit_5 -COL110_bit_6 -COL110_bit_7 -COL111_bit0 -COL111_bit1 -COL111_bit10 -COL111_bit11 -COL111_bit12 -COL111_bit2 -COL111_bit3 -COL111_bit4 -COL111_bit5 -COL111_bit6 -COL111_bit7 -COL111_bit8 -COL111_bit9 -COL111_bit_1 -COL111_bit_2 -COL111_bit_3 -COL111_bit_4 -COL111_bit_5 -COL111_bit_6 -COL111_bit_7 -COL112_bit0 -COL112_bit1 -COL112_bit10 -COL112_bit11 -COL112_bit12 -COL112_bit2 -COL112_bit3 -COL112_bit4 -COL112_bit5 -COL112_bit6 -COL112_bit7 -COL112_bit8 -COL112_bit9 -COL112_bit_1 -COL112_bit_2 -COL112_bit_3 -COL112_bit_4 -COL112_bit_5 -COL112_bit_6 -COL112_bit_7 -COL113_bit0 -COL113_bit1 -COL113_bit10 -COL113_bit11 -COL113_bit12 -COL113_bit2 -COL113_bit3 -COL113_bit4 -COL113_bit5 -COL113_bit6 -COL113_bit7 -COL113_bit8 -COL113_bit9 -COL113_bit_1 -COL113_bit_2 -COL113_bit_3 -COL113_bit_4 -COL113_bit_5 -COL113_bit_6 -COL113_bit_7 -COL114_bit0 -COL114_bit1 -COL114_bit10 -COL114_bit11 -COL114_bit12 -COL114_bit2 -COL114_bit3 -COL114_bit4 -COL114_bit5 -COL114_bit6 -COL114_bit7 -COL114_bit8 -COL114_bit9 -COL114_bit_1 -COL114_bit_2 -COL114_bit_3 -COL114_bit_4 -COL114_bit_5 -COL114_bit_6 -COL114_bit_7 -COL115_bit0 -COL115_bit1 -COL115_bit10 -COL115_bit11 -COL115_bit12 -COL115_bit2 -COL115_bit3 -COL115_bit4 -COL115_bit5 -COL115_bit6 -COL115_bit7 -COL115_bit8 -COL115_bit9 -COL115_bit_1 -COL115_bit_2 -COL115_bit_3 -COL115_bit_4 -COL115_bit_5 -COL115_bit_6 -COL115_bit_7 -COL116_bit0 -COL116_bit1 -COL116_bit10 -COL116_bit11 -COL116_bit12 -COL116_bit2 -COL116_bit3 -COL116_bit4 -COL116_bit5 -COL116_bit6 -COL116_bit7 -COL116_bit8 -COL116_bit9 -COL116_bit_1 -COL116_bit_2 -COL116_bit_3 -COL116_bit_4 -COL116_bit_5 -COL116_bit_6 -COL116_bit_7 -COL117_bit0 -COL117_bit1 -COL117_bit10 -COL117_bit11 -COL117_bit12 -COL117_bit2 COL117_bit3 -COL117_bit4 -COL117_bit5 COL117_bit6 COL117_bit7 -COL117_bit8 -COL117_bit9 -COL117_bit_1 -COL117_bit_2 -COL117_bit_3 -COL117_bit_4 -COL117_bit_5 -COL117_bit_6 -COL117_bit_7 -COL118_bit0 -COL118_bit1 -COL118_bit10 -COL118_bit11 -COL118_bit12 -COL118_bit2 -COL118_bit3 -COL118_bit4 -COL118_bit5 -COL118_bit6 -COL118_bit7 -COL118_bit8 -COL118_bit9 -COL118_bit_1 -COL118_bit_2 -COL118_bit_3 -COL118_bit_4 -COL118_bit_5 -COL118_bit_6 -COL118_bit_7 -COL119_bit0 COL119_bit1 -COL119_bit10 -COL119_bit11 -COL119_bit12 -COL119_bit2 COL119_bit3 -COL119_bit4 COL119_bit5 COL119_bit6 COL119_bit7 COL119_bit8 -COL119_bit9 -COL119_bit_1 -COL119_bit_2 -COL119_bit_3 -COL119_bit_4 -COL119_bit_5 -COL119_bit_6 -COL119_bit_7 -COL120_bit0 -COL120_bit1 -COL120_bit10 -COL120_bit11 -COL120_bit12 -COL120_bit2 -COL120_bit3 -COL120_bit4 -COL120_bit5 -COL120_bit6 -COL120_bit7 -COL120_bit8 -COL120_bit9 -COL120_bit_1 -COL120_bit_2 -COL120_bit_3 -COL120_bit_4 -COL120_bit_5 -COL120_bit_6 -COL120_bit_7 -COL121_bit0 -COL121_bit1 -COL121_bit10 -COL121_bit11 -COL121_bit12 -COL121_bit2 -COL121_bit3 -COL121_bit4 -COL121_bit5 -COL121_bit6 -COL121_bit7 -COL121_bit8 -COL121_bit9 -COL121_bit_1 -COL121_bit_2 -COL121_bit_3 -COL121_bit_4 -COL121_bit_5 -COL121_bit_6 -COL121_bit_7 -COL122_bit0 -COL122_bit1 -COL122_bit10 -COL122_bit11 -COL122_bit12 -COL122_bit2 -COL122_bit3 -COL122_bit4 -COL122_bit5 -COL122_bit6 -COL122_bit7 -COL122_bit8 -COL122_bit9 -COL122_bit_1 -COL122_bit_2 -COL122_bit_3 -COL122_bit_4 -COL122_bit_5 -COL122_bit_6 -COL122_bit_7 -COL123_bit0 -COL123_bit1 -COL123_bit10 -COL123_bit11 -COL123_bit12 -COL123_bit2 -COL123_bit3 -COL123_bit4 -COL123_bit5 -COL123_bit6 -COL123_bit7 -COL123_bit8 -COL123_bit9 -COL123_bit_1 -COL123_bit_2 -COL123_bit_3 -COL123_bit_4 -COL123_bit_5 -COL123_bit_6 -COL123_bit_7 -COL124_bit0 -COL124_bit1 -COL124_bit10 -COL124_bit11 -COL124_bit12 -COL124_bit2 -COL124_bit3 -COL124_bit4 -COL124_bit5 -COL124_bit6 -COL124_bit7 -COL124_bit8 -COL124_bit9 -COL124_bit_1 -COL124_bit_2 -COL124_bit_3 -COL124_bit_4 -COL124_bit_5 -COL124_bit_6 -COL124_bit_7 -COL125_bit0 -COL125_bit1 -COL125_bit10 -COL125_bit11 -COL125_bit12 -COL125_bit2 -COL125_bit3 -COL125_bit4 -COL125_bit5 -COL125_bit6 -COL125_bit7 -COL125_bit8 -COL125_bit9 -COL125_bit_1 -COL125_bit_2 -COL125_bit_3 -COL125_bit_4 -COL125_bit_5 -COL125_bit_6 -COL125_bit_7 -COL126_bit0 -COL126_bit1 -COL126_bit10 -COL126_bit11 -COL126_bit12 -COL126_bit2 -COL126_bit3 -COL126_bit4 -COL126_bit5 -COL126_bit6 -COL126_bit7 -COL126_bit8 -COL126_bit9 -COL126_bit_1 -COL126_bit_2 -COL126_bit_3 -COL126_bit_4 -COL126_bit_5 -COL126_bit_6 -COL126_bit_7 -COL127_bit0 COL127_bit1 -COL127_bit10 -COL127_bit11 -COL127_bit12 -COL127_bit2 -COL127_bit3 COL127_bit4 COL127_bit5 COL127_bit6 -COL127_bit7 COL127_bit8 -COL127_bit9 -COL127_bit_1 -COL127_bit_2 -COL127_bit_3 -COL127_bit_4 -COL127_bit_5 -COL127_bit_6 -COL127_bit_7 -COL128_bit0 -COL128_bit1 -COL128_bit10 -COL128_bit11 -COL128_bit12 -COL128_bit2 -COL128_bit3 -COL128_bit4 -COL128_bit5 -COL128_bit6 -COL128_bit7 -COL128_bit8 -COL128_bit9 -COL128_bit_1 -COL128_bit_2 -COL128_bit_3 -COL128_bit_4 -COL128_bit_5 -COL128_bit_6 -COL128_bit_7 COL129_bit0 COL130_bit0 COL131_bit0 -COL131_bit1 -COL131_bit10 -COL131_bit11 -COL131_bit12 COL131_bit13 -COL131_bit2 -COL131_bit3 -COL131_bit4 -COL131_bit5 -COL131_bit6 -COL131_bit7 -COL131_bit8 -COL131_bit9 -COL131_bit_1 -COL131_bit_2 -COL131_bit_3 -COL131_bit_4 -COL131_bit_5 -COL131_bit_6 -COL131_bit_7 -COL132_bit0 -COL132_bit1 -COL132_bit10 -COL132_bit11 -COL132_bit12 COL132_bit13 -COL132_bit2 -COL132_bit3 -COL132_bit4 -COL132_bit5 -COL132_bit6 -COL132_bit7 -COL132_bit8 -COL132_bit9 -COL132_bit_1 -COL132_bit_2 -COL132_bit_3 -COL132_bit_4 -COL132_bit_5 -COL132_bit_6 -COL132_bit_7 -COL133_bit0 -COL133_bit1 -COL133_bit10 COL133_bit11 -COL133_bit12 COL133_bit13 -COL133_bit2 COL133_bit3 -COL133_bit4 COL133_bit5 COL133_bit6 COL133_bit7 COL133_bit8 COL133_bit9 COL133_bit_1 -COL133_bit_2 -COL133_bit_3 -COL133_bit_4 -COL133_bit_5 -COL133_bit_6 -COL133_bit_7 COL134_bit0 COL134_bit1 COL134_bit10 -COL134_bit11 -COL134_bit12 COL134_bit13 -COL134_bit2 -COL134_bit3 -COL134_bit4 COL134_bit5 -COL134_bit6 COL134_bit7 -COL134_bit8 COL134_bit9 -COL134_bit_1 -COL134_bit_2 -COL134_bit_3 -COL134_bit_4 -COL134_bit_5 -COL134_bit_6 -COL134_bit_7 COL135_bit0 -COL135_bit1 -COL135_bit10 -COL135_bit11 -COL135_bit12 COL135_bit13 -COL135_bit2 COL135_bit3 COL135_bit4 -COL135_bit5 -COL135_bit6 COL135_bit7 COL135_bit8 COL135_bit9 -COL135_bit_1 -COL135_bit_2 -COL135_bit_3 -COL135_bit_4 -COL135_bit_5 -COL135_bit_6 -COL135_bit_7 -COL136_bit0 COL136_bit1 -COL136_bit10 -COL136_bit11 -COL136_bit12 COL136_bit13 -COL136_bit2 COL136_bit3 -COL136_bit4 COL136_bit5 -COL136_bit6 COL136_bit7 COL136_bit8 -COL136_bit9 COL136_bit_1 -COL136_bit_2 -COL136_bit_3 -COL136_bit_4 -COL136_bit_5 -COL136_bit_6 -COL136_bit_7 
#### 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.88 0.93 0.90 1/54 4235
Raw data (stat): 4235 (runsolver) R 4234 23514 23513 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 806899229 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0008 s]
Raw data (loadavg): 0.89 0.93 0.90 2/54 4235
Raw data (stat): 4235 (pb2sat) R 4234 23514 23513 0 -1 0 28737 0 0 0 941 58 0 0 25 0 1 0 806899229 83554304 17812 4294967295 134512640 135726644 3221224576 3221196208 134767136 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 20399 17812 300 300 0 20099 0
vsize: 81596
[startup+20.0014 s]
Raw data (loadavg): 0.91 0.93 0.90 2/54 4235
Raw data (stat): 4235 (pb2sat) R 4234 23514 23513 0 -1 0 54493 0 0 0 1887 112 0 0 25 0 1 0 806899229 161660928 32622 4294967295 134512640 135726644 3221224576 3221222872 134761847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39468 32622 300 300 0 39168 0
vsize: 157872
[startup+30.0026 s]
Raw data (loadavg): 0.92 0.93 0.91 2/54 4235
Raw data (stat): 4235 (pb2sat) R 4234 23514 23513 0 -1 0 58407 0 0 0 2878 120 0 0 25 0 1 0 806899229 168734720 33684 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41195 33684 300 300 0 40895 0
vsize: 164780
[startup+40.0025 s]
Raw data (loadavg): 0.93 0.93 0.91 2/54 4235
Raw data (stat): 4235 (pb2sat) R 4234 23514 23513 0 -1 0 60107 0 0 0 3873 124 0 0 25 0 1 0 806899229 171028480 34160 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41755 34160 300 300 0 41455 0
vsize: 167020
[startup+50.0028 s]
Raw data (loadavg): 0.94 0.94 0.91 2/54 4235
Raw data (stat): 4235 (pb2sat) R 4234 23514 23513 0 -1 0 61177 0 0 0 4871 127 0 0 25 0 1 0 806899229 174223360 34614 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42535 34614 300 300 0 42235 0
vsize: 170140
[startup+60.0029 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 4235
Raw data (stat): 4235 (pb2sat) R 4234 23514 23513 0 -1 0 61216 0 0 0 5870 127 0 0 25 0 1 0 806899229 174223360 34653 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42535 34653 300 300 0 42235 0
vsize: 170140
[startup+70.0037 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 4235
Raw data (stat): 4235 (pb2sat) R 4234 23514 23513 0 -1 0 61494 0 0 0 6870 128 0 0 25 0 1 0 806899229 174747648 34802 4294967295 134512640 135726644 3221224576 3221223072 134744297 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42663 34802 300 300 0 42363 0
vsize: 170652
[startup+80.0042 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 4235
Raw data (stat): 4235 (pb2sat) R 4234 23514 23513 0 -1 0 61575 0 0 0 7870 128 0 0 25 0 1 0 806899229 174747648 34883 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42663 34883 300 300 0 42363 0
vsize: 170652
[startup+90.0044 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 4235
Raw data (stat): 4235 (pb2sat) R 4234 23514 23513 0 -1 0 61669 0 0 0 8869 129 0 0 25 0 1 0 806899229 174747648 34977 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42663 34977 300 300 0 42363 0
vsize: 170652
[startup+100.012 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 4235
Raw data (stat): 4235 (pb2sat) R 4234 23514 23513 0 -1 0 62136 0 0 0 9869 130 0 0 25 0 1 0 806899229 176058368 35121 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42983 35121 300 300 0 42683 0
vsize: 171932
[startup+110.017 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 4235
Raw data (stat): 4235 (pb2sat) R 4234 23514 23513 0 -1 0 62155 0 0 0 10870 130 0 0 25 0 1 0 806899229 176058368 35140 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42983 35140 300 300 0 42683 0
vsize: 171932
[startup+120.018 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 4235
Raw data (stat): 4235 (pb2sat) R 4234 23514 23513 0 -1 0 62215 0 0 0 11870 130 0 0 25 0 1 0 806899229 176058368 35200 4294967295 134512640 135726644 3221224576 3221223072 134744028 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42983 35200 300 300 0 42683 0
vsize: 171932
[startup+130.018 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 4235
Raw data (stat): 4235 (pb2sat) R 4234 23514 23513 0 -1 0 62594 0 0 0 12869 131 0 0 25 0 1 0 806899229 177106944 35322 4294967295 134512640 135726644 3221224576 3221223072 134743975 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43239 35322 300 300 0 42939 0
vsize: 172956
[startup+140.017 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 4235
Raw data (stat): 4235 (pb2sat) R 4234 23514 23513 0 -1 0 62597 0 0 0 13869 131 0 0 25 0 1 0 806899229 177106944 35325 4294967295 134512640 135726644 3221224576 3221223072 134744056 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43239 35325 300 300 0 42939 0
vsize: 172956
[startup+150.018 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 4235
Raw data (stat): 4235 (pb2sat) R 4234 23514 23513 0 -1 0 62600 0 0 0 14870 131 0 0 25 0 1 0 806899229 177106944 35328 4294967295 134512640 135726644 3221224576 3221223264 134744969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43239 35328 300 300 0 42939 0
vsize: 172956
[startup+160.018 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 4235
Raw data (stat): 4235 (pb2sat) R 4234 23514 23513 0 -1 0 62604 0 0 0 15870 131 0 0 25 0 1 0 806899229 177106944 35332 4294967295 134512640 135726644 3221224576 3221223248 134745056 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43239 35332 300 300 0 42939 0
vsize: 172956
[startup+170.019 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 4235
Raw data (stat): 4235 (pb2sat) R 4234 23514 23513 0 -1 0 62607 0 0 0 16870 131 0 0 25 0 1 0 806899229 177106944 35335 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43239 35335 300 300 0 42939 0
vsize: 172956
[startup+180.121 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 4235
Raw data (stat): 4235 (pb2sat) R 4234 23514 23513 0 -1 0 62615 0 0 0 17880 131 0 0 25 0 1 0 806899229 177106944 35343 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43239 35343 300 300 0 42939 0
vsize: 172956
[startup+190.121 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 4235
Raw data (stat): 4235 (pb2sat) R 4234 23514 23513 0 -1 0 62619 0 0 0 18880 131 0 0 25 0 1 0 806899229 177106944 35347 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43239 35347 300 300 0 42939 0
vsize: 172956
[startup+200.121 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 4235
Raw data (stat): 4235 (pb2sat) R 4234 23514 23513 0 -1 0 62623 0 0 0 19880 131 0 0 25 0 1 0 806899229 177106944 35351 4294967295 134512640 135726644 3221224576 3221223168 134760424 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43239 35351 300 300 0 42939 0
vsize: 172956
[startup+210.121 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 4235
Raw data (stat): 4235 (pb2sat) R 4234 23514 23513 0 -1 0 62627 0 0 0 20881 131 0 0 25 0 1 0 806899229 177106944 35355 4294967295 134512640 135726644 3221224576 3221223200 134744553 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43239 35355 300 300 0 42939 0
vsize: 172956
[startup+220.122 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 4235
Raw data (stat): 4235 (pb2sat) R 4234 23514 23513 0 -1 0 62630 0 0 0 21880 131 0 0 25 0 1 0 806899229 177106944 35358 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43239 35358 300 300 0 42939 0
vsize: 172956
[startup+230.123 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 4235
Raw data (stat): 4235 (pb2sat) R 4234 23514 23513 0 -1 0 62633 0 0 0 22881 132 0 0 25 0 1 0 806899229 177106944 35361 4294967295 134512640 135726644 3221224576 3221223072 134744123 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43239 35361 300 300 0 42939 0
vsize: 172956
[startup+240.123 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 4235
Raw data (stat): 4235 (pb2sat) R 4234 23514 23513 0 -1 0 62636 0 0 0 23881 132 0 0 25 0 1 0 806899229 177106944 35364 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43239 35364 300 300 0 42939 0
vsize: 172956
[startup+250.124 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 4235
Raw data (stat): 4235 (pb2sat) R 4234 23514 23513 0 -1 0 62642 0 0 0 24881 132 0 0 25 0 1 0 806899229 177106944 35370 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43239 35370 300 300 0 42939 0
vsize: 172956
[startup+260.124 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 4235
Raw data (stat): 4235 (pb2sat) R 4234 23514 23513 0 -1 0 62646 0 0 0 25881 132 0 0 25 0 1 0 806899229 177106944 35374 4294967295 134512640 135726644 3221224576 3221223088 134742276 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43239 35374 300 300 0 42939 0
vsize: 172956
[startup+270.125 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 4235
Raw data (stat): 4235 (pb2sat) R 4234 23514 23513 0 -1 0 63482 0 0 0 26879 134 0 0 25 0 1 0 806899229 177106944 35374 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43239 35374 300 300 0 42939 0
vsize: 172956
[startup+280.127 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 4235
Raw data (stat): 4235 (pb2sat) R 4234 23514 23513 0 -1 0 63594 0 0 0 27879 134 0 0 25 0 1 0 806899229 177369088 35421 4294967295 134512640 135726644 3221224576 3221223072 134744028 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43303 35421 300 300 0 43003 0
vsize: 173212
[startup+290.127 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 4235
Raw data (stat): 4235 (pb2sat) R 4234 23514 23513 0 -1 0 63607 0 0 0 28879 134 0 0 25 0 1 0 806899229 177369088 35434 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43303 35434 300 300 0 43003 0
vsize: 173212
[startup+300.128 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 4235
Raw data (stat): 4235 (pb2sat) R 4234 23514 23513 0 -1 0 63761 0 0 0 29879 134 0 0 25 0 1 0 806899229 177893376 35459 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43431 35459 300 300 0 43131 0
vsize: 173724
[startup+310.135 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 4235
Raw data (stat): 4235 (pb2sat) R 4234 23514 23513 0 -1 0 64690 0 0 0 30878 136 0 0 25 0 1 0 806899229 178057216 35552 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43471 35552 300 300 0 43171 0
vsize: 173884
[startup+320.135 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4235
Raw data (stat): 4235 (pb2sat) R 4234 23514 23513 0 -1 0 64869 0 0 0 31878 136 0 0 25 0 1 0 806899229 178581504 35602 4294967295 134512640 135726644 3221224576 3221223264 134744911 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43599 35602 300 300 0 43299 0
vsize: 174396
[startup+330.138 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4235
Raw data (stat): 4235 (pb2sat) R 4234 23514 23513 0 -1 0 65710 0 0 0 32876 139 0 0 25 0 1 0 806899229 178581504 35607 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43599 35607 300 300 0 43299 0
vsize: 174396
[startup+340.137 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4235
Raw data (stat): 4235 (pb2sat) R 4234 23514 23513 0 -1 0 65716 0 0 0 33876 139 0 0 25 0 1 0 806899229 178581504 35613 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43599 35613 300 300 0 43299 0
vsize: 174396
[startup+350.139 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4235
Raw data (stat): 4235 (pb2sat) R 4234 23514 23513 0 -1 0 65723 0 0 0 34876 139 0 0 25 0 1 0 806899229 178581504 35620 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43599 35620 300 300 0 43299 0
vsize: 174396
[startup+360.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4235
Raw data (stat): 4235 (pb2sat) R 4234 23514 23513 0 -1 0 65730 0 0 0 35876 139 0 0 25 0 1 0 806899229 178581504 35627 4294967295 134512640 135726644 3221224576 3221223200 134744526 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43599 35627 300 300 0 43299 0
vsize: 174396
[startup+370.141 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4235
Raw data (stat): 4235 (pb2sat) R 4234 23514 23513 0 -1 0 65737 0 0 0 36877 139 0 0 25 0 1 0 806899229 178581504 35634 4294967295 134512640 135726644 3221224576 3221223072 134744014 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43599 35634 300 300 0 43299 0
vsize: 174396
[startup+380.141 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4235
Raw data (stat): 4235 (pb2sat) R 4234 23514 23513 0 -1 0 65746 0 0 0 37877 139 0 0 25 0 1 0 806899229 178581504 35643 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43599 35643 300 300 0 43299 0
vsize: 174396
[startup+390.141 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4235
Raw data (stat): 4235 (pb2sat) R 4234 23514 23513 0 -1 0 65756 0 0 0 38876 139 0 0 25 0 1 0 806899229 178581504 35653 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43599 35653 300 300 0 43299 0
vsize: 174396
[startup+400.244 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4235
Raw data (stat): 4235 (pb2sat) R 4234 23514 23513 0 -1 0 65763 0 0 0 39887 139 0 0 25 0 1 0 806899229 178581504 35660 4294967295 134512640 135726644 3221224576 3221223200 134744538 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43599 35660 300 300 0 43299 0
vsize: 174396
[startup+410.245 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4235
Raw data (stat): 4235 (pb2sat) R 4234 23514 23513 0 -1 0 65769 0 0 0 40887 139 0 0 25 0 1 0 806899229 178581504 35666 4294967295 134512640 135726644 3221224576 3221223072 134744020 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43599 35666 300 300 0 43299 0
vsize: 174396
[startup+420.245 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4235
Raw data (stat): 4235 (pb2sat) R 4234 23514 23513 0 -1 0 65776 0 0 0 41887 139 0 0 25 0 1 0 806899229 178581504 35673 4294967295 134512640 135726644 3221224576 3221223224 134744673 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43599 35673 300 300 0 43299 0
vsize: 174396
[startup+430.247 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4235
Raw data (stat): 4235 (pb2sat) R 4234 23514 23513 0 -1 0 65782 0 0 0 42888 139 0 0 25 0 1 0 806899229 178581504 35679 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43599 35679 300 300 0 43299 0
vsize: 174396
[startup+440.253 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4235
Raw data (stat): 4235 (pb2sat) R 4234 23514 23513 0 -1 0 65790 0 0 0 43888 139 0 0 25 0 1 0 806899229 178581504 35687 4294967295 134512640 135726644 3221224576 3221223072 134744342 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43599 35687 300 300 0 43299 0
vsize: 174396
[startup+450.253 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4235
Raw data (stat): 4235 (pb2sat) R 4234 23514 23513 0 -1 0 65797 0 0 0 44889 139 0 0 25 0 1 0 806899229 178581504 35694 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43599 35694 300 300 0 43299 0
vsize: 174396
[startup+460.253 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4235
Raw data (stat): 4235 (pb2sat) R 4234 23514 23513 0 -1 0 65805 0 0 0 45889 139 0 0 25 0 1 0 806899229 178581504 35702 4294967295 134512640 135726644 3221224576 3221223168 134760424 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43599 35702 300 300 0 43299 0
vsize: 174396
[startup+470.263 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4235
Raw data (stat): 4235 (pb2sat) R 4234 23514 23513 0 -1 0 65812 0 0 0 46890 139 0 0 25 0 1 0 806899229 178581504 35709 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43599 35709 300 300 0 43299 0
vsize: 174396
[startup+480.265 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4235
Raw data (stat): 4235 (pb2sat) R 4234 23514 23513 0 -1 0 65987 0 0 0 47890 140 0 0 25 0 1 0 806899229 179257344 35818 4294967295 134512640 135726644 3221224576 3221223172 134743856 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43764 35818 300 300 0 43464 0
vsize: 175056
[startup+490.334 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4235
Raw data (stat): 4235 (pb2sat) R 4234 23514 23513 0 -1 0 66000 0 0 0 48897 140 0 0 25 0 1 0 806899229 179257344 35831 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43764 35831 300 300 0 43464 0
vsize: 175056
[startup+500.341 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4235
Raw data (stat): 4235 (pb2sat) R 4234 23514 23513 0 -1 0 66289 0 0 0 49897 140 0 0 25 0 1 0 806899229 180305920 35863 4294967295 134512640 135726644 3221224576 3221223072 134744260 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44020 35863 300 300 0 43720 0
vsize: 176080
[startup+510.341 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4235
Raw data (stat): 4235 (pb2sat) R 4234 23514 23513 0 -1 0 66298 0 0 0 50897 140 0 0 25 0 1 0 806899229 180305920 35872 4294967295 134512640 135726644 3221224576 3221223180 134744139 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44020 35872 300 300 0 43720 0
vsize: 176080
[startup+520.342 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4235
Raw data (stat): 4235 (pb2sat) R 4234 23514 23513 0 -1 0 66304 0 0 0 51898 140 0 0 25 0 1 0 806899229 180305920 35878 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44020 35878 300 300 0 43720 0
vsize: 176080
[startup+530.342 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4235
Raw data (stat): 4235 (pb2sat) R 4234 23514 23513 0 -1 0 66312 0 0 0 52898 140 0 0 25 0 1 0 806899229 180305920 35886 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44020 35886 300 300 0 43720 0
vsize: 176080
[startup+540.342 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4235
Raw data (stat): 4235 (pb2sat) R 4234 23514 23513 0 -1 0 66320 0 0 0 53898 140 0 0 25 0 1 0 806899229 180305920 35894 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44020 35894 300 300 0 43720 0
vsize: 176080
[startup+550.342 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4235
Raw data (stat): 4235 (pb2sat) R 4234 23514 23513 0 -1 0 66334 0 0 0 54898 140 0 0 25 0 1 0 806899229 180305920 35908 4294967295 134512640 135726644 3221224576 3221223168 134759980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44020 35908 300 300 0 43720 0
vsize: 176080
[startup+560.342 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4235
Raw data (stat): 4235 (pb2sat) R 4234 23514 23513 0 -1 0 66370 0 0 0 55898 141 0 0 25 0 1 0 806899229 180305920 35944 4294967295 134512640 135726644 3221224576 3221223072 134743999 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44020 35944 300 300 0 43720 0
vsize: 176080
[startup+570.365 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4235
Raw data (stat): 4235 (pb2sat) R 4234 23514 23513 0 -1 0 66379 0 0 0 56900 141 0 0 25 0 1 0 806899229 180305920 35953 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44020 35953 300 300 0 43720 0
vsize: 176080
[startup+580.366 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4235
Raw data (stat): 4235 (pb2sat) R 4234 23514 23513 0 -1 0 66386 0 0 0 57901 141 0 0 25 0 1 0 806899229 180305920 35960 4294967295 134512640 135726644 3221224576 3221223168 134760424 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44020 35960 300 300 0 43720 0
vsize: 176080
[startup+590.366 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4235
Raw data (stat): 4235 (pb2sat) R 4234 23514 23513 0 -1 0 67229 0 0 0 58898 143 0 0 25 0 1 0 806899229 180305920 35967 4294967295 134512640 135726644 3221224576 3221223200 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44020 35967 300 300 0 43720 0
vsize: 176080
[startup+600.367 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4235
Raw data (stat): 4235 (pb2sat) R 4234 23514 23513 0 -1 0 67230 0 0 0 59898 143 0 0 25 0 1 0 806899229 180305920 35968 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44020 35968 300 300 0 43720 0
vsize: 176080
[startup+610.367 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4235
Raw data (stat): 4235 (pb2sat) R 4234 23514 23513 0 -1 0 67230 0 0 0 60898 143 0 0 25 0 1 0 806899229 180305920 35968 4294967295 134512640 135726644 3221224576 3221223072 134744028 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44020 35968 300 300 0 43720 0
vsize: 176080
[startup+620.368 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4235
Raw data (stat): 4235 (pb2sat) R 4234 23514 23513 0 -1 0 67230 0 0 0 61898 143 0 0 25 0 1 0 806899229 180305920 35968 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44020 35968 300 300 0 43720 0
vsize: 176080
[startup+630.368 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4235
Raw data (stat): 4235 (pb2sat) R 4234 23514 23513 0 -1 0 67231 0 0 0 62898 143 0 0 25 0 1 0 806899229 180305920 35969 4294967295 134512640 135726644 3221224576 3221223224 134744473 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44020 35969 300 300 0 43720 0
vsize: 176080
[startup+640.367 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4235
Raw data (stat): 4235 (pb2sat) R 4234 23514 23513 0 -1 0 67231 0 0 0 63898 144 0 0 25 0 1 0 806899229 180305920 35969 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44020 35969 300 300 0 43720 0
vsize: 176080
[startup+650.368 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4235
Raw data (stat): 4235 (pb2sat) R 4234 23514 23513 0 -1 0 67232 0 0 0 64898 144 0 0 25 0 1 0 806899229 180305920 35970 4294967295 134512640 135726644 3221224576 3221223200 134744550 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44020 35970 300 300 0 43720 0
vsize: 176080
[startup+660.368 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4235
Raw data (stat): 4235 (pb2sat) R 4234 23514 23513 0 -1 0 67240 0 0 0 65898 144 0 0 25 0 1 0 806899229 180305920 35978 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44020 35978 300 300 0 43720 0
vsize: 176080
[startup+670.369 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4235
Raw data (stat): 4235 (pb2sat) R 4234 23514 23513 0 -1 0 67248 0 0 0 66899 144 0 0 25 0 1 0 806899229 180305920 35986 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44020 35986 300 300 0 43720 0
vsize: 176080
[startup+680.369 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4235
Raw data (stat): 4235 (pb2sat) R 4234 23514 23513 0 -1 0 67257 0 0 0 67899 144 0 0 25 0 1 0 806899229 180305920 35995 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44020 35995 300 300 0 43720 0
vsize: 176080
[startup+690.369 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4235
Raw data (stat): 4235 (pb2sat) R 4234 23514 23513 0 -1 0 67265 0 0 0 68898 144 0 0 25 0 1 0 806899229 180305920 36003 4294967295 134512640 135726644 3221224576 3221223232 134745068 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44020 36003 300 300 0 43720 0
vsize: 176080
[startup+700.369 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4235
Raw data (stat): 4235 (pb2sat) R 4234 23514 23513 0 -1 0 68109 0 0 0 69897 146 0 0 25 0 1 0 806899229 180305920 36011 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44020 36011 300 300 0 43720 0
vsize: 176080
[startup+710.37 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4235
Raw data (stat): 4235 (pb2sat) R 4234 23514 23513 0 -1 0 68118 0 0 0 70897 146 0 0 25 0 1 0 806899229 180305920 36020 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44020 36020 300 300 0 43720 0
vsize: 176080
[startup+720.37 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4235
Raw data (stat): 4235 (pb2sat) R 4234 23514 23513 0 -1 0 68130 0 0 0 71897 146 0 0 25 0 1 0 806899229 180305920 36032 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44020 36032 300 300 0 43720 0
vsize: 176080
[startup+730.37 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4235
Raw data (stat): 4235 (pb2sat) R 4234 23514 23513 0 -1 0 68137 0 0 0 72897 147 0 0 25 0 1 0 806899229 180305920 36039 4294967295 134512640 135726644 3221224576 3221223168 134760402 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44020 36039 300 300 0 43720 0
vsize: 176080
[startup+740.37 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4235
Raw data (stat): 4235 (pb2sat) R 4234 23514 23513 0 -1 0 68147 0 0 0 73897 147 0 0 25 0 1 0 806899229 180305920 36049 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44020 36049 300 300 0 43720 0
vsize: 176080
[startup+750.371 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4235
Raw data (stat): 4235 (pb2sat) R 4234 23514 23513 0 -1 0 68172 0 0 0 74897 147 0 0 25 0 1 0 806899229 180305920 36074 4294967295 134512640 135726644 3221224576 3221222896 134728909 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44020 36074 300 300 0 43720 0
vsize: 176080
[startup+760.37 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4235
Raw data (stat): 4235 (pb2sat) R 4234 23514 23513 0 -1 0 68181 0 0 0 75897 147 0 0 25 0 1 0 806899229 180305920 36083 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44020 36083 300 300 0 43720 0
vsize: 176080
[startup+770.405 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4235
Raw data (stat): 4235 (pb2sat) R 4234 23514 23513 0 -1 0 68189 0 0 0 76900 147 0 0 25 0 1 0 806899229 180305920 36091 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44020 36091 300 300 0 43720 0
vsize: 176080
[startup+780.423 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4235
Raw data (stat): 4235 (pb2sat) R 4234 23514 23513 0 -1 0 68199 0 0 0 77902 147 0 0 25 0 1 0 806899229 180305920 36101 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44020 36101 300 300 0 43720 0
vsize: 176080
[startup+790.423 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4235
Raw data (stat): 4235 (pb2sat) R 4234 23514 23513 0 -1 0 68212 0 0 0 78902 147 0 0 25 0 1 0 806899229 180305920 36114 4294967295 134512640 135726644 3221224576 3221223168 134759980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44020 36114 300 300 0 43720 0
vsize: 176080
[startup+800.423 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4235
Raw data (stat): 4235 (pb2sat) R 4234 23514 23513 0 -1 0 70012 0 0 0 79898 151 0 0 25 0 1 0 806899229 183377920 36619 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44770 36619 300 300 0 44470 0
vsize: 179080
[startup+810.424 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4235
Raw data (stat): 4235 (pb2sat) R 4234 23514 23513 0 -1 0 70020 0 0 0 80899 151 0 0 25 0 1 0 806899229 183377920 36627 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44770 36627 300 300 0 44470 0
vsize: 179080
[startup+820.424 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4235
Raw data (stat): 4235 (pb2sat) R 4234 23514 23513 0 -1 0 70030 0 0 0 81899 151 0 0 25 0 1 0 806899229 183377920 36637 4294967295 134512640 135726644 3221224576 3221223072 134744142 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44770 36637 300 300 0 44470 0
vsize: 179080
[startup+830.425 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4235
Raw data (stat): 4235 (pb2sat) R 4234 23514 23513 0 -1 0 70039 0 0 0 82899 152 0 0 25 0 1 0 806899229 183377920 36646 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44770 36646 300 300 0 44470 0
vsize: 179080
[startup+840.424 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4235
Raw data (stat): 4235 (pb2sat) R 4234 23514 23513 0 -1 0 70051 0 0 0 83899 152 0 0 25 0 1 0 806899229 183377920 36658 4294967295 134512640 135726644 3221224576 3221223072 134744382 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44770 36658 300 300 0 44470 0
vsize: 179080
[startup+850.425 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4235
Raw data (stat): 4235 (pb2sat) R 4234 23514 23513 0 -1 0 70062 0 0 0 84899 152 0 0 25 0 1 0 806899229 183377920 36669 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44770 36669 300 300 0 44470 0
vsize: 179080
[startup+860.425 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4235
Raw data (stat): 4235 (pb2sat) R 4234 23514 23513 0 -1 0 70072 0 0 0 85899 152 0 0 25 0 1 0 806899229 183377920 36679 4294967295 134512640 135726644 3221224576 3221222896 134728868 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44770 36679 300 300 0 44470 0
vsize: 179080
[startup+870.425 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4235
Raw data (stat): 4235 (pb2sat) R 4234 23514 23513 0 -1 0 70082 0 0 0 86900 152 0 0 25 0 1 0 806899229 183377920 36689 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44770 36689 300 300 0 44470 0
vsize: 179080
[startup+880.426 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4235
Raw data (stat): 4235 (pb2sat) R 4234 23514 23513 0 -1 0 71068 0 0 0 87898 154 0 0 25 0 1 0 806899229 185991168 37242 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45408 37242 300 300 0 45108 0
vsize: 181632
[startup+890.427 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4235
Raw data (stat): 4235 (pb2sat) R 4234 23514 23513 0 -1 0 71191 0 0 0 88898 154 0 0 25 0 1 0 806899229 186253312 37300 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45472 37300 300 300 0 45172 0
vsize: 181888
[startup+900.427 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4235
Raw data (stat): 4235 (pb2sat) R 4234 23514 23513 0 -1 0 71517 0 0 0 89898 154 0 0 25 0 1 0 806899229 186908672 37463 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45632 37463 300 300 0 45332 0
vsize: 182528
[startup+910.427 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4235
Raw data (stat): 4235 (pb2sat) R 4234 23514 23513 0 -1 0 71528 0 0 0 90898 154 0 0 25 0 1 0 806899229 186908672 37474 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45632 37474 300 300 0 45332 0
vsize: 182528
[startup+920.428 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4235
Raw data (stat): 4235 (pb2sat) R 4234 23514 23513 0 -1 0 71542 0 0 0 91898 155 0 0 25 0 1 0 806899229 186908672 37488 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45632 37488 300 300 0 45332 0
vsize: 182528
[startup+930.427 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4235
Raw data (stat): 4235 (pb2sat) R 4234 23514 23513 0 -1 0 71552 0 0 0 92898 155 0 0 25 0 1 0 806899229 186908672 37498 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45632 37498 300 300 0 45332 0
vsize: 182528
[startup+940.427 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4235
Raw data (stat): 4235 (pb2sat) R 4234 23514 23513 0 -1 0 72398 0 0 0 93896 157 0 0 25 0 1 0 806899229 190332928 38344 4294967295 134512640 135726644 3221224576 3221222712 134761847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 46468 38344 300 300 0 46168 0
vsize: 185872
[startup+950.428 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4235
Raw data (stat): 4235 (pb2sat) R 4234 23514 23513 0 -1 0 72406 0 0 0 94894 157 0 0 25 0 1 0 806899229 186908672 37516 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45632 37516 300 300 0 45332 0
vsize: 182528
[startup+960.428 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4235
Raw data (stat): 4235 (pb2sat) R 4234 23514 23513 0 -1 0 72418 0 0 0 95894 158 0 0 25 0 1 0 806899229 186908672 37528 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45632 37528 300 300 0 45332 0
vsize: 182528
[startup+970.429 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4235
Raw data (stat): 4235 (pb2sat) R 4234 23514 23513 0 -1 0 72741 0 0 0 96894 159 0 0 25 0 1 0 806899229 188063744 37672 4294967295 134512640 135726644 3221224576 3221222896 134728895 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45914 37672 300 300 0 45614 0
vsize: 183656
[startup+980.429 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4235
Raw data (stat): 4235 (pb2sat) R 4234 23514 23513 0 -1 0 72748 0 0 0 97894 159 0 0 25 0 1 0 806899229 188063744 37679 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45914 37679 300 300 0 45614 0
vsize: 183656
[startup+990.428 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4235
Raw data (stat): 4235 (pb2sat) R 4234 23514 23513 0 -1 0 72755 0 0 0 98894 159 0 0 25 0 1 0 806899229 188063744 37686 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45914 37686 300 300 0 45614 0
vsize: 183656
[startup+1000.43 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4235
Raw data (stat): 4235 (pb2sat) R 4234 23514 23513 0 -1 0 72763 0 0 0 99894 159 0 0 25 0 1 0 806899229 188063744 37694 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45914 37694 300 300 0 45614 0
vsize: 183656
[startup+1010.43 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4235
Raw data (stat): 4235 (pb2sat) R 4234 23514 23513 0 -1 0 72771 0 0 0 100894 159 0 0 25 0 1 0 806899229 188063744 37702 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45914 37702 300 300 0 45614 0
vsize: 183656
[startup+1020.43 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4235
Raw data (stat): 4235 (pb2sat) R 4234 23514 23513 0 -1 0 72777 0 0 0 101894 159 0 0 25 0 1 0 806899229 188063744 37708 4294967295 134512640 135726644 3221224576 3221223168 134760396 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45914 37708 300 300 0 45614 0
vsize: 183656
[startup+1030.43 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4235
Raw data (stat): 4235 (pb2sat) R 4234 23514 23513 0 -1 0 72787 0 0 0 102894 159 0 0 25 0 1 0 806899229 188063744 37718 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45914 37718 300 300 0 45614 0
vsize: 183656
[startup+1040.43 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4235
Raw data (stat): 4235 (pb2sat) R 4234 23514 23513 0 -1 0 72794 0 0 0 103894 159 0 0 25 0 1 0 806899229 188063744 37725 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45914 37725 300 300 0 45614 0
vsize: 183656
[startup+1050.43 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4235
Raw data (stat): 4235 (pb2sat) R 4234 23514 23513 0 -1 0 72803 0 0 0 104895 159 0 0 25 0 1 0 806899229 188063744 37734 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45914 37734 300 300 0 45614 0
vsize: 183656
[startup+1060.43 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4235
Raw data (stat): 4235 (pb2sat) R 4234 23514 23513 0 -1 0 72812 0 0 0 105895 159 0 0 25 0 1 0 806899229 188063744 37743 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45914 37743 300 300 0 45614 0
vsize: 183656
[startup+1070.43 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4235
Raw data (stat): 4235 (pb2sat) R 4234 23514 23513 0 -1 0 72821 0 0 0 106895 159 0 0 25 0 1 0 806899229 188063744 37752 4294967295 134512640 135726644 3221224576 3221223072 134744244 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45914 37752 300 300 0 45614 0
vsize: 183656
[startup+1080.43 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4235
Raw data (stat): 4235 (pb2sat) R 4234 23514 23513 0 -1 0 72832 0 0 0 107895 159 0 0 25 0 1 0 806899229 188063744 37763 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45914 37763 300 300 0 45614 0
vsize: 183656
[startup+1090.43 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4235
Raw data (stat): 4235 (pb2sat) R 4234 23514 23513 0 -1 0 72860 0 0 0 108895 159 0 0 25 0 1 0 806899229 188063744 37791 4294967295 134512640 135726644 3221224576 3221223200 134744503 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45914 37791 300 300 0 45614 0
vsize: 183656
[startup+1100.43 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4235
Raw data (stat): 4235 (pb2sat) R 4234 23514 23513 0 -1 0 72869 0 0 0 109895 160 0 0 25 0 1 0 806899229 188063744 37800 4294967295 134512640 135726644 3221224576 3221223072 134744014 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45914 37800 300 300 0 45614 0
vsize: 183656
[startup+1110.43 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4235
Raw data (stat): 4235 (pb2sat) R 4234 23514 23513 0 -1 0 72881 0 0 0 110895 160 0 0 25 0 1 0 806899229 188063744 37812 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45914 37812 300 300 0 45614 0
vsize: 183656
[startup+1120.43 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4235
Raw data (stat): 4235 (pb2sat) R 4234 23514 23513 0 -1 0 72896 0 0 0 111895 160 0 0 25 0 1 0 806899229 188063744 37827 4294967295 134512640 135726644 3221224576 3221223072 134743951 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45914 37827 300 300 0 45614 0
vsize: 183656
[startup+1130.43 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4235
Raw data (stat): 4235 (pb2sat) R 4234 23514 23513 0 -1 0 72907 0 0 0 112895 160 0 0 25 0 1 0 806899229 188063744 37838 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45914 37838 300 300 0 45614 0
vsize: 183656
[startup+1140.43 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4235
Raw data (stat): 4235 (pb2sat) R 4234 23514 23513 0 -1 0 72917 0 0 0 113895 160 0 0 25 0 1 0 806899229 188063744 37848 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45914 37848 300 300 0 45614 0
vsize: 183656
[startup+1150.43 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4235
Raw data (stat): 4235 (pb2sat) R 4234 23514 23513 0 -1 0 72926 0 0 0 114895 160 0 0 25 0 1 0 806899229 188063744 37857 4294967295 134512640 135726644 3221224576 3221223120 134736726 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45914 37857 300 300 0 45614 0
vsize: 183656
[startup+1160.43 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4235
Raw data (stat): 4235 (pb2sat) R 4234 23514 23513 0 -1 0 72937 0 0 0 115895 160 0 0 25 0 1 0 806899229 188063744 37868 4294967295 134512640 135726644 3221224576 3221222896 134728895 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45914 37868 300 300 0 45614 0
vsize: 183656
[startup+1170.43 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4235
Raw data (stat): 4235 (pb2sat) R 4234 23514 23513 0 -1 0 72942 0 0 0 116896 160 0 0 25 0 1 0 806899229 188063744 37873 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45914 37873 300 300 0 45614 0
vsize: 183656
[startup+1180.43 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4235
Raw data (stat): 4235 (pb2sat) R 4234 23514 23513 0 -1 0 73062 0 0 0 117895 161 0 0 25 0 1 0 806899229 188456960 37960 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 46010 37960 300 300 0 45710 0
vsize: 184040
[startup+1190.43 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4235
Raw data (stat): 4235 (pb2sat) R 4234 23514 23513 0 -1 0 73071 0 0 0 118896 161 0 0 25 0 1 0 806899229 188456960 37969 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 46010 37969 300 300 0 45710 0
vsize: 184040
[startup+1200.43 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4235
Raw data (stat): 4235 (pb2sat) R 4234 23514 23513 0 -1 0 73077 0 0 0 119896 161 0 0 25 0 1 0 806899229 188456960 37975 4294967295 134512640 135726644 3221224576 3221223216 134744671 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 46010 37975 300 300 0 45710 0
vsize: 184040
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1201.67 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 4235
Raw data (stat): 4235 (pb2sat) Z 4234 23514 23513 0 -1 12 73078 0 0 0 120011 168 0 0 25 0 1 0 806899229 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 10
Real time (s): 1201.67
CPU time (s): 1201.8
CPU user time (s): 1200.12
CPU system time (s): 1.68774
CPU usage (%): 100.011
Max. virtual memory (Kb): 185872
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	1438784
#### END VERIFIER DATA ####