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 5062

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc9 THE 2005-04-13 21:51:29 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3164 boxname=wulflinc9 idbench=352 idsolver=5 numberseed=0
MD5SUM SOLVER: 1d62365061f6d70b1a242542b016b2e4  /oldhome/oroussel/solvers/minisat+
MD5SUM BENCH:  f6c01aa815aa7b4a79652c8bfa8bef11  /oldhome/oroussel/tmp/wulflinc9/normalized-frb59-26-4.opb
REAL COMMAND:  minisat+ /oldhome/oroussel/tmp/wulflinc9/normalized-frb59-26-4.opb
IDLAUNCH: 3164
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
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:        906676 kB
Buffers:         34060 kB
Cached:          73496 kB
SwapCached:        564 kB
Active:          53260 kB
Inactive:        57728 kB
HighTotal:      131008 kB
HighFree:        53564 kB
LowTotal:       903652 kB
LowFree:        853112 kB
SwapTotal:     2097136 kB
SwapFree:      2096572 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6928 kB
Slab:            11340 kB
Committed_AS:    63484 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-13 22:11:31 (client local time) WITH STATUS 10 IN 1200.49 SECONDS
stats: 3164 7 1200.49 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.93 0.97 0.91 2/54 723
Raw data (stat): 723 (runsolver) R 722 30854 30853 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 421109132 1052672 99 4294967295 134512640 135381576 3221224528 3221219772 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0004 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 723
Raw data (stat): 723 (minisat+) R 722 30854 30853 0 -1 0 7166 0 0 0 977 21 0 0 25 0 1 0 421109132 31866880 7144 4294967295 134512640 134672761 3221224640 3221223808 134560869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7780 7144 603 41 0 7739 0
vsize: 31120
[startup+20 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 723
Raw data (stat): 723 (minisat+) R 722 30854 30853 0 -1 0 7166 0 0 0 1977 21 0 0 25 0 1 0 421109132 31866880 7144 4294967295 134512640 134672761 3221224640 3221223812 134556598 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7780 7144 603 41 0 7739 0
vsize: 31120
[startup+30.0006 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 723
Raw data (stat): 723 (minisat+) R 722 30854 30853 0 -1 0 7167 0 0 0 2977 21 0 0 25 0 1 0 421109132 31866880 7145 4294967295 134512640 134672761 3221224640 3221223856 134561993 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7780 7145 603 41 0 7739 0
vsize: 31120
[startup+40.0009 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 723
Raw data (stat): 723 (minisat+) R 722 30854 30853 0 -1 0 7167 0 0 0 3977 21 0 0 25 0 1 0 421109132 31866880 7145 4294967295 134512640 134672761 3221224640 3221223812 134556598 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7780 7145 603 41 0 7739 0
vsize: 31120
[startup+50.0013 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 723
Raw data (stat): 723 (minisat+) R 722 30854 30853 0 -1 0 7167 0 0 0 4977 21 0 0 25 0 1 0 421109132 31866880 7145 4294967295 134512640 134672761 3221224640 3221223812 134556688 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7780 7145 603 41 0 7739 0
vsize: 31120
[startup+60.0008 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 723
Raw data (stat): 723 (minisat+) R 722 30854 30853 0 -1 0 7167 0 0 0 5977 21 0 0 25 0 1 0 421109132 31866880 7145 4294967295 134512640 134672761 3221224640 3221223812 134556598 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7780 7145 603 41 0 7739 0
vsize: 31120
[startup+70.0009 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 723
Raw data (stat): 723 (minisat+) R 722 30854 30853 0 -1 0 7167 0 0 0 6978 21 0 0 25 0 1 0 421109132 31866880 7145 4294967295 134512640 134672761 3221224640 3221223812 134556688 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7780 7145 603 41 0 7739 0
vsize: 31120
[startup+80.0017 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 723
Raw data (stat): 723 (minisat+) R 722 30854 30853 0 -1 0 7167 0 0 0 7978 21 0 0 25 0 1 0 421109132 31866880 7145 4294967295 134512640 134672761 3221224640 3221223812 134556660 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7780 7145 603 41 0 7739 0
vsize: 31120
[startup+90.0011 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 723
Raw data (stat): 723 (minisat+) R 722 30854 30853 0 -1 0 7167 0 0 0 8978 21 0 0 25 0 1 0 421109132 31866880 7145 4294967295 134512640 134672761 3221224640 3221223808 134560830 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7780 7145 603 41 0 7739 0
vsize: 31120
[startup+100.002 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 723
Raw data (stat): 723 (minisat+) R 722 30854 30853 0 -1 0 7167 0 0 0 9978 21 0 0 25 0 1 0 421109132 31866880 7145 4294967295 134512640 134672761 3221224640 3221223812 134556682 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7780 7145 603 41 0 7739 0
vsize: 31120
[startup+110.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 723
Raw data (stat): 723 (minisat+) R 722 30854 30853 0 -1 0 7167 0 0 0 10978 21 0 0 25 0 1 0 421109132 31866880 7145 4294967295 134512640 134672761 3221224640 3221223812 134556685 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7780 7145 603 41 0 7739 0
vsize: 31120
[startup+120.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 723
Raw data (stat): 723 (minisat+) R 722 30854 30853 0 -1 0 7167 0 0 0 11978 21 0 0 25 0 1 0 421109132 31866880 7145 4294967295 134512640 134672761 3221224640 3221223812 134556671 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7780 7145 603 41 0 7739 0
vsize: 31120
[startup+130.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 723
Raw data (stat): 723 (minisat+) R 722 30854 30853 0 -1 0 7167 0 0 0 12978 21 0 0 25 0 1 0 421109132 31866880 7145 4294967295 134512640 134672761 3221224640 3221223840 134557842 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7780 7145 603 41 0 7739 0
vsize: 31120
[startup+140.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 723
Raw data (stat): 723 (minisat+) R 722 30854 30853 0 -1 0 7169 0 0 0 13978 21 0 0 25 0 1 0 421109132 31866880 7147 4294967295 134512640 134672761 3221224640 3221223812 134556598 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7780 7147 603 41 0 7739 0
vsize: 31120
[startup+150.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 723
Raw data (stat): 723 (minisat+) R 722 30854 30853 0 -1 0 7169 0 0 0 14979 21 0 0 25 0 1 0 421109132 31866880 7147 4294967295 134512640 134672761 3221224640 3221223840 134557911 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7780 7147 603 41 0 7739 0
vsize: 31120
[startup+160.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 723
Raw data (stat): 723 (minisat+) R 722 30854 30853 0 -1 0 7201 0 0 0 15979 21 0 0 25 0 1 0 421109132 31879168 7156 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7783 7156 603 41 0 7742 0
vsize: 31132
[startup+170.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 723
Raw data (stat): 723 (minisat+) R 722 30854 30853 0 -1 0 7201 0 0 0 16979 21 0 0 25 0 1 0 421109132 31879168 7156 4294967295 134512640 134672761 3221224640 3221223812 134556688 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7783 7156 603 41 0 7742 0
vsize: 31132
[startup+180.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 723
Raw data (stat): 723 (minisat+) R 722 30854 30853 0 -1 0 7304 0 0 0 17978 22 0 0 25 0 1 0 421109132 32362496 7227 4294967295 134512640 134672761 3221224640 3221223744 134560285 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7901 7227 603 41 0 7860 0
vsize: 31604
[startup+190.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 723
Raw data (stat): 723 (minisat+) R 722 30854 30853 0 -1 0 7512 0 0 0 18978 22 0 0 25 0 1 0 421109132 33173504 7435 4294967295 134512640 134672761 3221224640 3221223812 134556598 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 8099 7435 603 41 0 8058 0
vsize: 32396
[startup+200.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 723
Raw data (stat): 723 (minisat+) R 722 30854 30853 0 -1 0 8105 0 0 0 19977 24 0 0 25 0 1 0 421109132 35287040 7982 4294967295 134512640 134672761 3221224640 3221222880 134522981 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 8615 7982 603 41 0 8574 0
vsize: 34460
[startup+210.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 723
Raw data (stat): 723 (minisat+) R 722 30854 30853 0 -1 0 8241 0 0 0 20977 24 0 0 25 0 1 0 421109132 35618816 8066 4294967295 134512640 134672761 3221224640 3221223808 134561205 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 8696 8066 603 41 0 8655 0
vsize: 34784
[startup+220.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 723
Raw data (stat): 723 (minisat+) R 722 30854 30853 0 -1 0 8653 0 0 0 21976 25 0 0 25 0 1 0 421109132 37490688 8478 4294967295 134512640 134672761 3221224640 3221223808 134560839 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 9153 8478 603 41 0 9112 0
vsize: 36612
[startup+230.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 723
Raw data (stat): 723 (minisat+) R 722 30854 30853 0 -1 0 9435 0 0 0 22973 28 0 0 25 0 1 0 421109132 40706048 9260 4294967295 134512640 134672761 3221224640 3221223744 134560410 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 9938 9260 603 41 0 9897 0
vsize: 39752
[startup+240.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 723
Raw data (stat): 723 (minisat+) R 722 30854 30853 0 -1 0 10026 0 0 0 23972 29 0 0 25 0 1 0 421109132 43122688 9851 4294967295 134512640 134672761 3221224640 3221223656 1075353266 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 10528 9851 603 41 0 10487 0
vsize: 42112
[startup+250.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 723
Raw data (stat): 723 (minisat+) R 722 30854 30853 0 -1 0 10482 0 0 0 24970 31 0 0 25 0 1 0 421109132 44834816 10275 4294967295 134512640 134672761 3221224640 3221223744 134560418 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 10946 10275 603 41 0 10905 0
vsize: 43784
[startup+260.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 723
Raw data (stat): 723 (minisat+) R 722 30854 30853 0 -1 0 11019 0 0 0 25969 33 0 0 25 0 1 0 421109132 46981120 10812 4294967295 134512640 134672761 3221224640 3221223796 134565154 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11470 10812 603 41 0 11429 0
vsize: 45880
[startup+270.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 723
Raw data (stat): 723 (minisat+) R 722 30854 30853 0 -1 0 11658 0 0 0 26967 34 0 0 25 0 1 0 421109132 49541120 11451 4294967295 134512640 134672761 3221224640 3221223744 134560196 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 12095 11451 603 41 0 12054 0
vsize: 48380
[startup+280.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 723
Raw data (stat): 723 (minisat+) R 722 30854 30853 0 -1 0 12183 0 0 0 27966 36 0 0 25 0 1 0 421109132 51691520 11976 4294967295 134512640 134672761 3221224640 3221223596 1075350517 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 12620 11976 603 41 0 12579 0
vsize: 50480
[startup+290.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 723
Raw data (stat): 723 (minisat+) R 722 30854 30853 0 -1 0 12572 0 0 0 28966 37 0 0 25 0 1 0 421109132 53202944 12332 4294967295 134512640 134672761 3221224640 3221223804 134561235 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 12989 12332 603 41 0 12948 0
vsize: 51956
[startup+300.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 723
Raw data (stat): 723 (minisat+) R 722 30854 30853 0 -1 0 13057 0 0 0 29965 38 0 0 25 0 1 0 421109132 55083008 12817 4294967295 134512640 134672761 3221224640 3221223808 134560929 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 13448 12817 603 41 0 13407 0
vsize: 53792
[startup+310.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 723
Raw data (stat): 723 (minisat+) R 722 30854 30853 0 -1 0 13461 0 0 0 30963 39 0 0 25 0 1 0 421109132 56823808 13221 4294967295 134512640 134672761 3221224640 3221223808 134561215 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 13873 13221 603 41 0 13832 0
vsize: 55492
[startup+320.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 723
Raw data (stat): 723 (minisat+) R 722 30854 30853 0 -1 0 13927 0 0 0 31963 40 0 0 25 0 1 0 421109132 58970112 13687 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 14397 13687 603 41 0 14356 0
vsize: 57588
[startup+330.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 723
Raw data (stat): 723 (minisat+) R 722 30854 30853 0 -1 0 14453 0 0 0 32962 41 0 0 25 0 1 0 421109132 61124608 14213 4294967295 134512640 134672761 3221224640 3221223808 134561201 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 14923 14213 603 41 0 14882 0
vsize: 59692
[startup+340.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 723
Raw data (stat): 723 (minisat+) R 722 30854 30853 0 -1 0 15100 0 0 0 33961 42 0 0 25 0 1 0 421109132 63680512 14860 4294967295 134512640 134672761 3221224640 3221223824 134559405 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 15547 14860 603 41 0 15506 0
vsize: 62188
[startup+350.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 723
Raw data (stat): 723 (minisat+) R 722 30854 30853 0 -1 0 15568 0 0 0 34959 44 0 0 25 0 1 0 421109132 65687552 15328 4294967295 134512640 134672761 3221224640 3221223744 134560293 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16037 15328 603 41 0 15996 0
vsize: 64148
[startup+360.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 723
Raw data (stat): 723 (minisat+) R 722 30854 30853 0 -1 0 16047 0 0 0 35959 45 0 0 25 0 1 0 421109132 67571712 15807 4294967295 134512640 134672761 3221224640 3221223812 134556688 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16497 15807 603 41 0 16456 0
vsize: 65988
[startup+370.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 723
Raw data (stat): 723 (minisat+) R 722 30854 30853 0 -1 0 16431 0 0 0 36958 46 0 0 25 0 1 0 421109132 69181440 16191 4294967295 134512640 134672761 3221224640 3221223792 134561035 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16890 16191 603 41 0 16849 0
vsize: 67560
[startup+380.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 723
Raw data (stat): 723 (minisat+) R 722 30854 30853 0 -1 0 16958 0 0 0 37956 48 0 0 25 0 1 0 421109132 71327744 16718 4294967295 134512640 134672761 3221224640 3221223744 134559872 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 17414 16718 603 41 0 17373 0
vsize: 69656
[startup+390.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 723
Raw data (stat): 723 (minisat+) R 722 30854 30853 0 -1 0 17292 0 0 0 38956 48 0 0 25 0 1 0 421109132 72671232 17052 4294967295 134512640 134672761 3221224640 3221223808 134561193 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 17742 17052 603 41 0 17701 0
vsize: 70968
[startup+400.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 723
Raw data (stat): 723 (minisat+) R 722 30854 30853 0 -1 0 17781 0 0 0 39955 50 0 0 25 0 1 0 421109132 74690560 17541 4294967295 134512640 134672761 3221224640 3221223808 134561190 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 18235 17541 603 41 0 18194 0
vsize: 72940
[startup+410.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 723
Raw data (stat): 723 (minisat+) R 722 30854 30853 0 -1 0 18180 0 0 0 40954 50 0 0 25 0 1 0 421109132 76292096 17940 4294967295 134512640 134672761 3221224640 3221223808 134561215 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 18626 17940 603 41 0 18585 0
vsize: 74504
[startup+420.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 723
Raw data (stat): 723 (minisat+) R 722 30854 30853 0 -1 0 18646 0 0 0 41953 52 0 0 25 0 1 0 421109132 78172160 18406 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19085 18406 603 41 0 19044 0
vsize: 76340
[startup+430.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 723
Raw data (stat): 723 (minisat+) R 722 30854 30853 0 -1 0 19081 0 0 0 42952 53 0 0 25 0 1 0 421109132 79904768 18841 4294967295 134512640 134672761 3221224640 3221223744 134560248 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19508 18841 603 41 0 19467 0
vsize: 78032
[startup+440.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 723
Raw data (stat): 723 (minisat+) R 722 30854 30853 0 -1 0 19536 0 0 0 43950 55 0 0 25 0 1 0 421109132 81756160 19296 4294967295 134512640 134672761 3221224640 3221223808 134560830 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19960 19296 603 41 0 19919 0
vsize: 79840
[startup+450.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 723
Raw data (stat): 723 (minisat+) R 722 30854 30853 0 -1 0 19905 0 0 0 44950 56 0 0 25 0 1 0 421109132 83369984 19665 4294967295 134512640 134672761 3221224640 3221223808 134560852 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 20354 19665 603 41 0 20313 0
vsize: 81416
[startup+460.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 723
Raw data (stat): 723 (minisat+) R 722 30854 30853 0 -1 0 20402 0 0 0 45948 57 0 0 25 0 1 0 421109132 85372928 20162 4294967295 134512640 134672761 3221224640 3221223808 134561139 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 20843 20162 603 41 0 20802 0
vsize: 83372
[startup+470.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 723
Raw data (stat): 723 (minisat+) R 722 30854 30853 0 -1 0 20921 0 0 0 46947 58 0 0 25 0 1 0 421109132 87515136 20681 4294967295 134512640 134672761 3221224640 3221223744 134554907 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 21366 20681 603 41 0 21325 0
vsize: 85464
[startup+480.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 723
Raw data (stat): 723 (minisat+) R 722 30854 30853 0 -1 0 21497 0 0 0 47946 60 0 0 25 0 1 0 421109132 89796608 21257 4294967295 134512640 134672761 3221224640 3221223744 134560226 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 21923 21257 603 41 0 21882 0
vsize: 87692
[startup+490.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 723
Raw data (stat): 723 (minisat+) R 722 30854 30853 0 -1 0 22061 0 0 0 48945 61 0 0 25 0 1 0 421109132 92180480 21821 4294967295 134512640 134672761 3221224640 3221223808 134560929 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22505 21821 603 41 0 22464 0
vsize: 90020
[startup+500.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 723
Raw data (stat): 723 (minisat+) R 722 30854 30853 0 -1 0 22578 0 0 0 49944 62 0 0 25 0 1 0 421109132 94167040 22338 4294967295 134512640 134672761 3221224640 3221223808 134560980 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22990 22338 603 41 0 22949 0
vsize: 91960
[startup+510.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 723
Raw data (stat): 723 (minisat+) R 722 30854 30853 0 -1 0 23052 0 0 0 50943 63 0 0 25 0 1 0 421109132 96149504 22812 4294967295 134512640 134672761 3221224640 3221223744 134560218 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 23474 22812 603 41 0 23433 0
vsize: 93896
[startup+520.249 s]
Raw data (loadavg): 1.07 0.99 0.91 3/58 770
Raw data (stat): 723 (minisat+) R 722 30854 30853 0 -1 0 23510 0 0 0 51966 65 0 0 25 0 1 0 421109132 98000896 23270 4294967295 134512640 134672761 3221224640 3221223744 134559877 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 23926 23270 603 41 0 23885 0
vsize: 95704
[startup+530.249 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 776
Raw data (stat): 723 (minisat+) R 722 30854 30853 0 -1 0 23993 0 0 0 52965 66 0 0 25 0 1 0 421109132 100003840 23753 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24415 23753 603 41 0 24374 0
vsize: 97660
[startup+540.25 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 776
Raw data (stat): 723 (minisat+) R 722 30854 30853 0 -1 0 24538 0 0 0 53964 67 0 0 25 0 1 0 421109132 102060032 24267 4294967295 134512640 134672761 3221224640 3221223940 134556651 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24917 24267 603 41 0 24876 0
vsize: 99668
[startup+550.25 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 776
Raw data (stat): 723 (minisat+) R 722 30854 30853 0 -1 0 24538 0 0 0 54964 67 0 0 25 0 1 0 421109132 102060032 24267 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24917 24267 603 41 0 24876 0
vsize: 99668
[startup+560.249 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 776
Raw data (stat): 723 (minisat+) R 722 30854 30853 0 -1 0 24538 0 0 0 55964 67 0 0 25 0 1 0 421109132 102060032 24267 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24917 24267 603 41 0 24876 0
vsize: 99668
[startup+570.249 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 776
Raw data (stat): 723 (minisat+) R 722 30854 30853 0 -1 0 24538 0 0 0 56963 68 0 0 25 0 1 0 421109132 102060032 24267 4294967295 134512640 134672761 3221224640 3221223744 134560352 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24917 24267 603 41 0 24876 0
vsize: 99668
[startup+580.249 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 776
Raw data (stat): 723 (minisat+) R 722 30854 30853 0 -1 0 24538 0 0 0 57963 68 0 0 25 0 1 0 421109132 102060032 24267 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24917 24267 603 41 0 24876 0
vsize: 99668
[startup+590.249 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 778
Raw data (stat): 723 (minisat+) R 722 30854 30853 0 -1 0 24538 0 0 0 58963 68 0 0 25 0 1 0 421109132 102060032 24267 4294967295 134512640 134672761 3221224640 3221223808 134560830 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24917 24267 603 41 0 24876 0
vsize: 99668
[startup+600.249 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 778
Raw data (stat): 723 (minisat+) R 722 30854 30853 0 -1 0 24538 0 0 0 59963 68 0 0 25 0 1 0 421109132 102060032 24267 4294967295 134512640 134672761 3221224640 3221223744 134560418 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24917 24267 603 41 0 24876 0
vsize: 99668
[startup+610.249 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 778
Raw data (stat): 723 (minisat+) R 722 30854 30853 0 -1 0 24538 0 0 0 60964 68 0 0 25 0 1 0 421109132 102060032 24267 4294967295 134512640 134672761 3221224640 3221223812 134556643 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24917 24267 603 41 0 24876 0
vsize: 99668
[startup+620.249 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 778
Raw data (stat): 723 (minisat+) R 722 30854 30853 0 -1 0 24538 0 0 0 61964 68 0 0 25 0 1 0 421109132 102060032 24267 4294967295 134512640 134672761 3221224640 3221223824 134559405 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24917 24267 603 41 0 24876 0
vsize: 99668
[startup+630.249 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 778
Raw data (stat): 723 (minisat+) R 722 30854 30853 0 -1 0 24538 0 0 0 62964 68 0 0 25 0 1 0 421109132 102060032 24267 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24917 24267 603 41 0 24876 0
vsize: 99668
[startup+640.249 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 778
Raw data (stat): 723 (minisat+) R 722 30854 30853 0 -1 0 24538 0 0 0 63964 68 0 0 25 0 1 0 421109132 102060032 24267 4294967295 134512640 134672761 3221224640 3221223792 134541817 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24917 24267 603 41 0 24876 0
vsize: 99668
[startup+650.249 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 778
Raw data (stat): 723 (minisat+) R 722 30854 30853 0 -1 0 24538 0 0 0 64964 68 0 0 25 0 1 0 421109132 102060032 24267 4294967295 134512640 134672761 3221224640 3221223808 134560830 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24917 24267 603 41 0 24876 0
vsize: 99668
[startup+660.249 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 778
Raw data (stat): 723 (minisat+) R 722 30854 30853 0 -1 0 24538 0 0 0 65964 68 0 0 25 0 1 0 421109132 102060032 24267 4294967295 134512640 134672761 3221224640 3221223808 134561229 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24917 24267 603 41 0 24876 0
vsize: 99668
[startup+670.249 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 778
Raw data (stat): 723 (minisat+) R 722 30854 30853 0 -1 0 24538 0 0 0 66965 68 0 0 25 0 1 0 421109132 102060032 24267 4294967295 134512640 134672761 3221224640 3221223808 134560937 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24917 24267 603 41 0 24876 0
vsize: 99668
[startup+680.25 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 778
Raw data (stat): 723 (minisat+) R 722 30854 30853 0 -1 0 24538 0 0 0 67965 68 0 0 25 0 1 0 421109132 102060032 24267 4294967295 134512640 134672761 3221224640 3221223744 134560196 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24917 24267 603 41 0 24876 0
vsize: 99668
[startup+690.249 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 778
Raw data (stat): 723 (minisat+) R 722 30854 30853 0 -1 0 24538 0 0 0 68965 68 0 0 25 0 1 0 421109132 102060032 24267 4294967295 134512640 134672761 3221224640 3221223808 134560996 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24917 24267 603 41 0 24876 0
vsize: 99668
[startup+700.249 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 778
Raw data (stat): 723 (minisat+) R 722 30854 30853 0 -1 0 24538 0 0 0 69965 68 0 0 25 0 1 0 421109132 102060032 24267 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24917 24267 603 41 0 24876 0
vsize: 99668
[startup+710.25 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 778
Raw data (stat): 723 (minisat+) R 722 30854 30853 0 -1 0 24538 0 0 0 70965 68 0 0 25 0 1 0 421109132 102060032 24267 4294967295 134512640 134672761 3221224640 3221223808 134560999 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24917 24267 603 41 0 24876 0
vsize: 99668
[startup+720.25 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 778
Raw data (stat): 723 (minisat+) R 722 30854 30853 0 -1 0 24538 0 0 0 71965 68 0 0 25 0 1 0 421109132 102060032 24267 4294967295 134512640 134672761 3221224640 3221223744 134560235 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24917 24267 603 41 0 24876 0
vsize: 99668
[startup+730.249 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 778
Raw data (stat): 723 (minisat+) R 722 30854 30853 0 -1 0 24538 0 0 0 72966 68 0 0 25 0 1 0 421109132 102060032 24267 4294967295 134512640 134672761 3221224640 3221223808 134560980 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24917 24267 603 41 0 24876 0
vsize: 99668
[startup+740.249 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 778
Raw data (stat): 723 (minisat+) R 722 30854 30853 0 -1 0 24538 0 0 0 73966 68 0 0 25 0 1 0 421109132 102060032 24267 4294967295 134512640 134672761 3221224640 3221223780 134560556 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24917 24267 603 41 0 24876 0
vsize: 99668
[startup+750.25 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 778
Raw data (stat): 723 (minisat+) R 722 30854 30853 0 -1 0 24538 0 0 0 74966 68 0 0 25 0 1 0 421109132 102060032 24267 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24917 24267 603 41 0 24876 0
vsize: 99668
[startup+760.25 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 778
Raw data (stat): 723 (minisat+) R 722 30854 30853 0 -1 0 24538 0 0 0 75966 68 0 0 25 0 1 0 421109132 102060032 24267 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24917 24267 603 41 0 24876 0
vsize: 99668
[startup+770.25 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 778
Raw data (stat): 723 (minisat+) R 722 30854 30853 0 -1 0 24538 0 0 0 76966 68 0 0 25 0 1 0 421109132 102060032 24267 4294967295 134512640 134672761 3221224640 3221223808 134560940 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24917 24267 603 41 0 24876 0
vsize: 99668
[startup+780.25 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 778
Raw data (stat): 723 (minisat+) R 722 30854 30853 0 -1 0 24538 0 0 0 77966 68 0 0 25 0 1 0 421109132 102060032 24267 4294967295 134512640 134672761 3221224640 3221223744 134560196 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24917 24267 603 41 0 24876 0
vsize: 99668
[startup+790.25 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 778
Raw data (stat): 723 (minisat+) R 722 30854 30853 0 -1 0 24538 0 0 0 78967 68 0 0 25 0 1 0 421109132 102060032 24267 4294967295 134512640 134672761 3221224640 3221223824 134559340 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24917 24267 603 41 0 24876 0
vsize: 99668
[startup+800.25 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 778
Raw data (stat): 723 (minisat+) R 722 30854 30853 0 -1 0 24538 0 0 0 79967 68 0 0 25 0 1 0 421109132 102060032 24267 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24917 24267 603 41 0 24876 0
vsize: 99668
[startup+810.25 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 778
Raw data (stat): 723 (minisat+) R 722 30854 30853 0 -1 0 24538 0 0 0 80967 68 0 0 25 0 1 0 421109132 102060032 24267 4294967295 134512640 134672761 3221224640 3221223808 134560869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24917 24267 603 41 0 24876 0
vsize: 99668
[startup+820.25 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 778
Raw data (stat): 723 (minisat+) R 722 30854 30853 0 -1 0 24538 0 0 0 81967 68 0 0 25 0 1 0 421109132 102060032 24267 4294967295 134512640 134672761 3221224640 3221223744 134560196 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24917 24267 603 41 0 24876 0
vsize: 99668
[startup+830.25 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 778
Raw data (stat): 723 (minisat+) R 722 30854 30853 0 -1 0 24538 0 0 0 82967 68 0 0 25 0 1 0 421109132 102060032 24267 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24917 24267 603 41 0 24876 0
vsize: 99668
[startup+840.25 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 780
Raw data (stat): 723 (minisat+) R 722 30854 30853 0 -1 0 24760 0 0 0 83967 68 0 0 25 0 1 0 421109132 103002112 24489 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25147 24489 603 41 0 25106 0
vsize: 100588
[startup+850.251 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 780
Raw data (stat): 723 (minisat+) R 722 30854 30853 0 -1 0 25072 0 0 0 84966 69 0 0 25 0 1 0 421109132 104325120 24801 4294967295 134512640 134672761 3221224640 3221223808 134560966 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25470 24801 603 41 0 25429 0
vsize: 101880
[startup+860.25 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 780
Raw data (stat): 723 (minisat+) R 722 30854 30853 0 -1 0 25421 0 0 0 85966 70 0 0 25 0 1 0 421109132 105791488 25150 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25828 25150 603 41 0 25787 0
vsize: 103312
[startup+870.25 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 780
Raw data (stat): 723 (minisat+) R 722 30854 30853 0 -1 0 25771 0 0 0 86965 71 0 0 25 0 1 0 421109132 107130880 25500 4294967295 134512640 134672761 3221224640 3221223808 134561167 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26155 25500 603 41 0 26114 0
vsize: 104620
[startup+880.25 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 780
Raw data (stat): 723 (minisat+) R 722 30854 30853 0 -1 0 26060 0 0 0 87964 72 0 0 25 0 1 0 421109132 108339200 25789 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26450 25789 603 41 0 26409 0
vsize: 105800
[startup+890.251 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 780
Raw data (stat): 723 (minisat+) R 722 30854 30853 0 -1 0 26379 0 0 0 88963 73 0 0 25 0 1 0 421109132 109678592 26108 4294967295 134512640 134672761 3221224640 3221223808 134560940 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26777 26108 603 41 0 26736 0
vsize: 107108
[startup+900.25 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 780
Raw data (stat): 723 (minisat+) R 722 30854 30853 0 -1 0 26753 0 0 0 89963 74 0 0 25 0 1 0 421109132 111153152 26482 4294967295 134512640 134672761 3221224640 3221223744 134560260 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 27137 26482 603 41 0 27096 0
vsize: 108548
[startup+910.25 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 780
Raw data (stat): 723 (minisat+) R 722 30854 30853 0 -1 0 27057 0 0 0 90962 74 0 0 25 0 1 0 421109132 112361472 26786 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 27432 26786 603 41 0 27391 0
vsize: 109728
[startup+920.25 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 780
Raw data (stat): 723 (minisat+) R 722 30854 30853 0 -1 0 27364 0 0 0 91962 75 0 0 25 0 1 0 421109132 113709056 27093 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 27761 27093 603 41 0 27720 0
vsize: 111044
[startup+930.25 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 780
Raw data (stat): 723 (minisat+) R 722 30854 30853 0 -1 0 27794 0 0 0 92961 76 0 0 25 0 1 0 421109132 115429376 27523 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28181 27523 603 41 0 28140 0
vsize: 112724
[startup+940.25 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 780
Raw data (stat): 723 (minisat+) R 722 30854 30853 0 -1 0 28112 0 0 0 93960 77 0 0 25 0 1 0 421109132 116760576 27841 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28506 27841 603 41 0 28465 0
vsize: 114024
[startup+950.25 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 780
Raw data (stat): 723 (minisat+) R 722 30854 30853 0 -1 0 28422 0 0 0 94960 78 0 0 25 0 1 0 421109132 117956608 28151 4294967295 134512640 134672761 3221224640 3221223744 134560289 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28798 28151 603 41 0 28757 0
vsize: 115192
[startup+960.25 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 780
Raw data (stat): 723 (minisat+) R 722 30854 30853 0 -1 0 28729 0 0 0 95959 79 0 0 25 0 1 0 421109132 119156736 28458 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 29091 28458 603 41 0 29050 0
vsize: 116364
[startup+970.25 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 780
Raw data (stat): 723 (minisat+) R 722 30854 30853 0 -1 0 29025 0 0 0 96958 80 0 0 25 0 1 0 421109132 120999936 28754 4294967295 134512640 134672761 3221224640 3221223808 134560869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 29541 28754 603 41 0 29500 0
vsize: 118164
[startup+980.25 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 780
Raw data (stat): 723 (minisat+) R 722 30854 30853 0 -1 0 29334 0 0 0 97958 80 0 0 25 0 1 0 421109132 122191872 29063 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 29832 29063 603 41 0 29791 0
vsize: 119328
[startup+990.249 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 780
Raw data (stat): 723 (minisat+) R 722 30854 30853 0 -1 0 29686 0 0 0 98957 81 0 0 25 0 1 0 421109132 123662336 29415 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30191 29415 603 41 0 30150 0
vsize: 120764
[startup+1000.25 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 780
Raw data (stat): 723 (minisat+) R 722 30854 30853 0 -1 0 29964 0 0 0 99956 82 0 0 25 0 1 0 421109132 124723200 29693 4294967295 134512640 134672761 3221224640 3221223808 134561215 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30450 29693 603 41 0 30409 0
vsize: 121800
[startup+1010.25 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 780
Raw data (stat): 723 (minisat+) R 722 30854 30853 0 -1 0 30236 0 0 0 100955 83 0 0 25 0 1 0 421109132 125915136 29965 4294967295 134512640 134672761 3221224640 3221223808 134560996 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30741 29965 603 41 0 30700 0
vsize: 122964
[startup+1020.25 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 780
Raw data (stat): 723 (minisat+) R 722 30854 30853 0 -1 0 30511 0 0 0 101955 83 0 0 25 0 1 0 421109132 126976000 30240 4294967295 134512640 134672761 3221224640 3221223776 134560588 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 31000 30240 603 41 0 30959 0
vsize: 124000
[startup+1030.25 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 780
Raw data (stat): 723 (minisat+) R 722 30854 30853 0 -1 0 30811 0 0 0 102954 84 0 0 25 0 1 0 421109132 128180224 30540 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 31294 30540 603 41 0 31253 0
vsize: 125176
[startup+1040.25 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 780
Raw data (stat): 723 (minisat+) R 722 30854 30853 0 -1 0 31107 0 0 0 103954 85 0 0 25 0 1 0 421109132 129495040 30836 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 31615 30836 603 41 0 31574 0
vsize: 126460
[startup+1050.25 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 780
Raw data (stat): 723 (minisat+) R 722 30854 30853 0 -1 0 31368 0 0 0 104954 85 0 0 25 0 1 0 421109132 130555904 31097 4294967295 134512640 134672761 3221224640 3221223808 134561188 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 31874 31097 603 41 0 31833 0
vsize: 127496
[startup+1060.25 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 780
Raw data (stat): 723 (minisat+) R 722 30854 30853 0 -1 0 31650 0 0 0 105953 86 0 0 25 0 1 0 421109132 131637248 31379 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 32138 31379 603 41 0 32097 0
vsize: 128552
[startup+1070.25 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 780
Raw data (stat): 723 (minisat+) R 722 30854 30853 0 -1 0 31916 0 0 0 106952 87 0 0 25 0 1 0 421109132 132706304 31645 4294967295 134512640 134672761 3221224640 3221223824 134559383 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 32399 31645 603 41 0 32358 0
vsize: 129596
[startup+1080.25 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 780
Raw data (stat): 723 (minisat+) R 722 30854 30853 0 -1 0 32186 0 0 0 107951 88 0 0 25 0 1 0 421109132 133890048 31915 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 32688 31915 603 41 0 32647 0
vsize: 130752
[startup+1090.25 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 780
Raw data (stat): 723 (minisat+) R 722 30854 30853 0 -1 0 32450 0 0 0 108951 89 0 0 25 0 1 0 421109132 134950912 32179 4294967295 134512640 134672761 3221224640 3221223808 134561151 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 32947 32179 603 41 0 32906 0
vsize: 131788
[startup+1100.25 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 780
Raw data (stat): 723 (minisat+) R 722 30854 30853 0 -1 0 32707 0 0 0 109950 89 0 0 25 0 1 0 421109132 136015872 32436 4294967295 134512640 134672761 3221224640 3221223808 134561001 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 33207 32436 603 41 0 33166 0
vsize: 132828
[startup+1110.25 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 780
Raw data (stat): 723 (minisat+) R 722 30854 30853 0 -1 0 32961 0 0 0 110950 90 0 0 25 0 1 0 421109132 137080832 32690 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 33467 32690 603 41 0 33426 0
vsize: 133868
[startup+1120.25 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 780
Raw data (stat): 723 (minisat+) R 722 30854 30853 0 -1 0 33187 0 0 0 111949 91 0 0 25 0 1 0 421109132 138010624 32916 4294967295 134512640 134672761 3221224640 3221223808 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 33694 32916 603 41 0 33653 0
vsize: 134776
[startup+1130.25 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 780
Raw data (stat): 723 (minisat+) R 722 30854 30853 0 -1 0 33470 0 0 0 112949 91 0 0 25 0 1 0 421109132 139083776 33199 4294967295 134512640 134672761 3221224640 3221223808 134560869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 33956 33199 603 41 0 33915 0
vsize: 135824
[startup+1140.25 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 780
Raw data (stat): 723 (minisat+) R 722 30854 30853 0 -1 0 33811 0 0 0 113948 92 0 0 25 0 1 0 421109132 140562432 33540 4294967295 134512640 134672761 3221224640 3221223808 134561008 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 34317 33540 603 41 0 34276 0
vsize: 137268
[startup+1150.25 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 780
Raw data (stat): 723 (minisat+) R 722 30854 30853 0 -1 0 34129 0 0 0 114948 93 0 0 25 0 1 0 421109132 141758464 33858 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 34609 33858 603 41 0 34568 0
vsize: 138436
[startup+1160.25 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 780
Raw data (stat): 723 (minisat+) R 722 30854 30853 0 -1 0 34354 0 0 0 115947 94 0 0 25 0 1 0 421109132 142692352 34083 4294967295 134512640 134672761 3221224640 3221223808 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 34837 34083 603 41 0 34796 0
vsize: 139348
[startup+1170.25 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 780
Raw data (stat): 723 (minisat+) R 722 30854 30853 0 -1 0 34630 0 0 0 116946 94 0 0 25 0 1 0 421109132 143900672 34359 4294967295 134512640 134672761 3221224640 3221223824 134558662 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 35132 34359 603 41 0 35091 0
vsize: 140528
[startup+1180.25 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 780
Raw data (stat): 723 (minisat+) R 722 30854 30853 0 -1 0 34958 0 0 0 117945 95 0 0 25 0 1 0 421109132 145248256 34687 4294967295 134512640 134672761 3221224640 3221223808 134560852 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 35461 34687 603 41 0 35420 0
vsize: 141844
[startup+1190.25 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 780
Raw data (stat): 723 (minisat+) R 722 30854 30853 0 -1 0 35201 0 0 0 118945 96 0 0 25 0 1 0 421109132 146178048 34930 4294967295 134512640 134672761 3221224640 3221223808 134561011 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 35688 34930 603 41 0 35647 0
vsize: 142752
[startup+1200.25 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 780
Raw data (stat): 723 (minisat+) R 722 30854 30853 0 -1 0 35394 0 0 0 119945 96 0 0 25 0 1 0 421109132 146980864 35123 4294967295 134512640 134672761 3221224640 3221223808 134560996 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 35884 35123 603 41 0 35843 0
vsize: 143536
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.32 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 780
Raw data (stat): 723 (minisat+) Z 722 30854 30853 0 -1 12 35397 0 0 0 119945 102 0 0 25 0 1 0 421109132 0 0 4294967295 0 0 0 0 0 0 16384 5 16386 3222412051 0 0 17 0 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.32
CPU time (s): 1200.49
CPU user time (s): 1199.46
CPU system time (s): 1.02884
CPU usage (%): 100.014
Max. virtual memory (Kb): 143536
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####