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/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-4.opb
MD5SUM	f6c01aa815aa7b4a79652c8bfa8bef11
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-44
Optimality of the best value was proved	NO
Number of terms in the objective function	1534
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	1534
Number of bits of the sum of numbers in the objective function	11
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	1534
Number of bits of the biggest sum of numbers	11
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.14
Number of variables	1534
Total number of constraints	127011
Number of constraints which are clauses	127011
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	2
Trace number 6030

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc18 THE 2005-04-14 03:10:45 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=4488 boxname=wulflinc18 idbench=352 idsolver=12 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  f6c01aa815aa7b4a79652c8bfa8bef11  /oldhome/oroussel/tmp/wulflinc18/normalized-frb59-26-4.opb
REAL COMMAND:  minisat+ -cb -gs /oldhome/oroussel/tmp/wulflinc18/normalized-frb59-26-4.opb /oldhome/oroussel/tmp/wulflinc18/normalized-frb59-26-4.opb
IDLAUNCH: 4488
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.177
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	: 3
cpu MHz		: 451.177
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:        854180 kB
Buffers:         35272 kB
Cached:         108568 kB
SwapCached:        320 kB
Active:          58860 kB
Inactive:        88192 kB
HighTotal:      131008 kB
HighFree:        18452 kB
LowTotal:       903652 kB
LowFree:        835728 kB
SwapTotal:     2097892 kB
SwapFree:      2097572 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6936 kB
Slab:            27796 kB
Committed_AS:    63700 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-14 03:30:47 (client local time) WITH STATUS 10 IN 1200.23 SECONDS
stats: 4488 7 1200.23 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Parsing PB file...
c Converting 127011 PB-constraints to clauses...
c   -- Unit propagations: (none)
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): ...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |         0 |  127011   254022 |   42337       0        0     nan |  0.000 % |
c ==============================================================================
c [1mFound solution: -39[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:85954     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |         0 |  217724   466825 |   72574       0        0     nan |  0.000 % |
c |       101 |  217100   465520 |   79831      75     1891    25.2 |  0.552 % |
c |       251 |  216142   463482 |   87814     175     2869    16.4 |  1.472 % |
c ==============================================================================
c [1mFound solution: -41[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |       283 |  215895   463068 |   71965     196     3081    15.7 |  1.472 % |
c |       383 |  215282   461707 |   79161     278     3977    14.3 |  2.308 % |
c |       533 |  214159   459226 |   87077     364     4788    13.2 |  3.458 % |
c |       758 |  213006   456739 |   95785     549     6483    11.8 |  4.484 % |
c |      1095 |  209782   449507 |  105363     745     9421    12.6 |  7.724 % |
c |      1601 |  206432   442115 |  115900    1112    13705    12.3 | 10.979 % |
c |      2360 |  201924   431973 |  127490    1602    20009    12.5 | 15.533 % |
c |      3500 |  195490   417458 |  140239    2379    31301    13.2 | 22.054 % |
c |      5208 |  186285   396444 |  154263    3408    43041    12.6 | 31.638 % |
c |      7770 |  173869   367796 |  169689    5209    63334    12.2 | 44.393 % |
c |     11614 |  161751   339183 |  186658    7679    87729    11.4 | 57.565 % |
c ==============================================================================
c [1mFound solution: -42[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     13187 |  157688   329476 |   52562    8663   102201    11.8 | 57.565 % |
c |     13287 |  156933   327666 |   57818    8663   102407    11.8 | 62.822 % |
c |     13437 |  156496   326637 |   63600    8745   104289    11.9 | 63.301 % |
c |     13662 |  155926   325281 |   69960    8819   104473    11.8 | 63.932 % |
c |     13999 |  155223   323650 |   76956    9083   108132    11.9 | 64.683 % |
c |     14505 |  153620   319797 |   84651    9246   108097    11.7 | 66.481 % |
c |     15266 |  152501   317114 |   93116    9748   115430    11.8 | 67.730 % |
c |     16405 |  150344   311979 |  102428   10394   122912    11.8 | 70.057 % |
c |     18113 |  147697   305619 |  112671   11549   139462    12.1 | 72.985 % |
c ==============================================================================
c [1mFound solution: -43[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     18694 |  147539   305334 |   49179   12008   148388    12.4 | 72.985 % |
c |     18794 |  147400   304996 |   54096   12090   148857    12.3 | 73.377 % |
c |     18945 |  146811   303591 |   59506   12125   150381    12.4 | 74.016 % |
c |     19170 |  146618   303111 |   65457   12274   152728    12.4 | 74.244 % |
c |     19507 |  145916   301459 |   72002   12424   155150    12.5 | 75.006 % |
c |     20013 |  145431   300287 |   79203   12767   162117    12.7 | 75.554 % |
c |     20772 |  144765   298681 |   87123   13375   171555    12.8 | 76.309 % |
c |     21911 |  143552   295765 |   95835   14116   185523    13.1 | 77.671 % |
c ==============================================================================
c [1mFound solution: -44[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     23059 |  142709   293706 |   47569   14897   209048    14.0 | 77.671 % |
c |     23159 |  142510   293231 |   52325   14949   209340    14.0 | 78.860 % |
c |     23310 |  142062   292140 |   57558   14929   208787    14.0 | 79.346 % |
c |     23536 |  141876   291690 |   63314   15084   214231    14.2 | 79.559 % |
c |     23873 |  141619   291066 |   69645   15263   216726    14.2 | 79.842 % |
c |     24380 |  141451   290658 |   76610   15623   225005    14.4 | 80.026 % |
c |     25139 |  141389   290517 |   84271   16374   240561    14.7 | 80.090 % |
c |     26278 |  141010   289613 |   92698   17296   268483    15.5 | 80.505 % |
c |     27986 |  140784   289062 |  101968   18835   308966    16.4 | 80.767 % |
c |     30548 |  140209   287664 |  112165   21022   405981    19.3 | 81.421 % |
c ==============================================================================
c [1mFound solution: -45[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     31778 |  139373   285667 |   46457   21842   443937    20.3 | 81.421 % |
c |     31878 |  139276   285430 |   51102   21902   444674    20.3 | 82.494 % |
c |     32029 |  139276   285430 |   56212   22053   447802    20.3 | 82.494 % |
c |     32254 |  139132   285074 |   61834   22160   457327    20.6 | 82.665 % |
c |     32591 |  139096   284980 |   68017   22456   466009    20.8 | 82.711 % |
c |     33097 |  139094   284976 |   74819   22954   500316    21.8 | 82.712 % |
c |     33856 |  139054   284872 |   82301   23600   526498    22.3 | 82.762 % |
c |     34995 |  138920   284556 |   90531   24549   663204    27.0 | 82.909 % |
c ==============================================================================
c [1mFound solution: -46[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     36284 |  138821   284259 |   46273   25668   883732    34.4 | 82.909 % |
c |     36385 |  138694   283953 |   50900   25669   884126    34.4 | 83.174 % |
c |     36536 |  138694   283953 |   55990   25820   891891    34.5 | 83.174 % |
c |     36762 |  138602   283731 |   61589   25934   893650    34.5 | 83.279 % |
c |     37100 |  138554   283617 |   67748   26205   902693    34.4 | 83.333 % |
c |     37606 |  138370   283163 |   74523   26546   924148    34.8 | 83.550 % |
c |     38365 |  138313   283026 |   81975   27113   948062    35.0 | 83.615 % |
c ==============================================================================
c [1mFound solution: -48[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     38791 |  138360   283160 |   46120   27022   836672    31.0 | 83.615 % |
c |     38892 |  138358   283156 |   50732   27122   837742    30.9 | 83.607 % |
c |     39043 |  138332   283094 |   55805   27268   842795    30.9 | 83.636 % |
c |     39268 |  138117   282577 |   61385   27410   845816    30.9 | 83.879 % |
c |     39605 |  138117   282577 |   67524   27747   884440    31.9 | 83.879 % |
c |     40111 |  138075   282477 |   74276   28208   904104    32.1 | 83.926 % |
c |     40870 |  137982   282266 |   81704   28889   956337    33.1 | 84.019 % |
c |     42009 |  137859   281970 |   89874   29943  1018380    34.0 | 84.157 % |
c |     43717 |  137738   281685 |   98862   31588  1206634    38.2 | 84.288 % |
c |     46279 |  137357   280740 |  108748   33696  1418373    42.1 | 84.732 % |
c |     50123 |  137309   280630 |  119623   37526  2132174    56.8 | 84.782 % |
c ==============================================================================
c [1mFound solution: -49[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     55401 |  137127   280197 |   45709   42680  2974708    69.7 | 84.782 % |
c |     55501 |  137127   280197 |   50279   42780  2976346    69.6 | 85.002 % |
c |     55651 |  136978   279835 |   55307   42557  2970739    69.8 | 85.168 % |
c |     55876 |  136978   279835 |   60838   42782  2981811    69.7 | 85.168 % |
c |     56213 |  136946   279745 |   66922   42968  2999837    69.8 | 85.208 % |
c |     56720 |  136769   279322 |   73614   42865  3011417    70.3 | 85.406 % |
c |     57479 |  136682   279123 |   80976   43566  3091567    71.0 | 85.496 % |
c |     58618 |  136682   279123 |   89073   44705  3176085    71.0 | 85.496 % |
c |     60327 |  136677   279112 |   97981   46359  3394772    73.2 | 85.501 % |
c |     62889 |  136606   278935 |  107779   48822  3952476    81.0 | 85.586 % |
c |     66734 |  136606   278935 |  118557   52667  4362427    82.8 | 85.586 % |
c ==============================================================================
c [1mFound solution: -50[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     70484 |  136545   278743 |   45515   56061  4839854    86.3 | 85.586 % |
c |     70585 |  136545   278743 |   50066   56162  4844298    86.3 | 85.659 % |
c |     70735 |  136545   278743 |   55073   56312  4853620    86.2 | 85.659 % |
c |     70965 |  136508   278657 |   60580   56513  4877293    86.3 | 85.698 % |
c |     71302 |  136496   278631 |   66638   56834  4903232    86.3 | 85.709 % |
c |     71808 |  136496   278631 |   73302   57340  4937196    86.1 | 85.709 % |
c |     72567 |  136496   278631 |   80632   58099  4981194    85.7 | 85.709 % |
c |     73706 |  136461   278546 |   88695   59205  5136627    86.8 | 85.749 % |
c |     75418 |  136461   278546 |   97565   60917  5434311    89.2 | 85.749 % |
c |     77980 |  136417   278438 |  107321   63453  5774796    91.0 | 85.799 % |
c |     81824 |  136321   278208 |  118054   67105  6309832    94.0 | 85.907 % |
c |     87590 |  136321   278208 |  129859   72871  7685311   105.5 | 85.907 % |
c |     96241 |  136217   277949 |  142845   81328  9191572   113.0 | 86.031 % |
c |    109215 |  136204   277918 |  157130   94286 11641845   123.5 | 86.046 % |
c ==============================================================================
c [1mFound solution: -51[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |    125220 |  136194   277914 |   45398  110254 16471650   149.4 | 86.046 % |
c |    125320 |  136181   277883 |   49937   20057  4267558   212.8 | 86.113 % |
c |    125470 |  136169   277853 |   54931   20206  4271480   211.4 | 86.113 % |
c |    125697 |  136169   277853 |   60424   20433  4273810   209.2 | 86.113 % |
c |    126034 |  136117   277724 |   66467   20608  4287831   208.1 | 86.174 % |
c |    126540 |  135890   277186 |   73113   21097  4314903   204.5 | 86.423 % |
c |    127299 |  135890   277186 |   80425   21856  4363796   199.7 | 86.423 % |
c |    128438 |  135890   277186 |   88467   22995  4434339   192.8 | 86.423 % |
c |    130146 |  135868   277130 |   97314   24672  4540070   184.0 | 86.451 % |
c |    132709 |  135755   276862 |  107046   27219  4704140   172.8 | 86.574 % |
c |    136554 |  135751   276852 |  117750   31061  5320921   171.3 | 86.579 % |
c |    142320 |  135645   276598 |  129525   36769  5908029   160.7 | 86.698 % |
c |    150969 |  135622   276541 |  142478   45411  7122478   156.8 | 86.725 % |
c |    163943 |  135377   275953 |  156726   58104  8615626   148.3 | 86.995 % |
c |    183404 |  135186   275506 |  172398   77279 11243538   145.5 | 87.201 % |
c |    212596 |  135136   275378 |  189638  106355 16308482   153.3 | 87.262 % |
c |    256385 |  135136   275378 |  208602  150144 24609310   163.9 | 87.262 % |
c 
c *** TERMINATED ***
s SATISFIABLE
v -C1534 -C1533 -C1532 -C1531 -C1530 -C1529 -C1528 -C1527 -C1526 -C1525 -C1524 -C1523 -C1522 -C1521 -C1520 -C1519 -C1518 -C1517 -C1516 -C1515 -C1514 C1513 -C1512 -C1511 -C1510 -C1509 -C1508 -C1507 -C1506 -C1505 -C1504 -C1503 -C1502 -C1501 -C1500 -C1499 -C1498 -C1497 -C1496 -C1495 -C1494 -C1493 -C1492 -C1491 -C1490 -C1489 -C1488 -C1487 -C1486 -C1485 -C1484 C1483 -C1482 -C1481 -C1480 C1479 -C1478 -C1477 -C1476 -C1475 -C1474 -C1473 -C1472 -C1471 -C1470 -C1469 -C1468 -C1467 -C1466 -C1465 -C1464 -C1463 -C1462 -C1461 -C1460 -C1459 -C1458 -C1457 -C1456 C1455 -C1454 -C1453 -C1452 -C1451 -C1450 -C1449 -C1448 -C1447 -C1446 -C1445 -C1444 -C1443 -C1442 -C1441 -C1440 -C1439 -C1438 -C1437 -C1436 -C1435 -C1434 -C1433 -C1432 -C1431 -C1430 -C1429 -C1428 -C1427 -C1426 -C1425 -C1424 C1423 -C1422 -C1421 -C1420 -C1419 -C1418 -C1417 -C1416 -C1415 -C1414 -C1413 -C1412 -C1411 -C1410 -C1409 -C1408 -C1407 -C1406 -C1405 -C1404 -C1403 -C1402 -C1401 -C1400 -C1399 -C1398 -C1397 -C1396 -C1395 -C1394 -C1393 -C1392 -C1391 -C1390 -C1389 -C1388 -C1387 C1386 -C1385 -C1384 -C1383 -C1382 -C1381 -C1380 -C1379 -C1378 -C1377 C1376 -C1375 -C1374 -C1373 -C1372 -C1371 -C1370 -C1369 -C1368 -C1367 -C1366 -C1365 -C1364 -C1363 -C1362 -C1361 -C1360 -C1359 -C1358 -C1357 -C1356 -C1355 -C1354 -C1353 -C1352 -C1351 -C1350 -C1349 -C1348 -C1347 -C1346 -C1345 C1344 -C1343 -C1342 -C1341 -C1340 -C1339 -C1338 -C1337 -C1336 -C1335 -C1334 -C1333 -C1332 -C1331 -C1330 -C1329 -C1328 -C1327 -C1326 -C1325 -C1324 -C1323 -C1322 -C1321 -C1320 -C1319 -C1318 -C1317 -C1316 -C1315 -C1314 -C1313 -C1312 -C1311 -C1310 -C1309 -C1308 -C1307 -C1306 -C1305 -C1304 -C1303 -C1302 -C1301 -C1300 -C1299 -C1298 -C1297 -C1296 -C1295 -C1294 -C1293 -C1292 -C1291 -C1290 -C1289 -C1288 -C1287 -C1286 -C1285 -C1284 -C1283 -C1282 C1281 -C1280 -C1279 -C1278 -C1277 -C1276 -C1275 -C1274 -C1273 -C1272 -C1271 -C1270 -C1269 -C1268 -C1267 -C1266 -C1265 -C1264 -C1263 -C1262 -C1261 -C1260 -C1259 -C1258 -C1257 -C1256 -C1255 -C1254 -C1253 -C1252 C1251 -C1250 -C1249 -C1248 -C1247 -C1246 -C1245 -C1244 C1243 -C1242 -C1241 -C1240 -C1239 -C1238 -C1237 -C1236 -C1235 -C1234 -C1233 -C1232 -C1231 -C1230 -C1229 -C1228 -C1227 -C1226 -C1225 -C1224 -C1223 -C1222 -C1221 -C1220 -C1219 -C1218 -C1217 C1216 -C1215 -C1214 -C1213 -C1212 -C1211 -C1210 -C1209 -C1208 -C1207 -C1206 -C1205 -C1204 -C1203 -C1202 -C1201 -C1200 -C1199 -C1198 -C1197 -C1196 -C1195 -C1194 -C1193 -C1192 -C1191 -C1190 -C1189 -C1188 -C1187 -C1186 -C1185 -C1184 -C1183 -C1182 -C1181 -C1180 -C1179 -C1178 -C1177 C1176 -C1175 -C1174 -C1173 -C1172 -C1171 -C1170 -C1169 -C1168 -C1167 -C1166 -C1165 -C1164 -C1163 -C1162 -C1161 -C1160 -C1159 -C1158 -C1157 -C1156 -C1155 -C1154 -C1153 -C1152 -C1151 -C1150 -C1149 -C1148 -C1147 -C1146 -C1145 -C1144 -C1143 -C1142 C1141 -C1140 -C1139 -C1138 -C1137 -C1136 -C1135 -C1134 -C1133 -C1132 -C1131 -C1130 -C1129 -C1128 -C1127 -C1126 -C1125 -C1124 -C1123 -C1122 -C1121 -C1120 -C1119 -C1118 -C1117 -C1116 -C1115 -C1114 -C1113 -C1112 -C1111 -C1110 -C1109 -C1108 -C1107 -C1106 -C1105 -C1104 -C1103 -C1102 -C1101 -C1100 -C1099 -C1098 -C1097 -C1096 -C1095 -C1094 -C1093 -C1092 -C1091 -C1090 -C1089 -C1088 -C1087 -C1086 -C1085 -C1084 -C1083 -C1082 C1081 -C1080 -C1079 -C1078 -C1077 -C1076 -C1075 -C1074 -C1073 -C1072 -C1071 -C1070 -C1069 -C1068 -C1067 -C1066 -C1065 -C1064 -C1063 -C1062 -C1061 -C1060 C1059 -C1058 -C1057 -C1056 -C1055 -C1054 -C1053 -C1052 -C1051 -C1050 -C1049 -C1048 -C1047 -C1046 -C1045 -C1044 -C1043 -C1042 -C1041 -C1040 -C1039 -C1038 -C1037 -C1036 -C1035 -C1034 -C1033 -C1032 -C1031 -C1030 -C1029 -C1028 -C1027 -C1026 C1025 -C1024 -C1023 -C1022 -C1021 -C1020 -C1019 -C1018 -C1017 -C1016 -C1015 -C1014 -C1013 -C1012 -C1011 -C1010 -C1009 -C1008 -C1007 -C1006 C1005 -C1004 -C1003 -C1002 -C1001 -C1000 -C999 -C998 -C997 -C996 -C995 -C994 -C993 -C992 -C991 -C990 -C989 -C988 -C987 C986 -C985 -C984 -C983 -C982 -C981 -C980 -C979 -C978 -C977 -C976 -C975 -C974 -C973 -C972 -C971 -C970 -C969 -C968 -C967 -C966 -C965 -C964 -C963 -C962 -C961 -C960 -C959 C958 -C957 -C956 -C955 -C954 -C953 -C952 -C951 -C950 -C949 -C948 -C947 -C946 -C945 -C944 -C943 -C942 -C941 -C940 -C939 -C938 -C937 -C936 -C935 C934 -C933 -C932 -C931 -C930 -C929 -C928 -C927 -C926 -C925 -C924 -C923 -C922 -C921 -C920 -C919 -C918 -C917 -C916 -C915 -C914 -C913 -C912 -C911 -C910 -C909 -C908 -C907 C906 -C905 -C904 -C903 -C902 -C901 -C900 -C899 -C898 -C897 -C896 -C895 -C894 -C893 -C892 -C891 -C890 -C889 -C888 -C887 -C886 -C885 -C884 -C883 -C882 -C881 -C880 -C879 -C878 -C877 -C876 -C875 -C874 -C873 -C872 -C871 -C870 -C869 -C868 -C867 -C866 -C865 -C864 -C863 -C862 -C861 C860 -C859 -C858 -C857 -C856 C855 -C854 -C853 -C852 -C851 -C850 -C849 -C848 -C847 -C846 -C845 -C844 -C843 -C842 -C841 -C840 -C839 -C838 -C837 -C836 -C835 -C834 -C833 -C832 -C831 -C830 -C829 -C828 -C827 -C826 C825 -C824 -C823 -C822 -C821 -C820 -C819 -C818 -C817 -C816 -C815 -C814 -C813 -C812 -C811 -C810 -C809 -C808 -C807 -C806 -C805 -C804 -C803 -C802 -C801 -C800 -C799 -C798 -C797 -C796 -C795 -C794 -C793 -C792 -C791 -C790 -C789 -C788 -C787 C786 -C785 -C784 -C783 -C782 -C781 -C780 -C779 -C778 -C777 -C776 -C775 -C774 -C773 -C772 -C771 -C770 -C769 -C768 -C767 C766 -C765 -C764 -C763 -C762 -C761 -C760 -C759 -C758 -C757 -C756 -C755 -C754 -C753 -C752 C751 -C750 -C749 -C748 -C747 -C746 -C745 -C744 -C743 -C742 -C741 -C740 -C739 -C738 -C737 -C736 -C735 -C734 -C733 -C732 -C731 -C730 -C729 -C728 -C727 -C726 -C725 -C724 C723 -C722 -C721 -C720 -C719 -C718 -C717 -C716 -C715 -C714 -C713 -C712 -C711 -C710 -C709 -C708 -C707 -C706 -C705 -C704 -C703 -C702 -C701 -C700 -C699 C698 -C697 -C696 -C695 -C694 -C693 -C692 -C691 -C690 -C689 -C688 -C687 -C686 -C685 -C684 -C683 -C682 -C681 -C680 -C679 -C678 -C677 -C676 -C675 -C674 -C673 -C672 -C671 -C670 C669 -C668 -C667 -C666 -C665 -C664 -C663 -C662 -C661 -C660 -C659 -C658 -C657 -C656 -C655 -C654 -C653 -C652 -C651 -C650 -C649 -C648 -C647 -C646 -C645 -C644 -C643 -C642 -C641 C640 -C639 -C638 -C637 -C636 -C635 -C634 -C633 -C632 -C631 -C630 -C629 -C628 -C627 -C626 -C625 -C624 -C623 -C622 -C621 -C620 -C619 -C618 -C617 -C616 -C615 -C614 -C613 -C612 -C611 -C610 -C609 -C608 -C607 -C606 -C605 -C604 -C603 -C602 C601 -C600 -C599 -C598 -C597 -C596 -C595 -C594 -C593 -C592 -C591 -C590 -C589 -C588 -C587 -C586 -C585 C584 -C583 -C582 -C581 -C580 -C579 -C578 -C577 -C576 -C575 -C574 -C573 -C572 -C571 -C570 -C569 -C568 -C567 -C566 -C565 -C564 -C563 -C562 -C561 -C560 -C559 -C558 -C557 -C556 -C555 -C554 -C553 -C552 -C551 -C550 -C549 -C548 -C547 -C546 -C545 -C544 -C543 -C542 C541 -C540 -C539 -C538 -C537 -C536 -C535 -C534 -C533 -C532 -C531 -C530 -C529 -C528 -C527 -C526 -C525 -C524 -C523 -C522 -C521 -C520 -C519 -C518 -C517 -C516 -C515 -C514 C513 -C512 -C511 -C510 -C509 -C508 -C507 -C506 -C505 -C504 -C503 -C502 -C501 -C500 -C499 -C498 -C497 -C496 -C495 -C494 -C493 -C492 -C491 -C490 -C489 -C488 -C487 -C486 -C485 -C484 -C483 -C482 -C481 -C480 -C479 -C478 -C477 -C476 -C475 -C474 -C473 C472 -C471 -C470 -C469 -C468 -C467 -C466 -C465 -C464 -C463 -C462 -C461 -C460 -C459 -C458 -C457 -C456 -C455 -C454 -C453 -C452 -C451 -C450 -C449 -C448 -C447 -C446 -C445 -C444 -C443 -C442 -C441 -C440 -C439 -C438 -C437 -C436 -C435 -C434 -C433 -C432 -C431 -C430 -C429 -C428 -C427 -C426 -C425 -C424 -C423 -C422 -C421 C420 -C419 -C418 -C417 -C416 C415 -C414 -C413 -C412 -C411 -C410 -C409 -C408 -C407 -C406 -C405 -C404 -C403 -C402 -C401 -C400 -C399 -C398 -C397 -C396 -C395 -C394 -C393 -C392 -C391 -C390 -C389 C388 -C387 -C386 -C385 -C384 -C383 -C382 -C381 -C380 -C379 -C378 -C377 -C376 -C375 -C374 -C373 -C372 -C371 -C370 -C369 -C368 -C367 -C366 -C365 C364 -C363 -C362 -C361 -C360 -C359 -C358 -C357 -C356 -C355 -C354 -C353 -C352 -C351 -C350 -C349 -C348 -C347 -C346 -C345 -C344 -C343 -C342 -C341 -C340 -C339 C338 -C337 -C336 -C335 -C334 -C333 -C332 -C331 -C330 -C329 -C328 -C327 -C326 -C325 -C324 -C323 -C322 -C321 -C320 -C319 -C318 -C317 -C316 -C315 -C314 -C313 -C312 -C311 -C310 -C309 -C308 -C307 -C306 -C305 -C304 -C303 -C302 -C301 -C300 -C299 -C298 -C297 -C296 -C295 -C294 C293 -C292 -C291 -C290 -C289 -C288 -C287 -C286 -C285 C284 -C283 -C282 -C281 -C280 -C279 -C278 -C277 -C276 -C275 -C274 -C273 -C272 -C271 -C270 -C269 -C268 -C267 -C266 -C265 -C264 -C263 -C262 -C261 -C260 -C259 -C258#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.85 0.95 0.90 2/55 29002
Raw data (stat): 29002 (runsolver) R 29001 20024 20023 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 481238683 1052672 99 4294967295 134512640 135381576 3221224448 3221219692 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0002 s]
Raw data (loadavg): 0.87 0.95 0.90 2/55 29002
Raw data (stat): 29002 (minisat+) R 29001 20024 20023 0 -1 0 7073 0 0 0 980 19 0 0 25 0 1 0 481238683 31469568 7051 4294967295 134512640 134672761 3221224560 3221223760 134561967 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7683 7051 603 41 0 7642 0
vsize: 30732
[startup+20.0011 s]
Raw data (loadavg): 0.89 0.96 0.91 2/55 29002
Raw data (stat): 29002 (minisat+) R 29001 20024 20023 0 -1 0 7073 0 0 0 1980 19 0 0 25 0 1 0 481238683 31469568 7051 4294967295 134512640 134672761 3221224560 3221223732 134556667 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7683 7051 603 41 0 7642 0
vsize: 30732
[startup+30.0016 s]
Raw data (loadavg): 0.91 0.96 0.91 2/55 29002
Raw data (stat): 29002 (minisat+) R 29001 20024 20023 0 -1 0 7074 0 0 0 2980 19 0 0 25 0 1 0 481238683 31469568 7052 4294967295 134512640 134672761 3221224560 3221223732 134556598 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7683 7052 603 41 0 7642 0
vsize: 30732
[startup+40.0019 s]
Raw data (loadavg): 0.92 0.96 0.91 2/55 29002
Raw data (stat): 29002 (minisat+) R 29001 20024 20023 0 -1 0 7074 0 0 0 3979 19 0 0 25 0 1 0 481238683 31469568 7052 4294967295 134512640 134672761 3221224560 3221223744 134556675 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7683 7052 603 41 0 7642 0
vsize: 30732
[startup+50.0025 s]
Raw data (loadavg): 0.93 0.96 0.91 2/55 29002
Raw data (stat): 29002 (minisat+) R 29001 20024 20023 0 -1 0 7074 0 0 0 4979 20 0 0 25 0 1 0 481238683 31469568 7052 4294967295 134512640 134672761 3221224560 3221223732 134556598 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7683 7052 603 41 0 7642 0
vsize: 30732
[startup+60.0024 s]
Raw data (loadavg): 0.94 0.96 0.91 2/55 29002
Raw data (stat): 29002 (minisat+) R 29001 20024 20023 0 -1 0 7074 0 0 0 5979 20 0 0 25 0 1 0 481238683 31469568 7052 4294967295 134512640 134672761 3221224560 3221223732 134556598 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7683 7052 603 41 0 7642 0
vsize: 30732
[startup+70.0038 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 29004
Raw data (stat): 29002 (minisat+) R 29001 20024 20023 0 -1 0 7074 0 0 0 6978 21 0 0 25 0 1 0 481238683 31469568 7052 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7683 7052 603 41 0 7642 0
vsize: 30732
[startup+80.0046 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 29004
Raw data (stat): 29002 (minisat+) R 29001 20024 20023 0 -1 0 7074 0 0 0 7978 21 0 0 25 0 1 0 481238683 31469568 7052 4294967295 134512640 134672761 3221224560 3221223732 134556598 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7683 7052 603 41 0 7642 0
vsize: 30732
[startup+90.0041 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 29004
Raw data (stat): 29002 (minisat+) R 29001 20024 20023 0 -1 0 7074 0 0 0 8977 21 0 0 25 0 1 0 481238683 31469568 7052 4294967295 134512640 134672761 3221224560 3221223732 134556641 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7683 7052 603 41 0 7642 0
vsize: 30732
[startup+100.004 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 29004
Raw data (stat): 29002 (minisat+) R 29001 20024 20023 0 -1 0 7074 0 0 0 9977 22 0 0 25 0 1 0 481238683 31469568 7052 4294967295 134512640 134672761 3221224560 3221223732 134556598 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7683 7052 603 41 0 7642 0
vsize: 30732
[startup+110.005 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 29004
Raw data (stat): 29002 (minisat+) R 29001 20024 20023 0 -1 0 7074 0 0 0 10977 22 0 0 25 0 1 0 481238683 31469568 7052 4294967295 134512640 134672761 3221224560 3221223728 134561375 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7683 7052 603 41 0 7642 0
vsize: 30732
[startup+120.006 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 29004
Raw data (stat): 29002 (minisat+) R 29001 20024 20023 0 -1 0 7074 0 0 0 11977 22 0 0 25 0 1 0 481238683 31469568 7052 4294967295 134512640 134672761 3221224560 3221223776 134561999 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7683 7052 603 41 0 7642 0
vsize: 30732
[startup+130.006 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 29004
Raw data (stat): 29002 (minisat+) R 29001 20024 20023 0 -1 0 7074 0 0 0 12977 22 0 0 25 0 1 0 481238683 31469568 7052 4294967295 134512640 134672761 3221224560 3221223776 134561999 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7683 7052 603 41 0 7642 0
vsize: 30732
[startup+140.006 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 29004
Raw data (stat): 29002 (minisat+) R 29001 20024 20023 0 -1 0 7075 0 0 0 13976 23 0 0 25 0 1 0 481238683 31469568 7053 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7683 7053 603 41 0 7642 0
vsize: 30732
[startup+150.007 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 29004
Raw data (stat): 29002 (minisat+) R 29001 20024 20023 0 -1 0 7075 0 0 0 14976 23 0 0 25 0 1 0 481238683 31469568 7053 4294967295 134512640 134672761 3221224560 3221223732 134556598 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7683 7053 603 41 0 7642 0
vsize: 30732
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29004
Raw data (stat): 29002 (minisat+) R 29001 20024 20023 0 -1 0 7104 0 0 0 15975 24 0 0 25 0 1 0 481238683 31592448 7082 4294967295 134512640 134672761 3221224560 3221223744 134556675 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7713 7082 603 41 0 7672 0
vsize: 30852
[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29004
Raw data (stat): 29002 (minisat+) R 29001 20024 20023 0 -1 0 7125 0 0 0 16975 24 0 0 25 0 1 0 481238683 31727616 7103 4294967295 134512640 134672761 3221224560 3221223684 134566054 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7746 7103 603 41 0 7705 0
vsize: 30984
[startup+180.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29004
Raw data (stat): 29002 (minisat+) R 29001 20024 20023 0 -1 0 7225 0 0 0 17975 25 0 0 25 0 1 0 481238683 32247808 7203 4294967295 134512640 134672761 3221224560 3221223744 134558687 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7873 7203 603 41 0 7832 0
vsize: 31492
[startup+190.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29004
Raw data (stat): 29002 (minisat+) R 29001 20024 20023 0 -1 0 7438 0 0 0 18974 25 0 0 25 0 1 0 481238683 33001472 7416 4294967295 134512640 134672761 3221224560 3221223732 134556641 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 8057 7416 603 41 0 8016 0
vsize: 32228
[startup+200.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29004
Raw data (stat): 29002 (minisat+) R 29001 20024 20023 0 -1 0 7921 0 0 0 19972 28 0 0 25 0 1 0 481238683 34959360 7899 4294967295 134512640 134672761 3221224560 3221223728 134560785 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 8535 7899 603 41 0 8494 0
vsize: 34140
[startup+210.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29004
Raw data (stat): 29002 (minisat+) R 29001 20024 20023 0 -1 0 8035 0 0 0 20971 29 0 0 25 0 1 0 481238683 35500032 8013 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 8667 8013 603 41 0 8626 0
vsize: 34668
[startup+220.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29004
Raw data (stat): 29002 (minisat+) R 29001 20024 20023 0 -1 0 8565 0 0 0 21969 30 0 0 25 0 1 0 481238683 37781504 8543 4294967295 134512640 134672761 3221224560 3221223728 134560855 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 9224 8543 603 41 0 9183 0
vsize: 36896
[startup+230.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29004
Raw data (stat): 29002 (minisat+) R 29001 20024 20023 0 -1 0 9312 0 0 0 22968 32 0 0 25 0 1 0 481238683 40734720 9290 4294967295 134512640 134672761 3221224560 3221223684 134566037 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 9945 9290 603 41 0 9904 0
vsize: 39780
[startup+240.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29004
Raw data (stat): 29002 (minisat+) R 29001 20024 20023 0 -1 0 10010 0 0 0 23966 34 0 0 25 0 1 0 481238683 43692032 9988 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 10667 9988 603 41 0 10626 0
vsize: 42668
[startup+250.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29004
Raw data (stat): 29002 (minisat+) R 29001 20024 20023 0 -1 0 10356 0 0 0 24965 35 0 0 25 0 1 0 481238683 44982272 10334 4294967295 134512640 134672761 3221224560 3221223728 134561164 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 10982 10334 603 41 0 10941 0
vsize: 43928
[startup+260.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29004
Raw data (stat): 29002 (minisat+) R 29001 20024 20023 0 -1 0 10989 0 0 0 25963 37 0 0 25 0 1 0 481238683 47665152 10967 4294967295 134512640 134672761 3221224560 3221223728 134561021 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11637 10967 603 41 0 11596 0
vsize: 46548
[startup+270.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29004
Raw data (stat): 29002 (minisat+) R 29001 20024 20023 0 -1 0 11563 0 0 0 26962 38 0 0 25 0 1 0 481238683 49942528 11541 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 12193 11541 603 41 0 12152 0
vsize: 48772
[startup+280.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29004
Raw data (stat): 29002 (minisat+) R 29001 20024 20023 0 -1 0 12066 0 0 0 27960 40 0 0 25 0 1 0 481238683 51957760 12044 4294967295 134512640 134672761 3221224560 3221223760 134557895 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 12685 12044 603 41 0 12644 0
vsize: 50740
[startup+290.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29004
Raw data (stat): 29002 (minisat+) R 29001 20024 20023 0 -1 0 12402 0 0 0 28959 42 0 0 25 0 1 0 481238683 53358592 12380 4294967295 134512640 134672761 3221224560 3221223760 134557922 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 13027 12380 603 41 0 12986 0
vsize: 52108
[startup+300.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29004
Raw data (stat): 29002 (minisat+) R 29001 20024 20023 0 -1 0 12916 0 0 0 29957 43 0 0 25 0 1 0 481238683 55513088 12894 4294967295 134512640 134672761 3221224560 3221223744 134559625 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 13553 12894 603 41 0 13512 0
vsize: 54212
[startup+310.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29004
Raw data (stat): 29002 (minisat+) R 29001 20024 20023 0 -1 0 13296 0 0 0 30956 45 0 0 25 0 1 0 481238683 56995840 13274 4294967295 134512640 134672761 3221224560 3221223728 134560988 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 13915 13274 603 41 0 13874 0
vsize: 55660
[startup+320.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29004
Raw data (stat): 29002 (minisat+) R 29001 20024 20023 0 -1 0 13776 0 0 0 31955 46 0 0 25 0 1 0 481238683 59277312 13754 4294967295 134512640 134672761 3221224560 3221223728 134561021 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 14472 13754 603 41 0 14431 0
vsize: 57888
[startup+330.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29004
Raw data (stat): 29002 (minisat+) R 29001 20024 20023 0 -1 0 14396 0 0 0 32953 48 0 0 25 0 1 0 481238683 61812736 14374 4294967295 134512640 134672761 3221224560 3221223664 134559862 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 15091 14374 603 41 0 15050 0
vsize: 60364
[startup+340.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29004
Raw data (stat): 29002 (minisat+) R 29001 20024 20023 0 -1 0 15027 0 0 0 33951 50 0 0 25 0 1 0 481238683 64372736 15005 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 15716 15005 603 41 0 15675 0
vsize: 62864
[startup+350.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29004
Raw data (stat): 29002 (minisat+) R 29001 20024 20023 0 -1 0 15457 0 0 0 34949 52 0 0 25 0 1 0 481238683 66113536 15435 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16141 15435 603 41 0 16100 0
vsize: 64564
[startup+360.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29004
Raw data (stat): 29002 (minisat+) R 29001 20024 20023 0 -1 0 15850 0 0 0 35948 54 0 0 25 0 1 0 481238683 67731456 15828 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16536 15828 603 41 0 16495 0
vsize: 66144
[startup+370.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29006
Raw data (stat): 29002 (minisat+) R 29001 20024 20023 0 -1 0 16320 0 0 0 36946 55 0 0 25 0 1 0 481238683 69607424 16298 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16994 16298 603 41 0 16953 0
vsize: 67976
[startup+380.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29006
Raw data (stat): 29002 (minisat+) R 29001 20024 20023 0 -1 0 16769 0 0 0 37945 56 0 0 25 0 1 0 481238683 71483392 16747 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 17452 16747 603 41 0 17411 0
vsize: 69808
[startup+390.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29006
Raw data (stat): 29002 (minisat+) R 29001 20024 20023 0 -1 0 17197 0 0 0 38944 58 0 0 25 0 1 0 481238683 73101312 17175 4294967295 134512640 134672761 3221224560 3221223744 134559354 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 17847 17175 603 41 0 17806 0
vsize: 71388
[startup+400.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29006
Raw data (stat): 29002 (minisat+) R 29001 20024 20023 0 -1 0 17678 0 0 0 39942 60 0 0 25 0 1 0 481238683 75116544 17656 4294967295 134512640 134672761 3221224560 3221223716 134561241 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 18339 17656 603 41 0 18298 0
vsize: 73356
[startup+410.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29006
Raw data (stat): 29002 (minisat+) R 29001 20024 20023 0 -1 0 18055 0 0 0 40940 61 0 0 25 0 1 0 481238683 76599296 18033 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 18701 18033 603 41 0 18660 0
vsize: 74804
[startup+420.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29006
Raw data (stat): 29002 (minisat+) R 29001 20024 20023 0 -1 0 18523 0 0 0 41939 63 0 0 25 0 1 0 481238683 78614528 18501 4294967295 134512640 134672761 3221224560 3221223728 134560940 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19193 18501 603 41 0 19152 0
vsize: 76772
[startup+430.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29006
Raw data (stat): 29002 (minisat+) R 29001 20024 20023 0 -1 0 18977 0 0 0 42938 64 0 0 25 0 1 0 481238683 80478208 18955 4294967295 134512640 134672761 3221224560 3221223664 134560514 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19648 18955 603 41 0 19607 0
vsize: 78592
[startup+440.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29006
Raw data (stat): 29002 (minisat+) R 29001 20024 20023 0 -1 0 19350 0 0 0 43937 65 0 0 25 0 1 0 481238683 81948672 19328 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 20007 19328 603 41 0 19966 0
vsize: 80028
[startup+450.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29006
Raw data (stat): 29002 (minisat+) R 29001 20024 20023 0 -1 0 19795 0 0 0 44936 66 0 0 25 0 1 0 481238683 83701760 19773 4294967295 134512640 134672761 3221224560 3221223696 134565092 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 20435 19773 603 41 0 20394 0
vsize: 81740
[startup+460.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29006
Raw data (stat): 29002 (minisat+) R 29001 20024 20023 0 -1 0 20314 0 0 0 45935 68 0 0 25 0 1 0 481238683 85848064 20292 4294967295 134512640 134672761 3221224560 3221223664 134560350 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 20959 20292 603 41 0 20918 0
vsize: 83836
[startup+470.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29006
Raw data (stat): 29002 (minisat+) R 29001 20024 20023 0 -1 0 20851 0 0 0 46933 70 0 0 25 0 1 0 481238683 88109056 20829 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 21511 20829 603 41 0 21470 0
vsize: 86044
[startup+480.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29006
Raw data (stat): 29002 (minisat+) R 29001 20024 20023 0 -1 0 21416 0 0 0 47931 72 0 0 25 0 1 0 481238683 90390528 21394 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22068 21394 603 41 0 22027 0
vsize: 88272
[startup+490.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29006
Raw data (stat): 29002 (minisat+) R 29001 20024 20023 0 -1 0 21993 0 0 0 48930 73 0 0 25 0 1 0 481238683 92794880 21971 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22655 21971 603 41 0 22614 0
vsize: 90620
[startup+500.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29006
Raw data (stat): 29002 (minisat+) R 29001 20024 20023 0 -1 0 22508 0 0 0 49928 75 0 0 25 0 1 0 481238683 94793728 22486 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 23143 22486 603 41 0 23102 0
vsize: 92572
[startup+510.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29006
Raw data (stat): 29002 (minisat+) R 29001 20024 20023 0 -1 0 22931 0 0 0 50927 76 0 0 25 0 1 0 481238683 96509952 22909 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 23562 22909 603 41 0 23521 0
vsize: 94248
[startup+520.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29006
Raw data (stat): 29002 (minisat+) R 29001 20024 20023 0 -1 0 23379 0 0 0 51926 77 0 0 25 0 1 0 481238683 98381824 23357 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24019 23357 603 41 0 23978 0
vsize: 96076
[startup+530.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29006
Raw data (stat): 29002 (minisat+) R 29001 20024 20023 0 -1 0 23879 0 0 0 52924 79 0 0 25 0 1 0 481238683 100380672 23857 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24507 23857 603 41 0 24466 0
vsize: 98028
[startup+540.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29006
Raw data (stat): 29002 (minisat+) R 29001 20024 20023 0 -1 0 24223 0 0 0 53924 80 0 0 25 0 1 0 481238683 101814272 24201 4294967295 134512640 134672761 3221224560 3221223732 134556651 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24857 24201 603 41 0 24816 0
vsize: 99428
[startup+550.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29006
Raw data (stat): 29002 (minisat+) R 29001 20024 20023 0 -1 0 24223 0 0 0 54924 80 0 0 25 0 1 0 481238683 101814272 24201 4294967295 134512640 134672761 3221224560 3221223760 134557911 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24857 24201 603 41 0 24816 0
vsize: 99428
[startup+560.023 s]
Raw data (loadavg): 1.07 0.99 0.91 2/55 29006
Raw data (stat): 29002 (minisat+) R 29001 20024 20023 0 -1 0 24223 0 0 0 55923 80 0 0 25 0 1 0 481238683 101814272 24201 4294967295 134512640 134672761 3221224560 3221223744 134559045 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24857 24201 603 41 0 24816 0
vsize: 99428
[startup+570.024 s]
Raw data (loadavg): 1.06 0.99 0.91 2/55 29006
Raw data (stat): 29002 (minisat+) R 29001 20024 20023 0 -1 0 24223 0 0 0 56924 80 0 0 25 0 1 0 481238683 101814272 24201 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24857 24201 603 41 0 24816 0
vsize: 99428
[startup+580.024 s]
Raw data (loadavg): 1.05 0.99 0.91 2/55 29006
Raw data (stat): 29002 (minisat+) R 29001 20024 20023 0 -1 0 24223 0 0 0 57924 80 0 0 25 0 1 0 481238683 101814272 24201 4294967295 134512640 134672761 3221224560 3221223732 134556653 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24857 24201 603 41 0 24816 0
vsize: 99428
[startup+590.024 s]
Raw data (loadavg): 1.04 0.99 0.91 2/55 29006
Raw data (stat): 29002 (minisat+) R 29001 20024 20023 0 -1 0 24223 0 0 0 58924 80 0 0 25 0 1 0 481238683 101814272 24201 4294967295 134512640 134672761 3221224560 3221223760 134557895 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24857 24201 603 41 0 24816 0
vsize: 99428
[startup+600.025 s]
Raw data (loadavg): 1.03 0.99 0.91 2/55 29006
Raw data (stat): 29002 (minisat+) R 29001 20024 20023 0 -1 0 24223 0 0 0 59924 80 0 0 25 0 1 0 481238683 101814272 24201 4294967295 134512640 134672761 3221224560 3221223732 134556634 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24857 24201 603 41 0 24816 0
vsize: 99428
[startup+610.025 s]
Raw data (loadavg): 1.03 0.99 0.91 2/55 29006
Raw data (stat): 29002 (minisat+) R 29001 20024 20023 0 -1 0 24223 0 0 0 60924 80 0 0 25 0 1 0 481238683 101814272 24201 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24857 24201 603 41 0 24816 0
vsize: 99428
[startup+620.025 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 29006
Raw data (stat): 29002 (minisat+) R 29001 20024 20023 0 -1 0 24223 0 0 0 61924 80 0 0 25 0 1 0 481238683 101814272 24201 4294967295 134512640 134672761 3221224560 3221223732 134556634 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24857 24201 603 41 0 24816 0
vsize: 99428
[startup+630.025 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 29006
Raw data (stat): 29002 (minisat+) R 29001 20024 20023 0 -1 0 24223 0 0 0 62924 81 0 0 25 0 1 0 481238683 101814272 24201 4294967295 134512640 134672761 3221224560 3221223760 134557809 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24857 24201 603 41 0 24816 0
vsize: 99428
[startup+640.024 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 29006
Raw data (stat): 29002 (minisat+) R 29001 20024 20023 0 -1 0 24223 0 0 0 63924 81 0 0 25 0 1 0 481238683 101814272 24201 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24857 24201 603 41 0 24816 0
vsize: 99428
[startup+650.024 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 29006
Raw data (stat): 29002 (minisat+) R 29001 20024 20023 0 -1 0 24223 0 0 0 64924 81 0 0 25 0 1 0 481238683 101814272 24201 4294967295 134512640 134672761 3221224560 3221223664 134560235 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24857 24201 603 41 0 24816 0
vsize: 99428
[startup+660.025 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 29006
Raw data (stat): 29002 (minisat+) R 29001 20024 20023 0 -1 0 24223 0 0 0 65924 81 0 0 25 0 1 0 481238683 101814272 24201 4294967295 134512640 134672761 3221224560 3221223732 134556634 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24857 24201 603 41 0 24816 0
vsize: 99428
[startup+670.025 s]
Raw data (loadavg): 1.01 0.99 0.91 3/55 29008
Raw data (stat): 29002 (minisat+) R 29001 20024 20023 0 -1 0 24223 0 0 0 66924 81 0 0 25 0 1 0 481238683 101814272 24201 4294967295 134512640 134672761 3221224560 3221223728 134560867 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24857 24201 603 41 0 24816 0
vsize: 99428
[startup+680.025 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 29008
Raw data (stat): 29002 (minisat+) R 29001 20024 20023 0 -1 0 24223 0 0 0 67924 81 0 0 25 0 1 0 481238683 101814272 24201 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24857 24201 603 41 0 24816 0
vsize: 99428
[startup+690.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 29008
Raw data (stat): 29002 (minisat+) R 29001 20024 20023 0 -1 0 24223 0 0 0 68925 81 0 0 25 0 1 0 481238683 101814272 24201 4294967295 134512640 134672761 3221224560 3221223696 134560677 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24857 24201 603 41 0 24816 0
vsize: 99428
[startup+700.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 29008
Raw data (stat): 29002 (minisat+) R 29001 20024 20023 0 -1 0 24223 0 0 0 69925 81 0 0 25 0 1 0 481238683 101814272 24201 4294967295 134512640 134672761 3221224560 3221223732 134556641 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24857 24201 603 41 0 24816 0
vsize: 99428
[startup+710.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 29008
Raw data (stat): 29002 (minisat+) R 29001 20024 20023 0 -1 0 24223 0 0 0 70925 81 0 0 25 0 1 0 481238683 101814272 24201 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24857 24201 603 41 0 24816 0
vsize: 99428
[startup+720.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 29008
Raw data (stat): 29002 (minisat+) R 29001 20024 20023 0 -1 0 24223 0 0 0 71925 81 0 0 25 0 1 0 481238683 101814272 24201 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24857 24201 603 41 0 24816 0
vsize: 99428
[startup+730.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 29008
Raw data (stat): 29002 (minisat+) R 29001 20024 20023 0 -1 0 24223 0 0 0 72925 81 0 0 25 0 1 0 481238683 101814272 24201 4294967295 134512640 134672761 3221224560 3221223700 134560556 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24857 24201 603 41 0 24816 0
vsize: 99428
[startup+740.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 29008
Raw data (stat): 29002 (minisat+) R 29001 20024 20023 0 -1 0 24223 0 0 0 73925 81 0 0 25 0 1 0 481238683 101814272 24201 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24857 24201 603 41 0 24816 0
vsize: 99428
[startup+750.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 29008
Raw data (stat): 29002 (minisat+) R 29001 20024 20023 0 -1 0 24223 0 0 0 74925 81 0 0 25 0 1 0 481238683 101814272 24201 4294967295 134512640 134672761 3221224560 3221223744 134558768 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24857 24201 603 41 0 24816 0
vsize: 99428
[startup+760.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 29008
Raw data (stat): 29002 (minisat+) R 29001 20024 20023 0 -1 0 24223 0 0 0 75925 81 0 0 25 0 1 0 481238683 101814272 24201 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24857 24201 603 41 0 24816 0
vsize: 99428
[startup+770.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 29008
Raw data (stat): 29002 (minisat+) R 29001 20024 20023 0 -1 0 24223 0 0 0 76926 81 0 0 25 0 1 0 481238683 101814272 24201 4294967295 134512640 134672761 3221224560 3221223728 134560895 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24857 24201 603 41 0 24816 0
vsize: 99428
[startup+780.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 29008
Raw data (stat): 29002 (minisat+) R 29001 20024 20023 0 -1 0 24223 0 0 0 77926 82 0 0 25 0 1 0 481238683 101814272 24201 4294967295 134512640 134672761 3221224560 3221223576 1075353074 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24857 24201 603 41 0 24816 0
vsize: 99428
[startup+790.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 29008
Raw data (stat): 29002 (minisat+) R 29001 20024 20023 0 -1 0 24223 0 0 0 78926 82 0 0 25 0 1 0 481238683 101814272 24201 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24857 24201 603 41 0 24816 0
vsize: 99428
[startup+800.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 29008
Raw data (stat): 29002 (minisat+) R 29001 20024 20023 0 -1 0 24223 0 0 0 79926 82 0 0 25 0 1 0 481238683 101814272 24201 4294967295 134512640 134672761 3221224560 3221223728 134560999 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24857 24201 603 41 0 24816 0
vsize: 99428
[startup+810.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 29008
Raw data (stat): 29002 (minisat+) R 29001 20024 20023 0 -1 0 24223 0 0 0 80926 82 0 0 25 0 1 0 481238683 101814272 24201 4294967295 134512640 134672761 3221224560 3221223744 134559498 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24857 24201 603 41 0 24816 0
vsize: 99428
[startup+820.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 29008
Raw data (stat): 29002 (minisat+) R 29001 20024 20023 0 -1 0 24223 0 0 0 81926 82 0 0 25 0 1 0 481238683 101814272 24201 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24857 24201 603 41 0 24816 0
vsize: 99428
[startup+830.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 29008
Raw data (stat): 29002 (minisat+) R 29001 20024 20023 0 -1 0 24223 0 0 0 82926 82 0 0 25 0 1 0 481238683 101814272 24201 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24857 24201 603 41 0 24816 0
vsize: 99428
[startup+840.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 29008
Raw data (stat): 29002 (minisat+) R 29001 20024 20023 0 -1 0 24449 0 0 0 83925 83 0 0 25 0 1 0 481238683 102748160 24427 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 25085 24427 603 41 0 25044 0
vsize: 100340
[startup+850.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 29008
Raw data (stat): 29002 (minisat+) R 29001 20024 20023 0 -1 0 24759 0 0 0 84924 84 0 0 25 0 1 0 481238683 104091648 24737 4294967295 134512640 134672761 3221224560 3221223728 134560903 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 25413 24737 603 41 0 25372 0
vsize: 101652
[startup+860.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 29008
Raw data (stat): 29002 (minisat+) R 29001 20024 20023 0 -1 0 25104 0 0 0 85923 86 0 0 25 0 1 0 481238683 105410560 25082 4294967295 134512640 134672761 3221224560 3221223776 134558178 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 25735 25083 603 41 0 25694 0
vsize: 102940
[startup+870.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 29008
Raw data (stat): 29002 (minisat+) R 29001 20024 20023 0 -1 0 25452 0 0 0 86922 87 0 0 25 0 1 0 481238683 106881024 25430 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26094 25430 603 41 0 26053 0
vsize: 104376
[startup+880.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 29008
Raw data (stat): 29002 (minisat+) R 29001 20024 20023 0 -1 0 25740 0 0 0 87921 89 0 0 25 0 1 0 481238683 108093440 25718 4294967295 134512640 134672761 3221224560 3221223728 134560876 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26390 25718 603 41 0 26349 0
vsize: 105560
[startup+890.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 29008
Raw data (stat): 29002 (minisat+) R 29001 20024 20023 0 -1 0 26055 0 0 0 88920 90 0 0 25 0 1 0 481238683 109301760 26033 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26685 26033 603 41 0 26644 0
vsize: 106740
[startup+900.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 29008
Raw data (stat): 29002 (minisat+) R 29001 20024 20023 0 -1 0 26425 0 0 0 89918 92 0 0 25 0 1 0 481238683 110776320 26403 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 27045 26403 603 41 0 27004 0
vsize: 108180
[startup+910.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 29008
Raw data (stat): 29002 (minisat+) R 29001 20024 20023 0 -1 0 26734 0 0 0 90917 92 0 0 25 0 1 0 481238683 112111616 26712 4294967295 134512640 134672761 3221224560 3221223728 134560830 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 27371 26712 603 41 0 27330 0
vsize: 109484
[startup+920.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 29008
Raw data (stat): 29002 (minisat+) R 29001 20024 20023 0 -1 0 27034 0 0 0 91917 93 0 0 25 0 1 0 481238683 113319936 27012 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 27666 27012 603 41 0 27625 0
vsize: 110664
[startup+930.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 29008
Raw data (stat): 29002 (minisat+) R 29001 20024 20023 0 -1 0 27460 0 0 0 92915 95 0 0 25 0 1 0 481238683 115052544 27438 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28089 27438 603 41 0 28048 0
vsize: 112356
[startup+940.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 29008
Raw data (stat): 29002 (minisat+) R 29001 20024 20023 0 -1 0 27779 0 0 0 93914 96 0 0 25 0 1 0 481238683 116391936 27757 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28416 27757 603 41 0 28375 0
vsize: 113664
[startup+950.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 29008
Raw data (stat): 29002 (minisat+) R 29001 20024 20023 0 -1 0 28090 0 0 0 94913 97 0 0 25 0 1 0 481238683 117596160 28068 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28710 28068 603 41 0 28669 0
vsize: 114840
[startup+960.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 29008
Raw data (stat): 29002 (minisat+) R 29001 20024 20023 0 -1 0 28396 0 0 0 95913 98 0 0 25 0 1 0 481238683 118923264 28374 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 29034 28374 603 41 0 28993 0
vsize: 116136
[startup+970.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 29010
Raw data (stat): 29002 (minisat+) R 29001 20024 20023 0 -1 0 28689 0 0 0 96913 98 0 0 25 0 1 0 481238683 120643584 28667 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 29454 28667 603 41 0 29413 0
vsize: 117816
[startup+980.036 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 29010
Raw data (stat): 29002 (minisat+) R 29001 20024 20023 0 -1 0 28985 0 0 0 97912 99 0 0 25 0 1 0 481238683 121831424 28963 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 29744 28963 603 41 0 29703 0
vsize: 118976
[startup+990.036 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 29010
Raw data (stat): 29002 (minisat+) R 29001 20024 20023 0 -1 0 29348 0 0 0 98911 100 0 0 25 0 1 0 481238683 123289600 29326 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 30100 29326 603 41 0 30059 0
vsize: 120400
[startup+1000.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 29010
Raw data (stat): 29002 (minisat+) R 29001 20024 20023 0 -1 0 29625 0 0 0 99911 101 0 0 25 0 1 0 481238683 124342272 29603 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 30357 29603 603 41 0 30316 0
vsize: 121428
[startup+1010.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 29010
Raw data (stat): 29002 (minisat+) R 29001 20024 20023 0 -1 0 29892 0 0 0 100910 102 0 0 25 0 1 0 481238683 125534208 29870 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 30648 29870 603 41 0 30607 0
vsize: 122592
[startup+1020.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 29010
Raw data (stat): 29002 (minisat+) R 29001 20024 20023 0 -1 0 30166 0 0 0 101910 102 0 0 25 0 1 0 481238683 126603264 30144 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 30909 30144 603 41 0 30868 0
vsize: 123636
[startup+1030.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 29010
Raw data (stat): 29002 (minisat+) R 29001 20024 20023 0 -1 0 30461 0 0 0 102909 103 0 0 25 0 1 0 481238683 127799296 30439 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 31201 30439 603 41 0 31160 0
vsize: 124804
[startup+1040.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 29010
Raw data (stat): 29002 (minisat+) R 29001 20024 20023 0 -1 0 30764 0 0 0 103908 104 0 0 25 0 1 0 481238683 129003520 30742 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 31495 30742 603 41 0 31454 0
vsize: 125980
[startup+1050.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 29010
Raw data (stat): 29002 (minisat+) R 29001 20024 20023 0 -1 0 31023 0 0 0 104908 104 0 0 25 0 1 0 481238683 130064384 31001 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 31754 31001 603 41 0 31713 0
vsize: 127016
[startup+1060.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 29010
Raw data (stat): 29002 (minisat+) R 29001 20024 20023 0 -1 0 31304 0 0 0 105907 105 0 0 25 0 1 0 481238683 131280896 31282 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 32051 31282 603 41 0 32010 0
vsize: 128204
[startup+1070.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 29010
Raw data (stat): 29002 (minisat+) R 29001 20024 20023 0 -1 0 31561 0 0 0 106907 106 0 0 25 0 1 0 481238683 132358144 31539 4294967295 134512640 134672761 3221224560 3221223724 134561235 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 32314 31539 603 41 0 32273 0
vsize: 129256
[startup+1080.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 29010
Raw data (stat): 29002 (minisat+) R 29001 20024 20023 0 -1 0 31839 0 0 0 107906 107 0 0 25 0 1 0 481238683 133419008 31817 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 32573 31817 603 41 0 32532 0
vsize: 130292
[startup+1090.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 29010
Raw data (stat): 29002 (minisat+) R 29001 20024 20023 0 -1 0 32097 0 0 0 108905 108 0 0 25 0 1 0 481238683 134475776 32075 4294967295 134512640 134672761 3221224560 3221223664 134559896 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 32831 32075 603 41 0 32790 0
vsize: 131324
[startup+1100.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 29010
Raw data (stat): 29002 (minisat+) R 29001 20024 20023 0 -1 0 32359 0 0 0 109904 109 0 0 25 0 1 0 481238683 135528448 32337 4294967295 134512640 134672761 3221224560 3221223728 134561154 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 33088 32337 603 41 0 33047 0
vsize: 132352
[startup+1110.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 29010
Raw data (stat): 29002 (minisat+) R 29001 20024 20023 0 -1 0 32617 0 0 0 110904 109 0 0 25 0 1 0 481238683 136593408 32595 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 33348 32595 603 41 0 33307 0
vsize: 133392
[startup+1120.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 29010
Raw data (stat): 29002 (minisat+) R 29001 20024 20023 0 -1 0 32837 0 0 0 111903 110 0 0 25 0 1 0 481238683 137510912 32815 4294967295 134512640 134672761 3221224560 3221223728 134560830 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 33572 32815 603 41 0 33531 0
vsize: 134288
[startup+1130.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 29010
Raw data (stat): 29002 (minisat+) R 29001 20024 20023 0 -1 0 33125 0 0 0 112902 112 0 0 25 0 1 0 481238683 138723328 33103 4294967295 134512640 134672761 3221224560 3221223760 134557895 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 33868 33103 603 41 0 33827 0
vsize: 135472
[startup+1140.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 29010
Raw data (stat): 29002 (minisat+) R 29001 20024 20023 0 -1 0 33461 0 0 0 113901 112 0 0 25 0 1 0 481238683 140058624 33439 4294967295 134512640 134672761 3221224560 3221223684 134566034 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 34194 33439 603 41 0 34153 0
vsize: 136776
[startup+1150.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 29010
Raw data (stat): 29002 (minisat+) R 29001 20024 20023 0 -1 0 33762 0 0 0 114900 114 0 0 25 0 1 0 481238683 141389824 33740 4294967295 134512640 134672761 3221224560 3221223712 134561244 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 34519 33740 603 41 0 34478 0
vsize: 138076
[startup+1160.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 29010
Raw data (stat): 29002 (minisat+) R 29001 20024 20023 0 -1 0 33998 0 0 0 115900 114 0 0 25 0 1 0 481238683 142323712 33976 4294967295 134512640 134672761 3221224560 3221223716 134561241 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 34747 33976 603 41 0 34706 0
vsize: 138988
[startup+1170.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 29010
Raw data (stat): 29002 (minisat+) R 29001 20024 20023 0 -1 0 34281 0 0 0 116898 116 0 0 25 0 1 0 481238683 143380480 34259 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 35005 34259 603 41 0 34964 0
vsize: 140020
[startup+1180.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 29010
Raw data (stat): 29002 (minisat+) R 29001 20024 20023 0 -1 0 34587 0 0 0 117898 117 0 0 25 0 1 0 481238683 144728064 34565 4294967295 134512640 134672761 3221224560 3221223664 134560318 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 35334 34565 603 41 0 35293 0
vsize: 141336
[startup+1190.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 29010
Raw data (stat): 29002 (minisat+) R 29001 20024 20023 0 -1 0 34861 0 0 0 118897 118 0 0 25 0 1 0 481238683 145788928 34839 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 35593 34839 603 41 0 35552 0
vsize: 142372
[startup+1200.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 29010
Raw data (stat): 29002 (minisat+) R 29001 20024 20023 0 -1 0 35046 0 0 0 119896 119 0 0 25 0 1 0 481238683 146595840 35024 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 35790 35024 603 41 0 35749 0
vsize: 143160
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.11 s]
Raw data (loadavg): 1.00 0.99 0.91 1/55 29010
Raw data (stat): 29002 (minisat+) Z 29001 20024 20023 0 -1 12 35049 0 0 0 119896 125 0 0 25 0 1 0 481238683 0 0 4294967295 0 0 0 0 0 0 16384 5 16386 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): 1200.11
CPU time (s): 1200.23
CPU user time (s): 1198.97
CPU system time (s): 1.25581
CPU usage (%): 100.009
Max. virtual memory (Kb): 143160
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####