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-2.opb
MD5SUM	5b8ef604a7452dcb7c7d749b75aed566
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-45
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.15
Number of variables	1534
Total number of constraints	126163
Number of constraints which are clauses	126163
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 6425

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        846508 kB
Buffers:         35448 kB
Cached:         116008 kB
SwapCached:        320 kB
Active:          59640 kB
Inactive:        94960 kB
HighTotal:      131008 kB
HighFree:        11060 kB
LowTotal:       903652 kB
LowFree:        835448 kB
SwapTotal:     2097892 kB
SwapFree:      2097572 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6936 kB
Slab:            27792 kB
Committed_AS:    63700 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-14 05:16:50 (client local time) WITH STATUS 10 IN 1200.31 SECONDS
stats: 4862 7 1200.31 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Parsing PB file...
c Converting 126163 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 |  126163   252326 |   42054       0        0     nan |  0.000 % |
c ==============================================================================
c [1mFound solution: -42[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 |  308428   678732 |  102809       0        0     nan |  0.000 % |
c |       100 |  308397   678663 |  113089      99      791     8.0 |  0.024 % |
c |       250 |  306199   673642 |  124398     216     1508     7.0 |  1.075 % |
c |       475 |  303789   668136 |  136838     394     2917     7.4 |  2.231 % |
c |       812 |  299325   657904 |  150522     660     5024     7.6 |  4.413 % |
c |      1318 |  292690   642642 |  165574     963     7693     8.0 |  7.739 % |
c |      2078 |  286449   628253 |  182132    1591    16297    10.2 | 10.906 % |
c |      3217 |  271762   594349 |  200345    2379    23928    10.1 | 18.434 % |
c |      4925 |  253789   552719 |  220380    3447    32149     9.3 | 27.831 % |
c |      7487 |  223450   481808 |  242418    4673    46153     9.9 | 43.855 % |
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 |     10337 |  198418   423742 |   66139    6417    67986    10.6 | 43.855 % |
c |     10438 |  198068   422916 |   72752    6500    68340    10.5 | 57.570 % |
c |     10588 |  196724   419759 |   80028    6465    67881    10.5 | 58.311 % |
c |     10813 |  195324   416487 |   88031    6578    68278    10.4 | 59.087 % |
c |     11150 |  193568   412353 |   96834    6722    69470    10.3 | 60.041 % |
c |     11657 |  188165   399654 |  106517    6988    72027    10.3 | 62.959 % |
c |     12416 |  183269   388142 |  117169    7355    76803    10.4 | 65.667 % |
c |     13555 |  177810   375324 |  128886    8026    84548    10.5 | 68.730 % |
c |     15263 |  172122   362008 |  141774    9128   100316    11.0 | 71.904 % |
c |     17825 |  163245   341171 |  155952   10579   137123    13.0 | 76.903 % |
c |     21669 |  154936   321609 |  171547   12724   167949    13.2 | 81.576 % |
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 |     24350 |  150523   311178 |   50174   13766   158081    11.5 | 81.576 % |
c |     24450 |  149659   309162 |   55191   13654   156866    11.5 | 84.563 % |
c |     24601 |  149461   308694 |   60710   13722   156882    11.4 | 84.676 % |
c |     24827 |  149461   308694 |   66781   13948   159763    11.5 | 84.676 % |
c |     25164 |  148977   307549 |   73459   14115   174608    12.4 | 84.959 % |
c |     25670 |  148943   307469 |   80805   14600   181869    12.5 | 84.978 % |
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 |     26267 |  148460   306318 |   49486   14836   182498    12.3 | 84.978 % |
c |     26367 |  148402   306180 |   54434   14891   183204    12.3 | 85.309 % |
c |     26520 |  148300   305936 |   59878   14995   184296    12.3 | 85.372 % |
c |     26745 |  148169   305631 |   65865   15117   186783    12.4 | 85.443 % |
c |     27082 |  147923   305059 |   72452   15306   190258    12.4 | 85.575 % |
c |     27589 |  146899   302652 |   79697   15186   189804    12.5 | 86.166 % |
c ==============================================================================
c [1mFound solution: -47[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 |     27970 |  146963   302830 |   48987   15560   201491    12.9 | 86.166 % |
c |     28070 |  146708   302231 |   53885   15533   201657    13.0 | 86.321 % |
c |     28220 |  146642   302078 |   59274   15661   203420    13.0 | 86.357 % |
c |     28445 |  146600   301979 |   65201   15853   206186    13.0 | 86.381 % |
c |     28782 |  146296   301259 |   71721   16036   209820    13.1 | 86.558 % |
c |     29288 |  146278   301217 |   78894   16533   218711    13.2 | 86.568 % |
c |     30047 |  146153   300922 |   86783   17235   231912    13.5 | 86.642 % |
c |     31186 |  145103   298448 |   95461   17475   247348    14.2 | 87.234 % |
c |     32894 |  143738   295232 |  105007   18031   258750    14.4 | 88.025 % |
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 |     35225 |  143349   294313 |   47783   19870   316518    15.9 | 88.025 % |
c |     35325 |  143349   294313 |   52561   19970   317280    15.9 | 88.230 % |
c |     35477 |  143240   294058 |   57817   19945   318648    16.0 | 88.291 % |
c |     35703 |  142988   293466 |   63599   19989   319711    16.0 | 88.433 % |
c |     36040 |  142988   293466 |   69959   20326   338042    16.6 | 88.433 % |
c |     36546 |  142976   293438 |   76954   20822   347649    16.7 | 88.440 % |
c |     37305 |  142952   293382 |   84650   21543   369866    17.2 | 88.452 % |
c |     38444 |  142652   292672 |   93115   22316   387385    17.4 | 88.634 % |
c |     40153 |  142642   292648 |  102427   23999   442279    18.4 | 88.641 % |
c |     42715 |  142642   292648 |  112669   26561   595601    22.4 | 88.641 % |
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 |     45894 |  142659   292697 |   47553   29687   997361    33.6 | 88.641 % |
c |     45994 |  142580   292504 |   52308   29593   994985    33.6 | 88.692 % |
c |     46144 |  142514   292347 |   57539   29678   999321    33.7 | 88.730 % |
c |     46370 |  142514   292347 |   63293   29904  1001563    33.5 | 88.730 % |
c |     46707 |  142173   291547 |   69622   29818  1013230    34.0 | 88.928 % |
c |     47213 |  142173   291547 |   76584   30324  1038020    34.2 | 88.928 % |
c |     47972 |  142020   291194 |   84243   30770  1064084    34.6 | 89.007 % |
c |     49111 |  142020   291194 |   92667   31909  1125804    35.3 | 89.007 % |
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 |     49848 |  141983   291077 |   47327   32503  1143552    35.2 | 89.007 % |
c |     49949 |  141906   290896 |   52059   32532  1144036    35.2 | 89.067 % |
c |     50100 |  141826   290702 |   57265   32496  1145417    35.2 | 89.120 % |
c |     50325 |  141826   290702 |   62992   32721  1161738    35.5 | 89.120 % |
c |     50662 |  141747   290517 |   69291   32899  1165745    35.4 | 89.165 % |
c |     51168 |  141713   290435 |   76220   33246  1186976    35.7 | 89.188 % |
c |     51927 |  141713   290435 |   83842   34005  1251991    36.8 | 89.188 % |
c |     53067 |  141520   289984 |   92226   34568  1329521    38.5 | 89.297 % |
c |     54775 |  141516   289975 |  101449   36224  1475513    40.7 | 89.299 % |
c |     57338 |  141332   289536 |  111594   38492  1573843    40.9 | 89.415 % |
c |     61183 |  141332   289536 |  122754   42337  1983515    46.9 | 89.415 % |
c |     66949 |  141332   289536 |  135029   48103  2991928    62.2 | 89.415 % |
c |     75598 |  141332   289536 |  148532   56752  4549968    80.2 | 89.415 % |
c |     88573 |  141228   289291 |  163385   69285  6517253    94.1 | 89.476 % |
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 |     93433 |  141285   289433 |   47095   74145  7285102    98.3 | 89.476 % |
c |     93534 |  141285   289433 |   51804   74246  7289161    98.2 | 89.469 % |
c |     93685 |  141285   289433 |   56984   74397  7300334    98.1 | 89.469 % |
c |     93910 |  141285   289433 |   62683   74622  7326200    98.2 | 89.469 % |
c |     94248 |  141285   289433 |   68951   74960  7355463    98.1 | 89.469 % |
c |     94754 |  141285   289433 |   75846   75466  7414266    98.2 | 89.469 % |
c |     95513 |  141285   289433 |   83431   76225  7480895    98.1 | 89.469 % |
c |     96653 |  141213   289264 |   91774   77140  7559877    98.0 | 89.510 % |
c |     98363 |  141213   289264 |  100952   78850  7704801    97.7 | 89.510 % |
c ==============================================================================
c [1mFound solution: -52[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 |     99671 |  141182   289175 |   47060   80028  7862240    98.2 | 89.510 % |
c |     99771 |  141182   289175 |   51766   80128  7868902    98.2 | 89.524 % |
c |     99921 |  141182   289175 |   56942   80278  7881944    98.2 | 89.524 % |
c |    100146 |  141182   289175 |   62636   80503  7896777    98.1 | 89.524 % |
c |    100483 |  141017   288776 |   68900   80390  7904331    98.3 | 89.634 % |
c |    100989 |  140981   288690 |   75790   80835  7937055    98.2 | 89.656 % |
c |    101748 |  140981   288690 |   83369   81594  8005630    98.1 | 89.656 % |
c |    102887 |  140981   288690 |   91706   82733  8172623    98.8 | 89.656 % |
c |    104595 |  140977   288681 |  100877   84398  8331169    98.7 | 89.658 % |
c |    107158 |  140977   288681 |  110965   86961  8739631   100.5 | 89.658 % |
c |    111002 |  140877   288439 |  122061   90339  9137207   101.1 | 89.720 % |
c |    116768 |  140877   288439 |  134267   96105 10195337   106.1 | 89.720 % |
c |    125417 |  140877   288439 |  147694  104754 11432026   109.1 | 89.720 % |
c |    138392 |  140778   288207 |  162463  117145 13221577   112.9 | 89.775 % |
c |    157853 |  140752   288147 |  178710  136553 16510727   120.9 | 89.788 % |
c |    187045 |  140752   288147 |  196581  165745 21391988   129.1 | 89.788 % |
c |    230835 |  140738   288115 |  216239  209408 27881356   133.1 | 89.794 % |
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.92 0.95 0.91 2/55 30281
Raw data (stat): 30281 (runsolver) R 30280 20024 20023 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 481875039 1052672 99 4294967295 134512640 135381576 3221224464 3221219708 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10 s]
Raw data (loadavg): 0.93 0.95 0.91 2/55 30281
Raw data (stat): 30281 (minisat+) R 30280 20024 20023 0 -1 0 7379 0 0 0 977 21 0 0 25 0 1 0 481875039 32632832 7357 4294967295 134512640 134672761 3221224560 3221223732 134556598 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7967 7357 603 41 0 7926 0
vsize: 31868
[startup+20.0013 s]
Raw data (loadavg): 0.94 0.96 0.91 2/55 30281
Raw data (stat): 30281 (minisat+) R 30280 20024 20023 0 -1 0 7382 0 0 0 1976 21 0 0 25 0 1 0 481875039 32768000 7360 4294967295 134512640 134672761 3221224560 3221223732 134556643 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 8000 7360 603 41 0 7959 0
vsize: 32000
[startup+30.0019 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 30281
Raw data (stat): 30281 (minisat+) R 30280 20024 20023 0 -1 0 7386 0 0 0 2975 21 0 0 25 0 1 0 481875039 32768000 7364 4294967295 134512640 134672761 3221224560 3221223732 134556688 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 8000 7364 603 41 0 7959 0
vsize: 32000
[startup+40.0027 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 30281
Raw data (stat): 30281 (minisat+) R 30280 20024 20023 0 -1 0 7387 0 0 0 3974 21 0 0 25 0 1 0 481875039 32768000 7365 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 8000 7365 603 41 0 7959 0
vsize: 32000
[startup+50.0045 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 30281
Raw data (stat): 30281 (minisat+) R 30280 20024 20023 0 -1 0 7392 0 0 0 4975 21 0 0 25 0 1 0 481875039 32768000 7370 4294967295 134512640 134672761 3221224560 3221223732 134556682 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 8000 7370 603 41 0 7959 0
vsize: 32000
[startup+60.0045 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 30281
Raw data (stat): 30281 (minisat+) R 30280 20024 20023 0 -1 0 7392 0 0 0 5975 21 0 0 25 0 1 0 481875039 32768000 7370 4294967295 134512640 134672761 3221224560 3221223764 134561964 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 8000 7370 603 41 0 7959 0
vsize: 32000
[startup+70.0054 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 30281
Raw data (stat): 30281 (minisat+) R 30280 20024 20023 0 -1 0 7392 0 0 0 6975 22 0 0 25 0 1 0 481875039 32768000 7370 4294967295 134512640 134672761 3221224560 3221223732 134556671 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 8000 7370 603 41 0 7959 0
vsize: 32000
[startup+80.0056 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 30281
Raw data (stat): 30281 (minisat+) R 30280 20024 20023 0 -1 0 7401 0 0 0 7975 22 0 0 25 0 1 0 481875039 32768000 7379 4294967295 134512640 134672761 3221224560 3221223732 134556634 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 8000 7379 603 41 0 7959 0
vsize: 32000
[startup+90.0063 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 30281
Raw data (stat): 30281 (minisat+) R 30280 20024 20023 0 -1 0 7402 0 0 0 8975 22 0 0 25 0 1 0 481875039 32768000 7380 4294967295 134512640 134672761 3221224560 3221223728 134561385 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 8000 7380 603 41 0 7959 0
vsize: 32000
[startup+100.006 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 30281
Raw data (stat): 30281 (minisat+) R 30280 20024 20023 0 -1 0 7402 0 0 0 9975 22 0 0 25 0 1 0 481875039 32768000 7380 4294967295 134512640 134672761 3221224560 3221223760 134561972 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 8000 7380 603 41 0 7959 0
vsize: 32000
[startup+110.007 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 30281
Raw data (stat): 30281 (minisat+) R 30280 20024 20023 0 -1 0 7407 0 0 0 10975 22 0 0 25 0 1 0 481875039 32768000 7385 4294967295 134512640 134672761 3221224560 3221223732 134556643 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 8000 7385 603 41 0 7959 0
vsize: 32000
[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30281
Raw data (stat): 30281 (minisat+) R 30280 20024 20023 0 -1 0 7643 0 0 0 11974 23 0 0 25 0 1 0 481875039 34230272 7621 4294967295 134512640 134672761 3221224560 3221223696 134560625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 8357 7621 603 41 0 8316 0
vsize: 33428
[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30281
Raw data (stat): 30281 (minisat+) R 30280 20024 20023 0 -1 0 7643 0 0 0 12974 23 0 0 25 0 1 0 481875039 34230272 7621 4294967295 134512640 134672761 3221224560 3221223732 134556649 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 8357 7621 603 41 0 8316 0
vsize: 33428
[startup+140.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30281
Raw data (stat): 30281 (minisat+) R 30280 20024 20023 0 -1 0 7643 0 0 0 13974 23 0 0 25 0 1 0 481875039 34230272 7621 4294967295 134512640 134672761 3221224560 3221223740 134556674 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 8357 7621 603 41 0 8316 0
vsize: 33428
[startup+150.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30281
Raw data (stat): 30281 (minisat+) R 30280 20024 20023 0 -1 0 7643 0 0 0 14974 23 0 0 25 0 1 0 481875039 34230272 7621 4294967295 134512640 134672761 3221224560 3221223764 134561964 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 8357 7621 603 41 0 8316 0
vsize: 33428
[startup+160.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30281
Raw data (stat): 30281 (minisat+) R 30280 20024 20023 0 -1 0 7643 0 0 0 15974 23 0 0 25 0 1 0 481875039 34230272 7621 4294967295 134512640 134672761 3221224560 3221223732 134556602 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 8357 7621 603 41 0 8316 0
vsize: 33428
[startup+170.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30281
Raw data (stat): 30281 (minisat+) R 30280 20024 20023 0 -1 0 7645 0 0 0 16975 23 0 0 25 0 1 0 481875039 34230272 7623 4294967295 134512640 134672761 3221224560 3221223760 134557822 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 8357 7623 603 41 0 8316 0
vsize: 33428
[startup+180.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30281
Raw data (stat): 30281 (minisat+) R 30280 20024 20023 0 -1 0 7667 0 0 0 17975 23 0 0 25 0 1 0 481875039 34365440 7638 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 8390 7638 603 41 0 8349 0
vsize: 33560
[startup+190.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30281
Raw data (stat): 30281 (minisat+) R 30280 20024 20023 0 -1 0 7859 0 0 0 18974 24 0 0 25 0 1 0 481875039 34934784 7798 4294967295 134512640 134672761 3221224560 3221223760 134557811 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 8529 7798 603 41 0 8488 0
vsize: 34116
[startup+200.011 s]
Raw data (loadavg): 0.99 0.97 0.91 3/58 30317
Raw data (stat): 30281 (minisat+) R 30280 20024 20023 0 -1 0 8431 0 0 0 19971 26 0 0 25 0 1 0 481875039 37339136 8370 4294967295 134512640 134672761 3221224560 3221223728 134560999 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 9116 8370 603 41 0 9075 0
vsize: 36464
[startup+210.097 s]
Raw data (loadavg): 1.15 1.00 0.92 4/60 30333
Raw data (stat): 30281 (minisat+) R 30280 20024 20023 0 -1 0 8779 0 0 0 20979 27 0 0 25 0 1 0 481875039 38535168 8653 4294967295 134512640 134672761 3221224560 3221223664 134559872 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 9408 8653 603 41 0 9367 0
vsize: 37632
[startup+220.098 s]
Raw data (loadavg): 1.12 1.00 0.92 2/55 30334
Raw data (stat): 30281 (minisat+) R 30280 20024 20023 0 -1 0 9196 0 0 0 21977 29 0 0 25 0 1 0 481875039 40284160 9070 4294967295 134512640 134672761 3221224560 3221223684 134566037 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 9835 9070 603 41 0 9794 0
vsize: 39340
[startup+230.099 s]
Raw data (loadavg): 1.10 1.00 0.92 2/55 30334
Raw data (stat): 30281 (minisat+) R 30280 20024 20023 0 -1 0 9763 0 0 0 22976 31 0 0 25 0 1 0 481875039 42577920 9637 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 10395 9637 603 41 0 10354 0
vsize: 41580
[startup+240.098 s]
Raw data (loadavg): 1.09 1.00 0.92 2/55 30334
Raw data (stat): 30281 (minisat+) R 30280 20024 20023 0 -1 0 10544 0 0 0 23974 33 0 0 25 0 1 0 481875039 45797376 10418 4294967295 134512640 134672761 3221224560 3221223560 1075350517 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11181 10418 603 41 0 11140 0
vsize: 44724
[startup+250.098 s]
Raw data (loadavg): 1.07 1.00 0.92 2/55 30334
Raw data (stat): 30281 (minisat+) R 30280 20024 20023 0 -1 0 11256 0 0 0 24972 35 0 0 25 0 1 0 481875039 48619520 11130 4294967295 134512640 134672761 3221224560 3221223728 134561215 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11870 11130 603 41 0 11829 0
vsize: 47480
[startup+260.098 s]
Raw data (loadavg): 1.06 1.00 0.92 2/55 30334
Raw data (stat): 30281 (minisat+) R 30280 20024 20023 0 -1 0 11825 0 0 0 25970 37 0 0 25 0 1 0 481875039 51036160 11699 4294967295 134512640 134672761 3221224560 3221223760 134557809 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12460 11699 603 41 0 12419 0
vsize: 49840
[startup+270.099 s]
Raw data (loadavg): 1.05 1.00 0.92 2/55 30334
Raw data (stat): 30281 (minisat+) R 30280 20024 20023 0 -1 0 12426 0 0 0 26969 38 0 0 25 0 1 0 481875039 53460992 12300 4294967295 134512640 134672761 3221224560 3221223728 134561151 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 13052 12300 603 41 0 13011 0
vsize: 52208
[startup+280.099 s]
Raw data (loadavg): 1.04 1.00 0.92 2/55 30336
Raw data (stat): 30281 (minisat+) R 30280 20024 20023 0 -1 0 12938 0 0 0 27967 40 0 0 25 0 1 0 481875039 55463936 12812 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 13541 12812 603 41 0 13500 0
vsize: 54164
[startup+290.099 s]
Raw data (loadavg): 1.04 1.00 0.92 2/55 30336
Raw data (stat): 30281 (minisat+) R 30280 20024 20023 0 -1 0 13401 0 0 0 28966 42 0 0 25 0 1 0 481875039 57344000 13275 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 14000 13275 603 41 0 13959 0
vsize: 56000
[startup+300.1 s]
Raw data (loadavg): 1.03 1.00 0.92 2/55 30338
Raw data (stat): 30281 (minisat+) R 30280 20024 20023 0 -1 0 14012 0 0 0 29964 44 0 0 25 0 1 0 481875039 60157952 13886 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 14687 13886 603 41 0 14646 0
vsize: 58748
[startup+310.099 s]
Raw data (loadavg): 1.03 1.00 0.92 2/55 30338
Raw data (stat): 30281 (minisat+) R 30280 20024 20023 0 -1 0 14589 0 0 0 30963 45 0 0 25 0 1 0 481875039 62570496 14463 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 15276 14463 603 41 0 15235 0
vsize: 61104
[startup+320.1 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 30338
Raw data (stat): 30281 (minisat+) R 30280 20024 20023 0 -1 0 15130 0 0 0 31960 48 0 0 25 0 1 0 481875039 64704512 15004 4294967295 134512640 134672761 3221224560 3221223728 134560940 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 15797 15004 603 41 0 15756 0
vsize: 63188
[startup+330.1 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 30338
Raw data (stat): 30281 (minisat+) R 30280 20024 20023 0 -1 0 15480 0 0 0 32960 49 0 0 25 0 1 0 481875039 65961984 15322 4294967295 134512640 134672761 3221224560 3221223728 134560988 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16104 15322 603 41 0 16063 0
vsize: 64416
[startup+340.1 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 30338
Raw data (stat): 30281 (minisat+) R 30280 20024 20023 0 -1 0 15785 0 0 0 33959 50 0 0 25 0 1 0 481875039 67309568 15627 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16433 15627 603 41 0 16392 0
vsize: 65732
[startup+350.101 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 30338
Raw data (stat): 30281 (minisat+) R 30280 20024 20023 0 -1 0 16051 0 0 0 34958 51 0 0 25 0 1 0 481875039 68202496 15861 4294967295 134512640 134672761 3221224560 3221223728 134561164 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16651 15861 603 41 0 16610 0
vsize: 66604
[startup+360.101 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 30338
Raw data (stat): 30281 (minisat+) R 30280 20024 20023 0 -1 0 16379 0 0 0 35957 52 0 0 25 0 1 0 481875039 69537792 16189 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16977 16189 603 41 0 16936 0
vsize: 67908
[startup+370.101 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 30338
Raw data (stat): 30281 (minisat+) R 30280 20024 20023 0 -1 0 16829 0 0 0 36956 53 0 0 25 0 1 0 481875039 71397376 16639 4294967295 134512640 134672761 3221224560 3221223728 134560888 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17431 16639 603 41 0 17390 0
vsize: 69724
[startup+380.101 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 30338
Raw data (stat): 30281 (minisat+) R 30280 20024 20023 0 -1 0 17118 0 0 0 37955 54 0 0 25 0 1 0 481875039 72466432 16928 4294967295 134512640 134672761 3221224560 3221223732 134556634 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17692 16928 603 41 0 17651 0
vsize: 70768
[startup+390.101 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 30338
Raw data (stat): 30281 (minisat+) R 30280 20024 20023 0 -1 0 17482 0 0 0 38954 55 0 0 25 0 1 0 481875039 74067968 17292 4294967295 134512640 134672761 3221224560 3221223744 134559405 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18083 17292 603 41 0 18042 0
vsize: 72332
[startup+400.101 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 30338
Raw data (stat): 30281 (minisat+) R 30280 20024 20023 0 -1 0 17936 0 0 0 39953 57 0 0 25 0 1 0 481875039 75808768 17746 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18508 17746 603 41 0 18467 0
vsize: 74032
[startup+410.101 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 30338
Raw data (stat): 30281 (minisat+) R 30280 20024 20023 0 -1 0 18371 0 0 0 40952 58 0 0 25 0 1 0 481875039 77684736 18181 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18966 18181 603 41 0 18925 0
vsize: 75864
[startup+420.102 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 30338
Raw data (stat): 30281 (minisat+) R 30280 20024 20023 0 -1 0 18697 0 0 0 41951 59 0 0 25 0 1 0 481875039 79015936 18507 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 19291 18507 603 41 0 19250 0
vsize: 77164
[startup+430.101 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 30338
Raw data (stat): 30281 (minisat+) R 30280 20024 20023 0 -1 0 19014 0 0 0 42951 59 0 0 25 0 1 0 481875039 80211968 18824 4294967295 134512640 134672761 3221224560 3221223728 134561266 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 19583 18824 603 41 0 19542 0
vsize: 78332
[startup+440.102 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 30338
Raw data (stat): 30281 (minisat+) R 30280 20024 20023 0 -1 0 19335 0 0 0 43950 61 0 0 25 0 1 0 481875039 81539072 19145 4294967295 134512640 134672761 3221224560 3221223664 134560405 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 19907 19145 603 41 0 19866 0
vsize: 79628
[startup+450.101 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 30338
Raw data (stat): 30281 (minisat+) R 30280 20024 20023 0 -1 0 19675 0 0 0 44948 62 0 0 25 0 1 0 481875039 83009536 19485 4294967295 134512640 134672761 3221224560 3221223732 134556660 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 20266 19485 603 41 0 20225 0
vsize: 81064
[startup+460.101 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 30338
Raw data (stat): 30281 (minisat+) R 30280 20024 20023 0 -1 0 20003 0 0 0 45948 63 0 0 25 0 1 0 481875039 84213760 19813 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 20560 19813 603 41 0 20519 0
vsize: 82240
[startup+470.102 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 30338
Raw data (stat): 30281 (minisat+) R 30280 20024 20023 0 -1 0 20334 0 0 0 46947 64 0 0 25 0 1 0 481875039 85561344 20144 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 20889 20144 603 41 0 20848 0
vsize: 83556
[startup+480.102 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 30338
Raw data (stat): 30281 (minisat+) R 30280 20024 20023 0 -1 0 20584 0 0 0 47946 65 0 0 25 0 1 0 481875039 86622208 20394 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21148 20394 603 41 0 21107 0
vsize: 84592
[startup+490.102 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 30338
Raw data (stat): 30281 (minisat+) R 30280 20024 20023 0 -1 0 20886 0 0 0 48946 65 0 0 25 0 1 0 481875039 87810048 20696 4294967295 134512640 134672761 3221224560 3221223696 134560729 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21438 20696 603 41 0 21397 0
vsize: 85752
[startup+500.102 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 30338
Raw data (stat): 30281 (minisat+) R 30280 20024 20023 0 -1 0 21207 0 0 0 49945 67 0 0 25 0 1 0 481875039 89153536 21017 4294967295 134512640 134672761 3221224560 3221223696 134560673 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21766 21017 603 41 0 21725 0
vsize: 87064
[startup+510.102 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 30338
Raw data (stat): 30281 (minisat+) R 30280 20024 20023 0 -1 0 21511 0 0 0 50943 68 0 0 25 0 1 0 481875039 90480640 21321 4294967295 134512640 134672761 3221224560 3221223696 134560677 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 22090 21321 603 41 0 22049 0
vsize: 88360
[startup+520.102 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 30338
Raw data (stat): 30281 (minisat+) R 30280 20024 20023 0 -1 0 21827 0 0 0 51943 69 0 0 25 0 1 0 481875039 91684864 21637 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 22384 21637 603 41 0 22343 0
vsize: 89536
[startup+530.102 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 30338
Raw data (stat): 30281 (minisat+) R 30280 20024 20023 0 -1 0 22257 0 0 0 52941 71 0 0 25 0 1 0 481875039 93425664 22067 4294967295 134512640 134672761 3221224560 3221223724 134561235 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 22809 22067 603 41 0 22768 0
vsize: 91236
[startup+540.101 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 30338
Raw data (stat): 30281 (minisat+) R 30280 20024 20023 0 -1 0 22699 0 0 0 53939 73 0 0 25 0 1 0 481875039 95297536 22509 4294967295 134512640 134672761 3221224560 3221223728 134561229 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 23266 22509 603 41 0 23225 0
vsize: 93064
[startup+550.101 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 30340
Raw data (stat): 30281 (minisat+) R 30280 20024 20023 0 -1 0 23085 0 0 0 54938 74 0 0 25 0 1 0 481875039 96763904 22895 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 23624 22895 603 41 0 23583 0
vsize: 94496
[startup+560.102 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 30340
Raw data (stat): 30281 (minisat+) R 30280 20024 20023 0 -1 0 23481 0 0 0 55937 75 0 0 25 0 1 0 481875039 98504704 23291 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24049 23291 603 41 0 24008 0
vsize: 96196
[startup+570.102 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 30340
Raw data (stat): 30281 (minisat+) R 30280 20024 20023 0 -1 0 23870 0 0 0 56936 77 0 0 25 0 1 0 481875039 99966976 23680 4294967295 134512640 134672761 3221224560 3221223728 134561011 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24406 23680 603 41 0 24365 0
vsize: 97624
[startup+580.102 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 30340
Raw data (stat): 30281 (minisat+) R 30280 20024 20023 0 -1 0 24192 0 0 0 57935 78 0 0 25 0 1 0 481875039 101285888 24002 4294967295 134512640 134672761 3221224560 3221223732 134556634 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24728 24002 603 41 0 24687 0
vsize: 98912
[startup+590.103 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 30340
Raw data (stat): 30281 (minisat+) R 30280 20024 20023 0 -1 0 24467 0 0 0 58934 79 0 0 25 0 1 0 481875039 103022592 24277 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 25152 24277 603 41 0 25111 0
vsize: 100608
[startup+600.103 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 30342
Raw data (stat): 30281 (minisat+) R 30280 20024 20023 0 -1 0 24712 0 0 0 59933 79 0 0 25 0 1 0 481875039 103944192 24522 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 25377 24522 603 41 0 25336 0
vsize: 101508
[startup+610.103 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 30342
Raw data (stat): 30281 (minisat+) R 30280 20024 20023 0 -1 0 24969 0 0 0 60933 80 0 0 25 0 1 0 481875039 105013248 24779 4294967295 134512640 134672761 3221224560 3221223744 134558853 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 25638 24779 603 41 0 25597 0
vsize: 102552
[startup+620.103 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 30342
Raw data (stat): 30281 (minisat+) R 30280 20024 20023 0 -1 0 25245 0 0 0 61931 81 0 0 25 0 1 0 481875039 106217472 25055 4294967295 134512640 134672761 3221224560 3221223728 134561188 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 25932 25055 603 41 0 25891 0
vsize: 103728
[startup+630.104 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 30342
Raw data (stat): 30281 (minisat+) R 30280 20024 20023 0 -1 0 25561 0 0 0 62931 82 0 0 25 0 1 0 481875039 107425792 25371 4294967295 134512640 134672761 3221224560 3221223728 134561167 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26227 25371 603 41 0 26186 0
vsize: 104908
[startup+640.104 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 30342
Raw data (stat): 30281 (minisat+) R 30280 20024 20023 0 -1 0 25928 0 0 0 63929 84 0 0 25 0 1 0 481875039 108896256 25738 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26586 25738 603 41 0 26545 0
vsize: 106344
[startup+650.104 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 30342
Raw data (stat): 30281 (minisat+) R 30280 20024 20023 0 -1 0 26250 0 0 0 64929 85 0 0 25 0 1 0 481875039 110231552 26060 4294967295 134512640 134672761 3221224560 3221223728 134561215 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26912 26060 603 41 0 26871 0
vsize: 107648
[startup+660.105 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 30342
Raw data (stat): 30281 (minisat+) R 30280 20024 20023 0 -1 0 26566 0 0 0 65928 86 0 0 25 0 1 0 481875039 111570944 26376 4294967295 134512640 134672761 3221224560 3221223664 134560196 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 27239 26376 603 41 0 27198 0
vsize: 108956
[startup+670.105 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 30342
Raw data (stat): 30281 (minisat+) R 30280 20024 20023 0 -1 0 26884 0 0 0 66928 86 0 0 25 0 1 0 481875039 112783360 26694 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 27535 26694 603 41 0 27494 0
vsize: 110140
[startup+680.106 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 30342
Raw data (stat): 30281 (minisat+) R 30280 20024 20023 0 -1 0 27167 0 0 0 67926 88 0 0 25 0 1 0 481875039 113983488 26977 4294967295 134512640 134672761 3221224560 3221223728 134561164 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 27828 26977 603 41 0 27787 0
vsize: 111312
[startup+690.105 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 30342
Raw data (stat): 30281 (minisat+) R 30280 20024 20023 0 -1 0 27460 0 0 0 68925 90 0 0 25 0 1 0 481875039 115191808 27270 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28123 27270 603 41 0 28082 0
vsize: 112492
[startup+700.106 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 30342
Raw data (stat): 30281 (minisat+) R 30280 20024 20023 0 -1 0 27773 0 0 0 69924 91 0 0 25 0 1 0 481875039 116391936 27583 4294967295 134512640 134672761 3221224560 3221223664 134559887 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28416 27583 603 41 0 28375 0
vsize: 113664
[startup+710.107 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 30342
Raw data (stat): 30281 (minisat+) R 30280 20024 20023 0 -1 0 28078 0 0 0 70923 91 0 0 25 0 1 0 481875039 117719040 27888 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28740 27888 603 41 0 28699 0
vsize: 114960
[startup+720.107 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 30342
Raw data (stat): 30281 (minisat+) R 30280 20024 20023 0 -1 0 28379 0 0 0 71922 92 0 0 25 0 1 0 481875039 118923264 28189 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 29034 28189 603 41 0 28993 0
vsize: 116136
[startup+730.107 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 30342
Raw data (stat): 30281 (minisat+) R 30280 20024 20023 0 -1 0 28694 0 0 0 72922 93 0 0 25 0 1 0 481875039 120250368 28504 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 29358 28504 603 41 0 29317 0
vsize: 117432
[startup+740.107 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 30342
Raw data (stat): 30281 (minisat+) R 30280 20024 20023 0 -1 0 29000 0 0 0 73920 95 0 0 25 0 1 0 481875039 121438208 28810 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 29648 28810 603 41 0 29607 0
vsize: 118592
[startup+750.108 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 30342
Raw data (stat): 30281 (minisat+) R 30280 20024 20023 0 -1 0 29312 0 0 0 74920 95 0 0 25 0 1 0 481875039 122781696 29122 4294967295 134512640 134672761 3221224560 3221223728 134560929 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 29976 29122 603 41 0 29935 0
vsize: 119904
[startup+760.108 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 30342
Raw data (stat): 30281 (minisat+) R 30280 20024 20023 0 -1 0 29589 0 0 0 75919 96 0 0 25 0 1 0 481875039 123842560 29399 4294967295 134512640 134672761 3221224560 3221223744 134559405 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 30235 29399 603 41 0 30194 0
vsize: 120940
[startup+770.109 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 30342
Raw data (stat): 30281 (minisat+) R 30280 20024 20023 0 -1 0 29856 0 0 0 76918 97 0 0 25 0 1 0 481875039 124907520 29666 4294967295 134512640 134672761 3221224560 3221223728 134560999 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 30495 29666 603 41 0 30454 0
vsize: 121980
[startup+780.11 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 30342
Raw data (stat): 30281 (minisat+) R 30280 20024 20023 0 -1 0 30097 0 0 0 77917 98 0 0 25 0 1 0 481875039 125968384 29907 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 30754 29907 603 41 0 30713 0
vsize: 123016
[startup+790.109 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 30342
Raw data (stat): 30281 (minisat+) R 30280 20024 20023 0 -1 0 30344 0 0 0 78917 99 0 0 25 0 1 0 481875039 126906368 30154 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 30983 30154 603 41 0 30942 0
vsize: 123932
[startup+800.11 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 30342
Raw data (stat): 30281 (minisat+) R 30280 20024 20023 0 -1 0 30567 0 0 0 79916 100 0 0 25 0 1 0 481875039 127844352 30377 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 31212 30377 603 41 0 31171 0
vsize: 124848
[startup+810.11 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 30342
Raw data (stat): 30281 (minisat+) R 30280 20024 20023 0 -1 0 30804 0 0 0 80915 101 0 0 25 0 1 0 481875039 128778240 30614 4294967295 134512640 134672761 3221224560 3221223728 134560830 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 31440 30614 603 41 0 31399 0
vsize: 125760
[startup+820.11 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 30342
Raw data (stat): 30281 (minisat+) R 30280 20024 20023 0 -1 0 31037 0 0 0 81914 102 0 0 25 0 1 0 481875039 129716224 30847 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 31669 30847 603 41 0 31628 0
vsize: 126676
[startup+830.111 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 30342
Raw data (stat): 30281 (minisat+) R 30280 20024 20023 0 -1 0 31267 0 0 0 82913 103 0 0 25 0 1 0 481875039 130641920 31077 4294967295 134512640 134672761 3221224560 3221223728 134560999 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 31895 31077 603 41 0 31854 0
vsize: 127580
[startup+840.111 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 30342
Raw data (stat): 30281 (minisat+) R 30280 20024 20023 0 -1 0 31489 0 0 0 83913 103 0 0 25 0 1 0 481875039 131571712 31299 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 32122 31299 603 41 0 32081 0
vsize: 128488
[startup+850.111 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 30342
Raw data (stat): 30281 (minisat+) R 30280 20024 20023 0 -1 0 31733 0 0 0 84912 105 0 0 25 0 1 0 481875039 132632576 31543 4294967295 134512640 134672761 3221224560 3221223664 134560264 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 32381 31543 603 41 0 32340 0
vsize: 129524
[startup+860.111 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 30342
Raw data (stat): 30281 (minisat+) R 30280 20024 20023 0 -1 0 31933 0 0 0 85912 105 0 0 25 0 1 0 481875039 133427200 31743 4294967295 134512640 134672761 3221224560 3221223728 134560980 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 32575 31743 603 41 0 32534 0
vsize: 130300
[startup+870.112 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 30342
Raw data (stat): 30281 (minisat+) R 30280 20024 20023 0 -1 0 32154 0 0 0 86911 106 0 0 25 0 1 0 481875039 134234112 31964 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 32772 31964 603 41 0 32731 0
vsize: 131088
[startup+880.112 s]
Raw data (loadavg): 1.00 1.00 0.92 3/55 30342
Raw data (stat): 30281 (minisat+) R 30280 20024 20023 0 -1 0 32379 0 0 0 87910 107 0 0 25 0 1 0 481875039 135163904 32189 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 32999 32189 603 41 0 32958 0
vsize: 131996
[startup+890.112 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 30342
Raw data (stat): 30281 (minisat+) R 30280 20024 20023 0 -1 0 32603 0 0 0 88910 108 0 0 25 0 1 0 481875039 136101888 32413 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 33228 32413 603 41 0 33187 0
vsize: 132912
[startup+900.113 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 30344
Raw data (stat): 30281 (minisat+) R 30280 20024 20023 0 -1 0 32818 0 0 0 89909 108 0 0 25 0 1 0 481875039 137039872 32628 4294967295 134512640 134672761 3221224560 3221223728 134561190 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 33457 32628 603 41 0 33416 0
vsize: 133828
[startup+910.113 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 30344
Raw data (stat): 30281 (minisat+) R 30280 20024 20023 0 -1 0 33041 0 0 0 90909 109 0 0 25 0 1 0 481875039 137961472 32851 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 33682 32851 603 41 0 33641 0
vsize: 134728
[startup+920.114 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 30344
Raw data (stat): 30281 (minisat+) R 30280 20024 20023 0 -1 0 33246 0 0 0 91909 110 0 0 25 0 1 0 481875039 138756096 33056 4294967295 134512640 134672761 3221224560 3221223696 134560590 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 33876 33056 603 41 0 33835 0
vsize: 135504
[startup+930.113 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 30344
Raw data (stat): 30281 (minisat+) R 30280 20024 20023 0 -1 0 33469 0 0 0 92908 110 0 0 25 0 1 0 481875039 139685888 33279 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 34103 33279 603 41 0 34062 0
vsize: 136412
[startup+940.113 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 30344
Raw data (stat): 30281 (minisat+) R 30280 20024 20023 0 -1 0 33696 0 0 0 93908 111 0 0 25 0 1 0 481875039 140607488 33506 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 34328 33506 603 41 0 34287 0
vsize: 137312
[startup+950.115 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 30344
Raw data (stat): 30281 (minisat+) R 30280 20024 20023 0 -1 0 33927 0 0 0 94907 112 0 0 25 0 1 0 481875039 141537280 33737 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 34555 33737 603 41 0 34514 0
vsize: 138220
[startup+960.114 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 30344
Raw data (stat): 30281 (minisat+) R 30280 20024 20023 0 -1 0 34145 0 0 0 95906 112 0 0 25 0 1 0 481875039 142454784 33955 4294967295 134512640 134672761 3221224560 3221223728 134560999 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 34779 33955 603 41 0 34738 0
vsize: 139116
[startup+970.114 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 30344
Raw data (stat): 30281 (minisat+) R 30280 20024 20023 0 -1 0 34356 0 0 0 96906 113 0 0 25 0 1 0 481875039 143253504 34166 4294967295 134512640 134672761 3221224560 3221223664 134560196 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 34974 34166 603 41 0 34933 0
vsize: 139896
[startup+980.114 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 30344
Raw data (stat): 30281 (minisat+) R 30280 20024 20023 0 -1 0 34543 0 0 0 97905 114 0 0 25 0 1 0 481875039 144052224 34353 4294967295 134512640 134672761 3221224560 3221223664 134560196 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 35169 34353 603 41 0 35128 0
vsize: 140676
[startup+990.114 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 30344
Raw data (stat): 30281 (minisat+) R 30280 20024 20023 0 -1 0 34730 0 0 0 98905 114 0 0 25 0 1 0 481875039 144842752 34540 4294967295 134512640 134672761 3221224560 3221223728 134561190 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 35362 34540 603 41 0 35321 0
vsize: 141448
[startup+1000.11 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 30344
Raw data (stat): 30281 (minisat+) R 30280 20024 20023 0 -1 0 34916 0 0 0 99904 115 0 0 25 0 1 0 481875039 145510400 34726 4294967295 134512640 134672761 3221224560 3221223728 134561118 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 35525 34726 603 41 0 35484 0
vsize: 142100
[startup+1010.11 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 30344
Raw data (stat): 30281 (minisat+) R 30280 20024 20023 0 -1 0 35081 0 0 0 100904 116 0 0 25 0 1 0 481875039 146300928 34891 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 35718 34891 603 41 0 35677 0
vsize: 142872
[startup+1020.11 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 30344
Raw data (stat): 30281 (minisat+) R 30280 20024 20023 0 -1 0 35266 0 0 0 101903 116 0 0 25 0 1 0 481875039 146960384 35076 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 35879 35076 603 41 0 35838 0
vsize: 143516
[startup+1030.11 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 30344
Raw data (stat): 30281 (minisat+) R 30280 20024 20023 0 -1 0 35458 0 0 0 102903 117 0 0 25 0 1 0 481875039 147759104 35268 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 36074 35268 603 41 0 36033 0
vsize: 144296
[startup+1040.11 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 30344
Raw data (stat): 30281 (minisat+) R 30280 20024 20023 0 -1 0 35656 0 0 0 103902 118 0 0 25 0 1 0 481875039 148553728 35466 4294967295 134512640 134672761 3221224560 3221223760 134557911 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 36268 35466 603 41 0 36227 0
vsize: 145072
[startup+1050.12 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 30344
Raw data (stat): 30281 (minisat+) R 30280 20024 20023 0 -1 0 35846 0 0 0 104902 118 0 0 25 0 1 0 481875039 149344256 35656 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 36461 35656 603 41 0 36420 0
vsize: 145844
[startup+1060.12 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 30344
Raw data (stat): 30281 (minisat+) R 30280 20024 20023 0 -1 0 36031 0 0 0 105902 119 0 0 25 0 1 0 481875039 150134784 35841 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 36654 35841 603 41 0 36613 0
vsize: 146616
[startup+1070.12 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 30344
Raw data (stat): 30281 (minisat+) R 30280 20024 20023 0 -1 0 36213 0 0 0 106901 119 0 0 25 0 1 0 481875039 150806528 36023 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 36818 36023 603 41 0 36777 0
vsize: 147272
[startup+1080.12 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 30344
Raw data (stat): 30281 (minisat+) R 30280 20024 20023 0 -1 0 36392 0 0 0 107901 120 0 0 25 0 1 0 481875039 151601152 36202 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 37012 36202 603 41 0 36971 0
vsize: 148048
[startup+1090.12 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 30344
Raw data (stat): 30281 (minisat+) R 30280 20024 20023 0 -1 0 36578 0 0 0 108901 120 0 0 25 0 1 0 481875039 152395776 36388 4294967295 134512640 134672761 3221224560 3221223728 134560903 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 37206 36388 603 41 0 37165 0
vsize: 148824
[startup+1100.12 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 30344
Raw data (stat): 30281 (minisat+) R 30280 20024 20023 0 -1 0 36760 0 0 0 109900 121 0 0 25 0 1 0 481875039 153186304 36570 4294967295 134512640 134672761 3221224560 3221223728 134560830 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 37399 36570 603 41 0 37358 0
vsize: 149596
[startup+1110.12 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 30344
Raw data (stat): 30281 (minisat+) R 30280 20024 20023 0 -1 0 36951 0 0 0 110899 122 0 0 25 0 1 0 481875039 153849856 36761 4294967295 134512640 134672761 3221224560 3221223728 134561164 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 37561 36761 603 41 0 37520 0
vsize: 150244
[startup+1120.12 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 30344
Raw data (stat): 30281 (minisat+) R 30280 20024 20023 0 -1 0 37169 0 0 0 111899 123 0 0 25 0 1 0 481875039 154800128 36979 4294967295 134512640 134672761 3221224560 3221223728 134561215 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 37793 36979 603 41 0 37752 0
vsize: 151172
[startup+1130.12 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 30344
Raw data (stat): 30281 (minisat+) R 30280 20024 20023 0 -1 0 37358 0 0 0 112898 123 0 0 25 0 1 0 481875039 155594752 37168 4294967295 134512640 134672761 3221224560 3221223728 134561167 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 37987 37168 603 41 0 37946 0
vsize: 151948
[startup+1140.12 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 30344
Raw data (stat): 30281 (minisat+) R 30280 20024 20023 0 -1 0 37553 0 0 0 113897 124 0 0 25 0 1 0 481875039 156401664 37363 4294967295 134512640 134672761 3221224560 3221223728 134560942 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 38184 37363 603 41 0 38143 0
vsize: 152736
[startup+1150.12 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 30344
Raw data (stat): 30281 (minisat+) R 30280 20024 20023 0 -1 0 37749 0 0 0 114896 125 0 0 25 0 1 0 481875039 157204480 37559 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 38380 37559 603 41 0 38339 0
vsize: 153520
[startup+1160.12 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 30344
Raw data (stat): 30281 (minisat+) R 30280 20024 20023 0 -1 0 37947 0 0 0 115896 126 0 0 25 0 1 0 481875039 157990912 37757 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 38572 37757 603 41 0 38531 0
vsize: 154288
[startup+1170.12 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 30344
Raw data (stat): 30281 (minisat+) R 30280 20024 20023 0 -1 0 38153 0 0 0 116895 127 0 0 25 0 1 0 481875039 158777344 37963 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 38764 37963 603 41 0 38723 0
vsize: 155056
[startup+1180.12 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 30344
Raw data (stat): 30281 (minisat+) R 30280 20024 20023 0 -1 0 38359 0 0 0 117895 128 0 0 25 0 1 0 481875039 159576064 38169 4294967295 134512640 134672761 3221224560 3221223728 134561167 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 38959 38169 603 41 0 38918 0
vsize: 155836
[startup+1190.12 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 30344
Raw data (stat): 30281 (minisat+) R 30280 20024 20023 0 -1 0 38568 0 0 0 118894 128 0 0 25 0 1 0 481875039 160505856 38378 4294967295 134512640 134672761 3221224560 3221223728 134560906 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 39186 38378 603 41 0 39145 0
vsize: 156744
[startup+1200.12 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 30346
Raw data (stat): 30281 (minisat+) R 30280 20024 20023 0 -1 0 38804 0 0 0 119894 129 0 0 25 0 1 0 481875039 161431552 38614 4294967295 134512640 134672761 3221224560 3221223728 134560996 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 39412 38614 603 41 0 39371 0
vsize: 157648
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.2 s]
Raw data (loadavg): 1.00 1.00 0.92 1/55 30346
Raw data (stat): 30281 (minisat+) Z 30280 20024 20023 0 -1 12 38807 0 0 0 119894 136 0 0 25 0 1 0 481875039 0 0 4294967295 0 0 0 0 0 0 16384 5 16386 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 10
Real time (s): 1200.2
CPU time (s): 1200.31
CPU user time (s): 1198.95
CPU system time (s): 1.36479
CPU usage (%): 100.009
Max. virtual memory (Kb): 157648
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####