PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-2.opb
MD5SUM	5b8ef604a7452dcb7c7d749b75aed566
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-45
Optimality of the best value was proved	NO
Number of terms in the objective function	1534
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	1534
Number of bits of the sum of numbers in the objective function	11
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	1534
Number of bits of the biggest sum of numbers	11
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.15
Number of variables	1534
Total number of constraints	126163
Number of constraints which are clauses	126163
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	2
Trace number 5270

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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:        906620 kB
Buffers:         34936 kB
Cached:          70676 kB
SwapCached:       2644 kB
Active:          54460 kB
Inactive:        56676 kB
HighTotal:      131008 kB
HighFree:        56420 kB
LowTotal:       903652 kB
LowFree:        850200 kB
SwapTotal:     2097136 kB
SwapFree:      2094492 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6928 kB
Slab:            11304 kB
Committed_AS:    63472 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-13 23:28:06 (client local time) WITH STATUS 10 IN 1200.46 SECONDS
stats: 3734 7 1200.46 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Parsing PB file...
c Converting 126163 PB-constraints to clauses...
c   -- Unit propagations: (none)
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): ...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |         0 |  126163   252326 |   42054       0        0     nan |  0.000 % |
c ==============================================================================
c [1mFound solution: -42[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Adder-cost: 3034   maxlim: 42   bits: 7/6
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |         0 |  147166   327397 |   49055       0        0     nan |  0.000 % |
c |       100 |  147157   327366 |   53960      97      571     5.9 |  0.111 % |
c |       250 |  147157   327366 |   59356     247     2052     8.3 |  0.110 % |
c |       475 |  147157   327366 |   65292     472     3874     8.2 |  0.111 % |
c |       812 |  147148   327335 |   71821     806     7380     9.2 |  0.133 % |
c |      1318 |  147130   327273 |   79003    1308    12605     9.6 |  0.176 % |
c |      2077 |  147111   327204 |   86903    2057    20663    10.0 |  0.220 % |
c |      3216 |  147033   326936 |   95594    3172    35326    11.1 |  0.417 % |
c |      4924 |  146892   326453 |  105153    4845    58044    12.0 |  0.793 % |
c |      7486 |  146622   325527 |  115669    7329    93212    12.7 |  1.494 % |
c |     11331 |  145714   322405 |  127236   10895   159041    14.6 |  4.153 % |
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 |     16707 |  144445   318068 |   48148   15813   270679    17.1 |  4.153 % |
c |     16807 |  144340   317707 |   52962   15878   273652    17.2 |  8.434 % |
c |     16957 |  144305   317586 |   58259   16015   275652    17.2 |  8.544 % |
c |     17182 |  144102   316891 |   64084   16189   280247    17.3 |  9.313 % |
c |     17520 |  144078   316809 |   70493   16520   290385    17.6 |  9.380 % |
c |     18026 |  144040   316679 |   77542   17015   301343    17.7 |  9.510 % |
c |     18785 |  143773   315756 |   85297   17674   315249    17.8 | 10.389 % |
c |     19924 |  143113   313480 |   93826   18606   339949    18.3 | 12.761 % |
c |     21632 |  142753   312238 |  103209   20201   379880    18.8 | 14.079 % |
c |     24194 |  141944   309437 |  113530   22481   466537    20.8 | 17.263 % |
c ==============================================================================
c [1mFound solution: -46[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Adder-cost: 0   maxlim: 46   bits: 7/6
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     27630 |  141305   307225 |   47101   25646   617327    24.1 | 17.263 % |
c |     27730 |  141305   307225 |   51811   25746   620857    24.1 | 19.803 % |
c |     27880 |  141269   307099 |   56992   25885   624354    24.1 | 19.958 % |
c |     28106 |  141230   306966 |   62691   26101   630929    24.2 | 20.111 % |
c |     28443 |  141176   306774 |   68960   26421   644002    24.4 | 20.351 % |
c |     28949 |  141025   306253 |   75856   26815   658077    24.5 | 20.944 % |
c |     29708 |  140933   305935 |   83442   27489   688916    25.1 | 21.275 % |
c |     30847 |  140897   305809 |   91786   28614   721532    25.2 | 21.427 % |
c |     32555 |  140823   305553 |  100965   30234   829698    27.4 | 21.713 % |
c |     35117 |  140398   304082 |  111061   32528   934624    28.7 | 23.469 % |
c |     38961 |  140101   303045 |  122167   36087  1198330    33.2 | 24.720 % |
c |     44727 |  139948   302508 |  134384   41729  2391897    57.3 | 25.424 % |
c |     53376 |  139663   301525 |  147823   49712  3044731    61.2 | 26.433 % |
c |     66353 |  139518   301020 |  162605   62374  4696069    75.3 | 27.003 % |
c ==============================================================================
c [1mFound solution: -47[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Adder-cost: 0   maxlim: 47   bits: 7/6
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     69010 |  139442   300755 |   46480   64767  4880235    75.4 | 27.003 % |
c |     69110 |  139442   300755 |   51128   20001  1355077    67.8 | 27.283 % |
c |     69261 |  139442   300755 |   56240   20152  1359916    67.5 | 27.283 % |
c |     69486 |  139442   300755 |   61864   20377  1383753    67.9 | 27.284 % |
c |     69823 |  139442   300755 |   68051   20714  1401446    67.7 | 27.283 % |
c |     70330 |  139403   300622 |   74856   21190  1429256    67.4 | 27.392 % |
c |     71089 |  139382   300547 |   82342   21941  1515275    69.1 | 27.502 % |
c |     72230 |  139371   300508 |   90576   23078  1674521    72.6 | 27.546 % |
c |     73939 |  139371   300508 |   99634   24787  1806291    72.9 | 27.548 % |
c |     76501 |  139353   300446 |  109597   27324  2087675    76.4 | 27.591 % |
c |     80346 |  139321   300336 |  120557   31141  2351444    75.5 | 27.701 % |
c |     86112 |  139303   300274 |  132612   36880  2880519    78.1 | 27.745 % |
c |     94761 |  139226   300011 |  145874   45467  4024162    88.5 | 27.985 % |
c |    107735 |  139175   299834 |  160461   58413  6781317   116.1 | 28.183 % |
c |    127196 |  139142   299721 |  176507   77838  9738702   125.1 | 28.270 % |
c |    156388 |  139087   299536 |  194158  107000 15412539   144.0 | 28.490 % |
c ==============================================================================
c [1mFound solution: -48[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Adder-cost: 0   maxlim: 48   bits: 7/6
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |    189263 |  139008   299268 |   46336  139736 20826101   149.0 | 28.490 % |
c |    189364 |  139008   299268 |   50969   18283  2526499   138.2 | 28.857 % |
c |    189514 |  139008   299268 |   56066   18433  2529554   137.2 | 28.857 % |
c |    189740 |  139008   299268 |   61673   18659  2533605   135.8 | 28.857 % |
c |    190079 |  139008   299268 |   67840   18998  2541507   133.8 | 28.857 % |
c |    190585 |  139008   299268 |   74624   19504  2573065   131.9 | 28.858 % |
c |    191344 |  138958   299096 |   82087   20253  2636191   130.2 | 29.054 % |
c |    192483 |  138952   299076 |   90295   21386  2686602   125.6 | 29.076 % |
c |    194191 |  138917   298955 |   99325   23081  2812593   121.9 | 29.187 % |
c |    196753 |  138917   298955 |  109257   25643  3088932   120.5 | 29.187 % |
c |    200597 |  138871   298795 |  120183   29474  4046024   137.3 | 29.339 % |
c |    206363 |  138822   298624 |  132202   35226  4620337   131.2 | 29.537 % |
c |    215012 |  138770   298444 |  145422   43840  5507290   125.6 | 29.714 % |
c |    227986 |  138705   298219 |  159964   56773  6699968   118.0 | 29.977 % |
c |    247447 |  138705   298219 |  175960   76234 12431249   163.1 | 29.977 % |
c |    276640 |  138696   298188 |  193556  105419 16843963   159.8 | 29.998 % |
c |    320431 |  138664   298074 |  212912  149190 22627743   151.7 | 30.151 % |
c 
c *** TERMINATED ***
s SATISFIABLE
v -C1534 -C1533 -C1532 -C1531 -C1530 -C1529 -C1528 -C1527 -C1526 -C1525 -C1524 -C1523 -C1522 -C1521 -C1520 -C1519 -C1518 -C1517 -C1516 -C1515 C1514 -C1513 -C1512 -C1511 -C1510 -C1509 -C1508 -C1507 -C1506 -C1505 -C1504 -C1503 -C1502 -C1501 -C1500 -C1499 -C1498 -C1497 -C1496 -C1495 -C1494 -C1493 -C1492 -C1491 -C1490 -C1489 -C1488 -C1487 -C1486 -C1485 -C1484 -C1483 -C1482 -C1481 -C1480 -C1479 -C1478 -C1477 -C1476 -C1475 -C1474 -C1473 -C1472 -C1471 -C1470 -C1469 -C1468 -C1467 -C1466 -C1465 -C1464 -C1463 -C1462 -C1461 -C1460 -C1459 -C1458 -C1457 -C1456 -C1455 C1454 -C1453 -C1452 -C1451 -C1450 -C1449 -C1448 -C1447 -C1446 -C1445 -C1444 -C1443 -C1442 -C1441 -C1440 -C1439 -C1438 -C1437 -C1436 -C1435 -C1434 -C1433 -C1432 -C1431 -C1430 -C1429 -C1428 -C1427 -C1426 -C1425 -C1424 -C1423 -C1422 -C1421 -C1420 -C1419 -C1418 -C1417 -C1416 -C1415 -C1414 -C1413 -C1412 -C1411 -C1410 -C1409 -C1408 -C1407 -C1406 -C1405 -C1404 -C1403 -C1402 -C1401 -C1400 -C1399 -C1398 -C1397 -C1396 -C1395 -C1394 -C1393 -C1392 C1391 -C1390 -C1389 -C1388 -C1387 -C1386 -C1385 -C1384 -C1383 -C1382 -C1381 -C1380 -C1379 -C1378 -C1377 -C1376 -C1375 -C1374 -C1373 -C1372 -C1371 -C1370 -C1369 -C1368 -C1367 -C1366 -C1365 -C1364 -C1363 -C1362 -C1361 -C1360 -C1359 -C1358 -C1357 C1356 -C1355 -C1354 -C1353 -C1352 -C1351 -C1350 -C1349 -C1348 -C1347 -C1346 -C1345 -C1344 -C1343 -C1342 -C1341 -C1340 -C1339 -C1338 -C1337 -C1336 -C1335 -C1334 -C1333 -C1332 C1331 -C1330 -C1329 -C1328 -C1327 -C1326 -C1325 -C1324 -C1323 C1322 -C1321 -C1320 -C1319 -C1318 -C1317 -C1316 -C1315 -C1314 -C1313 -C1312 -C1311 -C1310 -C1309 -C1308 -C1307 -C1306 -C1305 -C1304 -C1303 -C1302 -C1301 -C1300 -C1299 -C1298 -C1297 -C1296 -C1295 -C1294 -C1293 -C1292 -C1291 -C1290 -C1289 -C1288 -C1287 -C1286 -C1285 -C1284 -C1283 -C1282 -C1281 -C1280 -C1279 -C1278 C1277 -C1276 -C1275 -C1274 -C1273 -C1272 -C1271 -C1270 -C1269 -C1268 -C1267 -C1266 -C1265 -C1264 -C1263 -C1262 -C1261 -C1260 -C1259 -C1258 C1257 -C1256 -C1255 -C1254 -C1253 -C1252 -C1251 -C1250 -C1249 -C1248 -C1247 -C1246 -C1245 C1244 -C1243 -C1242 -C1241 -C1240 -C1239 -C1238 -C1237 -C1236 -C1235 -C1234 -C1233 -C1232 -C1231 -C1230 -C1229 -C1228 -C1227 -C1226 -C1225 -C1224 -C1223 -C1222 -C1221 -C1220 -C1219 -C1218 -C1217 -C1216 -C1215 -C1214 -C1213 -C1212 -C1211 -C1210 -C1209 -C1208 -C1207 -C1206 -C1205 -C1204 -C1203 -C1202 -C1201 -C1200 -C1199 -C1198 -C1197 -C1196 -C1195 -C1194 -C1193 -C1192 -C1191 -C1190 -C1189 -C1188 -C1187 -C1186 -C1185 -C1184 -C1183 -C1182 -C1181 -C1180 -C1179 -C1178 -C1177 -C1176 -C1175 -C1174 -C1173 -C1172 C1171 -C1170 -C1169 -C1168 -C1167 -C1166 -C1165 -C1164 -C1163 -C1162 -C1161 -C1160 -C1159 -C1158 -C1157 -C1156 -C1155 -C1154 -C1153 -C1152 -C1151 -C1150 -C1149 -C1148 -C1147 -C1146 -C1145 -C1144 -C1143 -C1142 -C1141 -C1140 -C1139 -C1138 -C1137 -C1136 -C1135 -C1134 -C1133 -C1132 C1131 -C1130 -C1129 -C1128 -C1127 -C1126 -C1125 -C1124 -C1123 -C1122 -C1121 -C1120 -C1119 -C1118 -C1117 -C1116 -C1115 -C1114 -C1113 -C1112 -C1111 -C1110 -C1109 -C1108 -C1107 -C1106 -C1105 -C1104 -C1103 -C1102 -C1101 -C1100 C1099 -C1098 -C1097 -C1096 -C1095 -C1094 -C1093 -C1092 -C1091 -C1090 -C1089 -C1088 -C1087 -C1086 -C1085 -C1084 -C1083 -C1082 -C1081 -C1080 -C1079 -C1078 -C1077 -C1076 -C1075 -C1074 -C1073 -C1072 -C1071 -C1070 -C1069 -C1068 -C1067 -C1066 -C1065 -C1064 -C1063 -C1062 -C1061 -C1060 -C1059 -C1058 -C1057 -C1056 -C1055 -C1054 -C1053 C1052 -C1051 -C1050 -C1049 -C1048 -C1047 -C1046 -C1045 -C1044 -C1043 -C1042 -C1041 -C1040 -C1039 -C1038 -C1037 -C1036 -C1035 -C1034 -C1033 -C1032 -C1031 -C1030 -C1029 -C1028 -C1027 -C1026 -C1025 -C1024 -C1023 -C1022 -C1021 -C1020 -C1019 -C1018 -C1017 -C1016 -C1015 -C1014 -C1013 -C1012 -C1011 -C1010 -C1009 -C1008 -C1007 -C1006 -C1005 -C1004 -C1003 -C1002 -C1001 -C1000 -C999 -C998 C997 -C996 -C995 -C994 -C993 -C992 -C991 -C990 -C989 -C988 -C987 -C986 -C985 -C984 -C983 -C982 -C981 -C980 -C979 -C978 -C977 -C976 -C975 -C974 -C973 -C972 -C971 -C970 C969 -C968 -C967 -C966 -C965 -C964 -C963 -C962 -C961 -C960 -C959 -C958 -C957 -C956 -C955 -C954 -C953 -C952 -C951 -C950 -C949 -C948 -C947 -C946 -C945 -C944 -C943 -C942 -C941 -C940 -C939 C938 -C937 -C936 -C935 -C934 -C933 -C932 -C931 -C930 -C929 -C928 -C927 -C926 -C925 -C924 -C923 -C922 -C921 -C920 -C919 -C918 -C917 -C916 -C915 -C914 -C913 -C912 -C911 -C910 -C909 -C908 -C907 -C906 -C905 -C904 -C903 -C902 -C901 -C900 -C899 C898 -C897 -C896 -C895 -C894 -C893 -C892 -C891 -C890 -C889 -C888 -C887 -C886 -C885 -C884 -C883 -C882 -C881 -C880 -C879 -C878 -C877 -C876 -C875 -C874 C873 -C872 -C871 -C870 -C869 -C868 -C867 -C866 -C865 -C864 -C863 -C862 -C861 -C860 -C859 C858 -C857 -C856 -C855 -C854 -C853 -C852 -C851 -C850 -C849 -C848 -C847 -C846 -C845 -C844 -C843 -C842 -C841 -C840 -C839 -C838 -C837 -C836 -C835 -C834 -C833 -C832 -C831 -C830 -C829 -C828 -C827 -C826 -C825 -C824 -C823 -C822 -C821 C820 -C819 -C818 -C817 -C816 -C815 -C814 -C813 -C812 -C811 -C810 -C809 -C808 -C807 -C806 C805 -C804 -C803 -C802 -C801 -C800 -C799 -C798 -C797 -C796 -C795 -C794 -C793 -C792 -C791 -C790 -C789 -C788 -C787 -C786 -C785 -C784 -C783 -C782 -C781 -C780 -C779 -C778 -C777 -C776 -C775 -C774 -C773 -C772 -C771 -C770 -C769 -C768 -C767 -C766 -C765 -C764 -C763 -C762 -C761 -C760 -C759 C758 -C757 -C756 -C755 -C754 -C753 C752 -C751 -C750 -C749 -C748 -C747 -C746 -C745 -C744 -C743 -C742 -C741 -C740 -C739 -C738 -C737 -C736 -C735 -C734 -C733 -C732 -C731 -C730 -C729 -C728 -C727 -C726 -C725 -C724 -C723 -C722 -C721 -C720 -C719 -C718 -C717 -C716 -C715 -C714 -C713 -C712 -C711 -C710 -C709 -C708 -C707 -C706 -C705 -C704 C703 -C702 -C701 -C700 -C699 -C698 -C697 -C696 -C695 -C694 -C693 -C692 -C691 -C690 -C689 -C688 -C687 -C686 -C685 -C684 -C683 -C682 -C681 -C680 -C679 -C678 C677 -C676 -C675 -C674 -C673 -C672 -C671 -C670 -C669 -C668 -C667 -C666 -C665 -C664 -C663 -C662 -C661 -C660 C659 -C658 -C657 -C656 -C655 -C654 -C653 -C652 -C651 C650 -C649 -C648 -C647 -C646 -C645 -C644 -C643 -C642 -C641 -C640 -C639 -C638 -C637 -C636 -C635 -C634 -C633 -C632 -C631 -C630 -C629 -C628 -C627 -C626 -C625 -C624 -C623 -C622 -C621 -C620 -C619 -C618 -C617 -C616 -C615 -C614 -C613 -C612 -C611 -C610 -C609 -C608 -C607 -C606 -C605 -C604 -C603 -C602 C601 -C600 -C599 -C598 -C597 -C596 -C595 -C594 -C593 C592 -C591 -C590 -C589 -C588 -C587 -C586 -C585 -C584 -C583 -C582 -C581 -C580 -C579 -C578 -C577 -C576 -C575 -C574 -C573 -C572 -C571 -C570 -C569 -C568 -C567 -C566 -C565 -C564 -C563 -C562 -C561 -C560 -C559 -C558 -C557 C556 -C555 -C554 -C553 -C552 -C551 -C550 -C549 -C548 -C547 -C546 C545 -C544 -C543 -C542 -C541 -C540 -C539 -C538 -C537 -C536 -C535 -C534 -C533 -C532 -C531 -C530 -C529 -C528 -C527 -C526 -C525 -C524 -C523 -C522 -C521 -C520 -C519 -C518 -C517 -C516 -C515 -C514 -C513 -C512 -C511 -C510 -C509 -C508 -C507 -C506 -C505 -C504 -C503 -C502 -C501 -C500 -C499 -C498 -C497 -C496 -C495 -C494 C493 -C492 -C491 -C490 -C489 -C488 -C487 -C486 -C485 -C484 -C483 -C482 -C481 -C480 -C479 -C478 -C477 -C476 -C475 -C474 -C473 -C472 -C471 -C470 -C469 -C468 -C467 -C466 -C465 -C464 -C463 -C462 -C461 -C460 -C459 -C458 -C457 -C456 -C455 -C454 -C453 -C452 C451 -C450 -C449 -C448 -C447 -C446 -C445 -C444 -C443 -C442 -C441 -C440 -C439 -C438 -C437 -C436 -C435 -C434 -C433 -C432 -C431 -C430 -C429 -C428 -C427 -C426 -C425 -C424 -C423 -C422 -C421 -C420 -C419 C418 -C417 -C416 -C415 -C414 C413 -C412 -C411 -C410 -C409 -C408 -C407 -C406 -C405 -C404 -C403 -C402 -C401 -C400 -C399 -C398 -C397 -C396 -C395 -C394 -C393 -C392 -C391 -C390 -C389 -C388 -C387 -C386 -C385 -C384 -C383 -C382 -C381 -C380 -C379 -C378 -C377 -C376 -C375 -C374 -C373 -C372 -C371 -C370 -C369 -C368 -C367 -C366 -C365 -C364 -C363 -C362 -C361 -C360 -C359 C358 -C357 -C356 -C355 -C354 -C353 -C352 -C351 -C350 -C349 -C348 -C347 -C346 -C345 -C344 -C343 -C342 -C341 -C340 -C339 -C338 -C337 -C336 C335 -C334 -C333 -C332 -C331 -C330 -C329 -C328 -C327 -C326 -C325 -C324 -C323 -C322 -C321 -C320 -C319 -C318 -C317 -C316 -C315 -C314 -C313 -C312 -C311 -C310 -C309 -C308 -C307 -C306 -C305 C304 -C303 -C302 -C301 -C300 -C299 -C298 -C297 -C296 -C295 -C294 -C293 -C292 -C291 -C290 -C289 -C288 -C287 -C286 -C285 -C284 -C283 C282 -C281 -C280 -C279 -C278 -C277 -C276 -C275 -C274 -C273 -C272 -C271 -C270 -C269 -C268 -C267 -C266 -C265 -C264 -C263 -C262 -C261 -C260 -C259 #### 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): 1.01 0.99 0.91 2/54 372
Raw data (stat): 372 (runsolver) R 371 29653 29652 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 421568095 1052672 99 4294967295 134512640 135381576 3221224464 3221219708 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0005 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 372
Raw data (stat): 372 (minisat+) R 371 29653 29652 0 -1 0 5906 0 0 0 983 16 0 0 25 0 1 0 421568095 26218496 5884 4294967295 134512640 134672761 3221224560 3221223684 134566043 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6401 5884 603 41 0 6360 0
vsize: 25604
[startup+20.0006 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 372
Raw data (stat): 372 (minisat+) R 371 29653 29652 0 -1 0 5906 0 0 0 1981 16 0 0 25 0 1 0 421568095 26218496 5884 4294967295 134512640 134672761 3221224560 3221223764 134561964 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6401 5884 603 41 0 6360 0
vsize: 25604
[startup+30.0005 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 372
Raw data (stat): 372 (minisat+) R 371 29653 29652 0 -1 0 5906 0 0 0 2981 17 0 0 25 0 1 0 421568095 26218496 5884 4294967295 134512640 134672761 3221224560 3221223732 134556598 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 6401 5884 603 41 0 6360 0
vsize: 25604
[startup+40.0011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 372
Raw data (stat): 372 (minisat+) R 371 29653 29652 0 -1 0 5906 0 0 0 3981 17 0 0 25 0 1 0 421568095 26218496 5884 4294967295 134512640 134672761 3221224560 3221223732 134556653 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 6401 5884 603 41 0 6360 0
vsize: 25604
[startup+50.0017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 372
Raw data (stat): 372 (minisat+) R 371 29653 29652 0 -1 0 5906 0 0 0 4981 17 0 0 25 0 1 0 421568095 26218496 5884 4294967295 134512640 134672761 3221224560 3221223664 134560246 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6401 5884 603 41 0 6360 0
vsize: 25604
[startup+60.0019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 372
Raw data (stat): 372 (minisat+) R 371 29653 29652 0 -1 0 5906 0 0 0 5981 17 0 0 25 0 1 0 421568095 26218496 5884 4294967295 134512640 134672761 3221224560 3221223724 134559748 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6401 5884 603 41 0 6360 0
vsize: 25604
[startup+70.0024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 372
Raw data (stat): 372 (minisat+) R 371 29653 29652 0 -1 0 5906 0 0 0 6981 17 0 0 25 0 1 0 421568095 26218496 5884 4294967295 134512640 134672761 3221224560 3221223732 134556598 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6401 5884 603 41 0 6360 0
vsize: 25604
[startup+80.0035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 372
Raw data (stat): 372 (minisat+) R 371 29653 29652 0 -1 0 5906 0 0 0 7982 17 0 0 25 0 1 0 421568095 26218496 5884 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6401 5884 603 41 0 6360 0
vsize: 25604
[startup+90.0033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 372
Raw data (stat): 372 (minisat+) R 371 29653 29652 0 -1 0 5906 0 0 0 8982 17 0 0 25 0 1 0 421568095 26218496 5884 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6401 5884 603 41 0 6360 0
vsize: 25604
[startup+100.004 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 372
Raw data (stat): 372 (minisat+) R 371 29653 29652 0 -1 0 6171 0 0 0 9982 17 0 0 25 0 1 0 421568095 27299840 6149 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6665 6149 603 41 0 6624 0
vsize: 26660
[startup+110.004 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 372
Raw data (stat): 372 (minisat+) R 371 29653 29652 0 -1 0 6952 0 0 0 10980 20 0 0 25 0 1 0 421568095 30396416 6930 4294967295 134512640 134672761 3221224560 3221223732 134556660 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7421 6930 603 41 0 7380 0
vsize: 29684
[startup+120.004 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 372
Raw data (stat): 372 (minisat+) R 371 29653 29652 0 -1 0 7517 0 0 0 11979 21 0 0 25 0 1 0 421568095 32825344 7495 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 8014 7495 603 41 0 7973 0
vsize: 32056
[startup+130.004 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 372
Raw data (stat): 372 (minisat+) R 371 29653 29652 0 -1 0 7864 0 0 0 12978 23 0 0 25 0 1 0 421568095 34168832 7842 4294967295 134512640 134672761 3221224560 3221223728 134561151 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 8342 7842 603 41 0 8301 0
vsize: 33368
[startup+140.004 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 372
Raw data (stat): 372 (minisat+) R 371 29653 29652 0 -1 0 7921 0 0 0 13978 23 0 0 25 0 1 0 421568095 34377728 7899 4294967295 134512640 134672761 3221224560 3221223744 134559161 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 8393 7899 603 41 0 8352 0
vsize: 33572
[startup+150.004 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 372
Raw data (stat): 372 (minisat+) R 371 29653 29652 0 -1 0 7921 0 0 0 14978 23 0 0 25 0 1 0 421568095 34377728 7899 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 8393 7899 603 41 0 8352 0
vsize: 33572
[startup+160.005 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 372
Raw data (stat): 372 (minisat+) R 371 29653 29652 0 -1 0 7921 0 0 0 15979 23 0 0 25 0 1 0 421568095 34377728 7899 4294967295 134512640 134672761 3221224560 3221223744 134559340 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 8393 7899 603 41 0 8352 0
vsize: 33572
[startup+170.005 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 372
Raw data (stat): 372 (minisat+) R 371 29653 29652 0 -1 0 7921 0 0 0 16979 23 0 0 25 0 1 0 421568095 34377728 7899 4294967295 134512640 134672761 3221224560 3221223616 134565092 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 8393 7899 603 41 0 8352 0
vsize: 33572
[startup+180.005 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 372
Raw data (stat): 372 (minisat+) R 371 29653 29652 0 -1 0 7921 0 0 0 17979 23 0 0 25 0 1 0 421568095 34377728 7899 4294967295 134512640 134672761 3221224560 3221223664 134560289 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 8393 7899 603 41 0 8352 0
vsize: 33572
[startup+190.005 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 372
Raw data (stat): 372 (minisat+) R 371 29653 29652 0 -1 0 8800 0 0 0 18978 25 0 0 25 0 1 0 421568095 37978112 8778 4294967295 134512640 134672761 3221224560 3221223696 134560590 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 9272 8778 603 41 0 9231 0
vsize: 37088
[startup+200.006 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 372
Raw data (stat): 372 (minisat+) R 371 29653 29652 0 -1 0 9688 0 0 0 19975 28 0 0 25 0 1 0 421568095 41598976 9666 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 10156 9666 603 41 0 10115 0
vsize: 40624
[startup+210.005 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 372
Raw data (stat): 372 (minisat+) R 371 29653 29652 0 -1 0 10214 0 0 0 20974 29 0 0 25 0 1 0 421568095 43753472 10192 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 10682 10192 603 41 0 10641 0
vsize: 42728
[startup+220.006 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 372
Raw data (stat): 372 (minisat+) R 371 29653 29652 0 -1 0 10829 0 0 0 21973 31 0 0 25 0 1 0 421568095 46571520 10807 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11370 10807 603 41 0 11329 0
vsize: 45480
[startup+230.006 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 372
Raw data (stat): 372 (minisat+) R 371 29653 29652 0 -1 0 11578 0 0 0 22971 33 0 0 25 0 1 0 421568095 49647616 11556 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 12121 11556 603 41 0 12080 0
vsize: 48484
[startup+240.006 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 372
Raw data (stat): 372 (minisat+) R 371 29653 29652 0 -1 0 12303 0 0 0 23969 35 0 0 25 0 1 0 421568095 52592640 12281 4294967295 134512640 134672761 3221224560 3221223728 134560871 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 12840 12281 603 41 0 12799 0
vsize: 51360
[startup+250.006 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 372
Raw data (stat): 372 (minisat+) R 371 29653 29652 0 -1 0 12979 0 0 0 24968 36 0 0 25 0 1 0 421568095 55406592 12957 4294967295 134512640 134672761 3221224560 3221223664 134560054 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 13527 12957 603 41 0 13486 0
vsize: 54108
[startup+260.008 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 372
Raw data (stat): 372 (minisat+) R 371 29653 29652 0 -1 0 13546 0 0 0 25966 39 0 0 25 0 1 0 421568095 57696256 13524 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 14086 13524 603 41 0 14045 0
vsize: 56344
[startup+270.007 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 372
Raw data (stat): 372 (minisat+) R 371 29653 29652 0 -1 0 14201 0 0 0 26965 40 0 0 25 0 1 0 421568095 60370944 14179 4294967295 134512640 134672761 3221224560 3221223728 134560988 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 14739 14179 603 41 0 14698 0
vsize: 58956
[startup+280.007 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 372
Raw data (stat): 372 (minisat+) R 371 29653 29652 0 -1 0 14790 0 0 0 27964 42 0 0 25 0 1 0 421568095 62771200 14768 4294967295 134512640 134672761 3221224560 3221223728 134560882 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 15325 14768 603 41 0 15284 0
vsize: 61300
[startup+290.009 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 372
Raw data (stat): 372 (minisat+) R 371 29653 29652 0 -1 0 15372 0 0 0 28963 43 0 0 25 0 1 0 421568095 65040384 15350 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 15879 15350 603 41 0 15838 0
vsize: 63516
[startup+300.008 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 372
Raw data (stat): 372 (minisat+) R 371 29653 29652 0 -1 0 15972 0 0 0 29961 45 0 0 25 0 1 0 421568095 67571712 15950 4294967295 134512640 134672761 3221224560 3221223664 134560405 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16497 15950 603 41 0 16456 0
vsize: 65988
[startup+310.009 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 372
Raw data (stat): 372 (minisat+) R 371 29653 29652 0 -1 0 16513 0 0 0 30961 46 0 0 25 0 1 0 421568095 69718016 16491 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 17021 16491 603 41 0 16980 0
vsize: 68084
[startup+320.009 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 372
Raw data (stat): 372 (minisat+) R 371 29653 29652 0 -1 0 16981 0 0 0 31960 47 0 0 25 0 1 0 421568095 71598080 16959 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 17480 16959 603 41 0 17439 0
vsize: 69920
[startup+330.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 372
Raw data (stat): 372 (minisat+) R 371 29653 29652 0 -1 0 17636 0 0 0 32959 49 0 0 25 0 1 0 421568095 74276864 17614 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 18134 17614 603 41 0 18093 0
vsize: 72536
[startup+340.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 372
Raw data (stat): 372 (minisat+) R 371 29653 29652 0 -1 0 18259 0 0 0 33957 51 0 0 25 0 1 0 421568095 76816384 18237 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 18754 18237 603 41 0 18713 0
vsize: 75016
[startup+350.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 372
Raw data (stat): 372 (minisat+) R 371 29653 29652 0 -1 0 18683 0 0 0 34956 52 0 0 25 0 1 0 421568095 78561280 18661 4294967295 134512640 134672761 3221224560 3221223664 134555225 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19180 18661 603 41 0 19139 0
vsize: 76720
[startup+360.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 372
Raw data (stat): 372 (minisat+) R 371 29653 29652 0 -1 0 19047 0 0 0 35956 53 0 0 25 0 1 0 421568095 80044032 19025 4294967295 134512640 134672761 3221224560 3221223728 134561215 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19542 19025 603 41 0 19501 0
vsize: 78168
[startup+370.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 372
Raw data (stat): 372 (minisat+) R 371 29653 29652 0 -1 0 19425 0 0 0 36954 55 0 0 25 0 1 0 421568095 81653760 19403 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19935 19403 603 41 0 19894 0
vsize: 79740
[startup+380.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 372
Raw data (stat): 372 (minisat+) R 371 29653 29652 0 -1 0 19764 0 0 0 37954 55 0 0 25 0 1 0 421568095 82984960 19742 4294967295 134512640 134672761 3221224560 3221223728 134560858 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 20260 19742 603 41 0 20219 0
vsize: 81040
[startup+390.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 372
Raw data (stat): 372 (minisat+) R 371 29653 29652 0 -1 0 20230 0 0 0 38953 57 0 0 25 0 1 0 421568095 84856832 20208 4294967295 134512640 134672761 3221224560 3221223664 134560289 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 20717 20208 603 41 0 20676 0
vsize: 82868
[startup+400.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 372
Raw data (stat): 372 (minisat+) R 371 29653 29652 0 -1 0 20588 0 0 0 39953 58 0 0 25 0 1 0 421568095 86339584 20566 4294967295 134512640 134672761 3221224560 3221223732 134556688 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 21079 20566 603 41 0 21038 0
vsize: 84316
[startup+410.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 372
Raw data (stat): 372 (minisat+) R 371 29653 29652 0 -1 0 20894 0 0 0 40952 58 0 0 25 0 1 0 421568095 87552000 20872 4294967295 134512640 134672761 3221224560 3221223728 134561005 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 21375 20872 603 41 0 21334 0
vsize: 85500
[startup+420.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 372
Raw data (stat): 372 (minisat+) R 371 29653 29652 0 -1 0 21346 0 0 0 41951 60 0 0 25 0 1 0 421568095 89432064 21324 4294967295 134512640 134672761 3221224560 3221223684 134566098 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 21834 21324 603 41 0 21793 0
vsize: 87336
[startup+430.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 372
Raw data (stat): 372 (minisat+) R 371 29653 29652 0 -1 0 21721 0 0 0 42950 61 0 0 25 0 1 0 421568095 91033600 21699 4294967295 134512640 134672761 3221224560 3221223744 134558914 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22225 21699 603 41 0 22184 0
vsize: 88900
[startup+440.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 372
Raw data (stat): 372 (minisat+) R 371 29653 29652 0 -1 0 22097 0 0 0 43950 62 0 0 25 0 1 0 421568095 92516352 22075 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22587 22075 603 41 0 22546 0
vsize: 90348
[startup+450.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 372
Raw data (stat): 372 (minisat+) R 371 29653 29652 0 -1 0 22446 0 0 0 44948 64 0 0 25 0 1 0 421568095 93855744 22424 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22914 22424 603 41 0 22873 0
vsize: 91656
[startup+460.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 372
Raw data (stat): 372 (minisat+) R 371 29653 29652 0 -1 0 22851 0 0 0 45947 65 0 0 25 0 1 0 421568095 96124928 22829 4294967295 134512640 134672761 3221224560 3221223664 134560128 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 23468 22829 603 41 0 23427 0
vsize: 93872
[startup+470.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 372
Raw data (stat): 372 (minisat+) R 371 29653 29652 0 -1 0 23318 0 0 0 46946 67 0 0 25 0 1 0 421568095 97992704 23296 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 23924 23296 603 41 0 23883 0
vsize: 95696
[startup+480.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 372
Raw data (stat): 372 (minisat+) R 371 29653 29652 0 -1 0 23809 0 0 0 47945 68 0 0 25 0 1 0 421568095 100012032 23787 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24417 23787 603 41 0 24376 0
vsize: 97668
[startup+490.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 372
Raw data (stat): 372 (minisat+) R 371 29653 29652 0 -1 0 24184 0 0 0 48943 70 0 0 25 0 1 0 421568095 101478400 24162 4294967295 134512640 134672761 3221224560 3221223744 134559383 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24775 24162 603 41 0 24734 0
vsize: 99100
[startup+500.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 372
Raw data (stat): 372 (minisat+) R 371 29653 29652 0 -1 0 24473 0 0 0 49943 71 0 0 25 0 1 0 421568095 102670336 24451 4294967295 134512640 134672761 3221224560 3221222224 134565745 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 25066 24451 603 41 0 25025 0
vsize: 100264
[startup+510.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 372
Raw data (stat): 372 (minisat+) R 371 29653 29652 0 -1 0 24473 0 0 0 50942 71 0 0 25 0 1 0 421568095 102670336 24451 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25066 24451 603 41 0 25025 0
vsize: 100264
[startup+520.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 372
Raw data (stat): 372 (minisat+) R 371 29653 29652 0 -1 0 24473 0 0 0 51943 71 0 0 25 0 1 0 421568095 102670336 24451 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25066 24451 603 41 0 25025 0
vsize: 100264
[startup+530.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 372
Raw data (stat): 372 (minisat+) R 371 29653 29652 0 -1 0 24473 0 0 0 52943 71 0 0 25 0 1 0 421568095 102670336 24451 4294967295 134512640 134672761 3221224560 3221223728 134560830 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25066 24451 603 41 0 25025 0
vsize: 100264
[startup+540.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 372
Raw data (stat): 372 (minisat+) R 371 29653 29652 0 -1 0 24473 0 0 0 53943 71 0 0 25 0 1 0 421568095 102670336 24451 4294967295 134512640 134672761 3221224560 3221223728 134560876 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25066 24451 603 41 0 25025 0
vsize: 100264
[startup+550.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 372
Raw data (stat): 372 (minisat+) R 371 29653 29652 0 -1 0 24473 0 0 0 54944 71 0 0 25 0 1 0 421568095 102670336 24451 4294967295 134512640 134672761 3221224560 3221223728 134561234 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25066 24451 603 41 0 25025 0
vsize: 100264
[startup+560.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 372
Raw data (stat): 372 (minisat+) R 371 29653 29652 0 -1 0 24473 0 0 0 55944 71 0 0 25 0 1 0 421568095 102670336 24451 4294967295 134512640 134672761 3221224560 3221223728 134561164 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25066 24451 603 41 0 25025 0
vsize: 100264
[startup+570.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 372
Raw data (stat): 372 (minisat+) R 371 29653 29652 0 -1 0 24473 0 0 0 56944 71 0 0 25 0 1 0 421568095 102670336 24451 4294967295 134512640 134672761 3221224560 3221223728 134560940 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25066 24451 603 41 0 25025 0
vsize: 100264
[startup+580.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 372
Raw data (stat): 372 (minisat+) R 371 29653 29652 0 -1 0 24473 0 0 0 57945 71 0 0 25 0 1 0 421568095 102670336 24451 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25066 24451 603 41 0 25025 0
vsize: 100264
[startup+590.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 372
Raw data (stat): 372 (minisat+) R 371 29653 29652 0 -1 0 24473 0 0 0 58945 71 0 0 25 0 1 0 421568095 102670336 24451 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25066 24451 603 41 0 25025 0
vsize: 100264
[startup+600.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 372
Raw data (stat): 372 (minisat+) R 371 29653 29652 0 -1 0 24473 0 0 0 59945 71 0 0 25 0 1 0 421568095 102670336 24451 4294967295 134512640 134672761 3221224560 3221223728 134561011 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25066 24451 603 41 0 25025 0
vsize: 100264
[startup+610.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 372
Raw data (stat): 372 (minisat+) R 371 29653 29652 0 -1 0 24473 0 0 0 60946 71 0 0 25 0 1 0 421568095 102670336 24451 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25066 24451 603 41 0 25025 0
vsize: 100264
[startup+620.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 372
Raw data (stat): 372 (minisat+) R 371 29653 29652 0 -1 0 24473 0 0 0 61946 71 0 0 25 0 1 0 421568095 102670336 24451 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25066 24451 603 41 0 25025 0
vsize: 100264
[startup+630.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 372
Raw data (stat): 372 (minisat+) R 371 29653 29652 0 -1 0 24473 0 0 0 62947 71 0 0 25 0 1 0 421568095 102670336 24451 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25066 24451 603 41 0 25025 0
vsize: 100264
[startup+640.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 372
Raw data (stat): 372 (minisat+) R 371 29653 29652 0 -1 0 24473 0 0 0 63947 71 0 0 25 0 1 0 421568095 102670336 24451 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25066 24451 603 41 0 25025 0
vsize: 100264
[startup+650.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 372
Raw data (stat): 372 (minisat+) R 371 29653 29652 0 -1 0 24473 0 0 0 64948 71 0 0 25 0 1 0 421568095 102670336 24451 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25066 24451 603 41 0 25025 0
vsize: 100264
[startup+660.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 372
Raw data (stat): 372 (minisat+) R 371 29653 29652 0 -1 0 24473 0 0 0 65948 71 0 0 25 0 1 0 421568095 102670336 24451 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25066 24451 603 41 0 25025 0
vsize: 100264
[startup+670.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 372
Raw data (stat): 372 (minisat+) R 371 29653 29652 0 -1 0 24473 0 0 0 66948 71 0 0 25 0 1 0 421568095 102670336 24451 4294967295 134512640 134672761 3221224560 3221223664 134560148 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25066 24451 603 41 0 25025 0
vsize: 100264
[startup+680.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 372
Raw data (stat): 372 (minisat+) R 371 29653 29652 0 -1 0 24473 0 0 0 67949 71 0 0 25 0 1 0 421568095 102670336 24451 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25066 24451 603 41 0 25025 0
vsize: 100264
[startup+690.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 372
Raw data (stat): 372 (minisat+) R 371 29653 29652 0 -1 0 24473 0 0 0 68949 71 0 0 25 0 1 0 421568095 102670336 24451 4294967295 134512640 134672761 3221224560 3221223732 134556598 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25066 24451 603 41 0 25025 0
vsize: 100264
[startup+700.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 372
Raw data (stat): 372 (minisat+) R 371 29653 29652 0 -1 0 24473 0 0 0 69949 71 0 0 25 0 1 0 421568095 102670336 24451 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25066 24451 603 41 0 25025 0
vsize: 100264
[startup+710.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 372
Raw data (stat): 372 (minisat+) R 371 29653 29652 0 -1 0 24473 0 0 0 70950 71 0 0 25 0 1 0 421568095 102670336 24451 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25066 24451 603 41 0 25025 0
vsize: 100264
[startup+720.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 372
Raw data (stat): 372 (minisat+) R 371 29653 29652 0 -1 0 24473 0 0 0 71950 71 0 0 25 0 1 0 421568095 102670336 24451 4294967295 134512640 134672761 3221224560 3221223728 134560906 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25066 24451 603 41 0 25025 0
vsize: 100264
[startup+730.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 372
Raw data (stat): 372 (minisat+) R 371 29653 29652 0 -1 0 24473 0 0 0 72950 71 0 0 25 0 1 0 421568095 102670336 24451 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25066 24451 603 41 0 25025 0
vsize: 100264
[startup+740.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 372
Raw data (stat): 372 (minisat+) R 371 29653 29652 0 -1 0 24473 0 0 0 73951 71 0 0 25 0 1 0 421568095 102670336 24451 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25066 24451 603 41 0 25025 0
vsize: 100264
[startup+750.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 372
Raw data (stat): 372 (minisat+) R 371 29653 29652 0 -1 0 24473 0 0 0 74951 71 0 0 25 0 1 0 421568095 102670336 24451 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25066 24451 603 41 0 25025 0
vsize: 100264
[startup+760.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 372
Raw data (stat): 372 (minisat+) R 371 29653 29652 0 -1 0 24473 0 0 0 75952 71 0 0 25 0 1 0 421568095 102670336 24451 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25066 24451 603 41 0 25025 0
vsize: 100264
[startup+770.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 372
Raw data (stat): 372 (minisat+) R 371 29653 29652 0 -1 0 24473 0 0 0 76952 71 0 0 25 0 1 0 421568095 102670336 24451 4294967295 134512640 134672761 3221224560 3221223728 134561118 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25066 24451 603 41 0 25025 0
vsize: 100264
[startup+780.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 372
Raw data (stat): 372 (minisat+) R 371 29653 29652 0 -1 0 24473 0 0 0 77952 71 0 0 25 0 1 0 421568095 102670336 24451 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25066 24451 603 41 0 25025 0
vsize: 100264
[startup+790.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 372
Raw data (stat): 372 (minisat+) R 371 29653 29652 0 -1 0 24473 0 0 0 78953 71 0 0 25 0 1 0 421568095 102670336 24451 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25066 24451 603 41 0 25025 0
vsize: 100264
[startup+800.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 372
Raw data (stat): 372 (minisat+) R 371 29653 29652 0 -1 0 24473 0 0 0 79953 71 0 0 25 0 1 0 421568095 102670336 24451 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25066 24451 603 41 0 25025 0
vsize: 100264
[startup+810.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 372
Raw data (stat): 372 (minisat+) R 371 29653 29652 0 -1 0 24473 0 0 0 80953 71 0 0 25 0 1 0 421568095 102670336 24451 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25066 24451 603 41 0 25025 0
vsize: 100264
[startup+820.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 372
Raw data (stat): 372 (minisat+) R 371 29653 29652 0 -1 0 24473 0 0 0 81954 71 0 0 25 0 1 0 421568095 102670336 24451 4294967295 134512640 134672761 3221224560 3221223684 134566142 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25066 24451 603 41 0 25025 0
vsize: 100264
[startup+830.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 372
Raw data (stat): 372 (minisat+) R 371 29653 29652 0 -1 0 24473 0 0 0 82954 71 0 0 25 0 1 0 421568095 102670336 24451 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25066 24451 603 41 0 25025 0
vsize: 100264
[startup+840.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 372
Raw data (stat): 372 (minisat+) R 371 29653 29652 0 -1 0 24473 0 0 0 83954 71 0 0 25 0 1 0 421568095 102670336 24451 4294967295 134512640 134672761 3221224560 3221223696 134560560 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25066 24451 603 41 0 25025 0
vsize: 100264
[startup+850.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 372
Raw data (stat): 372 (minisat+) R 371 29653 29652 0 -1 0 24556 0 0 0 84954 72 0 0 25 0 1 0 421568095 103071744 24534 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25164 24534 603 41 0 25123 0
vsize: 100656
[startup+860.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 372
Raw data (stat): 372 (minisat+) R 371 29653 29652 0 -1 0 24852 0 0 0 85953 73 0 0 25 0 1 0 421568095 104267776 24830 4294967295 134512640 134672761 3221224560 3221223744 134558937 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25456 24830 603 41 0 25415 0
vsize: 101824
[startup+870.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 372
Raw data (stat): 372 (minisat+) R 371 29653 29652 0 -1 0 25178 0 0 0 86953 74 0 0 25 0 1 0 421568095 105623552 25156 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25787 25156 603 41 0 25746 0
vsize: 103148
[startup+880.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 372
Raw data (stat): 372 (minisat+) R 371 29653 29652 0 -1 0 25517 0 0 0 87952 75 0 0 25 0 1 0 421568095 106950656 25495 4294967295 134512640 134672761 3221224560 3221223728 134561198 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26111 25495 603 41 0 26070 0
vsize: 104444
[startup+890.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 372
Raw data (stat): 372 (minisat+) R 371 29653 29652 0 -1 0 25870 0 0 0 88951 76 0 0 25 0 1 0 421568095 108417024 25848 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26469 25848 603 41 0 26428 0
vsize: 105876
[startup+900.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 372
Raw data (stat): 372 (minisat+) R 371 29653 29652 0 -1 0 26259 0 0 0 89950 77 0 0 25 0 1 0 421568095 110006272 26237 4294967295 134512640 134672761 3221224560 3221223728 134560937 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26857 26237 603 41 0 26816 0
vsize: 107428
[startup+910.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 372
Raw data (stat): 372 (minisat+) R 371 29653 29652 0 -1 0 26613 0 0 0 90949 79 0 0 25 0 1 0 421568095 111472640 26591 4294967295 134512640 134672761 3221224560 3221223560 1075350517 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 27215 26591 603 41 0 27174 0
vsize: 108860
[startup+920.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 372
Raw data (stat): 372 (minisat+) R 371 29653 29652 0 -1 0 26840 0 0 0 91949 80 0 0 25 0 1 0 421568095 112422912 26818 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 27447 26818 603 41 0 27406 0
vsize: 109788
[startup+930.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 372
Raw data (stat): 372 (minisat+) R 371 29653 29652 0 -1 0 27063 0 0 0 92949 80 0 0 25 0 1 0 421568095 113356800 27041 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 27675 27041 603 41 0 27634 0
vsize: 110700
[startup+940.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 372
Raw data (stat): 372 (minisat+) R 371 29653 29652 0 -1 0 27415 0 0 0 93948 81 0 0 25 0 1 0 421568095 114696192 27393 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28002 27393 603 41 0 27961 0
vsize: 112008
[startup+950.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 372
Raw data (stat): 372 (minisat+) R 371 29653 29652 0 -1 0 27881 0 0 0 94947 82 0 0 25 0 1 0 421568095 116572160 27859 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28460 27859 603 41 0 28419 0
vsize: 113840
[startup+960.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 372
Raw data (stat): 372 (minisat+) R 371 29653 29652 0 -1 0 28359 0 0 0 95947 83 0 0 25 0 1 0 421568095 118558720 28337 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28945 28337 603 41 0 28904 0
vsize: 115780
[startup+970.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 372
Raw data (stat): 372 (minisat+) R 371 29653 29652 0 -1 0 28709 0 0 0 96946 85 0 0 25 0 1 0 421568095 120037376 28687 4294967295 134512640 134672761 3221224560 3221223632 134553553 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 29306 28687 603 41 0 29265 0
vsize: 117224
[startup+980.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 372
Raw data (stat): 372 (minisat+) R 371 29653 29652 0 -1 0 29010 0 0 0 97945 86 0 0 25 0 1 0 421568095 121245696 28988 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 29601 28988 603 41 0 29560 0
vsize: 118404
[startup+990.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 372
Raw data (stat): 372 (minisat+) R 371 29653 29652 0 -1 0 29326 0 0 0 98944 87 0 0 25 0 1 0 421568095 122585088 29304 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 29928 29304 603 41 0 29887 0
vsize: 119712
[startup+1000.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 372
Raw data (stat): 372 (minisat+) R 371 29653 29652 0 -1 0 29740 0 0 0 99943 89 0 0 25 0 1 0 421568095 124182528 29718 4294967295 134512640 134672761 3221224560 3221223728 134560940 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30318 29718 603 41 0 30277 0
vsize: 121272
[startup+1010.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 372
Raw data (stat): 372 (minisat+) R 371 29653 29652 0 -1 0 30079 0 0 0 100943 89 0 0 25 0 1 0 421568095 125661184 30057 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30679 30057 603 41 0 30638 0
vsize: 122716
[startup+1020.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 372
Raw data (stat): 372 (minisat+) R 371 29653 29652 0 -1 0 30320 0 0 0 101942 90 0 0 25 0 1 0 421568095 126603264 30298 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 30909 30298 603 41 0 30868 0
vsize: 123636
[startup+1030.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 372
Raw data (stat): 372 (minisat+) R 371 29653 29652 0 -1 0 30552 0 0 0 102941 91 0 0 25 0 1 0 421568095 127545344 30530 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 31139 30530 603 41 0 31098 0
vsize: 124556
[startup+1040.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 372
Raw data (stat): 372 (minisat+) R 371 29653 29652 0 -1 0 30859 0 0 0 103941 92 0 0 25 0 1 0 421568095 128745472 30837 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 31432 30837 603 41 0 31391 0
vsize: 125728
[startup+1050.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 372
Raw data (stat): 372 (minisat+) R 371 29653 29652 0 -1 0 31007 0 0 0 104941 92 0 0 25 0 1 0 421568095 129429504 30985 4294967295 134512640 134672761 3221224560 3221223744 134558671 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 31599 30985 603 41 0 31558 0
vsize: 126396
[startup+1060.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 372
Raw data (stat): 372 (minisat+) R 371 29653 29652 0 -1 0 31237 0 0 0 105941 93 0 0 25 0 1 0 421568095 130371584 31215 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 31829 31215 603 41 0 31788 0
vsize: 127316
[startup+1070.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 372
Raw data (stat): 372 (minisat+) R 371 29653 29652 0 -1 0 31474 0 0 0 106941 93 0 0 25 0 1 0 421568095 131309568 31452 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 32058 31452 603 41 0 32017 0
vsize: 128232
[startup+1080.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 372
Raw data (stat): 372 (minisat+) R 371 29653 29652 0 -1 0 31721 0 0 0 107940 94 0 0 25 0 1 0 421568095 132247552 31699 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 32287 31699 603 41 0 32246 0
vsize: 129148
[startup+1090.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 372
Raw data (stat): 372 (minisat+) R 371 29653 29652 0 -1 0 31978 0 0 0 108939 95 0 0 25 0 1 0 421568095 133312512 31956 4294967295 134512640 134672761 3221224560 3221223728 134561001 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 32547 31956 603 41 0 32506 0
vsize: 130188
[startup+1100.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 372
Raw data (stat): 372 (minisat+) R 371 29653 29652 0 -1 0 32265 0 0 0 109939 96 0 0 25 0 1 0 421568095 134512640 32243 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 32840 32243 603 41 0 32799 0
vsize: 131360
[startup+1110.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 372
Raw data (stat): 372 (minisat+) R 371 29653 29652 0 -1 0 32424 0 0 0 110939 96 0 0 25 0 1 0 421568095 135188480 32402 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 33005 32402 603 41 0 32964 0
vsize: 132020
[startup+1120.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 372
Raw data (stat): 372 (minisat+) R 371 29653 29652 0 -1 0 32612 0 0 0 111939 97 0 0 25 0 1 0 421568095 135991296 32590 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 33201 32590 603 41 0 33160 0
vsize: 132804
[startup+1130.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 372
Raw data (stat): 372 (minisat+) R 371 29653 29652 0 -1 0 32810 0 0 0 112939 97 0 0 25 0 1 0 421568095 136794112 32788 4294967295 134512640 134672761 3221224560 3221223728 134560830 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 33397 32788 603 41 0 33356 0
vsize: 133588
[startup+1140.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 372
Raw data (stat): 372 (minisat+) R 371 29653 29652 0 -1 0 33072 0 0 0 113938 99 0 0 25 0 1 0 421568095 137867264 33050 4294967295 134512640 134672761 3221224560 3221223728 134561229 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 33659 33050 603 41 0 33618 0
vsize: 134636
[startup+1150.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 372
Raw data (stat): 372 (minisat+) R 371 29653 29652 0 -1 0 33272 0 0 0 114937 100 0 0 25 0 1 0 421568095 138665984 33250 4294967295 134512640 134672761 3221224560 3221223744 134559625 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 33854 33250 603 41 0 33813 0
vsize: 135416
[startup+1160.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 372
Raw data (stat): 372 (minisat+) R 371 29653 29652 0 -1 0 33486 0 0 0 115937 100 0 0 25 0 1 0 421568095 139472896 33464 4294967295 134512640 134672761 3221224560 3221223696 134560590 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 34051 33464 603 41 0 34010 0
vsize: 136204
[startup+1170.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 372
Raw data (stat): 372 (minisat+) R 371 29653 29652 0 -1 0 33744 0 0 0 116937 101 0 0 25 0 1 0 421568095 140541952 33722 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 34312 33722 603 41 0 34271 0
vsize: 137248
[startup+1180.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 372
Raw data (stat): 372 (minisat+) R 371 29653 29652 0 -1 0 34013 0 0 0 117937 101 0 0 25 0 1 0 421568095 141602816 33991 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 34571 33991 603 41 0 34530 0
vsize: 138284
[startup+1190.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 372
Raw data (stat): 372 (minisat+) R 371 29653 29652 0 -1 0 34347 0 0 0 118936 102 0 0 25 0 1 0 421568095 143073280 34325 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 34930 34325 603 41 0 34889 0
vsize: 139720
[startup+1200.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 372
Raw data (stat): 372 (minisat+) R 371 29653 29652 0 -1 0 34601 0 0 0 119935 103 0 0 25 0 1 0 421568095 144023552 34579 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 35162 34579 603 41 0 35121 0
vsize: 140648
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.11 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 372
Raw data (stat): 372 (minisat+) Z 371 29653 29652 0 -1 12 34604 0 0 0 119936 110 0 0 25 0 1 0 421568095 0 0 4294967295 0 0 0 0 0 0 16384 5 16386 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 10
Real time (s): 1200.11
CPU time (s): 1200.46
CPU user time (s): 1199.36
CPU system time (s): 1.10283
CPU usage (%): 100.029
Max. virtual memory (Kb): 140648
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####