PB'05 competition: run trace

Some explanations

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

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

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        902948 kB
Buffers:         34944 kB
Cached:          74840 kB
SwapCached:       2144 kB
Active:          65092 kB
Inactive:        49680 kB
HighTotal:      131008 kB
HighFree:        52304 kB
LowTotal:       903652 kB
LowFree:        850644 kB
SwapTotal:     2097136 kB
SwapFree:      2094992 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6916 kB
Slab:            11276 kB
Committed_AS:    63480 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-13 23:22:38 (client local time) WITH STATUS 10 IN 1200.22 SECONDS
stats: 3727 7 1200.22 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Parsing PB file...
c Converting 94226 PB-constraints to clauses...
c   -- Unit propagations: (none)
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): ..................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |         0 |   94226   188452 |   31408       0        0     nan |  0.000 % |
c ==============================================================================
c [1mFound solution: -36[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Adder-cost: 2518   maxlim: 36   bits: 7/6
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |         0 |  111640   250681 |   37213       0        0     nan |  0.000 % |
c |       100 |  111631   250650 |   40934      97      800     8.2 |  0.107 % |
c |       251 |  111631   250650 |   45027     248     2110     8.5 |  0.106 % |
c |       478 |  111622   250619 |   49530     472     4362     9.2 |  0.134 % |
c |       815 |  111622   250619 |   54483     809     8177    10.1 |  0.132 % |
c |      1321 |  111562   250413 |   59931    1301    13444    10.3 |  0.319 % |
c |      2080 |  111526   250289 |   65925    2050    21671    10.6 |  0.424 % |
c |      3219 |  111385   249804 |   72517    3149    33915    10.8 |  0.848 % |
c |      4927 |  111181   249104 |   79769    4804    56534    11.8 |  1.483 % |
c |      7489 |  110639   247242 |   87746    7220    94330    13.1 |  3.284 % |
c |     11334 |  109121   242032 |   96520   10612   170668    16.1 |  9.137 % |
c |     17100 |  106541   233096 |  106173   15523   321840    20.7 | 21.082 % |
c ==============================================================================
c [1mFound solution: -37[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Adder-cost: 0   maxlim: 37   bits: 7/6
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     17459 |  106385   232556 |   35461   15817   334009    21.1 | 21.082 % |
c |     17559 |  106385   232556 |   39007   15917   336963    21.2 | 21.869 % |
c |     17709 |  106150   231725 |   42907   15958   342925    21.5 | 23.193 % |
c |     17934 |  105924   230935 |   47198   16072   346204    21.5 | 24.358 % |
c |     18271 |  105886   230801 |   51918   16401   357340    21.8 | 24.570 % |
c |     18777 |  105791   230474 |   57110   16783   367778    21.9 | 24.993 % |
c |     19537 |  105530   229561 |   62821   17312   384123    22.2 | 26.317 % |
c |     20676 |  105434   229225 |   69103   18364   422700    23.0 | 26.794 % |
c ==============================================================================
c [1mFound solution: -38[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Adder-cost: 0   maxlim: 38   bits: 7/6
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     22255 |  105257   228615 |   35085   19631   478705    24.4 | 26.794 % |
c |     22356 |  105233   228533 |   38593   19663   481518    24.5 | 27.713 % |
c |     22507 |  105233   228533 |   42452   19814   487950    24.6 | 27.713 % |
c |     22732 |  105016   227762 |   46698   19850   490778    24.7 | 29.142 % |
c |     23069 |  104909   227381 |   51367   20098   497685    24.8 | 29.751 % |
c |     23575 |  104837   227127 |   56504   20516   509867    24.9 | 30.150 % |
c |     24334 |  104828   227096 |   62155   21228   532081    25.1 | 30.176 % |
c |     25475 |  104822   227076 |   68370   22340   584901    26.2 | 30.201 % |
c |     27183 |  104822   227076 |   75207   24047   687892    28.6 | 30.254 % |
c |     29746 |  104663   226525 |   82728   26164   789947    30.2 | 30.836 % |
c |     33590 |  104622   226382 |   91001   29808  1030225    34.6 | 30.969 % |
c ==============================================================================
c [1mFound solution: -39[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Adder-cost: 0   maxlim: 39   bits: 7/6
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     34337 |  104623   226387 |   34874   30555  1079102    35.3 | 30.969 % |
c |     34438 |  104623   226387 |   38361   30656  1081765    35.3 | 30.987 % |
c |     34588 |  104623   226387 |   42197   30806  1085685    35.2 | 30.987 % |
c |     34813 |  104623   226387 |   46417   31031  1101652    35.5 | 30.987 % |
c |     35150 |  104623   226387 |   51059   31368  1114995    35.5 | 30.987 % |
c |     35656 |  104608   226336 |   56164   31852  1140418    35.8 | 31.041 % |
c |     36415 |  104608   226336 |   61781   32611  1214602    37.2 | 31.042 % |
c |     37554 |  104544   226114 |   67959   33504  1277725    38.1 | 31.280 % |
c |     39262 |  104382   225558 |   74755   34701  1382810    39.8 | 32.021 % |
c |     41824 |  104294   225258 |   82231   36940  1580938    42.8 | 32.365 % |
c |     45668 |  104231   225039 |   90454   40576  1763529    43.5 | 32.654 % |
c |     51434 |  104137   224717 |   99499   45945  2490637    54.2 | 33.104 % |
c ==============================================================================
c [1mFound solution: -40[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Adder-cost: 0   maxlim: 40   bits: 7/6
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     53642 |  104142   224741 |   34714   48153  2732258    56.7 | 33.104 % |
c |     53742 |  104142   224741 |   38185   17370  1215913    70.0 | 33.122 % |
c |     53894 |  104125   224682 |   42003   17510  1219858    69.7 | 33.201 % |
c |     54120 |  104125   224682 |   46204   17736  1226725    69.2 | 33.201 % |
c |     54457 |  104125   224682 |   50824   18073  1244591    68.9 | 33.202 % |
c |     54963 |  104078   224515 |   55907   18553  1288202    69.4 | 33.414 % |
c |     55722 |  104078   224515 |   61497   19312  1349003    69.9 | 33.414 % |
c ==============================================================================
c [1mFound solution: -41[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Adder-cost: 0   maxlim: 41   bits: 7/6
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     56778 |  104038   224381 |   34679   20323  1483360    73.0 | 33.414 % |
c |     56879 |  104038   224381 |   38146   20424  1486896    72.8 | 33.668 % |
c |     57030 |  104029   224352 |   41961   20572  1493067    72.6 | 33.723 % |
c |     57255 |  104029   224352 |   46157   20797  1496022    71.9 | 33.721 % |
c |     57592 |  104029   224352 |   50773   21134  1513104    71.6 | 33.721 % |
c |     58098 |  104029   224352 |   55850   21640  1553616    71.8 | 33.723 % |
c |     58857 |  104029   224352 |   61435   22399  1603597    71.6 | 33.722 % |
c |     59996 |  104020   224321 |   67579   23529  1640741    69.7 | 33.748 % |
c |     61705 |  104020   224321 |   74337   25238  1881867    74.6 | 33.749 % |
c |     64267 |  104005   224270 |   81771   27783  2057509    74.1 | 33.801 % |
c |     68112 |  103957   224106 |   89948   31604  2314755    73.2 | 34.039 % |
c |     73878 |  103957   224106 |   98943   37370  3095874    82.8 | 34.039 % |
c ==============================================================================
c [1mFound solution: -42[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Adder-cost: 0   maxlim: 42   bits: 7/6
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     82010 |  103958   224114 |   34652   45502  4560572   100.2 | 34.039 % |
c |     82110 |  103958   224114 |   38117   16104  1995176   123.9 | 34.057 % |
c |     82260 |  103958   224114 |   41928   16254  1998360   122.9 | 34.056 % |
c |     82486 |  103958   224114 |   46121   16480  2008862   121.9 | 34.056 % |
c |     82824 |  103958   224114 |   50733   16818  2019197   120.1 | 34.056 % |
c |     83330 |  103958   224114 |   55807   17324  2040316   117.8 | 34.056 % |
c |     84090 |  103958   224114 |   61388   18084  2077325   114.9 | 34.056 % |
c |     85229 |  103938   224044 |   67526   19210  2135936   111.2 | 34.137 % |
c |     86937 |  103932   224024 |   74279   20910  2268485   108.5 | 34.163 % |
c |     89499 |  103901   223917 |   81707   23449  2473214   105.5 | 34.322 % |
c |     93343 |  103877   223835 |   89878   27283  2817903   103.3 | 34.400 % |
c |     99109 |  103877   223835 |   98866   33049  3650726   110.5 | 34.401 % |
c |    107759 |  103845   223721 |  108752   41655  4284641   102.9 | 34.585 % |
c |    120733 |  103839   223701 |  119628   54622  5755418   105.4 | 34.611 % |
c |    140195 |  103839   223701 |  131590   74084 10214618   137.9 | 34.613 % |
c |    169387 |  103788   223522 |  144750  103260 13165231   127.5 | 34.877 % |
c |    213176 |  103788   223522 |  159225  147049 22452020   152.7 | 34.877 % |
c ==============================================================================
c [1mFound solution: -43[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Adder-cost: 0   maxlim: 43   bits: 7/6
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |    216852 |  103762   223433 |   34587  150714 22862848   151.7 | 34.877 % |
c |    216952 |  103762   223433 |   38045   19163  2779856   145.1 | 35.052 % |
c |    217102 |  103762   223433 |   41850   19313  2783507   144.1 | 35.052 % |
c |    217329 |  103762   223433 |   46035   19540  2794014   143.0 | 35.053 % |
c |    217666 |  103762   223433 |   50638   19877  2809318   141.3 | 35.052 % |
c |    218172 |  103762   223433 |   55702   20383  2834868   139.1 | 35.052 % |
c |    218931 |  103762   223433 |   61272   21142  2869681   135.7 | 35.053 % |
c |    220071 |  103762   223433 |   67400   22282  2914683   130.8 | 35.052 % |
c |    221780 |  103739   223352 |   74140   23990  3040159   126.7 | 35.184 % |
c |    224342 |  103739   223352 |   81554   26552  3249962   122.4 | 35.184 % |
c |    228186 |  103739   223352 |   89709   30396  3790286   124.7 | 35.185 % |
c |    233956 |  103718   223281 |   98680   36133  4318691   119.5 | 35.263 % |
c |    242605 |  103718   223281 |  108548   44782  5116720   114.3 | 35.263 % |
c |    255579 |  103718   223281 |  119403   57756  7169503   124.1 | 35.264 % |
c |    275040 |  103695   223202 |  131344   77200  8513080   110.3 | 35.370 % |
c |    304232 |  103695   223202 |  144478  106392 12125270   114.0 | 35.369 % |
c |    348022 |  103695   223202 |  158926   20163  2792864   138.5 | 35.369 % |
c ==============================================================================
c [1mFound solution: -44[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Adder-cost: 0   maxlim: 44   bits: 7/6
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |    385128 |  103697   223212 |   34565   57269  9654651   168.6 | 35.369 % |
c |    385228 |  103697   223212 |   38021   16625  2904186   174.7 | 35.377 % |
c |    385378 |  103697   223212 |   41823   16775  2911347   173.6 | 35.376 % |
c |    385605 |  103697   223212 |   46006   17002  2916516   171.5 | 35.376 % |
c |    385943 |  103697   223212 |   50606   17340  2937368   169.4 | 35.376 % |
c |    386450 |  103697   223212 |   55667   17847  2952548   165.4 | 35.377 % |
c |    387209 |  103697   223212 |   61234   18606  2991124   160.8 | 35.377 % |
c |    388348 |  103697   223212 |   67357   19745  3089639   156.5 | 35.376 % |
c |    390056 |  103697   223212 |   74093   21453  3233984   150.7 | 35.376 % |
c |    392618 |  103697   223212 |   81502   24015  3437107   143.1 | 35.378 % |
c |    396462 |  103697   223212 |   89652   27859  3645251   130.8 | 35.377 % |
c |    402230 |  103697   223212 |   98617   33627  4226765   125.7 | 35.378 % |
c |    410880 |  103685   223172 |  108479   42267  4919020   116.4 | 35.429 % |
c |    423854 |  103685   223172 |  119327   55241  6643132   120.3 | 35.429 % |
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 -C#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.85 0.95 0.90 2/54 2406
Raw data (stat): 2406 (runsolver) R 2405 29151 29150 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 421532847 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.0005 s]
Raw data (loadavg): 0.87 0.95 0.90 2/54 2406
Raw data (stat): 2406 (minisat+) R 2405 29151 29150 0 -1 0 4507 0 0 0 984 15 0 0 25 0 1 0 421532847 20246528 4485 4294967295 134512640 134672761 3221224560 3221223732 134556634 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 4943 4485 603 41 0 4902 0
vsize: 19772
[startup+20.0018 s]
Raw data (loadavg): 0.89 0.96 0.91 2/54 2406
Raw data (stat): 2406 (minisat+) R 2405 29151 29150 0 -1 0 4507 0 0 0 1983 15 0 0 25 0 1 0 421532847 20246528 4485 4294967295 134512640 134672761 3221224560 3221223728 134561001 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 4943 4485 603 41 0 4902 0
vsize: 19772
[startup+30.0022 s]
Raw data (loadavg): 0.91 0.96 0.91 2/54 2406
Raw data (stat): 2406 (minisat+) R 2405 29151 29150 0 -1 0 4507 0 0 0 2983 15 0 0 25 0 1 0 421532847 20246528 4485 4294967295 134512640 134672761 3221224560 3221223732 134556651 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 4943 4485 603 41 0 4902 0
vsize: 19772
[startup+40.002 s]
Raw data (loadavg): 0.92 0.96 0.91 2/54 2406
Raw data (stat): 2406 (minisat+) R 2405 29151 29150 0 -1 0 4507 0 0 0 3983 16 0 0 25 0 1 0 421532847 20246528 4485 4294967295 134512640 134672761 3221224560 3221223728 134560892 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 4943 4485 603 41 0 4902 0
vsize: 19772
[startup+50.0033 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 2406
Raw data (stat): 2406 (minisat+) R 2405 29151 29150 0 -1 0 4507 0 0 0 4983 16 0 0 25 0 1 0 421532847 20246528 4485 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 4943 4485 603 41 0 4902 0
vsize: 19772
[startup+60.0032 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 2406
Raw data (stat): 2406 (minisat+) R 2405 29151 29150 0 -1 0 4507 0 0 0 5982 16 0 0 25 0 1 0 421532847 20246528 4485 4294967295 134512640 134672761 3221224560 3221223728 134561151 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 4943 4485 603 41 0 4902 0
vsize: 19772
[startup+70.0035 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 2406
Raw data (stat): 2406 (minisat+) R 2405 29151 29150 0 -1 0 4507 0 0 0 6982 16 0 0 25 0 1 0 421532847 20246528 4485 4294967295 134512640 134672761 3221224560 3221223728 134560888 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 4943 4485 603 41 0 4902 0
vsize: 19772
[startup+80.0097 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 2406
Raw data (stat): 2406 (minisat+) R 2405 29151 29150 0 -1 0 5074 0 0 0 7980 19 0 0 25 0 1 0 421532847 22474752 5052 4294967295 134512640 134672761 3221224560 3221223732 134556598 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 5487 5052 603 41 0 5446 0
vsize: 21948
[startup+90.009 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 2406
Raw data (stat): 2406 (minisat+) R 2405 29151 29150 0 -1 0 5074 0 0 0 8980 19 0 0 25 0 1 0 421532847 22474752 5052 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 5487 5052 603 41 0 5446 0
vsize: 21948
[startup+100.009 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 2406
Raw data (stat): 2406 (minisat+) R 2405 29151 29150 0 -1 0 5257 0 0 0 9980 19 0 0 25 0 1 0 421532847 23277568 5235 4294967295 134512640 134672761 3221224560 3221223728 134560940 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 5683 5235 603 41 0 5642 0
vsize: 22732
[startup+110.009 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 2406
Raw data (stat): 2406 (minisat+) R 2405 29151 29150 0 -1 0 6116 0 0 0 10977 22 0 0 25 0 1 0 421532847 26755072 6094 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 6532 6094 603 41 0 6491 0
vsize: 26128
[startup+120.01 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 2406
Raw data (stat): 2406 (minisat+) R 2405 29151 29150 0 -1 0 6938 0 0 0 11974 25 0 0 25 0 1 0 421532847 30109696 6916 4294967295 134512640 134672761 3221224560 3221223728 134560903 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7351 6916 603 41 0 7310 0
vsize: 29404
[startup+130.009 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 2406
Raw data (stat): 2406 (minisat+) R 2405 29151 29150 0 -1 0 6938 0 0 0 12975 25 0 0 25 0 1 0 421532847 30109696 6916 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7351 6916 603 41 0 7310 0
vsize: 29404
[startup+140.009 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 2406
Raw data (stat): 2406 (minisat+) R 2405 29151 29150 0 -1 0 6938 0 0 0 13975 25 0 0 25 0 1 0 421532847 30109696 6916 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7351 6916 603 41 0 7310 0
vsize: 29404
[startup+150.01 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 2406
Raw data (stat): 2406 (minisat+) R 2405 29151 29150 0 -1 0 6938 0 0 0 14975 25 0 0 25 0 1 0 421532847 30109696 6916 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7351 6916 603 41 0 7310 0
vsize: 29404
[startup+160.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2406
Raw data (stat): 2406 (minisat+) R 2405 29151 29150 0 -1 0 7376 0 0 0 15972 28 0 0 25 0 1 0 421532847 31981568 7354 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7808 7354 603 41 0 7767 0
vsize: 31232
[startup+170.01 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 2406
Raw data (stat): 2406 (minisat+) R 2405 29151 29150 0 -1 0 7987 0 0 0 16971 29 0 0 25 0 1 0 421532847 34394112 7965 4294967295 134512640 134672761 3221224560 3221223576 1075353266 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 8397 7965 603 41 0 8356 0
vsize: 33588
[startup+180.01 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 2406
Raw data (stat): 2406 (minisat+) R 2405 29151 29150 0 -1 0 8581 0 0 0 17968 32 0 0 25 0 1 0 421532847 36810752 8559 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 8987 8559 603 41 0 8946 0
vsize: 35948
[startup+190.009 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 2406
Raw data (stat): 2406 (minisat+) R 2405 29151 29150 0 -1 0 9253 0 0 0 18967 33 0 0 25 0 1 0 421532847 39608320 9231 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 9670 9231 603 41 0 9629 0
vsize: 38680
[startup+200.009 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 2406
Raw data (stat): 2406 (minisat+) R 2405 29151 29150 0 -1 0 9965 0 0 0 19965 35 0 0 25 0 1 0 421532847 42590208 9943 4294967295 134512640 134672761 3221224560 3221223728 134561198 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 10398 9943 603 41 0 10357 0
vsize: 41592
[startup+210.009 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 2408
Raw data (stat): 2406 (minisat+) R 2405 29151 29150 0 -1 0 10653 0 0 0 20963 38 0 0 25 0 1 0 421532847 45654016 10631 4294967295 134512640 134672761 3221224560 3221223728 134560903 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11146 10631 603 41 0 11105 0
vsize: 44584
[startup+220.01 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 2408
Raw data (stat): 2406 (minisat+) R 2405 29151 29150 0 -1 0 11371 0 0 0 21962 39 0 0 25 0 1 0 421532847 48476160 11349 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11835 11349 603 41 0 11794 0
vsize: 47340
[startup+230.01 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 2408
Raw data (stat): 2406 (minisat+) R 2405 29151 29150 0 -1 0 11978 0 0 0 22959 42 0 0 25 0 1 0 421532847 51015680 11956 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12455 11956 603 41 0 12414 0
vsize: 49820
[startup+240.01 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 2408
Raw data (stat): 2406 (minisat+) R 2405 29151 29150 0 -1 0 12590 0 0 0 23958 43 0 0 25 0 1 0 421532847 53551104 12568 4294967295 134512640 134672761 3221224560 3221223728 134561188 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 13074 12568 603 41 0 13033 0
vsize: 52296
[startup+250.01 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 2408
Raw data (stat): 2406 (minisat+) R 2405 29151 29150 0 -1 0 13019 0 0 0 24957 45 0 0 25 0 1 0 421532847 55296000 12997 4294967295 134512640 134672761 3221224560 3221223560 1075350517 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 13500 12997 603 41 0 13459 0
vsize: 54000
[startup+260.01 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 2408
Raw data (stat): 2406 (minisat+) R 2405 29151 29150 0 -1 0 13490 0 0 0 25956 46 0 0 25 0 1 0 421532847 57208832 13468 4294967295 134512640 134672761 3221224560 3221223728 134561188 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 13967 13468 603 41 0 13926 0
vsize: 55868
[startup+270.011 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 2408
Raw data (stat): 2406 (minisat+) R 2405 29151 29150 0 -1 0 13946 0 0 0 26954 47 0 0 25 0 1 0 421532847 59092992 13924 4294967295 134512640 134672761 3221224560 3221223728 134561164 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 14427 13924 603 41 0 14386 0
vsize: 57708
[startup+280.011 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 2408
Raw data (stat): 2406 (minisat+) R 2405 29151 29150 0 -1 0 14240 0 0 0 27954 48 0 0 25 0 1 0 421532847 60309504 14218 4294967295 134512640 134672761 3221224560 3221223728 134560956 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 14724 14218 603 41 0 14683 0
vsize: 58896
[startup+290.011 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 2408
Raw data (stat): 2406 (minisat+) R 2405 29151 29150 0 -1 0 14501 0 0 0 28954 48 0 0 25 0 1 0 421532847 61243392 14479 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 14952 14479 603 41 0 14911 0
vsize: 59808
[startup+300.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2408
Raw data (stat): 2406 (minisat+) R 2405 29151 29150 0 -1 0 14760 0 0 0 29954 49 0 0 25 0 1 0 421532847 62308352 14738 4294967295 134512640 134672761 3221224560 3221223516 1075350517 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 15212 14738 603 41 0 15171 0
vsize: 60848
[startup+310.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2408
Raw data (stat): 2406 (minisat+) R 2405 29151 29150 0 -1 0 15014 0 0 0 30952 50 0 0 25 0 1 0 421532847 63377408 14992 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 15473 14992 603 41 0 15432 0
vsize: 61892
[startup+320.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2408
Raw data (stat): 2406 (minisat+) R 2405 29151 29150 0 -1 0 15278 0 0 0 31951 51 0 0 25 0 1 0 421532847 64446464 15256 4294967295 134512640 134672761 3221224560 3221223728 134561229 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 15734 15256 603 41 0 15693 0
vsize: 62936
[startup+330.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2408
Raw data (stat): 2406 (minisat+) R 2405 29151 29150 0 -1 0 15518 0 0 0 32950 52 0 0 25 0 1 0 421532847 65384448 15496 4294967295 134512640 134672761 3221224560 3221223728 134560988 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 15963 15496 603 41 0 15922 0
vsize: 63852
[startup+340.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2408
Raw data (stat): 2406 (minisat+) R 2405 29151 29150 0 -1 0 15780 0 0 0 33949 53 0 0 25 0 1 0 421532847 66441216 15758 4294967295 134512640 134672761 3221224560 3221223728 134560956 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16221 15758 603 41 0 16180 0
vsize: 64884
[startup+350.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2408
Raw data (stat): 2406 (minisat+) R 2405 29151 29150 0 -1 0 16041 0 0 0 34948 54 0 0 25 0 1 0 421532847 67526656 16019 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16486 16019 603 41 0 16445 0
vsize: 65944
[startup+360.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2408
Raw data (stat): 2406 (minisat+) R 2405 29151 29150 0 -1 0 16383 0 0 0 35947 56 0 0 25 0 1 0 421532847 69005312 16361 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16847 16361 603 41 0 16806 0
vsize: 67388
[startup+370.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2408
Raw data (stat): 2406 (minisat+) R 2405 29151 29150 0 -1 0 16718 0 0 0 36946 57 0 0 25 0 1 0 421532847 70356992 16696 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17177 16696 603 41 0 17136 0
vsize: 68708
[startup+380.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2408
Raw data (stat): 2406 (minisat+) R 2405 29151 29150 0 -1 0 17156 0 0 0 37944 58 0 0 25 0 1 0 421532847 72093696 17134 4294967295 134512640 134672761 3221224560 3221223728 134561167 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17601 17134 603 41 0 17560 0
vsize: 70404
[startup+390.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2408
Raw data (stat): 2406 (minisat+) R 2405 29151 29150 0 -1 0 17643 0 0 0 38943 60 0 0 25 0 1 0 421532847 74104832 17621 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18092 17621 603 41 0 18051 0
vsize: 72368
[startup+400.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2408
Raw data (stat): 2406 (minisat+) R 2405 29151 29150 0 -1 0 18133 0 0 0 39942 61 0 0 25 0 1 0 421532847 76124160 18111 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18585 18111 603 41 0 18544 0
vsize: 74340
[startup+410.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2408
Raw data (stat): 2406 (minisat+) R 2405 29151 29150 0 -1 0 18645 0 0 0 40940 63 0 0 25 0 1 0 421532847 78147584 18623 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 19079 18623 603 41 0 19038 0
vsize: 76316
[startup+420.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2408
Raw data (stat): 2406 (minisat+) R 2405 29151 29150 0 -1 0 19117 0 0 0 41939 65 0 0 25 0 1 0 421532847 80158720 19095 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 19570 19095 603 41 0 19529 0
vsize: 78280
[startup+430.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2408
Raw data (stat): 2406 (minisat+) R 2405 29151 29150 0 -1 0 19521 0 0 0 42937 67 0 0 25 0 1 0 421532847 81768448 19499 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 19963 19499 603 41 0 19922 0
vsize: 79852
[startup+440.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2408
Raw data (stat): 2406 (minisat+) R 2405 29151 29150 0 -1 0 19937 0 0 0 43936 68 0 0 25 0 1 0 421532847 83529728 19915 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 20393 19915 603 41 0 20352 0
vsize: 81572
[startup+450.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2408
Raw data (stat): 2406 (minisat+) R 2405 29151 29150 0 -1 0 20290 0 0 0 44935 69 0 0 25 0 1 0 421532847 84881408 20268 4294967295 134512640 134672761 3221224560 3221223728 134561005 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 20723 20268 603 41 0 20682 0
vsize: 82892
[startup+460.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2408
Raw data (stat): 2406 (minisat+) R 2405 29151 29150 0 -1 0 20650 0 0 0 45934 70 0 0 25 0 1 0 421532847 86360064 20628 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21084 20628 603 41 0 21043 0
vsize: 84336
[startup+470.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2408
Raw data (stat): 2406 (minisat+) R 2405 29151 29150 0 -1 0 20995 0 0 0 46934 71 0 0 25 0 1 0 421532847 87851008 20973 4294967295 134512640 134672761 3221224560 3221223728 134561001 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21448 20973 603 41 0 21407 0
vsize: 85792
[startup+480.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2408
Raw data (stat): 2406 (minisat+) R 2405 29151 29150 0 -1 0 21405 0 0 0 47932 73 0 0 25 0 1 0 421532847 89464832 21383 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21842 21383 603 41 0 21801 0
vsize: 87368
[startup+490.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2408
Raw data (stat): 2406 (minisat+) R 2405 29151 29150 0 -1 0 21807 0 0 0 48930 74 0 0 25 0 1 0 421532847 91594752 21785 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 22362 21785 603 41 0 22321 0
vsize: 89448
[startup+500.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2408
Raw data (stat): 2406 (minisat+) R 2405 29151 29150 0 -1 0 22204 0 0 0 49929 76 0 0 25 0 1 0 421532847 93212672 22182 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 22757 22182 603 41 0 22716 0
vsize: 91028
[startup+510.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2408
Raw data (stat): 2406 (minisat+) R 2405 29151 29150 0 -1 0 22622 0 0 0 50928 77 0 0 25 0 1 0 421532847 94957568 22600 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 23183 22600 603 41 0 23142 0
vsize: 92732
[startup+520.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2408
Raw data (stat): 2406 (minisat+) R 2405 29151 29150 0 -1 0 23002 0 0 0 51928 78 0 0 25 0 1 0 421532847 96579584 22980 4294967295 134512640 134672761 3221224560 3221223728 134561011 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 23579 22980 603 41 0 23538 0
vsize: 94316
[startup+530.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2408
Raw data (stat): 2406 (minisat+) R 2405 29151 29150 0 -1 0 23389 0 0 0 52926 79 0 0 25 0 1 0 421532847 98050048 23367 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 23938 23367 603 41 0 23897 0
vsize: 95752
[startup+540.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2408
Raw data (stat): 2406 (minisat+) R 2405 29151 29150 0 -1 0 23696 0 0 0 53926 80 0 0 25 0 1 0 421532847 99381248 23674 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24263 23674 603 41 0 24222 0
vsize: 97052
[startup+550.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2408
Raw data (stat): 2406 (minisat+) R 2405 29151 29150 0 -1 0 24013 0 0 0 54925 81 0 0 25 0 1 0 421532847 100728832 23991 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24592 23991 603 41 0 24551 0
vsize: 98368
[startup+560.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2408
Raw data (stat): 2406 (minisat+) R 2405 29151 29150 0 -1 0 24319 0 0 0 55924 82 0 0 25 0 1 0 421532847 101928960 24297 4294967295 134512640 134672761 3221224560 3221223728 134560895 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24885 24297 603 41 0 24844 0
vsize: 99540
[startup+570.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2408
Raw data (stat): 2406 (minisat+) R 2405 29151 29150 0 -1 0 24663 0 0 0 56924 83 0 0 25 0 1 0 421532847 103395328 24641 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 25243 24641 603 41 0 25202 0
vsize: 100972
[startup+580.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2408
Raw data (stat): 2406 (minisat+) R 2405 29151 29150 0 -1 0 24973 0 0 0 57922 84 0 0 25 0 1 0 421532847 104611840 24951 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 25540 24951 603 41 0 25499 0
vsize: 102160
[startup+590.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2408
Raw data (stat): 2406 (minisat+) R 2405 29151 29150 0 -1 0 25279 0 0 0 58921 85 0 0 25 0 1 0 421532847 105816064 25257 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 25834 25257 603 41 0 25793 0
vsize: 103336
[startup+600.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2408
Raw data (stat): 2406 (minisat+) R 2405 29151 29150 0 -1 0 25604 0 0 0 59921 86 0 0 25 0 1 0 421532847 107192320 25582 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26170 25582 603 41 0 26129 0
vsize: 104680
[startup+610.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2408
Raw data (stat): 2406 (minisat+) R 2405 29151 29150 0 -1 0 25827 0 0 0 60920 87 0 0 25 0 1 0 421532847 108134400 25805 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26400 25805 603 41 0 26359 0
vsize: 105600
[startup+620.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2408
Raw data (stat): 2406 (minisat+) R 2405 29151 29150 0 -1 0 26064 0 0 0 61919 87 0 0 25 0 1 0 421532847 109080576 26042 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26631 26042 603 41 0 26590 0
vsize: 106524
[startup+630.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2408
Raw data (stat): 2406 (minisat+) R 2405 29151 29150 0 -1 0 26177 0 0 0 62919 88 0 0 25 0 1 0 421532847 109559808 26155 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26748 26155 603 41 0 26707 0
vsize: 106992
[startup+640.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2408
Raw data (stat): 2406 (minisat+) R 2405 29151 29150 0 -1 0 26177 0 0 0 63919 88 0 0 25 0 1 0 421532847 109559808 26155 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26748 26155 603 41 0 26707 0
vsize: 106992
[startup+650.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2408
Raw data (stat): 2406 (minisat+) R 2405 29151 29150 0 -1 0 26177 0 0 0 64919 88 0 0 25 0 1 0 421532847 109559808 26155 4294967295 134512640 134672761 3221224560 3221223744 134558890 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26748 26155 603 41 0 26707 0
vsize: 106992
[startup+660.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2408
Raw data (stat): 2406 (minisat+) R 2405 29151 29150 0 -1 0 26177 0 0 0 65919 88 0 0 25 0 1 0 421532847 109559808 26155 4294967295 134512640 134672761 3221224560 3221223728 134560999 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26748 26155 603 41 0 26707 0
vsize: 106992
[startup+670.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2408
Raw data (stat): 2406 (minisat+) R 2405 29151 29150 0 -1 0 26177 0 0 0 66920 88 0 0 25 0 1 0 421532847 109559808 26155 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26748 26155 603 41 0 26707 0
vsize: 106992
[startup+680.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2408
Raw data (stat): 2406 (minisat+) R 2405 29151 29150 0 -1 0 26177 0 0 0 67920 88 0 0 25 0 1 0 421532847 109559808 26155 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26748 26155 603 41 0 26707 0
vsize: 106992
[startup+690.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2408
Raw data (stat): 2406 (minisat+) R 2405 29151 29150 0 -1 0 26177 0 0 0 68920 88 0 0 25 0 1 0 421532847 109559808 26155 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26748 26155 603 41 0 26707 0
vsize: 106992
[startup+700.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2408
Raw data (stat): 2406 (minisat+) R 2405 29151 29150 0 -1 0 26177 0 0 0 69920 88 0 0 25 0 1 0 421532847 109559808 26155 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26748 26155 603 41 0 26707 0
vsize: 106992
[startup+710.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2408
Raw data (stat): 2406 (minisat+) R 2405 29151 29150 0 -1 0 26177 0 0 0 70920 88 0 0 25 0 1 0 421532847 109559808 26155 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26748 26155 603 41 0 26707 0
vsize: 106992
[startup+720.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2408
Raw data (stat): 2406 (minisat+) R 2405 29151 29150 0 -1 0 26177 0 0 0 71921 88 0 0 25 0 1 0 421532847 109559808 26155 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26748 26155 603 41 0 26707 0
vsize: 106992
[startup+730.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2408
Raw data (stat): 2406 (minisat+) R 2405 29151 29150 0 -1 0 26177 0 0 0 72921 88 0 0 25 0 1 0 421532847 109559808 26155 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26748 26155 603 41 0 26707 0
vsize: 106992
[startup+740.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2408
Raw data (stat): 2406 (minisat+) R 2405 29151 29150 0 -1 0 26177 0 0 0 73921 88 0 0 25 0 1 0 421532847 109559808 26155 4294967295 134512640 134672761 3221224560 3221223728 134561151 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26748 26155 603 41 0 26707 0
vsize: 106992
[startup+750.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2408
Raw data (stat): 2406 (minisat+) R 2405 29151 29150 0 -1 0 26177 0 0 0 74921 88 0 0 25 0 1 0 421532847 109559808 26155 4294967295 134512640 134672761 3221224560 3221223728 134560929 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26748 26155 603 41 0 26707 0
vsize: 106992
[startup+760.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2408
Raw data (stat): 2406 (minisat+) R 2405 29151 29150 0 -1 0 26177 0 0 0 75921 88 0 0 25 0 1 0 421532847 109559808 26155 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26748 26155 603 41 0 26707 0
vsize: 106992
[startup+770.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2408
Raw data (stat): 2406 (minisat+) R 2405 29151 29150 0 -1 0 26177 0 0 0 76922 88 0 0 25 0 1 0 421532847 109559808 26155 4294967295 134512640 134672761 3221224560 3221223728 134561164 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26748 26155 603 41 0 26707 0
vsize: 106992
[startup+780.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2408
Raw data (stat): 2406 (minisat+) R 2405 29151 29150 0 -1 0 26177 0 0 0 77922 88 0 0 25 0 1 0 421532847 109559808 26155 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26748 26155 603 41 0 26707 0
vsize: 106992
[startup+790.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2408
Raw data (stat): 2406 (minisat+) R 2405 29151 29150 0 -1 0 26177 0 0 0 78922 88 0 0 25 0 1 0 421532847 109559808 26155 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26748 26155 603 41 0 26707 0
vsize: 106992
[startup+800.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2408
Raw data (stat): 2406 (minisat+) R 2405 29151 29150 0 -1 0 26177 0 0 0 79922 88 0 0 25 0 1 0 421532847 109559808 26155 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26748 26155 603 41 0 26707 0
vsize: 106992
[startup+810.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2408
Raw data (stat): 2406 (minisat+) R 2405 29151 29150 0 -1 0 26177 0 0 0 80922 88 0 0 25 0 1 0 421532847 109559808 26155 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26748 26155 603 41 0 26707 0
vsize: 106992
[startup+820.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2408
Raw data (stat): 2406 (minisat+) R 2405 29151 29150 0 -1 0 26177 0 0 0 81923 88 0 0 25 0 1 0 421532847 109559808 26155 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26748 26155 603 41 0 26707 0
vsize: 106992
[startup+830.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2408
Raw data (stat): 2406 (minisat+) R 2405 29151 29150 0 -1 0 26177 0 0 0 82923 88 0 0 25 0 1 0 421532847 109559808 26155 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26748 26155 603 41 0 26707 0
vsize: 106992
[startup+840.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2408
Raw data (stat): 2406 (minisat+) R 2405 29151 29150 0 -1 0 26177 0 0 0 83923 88 0 0 25 0 1 0 421532847 109559808 26155 4294967295 134512640 134672761 3221224560 3221223728 134560852 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26748 26155 603 41 0 26707 0
vsize: 106992
[startup+850.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2408
Raw data (stat): 2406 (minisat+) R 2405 29151 29150 0 -1 0 26177 0 0 0 84922 88 0 0 25 0 1 0 421532847 109559808 26155 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26748 26155 603 41 0 26707 0
vsize: 106992
[startup+860.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2408
Raw data (stat): 2406 (minisat+) R 2405 29151 29150 0 -1 0 26177 0 0 0 85922 88 0 0 25 0 1 0 421532847 109559808 26155 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26748 26155 603 41 0 26707 0
vsize: 106992
[startup+870.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2408
Raw data (stat): 2406 (minisat+) R 2405 29151 29150 0 -1 0 26177 0 0 0 86922 88 0 0 25 0 1 0 421532847 109559808 26155 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26748 26155 603 41 0 26707 0
vsize: 106992
[startup+880.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2408
Raw data (stat): 2406 (minisat+) R 2405 29151 29150 0 -1 0 26177 0 0 0 87922 88 0 0 25 0 1 0 421532847 109559808 26155 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26748 26155 603 41 0 26707 0
vsize: 106992
[startup+890.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2408
Raw data (stat): 2406 (minisat+) R 2405 29151 29150 0 -1 0 26177 0 0 0 88922 88 0 0 25 0 1 0 421532847 109559808 26155 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26748 26155 603 41 0 26707 0
vsize: 106992
[startup+900.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2408
Raw data (stat): 2406 (minisat+) R 2405 29151 29150 0 -1 0 26177 0 0 0 89923 88 0 0 25 0 1 0 421532847 109559808 26155 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26748 26155 603 41 0 26707 0
vsize: 106992
[startup+910.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2408
Raw data (stat): 2406 (minisat+) R 2405 29151 29150 0 -1 0 26177 0 0 0 90923 88 0 0 25 0 1 0 421532847 109559808 26155 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26748 26155 603 41 0 26707 0
vsize: 106992
[startup+920.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2408
Raw data (stat): 2406 (minisat+) R 2405 29151 29150 0 -1 0 26177 0 0 0 91923 88 0 0 25 0 1 0 421532847 109559808 26155 4294967295 134512640 134672761 3221224560 3221223760 134557809 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26748 26155 603 41 0 26707 0
vsize: 106992
[startup+930.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2408
Raw data (stat): 2406 (minisat+) R 2405 29151 29150 0 -1 0 26177 0 0 0 92923 88 0 0 25 0 1 0 421532847 109559808 26155 4294967295 134512640 134672761 3221224560 3221223728 134560948 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26748 26155 603 41 0 26707 0
vsize: 106992
[startup+940.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2408
Raw data (stat): 2406 (minisat+) R 2405 29151 29150 0 -1 0 26177 0 0 0 93923 88 0 0 25 0 1 0 421532847 109559808 26155 4294967295 134512640 134672761 3221224560 3221223664 134560160 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26748 26155 603 41 0 26707 0
vsize: 106992
[startup+950.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2408
Raw data (stat): 2406 (minisat+) R 2405 29151 29150 0 -1 0 26177 0 0 0 94923 88 0 0 25 0 1 0 421532847 109559808 26155 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26748 26155 603 41 0 26707 0
vsize: 106992
[startup+960.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2408
Raw data (stat): 2406 (minisat+) R 2405 29151 29150 0 -1 0 26177 0 0 0 95924 88 0 0 25 0 1 0 421532847 109559808 26155 4294967295 134512640 134672761 3221224560 3221223728 134560903 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26748 26155 603 41 0 26707 0
vsize: 106992
[startup+970.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2408
Raw data (stat): 2406 (minisat+) R 2405 29151 29150 0 -1 0 26177 0 0 0 96924 88 0 0 25 0 1 0 421532847 109559808 26155 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26748 26155 603 41 0 26707 0
vsize: 106992
[startup+980.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2408
Raw data (stat): 2406 (minisat+) R 2405 29151 29150 0 -1 0 26177 0 0 0 97924 88 0 0 25 0 1 0 421532847 109559808 26155 4294967295 134512640 134672761 3221224560 3221223664 134560128 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26748 26155 603 41 0 26707 0
vsize: 106992
[startup+990.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2408
Raw data (stat): 2406 (minisat+) R 2405 29151 29150 0 -1 0 26177 0 0 0 98924 88 0 0 25 0 1 0 421532847 109559808 26155 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26748 26155 603 41 0 26707 0
vsize: 106992
[startup+1000.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2408
Raw data (stat): 2406 (minisat+) R 2405 29151 29150 0 -1 0 26177 0 0 0 99924 88 0 0 25 0 1 0 421532847 109559808 26155 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26748 26155 603 41 0 26707 0
vsize: 106992
[startup+1010.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2408
Raw data (stat): 2406 (minisat+) R 2405 29151 29150 0 -1 0 26177 0 0 0 100925 88 0 0 25 0 1 0 421532847 109559808 26155 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26748 26155 603 41 0 26707 0
vsize: 106992
[startup+1020.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2408
Raw data (stat): 2406 (minisat+) R 2405 29151 29150 0 -1 0 26177 0 0 0 101925 88 0 0 25 0 1 0 421532847 109559808 26155 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26748 26155 603 41 0 26707 0
vsize: 106992
[startup+1030.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2408
Raw data (stat): 2406 (minisat+) R 2405 29151 29150 0 -1 0 26177 0 0 0 102925 88 0 0 25 0 1 0 421532847 109559808 26155 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26748 26155 603 41 0 26707 0
vsize: 106992
[startup+1040.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2408
Raw data (stat): 2406 (minisat+) R 2405 29151 29150 0 -1 0 26177 0 0 0 103925 88 0 0 25 0 1 0 421532847 109559808 26155 4294967295 134512640 134672761 3221224560 3221223664 134554629 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26748 26155 603 41 0 26707 0
vsize: 106992
[startup+1050.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2408
Raw data (stat): 2406 (minisat+) R 2405 29151 29150 0 -1 0 26177 0 0 0 104925 89 0 0 25 0 1 0 421532847 109559808 26155 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26748 26155 603 41 0 26707 0
vsize: 106992
[startup+1060.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2408
Raw data (stat): 2406 (minisat+) R 2405 29151 29150 0 -1 0 26177 0 0 0 105925 89 0 0 25 0 1 0 421532847 109559808 26155 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26748 26155 603 41 0 26707 0
vsize: 106992
[startup+1070.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2408
Raw data (stat): 2406 (minisat+) R 2405 29151 29150 0 -1 0 26177 0 0 0 106925 89 0 0 25 0 1 0 421532847 109559808 26155 4294967295 134512640 134672761 3221224560 3221223696 134560566 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26748 26155 603 41 0 26707 0
vsize: 106992
[startup+1080.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2408
Raw data (stat): 2406 (minisat+) R 2405 29151 29150 0 -1 0 26177 0 0 0 107925 89 0 0 25 0 1 0 421532847 109559808 26155 4294967295 134512640 134672761 3221224560 3221223728 134561229 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26748 26155 603 41 0 26707 0
vsize: 106992
[startup+1090.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2408
Raw data (stat): 2406 (minisat+) R 2405 29151 29150 0 -1 0 26177 0 0 0 108925 89 0 0 25 0 1 0 421532847 109559808 26155 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26748 26155 603 41 0 26707 0
vsize: 106992
[startup+1100.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2408
Raw data (stat): 2406 (minisat+) R 2405 29151 29150 0 -1 0 26177 0 0 0 109925 89 0 0 25 0 1 0 421532847 109559808 26155 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26748 26155 603 41 0 26707 0
vsize: 106992
[startup+1110.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2408
Raw data (stat): 2406 (minisat+) R 2405 29151 29150 0 -1 0 26177 0 0 0 110926 89 0 0 25 0 1 0 421532847 109559808 26155 4294967295 134512640 134672761 3221224560 3221223728 134561005 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26748 26155 603 41 0 26707 0
vsize: 106992
[startup+1120.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2408
Raw data (stat): 2406 (minisat+) R 2405 29151 29150 0 -1 0 26177 0 0 0 111926 89 0 0 25 0 1 0 421532847 109559808 26155 4294967295 134512640 134672761 3221224560 3221223728 134561215 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26748 26155 603 41 0 26707 0
vsize: 106992
[startup+1130.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2408
Raw data (stat): 2406 (minisat+) R 2405 29151 29150 0 -1 0 26177 0 0 0 112926 89 0 0 25 0 1 0 421532847 109559808 26155 4294967295 134512640 134672761 3221224560 3221223728 134560937 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26748 26155 603 41 0 26707 0
vsize: 106992
[startup+1140.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2408
Raw data (stat): 2406 (minisat+) R 2405 29151 29150 0 -1 0 26177 0 0 0 113926 89 0 0 25 0 1 0 421532847 109559808 26155 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26748 26155 603 41 0 26707 0
vsize: 106992
[startup+1150.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2408
Raw data (stat): 2406 (minisat+) R 2405 29151 29150 0 -1 0 26177 0 0 0 114926 89 0 0 25 0 1 0 421532847 109559808 26155 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26748 26155 603 41 0 26707 0
vsize: 106992
[startup+1160.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2408
Raw data (stat): 2406 (minisat+) R 2405 29151 29150 0 -1 0 26177 0 0 0 115926 89 0 0 25 0 1 0 421532847 109559808 26155 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26748 26155 603 41 0 26707 0
vsize: 106992
[startup+1170.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2408
Raw data (stat): 2406 (minisat+) R 2405 29151 29150 0 -1 0 26177 0 0 0 116927 89 0 0 25 0 1 0 421532847 109559808 26155 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26748 26155 603 41 0 26707 0
vsize: 106992
[startup+1180.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2408
Raw data (stat): 2406 (minisat+) R 2405 29151 29150 0 -1 0 26177 0 0 0 117927 89 0 0 25 0 1 0 421532847 109559808 26155 4294967295 134512640 134672761 3221224560 3221223728 134560833 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26748 26155 603 41 0 26707 0
vsize: 106992
[startup+1190.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2408
Raw data (stat): 2406 (minisat+) R 2405 29151 29150 0 -1 0 26177 0 0 0 118927 89 0 0 25 0 1 0 421532847 109559808 26155 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26748 26155 603 41 0 26707 0
vsize: 106992
[startup+1200.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2408
Raw data (stat): 2406 (minisat+) R 2405 29151 29150 0 -1 0 26177 0 0 0 119927 89 0 0 25 0 1 0 421532847 109559808 26155 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26748 26155 603 41 0 26707 0
vsize: 106992
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.09 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 2408
Raw data (stat): 2406 (minisat+) Z 2405 29151 29150 0 -1 12 26180 0 0 0 119927 94 0 0 25 0 1 0 421532847 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.09
CPU time (s): 1200.22
CPU user time (s): 1199.28
CPU system time (s): 0.943856
CPU usage (%): 100.011
Max. virtual memory (Kb): 106992
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####