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

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc26 THE 2005-04-14 04:50:28 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=4854 boxname=wulflinc26 idbench=342 idsolver=13 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  b7f280d80b52f97899362fbc10d59421  /oldhome/oroussel/tmp/wulflinc26/normalized-frb53-24-4.opb
REAL COMMAND:  minisat+ -w /oldhome/oroussel/tmp/wulflinc26/normalized-frb53-24-4.opb /oldhome/oroussel/tmp/wulflinc26/normalized-frb53-24-4.opb
IDLAUNCH: 4854
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.061
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.061
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        809756 kB
Buffers:         35928 kB
Cached:         148324 kB
SwapCached:       2476 kB
Active:          69932 kB
Inactive:       119672 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        809504 kB
SwapTotal:     2097892 kB
SwapFree:      2095416 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6948 kB
Slab:            29608 kB
Committed_AS:    63612 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-14 05:10:30 (client local time) WITH STATUS 10 IN 1200.22 SECONDS
stats: 4854 7 1200.22 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Parsing PB file...
c Converting 94308 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 |   94308   188616 |   31436       0        0     nan |  0.000 % |
c ==============================================================================
c [1mFound solution: -35[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 |  245080   541355 |   81693       0        0     nan |  0.000 % |
c |       100 |  245057   541304 |   89862      99      555     5.6 |  0.014 % |
c |       251 |  243673   538152 |   98848     207     1078     5.2 |  0.802 % |
c |       476 |  241865   533996 |  108733     383     1988     5.2 |  1.889 % |
c |       813 |  236914   522606 |  119606     593     3435     5.8 |  4.860 % |
c |      1320 |  230843   508629 |  131567     962     5325     5.5 |  8.557 % |
c |      2079 |  222929   490435 |  144724    1527     9570     6.3 | 13.393 % |
c |      3218 |  210905   462714 |  159196    2313    15521     6.7 | 20.726 % |
c ==============================================================================
c [1mFound solution: -36[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 |      3954 |  196961   430476 |   65653    2664    18248     6.8 | 20.726 % |
c ==============================================================================
c [1mFound solution: -37[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 |      3956 |  197125   430922 |   65708    2666    18286     6.9 | 20.726 % |
c |      4057 |  197008   430649 |   72278    2763    19403     7.0 | 29.530 % |
c |      4207 |  196322   429063 |   79506    2906    20431     7.0 | 29.957 % |
c |      4432 |  191572   418023 |   87457    3024    21223     7.0 | 32.967 % |
c |      4769 |  187627   408863 |   96203    3191    23044     7.2 | 35.488 % |
c |      5275 |  182295   396477 |  105823    3540    27989     7.9 | 38.825 % |
c |      6034 |  173571   375967 |  116405    3934    31933     8.1 | 44.433 % |
c |      7173 |  164047   353636 |  128046    4582    40184     8.8 | 50.671 % |
c |      8882 |  148979   318385 |  140850    5256    47928     9.1 | 60.658 % |
c |     11444 |  130933   276085 |  154936    6159    64725    10.5 | 72.727 % |
c ==============================================================================
c [1mFound solution: -38[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 |     12775 |  123267   258048 |   41089    6496    67968    10.5 | 72.727 % |
c |     12878 |  122981   257374 |   45197    6541    68472    10.5 | 78.132 % |
c |     13028 |  122165   255455 |   49717    6595    69700    10.6 | 78.709 % |
c |     13253 |  120516   251568 |   54689    6552    69871    10.7 | 79.842 % |
c |     13591 |  119506   249199 |   60158    6762    72710    10.8 | 80.540 % |
c |     14097 |  118294   246340 |   66174    6993    75844    10.8 | 81.387 % |
c |     14856 |  114401   237169 |   72791    6894    72972    10.6 | 84.071 % |
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 |     15885 |  113259   234506 |   37753    7556    86151    11.4 | 84.071 % |
c |     15985 |  113259   234506 |   41528    7656    87080    11.4 | 84.916 % |
c |     16135 |  113105   234147 |   45681    7787    88022    11.3 | 85.017 % |
c |     16360 |  112693   233172 |   50249    7809    88465    11.3 | 85.308 % |
c |     16697 |  111770   230990 |   55274    7856    89580    11.4 | 85.968 % |
c ==============================================================================
c [1mFound solution: -40[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 |     16951 |  111526   230404 |   37175    8018    92599    11.5 | 85.968 % |
c |     17051 |  111526   230404 |   40892    8118    92999    11.5 | 86.132 % |
c |     17201 |  111219   229682 |   44981    8093    90951    11.2 | 86.345 % |
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 |     17334 |  111280   229840 |   37093    8205    92005    11.2 | 86.345 % |
c |     17434 |  111280   229840 |   40802    8305    93499    11.3 | 86.322 % |
c |     17584 |  111256   229782 |   44882    8441    95645    11.3 | 86.341 % |
c |     17809 |  110806   228717 |   49370    8467    95717    11.3 | 86.655 % |
c |     18146 |  110159   227188 |   54307    8546    97811    11.4 | 87.119 % |
c |     18652 |  108823   224025 |   59738    8330    94434    11.3 | 88.069 % |
c |     19411 |  108077   222283 |   65712    8658   101530    11.7 | 88.576 % |
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 |     19895 |  108043   222175 |   36014    9136   115663    12.7 | 88.576 % |
c |     19995 |  108043   222175 |   39615    9236   116549    12.6 | 88.592 % |
c |     20146 |  107709   221386 |   43576    9140   117446    12.8 | 88.830 % |
c |     20371 |  107497   220880 |   47934    9175   121256    13.2 | 88.978 % |
c |     20709 |  107459   220790 |   52728    9446   146441    15.5 | 89.005 % |
c |     21216 |  107411   220677 |   58000    9921   168703    17.0 | 89.038 % |
c |     21975 |  106819   219284 |   63800   10212   181592    17.8 | 89.450 % |
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 |     22250 |  106488   218527 |   35496   10205   184749    18.1 | 89.450 % |
c |     22351 |  106488   218527 |   39045   10306   186641    18.1 | 89.691 % |
c |     22502 |  106488   218527 |   42950   10457   193631    18.5 | 89.691 % |
c |     22727 |  106462   218465 |   47245   10665   198212    18.6 | 89.710 % |
c |     23064 |  106462   218465 |   51969   11002   214086    19.5 | 89.710 % |
c |     23570 |  106462   218465 |   57166   11508   256738    22.3 | 89.710 % |
c |     24329 |  106338   218169 |   62883   12170   313380    25.8 | 89.802 % |
c |     25468 |  106144   217712 |   69171   13175   374171    28.4 | 89.938 % |
c |     27176 |  105426   216015 |   76088   14478   479625    33.1 | 90.459 % |
c |     29739 |  105318   215762 |   83697   16833   860558    51.1 | 90.531 % |
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 |     31453 |  105001   214993 |   35000   18093   983384    54.4 | 90.531 % |
c |     31554 |  105001   214993 |   38500   18194   989969    54.4 | 90.751 % |
c |     31704 |  104995   214979 |   42350   18290   997926    54.6 | 90.755 % |
c |     31930 |  104949   214869 |   46585   18361  1006718    54.8 | 90.790 % |
c |     32267 |  104949   214869 |   51243   18698  1028549    55.0 | 90.790 % |
c |     32773 |  104949   214869 |   56367   19204  1077202    56.1 | 90.790 % |
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 |     33401 |  104983   214950 |   34994   19832  1129330    56.9 | 90.790 % |
c |     33501 |  104983   214950 |   38493   19932  1133598    56.9 | 90.772 % |
c |     33651 |  104983   214950 |   42342   20082  1141255    56.8 | 90.772 % |
c |     33876 |  104983   214950 |   46577   20307  1157092    57.0 | 90.772 % |
c |     34213 |  104983   214950 |   51234   20644  1175264    56.9 | 90.772 % |
c |     34721 |  104983   214950 |   56358   21152  1211564    57.3 | 90.772 % |
c |     35480 |  104977   214936 |   61994   21893  1255356    57.3 | 90.776 % |
c |     36619 |  104951   214874 |   68193   23005  1334071    58.0 | 90.796 % |
c |     38329 |  104951   214874 |   75012   24715  1501835    60.8 | 90.796 % |
c |     40891 |  104951   214874 |   82514   27277  1751198    64.2 | 90.796 % |
c |     44735 |  104923   214809 |   90765   31110  2141419    68.8 | 90.813 % |
c |     50502 |  104848   214632 |   99841   36695  2717051    74.0 | 90.864 % |
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 |     55876 |  104646   214128 |   34882   41500  3361434    81.0 | 90.864 % |
c |     55976 |  104646   214128 |   38370   41600  3367844    81.0 | 91.008 % |
c |     56126 |  104646   214128 |   42207   41750  3376885    80.9 | 91.008 % |
c |     56351 |  104646   214128 |   46427   41975  3391691    80.8 | 91.008 % |
c |     56688 |  104646   214128 |   51070   42312  3413712    80.7 | 91.008 % |
c |     57194 |  104646   214128 |   56177   42818  3444930    80.5 | 91.008 % |
c |     57953 |  104646   214128 |   61795   43577  3499082    80.3 | 91.008 % |
c |     59092 |  104646   214128 |   67975   44716  3630514    81.2 | 91.008 % |
c |     60800 |  104646   214128 |   74772   46424  3826493    82.4 | 91.008 % |
c |     63362 |  104646   214128 |   82249   48986  4071277    83.1 | 91.008 % |
c |     67208 |  104646   214128 |   90474   52832  4520317    85.6 | 91.008 % |
c |     72974 |  104646   214128 |   99522   58598  5269648    89.9 | 91.008 % |
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 |     80456 |  104687   214226 |   34895   66080  6074991    91.9 | 91.008 % |
c |     80557 |  104687   214226 |   38384   66181  6083975    91.9 | 91.004 % |
c |     80707 |  104687   214226 |   42222   66331  6090873    91.8 | 91.004 % |
c |     80932 |  104687   214226 |   46445   66556  6106720    91.8 | 91.004 % |
c |     81269 |  104687   214226 |   51089   66893  6137446    91.8 | 91.004 % |
c |     81776 |  104687   214226 |   56198   67400  6170369    91.5 | 91.004 % |
c |     82535 |  104687   214226 |   61818   68159  6233781    91.5 | 91.004 % |
c |     83674 |  104687   214226 |   68000   69298  6329576    91.3 | 91.004 % |
c |     85383 |  104687   214226 |   74800   71007  6496041    91.5 | 91.004 % |
c |     87946 |  104687   214226 |   82280   73570  6762991    91.9 | 91.004 % |
c |     91790 |  104627   214084 |   90508   77353  7140619    92.3 | 91.047 % |
c |     97557 |  104617   214061 |   99559   83056  7644094    92.0 | 91.053 % |
c |    106207 |  104617   214061 |  109515   91706  8473238    92.4 | 91.053 % |
c |    119182 |  104617   214061 |  120467  104681  9597996    91.7 | 91.053 % |
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 |    123938 |  104554   213900 |   34851  108994  9993627    91.7 | 91.053 % |
c |    124038 |  104554   213900 |   38336   19848  1217848    61.4 | 91.094 % |
c |    124188 |  104554   213900 |   42169   19998  1227977    61.4 | 91.094 % |
c |    124413 |  104554   213900 |   46386   20223  1244709    61.5 | 91.094 % |
c |    124750 |  104554   213900 |   51025   20560  1267270    61.6 | 91.094 % |
c |    125257 |  104554   213900 |   56127   21067  1306743    62.0 | 91.094 % |
c |    126017 |  104554   213900 |   61740   21827  1382816    63.4 | 91.094 % |
c |    127157 |  104498   213767 |   67914   22963  1486166    64.7 | 91.134 % |
c |    128865 |  104498   213767 |   74706   24671  1685700    68.3 | 91.134 % |
c |    131428 |  104498   213767 |   82176   27234  1997356    73.3 | 91.134 % |
c |    135272 |  104498   213767 |   90394   31078  2441803    78.6 | 91.134 % |
c |    141038 |  104498   213767 |   99433   36844  2937497    79.7 | 91.134 % |
c |    149687 |  104498   213767 |  109377   45493  3699211    81.3 | 91.134 % |
c |    162663 |  104412   213564 |  120315   58447  4967886    85.0 | 91.195 % |
c |    182124 |  104412   213564 |  132346   77908  6733575    86.4 | 91.195 % |
c |    211316 |  104412   213564 |  145581  107100  9133565    85.3 | 91.194 % |
c |    255106 |  104412   213564 |  160139  150890 11726584    77.7 | 91.195 % |
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 -C6#### 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.95 0.90 2/54 1453
Raw data (stat): 1453 (runsolver) R 1452 22612 22611 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 481849341 1052672 99 4294967295 134512640 135381576 3221224464 3221219708 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0002 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 1453
Raw data (stat): 1453 (minisat+) R 1452 22612 22611 0 -1 0 6016 0 0 0 985 13 0 0 25 0 1 0 481849341 27398144 5994 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 6689 5994 603 41 0 6648 0
vsize: 26756
[startup+20.0003 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 1453
Raw data (stat): 1453 (minisat+) R 1452 22612 22611 0 -1 0 6027 0 0 0 1985 13 0 0 25 0 1 0 481849341 27398144 6005 4294967295 134512640 134672761 3221224560 3221223732 134556602 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 6689 6005 603 41 0 6648 0
vsize: 26756
[startup+30 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 1453
Raw data (stat): 1453 (minisat+) R 1452 22612 22611 0 -1 0 6029 0 0 0 2985 14 0 0 25 0 1 0 481849341 27398144 6007 4294967295 134512640 134672761 3221224560 3221223732 134556602 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 6689 6007 603 41 0 6648 0
vsize: 26756
[startup+40.0011 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 1453
Raw data (stat): 1453 (minisat+) R 1452 22612 22611 0 -1 0 6029 0 0 0 3984 14 0 0 25 0 1 0 481849341 27398144 6007 4294967295 134512640 134672761 3221224560 3221223732 134556688 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 6689 6007 603 41 0 6648 0
vsize: 26756
[startup+50.0014 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 1453
Raw data (stat): 1453 (minisat+) R 1452 22612 22611 0 -1 0 6160 0 0 0 4984 15 0 0 25 0 1 0 481849341 28282880 6138 4294967295 134512640 134672761 3221224560 3221223732 134556598 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 6905 6138 603 41 0 6864 0
vsize: 27620
[startup+60.0011 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 1453
Raw data (stat): 1453 (minisat+) R 1452 22612 22611 0 -1 0 6160 0 0 0 5983 15 0 0 25 0 1 0 481849341 28282880 6138 4294967295 134512640 134672761 3221224560 3221223732 134565028 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 6905 6138 603 41 0 6864 0
vsize: 27620
[startup+70.0021 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 1453
Raw data (stat): 1453 (minisat+) R 1452 22612 22611 0 -1 0 6160 0 0 0 6983 16 0 0 25 0 1 0 481849341 28282880 6138 4294967295 134512640 134672761 3221224560 3221223732 134556682 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 6905 6138 603 41 0 6864 0
vsize: 27620
[startup+80.0025 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 1453
Raw data (stat): 1453 (minisat+) R 1452 22612 22611 0 -1 0 6160 0 0 0 7983 16 0 0 25 0 1 0 481849341 28282880 6138 4294967295 134512640 134672761 3221224560 3221223732 134556634 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 6905 6138 603 41 0 6864 0
vsize: 27620
[startup+90.0031 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 1453
Raw data (stat): 1453 (minisat+) R 1452 22612 22611 0 -1 0 6160 0 0 0 8983 16 0 0 25 0 1 0 481849341 28282880 6138 4294967295 134512640 134672761 3221224560 3221223728 134560833 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 6905 6138 603 41 0 6864 0
vsize: 27620
[startup+100.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 1453
Raw data (stat): 1453 (minisat+) R 1452 22612 22611 0 -1 0 6160 0 0 0 9983 17 0 0 25 0 1 0 481849341 28282880 6138 4294967295 134512640 134672761 3221224560 3221223684 134566118 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 6905 6138 603 41 0 6864 0
vsize: 27620
[startup+110.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 1453
Raw data (stat): 1453 (minisat+) R 1452 22612 22611 0 -1 0 6164 0 0 0 10982 17 0 0 25 0 1 0 481849341 28282880 6142 4294967295 134512640 134672761 3221224560 3221223760 134557913 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 6905 6142 603 41 0 6864 0
vsize: 27620
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1453
Raw data (stat): 1453 (minisat+) R 1452 22612 22611 0 -1 0 6185 0 0 0 11982 17 0 0 25 0 1 0 481849341 28418048 6163 4294967295 134512640 134672761 3221224560 3221223760 134557911 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 6938 6163 603 41 0 6897 0
vsize: 27752
[startup+130.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1453
Raw data (stat): 1453 (minisat+) R 1452 22612 22611 0 -1 0 6858 0 0 0 12980 19 0 0 25 0 1 0 481849341 31129600 6827 4294967295 134512640 134672761 3221224560 3221223728 134560892 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7600 6827 603 41 0 7559 0
vsize: 30400
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1453
Raw data (stat): 1453 (minisat+) R 1452 22612 22611 0 -1 0 7378 0 0 0 13978 22 0 0 25 0 1 0 481849341 33214464 7330 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 8109 7330 603 41 0 8068 0
vsize: 32436
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1453
Raw data (stat): 1453 (minisat+) R 1452 22612 22611 0 -1 0 7945 0 0 0 14976 24 0 0 25 0 1 0 481849341 35483648 7897 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 8663 7897 603 41 0 8622 0
vsize: 34652
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1453
Raw data (stat): 1453 (minisat+) R 1452 22612 22611 0 -1 0 8457 0 0 0 15975 25 0 0 25 0 1 0 481849341 37625856 8409 4294967295 134512640 134672761 3221224560 3221223728 134560876 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 9186 8409 603 41 0 9145 0
vsize: 36744
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1453
Raw data (stat): 1453 (minisat+) R 1452 22612 22611 0 -1 0 9038 0 0 0 16974 26 0 0 25 0 1 0 481849341 40042496 8990 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 9776 8990 603 41 0 9735 0
vsize: 39104
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1453
Raw data (stat): 1453 (minisat+) R 1452 22612 22611 0 -1 0 9661 0 0 0 17972 28 0 0 25 0 1 0 481849341 42471424 9604 4294967295 134512640 134672761 3221224560 3221223860 134556651 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 10369 9604 603 41 0 10328 0
vsize: 41476
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1453
Raw data (stat): 1453 (minisat+) R 1452 22612 22611 0 -1 0 10005 0 0 0 18971 30 0 0 25 0 1 0 481849341 43950080 9948 4294967295 134512640 134672761 3221224560 3221223728 134560940 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 10730 9948 603 41 0 10689 0
vsize: 42920
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1453
Raw data (stat): 1453 (minisat+) R 1452 22612 22611 0 -1 0 10446 0 0 0 19969 32 0 0 25 0 1 0 481849341 45682688 10389 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11153 10389 603 41 0 11112 0
vsize: 44612
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1453
Raw data (stat): 1453 (minisat+) R 1452 22612 22611 0 -1 0 10915 0 0 0 20966 34 0 0 25 0 1 0 481849341 47681536 10858 4294967295 134512640 134672761 3221224560 3221223664 134560235 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11641 10858 603 41 0 11600 0
vsize: 46564
[startup+220.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1453
Raw data (stat): 1453 (minisat+) R 1452 22612 22611 0 -1 0 11501 0 0 0 21965 36 0 0 25 0 1 0 481849341 49954816 11444 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12196 11444 603 41 0 12155 0
vsize: 48784
[startup+230.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1453
Raw data (stat): 1453 (minisat+) R 1452 22612 22611 0 -1 0 11956 0 0 0 22963 38 0 0 25 0 1 0 481849341 51826688 11899 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12653 11899 603 41 0 12612 0
vsize: 50612
[startup+240.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1453
Raw data (stat): 1453 (minisat+) R 1452 22612 22611 0 -1 0 12366 0 0 0 23961 39 0 0 25 0 1 0 481849341 53559296 12309 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 13076 12309 603 41 0 13035 0
vsize: 52304
[startup+250.008 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 1453
Raw data (stat): 1453 (minisat+) R 1452 22612 22611 0 -1 0 12724 0 0 0 24960 41 0 0 25 0 1 0 481849341 55234560 12659 4294967295 134512640 134672761 3221224560 3221223728 134561229 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 13485 12659 603 41 0 13444 0
vsize: 53940
[startup+260.009 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 1453
Raw data (stat): 1453 (minisat+) R 1452 22612 22611 0 -1 0 13085 0 0 0 25959 42 0 0 25 0 1 0 481849341 56700928 13020 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 13843 13020 603 41 0 13802 0
vsize: 55372
[startup+270.009 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 1453
Raw data (stat): 1453 (minisat+) R 1452 22612 22611 0 -1 0 13438 0 0 0 26958 44 0 0 25 0 1 0 481849341 58036224 13373 4294967295 134512640 134672761 3221224560 3221223696 134560706 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 14169 13373 603 41 0 14128 0
vsize: 56676
[startup+280.009 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 1453
Raw data (stat): 1453 (minisat+) R 1452 22612 22611 0 -1 0 13776 0 0 0 27956 45 0 0 25 0 1 0 481849341 59510784 13711 4294967295 134512640 134672761 3221224560 3221223728 134561229 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 14529 13711 603 41 0 14488 0
vsize: 58116
[startup+290.009 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 1453
Raw data (stat): 1453 (minisat+) R 1452 22612 22611 0 -1 0 14085 0 0 0 28955 46 0 0 25 0 1 0 481849341 60710912 14020 4294967295 134512640 134672761 3221224560 3221223728 134560956 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 14822 14020 603 41 0 14781 0
vsize: 59288
[startup+300.009 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 1453
Raw data (stat): 1453 (minisat+) R 1452 22612 22611 0 -1 0 14409 0 0 0 29954 47 0 0 25 0 1 0 481849341 62038016 14344 4294967295 134512640 134672761 3221224560 3221223728 134561154 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 15146 14344 603 41 0 15105 0
vsize: 60584
[startup+310.009 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 1453
Raw data (stat): 1453 (minisat+) R 1452 22612 22611 0 -1 0 14764 0 0 0 30953 49 0 0 25 0 1 0 481849341 63508480 14699 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 15505 14699 603 41 0 15464 0
vsize: 62020
[startup+320.009 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 1453
Raw data (stat): 1453 (minisat+) R 1452 22612 22611 0 -1 0 15104 0 0 0 31952 50 0 0 25 0 1 0 481849341 64839680 15039 4294967295 134512640 134672761 3221224560 3221223744 134559340 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 15830 15039 603 41 0 15789 0
vsize: 63320
[startup+330.009 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 1453
Raw data (stat): 1453 (minisat+) R 1452 22612 22611 0 -1 0 15374 0 0 0 32950 52 0 0 25 0 1 0 481849341 65904640 15309 4294967295 134512640 134672761 3221224560 3221223728 134560999 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16090 15309 603 41 0 16049 0
vsize: 64360
[startup+340.01 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 1453
Raw data (stat): 1453 (minisat+) R 1452 22612 22611 0 -1 0 15640 0 0 0 33949 53 0 0 25 0 1 0 481849341 67092480 15575 4294967295 134512640 134672761 3221224560 3221223744 134559538 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16380 15575 603 41 0 16339 0
vsize: 65520
[startup+350.01 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 1453
Raw data (stat): 1453 (minisat+) R 1452 22612 22611 0 -1 0 15871 0 0 0 34948 54 0 0 25 0 1 0 481849341 68022272 15806 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16607 15806 603 41 0 16566 0
vsize: 66428
[startup+360.01 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 1453
Raw data (stat): 1453 (minisat+) R 1452 22612 22611 0 -1 0 16111 0 0 0 35947 55 0 0 25 0 1 0 481849341 68952064 16046 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16834 16046 603 41 0 16793 0
vsize: 67336
[startup+370.01 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 1453
Raw data (stat): 1453 (minisat+) R 1452 22612 22611 0 -1 0 16388 0 0 0 36947 56 0 0 25 0 1 0 481849341 70135808 16323 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17123 16323 603 41 0 17082 0
vsize: 68492
[startup+380.009 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1453
Raw data (stat): 1453 (minisat+) R 1452 22612 22611 0 -1 0 16658 0 0 0 37945 57 0 0 25 0 1 0 481849341 71196672 16593 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17382 16593 603 41 0 17341 0
vsize: 69528
[startup+390.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1453
Raw data (stat): 1453 (minisat+) R 1452 22612 22611 0 -1 0 16819 0 0 0 38945 58 0 0 25 0 1 0 481849341 71733248 16746 4294967295 134512640 134672761 3221224560 3221223728 134560864 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17513 16746 603 41 0 17472 0
vsize: 70052
[startup+400.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1453
Raw data (stat): 1453 (minisat+) R 1452 22612 22611 0 -1 0 16819 0 0 0 39944 58 0 0 25 0 1 0 481849341 71733248 16746 4294967295 134512640 134672761 3221224560 3221223728 134560929 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17513 16746 603 41 0 17472 0
vsize: 70052
[startup+410.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1453
Raw data (stat): 1453 (minisat+) R 1452 22612 22611 0 -1 0 16819 0 0 0 40944 59 0 0 25 0 1 0 481849341 71733248 16746 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17513 16746 603 41 0 17472 0
vsize: 70052
[startup+420.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1453
Raw data (stat): 1453 (minisat+) R 1452 22612 22611 0 -1 0 16819 0 0 0 41944 59 0 0 25 0 1 0 481849341 71733248 16746 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17513 16746 603 41 0 17472 0
vsize: 70052
[startup+430.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1453
Raw data (stat): 1453 (minisat+) R 1452 22612 22611 0 -1 0 16819 0 0 0 42944 59 0 0 25 0 1 0 481849341 71733248 16746 4294967295 134512640 134672761 3221224560 3221223696 134560577 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17513 16746 603 41 0 17472 0
vsize: 70052
[startup+440.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1453
Raw data (stat): 1453 (minisat+) R 1452 22612 22611 0 -1 0 16819 0 0 0 43944 59 0 0 25 0 1 0 481849341 71733248 16746 4294967295 134512640 134672761 3221224560 3221223664 134560299 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17513 16746 603 41 0 17472 0
vsize: 70052
[startup+450.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1453
Raw data (stat): 1453 (minisat+) R 1452 22612 22611 0 -1 0 16819 0 0 0 44944 60 0 0 25 0 1 0 481849341 71733248 16746 4294967295 134512640 134672761 3221224560 3221223664 134560191 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17513 16746 603 41 0 17472 0
vsize: 70052
[startup+460.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1453
Raw data (stat): 1453 (minisat+) R 1452 22612 22611 0 -1 0 16819 0 0 0 45943 60 0 0 25 0 1 0 481849341 71733248 16746 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17513 16746 603 41 0 17472 0
vsize: 70052
[startup+470.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1453
Raw data (stat): 1453 (minisat+) R 1452 22612 22611 0 -1 0 16819 0 0 0 46943 61 0 0 25 0 1 0 481849341 71733248 16746 4294967295 134512640 134672761 3221224560 3221223696 134560590 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17513 16746 603 41 0 17472 0
vsize: 70052
[startup+480.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1453
Raw data (stat): 1453 (minisat+) R 1452 22612 22611 0 -1 0 16819 0 0 0 47943 61 0 0 25 0 1 0 481849341 71733248 16746 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17513 16746 603 41 0 17472 0
vsize: 70052
[startup+490.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1453
Raw data (stat): 1453 (minisat+) R 1452 22612 22611 0 -1 0 16819 0 0 0 48943 61 0 0 25 0 1 0 481849341 71733248 16746 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17513 16746 603 41 0 17472 0
vsize: 70052
[startup+500.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1453
Raw data (stat): 1453 (minisat+) R 1452 22612 22611 0 -1 0 16819 0 0 0 49943 62 0 0 25 0 1 0 481849341 71733248 16746 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17513 16746 603 41 0 17472 0
vsize: 70052
[startup+510.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1453
Raw data (stat): 1453 (minisat+) R 1452 22612 22611 0 -1 0 16819 0 0 0 50942 62 0 0 25 0 1 0 481849341 71733248 16746 4294967295 134512640 134672761 3221224560 3221223728 134560874 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17513 16746 603 41 0 17472 0
vsize: 70052
[startup+520.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1453
Raw data (stat): 1453 (minisat+) R 1452 22612 22611 0 -1 0 16819 0 0 0 51943 62 0 0 25 0 1 0 481849341 71733248 16746 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17513 16746 603 41 0 17472 0
vsize: 70052
[startup+530.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1453
Raw data (stat): 1453 (minisat+) R 1452 22612 22611 0 -1 0 16819 0 0 0 52942 62 0 0 25 0 1 0 481849341 71733248 16746 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17513 16746 603 41 0 17472 0
vsize: 70052
[startup+540.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1453
Raw data (stat): 1453 (minisat+) R 1452 22612 22611 0 -1 0 16819 0 0 0 53942 63 0 0 25 0 1 0 481849341 71733248 16746 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17513 16746 603 41 0 17472 0
vsize: 70052
[startup+550.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1453
Raw data (stat): 1453 (minisat+) R 1452 22612 22611 0 -1 0 16819 0 0 0 54942 63 0 0 25 0 1 0 481849341 71733248 16746 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17513 16746 603 41 0 17472 0
vsize: 70052
[startup+560.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1453
Raw data (stat): 1453 (minisat+) R 1452 22612 22611 0 -1 0 16819 0 0 0 55942 63 0 0 25 0 1 0 481849341 71733248 16746 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17513 16746 603 41 0 17472 0
vsize: 70052
[startup+570.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1453
Raw data (stat): 1453 (minisat+) R 1452 22612 22611 0 -1 0 16819 0 0 0 56941 64 0 0 25 0 1 0 481849341 71733248 16746 4294967295 134512640 134672761 3221224560 3221223728 134560920 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17513 16746 603 41 0 17472 0
vsize: 70052
[startup+580.015 s]
Raw data (loadavg): 1.08 1.00 0.92 2/58 1487
Raw data (stat): 1453 (minisat+) R 1452 22612 22611 0 -1 0 16819 0 0 0 57940 65 0 0 25 0 1 0 481849341 71733248 16746 4294967295 134512640 134672761 3221224560 3221223728 134560940 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 17513 16746 603 41 0 17472 0
vsize: 70052
[startup+590.016 s]
Raw data (loadavg): 1.22 1.04 0.93 4/59 1505
Raw data (stat): 1453 (minisat+) R 1452 22612 22611 0 -1 0 16819 0 0 0 58941 65 0 0 25 0 1 0 481849341 71733248 16746 4294967295 134512640 134672761 3221224560 3221223728 134560920 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 17513 16746 603 41 0 17472 0
vsize: 70052
[startup+600.016 s]
Raw data (loadavg): 1.19 1.03 0.93 2/54 1506
Raw data (stat): 1453 (minisat+) R 1452 22612 22611 0 -1 0 16819 0 0 0 59941 65 0 0 25 0 1 0 481849341 71733248 16746 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 17513 16746 603 41 0 17472 0
vsize: 70052
[startup+610.016 s]
Raw data (loadavg): 1.16 1.03 0.93 2/54 1506
Raw data (stat): 1453 (minisat+) R 1452 22612 22611 0 -1 0 16819 0 0 0 60941 65 0 0 25 0 1 0 481849341 71733248 16746 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 17513 16746 603 41 0 17472 0
vsize: 70052
[startup+620.016 s]
Raw data (loadavg): 1.13 1.03 0.93 2/54 1506
Raw data (stat): 1453 (minisat+) R 1452 22612 22611 0 -1 0 16819 0 0 0 61941 65 0 0 25 0 1 0 481849341 71733248 16746 4294967295 134512640 134672761 3221224560 3221223664 134560235 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 17513 16746 603 41 0 17472 0
vsize: 70052
[startup+630.016 s]
Raw data (loadavg): 1.11 1.03 0.93 2/54 1506
Raw data (stat): 1453 (minisat+) R 1452 22612 22611 0 -1 0 16819 0 0 0 62942 65 0 0 25 0 1 0 481849341 71733248 16746 4294967295 134512640 134672761 3221224560 3221223728 134560940 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 17513 16746 603 41 0 17472 0
vsize: 70052
[startup+640.017 s]
Raw data (loadavg): 1.09 1.03 0.93 2/54 1506
Raw data (stat): 1453 (minisat+) R 1452 22612 22611 0 -1 0 16819 0 0 0 63942 65 0 0 25 0 1 0 481849341 71733248 16746 4294967295 134512640 134672761 3221224560 3221223744 134558662 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 17513 16746 603 41 0 17472 0
vsize: 70052
[startup+650.016 s]
Raw data (loadavg): 1.08 1.03 0.93 2/54 1506
Raw data (stat): 1453 (minisat+) R 1452 22612 22611 0 -1 0 16821 0 0 0 64942 65 0 0 25 0 1 0 481849341 71733248 16748 4294967295 134512640 134672761 3221224560 3221223728 134560937 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 17513 16748 603 41 0 17472 0
vsize: 70052
[startup+660.016 s]
Raw data (loadavg): 1.07 1.03 0.93 2/54 1508
Raw data (stat): 1453 (minisat+) R 1452 22612 22611 0 -1 0 16824 0 0 0 65942 65 0 0 25 0 1 0 481849341 71733248 16751 4294967295 134512640 134672761 3221224560 3221223728 134561375 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 17513 16751 603 41 0 17472 0
vsize: 70052
[startup+670.017 s]
Raw data (loadavg): 1.06 1.02 0.93 2/54 1508
Raw data (stat): 1453 (minisat+) R 1452 22612 22611 0 -1 0 16907 0 0 0 66942 65 0 0 25 0 1 0 481849341 72126464 16834 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 17609 16834 603 41 0 17568 0
vsize: 70436
[startup+680.016 s]
Raw data (loadavg): 1.05 1.02 0.93 2/54 1508
Raw data (stat): 1453 (minisat+) R 1452 22612 22611 0 -1 0 17073 0 0 0 67942 65 0 0 25 0 1 0 481849341 72790016 17000 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 17771 17000 603 41 0 17730 0
vsize: 71084
[startup+690.017 s]
Raw data (loadavg): 1.04 1.02 0.93 2/54 1508
Raw data (stat): 1453 (minisat+) R 1452 22612 22611 0 -1 0 17209 0 0 0 68942 66 0 0 25 0 1 0 481849341 73322496 17136 4294967295 134512640 134672761 3221224560 3221223696 134565096 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 17901 17136 603 41 0 17860 0
vsize: 71604
[startup+700.018 s]
Raw data (loadavg): 1.03 1.02 0.93 2/54 1508
Raw data (stat): 1453 (minisat+) R 1452 22612 22611 0 -1 0 17351 0 0 0 69941 66 0 0 25 0 1 0 481849341 74010624 17278 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 18069 17278 603 41 0 18028 0
vsize: 72276
[startup+710.018 s]
Raw data (loadavg): 1.03 1.02 0.93 2/54 1508
Raw data (stat): 1453 (minisat+) R 1452 22612 22611 0 -1 0 17478 0 0 0 70941 66 0 0 25 0 1 0 481849341 74407936 17405 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 18166 17405 603 41 0 18125 0
vsize: 72664
[startup+720.017 s]
Raw data (loadavg): 1.02 1.02 0.93 2/54 1508
Raw data (stat): 1453 (minisat+) R 1452 22612 22611 0 -1 0 17593 0 0 0 71941 67 0 0 25 0 1 0 481849341 74940416 17520 4294967295 134512640 134672761 3221224560 3221223728 134561229 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 18296 17520 603 41 0 18255 0
vsize: 73184
[startup+730.017 s]
Raw data (loadavg): 1.02 1.02 0.93 2/54 1508
Raw data (stat): 1453 (minisat+) R 1452 22612 22611 0 -1 0 17707 0 0 0 72941 67 0 0 25 0 1 0 481849341 75333632 17634 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 18392 17634 603 41 0 18351 0
vsize: 73568
[startup+740.018 s]
Raw data (loadavg): 1.02 1.02 0.93 2/54 1508
Raw data (stat): 1453 (minisat+) R 1452 22612 22611 0 -1 0 17849 0 0 0 73941 67 0 0 25 0 1 0 481849341 75997184 17776 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 18554 17776 603 41 0 18513 0
vsize: 74216
[startup+750.018 s]
Raw data (loadavg): 1.01 1.02 0.93 2/54 1508
Raw data (stat): 1453 (minisat+) R 1452 22612 22611 0 -1 0 17968 0 0 0 74941 68 0 0 25 0 1 0 481849341 76914688 17895 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 18778 17895 603 41 0 18737 0
vsize: 75112
[startup+760.017 s]
Raw data (loadavg): 1.01 1.02 0.93 2/54 1508
Raw data (stat): 1453 (minisat+) R 1452 22612 22611 0 -1 0 18069 0 0 0 75941 68 0 0 25 0 1 0 481849341 77307904 17996 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 18874 17996 603 41 0 18833 0
vsize: 75496
[startup+770.018 s]
Raw data (loadavg): 1.01 1.02 0.93 2/54 1508
Raw data (stat): 1453 (minisat+) R 1452 22612 22611 0 -1 0 18182 0 0 0 76941 68 0 0 25 0 1 0 481849341 77832192 18109 4294967295 134512640 134672761 3221224560 3221223664 134560246 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19002 18109 603 41 0 18961 0
vsize: 76008
[startup+780.017 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 1508
Raw data (stat): 1453 (minisat+) R 1452 22612 22611 0 -1 0 18301 0 0 0 77940 68 0 0 25 0 1 0 481849341 78356480 18228 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19130 18228 603 41 0 19089 0
vsize: 76520
[startup+790.018 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 1508
Raw data (stat): 1453 (minisat+) R 1452 22612 22611 0 -1 0 18397 0 0 0 78941 69 0 0 25 0 1 0 481849341 78749696 18324 4294967295 134512640 134672761 3221224560 3221223728 134561229 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19226 18324 603 41 0 19185 0
vsize: 76904
[startup+800.019 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 1508
Raw data (stat): 1453 (minisat+) R 1452 22612 22611 0 -1 0 18502 0 0 0 79940 69 0 0 25 0 1 0 481849341 79142912 18429 4294967295 134512640 134672761 3221224560 3221223728 134560988 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19322 18429 603 41 0 19281 0
vsize: 77288
[startup+810.019 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 1508
Raw data (stat): 1453 (minisat+) R 1452 22612 22611 0 -1 0 18599 0 0 0 80940 70 0 0 25 0 1 0 481849341 79536128 18526 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19418 18526 603 41 0 19377 0
vsize: 77672
[startup+820.019 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 1508
Raw data (stat): 1453 (minisat+) R 1452 22612 22611 0 -1 0 18695 0 0 0 81940 70 0 0 25 0 1 0 481849341 79929344 18622 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19514 18622 603 41 0 19473 0
vsize: 78056
[startup+830.02 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 1508
Raw data (stat): 1453 (minisat+) R 1452 22612 22611 0 -1 0 18792 0 0 0 82940 70 0 0 25 0 1 0 481849341 80343040 18719 4294967295 134512640 134672761 3221224560 3221223728 134561205 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19615 18719 603 41 0 19574 0
vsize: 78460
[startup+840.019 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 1508
Raw data (stat): 1453 (minisat+) R 1452 22612 22611 0 -1 0 18893 0 0 0 83939 71 0 0 25 0 1 0 481849341 80736256 18820 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19711 18820 603 41 0 19670 0
vsize: 78844
[startup+850.019 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 1508
Raw data (stat): 1453 (minisat+) R 1452 22612 22611 0 -1 0 18976 0 0 0 84939 71 0 0 25 0 1 0 481849341 81129472 18903 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19807 18903 603 41 0 19766 0
vsize: 79228
[startup+860.019 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 1508
Raw data (stat): 1453 (minisat+) R 1452 22612 22611 0 -1 0 19057 0 0 0 85939 72 0 0 25 0 1 0 481849341 81395712 18984 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19872 18984 603 41 0 19831 0
vsize: 79488
[startup+870.02 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 1508
Raw data (stat): 1453 (minisat+) R 1452 22612 22611 0 -1 0 19161 0 0 0 86938 72 0 0 25 0 1 0 481849341 81805312 19088 4294967295 134512640 134672761 3221224560 3221223728 134560940 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 19972 19088 603 41 0 19931 0
vsize: 79888
[startup+880.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1508
Raw data (stat): 1453 (minisat+) R 1452 22612 22611 0 -1 0 19238 0 0 0 87938 72 0 0 25 0 1 0 481849341 82227200 19165 4294967295 134512640 134672761 3221224560 3221223728 134561005 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 20075 19165 603 41 0 20034 0
vsize: 80300
[startup+890.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1508
Raw data (stat): 1453 (minisat+) R 1452 22612 22611 0 -1 0 19317 0 0 0 88937 73 0 0 25 0 1 0 481849341 82493440 19244 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 20140 19244 603 41 0 20099 0
vsize: 80560
[startup+900.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1508
Raw data (stat): 1453 (minisat+) R 1452 22612 22611 0 -1 0 19445 0 0 0 89937 74 0 0 25 0 1 0 481849341 83030016 19372 4294967295 134512640 134672761 3221224560 3221223728 134561215 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 20271 19372 603 41 0 20230 0
vsize: 81084
[startup+910.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1508
Raw data (stat): 1453 (minisat+) R 1452 22612 22611 0 -1 0 19566 0 0 0 90936 74 0 0 25 0 1 0 481849341 83582976 19493 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 20406 19493 603 41 0 20365 0
vsize: 81624
[startup+920.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1510
Raw data (stat): 1453 (minisat+) R 1452 22612 22611 0 -1 0 19705 0 0 0 91937 74 0 0 25 0 1 0 481849341 84115456 19632 4294967295 134512640 134672761 3221224560 3221223728 134561215 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 20536 19632 603 41 0 20495 0
vsize: 82144
[startup+930.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1510
Raw data (stat): 1453 (minisat+) R 1452 22612 22611 0 -1 0 19835 0 0 0 92936 75 0 0 25 0 1 0 481849341 84643840 19762 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 20665 19762 603 41 0 20624 0
vsize: 82660
[startup+940.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1510
Raw data (stat): 1453 (minisat+) R 1452 22612 22611 0 -1 0 19973 0 0 0 93936 75 0 0 25 0 1 0 481849341 85250048 19900 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 20813 19900 603 41 0 20772 0
vsize: 83252
[startup+950.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1510
Raw data (stat): 1453 (minisat+) R 1452 22612 22611 0 -1 0 20108 0 0 0 94936 75 0 0 25 0 1 0 481849341 85774336 20035 4294967295 134512640 134672761 3221224560 3221223744 134559405 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 20941 20035 603 41 0 20900 0
vsize: 83764
[startup+960.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1510
Raw data (stat): 1453 (minisat+) R 1452 22612 22611 0 -1 0 20224 0 0 0 95936 75 0 0 25 0 1 0 481849341 86167552 20151 4294967295 134512640 134672761 3221224560 3221223664 134560196 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 21037 20151 603 41 0 20996 0
vsize: 84148
[startup+970.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1510
Raw data (stat): 1453 (minisat+) R 1452 22612 22611 0 -1 0 20338 0 0 0 96936 76 0 0 25 0 1 0 481849341 86691840 20265 4294967295 134512640 134672761 3221224560 3221223728 134560882 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 21165 20265 603 41 0 21124 0
vsize: 84660
[startup+980.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1510
Raw data (stat): 1453 (minisat+) R 1452 22612 22611 0 -1 0 20444 0 0 0 97936 76 0 0 25 0 1 0 481849341 87085056 20371 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 21261 20371 603 41 0 21220 0
vsize: 85044
[startup+990.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1510
Raw data (stat): 1453 (minisat+) R 1452 22612 22611 0 -1 0 20537 0 0 0 98935 77 0 0 25 0 1 0 481849341 87482368 20464 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 21358 20464 603 41 0 21317 0
vsize: 85432
[startup+1000.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1510
Raw data (stat): 1453 (minisat+) R 1452 22612 22611 0 -1 0 20652 0 0 0 99935 77 0 0 25 0 1 0 481849341 88096768 20579 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 21508 20579 603 41 0 21467 0
vsize: 86032
[startup+1010.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1510
Raw data (stat): 1453 (minisat+) R 1452 22612 22611 0 -1 0 20763 0 0 0 100935 77 0 0 25 0 1 0 481849341 88489984 20690 4294967295 134512640 134672761 3221224560 3221223728 134561375 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 21604 20690 603 41 0 21563 0
vsize: 86416
[startup+1020.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1510
Raw data (stat): 1453 (minisat+) R 1452 22612 22611 0 -1 0 20876 0 0 0 101935 77 0 0 25 0 1 0 481849341 88883200 20803 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 21700 20803 603 41 0 21659 0
vsize: 86800
[startup+1030.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1510
Raw data (stat): 1453 (minisat+) R 1452 22612 22611 0 -1 0 20967 0 0 0 102935 78 0 0 25 0 1 0 481849341 89280512 20894 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 21797 20894 603 41 0 21756 0
vsize: 87188
[startup+1040.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1510
Raw data (stat): 1453 (minisat+) R 1452 22612 22611 0 -1 0 21063 0 0 0 103935 78 0 0 25 0 1 0 481849341 89677824 20990 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 21894 20990 603 41 0 21853 0
vsize: 87576
[startup+1050.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1510
Raw data (stat): 1453 (minisat+) R 1452 22612 22611 0 -1 0 21161 0 0 0 104935 78 0 0 25 0 1 0 481849341 90071040 21088 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 21990 21088 603 41 0 21949 0
vsize: 87960
[startup+1060.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1510
Raw data (stat): 1453 (minisat+) R 1452 22612 22611 0 -1 0 21261 0 0 0 105934 79 0 0 25 0 1 0 481849341 90464256 21188 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22086 21188 603 41 0 22045 0
vsize: 88344
[startup+1070.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1510
Raw data (stat): 1453 (minisat+) R 1452 22612 22611 0 -1 0 21350 0 0 0 106935 79 0 0 25 0 1 0 481849341 90857472 21277 4294967295 134512640 134672761 3221224560 3221223728 134560999 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22182 21277 603 41 0 22141 0
vsize: 88728
[startup+1080.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1510
Raw data (stat): 1453 (minisat+) R 1452 22612 22611 0 -1 0 21434 0 0 0 107934 79 0 0 25 0 1 0 481849341 91279360 21361 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22285 21361 603 41 0 22244 0
vsize: 89140
[startup+1090.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1510
Raw data (stat): 1453 (minisat+) R 1452 22612 22611 0 -1 0 21546 0 0 0 108934 80 0 0 25 0 1 0 481849341 91676672 21473 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22382 21473 603 41 0 22341 0
vsize: 89528
[startup+1100.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1510
Raw data (stat): 1453 (minisat+) R 1452 22612 22611 0 -1 0 21658 0 0 0 109934 80 0 0 25 0 1 0 481849341 92200960 21585 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22510 21585 603 41 0 22469 0
vsize: 90040
[startup+1110.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1510
Raw data (stat): 1453 (minisat+) R 1452 22612 22611 0 -1 0 21776 0 0 0 110934 81 0 0 25 0 1 0 481849341 92594176 21703 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22606 21703 603 41 0 22565 0
vsize: 90424
[startup+1120.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1510
Raw data (stat): 1453 (minisat+) R 1452 22612 22611 0 -1 0 21886 0 0 0 111933 81 0 0 25 0 1 0 481849341 92987392 21813 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22702 21813 603 41 0 22661 0
vsize: 90808
[startup+1130.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1510
Raw data (stat): 1453 (minisat+) R 1452 22612 22611 0 -1 0 22046 0 0 0 112933 81 0 0 25 0 1 0 481849341 93777920 21973 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22895 21973 603 41 0 22854 0
vsize: 91580
[startup+1140.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1510
Raw data (stat): 1453 (minisat+) R 1452 22612 22611 0 -1 0 22217 0 0 0 113933 82 0 0 25 0 1 0 481849341 94441472 22144 4294967295 134512640 134672761 3221224560 3221223728 134561229 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 23057 22144 603 41 0 23016 0
vsize: 92228
[startup+1150.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1510
Raw data (stat): 1453 (minisat+) R 1452 22612 22611 0 -1 0 22395 0 0 0 114932 83 0 0 25 0 1 0 481849341 95232000 22322 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 23250 22322 603 41 0 23209 0
vsize: 93000
[startup+1160.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1510
Raw data (stat): 1453 (minisat+) R 1452 22612 22611 0 -1 0 22574 0 0 0 115932 83 0 0 25 0 1 0 481849341 95895552 22501 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 23412 22501 603 41 0 23371 0
vsize: 93648
[startup+1170.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1510
Raw data (stat): 1453 (minisat+) R 1452 22612 22611 0 -1 0 22735 0 0 0 116931 84 0 0 25 0 1 0 481849341 96559104 22662 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 23574 22662 603 41 0 23533 0
vsize: 94296
[startup+1180.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1510
Raw data (stat): 1453 (minisat+) R 1452 22612 22611 0 -1 0 22892 0 0 0 117931 84 0 0 25 0 1 0 481849341 97230848 22819 4294967295 134512640 134672761 3221224560 3221223728 134560830 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 23738 22819 603 41 0 23697 0
vsize: 94952
[startup+1190.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1510
Raw data (stat): 1453 (minisat+) R 1452 22612 22611 0 -1 0 23027 0 0 0 118931 85 0 0 25 0 1 0 481849341 97763328 22954 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 23868 22954 603 41 0 23827 0
vsize: 95472
[startup+1200.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1510
Raw data (stat): 1453 (minisat+) R 1452 22612 22611 0 -1 0 23166 0 0 0 119930 86 0 0 25 0 1 0 481849341 98295808 23093 4294967295 134512640 134672761 3221224560 3221223728 134560980 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 23998 23093 603 41 0 23957 0
vsize: 95992
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.07 s]
Raw data (loadavg): 1.00 1.00 0.93 1/54 1510
Raw data (stat): 1453 (minisat+) Z 1452 22612 22611 0 -1 12 23169 0 0 0 119931 90 0 0 25 0 1 0 481849341 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.07
CPU time (s): 1200.22
CPU user time (s): 1199.31
CPU system time (s): 0.904862
CPU usage (%): 100.012
Max. virtual memory (Kb): 95992
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####