PB'05 competition: run trace

Some explanations

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

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

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        833196 kB
Buffers:         36368 kB
Cached:         141304 kB
SwapCached:       3276 kB
Active:          85448 kB
Inactive:        98348 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        832944 kB
SwapTotal:     2097136 kB
SwapFree:      2093860 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           6916 kB
Slab:            11852 kB
Committed_AS:    71676 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-14 05:10:05 (client local time) WITH STATUS 10 IN 1200.72 SECONDS
stats: 4852 7 1200.72 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Parsing PB file...
c Converting 94289 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 |   94289   188578 |   31429       0        0     nan |  0.000 % |
c ==============================================================================
c [1mFound solution: -38[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:70300     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |         0 |  245072   541350 |   81690       0        0     nan |  0.000 % |
c |       101 |  245072   541350 |   89859     101      585     5.8 |  0.014 % |
c |       251 |  244162   539286 |   98844     218     1244     5.7 |  0.519 % |
c |       476 |  240319   530485 |  108729     378     2097     5.5 |  2.780 % |
c |       813 |  235994   520554 |  119602     606     3271     5.4 |  5.367 % |
c |      1319 |  229910   506585 |  131562     957     5836     6.1 |  9.000 % |
c |      2078 |  218412   480096 |  144718    1480    19692    13.3 | 16.081 % |
c |      3217 |  202052   442294 |  159190    2288    25669    11.2 | 26.159 % |
c |      4925 |  183200   398507 |  175109    3354    36734    11.0 | 38.204 % |
c |      7487 |  152885   327568 |  192620    4630    48139    10.4 | 57.983 % |
c ==============================================================================
c [1mFound solution: -39[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     10748 |  129955   273706 |   43318    5952    83058    14.0 | 57.983 % |
c |     10848 |  129667   273028 |   47649    6020    83651    13.9 | 73.749 % |
c |     10998 |  128341   269933 |   52414    6056    84317    13.9 | 74.624 % |
c |     11223 |  127075   266949 |   57656    6114    84893    13.9 | 75.502 % |
c |     11560 |  125283   262755 |   63421    6190    85951    13.9 | 76.702 % |
c |     12067 |  122703   256715 |   69764    6433    88503    13.8 | 78.455 % |
c |     12826 |  118799   247559 |   76740    6507    89402    13.7 | 81.127 % |
c |     13965 |  114703   237917 |   84414    6679    92694    13.9 | 83.914 % |
c ==============================================================================
c [1mFound solution: -40[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     14678 |  113182   234295 |   37727    6956    98455    14.2 | 83.914 % |
c |     14778 |  113058   233998 |   41499    6998    98304    14.0 | 85.058 % |
c |     14928 |  112336   232290 |   45649    6954    98018    14.1 | 85.577 % |
c |     15153 |  111531   230400 |   50214    6935    98624    14.2 | 86.134 % |
c |     15491 |  111428   230160 |   55236    7240   100937    13.9 | 86.202 % |
c |     15997 |  111005   229165 |   60759    7588   110891    14.6 | 86.499 % |
c |     16757 |  110207   227292 |   66835    7962   113993    14.3 | 87.047 % |
c ==============================================================================
c [1mFound solution: -41[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     17039 |  110104   227065 |   36701    8088   121818    15.1 | 87.047 % |
c |     17141 |  109953   226707 |   40371    8085   121936    15.1 | 87.230 % |
c |     17291 |  109637   225956 |   44408    7895   120056    15.2 | 87.458 % |
c |     17516 |  109637   225956 |   48849    8120   122502    15.1 | 87.458 % |
c |     17853 |  109049   224574 |   53733    8095   124548    15.4 | 87.858 % |
c |     18359 |  108769   223914 |   59107    8498   135028    15.9 | 88.055 % |
c ==============================================================================
c [1mFound solution: -42[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     18937 |  107529   220967 |   35843    8538   148466    17.4 | 88.055 % |
c |     19037 |  107147   220058 |   39427    8351   143583    17.2 | 89.204 % |
c |     19187 |  107141   220044 |   43370    8500   147060    17.3 | 89.208 % |
c |     19412 |  107044   219815 |   47707    8593   150113    17.5 | 89.275 % |
c |     19749 |  106984   219673 |   52477    8851   155373    17.6 | 89.318 % |
c ==============================================================================
c [1mFound solution: -43[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     20142 |  106837   219335 |   35612    9027   158443    17.6 | 89.318 % |
c |     20242 |  106803   219254 |   39173    9076   160232    17.7 | 89.485 % |
c |     20392 |  106787   219216 |   43090    9205   162666    17.7 | 89.497 % |
c |     20617 |  106499   218546 |   47399    9308   171292    18.4 | 89.687 % |
c |     20957 |  106383   218273 |   52139    9571   177313    18.5 | 89.767 % |
c |     21463 |  106213   217868 |   57353    9944   197254    19.8 | 89.886 % |
c ==============================================================================
c [1mFound solution: -44[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     22151 |  105926   217185 |   35308   10312   280810    27.2 | 89.886 % |
c |     22251 |  105760   216797 |   38838   10343   281187    27.2 | 90.190 % |
c |     22401 |  105760   216797 |   42722   10493   283495    27.0 | 90.190 % |
c |     22629 |  105760   216797 |   46994   10721   300830    28.1 | 90.190 % |
c |     22966 |  105686   216628 |   51694   10992   311405    28.3 | 90.233 % |
c |     23472 |  105586   216393 |   56863   11403   338796    29.7 | 90.301 % |
c |     24231 |  105496   216182 |   62550   12068   387167    32.1 | 90.363 % |
c |     25370 |  105464   216107 |   68805   13151   454203    34.5 | 90.385 % |
c |     27078 |  105454   216084 |   75685   14803   566808    38.3 | 90.390 % |
c |     29640 |  105454   216084 |   83254   17365   901105    51.9 | 90.390 % |
c |     33484 |  105448   216070 |   91579   21207  1196121    56.4 | 90.394 % |
c ==============================================================================
c [1mFound solution: -45[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     39128 |  105478   216145 |   35159   26836  1948915    72.6 | 90.394 % |
c |     39228 |  105478   216145 |   38674   26936  1954113    72.5 | 90.382 % |
c |     39379 |  105478   216145 |   42542   27087  1960049    72.4 | 90.382 % |
c |     39604 |  105450   216079 |   46796   27206  1969174    72.4 | 90.402 % |
c |     39941 |  105420   216008 |   51476   27524  1978915    71.9 | 90.423 % |
c |     40448 |  105420   216008 |   56623   28031  2050156    73.1 | 90.423 % |
c |     41208 |  105420   216008 |   62286   28791  2120954    73.7 | 90.423 % |
c |     42347 |  105113   215283 |   68514   29633  2208200    74.5 | 90.641 % |
c |     44055 |  105113   215283 |   75366   31341  2408065    76.8 | 90.641 % |
c ==============================================================================
c [1mFound solution: -46[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     46498 |  105080   215178 |   35026   33364  2566289    76.9 | 90.641 % |
c |     46598 |  105080   215178 |   38528   33464  2570404    76.8 | 90.659 % |
c |     46749 |  105076   215169 |   42381   33570  2579961    76.9 | 90.661 % |
c |     46976 |  105076   215169 |   46619   33797  2592846    76.7 | 90.661 % |
c |     47313 |  105076   215169 |   51281   34134  2609725    76.5 | 90.661 % |
c |     47821 |  105076   215169 |   56409   34642  2651697    76.5 | 90.661 % |
c |     48580 |  105004   214993 |   62050   35244  2700739    76.6 | 90.721 % |
c |     49719 |  105004   214993 |   68255   36383  2818074    77.5 | 90.721 % |
c |     51427 |  105004   214993 |   75081   38091  3028876    79.5 | 90.721 % |
c |     53989 |  104667   214197 |   82589   39596  3185936    80.5 | 90.958 % |
c |     57833 |  104647   214151 |   90848   43306  3651378    84.3 | 90.970 % |
c |     63602 |  104647   214151 |   99933   49075  4375587    89.2 | 90.970 % |
c |     72252 |  104641   214137 |  109926   57696  5526469    95.8 | 90.974 % |
c ==============================================================================
c [1mFound solution: -47[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     74797 |  104689   214252 |   34896   60241  5795226    96.2 | 90.974 % |
c |     74897 |  104689   214252 |   38385   60341  5804534    96.2 | 90.966 % |
c |     75047 |  104579   213984 |   42224   59985  5794003    96.6 | 91.056 % |
c |     75273 |  104579   213984 |   46446   60211  5810442    96.5 | 91.056 % |
c |     75610 |  104539   213888 |   51091   60505  5828717    96.3 | 91.087 % |
c |     76118 |  104539   213888 |   56200   61013  5860363    96.1 | 91.087 % |
c |     76877 |  104539   213888 |   61820   61772  5935878    96.1 | 91.087 % |
c |     78016 |  104539   213888 |   68002   62911  6033523    95.9 | 91.087 % |
c |     79724 |  104539   213888 |   74802   64619  6198099    95.9 | 91.087 % |
c |     82287 |  104539   213888 |   82282   67182  6378682    94.9 | 91.087 % |
c |     86133 |  104529   213865 |   90511   70900  6731593    94.9 | 91.116 % |
c |     91900 |  104499   213793 |   99562   76539  7271610    95.0 | 91.116 % |
c ==============================================================================
c [1mFound solution: -48[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     94813 |  104422   213599 |   34807   79353  7594397    95.7 | 91.116 % |
c |     94913 |  104422   213599 |   38287   79453  7601397    95.7 | 91.167 % |
c |     95063 |  104422   213599 |   42116   79603  7607154    95.6 | 91.167 % |
c |     95289 |  104422   213599 |   46328   79829  7613595    95.4 | 91.167 % |
c |     95626 |  104422   213599 |   50960   80166  7638770    95.3 | 91.167 % |
c |     96133 |  104422   213599 |   56057   80673  7684698    95.3 | 91.167 % |
c |     96892 |  104422   213599 |   61662   81432  7723760    94.8 | 91.167 % |
c |     98032 |  104422   213599 |   67828   82572  7806394    94.5 | 91.167 % |
c |     99741 |  104422   213599 |   74611   84281  7960698    94.5 | 91.167 % |
c |    102303 |  104422   213599 |   82073   86843  8230442    94.8 | 91.167 % |
c |    106147 |  104422   213599 |   90280   90687  8583732    94.7 | 91.167 % |
c |    111913 |  104422   213599 |   99308   96453  8976895    93.1 | 91.167 % |
c |    120565 |  104422   213599 |  109239  105105  9617862    91.5 | 91.167 % |
c |    133541 |  104422   213599 |  120163  118081 10524058    89.1 | 91.167 % |
c |    153003 |  104422   213599 |  132179  137543 12543356    91.2 | 91.167 % |
c |    182196 |  104422   213599 |  145397  166736 14661904    87.9 | 91.167 % |
c |    225985 |  104422   213599 |  159937   35948  2020891    56.2 | 91.167 % |
c |    291669 |  104384   213508 |  175930  101625  8091510    79.6 | 91.196 % |
c 
c *** TERMINATED ***
s SATISFIABLE
v -C1272 -C1271 C1270 -C1269 -C1268 -C1267 -C1266 -C1265 -C1264 -C1263 -C1262 -C1261 -C1260 -C1259 -C1258 -C1257 -C1256 -C1255 -C1254 -C1253 -C1252 -C1251 -C1250 -C1249 C1248 -C1247 -C1246 -C1245 -C1244 -C1243 -C1242 -C1241 -C1240 -C1239 -C1238 -C1237 -C1236 -C1235 -C1234 -C1233 -C1232 -C1231 -C1230 -C1229 -C1228 -C1227 -C1226 -C1225 -C1224 -C1223 -C1222 -C1221 -C1220 -C1219 -C1218 -C1217 -C1216 -C1215 -C1214 -C1213 -C1212 -C1211 -C1210 -C1209 -C1208 -C1207 -C1206 -C1205 -C1204 -C1203 -C1202 C1201 -C1200 -C1199 -C1198 -C1197 -C1196 -C1195 -C1194 -C1193 -C1192 -C1191 -C1190 -C1189 -C1188 C1187 -C1186 -C1185 -C1184 -C1183 -C1182 -C1181 -C1180 -C1179 -C1178 -C1177 -C1176 -C1175 -C1174 -C1173 -C1172 C1171 -C1170 -C1169 -C1168 -C1167 -C1166 -C1165 -C1164 -C1163 -C1162 -C1161 -C1160 -C1159 -C1158 -C1157 -C1156 -C1155 -C1154 -C1153 -C1152 -C1151 -C1150 -C1149 -C1148 C1147 -C1146 -C1145 -C1144 -C1143 -C1142 -C1141 -C1140 -C1139 -C1138 -C1137 -C1136 -C1135 -C1134 -C1133 -C1132 -C1131 -C1130 -C1129 -C1128 -C1127 -C1126 -C1125 -C1124 -C1123 -C1122 -C1121 -C1120 -C1119 -C1118 -C1117 -C1116 -C1115 C1114 -C1113 -C1112 -C1111 -C1110 -C1109 -C1108 -C1107 -C1106 -C1105 -C1104 -C1103 -C1102 -C1101 -C1100 -C1099 -C1098 -C1097 -C1096 -C1095 -C1094 -C1093 -C1092 -C1091 -C1090 -C1089 -C1088 -C1087 C1086 -C1085 -C1084 -C1083 -C1082 -C1081 -C1080 -C1079 -C1078 -C1077 -C1076 -C1075 -C1074 -C1073 -C1072 C1071 -C1070 -C1069 -C1068 -C1067 -C1066 -C1065 -C1064 -C1063 -C1062 -C1061 -C1060 -C1059 -C1058 -C1057 -C1056 -C1055 -C1054 -C1053 -C1052 -C1051 -C1050 -C1049 -C1048 -C1047 -C1046 -C1045 -C1044 C1043 -C1042 -C1041 -C1040 -C1039 -C1038 -C1037 -C1036 -C1035 -C1034 -C1033 -C1032 -C1031 -C1030 -C1029 -C1028 -C1027 -C1026 -C1025 -C1024 -C1023 -C1022 -C1021 -C1020 -C1019 -C1018 -C1017 -C1016 -C1015 -C1014 -C1013 -C1012 -C1011 -C1010 -C1009 -C1008 -C1007 -C1006 -C1005 -C1004 -C1003 -C1002 -C1001 -C1000 -C999 -C998 -C997 -C996 -C995 -C994 C993 -C992 -C991 -C990 -C989 -C988 -C987 -C986 -C985 -C984 -C983 -C982 -C981 -C980 -C979 -C978 -C977 -C976 -C975 C974 -C973 -C972 -C971 -C970 -C969 -C968 -C967 -C966 -C965 -C964 -C963 -C962 -C961 -C960 -C959 -C958 -C957 -C956 -C955 -C954 -C953 -C952 -C951 -C950 -C949 -C948 -C947 -C946 -C945 -C944 -C943 -C942 -C941 -C940 -C939 -C938 -C937 -C936 -C935 -C934 -C933 -C932 -C931 -C930 -C929 -C928 -C927 -C926 -C925 -C924 -C923 -C922 -C921 -C920 -C919 -C918 -C917 C916 -C915 -C914 -C913 -C912 -C911 -C910 -C909 -C908 -C907 -C906 -C905 -C904 -C903 -C902 -C901 -C900 -C899 -C898 -C897 -C896 -C895 -C894 -C893 C892 -C891 -C890 -C889 C888 -C887 -C886 -C885 -C884 -C883 -C882 -C881 -C880 -C879 -C878 -C877 -C876 -C875 -C874 -C873 -C872 -C871 -C870 -C869 -C868 -C867 -C866 -C865 -C864 -C863 -C862 -C861 -C860 -C859 -C858 -C857 -C856 -C855 -C854 -C853 -C852 -C851 C850 -C849 -C848 -C847 -C846 -C845 -C844 -C843 -C842 -C841 -C840 -C839 -C838 -C837 -C836 -C835 -C834 -C833 -C832 -C831 -C830 -C829 -C828 -C827 -C826 -C825 -C824 -C823 -C822 -C821 -C820 -C819 -C818 -C817 -C816 -C815 -C814 -C813 -C812 -C811 -C810 -C809 -C808 -C807 -C806 -C805 -C804 -C803 -C802 -C801 -C800 -C799 -C798 -C797 -C796 -C795 -C794 -C793 -C792 -C791 -C790 -C789 -C788 -C787 -C786 -C785 -C784 -C783 -C782 -C781 -C780 C779 -C778 -C777 -C776 -C775 -C774 -C773 -C772 -C771 -C770 -C769 -C768 -C767 -C766 -C765 -C764 -C763 -C762 -C761 -C760 -C759 -C758 -C757 -C756 -C755 -C754 C753 -C752 -C751 -C750 -C749 -C748 -C747 -C746 -C745 -C744 -C743 -C742 -C741 -C740 -C739 -C738 -C737 -C736 -C735 -C734 -C733 -C732 -C731 -C730 -C729 -C728 -C727 -C726 -C725 -C724 C723 -C722 -C721 -C720 -C719 -C718 -C717 -C716 -C715 -C714 -C713 -C712 -C711 -C710 -C709 -C708 C707 -C706 -C705 -C704 -C703 -C702 -C701 -C700 -C699 -C698 -C697 -C696 -C695 -C694 -C693 -C692 -C691 -C690 -C689 -C688 -C687 -C686 -C685 -C684 -C683 -C682 C681 -C680 -C679 -C678 -C677 -C676 -C675 -C674 -C673 -C672 -C671 -C670 -C669 -C668 -C667 -C666 -C665 -C664 -C663 -C662 -C661 -C660 -C659 -C658 -C657 -C656 -C655 -C654 -C653 -C652 -C651 -C650 C649 -C648 -C647 -C646 -C645 -C644 -C643 -C642 -C641 -C640 -C639 -#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 1.07 1.00 0.92 2/54 20269
Raw data (stat): 20269 (runsolver) R 20268 10720 10719 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 423616876 1052672 99 4294967295 134512640 135381576 3221224464 3221219708 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0003 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 20269
Raw data (stat): 20269 (minisat+) R 20268 10720 10719 0 -1 0 6031 0 0 0 982 16 0 0 25 0 1 0 423616876 27402240 6009 4294967295 134512640 134672761 3221224560 3221223732 134556649 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6690 6009 603 41 0 6649 0
vsize: 26760
[startup+20.0013 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 20269
Raw data (stat): 20269 (minisat+) R 20268 10720 10719 0 -1 0 6033 0 0 0 1982 16 0 0 25 0 1 0 423616876 27402240 6011 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6690 6011 603 41 0 6649 0
vsize: 26760
[startup+30.0024 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 20269
Raw data (stat): 20269 (minisat+) R 20268 10720 10719 0 -1 0 6033 0 0 0 2981 17 0 0 25 0 1 0 423616876 27402240 6011 4294967295 134512640 134672761 3221224560 3221223732 134556649 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6690 6011 603 41 0 6649 0
vsize: 26760
[startup+40.0018 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 20269
Raw data (stat): 20269 (minisat+) R 20268 10720 10719 0 -1 0 6033 0 0 0 3980 17 0 0 25 0 1 0 423616876 27402240 6011 4294967295 134512640 134672761 3221224560 3221223732 134556649 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6690 6011 603 41 0 6649 0
vsize: 26760
[startup+50.0027 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 20269
Raw data (stat): 20269 (minisat+) R 20268 10720 10719 0 -1 0 6033 0 0 0 4980 17 0 0 25 0 1 0 423616876 27402240 6011 4294967295 134512640 134672761 3221224560 3221223732 134556682 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6690 6011 603 41 0 6649 0
vsize: 26760
[startup+60.0025 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 20269
Raw data (stat): 20269 (minisat+) R 20268 10720 10719 0 -1 0 6033 0 0 0 5980 18 0 0 25 0 1 0 423616876 27402240 6011 4294967295 134512640 134672761 3221224560 3221223732 134556639 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6690 6011 603 41 0 6649 0
vsize: 26760
[startup+70.0034 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 20269
Raw data (stat): 20269 (minisat+) R 20268 10720 10719 0 -1 0 6033 0 0 0 6980 18 0 0 25 0 1 0 423616876 27402240 6011 4294967295 134512640 134672761 3221224560 3221223732 134556660 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6690 6011 603 41 0 6649 0
vsize: 26760
[startup+80.0042 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 20269
Raw data (stat): 20269 (minisat+) R 20268 10720 10719 0 -1 0 6033 0 0 0 7980 18 0 0 25 0 1 0 423616876 27402240 6011 4294967295 134512640 134672761 3221224560 3221223732 134556641 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6690 6011 603 41 0 6649 0
vsize: 26760
[startup+90.0045 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 20269
Raw data (stat): 20269 (minisat+) R 20268 10720 10719 0 -1 0 6212 0 0 0 8979 20 0 0 25 0 1 0 423616876 28422144 6190 4294967295 134512640 134672761 3221224560 3221223728 134560803 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6939 6190 603 41 0 6898 0
vsize: 27756
[startup+100.005 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 20269
Raw data (stat): 20269 (minisat+) R 20268 10720 10719 0 -1 0 6213 0 0 0 9978 20 0 0 25 0 1 0 423616876 28422144 6191 4294967295 134512640 134672761 3221224560 3221223728 134559068 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6939 6191 603 41 0 6898 0
vsize: 27756
[startup+110.006 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 20269
Raw data (stat): 20269 (minisat+) R 20268 10720 10719 0 -1 0 6215 0 0 0 10978 20 0 0 25 0 1 0 423616876 28422144 6193 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6939 6193 603 41 0 6898 0
vsize: 27756
[startup+120.007 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 20269
Raw data (stat): 20269 (minisat+) R 20268 10720 10719 0 -1 0 6673 0 0 0 11976 22 0 0 25 0 1 0 423616876 30355456 6642 4294967295 134512640 134672761 3221224560 3221223728 134561190 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7411 6642 603 41 0 7370 0
vsize: 29644
[startup+130.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 20269
Raw data (stat): 20269 (minisat+) R 20268 10720 10719 0 -1 0 7445 0 0 0 12973 25 0 0 25 0 1 0 423616876 33558528 7414 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 8193 7414 603 41 0 8152 0
vsize: 32772
[startup+140.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 20269
Raw data (stat): 20269 (minisat+) R 20268 10720 10719 0 -1 0 8097 0 0 0 13971 27 0 0 25 0 1 0 423616876 36110336 8057 4294967295 134512640 134672761 3221224560 3221223696 134560706 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 8816 8057 603 41 0 8775 0
vsize: 35264
[startup+150.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 20269
Raw data (stat): 20269 (minisat+) R 20268 10720 10719 0 -1 0 8628 0 0 0 14969 29 0 0 25 0 1 0 423616876 38256640 8588 4294967295 134512640 134672761 3221224560 3221223760 134557836 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 9340 8588 603 41 0 9299 0
vsize: 37360
[startup+160.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 20269
Raw data (stat): 20269 (minisat+) R 20268 10720 10719 0 -1 0 9019 0 0 0 15968 31 0 0 25 0 1 0 423616876 39956480 8971 4294967295 134512640 134672761 3221224560 3221223664 134560376 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 9755 8971 603 41 0 9714 0
vsize: 39020
[startup+170.007 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 20269
Raw data (stat): 20269 (minisat+) R 20268 10720 10719 0 -1 0 9444 0 0 0 16967 32 0 0 25 0 1 0 423616876 41697280 9396 4294967295 134512640 134672761 3221224560 3221223728 134560830 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 10180 9396 603 41 0 10139 0
vsize: 40720
[startup+180.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 20269
Raw data (stat): 20269 (minisat+) R 20268 10720 10719 0 -1 0 9960 0 0 0 17965 33 0 0 25 0 1 0 423616876 43839488 9912 4294967295 134512640 134672761 3221224560 3221223728 134561021 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 10703 9912 603 41 0 10662 0
vsize: 42812
[startup+190.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 20269
Raw data (stat): 20269 (minisat+) R 20268 10720 10719 0 -1 0 10482 0 0 0 18964 35 0 0 25 0 1 0 423616876 45948928 10434 4294967295 134512640 134672761 3221224560 3221223696 134560673 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11218 10435 603 41 0 11177 0
vsize: 44872
[startup+200.007 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 20269
Raw data (stat): 20269 (minisat+) R 20268 10720 10719 0 -1 0 10945 0 0 0 19963 36 0 0 25 0 1 0 423616876 47828992 10897 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11677 10897 603 41 0 11636 0
vsize: 46708
[startup+210.007 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 20269
Raw data (stat): 20269 (minisat+) R 20268 10720 10719 0 -1 0 11441 0 0 0 20961 38 0 0 25 0 1 0 423616876 49823744 11393 4294967295 134512640 134672761 3221224560 3221223728 134560906 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12164 11393 603 41 0 12123 0
vsize: 48656
[startup+220.008 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 20269
Raw data (stat): 20269 (minisat+) R 20268 10720 10719 0 -1 0 11906 0 0 0 21960 40 0 0 25 0 1 0 423616876 51699712 11858 4294967295 134512640 134672761 3221224560 3221223728 134561151 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12622 11858 603 41 0 12581 0
vsize: 50488
[startup+230.008 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 20269
Raw data (stat): 20269 (minisat+) R 20268 10720 10719 0 -1 0 12236 0 0 0 22959 41 0 0 25 0 1 0 423616876 53026816 12180 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12946 12180 603 41 0 12905 0
vsize: 51784
[startup+240.008 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 20269
Raw data (stat): 20269 (minisat+) R 20268 10720 10719 0 -1 0 12596 0 0 0 23957 42 0 0 25 0 1 0 423616876 54493184 12540 4294967295 134512640 134672761 3221224560 3221223728 134561139 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 13304 12540 603 41 0 13263 0
vsize: 53216
[startup+250.007 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 20269
Raw data (stat): 20269 (minisat+) R 20268 10720 10719 0 -1 0 12893 0 0 0 24957 43 0 0 25 0 1 0 423616876 55959552 12837 4294967295 134512640 134672761 3221224560 3221223664 134560215 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 13662 12837 603 41 0 13621 0
vsize: 54648
[startup+260.007 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 20269
Raw data (stat): 20269 (minisat+) R 20268 10720 10719 0 -1 0 13251 0 0 0 25956 44 0 0 25 0 1 0 423616876 57425920 13195 4294967295 134512640 134672761 3221224560 3221223760 134557895 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 14020 13195 603 41 0 13979 0
vsize: 56080
[startup+270.008 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 20269
Raw data (stat): 20269 (minisat+) R 20268 10720 10719 0 -1 0 13585 0 0 0 26955 45 0 0 25 0 1 0 423616876 58761216 13529 4294967295 134512640 134672761 3221224560 3221223728 134560940 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 14346 13529 603 41 0 14305 0
vsize: 57384
[startup+280.008 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 20269
Raw data (stat): 20269 (minisat+) R 20268 10720 10719 0 -1 0 13917 0 0 0 27954 46 0 0 25 0 1 0 423616876 60092416 13861 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 14671 13861 603 41 0 14630 0
vsize: 58684
[startup+290.008 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 20269
Raw data (stat): 20269 (minisat+) R 20268 10720 10719 0 -1 0 14234 0 0 0 28953 47 0 0 25 0 1 0 423616876 61374464 14170 4294967295 134512640 134672761 3221224560 3221223728 134561139 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 14984 14170 603 41 0 14943 0
vsize: 59936
[startup+300.009 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 20269
Raw data (stat): 20269 (minisat+) R 20268 10720 10719 0 -1 0 14511 0 0 0 29952 48 0 0 25 0 1 0 423616876 62443520 14447 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 15245 14447 603 41 0 15204 0
vsize: 60980
[startup+310.008 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 20269
Raw data (stat): 20269 (minisat+) R 20268 10720 10719 0 -1 0 14845 0 0 0 30951 50 0 0 25 0 1 0 423616876 63770624 14781 4294967295 134512640 134672761 3221224560 3221223684 134566059 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 15569 14781 603 41 0 15528 0
vsize: 62276
[startup+320.008 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 20269
Raw data (stat): 20269 (minisat+) R 20268 10720 10719 0 -1 0 15123 0 0 0 31950 51 0 0 25 0 1 0 423616876 64966656 15059 4294967295 134512640 134672761 3221224560 3221223728 134560956 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 15861 15059 603 41 0 15820 0
vsize: 63444
[startup+330.009 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 20269
Raw data (stat): 20269 (minisat+) R 20268 10720 10719 0 -1 0 15373 0 0 0 32949 52 0 0 25 0 1 0 423616876 65900544 15309 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16089 15309 603 41 0 16048 0
vsize: 64356
[startup+340.009 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 20269
Raw data (stat): 20269 (minisat+) R 20268 10720 10719 0 -1 0 15575 0 0 0 33949 52 0 0 25 0 1 0 423616876 66830336 15511 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16316 15511 603 41 0 16275 0
vsize: 65264
[startup+350.009 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 20269
Raw data (stat): 20269 (minisat+) R 20268 10720 10719 0 -1 0 15768 0 0 0 34948 53 0 0 25 0 1 0 423616876 67493888 15704 4294967295 134512640 134672761 3221224560 3221223744 134559542 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16478 15704 603 41 0 16437 0
vsize: 65912
[startup+360.009 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 20269
Raw data (stat): 20269 (minisat+) R 20268 10720 10719 0 -1 0 15965 0 0 0 35948 53 0 0 25 0 1 0 423616876 68292608 15901 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16673 15901 603 41 0 16632 0
vsize: 66692
[startup+370.009 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 20269
Raw data (stat): 20269 (minisat+) R 20268 10720 10719 0 -1 0 16169 0 0 0 36948 54 0 0 25 0 1 0 423616876 69226496 16105 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16901 16105 603 41 0 16860 0
vsize: 67604
[startup+380.009 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 20269
Raw data (stat): 20269 (minisat+) R 20268 10720 10719 0 -1 0 16376 0 0 0 37947 55 0 0 25 0 1 0 423616876 70021120 16312 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17095 16312 603 41 0 17054 0
vsize: 68380
[startup+390.009 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 20269
Raw data (stat): 20269 (minisat+) R 20268 10720 10719 0 -1 0 16580 0 0 0 38946 56 0 0 25 0 1 0 423616876 70819840 16516 4294967295 134512640 134672761 3221224560 3221223728 134560929 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17290 16516 603 41 0 17249 0
vsize: 69160
[startup+400.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 20269
Raw data (stat): 20269 (minisat+) R 20268 10720 10719 0 -1 0 16800 0 0 0 39946 57 0 0 25 0 1 0 423616876 71745536 16736 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17516 16736 603 41 0 17475 0
vsize: 70064
[startup+410.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 20269
Raw data (stat): 20269 (minisat+) R 20268 10720 10719 0 -1 0 17010 0 0 0 40945 57 0 0 25 0 1 0 423616876 72544256 16946 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17711 16946 603 41 0 17670 0
vsize: 70844
[startup+420.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 20269
Raw data (stat): 20269 (minisat+) R 20268 10720 10719 0 -1 0 17205 0 0 0 41945 58 0 0 25 0 1 0 423616876 73330688 17141 4294967295 134512640 134672761 3221224560 3221223728 134560830 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17903 17141 603 41 0 17862 0
vsize: 71612
[startup+430.009 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 20269
Raw data (stat): 20269 (minisat+) R 20268 10720 10719 0 -1 0 17404 0 0 0 42944 58 0 0 25 0 1 0 423616876 74125312 17340 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18097 17340 603 41 0 18056 0
vsize: 72388
[startup+440.009 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 20269
Raw data (stat): 20269 (minisat+) R 20268 10720 10719 0 -1 0 17635 0 0 0 43944 59 0 0 25 0 1 0 423616876 75186176 17571 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18356 17571 603 41 0 18315 0
vsize: 73424
[startup+450.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 20269
Raw data (stat): 20269 (minisat+) R 20268 10720 10719 0 -1 0 17884 0 0 0 44943 60 0 0 25 0 1 0 423616876 76120064 17820 4294967295 134512640 134672761 3221224560 3221223664 134560402 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18584 17820 603 41 0 18543 0
vsize: 74336
[startup+460.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 20269
Raw data (stat): 20269 (minisat+) R 20268 10720 10719 0 -1 0 18125 0 0 0 45943 61 0 0 25 0 1 0 423616876 77180928 18061 4294967295 134512640 134672761 3221224560 3221223664 134560361 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18843 18061 603 41 0 18802 0
vsize: 75372
[startup+470.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 20269
Raw data (stat): 20269 (minisat+) R 20268 10720 10719 0 -1 0 18382 0 0 0 46942 62 0 0 25 0 1 0 423616876 78106624 18318 4294967295 134512640 134672761 3221224560 3221223728 134561190 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 19069 18318 603 41 0 19028 0
vsize: 76276
[startup+480.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 20269
Raw data (stat): 20269 (minisat+) R 20268 10720 10719 0 -1 0 18609 0 0 0 47941 62 0 0 25 0 1 0 423616876 79028224 18545 4294967295 134512640 134672761 3221224560 3221223696 134560628 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 19294 18545 603 41 0 19253 0
vsize: 77176
[startup+490.009 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 20269
Raw data (stat): 20269 (minisat+) R 20268 10720 10719 0 -1 0 18831 0 0 0 48941 63 0 0 25 0 1 0 423616876 80482304 18767 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 19649 18767 603 41 0 19608 0
vsize: 78596
[startup+500.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 20269
Raw data (stat): 20269 (minisat+) R 20268 10720 10719 0 -1 0 19062 0 0 0 49940 64 0 0 25 0 1 0 423616876 81403904 18998 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 19874 18998 603 41 0 19833 0
vsize: 79496
[startup+510.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 20269
Raw data (stat): 20269 (minisat+) R 20268 10720 10719 0 -1 0 19257 0 0 0 50940 64 0 0 25 0 1 0 423616876 82202624 19193 4294967295 134512640 134672761 3221224560 3221223760 134557822 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 20069 19193 603 41 0 20028 0
vsize: 80276
[startup+520.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 20269
Raw data (stat): 20269 (minisat+) R 20268 10720 10719 0 -1 0 19449 0 0 0 51939 65 0 0 25 0 1 0 423616876 83005440 19385 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 20265 19385 603 41 0 20224 0
vsize: 81060
[startup+530.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 20269
Raw data (stat): 20269 (minisat+) R 20268 10720 10719 0 -1 0 19673 0 0 0 52939 65 0 0 25 0 1 0 423616876 83947520 19609 4294967295 134512640 134672761 3221224560 3221223728 134560871 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 20495 19609 603 41 0 20454 0
vsize: 81980
[startup+540.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 20269
Raw data (stat): 20269 (minisat+) R 20268 10720 10719 0 -1 0 19868 0 0 0 53938 66 0 0 25 0 1 0 423616876 84746240 19804 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 20690 19804 603 41 0 20649 0
vsize: 82760
[startup+550.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 20269
Raw data (stat): 20269 (minisat+) R 20268 10720 10719 0 -1 0 20025 0 0 0 54938 67 0 0 25 0 1 0 423616876 85413888 19961 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 20853 19961 603 41 0 20812 0
vsize: 83412
[startup+560.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 20269
Raw data (stat): 20269 (minisat+) R 20268 10720 10719 0 -1 0 20205 0 0 0 55937 68 0 0 25 0 1 0 423616876 86069248 20141 4294967295 134512640 134672761 3221224560 3221223728 134560999 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21013 20141 603 41 0 20972 0
vsize: 84052
[startup+570.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 20269
Raw data (stat): 20269 (minisat+) R 20268 10720 10719 0 -1 0 20367 0 0 0 56937 68 0 0 25 0 1 0 423616876 86736896 20303 4294967295 134512640 134672761 3221224560 3221223728 134560948 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21176 20303 603 41 0 21135 0
vsize: 84704
[startup+580.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 20269
Raw data (stat): 20269 (minisat+) R 20268 10720 10719 0 -1 0 20548 0 0 0 57936 69 0 0 25 0 1 0 423616876 87531520 20484 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21370 20484 603 41 0 21329 0
vsize: 85480
[startup+590.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 20269
Raw data (stat): 20269 (minisat+) R 20268 10720 10719 0 -1 0 20711 0 0 0 58936 69 0 0 25 0 1 0 423616876 88199168 20647 4294967295 134512640 134672761 3221224560 3221223728 134560940 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21533 20647 603 41 0 21492 0
vsize: 86132
[startup+600.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 20269
Raw data (stat): 20269 (minisat+) R 20268 10720 10719 0 -1 0 20886 0 0 0 59935 70 0 0 25 0 1 0 423616876 88858624 20822 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21694 20822 603 41 0 21653 0
vsize: 86776
[startup+610.251 s]
Raw data (loadavg): 1.08 1.02 0.93 3/57 20309
Raw data (stat): 20269 (minisat+) R 20268 10720 10719 0 -1 0 21086 0 0 0 60952 77 0 0 25 0 1 0 423616876 89653248 21022 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21888 21022 603 41 0 21847 0
vsize: 87552
[startup+620.252 s]
Raw data (loadavg): 1.22 1.05 0.94 2/54 20322
Raw data (stat): 20269 (minisat+) R 20268 10720 10719 0 -1 0 21277 0 0 0 61952 78 0 0 25 0 1 0 423616876 90447872 21213 4294967295 134512640 134672761 3221224560 3221223728 134561118 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 22082 21213 603 41 0 22041 0
vsize: 88328
[startup+630.514 s]
Raw data (loadavg): 1.19 1.05 0.94 2/54 20322
Raw data (stat): 20269 (minisat+) R 20268 10720 10719 0 -1 0 21473 0 0 0 62978 78 0 0 25 0 1 0 423616876 91246592 21409 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 22277 21409 603 41 0 22236 0
vsize: 89108
[startup+640.513 s]
Raw data (loadavg): 1.16 1.04 0.94 2/54 20322
Raw data (stat): 20269 (minisat+) R 20268 10720 10719 0 -1 0 21647 0 0 0 63977 79 0 0 25 0 1 0 423616876 91910144 21583 4294967295 134512640 134672761 3221224560 3221223684 134566034 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 22439 21583 603 41 0 22398 0
vsize: 89756
[startup+650.514 s]
Raw data (loadavg): 1.13 1.04 0.94 2/54 20322
Raw data (stat): 20269 (minisat+) R 20268 10720 10719 0 -1 0 21821 0 0 0 64977 80 0 0 25 0 1 0 423616876 92708864 21757 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 22634 21757 603 41 0 22593 0
vsize: 90536
[startup+660.514 s]
Raw data (loadavg): 1.11 1.04 0.94 2/54 20322
Raw data (stat): 20269 (minisat+) R 20268 10720 10719 0 -1 0 21996 0 0 0 65976 80 0 0 25 0 1 0 423616876 93380608 21932 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 22798 21932 603 41 0 22757 0
vsize: 91192
[startup+670.515 s]
Raw data (loadavg): 1.09 1.04 0.94 2/54 20322
Raw data (stat): 20269 (minisat+) R 20268 10720 10719 0 -1 0 22121 0 0 0 66975 81 0 0 25 0 1 0 423616876 93908992 22057 4294967295 134512640 134672761 3221224560 3221223728 134560948 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 22927 22057 603 41 0 22886 0
vsize: 91708
[startup+680.515 s]
Raw data (loadavg): 1.08 1.04 0.94 2/54 20322
Raw data (stat): 20269 (minisat+) R 20268 10720 10719 0 -1 0 22272 0 0 0 67975 82 0 0 25 0 1 0 423616876 94572544 22208 4294967295 134512640 134672761 3221224560 3221223728 134561198 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 23089 22208 603 41 0 23048 0
vsize: 92356
[startup+690.514 s]
Raw data (loadavg): 1.07 1.03 0.94 2/54 20324
Raw data (stat): 20269 (minisat+) R 20268 10720 10719 0 -1 0 22407 0 0 0 68975 82 0 0 25 0 1 0 423616876 95100928 22343 4294967295 134512640 134672761 3221224560 3221223744 134558687 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 23218 22343 603 41 0 23177 0
vsize: 92872
[startup+700.515 s]
Raw data (loadavg): 1.06 1.03 0.94 2/54 20324
Raw data (stat): 20269 (minisat+) R 20268 10720 10719 0 -1 0 22531 0 0 0 69975 82 0 0 25 0 1 0 423616876 95629312 22467 4294967295 134512640 134672761 3221224560 3221223728 134561151 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 23347 22467 603 41 0 23306 0
vsize: 93388
[startup+710.515 s]
Raw data (loadavg): 1.05 1.03 0.94 2/54 20324
Raw data (stat): 20269 (minisat+) R 20268 10720 10719 0 -1 0 22667 0 0 0 70974 83 0 0 25 0 1 0 423616876 96161792 22603 4294967295 134512640 134672761 3221224560 3221223664 134559964 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 23477 22603 603 41 0 23436 0
vsize: 93908
[startup+720.516 s]
Raw data (loadavg): 1.04 1.03 0.94 2/54 20324
Raw data (stat): 20269 (minisat+) R 20268 10720 10719 0 -1 0 22847 0 0 0 71974 84 0 0 25 0 1 0 423616876 96829440 22783 4294967295 134512640 134672761 3221224560 3221223696 134560566 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 23640 22783 603 41 0 23599 0
vsize: 94560
[startup+730.516 s]
Raw data (loadavg): 1.03 1.03 0.94 2/54 20324
Raw data (stat): 20269 (minisat+) R 20268 10720 10719 0 -1 0 23007 0 0 0 72974 84 0 0 25 0 1 0 423616876 97488896 22943 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 23801 22943 603 41 0 23760 0
vsize: 95204
[startup+740.516 s]
Raw data (loadavg): 1.03 1.03 0.94 2/54 20324
Raw data (stat): 20269 (minisat+) R 20268 10720 10719 0 -1 0 23168 0 0 0 73973 85 0 0 25 0 1 0 423616876 98152448 23104 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 23963 23104 603 41 0 23922 0
vsize: 95852
[startup+750.516 s]
Raw data (loadavg): 1.02 1.03 0.94 2/54 20324
Raw data (stat): 20269 (minisat+) R 20268 10720 10719 0 -1 0 23322 0 0 0 74973 85 0 0 25 0 1 0 423616876 98811904 23258 4294967295 134512640 134672761 3221224560 3221223728 134560937 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24124 23258 603 41 0 24083 0
vsize: 96496
[startup+760.516 s]
Raw data (loadavg): 1.02 1.02 0.94 2/54 20324
Raw data (stat): 20269 (minisat+) R 20268 10720 10719 0 -1 0 23439 0 0 0 75972 86 0 0 25 0 1 0 423616876 99209216 23375 4294967295 134512640 134672761 3221224560 3221223728 134561198 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24221 23375 603 41 0 24180 0
vsize: 96884
[startup+770.517 s]
Raw data (loadavg): 1.02 1.02 0.94 2/54 20324
Raw data (stat): 20269 (minisat+) R 20268 10720 10719 0 -1 0 23580 0 0 0 76972 86 0 0 25 0 1 0 423616876 99872768 23516 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24383 23516 603 41 0 24342 0
vsize: 97532
[startup+780.517 s]
Raw data (loadavg): 1.01 1.02 0.94 2/54 20324
Raw data (stat): 20269 (minisat+) R 20268 10720 10719 0 -1 0 23717 0 0 0 77972 86 0 0 25 0 1 0 423616876 100401152 23653 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24512 23653 603 41 0 24471 0
vsize: 98048
[startup+790.517 s]
Raw data (loadavg): 1.01 1.02 0.94 2/54 20324
Raw data (stat): 20269 (minisat+) R 20268 10720 10719 0 -1 0 23867 0 0 0 78972 86 0 0 25 0 1 0 423616876 100929536 23803 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24641 23803 603 41 0 24600 0
vsize: 98564
[startup+800.518 s]
Raw data (loadavg): 1.01 1.02 0.94 2/54 20324
Raw data (stat): 20269 (minisat+) R 20268 10720 10719 0 -1 0 23967 0 0 0 79972 87 0 0 25 0 1 0 423616876 101326848 23903 4294967295 134512640 134672761 3221224560 3221223728 134561151 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24738 23903 603 41 0 24697 0
vsize: 98952
[startup+810.518 s]
Raw data (loadavg): 1.01 1.02 0.94 2/54 20324
Raw data (stat): 20269 (minisat+) R 20268 10720 10719 0 -1 0 23967 0 0 0 80972 87 0 0 25 0 1 0 423616876 101326848 23903 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24738 23903 603 41 0 24697 0
vsize: 98952
[startup+820.519 s]
Raw data (loadavg): 1.00 1.02 0.94 2/54 20324
Raw data (stat): 20269 (minisat+) R 20268 10720 10719 0 -1 0 23967 0 0 0 81972 87 0 0 25 0 1 0 423616876 101326848 23903 4294967295 134512640 134672761 3221224560 3221223728 134561016 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24738 23903 603 41 0 24697 0
vsize: 98952
[startup+830.519 s]
Raw data (loadavg): 1.00 1.02 0.94 2/54 20324
Raw data (stat): 20269 (minisat+) R 20268 10720 10719 0 -1 0 23967 0 0 0 82972 87 0 0 25 0 1 0 423616876 101326848 23903 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24738 23903 603 41 0 24697 0
vsize: 98952
[startup+840.519 s]
Raw data (loadavg): 1.00 1.02 0.94 2/54 20324
Raw data (stat): 20269 (minisat+) R 20268 10720 10719 0 -1 0 23967 0 0 0 83972 87 0 0 25 0 1 0 423616876 101326848 23903 4294967295 134512640 134672761 3221224560 3221223728 134561151 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24738 23903 603 41 0 24697 0
vsize: 98952
[startup+850.519 s]
Raw data (loadavg): 1.00 1.02 0.94 2/54 20324
Raw data (stat): 20269 (minisat+) R 20268 10720 10719 0 -1 0 23967 0 0 0 84972 87 0 0 25 0 1 0 423616876 101326848 23903 4294967295 134512640 134672761 3221224560 3221223728 134561215 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24738 23903 603 41 0 24697 0
vsize: 98952
[startup+860.519 s]
Raw data (loadavg): 1.00 1.02 0.94 2/54 20324
Raw data (stat): 20269 (minisat+) R 20268 10720 10719 0 -1 0 23967 0 0 0 85972 87 0 0 25 0 1 0 423616876 101326848 23903 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24738 23903 603 41 0 24697 0
vsize: 98952
[startup+870.519 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 20324
Raw data (stat): 20269 (minisat+) R 20268 10720 10719 0 -1 0 23967 0 0 0 86973 87 0 0 25 0 1 0 423616876 101326848 23903 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24738 23903 603 41 0 24697 0
vsize: 98952
[startup+880.519 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 20324
Raw data (stat): 20269 (minisat+) R 20268 10720 10719 0 -1 0 23967 0 0 0 87973 87 0 0 25 0 1 0 423616876 101326848 23903 4294967295 134512640 134672761 3221224560 3221223728 134560871 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24738 23903 603 41 0 24697 0
vsize: 98952
[startup+890.519 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 20324
Raw data (stat): 20269 (minisat+) R 20268 10720 10719 0 -1 0 23967 0 0 0 88973 87 0 0 25 0 1 0 423616876 101326848 23903 4294967295 134512640 134672761 3221224560 3221223728 134560940 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24738 23903 603 41 0 24697 0
vsize: 98952
[startup+900.52 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 20324
Raw data (stat): 20269 (minisat+) R 20268 10720 10719 0 -1 0 23968 0 0 0 89973 87 0 0 25 0 1 0 423616876 101326848 23904 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24738 23904 603 41 0 24697 0
vsize: 98952
[startup+910.52 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 20324
Raw data (stat): 20269 (minisat+) R 20268 10720 10719 0 -1 0 23968 0 0 0 90973 87 0 0 25 0 1 0 423616876 101326848 23904 4294967295 134512640 134672761 3221224560 3221223728 134560996 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24738 23904 603 41 0 24697 0
vsize: 98952
[startup+920.521 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 20324
Raw data (stat): 20269 (minisat+) R 20268 10720 10719 0 -1 0 23968 0 0 0 91974 87 0 0 25 0 1 0 423616876 101326848 23904 4294967295 134512640 134672761 3221224560 3221223728 134560892 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24738 23904 603 41 0 24697 0
vsize: 98952
[startup+930.521 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 20324
Raw data (stat): 20269 (minisat+) R 20268 10720 10719 0 -1 0 23968 0 0 0 92974 87 0 0 25 0 1 0 423616876 101326848 23904 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24738 23904 603 41 0 24697 0
vsize: 98952
[startup+940.52 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 20324
Raw data (stat): 20269 (minisat+) R 20268 10720 10719 0 -1 0 23968 0 0 0 93974 87 0 0 25 0 1 0 423616876 101326848 23904 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24738 23904 603 41 0 24697 0
vsize: 98952
[startup+950.521 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 20324
Raw data (stat): 20269 (minisat+) R 20268 10720 10719 0 -1 0 23968 0 0 0 94974 87 0 0 25 0 1 0 423616876 101326848 23904 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24738 23904 603 41 0 24697 0
vsize: 98952
[startup+960.521 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 20324
Raw data (stat): 20269 (minisat+) R 20268 10720 10719 0 -1 0 23968 0 0 0 95974 87 0 0 25 0 1 0 423616876 101326848 23904 4294967295 134512640 134672761 3221224560 3221223760 134557911 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24738 23904 603 41 0 24697 0
vsize: 98952
[startup+970.521 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 20324
Raw data (stat): 20269 (minisat+) R 20268 10720 10719 0 -1 0 23968 0 0 0 96974 87 0 0 25 0 1 0 423616876 101326848 23904 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24738 23904 603 41 0 24697 0
vsize: 98952
[startup+980.522 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 20324
Raw data (stat): 20269 (minisat+) R 20268 10720 10719 0 -1 0 23968 0 0 0 97975 87 0 0 25 0 1 0 423616876 101326848 23904 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24738 23904 603 41 0 24697 0
vsize: 98952
[startup+990.522 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 20326
Raw data (stat): 20269 (minisat+) R 20268 10720 10719 0 -1 0 23968 0 0 0 98975 87 0 0 25 0 1 0 423616876 101326848 23904 4294967295 134512640 134672761 3221224560 3221223696 134560729 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24738 23904 603 41 0 24697 0
vsize: 98952
[startup+1000.52 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 20326
Raw data (stat): 20269 (minisat+) R 20268 10720 10719 0 -1 0 23968 0 0 0 99975 87 0 0 25 0 1 0 423616876 101326848 23904 4294967295 134512640 134672761 3221224560 3221223696 134560677 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24738 23904 603 41 0 24697 0
vsize: 98952
[startup+1010.52 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 20326
Raw data (stat): 20269 (minisat+) R 20268 10720 10719 0 -1 0 23969 0 0 0 100975 87 0 0 25 0 1 0 423616876 101326848 23905 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24738 23905 603 41 0 24697 0
vsize: 98952
[startup+1020.52 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 20326
Raw data (stat): 20269 (minisat+) R 20268 10720 10719 0 -1 0 23969 0 0 0 101975 87 0 0 25 0 1 0 423616876 101326848 23905 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24738 23905 603 41 0 24697 0
vsize: 98952
[startup+1030.52 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 20326
Raw data (stat): 20269 (minisat+) R 20268 10720 10719 0 -1 0 23969 0 0 0 102975 87 0 0 25 0 1 0 423616876 101326848 23905 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24738 23905 603 41 0 24697 0
vsize: 98952
[startup+1040.52 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 20326
Raw data (stat): 20269 (minisat+) R 20268 10720 10719 0 -1 0 23969 0 0 0 103976 87 0 0 25 0 1 0 423616876 101326848 23905 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24738 23905 603 41 0 24697 0
vsize: 98952
[startup+1050.52 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 20326
Raw data (stat): 20269 (minisat+) R 20268 10720 10719 0 -1 0 23969 0 0 0 104976 87 0 0 25 0 1 0 423616876 101326848 23905 4294967295 134512640 134672761 3221224560 3221223728 134560980 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24738 23905 603 41 0 24697 0
vsize: 98952
[startup+1060.52 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 20326
Raw data (stat): 20269 (minisat+) R 20268 10720 10719 0 -1 0 23969 0 0 0 105975 88 0 0 25 0 1 0 423616876 101326848 23905 4294967295 134512640 134672761 3221224560 3221223664 134560252 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24738 23905 603 41 0 24697 0
vsize: 98952
[startup+1070.53 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 20326
Raw data (stat): 20269 (minisat+) R 20268 10720 10719 0 -1 0 23969 0 0 0 106975 88 0 0 25 0 1 0 423616876 101326848 23905 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24738 23905 603 41 0 24697 0
vsize: 98952
[startup+1080.53 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 20326
Raw data (stat): 20269 (minisat+) R 20268 10720 10719 0 -1 0 23969 0 0 0 107976 88 0 0 25 0 1 0 423616876 101326848 23905 4294967295 134512640 134672761 3221224560 3221223728 134560858 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24738 23905 603 41 0 24697 0
vsize: 98952
[startup+1090.53 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 20326
Raw data (stat): 20269 (minisat+) R 20268 10720 10719 0 -1 0 23969 0 0 0 108976 88 0 0 25 0 1 0 423616876 101326848 23905 4294967295 134512640 134672761 3221224560 3221223664 134560303 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24738 23905 603 41 0 24697 0
vsize: 98952
[startup+1100.53 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 20326
Raw data (stat): 20269 (minisat+) R 20268 10720 10719 0 -1 0 23969 0 0 0 109976 88 0 0 25 0 1 0 423616876 101326848 23905 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24738 23905 603 41 0 24697 0
vsize: 98952
[startup+1110.53 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 20326
Raw data (stat): 20269 (minisat+) R 20268 10720 10719 0 -1 0 23969 0 0 0 110976 88 0 0 25 0 1 0 423616876 101326848 23905 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24738 23905 603 41 0 24697 0
vsize: 98952
[startup+1120.53 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 20326
Raw data (stat): 20269 (minisat+) R 20268 10720 10719 0 -1 0 23969 0 0 0 111976 88 0 0 25 0 1 0 423616876 101326848 23905 4294967295 134512640 134672761 3221224560 3221223728 134561021 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24738 23905 603 41 0 24697 0
vsize: 98952
[startup+1130.53 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 20326
Raw data (stat): 20269 (minisat+) R 20268 10720 10719 0 -1 0 23969 0 0 0 112977 88 0 0 25 0 1 0 423616876 101326848 23905 4294967295 134512640 134672761 3221224560 3221223664 134560246 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24738 23905 603 41 0 24697 0
vsize: 98952
[startup+1140.53 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 20326
Raw data (stat): 20269 (minisat+) R 20268 10720 10719 0 -1 0 23969 0 0 0 113977 88 0 0 25 0 1 0 423616876 101326848 23905 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24738 23905 603 41 0 24697 0
vsize: 98952
[startup+1150.53 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 20326
Raw data (stat): 20269 (minisat+) R 20268 10720 10719 0 -1 0 23969 0 0 0 114977 88 0 0 25 0 1 0 423616876 101326848 23905 4294967295 134512640 134672761 3221224560 3221223728 134561001 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24738 23905 603 41 0 24697 0
vsize: 98952
[startup+1160.53 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 20326
Raw data (stat): 20269 (minisat+) R 20268 10720 10719 0 -1 0 23969 0 0 0 115977 88 0 0 25 0 1 0 423616876 101326848 23905 4294967295 134512640 134672761 3221224560 3221223744 134559498 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24738 23905 603 41 0 24697 0
vsize: 98952
[startup+1170.53 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 20326
Raw data (stat): 20269 (minisat+) R 20268 10720 10719 0 -1 0 23969 0 0 0 116978 88 0 0 25 0 1 0 423616876 101326848 23905 4294967295 134512640 134672761 3221224560 3221223728 134561167 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24738 23905 603 41 0 24697 0
vsize: 98952
[startup+1180.53 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 20326
Raw data (stat): 20269 (minisat+) R 20268 10720 10719 0 -1 0 23969 0 0 0 117978 88 0 0 25 0 1 0 423616876 101326848 23905 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24738 23905 603 41 0 24697 0
vsize: 98952
[startup+1190.53 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 20326
Raw data (stat): 20269 (minisat+) R 20268 10720 10719 0 -1 0 23970 0 0 0 118978 88 0 0 25 0 1 0 423616876 101326848 23906 4294967295 134512640 134672761 3221224560 3221223728 134561151 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24738 23906 603 41 0 24697 0
vsize: 98952
[startup+1200.53 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 20326
Raw data (stat): 20269 (minisat+) R 20268 10720 10719 0 -1 0 23970 0 0 0 119978 88 0 0 25 0 1 0 423616876 101326848 23906 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24738 23906 603 41 0 24697 0
vsize: 98952
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.58 s]
Raw data (loadavg): 1.00 1.00 0.94 1/54 20326
Raw data (stat): 20269 (minisat+) Z 20268 10720 10719 0 -1 12 23973 0 0 0 119978 92 0 0 25 0 1 0 423616876 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.58
CPU time (s): 1200.72
CPU user time (s): 1199.79
CPU system time (s): 0.927858
CPU usage (%): 100.011
Max. virtual memory (Kb): 98952
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####