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-1.opb
MD5SUM	20fc65112f36a5d10cc9eaa82c0beb63
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-38
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.1
Number of variables	1272
Total number of constraints	94227
Number of constraints which are clauses	94227
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 5256

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc27 THE 2005-04-13 23:00:56 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3723 boxname=wulflinc27 idbench=339 idsolver=10 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  20fc65112f36a5d10cc9eaa82c0beb63  /oldhome/oroussel/tmp/wulflinc27/normalized-frb53-24-1.opb
REAL COMMAND:  minisat+ -ca /oldhome/oroussel/tmp/wulflinc27/normalized-frb53-24-1.opb /oldhome/oroussel/tmp/wulflinc27/normalized-frb53-24-1.opb
IDLAUNCH: 3723
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.169
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.169
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:        851332 kB
Buffers:         33540 kB
Cached:         112288 kB
SwapCached:       3160 kB
Active:          51604 kB
Inactive:       100264 kB
HighTotal:      131008 kB
HighFree:        15344 kB
LowTotal:       903652 kB
LowFree:        835988 kB
SwapTotal:     2097892 kB
SwapFree:      2094732 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6924 kB
Slab:            25792 kB
Committed_AS:    63488 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-13 23:20:58 (client local time) WITH STATUS 10 IN 1200.21 SECONDS
stats: 3723 7 1200.21 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Parsing PB file...
c Converting 94227 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 |   94227   188454 |   31409       0        0     nan |  0.000 % |
c ==============================================================================
c [1mFound solution: -36[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Adder-cost: 2518   maxlim: 36   bits: 7/6
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |         0 |  111641   250683 |   37213       0        0     nan |  0.000 % |
c |       100 |  111632   250652 |   40934      97      652     6.7 |  0.107 % |
c |       251 |  111632   250652 |   45027     248     1704     6.9 |  0.106 % |
c |       477 |  111596   250528 |   49530     465     3788     8.1 |  0.212 % |
c |       814 |  111596   250528 |   54483     802     6207     7.7 |  0.212 % |
c |      1320 |  111578   250466 |   59931    1304    11559     8.9 |  0.265 % |
c |      2079 |  111560   250404 |   65925    2059    18500     9.0 |  0.318 % |
c |      3219 |  111483   250139 |   72517    3175    30386     9.6 |  0.583 % |
c |      4927 |  111266   249390 |   79769    4815    51894    10.8 |  1.245 % |
c |      7489 |  110731   247551 |   87746    7215    98435    13.6 |  3.072 % |
c ==============================================================================
c [1mFound solution: -37[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Adder-cost: 0   maxlim: 37   bits: 7/6
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |      8856 |  110340   246212 |   36780    8473   118895    14.0 |  3.072 % |
c |      8956 |  110340   246212 |   40458    8573   120289    14.0 |  4.448 % |
c |      9106 |  110322   246150 |   44503    8718   123024    14.1 |  4.501 % |
c |      9331 |  110237   245857 |   48954    8920   126175    14.1 |  4.819 % |
c |      9668 |  110146   245546 |   53849    9233   130628    14.1 |  5.189 % |
c |     10175 |  110060   245250 |   59234    9703   138018    14.2 |  5.481 % |
c |     10934 |  109767   244239 |   65158   10369   149981    14.5 |  6.672 % |
c |     12073 |  109204   242300 |   71673   11357   176953    15.6 |  8.843 % |
c |     13782 |  108497   239869 |   78841   12848   217922    17.0 | 11.810 % |
c |     16345 |  107367   235951 |   86725   14900   276694    18.6 | 16.945 % |
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 |     20029 |  106169   231790 |   35389   18034   495557    27.5 | 16.945 % |
c |     20129 |  106148   231715 |   38927   18125   497773    27.5 | 23.081 % |
c |     20279 |  105873   230766 |   42820   18109   499669    27.6 | 24.457 % |
c |     20504 |  105843   230660 |   47102   18296   505689    27.6 | 24.616 % |
c |     20841 |  105736   230283 |   51813   18576   519336    28.0 | 25.172 % |
c |     21347 |  105736   230283 |   56994   19082   531835    27.9 | 25.172 % |
c |     22107 |  105625   229894 |   62693   19730   550357    27.9 | 25.728 % |
c |     23246 |  105522   229533 |   68963   20762   589168    28.4 | 26.231 % |
c |     24954 |  105270   228651 |   75859   22300   650435    29.2 | 27.529 % |
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 |     26654 |  105143   228208 |   35047   23812   732364    30.8 | 27.529 % |
c |     26754 |  105143   228208 |   38551   23912   734232    30.7 | 28.182 % |
c |     26906 |  105143   228208 |   42406   24064   741574    30.8 | 28.184 % |
c |     27131 |  105019   227770 |   46647   24203   748259    30.9 | 28.976 % |
c |     27468 |  104961   227566 |   51312   24465   758750    31.0 | 29.267 % |
c |     27974 |  104961   227566 |   56443   24971   788030    31.6 | 29.267 % |
c |     28733 |  104952   227535 |   62087   25726   814169    31.6 | 29.295 % |
c |     29872 |  104935   227476 |   68296   26811   873523    32.6 | 29.375 % |
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 |     31015 |  104791   226981 |   34930   27687   947528    34.2 | 29.375 % |
c |     31116 |  104754   226848 |   38423   27764   949714    34.2 | 30.397 % |
c |     31266 |  104754   226848 |   42265   27914   955548    34.2 | 30.398 % |
c |     31491 |  104754   226848 |   46491   28139   961417    34.2 | 30.397 % |
c |     31828 |  104754   226848 |   51141   28476   981575    34.5 | 30.398 % |
c |     32334 |  104748   226828 |   56255   28979  1013356    35.0 | 30.425 % |
c |     33093 |  104712   226704 |   61880   29581  1037314    35.1 | 30.529 % |
c |     34232 |  104689   226625 |   68068   30640  1121691    36.6 | 30.636 % |
c |     35943 |  104680   226594 |   74875   32322  1200393    37.1 | 30.663 % |
c |     38506 |  104602   226320 |   82363   34794  1411962    40.6 | 31.138 % |
c |     42352 |  104478   225894 |   90599   38161  1639600    43.0 | 31.720 % |
c |     48118 |  104472   225874 |   99659   43882  2069744    47.2 | 31.746 % |
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 |     55103 |  104349   225449 |   34783   50619  2728983    53.9 | 31.746 % |
c |     55203 |  104327   225371 |   38261   18828  1054085    56.0 | 32.453 % |
c |     55354 |  104327   225371 |   42087   18979  1062868    56.0 | 32.453 % |
c |     55580 |  104327   225371 |   46296   19205  1078730    56.2 | 32.452 % |
c |     55917 |  104327   225371 |   50925   19542  1090445    55.8 | 32.452 % |
c |     56424 |  104327   225371 |   56018   20049  1123908    56.1 | 32.452 % |
c |     57183 |  104327   225371 |   61620   20808  1170399    56.2 | 32.452 % |
c |     58323 |  104295   225261 |   67782   21936  1235023    56.3 | 32.586 % |
c |     60031 |  104261   225147 |   74560   23640  1391279    58.9 | 32.769 % |
c |     62593 |  104261   225147 |   82016   26202  1640752    62.6 | 32.769 % |
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 |     64144 |  104207   224964 |   34735   27706  1795180    64.8 | 32.769 % |
c |     64244 |  104207   224964 |   38208   27806  1799313    64.7 | 33.000 % |
c |     64394 |  104207   224964 |   42029   27956  1804483    64.5 | 32.998 % |
c |     64620 |  104207   224964 |   46232   28182  1816178    64.4 | 32.998 % |
c |     64957 |  104201   224944 |   50855   28513  1821753    63.9 | 33.025 % |
c |     65463 |  104201   224944 |   55941   29019  1850115    63.8 | 33.025 % |
c |     66222 |  104201   224944 |   61535   29778  1882836    63.2 | 33.025 % |
c |     67361 |  104201   224944 |   67688   30917  1975595    63.9 | 33.026 % |
c |     69070 |  104201   224944 |   74457   32626  2170320    66.5 | 33.025 % |
c |     71633 |  104133   224706 |   81903   35092  2388038    68.1 | 33.316 % |
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 |     73276 |  104134   224712 |   34711   36735  2567009    69.9 | 33.316 % |
c |     73376 |  104134   224712 |   38182   18353  1104591    60.2 | 33.335 % |
c |     73526 |  104134   224712 |   42000   18503  1107555    59.9 | 33.333 % |
c |     73751 |  104134   224712 |   46200   18728  1129115    60.3 | 33.334 % |
c |     74088 |  104134   224712 |   50820   19065  1146992    60.2 | 33.333 % |
c |     74594 |  104134   224712 |   55902   19571  1170460    59.8 | 33.335 % |
c |     75354 |  104134   224712 |   61492   20331  1222356    60.1 | 33.333 % |
c |     76493 |  104134   224712 |   67641   21470  1299961    60.5 | 33.333 % |
c |     78201 |  104126   224682 |   74406   23173  1445365    62.4 | 33.360 % |
c |     80764 |  104115   224643 |   81846   25707  1687193    65.6 | 33.414 % |
c |     84608 |  104115   224643 |   90031   29551  2318884    78.5 | 33.413 % |
c |     90374 |  104115   224643 |   99034   35317  3266780    92.5 | 33.414 % |
c |     99023 |  104092   224564 |  108937   43940  4369843    99.5 | 33.520 % |
c |    111998 |  104092   224564 |  119831   56915  7145925   125.6 | 33.518 % |
c |    131459 |  104083   224533 |  131814   76367 10657465   139.6 | 33.547 % |
c |    160652 |  104083   224533 |  144996  105560 16199997   153.5 | 33.545 % |
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 |    194738 |  104057   224447 |   34685  139623 21146842   151.5 | 33.545 % |
c |    194839 |  104057   224447 |   38153   18442  2629438   142.6 | 33.714 % |
c |    194989 |  104057   224447 |   41968   18592  2633777   141.7 | 33.712 % |
c |    195215 |  104057   224447 |   46165   18818  2640851   140.3 | 33.713 % |
c |    195552 |  103995   224235 |   50782   19149  2650399   138.4 | 34.029 % |
c |    196061 |  103995   224235 |   55860   19658  2672056   135.9 | 34.030 % |
c |    196821 |  103995   224235 |   61446   20418  2751098   134.7 | 34.029 % |
c |    197960 |  103986   224204 |   67591   21555  2805462   130.2 | 34.055 % |
c |    199668 |  103960   224114 |   74350   23244  2909891   125.2 | 34.161 % |
c |    202231 |  103960   224114 |   81785   25807  3081559   119.4 | 34.162 % |
c |    206076 |  103960   224114 |   89963   29652  3503158   118.1 | 34.162 % |
c |    211842 |  103911   223941 |   98960   35401  4002606   113.1 | 34.425 % |
c |    220493 |  103911   223941 |  108856   44052  5287437   120.0 | 34.425 % |
c |    233469 |  103911   223941 |  119742   57028  6786528   119.0 | 34.425 % |
c |    252930 |  103902   223910 |  131716   76468 10544156   137.9 | 34.453 % |
c |    282124 |  103887   223859 |  144887  105644 15306026   144.9 | 34.506 % |
c |    325915 |  103887   223859 |  159376   19813  2242965   113.2 | 34.505 % |
c |    391599 |  103887   223859 |  175314   85497 13940147   163.0 | 34.506 % |
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 #### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.91 0.95 0.90 2/54 22207
Raw data (stat): 22207 (runsolver) R 22206 18865 18864 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 479744895 1052672 99 4294967295 134512640 135381576 3221224464 3221219708 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0007 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 22207
Raw data (stat): 22207 (minisat+) R 22206 18865 18864 0 -1 0 4502 0 0 0 984 13 0 0 25 0 1 0 479744895 20250624 4480 4294967295 134512640 134672761 3221224560 3221223728 134560920 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 4944 4480 603 41 0 4903 0
vsize: 19776
[startup+20.001 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 22209
Raw data (stat): 22207 (minisat+) R 22206 18865 18864 0 -1 0 4502 0 0 0 1984 14 0 0 25 0 1 0 479744895 20250624 4480 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 4944 4480 603 41 0 4903 0
vsize: 19776
[startup+30.0018 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 22209
Raw data (stat): 22207 (minisat+) R 22206 18865 18864 0 -1 0 4502 0 0 0 2984 14 0 0 25 0 1 0 479744895 20250624 4480 4294967295 134512640 134672761 3221224560 3221223732 134556598 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 4944 4480 603 41 0 4903 0
vsize: 19776
[startup+40.0016 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 22209
Raw data (stat): 22207 (minisat+) R 22206 18865 18864 0 -1 0 4502 0 0 0 3983 15 0 0 25 0 1 0 479744895 20250624 4480 4294967295 134512640 134672761 3221224560 3221223732 134556598 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 4944 4480 603 41 0 4903 0
vsize: 19776
[startup+50.0015 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 22209
Raw data (stat): 22207 (minisat+) R 22206 18865 18864 0 -1 0 4502 0 0 0 4983 15 0 0 25 0 1 0 479744895 20250624 4480 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 4944 4480 603 41 0 4903 0
vsize: 19776
[startup+60.0013 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 22209
Raw data (stat): 22207 (minisat+) R 22206 18865 18864 0 -1 0 4502 0 0 0 5982 15 0 0 25 0 1 0 479744895 20250624 4480 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 4944 4480 603 41 0 4903 0
vsize: 19776
[startup+70.0016 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 22209
Raw data (stat): 22207 (minisat+) R 22206 18865 18864 0 -1 0 4529 0 0 0 6982 16 0 0 25 0 1 0 479744895 20250624 4507 4294967295 134512640 134672761 3221224560 3221223664 134559814 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 4944 4507 603 41 0 4903 0
vsize: 19776
[startup+80.002 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 22209
Raw data (stat): 22207 (minisat+) R 22206 18865 18864 0 -1 0 5096 0 0 0 7980 18 0 0 25 0 1 0 479744895 22536192 5074 4294967295 134512640 134672761 3221224560 3221223728 134560929 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 5502 5074 603 41 0 5461 0
vsize: 22008
[startup+90.0018 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 22209
Raw data (stat): 22207 (minisat+) R 22206 18865 18864 0 -1 0 5096 0 0 0 8980 18 0 0 25 0 1 0 479744895 22536192 5074 4294967295 134512640 134672761 3221224560 3221223616 134565110 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 5502 5074 603 41 0 5461 0
vsize: 22008
[startup+100.002 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 22209
Raw data (stat): 22207 (minisat+) R 22206 18865 18864 0 -1 0 5096 0 0 0 9980 18 0 0 25 0 1 0 479744895 22536192 5074 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 5502 5074 603 41 0 5461 0
vsize: 22008
[startup+110.002 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 22209
Raw data (stat): 22207 (minisat+) R 22206 18865 18864 0 -1 0 5096 0 0 0 10980 19 0 0 25 0 1 0 479744895 22536192 5074 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 5502 5074 603 41 0 5461 0
vsize: 22008
[startup+120.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22209
Raw data (stat): 22207 (minisat+) R 22206 18865 18864 0 -1 0 5391 0 0 0 11980 19 0 0 25 0 1 0 479744895 23740416 5369 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 5796 5369 603 41 0 5755 0
vsize: 23184
[startup+130.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22209
Raw data (stat): 22207 (minisat+) R 22206 18865 18864 0 -1 0 6029 0 0 0 12977 22 0 0 25 0 1 0 479744895 26431488 6007 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6453 6007 603 41 0 6412 0
vsize: 25812
[startup+140.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22209
Raw data (stat): 22207 (minisat+) R 22206 18865 18864 0 -1 0 6913 0 0 0 13975 25 0 0 25 0 1 0 479744895 30056448 6891 4294967295 134512640 134672761 3221224560 3221223728 134561229 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7338 6891 603 41 0 7297 0
vsize: 29352
[startup+150.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22209
Raw data (stat): 22207 (minisat+) R 22206 18865 18864 0 -1 0 7810 0 0 0 14972 28 0 0 25 0 1 0 479744895 33673216 7788 4294967295 134512640 134672761 3221224560 3221223728 134560996 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 8221 7788 603 41 0 8180 0
vsize: 32884
[startup+160.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22209
Raw data (stat): 22207 (minisat+) R 22206 18865 18864 0 -1 0 8706 0 0 0 15970 30 0 0 25 0 1 0 479744895 37429248 8684 4294967295 134512640 134672761 3221224560 3221223744 134558925 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 9138 8684 603 41 0 9097 0
vsize: 36552
[startup+170.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22209
Raw data (stat): 22207 (minisat+) R 22206 18865 18864 0 -1 0 9431 0 0 0 16967 32 0 0 25 0 1 0 479744895 40394752 9409 4294967295 134512640 134672761 3221224560 3221223728 134561201 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 9862 9409 603 41 0 9821 0
vsize: 39448
[startup+180.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22209
Raw data (stat): 22207 (minisat+) R 22206 18865 18864 0 -1 0 9887 0 0 0 17967 33 0 0 25 0 1 0 479744895 42278912 9865 4294967295 134512640 134672761 3221224560 3221223728 134561164 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 10322 9865 603 41 0 10281 0
vsize: 41288
[startup+190.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22209
Raw data (stat): 22207 (minisat+) R 22206 18865 18864 0 -1 0 10412 0 0 0 18965 35 0 0 25 0 1 0 479744895 44425216 10390 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 10846 10390 603 41 0 10805 0
vsize: 43384
[startup+200.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22209
Raw data (stat): 22207 (minisat+) R 22206 18865 18864 0 -1 0 11028 0 0 0 19964 36 0 0 25 0 1 0 479744895 47095808 11006 4294967295 134512640 134672761 3221224560 3221223576 1075352757 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11498 11006 603 41 0 11457 0
vsize: 45992
[startup+210.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22209
Raw data (stat): 22207 (minisat+) R 22206 18865 18864 0 -1 0 11738 0 0 0 20962 38 0 0 25 0 1 0 479744895 50036736 11716 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 12216 11716 603 41 0 12175 0
vsize: 48864
[startup+220.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22209
Raw data (stat): 22207 (minisat+) R 22206 18865 18864 0 -1 0 12432 0 0 0 21959 41 0 0 25 0 1 0 479744895 52830208 12410 4294967295 134512640 134672761 3221224560 3221223664 134560196 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 12898 12410 603 41 0 12857 0
vsize: 51592
[startup+230.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22209
Raw data (stat): 22207 (minisat+) R 22206 18865 18864 0 -1 0 13066 0 0 0 22958 43 0 0 25 0 1 0 479744895 55496704 13044 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 13549 13044 603 41 0 13508 0
vsize: 54196
[startup+240.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22209
Raw data (stat): 22207 (minisat+) R 22206 18865 18864 0 -1 0 13543 0 0 0 23956 45 0 0 25 0 1 0 479744895 57364480 13521 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 14005 13521 603 41 0 13964 0
vsize: 56020
[startup+250.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22209
Raw data (stat): 22207 (minisat+) R 22206 18865 18864 0 -1 0 14055 0 0 0 24955 46 0 0 25 0 1 0 479744895 59510784 14033 4294967295 134512640 134672761 3221224560 3221223728 134560980 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 14529 14033 603 41 0 14488 0
vsize: 58116
[startup+260.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22209
Raw data (stat): 22207 (minisat+) R 22206 18865 18864 0 -1 0 14553 0 0 0 25953 48 0 0 25 0 1 0 479744895 61521920 14531 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 15020 14531 603 41 0 14979 0
vsize: 60080
[startup+270.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22209
Raw data (stat): 22207 (minisat+) R 22206 18865 18864 0 -1 0 15013 0 0 0 26952 50 0 0 25 0 1 0 479744895 63393792 14991 4294967295 134512640 134672761 3221224560 3221223728 134561164 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 15477 14991 603 41 0 15436 0
vsize: 61908
[startup+280.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22209
Raw data (stat): 22207 (minisat+) R 22206 18865 18864 0 -1 0 15497 0 0 0 27950 51 0 0 25 0 1 0 479744895 65404928 15475 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 15968 15475 603 41 0 15927 0
vsize: 63872
[startup+290.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22209
Raw data (stat): 22207 (minisat+) R 22206 18865 18864 0 -1 0 15975 0 0 0 28948 54 0 0 25 0 1 0 479744895 67280896 15953 4294967295 134512640 134672761 3221224560 3221223664 134559805 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16426 15953 603 41 0 16385 0
vsize: 65704
[startup+300.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22211
Raw data (stat): 22207 (minisat+) R 22206 18865 18864 0 -1 0 16462 0 0 0 29947 55 0 0 25 0 1 0 479744895 69283840 16440 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16915 16440 603 41 0 16874 0
vsize: 67660
[startup+310.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22211
Raw data (stat): 22207 (minisat+) R 22206 18865 18864 0 -1 0 16933 0 0 0 30945 57 0 0 25 0 1 0 479744895 71299072 16911 4294967295 134512640 134672761 3221224560 3221223744 134559330 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 17407 16911 603 41 0 17366 0
vsize: 69628
[startup+320.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22211
Raw data (stat): 22207 (minisat+) R 22206 18865 18864 0 -1 0 17326 0 0 0 31944 58 0 0 25 0 1 0 479744895 72892416 17304 4294967295 134512640 134672761 3221224560 3221223728 134560903 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17796 17304 603 41 0 17755 0
vsize: 71184
[startup+330.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22211
Raw data (stat): 22207 (minisat+) R 22206 18865 18864 0 -1 0 17701 0 0 0 32943 59 0 0 25 0 1 0 479744895 74387456 17679 4294967295 134512640 134672761 3221224560 3221223728 134561151 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18161 17679 603 41 0 18120 0
vsize: 72644
[startup+340.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22211
Raw data (stat): 22207 (minisat+) R 22206 18865 18864 0 -1 0 18065 0 0 0 33942 61 0 0 25 0 1 0 479744895 75870208 18043 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18523 18043 603 41 0 18482 0
vsize: 74092
[startup+350.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22211
Raw data (stat): 22207 (minisat+) R 22206 18865 18864 0 -1 0 18444 0 0 0 34941 62 0 0 25 0 1 0 479744895 77484032 18422 4294967295 134512640 134672761 3221224560 3221223728 134560858 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18917 18422 603 41 0 18876 0
vsize: 75668
[startup+360.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22211
Raw data (stat): 22207 (minisat+) R 22206 18865 18864 0 -1 0 18862 0 0 0 35940 63 0 0 25 0 1 0 479744895 79224832 18840 4294967295 134512640 134672761 3221224560 3221223744 134559622 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 19342 18840 603 41 0 19301 0
vsize: 77368
[startup+370.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22211
Raw data (stat): 22207 (minisat+) R 22206 18865 18864 0 -1 0 19232 0 0 0 36939 64 0 0 25 0 1 0 479744895 80703488 19210 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 19703 19210 603 41 0 19662 0
vsize: 78812
[startup+380.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22211
Raw data (stat): 22207 (minisat+) R 22206 18865 18864 0 -1 0 19553 0 0 0 37938 65 0 0 25 0 1 0 479744895 82038784 19531 4294967295 134512640 134672761 3221224560 3221223728 134561139 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 20029 19531 603 41 0 19988 0
vsize: 80116
[startup+390.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22211
Raw data (stat): 22207 (minisat+) R 22206 18865 18864 0 -1 0 19833 0 0 0 38937 66 0 0 25 0 1 0 479744895 83144704 19811 4294967295 134512640 134672761 3221224560 3221223728 134560940 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 20299 19811 603 41 0 20258 0
vsize: 81196
[startup+400.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22211
Raw data (stat): 22207 (minisat+) R 22206 18865 18864 0 -1 0 20050 0 0 0 39937 67 0 0 25 0 1 0 479744895 84086784 20028 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 20529 20028 603 41 0 20488 0
vsize: 82116
[startup+410.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22211
Raw data (stat): 22207 (minisat+) R 22206 18865 18864 0 -1 0 20302 0 0 0 40936 68 0 0 25 0 1 0 479744895 85020672 20280 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 20757 20280 603 41 0 20716 0
vsize: 83028
[startup+420.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22211
Raw data (stat): 22207 (minisat+) R 22206 18865 18864 0 -1 0 20507 0 0 0 41935 68 0 0 25 0 1 0 479744895 85827584 20485 4294967295 134512640 134672761 3221224560 3221223728 134560895 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 20954 20485 603 41 0 20913 0
vsize: 83816
[startup+430.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22211
Raw data (stat): 22207 (minisat+) R 22206 18865 18864 0 -1 0 20838 0 0 0 42935 69 0 0 25 0 1 0 479744895 87166976 20816 4294967295 134512640 134672761 3221224560 3221223728 134560892 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21281 20816 603 41 0 21240 0
vsize: 85124
[startup+440.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22211
Raw data (stat): 22207 (minisat+) R 22206 18865 18864 0 -1 0 21285 0 0 0 43934 70 0 0 25 0 1 0 479744895 89034752 21263 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21737 21263 603 41 0 21696 0
vsize: 86948
[startup+450.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22211
Raw data (stat): 22207 (minisat+) R 22206 18865 18864 0 -1 0 21722 0 0 0 44932 72 0 0 25 0 1 0 479744895 90779648 21700 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 22163 21700 603 41 0 22122 0
vsize: 88652
[startup+460.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22211
Raw data (stat): 22207 (minisat+) R 22206 18865 18864 0 -1 0 22190 0 0 0 45931 73 0 0 25 0 1 0 479744895 92778496 22168 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 22651 22168 603 41 0 22610 0
vsize: 90604
[startup+470.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22211
Raw data (stat): 22207 (minisat+) R 22206 18865 18864 0 -1 0 22635 0 0 0 46930 74 0 0 25 0 1 0 479744895 94511104 22613 4294967295 134512640 134672761 3221224560 3221223664 134560235 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 23074 22613 603 41 0 23033 0
vsize: 92296
[startup+480.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22211
Raw data (stat): 22207 (minisat+) R 22206 18865 18864 0 -1 0 22841 0 0 0 47929 75 0 0 25 0 1 0 479744895 95977472 22819 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 23432 22819 603 41 0 23391 0
vsize: 93728
[startup+490.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22211
Raw data (stat): 22207 (minisat+) R 22206 18865 18864 0 -1 0 23176 0 0 0 48928 77 0 0 25 0 1 0 479744895 97325056 23154 4294967295 134512640 134672761 3221224560 3221223728 134561151 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 23761 23154 603 41 0 23720 0
vsize: 95044
[startup+500.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22211
Raw data (stat): 22207 (minisat+) R 22206 18865 18864 0 -1 0 23561 0 0 0 49927 78 0 0 25 0 1 0 479744895 98799616 23539 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24121 23539 603 41 0 24080 0
vsize: 96484
[startup+510.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22211
Raw data (stat): 22207 (minisat+) R 22206 18865 18864 0 -1 0 23923 0 0 0 50926 79 0 0 25 0 1 0 479744895 100278272 23901 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24482 23901 603 41 0 24441 0
vsize: 97928
[startup+520.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22211
Raw data (stat): 22207 (minisat+) R 22206 18865 18864 0 -1 0 24299 0 0 0 51925 80 0 0 25 0 1 0 479744895 101875712 24277 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24872 24277 603 41 0 24831 0
vsize: 99488
[startup+530.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22211
Raw data (stat): 22207 (minisat+) R 22206 18865 18864 0 -1 0 24352 0 0 0 52925 80 0 0 25 0 1 0 479744895 102060032 24330 4294967295 134512640 134672761 3221224560 3221223664 134560246 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24917 24330 603 41 0 24876 0
vsize: 99668
[startup+540.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22211
Raw data (stat): 22207 (minisat+) R 22206 18865 18864 0 -1 0 24352 0 0 0 53925 80 0 0 25 0 1 0 479744895 102060032 24330 4294967295 134512640 134672761 3221224560 3221223760 134557876 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24917 24330 603 41 0 24876 0
vsize: 99668
[startup+550.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22211
Raw data (stat): 22207 (minisat+) R 22206 18865 18864 0 -1 0 24352 0 0 0 54925 80 0 0 25 0 1 0 479744895 102060032 24330 4294967295 134512640 134672761 3221224560 3221223728 134560882 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24917 24330 603 41 0 24876 0
vsize: 99668
[startup+560.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22211
Raw data (stat): 22207 (minisat+) R 22206 18865 18864 0 -1 0 24352 0 0 0 55925 80 0 0 25 0 1 0 479744895 102060032 24330 4294967295 134512640 134672761 3221224560 3221223728 134561011 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24917 24330 603 41 0 24876 0
vsize: 99668
[startup+570.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22211
Raw data (stat): 22207 (minisat+) R 22206 18865 18864 0 -1 0 24352 0 0 0 56926 80 0 0 25 0 1 0 479744895 102060032 24330 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24917 24330 603 41 0 24876 0
vsize: 99668
[startup+580.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22211
Raw data (stat): 22207 (minisat+) R 22206 18865 18864 0 -1 0 24352 0 0 0 57926 80 0 0 25 0 1 0 479744895 102060032 24330 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24917 24330 603 41 0 24876 0
vsize: 99668
[startup+590.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22211
Raw data (stat): 22207 (minisat+) R 22206 18865 18864 0 -1 0 24352 0 0 0 58926 80 0 0 25 0 1 0 479744895 102060032 24330 4294967295 134512640 134672761 3221224560 3221223704 134560630 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24917 24330 603 41 0 24876 0
vsize: 99668
[startup+600.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22211
Raw data (stat): 22207 (minisat+) R 22206 18865 18864 0 -1 0 24352 0 0 0 59926 80 0 0 25 0 1 0 479744895 102060032 24330 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24917 24330 603 41 0 24876 0
vsize: 99668
[startup+610.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22211
Raw data (stat): 22207 (minisat+) R 22206 18865 18864 0 -1 0 24352 0 0 0 60926 80 0 0 25 0 1 0 479744895 102060032 24330 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24917 24330 603 41 0 24876 0
vsize: 99668
[startup+620.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22211
Raw data (stat): 22207 (minisat+) R 22206 18865 18864 0 -1 0 24352 0 0 0 61926 80 0 0 25 0 1 0 479744895 102060032 24330 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24917 24330 603 41 0 24876 0
vsize: 99668
[startup+630.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22211
Raw data (stat): 22207 (minisat+) R 22206 18865 18864 0 -1 0 24352 0 0 0 62926 81 0 0 25 0 1 0 479744895 102060032 24330 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24917 24330 603 41 0 24876 0
vsize: 99668
[startup+640.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22211
Raw data (stat): 22207 (minisat+) R 22206 18865 18864 0 -1 0 24352 0 0 0 63926 81 0 0 25 0 1 0 479744895 102060032 24330 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24917 24330 603 41 0 24876 0
vsize: 99668
[startup+650.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22211
Raw data (stat): 22207 (minisat+) R 22206 18865 18864 0 -1 0 24352 0 0 0 64926 81 0 0 25 0 1 0 479744895 102060032 24330 4294967295 134512640 134672761 3221224560 3221223728 134561001 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24917 24330 603 41 0 24876 0
vsize: 99668
[startup+660.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22211
Raw data (stat): 22207 (minisat+) R 22206 18865 18864 0 -1 0 24352 0 0 0 65926 81 0 0 25 0 1 0 479744895 102060032 24330 4294967295 134512640 134672761 3221224560 3221223728 134561215 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24917 24330 603 41 0 24876 0
vsize: 99668
[startup+670.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22211
Raw data (stat): 22207 (minisat+) R 22206 18865 18864 0 -1 0 24352 0 0 0 66927 81 0 0 25 0 1 0 479744895 102060032 24330 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24917 24330 603 41 0 24876 0
vsize: 99668
[startup+680.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22211
Raw data (stat): 22207 (minisat+) R 22206 18865 18864 0 -1 0 24352 0 0 0 67927 81 0 0 25 0 1 0 479744895 102060032 24330 4294967295 134512640 134672761 3221224560 3221223728 134560996 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24917 24330 603 41 0 24876 0
vsize: 99668
[startup+690.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22211
Raw data (stat): 22207 (minisat+) R 22206 18865 18864 0 -1 0 24352 0 0 0 68927 81 0 0 25 0 1 0 479744895 102060032 24330 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24917 24330 603 41 0 24876 0
vsize: 99668
[startup+700.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22211
Raw data (stat): 22207 (minisat+) R 22206 18865 18864 0 -1 0 24352 0 0 0 69927 81 0 0 25 0 1 0 479744895 102060032 24330 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24917 24330 603 41 0 24876 0
vsize: 99668
[startup+710.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22211
Raw data (stat): 22207 (minisat+) R 22206 18865 18864 0 -1 0 24352 0 0 0 70927 81 0 0 25 0 1 0 479744895 102060032 24330 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24917 24330 603 41 0 24876 0
vsize: 99668
[startup+720.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22211
Raw data (stat): 22207 (minisat+) R 22206 18865 18864 0 -1 0 24352 0 0 0 71927 81 0 0 25 0 1 0 479744895 102060032 24330 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24917 24330 603 41 0 24876 0
vsize: 99668
[startup+730.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22211
Raw data (stat): 22207 (minisat+) R 22206 18865 18864 0 -1 0 24352 0 0 0 72928 81 0 0 25 0 1 0 479744895 102060032 24330 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24917 24330 603 41 0 24876 0
vsize: 99668
[startup+740.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22211
Raw data (stat): 22207 (minisat+) R 22206 18865 18864 0 -1 0 24352 0 0 0 73928 81 0 0 25 0 1 0 479744895 102060032 24330 4294967295 134512640 134672761 3221224560 3221223708 134560552 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24917 24330 603 41 0 24876 0
vsize: 99668
[startup+750.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22211
Raw data (stat): 22207 (minisat+) R 22206 18865 18864 0 -1 0 24352 0 0 0 74928 81 0 0 25 0 1 0 479744895 102060032 24330 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24917 24330 603 41 0 24876 0
vsize: 99668
[startup+760.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22211
Raw data (stat): 22207 (minisat+) R 22206 18865 18864 0 -1 0 24352 0 0 0 75928 81 0 0 25 0 1 0 479744895 102060032 24330 4294967295 134512640 134672761 3221224560 3221223728 134561118 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24917 24330 603 41 0 24876 0
vsize: 99668
[startup+770.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22211
Raw data (stat): 22207 (minisat+) R 22206 18865 18864 0 -1 0 24352 0 0 0 76928 81 0 0 25 0 1 0 479744895 102060032 24330 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24917 24330 603 41 0 24876 0
vsize: 99668
[startup+780.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22211
Raw data (stat): 22207 (minisat+) R 22206 18865 18864 0 -1 0 24353 0 0 0 77928 81 0 0 25 0 1 0 479744895 102060032 24331 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24917 24331 603 41 0 24876 0
vsize: 99668
[startup+790.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22211
Raw data (stat): 22207 (minisat+) R 22206 18865 18864 0 -1 0 24353 0 0 0 78928 81 0 0 25 0 1 0 479744895 102060032 24331 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24917 24331 603 41 0 24876 0
vsize: 99668
[startup+800.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22211
Raw data (stat): 22207 (minisat+) R 22206 18865 18864 0 -1 0 24353 0 0 0 79928 81 0 0 25 0 1 0 479744895 102060032 24331 4294967295 134512640 134672761 3221224560 3221223728 134561008 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24917 24331 603 41 0 24876 0
vsize: 99668
[startup+810.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22211
Raw data (stat): 22207 (minisat+) R 22206 18865 18864 0 -1 0 24353 0 0 0 80928 81 0 0 25 0 1 0 479744895 102060032 24331 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24917 24331 603 41 0 24876 0
vsize: 99668
[startup+820.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22211
Raw data (stat): 22207 (minisat+) R 22206 18865 18864 0 -1 0 24353 0 0 0 81928 81 0 0 25 0 1 0 479744895 102060032 24331 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24917 24331 603 41 0 24876 0
vsize: 99668
[startup+830.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22211
Raw data (stat): 22207 (minisat+) R 22206 18865 18864 0 -1 0 24353 0 0 0 82929 81 0 0 25 0 1 0 479744895 102060032 24331 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24917 24331 603 41 0 24876 0
vsize: 99668
[startup+840.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22211
Raw data (stat): 22207 (minisat+) R 22206 18865 18864 0 -1 0 24353 0 0 0 83929 81 0 0 25 0 1 0 479744895 102060032 24331 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24917 24331 603 41 0 24876 0
vsize: 99668
[startup+850.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22211
Raw data (stat): 22207 (minisat+) R 22206 18865 18864 0 -1 0 24353 0 0 0 84929 81 0 0 25 0 1 0 479744895 102060032 24331 4294967295 134512640 134672761 3221224560 3221223712 134561249 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24917 24331 603 41 0 24876 0
vsize: 99668
[startup+860.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22211
Raw data (stat): 22207 (minisat+) R 22206 18865 18864 0 -1 0 24353 0 0 0 85929 81 0 0 25 0 1 0 479744895 102060032 24331 4294967295 134512640 134672761 3221224560 3221223664 134560237 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24917 24331 603 41 0 24876 0
vsize: 99668
[startup+870.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22211
Raw data (stat): 22207 (minisat+) R 22206 18865 18864 0 -1 0 24353 0 0 0 86929 81 0 0 25 0 1 0 479744895 102060032 24331 4294967295 134512640 134672761 3221224560 3221223728 134560988 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24917 24331 603 41 0 24876 0
vsize: 99668
[startup+880.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22211
Raw data (stat): 22207 (minisat+) R 22206 18865 18864 0 -1 0 24353 0 0 0 87929 81 0 0 25 0 1 0 479744895 102060032 24331 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24917 24331 603 41 0 24876 0
vsize: 99668
[startup+890.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22211
Raw data (stat): 22207 (minisat+) R 22206 18865 18864 0 -1 0 24353 0 0 0 88929 81 0 0 25 0 1 0 479744895 102060032 24331 4294967295 134512640 134672761 3221224560 3221223728 134561167 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24917 24331 603 41 0 24876 0
vsize: 99668
[startup+900.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22211
Raw data (stat): 22207 (minisat+) R 22206 18865 18864 0 -1 0 24353 0 0 0 89930 81 0 0 25 0 1 0 479744895 102060032 24331 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24917 24331 603 41 0 24876 0
vsize: 99668
[startup+910.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22211
Raw data (stat): 22207 (minisat+) R 22206 18865 18864 0 -1 0 24353 0 0 0 90930 81 0 0 25 0 1 0 479744895 102060032 24331 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24917 24331 603 41 0 24876 0
vsize: 99668
[startup+920.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22211
Raw data (stat): 22207 (minisat+) R 22206 18865 18864 0 -1 0 24354 0 0 0 91930 81 0 0 25 0 1 0 479744895 102060032 24332 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24917 24332 603 41 0 24876 0
vsize: 99668
[startup+930.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22211
Raw data (stat): 22207 (minisat+) R 22206 18865 18864 0 -1 0 24356 0 0 0 92930 82 0 0 25 0 1 0 479744895 102060032 24334 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24917 24334 603 41 0 24876 0
vsize: 99668
[startup+940.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22211
Raw data (stat): 22207 (minisat+) R 22206 18865 18864 0 -1 0 24469 0 0 0 93930 82 0 0 25 0 1 0 479744895 102592512 24447 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 25047 24447 603 41 0 25006 0
vsize: 100188
[startup+950.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22211
Raw data (stat): 22207 (minisat+) R 22206 18865 18864 0 -1 0 24767 0 0 0 94929 83 0 0 25 0 1 0 479744895 103792640 24745 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 25340 24745 603 41 0 25299 0
vsize: 101360
[startup+960.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22211
Raw data (stat): 22207 (minisat+) R 22206 18865 18864 0 -1 0 24927 0 0 0 95929 83 0 0 25 0 1 0 479744895 104460288 24905 4294967295 134512640 134672761 3221224560 3221223664 134560237 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25503 24905 603 41 0 25462 0
vsize: 102012
[startup+970.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22211
Raw data (stat): 22207 (minisat+) R 22206 18865 18864 0 -1 0 24927 0 0 0 96929 83 0 0 25 0 1 0 479744895 104460288 24905 4294967295 134512640 134672761 3221224560 3221223728 134561151 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 25503 24905 603 41 0 25462 0
vsize: 102012
[startup+980.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22211
Raw data (stat): 22207 (minisat+) R 22206 18865 18864 0 -1 0 24927 0 0 0 97929 83 0 0 25 0 1 0 479744895 104460288 24905 4294967295 134512640 134672761 3221224560 3221223744 134558629 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 25503 24905 603 41 0 25462 0
vsize: 102012
[startup+990.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22211
Raw data (stat): 22207 (minisat+) R 22206 18865 18864 0 -1 0 24927 0 0 0 98929 83 0 0 25 0 1 0 479744895 104460288 24905 4294967295 134512640 134672761 3221224560 3221223696 134565098 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 25503 24905 603 41 0 25462 0
vsize: 102012
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22211
Raw data (stat): 22207 (minisat+) R 22206 18865 18864 0 -1 0 24927 0 0 0 99929 83 0 0 25 0 1 0 479744895 104460288 24905 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 25503 24905 603 41 0 25462 0
vsize: 102012
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22211
Raw data (stat): 22207 (minisat+) R 22206 18865 18864 0 -1 0 24927 0 0 0 100929 83 0 0 25 0 1 0 479744895 104460288 24905 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 25503 24905 603 41 0 25462 0
vsize: 102012
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22211
Raw data (stat): 22207 (minisat+) R 22206 18865 18864 0 -1 0 24927 0 0 0 101930 83 0 0 25 0 1 0 479744895 104460288 24905 4294967295 134512640 134672761 3221224560 3221223696 134560709 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 25503 24905 603 41 0 25462 0
vsize: 102012
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22211
Raw data (stat): 22207 (minisat+) R 22206 18865 18864 0 -1 0 24927 0 0 0 102930 83 0 0 25 0 1 0 479744895 104460288 24905 4294967295 134512640 134672761 3221224560 3221223664 134559851 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 25503 24905 603 41 0 25462 0
vsize: 102012
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22211
Raw data (stat): 22207 (minisat+) R 22206 18865 18864 0 -1 0 24927 0 0 0 103930 83 0 0 25 0 1 0 479744895 104460288 24905 4294967295 134512640 134672761 3221224560 3221223728 134561167 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 25503 24905 603 41 0 25462 0
vsize: 102012
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22211
Raw data (stat): 22207 (minisat+) R 22206 18865 18864 0 -1 0 24927 0 0 0 104930 83 0 0 25 0 1 0 479744895 104460288 24905 4294967295 134512640 134672761 3221224560 3221223728 134560903 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 25503 24905 603 41 0 25462 0
vsize: 102012
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22211
Raw data (stat): 22207 (minisat+) R 22206 18865 18864 0 -1 0 24927 0 0 0 105930 83 0 0 25 0 1 0 479744895 104460288 24905 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 25503 24905 603 41 0 25462 0
vsize: 102012
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22211
Raw data (stat): 22207 (minisat+) R 22206 18865 18864 0 -1 0 24927 0 0 0 106930 83 0 0 25 0 1 0 479744895 104460288 24905 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 25503 24905 603 41 0 25462 0
vsize: 102012
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22211
Raw data (stat): 22207 (minisat+) R 22206 18865 18864 0 -1 0 24927 0 0 0 107930 83 0 0 25 0 1 0 479744895 104460288 24905 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 25503 24905 603 41 0 25462 0
vsize: 102012
[startup+1090.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22211
Raw data (stat): 22207 (minisat+) R 22206 18865 18864 0 -1 0 24927 0 0 0 108931 83 0 0 25 0 1 0 479744895 104460288 24905 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 25503 24905 603 41 0 25462 0
vsize: 102012
[startup+1100.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22211
Raw data (stat): 22207 (minisat+) R 22206 18865 18864 0 -1 0 24927 0 0 0 109931 83 0 0 25 0 1 0 479744895 104460288 24905 4294967295 134512640 134672761 3221224560 3221223728 134560929 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 25503 24905 603 41 0 25462 0
vsize: 102012
[startup+1110.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22211
Raw data (stat): 22207 (minisat+) R 22206 18865 18864 0 -1 0 24927 0 0 0 110931 83 0 0 25 0 1 0 479744895 104460288 24905 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 25503 24905 603 41 0 25462 0
vsize: 102012
[startup+1120.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22211
Raw data (stat): 22207 (minisat+) R 22206 18865 18864 0 -1 0 24927 0 0 0 111931 83 0 0 25 0 1 0 479744895 104460288 24905 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 25503 24905 603 41 0 25462 0
vsize: 102012
[startup+1130.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22211
Raw data (stat): 22207 (minisat+) R 22206 18865 18864 0 -1 0 24927 0 0 0 112931 83 0 0 25 0 1 0 479744895 104460288 24905 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 25503 24905 603 41 0 25462 0
vsize: 102012
[startup+1140.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22211
Raw data (stat): 22207 (minisat+) R 22206 18865 18864 0 -1 0 24927 0 0 0 113931 84 0 0 25 0 1 0 479744895 104460288 24905 4294967295 134512640 134672761 3221224560 3221223728 134560858 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 25503 24905 603 41 0 25462 0
vsize: 102012
[startup+1150.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22211
Raw data (stat): 22207 (minisat+) R 22206 18865 18864 0 -1 0 24927 0 0 0 114931 84 0 0 25 0 1 0 479744895 104460288 24905 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 25503 24905 603 41 0 25462 0
vsize: 102012
[startup+1160.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22211
Raw data (stat): 22207 (minisat+) R 22206 18865 18864 0 -1 0 24927 0 0 0 115931 84 0 0 25 0 1 0 479744895 104460288 24905 4294967295 134512640 134672761 3221224560 3221223696 134560588 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 25503 24905 603 41 0 25462 0
vsize: 102012
[startup+1170.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22211
Raw data (stat): 22207 (minisat+) R 22206 18865 18864 0 -1 0 24927 0 0 0 116932 84 0 0 25 0 1 0 479744895 104460288 24905 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 25503 24905 603 41 0 25462 0
vsize: 102012
[startup+1180.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22211
Raw data (stat): 22207 (minisat+) R 22206 18865 18864 0 -1 0 24927 0 0 0 117932 84 0 0 25 0 1 0 479744895 104460288 24905 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 25503 24905 603 41 0 25462 0
vsize: 102012
[startup+1190.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22211
Raw data (stat): 22207 (minisat+) R 22206 18865 18864 0 -1 0 24927 0 0 0 118932 84 0 0 25 0 1 0 479744895 104460288 24905 4294967295 134512640 134672761 3221224560 3221223728 134561151 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 25503 24905 603 41 0 25462 0
vsize: 102012
[startup+1200.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22211
Raw data (stat): 22207 (minisat+) R 22206 18865 18864 0 -1 0 24927 0 0 0 119932 84 0 0 25 0 1 0 479744895 104460288 24905 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 25503 24905 603 41 0 25462 0
vsize: 102012
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.07 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 22211
Raw data (stat): 22207 (minisat+) Z 22206 18865 18864 0 -1 12 24930 0 0 0 119932 88 0 0 25 0 1 0 479744895 0 0 4294967295 0 0 0 0 0 0 16384 5 16386 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 10
Real time (s): 1200.07
CPU time (s): 1200.21
CPU user time (s): 1199.33
CPU system time (s): 0.886865
CPU usage (%): 100.012
Max. virtual memory (Kb): 102012
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####