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-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-sc50a.opb
MD5SUM	493fb4fa67dc1b7120e0eba521ce7d8c
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-60000
Optimality of the best value was proved	NO
Number of terms in the objective function	30
Biggest coefficient in the objective function	536870912
Number of bits for the biggest coefficient in the objective function	30
Sum of the numbers in the objective function	1073741823
Number of bits of the sum of numbers in the objective function	30
Biggest number in a constraint	8589934592
Number of bits of the biggest number in a constraint	34
Biggest sum of numbers in a constraint	22548578283
Number of bits of the biggest sum of numbers	35
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	10.2614
Number of variables	1440
Total number of constraints	49
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	49
Minimum length of a constraint	60
Maximum length of a constraint	120
Trace number 42342

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-16 05:47:54 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25559 boxname=wulflinc3 idbench=859 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  493fb4fa67dc1b7120e0eba521ce7d8c  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-sc50a.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-sc50a.opb
IDLAUNCH: 25559
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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:        755880 kB
Buffers:         34324 kB
Cached:         222644 kB
SwapCached:        820 kB
Active:          29272 kB
Inactive:       229804 kB
HighTotal:      131008 kB
HighFree:          364 kB
LowTotal:       903652 kB
LowFree:        755516 kB
SwapTotal:     2097136 kB
SwapFree:      2095340 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5104 kB
Slab:            13904 kB
Committed_AS:    71892 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 05:53:05 (client local time) WITH STATUS 30 IN 310.999 SECONDS
stats: 25559 0 310.999 30
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 10911/32850	Time: 2.44163/86400
c Decision: 11165/32850	Time: 4.56731/86400
c Decision: 11433/32850	Time: 6.28904/86400
c Decision: 11433/32850	Time: 7.92579/86400
c Decision: 11596/32850	Time: 10.4514/86400
c Decision: 11596/32850	Time: 12.887/86400
c Decision: 11596/32850	Time: 14.9467/86400
c Decision: 11596/32850	Time: 17.9123/86400
c Decision: 11596/32850	Time: 20.0909/86400
c Decision: 11596/32850	Time: 22.8415/86400
c Decision: 11903/32850	Time: 27.4308/86400
c Decision: 11908/32850	Time: 33.028/86400
c Decision: 11908/32850	Time: 35.4816/86400
c Decision: 11908/32850	Time: 38.8561/86400
c Decision: 11908/32850	Time: 41.9316/86400
c Decision: 11911/32850	Time: 47.9257/86400
c Decision: 12052/32850	Time: 51.8921/86400
c Decision: 12090/32850	Time: 59.7839/86400
c Decision: 12090/32850	Time: 63.0424/86400
c Decision: 12090/32850	Time: 67.0718/86400
c Decision: 12090/32850	Time: 71.1482/86400
c Decision: 12090/32850	Time: 73.6838/86400
c Decision: 12186/32850	Time: 82.2265/86400
c Decision: 12186/32850	Time: 87.0368/86400
c Decision: 12186/32850	Time: 91.3661/86400
c Decision: 12186/32850	Time: 95.5725/86400
c Decision: 12189/32850	Time: 101.188/86400
c got solution with objective value: 1073741823
c small objective detected
c CONFLICT during preprocess 

c [startup+104.475 s]  setting bit 29 to 0
c CONFLICT during preprocess 

c [startup+104.581 s]  setting bit 28 to 0
c CONFLICT during preprocess 

c [startup+104.687 s]  setting bit 27 to 0
c CONFLICT during preprocess 

c [startup+104.795 s]  setting bit 26 to 0
c CONFLICT during preprocess 

c [startup+104.901 s]  setting bit 25 to 0
c CONFLICT during preprocess 

c [startup+105.01 s]  setting bit 24 to 0
c CONFLICT during preprocess 

c [startup+105.118 s]  setting bit 23 to 0
c CONFLICT during preprocess 

c [startup+105.229 s]  setting bit 22 to 0
c CONFLICT during preprocess 

c [startup+105.339 s]  setting bit 21 to 0
c CONFLICT during preprocess 

c [startup+105.453 s]  setting bit 20 to 0
c CONFLICT during preprocess 

c [startup+105.566 s]  setting bit 19 to 0
c CONFLICT during preprocess 

c [startup+105.683 s]  setting bit 18 to 0
c CONFLICT during preprocess 

c [startup+105.799 s]  setting bit 17 to 0

c Decision: 15385/32939	Time: 20.7728/86400
c Decision: 15404/32939	Time: 22.3466/86400
c Decision: 16057/32939	Time: 32.909/86400
c Decision: 16088/32939	Time: 35.3866/86400
c Decision: 16191/32939	Time: 38.5001/86400
c Decision: 16206/32939	Time: 41.0218/86400
c Decision: 16206/32939	Time: 43.6874/86400
c Decision: 16206/32939	Time: 45.868/86400
c Decision: 16224/32939	Time: 48.4806/86400
c Decision: 16278/32939	Time: 56.4264/86400
c Decision: 16278/32939	Time: 59.272/86400
c Decision: 16278/32939	Time: 62.1086/86400
c Decision: 16278/32939	Time: 65.0461/86400
c Decision: 16281/32939	Time: 70.4083/86400
c Decision: 16281/32939	Time: 73.6988/86400
c Decision: 16318/32939	Time: 77.2003/86400
c Decision: 16406/32939	Time: 84.1372/86400
c Decision: 16505/32939	Time: 87.8826/86400
c Decision: 16513/32939	Time: 97.7841/86400
c Decision: 16567/32939	Time: 103.128/86400
c Decision: 16567/32939	Time: 106.959/86400
c [startup+220.401 s]  setting bit 16 to 0

c Decision: 12425/32939	Time: 3.06353/86400
c Decision: 12435/32939	Time: 6.69798/86400
c Decision: 12478/32939	Time: 12.7251/86400
c Decision: 12480/32939	Time: 16.1395/86400
c Decision: 12480/32939	Time: 19.409/86400
c Decision: 12480/32939	Time: 22.8865/86400
c Decision: 12522/32939	Time: 31.7602/86400
c got solution with objective value: 1073681823
c [startup+255.496 s]  setting bit 15 to 1

c Decision: 12708/32939	Time: 2.47562/86400
c Decision: 12708/32939	Time: 5.19321/86400
c Decision: 13051/32939	Time: 13.6529/86400
c Decision: 13054/32939	Time: 16.7764/86400
c Decision: 13211/32939	Time: 19.1821/86400
c got solution with objective value: 1073681823
c [startup+282.468 s]  setting bit 14 to 1

c Decision: 13793/32939	Time: 2.69359/86400
c Decision: 13899/32939	Time: 5.65414/86400
c Decision: 13899/32939	Time: 7.97379/86400
c Decision: 13899/32939	Time: 10.5784/86400
c Decision: 13899/32939	Time: 13.412/86400
c Decision: 13958/32939	Time: 16.4315/86400
c Decision: 13958/32939	Time: 19.552/86400
c Decision: 14053/32939	Time: 22.6946/86400
c got solution with objective value: 1073681823
c [startup+306.394 s]  setting bit 13 to 1

