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/frb56-25-opb/normalized-frb56-25-1.opb
MD5SUM	02058527b1ad27d5be75faa6974ffa0f
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-42
Optimality of the best value was proved	NO
Number of terms in the objective function	1400
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	1400
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	1400
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.11
Number of variables	1400
Total number of constraints	109676
Number of constraints which are clauses	109676
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 5052

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc10 THE 2005-04-13 21:41:16 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3092 boxname=wulflinc10 idbench=344 idsolver=5 numberseed=0
MD5SUM SOLVER: 1d62365061f6d70b1a242542b016b2e4  /oldhome/oroussel/solvers/minisat+
MD5SUM BENCH:  02058527b1ad27d5be75faa6974ffa0f  /oldhome/oroussel/tmp/wulflinc10/normalized-frb56-25-1.opb
REAL COMMAND:  minisat+ /oldhome/oroussel/tmp/wulflinc10/normalized-frb56-25-1.opb
IDLAUNCH: 3092
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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	: 890.88

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        886004 kB
Buffers:         34376 kB
Cached:          94320 kB
SwapCached:        164 kB
Active:          53252 kB
Inactive:        78480 kB
HighTotal:      131008 kB
HighFree:        32900 kB
LowTotal:       903652 kB
LowFree:        853104 kB
SwapTotal:     2097136 kB
SwapFree:      2096972 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6916 kB
Slab:            11288 kB
Committed_AS:    63484 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-13 22:01:18 (client local time) WITH STATUS 10 IN 1200.2 SECONDS
stats: 3092 7 1200.2 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Parsing PB file...
c Converting 109676 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 |  109676   219352 |   36558       0        0     nan |  0.000 % |
c ==============================================================================
c [1mFound solution: -39[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:78076     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |         0 |  193374   415660 |   64458       0        0     nan |  0.000 % |
c |       100 |  192719   414299 |   70903      63     1093    17.3 |  0.622 % |
c |       250 |  192264   413332 |   77994     193     3275    17.0 |  1.071 % |
c |       476 |  191415   411505 |   85793     346     4129    11.9 |  1.930 % |
c |       813 |  188955   406147 |   94372     570     6726    11.8 |  4.475 % |
c |      1319 |  186406   400564 |  103810     962    13044    13.6 |  7.139 % |
c |      2078 |  180912   388275 |  114191    1479    18824    12.7 | 13.094 % |
c |      3217 |  175709   376585 |  125610    2357    32192    13.7 | 18.778 % |
c |      4925 |  166673   356010 |  138171    3574    49702    13.9 | 28.824 % |
c |      7487 |  157658   335240 |  151988    5415    74543    13.8 | 39.079 % |
c |     11331 |  143138   301148 |  167187    7961   113671    14.3 | 55.865 % |
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 |     12525 |  140763   295746 |   46921    8929   130833    14.7 | 55.865 % |
c |     12625 |  139918   293726 |   51613    8922   130380    14.6 | 59.751 % |
c |     12775 |  139671   293133 |   56774    9032   131953    14.6 | 60.052 % |
c |     13000 |  139283   292232 |   62451    9203   135203    14.7 | 60.501 % |
c |     13337 |  138691   290861 |   68697    9414   138503    14.7 | 61.171 % |
c |     13843 |  138328   290009 |   75566    9866   147954    15.0 | 61.597 % |
c |     14602 |  137121   287145 |   83123   10409   155824    15.0 | 63.131 % |
c |     15741 |  135695   283700 |   91435   11210   169938    15.2 | 64.772 % |
c |     17449 |  133720   279037 |  100579   12512   198089    15.8 | 67.074 % |
c |     20011 |  128643   266845 |  110637   13856   224025    16.2 | 73.177 % |
c |     23856 |  125354   258987 |  121700   16543   306442    18.5 | 77.142 % |
c |     29622 |  122874   253024 |  133871   20367   492068    24.2 | 80.137 % |
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 |     30967 |  122645   252423 |   40881   21516   531155    24.7 | 80.137 % |
c |     31067 |  122645   252423 |   44969   21616   531997    24.6 | 80.427 % |
c |     31217 |  122636   252402 |   49466   21757   536269    24.6 | 80.437 % |
c |     31442 |  122593   252300 |   54412   21951   542487    24.7 | 80.488 % |
c |     31779 |  122436   251912 |   59853   22120   548490    24.8 | 80.684 % |
c |     32285 |  122436   251912 |   65839   22626   572074    25.3 | 80.684 % |
c |     33044 |  122390   251788 |   72423   23361   600618    25.7 | 80.751 % |
c |     34183 |  122320   251616 |   79665   24453   657839    26.9 | 80.840 % |
c |     35892 |  122035   250934 |   87632   26003   710446    27.3 | 81.185 % |
c |     38454 |  121806   250367 |   96395   28222   984902    34.9 | 81.476 % |
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 |     38938 |  121634   249984 |   40544   28578  1022037    35.8 | 81.476 % |
c |     39038 |  121617   249941 |   44598   28653  1023964    35.7 | 81.716 % |
c |     39188 |  121349   249292 |   49058   28508  1022934    35.9 | 82.043 % |
c |     39413 |  121349   249292 |   53964   28733  1031080    35.9 | 82.043 % |
c |     39750 |  121213   248952 |   59360   29014  1043187    36.0 | 82.215 % |
c |     40256 |  121088   248654 |   65296   29472  1065725    36.2 | 82.365 % |
c |     41015 |  121034   248515 |   71826   30083  1084053    36.0 | 82.437 % |
c |     42154 |  120996   248419 |   79008   31210  1134841    36.4 | 82.488 % |
c |     43862 |  120814   247954 |   86909   32806  1219139    37.2 | 82.733 % |
c |     46425 |  120660   247566 |   95600   35272  1481711    42.0 | 82.934 % |
c |     50269 |  120426   247002 |  105160   38769  1679322    43.3 | 83.221 % |
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 |     55508 |  120404   246861 |   40134   43705  2184532    50.0 | 83.221 % |
c |     55608 |  120404   246861 |   44147   43805  2187268    49.9 | 83.253 % |
c |     55759 |  120401   246854 |   48562   43919  2198441    50.1 | 83.257 % |
c |     55984 |  120297   246612 |   53418   44129  2204023    49.9 | 83.377 % |
c |     56322 |  120297   246612 |   58760   44467  2221646    50.0 | 83.377 % |
c |     56828 |  120262   246523 |   64636   44943  2244896    49.9 | 83.425 % |
c |     57588 |  120262   246523 |   71099   45703  2321279    50.8 | 83.425 % |
c |     58727 |  120173   246296 |   78209   45708  2347180    51.4 | 83.542 % |
c |     60435 |  120173   246296 |   86030   47416  2483476    52.4 | 83.542 % |
c |     62998 |  119939   245717 |   94633   49359  2778436    56.3 | 83.841 % |
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 |     65455 |  119986   245861 |   39995   51816  3103184    59.9 | 83.841 % |
c |     65555 |  119986   245861 |   43994   51916  3106425    59.8 | 83.823 % |
c |     65705 |  119842   245523 |   48393   51870  3106898    59.9 | 83.990 % |
c |     65931 |  119801   245428 |   53233   52001  3128578    60.2 | 84.037 % |
c |     66268 |  119776   245371 |   58556   52307  3156736    60.4 | 84.064 % |
c |     66774 |  119755   245323 |   64412   52795  3188273    60.4 | 84.086 % |
c |     67533 |  119752   245316 |   70853   53553  3227607    60.3 | 84.090 % |
c |     68672 |  119752   245316 |   77938   54692  3351972    61.3 | 84.090 % |
c |     70380 |  119623   244995 |   85732   55978  3468009    62.0 | 84.254 % |
c |     72942 |  119551   244815 |   94306   58246  3772441    64.8 | 84.346 % |
c |     76786 |  119544   244798 |  103736   62089  4097900    66.0 | 84.355 % |
c |     82552 |  119337   244296 |  114110   67497  4883125    72.3 | 84.607 % |
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 |     91183 |  119326   244244 |   39775   75532  5875208    77.8 | 84.607 % |
c |     91283 |  119326   244244 |   43752   75632  5876836    77.7 | 84.623 % |
c |     91433 |  119326   244244 |   48127   75782  5886804    77.7 | 84.623 % |
c |     91658 |  119174   243872 |   52940   75571  5878542    77.8 | 84.815 % |
c |     91995 |  119169   243861 |   58234   75798  5913726    78.0 | 84.820 % |
c |     92501 |  119169   243861 |   64058   76304  5962450    78.1 | 84.820 % |
c |     93260 |  119169   243861 |   70463   77063  6047017    78.5 | 84.820 % |
c |     94399 |  119169   243861 |   77510   78202  6141731    78.5 | 84.820 % |
c |     96107 |  119164   243850 |   85261   79903  6346087    79.4 | 84.825 % |
c |     98670 |  119164   243850 |   93787   82466  6693670    81.2 | 84.825 % |
c |    102515 |  119130   243772 |  103166   86111  7282535    84.6 | 84.864 % |
c |    108281 |  119010   243470 |  113482   91427  8357465    91.4 | 85.016 % |
c |    116930 |  118952   243328 |  124830  100035  9709566    97.1 | 85.089 % |
c |    129904 |  118839   243050 |  137314  112031 11367601   101.5 | 85.232 % |
c ==============================================================================
c [1mFound solution: -49[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 |    142656 |  118861   243115 |   39620  124783 13424185   107.6 | 85.232 % |
c |    142756 |  118809   242989 |   43582   22640  2136428    94.4 | 85.280 % |
c |    142906 |  118809   242989 |   47940   22790  2140780    93.9 | 85.280 % |
c |    143131 |  118741   242820 |   52734   22993  2162172    94.0 | 85.368 % |
c |    143468 |  118741   242820 |   58007   23330  2174648    93.2 | 85.368 % |
c |    143974 |  118733   242802 |   63808   23832  2203863    92.5 | 85.376 % |
c |    144733 |  118722   242773 |   70189   24588  2263679    92.1 | 85.392 % |
c |    145872 |  118722   242773 |   77208   25727  2328778    90.5 | 85.392 % |
c |    147580 |  118596   242466 |   84928   27418  2490341    90.8 | 85.549 % |
c |    150144 |  118596   242466 |   93421   29982  2825667    94.2 | 85.549 % |
c |    153988 |  118581   242431 |  102764   33809  3133516    92.7 | 85.567 % |
c |    159757 |  118486   242200 |  113040   39498  3825619    96.9 | 85.685 % |
c |    168406 |  118465   242145 |  124344   48141  5116869   106.3 | 85.715 % |
c |    181380 |  118409   242007 |  136778   61109  6776970   110.9 | 85.787 % |
c |    200842 |  118409   242007 |  150456   80571  9946562   123.5 | 85.787 % |
c |    230034 |  118372   241919 |  165502  109697 15616229   142.4 | 85.830 % |
c |    273823 |  118197   241494 |  182052  153345 23390472   152.5 | 86.048 % |
c 
c *** TERMINATED ***
s SATISFIABLE
v -C1400 -C1399 -C1398 -C1397 -C1396 -C1395 -C1394 -C1393 -C1392 -C1391 -C1390 -C1389 -C1388 -C1387 -C1386 -C1385 -C1384 -C1383 C1382 -C1381 -C1380 -C1379 -C1378 -C1377 -C1376 -C1375 -C1374 -C1373 -C1372 -C1371 -C1370 -C1369 -C1368 -C1367 -C1366 -C1365 -C1364 -C1363 -C1362 C1361 -C1360 -C1359 -C1358 -C1357 -C1356 -C1355 -C1354 -C1353 -C1352 -C1351 -C1350 -C1349 -C1348 -C1347 -C1346 -C1345 -C1344 -C1343 -C1342 -C1341 -C1340 -C1339 -C1338 -C1337 -C1336 -C1335 -C1334 -C1333 -C1332 -C1331 -C1330 -C1329 -C1328 C1327 -C1326 -C1325 -C1324 -C1323 -C1322 -C1321 -C1320 -C1319 -C1318 -C1317 -C1316 -C1315 -C1314 -C1313 -C1312 -C1311 -C1310 -C1309 -C1308 -C1307 -C1306 -C1305 -C1304 -C1303 -C1302 C1301 -C1300 -C1299 -C1298 -C1297 -C1296 -C1295 -C1294 -C1293 -C1292 -C1291 -C1290 -C1289 -C1288 -C1287 -C1286 -C1285 -C1284 -C1283 -C1282 -C1281 C1280 -C1279 -C1278 -C1277 -C1276 -C1275 -C1274 -C1273 -C1272 -C1271 -C1270 -C1269 -C1268 -C1267 -C1266 -C1265 -C1264 -C1263 -C1262 -C1261 -C1260 C1259 -C1258 -C1257 -C1256 -C1255 -C1254 -C1253 -C1252 -C1251 -C1250 -C1249 -C1248 -C1247 -C1246 -C1245 -C1244 -C1243 -C1242 -C1241 -C1240 -C1239 -C1238 -C1237 -C1236 -C1235 -C1234 -C1233 -C1232 C1231 -C1230 -C1229 -C1228 -C1227 -C1226 -C1225 -C1224 -C1223 -C1222 -C1221 -C1220 -C1219 -C1218 -C1217 -C1216 -C1215 -C1214 -C1213 -C1212 -C1211 C1210 -C1209 -C1208 -C1207 -C1206 -C1205 -C1204 -C1203 -C1202 -C1201 -C1200 -C1199 -C1198 -C1197 -C1196 -C1195 -C1194 -C1193 -C1192 -C1191 -C1190 -C1189 -C1188 C1187 -C1186 -C1185 -C1184 -C1183 -C1182 -C1181 -C1180 -C1179 -C1178 -C1177 -C1176 -C1175 -C1174 -C1173 -C1172 -C1171 -C1170 -C1169 -C1168 -C1167 -C1166 -C1165 -C1164 -C1163 -C1162 -C1161 -C1160 -C1159 -C1158 C1157 -C1156 -C1155 -C1154 -C1153 -C1152 -C1151 -C1150 -C1149 -C1148 -C1147 -C1146 -C1145 -C1144 -C1143 -C1142 -C1141 -C1140 -C1139 -C1138 -C1137 -C1136 -C1135 -C1134 -C1133 -C1132 -C1131 -C1130 -C1129 C1128 -C1127 -C1126 -C1125 -C1124 -C1123 -C1122 -C1121 -C1120 -C1119 -C1118 -C1117 -C1116 -C1115 -C1114 -C1113 -C1112 -C1111 -C1110 -C1109 -C1108 -C1107 -C1106 -C1105 -C1104 -C1103 -C1102 C1101 -C1100 -C1099 -C1098 -C1097 -C1096 -C1095 -C1094 -C1093 -C1092 -C1091 -C1090 -C1089 -C1088 -C1087 -C1086 -C1085 -C1084 -C1083 -C1082 -C1081 -C1080 -C1079 -C1078 -C1077 C1076 -C1075 -C1074 -C1073 -C1072 -C1071 -C1070 -C1069 C1068 -C1067 -C1066 -C1065 -C1064 -C1063 -C1062 -C1061 -C1060 -C1059 -C1058 -C1057 -C1056 -C1055 -C1054 -C1053 -C1052 -C1051 -C1050 -C1049 -C1048 -C1047 -C1046 -C1045 -C1044 -C1043 -C1042 -C1041 -C1040 -C1039 C1038 -C1037 -C1036 -C1035 -C1034 -C1033 -C1032 -C1031 -C1030 -C1029 -C1028 -C1027 -C1026 -C1025 -C1024 -C1023 -C1022 -C1021 -C1020 -C1019 -C1018 C1017 -C1016 -C1015 -C1014 -C1013 -C1012 -C1011 -C1010 -C1009 -C1008 -C1007 -C1006 -C1005 -C1004 -C1003 -C1002 -C1001 -C1000 -C999 -C998 -C997 -C996 -C995 -C994 -C993 -C992 -C991 -C990 -C989 -C988 -C987 -C986 -C985 C984 -C983 -C982 -C981 -C980 -C979 -C978 -C977 -C976 -C975 -C974 -C973 -C972 -C971 -C970 -C969 -C968 -C967 -C966 -C965 -C964 -C963 -C962 -C961 -C960 -C959 -C958 -C957 -C956 -C955 -C954 -C953 -C952 -C951 -C950 -C949 -C948 -C947 -C946 -C945 -C944 C943 -C942 -C941 -C940 -C939 -C938 -C937 -C936 -C935 -C934 -C933 -C932 -C931 -C930 -C929 -C928 -C927 -C926 -C925 -C924 -C923 -C922 -C921 -C920 -C919 -C918 -C917 -C916 -C915 -C914 -C913 -C912 -C911 -C910 -C909 -C908 -C907 -C906 -C905 -C904 -C903 -C902 -C901 -C900 C899 -C898 -C897 -C896 -C895 -C894 -C893 -C892 -C891 -C890 -C889 -C888 -C887 -C886 -C885 -C884 -C883 -C882 -C881 -C880 -C879 -C878 -C877 -C876 -C875 -C874 C873 -C872 -C871 -C870 -C869 -C868 -C867 -C866 -C865 -C864 -C863 -C862 -C861 -C860 -C859 -C858 -C857 -C856 -C855 -C854 -C853 -C852 -C851 -C850 -C849 -C848 -C847 -C846 -C845 -C844 -C843 -C842 -C841 -C840 -C839 -C838 -C837 -C836 -C835 -C834 -C833 -C832 -C831 -C830 -C829 -C828 C827 -C826 -C825 -C824 C823 -C822 -C821 -C820 -C819 -C818 -C817 -C816 -C815 -C814 -C813 -C812 -C811 -C810 -C809 -C808 -C807 -C806 -C805 -C804 -C803 -C802 -C801 -C800 -C799 -C798 -C797 -C796 -C795 -C794 -C793 -C792 -C791 -C790 -C789 -C788 -C787 -C786 -C785 -C784 -C783 -C782 -C781 -C780 -C779 -C778 -C777 -C776 -C775 -C774 -C773 -C772 -C771 -C770 C769 -C768 -C767 -C766 -C765 -C764 -C763 -C762 -C761 -C760 -C759 -C758 -C757 -C756 -C755 -C754 -C753 -C752 -C751 -C750 -C749 -C748 -C747 -C746 -C745 -C744 -C743 -C742 -C741 -C740 -C739 -C738 -C737 -C736 -C735 -C734 -C733 -C732 -C731 -C730 -C729 -C728 -C727 -C726 -C725 -C724 -C723 C722 -C721 -C720 -C719 -C718 -C717 -C716 -C715 -C714 -C713 -C712 -C711 -C710 -C709 -C708 -C707 -C706 -C705 -C704 -C703 -C702 -C701 -C700 -C699 -C698 -C697 -C696 -C695 -C694 -C693 -C692 -C691 -C690 -C689 -C688 -C687 -C686 -C685 -C684 -C683 -C682 -C681 -C680 -C679 -C678 -C677 C676 -C675 -C674 -C673 -C672 -C671 -C670 -C669 -C668 -C667 -C666 -C665 -C664 -C663 -C662 -C661 C660 -C659 -C658 -C657 -C656 -C655 -C654 -C653 -C652 -C651 -C650 -C649 -C648 -C647 -C646 -C645 -C644 -C643 -C642 -C641 C640 -C639 -C638 -C637 -C636 -C635 -C634 -C633 -C632 -C631 -C630 -C629 -C628 -C627 -C626 -C625 C624 -C623 -C622 -C621 -C620 -C619 -C618 -C617 -C616 -C615 -C614 -C613 -C612 -C611 -C610 -C609 -C608 -C607 -C606 -C605 -C604 -C603 -C602 -C601 -C600 -C599 -C598 -C597 -C596 -C595 -C594 -C593 -C592 -C591 -C590 -C589 -C588 -C587 -C586 -C585 -C584 C583 -C582 -C581 -C580 -C579 -C578 -C577 -C576 C575 -C574 -C573 -C572 -C571 -C570 -C569 -C568 -C567 -C566 -C565 -C564 -C563 -C562 -C561 -C560 -C559 -C558 -C557 -C556 -C555 -C554 -C553 -C552 -C551 -C550 -C549 -C548 -C547 -C546 -C545 -C544 -C543 -C542 -C541 -C540 -C539 -C538 -C537 -C536 -C535 -C534 C533 -C532 -C531 -C530 -C529 -C528 -C527 -C526 -C525 C524 -C523 -C522 -C521 -C520 -C519 -C518 -C517 -C516 -C515 -C514 -C513 -C512 -C511 -C510 -C509 -C508 -C507 -C506 -C505 -C504 -C503 -C502 -C501 -C500 -C499 -C498 -C497 -C496 -C495 -C494 -C493 -C492 -C491 -C490 -C489 -C488 -C487 -C486 -C485 -C484 -C483 -C482 -C481 -C480 -C479 -C478 -C477 C476 -C475 -C474 -C473 -C472 -C471 -C470 -C469 -C468 -C467 -C466 -C465 -C464 -C463 -C462 -C461 -C460 -C459 -C458 C457 -C456 -C455 -C454 -C453 -C452 -C451 -C450 -C449 -C448 -C447 -C446 -C445 -C444 -C443 -C442 -C441 -C440 -C439 -C438 C437 -C436 -C435 -C434 -C433 -C432 -C431 -C430 -C429 -C428 -C427 -C426 -C425 -C424 -C423 -C422 -C421 -C420 -C419 -C418 -C417 -C416 -C415 -C414 -C413 -C412 -C411 -C410 -C409 -C408 -C407 -C406 -C405 -C404 -C403 -C402 -C401 -C400 -C399 -C398 -C397 -C396 -C395 -C394 -C393 -C392 -C391 -C390 -C389 C388 -C387 -C386 -C385 -C384 -C383 -C382 -C381 -C380 -C379 -C378 -C377 -C376 -C375 -C374 -C373 -C372 -C371 -C370 -C369 -C368 -C367 C366 -C365 -C364 -C363 -C362 -C361 -C360 -C359 -C358 -C357 -C356 -C355 -C354 -C353 -C352 -C351 -C350 -C349 -C348 -C347 -C346 -C345 -C344 -C343 -C342 -C341 -C340 -C339 -C338 -C337 -C336 -C335 -C334 -C333 -C332 -C331 -C330 -C329 -C328 -C327 -C326 -C325 -C324 -C323 -C322 -C321 -C320 -C319 -C318 -C317 -C316 -C315 -C314 -C313 -C312 -C311 -C310 -C309 -C308 -C307 -C306 C305 -C304 -C303 -C302 -C301 -C300 -C299 -C298 -C297 -C296 -C295 -C294 -C293 -C292 -C291 -C290 -C289 -C288 -C287 -C286 -C285 -C284 -C283 -C282 -C281 -C280 -C279 C278 -C277 -C276 -C275 -C274 -C273 -C272 -C271 -C270 -C269 -C268 -C267 -C266 -C265 -C264 C263 -C262 -C261 -C260 -C259 -C258 -C257 -C256 -C255 -C254 -C253 -C252 -C251 -C250 C249 -C248 -C247 -C246 -C245 -C244 -C243 -C242 -C241 -C240 -C239 -C238 -C237 -C236 -C235 -C234 -C233 -C232 -C231 -C230 -C229 -C228 -C227 -C226 -C225 C224 -C223 -C222 -C221 -C220 -C219 -C218 -C217 -C216 -C215 -C214 -C213 -C212 -C211 -C210 -C209 -C208 -C207 -C206 -C205 -C204 -C203 -C202 -C201 -C200 C199 -C198 -C197 -C196 -C195 -C194 -C193 -C192 -C191 -C190 -C189 -C188 -C187 -C186 -C185 -C184 -C183 -C182 -C181 -C180 -C179 -C178 -C177 -C176 -C175 -C174 -C173 -C172 -C171 -C170 -C169 -C168 -C167 -C166 -C165 -C164 -C163 -C162 -C161 -C160 -C159 -C158 -C157 -C156 -C155 -C154 -C153 -C152 -C151 -C150 -C149 -C148 -C147 -C146 -C145 -C144 -C143 -C142 -C141 -C140 -C139 -C138 -C137 -C136 -C135 -C134 -C133 -C132 -C131 C130 -C129 -C128 -C127 -C126 -C125 -C124 -C123 -C122 -C121 -C120 -C119 -C118 -C117 -C116 -C115 -C114 -C113 -C112 -C111 -C110 -C109 -C108 -C107 -C106 -C105 -C104 -C103 C102 -C#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.97 0.91 2/54 28665
Raw data (stat): 28665 (runsolver) R 28664 25347 25346 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 421054778 1052672 99 4294967295 134512640 135381576 3221224528 3221219772 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0007 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 28665
Raw data (stat): 28665 (minisat+) R 28664 25347 25346 0 -1 0 6237 0 0 0 982 16 0 0 25 0 1 0 421054778 28049408 6215 4294967295 134512640 134672761 3221224624 3221223796 134556596 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6848 6215 603 41 0 6807 0
vsize: 27392
[startup+20.0018 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 28665
Raw data (stat): 28665 (minisat+) R 28664 25347 25346 0 -1 0 6248 0 0 0 1982 16 0 0 25 0 1 0 421054778 28049408 6226 4294967295 134512640 134672761 3221224624 3221223760 134560667 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6848 6226 603 41 0 6807 0
vsize: 27392
[startup+30.0022 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 28665
Raw data (stat): 28665 (minisat+) R 28664 25347 25346 0 -1 0 6253 0 0 0 2982 16 0 0 25 0 1 0 421054778 28049408 6231 4294967295 134512640 134672761 3221224624 3221223796 134556598 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6848 6231 603 41 0 6807 0
vsize: 27392
[startup+40.0034 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 28665
Raw data (stat): 28665 (minisat+) R 28664 25347 25346 0 -1 0 6263 0 0 0 3981 17 0 0 25 0 1 0 421054778 28184576 6241 4294967295 134512640 134672761 3221224624 3221223824 134557895 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6881 6241 603 41 0 6840 0
vsize: 27524
[startup+50.0039 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 28665
Raw data (stat): 28665 (minisat+) R 28664 25347 25346 0 -1 0 6270 0 0 0 4981 17 0 0 25 0 1 0 421054778 28184576 6248 4294967295 134512640 134672761 3221224624 3221223748 134566037 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6881 6248 603 41 0 6840 0
vsize: 27524
[startup+60.003 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 28665
Raw data (stat): 28665 (minisat+) R 28664 25347 25346 0 -1 0 6279 0 0 0 5981 18 0 0 25 0 1 0 421054778 28184576 6257 4294967295 134512640 134672761 3221224624 3221223828 134561964 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6881 6257 603 41 0 6840 0
vsize: 27524
[startup+70.0039 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 28665
Raw data (stat): 28665 (minisat+) R 28664 25347 25346 0 -1 0 6287 0 0 0 6980 18 0 0 25 0 1 0 421054778 28319744 6265 4294967295 134512640 134672761 3221224624 3221223796 134556596 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6914 6265 603 41 0 6873 0
vsize: 27656
[startup+80.0042 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 28665
Raw data (stat): 28665 (minisat+) R 28664 25347 25346 0 -1 0 6297 0 0 0 7980 18 0 0 25 0 1 0 421054778 28319744 6275 4294967295 134512640 134672761 3221224624 3221223792 134561151 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6914 6275 603 41 0 6873 0
vsize: 27656
[startup+90.0047 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 28665
Raw data (stat): 28665 (minisat+) R 28664 25347 25346 0 -1 0 6309 0 0 0 8980 18 0 0 25 0 1 0 421054778 28319744 6287 4294967295 134512640 134672761 3221224624 3221223796 134556598 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6914 6287 603 41 0 6873 0
vsize: 27656
[startup+100.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 28665
Raw data (stat): 28665 (minisat+) R 28664 25347 25346 0 -1 0 6321 0 0 0 9980 19 0 0 25 0 1 0 421054778 28319744 6299 4294967295 134512640 134672761 3221224624 3221223760 134560588 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6914 6299 603 41 0 6873 0
vsize: 27656
[startup+110.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 28665
Raw data (stat): 28665 (minisat+) R 28664 25347 25346 0 -1 0 6560 0 0 0 10979 20 0 0 25 0 1 0 421054778 29806592 6538 4294967295 134512640 134672761 3221224624 3221223816 134556585 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7277 6538 603 41 0 7236 0
vsize: 29108
[startup+120.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28665
Raw data (stat): 28665 (minisat+) R 28664 25347 25346 0 -1 0 6562 0 0 0 11978 20 0 0 25 0 1 0 421054778 29806592 6540 4294967295 134512640 134672761 3221224624 3221223796 134556634 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7277 6540 603 41 0 7236 0
vsize: 29108
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28665
Raw data (stat): 28665 (minisat+) R 28664 25347 25346 0 -1 0 6564 0 0 0 12978 20 0 0 25 0 1 0 421054778 29806592 6542 4294967295 134512640 134672761 3221224624 3221223796 134556646 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7277 6542 603 41 0 7236 0
vsize: 29108
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28665
Raw data (stat): 28665 (minisat+) R 28664 25347 25346 0 -1 0 6566 0 0 0 13978 20 0 0 25 0 1 0 421054778 29806592 6544 4294967295 134512640 134672761 3221224624 3221223796 134556649 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7277 6544 603 41 0 7236 0
vsize: 29108
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28665
Raw data (stat): 28665 (minisat+) R 28664 25347 25346 0 -1 0 6686 0 0 0 14978 21 0 0 25 0 1 0 421054778 30314496 6664 4294967295 134512640 134672761 3221224624 3221223828 134561964 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7401 6664 603 41 0 7360 0
vsize: 29604
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28665
Raw data (stat): 28665 (minisat+) R 28664 25347 25346 0 -1 0 6881 0 0 0 15976 22 0 0 25 0 1 0 421054778 31125504 6859 4294967295 134512640 134672761 3221224624 3221223808 134559663 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7599 6859 603 41 0 7558 0
vsize: 30396
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28665
Raw data (stat): 28665 (minisat+) R 28664 25347 25346 0 -1 0 7160 0 0 0 16976 23 0 0 25 0 1 0 421054778 32182272 7107 4294967295 134512640 134672761 3221224624 3221223796 134556634 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7857 7107 603 41 0 7816 0
vsize: 31428
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28665
Raw data (stat): 28665 (minisat+) R 28664 25347 25346 0 -1 0 7578 0 0 0 17974 24 0 0 25 0 1 0 421054778 33738752 7494 4294967295 134512640 134672761 3221224624 3221223792 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 8237 7494 603 41 0 8196 0
vsize: 32948
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28665
Raw data (stat): 28665 (minisat+) R 28664 25347 25346 0 -1 0 7999 0 0 0 18972 26 0 0 25 0 1 0 421054778 35606528 7915 4294967295 134512640 134672761 3221224624 3221223792 134561164 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 8693 7915 603 41 0 8652 0
vsize: 34772
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28665
Raw data (stat): 28665 (minisat+) R 28664 25347 25346 0 -1 0 8365 0 0 0 19971 27 0 0 25 0 1 0 421054778 37085184 8281 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 9054 8281 603 41 0 9013 0
vsize: 36216
[startup+210.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28665
Raw data (stat): 28665 (minisat+) R 28664 25347 25346 0 -1 0 8917 0 0 0 20969 29 0 0 25 0 1 0 421054778 39088128 8801 4294967295 134512640 134672761 3221224624 3221223796 134556598 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 9543 8801 603 41 0 9502 0
vsize: 38172
[startup+220.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28665
Raw data (stat): 28665 (minisat+) R 28664 25347 25346 0 -1 0 9183 0 0 0 21968 30 0 0 25 0 1 0 421054778 40296448 9067 4294967295 134512640 134672761 3221224624 3221223792 134560999 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 9838 9067 603 41 0 9797 0
vsize: 39352
[startup+230.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28665
Raw data (stat): 28665 (minisat+) R 28664 25347 25346 0 -1 0 9621 0 0 0 22966 32 0 0 25 0 1 0 421054778 42045440 9505 4294967295 134512640 134672761 3221224624 3221223792 134560867 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 10265 9505 603 41 0 10224 0
vsize: 41060
[startup+240.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28665
Raw data (stat): 28665 (minisat+) R 28664 25347 25346 0 -1 0 9989 0 0 0 23964 34 0 0 25 0 1 0 421054778 43376640 9841 4294967295 134512640 134672761 3221224624 3221223760 134560588 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 10590 9841 603 41 0 10549 0
vsize: 42360
[startup+250.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28665
Raw data (stat): 28665 (minisat+) R 28664 25347 25346 0 -1 0 10301 0 0 0 24963 35 0 0 25 0 1 0 421054778 44584960 10153 4294967295 134512640 134672761 3221224624 3221223796 134556651 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 10885 10153 603 41 0 10844 0
vsize: 43540
[startup+260.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28665
Raw data (stat): 28665 (minisat+) R 28664 25347 25346 0 -1 0 10744 0 0 0 25961 37 0 0 25 0 1 0 421054778 46460928 10596 4294967295 134512640 134672761 3221224624 3221223824 134557842 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11343 10596 603 41 0 11302 0
vsize: 45372
[startup+270.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28665
Raw data (stat): 28665 (minisat+) R 28664 25347 25346 0 -1 0 11106 0 0 0 26959 39 0 0 25 0 1 0 421054778 47931392 10958 4294967295 134512640 134672761 3221224624 3221223728 134560194 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11702 10958 603 41 0 11661 0
vsize: 46808
[startup+280.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28665
Raw data (stat): 28665 (minisat+) R 28664 25347 25346 0 -1 0 11582 0 0 0 27957 40 0 0 25 0 1 0 421054778 50069504 11434 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12224 11434 603 41 0 12183 0
vsize: 48896
[startup+290.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28665
Raw data (stat): 28665 (minisat+) R 28664 25347 25346 0 -1 0 11995 0 0 0 28956 41 0 0 25 0 1 0 421054778 51810304 11847 4294967295 134512640 134672761 3221224624 3221223792 134560869 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12649 11847 603 41 0 12608 0
vsize: 50596
[startup+300.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28665
Raw data (stat): 28665 (minisat+) R 28664 25347 25346 0 -1 0 12428 0 0 0 29956 42 0 0 25 0 1 0 421054778 53547008 12280 4294967295 134512640 134672761 3221224624 3221223792 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 13073 12280 603 41 0 13032 0
vsize: 52292
[startup+310.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28665
Raw data (stat): 28665 (minisat+) R 28664 25347 25346 0 -1 0 12909 0 0 0 30955 43 0 0 25 0 1 0 421054778 55562240 12761 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 13565 12761 603 41 0 13524 0
vsize: 54260
[startup+320.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28665
Raw data (stat): 28665 (minisat+) R 28664 25347 25346 0 -1 0 13127 0 0 0 31954 44 0 0 25 0 1 0 421054778 56242176 12948 4294967295 134512640 134672761 3221224624 3221223792 134561005 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 13731 12948 603 41 0 13690 0
vsize: 54924
[startup+330.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28665
Raw data (stat): 28665 (minisat+) R 28664 25347 25346 0 -1 0 13482 0 0 0 32953 45 0 0 25 0 1 0 421054778 57720832 13303 4294967295 134512640 134672761 3221224624 3221223792 134561229 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 14092 13303 603 41 0 14051 0
vsize: 56368
[startup+340.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28665
Raw data (stat): 28665 (minisat+) R 28664 25347 25346 0 -1 0 13882 0 0 0 33951 48 0 0 25 0 1 0 421054778 59330560 13703 4294967295 134512640 134672761 3221224624 3221223792 134561198 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 14485 13703 603 41 0 14444 0
vsize: 57940
[startup+350.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28665
Raw data (stat): 28665 (minisat+) R 28664 25347 25346 0 -1 0 14394 0 0 0 34950 49 0 0 25 0 1 0 421054778 61480960 14215 4294967295 134512640 134672761 3221224624 3221223624 1075350517 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 15010 14215 603 41 0 14969 0
vsize: 60040
[startup+360.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28665
Raw data (stat): 28665 (minisat+) R 28664 25347 25346 0 -1 0 14780 0 0 0 35949 51 0 0 25 0 1 0 421054778 62951424 14601 4294967295 134512640 134672761 3221224624 3221223760 134560596 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 15369 14601 603 41 0 15328 0
vsize: 61476
[startup+370.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28665
Raw data (stat): 28665 (minisat+) R 28664 25347 25346 0 -1 0 15359 0 0 0 36947 52 0 0 25 0 1 0 421054778 65359872 15180 4294967295 134512640 134672761 3221224624 3221223808 134559575 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 15957 15180 603 41 0 15916 0
vsize: 63828
[startup+380.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28665
Raw data (stat): 28665 (minisat+) R 28664 25347 25346 0 -1 0 15743 0 0 0 37947 53 0 0 25 0 1 0 421054778 66965504 15564 4294967295 134512640 134672761 3221224624 3221223792 134561164 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16349 15564 603 41 0 16308 0
vsize: 65396
[startup+390.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28665
Raw data (stat): 28665 (minisat+) R 28664 25347 25346 0 -1 0 16120 0 0 0 38946 54 0 0 25 0 1 0 421054778 68427776 15941 4294967295 134512640 134672761 3221224624 3221223760 134560619 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16706 15941 603 41 0 16665 0
vsize: 66824
[startup+400.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28665
Raw data (stat): 28665 (minisat+) R 28664 25347 25346 0 -1 0 16476 0 0 0 39945 55 0 0 25 0 1 0 421054778 69910528 16297 4294967295 134512640 134672761 3221224624 3221223792 134560830 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17068 16297 603 41 0 17027 0
vsize: 68272
[startup+410.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28665
Raw data (stat): 28665 (minisat+) R 28664 25347 25346 0 -1 0 16905 0 0 0 40944 56 0 0 25 0 1 0 421054778 71639040 16726 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17490 16726 603 41 0 17449 0
vsize: 69960
[startup+420.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28665
Raw data (stat): 28665 (minisat+) R 28664 25347 25346 0 -1 0 17356 0 0 0 41943 57 0 0 25 0 1 0 421054778 73510912 17177 4294967295 134512640 134672761 3221224624 3221223792 134561021 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17947 17177 603 41 0 17906 0
vsize: 71788
[startup+430.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28665
Raw data (stat): 28665 (minisat+) R 28664 25347 25346 0 -1 0 17713 0 0 0 42942 58 0 0 25 0 1 0 421054778 74993664 17534 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18309 17534 603 41 0 18268 0
vsize: 73236
[startup+440.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28665
Raw data (stat): 28665 (minisat+) R 28664 25347 25346 0 -1 0 17995 0 0 0 43942 59 0 0 25 0 1 0 421054778 76070912 17816 4294967295 134512640 134672761 3221224624 3221223792 134560996 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18572 17816 603 41 0 18531 0
vsize: 74288
[startup+450.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28665
Raw data (stat): 28665 (minisat+) R 28664 25347 25346 0 -1 0 18260 0 0 0 44941 60 0 0 25 0 1 0 421054778 77144064 18081 4294967295 134512640 134672761 3221224624 3221223808 134558899 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18834 18081 603 41 0 18793 0
vsize: 75336
[startup+460.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28665
Raw data (stat): 28665 (minisat+) R 28664 25347 25346 0 -1 0 18573 0 0 0 45941 60 0 0 25 0 1 0 421054778 78487552 18394 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 19162 18394 603 41 0 19121 0
vsize: 76648
[startup+470.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28665
Raw data (stat): 28665 (minisat+) R 28664 25347 25346 0 -1 0 18897 0 0 0 46940 61 0 0 25 0 1 0 421054778 79691776 18718 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 19456 18718 603 41 0 19415 0
vsize: 77824
[startup+480.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28665
Raw data (stat): 28665 (minisat+) R 28664 25347 25346 0 -1 0 19228 0 0 0 47939 62 0 0 25 0 1 0 421054778 81162240 19049 4294967295 134512640 134672761 3221224624 3221223824 134557965 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 19815 19049 603 41 0 19774 0
vsize: 79260
[startup+490.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28665
Raw data (stat): 28665 (minisat+) R 28664 25347 25346 0 -1 0 19611 0 0 0 48939 63 0 0 25 0 1 0 421054778 82636800 19432 4294967295 134512640 134672761 3221224624 3221223792 134560869 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 20175 19432 603 41 0 20134 0
vsize: 80700
[startup+500.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28665
Raw data (stat): 28665 (minisat+) R 28664 25347 25346 0 -1 0 19994 0 0 0 49938 64 0 0 25 0 1 0 421054778 84230144 19815 4294967295 134512640 134672761 3221224624 3221223784 134561029 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 20564 19815 603 41 0 20523 0
vsize: 82256
[startup+510.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28665
Raw data (stat): 28665 (minisat+) R 28664 25347 25346 0 -1 0 20299 0 0 0 50937 65 0 0 25 0 1 0 421054778 85430272 20120 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 20857 20120 603 41 0 20816 0
vsize: 83428
[startup+520.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28665
Raw data (stat): 28665 (minisat+) R 28664 25347 25346 0 -1 0 20613 0 0 0 51936 66 0 0 25 0 1 0 421054778 86761472 20434 4294967295 134512640 134672761 3221224624 3221223728 134559862 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21182 20434 603 41 0 21141 0
vsize: 84728
[startup+530.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28665
Raw data (stat): 28665 (minisat+) R 28664 25347 25346 0 -1 0 20882 0 0 0 52935 67 0 0 25 0 1 0 421054778 87822336 20703 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21441 20703 603 41 0 21400 0
vsize: 85764
[startup+540.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28665
Raw data (stat): 28665 (minisat+) R 28664 25347 25346 0 -1 0 21020 0 0 0 53935 68 0 0 25 0 1 0 421054778 88215552 20809 4294967295 134512640 134672761 3221224624 3221223808 134559548 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21537 20809 603 41 0 21496 0
vsize: 86148
[startup+550.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28665
Raw data (stat): 28665 (minisat+) R 28664 25347 25346 0 -1 0 21020 0 0 0 54935 68 0 0 25 0 1 0 421054778 88215552 20809 4294967295 134512640 134672761 3221224624 3221223792 134561193 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21537 20809 603 41 0 21496 0
vsize: 86148
[startup+560.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28665
Raw data (stat): 28665 (minisat+) R 28664 25347 25346 0 -1 0 21020 0 0 0 55935 68 0 0 25 0 1 0 421054778 88215552 20809 4294967295 134512640 134672761 3221224624 3221223728 134560196 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21537 20809 603 41 0 21496 0
vsize: 86148
[startup+570.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28665
Raw data (stat): 28665 (minisat+) R 28664 25347 25346 0 -1 0 21020 0 0 0 56935 68 0 0 25 0 1 0 421054778 88215552 20809 4294967295 134512640 134672761 3221224624 3221223796 134556649 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21537 20809 603 41 0 21496 0
vsize: 86148
[startup+580.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28665
Raw data (stat): 28665 (minisat+) R 28664 25347 25346 0 -1 0 21020 0 0 0 57935 68 0 0 25 0 1 0 421054778 88215552 20809 4294967295 134512640 134672761 3221224624 3221223808 134558423 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21537 20809 603 41 0 21496 0
vsize: 86148
[startup+590.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28665
Raw data (stat): 28665 (minisat+) R 28664 25347 25346 0 -1 0 21020 0 0 0 58936 68 0 0 25 0 1 0 421054778 88215552 20809 4294967295 134512640 134672761 3221224624 3221223792 134560996 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21537 20809 603 41 0 21496 0
vsize: 86148
[startup+600.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28665
Raw data (stat): 28665 (minisat+) R 28664 25347 25346 0 -1 0 21020 0 0 0 59936 68 0 0 25 0 1 0 421054778 88215552 20809 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21537 20809 603 41 0 21496 0
vsize: 86148
[startup+610.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28665
Raw data (stat): 28665 (minisat+) R 28664 25347 25346 0 -1 0 21020 0 0 0 60936 68 0 0 25 0 1 0 421054778 88215552 20809 4294967295 134512640 134672761 3221224624 3221223792 134560869 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21537 20809 603 41 0 21496 0
vsize: 86148
[startup+620.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28665
Raw data (stat): 28665 (minisat+) R 28664 25347 25346 0 -1 0 21020 0 0 0 61936 68 0 0 25 0 1 0 421054778 88215552 20809 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21537 20809 603 41 0 21496 0
vsize: 86148
[startup+630.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28665
Raw data (stat): 28665 (minisat+) R 28664 25347 25346 0 -1 0 21020 0 0 0 62936 68 0 0 25 0 1 0 421054778 88215552 20809 4294967295 134512640 134672761 3221224624 3221223824 134557895 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21537 20809 603 41 0 21496 0
vsize: 86148
[startup+640.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28665
Raw data (stat): 28665 (minisat+) R 28664 25347 25346 0 -1 0 21020 0 0 0 63937 68 0 0 25 0 1 0 421054778 88215552 20809 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21537 20809 603 41 0 21496 0
vsize: 86148
[startup+650.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28665
Raw data (stat): 28665 (minisat+) R 28664 25347 25346 0 -1 0 21020 0 0 0 64937 68 0 0 25 0 1 0 421054778 88215552 20809 4294967295 134512640 134672761 3221224624 3221223792 134560830 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21537 20809 603 41 0 21496 0
vsize: 86148
[startup+660.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28665
Raw data (stat): 28665 (minisat+) R 28664 25347 25346 0 -1 0 21020 0 0 0 65937 68 0 0 25 0 1 0 421054778 88215552 20809 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21537 20809 603 41 0 21496 0
vsize: 86148
[startup+670.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28665
Raw data (stat): 28665 (minisat+) R 28664 25347 25346 0 -1 0 21020 0 0 0 66937 68 0 0 25 0 1 0 421054778 88215552 20809 4294967295 134512640 134672761 3221224624 3221223792 134561190 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21537 20809 603 41 0 21496 0
vsize: 86148
[startup+680.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28665
Raw data (stat): 28665 (minisat+) R 28664 25347 25346 0 -1 0 21020 0 0 0 67937 68 0 0 25 0 1 0 421054778 88215552 20809 4294967295 134512640 134672761 3221224624 3221223792 134560869 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21537 20809 603 41 0 21496 0
vsize: 86148
[startup+690.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28665
Raw data (stat): 28665 (minisat+) R 28664 25347 25346 0 -1 0 21020 0 0 0 68938 68 0 0 25 0 1 0 421054778 88215552 20809 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21537 20809 603 41 0 21496 0
vsize: 86148
[startup+700.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28665
Raw data (stat): 28665 (minisat+) R 28664 25347 25346 0 -1 0 21020 0 0 0 69938 68 0 0 25 0 1 0 421054778 88215552 20809 4294967295 134512640 134672761 3221224624 3221223792 134561272 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21537 20809 603 41 0 21496 0
vsize: 86148
[startup+710.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28665
Raw data (stat): 28665 (minisat+) R 28664 25347 25346 0 -1 0 21020 0 0 0 70938 68 0 0 25 0 1 0 421054778 88215552 20809 4294967295 134512640 134672761 3221224624 3221223792 134560830 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21537 20809 603 41 0 21496 0
vsize: 86148
[startup+720.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28665
Raw data (stat): 28665 (minisat+) R 28664 25347 25346 0 -1 0 21020 0 0 0 71938 68 0 0 25 0 1 0 421054778 88215552 20809 4294967295 134512640 134672761 3221224624 3221223680 134565092 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21537 20809 603 41 0 21496 0
vsize: 86148
[startup+730.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28665
Raw data (stat): 28665 (minisat+) R 28664 25347 25346 0 -1 0 21020 0 0 0 72939 68 0 0 25 0 1 0 421054778 88215552 20809 4294967295 134512640 134672761 3221224624 3221223792 134560988 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21537 20809 603 41 0 21496 0
vsize: 86148
[startup+740.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28665
Raw data (stat): 28665 (minisat+) R 28664 25347 25346 0 -1 0 21020 0 0 0 73939 68 0 0 25 0 1 0 421054778 88215552 20809 4294967295 134512640 134672761 3221224624 3221223792 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21537 20809 603 41 0 21496 0
vsize: 86148
[startup+750.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28665
Raw data (stat): 28665 (minisat+) R 28664 25347 25346 0 -1 0 21020 0 0 0 74939 68 0 0 25 0 1 0 421054778 88215552 20809 4294967295 134512640 134672761 3221224624 3221223792 134561198 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21537 20809 603 41 0 21496 0
vsize: 86148
[startup+760.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28665
Raw data (stat): 28665 (minisat+) R 28664 25347 25346 0 -1 0 21020 0 0 0 75939 68 0 0 25 0 1 0 421054778 88215552 20809 4294967295 134512640 134672761 3221224624 3221223792 134560940 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21537 20809 603 41 0 21496 0
vsize: 86148
[startup+770.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28665
Raw data (stat): 28665 (minisat+) R 28664 25347 25346 0 -1 0 21020 0 0 0 76939 68 0 0 25 0 1 0 421054778 88215552 20809 4294967295 134512640 134672761 3221224624 3221223808 134559622 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21537 20809 603 41 0 21496 0
vsize: 86148
[startup+780.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28665
Raw data (stat): 28665 (minisat+) R 28664 25347 25346 0 -1 0 21020 0 0 0 77939 68 0 0 25 0 1 0 421054778 88215552 20809 4294967295 134512640 134672761 3221224624 3221223792 134561229 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21537 20809 603 41 0 21496 0
vsize: 86148
[startup+790.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28665
Raw data (stat): 28665 (minisat+) R 28664 25347 25346 0 -1 0 21020 0 0 0 78940 68 0 0 25 0 1 0 421054778 88215552 20809 4294967295 134512640 134672761 3221224624 3221223792 134561151 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21537 20809 603 41 0 21496 0
vsize: 86148
[startup+800.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28665
Raw data (stat): 28665 (minisat+) R 28664 25347 25346 0 -1 0 21371 0 0 0 79939 69 0 0 25 0 1 0 421054778 89686016 21160 4294967295 134512640 134672761 3221224624 3221223792 134561229 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21896 21160 603 41 0 21855 0
vsize: 87584
[startup+810.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28665
Raw data (stat): 28665 (minisat+) R 28664 25347 25346 0 -1 0 21778 0 0 0 80938 70 0 0 25 0 1 0 421054778 91414528 21567 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 22318 21567 603 41 0 22277 0
vsize: 89272
[startup+820.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28665
Raw data (stat): 28665 (minisat+) R 28664 25347 25346 0 -1 0 22154 0 0 0 81938 70 0 0 25 0 1 0 421054778 92889088 21943 4294967295 134512640 134672761 3221224624 3221223792 134560988 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 22678 21943 603 41 0 22637 0
vsize: 90712
[startup+830.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28665
Raw data (stat): 28665 (minisat+) R 28664 25347 25346 0 -1 0 22558 0 0 0 82937 71 0 0 25 0 1 0 421054778 94621696 22347 4294967295 134512640 134672761 3221224624 3221223792 134561005 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 23101 22347 603 41 0 23060 0
vsize: 92404
[startup+840.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28665
Raw data (stat): 28665 (minisat+) R 28664 25347 25346 0 -1 0 22958 0 0 0 83936 72 0 0 25 0 1 0 421054778 96210944 22747 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 23489 22747 603 41 0 23448 0
vsize: 93956
[startup+850.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28665
Raw data (stat): 28665 (minisat+) R 28664 25347 25346 0 -1 0 23408 0 0 0 84934 74 0 0 25 0 1 0 421054778 98091008 23197 4294967295 134512640 134672761 3221224624 3221223792 134561154 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 23948 23197 603 41 0 23907 0
vsize: 95792
[startup+860.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28665
Raw data (stat): 28665 (minisat+) R 28664 25347 25346 0 -1 0 23669 0 0 0 85933 75 0 0 25 0 1 0 421054778 99168256 23458 4294967295 134512640 134672761 3221224624 3221223792 134561151 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24211 23458 603 41 0 24170 0
vsize: 96844
[startup+870.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28665
Raw data (stat): 28665 (minisat+) R 28664 25347 25346 0 -1 0 23944 0 0 0 86933 75 0 0 25 0 1 0 421054778 100245504 23733 4294967295 134512640 134672761 3221224624 3221223728 134560191 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24474 23733 603 41 0 24433 0
vsize: 97896
[startup+880.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28665
Raw data (stat): 28665 (minisat+) R 28664 25347 25346 0 -1 0 24319 0 0 0 87932 77 0 0 25 0 1 0 421054778 101855232 24108 4294967295 134512640 134672761 3221224624 3221223792 134561193 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24867 24108 603 41 0 24826 0
vsize: 99468
[startup+890.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28665
Raw data (stat): 28665 (minisat+) R 28664 25347 25346 0 -1 0 24690 0 0 0 88931 77 0 0 25 0 1 0 421054778 103321600 24479 4294967295 134512640 134672761 3221224624 3221223808 134558671 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 25225 24479 603 41 0 25184 0
vsize: 100900
[startup+900.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28665
Raw data (stat): 28665 (minisat+) R 28664 25347 25346 0 -1 0 25123 0 0 0 89930 79 0 0 25 0 1 0 421054778 105066496 24912 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 25651 24912 603 41 0 25610 0
vsize: 102604
[startup+910.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28665
Raw data (stat): 28665 (minisat+) R 28664 25347 25346 0 -1 0 25580 0 0 0 90929 80 0 0 25 0 1 0 421054778 106926080 25369 4294967295 134512640 134672761 3221224624 3221223824 134557842 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26105 25369 603 41 0 26064 0
vsize: 104420
[startup+920.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28665
Raw data (stat): 28665 (minisat+) R 28664 25347 25346 0 -1 0 25979 0 0 0 91928 82 0 0 25 0 1 0 421054778 108658688 25768 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26528 25768 603 41 0 26487 0
vsize: 106112
[startup+930.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28665
Raw data (stat): 28665 (minisat+) R 28664 25347 25346 0 -1 0 26389 0 0 0 92926 83 0 0 25 0 1 0 421054778 110264320 26178 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26920 26178 603 41 0 26879 0
vsize: 107680
[startup+940.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28665
Raw data (stat): 28665 (minisat+) R 28664 25347 25346 0 -1 0 26842 0 0 0 93925 84 0 0 25 0 1 0 421054778 112144384 26631 4294967295 134512640 134672761 3221224624 3221223624 1075350517 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 27379 26631 603 41 0 27338 0
vsize: 109516
[startup+950.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28665
Raw data (stat): 28665 (minisat+) R 28664 25347 25346 0 -1 0 27163 0 0 0 94925 85 0 0 25 0 1 0 421054778 113483776 26952 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 27706 26952 603 41 0 27665 0
vsize: 110824
[startup+960.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28665
Raw data (stat): 28665 (minisat+) R 28664 25347 25346 0 -1 0 27442 0 0 0 95924 86 0 0 25 0 1 0 421054778 114552832 27231 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 27967 27231 603 41 0 27926 0
vsize: 111868
[startup+970.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28665
Raw data (stat): 28665 (minisat+) R 28664 25347 25346 0 -1 0 27721 0 0 0 96923 87 0 0 25 0 1 0 421054778 116285440 27510 4294967295 134512640 134672761 3221224624 3221223776 134561249 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28390 27510 603 41 0 28349 0
vsize: 113560
[startup+980.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28665
Raw data (stat): 28665 (minisat+) R 28664 25347 25346 0 -1 0 28079 0 0 0 97923 87 0 0 25 0 1 0 421054778 117755904 27868 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28749 27868 603 41 0 28708 0
vsize: 114996
[startup+990.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28665
Raw data (stat): 28665 (minisat+) R 28664 25347 25346 0 -1 0 28298 0 0 0 98923 88 0 0 25 0 1 0 421054778 118550528 28087 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28943 28087 603 41 0 28902 0
vsize: 115772
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28665
Raw data (stat): 28665 (minisat+) R 28664 25347 25346 0 -1 0 28469 0 0 0 99922 88 0 0 25 0 1 0 421054778 119357440 28258 4294967295 134512640 134672761 3221224624 3221223792 134560888 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 29140 28258 603 41 0 29099 0
vsize: 116560
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28665
Raw data (stat): 28665 (minisat+) R 28664 25347 25346 0 -1 0 28772 0 0 0 100921 90 0 0 25 0 1 0 421054778 120549376 28561 4294967295 134512640 134672761 3221224624 3221223760 134560688 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 29431 28561 603 41 0 29390 0
vsize: 117724
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28665
Raw data (stat): 28665 (minisat+) R 28664 25347 25346 0 -1 0 29191 0 0 0 101921 90 0 0 25 0 1 0 421054778 122286080 28980 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 29855 28980 603 41 0 29814 0
vsize: 119420
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28665
Raw data (stat): 28665 (minisat+) R 28664 25347 25346 0 -1 0 29541 0 0 0 102920 91 0 0 25 0 1 0 421054778 123736064 29330 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 30209 29330 603 41 0 30168 0
vsize: 120836
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28665
Raw data (stat): 28665 (minisat+) R 28664 25347 25346 0 -1 0 29911 0 0 0 103919 92 0 0 25 0 1 0 421054778 125214720 29700 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 30570 29700 603 41 0 30529 0
vsize: 122280
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28665
Raw data (stat): 28665 (minisat+) R 28664 25347 25346 0 -1 0 30079 0 0 0 104919 93 0 0 25 0 1 0 421054778 125886464 29868 4294967295 134512640 134672761 3221224624 3221223792 134560830 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 30734 29868 603 41 0 30693 0
vsize: 122936
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28665
Raw data (stat): 28665 (minisat+) R 28664 25347 25346 0 -1 0 30307 0 0 0 105918 94 0 0 25 0 1 0 421054778 126816256 30096 4294967295 134512640 134672761 3221224624 3221223792 134561198 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 30961 30096 603 41 0 30920 0
vsize: 123844
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28665
Raw data (stat): 28665 (minisat+) R 28664 25347 25346 0 -1 0 30624 0 0 0 106917 95 0 0 25 0 1 0 421054778 128155648 30413 4294967295 134512640 134672761 3221224624 3221223792 134561118 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 31288 30413 603 41 0 31247 0
vsize: 125152
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28665
Raw data (stat): 28665 (minisat+) R 28664 25347 25346 0 -1 0 30852 0 0 0 107916 96 0 0 25 0 1 0 421054778 129081344 30641 4294967295 134512640 134672761 3221224624 3221223792 134560996 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 31514 30641 603 41 0 31473 0
vsize: 126056
[startup+1090.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28665
Raw data (stat): 28665 (minisat+) R 28664 25347 25346 0 -1 0 31101 0 0 0 108916 96 0 0 25 0 1 0 421054778 130027520 30890 4294967295 134512640 134672761 3221224624 3221223792 134561193 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 31745 30890 603 41 0 31704 0
vsize: 126980
[startup+1100.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28665
Raw data (stat): 28665 (minisat+) R 28664 25347 25346 0 -1 0 31427 0 0 0 109916 97 0 0 25 0 1 0 421054778 131366912 31216 4294967295 134512640 134672761 3221224624 3221223764 134560556 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 32072 31216 603 41 0 32031 0
vsize: 128288
[startup+1110.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28665
Raw data (stat): 28665 (minisat+) R 28664 25347 25346 0 -1 0 31670 0 0 0 110915 98 0 0 25 0 1 0 421054778 132300800 31459 4294967295 134512640 134672761 3221224624 3221223792 134560869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 32300 31459 603 41 0 32259 0
vsize: 129200
[startup+1120.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28665
Raw data (stat): 28665 (minisat+) R 28664 25347 25346 0 -1 0 31891 0 0 0 111913 99 0 0 25 0 1 0 421054778 133238784 31680 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 32529 31680 603 41 0 32488 0
vsize: 130116
[startup+1130.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/58 28699
Raw data (stat): 28665 (minisat+) R 28664 25347 25346 0 -1 0 32181 0 0 0 112911 100 0 0 25 0 1 0 421054778 134434816 31970 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 32821 31970 603 41 0 32780 0
vsize: 131284
[startup+1140.01 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 28718
Raw data (stat): 28665 (minisat+) R 28664 25347 25346 0 -1 0 32431 0 0 0 113906 105 0 0 25 0 1 0 421054778 135495680 32220 4294967295 134512640 134672761 3221224624 3221223792 134560940 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 33080 32220 603 41 0 33039 0
vsize: 132320
[startup+1150.01 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 28718
Raw data (stat): 28665 (minisat+) R 28664 25347 25346 0 -1 0 32693 0 0 0 114906 106 0 0 25 0 1 0 421054778 136556544 32482 4294967295 134512640 134672761 3221224624 3221223728 134560196 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 33339 32482 603 41 0 33298 0
vsize: 133356
[startup+1160.01 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 28718
Raw data (stat): 28665 (minisat+) R 28664 25347 25346 0 -1 0 32945 0 0 0 115905 106 0 0 25 0 1 0 421054778 137502720 32734 4294967295 134512640 134672761 3221224624 3221223728 134560229 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 33570 32734 603 41 0 33529 0
vsize: 134280
[startup+1170.01 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 28718
Raw data (stat): 28665 (minisat+) R 28664 25347 25346 0 -1 0 33206 0 0 0 116905 107 0 0 25 0 1 0 421054778 138579968 32995 4294967295 134512640 134672761 3221224624 3221223728 134560229 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 33833 32995 603 41 0 33792 0
vsize: 135332
[startup+1180.01 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 28718
Raw data (stat): 28665 (minisat+) R 28664 25347 25346 0 -1 0 33426 0 0 0 117905 107 0 0 25 0 1 0 421054778 139522048 33215 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 34063 33215 603 41 0 34022 0
vsize: 136252
[startup+1190.01 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 28718
Raw data (stat): 28665 (minisat+) R 28664 25347 25346 0 -1 0 33656 0 0 0 118905 108 0 0 25 0 1 0 421054778 140460032 33445 4294967295 134512640 134672761 3221224624 3221223792 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 34292 33445 603 41 0 34251 0
vsize: 137168
[startup+1200.01 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 28718
Raw data (stat): 28665 (minisat+) R 28664 25347 25346 0 -1 0 33995 0 0 0 119904 108 0 0 25 0 1 0 421054778 141799424 33784 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 34619 33784 603 41 0 34578 0
vsize: 138476
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.08 s]
Raw data (loadavg): 1.02 0.99 0.91 1/54 28718
Raw data (stat): 28665 (minisat+) Z 28664 25347 25346 0 -1 12 33998 0 0 0 119904 115 0 0 25 0 1 0 421054778 0 0 4294967295 0 0 0 0 0 0 16384 5 16386 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 10
Real time (s): 1200.08
CPU time (s): 1200.2
CPU user time (s): 1199.05
CPU system time (s): 1.15182
CPU usage (%): 100.01
Max. virtual memory (Kb): 138476
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####