PB'05 competition: run trace

Some explanations

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

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

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        841444 kB
Buffers:         35728 kB
Cached:         119436 kB
SwapCached:         12 kB
Active:          54560 kB
Inactive:       103488 kB
HighTotal:      131008 kB
HighFree:         8064 kB
LowTotal:       903652 kB
LowFree:        833380 kB
SwapTotal:     2097892 kB
SwapFree:      2097880 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6928 kB
Slab:            29476 kB
Committed_AS:    63492 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-13 21:58:44 (client local time) WITH STATUS 10 IN 1200.22 SECONDS
stats: 3047 7 1200.22 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Parsing PB file...
c Converting 94227 PB-constraints to clauses...
c   -- Unit propagations: (none)
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): ...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |         0 |   94227   188454 |   31409       0        0     nan |  0.000 % |
c ==============================================================================
c [1mFound solution: -36[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:70300     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |         0 |  169273   364509 |   56424       0        0     nan |  0.000 % |
c |       100 |  168899   363733 |   62066      65      591     9.1 |  0.407 % |
c |       250 |  168502   362906 |   68273     198     1311     6.6 |  0.828 % |
c |       475 |  167076   359832 |   75100     351     2932     8.4 |  2.494 % |
c |       812 |  165133   355593 |   82610     631     5067     8.0 |  4.688 % |
c |      1319 |  162313   349369 |   90871     972     8957     9.2 |  8.080 % |
c |      2078 |  157982   339700 |   99958    1468    15263    10.4 | 13.235 % |
c ==============================================================================
c [1mFound solution: -39[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |      2296 |  157388   338635 |   52462    1645    17452    10.6 | 13.235 % |
c |      2397 |  157059   337878 |   57708    1732    17985    10.4 | 14.608 % |
c |      2548 |  155840   335129 |   63479    1821    18984    10.4 | 16.160 % |
c |      2773 |  154165   331306 |   69826    1966    20681    10.5 | 18.177 % |
c |      3110 |  151458   325155 |   76809    2174    23582    10.8 | 21.604 % |
c |      3616 |  147626   316455 |   84490    2526    28129    11.1 | 26.258 % |
c |      4375 |  143472   307009 |   92939    3028    34893    11.5 | 31.480 % |
c |      5514 |  137035   292201 |  102233    3700    43332    11.7 | 39.456 % |
c |      7223 |  129643   274879 |  112456    4787    55808    11.7 | 48.879 % |
c |      9785 |  121178   254842 |  123702    6238    75388    12.1 | 60.010 % |
c |     13629 |  111810   232544 |  136072    8363   107856    12.9 | 72.370 % |
c ==============================================================================
c [1mFound solution: -40[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     13714 |  111791   232457 |   37263    8438   110430    13.1 | 72.370 % |
c |     13815 |  111736   232336 |   40989    8517   111608    13.1 | 72.463 % |
c |     13965 |  111449   231624 |   45088    8613   112090    13.0 | 72.865 % |
c |     14191 |  110875   230219 |   49597    8726   114161    13.1 | 73.663 % |
c |     14528 |  110330   228918 |   54556    8862   116391    13.1 | 74.395 % |
c |     15034 |  109915   227905 |   60012    9207   123608    13.4 | 74.966 % |
c ==============================================================================
c [1mFound solution: -41[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     15297 |  109425   226747 |   36475    9363   132070    14.1 | 74.966 % |
c |     15397 |  108928   225548 |   40122    9368   131994    14.1 | 76.327 % |
c |     15547 |  108861   225391 |   44134    9505   134463    14.1 | 76.414 % |
c |     15772 |  108187   223757 |   48548    9615   136618    14.2 | 77.343 % |
c |     16110 |  108184   223750 |   53403    9952   143364    14.4 | 77.347 % |
c |     16616 |  107846   222930 |   58743   10285   150811    14.7 | 77.809 % |
c |     17375 |  107492   222096 |   64617   10880   162733    15.0 | 78.273 % |
c |     18516 |  106409   219476 |   71079   11485   183931    16.0 | 79.751 % |
c |     20224 |  105563   217441 |   78187   12695   231153    18.2 | 80.890 % |
c ==============================================================================
c [1mFound solution: -42[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     22454 |  104461   214676 |   34820   14284   295984    20.7 | 80.890 % |
c |     22554 |  104247   214159 |   38302   14343   296650    20.7 | 82.669 % |
c |     22704 |  104230   214116 |   42132   14478   302277    20.9 | 82.695 % |
c |     22929 |  104077   213747 |   46345   14609   305744    20.9 | 82.903 % |
c |     23266 |  103810   213088 |   50979   14674   310610    21.2 | 83.278 % |
c |     23772 |  103661   212727 |   56077   15056   324943    21.6 | 83.483 % |
c |     24531 |  103661   212727 |   61685   15815   342397    21.7 | 83.483 % |
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 |     24866 |  103578   212555 |   34526   15940   354982    22.3 | 83.483 % |
c |     24966 |  103452   212229 |   37978   15957   356178    22.3 | 83.832 % |
c |     25116 |  103157   211504 |   41776   15858   355829    22.4 | 84.245 % |
c |     25342 |  103098   211357 |   45954   15982   361200    22.6 | 84.328 % |
c |     25679 |  103060   211263 |   50549   16275   374557    23.0 | 84.383 % |
c |     26186 |  103044   211225 |   55604   16717   403210    24.1 | 84.404 % |
c |     26946 |  102964   211037 |   61164   17402   448444    25.8 | 84.509 % |
c |     28085 |  102796   210627 |   67281   18302   513844    28.1 | 84.741 % |
c |     29794 |  102287   209397 |   74009   19277   595883    30.9 | 85.430 % |
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 |     30805 |  102185   209122 |   34061   19877   649107    32.7 | 85.430 % |
c |     30905 |  102181   209112 |   37467   19960   650513    32.6 | 85.578 % |
c |     31055 |  102181   209112 |   41213   20110   656361    32.6 | 85.578 % |
c |     31280 |  102181   209112 |   45335   20335   662267    32.6 | 85.578 % |
c |     31617 |  102139   209012 |   49868   20565   689479    33.5 | 85.635 % |
c |     32123 |  102135   209002 |   54855   21042   708226    33.7 | 85.640 % |
c |     32883 |  102044   208779 |   60341   21692   763522    35.2 | 85.765 % |
c |     34023 |  101908   208436 |   66375   22590   857752    38.0 | 85.961 % |
c |     35731 |  101761   208078 |   73012   24035   977376    40.7 | 86.166 % |
c |     38294 |  101248   206822 |   80314   25704  1211706    47.1 | 86.880 % |
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 |     40062 |  101189   206683 |   33729   27299  1370590    50.2 | 86.880 % |
c |     40164 |  101153   206593 |   37101   27290  1368576    50.1 | 87.022 % |
c |     40314 |  101153   206593 |   40812   27440  1373157    50.0 | 87.022 % |
c |     40539 |  101153   206593 |   44893   27665  1390604    50.3 | 87.022 % |
c |     40877 |  101147   206579 |   49382   27982  1417890    50.7 | 87.029 % |
c |     41383 |  101089   206432 |   54320   28284  1476102    52.2 | 87.111 % |
c |     42142 |  101046   206333 |   59752   28842  1548069    53.7 | 87.164 % |
c |     43281 |  101030   206295 |   65728   29940  1653263    55.2 | 87.185 % |
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 |     43660 |  101019   206233 |   33673   30108  1656622    55.0 | 87.185 % |
c |     43762 |  100999   206179 |   37040   30194  1661991    55.0 | 87.234 % |
c |     43912 |  100999   206179 |   40744   30344  1674049    55.2 | 87.234 % |
c |     44138 |  100999   206179 |   44818   30570  1677140    54.9 | 87.234 % |
c |     44476 |  100999   206179 |   49300   30908  1697757    54.9 | 87.234 % |
c |     44983 |  100999   206179 |   54230   31415  1748048    55.6 | 87.234 % |
c |     45742 |  100961   206093 |   59653   32036  1808118    56.4 | 87.281 % |
c |     46881 |  100961   206093 |   65619   33175  1962362    59.2 | 87.281 % |
c |     48589 |  100961   206093 |   72181   34883  2133447    61.2 | 87.281 % |
c |     51151 |  100916   205984 |   79399   37289  2446159    65.6 | 87.343 % |
c |     54995 |  100889   205925 |   87339   40682  2985421    73.4 | 87.374 % |
c |     60761 |  100889   205925 |   96072   46448  3854427    83.0 | 87.374 % |
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 |     65334 |  100853   205854 |   33617   50820  4571720    90.0 | 87.374 % |
c |     65434 |  100853   205854 |   36978   50920  4575895    89.9 | 87.450 % |
c |     65584 |  100853   205854 |   40676   51070  4590180    89.9 | 87.450 % |
c |     65809 |  100853   205854 |   44744   51295  4602588    89.7 | 87.450 % |
c |     66148 |  100853   205854 |   49218   51634  4624017    89.6 | 87.450 % |
c |     66654 |  100853   205854 |   54140   52140  4670967    89.6 | 87.450 % |
c |     67414 |  100814   205757 |   59554   52773  4715984    89.4 | 87.506 % |
c |     68553 |  100814   205757 |   65510   53912  4839522    89.8 | 87.506 % |
c |     70261 |  100814   205757 |   72061   55620  5031215    90.5 | 87.506 % |
c |     72824 |  100814   205757 |   79267   58183  5325863    91.5 | 87.506 % |
c |     76668 |  100814   205757 |   87193   62027  5737838    92.5 | 87.506 % |
c |     82434 |  100720   205535 |   95913   67266  6413842    95.4 | 87.630 % |
c |     91084 |  100718   205529 |  105504   75912  7268264    95.7 | 87.634 % |
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 |     94590 |  100693   205448 |   33564   79088  7509816    95.0 | 87.634 % |
c |     94690 |  100693   205448 |   36920   19014  1203514    63.3 | 87.669 % |
c |     94840 |  100693   205448 |   40612   19164  1215224    63.4 | 87.669 % |
c |     95066 |  100610   205251 |   44673   19386  1226784    63.3 | 87.776 % |
c |     95404 |  100605   205238 |   49141   19716  1247119    63.3 | 87.784 % |
c |     95910 |  100605   205238 |   54055   20222  1293892    64.0 | 87.784 % |
c |     96671 |  100605   205238 |   59460   20983  1362659    64.9 | 87.784 % |
c |     97810 |  100602   205231 |   65406   22119  1452373    65.7 | 87.788 % |
c |     99519 |  100602   205231 |   71947   23828  1570680    65.9 | 87.788 % |
c |    102082 |  100602   205231 |   79142   26391  1796590    68.1 | 87.788 % |
c |    105926 |  100524   205033 |   87056   30221  2254790    74.6 | 87.904 % |
c |    111693 |  100513   205008 |   95762   35977  2865103    79.6 | 87.917 % |
c |    120342 |  100496   204969 |  105338   44621  3803842    85.2 | 87.939 % |
c |    133316 |  100496   204969 |  115872   57595  5193648    90.2 | 87.939 % |
c |    152777 |  100477   204922 |  127459   77043  7291374    94.6 | 87.966 % |
c |    181969 |  100467   204900 |  140205  106227 10898164   102.6 | 87.978 % |
c |    225758 |  100436   204820 |  154225  149983 15472459   103.2 | 88.024 % |
c |    291443 |  100430   204806 |  169648   36460  2449536    67.2 | 88.032 % |
c 
c *** TERMINATED ***
s SATISFIABLE
v -C1272 -C1271 -C1270 -C1269 -C1268 -C1267 -C1266 -C1265 -C1264 -C1263 -C1262 -C1261 -C1260 -C1259 -C1258 -C1257 -C1256 -C1255 -C1254 -C1253 -C1252 -C1251 C1250 -C1249 -C1248 -C1247 C1246 -C1245 -C1244 -C1243 -C1242 -C1241 -C1240 -C1239 -C1238 -C1237 -C1236 -C1235 -C1234 -C1233 -C1232 -C1231 -C1230 -C1229 -C1228 -C1227 -C1226 -C1225 -C1224 -C1223 -C1222 -C1221 -C1220 -C1219 -C1218 -C1217 -C1216 -C1215 -C1214 -C1213 -C1212 -C1211 -C1210 -C1209 -C1208 C1207 -C1206 -C1205 -C1204 -C1203 -C1202 -C1201 -C1200 -C1199 -C1198 -C1197 -C1196 -C1195 -C1194 -C1193 -C1192 -C1191 -C1190 -C1189 -C1188 -C1187 -C1186 -C1185 -C1184 -C1183 -C1182 -C1181 -C1180 -C1179 -C1178 -C1177 -C1176 -C1175 -C1174 -C1173 -C1172 -C1171 -C1170 -C1169 C1168 -C1167 -C1166 -C1165 -C1164 -C1163 -C1162 -C1161 -C1160 -C1159 -C1158 -C1157 -C1156 -C1155 -C1154 -C1153 -C1152 -C1151 -C1150 -C1149 -C1148 -C1147 -C1146 -C1145 -C1144 -C1143 -C1142 C1141 -C1140 -C1139 -C1138 -C1137 -C1136 -C1135 -C1134 -C1133 -C1132 -C1131 -C1130 -C1129 -C1128 -C1127 -C1126 -C1125 -C1124 -C1123 -C1122 C1121 -C1120 -C1119 -C1118 -C1117 -C1116 -C1115 -C1114 -C1113 -C1112 -C1111 -C1110 -C1109 -C1108 -C1107 -C1106 -C1105 -C1104 -C1103 C1102 -C1101 -C1100 -C1099 -C1098 -C1097 -C1096 -C1095 -C1094 -C1093 -C1092 -C1091 -C1090 -C1089 -C1088 -C1087 -C1086 -C1085 -C1084 -C1083 -C1082 -C1081 -C1080 -C1079 -C1078 -C1077 -C1076 -C1075 -C1074 -C1073 -C1072 -C1071 -C1070 -C1069 -C1068 -C1067 -C1066 -C1065 -C1064 -C1063 -C1062 -C1061 -C1060 -C1059 -C1058 C1057 -C1056 -C1055 -C1054 -C1053 -C1052 -C1051 -C1050 C1049 -C1048 -C1047 -C1046 -C1045 -C1044 -C1043 -C1042 -C1041 -C1040 -C1039 -C1038 -C1037 -C1036 -C1035 -C1034 -C1033 -C1032 -C1031 -C1030 -C1029 C1028 -C1027 -C1026 -C1025 -C1024 -C1023 -C1022 -C1021 -C1020 -C1019 -C1018 -C1017 -C1016 -C1015 -C1014 -C1013 -C1012 -C1011 -C1010 -C1009 -C1008 -C1007 -C1006 -C1005 -C1004 -C1003 -C1002 -C1001 -C1000 -C999 -C998 -C997 -C996 -C995 -C994 -C993 C992 -C991 -C990 -C989 -C988 -C987 -C986 -C985 -C984 -C983 -C982 -C981 -C980 -C979 -C978 -C977 -C976 -C975 -C974 -C973 -C972 -C971 -C970 -C969 C968 -C967 -C966 -C965 -C964 -C963 -C962 -C961 -C960 -C959 -C958 -C957 -C956 -C955 -C954 -C953 -C952 C951 -C950 -C949 -C948 -C947 -C946 -C945 -C944 -C943 -C942 -C941 -C940 -C939 -C938 -C937 -C936 -C935 -C934 C933 -C932 -C931 -C930 -C929 -C928 -C927 -C926 -C925 -C924 -C923 -C922 -C921 -C920 -C919 -C918 -C917 -C916 -C915 -C914 -C913 -C912 -C911 -C910 C909 -C908 -C907 -C906 -C905 -C904 -C903 -C902 -C901 -C900 -C899 -C898 -C897 -C896 -C895 -C894 -C893 -C892 -C891 -C890 -C889 -C888 -C887 -C886 -C885 -C884 -C883 -C882 -C881 -C880 -C879 -C878 -C877 -C876 -C875 -C874 -C873 -C872 -C871 -C870 -C869 -C868 C867 -C866 -C865 -C864 -C863 -C862 -C861 -C860 -C859 -C858 C857 -C856 -C855 -C854 -C853 -C852 -C851 -C850 -C849 -C848 -C847 -C846 -C845 -C844 -C843 -C842 -C841 -C840 -C839 -C838 -C837 -C836 -C835 -C834 -C833 -C832 -C831 -C830 -C829 -C828 -C827 -C826 -C825 C824 -C823 -C822 -C821 -C820 -C819 -C818 -C817 -C816 -C815 -C814 -C813 -C812 -C811 -C810 -C809 -C808 -C807 -C806 -C805 -C804 -C803 -C802 -C801 -C800 -C799 -C798 -C797 -C796 C795 -C794 -C793 -C792 -C791 -C790 -C789 -C788 -C787 -C786 -C785 -C784 -C783 -C782 -C781 -C780 -C779 -C778 C777 -C776 -C775 -C774 -C773 -C772 -C771 -C770 -C769 -C768 -C767 -C766 -C765 -C764 -C763 -C762 -C761 -C760 -C759 -C758 -C757 C756 -C755 -C754 -C753 -C752 -C751 -C750 -C749 -C748 -C747 -C746 -C745 -C744 -C743 -C742 -C741 -C740 -C739 C738 -C737 -C736 -C735 -C734 -C733 -C732 -C731 -C730 -C729 -C728 -C727 -C726 -C725 -C724 -C723 -C722 -C721 -C720 -C719 -C718 -C717 -C716 -C715 -C714 -C713 -C712 -C711 -C710 -C709 -C708 -C707 -C706 -C705 -C704 -C703 -C702 -C701 -C700 -C699 -C698 -C697 -C696 -C695 -C694 -C693 -C692 -C691 -C690 -C689 -C688 -C687 -C686 -C685 -C684 -C683 -C682 -C681 -C680 C679 -C678 -C677 -C676 -C675 -C674 -C673 -C672 -C671 -C670 -C669 -C668 -C667 -C666 -C665 C664 -C663 -C662 -C661 -C660 -C659 -C658 -C657 -C656 -C655 -C654 -C653 -C652 -C651 -C650 -C649 -C648 -C647 -C646 -C645 -C644 -C643 -C642 -C641 -C640 -C639 -C6#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.91 0.95 0.90 2/54 30790
Raw data (stat): 30790 (runsolver) R 30789 27222 27221 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 479250989 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.0004 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 30790
Raw data (stat): 30790 (minisat+) R 30789 27222 27221 0 -1 0 5651 0 0 0 984 15 0 0 25 0 1 0 479250989 26193920 5629 4294967295 134512640 134672761 3221224624 3221223820 134556678 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6395 5629 603 41 0 6354 0
vsize: 25580
[startup+20.0006 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 30790
Raw data (stat): 30790 (minisat+) R 30789 27222 27221 0 -1 0 5658 0 0 0 1984 15 0 0 25 0 1 0 479250989 26193920 5636 4294967295 134512640 134672761 3221224624 3221223796 134556634 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6395 5636 603 41 0 6354 0
vsize: 25580
[startup+30.0011 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 30790
Raw data (stat): 30790 (minisat+) R 30789 27222 27221 0 -1 0 5848 0 0 0 2983 15 0 0 25 0 1 0 479250989 27328512 5826 4294967295 134512640 134672761 3221224624 3221223792 134560806 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6672 5826 603 41 0 6631 0
vsize: 26688
[startup+40.0007 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 30790
Raw data (stat): 30790 (minisat+) R 30789 27222 27221 0 -1 0 5848 0 0 0 3982 16 0 0 25 0 1 0 479250989 27328512 5826 4294967295 134512640 134672761 3221224624 3221223824 134561967 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6672 5826 603 41 0 6631 0
vsize: 26688
[startup+50.0016 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 30790
Raw data (stat): 30790 (minisat+) R 30789 27222 27221 0 -1 0 5848 0 0 0 4982 16 0 0 25 0 1 0 479250989 27328512 5826 4294967295 134512640 134672761 3221224624 3221223760 134560703 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6672 5826 603 41 0 6631 0
vsize: 26688
[startup+60.0013 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 30790
Raw data (stat): 30790 (minisat+) R 30789 27222 27221 0 -1 0 5848 0 0 0 5982 16 0 0 25 0 1 0 479250989 27328512 5826 4294967295 134512640 134672761 3221224624 3221223820 134556584 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6672 5826 603 41 0 6631 0
vsize: 26688
[startup+70.0011 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 30790
Raw data (stat): 30790 (minisat+) R 30789 27222 27221 0 -1 0 5848 0 0 0 6982 17 0 0 25 0 1 0 479250989 27328512 5826 4294967295 134512640 134672761 3221224624 3221223828 134561964 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6672 5826 603 41 0 6631 0
vsize: 26688
[startup+80.0024 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 30790
Raw data (stat): 30790 (minisat+) R 30789 27222 27221 0 -1 0 5848 0 0 0 7982 17 0 0 25 0 1 0 479250989 27328512 5826 4294967295 134512640 134672761 3221224624 3221223792 134560948 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6672 5826 603 41 0 6631 0
vsize: 26688
[startup+90.0021 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 30790
Raw data (stat): 30790 (minisat+) R 30789 27222 27221 0 -1 0 5848 0 0 0 8981 18 0 0 25 0 1 0 479250989 27328512 5826 4294967295 134512640 134672761 3221224624 3221223796 134556634 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6672 5826 603 41 0 6631 0
vsize: 26688
[startup+100.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 30790
Raw data (stat): 30790 (minisat+) R 30789 27222 27221 0 -1 0 5861 0 0 0 9981 18 0 0 25 0 1 0 479250989 27435008 5839 4294967295 134512640 134672761 3221224624 3221223792 134560867 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6698 5839 603 41 0 6657 0
vsize: 26792
[startup+110.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 30790
Raw data (stat): 30790 (minisat+) R 30789 27222 27221 0 -1 0 5880 0 0 0 10981 18 0 0 25 0 1 0 479250989 27435008 5857 4294967295 134512640 134672761 3221224624 3221223824 134561967 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6698 5857 603 41 0 6657 0
vsize: 26792
[startup+120.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30790
Raw data (stat): 30790 (minisat+) R 30789 27222 27221 0 -1 0 6059 0 0 0 11980 19 0 0 25 0 1 0 479250989 28131328 6027 4294967295 134512640 134672761 3221224624 3221223796 134556598 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6868 6027 603 41 0 6827 0
vsize: 27472
[startup+130.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30790
Raw data (stat): 30790 (minisat+) R 30789 27222 27221 0 -1 0 6310 0 0 0 12979 21 0 0 25 0 1 0 479250989 29179904 6269 4294967295 134512640 134672761 3221224624 3221223796 134556598 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7124 6269 603 41 0 7083 0
vsize: 28496
[startup+140.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30790
Raw data (stat): 30790 (minisat+) R 30789 27222 27221 0 -1 0 6733 0 0 0 13977 22 0 0 25 0 1 0 479250989 30879744 6684 4294967295 134512640 134672761 3221224624 3221223792 134561190 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7539 6684 603 41 0 7498 0
vsize: 30156
[startup+150.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30790
Raw data (stat): 30790 (minisat+) R 30789 27222 27221 0 -1 0 7223 0 0 0 14976 23 0 0 25 0 1 0 479250989 32890880 7174 4294967295 134512640 134672761 3221224624 3221223796 134556634 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 8030 7174 603 41 0 7989 0
vsize: 32120
[startup+160.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30790
Raw data (stat): 30790 (minisat+) R 30789 27222 27221 0 -1 0 7654 0 0 0 15974 25 0 0 25 0 1 0 479250989 34566144 7589 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 8439 7589 603 41 0 8398 0
vsize: 33756
[startup+170.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30790
Raw data (stat): 30790 (minisat+) R 30789 27222 27221 0 -1 0 8181 0 0 0 16973 27 0 0 25 0 1 0 479250989 36843520 8116 4294967295 134512640 134672761 3221224624 3221223792 134561229 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 8995 8116 603 41 0 8954 0
vsize: 35980
[startup+180.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30790
Raw data (stat): 30790 (minisat+) R 30789 27222 27221 0 -1 0 8692 0 0 0 17970 30 0 0 25 0 1 0 479250989 38985728 8627 4294967295 134512640 134672761 3221224624 3221223792 134560874 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 9518 8627 603 41 0 9477 0
vsize: 38072
[startup+190.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30790
Raw data (stat): 30790 (minisat+) R 30789 27222 27221 0 -1 0 9278 0 0 0 18969 31 0 0 25 0 1 0 479250989 41394176 9213 4294967295 134512640 134672761 3221224624 3221223728 134560218 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 10106 9213 603 41 0 10065 0
vsize: 40424
[startup+200.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30790
Raw data (stat): 30790 (minisat+) R 30789 27222 27221 0 -1 0 9885 0 0 0 19967 34 0 0 25 0 1 0 479250989 43802624 9820 4294967295 134512640 134672761 3221224624 3221223760 134560677 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 10694 9820 603 41 0 10653 0
vsize: 42776
[startup+210.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30790
Raw data (stat): 30790 (minisat+) R 30789 27222 27221 0 -1 0 10427 0 0 0 20964 37 0 0 25 0 1 0 479250989 46071808 10362 4294967295 134512640 134672761 3221224624 3221223760 134565137 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11248 10362 603 41 0 11207 0
vsize: 44992
[startup+220.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30790
Raw data (stat): 30790 (minisat+) R 30789 27222 27221 0 -1 0 10834 0 0 0 21963 38 0 0 25 0 1 0 479250989 47632384 10760 4294967295 134512640 134672761 3221224624 3221223792 134561164 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11629 10760 603 41 0 11588 0
vsize: 46516
[startup+230.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30790
Raw data (stat): 30790 (minisat+) R 30789 27222 27221 0 -1 0 11217 0 0 0 22961 40 0 0 25 0 1 0 479250989 49233920 11143 4294967295 134512640 134672761 3221224624 3221223624 1075350001 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 12020 11143 603 41 0 11979 0
vsize: 48080
[startup+240.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30790
Raw data (stat): 30790 (minisat+) R 30789 27222 27221 0 -1 0 11606 0 0 0 23960 41 0 0 25 0 1 0 479250989 50696192 11532 4294967295 134512640 134672761 3221224624 3221223792 134561151 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 12377 11532 603 41 0 12336 0
vsize: 49508
[startup+250.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30790
Raw data (stat): 30790 (minisat+) R 30789 27222 27221 0 -1 0 11966 0 0 0 24959 42 0 0 25 0 1 0 479250989 52162560 11892 4294967295 134512640 134672761 3221224624 3221223728 134559914 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 12735 11892 603 41 0 12694 0
vsize: 50940
[startup+260.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30790
Raw data (stat): 30790 (minisat+) R 30789 27222 27221 0 -1 0 12368 0 0 0 25959 43 0 0 25 0 1 0 479250989 53899264 12294 4294967295 134512640 134672761 3221224624 3221223792 134561229 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 13159 12294 603 41 0 13118 0
vsize: 52636
[startup+270.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30790
Raw data (stat): 30790 (minisat+) R 30789 27222 27221 0 -1 0 12709 0 0 0 26957 44 0 0 25 0 1 0 479250989 55492608 12635 4294967295 134512640 134672761 3221224624 3221223728 134560154 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 13548 12635 603 41 0 13507 0
vsize: 54192
[startup+280.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30790
Raw data (stat): 30790 (minisat+) R 30789 27222 27221 0 -1 0 13011 0 0 0 27955 46 0 0 25 0 1 0 479250989 56688640 12937 4294967295 134512640 134672761 3221224624 3221223792 134561005 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 13840 12937 603 41 0 13799 0
vsize: 55360
[startup+290.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30790
Raw data (stat): 30790 (minisat+) R 30789 27222 27221 0 -1 0 13331 0 0 0 28954 47 0 0 25 0 1 0 479250989 58023936 13257 4294967295 134512640 134672761 3221224624 3221223792 134561151 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 14166 13257 603 41 0 14125 0
vsize: 56664
[startup+300.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30790
Raw data (stat): 30790 (minisat+) R 30789 27222 27221 0 -1 0 13645 0 0 0 29953 48 0 0 25 0 1 0 479250989 59355136 13571 4294967295 134512640 134672761 3221224624 3221223792 134561275 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 14491 13571 603 41 0 14450 0
vsize: 57964
[startup+310.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30790
Raw data (stat): 30790 (minisat+) R 30789 27222 27221 0 -1 0 13930 0 0 0 30952 50 0 0 25 0 1 0 479250989 60362752 13848 4294967295 134512640 134672761 3221224624 3221223792 134561001 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 14737 13848 603 41 0 14696 0
vsize: 58948
[startup+320.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30790
Raw data (stat): 30790 (minisat+) R 30789 27222 27221 0 -1 0 13930 0 0 0 31952 50 0 0 25 0 1 0 479250989 60362752 13848 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 14737 13848 603 41 0 14696 0
vsize: 58948
[startup+330.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30790
Raw data (stat): 30790 (minisat+) R 30789 27222 27221 0 -1 0 13930 0 0 0 32951 50 0 0 25 0 1 0 479250989 60362752 13848 4294967295 134512640 134672761 3221224624 3221223792 134561151 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 14737 13848 603 41 0 14696 0
vsize: 58948
[startup+340.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30790
Raw data (stat): 30790 (minisat+) R 30789 27222 27221 0 -1 0 13930 0 0 0 33951 51 0 0 25 0 1 0 479250989 60362752 13848 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 14737 13848 603 41 0 14696 0
vsize: 58948
[startup+350.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30790
Raw data (stat): 30790 (minisat+) R 30789 27222 27221 0 -1 0 13930 0 0 0 34951 51 0 0 25 0 1 0 479250989 60362752 13848 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 14737 13848 603 41 0 14696 0
vsize: 58948
[startup+360.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30790
Raw data (stat): 30790 (minisat+) R 30789 27222 27221 0 -1 0 13930 0 0 0 35951 52 0 0 25 0 1 0 479250989 60362752 13848 4294967295 134512640 134672761 3221224624 3221223792 134561001 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 14737 13848 603 41 0 14696 0
vsize: 58948
[startup+370.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30790
Raw data (stat): 30790 (minisat+) R 30789 27222 27221 0 -1 0 13930 0 0 0 36951 52 0 0 25 0 1 0 479250989 60362752 13848 4294967295 134512640 134672761 3221224624 3221223792 134560830 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 14737 13848 603 41 0 14696 0
vsize: 58948
[startup+380.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30790
Raw data (stat): 30790 (minisat+) R 30789 27222 27221 0 -1 0 13930 0 0 0 37950 52 0 0 25 0 1 0 479250989 60362752 13848 4294967295 134512640 134672761 3221224624 3221223792 134561164 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 14737 13848 603 41 0 14696 0
vsize: 58948
[startup+390.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30790
Raw data (stat): 30790 (minisat+) R 30789 27222 27221 0 -1 0 13930 0 0 0 38950 53 0 0 25 0 1 0 479250989 60362752 13848 4294967295 134512640 134672761 3221224624 3221223824 134557895 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 14737 13848 603 41 0 14696 0
vsize: 58948
[startup+400.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30790
Raw data (stat): 30790 (minisat+) R 30789 27222 27221 0 -1 0 13930 0 0 0 39950 53 0 0 25 0 1 0 479250989 60362752 13848 4294967295 134512640 134672761 3221224624 3221223792 134561190 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 14737 13848 603 41 0 14696 0
vsize: 58948
[startup+410.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30790
Raw data (stat): 30790 (minisat+) R 30789 27222 27221 0 -1 0 13930 0 0 0 40950 53 0 0 25 0 1 0 479250989 60362752 13848 4294967295 134512640 134672761 3221224624 3221223792 134560988 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 14737 13848 603 41 0 14696 0
vsize: 58948
[startup+420.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30790
Raw data (stat): 30790 (minisat+) R 30789 27222 27221 0 -1 0 13930 0 0 0 41950 54 0 0 25 0 1 0 479250989 60362752 13848 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 14737 13848 603 41 0 14696 0
vsize: 58948
[startup+430.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30790
Raw data (stat): 30790 (minisat+) R 30789 27222 27221 0 -1 0 13930 0 0 0 42949 54 0 0 25 0 1 0 479250989 60362752 13848 4294967295 134512640 134672761 3221224624 3221223792 134560980 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 14737 13848 603 41 0 14696 0
vsize: 58948
[startup+440.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30790
Raw data (stat): 30790 (minisat+) R 30789 27222 27221 0 -1 0 13930 0 0 0 43949 54 0 0 25 0 1 0 479250989 60362752 13848 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 14737 13848 603 41 0 14696 0
vsize: 58948
[startup+450.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30790
Raw data (stat): 30790 (minisat+) R 30789 27222 27221 0 -1 0 13930 0 0 0 44949 55 0 0 25 0 1 0 479250989 60362752 13848 4294967295 134512640 134672761 3221224624 3221223728 134560196 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 14737 13848 603 41 0 14696 0
vsize: 58948
[startup+460.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30790
Raw data (stat): 30790 (minisat+) R 30789 27222 27221 0 -1 0 14095 0 0 0 45948 56 0 0 25 0 1 0 479250989 61038592 14013 4294967295 134512640 134672761 3221224624 3221223728 134559838 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 14902 14013 603 41 0 14861 0
vsize: 59608
[startup+470.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30790
Raw data (stat): 30790 (minisat+) R 30789 27222 27221 0 -1 0 14494 0 0 0 46947 57 0 0 25 0 1 0 479250989 62767104 14412 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 15324 14412 603 41 0 15283 0
vsize: 61296
[startup+480.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30790
Raw data (stat): 30790 (minisat+) R 30789 27222 27221 0 -1 0 14890 0 0 0 47945 59 0 0 25 0 1 0 479250989 64364544 14808 4294967295 134512640 134672761 3221224624 3221223792 134560871 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 15714 14808 603 41 0 15673 0
vsize: 62856
[startup+490.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30790
Raw data (stat): 30790 (minisat+) R 30789 27222 27221 0 -1 0 15268 0 0 0 48944 60 0 0 25 0 1 0 479250989 65830912 15186 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16072 15186 603 41 0 16031 0
vsize: 64288
[startup+500.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30790
Raw data (stat): 30790 (minisat+) R 30789 27222 27221 0 -1 0 15638 0 0 0 49943 62 0 0 25 0 1 0 479250989 67424256 15556 4294967295 134512640 134672761 3221224624 3221223792 134561151 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16461 15556 603 41 0 16420 0
vsize: 65844
[startup+510.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30790
Raw data (stat): 30790 (minisat+) R 30789 27222 27221 0 -1 0 16025 0 0 0 50941 63 0 0 25 0 1 0 479250989 69013504 15943 4294967295 134512640 134672761 3221224624 3221223792 134560869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16849 15943 603 41 0 16808 0
vsize: 67396
[startup+520.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30790
Raw data (stat): 30790 (minisat+) R 30789 27222 27221 0 -1 0 16393 0 0 0 51940 64 0 0 25 0 1 0 479250989 70475776 16311 4294967295 134512640 134672761 3221224624 3221223792 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 17206 16311 603 41 0 17165 0
vsize: 68824
[startup+530.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30790
Raw data (stat): 30790 (minisat+) R 30789 27222 27221 0 -1 0 16739 0 0 0 52940 65 0 0 25 0 1 0 479250989 71806976 16657 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 17531 16657 603 41 0 17490 0
vsize: 70124
[startup+540.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30790
Raw data (stat): 30790 (minisat+) R 30789 27222 27221 0 -1 0 17045 0 0 0 53939 66 0 0 25 0 1 0 479250989 73142272 16963 4294967295 134512640 134672761 3221224624 3221223792 134560869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 17857 16963 603 41 0 17816 0
vsize: 71428
[startup+550.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30790
Raw data (stat): 30790 (minisat+) R 30789 27222 27221 0 -1 0 17360 0 0 0 54938 68 0 0 25 0 1 0 479250989 74330112 17278 4294967295 134512640 134672761 3221224624 3221223728 134560243 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 18147 17278 603 41 0 18106 0
vsize: 72588
[startup+560.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30790
Raw data (stat): 30790 (minisat+) R 30789 27222 27221 0 -1 0 17663 0 0 0 55937 69 0 0 25 0 1 0 479250989 75665408 17581 4294967295 134512640 134672761 3221224624 3221223792 134560871 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 18473 17581 603 41 0 18432 0
vsize: 73892
[startup+570.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30790
Raw data (stat): 30790 (minisat+) R 30789 27222 27221 0 -1 0 17866 0 0 0 56936 70 0 0 25 0 1 0 479250989 76476416 17784 4294967295 134512640 134672761 3221224624 3221223760 134560677 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 18671 17784 603 41 0 18630 0
vsize: 74684
[startup+580.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30790
Raw data (stat): 30790 (minisat+) R 30789 27222 27221 0 -1 0 18135 0 0 0 57935 70 0 0 25 0 1 0 479250989 77541376 18053 4294967295 134512640 134672761 3221224624 3221223728 134560235 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 18931 18053 603 41 0 18890 0
vsize: 75724
[startup+590.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30790
Raw data (stat): 30790 (minisat+) R 30789 27222 27221 0 -1 0 18380 0 0 0 58934 71 0 0 25 0 1 0 479250989 78475264 18298 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19159 18298 603 41 0 19118 0
vsize: 76636
[startup+600.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30790
Raw data (stat): 30790 (minisat+) R 30789 27222 27221 0 -1 0 18667 0 0 0 59933 73 0 0 25 0 1 0 479250989 79671296 18585 4294967295 134512640 134672761 3221224624 3221223728 134560322 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19451 18585 603 41 0 19410 0
vsize: 77804
[startup+610.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30790
Raw data (stat): 30790 (minisat+) R 30789 27222 27221 0 -1 0 18975 0 0 0 60933 74 0 0 25 0 1 0 479250989 80994304 18893 4294967295 134512640 134672761 3221224624 3221223808 134559385 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19774 18893 603 41 0 19733 0
vsize: 79096
[startup+620.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30790
Raw data (stat): 30790 (minisat+) R 30789 27222 27221 0 -1 0 19221 0 0 0 61932 75 0 0 25 0 1 0 479250989 81924096 19139 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 20001 19139 603 41 0 19960 0
vsize: 80004
[startup+630.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30790
Raw data (stat): 30790 (minisat+) R 30789 27222 27221 0 -1 0 19471 0 0 0 62931 76 0 0 25 0 1 0 479250989 82989056 19389 4294967295 134512640 134672761 3221224624 3221223792 134561190 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 20261 19389 603 41 0 20220 0
vsize: 81044
[startup+640.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30790
Raw data (stat): 30790 (minisat+) R 30789 27222 27221 0 -1 0 19728 0 0 0 63930 77 0 0 25 0 1 0 479250989 84045824 19646 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 20519 19646 603 41 0 20478 0
vsize: 82076
[startup+650.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30790
Raw data (stat): 30790 (minisat+) R 30789 27222 27221 0 -1 0 20009 0 0 0 64929 78 0 0 25 0 1 0 479250989 85106688 19927 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 20778 19927 603 41 0 20737 0
vsize: 83112
[startup+660.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30790
Raw data (stat): 30790 (minisat+) R 30789 27222 27221 0 -1 0 20263 0 0 0 65928 79 0 0 25 0 1 0 479250989 86700032 20181 4294967295 134512640 134672761 3221224624 3221223792 134560869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 21167 20181 603 41 0 21126 0
vsize: 84668
[startup+670.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30790
Raw data (stat): 30790 (minisat+) R 30789 27222 27221 0 -1 0 20552 0 0 0 66927 80 0 0 25 0 1 0 479250989 87904256 20470 4294967295 134512640 134672761 3221224624 3221223808 134559683 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 21461 20470 603 41 0 21420 0
vsize: 85844
[startup+680.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30790
Raw data (stat): 30790 (minisat+) R 30789 27222 27221 0 -1 0 20804 0 0 0 67927 81 0 0 25 0 1 0 479250989 88969216 20722 4294967295 134512640 134672761 3221224624 3221223792 134561207 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 21721 20722 603 41 0 21680 0
vsize: 86884
[startup+690.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30790
Raw data (stat): 30790 (minisat+) R 30789 27222 27221 0 -1 0 21054 0 0 0 68926 81 0 0 25 0 1 0 479250989 89899008 20972 4294967295 134512640 134672761 3221224624 3221223792 134560937 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 21948 20972 603 41 0 21907 0
vsize: 87792
[startup+700.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30790
Raw data (stat): 30790 (minisat+) R 30789 27222 27221 0 -1 0 21328 0 0 0 69925 83 0 0 25 0 1 0 479250989 91095040 21246 4294967295 134512640 134672761 3221224624 3221223728 134560405 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22240 21246 603 41 0 22199 0
vsize: 88960
[startup+710.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30790
Raw data (stat): 30790 (minisat+) R 30789 27222 27221 0 -1 0 21587 0 0 0 70924 84 0 0 25 0 1 0 479250989 92033024 21505 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22469 21505 603 41 0 22428 0
vsize: 89876
[startup+720.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30790
Raw data (stat): 30790 (minisat+) R 30789 27222 27221 0 -1 0 21877 0 0 0 71923 85 0 0 25 0 1 0 479250989 93233152 21795 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22762 21795 603 41 0 22721 0
vsize: 91048
[startup+730.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30790
Raw data (stat): 30790 (minisat+) R 30789 27222 27221 0 -1 0 22109 0 0 0 72923 86 0 0 25 0 1 0 479250989 94162944 22027 4294967295 134512640 134672761 3221224624 3221223808 134559340 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22989 22027 603 41 0 22948 0
vsize: 91956
[startup+740.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30790
Raw data (stat): 30790 (minisat+) R 30789 27222 27221 0 -1 0 22348 0 0 0 73921 87 0 0 25 0 1 0 479250989 95227904 22266 4294967295 134512640 134672761 3221224624 3221223792 134561190 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 23249 22266 603 41 0 23208 0
vsize: 92996
[startup+750.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30790
Raw data (stat): 30790 (minisat+) R 30789 27222 27221 0 -1 0 22577 0 0 0 74920 89 0 0 25 0 1 0 479250989 96153600 22495 4294967295 134512640 134672761 3221224624 3221223792 134561385 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 23475 22495 603 41 0 23434 0
vsize: 93900
[startup+760.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30790
Raw data (stat): 30790 (minisat+) R 30789 27222 27221 0 -1 0 22833 0 0 0 75919 90 0 0 25 0 1 0 479250989 97210368 22751 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 23733 22751 603 41 0 23692 0
vsize: 94932
[startup+770.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30790
Raw data (stat): 30790 (minisat+) R 30789 27222 27221 0 -1 0 23059 0 0 0 76918 91 0 0 25 0 1 0 479250989 98009088 22977 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 23928 22977 603 41 0 23887 0
vsize: 95712
[startup+780.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30790
Raw data (stat): 30790 (minisat+) R 30789 27222 27221 0 -1 0 23234 0 0 0 77917 93 0 0 25 0 1 0 479250989 98799616 23152 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24121 23152 603 41 0 24080 0
vsize: 96484
[startup+790.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30790
Raw data (stat): 30790 (minisat+) R 30789 27222 27221 0 -1 0 23474 0 0 0 78916 93 0 0 25 0 1 0 479250989 99737600 23392 4294967295 134512640 134672761 3221224624 3221223696 134553546 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24350 23392 603 41 0 24309 0
vsize: 97400
[startup+800.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30790
Raw data (stat): 30790 (minisat+) R 30789 27222 27221 0 -1 0 23722 0 0 0 79915 95 0 0 25 0 1 0 479250989 100798464 23640 4294967295 134512640 134672761 3221224624 3221223792 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24609 23640 603 41 0 24568 0
vsize: 98436
[startup+810.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30790
Raw data (stat): 30790 (minisat+) R 30789 27222 27221 0 -1 0 23945 0 0 0 80914 96 0 0 25 0 1 0 479250989 101605376 23863 4294967295 134512640 134672761 3221224624 3221223772 134560631 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24806 23863 603 41 0 24765 0
vsize: 99224
[startup+820.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30790
Raw data (stat): 30790 (minisat+) R 30789 27222 27221 0 -1 0 24135 0 0 0 81913 96 0 0 25 0 1 0 479250989 102400000 24053 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 25000 24053 603 41 0 24959 0
vsize: 100000
[startup+830.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30790
Raw data (stat): 30790 (minisat+) R 30789 27222 27221 0 -1 0 24315 0 0 0 82913 97 0 0 25 0 1 0 479250989 103198720 24233 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 25195 24233 603 41 0 25154 0
vsize: 100780
[startup+840.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30790
Raw data (stat): 30790 (minisat+) R 30789 27222 27221 0 -1 0 24485 0 0 0 83913 97 0 0 25 0 1 0 479250989 103870464 24403 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 25359 24403 603 41 0 25318 0
vsize: 101436
[startup+850.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30790
Raw data (stat): 30790 (minisat+) R 30789 27222 27221 0 -1 0 24663 0 0 0 84912 98 0 0 25 0 1 0 479250989 104538112 24581 4294967295 134512640 134672761 3221224624 3221223728 134559869 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 25522 24581 603 41 0 25481 0
vsize: 102088
[startup+860.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30790
Raw data (stat): 30790 (minisat+) R 30789 27222 27221 0 -1 0 24848 0 0 0 85912 98 0 0 25 0 1 0 479250989 105336832 24766 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 25717 24766 603 41 0 25676 0
vsize: 102868
[startup+870.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30790
Raw data (stat): 30790 (minisat+) R 30789 27222 27221 0 -1 0 25034 0 0 0 86912 99 0 0 25 0 1 0 479250989 106143744 24952 4294967295 134512640 134672761 3221224624 3221223760 134560688 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 25914 24952 603 41 0 25873 0
vsize: 103656
[startup+880.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30790
Raw data (stat): 30790 (minisat+) R 30789 27222 27221 0 -1 0 25226 0 0 0 87911 100 0 0 25 0 1 0 479250989 106803200 25144 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26075 25144 603 41 0 26034 0
vsize: 104300
[startup+890.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30790
Raw data (stat): 30790 (minisat+) R 30789 27222 27221 0 -1 0 25410 0 0 0 88911 100 0 0 25 0 1 0 479250989 107606016 25328 4294967295 134512640 134672761 3221224624 3221223824 134557830 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26271 25328 603 41 0 26230 0
vsize: 105084
[startup+900.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30790
Raw data (stat): 30790 (minisat+) R 30789 27222 27221 0 -1 0 25606 0 0 0 89910 101 0 0 25 0 1 0 479250989 108408832 25524 4294967295 134512640 134672761 3221224624 3221223728 134560235 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26467 25524 603 41 0 26426 0
vsize: 105868
[startup+910.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30790
Raw data (stat): 30790 (minisat+) R 30789 27222 27221 0 -1 0 25799 0 0 0 90910 102 0 0 25 0 1 0 479250989 109199360 25717 4294967295 134512640 134672761 3221224624 3221223792 134560903 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26660 25717 603 41 0 26619 0
vsize: 106640
[startup+920.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30790
Raw data (stat): 30790 (minisat+) R 30789 27222 27221 0 -1 0 25968 0 0 0 91910 102 0 0 25 0 1 0 479250989 109858816 25886 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26821 25886 603 41 0 26780 0
vsize: 107284
[startup+930.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30790
Raw data (stat): 30790 (minisat+) R 30789 27222 27221 0 -1 0 26155 0 0 0 92909 102 0 0 25 0 1 0 479250989 110645248 26073 4294967295 134512640 134672761 3221224624 3221223792 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 27013 26073 603 41 0 26972 0
vsize: 108052
[startup+940.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30790
Raw data (stat): 30790 (minisat+) R 30789 27222 27221 0 -1 0 26322 0 0 0 93909 103 0 0 25 0 1 0 479250989 111304704 26240 4294967295 134512640 134672761 3221224624 3221223792 134561001 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 27174 26240 603 41 0 27133 0
vsize: 108696
[startup+950.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30790
Raw data (stat): 30790 (minisat+) R 30789 27222 27221 0 -1 0 26492 0 0 0 94908 104 0 0 25 0 1 0 479250989 111976448 26410 4294967295 134512640 134672761 3221224624 3221223792 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 27338 26410 603 41 0 27297 0
vsize: 109352
[startup+960.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30790
Raw data (stat): 30790 (minisat+) R 30789 27222 27221 0 -1 0 26645 0 0 0 95908 104 0 0 25 0 1 0 479250989 112680960 26563 4294967295 134512640 134672761 3221224624 3221223792 134560940 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 27510 26563 603 41 0 27469 0
vsize: 110040
[startup+970.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30790
Raw data (stat): 30790 (minisat+) R 30789 27222 27221 0 -1 0 26779 0 0 0 96908 105 0 0 25 0 1 0 479250989 113205248 26697 4294967295 134512640 134672761 3221224624 3221223792 134560869 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 27638 26697 603 41 0 27597 0
vsize: 110552
[startup+980.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30790
Raw data (stat): 30790 (minisat+) R 30789 27222 27221 0 -1 0 26914 0 0 0 97908 105 0 0 25 0 1 0 479250989 113737728 26832 4294967295 134512640 134672761 3221224624 3221223792 134560869 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 27768 26832 603 41 0 27727 0
vsize: 111072
[startup+990.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30790
Raw data (stat): 30790 (minisat+) R 30789 27222 27221 0 -1 0 27062 0 0 0 98907 105 0 0 25 0 1 0 479250989 114397184 26980 4294967295 134512640 134672761 3221224624 3221223792 134560869 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 27929 26980 603 41 0 27888 0
vsize: 111716
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30790
Raw data (stat): 30790 (minisat+) R 30789 27222 27221 0 -1 0 27208 0 0 0 99907 106 0 0 25 0 1 0 479250989 115056640 27126 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28090 27126 603 41 0 28049 0
vsize: 112360
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30790
Raw data (stat): 30790 (minisat+) R 30789 27222 27221 0 -1 0 27353 0 0 0 100906 107 0 0 25 0 1 0 479250989 115589120 27271 4294967295 134512640 134672761 3221224624 3221223792 134560942 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28220 27271 603 41 0 28179 0
vsize: 112880
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30790
Raw data (stat): 30790 (minisat+) R 30789 27222 27221 0 -1 0 27497 0 0 0 101906 107 0 0 25 0 1 0 479250989 116117504 27415 4294967295 134512640 134672761 3221224624 3221223580 1075350517 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28349 27415 603 41 0 28308 0
vsize: 113396
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30790
Raw data (stat): 30790 (minisat+) R 30789 27222 27221 0 -1 0 27626 0 0 0 102906 108 0 0 25 0 1 0 479250989 116641792 27544 4294967295 134512640 134672761 3221224624 3221223728 134559853 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28477 27544 603 41 0 28436 0
vsize: 113908
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30790
Raw data (stat): 30790 (minisat+) R 30789 27222 27221 0 -1 0 27763 0 0 0 103906 108 0 0 25 0 1 0 479250989 117297152 27681 4294967295 134512640 134672761 3221224624 3221223792 134560940 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28637 27681 603 41 0 28596 0
vsize: 114548
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30790
Raw data (stat): 30790 (minisat+) R 30789 27222 27221 0 -1 0 27791 0 0 0 104906 108 0 0 25 0 1 0 479250989 117297152 27709 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28637 27709 603 41 0 28596 0
vsize: 114548
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30790
Raw data (stat): 30790 (minisat+) R 30789 27222 27221 0 -1 0 27791 0 0 0 105907 108 0 0 25 0 1 0 479250989 117297152 27709 4294967295 134512640 134672761 3221224624 3221223792 134561005 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28637 27709 603 41 0 28596 0
vsize: 114548
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30790
Raw data (stat): 30790 (minisat+) R 30789 27222 27221 0 -1 0 27791 0 0 0 106907 108 0 0 25 0 1 0 479250989 117297152 27709 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28637 27709 603 41 0 28596 0
vsize: 114548
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30790
Raw data (stat): 30790 (minisat+) R 30789 27222 27221 0 -1 0 27791 0 0 0 107906 108 0 0 25 0 1 0 479250989 117297152 27709 4294967295 134512640 134672761 3221224624 3221223760 134560729 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28637 27709 603 41 0 28596 0
vsize: 114548
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30790
Raw data (stat): 30790 (minisat+) R 30789 27222 27221 0 -1 0 27791 0 0 0 108905 109 0 0 25 0 1 0 479250989 117297152 27709 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28637 27709 603 41 0 28596 0
vsize: 114548
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30790
Raw data (stat): 30790 (minisat+) R 30789 27222 27221 0 -1 0 27791 0 0 0 109905 109 0 0 25 0 1 0 479250989 117297152 27709 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28637 27709 603 41 0 28596 0
vsize: 114548
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30790
Raw data (stat): 30790 (minisat+) R 30789 27222 27221 0 -1 0 27791 0 0 0 110905 109 0 0 25 0 1 0 479250989 117297152 27709 4294967295 134512640 134672761 3221224624 3221223792 134560830 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28637 27709 603 41 0 28596 0
vsize: 114548
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30790
Raw data (stat): 30790 (minisat+) R 30789 27222 27221 0 -1 0 27791 0 0 0 111905 109 0 0 25 0 1 0 479250989 117297152 27709 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28637 27709 603 41 0 28596 0
vsize: 114548
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30790
Raw data (stat): 30790 (minisat+) R 30789 27222 27221 0 -1 0 27791 0 0 0 112905 109 0 0 25 0 1 0 479250989 117297152 27709 4294967295 134512640 134672761 3221224624 3221223808 134559489 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28637 27709 603 41 0 28596 0
vsize: 114548
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30790
Raw data (stat): 30790 (minisat+) R 30789 27222 27221 0 -1 0 27791 0 0 0 113905 110 0 0 25 0 1 0 479250989 117297152 27709 4294967295 134512640 134672761 3221224624 3221223792 134560871 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 28637 27709 603 41 0 28596 0
vsize: 114548
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30790
Raw data (stat): 30790 (minisat+) R 30789 27222 27221 0 -1 0 27791 0 0 0 114905 110 0 0 25 0 1 0 479250989 117297152 27709 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28637 27709 603 41 0 28596 0
vsize: 114548
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30790
Raw data (stat): 30790 (minisat+) R 30789 27222 27221 0 -1 0 27791 0 0 0 115905 110 0 0 25 0 1 0 479250989 117297152 27709 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28637 27709 603 41 0 28596 0
vsize: 114548
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30790
Raw data (stat): 30790 (minisat+) R 30789 27222 27221 0 -1 0 27791 0 0 0 116905 110 0 0 25 0 1 0 479250989 117297152 27709 4294967295 134512640 134672761 3221224624 3221223728 134559922 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28637 27709 603 41 0 28596 0
vsize: 114548
[startup+1180.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30790
Raw data (stat): 30790 (minisat+) R 30789 27222 27221 0 -1 0 27791 0 0 0 117905 110 0 0 25 0 1 0 479250989 117297152 27709 4294967295 134512640 134672761 3221224624 3221223792 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28637 27709 603 41 0 28596 0
vsize: 114548
[startup+1190.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30790
Raw data (stat): 30790 (minisat+) R 30789 27222 27221 0 -1 0 27791 0 0 0 118905 110 0 0 25 0 1 0 479250989 117297152 27709 4294967295 134512640 134672761 3221224624 3221223792 134558819 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28637 27709 603 41 0 28596 0
vsize: 114548
[startup+1200.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30790
Raw data (stat): 30790 (minisat+) R 30789 27222 27221 0 -1 0 27791 0 0 0 119905 110 0 0 25 0 1 0 479250989 117297152 27709 4294967295 134512640 134672761 3221224624 3221223792 134560999 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28637 27709 603 41 0 28596 0
vsize: 114548
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.08 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 30790
Raw data (stat): 30790 (minisat+) Z 30789 27222 27221 0 -1 12 27794 0 0 0 119906 115 0 0 25 0 1 0 479250989 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.22
CPU user time (s): 1199.06
CPU system time (s): 1.15582
CPU usage (%): 100.012
Max. virtual memory (Kb): 114548
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####