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-4.opb
MD5SUM	e21d47f954166f353681a275b560afba
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-41
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	110038
Number of constraints which are clauses	110038
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 6392

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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:        852680 kB
Buffers:         35520 kB
Cached:         111984 kB
SwapCached:         56 kB
Active:          52420 kB
Inactive:        98032 kB
HighTotal:      131008 kB
HighFree:        15036 kB
LowTotal:       903652 kB
LowFree:        837644 kB
SwapTotal:     2097892 kB
SwapFree:      2097836 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           7028 kB
Slab:            25700 kB
Committed_AS:    63708 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-14 05:12:03 (client local time) WITH STATUS 10 IN 1200.42 SECONDS
stats: 4859 7 1200.42 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Parsing PB file...
c Converting 110038 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 |  110038   220076 |   36679       0        0     nan |  0.000 % |
c ==============================================================================
c [1mFound solution: -41[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 |  278234   613553 |   92744       0        0     nan |  0.000 % |
c |       100 |  278234   613553 |  102018     100      542     5.4 |  0.002 % |
c |       250 |  275137   606445 |  112220     179     1203     6.7 |  1.661 % |
c |       475 |  272783   601034 |  123442     348     2025     5.8 |  2.933 % |
c |       812 |  268837   592022 |  135786     609     3616     5.9 |  4.979 % |
c |      1318 |  263665   580155 |  149365    1036     7125     6.9 |  7.739 % |
c |      2077 |  253731   557255 |  164301    1625    20991    12.9 | 13.124 % |
c |      3218 |  240074   525748 |  180731    2474    31374    12.7 | 20.691 % |
c |      4926 |  219615   478319 |  198805    3711    43865    11.8 | 32.251 % |
c |      7489 |  191331   412223 |  218685    5177    59764    11.5 | 48.579 % |
c |     11334 |  162611   345090 |  240554    7326    90973    12.4 | 65.695 % |
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 |     14441 |  149023   313159 |   49674    8948   109092    12.2 | 65.695 % |
c |     14541 |  148835   312713 |   54641    9016   109671    12.2 | 73.991 % |
c |     14691 |  148275   311389 |   60105    9074   110091    12.1 | 74.381 % |
c |     14916 |  146889   308126 |   66116    9008   109245    12.1 | 75.192 % |
c |     15253 |  146387   306946 |   72727    9236   113295    12.3 | 75.490 % |
c |     15759 |  144824   303275 |   80000    9428   115509    12.3 | 76.507 % |
c |     16518 |  142656   298189 |   88000    9803   120465    12.3 | 77.781 % |
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 |     17638 |  140836   293971 |   46945   10536   132782    12.6 | 77.781 % |
c |     17739 |  140379   292901 |   51639   10571   133215    12.6 | 79.256 % |
c |     17889 |  139634   291158 |   56803   10583   133627    12.6 | 79.713 % |
c |     18114 |  139133   289981 |   62483   10687   134313    12.6 | 80.016 % |
c |     18451 |  138760   289106 |   68732   10961   137682    12.6 | 80.247 % |
c |     18957 |  137002   284976 |   75605   11125   140103    12.6 | 81.309 % |
c |     19716 |  135837   282246 |   83165   11540   146320    12.7 | 82.011 % |
c |     20856 |  134580   279278 |   91482   12329   160387    13.0 | 82.799 % |
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 |     22284 |  133407   276489 |   44469   13221   174048    13.2 | 82.799 % |
c |     22384 |  133407   276489 |   48915   13321   175648    13.2 | 83.525 % |
c |     22536 |  133312   276266 |   53807   13442   179628    13.4 | 83.585 % |
c |     22762 |  133163   275919 |   59188   13610   182937    13.4 | 83.674 % |
c |     23099 |  133061   275675 |   65107   13909   187632    13.5 | 83.741 % |
c |     23606 |  133055   275661 |   71617   14414   199706    13.9 | 83.744 % |
c |     24366 |  133055   275661 |   78779   15174   219535    14.5 | 83.744 % |
c |     25505 |  132508   274377 |   86657   16063   263384    16.4 | 84.080 % |
c |     27214 |  131551   272113 |   95323   17353   312812    18.0 | 84.683 % |
c |     29778 |  130453   269515 |  104855   19241   372017    19.3 | 85.384 % |
c |     33622 |  129651   267626 |  115341   22289   653865    29.3 | 85.888 % |
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 |     36221 |  128449   264818 |   42816   23512   743474    31.6 | 85.888 % |
c |     36321 |  128210   264247 |   47097   23399   741534    31.7 | 86.792 % |
c |     36471 |  128210   264247 |   51807   23549   747088    31.7 | 86.792 % |
c |     36696 |  128210   264247 |   56988   23774   754085    31.7 | 86.792 % |
c |     37034 |  127936   263600 |   62686   23914   774959    32.4 | 86.969 % |
c |     37541 |  127936   263600 |   68955   24421   781908    32.0 | 86.969 % |
c |     38300 |  127825   263342 |   75851   24989   797211    31.9 | 87.034 % |
c |     39441 |  127825   263342 |   83436   26130   941126    36.0 | 87.034 % |
c |     41149 |  127423   262394 |   91779   27378  1101492    40.2 | 87.289 % |
c |     43711 |  127188   261845 |  100957   29768  1283155    43.1 | 87.433 % |
c |     47555 |  126944   261271 |  111053   33283  1741516    52.3 | 87.585 % |
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 |     52906 |  126767   260829 |   42255   38476  2221963    57.7 | 87.585 % |
c |     53006 |  126767   260829 |   46480   38576  2224179    57.7 | 87.680 % |
c |     53156 |  126673   260608 |   51128   38603  2227363    57.7 | 87.738 % |
c |     53381 |  126673   260608 |   56241   38828  2239835    57.7 | 87.738 % |
c |     53719 |  126596   260425 |   61865   39106  2255252    57.7 | 87.789 % |
c |     54226 |  126596   260425 |   68052   39613  2329826    58.8 | 87.789 % |
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 |     54511 |  126672   260617 |   42224   39898  2360059    59.2 | 87.789 % |
c |     54612 |  126672   260617 |   46446   39999  2362304    59.1 | 87.778 % |
c |     54763 |  126668   260608 |   51091   40130  2363831    58.9 | 87.780 % |
c |     54988 |  126565   260370 |   56200   40244  2376014    59.0 | 87.836 % |
c |     55327 |  126525   260277 |   61820   40547  2381945    58.7 | 87.859 % |
c |     55833 |  126441   260079 |   68002   41022  2411286    58.8 | 87.911 % |
c |     56592 |  126300   259744 |   74802   41486  2431925    58.6 | 88.005 % |
c |     57732 |  126135   259353 |   82282   42482  2526762    59.5 | 88.114 % |
c |     59440 |  125880   258754 |   90510   43911  2704251    61.6 | 88.274 % |
c |     62002 |  125723   258379 |   99561   46124  2980274    64.6 | 88.376 % |
c |     65846 |  125705   258337 |  109518   49948  3419213    68.5 | 88.386 % |
c |     71614 |  125699   258323 |  120469   55711  4295796    77.1 | 88.390 % |
c |     80265 |  125699   258323 |  132516   64362  5378447    83.6 | 88.390 % |
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 |     81062 |  125521   257891 |   41840   63642  5215947    82.0 | 88.390 % |
c |     81162 |  125521   257891 |   46024   63742  5222272    81.9 | 88.502 % |
c |     81312 |  125521   257891 |   50626   63892  5230715    81.9 | 88.502 % |
c |     81537 |  125498   257839 |   55689   64104  5239511    81.7 | 88.514 % |
c |     81875 |  125498   257839 |   61257   64442  5255677    81.6 | 88.514 % |
c |     82381 |  125498   257839 |   67383   64948  5300211    81.6 | 88.514 % |
c |     83140 |  125498   257839 |   74122   65707  5341807    81.3 | 88.514 % |
c |     84279 |  125498   257839 |   81534   66846  5442078    81.4 | 88.514 % |
c |     85987 |  125498   257839 |   89687   68554  5730993    83.6 | 88.514 % |
c |     88549 |  125498   257839 |   98656   71116  6109232    85.9 | 88.514 % |
c |     92393 |  125478   257793 |  108522   74882  6613485    88.3 | 88.524 % |
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 |     96799 |  125527   257917 |   41842   79288  7260142    91.6 | 88.524 % |
c |     96899 |  125527   257917 |   46026   79388  7270273    91.6 | 88.506 % |
c |     97051 |  125503   257859 |   50628   79488  7277225    91.6 | 88.524 % |
c |     97276 |  125491   257831 |   55691   79625  7290449    91.6 | 88.531 % |
c |     97613 |  125491   257831 |   61260   79962  7318048    91.5 | 88.531 % |
c |     98119 |  125435   257700 |   67386   80361  7370030    91.7 | 88.564 % |
c |     98879 |  125435   257700 |   74125   81121  7438237    91.7 | 88.564 % |
c |    100018 |  125435   257700 |   81538   82260  7540686    91.7 | 88.564 % |
c |    101726 |  125435   257700 |   89692   83968  7709789    91.8 | 88.564 % |
c |    104290 |  125435   257700 |   98661   86532  8064609    93.2 | 88.564 % |
c |    108134 |  125354   257508 |  108527   90051  8440568    93.7 | 88.618 % |
c |    113900 |  125348   257494 |  119380   95816  9203660    96.1 | 88.621 % |
c |    122549 |  125342   257480 |  131318  104369 10531015   100.9 | 88.625 % |
c |    135523 |  125342   257480 |  144449  117343 12851341   109.5 | 88.625 % |
c |    154985 |  125342   257480 |  158894  136805 15224097   111.3 | 88.625 % |
c |    184177 |  124856   256338 |  174784  164690 19910478   120.9 | 88.936 % |
c |    227967 |  124856   256338 |  192262  208480 27051070   129.8 | 88.936 % |
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.91 0.95 0.90 2/55 29572
Raw data (stat): 29572 (runsolver) R 29571 22929 22928 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 481849077 1052672 99 4294967295 134512640 135381576 3221224464 3221219708 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0003 s]
Raw data (loadavg): 0.93 0.95 0.90 2/55 29572
Raw data (stat): 29572 (minisat+) R 29571 22929 22928 0 -1 0 6658 0 0 0 980 18 0 0 25 0 1 0 481849077 30363648 6636 4294967295 134512640 134672761 3221224560 3221223732 134556598 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7413 6636 603 41 0 7372 0
vsize: 29652
[startup+20.0014 s]
Raw data (loadavg): 0.94 0.96 0.91 2/55 29572
Raw data (stat): 29572 (minisat+) R 29571 22929 22928 0 -1 0 6660 0 0 0 1979 19 0 0 25 0 1 0 481849077 30363648 6638 4294967295 134512640 134672761 3221224560 3221223768 134561960 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7413 6638 603 41 0 7372 0
vsize: 29652
[startup+30.0018 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 29572
Raw data (stat): 29572 (minisat+) R 29571 22929 22928 0 -1 0 6662 0 0 0 2979 19 0 0 25 0 1 0 481849077 30363648 6640 4294967295 134512640 134672761 3221224560 3221223744 134556675 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7413 6640 603 41 0 7372 0
vsize: 29652
[startup+40.0026 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 29572
Raw data (stat): 29572 (minisat+) R 29571 22929 22928 0 -1 0 6662 0 0 0 3979 20 0 0 25 0 1 0 481849077 30363648 6640 4294967295 134512640 134672761 3221224560 3221223732 134556634 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7413 6640 603 41 0 7372 0
vsize: 29652
[startup+50.0038 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 29572
Raw data (stat): 29572 (minisat+) R 29571 22929 22928 0 -1 0 6662 0 0 0 4978 20 0 0 25 0 1 0 481849077 30363648 6640 4294967295 134512640 134672761 3221224560 3221223732 134556598 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7413 6640 603 41 0 7372 0
vsize: 29652
[startup+60.0037 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 29572
Raw data (stat): 29572 (minisat+) R 29571 22929 22928 0 -1 0 6662 0 0 0 5978 20 0 0 25 0 1 0 481849077 30363648 6640 4294967295 134512640 134672761 3221224560 3221223732 134556598 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7413 6640 603 41 0 7372 0
vsize: 29652
[startup+70.0041 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 29572
Raw data (stat): 29572 (minisat+) R 29571 22929 22928 0 -1 0 6662 0 0 0 6978 20 0 0 25 0 1 0 481849077 30363648 6640 4294967295 134512640 134672761 3221224560 3221223728 134561378 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7413 6640 603 41 0 7372 0
vsize: 29652
[startup+80.0054 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 29572
Raw data (stat): 29572 (minisat+) R 29571 22929 22928 0 -1 0 6662 0 0 0 7978 21 0 0 25 0 1 0 481849077 30363648 6640 4294967295 134512640 134672761 3221224560 3221223728 134561001 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7413 6640 603 41 0 7372 0
vsize: 29652
[startup+90.0057 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 29572
Raw data (stat): 29572 (minisat+) R 29571 22929 22928 0 -1 0 6662 0 0 0 8978 21 0 0 25 0 1 0 481849077 30363648 6640 4294967295 134512640 134672761 3221224560 3221223764 134561964 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7413 6640 603 41 0 7372 0
vsize: 29652
[startup+100.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 29572
Raw data (stat): 29572 (minisat+) R 29571 22929 22928 0 -1 0 6670 0 0 0 9977 22 0 0 25 0 1 0 481849077 30363648 6648 4294967295 134512640 134672761 3221224560 3221223764 134561964 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7413 6648 603 41 0 7372 0
vsize: 29652
[startup+110.006 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 29572
Raw data (stat): 29572 (minisat+) R 29571 22929 22928 0 -1 0 6671 0 0 0 10977 22 0 0 25 0 1 0 481849077 30363648 6649 4294967295 134512640 134672761 3221224560 3221223732 134556598 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7413 6649 603 41 0 7372 0
vsize: 29652
[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29572
Raw data (stat): 29572 (minisat+) R 29571 22929 22928 0 -1 0 6895 0 0 0 11976 23 0 0 25 0 1 0 481849077 31707136 6873 4294967295 134512640 134672761 3221224560 3221223708 134560552 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7741 6873 603 41 0 7700 0
vsize: 30964
[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29572
Raw data (stat): 29572 (minisat+) R 29571 22929 22928 0 -1 0 6898 0 0 0 12975 24 0 0 25 0 1 0 481849077 31707136 6876 4294967295 134512640 134672761 3221224560 3221223728 134560830 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7741 6876 603 41 0 7700 0
vsize: 30964
[startup+140.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29572
Raw data (stat): 29572 (minisat+) R 29571 22929 22928 0 -1 0 6901 0 0 0 13975 24 0 0 25 0 1 0 481849077 31707136 6879 4294967295 134512640 134672761 3221224560 3221223728 134560956 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7741 6879 603 41 0 7700 0
vsize: 30964
[startup+150.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29572
Raw data (stat): 29572 (minisat+) R 29571 22929 22928 0 -1 0 6992 0 0 0 14975 25 0 0 25 0 1 0 481849077 32141312 6970 4294967295 134512640 134672761 3221224560 3221223728 134560948 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7847 6970 603 41 0 7806 0
vsize: 31388
[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29572
Raw data (stat): 29572 (minisat+) R 29571 22929 22928 0 -1 0 7384 0 0 0 15973 26 0 0 25 0 1 0 481849077 33751040 7362 4294967295 134512640 134672761 3221224560 3221223696 134560706 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 8240 7362 603 41 0 8199 0
vsize: 32960
[startup+170.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29572
Raw data (stat): 29572 (minisat+) R 29571 22929 22928 0 -1 0 7886 0 0 0 16972 28 0 0 25 0 1 0 481849077 35602432 7832 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 8692 7832 603 41 0 8651 0
vsize: 34768
[startup+180.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29572
Raw data (stat): 29572 (minisat+) R 29571 22929 22928 0 -1 0 8451 0 0 0 17970 30 0 0 25 0 1 0 481849077 38014976 8397 4294967295 134512640 134672761 3221224560 3221223560 1075350099 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 9281 8397 603 41 0 9240 0
vsize: 37124
[startup+190.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29572
Raw data (stat): 29572 (minisat+) R 29571 22929 22928 0 -1 0 9091 0 0 0 18968 32 0 0 25 0 1 0 481849077 40476672 9006 4294967295 134512640 134672761 3221224560 3221223728 134561167 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 9882 9006 603 41 0 9841 0
vsize: 39528
[startup+200.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29572
Raw data (stat): 29572 (minisat+) R 29571 22929 22928 0 -1 0 9372 0 0 0 19967 33 0 0 25 0 1 0 481849077 41500672 9255 4294967295 134512640 134672761 3221224560 3221223744 134559365 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 10132 9255 603 41 0 10091 0
vsize: 40528
[startup+210.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29572
Raw data (stat): 29572 (minisat+) R 29571 22929 22928 0 -1 0 9857 0 0 0 20966 34 0 0 25 0 1 0 481849077 43520000 9740 4294967295 134512640 134672761 3221224560 3221223664 134560163 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 10625 9740 603 41 0 10584 0
vsize: 42500
[startup+220.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29572
Raw data (stat): 29572 (minisat+) R 29571 22929 22928 0 -1 0 10374 0 0 0 21965 35 0 0 25 0 1 0 481849077 45662208 10257 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11148 10257 603 41 0 11107 0
vsize: 44592
[startup+230.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29572
Raw data (stat): 29572 (minisat+) R 29571 22929 22928 0 -1 0 11009 0 0 0 22963 38 0 0 25 0 1 0 481849077 48209920 10892 4294967295 134512640 134672761 3221224560 3221223664 134560381 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11770 10892 603 41 0 11729 0
vsize: 47080
[startup+240.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29572
Raw data (stat): 29572 (minisat+) R 29571 22929 22928 0 -1 0 11479 0 0 0 23961 39 0 0 25 0 1 0 481849077 50081792 11362 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12227 11362 603 41 0 12186 0
vsize: 48908
[startup+250.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29574
Raw data (stat): 29572 (minisat+) R 29571 22929 22928 0 -1 0 11974 0 0 0 24959 41 0 0 25 0 1 0 481849077 52064256 11857 4294967295 134512640 134672761 3221224560 3221223664 134554910 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12711 11857 603 41 0 12670 0
vsize: 50844
[startup+260.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29574
Raw data (stat): 29572 (minisat+) R 29571 22929 22928 0 -1 0 12393 0 0 0 25957 43 0 0 25 0 1 0 481849077 53796864 12276 4294967295 134512640 134672761 3221224560 3221223728 134560999 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 13134 12276 603 41 0 13093 0
vsize: 52536
[startup+270.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29574
Raw data (stat): 29572 (minisat+) R 29571 22929 22928 0 -1 0 12552 0 0 0 26957 43 0 0 25 0 1 0 481849077 54542336 12404 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 13316 12404 603 41 0 13275 0
vsize: 53264
[startup+280.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29574
Raw data (stat): 29572 (minisat+) R 29571 22929 22928 0 -1 0 13052 0 0 0 27956 45 0 0 25 0 1 0 481849077 56692736 12904 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 13841 12904 603 41 0 13800 0
vsize: 55364
[startup+290.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29574
Raw data (stat): 29572 (minisat+) R 29571 22929 22928 0 -1 0 13559 0 0 0 28954 47 0 0 25 0 1 0 481849077 58703872 13411 4294967295 134512640 134672761 3221224560 3221223664 134555116 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 14332 13411 603 41 0 14291 0
vsize: 57328
[startup+300.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29574
Raw data (stat): 29572 (minisat+) R 29571 22929 22928 0 -1 0 13962 0 0 0 29953 48 0 0 25 0 1 0 481849077 60309504 13814 4294967295 134512640 134672761 3221224560 3221223728 134561001 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 14724 13814 603 41 0 14683 0
vsize: 58896
[startup+310.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29574
Raw data (stat): 29572 (minisat+) R 29571 22929 22928 0 -1 0 14421 0 0 0 30951 49 0 0 25 0 1 0 481849077 62181376 14273 4294967295 134512640 134672761 3221224560 3221223664 134559922 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 15181 14273 603 41 0 15140 0
vsize: 60724
[startup+320.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29574
Raw data (stat): 29572 (minisat+) R 29571 22929 22928 0 -1 0 14733 0 0 0 31950 50 0 0 25 0 1 0 481849077 63393792 14554 4294967295 134512640 134672761 3221224560 3221223760 134557842 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 15477 14554 603 41 0 15436 0
vsize: 61908
[startup+330.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29574
Raw data (stat): 29572 (minisat+) R 29571 22929 22928 0 -1 0 15049 0 0 0 32950 51 0 0 25 0 1 0 481849077 64602112 14870 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 15772 14870 603 41 0 15731 0
vsize: 63088
[startup+340.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29574
Raw data (stat): 29572 (minisat+) R 29571 22929 22928 0 -1 0 15443 0 0 0 33949 53 0 0 25 0 1 0 481849077 66215936 15264 4294967295 134512640 134672761 3221224560 3221223760 134557895 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16166 15264 603 41 0 16125 0
vsize: 64664
[startup+350.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29574
Raw data (stat): 29572 (minisat+) R 29571 22929 22928 0 -1 0 15766 0 0 0 34948 54 0 0 25 0 1 0 481849077 67555328 15587 4294967295 134512640 134672761 3221224560 3221223712 134561035 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16493 15587 603 41 0 16452 0
vsize: 65972
[startup+360.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29574
Raw data (stat): 29572 (minisat+) R 29571 22929 22928 0 -1 0 16130 0 0 0 35946 55 0 0 25 0 1 0 481849077 69021696 15951 4294967295 134512640 134672761 3221224560 3221223728 134560895 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16851 15951 603 41 0 16810 0
vsize: 67404
[startup+370.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29574
Raw data (stat): 29572 (minisat+) R 29571 22929 22928 0 -1 0 16496 0 0 0 36945 56 0 0 25 0 1 0 481849077 70504448 16317 4294967295 134512640 134672761 3221224560 3221223664 134559949 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17213 16317 603 41 0 17172 0
vsize: 68852
[startup+380.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29574
Raw data (stat): 29572 (minisat+) R 29571 22929 22928 0 -1 0 16821 0 0 0 37944 58 0 0 25 0 1 0 481849077 71839744 16642 4294967295 134512640 134672761 3221224560 3221223728 134561167 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17539 16642 603 41 0 17498 0
vsize: 70156
[startup+390.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29574
Raw data (stat): 29572 (minisat+) R 29571 22929 22928 0 -1 0 17275 0 0 0 38942 59 0 0 25 0 1 0 481849077 73711616 17096 4294967295 134512640 134672761 3221224560 3221223696 134560557 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17996 17096 603 41 0 17955 0
vsize: 71984
[startup+400.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29574
Raw data (stat): 29572 (minisat+) R 29571 22929 22928 0 -1 0 17696 0 0 0 39940 62 0 0 25 0 1 0 481849077 75452416 17517 4294967295 134512640 134672761 3221224560 3221223728 134561151 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18421 17517 603 41 0 18380 0
vsize: 73684
[startup+410.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29574
Raw data (stat): 29572 (minisat+) R 29571 22929 22928 0 -1 0 18095 0 0 0 40939 63 0 0 25 0 1 0 481849077 77049856 17916 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18811 17916 603 41 0 18770 0
vsize: 75244
[startup+420.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29574
Raw data (stat): 29572 (minisat+) R 29571 22929 22928 0 -1 0 18454 0 0 0 41938 64 0 0 25 0 1 0 481849077 78524416 18275 4294967295 134512640 134672761 3221224560 3221223760 134557895 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 19171 18275 603 41 0 19130 0
vsize: 76684
[startup+430.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29574
Raw data (stat): 29572 (minisat+) R 29571 22929 22928 0 -1 0 18842 0 0 0 42937 66 0 0 25 0 1 0 481849077 80125952 18663 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 19562 18663 603 41 0 19521 0
vsize: 78248
[startup+440.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29574
Raw data (stat): 29572 (minisat+) R 29571 22929 22928 0 -1 0 19231 0 0 0 43936 66 0 0 25 0 1 0 481849077 81588224 19052 4294967295 134512640 134672761 3221224560 3221223728 134560917 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 19919 19052 603 41 0 19878 0
vsize: 79676
[startup+450.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29574
Raw data (stat): 29572 (minisat+) R 29571 22929 22928 0 -1 0 19654 0 0 0 44935 68 0 0 25 0 1 0 481849077 83329024 19475 4294967295 134512640 134672761 3221224560 3221223728 134560895 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 20344 19475 603 41 0 20303 0
vsize: 81376
[startup+460.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29574
Raw data (stat): 29572 (minisat+) R 29571 22929 22928 0 -1 0 20061 0 0 0 45934 69 0 0 25 0 1 0 481849077 85041152 19882 4294967295 134512640 134672761 3221224560 3221223728 134560895 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 20762 19882 603 41 0 20721 0
vsize: 83048
[startup+470.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29574
Raw data (stat): 29572 (minisat+) R 29571 22929 22928 0 -1 0 20473 0 0 0 46932 70 0 0 25 0 1 0 481849077 86769664 20294 4294967295 134512640 134672761 3221224560 3221223696 134560729 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21184 20294 603 41 0 21143 0
vsize: 84736
[startup+480.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29574
Raw data (stat): 29572 (minisat+) R 29571 22929 22928 0 -1 0 20764 0 0 0 47931 72 0 0 25 0 1 0 481849077 87846912 20585 4294967295 134512640 134672761 3221224560 3221223728 134561011 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21447 20585 603 41 0 21406 0
vsize: 85788
[startup+490.207 s]
Raw data (loadavg): 0.99 0.97 0.91 3/58 29613
Raw data (stat): 29572 (minisat+) R 29571 22929 22928 0 -1 0 21084 0 0 0 48945 76 0 0 25 0 1 0 481849077 89198592 20905 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 21777 20905 603 41 0 21736 0
vsize: 87108
[startup+500.208 s]
Raw data (loadavg): 1.15 1.00 0.92 2/59 29627
Raw data (stat): 29572 (minisat+) R 29571 22929 22928 0 -1 0 21379 0 0 0 49945 77 0 0 25 0 1 0 481849077 90398720 21200 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22070 21200 603 41 0 22029 0
vsize: 88280
[startup+510.207 s]
Raw data (loadavg): 1.12 1.00 0.92 2/55 29627
Raw data (stat): 29572 (minisat+) R 29571 22929 22928 0 -1 0 21647 0 0 0 50944 78 0 0 25 0 1 0 481849077 91459584 21468 4294967295 134512640 134672761 3221224560 3221223728 134560999 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22329 21468 603 41 0 22288 0
vsize: 89316
[startup+520.208 s]
Raw data (loadavg): 1.10 1.00 0.92 2/55 29627
Raw data (stat): 29572 (minisat+) R 29571 22929 22928 0 -1 0 21877 0 0 0 51944 78 0 0 25 0 1 0 481849077 92385280 21698 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22555 21698 603 41 0 22514 0
vsize: 90220
[startup+530.208 s]
Raw data (loadavg): 1.09 1.00 0.92 2/55 29627
Raw data (stat): 29572 (minisat+) R 29571 22929 22928 0 -1 0 22123 0 0 0 52943 79 0 0 25 0 1 0 481849077 93450240 21944 4294967295 134512640 134672761 3221224560 3221223728 134561151 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22815 21944 603 41 0 22774 0
vsize: 91260
[startup+540.208 s]
Raw data (loadavg): 1.07 1.00 0.92 2/55 29627
Raw data (stat): 29572 (minisat+) R 29571 22929 22928 0 -1 0 22357 0 0 0 53942 80 0 0 25 0 1 0 481849077 94896128 22178 4294967295 134512640 134672761 3221224560 3221223728 134561008 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 23168 22178 603 41 0 23127 0
vsize: 92672
[startup+550.209 s]
Raw data (loadavg): 1.06 1.00 0.92 2/55 29629
Raw data (stat): 29572 (minisat+) R 29571 22929 22928 0 -1 0 22580 0 0 0 54942 81 0 0 25 0 1 0 481849077 95817728 22401 4294967295 134512640 134672761 3221224560 3221223696 134565045 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 23393 22401 603 41 0 23352 0
vsize: 93572
[startup+560.209 s]
Raw data (loadavg): 1.05 1.00 0.92 2/55 29629
Raw data (stat): 29572 (minisat+) R 29571 22929 22928 0 -1 0 22816 0 0 0 55941 81 0 0 25 0 1 0 481849077 96743424 22637 4294967295 134512640 134672761 3221224560 3221223744 134559340 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 23619 22637 603 41 0 23578 0
vsize: 94476
[startup+570.209 s]
Raw data (loadavg): 1.04 1.00 0.92 2/55 29631
Raw data (stat): 29572 (minisat+) R 29571 22929 22928 0 -1 0 23058 0 0 0 56941 82 0 0 25 0 1 0 481849077 97808384 22879 4294967295 134512640 134672761 3221224560 3221223728 134561167 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 23879 22879 603 41 0 23838 0
vsize: 95516
[startup+580.209 s]
Raw data (loadavg): 1.04 1.00 0.92 2/55 29631
Raw data (stat): 29572 (minisat+) R 29571 22929 22928 0 -1 0 23311 0 0 0 57940 82 0 0 25 0 1 0 481849077 98738176 23132 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24106 23132 603 41 0 24065 0
vsize: 96424
[startup+590.209 s]
Raw data (loadavg): 1.03 1.00 0.92 2/55 29631
Raw data (stat): 29572 (minisat+) R 29571 22929 22928 0 -1 0 23421 0 0 0 58940 83 0 0 25 0 1 0 481849077 99278848 23242 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24238 23242 603 41 0 24197 0
vsize: 96952
[startup+600.21 s]
Raw data (loadavg): 1.03 1.00 0.92 2/55 29631
Raw data (stat): 29572 (minisat+) R 29571 22929 22928 0 -1 0 23743 0 0 0 59940 83 0 0 25 0 1 0 481849077 100610048 23564 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24563 23564 603 41 0 24522 0
vsize: 98252
[startup+610.21 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 29631
Raw data (stat): 29572 (minisat+) R 29571 22929 22928 0 -1 0 24024 0 0 0 60939 85 0 0 25 0 1 0 481849077 101687296 23845 4294967295 134512640 134672761 3221224560 3221223728 134561118 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24826 23845 603 41 0 24785 0
vsize: 99304
[startup+620.211 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 29631
Raw data (stat): 29572 (minisat+) R 29571 22929 22928 0 -1 0 24324 0 0 0 61938 85 0 0 25 0 1 0 481849077 102883328 24145 4294967295 134512640 134672761 3221224560 3221223728 134561005 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25118 24145 603 41 0 25077 0
vsize: 100472
[startup+630.21 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 29631
Raw data (stat): 29572 (minisat+) R 29571 22929 22928 0 -1 0 24638 0 0 0 62938 86 0 0 25 0 1 0 481849077 104226816 24459 4294967295 134512640 134672761 3221224560 3221223696 134565127 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25446 24459 603 41 0 25405 0
vsize: 101784
[startup+640.21 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 29631
Raw data (stat): 29572 (minisat+) R 29571 22929 22928 0 -1 0 24942 0 0 0 63937 87 0 0 25 0 1 0 481849077 105431040 24763 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25740 24763 603 41 0 25699 0
vsize: 102960
[startup+650.21 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 29631
Raw data (stat): 29572 (minisat+) R 29571 22929 22928 0 -1 0 25279 0 0 0 64936 88 0 0 25 0 1 0 481849077 106766336 25100 4294967295 134512640 134672761 3221224560 3221223728 134561229 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26066 25100 603 41 0 26025 0
vsize: 104264
[startup+660.21 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 29631
Raw data (stat): 29572 (minisat+) R 29571 22929 22928 0 -1 0 25655 0 0 0 65935 89 0 0 25 0 1 0 481849077 108347392 25476 4294967295 134512640 134672761 3221224560 3221223696 134560588 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26452 25476 603 41 0 26411 0
vsize: 105808
[startup+670.211 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 29631
Raw data (stat): 29572 (minisat+) R 29571 22929 22928 0 -1 0 26013 0 0 0 66934 90 0 0 25 0 1 0 481849077 109801472 25834 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26807 25834 603 41 0 26766 0
vsize: 107228
[startup+680.21 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 29631
Raw data (stat): 29572 (minisat+) R 29571 22929 22928 0 -1 0 26326 0 0 0 67933 91 0 0 25 0 1 0 481849077 111136768 26147 4294967295 134512640 134672761 3221224560 3221223664 134560347 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 27133 26147 603 41 0 27092 0
vsize: 108532
[startup+690.21 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 29631
Raw data (stat): 29572 (minisat+) R 29571 22929 22928 0 -1 0 26638 0 0 0 68933 92 0 0 25 0 1 0 481849077 112349184 26459 4294967295 134512640 134672761 3221224560 3221223696 134565092 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 27429 26459 603 41 0 27388 0
vsize: 109716
[startup+700.211 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 29631
Raw data (stat): 29572 (minisat+) R 29571 22929 22928 0 -1 0 26932 0 0 0 69933 93 0 0 25 0 1 0 481849077 113537024 26753 4294967295 134512640 134672761 3221224560 3221223724 134559748 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 27719 26753 603 41 0 27678 0
vsize: 110876
[startup+710.211 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 29631
Raw data (stat): 29572 (minisat+) R 29571 22929 22928 0 -1 0 27216 0 0 0 70932 93 0 0 25 0 1 0 481849077 114733056 27037 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28011 27037 603 41 0 27970 0
vsize: 112044
[startup+720.212 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 29631
Raw data (stat): 29572 (minisat+) R 29571 22929 22928 0 -1 0 27542 0 0 0 71932 94 0 0 25 0 1 0 481849077 116060160 27363 4294967295 134512640 134672761 3221224560 3221223664 134560235 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28335 27363 603 41 0 28294 0
vsize: 113340
[startup+730.212 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 29631
Raw data (stat): 29572 (minisat+) R 29571 22929 22928 0 -1 0 27862 0 0 0 72931 94 0 0 25 0 1 0 481849077 117407744 27683 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28664 27683 603 41 0 28623 0
vsize: 114656
[startup+740.212 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 29631
Raw data (stat): 29572 (minisat+) R 29571 22929 22928 0 -1 0 28118 0 0 0 73930 95 0 0 25 0 1 0 481849077 118341632 27939 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28892 27939 603 41 0 28851 0
vsize: 115568
[startup+750.213 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 29631
Raw data (stat): 29572 (minisat+) R 29571 22929 22928 0 -1 0 28385 0 0 0 74930 96 0 0 25 0 1 0 481849077 119545856 28206 4294967295 134512640 134672761 3221224560 3221223664 134560128 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 29186 28206 603 41 0 29145 0
vsize: 116744
[startup+760.212 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 29631
Raw data (stat): 29572 (minisat+) R 29571 22929 22928 0 -1 0 28641 0 0 0 75929 97 0 0 25 0 1 0 481849077 120467456 28462 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 29411 28462 603 41 0 29370 0
vsize: 117644
[startup+770.213 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 29631
Raw data (stat): 29572 (minisat+) R 29571 22929 22928 0 -1 0 28912 0 0 0 76928 98 0 0 25 0 1 0 481849077 121659392 28733 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 29702 28733 603 41 0 29661 0
vsize: 118808
[startup+780.212 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 29631
Raw data (stat): 29572 (minisat+) R 29571 22929 22928 0 -1 0 29220 0 0 0 77927 99 0 0 25 0 1 0 481849077 122855424 29041 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 29994 29041 603 41 0 29953 0
vsize: 119976
[startup+790.212 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 29631
Raw data (stat): 29572 (minisat+) R 29571 22929 22928 0 -1 0 29520 0 0 0 78926 101 0 0 25 0 1 0 481849077 124059648 29341 4294967295 134512640 134672761 3221224560 3221223728 134561118 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30288 29341 603 41 0 30247 0
vsize: 121152
[startup+800.212 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 29631
Raw data (stat): 29572 (minisat+) R 29571 22929 22928 0 -1 0 29798 0 0 0 79925 102 0 0 25 0 1 0 481849077 125259776 29619 4294967295 134512640 134672761 3221224560 3221223728 134560845 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30581 29619 603 41 0 30540 0
vsize: 122324
[startup+810.212 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 29631
Raw data (stat): 29572 (minisat+) R 29571 22929 22928 0 -1 0 30059 0 0 0 80924 103 0 0 25 0 1 0 481849077 126337024 29880 4294967295 134512640 134672761 3221224560 3221223728 134560895 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30844 29880 603 41 0 30803 0
vsize: 123376
[startup+820.212 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 29631
Raw data (stat): 29572 (minisat+) R 29571 22929 22928 0 -1 0 30306 0 0 0 81923 104 0 0 25 0 1 0 481849077 127266816 30127 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 31071 30127 603 41 0 31030 0
vsize: 124284
[startup+830.212 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 29631
Raw data (stat): 29572 (minisat+) R 29571 22929 22928 0 -1 0 30581 0 0 0 82923 105 0 0 25 0 1 0 481849077 128458752 30402 4294967295 134512640 134672761 3221224560 3221223728 134560858 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 31362 30402 603 41 0 31321 0
vsize: 125448
[startup+840.212 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 29631
Raw data (stat): 29572 (minisat+) R 29571 22929 22928 0 -1 0 30864 0 0 0 83922 105 0 0 25 0 1 0 481849077 129536000 30685 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 31625 30685 603 41 0 31584 0
vsize: 126500
[startup+850.213 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 29633
Raw data (stat): 29572 (minisat+) R 29571 22929 22928 0 -1 0 31097 0 0 0 84921 106 0 0 25 0 1 0 481849077 130596864 30918 4294967295 134512640 134672761 3221224560 3221223664 134559925 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 31884 30918 603 41 0 31843 0
vsize: 127536
[startup+860.213 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 29633
Raw data (stat): 29572 (minisat+) R 29571 22929 22928 0 -1 0 31341 0 0 0 85921 107 0 0 25 0 1 0 481849077 131526656 31162 4294967295 134512640 134672761 3221224560 3221223728 134560988 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 32111 31162 603 41 0 32070 0
vsize: 128444
[startup+870.213 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 29635
Raw data (stat): 29572 (minisat+) R 29571 22929 22928 0 -1 0 31571 0 0 0 86920 108 0 0 25 0 1 0 481849077 132452352 31392 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 32337 31392 603 41 0 32296 0
vsize: 129348
[startup+880.213 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 29635
Raw data (stat): 29572 (minisat+) R 29571 22929 22928 0 -1 0 31792 0 0 0 87920 109 0 0 25 0 1 0 481849077 133378048 31613 4294967295 134512640 134672761 3221224560 3221223728 134560852 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 32563 31613 603 41 0 32522 0
vsize: 130252
[startup+890.213 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 29635
Raw data (stat): 29572 (minisat+) R 29571 22929 22928 0 -1 0 32041 0 0 0 88919 109 0 0 25 0 1 0 481849077 134443008 31862 4294967295 134512640 134672761 3221224560 3221223728 134560929 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 32823 31862 603 41 0 32782 0
vsize: 131292
[startup+900.214 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 29635
Raw data (stat): 29572 (minisat+) R 29571 22929 22928 0 -1 0 32270 0 0 0 89919 110 0 0 25 0 1 0 481849077 135364608 32091 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 33048 32091 603 41 0 33007 0
vsize: 132192
[startup+910.214 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 29635
Raw data (stat): 29572 (minisat+) R 29571 22929 22928 0 -1 0 32545 0 0 0 90918 110 0 0 25 0 1 0 481849077 136425472 32366 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 33307 32366 603 41 0 33266 0
vsize: 133228
[startup+920.215 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 29635
Raw data (stat): 29572 (minisat+) R 29571 22929 22928 0 -1 0 32810 0 0 0 91918 111 0 0 25 0 1 0 481849077 137502720 32631 4294967295 134512640 134672761 3221224560 3221223664 134560235 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 33570 32631 603 41 0 33529 0
vsize: 134280
[startup+930.214 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 29635
Raw data (stat): 29572 (minisat+) R 29571 22929 22928 0 -1 0 33035 0 0 0 92917 112 0 0 25 0 1 0 481849077 138432512 32856 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 33797 32856 603 41 0 33756 0
vsize: 135188
[startup+940.214 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 29635
Raw data (stat): 29572 (minisat+) R 29571 22929 22928 0 -1 0 33307 0 0 0 93917 112 0 0 25 0 1 0 481849077 139505664 33128 4294967295 134512640 134672761 3221224560 3221223728 134561011 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 34059 33128 603 41 0 34018 0
vsize: 136236
[startup+950.214 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 29635
Raw data (stat): 29572 (minisat+) R 29571 22929 22928 0 -1 0 33581 0 0 0 94917 113 0 0 25 0 1 0 481849077 140701696 33402 4294967295 134512640 134672761 3221224560 3221223728 134561198 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 34351 33402 603 41 0 34310 0
vsize: 137404
[startup+960.215 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 29635
Raw data (stat): 29572 (minisat+) R 29571 22929 22928 0 -1 0 33875 0 0 0 95916 114 0 0 25 0 1 0 481849077 141893632 33696 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 34642 33696 603 41 0 34601 0
vsize: 138568
[startup+970.215 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 29635
Raw data (stat): 29572 (minisat+) R 29571 22929 22928 0 -1 0 34139 0 0 0 96915 115 0 0 25 0 1 0 481849077 142954496 33960 4294967295 134512640 134672761 3221224560 3221223728 134560979 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 34901 33960 603 41 0 34860 0
vsize: 139604
[startup+980.216 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 29635
Raw data (stat): 29572 (minisat+) R 29571 22929 22928 0 -1 0 34418 0 0 0 97915 115 0 0 25 0 1 0 481849077 144015360 34239 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 35160 34239 603 41 0 35119 0
vsize: 140640
[startup+990.215 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 29635
Raw data (stat): 29572 (minisat+) R 29571 22929 22928 0 -1 0 34728 0 0 0 98914 116 0 0 25 0 1 0 481849077 145330176 34549 4294967295 134512640 134672761 3221224560 3221223728 134560830 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 35481 34549 603 41 0 35440 0
vsize: 141924
[startup+1000.21 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 29635
Raw data (stat): 29572 (minisat+) R 29571 22929 22928 0 -1 0 35002 0 0 0 99913 117 0 0 25 0 1 0 481849077 146399232 34823 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 35742 34823 603 41 0 35701 0
vsize: 142968
[startup+1010.22 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 29635
Raw data (stat): 29572 (minisat+) R 29571 22929 22928 0 -1 0 35274 0 0 0 100912 118 0 0 25 0 1 0 481849077 147607552 35095 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 36037 35095 603 41 0 35996 0
vsize: 144148
[startup+1020.22 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 29635
Raw data (stat): 29572 (minisat+) R 29571 22929 22928 0 -1 0 35479 0 0 0 101911 120 0 0 25 0 1 0 481849077 148418560 35300 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 36235 35300 603 41 0 36194 0
vsize: 144940
[startup+1030.22 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 29635
Raw data (stat): 29572 (minisat+) R 29571 22929 22928 0 -1 0 35691 0 0 0 102911 120 0 0 25 0 1 0 481849077 149225472 35512 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 36432 35512 603 41 0 36391 0
vsize: 145728
[startup+1040.22 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 29635
Raw data (stat): 29572 (minisat+) R 29571 22929 22928 0 -1 0 35894 0 0 0 103910 121 0 0 25 0 1 0 481849077 150163456 35715 4294967295 134512640 134672761 3221224560 3221223664 134560235 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 36661 35715 603 41 0 36620 0
vsize: 146644
[startup+1050.22 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 29635
Raw data (stat): 29572 (minisat+) R 29571 22929 22928 0 -1 0 36114 0 0 0 104909 121 0 0 25 0 1 0 481849077 150966272 35935 4294967295 134512640 134672761 3221224560 3221223664 134560196 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 36857 35935 603 41 0 36816 0
vsize: 147428
[startup+1060.22 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 29635
Raw data (stat): 29572 (minisat+) R 29571 22929 22928 0 -1 0 36319 0 0 0 105909 122 0 0 25 0 1 0 481849077 151900160 36140 4294967295 134512640 134672761 3221224560 3221223728 134561215 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 37085 36140 603 41 0 37044 0
vsize: 148340
[startup+1070.22 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 29635
Raw data (stat): 29572 (minisat+) R 29571 22929 22928 0 -1 0 36511 0 0 0 106908 123 0 0 25 0 1 0 481849077 152563712 36332 4294967295 134512640 134672761 3221224560 3221223664 134560196 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 37247 36332 603 41 0 37206 0
vsize: 148988
[startup+1080.22 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 29635
Raw data (stat): 29572 (minisat+) R 29571 22929 22928 0 -1 0 36722 0 0 0 107908 123 0 0 25 0 1 0 481849077 153493504 36543 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 37474 36543 603 41 0 37433 0
vsize: 149896
[startup+1090.22 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 29635
Raw data (stat): 29572 (minisat+) R 29571 22929 22928 0 -1 0 36928 0 0 0 108908 124 0 0 25 0 1 0 481849077 154284032 36749 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 37667 36749 603 41 0 37626 0
vsize: 150668
[startup+1100.22 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 29635
Raw data (stat): 29572 (minisat+) R 29571 22929 22928 0 -1 0 37126 0 0 0 109907 125 0 0 25 0 1 0 481849077 155082752 36947 4294967295 134512640 134672761 3221224560 3221223560 1075350517 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 37862 36947 603 41 0 37821 0
vsize: 151448
[startup+1110.22 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 29635
Raw data (stat): 29572 (minisat+) R 29571 22929 22928 0 -1 0 37322 0 0 0 110906 125 0 0 25 0 1 0 481849077 155877376 37143 4294967295 134512640 134672761 3221224560 3221223728 134560940 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38056 37143 603 41 0 38015 0
vsize: 152224
[startup+1120.22 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 29635
Raw data (stat): 29572 (minisat+) R 29571 22929 22928 0 -1 0 37526 0 0 0 111906 126 0 0 25 0 1 0 481849077 156803072 37347 4294967295 134512640 134672761 3221224560 3221223728 134561215 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38282 37347 603 41 0 38241 0
vsize: 153128
[startup+1130.22 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 29635
Raw data (stat): 29572 (minisat+) R 29571 22929 22928 0 -1 0 37745 0 0 0 112906 127 0 0 25 0 1 0 481849077 157601792 37566 4294967295 134512640 134672761 3221224560 3221223664 134560177 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38477 37566 603 41 0 38436 0
vsize: 153908
[startup+1140.22 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 29635
Raw data (stat): 29572 (minisat+) R 29571 22929 22928 0 -1 0 37957 0 0 0 113905 127 0 0 25 0 1 0 481849077 158535680 37778 4294967295 134512640 134672761 3221224560 3221223728 134561198 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38705 37778 603 41 0 38664 0
vsize: 154820
[startup+1150.22 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 29637
Raw data (stat): 29572 (minisat+) R 29571 22929 22928 0 -1 0 38185 0 0 0 114904 129 0 0 25 0 1 0 481849077 159461376 38006 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 38931 38006 603 41 0 38890 0
vsize: 155724
[startup+1160.22 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 29637
Raw data (stat): 29572 (minisat+) R 29571 22929 22928 0 -1 0 38409 0 0 0 115903 129 0 0 25 0 1 0 481849077 160387072 38230 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 39157 38230 603 41 0 39116 0
vsize: 156628
[startup+1170.22 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 29637
Raw data (stat): 29572 (minisat+) R 29571 22929 22928 0 -1 0 38623 0 0 0 116903 130 0 0 25 0 1 0 481849077 161177600 38444 4294967295 134512640 134672761 3221224560 3221223728 134561190 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 39350 38444 603 41 0 39309 0
vsize: 157400
[startup+1180.22 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 29637
Raw data (stat): 29572 (minisat+) R 29571 22929 22928 0 -1 0 38836 0 0 0 117903 130 0 0 25 0 1 0 481849077 162103296 38657 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 39576 38657 603 41 0 39535 0
vsize: 158304
[startup+1190.22 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 29637
Raw data (stat): 29572 (minisat+) R 29571 22929 22928 0 -1 0 39070 0 0 0 118902 131 0 0 25 0 1 0 481849077 163033088 38891 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 39803 38891 603 41 0 39762 0
vsize: 159212
[startup+1200.22 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 29637
Raw data (stat): 29572 (minisat+) R 29571 22929 22928 0 -1 0 39298 0 0 0 119901 132 0 0 25 0 1 0 481849077 163966976 39119 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 40031 39119 603 41 0 39990 0
vsize: 160124
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.3 s]
Raw data (loadavg): 1.00 1.00 0.92 1/55 29637
Raw data (stat): 29572 (minisat+) Z 29571 22929 22928 0 -1 12 39301 0 0 0 119901 140 0 0 25 0 1 0 481849077 0 0 4294967295 0 0 0 0 0 0 16384 5 16386 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 10
Real time (s): 1200.3
CPU time (s): 1200.42
CPU user time (s): 1199.02
CPU system time (s): 1.40079
CPU usage (%): 100.01
Max. virtual memory (Kb): 160124
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####