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/frb53-24-opb/normalized-frb53-24-3.opb
MD5SUM	baa7b619e2dc55a18c674a719d78c00c
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	1272
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	1272
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	1272
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	1272
Total number of constraints	94127
Number of constraints which are clauses	94127
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 5258

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        885320 kB
Buffers:         34268 kB
Cached:          78700 kB
SwapCached:        320 kB
Active:          55856 kB
Inactive:        60300 kB
HighTotal:      131008 kB
HighFree:        48384 kB
LowTotal:       903652 kB
LowFree:        836936 kB
SwapTotal:     2097892 kB
SwapFree:      2097572 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           6936 kB
Slab:            27472 kB
Committed_AS:    63704 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-13 23:21:22 (client local time) WITH STATUS 10 IN 1200.21 SECONDS
stats: 3725 7 1200.21 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Parsing PB file...
c Converting 94127 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 |   94127   188254 |   31375       0        0     nan |  0.000 % |
c ==============================================================================
c [1mFound solution: -37[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Adder-cost: 2518   maxlim: 37   bits: 7/6
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |         0 |  111539   250476 |   37179       0        0     nan |  0.000 % |
c |       100 |  111539   250476 |   40896     100      700     7.0 |  0.081 % |
c |       250 |  111539   250476 |   44986     250     2024     8.1 |  0.081 % |
c |       475 |  111539   250476 |   49485     475     4426     9.3 |  0.081 % |
c |       812 |  111530   250445 |   54433     806     7714     9.6 |  0.106 % |
c |      1318 |  111494   250321 |   59877    1302    12646     9.7 |  0.214 % |
c |      2077 |  111467   250228 |   65864    2055    20035     9.7 |  0.291 % |
c |      3216 |  111398   249991 |   72451    3176    32723    10.3 |  0.503 % |
c |      4924 |  110991   248594 |   79696    4766    51116    10.7 |  1.801 % |
c |      7486 |  110463   246786 |   87666    7191    85563    11.9 |  3.604 % |
c |     11330 |  108937   241530 |   96432   10564   155571    14.7 |  9.563 % |
c |     17096 |  106321   232484 |  106076   15298   274226    17.9 | 21.485 % |
c ==============================================================================
c [1mFound solution: -38[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Adder-cost: 0   maxlim: 38   bits: 7/6
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     22314 |  105497   229599 |   35165   19957   825679    41.4 | 21.485 % |
c |     22414 |  105488   229568 |   38681   20053   827245    41.3 | 25.869 % |
c |     22564 |  105488   229568 |   42549   20203   831401    41.2 | 25.869 % |
c |     22789 |  105464   229486 |   46804   20379   841961    41.3 | 25.947 % |
c |     23126 |  105246   228712 |   51485   20561   850965    41.4 | 27.164 % |
c |     23632 |  105227   228643 |   56633   20970   869691    41.5 | 27.244 % |
c |     24391 |  105127   228297 |   62296   21639   887012    41.0 | 27.775 % |
c |     25531 |  105100   228204 |   68526   22743   930503    40.9 | 27.854 % |
c |     27239 |  105049   228031 |   75379   24295  1049273    43.2 | 28.038 % |
c |     29801 |  104982   227794 |   82917   26791  1220105    45.5 | 28.435 % |
c ==============================================================================
c [1mFound solution: -39[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Adder-cost: 0   maxlim: 39   bits: 7/6
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     31041 |  104925   227595 |   34975   27960  1306385    46.7 | 28.435 % |
c |     31141 |  104925   227595 |   38472   28060  1308921    46.6 | 28.745 % |
c |     31291 |  104925   227595 |   42319   28210  1318053    46.7 | 28.747 % |
c |     31517 |  104925   227595 |   46551   28436  1334790    46.9 | 28.745 % |
c |     31854 |  104909   227535 |   51206   28695  1345456    46.9 | 28.798 % |
c |     32361 |  104909   227535 |   56327   29202  1371294    47.0 | 28.798 % |
c |     33120 |  104861   227371 |   61960   29887  1397707    46.8 | 29.037 % |
c ==============================================================================
c [1mFound solution: -40[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Adder-cost: 0   maxlim: 40   bits: 7/6
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     33239 |  104866   227395 |   34955   30006  1404015    46.8 | 29.037 % |
c |     33339 |  104839   227300 |   38450   30096  1406151    46.7 | 29.214 % |
c |     33490 |  104822   227241 |   42295   30202  1409242    46.7 | 29.293 % |
c |     33715 |  104811   227202 |   46525   30388  1417276    46.6 | 29.346 % |
c |     34053 |  104811   227202 |   51177   30726  1431713    46.6 | 29.346 % |
c ==============================================================================
c [1mFound solution: -41[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Adder-cost: 0   maxlim: 41   bits: 7/6
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     34078 |  104812   227209 |   34937   30751  1432695    46.6 | 29.346 % |
c |     34178 |  104812   227209 |   38430   30851  1435655    46.5 | 29.365 % |
c |     34328 |  104812   227209 |   42273   31001  1440959    46.5 | 29.366 % |
c |     34553 |  104603   226470 |   46501   31033  1448861    46.7 | 30.582 % |
c |     34891 |  104603   226470 |   51151   31371  1468592    46.8 | 30.583 % |
c |     35397 |  104597   226450 |   56266   31873  1492824    46.8 | 30.610 % |
c |     36157 |  104597   226450 |   61893   32633  1538564    47.1 | 30.608 % |
c |     37296 |  104540   226255 |   68082   33610  1598530    47.6 | 30.875 % |
c |     39004 |  104508   226145 |   74890   35225  1787533    50.7 | 31.006 % |
c |     41566 |  104476   226035 |   82379   37705  1967240    52.2 | 31.139 % |
c ==============================================================================
c [1mFound solution: -42[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Adder-cost: 0   maxlim: 42   bits: 7/6
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     42773 |  104455   225965 |   34818   38877  2020626    52.0 | 31.139 % |
c |     42873 |  104455   225965 |   38299   17425   754160    43.3 | 31.262 % |
c |     43023 |  104431   225883 |   42129   17546   758670    43.2 | 31.341 % |
c |     43248 |  104431   225883 |   46342   17771   768093    43.2 | 31.341 % |
c |     43585 |  104431   225883 |   50977   18108   779513    43.0 | 31.341 % |
c |     44091 |  104416   225832 |   56074   18592   807435    43.4 | 31.394 % |
c |     44851 |  104407   225801 |   61682   19321   860152    44.5 | 31.422 % |
c |     45990 |  104381   225711 |   67850   20395   927149    45.5 | 31.527 % |
c |     47698 |  104333   225545 |   74635   22045  1025953    46.5 | 31.764 % |
c |     50260 |  104322   225506 |   82099   24589  1296056    52.7 | 31.817 % |
c |     54106 |  104322   225506 |   90308   28435  1863681    65.5 | 31.817 % |
c |     59872 |  104290   225392 |   99339   34193  2439476    71.3 | 32.002 % |
c |     68522 |  104221   225149 |  109273   42782  3270521    76.4 | 32.348 % |
c |     81496 |  104132   224836 |  120201   55679  5283733    94.9 | 32.823 % |
c |    100958 |  104132   224836 |  132221   75141  9382748   124.9 | 32.822 % |
c |    130152 |  104081   224663 |  145443  104277 14277444   136.9 | 33.086 % |
c ==============================================================================
c [1mFound solution: -43[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Adder-cost: 0   maxlim: 43   bits: 7/6
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |    143552 |  104082   224669 |   34694  117677 15884570   135.0 | 33.086 % |
c |    143652 |  104082   224669 |   38163   19698  1608675    81.7 | 33.104 % |
c |    143803 |  104082   224669 |   41979   19849  1615722    81.4 | 33.104 % |
c |    144028 |  104082   224669 |   46177   20074  1625738    81.0 | 33.104 % |
c |    144365 |  104082   224669 |   50795   20411  1643911    80.5 | 33.104 % |
c |    144871 |  104082   224669 |   55875   20917  1692159    80.9 | 33.105 % |
c |    145631 |  104050   224559 |   61462   21670  1742564    80.4 | 33.236 % |
c |    146770 |  104030   224489 |   67608   22782  1819510    79.9 | 33.317 % |
c |    148478 |  104010   224419 |   74369   24471  1963694    80.2 | 33.395 % |
c |    151040 |  103946   224197 |   81806   27006  2121959    78.6 | 33.686 % |
c |    154885 |  103946   224197 |   89987   30851  2659767    86.2 | 33.687 % |
c |    160651 |  103946   224197 |   98986   36617  3741889   102.2 | 33.686 % |
c |    169300 |  103946   224197 |  108884   45266  5295338   117.0 | 33.686 % |
c |    182274 |  103946   224197 |  119773   58240  7339958   126.0 | 33.686 % |
c |    201736 |  103946   224197 |  131750   77702 11821668   152.1 | 33.686 % |
c ==============================================================================
c [1mFound solution: -44[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Adder-cost: 0   maxlim: 44   bits: 7/6
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |    225241 |  103947   224205 |   34649  101207 16414229   162.2 | 33.686 % |
c |    225341 |  103947   224205 |   38113   16420  3003681   182.9 | 33.703 % |
c |    225491 |  103936   224166 |   41925   16567  3008039   181.6 | 33.756 % |
c |    225716 |  103911   224079 |   46117   16782  3015694   179.7 | 33.888 % |
c |    226054 |  103911   224079 |   50729   17120  3025379   176.7 | 33.890 % |
c |    226560 |  103911   224079 |   55802   17626  3049826   173.0 | 33.888 % |
c |    227319 |  103911   224079 |   61382   18385  3124989   170.0 | 33.888 % |
c |    228458 |  103911   224079 |   67521   19524  3202692   164.0 | 33.888 % |
c |    230167 |  103911   224079 |   74273   21233  3321928   156.5 | 33.890 % |
c |    232729 |  103877   223965 |   81700   23768  3455056   145.4 | 34.075 % |
c |    236575 |  103804   223710 |   89870   27579  3825594   138.7 | 34.417 % |
c |    242341 |  103804   223710 |   98857   33345  4447927   133.4 | 34.418 % |
c |    250990 |  103793   223671 |  108743   41973  5344245   127.3 | 34.470 % |
c |    263965 |  103793   223671 |  119617   54948  6657883   121.2 | 34.470 % |
c |    283426 |  103688   223308 |  131579   74358  8696846   117.0 | 35.053 % |
c |    312621 |  103688   223308 |  144737  103553 14231542   137.4 | 35.053 % |
c |    356410 |  103688   223308 |  159211  147342 22335885   151.6 | 35.052 % |
c ==============================================================================
c [1mFound solution: -45[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Adder-cost: 0   maxlim: 45   bits: 7/6
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |    395099 |  103689   223315 |   34563   41333  5412619   131.0 | 35.052 % |
c |    395199 |  103689   223315 |   38019   15159  1766802   116.6 | 35.070 % |
c |    395349 |  103689   223315 |   41821   15309  1770080   115.6 | 35.069 % |
c |    395575 |  103689   223315 |   46003   15535  1778569   114.5 | 35.069 % |
c |    395912 |  103689   223315 |   50603   15872  1786812   112.6 | 35.070 % |
c |    396419 |  103667   223237 |   55664   16371  1808873   110.5 | 35.176 % |
c |    397178 |  103667   223237 |   61230   17130  1836607   107.2 | 35.174 % |
c |    398317 |  103667   223237 |   67353   18269  1890549   103.5 | 35.174 % |
c |    400025 |  103658   223206 |   74088   19972  2003019   100.3 | 35.201 % |
c |    402587 |  103658   223206 |   81497   22534  2222026    98.6 | 35.202 % |
c |    406431 |  103658   223206 |   89647   26378  2588182    98.1 | 35.201 % |
c |    412200 |  103658   223206 |   98612   32147  3346217   104.1 | 35.201 % |
c 
c *** TERMINATED ***
s SATISFIABLE
v -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 -C#### 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.87 0.95 0.90 2/55 24770
Raw data (stat): 24770 (runsolver) R 24769 20024 20023 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 479741957 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.0012 s]
Raw data (loadavg): 0.89 0.95 0.90 2/55 24770
Raw data (stat): 24770 (minisat+) R 24769 20024 20023 0 -1 0 4502 0 0 0 982 16 0 0 25 0 1 0 479741957 20205568 4480 4294967295 134512640 134672761 3221224560 3221223728 134560830 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 4933 4480 603 41 0 4892 0
vsize: 19732
[startup+20.0021 s]
Raw data (loadavg): 0.90 0.96 0.91 2/55 24770
Raw data (stat): 24770 (minisat+) R 24769 20024 20023 0 -1 0 4502 0 0 0 1982 17 0 0 25 0 1 0 479741957 20205568 4480 4294967295 134512640 134672761 3221224560 3221223684 134566037 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 4933 4480 603 41 0 4892 0
vsize: 19732
[startup+30.0035 s]
Raw data (loadavg): 0.92 0.96 0.91 2/55 24772
Raw data (stat): 24770 (minisat+) R 24769 20024 20023 0 -1 0 4502 0 0 0 2981 17 0 0 25 0 1 0 479741957 20205568 4480 4294967295 134512640 134672761 3221224560 3221223696 134560625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 4933 4480 603 41 0 4892 0
vsize: 19732
[startup+40.0039 s]
Raw data (loadavg): 0.93 0.96 0.91 2/55 24772
Raw data (stat): 24770 (minisat+) R 24769 20024 20023 0 -1 0 4502 0 0 0 3981 18 0 0 25 0 1 0 479741957 20205568 4480 4294967295 134512640 134672761 3221224560 3221223732 134556634 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 4933 4480 603 41 0 4892 0
vsize: 19732
[startup+50.0039 s]
Raw data (loadavg): 0.94 0.96 0.91 2/55 24772
Raw data (stat): 24770 (minisat+) R 24769 20024 20023 0 -1 0 4502 0 0 0 4981 18 0 0 25 0 1 0 479741957 20205568 4480 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 4933 4480 603 41 0 4892 0
vsize: 19732
[startup+60.0052 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 24772
Raw data (stat): 24770 (minisat+) R 24769 20024 20023 0 -1 0 4502 0 0 0 5981 18 0 0 25 0 1 0 479741957 20205568 4480 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 4933 4480 603 41 0 4892 0
vsize: 19732
[startup+70.0057 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 24772
Raw data (stat): 24770 (minisat+) R 24769 20024 20023 0 -1 0 4502 0 0 0 6980 19 0 0 25 0 1 0 479741957 20205568 4480 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 4933 4480 603 41 0 4892 0
vsize: 19732
[startup+80.0056 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 24772
Raw data (stat): 24770 (minisat+) R 24769 20024 20023 0 -1 0 4515 0 0 0 7980 19 0 0 25 0 1 0 479741957 20205568 4493 4294967295 134512640 134672761 3221224560 3221223728 134561001 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 4933 4493 603 41 0 4892 0
vsize: 19732
[startup+90.0055 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 24772
Raw data (stat): 24770 (minisat+) R 24769 20024 20023 0 -1 0 5200 0 0 0 8977 22 0 0 25 0 1 0 479741957 23035904 5178 4294967295 134512640 134672761 3221224560 3221223728 134561188 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 5624 5178 603 41 0 5583 0
vsize: 22496
[startup+100.005 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 24772
Raw data (stat): 24770 (minisat+) R 24769 20024 20023 0 -1 0 5934 0 0 0 9974 24 0 0 25 0 1 0 479741957 25989120 5912 4294967295 134512640 134672761 3221224560 3221223728 134561156 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 6345 5912 603 41 0 6304 0
vsize: 25380
[startup+110.006 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 24772
Raw data (stat): 24770 (minisat+) R 24769 20024 20023 0 -1 0 6849 0 0 0 10972 27 0 0 25 0 1 0 479741957 29765632 6827 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7267 6827 603 41 0 7226 0
vsize: 29068
[startup+120.008 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 24772
Raw data (stat): 24770 (minisat+) R 24769 20024 20023 0 -1 0 7695 0 0 0 11970 29 0 0 25 0 1 0 479741957 33263616 7673 4294967295 134512640 134672761 3221224560 3221223728 134560895 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 8121 7673 603 41 0 8080 0
vsize: 32484
[startup+130.007 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 24772
Raw data (stat): 24770 (minisat+) R 24769 20024 20023 0 -1 0 8479 0 0 0 12967 32 0 0 25 0 1 0 479741957 36487168 8457 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 8908 8457 603 41 0 8867 0
vsize: 35632
[startup+140.007 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 24772
Raw data (stat): 24770 (minisat+) R 24769 20024 20023 0 -1 0 9233 0 0 0 13965 34 0 0 25 0 1 0 479741957 39583744 9211 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 9664 9211 603 41 0 9623 0
vsize: 38656
[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24772
Raw data (stat): 24770 (minisat+) R 24769 20024 20023 0 -1 0 9966 0 0 0 14963 36 0 0 25 0 1 0 479741957 42811392 9944 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 10452 9944 603 41 0 10411 0
vsize: 41808
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24772
Raw data (stat): 24770 (minisat+) R 24769 20024 20023 0 -1 0 10660 0 0 0 15962 37 0 0 25 0 1 0 479741957 45637632 10638 4294967295 134512640 134672761 3221224560 3221223516 1075350517 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11142 10638 603 41 0 11101 0
vsize: 44568
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24772
Raw data (stat): 24770 (minisat+) R 24769 20024 20023 0 -1 0 11285 0 0 0 16961 39 0 0 25 0 1 0 479741957 48201728 11263 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11768 11263 603 41 0 11727 0
vsize: 47072
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24772
Raw data (stat): 24770 (minisat+) R 24769 20024 20023 0 -1 0 11867 0 0 0 17959 41 0 0 25 0 1 0 479741957 50622464 11845 4294967295 134512640 134672761 3221224560 3221223728 134560903 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 12359 11845 603 41 0 12318 0
vsize: 49436
[startup+190.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24772
Raw data (stat): 24770 (minisat+) R 24769 20024 20023 0 -1 0 12340 0 0 0 18958 42 0 0 25 0 1 0 479741957 52527104 12318 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 12824 12318 603 41 0 12783 0
vsize: 51296
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24772
Raw data (stat): 24770 (minisat+) R 24769 20024 20023 0 -1 0 12635 0 0 0 19957 43 0 0 25 0 1 0 479741957 53739520 12613 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 13120 12613 603 41 0 13079 0
vsize: 52480
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24772
Raw data (stat): 24770 (minisat+) R 24769 20024 20023 0 -1 0 13024 0 0 0 20956 44 0 0 25 0 1 0 479741957 55230464 13002 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 13484 13002 603 41 0 13443 0
vsize: 53936
[startup+220.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24772
Raw data (stat): 24770 (minisat+) R 24769 20024 20023 0 -1 0 13348 0 0 0 21956 45 0 0 25 0 1 0 479741957 56586240 13326 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 13815 13326 603 41 0 13774 0
vsize: 55260
[startup+230.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24772
Raw data (stat): 24770 (minisat+) R 24769 20024 20023 0 -1 0 13849 0 0 0 22955 46 0 0 25 0 1 0 479741957 58601472 13827 4294967295 134512640 134672761 3221224560 3221223728 134561008 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 14307 13827 603 41 0 14266 0
vsize: 57228
[startup+240.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24772
Raw data (stat): 24770 (minisat+) R 24769 20024 20023 0 -1 0 14415 0 0 0 23953 48 0 0 25 0 1 0 479741957 60891136 14393 4294967295 134512640 134672761 3221224560 3221223728 134561215 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 14866 14393 603 41 0 14825 0
vsize: 59464
[startup+250.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24772
Raw data (stat): 24770 (minisat+) R 24769 20024 20023 0 -1 0 14980 0 0 0 24952 49 0 0 25 0 1 0 479741957 63303680 14958 4294967295 134512640 134672761 3221224560 3221223728 134561151 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 15455 14958 603 41 0 15414 0
vsize: 61820
[startup+260.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24772
Raw data (stat): 24770 (minisat+) R 24769 20024 20023 0 -1 0 15556 0 0 0 25951 50 0 0 25 0 1 0 479741957 65597440 15534 4294967295 134512640 134672761 3221224560 3221223728 134560892 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16015 15534 603 41 0 15974 0
vsize: 64060
[startup+270.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24772
Raw data (stat): 24770 (minisat+) R 24769 20024 20023 0 -1 0 16213 0 0 0 26950 51 0 0 25 0 1 0 479741957 68280320 16191 4294967295 134512640 134672761 3221224560 3221223728 134560980 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16670 16191 603 41 0 16629 0
vsize: 66680
[startup+280.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24774
Raw data (stat): 24770 (minisat+) R 24769 20024 20023 0 -1 0 16798 0 0 0 27949 53 0 0 25 0 1 0 479741957 70688768 16776 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 17258 16776 603 41 0 17217 0
vsize: 69032
[startup+290.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24774
Raw data (stat): 24770 (minisat+) R 24769 20024 20023 0 -1 0 17235 0 0 0 28948 53 0 0 25 0 1 0 479741957 72433664 17213 4294967295 134512640 134672761 3221224560 3221223728 134560999 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 17684 17213 603 41 0 17643 0
vsize: 70736
[startup+300.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24774
Raw data (stat): 24770 (minisat+) R 24769 20024 20023 0 -1 0 17559 0 0 0 29947 55 0 0 25 0 1 0 479741957 73797632 17537 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 18017 17537 603 41 0 17976 0
vsize: 72068
[startup+310.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24774
Raw data (stat): 24770 (minisat+) R 24769 20024 20023 0 -1 0 17863 0 0 0 30946 56 0 0 25 0 1 0 479741957 75010048 17841 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 18313 17841 603 41 0 18272 0
vsize: 73252
[startup+320.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24774
Raw data (stat): 24770 (minisat+) R 24769 20024 20023 0 -1 0 18183 0 0 0 31946 57 0 0 25 0 1 0 479741957 76349440 18161 4294967295 134512640 134672761 3221224560 3221223728 134560964 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 18640 18161 603 41 0 18599 0
vsize: 74560
[startup+330.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24776
Raw data (stat): 24770 (minisat+) R 24769 20024 20023 0 -1 0 18554 0 0 0 32945 57 0 0 25 0 1 0 479741957 77815808 18532 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 18998 18532 603 41 0 18957 0
vsize: 75992
[startup+340.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24776
Raw data (stat): 24770 (minisat+) R 24769 20024 20023 0 -1 0 18956 0 0 0 33944 58 0 0 25 0 1 0 479741957 79429632 18934 4294967295 134512640 134672761 3221224560 3221223892 134561964 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19392 18934 603 41 0 19351 0
vsize: 77568
[startup+350.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24776
Raw data (stat): 24770 (minisat+) R 24769 20024 20023 0 -1 0 18956 0 0 0 34944 59 0 0 25 0 1 0 479741957 79429632 18934 4294967295 134512640 134672761 3221224560 3221223664 134560246 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19392 18934 603 41 0 19351 0
vsize: 77568
[startup+360.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24776
Raw data (stat): 24770 (minisat+) R 24769 20024 20023 0 -1 0 18956 0 0 0 35944 59 0 0 25 0 1 0 479741957 79429632 18934 4294967295 134512640 134672761 3221224560 3221223728 134560976 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19392 18934 603 41 0 19351 0
vsize: 77568
[startup+370.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24776
Raw data (stat): 24770 (minisat+) R 24769 20024 20023 0 -1 0 18956 0 0 0 36944 59 0 0 25 0 1 0 479741957 79429632 18934 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19392 18934 603 41 0 19351 0
vsize: 77568
[startup+380.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24776
Raw data (stat): 24770 (minisat+) R 24769 20024 20023 0 -1 0 18956 0 0 0 37944 59 0 0 25 0 1 0 479741957 79429632 18934 4294967295 134512640 134672761 3221224560 3221223696 134565045 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19392 18934 603 41 0 19351 0
vsize: 77568
[startup+390.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24776
Raw data (stat): 24770 (minisat+) R 24769 20024 20023 0 -1 0 18956 0 0 0 38945 59 0 0 25 0 1 0 479741957 79429632 18934 4294967295 134512640 134672761 3221224560 3221223664 134560410 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19392 18934 603 41 0 19351 0
vsize: 77568
[startup+400.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24776
Raw data (stat): 24770 (minisat+) R 24769 20024 20023 0 -1 0 18956 0 0 0 39945 59 0 0 25 0 1 0 479741957 79429632 18934 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19392 18934 603 41 0 19351 0
vsize: 77568
[startup+410.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24776
Raw data (stat): 24770 (minisat+) R 24769 20024 20023 0 -1 0 18956 0 0 0 40945 59 0 0 25 0 1 0 479741957 79429632 18934 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19392 18934 603 41 0 19351 0
vsize: 77568
[startup+420.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24776
Raw data (stat): 24770 (minisat+) R 24769 20024 20023 0 -1 0 18956 0 0 0 41945 59 0 0 25 0 1 0 479741957 79429632 18934 4294967295 134512640 134672761 3221224560 3221223728 134560942 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19392 18934 603 41 0 19351 0
vsize: 77568
[startup+430.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24776
Raw data (stat): 24770 (minisat+) R 24769 20024 20023 0 -1 0 18956 0 0 0 42945 59 0 0 25 0 1 0 479741957 79429632 18934 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19392 18934 603 41 0 19351 0
vsize: 77568
[startup+440.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24776
Raw data (stat): 24770 (minisat+) R 24769 20024 20023 0 -1 0 18956 0 0 0 43945 59 0 0 25 0 1 0 479741957 79429632 18934 4294967295 134512640 134672761 3221224560 3221223728 134560917 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19392 18934 603 41 0 19351 0
vsize: 77568
[startup+450.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24776
Raw data (stat): 24770 (minisat+) R 24769 20024 20023 0 -1 0 18956 0 0 0 44945 59 0 0 25 0 1 0 479741957 79429632 18934 4294967295 134512640 134672761 3221224560 3221223728 134561011 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19392 18934 603 41 0 19351 0
vsize: 77568
[startup+460.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24776
Raw data (stat): 24770 (minisat+) R 24769 20024 20023 0 -1 0 18957 0 0 0 45946 59 0 0 25 0 1 0 479741957 79429632 18935 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19392 18935 603 41 0 19351 0
vsize: 77568
[startup+470.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24776
Raw data (stat): 24770 (minisat+) R 24769 20024 20023 0 -1 0 18957 0 0 0 46946 59 0 0 25 0 1 0 479741957 79429632 18935 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19392 18935 603 41 0 19351 0
vsize: 77568
[startup+480.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24776
Raw data (stat): 24770 (minisat+) R 24769 20024 20023 0 -1 0 18958 0 0 0 47946 59 0 0 25 0 1 0 479741957 79429632 18936 4294967295 134512640 134672761 3221224560 3221223728 134560999 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19392 18936 603 41 0 19351 0
vsize: 77568
[startup+490.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24776
Raw data (stat): 24770 (minisat+) R 24769 20024 20023 0 -1 0 18958 0 0 0 48946 59 0 0 25 0 1 0 479741957 79429632 18936 4294967295 134512640 134672761 3221224560 3221223728 134561229 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19392 18936 603 41 0 19351 0
vsize: 77568
[startup+500.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24776
Raw data (stat): 24770 (minisat+) R 24769 20024 20023 0 -1 0 18958 0 0 0 49946 59 0 0 25 0 1 0 479741957 79429632 18936 4294967295 134512640 134672761 3221224560 3221223728 134560871 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19392 18936 603 41 0 19351 0
vsize: 77568
[startup+510.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24776
Raw data (stat): 24770 (minisat+) R 24769 20024 20023 0 -1 0 18958 0 0 0 50947 59 0 0 25 0 1 0 479741957 79429632 18936 4294967295 134512640 134672761 3221224560 3221223760 134557830 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19392 18936 603 41 0 19351 0
vsize: 77568
[startup+520.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24776
Raw data (stat): 24770 (minisat+) R 24769 20024 20023 0 -1 0 18958 0 0 0 51947 59 0 0 25 0 1 0 479741957 79429632 18936 4294967295 134512640 134672761 3221224560 3221223728 134560937 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19392 18936 603 41 0 19351 0
vsize: 77568
[startup+530.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24776
Raw data (stat): 24770 (minisat+) R 24769 20024 20023 0 -1 0 18959 0 0 0 52947 59 0 0 25 0 1 0 479741957 79429632 18937 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19392 18937 603 41 0 19351 0
vsize: 77568
[startup+540.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24776
Raw data (stat): 24770 (minisat+) R 24769 20024 20023 0 -1 0 18959 0 0 0 53947 59 0 0 25 0 1 0 479741957 79429632 18937 4294967295 134512640 134672761 3221224560 3221223728 134560852 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19392 18937 603 41 0 19351 0
vsize: 77568
[startup+550.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24776
Raw data (stat): 24770 (minisat+) R 24769 20024 20023 0 -1 0 18959 0 0 0 54947 59 0 0 25 0 1 0 479741957 79429632 18937 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19392 18937 603 41 0 19351 0
vsize: 77568
[startup+560.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24776
Raw data (stat): 24770 (minisat+) R 24769 20024 20023 0 -1 0 18959 0 0 0 55947 59 0 0 25 0 1 0 479741957 79429632 18937 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19392 18937 603 41 0 19351 0
vsize: 77568
[startup+570.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24776
Raw data (stat): 24770 (minisat+) R 24769 20024 20023 0 -1 0 19085 0 0 0 56947 59 0 0 25 0 1 0 479741957 79958016 19063 4294967295 134512640 134672761 3221224560 3221223664 134559872 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19521 19064 603 41 0 19480 0
vsize: 78084
[startup+580.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24776
Raw data (stat): 24770 (minisat+) R 24769 20024 20023 0 -1 0 19659 0 0 0 57945 61 0 0 25 0 1 0 479741957 82378752 19637 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 20112 19637 603 41 0 20071 0
vsize: 80448
[startup+590.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24776
Raw data (stat): 24770 (minisat+) R 24769 20024 20023 0 -1 0 19690 0 0 0 58946 61 0 0 25 0 1 0 479741957 82464768 19668 4294967295 134512640 134672761 3221224560 3221223776 134561985 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 20133 19668 603 41 0 20092 0
vsize: 80532
[startup+600.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24776
Raw data (stat): 24770 (minisat+) R 24769 20024 20023 0 -1 0 19690 0 0 0 59946 61 0 0 25 0 1 0 479741957 82464768 19668 4294967295 134512640 134672761 3221224560 3221223728 134560956 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 20133 19668 603 41 0 20092 0
vsize: 80532
[startup+610.013 s]
Raw data (loadavg): 1.07 0.99 0.91 2/55 24776
Raw data (stat): 24770 (minisat+) R 24769 20024 20023 0 -1 0 19690 0 0 0 60945 61 0 0 25 0 1 0 479741957 82464768 19668 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 20133 19668 603 41 0 20092 0
vsize: 80532
[startup+620.013 s]
Raw data (loadavg): 1.06 0.99 0.91 2/55 24776
Raw data (stat): 24770 (minisat+) R 24769 20024 20023 0 -1 0 19690 0 0 0 61945 61 0 0 25 0 1 0 479741957 82464768 19668 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 20133 19668 603 41 0 20092 0
vsize: 80532
[startup+630.013 s]
Raw data (loadavg): 1.05 0.99 0.91 2/55 24778
Raw data (stat): 24770 (minisat+) R 24769 20024 20023 0 -1 0 19690 0 0 0 62945 61 0 0 25 0 1 0 479741957 82464768 19668 4294967295 134512640 134672761 3221224560 3221223728 134560940 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 20133 19668 603 41 0 20092 0
vsize: 80532
[startup+640.014 s]
Raw data (loadavg): 1.04 0.99 0.91 2/55 24778
Raw data (stat): 24770 (minisat+) R 24769 20024 20023 0 -1 0 19690 0 0 0 63945 61 0 0 25 0 1 0 479741957 82464768 19668 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 20133 19668 603 41 0 20092 0
vsize: 80532
[startup+650.014 s]
Raw data (loadavg): 1.03 0.99 0.91 2/55 24778
Raw data (stat): 24770 (minisat+) R 24769 20024 20023 0 -1 0 19690 0 0 0 64945 61 0 0 25 0 1 0 479741957 82464768 19668 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 20133 19668 603 41 0 20092 0
vsize: 80532
[startup+660.014 s]
Raw data (loadavg): 1.03 0.99 0.91 2/55 24778
Raw data (stat): 24770 (minisat+) R 24769 20024 20023 0 -1 0 19690 0 0 0 65946 61 0 0 25 0 1 0 479741957 82464768 19668 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 20133 19668 603 41 0 20092 0
vsize: 80532
[startup+670.015 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 24778
Raw data (stat): 24770 (minisat+) R 24769 20024 20023 0 -1 0 19690 0 0 0 66946 61 0 0 25 0 1 0 479741957 82464768 19668 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 20133 19668 603 41 0 20092 0
vsize: 80532
[startup+680.015 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 24778
Raw data (stat): 24770 (minisat+) R 24769 20024 20023 0 -1 0 19690 0 0 0 67946 61 0 0 25 0 1 0 479741957 82464768 19668 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 20133 19668 603 41 0 20092 0
vsize: 80532
[startup+690.015 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 24778
Raw data (stat): 24770 (minisat+) R 24769 20024 20023 0 -1 0 19690 0 0 0 68946 61 0 0 25 0 1 0 479741957 82464768 19668 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 20133 19668 603 41 0 20092 0
vsize: 80532
[startup+700.015 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 24778
Raw data (stat): 24770 (minisat+) R 24769 20024 20023 0 -1 0 19690 0 0 0 69946 61 0 0 25 0 1 0 479741957 82464768 19668 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 20133 19668 603 41 0 20092 0
vsize: 80532
[startup+710.015 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 24778
Raw data (stat): 24770 (minisat+) R 24769 20024 20023 0 -1 0 19690 0 0 0 70947 61 0 0 25 0 1 0 479741957 82464768 19668 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 20133 19668 603 41 0 20092 0
vsize: 80532
[startup+720.016 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 24778
Raw data (stat): 24770 (minisat+) R 24769 20024 20023 0 -1 0 19690 0 0 0 71947 61 0 0 25 0 1 0 479741957 82464768 19668 4294967295 134512640 134672761 3221224560 3221223728 134561215 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 20133 19668 603 41 0 20092 0
vsize: 80532
[startup+730.015 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 24778
Raw data (stat): 24770 (minisat+) R 24769 20024 20023 0 -1 0 19690 0 0 0 72947 61 0 0 25 0 1 0 479741957 82464768 19668 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 20133 19668 603 41 0 20092 0
vsize: 80532
[startup+740.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 24778
Raw data (stat): 24770 (minisat+) R 24769 20024 20023 0 -1 0 19690 0 0 0 73947 61 0 0 25 0 1 0 479741957 82464768 19668 4294967295 134512640 134672761 3221224560 3221223744 134559340 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 20133 19668 603 41 0 20092 0
vsize: 80532
[startup+750.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 24778
Raw data (stat): 24770 (minisat+) R 24769 20024 20023 0 -1 0 19690 0 0 0 74947 61 0 0 25 0 1 0 479741957 82464768 19668 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 20133 19668 603 41 0 20092 0
vsize: 80532
[startup+760.016 s]
Raw data (loadavg): 1.08 1.00 0.92 2/55 24778
Raw data (stat): 24770 (minisat+) R 24769 20024 20023 0 -1 0 19690 0 0 0 75947 61 0 0 25 0 1 0 479741957 82464768 19668 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 20133 19668 603 41 0 20092 0
vsize: 80532
[startup+770.016 s]
Raw data (loadavg): 1.06 1.00 0.92 2/55 24778
Raw data (stat): 24770 (minisat+) R 24769 20024 20023 0 -1 0 19691 0 0 0 76948 61 0 0 25 0 1 0 479741957 82464768 19669 4294967295 134512640 134672761 3221224560 3221223728 134561118 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 20133 19669 603 41 0 20092 0
vsize: 80532
[startup+780.016 s]
Raw data (loadavg): 1.05 1.00 0.92 2/55 24778
Raw data (stat): 24770 (minisat+) R 24769 20024 20023 0 -1 0 19691 0 0 0 77948 61 0 0 25 0 1 0 479741957 82464768 19669 4294967295 134512640 134672761 3221224560 3221223728 134561188 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 20133 19669 603 41 0 20092 0
vsize: 80532
[startup+790.017 s]
Raw data (loadavg): 1.05 1.00 0.92 2/55 24778
Raw data (stat): 24770 (minisat+) R 24769 20024 20023 0 -1 0 19691 0 0 0 78948 61 0 0 25 0 1 0 479741957 82464768 19669 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 20133 19669 603 41 0 20092 0
vsize: 80532
[startup+800.017 s]
Raw data (loadavg): 1.04 1.00 0.92 2/55 24778
Raw data (stat): 24770 (minisat+) R 24769 20024 20023 0 -1 0 19691 0 0 0 79948 61 0 0 25 0 1 0 479741957 82464768 19669 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 20133 19669 603 41 0 20092 0
vsize: 80532
[startup+810.018 s]
Raw data (loadavg): 1.03 1.00 0.92 2/55 24778
Raw data (stat): 24770 (minisat+) R 24769 20024 20023 0 -1 0 19691 0 0 0 80948 61 0 0 25 0 1 0 479741957 82464768 19669 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 20133 19669 603 41 0 20092 0
vsize: 80532
[startup+820.018 s]
Raw data (loadavg): 1.03 1.00 0.92 2/55 24778
Raw data (stat): 24770 (minisat+) R 24769 20024 20023 0 -1 0 19691 0 0 0 81948 61 0 0 25 0 1 0 479741957 82464768 19669 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 20133 19669 603 41 0 20092 0
vsize: 80532
[startup+830.017 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 24778
Raw data (stat): 24770 (minisat+) R 24769 20024 20023 0 -1 0 19691 0 0 0 82949 61 0 0 25 0 1 0 479741957 82464768 19669 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 20133 19669 603 41 0 20092 0
vsize: 80532
[startup+840.018 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 24778
Raw data (stat): 24770 (minisat+) R 24769 20024 20023 0 -1 0 19691 0 0 0 83948 62 0 0 25 0 1 0 479741957 82464768 19669 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 20133 19669 603 41 0 20092 0
vsize: 80532
[startup+850.019 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 24778
Raw data (stat): 24770 (minisat+) R 24769 20024 20023 0 -1 0 19691 0 0 0 84948 62 0 0 25 0 1 0 479741957 82464768 19669 4294967295 134512640 134672761 3221224560 3221223728 134560937 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 20133 19669 603 41 0 20092 0
vsize: 80532
[startup+860.019 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 24778
Raw data (stat): 24770 (minisat+) R 24769 20024 20023 0 -1 0 19691 0 0 0 85948 62 0 0 25 0 1 0 479741957 82464768 19669 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 20133 19669 603 41 0 20092 0
vsize: 80532
[startup+870.019 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 24778
Raw data (stat): 24770 (minisat+) R 24769 20024 20023 0 -1 0 19691 0 0 0 86948 62 0 0 25 0 1 0 479741957 82464768 19669 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 20133 19669 603 41 0 20092 0
vsize: 80532
[startup+880.019 s]
Raw data (loadavg): 1.08 1.02 0.93 2/55 24778
Raw data (stat): 24770 (minisat+) R 24769 20024 20023 0 -1 0 19697 0 0 0 87948 62 0 0 25 0 1 0 479741957 82464768 19675 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 20133 19675 603 41 0 20092 0
vsize: 80532
[startup+890.02 s]
Raw data (loadavg): 1.07 1.02 0.93 2/55 24778
Raw data (stat): 24770 (minisat+) R 24769 20024 20023 0 -1 0 20103 0 0 0 88947 63 0 0 25 0 1 0 479741957 84205568 20081 4294967295 134512640 134672761 3221224560 3221223728 134560940 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 20558 20081 603 41 0 20517 0
vsize: 82232
[startup+900.02 s]
Raw data (loadavg): 1.06 1.01 0.93 2/55 24778
Raw data (stat): 24770 (minisat+) R 24769 20024 20023 0 -1 0 20562 0 0 0 89947 64 0 0 25 0 1 0 479741957 86081536 20540 4294967295 134512640 134672761 3221224560 3221223696 134565045 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 21016 20540 603 41 0 20975 0
vsize: 84064
[startup+910.021 s]
Raw data (loadavg): 1.05 1.01 0.93 2/55 24778
Raw data (stat): 24770 (minisat+) R 24769 20024 20023 0 -1 0 20963 0 0 0 90945 65 0 0 25 0 1 0 479741957 87683072 20941 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 21407 20941 603 41 0 21366 0
vsize: 85628
[startup+920.022 s]
Raw data (loadavg): 1.04 1.01 0.93 2/55 24778
Raw data (stat): 24770 (minisat+) R 24769 20024 20023 0 -1 0 21476 0 0 0 91944 67 0 0 25 0 1 0 479741957 89706496 21454 4294967295 134512640 134672761 3221224560 3221223728 134561188 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 21901 21454 603 41 0 21860 0
vsize: 87604
[startup+930.022 s]
Raw data (loadavg): 1.03 1.01 0.93 2/55 24780
Raw data (stat): 24770 (minisat+) R 24769 20024 20023 0 -1 0 21926 0 0 0 92942 69 0 0 25 0 1 0 479741957 91574272 21904 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22357 21904 603 41 0 22316 0
vsize: 89428
[startup+940.023 s]
Raw data (loadavg): 1.03 1.01 0.93 2/55 24780
Raw data (stat): 24770 (minisat+) R 24769 20024 20023 0 -1 0 22365 0 0 0 93942 70 0 0 25 0 1 0 479741957 93446144 22343 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22814 22343 603 41 0 22773 0
vsize: 91256
[startup+950.023 s]
Raw data (loadavg): 1.02 1.01 0.93 2/55 24780
Raw data (stat): 24770 (minisat+) R 24769 20024 20023 0 -1 0 22790 0 0 0 94941 71 0 0 25 0 1 0 479741957 95055872 22768 4294967295 134512640 134672761 3221224560 3221223728 134561215 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 23207 22768 603 41 0 23166 0
vsize: 92828
[startup+960.024 s]
Raw data (loadavg): 1.02 1.01 0.93 2/55 24780
Raw data (stat): 24770 (minisat+) R 24769 20024 20023 0 -1 0 23119 0 0 0 95940 72 0 0 25 0 1 0 479741957 96923648 23097 4294967295 134512640 134672761 3221224560 3221223728 134561164 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 23663 23097 603 41 0 23622 0
vsize: 94652
[startup+970.024 s]
Raw data (loadavg): 1.02 1.01 0.93 2/55 24780
Raw data (stat): 24770 (minisat+) R 24769 20024 20023 0 -1 0 23495 0 0 0 96939 73 0 0 25 0 1 0 479741957 98521088 23473 4294967295 134512640 134672761 3221224560 3221223560 1075350517 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24053 23473 603 41 0 24012 0
vsize: 96212
[startup+980.023 s]
Raw data (loadavg): 1.01 1.01 0.93 2/55 24780
Raw data (stat): 24770 (minisat+) R 24769 20024 20023 0 -1 0 23863 0 0 0 97938 74 0 0 25 0 1 0 479741957 99979264 23841 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24409 23841 603 41 0 24368 0
vsize: 97636
[startup+990.023 s]
Raw data (loadavg): 1.01 1.01 0.93 2/55 24780
Raw data (stat): 24770 (minisat+) R 24769 20024 20023 0 -1 0 24205 0 0 0 98938 75 0 0 25 0 1 0 479741957 101441536 24183 4294967295 134512640 134672761 3221224560 3221223744 134559354 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24766 24183 603 41 0 24725 0
vsize: 99064
[startup+1000.02 s]
Raw data (loadavg): 1.01 1.00 0.93 2/55 24780
Raw data (stat): 24770 (minisat+) R 24769 20024 20023 0 -1 0 24573 0 0 0 99937 76 0 0 25 0 1 0 479741957 102916096 24551 4294967295 134512640 134672761 3221224560 3221223744 134558656 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25126 24551 603 41 0 25085 0
vsize: 100504
[startup+1010.02 s]
Raw data (loadavg): 1.01 1.00 0.93 2/55 24780
Raw data (stat): 24770 (minisat+) R 24769 20024 20023 0 -1 0 24990 0 0 0 100936 76 0 0 25 0 1 0 479741957 104660992 24968 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25552 24968 603 41 0 25511 0
vsize: 102208
[startup+1020.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 24780
Raw data (stat): 24770 (minisat+) R 24769 20024 20023 0 -1 0 25345 0 0 0 101935 77 0 0 25 0 1 0 479741957 106000384 25323 4294967295 134512640 134672761 3221224560 3221223728 134561205 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25879 25323 603 41 0 25838 0
vsize: 103516
[startup+1030.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 24780
Raw data (stat): 24770 (minisat+) R 24769 20024 20023 0 -1 0 25671 0 0 0 102935 78 0 0 25 0 1 0 479741957 107343872 25649 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26207 25649 603 41 0 26166 0
vsize: 104828
[startup+1040.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 24780
Raw data (stat): 24770 (minisat+) R 24769 20024 20023 0 -1 0 25932 0 0 0 103934 79 0 0 25 0 1 0 479741957 108421120 25910 4294967295 134512640 134672761 3221224560 3221223728 134560858 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26470 25910 603 41 0 26429 0
vsize: 105880
[startup+1050.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 24780
Raw data (stat): 24770 (minisat+) R 24769 20024 20023 0 -1 0 26145 0 0 0 104933 80 0 0 25 0 1 0 479741957 109367296 26123 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26701 26123 603 41 0 26660 0
vsize: 106804
[startup+1060.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 24780
Raw data (stat): 24770 (minisat+) R 24769 20024 20023 0 -1 0 26348 0 0 0 105932 80 0 0 25 0 1 0 479741957 110174208 26326 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26898 26326 603 41 0 26857 0
vsize: 107592
[startup+1070.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 24780
Raw data (stat): 24770 (minisat+) R 24769 20024 20023 0 -1 0 26614 0 0 0 106932 81 0 0 25 0 1 0 479741957 111247360 26592 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 27160 26592 603 41 0 27119 0
vsize: 108640
[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 24780
Raw data (stat): 24770 (minisat+) R 24769 20024 20023 0 -1 0 26931 0 0 0 107931 82 0 0 25 0 1 0 479741957 112582656 26909 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 27486 26909 603 41 0 27445 0
vsize: 109944
[startup+1090.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 24780
Raw data (stat): 24770 (minisat+) R 24769 20024 20023 0 -1 0 27280 0 0 0 108931 83 0 0 25 0 1 0 479741957 113922048 27258 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 27813 27258 603 41 0 27772 0
vsize: 111252
[startup+1100.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 24780
Raw data (stat): 24770 (minisat+) R 24769 20024 20023 0 -1 0 27646 0 0 0 109930 84 0 0 25 0 1 0 479741957 115523584 27624 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28204 27624 603 41 0 28163 0
vsize: 112816
[startup+1110.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 24780
Raw data (stat): 24770 (minisat+) R 24769 20024 20023 0 -1 0 27997 0 0 0 110929 85 0 0 25 0 1 0 479741957 116867072 27975 4294967295 134512640 134672761 3221224560 3221223728 134561005 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28532 27975 603 41 0 28491 0
vsize: 114128
[startup+1120.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 24780
Raw data (stat): 24770 (minisat+) R 24769 20024 20023 0 -1 0 28333 0 0 0 111928 86 0 0 25 0 1 0 479741957 118337536 28311 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28891 28311 603 41 0 28850 0
vsize: 115564
[startup+1130.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 24780
Raw data (stat): 24770 (minisat+) R 24769 20024 20023 0 -1 0 28427 0 0 0 112928 86 0 0 25 0 1 0 479741957 118603776 28405 4294967295 134512640 134672761 3221224560 3221223696 134560588 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28956 28405 603 41 0 28915 0
vsize: 115824
[startup+1140.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 24780
Raw data (stat): 24770 (minisat+) R 24769 20024 20023 0 -1 0 28427 0 0 0 113928 86 0 0 25 0 1 0 479741957 118603776 28405 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28956 28405 603 41 0 28915 0
vsize: 115824
[startup+1150.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 24780
Raw data (stat): 24770 (minisat+) R 24769 20024 20023 0 -1 0 28427 0 0 0 114928 86 0 0 25 0 1 0 479741957 118603776 28405 4294967295 134512640 134672761 3221224560 3221223728 134561201 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28956 28405 603 41 0 28915 0
vsize: 115824
[startup+1160.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 24780
Raw data (stat): 24770 (minisat+) R 24769 20024 20023 0 -1 0 28427 0 0 0 115929 86 0 0 25 0 1 0 479741957 118603776 28405 4294967295 134512640 134672761 3221224560 3221223664 134560379 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28956 28405 603 41 0 28915 0
vsize: 115824
[startup+1170.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 24780
Raw data (stat): 24770 (minisat+) R 24769 20024 20023 0 -1 0 28427 0 0 0 116929 86 0 0 25 0 1 0 479741957 118603776 28405 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28956 28405 603 41 0 28915 0
vsize: 115824
[startup+1180.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 24780
Raw data (stat): 24770 (minisat+) R 24769 20024 20023 0 -1 0 28427 0 0 0 117928 86 0 0 25 0 1 0 479741957 118603776 28405 4294967295 134512640 134672761 3221224560 3221223728 134560940 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28956 28405 603 41 0 28915 0
vsize: 115824
[startup+1190.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 24780
Raw data (stat): 24770 (minisat+) R 24769 20024 20023 0 -1 0 28427 0 0 0 118928 86 0 0 25 0 1 0 479741957 118603776 28405 4294967295 134512640 134672761 3221224560 3221223684 134566034 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28956 28405 603 41 0 28915 0
vsize: 115824
[startup+1200.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 24780
Raw data (stat): 24770 (minisat+) R 24769 20024 20023 0 -1 0 28427 0 0 0 119929 86 0 0 25 0 1 0 479741957 118603776 28405 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28956 28405 603 41 0 28915 0
vsize: 115824
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.09 s]
Raw data (loadavg): 1.00 1.00 0.93 1/55 24780
Raw data (stat): 24770 (minisat+) Z 24769 20024 20023 0 -1 12 28430 0 0 0 119929 91 0 0 25 0 1 0 479741957 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.09
CPU time (s): 1200.21
CPU user time (s): 1199.29
CPU system time (s): 0.91586
CPU usage (%): 100.01
Max. virtual memory (Kb): 115824
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####