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/frb56-25-opb/normalized-frb56-25-4.opb
MD5SUM	e21d47f954166f353681a275b560afba
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-41
Optimality of the best value was proved	NO
Number of terms in the objective function	1400
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	1400
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	1400
Number of bits of the biggest sum of numbers	11
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.12
Number of variables	1400
Total number of constraints	110038
Number of constraints which are clauses	110038
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 5264

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        904068 kB
Buffers:         34564 kB
Cached:          75748 kB
SwapCached:        392 kB
Active:          55736 kB
Inactive:        57800 kB
HighTotal:      131008 kB
HighFree:        51352 kB
LowTotal:       903652 kB
LowFree:        852716 kB
SwapTotal:     2097136 kB
SwapFree:      2096744 kB
Dirty:              32 kB
Writeback:           0 kB
Mapped:           6928 kB
Slab:            11304 kB
Committed_AS:    63448 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-13 23:25:21 (client local time) WITH STATUS 10 IN 1200.23 SECONDS
stats: 3731 7 1200.23 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Parsing PB file...
c Converting 110038 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 |  110038   220076 |   36679       0        0     nan |  0.000 % |
c ==============================================================================
c [1mFound solution: -41[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Adder-cost: 2772   maxlim: 41   bits: 7/6
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |         0 |  129210   288591 |   43070       0        0     nan |  0.000 % |
c |       100 |  129201   288560 |   47377      98      990    10.1 |  0.096 % |
c |       250 |  129192   288529 |   52114     246     3206    13.0 |  0.122 % |
c |       475 |  129192   288529 |   57326     471     5043    10.7 |  0.120 % |
c |       812 |  129174   288467 |   63058     799     9315    11.7 |  0.170 % |
c |      1318 |  129147   288374 |   69364    1296    15952    12.3 |  0.241 % |
c |      2077 |  129129   288312 |   76301    2051    25280    12.3 |  0.289 % |
c |      3216 |  129027   287962 |   83931    3168    37753    11.9 |  0.578 % |
c |      4924 |  128752   287017 |   92324    4795    60444    12.6 |  1.372 % |
c |      7486 |  128294   285443 |  101556    7235   102710    14.2 |  2.769 % |
c |     11330 |  127577   282980 |  111712   10861   179160    16.5 |  5.150 % |
c |     17096 |  126863   280530 |  122883   16384   345171    21.1 |  7.680 % |
c |     25746 |  125068   274349 |  135172   24190   696444    28.8 | 14.392 % |
c |     38721 |  123890   270277 |  148689   36395  1446032    39.7 | 19.230 % |
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 |     38939 |  123895   270297 |   41298   36613  1464696    40.0 | 19.230 % |
c |     39039 |  123847   270131 |   45427   36700  1467015    40.0 | 19.461 % |
c |     39189 |  123847   270131 |   49970   36850  1477116    40.1 | 19.461 % |
c |     39414 |  123847   270131 |   54967   37075  1484207    40.0 | 19.461 % |
c |     39751 |  123847   270131 |   60464   37412  1509705    40.4 | 19.461 % |
c |     40257 |  123841   270111 |   66510   37915  1529688    40.3 | 19.487 % |
c |     41016 |  123676   269540 |   73161   38597  1573624    40.8 | 20.231 % |
c |     42156 |  123614   269324 |   80478   39717  1629032    41.0 | 20.496 % |
c |     43864 |  123476   268848 |   88525   41310  1755604    42.5 | 21.049 % |
c |     46428 |  123407   268613 |   97378   43745  1928602    44.1 | 21.338 % |
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 |     50115 |  123300   268239 |   41100   47363  2280915    48.2 | 21.338 % |
c |     50215 |  123300   268239 |   45210   19154   925129    48.3 | 21.886 % |
c |     50365 |  123300   268239 |   49731   19304   933518    48.4 | 21.886 % |
c |     50591 |  123300   268239 |   54704   19530   948297    48.6 | 21.886 % |
c |     50928 |  123240   268031 |   60174   19852   961304    48.4 | 22.126 % |
c |     51435 |  123240   268031 |   66191   20359  1010688    49.6 | 22.126 % |
c |     52196 |  123213   267940 |   72811   21109  1062367    50.3 | 22.222 % |
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 |     52751 |  123176   267812 |   41058   21656  1102327    50.9 | 22.222 % |
c |     52852 |  123176   267812 |   45163   21757  1108703    51.0 | 22.457 % |
c |     53003 |  123125   267633 |   49680   21901  1119188    51.1 | 22.699 % |
c |     53231 |  122933   266963 |   54648   22064  1124484    51.0 | 23.491 % |
c |     53568 |  122916   266904 |   60113   22396  1137701    50.8 | 23.563 % |
c |     54074 |  122916   266904 |   66124   22902  1179420    51.5 | 23.565 % |
c |     54834 |  122910   266884 |   72736   23636  1225718    51.9 | 23.587 % |
c |     55974 |  122864   266724 |   80010   24735  1306432    52.8 | 23.757 % |
c |     57683 |  122855   266693 |   88011   26429  1417011    53.6 | 23.781 % |
c |     60248 |  122786   266454 |   96812   28937  1561100    53.9 | 24.046 % |
c |     64092 |  122786   266454 |  106493   32781  2150036    65.6 | 24.044 % |
c |     69858 |  122620   265876 |  117143   38482  2528840    65.7 | 24.815 % |
c |     78507 |  122471   265361 |  128857   46986  3481217    74.1 | 25.416 % |
c |     91481 |  122129   264185 |  141743   59449  4793072    80.6 | 26.857 % |
c |    110943 |  122107   264107 |  155917   78903  9791909   124.1 | 26.954 % |
c |    140135 |  122058   263934 |  171509  108073 17341358   160.5 | 27.195 % |
c |    183924 |  121975   263643 |  188660  151783 26300342   173.3 | 27.580 % |
c |    249609 |  121944   263536 |  207526   43892 10852781   247.3 | 27.725 % |
c 
c *** TERMINATED ***
s SATISFIABLE
v -C1400 -C1399 -C1398 -C1397 -C1396 -C1395 -C1394 -C1393 -C1392 -C1391 -C1390 -C1389 -C1388 -C1387 -C1386 C1385 -C1384 -C1383 -C1382 -C1381 -C1380 -C1379 -C1378 -C1377 -C1376 -C1375 -C1374 -C1373 -C1372 -C1371 -C1370 -C1369 -C1368 -C1367 -C1366 -C1365 -C1364 -C1363 -C1362 -C1361 -C1360 -C1359 -C1358 -C1357 -C1356 -C1355 -C1354 -C1353 C1352 -C1351 -C1350 -C1349 -C1348 -C1347 -C1346 -C1345 -C1344 -C1343 -C1342 -C1341 -C1340 -C1339 -C1338 -C1337 -C1336 -C1335 -C1334 -C1333 -C1332 -C1331 -C1330 -C1329 -C1328 -C1327 -C1326 -C1325 C1324 -C1323 -C1322 -C1321 -C1320 -C1319 -C1318 -C1317 -C1316 -C1315 -C1314 -C1313 -C1312 -C1311 -C1310 -C1309 -C1308 -C1307 -C1306 -C1305 -C1304 -C1303 -C1302 -C1301 -C1300 -C1299 -C1298 -C1297 -C1296 -C1295 -C1294 -C1293 -C1292 -C1291 -C1290 -C1289 -C1288 -C1287 -C1286 -C1285 -C1284 -C1283 -C1282 -C1281 -C1280 -C1279 -C1278 -C1277 C1276 C1275 -C1274 -C1273 -C1272 -C1271 -C1270 -C1269 -C1268 -C1267 -C1266 -C1265 -C1264 -C1263 -C1262 -C1261 -C1260 -C1259 -C1258 -C1257 -C1256 -C1255 -C1254 -C1253 -C1252 -C1251 -C1250 -C1249 -C1248 -C1247 -C1246 -C1245 -C1244 -C1243 -C1242 -C1241 -C1240 -C1239 -C1238 -C1237 -C1236 -C1235 -C1234 -C1233 -C1232 -C1231 -C1230 -C1229 -C1228 -C1227 -C1226 -C1225 -C1224 -C1223 -C1222 -C1221 -C1220 -C1219 -C1218 -C1217 -C1216 -C1215 -C1214 -C1213 -C1212 -C1211 -C1210 -C1209 -C1208 -C1207 -C1206 -C1205 -C1204 -C1203 -C1202 -C1201 -C1200 -C1199 -C1198 C1197 -C1196 -C1195 -C1194 -C1193 -C1192 -C1191 -C1190 -C1189 -C1188 -C1187 -C1186 -C1185 -C1184 -C1183 -C1182 -C1181 -C1180 -C1179 -C1178 -C1177 -C1176 -C1175 -C1174 -C1173 -C1172 -C1171 -C1170 -C1169 -C1168 -C1167 -C1166 -C1165 -C1164 -C1163 -C1162 -C1161 -C1160 -C1159 -C1158 -C1157 -C1156 -C1155 -C1154 -C1153 -C1152 -C1151 -C1150 -C1149 -C1148 -C1147 -C1146 -C1145 -C1144 -C1143 -C1142 -C1141 -C1140 -C1139 -C1138 -C1137 -C1136 -C1135 -C1134 -C1133 -C1132 -C1131 -C1130 C1129 -C1128 -C1127 -C1126 -C1125 -C1124 -C1123 -C1122 -C1121 -C1120 -C1119 -C1118 -C1117 -C1116 -C1115 C1114 -C1113 -C1112 -C1111 -C1110 -C1109 -C1108 -C1107 -C1106 -C1105 -C1104 -C1103 -C1102 -C1101 -C1100 -C1099 -C1098 -C1097 -C1096 -C1095 -C1094 -C1093 -C1092 -C1091 -C1090 -C1089 -C1088 -C1087 -C1086 -C1085 -C1084 -C1083 -C1082 -C1081 -C1080 -C1079 -C1078 -C1077 -C1076 -C1075 -C1074 -C1073 -C1072 -C1071 -C1070 -C1069 -C1068 -C1067 -C1066 C1065 -C1064 -C1063 -C1062 -C1061 -C1060 -C1059 -C1058 -C1057 -C1056 -C1055 -C1054 -C1053 -C1052 -C1051 -C1050 -C1049 -C1048 -C1047 -C1046 -C1045 -C1044 -C1043 -C1042 -C1041 -C1040 -C1039 -C1038 -C1037 -C1036 -C1035 -C1034 -C1033 -C1032 -C1031 -C1030 -C1029 -C1028 -C1027 -C1026 -C1025 -C1024 -C1023 -C1022 -C1021 -C1020 -C1019 -C1018 -C1017 -C1016 -C1015 C1014 -C1013 -C1012 -C1011 -C1010 -C1009 -C1008 -C1007 -C1006 -C1005 -C1004 -C1003 -C1002 -C1001 -C1000 C999 -C998 -C997 -C996 -C995 -C994 -C993 -C992 -C991 -C990 -C989 -C988 -C987 -C986 -C985 -C984 -C983 -C982 -C981 -C980 -C979 -C978 -C977 -C976 C975 -C974 -C973 -C972 -C971 -C970 -C969 -C968 -C967 -C966 -C965 -C964 -C963 -C962 -C961 -C960 -C959 -C958 -C957 -C956 -C955 -C954 -C953 -C952 -C951 -C950 -C949 -C948 -C947 -C946 -C945 -C944 -C943 -C942 -C941 -C940 -C939 -C938 -C937 -C936 -C935 -C934 C933 -C932 -C931 -C930 -C929 -C928 -C927 -C926 -C925 -C924 -C923 -C922 -C921 -C920 -C919 -C918 -C917 -C916 -C915 -C914 -C913 -C912 -C911 -C910 -C909 -C908 -C907 -C906 -C905 -C904 -C903 C902 -C901 -C900 -C899 -C898 -C897 -C896 -C895 -C894 -C893 -C892 -C891 -C890 -C889 -C888 -C887 -C886 C885 -C884 -C883 -C882 -C881 -C880 -C879 -C878 -C877 -C876 -C875 -C874 -C873 -C872 -C871 -C870 -C869 -C868 -C867 -C866 -C865 -C864 -C863 -C862 -C861 -C860 -C859 C858 -C857 -C856 -C855 -C854 -C853 -C852 -C851 -C850 -C849 -C848 -C847 -C846 -C845 -C844 -C843 -C842 -C841 -C840 -C839 -C838 -C837 -C836 -C835 -C834 -C833 -C832 -C831 -C830 -C829 -C828 -C827 -C826 -C825 -C824 -C823 -C822 -C821 -C820 -C819 -C818 -C817 -C816 -C815 -C814 -C813 -C812 -C811 -C810 C809 -C808 -C807 -C806 -C805 -C804 -C803 -C802 -C801 -C800 -C799 -C798 -C797 C796 -C795 -C794 -C793 -C792 -C791 -C790 -C789 -C788 -C787 -C786 -C785 -C784 -C783 -C782 -C781 -C780 -C779 -C778 -C777 -C776 -C775 -C774 -C773 -C772 -C771 -C770 -C769 -C768 -C767 -C766 -C765 -C764 -C763 -C762 -C761 -C760 -C759 C758 -C757 -C756 -C755 -C754 -C753 -C752 -C751 -C750 -C749 -C748 -C747 -C746 -C745 -C744 -C743 -C742 -C741 -C740 -C739 -C738 -C737 -C736 C735 -C734 -C733 -C732 -C731 -C730 -C729 -C728 -C727 -C726 -C725 -C724 -C723 -C722 -C721 -C720 -C719 -C718 -C717 -C716 C715 -C714 -C713 -C712 -C711 -C710 -C709 -C708 -C707 -C706 -C705 -C704 -C703 -C702 -C701 -C700 -C699 -C698 -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 -C638 -C637 -C636 -C635 -C634 -C633 -C632 -C631 -C630 -C629 -C628 -C627 -C626 -C625 -C624 -C623 -C622 -C621 -C620 -C619 -C618 -C617 -C616 -C615 -C614 -C613 -C612 -C611 -C610 -C609 -C608 -C607 -C606 C605 -C604 -C603 -C602 -C601 -C600 -C599 -C598 -C597 -C596 -C595 -C594 -C593 -C592 -C591 -C590 -C589 -C588 -C587 -C586 -C585 -C584 C583 -C582 -C581 -C580 -C579 -C578 -C577 -C576 -C575 -C574 -C573 C572 -C571 -C570 -C569 -C568 -C567 -C566 -C565 -C564 -C563 -C562 -C561 -C560 -C559 -C558 -C557 -C556 -C555 -C554 -C553 -C552 -C551 -C550 -C549 -C548 -C547 C546 -C545 -C544 -C543 -C542 -C541 -C540 -C539 -C538 -C537 -C536 -C535 -C534 -C533 -C532 -C531 -C530 -C529 -C528 -C527 -C526 -C525 -C524 -C523 -C522 -C521 -C520 -C519 -C518 -C517 -C516 -C515 -C514 -C513 C512 -C511 -C510 -C509 -C508 -C507 -C506 -C505 -C504 -C503 -C502 -C501 -C500 -C499 C498 -C497 -C496 -C495 -C494 -C493 -C492 -C491 -C490 -C489 -C488 -C487 -C486 -C485 -C484 -C483 -C482 -C481 -C480 -C479 -C478 -C477 -C476 -C475 -C474 -C473 -C472 C471 -C470 -C469 -C468 -C467 -C466 -C465 -C464 -C463 -C462 -C461 -C460 -C459 -C458 -C457 -C456 -C455 -C454 -C453 -C452 -C451 -C450 -C449 -C448 -C447 -C446 -C445 -C444 -C443 -C442 -C441 -C440 -C439 -C438 -C437 -C436 -C435 -C434 -C433 -C432 -C431 -C430 -C429 -C428 -C427 -C426 -C425 -C424 -C423 -C422 -C421 -C420 -C419 -C418 -C417 -C416 -C415 -C414 -C413 -C412 C411 -C410 -C409 -C408 -C407 -C406 -C405 -C404 -C403 -C402 -C401 -C400 -C399 -C398 -C397 -C396 -C395 -C394 -C393 -C392 -C391 -C390 -C389 -C388 -C387 -C386 -C385 -C384 -C383 -C382 -C381 -C380 -C379 -C378 -C377 -C376 -C375 -C374 -C373 -C372 -C371 -C370 -C369 -C368 -C367 -C366 -C365 -C364 -C363 -C362 -C361 -C360 -C359 -C358 -C357 -C356 -C355 -C354 -C353 -C352 -C351 -C350 -C349 -C348 -C347 -C346 -C345 -C344 -C343 -C342 -C341 -C340 -C339 -C338 -C337 -C336 -C335 -C334 -C333 -C332 -C331 -C330 C329 -C328 -C327 -C326 -C325 -C324 -C323 -C322 -C321 C320 -C319 -C318 -C317 -C316 -C315 -C314 -C313 -C312 -C311 -C310 -C309 -C308 -C307 -C306 -C305 -C304 -C303 -C302 -C301 C300 -C299 -C298 -C297 -C296 -C295 -C294 -C293 -C292 -C291 -C290 -C289 -C288 -C287 -C286 -C285 -C284 -C283 -C282 -C281 -C280 -C279 -C278 -C277 -C276 -C275 -C274 -C273 -C272 C271 -C270 -C269 -C268 -C267 -C266 -C265 -C264 -C263 -C262 -C261 -C260 -C259 -C258 -C257 -C256 -C255 -C254 -C253 -C252 -C251 -C250 -C249 -C248 -C247 -C246 -C245 -C244 -C243 -C242 -C241 -C240 -C239 -C238 -C237 -C236 -C235 -C234 -C233 -C232 -C231 -C230 -C229 -C228 -C227 -C226 -C225 -C224 -C223 -C222 -C221 -C220 -C219 -C218 -C217 -C216 -C215 -C214 -C213 -C212 -C211 -C210 -C209 -C208 C207 -C206 -C205 -C204 -C203 -C202 -C201 -C200 -C199 -C198 -C197 -C196 -C195 -C194 -C193 -C192 -C191 -C190 -C189 -C188 -C187 -C186 -C185 -C184 -C183 -C182 -C181 -C180 -C179 -C178 C177 -C176 -C175 C174 -C173 -C172 -C171 -C170 -C169 -C168 -C167 -C166 -C165 -C164 -C163 -C162 -C161 -C160 -C159 -C158 -C157 -C156 -C155 -C154 -C153 -C152 -C151 -C150 -C149 -C148 -C147 -C146 -C145 -C144 -C143 -C142 -C141 -C140 -C139 -C138 -C137 -C136 -C135 -C134 -C133 -C132 -C131 -C130 -C129 -C128 C127 -C126 -C125 -C124 C123 -C122 -C121 -C120 -C119 -C118 -C117 -C116 -C115 -C114 -C113 -C112 -C111 -C110 -C109 -C108 -C107 -C106 -C105 -C104 -C103 -C1#### 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.97 0.92 2/54 3510
Raw data (stat): 3510 (runsolver) R 3509 30701 30700 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 421555787 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+9.99951 s]
Raw data (loadavg): 0.87 0.97 0.92 2/54 3510
Raw data (stat): 3510 (minisat+) R 3509 30701 30700 0 -1 0 5196 0 0 0 983 15 0 0 25 0 1 0 421555787 22921216 5174 4294967295 134512640 134672761 3221224560 3221223732 134556598 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 5596 5174 603 41 0 5555 0
vsize: 22384
[startup+20.0004 s]
Raw data (loadavg): 0.89 0.97 0.92 2/54 3510
Raw data (stat): 3510 (minisat+) R 3509 30701 30700 0 -1 0 5196 0 0 0 1982 15 0 0 25 0 1 0 421555787 22921216 5174 4294967295 134512640 134672761 3221224560 3221223732 134556634 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 5596 5174 603 41 0 5555 0
vsize: 22384
[startup+30.0011 s]
Raw data (loadavg): 0.91 0.97 0.92 2/54 3510
Raw data (stat): 3510 (minisat+) R 3509 30701 30700 0 -1 0 5196 0 0 0 2982 15 0 0 25 0 1 0 421555787 22921216 5174 4294967295 134512640 134672761 3221224560 3221223732 134556634 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 5596 5174 603 41 0 5555 0
vsize: 22384
[startup+40.0017 s]
Raw data (loadavg): 0.92 0.97 0.92 2/54 3510
Raw data (stat): 3510 (minisat+) R 3509 30701 30700 0 -1 0 5196 0 0 0 3982 15 0 0 25 0 1 0 421555787 22921216 5174 4294967295 134512640 134672761 3221224560 3221223732 134556660 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 5596 5174 603 41 0 5555 0
vsize: 22384
[startup+50.0024 s]
Raw data (loadavg): 0.93 0.97 0.92 2/54 3510
Raw data (stat): 3510 (minisat+) R 3509 30701 30700 0 -1 0 5196 0 0 0 4982 16 0 0 25 0 1 0 421555787 22921216 5174 4294967295 134512640 134672761 3221224560 3221223764 134561964 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 5596 5174 603 41 0 5555 0
vsize: 22384
[startup+60.002 s]
Raw data (loadavg): 0.94 0.97 0.92 2/54 3510
Raw data (stat): 3510 (minisat+) R 3509 30701 30700 0 -1 0 5196 0 0 0 5982 16 0 0 25 0 1 0 421555787 22921216 5174 4294967295 134512640 134672761 3221224560 3221223664 134560224 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 5596 5174 603 41 0 5555 0
vsize: 22384
[startup+70.0025 s]
Raw data (loadavg): 0.95 0.97 0.92 2/54 3510
Raw data (stat): 3510 (minisat+) R 3509 30701 30700 0 -1 0 5196 0 0 0 6982 16 0 0 25 0 1 0 421555787 22921216 5174 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 5596 5174 603 41 0 5555 0
vsize: 22384
[startup+80.0035 s]
Raw data (loadavg): 0.96 0.97 0.92 2/54 3510
Raw data (stat): 3510 (minisat+) R 3509 30701 30700 0 -1 0 5196 0 0 0 7981 17 0 0 25 0 1 0 421555787 22921216 5174 4294967295 134512640 134672761 3221224560 3221223860 134556634 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 5596 5174 603 41 0 5555 0
vsize: 22384
[startup+90.004 s]
Raw data (loadavg): 0.96 0.97 0.92 2/54 3510
Raw data (stat): 3510 (minisat+) R 3509 30701 30700 0 -1 0 5196 0 0 0 8980 17 0 0 25 0 1 0 421555787 22921216 5174 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 5596 5174 603 41 0 5555 0
vsize: 22384
[startup+100.004 s]
Raw data (loadavg): 0.97 0.97 0.92 2/54 3510
Raw data (stat): 3510 (minisat+) R 3509 30701 30700 0 -1 0 5196 0 0 0 9980 17 0 0 25 0 1 0 421555787 22921216 5174 4294967295 134512640 134672761 3221224560 3221223728 134560839 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 5596 5174 603 41 0 5555 0
vsize: 22384
[startup+110.004 s]
Raw data (loadavg): 0.97 0.97 0.92 2/54 3510
Raw data (stat): 3510 (minisat+) R 3509 30701 30700 0 -1 0 5345 0 0 0 10980 17 0 0 25 0 1 0 421555787 23457792 5323 4294967295 134512640 134672761 3221224560 3221223732 134556598 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 5727 5323 603 41 0 5686 0
vsize: 22908
[startup+120.004 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 3510
Raw data (stat): 3510 (minisat+) R 3509 30701 30700 0 -1 0 5996 0 0 0 11978 19 0 0 25 0 1 0 421555787 26136576 5974 4294967295 134512640 134672761 3221224560 3221223760 134557895 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 6381 5974 603 41 0 6340 0
vsize: 25524
[startup+130.003 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 3510
Raw data (stat): 3510 (minisat+) R 3509 30701 30700 0 -1 0 6426 0 0 0 12977 20 0 0 25 0 1 0 421555787 27873280 6404 4294967295 134512640 134672761 3221224560 3221223728 134561188 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 6805 6404 603 41 0 6764 0
vsize: 27220
[startup+140.004 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 3510
Raw data (stat): 3510 (minisat+) R 3509 30701 30700 0 -1 0 6864 0 0 0 13976 21 0 0 25 0 1 0 421555787 29630464 6842 4294967295 134512640 134672761 3221224560 3221223732 134556634 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7234 6842 603 41 0 7193 0
vsize: 28936
[startup+150.004 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 3510
Raw data (stat): 3510 (minisat+) R 3509 30701 30700 0 -1 0 7251 0 0 0 14975 23 0 0 25 0 1 0 421555787 31240192 7229 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7627 7229 603 41 0 7586 0
vsize: 30508
[startup+160.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3510
Raw data (stat): 3510 (minisat+) R 3509 30701 30700 0 -1 0 8078 0 0 0 15974 24 0 0 25 0 1 0 421555787 34729984 8056 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 8479 8056 603 41 0 8438 0
vsize: 33916
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3510
Raw data (stat): 3510 (minisat+) R 3509 30701 30700 0 -1 0 8914 0 0 0 16969 28 0 0 25 0 1 0 421555787 38330368 8892 4294967295 134512640 134672761 3221224560 3221223664 134560196 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 9358 8892 603 41 0 9317 0
vsize: 37432
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3510
Raw data (stat): 3510 (minisat+) R 3509 30701 30700 0 -1 0 9647 0 0 0 17966 31 0 0 25 0 1 0 421555787 41406464 9625 4294967295 134512640 134672761 3221224560 3221223488 1075358820 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 10108 9625 603 41 0 10067 0
vsize: 40436
[startup+190.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3510
Raw data (stat): 3510 (minisat+) R 3509 30701 30700 0 -1 0 10393 0 0 0 18964 33 0 0 25 0 1 0 421555787 44351488 10371 4294967295 134512640 134672761 3221224560 3221223728 134560980 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 10828 10371 603 41 0 10787 0
vsize: 43312
[startup+200.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3510
Raw data (stat): 3510 (minisat+) R 3509 30701 30700 0 -1 0 11141 0 0 0 19963 34 0 0 25 0 1 0 421555787 47439872 11119 4294967295 134512640 134672761 3221224560 3221223728 134560852 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11582 11119 603 41 0 11541 0
vsize: 46328
[startup+210.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3510
Raw data (stat): 3510 (minisat+) R 3509 30701 30700 0 -1 0 11863 0 0 0 20961 36 0 0 25 0 1 0 421555787 50376704 11841 4294967295 134512640 134672761 3221224560 3221223728 134561001 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12299 11841 603 41 0 12258 0
vsize: 49196
[startup+220.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3510
Raw data (stat): 3510 (minisat+) R 3509 30701 30700 0 -1 0 12458 0 0 0 21960 38 0 0 25 0 1 0 421555787 52776960 12436 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12885 12436 603 41 0 12844 0
vsize: 51540
[startup+230.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3510
Raw data (stat): 3510 (minisat+) R 3509 30701 30700 0 -1 0 12861 0 0 0 22958 40 0 0 25 0 1 0 421555787 54530048 12839 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 13313 12839 603 41 0 13272 0
vsize: 53252
[startup+240.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3510
Raw data (stat): 3510 (minisat+) R 3509 30701 30700 0 -1 0 13218 0 0 0 23957 41 0 0 25 0 1 0 421555787 55877632 13196 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 13642 13196 603 41 0 13601 0
vsize: 54568
[startup+250.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3510
Raw data (stat): 3510 (minisat+) R 3509 30701 30700 0 -1 0 13636 0 0 0 24956 42 0 0 25 0 1 0 421555787 57626624 13614 4294967295 134512640 134672761 3221224560 3221223744 134558859 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 14069 13614 603 41 0 14028 0
vsize: 56276
[startup+260.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3510
Raw data (stat): 3510 (minisat+) R 3509 30701 30700 0 -1 0 14264 0 0 0 25955 43 0 0 25 0 1 0 421555787 60174336 14242 4294967295 134512640 134672761 3221224560 3221223516 1075349984 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 14691 14242 603 41 0 14650 0
vsize: 58764
[startup+270.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3510
Raw data (stat): 3510 (minisat+) R 3509 30701 30700 0 -1 0 14977 0 0 0 26953 46 0 0 25 0 1 0 421555787 63107072 14955 4294967295 134512640 134672761 3221224560 3221223744 134558662 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 15407 14955 603 41 0 15366 0
vsize: 61628
[startup+280.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3510
Raw data (stat): 3510 (minisat+) R 3509 30701 30700 0 -1 0 15780 0 0 0 27952 48 0 0 25 0 1 0 421555787 66338816 15758 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16196 15758 603 41 0 16155 0
vsize: 64784
[startup+290.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3510
Raw data (stat): 3510 (minisat+) R 3509 30701 30700 0 -1 0 16361 0 0 0 28950 49 0 0 25 0 1 0 421555787 68767744 16339 4294967295 134512640 134672761 3221224560 3221223728 134561014 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16789 16339 603 41 0 16748 0
vsize: 67156
[startup+300.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3510
Raw data (stat): 3510 (minisat+) R 3509 30701 30700 0 -1 0 16954 0 0 0 29948 52 0 0 25 0 1 0 421555787 71172096 16932 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17376 16932 603 41 0 17335 0
vsize: 69504
[startup+310.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3510
Raw data (stat): 3510 (minisat+) R 3509 30701 30700 0 -1 0 17543 0 0 0 30946 54 0 0 25 0 1 0 421555787 73580544 17521 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17964 17521 603 41 0 17923 0
vsize: 71856
[startup+320.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3510
Raw data (stat): 3510 (minisat+) R 3509 30701 30700 0 -1 0 18172 0 0 0 31944 55 0 0 25 0 1 0 421555787 76136448 18150 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18588 18150 603 41 0 18547 0
vsize: 74352
[startup+330.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3510
Raw data (stat): 3510 (minisat+) R 3509 30701 30700 0 -1 0 18720 0 0 0 32942 58 0 0 25 0 1 0 421555787 78422016 18698 4294967295 134512640 134672761 3221224560 3221223728 134560906 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 19146 18698 603 41 0 19105 0
vsize: 76584
[startup+340.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3510
Raw data (stat): 3510 (minisat+) R 3509 30701 30700 0 -1 0 19278 0 0 0 33941 59 0 0 25 0 1 0 421555787 80695296 19256 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 19701 19256 603 41 0 19660 0
vsize: 78804
[startup+350.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3510
Raw data (stat): 3510 (minisat+) R 3509 30701 30700 0 -1 0 19777 0 0 0 34940 61 0 0 25 0 1 0 421555787 82735104 19755 4294967295 134512640 134672761 3221224560 3221223728 134561001 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 20199 19755 603 41 0 20158 0
vsize: 80796
[startup+360.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3510
Raw data (stat): 3510 (minisat+) R 3509 30701 30700 0 -1 0 20236 0 0 0 35939 62 0 0 25 0 1 0 421555787 84611072 20214 4294967295 134512640 134672761 3221224560 3221223728 134561229 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 20657 20214 603 41 0 20616 0
vsize: 82628
[startup+370.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3510
Raw data (stat): 3510 (minisat+) R 3509 30701 30700 0 -1 0 20635 0 0 0 36936 64 0 0 25 0 1 0 421555787 86233088 20613 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21053 20613 603 41 0 21012 0
vsize: 84212
[startup+380.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3510
Raw data (stat): 3510 (minisat+) R 3509 30701 30700 0 -1 0 20895 0 0 0 37936 65 0 0 25 0 1 0 421555787 87310336 20873 4294967295 134512640 134672761 3221224560 3221223728 134561218 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 21316 20873 603 41 0 21275 0
vsize: 85264
[startup+390.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3510
Raw data (stat): 3510 (minisat+) R 3509 30701 30700 0 -1 0 21121 0 0 0 38935 65 0 0 25 0 1 0 421555787 88248320 21099 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21545 21099 603 41 0 21504 0
vsize: 86180
[startup+400.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3510
Raw data (stat): 3510 (minisat+) R 3509 30701 30700 0 -1 0 21354 0 0 0 39934 66 0 0 25 0 1 0 421555787 89186304 21332 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21774 21332 603 41 0 21733 0
vsize: 87096
[startup+410.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3510
Raw data (stat): 3510 (minisat+) R 3509 30701 30700 0 -1 0 21656 0 0 0 40933 68 0 0 25 0 1 0 421555787 90398720 21634 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 22070 21634 603 41 0 22029 0
vsize: 88280
[startup+420.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3510
Raw data (stat): 3510 (minisat+) R 3509 30701 30700 0 -1 0 21995 0 0 0 41932 69 0 0 25 0 1 0 421555787 91860992 21973 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 22427 21973 603 41 0 22386 0
vsize: 89708
[startup+430.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3510
Raw data (stat): 3510 (minisat+) R 3509 30701 30700 0 -1 0 22434 0 0 0 42931 71 0 0 25 0 1 0 421555787 93601792 22412 4294967295 134512640 134672761 3221224560 3221223744 134559566 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 22852 22412 603 41 0 22811 0
vsize: 91408
[startup+440.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3510
Raw data (stat): 3510 (minisat+) R 3509 30701 30700 0 -1 0 22902 0 0 0 43930 71 0 0 25 0 1 0 421555787 95477760 22880 4294967295 134512640 134672761 3221224560 3221223728 134561021 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 23310 22880 603 41 0 23269 0
vsize: 93240
[startup+450.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3510
Raw data (stat): 3510 (minisat+) R 3509 30701 30700 0 -1 0 23413 0 0 0 44928 73 0 0 25 0 1 0 421555787 97628160 23391 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 23835 23391 603 41 0 23794 0
vsize: 95340
[startup+460.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3510
Raw data (stat): 3510 (minisat+) R 3509 30701 30700 0 -1 0 23880 0 0 0 45927 75 0 0 25 0 1 0 421555787 99491840 23858 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24290 23858 603 41 0 24249 0
vsize: 97160
[startup+470.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3510
Raw data (stat): 3510 (minisat+) R 3509 30701 30700 0 -1 0 24348 0 0 0 46926 76 0 0 25 0 1 0 421555787 101371904 24326 4294967295 134512640 134672761 3221224560 3221223664 134560367 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24749 24326 603 41 0 24708 0
vsize: 98996
[startup+480.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3510
Raw data (stat): 3510 (minisat+) R 3509 30701 30700 0 -1 0 24803 0 0 0 47925 77 0 0 25 0 1 0 421555787 103256064 24781 4294967295 134512640 134672761 3221224560 3221223728 134561151 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 25209 24781 603 41 0 25168 0
vsize: 100836
[startup+490.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3510
Raw data (stat): 3510 (minisat+) R 3509 30701 30700 0 -1 0 25185 0 0 0 48924 78 0 0 25 0 1 0 421555787 105385984 25163 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 25729 25163 603 41 0 25688 0
vsize: 102916
[startup+500.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3510
Raw data (stat): 3510 (minisat+) R 3509 30701 30700 0 -1 0 25625 0 0 0 49923 80 0 0 25 0 1 0 421555787 107130880 25603 4294967295 134512640 134672761 3221224560 3221223728 134561229 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26155 25603 603 41 0 26114 0
vsize: 104620
[startup+510.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3510
Raw data (stat): 3510 (minisat+) R 3509 30701 30700 0 -1 0 26057 0 0 0 50922 81 0 0 25 0 1 0 421555787 108879872 26035 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26582 26035 603 41 0 26541 0
vsize: 106328
[startup+520.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3510
Raw data (stat): 3510 (minisat+) R 3509 30701 30700 0 -1 0 26485 0 0 0 51921 82 0 0 25 0 1 0 421555787 110747648 26463 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 27038 26463 603 41 0 26997 0
vsize: 108152
[startup+530.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3510
Raw data (stat): 3510 (minisat+) R 3509 30701 30700 0 -1 0 26909 0 0 0 52920 83 0 0 25 0 1 0 421555787 112361472 26887 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 27432 26887 603 41 0 27391 0
vsize: 109728
[startup+540.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3510
Raw data (stat): 3510 (minisat+) R 3509 30701 30700 0 -1 0 27326 0 0 0 53919 84 0 0 25 0 1 0 421555787 114094080 27304 4294967295 134512640 134672761 3221224560 3221223664 134560291 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 27855 27304 603 41 0 27814 0
vsize: 111420
[startup+550.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3510
Raw data (stat): 3510 (minisat+) R 3509 30701 30700 0 -1 0 27758 0 0 0 54918 86 0 0 25 0 1 0 421555787 115838976 27736 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28281 27736 603 41 0 28240 0
vsize: 113124
[startup+560.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3510
Raw data (stat): 3510 (minisat+) R 3509 30701 30700 0 -1 0 28100 0 0 0 55918 86 0 0 25 0 1 0 421555787 117317632 28078 4294967295 134512640 134672761 3221224560 3221223728 134560937 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28642 28078 603 41 0 28601 0
vsize: 114568
[startup+570.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3510
Raw data (stat): 3510 (minisat+) R 3509 30701 30700 0 -1 0 28359 0 0 0 56917 87 0 0 25 0 1 0 421555787 118394880 28337 4294967295 134512640 134672761 3221224560 3221223728 134561215 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28905 28337 603 41 0 28864 0
vsize: 115620
[startup+580.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3510
Raw data (stat): 3510 (minisat+) R 3509 30701 30700 0 -1 0 28683 0 0 0 57916 88 0 0 25 0 1 0 421555787 119721984 28661 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 29229 28661 603 41 0 29188 0
vsize: 116916
[startup+590.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3510
Raw data (stat): 3510 (minisat+) R 3509 30701 30700 0 -1 0 29041 0 0 0 58915 89 0 0 25 0 1 0 421555787 121196544 29019 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 29589 29019 603 41 0 29548 0
vsize: 118356
[startup+600.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3510
Raw data (stat): 3510 (minisat+) R 3509 30701 30700 0 -1 0 29358 0 0 0 59914 90 0 0 25 0 1 0 421555787 122400768 29336 4294967295 134512640 134672761 3221224560 3221223728 134560858 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 29883 29336 603 41 0 29842 0
vsize: 119532
[startup+610.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3510
Raw data (stat): 3510 (minisat+) R 3509 30701 30700 0 -1 0 29668 0 0 0 60914 91 0 0 25 0 1 0 421555787 123736064 29646 4294967295 134512640 134672761 3221224560 3221223728 134561229 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 30209 29646 603 41 0 30168 0
vsize: 120836
[startup+620.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3510
Raw data (stat): 3510 (minisat+) R 3509 30701 30700 0 -1 0 29911 0 0 0 61913 92 0 0 25 0 1 0 421555787 124674048 29889 4294967295 134512640 134672761 3221224560 3221223732 134556634 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 30438 29889 603 41 0 30397 0
vsize: 121752
[startup+630.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3510
Raw data (stat): 3510 (minisat+) R 3509 30701 30700 0 -1 0 30117 0 0 0 62912 92 0 0 25 0 1 0 421555787 125480960 30095 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 30635 30095 603 41 0 30594 0
vsize: 122540
[startup+640.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3510
Raw data (stat): 3510 (minisat+) R 3509 30701 30700 0 -1 0 30305 0 0 0 63912 93 0 0 25 0 1 0 421555787 126287872 30283 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 30832 30283 603 41 0 30791 0
vsize: 123328
[startup+650.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3510
Raw data (stat): 3510 (minisat+) R 3509 30701 30700 0 -1 0 30539 0 0 0 64912 93 0 0 25 0 1 0 421555787 127229952 30517 4294967295 134512640 134672761 3221224560 3221223696 134560604 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 31062 30517 603 41 0 31021 0
vsize: 124248
[startup+660.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3510
Raw data (stat): 3510 (minisat+) R 3509 30701 30700 0 -1 0 30850 0 0 0 65910 95 0 0 25 0 1 0 421555787 128561152 30828 4294967295 134512640 134672761 3221224560 3221223728 134560892 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 31387 30828 603 41 0 31346 0
vsize: 125548
[startup+670.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3510
Raw data (stat): 3510 (minisat+) R 3509 30701 30700 0 -1 0 31153 0 0 0 66910 95 0 0 25 0 1 0 421555787 129765376 31131 4294967295 134512640 134672761 3221224560 3221223728 134561008 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 31681 31131 603 41 0 31640 0
vsize: 126724
[startup+680.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3510
Raw data (stat): 3510 (minisat+) R 3509 30701 30700 0 -1 0 31484 0 0 0 67909 96 0 0 25 0 1 0 421555787 131092480 31462 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 32005 31462 603 41 0 31964 0
vsize: 128020
[startup+690.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3510
Raw data (stat): 3510 (minisat+) R 3509 30701 30700 0 -1 0 31796 0 0 0 68908 97 0 0 25 0 1 0 421555787 132415488 31774 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 32328 31774 603 41 0 32287 0
vsize: 129312
[startup+700.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3510
Raw data (stat): 3510 (minisat+) R 3509 30701 30700 0 -1 0 32176 0 0 0 69907 99 0 0 25 0 1 0 421555787 133881856 32154 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 32686 32154 603 41 0 32645 0
vsize: 130744
[startup+710.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3510
Raw data (stat): 3510 (minisat+) R 3509 30701 30700 0 -1 0 32550 0 0 0 70906 100 0 0 25 0 1 0 421555787 135479296 32528 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 33076 32528 603 41 0 33035 0
vsize: 132304
[startup+720.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3510
Raw data (stat): 3510 (minisat+) R 3509 30701 30700 0 -1 0 32921 0 0 0 71904 102 0 0 25 0 1 0 421555787 136945664 32899 4294967295 134512640 134672761 3221224560 3221223728 134560940 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 33434 32899 603 41 0 33393 0
vsize: 133736
[startup+730.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3510
Raw data (stat): 3510 (minisat+) R 3509 30701 30700 0 -1 0 33264 0 0 0 72904 103 0 0 25 0 1 0 421555787 138407936 33242 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 33791 33242 603 41 0 33750 0
vsize: 135164
[startup+740.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3510
Raw data (stat): 3510 (minisat+) R 3509 30701 30700 0 -1 0 33614 0 0 0 73903 104 0 0 25 0 1 0 421555787 139874304 33592 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 34149 33592 603 41 0 34108 0
vsize: 136596
[startup+750.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3510
Raw data (stat): 3510 (minisat+) R 3509 30701 30700 0 -1 0 33954 0 0 0 74902 105 0 0 25 0 1 0 421555787 141209600 33932 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 34475 33932 603 41 0 34434 0
vsize: 137900
[startup+760.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3510
Raw data (stat): 3510 (minisat+) R 3509 30701 30700 0 -1 0 34315 0 0 0 75901 106 0 0 25 0 1 0 421555787 142671872 34293 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 34832 34293 603 41 0 34791 0
vsize: 139328
[startup+770.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3510
Raw data (stat): 3510 (minisat+) R 3509 30701 30700 0 -1 0 34676 0 0 0 76899 108 0 0 25 0 1 0 421555787 144125952 34654 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 35187 34654 603 41 0 35146 0
vsize: 140748
[startup+780.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3510
Raw data (stat): 3510 (minisat+) R 3509 30701 30700 0 -1 0 35027 0 0 0 77898 109 0 0 25 0 1 0 421555787 145592320 35005 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 35545 35005 603 41 0 35504 0
vsize: 142180
[startup+790.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3510
Raw data (stat): 3510 (minisat+) R 3509 30701 30700 0 -1 0 35405 0 0 0 78898 110 0 0 25 0 1 0 421555787 147189760 35383 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 35935 35383 603 41 0 35894 0
vsize: 143740
[startup+800.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3510
Raw data (stat): 3510 (minisat+) R 3509 30701 30700 0 -1 0 35705 0 0 0 79897 111 0 0 25 0 1 0 421555787 148373504 35683 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 36224 35683 603 41 0 36183 0
vsize: 144896
[startup+810.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3510
Raw data (stat): 3510 (minisat+) R 3509 30701 30700 0 -1 0 36017 0 0 0 80896 111 0 0 25 0 1 0 421555787 149712896 35995 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 36551 35995 603 41 0 36510 0
vsize: 146204
[startup+820.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3510
Raw data (stat): 3510 (minisat+) R 3509 30701 30700 0 -1 0 36312 0 0 0 81896 112 0 0 25 0 1 0 421555787 150794240 36290 4294967295 134512640 134672761 3221224560 3221223728 134561215 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 36815 36290 603 41 0 36774 0
vsize: 147260
[startup+830.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3510
Raw data (stat): 3510 (minisat+) R 3509 30701 30700 0 -1 0 36669 0 0 0 82895 113 0 0 25 0 1 0 421555787 152289280 36647 4294967295 134512640 134672761 3221224560 3221223664 134560070 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 37180 36647 603 41 0 37139 0
vsize: 148720
[startup+840.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3510
Raw data (stat): 3510 (minisat+) R 3509 30701 30700 0 -1 0 37001 0 0 0 83894 114 0 0 25 0 1 0 421555787 153759744 36979 4294967295 134512640 134672761 3221224560 3221223728 134561005 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 37539 36979 603 41 0 37498 0
vsize: 150156
[startup+850.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3510
Raw data (stat): 3510 (minisat+) R 3509 30701 30700 0 -1 0 37353 0 0 0 84893 115 0 0 25 0 1 0 421555787 155086848 37331 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 37863 37331 603 41 0 37822 0
vsize: 151452
[startup+860.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3510
Raw data (stat): 3510 (minisat+) R 3509 30701 30700 0 -1 0 37683 0 0 0 85893 116 0 0 25 0 1 0 421555787 156561408 37661 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 38223 37661 603 41 0 38182 0
vsize: 152892
[startup+870.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3510
Raw data (stat): 3510 (minisat+) R 3509 30701 30700 0 -1 0 37926 0 0 0 86892 117 0 0 25 0 1 0 421555787 157507584 37904 4294967295 134512640 134672761 3221224560 3221223728 134561188 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 38454 37904 603 41 0 38413 0
vsize: 153816
[startup+880.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3510
Raw data (stat): 3510 (minisat+) R 3509 30701 30700 0 -1 0 38182 0 0 0 87892 117 0 0 25 0 1 0 421555787 158576640 38160 4294967295 134512640 134672761 3221224560 3221223728 134560929 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 38715 38160 603 41 0 38674 0
vsize: 154860
[startup+890.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3510
Raw data (stat): 3510 (minisat+) R 3509 30701 30700 0 -1 0 38452 0 0 0 88891 118 0 0 25 0 1 0 421555787 159633408 38430 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 38973 38430 603 41 0 38932 0
vsize: 155892
[startup+900.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3510
Raw data (stat): 3510 (minisat+) R 3509 30701 30700 0 -1 0 38739 0 0 0 89890 120 0 0 25 0 1 0 421555787 160833536 38717 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 39266 38717 603 41 0 39225 0
vsize: 157064
[startup+910.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3510
Raw data (stat): 3510 (minisat+) R 3509 30701 30700 0 -1 0 39032 0 0 0 90888 121 0 0 25 0 1 0 421555787 162029568 39010 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 39558 39010 603 41 0 39517 0
vsize: 158232
[startup+920.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3510
Raw data (stat): 3510 (minisat+) R 3509 30701 30700 0 -1 0 39299 0 0 0 91888 122 0 0 25 0 1 0 421555787 163090432 39277 4294967295 134512640 134672761 3221224560 3221223664 134560264 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 39817 39277 603 41 0 39776 0
vsize: 159268
[startup+930.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3510
Raw data (stat): 3510 (minisat+) R 3509 30701 30700 0 -1 0 39570 0 0 0 92887 123 0 0 25 0 1 0 421555787 164204544 39548 4294967295 134512640 134672761 3221224560 3221223696 134560588 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 40089 39548 603 41 0 40048 0
vsize: 160356
[startup+940.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3510
Raw data (stat): 3510 (minisat+) R 3509 30701 30700 0 -1 0 39593 0 0 0 93888 123 0 0 25 0 1 0 421555787 164335616 39571 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 40121 39571 603 41 0 40080 0
vsize: 160484
[startup+950.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3510
Raw data (stat): 3510 (minisat+) R 3509 30701 30700 0 -1 0 39593 0 0 0 94888 123 0 0 25 0 1 0 421555787 164335616 39571 4294967295 134512640 134672761 3221224560 3221223728 134561133 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 40121 39571 603 41 0 40080 0
vsize: 160484
[startup+960.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3510
Raw data (stat): 3510 (minisat+) R 3509 30701 30700 0 -1 0 39593 0 0 0 95888 123 0 0 25 0 1 0 421555787 164335616 39571 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 40121 39571 603 41 0 40080 0
vsize: 160484
[startup+970.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3510
Raw data (stat): 3510 (minisat+) R 3509 30701 30700 0 -1 0 39593 0 0 0 96888 123 0 0 25 0 1 0 421555787 164335616 39571 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 40121 39571 603 41 0 40080 0
vsize: 160484
[startup+980.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3510
Raw data (stat): 3510 (minisat+) R 3509 30701 30700 0 -1 0 39593 0 0 0 97888 123 0 0 25 0 1 0 421555787 164335616 39571 4294967295 134512640 134672761 3221224560 3221223664 134559838 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 40121 39571 603 41 0 40080 0
vsize: 160484
[startup+990.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3510
Raw data (stat): 3510 (minisat+) R 3509 30701 30700 0 -1 0 39593 0 0 0 98889 123 0 0 25 0 1 0 421555787 164335616 39571 4294967295 134512640 134672761 3221224560 3221223664 134560289 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 40121 39571 603 41 0 40080 0
vsize: 160484
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3510
Raw data (stat): 3510 (minisat+) R 3509 30701 30700 0 -1 0 39593 0 0 0 99889 123 0 0 25 0 1 0 421555787 164335616 39571 4294967295 134512640 134672761 3221224560 3221223728 134561151 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 40121 39571 603 41 0 40080 0
vsize: 160484
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3510
Raw data (stat): 3510 (minisat+) R 3509 30701 30700 0 -1 0 39593 0 0 0 100889 123 0 0 25 0 1 0 421555787 164335616 39571 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 40121 39571 603 41 0 40080 0
vsize: 160484
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3510
Raw data (stat): 3510 (minisat+) R 3509 30701 30700 0 -1 0 39595 0 0 0 101889 123 0 0 25 0 1 0 421555787 164335616 39573 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 40121 39573 603 41 0 40080 0
vsize: 160484
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3510
Raw data (stat): 3510 (minisat+) R 3509 30701 30700 0 -1 0 39596 0 0 0 102889 123 0 0 25 0 1 0 421555787 164335616 39574 4294967295 134512640 134672761 3221224560 3221223664 134560218 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 40121 39574 603 41 0 40080 0
vsize: 160484
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3510
Raw data (stat): 3510 (minisat+) R 3509 30701 30700 0 -1 0 39597 0 0 0 103890 123 0 0 25 0 1 0 421555787 164335616 39575 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 40121 39575 603 41 0 40080 0
vsize: 160484
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3510
Raw data (stat): 3510 (minisat+) R 3509 30701 30700 0 -1 0 39597 0 0 0 104889 123 0 0 25 0 1 0 421555787 164335616 39575 4294967295 134512640 134672761 3221224560 3221223732 134556634 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 40121 39575 603 41 0 40080 0
vsize: 160484
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3510
Raw data (stat): 3510 (minisat+) R 3509 30701 30700 0 -1 0 39597 0 0 0 105889 123 0 0 25 0 1 0 421555787 164335616 39575 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 40121 39575 603 41 0 40080 0
vsize: 160484
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3510
Raw data (stat): 3510 (minisat+) R 3509 30701 30700 0 -1 0 39597 0 0 0 106889 123 0 0 25 0 1 0 421555787 164335616 39575 4294967295 134512640 134672761 3221224560 3221223728 134561118 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 40121 39575 603 41 0 40080 0
vsize: 160484
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3510
Raw data (stat): 3510 (minisat+) R 3509 30701 30700 0 -1 0 39597 0 0 0 107889 123 0 0 25 0 1 0 421555787 164335616 39575 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 40121 39575 603 41 0 40080 0
vsize: 160484
[startup+1090.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3510
Raw data (stat): 3510 (minisat+) R 3509 30701 30700 0 -1 0 39597 0 0 0 108890 123 0 0 25 0 1 0 421555787 164335616 39575 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 40121 39575 603 41 0 40080 0
vsize: 160484
[startup+1100.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3510
Raw data (stat): 3510 (minisat+) R 3509 30701 30700 0 -1 0 39597 0 0 0 109890 123 0 0 25 0 1 0 421555787 164335616 39575 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 40121 39575 603 41 0 40080 0
vsize: 160484
[startup+1110.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3510
Raw data (stat): 3510 (minisat+) R 3509 30701 30700 0 -1 0 39597 0 0 0 110890 123 0 0 25 0 1 0 421555787 164335616 39575 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 40121 39575 603 41 0 40080 0
vsize: 160484
[startup+1120.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3510
Raw data (stat): 3510 (minisat+) R 3509 30701 30700 0 -1 0 39597 0 0 0 111890 123 0 0 25 0 1 0 421555787 164335616 39575 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 40121 39575 603 41 0 40080 0
vsize: 160484
[startup+1130.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3510
Raw data (stat): 3510 (minisat+) R 3509 30701 30700 0 -1 0 39597 0 0 0 112890 123 0 0 25 0 1 0 421555787 164335616 39575 4294967295 134512640 134672761 3221224560 3221223728 134560996 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 40121 39575 603 41 0 40080 0
vsize: 160484
[startup+1140.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3510
Raw data (stat): 3510 (minisat+) R 3509 30701 30700 0 -1 0 39598 0 0 0 113890 123 0 0 25 0 1 0 421555787 164335616 39576 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 40121 39576 603 41 0 40080 0
vsize: 160484
[startup+1150.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3510
Raw data (stat): 3510 (minisat+) R 3509 30701 30700 0 -1 0 39598 0 0 0 114891 123 0 0 25 0 1 0 421555787 164335616 39576 4294967295 134512640 134672761 3221224560 3221223744 134558651 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 40121 39576 603 41 0 40080 0
vsize: 160484
[startup+1160.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3510
Raw data (stat): 3510 (minisat+) R 3509 30701 30700 0 -1 0 39598 0 0 0 115891 123 0 0 25 0 1 0 421555787 164335616 39576 4294967295 134512640 134672761 3221224560 3221223664 134560393 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 40121 39576 603 41 0 40080 0
vsize: 160484
[startup+1170.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3510
Raw data (stat): 3510 (minisat+) R 3509 30701 30700 0 -1 0 39599 0 0 0 116891 123 0 0 25 0 1 0 421555787 164335616 39577 4294967295 134512640 134672761 3221224560 3221223664 134559847 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 40121 39577 603 41 0 40080 0
vsize: 160484
[startup+1180.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3510
Raw data (stat): 3510 (minisat+) R 3509 30701 30700 0 -1 0 39599 0 0 0 117891 123 0 0 25 0 1 0 421555787 164335616 39577 4294967295 134512640 134672761 3221224560 3221223728 134561218 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 40121 39577 603 41 0 40080 0
vsize: 160484
[startup+1190.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3510
Raw data (stat): 3510 (minisat+) R 3509 30701 30700 0 -1 0 39599 0 0 0 118891 123 0 0 25 0 1 0 421555787 164335616 39577 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 40121 39577 603 41 0 40080 0
vsize: 160484
[startup+1200.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 3510
Raw data (stat): 3510 (minisat+) R 3509 30701 30700 0 -1 0 39599 0 0 0 119892 123 0 0 25 0 1 0 421555787 164335616 39577 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 40121 39577 603 41 0 40080 0
vsize: 160484
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.1 s]
Raw data (loadavg): 0.99 0.97 0.92 1/54 3510
Raw data (stat): 3510 (minisat+) Z 3509 30701 30700 0 -1 12 39602 0 0 0 119892 130 0 0 25 0 1 0 421555787 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.1
CPU time (s): 1200.23
CPU user time (s): 1198.92
CPU system time (s): 1.3098
CPU usage (%): 100.012
Max. virtual memory (Kb): 160484
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####