PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-3.opb
MD5SUM	baa7b619e2dc55a18c674a719d78c00c
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-41
Optimality of the best value was proved	NO
Number of terms in the objective function	1272
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	1272
Number of bits of the sum of numbers in the objective function	11
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	1272
Number of bits of the biggest sum of numbers	11
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.12
Number of variables	1272
Total number of constraints	94127
Number of constraints which are clauses	94127
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 6386

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        849108 kB
Buffers:         35544 kB
Cached:         113740 kB
SwapCached:       2628 kB
Active:          53012 kB
Inactive:       101756 kB
HighTotal:      131008 kB
HighFree:        14000 kB
LowTotal:       903652 kB
LowFree:        835108 kB
SwapTotal:     2097892 kB
SwapFree:      2095264 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6928 kB
Slab:            24988 kB
Committed_AS:    63448 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-14 05:10:22 (client local time) WITH STATUS 10 IN 1200.45 SECONDS
stats: 4853 7 1200.45 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Parsing PB file...
c Converting 94127 PB-constraints to clauses...
c   -- Unit propagations: (none)
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): ...............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |         0 |   94127   188254 |   31375       0        0     nan |  0.000 % |
c ==============================================================================
c [1mFound solution: -37[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:70300     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |         0 |  245000   541211 |   81666       0        0     nan |  0.000 % |
c |       100 |  245000   541211 |   89832     100     1032    10.3 |  0.002 % |
c |       250 |  243115   536911 |   98815     205     1525     7.4 |  1.086 % |
c |       475 |  240725   531443 |  108697     378     2759     7.3 |  2.502 % |
c |       812 |  238044   525306 |  119567     635     4868     7.7 |  4.121 % |
c |      1318 |  229257   505104 |  131523     953     7358     7.7 |  9.438 % |
c |      2077 |  219766   483258 |  144676    1509    12309     8.2 | 15.132 % |
c |      3217 |  203041   444520 |  159143    2214    20969     9.5 | 25.633 % |
c |      4925 |  178444   387388 |  175058    3167    28644     9.0 | 41.225 % |
c ==============================================================================
c [1mFound solution: -38[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |      6206 |  165231   356474 |   55077    3791    33279     8.8 | 41.225 % |
c |      6306 |  162851   350881 |   60584    3817    33391     8.7 | 51.223 % |
c ==============================================================================
c [1mFound solution: -39[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |      6384 |  162676   350575 |   54225    3865    33650     8.7 | 51.223 % |
c |      6484 |  161676   348236 |   59647    3890    33892     8.7 | 52.195 % |
c |      6634 |  160867   346359 |   65612    4021    34754     8.6 | 52.712 % |
c |      6859 |  159001   342031 |   72173    4123    35343     8.6 | 53.904 % |
c |      7196 |  155944   334861 |   79390    4287    36825     8.6 | 55.957 % |
c |      7702 |  151772   325116 |   87329    4481    37994     8.5 | 58.740 % |
c |      8461 |  146956   313819 |   96062    4904    43505     8.9 | 61.966 % |
c |      9600 |  139969   297482 |  105669    5471    49364     9.0 | 66.608 % |
c |     11308 |  131092   276591 |  116236    6108    56556     9.3 | 72.539 % |
c |     13870 |  117543   244722 |  127859    6287    58965     9.4 | 81.809 % |
c ==============================================================================
c [1mFound solution: -40[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     17147 |  111922   231389 |   37307    8001    83910    10.5 | 81.809 % |
c |     17247 |  111706   230881 |   41037    7971    83707    10.5 | 85.896 % |
c |     17397 |  111706   230881 |   45141    8121    85336    10.5 | 85.896 % |
c |     17623 |  111652   230754 |   49655    8334    88696    10.6 | 85.935 % |
c |     17962 |  111288   229894 |   54621    8558    93452    10.9 | 86.195 % |
c |     18468 |  109930   226712 |   60083    8656    97000    11.2 | 87.127 % |
c |     19227 |  109834   226487 |   66091    9356   122283    13.1 | 87.194 % |
c ==============================================================================
c [1mFound solution: -41[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     19551 |  109207   225012 |   36402    9389   123485    13.2 | 87.194 % |
c |     19651 |  109080   224707 |   40042    9436   123979    13.1 | 87.751 % |
c |     19801 |  109080   224707 |   44046    9586   126063    13.2 | 87.751 % |
c |     20027 |  109046   224628 |   48451    9765   128609    13.2 | 87.773 % |
c ==============================================================================
c [1mFound solution: -42[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     20323 |  109007   224512 |   36335   10031   132873    13.2 | 87.773 % |
c |     20423 |  108880   224216 |   39968    9972   132460    13.3 | 87.873 % |
c |     20573 |  108880   224216 |   43965   10122   136026    13.4 | 87.873 % |
c |     20798 |  108527   223382 |   48361   10090   137520    13.6 | 88.122 % |
c |     21135 |  108527   223382 |   53198   10427   151573    14.5 | 88.122 % |
c |     21641 |  108414   223117 |   58517   10907   168584    15.5 | 88.200 % |
c |     22400 |  108081   222334 |   64369   11524   214636    18.6 | 88.434 % |
c |     23540 |  107964   222057 |   70806   12569   291328    23.2 | 88.518 % |
c ==============================================================================
c [1mFound solution: -43[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     23930 |  107385   220714 |   35795   12606   300831    23.9 | 88.518 % |
c |     24031 |  107241   220376 |   39374   12599   300807    23.9 | 89.050 % |
c |     24181 |  107089   220015 |   43311   12565   301017    24.0 | 89.162 % |
c |     24407 |  106995   219793 |   47643   12652   311135    24.6 | 89.229 % |
c |     24744 |  106724   219153 |   52407   12546   312127    24.9 | 89.417 % |
c |     25250 |  106724   219153 |   57648   13052   340089    26.1 | 89.417 % |
c |     26009 |  106629   218932 |   63413   13713   385265    28.1 | 89.478 % |
c ==============================================================================
c [1mFound solution: -44[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     26168 |  106547   218730 |   35515   13792   385621    28.0 | 89.478 % |
c |     26268 |  106533   218697 |   39066   13880   387256    27.9 | 89.536 % |
c |     26420 |  106486   218581 |   42973   14004   392155    28.0 | 89.572 % |
c |     26645 |  106486   218581 |   47270   14229   402760    28.3 | 89.572 % |
c ==============================================================================
c [1mFound solution: -45[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     26815 |  106360   218294 |   35453   14249   409221    28.7 | 89.572 % |
c |     26915 |  106286   218122 |   38998   14260   411747    28.9 | 89.710 % |
c |     27065 |  106286   218122 |   42898   14410   417326    29.0 | 89.710 % |
c |     27290 |  106286   218122 |   47187   14635   433571    29.6 | 89.710 % |
c |     27627 |  106286   218122 |   51906   14972   458754    30.6 | 89.710 % |
c |     28133 |  106286   218122 |   57097   15478   486497    31.4 | 89.710 % |
c |     28892 |  106248   218032 |   62807   16177   530331    32.8 | 89.737 % |
c |     30031 |  106248   218032 |   69087   17316   642426    37.1 | 89.737 % |
c |     31740 |  106015   217481 |   75996   18872   758302    40.2 | 89.902 % |
c |     34302 |  105781   216932 |   83596   21055  1050169    49.9 | 90.058 % |
c |     38147 |  105781   216932 |   91955   24900  1550337    62.3 | 90.058 % |
c |     43914 |  105781   216932 |  101151   30667  2263400    73.8 | 90.058 % |
c ==============================================================================
c [1mFound solution: -46[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     51479 |  105746   216824 |   35248   38018  3420433    90.0 | 90.058 % |
c |     51579 |  105746   216824 |   38772   38118  3425433    89.9 | 90.076 % |
c |     51730 |  105746   216824 |   42650   38269  3431946    89.7 | 90.076 % |
c |     51955 |  105746   216824 |   46915   38494  3453359    89.7 | 90.076 % |
c |     52292 |  105736   216801 |   51606   38825  3479276    89.6 | 90.082 % |
c |     52798 |  105736   216801 |   56767   39331  3511951    89.3 | 90.082 % |
c |     53558 |  105728   216782 |   62443   40087  3573683    89.1 | 90.088 % |
c |     54697 |  105728   216782 |   68688   41226  3652108    88.6 | 90.088 % |
c |     56406 |  105728   216782 |   75557   42935  3827446    89.1 | 90.088 % |
c |     58968 |  105728   216782 |   83112   45497  4152542    91.3 | 90.088 % |
c ==============================================================================
c [1mFound solution: -47[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     62729 |  105785   216922 |   35261   49258  4577769    92.9 | 90.088 % |
c |     62829 |  105785   216922 |   38787   49358  4583322    92.9 | 90.078 % |
c |     62979 |  105785   216922 |   42665   49508  4596690    92.8 | 90.078 % |
c |     63204 |  105704   216730 |   46932   49626  4610479    92.9 | 90.138 % |
c |     63542 |  105704   216730 |   51625   49964  4640322    92.9 | 90.139 % |
c |     64049 |  105551   216365 |   56788   50022  4672433    93.4 | 90.253 % |
c |     64808 |  105551   216365 |   62467   50781  4754839    93.6 | 90.253 % |
c |     65947 |  105551   216365 |   68713   51920  4849162    93.4 | 90.253 % |
c |     67655 |  105551   216365 |   75585   53628  4995243    93.1 | 90.253 % |
c |     70217 |  105537   216332 |   83143   56186  5192220    92.4 | 90.263 % |
c |     74062 |  105537   216332 |   91457   60031  5499385    91.6 | 90.263 % |
c |     79829 |  105537   216332 |  100603   65798  5966877    90.7 | 90.263 % |
c |     88479 |  105537   216332 |  110664   74448  6622064    88.9 | 90.263 % |
c ==============================================================================
c [1mFound solution: -48[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     94301 |  105465   216149 |   35155   79819  6904353    86.5 | 90.263 % |
c |     94401 |  105465   216149 |   38670   79919  6912221    86.5 | 90.308 % |
c |     94551 |  105465   216149 |   42537   80069  6923457    86.5 | 90.308 % |
c |     94776 |  105465   216149 |   46791   80294  6935396    86.4 | 90.308 % |
c |     95113 |  105417   216035 |   51470   80497  6955663    86.4 | 90.343 % |
c |     95619 |  105417   216035 |   56617   81003  7003684    86.5 | 90.343 % |
c |     96378 |  105417   216035 |   62279   81762  7050281    86.2 | 90.343 % |
c |     97519 |  105417   216035 |   68507   82903  7134764    86.1 | 90.343 % |
c |     99227 |  105417   216035 |   75357   84611  7277073    86.0 | 90.343 % |
c |    101789 |  105417   216035 |   82893   87173  7544030    86.5 | 90.343 % |
c |    105634 |  105417   216035 |   91183   91018  7882762    86.6 | 90.343 % |
c |    111400 |  105417   216035 |  100301   96784  8436543    87.2 | 90.343 % |
c |    120049 |  105407   216012 |  110331  105430  9037449    85.7 | 90.348 % |
c |    133024 |  105387   215964 |  121364  118392  9932265    83.9 | 90.364 % |
c ==============================================================================
c [1mFound solution: -49[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |    144144 |  105420   216044 |   35140  129512 10629060    82.1 | 90.364 % |
c |    144244 |  105420   216044 |   38654   18717   855003    45.7 | 90.348 % |
c |    144395 |  105420   216044 |   42519   18868   863267    45.8 | 90.348 % |
c |    144620 |  105420   216044 |   46771   19093   881287    46.2 | 90.348 % |
c |    144957 |  105386   215963 |   51448   19423   907113    46.7 | 90.373 % |
c |    145464 |  105279   215709 |   56593   19872   943122    47.5 | 90.453 % |
c |    146223 |  105279   215709 |   62252   20631   998929    48.4 | 90.453 % |
c |    147363 |  105263   215671 |   68477   21765  1138813    52.3 | 90.464 % |
c |    149071 |  105263   215671 |   75325   23473  1270373    54.1 | 90.464 % |
c |    151633 |  105263   215671 |   82858   26035  1515138    58.2 | 90.464 % |
c |    155477 |  105263   215671 |   91144   29879  2013838    67.4 | 90.464 % |
c |    161243 |  105239   215614 |  100258   35635  2520963    70.7 | 90.482 % |
c |    169893 |  105231   215595 |  110284   44283  3251154    73.4 | 90.488 % |
c |    182868 |  105215   215557 |  121312   57253  4314006    75.3 | 90.499 % |
c |    202329 |  105215   215557 |  133444   76714  5725358    74.6 | 90.499 % |
c |    231521 |  105199   215519 |  146788  105901  7856858    74.2 | 90.511 % |
c |    275310 |  105108   215307 |  161467  149687 11419496    76.3 | 90.571 % |
c 
c *** TERMINATED ***
s SATISFIABLE
v C1272 -C1271 -C1270 -C1269 -C1268 -C1267 -C1266 -C1265 -C1264 -C1263 -C1262 -C1261 -C1260 -C1259 -C1258 -C1257 -C1256 -C1255 -C1254 -C1253 -C1252 -C1251 -C1250 -C1249 -C1248 -C1247 -C1246 -C1245 -C1244 -C1243 -C1242 -C1241 -C1240 -C1239 -C1238 -C1237 -C1236 -C1235 -C1234 -C1233 C1232 -C1231 -C1230 -C1229 -C1228 -C1227 -C1226 -C1225 -C1224 -C1223 -C1222 -C1221 -C1220 -C1219 -C1218 -C1217 -C1216 -C1215 -C1214 -C1213 -C1212 -C1211 -C1210 -C1209 -C1208 -C1207 -C1206 -C1205 -C1204 C1203 -C1202 -C1201 -C1200 -C1199 -C1198 -C1197 -C1196 -C1195 -C1194 -C1193 -C1192 -C1191 -C1190 -C1189 -C1188 -C1187 -C1186 -C1185 -C1184 -C1183 -C1182 -C1181 -C1180 -C1179 C1178 -C1177 -C1176 -C1175 -C1174 -C1173 -C1172 -C1171 -C1170 -C1169 -C1168 -C1167 -C1166 -C1165 C1164 -C1163 -C1162 -C1161 -C1160 -C1159 -C1158 -C1157 -C1156 -C1155 -C1154 -C1153 -C1152 -C1151 -C1150 C1149 -C1148 -C1147 -C1146 -C1145 -C1144 -C1143 -C1142 -C1141 -C1140 -C1139 -C1138 -C1137 -C1136 -C1135 -C1134 -C1133 -C1132 -C1131 -C1130 -C1129 -C1128 -C1127 -C1126 -C1125 -C1124 -C1123 -C1122 -C1121 -C1120 C1119 -C1118 -C1117 -C1116 -C1115 -C1114 -C1113 -C1112 -C1111 -C1110 -C1109 -C1108 -C1107 -C1106 -C1105 -C1104 -C1103 -C1102 -C1101 -C1100 -C1099 -C1098 -C1097 -C1096 -C1095 -C1094 -C1093 -C1092 -C1091 -C1090 -C1089 -C1088 -C1087 -C1086 -C1085 -C1084 -C1083 -C1082 -C1081 -C1080 -C1079 -C1078 -C1077 -C1076 -C1075 -C1074 -C1073 -C1072 -C1071 -C1070 -C1069 -C1068 -C1067 -C1066 -C1065 -C1064 -C1063 -C1062 -C1061 C1060 -C1059 -C1058 -C1057 -C1056 -C1055 -C1054 -C1053 C1052 -C1051 -C1050 -C1049 -C1048 -C1047 -C1046 -C1045 -C1044 -C1043 -C1042 -C1041 -C1040 -C1039 -C1038 -C1037 -C1036 -C1035 -C1034 -C1033 -C1032 -C1031 -C1030 -C1029 -C1028 -C1027 -C1026 -C1025 -C1024 -C1023 -C1022 -C1021 -C1020 -C1019 -C1018 -C1017 -C1016 -C1015 -C1014 -C1013 -C1012 -C1011 -C1010 -C1009 -C1008 -C1007 -C1006 -C1005 C1004 -C1003 -C1002 -C1001 -C1000 -C999 -C998 -C997 -C996 -C995 -C994 -C993 -C992 -C991 -C990 -C989 -C988 -C987 -C986 -C985 -C984 -C983 -C982 -C981 -C980 -C979 -C978 C977 -C976 -C975 -C974 -C973 -C972 -C971 -C970 -C969 -C968 -C967 -C966 -C965 -C964 -C963 -C962 -C961 -C960 -C959 -C958 -C957 -C956 -C955 -C954 -C953 -C952 -C951 C950 -C949 -C948 -C947 -C946 -C945 -C944 -C943 -C942 -C941 -C940 -C939 -C938 -C937 -C936 -C935 -C934 -C933 -C932 -C931 -C930 -C929 -C928 -C927 C926 -C925 -C924 -C923 -C922 -C921 -C920 -C919 -C918 -C917 -C916 -C915 -C914 -C913 -C912 -C911 -C910 -C909 -C908 -C907 C906 -C905 -C904 -C903 -C902 -C901 -C900 -C899 -C898 -C897 -C896 -C895 -C894 -C893 -C892 -C891 -C890 -C889 -C888 -C887 -C886 -C885 -C884 -C883 -C882 -C881 -C880 -C879 -C878 -C877 -C876 C875 -C874 -C873 -C872 -C871 -C870 -C869 -C868 -C867 -C866 -C865 -C864 -C863 -C862 -C861 -C860 -C859 -C858 -C857 -C856 -C855 -C854 -C853 C852 -C851 -C850 -C849 -C848 -C847 -C846 -C845 -C844 -C843 -C842 -C841 -C840 -C839 -C838 -C837 -C836 -C835 -C834 -C833 -C832 -C831 -C830 -C829 -C828 -C827 -C826 -C825 -C824 -C823 -C822 C821 -C820 -C819 -C818 -C817 -C816 -C815 -C814 -C813 -C812 -C811 -C810 -C809 -C808 -C807 -C806 -C805 C804 -C803 -C802 -C801 -C800 -C799 -C798 -C797 -C796 -C795 -C794 -C793 -C792 -C791 -C790 -C789 -C788 -C787 -C786 -C785 -C784 -C783 -C782 -C781 -C780 -C779 -C778 -C777 C776 -C775 -C774 -C773 -C772 -C771 -C770 -C769 C768 -C767 -C766 -C765 -C764 -C763 -C762 -C761 -C760 -C759 -C758 -C757 -C756 -C755 -C754 -C753 -C752 -C751 -C750 -C749 -C748 -C747 -C746 -C745 -C744 -C743 -C742 -C741 -C740 -C739 -C738 -C737 -C736 -C735 -C734 -C733 -C732 -C731 -C730 -C729 -C728 -C727 -C726 -C725 C724 -C723 -C722 -C721 -C720 -C719 -C718 -C717 -C716 -C715 -C714 -C713 -C712 -C711 -C710 -C709 -C708 -C707 -C706 -C705 -C704 -C703 -C702 C701 -C700 -C699 -C698 -C697 -C696 -C695 -C694 -C693 C692 -C691 -C690 -C689 -C688 -C687 -C686 -C685 -C684 -C683 -C682 -C681 -C680 -C679 -C678 -C677 -C676 -C675 -C674 -C673 -C672 -C671 -C670 -C669 -C668 -C667 -C666 -C665 -C664 -C663 -C662 -C661 -C660 -C659 -C658 -C657 -C656 -C655 -C654 -C653 -C652 -C651 -C650 C649 -C648 -C647 C646 -C645 -C644 -C643 -C642 -C641 -C640 -C639 -C63#### 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): 1.06 0.99 0.93 2/54 4083
Raw data (stat): 4083 (runsolver) R 4082 27565 27564 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 481843041 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.0001 s]
Raw data (loadavg): 1.05 0.99 0.93 2/54 4083
Raw data (stat): 4083 (minisat+) R 4082 27565 27564 0 -1 0 6028 0 0 0 981 17 0 0 25 0 1 0 481843041 27357184 6006 4294967295 134512640 134672761 3221224560 3221223732 134556598 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6679 6006 603 41 0 6638 0
vsize: 26716
[startup+19.9999 s]
Raw data (loadavg): 1.04 0.99 0.93 2/54 4083
Raw data (stat): 4083 (minisat+) R 4082 27565 27564 0 -1 0 6028 0 0 0 1981 17 0 0 25 0 1 0 481843041 27357184 6006 4294967295 134512640 134672761 3221224560 3221223760 134557836 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6679 6006 603 41 0 6638 0
vsize: 26716
[startup+30.0009 s]
Raw data (loadavg): 1.04 0.99 0.93 2/54 4083
Raw data (stat): 4083 (minisat+) R 4082 27565 27564 0 -1 0 6028 0 0 0 2981 17 0 0 25 0 1 0 481843041 27357184 6006 4294967295 134512640 134672761 3221224560 3221223732 134556598 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6679 6006 603 41 0 6638 0
vsize: 26716
[startup+40.0003 s]
Raw data (loadavg): 1.03 0.99 0.93 2/54 4083
Raw data (stat): 4083 (minisat+) R 4082 27565 27564 0 -1 0 6028 0 0 0 3981 17 0 0 25 0 1 0 481843041 27357184 6006 4294967295 134512640 134672761 3221224560 3221223776 134561997 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6679 6006 603 41 0 6638 0
vsize: 26716
[startup+50.001 s]
Raw data (loadavg): 1.02 0.99 0.93 2/54 4083
Raw data (stat): 4083 (minisat+) R 4082 27565 27564 0 -1 0 6028 0 0 0 4981 18 0 0 25 0 1 0 481843041 27357184 6006 4294967295 134512640 134672761 3221224560 3221223764 134561964 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6679 6006 603 41 0 6638 0
vsize: 26716
[startup+60.0011 s]
Raw data (loadavg): 1.02 0.99 0.93 2/54 4083
Raw data (stat): 4083 (minisat+) R 4082 27565 27564 0 -1 0 6028 0 0 0 5981 18 0 0 25 0 1 0 481843041 27357184 6006 4294967295 134512640 134672761 3221224560 3221223732 134556634 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6679 6006 603 41 0 6638 0
vsize: 26716
[startup+70.0014 s]
Raw data (loadavg): 1.02 0.99 0.93 2/54 4083
Raw data (stat): 4083 (minisat+) R 4082 27565 27564 0 -1 0 6174 0 0 0 6980 19 0 0 25 0 1 0 481843041 28360704 6152 4294967295 134512640 134672761 3221224560 3221223732 134556598 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6924 6152 603 41 0 6883 0
vsize: 27696
[startup+80.0022 s]
Raw data (loadavg): 1.01 0.99 0.93 2/54 4083
Raw data (stat): 4083 (minisat+) R 4082 27565 27564 0 -1 0 6174 0 0 0 7980 19 0 0 25 0 1 0 481843041 28360704 6152 4294967295 134512640 134672761 3221224560 3221223728 134560830 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6924 6152 603 41 0 6883 0
vsize: 27696
[startup+90.0026 s]
Raw data (loadavg): 1.01 0.99 0.93 2/54 4083
Raw data (stat): 4083 (minisat+) R 4082 27565 27564 0 -1 0 6174 0 0 0 8980 19 0 0 25 0 1 0 481843041 28360704 6152 4294967295 134512640 134672761 3221224560 3221223732 134556598 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6924 6152 603 41 0 6883 0
vsize: 27696
[startup+100.003 s]
Raw data (loadavg): 1.01 0.99 0.93 2/54 4083
Raw data (stat): 4083 (minisat+) R 4082 27565 27564 0 -1 0 6174 0 0 0 9979 19 0 0 25 0 1 0 481843041 28360704 6152 4294967295 134512640 134672761 3221224560 3221223728 134561400 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6924 6152 603 41 0 6883 0
vsize: 27696
[startup+110.003 s]
Raw data (loadavg): 1.01 0.99 0.93 2/54 4083
Raw data (stat): 4083 (minisat+) R 4082 27565 27564 0 -1 0 6175 0 0 0 10979 20 0 0 25 0 1 0 481843041 28360704 6153 4294967295 134512640 134672761 3221224560 3221223732 134556602 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6924 6153 603 41 0 6883 0
vsize: 27696
[startup+120.004 s]
Raw data (loadavg): 1.01 0.99 0.93 2/54 4083
Raw data (stat): 4083 (minisat+) R 4082 27565 27564 0 -1 0 6477 0 0 0 11978 21 0 0 25 0 1 0 481843041 29380608 6430 4294967295 134512640 134672761 3221224560 3221223728 134560830 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7173 6430 603 41 0 7132 0
vsize: 28692
[startup+130.004 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 4083
Raw data (stat): 4083 (minisat+) R 4082 27565 27564 0 -1 0 7042 0 0 0 12976 23 0 0 25 0 1 0 481843041 31813632 6995 4294967295 134512640 134672761 3221224560 3221223728 134561229 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7767 6995 603 41 0 7726 0
vsize: 31068
[startup+140.004 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 4083
Raw data (stat): 4083 (minisat+) R 4082 27565 27564 0 -1 0 7702 0 0 0 13974 26 0 0 25 0 1 0 481843041 34504704 7655 4294967295 134512640 134672761 3221224560 3221223724 134561235 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 8424 7655 603 41 0 8383 0
vsize: 33696
[startup+150.005 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 4083
Raw data (stat): 4083 (minisat+) R 4082 27565 27564 0 -1 0 8362 0 0 0 14972 28 0 0 25 0 1 0 481843041 37183488 8315 4294967295 134512640 134672761 3221224560 3221223664 134560174 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 9078 8315 603 41 0 9037 0
vsize: 36312
[startup+160.005 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 4083
Raw data (stat): 4083 (minisat+) R 4082 27565 27564 0 -1 0 9041 0 0 0 15970 30 0 0 25 0 1 0 481843041 40001536 8994 4294967295 134512640 134672761 3221224560 3221223728 134560874 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 9766 8994 603 41 0 9725 0
vsize: 39064
[startup+170.005 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 4083
Raw data (stat): 4083 (minisat+) R 4082 27565 27564 0 -1 0 9645 0 0 0 16968 32 0 0 25 0 1 0 481843041 42430464 9590 4294967295 134512640 134672761 3221224560 3221223732 134556634 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 10359 9590 603 41 0 10318 0
vsize: 41436
[startup+180.006 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 4083
Raw data (stat): 4083 (minisat+) R 4082 27565 27564 0 -1 0 10048 0 0 0 17968 32 0 0 25 0 1 0 481843041 44154880 9993 4294967295 134512640 134672761 3221224560 3221223728 134560903 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 10780 9993 603 41 0 10739 0
vsize: 43120
[startup+190.006 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 4083
Raw data (stat): 4083 (minisat+) R 4082 27565 27564 0 -1 0 10628 0 0 0 18966 34 0 0 25 0 1 0 481843041 46436352 10573 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11337 10573 603 41 0 11296 0
vsize: 45348
[startup+200.006 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 4083
Raw data (stat): 4083 (minisat+) R 4082 27565 27564 0 -1 0 11055 0 0 0 19965 35 0 0 25 0 1 0 481843041 48164864 10991 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11759 10991 603 41 0 11718 0
vsize: 47036
[startup+210.006 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 4083
Raw data (stat): 4083 (minisat+) R 4082 27565 27564 0 -1 0 11433 0 0 0 20963 37 0 0 25 0 1 0 481843041 49766400 11369 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 12150 11369 603 41 0 12109 0
vsize: 48600
[startup+220.006 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 4083
Raw data (stat): 4083 (minisat+) R 4082 27565 27564 0 -1 0 11778 0 0 0 21962 38 0 0 25 0 1 0 481843041 51101696 11714 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 12476 11714 603 41 0 12435 0
vsize: 49904
[startup+230.007 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 4083
Raw data (stat): 4083 (minisat+) R 4082 27565 27564 0 -1 0 12103 0 0 0 22961 39 0 0 25 0 1 0 481843041 52436992 12039 4294967295 134512640 134672761 3221224560 3221223664 134560264 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 12802 12039 603 41 0 12761 0
vsize: 51208
[startup+240.007 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 4083
Raw data (stat): 4083 (minisat+) R 4082 27565 27564 0 -1 0 12447 0 0 0 23961 40 0 0 25 0 1 0 481843041 54030336 12383 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 13191 12383 603 41 0 13150 0
vsize: 52764
[startup+250.007 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 4083
Raw data (stat): 4083 (minisat+) R 4082 27565 27564 0 -1 0 12759 0 0 0 24960 42 0 0 25 0 1 0 481843041 55357440 12695 4294967295 134512640 134672761 3221224560 3221223664 134560196 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 13515 12695 603 41 0 13474 0
vsize: 54060
[startup+260.007 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 4083
Raw data (stat): 4083 (minisat+) R 4082 27565 27564 0 -1 0 12993 0 0 0 25959 43 0 0 25 0 1 0 481843041 56283136 12929 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 13741 12929 603 41 0 13700 0
vsize: 54964
[startup+270.008 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 4083
Raw data (stat): 4083 (minisat+) R 4082 27565 27564 0 -1 0 13209 0 0 0 26958 44 0 0 25 0 1 0 481843041 57204736 13145 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 13966 13145 603 41 0 13925 0
vsize: 55864
[startup+280.008 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 4083
Raw data (stat): 4083 (minisat+) R 4082 27565 27564 0 -1 0 13411 0 0 0 27957 44 0 0 25 0 1 0 481843041 57999360 13347 4294967295 134512640 134672761 3221224560 3221223664 134560235 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 14160 13347 603 41 0 14119 0
vsize: 56640
[startup+290.008 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 4083
Raw data (stat): 4083 (minisat+) R 4082 27565 27564 0 -1 0 13590 0 0 0 28956 46 0 0 25 0 1 0 481843041 58683392 13517 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 14327 13517 603 41 0 14286 0
vsize: 57308
[startup+300.008 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 4083
Raw data (stat): 4083 (minisat+) R 4082 27565 27564 0 -1 0 13903 0 0 0 29956 46 0 0 25 0 1 0 481843041 59871232 13830 4294967295 134512640 134672761 3221224560 3221223696 134565045 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 14617 13830 603 41 0 14576 0
vsize: 58468
[startup+310.009 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 4083
Raw data (stat): 4083 (minisat+) R 4082 27565 27564 0 -1 0 14238 0 0 0 30954 48 0 0 25 0 1 0 481843041 61345792 14165 4294967295 134512640 134672761 3221224560 3221223664 134559949 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 14977 14165 603 41 0 14936 0
vsize: 59908
[startup+320.009 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 4083
Raw data (stat): 4083 (minisat+) R 4082 27565 27564 0 -1 0 14536 0 0 0 31952 50 0 0 25 0 1 0 481843041 62554112 14463 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 15272 14463 603 41 0 15231 0
vsize: 61088
[startup+330.01 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 4083
Raw data (stat): 4083 (minisat+) R 4082 27565 27564 0 -1 0 14833 0 0 0 32952 50 0 0 25 0 1 0 481843041 63754240 14760 4294967295 134512640 134672761 3221224560 3221223728 134561215 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 15565 14760 603 41 0 15524 0
vsize: 62260
[startup+340.01 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 4083
Raw data (stat): 4083 (minisat+) R 4082 27565 27564 0 -1 0 15124 0 0 0 33951 52 0 0 25 0 1 0 481843041 64958464 15051 4294967295 134512640 134672761 3221224560 3221223728 134560888 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 15859 15051 603 41 0 15818 0
vsize: 63436
[startup+350.01 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 4083
Raw data (stat): 4083 (minisat+) R 4082 27565 27564 0 -1 0 15382 0 0 0 34950 53 0 0 25 0 1 0 481843041 65884160 15309 4294967295 134512640 134672761 3221224560 3221223732 134556682 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16085 15309 603 41 0 16044 0
vsize: 64340
[startup+360.011 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 4083
Raw data (stat): 4083 (minisat+) R 4082 27565 27564 0 -1 0 15601 0 0 0 35949 54 0 0 25 0 1 0 481843041 66826240 15528 4294967295 134512640 134672761 3221224560 3221223728 134560999 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16315 15528 603 41 0 16274 0
vsize: 65260
[startup+370.01 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 4083
Raw data (stat): 4083 (minisat+) R 4082 27565 27564 0 -1 0 15784 0 0 0 36948 55 0 0 25 0 1 0 481843041 67612672 15711 4294967295 134512640 134672761 3221224560 3221223728 134561391 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16507 15711 603 41 0 16466 0
vsize: 66028
[startup+380.011 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 4083
Raw data (stat): 4083 (minisat+) R 4082 27565 27564 0 -1 0 16013 0 0 0 37947 56 0 0 25 0 1 0 481843041 68534272 15940 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16732 15940 603 41 0 16691 0
vsize: 66928
[startup+390.012 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 4083
Raw data (stat): 4083 (minisat+) R 4082 27565 27564 0 -1 0 16237 0 0 0 38946 57 0 0 25 0 1 0 481843041 69328896 16164 4294967295 134512640 134672761 3221224560 3221223728 134561207 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16926 16164 603 41 0 16885 0
vsize: 67704
[startup+400.011 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 4083
Raw data (stat): 4083 (minisat+) R 4082 27565 27564 0 -1 0 16411 0 0 0 39946 58 0 0 25 0 1 0 481843041 70115328 16338 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 17118 16338 603 41 0 17077 0
vsize: 68472
[startup+410.011 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 4083
Raw data (stat): 4083 (minisat+) R 4082 27565 27564 0 -1 0 16623 0 0 0 40944 59 0 0 25 0 1 0 481843041 70909952 16550 4294967295 134512640 134672761 3221224560 3221223696 134560604 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 17312 16550 603 41 0 17271 0
vsize: 69248
[startup+420.011 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 4083
Raw data (stat): 4083 (minisat+) R 4082 27565 27564 0 -1 0 16815 0 0 0 41944 60 0 0 25 0 1 0 481843041 71704576 16742 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 17506 16742 603 41 0 17465 0
vsize: 70024
[startup+430.011 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 4083
Raw data (stat): 4083 (minisat+) R 4082 27565 27564 0 -1 0 16955 0 0 0 42943 61 0 0 25 0 1 0 481843041 72364032 16882 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 17667 16882 603 41 0 17626 0
vsize: 70668
[startup+440.011 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 4083
Raw data (stat): 4083 (minisat+) R 4082 27565 27564 0 -1 0 17113 0 0 0 43943 61 0 0 25 0 1 0 481843041 72896512 17040 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 17797 17040 603 41 0 17756 0
vsize: 71188
[startup+450.012 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 4083
Raw data (stat): 4083 (minisat+) R 4082 27565 27564 0 -1 0 17270 0 0 0 44942 62 0 0 25 0 1 0 481843041 73555968 17197 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 17958 17197 603 41 0 17917 0
vsize: 71832
[startup+460.012 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 4083
Raw data (stat): 4083 (minisat+) R 4082 27565 27564 0 -1 0 17410 0 0 0 45942 63 0 0 25 0 1 0 481843041 74084352 17337 4294967295 134512640 134672761 3221224560 3221223744 134559354 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 18087 17337 603 41 0 18046 0
vsize: 72348
[startup+470.011 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 4083
Raw data (stat): 4083 (minisat+) R 4082 27565 27564 0 -1 0 17559 0 0 0 46941 63 0 0 25 0 1 0 481843041 74653696 17478 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 18226 17478 603 41 0 18185 0
vsize: 72904
[startup+480.012 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 4083
Raw data (stat): 4083 (minisat+) R 4082 27565 27564 0 -1 0 17559 0 0 0 47941 63 0 0 25 0 1 0 481843041 74653696 17478 4294967295 134512640 134672761 3221224560 3221223728 134560964 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 18226 17478 603 41 0 18185 0
vsize: 72904
[startup+490.013 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 4083
Raw data (stat): 4083 (minisat+) R 4082 27565 27564 0 -1 0 17559 0 0 0 48941 64 0 0 25 0 1 0 481843041 74653696 17478 4294967295 134512640 134672761 3221224560 3221223696 134560688 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 18226 17478 603 41 0 18185 0
vsize: 72904
[startup+500.012 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 4083
Raw data (stat): 4083 (minisat+) R 4082 27565 27564 0 -1 0 17559 0 0 0 49941 64 0 0 25 0 1 0 481843041 74653696 17478 4294967295 134512640 134672761 3221224560 3221223728 134560858 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 18226 17478 603 41 0 18185 0
vsize: 72904
[startup+510.013 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 4083
Raw data (stat): 4083 (minisat+) R 4082 27565 27564 0 -1 0 17559 0 0 0 50941 65 0 0 25 0 1 0 481843041 74653696 17478 4294967295 134512640 134672761 3221224560 3221223728 134560999 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 18226 17478 603 41 0 18185 0
vsize: 72904
[startup+520.013 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 4083
Raw data (stat): 4083 (minisat+) R 4082 27565 27564 0 -1 0 17559 0 0 0 51941 65 0 0 25 0 1 0 481843041 74653696 17478 4294967295 134512640 134672761 3221224560 3221223716 134561032 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 18226 17478 603 41 0 18185 0
vsize: 72904
[startup+530.014 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 4083
Raw data (stat): 4083 (minisat+) R 4082 27565 27564 0 -1 0 17559 0 0 0 52941 65 0 0 25 0 1 0 481843041 74653696 17478 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 18226 17478 603 41 0 18185 0
vsize: 72904
[startup+540.014 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 4083
Raw data (stat): 4083 (minisat+) R 4082 27565 27564 0 -1 0 17559 0 0 0 53940 65 0 0 25 0 1 0 481843041 74653696 17478 4294967295 134512640 134672761 3221224560 3221223744 134558656 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 18226 17478 603 41 0 18185 0
vsize: 72904
[startup+550.013 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 4083
Raw data (stat): 4083 (minisat+) R 4082 27565 27564 0 -1 0 17559 0 0 0 54940 66 0 0 25 0 1 0 481843041 74653696 17478 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 18226 17478 603 41 0 18185 0
vsize: 72904
[startup+560.013 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 4083
Raw data (stat): 4083 (minisat+) R 4082 27565 27564 0 -1 0 17559 0 0 0 55940 66 0 0 25 0 1 0 481843041 74653696 17478 4294967295 134512640 134672761 3221224560 3221223728 134560876 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 18226 17478 603 41 0 18185 0
vsize: 72904
[startup+570.013 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 4083
Raw data (stat): 4083 (minisat+) R 4082 27565 27564 0 -1 0 17559 0 0 0 56940 66 0 0 25 0 1 0 481843041 74653696 17478 4294967295 134512640 134672761 3221224560 3221223728 134561229 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 18226 17478 603 41 0 18185 0
vsize: 72904
[startup+580.013 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 4083
Raw data (stat): 4083 (minisat+) R 4082 27565 27564 0 -1 0 17559 0 0 0 57940 66 0 0 25 0 1 0 481843041 74653696 17478 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 18226 17478 603 41 0 18185 0
vsize: 72904
[startup+590.106 s]
Raw data (loadavg): 1.08 1.00 0.93 2/56 4123
Raw data (stat): 4083 (minisat+) R 4082 27565 27564 0 -1 0 17559 0 0 0 58944 71 0 0 25 0 1 0 481843041 74653696 17478 4294967295 134512640 134672761 3221224560 3221223728 134561215 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18226 17478 603 41 0 18185 0
vsize: 72904
[startup+600.236 s]
Raw data (loadavg): 1.30 1.05 0.95 2/54 4136
Raw data (stat): 4083 (minisat+) R 4082 27565 27564 0 -1 0 17559 0 0 0 59956 72 0 0 25 0 1 0 481843041 74653696 17478 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18226 17478 603 41 0 18185 0
vsize: 72904
[startup+610.236 s]
Raw data (loadavg): 1.25 1.05 0.95 2/54 4136
Raw data (stat): 4083 (minisat+) R 4082 27565 27564 0 -1 0 17559 0 0 0 60956 72 0 0 25 0 1 0 481843041 74653696 17478 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18226 17478 603 41 0 18185 0
vsize: 72904
[startup+620.236 s]
Raw data (loadavg): 1.21 1.05 0.95 2/54 4136
Raw data (stat): 4083 (minisat+) R 4082 27565 27564 0 -1 0 17559 0 0 0 61956 72 0 0 25 0 1 0 481843041 74653696 17478 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18226 17478 603 41 0 18185 0
vsize: 72904
[startup+630.236 s]
Raw data (loadavg): 1.18 1.05 0.95 2/54 4136
Raw data (stat): 4083 (minisat+) R 4082 27565 27564 0 -1 0 17559 0 0 0 62956 72 0 0 25 0 1 0 481843041 74653696 17478 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18226 17478 603 41 0 18185 0
vsize: 72904
[startup+640.237 s]
Raw data (loadavg): 1.15 1.04 0.95 2/54 4136
Raw data (stat): 4083 (minisat+) R 4082 27565 27564 0 -1 0 17559 0 0 0 63957 72 0 0 25 0 1 0 481843041 74653696 17478 4294967295 134512640 134672761 3221224560 3221223728 134560940 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18226 17478 603 41 0 18185 0
vsize: 72904
[startup+650.236 s]
Raw data (loadavg): 1.13 1.04 0.95 2/54 4136
Raw data (stat): 4083 (minisat+) R 4082 27565 27564 0 -1 0 17559 0 0 0 64957 72 0 0 25 0 1 0 481843041 74653696 17478 4294967295 134512640 134672761 3221224560 3221223728 134561205 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18226 17478 603 41 0 18185 0
vsize: 72904
[startup+660.236 s]
Raw data (loadavg): 1.11 1.04 0.95 2/54 4136
Raw data (stat): 4083 (minisat+) R 4082 27565 27564 0 -1 0 17559 0 0 0 65957 72 0 0 25 0 1 0 481843041 74653696 17478 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18226 17478 603 41 0 18185 0
vsize: 72904
[startup+670.236 s]
Raw data (loadavg): 1.09 1.04 0.95 2/54 4138
Raw data (stat): 4083 (minisat+) R 4082 27565 27564 0 -1 0 17559 0 0 0 66957 72 0 0 25 0 1 0 481843041 74653696 17478 4294967295 134512640 134672761 3221224560 3221223728 134561167 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18226 17478 603 41 0 18185 0
vsize: 72904
[startup+680.236 s]
Raw data (loadavg): 1.08 1.04 0.95 2/54 4138
Raw data (stat): 4083 (minisat+) R 4082 27565 27564 0 -1 0 17559 0 0 0 67957 72 0 0 25 0 1 0 481843041 74653696 17478 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18226 17478 603 41 0 18185 0
vsize: 72904
[startup+690.237 s]
Raw data (loadavg): 1.06 1.03 0.95 2/54 4138
Raw data (stat): 4083 (minisat+) R 4082 27565 27564 0 -1 0 17559 0 0 0 68957 72 0 0 25 0 1 0 481843041 74653696 17478 4294967295 134512640 134672761 3221224560 3221223728 134561229 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18226 17478 603 41 0 18185 0
vsize: 72904
[startup+700.236 s]
Raw data (loadavg): 1.05 1.03 0.95 2/54 4138
Raw data (stat): 4083 (minisat+) R 4082 27565 27564 0 -1 0 17559 0 0 0 69957 72 0 0 25 0 1 0 481843041 74653696 17478 4294967295 134512640 134672761 3221224560 3221223728 134560942 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18226 17478 603 41 0 18185 0
vsize: 72904
[startup+710.236 s]
Raw data (loadavg): 1.05 1.03 0.95 2/54 4138
Raw data (stat): 4083 (minisat+) R 4082 27565 27564 0 -1 0 17559 0 0 0 70958 72 0 0 25 0 1 0 481843041 74653696 17478 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18226 17478 603 41 0 18185 0
vsize: 72904
[startup+720.236 s]
Raw data (loadavg): 1.04 1.03 0.95 2/54 4138
Raw data (stat): 4083 (minisat+) R 4082 27565 27564 0 -1 0 17559 0 0 0 71958 72 0 0 25 0 1 0 481843041 74653696 17478 4294967295 134512640 134672761 3221224560 3221223728 134561229 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18226 17478 603 41 0 18185 0
vsize: 72904
[startup+730.237 s]
Raw data (loadavg): 1.03 1.03 0.95 2/54 4138
Raw data (stat): 4083 (minisat+) R 4082 27565 27564 0 -1 0 17559 0 0 0 72958 72 0 0 25 0 1 0 481843041 74653696 17478 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18226 17478 603 41 0 18185 0
vsize: 72904
[startup+740.238 s]
Raw data (loadavg): 1.03 1.03 0.95 2/54 4138
Raw data (stat): 4083 (minisat+) R 4082 27565 27564 0 -1 0 17559 0 0 0 73958 72 0 0 25 0 1 0 481843041 74653696 17478 4294967295 134512640 134672761 3221224560 3221223728 134560940 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18226 17478 603 41 0 18185 0
vsize: 72904
[startup+750.238 s]
Raw data (loadavg): 1.02 1.03 0.95 2/54 4138
Raw data (stat): 4083 (minisat+) R 4082 27565 27564 0 -1 0 17559 0 0 0 74958 72 0 0 25 0 1 0 481843041 74653696 17478 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18226 17478 603 41 0 18185 0
vsize: 72904
[startup+760.238 s]
Raw data (loadavg): 1.02 1.02 0.95 2/54 4138
Raw data (stat): 4083 (minisat+) R 4082 27565 27564 0 -1 0 17559 0 0 0 75959 72 0 0 25 0 1 0 481843041 74653696 17478 4294967295 134512640 134672761 3221224560 3221223760 134557830 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18226 17478 603 41 0 18185 0
vsize: 72904
[startup+770.238 s]
Raw data (loadavg): 1.02 1.02 0.95 2/54 4138
Raw data (stat): 4083 (minisat+) R 4082 27565 27564 0 -1 0 17559 0 0 0 76959 72 0 0 25 0 1 0 481843041 74653696 17478 4294967295 134512640 134672761 3221224560 3221223728 134560917 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18226 17478 603 41 0 18185 0
vsize: 72904
[startup+780.239 s]
Raw data (loadavg): 1.01 1.02 0.95 2/54 4138
Raw data (stat): 4083 (minisat+) R 4082 27565 27564 0 -1 0 17559 0 0 0 77959 72 0 0 25 0 1 0 481843041 74653696 17478 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18226 17478 603 41 0 18185 0
vsize: 72904
[startup+790.239 s]
Raw data (loadavg): 1.01 1.02 0.95 2/54 4138
Raw data (stat): 4083 (minisat+) R 4082 27565 27564 0 -1 0 17559 0 0 0 78959 72 0 0 25 0 1 0 481843041 74653696 17478 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18226 17478 603 41 0 18185 0
vsize: 72904
[startup+800.238 s]
Raw data (loadavg): 1.01 1.02 0.95 2/54 4138
Raw data (stat): 4083 (minisat+) R 4082 27565 27564 0 -1 0 17561 0 0 0 79959 72 0 0 25 0 1 0 481843041 75177984 17480 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18354 17480 603 41 0 18313 0
vsize: 73416
[startup+810.239 s]
Raw data (loadavg): 1.01 1.02 0.95 2/54 4138
Raw data (stat): 4083 (minisat+) R 4082 27565 27564 0 -1 0 17563 0 0 0 80959 72 0 0 25 0 1 0 481843041 75177984 17482 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18354 17482 603 41 0 18313 0
vsize: 73416
[startup+820.239 s]
Raw data (loadavg): 1.00 1.02 0.95 2/54 4138
Raw data (stat): 4083 (minisat+) R 4082 27565 27564 0 -1 0 17584 0 0 0 81960 72 0 0 25 0 1 0 481843041 75313152 17503 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18387 17503 603 41 0 18346 0
vsize: 73548
[startup+830.239 s]
Raw data (loadavg): 1.00 1.02 0.95 2/54 4138
Raw data (stat): 4083 (minisat+) R 4082 27565 27564 0 -1 0 17753 0 0 0 82959 73 0 0 25 0 1 0 481843041 75976704 17672 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18549 17672 603 41 0 18508 0
vsize: 74196
[startup+840.239 s]
Raw data (loadavg): 1.00 1.02 0.95 2/54 4138
Raw data (stat): 4083 (minisat+) R 4082 27565 27564 0 -1 0 17950 0 0 0 83959 73 0 0 25 0 1 0 481843041 76771328 17869 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18743 17869 603 41 0 18702 0
vsize: 74972
[startup+850.239 s]
Raw data (loadavg): 1.00 1.02 0.95 2/54 4138
Raw data (stat): 4083 (minisat+) R 4082 27565 27564 0 -1 0 18132 0 0 0 84959 74 0 0 25 0 1 0 481843041 77565952 18051 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18937 18051 603 41 0 18896 0
vsize: 75748
[startup+860.239 s]
Raw data (loadavg): 1.00 1.02 0.95 2/54 4138
Raw data (stat): 4083 (minisat+) R 4082 27565 27564 0 -1 0 18312 0 0 0 85958 74 0 0 25 0 1 0 481843041 78229504 18231 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 19099 18231 603 41 0 19058 0
vsize: 76396
[startup+870.24 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 4138
Raw data (stat): 4083 (minisat+) R 4082 27565 27564 0 -1 0 18467 0 0 0 86958 75 0 0 25 0 1 0 481843041 78893056 18386 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 19261 18386 603 41 0 19220 0
vsize: 77044
[startup+880.241 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 4138
Raw data (stat): 4083 (minisat+) R 4082 27565 27564 0 -1 0 18637 0 0 0 87958 75 0 0 25 0 1 0 481843041 79556608 18556 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 19423 18556 603 41 0 19382 0
vsize: 77692
[startup+890.241 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 4138
Raw data (stat): 4083 (minisat+) R 4082 27565 27564 0 -1 0 18822 0 0 0 88958 76 0 0 25 0 1 0 481843041 80355328 18741 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19618 18741 603 41 0 19577 0
vsize: 78472
[startup+900.24 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 4138
Raw data (stat): 4083 (minisat+) R 4082 27565 27564 0 -1 0 19047 0 0 0 89957 76 0 0 25 0 1 0 481843041 81301504 18966 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 19849 18966 603 41 0 19808 0
vsize: 79396
[startup+910.241 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 4138
Raw data (stat): 4083 (minisat+) R 4082 27565 27564 0 -1 0 19276 0 0 0 90956 77 0 0 25 0 1 0 481843041 82227200 19195 4294967295 134512640 134672761 3221224560 3221223560 1075350517 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 20075 19195 603 41 0 20034 0
vsize: 80300
[startup+920.241 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 4140
Raw data (stat): 4083 (minisat+) R 4082 27565 27564 0 -1 0 19510 0 0 0 91955 79 0 0 25 0 1 0 481843041 83148800 19429 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 20300 19429 603 41 0 20259 0
vsize: 81200
[startup+930.241 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 4140
Raw data (stat): 4083 (minisat+) R 4082 27565 27564 0 -1 0 19710 0 0 0 92954 79 0 0 25 0 1 0 481843041 83939328 19629 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 20493 19629 603 41 0 20452 0
vsize: 81972
[startup+940.241 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 4140
Raw data (stat): 4083 (minisat+) R 4082 27565 27564 0 -1 0 19914 0 0 0 93954 80 0 0 25 0 1 0 481843041 84733952 19833 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 20687 19833 603 41 0 20646 0
vsize: 82748
[startup+950.241 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 4140
Raw data (stat): 4083 (minisat+) R 4082 27565 27564 0 -1 0 20116 0 0 0 94953 81 0 0 25 0 1 0 481843041 85655552 20035 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 20912 20035 603 41 0 20871 0
vsize: 83648
[startup+960.241 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 4140
Raw data (stat): 4083 (minisat+) R 4082 27565 27564 0 -1 0 20333 0 0 0 95953 81 0 0 25 0 1 0 481843041 86454272 20252 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21107 20252 603 41 0 21066 0
vsize: 84428
[startup+970.24 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 4140
Raw data (stat): 4083 (minisat+) R 4082 27565 27564 0 -1 0 20537 0 0 0 96952 82 0 0 25 0 1 0 481843041 87379968 20456 4294967295 134512640 134672761 3221224560 3221223728 134561229 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21333 20456 603 41 0 21292 0
vsize: 85332
[startup+980.241 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 4140
Raw data (stat): 4083 (minisat+) R 4082 27565 27564 0 -1 0 20751 0 0 0 97952 83 0 0 25 0 1 0 481843041 88174592 20670 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21527 20670 603 41 0 21486 0
vsize: 86108
[startup+990.241 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 4140
Raw data (stat): 4083 (minisat+) R 4082 27565 27564 0 -1 0 20962 0 0 0 98951 84 0 0 25 0 1 0 481843041 89104384 20881 4294967295 134512640 134672761 3221224560 3221223728 134560956 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21754 20881 603 41 0 21713 0
vsize: 87016
[startup+1000.24 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 4140
Raw data (stat): 4083 (minisat+) R 4082 27565 27564 0 -1 0 21123 0 0 0 99951 84 0 0 25 0 1 0 481843041 89767936 21042 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21916 21042 603 41 0 21875 0
vsize: 87664
[startup+1010.24 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 4140
Raw data (stat): 4083 (minisat+) R 4082 27565 27564 0 -1 0 21301 0 0 0 100950 85 0 0 25 0 1 0 481843041 90423296 21220 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 22076 21220 603 41 0 22035 0
vsize: 88304
[startup+1020.24 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 4140
Raw data (stat): 4083 (minisat+) R 4082 27565 27564 0 -1 0 21491 0 0 0 101950 86 0 0 25 0 1 0 481843041 91209728 21410 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 22268 21410 603 41 0 22227 0
vsize: 89072
[startup+1030.24 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 4140
Raw data (stat): 4083 (minisat+) R 4082 27565 27564 0 -1 0 21661 0 0 0 102949 86 0 0 25 0 1 0 481843041 91881472 21580 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 22432 21580 603 41 0 22391 0
vsize: 89728
[startup+1040.24 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 4140
Raw data (stat): 4083 (minisat+) R 4082 27565 27564 0 -1 0 21824 0 0 0 103949 87 0 0 25 0 1 0 481843041 92545024 21743 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 22594 21743 603 41 0 22553 0
vsize: 90376
[startup+1050.24 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 4140
Raw data (stat): 4083 (minisat+) R 4082 27565 27564 0 -1 0 21965 0 0 0 104949 87 0 0 25 0 1 0 481843041 93077504 21884 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 22724 21884 603 41 0 22683 0
vsize: 90896
[startup+1060.24 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 4140
Raw data (stat): 4083 (minisat+) R 4082 27565 27564 0 -1 0 22109 0 0 0 105948 88 0 0 25 0 1 0 481843041 93736960 22028 4294967295 134512640 134672761 3221224560 3221223728 134560830 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 22885 22028 603 41 0 22844 0
vsize: 91540
[startup+1070.24 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 4140
Raw data (stat): 4083 (minisat+) R 4082 27565 27564 0 -1 0 22279 0 0 0 106947 89 0 0 25 0 1 0 481843041 94400512 22198 4294967295 134512640 134672761 3221224560 3221223728 134560833 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 23047 22198 603 41 0 23006 0
vsize: 92188
[startup+1080.24 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 4140
Raw data (stat): 4083 (minisat+) R 4082 27565 27564 0 -1 0 22407 0 0 0 107947 89 0 0 25 0 1 0 481843041 94924800 22326 4294967295 134512640 134672761 3221224560 3221223664 134560361 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 23175 22326 603 41 0 23134 0
vsize: 92700
[startup+1090.24 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 4140
Raw data (stat): 4083 (minisat+) R 4082 27565 27564 0 -1 0 22578 0 0 0 108947 90 0 0 25 0 1 0 481843041 95592448 22497 4294967295 134512640 134672761 3221224560 3221223728 134561164 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 23338 22497 603 41 0 23297 0
vsize: 93352
[startup+1100.24 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 4140
Raw data (stat): 4083 (minisat+) R 4082 27565 27564 0 -1 0 22739 0 0 0 109946 91 0 0 25 0 1 0 481843041 96260096 22658 4294967295 134512640 134672761 3221224560 3221223728 134560940 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 23501 22658 603 41 0 23460 0
vsize: 94004
[startup+1110.24 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 4140
Raw data (stat): 4083 (minisat+) R 4082 27565 27564 0 -1 0 22921 0 0 0 110945 92 0 0 25 0 1 0 481843041 97062912 22840 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 23697 22840 603 41 0 23656 0
vsize: 94788
[startup+1120.24 s]
Raw data (loadavg): 1.08 1.02 0.95 2/54 4140
Raw data (stat): 4083 (minisat+) R 4082 27565 27564 0 -1 0 23087 0 0 0 111945 92 0 0 25 0 1 0 481843041 97734656 23006 4294967295 134512640 134672761 3221224560 3221223728 134560940 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 23861 23006 603 41 0 23820 0
vsize: 95444
[startup+1130.24 s]
Raw data (loadavg): 1.07 1.02 0.95 2/54 4140
Raw data (stat): 4083 (minisat+) R 4082 27565 27564 0 -1 0 23277 0 0 0 112945 92 0 0 25 0 1 0 481843041 98525184 23196 4294967295 134512640 134672761 3221224560 3221223760 134557830 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24054 23196 603 41 0 24013 0
vsize: 96216
[startup+1140.24 s]
Raw data (loadavg): 1.06 1.01 0.95 2/54 4140
Raw data (stat): 4083 (minisat+) R 4082 27565 27564 0 -1 0 23436 0 0 0 113945 93 0 0 25 0 1 0 481843041 99057664 23355 4294967295 134512640 134672761 3221224560 3221223728 134561167 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24184 23355 603 41 0 24143 0
vsize: 96736
[startup+1150.24 s]
Raw data (loadavg): 1.13 1.03 0.96 2/54 4140
Raw data (stat): 4083 (minisat+) R 4082 27565 27564 0 -1 0 23575 0 0 0 114944 93 0 0 25 0 1 0 481843041 99741696 23494 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24351 23494 603 41 0 24310 0
vsize: 97404
[startup+1160.24 s]
Raw data (loadavg): 1.18 1.04 0.96 2/54 4140
Raw data (stat): 4083 (minisat+) R 4082 27565 27564 0 -1 0 23726 0 0 0 115944 94 0 0 25 0 1 0 481843041 100278272 23645 4294967295 134512640 134672761 3221224560 3221223712 134561249 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24482 23645 603 41 0 24441 0
vsize: 97928
[startup+1170.24 s]
Raw data (loadavg): 1.15 1.04 0.96 2/54 4140
Raw data (stat): 4083 (minisat+) R 4082 27565 27564 0 -1 0 23939 0 0 0 116943 95 0 0 25 0 1 0 481843041 101216256 23858 4294967295 134512640 134672761 3221224560 3221223728 134561205 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24711 23858 603 41 0 24670 0
vsize: 98844
[startup+1180.24 s]
Raw data (loadavg): 1.13 1.04 0.96 2/54 4140
Raw data (stat): 4083 (minisat+) R 4082 27565 27564 0 -1 0 24085 0 0 0 117943 95 0 0 25 0 1 0 481843041 101744640 24004 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24840 24004 603 41 0 24799 0
vsize: 99360
[startup+1190.24 s]
Raw data (loadavg): 1.11 1.04 0.96 2/54 4140
Raw data (stat): 4083 (minisat+) R 4082 27565 27564 0 -1 0 24200 0 0 0 118943 96 0 0 25 0 1 0 481843041 102277120 24119 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24970 24119 603 41 0 24929 0
vsize: 99880
[startup+1200.24 s]
Raw data (loadavg): 1.09 1.04 0.96 2/54 4140
Raw data (stat): 4083 (minisat+) R 4082 27565 27564 0 -1 0 24345 0 0 0 119942 96 0 0 25 0 1 0 481843041 102813696 24264 4294967295 134512640 134672761 3221224560 3221223696 134560566 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 25101 24264 603 41 0 25060 0
vsize: 100404
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.3 s]
Raw data (loadavg): 1.09 1.04 0.96 1/54 4140
Raw data (stat): 4083 (minisat+) Z 4082 27565 27564 0 -1 12 24348 0 0 0 119943 101 0 0 25 0 1 0 481843041 0 0 4294967295 0 0 0 0 0 0 16384 5 16386 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 10
Real time (s): 1200.29
CPU time (s): 1200.45
CPU user time (s): 1199.43
CPU system time (s): 1.01484
CPU usage (%): 100.013
Max. virtual memory (Kb): 100404
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####