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 42803

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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:        691904 kB
Buffers:         14812 kB
Cached:         305748 kB
SwapCached:       1420 kB
Active:          26612 kB
Inactive:       296048 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        691652 kB
SwapTotal:     2097136 kB
SwapFree:      2094720 kB
Dirty:              52 kB
Writeback:           0 kB
Mapped:           5056 kB
Slab:            14316 kB
Committed_AS:    71900 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 15:29:48 (client local time) WITH STATUS 10 IN 1201.37 SECONDS
stats: 26007 0 1201.37 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
c got solution with objective value: 1454400
c small objective detected
c [startup+38.0518 s]  setting bit 20 to 0
c [startup+40.1623 s]  setting bit 19 to 0
c [startup+43.267 s]  setting bit 18 to 0

c Decision: 19680/427946	Time: 184.046/86400
c [startup+389.766 s]  setting bit 17 to 0

c Decision: 20225/427946	Time: 453.259/86400
c Decision: 20292/427946	Time: 639.315/86400
c Decision: 20292/427946	Time: 736.15/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
Raw data (loadavg): 0.85 0.95 0.90 2/54 12521
Raw data (stat): 12521 (runsolver) R 12520 31399 31398 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 971736586 884736 93 4294967295 134512640 135332820 3221224464 3221219632 134692420 0 0 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 93 205 205 0 11 0
vsize: 864
Current StackSize limit: 67108864 bytes
[startup+10.0002 s]
Raw data (loadavg): 0.87 0.95 0.90 2/54 12521
Raw data (stat): 12521 (pb2sat-v2) R 12520 31399 31398 0 -1 0 27656 0 0 0 940 58 0 0 25 0 1 0 971736586 83587072 16749 4294967295 134512640 135730672 3221224576 3221189412 134608048 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20407 16749 301 301 0 20106 0
vsize: 81628
[startup+20.0003 s]
Raw data (loadavg): 0.89 0.96 0.91 2/54 12521
Raw data (stat): 12521 (pb2sat-v2) R 12520 31399 31398 0 -1 0 52096 0 0 0 1888 109 0 0 25 0 1 0 971736586 154845184 30238 4294967295 134512640 135730672 3221224576 3221137188 135109332 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37804 30239 301 301 0 37503 0
vsize: 151216
[startup+30.0005 s]
Raw data (loadavg): 0.91 0.96 0.91 2/54 12521
Raw data (stat): 12521 (pb2sat-v2) R 12520 31399 31398 0 -1 0 57442 0 0 0 2876 121 0 0 25 0 1 0 971736586 168595456 33653 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41161 33653 301 301 0 40860 0
vsize: 164644
[startup+40.001 s]
Raw data (loadavg): 0.92 0.96 0.91 2/54 12521
Raw data (stat): 12521 (pb2sat-v2) R 12520 31399 31398 0 -1 0 60795 0 0 0 3868 129 0 0 25 0 1 0 971736586 174125056 34110 4294967295 134512640 135730672 3221224576 3221223088 134739838 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42511 34110 301 301 0 42210 0
vsize: 170044
[startup+50.0015 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 12521
Raw data (stat): 12521 (pb2sat-v2) R 12520 31399 31398 0 -1 0 62828 0 0 0 4863 134 0 0 25 0 1 0 971736586 175263744 34340 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42789 34340 301 301 0 42488 0
vsize: 171156
[startup+60.0018 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 12521
Raw data (stat): 12521 (pb2sat-v2) R 12520 31399 31398 0 -1 0 63538 0 0 0 5861 136 0 0 25 0 1 0 971736586 177291264 34597 4294967295 134512640 135730672 3221224576 3221222864 134747613 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43284 34597 301 301 0 42983 0
vsize: 173136
[startup+70.0032 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 12521
Raw data (stat): 12521 (pb2sat-v2) R 12520 31399 31398 0 -1 0 63737 0 0 0 6860 136 0 0 25 0 1 0 971736586 177696768 34731 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43383 34731 301 301 0 43082 0
vsize: 173532
[startup+80.0035 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 12521
Raw data (stat): 12521 (pb2sat-v2) R 12520 31399 31398 0 -1 0 63977 0 0 0 7860 137 0 0 25 0 1 0 971736586 178483200 34777 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43575 34777 301 301 0 43274 0
vsize: 174300
[startup+90.0045 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 12521
Raw data (stat): 12521 (pb2sat-v2) R 12520 31399 31398 0 -1 0 64014 0 0 0 8860 137 0 0 25 0 1 0 971736586 178671616 34814 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43621 34814 301 301 0 43320 0
vsize: 174484
[startup+100.005 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 12521
Raw data (stat): 12521 (pb2sat-v2) R 12520 31399 31398 0 -1 0 64401 0 0 0 9860 138 0 0 25 0 1 0 971736586 179720192 34943 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43877 34943 301 301 0 43576 0
vsize: 175508
[startup+110.006 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 12521
Raw data (stat): 12521 (pb2sat-v2) R 12520 31399 31398 0 -1 0 64405 0 0 0 10860 138 0 0 25 0 1 0 971736586 179720192 34947 4294967295 134512640 135730672 3221224576 3221222864 134747757 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43877 34947 301 301 0 43576 0
vsize: 175508
[startup+120.007 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 12521
Raw data (stat): 12521 (pb2sat-v2) R 12520 31399 31398 0 -1 0 64411 0 0 0 11860 138 0 0 25 0 1 0 971736586 179720192 34953 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43877 34953 301 301 0 43576 0
vsize: 175508
[startup+130.007 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 12521
Raw data (stat): 12521 (pb2sat-v2) R 12520 31399 31398 0 -1 0 64433 0 0 0 12860 138 0 0 25 0 1 0 971736586 179720192 34975 4294967295 134512640 135730672 3221224576 3221222864 134747597 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43877 34975 301 301 0 43576 0
vsize: 175508
[startup+140.007 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 12521
Raw data (stat): 12521 (pb2sat-v2) R 12520 31399 31398 0 -1 0 64438 0 0 0 13860 138 0 0 25 0 1 0 971736586 179720192 34980 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43877 34980 301 301 0 43576 0
vsize: 175508
[startup+150.008 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 12521
Raw data (stat): 12521 (pb2sat-v2) R 12520 31399 31398 0 -1 0 64442 0 0 0 14860 138 0 0 25 0 1 0 971736586 179720192 34984 4294967295 134512640 135730672 3221224576 3221222864 134747848 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43877 34984 301 301 0 43576 0
vsize: 175508
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12521
Raw data (stat): 12521 (pb2sat-v2) R 12520 31399 31398 0 -1 0 64446 0 0 0 15861 138 0 0 25 0 1 0 971736586 179720192 34988 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43877 34988 301 301 0 43576 0
vsize: 175508
[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12521
Raw data (stat): 12521 (pb2sat-v2) R 12520 31399 31398 0 -1 0 64451 0 0 0 16861 138 0 0 25 0 1 0 971736586 179720192 34993 4294967295 134512640 135730672 3221224576 3221222864 134747584 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43877 34993 301 301 0 43576 0
vsize: 175508
[startup+180.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12521
Raw data (stat): 12521 (pb2sat-v2) R 12520 31399 31398 0 -1 0 64460 0 0 0 17861 138 0 0 25 0 1 0 971736586 179720192 35002 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43877 35002 301 301 0 43576 0
vsize: 175508
[startup+190.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12521
Raw data (stat): 12521 (pb2sat-v2) R 12520 31399 31398 0 -1 0 64466 0 0 0 18861 138 0 0 25 0 1 0 971736586 179720192 35008 4294967295 134512640 135730672 3221224576 3221222864 134747644 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43877 35008 301 301 0 43576 0
vsize: 175508
[startup+200.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12521
Raw data (stat): 12521 (pb2sat-v2) R 12520 31399 31398 0 -1 0 64474 0 0 0 19861 138 0 0 25 0 1 0 971736586 179720192 35016 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43877 35016 301 301 0 43576 0
vsize: 175508
[startup+210.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12521
Raw data (stat): 12521 (pb2sat-v2) R 12520 31399 31398 0 -1 0 64511 0 0 0 20862 138 0 0 25 0 1 0 971736586 179720192 35053 4294967295 134512640 135730672 3221224576 3221222864 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43877 35053 301 301 0 43576 0
vsize: 175508
[startup+220.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12521
Raw data (stat): 12521 (pb2sat-v2) R 12520 31399 31398 0 -1 0 64517 0 0 0 21862 138 0 0 25 0 1 0 971736586 179720192 35059 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43877 35059 301 301 0 43576 0
vsize: 175508
[startup+230.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12521
Raw data (stat): 12521 (pb2sat-v2) R 12520 31399 31398 0 -1 0 65371 0 0 0 22860 140 0 0 25 0 1 0 971736586 179720192 35077 4294967295 134512640 135730672 3221224576 3221222976 134748227 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43877 35077 301 301 0 43576 0
vsize: 175508
[startup+240.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12521
Raw data (stat): 12521 (pb2sat-v2) R 12520 31399 31398 0 -1 0 65393 0 0 0 23859 141 0 0 25 0 1 0 971736586 179720192 35099 4294967295 134512640 135730672 3221224576 3221222864 134747602 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43877 35099 301 301 0 43576 0
vsize: 175508
[startup+250.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12521
Raw data (stat): 12521 (pb2sat-v2) R 12520 31399 31398 0 -1 0 65393 0 0 0 24860 141 0 0 25 0 1 0 971736586 179720192 35099 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43877 35099 301 301 0 43576 0
vsize: 175508
[startup+260.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12521
Raw data (stat): 12521 (pb2sat-v2) R 12520 31399 31398 0 -1 0 65393 0 0 0 25860 141 0 0 25 0 1 0 971736586 179720192 35099 4294967295 134512640 135730672 3221224576 3221223024 134748656 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43877 35099 301 301 0 43576 0
vsize: 175508
[startup+270.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12521
Raw data (stat): 12521 (pb2sat-v2) R 12520 31399 31398 0 -1 0 65593 0 0 0 26859 141 0 0 25 0 1 0 971736586 180244480 35170 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44005 35170 301 301 0 43704 0
vsize: 176020
[startup+280.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12521
Raw data (stat): 12521 (pb2sat-v2) R 12520 31399 31398 0 -1 0 65593 0 0 0 27859 141 0 0 25 0 1 0 971736586 180244480 35170 4294967295 134512640 135730672 3221224576 3221222864 134747747 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44005 35170 301 301 0 43704 0
vsize: 176020
[startup+290.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12521
Raw data (stat): 12521 (pb2sat-v2) R 12520 31399 31398 0 -1 0 65635 0 0 0 28859 141 0 0 25 0 1 0 971736586 180244480 35212 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44005 35212 301 301 0 43704 0
vsize: 176020
[startup+300.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12521
Raw data (stat): 12521 (pb2sat-v2) R 12520 31399 31398 0 -1 0 65639 0 0 0 29859 142 0 0 25 0 1 0 971736586 180244480 35216 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44005 35216 301 301 0 43704 0
vsize: 176020
[startup+310.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12521
Raw data (stat): 12521 (pb2sat-v2) R 12520 31399 31398 0 -1 0 65734 0 0 0 30860 142 0 0 25 0 1 0 971736586 180506624 35246 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44069 35246 301 301 0 43768 0
vsize: 176276
[startup+320.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12521
Raw data (stat): 12521 (pb2sat-v2) R 12520 31399 31398 0 -1 0 65738 0 0 0 31860 142 0 0 25 0 1 0 971736586 180506624 35250 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44069 35250 301 301 0 43768 0
vsize: 176276
[startup+330.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12521
Raw data (stat): 12521 (pb2sat-v2) R 12520 31399 31398 0 -1 0 65744 0 0 0 32860 142 0 0 25 0 1 0 971736586 180506624 35256 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44069 35256 301 301 0 43768 0
vsize: 176276
[startup+340.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12521
Raw data (stat): 12521 (pb2sat-v2) R 12520 31399 31398 0 -1 0 65757 0 0 0 33860 142 0 0 25 0 1 0 971736586 180506624 35269 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44069 35269 301 301 0 43768 0
vsize: 176276
[startup+350.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12521
Raw data (stat): 12521 (pb2sat-v2) R 12520 31399 31398 0 -1 0 65766 0 0 0 34860 142 0 0 25 0 1 0 971736586 180506624 35278 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44069 35278 301 301 0 43768 0
vsize: 176276
[startup+360.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12521
Raw data (stat): 12521 (pb2sat-v2) R 12520 31399 31398 0 -1 0 65771 0 0 0 35860 142 0 0 25 0 1 0 971736586 180506624 35283 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44069 35283 301 301 0 43768 0
vsize: 176276
[startup+370.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12521
Raw data (stat): 12521 (pb2sat-v2) R 12520 31399 31398 0 -1 0 65783 0 0 0 36861 142 0 0 25 0 1 0 971736586 180506624 35295 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44069 35295 301 301 0 43768 0
vsize: 176276
[startup+380.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12521
Raw data (stat): 12521 (pb2sat-v2) R 12520 31399 31398 0 -1 0 65793 0 0 0 37861 142 0 0 25 0 1 0 971736586 180506624 35305 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44069 35305 301 301 0 43768 0
vsize: 176276
[startup+390.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12521
Raw data (stat): 12521 (pb2sat-v2) R 12520 31399 31398 0 -1 0 66864 0 0 0 38859 144 0 0 25 0 1 0 971736586 184455168 36247 4294967295 134512640 135730672 3221224576 3221222680 134765483 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45033 36247 301 301 0 44732 0
vsize: 180132
[startup+400.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12521
Raw data (stat): 12521 (pb2sat-v2) R 12520 31399 31398 0 -1 0 66880 0 0 0 39858 145 0 0 25 0 1 0 971736586 181030912 35427 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44197 35427 301 301 0 43896 0
vsize: 176788
[startup+410.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12521
Raw data (stat): 12521 (pb2sat-v2) R 12520 31399 31398 0 -1 0 66909 0 0 0 40858 145 0 0 25 0 1 0 971736586 181030912 35456 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44197 35456 301 301 0 43896 0
vsize: 176788
[startup+420.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12521
Raw data (stat): 12521 (pb2sat-v2) R 12520 31399 31398 0 -1 0 66915 0 0 0 41858 145 0 0 25 0 1 0 971736586 181030912 35462 4294967295 134512640 135730672 3221224576 3221222864 134747967 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44197 35462 301 301 0 43896 0
vsize: 176788
[startup+430.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12521
Raw data (stat): 12521 (pb2sat-v2) R 12520 31399 31398 0 -1 0 66924 0 0 0 42858 145 0 0 25 0 1 0 971736586 181030912 35471 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44197 35471 301 301 0 43896 0
vsize: 176788
[startup+440.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12521
Raw data (stat): 12521 (pb2sat-v2) R 12520 31399 31398 0 -1 0 66932 0 0 0 43858 145 0 0 25 0 1 0 971736586 181030912 35479 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44197 35479 301 301 0 43896 0
vsize: 176788
[startup+450.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12521
Raw data (stat): 12521 (pb2sat-v2) R 12520 31399 31398 0 -1 0 66944 0 0 0 44858 145 0 0 25 0 1 0 971736586 181030912 35491 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44197 35491 301 301 0 43896 0
vsize: 176788
[startup+460.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12521
Raw data (stat): 12521 (pb2sat-v2) R 12520 31399 31398 0 -1 0 67039 0 0 0 45858 145 0 0 25 0 1 0 971736586 181485568 35586 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44308 35586 301 301 0 44007 0
vsize: 177232
[startup+470.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12521
Raw data (stat): 12521 (pb2sat-v2) R 12520 31399 31398 0 -1 0 67044 0 0 0 46858 145 0 0 25 0 1 0 971736586 181485568 35591 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44308 35591 301 301 0 44007 0
vsize: 177232
[startup+480.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12521
Raw data (stat): 12521 (pb2sat-v2) R 12520 31399 31398 0 -1 0 67663 0 0 0 47857 146 0 0 25 0 1 0 971736586 183070720 35916 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44695 35916 301 301 0 44394 0
vsize: 178780
[startup+490.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12521
Raw data (stat): 12521 (pb2sat-v2) R 12520 31399 31398 0 -1 0 67698 0 0 0 48858 146 0 0 25 0 1 0 971736586 183070720 35951 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44695 35951 301 301 0 44394 0
vsize: 178780
[startup+500.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12521
Raw data (stat): 12521 (pb2sat-v2) R 12520 31399 31398 0 -1 0 67706 0 0 0 49858 146 0 0 25 0 1 0 971736586 183070720 35959 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44695 35959 301 301 0 44394 0
vsize: 178780
[startup+510.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12521
Raw data (stat): 12521 (pb2sat-v2) R 12520 31399 31398 0 -1 0 67715 0 0 0 50858 146 0 0 25 0 1 0 971736586 183070720 35968 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44695 35968 301 301 0 44394 0
vsize: 178780
[startup+520.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12521
Raw data (stat): 12521 (pb2sat-v2) R 12520 31399 31398 0 -1 0 67723 0 0 0 51858 147 0 0 25 0 1 0 971736586 183070720 35976 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44695 35976 301 301 0 44394 0
vsize: 178780
[startup+530.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12521
Raw data (stat): 12521 (pb2sat-v2) R 12520 31399 31398 0 -1 0 67731 0 0 0 52858 147 0 0 25 0 1 0 971736586 183070720 35984 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44695 35984 301 301 0 44394 0
vsize: 178780
[startup+540.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12521
Raw data (stat): 12521 (pb2sat-v2) R 12520 31399 31398 0 -1 0 67738 0 0 0 53858 147 0 0 25 0 1 0 971736586 183070720 35991 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44695 35991 301 301 0 44394 0
vsize: 178780
[startup+550.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12521
Raw data (stat): 12521 (pb2sat-v2) R 12520 31399 31398 0 -1 0 67757 0 0 0 54858 147 0 0 25 0 1 0 971736586 183070720 36010 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44695 36010 301 301 0 44394 0
vsize: 178780
[startup+560.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12521
Raw data (stat): 12521 (pb2sat-v2) R 12520 31399 31398 0 -1 0 68107 0 0 0 55858 147 0 0 25 0 1 0 971736586 184119296 36103 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44951 36103 301 301 0 44650 0
vsize: 179804
[startup+570.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12521
Raw data (stat): 12521 (pb2sat-v2) R 12520 31399 31398 0 -1 0 68120 0 0 0 56858 148 0 0 25 0 1 0 971736586 184119296 36116 4294967295 134512640 135730672 3221224576 3221223024 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44951 36116 301 301 0 44650 0
vsize: 179804
[startup+580.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12521
Raw data (stat): 12521 (pb2sat-v2) R 12520 31399 31398 0 -1 0 68131 0 0 0 57858 148 0 0 25 0 1 0 971736586 184119296 36127 4294967295 134512640 135730672 3221224576 3221222992 134748138 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44951 36127 301 301 0 44650 0
vsize: 179804
[startup+590.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12521
Raw data (stat): 12521 (pb2sat-v2) R 12520 31399 31398 0 -1 0 68143 0 0 0 58858 148 0 0 25 0 1 0 971736586 184119296 36139 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44951 36139 301 301 0 44650 0
vsize: 179804
[startup+600.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12521
Raw data (stat): 12521 (pb2sat-v2) R 12520 31399 31398 0 -1 0 68262 0 0 0 59858 148 0 0 25 0 1 0 971736586 184516608 36242 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45048 36242 301 301 0 44747 0
vsize: 180192
[startup+610.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12521
Raw data (stat): 12521 (pb2sat-v2) R 12520 31399 31398 0 -1 0 68273 0 0 0 60858 148 0 0 25 0 1 0 971736586 184516608 36253 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45048 36253 301 301 0 44747 0
vsize: 180192
[startup+620.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12521
Raw data (stat): 12521 (pb2sat-v2) R 12520 31399 31398 0 -1 0 68278 0 0 0 61858 148 0 0 25 0 1 0 971736586 184516608 36258 4294967295 134512640 135730672 3221224576 3221222992 134748120 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45048 36258 301 301 0 44747 0
vsize: 180192
[startup+630.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12521
Raw data (stat): 12521 (pb2sat-v2) R 12520 31399 31398 0 -1 0 68287 0 0 0 62858 148 0 0 25 0 1 0 971736586 184516608 36267 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45048 36267 301 301 0 44747 0
vsize: 180192
[startup+640.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12521
Raw data (stat): 12521 (pb2sat-v2) R 12520 31399 31398 0 -1 0 68295 0 0 0 63858 148 0 0 25 0 1 0 971736586 184516608 36275 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45048 36275 301 301 0 44747 0
vsize: 180192
[startup+650.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12521
Raw data (stat): 12521 (pb2sat-v2) R 12520 31399 31398 0 -1 0 68303 0 0 0 64859 148 0 0 25 0 1 0 971736586 184516608 36283 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45048 36283 301 301 0 44747 0
vsize: 180192
[startup+660.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12521
Raw data (stat): 12521 (pb2sat-v2) R 12520 31399 31398 0 -1 0 68314 0 0 0 65859 148 0 0 25 0 1 0 971736586 184516608 36294 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45048 36294 301 301 0 44747 0
vsize: 180192
[startup+670.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12521
Raw data (stat): 12521 (pb2sat-v2) R 12520 31399 31398 0 -1 0 68339 0 0 0 66859 148 0 0 25 0 1 0 971736586 184516608 36319 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45048 36319 301 301 0 44747 0
vsize: 180192
[startup+680.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12521
Raw data (stat): 12521 (pb2sat-v2) R 12520 31399 31398 0 -1 0 68348 0 0 0 67859 148 0 0 25 0 1 0 971736586 184516608 36328 4294967295 134512640 135730672 3221224576 3221223040 134748644 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45048 36328 301 301 0 44747 0
vsize: 180192
[startup+690.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12521
Raw data (stat): 12521 (pb2sat-v2) R 12520 31399 31398 0 -1 0 68355 0 0 0 68859 149 0 0 25 0 1 0 971736586 184516608 36335 4294967295 134512640 135730672 3221224576 3221222864 134747705 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45048 36335 301 301 0 44747 0
vsize: 180192
[startup+700.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12521
Raw data (stat): 12521 (pb2sat-v2) R 12520 31399 31398 0 -1 0 68361 0 0 0 69859 149 0 0 25 0 1 0 971736586 184516608 36341 4294967295 134512640 135730672 3221224576 3221222960 134764020 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45048 36341 301 301 0 44747 0
vsize: 180192
[startup+710.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12521
Raw data (stat): 12521 (pb2sat-v2) R 12520 31399 31398 0 -1 0 68371 0 0 0 70859 149 0 0 25 0 1 0 971736586 184516608 36351 4294967295 134512640 135730672 3221224576 3221222864 134747599 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45048 36351 301 301 0 44747 0
vsize: 180192
[startup+720.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12521
Raw data (stat): 12521 (pb2sat-v2) R 12520 31399 31398 0 -1 0 68380 0 0 0 71859 149 0 0 25 0 1 0 971736586 184516608 36360 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45048 36360 301 301 0 44747 0
vsize: 180192
[startup+730.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12521
Raw data (stat): 12521 (pb2sat-v2) R 12520 31399 31398 0 -1 0 68391 0 0 0 72860 149 0 0 25 0 1 0 971736586 184516608 36371 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45048 36371 301 301 0 44747 0
vsize: 180192
[startup+740.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12521
Raw data (stat): 12521 (pb2sat-v2) R 12520 31399 31398 0 -1 0 68407 0 0 0 73860 149 0 0 25 0 1 0 971736586 184516608 36387 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45048 36387 301 301 0 44747 0
vsize: 180192
[startup+750.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12521
Raw data (stat): 12521 (pb2sat-v2) R 12520 31399 31398 0 -1 0 68414 0 0 0 74860 149 0 0 25 0 1 0 971736586 184516608 36394 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45048 36394 301 301 0 44747 0
vsize: 180192
[startup+760.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12521
Raw data (stat): 12521 (pb2sat-v2) R 12520 31399 31398 0 -1 0 68422 0 0 0 75859 149 0 0 25 0 1 0 971736586 184516608 36402 4294967295 134512640 135730672 3221224576 3221222960 134764020 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45048 36402 301 301 0 44747 0
vsize: 180192
[startup+770.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12521
Raw data (stat): 12521 (pb2sat-v2) R 12520 31399 31398 0 -1 0 68428 0 0 0 76860 149 0 0 25 0 1 0 971736586 184516608 36408 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45048 36408 301 301 0 44747 0
vsize: 180192
[startup+780.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12521
Raw data (stat): 12521 (pb2sat-v2) R 12520 31399 31398 0 -1 0 68437 0 0 0 77860 149 0 0 25 0 1 0 971736586 184516608 36417 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45048 36417 301 301 0 44747 0
vsize: 180192
[startup+790.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12521
Raw data (stat): 12521 (pb2sat-v2) R 12520 31399 31398 0 -1 0 68447 0 0 0 78860 149 0 0 25 0 1 0 971736586 184516608 36427 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45048 36427 301 301 0 44747 0
vsize: 180192
[startup+800.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12521
Raw data (stat): 12521 (pb2sat-v2) R 12520 31399 31398 0 -1 0 68457 0 0 0 79860 150 0 0 25 0 1 0 971736586 184516608 36437 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45048 36437 301 301 0 44747 0
vsize: 180192
[startup+810.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12521
Raw data (stat): 12521 (pb2sat-v2) R 12520 31399 31398 0 -1 0 68468 0 0 0 80860 150 0 0 25 0 1 0 971736586 184516608 36448 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45048 36448 301 301 0 44747 0
vsize: 180192
[startup+820.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12521
Raw data (stat): 12521 (pb2sat-v2) R 12520 31399 31398 0 -1 0 68498 0 0 0 81860 150 0 0 25 0 1 0 971736586 184516608 36478 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45048 36478 301 301 0 44747 0
vsize: 180192
[startup+830.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12521
Raw data (stat): 12521 (pb2sat-v2) R 12520 31399 31398 0 -1 0 68505 0 0 0 82861 150 0 0 25 0 1 0 971736586 184516608 36485 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45048 36485 301 301 0 44747 0
vsize: 180192
[startup+840.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12521
Raw data (stat): 12521 (pb2sat-v2) R 12520 31399 31398 0 -1 0 68514 0 0 0 83861 150 0 0 25 0 1 0 971736586 184516608 36494 4294967295 134512640 135730672 3221224576 3221222880 134745782 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45048 36494 301 301 0 44747 0
vsize: 180192
[startup+850.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12521
Raw data (stat): 12521 (pb2sat-v2) R 12520 31399 31398 0 -1 0 69350 0 0 0 84859 152 0 0 25 0 1 0 971736586 184516608 36494 4294967295 134512640 135730672 3221224576 3221222880 135282478 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45048 36494 301 301 0 44747 0
vsize: 180192
[startup+860.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12521
Raw data (stat): 12521 (pb2sat-v2) R 12520 31399 31398 0 -1 0 69350 0 0 0 85858 152 0 0 25 0 1 0 971736586 184516608 36494 4294967295 134512640 135730672 3221224576 3221222864 134747902 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45048 36494 301 301 0 44747 0
vsize: 180192
[startup+870.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12521
Raw data (stat): 12521 (pb2sat-v2) R 12520 31399 31398 0 -1 0 69351 0 0 0 86858 152 0 0 25 0 1 0 971736586 184516608 36495 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45048 36495 301 301 0 44747 0
vsize: 180192
[startup+880.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12521
Raw data (stat): 12521 (pb2sat-v2) R 12520 31399 31398 0 -1 0 69927 0 0 0 87857 153 0 0 25 0 1 0 971736586 186732544 36827 4294967295 134512640 135730672 3221224576 3221222696 134739217 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45589 36827 301 301 0 45288 0
vsize: 182356
[startup+890.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12521
Raw data (stat): 12521 (pb2sat-v2) R 12520 31399 31398 0 -1 0 69928 0 0 0 88857 153 0 0 25 0 1 0 971736586 186732544 36828 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45589 36828 301 301 0 45288 0
vsize: 182356
[startup+900.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12521
Raw data (stat): 12521 (pb2sat-v2) R 12520 31399 31398 0 -1 0 69928 0 0 0 89857 153 0 0 25 0 1 0 971736586 186732544 36828 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45589 36828 301 301 0 45288 0
vsize: 182356
[startup+910.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12521
Raw data (stat): 12521 (pb2sat-v2) R 12520 31399 31398 0 -1 0 69929 0 0 0 90857 154 0 0 25 0 1 0 971736586 186732544 36829 4294967295 134512640 135730672 3221224576 3221223024 134748661 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45589 36829 301 301 0 45288 0
vsize: 182356
[startup+920.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12521
Raw data (stat): 12521 (pb2sat-v2) R 12520 31399 31398 0 -1 0 69929 0 0 0 91856 154 0 0 25 0 1 0 971736586 186732544 36829 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45589 36829 301 301 0 45288 0
vsize: 182356
[startup+930.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12521
Raw data (stat): 12521 (pb2sat-v2) R 12520 31399 31398 0 -1 0 69929 0 0 0 92855 155 0 0 25 0 1 0 971736586 186732544 36829 4294967295 134512640 135730672 3221224576 3221222960 134747445 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45589 36829 301 301 0 45288 0
vsize: 182356
[startup+940.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12521
Raw data (stat): 12521 (pb2sat-v2) R 12520 31399 31398 0 -1 0 69930 0 0 0 93855 155 0 0 25 0 1 0 971736586 186732544 36830 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45589 36830 301 301 0 45288 0
vsize: 182356
[startup+950.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12521
Raw data (stat): 12521 (pb2sat-v2) R 12520 31399 31398 0 -1 0 69930 0 0 0 94854 156 0 0 25 0 1 0 971736586 186732544 36830 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45589 36830 301 301 0 45288 0
vsize: 182356
[startup+960.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12521
Raw data (stat): 12521 (pb2sat-v2) R 12520 31399 31398 0 -1 0 69930 0 0 0 95854 156 0 0 25 0 1 0 971736586 186732544 36830 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45589 36830 301 301 0 45288 0
vsize: 182356
[startup+970.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12521
Raw data (stat): 12521 (pb2sat-v2) R 12520 31399 31398 0 -1 0 69931 0 0 0 96854 156 0 0 25 0 1 0 971736586 186732544 36831 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45589 36831 301 301 0 45288 0
vsize: 182356
[startup+980.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12521
Raw data (stat): 12521 (pb2sat-v2) R 12520 31399 31398 0 -1 0 69931 0 0 0 97854 156 0 0 25 0 1 0 971736586 186732544 36831 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45589 36831 301 301 0 45288 0
vsize: 182356
[startup+990.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12521
Raw data (stat): 12521 (pb2sat-v2) R 12520 31399 31398 0 -1 0 69932 0 0 0 98854 157 0 0 25 0 1 0 971736586 186732544 36832 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45589 36832 301 301 0 45288 0
vsize: 182356
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12521
Raw data (stat): 12521 (pb2sat-v2) R 12520 31399 31398 0 -1 0 69932 0 0 0 99854 157 0 0 25 0 1 0 971736586 186732544 36832 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45589 36832 301 301 0 45288 0
vsize: 182356
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12521
Raw data (stat): 12521 (pb2sat-v2) R 12520 31399 31398 0 -1 0 69933 0 0 0 100853 158 0 0 25 0 1 0 971736586 186732544 36833 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45589 36833 301 301 0 45288 0
vsize: 182356
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12521
Raw data (stat): 12521 (pb2sat-v2) R 12520 31399 31398 0 -1 0 69933 0 0 0 101853 158 0 0 25 0 1 0 971736586 186732544 36833 4294967295 134512640 135730672 3221224576 3221222864 134747463 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45589 36833 301 301 0 45288 0
vsize: 182356
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12521
Raw data (stat): 12521 (pb2sat-v2) R 12520 31399 31398 0 -1 0 70817 0 0 0 102851 160 0 0 25 0 1 0 971736586 186998784 36881 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45654 36881 301 301 0 45353 0
vsize: 182616
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12521
Raw data (stat): 12521 (pb2sat-v2) R 12520 31399 31398 0 -1 0 70817 0 0 0 103850 161 0 0 25 0 1 0 971736586 186998784 36881 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45654 36881 301 301 0 45353 0
vsize: 182616
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12521
Raw data (stat): 12521 (pb2sat-v2) R 12520 31399 31398 0 -1 0 70818 0 0 0 104850 161 0 0 25 0 1 0 971736586 186998784 36882 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45654 36882 301 301 0 45353 0
vsize: 182616
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12521
Raw data (stat): 12521 (pb2sat-v2) R 12520 31399 31398 0 -1 0 70818 0 0 0 105849 162 0 0 25 0 1 0 971736586 186998784 36882 4294967295 134512640 135730672 3221224576 3221222616 135285390 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45654 36882 301 301 0 45353 0
vsize: 182616
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12521
Raw data (stat): 12521 (pb2sat-v2) R 12520 31399 31398 0 -1 0 70828 0 0 0 106849 162 0 0 25 0 1 0 971736586 186998784 36892 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45654 36892 301 301 0 45353 0
vsize: 182616
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12521
Raw data (stat): 12521 (pb2sat-v2) R 12520 31399 31398 0 -1 0 70840 0 0 0 107849 162 0 0 25 0 1 0 971736586 186998784 36904 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45654 36904 301 301 0 45353 0
vsize: 182616
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12521
Raw data (stat): 12521 (pb2sat-v2) R 12520 31399 31398 0 -1 0 70896 0 0 0 108848 163 0 0 25 0 1 0 971736586 186998784 36960 4294967295 134512640 135730672 3221224576 3221222864 134747594 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45654 36960 301 301 0 45353 0
vsize: 182616
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12521
Raw data (stat): 12521 (pb2sat-v2) R 12520 31399 31398 0 -1 0 70910 0 0 0 109848 163 0 0 25 0 1 0 971736586 186998784 36974 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45654 36974 301 301 0 45353 0
vsize: 182616
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12521
Raw data (stat): 12521 (pb2sat-v2) R 12520 31399 31398 0 -1 0 70920 0 0 0 110848 163 0 0 25 0 1 0 971736586 186998784 36984 4294967295 134512640 135730672 3221224576 3221222616 135285382 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45654 36984 301 301 0 45353 0
vsize: 182616
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12521
Raw data (stat): 12521 (pb2sat-v2) R 12520 31399 31398 0 -1 0 70932 0 0 0 111848 164 0 0 25 0 1 0 971736586 186998784 36996 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45654 36996 301 301 0 45353 0
vsize: 182616
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12521
Raw data (stat): 12521 (pb2sat-v2) R 12520 31399 31398 0 -1 0 71779 0 0 0 112846 166 0 0 25 0 1 0 971736586 186998784 37007 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45654 37007 301 301 0 45353 0
vsize: 182616
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12521
Raw data (stat): 12521 (pb2sat-v2) R 12520 31399 31398 0 -1 0 71793 0 0 0 113846 166 0 0 25 0 1 0 971736586 186998784 37021 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45654 37021 301 301 0 45353 0
vsize: 182616
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12521
Raw data (stat): 12521 (pb2sat-v2) R 12520 31399 31398 0 -1 0 71807 0 0 0 114846 167 0 0 25 0 1 0 971736586 186998784 37035 4294967295 134512640 135730672 3221224576 3221222880 135282243 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45654 37035 301 301 0 45353 0
vsize: 182616
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12521
Raw data (stat): 12521 (pb2sat-v2) R 12520 31399 31398 0 -1 0 71824 0 0 0 115845 167 0 0 25 0 1 0 971736586 186998784 37052 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45654 37052 301 301 0 45353 0
vsize: 182616
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12521
Raw data (stat): 12521 (pb2sat-v2) R 12520 31399 31398 0 -1 0 71843 0 0 0 116845 167 0 0 25 0 1 0 971736586 186998784 37071 4294967295 134512640 135730672 3221224576 3221222864 134747594 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45654 37071 301 301 0 45353 0
vsize: 182616
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12521
Raw data (stat): 12521 (pb2sat-v2) R 12520 31399 31398 0 -1 0 71858 0 0 0 117845 168 0 0 25 0 1 0 971736586 186998784 37086 4294967295 134512640 135730672 3221224576 3221222864 134747965 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45654 37086 301 301 0 45353 0
vsize: 182616
[startup+1190.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12521
Raw data (stat): 12521 (pb2sat-v2) R 12520 31399 31398 0 -1 0 71872 0 0 0 118844 168 0 0 25 0 1 0 971736586 186998784 37100 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45654 37100 301 301 0 45353 0
vsize: 182616
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12521
Raw data (stat): 12521 (pb2sat-v2) R 12520 31399 31398 0 -1 0 71885 0 0 0 119844 169 0 0 25 0 1 0 971736586 186998784 37113 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45654 37113 301 301 0 45353 0
vsize: 182616
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1201.27 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 12521
Raw data (stat): 12521 (pb2sat-v2) Z 12520 31399 31398 0 -1 12 71887 0 0 0 119960 176 0 0 25 0 1 0 971736586 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.27
CPU time (s): 1201.37
CPU user time (s): 1199.61
CPU system time (s): 1.76773
CPU usage (%): 100.009
Max. virtual memory (Kb): 182616
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	1454400
#### END VERIFIER DATA ####