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-5.opb
MD5SUM	eedeccaceaf05a0e4d919e4f9df619c0
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.11
Number of variables	1272
Total number of constraints	94226
Number of constraints which are clauses	94226
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 6388

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.080
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:        818596 kB
Buffers:         35412 kB
Cached:         137832 kB
SwapCached:       3828 kB
Active:          65236 kB
Inactive:       114672 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        818344 kB
SwapTotal:     2097892 kB
SwapFree:      2094064 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6924 kB
Slab:            30588 kB
Committed_AS:    63488 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-14 05:10:54 (client local time) WITH STATUS 10 IN 1200.48 SECONDS
stats: 4855 7 1200.48 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Parsing PB file...
c Converting 94226 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 |   94226   188452 |   31408       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 |  244946   541082 |   81648       0        0     nan |  0.000 % |
c |       100 |  244923   541031 |   89812      99     1250    12.6 |  0.025 % |
c |       250 |  244923   541031 |   98794     249     2781    11.2 |  0.025 % |
c |       476 |  244179   539337 |  108673     453     4121     9.1 |  0.448 % |
c |       813 |  239086   527653 |  119540     671     5144     7.7 |  3.476 % |
c |      1320 |  230173   507127 |  131494    1003     7525     7.5 |  8.984 % |
c |      2079 |  221191   486483 |  144644    1564    13170     8.4 | 14.400 % |
c ==============================================================================
c [1mFound solution: -37[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |      2615 |  212395   466238 |   70798    1903    15808     8.3 | 14.400 % |
c |      2716 |  211737   464734 |   77877    1980    16409     8.3 | 20.293 % |
c |      2866 |  209688   459990 |   85665    2064    16747     8.1 | 21.590 % |
c |      3091 |  205163   449487 |   94232    2162    17646     8.2 | 24.459 % |
c |      3428 |  203238   445037 |  103655    2458    20657     8.4 | 25.637 % |
c |      3934 |  197296   431275 |  114020    2788    22566     8.1 | 30.208 % |
c |      4693 |  187145   407689 |  125422    3274    29278     8.9 | 35.732 % |
c |      5833 |  168591   364096 |  137965    3622    31767     8.8 | 47.921 % |
c |      7541 |  154423   331106 |  151761    4698    67540    14.4 | 57.144 % |
c ==============================================================================
c [1mFound solution: -38[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |      9307 |  138905   294642 |   46301    5415    74771    13.8 | 57.144 % |
c |      9407 |  138161   292897 |   50931    5474    75599    13.8 | 67.939 % |
c |      9557 |  137437   291192 |   56024    5560    76837    13.8 | 68.432 % |
c |      9783 |  137176   290582 |   61626    5765    78810    13.7 | 68.610 % |
c |     10120 |  134136   283463 |   67789    5909    80130    13.6 | 70.665 % |
c |     10626 |  131865   278163 |   74568    6080    82293    13.5 | 72.183 % |
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 |     10777 |  131742   277947 |   43914    6165    82993    13.5 | 72.183 % |
c |     10877 |  131001   276224 |   48305    6185    83185    13.4 | 72.869 % |
c |     11027 |  130823   275807 |   53135    6319    84041    13.3 | 72.986 % |
c |     11252 |  129809   273407 |   58449    6404    84278    13.2 | 73.694 % |
c |     11589 |  128508   270342 |   64294    6584    87462    13.3 | 74.580 % |
c |     12095 |  125531   263371 |   70723    6521    86172    13.2 | 76.590 % |
c |     12855 |  121426   253745 |   77796    6803    86611    12.7 | 79.345 % |
c |     13994 |  117325   244108 |   85575    7284    96144    13.2 | 82.125 % |
c |     15702 |  112309   232305 |   94133    7866   106785    13.6 | 85.573 % |
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 |     16632 |  110404   227789 |   36801    8054    99019    12.3 | 85.573 % |
c |     16733 |  110315   227581 |   40481    8135    99792    12.3 | 86.945 % |
c |     16883 |  110305   227558 |   44529    8281   101628    12.3 | 86.951 % |
c |     17108 |  109669   226046 |   48982    8013    96118    12.0 | 87.415 % |
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 |     17322 |  109494   225643 |   36498    8027    96082    12.0 | 87.415 % |
c |     17422 |  109279   225137 |   40147    8002    96409    12.0 | 87.705 % |
c |     17572 |  109275   225128 |   44162    8151   100087    12.3 | 87.707 % |
c |     17797 |  109275   225128 |   48578    8376   103997    12.4 | 87.707 % |
c |     18134 |  109116   224754 |   53436    8630   107007    12.4 | 87.819 % |
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 |     18347 |  109067   224620 |   36355    8804   108914    12.4 | 87.819 % |
c |     18449 |  109039   224553 |   39990    8876   111762    12.6 | 87.862 % |
c |     18599 |  108953   224348 |   43989    8967   112779    12.6 | 87.926 % |
c |     18824 |  108302   222829 |   48388    9097   115893    12.7 | 88.359 % |
c |     19161 |  108139   222446 |   53227    9349   128084    13.7 | 88.470 % |
c |     19667 |  107632   221246 |   58550    9619   134992    14.0 | 88.841 % |
c |     20428 |  107564   221085 |   64405   10286   201635    19.6 | 88.890 % |
c |     21567 |  107216   220270 |   70845   11284   299482    26.5 | 89.125 % |
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 |     22436 |  107289   220453 |   35763   12153   335492    27.6 | 89.125 % |
c |     22536 |  107196   220233 |   39339   12199   335917    27.5 | 89.175 % |
c |     22686 |  106863   219448 |   43273   12035   330031    27.4 | 89.404 % |
c |     22912 |  106863   219448 |   47600   12261   344473    28.1 | 89.404 % |
c |     23249 |  106627   218892 |   52360   12382   346373    28.0 | 89.566 % |
c |     23755 |  106456   218489 |   57596   12654   353613    27.9 | 89.684 % |
c |     24516 |  106452   218480 |   63356   13371   416869    31.2 | 89.686 % |
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 |     25521 |  106297   218099 |   35432   14225   519346    36.5 | 89.686 % |
c |     25621 |  106221   217914 |   38975   14168   521046    36.8 | 89.844 % |
c |     25771 |  105926   217231 |   42872   14204   523753    36.9 | 90.039 % |
c |     25996 |  105878   217118 |   47159   14366   536737    37.4 | 90.072 % |
c |     26333 |  105463   216152 |   51875   14419   548686    38.1 | 90.348 % |
c |     26839 |  105463   216152 |   57063   14925   566988    38.0 | 90.348 % |
c |     27598 |  105431   216076 |   62769   15616   626434    40.1 | 90.372 % |
c |     28737 |  105411   216030 |   69046   16709   750371    44.9 | 90.383 % |
c |     30448 |  105411   216030 |   75951   18420   978203    53.1 | 90.383 % |
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 |     30581 |  105430   216077 |   35143   18512   984065    53.2 | 90.383 % |
c |     30681 |  105352   215893 |   38657   18467   984641    53.3 | 90.432 % |
c |     30833 |  105352   215893 |   42523   18619   993767    53.4 | 90.432 % |
c |     31059 |  105352   215893 |   46775   18845  1006626    53.4 | 90.432 % |
c |     31397 |  105352   215893 |   51452   19183  1027671    53.6 | 90.432 % |
c |     31904 |  105346   215879 |   56598   19663  1084370    55.1 | 90.436 % |
c |     32665 |  105346   215879 |   62257   20424  1132347    55.4 | 90.436 % |
c |     33804 |  105298   215765 |   68483   21497  1255206    58.4 | 90.471 % |
c |     35512 |  105298   215765 |   75332   23205  1441278    62.1 | 90.471 % |
c |     38074 |  105292   215751 |   82865   25764  1694245    65.8 | 90.474 % |
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 |     40831 |  105259   215647 |   35086   28480  2044279    71.8 | 90.474 % |
c |     40931 |  105199   215502 |   38594   28480  2047464    71.9 | 90.543 % |
c |     41081 |  105199   215502 |   42454   28630  2055808    71.8 | 90.543 % |
c |     41309 |  105199   215502 |   46699   28858  2071938    71.8 | 90.543 % |
c |     41646 |  105199   215502 |   51369   29195  2108871    72.2 | 90.543 % |
c |     42152 |  105199   215502 |   56506   29701  2143956    72.2 | 90.543 % |
c |     42911 |  105199   215502 |   62156   30460  2213549    72.7 | 90.543 % |
c |     44050 |  105193   215488 |   68372   31585  2314240    73.3 | 90.547 % |
c |     45759 |  105187   215474 |   75209   33290  2488815    74.8 | 90.551 % |
c |     48321 |  105187   215474 |   82730   35852  2787673    77.8 | 90.551 % |
c |     52165 |  105187   215474 |   91004   39696  3245580    81.8 | 90.551 % |
c |     57931 |  105181   215460 |  100104   45427  3911039    86.1 | 90.555 % |
c |     66580 |  105181   215460 |  110114   54076  5157454    95.4 | 90.555 % |
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 |     70930 |  105227   215571 |   35075   58426  5659191    96.9 | 90.555 % |
c |     71030 |  105191   215486 |   38582   58476  5663254    96.8 | 90.575 % |
c |     71181 |  105191   215486 |   42440   58627  5669803    96.7 | 90.575 % |
c |     71407 |  105191   215486 |   46684   58853  5682348    96.6 | 90.575 % |
c |     71744 |  105191   215486 |   51353   59190  5708973    96.5 | 90.575 % |
c |     72250 |  105191   215486 |   56488   59696  5756022    96.4 | 90.575 % |
c |     73010 |  105191   215486 |   62137   60456  5825810    96.4 | 90.575 % |
c |     74149 |  105191   215486 |   68351   61595  5934226    96.3 | 90.575 % |
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 |     75355 |  105113   215291 |   35037   62320  5957057    95.6 | 90.575 % |
c |     75455 |  105113   215291 |   38540   62420  5960923    95.5 | 90.626 % |
c |     75606 |  105113   215291 |   42394   62571  5970770    95.4 | 90.626 % |
c |     75833 |  105113   215291 |   46634   62798  5990374    95.4 | 90.626 % |
c |     76170 |  105113   215291 |   51297   63135  6015156    95.3 | 90.626 % |
c |     76676 |  105113   215291 |   56427   63641  6052940    95.1 | 90.626 % |
c |     77436 |  105113   215291 |   62070   64401  6133538    95.2 | 90.626 % |
c |     78575 |  105113   215291 |   68277   65540  6252126    95.4 | 90.626 % |
c |     80283 |  105113   215291 |   75104   67248  6431043    95.6 | 90.626 % |
c |     82845 |  105113   215291 |   82615   69810  6673812    95.6 | 90.626 % |
c |     86689 |  105113   215291 |   90876   73654  7008148    95.1 | 90.626 % |
c |     92457 |  105113   215291 |   99964   79422  7587888    95.5 | 90.626 % |
c |    101106 |  105103   215268 |  109961   88070  8411448    95.5 | 90.632 % |
c |    114080 |  105097   215254 |  120957  101036 10141319   100.4 | 90.636 % |
c |    133541 |  105097   215254 |  133052  120497 12187831   101.1 | 90.636 % |
c |    162733 |  105097   215254 |  146358  149689 14926428    99.7 | 90.636 % |
c |    206522 |  105097   215254 |  160994  193478 17781872    91.9 | 90.636 % |
c |    272206 |  105081   215216 |  177093   68964  6223645    90.2 | 90.647 % |
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 -#### 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.93 0.98 0.92 2/54 4392
Raw data (stat): 4392 (runsolver) R 4391 28546 28545 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 481843359 1052672 99 4294967295 134512640 135381576 3221224464 3221219708 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0006 s]
Raw data (loadavg): 0.94 0.98 0.92 2/54 4392
Raw data (stat): 4392 (minisat+) R 4391 28546 28545 0 -1 0 6018 0 0 0 982 16 0 0 25 0 1 0 481843359 27398144 5996 4294967295 134512640 134672761 3221224560 3221223732 134556598 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 6689 5996 603 41 0 6648 0
vsize: 26756
[startup+20.0013 s]
Raw data (loadavg): 0.95 0.98 0.92 2/54 4392
Raw data (stat): 4392 (minisat+) R 4391 28546 28545 0 -1 0 6028 0 0 0 1982 16 0 0 25 0 1 0 481843359 27398144 6006 4294967295 134512640 134672761 3221224560 3221223776 134561948 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 6689 6006 603 41 0 6648 0
vsize: 26756
[startup+30.0016 s]
Raw data (loadavg): 0.95 0.98 0.92 2/54 4392
Raw data (stat): 4392 (minisat+) R 4391 28546 28545 0 -1 0 6028 0 0 0 2981 17 0 0 25 0 1 0 481843359 27398144 6006 4294967295 134512640 134672761 3221224560 3221223744 134556589 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 6689 6006 603 41 0 6648 0
vsize: 26756
[startup+40.0018 s]
Raw data (loadavg): 0.96 0.98 0.92 2/54 4392
Raw data (stat): 4392 (minisat+) R 4391 28546 28545 0 -1 0 6163 0 0 0 3981 17 0 0 25 0 1 0 481843359 28282880 6141 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 6905 6141 603 41 0 6864 0
vsize: 27620
[startup+50.0027 s]
Raw data (loadavg): 0.97 0.98 0.92 2/54 4392
Raw data (stat): 4392 (minisat+) R 4391 28546 28545 0 -1 0 6163 0 0 0 4980 18 0 0 25 0 1 0 481843359 28282880 6141 4294967295 134512640 134672761 3221224560 3221223728 134561378 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 6905 6141 603 41 0 6864 0
vsize: 27620
[startup+60.0028 s]
Raw data (loadavg): 0.97 0.98 0.92 2/54 4392
Raw data (stat): 4392 (minisat+) R 4391 28546 28545 0 -1 0 6163 0 0 0 5980 18 0 0 25 0 1 0 481843359 28282880 6141 4294967295 134512640 134672761 3221224560 3221223728 134561229 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 6905 6141 603 41 0 6864 0
vsize: 27620
[startup+70.0031 s]
Raw data (loadavg): 0.97 0.98 0.92 2/54 4392
Raw data (stat): 4392 (minisat+) R 4391 28546 28545 0 -1 0 6163 0 0 0 6980 18 0 0 25 0 1 0 481843359 28282880 6141 4294967295 134512640 134672761 3221224560 3221223696 134560608 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 6905 6141 603 41 0 6864 0
vsize: 27620
[startup+80.0045 s]
Raw data (loadavg): 0.98 0.98 0.92 2/54 4392
Raw data (stat): 4392 (minisat+) R 4391 28546 28545 0 -1 0 6163 0 0 0 7980 19 0 0 25 0 1 0 481843359 28282880 6141 4294967295 134512640 134672761 3221224560 3221223732 134556598 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 6905 6141 603 41 0 6864 0
vsize: 27620
[startup+90.0038 s]
Raw data (loadavg): 0.98 0.98 0.92 2/54 4392
Raw data (stat): 4392 (minisat+) R 4391 28546 28545 0 -1 0 6163 0 0 0 8979 19 0 0 25 0 1 0 481843359 28282880 6141 4294967295 134512640 134672761 3221224560 3221223732 134556671 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 6905 6141 603 41 0 6864 0
vsize: 27620
[startup+100.005 s]
Raw data (loadavg): 0.98 0.98 0.92 2/54 4392
Raw data (stat): 4392 (minisat+) R 4391 28546 28545 0 -1 0 6168 0 0 0 9979 19 0 0 25 0 1 0 481843359 28282880 6146 4294967295 134512640 134672761 3221224560 3221223732 134556598 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 6905 6146 603 41 0 6864 0
vsize: 27620
[startup+110.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 4392
Raw data (stat): 4392 (minisat+) R 4391 28546 28545 0 -1 0 6169 0 0 0 10979 19 0 0 25 0 1 0 481843359 28282880 6147 4294967295 134512640 134672761 3221224560 3221223732 134556598 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 6905 6147 603 41 0 6864 0
vsize: 27620
[startup+120.005 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 4392
Raw data (stat): 4392 (minisat+) R 4391 28546 28545 0 -1 0 6587 0 0 0 11977 21 0 0 25 0 1 0 481843359 29859840 6548 4294967295 134512640 134672761 3221224560 3221223724 134561235 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7290 6548 603 41 0 7249 0
vsize: 29160
[startup+130.005 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 4392
Raw data (stat): 4392 (minisat+) R 4391 28546 28545 0 -1 0 7187 0 0 0 12975 23 0 0 25 0 1 0 481843359 32419840 7139 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7915 7139 603 41 0 7874 0
vsize: 31660
[startup+140.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 4392
Raw data (stat): 4392 (minisat+) R 4391 28546 28545 0 -1 0 7798 0 0 0 13973 26 0 0 25 0 1 0 481843359 34836480 7750 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 8505 7750 603 41 0 8464 0
vsize: 34020
[startup+150.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 4392
Raw data (stat): 4392 (minisat+) R 4391 28546 28545 0 -1 0 8378 0 0 0 14970 28 0 0 25 0 1 0 481843359 37158912 8321 4294967295 134512640 134672761 3221224560 3221223728 134561229 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 9072 8321 603 41 0 9031 0
vsize: 36288
[startup+160.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 4392
Raw data (stat): 4392 (minisat+) R 4391 28546 28545 0 -1 0 8906 0 0 0 15968 31 0 0 25 0 1 0 481843359 39424000 8849 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 9625 8849 603 41 0 9584 0
vsize: 38500
[startup+170.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 4392
Raw data (stat): 4392 (minisat+) R 4391 28546 28545 0 -1 0 9432 0 0 0 16966 33 0 0 25 0 1 0 481843359 41578496 9375 4294967295 134512640 134672761 3221224560 3221223728 134561008 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 10151 9375 603 41 0 10110 0
vsize: 40604
[startup+180.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 4392
Raw data (stat): 4392 (minisat+) R 4391 28546 28545 0 -1 0 9888 0 0 0 17964 35 0 0 25 0 1 0 481843359 43446272 9831 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 10607 9831 603 41 0 10566 0
vsize: 42428
[startup+190.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 4392
Raw data (stat): 4392 (minisat+) R 4391 28546 28545 0 -1 0 10357 0 0 0 18963 36 0 0 25 0 1 0 481843359 45305856 10300 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11061 10300 603 41 0 11020 0
vsize: 44244
[startup+200.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 4392
Raw data (stat): 4392 (minisat+) R 4391 28546 28545 0 -1 0 10910 0 0 0 19961 38 0 0 25 0 1 0 481843359 47583232 10853 4294967295 134512640 134672761 3221224560 3221223696 134560579 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11617 10853 603 41 0 11576 0
vsize: 46468
[startup+210.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 4392
Raw data (stat): 4392 (minisat+) R 4391 28546 28545 0 -1 0 11454 0 0 0 20959 40 0 0 25 0 1 0 481843359 49844224 11397 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12169 11397 603 41 0 12128 0
vsize: 48676
[startup+220.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 4392
Raw data (stat): 4392 (minisat+) R 4391 28546 28545 0 -1 0 11893 0 0 0 21957 41 0 0 25 0 1 0 481843359 51580928 11836 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12593 11836 603 41 0 12552 0
vsize: 50372
[startup+230.008 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 4392
Raw data (stat): 4392 (minisat+) R 4391 28546 28545 0 -1 0 12250 0 0 0 22956 43 0 0 25 0 1 0 481843359 53010432 12185 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12942 12185 603 41 0 12901 0
vsize: 51768
[startup+240.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 4392
Raw data (stat): 4392 (minisat+) R 4391 28546 28545 0 -1 0 12514 0 0 0 23955 44 0 0 25 0 1 0 481843359 54120448 12441 4294967295 134512640 134672761 3221224560 3221223728 134560852 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 13213 12441 603 41 0 13172 0
vsize: 52852
[startup+250.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 4392
Raw data (stat): 4392 (minisat+) R 4391 28546 28545 0 -1 0 12905 0 0 0 24953 46 0 0 25 0 1 0 481843359 55857152 12832 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 13637 12832 603 41 0 13596 0
vsize: 54548
[startup+260.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 4392
Raw data (stat): 4392 (minisat+) R 4391 28546 28545 0 -1 0 13274 0 0 0 25952 48 0 0 25 0 1 0 481843359 57466880 13201 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 14030 13201 603 41 0 13989 0
vsize: 56120
[startup+270.008 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 4392
Raw data (stat): 4392 (minisat+) R 4391 28546 28545 0 -1 0 13651 0 0 0 26950 49 0 0 25 0 1 0 481843359 58929152 13578 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 14387 13578 603 41 0 14346 0
vsize: 57548
[startup+280.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 4392
Raw data (stat): 4392 (minisat+) R 4391 28546 28545 0 -1 0 13990 0 0 0 27948 51 0 0 25 0 1 0 481843359 60252160 13917 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 14710 13917 603 41 0 14669 0
vsize: 58840
[startup+290.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 4392
Raw data (stat): 4392 (minisat+) R 4391 28546 28545 0 -1 0 14324 0 0 0 28947 53 0 0 25 0 1 0 481843359 61710336 14251 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 15066 14251 603 41 0 15025 0
vsize: 60264
[startup+300.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 4392
Raw data (stat): 4392 (minisat+) R 4391 28546 28545 0 -1 0 14668 0 0 0 29945 55 0 0 25 0 1 0 481843359 63041536 14595 4294967295 134512640 134672761 3221224560 3221223744 134559622 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 15391 14595 603 41 0 15350 0
vsize: 61564
[startup+310.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 4392
Raw data (stat): 4392 (minisat+) R 4391 28546 28545 0 -1 0 14958 0 0 0 30944 56 0 0 25 0 1 0 481843359 64229376 14885 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 15681 14885 603 41 0 15640 0
vsize: 62724
[startup+320.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 4392
Raw data (stat): 4392 (minisat+) R 4391 28546 28545 0 -1 0 15246 0 0 0 31943 57 0 0 25 0 1 0 481843359 65437696 15173 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 15976 15173 603 41 0 15935 0
vsize: 63904
[startup+330.011 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 4392
Raw data (stat): 4392 (minisat+) R 4391 28546 28545 0 -1 0 15662 0 0 0 32941 59 0 0 25 0 1 0 481843359 67039232 15589 4294967295 134512640 134672761 3221224560 3221223716 134561241 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16367 15589 603 41 0 16326 0
vsize: 65468
[startup+340.011 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 4392
Raw data (stat): 4392 (minisat+) R 4391 28546 28545 0 -1 0 16098 0 0 0 33941 59 0 0 25 0 1 0 481843359 68915200 16025 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16825 16025 603 41 0 16784 0
vsize: 67300
[startup+350.011 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 4392
Raw data (stat): 4392 (minisat+) R 4391 28546 28545 0 -1 0 16515 0 0 0 34940 60 0 0 25 0 1 0 481843359 70524928 16442 4294967295 134512640 134672761 3221224560 3221223728 134560888 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17218 16442 603 41 0 17177 0
vsize: 68872
[startup+360.012 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 4392
Raw data (stat): 4392 (minisat+) R 4391 28546 28545 0 -1 0 16840 0 0 0 35939 61 0 0 25 0 1 0 481843359 71864320 16767 4294967295 134512640 134672761 3221224560 3221223728 134560940 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17545 16767 603 41 0 17504 0
vsize: 70180
[startup+370.012 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 4392
Raw data (stat): 4392 (minisat+) R 4391 28546 28545 0 -1 0 17129 0 0 0 36938 62 0 0 25 0 1 0 481843359 73068544 17056 4294967295 134512640 134672761 3221224560 3221223728 134560895 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17839 17056 603 41 0 17798 0
vsize: 71356
[startup+380.013 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 4392
Raw data (stat): 4392 (minisat+) R 4391 28546 28545 0 -1 0 17445 0 0 0 37937 64 0 0 25 0 1 0 481843359 74403840 17372 4294967295 134512640 134672761 3221224560 3221223728 134559068 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18165 17372 603 41 0 18124 0
vsize: 72660
[startup+390.013 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 4392
Raw data (stat): 4392 (minisat+) R 4391 28546 28545 0 -1 0 17709 0 0 0 38936 65 0 0 25 0 1 0 481843359 75460608 17636 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18423 17636 603 41 0 18382 0
vsize: 73692
[startup+400.014 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 4392
Raw data (stat): 4392 (minisat+) R 4391 28546 28545 0 -1 0 17940 0 0 0 39935 66 0 0 25 0 1 0 481843359 76386304 17867 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18649 17867 603 41 0 18608 0
vsize: 74596
[startup+410.015 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 4392
Raw data (stat): 4392 (minisat+) R 4391 28546 28545 0 -1 0 18157 0 0 0 40934 68 0 0 25 0 1 0 481843359 77176832 18084 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18842 18084 603 41 0 18801 0
vsize: 75368
[startup+420.015 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 4392
Raw data (stat): 4392 (minisat+) R 4391 28546 28545 0 -1 0 18420 0 0 0 41933 69 0 0 25 0 1 0 481843359 78254080 18347 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 19105 18347 603 41 0 19064 0
vsize: 76420
[startup+430.015 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 4392
Raw data (stat): 4392 (minisat+) R 4391 28546 28545 0 -1 0 18690 0 0 0 42932 70 0 0 25 0 1 0 481843359 79450112 18617 4294967295 134512640 134672761 3221224560 3221223728 134561229 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 19397 18617 603 41 0 19356 0
vsize: 77588
[startup+440.016 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 4392
Raw data (stat): 4392 (minisat+) R 4391 28546 28545 0 -1 0 18946 0 0 0 43930 71 0 0 25 0 1 0 481843359 80506880 18873 4294967295 134512640 134672761 3221224560 3221223696 134560598 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 19655 18873 603 41 0 19614 0
vsize: 78620
[startup+450.016 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 4392
Raw data (stat): 4392 (minisat+) R 4391 28546 28545 0 -1 0 19189 0 0 0 44929 72 0 0 25 0 1 0 481843359 81440768 19116 4294967295 134512640 134672761 3221224560 3221223728 134561164 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 19883 19116 603 41 0 19842 0
vsize: 79532
[startup+460.017 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 4392
Raw data (stat): 4392 (minisat+) R 4391 28546 28545 0 -1 0 19412 0 0 0 45929 73 0 0 25 0 1 0 481843359 82366464 19339 4294967295 134512640 134672761 3221224560 3221223728 134560940 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 20109 19339 603 41 0 20068 0
vsize: 80436
[startup+470.017 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 4392
Raw data (stat): 4392 (minisat+) R 4391 28546 28545 0 -1 0 19610 0 0 0 46927 74 0 0 25 0 1 0 481843359 83156992 19537 4294967295 134512640 134672761 3221224560 3221223728 134560940 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 20302 19537 603 41 0 20261 0
vsize: 81208
[startup+480.017 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 4392
Raw data (stat): 4392 (minisat+) R 4391 28546 28545 0 -1 0 19805 0 0 0 47927 75 0 0 25 0 1 0 481843359 83947520 19732 4294967295 134512640 134672761 3221224560 3221223696 134565127 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 20495 19732 603 41 0 20454 0
vsize: 81980
[startup+490.018 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 4392
Raw data (stat): 4392 (minisat+) R 4391 28546 28545 0 -1 0 20000 0 0 0 48926 76 0 0 25 0 1 0 481843359 84738048 19927 4294967295 134512640 134672761 3221224560 3221223696 134565092 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 20688 19927 603 41 0 20647 0
vsize: 82752
[startup+500.019 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 4392
Raw data (stat): 4392 (minisat+) R 4391 28546 28545 0 -1 0 20169 0 0 0 49925 78 0 0 25 0 1 0 481843359 85929984 20096 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 20979 20096 603 41 0 20938 0
vsize: 83916
[startup+510.019 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 4392
Raw data (stat): 4392 (minisat+) R 4391 28546 28545 0 -1 0 20350 0 0 0 50924 78 0 0 25 0 1 0 481843359 86720512 20277 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21172 20277 603 41 0 21131 0
vsize: 84688
[startup+520.019 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 4392
Raw data (stat): 4392 (minisat+) R 4391 28546 28545 0 -1 0 20534 0 0 0 51924 79 0 0 25 0 1 0 481843359 87375872 20461 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21332 20461 603 41 0 21291 0
vsize: 85328
[startup+530.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 4392
Raw data (stat): 4392 (minisat+) R 4391 28546 28545 0 -1 0 20711 0 0 0 52923 80 0 0 25 0 1 0 481843359 88166400 20638 4294967295 134512640 134672761 3221224560 3221223696 134560677 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21525 20638 603 41 0 21484 0
vsize: 86100
[startup+540.019 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 4392
Raw data (stat): 4392 (minisat+) R 4391 28546 28545 0 -1 0 20895 0 0 0 53921 81 0 0 25 0 1 0 481843359 88829952 20822 4294967295 134512640 134672761 3221224560 3221223728 134561167 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21687 20822 603 41 0 21646 0
vsize: 86748
[startup+550.063 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 4392
Raw data (stat): 4392 (minisat+) R 4391 28546 28545 0 -1 0 21059 0 0 0 54925 82 0 0 25 0 1 0 481843359 89489408 20986 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21848 20986 603 41 0 21807 0
vsize: 87392
[startup+560.198 s]
Raw data (loadavg): 1.15 1.02 0.93 3/57 4436
Raw data (stat): 4392 (minisat+) R 4391 28546 28545 0 -1 0 21266 0 0 0 55934 87 0 0 25 0 1 0 481843359 90423296 21193 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22076 21193 603 41 0 22035 0
vsize: 88304
[startup+570.197 s]
Raw data (loadavg): 1.20 1.03 0.94 2/54 4445
Raw data (stat): 4392 (minisat+) R 4391 28546 28545 0 -1 0 21487 0 0 0 56933 87 0 0 25 0 1 0 481843359 91353088 21414 4294967295 134512640 134672761 3221224560 3221223744 134559405 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22303 21414 603 41 0 22262 0
vsize: 89212
[startup+580.314 s]
Raw data (loadavg): 1.17 1.03 0.94 2/54 4445
Raw data (stat): 4392 (minisat+) R 4391 28546 28545 0 -1 0 21690 0 0 0 57944 89 0 0 25 0 1 0 481843359 92147712 21617 4294967295 134512640 134672761 3221224560 3221223728 134560937 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22497 21617 603 41 0 22456 0
vsize: 89988
[startup+590.314 s]
Raw data (loadavg): 1.14 1.03 0.94 2/54 4445
Raw data (stat): 4392 (minisat+) R 4391 28546 28545 0 -1 0 21853 0 0 0 58944 89 0 0 25 0 1 0 481843359 92811264 21780 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22659 21780 603 41 0 22618 0
vsize: 90636
[startup+600.314 s]
Raw data (loadavg): 1.12 1.03 0.94 3/54 4445
Raw data (stat): 4392 (minisat+) R 4391 28546 28545 0 -1 0 22005 0 0 0 59944 90 0 0 25 0 1 0 481843359 93343744 21932 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22789 21932 603 41 0 22748 0
vsize: 91156
[startup+610.315 s]
Raw data (loadavg): 1.10 1.03 0.94 2/54 4445
Raw data (stat): 4392 (minisat+) R 4391 28546 28545 0 -1 0 22167 0 0 0 60943 90 0 0 25 0 1 0 481843359 94007296 22094 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22951 22094 603 41 0 22910 0
vsize: 91804
[startup+620.314 s]
Raw data (loadavg): 1.08 1.03 0.94 2/54 4445
Raw data (stat): 4392 (minisat+) R 4391 28546 28545 0 -1 0 22324 0 0 0 61942 91 0 0 25 0 1 0 481843359 94666752 22251 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 23112 22251 603 41 0 23071 0
vsize: 92448
[startup+630.314 s]
Raw data (loadavg): 1.07 1.02 0.94 2/54 4447
Raw data (stat): 4392 (minisat+) R 4391 28546 28545 0 -1 0 22451 0 0 0 62942 91 0 0 25 0 1 0 481843359 95195136 22378 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 23241 22378 603 41 0 23200 0
vsize: 92964
[startup+640.314 s]
Raw data (loadavg): 1.06 1.02 0.94 2/54 4447
Raw data (stat): 4392 (minisat+) R 4391 28546 28545 0 -1 0 22603 0 0 0 63941 92 0 0 25 0 1 0 481843359 95850496 22530 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 23401 22530 603 41 0 23360 0
vsize: 93604
[startup+650.315 s]
Raw data (loadavg): 1.05 1.02 0.94 2/54 4447
Raw data (stat): 4392 (minisat+) R 4391 28546 28545 0 -1 0 22762 0 0 0 64941 93 0 0 25 0 1 0 481843359 96505856 22689 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 23561 22689 603 41 0 23520 0
vsize: 94244
[startup+660.314 s]
Raw data (loadavg): 1.04 1.02 0.94 2/54 4447
Raw data (stat): 4392 (minisat+) R 4391 28546 28545 0 -1 0 22932 0 0 0 65941 93 0 0 25 0 1 0 481843359 97161216 22859 4294967295 134512640 134672761 3221224560 3221223744 134559572 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 23721 22859 603 41 0 23680 0
vsize: 94884
[startup+670.315 s]
Raw data (loadavg): 1.04 1.02 0.94 2/54 4447
Raw data (stat): 4392 (minisat+) R 4391 28546 28545 0 -1 0 23104 0 0 0 66941 93 0 0 25 0 1 0 481843359 97824768 23031 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 23883 23031 603 41 0 23842 0
vsize: 95532
[startup+680.315 s]
Raw data (loadavg): 1.03 1.02 0.94 2/54 4447
Raw data (stat): 4392 (minisat+) R 4391 28546 28545 0 -1 0 23249 0 0 0 67941 94 0 0 25 0 1 0 481843359 98484224 23176 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24044 23176 603 41 0 24003 0
vsize: 96176
[startup+690.315 s]
Raw data (loadavg): 1.02 1.02 0.94 2/54 4447
Raw data (stat): 4392 (minisat+) R 4391 28546 28545 0 -1 0 23413 0 0 0 68940 94 0 0 25 0 1 0 481843359 99143680 23340 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24205 23340 603 41 0 24164 0
vsize: 96820
[startup+700.316 s]
Raw data (loadavg): 1.02 1.02 0.94 2/54 4447
Raw data (stat): 4392 (minisat+) R 4391 28546 28545 0 -1 0 23534 0 0 0 69940 94 0 0 25 0 1 0 481843359 99672064 23461 4294967295 134512640 134672761 3221224560 3221223728 134560874 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24334 23461 603 41 0 24293 0
vsize: 97336
[startup+710.315 s]
Raw data (loadavg): 1.02 1.02 0.94 2/54 4447
Raw data (stat): 4392 (minisat+) R 4391 28546 28545 0 -1 0 23642 0 0 0 70940 95 0 0 25 0 1 0 481843359 100073472 23569 4294967295 134512640 134672761 3221224560 3221223728 134560956 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24432 23569 603 41 0 24391 0
vsize: 97728
[startup+720.315 s]
Raw data (loadavg): 1.01 1.02 0.94 2/54 4447
Raw data (stat): 4392 (minisat+) R 4391 28546 28545 0 -1 0 23755 0 0 0 71940 95 0 0 25 0 1 0 481843359 100470784 23682 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24529 23682 603 41 0 24488 0
vsize: 98116
[startup+730.315 s]
Raw data (loadavg): 1.01 1.01 0.94 2/54 4447
Raw data (stat): 4392 (minisat+) R 4391 28546 28545 0 -1 0 23855 0 0 0 72939 96 0 0 25 0 1 0 481843359 100864000 23782 4294967295 134512640 134672761 3221224560 3221223728 134561215 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24625 23782 603 41 0 24584 0
vsize: 98500
[startup+740.315 s]
Raw data (loadavg): 1.01 1.01 0.94 2/54 4447
Raw data (stat): 4392 (minisat+) R 4391 28546 28545 0 -1 0 23974 0 0 0 73939 96 0 0 25 0 1 0 481843359 101392384 23901 4294967295 134512640 134672761 3221224560 3221223728 134561011 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24754 23901 603 41 0 24713 0
vsize: 99016
[startup+750.316 s]
Raw data (loadavg): 1.01 1.01 0.94 2/54 4447
Raw data (stat): 4392 (minisat+) R 4391 28546 28545 0 -1 0 24086 0 0 0 74939 96 0 0 25 0 1 0 481843359 101789696 24013 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24851 24013 603 41 0 24810 0
vsize: 99404
[startup+760.316 s]
Raw data (loadavg): 1.01 1.01 0.94 2/54 4447
Raw data (stat): 4392 (minisat+) R 4391 28546 28545 0 -1 0 24193 0 0 0 75939 97 0 0 25 0 1 0 481843359 102313984 24120 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24979 24120 603 41 0 24938 0
vsize: 99916
[startup+770.315 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 4447
Raw data (stat): 4392 (minisat+) R 4391 28546 28545 0 -1 0 24320 0 0 0 76938 98 0 0 25 0 1 0 481843359 102842368 24247 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25108 24247 603 41 0 25067 0
vsize: 100432
[startup+780.315 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 4447
Raw data (stat): 4392 (minisat+) R 4391 28546 28545 0 -1 0 24438 0 0 0 77938 98 0 0 25 0 1 0 481843359 103235584 24365 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25204 24365 603 41 0 25163 0
vsize: 100816
[startup+790.315 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 4447
Raw data (stat): 4392 (minisat+) R 4391 28546 28545 0 -1 0 24538 0 0 0 78938 98 0 0 25 0 1 0 481843359 103628800 24465 4294967295 134512640 134672761 3221224560 3221223728 134560892 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25300 24465 603 41 0 25259 0
vsize: 101200
[startup+800.315 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 4447
Raw data (stat): 4392 (minisat+) R 4391 28546 28545 0 -1 0 24663 0 0 0 79938 99 0 0 25 0 1 0 481843359 104161280 24590 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25430 24590 603 41 0 25389 0
vsize: 101720
[startup+810.316 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 4447
Raw data (stat): 4392 (minisat+) R 4391 28546 28545 0 -1 0 24774 0 0 0 80938 99 0 0 25 0 1 0 481843359 104558592 24701 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25527 24701 603 41 0 25486 0
vsize: 102108
[startup+820.316 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 4447
Raw data (stat): 4392 (minisat+) R 4391 28546 28545 0 -1 0 24877 0 0 0 81938 99 0 0 25 0 1 0 481843359 105086976 24804 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25656 24804 603 41 0 25615 0
vsize: 102624
[startup+830.316 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4447
Raw data (stat): 4392 (minisat+) R 4391 28546 28545 0 -1 0 24978 0 0 0 82938 100 0 0 25 0 1 0 481843359 105492480 24905 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25755 24905 603 41 0 25714 0
vsize: 103020
[startup+840.316 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4447
Raw data (stat): 4392 (minisat+) R 4391 28546 28545 0 -1 0 25085 0 0 0 83937 100 0 0 25 0 1 0 481843359 105897984 25012 4294967295 134512640 134672761 3221224560 3221223728 134560937 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25854 25012 603 41 0 25813 0
vsize: 103416
[startup+850.317 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4447
Raw data (stat): 4392 (minisat+) R 4391 28546 28545 0 -1 0 25221 0 0 0 84937 100 0 0 25 0 1 0 481843359 106430464 25148 4294967295 134512640 134672761 3221224560 3221223728 134560888 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 25984 25148 603 41 0 25943 0
vsize: 103936
[startup+860.317 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4447
Raw data (stat): 4392 (minisat+) R 4391 28546 28545 0 -1 0 25376 0 0 0 85936 101 0 0 25 0 1 0 481843359 107094016 25303 4294967295 134512640 134672761 3221224560 3221223664 134559925 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26146 25303 603 41 0 26105 0
vsize: 104584
[startup+870.317 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4447
Raw data (stat): 4392 (minisat+) R 4391 28546 28545 0 -1 0 25521 0 0 0 86936 101 0 0 25 0 1 0 481843359 107622400 25448 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26275 25448 603 41 0 26234 0
vsize: 105100
[startup+880.317 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4447
Raw data (stat): 4392 (minisat+) R 4391 28546 28545 0 -1 0 25674 0 0 0 87936 101 0 0 25 0 1 0 481843359 108285952 25601 4294967295 134512640 134672761 3221224560 3221223728 134560948 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26437 25601 603 41 0 26396 0
vsize: 105748
[startup+890.317 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4447
Raw data (stat): 4392 (minisat+) R 4391 28546 28545 0 -1 0 25817 0 0 0 88936 102 0 0 25 0 1 0 481843359 108822528 25744 4294967295 134512640 134672761 3221224560 3221223728 134561229 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26568 25744 603 41 0 26527 0
vsize: 106272
[startup+900.317 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4447
Raw data (stat): 4392 (minisat+) R 4391 28546 28545 0 -1 0 25951 0 0 0 89936 102 0 0 25 0 1 0 481843359 109481984 25878 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26729 25878 603 41 0 26688 0
vsize: 106916
[startup+910.318 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4447
Raw data (stat): 4392 (minisat+) R 4391 28546 28545 0 -1 0 26071 0 0 0 90935 103 0 0 25 0 1 0 481843359 109875200 25998 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26825 25998 603 41 0 26784 0
vsize: 107300
[startup+920.318 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4447
Raw data (stat): 4392 (minisat+) R 4391 28546 28545 0 -1 0 26205 0 0 0 91935 103 0 0 25 0 1 0 481843359 110407680 26132 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26955 26132 603 41 0 26914 0
vsize: 107820
[startup+930.317 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4449
Raw data (stat): 4392 (minisat+) R 4391 28546 28545 0 -1 0 26326 0 0 0 92935 103 0 0 25 0 1 0 481843359 110936064 26253 4294967295 134512640 134672761 3221224560 3221223760 134557895 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 27084 26253 603 41 0 27043 0
vsize: 108336
[startup+940.317 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4449
Raw data (stat): 4392 (minisat+) R 4391 28546 28545 0 -1 0 26429 0 0 0 93934 104 0 0 25 0 1 0 481843359 111333376 26356 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 27181 26356 603 41 0 27140 0
vsize: 108724
[startup+950.318 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4449
Raw data (stat): 4392 (minisat+) R 4391 28546 28545 0 -1 0 26527 0 0 0 94934 104 0 0 25 0 1 0 481843359 111726592 26454 4294967295 134512640 134672761 3221224560 3221223728 134560940 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 27277 26454 603 41 0 27236 0
vsize: 109108
[startup+960.317 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4449
Raw data (stat): 4392 (minisat+) R 4391 28546 28545 0 -1 0 26644 0 0 0 95934 105 0 0 25 0 1 0 481843359 112259072 26571 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 27407 26571 603 41 0 27366 0
vsize: 109628
[startup+970.318 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4449
Raw data (stat): 4392 (minisat+) R 4391 28546 28545 0 -1 0 26646 0 0 0 96934 105 0 0 25 0 1 0 481843359 112259072 26573 4294967295 134512640 134672761 3221224560 3221223744 134558687 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 27407 26573 603 41 0 27366 0
vsize: 109628
[startup+980.318 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4449
Raw data (stat): 4392 (minisat+) R 4391 28546 28545 0 -1 0 26646 0 0 0 97935 105 0 0 25 0 1 0 481843359 112259072 26573 4294967295 134512640 134672761 3221224560 3221223664 134560002 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 27407 26573 603 41 0 27366 0
vsize: 109628
[startup+990.317 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4449
Raw data (stat): 4392 (minisat+) R 4391 28546 28545 0 -1 0 26646 0 0 0 98935 105 0 0 25 0 1 0 481843359 112259072 26573 4294967295 134512640 134672761 3221224560 3221223728 134561005 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 27407 26573 603 41 0 27366 0
vsize: 109628
[startup+1000.32 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4449
Raw data (stat): 4392 (minisat+) R 4391 28546 28545 0 -1 0 26646 0 0 0 99935 105 0 0 25 0 1 0 481843359 112259072 26573 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 27407 26573 603 41 0 27366 0
vsize: 109628
[startup+1010.32 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4449
Raw data (stat): 4392 (minisat+) R 4391 28546 28545 0 -1 0 26646 0 0 0 100935 105 0 0 25 0 1 0 481843359 112259072 26573 4294967295 134512640 134672761 3221224560 3221223728 134561190 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 27407 26573 603 41 0 27366 0
vsize: 109628
[startup+1020.32 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4449
Raw data (stat): 4392 (minisat+) R 4391 28546 28545 0 -1 0 26646 0 0 0 101935 105 0 0 25 0 1 0 481843359 112259072 26573 4294967295 134512640 134672761 3221224560 3221223728 134560849 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 27407 26573 603 41 0 27366 0
vsize: 109628
[startup+1030.32 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4449
Raw data (stat): 4392 (minisat+) R 4391 28546 28545 0 -1 0 26646 0 0 0 102936 105 0 0 25 0 1 0 481843359 112259072 26573 4294967295 134512640 134672761 3221224560 3221223696 134560718 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 27407 26573 603 41 0 27366 0
vsize: 109628
[startup+1040.32 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4449
Raw data (stat): 4392 (minisat+) R 4391 28546 28545 0 -1 0 26646 0 0 0 103936 105 0 0 25 0 1 0 481843359 112259072 26573 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 27407 26573 603 41 0 27366 0
vsize: 109628
[startup+1050.32 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4449
Raw data (stat): 4392 (minisat+) R 4391 28546 28545 0 -1 0 26646 0 0 0 104936 105 0 0 25 0 1 0 481843359 112259072 26573 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 27407 26573 603 41 0 27366 0
vsize: 109628
[startup+1060.32 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4449
Raw data (stat): 4392 (minisat+) R 4391 28546 28545 0 -1 0 26646 0 0 0 105936 105 0 0 25 0 1 0 481843359 112259072 26573 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 27407 26573 603 41 0 27366 0
vsize: 109628
[startup+1070.32 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4449
Raw data (stat): 4392 (minisat+) R 4391 28546 28545 0 -1 0 26646 0 0 0 106936 105 0 0 25 0 1 0 481843359 112259072 26573 4294967295 134512640 134672761 3221224560 3221223732 134556598 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 27407 26573 603 41 0 27366 0
vsize: 109628
[startup+1080.32 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4449
Raw data (stat): 4392 (minisat+) R 4391 28546 28545 0 -1 0 26646 0 0 0 107937 105 0 0 25 0 1 0 481843359 112259072 26573 4294967295 134512640 134672761 3221224560 3221223728 134561190 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 27407 26573 603 41 0 27366 0
vsize: 109628
[startup+1090.32 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4449
Raw data (stat): 4392 (minisat+) R 4391 28546 28545 0 -1 0 26646 0 0 0 108937 105 0 0 25 0 1 0 481843359 112259072 26573 4294967295 134512640 134672761 3221224560 3221223728 134560892 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 27407 26573 603 41 0 27366 0
vsize: 109628
[startup+1100.32 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4449
Raw data (stat): 4392 (minisat+) R 4391 28546 28545 0 -1 0 26646 0 0 0 109937 105 0 0 25 0 1 0 481843359 112259072 26573 4294967295 134512640 134672761 3221224560 3221223728 134561226 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 27407 26573 603 41 0 27366 0
vsize: 109628
[startup+1110.32 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4449
Raw data (stat): 4392 (minisat+) R 4391 28546 28545 0 -1 0 26646 0 0 0 110936 105 0 0 25 0 1 0 481843359 112259072 26573 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 27407 26573 603 41 0 27366 0
vsize: 109628
[startup+1120.32 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4449
Raw data (stat): 4392 (minisat+) R 4391 28546 28545 0 -1 0 26646 0 0 0 111935 105 0 0 25 0 1 0 481843359 112259072 26573 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 27407 26573 603 41 0 27366 0
vsize: 109628
[startup+1130.32 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4449
Raw data (stat): 4392 (minisat+) R 4391 28546 28545 0 -1 0 26646 0 0 0 112935 105 0 0 25 0 1 0 481843359 112259072 26573 4294967295 134512640 134672761 3221224560 3221223728 134561207 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 27407 26573 603 41 0 27366 0
vsize: 109628
[startup+1140.32 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4449
Raw data (stat): 4392 (minisat+) R 4391 28546 28545 0 -1 0 26646 0 0 0 113935 105 0 0 25 0 1 0 481843359 112259072 26573 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 27407 26573 603 41 0 27366 0
vsize: 109628
[startup+1150.32 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4449
Raw data (stat): 4392 (minisat+) R 4391 28546 28545 0 -1 0 26646 0 0 0 114936 105 0 0 25 0 1 0 481843359 112259072 26573 4294967295 134512640 134672761 3221224560 3221223728 134560964 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 27407 26573 603 41 0 27366 0
vsize: 109628
[startup+1160.32 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4449
Raw data (stat): 4392 (minisat+) R 4391 28546 28545 0 -1 0 26646 0 0 0 115936 105 0 0 25 0 1 0 481843359 112259072 26573 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 27407 26573 603 41 0 27366 0
vsize: 109628
[startup+1170.32 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4449
Raw data (stat): 4392 (minisat+) R 4391 28546 28545 0 -1 0 26646 0 0 0 116936 105 0 0 25 0 1 0 481843359 112259072 26573 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 27407 26573 603 41 0 27366 0
vsize: 109628
[startup+1180.32 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4449
Raw data (stat): 4392 (minisat+) R 4391 28546 28545 0 -1 0 26646 0 0 0 117936 105 0 0 25 0 1 0 481843359 112259072 26573 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 27407 26573 603 41 0 27366 0
vsize: 109628
[startup+1190.32 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4449
Raw data (stat): 4392 (minisat+) R 4391 28546 28545 0 -1 0 26646 0 0 0 118937 105 0 0 25 0 1 0 481843359 112259072 26573 4294967295 134512640 134672761 3221224560 3221223728 134561164 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 27407 26573 603 41 0 27366 0
vsize: 109628
[startup+1200.32 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4449
Raw data (stat): 4392 (minisat+) R 4391 28546 28545 0 -1 0 26646 0 0 0 119937 105 0 0 25 0 1 0 481843359 112259072 26573 4294967295 134512640 134672761 3221224560 3221223664 134560350 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 27407 26573 603 41 0 27366 0
vsize: 109628
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.38 s]
Raw data (loadavg): 1.00 1.00 0.94 1/54 4449
Raw data (stat): 4392 (minisat+) Z 4391 28546 28545 0 -1 12 26649 0 0 0 119937 110 0 0 25 0 1 0 481843359 0 0 4294967295 0 0 0 0 0 0 16384 5 16386 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 10
Real time (s): 1200.38
CPU time (s): 1200.48
CPU user time (s): 1199.37
CPU system time (s): 1.10883
CPU usage (%): 100.009
Max. virtual memory (Kb): 109628
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####