PB'05 competition: run trace

Some explanations

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

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

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.020
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:        816112 kB
Buffers:         36736 kB
Cached:         143724 kB
SwapCached:         12 kB
Active:          66844 kB
Inactive:       116524 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        815860 kB
SwapTotal:     2097892 kB
SwapFree:      2097880 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6928 kB
Slab:            29552 kB
Committed_AS:    63492 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-14 03:18:50 (client local time) WITH STATUS 10 IN 1200.22 SECONDS
stats: 4477 7 1200.22 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Parsing PB file...
c Converting 94127 PB-constraints to clauses...
c   -- Unit propagations: (none)
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): ...............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |         0 |   94127   188254 |   31375       0        0     nan |  0.000 % |
c ==============================================================================
c [1mFound solution: -37[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:70300     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |         0 |  169206   364382 |   56402       0        0     nan |  0.000 % |
c |       100 |  168601   363114 |   62042      60      642    10.7 |  0.650 % |
c |       250 |  168197   362272 |   68246     188     1787     9.5 |  1.078 % |
c |       475 |  166779   359205 |   75071     353     5149    14.6 |  2.687 % |
c |       812 |  164849   355011 |   82578     614     8125    13.2 |  4.901 % |
c |      1318 |  161915   348511 |   90835    1007    11889    11.8 |  8.388 % |
c |      2078 |  157298   338163 |   99919    1514    19611    13.0 | 13.974 % |
c |      3217 |  150383   322519 |  109911    2361    27149    11.5 | 22.504 % |
c |      4925 |  142177   303723 |  120902    3455    43440    12.6 | 32.802 % |
c ==============================================================================
c [1mFound solution: -39[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |      6002 |  136029   289832 |   45343    4064    51113    12.6 | 32.802 % |
c |      6102 |  135501   288616 |   49877    4094    51418    12.6 | 41.228 % |
c |      6252 |  134830   287062 |   54865    4169    52253    12.5 | 42.056 % |
c |      6477 |  133556   284073 |   60351    4284    53504    12.5 | 43.681 % |
c |      6815 |  131508   279252 |   66386    4352    53518    12.3 | 46.324 % |
c |      7321 |  129404   274330 |   73025    4686    58304    12.4 | 49.004 % |
c |      8080 |  124550   262767 |   80327    5020    62499    12.4 | 55.415 % |
c |      9219 |  120847   253969 |   88360    5639    70773    12.6 | 60.316 % |
c |     10927 |  116439   243527 |   97196    6740    85038    12.6 | 66.140 % |
c |     13489 |  111872   232610 |  106916    8109   102853    12.7 | 72.176 % |
c ==============================================================================
c [1mFound solution: -41[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     15449 |  108663   224875 |   36221    9239   125727    13.6 | 72.176 % |
c |     15549 |  108599   224717 |   39843    9321   126476    13.6 | 76.650 % |
c |     15699 |  108565   224641 |   43827    9450   128114    13.6 | 76.691 % |
c |     15924 |  107849   222933 |   48210    9505   128963    13.6 | 77.658 % |
c |     16261 |  107296   221602 |   53031    9592   132052    13.8 | 78.413 % |
c |     16767 |  107016   220928 |   58334   10007   142853    14.3 | 78.791 % |
c |     17527 |  106385   219426 |   64167   10577   155481    14.7 | 79.638 % |
c |     18668 |  105298   216803 |   70584   11375   176705    15.5 | 81.105 % |
c |     20376 |  104074   213784 |   77642   12323   199977    16.2 | 82.788 % |
c |     22938 |  103716   212925 |   85407   14593   321534    22.0 | 83.276 % |
c ==============================================================================
c [1mFound solution: -42[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     24986 |  102854   210754 |   34284   15664   393625    25.1 | 83.276 % |
c |     25086 |  102732   210450 |   37712   15436   390882    25.3 | 84.654 % |
c |     25236 |  102684   210340 |   41483   15542   394868    25.4 | 84.714 % |
c |     25461 |  102641   210233 |   45632   15714   406285    25.9 | 84.776 % |
c |     25798 |  102629   210201 |   50195   16042   422226    26.3 | 84.796 % |
c |     26304 |  102576   210078 |   55214   16509   466638    28.3 | 84.864 % |
c |     27063 |  102576   210078 |   60736   17268   503954    29.2 | 84.864 % |
c |     28202 |  102576   210078 |   66809   18407   593877    32.3 | 84.864 % |
c |     29911 |  102443   209761 |   73490   20018   684978    34.2 | 85.044 % |
c ==============================================================================
c [1mFound solution: -43[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     31856 |  102356   209564 |   34118   21852   815129    37.3 | 85.044 % |
c |     31956 |  102268   209345 |   37529   21860   814537    37.3 | 85.339 % |
c |     32106 |  102228   209247 |   41282   21838   815492    37.3 | 85.394 % |
c |     32333 |  102223   209236 |   45411   22016   831326    37.8 | 85.400 % |
c |     32671 |  102209   209200 |   49952   22306   856533    38.4 | 85.421 % |
c |     33177 |  102197   209172 |   54947   22741   873272    38.4 | 85.437 % |
c |     33937 |  102094   208924 |   60442   23330   930681    39.9 | 85.575 % |
c |     35077 |  102019   208744 |   66486   24242   985516    40.7 | 85.676 % |
c ==============================================================================
c [1mFound solution: -44[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     35607 |  102009   208691 |   34003   24540   995539    40.6 | 85.676 % |
c |     35708 |  101928   208492 |   37403   24624   997833    40.5 | 85.803 % |
c |     35858 |  101928   208492 |   41143   24774  1006585    40.6 | 85.803 % |
c |     36083 |  101928   208492 |   45257   24999  1014501    40.6 | 85.803 % |
c |     36420 |  101784   208131 |   49783   24930  1033808    41.5 | 86.003 % |
c |     36928 |  101784   208131 |   54762   25438  1056708    41.5 | 86.003 % |
c |     37689 |  101770   208097 |   60238   26110  1110764    42.5 | 86.023 % |
c |     38828 |  101692   207908 |   66262   27180  1189071    43.7 | 86.128 % |
c |     40536 |  101664   207836 |   72888   28873  1410165    48.8 | 86.171 % |
c ==============================================================================
c [1mFound solution: -45[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     40771 |  101685   207899 |   33895   29108  1431870    49.2 | 86.171 % |
c |     40871 |  101599   207692 |   37284   29151  1433947    49.2 | 86.268 % |
c |     41022 |  101583   207656 |   41012   29204  1437736    49.2 | 86.288 % |
c |     41247 |  101583   207656 |   45114   29429  1451214    49.3 | 86.288 % |
c |     41585 |  101579   207646 |   49625   29759  1468341    49.3 | 86.294 % |
c |     42091 |  101579   207646 |   54588   30265  1514920    50.1 | 86.294 % |
c |     42850 |  101579   207646 |   60047   31024  1566731    50.5 | 86.294 % |
c |     43989 |  101522   207517 |   66051   32004  1690247    52.8 | 86.364 % |
c |     45697 |  101519   207510 |   72656   33657  1837966    54.6 | 86.368 % |
c |     48259 |  101514   207497 |   79922   36156  2069775    57.2 | 86.375 % |
c |     52103 |  101425   207284 |   87914   39754  2565923    64.5 | 86.496 % |
c ==============================================================================
c [1mFound solution: -46[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     56071 |  101328   207015 |   33776   42986  3027810    70.4 | 86.496 % |
c |     56171 |  101160   206601 |   37153   42581  3019786    70.9 | 86.866 % |
c |     56322 |  101122   206513 |   40868   42554  3024513    71.1 | 86.915 % |
c |     56547 |  101122   206513 |   44955   42779  3039749    71.1 | 86.915 % |
c |     56886 |  101122   206513 |   49451   43118  3064538    71.1 | 86.915 % |
c |     57392 |  101122   206513 |   54396   43624  3101898    71.1 | 86.915 % |
c |     58152 |  101122   206513 |   59836   44384  3194510    72.0 | 86.915 % |
c |     59291 |  101046   206333 |   65819   45208  3294689    72.9 | 87.014 % |
c |     60999 |  101046   206333 |   72401   46916  3533061    75.3 | 87.014 % |
c |     63561 |  101046   206333 |   79642   49478  3883031    78.5 | 87.014 % |
c |     67406 |  100914   205999 |   87606   53044  4385925    82.7 | 87.206 % |
c |     73172 |  100806   205737 |   96366   58558  5046095    86.2 | 87.354 % |
c |     81821 |  100711   205504 |  106003   67011  6093036    90.9 | 87.486 % |
c |     94795 |  100700   205477 |  116603   79939  7520194    94.1 | 87.502 % |
c ==============================================================================
c [1mFound solution: -47[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |    105865 |  100598   205249 |   33532   90227  8874178    98.4 | 87.502 % |
c |    105965 |  100593   205238 |   36885   20901  1600986    76.6 | 87.670 % |
c |    106117 |  100593   205238 |   40573   21053  1614859    76.7 | 87.670 % |
c |    106344 |  100593   205238 |   44631   21280  1631167    76.7 | 87.670 % |
c |    106681 |  100593   205238 |   49094   21617  1672760    77.4 | 87.670 % |
c |    107187 |  100593   205238 |   54003   22123  1718568    77.7 | 87.670 % |
c |    107946 |  100593   205238 |   59403   22882  1790790    78.3 | 87.670 % |
c |    109085 |  100552   205131 |   65344   23996  1881654    78.4 | 87.734 % |
c |    110794 |  100507   205018 |   71878   25649  2041000    79.6 | 87.798 % |
c |    113356 |  100507   205018 |   79066   28211  2385755    84.6 | 87.798 % |
c |    117201 |  100363   204678 |   86973   31966  2747854    86.0 | 87.983 % |
c |    122969 |  100363   204678 |   95670   37734  3327649    88.2 | 87.983 % |
c |    131618 |  100361   204672 |  105237   46377  4057930    87.5 | 87.986 % |
c |    144592 |  100361   204672 |  115761   59351  5417520    91.3 | 87.986 % |
c |    164053 |  100361   204672 |  127337   78812  7374147    93.6 | 87.986 % |
c ==============================================================================
c [1mFound solution: -48[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |    180700 |  100336   204592 |   33445   95355  9046564    94.9 | 87.986 % |
c |    180800 |  100336   204592 |   36789   20047  1291344    64.4 | 88.022 % |
c |    180953 |  100336   204592 |   40468   20200  1303202    64.5 | 88.022 % |
c |    181179 |  100336   204592 |   44515   20426  1316828    64.5 | 88.022 % |
c |    181517 |  100336   204592 |   48966   20764  1335170    64.3 | 88.022 % |
c |    182023 |  100336   204592 |   53863   21270  1379477    64.9 | 88.022 % |
c |    182782 |  100336   204592 |   59249   22029  1465852    66.5 | 88.022 % |
c |    183921 |  100336   204592 |   65174   23168  1572637    67.9 | 88.022 % |
c |    185630 |  100336   204592 |   71692   24877  1715016    68.9 | 88.022 % |
c |    188194 |  100315   204537 |   78861   27433  1979748    72.2 | 88.055 % |
c |    192038 |  100261   204411 |   86747   31274  2434565    77.8 | 88.125 % |
c |    197805 |  100261   204411 |   95422   37041  2947613    79.6 | 88.125 % |
c |    206454 |  100261   204411 |  104964   45690  3968544    86.9 | 88.125 % |
c |    219428 |  100230   204344 |  115461   58628  5032265    85.8 | 88.160 % |
c |    238890 |  100163   204183 |  127007   78084  6825521    87.4 | 88.251 % |
c |    268082 |  100162   204180 |  139708  107224 10345801    96.5 | 88.253 % |
c |    311871 |  100159   204173 |  153678  151012 13666617    90.5 | 88.257 % |
c 
c *** TERMINATED ***
s SATISFIABLE
v -C1272 -C1271 -C1270 -C1269 -C1268 -C1267 -C1266 -C1265 -C1264 -C1263 -C1262 -C1261 -C1260 -C1259 -C1258 -C1257 C1256 -C1255 -C1254 -C1253 -C1252 -C1251 -C1250 -C1249 -C1248 -C1247 C1246 -C1245 -C1244 -C1243 -C1242 -C1241 -C1240 -C1239 -C1238 -C1237 -C1236 -C1235 -C1234 -C1233 -C1232 -C1231 -C1230 -C1229 -C1228 -C1227 -C1226 -C1225 -C1224 -C1223 -C1222 -C1221 -C1220 -C1219 -C1218 -C1217 -C1216 -C1215 -C1214 -C1213 -C1212 C1211 -C1210 -C1209 -C1208 -C1207 -C1206 -C1205 -C1204 -C1203 -C1202 -C1201 -C1200 -C1199 -C1198 -C1197 -C1196 -C1195 -C1194 -C1193 -C1192 -C1191 -C1190 -C1189 -C1188 -C1187 -C1186 -C1185 -C1184 -C1183 -C1182 -C1181 -C1180 -C1179 -C1178 -C1177 -C1176 -C1175 -C1174 -C1173 -C1172 -C1171 -C1170 -C1169 -C1168 -C1167 -C1166 -C1165 -C1164 -C1163 -C1162 -C1161 -C1160 -C1159 -C1158 -C1157 -C1156 -C1155 -C1154 C1153 -C1152 -C1151 -C1150 -C1149 -C1148 -C1147 -C1146 -C1145 C1144 -C1143 -C1142 -C1141 -C1140 -C1139 -C1138 -C1137 -C1136 -C1135 -C1134 -C1133 -C1132 -C1131 -C1130 -C1129 -C1128 -C1127 -C1126 -C1125 -C1124 -C1123 -C1122 -C1121 -C1120 -C1119 -C1118 -C1117 -C1116 -C1115 -C1114 -C1113 C1112 -C1111 -C1110 -C1109 -C1108 -C1107 -C1106 -C1105 -C1104 -C1103 -C1102 -C1101 -C1100 -C1099 -C1098 -C1097 -C1096 -C1095 -C1094 -C1093 -C1092 -C1091 -C1090 -C1089 -C1088 -C1087 -C1086 -C1085 -C1084 -C1083 -C1082 -C1081 -C1080 -C1079 -C1078 -C1077 -C1076 -C1075 -C1074 -C1073 -C1072 -C1071 -C1070 C1069 -C1068 -C1067 -C1066 -C1065 -C1064 -C1063 -C1062 -C1061 -C1060 -C1059 -C1058 -C1057 -C1056 C1055 -C1054 -C1053 -C1052 -C1051 -C1050 -C1049 -C1048 -C1047 -C1046 -C1045 -C1044 -C1043 -C1042 -C1041 -C1040 -C1039 -C1038 -C1037 -C1036 -C1035 -C1034 -C1033 -C1032 -C1031 -C1030 -C1029 -C1028 -C1027 -C1026 -C1025 -C1024 -C1023 -C1022 -C1021 C1020 -C1019 -C1018 -C1017 -C1016 -C1015 -C1014 -C1013 -C1012 -C1011 -C1010 -C1009 -C1008 C1007 -C1006 -C1005 -C1004 -C1003 -C1002 -C1001 -C1000 -C999 -C998 -C997 -C996 -C995 -C994 -C993 -C992 -C991 -C990 -C989 -C988 -C987 -C986 -C985 -C984 -C983 -C982 -C981 -C980 -C979 -C978 -C977 -C976 -C975 -C974 -C973 -C972 -C971 -C970 -C969 -C968 -C967 -C966 -C965 -C964 -C963 C962 -C961 -C960 -C959 -C958 -C957 -C956 -C955 -C954 -C953 -C952 -C951 -C950 -C949 -C948 -C947 -C946 C945 -C944 -C943 -C942 -C941 -C940 -C939 -C938 -C937 -C936 -C935 -C934 -C933 -C932 -C931 -C930 -C929 -C928 -C927 -C926 -C925 -C924 -C923 C922 -C921 -C920 -C919 -C918 -C917 -C916 -C915 -C914 -C913 -C912 -C911 -C910 C909 -C908 -C907 -C906 -C905 -C904 -C903 -C902 -C901 -C900 -C899 -C898 -C897 -C896 -C895 -C894 -C893 -C892 -C891 -C890 -C889 -C888 -C887 -C886 -C885 -C884 -C883 -C882 -C881 -C880 -C879 -C878 -C877 -C876 -C875 -C874 -C873 -C872 -C871 -C870 -C869 -C868 -C867 -C866 -C865 -C864 -C863 -C862 -C861 -C860 -C859 -C858 -C857 -C856 -C855 C854 -C853 -C852 -C851 -C850 -C849 -C848 -C847 -C846 -C845 -C844 -C843 -C842 -C841 -C840 -C839 -C838 -C837 C836 -C835 -C834 -C833 -C832 -C831 -C830 -C829 -C828 -C827 -C826 -C825 -C824 -C823 -C822 -C821 -C820 -C819 -C818 -C817 -C816 -C815 -C814 -C813 -C812 -C811 -C810 -C809 -C808 -C807 -C806 -C805 -C804 -C803 -C802 -C801 -C800 -C799 -C798 -C797 -C796 -C795 C794 -C793 -C792 -C791 -C790 -C789 -C788 -C787 -C786 -C785 -C784 C783 -C782 -C781 -C780 -C779 -C778 -C777 -C776 -C775 -C774 -C773 -C772 -C771 -C770 -C769 -C768 -C767 -C766 -C765 -C764 -C763 -C762 -C761 -C760 -C759 -C758 -C757 -C756 -C755 -C754 -C753 -C752 -C751 -C750 -C749 -C748 -C747 -C746 -C745 -C744 -C743 -C742 -C741 -C740 -C739 -C738 -C737 -C736 -C735 -C734 -C733 -C732 -C731 -C730 -C729 -C728 -C727 -C726 C725 -C724 -C723 -C722 -C721 -C720 -C719 -C718 -C717 C716 -C715 -C714 -C713 -C712 -C711 -C710 -C709 -C708 -C707 -C706 -C705 -C704 -C703 -C702 -C701 -C700 -C699 -C698 -C697 -C696 -C695 -C694 -C693 -C692 -C691 -C690 -C689 C688 -C687 -C686 -C685 -C684 -C683 -C682 -C681 -C680 -C679 -C678 -C677 -C676 -C675 -C674 -C673 -C672 -C671 -C670 -C669 -C668 -C667 -C666 -C665 -C664 -C663 -C662 -C661 -C660 C659 -C658 -C657 -C656 -C655 -C654 -C653 -C652 -C651 -C650 -C649 C648 -C647 -C646 -C645 -C644 -C643 -C642 -C641 -C640 -C639 -C#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.96 0.91 2/54 1234
Raw data (stat): 1234 (runsolver) R 1233 27222 27221 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 481171749 1052672 99 4294967295 134512640 135381576 3221224448 3221219692 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.0006 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 1234
Raw data (stat): 1234 (minisat+) R 1233 27222 27221 0 -1 0 5634 0 0 0 983 15 0 0 25 0 1 0 481171749 26046464 5612 4294967295 134512640 134672761 3221224560 3221223732 134556598 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6359 5612 603 41 0 6318 0
vsize: 25436
[startup+20.0009 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 1234
Raw data (stat): 1234 (minisat+) R 1233 27222 27221 0 -1 0 5642 0 0 0 1983 15 0 0 25 0 1 0 481171749 26181632 5620 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 6392 5620 603 41 0 6351 0
vsize: 25568
[startup+30.0014 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 1234
Raw data (stat): 1234 (minisat+) R 1233 27222 27221 0 -1 0 5649 0 0 0 2983 15 0 0 25 0 1 0 481171749 26181632 5627 4294967295 134512640 134672761 3221224560 3221223728 134560830 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 6392 5627 603 41 0 6351 0
vsize: 25568
[startup+40.001 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 1234
Raw data (stat): 1234 (minisat+) R 1233 27222 27221 0 -1 0 5658 0 0 0 3982 16 0 0 25 0 1 0 481171749 26181632 5636 4294967295 134512640 134672761 3221224560 3221223732 134556598 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 6392 5636 603 41 0 6351 0
vsize: 25568
[startup+50.0025 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 1234
Raw data (stat): 1234 (minisat+) R 1233 27222 27221 0 -1 0 5665 0 0 0 4982 16 0 0 25 0 1 0 481171749 26181632 5643 4294967295 134512640 134672761 3221224560 3221223732 134556598 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 6392 5643 603 41 0 6351 0
vsize: 25568
[startup+60.0026 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 1234
Raw data (stat): 1234 (minisat+) R 1233 27222 27221 0 -1 0 5815 0 0 0 5982 17 0 0 25 0 1 0 481171749 27197440 5793 4294967295 134512640 134672761 3221224560 3221223860 134556598 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 6640 5793 603 41 0 6599 0
vsize: 26560
[startup+70.0024 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 1234
Raw data (stat): 1234 (minisat+) R 1233 27222 27221 0 -1 0 5815 0 0 0 6981 17 0 0 25 0 1 0 481171749 27197440 5793 4294967295 134512640 134672761 3221224560 3221223732 134556602 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 6640 5793 603 41 0 6599 0
vsize: 26560
[startup+80.0035 s]
Raw data (loadavg): 0.98 0.96 0.91 3/57 1275
Raw data (stat): 1234 (minisat+) R 1233 27222 27221 0 -1 0 5815 0 0 0 7976 22 0 0 25 0 1 0 481171749 27197440 5793 4294967295 134512640 134672761 3221224560 3221223732 134556598 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6640 5793 603 41 0 6599 0
vsize: 26560
[startup+90.0032 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 1290
Raw data (stat): 1234 (minisat+) R 1233 27222 27221 0 -1 0 5815 0 0 0 8976 22 0 0 25 0 1 0 481171749 27197440 5793 4294967295 134512640 134672761 3221224560 3221223732 134556598 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6640 5793 603 41 0 6599 0
vsize: 26560
[startup+100.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 1290
Raw data (stat): 1234 (minisat+) R 1233 27222 27221 0 -1 0 5815 0 0 0 9976 22 0 0 25 0 1 0 481171749 27197440 5793 4294967295 134512640 134672761 3221224560 3221223732 134556653 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6640 5793 603 41 0 6599 0
vsize: 26560
[startup+110.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 1290
Raw data (stat): 1234 (minisat+) R 1233 27222 27221 0 -1 0 5819 0 0 0 10976 22 0 0 25 0 1 0 481171749 27197440 5797 4294967295 134512640 134672761 3221224560 3221223732 134556596 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6640 5797 603 41 0 6599 0
vsize: 26560
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1290
Raw data (stat): 1234 (minisat+) R 1233 27222 27221 0 -1 0 6015 0 0 0 11975 24 0 0 25 0 1 0 481171749 28008448 5993 4294967295 134512640 134672761 3221224560 3221223732 134556598 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6838 5993 603 41 0 6797 0
vsize: 27352
[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1290
Raw data (stat): 1234 (minisat+) R 1233 27222 27221 0 -1 0 6459 0 0 0 12974 25 0 0 25 0 1 0 481171749 29847552 6437 4294967295 134512640 134672761 3221224560 3221223732 134556643 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7287 6437 603 41 0 7246 0
vsize: 29148
[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1290
Raw data (stat): 1234 (minisat+) R 1233 27222 27221 0 -1 0 6831 0 0 0 13973 26 0 0 25 0 1 0 481171749 31383552 6809 4294967295 134512640 134672761 3221224560 3221223728 134561003 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7662 6809 603 41 0 7621 0
vsize: 30648
[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1292
Raw data (stat): 1234 (minisat+) R 1233 27222 27221 0 -1 0 7302 0 0 0 14972 28 0 0 25 0 1 0 481171749 33271808 7280 4294967295 134512640 134672761 3221224560 3221223712 134561249 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 8123 7280 603 41 0 8082 0
vsize: 32492
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1292
Raw data (stat): 1234 (minisat+) R 1233 27222 27221 0 -1 0 7779 0 0 0 15970 29 0 0 25 0 1 0 481171749 35405824 7757 4294967295 134512640 134672761 3221224560 3221223712 134561244 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 8644 7757 603 41 0 8603 0
vsize: 34576
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1292
Raw data (stat): 1234 (minisat+) R 1233 27222 27221 0 -1 0 8357 0 0 0 16969 31 0 0 25 0 1 0 481171749 37687296 8335 4294967295 134512640 134672761 3221224560 3221223728 134560874 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 9201 8335 603 41 0 9160 0
vsize: 36804
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1292
Raw data (stat): 1234 (minisat+) R 1233 27222 27221 0 -1 0 8883 0 0 0 17968 32 0 0 25 0 1 0 481171749 39821312 8861 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 9722 8861 603 41 0 9681 0
vsize: 38888
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1292
Raw data (stat): 1234 (minisat+) R 1233 27222 27221 0 -1 0 9249 0 0 0 18967 33 0 0 25 0 1 0 481171749 41377792 9227 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 10102 9227 603 41 0 10061 0
vsize: 40408
[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1292
Raw data (stat): 1234 (minisat+) R 1233 27222 27221 0 -1 0 9789 0 0 0 19966 34 0 0 25 0 1 0 481171749 43524096 9767 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 10626 9767 603 41 0 10585 0
vsize: 42504
[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1292
Raw data (stat): 1234 (minisat+) R 1233 27222 27221 0 -1 0 10187 0 0 0 20965 36 0 0 25 0 1 0 481171749 45137920 10165 4294967295 134512640 134672761 3221224560 3221223760 134557842 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11020 10165 603 41 0 10979 0
vsize: 44080
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1292
Raw data (stat): 1234 (minisat+) R 1233 27222 27221 0 -1 0 10697 0 0 0 21964 37 0 0 25 0 1 0 481171749 47284224 10675 4294967295 134512640 134672761 3221224560 3221223728 134560830 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11544 10675 603 41 0 11503 0
vsize: 46176
[startup+230.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1292
Raw data (stat): 1234 (minisat+) R 1233 27222 27221 0 -1 0 11076 0 0 0 22963 38 0 0 25 0 1 0 481171749 48758784 11054 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11904 11054 603 41 0 11863 0
vsize: 47616
[startup+240.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1292
Raw data (stat): 1234 (minisat+) R 1233 27222 27221 0 -1 0 11489 0 0 0 23962 39 0 0 25 0 1 0 481171749 50479104 11467 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 12324 11467 603 41 0 12283 0
vsize: 49296
[startup+250.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1292
Raw data (stat): 1234 (minisat+) R 1233 27222 27221 0 -1 0 11863 0 0 0 24961 40 0 0 25 0 1 0 481171749 51953664 11841 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 12684 11841 603 41 0 12643 0
vsize: 50736
[startup+260.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1292
Raw data (stat): 1234 (minisat+) R 1233 27222 27221 0 -1 0 12251 0 0 0 25961 41 0 0 25 0 1 0 481171749 53833728 12229 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 13143 12229 603 41 0 13102 0
vsize: 52572
[startup+270.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1292
Raw data (stat): 1234 (minisat+) R 1233 27222 27221 0 -1 0 12633 0 0 0 26959 42 0 0 25 0 1 0 481171749 55431168 12611 4294967295 134512640 134672761 3221224560 3221223728 134561229 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 13533 12611 603 41 0 13492 0
vsize: 54132
[startup+280.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1292
Raw data (stat): 1234 (minisat+) R 1233 27222 27221 0 -1 0 12953 0 0 0 27959 43 0 0 25 0 1 0 481171749 56627200 12931 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 13825 12931 603 41 0 13784 0
vsize: 55300
[startup+290.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1292
Raw data (stat): 1234 (minisat+) R 1233 27222 27221 0 -1 0 13233 0 0 0 28958 44 0 0 25 0 1 0 481171749 57819136 13211 4294967295 134512640 134672761 3221224560 3221223728 134560830 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 14116 13211 603 41 0 14075 0
vsize: 56464
[startup+300.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1292
Raw data (stat): 1234 (minisat+) R 1233 27222 27221 0 -1 0 13506 0 0 0 29957 45 0 0 25 0 1 0 481171749 59002880 13484 4294967295 134512640 134672761 3221224560 3221223744 134559340 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 14405 13484 603 41 0 14364 0
vsize: 57620
[startup+310.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1292
Raw data (stat): 1234 (minisat+) R 1233 27222 27221 0 -1 0 13776 0 0 0 30956 46 0 0 25 0 1 0 481171749 60059648 13754 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 14663 13754 603 41 0 14622 0
vsize: 58652
[startup+320.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1292
Raw data (stat): 1234 (minisat+) R 1233 27222 27221 0 -1 0 14116 0 0 0 31956 47 0 0 25 0 1 0 481171749 61394944 14094 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 14989 14094 603 41 0 14948 0
vsize: 59956
[startup+330.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1292
Raw data (stat): 1234 (minisat+) R 1233 27222 27221 0 -1 0 14396 0 0 0 32955 48 0 0 25 0 1 0 481171749 62586880 14374 4294967295 134512640 134672761 3221224560 3221223728 134560830 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 15280 14374 603 41 0 15239 0
vsize: 61120
[startup+340.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1292
Raw data (stat): 1234 (minisat+) R 1233 27222 27221 0 -1 0 14746 0 0 0 33954 49 0 0 25 0 1 0 481171749 63934464 14724 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 15609 14724 603 41 0 15568 0
vsize: 62436
[startup+350.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1292
Raw data (stat): 1234 (minisat+) R 1233 27222 27221 0 -1 0 15076 0 0 0 34953 50 0 0 25 0 1 0 481171749 65265664 15054 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 15934 15054 603 41 0 15893 0
vsize: 63736
[startup+360.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1292
Raw data (stat): 1234 (minisat+) R 1233 27222 27221 0 -1 0 15222 0 0 0 35953 50 0 0 25 0 1 0 481171749 65871872 15200 4294967295 134512640 134672761 3221224560 3221223696 134560688 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16082 15200 603 41 0 16041 0
vsize: 64328
[startup+370.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1292
Raw data (stat): 1234 (minisat+) R 1233 27222 27221 0 -1 0 15222 0 0 0 36953 50 0 0 25 0 1 0 481171749 65871872 15200 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16082 15200 603 41 0 16041 0
vsize: 64328
[startup+380.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1292
Raw data (stat): 1234 (minisat+) R 1233 27222 27221 0 -1 0 15222 0 0 0 37954 50 0 0 25 0 1 0 481171749 65871872 15200 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16082 15200 603 41 0 16041 0
vsize: 64328
[startup+390.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1292
Raw data (stat): 1234 (minisat+) R 1233 27222 27221 0 -1 0 15222 0 0 0 38954 50 0 0 25 0 1 0 481171749 65871872 15200 4294967295 134512640 134672761 3221224560 3221223728 134560830 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16082 15200 603 41 0 16041 0
vsize: 64328
[startup+400.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1292
Raw data (stat): 1234 (minisat+) R 1233 27222 27221 0 -1 0 15222 0 0 0 39954 50 0 0 25 0 1 0 481171749 65871872 15200 4294967295 134512640 134672761 3221224560 3221223732 134556643 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16082 15200 603 41 0 16041 0
vsize: 64328
[startup+410.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1292
Raw data (stat): 1234 (minisat+) R 1233 27222 27221 0 -1 0 15222 0 0 0 40954 50 0 0 25 0 1 0 481171749 65871872 15200 4294967295 134512640 134672761 3221224560 3221223728 134560830 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16082 15200 603 41 0 16041 0
vsize: 64328
[startup+420.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1292
Raw data (stat): 1234 (minisat+) R 1233 27222 27221 0 -1 0 15222 0 0 0 41954 50 0 0 25 0 1 0 481171749 65871872 15200 4294967295 134512640 134672761 3221224560 3221223728 134561154 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16082 15200 603 41 0 16041 0
vsize: 64328
[startup+430.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1294
Raw data (stat): 1234 (minisat+) R 1233 27222 27221 0 -1 0 15222 0 0 0 42955 50 0 0 25 0 1 0 481171749 65871872 15200 4294967295 134512640 134672761 3221224560 3221223728 134561151 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16082 15200 603 41 0 16041 0
vsize: 64328
[startup+440.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1294
Raw data (stat): 1234 (minisat+) R 1233 27222 27221 0 -1 0 15222 0 0 0 43955 50 0 0 25 0 1 0 481171749 65871872 15200 4294967295 134512640 134672761 3221224560 3221223664 134559872 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16082 15200 603 41 0 16041 0
vsize: 64328
[startup+450.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1294
Raw data (stat): 1234 (minisat+) R 1233 27222 27221 0 -1 0 15222 0 0 0 44955 50 0 0 25 0 1 0 481171749 65871872 15200 4294967295 134512640 134672761 3221224560 3221223728 134561229 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16082 15200 603 41 0 16041 0
vsize: 64328
[startup+460.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1294
Raw data (stat): 1234 (minisat+) R 1233 27222 27221 0 -1 0 15222 0 0 0 45955 50 0 0 25 0 1 0 481171749 65871872 15200 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16082 15200 603 41 0 16041 0
vsize: 64328
[startup+470.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1294
Raw data (stat): 1234 (minisat+) R 1233 27222 27221 0 -1 0 15222 0 0 0 46955 50 0 0 25 0 1 0 481171749 65871872 15200 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16082 15200 603 41 0 16041 0
vsize: 64328
[startup+480.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1294
Raw data (stat): 1234 (minisat+) R 1233 27222 27221 0 -1 0 15222 0 0 0 47955 50 0 0 25 0 1 0 481171749 65871872 15200 4294967295 134512640 134672761 3221224560 3221223664 134560196 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16082 15200 603 41 0 16041 0
vsize: 64328
[startup+490.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1294
Raw data (stat): 1234 (minisat+) R 1233 27222 27221 0 -1 0 15222 0 0 0 48956 50 0 0 25 0 1 0 481171749 65871872 15200 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16082 15200 603 41 0 16041 0
vsize: 64328
[startup+500.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1294
Raw data (stat): 1234 (minisat+) R 1233 27222 27221 0 -1 0 15222 0 0 0 49956 50 0 0 25 0 1 0 481171749 65871872 15200 4294967295 134512640 134672761 3221224560 3221223728 134564457 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16082 15200 603 41 0 16041 0
vsize: 64328
[startup+510.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1294
Raw data (stat): 1234 (minisat+) R 1233 27222 27221 0 -1 0 15222 0 0 0 50956 50 0 0 25 0 1 0 481171749 65871872 15200 4294967295 134512640 134672761 3221224560 3221223728 134564729 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16082 15200 603 41 0 16041 0
vsize: 64328
[startup+520.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1294
Raw data (stat): 1234 (minisat+) R 1233 27222 27221 0 -1 0 15222 0 0 0 51956 50 0 0 25 0 1 0 481171749 65871872 15200 4294967295 134512640 134672761 3221224560 3221223664 134560289 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16082 15200 603 41 0 16041 0
vsize: 64328
[startup+530.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1294
Raw data (stat): 1234 (minisat+) R 1233 27222 27221 0 -1 0 15222 0 0 0 52956 50 0 0 25 0 1 0 481171749 65871872 15200 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16082 15200 603 41 0 16041 0
vsize: 64328
[startup+540.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1294
Raw data (stat): 1234 (minisat+) R 1233 27222 27221 0 -1 0 15222 0 0 0 53957 50 0 0 25 0 1 0 481171749 65871872 15200 4294967295 134512640 134672761 3221224560 3221223728 134560858 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16082 15200 603 41 0 16041 0
vsize: 64328
[startup+550.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1294
Raw data (stat): 1234 (minisat+) R 1233 27222 27221 0 -1 0 15222 0 0 0 54957 50 0 0 25 0 1 0 481171749 65871872 15200 4294967295 134512640 134672761 3221224560 3221223664 134560243 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16082 15200 603 41 0 16041 0
vsize: 64328
[startup+560.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1294
Raw data (stat): 1234 (minisat+) R 1233 27222 27221 0 -1 0 15241 0 0 0 55957 50 0 0 25 0 1 0 481171749 66002944 15219 4294967295 134512640 134672761 3221224560 3221223728 134560858 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16114 15219 603 41 0 16073 0
vsize: 64456
[startup+570.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1294
Raw data (stat): 1234 (minisat+) R 1233 27222 27221 0 -1 0 15571 0 0 0 56956 51 0 0 25 0 1 0 481171749 67325952 15549 4294967295 134512640 134672761 3221224560 3221223728 134561218 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16437 15549 603 41 0 16396 0
vsize: 65748
[startup+580.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1294
Raw data (stat): 1234 (minisat+) R 1233 27222 27221 0 -1 0 15715 0 0 0 57956 51 0 0 25 0 1 0 481171749 67862528 15693 4294967295 134512640 134672761 3221224560 3221223696 134560718 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16568 15693 603 41 0 16527 0
vsize: 66272
[startup+590.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1294
Raw data (stat): 1234 (minisat+) R 1233 27222 27221 0 -1 0 15715 0 0 0 58956 51 0 0 25 0 1 0 481171749 67862528 15693 4294967295 134512640 134672761 3221224560 3221223696 134560640 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16568 15693 603 41 0 16527 0
vsize: 66272
[startup+600.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1294
Raw data (stat): 1234 (minisat+) R 1233 27222 27221 0 -1 0 15715 0 0 0 59956 51 0 0 25 0 1 0 481171749 67862528 15693 4294967295 134512640 134672761 3221224560 3221223728 134560871 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16568 15693 603 41 0 16527 0
vsize: 66272
[startup+610.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1294
Raw data (stat): 1234 (minisat+) R 1233 27222 27221 0 -1 0 15715 0 0 0 60956 51 0 0 25 0 1 0 481171749 67862528 15693 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16568 15693 603 41 0 16527 0
vsize: 66272
[startup+620.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1294
Raw data (stat): 1234 (minisat+) R 1233 27222 27221 0 -1 0 15715 0 0 0 61956 51 0 0 25 0 1 0 481171749 67862528 15693 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16568 15693 603 41 0 16527 0
vsize: 66272
[startup+630.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1294
Raw data (stat): 1234 (minisat+) R 1233 27222 27221 0 -1 0 15715 0 0 0 62957 51 0 0 25 0 1 0 481171749 67862528 15693 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16568 15693 603 41 0 16527 0
vsize: 66272
[startup+640.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1294
Raw data (stat): 1234 (minisat+) R 1233 27222 27221 0 -1 0 15715 0 0 0 63957 51 0 0 25 0 1 0 481171749 67862528 15693 4294967295 134512640 134672761 3221224560 3221223728 134560999 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16568 15693 603 41 0 16527 0
vsize: 66272
[startup+650.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1294
Raw data (stat): 1234 (minisat+) R 1233 27222 27221 0 -1 0 15715 0 0 0 64957 51 0 0 25 0 1 0 481171749 67862528 15693 4294967295 134512640 134672761 3221224560 3221223728 134560996 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16568 15693 603 41 0 16527 0
vsize: 66272
[startup+660.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1294
Raw data (stat): 1234 (minisat+) R 1233 27222 27221 0 -1 0 15715 0 0 0 65957 51 0 0 25 0 1 0 481171749 67862528 15693 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16568 15693 603 41 0 16527 0
vsize: 66272
[startup+670.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1294
Raw data (stat): 1234 (minisat+) R 1233 27222 27221 0 -1 0 15715 0 0 0 66957 52 0 0 25 0 1 0 481171749 67862528 15693 4294967295 134512640 134672761 3221224560 3221223696 134560688 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16568 15693 603 41 0 16527 0
vsize: 66272
[startup+680.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1294
Raw data (stat): 1234 (minisat+) R 1233 27222 27221 0 -1 0 15715 0 0 0 67957 52 0 0 25 0 1 0 481171749 67862528 15693 4294967295 134512640 134672761 3221224560 3221223664 134559805 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16568 15693 603 41 0 16527 0
vsize: 66272
[startup+690.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1294
Raw data (stat): 1234 (minisat+) R 1233 27222 27221 0 -1 0 15715 0 0 0 68958 52 0 0 25 0 1 0 481171749 67862528 15693 4294967295 134512640 134672761 3221224560 3221223696 134560557 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16568 15693 603 41 0 16527 0
vsize: 66272
[startup+700.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1294
Raw data (stat): 1234 (minisat+) R 1233 27222 27221 0 -1 0 15715 0 0 0 69958 52 0 0 25 0 1 0 481171749 67862528 15693 4294967295 134512640 134672761 3221224560 3221223760 134557895 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16568 15693 603 41 0 16527 0
vsize: 66272
[startup+710.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1294
Raw data (stat): 1234 (minisat+) R 1233 27222 27221 0 -1 0 15715 0 0 0 70958 52 0 0 25 0 1 0 481171749 67862528 15693 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16568 15693 603 41 0 16527 0
vsize: 66272
[startup+720.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1294
Raw data (stat): 1234 (minisat+) R 1233 27222 27221 0 -1 0 15715 0 0 0 71958 52 0 0 25 0 1 0 481171749 67862528 15693 4294967295 134512640 134672761 3221224560 3221223728 134561118 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16568 15693 603 41 0 16527 0
vsize: 66272
[startup+730.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1294
Raw data (stat): 1234 (minisat+) R 1233 27222 27221 0 -1 0 15715 0 0 0 72958 52 0 0 25 0 1 0 481171749 67862528 15693 4294967295 134512640 134672761 3221224560 3221223728 134561275 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16568 15693 603 41 0 16527 0
vsize: 66272
[startup+740.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1294
Raw data (stat): 1234 (minisat+) R 1233 27222 27221 0 -1 0 15715 0 0 0 73959 52 0 0 25 0 1 0 481171749 67862528 15693 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16568 15693 603 41 0 16527 0
vsize: 66272
[startup+750.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1294
Raw data (stat): 1234 (minisat+) R 1233 27222 27221 0 -1 0 15715 0 0 0 74959 52 0 0 25 0 1 0 481171749 67862528 15693 4294967295 134512640 134672761 3221224560 3221223728 134561156 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16568 15693 603 41 0 16527 0
vsize: 66272
[startup+760.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1294
Raw data (stat): 1234 (minisat+) R 1233 27222 27221 0 -1 0 15715 0 0 0 75959 52 0 0 25 0 1 0 481171749 67862528 15693 4294967295 134512640 134672761 3221224560 3221223696 134560686 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16568 15693 603 41 0 16527 0
vsize: 66272
[startup+770.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1294
Raw data (stat): 1234 (minisat+) R 1233 27222 27221 0 -1 0 15715 0 0 0 76959 52 0 0 25 0 1 0 481171749 67862528 15693 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16568 15693 603 41 0 16527 0
vsize: 66272
[startup+780.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1294
Raw data (stat): 1234 (minisat+) R 1233 27222 27221 0 -1 0 15715 0 0 0 77959 52 0 0 25 0 1 0 481171749 67862528 15693 4294967295 134512640 134672761 3221224560 3221223744 134558662 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16568 15693 603 41 0 16527 0
vsize: 66272
[startup+790.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1294
Raw data (stat): 1234 (minisat+) R 1233 27222 27221 0 -1 0 15716 0 0 0 78959 52 0 0 25 0 1 0 481171749 67862528 15694 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16568 15694 603 41 0 16527 0
vsize: 66272
[startup+800.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1294
Raw data (stat): 1234 (minisat+) R 1233 27222 27221 0 -1 0 16010 0 0 0 79959 53 0 0 25 0 1 0 481171749 69058560 15988 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16860 15988 603 41 0 16819 0
vsize: 67440
[startup+810.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1294
Raw data (stat): 1234 (minisat+) R 1233 27222 27221 0 -1 0 16336 0 0 0 80958 54 0 0 25 0 1 0 481171749 70397952 16314 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 17187 16314 603 41 0 17146 0
vsize: 68748
[startup+820.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1294
Raw data (stat): 1234 (minisat+) R 1233 27222 27221 0 -1 0 16672 0 0 0 81957 55 0 0 25 0 1 0 481171749 71864320 16650 4294967295 134512640 134672761 3221224560 3221223728 134560903 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 17545 16650 603 41 0 17504 0
vsize: 70180
[startup+830.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1294
Raw data (stat): 1234 (minisat+) R 1233 27222 27221 0 -1 0 16996 0 0 0 82956 56 0 0 25 0 1 0 481171749 73064448 16974 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 17838 16974 603 41 0 17797 0
vsize: 71352
[startup+840.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1294
Raw data (stat): 1234 (minisat+) R 1233 27222 27221 0 -1 0 17283 0 0 0 83955 57 0 0 25 0 1 0 481171749 74268672 17261 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18132 17261 603 41 0 18091 0
vsize: 72528
[startup+850.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1294
Raw data (stat): 1234 (minisat+) R 1233 27222 27221 0 -1 0 17555 0 0 0 84954 58 0 0 25 0 1 0 481171749 75329536 17533 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18391 17533 603 41 0 18350 0
vsize: 73564
[startup+860.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1294
Raw data (stat): 1234 (minisat+) R 1233 27222 27221 0 -1 0 17788 0 0 0 85953 59 0 0 25 0 1 0 481171749 76378112 17766 4294967295 134512640 134672761 3221224560 3221223728 134561229 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18647 17766 603 41 0 18606 0
vsize: 74588
[startup+870.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1294
Raw data (stat): 1234 (minisat+) R 1233 27222 27221 0 -1 0 18012 0 0 0 86952 60 0 0 25 0 1 0 481171749 77307904 17990 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18874 17990 603 41 0 18833 0
vsize: 75496
[startup+880.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1294
Raw data (stat): 1234 (minisat+) R 1233 27222 27221 0 -1 0 18226 0 0 0 87951 61 0 0 25 0 1 0 481171749 78106624 18204 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 19069 18204 603 41 0 19028 0
vsize: 76276
[startup+890.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1294
Raw data (stat): 1234 (minisat+) R 1233 27222 27221 0 -1 0 18429 0 0 0 88951 62 0 0 25 0 1 0 481171749 78897152 18407 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 19262 18407 603 41 0 19221 0
vsize: 77048
[startup+900.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1294
Raw data (stat): 1234 (minisat+) R 1233 27222 27221 0 -1 0 18635 0 0 0 89950 62 0 0 25 0 1 0 481171749 79847424 18613 4294967295 134512640 134672761 3221224560 3221223728 134560892 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 19494 18613 603 41 0 19453 0
vsize: 77976
[startup+910.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1294
Raw data (stat): 1234 (minisat+) R 1233 27222 27221 0 -1 0 18829 0 0 0 90950 63 0 0 25 0 1 0 481171749 80646144 18807 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 19689 18807 603 41 0 19648 0
vsize: 78756
[startup+920.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1294
Raw data (stat): 1234 (minisat+) R 1233 27222 27221 0 -1 0 18996 0 0 0 91949 64 0 0 25 0 1 0 481171749 81301504 18974 4294967295 134512640 134672761 3221224560 3221223728 134560937 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 19849 18974 603 41 0 19808 0
vsize: 79396
[startup+930.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1294
Raw data (stat): 1234 (minisat+) R 1233 27222 27221 0 -1 0 19189 0 0 0 92948 65 0 0 25 0 1 0 481171749 82096128 19167 4294967295 134512640 134672761 3221224560 3221223728 134561164 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 20043 19167 603 41 0 20002 0
vsize: 80172
[startup+940.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1294
Raw data (stat): 1234 (minisat+) R 1233 27222 27221 0 -1 0 19395 0 0 0 93947 66 0 0 25 0 1 0 481171749 83419136 19373 4294967295 134512640 134672761 3221224560 3221223724 134561235 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 20366 19373 603 41 0 20325 0
vsize: 81464
[startup+950.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1294
Raw data (stat): 1234 (minisat+) R 1233 27222 27221 0 -1 0 19568 0 0 0 94947 67 0 0 25 0 1 0 481171749 84078592 19546 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 20527 19546 603 41 0 20486 0
vsize: 82108
[startup+960.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1294
Raw data (stat): 1234 (minisat+) R 1233 27222 27221 0 -1 0 19733 0 0 0 95946 67 0 0 25 0 1 0 481171749 84738048 19711 4294967295 134512640 134672761 3221224560 3221223728 134561167 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 20688 19711 603 41 0 20647 0
vsize: 82752
[startup+970.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1294
Raw data (stat): 1234 (minisat+) R 1233 27222 27221 0 -1 0 19901 0 0 0 96946 68 0 0 25 0 1 0 481171749 85401600 19879 4294967295 134512640 134672761 3221224560 3221223728 134561121 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 20850 19879 603 41 0 20809 0
vsize: 83400
[startup+980.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1294
Raw data (stat): 1234 (minisat+) R 1233 27222 27221 0 -1 0 20041 0 0 0 97945 68 0 0 25 0 1 0 481171749 86061056 20019 4294967295 134512640 134672761 3221224560 3221223728 134560999 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21011 20019 603 41 0 20970 0
vsize: 84044
[startup+990.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1294
Raw data (stat): 1234 (minisat+) R 1233 27222 27221 0 -1 0 20193 0 0 0 98945 69 0 0 25 0 1 0 481171749 86593536 20171 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21141 20171 603 41 0 21100 0
vsize: 84564
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1294
Raw data (stat): 1234 (minisat+) R 1233 27222 27221 0 -1 0 20339 0 0 0 99944 70 0 0 25 0 1 0 481171749 87252992 20317 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21302 20317 603 41 0 21261 0
vsize: 85208
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1294
Raw data (stat): 1234 (minisat+) R 1233 27222 27221 0 -1 0 20471 0 0 0 100944 70 0 0 25 0 1 0 481171749 87785472 20449 4294967295 134512640 134672761 3221224560 3221223664 134560191 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21432 20449 603 41 0 21391 0
vsize: 85728
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1294
Raw data (stat): 1234 (minisat+) R 1233 27222 27221 0 -1 0 20598 0 0 0 101944 71 0 0 25 0 1 0 481171749 88309760 20576 4294967295 134512640 134672761 3221224560 3221223760 134557911 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21560 20576 603 41 0 21519 0
vsize: 86240
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1294
Raw data (stat): 1234 (minisat+) R 1233 27222 27221 0 -1 0 20712 0 0 0 102943 71 0 0 25 0 1 0 481171749 88707072 20690 4294967295 134512640 134672761 3221224560 3221223728 134561205 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21657 20690 603 41 0 21616 0
vsize: 86628
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1294
Raw data (stat): 1234 (minisat+) R 1233 27222 27221 0 -1 0 20832 0 0 0 103943 72 0 0 25 0 1 0 481171749 89239552 20810 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21787 20810 603 41 0 21746 0
vsize: 87148
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1294
Raw data (stat): 1234 (minisat+) R 1233 27222 27221 0 -1 0 20937 0 0 0 104942 73 0 0 25 0 1 0 481171749 89632768 20915 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21883 20915 603 41 0 21842 0
vsize: 87532
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1294
Raw data (stat): 1234 (minisat+) R 1233 27222 27221 0 -1 0 21040 0 0 0 105941 73 0 0 25 0 1 0 481171749 90025984 21018 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21979 21018 603 41 0 21938 0
vsize: 87916
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1294
Raw data (stat): 1234 (minisat+) R 1233 27222 27221 0 -1 0 21175 0 0 0 106941 74 0 0 25 0 1 0 481171749 90578944 21153 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 22114 21153 603 41 0 22073 0
vsize: 88456
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1294
Raw data (stat): 1234 (minisat+) R 1233 27222 27221 0 -1 0 21367 0 0 0 107940 75 0 0 25 0 1 0 481171749 91377664 21345 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 22309 21345 603 41 0 22268 0
vsize: 89236
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1294
Raw data (stat): 1234 (minisat+) R 1233 27222 27221 0 -1 0 21551 0 0 0 108939 76 0 0 25 0 1 0 481171749 92176384 21529 4294967295 134512640 134672761 3221224560 3221223664 134560352 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 22504 21529 603 41 0 22463 0
vsize: 90016
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1294
Raw data (stat): 1234 (minisat+) R 1233 27222 27221 0 -1 0 21750 0 0 0 109939 77 0 0 25 0 1 0 481171749 92971008 21728 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 22698 21728 603 41 0 22657 0
vsize: 90792
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1294
Raw data (stat): 1234 (minisat+) R 1233 27222 27221 0 -1 0 21916 0 0 0 110938 78 0 0 25 0 1 0 481171749 93630464 21894 4294967295 134512640 134672761 3221224560 3221223696 134560706 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 22859 21894 603 41 0 22818 0
vsize: 91436
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1294
Raw data (stat): 1234 (minisat+) R 1233 27222 27221 0 -1 0 22102 0 0 0 111937 79 0 0 25 0 1 0 481171749 94429184 22080 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 23054 22080 603 41 0 23013 0
vsize: 92216
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1294
Raw data (stat): 1234 (minisat+) R 1233 27222 27221 0 -1 0 22286 0 0 0 112936 79 0 0 25 0 1 0 481171749 95100928 22264 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 23218 22264 603 41 0 23177 0
vsize: 92872
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1294
Raw data (stat): 1234 (minisat+) R 1233 27222 27221 0 -1 0 22490 0 0 0 113936 80 0 0 25 0 1 0 481171749 95924224 22468 4294967295 134512640 134672761 3221224560 3221223728 134561151 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 23419 22468 603 41 0 23378 0
vsize: 93676
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1294
Raw data (stat): 1234 (minisat+) R 1233 27222 27221 0 -1 0 22696 0 0 0 114934 81 0 0 25 0 1 0 481171749 96727040 22674 4294967295 134512640 134672761 3221224560 3221223728 134561201 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 23615 22674 603 41 0 23574 0
vsize: 94460
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1294
Raw data (stat): 1234 (minisat+) R 1233 27222 27221 0 -1 0 22886 0 0 0 115934 82 0 0 25 0 1 0 481171749 97521664 22864 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 23809 22864 603 41 0 23768 0
vsize: 95236
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1294
Raw data (stat): 1234 (minisat+) R 1233 27222 27221 0 -1 0 23078 0 0 0 116933 83 0 0 25 0 1 0 481171749 98312192 23056 4294967295 134512640 134672761 3221224560 3221223664 134559925 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24002 23056 603 41 0 23961 0
vsize: 96008
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1294
Raw data (stat): 1234 (minisat+) R 1233 27222 27221 0 -1 0 23243 0 0 0 117933 84 0 0 25 0 1 0 481171749 98979840 23221 4294967295 134512640 134672761 3221224560 3221223568 1075350277 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24165 23221 603 41 0 24124 0
vsize: 96660
[startup+1190.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1294
Raw data (stat): 1234 (minisat+) R 1233 27222 27221 0 -1 0 23422 0 0 0 118932 84 0 0 25 0 1 0 481171749 99766272 23400 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24357 23400 603 41 0 24316 0
vsize: 97428
[startup+1200.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1294
Raw data (stat): 1234 (minisat+) R 1233 27222 27221 0 -1 0 23604 0 0 0 119931 85 0 0 25 0 1 0 481171749 100564992 23582 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24552 23582 603 41 0 24511 0
vsize: 98208
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.09 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 1294
Raw data (stat): 1234 (minisat+) Z 1233 27222 27221 0 -1 12 23607 0 0 0 119931 90 0 0 25 0 1 0 481171749 0 0 4294967295 0 0 0 0 0 0 16384 5 16386 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 10
Real time (s): 1200.09
CPU time (s): 1200.22
CPU user time (s): 1199.31
CPU system time (s): 0.903862
CPU usage (%): 100.011
Max. virtual memory (Kb): 98208
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####