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/frb50-23-opb/normalized-frb50-23-3.opb
MD5SUM	140696e76e8ed6af142b84a22a9a8f01
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-38
Optimality of the best value was proved	NO
Number of terms in the objective function	1150
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	1150
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	1150
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.09
Number of variables	1150
Total number of constraints	81068
Number of constraints which are clauses	81068
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 6381

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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:        870932 kB
Buffers:         36536 kB
Cached:         104504 kB
SwapCached:       2644 kB
Active:          56488 kB
Inactive:        90068 kB
HighTotal:      131008 kB
HighFree:        22596 kB
LowTotal:       903652 kB
LowFree:        848336 kB
SwapTotal:     2097136 kB
SwapFree:      2094492 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6928 kB
Slab:            11552 kB
Committed_AS:    63484 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-14 05:06:30 (client local time) WITH STATUS 10 IN 1200.42 SECONDS
stats: 4848 7 1200.42 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Parsing PB file...
c Converting 81068 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 |   81068   162136 |   27022       0        0     nan |  0.000 % |
c ==============================================================================
c [1mFound solution: -34[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:63046     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |         0 |  217143   480506 |   72381       0        0     nan |  0.000 % |
c |       100 |  217143   480506 |   79619     100      882     8.8 |  0.015 % |
c |       250 |  215815   477479 |   87581     219     1506     6.9 |  0.924 % |
c |       475 |  212105   468992 |   96339     362     2354     6.5 |  3.254 % |
c ==============================================================================
c [1mFound solution: -35[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 |       806 |  209279   462688 |   69759     637     4396     6.9 |  3.254 % |
c |       907 |  207955   459659 |   76734     707     4736     6.7 |  6.280 % |
c |      1057 |  204982   452829 |   84408     800     5715     7.1 |  8.184 % |
c |      1282 |  201656   445170 |   92849     954     7464     7.8 | 10.426 % |
c |      1619 |  197104   434692 |  102134    1205     9891     8.2 | 13.485 % |
c |      2125 |  192614   424355 |  112347    1624    13697     8.4 | 16.500 % |
c |      2885 |  182578   401126 |  123582    2163    17741     8.2 | 23.454 % |
c |      4024 |  169952   371810 |  135940    2884    27760     9.6 | 32.348 % |
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 |      4241 |  167957   367224 |   55985    3024    28789     9.5 | 32.348 % |
c |      4341 |  166240   363239 |   61583    3027    29580     9.8 | 35.035 % |
c |      4491 |  165089   360566 |   67741    3124    30319     9.7 | 35.846 % |
c |      4717 |  163218   356231 |   74516    3297    33579    10.2 | 37.160 % |
c |      5054 |  160199   349207 |   81967    3505    35145    10.0 | 39.305 % |
c |      5560 |  153416   333231 |   90164    3783    38309    10.1 | 44.034 % |
c |      6319 |  146995   318223 |   99180    4265    42638    10.0 | 48.710 % |
c |      7458 |  140027   301895 |  109098    4952    50068    10.1 | 53.876 % |
c |      9166 |  130454   279495 |  120008    5858    63959    10.9 | 60.926 % |
c |     11728 |  118514   251520 |  132009    7415    85288    11.5 | 69.538 % |
c |     15572 |  108151   227145 |  145210    9370   122828    13.1 | 77.399 % |
c ==============================================================================
c [1mFound solution: -38[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     18471 |  104292   217989 |   34764   11098   161896    14.6 | 77.399 % |
c |     18571 |  104292   217989 |   38240   11198   163573    14.6 | 80.276 % |
c |     18722 |  104276   217951 |   42064   11334   166432    14.7 | 80.289 % |
c |     18947 |  104188   217746 |   46270   11540   172324    14.9 | 80.349 % |
c |     19284 |  103691   216555 |   50897   11743   177035    15.1 | 80.743 % |
c |     19791 |  103691   216555 |   55987   12250   188620    15.4 | 80.743 % |
c |     20550 |  102892   214674 |   61586   12761   197169    15.5 | 81.346 % |
c |     21689 |  102770   214387 |   67745   13896   252024    18.1 | 81.439 % |
c ==============================================================================
c [1mFound solution: -39[0m
c   -- Detecting intervals from adjacent constraints: (none)
c   -- Clauses(.)/Splits(s): (none)
c ---[   0]---> Sorter-cost:    0     Base:
c ==================================[MINISAT+]==================================
c | Conflicts | Original         | Learnt                           | Progress |
c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
c ==============================================================================
c |     22485 |  102617   214062 |   34205   14581   274988    18.9 | 81.439 % |
c |     22586 |  102133   212915 |   37625   14469   274698    19.0 | 81.986 % |
c |     22737 |  102005   212615 |   41388   14524   275146    18.9 | 82.078 % |
c |     22962 |  101971   212535 |   45526   14713   277572    18.9 | 82.104 % |
c |     23299 |  101748   212016 |   50079   15036   284677    18.9 | 82.266 % |
c |     23805 |  100421   208914 |   55087   15243   289510    19.0 | 83.252 % |
c |     24564 |  100273   208571 |   60596   15987   301771    18.9 | 83.355 % |
c |     25703 |   99636   207077 |   66655   16695   331041    19.8 | 83.834 % |
c |     27411 |   98718   204891 |   73321   17208   359998    20.9 | 84.576 % |
c |     29973 |   98582   204570 |   80653   19667   512572    26.1 | 84.684 % |
c |     33817 |   98450   204259 |   88718   23339   836194    35.8 | 84.787 % |
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 |     35564 |   98323   203939 |   32774   24878   962211    38.7 | 84.787 % |
c |     35664 |   98074   203364 |   36051   24768   961346    38.8 | 85.045 % |
c |     35814 |   98048   203301 |   39656   24870   962581    38.7 | 85.068 % |
c |     36039 |   98048   203301 |   43622   25095   973079    38.8 | 85.068 % |
c |     36377 |   98048   203301 |   47984   25433   998512    39.3 | 85.069 % |
c |     36883 |   98044   203292 |   52782   25938  1034707    39.9 | 85.071 % |
c |     37642 |   98044   203292 |   58061   26697  1078990    40.4 | 85.071 % |
c |     38781 |   97973   203123 |   63867   27810  1152094    41.4 | 85.131 % |
c |     40489 |   97840   202815 |   70253   29498  1275352    43.2 | 85.224 % |
c |     43051 |   97600   202252 |   77279   31711  1502575    47.4 | 85.407 % |
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 |     43551 |   96830   200458 |   32276   32094  1550050    48.3 | 85.407 % |
c |     43651 |   96728   200214 |   35503   32046  1549968    48.4 | 86.099 % |
c |     43801 |   96728   200214 |   39053   32196  1557285    48.4 | 86.099 % |
c |     44026 |   96642   200014 |   42959   32311  1570004    48.6 | 86.164 % |
c |     44364 |   96638   200005 |   47255   32645  1576733    48.3 | 86.166 % |
c |     44870 |   96101   198754 |   51980   32776  1587095    48.4 | 86.539 % |
c |     45631 |   96101   198754 |   57178   33537  1671557    49.8 | 86.539 % |
c |     46771 |   96101   198754 |   62896   34677  1731940    49.9 | 86.539 % |
c |     48480 |   95318   196905 |   69186   35762  1830341    51.2 | 87.142 % |
c |     51043 |   95207   196638 |   76105   38186  2169290    56.8 | 87.235 % |
c |     54887 |   95207   196638 |   83715   42030  2692087    64.1 | 87.235 % |
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 |     56841 |   94799   195637 |   31599   42673  2780509    65.2 | 87.235 % |
c |     56941 |   94725   195466 |   34758   42770  2784127    65.1 | 87.591 % |
c |     57092 |   94725   195466 |   38234   42921  2796334    65.2 | 87.591 % |
c |     57317 |   94725   195466 |   42058   43146  2808683    65.1 | 87.591 % |
c |     57656 |   94725   195466 |   46264   43485  2828721    65.1 | 87.591 % |
c |     58162 |   94725   195466 |   50890   43991  2866381    65.2 | 87.591 % |
c |     58923 |   94725   195466 |   55979   44752  2916560    65.2 | 87.591 % |
c |     60062 |   94725   195466 |   61577   45891  3039682    66.2 | 87.591 % |
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 |     60681 |   94797   195646 |   31599   46510  3105786    66.8 | 87.591 % |
c |     60783 |   94797   195646 |   34758   46612  3112792    66.8 | 87.570 % |
c |     60933 |   94745   195522 |   38234   46390  3112429    67.1 | 87.613 % |
c |     61158 |   94745   195522 |   42058   46615  3126383    67.1 | 87.613 % |
c |     61495 |   94745   195522 |   46264   46952  3138741    66.8 | 87.613 % |
c |     62002 |   94745   195522 |   50890   47459  3175729    66.9 | 87.613 % |
c |     62761 |   94745   195522 |   55979   48218  3276361    67.9 | 87.613 % |
c |     63900 |   94745   195522 |   61577   49357  3403409    69.0 | 87.613 % |
c |     65609 |   94745   195522 |   67735   51066  3556665    69.6 | 87.613 % |
c |     68171 |   94523   195000 |   74508   53193  3778842    71.0 | 87.786 % |
c |     72015 |   94321   194520 |   81959   56498  4293395    76.0 | 87.947 % |
c |     77781 |   94309   194492 |   90155   62260  4969134    79.8 | 87.955 % |
c |     86431 |   94297   194464 |   99171   70660  6227774    88.1 | 87.964 % |
c |     99405 |   94180   194187 |  109088   83371  7649296    91.8 | 88.061 % |
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 |    112515 |   94080   193941 |   31360   96033  9537787    99.3 | 88.061 % |
c |    112615 |   94080   193941 |   34496   21276  1977629    93.0 | 88.128 % |
c |    112765 |   94080   193941 |   37945   21426  1986379    92.7 | 88.128 % |
c |    112991 |   94062   193900 |   41740   21642  2000195    92.4 | 88.139 % |
c |    113328 |   94062   193900 |   45914   21979  2021184    92.0 | 88.139 % |
c |    113834 |   94062   193900 |   50505   22485  2065849    91.9 | 88.139 % |
c |    114594 |   94052   193877 |   55556   23243  2148864    92.5 | 88.145 % |
c |    115733 |   94052   193877 |   61111   24382  2281433    93.6 | 88.145 % |
c |    117441 |   94052   193877 |   67222   26090  2449701    93.9 | 88.145 % |
c |    120003 |   94052   193877 |   73945   28652  2773726    96.8 | 88.145 % |
c |    123849 |   94032   193829 |   81339   32496  3277964   100.9 | 88.162 % |
c |    129615 |   94032   193829 |   89473   38262  4114232   107.5 | 88.162 % |
c |    138265 |   94022   193806 |   98421   46910  5065018   108.0 | 88.169 % |
c |    151239 |   93949   193631 |  108263   59872  6798686   113.6 | 88.229 % |
c |    170700 |   93949   193631 |  119089   79333  9826082   123.9 | 88.229 % |
c |    199892 |   93702   193048 |  130998  108377 14787435   136.4 | 88.423 % |
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 |    234128 |   93746   193156 |   31248  142613 18707294   131.2 | 88.423 % |
c |    234228 |   93746   193156 |   34372   20508  1295236    63.2 | 88.400 % |
c |    234378 |   93746   193156 |   37810   20658  1303095    63.1 | 88.400 % |
c |    234603 |   93746   193156 |   41591   20883  1310936    62.8 | 88.400 % |
c |    234940 |   93746   193156 |   45750   21220  1331142    62.7 | 88.400 % |
c |    235446 |   93746   193156 |   50325   21726  1368163    63.0 | 88.400 % |
c |    236208 |   93746   193156 |   55357   22488  1428346    63.5 | 88.400 % |
c |    237348 |   93746   193156 |   60893   23628  1490174    63.1 | 88.400 % |
c |    239057 |   93746   193156 |   66982   25337  1596804    63.0 | 88.400 % |
c |    241619 |   93649   192925 |   73681   27833  1885153    67.7 | 88.477 % |
c |    245465 |   93637   192897 |   81049   31677  2212682    69.9 | 88.486 % |
c |    251232 |   93400   192333 |   89154   37315  2714921    72.8 | 88.664 % |
c |    259882 |   93396   192324 |   98069   45963  3817653    83.1 | 88.666 % |
c |    272856 |   93396   192324 |  107876   58937  6286580   106.7 | 88.666 % |
c |    292317 |   93370   192263 |  118664   78390  8528606   108.8 | 88.685 % |
c |    321509 |   93314   192132 |  130530  107559 12060423   112.1 | 88.726 % |
c 
c *** TERMINATED ***
s SATISFIABLE
v -C1150 -C1149 -C1148 -C1147 -C1146 -C1145 -C1144 -C1143 -C1142 -C1141 -C1140 C1139 -C1138 -C1137 -C1136 -C1135 -C1134 -C1133 -C1132 -C1131 -C1130 -C1129 -C1128 -C1127 -C1126 -C1125 -C1124 C1123 -C1122 -C1121 -C1120 -C1119 -C1118 -C1117 -C1116 -C1115 -C1114 -C1113 -C1112 -C1111 -C1110 -C1109 -C1108 -C1107 -C1106 -C1105 -C1104 -C1103 -C1102 -C1101 -C1100 -C1099 -C1098 -C1097 -C1096 -C1095 -C1094 -C1093 -C1092 -C1091 C1090 -C1089 -C1088 -C1087 -C1086 -C1085 -C1084 -C1083 -C1082 C1081 -C1080 -C1079 -C1078 -C1077 -C1076 -C1075 -C1074 -C1073 -C1072 -C1071 -C1070 -C1069 -C1068 -C1067 -C1066 -C1065 -C1064 -C1063 -C1062 -C1061 -C1060 -C1059 -C1058 -C1057 -C1056 -C1055 -C1054 -C1053 -C1052 -C1051 -C1050 -C1049 -C1048 -C1047 -C1046 -C1045 -C1044 -C1043 -C1042 -C1041 -C1040 -C1039 C1038 -C1037 -C1036 -C1035 -C1034 -C1033 -C1032 -C1031 -C1030 -C1029 -C1028 -C1027 -C1026 -C1025 -C1024 -C1023 -C1022 -C1021 -C1020 -C1019 -C1018 -C1017 -C1016 C1015 -C1014 -C1013 -C1012 -C1011 -C1010 -C1009 -C1008 -C1007 -C1006 -C1005 -C1004 -C1003 -C1002 -C1001 -C1000 -C999 -C998 -C997 -C996 -C995 -C994 -C993 -C992 -C991 C990 -C989 -C988 -C987 -C986 -C985 -C984 -C983 -C982 -C981 -C980 -C979 -C978 -C977 -C976 -C975 -C974 -C973 -C972 -C971 C970 -C969 -C968 -C967 -C966 -C965 -C964 -C963 -C962 -C961 -C960 -C959 -C958 -C957 -C956 -C955 -C954 -C953 C952 -C951 -C950 -C949 -C948 -C947 -C946 -C945 -C944 -C943 -C942 -C941 -C940 -C939 -C938 -C937 -C936 -C935 -C934 C933 -C932 -C931 -C930 -C929 -C928 -C927 -C926 -C925 -C924 -C923 -C922 -C921 -C920 -C919 -C918 -C917 -C916 -C915 -C914 -C913 -C912 -C911 -C910 -C909 -C908 -C907 -C906 -C905 C904 -C903 -C902 -C901 -C900 -C899 -C898 -C897 C896 -C895 -C894 -C893 -C892 -C891 -C890 -C889 -C888 -C887 -C886 -C885 -C884 -C883 -C882 -C881 -C880 -C879 -C878 -C877 -C876 -C875 -C874 -C873 -C872 -C871 -C870 -C869 C868 -C867 -C866 -C865 -C864 -C863 -C862 -C861 -C860 -C859 -C858 -C857 -C856 -C855 -C854 -C853 -C852 -C851 -C850 -C849 -C848 -C847 -C846 -C845 C844 -C843 -C842 -C841 -C840 -C839 -C838 -C837 -C836 -C835 -C834 -C833 -C832 -C831 -C830 -C829 -C828 -C827 -C826 -C825 -C824 -C823 -C822 -C821 -C820 -C819 -C818 -C817 -C816 -C815 -C814 -C813 -C812 -C811 -C810 -C809 -C808 -C807 -C806 -C805 -C804 -C803 -C802 -C801 -C800 -C799 -C798 -C797 -C796 -C795 -C794 -C793 -C792 -C791 -C790 -C789 -C788 -C787 C786 -C785 -C784 -C783 -C782 -C781 -C780 -C779 C778 -C777 -C776 -C775 -C774 -C773 -C772 -C771 -C770 -C769 -C768 -C767 -C766 -C765 -C764 -C763 -C762 -C761 -C760 C759 -C758 -C757 -C756 -C755 -C754 -C753 -C752 -C751 -C750 -C749 -C748 -C747 -C746 -C745 -C744 -C743 -C742 -C741 -C740 -C739 -C738 -C737 -C736 C735 -C734 -C733 -C732 -C731 -C730 -C729 -C728 -C727 -C726 -C725 -C724 -C723 -C722 -C721 -C720 -C719 -C718 -C717 -C716 -C715 -C714 -C713 -C712 -C711 -C710 -C709 -C708 -C707 -C706 -C705 -C704 -C703 -C702 -C701 -C700 -C699 -C698 -C697 -C696 -C695 -C694 -C693 -C692 C691 -C690 -C689 -C688 -C687 -C686 -C685 -C684 -C683 -C682 C681 -C680 -C679 -C678 -C677 -C676 -C675 -C674 -C673 -C672 -C671 -C670 -C669 -C668 -C667 -C666 C665 -C664 -C663 -C662 -C661 -C660 -C659 -C658 -C657 -C656 -C655 -C654 -C653 -C652 -C651 -C650 -C649 -C648 -C647 -C646 -C645 -C644 -C643 C642 -C641 -C640 -C639 -C638 -C637 -C636 -C635 -C634 -C633 -C632 -C631 -C630 -C629 -C628 -C627 -C626 -C625 -C624 -C623 -C622 -C621 -C620 -C619 -C618 -C617 -C616 -C615 -C614 -C613 -C612 C611 -C610 -C609 -C608 -C607 -C606 -C605 -C604 -C603 -C602 -C601 -C600 -C599 -C598 -C597 -C596 -C595 -C594 -C593 -C592 -C591 -C590 -C589 -C588 -C587 -C586 -C585 -C584 -C583 -C582 -C581 -C580 -C579 -C578 -C577 -C576 -C575 C574 -C573 -C572 -C571 -C570 -C569 -C568 -C567 -C566 -C565 -C564 -C563 -C562 -C561 -C560 -C559 -C558 -C557 -C556 -C555 -C554 -C553 -C552 -C551 -C550 -C549 -C548 -C547 -C546 -C545 -C544 -C543 -C542 -C541 -C540 -C539 -C538 -C537 -C536 -C535 -C534 -C533 -C532 C531 -C530 -C529 -C528 -C527 -C526 -C525 -C524 -C523 -C522 -C521 -C520 -C519 -C518 -C517 -C516 -C515 -C514 -C513 C512 -C511 -C510 -C509 -C508 -C507 -C506 C505 -C504 -C503 -C502 -C501 -C500 -C499 -C498 -C497 -C496 -C#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.96 0.91 2/54 3210
Raw data (stat): 3210 (runsolver) R 3209 29653 29652 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 423598792 1052672 99 4294967295 134512640 135381576 3221224464 3221219708 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0004 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 3210
Raw data (stat): 3210 (minisat+) R 3209 29653 29652 0 -1 0 5265 0 0 0 981 17 0 0 25 0 1 0 423598792 24330240 5243 4294967295 134512640 134672761 3221224560 3221223732 134556649 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 5940 5243 603 41 0 5899 0
vsize: 23760
[startup+20.0011 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 3210
Raw data (stat): 3210 (minisat+) R 3209 29653 29652 0 -1 0 5538 0 0 0 1980 18 0 0 25 0 1 0 423598792 26288128 5516 4294967295 134512640 134672761 3221224560 3221223728 134560833 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 6418 5516 603 41 0 6377 0
vsize: 25672
[startup+30.0012 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 3210
Raw data (stat): 3210 (minisat+) R 3209 29653 29652 0 -1 0 5538 0 0 0 2980 18 0 0 25 0 1 0 423598792 26288128 5516 4294967295 134512640 134672761 3221224560 3221223732 134556598 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 6418 5516 603 41 0 6377 0
vsize: 25672
[startup+40.0019 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 3210
Raw data (stat): 3210 (minisat+) R 3209 29653 29652 0 -1 0 5538 0 0 0 3980 19 0 0 25 0 1 0 423598792 26288128 5516 4294967295 134512640 134672761 3221224560 3221223696 134560588 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 6418 5516 603 41 0 6377 0
vsize: 25672
[startup+50.0025 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 3210
Raw data (stat): 3210 (minisat+) R 3209 29653 29652 0 -1 0 5539 0 0 0 4980 19 0 0 25 0 1 0 423598792 26288128 5517 4294967295 134512640 134672761 3221224560 3221223760 134557911 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 6418 5517 603 41 0 6377 0
vsize: 25672
[startup+60.0027 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 3210
Raw data (stat): 3210 (minisat+) R 3209 29653 29652 0 -1 0 5539 0 0 0 5980 19 0 0 25 0 1 0 423598792 26288128 5517 4294967295 134512640 134672761 3221224560 3221223684 134566037 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 6418 5517 603 41 0 6377 0
vsize: 25672
[startup+70.0033 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 3210
Raw data (stat): 3210 (minisat+) R 3209 29653 29652 0 -1 0 5539 0 0 0 6980 19 0 0 25 0 1 0 423598792 26288128 5517 4294967295 134512640 134672761 3221224560 3221223756 134556584 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6418 5517 603 41 0 6377 0
vsize: 25672
[startup+80.0038 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 3210
Raw data (stat): 3210 (minisat+) R 3209 29653 29652 0 -1 0 5539 0 0 0 7980 19 0 0 25 0 1 0 423598792 26288128 5517 4294967295 134512640 134672761 3221224560 3221223732 134556667 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6418 5517 603 41 0 6377 0
vsize: 25672
[startup+90.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 3210
Raw data (stat): 3210 (minisat+) R 3209 29653 29652 0 -1 0 5539 0 0 0 8981 19 0 0 25 0 1 0 423598792 26288128 5517 4294967295 134512640 134672761 3221224560 3221223684 134566136 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6418 5517 603 41 0 6377 0
vsize: 25672
[startup+100.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 3210
Raw data (stat): 3210 (minisat+) R 3209 29653 29652 0 -1 0 5594 0 0 0 9980 19 0 0 25 0 1 0 423598792 26558464 5572 4294967295 134512640 134672761 3221224560 3221223732 134556598 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6484 5572 603 41 0 6443 0
vsize: 25936
[startup+110.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 3210
Raw data (stat): 3210 (minisat+) R 3209 29653 29652 0 -1 0 5747 0 0 0 10980 20 0 0 25 0 1 0 423598792 27246592 5725 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 6652 5725 603 41 0 6611 0
vsize: 26608
[startup+120.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3210
Raw data (stat): 3210 (minisat+) R 3209 29653 29652 0 -1 0 6335 0 0 0 11979 22 0 0 25 0 1 0 423598792 29663232 6313 4294967295 134512640 134672761 3221224560 3221223728 134560903 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7242 6313 603 41 0 7201 0
vsize: 28968
[startup+130.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3210
Raw data (stat): 3210 (minisat+) R 3209 29653 29652 0 -1 0 6762 0 0 0 12978 23 0 0 25 0 1 0 423598792 31371264 6740 4294967295 134512640 134672761 3221224560 3221223728 134560869 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 7659 6740 603 41 0 7618 0
vsize: 30636
[startup+140.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3210
Raw data (stat): 3210 (minisat+) R 3209 29653 29652 0 -1 0 7169 0 0 0 13978 23 0 0 25 0 1 0 423598792 33177600 7147 4294967295 134512640 134672761 3221224560 3221223712 134561244 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 8100 7147 603 41 0 8059 0
vsize: 32400
[startup+150.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3210
Raw data (stat): 3210 (minisat+) R 3209 29653 29652 0 -1 0 7663 0 0 0 14977 25 0 0 25 0 1 0 423598792 35184640 7641 4294967295 134512640 134672761 3221224560 3221223664 134560196 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 8590 7641 603 41 0 8549 0
vsize: 34360
[startup+160.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3210
Raw data (stat): 3210 (minisat+) R 3209 29653 29652 0 -1 0 8304 0 0 0 15975 26 0 0 25 0 1 0 423598792 37724160 8282 4294967295 134512640 134672761 3221224560 3221223728 134560954 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 9210 8282 603 41 0 9169 0
vsize: 36840
[startup+170.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3210
Raw data (stat): 3210 (minisat+) R 3209 29653 29652 0 -1 0 8590 0 0 0 16975 27 0 0 25 0 1 0 423598792 38907904 8568 4294967295 134512640 134672761 3221224560 3221223664 134560235 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 9499 8568 603 41 0 9458 0
vsize: 37996
[startup+180.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3210
Raw data (stat): 3210 (minisat+) R 3209 29653 29652 0 -1 0 9015 0 0 0 17973 29 0 0 25 0 1 0 423598792 40603648 8993 4294967295 134512640 134672761 3221224560 3221223728 134561372 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 9913 8993 603 41 0 9872 0
vsize: 39652
[startup+190.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3210
Raw data (stat): 3210 (minisat+) R 3209 29653 29652 0 -1 0 9423 0 0 0 18972 31 0 0 25 0 1 0 423598792 42344448 9401 4294967295 134512640 134672761 3221224560 3221223728 134561005 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 10338 9401 603 41 0 10297 0
vsize: 41352
[startup+200.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3210
Raw data (stat): 3210 (minisat+) R 3209 29653 29652 0 -1 0 9860 0 0 0 19971 32 0 0 25 0 1 0 423598792 44072960 9838 4294967295 134512640 134672761 3221224560 3221223728 134560867 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 10760 9838 603 41 0 10719 0
vsize: 43040
[startup+210.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3210
Raw data (stat): 3210 (minisat+) R 3209 29653 29652 0 -1 0 10325 0 0 0 20970 33 0 0 25 0 1 0 423598792 45953024 10303 4294967295 134512640 134672761 3221224560 3221223744 134559340 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11219 10303 603 41 0 11178 0
vsize: 44876
[startup+220.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3210
Raw data (stat): 3210 (minisat+) R 3209 29653 29652 0 -1 0 10780 0 0 0 21968 35 0 0 25 0 1 0 423598792 47837184 10758 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 11679 10758 603 41 0 11638 0
vsize: 46716
[startup+230.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3210
Raw data (stat): 3210 (minisat+) R 3209 29653 29652 0 -1 0 11188 0 0 0 22968 37 0 0 25 0 1 0 423598792 49709056 11166 4294967295 134512640 134672761 3221224560 3221223760 134557836 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 12136 11166 603 41 0 12095 0
vsize: 48544
[startup+240.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3210
Raw data (stat): 3210 (minisat+) R 3209 29653 29652 0 -1 0 11665 0 0 0 23967 37 0 0 25 0 1 0 423598792 51720192 11643 4294967295 134512640 134672761 3221224560 3221223728 134560903 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 12627 11643 603 41 0 12586 0
vsize: 50508
[startup+250.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3210
Raw data (stat): 3210 (minisat+) R 3209 29653 29652 0 -1 0 12143 0 0 0 24966 39 0 0 25 0 1 0 423598792 53592064 12121 4294967295 134512640 134672761 3221224560 3221223728 134560885 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 13084 12121 603 41 0 13043 0
vsize: 52336
[startup+260.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3210
Raw data (stat): 3210 (minisat+) R 3209 29653 29652 0 -1 0 12493 0 0 0 25965 40 0 0 25 0 1 0 423598792 55062528 12471 4294967295 134512640 134672761 3221224560 3221223728 134561229 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 13443 12471 603 41 0 13402 0
vsize: 53772
[startup+270.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3210
Raw data (stat): 3210 (minisat+) R 3209 29653 29652 0 -1 0 12808 0 0 0 26965 41 0 0 25 0 1 0 423598792 56266752 12786 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 13737 12786 603 41 0 13696 0
vsize: 54948
[startup+280.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3210
Raw data (stat): 3210 (minisat+) R 3209 29653 29652 0 -1 0 13142 0 0 0 27964 42 0 0 25 0 1 0 423598792 57737216 13120 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 14096 13120 603 41 0 14055 0
vsize: 56384
[startup+290.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3210
Raw data (stat): 3210 (minisat+) R 3209 29653 29652 0 -1 0 13481 0 0 0 28963 43 0 0 25 0 1 0 423598792 59064320 13459 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 14420 13459 603 41 0 14379 0
vsize: 57680
[startup+300.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3210
Raw data (stat): 3210 (minisat+) R 3209 29653 29652 0 -1 0 13908 0 0 0 29962 44 0 0 25 0 1 0 423598792 60809216 13886 4294967295 134512640 134672761 3221224560 3221223728 134561151 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 14846 13886 603 41 0 14805 0
vsize: 59384
[startup+310.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3210
Raw data (stat): 3210 (minisat+) R 3209 29653 29652 0 -1 0 14275 0 0 0 30961 46 0 0 25 0 1 0 423598792 62287872 14253 4294967295 134512640 134672761 3221224560 3221223696 134560645 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 15207 14253 603 41 0 15166 0
vsize: 60828
[startup+320.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3210
Raw data (stat): 3210 (minisat+) R 3209 29653 29652 0 -1 0 14687 0 0 0 31960 47 0 0 25 0 1 0 423598792 64016384 14665 4294967295 134512640 134672761 3221224560 3221223728 134560830 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 15629 14665 603 41 0 15588 0
vsize: 62516
[startup+330.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3210
Raw data (stat): 3210 (minisat+) R 3209 29653 29652 0 -1 0 15065 0 0 0 32959 48 0 0 25 0 1 0 423598792 65490944 15043 4294967295 134512640 134672761 3221224560 3221223728 134561167 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 15989 15043 603 41 0 15948 0
vsize: 63956
[startup+340.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3210
Raw data (stat): 3210 (minisat+) R 3209 29653 29652 0 -1 0 15476 0 0 0 33959 49 0 0 25 0 1 0 423598792 67235840 15454 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16415 15454 603 41 0 16374 0
vsize: 65660
[startup+350.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3210
Raw data (stat): 3210 (minisat+) R 3209 29653 29652 0 -1 0 15639 0 0 0 34958 50 0 0 25 0 1 0 423598792 67776512 15617 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16547 15617 603 41 0 16506 0
vsize: 66188
[startup+360.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3210
Raw data (stat): 3210 (minisat+) R 3209 29653 29652 0 -1 0 15639 0 0 0 35959 50 0 0 25 0 1 0 423598792 67776512 15617 4294967295 134512640 134672761 3221224560 3221223744 134559498 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16547 15617 603 41 0 16506 0
vsize: 66188
[startup+370.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3210
Raw data (stat): 3210 (minisat+) R 3209 29653 29652 0 -1 0 15639 0 0 0 36959 50 0 0 25 0 1 0 423598792 67776512 15617 4294967295 134512640 134672761 3221224560 3221223728 134561164 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16547 15617 603 41 0 16506 0
vsize: 66188
[startup+380.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3210
Raw data (stat): 3210 (minisat+) R 3209 29653 29652 0 -1 0 15639 0 0 0 37959 50 0 0 25 0 1 0 423598792 67776512 15617 4294967295 134512640 134672761 3221224560 3221223728 134560830 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16547 15617 603 41 0 16506 0
vsize: 66188
[startup+390.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3210
Raw data (stat): 3210 (minisat+) R 3209 29653 29652 0 -1 0 15639 0 0 0 38960 50 0 0 25 0 1 0 423598792 67776512 15617 4294967295 134512640 134672761 3221224560 3221223728 134560858 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16547 15617 603 41 0 16506 0
vsize: 66188
[startup+400.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3210
Raw data (stat): 3210 (minisat+) R 3209 29653 29652 0 -1 0 15639 0 0 0 39960 50 0 0 25 0 1 0 423598792 67776512 15617 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16547 15617 603 41 0 16506 0
vsize: 66188
[startup+410.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3210
Raw data (stat): 3210 (minisat+) R 3209 29653 29652 0 -1 0 15639 0 0 0 40960 50 0 0 25 0 1 0 423598792 67776512 15617 4294967295 134512640 134672761 3221224560 3221223696 134560588 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16547 15617 603 41 0 16506 0
vsize: 66188
[startup+420.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3210
Raw data (stat): 3210 (minisat+) R 3209 29653 29652 0 -1 0 15639 0 0 0 41961 50 0 0 25 0 1 0 423598792 67776512 15617 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16547 15617 603 41 0 16506 0
vsize: 66188
[startup+430.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3210
Raw data (stat): 3210 (minisat+) R 3209 29653 29652 0 -1 0 15639 0 0 0 42961 50 0 0 25 0 1 0 423598792 67776512 15617 4294967295 134512640 134672761 3221224560 3221223744 134559340 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16547 15617 603 41 0 16506 0
vsize: 66188
[startup+440.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3210
Raw data (stat): 3210 (minisat+) R 3209 29653 29652 0 -1 0 15639 0 0 0 43961 50 0 0 25 0 1 0 423598792 67776512 15617 4294967295 134512640 134672761 3221224560 3221223728 134561001 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16547 15617 603 41 0 16506 0
vsize: 66188
[startup+450.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3210
Raw data (stat): 3210 (minisat+) R 3209 29653 29652 0 -1 0 15639 0 0 0 44962 50 0 0 25 0 1 0 423598792 67776512 15617 4294967295 134512640 134672761 3221224560 3221223696 134560677 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16547 15617 603 41 0 16506 0
vsize: 66188
[startup+460.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3210
Raw data (stat): 3210 (minisat+) R 3209 29653 29652 0 -1 0 15639 0 0 0 45962 50 0 0 25 0 1 0 423598792 67776512 15617 4294967295 134512640 134672761 3221224560 3221223728 134560867 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16547 15617 603 41 0 16506 0
vsize: 66188
[startup+470.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3210
Raw data (stat): 3210 (minisat+) R 3209 29653 29652 0 -1 0 15639 0 0 0 46962 50 0 0 25 0 1 0 423598792 67776512 15617 4294967295 134512640 134672761 3221224560 3221223728 134561193 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16547 15617 603 41 0 16506 0
vsize: 66188
[startup+480.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3210
Raw data (stat): 3210 (minisat+) R 3209 29653 29652 0 -1 0 15639 0 0 0 47963 50 0 0 25 0 1 0 423598792 67776512 15617 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16547 15617 603 41 0 16506 0
vsize: 66188
[startup+490.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3210
Raw data (stat): 3210 (minisat+) R 3209 29653 29652 0 -1 0 15639 0 0 0 48963 50 0 0 25 0 1 0 423598792 67776512 15617 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16547 15617 603 41 0 16506 0
vsize: 66188
[startup+500.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3210
Raw data (stat): 3210 (minisat+) R 3209 29653 29652 0 -1 0 15639 0 0 0 49964 50 0 0 25 0 1 0 423598792 67776512 15617 4294967295 134512640 134672761 3221224560 3221223696 134560642 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16547 15617 603 41 0 16506 0
vsize: 66188
[startup+510.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3210
Raw data (stat): 3210 (minisat+) R 3209 29653 29652 0 -1 0 15668 0 0 0 50964 50 0 0 25 0 1 0 423598792 67907584 15646 4294967295 134512640 134672761 3221224560 3221223760 134557895 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16579 15646 603 41 0 16538 0
vsize: 66316
[startup+520.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3210
Raw data (stat): 3210 (minisat+) R 3209 29653 29652 0 -1 0 16058 0 0 0 51963 51 0 0 25 0 1 0 423598792 69492736 16036 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 16966 16036 603 41 0 16925 0
vsize: 67864
[startup+530.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3210
Raw data (stat): 3210 (minisat+) R 3209 29653 29652 0 -1 0 16431 0 0 0 52962 52 0 0 25 0 1 0 423598792 71094272 16409 4294967295 134512640 134672761 3221224560 3221223728 134560996 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 17357 16409 603 41 0 17316 0
vsize: 69428
[startup+540.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3210
Raw data (stat): 3210 (minisat+) R 3209 29653 29652 0 -1 0 16799 0 0 0 53962 53 0 0 25 0 1 0 423598792 72548352 16777 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 17712 16777 603 41 0 17671 0
vsize: 70848
[startup+550.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3210
Raw data (stat): 3210 (minisat+) R 3209 29653 29652 0 -1 0 17114 0 0 0 54961 54 0 0 25 0 1 0 423598792 73883648 17092 4294967295 134512640 134672761 3221224560 3221223744 134559345 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 18038 17092 603 41 0 17997 0
vsize: 72152
[startup+560.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3210
Raw data (stat): 3210 (minisat+) R 3209 29653 29652 0 -1 0 17550 0 0 0 55961 55 0 0 25 0 1 0 423598792 75612160 17528 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 18460 17528 603 41 0 18419 0
vsize: 73840
[startup+570.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3210
Raw data (stat): 3210 (minisat+) R 3209 29653 29652 0 -1 0 18011 0 0 0 56960 56 0 0 25 0 1 0 423598792 77619200 17989 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 18950 17989 603 41 0 18909 0
vsize: 75800
[startup+580.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3210
Raw data (stat): 3210 (minisat+) R 3209 29653 29652 0 -1 0 18476 0 0 0 57959 57 0 0 25 0 1 0 423598792 79482880 18454 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19405 18454 603 41 0 19364 0
vsize: 77620
[startup+590.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3210
Raw data (stat): 3210 (minisat+) R 3209 29653 29652 0 -1 0 18892 0 0 0 58958 59 0 0 25 0 1 0 423598792 81219584 18870 4294967295 134512640 134672761 3221224560 3221223728 134560830 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 19829 18870 603 41 0 19788 0
vsize: 79316
[startup+600.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3210
Raw data (stat): 3210 (minisat+) R 3209 29653 29652 0 -1 0 19220 0 0 0 59957 60 0 0 25 0 1 0 423598792 82558976 19198 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 20156 19198 603 41 0 20115 0
vsize: 80624
[startup+610.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3210
Raw data (stat): 3210 (minisat+) R 3209 29653 29652 0 -1 0 19586 0 0 0 60957 61 0 0 25 0 1 0 423598792 84025344 19564 4294967295 134512640 134672761 3221224560 3221223728 134561001 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 20514 19564 603 41 0 20473 0
vsize: 82056
[startup+620.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3210
Raw data (stat): 3210 (minisat+) R 3209 29653 29652 0 -1 0 19976 0 0 0 61956 62 0 0 25 0 1 0 423598792 85626880 19954 4294967295 134512640 134672761 3221224560 3221223728 134561256 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 20905 19954 603 41 0 20864 0
vsize: 83620
[startup+630.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3210
Raw data (stat): 3210 (minisat+) R 3209 29653 29652 0 -1 0 20393 0 0 0 62955 63 0 0 25 0 1 0 423598792 87355392 20371 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 21327 20371 603 41 0 21286 0
vsize: 85308
[startup+640.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3210
Raw data (stat): 3210 (minisat+) R 3209 29653 29652 0 -1 0 20716 0 0 0 63954 64 0 0 25 0 1 0 423598792 88551424 20694 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 21619 20694 603 41 0 21578 0
vsize: 86476
[startup+650.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3210
Raw data (stat): 3210 (minisat+) R 3209 29653 29652 0 -1 0 21091 0 0 0 64954 65 0 0 25 0 1 0 423598792 90152960 21069 4294967295 134512640 134672761 3221224560 3221223664 134560269 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22010 21069 603 41 0 21969 0
vsize: 88040
[startup+660.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3210
Raw data (stat): 3210 (minisat+) R 3209 29653 29652 0 -1 0 21364 0 0 0 65952 66 0 0 25 0 1 0 423598792 91226112 21342 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22272 21342 603 41 0 22231 0
vsize: 89088
[startup+670.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3210
Raw data (stat): 3210 (minisat+) R 3209 29653 29652 0 -1 0 21630 0 0 0 66952 67 0 0 25 0 1 0 423598792 92303360 21608 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22535 21608 603 41 0 22494 0
vsize: 90140
[startup+680.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3210
Raw data (stat): 3210 (minisat+) R 3209 29653 29652 0 -1 0 21897 0 0 0 67952 68 0 0 25 0 1 0 423598792 93360128 21875 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 22793 21875 603 41 0 22752 0
vsize: 91172
[startup+690.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3210
Raw data (stat): 3210 (minisat+) R 3209 29653 29652 0 -1 0 22148 0 0 0 68951 68 0 0 25 0 1 0 423598792 94425088 22126 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 23053 22126 603 41 0 23012 0
vsize: 92212
[startup+700.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3210
Raw data (stat): 3210 (minisat+) R 3209 29653 29652 0 -1 0 22404 0 0 0 69951 69 0 0 25 0 1 0 423598792 95481856 22382 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 23311 22382 603 41 0 23270 0
vsize: 93244
[startup+710.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3210
Raw data (stat): 3210 (minisat+) R 3209 29653 29652 0 -1 0 22659 0 0 0 70950 70 0 0 25 0 1 0 423598792 96534528 22637 4294967295 134512640 134672761 3221224560 3221223728 134560999 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 23568 22637 603 41 0 23527 0
vsize: 94272
[startup+720.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3210
Raw data (stat): 3210 (minisat+) R 3209 29653 29652 0 -1 0 22925 0 0 0 71949 72 0 0 25 0 1 0 423598792 97595392 22903 4294967295 134512640 134672761 3221224560 3221223744 134558756 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 23827 22903 603 41 0 23786 0
vsize: 95308
[startup+730.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3210
Raw data (stat): 3210 (minisat+) R 3209 29653 29652 0 -1 0 23165 0 0 0 72949 72 0 0 25 0 1 0 423598792 98521088 23143 4294967295 134512640 134672761 3221224560 3221223728 134561205 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24053 23143 603 41 0 24012 0
vsize: 96212
[startup+740.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3210
Raw data (stat): 3210 (minisat+) R 3209 29653 29652 0 -1 0 23429 0 0 0 73948 73 0 0 25 0 1 0 423598792 99717120 23407 4294967295 134512640 134672761 3221224560 3221223728 134561005 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24345 23407 603 41 0 24304 0
vsize: 97380
[startup+750.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3210
Raw data (stat): 3210 (minisat+) R 3209 29653 29652 0 -1 0 23660 0 0 0 74948 73 0 0 25 0 1 0 423598792 100651008 23638 4294967295 134512640 134672761 3221224560 3221223728 134561151 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24573 23638 603 41 0 24532 0
vsize: 98292
[startup+760.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3210
Raw data (stat): 3210 (minisat+) R 3209 29653 29652 0 -1 0 23886 0 0 0 75947 75 0 0 25 0 1 0 423598792 101457920 23864 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24770 23864 603 41 0 24729 0
vsize: 99080
[startup+770.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3210
Raw data (stat): 3210 (minisat+) R 3209 29653 29652 0 -1 0 24088 0 0 0 76947 76 0 0 25 0 1 0 423598792 102387712 24066 4294967295 134512640 134672761 3221224560 3221223728 134561198 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 24997 24066 603 41 0 24956 0
vsize: 99988
[startup+780.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3210
Raw data (stat): 3210 (minisat+) R 3209 29653 29652 0 -1 0 24278 0 0 0 77946 77 0 0 25 0 1 0 423598792 103575552 24256 4294967295 134512640 134672761 3221224560 3221223728 134560830 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25287 24256 603 41 0 25246 0
vsize: 101148
[startup+790.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3210
Raw data (stat): 3210 (minisat+) R 3209 29653 29652 0 -1 0 24456 0 0 0 78946 77 0 0 25 0 1 0 423598792 104366080 24434 4294967295 134512640 134672761 3221224560 3221223632 134553557 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25480 24434 603 41 0 25439 0
vsize: 101920
[startup+800.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3210
Raw data (stat): 3210 (minisat+) R 3209 29653 29652 0 -1 0 24633 0 0 0 79945 78 0 0 25 0 1 0 423598792 105033728 24611 4294967295 134512640 134672761 3221224560 3221223664 134560196 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25643 24611 603 41 0 25602 0
vsize: 102572
[startup+810.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3210
Raw data (stat): 3210 (minisat+) R 3209 29653 29652 0 -1 0 24786 0 0 0 80945 79 0 0 25 0 1 0 423598792 105693184 24764 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25804 24764 603 41 0 25763 0
vsize: 103216
[startup+820.016 s]
Raw data (loadavg): 1.07 0.99 0.91 3/57 3251
Raw data (stat): 3210 (minisat+) R 3209 29653 29652 0 -1 0 24975 0 0 0 81945 79 0 0 25 0 1 0 423598792 106487808 24953 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 25998 24953 603 41 0 25957 0
vsize: 103992
[startup+830.015 s]
Raw data (loadavg): 1.14 1.00 0.92 2/54 3263
Raw data (stat): 3210 (minisat+) R 3209 29653 29652 0 -1 0 25149 0 0 0 82945 80 0 0 25 0 1 0 423598792 107147264 25127 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26159 25127 603 41 0 26118 0
vsize: 104636
[startup+840.015 s]
Raw data (loadavg): 1.11 1.00 0.92 2/54 3263
Raw data (stat): 3210 (minisat+) R 3209 29653 29652 0 -1 0 25309 0 0 0 83944 80 0 0 25 0 1 0 423598792 107769856 25287 4294967295 134512640 134672761 3221224560 3221223664 134554642 0 0 5 16386 0 0 0 17 0 0 0
Raw data (statm): 26311 25287 603 41 0 26270 0
vsize: 105244
[startup+850.016 s]
Raw data (loadavg): 1.10 1.00 0.92 2/54 3263
Raw data (stat): 3210 (minisat+) R 3209 29653 29652 0 -1 0 25309 0 0 0 84944 80 0 0 25 0 1 0 423598792 107769856 25287 4294967295 134512640 134672761 3221224560 3221223728 134560929 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26311 25287 603 41 0 26270 0
vsize: 105244
[startup+860.016 s]
Raw data (loadavg): 1.08 1.00 0.92 2/54 3263
Raw data (stat): 3210 (minisat+) R 3209 29653 29652 0 -1 0 25309 0 0 0 85944 80 0 0 25 0 1 0 423598792 107769856 25287 4294967295 134512640 134672761 3221224560 3221223728 134560833 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26311 25287 603 41 0 26270 0
vsize: 105244
[startup+870.016 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 3263
Raw data (stat): 3210 (minisat+) R 3209 29653 29652 0 -1 0 25309 0 0 0 86944 80 0 0 25 0 1 0 423598792 107769856 25287 4294967295 134512640 134672761 3221224560 3221223728 134561021 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26311 25287 603 41 0 26270 0
vsize: 105244
[startup+880.016 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 3263
Raw data (stat): 3210 (minisat+) R 3209 29653 29652 0 -1 0 25309 0 0 0 87945 80 0 0 25 0 1 0 423598792 107769856 25287 4294967295 134512640 134672761 3221224560 3221223728 134561400 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26311 25287 603 41 0 26270 0
vsize: 105244
[startup+890.017 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 3265
Raw data (stat): 3210 (minisat+) R 3209 29653 29652 0 -1 0 25309 0 0 0 88945 80 0 0 25 0 1 0 423598792 107769856 25287 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26311 25287 603 41 0 26270 0
vsize: 105244
[startup+900.017 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 3265
Raw data (stat): 3210 (minisat+) R 3209 29653 29652 0 -1 0 25309 0 0 0 89945 80 0 0 25 0 1 0 423598792 107769856 25287 4294967295 134512640 134672761 3221224560 3221223664 134560196 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26311 25287 603 41 0 26270 0
vsize: 105244
[startup+910.018 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 3265
Raw data (stat): 3210 (minisat+) R 3209 29653 29652 0 -1 0 25309 0 0 0 90946 80 0 0 25 0 1 0 423598792 107769856 25287 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26311 25287 603 41 0 26270 0
vsize: 105244
[startup+920.019 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 3265
Raw data (stat): 3210 (minisat+) R 3209 29653 29652 0 -1 0 25309 0 0 0 91946 80 0 0 25 0 1 0 423598792 107769856 25287 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26311 25287 603 41 0 26270 0
vsize: 105244
[startup+930.019 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 3265
Raw data (stat): 3210 (minisat+) R 3209 29653 29652 0 -1 0 25309 0 0 0 92947 80 0 0 25 0 1 0 423598792 107769856 25287 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26311 25287 603 41 0 26270 0
vsize: 105244
[startup+940.019 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 3265
Raw data (stat): 3210 (minisat+) R 3209 29653 29652 0 -1 0 25309 0 0 0 93947 80 0 0 25 0 1 0 423598792 107769856 25287 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26311 25287 603 41 0 26270 0
vsize: 105244
[startup+950.019 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 3265
Raw data (stat): 3210 (minisat+) R 3209 29653 29652 0 -1 0 25309 0 0 0 94947 80 0 0 25 0 1 0 423598792 107769856 25287 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26311 25287 603 41 0 26270 0
vsize: 105244
[startup+960.019 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 3265
Raw data (stat): 3210 (minisat+) R 3209 29653 29652 0 -1 0 25309 0 0 0 95948 80 0 0 25 0 1 0 423598792 107769856 25287 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26311 25287 603 41 0 26270 0
vsize: 105244
[startup+970.02 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 3265
Raw data (stat): 3210 (minisat+) R 3209 29653 29652 0 -1 0 25309 0 0 0 96948 80 0 0 25 0 1 0 423598792 107769856 25287 4294967295 134512640 134672761 3221224560 3221223732 134556643 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26311 25287 603 41 0 26270 0
vsize: 105244
[startup+980.019 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 3265
Raw data (stat): 3210 (minisat+) R 3209 29653 29652 0 -1 0 25309 0 0 0 97948 80 0 0 25 0 1 0 423598792 107769856 25287 4294967295 134512640 134672761 3221224560 3221223728 134560999 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26311 25287 603 41 0 26270 0
vsize: 105244
[startup+990.02 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 3265
Raw data (stat): 3210 (minisat+) R 3209 29653 29652 0 -1 0 25309 0 0 0 98949 80 0 0 25 0 1 0 423598792 107769856 25287 4294967295 134512640 134672761 3221224560 3221223664 134560169 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26311 25287 603 41 0 26270 0
vsize: 105244
[startup+1000.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3265
Raw data (stat): 3210 (minisat+) R 3209 29653 29652 0 -1 0 25309 0 0 0 99949 80 0 0 25 0 1 0 423598792 107769856 25287 4294967295 134512640 134672761 3221224560 3221223728 134560983 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26311 25287 603 41 0 26270 0
vsize: 105244
[startup+1010.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3265
Raw data (stat): 3210 (minisat+) R 3209 29653 29652 0 -1 0 25309 0 0 0 100949 80 0 0 25 0 1 0 423598792 107769856 25287 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26311 25287 603 41 0 26270 0
vsize: 105244
[startup+1020.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3265
Raw data (stat): 3210 (minisat+) R 3209 29653 29652 0 -1 0 25309 0 0 0 101950 80 0 0 25 0 1 0 423598792 107769856 25287 4294967295 134512640 134672761 3221224560 3221223696 134560709 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26311 25287 603 41 0 26270 0
vsize: 105244
[startup+1030.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3265
Raw data (stat): 3210 (minisat+) R 3209 29653 29652 0 -1 0 25309 0 0 0 102950 80 0 0 25 0 1 0 423598792 107769856 25287 4294967295 134512640 134672761 3221224560 3221223728 134561201 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26311 25287 603 41 0 26270 0
vsize: 105244
[startup+1040.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3265
Raw data (stat): 3210 (minisat+) R 3209 29653 29652 0 -1 0 25309 0 0 0 103950 80 0 0 25 0 1 0 423598792 107769856 25287 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26311 25287 603 41 0 26270 0
vsize: 105244
[startup+1050.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3265
Raw data (stat): 3210 (minisat+) R 3209 29653 29652 0 -1 0 25309 0 0 0 104951 80 0 0 25 0 1 0 423598792 107769856 25287 4294967295 134512640 134672761 3221224560 3221223728 134561188 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26311 25287 603 41 0 26270 0
vsize: 105244
[startup+1060.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3265
Raw data (stat): 3210 (minisat+) R 3209 29653 29652 0 -1 0 25309 0 0 0 105951 80 0 0 25 0 1 0 423598792 107769856 25287 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26311 25287 603 41 0 26270 0
vsize: 105244
[startup+1070.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3265
Raw data (stat): 3210 (minisat+) R 3209 29653 29652 0 -1 0 25309 0 0 0 106951 80 0 0 25 0 1 0 423598792 107769856 25287 4294967295 134512640 134672761 3221224560 3221223728 134560956 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26311 25287 603 41 0 26270 0
vsize: 105244
[startup+1080.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3265
Raw data (stat): 3210 (minisat+) R 3209 29653 29652 0 -1 0 25309 0 0 0 107952 80 0 0 25 0 1 0 423598792 107769856 25287 4294967295 134512640 134672761 3221224560 3221223728 134560999 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26311 25287 603 41 0 26270 0
vsize: 105244
[startup+1090.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3265
Raw data (stat): 3210 (minisat+) R 3209 29653 29652 0 -1 0 25309 0 0 0 108952 80 0 0 25 0 1 0 423598792 107769856 25287 4294967295 134512640 134672761 3221224560 3221223664 134559872 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26311 25287 603 41 0 26270 0
vsize: 105244
[startup+1100.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3265
Raw data (stat): 3210 (minisat+) R 3209 29653 29652 0 -1 0 25309 0 0 0 109952 80 0 0 25 0 1 0 423598792 107769856 25287 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26311 25287 603 41 0 26270 0
vsize: 105244
[startup+1110.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3265
Raw data (stat): 3210 (minisat+) R 3209 29653 29652 0 -1 0 25309 0 0 0 110953 80 0 0 25 0 1 0 423598792 107769856 25287 4294967295 134512640 134672761 3221224560 3221223720 134559749 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26311 25287 603 41 0 26270 0
vsize: 105244
[startup+1120.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3265
Raw data (stat): 3210 (minisat+) R 3209 29653 29652 0 -1 0 25309 0 0 0 111953 80 0 0 25 0 1 0 423598792 107769856 25287 4294967295 134512640 134672761 3221224560 3221223728 134560988 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26311 25287 603 41 0 26270 0
vsize: 105244
[startup+1130.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3265
Raw data (stat): 3210 (minisat+) R 3209 29653 29652 0 -1 0 25309 0 0 0 112954 80 0 0 25 0 1 0 423598792 107769856 25287 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26311 25287 603 41 0 26270 0
vsize: 105244
[startup+1140.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3267
Raw data (stat): 3210 (minisat+) R 3209 29653 29652 0 -1 0 25309 0 0 0 113954 80 0 0 25 0 1 0 423598792 107769856 25287 4294967295 134512640 134672761 3221224560 3221223728 134560888 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26311 25287 603 41 0 26270 0
vsize: 105244
[startup+1150.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3267
Raw data (stat): 3210 (minisat+) R 3209 29653 29652 0 -1 0 25309 0 0 0 114954 80 0 0 25 0 1 0 423598792 107769856 25287 4294967295 134512640 134672761 3221224560 3221223744 134559376 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26311 25287 603 41 0 26270 0
vsize: 105244
[startup+1160.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3267
Raw data (stat): 3210 (minisat+) R 3209 29653 29652 0 -1 0 25309 0 0 0 115955 80 0 0 25 0 1 0 423598792 107769856 25287 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26311 25287 603 41 0 26270 0
vsize: 105244
[startup+1170.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3267
Raw data (stat): 3210 (minisat+) R 3209 29653 29652 0 -1 0 25309 0 0 0 116955 80 0 0 25 0 1 0 423598792 107769856 25287 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26311 25287 603 41 0 26270 0
vsize: 105244
[startup+1180.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3267
Raw data (stat): 3210 (minisat+) R 3209 29653 29652 0 -1 0 25309 0 0 0 117955 80 0 0 25 0 1 0 423598792 107769856 25287 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26311 25287 603 41 0 26270 0
vsize: 105244
[startup+1190.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3267
Raw data (stat): 3210 (minisat+) R 3209 29653 29652 0 -1 0 25309 0 0 0 118956 80 0 0 25 0 1 0 423598792 107769856 25287 4294967295 134512640 134672761 3221224560 3221223728 134560898 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26311 25287 603 41 0 26270 0
vsize: 105244
[startup+1200.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3267
Raw data (stat): 3210 (minisat+) R 3209 29653 29652 0 -1 0 25309 0 0 0 119956 80 0 0 25 0 1 0 423598792 107769856 25287 4294967295 134512640 134672761 3221224560 3221223728 134561215 0 0 5 16386 0 0 0 17 1 0 0
Raw data (statm): 26311 25287 603 41 0 26270 0
vsize: 105244
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.08 s]
Raw data (loadavg): 1.00 1.00 0.92 1/54 3267
Raw data (stat): 3210 (minisat+) Z 3209 29653 29652 0 -1 12 25312 0 0 0 119956 85 0 0 25 0 1 0 423598792 0 0 4294967295 0 0 0 0 0 0 16384 5 16386 3222412051 0 0 17 0 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.08
CPU time (s): 1200.42
CPU user time (s): 1199.57
CPU system time (s): 0.856869
CPU usage (%): 100.029
Max. virtual memory (Kb): 105244
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####