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-4.opb
MD5SUM	b7f280d80b52f97899362fbc10d59421
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.12
Number of variables	1272
Total number of constraints	94308
Number of constraints which are clauses	94308
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 6015

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc22 THE 2005-04-14 02:59:01 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=4478 boxname=wulflinc22 idbench=342 idsolver=12 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  b7f280d80b52f97899362fbc10d59421  /oldhome/oroussel/tmp/wulflinc22/normalized-frb53-24-4.opb
REAL COMMAND:  minisat+ -cb -gs /oldhome/oroussel/tmp/wulflinc22/normalized-frb53-24-4.opb /oldhome/oroussel/tmp/wulflinc22/normalized-frb53-24-4.opb
IDLAUNCH: 4478
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.031
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	: 3
cpu MHz		: 451.031
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:        825192 kB
Buffers:         33196 kB
Cached:         132336 kB
SwapCached:        524 kB
Active:          51896 kB
Inactive:       117040 kB
HighTotal:      131008 kB
HighFree:         4872 kB
LowTotal:       903652 kB
LowFree:        820320 kB
SwapTotal:     2097892 kB
SwapFree:      2097368 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6924 kB
Slab:            34852 kB
Committed_AS:    63488 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-14 03:19:03 (client local time) WITH STATUS 10 IN 1200.22 SECONDS
stats: 4478 7 1200.22 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Parsing PB file...
c Converting 94308 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 |   94308   188616 |   31436       0        0     nan |  0.000 % |
c ==============================================================================
c [1mFound solution: -35[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 |  169359   364682 |   56453       0        0     nan |  0.000 % |
c |       100 |  168922   363775 |   62098      77      709     9.2 |  0.462 % |
c |       250 |  168305   362472 |   68308     192     1716     8.9 |  1.133 % |
c |       475 |  166978   359599 |   75138     381     5781    15.2 |  2.646 % |
c |       812 |  165218   355749 |   82652     626     8251    13.2 |  4.692 % |
c |      1318 |  162383   349476 |   90918     969    12154    12.5 |  8.056 % |
c |      2077 |  157617   338824 |  100009    1476    17994    12.2 | 13.811 % |
c |      3216 |  151802   325721 |  110010    2318    29720    12.8 | 20.921 % |
c ==============================================================================
c [1mFound solution: -37[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 |      4326 |  144676   309573 |   48225    3058    38672    12.6 | 20.921 % |
c |      4426 |  144186   308463 |   53047    3120    40617    13.0 | 30.445 % |
c |      4578 |  143238   306289 |   58352    3231    41825    12.9 | 31.640 % |
c |      4803 |  142402   304387 |   64187    3414    43860    12.8 | 32.673 % |
c |      5140 |  140852   300820 |   70606    3633    46525    12.8 | 34.621 % |
c |      5646 |  137216   292423 |   77666    3913    51403    13.1 | 39.212 % |
c |      6405 |  133356   283441 |   85433    4391    54876    12.5 | 44.054 % |
c |      7544 |  127322   269284 |   93976    4922    61075    12.4 | 51.849 % |
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 |      9035 |  122166   257188 |   40722    5712    68946    12.1 | 51.849 % |
c |      9135 |  121552   255722 |   44794    5751    69272    12.0 | 59.554 % |
c |      9285 |  121245   255012 |   49273    5828    69502    11.9 | 59.945 % |
c |      9510 |  121055   254568 |   54200    6029    72399    12.0 | 60.191 % |
c |      9847 |  120494   253218 |   59621    6279    75507    12.0 | 60.946 % |
c |     10353 |  118916   249506 |   65583    6555    78969    12.0 | 62.996 % |
c |     11112 |  117082   245139 |   72141    7037    85135    12.1 | 65.428 % |
c |     12251 |  114869   239846 |   79355    7741    96400    12.5 | 68.376 % |
c |     13959 |  112196   233396 |   87291    8885   110056    12.4 | 71.966 % |
c |     16523 |  108175   223723 |   96020   10065   142813    14.2 | 77.395 % |
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 |     19072 |  106303   219239 |   35434   11936   210099    17.6 | 77.395 % |
c |     19172 |  106043   218597 |   38977   11913   208439    17.5 | 80.304 % |
c |     19322 |  105714   217753 |   42875   11980   209621    17.5 | 80.776 % |
c |     19547 |  105655   217612 |   47162   12193   214538    17.6 | 80.854 % |
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 |     19700 |  105414   216919 |   35138   12302   216558    17.6 | 80.854 % |
c |     19802 |  105209   216406 |   38651   12305   216661    17.6 | 81.471 % |
c |     19953 |  105203   216390 |   42516   12451   220393    17.7 | 81.480 % |
c |     20178 |  105058   216037 |   46768   12580   223266    17.7 | 81.681 % |
c |     20516 |  104867   215577 |   51445   12813   230857    18.0 | 81.941 % |
c |     21023 |  104818   215452 |   56590   13308   264533    19.9 | 82.011 % |
c |     21782 |  104386   214420 |   62249   13800   279516    20.3 | 82.590 % |
c |     22921 |  104213   214009 |   68474   14850   336123    22.6 | 82.822 % |
c |     24629 |  103871   213167 |   75321   16186   396533    24.5 | 83.304 % |
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 |     26527 |  103755   212908 |   34585   17822   678720    38.1 | 83.304 % |
c |     26627 |  103735   212860 |   38043   17778   677205    38.1 | 83.537 % |
c |     26777 |  103735   212860 |   41847   17928   682500    38.1 | 83.537 % |
c |     27002 |  103433   212117 |   46032   17979   684667    38.1 | 83.965 % |
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 |     27134 |  103393   211992 |   34464   18086   687939    38.0 | 83.965 % |
c |     27235 |  103393   211992 |   37910   18187   690077    37.9 | 84.028 % |
c |     27385 |  103330   211845 |   41701   18330   694511    37.9 | 84.110 % |
c |     27610 |  103274   211723 |   45871   18540   704605    38.0 | 84.174 % |
c |     27947 |  103174   211495 |   50458   18784   712675    37.9 | 84.298 % |
c |     28453 |  103125   211380 |   55504   19201   738207    38.4 | 84.363 % |
c |     29213 |  103036   211162 |   61055   19929   801117    40.2 | 84.483 % |
c |     30354 |  103036   211162 |   67160   21070   872549    41.4 | 84.483 % |
c |     32062 |  102929   210905 |   73876   22689   978508    43.1 | 84.629 % |
c |     34625 |  102876   210772 |   81264   25209  1290370    51.2 | 84.705 % |
c |     38470 |  102422   209622 |   89390   28495  1592565    55.9 | 85.367 % |
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 |     42150 |  102402   209586 |   34134   32167  2030327    63.1 | 85.367 % |
c |     42250 |  102360   209480 |   37547   32094  2030566    63.3 | 85.465 % |
c |     42400 |  102360   209480 |   41302   32244  2037497    63.2 | 85.465 % |
c |     42627 |  102312   209368 |   45432   32244  2042126    63.3 | 85.527 % |
c |     42964 |  102312   209368 |   49975   32581  2056632    63.1 | 85.527 % |
c |     43470 |  102291   209319 |   54973   33064  2093079    63.3 | 85.554 % |
c |     44229 |  102285   209305 |   60470   33822  2138960    63.2 | 85.562 % |
c |     45368 |  102285   209305 |   66517   34961  2228762    63.7 | 85.562 % |
c |     47079 |  102253   209229 |   73169   36649  2377893    64.9 | 85.605 % |
c |     49642 |  102161   209013 |   80486   38901  2692898    69.2 | 85.725 % |
c |     53486 |  101926   208427 |   88534   42083  3015186    71.6 | 86.065 % |
c |     59252 |  101926   208427 |   97388   47849  4019284    84.0 | 86.065 % |
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 |     63656 |  101864   208243 |   33954   52055  4640150    89.1 | 86.065 % |
c |     63756 |  101864   208243 |   37349   52155  4646978    89.1 | 86.150 % |
c |     63906 |  101784   208061 |   41084   52010  4649791    89.4 | 86.249 % |
c |     64133 |  101747   207976 |   45192   52227  4665999    89.3 | 86.295 % |
c |     64471 |  101747   207976 |   49712   52565  4707636    89.6 | 86.295 % |
c |     64979 |  101698   207853 |   54683   53067  4764394    89.8 | 86.367 % |
c |     65739 |  101698   207853 |   60151   53827  4818117    89.5 | 86.367 % |
c |     66878 |  101698   207853 |   66166   54966  4969185    90.4 | 86.367 % |
c |     68586 |  101644   207713 |   72783   56584  5161376    91.2 | 86.451 % |
c |     71148 |  101596   207595 |   80061   59103  5440262    92.0 | 86.515 % |
c |     74993 |  101575   207542 |   88067   62857  5902484    93.9 | 86.546 % |
c |     80759 |  101529   207432 |   96874   68536  6548383    95.5 | 86.608 % |
c |     89409 |  101529   207432 |  106562   77186  7759810   100.5 | 86.608 % |
c |    102383 |  101499   207363 |  117218   89990  9717255   108.0 | 86.643 % |
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 |    111569 |  101519   207425 |   33839   99175 10870430   109.6 | 86.643 % |
c |    111669 |  101519   207425 |   37222   21174  1649250    77.9 | 86.653 % |
c |    111819 |  101519   207425 |   40945   21324  1657282    77.7 | 86.653 % |
c |    112044 |  101519   207425 |   45039   21549  1669973    77.5 | 86.653 % |
c |    112381 |  101519   207425 |   49543   21886  1703740    77.8 | 86.653 % |
c |    112888 |  101519   207425 |   54498   22393  1760303    78.6 | 86.653 % |
c |    113648 |  101519   207425 |   59947   23153  1822629    78.7 | 86.653 % |
c |    114788 |  101519   207425 |   65942   24293  1967003    81.0 | 86.653 % |
c |    116496 |  101426   207199 |   72536   25977  2138860    82.3 | 86.779 % |
c |    119058 |  101330   206964 |   79790   28358  2417119    85.2 | 86.911 % |
c |    122902 |  101305   206907 |   87769   32146  2874288    89.4 | 86.942 % |
c |    128668 |  101287   206865 |   96546   37909  3613117    95.3 | 86.965 % |
c |    137317 |  101265   206813 |  106201   46547  4922270   105.7 | 86.994 % |
c |    150291 |  101143   206513 |  116821   59498  6548282   110.1 | 87.163 % |
c |    169752 |  101069   206331 |  128503   78930  9574296   121.3 | 87.268 % |
c |    198948 |  101014   206202 |  141353  108099 13638722   126.2 | 87.336 % |
c |    242737 |  101007   206183 |  155489  151887 17463503   115.0 | 87.347 % |
c 
c *** TERMINATED ***
s SATISFIABLE
v -C1272 -C1271 -C1270 -C1269 -C1268 -C1267 -C1266 -C1265 -C1264 -C1263 -C1262 -C1261 -C1260 -C1259 C1258 -C1257 -C1256 -C1255 -C1254 -C1253 -C1252 -C1251 -C1250 -C1249 -C1248 -C1247 -C1246 -C1245 -C1244 -C1243 -C1242 -C1241 -C1240 -C1239 -C1238 -C1237 -C1236 -C1235 -C1234 -C1233 -C1232 -C1231 -C1230 -C1229 -C1228 -C1227 -C1226 -C1225 -C1224 -C1223 -C1222 -C1221 -C1220 -C1219 -C1218 -C1217 -C1216 -C1215 -C1214 -C1213 -C1212 -C1211 -C1210 -C1209 -C1208 -C1207 -C1206 -C1205 -C1204 C1203 -C1202 -C1201 -C1200 -C1199 -C1198 -C1197 -C1196 -C1195 -C1194 -C1193 -C1192 -C1191 -C1190 -C1189 C1188 -C1187 -C1186 -C1185 -C1184 -C1183 -C1182 -C1181 -C1180 -C1179 -C1178 -C1177 -C1176 -C1175 -C1174 -C1173 -C1172 -C1171 -C1170 -C1169 -C1168 -C1167 -C1166 -C1165 -C1164 -C1163 -C1162 -C1161 -C1160 C1159 -C1158 -C1157 -C1156 -C1155 -C1154 -C1153 -C1152 -C1151 -C1150 -C1149 -C1148 -C1147 -C1146 C1145 -C1144 -C1143 -C1142 -C1141 -C1140 -C1139 -C1138 -C1137 -C1136 -C1135 -C1134 -C1133 -C1132 -C1131 -C1130 -C1129 -C1128 -C1127 -C1126 -C1125 -C1124 -C1123 -C1122 -C1121 -C1120 -C1119 -C1118 -C1117 -C1116 -C1115 -C1114 -C1113 -C1112 -C1111 -C1110 C1109 -C1108 -C1107 -C1106 -C1105 -C1104 -C1103 -C1102 -C1101 -C1100 -C1099 -C1098 -C1097 -C1096 -C1095 -C1094 -C1093 -C1092 -C1091 -C1090 -C1089 -C1088 -C1087 -C1086 -C1085 -C1084 -C1083 -C1082 C1081 -C1080 -C1079 -C1078 -C1077 C1076 -C1075 -C1074 -C1073 -C1072 -C1071 -C1070 -C1069 -C1068 -C1067 -C1066 -C1065 -C1064 -C1063 -C1062 -C1061 -C1060 -C1059 -C1058 -C1057 -C1056 -C1055 C1054 -C1053 -C1052 -C1051 -C1050 -C1049 -C1048 -C1047 -C1046 -C1045 -C1044 -C1043 -C1042 -C1041 -C1040 -C1039 -C1038 -C1037 -C1036 -C1035 -C1034 -C1033 -C1032 -C1031 -C1030 -C1029 -C1028 -C1027 -C1026 -C1025 -C1024 -C1023 -C1022 -C1021 -C1020 -C1019 -C1018 -C1017 -C1016 -C1015 C1014 -C1013 -C1012 -C1011 -C1010 -C1009 -C1008 -C1007 -C1006 -C1005 -C1004 -C1003 -C1002 -C1001 -C1000 -C999 -C998 -C997 -C996 -C995 -C994 -C993 -C992 -C991 -C990 -C989 -C988 -C987 -C986 C985 -C984 -C983 -C982 -C981 -C980 -C979 C978 -C977 -C976 -C975 -C974 -C973 -C972 -C971 -C970 -C969 -C968 -C967 -C966 -C965 -C964 -C963 -C962 -C961 -C960 -C959 -C958 -C957 -C956 -C955 -C954 -C953 -C952 -C951 -C950 -C949 -C948 -C947 -C946 C945 -C944 -C943 -C942 -C941 -C940 -C939 -C938 -C937 -C936 -C935 -C934 -C933 -C932 -C931 -C930 -C929 -C928 -C927 -C926 -C925 -C924 -C923 -C922 -C921 -C920 -C919 -C918 -C917 C916 -C915 -C914 -C913 -C912 -C911 -C910 -C909 -C908 -C907 -C906 -C905 -C904 -C903 -C902 -C901 -C900 -C899 -C898 -C897 -C896 -C895 -C894 C893 -C892 -C891 -C890 -C889 C888 -C887 -C886 -C885 -C884 -C883 -C882 -C881 -C880 -C879 -C878 -C877 -C876 -C875 -C874 -C873 -C872 -C871 -C870 -C869 -C868 -C867 -C866 -C865 -C864 -C863 -C862 -C861 -C860 -C859 -C858 -C857 C856 -C855 -C854 -C853 -C852 -C851 -C850 -C849 -C848 -C847 -C846 -C845 -C844 -C843 -C842 -C841 -C840 -C839 -C838 -C837 -C836 -C835 -C834 C833 -C832 -C831 -C830 -C829 -C828 -C827 -C826 -C825 -C824 -C823 -C822 -C821 -C820 -C819 -C818 -C817 -C816 -C815 -C814 -C813 -C812 -C811 -C810 -C809 -C808 -C807 -C806 -C805 -C804 -C803 -C802 -C801 C800 -C799 -C798 -C797 -C796 -C795 -C794 -C793 -C792 -C791 -C790 C789 -C788 -C787 -C786 -C785 -C784 -C783 -C782 -C781 -C780 -C779 -C778 -C777 -C776 -C775 -C774 -C773 -C772 -C771 -C770 -C769 -C768 -C767 -C766 -C765 -C764 -C763 -C762 -C761 C760 -C759 -C758 -C757 -C756 -C755 -C754 -C753 -C752 -C751 -C750 -C749 -C748 -C747 -C746 -C745 -C744 -C743 -C742 -C741 -C740 -C739 -C738 -C737 -C736 -C735 -C734 -C733 -C732 -C731 C730 -C729 -C728 -C727 -C726 -C725 -C724 -C723 -C722 -C721 -C720 -C719 -C718 -C717 -C716 -C715 -C714 -C713 -C712 -C711 -C710 -C709 -C708 -C707 C706 -C705 -C704 -C703 -C702 -C701 -C700 -C699 -C698 -C697 -C696 C695 -C694 -C693 -C692 -C691 -C690 -C689 -C688 -C687 -C686 -C685 -C684 -C683 -C682 -C681 -C680 -C679 -C678 -C677 -C676 -C675 -C674 -C673 C672 -C671 -C670 -C669 -C668 -C667 -C666 -C665 -C664 -C663 -C662 -C661 -C660 -C659 -C658 -C657 -C656 -C655 -C654 -C653 -C652 -C651 -C650 -C649 -C648 -C647 -C646 -C645 -C644 -C643 -C642 -C641 -C640 -C639 -C63#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.86 0.94 0.90 2/54 31384
Raw data (stat): 31384 (runsolver) R 31383 26298 26297 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 481174033 1052672 99 4294967295 134512640 135381576 3221224448 3221219692 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.0006 s]
Raw data (loadavg): 0.88 0.94 0.90 2/54 31384
Raw data (stat): 31384 (minisat+) R 31383 26298 26297 0 -1 0 5636 0 0 0 982 15 0 0 25 0 1 0 481174033 26087424 5614 4294967295 134512640 134672761 3221224560 3221223748 134556588 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 6369 5614 603 41 0 6328 0
vsize: 25476
[startup+20.0003 s]
Raw data (loadavg): 0.90 0.94 0.90 2/54 31384
Raw data (stat): 31384 (minisat+) R 31383 26298 26297 0 -1 0 5644 0 0 0 1982 16 0 0 25 0 1 0 481174033 26087424 5622 4294967295 134512640 134672761 3221224560 3221223732 134556598 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6369 5622 603 41 0 6328 0
vsize: 25476
[startup+30.001 s]
Raw data (loadavg): 0.91 0.94 0.90 2/54 31384
Raw data (stat): 31384 (minisat+) R 31383 26298 26297 0 -1 0 5649 0 0 0 2981 16 0 0 25 0 1 0 481174033 26222592 5627 4294967295 134512640 134672761 3221224560 3221223764 134561964 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6402 5627 603 41 0 6361 0
vsize: 25608
[startup+40.0008 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 31384
Raw data (stat): 31384 (minisat+) R 31383 26298 26297 0 -1 0 5659 0 0 0 3981 16 0 0 25 0 1 0 481174033 26222592 5637 4294967295 134512640 134672761 3221224560 3221223776 134561997 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6402 5637 603 41 0 6361 0
vsize: 25608
[startup+50.0006 s]
Raw data (loadavg): 0.94 0.95 0.90 2/54 31384
Raw data (stat): 31384 (minisat+) R 31383 26298 26297 0 -1 0 5806 0 0 0 4980 17 0 0 25 0 1 0 481174033 27168768 5784 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6633 5784 603 41 0 6592 0
vsize: 26532
[startup+60.0002 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 31384
Raw data (stat): 31384 (minisat+) R 31383 26298 26297 0 -1 0 5806 0 0 0 5980 17 0 0 25 0 1 0 481174033 27168768 5784 4294967295 134512640 134672761 3221224560 3221223732 134556598 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6633 5784 603 41 0 6592 0
vsize: 26532
[startup+70.0001 s]
Raw data (loadavg): 1.03 0.96 0.91 2/54 31437
Raw data (stat): 31384 (minisat+) R 31383 26298 26297 0 -1 0 5806 0 0 0 6974 23 0 0 25 0 1 0 481174033 27168768 5784 4294967295 134512640 134672761 3221224560 3221223764 134561964 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 6633 5784 603 41 0 6592 0
vsize: 26532
[startup+80.0005 s]
Raw data (loadavg): 1.03 0.96 0.91 2/54 31437
Raw data (stat): 31384 (minisat+) R 31383 26298 26297 0 -1 0 5806 0 0 0 7975 23 0 0 25 0 1 0 481174033 27168768 5784 4294967295 134512640 134672761 3221224560 3221223732 134556598 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 6633 5784 603 41 0 6592 0
vsize: 26532
[startup+90.0005 s]
Raw data (loadavg): 1.02 0.97 0.91 2/54 31437
Raw data (stat): 31384 (minisat+) R 31383 26298 26297 0 -1 0 5808 0 0 0 8975 23 0 0 25 0 1 0 481174033 27168768 5786 4294967295 134512640 134672761 3221224560 3221223728 134561229 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 6633 5786 603 41 0 6592 0
vsize: 26532
[startup+100 s]
Raw data (loadavg): 1.02 0.97 0.91 2/54 31437
Raw data (stat): 31384 (minisat+) R 31383 26298 26297 0 -1 0 5808 0 0 0 9975 23 0 0 25 0 1 0 481174033 27168768 5786 4294967295 134512640 134672761 3221224560 3221223732 134556598 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 6633 5786 603 41 0 6592 0
vsize: 26532
[startup+110.001 s]
Raw data (loadavg): 1.02 0.97 0.91 2/54 31437
Raw data (stat): 31384 (minisat+) R 31383 26298 26297 0 -1 0 5838 0 0 0 10974 23 0 0 25 0 1 0 481174033 27303936 5816 4294967295 134512640 134672761 3221224560 3221223744 134559199 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 6666 5816 603 41 0 6625 0
vsize: 26664
[startup+120.019 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 31437
Raw data (stat): 31384 (minisat+) R 31383 26298 26297 0 -1 0 6022 0 0 0 11975 24 0 0 25 0 1 0 481174033 28106752 6000 4294967295 134512640 134672761 3221224560 3221223664 134560158 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 6862 6000 603 41 0 6821 0
vsize: 27448
[startup+130.019 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 31437
Raw data (stat): 31384 (minisat+) R 31383 26298 26297 0 -1 0 6468 0 0 0 12974 25 0 0 25 0 1 0 481174033 29900800 6446 4294967295 134512640 134672761 3221224560 3221223728 134561372 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7300 6446 603 41 0 7259 0
vsize: 29200
[startup+140.019 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 31437
Raw data (stat): 31384 (minisat+) R 31383 26298 26297 0 -1 0 7059 0 0 0 13972 27 0 0 25 0 1 0 481174033 32309248 7037 4294967295 134512640 134672761 3221224560 3221223728 134561148 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 7888 7037 603 41 0 7847 0
vsize: 31552
[startup+150.02 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 31439
Raw data (stat): 31384 (minisat+) R 31383 26298 26297 0 -1 0 7575 0 0 0 14971 29 0 0 25 0 1 0 481174033 34471936 7553 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 8416 7553 603 41 0 8375 0
vsize: 33664
[startup+160.02 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 31439
Raw data (stat): 31384 (minisat+) R 31383 26298 26297 0 -1 0 8042 0 0 0 15969 30 0 0 25 0 1 0 481174033 36454400 8020 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 8900 8020 603 41 0 8859 0
vsize: 35600
[startup+170.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31439
Raw data (stat): 31384 (minisat+) R 31383 26298 26297 0 -1 0 8516 0 0 0 16969 31 0 0 25 0 1 0 481174033 38457344 8494 4294967295 134512640 134672761 3221224560 3221223708 134560552 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 9389 8494 603 41 0 9348 0
vsize: 37556
[startup+180.021 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31439
Raw data (stat): 31384 (minisat+) R 31383 26298 26297 0 -1 0 8909 0 0 0 17967 33 0 0 25 0 1 0 481174033 39936000 8887 4294967295 134512640 134672761 3221224560 3221223664 134560196 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 9750 8887 603 41 0 9709 0
vsize: 39000
[startup+190.022 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31439
Raw data (stat): 31384 (minisat+) R 31383 26298 26297 0 -1 0 9570 0 0 0 18965 35 0 0 25 0 1 0 481174033 42741760 9548 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 10435 9548 603 41 0 10394 0
vsize: 41740
[startup+200.022 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31439
Raw data (stat): 31384 (minisat+) R 31383 26298 26297 0 -1 0 10138 0 0 0 19964 37 0 0 25 0 1 0 481174033 45010944 10116 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 10989 10116 603 41 0 10948 0
vsize: 43956
[startup+210.022 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31439
Raw data (stat): 31384 (minisat+) R 31383 26298 26297 0 -1 0 10669 0 0 0 20963 38 0 0 25 0 1 0 481174033 47124480 10647 4294967295 134512640 134672761 3221224560 3221223860 134556634 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11505 10647 603 41 0 11464 0
vsize: 46020
[startup+220.022 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31439
Raw data (stat): 31384 (minisat+) R 31383 26298 26297 0 -1 0 11007 0 0 0 21962 39 0 0 25 0 1 0 481174033 48463872 10985 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 11832 10985 603 41 0 11791 0
vsize: 47328
[startup+230.022 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31439
Raw data (stat): 31384 (minisat+) R 31383 26298 26297 0 -1 0 11413 0 0 0 22961 40 0 0 25 0 1 0 481174033 50212864 11391 4294967295 134512640 134672761 3221224560 3221223728 134560909 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12259 11391 603 41 0 12218 0
vsize: 49036
[startup+240.022 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31439
Raw data (stat): 31384 (minisat+) R 31383 26298 26297 0 -1 0 11827 0 0 0 23959 42 0 0 25 0 1 0 481174033 51818496 11805 4294967295 134512640 134672761 3221224560 3221223728 134561229 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 12651 11805 603 41 0 12610 0
vsize: 50604
[startup+250.022 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31439
Raw data (stat): 31384 (minisat+) R 31383 26298 26297 0 -1 0 12206 0 0 0 24958 43 0 0 25 0 1 0 481174033 53411840 12184 4294967295 134512640 134672761 3221224560 3221223744 134559663 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 13040 12184 603 41 0 12999 0
vsize: 52160
[startup+260.023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31439
Raw data (stat): 31384 (minisat+) R 31383 26298 26297 0 -1 0 12575 0 0 0 25958 44 0 0 25 0 1 0 481174033 55136256 12553 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 13461 12553 603 41 0 13420 0
vsize: 53844
[startup+270.022 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31439
Raw data (stat): 31384 (minisat+) R 31383 26298 26297 0 -1 0 12931 0 0 0 26957 45 0 0 25 0 1 0 481174033 56594432 12909 4294967295 134512640 134672761 3221224560 3221223712 134565096 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 13817 12909 603 41 0 13776 0
vsize: 55268
[startup+280.023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31439
Raw data (stat): 31384 (minisat+) R 31383 26298 26297 0 -1 0 13341 0 0 0 27956 46 0 0 25 0 1 0 481174033 58335232 13319 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 14242 13319 603 41 0 14201 0
vsize: 56968
[startup+290.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31439
Raw data (stat): 31384 (minisat+) R 31383 26298 26297 0 -1 0 13795 0 0 0 28954 48 0 0 25 0 1 0 481174033 60076032 13773 4294967295 134512640 134672761 3221224560 3221223696 134560706 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 14667 13773 603 41 0 14626 0
vsize: 58668
[startup+300.023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31439
Raw data (stat): 31384 (minisat+) R 31383 26298 26297 0 -1 0 14190 0 0 0 29953 49 0 0 25 0 1 0 481174033 61681664 14168 4294967295 134512640 134672761 3221224560 3221223704 134560630 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 15059 14168 603 41 0 15018 0
vsize: 60236
[startup+310.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31439
Raw data (stat): 31384 (minisat+) R 31383 26298 26297 0 -1 0 14720 0 0 0 30952 51 0 0 25 0 1 0 481174033 63959040 14698 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 15615 14698 603 41 0 15574 0
vsize: 62460
[startup+320.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31439
Raw data (stat): 31384 (minisat+) R 31383 26298 26297 0 -1 0 15104 0 0 0 31951 52 0 0 25 0 1 0 481174033 65433600 15082 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 15975 15082 603 41 0 15934 0
vsize: 63900
[startup+330.026 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31439
Raw data (stat): 31384 (minisat+) R 31383 26298 26297 0 -1 0 15446 0 0 0 32950 53 0 0 25 0 1 0 481174033 66899968 15424 4294967295 134512640 134672761 3221224560 3221223728 134560867 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16333 15424 603 41 0 16292 0
vsize: 65332
[startup+340.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31439
Raw data (stat): 31384 (minisat+) R 31383 26298 26297 0 -1 0 15772 0 0 0 33950 54 0 0 25 0 1 0 481174033 68235264 15750 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16659 15750 603 41 0 16618 0
vsize: 66636
[startup+350.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31439
Raw data (stat): 31384 (minisat+) R 31383 26298 26297 0 -1 0 16100 0 0 0 34948 55 0 0 25 0 1 0 481174033 69562368 16078 4294967295 134512640 134672761 3221224560 3221223728 134560858 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 16983 16078 603 41 0 16942 0
vsize: 67932
[startup+360.026 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31439
Raw data (stat): 31384 (minisat+) R 31383 26298 26297 0 -1 0 16414 0 0 0 35947 56 0 0 25 0 1 0 481174033 70774784 16392 4294967295 134512640 134672761 3221224560 3221223664 134560289 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17279 16392 603 41 0 17238 0
vsize: 69116
[startup+370.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31439
Raw data (stat): 31384 (minisat+) R 31383 26298 26297 0 -1 0 16781 0 0 0 36946 58 0 0 25 0 1 0 481174033 72232960 16759 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17635 16759 603 41 0 17594 0
vsize: 70540
[startup+380.026 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31439
Raw data (stat): 31384 (minisat+) R 31383 26298 26297 0 -1 0 17136 0 0 0 37946 58 0 0 25 0 1 0 481174033 73699328 17114 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 17993 17114 603 41 0 17952 0
vsize: 71972
[startup+390.027 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31439
Raw data (stat): 31384 (minisat+) R 31383 26298 26297 0 -1 0 17281 0 0 0 38946 59 0 0 25 0 1 0 481174033 74276864 17259 4294967295 134512640 134672761 3221224560 3221223696 134560588 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18134 17259 603 41 0 18093 0
vsize: 72536
[startup+400.027 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31439
Raw data (stat): 31384 (minisat+) R 31383 26298 26297 0 -1 0 17281 0 0 0 39946 59 0 0 25 0 1 0 481174033 74276864 17259 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18134 17259 603 41 0 18093 0
vsize: 72536
[startup+410.027 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31439
Raw data (stat): 31384 (minisat+) R 31383 26298 26297 0 -1 0 17281 0 0 0 40946 59 0 0 25 0 1 0 481174033 74276864 17259 4294967295 134512640 134672761 3221224560 3221223728 134561164 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18134 17259 603 41 0 18093 0
vsize: 72536
[startup+420.027 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31439
Raw data (stat): 31384 (minisat+) R 31383 26298 26297 0 -1 0 17281 0 0 0 41946 59 0 0 25 0 1 0 481174033 74276864 17259 4294967295 134512640 134672761 3221224560 3221223704 134560553 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18134 17259 603 41 0 18093 0
vsize: 72536
[startup+430.027 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31441
Raw data (stat): 31384 (minisat+) R 31383 26298 26297 0 -1 0 17281 0 0 0 42946 59 0 0 25 0 1 0 481174033 74276864 17259 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18134 17259 603 41 0 18093 0
vsize: 72536
[startup+440.028 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31441
Raw data (stat): 31384 (minisat+) R 31383 26298 26297 0 -1 0 17281 0 0 0 43946 59 0 0 25 0 1 0 481174033 74276864 17259 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18134 17259 603 41 0 18093 0
vsize: 72536
[startup+450.027 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31441
Raw data (stat): 31384 (minisat+) R 31383 26298 26297 0 -1 0 17281 0 0 0 44946 59 0 0 25 0 1 0 481174033 74276864 17259 4294967295 134512640 134672761 3221224560 3221223664 134560252 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18134 17259 603 41 0 18093 0
vsize: 72536
[startup+460.028 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31441
Raw data (stat): 31384 (minisat+) R 31383 26298 26297 0 -1 0 17281 0 0 0 45946 59 0 0 25 0 1 0 481174033 74276864 17259 4294967295 134512640 134672761 3221224560 3221223712 134560074 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18134 17259 603 41 0 18093 0
vsize: 72536
[startup+470.028 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31441
Raw data (stat): 31384 (minisat+) R 31383 26298 26297 0 -1 0 17281 0 0 0 46947 59 0 0 25 0 1 0 481174033 74276864 17259 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18134 17259 603 41 0 18093 0
vsize: 72536
[startup+480.028 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31441
Raw data (stat): 31384 (minisat+) R 31383 26298 26297 0 -1 0 17281 0 0 0 47947 59 0 0 25 0 1 0 481174033 74276864 17259 4294967295 134512640 134672761 3221224560 3221223696 134560596 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18134 17259 603 41 0 18093 0
vsize: 72536
[startup+490.028 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31441
Raw data (stat): 31384 (minisat+) R 31383 26298 26297 0 -1 0 17281 0 0 0 48947 59 0 0 25 0 1 0 481174033 74276864 17259 4294967295 134512640 134672761 3221224560 3221223664 134560136 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18134 17259 603 41 0 18093 0
vsize: 72536
[startup+500.028 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31441
Raw data (stat): 31384 (minisat+) R 31383 26298 26297 0 -1 0 17281 0 0 0 49947 59 0 0 25 0 1 0 481174033 74276864 17259 4294967295 134512640 134672761 3221224560 3221223696 134560677 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18134 17259 603 41 0 18093 0
vsize: 72536
[startup+510.028 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31441
Raw data (stat): 31384 (minisat+) R 31383 26298 26297 0 -1 0 17281 0 0 0 50947 59 0 0 25 0 1 0 481174033 74276864 17259 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18134 17259 603 41 0 18093 0
vsize: 72536
[startup+520.028 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31441
Raw data (stat): 31384 (minisat+) R 31383 26298 26297 0 -1 0 17281 0 0 0 51948 59 0 0 25 0 1 0 481174033 74276864 17259 4294967295 134512640 134672761 3221224560 3221223664 134560212 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18134 17259 603 41 0 18093 0
vsize: 72536
[startup+530.029 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31441
Raw data (stat): 31384 (minisat+) R 31383 26298 26297 0 -1 0 17281 0 0 0 52948 59 0 0 25 0 1 0 481174033 74276864 17259 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18134 17259 603 41 0 18093 0
vsize: 72536
[startup+540.029 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31441
Raw data (stat): 31384 (minisat+) R 31383 26298 26297 0 -1 0 17281 0 0 0 53948 59 0 0 25 0 1 0 481174033 74276864 17259 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18134 17259 603 41 0 18093 0
vsize: 72536
[startup+550.028 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31441
Raw data (stat): 31384 (minisat+) R 31383 26298 26297 0 -1 0 17281 0 0 0 54948 59 0 0 25 0 1 0 481174033 74276864 17259 4294967295 134512640 134672761 3221224560 3221223760 134557842 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18134 17259 603 41 0 18093 0
vsize: 72536
[startup+560.029 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31441
Raw data (stat): 31384 (minisat+) R 31383 26298 26297 0 -1 0 17281 0 0 0 55948 59 0 0 25 0 1 0 481174033 74276864 17259 4294967295 134512640 134672761 3221224560 3221223516 1075349771 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18134 17259 603 41 0 18093 0
vsize: 72536
[startup+570.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31441
Raw data (stat): 31384 (minisat+) R 31383 26298 26297 0 -1 0 17281 0 0 0 56948 59 0 0 25 0 1 0 481174033 74276864 17259 4294967295 134512640 134672761 3221224560 3221223664 134560196 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18134 17259 603 41 0 18093 0
vsize: 72536
[startup+580.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31441
Raw data (stat): 31384 (minisat+) R 31383 26298 26297 0 -1 0 17281 0 0 0 57949 59 0 0 25 0 1 0 481174033 74276864 17259 4294967295 134512640 134672761 3221224560 3221223664 134555116 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18134 17259 603 41 0 18093 0
vsize: 72536
[startup+590.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31441
Raw data (stat): 31384 (minisat+) R 31383 26298 26297 0 -1 0 17281 0 0 0 58949 59 0 0 25 0 1 0 481174033 74276864 17259 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18134 17259 603 41 0 18093 0
vsize: 72536
[startup+600.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31441
Raw data (stat): 31384 (minisat+) R 31383 26298 26297 0 -1 0 17529 0 0 0 59948 60 0 0 25 0 1 0 481174033 75350016 17507 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18396 17507 603 41 0 18355 0
vsize: 73584
[startup+610.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31441
Raw data (stat): 31384 (minisat+) R 31383 26298 26297 0 -1 0 17868 0 0 0 60947 61 0 0 25 0 1 0 481174033 76693504 17846 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 18724 17846 603 41 0 18683 0
vsize: 74896
[startup+620.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31441
Raw data (stat): 31384 (minisat+) R 31383 26298 26297 0 -1 0 18151 0 0 0 61947 62 0 0 25 0 1 0 481174033 77893632 18129 4294967295 134512640 134672761 3221224560 3221223744 134559572 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 19017 18129 603 41 0 18976 0
vsize: 76068
[startup+630.031 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31441
Raw data (stat): 31384 (minisat+) R 31383 26298 26297 0 -1 0 18406 0 0 0 62946 63 0 0 25 0 1 0 481174033 78958592 18384 4294967295 134512640 134672761 3221224560 3221223728 134560830 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 19277 18384 603 41 0 19236 0
vsize: 77108
[startup+640.031 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31441
Raw data (stat): 31384 (minisat+) R 31383 26298 26297 0 -1 0 18682 0 0 0 63945 64 0 0 25 0 1 0 481174033 80023552 18660 4294967295 134512640 134672761 3221224560 3221223728 134560830 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 19537 18660 603 41 0 19496 0
vsize: 78148
[startup+650.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31441
Raw data (stat): 31384 (minisat+) R 31383 26298 26297 0 -1 0 18958 0 0 0 64944 65 0 0 25 0 1 0 481174033 81227776 18936 4294967295 134512640 134672761 3221224560 3221223728 134561001 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 19831 18936 603 41 0 19790 0
vsize: 79324
[startup+660.031 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31441
Raw data (stat): 31384 (minisat+) R 31383 26298 26297 0 -1 0 19254 0 0 0 65943 66 0 0 25 0 1 0 481174033 82432000 19232 4294967295 134512640 134672761 3221224560 3221223760 134557830 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 20125 19232 603 41 0 20084 0
vsize: 80500
[startup+670.032 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31441
Raw data (stat): 31384 (minisat+) R 31383 26298 26297 0 -1 0 19541 0 0 0 66942 67 0 0 25 0 1 0 481174033 83632128 19519 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 20418 19519 603 41 0 20377 0
vsize: 81672
[startup+680.033 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31441
Raw data (stat): 31384 (minisat+) R 31383 26298 26297 0 -1 0 19848 0 0 0 67941 68 0 0 25 0 1 0 481174033 84840448 19826 4294967295 134512640 134672761 3221224560 3221223744 134559365 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 20713 19826 603 41 0 20672 0
vsize: 82852
[startup+690.033 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31441
Raw data (stat): 31384 (minisat+) R 31383 26298 26297 0 -1 0 20209 0 0 0 68940 69 0 0 25 0 1 0 481174033 86306816 20187 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21071 20187 603 41 0 21030 0
vsize: 84284
[startup+700.033 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31441
Raw data (stat): 31384 (minisat+) R 31383 26298 26297 0 -1 0 20484 0 0 0 69939 70 0 0 25 0 1 0 481174033 87384064 20462 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 21334 20462 603 41 0 21293 0
vsize: 85336
[startup+710.034 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31441
Raw data (stat): 31384 (minisat+) R 31383 26298 26297 0 -1 0 20744 0 0 0 70938 71 0 0 25 0 1 0 481174033 88444928 20722 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 21593 20722 603 41 0 21552 0
vsize: 86372
[startup+720.033 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31441
Raw data (stat): 31384 (minisat+) R 31383 26298 26297 0 -1 0 21036 0 0 0 71937 72 0 0 25 0 1 0 481174033 89645056 21014 4294967295 134512640 134672761 3221224560 3221223664 134560235 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 21886 21014 603 41 0 21845 0
vsize: 87544
[startup+730.034 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31441
Raw data (stat): 31384 (minisat+) R 31383 26298 26297 0 -1 0 21279 0 0 0 72936 73 0 0 25 0 1 0 481174033 90714112 21257 4294967295 134512640 134672761 3221224560 3221223728 134561167 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 22147 21257 603 41 0 22106 0
vsize: 88588
[startup+740.034 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31441
Raw data (stat): 31384 (minisat+) R 31383 26298 26297 0 -1 0 21572 0 0 0 73934 74 0 0 25 0 1 0 481174033 91910144 21550 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 22439 21550 603 41 0 22398 0
vsize: 89756
[startup+750.033 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31441
Raw data (stat): 31384 (minisat+) R 31383 26298 26297 0 -1 0 21849 0 0 0 74933 75 0 0 25 0 1 0 481174033 92979200 21827 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 22700 21827 603 41 0 22659 0
vsize: 90800
[startup+760.034 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31441
Raw data (stat): 31384 (minisat+) R 31383 26298 26297 0 -1 0 22072 0 0 0 75933 76 0 0 25 0 1 0 481174033 93913088 22050 4294967295 134512640 134672761 3221224560 3221223728 134560999 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 22928 22050 603 41 0 22887 0
vsize: 91712
[startup+770.035 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31441
Raw data (stat): 31384 (minisat+) R 31383 26298 26297 0 -1 0 22268 0 0 0 76932 77 0 0 25 0 1 0 481174033 94707712 22246 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 23122 22246 603 41 0 23081 0
vsize: 92488
[startup+780.036 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31441
Raw data (stat): 31384 (minisat+) R 31383 26298 26297 0 -1 0 22453 0 0 0 77932 78 0 0 25 0 1 0 481174033 95367168 22431 4294967295 134512640 134672761 3221224560 3221223728 134561207 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 23283 22431 603 41 0 23242 0
vsize: 93132
[startup+790.035 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31441
Raw data (stat): 31384 (minisat+) R 31383 26298 26297 0 -1 0 22632 0 0 0 78931 78 0 0 25 0 1 0 481174033 96161792 22610 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 23477 22610 603 41 0 23436 0
vsize: 93908
[startup+800.035 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31441
Raw data (stat): 31384 (minisat+) R 31383 26298 26297 0 -1 0 22816 0 0 0 79931 79 0 0 25 0 1 0 481174033 96960512 22794 4294967295 134512640 134672761 3221224560 3221223728 134561003 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 23672 22794 603 41 0 23631 0
vsize: 94688
[startup+810.036 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31441
Raw data (stat): 31384 (minisat+) R 31383 26298 26297 0 -1 0 22970 0 0 0 80930 79 0 0 25 0 1 0 481174033 98025472 22948 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 23932 22948 603 41 0 23891 0
vsize: 95728
[startup+820.035 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31441
Raw data (stat): 31384 (minisat+) R 31383 26298 26297 0 -1 0 23109 0 0 0 81930 80 0 0 25 0 1 0 481174033 98562048 23087 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24063 23087 603 41 0 24022 0
vsize: 96252
[startup+830.036 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31441
Raw data (stat): 31384 (minisat+) R 31383 26298 26297 0 -1 0 23285 0 0 0 82930 80 0 0 25 0 1 0 481174033 99352576 23263 4294967295 134512640 134672761 3221224560 3221223664 134560318 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24256 23263 603 41 0 24215 0
vsize: 97024
[startup+840.037 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31441
Raw data (stat): 31384 (minisat+) R 31383 26298 26297 0 -1 0 23440 0 0 0 83930 81 0 0 25 0 1 0 481174033 100007936 23418 4294967295 134512640 134672761 3221224560 3221223728 134561145 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24416 23418 603 41 0 24375 0
vsize: 97664
[startup+850.037 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31441
Raw data (stat): 31384 (minisat+) R 31383 26298 26297 0 -1 0 23570 0 0 0 84930 81 0 0 25 0 1 0 481174033 100536320 23548 4294967295 134512640 134672761 3221224560 3221223696 134565092 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24545 23548 603 41 0 24504 0
vsize: 98180
[startup+860.037 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31441
Raw data (stat): 31384 (minisat+) R 31383 26298 26297 0 -1 0 23687 0 0 0 85929 82 0 0 25 0 1 0 481174033 100929536 23665 4294967295 134512640 134672761 3221224560 3221223728 134560929 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24641 23665 603 41 0 24600 0
vsize: 98564
[startup+870.038 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31441
Raw data (stat): 31384 (minisat+) R 31383 26298 26297 0 -1 0 23813 0 0 0 86929 82 0 0 25 0 1 0 481174033 101457920 23791 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24770 23791 603 41 0 24729 0
vsize: 99080
[startup+880.039 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31441
Raw data (stat): 31384 (minisat+) R 31383 26298 26297 0 -1 0 23956 0 0 0 87929 83 0 0 25 0 1 0 481174033 101986304 23934 4294967295 134512640 134672761 3221224560 3221223728 134560903 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 24899 23934 603 41 0 24858 0
vsize: 99596
[startup+890.038 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31441
Raw data (stat): 31384 (minisat+) R 31383 26298 26297 0 -1 0 24095 0 0 0 88929 83 0 0 25 0 1 0 481174033 102649856 24073 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 25061 24073 603 41 0 25020 0
vsize: 100244
[startup+900.038 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31441
Raw data (stat): 31384 (minisat+) R 31383 26298 26297 0 -1 0 24212 0 0 0 89929 83 0 0 25 0 1 0 481174033 103047168 24190 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 25158 24190 603 41 0 25117 0
vsize: 100632
[startup+910.039 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31441
Raw data (stat): 31384 (minisat+) R 31383 26298 26297 0 -1 0 24322 0 0 0 90929 83 0 0 25 0 1 0 481174033 103575552 24300 4294967295 134512640 134672761 3221224560 3221223728 134560830 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 25287 24300 603 41 0 25246 0
vsize: 101148
[startup+920.039 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31441
Raw data (stat): 31384 (minisat+) R 31383 26298 26297 0 -1 0 24429 0 0 0 91928 84 0 0 25 0 1 0 481174033 103968768 24407 4294967295 134512640 134672761 3221224560 3221223728 134561167 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 25383 24407 603 41 0 25342 0
vsize: 101532
[startup+930.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31441
Raw data (stat): 31384 (minisat+) R 31383 26298 26297 0 -1 0 24541 0 0 0 92927 84 0 0 25 0 1 0 481174033 104366080 24519 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25480 24519 603 41 0 25439 0
vsize: 101920
[startup+940.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31441
Raw data (stat): 31384 (minisat+) R 31383 26298 26297 0 -1 0 24643 0 0 0 93927 85 0 0 25 0 1 0 481174033 104763392 24621 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 25577 24621 603 41 0 25536 0
vsize: 102308
[startup+950.039 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31441
Raw data (stat): 31384 (minisat+) R 31383 26298 26297 0 -1 0 24774 0 0 0 94926 85 0 0 25 0 1 0 481174033 105299968 24752 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 25708 24752 603 41 0 25667 0
vsize: 102832
[startup+960.039 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31441
Raw data (stat): 31384 (minisat+) R 31383 26298 26297 0 -1 0 24898 0 0 0 95926 86 0 0 25 0 1 0 481174033 105828352 24876 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 25837 24876 603 41 0 25796 0
vsize: 103348
[startup+970.039 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31441
Raw data (stat): 31384 (minisat+) R 31383 26298 26297 0 -1 0 25017 0 0 0 96926 86 0 0 25 0 1 0 481174033 106356736 24995 4294967295 134512640 134672761 3221224560 3221223728 134560940 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 25966 24995 603 41 0 25925 0
vsize: 103864
[startup+980.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31441
Raw data (stat): 31384 (minisat+) R 31383 26298 26297 0 -1 0 25125 0 0 0 97925 87 0 0 25 0 1 0 481174033 106782720 25103 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26070 25103 603 41 0 26029 0
vsize: 104280
[startup+990.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31441
Raw data (stat): 31384 (minisat+) R 31383 26298 26297 0 -1 0 25228 0 0 0 98925 87 0 0 25 0 1 0 481174033 107188224 25206 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26169 25206 603 41 0 26128 0
vsize: 104676
[startup+1000.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31441
Raw data (stat): 31384 (minisat+) R 31383 26298 26297 0 -1 0 25329 0 0 0 99925 87 0 0 25 0 1 0 481174033 107585536 25307 4294967295 134512640 134672761 3221224560 3221223664 134560196 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26266 25307 603 41 0 26225 0
vsize: 105064
[startup+1010.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31441
Raw data (stat): 31384 (minisat+) R 31383 26298 26297 0 -1 0 25426 0 0 0 100925 87 0 0 25 0 1 0 481174033 107978752 25404 4294967295 134512640 134672761 3221224560 3221223664 134560196 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26362 25404 603 41 0 26321 0
vsize: 105448
[startup+1020.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31441
Raw data (stat): 31384 (minisat+) R 31383 26298 26297 0 -1 0 25530 0 0 0 101925 88 0 0 25 0 1 0 481174033 108376064 25508 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26459 25508 603 41 0 26418 0
vsize: 105836
[startup+1030.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31441
Raw data (stat): 31384 (minisat+) R 31383 26298 26297 0 -1 0 25627 0 0 0 102924 88 0 0 25 0 1 0 481174033 108773376 25605 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26556 25605 603 41 0 26515 0
vsize: 106224
[startup+1040.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31441
Raw data (stat): 31384 (minisat+) R 31383 26298 26297 0 -1 0 25725 0 0 0 103924 89 0 0 25 0 1 0 481174033 109170688 25703 4294967295 134512640 134672761 3221224560 3221223696 134560590 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26653 25703 603 41 0 26612 0
vsize: 106612
[startup+1050.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31441
Raw data (stat): 31384 (minisat+) R 31383 26298 26297 0 -1 0 25812 0 0 0 104924 89 0 0 25 0 1 0 481174033 109563904 25790 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26749 25790 603 41 0 26708 0
vsize: 106996
[startup+1060.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31441
Raw data (stat): 31384 (minisat+) R 31383 26298 26297 0 -1 0 25904 0 0 0 105924 89 0 0 25 0 1 0 481174033 109961216 25882 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26846 25882 603 41 0 26805 0
vsize: 107384
[startup+1070.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31441
Raw data (stat): 31384 (minisat+) R 31383 26298 26297 0 -1 0 26015 0 0 0 106924 90 0 0 25 0 1 0 481174033 110354432 25993 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26942 25993 603 41 0 26901 0
vsize: 107768
[startup+1080.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31441
Raw data (stat): 31384 (minisat+) R 31383 26298 26297 0 -1 0 26124 0 0 0 107924 90 0 0 25 0 1 0 481174033 110882816 26102 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 27071 26102 603 41 0 27030 0
vsize: 108284
[startup+1090.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31441
Raw data (stat): 31384 (minisat+) R 31383 26298 26297 0 -1 0 26215 0 0 0 108924 90 0 0 25 0 1 0 481174033 111144960 26193 4294967295 134512640 134672761 3221224560 3221223664 134560196 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 27135 26193 603 41 0 27094 0
vsize: 108540
[startup+1100.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31441
Raw data (stat): 31384 (minisat+) R 31383 26298 26297 0 -1 0 26307 0 0 0 109924 90 0 0 25 0 1 0 481174033 111538176 26285 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 27231 26285 603 41 0 27190 0
vsize: 108924
[startup+1110.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31441
Raw data (stat): 31384 (minisat+) R 31383 26298 26297 0 -1 0 26407 0 0 0 110924 90 0 0 25 0 1 0 481174033 111939584 26385 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 27329 26385 603 41 0 27288 0
vsize: 109316
[startup+1120.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31441
Raw data (stat): 31384 (minisat+) R 31383 26298 26297 0 -1 0 26494 0 0 0 111924 90 0 0 25 0 1 0 481174033 112336896 26472 4294967295 134512640 134672761 3221224560 3221223708 134560631 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 27426 26472 603 41 0 27385 0
vsize: 109704
[startup+1130.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31441
Raw data (stat): 31384 (minisat+) R 31383 26298 26297 0 -1 0 26572 0 0 0 112924 91 0 0 25 0 1 0 481174033 112619520 26550 4294967295 134512640 134672761 3221224560 3221223696 134560588 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 27495 26550 603 41 0 27454 0
vsize: 109980
[startup+1140.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31441
Raw data (stat): 31384 (minisat+) R 31383 26298 26297 0 -1 0 26692 0 0 0 113924 91 0 0 25 0 1 0 481174033 113147904 26670 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 27624 26670 603 41 0 27583 0
vsize: 110496
[startup+1150.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31441
Raw data (stat): 31384 (minisat+) R 31383 26298 26297 0 -1 0 26816 0 0 0 114923 92 0 0 25 0 1 0 481174033 113676288 26794 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 27753 26794 603 41 0 27712 0
vsize: 111012
[startup+1160.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31441
Raw data (stat): 31384 (minisat+) R 31383 26298 26297 0 -1 0 26907 0 0 0 115923 92 0 0 25 0 1 0 481174033 114073600 26885 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 27850 26885 603 41 0 27809 0
vsize: 111400
[startup+1170.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31441
Raw data (stat): 31384 (minisat+) R 31383 26298 26297 0 -1 0 27013 0 0 0 116923 93 0 0 25 0 1 0 481174033 114470912 26991 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 27947 26991 603 41 0 27906 0
vsize: 111788
[startup+1180.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31441
Raw data (stat): 31384 (minisat+) R 31383 26298 26297 0 -1 0 27119 0 0 0 117922 93 0 0 25 0 1 0 481174033 114884608 27097 4294967295 134512640 134672761 3221224560 3221223728 134561215 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28048 27097 603 41 0 28007 0
vsize: 112192
[startup+1190.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31441
Raw data (stat): 31384 (minisat+) R 31383 26298 26297 0 -1 0 27203 0 0 0 118922 94 0 0 25 0 1 0 481174033 115290112 27181 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28147 27181 603 41 0 28106 0
vsize: 112588
[startup+1200.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 31441
Raw data (stat): 31384 (minisat+) R 31383 26298 26297 0 -1 0 27291 0 0 0 119922 94 0 0 25 0 1 0 481174033 115683328 27269 4294967295 134512640 134672761 3221224560 3221223728 134561229 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 28243 27269 603 41 0 28202 0
vsize: 112972
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.1 s]
Raw data (loadavg): 1.00 0.97 0.91 1/54 31441
Raw data (stat): 31384 (minisat+) Z 31383 26298 26297 0 -1 12 27294 0 0 0 119922 99 0 0 25 0 1 0 481174033 0 0 4294967295 0 0 0 0 0 0 16384 5 16386 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 10
Real time (s): 1200.1
CPU time (s): 1200.22
CPU user time (s): 1199.23
CPU system time (s): 0.995848
CPU usage (%): 100.01
Max. virtual memory (Kb): 112972
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####