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/frb59-26-opb/normalized-frb59-26-4.opb
MD5SUM	f6c01aa815aa7b4a79652c8bfa8bef11
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-44
Optimality of the best value was proved	NO
Number of terms in the objective function	1534
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	1534
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	1534
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.14
Number of variables	1534
Total number of constraints	127011
Number of constraints which are clauses	127011
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 5648

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-04-14 01:15:52 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=4112 boxname=wulflinc6 idbench=352 idsolver=11 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  f6c01aa815aa7b4a79652c8bfa8bef11  /oldhome/oroussel/tmp/wulflinc6/normalized-frb59-26-4.opb
REAL COMMAND:  minisat+ -S /oldhome/oroussel/tmp/wulflinc6/normalized-frb59-26-4.opb /oldhome/oroussel/tmp/wulflinc6/normalized-frb59-26-4.opb
IDLAUNCH: 4112
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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:        887416 kB
Buffers:         35856 kB
Cached:          88864 kB
SwapCached:       2644 kB
Active:          55356 kB
Inactive:        74800 kB
HighTotal:      131008 kB
HighFree:        38360 kB
LowTotal:       903652 kB
LowFree:        849056 kB
SwapTotal:     2097136 kB
SwapFree:      2094492 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6928 kB
Slab:            11456 kB
Committed_AS:    63484 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-14 01:36:05 (client local time) WITH STATUS 10 IN 1209.22 SECONDS
stats: 4112 7 1209.22 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Parsing PB file...
c Converting 127011 PB-constraints to clauses...
c   -- Unit propagations: (none)
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): ...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
c =================================[SATELITE+]==================================
c |           |     ORIGINAL     |              LEARNT              |          |
c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
c ==============================================================================
c |         0 |  127011   254022 |   38103       0        0     nan |  0.000 % |
c   -- subsuming                       
c |         0 |  127011   254022 |   50804       0        0     nan |  0.000 % |
c ==============================================================================
c (current CPU-time: 7.69583 s)
c ==============================================================================
c [1mFound solution: -39[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:85954     Base:
c =================================[SATELITE+]==================================
c |           |     ORIGINAL     |              LEARNT              |          |
c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
c ==============================================================================
c |         0 |  217724   466825 |   65317       0        0     nan |  0.000 % |
c   -- subsuming                       
c   -- var.elim.:  1000/61760          
c   -- var.elim.:  2000/61760          
c   -- var.elim.:  3000/61760          
c   -- var.elim.:  4000/61760          
c   -- var.elim.:  5000/61760          
c   -- var.elim.:  6000/61760          
c   -- var.elim.:  7000/61760          
c   -- var.elim.:  8000/61760          
c   -- var.elim.:  9000/61760          
c   -- var.elim.:  10000/61760          
c   -- var.elim.:  11000/61760          
c   -- var.elim.:  12000/61760          
c   -- var.elim.:  13000/61760          
c   -- var.elim.:  14000/61760          
c   -- var.elim.:  15000/61760          
c   -- var.elim.:  16000/61760          
c   -- var.elim.:  17000/61760          
c   -- var.elim.:  18000/61760          
c   -- var.elim.:  19000/61760          
c   -- var.elim.:  20000/61760          
c   -- var.elim.:  21000/61760          
c   -- var.elim.:  22000/61760          
c   -- var.elim.:  23000/61760          
c   -- var.elim.:  24000/61760          
c   -- var.elim.:  25000/61760          
c   -- var.elim.:  26000/61760          
c   -- var.elim.:  27000/61760          
c   -- var.elim.:  28000/61760          
c   -- var.elim.:  29000/61760          
c   -- var.elim.:  30000/61760          
c   -- var.elim.:  31000/61760          
c   -- var.elim.:  32000/61760          
c   -- var.elim.:  33000/61760          
c   -- var.elim.:  34000/61760          
c   -- var.elim.:  35000/61760          
c   -- var.elim.:  36000/61760          
c   -- var.elim.:  37000/61760          
c   -- var.elim.:  38000/61760          
c   -- var.elim.:  39000/61760          
c   -- var.elim.:  40000/61760          
c   -- var.elim.:  41000/61760          
c   -- var.elim.:  42000/61760          
c   -- var.elim.:  43000/61760          
c   -- var.elim.:  44000/61760          
c   -- var.elim.:  45000/61760          
c   -- var.elim.:  46000/61760          
c   -- var.elim.:  47000/61760          
c   -- var.elim.:  48000/61760          
c   -- var.elim.:  49000/61760          
c   -- var.elim.:  50000/61760          
c   -- var.elim.:  51000/61760          
c   -- var.elim.:  52000/61760          
c   -- var.elim.:  53000/61760          
c   -- var.elim.:  54000/61760          
c   -- var.elim.:  55000/61760          
c   -- var.elim.:  56000/61760          
c   -- var.elim.:  57000/61760          
c   -- var.elim.:  58000/61760          
c   -- var.elim.:  59000/61760          
c   -- var.elim.:  60000/61760          
c   -- var.elim.:  61000/61760          
c   -- var.elim.:  61760/61760          
c   -- var.elim.:  1000/31239          
c   -- var.elim.:  2000/31239          
c   -- var.elim.:  3000/31239          
c   -- var.elim.:  4000/31239          
c   -- var.elim.:  5000/31239          
c   -- var.elim.:  6000/31239          
c   -- var.elim.:  7000/31239          
c   -- var.elim.:  8000/31239          
c   -- var.elim.:  9000/31239          
c   -- var.elim.:  10000/31239          
c   -- var.elim.:  11000/31239          
c   -- var.elim.:  12000/31239          
c   -- var.elim.:  13000/31239          
c   -- var.elim.:  14000/31239          
c   -- var.elim.:  15000/31239          
c   -- var.elim.:  16000/31239          
c   -- var.elim.:  17000/31239          
c   -- var.elim.:  18000/31239          
c   -- var.elim.:  19000/31239          
c   -- var.elim.:  20000/31239          
c   -- var.elim.:  21000/31239          
c   -- var.elim.:  22000/31239          
c   -- var.elim.:  23000/31239          
c   -- var.elim.:  24000/31239          
c   -- var.elim.:  25000/31239          
c   -- var.elim.:  26000/31239          
c   -- var.elim.:  27000/31239          
c   -- var.elim.:  28000/31239          
c   -- var.elim.:  29000/31239          
c   -- var.elim.:  30000/31239          
c   -- var.elim.:  31000/31239          
c   -- var.elim.:  31239/31239          
c   -- var.elim.:  1000/7708          
c   -- var.elim.:  2000/7708          
c   -- var.elim.:  3000/7708          
c   -- var.elim.:  4000/7708          
c   -- var.elim.:  5000/7708          
c   -- var.elim.:  6000/7708          
c   -- var.elim.:  7000/7708          
c   -- var.elim.:  7708/7708          
c   -- var.elim.:  94/94          
c   -- subsuming                       
c   -- var.elim.:  1000/11759          
c   -- var.elim.:  2000/11759          
c   -- var.elim.:  3000/11759          
c   -- var.elim.:  4000/11759          
c   -- var.elim.:  5000/11759          
c   -- var.elim.:  6000/11759          
c   -- var.elim.:  7000/11759          
c   -- var.elim.:  8000/11759          
c   -- var.elim.:  9000/11759          
c   -- var.elim.:  10000/11759          
c   -- var.elim.:  11000/11759          
c   -- var.elim.:  11759/11759          
c   -- var.elim.:  311/311          
c |         0 |  151665   476054 |      --       0       --      -- |     --   | -66059/9230
c |         0 |  151665   476054 |   60666       0        0     nan |  0.000 % |
c |       100 |  151665   476054 |   66732     100    19858   198.6 | 56.187 % |
c |       250 |  151665   476054 |   73405     250    47833   191.3 | 56.186 % |
c |       475 |  151665   476054 |   80746     475    96391   202.9 | 56.186 % |
c |       812 |  151665   476054 |   88821     812   173600   213.8 | 56.186 % |
c |      1319 |  151649   475865 |   97692    1317   316288   240.2 | 56.212 % |
c |      2078 |  151649   475865 |  107462    2076   528726   254.7 | 56.212 % |
c |      3217 |  151649   475865 |  118208    3215   837477   260.5 | 56.212 % |
c |      4925 |  151581   475218 |  129970    4917  1308809   266.2 | 56.322 % |
c ==============================================================================
c (current CPU-time: 347.542 s)
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 =================================[SATELITE+]==================================
c |           |     ORIGINAL     |              LEARNT              |          |
c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
c ==============================================================================
c |      7398 |  161279   501333 |   48383    7380  2037370   276.1 | 56.322 % |
c   -- subsuming                       
c   -- var.elim.:  1000/21043          
c   -- var.elim.:  2000/21043          
c   -- var.elim.:  3000/21043          
c   -- var.elim.:  4000/21043          
c   -- var.elim.:  5000/21043          
c   -- var.elim.:  6000/21043          
c   -- var.elim.:  7000/21043          
c   -- var.elim.:  8000/21043          
c   -- var.elim.:  9000/21043          
c   -- var.elim.:  10000/21043          
c   -- var.elim.:  11000/21043          
c   -- var.elim.:  12000/21043          
c   -- var.elim.:  13000/21043          
c   -- var.elim.:  14000/21043          
c   -- var.elim.:  15000/21043          
c   -- var.elim.:  16000/21043          
c   -- var.elim.:  17000/21043          
c   -- var.elim.:  18000/21043          
c   -- var.elim.:  19000/21043          
c   -- var.elim.:  20000/21043          
c   -- var.elim.:  21000/21043          
c   -- var.elim.:  21043/21043          
c   -- var.elim.:  1000/7167          
c   -- var.elim.:  2000/7167          
c   -- var.elim.:  3000/7167          
c   -- var.elim.:  4000/7167          
c   -- var.elim.:  5000/7167          
c   -- var.elim.:  6000/7167          
c   -- var.elim.:  7000/7167          
c   -- var.elim.:  7167/7167          
c   -- var.elim.:  114/114          
c   -- var.elim.:  44/44          
c   -- var.elim.:  4/4          
c   -- subsuming                       
c   -- var.elim.:  1000/6676          
c   -- var.elim.:  2000/6676          
c   -- var.elim.:  3000/6676          
c   -- var.elim.:  4000/6676          
c   -- var.elim.:  5000/6676          
c   -- var.elim.:  6000/6676          
c   -- var.elim.:  6676/6676          
c   -- var.elim.:  91/91          
c |      7398 |  151716   485885 |      --    7380       --      -- |     --   | -9554/-15429
c |      7398 |  151716   485885 |   60686    7380  2037370   276.1 | 56.322 % |
c |      7498 |  151700   485690 |   66748    7479  2061158   275.6 | 60.973 % |
c |      7649 |  151696   485630 |   73420    7626  2096291   274.9 | 60.979 % |
c |      7874 |  151696   485630 |   80762    7851  2174377   277.0 | 60.979 % |
c |      8212 |  151668   485379 |   88822    8185  2261217   276.3 | 61.019 % |
c |      8718 |  151668   485379 |   97705    8691  2389533   274.9 | 61.019 % |
c |      9477 |  151642   485119 |  107457    9446  2590215   274.2 | 61.057 % |
c |     10616 |  151642   485119 |  118202   10585  2972744   280.8 | 61.057 % |
c |     12325 |  151642   485119 |  130023   12294  3546522   288.5 | 61.056 % |
c |     14887 |  151348   482450 |  142748   14808  4393655   296.7 | 61.478 % |
c |     18731 |  151154   480637 |  156821   18627  5612681   301.3 | 61.756 % |
c |     24497 |  150806   477395 |  172106   24319  7733322   318.0 | 62.255 % |
c |     33146 |  150148   471131 |  188491   32843 10881814   331.3 | 63.198 % |
c |     46120 |  149169   461683 |  205988   45627 16517475   362.0 | 64.588 % |
c ==============================================================================
c (current CPU-time: 715.071 s)
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 =================================[SATELITE+]==================================
c |           |     ORIGINAL     |              LEARNT              |          |
c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
c ==============================================================================
c |     51792 |  163574   497883 |   49072   51217 18932417   369.7 | 64.588 % |
c   -- subsuming                       
c   -- var.elim.:  1000/26670          
c   -- var.elim.:  2000/26670          
c   -- var.elim.:  3000/26670          
c   -- var.elim.:  4000/26670          
c   -- var.elim.:  5000/26670          
c   -- var.elim.:  6000/26670          
c   -- var.elim.:  7000/26670          
c   -- var.elim.:  8000/26670          
c   -- var.elim.:  9000/26670          
c   -- var.elim.:  10000/26670          
c   -- var.elim.:  11000/26670          
c   -- var.elim.:  12000/26670          
c   -- var.elim.:  13000/26670          
c   -- var.elim.:  14000/26670          
c   -- var.elim.:  15000/26670          
c   -- var.elim.:  16000/26670          
c   -- var.elim.:  17000/26670          
c   -- var.elim.:  18000/26670          
c   -- var.elim.:  19000/26670          
c   -- var.elim.:  20000/26670          
c   -- var.elim.:  21000/26670          
c   -- var.elim.:  22000/26670          
c   -- var.elim.:  23000/26670          
c   -- var.elim.:  24000/26670          
c   -- var.elim.:  25000/26670          
c   -- var.elim.:  26000/26670          
c   -- var.elim.:  26670/26670          
c   -- var.elim.:  1000/10591          
c   -- var.elim.:  2000/10591          
c   -- var.elim.:  3000/10591          
c   -- var.elim.:  4000/10591          
c   -- var.elim.:  5000/10591          
c   -- var.elim.:  6000/10591          
c   -- var.elim.:  7000/10591          
c   -- var.elim.:  8000/10591          
c   -- var.elim.:  9000/10591          
c   -- var.elim.:  10000/10591          
c   -- var.elim.:  10591/10591          
c   -- var.elim.:  85/85          
c   -- var.elim.:  30/30          
c   -- subsuming                       
c   -- var.elim.:  1000/8919          
c   -- var.elim.:  2000/8919          
c   -- var.elim.:  3000/8919          
c   -- var.elim.:  4000/8919          
c   -- var.elim.:  5000/8919          
c   -- var.elim.:  6000/8919          
c   -- var.elim.:  7000/8919          
c   -- var.elim.:  8000/8919          
c   -- var.elim.:  8919/8919          
c   -- var.elim.:  118/118          
c |     51792 |  148964   475149 |      --   51217       --      -- |     --   | -14587/-22687
c |     51792 |  148964   475149 |   59585   49698 17974316   361.7 | 64.588 % |
c |     51893 |  148960   475117 |   65542   49798 18008854   361.6 | 71.045 % |
c |     52043 |  148916   474648 |   72075   49946 18072031   361.8 | 71.098 % |
c |     52268 |  148810   473611 |   79226   50146 18149795   361.9 | 71.219 % |
c |     52605 |  148810   473611 |   87149   50483 18232839   361.2 | 71.219 % |
c |     53111 |  148507   470466 |   95668   50933 18317890   359.6 | 71.572 % |
c |     53870 |  148387   469185 |  105150   51674 18571850   359.4 | 71.712 % |
c |     55009 |  148268   467894 |  115572   52759 18928672   358.8 | 71.847 % |
c |     56717 |  148148   466667 |  127027   54440 19279510   354.1 | 71.985 % |
c |     59280 |  147668   461721 |  139277   56902 20058125   352.5 | 72.535 % |
c |     63124 |  147063   455372 |  152577   60578 21434999   353.8 | 73.244 % |
c |     68890 |  146713   451722 |  167435   66171 23351358   352.9 | 73.649 % |
c |     77540 |  145973   444014 |  183250   74615 26089919   349.7 | 74.501 % |
c |     90514 |  145125   435040 |  200404   87274 30815729   353.1 | 75.487 % |
c 
c *** TERMINATED ***
s SATISFIABLE
v -C1534 -C1533 -C1532 -C1531 C1530 -C1529 -C1528 -C1527 -C1526 -C1525 -C1524 -C1523 -C1522 -C1521 -C1520 -C1519 -C1518 -C1517 -C1516 -C1515 -C1514 -C1513 -C1512 -C1511 -C1510 -C1509 -C1508 -C1507 -C1506 -C1505 -C1504 -C1503 -C1502 -C1501 -C1500 -C1499 -C1498 -C1497 C1496 -C1495 -C1494 -C1493 -C1492 -C1491 -C1490 -C1489 -C1488 -C1487 -C1486 -C1485 -C1484 -C1483 -C1482 -C1481 -C1480 -C1479 -C1478 -C1477 -C1476 -C1475 -C1474 -C1473 -C1472 -C1471 -C1470 -C1469 -C1468 -C1467 -C1466 -C1465 -C1464 -C1463 -C1462 -C1461 C1460 -C1459 -C1458 -C1457 -C1456 -C1455 -C1454 C1453 -C1452 -C1451 -C1450 -C1449 -C1448 -C1447 -C1446 -C1445 -C1444 -C1443 -C1442 -C1441 -C1440 -C1439 -C1438 -C1437 -C1436 -C1435 -C1434 -C1433 -C1432 -C1431 -C1430 -C1429 -C1428 -C1427 -C1426 -C1425 -C1424 -C1423 -C1422 -C1421 -C1420 -C1419 -C1418 -C1417 -C1416 -C1415 -C1414 -C1413 -C1412 -C1411 -C1410 -C1409 -C1408 -C1407 -C1406 -C1405 -C1404 -C1403 -C1402 -C1401 -C1400 -C1399 -C1398 -C1397 -C1396 -C1395 -C1394 C1393 -C1392 -C1391 -C1390 -C1389 -C1388 -C1387 -C1386 -C1385 -C1384 -C1383 -C1382 -C1381 -C1380 -C1379 -C1378 -C1377 -C1376 -C1375 -C1374 -C1373 -C1372 -C1371 -C1370 -C1369 -C1368 -C1367 -C1366 -C1365 -C1364 -C1363 -C1362 -C1361 -C1360 -C1359 -C1358 -C1357 -C1356 -C1355 -C1354 C1353 -C1352 -C1351 -C1350 -C1349 -C1348 -C1347 -C1346 -C1345 -C1344 -C1343 -C1342 -C1341 -C1340 -C1339 -C1338 -C1337 -C1336 -C1335 -C1334 -C1333 -C1332 -C1331 -C1330 -C1329 -C1328 -C1327 -C1326 -C1325 -C1324 -C1323 -C1322 -C1321 -C1320 -C1319 -C1318 -C1317 -C1316 C1315 -C1314 -C1313 -C1312 -C1311 -C1310 -C1309 -C1308 -C1307 -C1306 -C1305 -C1304 -C1303 -C1302 -C1301 -C1300 -C1299 -C1298 -C1297 C1296 -C1295 -C1294 -C1293 -C1292 -C1291 -C1290 -C1289 -C1288 -C1287 -C1286 -C1285 -C1284 -C1283 -C1282 -C1281 -C1280 -C1279 -C1278 -C1277 -C1276 -C1275 -C1274 -C1273 -C1272 -C1271 -C1270 C1269 -C1268 -C1267 -C1266 -C1265 -C1264 -C1263 -C1262 -C1261 -C1260 -C1259 -C1258 -C1257 -C1256 -C1255 -C1254 -C1253 -C1252 -C1251 -C1250 -C1249 -C1248 -C1247 -C1246 -C1245 -C1244 -C1243 -C1242 -C1241 -C1240 -C1239 -C1238 -C1237 -C1236 -C1235 -C1234 -C1233 -C1232 -C1231 -C1230 -C1229 -C1228 -C1227 -C1226 -C1225 -C1224 -C1223 -C1222 -C1221 -C1220 C1219 -C1218 -C1217 -C1216 -C1215 -C1214 -C1213 -C1212 -C1211 -C1210 -C1209 -C1208 -C1207 -C1206 -C1205 -C1204 -C1203 -C1202 -C1201 -C1200 -C1199 -C1198 -C1197 -C1196 -C1195 -C1194 -C1193 -C1192 -C1191 -C1190 -C1189 -C1188 -C1187 -C1186 -C1185 -C1184 -C1183 -C1182 -C1181 -C1180 -C1179 -C1178 -C1177 -C1176 -C1175 -C1174 -C1173 C1172 -C1171 -C1170 -C1169 -C1168 -C1167 -C1166 -C1165 -C1164 -C1163 -C1162 -C1161 -C1160 -C1159 -C1158 -C1157 -C1156 -C1155 -C1154 -C1153 -C1152 -C1151 -C1150 -C1149 -C1148 -C1147 -C1146 -C1145 -C1144 -C1143 -C1142 -C1141 -C1140 -C1139 -C1138 -C1137 -C1136 -C1135 -C1134 -C1133 -C1132 -C1131 -C1130 -C1129 -C1128 -C1127 -C1126 -C1125 -C1124 -C1123 -C1122 -C1121 -C1120 C1119 -C1118 -C1117 -C1116 -C1115 -C1114 -C1113 -C1112 -C1111 -C1110 -C1109 -C1108 -C1107 -C1106 -C1105 -C1104 -C1103 -C1102 -C1101 -C1100 C1099 -C1098 -C1097 -C1096 -C1095 -C1094 -C1093 -C1092 -C1091 -C1090 -C1089 -C1088 -C1087 -C1086 -C1085 -C1084 -C1083 -C1082 -C1081 -C1080 -C1079 -C1078 -C1077 -C1076 -C1075 -C1074 -C1073 -C1072 -C1071 -C1070 -C1069 -C1068 -C1067 -C1066 -C1065 -C1064 -C1063 -C1062 -C1061 -C1060 -C1059 -C1058 -C1057 -C1056 -C1055 -C1054 -C1053 -C1052 -C1051 -C1050 -C1049 -C1048 -C1047 -C1046 -C1045 C1044 -C1043 -C1042 -C1041 -C1040 -C1039 -C1038 -C1037 -C1036 C1035 -C1034 -C1033 -C1032 -C1031 -C1030 -C1029 -C1028 -C1027 -C1026 -C1025 -C1024 -C1023 -C1022 -C1021 -C1020 -C1019 -C1018 -C1017 -C1016 -C1015 -C1014 -C1013 -C1012 -C1011 -C1010 -C1009 -C1008 -C1007 -C1006 -C1005 -C1004 -C1003 -C1002 -C1001 C1000 -C999 -C998 -C997 -C996 -C995 -C994 -C993 -C992 -C991 -C990 -C989 -C988 -C987 -C986 -C985 -C984 -C983 -C982 -C981 -C980 -C979 -C978 -C977 -C976 -C975 -C974 -C973 -C972 -C971 -C970 -C969 -C968 -C967 -C966 -C965 -C964 -C963 -C962 -C961 -C960 -C959 -C958 -C957 -C956 -C955 -C954 -C953 -C952 -C951 -C950 -C949 -C948 -C947 -C946 -C945 -C944 C943 -C942 -C941 -C940 -C939 -C938 -C937 -C936 -C935 -C934 C933 -C932 -C931 -C930 -C929 -C928 -C927 -C926 -C925 -C924 -C923 -C922 -C921 -C920 -C919 -C918 -C917 -C916 -C915 -C914 -C913 -C912 -C911 -C910 -C909 -C908 -C907 -C906 C905 -C904 -C903 -C902 -C901 -C900 -C899 -C898 -C897 -C896 -C895 -C894 -C893 -C892 -C891 -C890 -C889 -C888 -C887 -C886 -C885 -C884 -C883 -C882 -C881 -C880 -C879 -C878 -C877 -C876 -C875 -C874 -C873 -C872 -C871 -C870 C869 -C868 -C867 -C866 -C865 -C864 -C863 -C862 -C861 -C860 -C859 -C858 -C857 -C856 -C855 -C854 -C853 -C852 -C851 -C850 -C849 -C848 -C847 -C846 -C845 -C844 -C843 -C842 -C841 C840 -C839 -C838 -C837 -C836 -C835 -C834 -C833 -C832 -C831 -C830 -C829 -C828 -C827 -C826 -C825 -C824 -C823 -C822 -C821 -C820 -C819 -C818 -C817 -C816 -C815 -C814 -C813 -C812 -C811 -C810 -C809 -C808 -C807 -C806 -C805 -C804 -C803 -C802 -C801 -C800 -C799 -C798 -C797 -C796 -C795 -C794 -C793 -C792 -C791 -C790 -C789 -C788 -C787 -C786 -C785 -C784 -C783 -C782 -C781 -C780 -C779 -C778 -C777 -C776 -C775 -C774 -C773 -C772 C771 -C770 -C769 -C768 -C767 -C766 -C765 -C764 -C763 -C762 -C761 -C760 -C759 -C758 -C757 -C756 -C755 -C754 -C753 -C752 -C751 -C750 -C749 -C748 -C747 -C746 -C745 -C744 C743 -C742 -C741 -C740 -C739 -C738 -C737 -C736 -C735 -C734 -C733 -C732 -C731 -C730 -C729 -C728 -C727 -C726 -C725 -C724 -C723 -C722 -C721 -C720 -C719 -C718 -C717 -C716 -C715 -C714 -C713 -C712 -C711 -C710 -C709 -C708 -C707 C706 -C705 -C704 -C703 -C702 -C701 -C700 -C699 -C698 -C69#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.97 0.91 2/54 1400
Raw data (stat): 1400 (runsolver) R 1399 29653 29652 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 422335079 1052672 99 4294967295 134512640 135381576 3221224464 3221219708 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0002 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 1400
Raw data (stat): 1400 (minisat+) R 1399 29653 29652 0 -1 0 11991 0 0 0 965 33 0 0 25 0 1 0 422335079 48160768 11145 4294967295 134512640 134672761 3221224560 3221222976 134644235 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11758 11145 603 41 0 11717 0
vsize: 47032
[startup+20.0006 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 1400
Raw data (stat): 1400 (minisat+) R 1399 29653 29652 0 -1 0 12933 0 0 0 1940 58 0 0 25 0 1 0 422335079 52064256 12087 4294967295 134512640 134672761 3221224560 3221223056 134644246 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12711 12087 603 41 0 12670 0
vsize: 50844
[startup+30.0002 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 1400
Raw data (stat): 1400 (minisat+) R 1399 29653 29652 0 -1 0 12945 0 0 0 2940 58 0 0 25 0 1 0 422335079 52154368 12099 4294967295 134512640 134672761 3221224560 3221223072 134606989 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12733 12099 603 41 0 12692 0
vsize: 50932
[startup+40 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 1400
Raw data (stat): 1400 (minisat+) R 1399 29653 29652 0 -1 0 12978 0 0 0 3940 58 0 0 25 0 1 0 422335079 52416512 12132 4294967295 134512640 134672761 3221224560 3221223008 134643493 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 12797 12132 603 41 0 12756 0
vsize: 51188
[startup+49.9996 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 1400
Raw data (stat): 1400 (minisat+) R 1399 29653 29652 0 -1 0 12979 0 0 0 4940 58 0 0 25 0 1 0 422335079 52416512 12133 4294967295 134512640 134672761 3221224560 3221223056 134644246 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12797 12133 603 41 0 12756 0
vsize: 51188
[startup+59.9997 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 1400
Raw data (stat): 1400 (minisat+) R 1399 29653 29652 0 -1 0 12980 0 0 0 5940 58 0 0 25 0 1 0 422335079 52416512 12134 4294967295 134512640 134672761 3221224560 3221222992 134605673 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12797 12134 603 41 0 12756 0
vsize: 51188
[startup+70.0002 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 1400
Raw data (stat): 1400 (minisat+) R 1399 29653 29652 0 -1 0 12981 0 0 0 6941 58 0 0 25 0 1 0 422335079 52416512 12135 4294967295 134512640 134672761 3221224560 3221222764 134642762 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12797 12135 603 41 0 12756 0
vsize: 51188
[startup+80.0004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 1400
Raw data (stat): 1400 (minisat+) R 1399 29653 29652 0 -1 0 12983 0 0 0 7941 58 0 0 25 0 1 0 422335079 52416512 12137 4294967295 134512640 134672761 3221224560 3221223056 134644240 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12797 12137 603 41 0 12756 0
vsize: 51188
[startup+90.0001 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 1400
Raw data (stat): 1400 (minisat+) R 1399 29653 29652 0 -1 0 12984 0 0 0 8941 58 0 0 25 0 1 0 422335079 52416512 12138 4294967295 134512640 134672761 3221224560 3221222992 134604652 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12797 12138 603 41 0 12756 0
vsize: 51188
[startup+99.9996 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 1400
Raw data (stat): 1400 (minisat+) R 1399 29653 29652 0 -1 0 12985 0 0 0 9942 58 0 0 25 0 1 0 422335079 52416512 12139 4294967295 134512640 134672761 3221224560 3221222816 134621211 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12797 12139 603 41 0 12756 0
vsize: 51188
[startup+109.999 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 1400
Raw data (stat): 1400 (minisat+) R 1399 29653 29652 0 -1 0 12986 0 0 0 10942 58 0 0 25 0 1 0 422335079 52416512 12140 4294967295 134512640 134672761 3221224560 3221223008 134643987 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12797 12140 603 41 0 12756 0
vsize: 51188
[startup+120 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1400
Raw data (stat): 1400 (minisat+) R 1399 29653 29652 0 -1 0 12988 0 0 0 11942 58 0 0 25 0 1 0 422335079 52416512 12142 4294967295 134512640 134672761 3221224560 3221222992 134604075 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12797 12142 603 41 0 12756 0
vsize: 51188
[startup+130 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1400
Raw data (stat): 1400 (minisat+) R 1399 29653 29652 0 -1 0 12989 0 0 0 12943 58 0 0 25 0 1 0 422335079 52416512 12143 4294967295 134512640 134672761 3221224560 3221223056 134644251 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12797 12143 603 41 0 12756 0
vsize: 51188
[startup+140 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1400
Raw data (stat): 1400 (minisat+) R 1399 29653 29652 0 -1 0 12994 0 0 0 13943 58 0 0 25 0 1 0 422335079 52416512 12148 4294967295 134512640 134672761 3221224560 3221223008 134643583 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12797 12148 603 41 0 12756 0
vsize: 51188
[startup+150 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1400
Raw data (stat): 1400 (minisat+) R 1399 29653 29652 0 -1 0 13005 0 0 0 14943 59 0 0 25 0 1 0 422335079 52416512 12159 4294967295 134512640 134672761 3221224560 3221223088 134606420 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12797 12159 603 41 0 12756 0
vsize: 51188
[startup+160 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1400
Raw data (stat): 1400 (minisat+) R 1399 29653 29652 0 -1 0 13026 0 0 0 15943 59 0 0 25 0 1 0 422335079 52674560 12180 4294967295 134512640 134672761 3221224560 3221222720 134566560 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12860 12180 603 41 0 12819 0
vsize: 51440
[startup+169.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1400
Raw data (stat): 1400 (minisat+) R 1399 29653 29652 0 -1 0 13030 0 0 0 16944 59 0 0 25 0 1 0 422335079 52674560 12184 4294967295 134512640 134672761 3221224560 3221223008 134644016 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12860 12184 603 41 0 12819 0
vsize: 51440
[startup+179.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1400
Raw data (stat): 1400 (minisat+) R 1399 29653 29652 0 -1 0 13034 0 0 0 17944 59 0 0 25 0 1 0 422335079 52674560 12188 4294967295 134512640 134672761 3221224560 3221223056 134644235 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12860 12188 603 41 0 12819 0
vsize: 51440
[startup+189.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1400
Raw data (stat): 1400 (minisat+) R 1399 29653 29652 0 -1 0 13038 0 0 0 18944 59 0 0 25 0 1 0 422335079 52674560 12192 4294967295 134512640 134672761 3221224560 3221222984 1075353072 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12860 12192 603 41 0 12819 0
vsize: 51440
[startup+199.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1400
Raw data (stat): 1400 (minisat+) R 1399 29653 29652 0 -1 0 13043 0 0 0 19945 59 0 0 25 0 1 0 422335079 52674560 12197 4294967295 134512640 134672761 3221224560 3221223008 134643483 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12860 12197 603 41 0 12819 0
vsize: 51440
[startup+209.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1400
Raw data (stat): 1400 (minisat+) R 1399 29653 29652 0 -1 0 13049 0 0 0 20945 59 0 0 25 0 1 0 422335079 52674560 12203 4294967295 134512640 134672761 3221224560 3221223088 134606949 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12860 12203 603 41 0 12819 0
vsize: 51440
[startup+219.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1400
Raw data (stat): 1400 (minisat+) R 1399 29653 29652 0 -1 0 13054 0 0 0 21945 59 0 0 25 0 1 0 422335079 52674560 12208 4294967295 134512640 134672761 3221224560 3221221888 134566484 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12860 12208 603 41 0 12819 0
vsize: 51440
[startup+230 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1400
Raw data (stat): 1400 (minisat+) R 1399 29653 29652 0 -1 0 13088 0 0 0 22945 59 0 0 25 0 1 0 422335079 52686848 12181 4294967295 134512640 134672761 3221224560 3221223040 134541817 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 12863 12181 603 41 0 12822 0
vsize: 51452
[startup+239.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1400
Raw data (stat): 1400 (minisat+) R 1399 29653 29652 0 -1 0 13088 0 0 0 23945 59 0 0 25 0 1 0 422335079 52686848 12181 4294967295 134512640 134672761 3221224560 3221223008 134643483 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12863 12181 603 41 0 12822 0
vsize: 51452
[startup+250 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1400
Raw data (stat): 1400 (minisat+) R 1399 29653 29652 0 -1 0 13088 0 0 0 24945 59 0 0 25 0 1 0 422335079 52686848 12181 4294967295 134512640 134672761 3221224560 3221223008 134643954 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12863 12181 603 41 0 12822 0
vsize: 51452
[startup+260 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1400
Raw data (stat): 1400 (minisat+) R 1399 29653 29652 0 -1 0 13088 0 0 0 25946 59 0 0 25 0 1 0 422335079 52686848 12181 4294967295 134512640 134672761 3221224560 3221223008 134643474 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12863 12181 603 41 0 12822 0
vsize: 51452
[startup+270 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1400
Raw data (stat): 1400 (minisat+) R 1399 29653 29652 0 -1 0 13530 0 0 0 26945 60 0 0 25 0 1 0 422335079 54812672 12562 4294967295 134512640 134672761 3221224560 3221223052 134642759 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 13382 12562 603 41 0 13341 0
vsize: 53528
[startup+280 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1400
Raw data (stat): 1400 (minisat+) R 1399 29653 29652 0 -1 0 13530 0 0 0 27945 60 0 0 25 0 1 0 422335079 54812672 12562 4294967295 134512640 134672761 3221224560 3221223024 134644240 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 13382 12562 603 41 0 13341 0
vsize: 53528
[startup+290 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1400
Raw data (stat): 1400 (minisat+) R 1399 29653 29652 0 -1 0 13530 0 0 0 28946 60 0 0 25 0 1 0 422335079 54812672 12562 4294967295 134512640 134672761 3221224560 3221223024 134644246 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 13382 12562 603 41 0 13341 0
vsize: 53528
[startup+300 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1400
Raw data (stat): 1400 (minisat+) R 1399 29653 29652 0 -1 0 13530 0 0 0 29946 60 0 0 25 0 1 0 422335079 54812672 12562 4294967295 134512640 134672761 3221224560 3221223104 134621211 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 13382 12562 603 41 0 13341 0
vsize: 53528
[startup+310.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1400
Raw data (stat): 1400 (minisat+) R 1399 29653 29652 0 -1 0 13530 0 0 0 30946 60 0 0 25 0 1 0 422335079 52424704 12120 4294967295 134512640 134672761 3221224560 3221223008 134643516 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12799 12120 603 41 0 12758 0
vsize: 51196
[startup+320.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1400
Raw data (stat): 1400 (minisat+) R 1399 29653 29652 0 -1 0 13530 0 0 0 31947 60 0 0 25 0 1 0 422335079 52424704 12120 4294967295 134512640 134672761 3221224560 3221223008 134643493 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12799 12120 603 41 0 12758 0
vsize: 51196
[startup+330.002 s]
Raw data (loadavg): 1.15 1.00 0.92 2/54 1400
Raw data (stat): 1400 (minisat+) R 1399 29653 29652 0 -1 0 13931 0 0 0 32946 61 0 0 25 0 1 0 422335079 54071296 12521 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 13201 12521 603 41 0 13160 0
vsize: 52804
[startup+340.002 s]
Raw data (loadavg): 1.12 1.00 0.92 2/54 1400
Raw data (stat): 1400 (minisat+) R 1399 29653 29652 0 -1 0 14518 0 0 0 33945 63 0 0 25 0 1 0 422335079 56508416 13108 4294967295 134512640 134672761 3221224560 3221223744 134615663 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 13796 13108 603 41 0 13755 0
vsize: 55184
[startup+350.002 s]
Raw data (loadavg): 1.10 1.00 0.92 2/54 1400
Raw data (stat): 1400 (minisat+) R 1399 29653 29652 0 -1 0 17969 0 0 0 34931 77 0 0 25 0 1 0 422335079 69705728 14828 4294967295 134512640 134672761 3221224560 3221223104 134621090 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 17018 14828 603 41 0 16977 0
vsize: 68072
[startup+360.002 s]
Raw data (loadavg): 1.09 1.00 0.92 2/54 1400
Raw data (stat): 1400 (minisat+) R 1399 29653 29652 0 -1 0 17969 0 0 0 35907 101 0 0 25 0 1 0 422335079 66338816 14402 4294967295 134512640 134672761 3221224560 3221223008 134643648 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16196 14402 603 41 0 16155 0
vsize: 64784
[startup+370.003 s]
Raw data (loadavg): 1.15 1.02 0.93 2/54 1400
Raw data (stat): 1400 (minisat+) R 1399 29653 29652 0 -1 0 17969 0 0 0 36832 125 0 0 25 0 1 0 422335079 66338816 14402 4294967295 134512640 134672761 3221224560 3221223008 134644016 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16196 14402 603 41 0 16155 0
vsize: 64784
[startup+380.003 s]
Raw data (loadavg): 1.12 1.02 0.93 2/54 1400
Raw data (stat): 1400 (minisat+) R 1399 29653 29652 0 -1 0 17969 0 0 0 37832 125 0 0 25 0 1 0 422335079 66338816 14402 4294967295 134512640 134672761 3221224560 3221223008 134643583 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16196 14402 603 41 0 16155 0
vsize: 64784
[startup+390.003 s]
Raw data (loadavg): 1.10 1.01 0.93 2/54 1400
Raw data (stat): 1400 (minisat+) R 1399 29653 29652 0 -1 0 17969 0 0 0 38831 125 0 0 25 0 1 0 422335079 66338816 14402 4294967295 134512640 134672761 3221224560 3221223008 134643474 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16196 14402 603 41 0 16155 0
vsize: 64784
[startup+400.003 s]
Raw data (loadavg): 1.09 1.01 0.93 2/54 1400
Raw data (stat): 1400 (minisat+) R 1399 29653 29652 0 -1 0 18395 0 0 0 39830 126 0 0 25 0 1 0 422335079 69488640 14828 4294967295 134512640 134672761 3221224560 3221223056 134606378 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16965 14828 603 41 0 16924 0
vsize: 67860
[startup+410.003 s]
Raw data (loadavg): 1.07 1.01 0.93 2/54 1400
Raw data (stat): 1400 (minisat+) R 1399 29653 29652 0 -1 0 18395 0 0 0 40830 126 0 0 25 0 1 0 422335079 66338816 14402 4294967295 134512640 134672761 3221224560 3221223008 134643474 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16196 14402 603 41 0 16155 0
vsize: 64784
[startup+420.003 s]
Raw data (loadavg): 1.06 1.01 0.93 2/54 1400
Raw data (stat): 1400 (minisat+) R 1399 29653 29652 0 -1 0 18395 0 0 0 41831 126 0 0 25 0 1 0 422335079 66338816 14402 4294967295 134512640 134672761 3221224560 3221223008 134643774 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16196 14402 603 41 0 16155 0
vsize: 64784
[startup+430.004 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 1400
Raw data (stat): 1400 (minisat+) R 1399 29653 29652 0 -1 0 18755 0 0 0 42830 127 0 0 25 0 1 0 422335079 67899392 14762 4294967295 134512640 134672761 3221224560 3221223496 1075349984 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16577 14762 603 41 0 16536 0
vsize: 66308
[startup+440.004 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 1400
Raw data (stat): 1400 (minisat+) R 1399 29653 29652 0 -1 0 19636 0 0 0 43829 129 0 0 25 0 1 0 422335079 71389184 15643 4294967295 134512640 134672761 3221224560 3221223704 134616263 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17429 15643 603 41 0 17388 0
vsize: 69716
[startup+450.004 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 1400
Raw data (stat): 1400 (minisat+) R 1399 29653 29652 0 -1 0 20150 0 0 0 44827 131 0 0 25 0 1 0 422335079 73486336 16157 4294967295 134512640 134672761 3221224560 3221223744 134615619 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17941 16157 603 41 0 17900 0
vsize: 71764
[startup+460.004 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 1400
Raw data (stat): 1400 (minisat+) R 1399 29653 29652 0 -1 0 20756 0 0 0 45826 132 0 0 25 0 1 0 422335079 76091392 16763 4294967295 134512640 134672761 3221224560 3221223744 134615758 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18577 16763 603 41 0 18536 0
vsize: 74308
[startup+470.004 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 1400
Raw data (stat): 1400 (minisat+) R 1399 29653 29652 0 -1 0 21303 0 0 0 46825 133 0 0 25 0 1 0 422335079 78344192 17310 4294967295 134512640 134672761 3221224560 3221223744 134615523 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 19127 17310 603 41 0 19086 0
vsize: 76508
[startup+480.004 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 1400
Raw data (stat): 1400 (minisat+) R 1399 29653 29652 0 -1 0 21992 0 0 0 47824 135 0 0 25 0 1 0 422335079 81199104 17999 4294967295 134512640 134672761 3221224560 3221223744 134615708 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 19824 17999 603 41 0 19783 0
vsize: 79296
[startup+490.005 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 1400
Raw data (stat): 1400 (minisat+) R 1399 29653 29652 0 -1 0 22656 0 0 0 48824 136 0 0 25 0 1 0 422335079 83808256 18663 4294967295 134512640 134672761 3221224560 3221223744 134615564 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 20461 18663 603 41 0 20420 0
vsize: 81844
[startup+500.005 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 1400
Raw data (stat): 1400 (minisat+) R 1399 29653 29652 0 -1 0 23326 0 0 0 49823 137 0 0 25 0 1 0 422335079 86544384 19333 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21129 19333 603 41 0 21088 0
vsize: 84516
[startup+510.004 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 1400
Raw data (stat): 1400 (minisat+) R 1399 29653 29652 0 -1 0 23866 0 0 0 50821 139 0 0 25 0 1 0 422335079 88838144 19873 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21689 19873 603 41 0 21648 0
vsize: 86756
[startup+520.005 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 1400
Raw data (stat): 1400 (minisat+) R 1399 29653 29652 0 -1 0 24236 0 0 0 51821 140 0 0 25 0 1 0 422335079 90284032 20243 4294967295 134512640 134672761 3221224560 3221223704 134616263 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 22042 20243 603 41 0 22001 0
vsize: 88168
[startup+530.005 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 1400
Raw data (stat): 1400 (minisat+) R 1399 29653 29652 0 -1 0 24760 0 0 0 52820 141 0 0 25 0 1 0 422335079 92495872 20767 4294967295 134512640 134672761 3221224560 3221223504 134606966 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 22582 20767 603 41 0 22541 0
vsize: 90328
[startup+540.005 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 1400
Raw data (stat): 1400 (minisat+) R 1399 29653 29652 0 -1 0 25249 0 0 0 53820 142 0 0 25 0 1 0 422335079 94437376 21256 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 23056 21256 603 41 0 23015 0
vsize: 92224
[startup+550.005 s]
Raw data (loadavg): 1.08 1.02 0.93 2/54 1400
Raw data (stat): 1400 (minisat+) R 1399 29653 29652 0 -1 0 25800 0 0 0 54819 143 0 0 25 0 1 0 422335079 96743424 21807 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 23619 21807 603 41 0 23578 0
vsize: 94476
[startup+560.006 s]
Raw data (loadavg): 1.07 1.02 0.93 2/54 1400
Raw data (stat): 1400 (minisat+) R 1399 29653 29652 0 -1 0 26465 0 0 0 55817 145 0 0 25 0 1 0 422335079 99430400 22472 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24275 22472 603 41 0 24234 0
vsize: 97100
[startup+570.006 s]
Raw data (loadavg): 1.06 1.01 0.93 2/54 1400
Raw data (stat): 1400 (minisat+) R 1399 29653 29652 0 -1 0 27078 0 0 0 56817 145 0 0 25 0 1 0 422335079 102039552 23085 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24912 23085 603 41 0 24871 0
vsize: 99648
[startup+580.007 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 1400
Raw data (stat): 1400 (minisat+) R 1399 29653 29652 0 -1 0 27777 0 0 0 57816 147 0 0 25 0 1 0 422335079 104919040 23784 4294967295 134512640 134672761 3221224560 3221223600 134612604 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 25615 23784 603 41 0 25574 0
vsize: 102460
[startup+590.007 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 1400
Raw data (stat): 1400 (minisat+) R 1399 29653 29652 0 -1 0 28407 0 0 0 58815 148 0 0 25 0 1 0 422335079 107507712 24414 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26247 24414 603 41 0 26206 0
vsize: 104988
[startup+600.007 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 1400
Raw data (stat): 1400 (minisat+) R 1399 29653 29652 0 -1 0 28934 0 0 0 59814 150 0 0 25 0 1 0 422335079 109580288 24941 4294967295 134512640 134672761 3221224560 3221223704 134616156 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26753 24941 603 41 0 26712 0
vsize: 107012
[startup+610.007 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 1400
Raw data (stat): 1400 (minisat+) R 1399 29653 29652 0 -1 0 29516 0 0 0 60812 151 0 0 25 0 1 0 422335079 111988736 25523 4294967295 134512640 134672761 3221224560 3221223704 134616299 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 27341 25523 603 41 0 27300 0
vsize: 109364
[startup+620.008 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 1400
Raw data (stat): 1400 (minisat+) R 1399 29653 29652 0 -1 0 30140 0 0 0 61812 152 0 0 25 0 1 0 422335079 114593792 26147 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 27977 26147 603 41 0 27936 0
vsize: 111908
[startup+630.007 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 1400
Raw data (stat): 1400 (minisat+) R 1399 29653 29652 0 -1 0 30597 0 0 0 62811 154 0 0 25 0 1 0 422335079 116420608 26604 4294967295 134512640 134672761 3221224560 3221223744 134615727 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28423 26604 603 41 0 28382 0
vsize: 113692
[startup+640.008 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 1400
Raw data (stat): 1400 (minisat+) R 1399 29653 29652 0 -1 0 31067 0 0 0 63810 155 0 0 25 0 1 0 422335079 118386688 27074 4294967295 134512640 134672761 3221224560 3221223704 134616154 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28903 27074 603 41 0 28862 0
vsize: 115612
[startup+650.008 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 1400
Raw data (stat): 1400 (minisat+) R 1399 29653 29652 0 -1 0 31554 0 0 0 64808 157 0 0 25 0 1 0 422335079 120324096 27561 4294967295 134512640 134672761 3221224560 3221223600 134603506 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 29376 27561 603 41 0 29335 0
vsize: 117504
[startup+660.008 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 1400
Raw data (stat): 1400 (minisat+) R 1399 29653 29652 0 -1 0 32232 0 0 0 65807 159 0 0 25 0 1 0 422335079 123117568 28239 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 30058 28239 603 41 0 30017 0
vsize: 120232
[startup+670.008 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 1400
Raw data (stat): 1400 (minisat+) R 1399 29653 29652 0 -1 0 32670 0 0 0 66806 160 0 0 25 0 1 0 422335079 124940288 28677 4294967295 134512640 134672761 3221224560 3221223704 134616132 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 30503 28677 603 41 0 30462 0
vsize: 122012
[startup+680.009 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 1400
Raw data (stat): 1400 (minisat+) R 1399 29653 29652 0 -1 0 32975 0 0 0 67805 161 0 0 25 0 1 0 422335079 126103552 28982 4294967295 134512640 134672761 3221224560 3221223704 134616350 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 30787 28982 603 41 0 30746 0
vsize: 123148
[startup+690.008 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 1400
Raw data (stat): 1400 (minisat+) R 1399 29653 29652 0 -1 0 33254 0 0 0 68805 161 0 0 25 0 1 0 422335079 127258624 29261 4294967295 134512640 134672761 3221224560 3221223704 134616347 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 31069 29261 603 41 0 31028 0
vsize: 124276
[startup+700.008 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1400
Raw data (stat): 1400 (minisat+) R 1399 29653 29652 0 -1 0 33729 0 0 0 69804 162 0 0 25 0 1 0 422335079 129241088 29736 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 31553 29736 603 41 0 31512 0
vsize: 126212
[startup+710.009 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1400
Raw data (stat): 1400 (minisat+) R 1399 29653 29652 0 -1 0 34548 0 0 0 70803 164 0 0 25 0 1 0 422335079 132530176 30555 4294967295 134512640 134672761 3221224560 3221223744 134615828 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 32356 30555 603 41 0 32315 0
vsize: 129424
[startup+720.009 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1400
Raw data (stat): 1400 (minisat+) R 1399 29653 29652 0 -1 0 38297 0 0 0 71781 186 0 0 25 0 1 0 422335079 139169792 32235 4294967295 134512640 134672761 3221224560 3221223104 134621071 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 33977 32235 603 41 0 33936 0
vsize: 135908
[startup+730.009 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1400
Raw data (stat): 1400 (minisat+) R 1399 29653 29652 0 -1 0 38297 0 0 0 72781 186 0 0 25 0 1 0 422335079 139169792 32235 4294967295 134512640 134672761 3221224560 3221223104 134621211 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 33977 32235 603 41 0 33936 0
vsize: 135908
[startup+740.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1400
Raw data (stat): 1400 (minisat+) R 1399 29653 29652 0 -1 0 38405 0 0 0 73697 244 0 0 25 0 1 0 422335079 135753728 31755 4294967295 134512640 134672761 3221224560 3221222736 134621242 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 33143 31755 603 41 0 33102 0
vsize: 132572
[startup+750.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1400
Raw data (stat): 1400 (minisat+) R 1399 29653 29652 0 -1 0 38418 0 0 0 74624 265 0 0 25 0 1 0 422335079 135753728 31768 4294967295 134512640 134672761 3221224560 3221223008 134643545 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 33143 31768 603 41 0 33102 0
vsize: 132572
[startup+760.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1400
Raw data (stat): 1400 (minisat+) R 1399 29653 29652 0 -1 0 38418 0 0 0 75623 266 0 0 25 0 1 0 422335079 135753728 31768 4294967295 134512640 134672761 3221224560 3221223008 134643954 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 33143 31768 603 41 0 33102 0
vsize: 132572
[startup+770.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1400
Raw data (stat): 1400 (minisat+) R 1399 29653 29652 0 -1 0 38418 0 0 0 76623 266 0 0 25 0 1 0 422335079 135753728 31768 4294967295 134512640 134672761 3221224560 3221223008 134643977 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 33143 31768 603 41 0 33102 0
vsize: 132572
[startup+780.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1400
Raw data (stat): 1400 (minisat+) R 1399 29653 29652 0 -1 0 38418 0 0 0 77623 266 0 0 25 0 1 0 422335079 135753728 31768 4294967295 134512640 134672761 3221224560 3221223008 134643954 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 33143 31768 603 41 0 33102 0
vsize: 132572
[startup+790.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1400
Raw data (stat): 1400 (minisat+) R 1399 29653 29652 0 -1 0 38845 0 0 0 78623 266 0 0 25 0 1 0 422335079 138817536 32195 4294967295 134512640 134672761 3221224560 3221223104 134621104 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 33891 32195 603 41 0 33850 0
vsize: 135564
[startup+800.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1400
Raw data (stat): 1400 (minisat+) R 1399 29653 29652 0 -1 0 38845 0 0 0 79624 266 0 0 25 0 1 0 422335079 138817536 32195 4294967295 134512640 134672761 3221224560 3221223104 134621026 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 33891 32195 603 41 0 33850 0
vsize: 135564
[startup+810.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1400
Raw data (stat): 1400 (minisat+) R 1399 29653 29652 0 -1 0 38845 0 0 0 80624 266 0 0 25 0 1 0 422335079 135753728 31769 4294967295 134512640 134672761 3221224560 3221223008 134643954 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 33143 31769 603 41 0 33102 0
vsize: 132572
[startup+820.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1400
Raw data (stat): 1400 (minisat+) R 1399 29653 29652 0 -1 0 38845 0 0 0 81624 266 0 0 25 0 1 0 422335079 135753728 31769 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 33143 31769 603 41 0 33102 0
vsize: 132572
[startup+830.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1400
Raw data (stat): 1400 (minisat+) R 1399 29653 29652 0 -1 0 38845 0 0 0 82625 266 0 0 25 0 1 0 422335079 135753728 31769 4294967295 134512640 134672761 3221224560 3221223696 134614701 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 33143 31769 603 41 0 33102 0
vsize: 132572
[startup+840.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1400
Raw data (stat): 1400 (minisat+) R 1399 29653 29652 0 -1 0 38845 0 0 0 83625 266 0 0 25 0 1 0 422335079 135753728 31769 4294967295 134512640 134672761 3221224560 3221223704 134616350 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 33143 31769 603 41 0 33102 0
vsize: 132572
[startup+850.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1400
Raw data (stat): 1400 (minisat+) R 1399 29653 29652 0 -1 0 38845 0 0 0 84625 266 0 0 25 0 1 0 422335079 135753728 31769 4294967295 134512640 134672761 3221224560 3221223372 1075350205 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 33143 31769 603 41 0 33102 0
vsize: 132572
[startup+860.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1400
Raw data (stat): 1400 (minisat+) R 1399 29653 29652 0 -1 0 38909 0 0 0 85626 267 0 0 25 0 1 0 422335079 136007680 31833 4294967295 134512640 134672761 3221224560 3221223408 134604652 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 33205 31834 603 41 0 33164 0
vsize: 132820
[startup+870.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1400
Raw data (stat): 1400 (minisat+) R 1399 29653 29652 0 -1 0 39110 0 0 0 86626 267 0 0 25 0 1 0 422335079 136912896 32034 4294967295 134512640 134672761 3221224560 3221223408 134604072 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 33426 32034 603 41 0 33385 0
vsize: 133704
[startup+880.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1400
Raw data (stat): 1400 (minisat+) R 1399 29653 29652 0 -1 0 39346 0 0 0 87626 267 0 0 25 0 1 0 422335079 137826304 32270 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 33649 32270 603 41 0 33608 0
vsize: 134596
[startup+890.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1400
Raw data (stat): 1400 (minisat+) R 1399 29653 29652 0 -1 0 39573 0 0 0 88626 267 0 0 25 0 1 0 422335079 138727424 32497 4294967295 134512640 134672761 3221224560 3221223568 134607995 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 33869 32497 603 41 0 33828 0
vsize: 135476
[startup+900.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1400
Raw data (stat): 1400 (minisat+) R 1399 29653 29652 0 -1 0 39932 0 0 0 89625 268 0 0 25 0 1 0 422335079 140275712 32856 4294967295 134512640 134672761 3221224560 3221223744 134615804 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 34247 32856 603 41 0 34206 0
vsize: 136988
[startup+910.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1400
Raw data (stat): 1400 (minisat+) R 1399 29653 29652 0 -1 0 40204 0 0 0 90625 269 0 0 25 0 1 0 422335079 141275136 33128 4294967295 134512640 134672761 3221224560 3221223744 134615619 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 34491 33128 603 41 0 34450 0
vsize: 137964
[startup+920.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1400
Raw data (stat): 1400 (minisat+) R 1399 29653 29652 0 -1 0 40706 0 0 0 91624 270 0 0 25 0 1 0 422335079 143372288 33630 4294967295 134512640 134672761 3221224560 3221223664 134604485 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 35003 33630 603 41 0 34962 0
vsize: 140012
[startup+930.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1400
Raw data (stat): 1400 (minisat+) R 1399 29653 29652 0 -1 0 41080 0 0 0 92624 271 0 0 25 0 1 0 422335079 144928768 34004 4294967295 134512640 134672761 3221224560 3221223744 134615916 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 35383 34004 603 41 0 35342 0
vsize: 141532
[startup+940.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1400
Raw data (stat): 1400 (minisat+) R 1399 29653 29652 0 -1 0 41531 0 0 0 93623 272 0 0 25 0 1 0 422335079 146743296 34455 4294967295 134512640 134672761 3221224560 3221223704 134616154 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 35826 34455 603 41 0 35785 0
vsize: 143304
[startup+950.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1400
Raw data (stat): 1400 (minisat+) R 1399 29653 29652 0 -1 0 42085 0 0 0 94622 273 0 0 25 0 1 0 422335079 149037056 35009 4294967295 134512640 134672761 3221224560 3221223744 134615708 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 36386 35009 603 41 0 36345 0
vsize: 145544
[startup+960.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1400
Raw data (stat): 1400 (minisat+) R 1399 29653 29652 0 -1 0 42580 0 0 0 95621 274 0 0 25 0 1 0 422335079 151093248 35504 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 36888 35504 603 41 0 36847 0
vsize: 147552
[startup+970.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1400
Raw data (stat): 1400 (minisat+) R 1399 29653 29652 0 -1 0 42841 0 0 0 96621 275 0 0 25 0 1 0 422335079 152154112 35765 4294967295 134512640 134672761 3221224560 3221223704 134616350 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 37147 35765 603 41 0 37106 0
vsize: 148588
[startup+980.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1400
Raw data (stat): 1400 (minisat+) R 1399 29653 29652 0 -1 0 43103 0 0 0 97621 276 0 0 25 0 1 0 422335079 153366528 36027 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 37443 36027 603 41 0 37402 0
vsize: 149772
[startup+990.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1400
Raw data (stat): 1400 (minisat+) R 1399 29653 29652 0 -1 0 43276 0 0 0 98621 276 0 0 25 0 1 0 422335079 154169344 36200 4294967295 134512640 134672761 3221224560 3221223744 134615732 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 37639 36200 603 41 0 37598 0
vsize: 150556
[startup+1000.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1400
Raw data (stat): 1400 (minisat+) R 1399 29653 29652 0 -1 0 43580 0 0 0 99621 276 0 0 25 0 1 0 422335079 155381760 36504 4294967295 134512640 134672761 3221224560 3221223744 134615625 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 37935 36504 603 41 0 37894 0
vsize: 151740
[startup+1010.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1400
Raw data (stat): 1400 (minisat+) R 1399 29653 29652 0 -1 0 43898 0 0 0 100621 277 0 0 25 0 1 0 422335079 156692480 36822 4294967295 134512640 134672761 3221224560 3221223744 134615627 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 38255 36822 603 41 0 38214 0
vsize: 153020
[startup+1020.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1400
Raw data (stat): 1400 (minisat+) R 1399 29653 29652 0 -1 0 44380 0 0 0 101620 278 0 0 25 0 1 0 422335079 158687232 37304 4294967295 134512640 134672761 3221224560 3221223704 134616347 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 38742 37304 603 41 0 38701 0
vsize: 154968
[startup+1030.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1400
Raw data (stat): 1400 (minisat+) R 1399 29653 29652 0 -1 0 44595 0 0 0 102619 279 0 0 25 0 1 0 422335079 159481856 37519 4294967295 134512640 134672761 3221224560 3221223744 134615828 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 38936 37519 603 41 0 38895 0
vsize: 155744
[startup+1040.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1400
Raw data (stat): 1400 (minisat+) R 1399 29653 29652 0 -1 0 44851 0 0 0 103619 279 0 0 25 0 1 0 422335079 160522240 37775 4294967295 134512640 134672761 3221224560 3221223704 134616154 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 39190 37775 603 41 0 39149 0
vsize: 156760
[startup+1050.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1400
Raw data (stat): 1400 (minisat+) R 1399 29653 29652 0 -1 0 45110 0 0 0 104619 280 0 0 25 0 1 0 422335079 161681408 38034 4294967295 134512640 134672761 3221224560 3221223744 134615833 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 39473 38034 603 41 0 39432 0
vsize: 157892
[startup+1060.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1400
Raw data (stat): 1400 (minisat+) R 1399 29653 29652 0 -1 0 45524 0 0 0 105618 281 0 0 25 0 1 0 422335079 163368960 38448 4294967295 134512640 134672761 3221224560 3221223744 134615619 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 39885 38448 603 41 0 39844 0
vsize: 159540
[startup+1070.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1400
Raw data (stat): 1400 (minisat+) R 1399 29653 29652 0 -1 0 45978 0 0 0 106617 282 0 0 25 0 1 0 422335079 165191680 38902 4294967295 134512640 134672761 3221224560 3221223744 134615828 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 40330 38902 603 41 0 40289 0
vsize: 161320
[startup+1080.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1400
Raw data (stat): 1400 (minisat+) R 1399 29653 29652 0 -1 0 46300 0 0 0 107617 283 0 0 25 0 1 0 422335079 166465536 39224 4294967295 134512640 134672761 3221224560 3221223728 134615859 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 40641 39224 603 41 0 40600 0
vsize: 162564
[startup+1090.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1400
Raw data (stat): 1400 (minisat+) R 1399 29653 29652 0 -1 0 46651 0 0 0 108616 284 0 0 25 0 1 0 422335079 167870464 39575 4294967295 134512640 134672761 3221224560 3221223744 134615727 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 40984 39575 603 41 0 40943 0
vsize: 163936
[startup+1100.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1400
Raw data (stat): 1400 (minisat+) R 1399 29653 29652 0 -1 0 46939 0 0 0 109616 285 0 0 25 0 1 0 422335079 169099264 39863 4294967295 134512640 134672761 3221224560 3221223704 134616111 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 41284 39863 603 41 0 41243 0
vsize: 165136
[startup+1110.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1400
Raw data (stat): 1400 (minisat+) R 1399 29653 29652 0 -1 0 47273 0 0 0 110615 286 0 0 25 0 1 0 422335079 170512384 40197 4294967295 134512640 134672761 3221224560 3221223744 134615619 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 41629 40197 603 41 0 41588 0
vsize: 166516
[startup+1120.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1400
Raw data (stat): 1400 (minisat+) R 1399 29653 29652 0 -1 0 47693 0 0 0 111614 287 0 0 25 0 1 0 422335079 172191744 40617 4294967295 134512640 134672761 3221224560 3221223744 134615804 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 42039 40617 603 41 0 41998 0
vsize: 168156
[startup+1130.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1400
Raw data (stat): 1400 (minisat+) R 1399 29653 29652 0 -1 0 48344 0 0 0 112612 290 0 0 25 0 1 0 422335079 174784512 41268 4294967295 134512640 134672761 3221224560 3221223744 134615727 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 42672 41268 603 41 0 42631 0
vsize: 170688
[startup+1140.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1400
Raw data (stat): 1400 (minisat+) R 1399 29653 29652 0 -1 0 48736 0 0 0 113611 291 0 0 25 0 1 0 422335079 176484352 41660 4294967295 134512640 134672761 3221224560 3221223684 134566037 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 43087 41660 603 41 0 43046 0
vsize: 172348
[startup+1150.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1400
Raw data (stat): 1400 (minisat+) R 1399 29653 29652 0 -1 0 49001 0 0 0 114611 292 0 0 25 0 1 0 422335079 177512448 41925 4294967295 134512640 134672761 3221224560 3221223704 134616263 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 43338 41925 603 41 0 43297 0
vsize: 173352
[startup+1160.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1400
Raw data (stat): 1400 (minisat+) R 1399 29653 29652 0 -1 0 49366 0 0 0 115610 293 0 0 25 0 1 0 422335079 178950144 42290 4294967295 134512640 134672761 3221224560 3221223704 134616350 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 43689 42290 603 41 0 43648 0
vsize: 174756
[startup+1170.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1400
Raw data (stat): 1400 (minisat+) R 1399 29653 29652 0 -1 0 49645 0 0 0 116610 294 0 0 25 0 1 0 422335079 180109312 42569 4294967295 134512640 134672761 3221224560 3221223704 134616350 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 43972 42569 603 41 0 43931 0
vsize: 175888
[startup+1180.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1400
Raw data (stat): 1400 (minisat+) R 1399 29653 29652 0 -1 0 50032 0 0 0 117608 295 0 0 25 0 1 0 422335079 181780480 42956 4294967295 134512640 134672761 3221224560 3221223600 134614205 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 44380 42956 603 41 0 44339 0
vsize: 177520
[startup+1190.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1400
Raw data (stat): 1400 (minisat+) R 1399 29653 29652 0 -1 0 50324 0 0 0 118608 296 0 0 25 0 1 0 422335079 182960128 43248 4294967295 134512640 134672761 3221224560 3221223744 134615601 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 44668 43248 603 41 0 44627 0
vsize: 178672
[startup+1200.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1400
Raw data (stat): 1400 (minisat+) R 1399 29653 29652 0 -1 0 50603 0 0 0 119608 296 0 0 25 0 1 0 422335079 184000512 43527 4294967295 134512640 134672761 3221224560 3221223744 134615749 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 44922 43527 603 41 0 44881 0
vsize: 179688
[startup+1210.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 1400
Raw data (stat): 1400 (minisat+) R 1399 29653 29652 0 -1 0 50967 0 0 0 120607 297 0 0 25 0 1 0 422335079 185548800 43891 4294967295 134512640 134672761 3221224560 3221223744 134615833 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 45300 43891 603 41 0 45259 0
vsize: 181200
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1210.19 s]
Raw data (loadavg): 1.00 1.00 0.93 1/54 1400
Raw data (stat): 1400 (minisat+) Z 1399 29653 29652 0 -1 12 50968 0 0 0 120608 313 0 0 25 0 1 0 422335079 0 0 4294967295 0 0 0 0 0 0 16384 5 16386 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 10
Real time (s): 1210.18
CPU time (s): 1209.22
CPU user time (s): 1206.08
CPU system time (s): 3.13652
CPU usage (%): 99.9201
Max. virtual memory (Kb): 181200
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####