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/frb56-25-opb/normalized-frb56-25-2.opb
MD5SUM	550a32227cb0042826e9d8b0433b2655
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-42
Optimality of the best value was proved	NO
Number of terms in the objective function	1400
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	1400
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	1400
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.12
Number of variables	1400
Total number of constraints	109401
Number of constraints which are clauses	109401
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 6389

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.091
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:        887064 kB
Buffers:         36112 kB
Cached:          91644 kB
SwapCached:         16 kB
Active:          65392 kB
Inactive:        65240 kB
HighTotal:      131008 kB
HighFree:        35448 kB
LowTotal:       903652 kB
LowFree:        851616 kB
SwapTotal:     2097136 kB
SwapFree:      2097120 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6920 kB
Slab:            11372 kB
Committed_AS:    63484 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-14 05:11:44 (client local time) WITH STATUS 10 IN 1200.7 SECONDS
stats: 4857 7 1200.7 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Parsing PB file...
c Converting 109401 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 |  109401   218802 |   36467       0        0     nan |  0.000 % |
c ==============================================================================
c [1mFound solution: -40[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:78076     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |         0 |  277428   611918 |   92476       0        0     nan |  0.000 % |
c |       100 |  277159   611312 |  101723      92      383     4.2 |  0.140 % |
c |       250 |  275005   606389 |  111895     204     1102     5.4 |  1.263 % |
c |       475 |  273871   603815 |  123085     409     1941     4.7 |  1.825 % |
c |       812 |  268748   592063 |  135394     644     3719     5.8 |  4.556 % |
c |      1318 |  263333   579645 |  148933    1048     7809     7.5 |  7.437 % |
c |      2077 |  253690   557453 |  163826    1603    12459     7.8 | 12.685 % |
c |      3216 |  246062   539894 |  180209    2580    24858     9.6 | 16.845 % |
c |      4924 |  225844   493100 |  198230    3740    46843    12.5 | 28.193 % |
c |      7486 |  194660   420365 |  218053    5196    59860    11.5 | 46.086 % |
c |     11330 |  164762   350433 |  239858    7288    81059    11.1 | 63.918 % |
c ==============================================================================
c [1mFound solution: -41[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     15519 |  148065   311177 |   49355    9862   113424    11.5 | 63.918 % |
c |     15619 |  147960   310930 |   54290    9951   114583    11.5 | 74.161 % |
c |     15769 |  147420   309660 |   59719    9996   115093    11.5 | 74.499 % |
c |     15994 |  146059   306456 |   65691   10028   115526    11.5 | 75.363 % |
c |     16331 |  145248   304566 |   72260   10062   112579    11.2 | 75.881 % |
c |     16837 |  144798   303506 |   79486   10453   117430    11.2 | 76.105 % |
c |     17596 |  142480   298059 |   87435   10776   122528    11.4 | 77.522 % |
c |     18735 |  140103   292485 |   96178   11486   134682    11.7 | 78.986 % |
c ==============================================================================
c [1mFound solution: -42[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     19696 |  137847   287083 |   45949   11841   137907    11.6 | 78.986 % |
c |     19796 |  137730   286813 |   50543   11926   138906    11.6 | 80.439 % |
c |     19946 |  137730   286813 |   55598   12076   141230    11.7 | 80.439 % |
c |     20171 |  137206   285580 |   61158   12194   142725    11.7 | 80.766 % |
c |     20509 |  136943   284965 |   67273   12474   150413    12.1 | 80.922 % |
c |     21015 |  136517   283970 |   74001   12891   158770    12.3 | 81.171 % |
c |     21774 |  136149   283098 |   81401   13485   171996    12.8 | 81.407 % |
c |     22913 |  135756   282180 |   89541   14534   193979    13.3 | 81.636 % |
c |     24622 |  132869   275388 |   98495   15284   224105    14.7 | 83.420 % |
c |     27186 |  131566   272321 |  108345   17211   285131    16.6 | 84.238 % |
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 |     27832 |  131693   272649 |   43897   17857   304905    17.1 | 84.238 % |
c |     27932 |  131693   272649 |   48286   17957   307591    17.1 | 84.213 % |
c |     28083 |  131432   272040 |   53115   17986   308075    17.1 | 84.370 % |
c |     28309 |  131345   271834 |   58426   18145   309907    17.1 | 84.426 % |
c |     28647 |  131323   271782 |   64269   18474   317706    17.2 | 84.440 % |
c |     29153 |  130835   270640 |   70696   18752   321088    17.1 | 84.742 % |
c |     29912 |  130754   270449 |   77766   19385   360324    18.6 | 84.794 % |
c |     31052 |  130052   268793 |   85542   20112   391277    19.5 | 85.242 % |
c |     32760 |  129570   267660 |   94097   21253   450777    21.2 | 85.544 % |
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 |     34521 |  128758   265715 |   42919   22258   506517    22.8 | 85.544 % |
c |     34621 |  128342   264737 |   47210   22090   503423    22.8 | 86.332 % |
c |     34772 |  128342   264737 |   51931   22241   508919    22.9 | 86.332 % |
c |     34997 |  128170   264334 |   57125   22427   511400    22.8 | 86.439 % |
c |     35334 |  128170   264334 |   62837   22764   524649    23.0 | 86.439 % |
c ==============================================================================
c [1mFound solution: -45[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     35583 |  128235   264501 |   42745   23013   536526    23.3 | 86.439 % |
c |     35683 |  127736   263332 |   47019   22799   534578    23.4 | 86.713 % |
c |     35833 |  127736   263332 |   51721   22949   537527    23.4 | 86.713 % |
c |     36058 |  127736   263332 |   56893   23174   540027    23.3 | 86.713 % |
c |     36395 |  127441   262645 |   62582   23267   542704    23.3 | 86.975 % |
c |     36901 |  127297   262303 |   68841   23627   557481    23.6 | 86.979 % |
c |     37660 |  127186   262040 |   75725   24339   579930    23.8 | 87.052 % |
c |     38799 |  127186   262040 |   83297   25478   627680    24.6 | 87.052 % |
c |     40508 |  127182   262031 |   91627   27179   689013    25.4 | 87.054 % |
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 |     42703 |  127103   261829 |   42367   29245   813637    27.8 | 87.054 % |
c |     42804 |  127103   261829 |   46603   29346   818182    27.9 | 87.093 % |
c |     42954 |  127103   261829 |   51264   29496   821694    27.9 | 87.093 % |
c |     43179 |  127103   261829 |   56390   29721   844197    28.4 | 87.093 % |
c |     43516 |  127103   261829 |   62029   30058   857660    28.5 | 87.093 % |
c |     44023 |  127103   261829 |   68232   30565   882365    28.9 | 87.093 % |
c |     44782 |  126724   260929 |   75055   30612   948611    31.0 | 87.343 % |
c |     45921 |  126724   260929 |   82561   31751  1014560    32.0 | 87.343 % |
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 |     46631 |  126722   260939 |   42240   32414  1057472    32.6 | 87.343 % |
c |     46731 |  126722   260939 |   46464   32514  1059280    32.6 | 87.385 % |
c |     46882 |  126722   260939 |   51110   32665  1060548    32.5 | 87.385 % |
c |     47108 |  126722   260939 |   56221   32891  1077469    32.8 | 87.385 % |
c |     47445 |  126696   260879 |   61843   33175  1121011    33.8 | 87.399 % |
c |     47951 |  126229   259786 |   68027   32893  1118394    34.0 | 87.685 % |
c |     48710 |  126229   259786 |   74830   33652  1150476    34.2 | 87.685 % |
c |     49849 |  126132   259556 |   82313   34502  1214725    35.2 | 87.748 % |
c |     51557 |  125825   258840 |   90545   35783  1326296    37.1 | 87.931 % |
c |     54119 |  125597   258308 |   99599   37911  1528937    40.3 | 88.059 % |
c |     57963 |  125583   258275 |  109559   41744  1878830    45.0 | 88.067 % |
c |     63729 |  125382   257804 |  120515   47099  2591413    55.0 | 88.189 % |
c |     72380 |  124887   256644 |  132567   55014  3607984    65.6 | 88.495 % |
c |     85356 |  124883   256635 |  145823   67936  6462046    95.1 | 88.497 % |
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 |     86113 |  124852   256545 |   41617   68404  6501591    95.0 | 88.497 % |
c |     86213 |  124852   256545 |   45778   68504  6508162    95.0 | 88.513 % |
c |     86363 |  124852   256545 |   50356   68654  6513671    94.9 | 88.513 % |
c |     86588 |  124852   256545 |   55392   68879  6517985    94.6 | 88.513 % |
c |     86925 |  124844   256526 |   60931   69213  6550559    94.6 | 88.518 % |
c |     87431 |  124844   256526 |   67024   69719  6583252    94.4 | 88.518 % |
c |     88191 |  124800   256421 |   73727   70287  6673278    94.9 | 88.548 % |
c |     89330 |  124800   256421 |   81099   71426  6798145    95.2 | 88.548 % |
c |     91039 |  124794   256407 |   89209   73134  7004323    95.8 | 88.551 % |
c |     93601 |  124754   256312 |   98130   75562  7265183    96.1 | 88.578 % |
c |     97445 |  124754   256312 |  107943   79406  7936678   100.0 | 88.578 % |
c |    103211 |  124443   255578 |  118738   84822  8879483   104.7 | 88.782 % |
c |    111861 |  124443   255578 |  130611   93472 10844333   116.0 | 88.782 % |
c |    124836 |  124359   255382 |  143673  105920 12729154   120.2 | 88.832 % |
c |    144299 |  124355   255373 |  158040  125382 16622052   132.6 | 88.834 % |
c |    173491 |  124008   254553 |  173844  153921 21635695   140.6 | 89.051 % |
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 |    184002 |  123973   254479 |   41324  164160 23381346   142.4 | 89.051 % |
c |    184102 |  123973   254479 |   45456   23686  2195982    92.7 | 89.081 % |
c |    184253 |  123973   254479 |   50002   23837  2204646    92.5 | 89.081 % |
c |    184478 |  123973   254479 |   55002   24062  2208138    91.8 | 89.081 % |
c |    184816 |  123973   254479 |   60502   24400  2236064    91.6 | 89.081 % |
c |    185322 |  123953   254432 |   66552   24904  2296496    92.2 | 89.093 % |
c |    186082 |  123953   254432 |   73207   25664  2405362    93.7 | 89.093 % |
c |    187222 |  123953   254432 |   80528   26804  2585369    96.5 | 89.093 % |
c |    188931 |  123953   254432 |   88581   28513  2771870    97.2 | 89.093 % |
c |    191493 |  123853   254195 |   97439   31038  3088708    99.5 | 89.156 % |
c |    195338 |  123849   254186 |  107183   34882  3658381   104.9 | 89.158 % |
c |    201104 |  123849   254186 |  117902   40648  4482294   110.3 | 89.158 % |
c |    209754 |  123849   254186 |  129692   49298  5798269   117.6 | 89.158 % |
c |    222728 |  123849   254186 |  142661   62272  7515785   120.7 | 89.158 % |
c |    242189 |  123825   254129 |  156927   81721 10104645   123.6 | 89.174 % |
c |    271384 |  123813   254101 |  172620  110908 14366056   129.5 | 89.181 % |
c 
c *** TERMINATED ***
s SATISFIABLE
v 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 -C257 -C256 -C255 -C254 -C253 -C252 -C251 -C250 -C249 -C248 C247 -C246 -C245 -C244 -C243 -C242 -C241 -C240 -C239 -C238 -C237 -C236 -C235 -C234 -C233 -C232 -C231 -C230 -C229 -C228 -C227 -C226 -C225 -C224 -C223 -C222 -C221 -C220 -C219 -C218 -C217 -C216 -C215 -C214 C213 -C212 -C211 -C210 -C209 -C208 -C207 -C206 -C205 -C204 -C203 -C202 -C201 -C200 -C199 -C198 -C197 -C196 -C195 -C194 -C193 -C192 -C191 -C190 -C189 C188 -C187 -C186 -C185 -C184 -C183 -C182 -C181 -C180 -C179 -C178 -C177 -C176 -C175 -C174 -C173 -C172 -C171 -C170 -C169 -C168 -C167 -C166 -C165 -C164 -C163 -C162 -C161 -C160 -C159 C158 -C157 -C156 -C155 -C154 -C153 -C152 -C151 -C150 -C149 -C148 -C147 -C146 -C145 -C144 -C143 -C142 -C141 -C140 -C139 -C138 -C137 -C136 -C135 -C134 -C133 -C132 -C131 -C130 -C129 -C128 -C127 C126 -C125 -C124 C123 -C122 -C121 -C120 -C119 -C118 -C117 -C116 -C115 -C114 -C113 -C112 -C111 -C110 -C109 -C108 -C107 -C106 -C105 -C104 -C103 -C102 -C1#### 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.86 0.95 0.90 2/54 628
Raw data (stat): 628 (runsolver) R 627 25285 25284 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 423627631 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.001 s]
Raw data (loadavg): 0.88 0.96 0.91 2/54 628
Raw data (stat): 628 (minisat+) R 627 25285 25284 0 -1 0 6652 0 0 0 977 21 0 0 25 0 1 0 423627631 30277632 6630 4294967295 134512640 134672761 3221224560 3221223732 134556598 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7392 6630 603 41 0 7351 0
vsize: 29568
[startup+20.0015 s]
Raw data (loadavg): 0.90 0.96 0.91 2/54 628
Raw data (stat): 628 (minisat+) R 627 25285 25284 0 -1 0 6652 0 0 0 1977 21 0 0 25 0 1 0 423627631 30277632 6630 4294967295 134512640 134672761 3221224560 3221223764 134561964 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7392 6630 603 41 0 7351 0
vsize: 29568
[startup+30.0013 s]
Raw data (loadavg): 0.91 0.96 0.91 2/54 628
Raw data (stat): 628 (minisat+) R 627 25285 25284 0 -1 0 6652 0 0 0 2976 21 0 0 25 0 1 0 423627631 30277632 6630 4294967295 134512640 134672761 3221224560 3221223732 134556598 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7392 6630 603 41 0 7351 0
vsize: 29568
[startup+40.0011 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 628
Raw data (stat): 628 (minisat+) R 627 25285 25284 0 -1 0 6654 0 0 0 3976 21 0 0 25 0 1 0 423627631 30277632 6632 4294967295 134512640 134672761 3221224560 3221223732 134556598 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7392 6632 603 41 0 7351 0
vsize: 29568
[startup+50.0009 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 628
Raw data (stat): 628 (minisat+) R 627 25285 25284 0 -1 0 6654 0 0 0 4977 21 0 0 25 0 1 0 423627631 30277632 6632 4294967295 134512640 134672761 3221224560 3221223732 134556598 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7392 6632 603 41 0 7351 0
vsize: 29568
[startup+60.0018 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 628
Raw data (stat): 628 (minisat+) R 627 25285 25284 0 -1 0 6654 0 0 0 5977 21 0 0 25 0 1 0 423627631 30277632 6632 4294967295 134512640 134672761 3221224560 3221223708 134560631 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7392 6632 603 41 0 7351 0
vsize: 29568
[startup+70.0029 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 628
Raw data (stat): 628 (minisat+) R 627 25285 25284 0 -1 0 6659 0 0 0 6977 21 0 0 25 0 1 0 423627631 30277632 6637 4294967295 134512640 134672761 3221224560 3221223732 134556598 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7392 6637 603 41 0 7351 0
vsize: 29568
[startup+80.0034 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 628
Raw data (stat): 628 (minisat+) R 627 25285 25284 0 -1 0 6660 0 0 0 7977 21 0 0 25 0 1 0 423627631 30277632 6638 4294967295 134512640 134672761 3221224560 3221223732 134556598 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7392 6638 603 41 0 7351 0
vsize: 29568
[startup+90.0033 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 628
Raw data (stat): 628 (minisat+) R 627 25285 25284 0 -1 0 6661 0 0 0 8978 21 0 0 25 0 1 0 423627631 30277632 6639 4294967295 134512640 134672761 3221224560 3221223732 134556641 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7392 6639 603 41 0 7351 0
vsize: 29568
[startup+100.003 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 628
Raw data (stat): 628 (minisat+) R 627 25285 25284 0 -1 0 6661 0 0 0 9978 21 0 0 25 0 1 0 423627631 30277632 6639 4294967295 134512640 134672761 3221224560 3221223764 134561964 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7392 6639 603 41 0 7351 0
vsize: 29568
[startup+110.004 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 628
Raw data (stat): 628 (minisat+) R 627 25285 25284 0 -1 0 6664 0 0 0 10978 21 0 0 25 0 1 0 423627631 30277632 6642 4294967295 134512640 134672761 3221224560 3221223732 134556598 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7392 6642 603 41 0 7351 0
vsize: 29568
[startup+120.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 628
Raw data (stat): 628 (minisat+) R 627 25285 25284 0 -1 0 6675 0 0 0 11978 21 0 0 25 0 1 0 423627631 30453760 6653 4294967295 134512640 134672761 3221224560 3221223696 134560647 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7435 6653 603 41 0 7394 0
vsize: 29740
[startup+130.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 628
Raw data (stat): 628 (minisat+) R 627 25285 25284 0 -1 0 6889 0 0 0 12978 21 0 0 25 0 1 0 423627631 31682560 6867 4294967295 134512640 134672761 3221224560 3221223776 134561985 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7735 6867 603 41 0 7694 0
vsize: 30940
[startup+140.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 628
Raw data (stat): 628 (minisat+) R 627 25285 25284 0 -1 0 6891 0 0 0 13977 22 0 0 25 0 1 0 423627631 31682560 6869 4294967295 134512640 134672761 3221224560 3221223744 134558687 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7735 6869 603 41 0 7694 0
vsize: 30940
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 628
Raw data (stat): 628 (minisat+) R 627 25285 25284 0 -1 0 6895 0 0 0 14978 22 0 0 25 0 1 0 423627631 31682560 6873 4294967295 134512640 134672761 3221224560 3221223732 134556602 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7735 6873 603 41 0 7694 0
vsize: 30940
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 628
Raw data (stat): 628 (minisat+) R 627 25285 25284 0 -1 0 7117 0 0 0 15978 22 0 0 25 0 1 0 423627631 32464896 7063 4294967295 134512640 134672761 3221224560 3221223728 134560940 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7926 7063 603 41 0 7885 0
vsize: 31704
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 628
Raw data (stat): 628 (minisat+) R 627 25285 25284 0 -1 0 7406 0 0 0 16977 23 0 0 25 0 1 0 423627631 33460224 7289 4294967295 134512640 134672761 3221224560 3221223760 134557842 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 8169 7289 603 41 0 8128 0
vsize: 32676
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 628
Raw data (stat): 628 (minisat+) R 627 25285 25284 0 -1 0 7855 0 0 0 17976 24 0 0 25 0 1 0 423627631 35135488 7706 4294967295 134512640 134672761 3221224560 3221223684 134566034 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 8578 7706 603 41 0 8537 0
vsize: 34312
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 628
Raw data (stat): 628 (minisat+) R 627 25285 25284 0 -1 0 8233 0 0 0 18975 25 0 0 25 0 1 0 423627631 36626432 8052 4294967295 134512640 134672761 3221224560 3221223748 134556676 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 8942 8052 603 41 0 8901 0
vsize: 35768
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 628
Raw data (stat): 628 (minisat+) R 627 25285 25284 0 -1 0 8731 0 0 0 19973 27 0 0 25 0 1 0 423627631 38649856 8550 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 9436 8550 603 41 0 9395 0
vsize: 37744
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 628
Raw data (stat): 628 (minisat+) R 627 25285 25284 0 -1 0 9138 0 0 0 20973 28 0 0 25 0 1 0 423627631 40263680 8957 4294967295 134512640 134672761 3221224560 3221223728 134560839 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 9830 8957 603 41 0 9789 0
vsize: 39320
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 628
Raw data (stat): 628 (minisat+) R 627 25285 25284 0 -1 0 9789 0 0 0 21971 30 0 0 25 0 1 0 423627631 42938368 9608 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 10483 9608 603 41 0 10442 0
vsize: 41932
[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 628
Raw data (stat): 628 (minisat+) R 627 25285 25284 0 -1 0 10290 0 0 0 22970 31 0 0 25 0 1 0 423627631 44953600 10109 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 10975 10109 603 41 0 10934 0
vsize: 43900
[startup+240.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 628
Raw data (stat): 628 (minisat+) R 627 25285 25284 0 -1 0 10817 0 0 0 23969 32 0 0 25 0 1 0 423627631 47091712 10636 4294967295 134512640 134672761 3221224560 3221223728 134561385 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11497 10636 603 41 0 11456 0
vsize: 45988
[startup+250.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 628
Raw data (stat): 628 (minisat+) R 627 25285 25284 0 -1 0 11369 0 0 0 24967 34 0 0 25 0 1 0 423627631 49369088 11188 4294967295 134512640 134672761 3221224560 3221223696 134560688 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12053 11188 603 41 0 12012 0
vsize: 48212
[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 628
Raw data (stat): 628 (minisat+) R 627 25285 25284 0 -1 0 12007 0 0 0 25966 36 0 0 25 0 1 0 423627631 52047872 11826 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12707 11826 603 41 0 12666 0
vsize: 50828
[startup+270.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 628
Raw data (stat): 628 (minisat+) R 627 25285 25284 0 -1 0 12644 0 0 0 26964 38 0 0 25 0 1 0 423627631 54587392 12463 4294967295 134512640 134672761 3221224560 3221223728 134561256 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 13327 12463 603 41 0 13286 0
vsize: 53308
[startup+280.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 628
Raw data (stat): 628 (minisat+) R 627 25285 25284 0 -1 0 13280 0 0 0 27962 39 0 0 25 0 1 0 423627631 57511936 13099 4294967295 134512640 134672761 3221224560 3221223696 134565036 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 14041 13099 603 41 0 14000 0
vsize: 56164
[startup+290.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 628
Raw data (stat): 628 (minisat+) R 627 25285 25284 0 -1 0 13746 0 0 0 28962 40 0 0 25 0 1 0 423627631 59158528 13533 4294967295 134512640 134672761 3221224560 3221223728 134561151 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 14443 13533 603 41 0 14402 0
vsize: 57772
[startup+300.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 628
Raw data (stat): 628 (minisat+) R 627 25285 25284 0 -1 0 14109 0 0 0 29961 41 0 0 25 0 1 0 423627631 60641280 13896 4294967295 134512640 134672761 3221224560 3221223728 134561167 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 14805 13896 603 41 0 14764 0
vsize: 59220
[startup+310.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 628
Raw data (stat): 628 (minisat+) R 627 25285 25284 0 -1 0 14475 0 0 0 30961 42 0 0 25 0 1 0 423627631 62251008 14262 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 15198 14262 603 41 0 15157 0
vsize: 60792
[startup+320.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 628
Raw data (stat): 628 (minisat+) R 627 25285 25284 0 -1 0 14968 0 0 0 31959 43 0 0 25 0 1 0 423627631 64126976 14755 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 15656 14755 603 41 0 15615 0
vsize: 62624
[startup+330.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 628
Raw data (stat): 628 (minisat+) R 627 25285 25284 0 -1 0 15372 0 0 0 32958 44 0 0 25 0 1 0 423627631 65851392 15159 4294967295 134512640 134672761 3221224560 3221223728 134560999 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16077 15159 603 41 0 16036 0
vsize: 64308
[startup+340.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 628
Raw data (stat): 628 (minisat+) R 627 25285 25284 0 -1 0 15916 0 0 0 33958 45 0 0 25 0 1 0 423627631 68108288 15703 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16628 15703 603 41 0 16587 0
vsize: 66512
[startup+350.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 628
Raw data (stat): 628 (minisat+) R 627 25285 25284 0 -1 0 16356 0 0 0 34957 46 0 0 25 0 1 0 423627631 69844992 16143 4294967295 134512640 134672761 3221224560 3221223728 134561375 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17052 16143 603 41 0 17011 0
vsize: 68208
[startup+360.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 628
Raw data (stat): 628 (minisat+) R 627 25285 25284 0 -1 0 16896 0 0 0 35956 47 0 0 25 0 1 0 423627631 71995392 16683 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17577 16683 603 41 0 17536 0
vsize: 70308
[startup+370.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 628
Raw data (stat): 628 (minisat+) R 627 25285 25284 0 -1 0 17441 0 0 0 36955 49 0 0 25 0 1 0 423627631 74248192 17228 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18127 17228 603 41 0 18086 0
vsize: 72508
[startup+380.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 628
Raw data (stat): 628 (minisat+) R 627 25285 25284 0 -1 0 17947 0 0 0 37953 50 0 0 25 0 1 0 423627631 76382208 17734 4294967295 134512640 134672761 3221224560 3221223728 134561151 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18648 17734 603 41 0 18607 0
vsize: 74592
[startup+390.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 628
Raw data (stat): 628 (minisat+) R 627 25285 25284 0 -1 0 18354 0 0 0 38952 52 0 0 25 0 1 0 423627631 77987840 18141 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 19040 18141 603 41 0 18999 0
vsize: 76160
[startup+400.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 628
Raw data (stat): 628 (minisat+) R 627 25285 25284 0 -1 0 18707 0 0 0 39951 52 0 0 25 0 1 0 423627631 79458304 18494 4294967295 134512640 134672761 3221224560 3221223560 1075350517 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 19399 18494 603 41 0 19358 0
vsize: 77596
[startup+410.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 628
Raw data (stat): 628 (minisat+) R 627 25285 25284 0 -1 0 19021 0 0 0 40951 53 0 0 25 0 1 0 423627631 80658432 18808 4294967295 134512640 134672761 3221224560 3221223664 134560326 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 19692 18808 603 41 0 19651 0
vsize: 78768
[startup+420.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 628
Raw data (stat): 628 (minisat+) R 627 25285 25284 0 -1 0 19458 0 0 0 41950 54 0 0 25 0 1 0 423627631 82538496 19245 4294967295 134512640 134672761 3221224560 3221223696 134565073 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 20151 19245 603 41 0 20110 0
vsize: 80604
[startup+430.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 628
Raw data (stat): 628 (minisat+) R 627 25285 25284 0 -1 0 19899 0 0 0 42950 55 0 0 25 0 1 0 423627631 84275200 19686 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 20575 19686 603 41 0 20534 0
vsize: 82300
[startup+440.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 628
Raw data (stat): 628 (minisat+) R 627 25285 25284 0 -1 0 20242 0 0 0 43949 55 0 0 25 0 1 0 423627631 85622784 20029 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 20904 20029 603 41 0 20863 0
vsize: 83616
[startup+450.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 628
Raw data (stat): 628 (minisat+) R 627 25285 25284 0 -1 0 20615 0 0 0 44949 56 0 0 25 0 1 0 423627631 87232512 20402 4294967295 134512640 134672761 3221224560 3221223728 134560852 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21297 20402 603 41 0 21256 0
vsize: 85188
[startup+460.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 628
Raw data (stat): 628 (minisat+) R 627 25285 25284 0 -1 0 21146 0 0 0 45947 58 0 0 25 0 1 0 423627631 89374720 20933 4294967295 134512640 134672761 3221224560 3221223728 134560940 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21820 20933 603 41 0 21779 0
vsize: 87280
[startup+470.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 628
Raw data (stat): 628 (minisat+) R 627 25285 25284 0 -1 0 21598 0 0 0 46947 58 0 0 25 0 1 0 423627631 91238400 21385 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 22275 21385 603 41 0 22234 0
vsize: 89100
[startup+480.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 628
Raw data (stat): 628 (minisat+) R 627 25285 25284 0 -1 0 22066 0 0 0 47946 60 0 0 25 0 1 0 423627631 93106176 21853 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 22731 21853 603 41 0 22690 0
vsize: 90924
[startup+490.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 628
Raw data (stat): 628 (minisat+) R 627 25285 25284 0 -1 0 22520 0 0 0 48945 61 0 0 25 0 1 0 423627631 94973952 22307 4294967295 134512640 134672761 3221224560 3221223728 134560871 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 23187 22307 603 41 0 23146 0
vsize: 92748
[startup+500.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 628
Raw data (stat): 628 (minisat+) R 627 25285 25284 0 -1 0 22972 0 0 0 49944 62 0 0 25 0 1 0 423627631 96849920 22759 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 23645 22759 603 41 0 23604 0
vsize: 94580
[startup+510.224 s]
Raw data (loadavg): 1.15 1.00 0.92 3/58 674
Raw data (stat): 628 (minisat+) R 627 25285 25284 0 -1 0 23258 0 0 0 50958 69 0 0 25 0 1 0 423627631 97931264 23045 4294967295 134512640 134672761 3221224560 3221223696 134560588 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 23909 23045 603 41 0 23868 0
vsize: 95636
[startup+520.224 s]
Raw data (loadavg): 1.20 1.02 0.93 2/54 681
Raw data (stat): 628 (minisat+) R 627 25285 25284 0 -1 0 23626 0 0 0 51956 71 0 0 25 0 1 0 423627631 99545088 23413 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24303 23413 603 41 0 24262 0
vsize: 97212
[startup+530.44 s]
Raw data (loadavg): 1.17 1.02 0.93 2/54 681
Raw data (stat): 628 (minisat+) R 627 25285 25284 0 -1 0 24060 0 0 0 52976 72 0 0 25 0 1 0 423627631 101277696 23847 4294967295 134512640 134672761 3221224560 3221223744 134559161 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24726 23847 603 41 0 24685 0
vsize: 98904
[startup+540.441 s]
Raw data (loadavg): 1.21 1.03 0.93 2/54 681
Raw data (stat): 628 (minisat+) R 627 25285 25284 0 -1 0 24370 0 0 0 53976 73 0 0 25 0 1 0 423627631 102481920 24157 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 25020 24157 603 41 0 24979 0
vsize: 100080
[startup+550.441 s]
Raw data (loadavg): 1.18 1.03 0.93 2/54 681
Raw data (stat): 628 (minisat+) R 627 25285 25284 0 -1 0 24628 0 0 0 54975 74 0 0 25 0 1 0 423627631 103550976 24415 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 25281 24415 603 41 0 25240 0
vsize: 101124
[startup+560.442 s]
Raw data (loadavg): 1.15 1.03 0.93 2/54 681
Raw data (stat): 628 (minisat+) R 627 25285 25284 0 -1 0 24879 0 0 0 55974 75 0 0 25 0 1 0 423627631 104624128 24666 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 25543 24666 603 41 0 25502 0
vsize: 102172
[startup+570.442 s]
Raw data (loadavg): 1.13 1.03 0.93 2/54 681
Raw data (stat): 628 (minisat+) R 627 25285 25284 0 -1 0 25253 0 0 0 56973 76 0 0 25 0 1 0 423627631 106618880 25040 4294967295 134512640 134672761 3221224560 3221223744 134559161 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26030 25040 603 41 0 25989 0
vsize: 104120
[startup+580.442 s]
Raw data (loadavg): 1.11 1.03 0.93 2/54 683
Raw data (stat): 628 (minisat+) R 627 25285 25284 0 -1 0 25577 0 0 0 57973 77 0 0 25 0 1 0 423627631 107950080 25364 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26355 25364 603 41 0 26314 0
vsize: 105420
[startup+590.443 s]
Raw data (loadavg): 1.09 1.03 0.93 2/54 683
Raw data (stat): 628 (minisat+) R 627 25285 25284 0 -1 0 25929 0 0 0 58972 77 0 0 25 0 1 0 423627631 109424640 25716 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26715 25716 603 41 0 26674 0
vsize: 106860
[startup+600.444 s]
Raw data (loadavg): 1.08 1.03 0.93 2/54 683
Raw data (stat): 628 (minisat+) R 627 25285 25284 0 -1 0 26289 0 0 0 59971 79 0 0 25 0 1 0 423627631 110899200 26076 4294967295 134512640 134672761 3221224560 3221223696 134565092 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 27075 26076 603 41 0 27034 0
vsize: 108300
[startup+610.445 s]
Raw data (loadavg): 1.06 1.02 0.93 2/54 683
Raw data (stat): 628 (minisat+) R 627 25285 25284 0 -1 0 26666 0 0 0 60970 80 0 0 25 0 1 0 423627631 112377856 26453 4294967295 134512640 134672761 3221224560 3221223744 134558903 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 27436 26453 603 41 0 27395 0
vsize: 109744
[startup+620.446 s]
Raw data (loadavg): 1.05 1.02 0.93 2/54 683
Raw data (stat): 628 (minisat+) R 627 25285 25284 0 -1 0 27100 0 0 0 61969 81 0 0 25 0 1 0 423627631 114229248 26887 4294967295 134512640 134672761 3221224560 3221223664 134560246 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 27888 26887 603 41 0 27847 0
vsize: 111552
[startup+630.446 s]
Raw data (loadavg): 1.05 1.02 0.93 2/54 683
Raw data (stat): 628 (minisat+) R 627 25285 25284 0 -1 0 27499 0 0 0 62968 83 0 0 25 0 1 0 423627631 115843072 27286 4294967295 134512640 134672761 3221224560 3221223728 134560999 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28282 27286 603 41 0 28241 0
vsize: 113128
[startup+640.446 s]
Raw data (loadavg): 1.04 1.02 0.93 2/54 683
Raw data (stat): 628 (minisat+) R 627 25285 25284 0 -1 0 27857 0 0 0 63967 84 0 0 25 0 1 0 423627631 117297152 27644 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28637 27644 603 41 0 28596 0
vsize: 114548
[startup+650.446 s]
Raw data (loadavg): 1.03 1.02 0.93 2/54 683
Raw data (stat): 628 (minisat+) R 627 25285 25284 0 -1 0 28230 0 0 0 64966 85 0 0 25 0 1 0 423627631 118771712 28017 4294967295 134512640 134672761 3221224560 3221223728 134561190 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28997 28017 603 41 0 28956 0
vsize: 115988
[startup+660.447 s]
Raw data (loadavg): 1.03 1.02 0.93 2/54 683
Raw data (stat): 628 (minisat+) R 627 25285 25284 0 -1 0 28538 0 0 0 65965 86 0 0 25 0 1 0 423627631 119988224 28325 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 29294 28325 603 41 0 29253 0
vsize: 117176
[startup+670.448 s]
Raw data (loadavg): 1.02 1.02 0.93 2/54 683
Raw data (stat): 628 (minisat+) R 627 25285 25284 0 -1 0 28839 0 0 0 66964 87 0 0 25 0 1 0 423627631 121315328 28626 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 29618 28626 603 41 0 29577 0
vsize: 118472
[startup+680.448 s]
Raw data (loadavg): 1.02 1.02 0.93 2/54 683
Raw data (stat): 628 (minisat+) R 627 25285 25284 0 -1 0 29088 0 0 0 67964 87 0 0 25 0 1 0 423627631 122253312 28875 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 29847 28875 603 41 0 29806 0
vsize: 119388
[startup+690.449 s]
Raw data (loadavg): 1.02 1.02 0.93 2/54 683
Raw data (stat): 628 (minisat+) R 627 25285 25284 0 -1 0 29313 0 0 0 68964 88 0 0 25 0 1 0 423627631 123191296 29100 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 30076 29100 603 41 0 30035 0
vsize: 120304
[startup+700.448 s]
Raw data (loadavg): 1.01 1.02 0.93 2/54 683
Raw data (stat): 628 (minisat+) R 627 25285 25284 0 -1 0 29590 0 0 0 69963 89 0 0 25 0 1 0 423627631 124268544 29377 4294967295 134512640 134672761 3221224560 3221223728 134560940 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 30339 29377 603 41 0 30298 0
vsize: 121356
[startup+710.449 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 683
Raw data (stat): 628 (minisat+) R 627 25285 25284 0 -1 0 29903 0 0 0 70962 90 0 0 25 0 1 0 423627631 125603840 29690 4294967295 134512640 134672761 3221224560 3221223728 134560830 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 30665 29690 603 41 0 30624 0
vsize: 122660
[startup+720.45 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 683
Raw data (stat): 628 (minisat+) R 627 25285 25284 0 -1 0 30238 0 0 0 71962 90 0 0 25 0 1 0 423627631 126939136 30025 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 30991 30025 603 41 0 30950 0
vsize: 123964
[startup+730.45 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 683
Raw data (stat): 628 (minisat+) R 627 25285 25284 0 -1 0 30416 0 0 0 72961 91 0 0 25 0 1 0 423627631 127741952 30203 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 31187 30203 603 41 0 31146 0
vsize: 124748
[startup+740.451 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 683
Raw data (stat): 628 (minisat+) R 627 25285 25284 0 -1 0 30665 0 0 0 73961 92 0 0 25 0 1 0 423627631 128679936 30452 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 31416 30452 603 41 0 31375 0
vsize: 125664
[startup+750.451 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 683
Raw data (stat): 628 (minisat+) R 627 25285 25284 0 -1 0 30997 0 0 0 74960 92 0 0 25 0 1 0 423627631 130019328 30784 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 31743 30784 603 41 0 31702 0
vsize: 126972
[startup+760.451 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 683
Raw data (stat): 628 (minisat+) R 627 25285 25284 0 -1 0 31307 0 0 0 75960 92 0 0 25 0 1 0 423627631 131354624 31094 4294967295 134512640 134672761 3221224560 3221223724 134561235 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 32069 31094 603 41 0 32028 0
vsize: 128276
[startup+770.452 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 683
Raw data (stat): 628 (minisat+) R 627 25285 25284 0 -1 0 31406 0 0 0 76960 93 0 0 25 0 1 0 423627631 131547136 31162 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 32116 31162 603 41 0 32075 0
vsize: 128464
[startup+780.453 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 683
Raw data (stat): 628 (minisat+) R 627 25285 25284 0 -1 0 31406 0 0 0 77961 93 0 0 25 0 1 0 423627631 131547136 31162 4294967295 134512640 134672761 3221224560 3221223744 134559498 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 32116 31162 603 41 0 32075 0
vsize: 128464
[startup+790.454 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 683
Raw data (stat): 628 (minisat+) R 627 25285 25284 0 -1 0 31406 0 0 0 78961 93 0 0 25 0 1 0 423627631 131547136 31162 4294967295 134512640 134672761 3221224560 3221223728 134560980 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 32116 31162 603 41 0 32075 0
vsize: 128464
[startup+800.455 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 683
Raw data (stat): 628 (minisat+) R 627 25285 25284 0 -1 0 31406 0 0 0 79961 93 0 0 25 0 1 0 423627631 131547136 31162 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 32116 31162 603 41 0 32075 0
vsize: 128464
[startup+810.457 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 683
Raw data (stat): 628 (minisat+) R 627 25285 25284 0 -1 0 31406 0 0 0 80961 93 0 0 25 0 1 0 423627631 131547136 31162 4294967295 134512640 134672761 3221224560 3221223728 134561151 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 32116 31162 603 41 0 32075 0
vsize: 128464
[startup+820.457 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 683
Raw data (stat): 628 (minisat+) R 627 25285 25284 0 -1 0 31406 0 0 0 81962 93 0 0 25 0 1 0 423627631 131547136 31162 4294967295 134512640 134672761 3221224560 3221223728 134560956 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 32116 31162 603 41 0 32075 0
vsize: 128464
[startup+830.457 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 683
Raw data (stat): 628 (minisat+) R 627 25285 25284 0 -1 0 31406 0 0 0 82962 93 0 0 25 0 1 0 423627631 131547136 31162 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 32116 31162 603 41 0 32075 0
vsize: 128464
[startup+840.458 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 685
Raw data (stat): 628 (minisat+) R 627 25285 25284 0 -1 0 31406 0 0 0 83962 93 0 0 25 0 1 0 423627631 131547136 31162 4294967295 134512640 134672761 3221224560 3221223760 134557836 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 32116 31162 603 41 0 32075 0
vsize: 128464
[startup+850.459 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 685
Raw data (stat): 628 (minisat+) R 627 25285 25284 0 -1 0 31406 0 0 0 84962 93 0 0 25 0 1 0 423627631 131547136 31162 4294967295 134512640 134672761 3221224560 3221223696 134560642 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 32116 31162 603 41 0 32075 0
vsize: 128464
[startup+860.46 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 685
Raw data (stat): 628 (minisat+) R 627 25285 25284 0 -1 0 31406 0 0 0 85962 93 0 0 25 0 1 0 423627631 131547136 31162 4294967295 134512640 134672761 3221224560 3221223728 134561218 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 32116 31162 603 41 0 32075 0
vsize: 128464
[startup+870.461 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 685
Raw data (stat): 628 (minisat+) R 627 25285 25284 0 -1 0 31406 0 0 0 86963 93 0 0 25 0 1 0 423627631 131547136 31162 4294967295 134512640 134672761 3221224560 3221223728 134560940 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 32116 31162 603 41 0 32075 0
vsize: 128464
[startup+880.461 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 685
Raw data (stat): 628 (minisat+) R 627 25285 25284 0 -1 0 31406 0 0 0 87963 93 0 0 25 0 1 0 423627631 131547136 31162 4294967295 134512640 134672761 3221224560 3221223744 134559514 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 32116 31162 603 41 0 32075 0
vsize: 128464
[startup+890.462 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 685
Raw data (stat): 628 (minisat+) R 627 25285 25284 0 -1 0 31406 0 0 0 88963 93 0 0 25 0 1 0 423627631 131547136 31162 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 32116 31162 603 41 0 32075 0
vsize: 128464
[startup+900.462 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 685
Raw data (stat): 628 (minisat+) R 627 25285 25284 0 -1 0 31406 0 0 0 89963 93 0 0 25 0 1 0 423627631 131547136 31162 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 32116 31162 603 41 0 32075 0
vsize: 128464
[startup+910.462 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 685
Raw data (stat): 628 (minisat+) R 627 25285 25284 0 -1 0 31406 0 0 0 90963 93 0 0 25 0 1 0 423627631 131547136 31162 4294967295 134512640 134672761 3221224560 3221223728 134560882 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 32116 31162 603 41 0 32075 0
vsize: 128464
[startup+920.463 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 685
Raw data (stat): 628 (minisat+) R 627 25285 25284 0 -1 0 31406 0 0 0 91964 93 0 0 25 0 1 0 423627631 131547136 31162 4294967295 134512640 134672761 3221224560 3221223732 134556634 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 32116 31162 603 41 0 32075 0
vsize: 128464
[startup+930.463 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 685
Raw data (stat): 628 (minisat+) R 627 25285 25284 0 -1 0 31406 0 0 0 92964 93 0 0 25 0 1 0 423627631 131547136 31162 4294967295 134512640 134672761 3221224560 3221223664 134560235 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 32116 31162 603 41 0 32075 0
vsize: 128464
[startup+940.464 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 685
Raw data (stat): 628 (minisat+) R 627 25285 25284 0 -1 0 31406 0 0 0 93964 93 0 0 25 0 1 0 423627631 131547136 31162 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 32116 31162 603 41 0 32075 0
vsize: 128464
[startup+950.464 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 685
Raw data (stat): 628 (minisat+) R 627 25285 25284 0 -1 0 31406 0 0 0 94964 93 0 0 25 0 1 0 423627631 131547136 31162 4294967295 134512640 134672761 3221224560 3221223728 134561259 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 32116 31162 603 41 0 32075 0
vsize: 128464
[startup+960.464 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 685
Raw data (stat): 628 (minisat+) R 627 25285 25284 0 -1 0 31406 0 0 0 95965 93 0 0 25 0 1 0 423627631 131547136 31162 4294967295 134512640 134672761 3221224560 3221223700 134560556 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 32116 31162 603 41 0 32075 0
vsize: 128464
[startup+970.465 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 685
Raw data (stat): 628 (minisat+) R 627 25285 25284 0 -1 0 31406 0 0 0 96965 93 0 0 25 0 1 0 423627631 131547136 31162 4294967295 134512640 134672761 3221224560 3221223728 134560999 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 32116 31162 603 41 0 32075 0
vsize: 128464
[startup+980.466 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 685
Raw data (stat): 628 (minisat+) R 627 25285 25284 0 -1 0 31406 0 0 0 97965 93 0 0 25 0 1 0 423627631 131547136 31162 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 32116 31162 603 41 0 32075 0
vsize: 128464
[startup+990.467 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 685
Raw data (stat): 628 (minisat+) R 627 25285 25284 0 -1 0 31406 0 0 0 98965 93 0 0 25 0 1 0 423627631 131547136 31162 4294967295 134512640 134672761 3221224560 3221223728 134560855 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 32116 31162 603 41 0 32075 0
vsize: 128464
[startup+1000.47 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 685
Raw data (stat): 628 (minisat+) R 627 25285 25284 0 -1 0 31406 0 0 0 99965 93 0 0 25 0 1 0 423627631 131547136 31162 4294967295 134512640 134672761 3221224560 3221223664 134560215 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 32116 31162 603 41 0 32075 0
vsize: 128464
[startup+1010.47 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 685
Raw data (stat): 628 (minisat+) R 627 25285 25284 0 -1 0 31406 0 0 0 100966 93 0 0 25 0 1 0 423627631 131547136 31162 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 32116 31162 603 41 0 32075 0
vsize: 128464
[startup+1020.47 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 685
Raw data (stat): 628 (minisat+) R 627 25285 25284 0 -1 0 31406 0 0 0 101966 93 0 0 25 0 1 0 423627631 131547136 31162 4294967295 134512640 134672761 3221224560 3221223696 134560642 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 32116 31162 603 41 0 32075 0
vsize: 128464
[startup+1030.47 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 685
Raw data (stat): 628 (minisat+) R 627 25285 25284 0 -1 0 31406 0 0 0 102966 93 0 0 25 0 1 0 423627631 131547136 31162 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 32116 31162 603 41 0 32075 0
vsize: 128464
[startup+1040.47 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 685
Raw data (stat): 628 (minisat+) R 627 25285 25284 0 -1 0 31406 0 0 0 103966 93 0 0 25 0 1 0 423627631 131547136 31162 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 32116 31162 603 41 0 32075 0
vsize: 128464
[startup+1050.47 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 685
Raw data (stat): 628 (minisat+) R 627 25285 25284 0 -1 0 31406 0 0 0 104966 93 0 0 25 0 1 0 423627631 131547136 31162 4294967295 134512640 134672761 3221224560 3221223664 134560070 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 32116 31162 603 41 0 32075 0
vsize: 128464
[startup+1060.47 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 685
Raw data (stat): 628 (minisat+) R 627 25285 25284 0 -1 0 31406 0 0 0 105967 93 0 0 25 0 1 0 423627631 131547136 31162 4294967295 134512640 134672761 3221224560 3221223732 134556682 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 32116 31162 603 41 0 32075 0
vsize: 128464
[startup+1070.47 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 685
Raw data (stat): 628 (minisat+) R 627 25285 25284 0 -1 0 31406 0 0 0 106967 93 0 0 25 0 1 0 423627631 131547136 31162 4294967295 134512640 134672761 3221224560 3221223728 134560999 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 32116 31162 603 41 0 32075 0
vsize: 128464
[startup+1080.47 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 685
Raw data (stat): 628 (minisat+) R 627 25285 25284 0 -1 0 31406 0 0 0 107967 93 0 0 25 0 1 0 423627631 131547136 31162 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 32116 31162 603 41 0 32075 0
vsize: 128464
[startup+1090.47 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 685
Raw data (stat): 628 (minisat+) R 627 25285 25284 0 -1 0 31406 0 0 0 108967 93 0 0 25 0 1 0 423627631 131547136 31162 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 32116 31162 603 41 0 32075 0
vsize: 128464
[startup+1100.47 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 685
Raw data (stat): 628 (minisat+) R 627 25285 25284 0 -1 0 31406 0 0 0 109967 93 0 0 25 0 1 0 423627631 131547136 31162 4294967295 134512640 134672761 3221224560 3221223728 134561205 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 32116 31162 603 41 0 32075 0
vsize: 128464
[startup+1110.47 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 685
Raw data (stat): 628 (minisat+) R 627 25285 25284 0 -1 0 31406 0 0 0 110968 93 0 0 25 0 1 0 423627631 131547136 31162 4294967295 134512640 134672761 3221224560 3221223728 134561220 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 32116 31162 603 41 0 32075 0
vsize: 128464
[startup+1120.47 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 685
Raw data (stat): 628 (minisat+) R 627 25285 25284 0 -1 0 31406 0 0 0 111968 93 0 0 25 0 1 0 423627631 131547136 31162 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 32116 31162 603 41 0 32075 0
vsize: 128464
[startup+1130.47 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 685
Raw data (stat): 628 (minisat+) R 627 25285 25284 0 -1 0 31407 0 0 0 112968 93 0 0 25 0 1 0 423627631 131547136 31163 4294967295 134512640 134672761 3221224560 3221223728 134561218 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 32116 31163 603 41 0 32075 0
vsize: 128464
[startup+1140.47 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 685
Raw data (stat): 628 (minisat+) R 627 25285 25284 0 -1 0 31407 0 0 0 113968 93 0 0 25 0 1 0 423627631 131547136 31163 4294967295 134512640 134672761 3221224560 3221223744 134559542 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 32116 31163 603 41 0 32075 0
vsize: 128464
[startup+1150.47 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 685
Raw data (stat): 628 (minisat+) R 627 25285 25284 0 -1 0 31407 0 0 0 114969 93 0 0 25 0 1 0 423627631 131547136 31163 4294967295 134512640 134672761 3221224560 3221223664 134560218 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 32116 31163 603 41 0 32075 0
vsize: 128464
[startup+1160.47 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 685
Raw data (stat): 628 (minisat+) R 627 25285 25284 0 -1 0 31407 0 0 0 115969 93 0 0 25 0 1 0 423627631 131547136 31163 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 32116 31163 603 41 0 32075 0
vsize: 128464
[startup+1170.47 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 685
Raw data (stat): 628 (minisat+) R 627 25285 25284 0 -1 0 31407 0 0 0 116969 93 0 0 25 0 1 0 423627631 131547136 31163 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 32116 31163 603 41 0 32075 0
vsize: 128464
[startup+1180.47 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 685
Raw data (stat): 628 (minisat+) R 627 25285 25284 0 -1 0 31407 0 0 0 117969 93 0 0 25 0 1 0 423627631 131547136 31163 4294967295 134512640 134672761 3221224560 3221223728 134560999 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 32116 31163 603 41 0 32075 0
vsize: 128464
[startup+1190.48 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 685
Raw data (stat): 628 (minisat+) R 627 25285 25284 0 -1 0 31407 0 0 0 118969 93 0 0 25 0 1 0 423627631 131547136 31163 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 32116 31163 603 41 0 32075 0
vsize: 128464
[startup+1200.48 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 685
Raw data (stat): 628 (minisat+) R 627 25285 25284 0 -1 0 31407 0 0 0 119969 93 0 0 25 0 1 0 423627631 131547136 31163 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 32116 31163 603 41 0 32075 0
vsize: 128464
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.54 s]
Raw data (loadavg): 1.00 1.00 0.93 1/54 685
Raw data (stat): 628 (minisat+) Z 627 25285 25284 0 -1 12 31410 0 0 0 119970 99 0 0 25 0 1 0 423627631 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.54
CPU time (s): 1200.7
CPU user time (s): 1199.7
CPU system time (s): 0.993848
CPU usage (%): 100.013
Max. virtual memory (Kb): 128464
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####