c [startup+307.419 s]  setting bit 12 to 0

c got solution with objective value: 1073681823
c [startup+308.397 s]  setting bit 11 to 1

c [startup+308.573 s]  setting bit 10 to 0

c got solution with objective value: 1073681823
c [startup+309 s]  setting bit 9 to 1

c [startup+309.172 s]  setting bit 8 to 0

c [startup+309.355 s]  setting bit 7 to 0

c got solution with objective value: 1073681823
c [startup+309.593 s]  setting bit 6 to 1

c [startup+309.775 s]  setting bit 5 to 0

c got solution with objective value: 1073681823
c [startup+309.986 s]  setting bit 4 to 1

c got solution with objective value: 1073681823
c [startup+310.211 s]  setting bit 3 to 1

c got solution with objective value: 1073681823
c [startup+310.437 s]  setting bit 2 to 1

c got solution with objective value: 1073681823
c [startup+310.645 s]  setting bit 1 to 1

c got solution with objective value: 1073681823
c [startup+310.85 s]  setting bit 0 to 1
s OPTIMUM FOUND
v -COL00001_bit0 -COL00001_bit1 -COL00001_bit10 -COL00001_bit11 -COL00001_bit12 -COL00001_bit13 -COL00001_bit14 -COL00001_bit15 -COL00001_bit16 -COL00001_bit17 -COL00001_bit18 -COL00001_bit19 -COL00001_bit2 -COL00001_bit3 -COL00001_bit4 -COL00001_bit5 -COL00001_bit6 -COL00001_bit7 -COL00001_bit8 -COL00001_bit9 -COL00001_bit_1 -COL00001_bit_10 -COL00001_bit_2 -COL00001_bit_3 -COL00001_bit_4 -COL00001_bit_5 -COL00001_bit_6 -COL00001_bit_7 -COL00001_bit_8 -COL00001_bit_9 -COL00002_bit0 -COL00002_bit1 -COL00002_bit10 -COL00002_bit11 -COL00002_bit12 -COL00002_bit13 -COL00002_bit14 -COL00002_bit15 -COL00002_bit16 -COL00002_bit17 -COL00002_bit18 -COL00002_bit19 -COL00002_bit2 -COL00002_bit3 COL00002_bit4 -COL00002_bit5 -COL00002_bit6 -COL00002_bit7 -COL00002_bit8 -COL00002_bit9 -COL00002_bit_1 -COL00002_bit_10 -COL00002_bit_2 -COL00002_bit_3 -COL00002_bit_4 -COL00002_bit_5 -COL00002_bit_6 -COL00002_bit_7 -COL00002_bit_8 -COL00002_bit_9 -COL00003_bit0 -COL00003_bit1 -COL00003_bit10 -COL00003_bit11 -COL00003_bit12 -COL00003_bit13 -COL00003_bit14 -COL00003_bit15 -COL00003_bit16 -COL00003_bit17 -COL00003_bit18 -COL00003_bit19 -COL00003_bit2 -COL00003_bit3 -COL00003_bit4 -COL00003_bit5 COL00003_bit6 -COL00003_bit7 -COL00003_bit8 -COL00003_bit9 -COL00003_bit_1 -COL00003_bit_10 -COL00003_bit_2 -COL00003_bit_3 -COL00003_bit_4 -COL00003_bit_5 -COL00003_bit_6 -COL00003_bit_7 -COL00003_bit_8 -COL00003_bit_9 -COL00004_bit0 COL00004_bit1 -COL00004_bit10 -COL00004_bit11 -COL00004_bit12 -COL00004_bit13 -COL00004_bit14 -COL00004_bit15 -COL00004_bit16 -COL00004_bit17 -COL00004_bit18 -COL00004_bit19 -COL00004_bit2 COL00004_bit3 COL00004_bit4 COL00004_bit5 -COL00004_bit6 -COL00004_bit7 -COL00004_bit8 -COL00004_bit9 COL00004_bit_1 -COL00004_bit_10 -COL00004_bit_2 -COL00004_bit_3 COL00004_bit_4 COL00004_bit_5 -COL00004_bit_6 -COL00004_bit_7 -COL00004_bit_8 -COL00004_bit_9 -COL00005_bit0 COL00005_bit1 -COL00005_bit10 -COL00005_bit11 -COL00005_bit12 -COL00005_bit13 -COL00005_bit14 -COL00005_bit15 -COL00005_bit16 -COL00005_bit17 -COL00005_bit18 -COL00005_bit19 -COL00005_bit2 COL00005_bit3 COL00005_bit4 COL00005_bit5 -COL00005_bit6 -COL00005_bit7 -COL00005_bit8 -COL00005_bit9 COL00005_bit_1 -COL00005_bit_10 -COL00005_bit_2 -COL00005_bit_3 COL00005_bit_4 COL00005_bit_5 -COL00005_bit_6 -COL00005_bit_7 -COL00005_bit_8 -COL00005_bit_9 -COL00006_bit0 -COL00006_bit1 -COL00006_bit10 -COL00006_bit11 -COL00006_bit12 -COL00006_bit13 -COL00006_bit14 -COL00006_bit15 -COL00006_bit16 -COL00006_bit17 -COL00006_bit18 -COL00006_bit19 -COL00006_bit2 -COL00006_bit3 -COL00006_bit4 -COL00006_bit5 -COL00006_bit6 -COL00006_bit7 -COL00006_bit8 -COL00006_bit9 -COL00006_bit_1 -COL00006_bit_10 -COL00006_bit_2 -COL00006_bit_3 -COL00006_bit_4 -COL00006_bit_5 -COL00006_bit_6 -COL00006_bit_7 -COL00006_bit_8 -COL00006_bit_9 -COL00007_bit0 -COL00007_bit1 -COL00007_bit10 -COL00007_bit11 -COL00007_bit12 -COL00007_bit13 -COL00007_bit14 -COL00007_bit15 -COL00007_bit16 -COL00007_bit17 -COL00007_bit18 -COL00007_bit19 -COL00007_bit2 -COL00007_bit3 COL00007_bit4 -COL00007_bit5 -COL00007_bit6 -COL00007_bit7 -COL00007_bit8 -COL00007_bit9 -COL00007_bit_1 -COL00007_bit_10 -COL00007_bit_2 -COL00007_bit_3 -COL00007_bit_4 -COL00007_bit_5 -COL00007_bit_6 -COL00007_bit_7 -COL00007_bit_8 -COL00007_bit_9 -COL00008_bit0 -COL00008_bit1 -COL00008_bit10 -COL00008_bit11 -COL00008_bit12 -COL00008_bit13 -COL00008_bit14 -COL00008_bit15 -COL00008_bit16 -COL00008_bit17 -COL00008_bit18 -COL00008_bit19 -COL00008_bit2 -COL00008_bit3 -COL00008_bit4 -COL00008_bit5 COL00008_bit6 -COL00008_bit7 -COL00008_bit8 -COL00008_bit9 -COL00008_bit_1 -COL00008_bit_10 -COL00008_bit_2 -COL00008_bit_3 -COL00008_bit_4 -COL00008_bit_5 -COL00008_bit_6 -COL00008_bit_7 -COL00008_bit_8 -COL00008_bit_9 -COL00009_bit0 -COL00009_bit1 -COL00009_bit10 -COL00009_bit11 -COL00009_bit12 -COL00009_bit13 -COL00009_bit14 -COL00009_bit15 -COL00009_bit16 -COL00009_bit17 -COL00009_bit18 -COL00009_bit19 -COL00009_bit2 -COL00009_bit3 -COL00009_bit4 -COL00009_bit5 -COL00009_bit6 -COL00009_bit7 -COL00009_bit8 -COL00009_bit9 -COL00009_bit_1 -COL00009_bit_10 -COL00009_bit_2 -COL00009_bit_3 -COL00009_bit_4 -COL00009_bit_5 -COL00009_bit_6 -COL00009_bit_7 -COL00009_bit_8 -COL00009_bit_9 -COL00010_bit0 -COL00010_bit1 -COL00010_bit10 -COL00010_bit11 -COL00010_bit12 -COL00010_bit13 -COL00010_bit14 -COL00010_bit15 -COL00010_bit16 -COL00010_bit17 -COL00010_bit18 -COL00010_bit19 -COL00010_bit2 -COL00010_bit3 COL00010_bit4 -COL00010_bit5 -COL00010_bit6 -COL00010_bit7 -COL00010_bit8 -COL00010_bit9 -COL00010_bit_1 -COL00010_bit_10 -COL00010_bit_2 -COL00010_bit_3 -COL00010_bit_4 -COL00010_bit_5 -COL00010_bit_6 -COL00010_bit_7 -COL00010_bit_8 -COL00010_bit_9 -COL00011_bit0 -COL00011_bit1 -COL00011_bit10 -COL00011_bit11 -COL00011_bit12 -COL00011_bit13 -COL00011_bit14 -COL00011_bit15 -COL00011_bit16 -COL00011_bit17 -COL00011_bit18 -COL00011_bit19 COL00011_bit2 COL00011_bit3 COL00011_bit4 COL00011_bit5 -COL00011_bit6 -COL00011_bit7 -COL00011_bit8 -COL00011_bit9 -COL00011_bit_1 -COL00011_bit_10 -COL00011_bit_2 -COL00011_bit_3 -COL00011_bit_4 COL00011_bit_5 COL00011_bit_6 -COL00011_bit_7 -COL00011_bit_8 -COL00011_bit_9 -COL00012_bit0 -COL00012_bit1 -COL00012_bit10 -COL00012_bit11 -COL00012_bit12 -COL00012_bit13 -COL00012_bit14 -COL00012_bit15 -COL00012_bit16 -COL00012_bit17 -COL00012_bit18 -COL00012_bit19 -COL00012_bit2 COL00012_bit3 COL00012_bit4 -COL00012_bit5 -COL00012_bit6 -COL00012_bit7 -COL00012_bit8 -COL00012_bit9 -COL00012_bit_1 COL00012_bit_10 -COL00012_bit_2 -COL00012_bit_3 COL00012_bit_4 -COL00012_bit_5 -COL00012_bit_6 -COL00012_bit_7 -COL00012_bit_8 COL00012_bit_9 COL00013_bit0 COL00013_bit1 -COL00013_bit10 -COL00013_bit11 -COL00013_bit12 -COL00013_bit13 -COL00013_bit14 -COL00013_bit15 -COL00013_bit16 -COL00013_bit17 -COL00013_bit18 -COL00013_bit19 COL00013_bit2 COL00013_bit3 -COL00013_bit4 -COL00013_bit5 -COL00013_bit6 -COL00013_bit7 -COL00013_bit8 -COL00013_bit9 COL00013_bit_1 COL00013_bit_10 COL00013_bit_2 -COL00013_bit_3 COL00013_bit_4 COL00013_bit_5 -COL00013_bit_6 -COL00013_bit_7 COL00013_bit_8 COL00013_bit_9 COL00014_bit0 COL00014_bit1 -COL00014_bit10 -COL00014_bit11 -COL00014_bit12 -COL00014_bit13 -COL00014_bit14 -COL00014_bit15 -COL00014_bit16 -COL00014_bit17 -COL00014_bit18 -COL00014_bit19 -COL00014_bit2 COL00014_bit3 COL00014_bit4 COL00014_bit5 -COL00014_bit6 -COL00014_bit7 -COL00014_bit8 -COL00014_bit9 COL00014_bit_1 COL00014_bit_10 COL00014_bit_2 COL00014_bit_3 COL00014_bit_4 COL00014_bit_5 COL00014_bit_6 COL00014_bit_7 COL00014_bit_8 COL00014_bit_9 -COL00015_bit0 -COL00015_bit1 -COL00015_bit10 -COL00015_bit11 -COL00015_bit12 -COL00015_bit13 -COL00015_bit14 -COL00015_bit15 -COL00015_bit16 -COL00015_bit17 -COL00015_bit18 -COL00015_bit19 -COL00015_bit2 -COL00015_bit3 -COL00015_bit4 -COL00015_bit5 COL00015_bit6 -COL00015_bit7 -COL00015_bit8 -COL00015_bit9 -COL00015_bit_1 -COL00015_bit_10 COL00015_bit_2 COL00015_bit_3 COL00015_bit_4 -COL00015_bit_5 COL00015_bit_6 -COL00015_bit_7 -COL00015_bit_8 -COL00015_bit_9 COL00016_bit0 COL00016_bit1 -COL00016_bit10 -COL00016_bit11 -COL00016_bit12 -COL00016_bit13 -COL00016_bit14 -COL00016_bit15 -COL00016_bit16 -COL00016_bit17 -COL00016_bit18 -COL00016_bit19 -COL00016_bit2 COL00016_bit3 COL00016_bit4 COL00016_bit5 COL00016_bit6 -COL00016_bit7 -COL00016_bit8 -COL00016_bit9 -COL00016_bit_1 -COL00016_bit_10 -COL00016_bit_2 -COL00016_bit_3 -COL00016_bit_4 COL00016_bit_5 COL00016_bit_6 -COL00016_bit_7 -COL00016_bit_8 -COL00016_bit_9 -COL00017_bit0 -COL00017_bit1 -COL00017_bit10 -COL00017_bit11 -COL00017_bit12 -COL00017_bit13 -COL00017_bit14 -COL00017_bit15 -COL00017_bit16 -COL00017_bit17 -COL00017_bit18 -COL00017_bit19 -COL00017_bit2 COL00017_bit3 COL00017_bit4 -COL00017_bit5 -COL00017_bit6 -COL00017_bit7 -COL00017_bit8 -COL00017_bit9 -COL00017_bit_1 COL00017_bit_10 -COL00017_bit_2 -COL00017_bit_3 COL00017_bit_4 -COL00017_bit_5 -COL00017_bit_6 -COL00017_bit_7 -COL00017_bit_8 COL00017_bit_9 COL00018_bit0 COL00018_bit1 -COL00018_bit10 -COL00018_bit11 -COL00018_bit12 -COL00018_bit13 -COL00018_bit14 -COL00018_bit15 -COL00018_bit16 -COL00018_bit17 -COL00018_bit18 -COL00018_bit19 COL00018_bit2 COL00018_bit3 COL00018_bit4 -COL00018_bit5 -COL00018_bit6 -COL00018_bit7 -COL00018_bit8 -COL00018_bit9 COL00018_bit_1 COL00018_bit_10 COL00018_bit_2 -COL00018_bit_3 COL00018_bit_4 COL00018_bit_5 -COL00018_bit_6 -COL00018_bit_7 COL00018_bit_8 COL00018_bit_9 COL00019_bit0 COL00019_bit1 -COL00019_bit10 -COL00019_bit11 -COL00019_bit12 -COL00019_bit13 -COL00019_bit14 -COL00019_bit15 -COL00019_bit16 -COL00019_bit17 -COL00019_bit18 -COL00019_bit19 -COL00019_bit2 COL00019_bit3 COL00019_bit4 COL00019_bit5 COL00019_bit6 -COL00019_bit7 -COL00019_bit8 -COL00019_bit9 COL00019_bit_1 COL00019_bit_10 COL00019_bit_2 COL00019_bit_3 COL00019_bit_4 COL00019_bit_5 COL00019_bit_6 COL00019_bit_7 COL00019_bit_8 COL00019_bit_9 -COL00020_bit0 -COL00020_bit1 -COL00020_bit10 -COL00020_bit11 -COL00020_bit12 -COL00020_bit13 -COL00020_bit14 -COL00020_bit15 -COL00020_bit16 -COL00020_bit17 -COL00020_bit18 -COL00020_bit19 -COL00020_bit2 COL00020_bit3 COL00020_bit4 -COL00020_bit5 -COL00020_bit6 -COL00020_bit7 -COL00020_bit8 -COL00020_bit9 -COL00020_bit_1 -COL00020_bit_10 -COL00020_bit_2 -COL00020_bit_3 -COL00020_bit_4 -COL00020_bit_5 COL00020_bit_6 -COL00020_bit_7 COL00020_bit_8 -COL00020_bit_9 COL00021_bit0 COL00021_bit1 -COL00021_bit10 -COL00021_bit11 -COL00021_bit12 -COL00021_bit13 -COL00021_bit14 -COL00021_bit15 -COL00021_bit16 -COL00021_bit17 -COL00021_bit18 -COL00021_bit19 COL00021_bit2 COL00021_bit3 COL00021_bit4 -COL00021_bit5 -COL00021_bit6 -COL00021_bit7 -COL00021_bit8 -COL00021_bit9 COL00021_bit_1 COL00021_bit_10 COL00021_bit_2 -COL00021_bit_3 COL00021_bit_4 COL00021_bit_5 -COL00021_bit_6 -COL00021_bit_7 COL00021_bit_8 COL00021_bit_9 COL00022_bit0 COL00022_bit1 -COL00022_bit10 -COL00022_bit11 -COL00022_bit12 -COL00022_bit13 -COL00022_bit14 -COL00022_bit15 -COL00022_bit16 -COL00022_bit17 -COL00022_bit18 -COL00022_bit19 -COL00022_bit2 COL00022_bit3 COL00022_bit4 COL00022_bit5 COL00022_bit6 -COL00022_bit7 -COL00022_bit8 -COL00022_bit9 COL00022_bit_1 COL00022_bit_10 -COL00022_bit_2 -COL00022_bit_3 -COL00022_bit_4 COL00022_bit_5 -COL00022_bit_6 -COL00022_bit_7 COL00022_bit_8 COL00022_bit_9 -COL00023_bit0 -COL00023_bit1 -COL00023_bit10 -COL00023_bit11 -COL00023_bit12 -COL00023_bit13 -COL00023_bit14 -COL00023_bit15 -COL00023_bit16 -COL00023_bit17 -COL00023_bit18 -COL00023_bit19 -COL00023_bit2 -COL00023_bit3 -COL00023_bit4 -COL00023_bit5 -COL00023_bit6 -COL00023_bit7 -COL00023_bit8 -COL00023_bit9 -COL00023_bit_1 -COL00023_bit_10 -COL00023_bit_2 -COL00023_bit_3 -COL00023_bit_4 -COL00023_bit_5 -COL00023_bit_6 -COL00023_bit_7 -COL00023_bit_8 -COL00023_bit_9 -COL00024_bit0 -COL00024_bit1 -COL00024_bit10 -COL00024_bit11 -COL00024_bit12 -COL00024_bit13 -COL00024_bit14 -COL00024_bit15 -COL00024_bit16 -COL00024_bit17 -COL00024_bit18 -COL00024_bit19 COL00024_bit2 COL00024_bit3 COL00024_bit4 -COL00024_bit5 -COL00024_bit6 -COL00024_bit7 -COL00024_bit8 -COL00024_bit9 -COL00024_bit_1 COL00024_bit_10 COL00024_bit_2 COL00024_bit_3 COL00024_bit_4 -COL00024_bit_5 -COL00024_bit_6 -COL00024_bit_7 COL00024_bit_8 -COL00024_bit_9 COL00025_bit0 -COL00025_bit1 -COL00025_bit10 -COL00025_bit11 -COL00025_bit12 -COL00025_bit13 -COL00025_bit14 -COL00025_bit15 -COL00025_bit16 -COL00025_bit17 -COL00025_bit18 -COL00025_bit19 COL00025_bit2 -COL00025_bit3 -COL00025_bit4 -COL00025_bit5 COL00025_bit6 -COL00025_bit7 -COL00025_bit8 -COL00025_bit9 COL00025_bit_1 -COL00025_bit_10 COL00025_bit_2 COL00025_bit_3 COL00025_bit_4 COL00025_bit_5 -COL00025_bit_6 COL00025_bit_7 -COL00025_bit_8 -COL00025_bit_9 -COL00026_bit0 COL00026_bit1 -COL00026_bit10 -COL00026_bit11 -COL00026_bit12 -COL00026_bit13 -COL00026_bit14 -COL00026_bit15 -COL00026_bit16 -COL00026_bit17 -COL00026_bit18 -COL00026_bit19 COL00026_bit2 -COL00026_bit3 -COL00026_bit4 -COL00026_bit5 COL00026_bit6 -COL00026_bit7 -COL00026_bit8 -COL00026_bit9 COL00026_bit_1 -COL00026_bit_10 COL00026_bit_2 COL00026_bit_3 -COL00026_bit_4 -COL00026_bit_5 COL00026_bit_6 COL00026_bit_7 -COL00026_bit_8 -COL00026_bit_9 COL00027_bit0 -COL00027_bit1 -COL00027_bit10 -COL00027_bit11 -COL00027_bit12 -COL00027_bit13 -COL00027_bit14 -COL00027_bit15 -COL00027_bit16 -COL00027_bit17 -COL00027_bit18 -COL00027_bit19 -COL00027_bit2 -COL00027_bit3 -COL00027_bit4 -COL00027_bit5 COL00027_bit6 COL00027_bit7 -COL00027_bit8 -COL00027_bit9 COL00027_bit_1 -COL00027_bit_10 COL00027_bit_2 COL00027_bit_3 COL00027_bit_4 -COL00027_bit_5 -COL00027_bit_6 COL00027_bit_7 -COL00027_bit_8 -COL00027_bit_9 -COL00028_bit0 -COL00028_bit1 -COL00028_bit10 -COL00028_bit11 -COL00028_bit12 -COL00028_bit13 -COL00028_bit14 -COL00028_bit15 -COL00028_bit16 -COL00028_bit17 -COL00028_bit18 -COL00028_bit19 -COL00028_bit2 COL00028_bit3 COL00028_bit4 -COL00028_bit5 -COL00028_bit6 -COL00028_bit7 -COL00028_bit8 -COL00028_bit9 -COL00028_bit_1 COL00028_bit_10 -COL00028_bit_2 -COL00028_bit_3 COL00028_bit_4 -COL00028_bit_5 -COL00028_bit_6 -COL00028_bit_7 -COL00028_bit_8 COL00028_bit_9 -COL00029_bit0 -COL00029_bit1 -COL00029_bit10 -COL00029_bit11 -COL00029_bit12 -COL00029_bit13 -COL00029_bit14 -COL00029_bit15 -COL00029_bit16 -COL00029_bit17 -COL00029_bit18 -COL00029_bit19 COL00029_bit2 COL00029_bit3 COL00029_bit4 COL00029_bit5 -COL00029_bit6 -COL00029_bit7 -COL00029_bit8 -COL00029_bit9 -COL00029_bit_1 -COL00029_bit_10 COL00029_bit_2 -COL00029_bit_3 -COL00029_bit_4 COL00029_bit_5 -COL00029_bit_6 COL00029_bit_7 COL00029_bit_8 -COL00029_bit_9 COL00030_bit0 -COL00030_bit1 -COL00030_bit10 -COL00030_bit11 -COL00030_bit12 -COL00030_bit13 -COL00030_bit14 -COL00030_bit15 -COL00030_bit16 -COL00030_bit17 -COL00030_bit18 -COL00030_bit19 -COL00030_bit2 -COL00030_bit3 -COL00030_bit4 -COL00030_bit5 COL00030_bit6 COL00030_bit7 -COL00030_bit8 -COL00030_bit9 COL00030_bit_1 COL00030_bit_10 COL00030_bit_2 COL00030_bit_3 COL00030_bit_4 COL00030_bit_5 -COL00030_bit_6 -COL00030_bit_7 COL00030_bit_8 COL00030_bit_9 -COL00031_bit0 -COL00031_bit1 -COL00031_bit10 -COL00031_bit11 -COL00031_bit12 -COL00031_bit13 -COL00031_bit14 -COL00031_bit15 -COL00031_bit16 -COL00031_bit17 -COL00031_bit18 -COL00031_bit19 -COL00031_bit2 COL00031_bit3 COL00031_bit4 -COL00031_bit5 -COL00031_bit6 -COL00031_bit7 -COL00031_bit8 -COL00031_bit9 -COL00031_bit_1 -COL00031_bit_10 -COL00031_bit_2 -COL00031_bit_3 -COL00031_bit_4 -COL00031_bit_5 COL00031_bit_6 -COL00031_bit_7 -COL00031_bit_8 -COL00031_bit_9 -COL00032_bit0 -COL00032_bit1 -COL00032_bit10 -COL00032_bit11 -COL00032_bit12 -COL00032_bit13 -COL00032_bit14 -COL00032_bit15 -COL00032_bit16 -COL00032_bit17 -COL00032_bit18 -COL00032_bit19 COL00032_bit2 COL00032_bit3 COL00032_bit4 COL00032_bit5 -COL00032_bit6 -COL00032_bit7 -COL00032_bit8 -COL00032_bit9 -COL00032_bit_1 -COL00032_bit_10 COL00032_bit_2 -COL00032_bit_3 -COL00032_bit_4 COL00032_bit_5 -COL00032_bit_6 COL00032_bit_7 COL00032_bit_8 -COL00032_bit_9 COL00033_bit0 -COL00033_bit1 -COL00033_bit10 -COL00033_bit11 -COL00033_bit12 -COL00033_bit13 -COL00033_bit14 -COL00033_bit15 -COL00033_bit16 -COL00033_bit17 -COL00033_bit18 -COL00033_bit19 -COL00033_bit2 -COL00033_bit3 -COL00033_bit4 -COL00033_bit5 COL00033_bit6 COL00033_bit7 -COL00033_bit8 -COL00033_bit9 COL00033_bit_1 COL00033_bit_10 COL00033_bit_2 COL00033_bit_3 COL00033_bit_4 -COL00033_bit_5 COL00033_bit_6 COL00033_bit_7 -COL00033_bit_8 COL00033_bit_9 -COL00034_bit0 -COL00034_bit1 -COL00034_bit10 -COL00034_bit11 -COL00034_bit12 -COL00034_bit13 -COL00034_bit14 -COL00034_bit15 -COL00034_bit16 -COL00034_bit17 -COL00034_bit18 -COL00034_bit19 -COL00034_bit2 -COL00034_bit3 -COL00034_bit4 -COL00034_bit5 -COL00034_bit6 -COL00034_bit7 -COL00034_bit8 -COL00034_bit9 -COL00034_bit_1 -COL00034_bit_10 COL00034_bit_2 -COL00034_bit_3 -COL00034_bit_4 -COL00034_bit_5 -COL00034_bit_6 -COL00034_bit_7 -COL00034_bit_8 COL00034_bit_9 -COL00035_bit0 -COL00035_bit1 -COL00035_bit10 -COL00035_bit11 -COL00035_bit12 -COL00035_bit13 -COL00035_bit14 -COL00035_bit15 -COL00035_bit16 -COL00035_bit17 -COL00035_bit18 -COL00035_bit19 -COL00035_bit2 -COL00035_bit3 -COL00035_bit4 -COL00035_bit5 -COL00035_bit6 -COL00035_bit7 -COL00035_bit8 -COL00035_bit9 COL00035_bit_1 -COL00035_bit_10 -COL00035_bit_2 -COL00035_bit_3 -COL00035_bit_4 -COL00035_bit_5 -COL00035_bit_6 -COL00035_bit_7 -COL00035_bit_8 -COL00035_bit_9 -COL00036_bit0 COL00036_bit1 -COL00036_bit10 -COL00036_bit11 -COL00036_bit12 -COL00036_bit13 -COL00036_bit14 -COL00036_bit15 -COL00036_bit16 -COL00036_bit17 -COL00036_bit18 -COL00036_bit19 COL00036_bit2 COL00036_bit3 COL00036_bit4 COL00036_bit5 COL00036_bit6 -COL00036_bit7 -COL00036_bit8 -COL00036_bit9 -COL00036_bit_1 -COL00036_bit_10 -COL00036_bit_2 -COL00036_bit_3 -COL00036_bit_4 -COL00036_bit_5 COL00036_bit_6 COL00036_bit_7 COL00036_bit_8 -COL00036_bit_9 COL00037_bit0 -COL00037_bit1 -COL00037_bit10 -COL00037_bit11 -COL00037_bit12 -COL00037_bit13 -COL00037_bit14 -COL00037_bit15 -COL00037_bit16 -COL00037_bit17 -COL00037_bit18 -COL00037_bit19 COL00037_bit2 COL00037_bit3 -COL00037_bit4 -COL00037_bit5 COL00037_bit6 -COL00037_bit7 -COL00037_bit8 -COL00037_bit9 COL00037_bit_1 -COL00037_bit_10 COL00037_bit_2 COL00037_bit_3 COL00037_bit_4 COL00037_bit_5 COL00037_bit_6 -COL00037_bit_7 COL00037_bit_8 -COL00037_bit_9 COL00038_bit0 COL00038_bit1 -COL00038_bit10 -COL00038_bit11 -COL00038_bit12 -COL00038_bit13 -COL00038_bit14 -COL00038_bit15 -COL00038_bit16 -COL00038_bit17 -COL00038_bit18 -COL00038_bit19 COL00038_bit2 COL00038_bit3 -COL00038_bit4 -COL00038_bit5 -COL00038_bit6 -COL00038_bit7 COL00038_bit8 -COL00038_bit9 COL00038_bit_1 -COL00038_bit_10 COL00038_bit_2 COL00038_bit_3 -COL00038_bit_4 COL00038_bit_5 COL00038_bit_6 COL00038_bit_7 COL00038_bit_8 -COL00038_bit_9 -COL00039_bit0 -COL00039_bit1 -COL00039_bit10 -COL00039_bit11 -COL00039_bit12 -COL00039_bit13 -COL00039_bit14 -COL00039_bit15 -COL00039_bit16 -COL00039_bit17 -COL00039_bit18 -COL00039_bit19 -COL00039_bit2 COL00039_bit3 COL00039_bit4 -COL00039_bit5 -COL00039_bit6 -COL00039_bit7 -COL00039_bit8 -COL00039_bit9 -COL00039_bit_1 COL00039_bit_10 COL00039_bit_2 -COL00039_bit_3 COL00039_bit_4 -COL00039_bit_5 -COL00039_bit_6 -COL00039_bit_7 COL00039_bit_8 -COL00039_bit_9 -COL00040_bit0 -COL00040_bit1 -COL00040_bit10 -COL00040_bit11 -COL00040_bit12 -COL00040_bit13 -COL00040_bit14 -COL00040_bit15 -COL00040_bit16 -COL00040_bit17 -COL00040_bit18 -COL00040_bit19 COL00040_bit2 COL00040_bit3 COL00040_bit4 COL00040_bit5 -COL00040_bit6 -COL00040_bit7 -COL00040_bit8 -COL00040_bit9 COL00040_bit_1 -COL00040_bit_10 COL00040_bit_2 -COL00040_bit_3 -COL00040_bit_4 COL00040_bit_5 -COL00040_bit_6 COL00040_bit_7 COL00040_bit_8 -COL00040_bit_9 -COL00041_bit0 -COL00041_bit1 -COL00041_bit10 -COL00041_bit11 -COL00041_bit12 -COL00041_bit13 -COL00041_bit14 -COL00041_bit15 -COL00041_bit16 -COL00041_bit17 -COL00041_bit18 -COL00041_bit19 -COL00041_bit2 -COL00041_bit3 -COL00041_bit4 -COL00041_bit5 COL00041_bit6 -COL00041_bit7 COL00041_bit8 -COL00041_bit9 -COL00041_bit_1 COL00041_bit_10 -COL00041_bit_2 -COL00041_bit_3 -COL00041_bit_4 -COL00041_bit_5 -COL00041_bit_6 -COL00041_bit_7 -COL00041_bit_8 COL00041_bit_9 -COL00042_bit0 -COL00042_bit1 -COL00042_bit10 -COL00042_bit11 -COL00042_bit12 -COL00042_bit13 -COL00042_bit14 -COL00042_bit15 -COL00042_bit16 -COL00042_bit17 -COL00042_bit18 -COL00042_bit19 -COL00042_bit2 COL00042_bit3 COL00042_bit4 -COL00042_bit5 -COL00042_bit6 -COL00042_bit7 -COL00042_bit8 -COL00042_bit9 -COL00042_bit_1 COL00042_bit_10 -COL00042_bit_2 -COL00042_bit_3 -COL00042_bit_4 COL00042_bit_5 -COL00042_bit_6 COL00042_bit_7 -COL00042_bit_8 COL00042_bit_9 COL00043_bit0 COL00043_bit1 -COL00043_bit10 -COL00043_bit11 -COL00043_bit12 -COL00043_bit13 -COL00043_bit14 -COL00043_bit15 -COL00043_bit16 -COL00043_bit17 -COL00043_bit18 -COL00043_bit19 COL00043_bit2 -COL00043_bit3 COL00043_bit4 COL00043_bit5 -COL00043_bit6 -COL00043_bit7 -COL00043_bit8 -COL00043_bit9 COL00043_bit_1 COL00043_bit_10 COL00043_bit_2 COL00043_bit_3 COL00043_bit_4 COL00043_bit_5 COL00043_bit_6 COL00043_bit_7 -COL00043_bit_8 -COL00043_bit_9 -COL00044_bit0 -COL00044_bit1 -COL00044_bit10 -COL00044_bit11 -COL00044_bit12 -COL00044_bit13 -COL00044_bit14 -COL00044_bit15 -COL00044_bit16 -COL00044_bit17 -COL00044_bit18 -COL00044_bit19 -COL00044_bit2 -COL00044_bit3 -COL00044_bit4 COL00044_bit5 -COL00044_bit6 -COL00044_bit7 COL00044_bit8 -COL00044_bit9 -COL00044_bit_1 COL00044_bit_10 -COL00044_bit_2 COL00044_bit_3 -COL00044_bit_4 COL00044_bit_5 -COL00044_bit_6 -COL00044_bit_7 -COL00044_bit_8 COL00044_bit_9 -COL00045_bit0 COL00045_bit1 -COL00045_bit10 -COL00045_bit11 -COL00045_bit12 -COL00045_bit13 -COL00045_bit14 -COL00045_bit15 -COL00045_bit16 -COL00045_bit17 -COL00045_bit18 -COL00045_bit19 -COL00045_bit2 -COL00045_bit3 COL00045_bit4 -COL00045_bit5 -COL00045_bit6 -COL00045_bit7 -COL00045_bit8 -COL00045_bit9 COL00045_bit_1 COL00045_bit_10 COL00045_bit_2 -COL00045_bit_3 -COL00045_bit_4 -COL00045_bit_5 -COL00045_bit_6 COL00045_bit_7 -COL00045_bit_8 -COL00045_bit_9 COL00046_bit0 COL00046_bit1 -COL00046_bit10 -COL00046_bit11 -COL00046_bit12 -COL00046_bit13 -COL00046_bit14 -COL00046_bit15 -COL00046_bit16 -COL00046_bit17 -COL00046_bit18 -COL00046_bit19 -COL00046_bit2 -COL00046_bit3 COL00046_bit4 -COL00046_bit5 -COL00046_bit6 -COL00046_bit7 -COL00046_bit8 -COL00046_bit9 -COL00046_bit_1 COL00046_bit_10 -COL00046_bit_2 -COL00046_bit_3 COL00046_bit_4 -COL00046_bit_5 COL00046_bit_6 -COL00046_bit_7 COL00046_bit_8 -COL00046_bit_9 -COL00047_bit0 COL00047_bit1 -COL00047_bit10 -COL00047_bit11 -COL00047_bit12 -COL00047_bit13 -COL00047_bit14 -COL00047_bit15 -COL00047_bit16 -COL00047_bit17 -COL00047_bit18 -COL00047_bit19 COL00047_bit2 -COL00047_bit3 COL00047_bit4 -COL00047_bit5 COL00047_bit6 -COL00047_bit7 -COL00047_bit8 -COL00047_bit9 -COL00047_bit_1 COL00047_bit_10 -COL00047_bit_2 -COL00047_bit_3 -COL00047_bit_4 -COL00047_bit_5 -COL00047_bit_6 COL00047_bit_7 COL00047_bit_8 COL00047_bit_9 COL00048_bit0 -COL00048_bit1 -COL00048_bit10 -COL00048_bit11 -COL00048_bit12 -COL00048_bit13 -COL00048_bit14 -COL00048_bit15 -COL00048_bit16 -COL00048_bit17 -COL00048_bit18 -COL00048_bit19 COL00048_bit2 -COL00048_bit3 COL00048_bit4 -COL00048_bit5 COL00048_bit6 -COL00048_bit7 -COL00048_bit8 -COL00048_bit9 COL00048_bit_1 -COL00048_bit_10 COL00048_bit_2 -COL00048_bit_3 -COL00048_bit_4 COL00048_bit_5 -COL00048_bit_6 -COL00048_bit_7 COL00048_bit_8 COL00048_bit_9 
#### 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): 1.05 0.97 0.92 2/54 17108
Raw data (stat): 17108 (runsolver) R 17107 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 968351944 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.0003 s]
Raw data (loadavg): 1.04 0.97 0.92 2/54 17108
Raw data (stat): 17108 (pb2sat-v2) R 17107 20224 20223 0 -1 0 5007 0 0 0 986 13 0 0 25 0 1 0 968351944 15052800 2742 4294967295 134512640 135730672 3221224576 3221223072 134747613 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3675 2742 301 301 0 3374 0
vsize: 14700
[startup+20.0003 s]
Raw data (loadavg): 1.03 0.97 0.92 2/54 17108
Raw data (stat): 17108 (pb2sat-v2) R 17107 20224 20223 0 -1 0 5603 0 0 0 1982 16 0 0 25 0 1 0 968351944 18247680 3078 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4455 3078 301 301 0 4154 0
vsize: 17820
[startup+30.0012 s]
Raw data (loadavg): 1.03 0.97 0.92 2/54 17108
Raw data (stat): 17108 (pb2sat-v2) R 17107 20224 20223 0 -1 0 5981 0 0 0 2979 18 0 0 25 0 1 0 968351944 18526208 3261 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4523 3261 301 301 0 4222 0
vsize: 18092
[startup+40.0006 s]
Raw data (loadavg): 1.02 0.97 0.92 2/54 17108
Raw data (stat): 17108 (pb2sat-v2) R 17107 20224 20223 0 -1 0 6307 0 0 0 3978 19 0 0 25 0 1 0 968351944 18812928 3457 4294967295 134512640 135730672 3221224576 3221223072 134747536 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4593 3457 301 301 0 4292 0
vsize: 18372
[startup+50.0019 s]
Raw data (loadavg): 1.02 0.97 0.92 2/54 17108
Raw data (stat): 17108 (pb2sat-v2) R 17107 20224 20223 0 -1 0 6639 0 0 0 4977 21 0 0 25 0 1 0 968351944 18960384 3594 4294967295 134512640 135730672 3221224576 3221223072 134747584 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4629 3594 301 301 0 4328 0
vsize: 18516
[startup+60.0017 s]
Raw data (loadavg): 1.02 0.97 0.92 2/54 17108
Raw data (stat): 17108 (pb2sat-v2) R 17107 20224 20223 0 -1 0 6799 0 0 0 5976 22 0 0 25 0 1 0 968351944 19234816 3689 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4696 3689 301 301 0 4395 0
vsize: 18784
[startup+70.0012 s]
Raw data (loadavg): 1.01 0.97 0.92 2/54 17108
Raw data (stat): 17108 (pb2sat-v2) R 17107 20224 20223 0 -1 0 7119 0 0 0 6974 24 0 0 25 0 1 0 968351944 19234816 3814 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4696 3814 301 301 0 4395 0
vsize: 18784
[startup+80.0024 s]
Raw data (loadavg): 1.01 0.97 0.92 2/54 17108
Raw data (stat): 17108 (pb2sat-v2) R 17107 20224 20223 0 -1 0 7364 0 0 0 7972 26 0 0 25 0 1 0 968351944 19652608 3929 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4798 3929 301 301 0 4497 0
vsize: 19192
[startup+90.0022 s]
Raw data (loadavg): 1.01 0.97 0.92 2/54 17108
Raw data (stat): 17108 (pb2sat-v2) R 17107 20224 20223 0 -1 0 8285 0 0 0 8969 29 0 0 25 0 1 0 968351944 22798336 3951 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5566 3951 301 301 0 5265 0
vsize: 22264
[startup+100.003 s]
Raw data (loadavg): 1.01 0.97 0.92 2/54 17108
Raw data (stat): 17108 (pb2sat-v2) R 17107 20224 20223 0 -1 0 8502 0 0 0 9967 31 0 0 25 0 1 0 968351944 27185152 4038 4294967295 134512640 135730672 3221224576 3221223264 134748565 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6637 4038 301 301 0 6336 0
vsize: 26548
[startup+110.004 s]
Raw data (loadavg): 1.01 0.97 0.92 2/54 17108
Raw data (stat): 17108 (pb2sat-v2) R 17107 20224 20223 0 -1 0 9603 0 0 0 10963 35 0 0 25 0 1 0 968351944 27447296 4099 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6701 4099 301 301 0 6400 0
vsize: 26804
[startup+120.003 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 17108
Raw data (stat): 17108 (pb2sat-v2) R 17107 20224 20223 0 -1 0 9739 0 0 0 11962 36 0 0 25 0 1 0 968351944 27738112 4235 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6772 4235 301 301 0 6471 0
vsize: 27088
[startup+130.003 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 17108
Raw data (stat): 17108 (pb2sat-v2) R 17107 20224 20223 0 -1 0 10112 0 0 0 12960 39 0 0 25 0 1 0 968351944 28143616 4478 4294967295 134512640 135730672 3221224576 3221222864 134747892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6871 4478 301 301 0 6570 0
vsize: 27484
[startup+140.003 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 17108
Raw data (stat): 17108 (pb2sat-v2) R 17107 20224 20223 0 -1 0 10244 0 0 0 13959 40 0 0 25 0 1 0 968351944 28413952 4545 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6937 4545 301 301 0 6636 0
vsize: 27748
[startup+150.004 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 17108
Raw data (stat): 17108 (pb2sat-v2) R 17107 20224 20223 0 -1 0 10562 0 0 0 14958 41 0 0 25 0 1 0 968351944 28540928 4603 4294967295 134512640 135730672 3221224576 3221222992 134748106 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6968 4603 301 301 0 6667 0
vsize: 27872
[startup+160.004 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 17108
Raw data (stat): 17108 (pb2sat-v2) R 17107 20224 20223 0 -1 0 11029 0 0 0 15955 44 0 0 25 0 1 0 968351944 28811264 4940 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7034 4940 301 301 0 6733 0
vsize: 28136
[startup+170.004 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 17108
Raw data (stat): 17108 (pb2sat-v2) R 17107 20224 20223 0 -1 0 11577 0 0 0 16952 47 0 0 25 0 1 0 968351944 28950528 5293 4294967295 134512640 135730672 3221224576 3221222912 134740321 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7068 5293 301 301 0 6767 0
vsize: 28272
[startup+180.005 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 17108
Raw data (stat): 17108 (pb2sat-v2) R 17107 20224 20223 0 -1 0 12157 0 0 0 17950 50 0 0 25 0 1 0 968351944 37613568 5678 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9183 5678 301 301 0 8882 0
vsize: 36732
[startup+190.004 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 17108
Raw data (stat): 17108 (pb2sat-v2) R 17107 20224 20223 0 -1 0 12678 0 0 0 18947 53 0 0 25 0 1 0 968351944 37883904 6069 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9249 6069 301 301 0 8948 0
vsize: 36996
[startup+200.005 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 17108
Raw data (stat): 17108 (pb2sat-v2) R 17107 20224 20223 0 -1 0 13227 0 0 0 19945 55 0 0 25 0 1 0 968351944 37883904 6553 4294967295 134512640 135730672 3221224576 3221222912 134740276 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9249 6553 301 301 0 8948 0
vsize: 36996
[startup+210.005 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 17108
Raw data (stat): 17108 (pb2sat-v2) R 17107 20224 20223 0 -1 0 13825 0 0 0 20943 58 0 0 25 0 1 0 968351944 38162432 7021 4294967295 134512640 135730672 3221224576 3221222864 134747705 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9317 7021 301 301 0 9016 0
vsize: 37268
[startup+220.005 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 17108
Raw data (stat): 17108 (pb2sat-v2) R 17107 20224 20223 0 -1 0 14007 0 0 0 21942 59 0 0 25 0 1 0 968351944 38162432 7138 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9317 7138 301 301 0 9016 0
vsize: 37268
[startup+230.006 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 17108
Raw data (stat): 17108 (pb2sat-v2) R 17107 20224 20223 0 -1 0 14293 0 0 0 22940 61 0 0 25 0 1 0 968351944 38567936 7229 4294967295 134512640 135730672 3221224576 3221222864 134747808 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9416 7229 301 301 0 9115 0
vsize: 37664
[startup+240.006 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 17108
Raw data (stat): 17108 (pb2sat-v2) R 17107 20224 20223 0 -1 0 14452 0 0 0 23939 62 0 0 25 0 1 0 968351944 38567936 7258 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9416 7258 301 301 0 9115 0
vsize: 37664
[startup+250.005 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 17108
Raw data (stat): 17108 (pb2sat-v2) R 17107 20224 20223 0 -1 0 14553 0 0 0 24938 63 0 0 25 0 1 0 968351944 38707200 7294 4294967295 134512640 135730672 3221224576 3221222864 134747575 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9450 7294 301 301 0 9149 0
vsize: 37800
[startup+260.006 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 17108
Raw data (stat): 17108 (pb2sat-v2) R 17107 20224 20223 0 -1 0 14800 0 0 0 25937 64 0 0 25 0 1 0 968351944 38846464 7346 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9484 7346 301 301 0 9183 0
vsize: 37936
[startup+270.005 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 17108
Raw data (stat): 17108 (pb2sat-v2) R 17107 20224 20223 0 -1 0 15011 0 0 0 26935 66 0 0 25 0 1 0 968351944 39145472 7427 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9557 7427 301 301 0 9256 0
vsize: 38228
[startup+280.005 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 17108
Raw data (stat): 17108 (pb2sat-v2) R 17107 20224 20223 0 -1 0 15201 0 0 0 27934 67 0 0 25 0 1 0 968351944 39301120 7487 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9595 7487 301 301 0 9294 0
vsize: 38380
[startup+290.005 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 17108
Raw data (stat): 17108 (pb2sat-v2) R 17107 20224 20223 0 -1 0 15483 0 0 0 28933 69 0 0 25 0 1 0 968351944 39571456 7574 4294967295 134512640 135730672 3221224576 3221223024 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9661 7574 301 301 0 9360 0
vsize: 38644
[startup+300.006 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 17108
Raw data (stat): 17108 (pb2sat-v2) R 17107 20224 20223 0 -1 0 15796 0 0 0 29930 71 0 0 25 0 1 0 968351944 39829504 7627 4294967295 134512640 135730672 3221224576 3221222972 134747727 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9724 7627 301 301 0 9423 0
vsize: 38896
[startup+310.005 s]
Raw data (loadavg): 1.00 0.97 0.92 2/54 17108
Raw data (stat): 17108 (pb2sat-v2) R 17107 20224 20223 0 -1 0 16618 0 0 0 30926 75 0 0 25 0 1 0 968351944 40095744 7734 4294967295 134512640 135730672 3221224576 3221222720 134772762 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9789 7734 301 301 0 9488 0
vsize: 39156
[startup+310.982 s]
Raw data (loadavg): 1.00 0.97 0.92 1/53 17108
Raw data (stat): 17108 (pb2sat-v2) R 17107 20224 20223 0 -1 0 16618 0 0 0 30926 75 0 0 25 0 1 0 968351944 40095744 7734 4294967295 134512640 135730672 3221224576 3221222720 134772762 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9789 7734 301 301 0 9488 0
vsize: 0

Child status: 30
Real time (s): 310.982
CPU time (s): 310.999
CPU user time (s): 310.22
CPU system time (s): 0.778881
CPU usage (%): 100.005
Max. virtual memory (Kb): 39156
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	-60000
#### END VERIFIER DATA ####